tests/iscc/count/example2

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