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

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