P :=
23 14
1   0  0  0 -1  0  0  0  0  0  0  0  0  8
1   0  1  0  0  0  0  0  0  0  0  0  0  0
1   0  0  0  0 -1  0  0  0  0  0  0  0  3
1   0  0  0  0  0 -1  0  0  0  0  0  0  3
1   0  0  1  0  0  0  0  0  0  0  0  0  0
1   0  0 -1  0  0  0  0  0  0  0  0  0  8
1   0 -1  0  0  0  0  0  0  0  0  0  0  8
1   0  0  0  0  0  1  0  0  0  0  0  0  0
1   0  0  0  1  0  0  0  0  0  0  0  0  0
1   0  0  0  0  1  0  0  0  0  0  0  0  0
1   1  0  0  0  0  0  0  0  0  0  0  0  0
1   0  0  0  0  0  0  0  0  0 -1  0  0  8
1   0  0  0  0  0  0 -1  0  0  0  0  0 10
1   0  0  0  0  0  0  0  1  0  0  0  0  0
1   0  0  0  0  0  0  0  0  0  0 -1  0  3
1   0  0  0  0  0  0  0  0  0  0  0 -1  3
1   0  0  0  0  0  0  0  0  1  0  0  0  0
1   0  0  0  0  0  0  0  0 -1  0  0  0  8
1   0  0  0  0  0  0  0 -1  0  0  0  0  8
1   0  0  0  0  0  0  0  0  0  0  0  1  0
1   0  0  0  0  0  0  0  0  0  1  0  0  0
1   0  0  0  0  0  0  0  0  0  0  1  0  0
1 -1   0  0  0  0  0  1  0  0  0  0  0 -1
;
assert((card P) = { 7482689280 });
