body {
  font-family: "Times New Roman", Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 400;
  text-align: left;
  color: rgb(0,0,0)
}
body A { color: black
; font-family: Verdana, Arial, Helvetica, sans-serif; }
body A math { color: black
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error { font-size: 167%; font-weight: 700; color: rgb(255,0,0)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 18pt
}
p.Body-Math { background-color: rgb(255,255,255); border: none; font-size: 100%; text-align: left; color: rgb(128,0,128); font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 0
 }
h1.part {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 300%;
  color: black
}
h1.part span.inlineMath { color: black
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 200%;
  color: black
}
h2.chapter span.inlineMath { color: black
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 150%;
  color: rgb(0,0,255)
}
h4.subsection { font-size: 117%; color: rgb(0,0,255); font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 18pt
; margin: 0 0 0 18pt; padding: 0; }
h5.subsubsection { font-size: 100%; color: rgb(0,0,255); font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 18pt
; margin: 0 0 0 36pt; padding: 0; }
h6.paragraph { font-size: 100%; color: rgb(0,0,255); font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 18pt
; margin: 0; padding: 0; }
h6.subparagraph { font-size: 100%; color: rgb(0,0,255); font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 18pt
; margin: 0 0 0 18pt; padding: 0; }
em { font-style: italic; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
em span.inlineMath { color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.rm { color: rgb(0,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.rm span.inlineMath { color: rgb(0,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.bs { font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: 700
 }
strong { font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: 700
 }
span.it { font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic
 }
span.it span.inlineMath { color: rgb(0,255,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.sl {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: italic;
  color: rgb(0,0,255)
}
span.sf {
  font-family: Verdana, Arial, Helvetica, sans-serif
}
span.sf span.inlineMath { color: rgb(0,0,0)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.sc {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  color: rgb(0,128,0)
}
span.sc span.inlineMath { color: rgb(0,128,0)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tt {
  font-family: Verdana, Arial, Helvetica, sans-serif
}
span.tt span.inlineMath { color: rgb(0,0,0)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
dl.description dd p { background-color: rgb(255,255,255); border: none; font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-align: left; text-indent: 0
 }
dl.description { background-color: rgb(255,255,255); border: none; font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
dl.description dt.leadin {
  background-color: rgb(0,0,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
ol li p { background-color: rgb(255,255,255); border: none; font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-align: left; text-indent: 0
 }
ol { background-color: rgb(255,255,255); border: none; font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
ol .leadin { background-color: rgb(0,0,255); font-style: normal; font-weight: 700; color: rgb(255,255,0)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
ul li p { background-color: rgb(255,255,255); border: none; font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-align: left; text-indent: 0
 }
ul { background-color: rgb(255,255,255); border: none; font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
ul .leadin {
  background-color: rgb(0,0,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 117%;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
span.cal {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  color: rgb(192,192,192)
}
span.cal span.inlineMath { color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny { font-size: 50%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize { font-size: 67%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize { font-size: 75%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small { font-size: 83%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.normalsize { font-size: 100%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 { font-size: 117%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 { font-size: 133%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 { font-size: 150%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 { font-size: 167%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 { font-size: 183%; color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
ol.thebibliography li p { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 0
 }
ol.thebibliography { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.quotation { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 0
 }
p.quote { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 0
 }
p.center { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-align: center
 }
p.f-0 { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0; padding: 0 0 0 48pt; }
div.f-0 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.f-0 span.leadin {
  background-color: rgb(225,225,225);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 0
}
p.f-0-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0; padding: 0 0 0 48pt; }
p.f-1 { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0; padding: 0 0 0 48pt; }
div.f-1 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.f-1 span.leadin {
  background-color: rgb(225,225,225);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 0
}
p.f-1-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0; padding: 0 0 0 48pt; }
p.f-2 { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0; padding: 0 0 0 48pt; }
div.f-2 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.f-2 span.leadin {
  background-color: rgb(225,225,225);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 0
}
p.f-2-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0; padding: 0 0 0 48pt; }
p.f-7 { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0; padding: 0 0 0 48pt; }
div.f-7 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.f-7 span.leadin {
  background-color: rgb(225,225,225);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 0
}
p.f-7-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0; padding: 0 0 0 48pt; }
p.abstract { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0; padding: 0 0 0 48pt; }
div.abstract { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.abstract span.leadin {
  background-color: rgb(225,225,225);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 0
}
p.abstract-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0; padding: 0 0 0 48pt; }
p.f-11 { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0; padding: 0 0 0 48pt; }
div.f-11 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.f-11 span.leadin {
  background-color: rgb(225,225,225);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 0
}
p.f-11-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0; padding: 0 0 0 48pt; }
p.f-12 { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0; padding: 0 0 0 48pt; }
div.f-12 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.f-12 span.leadin {
  background-color: rgb(225,225,225);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 0
}
p.f-12-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0; padding: 0 0 0 48pt; }
p.f-13 { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0; padding: 0 0 0 48pt; }
div.f-13 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.f-13 span.leadin {
  background-color: rgb(225,225,225);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 0
}
p.f-13-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0; padding: 0 0 0 48pt; }
p.f-14 { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0; padding: 0 0 0 48pt; }
div.f-14 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.f-14 span.leadin {
  background-color: rgb(225,225,225);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 0
}
p.f-14-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0; padding: 0 0 0 48pt; }
span.frak {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  color: rgb(192,192,192)
}
span.frak span.inlineMath { color: rgb(255,0,255)
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.Bbb {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  color: rgb(192,192,192)
}
p.proof { background-color: rgb(225,225,225); border: none; font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; margin: 0 0 0 58pt; padding: 0; }
div.proof { background-color: rgb(225,225,225); border: none; font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.proof span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 0
}
p.proof-FirstPara { background-color: rgb(225,225,225); font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; text-indent: 2pt
; margin: 0 0 0 58pt; padding: 0; }
p.acknowledgement { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.acknowledgement { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.acknowledgement span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.acknowledgement-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.algorithm { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.algorithm { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.algorithm span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.algorithm-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.axiom { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.axiom { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.axiom span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.axiom-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.case { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.case { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.case span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.case-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.claim { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.claim { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.claim span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.claim-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.conclusion { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.conclusion { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.conclusion span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.conclusion-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.condition { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.condition { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.condition span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 4pt
}
p.condition-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.conjecture { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.conjecture { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.conjecture span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.conjecture-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.corollary { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.corollary { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.corollary span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.corollary-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.criterion { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.criterion { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.criterion span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.criterion-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.definition { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.definition { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.definition span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 4pt
}
p.definition-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.example { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.example { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.example span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.example-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.exercise { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.exercise { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.exercise span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.exercise-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.lemma { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.lemma { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.lemma span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.lemma-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.notation { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.notation { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.notation span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.notation-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.problem { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.problem { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.problem span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: 700;
  padding-top: 4pt
}
p.problem-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.proposition { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.proposition { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.proposition span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.proposition-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.remark { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.remark { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.remark span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.remark-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.solution { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.solution { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.solution span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.solution-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.summary { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.summary { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.summary span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.summary-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
p.theorem { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; margin: 0; padding: 4pt 0 4pt 58pt; }
div.theorem { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
div.theorem span.leadin {
  background-color: rgb(255,255,255);
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.theorem-FirstPara { font-size: 100%; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: italic; text-indent: 2pt
; margin: 0; padding: 4pt 0 4pt 58pt; }
span.huge2 span.huge2 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 span.large3 { font-size: 82%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 span.large2 { font-size: 73%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 span.footnotesize { font-size: 41%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 span.huge1 { font-size: 91%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 span.large1 { font-size: 64%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 span.normalsize { font-size: 55%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 span.scriptsize { font-size: 36%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 span.small { font-size: 45%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge2 span.tiny { font-size: 27%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.huge2 { font-size: 122%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.large3 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.large2 { font-size: 89%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.footnotesize { font-size: 50%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.huge1 { font-size: 111%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.large1 { font-size: 78%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.normalsize { font-size: 67%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.scriptsize { font-size: 44%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.small { font-size: 56%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large3 span.tiny { font-size: 33%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.huge2 { font-size: 138%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.large3 { font-size: 113%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.large2 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.footnotesize { font-size: 56%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.huge1 { font-size: 125%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.large1 { font-size: 88%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.normalsize { font-size: 75%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.scriptsize { font-size: 50%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.small { font-size: 63%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large2 span.tiny { font-size: 38%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.huge2 { font-size: 92%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.large3 { font-size: 75%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.large2 { font-size: 67%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.footnotesize { font-size: 38%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.huge1 { font-size: 83%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.large1 { font-size: 58%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.normalsize { font-size: 50%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.scriptsize { font-size: 33%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.small { font-size: 42%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h2.chapter span.tiny { font-size: 25%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.huge2 { font-size: 110%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.large3 { font-size: 90%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.large2 { font-size: 80%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.footnotesize { font-size: 45%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.huge1 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.large1 { font-size: 70%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.normalsize { font-size: 60%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.scriptsize { font-size: 40%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.small { font-size: 50%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
p.error span.tiny { font-size: 30%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.huge2 { font-size: 244%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.large3 { font-size: 200%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.large2 { font-size: 178%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.footnotesize { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.huge1 { font-size: 222%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.large1 { font-size: 156%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.normalsize { font-size: 133%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.scriptsize { font-size: 89%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.small { font-size: 111%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.footnotesize span.tiny { font-size: 67%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.huge2 { font-size: 110%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.large3 { font-size: 90%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.large2 { font-size: 80%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.footnotesize { font-size: 45%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.huge1 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.large1 { font-size: 70%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.normalsize { font-size: 60%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.scriptsize { font-size: 40%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.small { font-size: 50%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.huge1 span.tiny { font-size: 30%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.huge2 { font-size: 157%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.large3 { font-size: 129%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.large2 { font-size: 114%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.footnotesize { font-size: 64%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.huge1 { font-size: 143%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.large1 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.normalsize { font-size: 86%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.scriptsize { font-size: 57%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.small { font-size: 71%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.large1 span.tiny { font-size: 43%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.huge2 { font-size: 61%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.large3 { font-size: 50%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.large2 { font-size: 44%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.footnotesize { font-size: 25%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.huge1 { font-size: 56%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.large1 { font-size: 39%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.normalsize { font-size: 33%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.scriptsize { font-size: 22%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.small { font-size: 28%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h1.part span.tiny { font-size: 17%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.huge2 { font-size: 275%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.large3 { font-size: 225%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.large2 { font-size: 200%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.footnotesize { font-size: 113%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.huge1 { font-size: 250%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.large1 { font-size: 175%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.normalsize { font-size: 150%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.scriptsize { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.small { font-size: 125%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.scriptsize span.tiny { font-size: 75%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.huge2 { font-size: 122%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.large3 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.large2 { font-size: 89%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.footnotesize { font-size: 50%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.huge1 { font-size: 111%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.large1 { font-size: 78%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.normalsize { font-size: 67%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.scriptsize { font-size: 44%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.small { font-size: 56%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h3.section span.tiny { font-size: 33%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.huge2 { font-size: 220%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.large3 { font-size: 180%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.large2 { font-size: 160%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.footnotesize { font-size: 90%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.huge1 { font-size: 200%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.large1 { font-size: 140%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.normalsize { font-size: 120%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.scriptsize { font-size: 80%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.small { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.small span.tiny { font-size: 60%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.huge2 { font-size: 157%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.large3 { font-size: 129%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.large2 { font-size: 114%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.footnotesize { font-size: 64%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.huge1 { font-size: 143%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.large1 { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.normalsize { font-size: 86%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.scriptsize { font-size: 57%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.small { font-size: 71%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
h4.subsection span.tiny { font-size: 43%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.huge2 { font-size: 367%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.large3 { font-size: 300%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.large2 { font-size: 267%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.footnotesize { font-size: 150%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.huge1 { font-size: 333%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.large1 { font-size: 233%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.normalsize { font-size: 200%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.scriptsize { font-size: 133%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.small { font-size: 167%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
span.tiny span.tiny { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.huge2 { font-size: 220%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.large3 { font-size: 180%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.large2 { font-size: 160%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre h2.chapter { font-size: 240%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre p.error { font-size: 200%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.footnotesize { font-size: 90%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.huge1 { font-size: 200%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.large1 { font-size: 140%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.normalsize { font-size: 120%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre h1.part { font-size: 360%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.scriptsize { font-size: 80%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre h3.section { font-size: 180%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.small { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre h4.subsection { font-size: 140%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre span.tiny { font-size: 60%
; font-family: Verdana, Arial, Helvetica, sans-serif; }
pre pre { font-size: 100%
; font-family: Verdana, Arial, Helvetica, sans-serif; }