Task 15687
| Name | batch_89__job_job-000935_1 |
| Workunit | 12863 |
| Created | 1 May 2025, 0:55:34 UTC |
| Sent | 1 May 2025, 1:45:03 UTC |
| Report deadline | 8 May 2025, 1:45:03 UTC |
| Received | 1 May 2025, 8:56:09 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 33110 |
| Run time | 6 hours 10 min 29 sec |
| CPU time | 5 hours 47 min 26 sec |
| Validate state | Valid |
| Credit | 87.52 |
| Device peak FLOPS | 5.48 GFLOPS |
| Application version | Universal Docker app v1.09 (docker) windows_x86_64 |
| Peak working set size | 12.28 MB |
| Peak swap size | 2.34 MB |
| Peak disk usage | 138.03 KB |
Stderr output
<core_client_version>8.2.1</core_client_version> <![CDATA[ <stderr_txt> 64, 98, 115, 124, 139, 147, 163, 195 [best: 1000] 123695058124820, 23, 35, 60, 64, 100, 101, 117, 151, 153, 168, 243 [best: 1000] 124124554854420, 23, 35, 60, 64, 101, 106, 134, 141, 146, 155, 195 [best: 1000] 124554051584020, 23, 35, 60, 64, 102, 112, 117, 134, 139, 146, 178 [best: 1000] 124983548313620, 23, 35, 60, 64, 104, 119, 120, 133, 141, 169, 193 [best: 1000] 125413045043220, 23, 35, 60, 65, 66, 74, 84, 96, 156, 164, 176 [best: 1000] 125842541772820, 23, 35, 60, 65, 66, 85, 120, 124, 182, 195, 205 [best: 1000] 126272038502420, 23, 35, 60, 65, 66, 103, 139, 157, 175, 188, 190 [best: 1000] 126701535232020, 23, 35, 60, 65, 67, 73, 111, 121, 143, 176, 216 [best: 1000] 127131031961620, 23, 35, 60, 65, 67, 86, 90, 112, 137, 142, 241 [best: 1000] 127560528691220, 23, 35, 60, 65, 67, 107, 108, 117, 140, 185, 213 [best: 1000] 127990025420820, 23, 35, 60, 65, 68, 76, 84, 103, 130, 133, 205 [best: 1000] 128419522150420, 23, 35, 60, 65, 68, 89, 124, 153, 156, 202, 243, 287 [best: 1000] 128849018880020, 23, 35, 60, 65, 69, 71, 84, 90, 140, 166, 196 [best: 1000] 129278515609620, 23, 35, 60, 65, 69, 84, 92, 127, 140, 147, 174, 207 [best: 1000] 129708012339220, 23, 35, 60, 65, 70, 72, 101, 104, 135, 160, 163 [best: 1000] 130137509068820, 23, 35, 60, 65, 71, 72, 107, 114, 131, 137, 211 [best: 1000] 130567005798420, 23, 35, 60, 65, 71, 89, 92, 96, 100, 191 [best: 1000] 130996502528020, 23, 35, 60, 65, 72, 75, 86, 105, 113, 139, 183, 245 [best: 1000] 131425999257620, 23, 35, 60, 65, 72, 83, 105, 108, 149, 167, 248, 268 [best: 1000] 131855495987220, 23, 35, 60, 65, 72, 92, 111, 138, 139, 191, 218 [best: 1000] 132284992716820, 23, 35, 60, 65, 72, 104, 129, 131, 191, 193, 247 [best: 1000] 132714489446420, 23, 35, 60, 65, 73, 76, 94, 106, 145, 160, 188 [best: 1000] 133143986176020, 23, 35, 60, 65, 73, 85, 94, 103, 153, 155, 212 [best: 1000] 133573482905620, 23, 35, 60, 65, 73, 97, 99, 118, 158, 201, 216 [best: 1000] 134002979635220, 23, 35, 60, 65, 74, 75, 85, 89, 143, 156, 177 [best: 1000] 134432476364820, 23, 35, 60, 65, 74, 84, 93, 102, 118, 184, 185 [best: 1000] 134861973094420, 23, 35, 60, 65, 74, 95, 104, 121, 127, 152, 221 [best: 1000] 135291469824020, 23, 35, 60, 65, 74, 111, 131, 149, 150, 172, 206 [best: 1000] 135720966553620, 23, 35, 60, 65, 75, 91, 103, 115, 153, 174, 247 [best: 1000] 136150463283220, 23, 35, 60, 65, 76, 88, 110, 114, 147, 154, 155 [best: 1000] 136579960012820, 23, 35, 60, 65, 77, 85, 125, 127, 148, 174, 204 [best: 1000] 137009456742420, 23, 35, 60, 65, 78, 80, 88, 112, 147, 167, 188 [best: 1000] 137438953472020, 23, 35, 60, 65, 78, 93, 107, 125, 144, 202, 230 [best: 1000] 137868450201620, 23, 35, 60, 65, 79, 85, 106, 120, 124, 132, 137 [best: 1000] 138297946931220, 23, 35, 60, 65, 80, 86, 89, 107, 116, 125, 205 [best: 1000] 138727443660820, 23, 35, 60, 65, 80, 106, 133, 138, 177, 183, 201 [best: 1000] 139156940390420, 23, 35, 60, 65, 81, 91, 128, 129, 151, 175, 187 [best: 1000] 139586437120020, 23, 35, 60, 65, 82, 87, 95, 102, 125, 157, 170 [best: 1000] 140015933849620, 23, 35, 60, 65, 83, 88, 101, 121, 169, 175, 220 [best: 1000] 140445430579220, 23, 35, 60, 65, 83, 100, 131, 132, 148, 153, 248 [best: 1000] 140874927308820, 23, 35, 60, 65, 84, 89, 97, 118, 147, 165, 224 [best: 1000] 141304424038420, 23, 35, 60, 65, 85, 96, 125, 147, 177, 181, 246 [best: 1000] 141733920768020, 23, 35, 60, 65, 86, 105, 113, 120, 143, 149, 178 [best: 1000] 142163417497620, 23, 35, 60, 65, 87, 110, 117, 119, 173, 180, 209 [best: 1000] 142592914227220, 23, 35, 60, 65, 89, 90, 137, 152, 190, 200, 239 [best: 1000] 143022410956820, 23, 35, 60, 65, 89, 104, 131, 155, 178, 184, 209, 247 [best: 1000] 143451907686420, 23, 35, 60, 65, 90, 98, 99, 141, 153, 188, 198 [best: 1000] 143881404416020, 23, 35, 60, 65, 91, 93, 97, 102, 114, 137, 150 [best: 1000] 144310901145620, 23, 35, 60, 65, 91, 113, 123, 124, 175, 207, 214 [best: 1000] 144740397875220, 23, 35, 60, 65, 95, 98, 136, 139, 147, 209, 228 [best: 1000] 145169894604820, 23, 35, 60, 65, 96, 108, 123, 140, 169, 205, 239 [best: 1000] 145599391334420, 23, 35, 60, 66, 67, 70, 84, 105, 120, 123, 125 [best: 1000] 146028888064020, 23, 35, 60, 66, 67, 78, 124, 125, 168, 191, 247 [best: 1000] 146458384793620, 23, 35, 60, 66, 67, 91, 126, 128, 139, 154, 236 [best: 1000] 146887881523220, 23, 35, 60, 66, 67, 113, 128, 143, 153, 222, 230 [best: 1000] 147317378252820, 23, 35, 60, 66, 68, 76, 84, 113, 137, 154, 191 [best: 1000] 147746874982420, 23, 35, 60, 66, 68, 89, 130, 163, 164, 192, 225 [best: 1000] 148176371712020, 23, 35, 60, 66, 68, 110, 125, 155, 199, 220, 222 [best: 1000] 148605868441620, 23, 35, 60, 66, 69, 75, 130, 139, 161, 181, 197 [best: 1000] 149035365171220, 23, 35, 60, 66, 69, 89, 101, 118, 157, 186, 210 [best: 1000] 149464861900820, 23, 35, 60, 66, 69, 108, 109, 136, 151, 188, 215, 298 [best: 1000] 149894358630420, 23, 35, 60, 66, 70, 79, 89, 95, 116, 144, 151 [best: 1000] 150323855360020, 23, 35, 60, 66, 70, 105, 111, 118, 120, 126, 141, 191 [best: 1000] 150753352089620, 23, 35, 60, 66, 71, 82, 87, 89, 92, 109, 125 [best: 1000] 151182848819220, 23, 35, 60, 66, 71, 104, 127, 129, 134, 160, 193 [best: 1000] 151612345548820, 23, 35, 60, 66, 72, 77, 79, 93, 127, 165, 222 [best: 1000] 152041842278420, 23, 35, 60, 66, 72, 83, 102, 152, 162, 205, 222 [best: 1000] 152471339008020, 23, 35, 60, 66, 72, 91, 92, 135, 145, 207, 234 [best: 1000] 152900835737620, 23, 35, 60, 66, 72, 97, 111, 139, 160, 177 [best: 1000] 153330332467220, 23, 35, 60, 66, 72, 107, 140, 154, 167, 195, 217, 283 [best: 1000] 153759829196820, 23, 35, 60, 66, 72, 126, 139, 153, 177, 185, 219 [best: 1000] 154189325926420, 23, 35, 60, 66, 73, 78, 149, 154, 193, 195, 222 [best: 1000] 154618822656020, 23, 35, 60, 66, 73, 84, 98, 101, 106, 160, 223 [best: 1000] 155048319385620, 23, 35, 60, 66, 73, 91, 106, 127, 138, 228, 249 [best: 1000] 155477816115220, 23, 35, 60, 66, 73, 98, 112, 119, 133, 179, 203, 230 [best: 1000] 155907312844820, 23, 35, 60, 66, 73, 109, 118, 124, 155, 166, 224, 281 [best: 1000] 156336809574420, 23, 35, 60, 66, 73, 124, 125, 154, 164, 205, 267 [best: 1000] 156766306304020, 23, 35, 60, 66, 74, 81, 112, 131, 159, 181, 185 [best: 1000] 157195803033620, 23, 35, 60, 66, 74, 91, 133, 179, 184, 210, 243 [best: 1000] 157625299763220, 23, 35, 60, 66, 74, 104, 114, 115, 159, 204, 257 [best: 1000] 158054796492820, 23, 35, 60, 66, 75, 80, 90, 98, 114, 177, 184 [best: 1000] 158484293222420, 23, 35, 60, 66, 75, 97, 111, 137, 142, 178, 180 [best: 1000] 158913789952020, 23, 35, 60, 66, 76, 85, 92, 144, 169, 175, 210 [best: 1000] 159343286681620, 23, 35, 60, 66, 76, 106, 138, 143, 164, 172, 182 [best: 1000] 159772783411220, 23, 35, 60, 66, 77, 90, 122, 134, 161, 170, 187, 279 [best: 1000] 160202280140820, 23, 35, 60, 66, 77, 117, 135, 136, 177, 187, 216 [best: 1000] 160631776870420, 23, 35, 60, 66, 78, 90, 100, 108, 179, 216, 219 [best: 1000] 161061273600020, 23, 35, 60, 66, 78, 103, 105, 128, 168, 175, 187 [best: 1000] 161490770329620, 23, 35, 60, 66, 79, 85, 99, 127, 145, 157, 227 [best: 1000] 161920267059220, 23, 35, 60, 66, 79, 109, 120, 127, 162, 182, 185 [best: 1000] 162349763788820, 23, 35, 60, 66, 80, 92, 112, 151, 169, 189, 210, 231 [best: 1000] 162779260518420, 23, 35, 60, 66, 80, 116, 117, 131, 148, 184, 205 [best: 1000] 163208757248020, 23, 35, 60, 66, 81, 92, 101, 121, 129, 214, 224, 282 [best: 1000] 163638253977620, 23, 35, 60, 66, 81, 108, 122, 152, 154, 177, 201 [best: 1000] 164067750707220, 23, 35, 60, 66, 82, 91, 124, 125, 199, 236, 262, 303 [best: 1000] 164497247436820, 23, 35, 60, 66, 83, 86, 113, 135, 144, 173, 206, 233 [best: 1000] 164926744166420, 23, 35, 60, 66, 83, 93, 135, 142, 172, 225, 233 [best: 1000] 165356240896020, 23, 35, 60, 66, 83, 105, 115, 120, 172, 226, 232 [best: 1000] 165785737625620, 23, 35, 60, 66, 83, 125, 140, 157, 175, 206, 229 [best: 1000] 166215234355220, 23, 35, 60, 66, 84, 101, 109, 127, 130, 179, 263 [best: 1000] 166644731084820, 23, 35, 60, 66, 85, 94, 107, 155, 166, 188, 225 [best: 1000] 167074227814420, 23, 35, 60, 66, 86, 91, 92, 135, 165, 178, 188, 255 [best: 1000] 167503724544020, 23, 35, 60, 66, 87, 96, 112, 124, 131, 179, 188, 196 [best: 1000] 167933221273620, 23, 35, 60, 66, 88, 98, 99, 155, 164, 180, 209 [best: 1000] 168362718003220, 23, 35, 60, 66, 89, 93, 133, 169, 173, 174, 232 [best: 1000] 168792214732820, 23, 35, 60, 66, 89, 111, 135, 136, 144, 167, 185 [best: 1000] 169221711462420, 23, 35, 60, 66, 90, 96, 99, 109, 165, 173, 190, 224 [best: 1000] 169651208192020, 23, 35, 60, 66, 90, 111, 118, 156, 183, 208, 234 [best: 1000] 170080704921620, 23, 35, 60, 66, 91, 95, 113, 128, 135, 167, 249 [best: 1000] 170510201651220, 23, 35, 60, 66, 91, 110, 146, 166, 185, 187, 208 [best: 1000] 170939698380820, 23, 35, 60, 66, 92, 97, 99, 101, 111, 207, 215, 270 [best: 1000] 171369195110420, 23, 35, 60, 66, 92, 111, 144, 153, 155, 184, 212, 269 [best: 1000] 171798691840020, 23, 35, 60, 66, 93, 99, 119, 178, 190, 233, 244 [best: 1000] 172228188569620, 23, 35, 60, 66, 93, 109, 117, 129, 164, 165, 170 [best: 1000] 172657685299220, 23, 35, 60, 66, 93, 117, 129, 168, 190, 213, 217 [best: 1000] 173087182028820, 23, 35, 60, 66, 94, 102, 122, 143, 159, 181, 209 [best: 1000] 173516678758420, 23, 35, 60, 66, 95, 102, 109, 117, 122, 136, 217 [best: 1000] 173946175488020, 23, 35, 60, 66, 96, 99, 145, 150, 160, 193, 197 [best: 1000] 174375672217620, 23, 35, 60, 66, 96, 119, 123, 159, 160, 173, 245 [best: 1000] 174805168947220, 23, 35, 60, 66, 98, 110, 117, 152, 161, 186, 198 [best: 1000] 175234665676820, 23, 35, 60, 66, 99, 115, 137, 164, 199, 235, 264 [best: 1000] 175664162406420, 23, 35, 60, 66, 101, 102, 121, 138, 156, 161, 217 [best: 1000] 176093659136020, 23, 35, 60, 66, 101, 127, 138, 144, 150, 186, 253 [best: 1000] 176523155865620, 23, 35, 60, 66, 104, 108, 134, 153, 158, 160, 183 [best: 1000] 176952652595220, 23, 35, 60, 67, 68, 74, 97, 113, 168, 173, 225 [best: 1000] 177382149324820, 23, 35, 60, 67, 68, 90, 108, 163, 175, 207, 216 [best: 1000] 177811646054420, 23, 35, 60, 67, 69, 71, 86, 100, 115, 151, 188 [best: 1000] 178241142784020, 23, 35, 60, 67, 69, 83, 89, 106, 161, 165, 170, 190 [best: 1000] 178670639513620, 23, 35, 60, 67, 69, 102, 116, 125, 131, 173, 176, 210 [best: 1000] 179100136243220, 23, 35, 60, 67, 70, 81, 87, 92, 108, 164, 169, 188 [best: 1000] 179529632972820, 23, 35, 60, 67, 71, 73, 94, 96, 153, 158, 221 [best: 1000] 179959129702420, 23, 35, 60, 67, 71, 89, 116, 126, 150, 186, 234 [best: 1000] 180388626432020, 23, 35, 60, 67, 72, 73, 115, 123, 141, 144, 211 [best: 1000] 180818123161620, 23, 35, 60, 67, 72, 81, 120, 140, 183, 206, 265 [best: 1000] 181247619891220, 23, 35, 60, 67, 72, 91, 111, 130, 131, 180, 227, 230 [best: 1000] 181677116620820, 23, 35, 60, 67, 72, 104, 132, 150, 164, 185, 230 [best: 1000] 182106613350420, 23, 35, 60, 67, 73, 74, 106, 108, 207, 232, 243, 254 [best: 1000] 182536110080020, 23, 35, 60, 67, 73, 81, 109, 155, 170, 182, 240 [best: 1000] 182965606809620, 23, 35, 60, 67, 73, 90, 95, 118, 185, 187, 230 [best: 1000] 183395103539220, 23, 35, 60, 67, 73, 98, 125, 164, 180, 181, 283 [best: 1000] 183824600268820, 23, 35, 60, 67, 73, 110, 130, 131, 153, 167, 202, 241 [best: 1000] 184254096998420, 23, 35, 60, 67, 74, 79, 110, 127, 194, 203, 232 [best: 1000] 184683593728020, 23, 35, 60, 67, 74, 88, 94, 98, 110, 190, 193 [best: 1000] 185113090457620, 23, 35, 60, 67, 74, 96, 117, 147, 150, 202, 241 [best: 1000] 185542587187220, 23, 35, 60, 67, 74, 110, 117, 146, 201, 207, 234 [best: 1000] 185972083916820, 23, 35, 60, 67, 75, 84, 111, 116, 118, 141, 207 [best: 1000] 186401580646420, 23, 35, 60, 67, 76, 84, 103, 109, 167, 174, 190 [best: 1000] 186831077376020, 23, 35, 60, 67, 77, 82, 90, 96, 108, 186, 202 [best: 1000] 187260574105620, 23, 35, 60, 67, 78, 80, 106, 123, 150, 155, 170 [best: 1000] 187690070835220, 23, 35, 60, 67, 78, 94, 116, 142, 145, 188, 225 [best: 1000] 188119567564820, 23, 35, 60, 67, 79, 83, 125, 127, 178, 183, 257 [best: 1000] 188549064294420, 23, 35, 60, 67, 80, 84, 102, 118, 127, 154 [best: 1000] 188978561024020, 23, 35, 60, 67, 80, 107, 113, 119, 134, 172, 184, 224 [best: 1000] 189408057753620, 23, 35, 60, 67, 81, 92, 97, 132, 138, 152, 234 [best: 1000] 189837554483220, 23, 35, 60, 67, 81, 117, 137, 153, 164, 191, 206 [best: 1000] 190267051212820, 23, 35, 60, 67, 83, 84, 110, 145, 175, 216, 247 [best: 1000] 190696547942420, 23, 35, 60, 67, 83, 93, 97, 105, 113, 133, 169 [best: 1000] 191126044672020, 23, 35, 60, 67, 83, 106, 130, 137, 152, 156, 196 [best: 1000] 191555541401620, 23, 35, 60, 67, 84, 86, 95, 118, 160, 179, 182 [best: 1000] 191985038131220, 23, 35, 60, 67, 85, 88, 91, 96, 102, 129, 135 [best: 1000] 192414534860820, 23, 35, 60, 67, 86, 91, 94, 142, 166, 179, 212 [best: 1000] 192844031590420, 23, 35, 60, 67, 87, 99, 102, 106, 110, 127, 131 [best: 1000] 193273528320020, 23, 35, 60, 67, 88, 114, 126, 146, 152, 159, 196 [best: 1000] 193703025049620, 23, 35, 60, 67, 90, 93, 122, 146, 184, 207, 221 [best: 1000] 194132521779220, 23, 35, 60, 67, 90, 105, 124, 152, 171, 197, 263 [best: 1000] 194562018508820, 23, 35, 60, 67, 90, 123, 136, 152, 174, 235, 269 [best: 1000] 194991515238420, 23, 35, 60, 67, 91, 103, 106, 149, 157, 185, 255 [best: 1000] 195421011968020, 23, 35, 60, 67, 91, 119, 124, 137, 160, 164, 221 [best: 1000] 195850508697620, 23, 35, 60, 67, 92, 114, 134, 135, 171, 191, 196 [best: 1000] 196280005427220, 23, 35, 60, 67, 94, 99, 108, 154, 165, 185, 202, 218 [best: 1000] 196709502156820, 23, 35, 60, 67, 95, 103, 109, 119, 149, 210, 234 [best: 1000] 197138998886420, 23, 35, 60, 67, 96, 114, 128, 155, 156, 170, 234 [best: 1000] 197568495616020, 23, 35, 60, 67, 98, 108, 118, 163, 175, 182, 200 [best: 1000] 197997992345620, 23, 35, 60, 67, 100, 105, 107, 133, 139, 156, 166 [best: 1000] 198427489075220, 23, 35, 60, 68, 69, 75, 87, 90, 147, 172, 219 [best: 1000] 198856985804820, 23, 35, 60, 68, 69, 92, 93, 130, 141, 184, 207 [best: 1000] 199286482534420, 23, 35, 60, 68, 70, 72, 117, 162, 165, 176, 192, 253 [best: 1000] 199715979264020, 23, 35, 60, 68, 70, 93, 103, 132, 135, 152, 162 [best: 1000] 200145475993620, 23, 35, 60, 68, 71, 79, 104, 134, 154, 163, 174 [best: 1000] 200574972723220, 23, 35, 60, 68, 71, 96, 134, 139, 141, 154, 197 [best: 1000] 201004469452820, 23, 35, 60, 68, 72, 75, 91, 121, 127, 175, 184 [best: 1000] 201433966182420, 23, 35, 60, 68, 72, 82, 135, 140, 143, 147, 186 [best: 1000] 201863462912020, 23, 35, 60, 68, 72, 90, 125, 134, 138, 168, 172 [best: 1000] 202292959641620, 23, 35, 60, 68, 72, 98, 126, 132, 166, 189, 251 [best: 1000] 202722456371220, 23, 35, 60, 68, 72, 109, 144, 145, 201, 210, 241 [best: 1000] 203151953100820, 23, 35, 60, 68, 73, 74, 112, 118, 176, 205, 206 [best: 1000] 203581449830420, 23, 35, 60, 68, 73, 81, 123, 137, 149, 203, 264 [best: 1000] 204010946560020, 23, 35, 60, 68, 73, 90, 92, 127, 165, 235, 265 [best: 1000] 204440443289620, 23, 35, 60, 68, 73, 97, 123, 124, 128, 187, 192 [best: 1000] 204869940019220, 23, 35, 60, 68, 73, 108, 139, 141, 152, 167, 258, 279 [best: 1000] 205299436748820, 23, 35, 60, 68, 74, 78, 103, 155, 156, 199, 226 [best: 1000] 205728933478420, 23, 35, 60, 68, 74, 89, 99, 124, 147, 154, 157 [best: 1000] 206158430208020, 23, 35, 60, 68, 74, 101, 107, 115, 140, 161, 182 [best: 1000] 206587926937620, 23, 35, 60, 68, 75, 79, 93, 104, 111, 156, 161, 207 [best: 1000] 207017423667220, 23, 35, 60, 68, 75, 103, 121, 136, 160, 166, 201, 237 [best: 1000] 207446920396820, 23, 35, 60, 68, 76, 100, 114, 124, 134, 146, 162 [best: 1000] 207876417126420, 23, 35, 60, 68, 77, 98, 104, 128, 133, 139, 148 [best: 1000] 208305913856020, 23, 35, 60, 68, 78, 90, 96, 97, 129, 167, 220 [best: 1000] 208735410585620, 23, 35, 60, 68, 78, 111, 112, 129, 166, 207, 230 [best: 1000] 209164907315220, 23, 35, 60, 68, 79, 99, 120, 135, 141, 197, 200, 219 [best: 1000] 209594404044820, 23, 35, 60, 68, 80, 93, 117, 139, 140, 191, 248 [best: 1000] 210023900774420, 23, 35, 60, 68, 81, 86, 98, 105, 122, 128, 155 [best: 1000] 210453397504020, 23, 35, 60, 68, 81, 102, 107, 113, 114, 135, 213 [best: 1000] 210882894233620, 23, 35, 60, 68, 82, 92, 104, 151, 166, 176, 178 [best: 1000] 211312390963220, 23, 35, 60, 68, 83, 89, 104, 156, 170, 184, 197 [best: 1000] 211741887692820, 23, 35, 60, 68, 83, 97, 108, 153, 163, 170, 185 [best: 1000] 212171384422420, 23, 35, 60, 68, 83, 113, 114, 187, 201, 246 [best: 1000] 212600881152020, 23, 35, 60, 68, 84, 93, 103, 109, 113, 140, 150 [best: 1000] 213030377881620, 23, 35, 60, 68, 85, 94, 110, 122, 147, 196, 239 [best: 1000] 213459874611220, 23, 35, 60, 68, 86, 98, 108, 140, 155, 163, 171 [best: 1000] 213889371340820, 23, 35, 60, 68, 87, 107, 118, 159, 184, 194, 215 [best: 1000] 214318868070420, 23, 35, 60, 68, 89, 92, 116, 132, 168, 185, 219 [best: 1000] 214748364800020, 23, 35, 60, 68, 90, 93, 121, 132, 190, 197, 238 [best: 1000] 215177861529620, 23, 35, 60, 68, 90, 105, 109, 121, 151, 193, 224, 240 [best: 1000] 215607358259220, 23, 35, 60, 68, 90, 122, 139, 177, 179, 199, 297 [best: 1000] 216036854988820, 23, 35, 60, 68, 91, 105, 127, 131, 145, 196 [best: 1000] 216466351718420, 23, 35, 60, 68, 92, 99, 115, 136, 167, 171, 179 [best: 1000] 216895848448020, 23, 35, 60, 68, 92, 109, 128, 129, 150, 162, 214, 261 [best: 1000] 217325345177620, 23, 35, 60, 68, 93, 99, 129, 136, 140, 191, 212 [best: 1000] 217754841907220, 23, 35, 60, 68, 94, 105, 119, 141, 147, 197, 208, 254 [best: 1000] 218184338636820, 23, 35, 60, 68, 95, 106, 129, 134, 138, 152, 182, 236 [best: 1000] 218613835366420, 23, 35, 60, 68, 96, 111, 118, 141, 151, 159, 255 [best: 1000] 219043332096020, 23, 35, 60, 68, 98, 104, 117, 131, 143, 158, 231 [best: 1000] 219472828825620, 23, 35, 60, 68, 99, 119, 126, 156, 165, 186, 194 [best: 1000] 219902325555220, 23, 35, 60, 69, 70, 78, 95, 99, 124, 130, 158, 245 [best: 1000] 220331822284820, 23, 35, 60, 69, 71, 74, 76, 127, 153, 156, 226 [best: 1000] 220761319014420, 23, 35, 60, 69, 71, 90, 91, 149, 164, 186, 222 [best: 1000] 221190815744020, 23, 35, 60, 69, 72, 75, 106, 110, 117, 162, 166 [best: 1000] 221620312473620, 23, 35, 60, 69, 72, 85, 88, 118, 130, 151, 168, 223 [best: 1000] 222049809203220, 23, 35, 60, 69, 72, 94, 98, 99, 127, 204, 217 [best: 1000] 222479305932820, 23, 35, 60, 69, 72, 107, 142, 149, 150, 157, 158, 217 [best: 1000] 222908802662420, 23, 35, 60, 69, 73, 78, 86, 106, 122, 172, 176, 225 [best: 1000] 223338299392020, 23, 35, 60, 69, 73, 85, 92, 105, 121, 133, 192, 207 [best: 1000] 223767796121620, 23, 35, 60, 69, 73, 92, 123, 148, 157, 160, 213, 216 [best: 1000] 224197292851220, 23, 35, 60, 69, 73, 105, 109, 159, 187, 202, 218, 239 [best: 1000] 224626789580820, 23, 35, 60, 69, 74, 76, 108, 109, 119, 138, 175 [best: 1000] 225056286310420, 23, 35, 60, 69, 74, 85, 108, 124, 127, 131, 179, 231 [best: 1000] 225485783040020, 23, 35, 60, 69, 74, 94, 112, 113, 127, 208, 210 [best: 1000] 225915279769620, 23, 35, 60, 69, 74, 110, 117, 140, 144, 197, 226 [best: 1000] 226344776499220, 23, 35, 60, 69, 75, 92, 118, 140, 153, 188, 225 [best: 1000] 226774273228820, 23, 35, 60, 69, 76, 90, 98, 135, 174, 189, 229 [best: 1000] 227203769958420, 23, 35, 60, 69, 77, 89, 95, 121, 169, 204, 205, 221 [best: 1000] 227633266688020, 23, 35, 60, 69, 78, 83, 95, 123, 146, 182, 194 [best: 1000] 228062763417620, 23, 35, 60, 69, 78, 97, 102, 115, 135, 155, 225 [best: 1000] 228492260147220, 23, 35, 60, 69, 79, 89, 96, 120, 143, 159, 199, 234 [best: 1000] 228921756876820, 23, 35, 60, 69, 80, 88, 100, 113, 122, 147, 224 [best: 1000] 229351253606420, 23, 35, 60, 69, 81, 82, 102, 108, 139, 141, 161 [best: 1000] 229780750336020, 23, 35, 60, 69, 81, 95, 101, 107, 140, 147, 204 [best: 1000] 230210247065620, 23, 35, 60, 69, 82, 88, 117, 137, 148, 163, 230 [best: 1000] 230639743795220, 23, 35, 60, 69, 83, 88, 109, 165, 166, 208, 235 [best: 1000] 231069240524820, 23, 35, 60, 69, 83, 98, 134, 167, 172, 175, 187 [best: 1000] 231498737254420, 23, 35, 60, 69, 84, 85, 98, 122, 147, 151, 172, 219 [best: 1000] 231928233984020, 23, 35, 60, 69, 85, 88, 96, 97, 104, 108, 112, 213 [best: 1000] 232357730713620, 23, 35, 60, 69, 85, 102, 108, 123, 147, 186, 194, 217 [best: 1000] 232787227443220, 23, 35, 60, 69, 86, 99, 102, 105, 111, 162, 168 [best: 1000] 233216724172820, 23, 35, 60, 69, 87, 107, 108, 157, 168, 207, 219 [best: 1000] 233646220902420, 23, 35, 60, 69, 88, 102, 107, 137, 155, 164, 228, 259 [best: 1000] 234075717632020, 23, 35, 60, 69, 89, 92, 108, 137, 155, 192, 216, 259 [best: 1000] 234505214361620, 23, 35, 60, 69, 89, 100, 107, 108, 193, 202, 251, 263 [best: 1000] 234934711091220, 23, 35, 60, 69, 89, 107, 108, 131, 171, 201, 205, 288 [best: 1000] 235364207820820, 23, 35, 60, 69, 89, 108, 123, 133, 134, 220, 221, 262 [best: 1000] 235793704550420, 23, 35, 60, 69, 90, 103, 114, 136, 140, 148, 208 [best: 1000] 236223201280020, 23, 35, 60, 69, 91, 105, 119, 122, 126, 161, 215 [best: 1000] 236652698009620, 23, 35, 60, 69, 93, 98, 99, 144, 158, 176, 185 [best: 1000] 237082194739220, 23, 35, 60, 69, 95, 102, 114, 132, 142, 153, 183 [best: 1000] 237511691468820, 23, 35, 60, 69, 96, 114, 121, 133, 147, 182, 187 [best: 1000] 237941188198420, 23, 35, 60, 70, 71, 74, 75, 98, 99, 138, 180, 217 [best: 1000] 238370684928020, 23, 35, 60, 70, 72, 73, 116, 118, 119, 145, 161 [best: 1000] 238800181657620, 23, 35, 60, 70, 72, 84, 110, 121, 129, 193, 210 [best: 1000] 239229678387220, 23, 35, 60, 70, 72, 99, 100, 144, 166, 181, 203, 204 [best: 1000] 239659175116820, 23, 35, 60, 70, 73, 78, 94, 103, 150, 163 [best: 1000] 240088671846420, 23, 35, 60, 70, 73, 94, 95, 99, 122, 150, 168, 225 [best: 1000] 240518168576020, 23, 35, 60, 70, 74, 78, 100, 130, 145, 154, 206 [best: 1000] 240947665305620, 23, 35, 60, 70, 74, 92, 100, 114, 141, 177, 202 [best: 1000] 241377162035220, 23, 35, 60, 70, 75, 80, 91, 103, 119, 159, 198, 211 [best: 1000] 241806658764820, 23, 35, 60, 70, 75, 103, 111, 113, 137, 157, 167, 211 [best: 1000] 242236155494420, 23, 35, 60, 70, 77, 87, 90, 123, 132, 167, 170 [best: 1000] 242665652224020, 23, 35, 60, 70, 78, 93, 128, 131, 149, 177, 190 [best: 1000] 243095148953620, 23, 35, 60, 70, 80, 85, 99, 123, 139, 164, 169, 224 [best: 1000] 243524645683220, 23, 35, 60, 70, 81, 90, 107, 110, 158, 165, 187 [best: 1000] 243954142412820, 23, 35, 60, 70, 83, 85, 98, 105, 128, 154, 177, 223 [best: 1000] 244383639142420, 23, 35, 60, 70, 83, 103, 124, 149, 168, 202, 204, 215 [best: 1000] 244813135872020, 23, 35, 60, 70, 85, 92, 104, 105, 120, 143, 193, 228 [best: 1000] 245242632601620, 23, 35, 60, 70, 85, 105, 117, 124, 146, 173, 195, 219 [best: 1000] 245672129331220, 23, 35, 60, 70, 87, 98, 127, 145, 146, 191, 237 [best: 1000] 246101626060820, 23, 35, 60, 71, 72, 73, 78, 103, 180, 184, 231 [best: 1000] 246531122790420, 23, 35, 60, 71, 72, 80, 105, 118, 131, 157, 173 [best: 1000] 246960619520020, 23, 35, 60, 71, 72, 90, 101, 113, 151, 183, 258 [best: 1000] 247390116249620, 23, 35, 60, 71, 72, 101, 139, 162, 172, 186, 205 [best: 1000] 247819612979220, 23, 35, 60, 71, 73, 74, 79, 119, 126, 127, 185 [best: 1000] 248249109708820, 23, 35, 60, 71, 73, 81, 101, 128, 140, 160, 168 [best: 1000] 248678606438420, 23, 35, 60, 71, 73, 90, 104, 116, 169, 171, 181 [best: 1000] 249108103168020, 23, 35, 60, 71, 73, 103, 110, 139, 148, 196, 202 [best: 1000] 249537599897620, 23, 35, 60, 71, 74, 75, 86, 101, 118, 153, 177 [best: 1000] 249967096627220, 23, 35, 60, 71, 74, 86, 128, 131, 148, 156, 203, 234 [best: 1000] 250396593356820, 23, 35, 60, 71, 74, 100, 102, 128, 190, 192, 197, 202 [best: 1000] 250826090086420, 23, 35, 60, 71, 75, 82, 96, 128, 158, 169, 212 [best: 1000] 251255586816020, 23, 35, 60, 71, 76, 83, 102, 157, 188, 191, 205 [best: 1000] 251685083545620, 23, 35, 60, 71, 77, 86, 109, 119, 138, 163, 177, 230 [best: 1000] 252114580275220, 23, 35, 60, 71, 78, 82, 124, 134, 145, 158, 215 [best: 1000] 252544077004820, 23, 35, 60, 71, 78, 100, 119, 148, 160, 181, 195, 241 [best: 1000] 252973573734420, 23, 35, 60, 71, 79, 95, 114, 142, 167, 174, 217 [best: 1000] 253403070464020, 23, 35, 60, 71, 80, 95, 103, 110, 167, 174, 181, 197 [best: 1000] 253832567193620, 23, 35, 60, 71, 81, 89, 123, 157, 171, 172, 182 [best: 1000] 254262063923220, 23, 35, 60, 71, 81, 116, 124, 127, 137, 194, 207 [best: 1000] 254691560652820, 23, 35, 60, 71, 83, 87, 115, 148, 168, 199, 213, 253 [best: 1000] 255121057382420, 23, 35, 60, 71, 83, 99, 131, 141, 150, 189, 247 [best: 1000] 255550554112020, 23, 35, 60, 71, 84, 86, 106, 124, 143, 174, 199, 232 [best: 1000] 255980050841620, 23, 35, 60, 71, 85, 101, 103, 117, 146, 163, 171 [best: 1000] 256409547571220, 23, 35, 60, 71, 87, 95, 112, 119, 120, 190, 216 [best: 1000] 256839044300820, 23, 35, 60, 71, 88, 95, 124, 163, 184, 192, 200, 206 [best: 1000] 257268541030420, 23, 35, 60, 71, 89, 95, 116, 121, 170, 175, 183 [best: 1000] 257698037760020, 23, 35, 60, 71, 90, 95, 108, 135, 143, 192, 230 [best: 1000] 258127534489620, 23, 35, 60, 71, 90, 114, 118, 119, 162, 180, 202, 265 [best: 1000] 258557031219220, 23, 35, 60, 71, 92, 97, 110, 115, 141, 170, 194 [best: 1000] 258986527948820, 23, 35, 60, 71, 93, 105, 116, 149, 166, 186, 198 [best: 1000] 259416024678420, 23, 35, 60, 71, 95, 105, 106, 139, 145, 189, 195, 226 [best: 1000] 259845521408020, 23, 35, 60, 71, 96, 117, 127, 143, 172, 182, 193, 238 [best: 1000] 260275018137620, 23, 35, 60, 72, 73, 74, 142, 146, 189, 224, 236 [best: 1000] 260704514867220, 23, 35, 60, 72, 73, 79, 99, 102, 179, 218, 242, 247 [best: 1000] 261134011596820, 23, 35, 60, 72, 73, 83, 107, 114, 151, 223, 265 [best: 1000] 261563508326420, 23, 35, 60, 72, 73, 87, 111, 112, 159, 170, 181, 201 [best: 1000] 261993005056020, 23, 35, 60, 72, 73, 91, 101, 104, 140, 163, 243 [best: 1000] 262422501785620, 23, 35, 60, 72, 73, 95, 121, 138, 139, 201, 250 [best: 1000] 262851998515220, 23, 35, 60, 72, 73, 102, 106, 176, 178, 206, 208 [best: 1000] 263281495244820, 23, 35, 60, 72, 73, 111, 136, 145, 154, 155, 202, 250 [best: 1000] 263710991974420, 23, 35, 60, 72, 73, 126, 145, 150, 172, 190, 236, 260 [best: 1000] 264140488704020, 23, 35, 60, 72, 74, 79, 113, 123, 146, 173, 216 [best: 1000] 264569985433620, 23, 35, 60, 72, 74, 85, 114, 175, 189, 217, 260 [best: 1000] 264999482163220, 23, 35, 60, 72, 74, 89, 133, 153, 156, 222, 257 [best: 1000] 265428978892820, 23, 35, 60, 72, 74, 94, 133, 143, 175, 217, 251, 271 [best: 1000] 265858475622420, 23, 35, 60, 72, 74, 106, 118, 130, 138, 161, 172 [best: 1000] 266287972352020, 23, 35, 60, 72, 75, 77, 89, 101, 125, 153, 171 [best: 1000] 266717469081620, 23, 35, 60, 72, 75, 87, 139, 173, 174, 208, 233 [best: 1000] 267146965811220, 23, 35, 60, 72, 75, 101, 103, 136, 157, 162, 174 [best: 1000] 267576462540820, 23, 35, 60, 72, 76, 82, 87, 132, 143, 169, 212 [best: 1000] 268005959270420, 23, 35, 60, 72, 76, 89, 100, 123, 135, 180, 217 [best: 1000] 268435456000020, 23, 35, 60, 72, 76, 100, 104, 122, 153, 157, 163 [best: 1000] 268864952729620, 23, 35, 60, 72, 77, 81, 103, 142, 155, 171, 220 [best: 1000] 269294449459220, 23, 35, 60, 72, 77, 88, 147, 152, 180, 181, 201, 245 [best: 1000] 269723946188820, 23, 35, 60, 72, 77, 98, 119, 129, 155, 161, 241 [best: 1000] 270153442918420, 23, 35, 60, 72, 78, 81, 93, 118, 142, 176, 213, 266 [best: 1000] 270582939648020, 23, 35, 60, 72, 78, 88, 102, 122, 149, 196, 202, 249 [best: 1000] 271012436377620, 23, 35, 60, 72, 78, 94, 95, 147, 172, 199, 208 [best: 1000] 271441933107220, 23, 35, 60, 72, 78, 110, 129, 153, 163, 184, 277 [best: 1000] 271871429836820, 23, 35, 60, 72, 79, 86, 118, 129, 153, 163, 193 [best: 1000] 272300926566420, 23, 35, 60, 72, 79, 93, 150, 165, 167, 170, 231, 244 [best: 1000] 272730423296020, 23, 35, 60, 72, 80, 82, 88, 156, 166, 171, 187, 235 [best: 1000] 273159920025620, 23, 35, 60, 72, 80, 88, 98, 136, 153, 173, 198, 211 [best: 1000] 273589416755220, 23, 35, 60, 72, 80, 93, 122, 123, 134, 157, 181, 265 [best: 1000] 274018913484820, 23, 35, 60, 72, 80, 103, 127, 162, 172, 186, 194 [best: 1000] 274448410214420, 23, 35, 60, 72, 81, 83, 90, 91, 133, 152, 157 [best: 1000] 274877906944020, 23, 35, 60, 72, 81, 88, 112, 147, 154, 175, 210, 262 [best: 1000] 275307403673620, 23, 35, 60, 72, 81, 93, 125, 139, 158, 166, 222, 252 [best: 1000] 275736900403220, 23, 35, 60, 72, 81, 103, 114, 139, 174, 211, 218, 308 [best: 1000] 276166397132820, 23, 35, 60, 72, 81, 126, 137, 162, 163, 191, 217 [best: 1000] 276595893862420, 23, 35, 60, 72, 82, 90, 91, 142, 145, 149, 169 [best: 1000] 277025390592020, 23, 35, 60, 72, 82, 100, 140, 167, 189, 236, 253, 279 [best: 1000] 277454887321620, 23, 35, 60, 72, 83, 86, 114, 116, 134, 148, 183 [best: 1000] 277884384051220, 23, 35, 60, 72, 83, 91, 115, 163, 185, 231, 244 [best: 1000] 278313880780820, 23, 35, 60, 72, 83, 96, 125, 127, 164, 182, 223 [best: 1000] 278743377510420, 23, 35, 60, 72, 83, 109, 136, 143, 197, 242, 263 [best: 1000] 279172874240020, 23, 35, 60, 72, 84, 87, 91, 130, 197, 212, 229, 237 [best: 1000] 279602370969620, 23, 35, 60, 72, 84, 93, 128, 152, 183, 209, 232, 279 [best: 1000] 280031867699220, 23, 35, 60, 72, 84, 112, 127, 141, 159, 179, 238 [best: 1000] 280461364428820, 23, 35, 60, 72, 85, 89, 115, 122, 181, 189, 232 [best: 1000] 280890861158420, 23, 35, 60, 72, 85, 95, 109, 157, 160, 166, 174 [best: 1000] 281320357888020, 23, 35, 60, 72, 85, 105, 114, 155, 157, 162, 215, 252 [best: 1000] 281749854617620, 23, 35, 60, 72, 85, 123, 141, 173, 189, 203, 213 [best: 1000] 282179351347220, 23, 35, 60, 72, 86, 91, 93, 170, 176, 193, 214, 249 [best: 1000] 282608848076820, 23, 35, 60, 72, 86, 96, 100, 125, 150, 185, 222 [best: 1000] 283038344806420, 23, 35, 60, 72, 86, 109, 110, 127, 143, 169, 180 [best: 1000] 283467841536020, 23, 35, 60, 72, 87, 88, 111, 150, 155, 157, 227 [best: 1000] 283897338265620, 23, 35, 60, 72, 87, 93, 105, 154, 161, 165, 174, 245 [best: 1000] 284326834995220, 23, 35, 60, 72, 87, 98, 137, 162, 208, 212, 217 [best: 1000] 284756331724820, 23, 35, 60, 72, 87, 108, 130, 132, 164, 185, 240, 277 [best: 1000] 285185828454420, 23, 35, 60, 72, 87, 121, 123, 172, 179, 212, 217 [best: 1000] 285615325184020, 23, 35, 60, 72, 88, 91, 92, 111, 133, 152, 195, 203 [best: 1000] 286044821913620, 23, 35, 60, 72, 88, 93, 133, 169, 196, 216, 245, 304 [best: 1000] 286474318643220, 23, 35, 60, 72, 88, 97, 132, 133, 161, 219, 268, 276 [best: 1000] 286903815372820, 23, 35, 60, 72, 88, 102, 113, 114, 125, 133, 185, 192 [best: 1000] 287333312102420, 23, 35, 60, 72, 88, 108, 112, 128, 133, 141, 165, 251 [best: 1000] 287762808832020, 23, 35, 60, 72, 88, 114, 133, 144, 154, 195, 252, 275 [best: 1000] 288192305561620, 23, 35, 60, 72, 88, 122, 133, 157, 185, 204, 211, 257 [best: 1000] 288621802291220, 23, 35, 60, 72, 88, 133, 136, 139, 170, 182, 205, 268 [best: 1000] 289051299020820, 23, 35, 60, 72, 89, 92, 136, 138, 199, 204, 225, 236 [best: 1000] 289480795750420, 23, 35, 60, 72, 89, 100, 105, 118, 188, 227, 228 [best: 1000] 289910292480020, 23, 35, 60, 72, 89, 117, 133, 153, 158, 244 [best: 1000] 290339789209620, 23, 35, 60, 72, 90, 95, 99, 143, 172, 190, 212 [best: 1000] 290769285939220, 23, 35, 60, 72, 90, 113, 148, 150, 207, 215, 263 [best: 1000] 291198782668820, 23, 35, 60, 72, 91, 97, 110, 135, 151, 186, 247 [best: 1000] 291628279398420, 23, 35, 60, 72, 91, 124, 130, 157, 159, 218, 253 [best: 1000] 292057776128020, 23, 35, 60, 72, 92, 97, 129, 136, 175, 201, 240 [best: 1000] 292487272857620, 23, 35, 60, 72, 92, 108, 113, 119, 134, 151, 232 [best: 1000] 292916769587220, 23, 35, 60, 72, 92, 125, 143, 161, 172, 193, 227 [best: 1000] 293346266316820, 23, 35, 60, 72, 93, 96, 116, 137, 165, 185, 275, 306 [best: 1000] 293775763046420, 23, 35, 60, 72, 93, 99, 110, 129, 137, 166, 228, 270 [best: 1000] 294205259776020, 23, 35, 60, 72, 93, 102, 109, 114, 116, 137, 213, 301 [best: 1000] 294634756505620, 23, 35, 60, 72, 93, 105, 137, 149, 153, 160, 185, 283 [best: 1000] 295064253235220, 23, 35, 60, 72, 93, 109, 136, 137, 154, 162, 203, 218 [best: 1000] 295493749964820, 23, 35, 60, 72, 93, 113, 137, 182, 186, 205, 253, 286 [best: 1000] 295923246694420, 23, 35, 60, 72, 93, 117, 137, 149, 171, 201, 270, 337 [best: 1000] 296352743424020, 23, 35, 60, 72, 93, 123, 137, 152, 188, 211, 222, 247 [best: 1000] 296782240153620, 23, 35, 60, 72, 93, 131, 137, 163, 167, 190, 256, 272 [best: 1000] 297211736883220, 23, 35, 60, 72, 93, 137, 143, 150, 152, 198, 224, 255 [best: 1000] 297641233612820, 23, 35, 60, 72, 94, 99, 118, 141, 159, 169, 176 [best: 1000] 298070730342420, 23, 35, 60, 72, 94, 115, 132, 138, 154, 180, 229, 230 [best: 1000] 298500227072020, 23, 35, 60, 72, 95, 102, 128, 159, 184, 216, 235, 253 [best: 1000] 298929723801620, 23, 35, 60, 72, 95, 119, 150, 173, 190, 206, 218 [best: 1000] 299359220531220, 23, 35, 60, 72, 96, 107, 130, 139, 140, 141, 223 [best: 1000] 299788717260820, 23, 35, 60, 72, 97, 101, 121, 137, 153, 167, 201 [best: 1000] 300218213990420, 23, 35, 60, 72, 97, 121, 125, 137, 157, 222, 230 [best: 1000] 300647710720020, 23, 35, 60, 72, 98, 115, 127, 151, 183, 208, 244 [best: 1000] 301077207449620, 23, 35, 60, 72, 99, 112, 130, 140, 154, 210, 241 [best: 1000] 301506704179220, 23, 35, 60, 72, 100, 106, 112, 135, 155, 204, 248, 261 [best: 1000] 301936200908820, 23, 35, 60, 72, 101, 102, 103, 108, 141, 178, 217 [best: 1000] 302365697638420, 23, 35, 60, 72, 101, 125, 139, 160, 162, 164, 210 [best: 1000] 302795194368020, 23, 35, 60, 72, 102, 119, 131, 161, 172, 204, 250 [best: 1000] 303224691097620, 23, 35, 60, 72, 103, 115, 142, 148, 168, 199, 232 [best: 1000] 303654187827220, 23, 35, 60, 72, 104, 109, 111, 117, 170, 173, 218, 229 [best: 1000] 304083684556820, 23, 35, 60, 72, 105, 113, 122, 167, 185, 206, 207 [best: 1000] 304513181286420, 23, 35, 60, 73, 74, 75, 85, 91, 94, 139, 180 [best: 1000] 304942678016020, 23, 35, 60, 73, 74, 80, 85, 99, 115, 136, 205 [best: 1000] 305372174745620, 23, 35, 60, 73, 74, 84, 92, 109, 122, 135, 176, 293 [best: 1000] 305801671475220, 23, 35, 60, 73, 74, 89, 103, 157, 187, 234, 239, 283 [best: 1000] 306231168204820, 23, 35, 60, 73, 74, 92, 107, 126, 142, 159, 230, 293 [best: 1000] 306660664934420, 23, 35, 60, 73, 74, 96, 143, 165, 189, 192, 238 [best: 1000] 307090161664020, 23, 35, 60, 73, 74, 105, 117, 147, 186, 196, 222 [best: 1000] 307519658393620, 23, 35, 60, 73, 74, 116, 139, 156, 170, 174, 187 [best: 1000] 307949155123220, 23, 35, 60, 73, 75, 79, 89, 130, 152, 187, 192, 203 [best: 1000] 308378651852820, 23, 35, 60, 73, 75, 89, 107, 144, 147, 192, 209, 218 [best: 1000] 308808148582420, 23, 35, 60, 73, 75, 103, 107, 130, 136, 154, 204 [best: 1000] 309237645312020, 23, 35, 60, 73, 76, 81, 93, 143, 193, 206, 260 [best: 1000] 309667142041620, 23, 35, 60, 73, 76, 90, 104, 131, 174, 192, 232, 275 [best: 1000] 310096638771220, 23, 35, 60, 73, 76, 104, 121, 133, 143, 170, 218 [best: 1000] 310526135500820, 23, 35, 60, 73, 77, 83, 91, 105, 164, 211 [best: 1000] 310955632230420, 23, 35, 60, 73, 77, 91, 104, 164, 188, 214, 272 [best: 1000] 311385128960020, 23, 35, 60, 73, 77, 104, 113, 167, 182, 189, 249 [best: 1000] 311814625689620, 23, 35, 60, 73, 78, 82, 83, 108, 125, 164, 224 [best: 1000] 312244122419220, 23, 35, 60, 73, 78, 89, 95, 107, 136, 152, 180, 238 [best: 1000] 312673619148820, 23, 35, 60, 73, 78, 92, 136, 154, 171, 192, 203, 285 [best: 1000] 313103115878420, 23, 35, 60, 73, 78, 104, 107, 150, 193, 213, 225 [best: 1000] 313532612608020, 23, 35, 60, 73, 79, 80, 83, 92, 100, 190, 217, 238 [best: 1000] 313962109337620, 23, 35, 60, 73, 79, 89, 133, 144, 155, 171, 239, 249 [best: 1000] 314391606067220, 23, 35, 60, 73, 79, 103, 137, 142, 171, 194, 205 [best: 1000] 314821102796820, 23, 35, 60, 73, 80, 85, 96, 121, 151, 161, 192 [best: 1000] 315250599526420, 23, 35, 60, 73, 80, 91, 115, 128, 162, 163, 172 [best: 1000] 315680096256020, 23, 35, 60, 73, 80, 99, 100, 101, 115, 142, 172 [best: 1000] 316109592985620, 23, 35, 60, 73, 80, 119, 136, 146, 164, 238, 247 [best: 1000] 316539089715220, 23, 35, 60, 73, 81, 87, 91, 134, 147, 156, 182 [best: 1000] 316968586444820, 23, 35, 60, 73, 81, 91, 138, 142, 209, 223, 250 [best: 1000] 317398083174420, 23, 35, 60, 73, 81, 96, 124, 129, 155, 180, 253 [best: 1000] 317827579904020, 23, 35, 60, 73, 81, 111, 137, 154, 158, 218, 241 [best: 1000] 318257076633620, 23, 35, 60, 73, 82, 84, 112, 138, 141, 189, 231 [best: 1000] 318686573363220, 23, 35, 60, 73, 82, 92, 131, 147, 163, 165, 194, 261 [best: 1000] 319116070092820, 23, 35, 60, 73, 82, 120, 122, 147, 154, 185, 208 [best: 1000] 319545566822420, 23, 35, 60, 73, 83, 89, 94, 104, 157, 159, 238, 262 [best: 1000] 319975063552020, 23, 35, 60, 73, 83, 92, 93, 159, 170, 228, 264, 274 [best: 1000] 320404560281620, 23, 35, 60, 73, 83, 95, 102, 130, 192, 208, 254 [best: 1000] 320834057011220, 23, 35, 60, 73, 83, 104, 119, 134, 144, 186, 274 [best: 1000] 321263553740820, 23, 35, 60, 73, 83, 116, 142, 163, 211, 247, 267 [best: 1000] 321693050470420, 23, 35, 60, 73, 84, 87, 112, 134, 154, 178, 207 [best: 1000] 322122547200020, 23, 35, 60, 73, 84, 93, 104, 114, 126, 134, 228 [best: 1000] 322552043929620, 23, 35, 60, 73, 84, 112, 121, 158, 173, 176, 203 [best: 1000] 322981540659220, 23, 35, 60, 73, 85, 92, 97, 139, 151, 168, 191, 251 [best: 1000] 323411037388820, 23, 35, 60, 73, 85, 105, 116, 140, 154, 187, 197 [best: 1000] 323840534118420, 23, 35, 60, 73, 86, 89, 133, 145, 149, 161, 219, 252 [best: 1000] 324270030848020, 23, 35, 60, 73, 86, 97, 113, 125, 156, 163, 186, 209 [best: 1000] 324699527577620, 23, 35, 60, 73, 86, 113, 147, 151, 157, 196, 224, 287 [best: 1000] 325129024307220, 23, 35, 60, 73, 87, 93, 95, 159, 175, 177, 208 [best: 1000] 325558521036820, 23, 35, 60, 73, 88, 89, 118, 144, 184, 187, 211, 228 [best: 1000] 325988017766420, 23, 35, 60, 73, 88, 103, 133, 156, 169, 206, 208 [best: 1000] 326417514496020, 23, 35, 60, 73, 89, 91, 117, 132, 153, 183, 216, 227 [best: 1000] 326847011225620, 23, 35, 60, 73, 89, 94, 117, 132, 154, 172, 249, 276 [best: 1000] 327276507955220, 23, 35, 60, 73, 89, 99, 132, 158, 164, 204, 220, 221 [best: 1000] 327706004684820, 23, 35, 60, 73, 89, 104, 132, 147, 160, 223, 248, 262 [best: 1000] 328135501414420, 23, 35, 60, 73, 89, 111, 113, 132, 168, 186, 189, 217 [best: 1000] 328564998144020, 23, 35, 60, 73, 89, 117, 132, 150, 195, 223, 271, 277 [best: 1000] 328994494873620, 23, 35, 60, 73, 89, 126, 132, 151, 193, 197, 239, 245 [best: 1000] 329423991603220, 23, 35, 60, 73, 89, 132, 146, 152, 154, 189, 191, 250 [best: 1000] 329853488332820, 23, 35, 60, 73, 90, 94, 107, 124, 132, 156, 248 [best: 1000] 330282985062420, 23, 35, 60, 73, 90, 105, 115, 130, 146, 197, 208 [best: 1000] 330712481792020, 23, 35, 60, 73, 90, 119, 129, 176, 182, 212 [best: 1000] 331141978521620, 23, 35, 60, 73, 91, 93, 97, 156, 199, 208, 219 [best: 1000] 331571475251220, 23, 35, 60, 73, 91, 103, 119, 156, 157, 159, 190, 255 [best: 1000] 332000971980820, 23, 35, 60, 73, 91, 114, 143, 146, 152, 160, 174, 253 [best: 1000] 332430468710420, 23, 35, 60, 73, 92, 94, 102, 108, 123, 134, 229, 286 [best: 1000] 332859965440020, 23, 35, 60, 73, 92, 97, 134, 138, 177, 211, 241, 248 [best: 1000] 333289462169620, 23, 35, 60, 73, 92, 102, 117, 134, 163, 229, 241, 257 [best: 1000] 333718958899220, 23, 35, 60, 73, 92, 106, 120, 134, 140, 159, 174, 249 [best: 1000] 334148455628820, 23, 35, 60, 73, 92, 110, 134, 142, 171, 203, 239, 253 [best: 1000] 334577952358420, 23, 35, 60, 73, 92, 115, 134, 143, 146, 205, 257, 271 [best: 1000] 335007449088020, 23, 35, 60, 73, 92, 120, 134, 174, 188, 197, 203, 256 [best: 1000] 335436945817620, 23, 35, 60, 73, 92, 129, 134, 141, 154, 220, 250, 270 [best: 1000] 335866442547220, 23, 35, 60, 73, 92, 134, 143, 163, 202, 210, 283, 303 [best: 1000] 336295939276820, 23, 35, 60, 73, 93, 98, 129, 137, 189, 209, 218 [best: 1000] 336725436006420, 23, 35, 60, 73, 93, 108, 117, 131, 164, 180, 214 [best: 1000] 337154932736020, 23, 35, 60, 73, 93, 118, 156, 175, 184, 188, 198, 311 [best: 1000] 337584429465620, 23, 35, 60, 73, 94, 99, 109, 121, 125, 154, 232 [best: 1000] 338013926195220, 23, 35, 60, 73, 94, 113, 123, 140, 154, 209, 210 [best: 1000] 338443422924820, 23, 35, 60, 73, 95, 107, 126, 132, 134, 161, 176 [best: 1000] 338872919654420, 23, 35, 60, 73, 96, 102, 108, 115, 117, 140, 153 [best: 1000] 339302416384020, 23, 35, 60, 73, 97, 100, 123, 156, 166, 197, 199, 239 [best: 1000] 339731913113620, 23, 35, 60, 73, 98, 114, 117, 128, 146, 154, 193 [best: 1000] 340161409843220, 23, 35, 60, 73, 100, 107, 126, 135, 187, 191, 223 [best: 1000] 340590906572820, 23, 35, 60, 73, 101, 110, 129, 145, 181, 184, 210, 211 [best: 1000] 341020403302420, 23, 35, 60, 73, 102, 121, 127, 131, 152, 162, 234 [best: 1000] 341449900032020, 23, 35, 60, 73, 103, 122, 138, 147, 179, 194, 216 [best: 1000] 341879396761620, 23, 35, 60, 73, 104, 113, 117, 128, 149, 174, 207 [best: 1000] 342308893491220, 23, 35, 60, 73, 104, 130, 131, 137, 148, 158, 252 [best: 1000] 342738390220820, 23, 35, 60, 73, 106, 109, 129, 143, 148, 171, 193 [best: 1000] 343167886950420, 23, 35, 60, 73, 107, 118, 123, 126, 153, 191, 214 [best: 1000] 343597383680020, 23, 35, 60, 74, 75, 80, 85, 123, 149, 185, 188 [best: 1000] 344026880409620, 23, 35, 60, 74, 75, 89, 99, 154, 189, 223, 234 [best: 1000] 344456377139220, 23, 35, 60, 74, 75, 102, 126, 170, 174, 202, 215 [best: 1000] 344885873868820, 23, 35, 60, 74, 76, 83, 84, 117, 140, 198, 203 [best: 1000] 345315370598420, 23, 35, 60, 74, 76, 95, 99, 127, 150, 183, 226 [best: 1000] 345744867328020, 23, 35, 60, 74, 77, 81, 102, 152, 165, 181, 222 [best: 1000] 346174364057620, 23, 35, 60, 74, 77, 91, 101, 149, 169, 181, 195 [best: 1000] 346603860787220, 23, 35, 60, 74, 77, 108, 110, 112, 127, 142, 221 [best: 1000] 347033357516820, 23, 35, 60, 74, 78, 85, 96, 115, 158, 192, 197 [best: 1000] 347462854246420, 23, 35, 60, 74, 78, 93, 115, 143, 164, 198, 249 [best: 1000] 347892350976020, 23, 35, 60, 74, 78, 109, 125, 128, 144, 182, 203 [best: 1000] 348321847705620, 23, 35, 60, 74, 79, 86, 138, 163, 170, 172, 188 [best: 1000] 348751344435220, 23, 35, 60, 74, 79, 100, 115, 134, 140, 179, 222 [best: 1000] 349180841164820, 23, 35, 60, 74, 80, 85, 98, 110, 173, 185, 206 [best: 1000] 349610337894420, 23, 35, 60, 74, 80, 92, 104, 140, 149, 211, 216 [best: 1000] 350039834624020, 23, 35, 60, 74, 80, 102, 116, 153, 154, 160, 235 [best: 1000] 350469331353620, 23, 35, 60, 74, 81, 82, 131, 133, 151, 197, 217 [best: 1000] 350898828083220, 23, 35, 60, 74, 81, 89, 111, 115, 157, 203, 218 [best: 1000] 351328324812820, 23, 35, 60, 74, 81, 96, 136, 138, 163, 217 [best: 1000] 351757821542420, 23, 35, 60, 74, 81, 113, 131, 142, 156, 192, 245 [best: 1000] 352187318272020, 23, 35, 60, 74, 82, 87, 128, 133, 163, 195, 198 [best: 1000] 352616815001620, 23, 35, 60, 74, 82, 99, 130, 150, 169, 204, 206 [best: 1000] 353046311731220, 23, 35, 60, 74, 83, 86, 110, 113, 136, 155, 169 [best: 1000] 353475808460820, 23, 35, 60, 74, 83, 93, 96, 131, 162, 172, 250 [best: 1000] 353905305190420, 23, 35, 60, 74, 83, 101, 134, 167, 185, 225, 231 [best: 1000] 354334801920020, 23, 35, 60, 74, 83, 117, 126, 160, 196, 209, 228 [best: 1000] 354764298649620, 23, 35, 60, 74, 84, 92, 93, 95, 98, 195, 199 [best: 1000] 355193795379220, 23, 35, 60, 74, 84, 107, 111, 113, 132, 133, 212 [best: 1000] 355623292108820, 23, 35, 60, 74, 85, 89, 120, 130, 135, 167, 215 [best: 1000] 356052788838420, 23, 35, 60, 74, 85, 97, 101, 155, 164, 173, 232 [best: 1000] 356482285568020, 23, 35, 60, 74, 85, 112, 117, 150, 161, 166, 200 [best: 1000] 356911782297620, 23, 35, 60, 74, 86, 88, 134, 137, 161, 208, 254 [best: 1000] 357341279027220, 23, 35, 60, 74, 86, 95, 147, 153, 191, 196, 201 [best: 1000] 357770775756820, 23, 35, 60, 74, 86, 106, 114, 169, 171, 198, 226, 250 [best: 1000] 358200272486420, 23, 35, 60, 74, 86, 123, 130, 141, 159, 225, 257 [best: 1000] 358629769216020, 23, 35, 60, 74, 87, 93, 102, 165, 180, 182, 214 [best: 1000] 359059265945620, 23, 35, 60, 74, 87, 100, 128, 175, 214, 221, 225 [best: 1000] 359488762675220, 23, 35, 60, 74, 87, 114, 118, 139, 142, 150, 181 [best: 1000] 359918259404820, 23, 35, 60, 74, 88, 90, 95, 141, 154, 176, 180 [best: 1000] 360347756134420, 23, 35, 60, 74, 88, 99, 103, 125, 155, 235, 281 [best: 1000] 360777252864020, 23, 35, 60, 74, 88, 116, 132, 146, 163, 199, 201 [best: 1000] 361206749593620, 23, 35, 60, 74, 89, 93, 135, 180, 188, 192, 272 [best: 1000] 361636246323220, 23, 35, 60, 74, 89, 102, 110, 121, 134, 160, 167 [best: 1000] 362065743052820, 23, 35, 60, 74, 89, 115, 117, 145, 199, 209 [best: 1000] 362495239782420, 23, 35, 60, 74, 90, 92, 108, 118, 170, 193, 211 [best: 1000] 362924736512020, 23, 35, 60, 74, 90, 106, 114, 116, 126, 161, 221 [best: 1000] 363354233241620, 23, 35, 60, 74, 91, 96, 139, 156, 162, 165, 194 [best: 1000] 363783729971220, 23, 35, 60, 74, 91, 120, 121, 159, 175, 177, 205 [best: 1000] 364213226700820, 23, 35, 60, 74, 92, 99, 123, 138, 166, 174, 179 [best: 1000] 364642723430420, 23, 35, 60, 74, 92, 112, 139, 144, 149, 208, 238 [best: 1000] 365072220160020, 23, 35, 60, 74, 93, 95, 135, 158, 175, 186, 192 [best: 1000] 365501716889620, 23, 35, 60, 74, 93, 101, 117, 180, 196, 203, 218 [best: 1000] 365931213619220, 23, 35, 60, 74, 93, 108, 135, 139, 186, 221, 241 [best: 1000] 366360710348820, 23, 35, 60, 74, 93, 117, 119, 133, 198, 233, 270 [best: 1000] 366790207078420, 23, 35, 60, 74, 93, 132, 133, 164, 166, 186, 201, 286 [best: 1000] 367219703808020, 23, 35, 60, 74, 94, 103, 108, 135, 153, 212, 242 [best: 1000] 367649200537620, 23, 35, 60, 74, 95, 97, 108, 124, 128, 172 [best: 1000] 368078697267220, 23, 35, 60, 74, 95, 115, 117, 133, 186, 236, 247 [best: 1000] 368508193996820, 23, 35, 60, 74, 96, 103, 125, 161, 163, 191, 195 [best: 1000] 368937690726420, 23, 35, 60, 74, 96, 123, 144, 163, 166, 192, 228 [best: 1000] 369367187456020, 23, 35, 60, 74, 97, 113, 127, 161, 172, 190, 216 [best: 1000] 369796684185620, 23, 35, 60, 74, 98, 106, 128, 158, 175, 177, 196 [best: 1000] 370226180915220, 23, 35, 60, 74, 99, 105, 130, 144, 148, 176, 199, 224 [best: 1000] 370655677644820, 23, 35, 60, 74, 100, 101, 124, 170, 190, 220, 223 [best: 1000] 371085174374420, 23, 35, 60, 74, 100, 122, 133, 155, 178, 187, 217 [best: 1000] 371514671104020, 23, 35, 60, 74, 101, 120, 133, 150, 174, 190, 234 [best: 1000] 371944167833620, 23, 35, 60, 74, 102, 117, 123, 140, 169, 201, 264 [best: 1000] 372373664563220, 23, 35, 60, 74, 103, 114, 118, 166, 175, 214, 254 [best: 1000] 372803161292820, 23, 35, 60, 74, 104, 110, 120, 144, 150, 170, 208 [best: 1000] 373232658022420, 23, 35, 60, 74, 106, 108, 111, 145, 148, 177, 249 [best: 1000] 373662154752020, 23, 35, 60, 75, 76, 87, 127, 128, 141, 162, 172 [best: 1000] 374091651481620, 23, 35, 60, 75, 77, 100, 105, 110, 149, 154, 177, 207 [best: 1000] 374521148211220, 23, 35, 60, 75, 78, 95, 105, 142, 150, 171, 240 [best: 1000] 374950644940820, 23, 35, 60, 75, 79, 101, 116, 122, 125, 154, 174 [best: 1000] 375380141670420, 23, 35, 60, 75, 80, 106, 124, 138, 152, 157, 201 [best: 1000] 375809638400020, 23, 35, 60, 75, 81, 101, 104, 145, 174, 175, 223 [best: 1000] 376239135129620, 23, 35, 60, 75, 83, 84, 108, 125, 141, 184, 194 [best: 1000] 376668631859220, 23, 35, 60, 75, 83, 96, 133, 158, 179, 202, 221 [best: 1000] 377098128588820, 23, 35, 60, 75, 83, 118, 141, 156, 165, 187, 225 [best: 1000] 377527625318420, 23, 35, 60, 75, 85, 96, 106, 127, 130, 187, 201 [best: 1000] 377957122048020, 23, 35, 60, 75, 86, 99, 110, 114, 131, 140, 206, 223 [best: 1000] 378386618777620, 23, 35, 60, 75, 87, 90, 117, 124, 136, 140, 146, 180 [best: 1000] 378816115507220, 23, 35, 60, 75, 87, 103, 117, 128, 134, 155, 213, 225 [best: 1000] 379245612236820, 23, 35, 60, 75, 87, 117, 126, 130, 141, 147, 206, 226 [best: 1000] 379675108966420, 23, 35, 60, 75, 90, 100, 135, 158, 174, 193, 225 [best: 1000] 380104605696020, 23, 35, 60, 75, 93, 110, 117, 119, 120, 159, 189 [best: 1000] 380534102425620, 23, 35, 60, 75, 96, 104, 115, 122, 167, 213, 225 [best: 1000] 380963599155220, 23, 35, 60, 76, 78, 79, 99, 105, 108, 131, 156 [best: 1000] 381393095884820, 23, 35, 60, 76, 78, 102, 106, 121, 148, 180, 196 [best: 1000] 381822592614420, 23, 35, 60, 76, 80, 86, 88, 129, 159, 190, 197 [best: 1000] 382252089344020, 23, 35, 60, 76, 81, 86, 91, 114, 135, 138 [best: 1000] 382681586073620, 23, 35, 60, 76, 81, 116, 130, 142, 170, 215, 233 [best: 1000] 383111082803220, 23, 35, 60, 76, 83, 88, 127, 165, 186, 206, 259 [best: 1000] 383540579532820, 23, 35, 60, 76, 83, 106, 140, 165, 187, 211, 246 [best: 1000] 383970076262420, 23, 35, 60, 76, 84, 101, 113, 115, 142, 177, 224 [best: 1000] 384399572992020, 23, 35, 60, 76, 86, 92, 101, 109, 114, 165, 204 [best: 1000] 384829069721620, 23, 35, 60, 76, 86, 118, 123, 153, 159, 200, 215 [best: 1000] 385258566451220, 23, 35, 60, 76, 88, 100, 116, 121, 131, 133, 173 [best: 1000] 385688063180820, 23, 35, 60, 76, 90, 98, 99, 122, 126, 157, 169 [best: 1000] 386117559910420, 23, 35, 60, 76, 93, 99, 109, 141, 157, 169, 197, 211 [best: 1000] 386547056640020, 23, 35, 60, 76, 96, 99, 112, 118, 139, 153, 220 [best: 1000] 386976553369620, 23, 35, 60, 77, 78, 87, 106, 107, 142, 157, 189 [best: 1000] 387406050099220, 23, 35, 60, 77, 79, 81, 113, 125, 130, 178, 183 [best: 1000] 387835546828820, 23, 35, 60, 77, 80, 90, 110, 141, 155, 205, 234, 250 [best: 1000] 388265043558420, 23, 35, 60, 77, 81, 89, 96, 109, 146, 147, 154 [best: 1000] 388694540288020, 23, 35, 60, 77, 81, 111, 114, 116, 126, 159, 199 [best: 1000] 389124037017620, 23, 35, 60, 77, 83, 87, 111, 127, 157, 203, 218 [best: 1000] 389553533747220, 23, 35, 60, 77, 83, 102, 104, 105, 124, 148, 179 [best: 1000] 389983030476820, 23, 35, 60, 77, 84, 90, 121, 164, 189, 208, 249 [best: 1000] 390412527206420, 23, 35, 60, 77, 85, 97, 104, 123, 127, 151, 177 [best: 1000] 390842023936020, 23, 35, 60, 77, 87, 88, 105, 143, 148, 181, 204 [best: 1000] 391271520665620, 23, 35, 60, 77, 88, 98, 111, 122, 125, 126, 141, 207 [best: 1000] 391701017395220, 23, 35, 60, 77, 90, 93, 116, 160, 178, 184, 192 [best: 1000] 392130514124820, 23, 35, 60, 77, 90, 114, 136, 144, 157, 195, 228 [best: 1000] 392560010854420, 23, 35, 60, 77, 91, 106, 108, 117, 120, 172, 216 [best: 1000] 392989507584020, 23, 35, 60, 77, 92, 102, 116, 148, 177, 188 [best: 1000] 393419004313620, 23, 35, 60, 77, 93, 95, 103, 104, 124, 147, 158 [best: 1000] 393848501043220, 23, 35, 60, 77, 94, 100, 116, 150, 177, 179, 190 [best: 1000] 394277997772820, 23, 35, 60, 77, 96, 107, 110, 125, 147, 178, 265 [best: 1000] 394707494502420, 23, 35, 60, 78, 79, 87, 114, 116, 127, 177, 198 [best: 1000] 395136991232020, 23, 35, 60, 78, 80, 85, 108, 166, 171, 188, 213 [best: 1000] 395566487961620, 23, 35, 60, 78, 80, 101, 108, 141, 146, 201, 205 [best: 1000] 395995984691220, 23, 35, 60, 78, 81, 88, 94, 130, 166, 176, 179 [best: 1000] 396425481420820, 23, 35, 60, 78, 81, 100, 120, 124, 184, 185, 197 [best: 1000] 396854978150420, 23, 35, 60, 78, 82, 87, 116, 151, 159, 163, 199 [best: 1000] 397284474880020, 23, 35, 60, 78, 83, 86, 98, 153, 162, 188, 227 [best: 1000] 397713971609620, 23, 35, 60, 78, 83, 95, 154, 167, 171, 216, 233 [best: 1000] 398143468339220, 23, 35, 60, 78, 83, 112, 113, 144, 153, 195, 197 [best: 1000] 398572965068820, 23, 35, 60, 78, 84, 96, 125, 150, 170, 244, 271 [best: 1000] 399002461798420, 23, 35, 60, 78, 85, 90, 109, 114, 125, 129, 214 [best: 1000] 399431958528020, 23, 35, 60, 78, 85, 105, 111, 125, 158, 159, 166 [best: 1000] 399861455257620, 23, 35, 60, 78, 86, 92, 105, 126, 148, 190, 196 [best: 1000] 400290951987220, 23, 35, 60, 78, 86, 112, 122, 138, 150, 170, 214 [best: 1000] 400720448716820, 23, 35, 60, 78, 87, 98, 120, 123, 140, 217, 248 [best: 1000] 401149945446420, 23, 35, 60, 78, 87, 123, 138, 144, 147, 184, 233 [best: 1000] 401579442176020, 23, 35, 60, 78, 88, 100, 132, 145, 178, 196, 224 [best: 1000] 402008938905620, 23, 35, 60, 78, 89, 92, 112, 134, 162, 195, 243 [best: 1000] 402438435635220, 23, 35, 60, 78, 89, 105, 109, 115, 153, 203, 231 [best: 1000] 402867932364820, 23, 35, 60, 78, 90, 93, 119, 126, 182, 198, 239 [best: 1000] 403297429094420, 23, 35, 60, 78, 91, 97, 116, 130, 138, 192, 222 [best: 1000] 403726925824020, 23, 35, 60, 78, 92, 116, 135, 144, 167, 197, 237 [best: 1000] 404156422553620, 23, 35, 60, 78, 93, 115, 121, 129, 130, 163, 182 [best: 1000] 404585919283220, 23, 35, 60, 78, 94, 106, 115, 118, 128, 134, 224 [best: 1000] 405015416012820, 23, 35, 60, 78, 95, 99, 117, 144, 173, 225, 230 [best: 1000] 405444912742420, 23, 35, 60, 78, 95, 113, 135, 138, 177, 196, 202 [best: 1000] 405874409472020, 23, 35, 60, 78, 96, 105, 110, 151, 155, 238, 300 [best: 1000] 406303906201620, 23, 35, 60, 78, 97, 104, 134, 148, 150, 199, 207 [best: 1000] 406733402931220, 23, 35, 60, 78, 98, 113, 153, 164, 176, 220, 250 [best: 1000] 407162899660820, 23, 35, 60, 78, 99, 122, 123, 150, 195, 207, 241 [best: 1000] 407592396390420, 23, 35, 60, 78, 101, 102, 115, 140, 143, 147, 197 [best: 1000] 408021893120020, 23, 35, 60, 79, 80, 100, 114, 118, 124, 169, 186 [best: 1000] 408451389849620, 23, 35, 60, 79, 81, 96, 117, 121, 133, 167, 177 [best: 1000] 408880886579220, 23, 35, 60, 79, 83, 84, 109, 146, 149, 154, 192 [best: 1000] 409310383308820, 23, 35, 60, 79, 83, 101, 114, 163, 182, 184, 210 [best: 1000] 409739880038420, 23, 35, 60, 79, 84, 94, 113, 117, 162, 169, 223 [best: 1000] 410169376768020, 23, 35, 60, 79, 86, 88, 126, 128, 155, 206, 211 [best: 1000] 410598873497620, 23, 35, 60, 79, 87, 99, 111, 120, 127, 153 [best: 1000] 411028370227220, 23, 35, 60, 79, 88, 100, 101, 118, 145, 167, 169 [best: 1000] 411457866956820, 23, 35, 60, 79, 91, 94, 102, 122, 137, 157, 248 [best: 1000] 411887363686420, 23, 35, 60, 79, 92, 103, 105, 123, 128, 174, 194, 260 [best: 1000] 412316860416020, 23, 35, 60, 79, 94, 113, 132, 144, 167, 190, 197 [best: 1000] 412746357145620, 23, 35, 60, 80, 81, 87, 124, 125, 159, 160, 239 [best: 1000] 413175853875220, 23, 35, 60, 80, 81, 107, 126, 127, 159, 178, 186, 191 [best: 1000] 413605350604820, 23, 35, 60, 80, 82, 108, 113, 119, 120, 146, 181 [best: 1000] 414034847334420, 23, 35, 60, 80, 83, 95, 97, 110, 146, 156, 205 [best: 1000] 414464344064020, 23, 35, 60, 80, 83, 113, 129, 131, 176, 219, 261 [best: 1000] 414893840793620, 23, 35, 60, 80, 84, 99, 101, 112, 118, 119, 203 [best: 1000] 415323337523220, 23, 35, 60, 80, 85, 100, 101, 104, 154, 169, 185 [best: 1000] 415752834252820, 23, 35, 60, 80, 86, 105, 123, 124, 134, 159, 241 [best: 1000] 416182330982420, 23, 35, 60, 80, 88, 89, 104, 149, 161, 192, 220, 259 [best: 1000] 416611827712020, 23, 35, 60, 80, 89, 97, 102, 135, 143, 150, 151, 164 [best: 1000] 417041324441620, 23, 35, 60, 80, 90, 107, 124, 129, 151, 194 [best: 1000] 417470821171220, 23, 35, 60, 80, 91, 100, 112, 156, 170, 228, 229 [best: 1000] 417900317900820, 23, 35, 60, 80, 91, 112, 139, 152, 156, 166, 233, 258 [best: 1000] 418329814630420, 23, 35, 60, 80, 92, 100, 126, 132, 147, 185, 189 [best: 1000] 418759311360020, 23, 35, 60, 80, 93, 96, 132, 147, 167, 199, 206 [best: 1000] 419188808089620, 23, 35, 60, 80, 93, 109, 127, 130, 150, 172, 180, 286 [best: 1000] 419618304819220, 23, 35, 60, 80, 94, 95, 105, 160, 167, 188, 240 [best: 1000] 420047801548820, 23, 35, 60, 80, 95, 102, 104, 114, 125, 160, 243 [best: 1000] 420477298278420, 23, 35, 60, 80, 96, 109, 114, 123, 146, 169, 185, 204 [best: 1000] 420906795008020, 23, 35, 60, 80, 97, 111, 113, 116, 146, 180, 228, 231 [best: 1000] 421336291737620, 23, 35, 60, 80, 99, 102, 110, 125, 163, 192, 211 [best: 1000] 421765788467220, 23, 35, 60, 80, 100, 115, 137, 141, 191, 206, 251 [best: 1000] 422195285196820, 23, 35, 60, 81, 82, 93, 114, 115, 124, 125, 173 [best: 1000] 422624781926420, 23, 35, 60, 81, 83, 88, 103, 106, 133, 177, 204 [best: 1000] 423054278656020, 23, 35, 60, 81, 83, 98, 102, 107, 124, 203, 220 [best: 1000] 423483775385620, 23, 35, 60, 81, 83, 118, 135, 179, 212, 220, 242 [best: 1000] 423913272115220, 23, 35, 60, 81, 84, 108, 125, 133, 138, 152, 191 [best: 1000] 424342768844820, 23, 35, 60, 81, 85, 99, 124, 138, 149, 156, 182 [best: 1000] 424772265574420, 23, 35, 60, 81, 86, 97, 118, 145, 154, 191, 208 [best: 1000] 425201762304020, 23, 35, 60, 81, 87, 108, 118, 161, 169, 185, 196 [best: 1000] 425631259033620, 23, 35, 60, 81, 88, 107, 112, 124, 166, 202, 212 [best: 1000] 426060755763220, 23, 35, 60, 81, 89, 97, 122, 162, 163, 175, 211 [best: 1000] 426490252492820, 23, 35, 60, 81, 89, 116, 133, 144, 170, 175, 176, 223 [best: 1000] 426919749222420, 23, 35, 60, 81, 90, 99, 108, 130, 171, 200, 258 [best: 1000] 427349245952020, 23, 35, 60, 81, 90, 114, 119, 152, 160, 210, 223 [best: 1000] 427778742681620, 23, 35, 60, 81, 91, 101, 127, 162, 167, 184, 247 [best: 1000] 428208239411220, 23, 35, 60, 81, 92, 95, 102, 133, 188, 214, 246 [best: 1000] 428637736140820, 23, 35, 60, 81, 92, 111, 133, 152, 191, 193, 216, 236 [best: 1000] 429067232870420, 23, 35, 60, 81, 93, 97, 134, 154, 172, 175, 188 [best: 1000] 429496729600020, 23, 35, 60, 81, 93, 112, 147, 153, 177, 205, 214, 257 [best: 1000] 429926226329620, 23, 35, 60, 81, 94, 101, 104, 119, 153, 195, 236 [best: 1000] 430355723059220, 23, 35, 60, 81, 94, 111, 115, 190, 192, 211, 233, 332 [best: 1000] 430785219788820, 23, 35, 60, 81, 94, 119, 135, 162, 184, 193, 226 [best: 1000] 431214716518420, 23, 35, 60, 81, 95, 108, 111, 138, 144, 183, 222 [best: 1000] 431644213248020, 23, 35, 60, 81, 96, 109, 113, 129, 157, 168, 178 [best: 1000] 432073709977620, 23, 35, 60, 81, 97, 108, 143, 153, 166, 169, 216, 262 [best: 1000] 432503206707220, 23, 35, 60, 81, 98, 109, 124, 144, 149, 193, 258 [best: 1000] 432932703436820, 23, 35, 60, 81, 99, 108, 115, 122, 130, 164, 188 [best: 1000] 433362200166420, 23, 35, 60, 81, 101, 110, 116, 126, 143, 192, 226 [best: 1000] 433791696896020, 23, 35, 60, 81, 102, 116, 117, 123, 130, 175, 181 [best: 1000] 434221193625620, 23, 35, 60, 81, 104, 116, 120, 143, 164, 167, 217 [best: 1000] 434650690355220, 23, 35, 60, 82, 83, 99, 116, 125, 186, 202, 237 [best: 1000] 435080187084820, 23, 35, 60, 82, 84, 97, 125, 127, 142, 158, 171 [best: 1000] 435509683814420, 23, 35, 60, 82, 87, 100, 114, 121, 168, 180, 195 [best: 1000] 435939180544020, 23, 35, 60, 82, 89, 94, 105, 110, 169, 185, 194 [best: 1000] 436368677273620, 23, 35, 60, 82, 90, 93, 103, 126, 163, 177, 197 [best: 1000] 436798174003220, 23, 35, 60, 82, 91, 101, 115, 159, 186, 204, 223 [best: 1000] 437227670732820, 23, 35, 60, 82, 92, 103, 104, 115, 139, 154, 155, 276 [best: 1000] 437657167462420, 23, 35, 60, 82, 94, 110, 114, 119, 123, 155, 162 [best: 1000] 438086664192020, 23, 35, 60, 83, 84, 89, 107, 111, 132, 189, 235 [best: 1000] 438516160921620, 23, 35, 60, 83, 84, 103, 114, 138, 149, 164, 244 [best: 1000] 438945657651220, 23, 35, 60, 83, 85, 91, 108, 118, 130, 151, 165 [best: 1000] 439375154380820, 23, 35, 60, 83, 85, 102, 118, 123, 124, 178, 211 [best: 1000] 439804651110420, 23, 35, 60, 83, 86, 89, 120, 136, 188, 192, 215 [best: 1000] 440234147840020, 23, 35, 60, 83, 86, 99, 114, 159, 164, 228, 229 [best: 1000] 440663644569620, 23, 35, 60, 83, 87, 88, 110, 119, 121, 194, 223 [best: 1000] 441093141299220, 23, 35, 60, 83, 87, 98, 101, 105, 122, 158, 181 [best: 1000] 441522638028820, 23, 35, 60, 83, 88, 89, 93, 100, 147, 150, 192 [best: 1000] 441952134758420, 23, 35, 60, 83, 88, 97, 100, 139, 179, 250, 259 [best: 1000] 442381631488020, 23, 35, 60, 83, 88, 115, 135, 166, 211, 220, 290 [best: 1000] 442811128217620, 23, 35, 60, 83, 89, 95, 98, 151, 152, 185, 219 [best: 1000] 443240624947220, 23, 35, 60, 83, 89, 105, 137, 138, 142, 159, 214 [best: 1000] 443670121676820, 23, 35, 60, 83, 90, 92, 103, 110, 139, 228, 271 [best: 1000] 444099618406420, 23, 35, 60, 83, 90, 99, 120, 134, 136, 158, 174 [best: 1000] 444529115136020, 23, 35, 60, 83, 90, 115, 120, 140, 183, 192, 223 [best: 1000] 444958611865620, 23, 35, 60, 83, 91, 95, 138, 148, 189, 244, 288 [best: 1000] 445388108595220, 23, 35, 60, 83, 91, 107, 126, 134, 142, 148, 151 [best: 1000] 445817605324820, 23, 35, 60, 83, 92, 94, 132, 136, 162, 183, 229 [best: 1000] 446247102054420, 23, 35, 60, 83, 92, 103, 117, 118, 145, 171, 234 [best: 1000] 446676598784020, 23, 35, 60, 83, 92, 122, 137, 141, 158, 167, 245 [best: 1000] 447106095513620, 23, 35, 60, 83, 93, 99, 140, 168, 178, 199, 204, 247 [best: 1000] 447535592243220, 23, 35, 60, 83, 93, 112, 147, 149, 165, 202, 224, 255 [best: 1000] 447965088972820, 23, 35, 60, 83, 94, 96, 119, 131, 202, 205 [best: 1000] 448394585702420, 23, 35, 60, 83, 94, 107, 116, 117, 145, 187, 224 [best: 1000] 448824082432020, 23, 35, 60, 83, 95, 96, 117, 188, 216, 218, 276 [best: 1000] 449253579161620, 23, 35, 60, 83, 95, 105, 110, 126, 162, 197, 251 [best: 1000] 449683075891220, 23, 35, 60, 83, 95, 125, 126, 135, 164, 196, 228 [best: 1000] 450112572620820, 23, 35, 60, 83, 96, 101, 129, 130, 167, 179, 183 [best: 1000] 450542069350420, 23, 35, 60, 83, 96, 108, 142, 149, 173, 233, 271 [best: 1000] 450971566080020, 23, 35, 60, 83, 96, 116, 132, 177, 225, 248, 257 [best: 1000] 451401062809620, 23, 35, 60, 83, 96, 128, 133, 147, 203, 204, 271, 287 [best: 1000] 451830559539220, 23, 35, 60, 83, 97, 104, 112, 140, 196, 229, 278 [best: 1000] 452260056268820, 23, 35, 60, 83, 97, 117, 121, 157, 194, 196, 278 [best: 1000] 452689552998420, 23, 35, 60, 83, 98, 105, 106, 113, 145, 167, 248 [best: 1000] 453119049728020, 23, 35, 60, 83, 99, 100, 130, 136, 152, 172, 199 [best: 1000] 453548546457620, 23, 35, 60, 83, 99, 111, 119, 143, 148, 153, 176 [best: 1000] 453978043187220, 23, 35, 60, 83, 100, 101, 107, 149, 151, 154, 238 [best: 1000] 454407539916820, 23, 35, 60, 83, 100, 118, 120, 121, 135, 157, 190 [best: 1000] 454837036646420, 23, 35, 60, 83, 101, 122, 126, 157, 192, 209, 240 [best: 1000] 455266533376020, 23, 35, 60, 83, 103, 105, 136, 144, 171, 174, 195 [best: 1000] 455696030105620, 23, 35, 60, 83, 104, 106, 113, 136, 174, 200, 228 [best: 1000] 456125526835220, 23, 35, 60, 83, 104, 120, 139, 140, 166, 226, 284 [best: 1000] 456555023564820, 23, 35, 60, 83, 106, 108, 124, 131, 135, 167, 180 [best: 1000] 456984520294420, 23, 35, 60, 84, 85, 90, 126, 144, 155, 192, 202 [best: 1000] 457414017024020, 23, 35, 60, 84, 86, 90, 124, 136, 159, 167, 194 [best: 1000] 457843513753620, 23, 35, 60, 84, 87, 91, 108, 131, 141, 186, 210, 226 [best: 1000] 458273010483220, 23, 35, 60, 84, 88, 91, 113, 131, 147, 181, 222 [best: 1000] 458702507212820, 23, 35, 60, 84, 89, 100, 123, 126, 167, 208, 223 [best: 1000] 459132003942420, 23, 35, 60, 84, 90, 107, 110, 127, 128, 183, 203 [best: 1000] 459561500672020, 23, 35, 60, 84, 92, 93, 109, 126, 181, 195, 215, 237 [best: 1000] 459990997401620, 23, 35, 60, 84, 92, 109, 115, 123, 145, 205 [best: 1000] 460420494131220, 23, 35, 60, 84, 93, 106, 128, 147, 161, 205, 220, 265 [best: 1000] 460849990860820, 23, 35, 60, 84, 97, 105, 115, 132, 154, 186, 198, 246 [best: 1000] 4612794875904total chains: 4615551637285new 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 21 21 21 21 9: 24 380 15 6 2310: 656 11324 17 5 3111: 20696 394187 19 3 3612: 740371 15541627 20 2 4113: 29704101 681822583 22 0 4614: 1326763024 33056507637 24 0 5115: 65519966800 1761231141953 26 0 5616: 16610355394 462508150427 27 0 6117: 27097135 969249092 35 3 6418: 72222 2821806 39 10 6319: 10 476 47 37 5620: 0 0 0 0 021: 0 0 0 0 0real 370m13.741suser 364m23.868ssys 0m19.351sEOMstderr end 2025-05-01 09:55:36 (22496): called boinc_finish(0) </stderr_txt> ]]>
