ceremonyclient/bedlam/compiler/circuits/circ_multiplier_params.go
Cassandra Heart dbd95bd9e9
v2.1.0 (#439)
* v2.1.0 [omit consensus and adjacent] - this commit will be amended with the full release after the file copy is complete

* 2.1.0 main node rollup
2025-09-30 02:48:15 -05:00

1113 lines
83 KiB
Go

//
// Copyright (c) 2021 Markku Rossi
//
// All rights reserved.
//
package circuits
var multiplierArrayTresholds = map[int]int{
// 8: 21, 452 1.0000 ▅▅▅▅▅▅▅▅▅▅▅▅▅▅▅
// 9: 21, 580 0.8101 █▁▁▁▁▁▁▁▁▁▁▁▁▁▁
// 10: 21, 724 0.9005 ██▁▁▁▁▁▁▁▁▁▁▁▁▁
// 11: 21, 884 0.8770 ███▁▁▁▁▁▁▁▁▁▁▁▁
// 12: 21, 1060 0.9532 ████▁▁▁▁▁▁▁▁▁▁▁
// 13: 21, 1252 0.9288 █████▁▁▁▁▁▁▁▁▁▁
// 14: 21, 1460 0.9946 ██████▁▁▁▁▁▁▁▁▁
// 15: 21, 1684 0.8663 █▂▂▂▂▂▂▁▁▁▁▁▁▁▁
16: 9, // 1872 0.8966 █▁▁▁▁▁▁▁▂▂▂▂▂▂▂
17: 10, // 2172 0.8524 █▃▁▁▁▁▁▁▁▁▁▁▁▁▁
18: 10, // 2324 0.7862 █▂▁▁▁▁▁▁▁▁▂▂▂▂▂
19: 11, // 2656 0.8117 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
20: 11, // 2824 0.8296 ██▃▁▁▁▁▁▁▁▁▁▃▃▃
21: 12, // 3188 0.8533 ██▅▂▁▁▁▁▁▁▁▁▁▃▃
// 22: 21, 3372 0.8430 ███▂▁▁▁▁▁▁▁▁▁▁▄
// 23: 21, 3768 0.8634 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 24: 21, 3968 0.8794 ████▃▁▁▁▁▁▁▁▁▁▁
// 25: 21, 4396 0.8986 ████▅▂▁▁▁▁▁▁▁▁▁
// 26: 21, 4612 0.8890 █████▂▁▁▁▁▁▁▁▁▁
// 27: 21, 5072 0.8691 █▅▅▅▅▃▂▁▁▁▁▁▁▁▁
// 28: 21, 5304 0.8840 █▅▅▅▅▅▂▁▁▁▁▁▁▁▁
// 29: 21, 5796 0.8697 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 30: 21, 6044 0.8362 █▃▃▃▃▃▃▁▁▁▁▁▁▁▁
// 31: 21, 6568 0.8348 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 32: 21, 6832 0.8489 █▃▂▂▂▂▂▂▁▁▁▁▁▁▁
// 33: 21, 7388 0.8264 █▃▂▂▂▂▂▂▁▁▁▁▁▁▁
// 34: 21, 7668 0.8089 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 35: 21, 8256 0.8072 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
// 36: 21, 8552 0.8023 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
37: 19, // 9104 0.8178 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
38: 19, // 9424 0.8175 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
39: 19, // 10076 0.8385 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
40: 12, // 10384 0.8531 ██▄▁▁▁▁▁▁▁▁▁▁▁▁
41: 12, // 10956 0.8565 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
// 42: 21, 11340 0.8588 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 43: 21, 11964 0.8635 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 44: 21, 12212 0.8634 ███▃▁▁▁▁▁▁▁▁▁▁▁
// 45: 21, 12832 0.8741 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 46: 21, 13288 0.8786 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 47: 21, 13940 0.8893 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 48: 21, 14184 0.8950 ████▄▁▁▁▁▁▁▁▁▁▁
// 49: 21, 14852 0.8975 ████▅▂▁▁▁▁▁▁▁▁▁
// 50: 21, 15340 0.9019 ████▆▂▁▁▁▁▁▁▁▁▁
// 51: 21, 16040 0.8923 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 52: 21, 16300 0.8909 █▇▇▇▇▃▁▁▁▁▁▁▁▁▁
// 53: 21, 17016 0.8894 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 54: 21, 17536 0.8830 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 55: 21, 18284 0.8828 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 56: 21, 18560 0.8880 █▅▅▅▅▅▃▁▁▁▁▁▁▁▁
// 57: 21, 19324 0.8723 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 58: 21, 19876 0.8681 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 59: 21, 20672 0.8569 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 60: 21, 20964 0.8483 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 61: 21, 21776 0.8521 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 62: 21, 22360 0.8510 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 63: 21, 23204 0.8477 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 64: 21, 23512 0.8526 █▃▂▂▂▂▂▂▁▁▁▁▁▁▁
// 65: 21, 24372 0.8395 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 66: 21, 24988 0.8328 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 67: 21, 25880 0.8264 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 68: 21, 26204 0.8220 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 69: 21, 27112 0.8195 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
// 70: 21, 27760 0.8186 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
71: 19, // 28660 0.8226 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
72: 19, // 29000 0.8216 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
73: 19, // 29916 0.8267 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
74: 19, // 30556 0.8317 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
75: 19, // 31564 0.8384 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
76: 19, // 31920 0.8385 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
77: 19, // 32904 0.8494 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
78: 19, // 33636 0.8558 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
79: 19, // 34540 0.8613 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
80: 12, // 34872 0.8657 ██▄▁▁▁▁▁▁▁▁▁▁▁▁
81: 12, // 35892 0.8682 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
// 82: 21, 36544 0.8693 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 83: 21, 37556 0.8708 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 84: 21, 37944 0.8710 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 85: 21, 38840 0.8723 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 86: 21, 39544 0.8737 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 87: 21, 40436 0.8770 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 88: 21, 40708 0.8769 ███▄▂▁▁▁▁▁▁▁▁▁▁
// 89: 21, 41808 0.8816 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 90: 21, 42508 0.8848 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 91: 21, 43640 0.8895 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 92: 21, 44120 0.8908 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 93: 21, 45040 0.8959 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 94: 21, 45772 0.8991 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 95: 21, 46708 0.9016 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 96: 21, 46976 0.9034 ████▄▁▁▁▁▁▁▁▁▁▁
// 97: 21, 48156 0.9055 ████▅▂▁▁▁▁▁▁▁▁▁
// 98: 21, 48904 0.9062 ████▆▂▁▁▁▁▁▁▁▁▁
// 99: 21, 50116 0.9044 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 100: 21, 50628 0.9057 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 101: 21, 51612 0.9021 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 102: 21, 52392 0.8993 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 103: 21, 53392 0.8983 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 104: 21, 53676 0.8978 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 105: 21, 54936 0.8951 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 106: 21, 55732 0.8947 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 107: 21, 57024 0.8925 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 108: 21, 57568 0.8905 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 109: 21, 58616 0.8921 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 110: 21, 59444 0.8920 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 111: 21, 60508 0.8885 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 112: 21, 60808 0.8901 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 113: 21, 62148 0.8836 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 114: 21, 62992 0.8789 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 115: 21, 64364 0.8738 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 116: 21, 64940 0.8725 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 117: 21, 66052 0.8660 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 118: 21, 66928 0.8627 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 119: 21, 68056 0.8611 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 120: 21, 68372 0.8584 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 121: 21, 69792 0.8591 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 122: 21, 70684 0.8603 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 123: 21, 72136 0.8588 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 124: 21, 72744 0.8584 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 125: 21, 73920 0.8589 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 126: 21, 74844 0.8579 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 127: 21, 76036 0.8550 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 128: 21, 76368 0.8566 █▃▂▂▂▂▂▂▁▁▁▁▁▁▁
// 129: 21, 77868 0.8500 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 130: 21, 78808 0.8461 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 131: 21, 80340 0.8417 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 132: 21, 80980 0.8396 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 133: 21, 82220 0.8360 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 134: 21, 83192 0.8341 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 135: 21, 84448 0.8317 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 136: 21, 84796 0.8304 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 137: 21, 86376 0.8291 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
// 138: 21, 87364 0.8284 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
139: 19, // 88936 0.8293 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
140: 19, // 89608 0.8290 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
141: 19, // 90872 0.8299 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
142: 19, // 91852 0.8312 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
143: 19, // 93132 0.8324 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
144: 19, // 93496 0.8321 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
145: 19, // 95076 0.8353 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
146: 19, // 96072 0.8369 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
147: 19, // 97744 0.8406 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
148: 19, // 98408 0.8421 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
149: 19, // 99796 0.8442 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
150: 19, // 100884 0.8463 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
151: 19, // 102248 0.8499 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
152: 19, // 102628 0.8499 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
153: 19, // 104368 0.8554 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
154: 19, // 105432 0.8588 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
155: 19, // 107092 0.8626 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
156: 19, // 107848 0.8645 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
157: 19, // 109108 0.8676 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
158: 19, // 110092 0.8694 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
159: 19, // 111468 0.8716 █▇▅▂▁▁▁▁▁▁▁▁▁▁▁
160: 12, // 111824 0.8730 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
161: 12, // 113520 0.8741 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
162: 12, // 114620 0.8749 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
// 163: 21, 116348 0.8760 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 164: 21, 116984 0.8760 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 165: 21, 118408 0.8765 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 166: 21, 119500 0.8770 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 167: 21, 120808 0.8774 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 168: 21, 121220 0.8775 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 169: 21, 122844 0.8783 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 170: 21, 123820 0.8787 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 171: 21, 125440 0.8802 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 172: 21, 126168 0.8806 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 173: 21, 127356 0.8816 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 174: 21, 128328 0.8827 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 175: 21, 129724 0.8841 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 176: 21, 130020 0.8841 ███▄▂▁▁▁▁▁▁▁▁▁▁
// 177: 21, 131844 0.8866 ███▄▂▁▁▁▁▁▁▁▁▁▁
// 178: 21, 133024 0.8881 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 179: 21, 134880 0.8906 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 180: 21, 135604 0.8916 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 181: 21, 137240 0.8935 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 182: 21, 138452 0.8950 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 183: 21, 139876 0.8970 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 184: 21, 140380 0.8974 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 185: 21, 142056 0.9000 ███▆▄▁▁▁▁▁▁▁▁▁▁
// 186: 21, 143056 0.9016 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 187: 21, 144748 0.9035 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 188: 21, 145504 0.9045 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 189: 21, 146732 0.9058 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 190: 21, 147748 0.9066 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 191: 21, 149220 0.9078 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 192: 21, 149512 0.9084 ████▅▁▁▁▁▁▁▁▁▁▁
// 193: 21, 151464 0.9093 ████▅▂▁▁▁▁▁▁▁▁▁
// 194: 21, 152724 0.9099 ████▅▂▁▁▁▁▁▁▁▁▁
// 195: 21, 154708 0.9095 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 196: 21, 155480 0.9098 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 197: 21, 157228 0.9096 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 198: 21, 158520 0.9090 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 199: 21, 160040 0.9082 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 200: 21, 160576 0.9086 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 201: 21, 162364 0.9065 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 202: 21, 163428 0.9054 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 203: 21, 165232 0.9042 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 204: 21, 166036 0.9033 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 205: 21, 167344 0.9028 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 206: 21, 168424 0.9025 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 207: 21, 169992 0.9014 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 208: 21, 170300 0.9013 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 209: 21, 172380 0.9003 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 210: 21, 173720 0.8994 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 211: 21, 175832 0.8985 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 212: 21, 176652 0.8984 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 213: 21, 178512 0.8970 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 214: 21, 179884 0.8963 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 215: 21, 181500 0.8961 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 216: 21, 182068 0.8955 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 217: 21, 183968 0.8960 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 218: 21, 185096 0.8965 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 219: 21, 187012 0.8952 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 220: 21, 187864 0.8952 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 221: 21, 189252 0.8946 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 222: 21, 190396 0.8935 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 223: 21, 192060 0.8918 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 224: 21, 192384 0.8924 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 225: 21, 194592 0.8887 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 226: 21, 196012 0.8867 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 227: 21, 198252 0.8834 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 228: 21, 199120 0.8820 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 229: 21, 201092 0.8798 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 230: 21, 202544 0.8782 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 231: 21, 204256 0.8756 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 232: 21, 204856 0.8752 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 233: 21, 206868 0.8720 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 234: 21, 208060 0.8700 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 235: 21, 210088 0.8683 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 236: 21, 210988 0.8673 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 237: 21, 212456 0.8659 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 238: 21, 213664 0.8654 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 239: 21, 215424 0.8647 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 240: 21, 215764 0.8639 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 241: 21, 218100 0.8645 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 242: 21, 219600 0.8647 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 243: 21, 221968 0.8645 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 244: 21, 222884 0.8649 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 245: 21, 224968 0.8642 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 246: 21, 226500 0.8638 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 247: 21, 228308 0.8638 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 248: 21, 228940 0.8636 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 249: 21, 231064 0.8634 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 250: 21, 232320 0.8636 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 251: 21, 234460 0.8623 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 252: 21, 235408 0.8620 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 253: 21, 236956 0.8615 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 254: 21, 238228 0.8607 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 255: 21, 240084 0.8590 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 256: 21, 240440 0.8595 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 257: 21, 242904 0.8560 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 258: 21, 244484 0.8539 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 259: 21, 246980 0.8512 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 260: 21, 247944 0.8499 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 261: 21, 250140 0.8478 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 262: 21, 251752 0.8464 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 263: 21, 253656 0.8445 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 264: 21, 254320 0.8438 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 265: 21, 256556 0.8420 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 266: 21, 257876 0.8409 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 267: 21, 260128 0.8394 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 268: 21, 261124 0.8388 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 269: 21, 262752 0.8376 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 270: 21, 264088 0.8368 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 271: 21, 266040 0.8360 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 272: 21, 266412 0.8355 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 273: 21, 269004 0.8348 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 274: 21, 270664 0.8345 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
275: 19, // 273248 0.8345 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
276: 19, // 274260 0.8342 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
277: 19, // 276528 0.8344 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
278: 19, // 278180 0.8347 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
279: 19, // 280140 0.8349 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
280: 19, // 280836 0.8347 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
281: 19, // 283104 0.8354 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
282: 19, // 284448 0.8357 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
283: 19, // 286732 0.8365 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
284: 19, // 287736 0.8369 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
285: 19, // 289404 0.8372 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
286: 19, // 290764 0.8376 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
287: 19, // 292732 0.8385 █▅▂▁▁▁▁▁▁▁▁▁▁▁▁
288: 19, // 293120 0.8384 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
289: 19, // 295720 0.8400 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
290: 19, // 297380 0.8410 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
291: 19, // 300072 0.8427 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
292: 19, // 301092 0.8432 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
293: 19, // 303452 0.8449 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
294: 19, // 305204 0.8461 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
295: 19, // 307280 0.8472 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
296: 19, // 307968 0.8477 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
297: 19, // 310468 0.8491 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
298: 19, // 311936 0.8498 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
299: 19, // 314412 0.8516 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
300: 19, // 315524 0.8523 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
301: 19, // 317292 0.8534 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
302: 19, // 318736 0.8545 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
303: 19, // 320880 0.8563 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
304: 19, // 321284 0.8563 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
305: 19, // 324112 0.8592 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
306: 19, // 325932 0.8610 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
307: 19, // 328680 0.8633 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
308: 19, // 329768 0.8644 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
309: 19, // 332208 0.8662 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
310: 19, // 333948 0.8675 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
311: 19, // 335988 0.8691 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
312: 19, // 336768 0.8697 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
313: 19, // 339036 0.8713 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
314: 19, // 340376 0.8723 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
315: 19, // 342760 0.8736 █▇▅▁▁▁▁▁▁▁▁▁▁▁▁
316: 19, // 343768 0.8741 █▇▅▁▁▁▁▁▁▁▁▁▁▁▁
317: 19, // 345524 0.8753 █▇▅▁▁▁▁▁▁▁▁▁▁▁▁
318: 19, // 346980 0.8760 █▇▅▂▁▁▁▁▁▁▁▁▁▁▁
319: 19, // 349056 0.8768 █▇▅▂▁▁▁▁▁▁▁▁▁▁▁
320: 12, // 349436 0.8772 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
321: 12, // 352256 0.8778 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
322: 12, // 354032 0.8782 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
323: 13, // 356884 0.8788 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
324: 13, // 358008 0.8790 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
325: 13, // 360436 0.8795 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 326: 21, 362204 0.8797 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 327: 21, 364288 0.8799 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 328: 21, 364948 0.8799 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 329: 21, 367488 0.8802 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 330: 21, 368992 0.8804 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 331: 21, 371416 0.8807 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 332: 21, 372532 0.8808 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 333: 21, 374276 0.8810 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 334: 21, 375664 0.8811 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 335: 21, 377724 0.8814 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 336: 21, 378160 0.8814 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 337: 21, 380784 0.8818 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 338: 21, 382488 0.8821 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 339: 21, 385108 0.8827 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 340: 21, 386108 0.8828 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 341: 21, 388480 0.8834 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 342: 21, 390180 0.8839 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 343: 21, 392120 0.8843 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 344: 21, 392872 0.8845 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 345: 21, 395056 0.8851 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 346: 21, 396324 0.8855 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 347: 21, 398716 0.8863 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 348: 21, 399712 0.8866 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 349: 21, 401428 0.8871 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 350: 21, 402904 0.8876 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 351: 21, 405048 0.8884 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 352: 21, 405368 0.8884 ███▄▂▁▁▁▁▁▁▁▁▁▁
// 353: 21, 408396 0.8896 ███▄▂▁▁▁▁▁▁▁▁▁▁
// 354: 21, 410300 0.8904 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 355: 21, 413360 0.8917 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 356: 21, 414564 0.8922 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 357: 21, 417168 0.8933 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 358: 21, 419104 0.8941 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 359: 21, 421488 0.8951 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 360: 21, 422236 0.8954 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 361: 21, 425108 0.8965 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 362: 21, 426824 0.8971 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 363: 21, 429484 0.8982 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 364: 21, 430720 0.8987 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 365: 21, 432672 0.8995 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 366: 21, 434176 0.9001 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 367: 21, 436380 0.9011 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 368: 21, 436908 0.9012 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 369: 21, 439608 0.9026 ███▆▄▁▁▁▁▁▁▁▁▁▁
// 370: 21, 441364 0.9034 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 371: 21, 444080 0.9046 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 372: 21, 445104 0.9051 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 373: 21, 447576 0.9060 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 374: 21, 449348 0.9066 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 375: 21, 451356 0.9073 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 376: 21, 452136 0.9077 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 377: 21, 454404 0.9084 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 378: 21, 455712 0.9088 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 379: 21, 458224 0.9095 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 380: 21, 459264 0.9097 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 381: 21, 461052 0.9103 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 382: 21, 462604 0.9107 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 383: 21, 464872 0.9111 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 384: 21, 465188 0.9113 ████▅▁▁▁▁▁▁▁▁▁▁
// 385: 21, 468424 0.9118 ████▅▂▁▁▁▁▁▁▁▁▁
// 386: 21, 470456 0.9121 ████▅▂▁▁▁▁▁▁▁▁▁
// 387: 21, 473724 0.9122 █▇▇▇▅▂▁▁▁▁▁▁▁▁▁
// 388: 21, 475008 0.9124 █▇▇▇▅▂▁▁▁▁▁▁▁▁▁
// 389: 21, 477788 0.9123 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 390: 21, 479852 0.9122 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 391: 21, 482396 0.9122 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 392: 21, 483192 0.9123 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 393: 21, 486256 0.9120 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 394: 21, 488084 0.9119 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 395: 21, 490920 0.9115 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 396: 21, 492236 0.9113 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 397: 21, 494316 0.9112 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 398: 21, 495916 0.9109 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 399: 21, 498264 0.9104 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 400: 21, 498824 0.9105 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 401: 21, 501700 0.9095 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 402: 21, 503568 0.9088 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 403: 21, 506460 0.9080 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 404: 21, 507548 0.9076 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 405: 21, 510180 0.9069 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 406: 21, 512064 0.9065 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 407: 21, 514200 0.9060 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 408: 21, 515028 0.9058 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 409: 21, 517440 0.9055 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 410: 21, 518828 0.9053 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 411: 21, 521500 0.9049 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 412: 21, 522604 0.9048 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 413: 21, 524504 0.9044 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 414: 21, 526152 0.9041 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 415: 21, 528564 0.9037 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 416: 21, 528896 0.9036 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 417: 21, 532340 0.9030 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 418: 21, 534500 0.9027 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 419: 21, 537976 0.9021 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 420: 21, 539340 0.9018 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 421: 21, 542296 0.9015 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 422: 21, 544488 0.9012 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 423: 21, 547192 0.9007 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 424: 21, 548036 0.9006 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 425: 21, 551292 0.8999 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 426: 21, 553232 0.8995 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 427: 21, 556244 0.8992 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 428: 21, 557640 0.8990 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 429: 21, 559848 0.8987 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 430: 21, 561544 0.8987 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 431: 21, 564036 0.8986 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 432: 21, 564628 0.8984 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 433: 21, 567680 0.8987 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 434: 21, 569660 0.8988 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 435: 21, 572728 0.8986 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 436: 21, 573880 0.8988 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 437: 21, 576672 0.8983 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 438: 21, 578668 0.8980 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 439: 21, 580932 0.8977 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 440: 21, 581808 0.8977 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 441: 21, 584364 0.8972 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 442: 21, 585832 0.8970 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 443: 21, 588664 0.8960 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 444: 21, 589832 0.8957 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 445: 21, 591844 0.8953 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 446: 21, 593588 0.8948 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 447: 21, 596144 0.8938 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 448: 21, 596492 0.8939 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 449: 21, 600144 0.8920 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 450: 21, 602432 0.8909 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 451: 21, 606116 0.8891 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 452: 21, 607560 0.8885 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 453: 21, 610692 0.8869 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 454: 21, 613012 0.8859 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 455: 21, 615876 0.8847 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 456: 21, 616768 0.8842 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 457: 21, 620216 0.8830 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 458: 21, 622268 0.8823 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 459: 21, 625456 0.8809 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 460: 21, 626932 0.8804 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 461: 21, 629268 0.8794 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 462: 21, 631060 0.8786 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 463: 21, 633696 0.8774 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 464: 21, 634320 0.8772 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 465: 21, 637548 0.8755 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 466: 21, 639640 0.8745 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 467: 21, 642884 0.8733 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 468: 21, 644100 0.8726 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 469: 21, 647052 0.8717 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 470: 21, 649160 0.8712 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 471: 21, 651552 0.8704 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 472: 21, 652476 0.8700 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 473: 21, 655176 0.8694 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 474: 21, 656724 0.8689 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 475: 21, 659716 0.8686 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 476: 21, 660948 0.8684 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 477: 21, 663072 0.8679 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 478: 21, 664912 0.8677 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 479: 21, 667612 0.8676 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 480: 21, 667976 0.8673 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 481: 21, 671836 0.8676 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 482: 21, 674252 0.8678 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 483: 21, 678144 0.8678 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 484: 21, 679668 0.8678 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 485: 21, 682976 0.8679 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 486: 21, 685424 0.8678 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 487: 21, 688448 0.8677 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 488: 21, 689388 0.8679 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 489: 21, 693028 0.8675 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 490: 21, 695192 0.8673 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 491: 21, 698556 0.8671 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 492: 21, 700112 0.8669 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 493: 21, 702576 0.8669 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 494: 21, 704464 0.8669 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 495: 21, 707244 0.8668 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 496: 21, 707900 0.8667 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 497: 21, 711304 0.8667 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 498: 21, 713508 0.8666 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 499: 21, 716928 0.8663 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 500: 21, 718208 0.8663 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 501: 21, 721320 0.8658 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 502: 21, 723540 0.8654 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 503: 21, 726060 0.8651 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 504: 21, 727032 0.8650 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 505: 21, 729876 0.8646 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 506: 21, 731504 0.8644 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 507: 21, 734656 0.8636 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 508: 21, 735952 0.8633 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 509: 21, 738188 0.8629 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 510: 21, 740124 0.8623 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 511: 21, 742968 0.8613 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 512: 21, 743348 0.8615 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 513: 21, 747416 0.8597 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 514: 21, 749960 0.8586 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 515: 21, 754060 0.8570 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 516: 21, 755664 0.8563 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 517: 21, 759148 0.8550 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 518: 21, 761724 0.8541 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 519: 21, 764908 0.8529 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 520: 21, 765896 0.8525 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 521: 21, 769728 0.8514 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 522: 21, 772004 0.8507 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 523: 21, 775544 0.8496 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 524: 21, 777180 0.8491 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 525: 21, 779772 0.8483 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 526: 21, 781756 0.8477 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 527: 21, 784680 0.8468 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 528: 21, 785368 0.8466 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 529: 21, 788948 0.8456 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 530: 21, 791264 0.8450 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 531: 21, 794860 0.8442 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 532: 21, 796204 0.8438 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 533: 21, 799476 0.8431 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 534: 21, 801808 0.8427 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 535: 21, 804456 0.8421 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 536: 21, 805476 0.8419 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 537: 21, 808464 0.8412 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 538: 21, 810172 0.8408 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 539: 21, 813484 0.8403 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 540: 21, 814844 0.8400 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 541: 21, 817192 0.8396 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 542: 21, 819224 0.8393 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 543: 21, 822212 0.8389 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 544: 21, 822608 0.8388 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 545: 21, 826884 0.8384 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 546: 21, 829556 0.8382 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
547: 19, // 833824 0.8381 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
548: 19, // 835508 0.8379 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
549: 19, // 839128 0.8379 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
550: 19, // 841792 0.8379 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
551: 19, // 845096 0.8378 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
552: 19, // 846132 0.8377 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
553: 19, // 850076 0.8379 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
554: 19, // 852424 0.8379 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
555: 19, // 856060 0.8381 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
556: 19, // 857736 0.8382 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
557: 19, // 860416 0.8382 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
558: 19, // 862456 0.8382 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
559: 19, // 865444 0.8384 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
560: 19, // 866164 0.8384 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
561: 19, // 869800 0.8387 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
562: 19, // 872148 0.8389 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
563: 19, // 875800 0.8393 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
564: 19, // 877168 0.8394 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
565: 19, // 880480 0.8398 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
566: 19, // 882844 0.8400 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
567: 19, // 885540 0.8403 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
568: 19, // 886568 0.8404 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
569: 19, // 889620 0.8406 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
570: 19, // 891368 0.8407 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
571: 19, // 894720 0.8411 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
572: 19, // 896104 0.8413 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
573: 19, // 898484 0.8415 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
574: 19, // 900532 0.8418 █▅▂▁▁▁▁▁▁▁▁▁▁▁▁
575: 19, // 903544 0.8423 █▅▂▁▁▁▁▁▁▁▁▁▁▁▁
576: 19, // 903956 0.8423 █▅▂▁▁▁▁▁▁▁▁▁▁▁▁
577: 19, // 908240 0.8431 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
578: 19, // 910920 0.8436 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
579: 19, // 915296 0.8445 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
580: 19, // 916980 0.8448 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
581: 19, // 920716 0.8455 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
582: 19, // 923488 0.8461 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
583: 19, // 926892 0.8468 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
584: 19, // 927936 0.8469 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
585: 19, // 932072 0.8479 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
586: 19, // 934512 0.8484 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
587: 19, // 938364 0.8492 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
588: 19, // 940140 0.8496 █▅▃▁▁▁▁▁▁▁▁▁▁▁▁
589: 19, // 942928 0.8501 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
590: 19, // 945084 0.8505 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
591: 19, // 948296 0.8511 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
592: 19, // 949008 0.8513 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
593: 19, // 953000 0.8519 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
594: 19, // 955580 0.8524 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
595: 19, // 959548 0.8532 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
596: 19, // 961040 0.8534 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
597: 19, // 964652 0.8542 █▆▃▁▁▁▁▁▁▁▁▁▁▁▁
598: 19, // 967208 0.8548 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
599: 19, // 970112 0.8554 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
600: 19, // 971248 0.8556 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
601: 19, // 974484 0.8564 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
602: 19, // 976332 0.8567 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
603: 19, // 979944 0.8577 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
604: 19, // 981412 0.8581 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
605: 19, // 983984 0.8586 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
606: 19, // 986208 0.8592 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
607: 19, // 989464 0.8602 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
608: 19, // 989892 0.8602 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
609: 19, // 994564 0.8617 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
610: 19, // 997472 0.8626 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
611: 19, // 1002064 0.8640 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
612: 19, // 1003908 0.8645 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
613: 19, // 1007768 0.8657 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
614: 19, // 1010596 0.8664 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
615: 19, // 1014148 0.8674 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
616: 19, // 1015260 0.8677 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
617: 19, // 1019464 0.8687 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
618: 19, // 1021984 0.8693 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
619: 19, // 1025788 0.8703 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
620: 19, // 1027552 0.8706 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
621: 19, // 1030396 0.8714 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
622: 19, // 1032516 0.8719 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
623: 19, // 1035588 0.8726 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
624: 19, // 1036392 0.8729 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
625: 19, // 1040024 0.8737 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
626: 19, // 1042372 0.8742 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
627: 19, // 1046120 0.8749 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
628: 19, // 1047484 0.8753 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
629: 19, // 1050900 0.8759 █▇▄▁▁▁▁▁▁▁▁▁▁▁▁
630: 19, // 1053364 0.8763 █▇▅▁▁▁▁▁▁▁▁▁▁▁▁
631: 19, // 1056152 0.8768 █▇▅▁▁▁▁▁▁▁▁▁▁▁▁
632: 19, // 1057184 0.8770 █▇▅▁▁▁▁▁▁▁▁▁▁▁▁
633: 19, // 1060420 0.8776 █▇▅▁▁▁▁▁▁▁▁▁▁▁▁
634: 19, // 1062256 0.8780 █▇▅▂▁▁▁▁▁▁▁▁▁▁▁
635: 19, // 1065812 0.8785 █▇▅▂▁▁▁▁▁▁▁▁▁▁▁
636: 19, // 1067292 0.8787 █▇▅▂▁▁▁▁▁▁▁▁▁▁▁
637: 19, // 1069772 0.8791 █▇▅▂▁▁▁▁▁▁▁▁▁▁▁
638: 19, // 1071928 0.8794 █▇▅▂▁▁▁▁▁▁▁▁▁▁▁
639: 19, // 1075152 0.8797 █▇▅▂▁▁▁▁▁▁▁▁▁▁▁
640: 12, // 1075556 0.8799 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
641: 12, // 1080176 0.8802 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
642: 12, // 1083076 0.8804 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
643: 13, // 1087728 0.8807 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
644: 13, // 1089528 0.8808 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
645: 13, // 1093528 0.8811 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
646: 13, // 1096460 0.8813 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
647: 13, // 1100036 0.8815 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
648: 13, // 1101184 0.8816 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
649: 13, // 1105444 0.8818 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
650: 13, // 1107952 0.8820 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 651: 21, 1111828 0.8821 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 652: 21, 1113580 0.8822 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 653: 21, 1116348 0.8822 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 654: 21, 1118512 0.8823 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 655: 21, 1121736 0.8824 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 656: 21, 1122420 0.8824 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 657: 21, 1126488 0.8825 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 658: 21, 1129108 0.8826 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 659: 21, 1133060 0.8828 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 660: 21, 1134588 0.8828 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 661: 21, 1138152 0.8830 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 662: 21, 1140656 0.8830 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 663: 21, 1143540 0.8831 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 664: 21, 1144680 0.8832 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 665: 21, 1147836 0.8833 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 666: 21, 1149660 0.8833 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 667: 21, 1153132 0.8835 ██▆▃▁▁▁▁▁▁▁▁▁▁▁
// 668: 21, 1154544 0.8835 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 669: 21, 1157064 0.8836 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 670: 21, 1159204 0.8837 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 671: 21, 1162288 0.8838 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 672: 21, 1162748 0.8838 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 673: 21, 1167100 0.8841 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 674: 21, 1169804 0.8842 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 675: 21, 1174152 0.8845 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 676: 21, 1175880 0.8846 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 677: 21, 1179524 0.8848 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 678: 21, 1182224 0.8850 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 679: 21, 1185620 0.8852 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 680: 21, 1186644 0.8853 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 681: 21, 1190740 0.8856 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 682: 21, 1193192 0.8858 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 683: 21, 1196856 0.8861 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 684: 21, 1198580 0.8863 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 685: 21, 1201296 0.8865 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 686: 21, 1203316 0.8866 ██▇▃▁▁▁▁▁▁▁▁▁▁▁
// 687: 21, 1206276 0.8869 ██▇▃▂▁▁▁▁▁▁▁▁▁▁
// 688: 21, 1207052 0.8869 ██▇▃▂▁▁▁▁▁▁▁▁▁▁
// 689: 21, 1210528 0.8873 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 690: 21, 1212792 0.8875 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 691: 21, 1216476 0.8878 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 692: 21, 1217768 0.8880 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 693: 21, 1221180 0.8883 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 694: 21, 1223652 0.8886 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 695: 21, 1226388 0.8888 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 696: 21, 1227408 0.8890 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 697: 21, 1230624 0.8893 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 698: 21, 1232420 0.8894 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 699: 21, 1236064 0.8898 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 700: 21, 1237564 0.8900 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 701: 21, 1240052 0.8902 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 702: 21, 1242276 0.8905 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 703: 21, 1245648 0.8909 ██▇▄▂▁▁▁▁▁▁▁▁▁▁
// 704: 21, 1245992 0.8909 ███▄▂▁▁▁▁▁▁▁▁▁▁
// 705: 21, 1250948 0.8916 ███▄▂▁▁▁▁▁▁▁▁▁▁
// 706: 21, 1254056 0.8920 ███▄▂▁▁▁▁▁▁▁▁▁▁
// 707: 21, 1259044 0.8927 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 708: 21, 1260972 0.8930 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 709: 21, 1265260 0.8935 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 710: 21, 1268400 0.8939 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 711: 21, 1272232 0.8945 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 712: 21, 1273460 0.8946 ███▅▂▁▁▁▁▁▁▁▁▁▁
// 713: 21, 1278024 0.8953 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 714: 21, 1280708 0.8956 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 715: 21, 1285052 0.8962 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 716: 21, 1287012 0.8965 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 717: 21, 1290168 0.8969 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 718: 21, 1292632 0.8972 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 719: 21, 1296276 0.8976 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 720: 21, 1297048 0.8977 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 721: 21, 1301660 0.8983 ███▅▃▁▁▁▁▁▁▁▁▁▁
// 722: 21, 1304612 0.8986 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 723: 21, 1309012 0.8992 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 724: 21, 1310752 0.8994 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 725: 21, 1314672 0.8999 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 726: 21, 1317412 0.9003 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 727: 21, 1320624 0.9007 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 728: 21, 1321884 0.9009 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 729: 21, 1325364 0.9013 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 730: 21, 1327396 0.9016 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 731: 21, 1331128 0.9021 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 732: 21, 1332656 0.9023 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 733: 21, 1335412 0.9027 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 734: 21, 1337696 0.9030 ███▆▃▁▁▁▁▁▁▁▁▁▁
// 735: 21, 1340948 0.9035 ███▆▄▁▁▁▁▁▁▁▁▁▁
// 736: 21, 1341500 0.9035 ███▆▄▁▁▁▁▁▁▁▁▁▁
// 737: 21, 1345980 0.9043 ███▆▄▁▁▁▁▁▁▁▁▁▁
// 738: 21, 1348760 0.9047 ███▆▄▁▁▁▁▁▁▁▁▁▁
// 739: 21, 1353256 0.9054 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 740: 21, 1355036 0.9056 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 741: 21, 1358800 0.9062 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 742: 21, 1361596 0.9065 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 743: 21, 1365116 0.9070 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 744: 21, 1366164 0.9072 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 745: 21, 1370432 0.9077 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 746: 21, 1372984 0.9080 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 747: 21, 1376788 0.9084 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 748: 21, 1378584 0.9086 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 749: 21, 1381396 0.9089 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 750: 21, 1383484 0.9092 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 751: 21, 1386556 0.9095 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 752: 21, 1387360 0.9096 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 753: 21, 1390960 0.9100 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 754: 21, 1393308 0.9102 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 755: 21, 1397152 0.9106 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 756: 21, 1398484 0.9107 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 757: 21, 1402060 0.9110 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 758: 21, 1404652 0.9112 ███▇▄▁▁▁▁▁▁▁▁▁▁
// 759: 21, 1407504 0.9115 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 760: 21, 1408568 0.9116 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 761: 21, 1411932 0.9119 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 762: 21, 1413800 0.9121 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 763: 21, 1417644 0.9124 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 764: 21, 1419220 0.9125 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 765: 21, 1421828 0.9127 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 766: 21, 1424176 0.9129 ███▇▅▁▁▁▁▁▁▁▁▁▁
// 767: 21, 1427752 0.9131 ███▇▅▂▁▁▁▁▁▁▁▁▁
// 768: 21, 1428092 0.9131 ████▅▂▁▁▁▁▁▁▁▁▁
// 769: 21, 1433384 0.9134 ████▅▂▁▁▁▁▁▁▁▁▁
// 770: 21, 1436700 0.9136 ████▅▂▁▁▁▁▁▁▁▁▁
// 771: 21, 1442024 0.9137 █▇▇▇▅▂▁▁▁▁▁▁▁▁▁
// 772: 21, 1444080 0.9138 █▇▇▇▅▂▁▁▁▁▁▁▁▁▁
// 773: 21, 1448656 0.9138 █▇▇▇▅▂▁▁▁▁▁▁▁▁▁
// 774: 21, 1452004 0.9139 █▇▇▇▅▂▁▁▁▁▁▁▁▁▁
// 775: 21, 1456092 0.9139 █▇▇▇▅▂▁▁▁▁▁▁▁▁▁
// 776: 21, 1457400 0.9140 █▇▇▇▅▂▁▁▁▁▁▁▁▁▁
// 777: 21, 1462268 0.9139 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 778: 21, 1465128 0.9139 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 779: 21, 1469760 0.9138 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 780: 21, 1471848 0.9138 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 781: 21, 1475212 0.9138 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 782: 21, 1477836 0.9138 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 783: 21, 1481720 0.9138 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 784: 21, 1482540 0.9138 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 785: 21, 1487456 0.9137 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 786: 21, 1490600 0.9136 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 787: 21, 1495288 0.9134 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 788: 21, 1497140 0.9134 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 789: 21, 1501316 0.9132 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 790: 21, 1504232 0.9130 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 791: 21, 1507652 0.9129 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 792: 21, 1508992 0.9129 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 793: 21, 1512696 0.9128 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 794: 21, 1514856 0.9127 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 795: 21, 1518828 0.9125 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 796: 21, 1520452 0.9124 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 797: 21, 1523384 0.9122 █▇▇▇▆▂▁▁▁▁▁▁▁▁▁
// 798: 21, 1525812 0.9120 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 799: 21, 1529272 0.9117 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 800: 21, 1529856 0.9118 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 801: 21, 1534624 0.9112 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 802: 21, 1537580 0.9109 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 803: 21, 1542364 0.9104 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 804: 21, 1544256 0.9102 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 805: 21, 1548260 0.9098 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 806: 21, 1551232 0.9095 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 807: 21, 1554976 0.9092 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 808: 21, 1556088 0.9091 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 809: 21, 1560628 0.9087 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 810: 21, 1563340 0.9084 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 811: 21, 1567384 0.9082 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 812: 21, 1569292 0.9080 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 813: 21, 1572280 0.9078 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 814: 21, 1574496 0.9076 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 815: 21, 1577760 0.9074 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 816: 21, 1578612 0.9073 █▇▇▇▆▃▁▁▁▁▁▁▁▁▁
// 817: 21, 1582436 0.9072 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 818: 21, 1584928 0.9071 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 819: 21, 1589012 0.9069 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 820: 21, 1590424 0.9069 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 821: 21, 1594224 0.9067 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 822: 21, 1596976 0.9065 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 823: 21, 1600004 0.9064 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 824: 21, 1601132 0.9063 █▆▆▆▆▃▁▁▁▁▁▁▁▁▁
// 825: 21, 1604704 0.9061 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 826: 21, 1606684 0.9060 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 827: 21, 1610768 0.9057 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 828: 21, 1612440 0.9056 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 829: 21, 1615208 0.9055 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 830: 21, 1617700 0.9054 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 831: 21, 1621500 0.9051 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 832: 21, 1621856 0.9051 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 833: 21, 1627484 0.9048 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 834: 21, 1631008 0.9046 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 835: 21, 1636668 0.9043 █▆▆▆▆▃▂▁▁▁▁▁▁▁▁
// 836: 21, 1638852 0.9042 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 837: 21, 1643716 0.9039 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 838: 21, 1647272 0.9037 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 839: 21, 1651616 0.9035 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 840: 21, 1653004 0.9034 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 841: 21, 1658176 0.9032 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 842: 21, 1661212 0.9031 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 843: 21, 1666132 0.9028 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 844: 21, 1668348 0.9027 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 845: 21, 1671920 0.9026 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 846: 21, 1674704 0.9024 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 847: 21, 1678828 0.9021 █▆▆▆▆▄▂▁▁▁▁▁▁▁▁
// 848: 21, 1679696 0.9021 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 849: 21, 1684916 0.9018 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 850: 21, 1688252 0.9015 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 851: 21, 1693228 0.9013 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 852: 21, 1695192 0.9011 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 853: 21, 1699624 0.9010 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 854: 21, 1702716 0.9009 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 855: 21, 1706344 0.9007 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 856: 21, 1707764 0.9006 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 857: 21, 1711692 0.9005 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 858: 21, 1713980 0.9004 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 859: 21, 1718192 0.9004 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 860: 21, 1719912 0.9004 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 861: 21, 1723020 0.9003 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 862: 21, 1725592 0.9003 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 863: 21, 1729260 0.9003 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 864: 21, 1729876 0.9002 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 865: 21, 1734932 0.9004 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 866: 21, 1738064 0.9005 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 867: 21, 1743136 0.9004 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 868: 21, 1745140 0.9005 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 869: 21, 1749384 0.9005 █▅▅▅▅▄▂▁▁▁▁▁▁▁▁
// 870: 21, 1752532 0.9004 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 871: 21, 1756500 0.9003 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 872: 21, 1757676 0.9003 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 873: 21, 1762488 0.9001 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 874: 21, 1765360 0.9000 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 875: 21, 1769644 0.8997 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 876: 21, 1771664 0.8996 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 877: 21, 1774828 0.8995 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 878: 21, 1777172 0.8995 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 879: 21, 1780628 0.8993 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 880: 21, 1781528 0.8993 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 881: 21, 1785576 0.8990 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 882: 21, 1788212 0.8988 █▅▅▅▅▄▃▁▁▁▁▁▁▁▁
// 883: 21, 1792536 0.8985 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 884: 21, 1794028 0.8984 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 885: 21, 1798052 0.8980 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 886: 21, 1800964 0.8977 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 887: 21, 1804168 0.8974 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 888: 21, 1805360 0.8973 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 889: 21, 1809140 0.8970 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 890: 21, 1811232 0.8969 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 891: 21, 1815556 0.8964 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 892: 21, 1817324 0.8962 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 893: 21, 1820252 0.8959 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 894: 21, 1822888 0.8956 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 895: 21, 1826912 0.8950 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 896: 21, 1827284 0.8951 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 897: 21, 1833248 0.8941 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 898: 21, 1836980 0.8935 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 899: 21, 1842976 0.8925 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 900: 21, 1845288 0.8921 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 901: 21, 1850440 0.8913 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 902: 21, 1854204 0.8907 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 903: 21, 1858804 0.8900 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 904: 21, 1860272 0.8898 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 905: 21, 1865748 0.8889 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 906: 21, 1868960 0.8884 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 907: 21, 1874168 0.8877 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 908: 21, 1876512 0.8873 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 909: 21, 1880292 0.8868 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 910: 21, 1883236 0.8864 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 911: 21, 1887600 0.8858 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 912: 21, 1888516 0.8857 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 913: 21, 1894040 0.8850 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 914: 21, 1897568 0.8846 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 915: 21, 1902832 0.8840 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 916: 21, 1904908 0.8837 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 917: 21, 1909596 0.8831 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 918: 21, 1912864 0.8826 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 919: 21, 1916700 0.8821 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 920: 21, 1918200 0.8820 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 921: 21, 1922352 0.8814 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 922: 21, 1924768 0.8811 █▄▄▄▄▄▃▁▁▁▁▁▁▁▁
// 923: 21, 1929220 0.8804 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 924: 21, 1931036 0.8801 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 925: 21, 1934320 0.8797 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 926: 21, 1937036 0.8793 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 927: 21, 1940912 0.8787 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 928: 21, 1941560 0.8786 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 929: 21, 1946904 0.8777 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 930: 21, 1950212 0.8771 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 931: 21, 1955572 0.8764 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 932: 21, 1957688 0.8761 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 933: 21, 1962172 0.8754 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 934: 21, 1965496 0.8751 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 935: 21, 1969688 0.8745 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 936: 21, 1970928 0.8743 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 937: 21, 1976012 0.8739 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 938: 21, 1979044 0.8736 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 939: 21, 1983568 0.8731 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 940: 21, 1985700 0.8729 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 941: 21, 1989040 0.8726 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 942: 21, 1991512 0.8723 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 943: 21, 1995160 0.8720 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 944: 21, 1996108 0.8719 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 945: 21, 2000380 0.8715 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 946: 21, 2003160 0.8713 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 947: 21, 2007724 0.8710 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 948: 21, 2009296 0.8709 █▄▃▃▃▃▃▁▁▁▁▁▁▁▁
// 949: 21, 2013544 0.8707 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 950: 21, 2016616 0.8706 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 951: 21, 2019996 0.8703 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 952: 21, 2021252 0.8703 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 953: 21, 2025240 0.8700 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 954: 21, 2027444 0.8699 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 955: 21, 2032008 0.8698 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 956: 21, 2033872 0.8697 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 957: 21, 2036960 0.8696 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 958: 21, 2039740 0.8696 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 959: 21, 2043988 0.8696 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 960: 21, 2044376 0.8695 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 961: 21, 2050676 0.8696 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 962: 21, 2054616 0.8697 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 963: 21, 2060948 0.8697 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 964: 21, 2063388 0.8698 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 965: 21, 2068828 0.8698 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 966: 21, 2072800 0.8698 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 967: 21, 2077656 0.8699 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 968: 21, 2079204 0.8699 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 969: 21, 2084984 0.8699 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 970: 21, 2088372 0.8699 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 971: 21, 2093868 0.8699 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 972: 21, 2096340 0.8698 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 973: 21, 2100328 0.8698 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 974: 21, 2103432 0.8698 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 975: 21, 2108036 0.8697 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 976: 21, 2109000 0.8698 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 977: 21, 2114828 0.8696 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 978: 21, 2118548 0.8694 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 979: 21, 2124100 0.8693 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 980: 21, 2126288 0.8692 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 981: 21, 2131232 0.8691 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 982: 21, 2134676 0.8691 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 983: 21, 2138720 0.8690 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 984: 21, 2140300 0.8689 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 985: 21, 2144676 0.8689 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 986: 21, 2147220 0.8689 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 987: 21, 2151912 0.8689 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 988: 21, 2153824 0.8689 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 989: 21, 2157284 0.8688 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 990: 21, 2160144 0.8688 █▄▃▃▃▃▃▂▁▁▁▁▁▁▁
// 991: 21, 2164228 0.8688 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 992: 21, 2164908 0.8687 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 993: 21, 2170540 0.8687 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 994: 21, 2174024 0.8687 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 995: 21, 2179672 0.8686 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 996: 21, 2181900 0.8685 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 997: 21, 2186624 0.8684 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 998: 21, 2190124 0.8683 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 999: 21, 2194540 0.8681 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1000: 21, 2195844 0.8682 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1001: 21, 2201200 0.8678 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1002: 21, 2204392 0.8677 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1003: 21, 2209156 0.8674 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1004: 21, 2211400 0.8673 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1005: 21, 2214916 0.8672 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1006: 21, 2217516 0.8671 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1007: 21, 2221356 0.8669 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1008: 21, 2222352 0.8669 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1009: 21, 2226848 0.8667 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1010: 21, 2229772 0.8665 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1011: 21, 2234576 0.8662 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1012: 21, 2236228 0.8662 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1013: 21, 2240700 0.8658 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1014: 21, 2243932 0.8655 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1015: 21, 2247488 0.8653 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1016: 21, 2248808 0.8652 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1017: 21, 2253004 0.8649 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1018: 21, 2255320 0.8647 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1019: 21, 2260124 0.8642 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1020: 21, 2262084 0.8641 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1021: 21, 2265332 0.8638 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1022: 21, 2268256 0.8635 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1023: 21, 2272728 0.8629 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1024: 21, 2273132 0.8630 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1025: 21, 2279768 0.8620 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1026: 21, 2283916 0.8614 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1027: 21, 2290584 0.8605 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1028: 21, 2293152 0.8601 █▄▂▂▂▂▂▂▁▁▁▁▁▁▁
// 1029: 21, 2298880 0.8594 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 1030: 21, 2303060 0.8588 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
// 1090: 21, 2524880 0.8406 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
1091: 19, // 2531844 0.8405 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1092: 19, // 2534540 0.8404 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1093: 19, // 2540516 0.8403 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1094: 19, // 2544864 0.8403 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1095: 19, // 2550192 0.8402 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1096: 19, // 2551900 0.8401 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1097: 19, // 2558208 0.8401 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1098: 19, // 2561908 0.8401 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1099: 19, // 2567900 0.8401 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1100: 19, // 2570588 0.8401 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1101: 19, // 2574952 0.8400 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1102: 19, // 2578336 0.8400 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1103: 19, // 2583340 0.8400 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1104: 19, // 2584400 0.8400 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1105: 19, // 2590716 0.8401 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1106: 19, // 2594740 0.8401 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1107: 19, // 2600748 0.8402 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1108: 19, // 2603120 0.8402 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1109: 19, // 2608456 0.8403 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1110: 19, // 2612172 0.8403 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1111: 19, // 2616552 0.8403 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1112: 19, // 2618252 0.8404 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1113: 19, // 2622996 0.8404 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1114: 19, // 2625756 0.8404 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1115: 19, // 2630808 0.8405 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1116: 19, // 2632872 0.8405 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1117: 19, // 2636604 0.8405 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1118: 19, // 2639672 0.8406 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1119: 19, // 2644052 0.8407 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1120: 19, // 2644796 0.8407 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1121: 19, // 2650804 0.8409 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1122: 19, // 2654520 0.8410 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1123: 19, // 2660544 0.8412 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1124: 19, // 2662916 0.8412 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
1200: 19, // 2962688 0.8578 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
1201: 19, // 2967796 0.8581 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
1202: 19, // 2971112 0.8584 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
1203: 19, // 2976596 0.8588 █▆▄▁▁▁▁▁▁▁▁▁▁▁▁
1280: 12, // 3280036 0.8816 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1281: 12, // 3287580 0.8817 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1282: 12, // 3292280 0.8818 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1283: 13, // 3299856 0.8820 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1284: 13, // 3302780 0.8821 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1285: 13, // 3309256 0.8822 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1286: 13, // 3313988 0.8823 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1287: 13, // 3319812 0.8824 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1288: 13, // 3321636 0.8825 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1289: 13, // 3328592 0.8826 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1290: 13, // 3332672 0.8827 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1291: 13, // 3339204 0.8828 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1292: 13, // 3342160 0.8829 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1293: 13, // 3346908 0.8830 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1294: 13, // 3350564 0.8831 ██▅▂▁▁▁▁▁▁▁▁▁▁▁
1295: 13, // 3355996 0.8832 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
1296: 13, // 3357168 0.8832 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
1297: 13, // 3363960 0.8833 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
1298: 13, // 3368300 0.8834 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
1299: 13, // 3374888 0.8835 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 1300: 21, 3377320 0.8836 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 2178: 21, 7648828 0.8421 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
2179: 19, // 7660172 0.8420 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
2180: 19, // 7664552 0.8420 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
2181: 19, // 7674236 0.8419 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
2182: 19, // 7681280 0.8419 █▄▂▁▁▁▁▁▁▁▁▁▁▁▁
2596: 13, // 10210244 0.8845 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
2597: 13, // 10219388 0.8845 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 2598: 21, 10225996 0.8846 ██▆▂▁▁▁▁▁▁▁▁▁▁▁
// 4354: 21, 23097968 0.8431 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
4355: 19, // 23116388 0.8431 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
4356: 19, // 23123464 0.8430 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
4357: 19, // 23139212 0.8430 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
4358: 19, // 23150636 0.8430 █▄▂▂▂▂▂▂▂▁▁▁▁▁▁
}