Implementation of the binary attack formula for 1 variant and beginning of the implementation of the binary attack formula for K variants