tests/iscc/count/empty3

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