tests/iscc/count/lll7

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