P :=
3 4
   0   0   2 -509
   1   2   0  -3
   1  -2   0 507

;
assert((card P) = { });
