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)
}
body A math {
  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;
  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: 18pt;
  line-height: 150%;
}
p span.inlineMath {
  color: rgb(255,0,0)
}
p.Body-Math {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  color: rgb(128,0,128);
  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
}
h1.section {
  font-size: 183%;
  font-weight: 700;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 22pt;
  padding-right: 0pt;
  padding-bottom: 7pt;
  text-indent: 0pt
}
h2.subsection {
  font-size: 150%;
  font-weight: 700;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 18pt;
  padding-right: 0pt;
  padding-bottom: 7pt;
  text-indent: 0pt
}
h3.subsubsection {
  font-size: 117%;
  font-weight: 700;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 18pt;
  padding-right: 0pt;
  padding-bottom: 7pt;
  text-indent: 0pt
}
h4.paragraph {
  font-size: 100%;
  font-weight: 700;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 14pt;
  padding-right: 0pt;
  padding-bottom: 6pt;
  text-indent: 0pt
}
h5.subparagraph {
  font-size: 100%;
  font-weight: 700
}
em {
  font-style: italic;
  color: #000000;
}
em span.inlineMath {
  color: #000000;
}
span.rm {
  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-family: Times New Roman;
  font-style: italic;
  font-weight: 700;
  color: #000000;
}
span.sl span.inlineMath {
  color: #000000;
}
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;
  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
}
dl.description {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%
}
dl.description dt.leadin {
  background-color: rgb(255,255,255);
  font-style: normal;
  font-weight: 700
}
ol li p {
  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
}
ol {
  font-size: 100%
}
ul li p {
  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
}
ul {
  font-size: 100%
}
span.cal {
  font-family: CMSY10;
  color: rgb(192,192,192)
}
span.cal span.inlineMath {
  color: #000000;
}
span.tiny {
  font-size: 50%;
  color: #000000;
}
span.scriptsize {
  font-size: 67%;
  color: #000000;
}
span.footnotesize {
  font-size: 75%;
  color: #000000;
}
span.small {
  font-size: 83%
}
span.normalsize {
  font-size: 100%;
  color: #000000;
}
span.large1 {
  font-size: 117%;
  color: #000000;
}
span.large2 {
  font-size: 133%;
  color: #000000;
}
span.large3 {
  font-size: 150%
}
span.huge1 {
  font-size: 167%;
  color: #000000;
}
span.huge2 {
  font-size: 183%;
  color: #000000;
}
ol.thebibliography li p {
  font-size: 100%;
  text-align: left;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 36pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 0pt
}
ol.thebibliography {
  font-size: 100%
}
ol.thebibliography .leadin {
  background-color: rgb(0,0,255);
  font-family: Arial;
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,0)
}
p.quotation {
  font-size: 83%;
  margin-left: 36pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 36pt;
  padding-bottom: 0pt;
  text-indent: 0pt
}
p.quote {
  font-size: 100%;
  margin-left: 24pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 24pt;
  padding-bottom: 0pt;
  text-indent: 0pt
}
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
}
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 {
  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
}
span.frak {
  font-family: EUFM10;
  font-style: normal;
  color: rgb(192,192,192)
}
span.frak span.inlineMath {
  color: #000000;
}
span.Bbb {
  font-family: MSBM10;
  color: rgb(192,192,192)
}
p.proof {
  background-color: rgb(225,225,225);
  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 {
  background-color: rgb(225,225,225);
  border: none;
  font-size: 100%
}
div.proof span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 0pt
}
p.proof-FirstPara {
  background-color: rgb(225,225,225);
  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%;
  font-style: italic;
  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 {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.acknowledgement-FirstPara {
  font-size: 100%;
  font-style: italic;
  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%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.algorithm {
  font-size: 100%
}
div.algorithm span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.axiom {
  font-size: 100%
}
div.axiom span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.case {
  font-size: 100%
}
div.case span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.claim {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.claim {
  font-size: 100%
}
div.claim span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.claim-FirstPara {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.conclusion {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.conclusion {
  font-size: 100%
}
div.conclusion span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.conclusion-FirstPara {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.condition {
  font-size: 100%
}
div.condition span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.conjecture {
  font-size: 100%
}
div.conjecture span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.corollary {
  font-size: 100%
}
div.corollary span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.criterion {
  font-size: 100%
}
div.criterion span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.definition {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.definition {
  font-size: 100%
}
div.definition span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-weight: 700;
  padding-top: 4pt
}
p.definition-FirstPara {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.example {
  font-size: 100%
}
div.example span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.exercise {
  font-size: 100%
}
div.exercise span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.lemma {
  font-size: 100%
}
div.lemma span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.notation {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.notation {
  font-size: 100%
}
div.notation span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.notation-FirstPara {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.problem {
  font-size: 100%
}
div.problem span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.proposition {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.proposition {
  font-size: 100%
}
div.proposition span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.proposition-FirstPara {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
p.remark {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.remark {
  font-size: 100%
}
div.remark span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
p.remark-FirstPara {
  font-size: 100%;
  font-style: italic;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.solution {
  font-size: 100%
}
div.solution span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.summary {
  font-size: 100%
}
div.summary span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.theorem {
  font-size: 100%
}
div.theorem span.leadin {
  background-color: rgb(255,255,255);
  font-family: Times New Roman;
  font-style: normal;
  font-weight: 700;
  padding-top: 4pt
}
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: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 2pt
}
span.huge2 span.huge2 {
  font-size: 100%
}
span.huge2 span.large3 {
  font-size: 82%
}
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: 122%
}
span.large3 span.large3 {
  font-size: 100%
}
span.large3 span.large2 {
  font-size: 89%
}
span.large3 span.footnotesize {
  font-size: 50%
}
span.large3 span.huge1 {
  font-size: 111%
}
span.large3 span.large1 {
  font-size: 78%
}
span.large3 span.normalsize {
  font-size: 67%
}
span.large3 span.scriptsize {
  font-size: 44%
}
span.large3 span.small {
  font-size: 56%
}
span.large3 span.tiny {
  font-size: 33%
}
span.large2 span.huge2 {
  font-size: 138%
}
span.large2 span.large3 {
  font-size: 113%
}
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: 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%
}
span.footnotesize span.huge2 {
  font-size: 244%
}
span.footnotesize span.large3 {
  font-size: 200%
}
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: 90%
}
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: 129%
}
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: 180%
}
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: 225%
}
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: 82%
}
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: 180%
}
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: 100%
}
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: 129%
}
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: 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 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 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%
}


h1 { FONT-SIZE: 24px; COLOR: #ff0033; FONT-FAMILY: Arial,Helvetica,sans-serif; TEXT-DECORATION: none }

h2 { FONT-FAMILY: verdana, arial,helvetica,sans-serif; FONT-SIZE: 19px; COLOR: #000000; FONT-STYLE: normal; FONT-WEIGHT: normal;}

h3 { FONT-FAMILY: arial,helvetica,sans-serif; FONT-SIZE: 16px; COLOR: #000000; FONT-STYLE: normal; FONT-WEIGHT: bold;}

.headstyle { FONT-SIZE: 24px; COLOR: #ff0033; FONT-FAMILY: Arial,Helvetica,sans-serif; TEXT-DECORATION: none; FONT-WEIGHT: bold; }

.smallhead { FONT-SIZE: 18px; COLOR: #000000; FONT-FAMILY: Verdana, Arial,Helvetica,sans-serif; TEXT-DECORATION: none }

body {FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px;}

ol {FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px;}

li {FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px;}

p {FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px;}

.pi1 { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px; TEXT-INDENT: 1em;}
.pi3 { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px; TEXT-INDENT: 3em;}
.pi6 { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px; TEXT-INDENT: 6em;}

td { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px; }

a { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px; COLOR: #0000ff; TEXT-DECORATION: underline; }
a:visited { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px; COLOR: #808080; TEXT-DECORATION: underline; }
a:hover { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px; COLOR: #cc0033;  TEXT-DECORATION: underline; }

a.head { COLOR: #000000; TEXT-DECORATION: underline; }
a.head:visited { COLOR: #808080; TEXT-DECORATION: underline; }
a.head:hover { COLOR: #ff0033;  TEXT-DECORATION: underline; }

a.bs { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 10px; COLOR: #0000ff; TEXT-DECORATION: underline; }
a.bs:hover { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 10px; COLOR: #cc0033;  TEXT-DECORATION: underline; }
a.bs:visited { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 10px; COLOR: #808080;  TEXT-DECORATION: underline; }

a.red { COLOR: #ff0000; TEXT-DECORATION: underline; }
a.red:visited { COLOR: #ff0000; TEXT-DECORATION: underline; }
a.red:hover { COLOR: #ff0033;  TEXT-DECORATION: none; }

.small { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 10px; }

.text { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 12px; COLOR: #000000; FONT-STYLE: normal; FONT-WEIGHT: normal;}

.text4 { FONT-FAMILY: verdana,arial,helvetica,sans-serif; FONT-SIZE: 14px; COLOR: #000000; FONT-STYLE: normal; FONT-WEIGHT: normal;}

.text4ti {FONT-SIZE: 18px; FONT-FAMILY: 'Times New Roman', Times, serif; FONT-STYLE: italic; FONT-WEIGHT: normal; COLOR: #000000; }

.red {COLOR: #ff0000;}
.black {COLOR: #000000; }