begin%STDB%

clouds(h) :- i=1,
         x1 - t = 80, y1 - 0.5t = 100,
         x2 - 1.1t = 220, y2 - 0.6t = 200,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 105, y1 - 0.5t = 200,
         x2 - t = 111, y2 - 0.6t = 205,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 111, y1 - 0.5t = 200,
         x2 - 1.1t = 225, y2 - 0.6t = 210,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 118, y1 - 0.5t = 210,
         x2 - 1.1t = 125, y2 - 0.6t = 214,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 125, y1 - 0.5t = 210,
         x2 - 1.1t = 220, y2 - 0.6t = 218,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 135, y1 - 0.5t = 218,
         x2 - 1.1t = 200, y2 - 0.6t = 222,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 220, y1 - 0.5t = 115,
         x2 - 1.1t = 270, y2 - 0.6t = 185,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 270, y1 - 0.5t = 120,
         x2 - 1.1t = 290, y2 - 0.6t = 180,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 290, y1 - 0.5t = 130,
         x2 - 1.1t = 300,    y2 - 0.6t = 170,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 220, y1 - 0.5t = 80,
         x2 - 1.1t = 260, y2 - 0.6t = 115,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 260, y1 - 0.5t = 80,
         x2 - 1.1t = 270, y2 - 0.6t = 110,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 175, y1 - 0.5t = 80,
         x2 - 1.1t = 220, y2 - 0.6t = 100,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 190, y1 - 0.5t = 75,
         x2 - 1.1t = 255, y2 - 0.6t = 80,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 168, y1 - 0.5t = 90,
         x2 - 1.1t = 175, y2 - 0.5t = 100,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 75, y1 - 0.5t = 108,
         x2 - 1.1t = 80, y2 - 0.5t = 142,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 70, y1 - 0.5t = 152,
         x2 - 1.1t = 80, y2 - 0.5t = 195,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 65, y1 - 0.5t = 160,
         x2 - 1.1t = 70, y2 - 0.5t = 188,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - t = 90, y1 - 0.5t = 94,
         x2 - 1.1t = 150, y2 - 0.5t = 100,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.

clouds(h) :- i=1,
         x1 - 0.8t = 100, y1 - 0.5t = 91,
         x2 - 1.1t = 140, y2 - 0.6t = 94,
         t >=0, t<=300,
         p = -1, s = 0,
         h = 0.


Washington() :- i=1,
                         x1=86, y1=475,
			 x2=230,y2=550,
			 t>=0,t<=300,
                         p=-1, s = 0.

Oregon() :- i=1,
                         x1=87, y1=390,
			 x2=230,y2=475,
			 t>=0,t<=300,
                         p=-1, s = 0.

Idaho() :- i=1,
                         x1=230, y1=390,
			 x2=320,y2=450,
			 t>=0,t<=300,
                         p=-1, s = 0.

Idaho() :- i=1,
                         x1=230, y1=450,
			 x2=270,y2=500,
			 t>=0,t<=300,
                         p=-1, s = 0.

Idaho() :- i=1,
                         x1=230, y1=500,
			 x2=250,y2=550,
			 t>=0,t<=300,
                         p=-1, s = 0.

Montana() :- i=1,
                         x1=270, y1=450,
			 x2=440,y2=550,
			 t>=0,t<=300,
                         p=-1, s = 0.

Montana() :- i=1,
                         x1=250, y1=500,
			 x2=270,y2=550,
			 t>=0,t<=300,
                         p=-1, s = 0.

california() :- i=1,
                         x1=88, y1=310,
			 x2=180,y2=390,
			 t>=0,t<=300,
                         p=-1, s = 0.

california() :- i=1,
                         x1=95, y1=300,
			 x2=188,y2=310,
			 t>=0,t<=300,
                         p=-1, s = 0.

california() :- i=1,
                         x1=100, y1=285,
			 x2=200,y2=300,
			 t>=0,t<=300,
                         p=-1, s = 0.

california() :- i=1,
                         x1=110, y1=270,
			 x2=218,y2=285,
			 t>=0,t<=300,
                         p=-1, s = 0.

california() :- i=1,
                         x1=125, y1=255,
			 x2=235,y2=270,
			 t>=0,t<=300,
                         p=-1, s = 0.

california() :- i=1,
                         x1=142, y1=240,
			 x2=250,y2=255,
			 t>=0,t<=300,
                         p=-1, s = 0.

california() :- i=1,
                         x1=175, y1=223,
			 x2=260,y2=240,
			 t>=0,t<=300,
                         p=-1, s = 0.

california() :- i=1,
                         x1=210, y1=195,
			 x2=256,y2=223,
			 t>=0,t<=300,
                         p=-1, s = 0.

Nevada() :- i=1,
                         x1=180, y1=310,
			 x2=270,y2=390,
			 t>=0,t<=300,
                         p=-1, s = 0.

Nevada() :- i=1,
                         x1=188, y1=300,
			 x2=270,y2=310,
			 t>=0,t<=300,
                         p=-1, s = 0.

Nevada() :- i=1,
                         x1=200, y1=285,
			 x2=270,y2=300,
			 t>=0,t<=300,
                         p=-1, s = 0.

Nevada() :- i=1,
                         x1=218, y1=270,
			 x2=270,y2=285,
			 t>=0,t<=300,
                         p=-1, s = 0.

Nevada() :- i=1,
                         x1=235, y1=255,
			 x2=270,y2=270,
			 t>=0,t<=300,
                         p=-1, s = 0.

Nevada() :- i=1,
                         x1=250, y1=240,
			 x2=260,y2=255,
			 t>=0,t<=300,
                         p=-1, s = 0.

Arizona() :- i=1,
                         x1=270, y1=255,
			 x2=350,y2=270,
			 t>=0,t<=300,
                         p=-1, s = 0.

Arizona() :- i=1,
                         x1=260, y1=223,
			 x2=350,y2=255,
			 t>=0,t<=300,
                         p=-1, s = 0.

Arizona() :- i=1,
                         x1=256, y1=185,
			 x2=350,y2=223,
			 t>=0,t<=300,
                         p=-1, s = 0.

Arizona() :- i=1,
                         x1=300, y1=160,
			 x2=350,y2=185,
			 t>=0,t<=300,
                         p=-1, s = 0.

Utah() :- i=1,
                         x1=270, y1=270,
			 x2=350,y2=365,
			 t>=0,t<=300,
                         p=-1, s = 0.

Utah() :- i=1,
                         x1=270, y1=365,
			 x2=320,y2=390,
			 t>=0,t<=300,
                         p=-1, s = 0.

Wyoming() :- i=1,
                         x1=320, y1=365,
			 x2=440,y2=450,
			 t>=0,t<=300,
                         p=-1, s = 0.

Colorado() :- i=1,
                         x1=350, y1=270,
			 x2=470,y2=365,
			 t>=0,t<=300,
                         p=-1, s = 0.

NewMexico() :- i=1,
                         x1=350, y1=170,
			 x2=450,y2=270,
			 t>=0,t<=300,
                         p=-1, s = 0.

NewMexico() :- i=1,
                         x1=350, y1=160,
			 x2=365,y2=170,
			 t>=0,t<=300,
                         p=-1, s = 0.

NorthDakota() :- i=1,
                         x1=440, y1=470,
			 x2=550,y2=550,
			 t>=0,t<=300,
                         p=-1, s = 0.

SouthDakota() :- i=1,
                         x1=440, y1=410,
			 x2=550,y2=470,
			 t>=0,t<=300,
                         p=-1, s = 0.

Nebraska() :- i=1,
                         x1=440, y1=365,
			 x2=550,y2=410,
			 t>=0,t<=300,
                         p=-1, s = 0.

Nebraska() :- i=1,
                         x1=470, y1=340,
			 x2=550,y2=365,
			 t>=0,t<=300,
                         p=-1, s = 0.

Nebraska() :- i=1,
                         x1=550, y1=340,
			 x2=570,y2=355,
			 t>=0,t<=300,
                         p=-1, s = 0.

Missouri() :- i=1,
                         x1=570, y1=340,
			 x2=590,y2=355,
			 t>=0,t<=300,
                         p=-1, s = 0.

Missouri() :- i=1,
                         x1=590, y1=260,
			 x2=650, y2=355,
			 t>=0,t<=300,
                         p=-1, s = 0.

Missouri() :- i=1,
                         x1=650, y1=260,
			 x2=668, y2=333,
			 t>=0,t<=300,
                         p=-1, s = 0.

Missouri() :- i=1,
                         x1=668, y1=260,
			 x2=688, y2=290,
			 t>=0,t<=300,
                         p=-1, s = 0.

Illinois() :- i=1,
                         x1=650, y1=333,
			 x2=668, y2=380,
			 t>=0,t<=300,
                         p=-1, s = 0.

Illinois() :- i=1,
                         x1=668, y1=290,
			 x2=720, y2=410,
			 t>=0,t<=300,
                         p=-1, s = 0.

Indiana() :- i=1,
                         x1=720, y1=305,
			 x2=765, y2=400,
			 t>=0,t<=300,
                         p=-1, s = 0.

Kansas() :- i=1,
                         x1=470, y1=270,
			 x2=590,y2=340,
			 t>=0,t<=300,
                         p=-1, s = 0.

Okalahoma() :- i=1,
                         x1=450, y1=260,
			 x2=505,y2=270,
			 t>=0,t<=300,
                         p=-1, s = 0.


Okalahoma() :- i=1,
                         x1=505, y1=210,
			 x2=590,y2=270,
			 t>=0,t<=300,
                         p=-1, s = 0.

Iowa() :- i=1,
                         x1=550, y1=355,
			 x2=650,y2=420,
			 t>=0,t<=300,
                         p=-1, s = 0.

Iowa() :- i=1,
                         x1=650, y1=380,
			 x2=668,y2=410,
			 t>=0,t<=300,
                         p=-1, s = 0.

Minnesota() :- i=1,
                         x1=550, y1=420,
			 x2=650,y2=440,
			 t>=0,t<=300,
                         p=-1, s = 0.

Minnesota() :- i=1,
                         x1=550, y1=440,
			 x2=610, y2=490,
			 t>=0,t<=300,
                         p=-1, s = 0.

Minnesota() :- i=1,
                         x1=550, y1=490,
			 x2=660, y2=530,
			 t>=0,t<=300,
                         p=-1, s = 0.

Minnesota() :- i=1,
                         x1=550, y1=530,
			 x2=600,y2=550,
			 t>=0,t<=300,
                         p=-1, s = 0.

Wisconsin() :- i=1,
                         x1=610, y1=440,
			 x2=700,y2=490,
			 t>=0,t<=300,
                         p=-1, s = 0.

Wisconsin() :- i=1,
                         x1=650, y1=410,
			 x2=710,y2=440,
			 t>=0,t<=300,
                         p=-1, s = 0.

Texas() :- i=1,
                         x1=450, y1=210,
			 x2=505,y2=260,
			 t>=0,t<=300,
                         p=-1, s = 0.

Texas() :- i=1,
                         x1=450, y1=130,
			 x2=600,y2=210,
			 t>=0,t<=300,
                         p=-1, s = 0.

Texas() :- i=1,
                         x1=425, y1=120,
			 x2=450, y2=170,
			 t>=0,t<=300,
                         p=-1, s = 0.

Texas() :- i=1,
                         x1=405, y1=150,
			 x2=425, y2=170,
			 t>=0,t<=300,
                         p=-1, s = 0.

Texas() :- i=1,
                         x1=495, y1=95,
			 x2=560, y2=130,
			 t>=0,t<=300,
                         p=-1, s = 0.

Texas() :- i=1,
                         x1=510, y1=90,
			 x2=550, y2=95,
			 t>=0,t<=300,
                         p=-1, s = 0.

Texas() :- i=1,
                         x1=560, y1=115,
			 x2=580, y2=130,
			 t>=0,t<=300,
                         p=-1, s = 0.

Arkansas() :- i=1,
                         x1=590, y1=210,
			 x2=665, y2=260,
			 t>=0,t<=300,
                         p=-1, s = 0.

Arkansas() :- i=1,
                         x1=600, y1=200,
			 x2=655, y2=210,
			 t>=0,t<=300,
                         p=-1, s = 0.

Arkansas() :- i=1,
                         x1=665, y1=230,
			 x2=675, y2=260,
			 t>=0,t<=300,
                         p=-1, s = 0.

Louisiana() :- i=1,
                         x1=600, y1=130,
			 x2=655, y2=200,
			 t>=0,t<=300,
                         p=-1, s = 0.

Louisiana() :- i=1,
                         x1=655, y1=130,
			 x2=680, y2=165,
			 t>=0,t<=300,
                         p=-1, s = 0.

Mississippi() :- i=1,
                         x1=655, y1=165,
			 x2=720, y2=210,
			 t>=0,t<=300,
                         p=-1, s = 0.

Mississippi() :- i=1,
                         x1=665, y1=210,
			 x2=720, y2=230,
			 t>=0,t<=300,
                         p=-1, s = 0.

Mississippi() :- i=1,
                         x1=680, y1=155,
			 x2=720, y2=165,
			 t>=0,t<=300,
                         p=-1, s = 0.

Alabama() :- i=1,
                         x1=720, y1=165,
			 x2=770, y2=230,
			 t>=0,t<=300,
                         p=-1, s = 0.

Alabama() :- i=1,
                         x1=720, y1=155,
			 x2=730, y2=165,
			 t>=0,t<=300,
                         p=-1, s = 0.

Georgia() :- i=1,
                         x1=770, y1=165,
			 x2=830, y2=210,
			 t>=0,t<=300,
                         p=-1, s = 0.

Georgia() :- i=1,
                         x1=770, y1=210,
			 x2=805, y2=230,
			 t>=0,t<=300,
                         p=-1, s = 0.

Tennessee() :- i=1,
                         x1=675, y1=230,
			 x2=785, y2=260,
			 t>=0,t<=300,
                         p=-1, s = 0.

Tennessee() :- i=1,
                         x1=785, y1=245,
			 x2=805, y2=260,
			 t>=0,t<=300,
                         p=-1, s = 0.

Kentucky() :- i=1,
                         x1=688, y1=260,
			 x2=720, y2=290,
			 t>=0,t<=300,
                         p=-1, s = 0.

Kentucky() :- i=1,
                         x1=720, y1=260,
			 x2=800, y2=305,
			 t>=0,t<=300,
                         p=-1, s = 0.

Kentucky() :- i=1,
                         x1=765, y1=305,
			 x2=800, y2=320,
			 t>=0,t<=300,
                         p=-1, s = 0.

end%map%
