Expression 25: "C" Subscript, "o" "n" "s" "t" "r" "S" "o" "l" "v" "e" , Baseline left parenthesis, "p" , "n" , right parenthesis equals left brace, "n" equals 1 : "p" , left brace, "N" equals 1 : "C" Subscript, 1 , Baseline left parenthesis, "P" , "E" .count plus 1 , right parenthesis left bracket, 1... "P" . , right bracket , "N" equals 2 : "C" Subscript, 2 , Baseline left parenthesis, "P" , right parenthesis , right brace with "N" equals mod left parenthesis, "n" , 2 , right parenthesis plus 1 , "P" equals "C" Subscript, "o" "n" "s" "t" "r" "S" "o" "l" "v" "e" , Baseline left parenthesis, "p" , "n" minus 1 , right parenthesis , right braceConstrSolvep,n=n=1:p,N=1:C1P,E.count+11...P.count,N=2:C2PwithN=modn,2+1,P=ConstrSolvep,n−1
25
Expression 26: "T" Subscript, "i" "c" "k" , Baseline left parenthesis, "d" Subscript, "t" , Baseline , right parenthesis equals "P" to "C" Subscript, "o" "n" "s" "t" "r" "S" "o" "l" "v" "e" , Baseline left parenthesis, 2 "P" minus "l" Subscript, "P" , Baseline plus "a" "d" squared , 27 , right parenthesis , "l" Subscript, "P" , Baseline to "P"Tickdt=P→ConstrSolve2P−lP+ad2t,27,lP→P
26
Expression 27: "R" Subscript, 1 , BaselineR1
27
Expression 28: left parenthesis, "P" to "p" , "l" Subscript, "P" , Baseline to "p" , right parenthesis with "p" equals "P" plus left parenthesis, 0 , 5 , right parenthesisP→p,lP→pwithp=P+0,5