begin%LReg%

Irri_Corn_Yield(id, t, w) :- id = 1, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 3, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 5, w - 2.3348 t= -4492.1437.

Irri_Corn_Yield(id, t, w) :- id = 7, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 9, w - 2.2868 t= -4398.1414.

Irri_Corn_Yield(id, t, w) :- id = 11, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 13, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 15, w - 2.0609 t= -3954.9579.

Irri_Corn_Yield(id, t, w) :- id = 17, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 19, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 21, w - 2.0424 t= -3918.5217.

Irri_Corn_Yield(id, t, w) :- id = 23, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 25, w - 2.0662 t= -3965.3191.

Irri_Corn_Yield(id, t, w) :- id = 27, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 29, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 31, w - 2.0378 t= -3909.5836.

Irri_Corn_Yield(id, t, w) :- id = 33, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 35, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 37, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 39, w - 2.0662 t= -3965.3191.

Irri_Corn_Yield(id, t, w) :- id = 41, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 43, w - 2.0662 t= -3965.3191.

Irri_Corn_Yield(id, t, w) :- id = 45, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 47, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 49, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 51, w - 2.2988 t= -4421.7319.

Irri_Corn_Yield(id, t, w) :- id = 53, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 55, w - 2.0424 t= -3918.5217.

Irri_Corn_Yield(id, t, w) :- id = 57, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 59, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 61, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 63, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 65, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 67, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 69, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 71, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 73, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 75, w - 2.5044 t= -4825.4474.

Irri_Corn_Yield(id, t, w) :- id = 77, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 79, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 81, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 83, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 85, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 87, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 89, w - 2.0806 t= -3993.5934.

Irri_Corn_Yield(id, t, w) :- id = 91, w - 2.9778 t= -5750.1848.

Irri_Corn_Yield(id, t, w) :- id = 93, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 95, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 97, w - 2.2868 t= -4398.1414.

Irri_Corn_Yield(id, t, w) :- id = 99, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 101, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 103, w - 2.0662 t= -3965.3191.

Irri_Corn_Yield(id, t, w) :- id = 105, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 107, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 109, w - 2.0378 t= -3909.5836.

Irri_Corn_Yield(id, t, w) :- id = 111, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 113, w - 2.1181 t= -4067.2173.

Irri_Corn_Yield(id, t, w) :- id = 115, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 119, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 117, w - 2.2988 t= -4421.7319.

Irri_Corn_Yield(id, t, w) :- id = 121, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 123, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 125, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 127, w - 2.0944 t= -4020.5938.

Irri_Corn_Yield(id, t, w) :- id = 129, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 131, w - 2.0662 t= -3965.3191.

Irri_Corn_Yield(id, t, w) :- id = 133, w - 2.2315 t= -4289.7512.

Irri_Corn_Yield(id, t, w) :- id = 135, w - 2.0662 t= -3965.3191.

Irri_Corn_Yield(id, t, w) :- id = 137, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 139, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 141, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 143, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 145, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 147, w - 2.2819 t= -4388.5220.

Irri_Corn_Yield(id, t, w) :- id = 149, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 151, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 153, w - 2.0424 t= -3918.5217.

Irri_Corn_Yield(id, t, w) :- id = 155, w - 2.0378 t= -3909.5836.

Irri_Corn_Yield(id, t, w) :- id = 157, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 159, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 161, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 163, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 165, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 167, w - 2.0378 t= -3909.5836.

Irri_Corn_Yield(id, t, w) :- id = 999, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 169, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 171, w - 2.2819 t= -4388.5220.

Irri_Corn_Yield(id, t, w) :- id = 173, w - 2.0609 t= -3954.9579.

Irri_Corn_Yield(id, t, w) :- id = 175, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 177, w - 2.0378 t= -3909.5836.

Irri_Corn_Yield(id, t, w) :- id = 179, w - 2.0944 t= -4020.5938.

Irri_Corn_Yield(id, t, w) :- id = 181, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 183, w - 2.0276 t= -3889.5460.

Irri_Corn_Yield(id, t, w) :- id = 185, w - 2.0276 t= -3889.5460.

County(id,x,y) :- id = 165,
           12.2374765604072x - y >= -8630423.2565882,
           -0.814094775212637x - y <= 6582.14330194413,
           14.6528485072949x - y <= -10215294.4680618.
County(id,x,y) :- id = 165,
           -0.0832092028435431x - y <= -476449.442275294,
           13.5653964082348x - y <= -8781914.28340999,
           0.100246925791558x - y >= -597692.914644351.
County(id,x,y) :- id = 165,
           10.8498228878056x - y <= -7169171.77551687,
           -0.128703844400547x - y >= -497930.030475991,
           56.9989050095812x - y >= -35376731.0249281.
County(id,x,y) :- id = 165,
           14.6181992920935x - y <= -9501532.84355588,
           -0.15400955921402x - y >= -521867.155436803,
           24.3539317103523x - y >= -15445605.7771812.
County(id,x,y) :- id = 165,
           19.3757788944724x - y <= -12414235.225647,
           -0.0931565567068423x - y >= -583137.155575978,
           -0.64918353698266x - y <= -220338.482129377.
County(id,x,y) :- id = 165,
           11.7625378259835x - y >= -8318787.30819039,
           14.6528485072949x - y >= -10215294.4680618,
           13.3880809087731x - y <= -9379428.05942482.
County(id,x,y) :- id = 165,
           0.100246925791558x - y <= -597692.914644351,
           -0.206591478238617x - y >= -411194.17385458,
           0.121373984312857x - y >= -611655.478637847.
County(id,x,y) :- id = 165,
           24.3539317103523x - y <= -15445605.7771812,
           -0.64918353698266x - y >= -220338.482129377,
           -1.60724780649468x - y <= 404783.064819889.
County(id,x,y) :- id = 165,
           13.3880809087731x - y >= -9379428.05942482,
           0.121373984312857x - y <= -611655.478637847,
           -2.58020975196671x - y >= 1039625.10603914.
County(id,x,y) :- id = 165,
           56.9989050095812x - y <= -35376731.0249281,
           -1.60724780649468x - y >= 404783.064819889,
           -2.58020975196671x - y <= 1039625.10603914.
County(id,x,y) :- id = 45,
           -0.0588833349398475x - y <= -540357.353261281,
           13.9957426132025x - y <= -8315334.2638958,
           0.605209960739982x - y >= -943902.111570649.
County(id,x,y) :- id = 45,
           12.9771188735445x - y <= -7773158.94306797,
           -0.0985434197599419x - y >= -580830.423697728,
           -1.63524114118415x - y <= 291418.987965814.
County(id,x,y) :- id = 45,
           -0.0744201568496579x - y >= -594523.098312615,
           19.3757788944724x - y >= -12414235.225647,
           0.511011856595543x - y <= -926821.846581284.
County(id,x,y) :- id = 45,
           14.6181992920935x - y >= -9501532.84355588,
           -0.128703844400547x - y <= -497930.030475991,
           -184.837345860247x - y >= 111742631.325639.
County(id,x,y) :- id = 45,
           0.605209960739982x - y <= -943902.111570649,
           -0.239003780297976x - y >= -479165.982274294,
           0.626485956964131x - y >= -956830.741945205.
County(id,x,y) :- id = 45,
           -1.63524114118415x - y >= 291418.987965814,
           0.511011856595543x - y >= -926821.846581284,
           -0.080242049928825x - y <= -566786.759871975.
County(id,x,y) :- id = 45,
           -184.837345860247x - y <= 111742631.325639,
           0.626485956964131x - y <= -956830.741945205,
           -0.0788461710243057x - y >= -567557.147009743.
County(id,x,y) :- id = 45,
           -0.080242049928825x - y >= -566786.759871975,
           -0.15400955921402x - y <= -521867.155436803,
           -0.0788461710243057x - y <= -567557.147009743.
County(id,x,y) :- id = 161,
           18.0638389771942x - y >= -10536390.724662,
           -0.188328593743742x - y <= -429087.521986522,
           -41.8732737077469x - y >= 22524235.1016252.
County(id,x,y) :- id = 161,
           21.2879656160458x - y >= -12254755.2398818,
           -0.143515834958107x - y <= -444413.654478118,
           -4.97310647639956x - y >= 2205593.89890917.
County(id,x,y) :- id = 161,
           -0.0589425618751871x - y <= -490819.204994411,
           -0.00356525280580055x - y <= -518424.608397622,
           -0.0542200915529846x - y >= -493410.435380916.
County(id,x,y) :- id = 161,
           19.0956167444306x - y <= -9949907.45924377,
           -0.140362404912937x - y >= -460019.286592724,
           -4.71966959215281x - y <= 1810463.46679788.
County(id,x,y) :- id = 161,
           18.9850475619689x - y <= -9942657.53421446,
           -0.217817568784065x - y >= -460665.589772207,
           314.064889336016x - y >= -156247254.327386.
County(id,x,y) :- id = 161,
           15.1575707939344x - y <= -8082081.75718952,
           -0.162459118017999x - y >= -526686.806731098,
           36.3581718680669x - y >= -18590993.7907318.
County(id,x,y) :- id = 161,
           17.912377509276x - y <= -9467096.34252212,
           -0.0785331951190226x - y >= -591837.140308754,
           -0.505041460529328x - y <= -357234.296319088.
County(id,x,y) :- id = 161,
           12.9771188735445x - y >= -7773158.94306797,
           -0.239003780297976x - y <= -479165.982274294,
           55.0743731406715x - y <= -30928948.3525021.
County(id,x,y) :- id = 161,
           13.9957426132025x - y >= -8315334.2638958,
           -0.216164756168642x - y <= -453349.742881776,
           34.9144932509723x - y <= -19831018.8927198.
County(id,x,y) :- id = 161,
           -41.8732737077469x - y <= 22524235.1016252,
           -4.97310647639956x - y <= 2205593.89890917,
           -17.1234733650931x - y >= 8872528.30845875.
County(id,x,y) :- id = 161,
           -0.0542200915529846x - y <= -493410.435380916,
           -4.71966959215281x - y >= 1810463.46679788,
           0.121987262170158x - y >= -590095.817848309.
County(id,x,y) :- id = 161,
           36.3581718680669x - y <= -18590993.7907318,
           -0.505041460529328x - y >= -357234.296319088,
           -1.221353931651x - y <= 36776.6913665675.
County(id,x,y) :- id = 161,
           34.9144932509723x - y >= -19831018.8927198,
           -17.1234733650931x - y <= 8872528.30845875,
           -48.8293490381935x - y >= 26269615.6101264.
County(id,x,y) :- id = 161,
           0.121987262170158x - y <= -590095.817848309,
           314.064889336016x - y <= -156247254.327386,
           0.857795999210099x - y >= -993835.77341983.
County(id,x,y) :- id = 161,
           -1.221353931651x - y >= 36776.6913665675,
           55.0743731406715x - y >= -30928948.3525021,
           -0.768178026430502x - y <= -187857.775695494.
County(id,x,y) :- id = 161,
           -48.8293490381935x - y <= 26269615.6101264,
           0.857795999210099x - y <= -993835.77341983,
           -0.768178026430502x - y >= -187857.775695494.
County(id,x,y) :- id = 103,
           17.9994177275494x - y <= -5368707.80527784,
           -0.0354534215773855x - y >= -610218.324375195,
           -1.02968791720592x - y <= -325422.152269673.
County(id,x,y) :- id = 103,
           -0.0381266766772278x - y >= -609452.576633748,
           24.4953174671364x - y >= -8959898.65985319,
           0.288436169257698x - y <= -702995.748675226.
County(id,x,y) :- id = 103,
           -0.650905173067877x - y <= -382588.911933413,
           0.0452270855767404x - y <= -618604.200639767,
           -0.359809288363058x - y >= -481880.944982783.
County(id,x,y) :- id = 103,
           -2.32783809140866x - y <= 182442.860214783,
           -0.368343695613404x - y <= -476715.745980773,
           -0.73399561811579x - y >= -355571.367577433.
County(id,x,y) :- id = 103,
           -0.403767431590033x - y <= -466522.47449648,
           -0.0782358915564307x - y <= -570574.612988273,
           -0.271831224225405x - y >= -509665.189635046.
County(id,x,y) :- id = 103,
           -0.668226191922874x - y <= -384950.463460019,
           -0.327947706899281x - y <= -490959.631709572,
           -0.473168096462606x - y >= -446320.104716706.
County(id,x,y) :- id = 103,
           -0.600242094114087x - y <= -408483.915645332,
           -0.0128305170187348x - y <= -586784.659676665,
           -0.196907553781158x - y >= -531743.606589703.
County(id,x,y) :- id = 103,
           -0.574767961498797x - y <= -420384.21742867,
           -0.0706629957936823x - y <= -569184.408890608,
           -0.186112986788836x - y >= -536024.837222295.
County(id,x,y) :- id = 103,
           0.486798083009314x - y <= -729298.501889016,
           0.976730276806908x - y <= -866630.583682223,
           0.582227513169727x - y >= -756707.763694877.
County(id,x,y) :- id = 103,
           -0.0271009377454367x - y <= -588082.589435342,
           0.688793056389541x - y <= -782489.241207899,
           0.305291117937488x - y >= -679443.98412012.
County(id,x,y) :- id = 103,
           0.247395433696523x - y <= -663887.672485912,
           -1.02968791720592x - y >= -325422.152269673,
           -1.29337809315418x - y <= -249888.711152826.
County(id,x,y) :- id = 103,
           0.288436169257698x - y >= -702995.748675226,
           -0.359809288363058x - y <= -481880.944982783,
           0.333327015295968x - y <= -715854.627712807.
County(id,x,y) :- id = 103,
           -0.73399561811579x - y <= -355571.367577433,
           -0.0460867549476978x - y <= -583482.904473845,
           -0.453008953775321x - y >= -450420.65523804.
County(id,x,y) :- id = 103,
           -0.473168096462606x - y <= -446320.104716706,
           0.0842891810262051x - y <= -617677.785691527,
           -0.362553002799102x - y >= -481122.088195965.
County(id,x,y) :- id = 103,
           -0.196907553781158x - y <= -531743.606589703,
           0.530380634603532x - y <= -749210.752359042,
           -0.0642440124983524x - y >= -572285.800383983.
County(id,x,y) :- id = 103,
           -0.186112986788836x - y <= -536024.837222295,
           0.582227513169727x - y <= -756707.763694877,
           0.16276816975075x - y >= -639831.132784734.
County(id,x,y) :- id = 103,
           0.279013183484644x - y <= -672221.222023371,
           0.305291117937488x - y <= -679443.98412012,
           0.295309439905441x - y >= -676761.951838532.
County(id,x,y) :- id = 103,
           -1.29337809315418x - y >= -249888.711152826,
           0.333327015295968x - y >= -715854.627712807,
           -0.0860238573460314x - y <= -574299.398950234.
County(id,x,y) :- id = 103,
           -0.453008953775321x - y <= -450420.65523804,
           -0.271831224225405x - y <= -509665.189635046,
           -0.355258407033827x - y >= -483417.131240301.
County(id,x,y) :- id = 103,
           -0.362553002799102x - y <= -481122.088195965,
           -0.0642440124983524x - y <= -572285.800383983,
           -0.221778280261535x - y >= -525412.9657407.
County(id,x,y) :- id = 103,
           0.16276816975075x - y <= -639831.132784734,
           0.295309439905441x - y <= -676761.951838532,
           0.208445778681554x - y >= -653422.07423966.
County(id,x,y) :- id = 103,
           -0.0860238573460314x - y >= -574299.398950234,
           -0.355258407033827x - y <= -483417.131240301,
           0.0484302821266702x - y <= -610426.625384613.
County(id,x,y) :- id = 103,
           -0.221778280261535x - y <= -525412.9657407,
           0.208445778681554x - y <= -653422.07423966,
           0.0484302821266702x - y >= -610426.625384613.
County(id,x,y) :- id = 15,
           25.1533260938102x - y <= -5325081.20116825,
           -0.688159661324463x - y >= -475845.240801028,
           -2.60511189414492x - y <= -103741.569364755.
County(id,x,y) :- id = 15,
           -1.99374398702457x - y >= -213833.848733057,
           -0.031383323054025x - y >= -611292.217326772,
           -0.125890862532261x - y <= -586356.462102652.
County(id,x,y) :- id = 15,
           17.9994177275494x - y >= -5368707.80527784,
           0.291805381808894x - y <= -675657.645197566,
           -4.68316695480825x - y >= 616077.986546809.
County(id,x,y) :- id = 15,
           0.189297939270707x - y <= -650308.6028151,
           0.603721349608329x - y <= -755088.296758556,
           0.441807860059272x - y >= -715346.592800265.
County(id,x,y) :- id = 15,
           -1.12291560901316x - y <= -337928.160499937,
           0.029443094820253x - y <= -608631.228390899,
           -0.477320247126659x - y >= -491652.829079672.
County(id,x,y) :- id = 15,
           -0.924249067398851x - y <= -388486.294182653,
           -0.0325410950101837x - y <= -592384.698935969,
           -0.345896794726074x - y >= -521989.879574903.
County(id,x,y) :- id = 15,
           -0.554456984826968x - y <= -475137.191331564,
           0.101774735097894x - y <= -619128.939556262,
           -0.32200703171609x - y >= -527356.673774566.
County(id,x,y) :- id = 15,
           -0.512202946933803x - y <= -486168.705228448,
           -0.179652779582608x - y <= -555949.208515599,
           -0.316435482236124x - y >= -528563.223370919.
County(id,x,y) :- id = 15,
           -0.361066073641569x - y <= -523455.313044021,
           -5.0296739528636x - y >= 352316.583923556,
           0.531170687592987x - y >= -693673.774760057.
County(id,x,y) :- id = 15,
           -2.60511189414492x - y >= -103741.569364755,
           -0.382711233005295x - y >= -535136.484299972,
           -1.56114767899932x - y <= -300110.390012718.
County(id,x,y) :- id = 15,
           -4.68316695480825x - y <= 616077.986546809,
           0.79807157983269x - y <= -807108.041880529,
           -2.86805046116813x - y >= 137160.634147672.
County(id,x,y) :- id = 15,
           -0.490405178476598x - y <= -488537.13641224,
           -0.477320247126659x - y <= -491652.829079672,
           -0.482218216690888x - y >= -490522.209336544.
County(id,x,y) :- id = 15,
           -0.345896794726074x - y <= -521989.879574903,
           -0.32200703171609x - y <= -527356.673774566,
           -0.332356877339692x - y >= -525115.357942341.
County(id,x,y) :- id = 15,
           -0.316435482236124x - y <= -528563.223370919,
           0.0445074283897926x - y <= -600829.504097348,
           -0.184285686576862x - y >= -557180.986379968.
County(id,x,y) :- id = 15,
           0.531170687592987x - y <= -693673.774760057,
           -1.56114767899932x - y >= -300110.390012718,
           -2.20805703276642x - y <= -171091.485946553.
County(id,x,y) :- id = 15,
           -2.86805046116813x - y <= 137160.634147672,
           0.441807860059272x - y <= -715346.592800265,
           -0.688507020963105x - y >= -437910.540335773.
County(id,x,y) :- id = 15,
           -0.482218216690888x - y <= -490522.209336544,
           -0.332356877339692x - y <= -525115.357942341,
           -0.399636994045376x - y >= -510545.479680335.
County(id,x,y) :- id = 15,
           -0.184285686576862x - y <= -557180.986379968,
           -2.20805703276642x - y >= -171091.485946553,
           0.839826191736805x - y >= -778958.030242375.
County(id,x,y) :- id = 15,
           -0.688507020963105x - y <= -437910.540335773,
           0.180963806191032x - y <= -651322.358642981,
           -0.567220633220163x - y >= -469911.877937756.
County(id,x,y) :- id = 15,
           -0.399636994045376x - y <= -510545.479680335,
           0.839826191736805x - y <= -778958.030242375,
           0.093414456566933x - y >= -630094.478505248.
County(id,x,y) :- id = 15,
           -0.125890862532261x - y >= -586356.462102652,
           -0.567220633220163x - y <= -469911.877937756,
           0.093414456566933x - y <= -630094.478505248.
County(id,x,y) :- id = 31,
           24.4953174671364x - y <= -8959898.65985319,
           -0.0439761522210091x - y >= -607461.591191299,
           -0.258987774398506x - y <= -516270.895588945.
County(id,x,y) :- id = 31,
           -0.0645428168219023x - y >= -598738.86061431,
           17.912377509276x - y >= -9467096.34252212,
           0.270422293022705x - y <= -740804.210663307.
County(id,x,y) :- id = 31,
           15.1575707939344x - y >= -8082081.75718952,
           -0.217817568784065x - y <= -460665.589772207,
           63.3586125506696x - y <= -31853439.2276829.
County(id,x,y) :- id = 31,
           18.9850475619689x - y >= -9942657.53421446,
           -0.140362404912937x - y <= -460019.286592724,
           -88.625808745112x - y >= 43193437.8187744.
County(id,x,y) :- id = 31,
           -0.0653932708189455x - y <= -497004.599034006,
           -0.0568722394061547x - y <= -500802.747865292,
           -0.0611249282884673x - y >= -499110.345405549.
County(id,x,y) :- id = 31,
           -0.0557900646964388x - y <= -501233.410721494,
           -0.0157917927109676x - y <= -515252.166329996,
           -0.049752811952657x - y >= -503635.999219364.
County(id,x,y) :- id = 31,
           39.3823742480078x - y <= -13991163.3963324,
           -0.380477495624608x - y >= -429964.526052158,
           860.759208731242x - y >= -294938284.04242.
County(id,x,y) :- id = 31,
           20.0772749359114x - y <= -7426481.33518024,
           -0.252929757710835x - y >= -511503.374892156,
           67.3215638226777x - y >= -23583948.4097168.
County(id,x,y) :- id = 31,
           19.856x - y <= -7377439.795,
           -0.258987774398506x - y >= -516270.895588945,
           -0.341664761163258x - y <= -481205.944880558.
County(id,x,y) :- id = 31,
           0.270422293022705x - y >= -740804.210663307,
           -0.162459118017999x - y <= -526686.806731098,
           0.279586973069797x - y <= -744691.133332898.
County(id,x,y) :- id = 31,
           63.3586125506696x - y >= -31853439.2276829,
           -88.625808745112x - y <= 43193437.8187744,
           457.470132743363x - y <= -226217824.068619.
County(id,x,y) :- id = 31,
           -0.0611249282884673x - y <= -499110.345405549,
           -0.049752811952657x - y <= -503635.999219364,
           -0.056921998105953x - y >= -501183.821214598.
County(id,x,y) :- id = 31,
           67.3215638226777x - y <= -23583948.4097168,
           -0.341664761163258x - y >= -481205.944880558,
           -0.80399819018231x - y <= -285121.163204596.
County(id,x,y) :- id = 31,
           0.279586973069797x - y >= -744691.133332898,
           457.470132743363x - y >= -226217824.068619,
           1.39910485575573x - y <= -1219500.88281299.
County(id,x,y) :- id = 31,
           -0.056921998105953x - y <= -501183.821214598,
           860.759208731242x - y <= -294938284.04242,
           0.203653929184912x - y >= -629736.487615234.
County(id,x,y) :- id = 31,
           -0.80399819018231x - y >= -285121.163204596,
           1.39910485575573x - y >= -1219500.88281299,
           0.203653929184912x - y <= -629736.487615234.
County(id,x,y) :- id = 89,
           -0.0273114450258097x - y <= -510366.24602175,
           97.1001382276148x - y <= -18790383.6028356,
           0.996296605032441x - y >= -742124.191545328.
County(id,x,y) :- id = 89,
           170.446539027982x - y <= -32564805.5840943,
           -0.361066073641569x - y >= -523455.313044021,
           -12.5327358307402x - y <= 1798622.18094109.
County(id,x,y) :- id = 89,
           -0.512202946933803x - y >= -486168.705228448,
           0.101774735097894x - y >= -619128.939556262,
           -0.328627816546774x - y <= -524689.103794006.
County(id,x,y) :- id = 89,
           -0.554456984826968x - y >= -475137.191331564,
           -0.0325410950101837x - y >= -592384.698935969,
           -0.327789222302278x - y <= -524873.109912043.
County(id,x,y) :- id = 89,
           -0.924249067398851x - y >= -388486.294182653,
           0.029443094820253x - y >= -608631.228390899,
           -0.302180677572137x - y <= -530728.772954443.
County(id,x,y) :- id = 89,
           -1.12291560901316x - y >= -337928.160499937,
           -0.490405178476598x - y >= -488537.13641224,
           -0.758369386286367x - y <= -423564.49973348.
County(id,x,y) :- id = 89,
           0.180963806191032x - y >= -651322.358642981,
           0.603721349608329x - y >= -755088.296758556,
           0.482066836310134x - y <= -724330.085826793.
County(id,x,y) :- id = 89,
           0.189297939270707x - y >= -650308.6028151,
           0.79807157983269x - y >= -807108.041880529,
           0.375183723633796x - y <= -697306.56458115.
County(id,x,y) :- id = 89,
           0.291805381808894x - y >= -675657.645197566,
           138.780346820809x - y >= -37379288.7660766,
           0.845895668010928x - y <= -819525.413189476.
County(id,x,y) :- id = 89,
           33.4086206896552x - y >= -9388437.928125,
           -0.158871842553851x - y <= -475767.246403804,
           286.75485380117x - y <= -76366357.448655.
County(id,x,y) :- id = 89,
           -0.0325511647213627x - y <= -509179.906512509,
           0.996296605032441x - y <= -742124.191545328,
           0.485355616148604x - y >= -646169.697369626.
County(id,x,y) :- id = 89,
           -12.5327358307402x - y >= 1798622.18094109,
           0.0445074283897926x - y >= -600829.504097348,
           -2.97190679645862x - y <= 3102.67116570496.
County(id,x,y) :- id = 89,
           -0.328627816546774x - y >= -524689.103794006,
           -0.327789222302278x - y >= -524873.109912043,
           -0.32821629661107x - y <= -524775.454880385.
County(id,x,y) :- id = 89,
           -0.758369386286367x - y >= -423564.49973348,
           0.482066836310134x - y >= -724330.085826793,
           -0.0409172552096957x - y <= -592102.726850859.
County(id,x,y) :- id = 89,
           0.375183723633796x - y >= -697306.56458115,
           0.845895668010928x - y >= -819525.413189476,
           0.583393006935778x - y <= -749948.631695059.
County(id,x,y) :- id = 89,
           286.75485380117x - y >= -76366357.448655,
           0.485355616148604x - y <= -646169.697369626,
           -0.0140836908329905x - y >= -552375.214023179.
County(id,x,y) :- id = 89,
           -2.97190679645862x - y >= 3102.67116570496,
           -0.179652779582608x - y >= -555949.208515599,
           -1.75296209076914x - y <= -225814.61127447.
County(id,x,y) :- id = 89,
           -0.32821629661107x - y >= -524775.454880385,
           -0.302180677572137x - y >= -530728.772954443,
           -0.321725840187568x - y <= -526137.376660196.
County(id,x,y) :- id = 89,
           -0.0409172552096957x - y >= -592102.726850859,
           0.583393006935778x - y >= -749948.631695059,
           0.212192031652749x - y <= -651561.175194616.
County(id,x,y) :- id = 89,
           -514.904899135447x - y <= 135570886.518192,
           -0.0140836908329905x - y <= -552375.214023179,
           -0.523982369400285x - y >= -456616.465268913.
County(id,x,y) :- id = 89,
           -1.75296209076914x - y >= -225814.61127447,
           -0.321725840187568x - y >= -526137.376660196,
           -0.991126974409045x - y <= -368886.912824033.
County(id,x,y) :- id = 89,
           0.212192031652749x - y >= -651561.175194616,
           -0.226047283284944x - y <= -535405.091546557,
           0.221135066622372x - y <= -653662.002822749.
County(id,x,y) :- id = 89,
           -0.523982369400285x - y <= -456616.465268913,
           -0.991126974409045x - y >= -368886.912824033,
           0.221135066622372x - y >= -653662.002822749.
County(id,x,y) :- id = 107,
           -0.00642492276425537x - y <= -553495.922196172,
           53.6793766757238x - y <= -7070155.75705547,
           1.57344426113574x - y >= -790513.648876097.
County(id,x,y) :- id = 107,
           -0.194591236678517x - y >= -577435.60485434,
           0.241613726109971x - y >= -630817.543500387,
           0.127677302787377x - y <= -616274.389552969.
County(id,x,y) :- id = 107,
           -0.30251600953587x - y >= -561363.348940847,
           0.637054450442087x - y >= -686179.147979352,
           0.115821833845703x - y <= -614761.125357818.
County(id,x,y) :- id = 107,
           -0.764999284632424x - y >= -494073.162705422,
           0.326483088798059x - y >= -647082.226973296,
           -0.166984513604964x - y <= -576011.6889706.
County(id,x,y) :- id = 107,
           -1.122985519359x - y >= -436488.549979333,
           0.191418816886613x - y >= -630697.089352103,
           -0.112787045174529x - y <= -584011.937095793.
County(id,x,y) :- id = 107,
           -17.5083453533897x - y >= 2424238.7034695,
           -1.02912919698134x - y >= -420117.520556735,
           -1.7215536199761x - y <= -299406.153897687.
County(id,x,y) :- id = 107,
           -0.435146762823265x - y >= -523323.905823412,
           25.1533260938102x - y >= -5325081.20116825,
           0.523040598150456x - y <= -692144.511541615.
County(id,x,y) :- id = 107,
           170.446539027982x - y >= -32564805.5840943,
           -0.0148325301458973x - y <= -552234.582327832,
           -0.977723277812418x - y >= -407778.206838773.
County(id,x,y) :- id = 107,
           1.57344426113574x - y <= -790513.648876097,
           0.127677302787377x - y >= -616274.389552969,
           2.03376270045753x - y >= -859572.296989969.
County(id,x,y) :- id = 107,
           -0.209528692504292x - y >= -569884.361323285,
           -0.112787045174529x - y >= -584011.937095793,
           -0.133393122186022x - y <= -580849.611964486.
County(id,x,y) :- id = 107,
           -1.7215536199761x - y >= -299406.153897687,
           -0.250101023706897x - y >= -555926.646201298,
           -0.975508148299912x - y <= -428119.001106039.
County(id,x,y) :- id = 107,
           0.523040598150456x - y >= -692144.511541615,
           -5.0296739528636x - y <= 352316.583923556,
           0.772336395310268x - y <= -736067.307013216.
County(id,x,y) :- id = 107,
           2.03376270045753x - y <= -859572.296989969,
           0.115821833845703x - y >= -614761.125357818,
           3.41622486601817x - y >= -1066974.3040937.
County(id,x,y) :- id = 107,
           -0.166984513604964x - y >= -576011.6889706,
           -0.133393122186022x - y >= -580849.611964486,
           -0.147699486452647x - y <= -578654.076383756.
County(id,x,y) :- id = 107,
           -0.975508148299912x - y >= -428119.001106039,
           0.772336395310268x - y >= -736067.307013216,
           0.347501130850856x - y <= -656373.574945844.
County(id,x,y) :- id = 107,
           3.41622486601817x - y <= -1066974.3040937,
           -0.147699486452647x - y >= -578654.076383756,
           -13.6144246875695x - y <= 1488025.74414406.
County(id,x,y) :- id = 107,
           -0.637090647191347x - y >= -486505.093866515,
           0.347501130850856x - y >= -656373.574945844,
           0.0315707149349323x - y <= -597109.017541517.
County(id,x,y) :- id = 107,
           -13.6144246875695x - y >= 1488025.74414406,
           17.2650448143406x - y >= -3250912.30761844,
           -12.253912047283x - y <= 1283916.68473195.
County(id,x,y) :- id = 107,
           -0.107429184962345x - y >= -574116.909443356,
           0.0315707149349323x - y >= -597109.017541517,
           0.0145947928579779x - y <= -593924.548880897.
County(id,x,y) :- id = 107,
           -12.253912047283x - y >= 1283916.68473195,
           1.2983000795063x - y >= -798032.374346912,
           -5.77137087828752x - y <= 311382.258057798.
County(id,x,y) :- id = 107,
           0.0145947928579779x - y >= -593924.548880897,
           -0.977723277812418x - y <= -407778.206838773,
           -3.01537586144705x - y >= -102082.147912967.
County(id,x,y) :- id = 107,
           -5.77137087828752x - y >= 311382.258057798,
           0.719536771278043x - y >= -707209.408655768,
           -3.89126397190423x - y <= 29321.7751979704.
County(id,x,y) :- id = 107,
           0.276505605415042x - y >= -636439.430239401,
           -3.01537586144705x - y <= -102082.147912967,
           -3.89126397190423x - y >= 29321.7751979704.
County(id,x,y) :- id = 27,
           51.8136749585115x - y <= -4869567.02319295,
           -0.182904163343755x - y >= -574371.324784744,
           -5.64142318693363x - y <= -72348.2171235532.
County(id,x,y) :- id = 27,
           -1.12292927132992x - y >= -487916.679495187,
           -0.394732054456631x - y >= -556698.530547831,
           -0.670350793459981x - y <= -529540.580216049.
County(id,x,y) :- id = 27,
           -3.26342694756227x - y >= -274033.158426471,
           -0.800232095490716x - y >= -519167.077161389,
           -1.77297947975248x - y <= -420893.631155134.
County(id,x,y) :- id = 27,
           -0.420492297120403x - y >= -556391.844727453,
           -0.114324569916734x - y >= -589015.618657701,
           -0.217860117727727x - y <= -577329.104363895.
County(id,x,y) :- id = 27,
           -0.374015733332338x - y >= -555811.932227943,
           53.6793766757238x - y >= -7070155.75705547,
           15.4783751335805x - y <= -2433120.91751059.
County(id,x,y) :- id = 27,
           233.741201190685x - y >= -26718286.2590067,
           -0.00612788420427049x - y <= -542867.726733875,
           -0.372809547510666x - y >= -512251.606879702.
County(id,x,y) :- id = 27,
           -5.64142318693363x - y >= -72348.2171235532,
           -0.670350793459981x - y >= -529540.580216049,
           -3.4718078878279x - y <= -253500.44992382.
County(id,x,y) :- id = 27,
           -1.77297947975248x - y >= -420893.631155134,
           0.0748181691561894x - y >= -607570.506794664,
           -0.88618759669954x - y <= -508273.21209969.
County(id,x,y) :- id = 27,
           -0.217860117727727x - y >= -577329.104363895,
           0.327109999985923x - y >= -638842.287082396,
           -0.0175313953241678x - y <= -598028.356013714.
County(id,x,y) :- id = 27,
           15.4783751335805x - y >= -2433120.91751059,
           -0.0310115209983487x - y <= -550511.473935788,
           -7.10955571719663x - y >= 241839.970163072.
County(id,x,y) :- id = 27,
           -0.372809547510666x - y <= -512251.606879702,
           -3.4718078878279x - y >= -253500.44992382,
           3.10465920152956x - y >= -901509.243582814.
County(id,x,y) :- id = 27,
           -0.88618759669954x - y >= -508273.21209969,
           -0.0175313953241678x - y >= -598028.356013714,
           -0.226811558339638x - y <= -573244.490048714.
County(id,x,y) :- id = 27,
           -7.10955571719663x - y <= 241839.970163072,
           3.10465920152956x - y <= -901509.243582814,
           -0.226811558339638x - y >= -573244.490048714.
County(id,x,y) :- id = 17,
           24.5730921605506x - y <= -7911089.18423857,
           -0.329759272393508x - y >= -458672.7594132,
           47.5227036794956x - y >= -14814822.8770834.
County(id,x,y) :- id = 17,
           33.0963538403709x - y <= -10486793.9489021,
           -0.0128305170187348x - y >= -586784.659676665,
           -9.37597774765916x - y <= 2255270.52410652.
County(id,x,y) :- id = 17,
           -0.600242094114087x - y >= -408483.915645332,
           0.0842891810262051x - y >= -617677.785691527,
           -0.282421029594144x - y <= -504954.14960454.
County(id,x,y) :- id = 17,
           -0.668226191922874x - y >= -384950.463460019,
           -0.0782358915564307x - y >= -570574.612988273,
           -0.302973726744253x - y <= -498739.938078139.
County(id,x,y) :- id = 17,
           -0.403767431590033x - y >= -466522.47449648,
           -0.0460867549476978x - y >= -583482.904473845,
           -0.271582926411377x - y <= -508773.619924351.
County(id,x,y) :- id = 17,
           -2.32783809140866x - y >= 182442.860214783,
           0.0452270855767404x - y >= -618604.200639767,
           -1.00037795573194x - y <= -264104.358644556.
County(id,x,y) :- id = 17,
           -0.650905173067877x - y >= -382588.911933413,
           19.856x - y >= -7377439.795,
           2.25388803501185x - y <= -1367424.19161435.
County(id,x,y) :- id = 17,
           20.0772749359114x - y >= -7426481.33518024,
           -0.380477495624608x - y <= -429964.526052158,
           41.1494557823129x - y <= -14593830.0325489.
County(id,x,y) :- id = 17,
           39.3823742480078x - y >= -13991163.3963324,
           -0.0437161418084995x - y <= -505700.806776736,
           -1.06250412035925x - y >= -197358.002946489.
County(id,x,y) :- id = 17,
           0.0250834411824808x - y <= -526523.447766245,
           47.5227036794956x - y <= -14814822.8770834,
           14.6045932517437x - y >= -4939106.85874637.
County(id,x,y) :- id = 17,
           -9.37597774765916x - y >= 2255270.52410652,
           -0.282421029594144x - y >= -504954.14960454,
           -4.62747189489367x - y <= 830677.960804699.
County(id,x,y) :- id = 17,
           -0.327947706899281x - y >= -490959.631709572,
           -0.302973726744253x - y >= -498739.938078139,
           -0.311426632029683x - y <= -496038.071244201.
County(id,x,y) :- id = 17,
           -1.00037795573194x - y >= -264104.358644556,
           2.25388803501185x - y >= -1367424.19161435,
           0.547212586719524x - y <= -784701.726574114.
County(id,x,y) :- id = 17,
           41.1494557823129x - y >= -14593830.0325489,
           -1.06250412035925x - y <= -197358.002946489,
           -2.09733959833397x - y >= 115841.680893164.
County(id,x,y) :- id = 17,
           14.6045932517437x - y <= -4939106.85874637,
           -4.62747189489367x - y >= 830677.960804699,
           -15.3822126013872x - y <= 4136594.84694176.
County(id,x,y) :- id = 17,
           -0.311426632029683x - y >= -496038.071244201,
           -0.271582926411377x - y >= -508773.619924351,
           -0.291982074966358x - y <= -502015.164629659.
County(id,x,y) :- id = 17,
           -0.368343695613404x - y >= -476715.745980773,
           0.547212586719524x - y >= -784701.726574114,
           0.0877830204691266x - y <= -627835.387619233.
County(id,x,y) :- id = 17,
           -2.09733959833397x - y <= 115841.680893164,
           -15.3822126013872x - y >= 4136594.84694176,
           -0.176081287962952x - y >= -537642.092263515.
County(id,x,y) :- id = 17,
           -0.291982074966358x - y >= -502015.164629659,
           0.0877830204691266x - y >= -627835.387619233,
           -0.179024635162957x - y <= -536737.332076746.
County(id,x,y) :- id = 17,
           -0.252929757710835x - y <= -511503.374892156,
           -0.176081287962952x - y <= -537642.092263515,
           -0.179024635162957x - y >= -536737.332076746.
County(id,x,y) :- id = 149,
           33.4086206896552x - y <= -9388437.928125,
           -514.904899135447x - y >= 135570886.518192,
           72.4533141801765x - y >= -19755387.2799674.
County(id,x,y) :- id = 149,
           138.780346820809x - y <= -37379288.7660766,
           0.247395433696523x - y >= -663887.672485912,
           -0.574758580470318x - y <= -442978.562880032.
County(id,x,y) :- id = 149,
           -0.0271009377454367x - y >= -588082.589435342,
           0.279013183484644x - y >= -672221.222023371,
           0.136195874832238x - y <= -632427.124853209.
County(id,x,y) :- id = 149,
           -0.574767961498797x - y >= -420384.21742867,
           0.530380634603532x - y >= -749210.752359042,
           -0.150920635438147x - y <= -545494.199593274.
County(id,x,y) :- id = 149,
           33.0963538403709x - y >= -10486793.9489021,
           -0.329759272393508x - y <= -458672.7594132,
           133.811690760528x - y <= -40601784.4093809.
County(id,x,y) :- id = 149,
           24.5730921605506x - y >= -7911089.18423857,
           -0.029108537217894x - y <= -510221.342309874,
           -1.16777949821638x - y >= -207887.193267296.
County(id,x,y) :- id = 149,
           72.4533141801765x - y <= -19755387.2799674,
           -0.226047283284944x - y >= -535405.091546557,
           167.025231059839x - y >= -44865643.8795263.
County(id,x,y) :- id = 149,
           -0.574758580470318x - y >= -442978.562880032,
           0.688793056389541x - y >= -782489.241207899,
           -0.0188667463988434x - y <= -590318.648939766.
County(id,x,y) :- id = 149,
           0.136195874832238x - y >= -632427.124853209,
           0.976730276806908x - y >= -866630.583682223,
           0.296798385800761x - y <= -676040.001451485.
County(id,x,y) :- id = 149,
           -0.150920635438147x - y >= -545494.199593274,
           133.811690760528x - y >= -40601784.4093809,
           8.0062766950904x - y <= -2953311.2360267.
County(id,x,y) :- id = 149,
           -1.16777949821638x - y <= -207887.193267296,
           167.025231059839x - y <= -44865643.8795263,
           1.10977288651817x - y >= -889466.523493789.
County(id,x,y) :- id = 149,
           -0.0188667463988434x - y >= -590318.648939766,
           0.296798385800761x - y >= -676040.001451485,
           0.162183641532777x - y <= -638306.365441396.
County(id,x,y) :- id = 149,
           -0.0706629957936823x - y >= -569184.408890608,
           8.0062766950904x - y >= -2953311.2360267,
           2.66824136489998x - y <= -1355853.11850437.
County(id,x,y) :- id = 149,
           1.10977288651817x - y <= -889466.523493789,
           0.162183641532777x - y >= -638306.365441396,
           1.87262692537914x - y >= -1117757.88941468.
County(id,x,y) :- id = 149,
           0.486798083009314x - y >= -729298.501889016,
           2.66824136489998x - y >= -1355853.11850437,
           1.87262692537914x - y <= -1117757.88941468.
County(id,x,y) :- id = 51,
           -0.00277028697779799x - y <= -562594.652363897,
           -5.39736500876763x - y >= -285400.33548185,
           0.45875489288814x - y >= -589714.383937316.
County(id,x,y) :- id = 51,
           1.25749259062849x - y <= -647213.98145591,
           -5.28990809315606x - y >= -276506.983474335,
           2.95435348802252x - y >= -746175.770679104.
County(id,x,y) :- id = 51,
           -0.642616446268678x - y >= -541259.358212597,
           -0.0335465636157853x - y >= -577123.239146282,
           -0.17638502036946x - y <= -567820.178269393.
County(id,x,y) :- id = 51,
           55.3816819884236x - y <= -4237047.21292986,
           -0.396809800293498x - y >= -556942.252104734,
           -0.720289158244238x - y <= -533025.457023463.
County(id,x,y) :- id = 51,
           4.12797083498867x - y <= -914472.843182562,
           -0.913253450261674x - y >= -516513.163034967,
           -33.1197372349955x - y <= 2050805.55636011.
County(id,x,y) :- id = 51,
           -0.0579815105567101x - y >= -584690.604436338,
           51.8136749585115x - y >= -4869567.02319295,
           12.1492263439794x - y <= -1557780.16758053.
County(id,x,y) :- id = 51,
           -138.417917340106x - y <= 11013837.6099919,
           -0.0385615941651317x - y <= -530795.280615413,
           -0.63097826382426x - y >= -490695.785707781.
County(id,x,y) :- id = 51,
           0.0129774048456434x - y <= -534283.851977806,
           8.6588775217516x - y <= -1051260.82256071,
           0.231081147571825x - y >= -549046.85641152.
County(id,x,y) :- id = 51,
           0.45875489288814x - y <= -589714.383937316,
           -1.10573055861442x - y >= -508415.689666762,
           18.900185223297x - y >= -1673353.28861391.
County(id,x,y) :- id = 51,
           2.95435348802252x - y <= -746175.770679104,
           -0.17638502036946x - y >= -567820.178269393,
           -0.797679690870208x - y <= -527355.290356732.
County(id,x,y) :- id = 51,
           -1.4254072117151x - y >= -486471.431252952,
           -0.720289158244238x - y >= -533025.457023463,
           -0.791799039199422x - y <= -527738.296878452.
County(id,x,y) :- id = 51,
           -33.1197372349955x - y >= 2050805.55636011,
           12.1492263439794x - y >= -1557780.16758053,
           10.9298738066322x - y <= -1455970.21316042.
County(id,x,y) :- id = 51,
           -0.63097826382426x - y <= -490695.785707781,
           0.231081147571825x - y <= -549046.85641152,
           -0.338955000084972x - y >= -515078.295490874.
County(id,x,y) :- id = 51,
           18.900185223297x - y <= -1673353.28861391,
           -11.8256083928111x - y >= 115799.111660504,
           25.2358104154476x - y >= -2045641.65348888.
County(id,x,y) :- id = 51,
           -0.797679690870208x - y >= -527355.290356732,
           -0.791799039199422x - y >= -527738.296878452,
           -0.794363398310881x - y <= -527548.698222846.
County(id,x,y) :- id = 51,
           -1.21690079136888x - y >= -488969.283280621,
           10.9298738066322x - y >= -1455970.21316042,
           9.37443413924295x - y <= -1326098.63230929.
County(id,x,y) :- id = 51,
           -0.338955000084972x - y <= -515078.295490874,
           33.1461525414146x - y <= -2510462.1323465,
           0.783458993351127x - y >= -608794.357099133.
County(id,x,y) :- id = 51,
           25.2358104154476x - y <= -2045641.65348888,
           -0.794363398310881x - y >= -527548.698222846,
           -1.55014322517139x - y <= -471669.301898789.
County(id,x,y) :- id = 51,
           0.221205663335293x - y >= -602635.891706051,
           9.37443413924295x - y >= -1326098.63230929,
           4.4880601918673x - y <= -918110.381475603.
County(id,x,y) :- id = 51,
           0.783458993351127x - y <= -608794.357099133,
           -1.55014322517139x - y >= -471669.301898789,
           4.4880601918673x - y >= -918110.381475603.
County(id,x,y) :- id = 43,
           0.0139463433885219x - y <= -536107.752717461,
           -0.849183206927087x - y >= -511858.579795718,
           0.075877150773324x - y >= -539798.221141548.
County(id,x,y) :- id = 43,
           -2.01259169805468x - y >= -476720.098603419,
           -0.820738412322324x - y >= -514759.043647815,
           -1.27248742654318x - y <= -499073.502608268.
County(id,x,y) :- id = 43,
           3.42530807625597x - y <= -662189.440518276,
           -8.17392330582414x - y >= -271407.5292582,
           12.8867160371585x - y >= -990706.599805492.
County(id,x,y) :- id = 43,
           1.8523569864382x - y <= -613842.247303638,
           17.8458840720896x - y <= -1134062.14095074,
           3.28767889771903x - y >= -662863.82257051.
County(id,x,y) :- id = 43,
           -0.696295181123002x - y >= -533916.478860473,
           0.0144265889087817x - y >= -559428.033910005,
           -0.297225837173326x - y <= -546832.961458014.
County(id,x,y) :- id = 43,
           -0.844428260085895x - y >= -524718.408238804,
           0.0746748325280839x - y >= -565786.899960369,
           -0.4602211159738x - y <= -540245.695728584.
County(id,x,y) :- id = 43,
           -0.899737096103288x - y >= -516505.165619485,
           -0.00277028697779799x - y >= -562594.652363897,
           -0.189112490671607x - y <= -551644.977751467.
County(id,x,y) :- id = 43,
           33.1461525414146x - y >= -2510462.1323465,
           0.075877150773324x - y <= -539798.221141548,
           -0.884196450652071x - y >= -510801.073154247.
County(id,x,y) :- id = 43,
           3.28767889771903x - y <= -662863.82257051,
           -0.297225837173326x - y >= -546832.961458014,
           -1.32067967350413x - y <= -505471.258031203.
County(id,x,y) :- id = 43,
           -0.4602211159738x - y >= -540245.695728584,
           0.720722708778705x - y >= -596635.592677229,
           -0.238113416533761x - y <= -549221.921589426.
County(id,x,y) :- id = 43,
           -0.189112490671607x - y >= -551644.977751467,
           -0.884196450652071x - y <= -510801.073154247,
           -1.2205009404278x - y >= -500643.652885278.
County(id,x,y) :- id = 43,
           12.8867160371585x - y <= -990706.599805492,
           -1.32067967350413x - y >= -505471.258031203,
           -2.73863853161145x - y <= -448166.090295726.
County(id,x,y) :- id = 43,
           -1.2205009404278x - y <= -500643.652885278,
           -1.27248742654318x - y >= -499073.502608268,
           -1.20455009016737x - y >= -501432.409532898.
County(id,x,y) :- id = 43,
           -2.73863853161145x - y >= -448166.090295726,
           -0.238113416533761x - y >= -549221.921589426,
           -1.20455009016737x - y <= -501432.409532898.
County(id,x,y) :- id = 139,
           -0.00517372373984695x - y <= -514186.47478596,
           118.513910778039x - y <= -13814940.7327593,
           0.736727724746774x - y >= -626053.945589494.
County(id,x,y) :- id = 139,
           233.741201190685x - y <= -26718286.2590067,
           -0.0310115209983487x - y >= -550511.473935788,
           -1.14020235185428x - y <= -415872.16295572.
County(id,x,y) :- id = 139,
           -0.00642492276425537x - y >= -553495.922196172,
           51.8847582880016x - y >= -8338400.14381415,
           1.33706424529417x - y <= -716575.575277136.
County(id,x,y) :- id = 139,
           0.736727724746774x - y <= -626053.945589494,
           -1.14020235185428x - y >= -415872.16295572,
           1.33706424529417x - y >= -716575.575277136.
County(id,x,y) :- id = 13,
           -0.0588803680804111x - y <= -491054.096780294,
           21.2879656160458x - y <= -12254755.2398818,
           0.112161205043053x - y >= -594548.680152723.
County(id,x,y) :- id = 13,
           18.0638389771942x - y <= -10536390.724662,
           -0.216164756168642x - y >= -453349.742881776,
           70.375180696097x - y >= -39504270.2730388.
County(id,x,y) :- id = 13,
           -0.0588833349398475x - y >= -540357.353261281,
           10.8498228878056x - y >= -7169171.77551687,
           0.611116256928005x - y <= -910999.117483801.
County(id,x,y) :- id = 13,
           13.5653964082348x - y >= -8781914.28340999,
           -0.117061904415509x - y <= -455849.358230432,
           -3.70151240447066x - y >= 1713045.63231388.
County(id,x,y) :- id = 13,
           0.112161205043053x - y <= -594548.680152722,
           -0.188328593743742x - y >= -429087.521986522,
           0.13043271777449x - y >= -605604.487014129.
County(id,x,y) :- id = 13,
           70.375180696097x - y <= -39504270.2730388,
           0.611116256928005x - y >= -910999.117483801,
           -0.0712094270162102x - y <= -493943.321954341.
County(id,x,y) :- id = 13,
           -3.70151240447066x - y <= 1713045.63231388,
           0.13043271777449x - y <= -605604.487014129,
           -0.062644979405119x - y >= -498685.96243429.
County(id,x,y) :- id = 13,
           -0.0712094270162102x - y >= -493943.321954341,
           -0.206591478238617x - y <= -411194.17385458,
           -0.062644979405119x - y <= -498685.96243429.
County(id,x,y) :- id = 3,
           45.0668443090978x - y <= -7310362.26286401,
           51.8847582880016x - y <= -8338400.14381415,
           49.4961925718477x - y >= -7980058.81920467.
County(id,x,y) :- id = 3,
           -0.0148325301458973x - y >= -552234.582327832,
           97.1001382276148x - y >= -18790383.6028356,
           1.0201796208459x - y <= -707510.873310735.
County(id,x,y) :- id = 3,
           49.1348965293808x - y >= -9763013.34115691,
           -0.00215926140558391x - y <= -496141.592364491,
           -0.514394706334819x - y >= -418694.010202196.
County(id,x,y) :- id = 3,
           49.4961925718477x - y <= -7980058.81920467,
           1.0201796208459x - y >= -707510.873310735,
           -0.514394706334819x - y <= -418694.010202196.
County(id,x,y) :- id = 179,
           16418.9444444444x - y <= -1111898788.72005,
           -0.0385615941651317x - y >= -530795.280615413,
           -1.21221760404427x - y <= -432880.185543097.
County(id,x,y) :- id = 179,
           -138.417917340106x - y >= 11013837.6099919,
           -0.00612788420427049x - y >= -542867.726733875,
           -0.334155507128014x - y <= -506134.642534977.
County(id,x,y) :- id = 179,
           118.513910778039x - y >= -13814940.7327593,
           -0.00207940010579598x - y <= -514533.733950374,
           -1.03036741787787x - y >= -428171.663350764.
County(id,x,y) :- id = 179,
           0.0138521165752252x - y <= -515871.762542155,
           -1.21221760404427x - y >= -432880.185543097,
           34.5427500978583x - y >= -3415824.96013672.
County(id,x,y) :- id = 179,
           -0.334155507128014x - y >= -506134.642534977,
           -1.03036741787787x - y <= -428171.663350764,
           34.5427500978583x - y <= -3415824.96013672.
County(id,x,y) :- id = 173,
           -5.24893656235025x - y >= -395055.530965134,
           -0.91511312732586x - y >= -496532.827752623,
           -1.88857772509429x - y <= -468397.377490908.
County(id,x,y) :- id = 173,
           0.811946715352648x - y <= -552321.020882354,
           8.0740577797331x - y <= -753419.755237835,
           2.02633151965668x - y >= -588526.620654361.
County(id,x,y) :- id = 173,
           -2.94015306230611x - y >= -453113.876200878,
           0.0139463433885219x - y >= -536107.752717461,
           -0.0618293150163649x - y <= -531592.267025178.
County(id,x,y) :- id = 173,
           0.0129774048456434x - y >= -534283.851977806,
           16418.9444444444x - y >= -1111898788.72005,
           2.35270018124413x - y <= -674186.323275286.
County(id,x,y) :- id = 173,
           -243.629775868076x - y <= 10491469.7657175,
           0.0260799856093164x - y <= -507425.873232889,
           -0.383466740685348x - y >= -497120.487354142.
County(id,x,y) :- id = 173,
           0.00618672222090702x - y <= -509751.747672088,
           -1.88857772509429x - y >= -468397.377490908,
           -3.25891415502138x - y <= -428791.384058364.
County(id,x,y) :- id = 173,
           2.02633151965668x - y <= -588526.620654361,
           -0.0618293150163649x - y >= -531592.267025178,
           -0.240560897008069x - y <= -520941.618542121.
County(id,x,y) :- id = 173,
           2.35270018124413x - y >= -674186.323275286,
           -0.0217916369041371x - y <= -513459.068335888,
           -1.3040179039012x - y >= -455534.822289559.
County(id,x,y) :- id = 173,
           -0.383466740685348x - y <= -497120.487354142,
           7.7027203829278x - y <= -700592.455865576,
           -0.237751515777087x - y >= -503703.135641366.
County(id,x,y) :- id = 173,
           -5.62982706865188x - y >= -360266.342152137,
           -0.240560897008069x - y >= -520941.618542121,
           -0.400644749281353x - y <= -511402.191769434.
County(id,x,y) :- id = 173,
           8.6588775217516x - y >= -1051260.82256071,
           -1.3040179039012x - y <= -455534.822289559,
           -1.44519941588244x - y >= -449156.983332675.
County(id,x,y) :- id = 173,
           -0.237751515777087x - y <= -503703.135641366,
           -3.25891415502138x - y >= -428791.384058364,
           0.524710710551155x - y >= -538147.17312182.
County(id,x,y) :- id = 173,
           -0.400644749281353x - y >= -511402.191769434,
           -1.44519941588244x - y <= -449156.983332675,
           0.524710710551155x - y <= -538147.17312182.
County(id,x,y) :- id = 39,
           67.7388572414984x - y <= -3564055.75742599,
           -243.629775868076x - y >= 10491469.7657175,
           92.7385803131032x - y >= -4703885.31873928.
County(id,x,y) :- id = 39,
           -0.0217916369041371x - y >= -513459.068335888,
           0.0138521165752252x - y >= -515871.762542155,
           -0.00682464905262804x - y <= -514135.198211869.
County(id,x,y) :- id = 39,
           378.211523765857x - y >= -32279281.8724352,
           -0.0313218433122416x - y <= -473408.349428639,
           -4.12470476152671x - y >= -168289.825273716.
County(id,x,y) :- id = 39,
           -0.00523716497825405x - y <= -475352.687086596,
           92.7385803131032x - y <= -4703885.31873928,
           1.31792350112041x - y >= -573980.3595341.
County(id,x,y) :- id = 39,
           -0.00682464905262804x - y >= -514135.198211869,
           -4.12470476152671x - y <= -168289.825273716,
           1.31792350112041x - y <= -573980.3595341.
County(id,x,y) :- id = 167,
           0.0147639313205135x - y <= -477283.633088845,
           378.211523765857x - y <= -32279281.8724352,
           2.05001392039999x - y >= -686881.388653661.
County(id,x,y) :- id = 167,
           -0.00207940010579598x - y >= -514533.733950374,
           126.550681637977x - y >= -14716863.9520032,
           1.35215531197851x - y <= -628270.850198082.
County(id,x,y) :- id = 167,
           -0.0366211153285245x - y <= -471991.806283774,
           2.05001392039999x - y <= -686881.388653661,
           1.35215531197851x - y >= -628270.850198082.
County(id,x,y) :- id = 119,
           0.000176037949563505x - y <= -476132.59080459,
           126.550681637977x - y <= -14716863.9520032,
           0.995727840587607x - y >= -626512.230587262.
County(id,x,y) :- id = 119,
           -0.00517372373984695x - y >= -514186.47478596,
           45.0668443090978x - y >= -7310362.26286401,
           0.469558662857716x - y <= -567463.116594146.
County(id,x,y) :- id = 119,
           -141.664528753125x - y <= 20922540.2054775,
           0.995727840587607x - y <= -626512.230587262,
           0.469558662857716x - y >= -567463.116594146.
County(id,x,y) :- id = 75,
           -0.0513027493063988x - y <= -464730.294857261,
           15.4866440814579x - y <= -7429141.05436901,
           0.742830329436345x - y >= -857260.696449537.
County(id,x,y) :- id = 75,
           -0.0653932708189455x - y >= -497004.599034006,
           19.0956167444306x - y >= -9949907.45924377,
           0.124125361636355x - y <= -581480.284839653.
County(id,x,y) :- id = 75,
           -0.00356525280580055x - y >= -518424.608397622,
           15.423855963991x - y >= -8208942.49953113,
           4.4776856137226x - y <= -2731338.26638139.
County(id,x,y) :- id = 75,
           -0.091144252207942x - y <= -445037.120561157,
           0.742830329436345x - y <= -857260.696449537,
           0.649404717676713x - y >= -815617.33651727.
County(id,x,y) :- id = 75,
           0.124125361636355x - y >= -581480.284839653,
           4.4776856137226x - y >= -2731338.26638139,
           0.649404717676713x - y <= -815617.33651727.
County(id,x,y) :- id = 115,
           -0.0364982480215684x - y <= -469542.325622741,
           29.2780744855088x - y <= -8262035.48985037,
           0.945516582220908x - y >= -767885.33584218.
County(id,x,y) :- id = 115,
           -0.158871842553851x - y >= -475767.246403804,
           -0.029108537217894x - y >= -510221.342309874,
           -0.0327114264102624x - y <= -509137.516229054.
County(id,x,y) :- id = 115,
           0.0250834411824808x - y >= -526523.447766245,
           33.2898660944672x - y >= -10594326.1388701,
           12.843763410473x - y <= -4382656.38181317.
County(id,x,y) :- id = 115,
           0.945516582220908x - y <= -767885.33584218,
           -0.0327114264102624x - y >= -509137.516229054,
           12.843763410473x - y >= -4382656.38181317.
County(id,x,y) :- id = 91,
           -0.0503494613095694x - y <= -464940.582815164,
           25.3948102967022x - y <= -10629568.6465064,
           0.743494589252816x - y >= -819317.181204757.
County(id,x,y) :- id = 91,
           -0.0568722394061547x - y >= -500802.747865292,
           15.4866440814579x - y >= -7429141.05436901,
           0.710529719216607x - y <= -806198.462982408.
County(id,x,y) :- id = 91,
           -0.16999207415831x - y <= -411531.425016799,
           0.743494589252816x - y <= -819317.181204757,
           0.710529719216607x - y >= -806198.462982408.
County(id,x,y) :- id = 71,
           39.9486657949537x - y <= -9561438.43611222,
           -0.0325511647213627x - y >= -509179.906512509,
           -1.0749134807566x - y <= -233468.135697024.
County(id,x,y) :- id = 71,
           29.2780744855088x - y >= -8262035.48985037,
           -0.120547627334958x - y <= -447200.051706259,
           75.9939159292035x - y <= -20618686.5040272.
County(id,x,y) :- id = 71,
           -0.0335937191860019x - y <= -470244.155260903,
           -1.0749134807566x - y >= -233468.135697024,
           75.9939159292035x - y >= -20618686.5040272.
County(id,x,y) :- id = 171,
           -0.0454682301553283x - y <= -466755.005732324,
           27.3623732547944x - y <= -10110861.8204075,
           0.953517586910222x - y >= -854979.625228067.
County(id,x,y) :- id = 171,
           -0.0557900646964388x - y >= -501233.410721494,
           25.3948102967022x - y >= -10629568.6465064,
           0.72942765247057x - y <= -776439.681643109.
County(id,x,y) :- id = 171,
           -0.0579522779820503x - y <= -461903.470670963,
           0.953517586910222x - y <= -854979.625228067,
           0.72942765247057x - y >= -776439.681643109.
County(id,x,y) :- id = 183,
           -0.0183218451771236x - y <= -473716.684711078,
           75.4235308431683x - y <= -14720848.0896208,
           0.481229073143693x - y >= -587304.923765605.
County(id,x,y) :- id = 183,
           49.1348965293808x - y <= -9763013.34115691,
           -0.0273114450258097x - y >= -510366.24602175,
           -0.528843313534467x - y <= -396813.020787195.
County(id,x,y) :- id = 183,
           39.9486657949537x - y >= -9561438.43611222,
           0.481229073143693x - y <= -587304.923765605,
           -0.528843313534467x - y >= -396813.020787195.
County(id,x,y) :- id = 9,
           -0.163904476053765x - y <= -425080.370143058,
           -0.0417402160278237x - y <= -467949.778884853,
           -0.0441746963708836x - y >= -467210.166639192.
County(id,x,y) :- id = 9,
           33.2898660944672x - y <= -10594326.1388701,
           -0.0437161418084995x - y >= -505700.806776736,
           -1.04670366716874x - y <= -162634.816278976.
County(id,x,y) :- id = 9,
           -0.0157917927109676x - y >= -515252.166329996,
           27.3623732547944x - y >= -10110861.8204075,
           3.85554877350933x - y <= -1839421.46287982.
County(id,x,y) :- id = 9,
           -0.0441746963708836x - y <= -467210.166639192,
           -1.04670366716874x - y >= -162634.816278976,
           3.85554877350933x - y >= -1839421.46287982.
County(id,x,y) :- id = 21,
           -31.1971472236373x - y <= 661960.767463704,
           -0.0101119405325268x - y <= -468678.781645405,
           -0.244615635807692x - y >= -466348.118349327.
County(id,x,y) :- id = 21,
           0.371080792346014x - y <= -473736.944174928,
           -2.54014906512229x - y >= -453159.23292168,
           2.20639480635538x - y >= -492268.654633228.
County(id,x,y) :- id = 21,
           2.2726800339819x - y <= -495120.377474233,
           -1.6344057755437x - y >= -470484.312765999,
           -4.11847190539867x - y <= -442713.736706664.
County(id,x,y) :- id = 21,
           1.99133653407719x - y <= -519648.478388876,
           -40.9793573616182x - y >= -3421.51599782845,
           6.60103390349615x - y >= -580397.649772877.
County(id,x,y) :- id = 21,
           -1.23391744566689x - y >= -483163.920617609,
           -0.192234338458725x - y >= -500547.894527416,
           -0.552653172770687x - y <= -493547.607626207.
County(id,x,y) :- id = 21,
           -14.5537213258801x - y >= -221609.837830559,
           -1.04568628236457x - y >= -486793.988634095,
           -2.22023501336652x - y <= -461158.758309547.
County(id,x,y) :- id = 21,
           0.00618672222090702x - y >= -509751.747672088,
           7.7027203829278x - y >= -700592.455865576,
           0.853111223087012x - y <= -528236.382727361.
County(id,x,y) :- id = 21,
           0.0260799856093164x - y >= -507425.873232889,
           67.7388572414984x - y >= -3564055.75742599,
           1.52603837653051x - y <= -545169.185602539.
County(id,x,y) :- id = 21,
           -0.244615635807692x - y <= -466348.118349327,
           -7.63442674433641x - y >= -392902.957941996,
           -0.200148539453439x - y >= -467969.072028041.
County(id,x,y) :- id = 21,
           2.20639480635538x - y <= -492268.654633228,
           60.3712963874397x - y <= -971521.712508613,
           3.42288290912684x - y >= -504551.896151817.
County(id,x,y) :- id = 21,
           -4.11847190539867x - y >= -442713.736706664,
           -2.32577743430315x - y >= -462755.134784747,
           -3.39865685243383x - y <= -448616.12946115.
County(id,x,y) :- id = 21,
           6.60103390349615x - y <= -580397.649772877,
           -0.519919328396994x - y >= -494046.530009323,
           -4.15149937427464x - y <= -438694.749440007.
County(id,x,y) :- id = 21,
           -2.22023501336652x - y >= -461158.758309547,
           0.853111223087012x - y >= -528236.382727361,
           -0.433435158866205x - y <= -495863.136731996.
County(id,x,y) :- id = 21,
           1.52603837653051x - y >= -545169.185602539,
           -0.0357086844836877x - y <= -473963.378148615,
           2.79049059366494x - y <= -576986.478199898.
County(id,x,y) :- id = 21,
           -0.200148539453439x - y <= -467969.072028041,
           3.42288290912684x - y <= -504551.896151817,
           0.0431679747006999x - y >= -476838.659454393.
County(id,x,y) :- id = 21,
           -4.15149937427464x - y >= -438694.749440007,
           -0.552653172770687x - y >= -493547.607626207,
           -1.74181846788437x - y <= -470450.872810315.
County(id,x,y) :- id = 21,
           -0.433435158866205x - y >= -495863.136731996,
           2.79049059366494x - y >= -576986.478199898,
           1.7038245399955x - y <= -537374.372133953.
County(id,x,y) :- id = 21,
           0.0431679747006999x - y <= -476838.659454393,
           -3.39865685243383x - y >= -448616.12946115,
           0.779419947288838x - y >= -503677.163455636.
County(id,x,y) :- id = 21,
           -1.74181846788437x - y >= -470450.872810315,
           1.7038245399955x - y >= -537374.372133953,
           0.779419947288838x - y <= -503677.163455636.
County(id,x,y) :- id = 69,
           -0.022494776249347x - y <= -440262.140079159,
           20.528047384401x - y <= -10636854.8275378,
           5.05289101778741x - y >= -2987671.70459442.
County(id,x,y) :- id = 69,
           15.423855963991x - y <= -8208942.49953113,
           -0.0589425618751871x - y >= -490819.204994411,
           -0.673319687328306x - y <= -153709.055511182.
County(id,x,y) :- id = 69,
           11.5091138291711x - y >= -6838238.49789189,
           -6.67924061761635x - y <= 3175119.0470905,
           41.1907729555237x - y <= -23124633.4993583.
County(id,x,y) :- id = 69,
           18.7040302698261x - y >= -10739053.1945913,
           118.768468468468x - y >= -65730484.6131194,
           20.5702140528916x - y <= -11761227.2523722.
County(id,x,y) :- id = 69,
           14.1513621262458x - y >= -8206744.97038206,
           -0.0601430794589419x - y <= -402535.968308591,
           -0.508375060774901x - y >= -177074.581344192.
County(id,x,y) :- id = 69,
           5.05289101778741x - y <= -2987671.70459442,
           -0.091144252207942x - y >= -445037.120561157,
           26.0346499625406x - y >= -13518720.0987908.
County(id,x,y) :- id = 69,
           -0.673319687328306x - y >= -153709.055511182,
           41.1907729555237x - y >= -23124633.4993583,
           -0.077659838463045x - y <= -451784.894389542.
County(id,x,y) :- id = 69,
           20.5702140528916x - y >= -11761227.2523722,
           -0.222197935232202x - y <= -333824.1848108,
           28125.2954545455x - y <= -15405701150.3082.
County(id,x,y) :- id = 69,
           -0.508375060774901x - y <= -177074.581344192,
           17.2612182711933x - y <= -9115207.79231376,
           -0.0868028962714971x - y >= -407984.96418193.
County(id,x,y) :- id = 69,
           -0.077659838463045x - y >= -451784.894389542,
           -0.149493052947803x - y <= -412319.775736951,
           -0.0751333778421416x - y <= -453049.167733471.
County(id,x,y) :- id = 69,
           28125.2954545455x - y >= -15405701150.3082,
           -0.0868028962714971x - y <= -407984.96418193,
           -0.930801258989739x - y >= 15630.0256676661.
County(id,x,y) :- id = 69,
           26.0346499625406x - y <= -13518720.0987908,
           -0.0751333778421416x - y >= -453049.167733471,
           -0.930801258989739x - y <= 15630.0256676661.
County(id,x,y) :- id = 157,
           0.299374931461783x - y <= -681121.749581917,
           11.9127055306428x - y <= -7734873.66806801,
           9.60617676525678x - y >= -6339229.15164492.
County(id,x,y) :- id = 157,
           -0.117061904415509x - y >= -455849.358230432,
           -0.0832092028435431x - y >= -476449.442275294,
           -0.08529417035537x - y <= -475071.517739377.
County(id,x,y) :- id = 157,
           -0.814094775212637x - y >= 6582.14330194413,
           11.7373502651044x - y >= -8299459.77318232,
           8.80185383303801x - y <= -6348457.65864251.
County(id,x,y) :- id = 157,
           -0.0851277188460284x - y <= -441954.209957747,
           10.43168834326x - y <= -6841102.21753829,
           0.0102947534200043x - y >= -505374.299020705.
County(id,x,y) :- id = 157,
           9.60617676525678x - y <= -6339229.15164492,
           -0.08529417035537x - y >= -475071.517739377,
           -0.610708204727347x - y <= -127833.06660319.
County(id,x,y) :- id = 157,
           8.80185383303801x - y >= -6348457.65864251,
           0.0102947534200043x - y <= -505374.299020705,
           -0.610708204727347x - y >= -127833.06660319.
County(id,x,y) :- id = 123,
           -0.143515834958107x - y >= -444413.654478118,
           -0.0588803680804111x - y >= -491054.096780294,
           -0.0624411797635108x - y <= -488899.505268533.
County(id,x,y) :- id = 123,
           0.299374931461783x - y >= -681121.749581917,
           10.43168834326x - y >= -6841102.21753829,
           5.10500980053038x - y <= -3599987.77924846.
County(id,x,y) :- id = 123,
           14.2746008620166x - y >= -9179392.2325472,
           -0.0704595919522202x - y <= -421341.025935564,
           -0.571890171963061x - y >= -145774.742366573.
County(id,x,y) :- id = 123,
           18.7040302698261x - y <= -10739053.1945913,
           -0.149493052947803x - y >= -412319.775736951,
           213.758158508159x - y >= -117933036.481898.
County(id,x,y) :- id = 123,
           11.5091138291711x - y <= -6838238.49789189,
           -0.0624411797635108x - y >= -488899.505268533,
           -0.45159275953811x - y <= -253429.964840357.
County(id,x,y) :- id = 123,
           5.10500980053038x - y >= -3599987.77924846,
           -0.571890171963061x - y <= -145774.742366573,
           -0.678324913368397x - y >= -87282.4459233427.
County(id,x,y) :- id = 123,
           213.758158508159x - y <= -117933036.481898,
           -6.67924061761635x - y >= 3175119.0470905,
           -42.993216x - y <= 23167297.033688.
County(id,x,y) :- id = 123,
           -0.45159275953811x - y >= -253429.964840357,
           11.9127055306428x - y >= -7734873.66806801,
           0.0485895881181718x - y <= -528798.728926417.
County(id,x,y) :- id = 123,
           -0.678324913368397x - y <= -87282.4459233427,
           -42.993216x - y >= 23167297.033688,
           0.0485895881181718x - y >= -528798.728926417.
County(id,x,y) :- id = 11,
           116.932007400555x - y <= -18138866.5970528,
           -141.664528753125x - y >= 20922540.2054775,
           747.419560031805x - y >= -113502778.65326.
County(id,x,y) :- id = 11,
           -0.00215926140558391x - y >= -496141.592364491,
           75.4235308431683x - y >= -14720848.0896208,
           0.512332515439764x - y <= -573930.321265435.
County(id,x,y) :- id = 11,
           28.3721008045505x - y >= -5816586.61268745,
           0.00573225557022942x - y <= -448922.849923429,
           -1.94271608136794x - y >= -111369.336912512.
County(id,x,y) :- id = 11,
           0.0051636001731971x - y <= -450392.885966087,
           11.0280065897858x - y <= -2305154.83401977,
           0.320196874244693x - y >= -504925.406594793.
County(id,x,y) :- id = 11,
           0.00559800740071146x - y <= -452034.091473168,
           6.68196782993133x - y <= -1494281.03696736,
           0.0966546757052174x - y >= -467342.814564047.
County(id,x,y) :- id = 11,
           0.0288344600785667x - y <= -456766.6779328,
           747.419560031805x - y <= -113502778.65326,
           9.30789075353735x - y >= -1903777.22282535.
County(id,x,y) :- id = 11,
           0.512332515439764x - y >= -573930.321265435,
           -0.292600869920458x - y <= -421919.318025617,
           0.526476246455167x - y <= -576068.786654233.
County(id,x,y) :- id = 11,
           -1.94271608136794x - y <= -111369.336912512,
           11.0989059564593x - y <= -2370728.8748446,
           -1.82058428138399x - y >= -134354.415721074.
County(id,x,y) :- id = 11,
           0.0966546757052174x - y <= -467342.814564047,
           9.30789075353735x - y <= -1903777.22282535,
           2.68051719809189x - y >= -901749.614160965.
County(id,x,y) :- id = 11,
           0.526476246455167x - y >= -576068.786654233,
           -1.82058428138399x - y <= -134354.415721074,
           2.14416011926203x - y <= -820654.954776856.
County(id,x,y) :- id = 11,
           0.320196874244693x - y <= -504925.406594793,
           2.68051719809189x - y <= -901749.614160965,
           2.14416011926203x - y >= -820654.954776856.
County(id,x,y) :- id = 37,
           -0.1684867535918x - y <= -418773.433692641,
           0.233883679385821x - y <= -457800.696843833,
           0.00159910429256292x - y >= -436444.955688097.
County(id,x,y) :- id = 37,
           0.201476671212118x - y <= -456607.300484148,
           0.68413697886472x - y <= -496731.707827198,
           0.457739556209517x - y >= -478966.505475378.
County(id,x,y) :- id = 37,
           0.214001283392375x - y <= -459840.582191022,
           85.2448541219161x - y <= -6829847.87046803,
           8.32007475223412x - y >= -1095916.88449065.
County(id,x,y) :- id = 37,
           -0.0313218433122416x - y >= -473408.349428639,
           0.0147639313205135x - y >= -477283.633088845,
           -0.000707522230233117x - y <= -475690.324179885.
County(id,x,y) :- id = 37,
           43.2058132079504x - y >= -4925261.54118134,
           0.00159910429256292x - y <= -436444.955688097,
           -3.57282432338767x - y >= -107820.201022875.
County(id,x,y) :- id = 37,
           0.457739556209517x - y <= -478966.505475378,
           8.32007475223412x - y <= -1095916.88449065,
           2.88829341324726x - y >= -691034.87398799.
County(id,x,y) :- id = 37,
           -0.000707522230233117x - y >= -475690.324179885,
           -3.57282432338767x - y <= -107820.201022875,
           2.26717192195934x - y <= -644736.817703204.
County(id,x,y) :- id = 37,
           0.582555020844828x - y <= -489856.785430999,
           2.88829341324726x - y <= -691034.87398799,
           2.26717192195934x - y >= -644736.817703204.
County(id,x,y) :- id = 53,
           431.25444512569x - y <= -12188883.0190642,
           -0.0124677525514257x - y >= -441622.110173975,
           -1.65608130251328x - y <= -391335.564212112.
County(id,x,y) :- id = 53,
           -53.885700659725x - y >= 1206635.65866932,
           -0.0860001242776362x - y >= -440694.359319658,
           -0.801509553635138x - y <= -417481.28534508.
County(id,x,y) :- id = 53,
           -39.7232278802233x - y >= 845245.227629103,
           -0.145428607957795x - y >= -440594.027908072,
           -1.6594356717577x - y <= -389647.826235277.
County(id,x,y) :- id = 53,
           -5.00740055504163x - y >= -276989.108706493,
           -0.0968702410178619x - y >= -443389.199558129,
           -0.844893922732569x - y <= -417057.082908487.
County(id,x,y) :- id = 53,
           -32.9633684628657x - y >= 725992.489857977,
           -31.1971472236373x - y >= 661960.767463704,
           -32.5384716906427x - y <= 710855.905833443.
County(id,x,y) :- id = 53,
           -0.0357086844836877x - y >= -473963.378148615,
           -0.00523716497825405x - y >= -475352.687086596,
           -0.0125503542863848x - y <= -474807.565954968.
County(id,x,y) :- id = 53,
           85.2448541219161x - y >= -6829847.87046803,
           -0.0538046845221112x - y <= -439778.147080569,
           -2.75007424346649x - y >= -270754.03233886.
County(id,x,y) :- id = 53,
           -0.395777801471372x - y <= -418340.489571116,
           0.038760693937862x - y <= -443224.728613822,
           -0.131521557164647x - y >= -434906.221143.
County(id,x,y) :- id = 53,
           -0.595314645612772x - y <= -413108.484979341,
           0.0112485558231833x - y <= -436773.136009939,
           -0.226362223836422x - y >= -430297.838511522.
County(id,x,y) :- id = 53,
           -1.65608130251328x - y >= -391335.564212112,
           -0.801509553635138x - y >= -417481.28534508,
           -1.35191910313928x - y <= -399624.500983166.
County(id,x,y) :- id = 53,
           -1.6594356717577x - y >= -389647.826235277,
           -0.844893922732569x - y >= -417057.082908487,
           -1.20122473419503x - y <= -404513.436600683.
County(id,x,y) :- id = 53,
           -32.5384716906427x - y >= 710855.905833443,
           -0.0125503542863848x - y >= -474807.565954968,
           -0.705217329418984x - y <= -423176.548430836.
County(id,x,y) :- id = 53,
           -2.75007424346649x - y <= -270754.03233886,
           -0.131521557164647x - y <= -434906.221143,
           -1.33959918919371x - y >= -375890.071530807.
County(id,x,y) :- id = 53,
           -0.226362223836422x - y <= -430297.838511522,
           -1.35191910313928x - y >= -399624.500983166,
           0.186646476728832x - y >= -449539.75737928.
County(id,x,y) :- id = 53,
           -3.55553909541225x - y >= -321636.273878524,
           -0.705217329418984x - y >= -423176.548430836,
           -0.735787249744894x - y <= -420897.883287668.
County(id,x,y) :- id = 53,
           -1.33959918919371x - y <= -375890.071530807,
           -0.215438343175235x - y <= -430806.7779724,
           -1.24863339826086x - y >= -382670.611840025.
County(id,x,y) :- id = 53,
           0.186646476728832x - y <= -449539.75737928,
           -1.20122473419503x - y >= -404513.436600683,
           0.522972440343898x - y >= -465209.056588096.
County(id,x,y) :- id = 53,
           -0.735787249744894x - y >= -420897.883287668,
           -1.24863339826086x - y <= -382670.611840025,
           0.522972440343898x - y <= -465209.056588096.
County(id,x,y) :- id = 141,
           -0.433713830077428x - y <= -388772.000794086,
           0.691327667773895x - y <= -508106.136882486,
           0.0408717858507676x - y >= -440525.295256647.
County(id,x,y) :- id = 141,
           43.2058132079504x - y <= -4925261.54118134,
           -0.0366211153285245x - y >= -471991.806283774,
           -4.61448961620645x - y <= 43155.8434138118.
County(id,x,y) :- id = 141,
           0.000176037949563505x - y >= -476132.59080459,
           116.932007400555x - y >= -18138866.5970528,
           0.612212280794133x - y <= -545005.043556489.
County(id,x,y) :- id = 141,
           98.5672351421189x - y >= -14384572.6379037,
           -0.0405838148643648x - y <= -431442.995716924,
           -1.76758305712491x - y >= -202238.246782968.
County(id,x,y) :- id = 141,
           -320.106526631658x - y <= 42047228.8360137,
           0.465943914924421x - y <= -491991.672734794,
           -0.513087217953814x - y >= -368733.052813997.
County(id,x,y) :- id = 141,
           -0.0378456074041471x - y <= -428565.29213521,
           0.334207204165332x - y <= -474461.837423599,
           0.181171823568137x - y >= -456139.273568137.
County(id,x,y) :- id = 141,
           -113.260718424102x - y <= 12408680.5101028,
           -0.0579720528992296x - y <= -429746.430240619,
           -0.232696393695943x - y >= -410692.839159179.
County(id,x,y) :- id = 141,
           0.0408717858507676x - y <= -440525.295256647,
           -4.61448961620645x - y >= 43155.8434138118,
           -11.5051120613223x - y <= 818557.748661661.
County(id,x,y) :- id = 141,
           0.612212280794133x - y >= -545005.043556489,
           -0.0322181659846087x - y <= -447532.209721031,
           0.833674033950426x - y <= -569926.139829677.
County(id,x,y) :- id = 141,
           -1.76758305712491x - y <= -202238.246782968,
           -0.513087217953814x - y <= -368733.052813997,
           -1.21387829767827x - y >= -280504.457788934.
County(id,x,y) :- id = 141,
           0.181171823568137x - y <= -456139.273568137,
           0.564518998490001x - y <= -502036.523366891,
           0.358535604787169x - y >= -478469.120048832.
County(id,x,y) :- id = 141,
           -0.364172364046917x - y <= -395781.142748777,
           -0.232696393695943x - y <= -410692.839159179,
           -0.257116893556787x - y >= -408029.797385885.
County(id,x,y) :- id = 141,
           -11.5051120613223x - y >= 818557.748661661,
           0.833674033950426x - y >= -569926.139829677,
           -0.495903477146593x - y <= -381990.25476287.
County(id,x,y) :- id = 141,
           -1.21387829767827x - y <= -280504.457788934,
           0.358535604787169x - y <= -478469.120048832,
           -0.543460971992044x - y >= -375267.999151036.
County(id,x,y) :- id = 141,
           -0.257116893556787x - y <= -408029.797385885,
           -0.495903477146593x - y >= -381990.25476287,
           -0.543460971992044x - y <= -375267.999151036.
County(id,x,y) :- id = 5,
           -0.0547572704373712x - y <= -424254.410952349,
           22.3432760272611x - y <= -10461585.1638612,
           0.72325920046518x - y >= -810283.986031759.
County(id,x,y) :- id = 5,
           -0.16999207415831x - y >= -411531.425016799,
           -0.0513027493063988x - y >= -464730.294857261,
           -0.0557984842986814x - y <= -462508.107280379.
County(id,x,y) :- id = 5,
           20.528047384401x - y >= -10636854.8275378,
           0.72325920046518x - y <= -810283.986031759,
           -0.0557984842986814x - y >= -462508.107280379.
County(id,x,y) :- id = 77,
           -0.141755037799623x - y <= -407318.512367121,
           -0.0311496066100694x - y <= -432488.414849043,
           -0.0328848169213513x - y >= -432159.471491249.
County(id,x,y) :- id = 77,
           27.5030485030485x - y <= -5652139.03672565,
           28.3721008045505x - y <= -5816586.61268745,
           28.1543845250715x - y >= -5775612.63340942.
County(id,x,y) :- id = 77,
           -0.292600869920458x - y >= -421919.318025617,
           -0.0183218451771236x - y >= -473716.684711078,
           -0.0228733812909475x - y <= -472681.753229218.
County(id,x,y) :- id = 77,
           48.3997309008884x - y >= -11483047.5620548,
           -0.0328848169213513x - y <= -432159.471491249,
           -1.04438692145384x - y >= -240409.286215271.
County(id,x,y) :- id = 77,
           28.1543845250715x - y <= -5775612.63340942,
           -0.0228733812909475x - y >= -472681.753229218,
           -1.04438692145384x - y <= -240409.286215271.
County(id,x,y) :- id = 117,
           -0.0710886945843981x - y <= -416935.73686829,
           -0.0457854381447668x - y <= -427981.359494614,
           -0.0508755621571667x - y >= -425993.93823034.
County(id,x,y) :- id = 117,
           21.1002752654345x - y <= -8684387.41080908,
           -0.0579522779820503x - y >= -461903.470670963,
           -4.34279847929809x - y <= 1249772.47715972.
County(id,x,y) :- id = 117,
           -0.0503494613095694x - y >= -464940.582815164,
           22.3432760272611x - y >= -10461585.1638612,
           0.745147701001798x - y <= -782719.400378725.
County(id,x,y) :- id = 117,
           -0.0508755621571667x - y <= -425993.93823034,
           -4.34279847929809x - y >= 1249772.47715972,
           0.745147701001798x - y >= -782719.400378725.
County(id,x,y) :- id = 113,
           -0.0457758020495092x - y <= -427985.121874582,
           20.5463741987179x - y <= -7692651.11036408,
           0.929385054068348x - y >= -808733.29555658.
County(id,x,y) :- id = 113,
           -0.163904476053765x - y >= -425080.370143058,
           -0.0454682301553283x - y >= -466755.005732324,
           -0.0484772280444664x - y <= -465585.652733895.
County(id,x,y) :- id = 113,
           21.1002752654345x - y >= -8684387.41080908,
           0.929385054068348x - y <= -808733.29555658,
           -0.0484772280444664x - y >= -465585.652733895.
County(id,x,y) :- id = 41,
           -0.029714963012253x - y <= -393721.538790185,
           23.6963777663211x - y <= -6722827.30563134,
           1.94431205457428x - y >= -955906.728844016.
County(id,x,y) :- id = 41,
           44.9079747896098x - y <= -12380440.9557395,
           -0.120547627334958x - y >= -447200.051706259,
           776.253768844221x - y >= -206825495.549309.
County(id,x,y) :- id = 41,
           -0.0417402160278237x - y >= -467949.778884853,
           20.5463741987179x - y >= -7692651.11036408,
           0.745113388775644x - y <= -707001.436588555.
County(id,x,y) :- id = 41,
           18.5102377169668x - y >= -6938548.11793837,
           -0.165976482051509x - y <= -346327.75272729,
           56.5132029560202x - y <= -20272628.3422897.
County(id,x,y) :- id = 41,
           -0.0373636567008408x - y <= -391543.259426897,
           1.94431205457428x - y <= -955906.728844016,
           0.413577542264428x - y >= -550077.486066811.
County(id,x,y) :- id = 41,
           776.253768844221x - y <= -206825495.549309,
           -0.0364982480215684x - y >= -469542.325622741,
           -1.05459139247264x - y <= -160238.469871085.
County(id,x,y) :- id = 41,
           0.745113388775644x - y >= -707001.436588555,
           -0.137303125559881x - y <= -395695.36902709,
           0.781088022693257x - y <= -717930.783319371.
County(id,x,y) :- id = 41,
           56.5132029560202x - y >= -20272628.3422897,
           0.413577542264428x - y <= -550077.486066811,
           -0.0401320862810153x - y >= -429789.719956751.
County(id,x,y) :- id = 41,
           -1.05459139247264x - y >= -160238.469871085,
           0.781088022693257x - y >= -717930.783319371,
           -0.038178763912792x - y <= -430475.081138387.
County(id,x,y) :- id = 41,
           -0.0401320862810153x - y <= -429789.719956751,
           -0.260809968847352x - y >= -371283.468703271,
           -0.038178763912792x - y >= -430475.081138387.
County(id,x,y) :- id = 175,
           -0.0207508920363293x - y <= -434928.073682486,
           48.3997309008884x - y <= -11483047.5620548,
           0.992402352782388x - y >= -703535.863508564.
County(id,x,y) :- id = 175,
           -0.0335937191860019x - y >= -470244.155260903,
           44.9079747896098x - y >= -12380440.9557395,
           0.967907893759415x - y <= -697966.296193254.
County(id,x,y) :- id = 175,
           -0.260809968847352x - y <= -371283.468703271,
           0.992402352782388x - y <= -703535.863508564,
           0.967907893759415x - y >= -697966.296193254.
County(id,x,y) :- id = 7,
           0.211203090507726x - y <= -588822.470171082,
           12.4489674005803x - y <= -8064793.1417264,
           5.01722635565386x - y >= -3527512.25437152.
County(id,x,y) :- id = 7,
           14.2746008620166x - y <= -9179392.2325472,
           -0.0851277188460284x - y >= -441954.209957747,
           -0.631710898606783x - y <= -78681.7740466406.
County(id,x,y) :- id = 7,
           10.4776057203018x - y >= -7462202.9999013,
           12.712544469599x - y >= -8950781.71893192,
           11.640684170664x - y <= -8235213.14266442.
County(id,x,y) :- id = 7,
           -0.0760718532472911x - y <= -413165.404881375,
           5.01722635565386x - y <= -3527512.25437152,
           0.00714830962793087x - y >= -468722.769516059.
County(id,x,y) :- id = 7,
           -0.631710898606783x - y >= -78681.7740466406,
           11.640684170664x - y >= -8235213.14266442,
           0.00714830962793087x - y <= -468722.769516059.
County(id,x,y) :- id = 177,
           18.496029419666x - y <= -344395.342723364,
           -0.744647901694124x - y >= -447970.7365977,
           -7.93859046455805x - y <= -475886.279224132.
County(id,x,y) :- id = 177,
           1.49256568387632x - y <= -449050.368317807,
           8.23081933850503x - y <= -447201.914486373,
           2.43385505451029x - y >= -450099.552063322.
County(id,x,y) :- id = 177,
           -1.08838838363368x - y >= -451860.160623514,
           0.365183348152938x - y >= -452413.021095635,
           0.0903629644395654x - y <= -451270.956682843.
County(id,x,y) :- id = 177,
           1.56252533721041x - y <= -467133.481317704,
           -1.02304927250825x - y >= -449834.592129886,
           -2.51109193989467x - y <= -436130.220505757.
County(id,x,y) :- id = 177,
           6.23213315668734x - y <= -516652.377929791,
           -1.90536796575928x - y >= -449842.389112301,
           -13.0619873014172x - y <= -338960.028971154.
County(id,x,y) :- id = 177,
           -0.0101119405325268x - y >= -468678.781645405,
           -32.9633684628657x - y <= 725992.489857977,
           0.797337712131627x - y <= -476703.786397193.
County(id,x,y) :- id = 177,
           -3.55553909541225x - y <= -321636.273878524,
           -0.0968702410178619x - y <= -443389.199558129,
           -0.936565453123174x - y >= -414934.969434964.
County(id,x,y) :- id = 177,
           -5.00740055504163x - y <= -276989.108706493,
           -0.145428607957795x - y <= -440594.027908072,
           -0.968128937761702x - y >= -413865.397234902.
County(id,x,y) :- id = 177,
           -39.7232278802233x - y <= 845245.227629103,
           -0.0860001242776362x - y <= -440694.359319658,
           -1.06525341731467x - y >= -410709.929503518.
County(id,x,y) :- id = 177,
           -53.885700659725x - y <= 1206635.65866932,
           -0.0124677525514257x - y <= -441622.110173975,
           -0.404036202420196x - y >= -430956.193993207.
County(id,x,y) :- id = 177,
           431.25444512569x - y >= -12188883.0190642,
           -0.00212271072899544x - y <= -436408.746275685,
           -0.172709934106821x - y >= -437257.280275994.
County(id,x,y) :- id = 177,
           -7.93859046455805x - y >= -475886.279224132,
           -0.240309751256939x - y >= -446013.691067569,
           -1.75859371232309x - y <= -445145.774383053.
County(id,x,y) :- id = 177,
           2.43385505451029x - y <= -450099.552063322,
           0.0903629644395654x - y >= -451270.956682843,
           -1.1537846210562x - y <= -446100.682693498.
County(id,x,y) :- id = 177,
           -5.71271069649104x - y >= -411763.517750186,
           -2.51109193989467x - y >= -436130.220505757,
           -3.27615389299295x - y <= -429084.257677852.
County(id,x,y) :- id = 177,
           -13.0619873014172x - y >= -338960.028971154,
           0.797337712131627x - y >= -476703.786397193,
           0.41481862033466x - y <= -463076.870985056.
County(id,x,y) :- id = 177,
           -1.06525341731467x - y <= -410709.929503518,
           -0.404036202420196x - y <= -430956.193993207,
           -0.639459041984068x - y >= -424543.521382152.
County(id,x,y) :- id = 177,
           -0.172709934106821x - y <= -437257.280275994,
           -1.75859371232309x - y >= -445145.774383053,
           0.157096578031809x - y >= -446240.865688765.
County(id,x,y) :- id = 177,
           -2.27569035671193x - y >= -444850.179608504,
           -1.1537846210562x - y >= -446100.682693498,
           -1.32375330781483x - y <= -445394.347938364.
County(id,x,y) :- id = 177,
           -3.27615389299295x - y >= -429084.257677852,
           0.41481862033466x - y >= -463076.870985056,
           0.142874305389554x - y <= -453389.087404999.
County(id,x,y) :- id = 177,
           -0.968128937761702x - y <= -413865.397234902,
           -0.639459041984068x - y <= -424543.521382152,
           -0.70855477334963x - y >= -422661.425724442.
County(id,x,y) :- id = 177,
           0.157096578031809x - y <= -446240.865688765,
           -1.32375330781483x - y >= -445394.347938364,
           0.387021180101941x - y >= -452503.77204498.
County(id,x,y) :- id = 177,
           -0.50050464765276x - y >= -448815.502457346,
           0.142874305389554x - y >= -453389.087404999,
           0.0824992477589174x - y <= -451238.277625883.
County(id,x,y) :- id = 177,
           -0.936565453123174x - y <= -414934.969434964,
           -0.70855477334963x - y <= -422661.425724442,
           -0.755808233268487x - y >= -421374.290760135.
County(id,x,y) :- id = 177,
           0.387021180101941x - y <= -452503.77204498,
           0.0824992477589174x - y >= -451238.277625883,
           -0.755808233268487x - y <= -421374.290760135.
County(id,x,y) :- id = 125,
           98.5672351421189x - y <= -14384572.6379037,
           -0.0322181659846087x - y >= -447532.209721031,
           -1.56051593182215x - y <= -216370.701252251.
County(id,x,y) :- id = 125,
           0.0288344600785667x - y >= -456766.6779328,
           6.68196782993133x - y >= -1494281.03696736,
           0.256437485117036x - y <= -491192.599226428.
County(id,x,y) :- id = 125,
           0.00559800740071146x - y >= -452034.091473168,
           11.0280065897858x - y >= -2305154.83401977,
           0.134602480879234x - y <= -472172.957655256.
County(id,x,y) :- id = 125,
           0.0051636001731971x - y >= -450392.885966087,
           11.0989059564593x - y >= -2370728.8748446,
           0.320328516308085x - y <= -503424.204144108.
County(id,x,y) :- id = 125,
           0.00573225557022942x - y >= -448922.849923429,
           27.5030485030485x - y >= -5652139.03672565,
           0.584065816810388x - y <= -549114.639250263.
County(id,x,y) :- id = 125,
           38.8936351986331x - y >= -7764238.89067172,
           -0.0292277231215632x - y <= -418427.927624674,
           -1.06035936329461x - y >= -238439.549745862.
County(id,x,y) :- id = 125,
           0.000857814919658861x - y <= -425397.969042334,
           5.26734926052332x - y <= -1325401.28238766,
           0.315295236397135x - y >= -480221.145572383.
County(id,x,y) :- id = 125,
           -0.0303289389231071x - y <= -421232.554906639,
           10.659614480489x - y <= -2107788.7698857,
           0.0786906625560081x - y >= -439839.218170965.
County(id,x,y) :- id = 125,
           0.0189010902584571x - y <= -430414.14413897,
           38.9590982286634x - y <= -5949946.75447866,
           0.604296441903139x - y >= -522694.358149847.
County(id,x,y) :- id = 125,
           -1.56051593182215x - y >= -216370.701252251,
           0.256437485117036x - y >= -491192.599226428,
           -0.956597632598142x - y <= -301825.895490322.
County(id,x,y) :- id = 125,
           0.134602480879234x - y >= -472172.957655256,
           0.320328516308085x - y >= -503424.204144108,
           0.188555486546408x - y <= -480595.552096786.
County(id,x,y) :- id = 125,
           0.584065816810388x - y >= -549114.639250263,
           -0.184482468733429x - y <= -403421.14490536,
           0.64547632285494x - y <= -559753.531571981.
County(id,x,y) :- id = 125,
           -1.06035936329461x - y <= -238439.549745862,
           8.55052860696517x - y <= -1916060.59088833,
           -0.92245727453828x - y >= -264415.011274899.
County(id,x,y) :- id = 125,
           0.0786906625560081x - y <= -439839.218170965,
           0.604296441903139x - y <= -522694.358149847,
           0.3694298084221x - y >= -489460.435928988.
County(id,x,y) :- id = 125,
           -0.956597632598142x - y >= -301825.895490322,
           0.188555486546408x - y >= -480595.552096786,
           -0.33849392199159x - y <= -389288.343170788.
County(id,x,y) :- id = 125,
           0.64547632285494x - y >= -559753.531571981,
           -0.92245727453828x - y <= -264415.011274899,
           20.4152790279028x - y <= -3984718.01644422.
County(id,x,y) :- id = 125,
           0.315295236397135x - y <= -480221.145572383,
           0.3694298084221x - y <= -489460.435928988,
           0.363364828782141x - y >= -488602.233728709.
County(id,x,y) :- id = 125,
           -0.33849392199159x - y >= -389288.343170788,
           20.4152790279028x - y >= -3984718.01644422,
           0.363364828782141x - y <= -488602.233728709.
County(id,x,y) :- id = 23,
           94.3741486833501x - y <= -7513760.48514682,
           0.214001283392375x - y >= -459840.582191022,
           -14.8327781275249x - y <= 720866.679592778.
County(id,x,y) :- id = 23,
           0.201476671212118x - y >= -456607.300484148,
           0.582555020844828x - y >= -489856.785430999,
           0.404295336309503x - y <= -473467.975799919.
County(id,x,y) :- id = 23,
           -0.1684867535918x - y >= -418773.433692641,
           0.691327667773895x - y >= -508106.136882486,
           0.0373588221574444x - y <= -438739.08920521.
County(id,x,y) :- id = 23,
           -0.433713830077428x - y >= -388772.000794086,
           -0.0579720528992296x - y >= -429746.430240619,
           -0.210446768313776x - y <= -412454.133394036.
County(id,x,y) :- id = 23,
           196.637491522719x - y >= -22737158.7462987,
           -0.00601803775322773x - y <= -397128.716539479,
           -1.01924829271892x - y >= -320727.213216104.
County(id,x,y) :- id = 23,
           -14.8327781275249x - y >= 720866.679592778,
           0.68413697886472x - y >= -496731.707827198,
           -5.47053941237544x - y <= 14917.4555105093.
County(id,x,y) :- id = 23,
           -0.210446768313776x - y >= -412454.133394036,
           -1.01924829271892x - y <= -320727.213216104,
           -1.21283220401419x - y >= -306130.233142036.
County(id,x,y) :- id = 23,
           -5.47053941237544x - y >= 14917.4555105093,
           0.404295336309503x - y >= -473467.975799919,
           -2.34157285319738x - y <= -221018.796687036.
County(id,x,y) :- id = 23,
           0.0373588221574444x - y >= -438739.08920521,
           -1.21283220401419x - y <= -306130.233142036,
           -1.73848732003041x - y >= -266493.792267477.
County(id,x,y) :- id = 23,
           -2.34157285319738x - y >= -221018.796687036,
           0.233883679385821x - y >= -457800.696843833,
           -1.73848732003041x - y <= -266493.792267477.
County(id,x,y) :- id = 155,
           5.20201333495275x - y <= -543665.995039566,
           -4.65559906556192x - y >= -285544.010015956,
           155.739137130098x - y >= -4671886.11533298.
County(id,x,y) :- id = 155,
           4.76839231000078x - y <= -563433.837846448,
           -0.95341549723645x - y >= -394870.016843374,
           -3.78813665097907x - y <= -302338.024678428.
County(id,x,y) :- id = 155,
           -2.5496329712298x - y >= -342765.709299016,
           -1.25339149572316x - y >= -387434.063958893,
           -1.62313211295952x - y <= -373008.885085492.
County(id,x,y) :- id = 155,
           -0.595314645612772x - y >= -413108.484979341,
           -0.215438343175235x - y >= -430806.7779724,
           -0.507975335389776x - y <= -416515.968804254.
County(id,x,y) :- id = 155,
           -0.395777801471372x - y >= -418340.489571116,
           -0.0538046845221112x - y >= -439778.147080569,
           -0.158872722934458x - y <= -431907.07266335.
County(id,x,y) :- id = 155,
           94.3741486833501x - y >= -7513760.48514682,
           -0.011351520107227x - y <= -396726.551219407,
           -1.27336362421745x - y >= -348416.022921994.
County(id,x,y) :- id = 155,
           -23.9235559897423x - y <= 518645.99308619,
           0.0171758220956507x - y <= -394755.302364017,
           -0.325497436076706x - y >= -384700.87007615.
County(id,x,y) :- id = 155,
           0.122583625947145x - y <= -400255.942985787,
           -2.36242915132546x - y >= -336224.24988472,
           2.50732809256824x - y >= -469768.915335774.
County(id,x,y) :- id = 155,
           155.739137130098x - y <= -4671886.11533298,
           -1.60041442341492x - y >= -369094.663567453,
           -5.47413411248939x - y <= -250891.126032993.
County(id,x,y) :- id = 155,
           -3.78813665097907x - y >= -302338.024678428,
           -1.62313211295952x - y >= -373008.885085492,
           -2.16517683271634x - y <= -351861.3787652.
County(id,x,y) :- id = 155,
           -0.507975335389776x - y >= -416515.968804254,
           0.038760693937862x - y >= -443224.728613822,
           -0.255911035109328x - y <= -426350.086154741.
County(id,x,y) :- id = 155,
           -0.158872722934458x - y >= -431907.07266335,
           -1.27336362421745x - y <= -348416.022921994,
           -2.30935869939147x - y >= -308757.552743958.
County(id,x,y) :- id = 155,
           -0.325497436076706x - y <= -384700.87007615,
           12.6543059282752x - y <= -765543.410088589,
           -0.0523837166276036x - y >= -395155.815816279.
County(id,x,y) :- id = 155,
           2.50732809256824x - y <= -469768.915335774,
           -5.47413411248939x - y >= -250891.126032993,
           -15.5635475070138x - y <= 56979.4610525894.
County(id,x,y) :- id = 155,
           -2.16517683271634x - y >= -351861.3787652,
           -0.255911035109328x - y >= -426350.086154741,
           -0.862562597371763x - y <= -391609.637033537.
County(id,x,y) :- id = 155,
           -2.30935869939147x - y <= -308757.552743958,
           -0.0523837166276036x - y <= -395155.815816279,
           -1.57635961828422x - y >= -350733.406540705.
County(id,x,y) :- id = 155,
           -15.5635475070138x - y >= 56979.4610525894,
           -0.862562597371763x - y >= -391609.637033537,
           -1.57635961828422x - y <= -350733.406540705.
County(id,x,y) :- id = 33,
           0.128037169624495x - y <= -486960.356250952,
           11.129507779555x - y <= -6547301.96599626,
           7.57515318552058x - y >= -4595437.91515737.
County(id,x,y) :- id = 33,
           14.1513621262458x - y <= -8206744.97038206,
           -0.222197935232202x - y >= -333824.1848108,
           -45.5284138508796x - y <= 24566239.8880725.
County(id,x,y) :- id = 33,
           118.768468468468x - y <= -65730484.6131194,
           -0.0704595919522202x - y >= -421341.025935564,
           -0.138111986739411x - y <= -380037.391161952.
County(id,x,y) :- id = 33,
           0.211203090507726x - y >= -588822.470171082,
           13.8299948980724x - y >= -8916165.5041266,
           11.551014942465x - y <= -7516239.82175477.
County(id,x,y) :- id = 33,
           3.86513105639396x - y >= -2794975.72403197,
           -0.0780273424447399x - y <= -368128.820883899,
           -0.156105634437825x - y >= -324821.256661425.
County(id,x,y) :- id = 33,
           0.020375760783276x - y <= -422709.916396533,
           12.6863688243926x - y <= -7415229.45677075,
           1.64883023772588x - y >= -1325962.21666217.
County(id,x,y) :- id = 33,
           7.57515318552058x - y <= -4595437.91515737,
           -45.5284138508796x - y >= 24566239.8880725,
           18.9366990291262x - y >= -10863455.7670752.
County(id,x,y) :- id = 33,
           -0.138111986739411x - y >= -380037.391161952,
           12.4489674005803x - y >= -8064793.1417264,
           -0.0629189276268432x - y <= -421363.111085791.
County(id,x,y) :- id = 33,
           11.551014942465x - y >= -7516239.82175477,
           -0.156105634437825x - y <= -324821.256661425,
           -0.860679345621003x - y >= 65983.5428241243.
County(id,x,y) :- id = 33,
           1.64883023772588x - y <= -1325962.21666217,
           18.9366990291262x - y <= -10863455.7670752,
           8.77783731845227x - y >= -5280197.43505511.
County(id,x,y) :- id = 33,
           -0.0629189276268432x - y >= -421363.111085791,
           -0.860679345621003x - y <= 65983.5428241242,
           8.77783731845227x - y <= -5280197.43505511.
County(id,x,y) :- id = 143,
           196.637491522719x - y <= -22737158.7462987,
           -113.260718424102x - y >= 12408680.5101028,
           207.686993885308x - y >= -23992456.7988297.
County(id,x,y) :- id = 143,
           -0.364172364046917x - y >= -395781.142748777,
           0.564518998490001x - y >= -502036.523366891,
           0.417865062394992x - y <= -484477.9947556.
County(id,x,y) :- id = 143,
           -0.0378456074041471x - y >= -428565.29213521,
           0.465943914924421x - y >= -491991.672734794,
           0.328993694694708x - y <= -473818.697347542.
County(id,x,y) :- id = 143,
           0.612990865757277x - y >= -511504.460766631,
           1.09724395189145x - y >= -578701.915928584,
           0.810647280264582x - y <= -537733.006802911.
County(id,x,y) :- id = 143,
           0.540842815731407x - y >= -499164.538696094,
           1.9051297025413x - y >= -698130.539494753,
           1.03845810286185x - y <= -570298.496261853.
County(id,x,y) :- id = 143,
           0.685041253804085x - y >= -518170.333824434,
           1.97083468601662x - y >= -711432.96217075,
           1.18397613989214x - y <= -591762.06793964.
County(id,x,y) :- id = 143,
           -55.5020714655619x - y <= 8029444.42563358,
           -0.0126981636369803x - y <= -396369.809148234,
           -0.360766969677159x - y >= -356826.843317629.
County(id,x,y) :- id = 143,
           207.686993885308x - y <= -23992456.7988297,
           0.417865062394992x - y >= -484477.9947556,
           -5.98534474066113x - y <= 282163.157366104.
County(id,x,y) :- id = 143,
           0.328993694694708x - y >= -473818.697347542,
           0.810647280264582x - y >= -537733.006802911,
           0.581065020794084x - y <= -504914.290968836.
County(id,x,y) :- id = 143,
           1.03845810286185x - y >= -570298.496261853,
           1.18397613989214x - y >= -591762.06793964,
           1.11154584101426x - y <= -580746.366732817.
County(id,x,y) :- id = 143,
           -0.360766969677159x - y <= -356826.843317629,
           -5.98534474066113x - y >= 282163.157366104,
           0.70314334490024x - y >= -518633.688212769.
County(id,x,y) :- id = 143,
           0.334207204165332x - y >= -474461.837423599,
           0.581065020794084x - y >= -504914.290968836,
           0.542448674062424x - y <= -499394.095667773.
County(id,x,y) :- id = 143,
           1.11154584101426x - y >= -580746.366732817,
           0.70314334490024x - y <= -518633.688212769,
           0.542448674062424x - y >= -499394.095667773.
County(id,x,y) :- id = 55,
           0.0310678462720109x - y <= -413711.086421107,
           -3.00844600703929x - y >= -434932.76436566,
           0.0771803745462118x - y >= -414972.133567349.
County(id,x,y) :- id = 55,
           2.0815318690631x - y <= -402006.169699898,
           -5.34840282540826x - y >= -457022.245793429,
           -15.6984274439167x - y <= -517023.07698762.
County(id,x,y) :- id = 55,
           -2.13288300901654x - y <= -442471.256871314,
           2.31348859170381x - y <= -404628.170808944,
           -0.430470002419267x - y >= -429911.600176842.
County(id,x,y) :- id = 55,
           26.4183476656925x - y <= -304988.192176485,
           -0.00212271072899544x - y >= -436408.746275685,
           -0.193618328777883x - y <= -431190.165290908.
County(id,x,y) :- id = 55,
           0.0112485558231833x - y >= -436773.136009939,
           -1.25339149572316x - y <= -387434.063958893,
           0.81029642876497x - y <= -458548.54830473.
County(id,x,y) :- id = 55,
           -2.5496329712298x - y <= -342765.709299016,
           -0.95341549723645x - y <= -394870.016843374,
           -1.53365205642016x - y >= -377776.31240647.
County(id,x,y) :- id = 55,
           4.76839231000078x - y >= -563433.837846448,
           -1.60041442341492x - y <= -369094.663567453,
           -4.7787063469759x - y >= -282177.374272507.
County(id,x,y) :- id = 55,
           0.0771803745462118x - y <= -414972.133567349,
           -15.6984274439167x - y >= -517023.07698762,
           0.396906027913775x - y >= -423715.725338375.
County(id,x,y) :- id = 55,
           -0.430470002419267x - y <= -429911.600176842,
           -0.967552483042496x - y >= -434860.394591108,
           -1.34187435566198x - y <= -436635.541865619.
County(id,x,y) :- id = 55,
           -0.193618328777883x - y >= -431190.165290908,
           0.81029642876497x - y >= -458548.54830473,
           -0.00902611876320231x - y <= -430314.773328877.
County(id,x,y) :- id = 55,
           -4.7787063469759x - y <= -282177.374272507,
           0.396906027913775x - y <= -423715.725338375,
           0.0867663183339904x - y >= -425513.657328588.
County(id,x,y) :- id = 55,
           0.455029064037278x - y <= -423378.776335113,
           -1.34187435566198x - y >= -436635.541865619,
           -4.0339831306362x - y <= -449402.334041402.
County(id,x,y) :- id = 55,
           -0.00902611876320231x - y >= -430314.773328877,
           -1.53365205642016x - y <= -377776.31240647,
           0.213858744370099x - y <= -429257.78605065.
County(id,x,y) :- id = 55,
           0.0867663183339904x - y <= -425513.657328588,
           -4.0339831306362x - y >= -449402.334041402,
           0.213858744370099x - y >= -429257.78605065.
County(id,x,y) :- id = 163,
           28.8782817325022x - y <= -7011257.28530589,
           -0.141755037799623x - y >= -407318.512367121,
           52.1386028043182x - y >= -12336147.3663373.
County(id,x,y) :- id = 163,
           -0.0207508920363293x - y >= -434928.073682486,
           23.6963777663211x - y >= -6722827.30563134,
           0.985170613664967x - y <= -664449.560858916.
County(id,x,y) :- id = 163,
           -0.0364182748899101x - y <= -391933.382166766,
           52.1386028043182x - y <= -12336147.3663373,
           0.985170613664967x - y >= -664449.560858916.
County(id,x,y) :- id = 93,
           55.7040224178637x - y <= -10998190.1708735,
           -0.0311496066100694x - y >= -432488.414849043,
           -1.08965316676465x - y <= -191610.267191001.
County(id,x,y) :- id = 93,
           28.8782817325022x - y >= -7011257.28530589,
           -0.0822705281295381x - y <= -381436.613540279,
           -55.1744846261356x - y >= 12116193.4178794.
County(id,x,y) :- id = 93,
           -0.0315128231529828x - y <= -392950.9632252,
           -1.08965316676465x - y >= -191610.267191001,
           -55.1744846261356x - y <= 12116193.4178794.
County(id,x,y) :- id = 111,
           -0.0540578749793665x - y <= -346730.595546968,
           -0.0492046595499619x - y <= -348670.038861834,
           -0.0514349968495112x - y >= -347882.530179905.
County(id,x,y) :- id = 111,
           25.3091772605376x - y <= -9302448.43183458,
           -0.165976482051509x - y >= -346327.75272729,
           336.896803900325x - y >= -119320767.728264.
County(id,x,y) :- id = 111,
           18.5102377169668x - y <= -6938548.11793837,
           -0.137303125559881x - y >= -395695.36902709,
           210.86626344086x - y >= -74835247.9863071.
County(id,x,y) :- id = 111,
           -0.0457854381447668x - y >= -427981.359494614,
           18.0851026495876x - y >= -8342652.27052992,
           0.757776324666294x - y <= -741729.262429328.
County(id,x,y) :- id = 111,
           10.8842494714588x - y >= -5165983.62777484,
           19.8284700892204x - y >= -9078883.37519197,
           18.0849131586694x - y <= -8313135.40164483.
County(id,x,y) :- id = 111,
           -0.0514349968495112x - y <= -347882.530179905,
           336.896803900325x - y <= -119320767.728264,
           0.399487099557057x - y >= -545921.76566494.
County(id,x,y) :- id = 111,
           210.86626344086x - y <= -74835247.9863071,
           -0.0457758020495092x - y >= -427985.121874582,
           -1.09266985623588x - y <= -19228.9698312643.
County(id,x,y) :- id = 111,
           0.757776324666294x - y >= -741729.262429328,
           -0.280329914596576x - y <= -286346.507415523,
           0.793465852149437x - y <= -755664.114637073.
County(id,x,y) :- id = 111,
           18.0849131586694x - y >= -8313135.40164483,
           0.399487099557057x - y <= -545921.76566494,
           -0.0470388869068855x - y >= -388309.646303068.
County(id,x,y) :- id = 111,
           -1.09266985623588x - y >= -19228.9698312643,
           0.793465852149437x - y >= -755664.114637073,
           -0.0470388869068855x - y <= -388309.646303068.
County(id,x,y) :- id = 121,
           32.48075284641x - y >= -6555721.36559547,
           0.739545020447144x - y <= -521317.521087494,
           -3.85569877160622x - y >= 337635.644220284.
County(id,x,y) :- id = 121,
           0.714555566293853x - y <= -518511.007115189,
           1.41115709468984x - y <= -644575.301356578,
           0.909846767641322x - y >= -554547.564603309.
County(id,x,y) :- id = 121,
           0.727340174935148x - y <= -521772.146668826,
           1.76963062140663x - y <= -702805.506021353,
           0.948379136193481x - y >= -561467.393989066.
County(id,x,y) :- id = 121,
           0.27715711435221x - y <= -449486.082961212,
           0.897309693060133x - y <= -548163.850436117,
           0.6486613846203x - y >= -510347.694576077.
County(id,x,y) :- id = 121,
           0.685041253804085x - y <= -518170.333824434,
           1.9051297025413x - y <= -698130.539494753,
           1.13809735333518x - y >= -586267.440552566.
County(id,x,y) :- id = 121,
           0.540842815731407x - y <= -499164.538696094,
           1.09724395189145x - y <= -578701.915928584,
           0.869991053974355x - y >= -547167.132040854.
County(id,x,y) :- id = 121,
           0.612990865757277x - y <= -511504.460766631,
           -320.106526631658x - y >= 42047228.8360137,
           1.71773139079967x - y >= -664803.952339846.
County(id,x,y) :- id = 121,
           -0.0405838148643648x - y >= -431442.995716924,
           38.9590982286634x - y >= -5949946.75447866,
           1.00762957025454x - y <= -570560.303869828.
County(id,x,y) :- id = 121,
           0.0189010902584571x - y >= -430414.14413897,
           10.659614480489x - y >= -2107788.7698857,
           0.10716409703441x - y <= -442924.880601216.
County(id,x,y) :- id = 121,
           -0.0303289389231071x - y >= -421232.554906639,
           5.26734926052332x - y >= -1325401.28238766,
           0.0583893976018385x - y <= -435229.678743332.
County(id,x,y) :- id = 121,
           0.000857814919658861x - y >= -425397.969042334,
           8.55052860696517x - y >= -1916060.59088833,
           0.470154507866204x - y <= -505597.202812376.
County(id,x,y) :- id = 121,
           38.8936351986331x - y <= -7764238.89067172,
           -0.184482468733429x - y >= -403421.14490536,
           -17.1541672077019x - y <= 2813517.48348838.
County(id,x,y) :- id = 121,
           55.7040224178637x - y >= -10998190.1708735,
           -9.00508255721311x - y <= 1314520.81693608,
           319.697153104685x - y <= -61043297.8319989.
County(id,x,y) :- id = 121,
           -3.85569877160622x - y <= 337635.644220284,
           1.49310716033274x - y <= -662175.028240907,
           -1.38361104577883x - y >= -131341.99379604.
County(id,x,y) :- id = 121,
           0.909846767641322x - y <= -554547.564603309,
           0.948379136193481x - y <= -561467.393989066,
           0.93305335160759x - y >= -558829.812812308.
County(id,x,y) :- id = 121,
           0.6486613846203x - y <= -510347.694576077,
           1.97083468601662x - y <= -711432.96217075,
           0.822829535538231x - y >= -538880.756522301.
County(id,x,y) :- id = 121,
           0.869991053974355x - y <= -547167.132040854,
           1.71773139079967x - y <= -664803.952339846,
           1.26068207611995x - y >= -604145.052869526.
County(id,x,y) :- id = 121,
           0.0583893976018385x - y >= -435229.678743332,
           0.470154507866204x - y >= -505597.202812376,
           0.148226486198142x - y <= -449403.308496374.
County(id,x,y) :- id = 121,
           -17.1541672077019x - y >= 2813517.48348838,
           319.697153104685x - y >= -61043297.8319989,
           30.678709554201x - y <= -6213857.28126144.
County(id,x,y) :- id = 121,
           -1.38361104577883x - y <= -131341.99379604,
           0.93305335160759x - y <= -558829.812812308,
           0.251293782743884x - y >= -441498.383818748.
County(id,x,y) :- id = 121,
           0.70448392395265x - y <= -519492.810743246,
           0.822829535538231x - y <= -538880.756522301,
           0.777890333473132x - y >= -532126.119199304.
County(id,x,y) :- id = 121,
           1.13809735333518x - y <= -586267.440552566,
           1.26068207611995x - y <= -604145.052869526,
           1.2295452768637x - y >= -600012.623577436.
County(id,x,y) :- id = 121,
           0.10716409703441x - y >= -442924.880601216,
           0.148226486198142x - y >= -449403.308496374,
           0.128169191828999x - y <= -445902.22314753.
County(id,x,y) :- id = 121,
           -0.0292277231215632x - y >= -418427.927624674,
           30.678709554201x - y >= -6213857.28126144,
           1.96002948712001x - y <= -765661.165851196.
County(id,x,y) :- id = 121,
           0.251293782743884x - y <= -441498.383818748,
           0.777890333473132x - y <= -532126.119199304,
           0.542567133781401x - y >= -496755.600931039.
County(id,x,y) :- id = 121,
           1.2295452768637x - y <= -600012.623577436,
           1.00762957025454x - y >= -570560.303869828,
           1.46346172445697x - y >= -635171.698388944.
County(id,x,y) :- id = 121,
           0.128169191828999x - y >= -445902.22314753,
           1.96002948712001x - y >= -765661.165851196,
           0.70695619881555x - y <= -527941.709186815.
County(id,x,y) :- id = 121,
           0.542567133781401x - y <= -496755.600931039,
           1.46346172445697x - y <= -635171.698388944,
           0.70695619881555x - y >= -527941.709186815.
County(id,x,y) :- id = 101,
           -0.0710886945843981x - y >= -416935.73686829,
           -0.0547572704373712x - y >= -424254.410952349,
           -0.0579349522697228x - y <= -422677.735890371.
County(id,x,y) :- id = 101,
           -0.022494776249347x - y >= -440262.140079159,
           17.2612182711933x - y >= -9115207.79231376,
           2.72842155351089x - y <= -1805188.33582465.
County(id,x,y) :- id = 101,
           18.5750498299918x - y >= -9776067.11925123,
           -0.054892986301293x - y <= -380349.463638883,
           -0.433799577823626x - y >= -214586.165792876.
County(id,x,y) :- id = 101,
           10.8842494714588x - y <= -5165983.62777484,
           -0.280329914596576x - y >= -286346.507415523,
           -4.16718363913569x - y <= 1418687.2265818.
County(id,x,y) :- id = 101,
           18.0851026495876x - y <= -8342652.27052992,
           -0.0579349522697228x - y >= -422677.735890371,
           -0.732209728668711x - y <= -88121.8297434067.
County(id,x,y) :- id = 101,
           2.72842155351089x - y >= -1805188.33582465,
           -0.433799577823626x - y <= -214586.165792876,
           -0.801783737649685x - y >= -53601.191520491.
County(id,x,y) :- id = 101,
           -4.16718363913569x - y >= 1418687.2265818,
           -0.732209728668711x - y >= -88121.8297434067,
           -0.801783737649685x - y <= -53601.191520491.
County(id,x,y) :- id = 105,
           -0.0740875883458796x - y <= -370553.572584667,
           3.86513105639396x - y <= -2794975.72403197,
           0.200402923780252x - y >= -543816.375686875.
County(id,x,y) :- id = 105,
           13.8299948980724x - y <= -8916165.5041266,
           -0.0760718532472911x - y >= -413165.404881375,
           -0.810935161057013x - y <= 77425.6650958568.
County(id,x,y) :- id = 105,
           12.4293246274056x - y >= -8761705.56838283,
           -0.0924379306882225x - y <= -358970.542892703,
           -1.28183155116963x - y >= 391793.74065309.
County(id,x,y) :- id = 105,
           0.200402923780252x - y <= -543816.375686875,
           -0.810935161057013x - y >= 77425.6650958568,
           -1.28183155116963x - y <= 391793.74065309.
County(id,x,y) :- id = 49,
           -0.0601430794589419x - y >= -402535.968308591,
           11.129507779555x - y >= -6547301.96599626,
           0.341775490671016x - y <= -604701.637081725.
County(id,x,y) :- id = 49,
           0.128037169624495x - y >= -486960.356250952,
           12.6863688243926x - y >= -7415229.45677075,
           4.12659640743433x - y <= -2689632.68862592.
County(id,x,y) :- id = 49,
           -0.0717943749398549x - y <= -371825.515004064,
           18.5750498299918x - y <= -9776067.11925123,
           0.434633887869204x - y >= -651409.555963659.
County(id,x,y) :- id = 49,
           0.341775490671016x - y >= -604701.637081725,
           4.12659640743433x - y >= -2689632.68862592,
           0.434633887869204x - y <= -651409.555963659.
County(id,x,y) :- id = 153,
           -0.760154676877439x - y <= -377510.294105439,
           -0.443711631049692x - y <= -384815.747705644,
           -0.54369414741308x - y >= -383087.864699007.
County(id,x,y) :- id = 153,
           0.258607506868756x - y <= -396953.122796654,
           0.819884601749864x - y <= -405029.313153157,
           0.625235352865694x - y >= -403289.130809852.
County(id,x,y) :- id = 153,
           -0.231324837470005x - y <= -398932.082458413,
           0.107300336399533x - y <= -398494.819144419,
           0.0049788114008007x - y >= -399528.663442509.
County(id,x,y) :- id = 153,
           2.84688465282628x - y <= -370814.390957782,
           -3.99319048897761x - y >= -451583.72829027,
           67.7870255124435x - y >= 285332.928442609.
County(id,x,y) :- id = 153,
           0.213511537595521x - y <= -408396.496961343,
           31.9615023857102x - y <= -37849.3567191132,
           1.25987943467362x - y >= -397654.178598689.
County(id,x,y) :- id = 153,
           -0.318477894530706x - y >= -416151.590888664,
           0.0310678462720109x - y >= -413711.086421107,
           -0.0113204184313262x - y <= -412551.887343572.
County(id,x,y) :- id = 153,
           5.20201333495275x - y >= -543665.995039566,
           -2.36242915132546x - y <= -336224.24988472,
           -24.7761040563467x - y >= 241312.238422832.
County(id,x,y) :- id = 153,
           -0.54369414741308x - y <= -383087.864699007,
           0.625235352865694x - y <= -403289.130809852,
           0.0357850037476267x - y >= -398019.390003402.
County(id,x,y) :- id = 153,
           0.0049788114008007x - y <= -399528.663442509,
           67.7870255124435x - y <= 285332.928442609,
           0.865642740065849x - y >= -401701.527619567.
County(id,x,y) :- id = 153,
           1.25987943467362x - y <= -397654.178598689,
           -0.0113204184313262x - y >= -412551.887343572,
           -0.0604304917530124x - y <= -411208.865823568.
County(id,x,y) :- id = 153,
           -24.7761040563467x - y <= 241312.238422832,
           0.0357850037476267x - y <= -398019.390003402,
           -0.565475385199708x - y >= -392644.066345219.
County(id,x,y) :- id = 153,
           0.0686139091653958x - y <= -399689.318977999,
           0.865642740065849x - y <= -401701.527619567,
           0.70540410910147x - y >= -403346.584193475.
County(id,x,y) :- id = 153,
           -0.0604304917530124x - y >= -411208.865823568,
           -4.65559906556192x - y <= -285544.010015956,
           0.0860710978478502x - y <= -409704.837727406.
County(id,x,y) :- id = 153,
           -0.565475385199708x - y <= -392644.066345219,
           0.499179022066359x - y <= -402162.175517827,
           -0.398978003533476x - y >= -397003.807113144.
County(id,x,y) :- id = 153,
           0.70540410910147x - y <= -403346.584193475,
           0.0860710978478502x - y >= -409704.837727406,
           -0.398978003533476x - y <= -397003.807113144.
County(id,x,y) :- id = 81,
           71.3612901344376x - y <= -11234192.0949192,
           -55.5020714655619x - y >= 8029444.42563358,
           175.367298200923x - y >= -27082767.3621637.
County(id,x,y) :- id = 81,
           0.27715711435221x - y >= -449486.082961212,
           0.70448392395265x - y >= -519492.810743246,
           0.549572677347025x - y <= -492832.447234589.
County(id,x,y) :- id = 81,
           0.727340174935148x - y >= -521772.146668826,
           1.41115709468984x - y >= -644575.301356578,
           0.857448141504819x - y <= -544370.341199316.
County(id,x,y) :- id = 81,
           0.714555566293853x - y >= -518511.007115189,
           1.49310716033274x - y >= -662175.028240907,
           1.02783575252092x - y <= -575205.464371786.
County(id,x,y) :- id = 81,
           0.739545020447144x - y >= -521317.521087494,
           40.9026125193999x - y >= -8156823.08381766,
           6.02280605496081x - y <= -1508876.39589421.
County(id,x,y) :- id = 81,
           -0.0233337381206176x - y <= -356507.18613047,
           175.367298200923x - y <= -27082767.3621637,
           1.31762350623151x - y >= -612088.084502895.
County(id,x,y) :- id = 81,
           0.549572677347025x - y >= -492832.447234589,
           1.76963062140663x - y >= -702805.506021353,
           0.682479540392108x - y <= -513980.392075367.
County(id,x,y) :- id = 81,
           0.857448141504819x - y >= -544370.341199316,
           1.02783575252092x - y >= -575205.464371786,
           0.934075885283044x - y <= -557679.661957977.
County(id,x,y) :- id = 81,
           1.31762350623151x - y <= -612088.084502895,
           0.897309693060133x - y >= -548163.850436117,
           1.41151592738623x - y >= -629983.591201678.
County(id,x,y) :- id = 81,
           0.682479540392108x - y >= -513980.392075367,
           0.934075885283044x - y >= -557679.661957977,
           0.802236214171232x - y <= -533035.898114487.
County(id,x,y) :- id = 81,
           6.02280605496081x - y >= -1508876.39589421,
           1.41151592738623x - y <= -629983.591201678,
           0.802236214171232x - y >= -533035.898114487.
County(id,x,y) :- id = 25,
           2.4557283371179x - y <= -343687.792782828,
           -18.6242618525392x - y >= -635525.167473466,
           7.23317397024399x - y >= -282336.759726125.
County(id,x,y) :- id = 25,
           -79.7192769023134x - y >= -1470025.97546607,
           -1.62948578047796x - y >= -411415.982660939,
           -5.53982519898797x - y <= -456803.991112008.
County(id,x,y) :- id = 25,
           33.5661804625575x - y <= -2893.59472751687,
           -2.14374854157386x - y >= -421239.144419512,
           -4.70745670819207x - y <= -447142.541285987.
County(id,x,y) :- id = 25,
           -0.231324837470005x - y >= -398932.082458413,
           0.0686139091653958x - y >= -399689.318977999,
           -0.0940888894009927x - y <= -398754.87104567.
County(id,x,y) :- id = 25,
           0.499179022066359x - y >= -402162.175517827,
           0.819884601749864x - y >= -405029.313153157,
           0.701300969178381x - y <= -403323.018706889.
County(id,x,y) :- id = 25,
           -0.760154676877439x - y >= -377510.294105439,
           0.122583625947145x - y >= -400255.942985787,
           -0.267762132963596x - y <= -388877.745310569.
County(id,x,y) :- id = 25,
           0.0171758220956507x - y >= -394755.302364017,
           -143.125178362952x - y <= 5066498.4627262,
           3.01377295511377x - y <= -482678.950473119.
County(id,x,y) :- id = 25,
           0.0147206476216479x - y <= -368799.158838941,
           14.249211391629x - y <= -192238.163777309,
           0.137435165990554x - y >= -373458.865422727.
County(id,x,y) :- id = 25,
           7.23317397024399x - y <= -282336.759726125,
           -5.53982519898797x - y >= -456803.991112008,
           -13.994879213832x - y <= -554943.314072932.
County(id,x,y) :- id = 25,
           -4.70745670819207x - y >= -447142.541285987,
           0.107300336399533x - y >= -398494.819144419,
           -0.594338034755625x - y <= -399400.837784116.
County(id,x,y) :- id = 25,
           -0.0940888894009927x - y >= -398754.87104567,
           0.701300969178381x - y >= -403323.018706889,
           0.344468090009261x - y <= -398188.566786596.
County(id,x,y) :- id = 25,
           -0.443711631049692x - y >= -384815.747705644,
           -0.267762132963596x - y >= -388877.745310569,
           -0.353820084029077x - y <= -386369.240077978.
County(id,x,y) :- id = 25,
           3.01377295511377x - y >= -482678.950473119,
           0.137435165990554x - y <= -373458.865422727,
           -0.451072131308912x - y >= -381016.362341244.
County(id,x,y) :- id = 25,
           -13.994879213832x - y >= -554943.314072932,
           -0.594338034755625x - y >= -399400.837784116,
           -2.02671400401548x - y <= -401250.450605414.
County(id,x,y) :- id = 25,
           -0.353820084029077x - y >= -386369.240077978,
           12.6543059282752x - y >= -765543.410088589,
           -0.146562044892692x - y <= -389951.042745468.
County(id,x,y) :- id = 25,
           -2.02671400401548x - y >= -401250.450605414,
           0.344468090009261x - y >= -398188.566786596,
           -0.661320121405957x - y <= -383716.32637665.
County(id,x,y) :- id = 25,
           -0.146562044892692x - y >= -389951.042745468,
           -0.451072131308912x - y <= -381016.362341244,
           -0.572975728366532x - y >= -382581.824763454.
County(id,x,y) :- id = 25,
           -0.661320121405957x - y >= -383716.32637665,
           0.258607506868756x - y >= -396953.122796654,
           -0.572975728366532x - y <= -382581.824763454.
County(id,x,y) :- id = 159,
           -0.00488727355676649x - y <= -358669.677937945,
           76.606096367956x - y <= -6173980.21173757,
           0.986946087223634x - y >= -472002.074813783.
County(id,x,y) :- id = 159,
           -0.00601803775322773x - y >= -397128.716539479,
           58.5664073617304x - y >= -7051351.60579226,
           0.986946087223634x - y <= -472002.074813783.
County(id,x,y) :- id = 109,
           82.2781728147777x - y <= -3492500.8590396,
           -143.125178362952x - y >= 5066498.4627262,
           321.341863291371x - y >= -12654129.3307487.
County(id,x,y) :- id = 109,
           -23.9235559897423x - y >= 518645.99308619,
           -0.011351520107227x - y >= -396726.551219407,
           -0.0934867075160683x - y <= -390533.238531567.
County(id,x,y) :- id = 109,
           76.606096367956x - y >= -6173980.21173757,
           153.296211112456x - y >= -11995297.3507899,
           92.2642577328506x - y <= -7354666.49868467.
County(id,x,y) :- id = 109,
           0.00276263237268192x - y <= -339463.528502503,
           321.341863291371x - y <= -12654129.3307487,
           1.44776906903374x - y >= -449336.162100704.
County(id,x,y) :- id = 109,
           -0.0934867075160683x - y >= -390533.238531567,
           92.2642577328506x - y >= -7354666.49868467,
           1.44776906903374x - y <= -449336.162100704.
County(id,x,y) :- id = 19,
           -0.377246389599694x - y <= -255147.993610106,
           -0.133195336562742x - y <= -322209.75288375,
           -0.198161095930453x - y >= -304928.903525719.
County(id,x,y) :- id = 19,
           -0.0252795112021739x - y <= -350915.291609901,
           0.227513897410758x - y <= -412249.462220185,
           0.071251004128912x - y >= -376592.345339819.
County(id,x,y) :- id = 19,
           7.69412564821899x - y <= -2116031.09781731,
           33.2444739408387x - y <= -7941585.16345851,
           29.7331853496115x - y >= -7145051.81541343.
County(id,x,y) :- id = 19,
           -0.0822705281295381x - y >= -381436.613540279,
           -0.0364182748899101x - y >= -391933.382166766,
           -0.0388041995141155x - y <= -391296.919624426.
County(id,x,y) :- id = 19,
           -0.029714963012253x - y >= -393721.538790185,
           25.1937363878358x - y >= -7577134.2606824,
           1.96619757416571x - y <= -926145.553703768.
County(id,x,y) :- id = 19,
           26.0887909319899x - y >= -7808409.65306203,
           -0.0173619764408779x - y <= -355186.211067429,
           -0.366352386564526x - y >= -258176.234358427.
County(id,x,y) :- id = 19,
           -0.198161095930453x - y <= -304928.903525719,
           0.071251004128912x - y <= -376592.345339819,
           0.00645632253241499x - y >= -361807.059553863.
County(id,x,y) :- id = 19,
           29.7331853496115x - y <= -7145051.81541343,
           -0.0388041995141155x - y >= -391296.919624426,
           -1.07114089065874x - y <= -115913.68734163.
County(id,x,y) :- id = 19,
           1.96619757416571x - y >= -926145.553703768,
           -0.435733457039663x - y <= -238375.045961182,
           2.08772121000785x - y <= -958562.85701579.
County(id,x,y) :- id = 19,
           -0.366352386564526x - y <= -258176.234358427,
           0.00645632253241499x - y <= -361807.059553863,
           -0.0419238704201072x - y >= -350767.342071536.
County(id,x,y) :- id = 19,
           -1.07114089065874x - y >= -115913.68734163,
           2.08772121000785x - y >= -958562.85701579,
           -0.0419238704201072x - y <= -350767.342071536.
County(id,x,y) :- id = 47,
           -0.403813638093889x - y <= -239347.440398349,
           -0.120705578872468x - y <= -325681.941980943,
           -0.164184603504345x - y >= -313268.819037933.
County(id,x,y) :- id = 47,
           26.0887909319899x - y <= -7808409.65306203,
           -0.435733457039663x - y >= -238375.045961182,
           -3.55545680109617x - y <= 654928.583694404.
County(id,x,y) :- id = 47,
           25.1937363878358x - y <= -7577134.2606824,
           -0.0373636567008408x - y >= -391543.259426897,
           -0.636832487348559x - y <= -180792.217651294.
County(id,x,y) :- id = 47,
           25.3091772605376x - y >= -9302448.43183458,
           -0.0554001856078658x - y <= -346482.463663812,
           -2.15882727419341x - y >= 354284.788033906.
County(id,x,y) :- id = 47,
           -0.164184603504345x - y <= -313268.819037933,
           -3.55545680109617x - y >= 654928.583694404,
           -0.0349408149987086x - y >= -353138.27410336.
County(id,x,y) :- id = 47,
           -0.636832487348559x - y >= -180792.217651294,
           -2.15882727419341x - y <= 354284.788033906,
           -0.0383656451448174x - y <= -352157.605991778.
County(id,x,y) :- id = 47,
           -0.0414392072125018x - y <= -351133.633421119,
           -0.0349408149987086x - y <= -353138.27410336,
           -0.0383656451448174x - y >= -352157.605991778.
County(id,x,y) :- id = 185,
           58.5664073617304x - y <= -7051351.60579226,
           -0.0126981636369803x - y >= -396369.809148234,
           -1.03964502380132x - y <= -240432.501555017.
County(id,x,y) :- id = 185,
           71.3612901344376x - y >= -11234192.0949192,
           -0.0218987378095523x - y <= -356725.853406151,
           -1.03964502380132x - y >= -240432.501555017.
County(id,x,y) :- id = 79,
           -0.0212117364200945x - y <= -356911.630868176,
           40.9026125193999x - y <= -8156823.08381766,
           0.500727428679824x - y >= -475915.285551956.
County(id,x,y) :- id = 79,
           32.48075284641x - y <= -6555721.36559547,
           -9.00508255721311x - y >= 1314520.81693608,
           -110.285903375248x - y <= 20586020.1804476.
County(id,x,y) :- id = 79,
           -0.0315128231529828x - y >= -392950.9632252,
           33.2444739408387x - y >= -7941585.16345851,
           0.986060736339377x - y <= -586572.697781592.
County(id,x,y) :- id = 79,
           0.500727428679824x - y <= -475915.285551956,
           -110.285903375248x - y >= 20586020.1804476,
           0.986060736339377x - y >= -586572.697781592.
County(id,x,y) :- id = 135,
           -0.0516872673575645x - y <= -347771.736189216,
           19.8284700892204x - y <= -9078883.37519197,
           3.38830731267499x - y >= -1886673.84403443.
County(id,x,y) :- id = 135,
           -0.054892986301293x - y >= -380349.463638883,
           16.2534312502228x - y >= -8605195.42658795,
           0.361836318908532x - y <= -562659.366623467.
County(id,x,y) :- id = 135,
           20.8455770208439x - y >= -10929222.5687635,
           -0.0596638325966447x - y <= -344203.37211939,
           -0.147182141591545x - y >= -305051.534215615.
County(id,x,y) :- id = 135,
           3.38830731267499x - y <= -1886673.84403443,
           0.361836318908532x - y >= -562659.366623467,
           -0.147182141591545x - y <= -305051.534215615.
County(id,x,y) :- id = 131,
           -0.00280671865921338x - y <= -339250.09448046,
           0.0217989825118015x - y <= -339375.561678023,
           0.00826678446183604x - y >= -339674.46390801.
County(id,x,y) :- id = 131,
           4.32955309856086x - y <= -261704.883338026,
           -2.81507729535918x - y >= -407027.656309653,
           -103.69579612722x - y <= -2369877.59490694.
County(id,x,y) :- id = 131,
           3.3668976716959x - y <= -327219.609444632,
           0.0147206476216479x - y >= -368799.158838941,
           -0.128828277339812x - y <= -363348.329714326.
County(id,x,y) :- id = 131,
           82.2781728147777x - y >= -3492500.8590396,
           0.00826678446183604x - y <= -339674.46390801,
           -0.47257832049036x - y >= -350295.478588512.
County(id,x,y) :- id = 131,
           -103.69579612722x - y >= -2369877.59490694,
           -1.07021885240189x - y >= -373077.707030167,
           -1.72306160515831x - y <= -379824.910197206.
County(id,x,y) :- id = 131,
           -0.47257832049036x - y <= -350295.478588512,
           -0.871821396527155x - y >= -359114.049325751,
           -0.45725219547513x - y >= -350877.441070105.
County(id,x,y) :- id = 131,
           -12.5040466529191x - y >= -590221.6239724,
           -1.72306160515831x - y >= -379824.910197206,
           -2.12153258085015x - y <= -383943.15248114.
County(id,x,y) :- id = 131,
           -0.128828277339812x - y >= -363348.329714326,
           -0.45725219547513x - y <= -350877.441070105,
           -2.12153258085015x - y >= -383943.15248114.
County(id,x,y) :- id = 151,
           49.4988338749761x - y <= -4102951.05507372,
           153.296211112456x - y <= -11995297.3507899,
           74.4137029288703x - y >= -6007562.18582881.
County(id,x,y) :- id = 151,
           -0.00488727355676649x - y >= -358669.677937945,
           65.0823141262743x - y >= -7795895.35744043,
           1.00770889072816x - y <= -435532.822891228.
County(id,x,y) :- id = 151,
           -0.019539483956593x - y <= -317530.996381157,
           74.4137029288703x - y <= -6007562.18582881,
           1.00770889072816x - y >= -435532.822891228.
County(id,x,y) :- id = 1,
           81.1505318645245x - y <= -15827909.8594574,
           -0.0212117364200945x - y >= -356911.630868176,
           -1.10977996258843x - y <= -108714.894641509.
County(id,x,y) :- id = 1,
           7.69412564821899x - y >= -2116031.09781731,
           33.209901899846x - y >= -7938392.35703524,
           29.7104781447842x - y <= -7135823.79606414.
County(id,x,y) :- id = 1,
           -0.0300121725064743x - y <= -315048.666445087,
           -1.10977996258843x - y >= -108714.894641509,
           29.7104781447842x - y >= -7135823.79606414.
County(id,x,y) :- id = 35,
           -0.0178575605720296x - y <= -317371.301874925,
           62.8610476120247x - y <= -9938913.71715305,
           1.01471375347641x - y >= -514686.257776342.
County(id,x,y) :- id = 35,
           -0.0233337381206176x - y >= -356507.18613047,
           81.1505318645245x - y >= -15827909.8594574,
           1.01471375347641x - y <= -514686.257776342.
County(id,x,y) :- id = 59,
           -0.0086060828744071x - y <= -318786.935382337,
           65.0823141262743x - y <= -7795895.35744043,
           1.00962181660123x - y >= -474593.129786212.
County(id,x,y) :- id = 59,
           -0.0218987378095523x - y >= -356725.853406151,
           62.8610476120247x - y >= -9938913.71715305,
           1.00962181660123x - y <= -474593.129786212.
County(id,x,y) :- id = 85,
           -0.0894624153694809x - y <= -291058.706353799,
           -0.0579239886459665x - y <= -305188.893303707,
           -0.05899357286539x - y >= -304759.048998152.
County(id,x,y) :- id = 85,
           17.643413318581x - y <= -7418999.01133134,
           -0.0540578749793665x - y >= -346730.595546968,
           -1.12590820530089x - y <= 124012.403438532.
County(id,x,y) :- id = 85,
           -0.0516872673575645x - y >= -347771.736189216,
           17.2591982352461x - y >= -8091899.69012679,
           3.74501623177845x - y <= -2015235.50504014.
County(id,x,y) :- id = 85,
           -0.05899357286539x - y <= -304759.048998152,
           -1.12590820530089x - y >= 124012.403438532,
           3.74501623177845x - y >= -2015235.50504014.
County(id,x,y) :- id = 29,
           -0.0587923940819452x - y <= -304849.509220446,
           17.2591982352461x - y <= -8091899.69012679,
           0.586080307478564x - y >= -633080.867467371.
County(id,x,y) :- id = 29,
           -0.0596638325966447x - y >= -344203.37211939,
           14.6610973375013x - y >= -7797814.6778727,
           0.430011991519368x - y <= -563262.774790264.
County(id,x,y) :- id = 29,
           15.8528335922233x - y >= -8403648.84863081,
           0.586080307478564x - y <= -633080.867467371,
           0.430011991519368x - y >= -563262.774790264.
County(id,x,y) :- id = 63,
           -0.113852546272449x - y <= -282712.33505138,
           -0.0493236136560584x - y <= -308527.763701661,
           -0.0517175047389984x - y >= -307683.153892523.
County(id,x,y) :- id = 63,
           -0.0171585621260749x - y <= -319876.198986471,
           14.9120143106748x - y <= -5456631.35519542,
           1.16394813059505x - y >= -736592.85974814.
County(id,x,y) :- id = 63,
           -0.0344730800509539x - y <= -325146.320728289,
           19.0346497137083x - y <= -6706428.03787049,
           2.74934388848255x - y >= -1280896.97566741.
County(id,x,y) :- id = 63,
           -0.0554001856078658x - y >= -346482.463663812,
           -0.0492046595499619x - y >= -348670.038861834,
           -0.051062843430005x - y <= -347927.470897077.
County(id,x,y) :- id = 63,
           17.643413318581x - y >= -7418999.01133134,
           -0.0517175047389984x - y <= -307683.153892523,
           -0.906021913040924x - y >= -6268.4870419231.
County(id,x,y) :- id = 63,
           1.16394813059505x - y <= -736592.85974814,
           2.74934388848255x - y <= -1280896.97566741,
           1.98380909093799x - y >= -1025855.23019144.
County(id,x,y) :- id = 63,
           -0.051062843430005x - y >= -347927.470897077,
           -0.906021913040924x - y <= -6268.4870419231,
           1.98380909093799x - y <= -1025855.23019144.
County(id,x,y) :- id = 73,
           25.410412048642x - y <= -8111459.29243814,
           -0.403813638093889x - y >= -239347.440398349,
           -19.6655227848884x - y <= 5702553.95533451.
County(id,x,y) :- id = 73,
           -0.0414392072125018x - y >= -351133.633421119,
           19.0346497137083x - y >= -6706428.03787049,
           1.04119724451687x - y <= -685108.100306503.
County(id,x,y) :- id = 73,
           -0.0344730800509539x - y >= -325146.320728289,
           14.9120143106748x - y >= -5456631.35519542,
           1.15546009750411x - y <= -723344.964298726.
County(id,x,y) :- id = 73,
           -0.0430540439496531x - y <= -310966.211078023,
           -19.6655227848884x - y >= 5702553.95533451,
           1.07148814969472x - y >= -694452.316356211.
County(id,x,y) :- id = 73,
           1.04119724451687x - y >= -685108.100306503,
           1.15546009750411x - y >= -723344.964298726,
           1.07148814969472x - y <= -694452.316356211.
County(id,x,y) :- id = 99,
           -0.0242375284408575x - y <= -316373.040999943,
           33.209901899846x - y <= -7938392.35703524,
           0.963355637433626x - y >= -580158.774395294.
County(id,x,y) :- id = 99,
           -0.0252795112021739x - y >= -350915.291609901,
           31.62258577596x - y >= -8769226.68908345,
           1.39748239676033x - y <= -696113.85544746.
County(id,x,y) :- id = 99,
           0.963355637433626x - y <= -580158.774395294,
           0.227513897410758x - y >= -412249.462220185,
           1.39748239676033x - y >= -696113.85544746.
County(id,x,y) :- id = 137,
           -0.117375331902666x - y <= -288189.639495735,
           -0.0315014568977412x - y <= -314432.84866008,
           -0.0333758613106292x - y >= -313932.196002875.
County(id,x,y) :- id = 137,
           31.62258577596x - y <= -8769226.68908345,
           -0.133195336562742x - y >= -322209.75288375,
           -4.67892079135462x - y <= 926890.967559248.
County(id,x,y) :- id = 137,
           -0.377246389599694x - y >= -255147.993610106,
           -0.0173619764408779x - y >= -355186.211067429,
           -0.124456970471447x - y <= -324610.931636995.
County(id,x,y) :- id = 137,
           -0.120705578872468x - y >= -325681.941980943,
           25.410412048642x - y >= -8111459.29243814,
           1.71638006594599x - y <= -850164.03786612.
County(id,x,y) :- id = 137,
           -0.0333758613106292x - y <= -313932.196002875,
           -4.67892079135462x - y >= 926890.967559248,
           1.09389653760587x - y >= -659397.152192699.
County(id,x,y) :- id = 137,
           -0.124456970471447x - y >= -324610.931636995,
           1.71638006594599x - y >= -850164.03786612,
           1.09389653760587x - y <= -659397.152192699.
County(id,x,y) :- id = 127,
           0.0110686580138151x - y <= -309679.885276816,
           -1.18546543525969x - y >= -355365.001212041,
           0.153794913540385x - y >= -309722.73125619.
County(id,x,y) :- id = 127,
           0.44139332131421x - y <= -303175.274947397,
           12.1527094979914x - y <= 73729.7162089678,
           1.10290461040455x - y >= -283422.357929067.
County(id,x,y) :- id = 127,
           -17.7064984351512x - y >= -865842.506009112,
           -2.00577567504975x - y >= -385958.194524629,
           -2.7241531333755x - y <= -404352.706749458.
County(id,x,y) :- id = 127,
           0.904429938745584x - y <= -313671.892858613,
           -7.54259129685321x - y >= -556293.440068701,
           2.84770523277072x - y >= -262235.202464518.
County(id,x,y) :- id = 127,
           -0.738220981484784x - y >= -363721.347709381,
           0.5353780807426x - y >= -329043.78498056,
           -0.129626673356291x - y <= -346497.376367085.
County(id,x,y) :- id = 127,
           -0.241249522738815x - y >= -345185.83614516,
           0.0217989825118015x - y >= -339375.561678023,
           -0.0103121712730908x - y <= -339211.823345679.
County(id,x,y) :- id = 127,
           -134.457777195712x - y <= 346350.702949953,
           -0.00237500290250585x - y <= -309675.849531493,
           -6.16552914206891x - y >= -307825.689768304.
County(id,x,y) :- id = 127,
           0.153794913540385x - y <= -309722.73125619,
           0.0212805092715827x - y >= -314238.849588294,
           0.172847398583999x - y >= -309728.450753127.
County(id,x,y) :- id = 127,
           1.10290461040455x - y <= -283422.357929067,
           -0.902903113875574x - y >= -348254.126121961,
           4.33915567719997x - y >= -186786.971916534.
County(id,x,y) :- id = 127,
           2.84770523277072x - y <= -262235.202464518,
           -0.129626673356291x - y >= -346497.376367085,
           -24.5633250807037x - y <= -987779.691169941.
County(id,x,y) :- id = 127,
           -0.0103121712730908x - y >= -339211.823345679,
           -6.16552914206891x - y <= -307825.689768304,
           1.11845278555453x - y <= -310012.318558364.
County(id,x,y) :- id = 127,
           0.172847398583999x - y <= -309728.450753127,
           14.568194897372x - y <= 118655.076050858,
           0.221443520205237x - y >= -309743.039158161.
County(id,x,y) :- id = 127,
           4.33915567719997x - y <= -186786.971916534,
           -2.7241531333755x - y >= -404352.706749458,
           -4.28792575770721x - y <= -444394.100478822.
County(id,x,y) :- id = 127,
           3.48872370939065x - y <= -245268.039335253,
           -24.5633250807037x - y >= -987779.691169941,
           13.271607311202x - y >= 5228.92423454562.
County(id,x,y) :- id = 127,
           0.221443520205237x - y <= -309743.039158161,
           -4.28792575770721x - y >= -444394.100478822,
           0.962040794260542x - y >= -309965.364163547.
County(id,x,y) :- id = 127,
           13.271607311202x - y <= 5228.92423454562,
           11.0004503968151x - y >= -54379.438734385,
           16.5307262569832x - y >= 88680.7399834148.
County(id,x,y) :- id = 127,
           1.11845278555453x - y >= -310012.318558364,
           0.962040794260542x - y <= -309965.364163547,
           16.5307262569832x - y <= 88680.7399834148.
County(id,x,y) :- id = 67,
           -0.0297979256883556x - y <= -277831.563640761,
           -0.00776184672850704x - y <= -279326.150194644,
           -0.0129452416441042x - y >= -279126.973507065.
County(id,x,y) :- id = 67,
           210.201550387597x - y <= -8356811.11724806,
           -788.532568619418x - y >= 29879545.1688985,
           580.198512672636x - y >= -22574282.593399.
County(id,x,y) :- id = 67,
           0.00276263237268192x - y >= -339463.528502503,
           49.4988338749761x - y >= -4102951.05507372,
           0.533368582196455x - y <= -359797.919590804.
County(id,x,y) :- id = 67,
           92.2034588749398x - y >= -7367495.77066958,
           -0.0129452416441042x - y <= -279126.973507065,
           -1.03633560002729x - y >= -239802.263543442.
County(id,x,y) :- id = 67,
           580.198512672636x - y <= -22574282.593399,
           0.533368582196455x - y >= -359797.919590804,
           -1.03633560002729x - y <= -239802.263543442.
County(id,x,y) :- id = 97,
           0.0121208797460247x - y <= -309746.576953106,
           -134.457777195712x - y >= 346350.702949953,
           0.903457406107406x - y >= -343871.235702819.
County(id,x,y) :- id = 97,
           -0.00280671865921338x - y >= -339250.09448046,
           -788.532568619418x - y <= 29879545.1688985,
           0.903457406107406x - y <= -343871.235702819.
County(id,x,y) :- id = 169,
           102.745365613054x - y <= -12122316.2863095,
           -0.0086060828744071x - y >= -318786.935382337,
           -1.04291927797953x - y <= -160519.417045792.
County(id,x,y) :- id = 169,
           54.7456873555042x - y >= -8697125.50997855,
           -0.0235674829500094x - y <= -278001.646598618,
           -1.04291927797953x - y >= -160519.417045792.
County(id,x,y) :- id = 95,
           -0.019539483956593x - y >= -317530.996381157,
           102.745365613054x - y >= -12122316.2863095,
           0.987108123223134x - y <= -394483.928914544.
County(id,x,y) :- id = 95,
           -0.0155219253504971x - y <= -278928.91238595,
           92.2034588749398x - y <= -7367495.77066958,
           0.987108123223134x - y >= -394483.928914544.
County(id,x,y) :- id = 57,
           -0.0437878032388839x - y <= -273286.851630688,
           18.0891131661628x - y <= -8435620.69424036,
           4.06050766325295x - y >= -2150373.1725297.
County(id,x,y) :- id = 57,
           -0.0894624153694809x - y >= -291058.706353799,
           -0.0587923940819452x - y >= -304849.509220446,
           -0.0596075516193943x - y <= -304434.605216827.
County(id,x,y) :- id = 57,
           13.7870330902973x - y >= -7352184.73335109,
           -0.0560612167793782x - y <= -267673.645452993,
           -0.802892528974913x - y >= 73887.2513163486.
County(id,x,y) :- id = 57,
           4.06050766325295x - y <= -2150373.1725297,
           -0.0596075516193943x - y >= -304434.605216827,
           -0.802892528974913x - y <= 73887.2513163486.
County(id,x,y) :- id = 61,
           -0.0299732785950703x - y <= -276408.512852782,
           44.7213648616865x - y <= -10578466.5265591,
           1.25953876526888x - y >= -610798.227764233.
County(id,x,y) :- id = 61,
           -0.0242375284408575x - y >= -316373.040999943,
           21.149091097774x - y >= -5971760.51539718,
           0.942708127637189x - y <= -538135.319035954.
County(id,x,y) :- id = 61,
           -0.047340324149267x - y <= -271904.978791696,
           1.25953876526888x - y <= -610798.227764233,
           0.942708127637189x - y >= -538135.319035954.
County(id,x,y) :- id = 181,
           -0.017902245349435x - y <= -278862.687738205,
           76.9894677626027x - y <= -15032768.4792901,
           1.8300117444304x - y >= -670482.264253481.
County(id,x,y) :- id = 181,
           -0.0300121725064743x - y >= -315048.666445087,
           44.7213648616865x - y >= -10578466.5265591,
           0.958056061864343x - y <= -503859.489910711.
County(id,x,y) :- id = 181,
           -0.0356610812681889x - y <= -275099.142551378,
           1.8300117444304x - y <= -670482.264253481,
           0.958056061864343x - y >= -503859.489910711.
County(id,x,y) :- id = 129,
           -0.0219963161000338x - y <= -278078.301332695,
           -0.00475760244284587x - y <= -280893.099372849,
           -0.0176429815079175x - y >= -278912.360312304.
County(id,x,y) :- id = 129,
           54.7456873555042x - y <= -8697125.50997855,
           -0.0178575605720296x - y >= -317371.301874925,
           -1.04785254937508x - y <= -120548.658218935.
County(id,x,y) :- id = 129,
           76.9894677626027x - y >= -15032768.4792901,
           -0.0176429815079175x - y <= -278912.360312304,
           -1.04785254937508x - y >= -120548.658218935.
County(id,x,y) :- id = 87,
           17.6653733251955x - y <= -7395464.99238436,
           -0.113852546272449x - y >= -282712.33505138,
           115.612561483163x - y >= -46790821.9064983.
County(id,x,y) :- id = 87,
           -0.0579239886459665x - y >= -305188.893303707,
           18.0891131661628x - y >= -8435620.69424036,
           0.734980975297674x - y <= -623841.391543696.
County(id,x,y) :- id = 87,
           -0.0568670227470699x - y <= -267399.379118334,
           115.612561483163x - y <= -46790821.9064983,
           0.734980975297674x - y >= -623841.391543696.
County(id,x,y) :- id = 83,
           -0.0315014568977412x - y >= -314432.84866008,
           28.5870693947225x - y >= -9060319.07774455,
           0.915803740085336x - y <= -567457.681931524.
County(id,x,y) :- id = 83,
           -0.0458841924579426x - y <= -272296.541886332,
           21.149091097774x - y <= -5971760.51539718,
           0.915803740085336x - y >= -567457.681931524.
County(id,x,y) :- id = 65,
           -0.0579767947788252x - y <= -267514.691515591,
           -0.0350918804218268x - y <= -275608.916947418,
           -0.0355059476168858x - y >= -275481.831495669.
County(id,x,y) :- id = 65,
           28.5870693947225x - y <= -9060319.07774455,
           -0.117375331902666x - y >= -288189.639495735,
           82.3233691951518x - y >= -25553057.4954549.
County(id,x,y) :- id = 65,
           -0.0430540439496531x - y >= -310966.211078023,
           -0.0171585621260749x - y >= -319876.198986471,
           -0.0381697554083314x - y <= -312463.054723417.
County(id,x,y) :- id = 65,
           21.8123582154046x - y >= -8021740.38588366,
           -0.0355059476168858x - y <= -275481.831495669,
           -0.86169205986522x - y >= -21908.8931976741.
County(id,x,y) :- id = 65,
           82.3233691951518x - y <= -25553057.4954549,
           -0.0381697554083314x - y >= -312463.054723417,
           -0.86169205986522x - y <= -21908.8931976741.
County(id,x,y) :- id = 145,
           -0.0435506755930296x - y <= -272629.536990451,
           21.8123582154046x - y <= -8021740.38588366,
           0.751348601108741x - y >= -591019.983716722.
County(id,x,y) :- id = 145,
           -0.0493236136560584x - y >= -308527.763701661,
           17.6653733251955x - y >= -7395464.99238436,
           0.721951707155349x - y <= -580648.206500898.
County(id,x,y) :- id = 145,
           -0.118963773273892x - y <= -242423.4334458,
           0.751348601108741x - y <= -591019.983716722,
           0.721951707155349x - y >= -580648.206500898.
County(id,x,y) :- id = 147,
           -0.00887308911596732x - y <= -279642.183528838,
           0.00205416267797643x - y <= -279439.374973395,
           -0.00153458398372886x - y >= -279642.962174343.
County(id,x,y) :- id = 147,
           0.437926405332781x - y <= -254712.633796625,
           -0.917745008897033x - y >= -334021.296759629,
           -2.73021449159186x - y <= -434439.150660045.
County(id,x,y) :- id = 147,
           -1.01683046799928x - y >= -337664.711397968,
           -0.241991610968074x - y >= -297726.120733152,
           -0.594480951242235x - y <= -315201.342934041.
County(id,x,y) :- id = 147,
           1.04548652667465x - y <= -236659.221134126,
           -3.14351900023548x - y >= -454543.896475037,
           4.35696474336774x - y >= -69767.8205813134.
County(id,x,y) :- id = 147,
           -8.71262107357712x - y >= -696285.537357877,
           -1.75020031870932x - y >= -382966.268545517,
           -4.3099432683467x - y <= -495937.263955101.
County(id,x,y) :- id = 147,
           -0.735670622668316x - y >= -338191.292350908,
           0.0110686580138151x - y >= -309679.885276816,
           -0.0889670760987018x - y <= -309649.854859605.
County(id,x,y) :- id = 147,
           -154.737517664512x - y <= -263224.839474085,
           -0.00153458398372886x - y <= -279642.962174343,
           -0.528158952296807x - y >= -309518.010820123.
County(id,x,y) :- id = 147,
           -2.73021449159186x - y >= -434439.150660045,
           -0.184113952484562x - y >= -293375.284816796,
           -1.13671011413368x - y <= -344040.711737969.
County(id,x,y) :- id = 147,
           4.35696474336774x - y <= -69767.8205813134,
           -0.720445041004911x - y >= -330239.795365805,
           -3.55721103029922x - y <= -468625.307376863.
County(id,x,y) :- id = 147,
           -4.3099432683467x - y >= -495937.263955101,
           -0.0889670760987018x - y >= -309649.854859605,
           -0.215420479682739x - y <= -309611.893939929.
County(id,x,y) :- id = 147,
           -0.528158952296807x - y <= -309518.010820123,
           -1.13671011413368x - y >= -344040.711737969,
           -0.487852145518327x - y >= -309530.110798543.
County(id,x,y) :- id = 147,
           4.40848165447437x - y <= -67171.478741165,
           -3.55721103029922x - y >= -468625.307376863,
           -11.7989183124099x - y <= -870679.225953305.
County(id,x,y) :- id = 147,
           -1.43874326326694x - y >= -365280.425308316,
           -0.215420479682739x - y >= -309611.893939929,
           -0.297090905678723x - y <= -309587.376731271.
County(id,x,y) :- id = 147,
           -0.487852145518327x - y <= -309530.110798543,
           -0.594480951242235x - y >= -315201.342934041,
           -0.480134353326852x - y >= -309532.427655829.
County(id,x,y) :- id = 147,
           -11.7989183124099x - y >= -870679.225953305,
           -0.297090905678723x - y >= -309587.376731271,
           -0.480134353326852x - y <= -309532.427655829.
County(id,x,y) :- id = 133,
           0.00235423375007551x - y <= -279643.374793861,
           -154.737517664512x - y >= -263224.839474085,
           1.49941053912945x - y >= -310126.680894795.
County(id,x,y) :- id = 133,
           -0.00237500290250585x - y >= -309675.849531493,
           0.0121208797460247x - y >= -309746.576953106,
           0.0103734410030837x - y <= -309679.676574825.
County(id,x,y) :- id = 133,
           210.201550387597x - y >= -8356811.11724806,
           -0.00160369524600374x - y <= -279562.782794295,
           -1.6564003312846x - y >= -245867.542201204.
County(id,x,y) :- id = 133,
           1.49941053912945x - y <= -310126.680894795,
           0.0103734410030837x - y >= -309679.676574825,
           -1.6564003312846x - y <= -245867.542201204.
NeCounty(id,x,y,t,w):- County(id,x,y) , Irri_Corn_Yield(id,t,w).
end%LReg%