BODY {
	FONT-WEIGHT: 400; COLOR: rgb(0,0,0); FONT-STYLE: normal; FONT-FAMILY: Times New Roman; TEXT-ALIGN: left
}
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-WEIGHT: 700; FONT-SIZE: 167%; COLOR: rgb(255,0,0)
}
P {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 18pt; PADDING-TOP: 0pt
}
P.Body-Math {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 18pt; BORDER-TOP: medium none; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt 0pt 0pt 18pt; BORDER-LEFT: medium none; COLOR: rgb(128,0,128); TEXT-INDENT: 0pt; PADDING-TOP: 0pt; BORDER-BOTTOM: medium none; BACKGROUND-COLOR: rgb(255,255,255); TEXT-ALIGN: left
}
H2.chapter {
	FONT-SIZE: 200%; COLOR: rgb(0,0,255); FONT-FAMILY: Arial
}
H2.chapter SPAN.inlineMath {
	COLOR: rgb(255,0,0)
}
H3.section {
	FONT-SIZE: 150%; COLOR: rgb(0,0,255); FONT-FAMILY: Arial
}
H4.subsection {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 0pt; FONT-SIZE: 117%; PADDING-BOTTOM: 0pt; MARGIN: 0pt 0pt 0pt 18pt; COLOR: rgb(0,0,255); TEXT-INDENT: 18pt; PADDING-TOP: 0pt
}
H5.subsubsection {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt 0pt 0pt 36pt; COLOR: rgb(0,0,255); TEXT-INDENT: 18pt; PADDING-TOP: 0pt
}
H6.paragraph {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; COLOR: rgb(0,0,255); TEXT-INDENT: 18pt; PADDING-TOP: 0pt
}
H6.subparagraph {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt 0pt 0pt 18pt; COLOR: rgb(0,0,255); TEXT-INDENT: 18pt; PADDING-TOP: 0pt
}
EM {
	COLOR: rgb(255,0,255); FONT-STYLE: italic
}
EM SPAN.inlineMath {
	COLOR: rgb(255,0,255)
}
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 {
	COLOR: rgb(0,0,255); FONT-STYLE: italic; FONT-FAMILY: Times New Roman
}
SPAN.sf {
	FONT-FAMILY: Arial
}
SPAN.sf SPAN.inlineMath {
	COLOR: rgb(0,0,0)
}
SPAN.sc {
	COLOR: rgb(0,128,0); FONT-FAMILY: cmcsc10
}
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 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 0pt; PADDING-TOP: 0pt
}
DL.description {
	FONT-SIZE: 100%
}
OL LI P {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 0pt; PADDING-TOP: 0pt
}
OL {
	FONT-SIZE: 100%
}
UL LI P {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 0pt; PADDING-TOP: 0pt
}
UL {
	FONT-SIZE: 100%
}
SPAN.cal {
	COLOR: rgb(192,192,192); FONT-FAMILY: cmsy10
}
SPAN.cal SPAN.inlineMath {
	COLOR: rgb(255,0,255)
}
SPAN.tiny {
	FONT-SIZE: 50%; COLOR: rgb(255,0,255)
}
SPAN.scriptsize {
	FONT-SIZE: 67%; COLOR: rgb(255,0,255)
}
SPAN.footnotesize {
	FONT-SIZE: 75%; COLOR: rgb(255,0,255)
}
SPAN.small {
	FONT-SIZE: 83%; COLOR: rgb(255,0,255)
}
SPAN.normalsize {
	FONT-SIZE: 100%; COLOR: rgb(255,0,255)
}
SPAN.large1 {
	FONT-SIZE: 117%; COLOR: rgb(255,0,255)
}
SPAN.large2 {
	FONT-SIZE: 133%; COLOR: rgb(255,0,255)
}
SPAN.large3 {
	FONT-SIZE: 150%; COLOR: rgb(255,0,255)
}
SPAN.huge1 {
	FONT-SIZE: 167%; COLOR: rgb(255,0,255)
}
SPAN.huge2 {
	FONT-SIZE: 183%; COLOR: rgb(255,0,255)
}
OL.thebibliography LI P {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 18pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 0pt; PADDING-TOP: 0pt
}
OL.thebibliography {
	FONT-SIZE: 100%
}
P.quotation {
	PADDING-RIGHT: 24pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt 0pt 0pt 24pt; TEXT-INDENT: 0pt; PADDING-TOP: 0pt
}
P.quote {
	PADDING-RIGHT: 24pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt 0pt 0pt 24pt; TEXT-INDENT: 0pt; PADDING-TOP: 0pt
}
P.center {
	FONT-SIZE: 100%; TEXT-ALIGN: center
}
P.f-0 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; PADDING-TOP: 0pt
}
DIV.f-0 {
	FONT-SIZE: 100%
}
DIV.f-0 SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(225,225,225)
}
P.f-0-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt
}
P.f-101 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; PADDING-TOP: 0pt
}
DIV.f-101 {
	FONT-SIZE: 100%
}
DIV.f-101 SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(225,225,225)
}
P.f-101-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt
}
P.f-1 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; PADDING-TOP: 0pt
}
DIV.f-1 {
	FONT-SIZE: 100%
}
DIV.f-1 SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(225,225,225)
}
P.f-1-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt
}
P.f-2 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; PADDING-TOP: 0pt
}
DIV.f-2 {
	FONT-SIZE: 100%
}
DIV.f-2 SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(225,225,225)
}
P.f-2-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt
}
P.f-7 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; PADDING-TOP: 0pt
}
DIV.f-7 {
	FONT-SIZE: 100%
}
DIV.f-7 SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(225,225,225)
}
P.f-7-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt
}
P.f-11 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; PADDING-TOP: 0pt
}
DIV.f-11 {
	FONT-SIZE: 100%
}
DIV.f-11 SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(225,225,225)
}
P.f-11-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt
}
P.f-12 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; PADDING-TOP: 0pt
}
DIV.f-12 {
	FONT-SIZE: 100%
}
DIV.f-12 SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(225,225,225)
}
P.f-12-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt
}
P.f-13 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; PADDING-TOP: 0pt
}
DIV.f-13 {
	FONT-SIZE: 100%
}
DIV.f-13 SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(225,225,225)
}
P.f-13-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt
}
P.f-14 {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; PADDING-TOP: 0pt
}
DIV.f-14 {
	FONT-SIZE: 100%
}
DIV.f-14 SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(225,225,225)
}
P.f-14-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 48pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt
}
SPAN.frak {
	COLOR: rgb(192,192,192); FONT-STYLE: normal; FONT-FAMILY: EUFM10
}
SPAN.frak SPAN.inlineMath {
	COLOR: rgb(255,0,255)
}
SPAN.Bbb {
	COLOR: rgb(192,192,192); FONT-FAMILY: MSBM10
}
H1.part {
	FONT-SIZE: 300%; COLOR: rgb(0,0,255); FONT-FAMILY: Arial
}
H1.part SPAN.inlineMath {
	COLOR: rgb(255,0,0)
}
P.proof {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 0pt; BORDER-TOP: medium none; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt 0pt 0pt 58pt; BORDER-LEFT: medium none; PADDING-TOP: 0pt; BORDER-BOTTOM: medium none; BACKGROUND-COLOR: rgb(225,225,225)
}
DIV.proof {
	BORDER-RIGHT: medium none; BORDER-TOP: medium none; FONT-SIZE: 100%; BORDER-LEFT: medium none; BORDER-BOTTOM: medium none; BACKGROUND-COLOR: rgb(225,225,225)
}
DIV.proof SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 0pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.proof-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 0pt; FONT-SIZE: 100%; PADDING-BOTTOM: 0pt; MARGIN: 0pt 0pt 0pt 58pt; TEXT-INDENT: 2pt; PADDING-TOP: 0pt; BACKGROUND-COLOR: rgb(225,225,225)
}
P.acknowledgement {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.acknowledgement {
	FONT-SIZE: 100%
}
DIV.acknowledgement SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.acknowledgement-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.algorithm {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.algorithm {
	FONT-SIZE: 100%
}
DIV.algorithm SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.algorithm-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.axiom {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.axiom {
	FONT-SIZE: 100%
}
DIV.axiom SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.axiom-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.case {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.case {
	FONT-SIZE: 100%
}
DIV.case SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.case-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.claim {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.claim {
	FONT-SIZE: 100%
}
DIV.claim SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.claim-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.conclusion {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.conclusion {
	FONT-SIZE: 100%
}
DIV.conclusion SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.conclusion-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.condition {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.condition {
	FONT-SIZE: 100%
}
DIV.condition SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.condition-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.conjecture {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.conjecture {
	FONT-SIZE: 100%
}
DIV.conjecture SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.conjecture-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.corollary {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.corollary {
	FONT-SIZE: 100%
}
DIV.corollary SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.corollary-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.criterion {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.criterion {
	FONT-SIZE: 100%
}
DIV.criterion SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.criterion-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.definition {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.definition {
	FONT-SIZE: 100%
}
DIV.definition SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.definition-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.example {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.example {
	FONT-SIZE: 100%
}
DIV.example SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.example-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.exercise {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.exercise {
	FONT-SIZE: 100%
}
DIV.exercise SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.exercise-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.lemma {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.lemma {
	FONT-SIZE: 100%
}
DIV.lemma SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.lemma-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.notation {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.notation {
	FONT-SIZE: 100%
}
DIV.notation SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.notation-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.problem {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.problem {
	FONT-SIZE: 100%
}
DIV.problem SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.problem-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.proposition {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.proposition {
	FONT-SIZE: 100%
}
DIV.proposition SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.proposition-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.remark {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.remark {
	FONT-SIZE: 100%
}
DIV.remark SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.remark-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.solution {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.solution {
	FONT-SIZE: 100%
}
DIV.solution SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.solution-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.summary {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.summary {
	FONT-SIZE: 100%
}
DIV.summary SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.summary-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
P.theorem {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
DIV.theorem {
	FONT-SIZE: 100%
}
DIV.theorem SPAN.leadin {
	FONT-WEIGHT: 700; PADDING-TOP: 4pt; FONT-STYLE: normal; FONT-FAMILY: Arial; BACKGROUND-COLOR: rgb(255,255,255)
}
P.theorem-FirstPara {
	PADDING-RIGHT: 0pt; PADDING-LEFT: 58pt; FONT-SIZE: 100%; PADDING-BOTTOM: 4pt; MARGIN: 0pt; TEXT-INDENT: 2pt; PADDING-TOP: 4pt; FONT-STYLE: italic
}
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%
}
H2.chapter SPAN.huge2 {
	FONT-SIZE: 92%
}
H2.chapter SPAN.large3 {
	FONT-SIZE: 75%
}
H2.chapter SPAN.large2 {
	FONT-SIZE: 67%
}
H2.chapter SPAN.footnotesize {
	FONT-SIZE: 38%
}
H2.chapter SPAN.huge1 {
	FONT-SIZE: 83%
}
H2.chapter SPAN.large1 {
	FONT-SIZE: 58%
}
H2.chapter SPAN.normalsize {
	FONT-SIZE: 50%
}
H2.chapter SPAN.scriptsize {
	FONT-SIZE: 33%
}
H2.chapter SPAN.small {
	FONT-SIZE: 42%
}
H2.chapter SPAN.tiny {
	FONT-SIZE: 25%
}
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%
}
H1.part SPAN.huge2 {
	FONT-SIZE: 61%
}
H1.part SPAN.large3 {
	FONT-SIZE: 50%
}
H1.part SPAN.large2 {
	FONT-SIZE: 44%
}
H1.part SPAN.footnotesize {
	FONT-SIZE: 25%
}
H1.part SPAN.huge1 {
	FONT-SIZE: 56%
}
H1.part SPAN.large1 {
	FONT-SIZE: 39%
}
H1.part SPAN.normalsize {
	FONT-SIZE: 33%
}
H1.part SPAN.scriptsize {
	FONT-SIZE: 22%
}
H1.part SPAN.small {
	FONT-SIZE: 28%
}
H1.part SPAN.tiny {
	FONT-SIZE: 17%
}
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%
}
H3.section SPAN.huge2 {
	FONT-SIZE: 122%
}
H3.section SPAN.large3 {
	FONT-SIZE: 100%
}
H3.section SPAN.large2 {
	FONT-SIZE: 89%
}
H3.section SPAN.footnotesize {
	FONT-SIZE: 50%
}
H3.section SPAN.huge1 {
	FONT-SIZE: 111%
}
H3.section SPAN.large1 {
	FONT-SIZE: 78%
}
H3.section SPAN.normalsize {
	FONT-SIZE: 67%
}
H3.section SPAN.scriptsize {
	FONT-SIZE: 44%
}
H3.section SPAN.small {
	FONT-SIZE: 56%
}
H3.section SPAN.tiny {
	FONT-SIZE: 33%
}
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%
}
H4.subsection SPAN.huge2 {
	FONT-SIZE: 157%
}
H4.subsection SPAN.large3 {
	FONT-SIZE: 129%
}
H4.subsection SPAN.large2 {
	FONT-SIZE: 114%
}
H4.subsection SPAN.footnotesize {
	FONT-SIZE: 64%
}
H4.subsection SPAN.huge1 {
	FONT-SIZE: 143%
}
H4.subsection SPAN.large1 {
	FONT-SIZE: 100%
}
H4.subsection SPAN.normalsize {
	FONT-SIZE: 86%
}
H4.subsection SPAN.scriptsize {
	FONT-SIZE: 57%
}
H4.subsection SPAN.small {
	FONT-SIZE: 71%
}
H4.subsection 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 H2.chapter {
	FONT-SIZE: 240%
}
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 H1.part {
	FONT-SIZE: 360%
}
PRE SPAN.scriptsize {
	FONT-SIZE: 80%
}
PRE H3.section {
	FONT-SIZE: 180%
}
PRE SPAN.small {
	FONT-SIZE: 100%
}
PRE H4.subsection {
	FONT-SIZE: 140%
}
PRE SPAN.tiny {
	FONT-SIZE: 60%
}
PRE PRE {
	FONT-SIZE: 100%
}