Dictionary that contains inequalities for small sboxes
Generate inequalities for wordwise truncated xor with n input bits