:root{font-family:Avenir Next,Helvetica Neue,Arial,sans-serif;color:#172e2b;background:#fff;font-synthesis:none;line-height:1.65;letter-spacing:.004em;--ink: #172e2b;--muted: #52645f;--line: #dfe6e2;--mint: #41958f;--surface: #f3f6f4}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:32px}body{margin:0}a{color:#245f54;text-underline-offset:5px}a:hover{text-decoration-thickness:2px}a:focus-visible,button:focus-visible,input:focus-visible,summary:focus-visible{outline:3px solid #41958f;outline-offset:5px}img{max-width:100%}button{font:inherit;cursor:pointer}button:disabled{cursor:default}[hidden]{display:none!important}.site-shell{max-width:1360px;padding:0 48px;margin:auto}.skip-link{position:absolute;top:12px;left:16px;z-index:30;transform:translateY(-200%);background:#fff;color:#172e2b;padding:12px 20px;border-radius:4px}.skip-link:focus{transform:none}h1,h2,h3{color:var(--ink);font-weight:450;line-height:1.1}h1{font-size:clamp(44px,5.2vw,76px);letter-spacing:-.025em;margin:0 0 32px}h2{font-size:clamp(32px,3.2vw,46px);letter-spacing:-.02em;margin:0 0 28px}h3{font-size:23px;letter-spacing:-.025em;margin:0 0 16px}p{margin:0 0 22px}strong{font-weight:600}.eyebrow,.section-label{color:#55746a;font-size:14px;font-weight:550;letter-spacing:.015em;margin:0 0 24px}.button-link{display:inline-flex;justify-content:center;align-items:center;gap:20px;min-height:50px;padding:13px 24px;border:1px solid #c7d3cd;border-radius:999px;font-size:14px;font-weight:550;line-height:1.5;text-decoration:none;transition:background .2s,color .2s}.button-link.primary{background:#245f54;color:#fff;border-color:#245f54}.button-link.primary:hover{background:#173f37}.button-link.light{background:#fff;color:#173e37;border-color:#fff}.button-link.light:hover{background:#e3efea;border-color:#e3efea}.button-link.outline-light{color:#fff;border-color:#8eafa5}.button-link.outline-light:hover{background:#315e53}.text-link{display:inline-flex;gap:22px;align-items:center;font-size:15px;font-weight:550;text-decoration:none;border-bottom:1px solid #a7bfb5;padding-bottom:5px}.text-link:hover{border-color:currentColor}.content-section{padding:58px 0;border-bottom:1px solid var(--line)}.content-section:last-child{border-bottom:0}.content-section>p{max-width:930px;color:var(--muted);font-size:16px}.content-section>a{font-size:15px}.page-intro{padding:88px 0 48px;max-width:1040px}.page-intro>p:not(.eyebrow){font-size:20px;color:var(--muted);max-width:840px}.page-intro .document-meta{font-size:14px!important}.callout{border-left:2px solid #80a99a;padding:22px 26px;background:#f0f5f2;font-size:14px!important;line-height:1.8;color:#466056!important;margin:30px 0}.callout p:last-child{margin-bottom:0}.page-intro+.content-section{padding-top:25px}.info-grid{display:grid;grid-template-columns:1fr 1fr;gap:32px}.info-card{border:1px solid var(--line);border-radius:4px;background:#fff;padding:32px}.info-card p{font-size:16px;color:var(--muted)}.info-card>p:last-child{margin-bottom:0}.info-card>a{font-size:15px}.table-scroll{overflow-x:auto;max-width:100%;margin:30px 0}table{border-collapse:collapse;width:100%;font-size:14px;text-align:left;line-height:1.7}caption{color:var(--muted);text-align:left;padding-bottom:16px;font-size:14px}th,td{padding:18px 20px;border-bottom:1px solid var(--line);vertical-align:top}thead th{background:#eff4f1;font-size:14px;font-weight:600;color:#47675a}tbody th{min-width:180px;font-weight:550}td{color:var(--muted)}td code,dd code{overflow-wrap:anywhere;word-break:break-word}code{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.83em;background:#edf2ef;padding:.1em .3em;border-radius:2px}.step-list{counter-reset:steps;list-style:none;margin:36px 0;padding:0}.step-list>li{position:relative;padding:0 0 36px 64px;border-left:1px solid #d1dfd5;margin-left:16px}.step-list>li:last-child{border:0;padding-bottom:0}.step-list>li:before{counter-increment:steps;content:counter(steps);display:flex;align-items:center;justify-content:center;background:#eaf2ed;color:#397b69;width:33px;height:33px;border-radius:50%;position:absolute;left:-17px;top:-2px;font-size:14px;font-weight:550}.step-list p{font-size:16px;color:var(--muted);max-width:820px}.step-list h3{font-size:22px}.identifier{font-family:ui-monospace,monospace;font-size:14px;overflow-wrap:anywhere;word-break:break-word}.snapshot-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:28px;margin:30px 0}.snapshot-item{border-top:1px solid #aac4b7;padding-top:22px}.snapshot-item strong{font-size:18px;display:block}.snapshot-item span{display:block;color:var(--muted);font-size:14px;margin-top:8px}.evidence-list{padding-left:22px;font-size:16px;line-height:1.8}.evidence-list li{margin-bottom:20px}.evidence-list small{display:block;color:var(--muted);font-size:14px}.doc-layout{display:grid;grid-template-columns:215px minmax(0,1fr);gap:64px;align-items:start}.doc-toc{position:sticky;top:32px;padding-top:28px}.doc-toc h2{font-size:15px;letter-spacing:0;margin-bottom:22px;font-weight:550}.doc-toc ol{list-style:none;padding:0;margin:0;font-size:14px}.doc-toc li{margin-bottom:16px;line-height:1.5}.doc-toc a{color:#62776b;text-decoration:none}.doc-toc a:hover{color:var(--ink)}.doc-content{min-width:0;padding-top:15px}.doc-content section{padding:30px 0 42px;border-top:1px solid var(--line)}.doc-content h2{font-size:34px;letter-spacing:-.02em}.doc-content h3{font-size:23px;margin-top:32px}.doc-content p,.doc-content li{font-size:16px;line-height:1.85;color:#52645b}.doc-content li{margin-bottom:15px}.doc-content ul,.doc-content ol{padding-left:24px}.doc-content .table-scroll{margin:24px 0}.doc-content table{font-size:14px}.doc-content table th,.doc-content table td{padding:15px}.doc-content pre{white-space:pre-wrap;overflow-wrap:anywhere;padding:24px;background:#eff4f1;border-radius:4px;font-size:14px;line-height:1.8}.doc-content .references li{font-size:14px}.doc-content a{overflow-wrap:anywhere}.site-footer{display:flex;align-items:center;flex-wrap:wrap;gap:28px;border-top:1px solid var(--line);color:#62776b;font-size:14px;padding:34px 0 44px;margin-top:30px}.site-footer>span,.site-footer>.brand{margin-right:auto}.site-footer .brand-logo{width:170px}.site-footer>a:not(.brand){text-decoration:none}.home-page .site-shell{max-width:none;padding:0}.page-width{max-width:1440px;padding:0 64px;margin:0 auto}.home-page .site-header{position:absolute;top:0;left:0;right:0;z-index:5;color:#fff;border:0}.home-page .site-header .site-nav a,.home-page .site-header .network,.home-page .site-header .site-nav a[aria-current]{color:#fff}.cinematic-hero{position:relative;height:min(940px,100svh);min-height:730px;overflow:hidden;isolation:isolate;background:#092c2e;color:#fff}.hero-photograph{position:absolute;z-index:-3;width:100%;height:100%;object-fit:cover;object-position:center;max-width:none}.hero-shade{position:absolute;z-index:-2;inset:0;background:linear-gradient(90deg,#091811b3,#09181157 40%,#0918110a 75%),linear-gradient(180deg,rgb(9 24 17 / .46),transparent 25%,transparent 72%,rgb(9 24 17 / .14))}.hero-content{height:100%;max-width:1600px;margin:auto;padding:172px 64px 96px;display:flex;flex-direction:column}.hero-kicker{font-size:17px;letter-spacing:.005em;margin:0 0 28px}.cinematic-hero h1{color:#fff;font-size:clamp(76px,7.7vw,118px);line-height:1.015;letter-spacing:-.025em;font-weight:450;margin:0 0 48px}.hero-bottom{display:flex;align-items:flex-end;justify-content:space-between;gap:40px;margin-top:auto}.hero-bottom>p{color:#fff;font-size:23px;line-height:1.5;max-width:440px;margin:0}.hero-actions{display:flex;align-items:center;flex-wrap:wrap;gap:26px}.hero-text-link{color:#fff;font-size:14px;font-weight:500;text-decoration:none;padding:13px 0}.hero-text-link span{margin-left:12px}.pause-symbol{display:inline-block;width:10px;height:12px;border-left:3px solid currentColor;border-right:3px solid currentColor}button[aria-pressed=true] .pause-symbol{border:0;width:0;height:0;border-top:6px solid transparent;border-bottom:6px solid transparent;border-left:9px solid currentColor}.preview-line{background:#f0f4f1}.preview-line .page-width{display:flex;align-items:center;gap:14px;min-height:76px}.preview-dot{width:6px;height:6px;border-radius:50%;background:#41958f;flex-shrink:0}.preview-line p{font-size:14px;color:#556c60;margin:0}.preview-line a{font-size:14px;white-space:nowrap;margin-left:auto;text-decoration:none}.preview-line a span{margin-left:14px}.discovery-section{padding-top:116px;padding-bottom:118px}.editorial-split{display:grid;grid-template-columns:1.15fr 1fr;gap:10%}.home-page h2{font-size:clamp(38px,3.9vw,58px);line-height:1.09;letter-spacing:-.025em}.editorial-copy{padding-top:4px}.editorial-copy p,.research-description p{font-size:18px;line-height:1.7;color:var(--muted)}.editorial-copy .text-link{margin-top:8px}.fourier-section{background:#edf3ef;padding:105px 0 64px}.research-heading{display:grid;grid-template-columns:1.15fr 1fr;gap:10%;align-items:end;margin-bottom:54px}.research-heading h2{margin:0}.research-description p{margin-top:0}.signal-experience{border:1px solid #c9d9d0;border-radius:7px;background:#e3ece6;padding:28px 0 20px;overflow:hidden}.signal-toolbar{display:flex;justify-content:space-between;align-items:center;gap:20px;padding:0 30px}.signal-caption{font-size:14px;color:#3b6152}.signal-controls{display:flex;align-items:center;gap:4px;flex-shrink:0}.signal-tab{border:0;background:transparent;color:#5c7666;font-size:14px;padding:10px 16px;border-radius:999px}.signal-tab[aria-pressed=true]{background:#fff;color:#234c3e}.signal-pause{display:flex;justify-content:center;align-items:center;width:36px;height:36px;background:transparent;border:1px solid #b8cdc0;border-radius:50%;margin-left:12px;color:#446c58}.signal-pause:disabled{opacity:.3}.signal-canvas{display:block;width:100%;height:340px}.signal-footer{display:flex;gap:20px;align-items:center;justify-content:space-between;color:#5b7766;font-size:14px;padding:0 30px}.research-footnote{display:flex;justify-content:space-between;align-items:center;gap:50px;padding-top:27px}.research-footnote p{margin:0;color:#5a6f62;font-size:14px;max-width:460px}.research-footnote p:first-child{font-size:14px;max-width:none}.inline-formula{white-space:nowrap;font-family:Georgia,serif;color:#305844;font-size:20px;margin-left:8px}.process-section{padding-top:115px;padding-bottom:110px}.section-topline{display:flex;justify-content:space-between;gap:28px;align-items:center;margin-bottom:34px}.section-topline .section-label{margin:0}.process-steps{display:grid;grid-template-columns:repeat(3,1fr);gap:56px;margin-top:58px}.process-steps article{border-top:1px solid #b9cfc1;padding-top:26px}.process-number{font-size:14px;color:#6b8875;display:block;margin-bottom:36px}.process-steps h3{font-size:25px;line-height:1.2}.process-steps p{color:#637468;font-size:15px;line-height:1.8}.process-network{font-size:14px;color:#34745c;display:block;margin-top:26px}.process-note{margin:42px 0 0;color:#53665a;font-size:14px;line-height:1.8;max-width:940px}.supply-section{background:#183f35;color:#fff;padding:110px 0 112px}.supply-layout{display:grid;grid-template-columns:1.1fr 1fr;gap:12%;align-items:center}.supply-section .section-label{color:#b4cec0}.supply-section h2{color:#fff;font-size:clamp(42px,4.5vw,66px)}.supply-layout>div>p:not(.section-label){color:#c4d6cc;max-width:480px;font-size:17px;line-height:1.7;margin-bottom:32px}.supply-figure{border-left:1px solid #547b67;padding-left:64px}.supply-amount{display:block;font-size:clamp(50px,5.2vw,78px);line-height:1;letter-spacing:-.025em}.supply-unit{display:block;font-size:18px;margin:18px 0 40px;color:#c4d6cc}.supply-figure>p{font-size:15px!important;line-height:1.8!important}.supply-figure>a{color:#fff;font-size:14px;text-underline-offset:6px}.resources-section{display:grid;grid-template-columns:1.1fr 1fr;gap:12%;padding-top:120px;padding-bottom:120px;align-items:center}.resources-section>div>p:not(.section-label){color:#64746a;font-size:17px;max-width:400px}.resource-list>a{padding:28px 0;border-top:1px solid #cedbd2;color:var(--ink);text-decoration:none;display:flex;align-items:center;justify-content:space-between;gap:28px}.resource-list>a:last-child{border-bottom:1px solid #cedbd2}.resource-list strong{font-size:23px;font-weight:450}.resource-list small{display:block;color:#6d7f72;font-size:14px;margin-top:7px}.resource-list>a>span:last-child{font-size:24px;color:#3f7760;transition:transform .2s}.resource-list>a:hover>span:last-child{transform:translate(3px,-3px)}.closing-section{text-align:center;background:#f1f5f2;padding:105px 0 85px}.closing-section h2{font-size:clamp(48px,5.6vw,82px);margin-bottom:30px}.closing-section p:not(.section-label){color:#68786c;font-size:18px}.closing-section .button-link{margin-top:12px}.closing-section .closing-disclosure{font-size:14px!important;line-height:1.8;margin:40px 0 0}.home-footer{display:block;margin:0;border:0;padding:55px 0 28px}.home-footer .page-width{display:grid;grid-template-columns:1fr 1fr;gap:42px}.home-footer .brand-logo{width:188px}.home-footer nav{display:flex;flex-wrap:wrap;justify-content:flex-end;align-content:start;gap:18px 26px}.home-footer nav a{text-decoration:none;font-size:14px}.footer-bottom{grid-column:1 / -1;display:flex;justify-content:space-between;gap:28px;padding-top:28px;border-top:1px solid var(--line);color:#768478;font-size:14px}@media(min-width:1600px){.hero-content{padding-top:190px}}@media(max-width:1100px){.page-width,.hero-content{padding-left:40px;padding-right:40px}.hero-bottom{align-items:flex-start}.hero-actions{flex-direction:column;align-items:flex-start;gap:12px}.editorial-split,.research-heading,.resources-section,.supply-layout{gap:7%}.process-steps{gap:32px}.supply-figure{padding-left:35px}.doc-layout{grid-template-columns:180px minmax(0,1fr);gap:36px}}@media(max-width:700px){html{scroll-behavior:auto}.site-shell{padding:0 24px}.page-width{padding-left:24px;padding-right:24px}h1{font-size:46px}h2{font-size:34px}.page-intro{padding:52px 0 30px}.page-intro>p:not(.eyebrow){font-size:17px}.content-section{padding:38px 0}.content-section>p,.info-card p,.step-list p{font-size:15px}.info-grid,.snapshot-grid{grid-template-columns:1fr}.info-card{padding:24px}.doc-layout{grid-template-columns:1fr;gap:20px}.doc-toc{position:static;padding:24px;background:#f1f5f2}.doc-toc ol{display:grid;grid-template-columns:1fr 1fr;gap:0 16px}.doc-toc li{font-size:14px}.doc-content p,.doc-content li{font-size:15px}.doc-content h2{font-size:30px}.doc-content pre{font-size:14px;padding:18px}th,td{padding:14px}.site-footer{gap:20px;font-size:14px}.site-footer>.brand,.site-footer>span{width:100%}.cinematic-hero{height:850px;height:100svh;min-height:740px;max-height:940px}.hero-content{padding:137px 25px 106px}.hero-kicker{font-size:14px;margin-bottom:25px}.cinematic-hero h1{font-size:clamp(42px,12vw,80px);letter-spacing:-.025em;line-height:1.04}.hero-photograph{object-position:54% center}.hero-shade{background:linear-gradient(90deg,#0016188c,#00161826),linear-gradient(0deg,rgb(0 18 22 / .85),transparent 70%)}.hero-bottom{display:block}.hero-bottom>p{font-size:19px;max-width:360px;margin-bottom:30px}.hero-actions{flex-direction:row;align-items:center;gap:15px 25px}.hero-actions .button-link{min-height:48px;padding:12px 20px;font-size:14px}.hero-text-link{font-size:14px}.preview-line .page-width{padding-top:22px;padding-bottom:22px;align-items:flex-start;gap:12px;flex-wrap:wrap}.preview-dot{margin-top:8px}.preview-line p{flex:1;font-size:14px}.preview-line a{margin-left:18px;font-size:14px;width:100%}.discovery-section{padding-top:70px;padding-bottom:72px}.editorial-split,.research-heading,.resources-section,.supply-layout{grid-template-columns:1fr;gap:26px}.home-page h2{font-size:39px}.editorial-copy p,.research-description p{font-size:16px}.fourier-section{padding-top:70px;padding-bottom:40px}.research-heading{margin-bottom:32px}.signal-toolbar{flex-wrap:wrap;gap:18px;padding:0 18px}.signal-caption{font-size:14px}.signal-experience{padding-top:22px}.signal-controls{gap:0}.signal-tab{padding:9px 14px}.signal-canvas{height:250px}.signal-footer{padding:0 18px;font-size:14px;gap:10px}.research-footnote{display:block;padding-top:22px}.research-footnote p{font-size:14px;margin-bottom:14px}.research-footnote p:first-child{font-size:14px}.inline-formula{font-size:18px;margin-left:0;display:inline-block}.process-section{padding-top:70px;padding-bottom:72px}.section-topline{display:block;margin-bottom:28px}.section-topline .text-link{margin-top:20px;font-size:14px}.process-steps{grid-template-columns:1fr;gap:35px;margin-top:36px}.process-number{margin-bottom:24px}.process-steps h3{font-size:25px}.process-network{margin-top:20px}.process-note{font-size:14px;margin-top:32px}.supply-section{padding-top:72px;padding-bottom:70px}.supply-layout>div>p:not(.section-label){font-size:16px}.supply-figure{margin-top:22px;border:0;border-top:1px solid #547b67;padding:38px 0 0}.supply-amount{font-size:64px}.supply-unit{margin-bottom:26px}.resources-section{padding-top:72px;padding-bottom:72px}.resources-section>div>p:not(.section-label){font-size:16px}.resource-list{margin-top:12px}.resource-list strong{font-size:22px}.resource-list small{font-size:14px}.closing-section{padding-top:70px;padding-bottom:64px}.closing-section h2{font-size:49px}.closing-section p:not(.section-label){font-size:16px}.home-footer{padding-top:40px}.home-footer .page-width{grid-template-columns:1fr;gap:30px}.home-footer nav{justify-content:flex-start;gap:16px 24px}.footer-bottom{grid-column:1;display:block;font-size:14px}.footer-bottom span{display:block;margin-bottom:10px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{transition:none!important}}@media print{@page{size:letter;margin:.7in}.site-shell{max-width:none;padding:0}.site-header,.site-footer,.doc-toc,.skip-link,.button-link,.site-nav{display:none!important}body{background:#fff;color:#152d24}.page-intro{padding:0 0 20px}.page-intro h1{font-size:32px;letter-spacing:-1px}.doc-layout{display:block}.doc-content p,.doc-content li{font-size:10pt;color:#253a30;line-height:1.55}.doc-content section{break-inside:auto}.doc-content h2,.doc-content h3{break-after:avoid}.doc-content table{font-size:8.5pt}a{color:inherit}table{break-inside:auto}tr{break-inside:avoid}code{background:transparent}}.button-link{min-height:52px;padding:13px 25px;gap:24px;font-size:15px;font-weight:500;letter-spacing:.01em}.button-link>span[aria-hidden],.text-link>span[aria-hidden]{font-size:18px;line-height:1;flex-shrink:0}.text-link{min-height:44px;align-items:center;line-height:1.5;letter-spacing:.008em}.eyebrow,.section-label{letter-spacing:.055em;font-size:14px;font-weight:500;line-height:1.5}h1,h2,h3{font-kerning:normal}h1{line-height:1.12}h2{line-height:1.16}.home-page h2{line-height:1.15;letter-spacing:-.025em}.page-intro{padding-top:92px;padding-bottom:54px}.content-section>p{max-width:920px;font-size:17px;line-height:1.85}.doc-content p,.doc-content li{font-size:17px;line-height:1.8}.doc-content .references li{font-size:15px}.doc-toc ol,.doc-content table{font-size:14px}.research-review{font-size:15px!important;line-height:1.75}.home-page .site-header{padding:0 48px}.cinematic-hero{background:#14221a;min-height:780px}.hero-content{padding:158px 64px 98px}.hero-kicker{font-size:17px;letter-spacing:.075em;margin-bottom:24px}.cinematic-hero h1{font-size:clamp(72px,6.8vw,104px);line-height:1.075;letter-spacing:-.025em;margin-bottom:36px}.hero-bottom{display:flex;flex-direction:column;align-items:flex-start;justify-content:flex-end;gap:29px}.hero-bottom>p{font-size:21px;line-height:1.65;max-width:570px}.hero-actions{gap:24px}.hero-text-link{font-size:15px;line-height:1.5;min-height:48px;display:inline-flex;align-items:center}.preview-line .page-width{min-height:88px;gap:16px}.preview-line p,.preview-line a{font-size:14px;line-height:1.7}.editorial-copy .editorial-note{font-size:16px;line-height:1.8}.proof-pair{display:grid;grid-template-columns:1fr 1.1fr;gap:60px;align-items:center;padding:0 0 58px}.proof-introduction p:not(.section-label){font-size:17px;line-height:1.8;color:#52675c;max-width:490px}.proof-introduction .math-block{color:#193e30;font-size:24px;margin:20px 0 27px}.proof-introduction .section-label{margin-bottom:18px}.proof-introduction p.fine-print{font-size:15px}.lean-window{background:#1c3027;color:#e8eee8;border-radius:5px;overflow:hidden}.lean-window-bar{display:flex;justify-content:space-between;gap:18px;padding:21px 28px;border-bottom:1px solid #3d5045;color:#c0cfc3;font-size:14px}.lean-window pre{margin:0;padding:26px 28px;overflow-x:auto;font-size:14px;line-height:1.95;letter-spacing:0}.lean-window code{font:inherit;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;color:inherit;background:transparent;padding:0}.lean-keyword{color:#d2bedb}.lean-comment{color:#b1c6b5}.lean-window>a{display:flex;justify-content:space-between;align-items:center;min-height:56px;padding:16px 28px;color:#e0ece0;border-top:1px solid #3d5045;text-decoration:none;font-size:14px}.lean-window>a:hover{background:#2a4335}.signal-experience{background:#e6eee7;border-color:#c6d5ca;border-radius:5px;padding-top:28px}.signal-tab{font-size:14px;min-height:44px;padding:11px 18px}.signal-tab[aria-pressed=true]{background:#fff}.signal-pause{width:44px;height:44px}.signal-footer{font-size:14px;line-height:1.6;padding-bottom:5px}.research-footnote p,.research-footnote p:first-child{font-size:14px;line-height:1.8}.frontier-section{padding-top:112px;padding-bottom:100px}.frontier-section .research-heading{margin-bottom:44px}.frontier-widget{display:grid;grid-template-columns:minmax(0,1fr) 280px;gap:42px;padding:28px 0 34px;border-top:1px solid #cbd8cf;border-bottom:1px solid #cbd8cf}.frontier-plot{min-width:0}.chart-axis-caption{display:flex;justify-content:space-between;gap:20px;font-size:14px;color:#56695c;padding:0 18px 12px 0}.chart-scroll{overflow-x:auto;scrollbar-width:thin}.frontier-svg{display:block;width:100%;min-width:550px;height:auto}.frontier-svg text{font-family:Avenir Next,Helvetica Neue,Arial,sans-serif;font-size:15px;fill:#4f6256;letter-spacing:.01em}.frontier-svg .tick-value{font-family:KaTeX_Main,Georgia,serif;letter-spacing:0;font-size:17px}.chart-grid{stroke:#dce5df;stroke-width:1}.frontier-line{fill:none;stroke:#3a7060;stroke-width:2}.frontier-dot{fill:#fff;stroke:#3a7060;stroke-width:2}.frontier-dot.selected{fill:#224d3e;stroke-width:4}.chart-entry-controls{display:flex;flex-wrap:wrap;gap:8px;padding:9px 0 0}.chart-entry-controls button{display:inline-flex;align-items:center;gap:7px;border:1px solid transparent;background:transparent;color:#4e6257;font-size:14px;line-height:1.5;padding:10px 12px;min-height:44px;border-radius:4px}.chart-entry-controls button>span{font-size:14px;font-variant-numeric:tabular-nums;color:#536b5c}.chart-entry-controls button[aria-pressed=true]{background:#eaf1eb;color:#193e30;border-color:#b9cdbf}.chart-entry-controls button:hover{border-color:#849f8d}.frontier-details{border-left:1px solid #d4dfd6;padding:13px 0 0 31px}.chart-entry-type{color:#566c5c;font-size:14px;line-height:1.6;margin-bottom:25px}.chart-kappa{color:#244c3b;font-size:21px;margin-bottom:28px}.chart-author{font-size:18px;line-height:1.5;color:#213e2d;margin-bottom:9px}.chart-checked{font-size:14px;color:#53675a;line-height:1.7;margin-bottom:28px}.frontier-detail>a{display:flex;justify-content:space-between;align-items:center;gap:12px;padding:11px 0;font-size:14px;min-height:44px;text-decoration:none;border-bottom:1px solid #d5dfd7}.chart-disclosure{margin-top:24px;font-size:14px;line-height:1.8;color:#52675a;max-width:1030px}.process-steps h3{font-size:26px;line-height:1.25;letter-spacing:-.015em}.process-steps p{font-size:16px;color:#566a5e}.process-network{font-size:14px}.process-note{font-size:14px;line-height:1.8;color:#53665a}.supply-figure>a,.supply-figure>p{font-size:15px}.supply-amount{letter-spacing:-.025em}.resource-list small{font-size:15px;line-height:1.7}.closing-section .closing-disclosure,.footer-bottom{font-size:14px;line-height:1.8}.definition-list{margin:36px 0;max-width:1040px}.definition-list>div{display:grid;grid-template-columns:170px minmax(0,1fr);gap:32px;padding:25px 0;border-top:1px solid #d9e3db}.definition-list dt{font-size:16px;font-weight:550;color:#2d4938}.definition-list dd{margin:0;color:#52665a;font-size:16px;line-height:1.85;overflow-wrap:anywhere}.research-page .math-block{font-size:21px}.research-references{list-style:none;padding:0;margin:34px 0 0;max-width:1100px}.research-references li{display:grid;grid-template-columns:40px minmax(0,1fr);gap:22px;padding:30px 0;border-top:1px solid #d9e3db}.reference-number{font-family:KaTeX_Main,Georgia,serif;font-size:18px}.research-references strong{font-weight:500;font-size:18px;line-height:1.6}.research-references p{margin:14px 0;font-size:16px;line-height:1.8;color:#56695d}.research-references a{font-size:15px}.research-references code{overflow-wrap:anywhere}@media(max-width:1100px){.proof-pair{gap:34px}.frontier-widget{grid-template-columns:minmax(0,1fr) 245px;gap:24px}.frontier-details{padding-left:22px}.chart-kappa{font-size:19px}.lean-window pre{font-size:14px;padding:24px 22px}}@media(max-width:900px){.home-page .site-header{padding:0 28px}.proof-pair{grid-template-columns:1fr;gap:32px}.proof-introduction p:not(.section-label){max-width:680px}.frontier-widget{grid-template-columns:1fr;gap:30px}.frontier-details{border-left:0;border-top:1px solid #d4dfd6;padding:28px 0 0}.frontier-detail{max-width:550px}.chart-entry-type{margin-bottom:16px}.chart-kappa{font-size:24px;margin-bottom:18px}}@media(max-width:700px){.page-intro{padding-top:54px}h1{font-size:45px;line-height:1.14}.home-page h2{font-size:38px;line-height:1.18;letter-spacing:-.02em}.cinematic-hero{min-height:820px;height:100svh;max-height:960px}.hero-content{padding:147px 28px 106px}.cinematic-hero h1{font-size:clamp(48px,12vw,68px);line-height:1.1;letter-spacing:-.025em;margin-bottom:30px}.hero-kicker{font-size:15px;margin-bottom:27px}.hero-photograph{object-position:62% center}.hero-shade{background:linear-gradient(90deg,#091811a6,#09181133),linear-gradient(180deg,rgb(9 24 17 / .35),transparent 28%,transparent 48%,rgb(9 24 17 / .55))}.hero-bottom{gap:25px}.hero-bottom>p{font-size:18px;line-height:1.75}.hero-actions{gap:13px 22px}.hero-actions .button-link{font-size:14px;min-height:50px;padding:12px 22px}.hero-text-link{font-size:14px;min-height:44px}.preview-line p,.preview-line a{font-size:14px}.editorial-copy p,.research-description p{font-size:17px;line-height:1.8}.editorial-copy .editorial-note{font-size:15px}.proof-pair{padding-bottom:38px}.proof-introduction .math-block{font-size:19px}.lean-window-bar{padding:18px 19px;font-size:14px}.lean-window pre{padding:21px 19px;font-size:14px;line-height:2}.lean-window>a{padding:16px 19px;font-size:14px}.signal-toolbar{gap:16px}.signal-caption{font-size:14px}.signal-tab{font-size:14px;padding:10px 15px}.signal-footer{font-size:14px;align-items:flex-start;flex-direction:column;gap:9px}.research-footnote p,.research-footnote p:first-child{font-size:14px}.frontier-section{padding-top:74px;padding-bottom:72px}.chart-axis-caption{font-size:14px;flex-wrap:wrap;gap:10px}.chart-entry-controls{gap:5px}.chart-entry-controls button{padding:11px 10px}.chart-entry-controls button>span{font-size:14px}.chart-disclosure,.process-note,.resource-list small,.closing-section .closing-disclosure,.footer-bottom{font-size:14px}.definition-list>div{grid-template-columns:1fr;gap:10px;padding:22px 0}.definition-list dt{font-weight:600}.research-page .math-block{font-size:18px}.research-references li{gap:12px;grid-template-columns:28px minmax(0,1fr)}.research-references strong{font-size:17px}.research-references p{font-size:16px}}.equation-group{margin:30px 0}.equation-group .math-block{margin:6px 0}.frontier-dot{cursor:pointer}.frontier-svg-compact{display:none}@media(max-width:700px){.frontier-svg-wide{display:none}.frontier-svg-compact{display:block;min-width:0}.frontier-svg-compact text,.frontier-svg-compact .tick-value{font-size:19px}}.home-round-banner{display:grid;grid-template-columns:1.3fr 1fr;gap:55px;align-items:center;padding-top:49px;padding-bottom:49px;border-bottom:1px solid var(--line)}.home-round-banner .section-label{margin-bottom:12px}.home-round-banner h2{font-size:27px;line-height:1.3;letter-spacing:-.015em;margin-bottom:13px}.home-round-banner p:not(.section-label){font-size:15px;color:#54665b;max-width:620px;margin-bottom:0;line-height:1.8}.home-round-banner>div:last-child{justify-self:end}.round-panel{border:1px solid #cddbd0;border-radius:5px;background:#f2f6f1;padding:43px 45px;margin:20px 0 50px}.round-panel h2{font-size:34px;line-height:1.25}.round-panel p:not(.section-label){font-size:16px;line-height:1.8;max-width:820px;color:#526459}.round-panel .fine-print{font-size:14px!important}.round-clock{display:flex;gap:38px;margin:27px 0}.round-clock div{min-width:78px}.round-clock strong{display:block;font-size:51px;font-weight:400;line-height:1.2;font-variant-numeric:tabular-nums;letter-spacing:-.015em}.round-clock span{display:block;margin-top:7px;font-size:14px;color:#536b5b}.round-clock.compact{gap:22px}.round-clock.compact div{min-width:48px}.round-clock.compact strong{font-size:32px}.cadence-grid,.download-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:25px;margin:35px 0}.cadence-grid>div{padding:24px 0;border-top:1px solid #c5d6c9}.cadence-grid strong{font-size:29px;font-weight:450;display:block;margin-bottom:12px}.cadence-grid span{display:block;color:#566b5b;font-size:16px;line-height:1.6}.ledger-score{font-family:KaTeX_Main,Georgia,serif}[data-clary-round-records]{margin:32px 0}[data-clary-round-records] article{border-top:1px solid var(--line);padding:28px 0}.download-grid .info-card{padding:30px;display:flex;flex-direction:column;align-items:flex-start}.download-grid .button-link{margin-top:auto}.download-grid p{font-size:16px;line-height:1.8;margin-bottom:28px}.download-scope{font-size:15px!important}.command-example{padding:24px 26px;background:#eef4ef;overflow-x:auto;font-size:15px;line-height:1.8;border-radius:4px}.command-example code{padding:0;background:transparent;font-size:1em}.checksum-details{margin:30px 0 40px;border-block:1px solid var(--line)}.checksum-details summary{cursor:pointer;padding:21px 0;font-size:16px}.checksum-details p{font-size:15px;line-height:1.8}.architecture-figure{margin:30px 0 38px}.architecture-figure img{display:block;width:100%;height:auto}.architecture-figure figcaption{color:#52675a;font-size:14px;line-height:1.8;margin-top:20px}.tools-section{border-top:1px solid var(--line);padding:48px 0 30px;background:#f7f8f5}.tools-heading{display:flex;align-items:center;justify-content:space-between;gap:24px}.home-page .tools-heading h2{font-size:16px;line-height:1.5;letter-spacing:.025em;margin:0}.tools-row{overflow:hidden;margin:30px auto}.tools-group{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));align-items:center;max-width:1080px;margin:auto;padding:25px 0;gap:64px}.tools-group a{display:flex;align-items:center;justify-content:center;min-width:0;height:68px}.tools-group img{object-fit:contain;height:auto;width:168px;max-width:100%;max-height:38px}.tools-group img[alt=Lean]{width:106px}.tools-arrived .tools-group{animation:tools-arrive 1.2s cubic-bezier(.2,.65,.3,1) both}.tools-note{font-size:14px;color:#586a5d;line-height:1.8}@keyframes tools-arrive{0%{opacity:0;transform:translate(24px)}to{opacity:1;transform:none}}@media(max-width:1000px){.download-grid{grid-template-columns:1fr}.download-grid .info-card{display:block}}@media(max-width:700px){.home-round-banner{grid-template-columns:1fr;gap:24px;padding-top:35px;padding-bottom:35px}.home-round-banner>div:last-child{justify-self:start}.home-round-banner h2{font-size:25px}.round-panel{padding:27px 24px}.round-panel h2{font-size:28px}.round-clock{gap:20px}.round-clock div{min-width:0;flex:1}.round-clock strong{font-size:31px}.round-clock span{font-size:14px}.cadence-grid{grid-template-columns:1fr;gap:6px}.cadence-grid strong{font-size:27px}.download-grid .info-card{padding:27px}.tools-group{padding:15px 0;gap:25px}.tools-group a{height:48px}.tools-group img{max-height:28px}.tools-group img[alt=Lean]{width:76px}.tools-note{font-size:14px}.tools-heading{gap:15px}.home-page .tools-heading h2{font-size:15px}.architecture-figure{overflow-x:auto}.architecture-figure img{min-width:700px}}@media(max-width:360px){.cinematic-hero h1,.page-intro h1{font-size:40px}}@media(prefers-reduced-motion:reduce){.tools-arrived .tools-group{animation:none}}.round-terms{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:22px 35px;padding:26px 0;border-top:1px solid var(--line);margin:25px 0}.round-terms dt{font-size:14px;color:#526459;margin-bottom:8px}.round-terms dd{margin:0;color:#254937;font-size:17px;line-height:1.6;overflow-wrap:anywhere}@media(max-width:700px){.round-terms{grid-template-columns:1fr;gap:22px}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size3-Regular-gV2CO0n9.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2")}.katex{font: 1.21em KaTeX_Main,math,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.19.0"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .katex-base,.katex .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;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .katex-vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .katex-thinbox{display:inline-flex;flex-direction:row;max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .katex-hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.katex-root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .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{display:inline-block;width:.12em}.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 .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.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;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .katex-stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.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{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.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{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}.math{letter-spacing:normal;white-space:nowrap}.math .katex{font-size:1.08em}.math-block{margin:28px 0;overflow-x:auto;overflow-y:hidden;padding:12px 4px;letter-spacing:normal}.math-block .katex{font-size:1.14em}.math-block .katex-display{margin:0;text-align:left}.math-block .katex-display>.katex{text-align:left}.math-block .katex-display>.katex>.katex-html{text-align:left}@media(max-width:700px){.math-block .katex{font-size:1em}}