tests/iscc/count/kristof5

   1 P :=
   2
   3 13 9
   4    0    1    0   -1   -1    0    0    0    0
   5    0    0    1    0    0   -1   -1    0    0
   6    0    0    0    0    0    0    0    1   -1
   7    1    0    0    0    0    1    0    0   -3
   8    1    0    0   -1    0    0    0    0  252
   9    1    0    0    0   -1    0    0    0   -1
  10    1    0    0    1    0    0    0    0   -3
  11    1    0    0    0    1    0    1    0    4
  12    1    0    0    0    0   -1    0    0  252
  13    1    0    0    0    1    0   -1    0    4
  14    1    0    0    0    0   -1   -1    0  253
  15    1    0    0    0    0    1    1    0   -2
  16    1    0    0    0    1    0    0    0    3
  17
  18 ;
  19
  20 assert((card P) = { 935500 });