P :=
7 7
   1    1    7   -3    0   -3  -25
   1    6    0   -2    9    3   25
   1    3    0   -6    7   -6  -25
   1   -1    0    6    0    3   27
   1   -4  -21  -21    0  -21 -122
   1   -1   -6    0    0    0   -3
   1   -4    0    3   -9    3    2
;
assert((card P) = { infty });
