tests/iscc/count/infinite3

   1 P :=
   2 9 10
   3 0   4   -1    5   -1   -2   -5    0    0    1
   4 1   0  -97   41    3    6   15    0    0  -39
   5 1   0   89   -1   -3   -6  -15    0    0  203
   6 1   0  -23   -5    1    2    5    0    0 -157
   7 1   0   -7   11   -3   -6  -15   36    0   27
   8 1   0    5   -5   -7   -2    5    0    0   -5
   9 1   0   -5    5   13   -2   -5    0    0   11
  10 1   0    3    1   -1   -2   -1    4    0   12
  11 1   0   -2   -1    1    2    0   -3    1  -10
  12 ;
  13 assert((card P) = { infty });