tests/iscc/count/product2

   1 P :=
   2 6 6
   3 1    39    21    65    16    0
   4 1   -11    -6   -18    -4    0
   5 1   -28   -15   -47   -12   10
   6 1     0     0     1     0    0
   7 1     2     1     3     1    0
   8 1    -2    -1    -4    -1   10
   9 ;
  10 assert((card P) = { 4356 });