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

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

(1, 0, 1)
(1, 0, -1)
(-1, 0, -1)