375 lines (374 with data), 18.1 kB

cp6.ine
*6 point cut polytope
H-representation
begin
368 16 integer       
 2  0  1  1  1  1  0  0  0  0 -1 -1 -1 -1 -1 -1 
 2  1  0  1  1  1  0 -1 -1 -1  0  0  0 -1 -1 -1 
 2  1  1  0  1  1 -1  0 -1 -1  0 -1 -1  0  0 -1 
 0  1  0  0  1  0  0  0 -1  0  0  0  0  0  0  0 
 0  1  0  0  0  1  0  0  0 -1  0  0  0  0  0  0 
 0  0  1  0  1  0  0  0  0  0  0 -1  0  0  0  0 
 0  0  1  0  0  1  0  0  0  0  0  0 -1  0  0  0 
 0  0  0  1  1  0  0  0  0  0  0  0  0 -1  0  0 
 0  0  0  1  0  1  0  0  0  0  0  0  0  0 -1  0 
 0  0  0  0  1  1  0  0  0  0  0  0  0  0  0 -1 
 2  2  2  2  2  2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 
 0  0  1  1  0  0  0  0  0  0 -1  0  0  0  0  0 
 0 -1  1  0  0  0  1  0  0  0  0  0  0  0  0  0 
 0 -2  2  2  2  2  1  1  1  1 -1 -1 -1 -1 -1 -1 
 0 -2  1  1  1  1  2  2  2  2 -1 -1 -1 -1 -1 -1 
 0  1 -1  2 -1 -1  1 -2  1  1  2 -1 -1  2  2 -1 
 0  1 -1 -1  2 -1  1  1 -2  1 -1  2 -1  2 -1  2 
 2 -2  1  1 -1 -1  2  2 -2 -2 -1  1  1  1  1 -1 
 0 -1  2  1 -1 -1  2  1 -1 -1 -2  2  2  1  1 -1 
 2 -2  1 -1 -1  1  2 -2 -2  2  1  1 -1 -1  1  1 
 0 -1  2 -1 -1  1  2 -1 -1  1  2  2 -2 -1  1  1 
 2 -1  2  1  1  1  2  1  1  1 -2 -2 -2 -1 -1 -1 
 2 -2  1 -1  1 -1  2 -2  2 -2  1 -1  1  1 -1  1 
 0 -1  2 -1  1 -1  2 -1  1 -1  2 -2  2  1 -1  1 
 0  1 -1 -1 -1  2  1  1  1 -2 -1 -1  2 -1  2  2 
 0  0  0  0  0  0  1  0  0 -1  0  0  1  0  0  0 
 0 -1  1  1  1  0  1  1  1  0 -1 -1  0 -1  0  0 
 2  1 -2 -1 -1  1  2  1  1 -1 -2 -2  2 -1  1  1 
 0  2 -1 -1 -1  1  2  2  2 -2 -1 -1  1 -1  1  1 
 0  0  1  1  1 -1  0  0  0  0 -1 -1  1 -1  1  1 
 0 -1  2  1  1 -1  2  1  1 -1 -2 -2  2 -1  1  1 
 0  0  0  0  0  0  1  1  1 -1 -1 -1  1 -1  1  1 
 0  1  2 -1 -1 -1 -2  1  1  1  2  2  2 -1 -1 -1 
 2 -2  2 -2  2 -2  1 -1  1 -1  1 -1  1  1 -1  1 
 2 -1  1 -1  1 -2  1 -1  1 -2  1 -1  2  1 -2  2 
 0  0  1  0  0 -1  0  0  0  0  0  0  1  0  0  0 
 2 -1  2 -1 -1 -1  2 -1 -1 -1  2  2  2 -1 -1 -1 
 6 -1  1 -1 -1 -2  1 -1 -1 -2  1  1  2 -1 -2 -2 
 2  0  1 -1 -1 -1  0  0  0  0  1  1  1 -1 -1 -1 
 2 -1  1 -1  0 -1  1 -1  0 -1  1  0  1  0 -1  0 
 2 -1  1  0 -1 -1  1  0 -1 -1  0  1  1  0  0 -1 
 2  0  0  0  0  0  1 -1 -1 -1  1  1  1 -1 -1 -1 
 2  1 -1  1  1  2  1 -1 -1 -2  1  1  2 -1 -2 -2 
 0 -2  1  1  1 -1  2  2  2 -2 -1 -1  1 -1  1  1 
 0 -1  1  0  1 -1  1  0  1 -1  0 -1  1  0  0  1 
 0 -1  1  1  0 -1  1  1  0 -1 -1  0  1  0  1  0 
 2 -1  0  0  0 -1  0  0  0 -1  0  0  0  0  0  0 
 0 -1  0  1  1 -1  0  1  1 -1  0  0  0 -1  1  1 
 0 -2  2  2  2 -2  1  1  1 -1 -1 -1  1 -1  1  1 
 2 -2 -2  2  2 -2 -1  1  1 -1  1  1 -1 -1  1  1 
 2 -1 -1  1  1 -2 -1  1  1 -2  1  1 -2 -1  2  2 
 12 -1 -1 -1 -1 -2 -1 -1 -1 -2 -1 -1 -2 -1 -2 -2 
 0  0  0  0  0  0  1  0 -1  0  0  1  0  0  0  0 
 0 -1  1  1  0  1  1  1  0  1 -1  0 -1  0 -1  0 
 2  1 -2 -1  1 -1  2  1 -1  1 -2  2 -2  1 -1  1 
 0  2 -1 -1  1 -1  2  2 -2  2 -1  1 -1  1 -1  1 
 0  0  1  1 -1  1  0  0  0  0 -1  1 -1  1 -1  1 
 0 -1  2  1 -1  1  2  1 -1  1 -2  2 -2  1 -1  1 
 0  0  0  0  0  0  1  1 -1  1 -1  1 -1  1 -1  1 
 0  0  0  0  0  0  1  1  0  0 -1  0  0  0  0  0 
 0  1 -1  0  1  1  1  0 -1 -1  0  1  1  0  0 -1 
 2  1 -1 -2  1 -1  1  2 -1  1 -2  1 -1  2 -2  1 
 2 -2 -1  1 -1  1 -2  2 -2  2  1 -1  1  1 -1  1 
 0 -1 -1  2 -1  1 -1  2 -1  1  2 -1  1  2 -2  1 
 2 -1  1  2  1  1  1  2  1  1 -2 -1 -1 -2 -2 -1 
 2  1 -1  1  2  1  1 -1 -2 -1  1  2  1 -2 -1 -2 
 0  0  0  0  0  0  0  0  0  0 -1  1  0  1  0  0 
 0  1 -1 -1  1  0  1  1 -1  0 -1  1  0  1  0  0 
 0  0  0  0  0  0  0  1 -1  0  0  0  0  1  0  0 
 0  1  0 -1  1  1  0  1 -1 -1  0  0  0  1  1 -1 
 0  2 -1 -1  1  1  2  2 -2 -2 -1  1  1  1  1 -1 
 2  1  1 -1  2  1 -1  1 -2 -1  1 -2 -1  2  1 -2 
 0  1 -1 -1  2  1  1  1 -2 -1 -1  2  1  2  1 -2 
 0 -1  1  2 -1 -1  1  2 -1 -1 -2  1  1  2  2 -1 
 0 -1  1  1 -1  0  1  1 -1  0 -1  1  0  1  0  0 
 0 -1  1  2 -1  1  1  2 -1  1 -2  1 -1  2 -2  1 
 0  0  0  0  0  0  1  1 -1 -1 -1  1  1  1  1 -1 
 2 -2 -1  1  1 -1 -2  2  2 -2  1  1 -1 -1  1  1 
 0 -1 -1  2  1 -1 -1  2  1 -1  2  1 -1 -2  2  1 
 0  0  1  0 -1  0  0  0  0  0  0  1  0  0  0  0 
 0  0  0  0  0  0  0  0  0  0  0  1  1  0  0 -1 
 0 -2  1  1 -1  1  2  2 -2  2 -1  1 -1  1 -1  1 
 0 -1  1  0 -1  1  1  0 -1  1  0  1 -1  0  0  1 
 0  0  0  0  0  0  0  0  0  0 -1  0  1  0  1  0 
 0  1 -2 -1  1  1  2  1 -1 -1 -2  2  2  1  1 -1 
 0  1 -1 -1  0  1  1  1  0 -1 -1  0  1  0  1  0 
 2 -2  2 -2 -2  2  1 -1 -1  1  1  1 -1 -1  1  1 
 2 -1  1 -1 -2  1  1 -1 -2  1  1  2 -1 -2  1  2 
 2  1 -1 -2 -1  1  1  2  1 -1 -2 -1  1 -2  2  1 
 6 -1  1 -1 -2 -1  1 -1 -2 -1  1  2  1 -2 -1 -2 
 2 -1  1 -1 -1  0  1 -1 -1  0  1  1  0 -1  0  0 
 0  1 -1 -2  1  1  1  2 -1 -1 -2  1  1  2  2 -1 
 0 -1  1  2  1 -1  1  2  1 -1 -2 -1  1 -2  2  1 
 6 -1 -1  1 -2 -1 -1  1 -2 -1  1 -2 -1  2  1 -2 
 2 -1 -1  1 -1  0 -1  1 -1  0  1 -1  0  1  0  0 
 2 -1  0  0 -1  0  0  0 -1  0  0  0  0  0  0  0 
 0 -1  0  1 -1  1  0  1 -1  1  0  0  0  1 -1  1 
 0 -2  2  2 -2  2  1  1 -1  1 -1  1 -1  1 -1  1 
 2 -2 -2  2 -2  2 -1  1 -1  1  1 -1  1  1 -1  1 
 2 -1 -1  1 -2  1 -1  1 -2  1  1 -2  1  2 -1  2 
 12 -1 -1 -1 -2 -1 -1 -1 -2 -1 -1 -2 -1 -2 -1 -2 
 0  1 -1 -1  1  2  1  1 -1 -2 -1  1  2  1  2 -2 
 2  0  0  0  0  0  0  0 -1 -1  0  0  0  0  0 -1 
 0  0  0  0  0  0  0  1  0 -1  0  0  0  0  1  0 
 0 -1  0  1  0  0  0  1  0  0  0  0  0  0  0  0 
 0  0  0  1  0 -1  0  0  0  0  0  0  0  0  1  0 
 2 -1 -1  2 -1 -1 -1  2 -1 -1  2 -1 -1  2  2 -1 
 6 -1 -1  1 -1 -2 -1  1 -1 -2  1 -1 -2  1  2 -2 
 2  0 -1  1 -1 -1  0  0  0  0  1 -1 -1  1  1 -1 
 2 -1 -1  1  0 -1 -1  1  0 -1  1  0 -1  0  1  0 
 2 -1  0  1 -1 -1  0  1 -1 -1  0  0  0  1  1 -1 
 2  0  0  0  0  0 -1  1 -1 -1  1 -1 -1  1  1 -1 
 2  1  1 -1  1  2 -1  1 -1 -2  1 -1 -2  1  2 -2 
 0  0  0  1 -1  0  0  0  0  0  0  0  0  1  0  0 
 0  0  0  0  0  0  0  0  0  0  0  0  0  1  1 -1 
 0  1  0  1  0  0  0 -1  0  0  0  0  0  0  0  0 
 0  0  0  0  0  0  1 -1  0  0  1  0  0  0  0  0 
 0 -1  1  0  1  1  1  0  1  1  0 -1 -1  0  0 -1 
 2  1 -2  1 -1 -1  2 -1  1  1  2 -2 -2  1  1 -1 
 0  2 -1  1 -1 -1  2 -2  2  2  1 -1 -1  1  1 -1 
 0  0  1 -1  1  1  0  0  0  0  1 -1 -1  1  1 -1 
 0 -1  2 -1  1  1  2 -1  1  1  2 -2 -2  1  1 -1 
 0  0  0  0  0  0  1 -1  1  1  1 -1 -1  1  1 -1 
 0  0  0  0  0  0  1  0  1  0  0 -1  0  0  0  0 
 0  1 -1  1  0  1  1 -1  0 -1  1  0  1  0 -1  0 
 2  1 -1  1 -2 -1  1 -1  2  1  1 -2 -1  2  1 -2 
 2 -2 -1 -1  1  1 -2 -2  2  2 -1  1  1  1  1 -1 
 0 -1 -1 -1  2  1 -1 -1  2  1 -1  2  1  2  1 -2 
 2 -2  2  2 -2 -2  1  1 -1 -1 -1  1  1  1  1 -1 
 2  1 -1  2  1  1  1 -2 -1 -1  2  1  1 -2 -2 -1 
 2  1  2 -1  1  1 -2  1 -1 -1  2 -2 -2  1  1 -1 
 2 -1  1  1  2  1  1  1  2  1 -1 -2 -1 -2 -1 -2 
 2  2 -2 -2  2 -2  1  1 -1  1 -1  1 -1  1 -1  1 
 2 -1  1  1 -1 -2  1  1 -1 -2 -1  1  2  1  2 -2 
 2  1 -1 -1  1 -2  1  1 -1  2 -1  1 -2  1 -2  2 
 0  0  0  0  0  0  0 -1  1  0  0  0  0  1  0  0 
 0  1  0  1 -1  1  0 -1  1 -1  0  0  0  1 -1  1 
 0  2 -1  1 -1  1  2 -2  2 -2  1 -1  1  1 -1  1 
 2  1  1  2 -1  1 -1 -2  1 -1 -2  1 -1  2 -2  1 
 0  1 -1  2 -1  1  1 -2  1 -1  2 -1  1  2 -2  1 
 0 -1  1 -1  2 -1  1 -1  2 -1  1 -2  1  2 -1  2 
 0 -1  1 -1  1  0  1 -1  1  0  1 -1  0  1  0  0 
 0 -1  1 -1  2  1  1 -1  2  1  1 -2 -1  2  1 -2 
 0  0  0  0  0  0  1 -1  1 -1  1 -1  1  1 -1  1 
 0  0  0  0  0  0  0  0  0  0  1 -1  0  1  0  0 
 0  1 -1  1 -1  0  1 -1  1  0  1 -1  0  1  0  0 
 0  0  0  0  0  0  1  0  0  1  0  0 -1  0  0  0 
 0  1 -1  1  1  0  1 -1 -1  0  1  1  0 -1  0  0 
 0  1 -1  0  0  0  1  0  0  0  0  0  0  0  0  0 
 0  2 -2  2  2  2  1 -1 -1 -1  1  1  1 -1 -1 -1 
 0  1 -2  1  1  1  2 -1 -1 -1  2  2  2 -1 -1 -1 
 2  2 -1  1  1  1  2 -2 -2 -2  1  1  1 -1 -1 -1 
 0  1  0  0  0 -1  0  0  0  1  0  0  0  0  0  0 
 0  1  1  1  1 -2 -1 -1 -1  2 -1 -1  2 -1  2  2 
 0  2  2  2  2 -2 -1 -1 -1  1 -1 -1  1 -1  1  1 
 2  2  1  1  1 -1 -2 -2 -2  2 -1 -1  1 -1  1  1 
 2  2  2 -2 -2 -2 -1  1  1  1  1  1  1 -1 -1 -1 
 2  2 -1 -1 -1 -1  2  2  2  2 -1 -1 -1 -1 -1 -1 
 6  1 -1 -1 -1 -2  1  1  1  2 -1 -1 -2 -1 -2 -2 
 2  1  0 -1 -1 -1  0  1  1  1  0  0  0 -1 -1 -1 
 2  1  1 -1 -1 -2 -1  1  1  2  1  1  2 -1 -2 -2 
 2  1 -1 -1  0 -1  1  1  0  1 -1  0 -1  0 -1  0 
 6  1 -1 -1 -2 -1  1  1  2  1 -1 -2 -1 -2 -1 -2 
 2  1 -1  0 -1 -1  1  0  1  1  0 -1 -1  0  0 -1 
 2  2 -2  2 -2 -2  1 -1  1  1  1 -1 -1  1  1 -1 
 2  1 -1  1 -1 -2  1 -1  1  2  1 -1 -2  1  2 -2 
 2 -1 -2  1  1 -1 -2  1  1 -1  2  2 -2 -1  1  1 
 2 -1  1  1 -2 -1  1  1 -2 -1 -1  2  1  2  1 -2 
 2 -1  1  1  1  2  1  1  1  2 -1 -1 -2 -1 -2 -2 
 2  2 -2 -2 -2  2  1  1  1 -1 -1 -1  1 -1  1  1 
 2 -1  1 -2  1 -1  1 -2  1 -1  2 -1  1  2 -2  1 
 2  1 -1 -1 -1  0  1  1  1  0 -1 -1  0 -1  0  0 
 2  0  0  0  0  0  1  1  1  1 -1 -1 -1 -1 -1 -1 
 0  1 -2  1  1 -1  2 -1 -1  1  2  2 -2 -1  1  1 
 0  1 -1  0  1 -1  1  0 -1  1  0  1 -1  0  0  1 
 0  1 -1  1  0 -1  1 -1  0  1  1  0 -1  0  1  0 
 2  0 -1  0  0 -1  0  0  0  0  0  0 -1  0  0  0 
 0  0 -1  1  1 -1  0  0  0  0  1  1 -1 -1  1  1 
 0  2 -2  2  2 -2  1 -1 -1  1  1  1 -1 -1  1  1 
 0  0  0  0  0  0  0  0  1  1  0  0  0  0  0 -1 
 0  1  1  1 -1  0 -1 -1  1  0 -1  1  0  1  0  0 
 0  1  0  0 -1  0  0  0  1  0  0  0  0  0  0  0 
 2  2  1  1 -1  1 -2 -2  2 -2 -1  1 -1  1 -1  1 
 0  2  2  2 -2  2 -1 -1  1 -1 -1  1 -1  1 -1  1 
 0  1  1  1 -2  1 -1 -1  2 -1 -1  2 -1  2 -1  2 
 0  1  1  1 -2 -1 -1 -1  2  1 -1  2  1  2  1 -2 
 0  1  0  1 -1 -1  0 -1  1  1  0  0  0  1  1 -1 
 0  1  1  0 -1 -1 -1  0  1  1  0  1  1  0  0 -1 
 2  0  0  0 -1 -1  0  0  0  0  0  0  0  0  0 -1 
 0  0  1  1 -1 -1  0  0  0  0 -1  1  1  1  1 -1 
 0  2  2  2 -2 -2 -1 -1  1  1 -1  1  1  1  1 -1 
 2  1  1 -1 -2 -1 -1  1  2  1  1  2  1 -2 -1 -2 
 0  0  0  0  0  0  0 -1  0  1  0  0  0  0  1  0 
 2  1  1  2  1 -1 -1 -2 -1  1 -2 -1  1 -2  2  1 
 0  1  0  1  1 -1  0 -1 -1  1  0  0  0 -1  1  1 
 0  2 -1  1  1 -1  2 -2 -2  2  1  1 -1 -1  1  1 
 0  1 -1  2  1 -1  1 -2 -1  1  2  1 -1 -2  2  1 
 0 -1  1 -1 -1  2  1 -1 -1  2  1  1 -2 -1  2  2 
 0 -2  1 -1  1  1  2 -2  2  2  1 -1 -1  1  1 -1 
 0 -1  1 -1  0  1  1 -1  0  1  1  0 -1  0  1  0 
 0 -1  1 -2  1  1  1 -2  1  1  2 -1 -1  2  2 -1 
 0 -1  1 -1  1  2  1 -1  1  2  1 -1 -2  1  2 -2 
 0  0  0  0  0  0  1 -1 -1  1  1  1 -1 -1  1  1 
 0  1 -2  1 -1  1  2 -1  1 -1  2 -2  2  1 -1  1 
 0  1 -1  0 -1  1  1  0  1 -1  0 -1  1  0  0  1 
 0  0  0  0  0  0 -1 -1  1  1 -1  1  1  1  1 -1 
 0  1  1  2 -1 -1 -1 -2  1  1 -2  1  1  2  2 -1 
 2 -1 -2  1 -1  1 -2  1 -1  1  2 -2  2  1 -1  1 
 0 -1 -1 -1  1  2 -1 -1  1  2 -1  1  2  1  2 -2 
 2  1 -1 -1 -2  1  1  1  2 -1 -1 -2  1 -2  1  2 
 2 -1  1 -2 -1  1  1 -2 -1  1  2  1 -1 -2  2  1 
 2  0 -1  0 -1  0  0  0  0  0  0 -1  0  0  0  0 
 0  0 -1  1 -1  1  0  0  0  0  1 -1  1  1 -1  1 
 0  2 -2  2 -2  2  1 -1  1 -1  1 -1  1  1 -1  1 
 2  0  0  0  0  0  0  0  0  0  0 -1 -1  0  0 -1 
 0  0  0  0  0  0  0  0  0  0  1  0 -1  0  1  0 
 0  0 -1  1  0  0  0  0  0  0  1  0  0  0  0  0 
 0  1  1  0  0  0 -1  0  0  0  0  0  0  0  0  0 
 0  0  0  0  0  0 -1  1  0  0  1  0  0  0  0  0 
 0 -1  0  1  1  1  0  1  1  1  0  0  0 -1 -1 -1 
 2  1  1 -2 -1 -1 -1  2  1  1  2  1  1 -2 -2 -1 
 0  2  1 -1 -1 -1 -2  2  2  2  1  1  1 -1 -1 -1 
 0  0 -1  1  1  1  0  0  0  0  1  1  1 -1 -1 -1 
 0 -1 -1  2  1  1 -1  2  1  1  2  1  1 -2 -2 -1 
 0  0  0  0  0  0 -1  1  1  1  1  1  1 -1 -1 -1 
 0  0  0  0  0  0  0  1  1  0  0  0  0 -1  0  0 
 0  1  1 -1  0  1 -1  1  0 -1  1  0 -1  0  1  0 
 0  0  0  0  0  0  0  0  0  0  1  1  0 -1  0  0 
 0  1  1 -1 -1  0 -1  1  1  0  1  1  0 -1  0  0 
 0  0  0  0  0  0  0  1  0  1  0  0  0  0 -1  0 
 0  1  1 -1  1  0 -1  1 -1  0  1 -1  0  1  0  0 
 0  1  0 -1  0  0  0  1  0  0  0  0  0  0  0  0 
 2  2  1 -1  1  1 -2  2 -2 -2  1 -1 -1  1  1 -1 
 0  2  2 -2  2  2 -1  1 -1 -1  1 -1 -1  1  1 -1 
 0  1  1 -2  1  1 -1  2 -1 -1  2 -1 -1  2  2 -1 
 0  1  1 -2  1 -1 -1  2 -1  1  2 -1  1  2 -2  1 
 0  1  0 -1  1 -1  0  1 -1  1  0  0  0  1 -1  1 
 0  1  1 -1  0 -1 -1  1  0  1  1  0  1  0 -1  0 
 2  0  0 -1  0 -1  0  0  0  0  0  0  0  0 -1  0 
 0  0  1 -1  1 -1  0  0  0  0  1 -1  1  1 -1  1 
 0  2  2 -2  2 -2 -1  1 -1  1  1 -1  1  1 -1  1 
 2  0  0  0  0  0  0  0  0  0  0  0  0 -1 -1 -1 
 0  0  1 -1  0  0  0  0  0  0  1  0  0  0  0  0 
 0  0  0  0  0  0  0  0  0  0  1  0  1  0 -1  0 
 2  1  1  1  1  0 -1 -1 -1  0 -1 -1  0 -1  0  0 
 2  0  0  0  0  0  0 -1 -1  0  0  0  0 -1  0  0 
 0  0  0  0  0  0  0  0 -1  1  0  0  0  0  0  1 
 0 -1  0  0  0  1  0  0  0  1  0  0  0  0  0  0 
 0  0  0  0 -1  1  0  0  0  0  0  0  0  0  0  1 
 2 -1 -1 -1 -1  2 -1 -1 -1  2 -1 -1  2 -1  2  2 
 6 -1 -1 -1 -2  1 -1 -1 -2  1 -1 -2  1 -2  1  2 
 2  0 -1 -1 -1  1  0  0  0  0 -1 -1  1 -1  1  1 
 2 -1 -1  0 -1  1 -1  0 -1  1  0 -1  1  0  0  1 
 2 -1  0 -1 -1  1  0 -1 -1  1  0  0  0 -1  1  1 
 2  0  0  0  0  0 -1 -1 -1  1 -1 -1  1 -1  1  1 
 2  1  1  1  2 -1 -1 -1 -2  1 -1 -2  1 -2  1  2 
 0  0  0  0  0  0  0  0  0  0  0  0  0 -1  1  1 
 0  0  0 -1  0  1  0  0  0  0  0  0  0  0  1  0 
 2  0  0  0  0  0  0  0  0  0 -1 -1  0 -1  0  0 
 0  0  0  0  0  0  0  0  0  0  0 -1  1  0  0  1 
 0  0 -1  0  0  1  0  0  0  0  0  0  1  0  0  0 
 0  0  0  0  0  0 -1  0  0  1  0  0  1  0  0  0 
 2  1  2  1  1 -1 -2 -1 -1  1 -2 -2  2 -1  1  1 
 0  1  1  0  1 -1 -1  0 -1  1  0 -1  1  0  0  1 
 0  2  1 -1  1 -1 -2  2 -2  2  1 -1  1  1 -1  1 
 0  1  2 -1  1 -1 -2  1 -1  1  2 -2  2  1 -1  1 
 0  1  1  1  0 -1 -1 -1  0  1 -1  0  1  0  1  0 
 0  2  1  1 -1 -1 -2 -2  2  2 -1  1  1  1  1 -1 
 0  1  1  1 -1 -2 -1 -1  1  2 -1  1  2  1  2 -2 
 0  1  2  1 -1 -1 -2 -1  1  1 -2  2  2  1  1 -1 
 0  1  1 -1  1 -2 -1  1 -1  2  1 -1  2  1 -2  2 
 0 -2 -1  1  1  1 -2  2  2  2  1  1  1 -1 -1 -1 
 0 -1 -1  1  0  1 -1  1  0  1  1  0  1  0 -1  0 
 0 -1 -2  1  1  1 -2  1  1  1  2  2  2 -1 -1 -1 
 0 -1 -1  1  1  2 -1  1  1  2  1  1  2 -1 -2 -2 
 0 -1 -1  1 -1  2 -1  1 -1  2  1 -1  2  1 -2  2 
 0  1  1 -2 -1  1 -1  2  1 -1  2  1 -1 -2  2  1 
 0  1  0 -1 -1  1  0  1  1 -1  0  0  0 -1  1  1 
 2  0  0 -1 -1  0  0  0  0  0  0  0  0 -1  0  0 
 0  0  1 -1 -1  1  0  0  0  0  1  1 -1 -1  1  1 
 0  2  2 -2 -2  2 -1  1  1 -1  1  1 -1 -1  1  1 
 0  0  0  0  0  0 -1  1 -1  1  1 -1  1  1 -1  1 
 0  1  1 -1  2 -1 -1  1 -2  1  1 -2  1  2 -1  2 
 6  1 -1 -2 -1 -1  1  2  1  1 -2 -1 -1 -2 -2 -1 
 2  0  0  0  0  0 -1  0 -1  0  0 -1  0  0  0  0 
 6  1  1  1  2  1 -1 -1 -2 -1 -1 -2 -1 -2 -1 -2 
 2  1  1  1  0  1 -1 -1  0 -1 -1  0 -1  0 -1  0 
 2  0  0  0  0  0  0 -1  0 -1  0  0  0  0 -1  0 
 0  0  0  0  0  0  0  0  1 -1  0  0  0  0  0  1 
 0 -1  0  0  1  0  0  0  1  0  0  0  0  0  0  0 
 0  0  0  0  1 -1  0  0  0  0  0  0  0  0  0  1 
 2 -1 -1 -1  2 -1 -1 -1  2 -1 -1  2 -1  2 -1  2 
 6 -1 -1 -1  1 -2 -1 -1  1 -2 -1  1 -2  1 -2  2 
 2  0 -1 -1  1 -1  0  0  0  0 -1  1 -1  1 -1  1 
 2 -1 -1  0  1 -1 -1  0  1 -1  0  1 -1  0  0  1 
 2 -1  0 -1  1 -1  0 -1  1 -1  0  0  0  1 -1  1 
 2  0  0  0  0  0 -1 -1  1 -1 -1  1 -1  1 -1  1 
 2  1  1  1 -1  2 -1 -1  1 -2 -1  1 -2  1 -2  2 
 0  0  0  0  0  0  0  0  0  0  0  0  0  1 -1  1 
 0  0  0 -1  1  0  0  0  0  0  0  0  0  1  0  0 
 2  0  0  0  0  0  0  0  0  0 -1  0 -1  0 -1  0 
 0  0  0  0  0  0  0  0  0  0  0  1 -1  0  0  1 
 0  0 -1  0  1  0  0  0  0  0  0  1  0  0  0  0 
 0  0  0  0  0  0 -1  0  1  0  0  1  0  0  0  0 
 0  1  1  0 -1  1 -1  0  1 -1  0  1 -1  0  0  1 
 0  2  1 -1 -1  1 -2  2  2 -2  1  1 -1 -1  1  1 
 2  1  2  1 -1  1 -2 -1  1 -1 -2  2 -2  1 -1  1 
 0  1  2 -1 -1  1 -2  1  1 -1  2  2 -2 -1  1  1 
 0 -1 -1  1  1  0 -1  1  1  0  1  1  0 -1  0  0 
 0 -1 -1  1  2  1 -1  1  2  1  1  2  1 -2 -1 -2 
 0 -1 -1  1  2 -1 -1  1  2 -1  1  2 -1 -2  1  2 
 0  0  0  0  0  0 -1  1  1 -1  1  1 -1 -1  1  1 
 2  0  0  0  0  0 -1 -1  0  0 -1  0  0  0  0  0 
 6  1  1  2  1  1 -1 -2 -1 -1 -2 -1 -1 -2 -2 -1 
 0  1 -1  1  1 -2  1 -1 -1  2  1  1 -2 -1  2  2 
 0 -1  1  1 -2  1  1  1 -2  1 -1  2 -1  2 -1  2 
 6 -1 -1 -2 -1  1 -1 -2 -1  1 -2 -1  1 -2  2  1 
 2 -1 -1 -1  0  1 -1 -1  0  1 -1  0  1  0  1  0 
 0 -1  1  1 -1  2  1  1 -1  2 -1  1 -2  1 -2  2 
 0  1 -1  1  2 -1  1 -1 -2  1  1  2 -1 -2  1  2 
 0  1 -1  1 -2  1  1 -1  2 -1  1 -2  1  2 -1  2 
 0 -1  1  1  1 -2  1  1  1 -2 -1 -1  2 -1  2  2 
 0 -1  1  1  2 -1  1  1  2 -1 -1 -2  1 -2  1  2 
 6 -1 -1 -2  1 -1 -1 -2  1 -1 -2  1 -1  2 -2  1 
 2 -1 -1 -1  1  0 -1 -1  1  0 -1  1  0  1  0  0 
 2 -2 -2 -2  2  2 -1 -1  1  1 -1  1  1  1  1 -1 
 0 -2  2 -2  2  2  1 -1  1  1  1 -1 -1  1  1 -1 
 0 -1  0 -1  1  1  0 -1  1  1  0  0  0  1  1 -1 
 2 -1 -1 -2  1  1 -1 -2  1  1 -2  1  1  2  2 -1 
 2 -1  0 -1  0  0  0 -1  0  0  0  0  0  0  0  0 
 12 -2 -2 -2 -2 -2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 
 12 -1 -1 -2 -1 -1 -1 -2 -1 -1 -2 -1 -1 -2 -2 -1 
 6 -1  1 -2 -1 -1  1 -2 -1 -1  2  1  1 -2 -2 -1 
 6 -1  0 -1 -1 -1  0 -1 -1 -1  0  0  0 -1 -1 -1 
 6 -2  1 -1 -1 -1  2 -2 -2 -2  1  1  1 -1 -1 -1 
 0  1 -1  1 -1  2  1 -1  1 -2  1 -1  2  1 -2  2 
 0  2 -2 -2  2  2  1  1 -1 -1 -1  1  1  1  1 -1 
 0  0 -1 -1  1  1  0  0  0  0 -1  1  1  1  1 -1 
 2  0 -1 -1  0  0  0  0  0  0 -1  0  0  0  0  0 
 0  1  1 -1 -2  1 -1  1  2 -1  1  2 -1 -2  1  2 
 0 -2 -2  2  2  2 -1  1  1  1  1  1  1 -1 -1 -1 
 0 -1 -1  0  1  1 -1  0  1  1  0  1  1  0  0 -1 
 2 -1 -2 -1  1  1 -2 -1  1  1 -2  2  2  1  1 -1 
 0  1  1 -1 -1  2 -1  1  1 -2  1  1 -2 -1  2  2 
 6  1  2  1  1  1 -2 -1 -1 -1 -2 -2 -2 -1 -1 -1 
 6  2 -2 -2 -2 -2  1  1  1  1 -1 -1 -1 -1 -1 -1 
 6  2  1  1  1  1 -2 -2 -2 -2 -1 -1 -1 -1 -1 -1 
 6 -2  2 -2 -2 -2  1 -1 -1 -1  1  1  1 -1 -1 -1 
 6 -2 -2  2 -2 -2 -1  1 -1 -1  1 -1 -1  1  1 -1 
 2 -1 -1  0  0  0 -1  0  0  0  0  0  0  0  0  0 
 12 -1 -2 -1 -1 -1 -2 -1 -1 -1 -2 -2 -2 -1 -1 -1 
 6 -1 -2  1 -1 -1 -2  1 -1 -1  2 -2 -2  1  1 -1 
 6 -1 -1  0 -1 -1 -1  0 -1 -1  0 -1 -1  0  0 -1 
 6 -2 -1  1 -1 -1 -2  2 -2 -2  1 -1 -1  1  1 -1 
 6 -1 -2 -1  1 -1 -2 -1  1 -1 -2  2 -2  1 -1  1 
 6 -2 -2 -2  2 -2 -1 -1  1 -1 -1  1 -1  1 -1  1 
 6 -1 -1 -1  0 -1 -1 -1  0 -1 -1  0 -1  0 -1  0 
 6 -2 -1 -1  1 -1 -2 -2  2 -2 -1  1 -1  1 -1  1 
 12 -2 -1 -1 -1 -1 -2 -2 -2 -2 -1 -1 -1 -1 -1 -1 
 6 -1 -2 -1 -1  1 -2 -1 -1  1 -2 -2  2 -1  1  1 
 6 -2 -2 -2 -2  2 -1 -1 -1  1 -1 -1  1 -1  1  1 
 6 -1 -1 -1 -1  0 -1 -1 -1  0 -1 -1  0 -1  0  0 
 6 -2 -1 -1 -1  1 -2 -2 -2  2 -1 -1  1 -1  1  1 
 6  0 -1 -1 -1 -1  0  0  0  0 -1 -1 -1 -1 -1 -1 
 6  1 -2 -1 -1 -1  2  1  1  1 -2 -2 -2 -1 -1 -1 
 6  0  0  0  0  0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 
 2  0  0  0  0  0 -1  0  0 -1  0  0 -1  0  0  0 
 6  1  1  1  1  2 -1 -1 -1 -2 -1 -1 -2 -1 -2 -2 
end