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: lower-alpha
}
p.error {
  font-size: 167%;
  font-weight: 700;
  color: rgb(255,0,0)
}
p {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 83%;
  text-align: left;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 1pt;
  padding-right: 0pt;
  padding-bottom: 1pt;
  text-indent: 0pt
}
p.Body-Math {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%;
  text-align: left;
  color: rgb(128,0,128);
  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
}
h1.section {
  background-color: rgb(0,128,128);
  border: none;
  font-family: Arial;
  font-size: 150%;
  font-style: normal;
  font-weight: 700;
  text-align: center;
  color: rgb(255,255,255);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 7pt;
  padding-right: 0pt;
  padding-bottom: 7pt;
  text-indent: 0pt
}
h2.subsection {
  background-color: rgb(0,128,128);
  border: none;
  font-family: Arial;
  font-size: 133%;
  font-style: normal;
  font-weight: 700;
  text-align: left;
  color: rgb(255,255,255);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 1pt;
  text-indent: 0pt
}
h3.subsubsection {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 117%;
  font-style: normal;
  font-weight: 700;
  text-align: left;
  color: rgb(0,128,128);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 1pt;
  text-indent: 0pt
}
h4.paragraph {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 100%;
  font-style: normal;
  font-weight: 700;
  text-align: left;
  color: rgb(0,128,128);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 3pt;
  padding-right: 0pt;
  padding-bottom: 1pt;
  text-indent: 0pt
}
h5.subparagraph {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 100%;
  font-style: normal;
  text-align: left;
  color: rgb(0,128,128);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 1pt;
  padding-right: 0pt;
  padding-bottom: 1pt;
  text-indent: 0pt
}
em {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 83%;
  font-style: normal;
  font-weight: 400;
  color: rgb(0,128,128)
}
em span.inlineMath {
  color: rgb(255,0,255)
}
span.rm {
  font-size: 83%
}
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: Arial;
  font-size: 83%;
  font-style: italic;
  font-weight: 700;
  color: rgb(0,128,128)
}
span.sf {
  font-family: Arial;
  font-size: 83%;
  font-style: normal;
  font-weight: 700;
  color: rgb(0,128,128)
}
span.sf span.inlineMath {
  color: rgb(0,0,0)
}
span.sc {
  font-family: Arial Black;
  font-size: 75%;
  color: rgb(0,128,128)
}
span.sc span.inlineMath {
  color: rgb(0,128,0)
}
span.tt {
  font-family: Courier New;
  font-size: 83%;
  font-style: normal;
  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;
  font-size: 100%;
  text-align: left;
  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: 0pt
}
dl.description {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 83%
}
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;
  font-size: 100%;
  text-align: left;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 1pt;
  padding-right: 25pt;
  padding-bottom: 1pt;
  text-indent: 0pt
}
ol {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 83%
}
ol .leadin {
  background-color: rgb(0,128,128);
  font-family: Arial;
  font-size: 110%;
  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;
  font-size: 100%;
  text-align: left;
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 1pt;
  padding-right: 18pt;
  padding-bottom: 1pt;
  text-indent: 0pt
}
ul {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 83%
}
ul .leadin {
  font-size: 80%;
  color: rgb(0,128,128)
}
span.cal {
  font-family: Times New Roman;
  font-size: 83%;
  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%
}
span.footnotesize {
  font-size: 75%
}
span.small {
  font-size: 75%
}
span.normalsize {
  font-size: 83%;
  color: rgb(0,128,128)
}
span.large1 {
  font-size: 117%;
  color: rgb(255,0,255)
}
span.large2 {
  font-size: 133%
}
span.large3 {
  font-size: 150%
}
span.huge1 {
  font-size: 167%;
  color: rgb(255,0,255)
}
span.huge2 {
  font-size: 183%;
  color: rgb(255,0,255)
}
ol.thebibliography 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: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 0pt
}
ol.thebibliography {
  font-size: 83%
}
p.quotation {
  background-color: rgb(240,240,240);
  border: none;
  font-family: Arial;
  font-size: 83%;
  text-align: left;
  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.quote {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 83%;
  font-style: italic;
  font-weight: 700;
  text-align: left;
  color: rgb(0,128,128);
  margin-left: 0pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 7pt;
  padding-right: 0pt;
  padding-bottom: 4pt;
  text-indent: 0pt
}
p.center {
  background-color: rgb(255,255,255);
  border: none;
  font-family: Arial;
  font-size: 83%;
  text-align: center;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 0pt
}
p.f-0 {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-0 {
  font-size: 100%
}
div.f-0 span.leadin {
  padding-top: 0pt
}
p.f-0-FirstPara {
  font-size: 100%;
  margin-left: 35pt;
  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-1 {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-1 {
  font-size: 100%
}
div.f-1 span.leadin {
  padding-top: 0pt
}
p.f-1-FirstPara {
  font-size: 100%;
  margin-left: 35pt;
  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-2 {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-2 {
  font-size: 100%
}
div.f-2 span.leadin {
  padding-top: 0pt
}
p.f-2-FirstPara {
  font-size: 100%;
  margin-left: 35pt;
  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-7 {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-7 {
  font-size: 100%
}
div.f-7 span.leadin {
  padding-top: 0pt
}
p.f-7-FirstPara {
  font-size: 100%;
  margin-left: 35pt;
  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.abstract {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.abstract {
  font-size: 100%
}
div.abstract span.leadin {
  padding-top: 0pt
}
p.abstract-FirstPara {
  font-size: 100%;
  margin-left: 35pt;
  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-11 {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-11 {
  font-size: 100%
}
div.f-11 span.leadin {
  padding-top: 0pt
}
p.f-11-FirstPara {
  font-size: 100%;
  margin-left: 35pt;
  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-12 {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-12 {
  font-size: 100%
}
div.f-12 span.leadin {
  padding-top: 0pt
}
p.f-12-FirstPara {
  font-size: 100%;
  margin-left: 35pt;
  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-13 {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-13 {
  font-size: 100%
}
div.f-13 span.leadin {
  padding-top: 0pt
}
p.f-13-FirstPara {
  font-size: 100%;
  margin-left: 35pt;
  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-14 {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.f-14 {
  font-size: 100%
}
div.f-14 span.leadin {
  padding-top: 0pt
}
p.f-14-FirstPara {
  font-size: 100%;
  margin-left: 35pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
span.frak {
  font-size: 83%;
  font-style: normal;
  font-weight: 400;
  color: rgb(192,192,192)
}
span.frak span.inlineMath {
  color: rgb(255,0,255)
}
span.Bbb {
  font-size: 83%;
  color: rgb(192,192,192)
}
p.proof {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt
}
div.proof {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.proof span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 0pt
}
p.proof-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 0pt;
  padding-right: 0pt;
  padding-bottom: 0pt;
  text-indent: 2pt
}
p.acknowledgement {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.acknowledgement {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.acknowledgement span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.acknowledgement-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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.algorithm {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.algorithm {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.algorithm span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.algorithm-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.axiom {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.axiom span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.axiom-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.case {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.case span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.case-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.claim {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.claim span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.claim-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.conclusion {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.conclusion span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.conclusion-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.condition {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.condition span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.condition-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.conjecture {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.conjecture span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.conjecture-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.corollary {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.corollary span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.corollary-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.criterion {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.criterion span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.criterion-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.definition {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.definition span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.definition-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.example {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.example span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.example-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.exercise {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.exercise span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.exercise-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.lemma {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.lemma span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.lemma-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.notation {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.notation span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.notation-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.problem {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.problem span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.problem-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.proposition {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.proposition span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.proposition-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.remark {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.remark span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.remark-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.solution {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.solution span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.solution-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.summary {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.summary span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.summary-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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 {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  margin-top: 0pt;
  margin-right: 0pt;
  margin-bottom: 0pt;
  padding-left: 0pt;
  padding-top: 4pt;
  padding-right: 0pt;
  padding-bottom: 4pt
}
div.theorem {
  background-color: rgb(255,255,255);
  border: none;
  font-size: 83%
}
div.theorem span.leadin {
  background-color: rgb(0,128,128);
  font-style: normal;
  font-weight: 700;
  color: rgb(255,255,255);
  padding-top: 4pt
}
p.theorem-FirstPara {
  background-color: rgb(255,255,255);
  font-size: 100%;
  text-align: left;
  margin-left: 18pt;
  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.Bbb span.Bbb {
  font-size: 100%
}
span.Bbb span.huge2 {
  font-size: 220%
}
span.Bbb span.large3 {
  font-size: 180%
}
span.Bbb span.large2 {
  font-size: 160%
}
span.Bbb span.cal {
  font-size: 100%
}
span.Bbb em {
  font-size: 100%
}
span.Bbb span.footnotesize {
  font-size: 90%
}
span.Bbb span.frak {
  font-size: 100%
}
span.Bbb span.huge1 {
  font-size: 200%
}
span.Bbb span.large1 {
  font-size: 140%
}
span.Bbb span.normalsize {
  font-size: 100%
}
span.Bbb span.rm {
  font-size: 100%
}
span.Bbb span.sc {
  font-size: 90%
}
span.Bbb span.scriptsize {
  font-size: 80%
}
span.Bbb span.sf {
  font-size: 100%
}
span.Bbb span.sl {
  font-size: 100%
}
span.Bbb span.small {
  font-size: 90%
}
span.Bbb span.tiny {
  font-size: 60%
}
span.Bbb span.tt {
  font-size: 100%
}
p.Body-Math span.Bbb {
  font-size: 100%
}
p.Body-Math span.huge2 {
  font-size: 220%
}
p.Body-Math span.large3 {
  font-size: 180%
}
p.Body-Math span.large2 {
  font-size: 160%
}
p.Body-Math span.cal {
  font-size: 100%
}
p.Body-Math em {
  font-size: 100%
}
p.Body-Math span.footnotesize {
  font-size: 90%
}
p.Body-Math span.frak {
  font-size: 100%
}
p.Body-Math span.huge1 {
  font-size: 200%
}
p.Body-Math span.large1 {
  font-size: 140%
}
p.Body-Math span.normalsize {
  font-size: 100%
}
p.Body-Math span.rm {
  font-size: 100%
}
p.Body-Math span.sc {
  font-size: 90%
}
p.Body-Math span.scriptsize {
  font-size: 80%
}
p.Body-Math span.sf {
  font-size: 100%
}
p.Body-Math span.sl {
  font-size: 100%
}
p.Body-Math span.small {
  font-size: 90%
}
p.Body-Math span.tiny {
  font-size: 60%
}
p.Body-Math span.tt {
  font-size: 100%
}
p span.Bbb {
  font-size: 100%
}
p span.huge2 {
  font-size: 220%
}
p span.large3 {
  font-size: 180%
}
p span.large2 {
  font-size: 160%
}
p span.cal {
  font-size: 100%
}
p em {
  font-size: 100%
}
p span.footnotesize {
  font-size: 90%
}
p span.frak {
  font-size: 100%
}
p span.huge1 {
  font-size: 200%
}
p span.large1 {
  font-size: 140%
}
p span.normalsize {
  font-size: 100%
}
p span.rm {
  font-size: 100%
}
p span.sc {
  font-size: 90%
}
p span.scriptsize {
  font-size: 80%
}
p span.sf {
  font-size: 100%
}
p span.sl {
  font-size: 100%
}
p span.small {
  font-size: 90%
}
p span.tiny {
  font-size: 60%
}
p span.tt {
  font-size: 100%
}
span.huge2 span.Bbb {
  font-size: 45%
}
span.huge2 span.huge2 {
  font-size: 100%
}
span.huge2 span.large3 {
  font-size: 82%
}
span.huge2 span.large2 {
  font-size: 73%
}
span.huge2 span.cal {
  font-size: 45%
}
span.huge2 em {
  font-size: 45%
}
span.huge2 span.footnotesize {
  font-size: 41%
}
span.huge2 span.frak {
  font-size: 45%
}
span.huge2 span.huge1 {
  font-size: 91%
}
span.huge2 span.large1 {
  font-size: 64%
}
span.huge2 span.normalsize {
  font-size: 45%
}
span.huge2 span.rm {
  font-size: 45%
}
span.huge2 span.sc {
  font-size: 41%
}
span.huge2 span.scriptsize {
  font-size: 36%
}
span.huge2 span.sf {
  font-size: 45%
}
span.huge2 span.sl {
  font-size: 45%
}
span.huge2 span.small {
  font-size: 41%
}
span.huge2 span.tiny {
  font-size: 27%
}
span.huge2 span.tt {
  font-size: 45%
}
span.large3 span.Bbb {
  font-size: 56%
}
span.large3 span.huge2 {
  font-size: 122%
}
span.large3 span.large3 {
  font-size: 100%
}
span.large3 span.large2 {
  font-size: 89%
}
span.large3 span.cal {
  font-size: 56%
}
span.large3 em {
  font-size: 56%
}
span.large3 span.footnotesize {
  font-size: 50%
}
span.large3 span.frak {
  font-size: 56%
}
span.large3 span.huge1 {
  font-size: 111%
}
span.large3 span.large1 {
  font-size: 78%
}
span.large3 span.normalsize {
  font-size: 56%
}
span.large3 span.rm {
  font-size: 56%
}
span.large3 span.sc {
  font-size: 50%
}
span.large3 span.scriptsize {
  font-size: 44%
}
span.large3 span.sf {
  font-size: 56%
}
span.large3 span.sl {
  font-size: 56%
}
span.large3 span.small {
  font-size: 50%
}
span.large3 span.tiny {
  font-size: 33%
}
span.large3 span.tt {
  font-size: 56%
}
span.large2 span.Bbb {
  font-size: 63%
}
span.large2 span.huge2 {
  font-size: 138%
}
span.large2 span.large3 {
  font-size: 113%
}
span.large2 span.large2 {
  font-size: 100%
}
span.large2 span.cal {
  font-size: 63%
}
span.large2 em {
  font-size: 63%
}
span.large2 span.footnotesize {
  font-size: 56%
}
span.large2 span.frak {
  font-size: 63%
}
span.large2 span.huge1 {
  font-size: 125%
}
span.large2 span.large1 {
  font-size: 88%
}
span.large2 span.normalsize {
  font-size: 63%
}
span.large2 span.rm {
  font-size: 63%
}
span.large2 span.sc {
  font-size: 56%
}
span.large2 span.scriptsize {
  font-size: 50%
}
span.large2 span.sf {
  font-size: 63%
}
span.large2 span.sl {
  font-size: 63%
}
span.large2 span.small {
  font-size: 56%
}
span.large2 span.tiny {
  font-size: 38%
}
span.large2 span.tt {
  font-size: 63%
}
div.acknowledgement div.acknowledgement {
  font-size: 100%
}
div.acknowledgement div.algorithm {
  font-size: 100%
}
div.acknowledgement div.axiom {
  font-size: 100%
}
div.acknowledgement div.case {
  font-size: 100%
}
div.acknowledgement div.claim {
  font-size: 100%
}
div.acknowledgement div.conclusion {
  font-size: 100%
}
div.acknowledgement div.condition {
  font-size: 100%
}
div.acknowledgement div.conjecture {
  font-size: 100%
}
div.acknowledgement div.corollary {
  font-size: 100%
}
div.acknowledgement div.criterion {
  font-size: 100%
}
div.acknowledgement div.definition {
  font-size: 100%
}
div.acknowledgement dl.description {
  font-size: 100%
}
div.acknowledgement ol {
  font-size: 100%
}
div.acknowledgement div.example {
  font-size: 100%
}
div.acknowledgement div.exercise {
  font-size: 100%
}
div.acknowledgement ul {
  font-size: 100%
}
div.acknowledgement div.lemma {
  font-size: 100%
}
div.acknowledgement div.notation {
  font-size: 100%
}
div.acknowledgement div.problem {
  font-size: 100%
}
div.acknowledgement div.proof {
  font-size: 100%
}
div.acknowledgement div.proposition {
  font-size: 100%
}
div.acknowledgement div.remark {
  font-size: 100%
}
div.acknowledgement div.solution {
  font-size: 100%
}
div.acknowledgement div.summary {
  font-size: 100%
}
div.acknowledgement ol.thebibliography {
  font-size: 100%
}
div.acknowledgement div.theorem {
  font-size: 100%
}
div.algorithm div.acknowledgement {
  font-size: 100%
}
div.algorithm div.algorithm {
  font-size: 100%
}
div.algorithm div.axiom {
  font-size: 100%
}
div.algorithm div.case {
  font-size: 100%
}
div.algorithm div.claim {
  font-size: 100%
}
div.algorithm div.conclusion {
  font-size: 100%
}
div.algorithm div.condition {
  font-size: 100%
}
div.algorithm div.conjecture {
  font-size: 100%
}
div.algorithm div.corollary {
  font-size: 100%
}
div.algorithm div.criterion {
  font-size: 100%
}
div.algorithm div.definition {
  font-size: 100%
}
div.algorithm dl.description {
  font-size: 100%
}
div.algorithm ol {
  font-size: 100%
}
div.algorithm div.example {
  font-size: 100%
}
div.algorithm div.exercise {
  font-size: 100%
}
div.algorithm ul {
  font-size: 100%
}
div.algorithm div.lemma {
  font-size: 100%
}
div.algorithm div.notation {
  font-size: 100%
}
div.algorithm div.problem {
  font-size: 100%
}
div.algorithm div.proof {
  font-size: 100%
}
div.algorithm div.proposition {
  font-size: 100%
}
div.algorithm div.remark {
  font-size: 100%
}
div.algorithm div.solution {
  font-size: 100%
}
div.algorithm div.summary {
  font-size: 100%
}
div.algorithm ol.thebibliography {
  font-size: 100%
}
div.algorithm div.theorem {
  font-size: 100%
}
div.axiom div.acknowledgement {
  font-size: 100%
}
div.axiom div.algorithm {
  font-size: 100%
}
div.axiom div.axiom {
  font-size: 100%
}
div.axiom div.case {
  font-size: 100%
}
div.axiom div.claim {
  font-size: 100%
}
div.axiom div.conclusion {
  font-size: 100%
}
div.axiom div.condition {
  font-size: 100%
}
div.axiom div.conjecture {
  font-size: 100%
}
div.axiom div.corollary {
  font-size: 100%
}
div.axiom div.criterion {
  font-size: 100%
}
div.axiom div.definition {
  font-size: 100%
}
div.axiom dl.description {
  font-size: 100%
}
div.axiom ol {
  font-size: 100%
}
div.axiom div.example {
  font-size: 100%
}
div.axiom div.exercise {
  font-size: 100%
}
div.axiom ul {
  font-size: 100%
}
div.axiom div.lemma {
  font-size: 100%
}
div.axiom div.notation {
  font-size: 100%
}
div.axiom div.problem {
  font-size: 100%
}
div.axiom div.proof {
  font-size: 100%
}
div.axiom div.proposition {
  font-size: 100%
}
div.axiom div.remark {
  font-size: 100%
}
div.axiom div.solution {
  font-size: 100%
}
div.axiom div.summary {
  font-size: 100%
}
div.axiom ol.thebibliography {
  font-size: 100%
}
div.axiom div.theorem {
  font-size: 100%
}
span.cal span.Bbb {
  font-size: 100%
}
span.cal span.huge2 {
  font-size: 220%
}
span.cal span.large3 {
  font-size: 180%
}
span.cal span.large2 {
  font-size: 160%
}
span.cal span.cal {
  font-size: 100%
}
span.cal em {
  font-size: 100%
}
span.cal span.footnotesize {
  font-size: 90%
}
span.cal span.frak {
  font-size: 100%
}
span.cal span.huge1 {
  font-size: 200%
}
span.cal span.large1 {
  font-size: 140%
}
span.cal span.normalsize {
  font-size: 100%
}
span.cal span.rm {
  font-size: 100%
}
span.cal span.sc {
  font-size: 90%
}
span.cal span.scriptsize {
  font-size: 80%
}
span.cal span.sf {
  font-size: 100%
}
span.cal span.sl {
  font-size: 100%
}
span.cal span.small {
  font-size: 90%
}
span.cal span.tiny {
  font-size: 60%
}
span.cal span.tt {
  font-size: 100%
}
div.case div.acknowledgement {
  font-size: 100%
}
div.case div.algorithm {
  font-size: 100%
}
div.case div.axiom {
  font-size: 100%
}
div.case div.case {
  font-size: 100%
}
div.case div.claim {
  font-size: 100%
}
div.case div.conclusion {
  font-size: 100%
}
div.case div.condition {
  font-size: 100%
}
div.case div.conjecture {
  font-size: 100%
}
div.case div.corollary {
  font-size: 100%
}
div.case div.criterion {
  font-size: 100%
}
div.case div.definition {
  font-size: 100%
}
div.case dl.description {
  font-size: 100%
}
div.case ol {
  font-size: 100%
}
div.case div.example {
  font-size: 100%
}
div.case div.exercise {
  font-size: 100%
}
div.case ul {
  font-size: 100%
}
div.case div.lemma {
  font-size: 100%
}
div.case div.notation {
  font-size: 100%
}
div.case div.problem {
  font-size: 100%
}
div.case div.proof {
  font-size: 100%
}
div.case div.proposition {
  font-size: 100%
}
div.case div.remark {
  font-size: 100%
}
div.case div.solution {
  font-size: 100%
}
div.case div.summary {
  font-size: 100%
}
div.case ol.thebibliography {
  font-size: 100%
}
div.case div.theorem {
  font-size: 100%
}
p.center span.Bbb {
  font-size: 100%
}
p.center span.huge2 {
  font-size: 220%
}
p.center span.large3 {
  font-size: 180%
}
p.center span.large2 {
  font-size: 160%
}
p.center span.cal {
  font-size: 100%
}
p.center em {
  font-size: 100%
}
p.center span.footnotesize {
  font-size: 90%
}
p.center span.frak {
  font-size: 100%
}
p.center span.huge1 {
  font-size: 200%
}
p.center span.large1 {
  font-size: 140%
}
p.center span.normalsize {
  font-size: 100%
}
p.center span.rm {
  font-size: 100%
}
p.center span.sc {
  font-size: 90%
}
p.center span.scriptsize {
  font-size: 80%
}
p.center span.sf {
  font-size: 100%
}
p.center span.sl {
  font-size: 100%
}
p.center span.small {
  font-size: 90%
}
p.center span.tiny {
  font-size: 60%
}
p.center span.tt {
  font-size: 100%
}
div.claim div.acknowledgement {
  font-size: 100%
}
div.claim div.algorithm {
  font-size: 100%
}
div.claim div.axiom {
  font-size: 100%
}
div.claim div.case {
  font-size: 100%
}
div.claim div.claim {
  font-size: 100%
}
div.claim div.conclusion {
  font-size: 100%
}
div.claim div.condition {
  font-size: 100%
}
div.claim div.conjecture {
  font-size: 100%
}
div.claim div.corollary {
  font-size: 100%
}
div.claim div.criterion {
  font-size: 100%
}
div.claim div.definition {
  font-size: 100%
}
div.claim dl.description {
  font-size: 100%
}
div.claim ol {
  font-size: 100%
}
div.claim div.example {
  font-size: 100%
}
div.claim div.exercise {
  font-size: 100%
}
div.claim ul {
  font-size: 100%
}
div.claim div.lemma {
  font-size: 100%
}
div.claim div.notation {
  font-size: 100%
}
div.claim div.problem {
  font-size: 100%
}
div.claim div.proof {
  font-size: 100%
}
div.claim div.proposition {
  font-size: 100%
}
div.claim div.remark {
  font-size: 100%
}
div.claim div.solution {
  font-size: 100%
}
div.claim div.summary {
  font-size: 100%
}
div.claim ol.thebibliography {
  font-size: 100%
}
div.claim div.theorem {
  font-size: 100%
}
div.conclusion div.acknowledgement {
  font-size: 100%
}
div.conclusion div.algorithm {
  font-size: 100%
}
div.conclusion div.axiom {
  font-size: 100%
}
div.conclusion div.case {
  font-size: 100%
}
div.conclusion div.claim {
  font-size: 100%
}
div.conclusion div.conclusion {
  font-size: 100%
}
div.conclusion div.condition {
  font-size: 100%
}
div.conclusion div.conjecture {
  font-size: 100%
}
div.conclusion div.corollary {
  font-size: 100%
}
div.conclusion div.criterion {
  font-size: 100%
}
div.conclusion div.definition {
  font-size: 100%
}
div.conclusion dl.description {
  font-size: 100%
}
div.conclusion ol {
  font-size: 100%
}
div.conclusion div.example {
  font-size: 100%
}
div.conclusion div.exercise {
  font-size: 100%
}
div.conclusion ul {
  font-size: 100%
}
div.conclusion div.lemma {
  font-size: 100%
}
div.conclusion div.notation {
  font-size: 100%
}
div.conclusion div.problem {
  font-size: 100%
}
div.conclusion div.proof {
  font-size: 100%
}
div.conclusion div.proposition {
  font-size: 100%
}
div.conclusion div.remark {
  font-size: 100%
}
div.conclusion div.solution {
  font-size: 100%
}
div.conclusion div.summary {
  font-size: 100%
}
div.conclusion ol.thebibliography {
  font-size: 100%
}
div.conclusion div.theorem {
  font-size: 100%
}
div.condition div.acknowledgement {
  font-size: 100%
}
div.condition div.algorithm {
  font-size: 100%
}
div.condition div.axiom {
  font-size: 100%
}
div.condition div.case {
  font-size: 100%
}
div.condition div.claim {
  font-size: 100%
}
div.condition div.conclusion {
  font-size: 100%
}
div.condition div.condition {
  font-size: 100%
}
div.condition div.conjecture {
  font-size: 100%
}
div.condition div.corollary {
  font-size: 100%
}
div.condition div.criterion {
  font-size: 100%
}
div.condition div.definition {
  font-size: 100%
}
div.condition dl.description {
  font-size: 100%
}
div.condition ol {
  font-size: 100%
}
div.condition div.example {
  font-size: 100%
}
div.condition div.exercise {
  font-size: 100%
}
div.condition ul {
  font-size: 100%
}
div.condition div.lemma {
  font-size: 100%
}
div.condition div.notation {
  font-size: 100%
}
div.condition div.problem {
  font-size: 100%
}
div.condition div.proof {
  font-size: 100%
}
div.condition div.proposition {
  font-size: 100%
}
div.condition div.remark {
  font-size: 100%
}
div.condition div.solution {
  font-size: 100%
}
div.condition div.summary {
  font-size: 100%
}
div.condition ol.thebibliography {
  font-size: 100%
}
div.condition div.theorem {
  font-size: 100%
}
div.conjecture div.acknowledgement {
  font-size: 100%
}
div.conjecture div.algorithm {
  font-size: 100%
}
div.conjecture div.axiom {
  font-size: 100%
}
div.conjecture div.case {
  font-size: 100%
}
div.conjecture div.claim {
  font-size: 100%
}
div.conjecture div.conclusion {
  font-size: 100%
}
div.conjecture div.condition {
  font-size: 100%
}
div.conjecture div.conjecture {
  font-size: 100%
}
div.conjecture div.corollary {
  font-size: 100%
}
div.conjecture div.criterion {
  font-size: 100%
}
div.conjecture div.definition {
  font-size: 100%
}
div.conjecture dl.description {
  font-size: 100%
}
div.conjecture ol {
  font-size: 100%
}
div.conjecture div.example {
  font-size: 100%
}
div.conjecture div.exercise {
  font-size: 100%
}
div.conjecture ul {
  font-size: 100%
}
div.conjecture div.lemma {
  font-size: 100%
}
div.conjecture div.notation {
  font-size: 100%
}
div.conjecture div.problem {
  font-size: 100%
}
div.conjecture div.proof {
  font-size: 100%
}
div.conjecture div.proposition {
  font-size: 100%
}
div.conjecture div.remark {
  font-size: 100%
}
div.conjecture div.solution {
  font-size: 100%
}
div.conjecture div.summary {
  font-size: 100%
}
div.conjecture ol.thebibliography {
  font-size: 100%
}
div.conjecture div.theorem {
  font-size: 100%
}
div.corollary div.acknowledgement {
  font-size: 100%
}
div.corollary div.algorithm {
  font-size: 100%
}
div.corollary div.axiom {
  font-size: 100%
}
div.corollary div.case {
  font-size: 100%
}
div.corollary div.claim {
  font-size: 100%
}
div.corollary div.conclusion {
  font-size: 100%
}
div.corollary div.condition {
  font-size: 100%
}
div.corollary div.conjecture {
  font-size: 100%
}
div.corollary div.corollary {
  font-size: 100%
}
div.corollary div.criterion {
  font-size: 100%
}
div.corollary div.definition {
  font-size: 100%
}
div.corollary dl.description {
  font-size: 100%
}
div.corollary ol {
  font-size: 100%
}
div.corollary div.example {
  font-size: 100%
}
div.corollary div.exercise {
  font-size: 100%
}
div.corollary ul {
  font-size: 100%
}
div.corollary div.lemma {
  font-size: 100%
}
div.corollary div.notation {
  font-size: 100%
}
div.corollary div.problem {
  font-size: 100%
}
div.corollary div.proof {
  font-size: 100%
}
div.corollary div.proposition {
  font-size: 100%
}
div.corollary div.remark {
  font-size: 100%
}
div.corollary div.solution {
  font-size: 100%
}
div.corollary div.summary {
  font-size: 100%
}
div.corollary ol.thebibliography {
  font-size: 100%
}
div.corollary div.theorem {
  font-size: 100%
}
div.criterion div.acknowledgement {
  font-size: 100%
}
div.criterion div.algorithm {
  font-size: 100%
}
div.criterion div.axiom {
  font-size: 100%
}
div.criterion div.case {
  font-size: 100%
}
div.criterion div.claim {
  font-size: 100%
}
div.criterion div.conclusion {
  font-size: 100%
}
div.criterion div.condition {
  font-size: 100%
}
div.criterion div.conjecture {
  font-size: 100%
}
div.criterion div.corollary {
  font-size: 100%
}
div.criterion div.criterion {
  font-size: 100%
}
div.criterion div.definition {
  font-size: 100%
}
div.criterion dl.description {
  font-size: 100%
}
div.criterion ol {
  font-size: 100%
}
div.criterion div.example {
  font-size: 100%
}
div.criterion div.exercise {
  font-size: 100%
}
div.criterion ul {
  font-size: 100%
}
div.criterion div.lemma {
  font-size: 100%
}
div.criterion div.notation {
  font-size: 100%
}
div.criterion div.problem {
  font-size: 100%
}
div.criterion div.proof {
  font-size: 100%
}
div.criterion div.proposition {
  font-size: 100%
}
div.criterion div.remark {
  font-size: 100%
}
div.criterion div.solution {
  font-size: 100%
}
div.criterion div.summary {
  font-size: 100%
}
div.criterion ol.thebibliography {
  font-size: 100%
}
div.criterion div.theorem {
  font-size: 100%
}
div.definition div.acknowledgement {
  font-size: 100%
}
div.definition div.algorithm {
  font-size: 100%
}
div.definition div.axiom {
  font-size: 100%
}
div.definition div.case {
  font-size: 100%
}
div.definition div.claim {
  font-size: 100%
}
div.definition div.conclusion {
  font-size: 100%
}
div.definition div.condition {
  font-size: 100%
}
div.definition div.conjecture {
  font-size: 100%
}
div.definition div.corollary {
  font-size: 100%
}
div.definition div.criterion {
  font-size: 100%
}
div.definition div.definition {
  font-size: 100%
}
div.definition dl.description {
  font-size: 100%
}
div.definition ol {
  font-size: 100%
}
div.definition div.example {
  font-size: 100%
}
div.definition div.exercise {
  font-size: 100%
}
div.definition ul {
  font-size: 100%
}
div.definition div.lemma {
  font-size: 100%
}
div.definition div.notation {
  font-size: 100%
}
div.definition div.problem {
  font-size: 100%
}
div.definition div.proof {
  font-size: 100%
}
div.definition div.proposition {
  font-size: 100%
}
div.definition div.remark {
  font-size: 100%
}
div.definition div.solution {
  font-size: 100%
}
div.definition div.summary {
  font-size: 100%
}
div.definition ol.thebibliography {
  font-size: 100%
}
div.definition div.theorem {
  font-size: 100%
}
dl.description div.acknowledgement {
  font-size: 100%
}
dl.description div.algorithm {
  font-size: 100%
}
dl.description div.axiom {
  font-size: 100%
}
dl.description div.case {
  font-size: 100%
}
dl.description div.claim {
  font-size: 100%
}
dl.description div.conclusion {
  font-size: 100%
}
dl.description div.condition {
  font-size: 100%
}
dl.description div.conjecture {
  font-size: 100%
}
dl.description div.corollary {
  font-size: 100%
}
dl.description div.criterion {
  font-size: 100%
}
dl.description div.definition {
  font-size: 100%
}
dl.description dl.description {
  font-size: 100%
}
dl.description ol {
  font-size: 100%
}
dl.description div.example {
  font-size: 100%
}
dl.description div.exercise {
  font-size: 100%
}
dl.description ul {
  font-size: 100%
}
dl.description div.lemma {
  font-size: 100%
}
dl.description div.notation {
  font-size: 100%
}
dl.description div.problem {
  font-size: 100%
}
dl.description div.proof {
  font-size: 100%
}
dl.description div.proposition {
  font-size: 100%
}
dl.description div.remark {
  font-size: 100%
}
dl.description div.solution {
  font-size: 100%
}
dl.description div.summary {
  font-size: 100%
}
dl.description ol.thebibliography {
  font-size: 100%
}
dl.description div.theorem {
  font-size: 100%
}
em span.Bbb {
  font-size: 100%
}
em span.huge2 {
  font-size: 220%
}
em span.large3 {
  font-size: 180%
}
em span.large2 {
  font-size: 160%
}
em span.cal {
  font-size: 100%
}
em em {
  font-size: 100%
}
em span.footnotesize {
  font-size: 90%
}
em span.frak {
  font-size: 100%
}
em span.huge1 {
  font-size: 200%
}
em span.large1 {
  font-size: 140%
}
em span.normalsize {
  font-size: 100%
}
em span.rm {
  font-size: 100%
}
em span.sc {
  font-size: 90%
}
em span.scriptsize {
  font-size: 80%
}
em span.sf {
  font-size: 100%
}
em span.sl {
  font-size: 100%
}
em span.small {
  font-size: 90%
}
em span.tiny {
  font-size: 60%
}
em span.tt {
  font-size: 100%
}
ol div.acknowledgement {
  font-size: 100%
}
ol div.algorithm {
  font-size: 100%
}
ol div.axiom {
  font-size: 100%
}
ol div.case {
  font-size: 100%
}
ol div.claim {
  font-size: 100%
}
ol div.conclusion {
  font-size: 100%
}
ol div.condition {
  font-size: 100%
}
ol div.conjecture {
  font-size: 100%
}
ol div.corollary {
  font-size: 100%
}
ol div.criterion {
  font-size: 100%
}
ol div.definition {
  font-size: 100%
}
ol dl.description {
  font-size: 100%
}
ol ol {
  font-size: 100%
}
ol div.example {
  font-size: 100%
}
ol div.exercise {
  font-size: 100%
}
ol ul {
  font-size: 100%
}
ol div.lemma {
  font-size: 100%
}
ol div.notation {
  font-size: 100%
}
ol div.problem {
  font-size: 100%
}
ol div.proof {
  font-size: 100%
}
ol div.proposition {
  font-size: 100%
}
ol div.remark {
  font-size: 100%
}
ol div.solution {
  font-size: 100%
}
ol div.summary {
  font-size: 100%
}
ol ol.thebibliography {
  font-size: 100%
}
ol div.theorem {
  font-size: 100%
}
p.error span.Bbb {
  font-size: 50%
}
p.error span.huge2 {
  font-size: 110%
}
p.error span.large3 {
  font-size: 90%
}
p.error span.large2 {
  font-size: 80%
}
p.error span.cal {
  font-size: 50%
}
p.error em {
  font-size: 50%
}
p.error span.footnotesize {
  font-size: 45%
}
p.error span.frak {
  font-size: 50%
}
p.error span.huge1 {
  font-size: 100%
}
p.error span.large1 {
  font-size: 70%
}
p.error span.normalsize {
  font-size: 50%
}
p.error span.rm {
  font-size: 50%
}
p.error span.sc {
  font-size: 45%
}
p.error span.scriptsize {
  font-size: 40%
}
p.error span.sf {
  font-size: 50%
}
p.error span.sl {
  font-size: 50%
}
p.error span.small {
  font-size: 45%
}
p.error span.tiny {
  font-size: 30%
}
p.error span.tt {
  font-size: 50%
}
div.example div.acknowledgement {
  font-size: 100%
}
div.example div.algorithm {
  font-size: 100%
}
div.example div.axiom {
  font-size: 100%
}
div.example div.case {
  font-size: 100%
}
div.example div.claim {
  font-size: 100%
}
div.example div.conclusion {
  font-size: 100%
}
div.example div.condition {
  font-size: 100%
}
div.example div.conjecture {
  font-size: 100%
}
div.example div.corollary {
  font-size: 100%
}
div.example div.criterion {
  font-size: 100%
}
div.example div.definition {
  font-size: 100%
}
div.example dl.description {
  font-size: 100%
}
div.example ol {
  font-size: 100%
}
div.example div.example {
  font-size: 100%
}
div.example div.exercise {
  font-size: 100%
}
div.example ul {
  font-size: 100%
}
div.example div.lemma {
  font-size: 100%
}
div.example div.notation {
  font-size: 100%
}
div.example div.problem {
  font-size: 100%
}
div.example div.proof {
  font-size: 100%
}
div.example div.proposition {
  font-size: 100%
}
div.example div.remark {
  font-size: 100%
}
div.example div.solution {
  font-size: 100%
}
div.example div.summary {
  font-size: 100%
}
div.example ol.thebibliography {
  font-size: 100%
}
div.example div.theorem {
  font-size: 100%
}
div.exercise div.acknowledgement {
  font-size: 100%
}
div.exercise div.algorithm {
  font-size: 100%
}
div.exercise div.axiom {
  font-size: 100%
}
div.exercise div.case {
  font-size: 100%
}
div.exercise div.claim {
  font-size: 100%
}
div.exercise div.conclusion {
  font-size: 100%
}
div.exercise div.condition {
  font-size: 100%
}
div.exercise div.conjecture {
  font-size: 100%
}
div.exercise div.corollary {
  font-size: 100%
}
div.exercise div.criterion {
  font-size: 100%
}
div.exercise div.definition {
  font-size: 100%
}
div.exercise dl.description {
  font-size: 100%
}
div.exercise ol {
  font-size: 100%
}
div.exercise div.example {
  font-size: 100%
}
div.exercise div.exercise {
  font-size: 100%
}
div.exercise ul {
  font-size: 100%
}
div.exercise div.lemma {
  font-size: 100%
}
div.exercise div.notation {
  font-size: 100%
}
div.exercise div.problem {
  font-size: 100%
}
div.exercise div.proof {
  font-size: 100%
}
div.exercise div.proposition {
  font-size: 100%
}
div.exercise div.remark {
  font-size: 100%
}
div.exercise div.solution {
  font-size: 100%
}
div.exercise div.summary {
  font-size: 100%
}
div.exercise ol.thebibliography {
  font-size: 100%
}
div.exercise div.theorem {
  font-size: 100%
}
span.footnotesize span.Bbb {
  font-size: 111%
}
span.footnotesize span.huge2 {
  font-size: 244%
}
span.footnotesize span.large3 {
  font-size: 200%
}
span.footnotesize span.large2 {
  font-size: 178%
}
span.footnotesize span.cal {
  font-size: 111%
}
span.footnotesize em {
  font-size: 111%
}
span.footnotesize span.footnotesize {
  font-size: 100%
}
span.footnotesize span.frak {
  font-size: 111%
}
span.footnotesize span.huge1 {
  font-size: 222%
}
span.footnotesize span.large1 {
  font-size: 156%
}
span.footnotesize span.normalsize {
  font-size: 111%
}
span.footnotesize span.rm {
  font-size: 111%
}
span.footnotesize span.sc {
  font-size: 100%
}
span.footnotesize span.scriptsize {
  font-size: 89%
}
span.footnotesize span.sf {
  font-size: 111%
}
span.footnotesize span.sl {
  font-size: 111%
}
span.footnotesize span.small {
  font-size: 100%
}
span.footnotesize span.tiny {
  font-size: 67%
}
span.footnotesize span.tt {
  font-size: 111%
}
span.frak span.Bbb {
  font-size: 100%
}
span.frak span.huge2 {
  font-size: 220%
}
span.frak span.large3 {
  font-size: 180%
}
span.frak span.large2 {
  font-size: 160%
}
span.frak span.cal {
  font-size: 100%
}
span.frak em {
  font-size: 100%
}
span.frak span.footnotesize {
  font-size: 90%
}
span.frak span.frak {
  font-size: 100%
}
span.frak span.huge1 {
  font-size: 200%
}
span.frak span.large1 {
  font-size: 140%
}
span.frak span.normalsize {
  font-size: 100%
}
span.frak span.rm {
  font-size: 100%
}
span.frak span.sc {
  font-size: 90%
}
span.frak span.scriptsize {
  font-size: 80%
}
span.frak span.sf {
  font-size: 100%
}
span.frak span.sl {
  font-size: 100%
}
span.frak span.small {
  font-size: 90%
}
span.frak span.tiny {
  font-size: 60%
}
span.frak span.tt {
  font-size: 100%
}
span.huge1 span.Bbb {
  font-size: 50%
}
span.huge1 span.huge2 {
  font-size: 110%
}
span.huge1 span.large3 {
  font-size: 90%
}
span.huge1 span.large2 {
  font-size: 80%
}
span.huge1 span.cal {
  font-size: 50%
}
span.huge1 em {
  font-size: 50%
}
span.huge1 span.footnotesize {
  font-size: 45%
}
span.huge1 span.frak {
  font-size: 50%
}
span.huge1 span.huge1 {
  font-size: 100%
}
span.huge1 span.large1 {
  font-size: 70%
}
span.huge1 span.normalsize {
  font-size: 50%
}
span.huge1 span.rm {
  font-size: 50%
}
span.huge1 span.sc {
  font-size: 45%
}
span.huge1 span.scriptsize {
  font-size: 40%
}
span.huge1 span.sf {
  font-size: 50%
}
span.huge1 span.sl {
  font-size: 50%
}
span.huge1 span.small {
  font-size: 45%
}
span.huge1 span.tiny {
  font-size: 30%
}
span.huge1 span.tt {
  font-size: 50%
}
ul div.acknowledgement {
  font-size: 100%
}
ul div.algorithm {
  font-size: 100%
}
ul div.axiom {
  font-size: 100%
}
ul div.case {
  font-size: 100%
}
ul div.claim {
  font-size: 100%
}
ul div.conclusion {
  font-size: 100%
}
ul div.condition {
  font-size: 100%
}
ul div.conjecture {
  font-size: 100%
}
ul div.corollary {
  font-size: 100%
}
ul div.criterion {
  font-size: 100%
}
ul div.definition {
  font-size: 100%
}
ul dl.description {
  font-size: 100%
}
ul ol {
  font-size: 100%
}
ul div.example {
  font-size: 100%
}
ul div.exercise {
  font-size: 100%
}
ul ul {
  font-size: 100%
}
ul div.lemma {
  font-size: 100%
}
ul div.notation {
  font-size: 100%
}
ul div.problem {
  font-size: 100%
}
ul div.proof {
  font-size: 100%
}
ul div.proposition {
  font-size: 100%
}
ul div.remark {
  font-size: 100%
}
ul div.solution {
  font-size: 100%
}
ul div.summary {
  font-size: 100%
}
ul ol.thebibliography {
  font-size: 100%
}
ul div.theorem {
  font-size: 100%
}
span.large1 span.Bbb {
  font-size: 71%
}
span.large1 span.huge2 {
  font-size: 157%
}
span.large1 span.large3 {
  font-size: 129%
}
span.large1 span.large2 {
  font-size: 114%
}
span.large1 span.cal {
  font-size: 71%
}
span.large1 em {
  font-size: 71%
}
span.large1 span.footnotesize {
  font-size: 64%
}
span.large1 span.frak {
  font-size: 71%
}
span.large1 span.huge1 {
  font-size: 143%
}
span.large1 span.large1 {
  font-size: 100%
}
span.large1 span.normalsize {
  font-size: 71%
}
span.large1 span.rm {
  font-size: 71%
}
span.large1 span.sc {
  font-size: 64%
}
span.large1 span.scriptsize {
  font-size: 57%
}
span.large1 span.sf {
  font-size: 71%
}
span.large1 span.sl {
  font-size: 71%
}
span.large1 span.small {
  font-size: 64%
}
span.large1 span.tiny {
  font-size: 43%
}
span.large1 span.tt {
  font-size: 71%
}
div.lemma div.acknowledgement {
  font-size: 100%
}
div.lemma div.algorithm {
  font-size: 100%
}
div.lemma div.axiom {
  font-size: 100%
}
div.lemma div.case {
  font-size: 100%
}
div.lemma div.claim {
  font-size: 100%
}
div.lemma div.conclusion {
  font-size: 100%
}
div.lemma div.condition {
  font-size: 100%
}
div.lemma div.conjecture {
  font-size: 100%
}
div.lemma div.corollary {
  font-size: 100%
}
div.lemma div.criterion {
  font-size: 100%
}
div.lemma div.definition {
  font-size: 100%
}
div.lemma dl.description {
  font-size: 100%
}
div.lemma ol {
  font-size: 100%
}
div.lemma div.example {
  font-size: 100%
}
div.lemma div.exercise {
  font-size: 100%
}
div.lemma ul {
  font-size: 100%
}
div.lemma div.lemma {
  font-size: 100%
}
div.lemma div.notation {
  font-size: 100%
}
div.lemma div.problem {
  font-size: 100%
}
div.lemma div.proof {
  font-size: 100%
}
div.lemma div.proposition {
  font-size: 100%
}
div.lemma div.remark {
  font-size: 100%
}
div.lemma div.solution {
  font-size: 100%
}
div.lemma div.summary {
  font-size: 100%
}
div.lemma ol.thebibliography {
  font-size: 100%
}
div.lemma div.theorem {
  font-size: 100%
}
span.normalsize span.Bbb {
  font-size: 100%
}
span.normalsize span.huge2 {
  font-size: 220%
}
span.normalsize span.large3 {
  font-size: 180%
}
span.normalsize span.large2 {
  font-size: 160%
}
span.normalsize span.cal {
  font-size: 100%
}
span.normalsize em {
  font-size: 100%
}
span.normalsize span.footnotesize {
  font-size: 90%
}
span.normalsize span.frak {
  font-size: 100%
}
span.normalsize span.huge1 {
  font-size: 200%
}
span.normalsize span.large1 {
  font-size: 140%
}
span.normalsize span.normalsize {
  font-size: 100%
}
span.normalsize span.rm {
  font-size: 100%
}
span.normalsize span.sc {
  font-size: 90%
}
span.normalsize span.scriptsize {
  font-size: 80%
}
span.normalsize span.sf {
  font-size: 100%
}
span.normalsize span.sl {
  font-size: 100%
}
span.normalsize span.small {
  font-size: 90%
}
span.normalsize span.tiny {
  font-size: 60%
}
span.normalsize span.tt {
  font-size: 100%
}
div.notation div.acknowledgement {
  font-size: 100%
}
div.notation div.algorithm {
  font-size: 100%
}
div.notation div.axiom {
  font-size: 100%
}
div.notation div.case {
  font-size: 100%
}
div.notation div.claim {
  font-size: 100%
}
div.notation div.conclusion {
  font-size: 100%
}
div.notation div.condition {
  font-size: 100%
}
div.notation div.conjecture {
  font-size: 100%
}
div.notation div.corollary {
  font-size: 100%
}
div.notation div.criterion {
  font-size: 100%
}
div.notation div.definition {
  font-size: 100%
}
div.notation dl.description {
  font-size: 100%
}
div.notation ol {
  font-size: 100%
}
div.notation div.example {
  font-size: 100%
}
div.notation div.exercise {
  font-size: 100%
}
div.notation ul {
  font-size: 100%
}
div.notation div.lemma {
  font-size: 100%
}
div.notation div.notation {
  font-size: 100%
}
div.notation div.problem {
  font-size: 100%
}
div.notation div.proof {
  font-size: 100%
}
div.notation div.proposition {
  font-size: 100%
}
div.notation div.remark {
  font-size: 100%
}
div.notation div.solution {
  font-size: 100%
}
div.notation div.summary {
  font-size: 100%
}
div.notation ol.thebibliography {
  font-size: 100%
}
div.notation div.theorem {
  font-size: 100%
}
div.problem div.acknowledgement {
  font-size: 100%
}
div.problem div.algorithm {
  font-size: 100%
}
div.problem div.axiom {
  font-size: 100%
}
div.problem div.case {
  font-size: 100%
}
div.problem div.claim {
  font-size: 100%
}
div.problem div.conclusion {
  font-size: 100%
}
div.problem div.condition {
  font-size: 100%
}
div.problem div.conjecture {
  font-size: 100%
}
div.problem div.corollary {
  font-size: 100%
}
div.problem div.criterion {
  font-size: 100%
}
div.problem div.definition {
  font-size: 100%
}
div.problem dl.description {
  font-size: 100%
}
div.problem ol {
  font-size: 100%
}
div.problem div.example {
  font-size: 100%
}
div.problem div.exercise {
  font-size: 100%
}
div.problem ul {
  font-size: 100%
}
div.problem div.lemma {
  font-size: 100%
}
div.problem div.notation {
  font-size: 100%
}
div.problem div.problem {
  font-size: 100%
}
div.problem div.proof {
  font-size: 100%
}
div.problem div.proposition {
  font-size: 100%
}
div.problem div.remark {
  font-size: 100%
}
div.problem div.solution {
  font-size: 100%
}
div.problem div.summary {
  font-size: 100%
}
div.problem ol.thebibliography {
  font-size: 100%
}
div.problem div.theorem {
  font-size: 100%
}
div.proof div.acknowledgement {
  font-size: 100%
}
div.proof div.algorithm {
  font-size: 100%
}
div.proof div.axiom {
  font-size: 100%
}
div.proof div.case {
  font-size: 100%
}
div.proof div.claim {
  font-size: 100%
}
div.proof div.conclusion {
  font-size: 100%
}
div.proof div.condition {
  font-size: 100%
}
div.proof div.conjecture {
  font-size: 100%
}
div.proof div.corollary {
  font-size: 100%
}
div.proof div.criterion {
  font-size: 100%
}
div.proof div.definition {
  font-size: 100%
}
div.proof dl.description {
  font-size: 100%
}
div.proof ol {
  font-size: 100%
}
div.proof div.example {
  font-size: 100%
}
div.proof div.exercise {
  font-size: 100%
}
div.proof ul {
  font-size: 100%
}
div.proof div.lemma {
  font-size: 100%
}
div.proof div.notation {
  font-size: 100%
}
div.proof div.problem {
  font-size: 100%
}
div.proof div.proof {
  font-size: 100%
}
div.proof div.proposition {
  font-size: 100%
}
div.proof div.remark {
  font-size: 100%
}
div.proof div.solution {
  font-size: 100%
}
div.proof div.summary {
  font-size: 100%
}
div.proof ol.thebibliography {
  font-size: 100%
}
div.proof div.theorem {
  font-size: 100%
}
div.proposition div.acknowledgement {
  font-size: 100%
}
div.proposition div.algorithm {
  font-size: 100%
}
div.proposition div.axiom {
  font-size: 100%
}
div.proposition div.case {
  font-size: 100%
}
div.proposition div.claim {
  font-size: 100%
}
div.proposition div.conclusion {
  font-size: 100%
}
div.proposition div.condition {
  font-size: 100%
}
div.proposition div.conjecture {
  font-size: 100%
}
div.proposition div.corollary {
  font-size: 100%
}
div.proposition div.criterion {
  font-size: 100%
}
div.proposition div.definition {
  font-size: 100%
}
div.proposition dl.description {
  font-size: 100%
}
div.proposition ol {
  font-size: 100%
}
div.proposition div.example {
  font-size: 100%
}
div.proposition div.exercise {
  font-size: 100%
}
div.proposition ul {
  font-size: 100%
}
div.proposition div.lemma {
  font-size: 100%
}
div.proposition div.notation {
  font-size: 100%
}
div.proposition div.problem {
  font-size: 100%
}
div.proposition div.proof {
  font-size: 100%
}
div.proposition div.proposition {
  font-size: 100%
}
div.proposition div.remark {
  font-size: 100%
}
div.proposition div.solution {
  font-size: 100%
}
div.proposition div.summary {
  font-size: 100%
}
div.proposition ol.thebibliography {
  font-size: 100%
}
div.proposition div.theorem {
  font-size: 100%
}
p.quotation span.Bbb {
  font-size: 100%
}
p.quotation span.huge2 {
  font-size: 220%
}
p.quotation span.large3 {
  font-size: 180%
}
p.quotation span.large2 {
  font-size: 160%
}
p.quotation span.cal {
  font-size: 100%
}
p.quotation em {
  font-size: 100%
}
p.quotation span.footnotesize {
  font-size: 90%
}
p.quotation span.frak {
  font-size: 100%
}
p.quotation span.huge1 {
  font-size: 200%
}
p.quotation span.large1 {
  font-size: 140%
}
p.quotation span.normalsize {
  font-size: 100%
}
p.quotation span.rm {
  font-size: 100%
}
p.quotation span.sc {
  font-size: 90%
}
p.quotation span.scriptsize {
  font-size: 80%
}
p.quotation span.sf {
  font-size: 100%
}
p.quotation span.sl {
  font-size: 100%
}
p.quotation span.small {
  font-size: 90%
}
p.quotation span.tiny {
  font-size: 60%
}
p.quotation span.tt {
  font-size: 100%
}
p.quote span.Bbb {
  font-size: 100%
}
p.quote span.huge2 {
  font-size: 220%
}
p.quote span.large3 {
  font-size: 180%
}
p.quote span.large2 {
  font-size: 160%
}
p.quote span.cal {
  font-size: 100%
}
p.quote em {
  font-size: 100%
}
p.quote span.footnotesize {
  font-size: 90%
}
p.quote span.frak {
  font-size: 100%
}
p.quote span.huge1 {
  font-size: 200%
}
p.quote span.large1 {
  font-size: 140%
}
p.quote span.normalsize {
  font-size: 100%
}
p.quote span.rm {
  font-size: 100%
}
p.quote span.sc {
  font-size: 90%
}
p.quote span.scriptsize {
  font-size: 80%
}
p.quote span.sf {
  font-size: 100%
}
p.quote span.sl {
  font-size: 100%
}
p.quote span.small {
  font-size: 90%
}
p.quote span.tiny {
  font-size: 60%
}
p.quote span.tt {
  font-size: 100%
}
div.remark div.acknowledgement {
  font-size: 100%
}
div.remark div.algorithm {
  font-size: 100%
}
div.remark div.axiom {
  font-size: 100%
}
div.remark div.case {
  font-size: 100%
}
div.remark div.claim {
  font-size: 100%
}
div.remark div.conclusion {
  font-size: 100%
}
div.remark div.condition {
  font-size: 100%
}
div.remark div.conjecture {
  font-size: 100%
}
div.remark div.corollary {
  font-size: 100%
}
div.remark div.criterion {
  font-size: 100%
}
div.remark div.definition {
  font-size: 100%
}
div.remark dl.description {
  font-size: 100%
}
div.remark ol {
  font-size: 100%
}
div.remark div.example {
  font-size: 100%
}
div.remark div.exercise {
  font-size: 100%
}
div.remark ul {
  font-size: 100%
}
div.remark div.lemma {
  font-size: 100%
}
div.remark div.notation {
  font-size: 100%
}
div.remark div.problem {
  font-size: 100%
}
div.remark div.proof {
  font-size: 100%
}
div.remark div.proposition {
  font-size: 100%
}
div.remark div.remark {
  font-size: 100%
}
div.remark div.solution {
  font-size: 100%
}
div.remark div.summary {
  font-size: 100%
}
div.remark ol.thebibliography {
  font-size: 100%
}
div.remark div.theorem {
  font-size: 100%
}
span.rm span.Bbb {
  font-size: 100%
}
span.rm span.huge2 {
  font-size: 220%
}
span.rm span.large3 {
  font-size: 180%
}
span.rm span.large2 {
  font-size: 160%
}
span.rm span.cal {
  font-size: 100%
}
span.rm em {
  font-size: 100%
}
span.rm span.footnotesize {
  font-size: 90%
}
span.rm span.frak {
  font-size: 100%
}
span.rm span.huge1 {
  font-size: 200%
}
span.rm span.large1 {
  font-size: 140%
}
span.rm span.normalsize {
  font-size: 100%
}
span.rm span.rm {
  font-size: 100%
}
span.rm span.sc {
  font-size: 90%
}
span.rm span.scriptsize {
  font-size: 80%
}
span.rm span.sf {
  font-size: 100%
}
span.rm span.sl {
  font-size: 100%
}
span.rm span.small {
  font-size: 90%
}
span.rm span.tiny {
  font-size: 60%
}
span.rm span.tt {
  font-size: 100%
}
span.sc span.Bbb {
  font-size: 111%
}
span.sc span.huge2 {
  font-size: 244%
}
span.sc span.large3 {
  font-size: 200%
}
span.sc span.large2 {
  font-size: 178%
}
span.sc span.cal {
  font-size: 111%
}
span.sc em {
  font-size: 111%
}
span.sc span.footnotesize {
  font-size: 100%
}
span.sc span.frak {
  font-size: 111%
}
span.sc span.huge1 {
  font-size: 222%
}
span.sc span.large1 {
  font-size: 156%
}
span.sc span.normalsize {
  font-size: 111%
}
span.sc span.rm {
  font-size: 111%
}
span.sc span.sc {
  font-size: 100%
}
span.sc span.scriptsize {
  font-size: 89%
}
span.sc span.sf {
  font-size: 111%
}
span.sc span.sl {
  font-size: 111%
}
span.sc span.small {
  font-size: 100%
}
span.sc span.tiny {
  font-size: 67%
}
span.sc span.tt {
  font-size: 111%
}
span.scriptsize span.Bbb {
  font-size: 125%
}
span.scriptsize span.huge2 {
  font-size: 275%
}
span.scriptsize span.large3 {
  font-size: 225%
}
span.scriptsize span.large2 {
  font-size: 200%
}
span.scriptsize span.cal {
  font-size: 125%
}
span.scriptsize em {
  font-size: 125%
}
span.scriptsize span.footnotesize {
  font-size: 113%
}
span.scriptsize span.frak {
  font-size: 125%
}
span.scriptsize span.huge1 {
  font-size: 250%
}
span.scriptsize span.large1 {
  font-size: 175%
}
span.scriptsize span.normalsize {
  font-size: 125%
}
span.scriptsize span.rm {
  font-size: 125%
}
span.scriptsize span.sc {
  font-size: 113%
}
span.scriptsize span.scriptsize {
  font-size: 100%
}
span.scriptsize span.sf {
  font-size: 125%
}
span.scriptsize span.sl {
  font-size: 125%
}
span.scriptsize span.small {
  font-size: 113%
}
span.scriptsize span.tiny {
  font-size: 75%
}
span.scriptsize span.tt {
  font-size: 125%
}
h1.section span.Bbb {
  font-size: 56%
}
h1.section span.huge2 {
  font-size: 122%
}
h1.section span.large3 {
  font-size: 100%
}
h1.section span.large2 {
  font-size: 89%
}
h1.section span.cal {
  font-size: 56%
}
h1.section em {
  font-size: 56%
}
h1.section span.footnotesize {
  font-size: 50%
}
h1.section span.frak {
  font-size: 56%
}
h1.section span.huge1 {
  font-size: 111%
}
h1.section span.large1 {
  font-size: 78%
}
h1.section span.normalsize {
  font-size: 56%
}
h1.section span.rm {
  font-size: 56%
}
h1.section span.sc {
  font-size: 50%
}
h1.section span.scriptsize {
  font-size: 44%
}
h1.section span.sf {
  font-size: 56%
}
h1.section span.sl {
  font-size: 56%
}
h1.section span.small {
  font-size: 50%
}
h1.section span.tiny {
  font-size: 33%
}
h1.section span.tt {
  font-size: 56%
}
span.sf span.Bbb {
  font-size: 100%
}
span.sf span.huge2 {
  font-size: 220%
}
span.sf span.large3 {
  font-size: 180%
}
span.sf span.large2 {
  font-size: 160%
}
span.sf span.cal {
  font-size: 100%
}
span.sf em {
  font-size: 100%
}
span.sf span.footnotesize {
  font-size: 90%
}
span.sf span.frak {
  font-size: 100%
}
span.sf span.huge1 {
  font-size: 200%
}
span.sf span.large1 {
  font-size: 140%
}
span.sf span.normalsize {
  font-size: 100%
}
span.sf span.rm {
  font-size: 100%
}
span.sf span.sc {
  font-size: 90%
}
span.sf span.scriptsize {
  font-size: 80%
}
span.sf span.sf {
  font-size: 100%
}
span.sf span.sl {
  font-size: 100%
}
span.sf span.small {
  font-size: 90%
}
span.sf span.tiny {
  font-size: 60%
}
span.sf span.tt {
  font-size: 100%
}
span.sl span.Bbb {
  font-size: 100%
}
span.sl span.huge2 {
  font-size: 220%
}
span.sl span.large3 {
  font-size: 180%
}
span.sl span.large2 {
  font-size: 160%
}
span.sl span.cal {
  font-size: 100%
}
span.sl em {
  font-size: 100%
}
span.sl span.footnotesize {
  font-size: 90%
}
span.sl span.frak {
  font-size: 100%
}
span.sl span.huge1 {
  font-size: 200%
}
span.sl span.large1 {
  font-size: 140%
}
span.sl span.normalsize {
  font-size: 100%
}
span.sl span.rm {
  font-size: 100%
}
span.sl span.sc {
  font-size: 90%
}
span.sl span.scriptsize {
  font-size: 80%
}
span.sl span.sf {
  font-size: 100%
}
span.sl span.sl {
  font-size: 100%
}
span.sl span.small {
  font-size: 90%
}
span.sl span.tiny {
  font-size: 60%
}
span.sl span.tt {
  font-size: 100%
}
span.small span.Bbb {
  font-size: 111%
}
span.small span.huge2 {
  font-size: 244%
}
span.small span.large3 {
  font-size: 200%
}
span.small span.large2 {
  font-size: 178%
}
span.small span.cal {
  font-size: 111%
}
span.small em {
  font-size: 111%
}
span.small span.footnotesize {
  font-size: 100%
}
span.small span.frak {
  font-size: 111%
}
span.small span.huge1 {
  font-size: 222%
}
span.small span.large1 {
  font-size: 156%
}
span.small span.normalsize {
  font-size: 111%
}
span.small span.rm {
  font-size: 111%
}
span.small span.sc {
  font-size: 100%
}
span.small span.scriptsize {
  font-size: 89%
}
span.small span.sf {
  font-size: 111%
}
span.small span.sl {
  font-size: 111%
}
span.small span.small {
  font-size: 100%
}
span.small span.tiny {
  font-size: 67%
}
span.small span.tt {
  font-size: 111%
}
div.solution div.acknowledgement {
  font-size: 100%
}
div.solution div.algorithm {
  font-size: 100%
}
div.solution div.axiom {
  font-size: 100%
}
div.solution div.case {
  font-size: 100%
}
div.solution div.claim {
  font-size: 100%
}
div.solution div.conclusion {
  font-size: 100%
}
div.solution div.condition {
  font-size: 100%
}
div.solution div.conjecture {
  font-size: 100%
}
div.solution div.corollary {
  font-size: 100%
}
div.solution div.criterion {
  font-size: 100%
}
div.solution div.definition {
  font-size: 100%
}
div.solution dl.description {
  font-size: 100%
}
div.solution ol {
  font-size: 100%
}
div.solution div.example {
  font-size: 100%
}
div.solution div.exercise {
  font-size: 100%
}
div.solution ul {
  font-size: 100%
}
div.solution div.lemma {
  font-size: 100%
}
div.solution div.notation {
  font-size: 100%
}
div.solution div.problem {
  font-size: 100%
}
div.solution div.proof {
  font-size: 100%
}
div.solution div.proposition {
  font-size: 100%
}
div.solution div.remark {
  font-size: 100%
}
div.solution div.solution {
  font-size: 100%
}
div.solution div.summary {
  font-size: 100%
}
div.solution ol.thebibliography {
  font-size: 100%
}
div.solution div.theorem {
  font-size: 100%
}
h2.subsection span.Bbb {
  font-size: 63%
}
h2.subsection span.huge2 {
  font-size: 138%
}
h2.subsection span.large3 {
  font-size: 113%
}
h2.subsection span.large2 {
  font-size: 100%
}
h2.subsection span.cal {
  font-size: 63%
}
h2.subsection em {
  font-size: 63%
}
h2.subsection span.footnotesize {
  font-size: 56%
}
h2.subsection span.frak {
  font-size: 63%
}
h2.subsection span.huge1 {
  font-size: 125%
}
h2.subsection span.large1 {
  font-size: 88%
}
h2.subsection span.normalsize {
  font-size: 63%
}
h2.subsection span.rm {
  font-size: 63%
}
h2.subsection span.sc {
  font-size: 56%
}
h2.subsection span.scriptsize {
  font-size: 50%
}
h2.subsection span.sf {
  font-size: 63%
}
h2.subsection span.sl {
  font-size: 63%
}
h2.subsection span.small {
  font-size: 56%
}
h2.subsection span.tiny {
  font-size: 38%
}
h2.subsection span.tt {
  font-size: 63%
}
h3.subsubsection span.Bbb {
  font-size: 71%
}
h3.subsubsection span.huge2 {
  font-size: 157%
}
h3.subsubsection span.large3 {
  font-size: 129%
}
h3.subsubsection span.large2 {
  font-size: 114%
}
h3.subsubsection span.cal {
  font-size: 71%
}
h3.subsubsection em {
  font-size: 71%
}
h3.subsubsection span.footnotesize {
  font-size: 64%
}
h3.subsubsection span.frak {
  font-size: 71%
}
h3.subsubsection span.huge1 {
  font-size: 143%
}
h3.subsubsection span.large1 {
  font-size: 100%
}
h3.subsubsection span.normalsize {
  font-size: 71%
}
h3.subsubsection span.rm {
  font-size: 71%
}
h3.subsubsection span.sc {
  font-size: 64%
}
h3.subsubsection span.scriptsize {
  font-size: 57%
}
h3.subsubsection span.sf {
  font-size: 71%
}
h3.subsubsection span.sl {
  font-size: 71%
}
h3.subsubsection span.small {
  font-size: 64%
}
h3.subsubsection span.tiny {
  font-size: 43%
}
h3.subsubsection span.tt {
  font-size: 71%
}
div.summary div.acknowledgement {
  font-size: 100%
}
div.summary div.algorithm {
  font-size: 100%
}
div.summary div.axiom {
  font-size: 100%
}
div.summary div.case {
  font-size: 100%
}
div.summary div.claim {
  font-size: 100%
}
div.summary div.conclusion {
  font-size: 100%
}
div.summary div.condition {
  font-size: 100%
}
div.summary div.conjecture {
  font-size: 100%
}
div.summary div.corollary {
  font-size: 100%
}
div.summary div.criterion {
  font-size: 100%
}
div.summary div.definition {
  font-size: 100%
}
div.summary dl.description {
  font-size: 100%
}
div.summary ol {
  font-size: 100%
}
div.summary div.example {
  font-size: 100%
}
div.summary div.exercise {
  font-size: 100%
}
div.summary ul {
  font-size: 100%
}
div.summary div.lemma {
  font-size: 100%
}
div.summary div.notation {
  font-size: 100%
}
div.summary div.problem {
  font-size: 100%
}
div.summary div.proof {
  font-size: 100%
}
div.summary div.proposition {
  font-size: 100%
}
div.summary div.remark {
  font-size: 100%
}
div.summary div.solution {
  font-size: 100%
}
div.summary div.summary {
  font-size: 100%
}
div.summary ol.thebibliography {
  font-size: 100%
}
div.summary div.theorem {
  font-size: 100%
}
ol.thebibliography div.acknowledgement {
  font-size: 100%
}
ol.thebibliography div.algorithm {
  font-size: 100%
}
ol.thebibliography div.axiom {
  font-size: 100%
}
ol.thebibliography div.case {
  font-size: 100%
}
ol.thebibliography div.claim {
  font-size: 100%
}
ol.thebibliography div.conclusion {
  font-size: 100%
}
ol.thebibliography div.condition {
  font-size: 100%
}
ol.thebibliography div.conjecture {
  font-size: 100%
}
ol.thebibliography div.corollary {
  font-size: 100%
}
ol.thebibliography div.criterion {
  font-size: 100%
}
ol.thebibliography div.definition {
  font-size: 100%
}
ol.thebibliography dl.description {
  font-size: 100%
}
ol.thebibliography ol {
  font-size: 100%
}
ol.thebibliography div.example {
  font-size: 100%
}
ol.thebibliography div.exercise {
  font-size: 100%
}
ol.thebibliography ul {
  font-size: 100%
}
ol.thebibliography div.lemma {
  font-size: 100%
}
ol.thebibliography div.notation {
  font-size: 100%
}
ol.thebibliography div.problem {
  font-size: 100%
}
ol.thebibliography div.proof {
  font-size: 100%
}
ol.thebibliography div.proposition {
  font-size: 100%
}
ol.thebibliography div.remark {
  font-size: 100%
}
ol.thebibliography div.solution {
  font-size: 100%
}
ol.thebibliography div.summary {
  font-size: 100%
}
ol.thebibliography ol.thebibliography {
  font-size: 100%
}
ol.thebibliography div.theorem {
  font-size: 100%
}
div.theorem div.acknowledgement {
  font-size: 100%
}
div.theorem div.algorithm {
  font-size: 100%
}
div.theorem div.axiom {
  font-size: 100%
}
div.theorem div.case {
  font-size: 100%
}
div.theorem div.claim {
  font-size: 100%
}
div.theorem div.conclusion {
  font-size: 100%
}
div.theorem div.condition {
  font-size: 100%
}
div.theorem div.conjecture {
  font-size: 100%
}
div.theorem div.corollary {
  font-size: 100%
}
div.theorem div.criterion {
  font-size: 100%
}
div.theorem div.definition {
  font-size: 100%
}
div.theorem dl.description {
  font-size: 100%
}
div.theorem ol {
  font-size: 100%
}
div.theorem div.example {
  font-size: 100%
}
div.theorem div.exercise {
  font-size: 100%
}
div.theorem ul {
  font-size: 100%
}
div.theorem div.lemma {
  font-size: 100%
}
div.theorem div.notation {
  font-size: 100%
}
div.theorem div.problem {
  font-size: 100%
}
div.theorem div.proof {
  font-size: 100%
}
div.theorem div.proposition {
  font-size: 100%
}
div.theorem div.remark {
  font-size: 100%
}
div.theorem div.solution {
  font-size: 100%
}
div.theorem div.summary {
  font-size: 100%
}
div.theorem ol.thebibliography {
  font-size: 100%
}
div.theorem div.theorem {
  font-size: 100%
}
span.tiny span.Bbb {
  font-size: 167%
}
span.tiny span.huge2 {
  font-size: 367%
}
span.tiny span.large3 {
  font-size: 300%
}
span.tiny span.large2 {
  font-size: 267%
}
span.tiny span.cal {
  font-size: 167%
}
span.tiny em {
  font-size: 167%
}
span.tiny span.footnotesize {
  font-size: 150%
}
span.tiny span.frak {
  font-size: 167%
}
span.tiny span.huge1 {
  font-size: 333%
}
span.tiny span.large1 {
  font-size: 233%
}
span.tiny span.normalsize {
  font-size: 167%
}
span.tiny span.rm {
  font-size: 167%
}
span.tiny span.sc {
  font-size: 150%
}
span.tiny span.scriptsize {
  font-size: 133%
}
span.tiny span.sf {
  font-size: 167%
}
span.tiny span.sl {
  font-size: 167%
}
span.tiny span.small {
  font-size: 150%
}
span.tiny span.tiny {
  font-size: 100%
}
span.tiny span.tt {
  font-size: 167%
}
span.tt span.Bbb {
  font-size: 100%
}
span.tt span.huge2 {
  font-size: 220%
}
span.tt span.large3 {
  font-size: 180%
}
span.tt span.large2 {
  font-size: 160%
}
span.tt span.cal {
  font-size: 100%
}
span.tt em {
  font-size: 100%
}
span.tt span.footnotesize {
  font-size: 90%
}
span.tt span.frak {
  font-size: 100%
}
span.tt span.huge1 {
  font-size: 200%
}
span.tt span.large1 {
  font-size: 140%
}
span.tt span.normalsize {
  font-size: 100%
}
span.tt span.rm {
  font-size: 100%
}
span.tt span.sc {
  font-size: 90%
}
span.tt span.scriptsize {
  font-size: 80%
}
span.tt span.sf {
  font-size: 100%
}
span.tt span.sl {
  font-size: 100%
}
span.tt span.small {
  font-size: 90%
}
span.tt span.tiny {
  font-size: 60%
}
span.tt span.tt {
  font-size: 100%
}
pre span.Bbb {
  font-size: 100%
}
pre p.Body-Math {
  font-size: 100%
}
pre p {
  font-size: 100%
}
pre span.huge2 {
  font-size: 220%
}
pre span.large3 {
  font-size: 180%
}
pre span.large2 {
  font-size: 160%
}
pre span.cal {
  font-size: 100%
}
pre p.center {
  font-size: 100%
}
pre em {
  font-size: 100%
}
pre p.error {
  font-size: 200%
}
pre span.footnotesize {
  font-size: 90%
}
pre span.frak {
  font-size: 100%
}
pre span.huge1 {
  font-size: 200%
}
pre span.large1 {
  font-size: 140%
}
pre span.normalsize {
  font-size: 100%
}
pre h4.paragraph {
  font-size: 120%
}
pre p.quotation {
  font-size: 100%
}
pre p.quote {
  font-size: 100%
}
pre span.rm {
  font-size: 100%
}
pre span.sc {
  font-size: 90%
}
pre span.scriptsize {
  font-size: 80%
}
pre h1.section {
  font-size: 180%
}
pre span.sf {
  font-size: 100%
}
pre span.sl {
  font-size: 100%
}
pre span.small {
  font-size: 90%
}
pre h5.subparagraph {
  font-size: 120%
}
pre h2.subsection {
  font-size: 160%
}
pre h3.subsubsection {
  font-size: 140%
}
pre span.tiny {
  font-size: 60%
}
pre span.tt {
  font-size: 100%
}
pre pre {
  font-size: 100%
}