path: root/tests/results/0103_local.polyhedra.txt

sources/0103_local.c:4.2-5.0: [|y-9=0; x-12=0|]
Output: [|x-12=0|]