body {
  background-color: transparent !
  important
}

body {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-style: normal;
  font-weight: 400;
  text-align: left;
  color: rgb(0,0,0)
}
body .graphicCaption {
  font-style: normal;
  font-weight: 400
}
body .leadin math {
  color: rgb(255,0,0)
}
body .plotCaption {
  font-style: normal;
  font-weight: 400
}
body A {
  font-family: Arial;
  font-size: 100%;
  font-style: normal;
  font-weight: 400;
  color: rgb(128,0,128)
}
body A math {
  color: rgb(0,128,0)
}
body TABLE {
  padding-left: 0pt;
  padding-right: 0pt;
  padding-top: 0pt;
  padding-bottom: 0pt
}
body TD {
  padding-left: 0.5em;
  padding-right: 0.5em;
  padding-top: 0.5ex;
  padding-bottom: 0.5ex
}
ul {
  list-style-type: disc
}
ul ul {
  list-style-type: disc
}
ul ul ul {
  list-style-type: disc
}
ul ul ul ul {
  list-style-type: disc
}
ol {
  list-style-type: decimal
}
ol ol {
  list-style-type: lower-alpha
}
ol ol ol {
  list-style-type: lower-roman
}
ol ol ol ol {
  list-style-type: upper-alpha
}
p.error {
  font-size: 167%;
  font-weight: 700;
  color: rgb(255,0,0)
}
p.flushleft {
  background-color: rgb(165,255,165);
  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 {
  background-color: rgb(255,255,165);
  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;
  text-indent: 0pt
}
p.Body-Math {
  font-size: 83%;
  color: rgb(64,64,64);
  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.Body-Math span.inlineMath {
  font-size: 100%
}
h1.part {
  font-size: 183%;
  color: rgb(9,62,125);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 6pt;
  padding-right: 0pt;
  padding-bottom: 2pt;
  text-indent: 0pt
}
h1.section {
  font-size: 100%;
  color: rgb(9,62,125);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 6pt;
  padding-right: 0pt;
  padding-bottom: 2pt;
  text-indent: 0pt
}
h2.subsection {
  font-size: 83%;
  color: rgb(9,62,125);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 2pt;
  padding-right: 0pt;
  padding-bottom: 2pt;
  text-indent: 7pt
}
h2.subsection span.inlineMath {
  font-size: 100%
}
h3.subsubsection {
  font-size: 117%;
  color: rgb(9,62,125);
  margin-left: 7pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 6pt;
  padding-right: 7pt;
  padding-bottom: 4pt;
  text-indent: 0pt
}
h4.paragraph {
  font-size: 100%;
  font-weight: 700;
  color: rgb(9,62,125);
  margin-left: 7pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 6pt;
  padding-right: 7pt;
  padding-bottom: 4pt;
  text-indent: 0pt
}
h5.subparagraph {
  font-size: 100%;
  color: rgb(9,62,125);
  margin-left: 7pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 6pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 0pt
}
em {
  font-size: 75%;
  font-style: italic;
  color: rgb(9,62,125)
}
em span.inlineMath {
  color: rgb(255,0,255)
}
span.rm {
  font-family: Times New Roman;
  color: rgb(0,0,255)
}
span.rm span.inlineMath {
  color: rgb(0,0,255)
}
span.bs {
  font-weight: 700
}
strong {
  font-weight: 700
}
span.it {
  font-style: italic
}
span.it span.inlineMath {
  color: rgb(0,255,255)
}
span.sl {
  font-style: italic;
  font-weight: 700;
  color: rgb(9,62,125)
}
span.sf {
  font-family: Arial;
  font-size: 83%;
  font-weight: 400;
  color: rgb(9,62,125)
}
span.sf span.inlineMath {
  color: rgb(255,0,0)
}
span.sc {
  font-family: cmcsc10;
  color: rgb(0,0,0)
}
span.sc span.inlineMath {
  color: rgb(0,128,0)
}
span.tt {
  font-family: Courier New;
  font-weight: 700
}
span.tt span.inlineMath {
  color: rgb(0,0,0)
}
span.cal {
  font-family: cmsy10;
  color: rgb(192,192,192)
}
span.frak {
  font-family: eufm10;
  font-style: normal;
  color: rgb(192,192,192)
}
span.Bbb {
  font-family: msbm10;
  color: rgb(192,192,192)
}
span.tiny {
  font-size: 50%
}
span.scriptsize {
  font-size: 67%
}
span.footnotesize {
  font-size: 75%
}
span.small {
  font-size: 83%
}
span.normalsize {
  font-size: 75%
}
span.large1 {
  font-size: 92%
}
span.large2 {
  font-size: 117%
}
span.large3 {
  font-size: 150%
}
span.huge1 {
  font-size: 167%
}
span.huge2 {
  font-size: 183%
}
dl.description dd p {
  font-size: 100%;
  text-align: left;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 43pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 0pt
}
dl.description dd span.inlineMath {
  font-size: 100%
}
dl.description {
  font-size: 83%
}
dl.description dt.leadin {
  font-size: 100%;
  font-style: normal;
  font-weight: 400;
  color: rgb(9,62,125)
}
ol li p {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 25pt;
  padding-bottom: 4pt;
  text-indent: 16pt
}
ol li span.inlineMath {
  font-size: 100%
}
ol {
  font-size: 75%
}
ol .leadin {
  font-size: 100%;
  font-weight: 700;
  color: rgb(9,62,125)
}
ul li p {
  font-size: 100%;
  text-align: left;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 18pt;
  padding-top: 1pt;
  padding-right: 18pt;
  padding-bottom: 1pt;
  text-indent: 14pt
}
ul {
  font-size: 75%
}
ul .leadin {
  font-size: 100%;
  color: rgb(9,62,125)
}
ol.thebibliography li p {
  font-size: 100%;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 18pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 0pt
}
ol.thebibliography {
  font-size: 100%
}
ol.thebibliography .leadin {
  font-style: normal;
  font-weight: 700;
  color: rgb(9,62,125)
}
p.quote {
  font-size: 100%;
  text-align: left;
  color: rgb(9,62,125);
  margin-left: 40pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 40pt;
  padding-bottom: 0pt;
  text-indent: 18pt
}
p.quotation {
  background-color: rgb(242,242,242);
  border: none;
  font-size: 83%;
  color: rgb(9,62,125);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 18pt;
  padding-top: 7pt;
  padding-right: 0pt;
  padding-bottom: 7pt;
  text-indent: 0pt
}
p.center {
  font-size: 75%;
  text-align: center;
  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.center span.inlineMath {
  font-size: 100%
}
p.proof {
  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
}
div.proof {
  font-size: 100%
}
div.proof span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.proof-FirstPara {
  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: 2pt
}
p.acknowledgement {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.acknowledgement {
  font-size: 100%
}
div.acknowledgement span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.acknowledgement-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.algorithm {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.algorithm {
  font-size: 100%
}
div.algorithm span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.algorithm-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.axiom {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.axiom {
  font-size: 100%
}
div.axiom span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.axiom-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.case {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.case {
  font-size: 100%
}
div.case span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.case-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.claim {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.claim {
  font-family: Verdana;
  font-size: 75%
}
div.claim span.leadin {
  font-size: 111%;
  font-weight: 700;
  padding-top: 0pt
}
p.claim-FirstPara {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.conclusion {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.conclusion {
  font-family: Verdana;
  font-size: 75%
}
div.conclusion span.leadin {
  font-size: 100%;
  font-weight: 700;
  padding-top: 0pt
}
p.conclusion-FirstPara {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.condition {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.condition {
  font-size: 100%
}
div.condition span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.condition-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.conjecture {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.conjecture {
  font-size: 100%
}
div.conjecture span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.conjecture-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.corollary {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.corollary {
  font-size: 100%
}
div.corollary span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.corollary-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.criterion {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.criterion {
  font-size: 100%
}
div.criterion span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.criterion-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.definition {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.definition span.inlineMath {
  font-size: 100%
}
div.definition {
  font-family: Verdana;
  font-size: 75%
}
div.definition span.leadin {
  font-size: 100%;
  font-weight: 700;
  padding-top: 0pt
}
p.definition-FirstPara {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.example {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.example {
  font-size: 100%
}
div.example span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.example-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.exercise {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.exercise {
  font-size: 100%
}
div.exercise span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.exercise-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.lemma {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.lemma {
  font-size: 100%
}
div.lemma span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.lemma-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.notation {
  font-size: 100%;
  font-style: italic;
  font-weight: 700;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.notation {
  font-size: 75%;
  font-weight: 700
}
div.notation span.leadin {
  font-size: 100%;
  font-weight: 700;
  padding-top: 0pt
}
p.notation-FirstPara {
  font-size: 100%;
  font-style: italic;
  font-weight: 700;
  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: 2pt
}
p.problem {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.problem {
  font-size: 100%
}
div.problem span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.problem-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.proposition {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.proposition span.inlineMath {
  font-size: 100%
}
div.proposition {
  font-family: Verdana;
  font-size: 75%
}
div.proposition span.leadin {
  font-size: 100%;
  font-weight: 700;
  padding-top: 0pt
}
p.proposition-FirstPara {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.remark {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.remark {
  font-family: Verdana;
  font-size: 75%
}
div.remark span.leadin {
  font-size: 100%;
  font-weight: 700;
  padding-top: 0pt
}
p.remark-FirstPara {
  font-family: Verdana;
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.solution {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.solution {
  font-size: 100%
}
div.solution span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.solution-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.summary {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.summary {
  font-size: 100%
}
div.summary span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.summary-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
p.theorem {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.theorem {
  font-size: 100%
}
div.theorem span.leadin {
  font-weight: 700;
  padding-top: 0pt
}
p.theorem-FirstPara {
  font-size: 100%;
  font-style: italic;
  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: 2pt
}
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
}
div.f-0 {
  font-size: 100%
}
div.f-0 span.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700;
  padding-top: 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-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 {
  background-color: rgb(255,225,225);
  font-family: Arial;
  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 {
  background-color: rgb(255,225,225);
  font-family: Arial;
  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 {
  background-color: rgb(255,225,225);
  font-family: Arial;
  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.abstract {
  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.abstract span.inlineMath {
  font-size: 100%
}
div.abstract {
  font-size: 100%
}
div.abstract span.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700;
  padding-top: 0pt
}
p.abstract-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 {
  background-color: rgb(255,225,225);
  font-family: Arial;
  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 {
  background-color: rgb(255,225,225);
  font-family: Arial;
  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 {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700;
  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 {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700;
  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
}
p.Body-Math span.huge2 {
  font-size: 220%
}
p.Body-Math span.large3 {
  font-size: 180%
}
p.Body-Math span.large2 {
  font-size: 140%
}
p.Body-Math em {
  font-size: 90%
}
p.Body-Math span.footnotesize {
  font-size: 90%
}
p.Body-Math span.huge1 {
  font-size: 200%
}
p.Body-Math span.large1 {
  font-size: 110%
}
p.Body-Math span.normalsize {
  font-size: 90%
}
p.Body-Math span.scriptsize {
  font-size: 80%
}
p.Body-Math span.sf {
  font-size: 100%
}
p.Body-Math span.small {
  font-size: 100%
}
p.Body-Math span.tiny {
  font-size: 60%
}
p span.huge2 {
  font-size: 244%
}
p span.large3 {
  font-size: 200%
}
p span.large2 {
  font-size: 156%
}
p em {
  font-size: 100%
}
p span.footnotesize {
  font-size: 100%
}
p span.huge1 {
  font-size: 222%
}
p span.large1 {
  font-size: 122%
}
p span.normalsize {
  font-size: 100%
}
p span.scriptsize {
  font-size: 89%
}
p span.sf {
  font-size: 111%
}
p span.small {
  font-size: 111%
}
p span.tiny {
  font-size: 67%
}
span.huge2 span.huge2 {
  font-size: 100%
}
span.huge2 span.large3 {
  font-size: 82%
}
span.huge2 span.large2 {
  font-size: 64%
}
span.huge2 em {
  font-size: 41%
}
span.huge2 span.footnotesize {
  font-size: 41%
}
span.huge2 span.huge1 {
  font-size: 91%
}
span.huge2 span.large1 {
  font-size: 50%
}
span.huge2 span.normalsize {
  font-size: 41%
}
span.huge2 span.scriptsize {
  font-size: 36%
}
span.huge2 span.sf {
  font-size: 45%
}
span.huge2 span.small {
  font-size: 45%
}
span.huge2 span.tiny {
  font-size: 27%
}
span.large3 span.huge2 {
  font-size: 122%
}
span.large3 span.large3 {
  font-size: 100%
}
span.large3 span.large2 {
  font-size: 78%
}
span.large3 em {
  font-size: 50%
}
span.large3 span.footnotesize {
  font-size: 50%
}
span.large3 span.huge1 {
  font-size: 111%
}
span.large3 span.large1 {
  font-size: 61%
}
span.large3 span.normalsize {
  font-size: 50%
}
span.large3 span.scriptsize {
  font-size: 44%
}
span.large3 span.sf {
  font-size: 56%
}
span.large3 span.small {
  font-size: 56%
}
span.large3 span.tiny {
  font-size: 33%
}
span.large2 span.huge2 {
  font-size: 157%
}
span.large2 span.large3 {
  font-size: 129%
}
span.large2 span.large2 {
  font-size: 100%
}
span.large2 em {
  font-size: 64%
}
span.large2 span.footnotesize {
  font-size: 64%
}
span.large2 span.huge1 {
  font-size: 143%
}
span.large2 span.large1 {
  font-size: 79%
}
span.large2 span.normalsize {
  font-size: 64%
}
span.large2 span.scriptsize {
  font-size: 57%
}
span.large2 span.sf {
  font-size: 71%
}
span.large2 span.small {
  font-size: 71%
}
span.large2 span.tiny {
  font-size: 43%
}
p.center span.huge2 {
  font-size: 244%
}
p.center span.large3 {
	font-size: 200%;
	color: #000066;
	font-weight: bold;
	text-decoration: underline;
}
p.center span.large2 {
  font-size: 156%
}
p.center em {
  font-size: 100%
}
p.center span.footnotesize {
  font-size: 100%
}
p.center span.huge1 {
  font-size: 222%
}
p.center span.large1 {
  font-size: 122%
}
p.center span.normalsize {
  font-size: 100%
}
p.center span.scriptsize {
  font-size: 89%
}
p.center span.sf {
  font-size: 111%
}
p.center span.small {
  font-size: 111%
}
p.center span.tiny {
  font-size: 67%
}
div.claim div.claim {
  font-size: 100%
}
div.claim div.conclusion {
  font-size: 100%
}
div.claim div.definition {
  font-size: 100%
}
div.claim dl.description {
  font-size: 111%
}
div.claim ol {
  font-size: 100%
}
div.claim ul {
  font-size: 100%
}
div.claim div.notation {
  font-size: 100%
}
div.claim div.proposition {
  font-size: 100%
}
div.claim div.remark {
  font-size: 100%
}
div.conclusion div.claim {
  font-size: 100%
}
div.conclusion div.conclusion {
  font-size: 100%
}
div.conclusion div.definition {
  font-size: 100%
}
div.conclusion dl.description {
  font-size: 111%
}
div.conclusion ol {
  font-size: 100%
}
div.conclusion ul {
  font-size: 100%
}
div.conclusion div.notation {
  font-size: 100%
}
div.conclusion div.proposition {
  font-size: 100%
}
div.conclusion div.remark {
  font-size: 100%
}
div.definition div.claim {
  font-size: 100%
}
div.definition div.conclusion {
  font-size: 100%
}
div.definition div.definition {
  font-size: 100%
}
div.definition dl.description {
  font-size: 111%
}
div.definition ol {
  font-size: 100%
}
div.definition ul {
  font-size: 100%
}
div.definition div.notation {
  font-size: 100%
}
div.definition div.proposition {
  font-size: 100%
}
div.definition div.remark {
  font-size: 100%
}
dl.description div.claim {
  font-size: 90%
}
dl.description div.conclusion {
  font-size: 90%
}
dl.description div.definition {
  font-size: 90%
}
dl.description dl.description {
  font-size: 100%
}
dl.description ol {
  font-size: 90%
}
dl.description ul {
  font-size: 90%
}
dl.description div.notation {
  font-size: 90%
}
dl.description div.proposition {
  font-size: 90%
}
dl.description div.remark {
  font-size: 90%
}
em span.huge2 {
  font-size: 244%
}
em span.large3 {
  font-size: 200%
}
em span.large2 {
  font-size: 156%
}
em em {
  font-size: 100%
}
em span.footnotesize {
  font-size: 100%
}
em span.huge1 {
  font-size: 222%
}
em span.large1 {
  font-size: 122%
}
em span.normalsize {
  font-size: 100%
}
em span.scriptsize {
  font-size: 89%
}
em span.sf {
  font-size: 111%
}
em span.small {
  font-size: 111%
}
em span.tiny {
  font-size: 67%
}
ol div.claim {
  font-size: 100%
}
ol div.conclusion {
  font-size: 100%
}
ol div.definition {
  font-size: 100%
}
ol dl.description {
  font-size: 111%
}
ol ol {
  font-size: 100%
}
ol ul {
  font-size: 100%
}
ol div.notation {
  font-size: 100%
}
ol div.proposition {
  font-size: 100%
}
ol div.remark {
  font-size: 100%
}
p.error span.huge2 {
  font-size: 110%
}
p.error span.large3 {
  font-size: 90%
}
p.error span.large2 {
  font-size: 70%
}
p.error em {
  font-size: 45%
}
p.error span.footnotesize {
  font-size: 45%
}
p.error span.huge1 {
  font-size: 100%
}
p.error span.large1 {
  font-size: 55%
}
p.error span.normalsize {
  font-size: 45%
}
p.error span.scriptsize {
  font-size: 40%
}
p.error span.sf {
  font-size: 50%
}
p.error span.small {
  font-size: 50%
}
p.error span.tiny {
  font-size: 30%
}
span.footnotesize span.huge2 {
  font-size: 244%
}
span.footnotesize span.large3 {
  font-size: 200%
}
span.footnotesize span.large2 {
  font-size: 156%
}
span.footnotesize em {
  font-size: 100%
}
span.footnotesize span.footnotesize {
  font-size: 100%
}
span.footnotesize span.huge1 {
  font-size: 222%
}
span.footnotesize span.large1 {
  font-size: 122%
}
span.footnotesize span.normalsize {
  font-size: 100%
}
span.footnotesize span.scriptsize {
  font-size: 89%
}
span.footnotesize span.sf {
  font-size: 111%
}
span.footnotesize span.small {
  font-size: 111%
}
span.footnotesize span.tiny {
  font-size: 67%
}
span.huge1 span.huge2 {
  font-size: 110%
}
span.huge1 span.large3 {
  font-size: 90%
}
span.huge1 span.large2 {
  font-size: 70%
}
span.huge1 em {
  font-size: 45%
}
span.huge1 span.footnotesize {
  font-size: 45%
}
span.huge1 span.huge1 {
  font-size: 100%
}
span.huge1 span.large1 {
  font-size: 55%
}
span.huge1 span.normalsize {
  font-size: 45%
}
span.huge1 span.scriptsize {
  font-size: 40%
}
span.huge1 span.sf {
  font-size: 50%
}
span.huge1 span.small {
  font-size: 50%
}
span.huge1 span.tiny {
  font-size: 30%
}
ul div.claim {
  font-size: 100%
}
ul div.conclusion {
  font-size: 100%
}
ul div.definition {
  font-size: 100%
}
ul dl.description {
  font-size: 111%
}
ul ol {
  font-size: 100%
}
ul ul {
  font-size: 100%
}
ul div.notation {
  font-size: 100%
}
ul div.proposition {
  font-size: 100%
}
ul div.remark {
  font-size: 100%
}
span.large1 span.huge2 {
  font-size: 200%
}
span.large1 span.large3 {
  font-size: 164%
}
span.large1 span.large2 {
  font-size: 127%
}
span.large1 em {
  font-size: 82%
}
span.large1 span.footnotesize {
  font-size: 82%
}
span.large1 span.huge1 {
  font-size: 182%
}
span.large1 span.large1 {
  font-size: 100%
}
span.large1 span.normalsize {
  font-size: 82%
}
span.large1 span.scriptsize {
  font-size: 73%
}
span.large1 span.sf {
  font-size: 91%
}
span.large1 span.small {
  font-size: 91%
}
span.large1 span.tiny {
  font-size: 55%
}
span.normalsize span.huge2 {
  font-size: 244%
}
span.normalsize span.large3 {
  font-size: 200%
}
span.normalsize span.large2 {
  font-size: 156%
}
span.normalsize em {
  font-size: 100%
}
span.normalsize span.footnotesize {
  font-size: 100%
}
span.normalsize span.huge1 {
  font-size: 222%
}
span.normalsize span.large1 {
  font-size: 122%
}
span.normalsize span.normalsize {
  font-size: 100%
}
span.normalsize span.scriptsize {
  font-size: 89%
}
span.normalsize span.sf {
  font-size: 111%
}
span.normalsize span.small {
  font-size: 111%
}
span.normalsize span.tiny {
  font-size: 67%
}
div.notation div.claim {
  font-size: 100%
}
div.notation div.conclusion {
  font-size: 100%
}
div.notation div.definition {
  font-size: 100%
}
div.notation dl.description {
  font-size: 111%
}
div.notation ol {
  font-size: 100%
}
div.notation ul {
  font-size: 100%
}
div.notation div.notation {
  font-size: 100%
}
div.notation div.proposition {
  font-size: 100%
}
div.notation div.remark {
  font-size: 100%
}
h1.part span.huge2 {
  font-size: 100%
}
h1.part span.large3 {
  font-size: 82%
}
h1.part span.large2 {
  font-size: 64%
}
h1.part em {
  font-size: 41%
}
h1.part span.footnotesize {
  font-size: 41%
}
h1.part span.huge1 {
  font-size: 91%
}
h1.part span.large1 {
  font-size: 50%
}
h1.part span.normalsize {
  font-size: 41%
}
h1.part span.scriptsize {
  font-size: 36%
}
h1.part span.sf {
  font-size: 45%
}
h1.part span.small {
  font-size: 45%
}
h1.part span.tiny {
  font-size: 27%
}
div.proposition div.claim {
  font-size: 100%
}
div.proposition div.conclusion {
  font-size: 100%
}
div.proposition div.definition {
  font-size: 100%
}
div.proposition dl.description {
  font-size: 111%
}
div.proposition ol {
  font-size: 100%
}
div.proposition ul {
  font-size: 100%
}
div.proposition div.notation {
  font-size: 100%
}
div.proposition div.proposition {
  font-size: 100%
}
div.proposition div.remark {
  font-size: 100%
}
p.quotation span.huge2 {
  font-size: 220%
}
p.quotation span.large3 {
  font-size: 180%
}
p.quotation span.large2 {
  font-size: 140%
}
p.quotation em {
  font-size: 90%
}
p.quotation span.footnotesize {
  font-size: 90%
}
p.quotation span.huge1 {
  font-size: 200%
}
p.quotation span.large1 {
  font-size: 110%
}
p.quotation span.normalsize {
  font-size: 90%
}
p.quotation span.scriptsize {
  font-size: 80%
}
p.quotation span.sf {
  font-size: 100%
}
p.quotation span.small {
  font-size: 100%
}
p.quotation span.tiny {
  font-size: 60%
}
div.remark div.claim {
  font-size: 100%
}
div.remark div.conclusion {
  font-size: 100%
}
div.remark div.definition {
  font-size: 100%
}
div.remark dl.description {
  font-size: 111%
}
div.remark ol {
  font-size: 100%
}
div.remark ul {
  font-size: 100%
}
div.remark div.notation {
  font-size: 100%
}
div.remark div.proposition {
  font-size: 100%
}
div.remark div.remark {
  font-size: 100%
}
span.scriptsize span.huge2 {
  font-size: 275%
}
span.scriptsize span.large3 {
  font-size: 225%
}
span.scriptsize span.large2 {
  font-size: 175%
}
span.scriptsize em {
  font-size: 113%
}
span.scriptsize span.footnotesize {
  font-size: 113%
}
span.scriptsize span.huge1 {
  font-size: 250%
}
span.scriptsize span.large1 {
  font-size: 138%
}
span.scriptsize span.normalsize {
  font-size: 113%
}
span.scriptsize span.scriptsize {
  font-size: 100%
}
span.scriptsize span.sf {
  font-size: 125%
}
span.scriptsize span.small {
  font-size: 125%
}
span.scriptsize span.tiny {
  font-size: 75%
}
span.sf span.huge2 {
  font-size: 220%
}
span.sf span.large3 {
  font-size: 180%
}
span.sf span.large2 {
  font-size: 140%
}
span.sf em {
  font-size: 90%
}
span.sf span.footnotesize {
  font-size: 90%
}
span.sf span.huge1 {
  font-size: 200%
}
span.sf span.large1 {
  font-size: 110%
}
span.sf span.normalsize {
  font-size: 90%
}
span.sf span.scriptsize {
  font-size: 80%
}
span.sf span.sf {
  font-size: 100%
}
span.sf span.small {
  font-size: 100%
}
span.sf span.tiny {
  font-size: 60%
}
span.small span.huge2 {
  font-size: 220%
}
span.small span.large3 {
  font-size: 180%
}
span.small span.large2 {
  font-size: 140%
}
span.small em {
  font-size: 90%
}
span.small span.footnotesize {
  font-size: 90%
}
span.small span.huge1 {
  font-size: 200%
}
span.small span.large1 {
  font-size: 110%
}
span.small span.normalsize {
  font-size: 90%
}
span.small span.scriptsize {
  font-size: 80%
}
span.small span.sf {
  font-size: 100%
}
span.small span.small {
  font-size: 100%
}
span.small span.tiny {
  font-size: 60%
}
h2.subsection span.huge2 {
  font-size: 220%
}
h2.subsection span.large3 {
  font-size: 180%
}
h2.subsection span.large2 {
  font-size: 140%
}
h2.subsection em {
  font-size: 90%
}
h2.subsection span.footnotesize {
  font-size: 90%
}
h2.subsection span.huge1 {
  font-size: 200%
}
h2.subsection span.large1 {
  font-size: 110%
}
h2.subsection span.normalsize {
  font-size: 90%
}
h2.subsection span.scriptsize {
  font-size: 80%
}
h2.subsection span.sf {
  font-size: 100%
}
h2.subsection span.small {
  font-size: 100%
}
h2.subsection span.tiny {
  font-size: 60%
}
h3.subsubsection span.huge2 {
  font-size: 157%
}
h3.subsubsection span.large3 {
  font-size: 129%
}
h3.subsubsection span.large2 {
  font-size: 100%
}
h3.subsubsection em {
  font-size: 64%
}
h3.subsubsection span.footnotesize {
  font-size: 64%
}
h3.subsubsection span.huge1 {
  font-size: 143%
}
h3.subsubsection span.large1 {
  font-size: 79%
}
h3.subsubsection span.normalsize {
  font-size: 64%
}
h3.subsubsection span.scriptsize {
  font-size: 57%
}
h3.subsubsection span.sf {
  font-size: 71%
}
h3.subsubsection span.small {
  font-size: 71%
}
h3.subsubsection 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: 233%
}
span.tiny em {
  font-size: 150%
}
span.tiny span.footnotesize {
  font-size: 150%
}
span.tiny span.huge1 {
  font-size: 333%
}
span.tiny span.large1 {
  font-size: 183%
}
span.tiny span.normalsize {
  font-size: 150%
}
span.tiny span.scriptsize {
  font-size: 133%
}
span.tiny span.sf {
  font-size: 167%
}
span.tiny span.small {
  font-size: 167%
}
span.tiny span.tiny {
  font-size: 100%
}
pre p.Body-Math {
  font-size: 100%
}
pre p {
  font-size: 90%
}
pre span.huge2 {
  font-size: 220%
}
pre span.large3 {
  font-size: 180%
}
pre span.large2 {
  font-size: 140%
}
pre p.center {
  font-size: 90%
}
pre em {
  font-size: 90%
}
pre p.error {
  font-size: 200%
}
pre span.footnotesize {
  font-size: 90%
}
pre span.huge1 {
  font-size: 200%
}
pre span.large1 {
  font-size: 110%
}
pre span.normalsize {
  font-size: 90%
}
pre h1.part {
  font-size: 220%
}
pre p.quotation {
  font-size: 100%
}
pre span.scriptsize {
  font-size: 80%
}
pre h1.section {
  font-size: 120%
}
pre span.sf {
  font-size: 100%
}
pre span.small {
  font-size: 100%
}
pre h2.subsection {
  font-size: 100%
}
pre h3.subsubsection {
  font-size: 140%
}
pre span.tiny {
  font-size: 60%
}
pre pre {
  font-size: 100%
}