P :=
14 8
   1   -7   -2  -42    0    0    0    2
   1    3   -2    0    0    7    0    1
   1   -3   14    0    0  -27   15  -12
   1    0    0    0    0    0    1  -66
   1    1    0    0    0    0    2    1
   1   -3    4    0   -9    0    0    8
   1    3   -4    0    9    0    0    0
   1    2    0   13    0    0    0   -7
   1    0    0    1    0    0    0  -21
   1   -3    2    0    0   -7    0    5
   1    9    2   56    0    0    0  -25
   1  -11    0  -70    0    0    0   46
   1   -1    0    0    0    0   -2    0
   1    0    0    0    0    1    0  -64
;
assert((card P) = { infty });
