tests/iscc/count/garbervetsky

   1 # This example was contributed by
   2 # Diego Garbervetsky <diego.garbervetsky@gmail.com>
   3 P :=
   4 9 7
   5    1    1    0    0   -1    0    0
   6    1    1    0    0    0   -1    0
   7    1   -1   -1    0    0    1   10
   8    1   -1    0    0    0    0    7
   9    1    0    1    0    0    0    0
  10    1    0    0    1    0    0   -9
  11    1    0    0   -1    0    0   10
  12    1    0    0    0    1    0    0
  13    1    0    0    0    0    1   -1
  14
  15 ;
  16 assert((card P) = { 2940 });