tests/iscc/count/infinite5

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