path: root/tests/results/0601_heap_sort.polyhedra.txt

Output: [|-99999L+49999R+99999>=0; -2L+N+1>=0; -R+1>=0; L-1>=0|]