P :=
5 5
1   1   0   0  -1
1  -2  -1   0   3
1  -2   0   1   2
1   0   1   0   0
1   2   1  -2  -1

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