tests/iscc/count/empty7

   1 # This example was contributed by Michael Claßen <michael.classen@gmail.com>
   2 P :=
   3 6 7
   4    0    1    0    0    0   -1    1
   5    0    0    0 5000    0   -3    8
   6    0    0    0    0 5000   -1    4
   7    1    0    1    0    0    0    0
   8    1    0    0    0    0    1   -4
   9    1    0    0    0    0    0    1
  10 ;
  11 assert((card P) = { });