Reed-Muller code

We provide some programs and data which are helpful in studying whether there are 7-variable Boolean functions with third-order nonlinearity 22. They may be also helpful in studying r-order nonlinearity of n-variable functions.