tests/iscc/count/empty2

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