Task 15151
| Name | batch_89__job_job-000122_1 |
| Workunit | 12050 |
| Created | 30 Apr 2025, 2:55:16 UTC |
| Sent | 1 May 2025, 1:10:51 UTC |
| Report deadline | 8 May 2025, 1:10:51 UTC |
| Received | 1 May 2025, 14:24:44 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 25740 |
| Run time | 13 hours 13 min 40 sec |
| CPU time | 0 sec |
| Validate state | Valid |
| Credit | 56.34 |
| Device peak FLOPS | 3.89 GFLOPS |
| Application version | Universal Docker app v1.09 (docker) windows_x86_64 |
| Peak working set size | 13.02 MB |
| Peak swap size | 2.36 MB |
| Peak disk usage | 170.66 KB |
Stderr output
<core_client_version>8.2.1</core_client_version> <![CDATA[ <stderr_txt> 27, 49, 61, 69, 80, 86, 116, 145, 170, 180, 230 [best: 1000] 281320357888018, 27, 49, 61, 69, 80, 95, 114, 140, 223, 238, 273 [best: 1000] 281749854617618, 27, 49, 61, 69, 80, 109, 118, 135, 146, 217, 244 [best: 1000] 282179351347218, 27, 49, 61, 69, 81, 84, 97, 141, 177, 208, 256 [best: 1000] 282608848076818, 27, 49, 61, 69, 81, 93, 98, 125, 146, 216, 227 [best: 1000] 283038344806418, 27, 49, 61, 69, 81, 102, 106, 120, 151, 185, 208 [best: 1000] 283467841536018, 27, 49, 61, 69, 81, 122, 126, 133, 139, 216, 243 [best: 1000] 283897338265618, 27, 49, 61, 69, 82, 91, 97, 152, 166, 174, 208 [best: 1000] 284326834995218, 27, 49, 61, 69, 82, 98, 133, 143, 151, 187, 257 [best: 1000] 284756331724818, 27, 49, 61, 69, 82, 123, 140, 141, 189, 230, 231 [best: 1000] 285185828454418, 27, 49, 61, 69, 83, 92, 120, 148, 181, 187, 259 [best: 1000] 285615325184018, 27, 49, 61, 69, 83, 102, 103, 114, 156, 173, 191 [best: 1000] 286044821913618, 27, 49, 61, 69, 84, 86, 91, 97, 145, 190, 236 [best: 1000] 286474318643218, 27, 49, 61, 69, 84, 94, 140, 167, 170, 207, 213 [best: 1000] 286903815372818, 27, 49, 61, 69, 84, 105, 148, 151, 176, 179, 270 [best: 1000] 287333312102418, 27, 49, 61, 69, 85, 89, 114, 139, 142, 165, 186 [best: 1000] 287762808832018, 27, 49, 61, 69, 85, 105, 131, 137, 143, 170, 185 [best: 1000] 288192305561618, 27, 49, 61, 69, 86, 94, 110, 116, 135, 156, 185 [best: 1000] 288621802291218, 27, 49, 61, 69, 86, 108, 115, 118, 135, 169, 205 [best: 1000] 289051299020818, 27, 49, 61, 69, 87, 96, 102, 107, 160, 162 [best: 1000] 289480795750418, 27, 49, 61, 69, 88, 94, 103, 116, 121, 192, 209 [best: 1000] 289910292480018, 27, 49, 61, 69, 88, 109, 130, 139, 179, 208, 231 [best: 1000] 290339789209618, 27, 49, 61, 69, 89, 95, 115, 117, 160, 184, 201 [best: 1000] 290769285939218, 27, 49, 61, 69, 89, 115, 134, 160, 169, 179, 189 [best: 1000] 291198782668818, 27, 49, 61, 69, 90, 104, 125, 149, 152, 222, 261 [best: 1000] 291628279398418, 27, 49, 61, 69, 91, 96, 127, 158, 167, 194, 270 [best: 1000] 292057776128018, 27, 49, 61, 69, 91, 114, 136, 157, 185, 192, 266 [best: 1000] 292487272857618, 27, 49, 61, 69, 92, 95, 129, 192, 211, 238, 260 [best: 1000] 292916769587218, 27, 49, 61, 69, 92, 103, 149, 160, 161, 227, 233 [best: 1000] 293346266316818, 27, 49, 61, 69, 92, 117, 126, 127, 152, 234, 240 [best: 1000] 293775763046418, 27, 49, 61, 69, 93, 95, 116, 130, 145, 146, 157 [best: 1000] 294205259776018, 27, 49, 61, 69, 93, 117, 137, 145, 153, 169, 192 [best: 1000] 294634756505618, 27, 49, 61, 69, 94, 99, 113, 114, 142, 219, 266 [best: 1000] 295064253235218, 27, 49, 61, 69, 94, 109, 114, 117, 124, 160, 198 [best: 1000] 295493749964818, 27, 49, 61, 69, 94, 119, 147, 175, 194, 270, 284 [best: 1000] 295923246694418, 27, 49, 61, 69, 95, 97, 121, 176, 178, 181, 200 [best: 1000] 296352743424018, 27, 49, 61, 69, 95, 103, 120, 162, 183, 236, 293 [best: 1000] 296782240153618, 27, 49, 61, 69, 95, 110, 133, 187, 188, 193, 257 [best: 1000] 297211736883218, 27, 49, 61, 69, 95, 118, 132, 135, 168, 250, 303, 348 [best: 1000] 297641233612818, 27, 49, 61, 69, 95, 129, 157, 158, 166, 190, 255 [best: 1000] 298070730342418, 27, 49, 61, 69, 96, 104, 111, 145, 151, 166, 178 [best: 1000] 298500227072018, 27, 49, 61, 69, 97, 98, 110, 136, 161, 172, 184 [best: 1000] 298929723801618, 27, 49, 61, 69, 97, 112, 131, 143, 144, 196, 204 [best: 1000] 299359220531218, 27, 49, 61, 69, 98, 102, 131, 177, 194, 202, 248, 310 [best: 1000] 299788717260818, 27, 49, 61, 69, 98, 116, 143, 145, 171, 206, 207 [best: 1000] 300218213990418, 27, 49, 61, 69, 99, 104, 112, 123, 134, 175, 203 [best: 1000] 300647710720018, 27, 49, 61, 69, 100, 105, 135, 140, 163, 175, 218 [best: 1000] 301077207449618, 27, 49, 61, 69, 101, 115, 122, 140, 143, 198, 206 [best: 1000] 301506704179218, 27, 49, 61, 69, 102, 118, 137, 141, 160, 163, 222 [best: 1000] 301936200908818, 27, 49, 61, 69, 104, 105, 131, 151, 168, 176, 206 [best: 1000] 302365697638418, 27, 49, 61, 69, 104, 126, 130, 166, 177, 198, 199 [best: 1000] 302795194368018, 27, 49, 61, 69, 106, 109, 111, 116, 138, 187, 209 [best: 1000] 303224691097618, 27, 49, 61, 69, 107, 116, 119, 132, 191, 208, 245 [best: 1000] 303654187827218, 27, 49, 61, 70, 71, 73, 107, 158, 195, 202, 236 [best: 1000] 304083684556818, 27, 49, 61, 70, 71, 79, 99, 122, 170, 210, 239 [best: 1000] 304513181286418, 27, 49, 61, 70, 71, 87, 89, 99, 162, 177, 189 [best: 1000] 304942678016018, 27, 49, 61, 70, 71, 94, 112, 125, 140, 178, 217 [best: 1000] 305372174745618, 27, 49, 61, 70, 71, 107, 129, 180, 189, 194, 215 [best: 1000] 305801671475218, 27, 49, 61, 70, 72, 76, 77, 110, 121, 127, 134 [best: 1000] 306231168204818, 27, 49, 61, 70, 72, 83, 90, 96, 192, 196, 232 [best: 1000] 306660664934418, 27, 49, 61, 70, 72, 92, 101, 145, 164, 184, 218 [best: 1000] 307090161664018, 27, 49, 61, 70, 72, 105, 124, 130, 133, 145, 176 [best: 1000] 307519658393618, 27, 49, 61, 70, 73, 79, 82, 99, 103, 123, 225 [best: 1000] 307949155123218, 27, 49, 61, 70, 73, 88, 91, 94, 119, 130, 188 [best: 1000] 308378651852818, 27, 49, 61, 70, 73, 102, 104, 128, 151, 171, 224 [best: 1000] 308808148582418, 27, 49, 61, 70, 74, 77, 106, 159, 185, 216, 238 [best: 1000] 309237645312018, 27, 49, 61, 70, 74, 87, 89, 127, 135, 158, 178 [best: 1000] 309667142041618, 27, 49, 61, 70, 74, 98, 127, 148, 152, 181 [best: 1000] 310096638771218, 27, 49, 61, 70, 75, 80, 116, 158, 184, 216, 228 [best: 1000] 310526135500818, 27, 49, 61, 70, 75, 97, 110, 148, 192, 215, 254 [best: 1000] 310955632230418, 27, 49, 61, 70, 76, 82, 85, 125, 134, 179, 206 [best: 1000] 311385128960018, 27, 49, 61, 70, 76, 93, 98, 107, 162, 172, 209 [best: 1000] 311814625689618, 27, 49, 61, 70, 77, 78, 100, 107, 149, 186, 261 [best: 1000] 312244122419218, 27, 49, 61, 70, 77, 84, 91, 108, 137, 173, 216 [best: 1000] 312673619148818, 27, 49, 61, 70, 77, 91, 124, 155, 159, 171 [best: 1000] 313103115878418, 27, 49, 61, 70, 77, 102, 109, 167, 168, 181, 211 [best: 1000] 313532612608018, 27, 49, 61, 70, 77, 120, 135, 161, 171, 183, 213 [best: 1000] 313962109337618, 27, 49, 61, 70, 78, 88, 133, 160, 176, 184, 201 [best: 1000] 314391606067218, 27, 49, 61, 70, 78, 103, 106, 107, 158, 169, 172 [best: 1000] 314821102796818, 27, 49, 61, 70, 79, 84, 114, 128, 188, 207, 226 [best: 1000] 315250599526418, 27, 49, 61, 70, 79, 94, 132, 144, 153, 183, 217 [best: 1000] 315680096256018, 27, 49, 61, 70, 79, 112, 126, 136, 166, 202, 214 [best: 1000] 316109592985618, 27, 49, 61, 70, 80, 87, 140, 150, 176, 202, 258 [best: 1000] 316539089715218, 27, 49, 61, 70, 80, 95, 119, 156, 168, 204, 234 [best: 1000] 316968586444818, 27, 49, 61, 70, 80, 110, 127, 161, 179, 196, 263 [best: 1000] 317398083174418, 27, 49, 61, 70, 81, 86, 128, 136, 142, 174, 176 [best: 1000] 317827579904018, 27, 49, 61, 70, 81, 93, 109, 174, 192, 202, 249 [best: 1000] 318257076633618, 27, 49, 61, 70, 81, 108, 109, 141, 164, 174, 193 [best: 1000] 318686573363218, 27, 49, 61, 70, 82, 87, 111, 114, 133, 173, 209 [best: 1000] 319116070092818, 27, 49, 61, 70, 82, 102, 106, 117, 155, 169, 176 [best: 1000] 319545566822418, 27, 49, 61, 70, 83, 89, 105, 118, 131, 147, 182 [best: 1000] 319975063552018, 27, 49, 61, 70, 83, 104, 125, 131, 168, 211, 221 [best: 1000] 320404560281618, 27, 49, 61, 70, 84, 91, 98, 120, 163, 207, 214 [best: 1000] 320834057011218, 27, 49, 61, 70, 84, 107, 114, 120, 200, 217, 227 [best: 1000] 321263553740818, 27, 49, 61, 70, 85, 96, 139, 146, 147, 161, 231, 258 [best: 1000] 321693050470418, 27, 49, 61, 70, 86, 93, 118, 139, 158, 177, 190 [best: 1000] 322122547200018, 27, 49, 61, 70, 87, 90, 113, 140, 157, 189, 249 [best: 1000] 322552043929618, 27, 49, 61, 70, 87, 106, 107, 144, 185, 188, 235 [best: 1000] 322981540659218, 27, 49, 61, 70, 88, 95, 111, 149, 156, 168, 176 [best: 1000] 323411037388818, 27, 49, 61, 70, 89, 92, 93, 94, 121, 169, 190 [best: 1000] 323840534118418, 27, 49, 61, 70, 89, 99, 119, 131, 184, 197, 260 [best: 1000] 324270030848018, 27, 49, 61, 70, 89, 108, 109, 156, 181, 188, 200 [best: 1000] 324699527577618, 27, 49, 61, 70, 89, 124, 138, 161, 170, 205, 234 [best: 1000] 325129024307218, 27, 49, 61, 70, 90, 99, 111, 125, 154, 222 [best: 1000] 325558521036818, 27, 49, 61, 70, 90, 113, 120, 131, 132, 152, 159 [best: 1000] 325988017766418, 27, 49, 61, 70, 91, 101, 109, 137, 145, 188, 195 [best: 1000] 326417514496018, 27, 49, 61, 70, 92, 98, 116, 127, 144, 201, 207 [best: 1000] 326847011225618, 27, 49, 61, 70, 93, 95, 125, 129, 143, 220, 221 [best: 1000] 327276507955218, 27, 49, 61, 70, 94, 104, 137, 153, 193, 208, 219, 228 [best: 1000] 327706004684818, 27, 49, 61, 70, 95, 109, 132, 133, 158, 201, 291 [best: 1000] 328135501414418, 27, 49, 61, 70, 96, 102, 108, 121, 144, 163, 222 [best: 1000] 328564998144018, 27, 49, 61, 70, 96, 111, 134, 156, 192, 199, 271 [best: 1000] 328994494873618, 27, 49, 61, 70, 97, 101, 135, 137, 153, 195, 205 [best: 1000] 329423991603218, 27, 49, 61, 70, 98, 99, 102, 120, 160, 191 [best: 1000] 329853488332818, 27, 49, 61, 71, 72, 73, 98, 106, 150, 211, 284 [best: 1000] 330282985062418, 27, 49, 61, 71, 72, 78, 114, 120, 138, 161, 195 [best: 1000] 330712481792018, 27, 49, 61, 71, 72, 85, 112, 142, 181, 182, 236 [best: 1000] 331141978521618, 27, 49, 61, 71, 72, 94, 128, 145, 148, 172, 223 [best: 1000] 331571475251218, 27, 49, 61, 71, 72, 105, 112, 124, 131, 135, 181 [best: 1000] 332000971980818, 27, 49, 61, 71, 73, 74, 93, 99, 156, 181, 182 [best: 1000] 332430468710418, 27, 49, 61, 71, 73, 78, 121, 130, 175, 191, 217 [best: 1000] 332859965440018, 27, 49, 61, 71, 73, 83, 109, 122, 134, 146, 157 [best: 1000] 333289462169618, 27, 49, 61, 71, 73, 90, 125, 149, 163, 221, 249 [best: 1000] 333718958899218, 27, 49, 61, 71, 73, 95, 148, 149, 170, 247 [best: 1000] 334148455628818, 27, 49, 61, 71, 73, 103, 151, 152, 189, 197, 250 [best: 1000] 334577952358418, 27, 49, 61, 71, 73, 117, 120, 137, 164, 177, 227 [best: 1000] 335007449088018, 27, 49, 61, 71, 74, 77, 87, 130, 131, 139, 214 [best: 1000] 335436945817618, 27, 49, 61, 71, 74, 84, 94, 111, 144, 174, 232 [best: 1000] 335866442547218, 27, 49, 61, 71, 74, 94, 117, 157, 205, 219, 248 [best: 1000] 336295939276818, 27, 49, 61, 71, 74, 110, 113, 121, 154, 173, 187 [best: 1000] 336725436006418, 27, 49, 61, 71, 75, 80, 86, 98, 119, 137, 171 [best: 1000] 337154932736018, 27, 49, 61, 71, 75, 92, 98, 108, 118, 121, 140 [best: 1000] 337584429465618, 27, 49, 61, 71, 75, 112, 114, 118, 122, 156, 208 [best: 1000] 338013926195218, 27, 49, 61, 71, 76, 81, 82, 93, 134, 164, 172 [best: 1000] 338443422924818, 27, 49, 61, 71, 76, 89, 105, 140, 180, 193, 199 [best: 1000] 338872919654418, 27, 49, 61, 71, 76, 97, 124, 128, 154, 198, 218 [best: 1000] 339302416384018, 27, 49, 61, 71, 76, 114, 126, 143, 168, 199, 223 [best: 1000] 339731913113618, 27, 49, 61, 71, 77, 80, 111, 116, 201, 247, 280 [best: 1000] 340161409843218, 27, 49, 61, 71, 77, 84, 96, 166, 180, 229, 256 [best: 1000] 340590906572818, 27, 49, 61, 71, 77, 89, 150, 152, 172, 201, 210 [best: 1000] 341020403302418, 27, 49, 61, 71, 77, 94, 125, 134, 192, 238, 256 [best: 1000] 341449900032018, 27, 49, 61, 71, 77, 99, 106, 111, 131, 175, 225 [best: 1000] 341879396761618, 27, 49, 61, 71, 77, 106, 117, 157, 162, 183, 230 [best: 1000] 342308893491218, 27, 49, 61, 71, 77, 117, 129, 145, 183, 203, 267 [best: 1000] 342738390220818, 27, 49, 61, 71, 77, 131, 133, 142, 144, 147, 266 [best: 1000] 343167886950418, 27, 49, 61, 71, 78, 86, 106, 137, 147, 154, 206 [best: 1000] 343597383680018, 27, 49, 61, 71, 78, 96, 136, 170, 179, 226, 246 [best: 1000] 344026880409618, 27, 49, 61, 71, 78, 124, 130, 139, 170, 181, 256 [best: 1000] 344456377139218, 27, 49, 61, 71, 79, 86, 146, 157, 169, 172, 217 [best: 1000] 344885873868818, 27, 49, 61, 71, 79, 95, 124, 172, 208, 238, 271 [best: 1000] 345315370598418, 27, 49, 61, 71, 79, 109, 116, 155, 198, 223, 262 [best: 1000] 345744867328018, 27, 49, 61, 71, 80, 83, 102, 120, 124, 149, 191 [best: 1000] 346174364057618, 27, 49, 61, 71, 80, 92, 105, 141, 163, 172, 184 [best: 1000] 346603860787218, 27, 49, 61, 71, 80, 100, 102, 121, 143, 188, 242 [best: 1000] 347033357516818, 27, 49, 61, 71, 80, 119, 132, 140, 199, 222, 276 [best: 1000] 347462854246418, 27, 49, 61, 71, 81, 88, 98, 114, 135, 211, 251 [best: 1000] 347892350976018, 27, 49, 61, 71, 81, 96, 98, 118, 176, 189, 267 [best: 1000] 348321847705618, 27, 49, 61, 71, 81, 113, 115, 125, 133, 184, 216 [best: 1000] 348751344435218, 27, 49, 61, 71, 82, 86, 138, 141, 150, 194, 201 [best: 1000] 349180841164818, 27, 49, 61, 71, 82, 95, 124, 147, 158, 200, 258 [best: 1000] 349610337894418, 27, 49, 61, 71, 82, 113, 122, 163, 184, 206, 226 [best: 1000] 350039834624018, 27, 49, 61, 71, 83, 89, 97, 107, 146, 188, 198 [best: 1000] 350469331353618, 27, 49, 61, 71, 83, 97, 104, 120, 131, 138, 175 [best: 1000] 350898828083218, 27, 49, 61, 71, 83, 115, 152, 177, 204, 209, 217 [best: 1000] 351328324812818, 27, 49, 61, 71, 84, 92, 97, 106, 204, 230, 251 [best: 1000] 351757821542418, 27, 49, 61, 71, 84, 99, 128, 132, 161, 164, 201 [best: 1000] 352187318272018, 27, 49, 61, 71, 84, 121, 122, 158, 170, 203, 264 [best: 1000] 352616815001618, 27, 49, 61, 71, 85, 97, 108, 126, 151, 197, 224 [best: 1000] 353046311731218, 27, 49, 61, 71, 86, 90, 117, 155, 166, 181, 230 [best: 1000] 353475808460818, 27, 49, 61, 71, 86, 100, 133, 140, 154, 179, 190 [best: 1000] 353905305190418, 27, 49, 61, 71, 87, 91, 95, 136, 183, 223, 262, 274 [best: 1000] 354334801920018, 27, 49, 61, 71, 88, 89, 136, 160, 162, 204, 245 [best: 1000] 354764298649618, 27, 49, 61, 71, 88, 101, 103, 115, 158, 163, 208 [best: 1000] 355193795379218, 27, 49, 61, 71, 89, 92, 106, 173, 192, 234, 243 [best: 1000] 355623292108818, 27, 49, 61, 71, 89, 104, 140, 156, 190, 236, 258 [best: 1000] 356052788838418, 27, 49, 61, 71, 90, 95, 128, 147, 180, 225, 269 [best: 1000] 356482285568018, 27, 49, 61, 71, 91, 94, 108, 138, 140, 194, 228 [best: 1000] 356911782297618, 27, 49, 61, 71, 91, 105, 117, 150, 154, 192, 231 [best: 1000] 357341279027218, 27, 49, 61, 71, 92, 94, 103, 137, 174, 175, 226 [best: 1000] 357770775756818, 27, 49, 61, 71, 92, 100, 117, 161, 176, 192 [best: 1000] 358200272486418, 27, 49, 61, 71, 92, 113, 118, 136, 139, 159, 186 [best: 1000] 358629769216018, 27, 49, 61, 71, 92, 133, 136, 163, 170, 223, 254 [best: 1000] 359059265945618, 27, 49, 61, 71, 93, 109, 125, 130, 149, 179, 236 [best: 1000] 359488762675218, 27, 49, 61, 71, 94, 97, 136, 173, 190, 201, 257 [best: 1000] 359918259404818, 27, 49, 61, 71, 94, 105, 137, 155, 179, 186, 201 [best: 1000] 360347756134418, 27, 49, 61, 71, 94, 116, 147, 159, 180, 196, 213 [best: 1000] 360777252864018, 27, 49, 61, 71, 95, 96, 106, 154, 159, 215, 241 [best: 1000] 361206749593618, 27, 49, 61, 71, 95, 101, 118, 145, 208, 236, 273, 293 [best: 1000] 361636246323218, 27, 49, 61, 71, 95, 108, 114, 125, 170, 171, 213 [best: 1000] 362065743052818, 27, 49, 61, 71, 95, 116, 121, 149, 169, 175, 259 [best: 1000] 362495239782418, 27, 49, 61, 71, 95, 124, 147, 157, 175, 249, 274 [best: 1000] 362924736512018, 27, 49, 61, 71, 96, 98, 138, 159, 185, 218, 223 [best: 1000] 363354233241618, 27, 49, 61, 71, 96, 116, 137, 150, 151, 248, 258 [best: 1000] 363783729971218, 27, 49, 61, 71, 97, 106, 126, 156, 162, 175, 203 [best: 1000] 364213226700818, 27, 49, 61, 71, 98, 99, 106, 109, 158, 182, 187 [best: 1000] 364642723430418, 27, 49, 61, 71, 98, 111, 114, 124, 140, 152, 228 [best: 1000] 365072220160018, 27, 49, 61, 71, 98, 132, 137, 155, 180, 183, 196 [best: 1000] 365501716889618, 27, 49, 61, 71, 99, 126, 131, 147, 173, 202, 234 [best: 1000] 365931213619218, 27, 49, 61, 71, 101, 106, 111, 134, 143, 188, 237 [best: 1000] 366360710348818, 27, 49, 61, 71, 102, 105, 125, 151, 197, 199, 211 [best: 1000] 366790207078418, 27, 49, 61, 71, 103, 111, 124, 145, 161, 174, 203 [best: 1000] 367219703808018, 27, 49, 61, 71, 104, 116, 127, 156, 209, 231, 233 [best: 1000] 367649200537618, 27, 49, 61, 71, 105, 117, 118, 141, 193, 218, 274 [best: 1000] 368078697267218, 27, 49, 61, 71, 107, 110, 114, 123, 149, 164, 200 [best: 1000] 368508193996818, 27, 49, 61, 72, 73, 75, 76, 105, 132, 145, 211 [best: 1000] 368937690726418, 27, 49, 61, 72, 73, 80, 112, 130, 162, 223, 227 [best: 1000] 369367187456018, 27, 49, 61, 72, 73, 87, 94, 141, 171, 198, 203 [best: 1000] 369796684185618, 27, 49, 61, 72, 73, 94, 96, 107, 217, 223, 261 [best: 1000] 370226180915218, 27, 49, 61, 72, 73, 104, 125, 154, 193, 196, 275 [best: 1000] 370655677644818, 27, 49, 61, 72, 74, 75, 82, 112, 114, 202, 214 [best: 1000] 371085174374418, 27, 49, 61, 72, 74, 82, 96, 162, 164, 203, 241 [best: 1000] 371514671104018, 27, 49, 61, 72, 74, 92, 107, 118, 165, 179, 217 [best: 1000] 371944167833618, 27, 49, 61, 72, 74, 113, 120, 129, 164, 167, 196 [best: 1000] 372373664563218, 27, 49, 61, 72, 75, 84, 89, 112, 158, 203, 259 [best: 1000] 372803161292818, 27, 49, 61, 72, 75, 97, 126, 129, 136, 191, 204 [best: 1000] 373232658022418, 27, 49, 61, 72, 76, 81, 90, 155, 185, 202, 234 [best: 1000] 373662154752018, 27, 49, 61, 72, 76, 94, 97, 130, 172, 218, 229 [best: 1000] 374091651481618, 27, 49, 61, 72, 77, 79, 109, 130, 139, 163, 203 [best: 1000] 374521148211218, 27, 49, 61, 72, 77, 84, 90, 106, 205, 230, 235 [best: 1000] 374950644940818, 27, 49, 61, 72, 77, 89, 118, 158, 167, 203, 224 [best: 1000] 375380141670418, 27, 49, 61, 72, 77, 96, 108, 112, 153, 204, 256 [best: 1000] 375809638400018, 27, 49, 61, 72, 77, 105, 107, 113, 119, 122, 151 [best: 1000] 376239135129618, 27, 49, 61, 72, 77, 118, 126, 136, 165, 245, 295 [best: 1000] 376668631859218, 27, 49, 61, 72, 78, 85, 89, 123, 139, 156, 207 [best: 1000] 377098128588818, 27, 49, 61, 72, 78, 95, 124, 127, 128, 191, 226 [best: 1000] 377527625318418, 27, 49, 61, 72, 79, 80, 97, 118, 139, 173, 203 [best: 1000] 377957122048018, 27, 49, 61, 72, 79, 89, 95, 126, 160, 195, 213 [best: 1000] 378386618777618, 27, 49, 61, 72, 79, 99, 112, 142, 148, 191, 232 [best: 1000] 378816115507218, 27, 49, 61, 72, 80, 82, 124, 167, 194, 204, 225 [best: 1000] 379245612236818, 27, 49, 61, 72, 80, 89, 149, 151, 153, 154, 208 [best: 1000] 379675108966418, 27, 49, 61, 72, 80, 98, 108, 114, 157, 225, 253 [best: 1000] 380104605696018, 27, 49, 61, 72, 80, 116, 119, 125, 184, 211, 239 [best: 1000] 380534102425618, 27, 49, 61, 72, 81, 88, 90, 132, 146, 157, 189 [best: 1000] 380963599155218, 27, 49, 61, 72, 81, 94, 124, 151, 204, 206, 235 [best: 1000] 381393095884818, 27, 49, 61, 72, 81, 108, 148, 168, 187, 243, 275, 307 [best: 1000] 381822592614418, 27, 49, 61, 72, 82, 86, 133, 138, 148, 156, 169 [best: 1000] 382252089344018, 27, 49, 61, 72, 82, 97, 123, 126, 128, 153, 165 [best: 1000] 382681586073618, 27, 49, 61, 72, 83, 86, 100, 112, 157, 175, 189 [best: 1000] 383111082803218, 27, 49, 61, 72, 83, 97, 100, 124, 184, 199, 226 [best: 1000] 383540579532818, 27, 49, 61, 72, 84, 86, 124, 126, 185, 220, 271 [best: 1000] 383970076262418, 27, 49, 61, 72, 84, 96, 101, 137, 189, 191, 220 [best: 1000] 384399572992018, 27, 49, 61, 72, 84, 115, 121, 131, 185, 189, 229, 309 [best: 1000] 384829069721618, 27, 49, 61, 72, 85, 96, 108, 148, 182, 219, 239 [best: 1000] 385258566451218, 27, 49, 61, 72, 86, 88, 105, 168, 169, 209, 265 [best: 1000] 385688063180818, 27, 49, 61, 72, 86, 100, 116, 136, 163, 203, 232 [best: 1000] 386117559910418, 27, 49, 61, 72, 87, 93, 97, 115, 148, 160, 232 [best: 1000] 386547056640018, 27, 49, 61, 72, 88, 90, 105, 146, 170, 179, 237 [best: 1000] 386976553369618, 27, 49, 61, 72, 88, 99, 121, 136, 168, 224, 233 [best: 1000] 387406050099218, 27, 49, 61, 72, 88, 122, 123, 124, 181, 202, 239 [best: 1000] 387835546828818, 27, 49, 61, 72, 89, 95, 97, 153, 166, 218, 231 [best: 1000] 388265043558418, 27, 49, 61, 72, 89, 102, 112, 157, 160, 175, 208 [best: 1000] 388694540288018, 27, 49, 61, 72, 89, 111, 116, 144, 149, 183, 244 [best: 1000] 389124037017618, 27, 49, 61, 72, 90, 92, 101, 104, 154, 195, 209 [best: 1000] 389553533747218, 27, 49, 61, 72, 90, 98, 129, 139, 140, 150, 164 [best: 1000] 389983030476818, 27, 49, 61, 72, 90, 106, 154, 177, 202, 219, 245 [best: 1000] 390412527206418, 27, 49, 61, 72, 90, 121, 129, 155, 156, 200, 252 [best: 1000] 390842023936018, 27, 49, 61, 72, 91, 106, 131, 133, 135, 215, 240 [best: 1000] 391271520665618, 27, 49, 61, 72, 92, 100, 106, 110, 161, 177, 187 [best: 1000] 391701017395218, 27, 49, 61, 72, 92, 123, 148, 157, 174, 180, 266 [best: 1000] 392130514124818, 27, 49, 61, 72, 93, 108, 132, 137, 156, 158, 220 [best: 1000] 392560010854418, 27, 49, 61, 72, 94, 111, 119, 134, 173, 190, 211 [best: 1000] 392989507584018, 27, 49, 61, 72, 95, 117, 133, 159, 214, 225, 279 [best: 1000] 393419004313618, 27, 49, 61, 72, 96, 111, 129, 148, 163, 198, 239 [best: 1000] 393848501043218, 27, 49, 61, 72, 97, 102, 108, 146, 150, 234, 280 [best: 1000] 394277997772818, 27, 49, 61, 72, 97, 112, 119, 120, 194, 216, 228 [best: 1000] 394707494502418, 27, 49, 61, 72, 98, 101, 110, 115, 116, 143, 215 [best: 1000] 395136991232018, 27, 49, 61, 72, 99, 102, 125, 140, 182, 209, 228 [best: 1000] 395566487961618, 27, 49, 61, 72, 100, 102, 129, 159, 164, 173, 225 [best: 1000] 395995984691218, 27, 49, 61, 73, 74, 78, 98, 100, 102, 211, 214 [best: 1000] 396425481420818, 27, 49, 61, 73, 74, 85, 95, 105, 111, 124, 140 [best: 1000] 396854978150418, 27, 49, 61, 73, 74, 93, 122, 128, 131, 153, 171 [best: 1000] 397284474880018, 27, 49, 61, 73, 74, 104, 142, 143, 165, 167, 211 [best: 1000] 397713971609618, 27, 49, 61, 73, 75, 77, 118, 132, 134, 157, 175 [best: 1000] 398143468339218, 27, 49, 61, 73, 75, 87, 102, 119, 156, 193, 207, 242 [best: 1000] 398572965068818, 27, 49, 61, 73, 75, 100, 101, 136, 139, 153, 210 [best: 1000] 399002461798418, 27, 49, 61, 73, 76, 78, 102, 116, 125, 143, 198 [best: 1000] 399431958528018, 27, 49, 61, 73, 76, 84, 97, 114, 125, 211, 246 [best: 1000] 399861455257618, 27, 49, 61, 73, 76, 92, 134, 153, 155, 204, 239 [best: 1000] 400290951987218, 27, 49, 61, 73, 76, 102, 142, 168, 184, 217, 218 [best: 1000] 400720448716818, 27, 49, 61, 73, 77, 78, 112, 151, 183, 207, 269 [best: 1000] 401149945446418, 27, 49, 61, 73, 77, 83, 116, 122, 158, 164, 192 [best: 1000] 401579442176018, 27, 49, 61, 73, 77, 92, 99, 108, 191, 198, 206 [best: 1000] 402008938905618, 27, 49, 61, 73, 77, 100, 133, 169, 206, 238, 259 [best: 1000] 402438435635218, 27, 49, 61, 73, 77, 114, 132, 137, 166, 182, 281 [best: 1000] 402867932364818, 27, 49, 61, 73, 78, 81, 116, 165, 179, 207, 219 [best: 1000] 403297429094418, 27, 49, 61, 73, 78, 90, 109, 144, 159, 211, 229 [best: 1000] 403726925824018, 27, 49, 61, 73, 78, 100, 103, 104, 154, 159, 248 [best: 1000] 404156422553618, 27, 49, 61, 73, 78, 120, 125, 151, 181, 223, 229 [best: 1000] 404585919283218, 27, 49, 61, 73, 79, 85, 99, 117, 137, 189, 231 [best: 1000] 405015416012818, 27, 49, 61, 73, 79, 93, 122, 157, 168, 177, 257 [best: 1000] 405444912742418, 27, 49, 61, 73, 79, 105, 113, 172, 192, 239, 267 [best: 1000] 405874409472018, 27, 49, 61, 73, 80, 81, 153, 176, 183, 204, 212 [best: 1000] 406303906201618, 27, 49, 61, 73, 80, 88, 113, 150, 158, 204, 234 [best: 1000] 406733402931218, 27, 49, 61, 73, 80, 93, 105, 127, 196, 207, 232 [best: 1000] 407162899660818, 27, 49, 61, 73, 80, 100, 119, 136, 162, 167, 217 [best: 1000] 407592396390418, 27, 49, 61, 73, 80, 112, 130, 166, 182, 183, 240 [best: 1000] 408021893120018, 27, 49, 61, 73, 81, 82, 101, 123, 137, 178, 232 [best: 1000] 408451389849618, 27, 49, 61, 73, 81, 89, 94, 114, 158, 179, 242 [best: 1000] 408880886579218, 27, 49, 61, 73, 81, 93, 122, 155, 165, 182, 215 [best: 1000] 409310383308818, 27, 49, 61, 73, 81, 101, 108, 131, 167, 183, 220 [best: 1000] 409739880038418, 27, 49, 61, 73, 81, 113, 127, 128, 163, 218, 232 [best: 1000] 410169376768018, 27, 49, 61, 73, 82, 84, 93, 117, 150, 170, 186 [best: 1000] 410598873497618, 27, 49, 61, 73, 82, 92, 124, 135, 150, 155, 259 [best: 1000] 411028370227218, 27, 49, 61, 73, 82, 102, 139, 154, 199, 212, 256, 259 [best: 1000] 411457866956818, 27, 49, 61, 73, 83, 85, 89, 144, 145, 182, 233 [best: 1000] 411887363686418, 27, 49, 61, 73, 83, 93, 97, 102, 105, 114, 168 [best: 1000] 412316860416018, 27, 49, 61, 73, 83, 104, 110, 111, 181, 216, 256 [best: 1000] 412746357145618, 27, 49, 61, 73, 84, 88, 89, 97, 137, 185 [best: 1000] 413175853875218, 27, 49, 61, 73, 84, 98, 116, 125, 140, 162, 171 [best: 1000] 413605350604818, 27, 49, 61, 73, 85, 87, 88, 114, 170, 196, 202 [best: 1000] 414034847334418, 27, 49, 61, 73, 85, 97, 123, 128, 143, 185, 245, 262 [best: 1000] 414464344064018, 27, 49, 61, 73, 86, 87, 99, 108, 136, 140, 152 [best: 1000] 414893840793618, 27, 49, 61, 73, 86, 104, 105, 117, 148, 214, 251 [best: 1000] 415323337523218, 27, 49, 61, 73, 87, 96, 111, 150, 165, 194, 231 [best: 1000] 415752834252818, 27, 49, 61, 73, 88, 91, 105, 111, 171, 215, 221 [best: 1000] 416182330982418, 27, 49, 61, 73, 88, 104, 110, 125, 168, 206, 239 [best: 1000] 416611827712018, 27, 49, 61, 73, 89, 92, 109, 148, 152, 192, 245, 288 [best: 1000] 417041324441618, 27, 49, 61, 73, 89, 98, 121, 153, 174, 192, 226 [best: 1000] 417470821171218, 27, 49, 61, 73, 89, 107, 108, 138, 193, 221, 259 [best: 1000] 417900317900818, 27, 49, 61, 73, 89, 118, 152, 153, 154, 203, 254 [best: 1000] 418329814630418, 27, 49, 61, 73, 90, 93, 141, 155, 156, 188, 248 [best: 1000] 418759311360018, 27, 49, 61, 73, 90, 105, 108, 112, 165, 192, 278 [best: 1000] 419188808089618, 27, 49, 61, 73, 91, 92, 98, 146, 155, 165, 193 [best: 1000] 419618304819218, 27, 49, 61, 73, 91, 105, 123, 164, 168, 190, 249 [best: 1000] 420047801548818, 27, 49, 61, 73, 92, 95, 107, 108, 146, 177, 245 [best: 1000] 420477298278418, 27, 49, 61, 73, 92, 100, 127, 176, 209 [best: 1000] 420906795008018, 27, 49, 61, 73, 92, 106, 134, 148, 150, 222, 224 [best: 1000] 421336291737618, 27, 49, 61, 73, 92, 113, 145, 192, 197, 211, 241 [best: 1000] 421765788467218, 27, 49, 61, 73, 92, 122, 129, 145, 147, 158, 262, 311 [best: 1000] 422195285196818, 27, 49, 61, 73, 93, 94, 116, 126, 174, 200, 251 [best: 1000] 422624781926418, 27, 49, 61, 73, 93, 102, 134, 166, 173, 221, 238 [best: 1000] 423054278656018, 27, 49, 61, 73, 93, 114, 127, 136, 188, 191, 216 [best: 1000] 423483775385618, 27, 49, 61, 73, 94, 99, 114, 132, 159, 168, 211, 215 [best: 1000] 423913272115218, 27, 49, 61, 73, 94, 114, 119, 132, 148, 163, 218, 258 [best: 1000] 424342768844818, 27, 49, 61, 73, 95, 100, 123, 128, 186, 219, 231 [best: 1000] 424772265574418, 27, 49, 61, 73, 95, 109, 120, 131, 149, 166, 233 [best: 1000] 425201762304018, 27, 49, 61, 73, 95, 123, 137, 139, 161, 177, 199 [best: 1000] 425631259033618, 27, 49, 61, 73, 96, 104, 120, 131, 145, 200, 201 [best: 1000] 426060755763218, 27, 49, 61, 73, 96, 120, 130, 149, 205, 210, 259 [best: 1000] 426490252492818, 27, 49, 61, 73, 97, 116, 129, 139, 144, 206, 229 [best: 1000] 426919749222418, 27, 49, 61, 73, 99, 100, 112, 139, 181, 204, 264 [best: 1000] 427349245952018, 27, 49, 61, 73, 100, 102, 112, 117, 177, 194, 266 [best: 1000] 427778742681618, 27, 49, 61, 73, 100, 113, 122, 129, 184, 203, 222 [best: 1000] 428208239411218, 27, 49, 61, 73, 100, 130, 152, 193, 204, 238, 256 [best: 1000] 428637736140818, 27, 49, 61, 73, 102, 103, 117, 134, 157, 229, 259 [best: 1000] 429067232870418, 27, 49, 61, 73, 102, 111, 113, 124, 158, 166, 275 [best: 1000] 429496729600018, 27, 49, 61, 73, 102, 120, 122, 151, 210, 217, 231 [best: 1000] 429926226329618, 27, 49, 61, 73, 103, 109, 111, 134, 166, 205, 221 [best: 1000] 430355723059218, 27, 49, 61, 73, 104, 115, 135, 137, 156, 162, 198 [best: 1000] 430785219788818, 27, 49, 61, 73, 105, 113, 131, 153, 171, 200, 251 [best: 1000] 431214716518418, 27, 49, 61, 73, 106, 107, 118, 155, 163, 194, 247 [best: 1000] 431644213248018, 27, 49, 61, 74, 75, 79, 126, 152, 173, 187, 194 [best: 1000] 432073709977618, 27, 49, 61, 74, 75, 95, 99, 113, 117, 145, 162 [best: 1000] 432503206707218, 27, 49, 61, 74, 76, 79, 81, 83, 152, 210, 243 [best: 1000] 432932703436818, 27, 49, 61, 74, 76, 90, 107, 119, 122, 128, 232 [best: 1000] 433362200166418, 27, 49, 61, 74, 76, 106, 125, 148, 186, 188, 226, 242 [best: 1000] 433791696896018, 27, 49, 61, 74, 77, 80, 129, 170, 197, 240, 249 [best: 1000] 434221193625618, 27, 49, 61, 74, 77, 87, 92, 125, 127, 207, 222 [best: 1000] 434650690355218, 27, 49, 61, 74, 77, 93, 124, 137, 146, 161, 242 [best: 1000] 435080187084818, 27, 49, 61, 74, 77, 101, 110, 122, 137, 197, 213 [best: 1000] 435509683814418, 27, 49, 61, 74, 77, 112, 145, 148, 163, 191, 230 [best: 1000] 435939180544018, 27, 49, 61, 74, 77, 129, 141, 157, 184, 196, 205 [best: 1000] 436368677273618, 27, 49, 61, 74, 78, 93, 95, 160, 185, 208, 237 [best: 1000] 436798174003218, 27, 49, 61, 74, 79, 80, 88, 107, 134, 144, 149 [best: 1000] 437227670732818, 27, 49, 61, 74, 79, 90, 130, 161, 168, 197, 244 [best: 1000] 437657167462418, 27, 49, 61, 74, 79, 102, 137, 143, 182, 191, 233 [best: 1000] 438086664192018, 27, 49, 61, 74, 80, 82, 115, 147, 155, 198, 218 [best: 1000] 438516160921618, 27, 49, 61, 74, 80, 92, 139, 190, 204, 227, 249 [best: 1000] 438945657651218, 27, 49, 61, 74, 80, 104, 120, 129, 173, 206, 212 [best: 1000] 439375154380818, 27, 49, 61, 74, 81, 82, 111, 116, 193, 206, 249 [best: 1000] 439804651110418, 27, 49, 61, 74, 81, 92, 145, 159, 180, 192, 217 [best: 1000] 440234147840018, 27, 49, 61, 74, 81, 104, 136, 137, 147, 178, 236 [best: 1000] 440663644569618, 27, 49, 61, 74, 82, 84, 92, 93, 152, 195, 224 [best: 1000] 441093141299218, 27, 49, 61, 74, 82, 101, 124, 128, 140, 165, 166 [best: 1000] 441522638028818, 27, 49, 61, 74, 83, 93, 112, 117, 138, 175, 226 [best: 1000] 441952134758418, 27, 49, 61, 74, 84, 88, 115, 123, 124, 194, 230 [best: 1000] 442381631488018, 27, 49, 61, 74, 84, 101, 115, 135, 172, 175, 242 [best: 1000] 442811128217618, 27, 49, 61, 74, 85, 95, 107, 110, 115, 164, 200 [best: 1000] 443240624947218, 27, 49, 61, 74, 87, 90, 107, 115, 140, 176, 222 [best: 1000] 443670121676818, 27, 49, 61, 74, 88, 101, 115, 125, 158, 160, 202 [best: 1000] 444099618406418, 27, 49, 61, 74, 89, 97, 129, 151, 176, 195, 232 [best: 1000] 444529115136018, 27, 49, 61, 74, 89, 122, 130, 134, 135, 146, 225 [best: 1000] 444958611865618, 27, 49, 61, 74, 90, 105, 135, 140, 194, 207, 226 [best: 1000] 445388108595218, 27, 49, 61, 74, 91, 98, 103, 125, 148, 173, 191 [best: 1000] 445817605324818, 27, 49, 61, 74, 92, 96, 119, 122, 152, 204, 237 [best: 1000] 446247102054418, 27, 49, 61, 74, 92, 113, 122, 125, 151, 171, 219 [best: 1000] 446676598784018, 27, 49, 61, 74, 93, 98, 110, 140, 155, 164, 178 [best: 1000] 447106095513618, 27, 49, 61, 74, 93, 107, 144, 152, 195, 199, 249 [best: 1000] 447535592243218, 27, 49, 61, 74, 93, 121, 129, 156, 162, 216, 233 [best: 1000] 447965088972818, 27, 49, 61, 74, 94, 111, 129, 134, 155, 201, 235 [best: 1000] 448394585702418, 27, 49, 61, 74, 95, 110, 136, 154, 176, 185, 203 [best: 1000] 448824082432018, 27, 49, 61, 74, 96, 105, 121, 141, 172, 181, 188 [best: 1000] 449253579161618, 27, 49, 61, 74, 96, 121, 143, 156, 167, 223, 233 [best: 1000] 449683075891218, 27, 49, 61, 74, 98, 106, 111, 115, 135, 181, 202 [best: 1000] 450112572620818, 27, 49, 61, 74, 99, 114, 144, 162, 193, 217, 248, 258 [best: 1000] 450542069350418, 27, 49, 61, 74, 100, 122, 132, 160, 188, 210, 240 [best: 1000] 450971566080018, 27, 49, 61, 74, 102, 107, 111, 121, 123, 133, 135 [best: 1000] 451401062809618, 27, 49, 61, 74, 103, 118, 140, 145, 168, 201, 238 [best: 1000] 451830559539218, 27, 49, 61, 75, 76, 83, 87, 107, 115, 125, 126 [best: 1000] 452260056268818, 27, 49, 61, 75, 76, 103, 118, 124, 151, 189, 196 [best: 1000] 452689552998418, 27, 49, 61, 75, 77, 83, 140, 149, 155, 156, 253 [best: 1000] 453119049728018, 27, 49, 61, 75, 77, 94, 132, 159, 169, 179, 220 [best: 1000] 453548546457618, 27, 49, 61, 75, 77, 112, 124, 142, 146, 163, 236 [best: 1000] 453978043187218, 27, 49, 61, 75, 78, 89, 105, 114, 135, 153, 197 [best: 1000] 454407539916818, 27, 49, 61, 75, 79, 80, 84, 111, 135, 143, 213 [best: 1000] 454837036646418, 27, 49, 61, 75, 79, 97, 124, 138, 143, 158, 187 [best: 1000] 455266533376018, 27, 49, 61, 75, 80, 88, 102, 112, 124, 138, 254 [best: 1000] 455696030105618, 27, 49, 61, 75, 80, 105, 126, 130, 145, 162, 215 [best: 1000] 456125526835218, 27, 49, 61, 75, 81, 88, 108, 127, 155, 164, 174 [best: 1000] 456555023564818, 27, 49, 61, 75, 81, 105, 125, 134, 160, 169, 170 [best: 1000] 456984520294418, 27, 49, 61, 75, 82, 91, 92, 103, 131, 175, 224 [best: 1000] 457414017024018, 27, 49, 61, 75, 83, 87, 91, 100, 123, 125, 147 [best: 1000] 457843513753618, 27, 49, 61, 75, 83, 106, 130, 135, 148, 151, 189 [best: 1000] 458273010483218, 27, 49, 61, 75, 84, 98, 132, 137, 141, 205, 225 [best: 1000] 458702507212818, 27, 49, 61, 75, 86, 97, 98, 116, 123, 159, 163 [best: 1000] 459132003942418, 27, 49, 61, 75, 87, 107, 109, 116, 147, 159, 225 [best: 1000] 459561500672018, 27, 49, 61, 75, 88, 102, 124, 131, 199, 221, 248 [best: 1000] 459990997401618, 27, 49, 61, 75, 89, 107, 117, 159, 185, 190, 196 [best: 1000] 460420494131218, 27, 49, 61, 75, 90, 103, 128, 156, 176, 203, 233 [best: 1000] 460849990860818, 27, 49, 61, 75, 91, 101, 107, 122, 159, 164, 204 [best: 1000] 461279487590418, 27, 49, 61, 75, 92, 104, 110, 117, 140, 215, 263 [best: 1000] 461708984320018, 27, 49, 61, 75, 94, 96, 124, 167, 194, 200, 212, 253 [best: 1000] 462138481049618, 27, 49, 61, 75, 94, 113, 128, 150, 178, 200, 203 [best: 1000] 462567977779218, 27, 49, 61, 76, 77, 78, 138, 155, 189, 227, 234 [best: 1000] 462997474508818, 27, 49, 61, 76, 77, 83, 116, 151, 181, 193, 219 [best: 1000] 463426971238418, 27, 49, 61, 76, 77, 90, 103, 127, 160, 227, 231 [best: 1000] 463856467968018, 27, 49, 61, 76, 77, 99, 116, 122, 125, 130, 157 [best: 1000] 464285964697618, 27, 49, 61, 76, 77, 113, 114, 137, 146, 154, 215 [best: 1000] 464715461427218, 27, 49, 61, 76, 78, 84, 101, 151, 165, 175, 224 [best: 1000] 465144958156818, 27, 49, 61, 76, 78, 95, 133, 146, 152, 169, 224 [best: 1000] 465574454886418, 27, 49, 61, 76, 79, 81, 110, 135, 163, 180, 200 [best: 1000] 466003951616018, 27, 49, 61, 76, 79, 90, 104, 130, 189, 216, 222 [best: 1000] 466433448345618, 27, 49, 61, 76, 79, 103, 137, 142, 149, 184, 258 [best: 1000] 466862945075218, 27, 49, 61, 76, 80, 85, 90, 110, 121, 186, 231 [best: 1000] 467292441804818, 27, 49, 61, 76, 80, 92, 110, 128, 134, 214, 244 [best: 1000] 467721938534418, 27, 49, 61, 76, 80, 107, 116, 141, 161, 197, 231 [best: 1000] 468151435264018, 27, 49, 61, 76, 81, 84, 99, 137, 144, 151, 205 [best: 1000] 468580931993618, 27, 49, 61, 76, 81, 91, 106, 109, 128, 173, 190 [best: 1000] 469010428723218, 27, 49, 61, 76, 81, 105, 116, 125, 133, 177, 232 [best: 1000] 469439925452818, 27, 49, 61, 76, 82, 85, 91, 120, 162, 165, 174 [best: 1000] 469869422182418, 27, 49, 61, 76, 82, 98, 103, 108, 109, 140 [best: 1000] 470298918912018, 27, 49, 61, 76, 83, 87, 98, 101, 120, 134, 194 [best: 1000] 470728415641618, 27, 49, 61, 76, 83, 102, 125, 150, 164, 189, 220 [best: 1000] 471157912371218, 27, 49, 61, 76, 84, 90, 114, 129, 159, 184, 226 [best: 1000] 471587409100818, 27, 49, 61, 76, 84, 108, 144, 155, 167, 191 [best: 1000] 472016905830418, 27, 49, 61, 76, 85, 96, 102, 130, 147, 199, 212 [best: 1000] 472446402560018, 27, 49, 61, 76, 85, 121, 138, 142, 148, 187, 209 [best: 1000] 472875899289618, 27, 49, 61, 76, 86, 99, 102, 126, 143, 148, 217, 280 [best: 1000] 473305396019218, 27, 49, 61, 76, 87, 88, 101, 112, 117, 122, 184 [best: 1000] 473734892748818, 27, 49, 61, 76, 87, 103, 136, 167, 179, 181, 222 [best: 1000] 474164389478418, 27, 49, 61, 76, 88, 94, 123, 160, 207, 213, 224 [best: 1000] 474593886208018, 27, 49, 61, 76, 89, 95, 123, 131, 154, 164, 172 [best: 1000] 475023382937618, 27, 49, 61, 76, 90, 92, 103, 151, 178, 236, 280 [best: 1000] 475452879667218, 27, 49, 61, 76, 90, 102, 110, 139, 159, 168, 246 [best: 1000] 475882376396818, 27, 49, 61, 76, 90, 116, 120, 121, 179, 183, 190 [best: 1000] 476311873126418, 27, 49, 61, 76, 92, 94, 109, 157, 184, 229, 232 [best: 1000] 476741369856018, 27, 49, 61, 76, 92, 116, 140, 170, 182, 206, 257 [best: 1000] 477170866585618, 27, 49, 61, 76, 94, 95, 105, 108, 186, 187, 201 [best: 1000] 477600363315218, 27, 49, 61, 76, 94, 118, 134, 138, 152, 207, 209 [best: 1000] 478029860044818, 27, 49, 61, 76, 96, 99, 108, 151, 155, 167, 206 [best: 1000] 478459356774418, 27, 49, 61, 77, 78, 81, 100, 125, 158, 218, 233 [best: 1000] 478888853504018, 27, 49, 61, 77, 78, 86, 149, 168, 183, 217, 224 [best: 1000] 479318350233618, 27, 49, 61, 77, 78, 93, 101, 142, 169, 208, 249 [best: 1000] 479747846963218, 27, 49, 61, 77, 78, 99, 121, 149, 183, 192 [best: 1000] 480177343692818, 27, 49, 61, 77, 78, 107, 148, 151, 152, 201, 227 [best: 1000] 480606840422418, 27, 49, 61, 77, 79, 80, 111, 116, 145, 206, 221 [best: 1000] 481036337152018, 27, 49, 61, 77, 79, 86, 103, 154, 193, 244, 264 [best: 1000] 481465833881618, 27, 49, 61, 77, 79, 94, 108, 130, 133, 213, 258 [best: 1000] 481895330611218, 27, 49, 61, 77, 79, 103, 107, 130, 133, 179, 241 [best: 1000] 482324827340818, 27, 49, 61, 77, 79, 119, 135, 169, 177, 206, 222 [best: 1000] 482754324070418, 27, 49, 61, 77, 80, 84, 107, 111, 142, 206, 244 [best: 1000] 483183820800018, 27, 49, 61, 77, 80, 88, 125, 141, 157, 184, 192 [best: 1000] 483613317529618, 27, 49, 61, 77, 80, 93, 115, 167, 180, 219, 224 [best: 1000] 484042814259218, 27, 49, 61, 77, 80, 97, 109, 114, 156, 184, 235 [best: 1000] 484472310988818, 27, 49, 61, 77, 80, 103, 133, 153, 159, 234, 260, 311 [best: 1000] 484901807718418, 27, 49, 61, 77, 80, 114, 160, 177, 182, 226, 248 [best: 1000] 485331304448018, 27, 49, 61, 77, 80, 132, 147, 150, 220, 250, 289 [best: 1000] 485760801177618, 27, 49, 61, 77, 81, 85, 136, 144, 188, 191, 213 [best: 1000] 486190297907218, 27, 49, 61, 77, 81, 90, 119, 128, 192, 195, 199 [best: 1000] 486619794636818, 27, 49, 61, 77, 81, 94, 116, 118, 133, 182, 193 [best: 1000] 487049291366418, 27, 49, 61, 77, 81, 99, 105, 130, 170, 220, 241 [best: 1000] 487478788096018, 27, 49, 61, 77, 81, 105, 107, 145, 201, 228, 261 [best: 1000] 487908284825618, 27, 49, 61, 77, 81, 117, 138, 143, 177, 204, 219 [best: 1000] 488337781555218, 27, 49, 61, 77, 82, 83, 113, 114, 115, 166, 195 [best: 1000] 488767278284818, 27, 49, 61, 77, 82, 89, 120, 128, 135, 136, 215 [best: 1000] 489196775014418, 27, 49, 61, 77, 82, 95, 101, 128, 141, 235, 256 [best: 1000] 489626271744018, 27, 49, 61, 77, 82, 102, 138, 161, 162, 168, 172 [best: 1000] 490055768473618, 27, 49, 61, 77, 82, 117, 138, 152, 158, 186, 188 [best: 1000] 490485265203218, 27, 49, 61, 77, 83, 87, 101, 172, 174, 192, 210 [best: 1000] 490914761932818, 27, 49, 61, 77, 83, 93, 107, 145, 163, 241, 265 [best: 1000] 491344258662418, 27, 49, 61, 77, 83, 99, 117, 169, 177, 228, 232 [best: 1000] 491773755392018, 27, 49, 61, 77, 83, 108, 120, 125, 190, 215, 228 [best: 1000] 492203252121618, 27, 49, 61, 77, 84, 86, 95, 117, 137, 173, 195 [best: 1000] 492632748851218, 27, 49, 61, 77, 84, 94, 99, 136, 160, 165, 229 [best: 1000] 493062245580818, 27, 49, 61, 77, 84, 102, 109, 119, 177, 219, 228 [best: 1000] 493491742310418, 27, 49, 61, 77, 84, 118, 122, 141, 147, 158, 172 [best: 1000] 493921239040018, 27, 49, 61, 77, 85, 92, 99, 129, 191, 205, 265 [best: 1000] 494350735769618, 27, 49, 61, 77, 85, 98, 103, 106, 121, 129, 231 [best: 1000] 494780232499218, 27, 49, 61, 77, 85, 106, 121, 135, 165, 183, 210 [best: 1000] 495209729228818, 27, 49, 61, 77, 85, 126, 140, 162, 206, 216, 231 [best: 1000] 495639225958418, 27, 49, 61, 77, 86, 94, 101, 165, 179, 252, 266 [best: 1000] 496068722688018, 27, 49, 61, 77, 86, 103, 117, 134, 143, 145, 255 [best: 1000] 496498219417618, 27, 49, 61, 77, 86, 122, 123, 141, 188, 201, 266 [best: 1000] 496927716147218, 27, 49, 61, 77, 87, 95, 107, 152, 170, 202, 245 [best: 1000] 497357212876818, 27, 49, 61, 77, 87, 105, 109, 158, 194, 216, 218 [best: 1000] 497786709606418, 27, 49, 61, 77, 88, 89, 97, 113, 117, 222, 259 [best: 1000] 498216206336018, 27, 49, 61, 77, 88, 95, 107, 146, 174, 207, 232 [best: 1000] 498645703065618, 27, 49, 61, 77, 88, 103, 117, 147, 155, 208, 243 [best: 1000] 499075199795218, 27, 49, 61, 77, 88, 117, 146, 156, 169, 192 [best: 1000] 499504696524818, 27, 49, 61, 77, 89, 94, 100, 114, 154, 170, 220 [best: 1000] 499934193254418, 27, 49, 61, 77, 89, 107, 119, 135, 156, 173, 183 [best: 1000] 500363689984018, 27, 49, 61, 77, 90, 97, 111, 118, 131, 143, 247 [best: 1000] 500793186713618, 27, 49, 61, 77, 91, 92, 104, 114, 120, 131, 246 [best: 1000] 501222683443218, 27, 49, 61, 77, 91, 96, 123, 151, 172, 211, 269 [best: 1000] 501652180172818, 27, 49, 61, 77, 91, 102, 130, 160, 185, 188, 200 [best: 1000] 502081676902418, 27, 49, 61, 77, 91, 110, 123, 140, 148, 172, 204 [best: 1000] 502511173632018, 27, 49, 61, 77, 91, 120, 123, 127, 151, 181, 208 [best: 1000] 502940670361618, 27, 49, 61, 77, 92, 94, 105, 131, 133, 215, 264 [best: 1000] 503370167091218, 27, 49, 61, 77, 92, 101, 106, 135, 165, 193, 226 [best: 1000] 503799663820818, 27, 49, 61, 77, 92, 110, 132, 151, 168, 213, 286 [best: 1000] 504229160550418, 27, 49, 61, 77, 92, 127, 141, 165, 228, 253, 282 [best: 1000] 504658657280018, 27, 49, 61, 77, 93, 101, 105, 113, 133, 182, 268 [best: 1000] 505088154009618, 27, 49, 61, 77, 93, 112, 134, 143, 186, 205, 222 [best: 1000] 505517650739218, 27, 49, 61, 77, 94, 96, 101, 152, 173, 174, 294 [best: 1000] 505947147468818, 27, 49, 61, 77, 94, 100, 128, 157, 186, 264, 286 [best: 1000] 506376644198418, 27, 49, 61, 77, 94, 105, 117, 186, 198, 211, 219 [best: 1000] 506806140928018, 27, 49, 61, 77, 94, 111, 115, 140, 180, 227, 247 [best: 1000] 507235637657618, 27, 49, 61, 77, 94, 118, 119, 155, 158, 188, 259 [best: 1000] 507665134387218, 27, 49, 61, 77, 94, 130, 136, 180, 192, 212, 224 [best: 1000] 508094631116818, 27, 49, 61, 77, 95, 100, 149, 164, 176, 210, 238 [best: 1000] 508524127846418, 27, 49, 61, 77, 95, 108, 113, 133, 181, 211, 225 [best: 1000] 508953624576018, 27, 49, 61, 77, 95, 119, 159, 164, 215, 225, 254 [best: 1000] 509383121305618, 27, 49, 61, 77, 96, 100, 158, 187, 194, 214, 238 [best: 1000] 509812618035218, 27, 49, 61, 77, 96, 106, 136, 164, 174, 213, 262 [best: 1000] 510242114764818, 27, 49, 61, 77, 96, 116, 132, 146, 192, 233, 259 [best: 1000] 510671611494418, 27, 49, 61, 77, 96, 132, 139, 150, 151, 187, 205 [best: 1000] 511101108224018, 27, 49, 61, 77, 97, 105, 108, 134, 137, 152, 240 [best: 1000] 511530604953618, 27, 49, 61, 77, 97, 118, 134, 151, 164, 175, 209 [best: 1000] 511960101683218, 27, 49, 61, 77, 98, 108, 120, 139, 153, 200, 217 [best: 1000] 512389598412818, 27, 49, 61, 77, 99, 105, 122, 125, 170, 204 [best: 1000] 512819095142418, 27, 49, 61, 77, 99, 122, 146, 157, 210, 214, 215 [best: 1000] 513248591872018, 27, 49, 61, 77, 100, 107, 133, 147, 158, 164, 250 [best: 1000] 513678088601618, 27, 49, 61, 77, 100, 128, 129, 166, 182, 240, 247 [best: 1000] 514107585331218, 27, 49, 61, 77, 101, 108, 142, 148, 149, 188, 226 [best: 1000] 514537082060818, 27, 49, 61, 77, 101, 119, 127, 131, 170, 212, 245 [best: 1000] 514966578790418, 27, 49, 61, 77, 102, 103, 123, 133, 142, 194, 254 [best: 1000] 515396075520018, 27, 49, 61, 77, 102, 121, 135, 177, 196, 218, 264 [best: 1000] 515825572249618, 27, 49, 61, 77, 103, 108, 128, 177, 196, 203, 292 [best: 1000] 516255068979218, 27, 49, 61, 77, 103, 114, 131, 144, 177, 195, 276, 308 [best: 1000] 516684565708818, 27, 49, 61, 77, 103, 120, 160, 162, 193, 239, 253, 285 [best: 1000] 517114062438418, 27, 49, 61, 77, 103, 131, 147, 148, 167, 233, 253, 277 [best: 1000] 517543559168018, 27, 49, 61, 77, 104, 112, 118, 143, 181, 208, 242 [best: 1000] 517973055897618, 27, 49, 61, 77, 105, 106, 131, 146, 187, 219, 234 [best: 1000] 518402552627218, 27, 49, 61, 77, 105, 114, 135, 170, 173, 203, 242 [best: 1000] 518832049356818, 27, 49, 61, 77, 105, 131, 145, 156, 185, 207, 219 [best: 1000] 519261546086418, 27, 49, 61, 78, 79, 80, 112, 140, 152, 192, 248 [best: 1000] 519691042816018, 27, 49, 61, 78, 79, 89, 112, 150, 180, 199, 200 [best: 1000] 520120539545618, 27, 49, 61, 78, 79, 104, 119, 125, 128, 179, 214 [best: 1000] 520550036275218, 27, 49, 61, 78, 80, 83, 111, 137, 144, 145, 148 [best: 1000] 520979533004818, 27, 49, 61, 78, 80, 92, 117, 123, 181, 199, 223 [best: 1000] 521409029734418, 27, 49, 61, 78, 80, 107, 121, 137, 178, 188, 214 [best: 1000] 521838526464018, 27, 49, 61, 78, 81, 83, 122, 131, 139, 180, 205 [best: 1000] 522268023193618, 27, 49, 61, 78, 81, 92, 125, 157, 173, 183, 218 [best: 1000] 522697519923218, 27, 49, 61, 78, 81, 107, 116, 159, 207, 217, 219 [best: 1000] 523127016652818, 27, 49, 61, 78, 82, 85, 98, 104, 138, 159, 186 [best: 1000] 523556513382418, 27, 49, 61, 78, 82, 109, 112, 130, 133, 167, 199 [best: 1000] 523986010112018, 27, 49, 61, 78, 83, 95, 106, 139, 158, 162, 208 [best: 1000] 524415506841618, 27, 49, 61, 78, 84, 87, 131, 149, 168, 171, 187 [best: 1000] 524845003571218, 27, 49, 61, 78, 84, 103, 126, 147, 155, 171, 210 [best: 1000] 525274500300818, 27, 49, 61, 78, 85, 90, 110, 146, 159, 175, 211 [best: 1000] 525703997030418, 27, 49, 61, 78, 85, 110, 117, 137, 164, 171, 196 [best: 1000] 526133493760018, 27, 49, 61, 78, 86, 94, 118, 123, 144, 151, 191 [best: 1000] 526562990489618, 27, 49, 61, 78, 86, 117, 126, 144, 150, 156, 242 [best: 1000] 526992487219218, 27, 49, 61, 78, 87, 108, 131, 143, 189, 211, 256 [best: 1000] 527421983948818, 27, 49, 61, 78, 88, 101, 121, 131, 177, 186, 226 [best: 1000] 527851480678418, 27, 49, 61, 78, 89, 93, 113, 115, 160, 243, 263 [best: 1000] 528280977408018, 27, 49, 61, 78, 89, 105, 110, 128, 171, 177, 213 [best: 1000] 528710474137618, 27, 49, 61, 78, 89, 122, 141, 151, 164, 179, 220 [best: 1000] 529139970867218, 27, 49, 61, 78, 91, 94, 95, 116, 126, 146, 236 [best: 1000] 529569467596818, 27, 49, 61, 78, 93, 97, 113, 151, 155, 177, 254 [best: 1000] 529998964326418, 27, 49, 61, 78, 93, 113, 123, 139, 180, 186, 242 [best: 1000] 530428461056018, 27, 49, 61, 78, 94, 100, 124, 127, 163, 180, 209 [best: 1000] 530857957785618, 27, 49, 61, 78, 94, 112, 113, 122, 210, 224, 258 [best: 1000] 531287454515218, 27, 49, 61, 78, 94, 127, 134, 143, 149, 234, 238 [best: 1000] 531716951244818, 27, 49, 61, 78, 97, 99, 103, 113, 179, 182, 249 [best: 1000] 532146447974418, 27, 49, 61, 78, 98, 112, 128, 143, 160, 175, 216 [best: 1000] 532575944704018, 27, 49, 61, 78, 100, 101, 127, 142, 173, 177, 178 [best: 1000] 533005441433618, 27, 49, 61, 78, 101, 109, 112, 135, 183, 252, 272 [best: 1000] 533434938163218, 27, 49, 61, 78, 103, 106, 132, 144, 188, 222, 262 [best: 1000] 533864434892818, 27, 49, 61, 78, 104, 115, 126, 159, 171, 215, 266 [best: 1000] 534293931622418, 27, 49, 61, 79, 80, 87, 94, 100, 117, 168, 197 [best: 1000] 534723428352018, 27, 49, 61, 79, 80, 96, 110, 131, 153, 173, 195 [best: 1000] 535152925081618, 27, 49, 61, 79, 80, 113, 122, 129, 148, 194, 258 [best: 1000] 535582421811218, 27, 49, 61, 79, 81, 85, 108, 129, 182, 183, 202 [best: 1000] 536011918540818, 27, 49, 61, 79, 81, 93, 96, 100, 137, 166, 207 [best: 1000] 536441415270418, 27, 49, 61, 79, 81, 107, 134, 156, 164, 188, 208 [best: 1000] 536870912000018, 27, 49, 61, 79, 82, 85, 88, 169, 172, 192, 230 [best: 1000] 537300408729618, 27, 49, 61, 79, 82, 94, 109, 116, 128, 159, 169 [best: 1000] 537729905459218, 27, 49, 61, 79, 82, 114, 136, 145, 150, 192, 224 [best: 1000] 538159402188818, 27, 49, 61, 79, 83, 91, 105, 131, 205, 208, 224 [best: 1000] 538588898918418, 27, 49, 61, 79, 83, 105, 115, 129, 135, 145, 169 [best: 1000] 539018395648018, 27, 49, 61, 79, 84, 89, 98, 107, 118, 152, 166 [best: 1000] 539447892377618, 27, 49, 61, 79, 84, 102, 122, 157, 193, 219, 245 [best: 1000] 539877389107218, 27, 49, 61, 79, 85, 88, 121, 166, 189, 246, 267, 275 [best: 1000] 540306885836818, 27, 49, 61, 79, 85, 96, 121, 139, 157, 214, 242, 276 [best: 1000] 540736382566418, 27, 49, 61, 79, 85, 108, 113, 185, 198, 204, 210 [best: 1000] 541165879296018, 27, 49, 61, 79, 85, 121, 131, 140, 170, 203, 225, 274 [best: 1000] 541595376025618, 27, 49, 61, 79, 86, 93, 103, 139, 183, 193, 197 [best: 1000] 542024872755218, 27, 49, 61, 79, 86, 107, 122, 131, 191, 224, 266 [best: 1000] 542454369484818, 27, 49, 61, 79, 87, 93, 120, 123, 166, 171, 173 [best: 1000] 542883866214418, 27, 49, 61, 79, 88, 90, 104, 134, 149, 177, 240 [best: 1000] 543313362944018, 27, 49, 61, 79, 88, 99, 115, 120, 146, 160, 184 [best: 1000] 543742859673618, 27, 49, 61, 79, 88, 112, 116, 142, 174, 185, 217 [best: 1000] 544172356403218, 27, 49, 61, 79, 89, 97, 99, 119, 167, 179, 196 [best: 1000] 544601853132818, 27, 49, 61, 79, 90, 97, 106, 109, 153, 159, 191 [best: 1000] 545031349862418, 27, 49, 61, 79, 91, 96, 101, 125, 166, 167, 232 [best: 1000] 545460846592018, 27, 49, 61, 79, 91, 105, 108, 124, 150, 188, 265 [best: 1000] 545890343321618, 27, 49, 61, 79, 91, 115, 131, 141, 168, 199, 256 [best: 1000] 546319840051218, 27, 49, 61, 79, 92, 98, 105, 114, 145, 230, 238 [best: 1000] 546749336780818, 27, 49, 61, 79, 92, 111, 125, 155, 190, 204, 224 [best: 1000] 547178833510418, 27, 49, 61, 79, 93, 108, 123, 131, 145, 147, 241 [best: 1000] 547608330240018, 27, 49, 61, 79, 95, 96, 109, 122, 163, 173, 200 [best: 1000] 548037826969618, 27, 49, 61, 79, 95, 110, 114, 117, 127, 198, 201 [best: 1000] 548467323699218, 27, 49, 61, 79, 96, 100, 108, 139, 180, 194, 254 [best: 1000] 548896820428818, 27, 49, 61, 79, 97, 100, 121, 125, 157, 163, 223 [best: 1000] 549326317158418, 27, 49, 61, 79, 97, 114, 148, 180, 188, 200, 254 [best: 1000] 549755813888018, 27, 49, 61, 79, 98, 109, 120, 125, 188, 191, 212 [best: 1000] 550185310617618, 27, 49, 61, 79, 100, 101, 141, 154, 181, 189, 206 [best: 1000] 550614807347218, 27, 49, 61, 79, 100, 113, 115, 155, 167, 210, 257 [best: 1000] 551044304076818, 27, 49, 61, 79, 101, 107, 109, 117, 189, 217, 222 [best: 1000] 551473800806418, 27, 49, 61, 80, 81, 84, 116, 150, 184, 237, 239 [best: 1000] 551903297536018, 27, 49, 61, 80, 81, 94, 95, 128, 150, 211, 266 [best: 1000] 552332794265618, 27, 49, 61, 80, 81, 104, 124, 142, 176, 220, 264 [best: 1000] 552762290995218, 27, 49, 61, 80, 82, 83, 104, 137, 150, 185, 204 [best: 1000] 553191787724818, 27, 49, 61, 80, 82, 95, 102, 111, 128, 146, 200 [best: 1000] 553621284454418, 27, 49, 61, 80, 82, 114, 121, 133, 141, 233, 234 [best: 1000] 554050781184018, 27, 49, 61, 80, 83, 91, 131, 151, 171, 209, 225 [best: 1000] 554480277913618, 27, 49, 61, 80, 83, 101, 131, 133, 153, 173, 197 [best: 1000] 554909774643218, 27, 49, 61, 80, 84, 87, 95, 102, 129, 192, 216 [best: 1000] 555339271372818, 27, 49, 61, 80, 84, 96, 113, 156, 165, 246, 256 [best: 1000] 555768768102418, 27, 49, 61, 80, 84, 108, 114, 122, 156, 199, 227 [best: 1000] 556198264832018, 27, 49, 61, 80, 85, 92, 101, 162, 177, 222, 261 [best: 1000] 556627761561618, 27, 49, 61, 80, 85, 119, 123, 156, 169, 197, 203 [best: 1000] 557057258291218, 27, 49, 61, 80, 86, 101, 104, 147, 165, 167, 226 [best: 1000] 557486755020818, 27, 49, 61, 80, 87, 93, 108, 136, 170, 213, 260 [best: 1000] 557916251750418, 27, 49, 61, 80, 87, 105, 133, 163, 188, 200, 248 [best: 1000] 558345748480018, 27, 49, 61, 80, 88, 96, 128, 153, 158, 189, 199 [best: 1000] 558775245209618, 27, 49, 61, 80, 89, 94, 104, 105, 141, 155, 199 [best: 1000] 559204741939218, 27, 49, 61, 80, 89, 110, 134, 140, 144, 151, 174 [best: 1000] 559634238668818, 27, 49, 61, 80, 90, 97, 100, 115, 132, 232, 281 [best: 1000] 560063735398418, 27, 49, 61, 80, 90, 118, 126, 155, 184, 217, 237 [best: 1000] 560493232128018, 27, 49, 61, 80, 91, 100, 101, 116, 125, 206, 272 [best: 1000] 560922728857618, 27, 49, 61, 80, 91, 125, 130, 132, 143, 176, 195 [best: 1000] 561352225587218, 27, 49, 61, 80, 92, 101, 116, 164, 173, 187, 206 [best: 1000] 561781722316818, 27, 49, 61, 80, 92, 127, 132, 153, 155, 161, 220 [best: 1000] 562211219046418, 27, 49, 61, 80, 93, 99, 128, 155, 185, 196 [best: 1000] 562640715776018, 27, 49, 61, 80, 93, 110, 144, 152, 186, 187, 207 [best: 1000] 563070212505618, 27, 49, 61, 80, 93, 130, 138, 144, 169, 193, 203 [best: 1000] 563499709235218, 27, 49, 61, 80, 94, 108, 114, 116, 164, 192, 226 [best: 1000] 563929205964818, 27, 49, 61, 80, 95, 101, 120, 127, 173, 215, 265 [best: 1000] 564358702694418, 27, 49, 61, 80, 96, 97, 120, 145, 152, 180, 290 [best: 1000] 564788199424018, 27, 49, 61, 80, 96, 104, 113, 116, 148, 216, 217 [best: 1000] 565217696153618, 27, 49, 61, 80, 96, 114, 126, 143, 156, 190, 200 [best: 1000] 565647192883218, 27, 49, 61, 80, 96, 134, 158, 166, 179, 190, 208 [best: 1000] 566076689612818, 27, 49, 61, 80, 97, 102, 157, 171, 172, 214, 256 [best: 1000] 566506186342418, 27, 49, 61, 80, 97, 110, 124, 140, 146, 223, 276 [best: 1000] 566935683072018, 27, 49, 61, 80, 97, 118, 136, 144, 190, 231 [best: 1000] 567365179801618, 27, 49, 61, 80, 97, 130, 135, 164, 169, 185, 210 [best: 1000] 567794676531218, 27, 49, 61, 80, 98, 108, 118, 162, 164, 186, 241 [best: 1000] 568224173260818, 27, 49, 61, 80, 99, 103, 112, 139, 147, 193, 196 [best: 1000] 568653669990418, 27, 49, 61, 80, 99, 127, 138, 181, 185, 206, 218 [best: 1000] 569083166720018, 27, 49, 61, 80, 100, 116, 141, 165, 209, 256, 266, 282 [best: 1000] 569512663449618, 27, 49, 61, 80, 101, 109, 117, 156, 202, 243, 262 [best: 1000] 569942160179218, 27, 49, 61, 80, 101, 127, 139, 157, 186, 207, 254 [best: 1000] 570371656908818, 27, 49, 61, 80, 102, 126, 142, 146, 168, 177, 209 [best: 1000] 570801153638418, 27, 49, 61, 80, 104, 116, 121, 134, 161, 217, 259 [best: 1000] 571230650368018, 27, 49, 61, 80, 105, 119, 129, 159, 165, 194, 239 [best: 1000] 571660147097618, 27, 49, 61, 80, 106, 122, 127, 130, 186, 222, 241 [best: 1000] 572089643827218, 27, 49, 61, 80, 108, 125, 134, 157, 159, 197, 258 [best: 1000] 572519140556818, 27, 49, 61, 81, 82, 93, 113, 166, 176, 205, 252 [best: 1000] 572948637286418, 27, 49, 61, 81, 82, 105, 107, 108, 127, 154, 212 [best: 1000] 573378134016018, 27, 49, 61, 81, 83, 88, 100, 114, 157, 177, 212 [best: 1000] 573807630745618, 27, 49, 61, 81, 83, 99, 102, 136, 140, 168, 228 [best: 1000] 574237127475218, 27, 49, 61, 81, 84, 86, 91, 94, 113, 169, 194 [best: 1000] 574666624204818, 27, 49, 61, 81, 84, 95, 97, 156, 189, 223, 256 [best: 1000] 575096120934418, 27, 49, 61, 81, 84, 105, 114, 122, 190, 194, 210 [best: 1000] 575525617664018, 27, 49, 61, 81, 85, 90, 95, 106, 123, 177, 239 [best: 1000] 575955114393618, 27, 49, 61, 81, 86, 87, 93, 150, 192, 207, 250 [best: 1000] 576384611123218, 27, 49, 61, 81, 86, 101, 105, 143, 165, 174, 221 [best: 1000] 576814107852818, 27, 49, 61, 81, 87, 93, 100, 109, 128, 164, 224 [best: 1000] 577243604582418, 27, 49, 61, 81, 87, 105, 107, 156, 162, 198, 236 [best: 1000] 577673101312018, 27, 49, 61, 81, 88, 94, 97, 128, 131, 161, 196 [best: 1000] 578102598041618, 27, 49, 61, 81, 89, 91, 105, 107, 145, 146, 224 [best: 1000] 578532094771218, 27, 49, 61, 81, 89, 102, 121, 153, 166, 177, 213 [best: 1000] 578961591500818, 27, 49, 61, 81, 90, 93, 124, 148, 190, 191, 245, 265 [best: 1000] 579391088230418, 27, 49, 61, 81, 90, 107, 114, 137, 146, 185, 202 [best: 1000] 579820584960018, 27, 49, 61, 81, 91, 96, 107, 111, 120, 167, 188 [best: 1000] 580250081689618, 27, 49, 61, 81, 91, 107, 121, 125, 163, 176, 225 [best: 1000] 580679578419218, 27, 49, 61, 81, 92, 94, 108, 133, 136, 179, 220, 245 [best: 1000] 581109075148818, 27, 49, 61, 81, 92, 105, 115, 144, 171, 186, 216, 287 [best: 1000] 581538571878418, 27, 49, 61, 81, 93, 95, 100, 127, 175, 187, 220 [best: 1000] 581968068608018, 27, 49, 61, 81, 93, 100, 139, 167, 173, 223, 283 [best: 1000] 582397565337618, 27, 49, 61, 81, 93, 111, 146, 160, 182, 212, 246, 273 [best: 1000] 582827062067218, 27, 49, 61, 81, 93, 128, 133, 177, 184, 226, 229 [best: 1000] 583256558796818, 27, 49, 61, 81, 94, 102, 120, 130, 131, 170, 185 [best: 1000] 583686055526418, 27, 49, 61, 81, 95, 98, 113, 155, 167, 188, 210 [best: 1000] 584115552256018, 27, 49, 61, 81, 95, 121, 136, 151, 203, 238, 265 [best: 1000] 584545048985618, 27, 49, 61, 81, 96, 102, 110, 128, 148, 215, 225 [best: 1000] 584974545715218, 27, 49, 61, 81, 96, 112, 125, 151, 170, 213, 236 [best: 1000] 585404042444818, 27, 49, 61, 81, 96, 127, 153, 182, 204, 211 [best: 1000] 585833539174418, 27, 49, 61, 81, 97, 101, 121, 133, 158, 179, 195 [best: 1000] 586263035904018, 27, 49, 61, 81, 97, 108, 142, 176, 178, 218, 260 [best: 1000] 586692532633618, 27, 49, 61, 81, 97, 116, 146, 164, 203, 213, 224 [best: 1000] 587122029363218, 27, 49, 61, 81, 97, 125, 133, 150, 175, 232, 245, 276 [best: 1000] 587551526092818, 27, 49, 61, 81, 98, 103, 106, 135, 161, 194, 197 [best: 1000] 587981022822418, 27, 49, 61, 81, 99, 100, 103, 135, 184, 200, 216 [best: 1000] 588410519552018, 27, 49, 61, 81, 99, 119, 121, 146, 177, 219, 221 [best: 1000] 588840016281618, 27, 49, 61, 81, 100, 113, 118, 156, 193, 262, 275 [best: 1000] 589269513011218, 27, 49, 61, 81, 101, 106, 130, 149, 167, 209, 281 [best: 1000] 589699009740818, 27, 49, 61, 81, 101, 120, 148, 153, 194, 211, 231 [best: 1000] 590128506470418, 27, 49, 61, 81, 102, 116, 142, 152, 182, 194, 209 [best: 1000] 590558003200018, 27, 49, 61, 81, 104, 109, 143, 148, 181, 189, 234 [best: 1000] 590987499929618, 27, 49, 61, 81, 105, 116, 133, 161, 188, 199, 244 [best: 1000] 591416996659218, 27, 49, 61, 81, 106, 118, 140, 146, 178, 196, 224 [best: 1000] 591846493388818, 27, 49, 61, 81, 108, 115, 129, 143, 152, 171, 186 [best: 1000] 592275990118418, 27, 49, 61, 82, 83, 97, 111, 131, 151, 160, 228 [best: 1000] 592705486848018, 27, 49, 61, 82, 84, 90, 98, 151, 164, 166, 173 [best: 1000] 593134983577618, 27, 49, 61, 82, 84, 104, 124, 143, 152, 170, 180 [best: 1000] 593564480307218, 27, 49, 61, 82, 85, 105, 113, 119, 144, 178, 187 [best: 1000] 593993977036818, 27, 49, 61, 82, 87, 98, 113, 133, 145, 179, 186 [best: 1000] 594423473766418, 27, 49, 61, 82, 88, 108, 127, 140, 179, 210, 257 [best: 1000] 594852970496018, 27, 49, 61, 82, 89, 102, 108, 113, 120, 206, 243 [best: 1000] 595282467225618, 27, 49, 61, 82, 90, 95, 100, 125, 150, 192, 228 [best: 1000] 595711963955218, 27, 49, 61, 82, 90, 113, 120, 140, 145, 156, 218 [best: 1000] 596141460684818, 27, 49, 61, 82, 91, 102, 116, 125, 146, 148, 155 [best: 1000] 596570957414418, 27, 49, 61, 82, 92, 97, 103, 113, 133, 148, 195 [best: 1000] 597000454144018, 27, 49, 61, 82, 93, 97, 118, 135, 140, 198, 245 [best: 1000] 597429950873618, 27, 49, 61, 82, 93, 116, 117, 123, 170, 212, 237 [best: 1000] 597859447603218, 27, 49, 61, 82, 94, 105, 113, 133, 159, 162, 174 [best: 1000] 598288944332818, 27, 49, 61, 82, 95, 96, 113, 126, 149, 151, 200 [best: 1000] 598718441062418, 27, 49, 61, 82, 95, 106, 117, 162, 163, 194, 242 [best: 1000] 599147937792018, 27, 49, 61, 82, 95, 118, 122, 125, 166, 168, 194 [best: 1000] 599577434521618, 27, 49, 61, 82, 96, 113, 115, 116, 117, 192, 214 [best: 1000] 600006931251218, 27, 49, 61, 82, 97, 113, 127, 140, 171, 227, 283 [best: 1000] 600436427980818, 27, 49, 61, 82, 98, 115, 117, 128, 174, 193, 217 [best: 1000] 600865924710418, 27, 49, 61, 82, 99, 112, 114, 116, 123, 177, 213 [best: 1000] 601295421440018, 27, 49, 61, 82, 100, 111, 121, 139, 156, 193, 254 [best: 1000] 601724918169618, 27, 49, 61, 82, 102, 114, 132, 148, 150, 169, 245 [best: 1000] 602154414899218, 27, 49, 61, 82, 104, 119, 123, 140, 155, 165, 201 [best: 1000] 602583911628818, 27, 49, 61, 83, 84, 97, 105, 110, 127, 163, 249 [best: 1000] 603013408358418, 27, 49, 61, 83, 85, 87, 91, 137, 165, 220, 235 [best: 1000] 603442905088018, 27, 49, 61, 83, 85, 101, 115, 135, 149, 218, 234 [best: 1000] 603872401817618, 27, 49, 61, 83, 86, 88, 115, 129, 150, 153, 198 [best: 1000] 604301898547218, 27, 49, 61, 83, 86, 106, 115, 139, 171, 218, 242 [best: 1000] 604731395276818, 27, 49, 61, 83, 87, 92, 119, 142, 156, 174, 179 [best: 1000] 605160892006418, 27, 49, 61, 83, 87, 112, 133, 141, 198, 228, 270 [best: 1000] 605590388736018, 27, 49, 61, 83, 88, 107, 111, 128, 130, 155, 184 [best: 1000] 606019885465618, 27, 49, 61, 83, 89, 102, 105, 150, 152, 166, 192 [best: 1000] 606449382195218, 27, 49, 61, 83, 90, 96, 108, 137, 182, 191, 225 [best: 1000] 606878878924818, 27, 49, 61, 83, 91, 92, 99, 134, 161, 165, 197 [best: 1000] 607308375654418, 27, 49, 61, 83, 91, 104, 135, 136, 153, 183, 195 [best: 1000] 607737872384018, 27, 49, 61, 83, 91, 118, 147, 159, 185, 213, 262 [best: 1000] 608167369113618, 27, 49, 61, 83, 93, 97, 98, 120, 164, 176, 187 [best: 1000] 608596865843218, 27, 49, 61, 83, 95, 102, 124, 166, 174, 209, 236 [best: 1000] 609026362572818, 27, 49, 61, 83, 96, 97, 145, 165, 186, 196, 258 [best: 1000] 609455859302418, 27, 49, 61, 83, 96, 117, 124, 127, 160, 177, 230 [best: 1000] 609885356032018, 27, 49, 61, 83, 97, 106, 123, 149, 176, 181, 281 [best: 1000] 610314852761618, 27, 49, 61, 83, 97, 118, 123, 134, 149, 157, 163 [best: 1000] 610744349491218, 27, 49, 61, 83, 98, 118, 130, 156, 167, 215, 222 [best: 1000] 611173846220818, 27, 49, 61, 83, 102, 103, 110, 141, 173, 196, 200 [best: 1000] 611603342950418, 27, 49, 61, 83, 103, 116, 140, 142, 165, 170, 190 [best: 1000] 612032839680018, 27, 49, 61, 84, 85, 92, 116, 119, 123, 128, 150 [best: 1000] 612462336409618, 27, 49, 61, 84, 85, 112, 141, 160, 167, 172, 231 [best: 1000] 612891833139218, 27, 49, 61, 84, 86, 107, 118, 166, 184, 209, 267, 296 [best: 1000] 613321329868818, 27, 49, 61, 84, 87, 99, 124, 160, 192, 207, 243 [best: 1000] 613750826598418, 27, 49, 61, 84, 88, 91, 96, 132, 139, 200, 215 [best: 1000] 614180323328018, 27, 49, 61, 84, 88, 100, 139, 176, 196, 208, 224 [best: 1000] 614609820057618, 27, 49, 61, 84, 88, 119, 124, 133, 164, 190, 229 [best: 1000] 615039316787218, 27, 49, 61, 84, 89, 99, 119, 124, 152, 160, 171 [best: 1000] 615468813516818, 27, 49, 61, 84, 90, 92, 94, 104, 163, 204, 216 [best: 1000] 615898310246418, 27, 49, 61, 84, 90, 100, 136, 140, 146, 209, 238 [best: 1000] 616327806976018, 27, 49, 61, 84, 90, 111, 143, 149, 150, 206, 215 [best: 1000] 616757303705618, 27, 49, 61, 84, 91, 101, 104, 109, 131, 171, 229 [best: 1000] 617186800435218, 27, 49, 61, 84, 92, 97, 105, 163, 186, 196, 249 [best: 1000] 617616297164818, 27, 49, 61, 84, 92, 105, 120, 155, 157, 173, 203, 269 [best: 1000] 618045793894418, 27, 49, 61, 84, 92, 120, 125, 131, 135, 142, 233, 304 [best: 1000] 618475290624018, 27, 49, 61, 84, 93, 102, 104, 135, 189, 246, 257 [best: 1000] 618904787353618, 27, 49, 61, 84, 93, 121, 136, 147, 152, 210, 217 [best: 1000] 619334284083218, 27, 49, 61, 84, 95, 100, 108, 153, 155, 175, 200 [best: 1000] 619763780812818, 27, 49, 61, 84, 96, 105, 115, 131, 141, 207, 248 [best: 1000] 620193277542418, 27, 49, 61, 84, 97, 106, 113, 138, 158, 210, 262 [best: 1000] 620622774272018, 27, 49, 61, 84, 98, 99, 128, 153, 155, 220, 228, 286 [best: 1000] 621052271001618, 27, 49, 61, 84, 99, 104, 113, 136, 161, 187, 241, 327 [best: 1000] 621481767731218, 27, 49, 61, 84, 99, 113, 135, 162, 186, 195, 284, 340 [best: 1000] 621911264460818, 27, 49, 61, 84, 100, 110, 111, 119, 133, 213, 215 [best: 1000] 6223407611904total chains: 6225901418446new 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 16 16 16 16 9: 23 430 18 10 2410: 683 13078 19 4 2911: 23471 477315 20 2 3612: 911454 20111234 22 2 4113: 39596487 951016590 24 0 4614: 1909388975 49671960084 26 0 5115: 101403924679 2841281114331 28 0 5616: 3759048327 115596473887 30 0 6117: 11407830 411998205 36 2 6618: 21019 806956 38 10 6219: 6 317 52 51 5520: 0 0 0 0 021: 0 0 0 0 0real 793m32.748suser 777m33.216ssys 1m53.230sEOMstderr end 2025-05-02 00:24:33 (17596): called boinc_finish(0) </stderr_txt> ]]>
