begin%join%
line7(id, x, y, t) :- id = 51, 0.58 x -y <= 0, -1.73 x +y <= 0, x +y -0.50 t <= 0, -t <= 0, t <= 14.

line7(id, x, y, t) :- 
id = 52,
-0.58 x +y <= 0,
-y <= 0,
3.73 x +y -1.35 t <= 0,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 53,
1.73 x -y <= 0,
-x <= 0,
0.30 x +y -0.37 t <= 0,
-t <= 0,
t <= 14.


line7(id, x, y, t) :- 
id = 54,
-0.58 x +y <= 0,
1.73 x -y <= 0,
-x -y -0.50 t <= 0,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 55,
-1.73 x +y <= 0,
x <= 0,
-0.30 x -y -0.37 t <= 0,
-t <= 0,
t <= 14.


line7(id, x, y, t) :- 
id = 56,
0.58 x -y <= 0,
y <= 0,
-3.73 x -y -1.35 t <= 0,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 57,
-1.73 x -y <= 0,
x <= 0,
-0.28 x +y -0.37 t <= 0,
-t <= 0,
t <= 14.


line7(id, x, y, t) :- 
id = 58,
1.73 x +y <= 0,
-0.58 x -y <= 0,
-x +y -0.50 t <= 0,
-t <= 0,
t <= 14.




line7(id, x, y, t) :- 
id = 59,
0.58 x +y <= 0,
-y <= 0,
-3.73 x +y -1.35 t <= 0,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 60,
1.73 x +y <= 0,
-x <= 0,
0.28 x -y -0.37 t <= 0,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 61,
-1.73 x -y <= 0,
0.58 x +y <= 0,
x -y -0.50 t <= 0,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 62,
-0.58 x -y <= 0,
y <= 0,
3.73 x -y -1.35 t <= 0,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 51,
0.58 x -y <= -5.80,
-1.73 x +y <= 17.30,
x +y -t <= -10,
-t <= 0,
t <= 14.


line7(id, x, y, t) :- 
id = 52,
-0.58 x +y <= 5.80,
-y <= 0,
3.73 x +y -2.70 t <= -37.30,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 53,
1.73 x -y <= -17.30,
-x <= 10,
0.30 x +y -0.74 t <= -3,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 54,
-0.58 x +y <= 5.80,
1.73 x -y <= -17.30,
-x -y -t <= 10,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 55,
-1.73 x +y <= 17.30,
x <= -10,
-0.30 x -y -0.74 t <= 3,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 56,
0.58 x -y <= -5.80,
y <= 0,
-3.73 x -y -2.70 t <= 37.30,
-t <= 0,
t <= 14.


line7(id, x, y, t) :- 
id = 57,
-1.73 x -y <= 17.30,
x <= -10,
-0.28 x +y -0.74 t <= 2.80,
-t <= 0,
t <= 14.


line7(id, x, y, t) :- 
id = 58,
1.73 x +y <= -17.30,
-0.58 x -y <= 5.80,
-x +y -t <= 10,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 59,
0.58 x +y <= -5.80,
-y <= 0,
-3.73 x +y -2.70 t <= 37.30,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 60,
1.73 x +y <= -17.30,
-x <= 10,
0.28 x -y -0.74 t <= -2.80,
-t <= 0,
t <= 14.


line7(id, x, y, t) :- 
id = 61,
-1.73 x -y <= 17.30,
0.58 x +y <= -5.80,
x -y -t <= -10,
-t <= 0,
t <= 14.



line7(id, x, y, t) :- 
id = 62,
-0.58 x -y <= 5.80,
y <= 0,
3.73 x -y -2.70 t <= -37.30,
-t <= 0,
t <= 14.



end%join%