Avaldis 48: "x" less than or equal to left parenthesis, "c" left parenthesis, 1 minus "s" , right parenthesis plus "s" , right parenthesis left brace, negative "s" less than "y" less than "s" , right brace left brace, "x" greater than 0 , right bracex≤c1−s+s−s<y<sx>0
48
Avaldis 49: "x" greater than or equal to negative left parenthesis, "c" left parenthesis, 1 minus "s" , right parenthesis plus "s" , right parenthesis left brace, negative "s" less than "y" less than "s" , right brace left brace, "x" less than 0 , right bracex≥−c1−s+s−s<y<sx<0
49
Avaldis 50: "y" less than or equal to left parenthesis, "c" left parenthesis, 1 minus "s" , right parenthesis plus "s" , right parenthesis left brace, negative "s" less than "x" less than "s" , right brace left brace, "y" greater than "s" , right bracey≤c1−s+s−s<x<sy>s
50
Avaldis 51: "y" greater than or equal to negative left parenthesis, "c" left parenthesis, 1 minus "s" , right parenthesis plus "s" , right parenthesis left brace, negative "s" less than "x" less than "s" , right brace left brace, "y" less than negative "s" , right bracey≥−c1−s+s−s<x<sy<−s
51
Avaldis 52:
52
Avaldis 53: left parenthesis, "x" plus "s" , right parenthesis squared plus left parenthesis, "y" minus "s" , right parenthesis squared less than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, "x" less than negative "s" , right brace left brace, "y" greater than "s" , right bracex+s2+y−s2≤o−s2x<−sy>s
53
Avaldis 54: left parenthesis, "x" minus "s" , right parenthesis squared plus left parenthesis, "y" minus "s" , right parenthesis squared less than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, "x" greater than "s" , right brace left brace, "y" greater than "s" , right bracex−s2+y−s2≤o−s2x>sy>s
54
Avaldis 55: left parenthesis, "x" plus "s" , right parenthesis squared plus left parenthesis, "y" plus "s" , right parenthesis squared less than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, "x" less than negative "s" , right brace left brace, "y" less than negative "s" , right bracex+s2+y+s2≤o−s2x<−sy<−s
55
Avaldis 56: left parenthesis, "x" minus "s" , right parenthesis squared plus left parenthesis, "y" plus "s" , right parenthesis squared less than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, "x" greater than "s" , right brace left brace, "y" less than negative "s" , right bracex−s2+y+s2≤o−s2x>sy<−s
56
Avaldis 57:
57
Avaldis 58:
58
Avaldis 59:
59
Avaldis 60:
60
Avaldis 61:
61
Avaldis 62: "x" less than or equal to "o" left brace, negative "s" less than "y" less than "s" , right brace left brace, "x" greater than "s" , right bracex≤o−s<y<sx>s
62
Avaldis 63: "x" greater than or equal to negative "o" left brace, negative "s" less than "y" less than "s" , right brace left brace, "x" less than negative "s" , right bracex≥−o−s<y<sx<−s
63
Avaldis 64: "y" less than or equal to "o" left brace, negative "s" less than "x" less than "s" , right brace left brace, 1 greater than "y" greater than negative 1 , right bracey≤o−s<x<s1>y>−1
64
Avaldis 65:
65
Avaldis 66:
66
Avaldis 67:
67
Avaldis 68:
68
Avaldis 69: "y" less than or equal to "d" left parenthesis, "x" minus "s" , right parenthesis plus "s" left brace, "s" plus "c" left parenthesis, 1 minus "s" , right parenthesis less than "x" less than 1 , right brace left brace, "y" greater than 0 , right bracey≤dx−s+ss+c1−s<x<1y>0
69
Avaldis 70: "y" greater than or equal to negative "d" left parenthesis, "x" minus "s" , right parenthesis minus "s" left brace, "s" plus "c" left parenthesis, 1 minus "s" , right parenthesis less than "x" less than 1 , right brace left brace, "y" less than 0 , right bracey≥−dx−s−ss+c1−s<x<1y<0
70
Avaldis 71: "y" greater than or equal to "d" left parenthesis, "x" plus "s" , right parenthesis minus "s" left brace, negative "s" minus "c" left parenthesis, 1 minus "s" , right parenthesis greater than "x" greater than negative 1 , right brace left brace, "y" less than 0 , right bracey≥dx+s−s−s−c1−s>x>−1y<0
71
Avaldis 72: "y" less than or equal to negative "d" left parenthesis, "x" plus "s" , right parenthesis plus "s" left brace, negative "s" minus "c" left parenthesis, 1 minus "s" , right parenthesis greater than "x" greater than negative 1 , right brace left brace, "y" greater than 0 , right bracey≤−dx+s+s−s−c1−s>x>−1y>0
72
Avaldis 73: "y" less than or equal to StartFraction, 1 Over "d" , EndFraction left parenthesis, "x" plus "s" , right parenthesis minus "s" left brace, negative "s" minus "c" left parenthesis, 1 minus "s" , right parenthesis greater than "y" greater than negative 1 , right brace left brace, "x" less than 0 , right bracey≤1dx+s−s−s−c1−s>y>−1x<0
73
Avaldis 74: "y" less than or equal to negative StartFraction, 1 Over "d" , EndFraction left parenthesis, "x" minus "s" , right parenthesis minus "s" left brace, negative "s" minus "c" left parenthesis, 1 minus "s" , right parenthesis greater than "y" greater than negative 1 , right brace left brace, "x" greater than 0 , right bracey≤−1dx−s−s−s−c1−s>y>−1x>0
74
Avaldis 75: "y" greater than or equal to negative StartFraction, 1 Over "d" , EndFraction left parenthesis, "x" plus "s" , right parenthesis plus "s" left brace, "s" plus "c" left parenthesis, 1 minus "s" , right parenthesis less than "y" less than 1 , right brace left brace, "x" less than 0 , right bracey≥−1dx+s+ss+c1−s<y<1x<0
75
Avaldis 76: "y" greater than or equal to StartFraction, 1 Over "d" , EndFraction left parenthesis, "x" minus "s" , right parenthesis plus "s" left brace, "s" plus "c" left parenthesis, 1 minus "s" , right parenthesis less than "y" less than 1 , right brace left brace, "x" greater than 0 , right bracey≥1dx−s+ss+c1−s<y<1x>0
76
Avaldis 77:
77
Avaldis 78: left parenthesis, "x" minus "s" , right parenthesis squared plus left parenthesis, "y" minus "s" , right parenthesis squared greater than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, 1 greater than "x" greater than "s" , right brace left brace, "s" less than "y" less than 1 , right bracex−s2+y−s2≥o−s21>x>ss<y<1
78
Avaldis 79: left parenthesis, "x" minus "s" , right parenthesis squared plus left parenthesis, "y" minus "s" , right parenthesis squared greater than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, 1 greater than "x" greater than "s" , right brace left brace, "s" less than "y" less than 1 , right bracex−s2+y−s2≥o−s21>x>ss<y<1
79
Avaldis 80: left parenthesis, "x" minus "s" , right parenthesis squared plus left parenthesis, "y" plus "s" , right parenthesis squared greater than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, 1 greater than "x" greater than "s" , right brace left brace, negative "s" greater than "y" greater than negative 1 , right bracex−s2+y+s2≥o−s21>x>s−s>y>−1
80
Avaldis 81: left parenthesis, "x" minus "s" , right parenthesis squared plus left parenthesis, "y" plus "s" , right parenthesis squared greater than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, 1 greater than "x" greater than "s" , right brace left brace, negative "s" greater than "y" greater than negative 1 , right bracex−s2+y+s2≥o−s21>x>s−s>y>−1
81
Avaldis 82: left parenthesis, "x" plus "s" , right parenthesis squared plus left parenthesis, "y" plus "s" , right parenthesis squared greater than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, negative 1 less than "x" less than negative "s" , right brace left brace, negative "s" greater than "y" greater than negative 1 , right bracex+s2+y+s2≥o−s2−1<x<−s−s>y>−1
82
Avaldis 83: left parenthesis, "x" plus "s" , right parenthesis squared plus left parenthesis, "y" plus "s" , right parenthesis squared greater than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, negative 1 less than "x" less than negative "s" , right brace left brace, negative "s" greater than "y" greater than negative 1 , right bracex+s2+y+s2≥o−s2−1<x<−s−s>y>−1
83
Avaldis 84: left parenthesis, "x" plus "s" , right parenthesis squared plus left parenthesis, "y" minus "s" , right parenthesis squared greater than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, negative 1 less than "x" less than negative "s" , right brace left brace, "s" less than "y" less than 1 , right bracex+s2+y−s2≥o−s2−1<x<−ss<y<1
84
Avaldis 85: left parenthesis, "x" plus "s" , right parenthesis squared plus left parenthesis, "y" minus "s" , right parenthesis squared greater than or equal to left parenthesis, "o" minus "s" , right parenthesis squared left brace, negative 1 less than "x" less than negative "s" , right brace left brace, "s" less than "y" less than 1 , right bracex+s2+y−s2≥o−s2−1<x<−ss<y<1
85
Avaldis 86: "x" greater than or equal to "o" left brace, negative "s" less than "y" less than "s" , right brace left brace, "x" less than 1 , right bracex≥o−s<y<sx<1
86
Avaldis 87: "x" greater than or equal to "o" left brace, negative "s" less than "y" less than "s" , right brace left brace, "x" less than 1 , right bracex≥o−s<y<sx<1
87
Avaldis 88: "x" less than or equal to negative "o" left brace, negative "s" less than "y" less than "s" , right brace left brace, "x" greater than negative 1 , right bracex≤−o−s<y<sx>−1
88
Avaldis 89: "x" less than or equal to negative "o" left brace, negative "s" less than "y" less than "s" , right brace left brace, "x" greater than negative 1 , right bracex≤−o−s<y<sx>−1
89
Avaldis 90: "y" greater than or equal to "o" left brace, 1 greater than "y" greater than "o" , right brace left brace, negative "s" less than "x" less than "s" , right bracey≥o1>y>o−s<x<s
90
Avaldis 91: "y" greater than or equal to "o" left brace, 1 greater than "y" greater than "o" , right brace left brace, negative "s" less than "x" less than "s" , right bracey≥o1>y>o−s<x<s
91
Avaldis 92: "y" less than or equal to negative "o" left brace, negative 1 less than "y" less than negative "o" , right brace left brace, negative "s" less than "x" less than "s" , right bracey≤−o−1<y<−o−s<x<s
92
Avaldis 93: "y" less than or equal to negative "o" left brace, negative 1 less than "y" less than negative "o" , right brace left brace, negative "s" less than "x" less than "s" , right bracey≤−o−1<y<−o−s<x<s
