amb_space 2
inhom_inequalities 2
1 -1 -1
-1 1 0
equations 1
1 0
/* EhrhartSeries */
Volume
/* ModuleGenerators */