.cpu-study{--cpu-text:#354e50;--cpu-muted:#65736c;color:var(--cpu-text);font-variant-numeric:tabular-nums;background:radial-gradient(at 5% 0,#fffaf0 0%,#0000 60%),#f0f1e9;padding:28px 36px 24px;font-size:16px;line-height:1.55;overflow:hidden}.cpu-watch-phone{display:none}.cpu-study *,.cpu-study :before,.cpu-study :after{box-sizing:border-box}.cpu-study :is(h2,h3,p){margin:0}.cpu-masthead{color:var(--cpu-muted);justify-content:space-between;gap:12px;font-size:16px;display:flex}.cpu-masthead>span:first-child{letter-spacing:.15em;align-self:center;font-size:12px}.cpu-headline{justify-content:space-between;align-items:center;gap:16px;margin:14px 0 20px;display:flex}.cpu-headline h2{letter-spacing:-.035em;font-size:clamp(24px,3.4cqw,34px);font-weight:500;line-height:1.25}.cpu-clock{flex-direction:column;flex:none;align-items:flex-end;display:flex}.cpu-clock>span{color:var(--cpu-muted);font-size:16px}.cpu-clock>b{letter-spacing:-.06em;font-size:37px;font-weight:400;line-height:1.15}.cpu-workshop{height:214px;position:relative}.cpu-stations{grid-template-columns:repeat(5,minmax(0,1fr));gap:8px;height:155px;display:grid}.cpu-station{background:linear-gradient(#0000 35%,#d7dfd525);border-bottom:1px solid #bcc7bd;border-radius:0 0 14px 14px;position:relative}.cpu-station header{justify-content:center;align-items:baseline;gap:8px;font-size:16px;display:flex}.cpu-station header b{font-size:18px;font-weight:500}.cpu-station header span{color:var(--cpu-muted)}.cpu-vacancy{text-align:center;color:#737c72;font-size:16px;position:absolute;top:79px;left:0;right:0}.cpu-moving-instructions{pointer-events:none;position:absolute;inset:0}.cpu-ticket{top:46px;left:calc(var(--cpu-slot) * 20% + 3px);width:calc(20% - 10px);min-height:96px;color:var(--cpu-ink);border:1px solid var(--cpu-ink-border);background:#fffcf4;border-radius:13px;padding:13px 10px 11px;position:absolute;box-shadow:0 4px 13px #45635c09}.cpu-ticket[data-focus=true]{border-color:var(--cpu-ink-border-focus);box-shadow:0 5px 18px #45565112}.cpu-ticket-heading{justify-content:space-between;align-items:baseline;gap:6px;display:flex}.cpu-ticket-heading b{letter-spacing:-.035em;font-size:26px;font-weight:500}.cpu-ticket-heading span{font-size:16px}.cpu-ticket-detail{overflow-wrap:anywhere;margin-top:6px;font-size:16px;line-height:1.3;display:block}.cpu-ticket[data-squashed=true]{color:#89534e;opacity:.62;background:repeating-linear-gradient(-40deg,#f1e3de 0 2px,#fff7ee 2px 9px);text-decoration:line-through}.cpu-study[data-playing=true] .cpu-ticket{transition:left .48s cubic-bezier(.22,1,.36,1),top .48s cubic-bezier(.22,1,.36,1),opacity .35s}.cpu-bypass-lines{width:100%;height:54px;position:absolute;top:154px;left:0;overflow:visible}.cpu-bypass-lines path{fill:none;stroke:#517b67;stroke-width:1.6px;vector-effect:non-scaling-stroke;stroke-linecap:round}.cpu-receipt{background:#e3e9df;border-radius:15px;grid-template-columns:35px 1fr;align-items:center;gap:12px;min-height:90px;padding:12px 16px;display:grid}.cpu-receipt[data-kind=stall]{background:#f0e5cd}.cpu-receipt[data-kind=flush]{background:#efdfd8}.cpu-receipt-mark{text-align:center;color:#56746a;font-size:30px;font-weight:300}.cpu-receipt strong{font-size:17px;font-weight:500}.cpu-receipt p{color:#5d6b61;overflow-wrap:anywhere;margin-top:4px;font-size:16px;line-height:1.5}.cpu-timing-paper{margin:21px 0 18px}.cpu-paper-heading{color:var(--cpu-muted);justify-content:space-between;margin-bottom:9px;font-size:16px;display:flex}.cpu-timing-grid{display:grid}.cpu-timing-row{grid-template-columns:106px repeat(var(--cpu-columns), minmax(0, 1fr));gap:3px;min-height:25px;margin-bottom:3px;font-size:16px;display:grid}.cpu-timing-row>*{text-align:center;border-radius:5px;min-width:0}.cpu-timing-row>:first-child{text-align:left;color:var(--cpu-ink,var(--cpu-muted));font-weight:500}.cpu-timing-row small{opacity:.8;margin-left:9px;font-size:12px}.cpu-timing-row>span{color:#7b887b}.cpu-timing-row [data-current=true]{background-color:#dce4d7}.cpu-timing-row [data-occupied=true]{color:var(--cpu-ink);background:var(--cpu-ink-fill)}.cpu-timing-row [data-held=true]{color:#785821;background:#ecdfbb}.cpu-timing-row [data-flushed=true]{color:#8b4845;background:#e7d0c7}.cpu-timing-row[data-focus=true]>:first-child{font-weight:700}.cpu-paper-legend{color:var(--cpu-muted);justify-content:flex-end;gap:16px;padding-top:7px;font-size:16px;display:flex}.cpu-timing-phone{display:none}.cpu-register-strip{border-top:1px solid #cad1c4;grid-template-columns:repeat(9,minmax(0,1fr));gap:6px;margin-top:16px;padding-top:12px;display:grid}.cpu-register-strip>span{border-radius:8px;flex-direction:column;align-items:center;gap:2px;display:flex}.cpu-register-strip small{color:var(--cpu-muted);font-size:16px}.cpu-register-strip b{font-size:21px;font-weight:500}.cpu-register-strip [data-write=true]{background:#d9e4d5}.cpu-footnote{color:var(--cpu-muted);padding-top:14px;font-size:16px}.cpu-program{border-top:1px solid #cad1c4;margin-top:18px}.cpu-program summary{cursor:pointer;min-height:44px;padding:12px 0;font-size:16px}.cpu-program-body{grid-template-columns:1fr 1fr;gap:28px;padding:10px 0;display:grid}.cpu-program ol{margin:0;padding:0;list-style:none}.cpu-program li{border-bottom:1px solid #d4dbce;grid-template-columns:42px 1fr;gap:8px;padding:6px 0;display:grid}.cpu-program li b{color:var(--cpu-ink);font-size:16px}.cpu-program code{white-space:normal;color:var(--cpu-text);font-size:16px}.cpu-program-body p{margin-bottom:14px;font-size:16px}.cpu-full-registers{grid-template-columns:repeat(4,1fr 1fr);font-size:16px;display:grid}.cpu-full-registers dd{margin:0}.cpu-comparison-premise{color:var(--cpu-muted);padding:3px 0 8px;font-size:16px}.cpu-comparison-lane{border-bottom:1px solid #cad1c4;padding:24px 0 16px}.cpu-lane-heading{justify-content:space-between;align-items:baseline;gap:12px;display:flex}.cpu-lane-heading h3{font-size:21px;font-weight:500}.cpu-lane-title-short{display:none}.cpu-lane-heading>span{color:var(--cpu-muted);font-size:16px}.cpu-lane-heading b{color:var(--cpu-text);font-size:28px;font-weight:400}.cpu-duration-rail{background:repeating-linear-gradient(90deg,#0000 0% calc(25% - 1px),#c7d2c2 calc(25% - 1px) 25%),#e1e6da;border-radius:8px;height:28px;margin-top:12px;position:relative}.cpu-duration-rail>div{border-radius:inherit;background:#87a594;height:100%}.cpu-comparison-lane:nth-child(3) .cpu-duration-rail>div{background:#c2ad89}.cpu-duration-rail>span{color:#30493e;font-size:16px;position:absolute;top:1px;right:9px}.cpu-output-tape{flex-wrap:wrap;align-content:flex-start;gap:7px;min-height:52px;margin:16px 0 6px;display:flex}.cpu-output-tape>span{color:var(--cpu-ink);border:1px solid var(--cpu-ink-outline);border-radius:8px;gap:9px;padding:5px 9px;font-size:19px;display:flex}.cpu-output-tape small{opacity:.7;font-size:16px}.cpu-output-tape i{color:var(--cpu-muted);padding:4px 0;font-size:16px;font-style:normal}.cpu-latency-note{color:var(--cpu-muted);font-size:16px}.cpu-latency-note b{color:var(--cpu-text);font-weight:500}.cpu-equality{grid-template-columns:42px 1fr;align-items:center;gap:14px;padding:19px 0 10px;display:grid}.cpu-equality>b{text-align:center;font-size:42px;font-weight:300}.cpu-equality strong{font-size:20px;font-weight:500}.cpu-equality p{color:var(--cpu-muted);margin-top:4px;font-size:16px}.cpu-equality[data-equal=true]{color:#35694d}.cpu-proof{text-align:center;padding:16px 0}.cpu-proof>span,.cpu-proof small{color:var(--cpu-muted);font-size:16px}.cpu-proof p{letter-spacing:-.03em;padding:5px 0;font-size:32px}.cpu-proof b{color:#35694d;font-weight:500}.cpu-explore{padding:22px 0 5px}.cpu-study button{min-height:44px;font:inherit;color:var(--cpu-text);cursor:pointer;background:#fffaf1;border:1px solid #bdcabc;border-radius:12px;padding:8px 16px}.cpu-study button:disabled{opacity:.45;cursor:default}.cpu-study button:hover:not(:disabled){background:#dce7d5}.cpu-study :is(button,input,summary):focus-visible{outline-offset:3px;outline:3px solid #597767}.cpu-step-controls{flex-wrap:wrap;gap:9px;display:flex}.cpu-range{margin:18px 0 8px;display:block}.cpu-range>span{justify-content:space-between;gap:12px;font-size:16px;display:flex}.cpu-range output{font-weight:500}.cpu-range input{accent-color:#567867;cursor:pointer;width:100%;min-width:0;height:44px;display:block}.cpu-experiment-inputs{grid-template-columns:1fr 1fr;align-items:center;gap:25px;display:grid}.cpu-forward-toggle{cursor:pointer;align-items:center;gap:10px;min-height:44px;display:flex}.cpu-forward-toggle input{accent-color:#567867;width:24px;height:24px;margin:0}.cpu-manual-result{background:#dfe8d8;border-radius:12px;margin-top:12px;padding:12px 15px;font-size:16px}.cpu-manual-result>span{display:block}@media (max-width:750px),(min-width:761px) and (max-width:774px){.cpu-station header{flex-direction:column;align-items:center;gap:0;line-height:1.35}.cpu-ticket{min-height:110px;padding:10px 6px;top:64px}.cpu-ticket-heading{flex-direction:column;gap:0}.cpu-stations{height:186px}.cpu-bypass-lines{height:45px;top:187px}.cpu-workshop{height:238px}.cpu-register-strip{grid-template-columns:repeat(3,1fr);row-gap:9px}.cpu-register-strip>span{flex-direction:row;justify-content:space-between;padding:1px 9px}.cpu-program-body{grid-template-columns:1fr;gap:20px}.cpu-timing-row{grid-template-columns:74px repeat(var(--cpu-columns), minmax(0, 1fr))}.cpu-timing-row small{display:none}}@media (max-width:600px){.cpu-study{padding:20px 14px}.cpu-masthead{flex-direction:column;gap:4px}.cpu-masthead>span:first-child{align-self:flex-start;font-size:11px}.cpu-headline{margin-top:15px}.cpu-headline h2{font-size:25px}.cpu-clock>b{font-size:33px}.cpu-clock>span{font-size:16px}.cpu-workshop{height:350px}.cpu-stations{flex-direction:column;gap:0;height:340px;display:flex}.cpu-station{border-color:#cad3c3;border-radius:0;min-height:68px}.cpu-station header{flex-direction:column;align-items:flex-start;width:72px;position:absolute;top:10px;left:0}.cpu-station header b{font-size:17px}.cpu-station header span{font-size:16px}.cpu-vacancy{top:19px;left:78px;right:0}.cpu-ticket{top:calc(var(--cpu-slot) * 68px + 2px);border-radius:11px;width:calc(100% - 78px);height:62px;min-height:62px;padding:6px 10px;left:78px}.cpu-ticket-heading{flex-direction:row;align-items:baseline;gap:10px;line-height:1.2}.cpu-ticket-heading b{font-size:22px}.cpu-ticket-heading span{font-size:16px}.cpu-ticket-detail{white-space:nowrap;margin-top:4px;font-size:16px}.cpu-bypass-lines{display:none}.cpu-receipt{grid-template-columns:22px 1fr;gap:9px;min-height:122px;padding:13px 11px}.cpu-receipt-mark{font-size:23px}.cpu-receipt strong{font-size:17px}.cpu-timing-desktop{display:none}.cpu-timing-phone{display:block}.cpu-timing-row{grid-template-columns:43px repeat(var(--cpu-columns), minmax(0, 1fr));min-height:29px}.cpu-paper-heading{gap:8px}.cpu-paper-heading>span{font-size:16px}.cpu-paper-legend{justify-content:space-between;gap:8px}.cpu-register-strip b{font-size:20px}.cpu-register-strip>span{padding:1px 3px}.cpu-lane-heading{flex-direction:column;gap:2px}.cpu-comparison-lane{padding-top:20px}.cpu-output-tape{gap:6px;min-height:88px}.cpu-output-tape>span{gap:7px;padding:4px 7px;font-size:18px}.cpu-equality{grid-template-columns:28px 1fr;gap:10px}.cpu-equality strong{font-size:19px}.cpu-proof p{font-size:27px}.cpu-experiment-inputs{grid-template-columns:1fr;gap:0}.cpu-forward-toggle{margin:8px 0 15px}.cpu-step-controls{grid-template-columns:1fr 1fr;display:grid}.cpu-study button{padding-inline:9px}}@media (prefers-reduced-motion:reduce){.cpu-study[data-playing=true] .cpu-ticket{transition:none}}@media (max-width:600px){.cpu-study[data-watch=true] .cpu-headline h2{display:none}.cpu-study[data-watch=true] .cpu-headline{justify-content:flex-end;margin:8px 0 12px}.cpu-study[data-watch=true] .cpu-clock{flex-direction:row;align-items:baseline;gap:12px}.cpu-study[data-watch=true] .cpu-clock>span{display:block}.cpu-study[data-watch=true] .cpu-clock>b,.cpu-study[data-watch=true] .cpu-register-strip>[data-mobile-focus=false]{display:none}.cpu-study[data-watch=true] .cpu-timing-paper{margin:14px 0 10px}.cpu-study[data-watch=true] .cpu-paper-heading{display:none}.cpu-study[data-watch=true] .cpu-register-strip{margin-top:12px}.cpu-study[data-watch=true][data-view=compare] .cpu-headline,.cpu-study[data-watch=true] .cpu-lane-title-full,.cpu-study[data-watch=true] .cpu-output-tape small,.cpu-study[data-watch=true] .cpu-equality p{display:none}.cpu-study[data-watch=true] .cpu-lane-title-short{display:inline}.cpu-study[data-watch=true] .cpu-comparison-premise{padding-top:14px}.cpu-study[data-watch=true] .cpu-comparison-lane{padding:14px 0 12px}.cpu-study[data-watch=true] .cpu-output-tape{gap:3px;min-height:34px;margin:10px 0 6px}.cpu-study[data-watch=true] .cpu-output-tape>span{padding:3px;font-size:16px}.cpu-study[data-watch=true] .cpu-proof{padding:10px 0}.cpu-study[data-watch=true]{min-height:560px;padding:16px 14px;overflow:visible}.cpu-study[data-watch=true] .cpu-watch-wide,.cpu-study[data-watch=true] .cpu-program,.cpu-study[data-watch=true] .cpu-masthead>span:first-child{display:none}.cpu-watch-phone{display:block}.cpu-phone-causality,.cpu-phone-comparison{gap:12px;font-size:16px;line-height:1.4;display:grid}.cpu-position-rail{border-bottom:1px solid #c3cfbf;grid-template-columns:repeat(5,minmax(0,1fr));gap:4px;padding-bottom:10px;display:grid}.cpu-position-rail>div{text-align:center;background:#e1e8db;border-radius:8px;padding:5px 0;position:relative}.cpu-position-rail span,.cpu-position-rail b{font-size:16px;display:block}.cpu-position-rail b{color:var(--cpu-ink);font-size:20px;font-weight:500}.cpu-position-rail [data-squashed=true] b{text-decoration:line-through}.cpu-position-rail i{color:#8b4845;font-style:normal;position:absolute;top:-6px;right:0}.cpu-phone-instructions{gap:6px;display:grid}.cpu-phone-instruction{border-left:3px solid var(--cpu-ink);background:#fffaf2;border-radius:0 9px 9px 0;min-width:0;padding:6px 10px}.cpu-phone-instruction header,.cpu-phone-lane header{justify-content:space-between;align-items:baseline;gap:8px;font-size:16px;display:flex}.cpu-phone-instruction header b{color:var(--cpu-ink)}.cpu-phone-instruction code,.cpu-phone-instruction>span{overflow-wrap:anywhere;font-size:16px;display:block}.cpu-phone-causality .cpu-receipt{grid-template-columns:18px minmax(0,1fr);gap:7px;min-height:0;padding:10px}.cpu-phone-causality .cpu-receipt strong,.cpu-phone-causality .cpu-receipt p{font-size:16px;line-height:1.4}.cpu-phone-causality .cpu-receipt strong{display:none}.cpu-phone-causality .cpu-receipt p{margin:0}.cpu-phone-cancelled{color:#8b4845}.cpu-study[data-watch=true] .cpu-watch-phone .cpu-register-strip{flex-wrap:wrap;justify-content:space-between;gap:8px;margin:0;padding-top:8px;display:flex}.cpu-watch-phone .cpu-register-strip>span{gap:5px;padding:0}.cpu-phone-lane header{flex-wrap:wrap}.cpu-phone-lane .cpu-duration-rail{height:24px;margin-top:5px}.cpu-phone-retired{grid-template-columns:repeat(4,minmax(0,1fr));grid-auto-rows:24px;gap:3px;min-height:48px;margin-top:7px;display:grid}.cpu-phone-retired span{text-align:center;color:var(--cpu-ink);background:#fffaf2;border-radius:5px}.cpu-phone-equality{color:#35694d;font-size:16px;font-weight:500}.cpu-phone-proof{font-size:22px}.cpu-phone-proof small{color:var(--cpu-muted);margin-top:3px;font-size:16px;display:block}}