._statement_1u7q4_1 .math-definition-link{color:var(--pb-accent-deep,#0349c8);font:inherit;text-transform:none;letter-spacing:normal;text-underline-offset:.18em;cursor:pointer;background:0 0;border:0;border-radius:2px;padding:0;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;display:inline}._statement_1u7q4_1 .math-definition-link:focus-visible{outline-offset:3px;outline:2px solid}._references_1u7q4_19{margin-block:var(--space-5);padding:var(--space-4);border:1px solid var(--pb-line,#9aacbf);border-radius:var(--radius-md);background:var(--pb-reading-soft,#eef2f8);color:var(--pb-panel-ink,#162337);font-size:var(--text-body);line-height:1.65}._references_1u7q4_19 h2,._references_1u7q4_19 h3,._dialog_1u7q4_29 h2{font-family:var(--font-sans,Arial, sans-serif);font-weight:650;font-size:var(--text-subheading);letter-spacing:normal;text-transform:none;line-height:1.4}._references_1u7q4_19 h2{margin:0 0 var(--space-4)}._references_1u7q4_19 h3{margin:0 0 var(--space-2)}._references_1u7q4_19 ol,._dialog_1u7q4_29 ol{padding-left:var(--space-5);list-style:decimal}._references_1u7q4_19 li,._dialog_1u7q4_29 li{margin-block:var(--space-3)}._dialog_1u7q4_29{width:min(42rem,100vw - 2rem);max-height:calc(100dvh - 2rem);padding:var(--space-5);border:1px solid var(--pb-line,#9aacbf);border-radius:var(--radius-md);background:var(--pb-reading,#f8f9fc);color:var(--pb-panel-ink,#162337);font-size:var(--text-body);margin:auto;padding-inline:min(1.5rem,5vw);line-height:1.65;position:fixed;inset:0;overflow:auto}._dialog_1u7q4_29>button{font:inherit;text-transform:none;letter-spacing:normal;font-weight:600}._dialog_1u7q4_29::backdrop{background:#0000008c}._intro_1ngm8_5{margin-block:var(--space-2) var(--space-5)}._introHeading_1ngm8_9{justify-content:space-between;align-items:center;gap:var(--space-1) var(--space-3);flex-wrap:wrap;display:flex}._title_1ngm8_17{min-width:0;font:600 var(--text-subheading)/var(--leading-subheading) var(--font-ui);letter-spacing:normal;text-transform:none;overflow-wrap:anywhere;margin:0}._toggle_1ngm8_28{margin-inline-end:calc(-1 * var(--space-2))}._commentary_1ngm8_35{margin-top:var(--space-3);border-inline-start:2px solid var(--pb-line);color:inherit;font-size:var(--text-body);line-height:var(--leading-body);padding-inline-start:var(--space-4)}._commentary_1ngm8_35[hidden]{display:none}._commentary_1ngm8_35 .math-markup>:first-child{margin-top:0}._commentary_1ngm8_35 .math-markup>:last-child{margin-bottom:0}._phoneCommentary_1ngm8_56{margin-top:var(--space-4)}._phoneCommentary_1ngm8_56>summary{width:fit-content;min-height:var(--control-height);color:var(--pb-accent-ink);cursor:pointer;font:500 var(--text-body)/var(--leading-body) var(--font-ui);align-items:center;display:flex}._phoneCommentary_1ngm8_56>summary:focus-visible{outline:3px solid var(--pb-focus-ring);outline-offset:2px}._solutionCommentary_1ngm8_75{margin-top:var(--space-5);padding-top:var(--space-4);border-top:1px solid var(--pb-line)}._solutionCommentaryTitle_1ngm8_81{margin:0 0 var(--space-2);font:600 var(--text-subheading)/var(--leading-subheading) var(--font-ui);letter-spacing:normal;text-transform:none}._alternate_1ngm8_88{margin-top:var(--space-5);border-top:1px solid var(--pb-line)}._alternate_1ngm8_88>summary{min-height:var(--control-height);cursor:pointer;font:600 var(--text-body)/var(--leading-body) var(--font-ui);align-items:center;display:flex}._alternateBody_1ngm8_101{padding-bottom:var(--space-2)}._dialog_1vjet_2{width:min(560px,100%)}._form_1vjet_6{gap:var(--space-4);margin-top:var(--space-2);display:grid}._reasons_1vjet_12{gap:var(--space-1);border:0;margin:0;padding:0;display:grid}._reasons_1vjet_12 legend{margin-bottom:var(--space-2);font-weight:var(--weight-semibold);padding:0}._reasons_1vjet_12 label{align-items:center;gap:var(--space-3);min-height:44px;padding:0 var(--space-3);border-radius:var(--radius-sm,8px);cursor:pointer;display:flex}._reasons_1vjet_12 label:has(input:checked){background:var(--pb-reading-soft)}._reasons_1vjet_12 input{width:18px;height:18px;accent-color:var(--pb-accent);flex:none;margin:0}._comment_1vjet_48{gap:var(--space-2);font-weight:var(--weight-semibold);display:grid}._comment_1vjet_48 small{color:var(--pb-muted);font-weight:400}._comment_1vjet_48 textarea{width:100%;min-height:88px;padding:var(--space-3) var(--space-3);border:1px solid var(--pb-line);border-radius:var(--radius-sm,8px);background:var(--pb-reading);color:var(--pb-panel-ink);font:inherit;resize:vertical;font-weight:400}:is(._form_1vjet_6 :focus-visible,._actions_1vjet_73 :focus-visible){outline:3px solid var(--pb-accent);outline-offset:2px}._actions_1vjet_73{justify-content:flex-end;gap:var(--space-3);margin-top:var(--space-1);flex-wrap:wrap;display:flex}@media (max-width:460px){._actions_1vjet_73{flex-direction:column-reverse;align-items:stretch}}._flourish_w4vxj_17{display:none}html:not([data-pb-quiet-wins]):is([data-theme=crimson-light],[data-theme=synthwave],[data-theme=terminal],[data-theme=cobalt-dark]) ._flourish_w4vxj_17{vertical-align:baseline;pointer-events:none;width:0;height:1em;display:inline-block;position:relative}html:not([data-pb-quiet-wins]) .proof-workspace[data-celebration-motion=muted] ._flourish_w4vxj_17{display:none}._flourish_w4vxj_17:before{box-sizing:border-box;position:absolute}html[data-theme=crimson-light] ._flourish_w4vxj_17:before{content:"∎";border:2px solid var(--pb-accent-ink);width:1.7em;height:1.7em;color:var(--pb-accent-ink);border-radius:50%;place-items:center;font-size:.8em;line-height:1;animation:.36s cubic-bezier(.2,.8,.2,1) both _winStamp_w4vxj_1;display:grid;top:-.55em;left:.5em;transform:rotate(-12deg)}html[data-theme=synthwave] ._flourish_w4vxj_17:before{content:"";background:var(--pb-accent);width:3.6em;height:2px;box-shadow:0 0 6px var(--pb-accent), 0 0 14px var(--pb-accent);opacity:0;border-radius:1px;animation:.52s cubic-bezier(.2,.8,.2,1) both _winHorizon_w4vxj_1;top:1.2em;left:-3.6em}html[data-theme=terminal] ._flourish_w4vxj_17:before{content:"▍";color:var(--pb-accent-ink);opacity:0;line-height:1;animation:.9s step-end both _winCursor_w4vxj_1;top:0;left:.15em}html[data-theme=cobalt-dark] ._flourish_w4vxj_17:before{content:"";border-top:1.5px dashed var(--pb-accent-ink);transform-origin:0;opacity:0;width:3.6em;height:0;animation:.64s cubic-bezier(.2,.8,.2,1) both _winBlueprint_w4vxj_1;top:1.2em;left:-3.6em}@keyframes _winStamp_w4vxj_1{0%{opacity:0;transform:rotate(-12deg)scale(1.6)}60%{opacity:1;transform:rotate(-12deg)scale(.94)}to{opacity:1;transform:rotate(-12deg)scale(1)}}@keyframes _winHorizon_w4vxj_1{0%{opacity:0;transform:scaleX(0)}35%{opacity:1;transform:scaleX(1)}to{opacity:0;transform:scaleX(1)}}@keyframes _winCursor_w4vxj_1{0%{opacity:1}16.6%{opacity:0}33.3%{opacity:1}50%{opacity:0}66.6%{opacity:1}83.3%{opacity:0}to{opacity:0}}@keyframes _winBlueprint_w4vxj_1{0%{opacity:1;transform:scaleX(0)}55%{opacity:1;transform:scaleX(1)}to{opacity:0;transform:scaleX(1)}}@media (prefers-reduced-motion:reduce){._flourish_w4vxj_17:before{animation:none!important}html:not([data-pb-quiet-wins]):is([data-theme=synthwave],[data-theme=terminal],[data-theme=cobalt-dark]) ._flourish_w4vxj_17{display:none}}