@import "//cdn.jsdelivr.net/npm/purecss@3.0.0/build/base-min.css";@import "//cdn.jsdelivr.net/npm/purecss@3.0.0/build/grids-min.css";@import "//cdn.jsdelivr.net/npm/purecss@3.0.0/build/grids-responsive-min.css";@import "//use.fontawesome.com/releases/v6.7.2/css/all.css";@import "https://fonts.googleapis.com/css?family=Noto%20Sans:400,700,400italic|Montserrat:400,700,400italic|Ubuntu%20Mono:400,700,400italic&display=swap";abbr[title],acronym[title]{text-decoration:none;border-bottom:1px dotted}img{max-width:100%}mjx-container[jax="CHTML"]{font-size:1.1em !important;line-height:0 !important}mjx-container[jax="CHTML"][display="true"]{margin:0.375em 0 !important}.visible-above-small{display:none}@media screen and (min-width: 35.5em){.visible-above-small{display:initial}}@media screen and (min-width: 35.5em){.hidden-above-small{display:none}}.text-align-left-small{text-align:center}@media screen and (min-width: 35.5em){.text-align-left-small{text-align:left}}.text-align-right-small{text-align:center}@media screen and (min-width: 35.5em){.text-align-right-small{text-align:right}}@media screen and (min-width: 35.5em){.float-left-small{float:left}}@media screen and (min-width: 35.5em){.float-right-small{float:right}}.visible-above-medium{display:none}@media screen and (min-width: 48em){.visible-above-medium{display:initial}}@media screen and (min-width: 48em){.hidden-above-medium{display:none}}.text-align-left-medium{text-align:center}@media screen and (min-width: 48em){.text-align-left-medium{text-align:left}}.text-align-right-medium{text-align:center}@media screen and (min-width: 48em){.text-align-right-medium{text-align:right}}@media screen and (min-width: 48em){.float-left-medium{float:left}}@media screen and (min-width: 48em){.float-right-medium{float:right}}.visible-above-large{display:none}@media screen and (min-width: 64em){.visible-above-large{display:initial}}@media screen and (min-width: 64em){.hidden-above-large{display:none}}.text-align-left-large{text-align:center}@media screen and (min-width: 64em){.text-align-left-large{text-align:left}}.text-align-right-large{text-align:center}@media screen and (min-width: 64em){.text-align-right-large{text-align:right}}@media screen and (min-width: 64em){.float-left-large{float:left}}@media screen and (min-width: 64em){.float-right-large{float:right}}.visible-above-xlarge{display:none}@media screen and (min-width: 80em){.visible-above-xlarge{display:initial}}@media screen and (min-width: 80em){.hidden-above-xlarge{display:none}}.text-align-left-xlarge{text-align:center}@media screen and (min-width: 80em){.text-align-left-xlarge{text-align:left}}.text-align-right-xlarge{text-align:center}@media screen and (min-width: 80em){.text-align-right-xlarge{text-align:right}}@media screen and (min-width: 80em){.float-left-xlarge{float:left}}@media screen and (min-width: 80em){.float-right-xlarge{float:right}}.color-background{color:#FFFFFC;fill:#FFFFFC}.color-foreground{color:#263238;fill:#263238}.color-highlight{color:#2E7D32;fill:#2E7D32}.color-hyperlink{color:#0277BD;fill:#0277BD}.color-accent{color:#A52624;fill:#A52624}.color-warning{color:#A57C00;fill:#A57C00}.color-medium-accent{color:#862286;fill:#862286}.color-faded{opacity:0.85}.color-more-faded{opacity:0.7}body{background-color:#FFFFFC;color:#263238}h1{color:#263238}h2,h3,h4,h5,h6{color:#3b4d56}a{color:#0277BD;transition:color .2s ease}a:active,a:focus,a:hover,a.hovering{color:#0fa4fc}a[class*="color-accent"]{color:#A52624;transition:color .2s ease}a[class*="color-accent"]:active,a[class*="color-accent"]:focus,a[class*="color-accent"]:hover,a[class*="color-accent"].hovering{color:#d54240}a[class*="color-highlight"]{color:#2E7D32;transition:color .2s ease}a[class*="color-highlight"]:active,a[class*="color-highlight"]:focus,a[class*="color-highlight"]:hover,a[class*="color-highlight"].hovering{color:#43b548}a[class*="color-medium-accent"]{color:#862286;transition:color .2s ease}a[class*="color-medium-accent"]:active,a[class*="color-medium-accent"]:focus,a[class*="color-medium-accent"]:hover,a[class*="color-medium-accent"].hovering{color:#c331c3}details>summary{color:#862286;transition:color .2s ease}details>summary:active,details>summary:focus,details>summary:hover,details>summary.hovering{color:#c331c3}svg a{fill:#0277BD;transition:fill .2s ease}svg a:active,svg a:focus,svg a:hover,svg a.hovering{fill:#0fa4fc}svg a[class*="color-accent"]{color:#A52624;transition:color .2s ease}svg a[class*="color-accent"]:active,svg a[class*="color-accent"]:focus,svg a[class*="color-accent"]:hover,svg a[class*="color-accent"].hovering{color:#d54240}svg a[class*="color-highlight"]{color:#2E7D32;transition:color .2s ease}svg a[class*="color-highlight"]:active,svg a[class*="color-highlight"]:focus,svg a[class*="color-highlight"]:hover,svg a[class*="color-highlight"].hovering{color:#43b548}svg a[class*="color-medium-accent"]{color:#862286;transition:color .2s ease}svg a[class*="color-medium-accent"]:active,svg a[class*="color-medium-accent"]:focus,svg a[class*="color-medium-accent"]:hover,svg a[class*="color-medium-accent"].hovering{color:#c331c3}html{counter-reset:figure}figure{padding:0.3125em 0.5em;margin:0.25em;text-align:center}figure img{margin:0 auto !important;display:block !important;margin-bottom:0.5em !important}figure pre{margin:0 !important}figure pre:not(figure pre.no-highlight){margin-bottom:0.5em !important}figure figcaption{font-family:"Montserrat",sans-serif}figure figcaption:before{font-family:"Montserrat",sans-serif;font-weight:bold;counter-increment:figure;content:"Fig. " counter(figure) " • "}code[data-processed='true']{display:block;text-align:center}code[data-processed='true'] svg[id^='mermaid']:has(g.svg-pan-zoom-control){min-height:85px;min-width:75px}@supports not selector(:has(g.svg-pan-zoom-control)){code[data-processed='true'] svg[id^='mermaid']{min-height:85px;min-width:75px}}code[data-processed='true'] svg[id^='mermaid'] g.svg-pan-zoom-control{opacity:0.25;transition:opacity 0.8s ease}code[data-processed='true'] svg[id^='mermaid']:active g.svg-pan-zoom-control,code[data-processed='true'] svg[id^='mermaid']:focus g.svg-pan-zoom-control,code[data-processed='true'] svg[id^='mermaid']:hover g.svg-pan-zoom-control{opacity:1;transition:opacity 0.2s ease}.focus-box{background:#FBFBFB;border:0.05em solid DimGray;border-radius:0.3125em;box-shadow:0.125em 0.125em 0.25em DarkGray;font-size:0.9em;margin:auto;padding-bottom:0.25em;position:relative;width:80%}.focus-box h1,.focus-box h2,.focus-box h3,.focus-box h4,.focus-box h5,.focus-box h6{font-size:1em;font-weight:bold;margin:0.625em auto -0.25em !important;text-align:center}.focus-box p{margin:0.75em}.focus-box .annot{border-bottom:0.1em solid DimGray;border-right:0.1em solid DimGray;border-bottom-right-radius:0.5em;font-family:"Montserrat",sans-serif;font-size:0.575em;font-weight:bold;margin:0 !important;padding:0 0.375em;position:absolute;left:0;top:0}.color-accent.focus-box{background:#FFF9F9;border-color:DarkRed}.color-accent.focus-box .annot{border-color:DarkRed}.color-accent.focus-box h1,.color-accent.focus-box h2,.color-accent.focus-box h3,.color-accent.focus-box h4,.color-accent.focus-box h5,.color-accent.focus-box h6{color:DarkRed}.color-warning.focus-box{background:#FFFFF9;border-color:DarkGoldenRod}.color-warning.focus-box .annot{border-color:DarkGoldenRod}.color-warning.focus-box h1,.color-warning.focus-box h2,.color-warning.focus-box h3,.color-warning.focus-box h4,.color-warning.focus-box h5,.color-warning.focus-box h6{color:DarkGoldenRod}.color-highlight.focus-box{background:#FAFFFA;border-color:DarkGreen}.color-highlight.focus-box .annot{border-color:DarkGreen}.color-highlight.focus-box h1,.color-highlight.focus-box h2,.color-highlight.focus-box h3,.color-highlight.focus-box h4,.color-highlight.focus-box h5,.color-highlight.focus-box h6{color:DarkGreen}.color-medium-accent.focus-box{background:#FAFAFF;border-color:Indigo}.color-medium-accent.focus-box .annot{border-color:Indigo}.color-medium-accent.focus-box h1,.color-medium-accent.focus-box h2,.color-medium-accent.focus-box h3,.color-medium-accent.focus-box h4,.color-medium-accent.focus-box h5,.color-medium-accent.focus-box h6{color:Indigo}.tooltip,.tooltip-down,.tooltip-img-down{display:inline;position:relative}.tooltip:hover:after,.tooltip-down:hover:after,.tooltip-img-down:hover:after{background:rgba(38,50,56,0.85);border-radius:5px;color:#FFFFFC;content:attr(data-tooltip);font:0.8rem "Montserrat",sans-serif;left:-25%;padding:5px 10px;position:absolute;text-align:left;width:96px;word-wrap:break-word;z-index:998}.tooltip:hover:after{bottom:26px}.tooltip-down:hover:after{top:46px}.tooltip-img-down:hover:after{top:26px}.tooltip:hover:before,.tooltip-down:hover:before,.tooltip-img-down:hover:before{border:solid;border-color:rgba(38,50,56,0.85) transparent;content:"";left:50%;position:absolute;z-index:999}.tooltip:hover:before{border-width:6px 6px 0 6px;bottom:20px}.tooltip-down:hover:before{border-width:0px 6px 6px 6px;top:40px}.tooltip-img-down:hover:before{border-width:0px 6px 6px 6px;top:20px}:not(pre)>code,pre[class*="language-"]{background-color:#fdfbf6;transition:background-color .2s ease;color:#657b83;text-align:left;white-space:pre;word-spacing:normal;word-break:normal;word-wrap:normal;line-height:1.125em;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-hyphens:none;-moz-hyphens:none;-ms-hyphens:none;hyphens:none}:not(pre)>code:active,:not(pre)>code:focus,:not(pre)>code:hover,:not(pre)>code.hovering,pre[class*="language-"]:active,pre[class*="language-"]:focus,pre[class*="language-"]:hover,pre[class*="language-"].hovering{background-color:#fcf9f2}:not(pre)>code.transparent{font-family:inherit;line-height:inherit;color:inherit;background-color:inherit}:not(pre)>code.transparent span.inline-color-wrapper{margin:0 0.75ch 0 0}:not(pre)>code:not(.transparent){background-color:#faf4e8;border-radius:0.25em;padding:0.1875em .25em 0.25em;margin:0 0.05em}:not(pre)>code:not(.transparent):active,:not(pre)>code:not(.transparent):focus,:not(pre)>code:not(.transparent):hover{background-color:#faf4e8}a>code{color:inherit}.site-container pre[data-line],pre[class*="language-"]{padding:0.25em 0.4em}pre[class*="language-"]{margin:1.125em 0;padding:0.25em 0.4em;overflow:auto;border-width:1px;border-style:dashed;border-color:#d69928;transition:border-color .2s ease;border-radius:0.35em}pre[class*="language-"]:active,pre[class*="language-"]:focus,pre[class*="language-"]:hover,pre[class*="language-"].hovering{border-color:#ab7a20}pre[class*="language-"] .line-highlight{margin-top:0.29em}pre[class*="language-"] .line-highlight::before,pre[class*="language-"] .line-highlight::after{display:none}pre[class*="language-"] .command-line-prompt{border-right:none;margin-right:0em;letter-spacing:inherit;opacity:0.8}pre[class*="language-"] .command-line-prompt span:last-of-type{display:none}pre[class*="language-"] .token.comment,pre[class*="language-"] .token.prolog,pre[class*="language-"] .token.doctype,pre[class*="language-"] .token.cdata{color:#93a1a1}pre[class*="language-"] .token.punctuation{color:#586e75}pre[class*="language-"] .token.namespace{opacity:.7}pre[class*="language-"] .token.property,pre[class*="language-"] .token.tag,pre[class*="language-"] .token.boolean,pre[class*="language-"] .token.number,pre[class*="language-"] .token.constant,pre[class*="language-"] .token.symbol,pre[class*="language-"] .token.deleted{color:#268bd2}pre[class*="language-"] .token.selector,pre[class*="language-"] .token.attr-name,pre[class*="language-"] .token.string,pre[class*="language-"] .token.char,pre[class*="language-"] .token.builtin,pre[class*="language-"] .token.url,pre[class*="language-"] .token.inserted{color:#6c8800}pre[class*="language-"] .token.entity{color:#657b83;background:#eee8d5}pre[class*="language-"] .token.atrule,pre[class*="language-"] .token.attr-value,pre[class*="language-"] .token.keyword{color:#a57c00}pre[class*="language-"] .token.function,pre[class*="language-"] .token.operator,pre[class*="language-"] .token.class-name{color:#2aa198}pre[class*="language-"] .token.regex,pre[class*="language-"] .token.important{color:#cb4b16}pre[class*="language-"] .token.variable{color:#6c71c4}pre[class*="language-"] .token.important,pre[class*="language-"] .token.bold{font-weight:bold}pre[class*="language-"] .token.italic{font-style:italic}pre[class*="language-"] .token.entity{cursor:help}html{font-size:14px;line-height:1.375}@media screen and (min-width: 48em){html{font-size:16px}}html,button,input,select,textarea,.pure-g [class*="pure-u"]{font-family:"Noto Sans",sans-serif}code,kbd,pre,samp{font-family:"Ubuntu Mono",monospace}.mono{font-family:"Ubuntu Mono",monospace !important}kbd{color:#222325;border-radius:0.25rem;border:1px solid #cbcccd;box-shadow:0 2px 0 1px #cbcccd;cursor:default;font-size:0.9em;line-height:1.1;min-width:0.75rem;text-align:center;padding:2px 5px;position:relative;top:-1px}kbd:active,kbd:focus,kbd:hover{box-shadow:0 1px 0 0.5px #cbcccd;top:1px}blockquote{font-size:0.9em;text-align:justify;margin-left:0.25em;margin-right:0.25em;padding:0.25em 0.75em;background:#F8F8F9;border-left:8px solid #F0F0F0;border-radius:6px}blockquote>p.source{margin:-0.3125em -0.9375em;padding:0.3125em 1em;background:#F0F0F0;font-size:0.8em;font-family:"Montserrat",sans-serif;text-align:left}blockquote>p.source::before{content:"Source: "}a{text-decoration:none;cursor:pointer}p{margin:1em 0}h1,h2,h3,h4,h5,h6,.heading{margin:1rem 0 0.5rem 0;font-family:"Montserrat",sans-serif;font-weight:bold}h1+p,h2+p,h3+p,h4+p,h5+p,h6+p,.heading+p{margin-top:0}h1+pre,h2+pre,h3+pre,h4+pre,h5+pre,h6+pre,.heading+pre{margin-top:0.625em !important}h1{font-size:1.8rem}h2{font-size:1.62rem}h3{font-size:1.458rem}h4{font-size:1.3122rem}h5{font-size:1.18098rem}h6{font-size:1.062882rem}.subscript,.superscript,.small-caps{font-style:unset !important}.subscript{vertical-align:sub;font-size:0.75em}.superscript{vertical-align:super;font-size:0.75em}.small-caps{font-variant:small-caps;font-variant-numeric:oldstyle-nums}abbr[title],acronym[title],.small-caps{letter-spacing:0.0625em}details{border:1px solid #DADADA;border-radius:0.25em;padding:0.25em 0.5em 0.35em}details[open]{padding:0.25em 0.5em 0}details[open]>summary::after{content:"\00A0\00A0[hide]";font-variant:small-caps}details>summary::after{content:"\00A0\00A0[show]";font-variant:small-caps}details summary:focus,details summary:active{outline:none}.ps-algorithmic{margin:0.25em 0 0.5em}.ps-algorithmic>.ps-block>.ps-line{margin-top:0.75em}.ps-algorithmic>.ps-block>.ps-line:first-of-type{margin-top:inherit}.ps-algorithmic>.ps-block .ps-comment{color:#888}.ps-algorithmic>.ps-block .ps-linenum{color:#999}.tweet p::before{display:inline-block;font-style:normal;font-variant:normal;text-rendering:auto;-webkit-font-smoothing:antialiased;font-family:"Font Awesome 5 Brands";font-weight:900;content:"\F099";margin-left:0.75em;margin-right:1.5em;color:#CCC;transition:color 0.2s ease}.tweet:active p::before,.tweet:focus p::before,.tweet:hover p::before,.tweet.hovering p::before{color:#38A1F3}ol.custom{list-style:none;counter-reset:item;margin-left:0em}ol.custom>li{counter-increment:item}ol.custom>li::before{content:var(--prefix) counter(item) ".";font-weight:bold;display:inline-block;width:2em;margin-left:-2em}.footnotes{font-size:0.9em;border-top:1px dashed #BBB}.footnotes:first-of-type{counter-reset:footnote;margin-top:1em;padding-top:0.5em}.footnotes:last-of-type{margin-bottom:1em}.footnotes ol{list-style:none;margin:0}.footnotes ol li{counter-increment:footnote}.footnotes ol li p{display:inline}.footnotes ol li::before{content:counter(footnote) ".";display:inline-block;width:1.25em;margin-left:-1.5em}.definition{counter-increment:theorem;display:block;font-family:"Montserrat",sans-serif;outline:5px dotted #FAEFEF;outline-offset:-3px;background-color:#FAEFEF;margin:0.5em 0.25em;padding:0.5em}.definition p{display:inline}.definition:before{content:"Definition " counter(theorem) ". ";font-weight:bold}.definition[name]:before{content:"Definition " counter(theorem) " (" attr(name) "). "}.lemma{counter-increment:theorem;display:block;font-family:"Montserrat",sans-serif;outline:4px dashed #EFEFFA;outline-offset:-2px;background-color:#EFEFFA;margin:0.5em 0.25em;padding:0.5em}.lemma p{display:inline}.lemma:before{content:"Lemma " counter(theorem) ". ";font-weight:bold}.lemma[name]:before{content:"Lemma " counter(theorem) " (" attr(name) "). "}.theorem{counter-increment:theorem;display:block;font-family:"Montserrat",sans-serif;outline:4px dashed #EFEFFA;outline-offset:-2px;background-color:#EFEFFA;margin:0.5em 0.25em;padding:0.5em}.theorem p{display:inline}.theorem:before{content:"Theorem " counter(theorem) ". ";font-weight:bold}.theorem[name]:before{content:"Theorem " counter(theorem) " (" attr(name) "). "}code.language-mermaid[data-processed='true'] svg[id^='mermaid'] p{margin:unset}.site-header{background-color:#FFFFFC;border-bottom:1px solid rgba(46,125,50,0.5);font-size:1.3rem;max-width:inherit;padding-bottom:4px;top:0px;width:100%;z-index:1}.site-header .site-header-container{margin:0;color:#2E7D32;transition:color .2s ease}.site-header .site-header-container *{vertical-align:middle}.site-header .site-header-container .site-header-title{color:inherit;font:bold 1.5em "Montserrat",sans-serif;margin:auto 0px;transition:none}.site-header .site-header-container .site-header-links{margin:auto 0px;font:bold 1em "Montserrat",sans-serif}@media screen and (min-width: 48em){.site-header .site-header-container .site-header-links{font-size:1.2em}}.site-header .site-header-container .site-header-subtitle{font-family:"Noto Sans",sans-serif;font-size:0.75em}.site-header .site-header-container:active,.site-header .site-header-container:focus,.site-header .site-header-container:hover,.site-header .site-header-container.hovering{color:#43b548}@media screen and (min-width: 48em){.site-header .site-header-container{margin:0 4px}}@media screen and (min-width: 48em){.site-header{font-size:1.5rem}}.site-header{padding-bottom:0px;position:fixed;height:64px}@media screen and (min-width: 48em){.site-header{height:48px}}.site-footer{background-color:#FFFFFC;border-top:1px solid rgba(46,125,50,0.5);bottom:0px;font-size:0.725rem;max-width:inherit;width:100%;z-index:1}.site-footer .site-footer-container{margin:0;padding-top:1px}@media screen and (min-width: 35.5em){.site-footer .site-footer-container{margin:0 4px}}.layout{margin:0 auto;max-width:976px;width:100%}.site-main{margin:65px 12px 0px 12px;z-index:0}@media screen and (min-width: 35.5em){.site-main{margin:65px 12px 0px 12px}}@media screen and (min-width: 48em){.site-main{margin:49px 12px 0px 12px}}.site-main img{margin:0.25rem}.site-container{box-sizing:border-box;width:100%}.site-container li{margin:0.2em 0}.clearfix::after{content:"";clear:both;display:table}