Avaldis 8: left parenthesis, "x" minus 1.3 5 , right parenthesis squared plus left parenthesis, "y" minus 1.6 5 , right parenthesis squared less than or equal to 0.0 4 squaredx−1.352+y−1.652≤0.042
8
Avaldis 9: left parenthesis, "x" minus 1.3 5 6 , right parenthesis squared plus left parenthesis, "y" minus 1.6 5 6 , right parenthesis squared less than or equal to 0.0 4 squaredx−1.3562+y−1.6562≤0.042
9
Avaldis 10: left parenthesis, "x" minus 1.3 8 , right parenthesis squared plus left parenthesis, "y" minus 1.6 7 6 , right parenthesis squared less than or equal to 0.0 4 squaredx−1.382+y−1.6762≤0.042
10
Avaldis 11: left parenthesis, "x" minus 1.3 9 4 , right parenthesis squared plus left parenthesis, "y" minus 1.6 9 , right parenthesis squared less than or equal to 0.0 4 squaredx−1.3942+y−1.692≤0.042
11
Avaldis 12: left parenthesis, "x" minus 1.4 2 , right parenthesis squared plus left parenthesis, "y" minus 1.7 1 , right parenthesis squared less than or equal to 0.0 4 squaredx−1.422+y−1.712≤0.042
12
Avaldis 13: left parenthesis, "x" minus 1.4 5 , right parenthesis squared plus left parenthesis, "y" minus 1.7 3 , right parenthesis squared less than or equal to 0.0 4 squaredx−1.452+y−1.732≤0.042
13
Avaldis 14: "y" equals 0.1 "x" squared minus 0.2 "x" plus 0.9 8 left brace, 0 less than "x" less than 2 , right bracey=0.1x2−0.2x+0.980<x<2
14
Avaldis 15: "y" equals 0.1 "x" squared minus 0.2 "x" plus 1.0 2 left brace, 0 less than "x" less than 2 , right bracey=0.1x2−0.2x+1.020<x<2