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

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