(* Content-type: application/mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 6.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       145,          7]
NotebookDataLength[    127340,       2698]
NotebookOptionsPosition[    124600,       2599]
NotebookOutlinePosition[    125537,       2633]
CellTagsIndexPosition[    125466,       2628]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{"(*", "\:6c42\:89e3\:4e0d\:7b49\:5f0f", "*)"}]], "Input",
 CellChangeTimes->{{3.404683674921875*^9, 3.40468367809375*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{"And", " ", 
    StyleBox[
     RowBox[{"(", 
      RowBox[{"&&", 
       RowBox[{",", " ", "\[And]"}]}], ")"}], "OperatorCharacter"]}], 
   StyleBox["*)", "OperatorCharacter"]}], 
  StyleBox[
   RowBox[{
    RowBox[{"(*", 
     RowBox[{"Or", 
      RowBox[{"(", 
       RowBox[{"||", 
        RowBox[{",", " ", "\[Or]"}]}], ")"}]}], 
     RowBox[{"*", ")"}]}], 
    RowBox[{"(*", 
     RowBox[{"Not", 
      RowBox[{"(", 
       RowBox[{"!", 
        RowBox[{",", " ", "\[Not]"}]}], ")"}]}], 
     RowBox[{"*", ")"}]}], 
    RowBox[{"(*", "Nor", "*)"}]}], "OperatorCharacter"]}]], "Input",
 CellChangeTimes->{{3.404684420453125*^9, 3.404684430421875*^9}, {
  3.404684466359375*^9, 3.404684507984375*^9}, {3.404684547421875*^9, 
  3.40468454884375*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"x", "^", "2"}], "+", 
     RowBox[{"y", "^", "2"}]}], "<", "1"}], ",", 
   RowBox[{"{", 
    RowBox[{"x", ",", "y"}], "}"}]}], "]"}]], "Input",
 CellID->15483236],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", "1"}], "<", "x", "<", "1"}], "&&", 
  RowBox[{
   RowBox[{"-", 
    SqrtBox[
     RowBox[{"1", "-", 
      SuperscriptBox["x", "2"]}]]}], "<", "y", "<", 
   SqrtBox[
    RowBox[{"1", "-", 
     SuperscriptBox["x", "2"]}]]}]}]], "Output",
 CellChangeTimes->{3.404683413984375*^9, 3.404683835671875*^9, 
  3.40468399271875*^9, 3.405114595640625*^9, 3.436739656546875*^9, 
  3.6574505493988047`*^9},
 ImageSize->{225., -0.0625},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}}]
}, Open  ]],

Cell[CellGroupData[{

Cell["Reduce[x^2 + y^2 < 1 && x < y, {x, y}]", "Input",
 CellChangeTimes->{{3.404683824125*^9, 3.404683829078125*^9}},
 CellTags->"S5.4.1"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(", 
   RowBox[{
    RowBox[{
     RowBox[{"-", "1"}], "<", "x", "\[LessEqual]", 
     RowBox[{"-", 
      FractionBox["1", 
       SqrtBox["2"]]}]}], "&&", 
    RowBox[{
     RowBox[{"-", 
      SqrtBox[
       RowBox[{"1", "-", 
        SuperscriptBox["x", "2"]}]]}], "<", "y", "<", 
     SqrtBox[
      RowBox[{"1", "-", 
       SuperscriptBox["x", "2"]}]]}]}], ")"}], "||", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{
     RowBox[{"-", 
      FractionBox["1", 
       SqrtBox["2"]]}], "<", "x", "<", 
     FractionBox["1", 
      SqrtBox["2"]]}], "&&", 
    RowBox[{"x", "<", "y", "<", 
     SqrtBox[
      RowBox[{"1", "-", 
       SuperscriptBox["x", "2"]}]]}]}], ")"}]}]], "Output",
 CellChangeTimes->{{3.40468380378125*^9, 3.40468382996875*^9}, 
   3.4046840138125*^9, 3.405114627921875*^9, 3.436739680921875*^9, 
   3.6574505520579567`*^9},
 CellTags->"S5.4.1"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Reduce[x^2 + y^2 < 1 && x < y, {x, y}]//TraditionalForm", "Input",
 CellChangeTimes->{{3.404683824125*^9, 3.404683857765625*^9}},
 CellTags->"S5.4.1"],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      RowBox[{"-", "1"}], "<", "x", "\[LessEqual]", 
      RowBox[{"-", 
       FractionBox["1", 
        SqrtBox["2"]]}]}], "\[And]", 
     RowBox[{
      RowBox[{"-", 
       SqrtBox[
        RowBox[{"1", "-", 
         SuperscriptBox["x", "2"]}]]}], "<", "y", "<", 
      SqrtBox[
       RowBox[{"1", "-", 
        SuperscriptBox["x", "2"]}]]}]}], ")"}], "\[Or]", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      RowBox[{"-", 
       FractionBox["1", 
        SqrtBox["2"]]}], "<", "x", "<", 
      FractionBox["1", 
       SqrtBox["2"]]}], "\[And]", 
     RowBox[{"x", "<", "y", "<", 
      SqrtBox[
       RowBox[{"1", "-", 
        SuperscriptBox["x", "2"]}]]}]}], ")"}]}], TraditionalForm]], "Output",
 CellChangeTimes->{3.404683858609375*^9, 3.404684016*^9, 3.405114692546875*^9,
   3.436739687890625*^9, 3.657450554126075*^9},
 CellTags->"S5.4.1"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"x", "^", "2"}], "-", 
      RowBox[{"7", 
       RowBox[{"y", "^", "2"}]}]}], "\[Equal]", "1"}], "&&", 
    RowBox[{"x", ">", "0"}], "&&", 
    RowBox[{"y", ">", "0"}]}], ",", 
   RowBox[{"{", 
    RowBox[{"x", ",", "y"}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{3.4046840430625*^9},
 CellID->29655719],

Cell[BoxData[
 RowBox[{
  RowBox[{"x", ">", "1"}], "&&", 
  RowBox[{"y", "\[Equal]", 
   FractionBox[
    SqrtBox[
     RowBox[{
      RowBox[{"-", "1"}], "+", 
      SuperscriptBox["x", "2"]}]], 
    SqrtBox["7"]]}]}]], "Output",
 CellChangeTimes->{3.404684044546875*^9, 3.405114709921875*^9, 
  3.436739703296875*^9, 3.6574505561601915`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Reduce", "[", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{
       RowBox[{"x", "^", "2"}], "+", 
       RowBox[{"y", "^", "2"}]}], "<", "1"}], "||", 
     RowBox[{
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"x", "-", "1"}], ")"}], "^", "2"}], "+", 
       RowBox[{"y", "^", "2"}]}], "<", "2"}]}], ",", 
    RowBox[{"{", 
     RowBox[{"x", ",", "y"}], "}"}]}], "]"}], "//", 
  "TraditionalForm"}]], "Input",
 CellChangeTimes->{{3.40511476765625*^9, 3.405114779515625*^9}, {
  3.405114915296875*^9, 3.4051149294375*^9}, {3.436739832578125*^9, 
  3.43673983490625*^9}},
 CellID->248492329],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      RowBox[{"-", "1"}], "<", "x", "\[LessEqual]", "0"}], "\[And]", 
     RowBox[{
      RowBox[{"-", 
       SqrtBox[
        RowBox[{"1", "-", 
         SuperscriptBox["x", "2"]}]]}], "<", "y", "<", 
      SqrtBox[
       RowBox[{"1", "-", 
        SuperscriptBox["x", "2"]}]]}]}], ")"}], "\[Or]", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"0", "<", "x", "<", 
      RowBox[{"1", "+", 
       SqrtBox["2"]}]}], "\[And]", 
     RowBox[{
      RowBox[{"-", 
       SqrtBox[
        RowBox[{
         RowBox[{"-", 
          SuperscriptBox["x", "2"]}], "+", 
         RowBox[{"2", " ", "x"}], "+", "1"}]]}], "<", "y", "<", 
      SqrtBox[
       RowBox[{
        RowBox[{"-", 
         SuperscriptBox["x", "2"]}], "+", 
        RowBox[{"2", " ", "x"}], "+", "1"}]]}]}], ")"}]}], 
  TraditionalForm]], "Output",
 CellChangeTimes->{
  3.405114932890625*^9, {3.4367398158125*^9, 3.4367398358125*^9}, 
   3.657450559392376*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"RegionPlot", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"x", "^", "2"}], "+", 
      RowBox[{"y", "^", "2"}]}], "<", "1"}], "||", 
    RowBox[{
     RowBox[{
      RowBox[{
       RowBox[{"(", 
        RowBox[{"x", "-", "1"}], ")"}], "^", "2"}], "+", 
      RowBox[{"y", "^", "2"}]}], "<", "2"}]}], ",", 
   RowBox[{"{", 
    RowBox[{"x", ",", 
     RowBox[{"-", "1.5"}], ",", "2.5"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"y", ",", 
     RowBox[{"-", "2"}], ",", "2"}], "}"}]}], "]"}]], "Input",
 CellID->298539950],

Cell[BoxData[
 GraphicsBox[GraphicsComplexBox[CompressedData["
1:eJxlmn18zeX/x3dDHt/ldCMqR4bcdL4jRg6Suk6tVL7iWIpYhy2E7RuW1FBf
[encoded data, 5640 characters]
Ng23rHnX9YBj2FEJL1as1xun1tP+Myn/CeKVpuIl/h/lYdit
   "], {{
     {RGBColor[0.368417, 0.506779, 0.709798], AbsoluteThickness[1.6], Opacity[
      0.3], EdgeForm[None], GraphicsGroupBox[{PolygonBox[CompressedData["
1:eJxNmnnc11MWx++5lVJSWlTS8kShXXvapU1pebQr7aVFSUJKQqVkS7YsrXbD
[encoded data, 4860 characters]
NYt6dZdFjaY+r7Z4h/X/A6QEjBw=
         "]], PolygonBox[CompressedData["
1:eJwtlgmw1lMYxs97MqGLsd1KaLlFt27TXK4lWeI2g0YMYWxjy1iiupXsy7SM
sc1tYQxjGxXT1CRltJmKEC1o32SNKGWtCBW/x3Nm7m/e5z3n//2/77zbue36
NvQZmFNKjbAfrI6UXofd6M+gE5sv4R8CB0MX/KXY+uS1zvg12Xsn6jPYfwT6
S2jBXkvIrOl73sXei+iKnYI/HluLvxo9CyrRzfVg/P+XLkRfBMfgvIq/ETsL
9qK/gir2OsCB+t3432JfhrfQ38NV7F0BH6Nbsz4JTsI/FHsYDIDt8Av7n8Iz
6HfC+mdoQP8IP6GnJr/rGmgTfucG7KP4PbAL8L/Qd8Me9NewHv0m/I3+HC7n
2cfxmyTH5FL8x0psdOApsBl+wJ0H96NHstkdOxz/PPS5MB7dirVr0U9iD1L+
sKfin5L9rM7YFt0ue6+Ctdewdfhr0XOUI8US9qE3wZ06K/yKng7vo5+F39DL
FJNwDpU7PXOXnoWd6JUwWLGE39HL4UP0i7ADvQLWof8S6PlwlHIL+7M2MTnW
V2bnSjHvin4FPSO5Rk7AnxCuFZ1hBXoUa72xb+Pvw/4bPotidCR7PVWDrC1K
PssH4d+mM+1RfGFcck3drd8Ou5Jr6Hw+2ys71hPwn1Pd4DfFNoPZcE52rhdC
b/QF2c+qZtugj4XJ+Afg94fW2foT1prq7LAOPTs5Vh+FY6mY7VS/wE3oP6Aj
zz6PPw29SjWOvkTfgd2W3LvTlaPkHm6i3MMa9Ezoh97F/p/o47F98C+Gxcnv
eAO64x+BrSy1O1MxS67hR7JzqNydgW1Ub4Xf3avkYjl2SHJORuPPU6zwLyu9
0cBap9IjT2FHwHfKPYxRnYd7e2ty7asn1AvqgRH4q7Bz8bth7wjHQGefBEOz
36l3dSmzaABr1eGZFGq07Fmi7xzF+sPh3twCD4XPqLONwX8APQTdHF2rvoQt
sCS5h/uzf3h273fUudFjsZ2hpsyGYdixyTNiJdyWncv1ybm4Bf+4kpNb0Tdn
72ntCfScUrv16kNYDB1Kz6lWb+CZtqVm+6IXodtDleoGf0d4NmtNs3dgmQWa
wYOV6+za1W8epP3s2a0c1WfHVLFsWWI5OnzW6tIL1VAR7om9JQY1ZabMCOdU
uVQN7UavgY3JM2BaOAeKvWpWtT5cM6zU/OnoB5V39XKZLUPDs0Qzpp/eDduT
c6Lf8kJ4duk3VeBPLLNBPabaPDl79qtGl2CH4deVGbMwnPPa0mOKtWJaVWJ+
j2o1fLfUwWT0aexvSK7JHuizoUXJufZuz+41PdNMtRfudfXkWfhnZteaPtM+
+87RXaM7Tb2zLXwXqYe2lhmi2aEz6+4aFJ7NusPuKz3SrcTsxuyZoVmhGmnU
+cJ3u+4YxXpZ+C5QzK/G34TdnHzHKTY6s86qGC0tPa9e1/8A16Gvz56F6pG1
4RlSWXJ8dHaPqjc14/XuuXpP8ncsQL8Xvrt1h7Xi+afDd4GeGVl6QLU/Lnk2
TQ3XgmbU/PCM0WzRjP1GPRf+30Ez7T9pYS0R
         "]]}]}, {}, {}, {}, {}}, 
    {RGBColor[0.368417, 0.506779, 0.709798], AbsoluteThickness[1.6], 
     LineBox[CompressedData["
1:eJwl1Hecz3UcwPGfMxIhycq8VGZkky1CQzKKysgecbjj7LNzDmeLChFlNhCV
Mho07J29V2VvxfPz8MfzXu/3+4/7PX6/3/cuunVMw24pIpFIET8aREUi3+lR
3uc1e1aykZFGjHJvrNnJQSaakOj+hp7WM3xPL3snPct75LXnIw+T7T+SbP5B
zzOFNcS7ddW/6U5f+086jZ/pZ++hF4hjoP1X/YgNDLL30otc4jdau23UNnpF
22oRilKYj92K6R86Vv/UT4gypyQVj5COT91TaxoeIgPp+cw9rT7MNvM43apl
dYGW0fKUowvXw3thmHmxngyvTX+Gu+3UJXxFkv3L8DvD+2Okfa9+zTeMsa/Q
8QxhlH2/ruRueA1Gu32rtfRxXqAmcUx0H0qi+Yim0Agjza9qfV7iFV5mhHtd
rUdt6vAiw93/5x6HiXU7pP/R0zxBe2gWVplr6AGdoAd1OTHm7nTjL/sdupqT
w3Okj7HMvC88p+bBWk2rU5mqVCHB/XZ4Phhh36O3uMmu8Fm57dYveN68VCvp
AL0Rnrvwmdh36CIqmBdqRe0cnm2u2dtrB9qx3d5RP9er9Anfh32LzqeUeZ6W
1s1aUudqCZ2jz+kmLa6z9Vmdpb8z2ByvJzjOTBLceutlWpnfpSAz7M/odP0l
PFPmnuE5oYW5JU/zgT2zFuJD8wCN1X/4l7XhPYTvIjw/vGPOTzSP0pwk93Ws
ZypPuj1FAWLs52hqbsabvM1bHHNfTe/weeoTOklzam5yhb8T+yleNzeMevA/
6j5+GJdx
      "]]}}],
  AspectRatio->1,
  Axes->{False, False},
  AxesLabel->{None, None},
  AxesOrigin->{Automatic, Automatic},
  DisplayFunction->Identity,
  Frame->{{True, True}, {True, True}},
  FrameLabel->{{None, None}, {None, None}},
  FrameTicks->{{Automatic, Automatic}, {Automatic, Automatic}},
  GridLinesStyle->Directive[
    GrayLevel[0.5, 0.4]],
  Method->{
   "ScalingFunctions" -> None, "TransparentPolygonMesh" -> True, 
    "AxesInFront" -> True},
  PlotRange->{{-1.5, 2.5}, {-2, 2}},
  PlotRangeClipping->True,
  PlotRangePadding->{{
     Scaled[0.02], 
     Scaled[0.02]}, {
     Scaled[0.02], 
     Scaled[0.02]}},
  Ticks->{Automatic, Automatic}]], "Output",
 CellChangeTimes->{3.40468433675*^9, 3.404684618875*^9, 3.405114968609375*^9, 
  3.4367398194375*^9, 3.6574505626895647`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"RegionPlot", "[", 
  RowBox[{
   RowBox[{"Nor", "[", 
    RowBox[{
     RowBox[{
      RowBox[{
       RowBox[{"x", "^", "2"}], "+", 
       RowBox[{"y", "^", "2"}]}], "<", "1"}], ",", 
     RowBox[{
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"x", "-", "1"}], ")"}], "^", "2"}], "+", 
       RowBox[{"y", "^", "2"}]}], "<", "2"}]}], "]"}], ",", 
   RowBox[{"{", 
    RowBox[{"x", ",", 
     RowBox[{
      RowBox[{"-", "3"}], "/", "2"}], ",", 
     RowBox[{"5", "/", "2"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"y", ",", 
     RowBox[{"-", "2"}], ",", "2"}], "}"}]}], "]"}]], "Input",
 CellID->167686269],

Cell[BoxData[
 GraphicsBox[GraphicsComplexBox[CompressedData["
1:eJxlmnt4k0X2x3tBQCDIr3LbiCKKGEGgomFZvExo0VVUfqF2gUUMiAuLlBVE
[encoded data, 6180 characters]
eBJ1
   "], {{
     {RGBColor[0.368417, 0.506779, 0.709798], AbsoluteThickness[1.6], Opacity[
      0.3], EdgeForm[None], GraphicsGroupBox[{PolygonBox[CompressedData["
1:eJxNmgnYl1MTxp9z4lN22ZfQoqgUSdpoIVSKSvhIC8mWbNmj3lCkIkLZKSlC
[encoded data, 5700 characters]
oz77P1wxzfI=
         "]], PolygonBox[CompressedData["
1:eJw1lnm0TmUUxs+7SSHJHLXkJlOTRKVBKkIhGYqVBlNcxEXKUMkidSW5Ja0y
lCilm2aleW6V5tVoSCRaiSsWupFVv2c9pz9+6332+b7vfO+7z7P3PgWDinqN
jizLFkJFuJngVjgrZdmZUIgeDo3Qc/j8KPSP+g7xP8TXo5vBocRV4BB0f6iB
3s3n46ThdOKW0BvdB+qjD/B5d3SqkGWriCvBSuJXoRBdFTqi98AidIIe6CI4
GT0dzkDvgHnocu63mXU78VzWAcSV0Q9Ad+JLYSK6XvhsreEh9AK4DL2f73dF
l8PS5DMNQ29nPRZOhLrE7eFo9FXQBb0PFqMrwqTwf+jebWAy+hZoq73Cjeja
Yd0KnkY/B4OVO3gN/RaMQB8OF6K/0z2Scz4k/AyUe+3h93yP2ltDGIHeyVoA
J+nMxJthGvopfjNWZ4XKxKdAN/TzcB16OZ9/ht6Pbqq9wtvEf7E2gZEgs+xh
bZz8DJ4l/pP1uOQzrCLey3p88jPcB2PC/1UNduR71N7kqVJ0Q4g8xxeEc6jc
HaOcomdDJ3RnaI6eDu2S99wIfQCWo0vYf2OdFc5RruAgXC6DsxazNFHuoDTZ
88rF3/B4ck7k1XOhQbJnO+m3+HNl8h4vId4AU9EL9AzQHcK5Hwjf6llCC3kN
vtD/sTaDCdCA+Em4Vv6EbTCU+ITkPSq3LxMPy3NcE/0IXIHum6xrQb/ka0vC
npQXr4T6Oks4dwcze78K9Eiuga/RX8GozNc+0vlZx8I4nTlcM6qVunAXeq3y
wPc7ss4krhDWHeBsdHXonVzTi9BHqsbRvWCT6jvsPT2zbXq28ghxifyL3qiz
Ec9m3SIvy1PEM/JarioPZq7pnegjwr1jPnGZajlc+w8Sf4i+TTWQ+UyfoD9W
/ojHJ/eKX/WsMveMOcT3QJfMHtsqb8Iu4mLiWei7w2ftzLX70JWgq7wAF4c9
NySvgdvRL8FQdHt4Af1iWJfy+/fRU6AMXcS1O9EfwBh5H54J9wT1gkHJtbwi
rFXTPeUVGJ3XpH5bnnwv3aN1OKfKpXIs714U7t3ysLwnz8qr8uAT6MfCXrla
PSFcc6o19fC56PvDZ1UO16GXhb87JbnWXycentf8G+Eept6la8rVaVA7OWcz
wj1FveR8eA/9bji3o4gPQ8+DOsnPvE7Y4/J2f/gN3TI8W2Yl135BeDaoB8g7
/aB5soeU6zvC/6Wca7ZN0J6SZ5xy+U74v5VTeac4/CzkoS25x+StQuKB6AFh
XS+5NuSZ4rxGXgnPMM0u1bB6/3g4NXkGTEXfK7+p1vn+N+i24XupZ2zNPS5v
q0ZvCM9QzU7d46bwDNHs0BlUe6o51ZpqUN5rEZ7F8uCb4R6s3quZch7x0nAu
J8NCdLXw7FPPa4deHO41k5J71y95L1APU+9sGp516qFr8ppVraqGNDs2QK3k
GTI/3BPVCzVjW6l2dY5kT3wezolyoWsl4Rmk2aMcaXZp5mvWa4apV+/Oa0k9
W7O3LLn3awZrdu9K7u2a4Xp3+CO59+sdYjXxp+FeoBrvG+6B6n3yzMPhHOjs
6mGbkntWyf89A/1luJfLo9eoFsLvGjrzevS/ybNBM2gN8dpwr5+WuderhlQ7
6vk/oL8Pf6YZvxH9c/hdSDPm0fAz07NSz/8prwF5Xz1T706a4Zrdeof6D8Uw
KQY=
         "]]}]}, {}, {}, {}, {}}, 
    {RGBColor[0.368417, 0.506779, 0.709798], AbsoluteThickness[1.6], 
     LineBox[CompressedData["
1:eJwt0LtNggEYhtEfVBBBBIUB6LQyxlZGwBhL6NBGC0g0gQQTKaDRUgaQEXQH
2EEEvKAoXobwmFCcPF/55suVq4eVUBAEB4T5v7NskWefEsecUuWcOhc0aXNN
hy739BnwyJARY5545oVXJrzxzpQPPpnxxTc//PJAjztuueGKFpfsGt/QHa3p
tp5phROOKFJgj00ybLBOmhRrJFklQZwVYiwTJcISiyzMf/cHxQ0lyg==
      "]], LineBox[CompressedData["
1:eJwl1He4T3UcwPGfa4WEjAiZhVuoRGYyM8q4mWWUlop7s2che8teyZY9MrJJ
NKkI2XWLa1z3XltZvb6PP173fX6f833OOc/5nucWahcXE5sqEolE+xMdFYns
4Bt20oxj5iN1FMNJzQiOmp/Rp4jhR37iO37ge17jlHUTdCLjScezPMMt5/Zq
fz5jHD/zn/lJzjp+mja05m+zRM3EVAbwAJP4hX3ctiaeC47LkoHJZGQKv/Er
7ThjXbI+xKs0IcEsRSuShc/JyiyqMJuH+YLszOEF5pGTueSiKpc463pva27+
oDoHOcwh3uFIeJ8s5lG+JC81uMw513hPE3WpPsYSClCbSOpIpJa2531e4hoX
rf9Ak3W5rmAZq1hJivkNrUsRPuU498xP6IfU4yR/hr2kKK+Qyj1f1tUUZyB/
hTnxdKRB2DMaEkcsV117vW5gHRv5Ojyv+Wbdwia2sZXr5h9pJxrxb3gnZlH6
D2v4ikGspUT4frhiTQctRn1uhv0IH7o+Hr4TnqAwdcJ9SHL+LgUd36IQ+akZ
npsLzt2hqeN84R6c9/tdPcZCFjGfPCzgRe5SjV705BH68DE96E43ctCbvnSl
C53JRmXuUImZZGYaM5jO77zFAcqznwq8yRuc9pxJ+jwPUi58H+EdmrcNe6fn
9TnSU4ZzYd/NW+kJTdDSpOV1SoZvhVKkYTRjGRO+I+tb6hE9rU/SgubsCfto
vlv7MYyhfBv2yXyXfsIQBrOdG+aNo+7/j/ofCDanrQ==
      "]]}}],
  AspectRatio->1,
  Axes->{False, False},
  AxesLabel->{None, None},
  AxesOrigin->{Automatic, Automatic},
  DisplayFunction->Identity,
  Frame->{{True, True}, {True, True}},
  FrameLabel->{{None, None}, {None, None}},
  FrameTicks->{{Automatic, Automatic}, {Automatic, Automatic}},
  GridLinesStyle->Directive[
    GrayLevel[0.5, 0.4]],
  Method->{
   "ScalingFunctions" -> None, "TransparentPolygonMesh" -> True, 
    "AxesInFront" -> True},
  PlotRange->NCache[{{
      Rational[-3, 2], 
      Rational[5, 2]}, {-2, 2}}, {{-1.5, 2.5}, {-2, 2}}],
  PlotRangeClipping->True,
  PlotRangePadding->{{
     Scaled[0.02], 
     Scaled[0.02]}, {
     Scaled[0.02], 
     Scaled[0.02]}},
  Ticks->{Automatic, Automatic}]], "Output",
 CellChangeTimes->{3.404684313578125*^9, 3.404684621578125*^9, 
  3.405114971953125*^9, 3.436739865765625*^9, 3.6574505671468196`*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{"\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{Cell[GraphicsData["CompressedBitmap", "\<\
[encoded data, 27780 characters]
Rn6VRjojnZGutnrUlcSJIt0wX09m1HvO/wNKXInH\
\>"], "Graphics",
    ImageSize->{504, 222},
    ImageMargins->0], "\[IndentingNewLine]", "\[IndentingNewLine]", Cell[
   GraphicsData["CompressedBitmap", "\<\
[encoded data, 21360 characters]
ObbU9ShH30CdXC9n0T5H08UZ7XOC30ed/d2Py1sY+pz/B1hYGy8=\
\>"], "Graphics",
    ImageSize->{711, 130},
    ImageMargins->0], "\[IndentingNewLine]", "\[IndentingNewLine]", 
   "\[IndentingNewLine]", "\[IndentingNewLine]"}]}]], "Input",
 CellChangeTimes->{{3.40511564234375*^9, 3.4051157335*^9}, 
   3.405115885484375*^9}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    FractionBox[
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{"r2", "*", "c1"}], "+", 
        RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
        FractionBox["q", "v2"]}], ")"}], "-", 
      SqrtBox[
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{
           RowBox[{"r2", "*", "c1"}], "+", 
           RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
           FractionBox["q", "v2"]}], ")"}], "2"], "-", 
        RowBox[{"4", "r2", "*", "c1", "*", 
         RowBox[{"(", 
          RowBox[{"d", "+", 
           FractionBox["q", "v2"]}], ")"}]}]}]]}], 
     RowBox[{"2", "r2"}]], "\[LessEqual]", "cs"}], ",", "v2", ",", "Reals"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.40490734585625*^9, 3.404907494215625*^9}, {
  3.404907608809375*^9, 3.404907610028125*^9}}],

Cell[BoxData[
 InterpretationBox[
  TagBox[
   FrameBox[GridBox[{
      {
       ItemBox[
        TagBox[
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{"x1", "<", "0"}], "&&", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"(", 
               RowBox[{
                RowBox[{"r2", "<", "0"}], "&&", 
                RowBox[{"(", 
                 RowBox[{
                  RowBox[{"(", 
                   RowBox[{
                    RowBox[{"cs", "<", "0"}], "&&", 
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"c1", "<", "cs"}], "&&", 
                    RowBox[{"(", 
                    TemplateBox[{"1"},
                    "OutputSizeLimit`Skeleton",
                    DisplayFunction->(FrameBox[
                    
                    RowBox[{"\" \[CenterEllipsis]\"", #, 
                    "\"\[CenterEllipsis] \""}], Background -> GrayLevel[0.75],
                     BaseStyle -> {
                    "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                    Baseline, ContentPadding -> False, FrameMargins -> 1, 
                    FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
                    ")"}]}], ")"}], "||", 
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"c1", "\[Equal]", "cs"}], "&&", 
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"r1", "\[Equal]", "0"}], "&&", 
                    RowBox[{"(", 
                    TemplateBox[{"1"},
                    "OutputSizeLimit`Skeleton",
                    DisplayFunction->(FrameBox[
                    
                    RowBox[{"\" \[CenterEllipsis]\"", #, 
                    "\"\[CenterEllipsis] \""}], Background -> GrayLevel[0.75],
                     BaseStyle -> {
                    "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                    Baseline, ContentPadding -> False, FrameMargins -> 1, 
                    FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
                    ")"}]}], ")"}], "||", 
                    RowBox[{"(", 
                    TemplateBox[{"1"},
                    "OutputSizeLimit`Skeleton",
                    DisplayFunction->(FrameBox[
                    
                    RowBox[{"\" \[CenterEllipsis]\"", #, 
                    "\"\[CenterEllipsis] \""}], Background -> GrayLevel[0.75],
                     BaseStyle -> {
                    "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                    Baseline, ContentPadding -> False, FrameMargins -> 1, 
                    FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
                    ")"}]}], ")"}]}], ")"}], "||", 
                    RowBox[{"(", 
                    TemplateBox[{"1"},
                    "OutputSizeLimit`Skeleton",
                    DisplayFunction->(FrameBox[
                    
                    RowBox[{
                    "\" \[CenterEllipsis]\"", #, "\"\[CenterEllipsis] \""}], 
                    Background -> GrayLevel[0.75], 
                    BaseStyle -> {
                    "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                    Baseline, ContentPadding -> False, FrameMargins -> 1, 
                    FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
                    ")"}], "||", 
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"c1", ">", "0"}], "&&", 
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"r1", "<", 
                    FractionBox[
                    RowBox[{
                    RowBox[{
                    RowBox[{"-", 
                    SuperscriptBox["c1", "2"]}], " ", "r2"}], "+", 
                    RowBox[{"2", " ", "c1", " ", "cs", " ", "r2"}], "-", 
                    RowBox[{
                    SuperscriptBox["cs", "2"], " ", "r2"}]}], 
                    RowBox[{"c1", " ", "x1"}]]}], "&&", 
                    RowBox[{"(", 
                    TemplateBox[{"1"},
                    "OutputSizeLimit`Skeleton",
                    DisplayFunction->(FrameBox[
                    
                    RowBox[{"\" \[CenterEllipsis]\"", #, 
                    "\"\[CenterEllipsis] \""}], Background -> GrayLevel[0.75],
                     BaseStyle -> {
                    "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                    Baseline, ContentPadding -> False, FrameMargins -> 1, 
                    FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
                    ")"}]}], ")"}], "||", 
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"r1", "\[Equal]", 
                    FractionBox[
                    TemplateBox[{"1"},
                    "OutputSizeLimit`Skeleton",
                    DisplayFunction->(FrameBox[
                    
                    RowBox[{"\" \[CenterEllipsis]\"", #, 
                    "\"\[CenterEllipsis] \""}], Background -> GrayLevel[0.75],
                     BaseStyle -> {
                    "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                    Baseline, ContentPadding -> False, FrameMargins -> 1, 
                    FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
                    RowBox[{"c1", " ", "x1"}]]}], "&&", 
                    RowBox[{"(", 
                    TemplateBox[{"1"},
                    "OutputSizeLimit`Skeleton",
                    DisplayFunction->(FrameBox[
                    
                    RowBox[{"\" \[CenterEllipsis]\"", #, 
                    "\"\[CenterEllipsis] \""}], Background -> GrayLevel[0.75],
                     BaseStyle -> {
                    "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                    Baseline, ContentPadding -> False, FrameMargins -> 1, 
                    FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
                    ")"}]}], ")"}]}], ")"}]}], ")"}]}], ")"}]}], ")"}], "||", 
                  RowBox[{"(", 
                   TemplateBox[{"1"},
                    "OutputSizeLimit`Skeleton",
                    DisplayFunction->(FrameBox[
                    
                    RowBox[{
                    "\" \[CenterEllipsis]\"", #, "\"\[CenterEllipsis] \""}], 
                    Background -> GrayLevel[0.75], 
                    BaseStyle -> {
                    "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                    Baseline, ContentPadding -> False, FrameMargins -> 1, 
                    FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
                   ")"}], "||", 
                  RowBox[{"(", 
                   TemplateBox[{"1"},
                    "OutputSizeLimit`Skeleton",
                    DisplayFunction->(FrameBox[
                    
                    RowBox[{
                    "\" \[CenterEllipsis]\"", #, "\"\[CenterEllipsis] \""}], 
                    Background -> GrayLevel[0.75], 
                    BaseStyle -> {
                    "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                    Baseline, ContentPadding -> False, FrameMargins -> 1, 
                    FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
                   ")"}]}], ")"}]}], ")"}], "||", 
              RowBox[{"(", 
               TemplateBox[{"1"},
                "OutputSizeLimit`Skeleton",
                DisplayFunction->(FrameBox[
                  
                  RowBox[{
                   "\" \[CenterEllipsis]\"", #, "\"\[CenterEllipsis] \""}], 
                  Background -> GrayLevel[0.75], 
                  BaseStyle -> {
                   "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                    ShowStringCharacters -> False}, BaselinePosition -> 
                  Baseline, ContentPadding -> False, FrameMargins -> 1, 
                  FrameStyle -> GrayLevel[0.75], RoundingRadius -> 7]& )], 
               ")"}]}], ")"}]}], ")"}], "||", 
          RowBox[{"(", 
           TemplateBox[{"1"},
            "OutputSizeLimit`Skeleton",
            DisplayFunction->(FrameBox[
              RowBox[{"\" \[CenterEllipsis]\"", #, "\"\[CenterEllipsis] \""}],
               Background -> GrayLevel[0.75], 
              BaseStyle -> {
               "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                ShowStringCharacters -> False}, BaselinePosition -> Baseline, 
              ContentPadding -> False, FrameMargins -> 1, FrameStyle -> 
              GrayLevel[0.75], RoundingRadius -> 7]& )], ")"}], "||", 
          RowBox[{"(", 
           TemplateBox[{"1"},
            "OutputSizeLimit`Skeleton",
            DisplayFunction->(FrameBox[
              RowBox[{"\" \[CenterEllipsis]\"", #, "\"\[CenterEllipsis] \""}],
               Background -> GrayLevel[0.75], 
              BaseStyle -> {
               "Deploy", FontColor -> GrayLevel[1], FontSize -> Smaller, 
                ShowStringCharacters -> False}, BaselinePosition -> Baseline, 
              ContentPadding -> False, FrameMargins -> 1, FrameStyle -> 
              GrayLevel[0.75], RoundingRadius -> 7]& )], ")"}]}],
         Short[#, 5]& ],
        BaseStyle->{Deployed -> False},
        StripOnInput->False]},
      {GridBox[{
         {
          TagBox[
           TooltipBox[
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource[
                "FEStrings", "sizeBriefExplanation"], StandardForm],
               ImageSizeCache->{108., {2., 12.}}],
              StripOnInput->False,
              DynamicUpdating->True], "SuggestionsBarCategory",
             StripOnInput->False],
            StyleBox[
             DynamicBox[
              ToBoxes[
               FEPrivate`FrontEndResource["FEStrings", "sizeExplanation"], 
               StandardForm]], DynamicUpdating -> True, StripOnInput -> 
             False]],
           Annotation[#, 
            Style[
             Dynamic[
              FEPrivate`FrontEndResource["FEStrings", "sizeExplanation"]], 
             DynamicUpdating -> True], "Tooltip"]& ], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowLess"], 
                StandardForm],
               ImageSizeCache->{91., {1., 13.}}],
              StripOnInput->False,
              DynamicUpdating->True], "SuggestionsBarControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowLess"], 
                StandardForm]],
              StripOnInput->False,
              DynamicUpdating->True], "SuggestionsBarControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           
           ButtonFunction:>OutputSizeLimit`ButtonFunction[
            Identity, 5, 21042724592106128352, 5/2],
           Enabled->True,
           Evaluator->Automatic,
           Method->"Queued"], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowMore"], 
                StandardForm],
               ImageSizeCache->{91., {1., 13.}}],
              StripOnInput->False,
              DynamicUpdating->True], "SuggestionsBarControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowMore"], 
                StandardForm]],
              StripOnInput->False,
              DynamicUpdating->True], "SuggestionsBarControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           
           ButtonFunction:>OutputSizeLimit`ButtonFunction[
            Identity, 5, 21042724592106128352, 5 2],
           Enabled->True,
           Evaluator->Automatic,
           Method->"Queued"], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowAll"], 
                StandardForm],
               ImageSizeCache->{81., {1., 13.}}],
              StripOnInput->False,
              DynamicUpdating->True], "SuggestionsBarControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowAll"], 
                StandardForm]],
              StripOnInput->False,
              DynamicUpdating->True], "SuggestionsBarControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           
           ButtonFunction:>OutputSizeLimit`ButtonFunction[
            Identity, 5, 21042724592106128352, Infinity],
           Enabled->True,
           Evaluator->Automatic,
           Method->"Queued"], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeChangeLimit"], 
                StandardForm],
               ImageSizeCache->{170., {1., 12.}}],
              StripOnInput->False,
              DynamicUpdating->True], "SuggestionsBarControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeChangeLimit"], 
                StandardForm]],
              StripOnInput->False,
              DynamicUpdating->True], "SuggestionsBarControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           ButtonFunction:>FrontEndExecute[{
              FrontEnd`SetOptions[
              FrontEnd`$FrontEnd, 
               FrontEnd`PreferencesSettings -> {"Page" -> "Evaluation"}], 
              FrontEnd`FrontEndToken["PreferencesDialog"]}],
           Evaluator->None,
           Method->"Preemptive"]}
        },
        AutoDelete->False,
        FrameStyle->GrayLevel[0.85],
        GridBoxDividers->{"Columns" -> {False, {True}}},
        GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}},
        GridBoxSpacings->{"Columns" -> {{2}}}]}
     },
     DefaultBaseStyle->"Column",
     GridBoxAlignment->{
      "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
       "RowsIndexed" -> {}},
     GridBoxDividers->{
      "Columns" -> {{False}}, "ColumnsIndexed" -> {}, "Rows" -> {{False}}, 
       "RowsIndexed" -> {}},
     GridBoxItemSize->{
      "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
       "RowsIndexed" -> {}},
     GridBoxSpacings->{"Columns" -> {
         Offset[0.27999999999999997`], {
          Offset[0.5599999999999999]}, 
         Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
         Offset[0.2], 
         Offset[1.2], {
          Offset[0.4]}, 
         Offset[0.2]}, "RowsIndexed" -> {}}],
    Background->RGBColor[0.9657, 0.9753, 0.9802],
    FrameMargins->{{12, 12}, {0, 15}},
    FrameStyle->GrayLevel[0.85],
    RoundingRadius->5,
    StripOnInput->False],
   Deploy,
   DefaultBaseStyle->"Deploy"],
  Out[5]]], "Output",
 CellChangeTimes->{3.404907544434375*^9, 3.4049077497*^9, 
  3.657484323449303*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     FractionBox[
      RowBox[{
       RowBox[{"(", 
        RowBox[{
         RowBox[{"r2", "*", "c1"}], "+", 
         RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
         FractionBox["q", "v2"]}], ")"}], "-", 
       SqrtBox[
        RowBox[{
         SuperscriptBox[
          RowBox[{"(", 
           RowBox[{
            RowBox[{"r2", "*", "c1"}], "+", 
            RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
            FractionBox["q", "v2"]}], ")"}], "2"], "-", 
         RowBox[{"4", "r2", "*", "c1", "*", 
          RowBox[{"(", 
           RowBox[{"d", "+", 
            FractionBox["q", "v2"]}], ")"}]}]}]]}], 
      RowBox[{"2", "r2"}]], "\[LessEqual]", "cs"}], "&&", 
    RowBox[{"r2", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"c1", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"r1", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"x1", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"d", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"q", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"v2", "\[GreaterEqual]", "0"}]}], ",", "v2", ",", "Reals"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.404907871996875*^9, 3.404908002653125*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"(", 
   RowBox[{
    RowBox[{"cs", "\[Equal]", "0"}], "&&", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{"c1", "\[Equal]", "0"}], "&&", 
        RowBox[{"x1", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"r2", ">", "0"}], "&&", 
        RowBox[{"r1", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"d", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"q", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"v2", ">", "0"}]}], ")"}], "||", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"c1", ">", "0"}], "&&", 
        RowBox[{"x1", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"r2", ">", "0"}], "&&", 
        RowBox[{"r1", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"d", "\[Equal]", "0"}], "&&", 
        RowBox[{"q", "\[Equal]", "0"}], "&&", 
        RowBox[{"v2", ">", "0"}]}], ")"}]}], ")"}]}], ")"}], "||", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"cs", ">", "0"}], "&&", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{"0", "\[LessEqual]", "c1", "\[LessEqual]", "cs"}], "&&", 
        RowBox[{"x1", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"r2", ">", "0"}], "&&", 
        RowBox[{"r1", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"d", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"q", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"v2", ">", "0"}]}], ")"}], "||", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"c1", ">", "cs"}], "&&", 
        RowBox[{"x1", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"r2", ">", "0"}], "&&", 
        RowBox[{"r1", "\[GreaterEqual]", "0"}], "&&", 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{"0", "\[LessEqual]", "d", "<", 
             FractionBox[
              RowBox[{
               RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
               RowBox[{
                SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
               RowBox[{"cs", " ", "r1", " ", "x1"}]}], 
              RowBox[{"c1", "-", "cs"}]]}], "&&", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"(", 
               RowBox[{
                RowBox[{"q", "\[Equal]", "0"}], "&&", 
                RowBox[{"v2", ">", "0"}]}], ")"}], "||", 
              RowBox[{"(", 
               RowBox[{
                RowBox[{"q", ">", "0"}], "&&", 
                RowBox[{"v2", "\[GreaterEqual]", 
                 FractionBox[
                  RowBox[{
                   RowBox[{"c1", " ", "q"}], "-", 
                   RowBox[{"cs", " ", "q"}]}], 
                  RowBox[{
                   RowBox[{
                    RowBox[{"-", "c1"}], " ", "d"}], "+", 
                   RowBox[{"cs", " ", "d"}], "+", 
                   RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
                   RowBox[{
                    SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
                   RowBox[{"cs", " ", "r1", " ", "x1"}]}]]}]}], ")"}]}], 
             ")"}]}], ")"}], "||", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"d", "\[Equal]", 
             FractionBox[
              RowBox[{
               RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
               RowBox[{
                SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
               RowBox[{"cs", " ", "r1", " ", "x1"}]}], 
              RowBox[{"c1", "-", "cs"}]]}], "&&", 
            RowBox[{"q", "\[Equal]", "0"}], "&&", 
            RowBox[{"v2", ">", "0"}]}], ")"}]}], ")"}]}], ")"}]}], ")"}]}], 
   ")"}]}]], "Output",
 CellChangeTimes->{3.40490800845*^9, 3.40511500984375*^9, 
  3.436739978109375*^9, 3.657484416316266*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     FractionBox[
      RowBox[{
       RowBox[{"(", 
        RowBox[{
         RowBox[{"r2", "*", "c1"}], "+", 
         RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
         FractionBox["q", "v2"]}], ")"}], "-", 
       SqrtBox[
        RowBox[{
         SuperscriptBox[
          RowBox[{"(", 
           RowBox[{
            RowBox[{"r2", "*", "c1"}], "+", 
            RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
            FractionBox["q", "v2"]}], ")"}], "2"], "-", 
         RowBox[{"4", "r2", "*", "c1", "*", 
          RowBox[{"(", 
           RowBox[{"d", "+", 
            FractionBox["q", "v2"]}], ")"}]}]}]]}], 
      RowBox[{"2", "r2"}]], "\[LessEqual]", "cs"}], "&&", 
    RowBox[{"r2", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"c1", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"r1", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"x1", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"d", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"q", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"v2", "\[GreaterEqual]", "0"}], "&&", 
    RowBox[{"c2", "\[LessEqual]", "c1"}], "&&", 
    RowBox[{"c2", "\[LessEqual]", "cs"}]}], ",", "v2", ",", "Reals"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.404907871996875*^9, 3.404908002653125*^9}, {
  3.40490851960625*^9, 3.404908547903125*^9}, {3.40490860398125*^9, 
  3.4049086121375*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"cs", "\[GreaterEqual]", "0"}], "&&", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"0", "\[LessEqual]", "c1", "<", "cs"}], "&&", 
      RowBox[{"x1", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"r2", ">", "0"}], "&&", 
      RowBox[{"r1", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"d", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"c2", "\[LessEqual]", "c1"}], "&&", 
      RowBox[{"q", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"v2", ">", "0"}]}], ")"}], "||", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"c1", "\[Equal]", "cs"}], "&&", 
      RowBox[{"x1", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"r2", ">", "0"}], "&&", 
      RowBox[{"r1", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"d", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"c2", "\[LessEqual]", "cs"}], "&&", 
      RowBox[{"q", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"v2", ">", "0"}]}], ")"}], "||", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"c1", ">", "cs"}], "&&", 
      RowBox[{"x1", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"r2", ">", "0"}], "&&", 
      RowBox[{"r1", "\[GreaterEqual]", "0"}], "&&", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{
          RowBox[{"0", "\[LessEqual]", "d", "<", 
           FractionBox[
            RowBox[{
             RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
             RowBox[{
              SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
             RowBox[{"cs", " ", "r1", " ", "x1"}]}], 
            RowBox[{"c1", "-", "cs"}]]}], "&&", 
          RowBox[{"c2", "\[LessEqual]", "cs"}], "&&", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{
              RowBox[{"q", "\[Equal]", "0"}], "&&", 
              RowBox[{"v2", ">", "0"}]}], ")"}], "||", 
            RowBox[{"(", 
             RowBox[{
              RowBox[{"q", ">", "0"}], "&&", 
              RowBox[{"v2", "\[GreaterEqual]", 
               FractionBox[
                RowBox[{
                 RowBox[{"c1", " ", "q"}], "-", 
                 RowBox[{"cs", " ", "q"}]}], 
                RowBox[{
                 RowBox[{
                  RowBox[{"-", "c1"}], " ", "d"}], "+", 
                 RowBox[{"cs", " ", "d"}], "+", 
                 RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
                 RowBox[{
                  SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
                 RowBox[{"cs", " ", "r1", " ", "x1"}]}]]}]}], ")"}]}], 
           ")"}]}], ")"}], "||", 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"d", "\[Equal]", 
           FractionBox[
            RowBox[{
             RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
             RowBox[{
              SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
             RowBox[{"cs", " ", "r1", " ", "x1"}]}], 
            RowBox[{"c1", "-", "cs"}]]}], "&&", 
          RowBox[{"c2", "\[LessEqual]", "cs"}], "&&", 
          RowBox[{"q", "\[Equal]", "0"}], "&&", 
          RowBox[{"v2", ">", "0"}]}], ")"}]}], ")"}]}], ")"}]}], 
   ")"}]}]], "Output",
 CellChangeTimes->{3.404908586746875*^9, 3.40511508*^9, 3.436739992484375*^9, 
  3.6574844238822794`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     FractionBox[
      RowBox[{
       RowBox[{"(", 
        RowBox[{
         RowBox[{"r2", "*", "c1"}], "+", 
         RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
         FractionBox["q", "v2"]}], ")"}], "-", 
       SqrtBox[
        RowBox[{
         SuperscriptBox[
          RowBox[{"(", 
           RowBox[{
            RowBox[{"r2", "*", "c1"}], "+", 
            RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
            FractionBox["q", "v2"]}], ")"}], "2"], "-", 
         RowBox[{"4", "r2", "*", "c1", "*", 
          RowBox[{"(", 
           RowBox[{"d", "+", 
            FractionBox["q", "v2"]}], ")"}]}]}]]}], 
      RowBox[{"2", "r2"}]], "\[LessEqual]", "cs"}], "&&", 
    RowBox[{"r2", ">", "0"}], "&&", 
    RowBox[{"c1", ">", "0"}], "&&", 
    RowBox[{"r1", ">", "0"}], "&&", 
    RowBox[{"x1", ">", "0"}], "&&", 
    RowBox[{"d", ">", "0"}], "&&", 
    RowBox[{"q", ">", "0"}], "&&", 
    RowBox[{"v2", ">", "0"}], "&&", 
    RowBox[{"c2", "<", "c1"}], "&&", 
    RowBox[{"c2", "<", "cs"}]}], ",", "v2", ",", "Reals"}], "]"}]], "Input",
 CellChangeTimes->{{3.404907871996875*^9, 3.404908002653125*^9}, {
  3.40490851960625*^9, 3.404908547903125*^9}, {3.40490860398125*^9, 
  3.404908656559375*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"cs", ">", "0"}], "&&", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"0", "<", "c1", "\[LessEqual]", "cs"}], "&&", 
      RowBox[{"x1", ">", "0"}], "&&", 
      RowBox[{"r2", ">", "0"}], "&&", 
      RowBox[{"r1", ">", "0"}], "&&", 
      RowBox[{"d", ">", "0"}], "&&", 
      RowBox[{"c2", "<", "c1"}], "&&", 
      RowBox[{"q", ">", "0"}], "&&", 
      RowBox[{"v2", ">", "0"}]}], ")"}], "||", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"c1", ">", "cs"}], "&&", 
      RowBox[{"x1", ">", "0"}], "&&", 
      RowBox[{"r2", ">", "0"}], "&&", 
      RowBox[{"r1", ">", "0"}], "&&", 
      RowBox[{"0", "<", "d", "<", 
       FractionBox[
        RowBox[{
         RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
         RowBox[{
          SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
         RowBox[{"cs", " ", "r1", " ", "x1"}]}], 
        RowBox[{"c1", "-", "cs"}]]}], "&&", 
      RowBox[{"c2", "<", "cs"}], "&&", 
      RowBox[{"q", ">", "0"}], "&&", 
      RowBox[{"v2", "\[GreaterEqual]", 
       FractionBox[
        RowBox[{
         RowBox[{"c1", " ", "q"}], "-", 
         RowBox[{"cs", " ", "q"}]}], 
        RowBox[{
         RowBox[{
          RowBox[{"-", "c1"}], " ", "d"}], "+", 
         RowBox[{"cs", " ", "d"}], "+", 
         RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
         RowBox[{
          SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
         RowBox[{"cs", " ", "r1", " ", "x1"}]}]]}]}], ")"}]}], 
   ")"}]}]], "Output",
 CellChangeTimes->{3.4049086597*^9, 3.405115218984375*^9, 
  3.436739996671875*^9, 3.657484428453088*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     FractionBox[
      RowBox[{
       RowBox[{"(", 
        RowBox[{
         RowBox[{"r2", "*", "c1"}], "+", 
         RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
         FractionBox["q", "v2"]}], ")"}], "-", 
       SqrtBox[
        RowBox[{
         SuperscriptBox[
          RowBox[{"(", 
           RowBox[{
            RowBox[{"r2", "*", "c1"}], "+", 
            RowBox[{"r1", "*", "x1"}], "+", "d", "+", 
            FractionBox["q", "v2"]}], ")"}], "2"], "-", 
         RowBox[{"4", "r2", "*", "c1", "*", 
          RowBox[{"(", 
           RowBox[{"d", "+", 
            FractionBox["q", "v2"]}], ")"}]}]}]]}], 
      RowBox[{"2", "r2"}]], "\[LessEqual]", "cs"}], "&&", 
    RowBox[{"r2", ">", "0"}], "&&", 
    RowBox[{"c1", ">", "0"}], "&&", 
    RowBox[{"r1", ">", "0"}], "&&", 
    RowBox[{"x1", ">", "0"}], "&&", 
    RowBox[{"d", ">", "0"}], "&&", 
    RowBox[{"q", ">", "0"}], "&&", 
    RowBox[{"v2", ">", "0"}], "&&", 
    RowBox[{"c2", "<", "c1"}], "&&", 
    RowBox[{"c2", "<", "cs"}], "&&", 
    RowBox[{"c1", ">", "cs"}]}], ",", "v2", ",", "Reals"}], "]"}]], "Input",
 CellChangeTimes->{{3.404907871996875*^9, 3.404908002653125*^9}, {
  3.40490851960625*^9, 3.404908547903125*^9}, {3.40490860398125*^9, 
  3.40490870079375*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"cs", ">", "0"}], "&&", 
  RowBox[{"c1", ">", "cs"}], "&&", 
  RowBox[{"x1", ">", "0"}], "&&", 
  RowBox[{"r2", ">", "0"}], "&&", 
  RowBox[{"r1", ">", "0"}], "&&", 
  RowBox[{"0", "<", "d", "<", 
   FractionBox[
    RowBox[{
     RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
     RowBox[{
      SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
     RowBox[{"cs", " ", "r1", " ", "x1"}]}], 
    RowBox[{"c1", "-", "cs"}]]}], "&&", 
  RowBox[{"c2", "<", "cs"}], "&&", 
  RowBox[{"q", ">", "0"}], "&&", 
  RowBox[{"v2", "\[GreaterEqual]", 
   FractionBox[
    RowBox[{
     RowBox[{"c1", " ", "q"}], "-", 
     RowBox[{"cs", " ", "q"}]}], 
    RowBox[{
     RowBox[{
      RowBox[{"-", "c1"}], " ", "d"}], "+", 
     RowBox[{"cs", " ", "d"}], "+", 
     RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
     RowBox[{
      SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
     RowBox[{"cs", " ", "r1", " ", "x1"}]}]]}]}]], "Output",
 CellChangeTimes->{{3.40490868998125*^9, 3.40490870216875*^9}, 
   3.405115225984375*^9, 3.436739999890625*^9, 3.657484433382696*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FullSimplify", "[", 
  FractionBox[
   RowBox[{
    RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
    RowBox[{
     SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
    RowBox[{"cs", " ", "r1", " ", "x1"}]}], 
   RowBox[{"c1", "-", "cs"}]], "]"}]], "Input",
 CellChangeTimes->{{3.404908776028125*^9, 3.404908783371875*^9}, 
   3.40490884104375*^9}],

Cell[BoxData[
 RowBox[{"cs", " ", 
  RowBox[{"(", 
   RowBox[{"r2", "+", 
    FractionBox[
     RowBox[{"r1", " ", "x1"}], 
     RowBox[{"c1", "-", "cs"}]]}], ")"}]}]], "Output",
 CellChangeTimes->{3.404908784559375*^9, 3.404908845621875*^9, 
  3.405115267671875*^9, 3.43674000728125*^9, 3.6574844387179055`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FullSimplify", "[", 
  FractionBox[
   RowBox[{
    RowBox[{"c1", " ", "q"}], "-", 
    RowBox[{"cs", " ", "q"}]}], 
   RowBox[{
    RowBox[{
     RowBox[{"-", "c1"}], " ", "d"}], "+", 
    RowBox[{"cs", " ", "d"}], "+", 
    RowBox[{"c1", " ", "cs", " ", "r2"}], "-", 
    RowBox[{
     SuperscriptBox["cs", "2"], " ", "r2"}], "+", 
    RowBox[{"cs", " ", "r1", " ", "x1"}]}]], "]"}]], "Input",
 CellChangeTimes->{{3.404908776028125*^9, 3.404908783371875*^9}, {
  3.40490884104375*^9, 3.40490886073125*^9}}],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{"c1", "-", "cs"}], ")"}], " ", "q"}], 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{"c1", "-", "cs"}], ")"}], " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "d"}], "+", 
      RowBox[{"cs", " ", "r2"}]}], ")"}]}], "+", 
   RowBox[{"cs", " ", "r1", " ", "x1"}]}]]], "Output",
 CellChangeTimes->{3.404908862590625*^9, 3.405115269875*^9, 
  3.436740010421875*^9, 3.6574844425711126`*^9}]
}, Open  ]]
},
WindowSize->{1600, 828},
WindowMargins->{{-8, Automatic}, {Automatic, -8}},
PrintingCopies->1,
PrintingPageRange->{Automatic, Automatic},
PrivateNotebookOptions->{"VersionedStylesheet"->{"Default.nb"[8.] -> False}},
Magnification->1.5,
FrontEndVersion->"10.3 for Microsoft Windows (64-bit) (October 9, 2015)",
StyleDefinitions->FrontEnd`FileName[{
   ParentDirectory[
    ParentDirectory[]], "8th", "2007\:5e74\:7b2c8\:6b21"}, "Classroom.nb", 
  CharacterEncoding -> "CP936"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "S5.4.1"->{
  Cell[2355, 87, 139, 2, 45, "Input",
   CellTags->"S5.4.1"],
  Cell[2497, 91, 903, 32, 74, "Output",
   CellTags->"S5.4.1"],
  Cell[3437, 128, 156, 2, 45, "Input",
   CellTags->"S5.4.1"],
  Cell[3596, 132, 937, 32, 81, "Output",
   CellTags->"S5.4.1"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"S5.4.1", 125188, 2616}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[545, 20, 145, 2, 45, "Input"],
Cell[693, 24, 805, 26, 45, "Input"],
Cell[CellGroupData[{
Cell[1523, 54, 251, 9, 45, "Input",
 CellID->15483236],
Cell[1777, 65, 541, 17, 58, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[2355, 87, 139, 2, 45, "Input",
 CellTags->"S5.4.1"],
Cell[2497, 91, 903, 32, 74, "Output",
 CellTags->"S5.4.1"]
}, Open  ]],
Cell[CellGroupData[{
Cell[3437, 128, 156, 2, 45, "Input",
 CellTags->"S5.4.1"],
Cell[3596, 132, 937, 32, 81, "Output",
 CellTags->"S5.4.1"]
}, Open  ]],
Cell[CellGroupData[{
Cell[4570, 169, 411, 14, 45, "Input",
 CellID->29655719],
Cell[4984, 185, 343, 11, 86, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[5364, 201, 658, 21, 45, "Input",
 CellID->248492329],
Cell[6025, 224, 1004, 35, 70, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[7066, 264, 572, 20, 45, "Input",
 CellID->298539950],
Cell[7641, 286, 14448, 251, 561, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[22126, 542, 662, 23, 45, "Input",
 CellID->167686269],
Cell[22791, 567, 16272, 283, 561, "Output"]
}, Open  ]],
Cell[39078, 853, 50600, 833, 852, "Input"],
Cell[CellGroupData[{
Cell[89703, 1690, 878, 26, 106, "Input"],
Cell[90584, 1718, 17216, 392, 276, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[107837, 2115, 1220, 33, 154, "Input"],
Cell[109060, 2150, 3683, 94, 244, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[112780, 2249, 1412, 37, 154, "Input"],
Cell[114195, 2288, 3220, 82, 244, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[117452, 2375, 1291, 36, 154, "Input"],
Cell[118746, 2413, 1622, 46, 129, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[120405, 2464, 1328, 37, 154, "Input"],
Cell[121736, 2503, 1086, 31, 101, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[122859, 2539, 367, 10, 69, "Input"],
Cell[123229, 2551, 312, 8, 67, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[123578, 2564, 532, 15, 68, "Input"],
Cell[124113, 2581, 471, 15, 69, "Output"]
}, Open  ]]
}
]
*)

(* End of internal cache information *)
