P :=
25 14
 1 0 0 0 -1 0 0 0 0 0 0 0 0 8
 1 -1 0 0 0 0 0 0 0 0 0 0 0 10
 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 0 0 0 0 0 0 1 0 0 0 0 0 0
 1 -1 0 0 0 0 0 1 0 0 0 0 0 -1
;
assert((card P) = { 7482689280 });
