:root{--green: #00704f;--navy: #00429f;--blue: #00bcff;--magenta: #ff29db;--purple: #7a00ff;--brown: #8b572a;--grey: #666;--yellow: #ffc000;--red: #d10020;--orange: #ff5800;--cyan: #00e994;--paper: #efefeb;--brand: #3c5896;--brand-alt: #975361;--brand-purple: #5d00b5;--brand-green: #03680f}@font-face{font-family:"place";src:url("/fonts/Place-Regular-Web.woff2");font-weight:regular;font-style:bold;font-display:block}@font-face{font-family:"leland";src:url("/fonts/leland.woff2");font-weight:regular;font-style:regular;font-display:block}@font-face{font-family:"study";src:url("/fonts/41831.woff2");font-weight:regular;font-style:normal;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41832.woff2");font-weight:regular;font-style:italic;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41835.woff2");font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41836.woff2");font-weight:500;font-style:italic;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41837.woff2");font-weight:bold;font-style:normal;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41838.woff2");font-weight:bold;font-style:italic;font-display:swap}@font-face{font-family:"mono";src:url("/fonts/BerkeleyMono-Regular.woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"mono";src:url("/fonts/BerkeleyMono-Italic.woff2");font-weight:normal;font-style:italic;font-display:swap}@font-face{font-family:"mono";src:url("/fonts/BerkeleyMono-Bold.woff2");font-style:normal;font-weight:bold;font-display:swap}@font-face{font-family:"mono";src:url("/fonts/BerkeleyMono-BoldItalic.woff2");font-weight:bold;font-style:italic;font-display:swap}embed[type="application/pdf"]{border:1px solid #ddd;margin:0 auto;width:61.8%;height:1000px}a,a:visited{color:var(--navy)}a.reversefootnote{display:none}span.text{display:none}ins{background:#fff;text-decoration:none}.highlighted p{background:#eee}.comment{color:var(--red)}*{-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;font-kerning:auto;font-variant-numeric:oldstyle-nums proportional-nums !important;font-variant-ligatures:common-ligatures !important}html{-webkit-text-size-adjust:100%;-webkit-font-smoothing:antialiased !important;text-rendering:optimizeLegibility !important}body{color:#000;counter-reset:sidenote-counter;font-family:'study','Times New Roman', Times, serif;font-size:13pt;height:100%;margin:0em auto;max-width:1200px;padding-left:1.5em;line-height:1.1;position:relative;padding:1em 1.5em}.ea{font-family:'study', "LXGW WenKai Mono TC", 'Noto Serif SC', 'Songti SC', 'STSong', 'SimSun', '宋体', serif;font-size:0.85em;font-style:normal}.greek{font-family:'GFS Didot', serif;font-size:0.85em}h1,h2,h3,h4,h5,h6{font-weight:400;font-size:inherit;line-height:1.2;margin:0;max-width:61.8%}h1{margin-bottom:2.5rem;font-weight:400;font-size:175%;max-width:none}h2{margin-top:2.5rem;margin-bottom:.5rem;-webkit-column-break-after:avoid;text-transform:uppercase;font-weight:bold;letter-spacing:.5px;font-size:85%}h3{margin:0;margin-top:2rem;color:initial;font-family:inherit;font-weight:bold}h4{margin-top:1rem;margin-bottom:0;color:initial;font-family:inherit;font-weight:normal;font-style:italic}ul,ol{margin-right:2rem;padding-left:2em}p,table,blockquote,pre,img,hr,.mini-note,ul li,ol li,.fig-wrapper{box-sizing:border-box;max-width:61.8%;hyphens:auto}p p,table p,blockquote p,pre p,img p,hr p,.mini-note p,ul li p,ol li p,.fig-wrapper p{max-width:100%}li ul li,li ol li{max-width:100%}p{position:relative;margin-block-start:0em;margin-block-end:1em}::marker{font-variant-numeric:ordinal}a,a:visited{text-decoration-line:underline;text-decoration-color:transparent;text-decoration-thickness:1px;text-underline-offset:.1em;transition-property:color, background-color, border-color, text-decoration-color, fill, stroke, opacity, box-shadow, transform, filter, backdrop-filter, -webkit-backdrop-filter;transition-timing-function:cubic-bezier(0.4, 0, 0.2, 1);transition-duration:.3s}a:hover,a:visited:hover{text-decoration-color:#ccc}hr{background:transparent;border:0;height:4em;margin:0;margin-top:1em;width:100%;position:relative}hr::before{content:"————————————";position:absolute;left:50%;top:50%;transform:translate(-50%, -50%)}span .para-break{display:block;height:0.75em}span.highlight,hl{background:linear-gradient(transparent 62%, rgba(255,230,0,0.48) 0);display:inline}span.highlight mjx-container.MathJax,hl mjx-container.MathJax{display:inline !important}p>mjx-container.MathJax,span.sidenote>mjx-container.MathJax,span.marginnote>mjx-container.MathJax{display:inline !important}p a[href^="/"]:not([href^="//"]):not([href^="/#"]),span.sidenote a[href^="/"]:not([href^="//"]):not([href^="/#"]),span.marginnote a[href^="/"]:not([href^="//"]):not([href^="/#"]){font-style:italic}p a[href^="/"]:not([href^="//"]):not([href^="/#"]):not([href="#"])::after,.sidenote a[href^="/"]:not([href^="//"]):not([href^="/#"]):not([href="#"])::after,span.marginnote a[href^="/"]:not([href^="//"]):not([href^="/#"]):not([href="#"])::after{content:"\e047";font-style:normal;letter-spacing:-0.05em;margin-left:0.1em;font-family:"leland", serif;line-height:0;overflow:visible;font-size:80%}figure{align-items:flex-start;display:flex;margin:0;padding:0;position:relative;margin-bottom:1em}figure table{max-width:61.8%;min-width:auto;padding-right:1rem}figure iframe{max-width:61.8%;min-width:auto;padding-right:2em}figure #canvas{max-width:61.8%;min-width:auto;padding-right:2em}pre{font-size:85%;margin:0;overflow-x:visible;overflow-y:hidden;padding-top:0;height:auto;max-width:100%}pre.highlight{margin:0;margin-bottom:1em;padding-left:1em;overflow-x:auto;overflow-y:hidden;counter-reset:line}img{height:auto;margin-right:.5em;width:100%}pre,code{font-family:'mono', Courier, monospace;font-size:90%}ul pre,ol pre{max-width:100%}.toc ol{counter-reset:section;list-style-type:none;padding-left:0}.toc ol li{counter-increment:section;position:relative;padding-left:1.5em;margin:0}.toc ol li::before{content:counter(section) ".";position:absolute;left:0}.toc ol li ol{counter-reset:subsection}.toc ol li ol li{counter-increment:subsection;padding-left:2em}.toc ol li ol li::before{content:counter(section) "." counter(subsection,lower-alpha) "."}.table-wrapper{width:61.8%}table{border-collapse:separate;border-spacing:0;margin:0;text-align:left;width:100% !important;font-size:9.5pt;line-height:1.1;min-width:100%;font-family:'Franklin Gothic Medium',  'Arial Narrow',  Arial,  sans-serif;font-variant-ligatures:no-discretionary-ligatures}table th,table td{padding:0}table th:not(:first-child),table td:not(:first-child){text-align:right}table thead th{border-bottom:1px solid #111}table tfoot tr td{padding:.25em 0}.sticky-toc+ul{padding:0;margin:0;font-family:'table', 'Franklin Gothic Medium',  'Arial Narrow',  Arial,  sans-serif;font-size:85%}.sticky-toc+ul li{list-style:none;margin:0;padding:0}.sticky-toc+ul li ul li{list-style:none;margin:0;padding:0}.sticky-toc+ul li ul li ul{display:none}main.post article>p:not(.subtitle):nth-of-type(5n+1)::before{content:counter(paragraph);font-weight:normal;vertical-align:baseline;position:relative;display:inline-block;text-align:right;width:2em;padding-right:.25em;font-size:.8em;box-sizing:border-box;margin-left:-2em;font-style:italic}main.post article>p:not(.subtitle){counter-increment:paragraph;position:relative;text-align:justify}main.post article{counter-reset:paragraph}.subtitle{font-style:italic}.sans{font-family:'sans', helvetica, Arial, Helvetica, Calibri,  sans-serif;letter-spacing:.03em}.caps{font-variant:small-caps}.italics{font-style:italic}.marginnote,.sidenote,figcaption{left:calc(100% + 2em);width:calc(61.8% - 2em);position:absolute;font-size:90%;display:block;line-height:1.1;text-wrap:wrap;text-align:left}.marginnote br,.sidenote br,figcaption br{display:block;content:"";margin-top:.25em;margin-bottom:.25em}.sidenote:before{content:counter(sidenote-counter) " ";position:relative;font-weight:bold;font-size:85%;top:-0.25rem;vertical-align:baseline;font-style:normal}.sidenote-number{counter-increment:sidenote-counter;font-weight:bold}.sidenote-number:after{content:counter(sidenote-counter);font-weight:bold;font-size:80%;left:0.1rem;position:relative;top:-0.25rem;vertical-align:baseline}@counter-style footnotes{system:symbolic;symbols:"†" "‡" "§" "‖" "¶";suffix:" "}.sidenote-number.alt:after,.sidenote-number.alt+.sidenote:before{content:counter(sidenote-counter,footnotes)}figure .marginnote,figure .sidenote,figure figcaption{left:2em;position:relative;width:calc(38.2% - 2em)}figure #canvas{width:calc(38.2% - 2em)}.epigraph{margin:2rem 0}.epigraph blockquote{font-style:italic;margin:2rem 0}.epigraph blockquote footer{font-style:normal}blockquote{padding:0 1rem;padding-right:0;margin:0;margin-bottom:1em;display:block;line-height:1.15;border-left:.5em solid #eee}blockquote p{margin-bottom:0.5em}blockquote ul li,blockquote ol li,blockquote pre{margin:0;padding:0;max-width:100%}blockquote ul{margin:0;padding-left:1rem;margin-bottom:1em}blockquote cite{font-style:normal;font-size:initial;text-align:right;margin-top:.5em;padding:0;margin:0;display:block}blockquote footer{text-align:right;margin-right:2em}blockquote .MathJax{width:100%}.bottom-footer{margin:6rem 0}nav{z-index:999;position:sticky;top:1.5rem;margin-bottom:12rem;padding-bottom:1rem;overflow:hidden}nav .menu-icon{cursor:pointer;display:none;text-decoration:underline}nav .menu-btn{display:none}nav .menu-btn:checked ~ .site-nav{display:block}nav ul.site-nav{list-style:none;margin:0;padding:0}nav ul.site-nav li{display:inline-block;margin:0 1rem 0 0}nav ul.site-nav a,nav ul.site-nav a:visited{color:#000;text-decoration:none}.site-nav{font-family:'place';font-size:11pt;font-weight:bold;text-align:center;margin:1em auto}.site-nav img{max-width:17em}.MathJax_SVG_Display,.display-div{display:flex;width:61.8%;justify-content:center;align-items:center}.MathJax{width:61.8%;font-size:90% !important}blockquote.series{border:none;padding:1em 2em;margin:1em 0;background:#ffffff59}table .sidenote{display:block;left:initial !important;margin-top:0rem !important;margin-bottom:.25rem;position:relative;top:auto;width:100% !important;padding-top:0.25em !important}@media print{body{zoom:80%;width:100%;padding:0;padding-top:10em;box-sizing:border-box}nav{display:none}article h2:not(:first-of-type){page-break-before:always}}@media screen and (max-width: 850px){.site-nav{font-size:9pt}main.post article>p:not(.subtitle):nth-of-type(5n+1)::before{margin-left:0em;display:inline}main.post article h2 ~ p:not(.subtitle)::before{display:none}.MathJax_SVG_Display,.display-div,.MathJax{width:100%}body{padding:10px;padding-top:0;width:calc(100% - 20px)}h2.title{margin-top:2rem}p,table,blockquote,pre,img,hr,.mini-note,ul li,ol li,.fig-wrapper{max-width:100%}figure{flex-direction:column}figure table{width:100% !important;max-width:100% !important}figure #canvas{width:100% !important;max-width:100% !important}.marginnote,.sidenote,figcaption{display:block;left:initial !important;margin-top:0rem !important;margin-bottom:1rem;position:relative;top:auto;width:100% !important;padding-top:0.25em !important;margin-bottom:0.25em !important;padding-left:1em;text-align:justify}ul,ol{margin-right:0rem}h1,h2,h3,h4,h5,h6{max-width:100%}p .sidenote,p .marginnote{float:left;clear:both;width:100%;display:block}}.footnotes{margin-top:2rem;padding-top:2rem;font-size:90%;text-align:left}.footnotes ol{padding-left:1.5rem}.footnotes li{margin-bottom:0}.footnotes li p{margin-bottom:0}sup{font-size:x-small;font-weight:bold}code.language-plaintext{font-size:80%}span.tags{font-family:'Courier New', Courier, monospace;font-size:65%;text-transform:uppercase;background-color:#ddd}.katex{font-size:inherit}.highlight .c,.highlight .c1,.highlight .cm,.highlight .cp,.highlight .cs{color:#666}.highlight .err{color:var(--red);background-color:#e3d2d2}.highlight .k{font-weight:bold}.highlight .o{font-weight:bold}.highlight .gd{color:#000;background-color:#fdd}.highlight .gd .x{color:#000;background-color:#faa}.highlight .ge{font-style:italic}.highlight .gr{color:var(--red)}.highlight .gh{color:#999}.highlight .gi{color:#000;background-color:#dfd}.highlight .gi .x{color:#000;background-color:#afa}.highlight .go{color:#888}.highlight .gp{color:#555}.highlight .gs{font-weight:bold}.highlight .gu{color:#aaa}.highlight .gt{color:var(--red)}.highlight .kc{font-weight:bold}.highlight .kd{font-weight:bold}.highlight .kp{font-weight:bold}.highlight .kr{font-weight:bold}.highlight .kt{color:#458;font-weight:bold}.highlight .m{color:var(--green)}.highlight .na,.highlight .nb,.highlight .no,.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo,.highlight .nv,.highlight .vc,.highlight .vg,.highlight .vi,.highlight .il{color:var(--green)}.highlight .nb,.highlight .ss{font-weight:bold}.highlight .nc{color:var(--green);font-weight:bold}.highlight .ni,.highlight .ne,.highlight .nf{color:var(--green);font-weight:bold}.highlight .nn{color:#555}.highlight .nt{color:navy}.highlight .ow{font-weight:bold}.highlight .w{color:#bbb}.highlight .bp,.highlight .s,.highlight .sb,.highlight .sc,.highlight .sd,.highlight .s2,.highlight .se,.highlight .sh,.highlight .si,.highlight .sx,.highlight .s1{color:#000}.highlight .sr{color:var(--orange)}.highlight .err{background:none}