P :=

13 9
   0    1    0   -1   -1    0    0    0    0
   0    0    1    0    0   -1   -1    0    0
   0    0    0    0    0    0    0    1   -1
   1    0    0    0    0    1    0    0   -3
   1    0    0   -1    0    0    0    0  252
   1    0    0    0   -1    0    0    0   -1
   1    0    0    1    0    0    0    0   -3
   1    0    0    0    1    0    1    0    4
   1    0    0    0    0   -1    0    0  252
   1    0    0    0    1    0   -1    0    4
   1    0    0    0    0   -1   -1    0  253
   1    0    0    0    0    1    1    0   -2
   1    0    0    0    1    0    0    0    3

;

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