44 lines (42 with data), 1.7 kB

*mplrs:lrslib v.6.0 2015.7.13(lrsgmp.h)8 processes
*Copyright (C) 1995,2015, David Avis   avis@cs.mcgill.ca 
*Input taken from mp5.ine
*Starting depth of 2 maxcobases=50 maxdepth=0 lmin=3 lmax=3 scale=100

V-representation
begin
***** 11 rational
 1  1  1  1  1  0  0  0  0  0  0 
 1  0  0  1  1  0  1  1  1  1  0 
 1  1  0  1  1  1  0  0  1  1  0 
 1  0  1  1  1  1  1  1  0  0  0 
 1  0  1  0  1  1  0  1  1  0  1 
 1  1  1  0  1  0  1  0  1  0  1 
 1  0  1  1  0  1  1  0  0  1  1 
 1  1  1  1  0  0  0  1  0  1  1 
 1  0  0  0  1  0  0  1  0  1  1 
 1  0  0  1  0  0  1  0  1  0  1 
 1  1/3  2/3  2/3  2/3  1/3  1/3  1/3  2/3  2/3  2/3 
 1  2/3  2/3  1/3  1/3  2/3  1/3  1/3  1/3  1/3  2/3 
 1  2/3  2/3  2/3  2/3  2/3  2/3  2/3  2/3  2/3  2/3 
 1  1  0  0  1  1  1  0  0  1  1 
 1  2/3  1/3  2/3  2/3  1/3  2/3  2/3  1/3  1/3  2/3 
 1  1/3  1/3  2/3  2/3  2/3  1/3  1/3  1/3  1/3  2/3 
 1  1/3  2/3  1/3  1/3  1/3  2/3  2/3  1/3  1/3  2/3 
 1  1  0  1  0  1  0  1  1  0  1 
 1  2/3  2/3  2/3  1/3  2/3  2/3  1/3  2/3  1/3  1/3 
 1  2/3  1/3  1/3  1/3  1/3  1/3  1/3  2/3  2/3  2/3 
 1  1/3  1/3  1/3  2/3  2/3  2/3  1/3  2/3  1/3  1/3 
 1  2/3  1/3  1/3  2/3  1/3  1/3  2/3  2/3  1/3  1/3 
 1  1/3  2/3  1/3  2/3  1/3  2/3  1/3  1/3  2/3  1/3 
 1  0  1  0  0  1  0  0  1  1  0 
 1  2/3  1/3  2/3  1/3  1/3  2/3  1/3  1/3  2/3  1/3 
 1  1/3  1/3  1/3  1/3  2/3  2/3  2/3  2/3  2/3  2/3 
 1  1  0  0  0  1  1  1  0  0  0 
 1  0  0  0  0  0  0  0  0  0  0 
 1  2/3  2/3  1/3  2/3  2/3  1/3  2/3  1/3  2/3  1/3 
 1  1/3  2/3  2/3  1/3  1/3  1/3  2/3  2/3  1/3  1/3 
 1  1  1  0  0  0  1  1  1  1  0 
 1  1/3  1/3  2/3  1/3  2/3  1/3  2/3  1/3  2/3  1/3 
end
*Totals: vertices=32 rays=0 bases=9041 integer-vertices=16
*Elapsed time: 1 seconds.