/* The example of Ranges of California Gull */
/* ======================================== */

begin %GULL%

CA(i,x,y):-  	i=1,
		-25 x -90 y >= -44550,
		-98 x +16 y >= -10520,
		-62 x +64 y >= 12040,
		+15 x +7 y >= 3495,
		+120 x +23 y >= 18060,
		+50 x -20 y >= -4900.

CA(i,x,y):-	i=1,
		+62 x -64 y >= -12040,
		-169 x -96 y >= -61028,
		-28 x -6 y >= -8348,
		+65 x +161 y >= 41440,
		+50 x +7 y >= 6755,
		+20 x -2 y >= 1430.

CA(i,x,y):-	i=1,
		-65 x -161 y >= -41440,
		+30 x +128 y >= 27180,
		+20 x +36 y >= 9240,
		+15 x -3 y >= 930.

CA(i,x,y):-	i=1,
		-30 x -128 y >= -27180,
		-30 x +21 y >= -4830,
		+20 x +70 y >= 13300,
		+40 x +37 y >= 12180.

CA(i,x,y):-	i=1,
		-20 x -70 y >= -13300,
		-18 x -5 y >= -5010,
		+11 x +75 y >= 10400,
		+27 x >= 4725.

NV(i,x,y):-	i=2,
		-35 x -126 y >= -62370,
		-195 x +26 y >= -49010,
		+5 x +10 y >= 3550,
		+127 x +106 y >= 57610,
		+98 x -16 y >= 10520.

NV(i,x,y):-	i=2,
		-127 x -106 y >= -57610,
		-42 x +10 y >= -9140,
		+169 x +96 y >= 61028.

UT(i,x,y):-	i=3,
		-15 x -72 y >= -34110,
		-35 x +8 y >= -10070,
		-115 x +86 y >= -11590,
		+165 x -22 y >= 41470.

UT(i,x,y):-	i=3,
		+115 x -86 y >= 11590,
		-5 x -50 y >= -19850,
		-135 x +20 y >= -49600,
		+25 x +116 y >= 35520.

WY(i,x,y):-	i=4,
		-20 x -143 y >= -79400,
		-135 x +15 y >= -65430,
		+15 x +153 y >= 60630,
		+140 x -25 y >= 42800.

CO(i,x,y):-	i=5,
		-16 x -160 y >= -63520,
		-137 x +15 y >= -74375,
		+18 x +165 y >= 43500,
		+135 x -20 y >= 49600.

AZ(i,x,y):- 	i=6,
		-25 x -116 y >= -35520,
		-190 x +27 y >= -70060,
		+7 x +43 y >= 3901,
		+178 x +50 y >= 60590,
		+30 x -4 y >= 7540.

AZ(i,x,y):- 	i=6,
		-178 x -50 y >= -60590,
		+113 x +64 y >= 39658,
		+28 x +6 y >= 8348,
		+42 x -10 y >= 9140,
		-5 x -10 y >= -3550.

AZ(i,x,y):- 	i=6,
		-113 x -64 y >= -39658,
		+65 x +80 y >= 24410,
		+18 x +5 y >= 5010,
		+30 x -21 y >= 4830.

AZ(i,x,y):- 	i=6,
		-65 x -80 y >= -24410,
		+68 x +97 y >= 26029,
		-3 x -17 y >= -2484.

NM(i,x,y):-	i=7,
		-180 x >= -72000,
		-14 x +6 y >= -5360,
		+4 x +21 y >= 2122,
		+190 x -27 y >= 70060.

NM(i,x,y):-	i=7,
		-16 x -140 y >= -37200,
		-164 x +12 y >= -86112,
		+128 y >= 5120,
		+180 x >= 72000.

OR(i,x,y):-	i=8,
		+30 x -3 y >= 1290,
		+107 x -37 y >= -8549,
		-7 x -20 y >= -13050,
		-24 x >= -3600,
		-106 x +60 y >= 18660.

OR(i,x,y):-	i=8,
		-20 y >= -11520,
		-18 x -100 y >= -60660,
		-10 x -10 y >= -8280,
		-38 x +25 y >= 3060,
		-40 x +165 y >= 73950,
		+106 x -60 y >= -18660.

OR(i,x,y):-	i=8,
		-10 x -5 y >= -5100,
		-72 x +19 y >= -9220,
		+42 x +151 y >= 74750,
		+40 x -165 y >= -73950.

WA(i,x,y):-	i=9,
		+77 x -5 y >= 6975,
		-24 x -35 y >= -27180,
		-60 x +20 y >= 3000,
		+7 x +20 y >= 13050.

WA(i,x,y):-	i=9,
		+90 x -30 y >= -4500,
		-35 x -120 y >= -89100,
		-79 x +130 y >= 61450,
		+20 y >= 11520,
		+24 x >= 3600.

WA(i,x,y):-	i=9,
		-97 x +30 y >= -9450,
		+18 x +100 y >= 60660,
		+79 x -130 y >= -61450.

ID(i,x,y):-	i=10,
		-5 x -15 y >= -11325,
		-50 x >= -15750,
		-42 x +45 y >= 13770,
		+97 x -30 y >= 9450.

ID(i,x,y):-	i=10,
		+42 x -45 y >= -13770,
		-37 x -20 y >= -23655,
		-13 x +5 y >= -1540,
		-2 x +50 y >= 26840,
		+10 x +10 y >= 8280.

ID(i,x,y):-	i=10,
		+2 x -50 y >= -26840,
		-18 x +3 y >= -4290,
		-32 x +67 y >= 25180,
		+10 x +5 y >= 5100,
		+38 x -25 y >= -3060.

ID(i,x,y):-	i=10,
		+32 x -67 y >= -25180,
		+3 x -10 y >= -4339,
		-35 x -2 y >= -12865,
		-72 x +98 y >= 24592,
		+72 x -19 y >= 9220.

ID(i,x,y):-	i=10,
		+72 x -98 y >= -24592,
		-9 y >= -4500,
		-12 x >= -4176,
		-60 x +107 y >= 31336.

ID(i,x,y):-	i=10,
		+60 x -107 y >= -31336,
		-45 y >= -21960,
		-93 x +15 y >= -29229,
		+33 x +137 y >= 66589.

MT(i,x,y):-	i=11,
		-40 x -225 y >= -158850,
		-47 x +205 y >= 99670,
		+37 x +20 y >= 23655,
		+50 x >= 15750.

MT(i,x,y):-	i=11,
		+47 x -205 y >= -99670,
		-75 x +203 y >= 83330,
		-3 x +10 y >= 4339,
		+18 x -3 y >= 4290,
		+13 x -5 y >= 1540.

MT(i,x,y):-	i=11,
		+75 x -203 y >= -83330,
		-110 x +192 y >= 57720,
		+9 y >= 4500,
		+35 x +2 y >= 12865.

MT(i,x,y):-	i=11,
		-12 x <= -4176,
		-45 y <= -21960,
		+12 x -2 y <= 3740,
		+47 y <= 23500.

MT(i,x,y):-	i=11,
		+110 x -192 y >= -57720,
		-110 x +145 y >= 29050,
		+47 y >= 23500.

MT(i,x,y):-	i=11,
		+110 x -145 y >= -29050,
		-130 x +2 y >= -68980,
		+20 x +143 y >= 79400.


Gull(i,x,y,t):-	i=0,
		-85 x <= -28900,
		-15 x -18 y -13t <= -10770,
		+100 x +18 y <= 41200,
		t >= 0,
		t <= 20.

Gull(i,x,y,t):-	i=0,
		-85 x <= -28900,
		-15 x -18 y +19t <= -10130,
		+100 x +18 y <= 41200,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-85 x <= -28900,
		-15 x -18 y -48t <= -12810,
		+100 x +18 y <= 41200,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-100 x -18 y <= -41200,
		-5 x -12 y -10t <= -5390,
		+105 x +30 y <= 47700,
		t >= 0,
		t <= 20.

Gull(i,x,y,t):-	i=0,
		-100 x -18 y <= -41200,
		-5 x -12 y +15t <= -4890,
		+105 x +30 y <= 47700,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-100 x -18 y <= -41200,
		-5 x -12 y -35.5t <= -6910,
		+105 x +30 y <= 47700,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-105 x -30 y <= -47700,
		-15 y -14t <= -4425,
		+105 x +45 y <= 53700,
		t >= 0,
		t <= 20.

Gull(i,x,y,t):-	i=0,
		-105 x -30 y <= -47700,
		-15 y +22t <= -3705,
		+105 x +45 y <= 53700,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-150 x -66 y >= -77400,
		-13 x +21 y +80t >= 4772,
		+163 x +45 y >= 73420,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-105 x -45 y <= -53700,
		+10 x -10 y -14t <= 900,
		+95 x +55 y <= 54300,
		t >= 0,
		t <= 20.

Gull(i,x,y,t):-	i=0,
		-105 x -45 y <= -53700,
		+10 x -10 y +22t <= 1620,
		+95 x +55 y <= 54300,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-105 x -45 y <= -53700,
		+10 x -10 y -42t <= -980,
		+95 x +55 y <= 54300,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-95 x -55 y <= -54300,
		+20 x -10 y -20t <= 4850,
		+75 x +65 y <= 51500,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		-95 x -55 y <= -54300,
		+20 x -10 y +33t <= 5910,
		+75 x +65 y <= 51500,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-95 x -55 y <= -54300,
		+20 x -10 y -49t <= 2610,
		+75 x +65 y <= 51500,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-78 x -65 y <= -52520,
		+24 x -13t <= 9720,
		+54 x +65 y <= 44360,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		-78 x -65 y <= -52520,
		+24 x +23t <= 10440,
		+54 x +65 y <= 44360,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-78 x -65 y <= -52520,
		+24 x -30t <= 8320,
		+54 x +65 y <= 44360,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-55 x -65 y <= -44700,
		+10 x +10 y <= 7500,
		+45 x +55 y <= 37300,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		-55 x -65 y <= -44700,
		+10 x +10 y + 0.65t <= 7513,
		+45 x +55 y <= 37300,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-55 x -65 y <= -44700,
		+10 x +10 y - t <= 7447,
		+45 x +55 y <= 37300,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-47 x -55 y <= -37980,
		+16 x -3 y -3t <= 5261,
		+31 x +58 y <= 33740,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		-47 x -55 y <= -37980,
		+16 x -3 y +3t <= 5381,
		+31 x +58 y <= 33740,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-47 x -55 y <= -37980,
		+16 x -3 y -5t <= 5061,
		+31 x +58 y <= 33740,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-31 x -58 y <= -33740,
		+31 x -32 y -6t <= 530,
		+90 y <= 36000,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		-31 x -58 y <= -33740,
		+31 x -32 y +6t <= 770,
		+90 y <= 36000,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-31 x -58 y <= -33740,
		+31 x -32 y -14t <= -30,
		+90 y <= 36000,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-90 y <= -36000,
		+17 x -3t <= 7310,
		-17 x +90 y <= 30220,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		-90 y <= -36000,
		+17 x +3t <= 7430,
		-17 x +90 y <= 30220,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-90 y <= -36000,
		+17 x -6t <= 7070,
		-17 x +90 y <= 30220,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+17 x -90 y <= -30220,
		+13 x +12 y -2.5t <= 10594,
		-30 x +78 y <= 21000,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		+17 x -90 y <= -30220,
		+13 x +12 y +2.5t <= 10694,
		-30 x +78 y <= 21000,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+17 x -90 y <= -30220,
		+13 x +12 y -6t <= 10354,
		-30 x +78 y <= 21000,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+30 x -78 y <= -21000,
		+22 x -1.6t <= 9196,
		-52 x +78 y <= 13520,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		+30 x -78 y <= -21000,
		+22 x +2t <= 9268,
		-52 x +78 y <= 13520,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+30 x -78 y <= -21000,
		+22 x -7t <= 8908,
		-52 x +78 y <= 13520,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+52 x -78 y <= -13520,
		+21 x +3 y -t <= 10134,
		-73 x +75 y <= 5180,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		+52 x -78 y <= -13520,
		+21 x +3 y +1.2t <= 10178,
		-73 x +75 y <= 5180,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+52 x -78 y <= -13520,
		+21 x +3 y -8t <= 9810,
		-73 x +75 y <= 5180,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+73 x -75 y <= -5180,
		+9 x +10 y <= 8465,
		-82 x +65 y <= -1880,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		+73 x -75 y <= -5180,
		+9 x +10 y -t <= 8445,
		-82 x +65 y <= -1880,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+73 x -75 y <= -5180,
		+9 x +10 y -5t <= 8285,
		-82 x +65 y <= -1880,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+82 x -65 y <= 1880,
		+18 x +65 y <= 38620,
		-100 x <= -34000,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		+100 x >= 34000,
		-20 y +38t >= -9240,
		-100 x +20 y >= -26000,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+100 x >= 34000,
		-20 y -38t >= -12180,
		-100 x +20 y >= -26000,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+100 x -20 y >= 26000,
		-4 x -30 y +60t >= -15240,
		-96 x +50 y >= -12640,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+100 x -20 y >= 26000,
		-4 x -30 y -48t >= -19560,
		-96 x +50 y >= -12640,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+96 x -50 y >= 12640,
		-16 x -14 y +42t >= -12344,
		-80 x +64 y >= -1600,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+96 x -50 y >= 12640,
		-16 x -14 y -33t >= -15344,
		-80 x +64 y >= -1600,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+100 x <= 34000,
		+3 x +10 y <= 6020,
		-103 x -10 y <= -39020,
		t >= 0,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+103 x +10 y <= 39020,
		+30 y -t <= 15090,
		-103 x -40 y <= -51020,
		t >= 0,
		t <= 20.

Gull(i,x,y,t):-	i=0,
		+103 x +10 y <= 39020,
		+30 y +1.5t <= 15140,
		-103 x -40 y <= -51020,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+103 x +10 y <= 39020,
		+30 y -2.5t <= 14980,
		-103 x -40 y <= -51020,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+103 x +40 y <= 51020,
		-5 x +10 y -0.7t <= 3530,
		-98 x -50 y <= -53320,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		+103 x +40 y <= 51020,
		-5 x +10 y +t <= 3564,
		-98 x -50 y <= -53320,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+103 x +40 y <= 51020,
		-5 x +10 y -1.5t <= 3464,
		-98 x -50 y <= -53320,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+98 x +50 y <= 53320,
		-5 x +10 y -0.7t <= 3530,
		-93 x -60 y <= -55620,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		+98 x +50 y <= 53320,
		-5 x +10 y +t <= 3564,
		-93 x -60 y <= -55620,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+98 x +50 y <= 53320,
		-5 x +10 y -2t <= 3444,
		-93 x -60 y <= -55620,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+93 x +60 y <= 55620,
		-13 x -0.7t <= -3640,
		-80 x -60 y <= -51200,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		+93 x +60 y <= 55620,
		-13 x +0.7t <= -3612,
		-80 x -60 y <= -51200,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+93 x +60 y <= 55620,
		-13 x -1.3t <= -3692,
		-80 x -60 y <= -51200,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+80 x +60 y <= 51200,
		-22 x +32 y -1.2t <= 9200,
		-58 x -92 y <= -56520,
		t >= 0,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+58 x +92 y <= 56520,
		-32 x +2 y -1.5t <= -7020,
		-26 x -94 y <= -46440,
		t >= 0,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+26 x +94 y <= 46440,
		-26 x -1.5t <= -6396,
		-94 y <= -37600,
		t >= 0,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+94 y <= 37600,
		-28 x -3 y -1.5t <= -8088,
		+28 x -91 y <= -26880,
		t >= 0,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-28 x +91 y <= 26880,
		-10 x -11 y -1.4t <= -6582,
		+38 x -80 y <= -19080,
		t >= 0,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-28 x +91 y <= 26880,
		-10 x -11 y -t <= -6566,
		+38 x -80 y <= -19080,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-38 x +80 y <= 19080,
		-14 x -5 y -1.6t <= -5450,
		+52 x -75 y <= -12320,
		t >= 0,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-52 x +75 y <= 12320,
		-28 x -13 y -4t <= -11944,
		+80 x -62 y <= 2400,
		t >= 0,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-20 x +3 y >= -4270,
		+12 x +6 y >= 5136,
		+8 x -9 y >= -1022,
		t >= 50,
		t <= 58.

Gull(i,x,y,t):-	i=0,
		-50 x +73 y <= 12200,
		-16 x -7 y -20t <= -7522,
		+66 x -66 y <= -3960,
		t >= 41,
		t <= 50.

Gull(i,x,y,t):-	i=0,
		-56 x +82 y <= 13760,
		-33 x +8 y -25t <= -7262,
		+89 x -90 y <= -5740,
		t >= 51,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-89 x +90 y <= 5740,
		-26 x -14 y -50t <= -13854,
		+115 x -76 y <= 8700,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-115 x +76 y <= -8700,
		+5 x -56 y -100t <= -20640,
		+110 x -20 y <= 29400,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-110 x +20 y <= -29400,
		-22 x -20 y -50t <= -15840,
		+132 x <= 44880,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-80 x +62 y <= -2400,
		-2 x -32 y -8t <= -10796,
		+82 x -30 y <= 15880,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		-80 x +62 y <= -2400,
		-2 x -32 y +11t <= -10416,
		+82 x -30 y <= 15880,
		t >= 21,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		-82 x +30 y <= -15880,
		-3 x -30 y -8t <= -10470,
		+85 x <= 28900,
		t >= 0,
		t <=20.

Gull(i,x,y,t):-	i=0,
		-82 x +30 y <= -15880,
		-3 x -30 y +12t <= -10130,
		+85 x <= 28900,
		t >= 21,
		t <=40.

Gull(i,x,y,t):-	i=0,
		+12 x -16 y - 10t >= -4648,
		-18 x -30 y - 20t >= -15600,
		-18 x +5 y - 10t >= -1600,
		+25 y -10t >= 9550,
		+10 x +16 y - 8t >= 7812,
		+14 x - 10t >= 2156,
		t >= 0,
		t <= 19.

Gull(i,x,y,t):-	i=0,
		+2 x -23 y -2t >= -8140,
		-5 x -2 y -0.4t >= -1784,
		-9 x -t >= -1890,
		-6 x +7 y -0.6t >= 1246,
		+4 x +18 y -2t >= 7148,
		+14 x -t >= 2590,
		t >= 0,
		t <= 19.

Gull(i,x,y,t):-	i=0,
		+7 x -10 y -6t>= -1810,
		+3 x -12 y -8t >= -3414,
		-15 x -18 y -10t >= -9840,
		-28 x +2 y -4t >= -6620,
		-17 x +20 y -10t >= 1654,
		+2 x +8 y -6t >= 2756,
		+16 x +11 y -10t>= 6837,
		+32 x - y -6t >= 6705,
		t >= 0,
		t <= 18.

Gull(i,x,y,t):-	i=0,
		+8 x -18 y -18t >= -4852,
		-2 x -14 y -10t >= -5040,
		-52 x -28 y >= -18144,
		-14 x +8 y >= -472,
		-2 x +18 y >= 4484,
		+50 x +36 y >= 18148,
		+12 x -2 y -10t >= 972,
		t >= 0,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+8 x -18 y +17t >= -3452,
		-2 x -14 y +17t >= -3960,
		-52 x -28 y +80t >= -14844,
		-14 x +8 y +6.5t >= -212,
		-2 x +18 y >= 4484,
		+50 x +36 y >= 18148,
		+12 x -2 y >= 1372,
		t >= 41,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+10 x -8 y +6t >= -260,
		-3 x -10 y +6t >= -4014,
		-9 x -9 y +6t >= -5175,
		-12 x -3 y +6t >= -4038,
		-13 x +6 y +6t >= -1544,
		-3 x +7 y +6t >= 1289,
		+5 x +12 y +6t >= 4715,
		+13 x +5 y +6t >= 4530,
		+12 x +5t >= 2760,
		t >= 23,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+10 x -8 y -11t >= -940,
		-3 x -10 y -11t >= -4694,
		-9 x -9 y -11t >= -5855,
		-12 x -3 y -11t >= -4718,
		-13 x +6 y -11t >= -2224,
		-3 x +7 y -11t >= 609,
		+5 x +12 y -11t >= 4035,
		+13 x +5 y -11t >= 3850,
		+12 x -10t >= 2160,
		t >= 41,
		t <= 56.

Gull(i,x,y,t):-	i=0,
		+10 x -8 y >= -2490,
		-23 y >= -11040,
		-40 x >= -6320,
		-10 x +12 y >= 3700,
		+14 y >= 6020,
		+14 x +5 y >= 3998,
		+26 x >= 3302,
		t >= 0,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-10 x -2 y >= -2540,
		-14 x -0.25t >= -2240,
		-6 x +2 y >= -48,
		+30 x >= 4740,
		t >= 0,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		-22 x >= -2794,
		+2 x +2 y >= 1142,
		+18 x +0.7t >= 2271,
		+2 x -2 y >= -678,
		t >= 30,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+5 x -6 y +t >= 304,
		-10 y +t >= -1340,
		-4 x -8 y +t >= -1968,
		-6 x +12 y +t >= 176,
		+2 x +11 y +t >= 1858,
		+3 x + y +t >= 793,
		t >= 20,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+5 x -6 y -t >= 224,
		-10 y -t >= -1420,
		-4 x -8 y -t >= -2048,
		-6 x +12 y -t >= 96,
		+2 x +11 y -t >= 1778,
		+3 x + y -t >= 713,
		t >= 41,
		t <= 56.

Gull(i,x,y,t):-	i=0,
		+6 x -22 y +12t >= -8960,
		-6 x -12 y +6t >= -7044,
		-10 x +14 y +6t >= 4460,
		-4 x +10 y +6t >= 3960,
		+6 x +10 y +6t >= 6160,
		+8 x +2t >= 1740,
		t >= 31,
		t <= 60.

Gull(i,x,y,t):-	i=0,
		+5 x -10 y +3t >= -3890,
		-6 y +t >= -3120,
		-15 x -15 y +t >= -11745,
		-7 x +t >= -1895,
		-15 x +10 y >= 905,
		+12 x +21 y +18t >= 13708,
		+20 x +15t >= 5330,
		t >= 31,
		t <= 40.

Gull(i,x,y,t):-	i=0,
		+5 x -10 y -3t >= -4130,
		-6 y -t >= -3200,
		-15 x -15 y -t >= -11825,
		-7 x -t >= -1975,
		-15 x +10 y >= 905,
		+12 x +21 y -18t >= 12268,
		+20 x -15t >= 4130,
		t >= 40,
		t <= 56.

Gull(i,x,y,t):-	i=0,
		+25 x -12 y +9t >= 7470,
		-8 y +3t >= -3310,
		-20 x -10 y +t >= -14220,
		-10 x +t >= -5070,
		-13 x +14 y +t >= -1070,
		+6 x +18 y +3t >= 9942,
		+12 x -2 y +3t >= 5050,
		t >= 30,
		t <= 60.

end %GULL%
