BODY {
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 400;
  text-align: left;
  color: rgb(0,0,0)
}
BODY A {
  color: rgb(0,128,0)
}
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 {
  background-color: rgb(255,255,255);
  border: none;
  text-align: left;
  text-indent: 18pt;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
P SPAN.inlineMath {
  color: rgb(255,0,0)
}
P.Body-Math {
  background-color: rgb(255,255,255);
  border: none;
  text-align: left;
  color: rgb(128,0,128);
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
H1.section {
  background-color: rgb(0,0,255);
  border: none;
  font-family: Arial;
  font-size: 183%;
  font-weight: 700;
  color: rgb(255,255,0);
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 6pt;
  margin-right: 0pt;
  margin-bottom: 2pt
}
H2.subsection {
  background-color: rgb(0,0,255);
  border: none;
  font-family: Arial;
  font-size: 150%;
  font-weight: 700;
  color: rgb(255,255,0);
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 6pt;
  margin-right: 0pt;
  margin-bottom: 2pt
}
H3.subsubsection {
  background-color: rgb(0,0,255);
  border: none;
  font-family: Arial;
  font-size: 117%;
  font-weight: 700;
  color: rgb(255,255,0);
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
H4.paragraph {
  background-color: rgb(0,0,255);
  border: none;
  font-size: 100%;
  font-weight: 700;
  color: rgb(255,255,0);
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 2pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
H5.subparagraph {
  font-weight: 700;
  text-indent: 0pt;
  margin-left: 7pt;
  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: Times New Roman;
  font-style: italic;
  font-weight: 700;
  color: rgb(255,0,255)
}
SPAN.sl SPAN.inlineMath {
  color: rgb(255,0,255)
}
SPAN.sf {
  font-family: Arial;
  color: rgb(0,0,128)
}
SPAN.sf SPAN.inlineMath {
  color: rgb(0,255,0)
}
SPAN.sc {
  font-family: CMCSC10;
  color: rgb(0,128,0)
}
SPAN.sc SPAN.inlineMath {
  color: rgb(0,128,0)
}
SPAN.tt {
  font-family: Courier New
}
SPAN.tt SPAN.inlineMath {
  color: rgb(0,0,0)
}
DL.description DD P {
  background-color: rgb(255,255,255);
  border: none;
  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
}
DL.description DT.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
OL LI P {
  text-align: left;
  text-indent: 0pt;
  margin-left: 22pt;
  margin-top: 1pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
OL .leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-weight: 700;
  color: rgb(255,255,0)
}
UL LI P {
  text-align: left;
  text-indent: 0pt;
  margin-left: 22pt;
  margin-top: 1pt;
  margin-right: 0pt;
  margin-bottom: 1pt
}
UL .leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-weight: 700;
  color: rgb(255,255,0)
}
SPAN.cal {
  font-family: CMSY10;
  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: 67%;
  color: rgb(255,0,255)
}
SPAN.footnotesize {
  font-size: 75%;
  color: rgb(255,0,255)
}
SPAN.small {
  font-size: 83%
}
SPAN.normalsize {
  font-size: 100%;
  color: rgb(255,0,255)
}
SPAN.large1 {
  font-size: 117%;
  color: rgb(255,0,255)
}
SPAN.large2 {
  font-size: 133%;
  color: rgb(255,0,255)
}
SPAN.large3 {
  font-size: 133%;
  color: rgb(255,0,255)
}
SPAN.huge1 {
  font-size: 167%;
  color: rgb(255,0,255)
}
SPAN.huge2 {
  font-size: 183%;
  color: rgb(255,0,255)
}
P.quotation {
  font-size: 83%;
  text-indent: 0pt;
  margin-left: 36pt;
  margin-top: 0pt;
  margin-right: 36pt;
  margin-bottom: 0pt
}
P.quote {
  text-indent: 0pt;
  margin-left: 24pt;
  margin-top: 0pt;
  margin-right: 24pt;
  margin-bottom: 0pt
}
P.center {
  text-align: center
}
P.f-0 {
  text-indent: -48pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 0pt
}
DIV.f-0 SPAN.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700
}
P.f-0-FirstPara {
  text-indent: 0pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 4pt
}
P.f-1 {
  text-indent: -48pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 0pt
}
DIV.f-1 SPAN.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700
}
P.f-1-FirstPara {
  text-indent: 0pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 4pt
}
P.f-2 {
  text-indent: -48pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 0pt
}
DIV.f-2 SPAN.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700
}
P.f-2-FirstPara {
  text-indent: 0pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 4pt
}
P.f-7 {
  text-indent: -48pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 0pt
}
DIV.f-7 SPAN.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700
}
P.f-7-FirstPara {
  text-indent: 0pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 4pt
}
P.abstract {
  text-indent: -48pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 0pt
}
DIV.abstract SPAN.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700
}
P.abstract-FirstPara {
  text-indent: 0pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 4pt
}
P.f-11 {
  text-indent: -48pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 0pt
}
DIV.f-11 SPAN.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700
}
P.f-11-FirstPara {
  text-indent: 0pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 4pt
}
P.f-12 {
  text-indent: -48pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 0pt
}
DIV.f-12 SPAN.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700
}
P.f-12-FirstPara {
  text-indent: 0pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 4pt
}
P.f-13 {
  text-indent: -48pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 0pt
}
DIV.f-13 SPAN.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700
}
P.f-13-FirstPara {
  text-indent: 0pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 4pt
}
P.f-14 {
  text-indent: -48pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 0pt
}
DIV.f-14 SPAN.leadin {
  background-color: rgb(255,225,225);
  font-family: Arial;
  font-weight: 700
}
P.f-14-FirstPara {
  text-indent: 0pt;
  margin-left: 48pt;
  margin-top: 0pt;
  margin-right: -18pt;
  margin-bottom: 4pt
}
SPAN.frak {
  font-family: EUFM10;
  font-style: normal;
  color: rgb(192,192,192)
}
SPAN.frak SPAN.inlineMath {
  color: rgb(255,0,255)
}
SPAN.Bbb {
  font-family: MSBM10;
  color: rgb(192,192,192)
}
P.proof {
  background-color: rgb(225,255,255);
  border: none;
  font-style: normal;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt
}
DIV.proof {
  background-color: rgb(225,255,255);
  border: none
}
DIV.proof SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.proof-FirstPara {
  background-color: rgb(225,255,255);
  font-style: normal;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.acknowledgement {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.acknowledgement {
  background-color: rgb(225,225,225);
  border: none
}
DIV.acknowledgement SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.acknowledgement-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.algorithm {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.algorithm {
  background-color: rgb(225,225,225);
  border: none
}
DIV.algorithm SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.algorithm-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.axiom {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.axiom {
  background-color: rgb(225,225,225);
  border: none
}
DIV.axiom SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.axiom-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.case {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.case {
  background-color: rgb(225,225,225);
  border: none
}
DIV.case SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.case-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.claim {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.claim {
  background-color: rgb(225,225,225);
  border: none
}
DIV.claim SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.claim-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.conclusion {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.conclusion {
  background-color: rgb(225,225,225);
  border: none
}
DIV.conclusion SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.conclusion-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.condition {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.condition {
  background-color: rgb(225,225,225);
  border: none
}
DIV.condition SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.condition-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.conjecture {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.conjecture {
  background-color: rgb(225,225,225);
  border: none
}
DIV.conjecture SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.conjecture-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.corollary {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.corollary {
  background-color: rgb(225,225,225);
  border: none
}
DIV.corollary SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.corollary-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.criterion {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.criterion {
  background-color: rgb(225,225,225);
  border: none
}
DIV.criterion SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.criterion-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.definition {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.definition {
  background-color: rgb(225,225,225);
  border: none
}
DIV.definition SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.definition-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.example {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.example {
  background-color: rgb(225,225,225);
  border: none
}
DIV.example SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.example-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.exercise {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.exercise {
  background-color: rgb(225,225,225);
  border: none
}
DIV.exercise SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.exercise-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.lemma {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.lemma {
  background-color: rgb(225,225,225);
  border: none
}
DIV.lemma SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.lemma-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.notation {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.notation {
  background-color: rgb(225,225,225);
  border: none
}
DIV.notation SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.notation-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.problem {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.problem {
  background-color: rgb(225,225,225);
  border: none
}
DIV.problem SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.problem-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.proposition {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.proposition {
  background-color: rgb(225,225,225);
  border: none
}
DIV.proposition SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.proposition-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.remark {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.remark {
  background-color: rgb(225,225,225);
  border: none
}
DIV.remark SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.remark-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.solution {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.solution {
  background-color: rgb(225,225,225);
  border: none
}
DIV.solution SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.solution-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.summary {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.summary {
  background-color: rgb(225,225,225);
  border: none
}
DIV.summary SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.summary-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
P.theorem {
  background-color: rgb(225,225,225);
  border: none;
  font-style: italic;
  text-indent: -7pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
DIV.theorem {
  background-color: rgb(225,225,225);
  border: none
}
DIV.theorem SPAN.leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
P.theorem-FirstPara {
  background-color: rgb(225,225,225);
  font-style: italic;
  text-indent: 0pt;
  margin-left: 7pt;
  margin-top: 4pt;
  margin-right: 0pt;
  margin-bottom: 4pt
}
SPAN.huge2 SPAN.huge2 {
  font-size: 100%
}
SPAN.huge2 SPAN.large3 {
  font-size: 73%
}
SPAN.huge2 SPAN.large2 {
  font-size: 73%
}
SPAN.huge2 SPAN.footnotesize {
  font-size: 41%
}
SPAN.huge2 SPAN.huge1 {
  font-size: 91%
}
SPAN.huge2 SPAN.large1 {
  font-size: 64%
}
SPAN.huge2 SPAN.normalsize {
  font-size: 55%
}
SPAN.huge2 SPAN.scriptsize {
  font-size: 36%
}
SPAN.huge2 SPAN.small {
  font-size: 45%
}
SPAN.huge2 SPAN.tiny {
  font-size: 27%
}
SPAN.large3 SPAN.huge2 {
  font-size: 138%
}
SPAN.large3 SPAN.large3 {
  font-size: 100%
}
SPAN.large3 SPAN.large2 {
  font-size: 100%
}
SPAN.large3 SPAN.footnotesize {
  font-size: 56%
}
SPAN.large3 SPAN.huge1 {
  font-size: 125%
}
SPAN.large3 SPAN.large1 {
  font-size: 88%
}
SPAN.large3 SPAN.normalsize {
  font-size: 75%
}
SPAN.large3 SPAN.scriptsize {
  font-size: 50%
}
SPAN.large3 SPAN.small {
  font-size: 63%
}
SPAN.large3 SPAN.tiny {
  font-size: 38%
}
SPAN.large2 SPAN.huge2 {
  font-size: 138%
}
SPAN.large2 SPAN.large3 {
  font-size: 100%
}
SPAN.large2 SPAN.large2 {
  font-size: 100%
}
SPAN.large2 SPAN.footnotesize {
  font-size: 56%
}
SPAN.large2 SPAN.huge1 {
  font-size: 125%
}
SPAN.large2 SPAN.large1 {
  font-size: 88%
}
SPAN.large2 SPAN.normalsize {
  font-size: 75%
}
SPAN.large2 SPAN.scriptsize {
  font-size: 50%
}
SPAN.large2 SPAN.small {
  font-size: 63%
}
SPAN.large2 SPAN.tiny {
  font-size: 38%
}
P.error SPAN.huge2 {
  font-size: 110%
}
P.error SPAN.large3 {
  font-size: 80%
}
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%
}
SPAN.footnotesize SPAN.huge2 {
  font-size: 244%
}
SPAN.footnotesize SPAN.large3 {
  font-size: 178%
}
SPAN.footnotesize SPAN.large2 {
  font-size: 178%
}
SPAN.footnotesize SPAN.footnotesize {
  font-size: 100%
}
SPAN.footnotesize SPAN.huge1 {
  font-size: 222%
}
SPAN.footnotesize SPAN.large1 {
  font-size: 156%
}
SPAN.footnotesize SPAN.normalsize {
  font-size: 133%
}
SPAN.footnotesize SPAN.scriptsize {
  font-size: 89%
}
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: 80%
}
SPAN.huge1 SPAN.large2 {
  font-size: 80%
}
SPAN.huge1 SPAN.footnotesize {
  font-size: 45%
}
SPAN.huge1 SPAN.huge1 {
  font-size: 100%
}
SPAN.huge1 SPAN.large1 {
  font-size: 70%
}
SPAN.huge1 SPAN.normalsize {
  font-size: 60%
}
SPAN.huge1 SPAN.scriptsize {
  font-size: 40%
}
SPAN.huge1 SPAN.small {
  font-size: 50%
}
SPAN.huge1 SPAN.tiny {
  font-size: 30%
}
SPAN.large1 SPAN.huge2 {
  font-size: 157%
}
SPAN.large1 SPAN.large3 {
  font-size: 114%
}
SPAN.large1 SPAN.large2 {
  font-size: 114%
}
SPAN.large1 SPAN.footnotesize {
  font-size: 64%
}
SPAN.large1 SPAN.huge1 {
  font-size: 143%
}
SPAN.large1 SPAN.large1 {
  font-size: 100%
}
SPAN.large1 SPAN.normalsize {
  font-size: 86%
}
SPAN.large1 SPAN.scriptsize {
  font-size: 57%
}
SPAN.large1 SPAN.small {
  font-size: 71%
}
SPAN.large1 SPAN.tiny {
  font-size: 43%
}
P.quotation SPAN.huge2 {
  font-size: 220%
}
P.quotation SPAN.large3 {
  font-size: 160%
}
P.quotation SPAN.large2 {
  font-size: 160%
}
P.quotation SPAN.footnotesize {
  font-size: 90%
}
P.quotation SPAN.huge1 {
  font-size: 200%
}
P.quotation SPAN.large1 {
  font-size: 140%
}
P.quotation SPAN.normalsize {
  font-size: 120%
}
P.quotation SPAN.scriptsize {
  font-size: 80%
}
P.quotation SPAN.small {
  font-size: 100%
}
P.quotation SPAN.tiny {
  font-size: 60%
}
SPAN.scriptsize SPAN.huge2 {
  font-size: 275%
}
SPAN.scriptsize SPAN.large3 {
  font-size: 200%
}
SPAN.scriptsize SPAN.large2 {
  font-size: 200%
}
SPAN.scriptsize SPAN.footnotesize {
  font-size: 113%
}
SPAN.scriptsize SPAN.huge1 {
  font-size: 250%
}
SPAN.scriptsize SPAN.large1 {
  font-size: 175%
}
SPAN.scriptsize SPAN.normalsize {
  font-size: 150%
}
SPAN.scriptsize SPAN.scriptsize {
  font-size: 100%
}
SPAN.scriptsize SPAN.small {
  font-size: 125%
}
SPAN.scriptsize SPAN.tiny {
  font-size: 75%
}
H1.section SPAN.huge2 {
  font-size: 100%
}
H1.section SPAN.large3 {
  font-size: 73%
}
H1.section SPAN.large2 {
  font-size: 73%
}
H1.section SPAN.footnotesize {
  font-size: 41%
}
H1.section SPAN.huge1 {
  font-size: 91%
}
H1.section SPAN.large1 {
  font-size: 64%
}
H1.section SPAN.normalsize {
  font-size: 55%
}
H1.section SPAN.scriptsize {
  font-size: 36%
}
H1.section SPAN.small {
  font-size: 45%
}
H1.section SPAN.tiny {
  font-size: 27%
}
SPAN.small SPAN.huge2 {
  font-size: 220%
}
SPAN.small SPAN.large3 {
  font-size: 160%
}
SPAN.small SPAN.large2 {
  font-size: 160%
}
SPAN.small SPAN.footnotesize {
  font-size: 90%
}
SPAN.small SPAN.huge1 {
  font-size: 200%
}
SPAN.small SPAN.large1 {
  font-size: 140%
}
SPAN.small SPAN.normalsize {
  font-size: 120%
}
SPAN.small SPAN.scriptsize {
  font-size: 80%
}
SPAN.small SPAN.small {
  font-size: 100%
}
SPAN.small SPAN.tiny {
  font-size: 60%
}
H2.subsection SPAN.huge2 {
  font-size: 122%
}
H2.subsection SPAN.large3 {
  font-size: 89%
}
H2.subsection SPAN.large2 {
  font-size: 89%
}
H2.subsection SPAN.footnotesize {
  font-size: 50%
}
H2.subsection SPAN.huge1 {
  font-size: 111%
}
H2.subsection SPAN.large1 {
  font-size: 78%
}
H2.subsection SPAN.normalsize {
  font-size: 67%
}
H2.subsection SPAN.scriptsize {
  font-size: 44%
}
H2.subsection SPAN.small {
  font-size: 56%
}
H2.subsection SPAN.tiny {
  font-size: 33%
}
H3.subsubsection SPAN.huge2 {
  font-size: 157%
}
H3.subsubsection SPAN.large3 {
  font-size: 114%
}
H3.subsubsection SPAN.large2 {
  font-size: 114%
}
H3.subsubsection SPAN.footnotesize {
  font-size: 64%
}
H3.subsubsection SPAN.huge1 {
  font-size: 143%
}
H3.subsubsection SPAN.large1 {
  font-size: 100%
}
H3.subsubsection SPAN.normalsize {
  font-size: 86%
}
H3.subsubsection SPAN.scriptsize {
  font-size: 57%
}
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: 267%
}
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: 160%
}
PRE SPAN.large2 {
  font-size: 160%
}
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 H4.paragraph {
  font-size: 120%
}
PRE P.quotation {
  font-size: 100%
}
PRE SPAN.scriptsize {
  font-size: 80%
}
PRE H1.section {
  font-size: 220%
}
PRE SPAN.small {
  font-size: 100%
}
PRE H2.subsection {
  font-size: 180%
}
PRE H3.subsubsection {
  font-size: 140%
}
PRE SPAN.tiny {
  font-size: 60%
}
PRE PRE {
  font-size: 100%
}