Expression 4: left bracket, 0... "s" , right bracket minus left bracket, 0... "s" , right bracket less than or equal to StartFraction, "f" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction plus StartFraction, "g" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction minus StartAbsoluteValue, StartFraction, "f" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction minus StartFraction, "g" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction , EndAbsoluteValue0...s−0...s≤fx,y2+gx,y2−fx,y2−gx,y2
4
Expression 5: left bracket, 0... "s" , right bracket minus left bracket, 0... "s" , right bracket less than or equal to StartFraction, "f" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction minus StartFraction, "g" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction minus StartAbsoluteValue, StartFraction, "f" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction plus StartFraction, "g" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction , EndAbsoluteValue0...s−0...s≤fx,y2−gx,y2−fx,y2+gx,y2
5
Expression 6: left bracket, 0... "s" , right bracket minus left bracket, 0... "s" , right bracket less than or equal to StartFraction, "g" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction minus StartFraction, "f" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction minus StartAbsoluteValue, StartFraction, "f" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction plus StartFraction, "g" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction , EndAbsoluteValue0...s−0...s≤gx,y2−fx,y2−fx,y2+gx,y2
6
Expression 7: left bracket, 0... "s" , right bracket minus left bracket, 0... "s" , right bracket less than or equal to negative StartFraction, "f" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction minus StartFraction, "g" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction minus StartAbsoluteValue, StartFraction, "f" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction minus StartFraction, "g" left parenthesis, "x" , "y" , right parenthesis Over 2 , EndFraction , EndAbsoluteValue0...s−0...s≤−fx,y2−gx,y2−fx,y2−gx,y2
7
Expression 8: left bracket, 0... "s" , right bracket minus left bracket, 0... "s" , right bracket equals "f" left parenthesis, "x" , "y" , right parenthesis "g" left parenthesis, "x" , "y" , right parenthesis0...s−0...s=fx,ygx,y