*h: player 2
H-representation
linearity 1 5
begin
5 4 rational
 0   0 -9551616 1 
 0  -9551616  0 1 
 0 1 0 0 
 0 0 1 0 
-1 1 1 0 
end
