tests/iscc/count/product3

   1 P :=
   2 6 6
   3 1    32    15    45    10    0
   4 1    19     9    27     6    0
   5 1   -51   -24   -72   -16   10
   6 1    12     6    19     4    0
   7 1    38    19    57    13    0
   8 1   -50   -25   -76   -17   10
   9 ;
  10 assert((card P) = { 4356 });