tests/iscc/count/equality6

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