Expression 19: "S" equals "b" to "b" plus StartFraction, 1 Over "D" , EndFraction , "B" to "B" .join left parenthesis, left parenthesis, "b" , "I" left parenthesis, "D" plus floor left parenthesis, mod left parenthesis, "D" "b" , "D" , right parenthesis , right parenthesis , "b" , right parenthesis , right parenthesis , right parenthesisS=b→b+1D,B→B.joinb,ID+floormodDb,D,b
19
Expression 20: left parenthesis, "O" , "I" left parenthesis, "D" plus floor left parenthesis, mod left parenthesis, "D" "O" , "D" , right parenthesis , right parenthesis , "O" , right parenthesis , right parenthesisO,ID+floormodDO,D,O
20
Expression 21: left parenthesis, "O" , 0 , right parenthesisO,0
21
Expression 22:
22
Expression 23: "F" Subscript, "r" , Baseline left parenthesis, 1 , "o" , "p" , right parenthesis equals "o"Fr1,o,p=o
23
Expression 24: "F" Subscript, "r" , Baseline left parenthesis, "n" , "o" , "p" , right parenthesis equals "I" Subscript, "t" , Baseline left parenthesis, "F" Subscript, "r" , Baseline left parenthesis, "n" minus 1 , "o" , "p" , right parenthesis , "p" , right parenthesisFrn,o,p=ItFrn−1,o,p,p
24
Expression 25: "I" Subscript, "t" , Baseline left parenthesis, "C" , "p" , right parenthesis equals left parenthesis, "C" . "x" squared minus "C" . "y" squared plus "p" . "x" , 2 "C" . "x" "C" . "y" plus "p" . "y" , right parenthesisItC,p=C.x2−C.y2+p.x,2C.xC.y+p.y
25
Expression 26: "J" left parenthesis, "C" , right parenthesis equals StartRoot, "C" . "x" squared plus "C" . "y" squared , EndRootJC=C.x2+C.y2
26
Expression 27: "J" left parenthesis, "F" Subscript, "r" , Baseline left parenthesis, 25 , left parenthesis, 0 , 0 , right parenthesis , left parenthesis, "x" , "y" , right parenthesis , right parenthesis , right parenthesis less than or equal to 2JFr25,0,0,x,y≤2