DEBSOURCES
Skip Quicknav
sources / lrslib / 0.73-4 / games / h1
1234567891011
*h: player 1 H-representation linearity 1 5 begin 5 4 rational 0 1 0 0 0 0 1 0 0 0 9551616 1 0 9551616 0 1 -1 1 1 0 end