# n  monomials  max_weight  bits(lcm of denominators)  bits(Delta_n)  bits(max numerator)  log2(sum |coeff|)  bound 3(n+1)(n+2)/2
  0       1    0      1       1      1       0.0       3  ok
  5      20    5      2      34      4       6.6      63  ok
 10      88   10      7     130     15      13.7     198  ok
 15     240   15     13     285     25      20.7     408  ok
 20     501   20     22     505     40      27.8     693  ok
 25     910   25     29     782     49      35.1    1053  ok
 30    1488   30     41    1123     70      42.6    1488  ok
 35    2280   35     49    1523     80      50.1    1998  ok
 40    3301   40     62    1979    101      57.7    2583  ok
 45    4600   45     70    2504    111      65.4    3243  ok
 50    6188   50     84    3096    133      73.0    3978  ok
 55    8120   55     94    3740    148      80.7    4788  ok
 60   10401   60    108    4440    167      88.5    5673  ok
ALL OK
