@scope (.card-scope) {




*{box-sizing:border-box;min-width:0}:scope{margin:0;background:#f7f6f2;color:#23333d;font:16px/1.7 Project,sans-serif}
header{background:#1d3541;color:white;padding:44px max(20px,calc((100vw - 1060px)/2))}
header a{color:#e0d8b5}h1{font-size:clamp(27px,4vw,46px);line-height:1.2;max-width:950px}
h1,h2,h3,p,li,a,code,dd,td,th,summary{overflow-wrap:anywhere}h2{font-size:24px;margin:32px 0 12px}h3{font-size:18px}
main{max-width:1100px;margin:auto;padding:24px 20px}nav{display:flex;flex-wrap:wrap;gap:12px 22px}
a{color:#235b74;text-underline-offset:3px}a:focus-visible,summary:focus-visible{outline:3px solid #b95f00;outline-offset:4px}
.skip{position:absolute;top:-100px;background:white;padding:12px;z-index:10}.skip:focus{top:0}
.eyebrow{font-size:11px;letter-spacing:.14em}.intro{max-width:900px}.grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,310px),1fr));gap:20px}
.tile,article{background:#fff;border:1px solid #d4dbda;border-radius:6px;padding:22px;margin:18px 0}.tile{margin:0}
.level{border-left:3px solid #b7c4c4;padding-left:18px;margin:26px 0}.meta{font-size:12px;color:#52636b}
details{padding:14px;background:#eeefea;margin:18px 0}summary{cursor:pointer;padding:5px;font-weight:700}
pre,code{font-family:Lean,monospace;font-synthesis:none}pre{white-space:pre-wrap;overflow-wrap:anywhere;word-break:break-word;font-size:13px;line-height:1.8;background:#eef2f3;padding:16px}
.source-line{display:block;white-space:pre-wrap}.source-line:target,.selected{background:#fff0bc}.line-no{display:inline-block;width:3.6em;color:#476877;font-size:11px;text-decoration:none}
table{table-layout:fixed;border-collapse:collapse;width:100%;font-size:13px}th,td{text-align:left;vertical-align:top;padding:10px;border-bottom:1px solid #d5dcd9}
footer{max-width:1100px;margin:40px auto 0;padding:24px 20px;border-top:1px solid #becbca;font-size:12px}
.route-meta{font-size:13px;border-top:1px solid #d5dcda;padding-top:12px;margin-top:16px}
@media(max-width:420px){header{padding:30px 16px}main{padding:18px 16px}.tile,article{padding:16px}.level{padding-left:12px}pre{padding:8px;font-size:12px}}

pre,code{font-family:Lean,Project,monospace;font-synthesis:none}
.preview-notice{background:#fff7dd;border-left:4px solid #b66b15;padding:10px 16px;font-size:13px}[hidden]{display:none!important}.catalog-search{display:flex;flex-wrap:wrap;gap:12px;align-items:center}.catalog-search input{font:inherit;padding:8px;border:1px solid #a5b7b2;max-width:100%}button:focus-visible,input:focus-visible{outline:3px solid #b95f00;outline-offset:3px}

/* Same GNU FreeFont family supplement, restricted to the missing continuum glyph. */


/* Bounded support over adopted LFH Card / Project styles. */
.math.inline{display:inline-block;max-width:100%;vertical-align:middle}
.math.display{display:block;max-width:100%;overflow-x:auto;padding:.55em 0;margin:.4em 0}
.math>mjx-container{margin:0!important;max-width:none}
.math>mjx-container>svg{overflow:visible;max-width:none}
.math.inline>mjx-container>svg{max-width:100%}
.signature{white-space:pre;overflow-x:auto;overflow-wrap:normal;word-break:normal}
.code-guide{margin:0 0 1.2em;padding:0 1em;border-left:3px solid #b7c4c4}
.field>p:first-child{margin-top:0}.field>p:last-child{margin-bottom:0}
.candidate-note{font-size:13px;background:#fff7dd;border-left:4px solid #b66b15;padding:10px 16px;margin:0}
.proof-step{margin:1em 0}.source-links{font-size:13px}.source-line:target{outline:2px solid #b95f00}
@media(max-width:600px){.math.inline{overflow-x:auto;vertical-align:bottom}.math.display{padding-bottom:.8em}}
@media print{
 @page{size:A4;margin:17mm 15mm 17mm 18mm}
 :scope,:scope{background:white!important;font-size:10pt;line-height:1.48;color:#23333d}
 header{background:white!important;color:#1d3541!important;padding:0!important}
 header h1{font-size:21pt;line-height:1.22;margin:8pt 0 12pt}
 main{max-width:none;padding:0!important}article{border:0;padding:0!important;margin:0!important}
 article[data-canonical-card]{display:contents}
 main:has(article[data-canonical-card]){display:contents}
 main[data-project-reader],main[data-project-reader] .level,main[data-project-reader] .grid{display:contents}
 main[data-project-reader] .architecture-grid{display:block}
 main[data-project-reader] .architecture-card{break-inside:avoid;margin:8pt 0}
 main[data-project-reader] .tile{display:inline-block;width:100%;vertical-align:top;border-radius:0!important;box-shadow:none!important;overflow:visible!important;break-inside:avoid-page;page-break-inside:avoid}
 nav,.skip,.back-to-top,.candidate-note,.filters,#focus-bar,#level-jumps,.tile-actions button,.source-links,footer{display:none!important}
 h2{font-size:13pt;margin:13pt 0 6pt;break-after:avoid}h3,h4{break-after:avoid}
 p{orphans:3;widows:3}.math.display{overflow:visible;break-inside:avoid;margin:.25em 0}
 .math.inline{overflow:visible;max-width:none}.math.inline>mjx-container>svg{max-width:none}
 pre.signature{white-space:pre-wrap;overflow:visible;overflow-wrap:anywhere;word-break:break-word;font-size:8pt;line-height:1.5;break-inside:avoid}
 .code-guide{font-size:9pt;break-before:avoid}details{background:white;padding:0;margin:8pt 0}
 .tile{break-inside:avoid}.level{border:0;padding:0}.grid{display:block}.tile{margin:8pt 0;padding:10pt}
 .exact-identity{font-size:7.2pt;line-height:1.35;overflow-wrap:anywhere;break-inside:avoid}.exact-identity p{margin:2pt 0}.eyebrow{font-size:8pt}a{color:inherit;text-decoration:none}
 .history-trace{display:none!important}.signature{break-after:avoid}
 #field-lean_realization_notes{break-inside:avoid;break-after:avoid}
 .math>mjx-container>svg{max-width:100%;height:auto}
}

.n69m0{vertical-align: -0.09ex;}
.n69m1{vertical-align: -0.566ex;}
.n69m2{vertical-align: -0.357ex;}
.n69m3{vertical-align: -0.777ex;}
.n69m4{vertical-align: 0;}
.n69m5{vertical-align: -0.663ex;}
.n69m6{vertical-align: -0.023ex;}
.n69m7{vertical-align: -0.025ex;}
.n69m8{vertical-align: -0.375ex;}
.n69m9{vertical-align: -0.471ex;}
.n69m10{vertical-align: -0.339ex;}
.n69m11{vertical-align: -0.186ex;}
.n69m12{vertical-align: -0.669ex;}
.n69m13{vertical-align: -0.312ex;}
.n69m14{vertical-align: -0.991ex;}
.n69m15{vertical-align: -0.043ex;}
.n69m16{vertical-align: -0.05ex;}
.n69m17{vertical-align: -0.493ex;}
.n69m18{vertical-align: -0.464ex;}
.n69m19{vertical-align: -0.37ex;}
.n69m20{vertical-align: -0.666ex;}
.n69m21{vertical-align: -0.914ex;}
.n69m22{vertical-align: -0.956ex;}
.n69m23{vertical-align: -0.029ex;}
.n69m24{vertical-align: -0.439ex;}
.n69m25{vertical-align: -0.486ex;}
.n69m26{vertical-align: -0.708ex;}
.n69m27{vertical-align: -0.462ex;}
.n69m28{vertical-align: -0.048ex;}
.n69m29{vertical-align: -0.65ex;}
.n69m30{vertical-align: -0.489ex;}
.n69m31{vertical-align: -0.685ex;}
.n69m32{vertical-align: -0.983ex;}
.n69m33{vertical-align: -0.667ex;}
.n69m34{vertical-align: -0.373ex;}
.n69m35{vertical-align: -0.791ex;}
.n69m36{vertical-align: -0.8ex;}
.n69m37{vertical-align: -0.355ex;}
.n69m38{vertical-align: -0.576ex;}
.n69m39{vertical-align: -0.623ex;}
.n69m40{vertical-align: -2.439ex;}
.n69m41{vertical-align: -0.727ex;}
.n69m42{vertical-align: -3.664ex;}
.n69m43{vertical-align: -0.688ex;}
.n69m44{vertical-align: -2.042ex;}
.n69m45{vertical-align: -1.18ex;}
.n69m46{vertical-align: -0.604ex;}
.n69m47{vertical-align: -0.592ex;}
.n69m48{vertical-align: -2.49ex;}
.n69m49{vertical-align: -0.332ex;}
.n69m50{vertical-align: -1.27ex;}
.n69m51{vertical-align: -0.804ex;}
.n69m52{vertical-align: -2.532ex;}
.n69m53{vertical-align: -2.355ex;}
.n69m54{vertical-align: -3.043ex;}
.n69m55{vertical-align: -3.995ex;}
.n69m56{vertical-align: -0.605ex;}
.n69m57{vertical-align: -0.972ex;}
.n69m58{vertical-align: -0.109ex;}
.n69m59{vertical-align: -0.799ex;}
.n69m60{vertical-align: -0.867ex;}
.n69m61{vertical-align: -0.898ex;}
.n69m62{vertical-align: -0.71ex;}
.n69m63{vertical-align: 0.079ex;}
.n69m64{vertical-align: -0.589ex;}
.n69m65{vertical-align: -0.416ex;}
.n69m66{vertical-align: -0.865ex;}
.n69m67{vertical-align: -0.662ex;}
.n69m68{vertical-align: -2.779ex;}
.n69m69{vertical-align: -0.97ex;}
.n69m70{vertical-align: -0.079ex;}
.n69m71{vertical-align: -0.027ex;}
.n69m72{vertical-align: -3.659ex;}
.n69m73{vertical-align: -2.75ex;}
.n69m74{vertical-align: -2.138ex;}
.n69m75{vertical-align: -0.811ex;}
.n69m76{vertical-align: -0.36ex;}
.n69m77{vertical-align: -2.389ex;}
.n69m78{vertical-align: -2.136ex;}
.n69m79{vertical-align: -0.904ex;}
.n69m80{vertical-align: -2.678ex;}
.n69m81{vertical-align: -0.066ex;}
.n69m82{vertical-align: -0.564ex;}
/* Additive layout support for exact accepted review exports; existing site palette and shell remain. */
.lfh188-body .math-svg{display:inline-block;max-width:100%;vertical-align:baseline}.lfh188-body .math-block{display:block;overflow-x:auto;max-width:100%;padding:8px 0;margin:8px 0}.lfh188-body .math-svg>svg,.lfh188-body .math-block>svg{max-width:none}.lfh188-body table{table-layout:fixed;width:100%}.lfh188-body th,.lfh188-body td{width:50%;vertical-align:top}.lfh188-body td code{white-space:pre-wrap;word-break:normal;overflow-wrap:anywhere}.lfh188-body pre{white-space:pre;overflow-x:auto;word-break:normal;overflow-wrap:normal;max-width:100%}.lfh188-body .source-block>pre{font-size:13px}.lfh188-body .source-tail{margin-top:18px}.lfh188-body .source-tail table .math-svg{vertical-align:middle}.source-links{margin-top:24px}.source-lines{overflow-x:auto}.lfh188-body h2{break-after:avoid}
@media print{header{padding:18px 0!important;background:white!important;color:#23333d!important}header a{color:#235b74!important}header nav,.skip,[data-exact-mounted],.exact-site-context{display:none!important}main{padding:0!important;max-width:none!important}.lfh188-body{border:0;padding:0;margin:0}:scope{background:white;font-size:10pt;line-height:1.52}h1{font-size:23pt}h2{font-size:15pt;break-after:avoid}.lfh188-body p{orphans:3;widows:3}.lfh188-body pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:8.5pt;line-height:1.45;padding:8px}.lfh188-body table{font-size:9pt}.lfh188-body tr{break-inside:avoid}.lfh188-body .math-block{overflow:visible}.lfh188-body .math-block>svg{max-width:100%;height:auto}.lfh188-body .math-svg>svg{max-width:100%;height:auto}.exact-identity,.source-links{font-size:8pt}.tile{break-inside:avoid}.filters,#focus-bar,.tile-actions button{display:none!important}details{display:block}footer{margin-top:18px} }
.lfh188s0{--math-depth:0.040000em}
.lfh188s1{vertical-align:-0.040000em;overflow:visible}
.lfh188s2{--math-depth:0.250000em}
.lfh188s3{vertical-align:-0.250000em;overflow:visible}
.lfh188s4{--math-depth:0.157800em}
.lfh188s5{vertical-align:-0.157800em;overflow:visible}
.lfh188s6{--math-depth:0.343400em}
.lfh188s7{vertical-align:-0.343400em;overflow:visible}
.lfh188s8{--math-depth:0.000000em}
.lfh188s9{vertical-align:-0.000000em;overflow:visible}
.lfh188s10{--math-depth:0.293200em}
.lfh188s11{vertical-align:-0.293200em;overflow:visible}
.lfh188s12{--math-depth:0.010000em}
.lfh188s13{vertical-align:-0.010000em;overflow:visible}
.lfh188s14{--math-depth:0.011000em}
.lfh188s15{vertical-align:-0.011000em;overflow:visible}
.lfh188s16{--math-depth:0.165600em}
.lfh188s17{vertical-align:-0.165600em;overflow:visible}
.lfh188s18{--math-depth:0.208000em}
.lfh188s19{vertical-align:-0.208000em;overflow:visible}
.lfh188s20{--math-depth:0.150000em}
.lfh188s21{vertical-align:-0.150000em;overflow:visible}
.lfh188s22{width: 50%}
.lfh188s23{--math-depth:0.138000em}
.lfh188s24{vertical-align:-0.138000em;overflow:visible}
.lfh188s25{--math-depth:0.082000em}
.lfh188s26{vertical-align:-0.082000em;overflow:visible}
.lfh188s27{--math-depth:-0.035000em}
.lfh188s28{vertical-align:0.035000em;overflow:visible}
.lfh188s29{--math-depth:0.022000em}
.lfh188s30{vertical-align:-0.022000em;overflow:visible}
.lfh188s31{--math-depth:0.205000em}
.lfh188s32{vertical-align:-0.205000em;overflow:visible}
.lfh188s33{--math-depth:0.438100em}
.lfh188s34{vertical-align:-0.438100em;overflow:visible}
.lfh188s35{--math-depth:0.287200em}
.lfh188s36{vertical-align:-0.287200em;overflow:visible}
.lfh188s37{--math-depth:0.216000em}
.lfh188s38{vertical-align:-0.216000em;overflow:visible}
.lfh188s39{--math-depth:0.302700em}
.lfh188s40{vertical-align:-0.302700em;overflow:visible}
.lfh188s41{--math-depth:0.312900em}
.lfh188s42{vertical-align:-0.312900em;overflow:visible}
.lfh188s43{--math-depth:0.434500em}
.lfh188s44{vertical-align:-0.434500em;overflow:visible}
.lfh188s45{--math-depth:0.295000em}
.lfh188s46{vertical-align:-0.295000em;overflow:visible}
.lfh188s47{--math-depth:0.194000em}
.lfh188s48{vertical-align:-0.194000em;overflow:visible}
.lfh188s49{--math-depth:0.021000em}
.lfh188s50{vertical-align:-0.021000em;overflow:visible}
.lfh188s51{--math-depth:1.422500em}
.lfh188s52{vertical-align:-1.422500em;overflow:visible}
.lfh188s53{--math-depth:0.949500em}
.lfh188s54{vertical-align:-0.949500em;overflow:visible}
.lfh188s55{--math-depth:0.294200em}
.lfh188s56{vertical-align:-0.294200em;overflow:visible}
.lfh188s57{--math-depth:0.242800em}
.lfh188s58{vertical-align:-0.242800em;overflow:visible}
.lfh188s59{--math-depth:1.332200em}
.lfh188s60{vertical-align:-1.332200em;overflow:visible}
.lfh188s61{--math-depth:0.204000em}
.lfh188s62{vertical-align:-0.204000em;overflow:visible}
.lfh188s63{--math-depth:0.048000em}
.lfh188s64{vertical-align:-0.048000em;overflow:visible}
.lfh188s65{--math-depth:0.218000em}
.lfh188s66{vertical-align:-0.218000em;overflow:visible}
.lfh188s67{--math-depth:0.429600em}
.lfh188s68{vertical-align:-0.429600em;overflow:visible}
.lfh188s69{--math-depth:0.403900em}
.lfh188s70{vertical-align:-0.403900em;overflow:visible}
.lfh188s71{--math-depth:0.183900em}
.lfh188s72{vertical-align:-0.183900em;overflow:visible}
.lfh188s73{--math-depth:0.304100em}
.lfh188s74{vertical-align:-0.304100em;overflow:visible}
.lfh188s75{--math-depth:0.215000em}
.lfh188s76{vertical-align:-0.215000em;overflow:visible}
.lfh188s77{--math-depth:0.353500em}
.lfh188s78{vertical-align:-0.353500em;overflow:visible}
.lfh188s79{--math-depth:0.019000em}
.lfh188s80{vertical-align:-0.019000em;overflow:visible}
.lfh188s81{--math-depth:0.013000em}
.lfh188s82{vertical-align:-0.013000em;overflow:visible}
.lfh188s83{--math-depth:0.159200em}
.lfh188s84{vertical-align:-0.159200em;overflow:visible}
.lfh188s85{--math-depth:0.293100em}
.lfh188s86{vertical-align:-0.293100em;overflow:visible}
.lfh188s87{--math-depth:0.353100em}
.lfh188s88{vertical-align:-0.353100em;overflow:visible}
.lfh188s89{--math-depth:0.383300em}
.lfh188s90{vertical-align:-0.383300em;overflow:visible}
.lfh188s91{--math-depth:0.396800em}
.lfh188s92{vertical-align:-0.396800em;overflow:visible}
.lfh188s93{--math-depth:0.313600em}
.lfh188s94{vertical-align:-0.313600em;overflow:visible}
.lfh188s95{--math-depth:0.292600em}
.lfh188s96{vertical-align:-0.292600em;overflow:visible}
.lfh188s97{--math-depth:0.035000em}
.lfh188s98{vertical-align:-0.035000em;overflow:visible}
.lfh188s99{--math-depth:0.267100em}
.lfh188s100{vertical-align:-0.267100em;overflow:visible}
.lfh188s101{--math-depth:0.382400em}
.lfh188s102{vertical-align:-0.382400em;overflow:visible}
.lfh188s103{--math-depth:0.012000em}
.lfh188s104{vertical-align:-0.012000em;overflow:visible}
.lfh188s105{--math-depth:0.254800em}
.lfh188s106{vertical-align:-0.254800em;overflow:visible}
.lfh188s107{--math-depth:1.078200em}
.lfh188s108{vertical-align:-1.078200em;overflow:visible}
.lfh188s109{--math-depth:0.321200em}
.lfh188s110{vertical-align:-0.321200em;overflow:visible}
.lfh188s111{--math-depth:1.619300em}
.lfh188s112{vertical-align:-1.619300em;overflow:visible}
.lfh188s113{--math-depth:0.902400em}
.lfh188s114{vertical-align:-0.902400em;overflow:visible}
.lfh188s115{--math-depth:0.521800em}
.lfh188s116{vertical-align:-0.521800em;overflow:visible}
.lfh188s117{--math-depth:0.294900em}
.lfh188s118{vertical-align:-0.294900em;overflow:visible}
.lfh188s119{--math-depth:0.261600em}
.lfh188s120{vertical-align:-0.261600em;overflow:visible}
.lfh188s121{--math-depth:1.100500em}
.lfh188s122{vertical-align:-1.100500em;overflow:visible}
.lfh188s123{--math-depth:0.146700em}
.lfh188s124{vertical-align:-0.146700em;overflow:visible}
.lfh188s125{--math-depth:0.561300em}
.lfh188s126{vertical-align:-0.561300em;overflow:visible}
.lfh188s127{--math-depth:0.355300em}
.lfh188s128{vertical-align:-0.355300em;overflow:visible}
.lfh188s129{--math-depth:1.118900em}
.lfh188s130{vertical-align:-1.118900em;overflow:visible}
.lfh188s131{--math-depth:0.294300em}
.lfh188s132{vertical-align:-0.294300em;overflow:visible}
.lfh188s133{--math-depth:1.041100em}
.lfh188s134{vertical-align:-1.041100em;overflow:visible}
.lfh188s135{--math-depth:1.344900em}
.lfh188s136{vertical-align:-1.344900em;overflow:visible}
.lfh188s137{--math-depth:1.765700em}
.lfh188s138{vertical-align:-1.765700em;overflow:visible}
.lfh188s139{--math-depth:1.765800em}
.lfh188s140{vertical-align:-1.765800em;overflow:visible}
.lfh188s141{--math-depth:0.295700em}
.lfh188s142{vertical-align:-0.295700em;overflow:visible}
.lfh188s143{--math-depth:0.358600em}
.lfh188s144{vertical-align:-0.358600em;overflow:visible}
.lfh188s145{--math-depth:0.157100em}
.lfh188s146{vertical-align:-0.157100em;overflow:visible}
.lfh188s147{--math-depth:0.249500em}
.lfh188s148{vertical-align:-0.249500em;overflow:visible}
.lfh188s149{--math-depth:0.152700em}
.lfh188s150{vertical-align:-0.152700em;overflow:visible}
.lfh188s151{--math-depth:0.029000em}
.lfh188s152{vertical-align:-0.029000em;overflow:visible}
.lfh188s153{--math-depth:0.163400em}
.lfh188s154{vertical-align:-0.163400em;overflow:visible}
.lfh188s155{--math-depth:2.281200em}
.lfh188s156{vertical-align:-2.281200em;overflow:visible}
.lfh188s157{--math-depth:0.304200em}
.lfh188s158{vertical-align:-0.304200em;overflow:visible}
.lfh188s159{--math-depth:0.164900em}
.lfh188s160{vertical-align:-0.164900em;overflow:visible}
.lfh188s161{--math-depth:0.349500em}
.lfh188s162{vertical-align:-0.349500em;overflow:visible}
.lfh188s163{--math-depth:0.343300em}
.lfh188s164{vertical-align:-0.343300em;overflow:visible}
.lfh188s165{--math-depth:0.083000em}
.lfh188s166{vertical-align:-0.083000em;overflow:visible}
.lfh188s167{--math-depth:0.422500em}
.lfh188s168{vertical-align:-0.422500em;overflow:visible}
.lfh188s169{--math-depth:1.800000em}
.lfh188s170{vertical-align:-1.800000em;overflow:visible}
.lfh188s171{--math-depth:0.302800em}
.lfh188s172{vertical-align:-0.302800em;overflow:visible}
.lfh188s173{--math-depth:0.275200em}
.lfh188s174{vertical-align:-0.275200em;overflow:visible}
.lfh188s175{--math-depth:0.278700em}
.lfh188s176{vertical-align:-0.278700em;overflow:visible}
.lfh188s177{--math-depth:1.227700em}
.lfh188s178{vertical-align:-1.227700em;overflow:visible}
.lfh188s179{--math-depth:0.399800em}
.lfh188s180{vertical-align:-0.399800em;overflow:visible}
.lfh188s181{--math-depth:1.183600em}
.lfh188s182{vertical-align:-1.183600em;overflow:visible}
.lfh188s183{--math-depth:0.267400em}
.lfh188s184{vertical-align:-0.267400em;overflow:visible}
.lfh188s185{--math-depth:1.617500em}
.lfh188s186{vertical-align:-1.617500em;overflow:visible}
.lfh188s187{--math-depth:0.260400em}
.lfh188s188{vertical-align:-0.260400em;overflow:visible}
.lfh188s189{--math-depth:1.666300em}
.lfh188s190{vertical-align:-1.666300em;overflow:visible}
.lfh188s191{--math-depth:0.971300em}
.lfh188s192{vertical-align:-0.971300em;overflow:visible}
.lfh188s193{--math-depth:0.960000em}
.lfh188s194{vertical-align:-0.960000em;overflow:visible}
.lfh188s195{--math-depth:1.227000em}
.lfh188s196{vertical-align:-1.227000em;overflow:visible}
.lfh188s197{--math-depth:1.550000em}
.lfh188s198{vertical-align:-1.550000em;overflow:visible}
.lfh188s199{--math-depth:1.056000em}
.lfh188s200{vertical-align:-1.056000em;overflow:visible}
.lfh188s201{--math-depth:0.944300em}
.lfh188s202{vertical-align:-0.944300em;overflow:visible}
.lfh188s203{--math-depth:0.292200em}
.lfh188s204{vertical-align:-0.292200em;overflow:visible}
.lfh188s205{--math-depth:0.759000em}
.lfh188s206{vertical-align:-0.759000em;overflow:visible}
.lfh188s207{--math-depth:1.228200em}
.lfh188s208{vertical-align:-1.228200em;overflow:visible}
.lfh188s209{--math-depth:0.686000em}
.lfh188s210{vertical-align:-0.686000em;overflow:visible}
.lfh188s211{--math-depth:1.616900em}
.lfh188s212{vertical-align:-1.616900em;overflow:visible}
.lfh188s213{--math-depth:1.215500em}
.lfh188s214{vertical-align:-1.215500em;overflow:visible}
.lfh188s215{--math-depth:0.944900em}
.lfh188s216{vertical-align:-0.944900em;overflow:visible}
.lfh188s217{--math-depth:0.438000em}
.lfh188s218{vertical-align:-0.438000em;overflow:visible}
.lfh188s219{--math-depth:0.428600em}
.lfh188s220{vertical-align:-0.428600em;overflow:visible}
.lfh188s221{--math-depth:0.998000em}
.lfh188s222{vertical-align:-0.998000em;overflow:visible}
.lfh188s223{--math-depth:0.353700em}
.lfh188s224{vertical-align:-0.353700em;overflow:visible}
.lfh188s225{--math-depth:0.964000em}
.lfh188s226{vertical-align:-0.964000em;overflow:visible}
.lfh188s227{--math-depth:0.307200em}
.lfh188s228{vertical-align:-0.307200em;overflow:visible}
.lfh188s229{--math-depth:1.327100em}
.lfh188s230{vertical-align:-1.327100em;overflow:visible}
.lfh188s231{--math-depth:1.192200em}
.lfh188s232{vertical-align:-1.192200em;overflow:visible}
.lfh188s233{--math-depth:1.095500em}
.lfh188s234{vertical-align:-1.095500em;overflow:visible}
.lfh188s235{--math-depth:0.384100em}
.lfh188s236{vertical-align:-0.384100em;overflow:visible}
.lfh188s237{--math-depth:1.605700em}
.lfh188s238{vertical-align:-1.605700em;overflow:visible}
.lfh188s239{--math-depth:1.668100em}
.lfh188s240{vertical-align:-1.668100em;overflow:visible}
.lfh188s241{--math-depth:0.020000em}
.lfh188s242{vertical-align:-0.020000em;overflow:visible}
.lfh188s243{--math-depth:0.463900em}
.lfh188s244{vertical-align:-0.463900em;overflow:visible}
.lfh188s245{--math-depth:1.099400em}
.lfh188s246{vertical-align:-1.099400em;overflow:visible}
.lfh188s247{--math-depth:0.289900em}
.lfh188s248{vertical-align:-0.289900em;overflow:visible}
.lfh188s249{--math-depth:0.529100em}
.lfh188s250{vertical-align:-0.529100em;overflow:visible}
.lfh188s251{--math-depth:1.636600em}
.lfh188s252{vertical-align:-1.636600em;overflow:visible}
.lfh188s253{--math-depth:0.305500em}
.lfh188s254{vertical-align:-0.305500em;overflow:visible}
.lfh188s255{--math-depth:0.911900em}
.lfh188s256{vertical-align:-0.911900em;overflow:visible}
.lfh188s257{--math-depth:0.543900em}
.lfh188s258{vertical-align:-0.543900em;overflow:visible}
.lfh188s259{--math-depth:1.246000em}
.lfh188s260{vertical-align:-1.246000em;overflow:visible}
.lfh188s261{--math-depth:4.078800em}
.lfh188s262{vertical-align:-4.078800em;overflow:visible}
.lfh188s263{--math-depth:0.356400em}
.lfh188s264{vertical-align:-0.356400em;overflow:visible}
.lfh188s265{--math-depth:0.391200em}
.lfh188s266{vertical-align:-0.391200em;overflow:visible}
.lfh188s267{--math-depth:1.168100em}
.lfh188s268{vertical-align:-1.168100em;overflow:visible}
.lfh188s269{--math-depth:1.225600em}
.lfh188s270{vertical-align:-1.225600em;overflow:visible}
.lfh188s271{--math-depth:0.221000em}
.lfh188s272{vertical-align:-0.221000em;overflow:visible}
.lfh188s273{--math-depth:0.183800em}
.lfh188s274{vertical-align:-0.183800em;overflow:visible}
.lfh188s275{--math-depth:0.900000em}
.lfh188s276{vertical-align:-0.900000em;overflow:visible}
.lfh188s277{--math-depth:0.999500em}
.lfh188s278{vertical-align:-0.999500em;overflow:visible}
.lfh188s279{--math-depth:0.922100em}
.lfh188s280{vertical-align:-0.922100em;overflow:visible}
.lfh188s281{--math-depth:1.265700em}
.lfh188s282{vertical-align:-1.265700em;overflow:visible}
.lfh188s283{--math-depth:0.384200em}
.lfh188s284{vertical-align:-0.384200em;overflow:visible}
.lfh188s285{--math-depth:2.360400em}
.lfh188s286{vertical-align:-2.360400em;overflow:visible}
.lfh188s287{--math-depth:0.544000em}
.lfh188s288{vertical-align:-0.544000em;overflow:visible}
.lfh188s289{--math-depth:1.721600em}
.lfh188s290{vertical-align:-1.721600em;overflow:visible}
.lfh188s291{--math-depth:0.896400em}
.lfh188s292{vertical-align:-0.896400em;overflow:visible}
.lfh188s293{--math-depth:2.165200em}
.lfh188s294{vertical-align:-2.165200em;overflow:visible}
.lfh188s295{--math-depth:0.032000em}
.lfh188s296{vertical-align:-0.032000em;overflow:visible}
.lfh188s297{--math-depth:0.340900em}
.lfh188s298{vertical-align:-0.340900em;overflow:visible}
.lfh188s299{--math-depth:0.448500em}
.lfh188s300{vertical-align:-0.448500em;overflow:visible}
.lfh188s301{--math-depth:0.360500em}
.lfh188s302{vertical-align:-0.360500em;overflow:visible}
.lfh188s303{--math-depth:5.536000em}
.lfh188s304{vertical-align:-5.536000em;overflow:visible}
.lfh188s305{--math-depth:1.601600em}
.lfh188s306{vertical-align:-1.601600em;overflow:visible}
.lfh188s307{--math-depth:0.861000em}
.lfh188s308{vertical-align:-0.861000em;overflow:visible}
.lfh188s309{--math-depth:0.392600em}
.lfh188s310{vertical-align:-0.392600em;overflow:visible}
.lfh188s311{--math-depth:2.803500em}
.lfh188s312{vertical-align:-2.803500em;overflow:visible}
.lfh188s313{--math-depth:2.778800em}
.lfh188s314{vertical-align:-2.778800em;overflow:visible}
.lfh188s315{--math-depth:1.951100em}
.lfh188s316{vertical-align:-1.951100em;overflow:visible}
.lfh188s317{--math-depth:0.308000em}
.lfh188s318{vertical-align:-0.308000em;overflow:visible}
.lfh188s319{--math-depth:0.309400em}
.lfh188s320{vertical-align:-0.309400em;overflow:visible}
.lfh188s321{--math-depth:0.256100em}
.lfh188s322{vertical-align:-0.256100em;overflow:visible}
.lfh188s323{--math-depth:1.788100em}
.lfh188s324{vertical-align:-1.788100em;overflow:visible}
.lfh188s325{--math-depth:0.287100em}
.lfh188s326{vertical-align:-0.287100em;overflow:visible}
.lfh188s327{--math-depth:0.937200em}
.lfh188s328{vertical-align:-0.937200em;overflow:visible}
.lfh188s329{--math-depth:0.440000em}
.lfh188s330{vertical-align:-0.440000em;overflow:visible}
.lfh188s331{--math-depth:0.323500em}
.lfh188s332{vertical-align:-0.323500em;overflow:visible}
.lfh188s333{--math-depth:0.324900em}
.lfh188s334{vertical-align:-0.324900em;overflow:visible}
.lfh188s335{--math-depth:0.373500em}
.lfh188s336{vertical-align:-0.373500em;overflow:visible}
.lfh188s337{--math-depth:1.265800em}
.lfh188s338{vertical-align:-1.265800em;overflow:visible}
.lfh188s339{--math-depth:0.297800em}
.lfh188s340{vertical-align:-0.297800em;overflow:visible}
.lfh188s341{--math-depth:4.385800em}
.lfh188s342{vertical-align:-4.385800em;overflow:visible}
.lfh188s343{--math-depth:2.024300em}
.lfh188s344{vertical-align:-2.024300em;overflow:visible}
.lfh188s345{--math-depth:1.034900em}
.lfh188s346{vertical-align:-1.034900em;overflow:visible}
.lfh188s347{--math-depth:0.391300em}
.lfh188s348{vertical-align:-0.391300em;overflow:visible}
.lfh188s349{--math-depth:3.634300em}
.lfh188s350{vertical-align:-3.634300em;overflow:visible}
.lfh188s351{--math-depth:1.654300em}
.lfh188s352{vertical-align:-1.654300em;overflow:visible}
.lfh188s353{--math-depth:2.502300em}
.lfh188s354{vertical-align:-2.502300em;overflow:visible}
.lfh188s355{--math-depth:1.587200em}
.lfh188s356{vertical-align:-1.587200em;overflow:visible}
.lfh188s357{--math-depth:1.223500em}
.lfh188s358{vertical-align:-1.223500em;overflow:visible}
.lfh188s359{--math-depth:1.224000em}
.lfh188s360{vertical-align:-1.224000em;overflow:visible}
.lfh188s361{--math-depth:1.249500em}
.lfh188s362{vertical-align:-1.249500em;overflow:visible}
.lfh188s363{--math-depth:0.313100em}
.lfh188s364{vertical-align:-0.313100em;overflow:visible}
.lfh188s365{--math-depth:1.375300em}
.lfh188s366{vertical-align:-1.375300em;overflow:visible}
.lfh188s367{--math-depth:1.325200em}
.lfh188s368{vertical-align:-1.325200em;overflow:visible}
.lfh188s369{--math-depth:1.375400em}
.lfh188s370{vertical-align:-1.375400em;overflow:visible}
.lfh188s371{--math-depth:3.467900em}
.lfh188s372{vertical-align:-3.467900em;overflow:visible}
.lfh188s373{--math-depth:0.437400em}
.lfh188s374{vertical-align:-0.437400em;overflow:visible}
.lfh188s375{--math-depth:1.003100em}
.lfh188s376{vertical-align:-1.003100em;overflow:visible}
.lfh188s377{--math-depth:0.697000em}
.lfh188s378{vertical-align:-0.697000em;overflow:visible}
.lfh188s379{--math-depth:0.228000em}
.lfh188s380{vertical-align:-0.228000em;overflow:visible}
.lfh188s381{--math-depth:0.254000em}
.lfh188s382{vertical-align:-0.254000em;overflow:visible}
.lfh188s383{--math-depth:0.345000em}
.lfh188s384{vertical-align:-0.345000em;overflow:visible}
.lfh188s385{--math-depth:2.157300em}
.lfh188s386{vertical-align:-2.157300em;overflow:visible}
.lfh188s387{--math-depth:1.212700em}
.lfh188s388{vertical-align:-1.212700em;overflow:visible}
.lfh188s389{--math-depth:1.631500em}
.lfh188s390{vertical-align:-1.631500em;overflow:visible}
.lfh188s391{--math-depth:3.613500em}
.lfh188s392{vertical-align:-3.613500em;overflow:visible}
.lfh188s393{--math-depth:1.265200em}
.lfh188s394{vertical-align:-1.265200em;overflow:visible}
.lfh188s395{--math-depth:0.305800em}
.lfh188s396{vertical-align:-0.305800em;overflow:visible}
.lfh188s397{--math-depth:0.708000em}
.lfh188s398{vertical-align:-0.708000em;overflow:visible}
.lfh188s399{--math-depth:1.243800em}
.lfh188s400{vertical-align:-1.243800em;overflow:visible}
.lfh188s401{--math-depth:0.211000em}
.lfh188s402{vertical-align:-0.211000em;overflow:visible}
.lfh188s403{--math-depth:0.985100em}
.lfh188s404{vertical-align:-0.985100em;overflow:visible}
.lfh188s405{--math-depth:0.969000em}
.lfh188s406{vertical-align:-0.969000em;overflow:visible}
.lfh188s407{--math-depth:0.125300em}
.lfh188s408{vertical-align:-0.125300em;overflow:visible}
.lfh188s409{--math-depth:1.245900em}
.lfh188s410{vertical-align:-1.245900em;overflow:visible}
.lfh188s411{--math-depth:1.321600em}
.lfh188s412{vertical-align:-1.321600em;overflow:visible}
.lfh188s413{--math-depth:3.149700em}
.lfh188s414{vertical-align:-3.149700em;overflow:visible}
.lfh188s415{--math-depth:0.953000em}
.lfh188s416{vertical-align:-0.953000em;overflow:visible}
.lfh188s417{--math-depth:0.345900em}
.lfh188s418{vertical-align:-0.345900em;overflow:visible}
.lfh188s419{--math-depth:0.229000em}
.lfh188s420{vertical-align:-0.229000em;overflow:visible}
.lfh188s421{--math-depth:0.005000em}
.lfh188s422{vertical-align:-0.005000em;overflow:visible}
.lfh188s423{--math-depth:0.765500em}
.lfh188s424{vertical-align:-0.765500em;overflow:visible}
.lfh188s425{--math-depth:5.763300em}
.lfh188s426{vertical-align:-5.763300em;overflow:visible}
.lfh188s427{--math-depth:1.643700em}
.lfh188s428{vertical-align:-1.643700em;overflow:visible}
.lfh188s429{--math-depth:1.328600em}
.lfh188s430{vertical-align:-1.328600em;overflow:visible}
.lfh188s431{--math-depth:3.546800em}
.lfh188s432{vertical-align:-3.546800em;overflow:visible}
.lfh188s433{--math-depth:1.073100em}
.lfh188s434{vertical-align:-1.073100em;overflow:visible}
.lfh188s435{--math-depth:3.532200em}
.lfh188s436{vertical-align:-3.532200em;overflow:visible}
.lfh188s437{--math-depth:0.311500em}
.lfh188s438{vertical-align:-0.311500em;overflow:visible}
.lfh188s439{--math-depth:1.745400em}
.lfh188s440{vertical-align:-1.745400em;overflow:visible}
.lfh188s441{--math-depth:0.165500em}
.lfh188s442{vertical-align:-0.165500em;overflow:visible}
.lfh188s443{--math-depth:0.406100em}
.lfh188s444{vertical-align:-0.406100em;overflow:visible}
.lfh188s445{--math-depth:0.358100em}
.lfh188s446{vertical-align:-0.358100em;overflow:visible}
.lfh188s447{--math-depth:0.878600em}
.lfh188s448{vertical-align:-0.878600em;overflow:visible}
.lfh188s449{--math-depth:3.436100em}
.lfh188s450{vertical-align:-3.436100em;overflow:visible}
.lfh188s451{--math-depth:0.200000em}
.lfh188s452{vertical-align:-0.200000em;overflow:visible}
.lfh188s453{--math-depth:0.006000em}
.lfh188s454{vertical-align:-0.006000em;overflow:visible}
.lfh188s455{--math-depth:4.714700em}
.lfh188s456{vertical-align:-4.714700em;overflow:visible}
.lfh188s457{--math-depth:0.310800em}
.lfh188s458{vertical-align:-0.310800em;overflow:visible}
.lfh188s459{--math-depth:1.007900em}
.lfh188s460{vertical-align:-1.007900em;overflow:visible}
.lfh188s461{--math-depth:2.268900em}
.lfh188s462{vertical-align:-2.268900em;overflow:visible}
.lfh188s463{--math-depth:2.708400em}
.lfh188s464{vertical-align:-2.708400em;overflow:visible}
.lfh188s465{--math-depth:1.044500em}
.lfh188s466{vertical-align:-1.044500em;overflow:visible}
.lfh188s467{--math-depth:0.945000em}
.lfh188s468{vertical-align:-0.945000em;overflow:visible}
.lfh188s469{--math-depth:0.028000em}
.lfh188s470{vertical-align:-0.028000em;overflow:visible}
.lfh188s471{--math-depth:0.432900em}
.lfh188s472{vertical-align:-0.432900em;overflow:visible}
.lfh188s473{--math-depth:1.018800em}
.lfh188s474{vertical-align:-1.018800em;overflow:visible}
.lfh188s475{--math-depth:2.178700em}
.lfh188s476{vertical-align:-2.178700em;overflow:visible}
.lfh188s477{--math-depth:0.304700em}
.lfh188s478{vertical-align:-0.304700em;overflow:visible}
.lfh188s479{--math-depth:2.532400em}
.lfh188s480{vertical-align:-2.532400em;overflow:visible}
.lfh188s481{--math-depth:0.478000em}
.lfh188s482{vertical-align:-0.478000em;overflow:visible}
.lfh188s483{--math-depth:2.501500em}
.lfh188s484{vertical-align:-2.501500em;overflow:visible}
.lfh188s485{--math-depth:0.381800em}
.lfh188s486{vertical-align:-0.381800em;overflow:visible}
.lfh188s487{--math-depth:3.451600em}
.lfh188s488{vertical-align:-3.451600em;overflow:visible}
.lfh188s489{--math-depth:0.973200em}
.lfh188s490{vertical-align:-0.973200em;overflow:visible}
.lfh188s491{--math-depth:4.409200em}
.lfh188s492{vertical-align:-4.409200em;overflow:visible}
.lfh188s493{--math-depth:-0.055000em}
.lfh188s494{vertical-align:0.055000em;overflow:visible}
.lfh188s495{--math-depth:2.311800em}
.lfh188s496{vertical-align:-2.311800em;overflow:visible}
.lfh188s497{--math-depth:0.238600em}
.lfh188s498{vertical-align:-0.238600em;overflow:visible}
.lfh188s499{--math-depth:0.843800em}
.lfh188s500{vertical-align:-0.843800em;overflow:visible}
.lfh188s501{--math-depth:0.273300em}
.lfh188s502{vertical-align:-0.273300em;overflow:visible}
.lfh188s503{--math-depth:0.789200em}
.lfh188s504{vertical-align:-0.789200em;overflow:visible}
.lfh188s505{--math-depth:0.164100em}
.lfh188s506{vertical-align:-0.164100em;overflow:visible}
.lfh188s507{--math-depth:4.539600em}
.lfh188s508{vertical-align:-4.539600em;overflow:visible}
.lfh188s509{--math-depth:1.952100em}
.lfh188s510{vertical-align:-1.952100em;overflow:visible}
.lfh188s511{--math-depth:1.091600em}
.lfh188s512{vertical-align:-1.091600em;overflow:visible}
.lfh188s513{--math-depth:1.625700em}
.lfh188s514{vertical-align:-1.625700em;overflow:visible}

.lfh188-body .math-svg{overflow-x:auto;overflow-y:hidden;padding-bottom:2px}
@media print{.lfh188-body .math-svg{overflow:visible;padding:0}}

/* EXACT_LFH_INLINE_BASELINE_SCREEN_R1 */
/* Inline SVG baseline repair; presentation only; print remains unchanged.
 * Match the approved B02_FIX2 baseline model: the scroll wrapper owns the
 * mathematical descent, while its SVG is a block with no extra line strut.
 */
@media screen {
  .lfh188-body .math-svg,
  .lfh188-body .source-tail table .math-svg {
    line-height: 0;
    vertical-align: calc(-1 * var(--math-depth, 0em));
    padding-bottom: 0;
  }
  .lfh188-body .math-svg > svg {
    display: block;
    vertical-align: 0;
  }
}

/* Existing route depth data, expressed externally because inline style is blocked by the unchanged CSP.
 * Values are checked against each unchanged SVG viewBox and height; no zero fallback qualification. */
@media screen {
  .lfh188-body .math-svg[style="--math-depth:0.000000em"] { --math-depth: 0.000000em; }
  .lfh188-body .math-svg[style="--math-depth:0.010000em"] { --math-depth: 0.010000em; }
  .lfh188-body .math-svg[style="--math-depth:0.011000em"] { --math-depth: 0.011000em; }
  .lfh188-body .math-svg[style="--math-depth:0.013000em"] { --math-depth: 0.013000em; }
  .lfh188-body .math-svg[style="--math-depth:0.022000em"] { --math-depth: 0.022000em; }
  .lfh188-body .math-svg[style="--math-depth:0.048000em"] { --math-depth: 0.048000em; }
  .lfh188-body .math-svg[style="--math-depth:0.082000em"] { --math-depth: 0.082000em; }
  .lfh188-body .math-svg[style="--math-depth:0.138000em"] { --math-depth: 0.138000em; }
  .lfh188-body .math-svg[style="--math-depth:0.150000em"] { --math-depth: 0.150000em; }
  .lfh188-body .math-svg[style="--math-depth:0.157800em"] { --math-depth: 0.157800em; }
  .lfh188-body .math-svg[style="--math-depth:0.165600em"] { --math-depth: 0.165600em; }
  .lfh188-body .math-svg[style="--math-depth:0.204000em"] { --math-depth: 0.204000em; }
  .lfh188-body .math-svg[style="--math-depth:0.205000em"] { --math-depth: 0.205000em; }
  .lfh188-body .math-svg[style="--math-depth:0.208000em"] { --math-depth: 0.208000em; }
  .lfh188-body .math-svg[style="--math-depth:0.216000em"] { --math-depth: 0.216000em; }
  .lfh188-body .math-svg[style="--math-depth:0.218000em"] { --math-depth: 0.218000em; }
  .lfh188-body .math-svg[style="--math-depth:0.249500em"] { --math-depth: 0.249500em; }
  .lfh188-body .math-svg[style="--math-depth:0.250000em"] { --math-depth: 0.250000em; }
  .lfh188-body .math-svg[style="--math-depth:0.254800em"] { --math-depth: 0.254800em; }
  .lfh188-body .math-svg[style="--math-depth:0.287200em"] { --math-depth: 0.287200em; }
  .lfh188-body .math-svg[style="--math-depth:0.293100em"] { --math-depth: 0.293100em; }
  .lfh188-body .math-svg[style="--math-depth:0.294200em"] { --math-depth: 0.294200em; }
  .lfh188-body .math-svg[style="--math-depth:0.294300em"] { --math-depth: 0.294300em; }
  .lfh188-body .math-svg[style="--math-depth:0.295000em"] { --math-depth: 0.295000em; }
  .lfh188-body .math-svg[style="--math-depth:0.312900em"] { --math-depth: 0.312900em; }
  .lfh188-body .math-svg[style="--math-depth:0.396800em"] { --math-depth: 0.396800em; }
  .lfh188-body .math-svg[style="--math-depth:0.399800em"] { --math-depth: 0.399800em; }
}

/* The current route reader loads an equal-specificity baseline rule later.
 * Limit this override to the existing inline-depth wrappers; retain reader CSS and CSP. */
@media screen {
  .lfh188-body .math-svg[style^="--math-depth:"] {
    vertical-align: calc(-1 * var(--math-depth, 0em));
  }
  .lfh188-body .math-svg[style^="--math-depth:"] > svg {
    vertical-align: 0;
  }
}

.lfh188-body .math-tagged{display:table;table-layout:fixed;width:100%}.lfh188-body .equation-body{display:table-cell;width:94%;vertical-align:middle;text-align:center}.lfh188-body .equation-body>svg{max-width:100%;height:auto}.lfh188-body .equation-tag{display:table-cell;width:6%;vertical-align:middle;text-align:right}

/* Task-local successor; screen narrow only. Preserve print/Desktop geometry.
   A max-content tag column replaces the insufficient 6% fixed table cell.
   Natural-size equation SVG remains reachable in its focusable local scroll area. */
@media screen and (max-width:600px){
 .review-header a{display:inline-block}
 .lfh188-body .math-tagged{display:grid;grid-template-columns:minmax(0,1fr) max-content;column-gap:.65em;align-items:center;max-width:100%;box-sizing:border-box}
 .lfh188-body .math-tagged>.equation-body{display:block;width:auto;min-width:0;overflow-x:auto;overflow-y:auto;text-align:center}
 .lfh188-body .math-tagged>.equation-body>svg{max-width:none;height:auto}
 .lfh188-body .math-tagged>.equation-tag{display:block;width:auto;white-space:nowrap;text-align:right}
 .lfh188-body .math-tagged>.equation-body:focus-visible{outline:2px solid #52636b;outline-offset:2px}
}

}