BODY {
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 400;
  text-align: left;
  color: rgb(0,0,0)
}
P.error {
  font-size: 166%;
  font-weight: 700;
  color: rgb(255,0,0)
}
P {
  font-family: Arial;
  text-indent: 0pt;
  margin-left: 0pt;
  margin-top: 1pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
P.Body-Math {
  background-color: rgb(255,255,255);
  border: none;
  color: rgb(128,0,128);
  text-indent: 0pt;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
H1.section {
  background-color: rgb(0,128,128);
  border: none;
  font-family: Arial;
  font-size: 200%;
  font-weight: 700;
  text-align: center;
  color: rgb(255,255,255);
  text-indent: 0pt;
  margin-left: 0pt;
  margin-top: 9pt;
  margin-right: 0pt;
  margin-bottom: 9pt
}
H1.subsection {
  background-color: rgb(0,128,128);
  border: none;
  font-family: Arial;
  font-size: 116%;
  font-weight: 700;
  color: rgb(255,255,255);
  text-indent: 0pt;
  margin-left: 0pt;
  margin-top: 6pt;
  margin-right: 0pt;
  margin-bottom: 2pt
}
H3.subsubsection {
  font-family: Arial;
  font-size: 116%;
  font-weight: 700;
  color: rgb(0,128,128);
  text-indent: 0pt;
  margin-left: 0pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
H4.paragraph {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-weight: 700;
  color: rgb(0,128,128);
  text-indent: 0pt;
  margin-left: 0pt;
  margin-top: 2pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
H5.subparagraph {
  background-color: rgb(255,255,255);
  border: none;
  font-weight: 700;
  color: rgb(0,128,128);
  text-indent: 0pt;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
EM {
  font-style: italic;
  color: rgb(255,0,255)
}
EM SPAN.inlineMath {
  color: rgb(255,0,255)
}
SPAN.rm {
  color: rgb(0,0,255)
}
SPAN.rm SPAN.inlineMath {
  color: rgb(0,0,255)
}
STRONG {
  font-weight: 700
}
SPAN.it {
  font-style: italic
}
SPAN.it SPAN.inlineMath {
  color: rgb(0,255,255)
}
SPAN.sl {
  font-family: Arial;
  font-style: italic;
  font-weight: 700;
  color: rgb(255,0,255)
}
SPAN.sf {
  font-family: Arial;
  font-weight: 700;
  color: rgb(128,0,128)
}
SPAN.sf SPAN.inlineMath {
  color: rgb(0,0,0)
}
SPAN.sc {
  font-family: Arial;
  color: rgb(0,128,128)
}
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)
}
DL.description DD P {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  text-align: left;
  text-indent: 0pt;
  margin-left: 22pt;
  margin-top: 1pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
DL.description {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial
}
DL.description DT.leadin {
  background-color: rgb(0,128,128);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255)
}
OL LI P {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  text-align: left;
  text-indent: 0pt;
  margin-left: 22pt;
  margin-top: 1pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
OL {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial
}
OL .leadin {
  background-color: rgb(0,128,128);
  font-family: Arial;
  font-size: 91%;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255)
}
UL LI P {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  text-align: left;
  text-indent: 0pt;
  margin-left: 22pt;
  margin-top: 1pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
UL {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial
}
UL .leadin {
  background-color: rgb(0,128,128);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255)
}
SPAN.cal {
  font-family: Times New Roman;
  color: rgb(192,192,192)
}
SPAN.cal SPAN.inlineMath {
  color: rgb(255,0,255)
}
SPAN.tiny {
  font-size: 50%;
  color: rgb(255,0,255)
}
SPAN.scriptsize {
  font-size: 66%;
  color: rgb(255,0,255)
}
SPAN.footnotesize {
  font-size: 75%;
  color: rgb(255,0,255)
}
SPAN.small {
  font-size: 83%
}
SPAN.normalsize {
  color: rgb(255,0,255)
}
SPAN.large1 {
  font-size: 116%;
  color: rgb(255,0,255)
}
SPAN.large2 {
  font-size: 133%
}
SPAN.large3 {
  font-size: 133%
}
SPAN.huge1 {
  font-size: 166%;
  color: rgb(255,0,255)
}
SPAN.huge2 {
  font-size: 183%;
  color: rgb(255,0,255)
}
P.quotation {
  background-color: rgb(240,240,240);
  border: none;
  font-family: Arial;
  text-indent: 0pt;
  margin-left: 24pt;
  margin-top: 0pt;
  margin-right: 24pt;
  margin-bottom: 0pt
}
P.quote {
  text-indent: 0pt;
  margin-left: 24pt;
  margin-top: 0pt;
  margin-right: 24pt;
  margin-bottom: 0pt
}
P.center {
  font-family: Arial;
  text-align: center
}
P.f-0 {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P.f-0-FirstPara {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.f-1 {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P.f-1-FirstPara {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.f-2 {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P.f-2-FirstPara {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.f-7 {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P.f-7-FirstPara {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.abstract {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P.abstract-FirstPara {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.f-11 {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P.f-11-FirstPara {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.f-12 {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P.f-12-FirstPara {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.f-13 {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P.f-13-FirstPara {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.f-14 {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P.f-14-FirstPara {
  text-indent: 0pt;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
SPAN.frak {
  font-style: normal;
  color: rgb(192,192,192)
}
SPAN.frak SPAN.inlineMath {
  color: rgb(255,0,255)
}
SPAN.Bbb {
  color: rgb(192,192,192)
}
P.proof {
  background-color: rgb(225,225,225);
  border: none;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
DIV.proof {
  background-color: rgb(225,225,225);
  border: none
}
DIV.proof SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.proof-FirstPara {
  background-color: rgb(225,225,225);
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.acknowledgement {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.acknowledgement SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.acknowledgement-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.algorithm {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.algorithm SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.algorithm-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.axiom {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.axiom SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.axiom-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.case {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.case SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.case-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.claim {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.claim SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.claim-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.conclusion {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.conclusion SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.conclusion-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.condition {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.condition SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-weight: 700
}
P.condition-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.conjecture {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.conjecture SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.conjecture-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.corollary {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.corollary SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.corollary-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.criterion {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.criterion SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.criterion-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.definition {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.definition SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-weight: 700
}
P.definition-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.example {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.example SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.example-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.exercise {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.exercise SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.exercise-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.lemma {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.lemma SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.lemma-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.notation {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.notation SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.notation-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.problem {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.problem SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-weight: 700
}
P.problem-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.proposition {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.proposition SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.proposition-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.remark {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.remark SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.remark-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.solution {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.solution SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.solution-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.summary {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.summary SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.summary-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.theorem {
  font-style: italic;
  text-indent: -58pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.theorem SPAN.leadin {
  background-color: rgb(255,255,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700
}
P.theorem-FirstPara {
  font-style: italic;
  text-indent: 0pt;
  margin-left: 58pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}