.engineeringGeometry_page__4I7Oa{--canvas:#050709;--line:rgba(225,241,244,0.15);--line-strong:rgba(225,241,244,0.28);--text:#f3f7f7;--muted:#93a3a8;--cyan:#65dbea;--green:#70e1aa;--amber:#f2b86d;position:relative;min-height:100vh;overflow:clip;background:var(--canvas);color:var(--text)}.engineeringGeometry_backgroundField__ht6Co{position:fixed!important;z-index:0;inset:0;opacity:.42;pointer-events:none}.engineeringGeometry_backgroundVeil__sOl6f{position:fixed;z-index:0;inset:0;background:rgba(5,7,9,.62);pointer-events:none}.engineeringGeometry_shell__bE7L8{width:min(1240px,calc(100% - 64px));margin:0 auto}.engineeringGeometry_footer__nl_4T,.engineeringGeometry_hero__W1xpL,.engineeringGeometry_section__H8jap{position:relative;z-index:1}.engineeringGeometry_hero__W1xpL{padding:136px 0 96px}.engineeringGeometry_backLink__VCgZW{display:inline-flex;align-items:center;gap:8px;margin-bottom:54px;color:#819196;font-size:11px;text-decoration:none}.engineeringGeometry_backLink__VCgZW:hover{color:var(--cyan)}.engineeringGeometry_heroCopy__40HV0{max-width:980px}.engineeringGeometry_sectionLabel__RuE6H{margin:0 0 20px;color:var(--cyan);font-family:IBM Plex Mono,monospace;font-size:10px}.engineeringGeometry_boundaryGrid__RjPZS h2,.engineeringGeometry_heroCopy__40HV0 h1,.engineeringGeometry_sectionHead__mYre4 h2{margin:0;letter-spacing:0}.engineeringGeometry_heroCopy__40HV0 h1{max-width:930px;font-size:68px;font-weight:580;line-height:1.08}.engineeringGeometry_heroCopy__40HV0>p:not(.engineeringGeometry_sectionLabel__RuE6H){max-width:760px;margin:28px 0 0;color:#aab6ba;font-size:16px;line-height:1.9}.engineeringGeometry_metricRail__15Prp{display:grid;margin-top:58px;grid-template-columns:repeat(4,minmax(0,1fr));border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.engineeringGeometry_metricRail__15Prp>div{display:grid;min-height:112px;align-content:center;gap:9px;border-right:1px solid var(--line);padding:20px 24px}.engineeringGeometry_metricRail__15Prp>div:last-child{border-right:0}.engineeringGeometry_metricRail__15Prp strong{color:#f7fbfb;font-family:IBM Plex Mono,monospace;font-size:25px;font-weight:500}.engineeringGeometry_metricRail__15Prp span{color:#7e8f94;font-size:10px}.engineeringGeometry_heroDrawing__jJs4Q{position:relative;height:680px;margin:54px 0 0;overflow:hidden;border:1px solid var(--line-strong);background:#f8f8f5}.engineeringGeometry_drawingCanvas__6lvnM img,.engineeringGeometry_heroDrawing__jJs4Q img{-o-object-fit:contain;object-fit:contain}.engineeringGeometry_heroDrawing__jJs4Q figcaption{position:absolute;right:0;bottom:0;left:0;display:flex;min-height:43px;align-items:center;gap:16px;border-top:1px solid rgba(10,17,20,.16);padding:0 16px;background:rgba(247,247,243,.95);color:#384247;font-size:9px}.engineeringGeometry_heroDrawing__jJs4Q figcaption span{color:#097789;font-family:IBM Plex Mono,monospace}.engineeringGeometry_section__H8jap{border-top:1px solid var(--line);padding:112px 0}.engineeringGeometry_sectionHead__mYre4{display:grid;grid-template-columns:minmax(0,.92fr) minmax(340px,.64fr);gap:96px;margin-bottom:58px;align-items:end}.engineeringGeometry_boundaryGrid__RjPZS h2,.engineeringGeometry_sectionHead__mYre4 h2{max-width:720px;font-size:44px;font-weight:560;line-height:1.18}.engineeringGeometry_boundaryCopy__kd3qD p,.engineeringGeometry_sectionHead__mYre4>p{margin:0;color:#95a5aa;font-size:14px;line-height:1.9}.engineeringGeometry_operationGrid__6ArBN{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));border-top:1px solid var(--line);border-left:1px solid var(--line)}.engineeringGeometry_operationGrid__6ArBN>div{display:grid;min-height:188px;align-content:start;gap:14px;border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:24px}.engineeringGeometry_operationGrid__6ArBN span{color:#596c72;font-family:IBM Plex Mono,monospace;font-size:8px}.engineeringGeometry_operationGrid__6ArBN code{color:var(--cyan);font-family:IBM Plex Mono,monospace;font-size:17px}.engineeringGeometry_operationGrid__6ArBN p{margin:0;color:#88999e;font-size:11px;line-height:1.7}.engineeringGeometry_typeRule__T6puu{display:grid;grid-template-columns:minmax(360px,.94fr) minmax(300px,.7fr);gap:72px;margin-top:48px;align-items:center;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:34px 0}.engineeringGeometry_typeRule__T6puu>div{display:grid;gap:13px}.engineeringGeometry_typeRule__T6puu span{color:#697b81;font-family:IBM Plex Mono,monospace;font-size:8px}.engineeringGeometry_typeRule__T6puu strong{color:#ecf3f3;font-family:IBM Plex Mono,monospace;font-size:15px;font-weight:500}.engineeringGeometry_typeRule__T6puu p{margin:0;color:#819297;font-size:11px;line-height:1.8}.engineeringGeometry_dimensionSection__g3Wp3,.engineeringGeometry_pipelineSection__1AhDo,.engineeringGeometry_resultsSection__W2QGi{background:rgba(4,6,8,.58)}.engineeringGeometry_dimensionShowcase___nbAb{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(330px,.75fr);border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.engineeringGeometry_dimensionCanvas__xiX9x{position:relative;min-height:590px;margin:0;overflow:hidden;border-right:1px solid var(--line);background:#f8f8f5}.engineeringGeometry_dimensionCanvas__xiX9x img{padding:52px;-o-object-fit:contain;object-fit:contain}.engineeringGeometry_dimensionCanvas__xiX9x figcaption{position:absolute;right:0;bottom:0;left:0;min-height:42px;border-top:1px solid rgba(10,17,20,.16);padding:14px 18px;background:rgba(247,247,243,.95);color:#384247;font-family:IBM Plex Mono,monospace;font-size:8px}.engineeringGeometry_dimensionData__aUTko{display:grid;align-content:start}.engineeringGeometry_dimensionData__aUTko>div{display:grid;min-height:92px;grid-template-columns:58px 88px minmax(0,1fr);align-items:center;gap:16px;border-bottom:1px solid var(--line);padding:18px 22px}.engineeringGeometry_dimensionData__aUTko>div>span{color:var(--cyan);font-family:IBM Plex Mono,monospace;font-size:10px}.engineeringGeometry_dimensionData__aUTko>div>strong{color:#eef4f4;font-family:IBM Plex Mono,monospace;font-size:18px;font-weight:500}.engineeringGeometry_dimensionData__aUTko>div>p{display:grid;gap:6px;margin:0;color:#89999e;font-size:9px}.engineeringGeometry_dimensionData__aUTko small{color:#63767c;font-family:IBM Plex Mono,monospace;font-size:8px}.engineeringGeometry_dimensionNote__U_2J2{margin:0;padding:26px 22px;color:#7f9095;font-size:10px;line-height:1.8}.engineeringGeometry_pipeline__iWJrq{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.engineeringGeometry_pipeline__iWJrq>div{position:relative;min-height:204px;border-right:1px solid var(--line);padding:24px 22px}.engineeringGeometry_pipeline__iWJrq>div:last-child{border-right:0}.engineeringGeometry_pipeline__iWJrq>div>span{color:var(--amber);font-family:IBM Plex Mono,monospace;font-size:9px}.engineeringGeometry_pipeline__iWJrq strong{display:block;margin-top:28px;color:#eaf0f1;font-size:13px;font-weight:580}.engineeringGeometry_pipeline__iWJrq p{margin:12px 0 0;color:#75878d;font-size:10px;line-height:1.7}.engineeringGeometry_pipeline__iWJrq svg{position:absolute;z-index:2;top:31px;right:-8px;color:#64777d}.engineeringGeometry_drawingList__QQ4HL{display:grid;gap:70px}.engineeringGeometry_drawingList__QQ4HL figure{margin:0}.engineeringGeometry_drawingCanvas__6lvnM{position:relative;height:690px;border:1px solid var(--line-strong);background:#f8f8f5}.engineeringGeometry_drawingList__QQ4HL figcaption{display:grid;grid-template-columns:90px 220px minmax(0,1fr);align-items:center;gap:16px;border-bottom:1px solid var(--line);padding:19px 2px}.engineeringGeometry_drawingList__QQ4HL figcaption span{color:var(--cyan);font-family:IBM Plex Mono,monospace;font-size:9px}.engineeringGeometry_drawingList__QQ4HL figcaption strong{font-size:12px;font-weight:560}.engineeringGeometry_drawingList__QQ4HL figcaption p{margin:0;color:#7f9095;font-size:10px}.engineeringGeometry_resultTable__CSW_X{border-top:1px solid var(--line)}.engineeringGeometry_resultTable__CSW_X>div{display:grid;min-height:78px;grid-template-columns:minmax(170px,.56fr) minmax(100px,.25fr) minmax(300px,1fr);align-items:center;gap:24px;border-bottom:1px solid var(--line)}.engineeringGeometry_resultTable__CSW_X p,.engineeringGeometry_resultTable__CSW_X span{color:#7f9095;font-size:10px}.engineeringGeometry_resultTable__CSW_X strong{color:var(--green);font-family:IBM Plex Mono,monospace;font-size:17px;font-weight:500}.engineeringGeometry_resultTable__CSW_X p{margin:0;line-height:1.6}.engineeringGeometry_artifactLinks__S0wvZ{display:grid;margin-top:58px;grid-template-columns:repeat(3,minmax(0,1fr));border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.engineeringGeometry_artifactLinks__S0wvZ a{display:grid;min-height:92px;grid-template-columns:26px minmax(0,1fr) 18px;align-items:center;gap:10px;border-right:1px solid var(--line);padding:15px;color:#819298;text-decoration:none}.engineeringGeometry_artifactLinks__S0wvZ a:last-child,.engineeringGeometry_artifactLinks__S0wvZ a:nth-child(3n){border-right:0}.engineeringGeometry_artifactLinks__S0wvZ a:nth-child(-n+3){border-bottom:1px solid var(--line)}.engineeringGeometry_artifactLinks__S0wvZ a:hover{background:rgba(101,219,234,.05);color:var(--cyan)}.engineeringGeometry_artifactLinks__S0wvZ span{display:grid;gap:5px}.engineeringGeometry_artifactLinks__S0wvZ b{color:#dbe5e6;font-size:11px}.engineeringGeometry_artifactLinks__S0wvZ small{color:#6e8187;font-size:8px}.engineeringGeometry_boundaryGrid__RjPZS{display:grid;grid-template-columns:minmax(0,.84fr) minmax(400px,.72fr);gap:110px}.engineeringGeometry_boundaryCopy__kd3qD{display:grid;gap:24px}.engineeringGeometry_footer__nl_4T{border-top:1px solid var(--line)}.engineeringGeometry_footer__nl_4T>div{display:flex;min-height:86px;align-items:center;justify-content:space-between;gap:20px;color:#65787e;font-family:IBM Plex Mono,monospace;font-size:8px}.engineeringGeometry_footer__nl_4T a,.engineeringGeometry_footer__nl_4T span{display:inline-flex;align-items:center;gap:8px}.engineeringGeometry_footer__nl_4T a{color:#829399;text-decoration:none}.engineeringGeometry_footer__nl_4T a:hover{color:var(--cyan)}@media (max-width:980px){.engineeringGeometry_shell__bE7L8{width:min(100% - 34px,820px)}.engineeringGeometry_heroCopy__40HV0 h1{font-size:54px}.engineeringGeometry_drawingCanvas__6lvnM,.engineeringGeometry_heroDrawing__jJs4Q{height:520px}.engineeringGeometry_boundaryGrid__RjPZS,.engineeringGeometry_dimensionShowcase___nbAb,.engineeringGeometry_sectionHead__mYre4,.engineeringGeometry_typeRule__T6puu{grid-template-columns:minmax(0,1fr);gap:28px}.engineeringGeometry_dimensionShowcase___nbAb{gap:0}.engineeringGeometry_dimensionCanvas__xiX9x{min-height:500px;border-right:0;border-bottom:1px solid var(--line)}.engineeringGeometry_operationGrid__6ArBN,.engineeringGeometry_pipeline__iWJrq{grid-template-columns:repeat(2,minmax(0,1fr))}.engineeringGeometry_pipeline__iWJrq>div:nth-child(2n){border-right:0}.engineeringGeometry_pipeline__iWJrq>div:nth-child(-n+4){border-bottom:1px solid var(--line)}.engineeringGeometry_artifactLinks__S0wvZ{grid-template-columns:repeat(3,minmax(0,1fr))}.engineeringGeometry_artifactLinks__S0wvZ a:nth-child(-n+3){border-bottom:1px solid var(--line)}}@media (max-width:640px){.engineeringGeometry_shell__bE7L8{width:calc(100% - 24px)}.engineeringGeometry_hero__W1xpL{padding:104px 0 74px}.engineeringGeometry_backLink__VCgZW{margin-bottom:36px}.engineeringGeometry_heroCopy__40HV0 h1{font-size:38px;line-height:1.16}.engineeringGeometry_heroCopy__40HV0>p:not(.engineeringGeometry_sectionLabel__RuE6H){font-size:14px}.engineeringGeometry_metricRail__15Prp{grid-template-columns:repeat(2,minmax(0,1fr));margin-top:42px}.engineeringGeometry_metricRail__15Prp>div:nth-child(2){border-right:0}.engineeringGeometry_metricRail__15Prp>div:nth-child(-n+2){border-bottom:1px solid var(--line)}.engineeringGeometry_metricRail__15Prp>div{min-height:94px;padding:15px}.engineeringGeometry_metricRail__15Prp strong{font-size:20px}.engineeringGeometry_drawingCanvas__6lvnM,.engineeringGeometry_heroDrawing__jJs4Q{height:330px}.engineeringGeometry_dimensionCanvas__xiX9x{min-height:360px}.engineeringGeometry_dimensionCanvas__xiX9x img{padding:28px}.engineeringGeometry_dimensionData__aUTko>div{grid-template-columns:46px 76px minmax(0,1fr);gap:10px;padding:15px 12px}.engineeringGeometry_heroDrawing__jJs4Q figcaption{position:static;min-height:54px;line-height:1.5}.engineeringGeometry_section__H8jap{padding:78px 0}.engineeringGeometry_sectionHead__mYre4{margin-bottom:38px}.engineeringGeometry_boundaryGrid__RjPZS h2,.engineeringGeometry_sectionHead__mYre4 h2{font-size:33px}.engineeringGeometry_boundaryCopy__kd3qD p,.engineeringGeometry_sectionHead__mYre4>p{font-size:12px}.engineeringGeometry_artifactLinks__S0wvZ,.engineeringGeometry_operationGrid__6ArBN,.engineeringGeometry_pipeline__iWJrq{grid-template-columns:minmax(0,1fr)}.engineeringGeometry_operationGrid__6ArBN>div{min-height:142px}.engineeringGeometry_pipeline__iWJrq>div,.engineeringGeometry_pipeline__iWJrq>div:nth-child(2n){min-height:156px;border-right:0;border-bottom:1px solid var(--line)}.engineeringGeometry_pipeline__iWJrq>div:last-child{border-bottom:0}.engineeringGeometry_pipeline__iWJrq svg{top:auto;right:20px;bottom:-8px;transform:rotate(90deg)}.engineeringGeometry_drawingList__QQ4HL{gap:46px}.engineeringGeometry_drawingList__QQ4HL figcaption{grid-template-columns:76px minmax(0,1fr);gap:8px}.engineeringGeometry_drawingList__QQ4HL figcaption p{grid-column:1/-1}.engineeringGeometry_resultTable__CSW_X>div{grid-template-columns:minmax(0,1fr) auto;gap:7px 18px;padding:16px 0}.engineeringGeometry_resultTable__CSW_X p{grid-column:1/-1}.engineeringGeometry_artifactLinks__S0wvZ a,.engineeringGeometry_artifactLinks__S0wvZ a:nth-child(2){border-right:0;border-bottom:1px solid var(--line)}.engineeringGeometry_artifactLinks__S0wvZ a:last-child{border-bottom:0}.engineeringGeometry_footer__nl_4T>div{min-height:106px;align-items:flex-start;flex-direction:column;justify-content:center}}@media (prefers-reduced-motion:reduce){.engineeringGeometry_backgroundField__ht6Co{display:none}}.labNotchNav_header__T3p4C{position:fixed;z-index:90;top:0;left:50%;width:min(940px,calc(100% - 28px));height:88px;transform:translateX(-50%);pointer-events:none}.labNotchNav_notch__bHGwR{--glass-x:50%;--glass-y:0px;position:relative;display:flex;width:184px;height:44px;margin:0 auto;overflow:hidden;align-items:center;gap:10px;border:1px solid rgba(236,248,250,.22);border-top-color:rgba(255,255,255,.34);border-radius:0 0 19px 19px;padding:0 11px;background:linear-gradient(116deg,rgba(255,255,255,.13),rgba(255,255,255,.025) 34%,rgba(100,217,232,.035) 66%,rgba(255,255,255,.08)),rgba(8,11,14,.42);box-shadow:inset 0 1px 0 rgba(255,255,255,.2),inset 0 -1px 0 rgba(255,255,255,.07),0 20px 70px rgba(0,0,0,.48),0 0 48px rgba(65,206,224,.055);backdrop-filter:blur(30px) saturate(185%) contrast(106%);transition:width .46s cubic-bezier(.16,1,.3,1),height .46s cubic-bezier(.16,1,.3,1),opacity .18s ease,transform .46s cubic-bezier(.16,1,.3,1),border-radius .36s ease,background .3s ease,box-shadow .3s ease;pointer-events:auto;isolation:isolate}.labNotchNav_header__T3p4C[data-expanded=false] .labNotchNav_notch__bHGwR{opacity:.96;transform:translateY(0) scaleX(1);pointer-events:auto}.labNotchNav_header__T3p4C[data-expanded=true] .labNotchNav_notch__bHGwR{width:min(920px,100%);height:66px;gap:14px;padding:0 16px;opacity:1;transform:translateY(0) scaleX(1);background:linear-gradient(112deg,rgba(255,255,255,.16),rgba(255,255,255,.035) 28%,rgba(86,213,230,.045) 68%,rgba(255,255,255,.11)),rgba(8,11,14,.36);box-shadow:inset 0 1px 0 rgba(255,255,255,.25),inset 0 -1px 0 rgba(255,255,255,.09),0 28px 88px rgba(0,0,0,.52),0 0 70px rgba(65,206,224,.075)}.labNotchNav_notch__bHGwR:after,.labNotchNav_notch__bHGwR:before{position:absolute;content:"";pointer-events:none}.labNotchNav_notch__bHGwR:before{z-index:-1;inset:0;background:radial-gradient(220px 90px at var(--glass-x) var(--glass-y),rgba(255,255,255,.22),transparent 68%),linear-gradient(90deg,transparent 8%,rgba(255,255,255,.045) 50%,transparent 92%);opacity:.78}.labNotchNav_notch__bHGwR:after{z-index:-1;right:34px;bottom:-42px;left:34px;height:52px;border-radius:50%;background:rgba(102,225,238,.12);filter:blur(28px)}.labNotchNav_specular__Fa0dw{position:absolute;top:1px;right:22px;left:22px;height:1px;background:linear-gradient(90deg,transparent,rgba(255,255,255,.72),transparent);opacity:.45;pointer-events:none}.labNotchNav_brand__wCBG5{display:inline-flex;flex:0 0 auto;align-items:center;gap:9px;color:#f5f7f6;text-decoration:none}.labNotchNav_navToggle__PspfH{display:none;width:36px;height:36px;flex:none;place-items:center;border:0;border-radius:50%;background:rgba(255,255,255,.07);color:#edf2f3;cursor:pointer}.labNotchNav_mark__0Ce3g{display:grid;width:30px;height:30px;overflow:hidden;place-items:center;border:1px solid rgba(231,247,250,.25);border-radius:7px;background:rgba(4,8,10,.38);box-shadow:inset 0 1px rgba(255,255,255,.08),0 5px 18px rgba(0,0,0,.28)}.labNotchNav_mark__0Ce3g img{display:block;width:100%;height:100%}.labNotchNav_brandName__LnBRY{font-size:13px;font-weight:700;letter-spacing:0}.labNotchNav_model__6mja4{display:grid;width:18px;height:18px;place-items:center;border:1px solid rgba(222,238,242,.2);border-radius:50%;color:#99a6ad;font-family:IBM Plex Mono,monospace;font-size:8px}.labNotchNav_liveState__EsD8W{display:none;min-width:70px;align-items:center;justify-content:center;gap:6px;color:#78dce7;font-family:IBM Plex Mono,monospace;font-size:8px;white-space:nowrap;transition:color .18s ease}.labNotchNav_header__T3p4C[data-expanded=true] .labNotchNav_liveState__EsD8W{display:inline-flex}.labNotchNav_liveState__EsD8W svg{filter:drop-shadow(0 0 6px rgba(98,216,232,.55))}.labNotchNav_links__JOA1h{display:flex;width:0;min-width:0;margin-left:auto;align-items:center;justify-content:flex-end;gap:6px;opacity:0;visibility:hidden;transform:translateX(-8px);transition:opacity .18s ease,transform .36s cubic-bezier(.16,1,.3,1),visibility 0s linear .18s;pointer-events:none}.labNotchNav_header__T3p4C[data-expanded=true] .labNotchNav_links__JOA1h{width:auto;opacity:1;visibility:visible;transform:translateX(0);transition-delay:80ms,80ms,0s;pointer-events:auto}.labNotchNav_links__JOA1h a{display:inline-flex;min-height:34px;align-items:center;justify-content:center;border-radius:7px;padding:0 10px;color:#aab5bc;font-size:10.5px;text-decoration:none;white-space:nowrap;transform:scale(1);transition:color .16s ease,background .16s ease,border-color .16s ease,transform .18s cubic-bezier(.16,1,.3,1)}.labNotchNav_links__JOA1h a:focus-visible,.labNotchNav_links__JOA1h a:hover,.labNotchNav_links__JOA1h a[data-active=true]{background:rgba(255,255,255,.065);color:#fff}.labNotchNav_links__JOA1h a:focus-visible,.labNotchNav_links__JOA1h a:hover{outline:0;transform:scale(1.045)}.labNotchNav_menuLink__tXH0R{gap:7px}.labNotchNav_links__JOA1h a[data-active=true]:before{width:4px;height:4px;margin-right:7px;border-radius:50%;background:#69dce7;box-shadow:0 0 10px rgba(105,220,231,.8);content:""}.labNotchNav_links__JOA1h .labNotchNav_iconLink__yZzW_,.labNotchNav_links__JOA1h .labNotchNav_languageLink__ZxF_Q{width:34px;padding:0}.labNotchNav_links__JOA1h .labNotchNav_tryLink__QBGXz{gap:7px;border:1px solid rgba(238,247,248,.34);padding:0 13px;background:rgba(239,247,248,.08);color:#fff;box-shadow:inset 0 1px rgba(255,255,255,.1)}.labNotchNav_links__JOA1h .labNotchNav_tryLink__QBGXz:hover{border-color:rgba(244,250,251,.58);background:rgba(243,249,250,.14)}@media (max-width:760px){.labNotchNav_header__T3p4C{width:calc(100% - 16px)}.labNotchNav_notch__bHGwR{width:176px;height:48px;gap:8px;border-radius:0 0 18px 18px;padding:0 10px}.labNotchNav_header__T3p4C[data-expanded=true] .labNotchNav_notch__bHGwR{width:100%;height:60px;gap:6px;padding:0 8px}.labNotchNav_navToggle__PspfH{display:grid;margin-left:auto}.labNotchNav_header__T3p4C[data-expanded=true] .labNotchNav_navToggle__PspfH{width:32px;height:32px}.labNotchNav_header__T3p4C[data-expanded=true] .labNotchNav_brandName__LnBRY{display:none}.labNotchNav_brandName__LnBRY{font-size:12px}.labNotchNav_header__T3p4C[data-expanded=true] .labNotchNav_liveState__EsD8W,.labNotchNav_links__JOA1h .labNotchNav_iconLink__yZzW_,.labNotchNav_links__JOA1h .labNotchNav_tryLink__QBGXz,.labNotchNav_liveState__EsD8W,.labNotchNav_model__6mja4{display:none}.labNotchNav_links__JOA1h{gap:2px;opacity:1;transform:none;pointer-events:auto}.labNotchNav_links__JOA1h a{min-height:32px;padding:0 6px;font-size:9.5px}.labNotchNav_menuLink__tXH0R{gap:4px}.labNotchNav_menuLink__tXH0R svg{display:none}}@media (prefers-reduced-motion:reduce){.labNotchNav_links__JOA1h,.labNotchNav_notch__bHGwR{transition:none}}.statusIsland_island__Zff8y{position:fixed;left:50%;top:76px;z-index:89;transform:translate(-50%,-140%);display:flex;align-items:center;height:38px;min-width:38px;padding:0 6px;border-radius:19px;background:rgba(12,17,23,.82);backdrop-filter:blur(22px) saturate(1.6);-webkit-backdrop-filter:blur(22px) saturate(1.6);box-shadow:0 10px 34px -14px #000,inset 0 0 0 1px rgba(255,255,255,.07);color:#eef3f6;font-family:IBM Plex Mono,ui-monospace,monospace;white-space:nowrap;overflow:hidden;opacity:0;pointer-events:none;transition:transform .48s cubic-bezier(.22,1.4,.36,1),max-width .4s cubic-bezier(.3,1.2,.4,1),opacity .3s ease;max-width:38px}.statusIsland_on__y6754{transform:translate(-50%);opacity:1}.statusIsland_wide__G4UEG{max-width:min(560px,calc(100vw - 32px))}.statusIsland_dot__GgJzx{flex:none;width:7px;height:7px;margin:0 9px 0 8px;border-radius:50%;background:var(--morph-construct,#ff9d2e);box-shadow:0 0 10px currentColor}.statusIsland_run__Tl8Xq .statusIsland_dot__GgJzx{background:#ff9d2e}.statusIsland_ok__pZ_tQ .statusIsland_dot__GgJzx{background:#4dffa0}.statusIsland_warn__JC9ia .statusIsland_dot__GgJzx{background:#ff5fb0}.statusIsland_body__hWLkl{display:flex;align-items:baseline;gap:12px;padding-right:12px;opacity:0;transition:opacity .26s ease .12s}.statusIsland_wide__G4UEG .statusIsland_body__hWLkl{opacity:1}.statusIsland_label__HYaoi{font-size:11px;letter-spacing:.16em;color:#7d919e}.statusIsland_value__OJvPx{font-size:13px;font-variant-numeric:tabular-nums}.statusIsland_ok__pZ_tQ .statusIsland_value__OJvPx{color:#4dffa0}.statusIsland_warn__JC9ia .statusIsland_value__OJvPx{color:#ff5fb0}@media (prefers-reduced-transparency:reduce){.statusIsland_island__Zff8y{background:#06080b;backdrop-filter:none;-webkit-backdrop-filter:none}}@media (prefers-contrast:more){.statusIsland_island__Zff8y{background:rgba(6,8,11,.97)}.statusIsland_label__HYaoi{color:#a9b8c3}}@media (prefers-reduced-motion:reduce){.statusIsland_island__Zff8y{transition:opacity .2s ease}.statusIsland_on__y6754{transform:translate(-50%)}}@media (max-width:760px){.statusIsland_island__Zff8y{top:68px}}.problemArtifact_artifact__rtw7F{overflow:hidden;scroll-margin-top:86px;border:1px solid rgba(148,163,184,.18);background:rgba(3,5,6,.9);color:#f5f7f8}.problemArtifact_artifactHead__kSgL7{display:flex;min-height:58px;align-items:center;justify-content:space-between;gap:18px;border-bottom:1px solid rgba(148,163,184,.16);padding:12px 16px}.problemArtifact_artifactHead__kSgL7>div{display:grid;min-width:0;gap:4px}.problemArtifact_artifactHead__kSgL7>.problemArtifact_artifactActions__0pl_C{display:flex;flex:0 0 auto;align-items:center;gap:10px}.problemArtifact_texButton__KnUez{display:inline-flex;height:30px;align-items:center;gap:6px;border:1px solid rgba(148,163,184,.28);border-radius:4px;background:transparent;padding:0 10px;color:#c9d1d8;font:500 10px/1 JetBrains Mono,monospace;cursor:pointer}.problemArtifact_texButton__KnUez:hover{border-color:#31c7df;color:#31c7df}.problemArtifact_artifactHead__kSgL7 span,.problemArtifact_figureHead__0W8LL span,.problemArtifact_label__EuBVe,.problemArtifact_verificationLine__g5bvC>span{color:#64717d;font-family:JetBrains Mono,monospace;font-size:8px;letter-spacing:0}.problemArtifact_artifactHead__kSgL7 strong{overflow:hidden;color:#b9c3cc;font-family:JetBrains Mono,monospace;font-size:10px;font-weight:500;text-overflow:ellipsis;white-space:nowrap}.problemArtifact_artifactHead__kSgL7 .problemArtifact_artifactKind__NdRPg{color:#8b98a3;font-size:9px}.problemArtifact_artifact__rtw7F[data-artifact-kind=structural] .problemArtifact_artifactKind__NdRPg{color:#31c7df}.problemArtifact_artifact__rtw7F[data-artifact-kind=proof-composition] .problemArtifact_artifactKind__NdRPg{color:#f3bf58}.problemArtifact_artifact__rtw7F[data-artifact-kind=research] .problemArtifact_artifactKind__NdRPg{color:#a7b0b8}.problemArtifact_artifactHead__kSgL7 .problemArtifact_verified__w0McR{display:inline-flex;flex:0 0 auto;align-items:center;gap:6px;color:#a3e635;font-family:inherit;font-size:10px}.problemArtifact_artifactHead__kSgL7 .problemArtifact_candidate__JHN0s{display:inline-flex;flex:0 0 auto;align-items:center;gap:6px;color:#f3bf58;font-family:inherit;font-size:10px}.problemArtifact_statementSection__ZyuhX{padding:20px 18px 22px}.problemArtifact_label__EuBVe{margin:0 0 10px;color:#31c7df}.problemArtifact_statement__3IWJs{max-width:100%;overflow-wrap:anywhere;color:#f2f4f5;font-size:14px;line-height:1.95}.problemArtifact_figure__L1YGb{margin:0;border-top:1px solid rgba(148,163,184,.14);border-bottom:1px solid rgba(148,163,184,.14);background:#050708}.problemArtifact_figureHead__0W8LL{display:flex;align-items:baseline;justify-content:space-between;gap:18px;padding:12px 16px}.problemArtifact_figureHead__0W8LL strong{color:#a9b5bf;font-size:11px;font-weight:500}.problemArtifact_svg__JBr6N{display:block;width:100%;aspect-ratio:720/390;max-height:390px}.problemArtifact_gridLine__yw84s{stroke:rgba(148,163,184,.07);stroke-width:1}.problemArtifact_axes__vq6gU line{stroke:rgba(148,163,184,.24);stroke-width:1.2}.problemArtifact_shape__5wAk_{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:2.3;vector-effect:non-scaling-stroke}.problemArtifact_primary__qqoGE{color:#31c7df}.problemArtifact_secondary__h_AJA{color:#f3f5f6}.problemArtifact_accent__wOFsQ{color:#a3e635}.problemArtifact_muted__2t_rl{color:#6f7c88}.problemArtifact_shape__5wAk_.problemArtifact_dashed__TeLRu{stroke-dasharray:7 7}.problemArtifact_shape__5wAk_.problemArtifact_filled__W_iki{fill:color-mix(in srgb,currentColor 15%,transparent)}.problemArtifact_point__g5DzW{fill:currentColor;stroke:#030405;stroke-width:2}.problemArtifact_pointLabel__CKTm7{fill:currentColor;font-family:JetBrains Mono,monospace;font-size:14px}.problemArtifact_diagramLabel__R_CPh{fill:currentColor;paint-order:stroke;stroke:#050708;stroke-width:4px;stroke-linejoin:round;font-family:JetBrains Mono,monospace;font-size:13px}.problemArtifact_figure__L1YGb figcaption{border-top:1px solid rgba(148,163,184,.12);padding:11px 16px 13px;color:#8e9aa4;font-size:11px;line-height:1.75}.problemArtifact_visualStepper__eemDR{border-top:1px solid rgba(148,163,184,.14);background:#050708}.problemArtifact_visualStepperControls__xjzK4,.problemArtifact_visualStepperHead__MEkmM{display:flex;align-items:center;justify-content:space-between;gap:18px;padding:14px 16px}.problemArtifact_visualStepperHead__MEkmM>div{display:grid;gap:5px}.problemArtifact_visualStepCopy__BUP3w>span,.problemArtifact_visualStepperControls__xjzK4 code,.problemArtifact_visualStepperHead__MEkmM b,.problemArtifact_visualStepperHead__MEkmM span{color:#64717d;font-family:JetBrains Mono,monospace;font-size:8px;font-weight:500}.problemArtifact_visualStepperHead__MEkmM strong{color:#dce3e8;font-size:12px;font-weight:600}.problemArtifact_visualStepNav__HVQnw{display:flex;gap:1px;overflow-x:auto;border-top:1px solid rgba(148,163,184,.12);border-bottom:1px solid rgba(148,163,184,.12);padding:0 16px}.problemArtifact_visualStepActive__yaSF_,.problemArtifact_visualStepButton__hxLXB{display:grid;width:42px;height:38px;flex:0 0 42px;place-items:center;border:0;border-bottom:2px solid transparent;background:transparent;color:#6d7984;font-family:JetBrains Mono,monospace;font-size:9px;cursor:pointer}.problemArtifact_visualStepButton__hxLXB:hover{color:#dce3e8}.problemArtifact_visualStepActive__yaSF_{border-bottom-color:#31c7df;color:#31c7df}.problemArtifact_visualStepCopy__BUP3w{min-height:174px;padding:26px 18px 24px}.problemArtifact_visualStepCopy__BUP3w>span{color:#31c7df}.problemArtifact_visualStepCopy__BUP3w h3{margin:11px 0 9px;color:#f2f5f6;font-size:18px;font-weight:600;line-height:1.45}.problemArtifact_visualStepCopy__BUP3w p{max-width:780px;margin:0;color:#aeb9c1;font-size:12px;line-height:1.9}.problemArtifact_visualStepFormula__ctLmX{margin-top:16px;color:#dce3e8;font-size:13px;overflow-x:auto}.problemArtifact_visualStepper__eemDR .problemArtifact_figure__L1YGb{border-top-color:rgba(49,199,223,.2)}.problemArtifact_visualStepFigure__iFNU8{animation:problemArtifact_visual-step-enter__W_VHU .36s cubic-bezier(.22,1,.36,1)}@keyframes problemArtifact_visual-step-enter__W_VHU{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:translateY(0)}}.problemArtifact_visualStepperControls__xjzK4{justify-content:flex-end;border-bottom:1px solid rgba(148,163,184,.14)}.problemArtifact_visualStepperControls__xjzK4>div{display:flex;flex:0 0 auto;gap:8px}.problemArtifact_visualStepperControls__xjzK4 button{display:grid;width:34px;height:34px;place-items:center;border:1px solid rgba(148,163,184,.26);border-radius:4px;background:transparent;color:#c9d1d8;cursor:pointer}.problemArtifact_visualStepperControls__xjzK4 button:hover:not(:disabled){border-color:#31c7df;color:#31c7df}.problemArtifact_visualStepperControls__xjzK4 button:disabled{color:#39434b;cursor:default}@media (prefers-reduced-motion:reduce){.problemArtifact_visualStepFigure__iFNU8{animation:none}}.problemArtifact_morphismFigure__w6Fyi{display:grid;min-height:210px;align-content:center;grid-template-columns:repeat(auto-fit,minmax(118px,1fr));padding:38px 18px}.problemArtifact_stateFigure__Fi_6S{min-height:210px;padding:10px 14px}.problemArtifact_stateSvg__DrIfV{display:block;width:100%;min-width:520px}.problemArtifact_stateFigure__Fi_6S{overflow-x:auto}.problemArtifact_stateMobileFlow__VUA0F{display:none}.problemArtifact_variationWrap__dOYzC{overflow-x:auto;padding:34px 20px 42px}.problemArtifact_calculusFigure__C4AAG{display:grid}.problemArtifact_calculusIdentity__B_qOo{display:grid;grid-template-columns:minmax(0,1.4fr) minmax(0,1.4fr) minmax(110px,.7fr);border-top:1px solid rgba(148,163,184,.12);border-bottom:1px solid rgba(148,163,184,.12)}.problemArtifact_calculusIdentity__B_qOo>div{display:grid;min-width:0;gap:8px;padding:14px 16px 16px;color:#d8dee3;font-size:12px}.problemArtifact_calculusIdentity__B_qOo>div+div{border-left:1px solid rgba(148,163,184,.12)}.problemArtifact_calculusCertificate__Fx3ni span,.problemArtifact_calculusIdentity__B_qOo span{color:#61707c;font-family:JetBrains Mono,monospace;font-size:8px}.problemArtifact_calculusCertificate__Fx3ni{display:flex;align-items:center;gap:14px;border-top:1px solid rgba(148,163,184,.12);padding:10px 16px}.problemArtifact_calculusCertificate__Fx3ni code{color:#7f8c96;font-family:JetBrains Mono,monospace;font-size:8px}.problemArtifact_variationTable__fbKpm{width:100%;min-width:520px;border-collapse:collapse;color:#d7dde2;font-family:JetBrains Mono,monospace;font-size:12px;text-align:center}.problemArtifact_variationTable__fbKpm td,.problemArtifact_variationTable__fbKpm th{min-width:92px;border:1px solid rgba(148,163,184,.2);padding:16px 12px}.problemArtifact_variationTable__fbKpm th:first-child{min-width:76px;color:#8d99a3;font-weight:500}.problemArtifact_variationTable__fbKpm thead th{color:#f2f5f6;font-weight:500}.problemArtifact_stateEdge__e3hSe{fill:none;stroke:#64717d;stroke-width:1.7}.problemArtifact_stateArrowHead__JRe9F{fill:#64717d}.problemArtifact_stateEdgeLabel__2gl1I{fill:#8c99a4;font-family:JetBrains Mono,monospace;font-size:10px;text-anchor:middle}.problemArtifact_stateGap__TkXBC{fill:#697580;font-family:JetBrains Mono,monospace;font-size:24px;text-anchor:middle}.problemArtifact_stateNode__zQpEI{fill:#080b0d;stroke:#31c7df;stroke-width:2}.problemArtifact_stateTerminal__1MqOn{stroke:#f3f5f6;stroke-width:3}.problemArtifact_stateActive__BvSMY{fill:rgba(163,230,53,.12);stroke:#a3e635;stroke-width:3}.problemArtifact_stateLabel__Z9FB1{fill:#eef2f4;font-family:JetBrains Mono,monospace;font-size:13px}.problemArtifact_stateLabelMultiline__49K2p{font-size:10px}.problemArtifact_morphismStep__kQpNu{position:relative;display:grid;min-height:86px;align-content:center;gap:8px;border-left:1px solid rgba(49,199,223,.28);padding:12px 24px 12px 14px}.problemArtifact_morphismStep__kQpNu span{color:#31c7df;font-family:JetBrains Mono,monospace;font-size:8px}.problemArtifact_morphismStep__kQpNu b{overflow-wrap:anywhere;color:#c8d0d7;font-family:JetBrains Mono,monospace;font-size:10px;font-weight:500;line-height:1.5}.problemArtifact_morphismStep__kQpNu i{position:absolute;top:50%;right:7px;color:#47535d;font-style:normal;transform:translateY(-50%)}.problemArtifact_solutionGrid__VFsyl{display:grid;grid-template-columns:minmax(150px,.65fr) minmax(0,1.35fr)}.problemArtifact_solutionGrid__VFsyl>section{min-width:0;padding:20px 18px 24px}.problemArtifact_solutionGrid__VFsyl>section+section{border-left:1px solid rgba(148,163,184,.14)}.problemArtifact_answer__pkWH7{max-width:100%;overflow-x:auto;overflow-y:visible;color:#a3e635;font-size:18px;line-height:1.7}.problemArtifact_solution__Yjbly{color:#adb8c1;font-size:12px;line-height:1.9}.problemArtifact_obligationAudit__BUzHL,.problemArtifact_proofAudit__eNPRm{border-top:1px solid rgba(148,163,184,.14);padding:20px 18px 24px}.problemArtifact_proofAuditHead__zIWHW{display:flex;align-items:baseline;justify-content:space-between;gap:16px;margin-bottom:4px}.problemArtifact_proofAuditHead__zIWHW .problemArtifact_label__EuBVe{margin-bottom:0}.problemArtifact_proofAuditHead__zIWHW>span{color:#64717d;font-family:JetBrains Mono,monospace;font-size:8px}.problemArtifact_obligationList__774Uj,.problemArtifact_proofRouteList__Mo9Ow{margin:0;padding:0;list-style:none}.problemArtifact_proofRouteItem__ARMO9{display:grid;grid-template-columns:34px minmax(0,1fr);gap:14px;border-top:1px solid rgba(148,163,184,.12);padding:17px 0}.problemArtifact_proofRouteIndex__OOIUX{padding-top:2px;color:#31c7df;font-family:JetBrains Mono,monospace;font-size:10px}.problemArtifact_proofRouteBody__9z8Pe{min-width:0}.problemArtifact_proofRouteBody__9z8Pe strong{display:block;color:#eef2f4;font-size:13px;font-weight:600;line-height:1.5}.problemArtifact_proofRouteMap___Lltf{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin-top:7px;color:#91a0ab;font-size:11px;line-height:1.6}.problemArtifact_proofRouteMap___Lltf i{color:#31c7df;font-style:normal}.problemArtifact_proofRouteBody__9z8Pe p{margin:8px 0 0;color:#adb8c1;font-size:11px;line-height:1.8}.problemArtifact_proofRouteBody__9z8Pe code{display:block;margin-top:8px;color:#64717d;font-family:JetBrains Mono,monospace;font-size:8px;line-height:1.5;overflow-wrap:anywhere}.problemArtifact_obligationList__774Uj{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));-moz-column-gap:24px;column-gap:24px}.problemArtifact_obligationItem__CNLtq{display:grid;grid-template-columns:18px minmax(0,1fr);gap:10px;border-top:1px solid rgba(148,163,184,.12);padding:14px 0}.problemArtifact_obligationCheck__52Uan{margin-top:2px;color:#a3e635}.problemArtifact_obligationPending__HZNf8{margin-top:2px;color:#f3bf58}.problemArtifact_obligationItem__CNLtq span{color:#71808c;font-family:JetBrains Mono,monospace;font-size:8px}.problemArtifact_obligationItem__CNLtq p{margin:6px 0 0;color:#bdc6cd;font-size:11px;line-height:1.7}.problemArtifact_verificationLine__g5bvC{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;border-top:1px solid rgba(148,163,184,.14);padding:11px 16px}.problemArtifact_verificationLine__g5bvC>div{display:flex;min-width:0;align-items:center;gap:12px}.problemArtifact_verificationLine__g5bvC code{overflow:hidden;color:#71808c;font-family:JetBrains Mono,monospace;font-size:8px;text-overflow:ellipsis;white-space:nowrap}.problemArtifact_compact__1jpiQ .problemArtifact_statementSection__ZyuhX{padding:16px}.problemArtifact_compact__1jpiQ .problemArtifact_statement__3IWJs{font-size:13px}.problemArtifact_compact__1jpiQ .problemArtifact_svg__JBr6N{max-height:280px}.problemArtifact_compact__1jpiQ .problemArtifact_morphismFigure__w6Fyi{min-height:150px;padding:24px 14px}@media (max-width:700px){.problemArtifact_artifactHead__kSgL7{align-items:flex-start}.problemArtifact_solutionGrid__VFsyl{grid-template-columns:1fr}.problemArtifact_solutionGrid__VFsyl>section+section{border-top:1px solid rgba(148,163,184,.14);border-left:0}.problemArtifact_obligationList__774Uj,.problemArtifact_verificationLine__g5bvC{grid-template-columns:1fr}.problemArtifact_morphismFigure__w6Fyi{grid-template-columns:repeat(2,minmax(0,1fr))}.problemArtifact_morphismStep__kQpNu:nth-child(2n) i{display:none}.problemArtifact_stateFigure__Fi_6S{min-height:0;padding:28px 18px;overflow:visible}.problemArtifact_stateSvg__DrIfV{display:none}.problemArtifact_stateMobileFlow__VUA0F{display:flex;flex-direction:column;align-items:center;gap:24px}.problemArtifact_stateMobileItem__mktFb{display:flex;width:100%;flex-direction:column;align-items:center;gap:10px}.problemArtifact_stateMobileNode__8uV8x{display:grid;min-width:132px;max-width:min(240px,82vw);min-height:48px;place-items:center;border:1px solid #44515c;border-radius:999px;padding:9px 22px;color:#eef2f4;font-family:JetBrains Mono,monospace;font-size:12px;line-height:1.45;text-align:center;overflow-wrap:anywhere}.problemArtifact_stateMobileActive__AWh0k{border-color:#31c7df;box-shadow:0 0 0 2px rgba(49,199,223,.14)}.problemArtifact_stateMobileTerminal__n1Jvc{border-color:#eef2f4;box-shadow:inset 0 0 0 3px #050708,inset 0 0 0 4px #eef2f4}.problemArtifact_stateMobileTransitions__ZU7tK{display:grid;width:min(240px,82vw);gap:5px}.problemArtifact_stateMobileTransition__XvrTF{display:grid;min-height:28px;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:8px;border-top:1px solid rgba(148,163,184,.18);padding-top:5px;color:#8c99a4;font-family:JetBrains Mono,monospace;font-size:10px}.problemArtifact_stateMobileTransition__XvrTF b,.problemArtifact_stateMobileTransition__XvrTF span{line-height:1.35;overflow-wrap:anywhere}.problemArtifact_stateMobileTransition__XvrTF span{text-align:right}.problemArtifact_stateMobileTransition__XvrTF i{color:#64717d;font-style:normal}.problemArtifact_stateMobileTransition__XvrTF b{color:#dce3e7;font-weight:500}.problemArtifact_calculusIdentity__B_qOo{grid-template-columns:1fr}.problemArtifact_calculusIdentity__B_qOo>div+div{border-top:1px solid rgba(148,163,184,.12);border-left:0}.problemArtifact_visualStepCopy__BUP3w{min-height:210px}.problemArtifact_visualStepperControls__xjzK4 code{max-width:62vw}.problemArtifact_variationTable__fbKpm{min-width:0;table-layout:fixed;font-size:9px}.problemArtifact_variationTable__fbKpm td,.problemArtifact_variationTable__fbKpm th{min-width:0;padding:11px 3px;overflow-wrap:anywhere}.problemArtifact_variationTable__fbKpm th:first-child{width:42px;min-width:42px}.problemArtifact_statement__3IWJs .katex-display>.katex{font-size:.9em}.problemArtifact_answer__pkWH7 .katex-display>.katex,.problemArtifact_solution__Yjbly .katex-display>.katex{font-size:.8em}}