/* start css.sty */
.cmr-7{font-size:70%;}
.cmmi-10{font-style: italic;}
.cmsy-7{font-size:70%;}
.cmcsc-10x-x-172{font-size:172%;}
.cmr-8{font-size:80%;}
.cmr-6{font-size:60%;}
.cmtt-10{font-family: monospace;}
.cmti-10{ font-style: italic;}
.cmbx-10{ font-weight: bold;}
.pcrr7t-x-x-90{font-size:90%;font-family: monospace;}
.cmitt-10{font-family: monospace; font-style: italic;}
.cmbxti-10{ font-weight: bold; font-style: italic;}
.small-caps{font-variant: small-caps; }
p.noindent { text-indent: 0em }
p.nopar { text-indent: 0em; }
p.indent{ text-indent: 1.5em }
@media print {div.crosslinks {visibility:hidden;}}
a img { border-top: 0; border-left: 0; border-right: 0; }
center { margin-top:1em; margin-bottom:1em; }
td center { margin-top:0em; margin-bottom:0em; }
.Canvas { position:relative; }
img.math{vertical-align:middle;}
li p.indent { text-indent: 0em }
.enumerate1 {list-style-type:decimal;}
.enumerate2 {list-style-type:lower-alpha;}
.enumerate3 {list-style-type:lower-roman;}
.enumerate4 {list-style-type:upper-alpha;}
div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
.obeylines-h,.obeylines-v {white-space: nowrap; }
div.obeylines-v p { margin-top:0; margin-bottom:0; }
.overline{ text-decoration:overline; }
.overline img{ border-top: 1px solid black; }
td.displaylines {text-align:center; white-space:nowrap;}
.centerline {text-align:center;}
.rightline {text-align:right;}
div.verbatim {font-family: monospace; white-space: nowrap; }
.fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
table.minipage{width:100%;}
div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}
div.center div {text-align: left;}
div.flushright, div.flushright div.flushright {text-align: right;}
div.flushright div {text-align: left;}
div.flushleft {text-align: left;}
.underline{ text-decoration:underline; }
.underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
.framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
.framebox-c {text-align:center;}
.framebox-l {text-align:left;}
.framebox-r {text-align:right;}
span.thank-mark{ vertical-align: super }
div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; }
table.tabular td p{margin-top:0em;}
table.tabular {margin-left: auto; margin-right: auto;}
div.td00{ margin-left:0pt; margin-right:0pt; }
div.td01{ margin-left:0pt; margin-right:5pt; }
div.td10{ margin-left:5pt; margin-right:0pt; }
div.td11{ margin-left:5pt; margin-right:5pt; }
td.td00{ padding-left:0pt; padding-right:0pt; }
td.td01{ padding-left:0pt; padding-right:5pt; }
td.td10{ padding-left:5pt; padding-right:0pt; }
td.td11{ padding-left:5pt; padding-right:5pt; }
.hline hr, .cline hr{ height : 1px; margin:0px; }
.tabbing-right {text-align:right;}
span.TEX {letter-spacing: -0.125em; }
span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
a span.TEX span.E {text-decoration: none; }
span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
span.LATEX span.TEX{ position:relative; left: -0.4em; }
div.float img, div.float .caption {text-align:center;}
div.figure img, div.figure .caption {text-align:center;}
.marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
.marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
.equation td{text-align:center; }
td.equation { margin-top:1em; margin-bottom:1em; } 
td.eqnarray4 { width:5%; white-space: normal; }
td.eqnarray2 { width:5%; }
table.eqnarray-star, table.eqnarray {width:100%;}
div.eqnarray{text-align:center;}
div.array {text-align:center;}
div.pmatrix {text-align:center;}
span.pmatrix img{vertical-align:middle;}
div.pmatrix {text-align:center;}
img.cdots{vertical-align:middle;}
.partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
.caption td.id{font-weight: bold; white-space: nowrap; }
table.caption {text-align:center;}
h1.partHead{text-align: center}
p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
.paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
.subparagraphHead, .likesubparagraphHead { font-weight: bold;}
.quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
.verse{white-space:nowrap; margin-left:2em}
div.maketitle {text-align:center;}
h2.titleHead{text-align:center;}
div.maketitle{ margin-bottom: 2em; }
div.author, div.date {text-align:center;}
div.thanks{text-align:left; margin-left:10%; font-size:80%; font-style:italic; }
div.author{white-space: nowrap;}
.quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
.abstract p {margin-left:5%; margin-right:5%;}
P.fancyvrb {white-space: nowrap; margin:0em;}
div.lstinputlisting{ font-family: monospace; white-space: nowrap; }
.figure img.graphics {margin-left:10%;}
#colorbox1{border: solid 1px #FF0000;}
#colorbox1{background-color: #FFFF00;}
#colorbox2{border: solid 1px #FF0000;}
#colorbox2{background-color: #FFFF00;}
div#fancyvrb1{padding:8.0pt;}
div#fancyvrb1{ border-top: solid 0.4pt; }
div#fancyvrb1{ border-left: solid 0.4pt; }
div#fancyvrb1{ border-bottom: solid 0.4pt; }
div#fancyvrb1{ border-right: solid 0.4pt; }
div#fancyvrb2{padding:8.0pt;}
div#fancyvrb2{ border-top: solid 0.4pt; }
div#fancyvrb2{ border-left: solid 0.4pt; }
div#fancyvrb2{ border-bottom: solid 0.4pt; }
div#fancyvrb2{ border-right: solid 0.4pt; }
div#fancyvrb3{padding:8.0pt;}
div#fancyvrb3{ border-top: solid 0.4pt; }
div#fancyvrb3{ border-left: solid 0.4pt; }
div#fancyvrb3{ border-bottom: solid 0.4pt; }
div#fancyvrb3{ border-right: solid 0.4pt; }
div#fancyvrb4{padding:8.0pt;}
div#fancyvrb4{ border-top: solid 0.4pt; }
div#fancyvrb4{ border-left: solid 0.4pt; }
div#fancyvrb4{ border-bottom: solid 0.4pt; }
div#fancyvrb4{ border-right: solid 0.4pt; }
div#fancyvrb5{padding:8.0pt;}
div#fancyvrb5{ border-top: solid 0.4pt; }
div#fancyvrb5{ border-left: solid 0.4pt; }
div#fancyvrb5{ border-bottom: solid 0.4pt; }
div#fancyvrb5{ border-right: solid 0.4pt; }
div#fancyvrb6{padding:8.0pt;}
div#fancyvrb6{ border-top: solid 0.4pt; }
div#fancyvrb6{ border-left: solid 0.4pt; }
div#fancyvrb6{ border-bottom: solid 0.4pt; }
div#fancyvrb6{ border-right: solid 0.4pt; }
div#fancyvrb7{padding:8.0pt;}
div#fancyvrb7{ border-top: solid 0.4pt; }
div#fancyvrb7{ border-left: solid 0.4pt; }
div#fancyvrb7{ border-bottom: solid 0.4pt; }
div#fancyvrb7{ border-right: solid 0.4pt; }
div#fancyvrb8{padding:8.0pt;}
div#fancyvrb8{ border-top: solid 0.4pt; }
div#fancyvrb8{ border-left: solid 0.4pt; }
div#fancyvrb8{ border-bottom: solid 0.4pt; }
div#fancyvrb8{ border-right: solid 0.4pt; }
div#fancyvrb9{padding:8.0pt;}
div#fancyvrb9{ border-top: solid 0.4pt; }
div#fancyvrb9{ border-left: solid 0.4pt; }
div#fancyvrb9{ border-bottom: solid 0.4pt; }
div#fancyvrb9{ border-right: solid 0.4pt; }
div#fancyvrb10{padding:8.0pt;}
div#fancyvrb10{ border-top: solid 0.4pt; }
div#fancyvrb10{ border-left: solid 0.4pt; }
div#fancyvrb10{ border-bottom: solid 0.4pt; }
div#fancyvrb10{ border-right: solid 0.4pt; }
div#fancyvrb11{padding:8.0pt;}
div#fancyvrb11{ border-top: solid 0.4pt; }
div#fancyvrb11{ border-left: solid 0.4pt; }
div#fancyvrb11{ border-bottom: solid 0.4pt; }
div#fancyvrb11{ border-right: solid 0.4pt; }
div#fancyvrb12{padding:8.0pt;}
div#fancyvrb12{ border-top: solid 0.4pt; }
div#fancyvrb12{ border-left: solid 0.4pt; }
div#fancyvrb12{ border-bottom: solid 0.4pt; }
div#fancyvrb12{ border-right: solid 0.4pt; }
div#fancyvrb13{padding:8.0pt;}
div#fancyvrb13{ border-top: solid 0.4pt; }
div#fancyvrb13{ border-left: solid 0.4pt; }
div#fancyvrb13{ border-bottom: solid 0.4pt; }
div#fancyvrb13{ border-right: solid 0.4pt; }
div#fancyvrb14{padding:8.0pt;}
div#fancyvrb14{ border-top: solid 0.4pt; }
div#fancyvrb14{ border-left: solid 0.4pt; }
div#fancyvrb14{ border-bottom: solid 0.4pt; }
div#fancyvrb14{ border-right: solid 0.4pt; }
div#fancyvrb15{padding:8.0pt;}
div#fancyvrb15{ border-top: solid 0.4pt; }
div#fancyvrb15{ border-left: solid 0.4pt; }
div#fancyvrb15{ border-bottom: solid 0.4pt; }
div#fancyvrb15{ border-right: solid 0.4pt; }
div#fancyvrb16{padding:8.0pt;}
div#fancyvrb16{ border-top: solid 0.4pt; }
div#fancyvrb16{ border-left: solid 0.4pt; }
div#fancyvrb16{ border-bottom: solid 0.4pt; }
div#fancyvrb16{ border-right: solid 0.4pt; }
div#fancyvrb17{padding:8.0pt;}
div#fancyvrb17{ border-top: solid 0.4pt; }
div#fancyvrb17{ border-left: solid 0.4pt; }
div#fancyvrb17{ border-bottom: solid 0.4pt; }
div#fancyvrb17{ border-right: solid 0.4pt; }
div#fancyvrb18{padding:8.0pt;}
div#fancyvrb18{ border-top: solid 0.4pt; }
div#fancyvrb18{ border-left: solid 0.4pt; }
div#fancyvrb18{ border-bottom: solid 0.4pt; }
div#fancyvrb18{ border-right: solid 0.4pt; }
div#fancyvrb19{padding:8.0pt;}
div#fancyvrb19{ border-top: solid 0.4pt; }
div#fancyvrb19{ border-left: solid 0.4pt; }
div#fancyvrb19{ border-bottom: solid 0.4pt; }
div#fancyvrb19{ border-right: solid 0.4pt; }
div#fancyvrb20{padding:8.0pt;}
div#fancyvrb20{ border-top: solid 0.4pt; }
div#fancyvrb20{ border-left: solid 0.4pt; }
div#fancyvrb20{ border-bottom: solid 0.4pt; }
div#fancyvrb20{ border-right: solid 0.4pt; }
div#fancyvrb21{padding:8.0pt;}
div#fancyvrb21{ border-top: solid 0.4pt; }
div#fancyvrb21{ border-left: solid 0.4pt; }
div#fancyvrb21{ border-bottom: solid 0.4pt; }
div#fancyvrb21{ border-right: solid 0.4pt; }
div#fancyvrb22{padding:8.0pt;}
div#fancyvrb22{ border-top: solid 0.4pt; }
div#fancyvrb22{ border-left: solid 0.4pt; }
div#fancyvrb22{ border-bottom: solid 0.4pt; }
div#fancyvrb22{ border-right: solid 0.4pt; }
div#fancyvrb23{padding:8.0pt;}
div#fancyvrb23{ border-top: solid 0.4pt; }
div#fancyvrb23{ border-left: solid 0.4pt; }
div#fancyvrb23{ border-bottom: solid 0.4pt; }
div#fancyvrb23{ border-right: solid 0.4pt; }
div#fancyvrb24{padding:8.0pt;}
div#fancyvrb24{ border-top: solid 0.4pt; }
div#fancyvrb24{ border-left: solid 0.4pt; }
div#fancyvrb24{ border-bottom: solid 0.4pt; }
div#fancyvrb24{ border-right: solid 0.4pt; }
div#fancyvrb25{padding:8.0pt;}
div#fancyvrb25{ border-top: solid 0.4pt; }
div#fancyvrb25{ border-left: solid 0.4pt; }
div#fancyvrb25{ border-bottom: solid 0.4pt; }
div#fancyvrb25{ border-right: solid 0.4pt; }
div#fancyvrb26{padding:8.0pt;}
div#fancyvrb26{ border-top: solid 0.4pt; }
div#fancyvrb26{ border-left: solid 0.4pt; }
div#fancyvrb26{ border-bottom: solid 0.4pt; }
div#fancyvrb26{ border-right: solid 0.4pt; }
div#fancyvrb27{padding:8.0pt;}
div#fancyvrb27{ border-top: solid 0.4pt; }
div#fancyvrb27{ border-left: solid 0.4pt; }
div#fancyvrb27{ border-bottom: solid 0.4pt; }
div#fancyvrb27{ border-right: solid 0.4pt; }
div#fancyvrb28{padding:8.0pt;}
div#fancyvrb28{ border-top: solid 0.4pt; }
div#fancyvrb28{ border-left: solid 0.4pt; }
div#fancyvrb28{ border-bottom: solid 0.4pt; }
div#fancyvrb28{ border-right: solid 0.4pt; }
div#fancyvrb29{padding:8.0pt;}
div#fancyvrb29{ border-top: solid 0.4pt; }
div#fancyvrb29{ border-left: solid 0.4pt; }
div#fancyvrb29{ border-bottom: solid 0.4pt; }
div#fancyvrb29{ border-right: solid 0.4pt; }
div#fancyvrb30{padding:8.0pt;}
div#fancyvrb30{ border-top: solid 0.4pt; }
div#fancyvrb30{ border-left: solid 0.4pt; }
div#fancyvrb30{ border-bottom: solid 0.4pt; }
div#fancyvrb30{ border-right: solid 0.4pt; }
div#fancyvrb31{padding:8.0pt;}
div#fancyvrb31{ border-top: solid 0.4pt; }
div#fancyvrb31{ border-left: solid 0.4pt; }
div#fancyvrb31{ border-bottom: solid 0.4pt; }
div#fancyvrb31{ border-right: solid 0.4pt; }
div#fancyvrb32{padding:8.0pt;}
div#fancyvrb32{ border-top: solid 0.4pt; }
div#fancyvrb32{ border-left: solid 0.4pt; }
div#fancyvrb32{ border-bottom: solid 0.4pt; }
div#fancyvrb32{ border-right: solid 0.4pt; }
div#fancyvrb33{padding:8.0pt;}
div#fancyvrb33{ border-top: solid 0.4pt; }
div#fancyvrb33{ border-left: solid 0.4pt; }
div#fancyvrb33{ border-bottom: solid 0.4pt; }
div#fancyvrb33{ border-right: solid 0.4pt; }
div#fancyvrb34{padding:8.0pt;}
div#fancyvrb34{ border-top: solid 0.4pt; }
div#fancyvrb34{ border-left: solid 0.4pt; }
div#fancyvrb34{ border-bottom: solid 0.4pt; }
div#fancyvrb34{ border-right: solid 0.4pt; }
div#fancyvrb35{padding:8.0pt;}
div#fancyvrb35{ border-top: solid 0.4pt; }
div#fancyvrb35{ border-left: solid 0.4pt; }
div#fancyvrb35{ border-bottom: solid 0.4pt; }
div#fancyvrb35{ border-right: solid 0.4pt; }
div#fancyvrb36{padding:8.0pt;}
div#fancyvrb36{ border-top: solid 0.4pt; }
div#fancyvrb36{ border-left: solid 0.4pt; }
div#fancyvrb36{ border-bottom: solid 0.4pt; }
div#fancyvrb36{ border-right: solid 0.4pt; }
div#fancyvrb37{padding:8.0pt;}
div#fancyvrb37{ border-top: solid 0.4pt; }
div#fancyvrb37{ border-left: solid 0.4pt; }
div#fancyvrb37{ border-bottom: solid 0.4pt; }
div#fancyvrb37{ border-right: solid 0.4pt; }
div#fancyvrb38{padding:8.0pt;}
div#fancyvrb38{ border-top: solid 0.4pt; }
div#fancyvrb38{ border-left: solid 0.4pt; }
div#fancyvrb38{ border-bottom: solid 0.4pt; }
div#fancyvrb38{ border-right: solid 0.4pt; }
div#fancyvrb39{padding:8.0pt;}
div#fancyvrb39{ border-top: solid 0.4pt; }
div#fancyvrb39{ border-left: solid 0.4pt; }
div#fancyvrb39{ border-bottom: solid 0.4pt; }
div#fancyvrb39{ border-right: solid 0.4pt; }
div#fancyvrb40{padding:8.0pt;}
div#fancyvrb40{ border-top: solid 0.4pt; }
div#fancyvrb40{ border-left: solid 0.4pt; }
div#fancyvrb40{ border-bottom: solid 0.4pt; }
div#fancyvrb40{ border-right: solid 0.4pt; }
div#fancyvrb41{padding:8.0pt;}
div#fancyvrb41{ border-top: solid 0.4pt; }
div#fancyvrb41{ border-left: solid 0.4pt; }
div#fancyvrb41{ border-bottom: solid 0.4pt; }
div#fancyvrb41{ border-right: solid 0.4pt; }
div#fancyvrb42{padding:8.0pt;}
div#fancyvrb42{ border-top: solid 0.4pt; }
div#fancyvrb42{ border-left: solid 0.4pt; }
div#fancyvrb42{ border-bottom: solid 0.4pt; }
div#fancyvrb42{ border-right: solid 0.4pt; }
div#fancyvrb43{padding:8.0pt;}
div#fancyvrb43{ border-top: solid 0.4pt; }
div#fancyvrb43{ border-left: solid 0.4pt; }
div#fancyvrb43{ border-bottom: solid 0.4pt; }
div#fancyvrb43{ border-right: solid 0.4pt; }
div#fancyvrb44{padding:8.0pt;}
div#fancyvrb44{ border-top: solid 0.4pt; }
div#fancyvrb44{ border-left: solid 0.4pt; }
div#fancyvrb44{ border-bottom: solid 0.4pt; }
div#fancyvrb44{ border-right: solid 0.4pt; }
div#fancyvrb45{padding:8.0pt;}
div#fancyvrb45{ border-top: solid 0.4pt; }
div#fancyvrb45{ border-left: solid 0.4pt; }
div#fancyvrb45{ border-bottom: solid 0.4pt; }
div#fancyvrb45{ border-right: solid 0.4pt; }
div#fancyvrb46{padding:8.0pt;}
div#fancyvrb46{ border-top: solid 0.4pt; }
div#fancyvrb46{ border-left: solid 0.4pt; }
div#fancyvrb46{ border-bottom: solid 0.4pt; }
div#fancyvrb46{ border-right: solid 0.4pt; }
div#fancyvrb47{padding:8.0pt;}
div#fancyvrb47{ border-top: solid 0.4pt; }
div#fancyvrb47{ border-left: solid 0.4pt; }
div#fancyvrb47{ border-bottom: solid 0.4pt; }
div#fancyvrb47{ border-right: solid 0.4pt; }
div#fancyvrb48{padding:8.0pt;}
div#fancyvrb48{ border-top: solid 0.4pt; }
div#fancyvrb48{ border-left: solid 0.4pt; }
div#fancyvrb48{ border-bottom: solid 0.4pt; }
div#fancyvrb48{ border-right: solid 0.4pt; }
div#fancyvrb49{padding:8.0pt;}
div#fancyvrb49{ border-top: solid 0.4pt; }
div#fancyvrb49{ border-left: solid 0.4pt; }
div#fancyvrb49{ border-bottom: solid 0.4pt; }
div#fancyvrb49{ border-right: solid 0.4pt; }
div#fancyvrb50{padding:8.0pt;}
div#fancyvrb50{ border-top: solid 0.4pt; }
div#fancyvrb50{ border-left: solid 0.4pt; }
div#fancyvrb50{ border-bottom: solid 0.4pt; }
div#fancyvrb50{ border-right: solid 0.4pt; }
div#fancyvrb51{padding:8.0pt;}
div#fancyvrb51{ border-top: solid 0.4pt; }
div#fancyvrb51{ border-left: solid 0.4pt; }
div#fancyvrb51{ border-bottom: solid 0.4pt; }
div#fancyvrb51{ border-right: solid 0.4pt; }
div#fancyvrb52{padding:8.0pt;}
div#fancyvrb52{ border-top: solid 0.4pt; }
div#fancyvrb52{ border-left: solid 0.4pt; }
div#fancyvrb52{ border-bottom: solid 0.4pt; }
div#fancyvrb52{ border-right: solid 0.4pt; }
div#fancyvrb53{padding:8.0pt;}
div#fancyvrb53{ border-top: solid 0.4pt; }
div#fancyvrb53{ border-left: solid 0.4pt; }
div#fancyvrb53{ border-bottom: solid 0.4pt; }
div#fancyvrb53{ border-right: solid 0.4pt; }
div#fancyvrb54{padding:8.0pt;}
div#fancyvrb54{ border-top: solid 0.4pt; }
div#fancyvrb54{ border-left: solid 0.4pt; }
div#fancyvrb54{ border-bottom: solid 0.4pt; }
div#fancyvrb54{ border-right: solid 0.4pt; }
div#fancyvrb55{padding:8.0pt;}
div#fancyvrb55{ border-top: solid 0.4pt; }
div#fancyvrb55{ border-left: solid 0.4pt; }
div#fancyvrb55{ border-bottom: solid 0.4pt; }
div#fancyvrb55{ border-right: solid 0.4pt; }
div#fancyvrb56{padding:8.0pt;}
div#fancyvrb56{ border-top: solid 0.4pt; }
div#fancyvrb56{ border-left: solid 0.4pt; }
div#fancyvrb56{ border-bottom: solid 0.4pt; }
div#fancyvrb56{ border-right: solid 0.4pt; }
div#fancyvrb57{padding:8.0pt;}
div#fancyvrb57{ border-top: solid 0.4pt; }
div#fancyvrb57{ border-left: solid 0.4pt; }
div#fancyvrb57{ border-bottom: solid 0.4pt; }
div#fancyvrb57{ border-right: solid 0.4pt; }
div#fancyvrb58{padding:8.0pt;}
div#fancyvrb58{ border-top: solid 0.4pt; }
div#fancyvrb58{ border-left: solid 0.4pt; }
div#fancyvrb58{ border-bottom: solid 0.4pt; }
div#fancyvrb58{ border-right: solid 0.4pt; }
div#fancyvrb59{padding:8.0pt;}
div#fancyvrb59{ border-top: solid 0.4pt; }
div#fancyvrb59{ border-left: solid 0.4pt; }
div#fancyvrb59{ border-bottom: solid 0.4pt; }
div#fancyvrb59{ border-right: solid 0.4pt; }
div#fancyvrb60{padding:8.0pt;}
div#fancyvrb60{ border-top: solid 0.4pt; }
div#fancyvrb60{ border-left: solid 0.4pt; }
div#fancyvrb60{ border-bottom: solid 0.4pt; }
div#fancyvrb60{ border-right: solid 0.4pt; }
div#fancyvrb61{padding:8.0pt;}
div#fancyvrb61{ border-top: solid 0.4pt; }
div#fancyvrb61{ border-left: solid 0.4pt; }
div#fancyvrb61{ border-bottom: solid 0.4pt; }
div#fancyvrb61{ border-right: solid 0.4pt; }
div#fancyvrb62{padding:8.0pt;}
div#fancyvrb62{ border-top: solid 0.4pt; }
div#fancyvrb62{ border-left: solid 0.4pt; }
div#fancyvrb62{ border-bottom: solid 0.4pt; }
div#fancyvrb62{ border-right: solid 0.4pt; }
div#fancyvrb63{padding:8.0pt;}
div#fancyvrb63{ border-top: solid 0.4pt; }
div#fancyvrb63{ border-left: solid 0.4pt; }
div#fancyvrb63{ border-bottom: solid 0.4pt; }
div#fancyvrb63{ border-right: solid 0.4pt; }
div#fancyvrb64{padding:8.0pt;}
div#fancyvrb64{ border-top: solid 0.4pt; }
div#fancyvrb64{ border-left: solid 0.4pt; }
div#fancyvrb64{ border-bottom: solid 0.4pt; }
div#fancyvrb64{ border-right: solid 0.4pt; }
div#fancyvrb65{padding:8.0pt;}
div#fancyvrb65{ border-top: solid 0.4pt; }
div#fancyvrb65{ border-left: solid 0.4pt; }
div#fancyvrb65{ border-bottom: solid 0.4pt; }
div#fancyvrb65{ border-right: solid 0.4pt; }
div#fancyvrb66{padding:8.0pt;}
div#fancyvrb66{ border-top: solid 0.4pt; }
div#fancyvrb66{ border-left: solid 0.4pt; }
div#fancyvrb66{ border-bottom: solid 0.4pt; }
div#fancyvrb66{ border-right: solid 0.4pt; }
div#fancyvrb67{padding:8.0pt;}
div#fancyvrb67{ border-top: solid 0.4pt; }
div#fancyvrb67{ border-left: solid 0.4pt; }
div#fancyvrb67{ border-bottom: solid 0.4pt; }
div#fancyvrb67{ border-right: solid 0.4pt; }
div#fancyvrb68{padding:8.0pt;}
div#fancyvrb68{ border-top: solid 0.4pt; }
div#fancyvrb68{ border-left: solid 0.4pt; }
div#fancyvrb68{ border-bottom: solid 0.4pt; }
div#fancyvrb68{ border-right: solid 0.4pt; }
div#fancyvrb69{padding:8.0pt;}
div#fancyvrb69{ border-top: solid 0.4pt; }
div#fancyvrb69{ border-left: solid 0.4pt; }
div#fancyvrb69{ border-bottom: solid 0.4pt; }
div#fancyvrb69{ border-right: solid 0.4pt; }
/* end css.sty */
div#fancyvrb30{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb28{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb47{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb46{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb3{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb64{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb15{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb58{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb4{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb67{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb24{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb9{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb50{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb43{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb31{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb48{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb10{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb55{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb39{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb59{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb51{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb27{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb66{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb21{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb42{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb36{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb57{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb52{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb14{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb49{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb29{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb37{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb41{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb38{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb8{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb2{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb12{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb40{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb22{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb65{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb63{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb44{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb56{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb7{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb53{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb13{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb33{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb25{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb45{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb60{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb26{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb23{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb62{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb54{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb68{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb32{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb17{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb6{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb35{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb61{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb5{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb18{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb11{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb1{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb19{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb34{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb16{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb20{white-space: pre; background-color: #f0f0f0;}
div#fancyvrb69{white-space: pre; background-color: #f0f0f0;}