1amb_space 2 2inhom_inequalities 2 31 -1 -1 4-1 1 0 5equations 1 61 0 7/* EhrhartSeries */ 8Volume 9/* ModuleGenerators */