P :=
17 11
   0    5    0    5    0   -3   -4    0   -4    0   -7
   0    0    5    0    0   -3    1    0    1    0    8
   0    0    0    0    5   -2   -1    0   -1    0   -3
   1    0    0  -10    0    3   -1    0   -1    0  -28
   1    0    0    7    0  -12    7    0    7    0    2
   1    0    0    5    0    3   -1  -15   -1    0    2
   1    0    0    5    0   -3   -4   -5   11    0   -2
   1    0    0   -5    0  -12   19    0  -11    0   -3
   1    0    0   -5    0   -3    1   15    1    0    8
   1    0    0   -2    0   -2    1    0    1    0    1
   1    0    0    1    0    6   -3    0   -3    0   -6
   1    0    0   -1    0   12   -7    0   -7    0    9
   1    0    0   -1    0    0    0    0    0    0   -1
   1    0    0    0    0   13   -1    5  -16    0   -3
   1    0    0    0    0    3   -6    5    4    0    7
   1    0    0    0    0    2    1    0    1   -5    1
   1    0    0    0    0   -2   -1    0   -1    5    0
;
assert((card P) = { });
