tests/iscc/count/product5

   1 P :=
   2 6 6
   3    0    1    1    0    0   -1
   4    0    0    0    2    1   -1
   5    1    0    1    0    0    0
   6    1    0   -1    0    0    1
   7    1    0    0    0    1    0
   8    1    0    0    0   -1    1
   9 ;
  10 assert((card P) = { 2 });