@import "https://fonts.googleapis.com/css2?family=DM+Sans:wght@400;450;500;550;600;650;700&family=Newsreader:opsz,wght@6..72,400;6..72,500&display=swap";:root{--bg:#fff;--surface:#fff;--text:#202725;--muted:#68716d;--accent:#17695b;--line:#dedfd8;--soft:#eeeee7;color:var(--text);background:var(--bg);font-synthesis:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;font-family:DM Sans,system-ui,sans-serif}*{box-sizing:border-box}body{margin:0}a{color:inherit;text-decoration:none}a:hover{color:var(--accent)}img,video,iframe{max-width:100%}img{height:auto;display:block}button,input{font:inherit}button,a,input,summary{outline-offset:5px}a:focus-visible,button:focus-visible,input:focus-visible,summary:focus-visible{outline:2px solid var(--accent)}::selection{background:#d6e6df}.site-shell{max-width:1160px;margin:0 auto;padding:0 48px}.site-header{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:24px;padding:35px 0;display:flex}.wordmark{letter-spacing:-.8px;font-size:21px;font-weight:650}.wordmark-dot{color:var(--accent)}.site-header nav{gap:29px;font-size:16px;display:flex}.site-header nav a{color:var(--muted);padding:8px 0}.site-header nav a[aria-current=page]{color:var(--accent);box-shadow:0 1px var(--accent)}.skip-link{background:var(--text);color:#fff;z-index:10;padding:12px;position:absolute;top:-70px;left:15px}.skip-link:focus{top:10px}.eyebrow{text-transform:uppercase;letter-spacing:1.8px;color:var(--accent);margin:0 0 14px;font-size:12px;font-weight:650;line-height:1.7}h1,h2,h3,p{margin-top:0}h1,h2{letter-spacing:-1.8px;font-family:Newsreader,Georgia,serif;font-weight:400}h1{margin-bottom:20px;font-size:68px;line-height:1.06}h2{margin-bottom:0;font-size:37px;line-height:1.12}h3{letter-spacing:-.4px;font-size:19px;font-weight:550;line-height:1.4}.hero{grid-template-columns:1.5fr 1fr;align-items:center;gap:80px;padding:76px 0 78px;display:grid}.hero h1{letter-spacing:-3px;margin-bottom:12px;font-size:76px}.hero-role{color:var(--muted);margin-bottom:26px;font-size:20px}.intro{font-size:18px;line-height:1.85}.hero-links{align-items:center;gap:24px;margin-top:29px;font-size:15px;display:flex}.button{background:var(--accent);color:#fff;border-radius:4px;align-items:center;gap:24px;padding:13px 17px;display:inline-flex}.button:hover{color:#fff;background:#115346}.portrait{margin:0;position:relative}.portrait img{aspect-ratio:4/4.65;object-fit:cover;border-radius:4px;width:100%}.portrait figcaption{color:var(--muted);margin-top:14px;font-size:13px;line-height:1.8}.home-section{border-top:1px solid var(--line);padding:40px 0}.section-heading{justify-content:space-between;align-items:end;gap:20px;margin-bottom:30px;display:flex}.section-heading .eyebrow{margin-bottom:7px}.section-heading>a{white-space:nowrap;color:var(--accent);font-size:14px}.section-heading p:not(.eyebrow){color:var(--muted);margin:12px 0 0;font-size:16px}.publication{border-bottom:1px solid var(--line);grid-template-columns:180px 1fr;gap:28px;padding:29px 0;display:grid}.publication:first-child{padding-top:0}.publication:last-child{border-bottom:0;padding-bottom:0}.publication-image{background:var(--surface);border-radius:4px;align-self:start;overflow:hidden}.publication-image img{object-fit:contain;width:100%;height:133px;padding:8px}.publication .eyebrow{margin-bottom:7px;font-size:11px}.publication h3{margin-bottom:9px}.publication-no-image{grid-template-columns:1fr}.authors,.venue{color:var(--muted);margin-bottom:5px;font-size:14px;line-height:1.8}.venue{font-style:italic}.paper-links{flex-wrap:wrap;gap:8px;margin-top:12px;display:flex}.paper-links a{border:1px solid var(--line);color:var(--accent);border-radius:3px;padding:5px 9px;font-size:12px}.paper-links a:hover{border-color:var(--accent)}.contribution{color:var(--muted);margin-top:12px;font-size:13px}.contribution summary{cursor:pointer}.contribution p{max-width:600px;margin-top:8px;line-height:1.7}.home-bottom{grid-template-columns:1fr 1fr;gap:65px;margin-top:15px;display:grid}.news-list{margin:0;padding:0;list-style:none}.news-list li{border-bottom:1px solid var(--line);padding:15px 0;font-size:14px;line-height:1.8}.news-list li:first-child{padding-top:0}.news-list p{margin-bottom:0}.news-list time,.writing-list time{color:var(--muted);font-variant-numeric:tabular-nums;margin-bottom:6px;font-size:12px;display:block}.news-list a{color:var(--accent)}.writing-list>a{border-bottom:1px solid var(--line);padding:15px 0;display:block}.writing-list>a:first-child{padding-top:0}.writing-list h3{margin:6px 0;font-size:17px}.writing-list span{color:var(--accent);font-size:12px}.site-footer{border-top:1px solid var(--line);color:var(--muted);justify-content:space-between;gap:20px;margin-top:65px;padding:25px 0 32px;font-size:13px;display:flex}.site-footer p{margin:0}.site-footer span{margin:0 5px}.site-footer div{gap:20px;display:flex}.page-heading{padding:64px 0 45px}.page-heading h1{font-size:64px}.page-heading>p:not(.eyebrow){color:var(--muted);max-width:620px;font-size:19px;line-height:1.7}.publication-year{border-top:1px solid var(--line);grid-template-columns:80px 1fr;gap:28px;padding:32px 0;display:grid}.publication-year>h2{letter-spacing:-.5px;font-size:26px}.publication-media{color:var(--muted);margin:12px 0 0;font-size:14px;line-height:1.8}.publication-media a{color:var(--accent)}.project-section{border-top:1px solid var(--line);padding:32px 0 45px}.project-grid{grid-template-columns:1fr 1fr;gap:28px;display:grid}.project-grid-small{grid-template-columns:repeat(3,1fr)}.project-card{background:var(--surface);border:1px solid var(--line);border-radius:5px;transition:transform .18s,border-color .18s;overflow:hidden}.project-card:hover{border-color:var(--accent);transform:translateY(-3px)}.project-image{background:var(--surface);overflow:hidden}.project-image img{object-fit:cover;width:100%;height:255px}.project-grid-small .project-image img{height:185px}.project-copy{padding:22px}.project-copy h3{justify-content:space-between;gap:15px;margin-bottom:10px;font-size:19px;display:flex}.project-copy h3 span{color:var(--accent);font-size:17px}.project-copy p{color:var(--muted);margin-bottom:0;font-size:15px;line-height:1.7}.blog-layout{grid-template-columns:1fr 270px;gap:65px;display:grid}.list-heading{font-size:30px}.article-list article{border-bottom:1px solid var(--line);padding:28px 0}.article-list .eyebrow{margin-bottom:9px;font-size:11px}.article-list h3{margin-bottom:10px;font-size:23px}.article-list p:not(.eyebrow){color:var(--muted);font-size:16px;line-height:1.8}.text-link{color:var(--accent);font-size:14px}.series-sidebar{border-left:1px solid var(--line);padding-left:26px}.series-sidebar>h2{letter-spacing:0;text-transform:uppercase;margin:8px 0 25px;font-family:inherit;font-size:14px}.series-sidebar details{border-bottom:1px solid var(--line);margin-bottom:20px;padding:0 0 15px}.series-sidebar summary{cursor:pointer;font-size:15px;font-weight:550;line-height:1.7}.series-sidebar ol{padding-left:18px}.series-sidebar li{color:var(--muted);margin-bottom:8px;font-size:13px;line-height:1.7}.article-container{max-width:790px;margin:auto}.article-heading{border-bottom:1px solid var(--line);margin-bottom:36px;padding:48px 0 32px}.article-heading h1{letter-spacing:-1.5px;font-size:47px;line-height:1.15}.back-link{color:var(--muted);margin-bottom:40px;font-size:14px;display:inline-block}.article-heading .eyebrow{font-size:12px}.article-description{color:var(--muted);margin-bottom:0;font-size:20px;line-height:1.7}.language-links{gap:12px;margin-top:20px;font-size:14px;display:flex}.language-links a[aria-current]{color:var(--accent);text-decoration:underline}.prose{line-height:1.9}.prose a{color:var(--accent);text-underline-offset:3px;text-decoration:underline}.article-body{overflow-wrap:break-word;font-size:18px}.article-body h1{font-size:34px}.article-body h2{letter-spacing:-.7px;margin:44px 0 20px;font-size:32px}.article-body h3{margin:30px 0 15px;font-size:22px}.article-body p{margin-bottom:22px}.article-body pre{color:#24292e;border:1px solid var(--line);background:#f6f8fa;border-radius:4px;padding:20px;font-size:14px;line-height:1.8;overflow-x:auto}.article-body code{font-size:.9em}.article-body pre code{font-size:inherit}.article-body :not(pre)>code{background:var(--soft);border-radius:3px;padding:2px 5px}.article-body blockquote{border-left:2px solid var(--accent);color:var(--muted);margin-left:0;padding-left:22px}.article-body table{border-collapse:collapse;width:100%;margin:24px 0;font-size:15px;display:block;overflow-x:auto}.article-body td,.article-body th{border-bottom:1px solid var(--line);text-align:left;padding:10px 14px}.article-body th{background:var(--soft)}.article-body figure{margin:28px 0}.article-body figure img{object-fit:contain;max-height:600px;margin:auto}.article-body iframe{border:0;width:100%;min-height:320px}.article-body .row{flex-wrap:wrap;gap:16px;display:flex}.article-body .row>div{flex:1;min-width:200px}.katex-display{padding:5px 0;overflow:auto hidden}.figure-grid{grid-template-columns:repeat(3,1fr);gap:16px;display:grid}.figure-grid figure{margin:0}.figure-grid img{object-fit:contain;background:#fff;width:100%;height:150px}.figure-grid figcaption{margin-top:10px;font-size:13px;line-height:1.7}.figure-grid p{margin:5px 0}.article-series{border-top:1px solid var(--line);margin-top:50px;padding-top:30px}.article-series h2{font-size:26px}.article-series li{font-size:15px;line-height:1.9}.article-series a[aria-current]{color:var(--accent)}@media (width>=1400px){.site-shell{max-width:1240px}.hero{gap:110px}.hero h1{font-size:82px}}@media (width<=800px){.site-shell{padding:0 25px}.hero{grid-template-columns:1.5fr 1fr;gap:35px;padding:55px 0}.hero h1{font-size:55px}.hero-role{font-size:17px}.intro{font-size:16px}.hero-links{flex-wrap:wrap;gap:15px;font-size:13px}.home-bottom{gap:30px}.publication{grid-template-columns:145px 1fr;gap:20px}.publication-image img{height:115px}.publication-year{grid-template-columns:1fr;gap:25px}.project-grid-small{grid-template-columns:1fr 1fr}.blog-layout{grid-template-columns:1fr 220px;gap:30px}}@media (width<=560px){.site-shell{padding:0 20px}.site-header{flex-direction:column;align-items:start;gap:15px;padding:23px 0}.site-header nav{gap:23px;width:100%;font-size:14px}.hero{grid-template-columns:1fr;gap:30px;padding:40px 0 45px}.hero h1{font-size:58px}.hero-copy{order:1}.portrait{order:0;max-width:220px}.portrait img{aspect-ratio:1;object-position:center 30%}.portrait figcaption{display:none}.hero-role{font-size:19px}.intro{font-size:17px}.hero .eyebrow{font-size:11px}.hero-links{font-size:14px}.home-section{padding:30px 0}.section-heading{align-items:start}.section-heading h2{font-size:30px}.section-heading>a{padding-top:7px;font-size:12px}.publication{grid-template-columns:94px 1fr;gap:16px;padding:23px 0}.publication-image img{height:90px;padding:5px}.publication h3{font-size:18px}.authors,.venue{font-size:13px}.publication-no-image{grid-template-columns:1fr}.paper-links a{font-size:11px}.home-bottom{grid-template-columns:1fr;gap:40px}.page-heading{padding:40px 0 30px}.page-heading h1{font-size:52px}.page-heading>p:not(.eyebrow){font-size:17px}.project-grid,.project-grid-small{grid-template-columns:1fr}.project-image img,.project-grid-small .project-image img{height:220px}.blog-layout{grid-template-columns:1fr}.series-sidebar{border-left:0;border-top:1px solid var(--line);padding:25px 0 0}.article-heading h1{font-size:36px}.article-description{font-size:18px}.article-body{font-size:17px}.article-body h2{font-size:28px}.article-body h3{font-size:20px}.figure-grid{grid-template-columns:1fr 1fr}.site-footer{flex-direction:column;gap:12px;margin-top:40px}.article-list h3{font-size:21px}.article-body iframe{min-height:220px}}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}.signal-demo{border:1px solid var(--line);background:var(--surface);border-radius:6px;margin:36px 0;padding:26px}.signal-demo-heading .eyebrow{margin-bottom:8px;display:block}.article-body .signal-demo h3{margin:0 0 20px;font-size:21px}.signal-demo label{justify-content:space-between;gap:12px;font-size:14px;line-height:1.6;display:flex}.signal-demo label strong{white-space:nowrap;color:var(--accent);font-weight:550}.signal-demo input[type=range]{width:100%;accent-color:var(--accent);cursor:pointer;margin:18px 0}.article-body .demo-help{color:var(--muted);margin-bottom:18px;font-size:14px;line-height:1.8}.bit-editor{grid-template-columns:repeat(8,1fr);gap:6px;margin:15px 0 22px;display:grid}.bit-editor button{border:1px solid var(--line);cursor:pointer;background:#f5f7f4;border-radius:4px;padding:6px}.bit-editor button:hover{border-color:var(--accent)}.bit-editor span{color:var(--muted);font-size:10px;display:block}.bit-editor strong{color:var(--accent);font-size:21px;font-weight:500}.signal-controls{grid-template-columns:1fr 1fr;gap:24px;display:grid}.signal-chart-scroll{margin:10px 0 18px;overflow-x:auto}.signal-chart{width:100%;min-width:600px;display:block}.signal-chart text{fill:var(--muted);font-family:inherit;font-size:12px}.sequence-readout{flex-wrap:wrap;align-items:end;gap:16px 28px;display:flex}.sequence-readout span{color:var(--muted);font-size:12px;display:block}.article-body .sequence-readout code,.sequence-readout output{letter-spacing:2px;background:0 0;padding:0;font-family:ui-monospace,monospace;font-size:20px}.sequence-readout button,.signal-reset{color:var(--muted);cursor:pointer;background:0 0;border:0;padding:5px 0;font-size:13px;text-decoration:underline}.article-body .demo-model-note{color:var(--muted);margin:20px 0 0;font-size:13px;line-height:1.8}.can-bit-select{flex-wrap:wrap;gap:10px;margin-bottom:24px;display:flex}.can-bit-select button{border:1px solid var(--line);cursor:pointer;background:#fff;border-radius:4px;padding:9px 14px;font-size:14px}.can-bit-select button[aria-pressed=true]{background:var(--accent);color:#fff;border-color:var(--accent)}.can-readout{border-left:2px solid var(--accent);background:#f4f7f3;flex-wrap:wrap;gap:16px 35px;padding:13px 16px;display:flex}.can-readout>span{color:var(--text);font-size:13px;display:block}.can-readout strong{color:var(--accent);font-size:23px;font-weight:500;display:block}.can-readout.logic-uncertain{background:#fcf5e7;border-color:#a16b13}.can-readout.logic-uncertain strong{color:#8b5b0e}@media (width<=560px){.signal-demo{padding:20px 14px}.signal-controls{grid-template-columns:1fr;gap:0}.article-body .signal-demo h3{font-size:20px}.signal-demo label{font-size:13px}.sequence-readout{gap:12px 20px}.signal-chart-scroll{margin-right:-2px}}.hex-byte{margin:24px 0}.hex-byte-heading{flex-wrap:wrap;justify-content:space-between;gap:8px;font-size:14px;display:flex}.hex-byte-heading strong{color:var(--accent);font-family:ui-monospace,monospace}.hex-nibbles{grid-template-columns:1fr 1fr;gap:18px;display:grid}.hex-nibbles .bit-editor{grid-template-columns:repeat(4,1fr);margin:10px 0 0}.hex-nibbles button[aria-pressed=true]{border-color:var(--accent);background:#e9f1eb}.hex-digit{text-align:center;color:var(--accent);border-bottom:1px solid var(--line);padding:8px;font:24px ui-monospace,monospace}.signal-demo select{width:100%;max-width:100%;font:inherit;color:var(--ink);border:1px solid var(--line);background:#fff;border-radius:4px;margin:10px 0 20px;padding:10px;font-size:14px}.subpost-parent{color:var(--text);margin:0 0 20px;font-size:14px;line-height:1.7}.subpost-parent a{color:var(--accent);text-decoration:underline}.article-series ul,.series-sidebar ul{margin:8px 0 14px;padding-left:20px;list-style-type:disc}.mit-bytes{grid-template-columns:repeat(8,1fr);gap:10px;min-width:700px;padding-bottom:8px;display:grid}.mit-byte>span{color:var(--text);font-size:12px;display:block}.mit-byte>strong{padding:8px 0;font:24px ui-monospace,monospace;display:block}.mit-byte>div{display:flex}.mit-byte>div>span{text-align:center;flex:1;padding:5px 1px;font:12px ui-monospace,monospace}.mit-compact-controls{border-top:1px solid var(--line)}.mit-command-row{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1fr) 170px;gap:0 20px;padding:12px 0;display:grid}.mit-command-value{min-width:0}.mit-command-value label{align-items:baseline}.mit-command-value input[type=range]{margin:7px 0 4px;display:block}.mit-shared-limits{grid-template-columns:1fr 1fr;gap:8px;display:grid}.mit-shared-limits label{font-size:11px;display:block}.mit-shared-limits input{width:100%;min-width:0;color:var(--text);font:inherit;background:#fff;border:1px solid #a9b3ad;border-radius:3px;padding:5px 7px;font-size:13px;display:block}.mit-command-result{color:var(--text);grid-column:1/-1;font-size:12px}@media (width<=560px){.mit-command-row{grid-template-columns:minmax(0,1fr) 110px;gap:0 10px}.mit-command-value label{display:block}.mit-command-value label strong{font-size:12px;display:block}.mit-shared-limits{gap:5px}}.mit-resolution-value{color:var(--text);margin:18px 0 10px;font-size:14px;display:block}.mit-resolution-value strong{color:var(--accent)}.scheduler-presets,.scheduler-playback{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.scheduler-presets{border-bottom:1px solid var(--line);gap:0 18px;margin-bottom:22px}.article-body .scheduler-control-label{letter-spacing:.07em;text-transform:uppercase;color:#414d46;margin:0 0 7px;font-size:11px;font-weight:600}.scheduler-demo button{color:var(--text);cursor:pointer;font:inherit;background:#fff;border:1px solid #b6c2ba;border-radius:4px;padding:7px 11px;font-size:13px}.scheduler-demo button:hover{border-color:var(--accent);background:#f1f6f2}.scheduler-presets button{background:0 0;border:0;border-bottom:3px solid #0000;border-radius:0;padding:10px 0}.scheduler-presets button:hover{background:0 0;border-bottom-color:#b6c2ba}.scheduler-playback>button{background:#fff;border:0;border-radius:20px;align-items:center;gap:6px;padding:8px 11px;font-size:12px;display:inline-flex}.scheduler-playback>button:first-of-type{color:#fff;background:#202725}.scheduler-playback button svg{flex:none;width:15px;height:15px}.scheduler-playback>.scheduler-control-label{margin:0 4px 0 0;font-size:10px}.scheduler-playback>strong{color:var(--text);margin-left:auto;font-size:14px}.scheduler-playback label{align-items:center}.scheduler-playback select{width:auto;margin:0;padding:5px}.scheduler-playback{border:1px solid var(--line);background:#f1f3f2;border-radius:6px;margin-bottom:16px;padding:12px}.scheduler-demo input[type=range]{margin:8px 0 16px}.scheduler-pipeline{min-width:720px}.scheduler-pipeline .scheduler-svg-title{fill:var(--text);font-size:13px;font-weight:600}.scheduler-metrics{grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;display:grid}.scheduler-metrics>div{border:1px solid var(--line);background:#f3f7f3;border-radius:4px;padding:12px}.scheduler-metrics span,.scheduler-metrics small{color:var(--text);font-size:12px;line-height:1.6;display:block}.scheduler-metrics strong{color:var(--accent);margin:5px 0;font-size:20px;line-height:1.5;display:block}.scheduler-metrics .is-alert{background:#fff2e9;border-color:#cf9c76}.scheduler-metrics .is-alert strong{color:#8d3f24}.scheduler-legend,.scheduler-counts{color:var(--text);flex-wrap:wrap;gap:8px 16px;font-size:12px;display:flex}.scheduler-legend i{width:10px;height:10px;margin-right:5px;display:inline-block}.scheduler-counts{border-bottom:1px solid var(--line);padding:12px 0}.scheduler-settings{margin:20px 0}.scheduler-settings summary{cursor:pointer;color:var(--accent);font-size:15px}.scheduler-settings-grid{grid-template-columns:1fr 1fr;gap:8px 22px;margin-top:18px;display:grid}.scheduler-settings-grid>label{display:block}.scheduler-settings-grid select{margin:7px 0 10px}.scheduler-demo .scheduler-checkbox{justify-content:start;align-items:start;gap:9px;margin:12px 0;display:flex}.scheduler-checkbox input{margin-top:5px}.scheduler-events{border:1px solid var(--line);background:#f7f8f7;border-radius:4px;padding:14px;font-size:13px}.scheduler-events>strong{font-size:14px}.scheduler-events ol{margin:10px 0 0;padding:0;list-style:none}.scheduler-events li{margin-bottom:6px;line-height:1.7}.scheduler-events time{color:var(--accent);font-family:ui-monospace,monospace;font-size:12px}@media (width<=560px){.scheduler-metrics{grid-template-columns:1fr}.scheduler-metrics strong{font-size:19px}.scheduler-settings-grid{grid-template-columns:1fr;gap:6px}.scheduler-playback>strong{width:100%;margin-left:0}}.scheduler-presets button[aria-pressed=true]{color:var(--accent);border-bottom-color:var(--accent);background:0 0;font-weight:600}.scheduler-demo .signal-chart text{fill:#414d46}.scheduler-driver-status{border:1px solid var(--line);color:var(--text);background:#f3f7f3;border-radius:4px;margin-bottom:14px;padding:12px 14px;font-size:13px}.scheduler-driver-status.is-alert{background:#fff2e9;border-color:#cf9c76}.article-body .scheduler-driver-status p{margin:7px 0 10px;font-size:13px}.article-body .mit-reserved-payload{color:#673b24;background:#fff2e9;border:1px solid #cf9c76;border-radius:4px;margin:12px 0 18px;padding:12px 14px;font-size:14px}.wbc-demo{border:1px solid var(--line);background:#fff;border-radius:8px;margin:30px 0;overflow:hidden}.wbc-demo-heading{justify-content:space-between;align-items:center;gap:16px;padding:22px 24px 0;display:flex}.wbc-demo-heading .eyebrow{margin:0 0 6px}.wbc-demo-heading h3{margin:0;font-size:23px}.wbc-model-tag{color:#375d4f;white-space:nowrap;font-size:12px}.wbc-demo svg{width:100%;max-height:510px;display:block}.wbc-demo svg text{font-family:inherit;font-size:13px}.wbc-playback{border-top:1px solid var(--line);align-items:center;gap:14px;padding:16px 24px;display:flex}.wbc-playback button{color:#205444;cursor:pointer;white-space:nowrap;font:inherit;background:#f3f7f4;border:1px solid #b6c9c0;border-radius:5px;padding:8px 13px;font-size:14px}.wbc-playback button:first-child{color:#fff;background:#285f4e;border-color:#285f4e}.wbc-timeline{flex:1;align-items:center;gap:12px;min-width:0;display:flex}.wbc-timeline input{flex:1;min-width:40px}.wbc-timeline output{white-space:nowrap;font-variant-numeric:tabular-nums;font-size:13px}.wbc-demo input{accent-color:#347361}.wbc-readout{color:#50625a;flex-wrap:wrap;align-items:center;gap:12px 22px;padding:0 24px 14px;font-size:13px;display:flex}.wbc-readout strong{color:#263e34;font-variant-numeric:tabular-nums;font-weight:600}.wbc-readout label{align-items:center;gap:8px;margin-left:auto;display:flex}.wbc-readout input{width:85px}.article-body .wbc-demo-note{color:#50625a;background:#f5f7f6;margin:0;padding:14px 24px;font-size:13px;line-height:1.6}@media (width<=560px){.wbc-demo-heading{padding:18px 15px 0}.wbc-demo-heading h3{font-size:20px}.wbc-model-tag{display:none}.wbc-playback{flex-wrap:wrap;gap:8px;padding:12px}.wbc-timeline{flex-basis:100%}.wbc-readout{gap:8px 16px;padding:0 15px 12px}.article-body .wbc-demo-note{padding:12px 15px}}.wbc-mesh-scene{touch-action:none;height:460px;position:relative}.wbc-mesh-scene canvas{width:100%;height:100%;display:block}.article-body .wbc-mesh-status{text-align:center;color:#50625a;pointer-events:none;width:80%;font-size:14px;position:absolute;top:45%;left:10%}.wbc-scenarios{flex-wrap:wrap;gap:10px;padding:18px 24px 0;display:flex}.wbc-scenarios button{font:inherit;color:#375d4f;cursor:pointer;background:#fff;border:1px solid #b8cbbf;border-radius:20px;padding:8px 14px;font-size:14px}.wbc-scenarios button[aria-pressed=true]{color:#205444;background:#e5f0e9;border-color:#347361}.wbc-playback button:disabled{opacity:.5;cursor:wait}.wbc-mesh-legend{flex-wrap:wrap;justify-content:center;gap:8px 20px;padding:8px 15px 15px;font-size:12px;display:flex}.wbc-mesh-legend span:first-child{color:#347361}.wbc-mesh-legend span:nth-child(2){color:#b34a33}.wbc-mesh-legend span:last-child{color:#b86024}.wbc-error-chart{padding:0 16px}.wbc-error-chart svg{max-height:none}.wbc-error-chart svg text{fill:#50625a;font-size:12px}@media (width<=560px){.wbc-mesh-scene{height:380px}.wbc-scenarios{padding:15px 15px 0}}.wbc-mesh-canvas{width:100%;height:100%}.wbc-base-target{grid-template-columns:1fr 1fr;gap:12px;padding:0 24px 16px;font-size:13px;display:grid}.wbc-base-target>div>span{color:#50625a;margin-bottom:5px;display:block}.wbc-base-target strong{font-variant-numeric:tabular-nums;flex-wrap:wrap;gap:4px 14px;font-weight:500;display:flex}.wbc-balance-demo .wbc-scenarios button{padding:6px 10px;font-size:12px}.wbc-scenarios button:disabled{opacity:.5;cursor:wait}@media (width<=560px){.wbc-base-target{grid-template-columns:1fr;padding:0 15px 12px}}.wbc-flow-transport{align-items:center;gap:10px;padding:20px 24px 14px;display:flex}.wbc-flow-transport button{font:inherit;color:#254b3b;cursor:pointer;background:#fff;border:1px solid #b9c9c0;border-radius:5px;padding:7px 12px;font-size:13px}.wbc-flow-transport button:first-child{color:#fff;background:#285f4e;border-color:#285f4e}.wbc-flow-transport button:disabled{opacity:.45;cursor:default}.wbc-flow-transport>span{color:#50625a;margin-left:auto;font-size:13px}.wbc-flow-caption{border-top:1px solid var(--line);border-bottom:1px solid var(--line);background:#f5f8f6;min-height:110px;padding:14px 24px}.wbc-flow-caption>strong{color:#254b3b;font-size:17px}.article-body .wbc-flow-caption p{color:#344d40;margin:5px 0 0;font-size:14px;line-height:1.65}.wbc-flow-diagram{padding:20px 24px 24px}.wbc-flow-node,.wbc-flow-task-group{color:#263d31;background:#fff;border:1px solid #cfd9d3;border-radius:6px;padding:13px 18px;transition:background .2s,border-color .2s}.wbc-flow-node{text-align:center;flex-direction:column;align-items:center;gap:5px;font-size:14px;display:flex}.wbc-flow-node>strong{font-size:18px;font-weight:550}.wbc-flow-owner{color:#4d6658;text-transform:uppercase;letter-spacing:1px;font-size:10px;font-weight:600}.wbc-flow-node.is-current,.wbc-flow-task-group.is-current{background:#eaf4ee;border-color:#347361;box-shadow:0 0 0 2px #34736118}.wbc-flow-task-list{grid-template-columns:1fr 1fr;gap:8px;display:grid}.wbc-flow-task{background:#fff;border:1px solid #dce4df;border-radius:4px;padding:9px 12px;font-size:13px}.wbc-flow-task>div{flex-wrap:wrap;justify-content:space-between;gap:5px;display:flex}.wbc-flow-task>div>span{color:#385d49;font-size:11px}.article-body .wbc-flow-task p{color:#304c3c;margin:4px 0 0;font-size:12px}.wbc-flow-task p span{color:#74877c;padding:0 3px}.wbc-flow-task-group>.wbc-flow-formula{text-align:center;margin:12px 0 4px}.wbc-flow-formula{color:#213b2d;font-family:Georgia,serif;font-size:19px}.wbc-flow-exports{text-align:center;color:#44604f;font-size:12px}.wbc-flow-arrow{color:#8c9c92;justify-content:center;align-items:center;gap:8px;min-height:39px;font-size:11px;display:flex}.wbc-flow-arrow svg{width:22px;height:30px;margin:0}.wbc-flow-arrow[data-active=true]{color:#28634d}.wbc-flow-packet{fill:#28634d;animation:1.1s linear infinite wbc-flow-travel}.wbc-flow-constraints{color:#3c5948;font-size:12px;line-height:1.5}.wbc-flow-solution{flex-wrap:wrap;justify-content:center;gap:14px 40px;padding-top:4px;display:flex}.wbc-flow-solution small{color:#496251;font-family:inherit;font-size:11px;font-weight:400;display:block}@keyframes wbc-flow-travel{0%{opacity:.2;transform:translateY(-4px)}to{opacity:1;transform:translateY(20px)}}@media (width<=560px){.wbc-flow-diagram{padding:15px 12px}.wbc-flow-task-list{grid-template-columns:1fr}.wbc-flow-caption{min-height:145px;padding:12px 15px}.wbc-flow-transport{gap:7px;padding:16px 15px 12px}.wbc-flow-arrow{font-size:10px}.wbc-flow-node{padding:12px 9px}}@media (prefers-reduced-motion:reduce){.wbc-flow-packet{animation:none}.wbc-flow-node,.wbc-flow-task-group{transition:none}}@media (width>=681px){.wbc-flow-diagram{grid-template-columns:minmax(0,1.1fr) 24px minmax(0,1fr) 24px minmax(0,1fr);grid-template-areas:"state state state state state""feed feed feed feed feed""tasks merge solver advance rnea""tasks merge accepted advance support""tasks merge solution advance torque";align-items:stretch;display:grid}.wbc-flow-diagram>:first-child{grid-area:state}.wbc-flow-diagram>:nth-child(2){grid-area:feed}.wbc-flow-diagram>:nth-child(3){grid-area:tasks}.wbc-flow-diagram>:nth-child(4){grid-area:merge}.wbc-flow-diagram>:nth-child(5){grid-area:solver}.wbc-flow-diagram>:nth-child(6){grid-area:accepted}.wbc-flow-diagram>:nth-child(7){grid-area:solution}.wbc-flow-diagram>:nth-child(8){grid-area:advance}.wbc-flow-diagram>:nth-child(9){grid-area:rnea}.wbc-flow-diagram>:nth-child(10){grid-area:support}.wbc-flow-diagram>:nth-child(11){grid-area:torque}.wbc-flow-diagram>:nth-child(4),.wbc-flow-diagram>:nth-child(8){align-self:center}.wbc-flow-diagram>:nth-child(4) svg,.wbc-flow-diagram>:nth-child(8) svg{transform:rotate(-90deg)}.wbc-flow-diagram>:nth-child(4) span,.wbc-flow-diagram>:nth-child(8) span{display:none}.wbc-flow-diagram>:nth-child(6),.wbc-flow-diagram>:nth-child(10){text-align:center;flex-direction:column;gap:0;padding:2px 0;font-size:10px}.wbc-flow-task-list{grid-template-columns:1fr}.wbc-flow-task-group{padding:10px}.wbc-flow-task{padding:7px}.wbc-flow-node{padding:12px 8px;font-size:12px}.wbc-flow-node>strong{font-size:16px}.wbc-flow-formula{font-size:17px}.wbc-flow-task-group>.wbc-flow-formula{font-size:15px}.wbc-flow-solution{gap:12px}}.wbc-flow-transport{z-index:2;background:#fff;position:sticky;top:0}.pose-pipeline{color:#eef4ff;background:#101b30;border:1px solid #344660;border-radius:8px;margin:30px 0;overflow:hidden}.pose-pipeline header{padding:22px 24px 0}.pose-pipeline header p{color:#b6cce9;letter-spacing:.1em;margin:0 0 6px;font-size:12px}.pose-pipeline header h3{color:#fff;margin:0;font-size:25px}.pose-pipeline-transport{flex-wrap:wrap;align-items:center;gap:9px;padding:16px 24px 0;display:flex}.pose-pipeline button{color:#ecf3ff;font:inherit;cursor:pointer;background:#1e304c;border:1px solid #526b8b;border-radius:5px;padding:9px 11px;font-size:13px}.pose-pipeline-transport button{background:0 0;border-color:#0000}.pose-pipeline-transport span{color:#bfcee5;font-size:13px}.pose-pipeline-body{grid-template-columns:.85fr 1.15fr;align-items:start;gap:10px;padding:12px 16px;display:grid}.pose-pipeline-scene{position:sticky;top:15px}.pose-pipeline-scene svg{width:100%;display:block}.pose-pipeline-scene svg text{font-family:inherit;font-size:13px}.article-body .pose-pipeline-scene p{padding:0 8px;font-size:13px;line-height:1.8}.pose-position{color:#63b3ff}.pose-rotation{color:#ff8e9e}.pose-pipeline-calculation{justify-items:center;gap:8px;min-width:0;padding:18px 0;display:grid}.pose-pipeline-source{flex-wrap:wrap;justify-content:center;gap:12px;display:flex}.pose-pipeline-array{text-align:center;max-width:100%}.pose-pipeline-array strong{color:#d3def0;margin-bottom:7px;font-size:12px;font-weight:400;display:block}.pose-pipeline-matrix{border-left:2px solid #91a6c4;border-right:2px solid #91a6c4;border-radius:5px;padding:3px;font:14px ui-monospace,monospace;display:inline-block}.pose-pipeline-matrix>div{animation:.45s both pose-value-in;display:flex}.pose-pipeline-matrix span{min-width:54px;padding:3px}.pose-pipeline-matrix [data-kind=position]{color:#63b3ff}.pose-pipeline-matrix [data-kind=rotation]{color:#ff8e9e}.pose-pipeline-matrix [data-kind=constant]{color:#9aacc7}.pose-pipeline-arrow{color:#ffde7a;font-size:25px;animation:.5s both pose-value-in}.pose-pipeline-explanation{border-top:1px solid #344660;padding:18px 24px}.pose-pipeline-latex{color:#ffde7a;padding:4px 0;overflow-x:auto}.pose-pipeline-latex .katex-display{margin:8px 0}.pose-pipeline-latex .katex{font-size:1.05em}.pose-pipeline-coordinate-product{border-top:1px solid #344660;margin:16px 0;padding-top:10px;animation:.6s both pose-value-in}.article-body .pose-pipeline-coordinate-product>p{color:#bac9df;font-size:13px}.pose-pipeline-numerical{color:#eef4ff}.pose-pipeline-numerical .katex{font-size:.78em}.article-body .pose-pipeline-explanation p{color:#edf3ff;margin:12px 0 0;font-size:16px}.article-body .pose-pipeline-note{color:#bac9df;margin:0;padding:0 24px 18px;font-size:12px;line-height:1.8}@keyframes pose-value-in{0%{opacity:0;transform:translateY(-8px)}to{opacity:1;transform:translateY(0)}}@media (width<=650px){.pose-pipeline-body{grid-template-columns:1fr}.pose-pipeline-scene{max-width:340px;margin:auto;position:static}.pose-pipeline-matrix span{min-width:49px}}@media (prefers-reduced-motion:reduce){.pose-pipeline-matrix>div,.pose-pipeline-arrow{animation:none}}.pose-pipeline-source:has(>.pose+.pose) .pose-pipeline-matrix{font-size:12px}.pose-pipeline-source:has(>.pose+.pose) .pose-pipeline-matrix span{min-width:36px}.pose-story-flow{grid-template-columns:repeat(6,minmax(0,1fr));gap:18px;margin:22px 24px 0;padding:0;list-style:none;display:grid}.article-body .pose-story-flow li{text-align:center;color:#a4b5ce;border-bottom:2px solid #405570;margin:0;padding:12px 4px;font-size:13px;line-height:1.4;position:relative}.pose-story-flow li small{margin-top:5px;font-size:11px;display:block}.pose-story-flow li:not(:last-child):after{content:"→";color:#728ba9;position:absolute;top:15px;right:-16px}.pose-story-flow li[data-current=true]{color:#ffde7a;background:#20324a;border-color:#ffde7a}.pose-story-flow li[data-done=true]{color:#d8e6fa;border-color:#6f9bc8}.pose-story-flow li[data-sending=true]:after{color:#ffde7a;animation:1s infinite pose-flow-pulse}.pose-packing-stage{padding:16px 24px}.pose-packing{width:100%;display:block}.pose-packing text{font-family:ui-monospace,monospace;font-size:13px}.pose-packing text[font-size="20"]{font-size:20px}.pose-packing text[font-size="18"]{font-size:18px}@keyframes pose-flow-pulse{0%,to{opacity:.35;transform:translate(-2px)}50%{opacity:1;transform:translate(2px)}}@media (width<=650px){.pose-story-flow{grid-template-columns:repeat(3,minmax(0,1fr))}.pose-story-flow li:nth-child(3):after{content:""}.pose-packing-stage{padding:14px 8px}}@media (prefers-reduced-motion:reduce){.pose-story-flow li[data-sending=true]:after{animation:none}}.pose-pipeline-explanation{grid-template-rows:100px 180px minmax(100px,auto);display:grid}.pose-pipeline-explanation>.pose-pipeline-latex{grid-row:1;align-self:center}.pose-pipeline-explanation>.pose-pipeline-coordinate-product{grid-row:2;margin:0;animation:none}.pose-pipeline-explanation>p{grid-row:3}.pose-continuous{min-height:220px}.pose-pipeline-coordinate-product,.pose-pipeline-latex{scrollbar-width:thin}.pose-pipeline-explanation{grid-template-rows:100px 190px 180px}.pose-pipeline-explanation>.pose-pipeline-coordinate-product{min-height:0;overflow:auto}@media (width<=650px){.pose-pipeline-explanation{grid-template-rows:110px 200px 300px}}.pose-pipeline-transport button:disabled{opacity:.55;cursor:default}.pose-continuous text[font-size="20"]{font-variant-numeric:tabular-nums;font-size:18px}.nullspace-demo{color:#253540;background:#fff;border:1px solid #d8e0e6;border-radius:12px;margin:2rem 0;padding:1.1rem}.nullspace-heading{flex-wrap:wrap;justify-content:space-between;gap:.4rem 1rem;font-size:1rem;display:flex}.nullspace-heading span{color:#586875;font-size:.8rem}.nullspace-demo svg{width:100%;height:auto;display:block;overflow:hidden}.nullspace-demo svg text{font:16px system-ui,sans-serif}.nullspace-formula{justify-content:safe center;align-items:center;min-height:100px;font-size:.95rem;display:flex;overflow-x:auto}.nullspace-demo figcaption{color:#374953;min-height:5.5em;margin:.7rem 0;font-size:.95rem;line-height:1.6}.nullspace-controls{border-top:1px solid #e1e6ea;flex-wrap:wrap;gap:.6rem;padding-top:.7rem;display:flex}.nullspace-controls button{color:#253540;font:inherit;cursor:pointer;background:#f7f9fb;border:1px solid #bac7cf;border-radius:6px;padding:.5rem .85rem;font-size:.85rem}.nullspace-controls button:disabled{opacity:.45;cursor:default}.nullspace-controls button:focus-visible{outline-offset:3px;outline:2px solid #2863b2}@media (width<=560px){.nullspace-demo{padding:.65rem}.nullspace-formula{font-size:.72rem}.nullspace-demo figcaption{min-height:8em}}.wbc-task-snapshot .wbc-mesh-scene{height:380px}.wbc-task-snapshot figcaption{color:#455760;font-size:.9rem;line-height:1.6}.wbc-task-metrics{border-top:1px solid #dce3e8;grid-template-columns:repeat(3,1fr);gap:.8rem;padding:.8rem 0;display:grid}.wbc-task-metrics span{color:#4c606b;font-size:.8rem}.wbc-task-metrics strong{color:#253540;margin-top:.3rem;font-size:1rem;display:block}.wbc-hqp-levels{grid-template-columns:repeat(3,1fr);gap:.7rem;padding:2rem 0;display:grid}.wbc-hqp-levels>div{color:#374953;border:1px solid #d4dde3;border-radius:8px;flex-direction:column;gap:1rem;padding:1rem;display:flex}.wbc-hqp-levels>div.active{opacity:1;background:#f0f6fc;border:2px solid #2863b2}.wbc-hqp-levels span{font-size:.85rem}@media (width<=560px){.wbc-task-metrics,.wbc-hqp-levels{grid-template-columns:1fr}.wbc-hqp-levels{gap:.4rem;padding:1rem 0}.wbc-hqp-levels>div{gap:.4rem;padding:.7rem}}.wbc-task-comparison .nullspace-formula .katex-display{flex-shrink:0;padding:6px;overflow:visible}.wbc-svd-metrics{grid-template-columns:repeat(2,1fr)}.wbc-svd-demo svg text{font-size:14px}@media (width<=560px){.wbc-svd-metrics{grid-template-columns:1fr}}.wbc-nullspace-space{width:100%;height:420px;position:relative}.wbc-nullspace-space canvas{touch-action:pan-y;width:100%;height:100%;display:block}.wbc-nullspace-space>span{text-align:center;color:#455760;position:absolute;inset:40% 1rem auto}.wbc-space-heading{border-top:1px solid #dae2e7;flex-wrap:wrap;justify-content:space-between;gap:.5rem;padding-top:1rem;display:flex}.wbc-space-heading span,.wbc-space-note{color:#455760;font-size:.8rem}.wbc-space-legend{flex-wrap:wrap;gap:.5rem 1.2rem;font-size:.8rem;display:flex}.wbc-space-legend span:first-child{color:#96540f}.wbc-space-legend span:nth-child(2){color:#16735e}.wbc-space-legend span:nth-child(3){color:#2863b2}.wbc-space-legend span:nth-child(4){color:#b74350}@media (width<=560px){.wbc-nullspace-space{height:340px}}.wbc-toy-controls{z-index:3;background:#fff;border-bottom:1px solid #dae2e7;padding:.6rem 0;position:sticky;top:0}.wbc-nullspace-surface{width:100%;height:100%}.wbc-primary-secondary{grid-template-columns:repeat(2,1fr);gap:.8rem;margin:1rem 0;display:grid}.wbc-primary-secondary>div{color:#374953;border:1px solid #d1ded8;border-radius:8px;flex-direction:column;gap:.6rem;padding:.9rem;font-size:.85rem;display:flex}.wbc-primary-secondary>div:first-child{border-left:3px solid #16735e}.wbc-primary-secondary>div:last-child{border-left:3px solid #b56617}@media (width<=560px){.wbc-primary-secondary{grid-template-columns:1fr}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Regular.CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(/_astro/KaTeX_Math-Italic.flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(/_astro/KaTeX_Size1-Regular.Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(/_astro/KaTeX_Size2-Regular.B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{-webkit-clip-path:inset(50%);clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}