P :=
3 4
   0   4   9  -5
   1   1   0 -300
   1  -1   0  760
;
assert((card P) = { 51 });
