P :=
8 8
   0   1   0   0  -1   0   0   0
   0   0   1   0   0   0   0  -6
   0   0   0   1   0   0  -1   0
   0   0   0   0   0   1   0  -5
   1   0   0   0  -1   0   0   5
   1   0   0   0   1   0   0   0
   1   0   0   0   0   0  -1   5
   1   0   0   0   0   0   1   0

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