# This example was contributed by
# Diego Garbervetsky <diego.garbervetsky@gmail.com>
P :=
9 7
   1    1    0    0   -1    0    0
   1    1    0    0    0   -1    0
   1   -1   -1    0    0    1   10
   1   -1    0    0    0    0    7
   1    0    1    0    0    0    0
   1    0    0    1    0    0   -9
   1    0    0   -1    0    0   10
   1    0    0    0    1    0    0
   1    0    0    0    0    1   -1

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