* [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: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 212 additional inputs, have 54 / 256 * * * * [misc]points: Computing 212 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 176 additional inputs, have 90 / 256 * * * * [misc]points: Computing 176 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 141 additional inputs, have 125 / 256 * * * * [misc]points: Computing 141 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 113 additional inputs, have 153 / 256 * * * * [misc]points: Computing 113 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 83 additional inputs, have 183 / 256 * * * * [misc]points: Computing 83 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 62 additional inputs, have 204 / 256 * * * * [misc]points: Computing 62 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 48 additional inputs, have 218 / 256 * * * * [misc]points: Computing 48 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 34 additional inputs, have 232 / 256 * * * * [misc]points: Computing 34 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 27 additional inputs, have 239 / 256 * * * * [misc]points: Computing 27 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 21 additional inputs, have 245 / 256 * * * * [misc]points: Computing 21 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 16 additional inputs, have 250 / 256 * * * * [misc]points: Computing 16 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 13 additional inputs, have 253 / 256 * * * * [misc]points: Computing 13 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (exp (+ (log a) (log b))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * [exit]simplify: Simplified to (* a b) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * [misc]progress: generating series expansions * * * [misc]progress: simplifying candidates * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * * * * [misc]points: Sampling 8010 additional inputs, have 0 / 8000 * * * * [misc]points: Computing 8010 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6271 additional inputs, have 1739 / 8000 * * * * [misc]points: Computing 6271 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4915 additional inputs, have 3095 / 8000 * * * * [misc]points: Computing 4915 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 3803 additional inputs, have 4207 / 8000 * * * * [misc]points: Computing 3803 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2964 additional inputs, have 5046 / 8000 * * * * [misc]points: Computing 2964 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2322 additional inputs, have 5688 / 8000 * * * * [misc]points: Computing 2322 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1847 additional inputs, have 6163 / 8000 * * * * [misc]points: Computing 1847 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1437 additional inputs, have 6573 / 8000 * * * * [misc]points: Computing 1437 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1149 additional inputs, have 6861 / 8000 * * * * [misc]points: Computing 1149 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 894 additional inputs, have 7116 / 8000 * * * * [misc]points: Computing 894 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 692 additional inputs, have 7318 / 8000 * * * * [misc]points: Computing 692 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 530 additional inputs, have 7480 / 8000 * * * * [misc]points: Computing 530 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 410 additional inputs, have 7600 / 8000 * * * * [misc]points: Computing 410 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 329 additional inputs, have 7681 / 8000 * * * * [misc]points: Computing 329 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 267 additional inputs, have 7743 / 8000 * * * * [misc]points: Computing 267 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 202 additional inputs, have 7808 / 8000 * * * * [misc]points: Computing 202 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 164 additional inputs, have 7846 / 8000 * * * * [misc]points: Computing 164 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 123 additional inputs, have 7887 / 8000 * * * * [misc]points: Computing 123 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 108 additional inputs, have 7902 / 8000 * * * * [misc]points: Computing 108 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 87 additional inputs, have 7923 / 8000 * * * * [misc]points: Computing 87 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 65 additional inputs, have 7945 / 8000 * * * * [misc]points: Computing 65 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 52 additional inputs, have 7958 / 8000 * * * * [misc]points: Computing 52 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 40 additional inputs, have 7970 / 8000 * * * * [misc]points: Computing 40 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 33 additional inputs, have 7977 / 8000 * * * * [misc]points: Computing 33 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 26 additional inputs, have 7984 / 8000 * * * * [misc]points: Computing 26 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 18 additional inputs, have 7992 / 8000 * * * * [misc]points: Computing 18 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 15 additional inputs, have 7995 / 8000 * * * * [misc]points: Computing 15 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 11 additional inputs, have 7999 / 8000 * * * * [misc]points: Computing 11 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs