DEBSOURCES
Skip Quicknav
sources / lrslib / 0.73-4 / games / g2
1234567891011
*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