นิพจน์ 25: "B" Subscript, "n" , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , 10 , right parenthesis less than or equal to 10Bnx,y,10≤10
25
นิพจน์ 26: "B" Subscript, 2 , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , right parenthesis less than or equal to 10 to the 100th powerB2x,y≤10100
26
นิพจน์ 27: "B" Subscript, 2 , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , right parenthesis less than or equal to 10 to the 15th powerB2x,y≤1015
27
นิพจน์ 28: "B" Subscript, 2 , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , right parenthesis less than or equal to 1000B2x,y≤1000
28
นิพจน์ 29: "B" Subscript, 1 , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , right parenthesis less than or equal to 10 to the 100th powerB1x,y≤10100
29
นิพจน์ 30: "B" Subscript, 1 , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , right parenthesis less than or equal to 10 to the 50th powerB1x,y≤1050
30
นิพจน์ 31: "B" Subscript, 1 , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , right parenthesis less than or equal to 10 to the 30th powerB1x,y≤1030
31
นิพจน์ 32: "B" Subscript, 1 , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , right parenthesis less than or equal to 10 to the 15th powerB1x,y≤1015
32
นิพจน์ 33: "B" Subscript, 1 , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , right parenthesis less than or equal to 10 to the 12th powerB1x,y≤1012
33
นิพจน์ 34: "B" Subscript, "n" , Baseline left parenthesis, left parenthesis, "x" , "y" , right parenthesis , 1000 , right parenthesis less than or equal to 15Bnx,y,1000≤15
34
นิพจน์ 35: "p" , "a" Subscript, 1 , Baseline , "a" Subscript, 2 , Baseline , "a" Subscript, 3 , Baseline , "a" Subscript, 4 , Baselinep,a1,a2,a3,a4
35
นิพจน์ 36: "a" Subscript, 1 , Baseline equals "m" left parenthesis, "c" , left parenthesis, 0 , 0 , right parenthesis , right parenthesisa1=mc,0,0
36
นิพจน์ 37: "a" Subscript, 2 , Baseline equals "m" left parenthesis, "c" , "m" left parenthesis, "c" , left parenthesis, 0 , 0 , right parenthesis , right parenthesis , right parenthesisa2=mc,mc,0,0
37
นิพจน์ 38: "a" Subscript, 3 , Baseline equals "m" left parenthesis, "c" , "m" left parenthesis, "c" , "m" left parenthesis, "c" , left parenthesis, 0 , 0 , right parenthesis , right parenthesis , right parenthesis , right parenthesisa3=mc,mc,mc,0,0
38
นิพจน์ 39: "a" Subscript, 4 , Baseline equals "m" left parenthesis, "c" , "m" left parenthesis, "c" , "m" left parenthesis, "c" , "m" left parenthesis, "c" , left parenthesis, 0 , 0 , right parenthesis , right parenthesis , right parenthesis , right parenthesis , right parenthesisa4=mc,mc,mc,mc,0,0
39
นิพจน์ 40: "a" Subscript, 99 , Baseline equals "M" Subscript, 1 , Baseline left parenthesis, "c" , "p" , 20 , right parenthesisa99=M1c,p,20
40
นิพจน์ 41: "M" Subscript, 1 , Baseline left parenthesis, "c" , "p" , left bracket, 1 , 1 plus "O" ...5 0 "O" , right bracket , right parenthesisM1c,p,1,1+O...50O
41
นิพจน์ 42: "p" equals left parenthesis, 0 , 0 , right parenthesisp=0,0
42
นิพจน์ 43: "M" left parenthesis, "x" , "y" , right parenthesis equals "m" left parenthesis, left parenthesis, "x" , "y" , right parenthesis , "m" left parenthesis, left parenthesis, "x" , "y" , right parenthesis , "m" left parenthesis, left parenthesis, "x" , "y" , right parenthesis , "m" left parenthesis, left parenthesis, "x" , "y" , right parenthesis , left parenthesis, 0 , 0 , right parenthesis , right parenthesis , right parenthesis , right parenthesis , right parenthesisMx,y=mx,y,mx,y,mx,y,mx,y,0,0
43
นิพจน์ 44: "M" Subscript, 1 , Baseline left parenthesis, "c" Subscript, 2 , Baseline , "z" Subscript, 1 , Baseline , "r" , right parenthesis equals left brace, "r" equals 0 : "m" left parenthesis, "c" Subscript, 2 , Baseline , "z" Subscript, 1 , Baseline , right parenthesis , "M" Subscript, 1 , Baseline left parenthesis, "c" Subscript, 2 , Baseline , "m" left parenthesis, "c" Subscript, 2 , Baseline , "z" Subscript, 1 , Baseline , right parenthesis , "r" minus 1 , right parenthesis , right braceM1c2,z1,r=r=0:mc2,z1,M1c2,mc2,z1,r−1
44
นิพจน์ 45: "D" Subscript, 1 , Baseline left parenthesis, "c" Subscript, 1 , Baseline , "n" Subscript, 1 , Baseline , right parenthesis equals left brace, distance left parenthesis, left parenthesis, 0 , 0 , right parenthesis , "M" Subscript, 1 , Baseline left parenthesis, "c" Subscript, 1 , Baseline , "p" , "n" Subscript, 1 , Baseline , right parenthesis , right parenthesis less than or equal to 15 : 1 , 0 , right braceD1c1,n1=distance0,0,M1c1,p,n1≤15:1,0
45
นิพจน์ 46: "D" left parenthesis, "c" Subscript, 1 , Baseline , right parenthesis equals left brace, "D" Subscript, 1 , Baseline left parenthesis, "c" Subscript, 1 , Baseline , 5 , right parenthesis equals 1 : 5 , 0 , right braceDc1=D1c1,5=1:5,0
46
นิพจน์ 47: "D" left parenthesis, "c" , right parenthesisDc
47
นิพจน์ 48: distance left parenthesis, left parenthesis, 0 , 0 , right parenthesis , "M" Subscript, 1 , Baseline left parenthesis, "c" , "p" , 23 , right parenthesis , right parenthesis plus .distance0,0,M1c,p,23+.
48
นิพจน์ 49: "D" left parenthesis, left parenthesis, "x" , "y" , right parenthesis , right parenthesis equals 5 plus .Dx,y=5+.