Download this file

13 lines (12 with data), 133 Bytes

*game: player 2
H-representation
linearity 1 6
begin
6 4 rational
0 0 -6  1 
0 -2 -5  1 
0 -3 -3  1 
0 1 0 0 
0 0 1 0 
-1 1 1 0 
end