P :=
5 5
0   0    1    2   -1
1  -1    0    0    1
1   1    0    0    0
1   0    0   -2    1
1   0    0    1    0
;
assert((card P) = { 2 });
