Avaldis 13: "f" left parenthesis, "x" minus 6 , "y" minus 4 , 2 , right parenthesis less than or equal to 1fx−6,y−4,2≤1
13
Avaldis 14: "f" left parenthesis, "x" , "y" minus 6 , 99 , right parenthesis less than or equal to .9fx,y−6,99≤.9
14
Avaldis 15: "f" left parenthesis, "x" minus 2 , "y" minus 6 , 40 , right parenthesis less than or equal to .9fx−2,y−6,40≤.9
15
Avaldis 16: "f" left parenthesis, "x" minus 4 , "y" minus 6 , 20 , right parenthesis less than or equal to .9fx−4,y−6,20≤.9
16
Avaldis 17: "f" left parenthesis, "x" minus 6 , "y" minus 6 , 10 , right parenthesis less than or equal to .9fx−6,y−6,10≤.9
17
Avaldis 18: "f" left parenthesis, "x" plus 4 , "y" minus 8 , 2 , right parenthesis less than or equal to 1fx+4,y−8,2≤1
18
Avaldis 19: "f" left parenthesis, "x" plus 2 , "y" minus 8 , 2 , right parenthesis less than or equal to 1fx+2,y−8,2≤1
19
Avaldis 20: "f" left parenthesis, "x" , "y" minus 8 , 2 , right parenthesis less than or equal to 1fx,y−8,2≤1
20
Avaldis 21: "f" left parenthesis, "x" minus 2 , "y" minus 8 , 2 , right parenthesis less than or equal to 1fx−2,y−8,2≤1
21
Avaldis 22: "f" left parenthesis, "x" minus 4 , "y" minus 8 , 2 , right parenthesis less than or equal to 1fx−4,y−8,2≤1
22
Avaldis 23: "f" left parenthesis, "x" minus 6 , "y" minus 8 , 2 , right parenthesis less than or equal to 1fx−6,y−8,2≤1
23
Avaldis 24: "f" left parenthesis, "x" minus 8 , "y" minus 8 , 2 , right parenthesis less than or equal to 1fx−8,y−8,2≤1
24
Avaldis 25: "f" left parenthesis, "x" minus 10 , "y" minus 8 , 2 , right parenthesis less than or equal to 1fx−10,y−8,2≤1
25
Avaldis 26: "f" left parenthesis, "x" , "y" , "n" , right parenthesis equals left parenthesis, abs left parenthesis, "x" , right parenthesis Superscript, "n" , Baseline plus abs left parenthesis, "y" , right parenthesis Superscript, "n" , Baseline , right parenthesis Superscript, StartFraction, 1 Over "n" , EndFraction , Baselinefx,y,n=absxn+absyn1n