P :=
3 4
   0   4   9  -5
   1   1   0 -30
   1  -1   0  76
;
assert((card P) = { 5 });
