Task 15318
| Name | batch_89__job_job-000184_1 |
| Workunit | 12112 |
| Created | 30 Apr 2025, 9:48:44 UTC |
| Sent | 1 May 2025, 5:23:39 UTC |
| Report deadline | 8 May 2025, 5:23:39 UTC |
| Received | 1 May 2025, 19:05:49 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 33110 |
| Run time | 7 hours 33 min 14 sec |
| CPU time | 7 hours 33 min 14 sec |
| Validate state | Valid |
| Credit | 39.86 |
| Device peak FLOPS | 5.48 GFLOPS |
| Application version | Universal Docker app v1.09 (docker) windows_x86_64 |
| Peak working set size | 12.24 MB |
| Peak swap size | 2.32 MB |
| Peak disk usage | 122.61 KB |
Stderr output
<core_client_version>8.2.1</core_client_version> <![CDATA[ <stderr_txt> 110, 115, 162, 195, 219, 222 [best: 1000] 4509715660809, 15, 45, 47, 49, 67, 87, 108, 126, 142, 166, 196 [best: 1000] 4552665333769, 15, 45, 47, 49, 68, 77, 113, 123, 157, 198, 207 [best: 1000] 4595615006729, 15, 45, 47, 49, 68, 89, 101, 115, 157, 179, 222 [best: 1000] 4638564679689, 15, 45, 47, 49, 69, 70, 73, 82, 114, 119, 132 [best: 1000] 4681514352649, 15, 45, 47, 49, 69, 88, 101, 116, 158, 201, 222, 236 [best: 1000] 4724464025609, 15, 45, 47, 49, 70, 99, 103, 115, 116, 119, 156 [best: 1000] 4767413698569, 15, 45, 47, 49, 72, 89, 100, 103, 112, 141, 175 [best: 1000] 4810363371529, 15, 45, 47, 49, 74, 85, 108, 135, 152, 156, 188 [best: 1000] 4853313044489, 15, 45, 47, 49, 77, 84, 98, 108, 111, 112, 204 [best: 1000] 4896262717449, 15, 45, 47, 49, 79, 87, 93, 115, 149, 222, 244 [best: 1000] 4939212390409, 15, 45, 47, 49, 80, 87, 115, 129, 144, 171 [best: 1000] 4982162063369, 15, 45, 47, 50, 51, 63, 73, 79, 90, 166, 179 [best: 1000] 5025111736329, 15, 45, 47, 50, 52, 56, 59, 71, 100, 104, 157 [best: 1000] 5068061409289, 15, 45, 47, 50, 52, 67, 98, 108, 129, 157, 164 [best: 1000] 5111011082249, 15, 45, 47, 50, 53, 54, 71, 89, 109, 115, 171 [best: 1000] 5153960755209, 15, 45, 47, 50, 53, 65, 73, 88, 111, 145, 206 [best: 1000] 5196910428169, 15, 45, 47, 50, 53, 89, 107, 108, 148, 176, 210 [best: 1000] 5239860101129, 15, 45, 47, 50, 54, 64, 83, 96, 142, 161, 178 [best: 1000] 5282809774089, 15, 45, 47, 50, 54, 87, 96, 140, 144, 163, 182 [best: 1000] 5325759447049, 15, 45, 47, 50, 55, 62, 64, 81, 105, 155, 158 [best: 1000] 5368709120009, 15, 45, 47, 50, 55, 69, 73, 95, 143, 167, 200 [best: 1000] 5411658792969, 15, 45, 47, 50, 55, 88, 93, 132, 166, 192, 197 [best: 1000] 5454608465929, 15, 45, 47, 50, 56, 62, 84, 88, 117, 123, 167 [best: 1000] 5497558138889, 15, 45, 47, 50, 56, 79, 80, 85, 87, 106, 135 [best: 1000] 5540507811849, 15, 45, 47, 50, 57, 61, 67, 73, 115, 154, 212 [best: 1000] 5583457484809, 15, 45, 47, 50, 57, 66, 93, 108, 111, 163, 184 [best: 1000] 5626407157769, 15, 45, 47, 50, 57, 72, 114, 115, 118, 166, 188 [best: 1000] 5669356830729, 15, 45, 47, 50, 57, 81, 117, 143, 156, 159, 174 [best: 1000] 5712306503689, 15, 45, 47, 50, 57, 93, 98, 119, 140, 245, 284 [best: 1000] 5755256176649, 15, 45, 47, 50, 58, 61, 89, 97, 129, 172, 185 [best: 1000] 5798205849609, 15, 45, 47, 50, 58, 70, 91, 96, 143, 166, 177 [best: 1000] 5841155522569, 15, 45, 47, 50, 58, 87, 92, 97, 107, 160, 183 [best: 1000] 5884105195529, 15, 45, 47, 50, 59, 66, 76, 104, 120, 143, 182 [best: 1000] 5927054868489, 15, 45, 47, 50, 59, 78, 90, 151, 164, 170, 205 [best: 1000] 5970004541449, 15, 45, 47, 50, 60, 64, 83, 97, 112, 158, 159 [best: 1000] 6012954214409, 15, 45, 47, 50, 61, 62, 91, 97, 123, 125, 186 [best: 1000] 6055903887369, 15, 45, 47, 50, 61, 72, 78, 91, 115, 133, 194 [best: 1000] 6098853560329, 15, 45, 47, 50, 61, 92, 108, 129, 157, 179 [best: 1000] 6141803233289, 15, 45, 47, 50, 62, 74, 86, 102, 123, 153, 209 [best: 1000] 6184752906249, 15, 45, 47, 50, 63, 67, 91, 95, 161, 165, 190 [best: 1000] 6227702579209, 15, 45, 47, 50, 63, 79, 83, 88, 102, 161 [best: 1000] 6270652252169, 15, 45, 47, 50, 64, 68, 92, 99, 105, 167, 226 [best: 1000] 6313601925129, 15, 45, 47, 50, 65, 67, 79, 92, 137, 158, 178 [best: 1000] 6356551598089, 15, 45, 47, 50, 65, 82, 85, 106, 147, 172, 191 [best: 1000] 6399501271049, 15, 45, 47, 50, 66, 75, 83, 115, 135, 141, 208 [best: 1000] 6442450944009, 15, 45, 47, 50, 67, 70, 77, 108, 127, 144, 145 [best: 1000] 6485400616969, 15, 45, 47, 50, 68, 69, 87, 96, 110, 123, 212 [best: 1000] 6528350289929, 15, 45, 47, 50, 68, 75, 114, 136, 145, 177, 210 [best: 1000] 6571299962889, 15, 45, 47, 50, 68, 84, 93, 99, 157, 210, 232, 274 [best: 1000] 6614249635849, 15, 45, 47, 50, 68, 93, 100, 131, 199, 220, 221, 229 [best: 1000] 6657199308809, 15, 45, 47, 50, 69, 70, 79, 96, 105, 178, 200 [best: 1000] 6700148981769, 15, 45, 47, 50, 69, 83, 131, 133, 149, 183, 195 [best: 1000] 6743098654729, 15, 45, 47, 50, 70, 74, 129, 134, 156, 171, 183 [best: 1000] 6786048327689, 15, 45, 47, 50, 71, 75, 102, 118, 136, 158, 183 [best: 1000] 6828998000649, 15, 45, 47, 50, 72, 74, 115, 137, 161, 175, 180 [best: 1000] 6871947673609, 15, 45, 47, 50, 74, 76, 93, 107, 134, 140, 188 [best: 1000] 6914897346569, 15, 45, 47, 50, 75, 78, 95, 127, 132, 133, 165 [best: 1000] 6957847019529, 15, 45, 47, 50, 77, 81, 98, 134, 135, 139, 217 [best: 1000] 7000796692489, 15, 45, 47, 50, 78, 87, 93, 115, 120, 128, 181 [best: 1000] 7043746365449, 15, 45, 47, 50, 78, 99, 121, 147, 150, 214, 243 [best: 1000] 7086696038409, 15, 45, 47, 50, 80, 86, 98, 110, 157, 165, 182 [best: 1000] 7129645711369, 15, 45, 47, 51, 52, 58, 83, 126, 132, 161, 169 [best: 1000] 7172595384329, 15, 45, 47, 51, 53, 54, 64, 89, 99, 116, 138 [best: 1000] 7215545057289, 15, 45, 47, 51, 53, 73, 100, 129, 155, 169, 198 [best: 1000] 7258494730249, 15, 45, 47, 51, 54, 68, 73, 83, 99, 167, 217 [best: 1000] 7301444403209, 15, 45, 47, 51, 55, 61, 88, 109, 125, 190, 241 [best: 1000] 7344394076169, 15, 45, 47, 51, 55, 76, 105, 109, 115, 176, 197 [best: 1000] 7387343749129, 15, 45, 47, 51, 56, 65, 66, 86, 105, 137, 193 [best: 1000] 7430293422089, 15, 45, 47, 51, 57, 58, 116, 131, 137, 193 [best: 1000] 7473243095049, 15, 45, 47, 51, 57, 67, 95, 132, 145, 152, 206 [best: 1000] 7516192768009, 15, 45, 47, 51, 57, 81, 99, 105, 113, 158, 176 [best: 1000] 7559142440969, 15, 45, 47, 51, 58, 60, 68, 108, 123, 125, 213 [best: 1000] 7602092113929, 15, 45, 47, 51, 58, 76, 87, 97, 109, 140, 199 [best: 1000] 7645041786889, 15, 45, 47, 51, 59, 67, 77, 83, 107, 120, 139 [best: 1000] 7687991459849, 15, 45, 47, 51, 60, 63, 74, 80, 104, 155, 167 [best: 1000] 7730941132809, 15, 45, 47, 51, 61, 68, 77, 84, 95, 139, 192 [best: 1000] 7773890805769, 15, 45, 47, 51, 61, 100, 106, 122, 134, 148, 199 [best: 1000] 7816840478729, 15, 45, 47, 51, 62, 89, 103, 105, 123, 172, 174 [best: 1000] 7859790151689, 15, 45, 47, 51, 63, 84, 93, 95, 116, 162, 172 [best: 1000] 7902739824649, 15, 45, 47, 51, 64, 85, 98, 100, 126, 195, 207 [best: 1000] 7945689497609, 15, 45, 47, 51, 66, 68, 70, 99, 104, 162, 219 [best: 1000] 7988639170569, 15, 45, 47, 51, 67, 70, 82, 111, 118, 129, 131 [best: 1000] 8031588843529, 15, 45, 47, 51, 68, 74, 86, 89, 122, 129, 136 [best: 1000] 8074538516489, 15, 45, 47, 51, 68, 86, 95, 129, 156, 182, 208 [best: 1000] 8117488189449, 15, 45, 47, 51, 68, 105, 122, 131, 139, 185, 196, 210 [best: 1000] 8160437862409, 15, 45, 47, 51, 69, 87, 116, 135, 138, 156, 170, 208 [best: 1000] 8203387535369, 15, 45, 47, 51, 73, 76, 78, 93, 127, 140, 183 [best: 1000] 8246337208329, 15, 45, 47, 51, 75, 79, 82, 134, 157, 182, 201 [best: 1000] 8289286881289, 15, 45, 47, 51, 76, 85, 88, 92, 110, 131, 140 [best: 1000] 8332236554249, 15, 45, 47, 52, 53, 54, 74, 99, 119, 147, 152 [best: 1000] 8375186227209, 15, 45, 47, 52, 53, 69, 106, 140, 187, 200, 219, 239 [best: 1000] 8418135900169, 15, 45, 47, 52, 54, 61, 89, 120, 121, 174, 187 [best: 1000] 8461085573129, 15, 45, 47, 52, 54, 92, 98, 105, 114, 137, 156 [best: 1000] 8504035246089, 15, 45, 47, 52, 55, 64, 87, 102, 139, 164, 188 [best: 1000] 8546984919049, 15, 45, 47, 52, 55, 78, 117, 135, 176, 185, 205 [best: 1000] 8589934592009, 15, 45, 47, 52, 56, 59, 113, 133, 144, 156, 176 [best: 1000] 8632884264969, 15, 45, 47, 52, 56, 71, 74, 77, 133, 143, 151 [best: 1000] 8675833937929, 15, 45, 47, 52, 57, 58, 68, 109, 150, 200, 228 [best: 1000] 8718783610889, 15, 45, 47, 52, 57, 65, 89, 116, 123, 133, 136 [best: 1000] 8761733283849, 15, 45, 47, 52, 57, 76, 83, 96, 97, 140, 159 [best: 1000] 8804682956809, 15, 45, 47, 52, 57, 93, 95, 144, 171, 217, 239 [best: 1000] 8847632629769, 15, 45, 47, 52, 58, 64, 74, 75, 125, 144, 187 [best: 1000] 8890582302729, 15, 45, 47, 52, 58, 77, 79, 80, 156, 162, 166 [best: 1000] 8933531975689, 15, 45, 47, 52, 59, 60, 65, 110, 145, 160, 169 [best: 1000] 8976481648649, 15, 45, 47, 52, 59, 70, 88, 103, 156, 171, 192 [best: 1000] 9019431321609, 15, 45, 47, 52, 59, 96, 106, 122, 139, 166, 204 [best: 1000] 9062380994569, 15, 45, 47, 52, 60, 79, 80, 91, 153, 179, 195 [best: 1000] 9105330667529, 15, 45, 47, 52, 61, 73, 78, 79, 81, 145, 150 [best: 1000] 9148280340489, 15, 45, 47, 52, 62, 68, 111, 126, 130, 169, 196 [best: 1000] 9191230013449, 15, 45, 47, 52, 62, 93, 101, 107, 163, 166, 254 [best: 1000] 9234179686409, 15, 45, 47, 52, 63, 79, 84, 96, 117, 160, 187 [best: 1000] 9277129359369, 15, 45, 47, 52, 64, 76, 79, 110, 129, 167, 195 [best: 1000] 9320079032329, 15, 45, 47, 52, 65, 74, 95, 121, 145, 162, 168 [best: 1000] 9363028705289, 15, 45, 47, 52, 66, 68, 119, 127, 144, 149, 162 [best: 1000] 9405978378249, 15, 45, 47, 52, 67, 68, 74, 85, 97, 133, 218 [best: 1000] 9448928051209, 15, 45, 47, 52, 67, 89, 108, 110, 135, 189, 239 [best: 1000] 9491877724169, 15, 45, 47, 52, 68, 77, 90, 121, 135, 139, 177 [best: 1000] 9534827397129, 15, 45, 47, 52, 68, 91, 95, 120, 153, 160, 263, 301 [best: 1000] 9577777070089, 15, 45, 47, 52, 69, 73, 92, 133, 163, 178, 203, 204 [best: 1000] 9620726743049, 15, 45, 47, 52, 69, 91, 104, 106, 110, 170, 191 [best: 1000] 9663676416009, 15, 45, 47, 52, 70, 80, 106, 108, 124, 152, 207 [best: 1000] 9706626088969, 15, 45, 47, 52, 73, 77, 94, 108, 139, 150, 160 [best: 1000] 9749575761929, 15, 45, 47, 52, 75, 89, 113, 118, 134, 136, 151 [best: 1000] 9792525434889, 15, 45, 47, 52, 77, 87, 98, 109, 131, 150, 176 [best: 1000] 9835475107849, 15, 45, 47, 52, 78, 95, 106, 150, 165, 183, 220 [best: 1000] 9878424780809, 15, 45, 47, 52, 80, 97, 98, 126, 129, 146, 175 [best: 1000] 9921374453769, 15, 45, 47, 53, 54, 55, 79, 133, 143, 154, 188 [best: 1000] 9964324126729, 15, 45, 47, 53, 54, 69, 99, 103, 151, 169, 192, 240 [best: 1000] 10007273799689, 15, 45, 47, 53, 55, 59, 64, 67, 75, 91, 111 [best: 1000] 10050223472649, 15, 45, 47, 53, 55, 68, 72, 83, 85, 168, 183 [best: 1000] 10093173145609, 15, 45, 47, 53, 55, 88, 100, 108, 135, 166, 198 [best: 1000] 10136122818569, 15, 45, 47, 53, 56, 62, 72, 116, 130, 142, 144 [best: 1000] 10179072491529, 15, 45, 47, 53, 56, 77, 78, 108, 129, 156, 179 [best: 1000] 10222022164489, 15, 45, 47, 53, 57, 59, 83, 107, 108, 113, 163 [best: 1000] 10264971837449, 15, 45, 47, 53, 57, 67, 85, 137, 159, 205, 263 [best: 1000] 10307921510409, 15, 45, 47, 53, 57, 78, 114, 122, 137, 157, 181 [best: 1000] 10350871183369, 15, 45, 47, 53, 57, 97, 103, 108, 110, 179, 191 [best: 1000] 10393820856329, 15, 45, 47, 53, 58, 66, 114, 117, 149, 162, 204 [best: 1000] 10436770529289, 15, 45, 47, 53, 58, 80, 112, 149, 177, 203, 254 [best: 1000] 10479720202249, 15, 45, 47, 53, 59, 62, 96, 114, 141, 150, 168 [best: 1000] 10522669875209, 15, 45, 47, 53, 59, 78, 106, 148, 155, 166, 178 [best: 1000] 10565619548169, 15, 45, 47, 53, 60, 68, 72, 86, 116, 154, 168 [best: 1000] 10608569221129, 15, 45, 47, 53, 61, 63, 77, 85, 128, 151, 155 [best: 1000] 10651518894089, 15, 45, 47, 53, 61, 81, 109, 141, 155, 173, 189 [best: 1000] 10694468567049, 15, 45, 47, 53, 62, 70, 102, 108, 120, 132, 193 [best: 1000] 10737418240009, 15, 45, 47, 53, 63, 64, 88, 104, 120, 156, 182 [best: 1000] 10780367912969, 15, 45, 47, 53, 64, 65, 92, 108, 124, 173, 188 [best: 1000] 10823317585929, 15, 45, 47, 53, 65, 67, 71, 106, 108, 165, 208 [best: 1000] 10866267258889, 15, 45, 47, 53, 65, 86, 88, 119, 141, 143, 161 [best: 1000] 10909216931849, 15, 45, 47, 53, 66, 81, 82, 90, 92, 110, 159 [best: 1000] 10952166604809, 15, 45, 47, 53, 67, 78, 80, 90, 127, 151, 196 [best: 1000] 10995116277769, 15, 45, 47, 53, 68, 72, 85, 133, 149, 152, 202 [best: 1000] 11038065950729, 15, 45, 47, 53, 68, 84, 105, 116, 150, 151, 164 [best: 1000] 11081015623689, 15, 45, 47, 53, 68, 98, 124, 143, 156, 176, 212 [best: 1000] 11123965296649, 15, 45, 47, 53, 69, 82, 116, 128, 130, 132, 181 [best: 1000] 11166914969609, 15, 45, 47, 53, 70, 74, 78, 94, 98, 155, 216 [best: 1000] 11209864642569, 15, 45, 47, 53, 71, 86, 89, 96, 128, 143, 187 [best: 1000] 11252814315529, 15, 45, 47, 53, 75, 77, 89, 102, 122, 162, 190 [best: 1000] 11295763988489, 15, 45, 47, 53, 77, 78, 94, 127, 164, 219, 228 [best: 1000] 11338713661449, 15, 45, 47, 53, 78, 88, 101, 108, 143, 162, 179 [best: 1000] 11381663334409, 15, 45, 47, 53, 80, 86, 92, 110, 125, 141, 189 [best: 1000] 11424613007369, 15, 45, 47, 53, 83, 88, 97, 104, 153, 175, 195 [best: 1000] 11467562680329, 15, 45, 47, 54, 55, 62, 70, 106, 112, 152, 188 [best: 1000] 11510512353289, 15, 45, 47, 54, 55, 71, 79, 84, 114, 134, 170 [best: 1000] 11553462026249, 15, 45, 47, 54, 56, 57, 68, 74, 138, 177, 223 [best: 1000] 11596411699209, 15, 45, 47, 54, 56, 68, 119, 123, 163, 217, 256 [best: 1000] 11639361372169, 15, 45, 47, 54, 57, 58, 125, 144, 171, 195, 202 [best: 1000] 11682311045129, 15, 45, 47, 54, 57, 65, 85, 117, 146, 164, 170 [best: 1000] 11725260718089, 15, 45, 47, 54, 57, 73, 90, 135, 150, 179, 191 [best: 1000] 11768210391049, 15, 45, 47, 54, 57, 85, 86, 95, 135, 196, 205 [best: 1000] 11811160064009, 15, 45, 47, 54, 57, 105, 120, 121, 152, 163, 171 [best: 1000] 11854109736969, 15, 45, 47, 54, 58, 68, 102, 117, 127, 138, 262 [best: 1000] 11897059409929, 15, 45, 47, 54, 58, 86, 93, 97, 105, 176, 204 [best: 1000] 11940009082889, 15, 45, 47, 54, 59, 68, 72, 112, 114, 167, 183, 216 [best: 1000] 11982958755849, 15, 45, 47, 54, 59, 87, 102, 106, 150, 163, 213 [best: 1000] 12025908428809, 15, 45, 47, 54, 60, 74, 88, 118, 129, 166, 189 [best: 1000] 12068858101769, 15, 45, 47, 54, 61, 68, 76, 81, 122, 163, 186 [best: 1000] 12111807774729, 15, 45, 47, 54, 61, 87, 88, 136, 160, 183, 203 [best: 1000] 12154757447689, 15, 45, 47, 54, 62, 72, 73, 76, 92, 94, 113 [best: 1000] 12197707120649, 15, 45, 47, 54, 63, 66, 74, 75, 146, 206, 217 [best: 1000] 12240656793609, 15, 45, 47, 54, 63, 80, 95, 102, 117, 148, 149 [best: 1000] 12283606466569, 15, 45, 47, 54, 64, 76, 95, 98, 122, 134, 141 [best: 1000] 12326556139529, 15, 45, 47, 54, 65, 75, 123, 137, 143, 152, 213 [best: 1000] 12369505812489, 15, 45, 47, 54, 66, 71, 78, 87, 121, 159, 238, 241 [best: 1000] 12412455485449, 15, 45, 47, 54, 67, 68, 100, 130, 169, 183, 225 [best: 1000] 12455405158409, 15, 45, 47, 54, 68, 69, 89, 93, 99, 148, 169 [best: 1000] 12498354831369, 15, 45, 47, 54, 68, 77, 79, 104, 174, 214, 226 [best: 1000] 12541304504329, 15, 45, 47, 54, 68, 86, 95, 114, 124, 156, 159 [best: 1000] 12584254177289, 15, 45, 47, 54, 68, 95, 115, 150, 160, 168, 179 [best: 1000] 12627203850249, 15, 45, 47, 54, 69, 77, 86, 101, 176, 185, 205 [best: 1000] 12670153523209, 15, 45, 47, 54, 70, 72, 78, 119, 144, 153, 185 [best: 1000] 12713103196169, 15, 45, 47, 54, 71, 75, 79, 104, 127, 171, 193 [best: 1000] 12756052869129, 15, 45, 47, 54, 72, 93, 108, 109, 125, 131, 144 [best: 1000] 12799002542089, 15, 45, 47, 54, 74, 98, 107, 127, 128, 173, 186 [best: 1000] 12841952215049, 15, 45, 47, 54, 75, 86, 114, 134, 135, 163, 207 [best: 1000] 12884901888009, 15, 45, 47, 54, 75, 106, 121, 136, 158, 162, 195 [best: 1000] 12927851560969, 15, 45, 47, 54, 78, 80, 85, 90, 124, 184, 247 [best: 1000] 12970801233929, 15, 45, 47, 54, 80, 87, 106, 107, 155, 183, 218 [best: 1000] 13013750906889, 15, 45, 47, 55, 56, 62, 80, 81, 180, 183, 189, 219 [best: 1000] 13056700579849, 15, 45, 47, 55, 56, 68, 97, 118, 190, 197, 209 [best: 1000] 13099650252809, 15, 45, 47, 55, 56, 80, 94, 115, 132, 145, 172 [best: 1000] 13142599925769, 15, 45, 47, 55, 56, 105, 121, 122, 142, 148, 174 [best: 1000] 13185549598729, 15, 45, 47, 55, 57, 62, 93, 101, 109, 186, 234 [best: 1000] 13228499271689, 15, 45, 47, 55, 57, 67, 83, 110, 117, 176, 202 [best: 1000] 13271448944649, 15, 45, 47, 55, 57, 76, 82, 109, 129, 170, 217 [best: 1000] 13314398617609, 15, 45, 47, 55, 57, 87, 100, 130, 143, 162, 204 [best: 1000] 13357348290569, 15, 45, 47, 55, 57, 108, 130, 152, 176, 188, 236 [best: 1000] 13400297963529, 15, 45, 47, 55, 58, 64, 93, 120, 129, 141, 163 [best: 1000] 13443247636489, 15, 45, 47, 55, 58, 69, 116, 146, 154, 189, 208, 250 [best: 1000] 13486197309449, 15, 45, 47, 55, 58, 81, 88, 103, 121, 169, 187 [best: 1000] 13529146982409, 15, 45, 47, 55, 58, 99, 132, 136, 140, 207, 230, 253 [best: 1000] 13572096655369, 15, 45, 47, 55, 59, 66, 77, 115, 124, 149, 158, 190 [best: 1000] 13615046328329, 15, 45, 47, 55, 59, 78, 93, 102, 121, 143, 158 [best: 1000] 13657996001289, 15, 45, 47, 55, 60, 62, 81, 100, 139, 153, 157, 208 [best: 1000] 13700945674249, 15, 45, 47, 55, 60, 71, 95, 125, 128, 179, 187, 249 [best: 1000] 13743895347209, 15, 45, 47, 55, 60, 96, 115, 116, 152, 220, 233, 237 [best: 1000] 13786845020169, 15, 45, 47, 55, 61, 67, 95, 137, 139, 171, 202 [best: 1000] 13829794693129, 15, 45, 47, 55, 61, 79, 80, 109, 149, 185, 209 [best: 1000] 13872744366089, 15, 45, 47, 55, 61, 100, 114, 118, 128, 155, 205 [best: 1000] 13915694039049, 15, 45, 47, 55, 62, 68, 99, 109, 138, 175 [best: 1000] 13958643712009, 15, 45, 47, 55, 62, 80, 95, 109, 112, 126, 204 [best: 1000] 14001593384969, 15, 45, 47, 55, 62, 100, 106, 119, 134, 139, 151, 272 [best: 1000] 14044543057929, 15, 45, 47, 55, 63, 68, 119, 126, 156, 167, 227 [best: 1000] 14087492730889, 15, 45, 47, 55, 63, 80, 103, 122, 124, 151, 170 [best: 1000] 14130442403849, 15, 45, 47, 55, 63, 110, 111, 143, 149, 207, 257 [best: 1000] 14173392076809, 15, 45, 47, 55, 64, 73, 99, 130, 141, 146, 147 [best: 1000] 14216341749769, 15, 45, 47, 55, 64, 96, 103, 106, 121, 144, 165 [best: 1000] 14259291422729, 15, 45, 47, 55, 65, 78, 102, 137, 184, 196, 219 [best: 1000] 14302241095689, 15, 45, 47, 55, 66, 68, 75, 81, 104, 176, 229, 266 [best: 1000] 14345190768649, 15, 45, 47, 55, 66, 71, 104, 113, 115, 145, 147, 247 [best: 1000] 14388140441609, 15, 45, 47, 55, 66, 77, 100, 104, 123, 124, 150, 206 [best: 1000] 14431090114569, 15, 45, 47, 55, 66, 81, 104, 116, 128, 139, 146, 219 [best: 1000] 14474039787529, 15, 45, 47, 55, 66, 89, 100, 104, 106, 175, 178, 188 [best: 1000] 14516989460489, 15, 45, 47, 55, 66, 99, 104, 106, 136, 197, 207, 246 [best: 1000] 14559939133449, 15, 45, 47, 55, 66, 104, 115, 135, 159, 179, 193, 258 [best: 1000] 14602888806409, 15, 45, 47, 55, 67, 71, 80, 89, 90, 136, 166 [best: 1000] 14645838479369, 15, 45, 47, 55, 67, 83, 97, 128, 133, 209, 252 [best: 1000] 14688788152329, 15, 45, 47, 55, 68, 69, 97, 155, 173, 194, 222 [best: 1000] 14731737825289, 15, 45, 47, 55, 68, 78, 88, 92, 170, 192, 213 [best: 1000] 14774687498249, 15, 45, 47, 55, 68, 87, 91, 100, 170, 219, 235 [best: 1000] 14817637171209, 15, 45, 47, 55, 68, 100, 140, 156, 158, 215, 255 [best: 1000] 14860586844169, 15, 45, 47, 55, 69, 74, 77, 113, 166, 172, 184 [best: 1000] 14903536517129, 15, 45, 47, 55, 69, 82, 117, 134, 151, 206, 232 [best: 1000] 14946486190089, 15, 45, 47, 55, 69, 98, 106, 131, 143, 162, 194, 204 [best: 1000] 14989435863049, 15, 45, 47, 55, 70, 79, 81, 147, 162, 234, 259, 275 [best: 1000] 15032385536009, 15, 45, 47, 55, 71, 78, 82, 99, 123, 124, 162 [best: 1000] 15075335208969, 15, 45, 47, 55, 72, 83, 85, 100, 145, 153, 198 [best: 1000] 15118284881929, 15, 45, 47, 55, 74, 75, 96, 125, 151, 153, 180 [best: 1000] 15161234554889, 15, 45, 47, 55, 75, 93, 98, 104, 129, 151, 156 [best: 1000] 15204184227849, 15, 45, 47, 55, 76, 97, 99, 146, 174, 210, 252 [best: 1000] 15247133900809, 15, 45, 47, 55, 78, 80, 81, 83, 101, 109, 153 [best: 1000] 15290083573769, 15, 45, 47, 55, 78, 100, 105, 110, 134, 138, 214 [best: 1000] 15333033246729, 15, 45, 47, 55, 79, 89, 102, 116, 167, 181, 231 [best: 1000] 15375982919689, 15, 45, 47, 55, 80, 81, 98, 131, 180, 181, 207 [best: 1000] 15418932592649, 15, 45, 47, 55, 81, 83, 97, 113, 142, 196, 245 [best: 1000] 15461882265609, 15, 45, 47, 55, 81, 97, 101, 130, 133, 151, 175 [best: 1000] 15504831938569, 15, 45, 47, 55, 81, 115, 132, 150, 161, 175, 205, 214 [best: 1000] 15547781611529, 15, 45, 47, 55, 83, 105, 112, 117, 156, 204, 242 [best: 1000] 15590731284489, 15, 45, 47, 55, 87, 102, 110, 112, 159, 186, 194 [best: 1000] 15633680957449, 15, 45, 47, 55, 89, 103, 105, 111, 121, 131, 176, 178 [best: 1000] 15676630630409, 15, 45, 47, 56, 57, 60, 93, 111, 161, 195, 217 [best: 1000] 15719580303369, 15, 45, 47, 56, 57, 65, 98, 110, 149, 171, 222 [best: 1000] 15762529976329, 15, 45, 47, 56, 57, 71, 76, 109, 174, 195, 211 [best: 1000] 15805479649289, 15, 45, 47, 56, 57, 78, 88, 94, 100, 112, 240 [best: 1000] 15848429322249, 15, 45, 47, 56, 57, 88, 93, 113, 177, 179, 214 [best: 1000] 15891378995209, 15, 45, 47, 56, 57, 101, 119, 138, 154, 161, 178 [best: 1000] 15934328668169, 15, 45, 47, 56, 58, 63, 94, 103, 106, 137, 141 [best: 1000] 15977278341129, 15, 45, 47, 56, 58, 71, 81, 162, 182, 205, 240 [best: 1000] 16020228014089, 15, 45, 47, 56, 58, 84, 93, 146, 169, 190, 195 [best: 1000] 16063177687049, 15, 45, 47, 56, 59, 62, 71, 97, 125, 126, 166 [best: 1000] 16106127360009, 15, 45, 47, 56, 59, 69, 94, 103, 136, 219, 230 [best: 1000] 16149077032969, 15, 45, 47, 56, 59, 80, 97, 99, 104, 112, 118 [best: 1000] 16192026705929, 15, 45, 47, 56, 60, 62, 75, 76, 96, 154, 188 [best: 1000] 16234976378889, 15, 45, 47, 56, 60, 77, 90, 109, 163, 205, 229 [best: 1000] 16277926051849, 15, 45, 47, 56, 61, 65, 117, 132, 137, 191, 220 [best: 1000] 16320875724809, 15, 45, 47, 56, 61, 74, 79, 112, 116, 201, 212 [best: 1000] 16363825397769, 15, 45, 47, 56, 61, 90, 109, 113, 118, 185, 238 [best: 1000] 16406775070729, 15, 45, 47, 56, 62, 68, 96, 122, 151, 163, 173 [best: 1000] 16449724743689, 15, 45, 47, 56, 62, 88, 123, 145, 181, 198, 247 [best: 1000] 16492674416649, 15, 45, 47, 56, 63, 69, 108, 136, 170, 209, 233 [best: 1000] 16535624089609, 15, 45, 47, 56, 63, 80, 84, 94, 168, 170, 183 [best: 1000] 16578573762569, 15, 45, 47, 56, 64, 65, 82, 96, 102, 137, 194 [best: 1000] 16621523435529, 15, 45, 47, 56, 64, 82, 99, 114, 129, 138, 141 [best: 1000] 16664473108489, 15, 45, 47, 56, 65, 71, 123, 140, 141, 163, 195 [best: 1000] 16707422781449, 15, 45, 47, 56, 65, 88, 123, 129, 141, 161, 181 [best: 1000] 16750372454409, 15, 45, 47, 56, 66, 73, 88, 101, 147, 165, 214 [best: 1000] 16793322127369, 15, 45, 47, 56, 66, 96, 97, 108, 155, 156, 158 [best: 1000] 16836271800329, 15, 45, 47, 56, 67, 90, 104, 122, 139, 175, 187 [best: 1000] 16879221473289, 15, 45, 47, 56, 68, 73, 86, 91, 103, 186, 211 [best: 1000] 16922171146249, 15, 45, 47, 56, 68, 78, 101, 167, 176, 204, 217 [best: 1000] 16965120819209, 15, 45, 47, 56, 68, 86, 91, 153, 155, 160, 215 [best: 1000] 17008070492169, 15, 45, 47, 56, 68, 95, 96, 117, 145, 163, 256, 313 [best: 1000] 17051020165129, 15, 45, 47, 56, 68, 105, 119, 122, 200, 220, 243 [best: 1000] 17093969838089, 15, 45, 47, 56, 69, 75, 82, 89, 103, 105, 182 [best: 1000] 17136919511049, 15, 45, 47, 56, 69, 89, 94, 113, 116, 162, 259 [best: 1000] 17179869184009, 15, 45, 47, 56, 70, 73, 85, 97, 101, 147, 189 [best: 1000] 17222818856969, 15, 45, 47, 56, 70, 90, 106, 115, 116, 167, 227 [best: 1000] 17265768529929, 15, 45, 47, 56, 71, 78, 122, 145, 158, 230, 254 [best: 1000] 17308718202889, 15, 45, 47, 56, 71, 95, 121, 161, 180, 213, 242 [best: 1000] 17351667875849, 15, 45, 47, 56, 72, 90, 105, 118, 131, 159, 166 [best: 1000] 17394617548809, 15, 45, 47, 56, 74, 77, 80, 91, 110, 143, 214 [best: 1000] 17437567221769, 15, 45, 47, 56, 74, 93, 95, 98, 126, 156, 162 [best: 1000] 17480516894729, 15, 45, 47, 56, 75, 81, 94, 130, 158, 172, 198 [best: 1000] 17523466567689, 15, 45, 47, 56, 76, 83, 108, 133, 138, 147, 198 [best: 1000] 17566416240649, 15, 45, 47, 56, 78, 80, 111, 123, 143, 205, 215 [best: 1000] 17609365913609, 15, 45, 47, 56, 78, 90, 102, 113, 119, 170, 178 [best: 1000] 17652315586569, 15, 45, 47, 56, 78, 101, 113, 119, 155, 199, 208 [best: 1000] 17695265259529, 15, 45, 47, 56, 80, 83, 109, 142, 175, 203, 223 [best: 1000] 17738214932489, 15, 45, 47, 56, 81, 92, 94, 101, 102, 112, 164 [best: 1000] 17781164605449, 15, 45, 47, 56, 84, 93, 113, 136, 149, 155, 212 [best: 1000] 17824114278409, 15, 45, 47, 57, 58, 62, 67, 100, 103, 169, 223 [best: 1000] 17867063951369, 15, 45, 47, 57, 58, 66, 101, 126, 127, 162, 196, 197 [best: 1000] 17910013624329, 15, 45, 47, 57, 58, 71, 86, 101, 165, 205, 210 [best: 1000] 17952963297289, 15, 45, 47, 57, 58, 76, 102, 134, 171, 172, 244 [best: 1000] 17995912970249, 15, 45, 47, 57, 58, 81, 138, 151, 161, 186, 251, 279 [best: 1000] 18038862643209, 15, 45, 47, 57, 58, 91, 92, 98, 114, 158, 199 [best: 1000] 18081812316169, 15, 45, 47, 57, 58, 110, 121, 124, 154, 155, 157 [best: 1000] 18124761989129, 15, 45, 47, 57, 59, 65, 76, 82, 110, 180, 185 [best: 1000] 18167711662089, 15, 45, 47, 57, 59, 71, 90, 103, 161, 193, 227 [best: 1000] 18210661335049, 15, 45, 47, 57, 59, 79, 118, 120, 136, 158, 241 [best: 1000] 18253611008009, 15, 45, 47, 57, 59, 94, 113, 115, 142, 155, 165 [best: 1000] 18296560680969, 15, 45, 47, 57, 60, 64, 75, 86, 87, 107, 164 [best: 1000] 18339510353929, 15, 45, 47, 57, 60, 71, 75, 97, 123, 161, 169 [best: 1000] 18382460026889, 15, 45, 47, 57, 60, 78, 97, 148, 180, 198, 240 [best: 1000] 18425409699849, 15, 45, 47, 57, 60, 88, 101, 121, 123, 178, 202 [best: 1000] 18468359372809, 15, 45, 47, 57, 61, 63, 70, 88, 92, 106, 122 [best: 1000] 18511309045769, 15, 45, 47, 57, 61, 69, 77, 102, 104, 113, 126 [best: 1000] 18554258718729, 15, 45, 47, 57, 61, 75, 100, 125, 127, 184, 189 [best: 1000] 18597208391689, 15, 45, 47, 57, 61, 82, 102, 138, 172, 173, 229, 247 [best: 1000] 18640158064649, 15, 45, 47, 57, 61, 101, 111, 126, 154, 171, 207 [best: 1000] 18683107737609, 15, 45, 47, 57, 62, 67, 69, 148, 157, 158, 242 [best: 1000] 18726057410569, 15, 45, 47, 57, 62, 72, 82, 86, 103, 125, 152 [best: 1000] 18769007083529, 15, 45, 47, 57, 62, 78, 96, 137, 143, 147, 155 [best: 1000] 18811956756489, 15, 45, 47, 57, 62, 85, 87, 122, 140, 143, 167 [best: 1000] 18854906429449, 15, 45, 47, 57, 62, 99, 107, 131, 163, 182, 240 [best: 1000] 18897856102409, 15, 45, 47, 57, 63, 67, 74, 135, 154, 165, 209 [best: 1000] 18940805775369, 15, 45, 47, 57, 63, 73, 80, 142, 175, 219, 235 [best: 1000] 18983755448329, 15, 45, 47, 57, 63, 80, 83, 137, 143, 210, 235 [best: 1000] 19026705121289, 15, 45, 47, 57, 63, 92, 109, 129, 152, 178, 202 [best: 1000] 19069654794249, 15, 45, 47, 57, 64, 67, 90, 124, 127, 135, 141 [best: 1000] 19112604467209, 15, 45, 47, 57, 64, 74, 79, 132, 146, 148, 216 [best: 1000] 19155554140169, 15, 45, 47, 57, 64, 81, 112, 150, 174, 214, 230 [best: 1000] 19198503813129, 15, 45, 47, 57, 64, 99, 105, 140, 176, 203, 218 [best: 1000] 19241453486089, 15, 45, 47, 57, 65, 70, 129, 134, 156, 157, 168 [best: 1000] 19284403159049, 15, 45, 47, 57, 65, 79, 86, 101, 103, 117, 227 [best: 1000] 19327352832009, 15, 45, 47, 57, 65, 92, 96, 125, 152, 165, 186 [best: 1000] 19370302504969, 15, 45, 47, 57, 66, 70, 71, 97, 105, 123, 194 [best: 1000] 19413252177929, 15, 45, 47, 57, 66, 76, 102, 141, 149, 209, 239 [best: 1000] 19456201850889, 15, 45, 47, 57, 66, 83, 106, 151, 152, 172, 185, 247 [best: 1000] 19499151523849, 15, 45, 47, 57, 66, 99, 116, 122, 177, 192, 219, 226 [best: 1000] 19542101196809, 15, 45, 47, 57, 67, 70, 103, 107, 171, 175, 222 [best: 1000] 19585050869769, 15, 45, 47, 57, 67, 76, 87, 89, 97, 149, 176 [best: 1000] 19628000542729, 15, 45, 47, 57, 67, 81, 129, 134, 158, 175, 228 [best: 1000] 19670950215689, 15, 45, 47, 57, 67, 92, 98, 126, 149, 211, 212 [best: 1000] 19713899888649, 15, 45, 47, 57, 68, 69, 94, 139, 142, 205, 212 [best: 1000] 19756849561609, 15, 45, 47, 57, 68, 75, 123, 133, 151, 160, 175 [best: 1000] 19799799234569, 15, 45, 47, 57, 68, 81, 122, 158, 170, 174, 258 [best: 1000] 19842748907529, 15, 45, 47, 57, 68, 94, 100, 117, 164, 200, 242 [best: 1000] 19885698580489, 15, 45, 47, 57, 69, 70, 79, 100, 180, 191, 208, 224 [best: 1000] 19928648253449, 15, 45, 47, 57, 69, 74, 90, 95, 148, 202, 237 [best: 1000] 19971597926409, 15, 45, 47, 57, 69, 79, 82, 102, 140, 188, 230 [best: 1000] 20014547599369, 15, 45, 47, 57, 69, 83, 100, 138, 159, 167, 176, 259 [best: 1000] 20057497272329, 15, 45, 47, 57, 69, 90, 111, 124, 149, 152, 223, 225 [best: 1000] 20100446945289, 15, 45, 47, 57, 69, 100, 109, 131, 140, 207, 252, 281 [best: 1000] 20143396618249, 15, 45, 47, 57, 69, 111, 135, 177, 191, 203, 236, 253 [best: 1000] 20186346291209, 15, 45, 47, 57, 70, 79, 81, 93, 123, 130, 224 [best: 1000] 20229295964169, 15, 45, 47, 57, 70, 90, 130, 135, 179, 182, 255 [best: 1000] 20272245637129, 15, 45, 47, 57, 71, 75, 82, 110, 125, 131, 183 [best: 1000] 20315195310089, 15, 45, 47, 57, 71, 81, 111, 117, 188, 191, 192 [best: 1000] 20358144983049, 15, 45, 47, 57, 71, 94, 100, 101, 113, 140, 227 [best: 1000] 20401094656009, 15, 45, 47, 57, 72, 74, 97, 110, 115, 141, 215 [best: 1000] 20444044328969, 15, 45, 47, 57, 72, 81, 129, 142, 143, 169, 213, 277 [best: 1000] 20486994001929, 15, 45, 47, 57, 72, 99, 136, 158, 185, 191, 195 [best: 1000] 20529943674889, 15, 45, 47, 57, 73, 78, 83, 90, 140, 151, 226 [best: 1000] 20572893347849, 15, 45, 47, 57, 73, 84, 89, 130, 181, 200, 223 [best: 1000] 20615843020809, 15, 45, 47, 57, 73, 98, 99, 118, 125, 141, 143 [best: 1000] 20658792693769, 15, 45, 47, 57, 74, 76, 102, 138, 169, 192, 229 [best: 1000] 20701742366729, 15, 45, 47, 57, 74, 85, 95, 102, 142, 185, 213 [best: 1000] 20744692039689, 15, 45, 47, 57, 75, 76, 88, 96, 103, 145, 171 [best: 1000] 20787641712649, 15, 45, 47, 57, 75, 82, 95, 109, 165, 174, 195 [best: 1000] 20830591385609, 15, 45, 47, 57, 75, 97, 100, 120, 155, 169, 191 [best: 1000] 20873541058569, 15, 45, 47, 57, 76, 79, 97, 99, 165, 204, 221 [best: 1000] 20916490731529, 15, 45, 47, 57, 76, 88, 97, 138, 149, 170, 203 [best: 1000] 20959440404489, 15, 45, 47, 57, 76, 111, 113, 138, 154, 180, 191 [best: 1000] 21002390077449, 15, 45, 47, 57, 77, 84, 107, 142, 187, 197, 207 [best: 1000] 21045339750409, 15, 45, 47, 57, 77, 106, 110, 114, 115, 118, 122 [best: 1000] 21088289423369, 15, 45, 47, 57, 78, 84, 100, 120, 148, 191, 261 [best: 1000] 21131239096329, 15, 45, 47, 57, 78, 98, 102, 131, 159, 172, 206 [best: 1000] 21174188769289, 15, 45, 47, 57, 79, 81, 82, 88, 108, 177, 183 [best: 1000] 21217138442249, 15, 45, 47, 57, 79, 85, 125, 140, 158, 166, 238, 245 [best: 1000] 21260088115209, 15, 45, 47, 57, 79, 94, 99, 105, 160, 228, 243 [best: 1000] 21303037788169, 15, 45, 47, 57, 79, 103, 107, 154, 186, 204, 248 [best: 1000] 21345987461129, 15, 45, 47, 57, 80, 81, 97, 100, 112, 184, 230 [best: 1000] 21388937134089, 15, 45, 47, 57, 80, 93, 107, 111, 116, 135, 175 [best: 1000] 21431886807049, 15, 45, 47, 57, 81, 82, 145, 164, 201, 212, 223 [best: 1000] 21474836480009, 15, 45, 47, 57, 81, 88, 96, 129, 172, 187, 222 [best: 1000] 21517786152969, 15, 45, 47, 57, 81, 94, 103, 105, 167, 222, 241 [best: 1000] 21560735825929, 15, 45, 47, 57, 81, 101, 108, 167, 183, 203, 228 [best: 1000] 21603685498889, 15, 45, 47, 57, 81, 111, 123, 133, 135, 177, 225 [best: 1000] 21646635171849, 15, 45, 47, 57, 82, 84, 91, 102, 116, 119, 132 [best: 1000] 21689584844809, 15, 45, 47, 57, 82, 106, 112, 114, 161, 170, 174 [best: 1000] 21732534517769, 15, 45, 47, 57, 83, 96, 97, 103, 111, 133, 172 [best: 1000] 21775484190729, 15, 45, 47, 57, 84, 91, 92, 114, 120, 140, 164 [best: 1000] 21818433863689, 15, 45, 47, 57, 85, 90, 123, 133, 147, 154, 162, 193 [best: 1000] 21861383536649, 15, 45, 47, 57, 86, 90, 103, 112, 200, 217, 237 [best: 1000] 21904333209609, 15, 45, 47, 57, 87, 96, 100, 158, 170, 202, 231 [best: 1000] 21947282882569, 15, 45, 47, 57, 88, 98, 101, 131, 165, 215, 236 [best: 1000] 21990232555529, 15, 45, 47, 57, 89, 97, 102, 149, 172, 217, 245 [best: 1000] 22033182228489, 15, 45, 47, 57, 90, 98, 101, 105, 122, 174, 181 [best: 1000] 22076131901449, 15, 45, 47, 57, 91, 96, 120, 143, 170, 184, 191 [best: 1000] 22119081574409, 15, 45, 47, 57, 92, 109, 132, 138, 145, 178, 183 [best: 1000] 22162031247369, 15, 45, 47, 58, 59, 66, 78, 85, 107, 123, 131 [best: 1000] 22204980920329, 15, 45, 47, 58, 59, 73, 93, 134, 171, 173, 237 [best: 1000] 22247930593289, 15, 45, 47, 58, 59, 83, 114, 123, 164, 197, 199 [best: 1000] 22290880266249, 15, 45, 47, 58, 60, 62, 71, 72, 93, 123, 170 [best: 1000] 22333829939209, 15, 45, 47, 58, 60, 75, 95, 102, 109, 169, 171 [best: 1000] 22376779612169, 15, 45, 47, 58, 61, 64, 67, 124, 150, 176, 231 [best: 1000] 22419729285129, 15, 45, 47, 58, 61, 70, 100, 103, 104, 148, 165 [best: 1000] 22462678958089, 15, 45, 47, 58, 61, 79, 95, 139, 157, 199, 256, 322 [best: 1000] 22505628631049, 15, 45, 47, 58, 61, 97, 116, 124, 154, 159, 229 [best: 1000] 22548578304009, 15, 45, 47, 58, 62, 68, 132, 134, 172, 195 [best: 1000] 22591527976969, 15, 45, 47, 58, 62, 83, 91, 102, 136, 151, 177 [best: 1000] 22634477649929, 15, 45, 47, 58, 63, 67, 102, 106, 146, 153, 179 [best: 1000] 22677427322889, 15, 45, 47, 58, 63, 75, 78, 106, 126, 175, 186 [best: 1000] 22720376995849, 15, 45, 47, 58, 63, 86, 94, 111, 141, 170, 195 [best: 1000] 22763326668809, 15, 45, 47, 58, 64, 67, 78, 98, 102, 115, 187 [best: 1000] 22806276341769, 15, 45, 47, 58, 64, 79, 101, 124, 133, 166, 179, 213 [best: 1000] 22849226014729, 15, 45, 47, 58, 65, 68, 121, 159, 166, 215, 248, 257 [best: 1000] 22892175687689, 15, 45, 47, 58, 65, 78, 117, 132, 140, 160, 215 [best: 1000] 22935125360649, 15, 45, 47, 58, 65, 102, 112, 145, 159, 166, 197, 221 [best: 1000] 22978075033609, 15, 45, 47, 58, 66, 77, 93, 119, 136, 169, 200 [best: 1000] 23021024706569, 15, 45, 47, 58, 67, 68, 89, 131, 145, 173, 228, 229 [best: 1000] 23063974379529, 15, 45, 47, 58, 67, 77, 102, 128, 136, 174, 176 [best: 1000] 23106924052489, 15, 45, 47, 58, 67, 94, 95, 108, 184, 205, 252 [best: 1000] 23149873725449, 15, 45, 47, 58, 68, 72, 100, 121, 151, 156, 248 [best: 1000] 23192823398409, 15, 45, 47, 58, 68, 76, 110, 120, 124, 158, 166 [best: 1000] 23235773071369, 15, 45, 47, 58, 68, 81, 92, 120, 130, 173, 256 [best: 1000] 23278722744329, 15, 45, 47, 58, 68, 88, 96, 133, 146, 159, 200 [best: 1000] 23321672417289, 15, 45, 47, 58, 68, 96, 101, 119, 121, 163, 232 [best: 1000] 23364622090249, 15, 45, 47, 58, 68, 104, 109, 121, 129, 137, 194 [best: 1000] 23407571763209, 15, 45, 47, 58, 69, 72, 93, 151, 152, 188, 201, 258 [best: 1000] 23450521436169, 15, 45, 47, 58, 69, 92, 96, 122, 153, 168, 176, 216 [best: 1000] 23493471109129, 15, 45, 47, 58, 70, 77, 91, 108, 141, 172, 207 [best: 1000] 23536420782089, 15, 45, 47, 58, 70, 97, 98, 113, 146, 160, 164 [best: 1000] 23579370455049, 15, 45, 47, 58, 71, 91, 100, 117, 178, 183, 226 [best: 1000] 23622320128009, 15, 45, 47, 58, 72, 79, 105, 114, 126, 191, 219 [best: 1000] 23665269800969, 15, 45, 47, 58, 72, 91, 119, 122, 144, 156, 183 [best: 1000] 23708219473929, 15, 45, 47, 58, 72, 113, 130, 159, 177, 178, 245 [best: 1000] 23751169146889, 15, 45, 47, 58, 73, 93, 102, 133, 149, 169 [best: 1000] 23794118819849, 15, 45, 47, 58, 74, 94, 103, 106, 107, 180, 231 [best: 1000] 23837068492809, 15, 45, 47, 58, 75, 81, 104, 112, 142, 193, 195 [best: 1000] 23880018165769, 15, 45, 47, 58, 75, 96, 109, 123, 164, 189, 210 [best: 1000] 23922967838729, 15, 45, 47, 58, 76, 79, 122, 132, 152, 173, 187 [best: 1000] 23965917511689, 15, 45, 47, 58, 77, 93, 114, 129, 152, 163, 182 [best: 1000] 24008867184649, 15, 45, 47, 58, 78, 90, 98, 101, 177, 210, 213 [best: 1000] 24051816857609, 15, 45, 47, 58, 79, 82, 104, 113, 122, 227, 234 [best: 1000] 24094766530569, 15, 45, 47, 58, 79, 90, 91, 142, 158, 165, 222 [best: 1000] 24137716203529, 15, 45, 47, 58, 79, 97, 116, 163, 170, 221, 230 [best: 1000] 24180665876489, 15, 45, 47, 58, 79, 111, 130, 134, 147, 188, 221 [best: 1000] 24223615549449, 15, 45, 47, 58, 80, 93, 115, 116, 132, 178, 208 [best: 1000] 24266565222409, 15, 45, 47, 58, 82, 92, 93, 109, 126, 154, 185 [best: 1000] 24309514895369, 15, 45, 47, 58, 84, 93, 126, 144, 155, 188, 264, 268 [best: 1000] 24352464568329, 15, 45, 47, 58, 87, 92, 97, 129, 166, 192, 225 [best: 1000] 24395414241289, 15, 45, 47, 59, 60, 67, 73, 91, 100, 117, 176 [best: 1000] 24438363914249, 15, 45, 47, 59, 60, 81, 104, 126, 170, 221, 241 [best: 1000] 24481313587209, 15, 45, 47, 59, 61, 65, 98, 107, 121, 127 [best: 1000] 24524263260169, 15, 45, 47, 59, 61, 74, 81, 85, 125, 192, 231 [best: 1000] 24567212933129, 15, 45, 47, 59, 61, 93, 95, 120, 139, 141, 187 [best: 1000] 24610162606089, 15, 45, 47, 59, 62, 68, 72, 102, 140, 181, 187 [best: 1000] 24653112279049, 15, 45, 47, 59, 62, 80, 84, 101, 123, 128, 197 [best: 1000] 24696061952009, 15, 45, 47, 59, 63, 64, 89, 111, 134, 152, 165 [best: 1000] 24739011624969, 15, 45, 47, 59, 63, 73, 88, 95, 170, 199, 202 [best: 1000] 24781961297929, 15, 45, 47, 59, 63, 90, 119, 135, 139, 181, 211 [best: 1000] 24824910970889, 15, 45, 47, 59, 64, 69, 106, 117, 149, 179, 212 [best: 1000] 24867860643849, 15, 45, 47, 59, 64, 87, 111, 118, 147, 156, 182 [best: 1000] 24910810316809, 15, 45, 47, 59, 65, 71, 114, 119, 161, 165, 201 [best: 1000] 24953759989769, 15, 45, 47, 59, 65, 101, 107, 137, 156, 169, 203 [best: 1000] 24996709662729, 15, 45, 47, 59, 66, 75, 97, 101, 112, 141, 158, 182 [best: 1000] 25039659335689, 15, 45, 47, 59, 66, 96, 104, 107, 144, 151, 168, 225 [best: 1000] 25082609008649, 15, 45, 47, 59, 67, 72, 93, 114, 148, 163, 211 [best: 1000] 25125558681609, 15, 45, 47, 59, 67, 86, 87, 93, 163, 165, 186 [best: 1000] 25168508354569, 15, 45, 47, 59, 68, 70, 81, 133, 151, 172, 200, 207 [best: 1000] 25211458027529, 15, 45, 47, 59, 68, 78, 79, 137, 144, 193, 215 [best: 1000] 25254407700489, 15, 45, 47, 59, 68, 88, 92, 109, 111, 170, 226 [best: 1000] 25297357373449, 15, 45, 47, 59, 68, 101, 113, 123, 135, 151, 177, 246 [best: 1000] 25340307046409, 15, 45, 47, 59, 69, 73, 109, 152, 156, 197, 204, 250 [best: 1000] 25383256719369, 15, 45, 47, 59, 69, 83, 91, 104, 164, 172, 213 [best: 1000] 25426206392329, 15, 45, 47, 59, 69, 98, 106, 122, 131, 200, 207, 238 [best: 1000] 25469156065289, 15, 45, 47, 59, 70, 79, 97, 100, 112, 174, 183 [best: 1000] 25512105738249, 15, 45, 47, 59, 71, 79, 129, 140, 145, 173, 224 [best: 1000] 25555055411209, 15, 45, 47, 59, 72, 73, 79, 129, 151, 193, 197 [best: 1000] 25598005084169, 15, 45, 47, 59, 73, 79, 81, 90, 117, 123, 159 [best: 1000] 25640954757129, 15, 45, 47, 59, 73, 98, 106, 125, 164, 174, 227 [best: 1000] 25683904430089, 15, 45, 47, 59, 74, 95, 96, 108, 165, 168, 201 [best: 1000] 25726854103049, 15, 45, 47, 59, 75, 97, 131, 133, 160, 162, 228 [best: 1000] 25769803776009, 15, 45, 47, 59, 77, 82, 93, 112, 124, 178, 195 [best: 1000] 25812753448969, 15, 45, 47, 59, 79, 81, 137, 160, 174, 232, 238, 251 [best: 1000] 25855703121929, 15, 45, 47, 59, 79, 100, 127, 135, 157, 203, 250 [best: 1000] 25898652794889, 15, 45, 47, 59, 80, 99, 106, 112, 137, 155, 219 [best: 1000] 25941602467849, 15, 45, 47, 59, 81, 93, 94, 151, 161, 223 [best: 1000] 25984552140809, 15, 45, 47, 59, 81, 110, 117, 121, 196, 224, 238 [best: 1000] 26027501813769, 15, 45, 47, 59, 85, 86, 92, 116, 149, 165, 201 [best: 1000] 26070451486729, 15, 45, 47, 59, 88, 91, 119, 121, 131, 179, 214 [best: 1000] 26113401159689, 15, 45, 47, 59, 90, 94, 108, 112, 114, 131, 170 [best: 1000] 26156350832649, 15, 45, 47, 60, 61, 74, 99, 130, 136, 139, 190 [best: 1000] 26199300505609, 15, 45, 47, 60, 62, 64, 73, 76, 102, 116, 144 [best: 1000] 26242250178569, 15, 45, 47, 60, 62, 82, 84, 91, 107, 140, 141 [best: 1000] 26285199851529, 15, 45, 47, 60, 63, 73, 74, 88, 90, 125, 166 [best: 1000] 26328149524489, 15, 45, 47, 60, 63, 101, 114, 130, 135, 155, 210 [best: 1000] 26371099197449, 15, 45, 47, 60, 65, 66, 99, 109, 148, 150, 159 [best: 1000] 26414048870409, 15, 45, 47, 60, 65, 92, 101, 111, 119, 133, 162 [best: 1000] 26456998543369, 15, 45, 47, 60, 66, 87, 96, 121, 142, 149, 179 [best: 1000] 26499948216329, 15, 45, 47, 60, 67, 82, 92, 114, 125, 151, 172 [best: 1000] 26542897889289, 15, 45, 47, 60, 68, 75, 103, 113, 115, 157, 170, 199 [best: 1000] 26585847562249, 15, 45, 47, 60, 68, 86, 90, 91, 133, 156, 246 [best: 1000] 26628797235209, 15, 45, 47, 60, 68, 97, 115, 148, 161, 192, 212 [best: 1000] 26671746908169, 15, 45, 47, 60, 69, 82, 85, 89, 106, 164, 186, 216 [best: 1000] 26714696581129, 15, 45, 47, 60, 70, 76, 108, 118, 172, 183, 194 [best: 1000] 26757646254089, 15, 45, 47, 60, 71, 93, 104, 127, 143, 155, 166 [best: 1000] 26800595927049, 15, 45, 47, 60, 73, 80, 117, 127, 135, 146, 199 [best: 1000] 26843545600009, 15, 45, 47, 60, 74, 85, 94, 95, 108, 110, 168 [best: 1000] 26886495272969, 15, 45, 47, 60, 76, 77, 80, 100, 115, 152, 212 [best: 1000] 26929444945929, 15, 45, 47, 60, 76, 87, 92, 117, 150, 151, 181, 252 [best: 1000] 26972394618889, 15, 45, 47, 60, 76, 98, 99, 118, 138, 173, 186, 254 [best: 1000] 27015344291849, 15, 45, 47, 60, 77, 88, 118, 124, 143, 173, 181, 244 [best: 1000] 27058293964809, 15, 45, 47, 60, 78, 104, 124, 138, 157, 166, 206 [best: 1000] 27101243637769, 15, 45, 47, 61, 62, 65, 96, 115, 136, 192, 203 [best: 1000] 27144193310729, 15, 45, 47, 61, 62, 78, 86, 119, 128, 151, 174 [best: 1000] 27187142983689, 15, 45, 47, 61, 63, 64, 68, 85, 86, 116, 176 [best: 1000] 27230092656649, 15, 45, 47, 61, 63, 78, 99, 153, 164, 175, 228 [best: 1000] 27273042329609, 15, 45, 47, 61, 64, 68, 88, 90, 106, 158, 194 [best: 1000] 27315992002569, 15, 45, 47, 61, 64, 89, 117, 127, 140, 142, 179 [best: 1000] 27358941675529, 15, 45, 47, 61, 65, 75, 83, 85, 102, 105, 123 [best: 1000] 27401891348489, 15, 45, 47, 61, 65, 100, 104, 137, 141, 203, 244 [best: 1000] 27444841021449, 15, 45, 47, 61, 66, 78, 113, 124, 125, 136 [best: 1000] 27487790694409, 15, 45, 47, 61, 67, 69, 79, 135, 138, 151, 177 [best: 1000] 27530740367369, 15, 45, 47, 61, 67, 81, 100, 131, 140, 160, 183 [best: 1000] 27573690040329, 15, 45, 47, 61, 68, 69, 113, 119, 144, 196, 208 [best: 1000] 27616639713289, 15, 45, 47, 61, 68, 78, 89, 102, 182, 183, 233 [best: 1000] 27659589386249, 15, 45, 47, 61, 68, 88, 91, 100, 104, 110, 125 [best: 1000] 27702539059209, 15, 45, 47, 61, 68, 101, 126, 134, 150, 153, 171, 184 [best: 1000] 27745488732169, 15, 45, 47, 61, 69, 76, 91, 126, 140, 206, 237 [best: 1000] 27788438405129, 15, 45, 47, 61, 69, 87, 106, 131, 134, 162, 221 [best: 1000] 27831388078089, 15, 45, 47, 61, 69, 105, 111, 117, 131, 149, 199 [best: 1000] 27874337751049, 15, 45, 47, 61, 70, 81, 123, 139, 157, 170, 231 [best: 1000] 27917287424009, 15, 45, 47, 61, 71, 78, 88, 103, 106, 134, 139 [best: 1000] 27960237096969, 15, 45, 47, 61, 72, 86, 88, 128, 137, 164, 195 [best: 1000] 28003186769929, 15, 45, 47, 61, 74, 82, 104, 128, 129, 153, 170 [best: 1000] 28046136442889, 15, 45, 47, 61, 75, 88, 95, 103, 124, 136, 160 [best: 1000] 28089086115849, 15, 45, 47, 61, 76, 85, 104, 116, 119, 164, 175 [best: 1000] 28132035788809, 15, 45, 47, 61, 77, 85, 106, 114, 133, 153, 171 [best: 1000] 28174985461769, 15, 45, 47, 61, 78, 80, 108, 151, 159, 171 [best: 1000] 28217935134729, 15, 45, 47, 61, 78, 99, 109, 137, 164, 196, 248 [best: 1000] 28260884807689, 15, 45, 47, 61, 79, 96, 99, 111, 171, 191, 201 [best: 1000] 28303834480649, 15, 45, 47, 61, 80, 92, 95, 123, 133, 199, 239 [best: 1000] 28346784153609, 15, 45, 47, 61, 80, 112, 126, 163, 180, 193, 202 [best: 1000] 28389733826569, 15, 45, 47, 61, 82, 98, 106, 120, 121, 155, 197 [best: 1000] 28432683499529, 15, 45, 47, 61, 85, 86, 115, 150, 152, 188, 226 [best: 1000] 28475633172489, 15, 45, 47, 61, 87, 92, 98, 126, 156, 180, 210 [best: 1000] 28518582845449, 15, 45, 47, 62, 63, 64, 68, 123, 124, 132, 196 [best: 1000] 28561532518409, 15, 45, 47, 62, 63, 74, 116, 144, 188, 216, 246 [best: 1000] 28604482191369, 15, 45, 47, 62, 63, 94, 98, 101, 129, 158, 176 [best: 1000] 28647431864329, 15, 45, 47, 62, 64, 77, 107, 147, 169, 185, 186, 198 [best: 1000] 28690381537289, 15, 45, 47, 62, 65, 72, 81, 103, 120, 189, 197 [best: 1000] 28733331210249, 15, 45, 47, 62, 66, 67, 70, 80, 89, 191, 214 [best: 1000] 28776280883209, 15, 45, 47, 62, 66, 88, 91, 125, 156, 179, 187, 225 [best: 1000] 28819230556169, 15, 45, 47, 62, 67, 76, 103, 115, 133, 176, 210 [best: 1000] 28862180229129, 15, 45, 47, 62, 68, 69, 115, 126, 150, 175, 227 [best: 1000] 28905129902089, 15, 45, 47, 62, 68, 76, 95, 121, 152, 196, 233, 236 [best: 1000] 28948079575049, 15, 45, 47, 62, 68, 83, 102, 106, 126, 137, 202 [best: 1000] 28991029248009, 15, 45, 47, 62, 68, 94, 100, 157, 196, 216, 236 [best: 1000] 29033978920969, 15, 45, 47, 62, 68, 108, 133, 148, 156, 166, 218 [best: 1000] 29076928593929, 15, 45, 47, 62, 69, 83, 91, 129, 142, 191, 223, 263 [best: 1000] 29119878266889, 15, 45, 47, 62, 70, 76, 87, 91, 94, 102, 171 [best: 1000] 29162827939849, 15, 45, 47, 62, 71, 77, 79, 104, 129, 142, 203 [best: 1000] 29205777612809, 15, 45, 47, 62, 72, 81, 110, 147, 175, 202, 216 [best: 1000] 29248727285769, 15, 45, 47, 62, 74, 75, 81, 110, 136, 143, 213 [best: 1000] 29291676958729, 15, 45, 47, 62, 74, 88, 109, 120, 121, 181, 224 [best: 1000] 29334626631689, 15, 45, 47, 62, 75, 79, 83, 97, 132, 133, 148 [best: 1000] 29377576304649, 15, 45, 47, 62, 76, 87, 117, 118, 137, 158, 170 [best: 1000] 29420525977609, 15, 45, 47, 62, 77, 82, 100, 101, 124, 140, 217 [best: 1000] 29463475650569, 15, 45, 47, 62, 77, 91, 112, 126, 145, 158, 247 [best: 1000] 29506425323529, 15, 45, 47, 62, 77, 101, 106, 132, 143, 176, 180 [best: 1000] 29549374996489, 15, 45, 47, 62, 78, 93, 96, 109, 118, 119, 210 [best: 1000] 29592324669449, 15, 45, 47, 62, 80, 88, 99, 127, 132, 177, 192 [best: 1000] 29635274342409, 15, 45, 47, 62, 81, 90, 100, 123, 124, 149, 194, 225 [best: 1000] 29678224015369, 15, 45, 47, 63, 64, 65, 97, 114, 140, 179, 183 [best: 1000] 29721173688329, 15, 45, 47, 63, 64, 81, 108, 117, 151, 174, 199 [best: 1000] 29764123361289, 15, 45, 47, 63, 65, 70, 88, 111, 117, 170, 210 [best: 1000] 29807073034249, 15, 45, 47, 63, 65, 83, 91, 111, 143, 169, 185 [best: 1000] 29850022707209, 15, 45, 47, 63, 66, 69, 84, 97, 149, 178, 220, 221 [best: 1000] 29892972380169, 15, 45, 47, 63, 66, 91, 97, 119, 136, 189, 204, 229 [best: 1000] 29935922053129, 15, 45, 47, 63, 67, 75, 82, 104, 149, 150, 159 [best: 1000] 29978871726089, 15, 45, 47, 63, 67, 92, 109, 119, 120, 141, 160 [best: 1000] 30021821399049, 15, 45, 47, 63, 68, 74, 84, 131, 161, 182, 199 [best: 1000] 30064771072009, 15, 45, 47, 63, 68, 81, 100, 108, 125, 177, 193 [best: 1000] 30107720744969, 15, 45, 47, 63, 68, 95, 119, 130, 139, 188, 191 [best: 1000] 30150670417929, 15, 45, 47, 63, 69, 70, 98, 152, 188, 192, 237, 281 [best: 1000] 30193620090889, 15, 45, 47, 63, 69, 80, 115, 129, 189, 214, 234 [best: 1000] 30236569763849, 15, 45, 47, 63, 69, 97, 120, 130, 172, 189, 232 [best: 1000] 30279519436809, 15, 45, 47, 63, 70, 78, 86, 138, 159, 195, 197 [best: 1000] 30322469109769, 15, 45, 47, 63, 71, 74, 102, 120, 136, 166, 190 [best: 1000] 30365418782729, 15, 45, 47, 63, 72, 80, 114, 157, 188, 206, 217 [best: 1000] 30408368455689, 15, 45, 47, 63, 74, 79, 82, 103, 113, 117, 150 [best: 1000] 30451318128649, 15, 45, 47, 63, 75, 85, 105, 117, 139, 166, 204 [best: 1000] 30494267801609, 15, 45, 47, 63, 76, 82, 105, 122, 127, 143, 178 [best: 1000] 30537217474569, 15, 45, 47, 63, 77, 83, 92, 106, 117, 158, 185 [best: 1000] 30580167147529, 15, 45, 47, 63, 78, 79, 129, 133, 139, 161, 194 [best: 1000] 30623116820489, 15, 45, 47, 63, 78, 97, 103, 135, 158, 217, 234 [best: 1000] 30666066493449, 15, 45, 47, 63, 79, 92, 120, 124, 156, 158, 190 [best: 1000] 30709016166409, 15, 45, 47, 63, 80, 89, 128, 130, 135, 153, 182 [best: 1000] 30751965839369, 15, 45, 47, 63, 80, 107, 139, 149, 170, 177, 211 [best: 1000] 30794915512329, 15, 45, 47, 63, 82, 91, 97, 104, 143, 163, 192 [best: 1000] 30837865185289, 15, 45, 47, 63, 84, 90, 95, 109, 142, 153, 165 [best: 1000] 30880814858249, 15, 45, 47, 63, 86, 102, 108, 115, 146, 172, 216 [best: 1000] 30923764531209, 15, 45, 47, 63, 90, 91, 92, 109, 124, 137, 143 [best: 1000] 30966714204169, 15, 45, 47, 64, 65, 78, 92, 97, 124, 169, 174 [best: 1000] 31009663877129, 15, 45, 47, 64, 66, 72, 88, 91, 114, 130, 201, 227 [best: 1000] 31052613550089, 15, 45, 47, 64, 67, 68, 80, 95, 148, 192, 202 [best: 1000] 31095563223049, 15, 45, 47, 64, 68, 69, 97, 110, 115, 135, 250 [best: 1000] 31138512896009, 15, 45, 47, 64, 68, 77, 118, 134, 145, 149, 206 [best: 1000] 31181462568969, 15, 45, 47, 64, 68, 87, 90, 110, 172, 173, 221 [best: 1000] 31224412241929, 15, 45, 47, 64, 68, 95, 115, 131, 179, 187, 216 [best: 1000] 31267361914889, 15, 45, 47, 64, 69, 76, 102, 104, 125, 152, 240 [best: 1000] 31310311587849, 15, 45, 47, 64, 69, 89, 119, 147, 151, 173, 246, 255 [best: 1000] 31353261260809, 15, 45, 47, 64, 70, 88, 90, 128, 140, 148, 154 [best: 1000] 31396210933769, 15, 45, 47, 64, 72, 80, 95, 120, 135, 155 [best: 1000] 31439160606729, 15, 45, 47, 64, 74, 81, 108, 131, 138, 174, 210 [best: 1000] 31482110279689, 15, 45, 47, 64, 75, 78, 99, 111, 112, 163, 169 [best: 1000] 31525059952649, 15, 45, 47, 64, 76, 82, 84, 88, 93, 144 [best: 1000] 31568009625609, 15, 45, 47, 64, 76, 92, 105, 113, 158, 168, 210 [best: 1000] 31610959298569, 15, 45, 47, 64, 78, 79, 98, 106, 146, 178, 192 [best: 1000] 31653908971529, 15, 45, 47, 64, 79, 86, 87, 93, 149, 160, 196 [best: 1000] 31696858644489, 15, 45, 47, 64, 81, 85, 113, 123, 147, 170, 211 [best: 1000] 31739808317449, 15, 45, 47, 65, 66, 79, 96, 128, 141, 175, 245, 281 [best: 1000] 31782757990409, 15, 45, 47, 65, 67, 68, 107, 143, 157, 179, 214 [best: 1000] 31825707663369, 15, 45, 47, 65, 67, 83, 120, 129, 142, 190, 219 [best: 1000] 31868657336329, 15, 45, 47, 65, 68, 70, 104, 111, 130, 190, 214 [best: 1000] 31911607009289, 15, 45, 47, 65, 68, 81, 93, 126, 170, 181, 183 [best: 1000] 31954556682249, 15, 45, 47, 65, 68, 94, 101, 132, 154, 160, 180, 250 [best: 1000] 31997506355209, 15, 45, 47, 65, 69, 70, 94, 135, 172, 174, 238 [best: 1000] 32040456028169, 15, 45, 47, 65, 69, 83, 96, 97, 150, 152, 158 [best: 1000] 32083405701129, 15, 45, 47, 65, 69, 98, 129, 136, 141, 190, 196, 290 [best: 1000] 32126355374089, 15, 45, 47, 65, 70, 95, 116, 140, 148, 160, 166 [best: 1000] 32169305047049, 15, 45, 47, 65, 72, 84, 87, 97, 124, 158, 174 [best: 1000] 32212254720009, 15, 45, 47, 65, 74, 85, 100, 134, 141, 150, 180 [best: 1000] 32255204392969, 15, 45, 47, 65, 76, 96, 101, 104, 110, 144, 189 [best: 1000] 32298154065929, 15, 45, 47, 65, 78, 79, 111, 129, 141, 177, 246 [best: 1000] 32341103738889, 15, 45, 47, 65, 79, 92, 106, 107, 155, 159, 169 [best: 1000] 32384053411849, 15, 45, 47, 65, 80, 90, 93, 101, 146, 168, 196 [best: 1000] 32427003084809, 15, 45, 47, 65, 81, 92, 97, 98, 174, 217, 226 [best: 1000] 32469952757769, 15, 45, 47, 65, 82, 95, 126, 146, 165, 166, 194 [best: 1000] 32512902430729, 15, 45, 47, 65, 83, 101, 102, 109, 127, 128, 158 [best: 1000] 32555852103689, 15, 45, 47, 65, 86, 89, 104, 107, 138, 192, 207 [best: 1000] 32598801776649, 15, 45, 47, 65, 89, 98, 103, 110, 112, 116, 118 [best: 1000] 32641751449609, 15, 45, 47, 66, 67, 77, 78, 114, 151, 199, 205, 245 [best: 1000] 32684701122569, 15, 45, 47, 66, 68, 69, 73, 77, 87, 124, 137 [best: 1000] 32727650795529, 15, 45, 47, 66, 68, 76, 105, 137, 164, 181, 241 [best: 1000] 32770600468489, 15, 45, 47, 66, 68, 83, 99, 139, 146, 213, 256 [best: 1000] 32813550141449, 15, 45, 47, 66, 68, 93, 106, 123, 129, 186, 231, 258 [best: 1000] 32856499814409, 15, 45, 47, 66, 69, 74, 76, 77, 94, 140, 142, 193 [best: 1000] 32899449487369, 15, 45, 47, 66, 69, 89, 99, 109, 116, 215, 234, 279 [best: 1000] 32942399160329, 15, 45, 47, 66, 70, 80, 93, 114, 119, 188, 217 [best: 1000] 32985348833289, 15, 45, 47, 66, 71, 83, 84, 87, 101, 116, 154 [best: 1000] 33028298506249, 15, 45, 47, 66, 73, 79, 92, 118, 141, 171, 182 [best: 1000] 33071248179209, 15, 45, 47, 66, 74, 90, 120, 140, 164, 167, 209 [best: 1000] 33114197852169, 15, 45, 47, 66, 75, 90, 98, 115, 145, 161, 175 [best: 1000] 33157147525129, 15, 45, 47, 66, 76, 82, 107, 110, 143, 154, 192 [best: 1000] 33200097198089, 15, 45, 47, 66, 77, 80, 91, 98, 99, 207, 250, 285 [best: 1000] 33243046871049, 15, 45, 47, 66, 77, 84, 99, 109, 127, 196, 215, 254 [best: 1000] 33285996544009, 15, 45, 47, 66, 77, 89, 92, 99, 138, 150, 207, 250 [best: 1000] 33328946216969, 15, 45, 47, 66, 77, 93, 94, 99, 124, 203, 244, 268 [best: 1000] 33371895889929, 15, 45, 47, 66, 77, 99, 100, 134, 135, 138, 182 [best: 1000] 33414845562889, 15, 45, 47, 66, 77, 99, 110, 116, 163, 165, 188, 275 [best: 1000] 33457795235849, 15, 45, 47, 66, 77, 99, 129, 146, 158, 186, 229, 233 [best: 1000] 33500744908809, 15, 45, 47, 66, 80, 83, 128, 151, 152, 163, 202 [best: 1000] 33543694581769, 15, 45, 47, 66, 81, 89, 109, 110, 112, 129, 207, 221 [best: 1000] 33586644254729, 15, 45, 47, 67, 68, 71, 76, 83, 88, 166, 172 [best: 1000] 33629593927689, 15, 45, 47, 67, 68, 77, 83, 89, 154, 158, 178 [best: 1000] 33672543600649, 15, 45, 47, 67, 68, 84, 100, 106, 136, 196, 217 [best: 1000] 33715493273609, 15, 45, 47, 67, 68, 93, 104, 119, 130, 212, 220, 257 [best: 1000] 33758442946569, 15, 45, 47, 67, 68, 108, 113, 114, 142, 186, 200 [best: 1000] 33801392619529, 15, 45, 47, 67, 69, 77, 108, 128, 165, 207, 258 [best: 1000] 33844342292489, 15, 45, 47, 67, 69, 90, 111, 122, 174, 217, 246, 286 [best: 1000] 33887291965449, 15, 45, 47, 67, 70, 77, 100, 105, 123, 124, 141 [best: 1000] 33930241638409, 15, 45, 47, 67, 71, 73, 79, 84, 85, 180, 202 [best: 1000] 33973191311369, 15, 45, 47, 67, 71, 89, 93, 97, 156, 187, 220 [best: 1000] 34016140984329, 15, 45, 47, 67, 72, 84, 110, 126, 146, 153, 177 [best: 1000] 34059090657289, 15, 45, 47, 67, 73, 85, 91, 107, 155, 168, 206 [best: 1000] 34102040330249, 15, 45, 47, 67, 74, 87, 96, 116, 128, 129, 160 [best: 1000] 34144990003209, 15, 45, 47, 67, 75, 93, 113, 155, 175, 198, 218 [best: 1000] 34187939676169, 15, 45, 47, 67, 76, 95, 122, 145, 146, 159, 182 [best: 1000] 34230889349129, 15, 45, 47, 67, 77, 83, 117, 120, 173, 181, 190 [best: 1000] 34273839022089, 15, 45, 47, 67, 77, 92, 109, 135, 183, 196, 197 [best: 1000] 34316788695049, 15, 45, 47, 67, 77, 108, 121, 126, 138, 165, 214 [best: 1000] 34359738368009, 15, 45, 47, 67, 78, 91, 98, 115, 133, 170, 208 [best: 1000] 34402688040969, 15, 45, 47, 67, 79, 103, 121, 143, 167, 214, 223 [best: 1000] 34445637713929, 15, 45, 47, 67, 82, 90, 122, 138, 146, 148, 213 [best: 1000] 34488587386889, 15, 45, 47, 68, 69, 73, 90, 143, 160, 219, 231 [best: 1000] 34531537059849, 15, 45, 47, 68, 69, 78, 101, 149, 162, 182, 227 [best: 1000] 34574486732809, 15, 45, 47, 68, 69, 81, 128, 140, 179, 180, 228, 253 [best: 1000] 34617436405769, 15, 45, 47, 68, 69, 90, 108, 112, 146, 158, 229 [best: 1000] 34660386078729, 15, 45, 47, 68, 69, 103, 117, 128, 144, 163, 188 [best: 1000] 34703335751689, 15, 45, 47, 68, 70, 75, 92, 151, 170, 171, 211 [best: 1000] 34746285424649, 15, 45, 47, 68, 70, 81, 111, 134, 139, 199, 255, 256 [best: 1000] 34789235097609, 15, 45, 47, 68, 70, 97, 127, 155, 156, 179, 180 [best: 1000] 34832184770569, 15, 45, 47, 68, 71, 75, 119, 125, 181, 185, 228 [best: 1000] 34875134443529, 15, 45, 47, 68, 71, 81, 90, 133, 138, 148, 170, 263 [best: 1000] 34918084116489, 15, 45, 47, 68, 71, 87, 103, 160, 184, 186, 200 [best: 1000] 34961033789449, 15, 45, 47, 68, 71, 104, 117, 122, 129, 145, 238 [best: 1000] 35003983462409, 15, 45, 47, 68, 72, 76, 111, 124, 157, 159, 206 [best: 1000] 35046933135369, 15, 45, 47, 68, 72, 81, 123, 135, 148, 170, 194, 211 [best: 1000] 35089882808329, 15, 45, 47, 68, 72, 94, 124, 128, 139, 173, 215, 236 [best: 1000] 35132832481289, 15, 45, 47, 68, 73, 76, 81, 118, 164, 202, 243, 248 [best: 1000] 35175782154249, 15, 45, 47, 68, 73, 81, 87, 141, 142, 160, 196, 198 [best: 1000] 35218731827209, 15, 45, 47, 68, 73, 86, 114, 145, 174, 191, 213 [best: 1000] 35261681500169, 15, 45, 47, 68, 73, 100, 106, 161, 184, 210, 224 [best: 1000] 35304631173129, 15, 45, 47, 68, 74, 76, 80, 120, 169, 170, 202 [best: 1000] 35347580846089, 15, 45, 47, 68, 74, 81, 106, 114, 133, 188, 201, 248 [best: 1000] 35390530519049, 15, 45, 47, 68, 74, 91, 123, 153, 173, 203, 222, 255 [best: 1000] 35433480192009, 15, 45, 47, 68, 75, 78, 82, 128, 161, 176, 219 [best: 1000] 35476429864969, 15, 45, 47, 68, 75, 82, 87, 90, 145, 166, 191 [best: 1000] 35519379537929, 15, 45, 47, 68, 75, 103, 104, 114, 143, 179, 242 [best: 1000] 35562329210889, 15, 45, 47, 68, 76, 80, 107, 125, 137, 153, 188 [best: 1000] 35605278883849, 15, 45, 47, 68, 76, 86, 88, 97, 132, 187, 212 [best: 1000] 35648228556809, 15, 45, 47, 68, 76, 101, 135, 146, 155, 184, 217 [best: 1000] 35691178229769, 15, 45, 47, 68, 77, 80, 124, 147, 163, 174, 199 [best: 1000] 35734127902729, 15, 45, 47, 68, 77, 86, 89, 96, 119, 133, 221 [best: 1000] 35777077575689, 15, 45, 47, 68, 77, 102, 123, 125, 129, 172, 197 [best: 1000] 35820027248649, 15, 45, 47, 68, 78, 81, 90, 98, 135, 172, 176, 225 [best: 1000] 35862976921609, 15, 45, 47, 68, 78, 89, 120, 137, 174, 191, 202 [best: 1000] 35905926594569, 15, 45, 47, 68, 79, 80, 90, 106, 163, 181, 268 [best: 1000] 35948876267529, 15, 45, 47, 68, 79, 84, 86, 133, 159, 180 [best: 1000] 35991825940489, 15, 45, 47, 68, 79, 94, 120, 125, 132, 205, 213 [best: 1000] 36034775613449, 15, 45, 47, 68, 79, 115, 124, 138, 159, 207, 214 [best: 1000] 36077725286409, 15, 45, 47, 68, 80, 81, 142, 146, 154, 184, 273, 274 [best: 1000] 36120674959369, 15, 45, 47, 68, 80, 87, 106, 119, 123, 133, 236 [best: 1000] 36163624632329, 15, 45, 47, 68, 80, 95, 111, 140, 164, 206, 223 [best: 1000] 36206574305289, 15, 45, 47, 68, 80, 104, 126, 128, 143, 181, 182 [best: 1000] 36249523978249, 15, 45, 47, 68, 80, 123, 125, 140, 153, 187, 227 [best: 1000] 36292473651209, 15, 45, 47, 68, 81, 83, 113, 114, 151, 222, 258, 268 [best: 1000] 36335423324169, 15, 45, 47, 68, 81, 86, 88, 114, 161, 200, 243, 265 [best: 1000] 36378372997129, 15, 45, 47, 68, 81, 88, 96, 114, 163, 188, 226, 274 [best: 1000] 36421322670089, 15, 45, 47, 68, 81, 90, 114, 137, 153, 171, 191, 222 [best: 1000] 36464272343049, 15, 45, 47, 68, 81, 93, 103, 114, 122, 124, 189, 254 [best: 1000] 36507222016009, 15, 45, 47, 68, 81, 96, 100, 114, 150, 175, 216, 237 [best: 1000] 36550171688969, 15, 45, 47, 68, 81, 98, 114, 138, 165, 217, 222, 271 [best: 1000] 36593121361929, 15, 45, 47, 68, 81, 101, 114, 161, 167, 168, 257, 286 [best: 1000] 36636071034889, 15, 45, 47, 68, 81, 104, 114, 129, 144, 171, 179, 284 [best: 1000] 36679020707849, 15, 45, 47, 68, 81, 107, 114, 131, 137, 222, 227, 263 [best: 1000] 36721970380809, 15, 45, 47, 68, 81, 112, 114, 162, 176, 230, 235, 247 [best: 1000] 36764920053769, 15, 45, 47, 68, 81, 114, 119, 159, 175, 178, 231, 243 [best: 1000] 36807869726729, 15, 45, 47, 68, 81, 114, 126, 141, 158, 177, 194, 240 [best: 1000] 36850819399689, 15, 45, 47, 68, 81, 114, 138, 149, 161, 189, 203, 244 [best: 1000] 36893769072649, 15, 45, 47, 68, 82, 85, 119, 140, 144, 146, 238 [best: 1000] 36936718745609, 15, 45, 47, 68, 82, 105, 115, 146, 169, 176, 184 [best: 1000] 36979668418569, 15, 45, 47, 68, 83, 99, 111, 117, 135, 142, 207 [best: 1000] 37022618091529, 15, 45, 47, 68, 84, 92, 103, 135, 141, 221, 235 [best: 1000] 37065567764489, 15, 45, 47, 68, 84, 119, 131, 153, 177, 179, 225 [best: 1000] 37108517437449, 15, 45, 47, 68, 86, 94, 103, 110, 164, 176, 217 [best: 1000] 37151467110409, 15, 45, 47, 68, 86, 115, 127, 146, 153, 178, 185 [best: 1000] 37194416783369, 15, 45, 47, 68, 88, 91, 93, 106, 133, 187, 214 [best: 1000] 37237366456329, 15, 45, 47, 68, 89, 92, 97, 101, 106, 163, 204 [best: 1000] 37280316129289, 15, 45, 47, 68, 90, 99, 133, 136, 165, 191, 207 [best: 1000] 37323265802249, 15, 45, 47, 68, 90, 115, 132, 148, 149, 181, 203 [best: 1000] 37366215475209, 15, 45, 47, 68, 91, 106, 127, 140, 159, 168, 190 [best: 1000] 37409165148169, 15, 45, 47, 68, 92, 106, 135, 143, 144, 223, 248, 262 [best: 1000] 37452114821129, 15, 45, 47, 68, 94, 100, 114, 130, 150, 199, 223 [best: 1000] 37495064494089, 15, 45, 47, 69, 70, 76, 78, 159, 167, 168, 187, 206 [best: 1000] 37538014167049, 15, 45, 47, 69, 70, 83, 104, 125, 127, 131, 148 [best: 1000] 37580963840009, 15, 45, 47, 69, 71, 74, 98, 108, 139, 150, 192 [best: 1000] 37623913512969, 15, 45, 47, 69, 71, 79, 92, 110, 138, 189, 229 [best: 1000] 37666863185929, 15, 45, 47, 69, 71, 95, 105, 125, 161, 178, 237 [best: 1000] 37709812858889, 15, 45, 47, 69, 72, 78, 82, 119, 125, 147, 204, 226 [best: 1000] 37752762531849, 15, 45, 47, 69, 73, 74, 78, 135, 152, 164, 181, 228 [best: 1000] 37795712204809, 15, 45, 47, 69, 73, 86, 105, 124, 139, 174, 181 [best: 1000] 37838661877769, 15, 45, 47, 69, 74, 78, 97, 137, 158, 159, 187, 216 [best: 1000] 37881611550729, 15, 45, 47, 69, 74, 89, 92, 115, 155, 205, 229 [best: 1000] 37924561223689, 15, 45, 47, 69, 75, 77, 91, 119, 132, 161, 214 [best: 1000] 37967510896649, 15, 45, 47, 69, 76, 78, 94, 107, 115, 135, 232, 235 [best: 1000] 38010460569609, 15, 45, 47, 69, 76, 92, 97, 106, 142, 164, 220 [best: 1000] 38053410242569, 15, 45, 47, 69, 77, 78, 102, 125, 150, 152, 160, 172 [best: 1000] 38096359915529, 15, 45, 47, 69, 77, 90, 95, 120, 138, 176, 207 [best: 1000] 38139309588489, 15, 45, 47, 69, 78, 80, 81, 83, 103, 106, 205, 261 [best: 1000] 38182259261449, 15, 45, 47, 69, 78, 82, 106, 109, 114, 122, 201, 233 [best: 1000] 38225208934409, 15, 45, 47, 69, 78, 85, 90, 106, 127, 138, 193, 214 [best: 1000] 38268158607369, 15, 45, 47, 69, 78, 87, 106, 129, 141, 163, 210, 284 [best: 1000] 38311108280329, 15, 45, 47, 69, 78, 90, 106, 110, 149, 159, 172, 204 [best: 1000] 38354057953289, 15, 45, 47, 69, 78, 93, 106, 118, 150, 160, 208, 247 [best: 1000] 38397007626249, 15, 45, 47, 69, 78, 95, 106, 159, 168, 199, 217, 249 [best: 1000] 38439957299209, 15, 45, 47, 69, 78, 99, 106, 120, 144, 184, 236, 246, 254 [best: 1000] 38482906972169, 15, 45, 47, 69, 78, 105, 106, 113, 177, 185, 187, 196 [best: 1000] 38525856645129, 15, 45, 47, 69, 78, 106, 112, 139, 144, 145, 205, 227 [best: 1000] 38568806318089, 15, 45, 47, 69, 78, 106, 118, 134, 137, 146, 203, 246 [best: 1000] 38611755991049, 15, 45, 47, 69, 78, 106, 130, 156, 161, 167, 241, 320 [best: 1000] 38654705664009, 15, 45, 47, 69, 79, 82, 103, 106, 154, 164, 190, 215 [best: 1000] 38697655336969, 15, 45, 47, 69, 80, 87, 121, 143, 159, 196, 211 [best: 1000] 38740605009929, 15, 45, 47, 69, 81, 89, 91, 118, 120, 134, 212, 234 [best: 1000] 38783554682889, 15, 45, 47, 69, 82, 95, 107, 118, 134, 154, 176 [best: 1000] 38826504355849, 15, 45, 47, 69, 84, 91, 118, 120, 135, 206, 227, 245 [best: 1000] 38869454028809, 15, 45, 47, 70, 71, 75, 104, 115, 136, 137, 162 [best: 1000] 38912403701769, 15, 45, 47, 70, 72, 74, 95, 110, 153, 183, 185 [best: 1000] 38955353374729, 15, 45, 47, 70, 73, 82, 109, 133, 177, 189, 209 [best: 1000] 38998303047689, 15, 45, 47, 70, 74, 80, 96, 97, 146, 171, 175 [best: 1000] 39041252720649, 15, 45, 47, 70, 75, 93, 107, 113, 117, 132, 169 [best: 1000] 39084202393609, 15, 45, 47, 70, 76, 100, 115, 158, 169, 180, 184, 221 [best: 1000] 39127152066569, 15, 45, 47, 70, 79, 94, 95, 110, 125, 197, 221 [best: 1000] 39170101739529, 15, 45, 47, 70, 80, 100, 125, 151, 190, 195, 208 [best: 1000] 39213051412489, 15, 45, 47, 70, 82, 87, 129, 132, 135, 164, 174 [best: 1000] 39256001085449, 15, 45, 47, 70, 82, 110, 114, 140, 174, 186, 239 [best: 1000] 39298950758409, 15, 45, 47, 70, 87, 99, 119, 133, 152, 169, 208 [best: 1000] 3934190043136total chains: 3938182949526new expressions at chain length: n sum avg min max 4: 0 15 0 14 15 5: 0 0 0 0 0 6: 0 0 0 0 0 7: 0 0 0 0 0 8: 1 11 11 11 11 9: 23 362 15 9 2410: 615 10625 17 5 3311: 19003 355623 18 3 3812: 672732 13763480 20 2 4313: 26915677 600400671 22 1 4814: 1203200273 29118397588 24 0 5315: 59522909826 1556257844484 26 0 5816: 9715768371 290385758237 29 0 6117: 102870835 3418343529 33 1 6418: 102485 3869061 37 8 6219: 8 355 44 40 5520: 0 0 0 0 021: 0 0 0 0 0real 751m27.300suser 310m23.438ssys 0m26.788sEOMstderr end 2025-05-01 21:04:57 (22180): called boinc_finish(0) </stderr_txt> ]]>
