Avaldis 23: "t" left parenthesis, "n" Subscript, "s" , Baseline , "x" , right parenthesis greater than or equal to "e" Subscript, "h" , Baselinetns,x≥eh
23
Avaldis 24: "x" plus left parenthesis, "n" Subscript, "s" , Baseline minus 1 , right parenthesis "s" less than or equal to 17x+ns−1s≤17
24
Avaldis 25: "n" Subscript, "s" , Baseline "x" minus left parenthesis, "n" Subscript, "s" , Baseline minus 1 , right parenthesis "o" greater than or equal to 38.5nsx−ns−1o≥38.5
25
maximum height to be short enough when extended
26
Avaldis 27: negative left parenthesis, "n" Subscript, "s" , Baseline minus 1 , right parenthesis "s" minus "b" minus "p" plus "r" Subscript, "h" , Baseline−ns−1s−b−p+rh
equals=
10.510.5
27
minimum length to be tall enough when extended
28
Avaldis 29: StartFraction, left parenthesis, left parenthesis, "n" Subscript, "s" , Baseline minus 1 , right parenthesis "o" minus "b" minus "p" plus "e" Subscript, "h" , Baseline , right parenthesis Over "n" Subscript, "s" , Baseline , EndFractionns−1o−b−p+ehns
