*g: player 2
H-representation
linearity 1 5
begin
5 4 rational
 0   0 -18446744073709551616 1 
 0  -18446744073709551616  0 1 
 0 1 0 0 
 0 0 1 0 
-1 1 1 0 
end
