* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, have 0 / 256
* * * * [misc]points:  Computing 256 additional correct outputs
* * * * [misc]points:  Precision set to 2
* * * * [misc]points:  Precision set to 128
* * * * [misc]points:  Precision set to 384
* * * * [misc]points:  Precision set to 640
* * * * [misc]points:  Precision set to 896
* * * * [misc]points:  Precision set to 1152
* * * * [misc]points:  Precision set to 1408
* * * * [misc]points:  Precision set to 1152
* * * * [misc]points:  Precision set to 1408
* * * * [misc]points:  Precision set to 1152
* * * * [misc]points:  Precision set to 1408
* * * * [misc]points:  Precision set to 1152
* * * * [misc]points:  Precision set to 1408
* * * * [misc]points:  Precision set to 1152
* * * * [misc]points:  Precision set to 1408
* * * * [misc]points:  Precision set to 1664
* * * * [misc]points:  Precision set to 1920
* * * * [misc]points:  Precision set to 2176
* * * * [misc]points:  Precision set to 2432
* * * * [misc]points:  Precision set to 2688
* * * * [misc]points:  Precision set to 2944
* * * * [misc]points:  Precision set to 3200
* * * * [misc]points:  Precision set to 3456
* * * * [misc]points:  Precision set to 3712
* * * * [misc]points:  Precision set to 3968
* * * * [misc]points:  Precision set to 4224
* * * * [misc]points:  Precision set to 4480
* * * * [misc]points:  Precision set to 4736
* * * * [misc]points:  Precision set to 4992
* * * * [misc]points:  Precision set to 5248
* * * * [misc]points:  Precision set to 5504
* * * * [misc]points:  Precision set to 5760