spb/prime-mystery-engine
Public
Python 64.3%
TeX 35.7%
1{2 "limit": 100000000,3 "scan_seconds": 0.3,4 "checkpoints": {5 "1000000": {6 "jumping_champion": 6,7 "N2": 8169,8 "N4": 8143,9 "N6": 13549,10 "N2_gt_N4": true,11 "mult6_local_max_up_to": 66,12 "pearson_consecutive_gaps": -0.04314,13 "HL_ratio_obs_over_pred": {14 "2": 1.1638,15 "4": 0.9079,16 "6": 2.127,17 "8": 1.0986,18 "10": 1.6979,19 "12": 0.8438,20 "14": 1.4478,21 "16": 1.167,22 "18": 1.2474,23 "20": 1.3534,24 "22": 1.4405,25 "24": 0.9367,26 "26": 1.0754,27 "28": 1.3251,28 "30": 1.1094,29 "32": 0.8116,30 "34": 0.9628,31 "36": 0.5327,32 "38": 0.7818,33 "40": 0.7755,34 "42": 0.7303,35 "44": 0.7661,36 "46": 0.6873,37 "48": 0.4844,38 "50": 0.4916,39 "52": 0.545,40 "54": 0.5899,41 "56": 0.3724,42 "58": 0.6091,43 "60": 0.6092,44 "62": 0.246,45 "64": 0.4307,46 "66": 0.4863,47 "68": 0.3178,48 "70": 0.4408,49 "72": 0.1881,50 "74": 0.4658,51 "76": 0.2717,52 "78": 0.3339,53 "80": 0.131,54 "82": 0.3591,55 "84": 0.2448,56 "86": 0.3905,57 "88": 0.1138,58 "90": 0.2385,59 "92": 0.1546,60 "96": 0.2053,61 "98": 0.206,62 "100": 0.2879,63 "112": 0.5587,64 "114": 0.406965 }66 },67 "10000000": {68 "jumping_champion": 6,69 "N2": 58980,70 "N4": 58621,71 "N6": 99987,72 "N2_gt_N4": true,73 "mult6_local_max_up_to": 66,74 "pearson_consecutive_gaps": -0.03811,75 "HL_ratio_obs_over_pred": {76 "2": 1.1489,77 "4": 0.871,78 "6": 2.0393,79 "8": 1.0585,80 "10": 1.6133,81 "12": 0.8326,82 "14": 1.424,83 "16": 1.1671,84 "18": 1.2485,85 "20": 1.3614,86 "22": 1.3773,87 "24": 0.9891,88 "26": 1.141,89 "28": 1.4147,90 "30": 1.2232,91 "32": 0.8903,92 "34": 1.0759,93 "36": 0.6405,94 "38": 0.9417,95 "40": 0.8398,96 "42": 0.9292,97 "44": 0.8687,98 "46": 0.8307,99 "48": 0.736,100 "50": 0.7305,101 "52": 0.7709,102 "54": 0.7439,103 "56": 0.5409,104 "58": 0.8328,105 "60": 0.7985,106 "62": 0.5599,107 "64": 0.6578,108 "66": 0.6318,109 "68": 0.5484,110 "70": 0.6432,111 "72": 0.4055,112 "74": 0.4956,113 "76": 0.503,114 "78": 0.5206,115 "80": 0.3945,116 "82": 0.3845,117 "84": 0.5277,118 "86": 0.3299,119 "88": 0.4046,120 "90": 0.4117,121 "92": 0.274,122 "94": 0.3291,123 "96": 0.3057,124 "98": 0.2677,125 "100": 0.2272,126 "102": 0.237,127 "104": 0.3407,128 "106": 0.2218,129 "108": 0.1842,130 "110": 0.1903,131 "112": 0.236,132 "114": 0.1681,133 "116": 0.2483,134 "118": 0.1616,135 "120": 0.1492136 }137 },138 "100000000": {139 "jumping_champion": 6,140 "N2": 440312,141 "N4": 440257,142 "N6": 768752,143 "N2_gt_N4": true,144 "mult6_local_max_up_to": 66,145 "pearson_consecutive_gaps": -0.03161,146 "HL_ratio_obs_over_pred": {147 "2": 1.1233,148 "4": 0.8411,149 "6": 1.9794,150 "8": 1.0354,151 "10": 1.5517,152 "12": 0.8181,153 "14": 1.3853,154 "16": 1.1575,155 "18": 1.2411,156 "20": 1.3923,157 "22": 1.3623,158 "24": 1.0072,159 "26": 1.1746,160 "28": 1.4342,161 "30": 1.2777,162 "32": 0.9567,163 "34": 1.1223,164 "36": 0.6928,165 "38": 1.0298,166 "40": 0.8962,167 "42": 1.0292,168 "44": 0.9837,169 "46": 0.9288,170 "48": 0.8448,171 "50": 0.8412,172 "52": 0.9229,173 "54": 0.861,174 "56": 0.6814,175 "58": 0.9254,176 "60": 0.9739,177 "62": 0.6775,178 "64": 0.7893,179 "66": 0.7561,180 "68": 0.6979,181 "70": 0.7817,182 "72": 0.5203,183 "74": 0.6855,184 "76": 0.6376,185 "78": 0.6595,186 "80": 0.5209,187 "82": 0.5931,188 "84": 0.6405,189 "86": 0.5041,190 "88": 0.5793,191 "90": 0.595,192 "92": 0.4816,193 "94": 0.484,194 "96": 0.4483,195 "98": 0.4487,196 "100": 0.3112,197 "102": 0.4079,198 "104": 0.4355,199 "106": 0.3991,200 "108": 0.2648,201 "110": 0.406,202 "112": 0.36,203 "114": 0.3723,204 "116": 0.3333,205 "118": 0.3539,206 "120": 0.3075207 }208 }209 }210}