Exhaustive search for low-autocorrelation binary sequences