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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30. 
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 <= 30.
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 <= 30.

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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.
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 <= 30.

line7(id, x, y, t) :- id = 51, 0.58 x -y <= -1.6, -1.73 x +y <= 24.6, x +y -t <= -30, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 52, -0.58 x +y <= 1.6, -y <= 10, 3.73 x +y -2.70 t <= -84.6, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 53, 1.73 x -y <= -24.6, -x <= 20, 0.30 x +y -0.74 t <= -16, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 54, -0.58 x +y <= 1.6, 1.73 x -y <= -24.6, -x -y -t <= 30, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 55, -1.73 x +y <= 24.6, x <= -20, -0.30 x -y -0.74 t <= 16, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 56, 0.58 x -y <= -1.6, y <= -10, -3.73 x -y -2.70 t <= 84.6, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 57, -1.73 x -y <= 44.6, x <= -20, -0.28 x +y -0.74 t <= -4.4, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 58, 1.73 x +y <= -44.6, -0.58 x -y <= 21.6, -x +y -t <= 10, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 59, 0.58 x +y <= -21.6, -y <= 10, -3.73 x +y -2.70 t <= 64.6, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 60, 1.73 x +y <= -44.6, -x <= 20, 0.28 x -y -0.74 t <= 4.4, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 61, -1.73 x -y <= 44.6, 0.58 x +y <= -21.6, x -y -t <= -10, -t <= 0, t <= 30.
line7(id, x, y, t) :- id = 62, -0.58 x -y <= 21.6, y <= -10, 3.73 x -y -2.70 t <= -64.6, -t <= 0, t <= 30.

end%join%