alms-0.4.9: examples/session-types-polygons-3.in

0x + 0y + 1z + 0 > 0
0x + 1y + 0z + 0 > 0
1x + 0y + 0z + 0 > 0

(0, 0, -1)
(3, 3, 2)
(-6, 3, 2)
(1, 10, 9)
(8, 4, 4)
(3, -1, -1)
(-1, 3, 3)
(-1, -1, 3)
(-1, -1, -1)
(0, 0, -1)