# This example was contributed by
# Andreas Paffenholz <paffenholz@mi.fu-berlin.de>
P :=
11 8
0   1    0    0    0    1    1    1
1   0    1    0    1    1    0    1
1   0    0    1    1    0    1    1
1   0    0    0    1    1    0    1
1   0    0    0    0    0   -1    1
1   0    0    0   -1    0    0    1
1   0    0   -1    0    0    0    1
1   0    0    0    0   -1    0    1
1   0    0    0    0    0    1    1
1   0   -1    0    0    0    0    1
1   0    0    0    0    1    1    2

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