tests/iscc/count/product

   1 P :=
   2 23 14
   3 1   0  0  0 -1  0  0  0  0  0  0  0  0  8
   4 1   0  1  0  0  0  0  0  0  0  0  0  0  0
   5 1   0  0  0  0 -1  0  0  0  0  0  0  0  3
   6 1   0  0  0  0  0 -1  0  0  0  0  0  0  3
   7 1   0  0  1  0  0  0  0  0  0  0  0  0  0
   8 1   0  0 -1  0  0  0  0  0  0  0  0  0  8
   9 1   0 -1  0  0  0  0  0  0  0  0  0  0  8
  10 1   0  0  0  0  0  1  0  0  0  0  0  0  0
  11 1   0  0  0  1  0  0  0  0  0  0  0  0  0
  12 1   0  0  0  0  1  0  0  0  0  0  0  0  0
  13 1   1  0  0  0  0  0  0  0  0  0  0  0  0
  14 1   0  0  0  0  0  0  0  0  0 -1  0  0  8
  15 1   0  0  0  0  0  0 -1  0  0  0  0  0 10
  16 1   0  0  0  0  0  0  0  1  0  0  0  0  0
  17 1   0  0  0  0  0  0  0  0  0  0 -1  0  3
  18 1   0  0  0  0  0  0  0  0  0  0  0 -1  3
  19 1   0  0  0  0  0  0  0  0  1  0  0  0  0
  20 1   0  0  0  0  0  0  0  0 -1  0  0  0  8
  21 1   0  0  0  0  0  0  0 -1  0  0  0  0  8
  22 1   0  0  0  0  0  0  0  0  0  0  0  1  0
  23 1   0  0  0  0  0  0  0  0  0  1  0  0  0
  24 1   0  0  0  0  0  0  0  0  0  0  1  0  0
  25 1 -1   0  0  0  0  0  1  0  0  0  0  0 -1
  26 ;
  27 assert((card P) = { 7482689280 });