P :=
5 6
   1  -19   11    6    3   21
   1   17   -1   -6   -3   21
   1    1   -2    0    0  -15
   1    1    1    0   -3    2
   1   -1   -1    0    3    0
;
assert((card P) = { infty });
