* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 266 additional inputs, have 0 / 256
* * * * [misc]points:  Computing 266 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to -128
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 640
* * * * [misc]points:  Setting MPFR precision to 896
* * * * [misc]points:  Setting MPFR precision to 640
* * * * [misc]points:  Setting MPFR precision to 896
* * * * [misc]points:  Setting MPFR precision to 1152
* * * * [misc]points:  Setting MPFR precision to 1408
* * * * [misc]points:  Setting MPFR precision to 1152
* * * * [misc]points:  Setting MPFR precision to 1408
* * * * [misc]points:  Setting MPFR precision to 1664
* * * * [misc]points:  Setting MPFR precision to 1920
* * * * [misc]points:  Setting MPFR precision to 2176
* * * * [misc]points:  Setting MPFR precision to 2432
* * * * [misc]points:  Setting MPFR precision to 2688
* * * * [misc]points:  Setting MPFR precision to 2944
* * * * [misc]points:  Setting MPFR precision to 3200
* * * * [misc]points:  Setting MPFR precision to 3456
* * * * [misc]points:  Setting MPFR precision to 3712
* * * * [misc]points:  Setting MPFR precision to 3968
* * * * [misc]points:  Setting MPFR precision to 4224
* * * * [misc]points:  Setting MPFR precision to 4480
* * * * [misc]points:  Setting MPFR precision to 4736
* * * * [misc]points:  Setting MPFR precision to 4992
* * * * [misc]points:  Setting MPFR precision to 5248
* * * * [misc]points:  Setting MPFR precision to 5504
* * * * [misc]points:  Setting MPFR precision to 5760
* * * * [misc]points:  Setting MPFR precision to 6016
* * * * [misc]points:  Setting MPFR precision to 6272
* * * * [misc]points:  Setting MPFR precision to 6528
* * * * [misc]points:  Setting MPFR precision to 6784
* * * * [misc]points:  Setting MPFR precision to 7040
* * * * [misc]points:  Setting MPFR precision to 7296
* * * * [misc]points:  Setting MPFR precision to 7552
* * * * [misc]points:  Setting MPFR precision to 7808
* * * * [misc]points:  Setting MPFR precision to 8064
* * * * [misc]points:  Setting MPFR precision to 8320
* * * * [misc]points:  Setting MPFR precision to 8576
* * * * [misc]points:  Setting MPFR precision to 8832
* * * * [misc]points:  Setting MPFR precision to 9088
* * * * [misc]points:  Setting MPFR precision to 9344
* * * * [misc]points:  Setting MPFR precision to 9600
* * * * [misc]points:  Setting MPFR precision to 9856
* * * * [misc]points:  Setting MPFR precision to 10112
* * * * [misc]points:  Setting MPFR precision to 10368
* * * * [misc]points:  Setting MPFR precision to 10624
* * * * [misc]points:  Setting MPFR precision to 10880
* * * * [misc]points:  Setting MPFR precision to 11136
* * * * [misc]points:  Setting MPFR precision to 11392
* * * * [misc]points:  Setting MPFR precision to 11648
* * * * [misc]points:  Setting MPFR precision to 11904
* * * * [misc]points:  Setting MPFR precision to 12160
* * * * [misc]points:  Setting MPFR precision to 12416