P :=
7 5
   1    1    0    0    2
   1    1    5   -6    4
   1    0    0   -1   22
   1   13   60  -75  111
   1   -6  -20   25  -38
   1   -1    0    0   -1
   1    0    0    1  -20
;
assert((card P) = { });
