begin %City%

City(i, x, y, t) :- 	i = 1,
			x + 0.1t >= 4,
			y - 0.1t <= 16,
			x + y - 0.1t <= 22,
			-x + y + 0.1t >= 10,
			y + 0.1t >= 16,
			t >= 10,
			t <= 20.

City(i, x, y, t) :-	i = 2,
			x - 0.05t <= 13,
			y + 0.15t >= 11,
			3x + y +0.45t >= 41,
			-x + y - 0.15t <= 5,
			-0.5x + y - 0.1t <= 10,
			y - 0.1t <= 16,
			t >= 0,
			t <= 20.

City(i, x, y, t) :-	i = 101,
			x >= 2,
			y <= 18,
			x + y <= 24,
			-x + y >= 8,
			y >= 14,
			t >= 21,
			t <=40.

City(i, x, y, t) :-	i = 102,
			x <= 14,
			y >= 8,
			3x + y >= 32,
			-x + y <=8,
			-0.5x + y <= 12,
			y <= 18,
			t >= 21,
			t <= 40.

City(i, x, y, t) :-	i = 3,
			x >= 14,
			y >= 8,
			x - 0.1t <= 12,
			2x + y <= 44,
			t >= 21,
			t <= 40.

City(i, x, y, t) :-	i = 4,
			x >= 14,
			y >= 18,
			x - 0.1t <= 12,
			y - 0.05t <= 17,
			t >= 21,
			t <= 40.

City(i, x, y, t) :-	i = 5,
			-0.5x + y >= 12,
			x + y >= 24,
			y -0.025t <= 16,
			t >= 0,
			t <= 40.
			
City(i, x, y, t) :-	i = 6,
			x >= 8,
			y >= 17,
			x <= 9,
			y -0.02t <= 17.2,
			t >= 0,
			t <= 40.

City(i, x, y, t) :-	i = 7,
			x <= 2,
			x + 0.025t >= 2,
			y <= 18,
			y +0.125t >= 18,
			t >= 0,
			t <= 40.

City(i, x, y, t) :-	i = 8,
			x >= 3,
			y >= 12,
			x - 0.075t <= 3,
			y - 0.05t <= 12,
			t >= 0,
			t <= 40.

City(i, x, y, t) :-	i = 9,
			x >= 2,
			y >= 10,
			x -y -0.05t <= -8,
			y -0.05t <= 10,
			t >= 0,
			t <= 40.

City(i, x, y, t) :-	i = 10,
			x -y >= -6,
			x - 0.025t <= 5,
			y >= 11,
			t >= 0,
			t <= 40.

City(i, x, y, t) :-	i = 11,
			x +0.025t >= 8,
			y >= 8,
			3x + y <= 32,
			t >= 0,
			t <= 40.
			
City(i, x, y, t) :-	i = 12,
			x >= 6,
			y >= 6,
			x - 0.05t <= 6,
			y - 0.05t <= 6,
			t >= 0,
			t <= 40.

City(i, x, y, t) :-	i = 13,
			x >= 8,
			y + 0.02t >= 7.8,
			x <= 9,
			y <= 8,
			t >= 0,
			t <= 40.

City(i, x, y, t) :-	i = 14,
			x >= 9,
			y + 0.075t >= 8,
			x <= 13,
			y <= 8,
			t >= 0,
			t <= 40.

City(i, x, y, t) :-	i = 15,
			y <= 8,
			x + y <= 22,
			x + y >= 21,
			y + 0.02t >= 7.8,
			t >= 0,
			t <= 40.

end %City%
