* [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 precision to 2 * * * * [misc]points: Setting precision to 128 * * * * [misc]points: Setting precision to 384 * * * * [misc]points: Setting precision to 640 * * * * [misc]points: Setting precision to 896 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1664 * * * * [misc]points: Setting precision to 1920 * * * * [misc]points: Setting precision to 2176 * * * * [misc]points: Setting precision to 2432 * * * * [misc]points: Setting precision to 2688 * * * * [misc]points: Setting precision to 2944 * * * * [misc]points: Setting precision to 3200 * * * * [misc]points: Setting precision to 3456 * * * * [misc]points: Setting precision to 3712 * * * * [misc]points: Setting precision to 3968 * * * * [misc]points: Setting precision to 4224 * * * * [misc]points: Setting precision to 4480 * * * * [misc]points: Setting precision to 4736 * * * * [misc]points: Setting precision to 4992 * * * * [misc]points: Setting precision to 5248 * * * * [misc]points: Setting precision to 5504 * * * * [misc]points: Setting precision to 5760 * * * * [misc]points: Setting precision to 6016 * * * * [misc]points: Setting precision to 6272 * * * * [misc]points: Setting precision to 6528 * * * * [misc]points: Setting precision to 6784 * * * * [misc]points: Setting precision to 7040 * * * * [misc]points: Setting precision to 7296 * * * * [misc]points: Setting precision to 7552 * * * * [misc]points: Setting precision to 7808 * * * * [misc]points: Setting precision to 8064 * * * * [misc]points: Setting precision to 8320 * * * * [misc]points: Setting precision to 8576 * * * * [misc]points: Setting precision to 8832 * * * * [misc]points: Setting precision to 9088 * * * * [misc]points: Setting precision to 9344 * * * * [misc]points: Setting precision to 9600 * * * * [misc]points: Setting precision to 9856 * * * * [misc]points: Setting precision to 10112 * * * * [misc]points: Setting precision to 10368 * * * * [misc]points: Setting precision to 10624 * * * * [misc]points: Setting precision to 10880 * * * * [misc]points: Setting precision to 11136 * * * * [misc]points: Setting precision to 11392 * * * * [misc]points: Setting precision to 11648 * * * * [misc]points: Setting precision to 11904 * * * * [misc]points: Setting precision to 12160 * * * * [misc]points: Setting precision to 12416 * * * * [misc]points: Setting precision to 12672 * * * * [misc]points: Setting precision to 12928 * * * * [misc]points: Setting precision to 13184 * * * * [misc]points: Setting precision to 13440 * * * * [misc]points: Setting precision to 13696 * * * * [misc]points: Setting precision to 13952 * * * * [misc]points: Setting precision to 14208 * * * * [misc]points: Setting precision to 14464 * * * * [misc]points: Setting precision to 14720 * * * * [misc]points: Setting precision to 14976 * * * * [misc]points: Setting precision to 15232 * * * * [misc]points: Setting precision to 15488 * * * * [misc]points: Setting precision to 15744 * * * * [misc]points: Setting precision to 16000 * * * * [misc]points: Setting precision to 16256 * * * * [misc]points: Setting precision to 16512 * * * * [misc]points: Setting precision to 16768 * * * * [misc]points: Setting precision to 17024 * * * * [misc]points: Setting precision to 17280 * * * * [misc]points: Setting precision to 17536 * * * * [misc]points: Setting precision to 17792 * * * * [misc]points: Setting precision to 18048 * * * * [misc]points: Setting precision to 18304 * * * * [misc]points: Setting precision to 18560 * * * * [misc]points: Setting precision to 18816 * * * * [misc]points: Setting precision to 19072 * * * * [misc]points: Setting precision to 19328 * * * * [misc]points: Setting precision to 19584 * * * * [misc]points: Setting precision to 19840 * * * * [misc]points: Setting precision to 20096 * * * * [misc]points: Setting precision to 20352 * * * * [misc]points: Setting precision to 20608 * * * * [misc]points: Setting precision to 20864 * * * * [misc]points: Setting precision to 21120 * * * * [misc]points: Setting precision to 21376 * * * * [misc]points: Setting precision to 21632 * * * * [misc]points: Setting precision to 21888 * * * * [misc]points: Setting precision to 22144 * * * * [misc]points: Setting precision to 22400 * * * * [misc]points: Setting precision to 22656 * * * * [misc]points: Setting precision to 22912 * * * * [misc]points: Setting precision to 23168 * * * * [misc]points: Setting precision to 23424 * * * * [misc]points: Setting precision to 23680 * * * * [misc]points: Setting precision to 23936 * * * * [misc]points: Setting precision to 24192 * * * * [misc]points: Setting precision to 24448 * * * * [misc]points: Setting precision to 24704 * * * * [misc]points: Setting precision to 24960 * * * * [misc]points: Setting precision to 25216 * * * * [misc]points: Setting precision to 25472 * * * * [misc]points: Setting precision to 25728 * * * * [misc]points: Setting precision to 25984 * * * * [misc]points: Setting precision to 26240 * * * * [misc]points: Setting precision to 26496 * * * * [misc]points: Setting precision to 26752 * * * * [misc]points: Setting precision to 27008 * * * * [misc]points: Setting precision to 27264 * * * * [misc]points: Setting precision to 27520 * * * * [misc]points: Setting precision to 27776 * * * * [misc]points: Setting precision to 28032 * * * * [misc]points: Setting precision to 28288 * * * * [misc]points: Setting precision to 28544 * * * * [misc]points: Setting precision to 28800 * * * * [misc]points: Setting precision to 29056 * * * * [misc]points: Setting precision to 29312 * * * * [misc]points: Setting precision to 29568 * * * * [misc]points: Setting precision to 29824 * * * * [misc]points: Setting precision to 30080 * * * * [misc]points: Setting precision to 30336 * * * * [misc]points: Setting precision to 30592 * * * * [misc]points: Setting precision to 30848 * * * * [misc]points: Setting precision to 31104 * * * * [misc]points: Setting precision to 31360 * * * * [misc]points: Setting precision to 31616 * * * * [misc]points: Setting precision to 31872 * * * * [misc]points: Setting precision to 32128 * * * * [misc]points: Setting precision to 32384 * * * * [misc]points: Setting precision to 32640 * * * * [misc]points: Setting precision to 32896 * * * * [misc]points: Setting precision to 33152 * * * * [misc]points: Setting precision to 33408 * * * * [misc]points: Setting precision to 33664 * * * * [misc]points: Setting precision to 33920 * * * * [misc]points: Setting precision to 34176 * * * * [misc]points: Setting precision to 34432 * * * * [misc]points: Setting precision to 34688 * * * * [misc]points: Setting precision to 34944 * * * * [misc]points: Setting precision to 35200 * * * * [misc]points: Setting precision to 35456 * * * * [misc]points: Setting precision to 35712 * * * * [misc]points: Setting precision to 35968 * * * * [misc]points: Setting precision to 36224 * * * * [misc]points: Setting precision to 36480 * * * * [misc]points: Setting precision to 36736 * * * * [misc]points: Setting precision to 36992 * * * * [misc]points: Setting precision to 37248 * * * * [misc]points: Setting precision to 37504 * * * * [misc]points: Setting precision to 37760 * * * * [misc]points: Setting precision to 38016 * * * * [misc]points: Setting precision to 38272 * * * * [misc]points: Setting precision to 38528 * * * * [misc]points: Setting precision to 38784 * * * * [misc]points: Setting precision to 39040 * * * * [misc]points: Setting precision to 39296 * * * * [misc]points: Setting precision to 39552 * * * * [misc]points: Setting precision to 39808 * * * * [misc]points: Setting precision to 40064 * * * * [misc]points: Setting precision to 40320 * * * * [misc]points: Setting precision to 40576 * * * * [misc]points: Setting precision to 40832 * * * * [misc]points: Setting precision to 41088 * * * * [misc]points: Setting precision to 41344 * * * * [misc]points: Setting precision to 41600 * * * * [misc]points: Setting precision to 41856 * * * * [misc]points: Setting precision to 42112 * * * * [misc]points: Setting precision to 42368 * * * * [misc]points: Setting precision to 42624 * * * * [misc]points: Setting precision to 42880 * * * * [misc]points: Setting precision to 43136 * * * * [misc]points: Setting precision to 43392 * * * * [misc]points: Setting precision to 43648 * * * * [misc]points: Setting precision to 43904 * * * * [misc]points: Setting precision to 44160 * * * * [misc]points: Setting precision to 44416 * * * * [misc]points: Setting precision to 44672 * * * * [misc]points: Setting precision to 44928 * * * * [misc]points: Setting precision to 45184 * * * * [misc]points: Setting precision to 45440 * * * * [misc]points: Setting precision to 45696 * * * * [misc]points: Setting precision to 45952 * * * * [misc]points: Setting precision to 46208 * * * * [misc]points: Setting precision to 46464 * * * * [misc]points: Setting precision to 46720 * * * * [misc]points: Setting precision to 46976 * * * * [misc]points: Setting precision to 47232 * * * * [misc]points: Setting precision to 47488 * * * * [misc]points: Setting precision to 47744 * * * * [misc]points: Setting precision to 48000 * * * * [misc]points: Setting precision to 48256 * * * * [misc]points: Setting precision to 48512 * * * * [misc]points: Setting precision to 48768 * * * * [misc]points: Setting precision to 49024 * * * * [misc]points: Setting precision to 49280 * * * * [misc]points: Setting precision to 49536 * * * * [misc]points: Setting precision to 49792 * * * * [misc]points: Setting precision to 50048 * * * * [misc]points: Setting precision to 50304 * * * * [misc]points: Setting precision to 50560 * * * * [misc]points: Setting precision to 50816 * * * * [misc]points: Setting precision to 51072 * * * * [misc]points: Setting precision to 51328 * * * * [misc]points: Setting precision to 51584 * * * * [misc]points: Setting precision to 51840 * * * * [misc]points: Setting precision to 52096 * * * * [misc]points: Setting precision to 52352 * * * * [misc]points: Setting precision to 52608 * * * * [misc]points: Setting precision to 52864 * * * * [misc]points: Setting precision to 53120 * * * * [misc]points: Setting precision to 53376 * * * * [misc]points: Setting precision to 53632 * * * * [misc]points: Setting precision to 53888 * * * * [misc]points: Setting precision to 54144 * * * * [misc]points: Setting precision to 54400 * * * * [misc]points: Setting precision to 54656 * * * * [misc]points: Setting precision to 54912 * * * * [misc]points: Setting precision to 55168 * * * * [misc]points: Setting precision to 55424 * * * * [misc]points: Setting precision to 55680 * * * * [misc]points: Setting precision to 55936 * * * * [misc]points: Setting precision to 56192 * * * * [misc]points: Setting precision to 56448 * * * * [misc]points: Setting precision to 56704 * * * * [misc]points: Setting precision to 56960 * * * * [misc]points: Setting precision to 57216 * * * * [misc]points: Setting precision to 57472 * * * * [misc]points: Setting precision to 57728 * * * * [misc]points: Setting precision to 57984 * * * * [misc]points: Setting precision to 58240 * * * * [misc]points: Setting precision to 58496 * * * * [misc]points: Setting precision to 58752 * * * * [misc]points: Setting precision to 59008 * * * * [misc]points: Setting precision to 59264 * * * * [misc]points: Setting precision to 59520 * * * * [misc]points: Setting precision to 59776 * * * * [misc]points: Setting precision to 60032 * * * * [misc]points: Setting precision to 60288 * * * * [misc]points: Setting precision to 60544 * * * * [misc]points: Setting precision to 60800 * * * * [misc]points: Setting precision to 61056 * * * * [misc]points: Setting precision to 61312 * * * * [misc]points: Setting precision to 61568 * * * * [misc]points: Setting precision to 61824 * * * * [misc]points: Setting precision to 62080 * * * * [misc]points: Setting precision to 62336 * * * * [misc]points: Setting precision to 62592 * * * * [misc]points: Setting precision to 62848 * * * * [misc]points: Setting precision to 63104 * * * * [misc]points: Setting precision to 63360 * * * * [misc]points: Setting precision to 63616 * * * * [misc]points: Setting precision to 63872 * * * * [misc]points: Setting precision to 64128 * * * * [misc]points: Setting precision to 64384 * * * * [misc]points: Setting precision to 64640 * * * * [misc]points: Setting precision to 64896 * * * * [misc]points: Setting precision to 65152 * * * * [misc]points: Setting precision to 65408 * * * * [misc]points: Setting precision to 65664 * * * * [misc]points: Setting precision to 65920 * * * * [misc]points: Setting precision to 66176 * * * * [misc]points: Setting precision to 66432 * * * * [misc]points: Setting precision to 66688 * * * * [misc]points: Setting precision to 66944 * * * * [misc]points: Setting precision to 67200 * * * * [misc]points: Setting precision to 67456 * * * * [misc]points: Setting precision to 67712 * * * * [misc]points: Setting precision to 67968 * * * * [misc]points: Setting precision to 68224 * * * * [misc]points: Setting precision to 68480 * * * * [misc]points: Setting precision to 68736 * * * * [misc]points: Setting precision to 68992 * * * * [misc]points: Setting precision to 69248 * * * * [misc]points: Setting precision to 69504 * * * * [misc]points: Setting precision to 69760 * * * * [misc]points: Setting precision to 70016 * * * * [misc]points: Setting precision to 70272 * * * * [misc]points: Setting precision to 70528 * * * * [misc]points: Setting precision to 70784 * * * * [misc]points: Setting precision to 71040 * * * * [misc]points: Setting precision to 71296 * * * * [misc]points: Setting precision to 71552 * * * * [misc]points: Setting precision to 71808 * * * * [misc]points: Setting precision to 72064 * * * * [misc]points: Setting precision to 72320 * * * * [misc]points: Setting precision to 72576 * * * * [misc]points: Setting precision to 72832 * * * * [misc]points: Setting precision to 73088 * * * * [misc]points: Setting precision to 73344 * * * * [misc]points: Setting precision to 73600 * * * * [misc]points: Setting precision to 73856 * * * * [misc]points: Setting precision to 74112 * * * * [misc]points: Setting precision to 74368 * * * * [misc]points: Setting precision to 74624 * * * * [misc]points: Setting precision to 74880 * * * * [misc]points: Setting precision to 75136 * * * * [misc]points: Setting precision to 75392 * * * * [misc]points: Setting precision to 75648 * * * * [misc]points: Setting precision to 75904 * * * * [misc]points: Setting precision to 76160 * * * * [misc]points: Setting precision to 76416 * * * * [misc]points: Setting precision to 76672 * * * * [misc]points: Setting precision to 76928 * * * * [misc]points: Setting precision to 77184 * * * * [misc]points: Setting precision to 77440 * * * * [misc]points: Setting precision to 77696 * * * * [misc]points: Setting precision to 77952 * * * * [misc]points: Setting precision to 78208 * * * * [misc]points: Setting precision to 78464 * * * * [misc]points: Setting precision to 78720 * * * * [misc]points: Setting precision to 78976 * * * * [misc]points: Setting precision to 79232 * * * * [misc]points: Setting precision to 79488 * * * * [misc]points: Setting precision to 79744 * * * * [misc]points: Setting precision to 80000 * * * * [misc]points: Setting precision to 80256 * * * * [misc]points: Setting precision to 80512 * * * * [misc]points: Setting precision to 80768 * * * * [misc]points: Setting precision to 81024 * * * * [misc]points: Setting precision to 81280 * * * * [misc]points: Setting precision to 81536 * * * * [misc]points: Setting precision to 81792 * * * * [misc]points: Setting precision to 82048 * * * * [misc]points: Setting precision to 82304 * * * * [misc]points: Setting precision to 82560 * * * * [misc]points: Setting precision to 82816 * * * * [misc]points: Setting precision to 83072 * * * * [misc]points: Setting precision to 83328 * * * * [misc]points: Setting precision to 83584 * * * * [misc]points: Setting precision to 83840 * * * * [misc]points: Setting precision to 84096 * * * * [misc]points: Setting precision to 84352 * * * * [misc]points: Setting precision to 84608 * * * * [misc]points: Setting precision to 84864 * * * * [misc]points: Setting precision to 85120 * * * * [misc]points: Setting precision to 85376 * * * * [misc]points: Setting precision to 85632 * * * * [misc]points: Setting precision to 85888 * * * * [misc]points: Setting precision to 86144 * * * * [misc]points: Setting precision to 86400 * * * * [misc]points: Setting precision to 86656 * * * * [misc]points: Setting precision to 86912 * * * * [misc]points: Setting precision to 87168 * * * * [misc]points: Setting precision to 87424 * * * * [misc]points: Setting precision to 87680 * * * * [misc]points: Setting precision to 87936 * * * * [misc]points: Setting precision to 88192 * * * * [misc]points: Setting precision to 88448 * * * * [misc]points: Setting precision to 88704 * * * * [misc]points: Setting precision to 88960 * * * * [misc]points: Setting precision to 89216 * * * * [misc]points: Setting precision to 89472 * * * * [misc]points: Setting precision to 89728 * * * * [misc]points: Setting precision to 89984 * * * * [misc]points: Setting precision to 90240 * * * * [misc]points: Setting precision to 90496 * * * * [misc]points: Setting precision to 90752 * * * * [misc]points: Setting precision to 91008 * * * * [misc]points: Setting precision to 91264 * * * * [misc]points: Setting precision to 91520 * * * * [misc]points: Setting precision to 91776 * * * * [misc]points: Setting precision to 92032 * * * * [misc]points: Setting precision to 92288 * * * * [misc]points: Setting precision to 92544 * * * * [misc]points: Setting precision to 92800 * * * * [misc]points: Setting precision to 93056 * * * * [misc]points: Setting precision to 93312 * * * * [misc]points: Setting precision to 93568 * * * * [misc]points: Setting precision to 93824 * * * * [misc]points: Setting precision to 94080 * * * * [misc]points: Setting precision to 94336 * * * * [misc]points: Setting precision to 94592 * * * * [misc]points: Setting precision to 94848 * * * * [misc]points: Setting precision to 95104 * * * * [misc]points: Setting precision to 95360 * * * * [misc]points: Setting precision to 95616 * * * * [misc]points: Setting precision to 95872 * * * * [misc]points: Setting precision to 96128 * * * * [misc]points: Setting precision to 96384 * * * * [misc]points: Setting precision to 96640 * * * * [misc]points: Setting precision to 96896 * * * * [misc]points: Setting precision to 97152 * * * * [misc]points: Setting precision to 97408 * * * * [misc]points: Setting precision to 97664 * * * * [misc]points: Setting precision to 97920 * * * * [misc]points: Setting precision to 98176 * * * * [misc]points: Setting precision to 98432 * * * * [misc]points: Setting precision to 98688 * * * * [misc]points: Setting precision to 98944 * * * * [misc]points: Setting precision to 99200 * * * * [misc]points: Setting precision to 99456 * * * * [misc]points: Setting precision to 99712 * * * * [misc]points: Setting precision to 99968 * * * * [misc]points: Setting precision to 100224 * * * * [misc]points: Setting precision to 100480 * * * * [misc]points: Setting precision to 100736 * * * * [misc]points: Setting precision to 100992 * * * * [misc]points: Setting precision to 101248 * * * * [misc]points: Setting precision to 101504 * * * * [misc]points: Setting precision to 101760 * * * * [misc]points: Setting precision to 102016 * * * * [misc]points: Setting precision to 102272 * * * * [misc]points: Setting precision to 102528 * * * * [misc]points: Setting precision to 102784 * * * * [misc]points: Setting precision to 103040 * * * * [misc]points: Setting precision to 103296 * * * * [misc]points: Setting precision to 103552 * * * * [misc]points: Setting precision to 103808 * * * * [misc]points: Setting precision to 104064 * * * * [misc]points: Setting precision to 104320 * * * * [misc]points: Setting precision to 104576 * * * * [misc]points: Setting precision to 104832 * * * * [misc]points: Setting precision to 105088 * * * * [misc]points: Setting precision to 105344 * * * * [misc]points: Setting precision to 105600 * * * * [misc]points: Setting precision to 105856 * * * * [misc]points: Setting precision to 106112 * * * * [misc]points: Setting precision to 106368 * * * * [misc]points: Setting precision to 106624 * * * * [misc]points: Setting precision to 106880 * * * * [misc]points: Setting precision to 107136 * * * * [misc]points: Setting precision to 107392 * * * * [misc]points: Setting precision to 107648 * * * * [misc]points: Setting precision to 107904 * * * * [misc]points: Setting precision to 108160 * * * * [misc]points: Setting precision to 108416 * * * * [misc]points: Setting precision to 108672 * * * * [misc]points: Setting precision to 108928 * * * * [misc]points: Setting precision to 109184 * * * * [misc]points: Setting precision to 109440 * * * * [misc]points: Setting precision to 109696 * * * * [misc]points: Setting precision to 109952 * * * * [misc]points: Setting precision to 110208 * * * * [misc]points: Setting precision to 110464 * * * * [misc]points: Setting precision to 110720 * * * * [misc]points: Setting precision to 110976 * * * * [misc]points: Setting precision to 111232 * * * * [misc]points: Setting precision to 111488 * * * * [misc]points: Setting precision to 111744 * * * * [misc]points: Setting precision to 112000 * * * * [misc]points: Setting precision to 112256 * * * * [misc]points: Setting precision to 112512 * * * * [misc]points: Setting precision to 112768 * * * * [misc]points: Setting precision to 113024 * * * * [misc]points: Setting precision to 113280 * * * * [misc]points: Setting precision to 113536 * * * * [misc]points: Setting precision to 113792 * * * * [misc]points: Setting precision to 114048 * * * * [misc]points: Setting precision to 114304 * * * * [misc]points: Setting precision to 114560 * * * * [misc]points: Setting precision to 114816 * * * * [misc]points: Setting precision to 115072 * * * * [misc]points: Setting precision to 115328 * * * * [misc]points: Setting precision to 115584 * * * * [misc]points: Setting precision to 115840 * * * * [misc]points: Setting precision to 116096 * * * * [misc]points: Setting precision to 116352 * * * * [misc]points: Setting precision to 116608 * * * * [misc]points: Setting precision to 116864 * * * * [misc]points: Setting precision to 117120 * * * * [misc]points: Setting precision to 117376 * * * * [misc]points: Setting precision to 117632 * * * * [misc]points: Setting precision to 117888 * * * * [misc]points: Setting precision to 118144 * * * * [misc]points: Setting precision to 118400 * * * * [misc]points: Setting precision to 118656 * * * * [misc]points: Setting precision to 118912 * * * * [misc]points: Setting precision to 119168 * * * * [misc]points: Setting precision to 119424 * * * * [misc]points: Setting precision to 119680 * * * * [misc]points: Setting precision to 119936 * * * * [misc]points: Setting precision to 120192 * * * * [misc]points: Setting precision to 120448 * * * * [misc]points: Setting precision to 120704 * * * * [misc]points: Setting precision to 120960 * * * * [misc]points: Setting precision to 121216 * * * * [misc]points: Setting precision to 121472 * * * * [misc]points: Setting precision to 121728 * * * * [misc]points: Setting precision to 121984 * * * * [misc]points: Setting precision to 122240 * * * * [misc]points: Setting precision to 122496 * * * * [misc]points: Setting precision to 122752 * * * * [misc]points: Setting precision to 123008 * * * * [misc]points: Setting precision to 123264 * * * * [misc]points: Setting precision to 123520 * * * * [misc]points: Setting precision to 123776 * * * * [misc]points: Setting precision to 124032 * * * * [misc]points: Setting precision to 124288 * * * * [misc]points: Setting precision to 124544 * * * * [misc]points: Setting precision to 124800 * * * * [misc]points: Setting precision to 125056 * * * * [misc]points: Setting precision to 125312 * * * * [misc]points: Setting precision to 125568 * * * * [misc]points: Setting precision to 125824 * * * * [misc]points: Setting precision to 126080 * * * * [misc]points: Setting precision to 126336 * * * * [misc]points: Setting precision to 126592 * * * * [misc]points: Setting precision to 126848 * * * * [misc]points: Setting precision to 127104 * * * * [misc]points: Setting precision to 127360 * * * * [misc]points: Setting precision to 127616 * * * * [misc]points: Setting precision to 127872 * * * * [misc]points: Setting precision to 128128 * * * * [misc]points: Setting precision to 128384 * * * * [misc]points: Setting precision to 128640 * * * * [misc]points: Setting precision to 128896 * * * * [misc]points: Setting precision to 129152 * * * * [misc]points: Setting precision to 129408 * * * * [misc]points: Setting precision to 129664 * * * * [misc]points: Setting precision to 129920 * * * * [misc]points: Setting precision to 130176 * * * * [misc]points: Setting precision to 130432 * * * * [misc]points: Setting precision to 130688