Expressão 59: "r" Subscript, "e" "s" "t" "c" "o" "v" , Baseline equals "r" Subscript, "c" "o" "v" , Baseline times StartFraction, 1 plus StartNestedFraction, "D" NestedOver "A" Subscript, 0 , Baseline , EndNestedFraction Over 1 minus StartNestedFraction, "D" Subscript, "e" "s" "t" "o" "u" "t" 2 , Baseline NestedOver "A" Subscript, 1 , Baseline , EndNestedFraction , EndFractionrestcov=rcov·1+DA01−Destout2A1
59
Extra punishment.
60
Expressão 61: "p" Subscript, "e" "x" "t" "r" "a" "p" "u" "n" "i" "s" "h" , Baseline equals max left parenthesis, 0 , "D" Subscript, "e" "s" "t" "o" "u" "t" 2 , Baseline times left parenthesis, 1 minus StartFraction, 1 Over 1 plus StartNestedFraction, "r" Subscript, "e" "s" "t" "c" "o" "v" , Baseline NestedOver 1 plus "p" , EndNestedFraction minus StartNestedFraction, 1 plus "p" NestedOver "r" Subscript, "e" "s" "t" "c" "o" "v" , Baseline , EndNestedFraction , EndFraction , right parenthesis , right parenthesispextrapunish=max0,Destout2·1−11+restcov1+p−1+prestcov
61
Extra rewards.
62
Expressão 63: "p" Subscript, "e" "x" "t" "r" "a" "i" "n" "c" "e" "n" "t" "i" "v" "e" , Baseline equals max left parenthesis, 0 , "D" Subscript, "e" "s" "t" "o" "u" "t" 2 , Baseline times left parenthesis, 1 minus StartFraction, 1 Over 1 plus StartNestedFraction, 1 NestedOver left parenthesis, 1 plus "p" , right parenthesis times "r" Subscript, "e" "s" "t" "c" "o" "v" , Baseline , EndNestedFraction minus left parenthesis, 1 plus "p" , right parenthesis times "r" Subscript, "e" "s" "t" "c" "o" "v" , Baseline , EndFraction , right parenthesis , right parenthesispextraincentive=max0,Destout2·1−11+11+p·restcov−1+p·restcov
63
RealOut
64
Expressão 65: "D" Subscript, "e" "s" "t" "o" "u" "t" 3 , Baseline equals left brace, "r" Subscript, "e" "s" "t" "c" "o" "v" , Baseline greater than 1 plus "p" : "D" Subscript, "e" "s" "t" "o" "u" "t" 2 , Baseline minus "p" Subscript, "e" "x" "t" "r" "a" "p" "u" "n" "i" "s" "h" , Baseline , "r" Subscript, "e" "s" "t" "c" "o" "v" , Baseline less than StartFraction, 1 Over 1 plus "p" , EndFraction : "D" Subscript, "e" "s" "t" "o" "u" "t" 2 , Baseline plus "p" Subscript, "e" "x" "t" "r" "a" "i" "n" "c" "e" "n" "t" "i" "v" "e" , Baseline , StartFraction, 1 Over 1 plus "p" , EndFraction less than or equal to "r" Subscript, "e" "s" "t" "c" "o" "v" , Baseline less than or equal to 1 plus "p" : "D" Subscript, "e" "s" "t" "o" "u" "t" 2 , Baseline , right braceDestout3=restcov>1+p:Destout2−pextrapunish,restcov<11+p:Destout2+pextraincentive,11+p≤restcov≤1+p:Destout2
65
The following are the calculations of not considering tokenIn punishment.
66
Expressão 67: "a" Subscript, 0 , Baseline equals StartFraction, 2 "n" plus StartNestedFraction, StartNestedFraction, "D" Subscript, "i" "n" , Baseline times "r" Subscript, "p" "p" , Baseline NestedOver "A" Subscript, 0 , Baseline , EndNestedFraction NestedOver 1 plus StartNestedFraction, "D" Subscript, "i" "n" , Baseline NestedOver "A" Subscript, 0 , Baseline , EndNestedFraction , EndNestedFraction Over "n" left parenthesis, 2 "n" minus 1 , right parenthesis , EndFractiona0=2n+Din·rppA01+DinA0n2n−1
67
Expressão 68: "b" Subscript, 0 , Baseline equals StartFraction, StartNestedFraction, StartNestedFraction, "D" Subscript, "i" "n" , Baseline NestedOver "A" Subscript, 0 , Baseline , EndNestedFraction plus StartNestedFraction, "D" Subscript, "i" "n" , Baseline times "r" Subscript, "p" "p" , Baseline NestedOver "A" Subscript, 1 , Baseline , EndNestedFraction NestedOver 1 plus StartNestedFraction, "D" Subscript, "i" "n" , Baseline NestedOver "A" Subscript, 0 , Baseline , EndNestedFraction , EndNestedFraction Over "n" left parenthesis, 2 "n" minus 1 , right parenthesis , EndFractionb0=DinA0+Din·rppA11+DinA0n2n−1
68
Expressão 69: "t" Subscript, 0 , Baseline equals StartFraction, "a" Subscript, 0 , Baseline minus StartRoot, "a" squared minus 4 "b" Subscript, 0 , Baseline , EndRoot Over 2 , EndFractiont0=a0−a20−4b02
69
Expressão 70: "r" Subscript, "p" "p" 00 , Baseline equals left parenthesis, 1 minus "t" Subscript, 0 , Baseline , right parenthesis squared times "r" Subscript, "p" "p" , Baselinerpp00=1−t02·rpp