Dictionary that contains inequalities for large sboxes
Generate inequalities for wordwise truncated mds matrices