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