Maximum Length Sequences Formulas