worked example of the note under changes of coordinates; exponents (1,2,2,3); bound for d = 3: (k-1)^d * A^(d+1) must be < 2^63 = 9223372036854775808
  c = 1      largest coefficient A = 3                bound < 2^63: free_with_exponents = True, supersolvable = True
  c = 3      largest coefficient A = 27               bound < 2^63: free_with_exponents = True, supersolvable = True
  c = 10     largest coefficient A = 1000             bound < 2^63: free_with_exponents = True, supersolvable = True
  c = 40     largest coefficient A = 64000            bound >= 2^63: OverflowError (Python int too large to convert to C long)
  c = 200    largest coefficient A = 8000000          bound >= 2^63: OverflowError (Python int too large to convert to C long)
  c = 1000   largest coefficient A = 1000000000       bound >= 2^63: OverflowError (Python int too large to convert to C long)
  c = 20000  largest coefficient A = 8000000000000    bound >= 2^63: OverflowError (Python int too large to convert to C long)
done
