# class of boolean  functions having non-linearity of order 4 equal to 26
# i.e. the maximal non-linearity of order 4
# one can use this data to prove that 26 is the covering radius of RM(4,8) 
# V. Gillot, P. Langevin, February 2023
anf=abcdf+abcef+abdeg+abcdeh+bcefh+adefh+bcdgh+acegh+abfgh
anf=abcef+acdef+abcdg+abdeg+abcfg+acdeh+abcfh+bdefh+bcdgh+abegh+adfgh+cefgh