P :=
10 8
0   0    0    0    1    0    0   -3
0   0    0    0    0    1    0   -1
0   0    0    0    0    0    1   -6
1   1    0    0    0    0    0    0
1  -1    0    0    0    0    0    1
1   0    1    0    0    0    0    0
1   2   -2    0    0    0    0    1
1   0    0    1    0    0    0    0
1   1    0   -4    0    0    0    3
1   1    0   -4    0    0    0   97
;
assert((card P) = { 5 });
