body {
  font-family: Times New Roman;
  font-style: normal;
  text-align: left;
  color: rgb(0,0,0)
}
body A {
  color: rgb(0,0,0)
}

span.scriptsize {
  font-size: 80%;
  color: darkgreen
}

p.flushleft {
  border: none;
  font-size: 100%;
  text-align: left;
  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: 0pt
}
p.flushright {
  border: none;
  font-size: 100%;
  text-align: right;
  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: 0pt
}
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;
}
p.Body-Math {
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 18pt;
  padding-bottom: 0pt;
  text-indent: 0pt
}
h2.chapter {
  font-size: 200%
}
h3.section {
  font-size: 150%
}
h4.subsection {
  font-size: 117%;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 18pt
}
h5.subsubsection {
  font-size: 100%;
  margin-left: 36pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 18pt
}
h6.paragraph {
  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
}
h6.subparagraph {
  font-size: 100%;
  margin-left: 18pt;
  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.center {
  font-size: 100%;
  text-align: center
}
p.f-0 {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
p.f-0-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.f-101 {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-101 {
  font-size: 100%
}
div.f-101 span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.f-101-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.f-1 {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-1 {
  font-size: 100%
}
div.f-1 span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.f-1-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.f-2 {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-2 {
  font-size: 100%
}
div.f-2 span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.f-2-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.f-7 {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-7 {
  font-size: 100%
}
div.f-7 span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.f-7-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.f-11 {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-11 {
  font-size: 100%
}
div.f-11 span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.f-11-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.f-12 {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-12 {
  font-size: 100%
}
div.f-12 span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.f-12-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.f-13 {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-13 {
  font-size: 100%
}
div.f-13 span.leadin {
  padding-top: 0pt
}
p.f-13-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.f-14 {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-14 {
  font-size: 100%
}
div.f-14 span.leadin {
  padding-top: 0pt
}
p.f-14-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 48pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
h1.part {
  font-size: 300%;
}
p.proof {
  border: none;
  font-size: 100%;
  margin-left: 58pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.proof {
  border: none;
  font-size: 100%
}
div.proof span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 0pt
}
p.proof-FirstPara {
  font-size: 100%;
  margin-left: 58pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.acknowledgement {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.acknowledgement {
  font-size: 100%
}
div.acknowledgement span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.acknowledgement-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.algorithm {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.algorithm {
  font-size: 100%
}
div.algorithm span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.algorithm-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.axiom {
  font-size: 100%;

  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.axiom {
  font-size: 100%
}
div.axiom span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.axiom-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.case {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.case {
  font-size: 100%
}
div.case span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.case-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.claim {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.claim {
  font-size: 100%
}
div.claim span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.claim-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.conclusion {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.conclusion {
  font-size: 100%
}
div.conclusion span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.conclusion-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.condition {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.condition {
  font-size: 100%
}
div.condition span.leadin {
  font-weight: 700;
  padding-top: 4pt
}
p.condition-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.conjecture {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.conjecture {
  font-size: 100%
}
div.conjecture span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.conjecture-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.corollary {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.corollary {
  font-size: 100%
}
div.corollary span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.corollary-FirstPara {
  font-size: 100%;

  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.criterion {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.criterion {
  font-size: 100%
}
div.criterion span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.criterion-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.definition {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.definition {
  font-size: 100%
}
div.definition span.leadin {
  font-weight: 700;
  padding-top: 4pt
}
p.definition-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.example {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.example {
  font-size: 100%
}
div.example span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.example-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.exercise {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.exercise {
  font-size: 100%
}
div.exercise span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.exercise-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.lemma {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.lemma {
  font-size: 100%
}
div.lemma span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.lemma-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.notation {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.notation {
  font-size: 100%
}
div.notation span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.notation-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.problem {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.problem {
  font-size: 100%
}
div.problem span.leadin {
  font-weight: 700;
  padding-top: 4pt
}
p.problem-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.proposition {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.proposition {
  font-size: 100%
}
div.proposition span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.proposition-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.remark {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.remark {
  font-size: 100%
}
div.remark span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.remark-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.solution {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.solution {
  font-size: 100%
}
div.solution span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.solution-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.summary {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.summary {
  font-size: 100%
}
div.summary span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.summary-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.theorem {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.theorem {
  font-size: 100%
}
div.theorem span.leadin {
  font-weight: 700;
  font-style: normal;
  padding-top: 4pt
}
p.theorem-FirstPara {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 58pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
h2.chapter span.huge2 {
  font-size: 92%
}
h2.chapter span.large3 {
  font-size: 75%
}
h2.chapter span.large2 {
  font-size: 67%
}
h2.chapter span.footnotesize {
  font-size: 38%
}
h2.chapter span.huge1 {
  font-size: 83%
}
h2.chapter span.large1 {
  font-size: 58%
}
h2.chapter span.normalsize {
  font-size: 50%
}
h2.chapter span.scriptsize {
  font-size: 33%
}
h2.chapter span.small {
  font-size: 42%
}
h2.chapter span.tiny {
  font-size: 25%
}
p.error span.huge2 {
  font-size: 110%
}
p.error span.large3 {
  font-size: 90%
}
p.error span.large2 {
  font-size: 80%
}
p.error span.footnotesize {
  font-size: 45%
}
p.error span.huge1 {
  font-size: 100%
}
p.error span.large1 {
  font-size: 70%
}
p.error span.normalsize {
  font-size: 60%
}
p.error span.scriptsize {
  font-size: 40%
}
p.error span.small {
  font-size: 50%
}
p.error span.tiny {
  font-size: 30%
}
h1.part span.huge2 {
  font-size: 61%
}
h1.part span.large3 {
  font-size: 50%
}
h1.part span.large2 {
  font-size: 44%
}
h1.part span.footnotesize {
  font-size: 25%
}
h1.part span.huge1 {
  font-size: 56%
}
h1.part span.large1 {
  font-size: 39%
}
h1.part span.normalsize {
  font-size: 33%
}
h1.part span.scriptsize {
  font-size: 22%
}
h1.part span.small {
  font-size: 28%
}
h1.part span.tiny {
  font-size: 17%
}
h4.subsection span.huge2 {
  font-size: 157%
}
h4.subsection span.large3 {
  font-size: 129%
}
h4.subsection span.large2 {
  font-size: 114%
}
h4.subsection span.footnotesize {
  font-size: 64%
}
h4.subsection span.huge1 {
  font-size: 143%
}
h4.subsection span.large1 {
  font-size: 100%
}
h4.subsection span.normalsize {
  font-size: 86%
}
h4.subsection span.scriptsize {
  font-size: 57%
}
h4.subsection span.small {
  font-size: 71%
}
h4.subsection span.tiny {
  font-size: 43%
}
span.tiny span.huge2 {
  font-size: 367%
}
span.tiny span.large3 {
  font-size: 300%
}
span.tiny span.large2 {
  font-size: 267%
}
span.tiny span.footnotesize {
  font-size: 150%
}
span.tiny span.huge1 {
  font-size: 333%
}
span.tiny span.large1 {
  font-size: 233%
}
span.tiny span.normalsize {
  font-size: 200%
}
span.tiny span.scriptsize {
  font-size: 133%
}
span.tiny span.small {
  font-size: 167%
}
span.tiny span.tiny {
  font-size: 100%
}
pre span.huge2 {
  font-size: 220%
}
pre span.large3 {
  font-size: 180%
}
pre span.large2 {
  font-size: 160%
}
pre h2.chapter {
  font-size: 240%
}
pre p.error {
  font-size: 200%
}
pre span.footnotesize {
  font-size: 90%
}
pre span.huge1 {
  font-size: 200%
}
pre span.large1 {
  font-size: 140%
}
pre span.normalsize {
  font-size: 120%
}
pre h1.part {
  font-size: 360%
}
pre span.scriptsize {
  font-size: 80%
}
pre h3.section {
  font-size: 180%
}
pre span.small {
  font-size: 100%
}
pre h4.subsection {
  font-size: 140%
}
pre span.tiny {
  font-size: 60%
}
pre pre {
  font-size: 100%
}