.ConstraintTicker_section___fCXz{padding:22px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.ConstraintTicker_header__m4n_t{width:min(1200px,calc(100% - 48px));margin-inline:auto;display:flex;align-items:center;justify-content:center;gap:12px;margin-bottom:14px}.ConstraintTicker_label__05rCs{margin:0;letter-spacing:.1em;color:var(--ink-3)}.ConstraintTicker_label__05rCs,.ConstraintTicker_pauseBtn__nCM34{font-family:var(--font-mono);font-size:11px;text-transform:uppercase}.ConstraintTicker_pauseBtn__nCM34{display:inline-flex;align-items:center;gap:6px;height:26px;padding:0 10px;border:1px solid var(--line);border-radius:999px;background:var(--surface);color:var(--ink-2);letter-spacing:.06em;cursor:pointer;transition:color .18s var(--ease-ui,cubic-bezier(.4,0,.2,1)),border-color .18s var(--ease-ui,cubic-bezier(.4,0,.2,1))}.ConstraintTicker_pauseBtn__nCM34:hover{color:var(--ink);border-color:var(--line-2)}.ConstraintTicker_pauseBtn__nCM34:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.ConstraintTicker_pauseBtn__nCM34 svg{width:12px;height:12px}.ConstraintTicker_viewport__Pk4d0{position:relative;overflow:hidden}.ConstraintTicker_viewport__Pk4d0:after,.ConstraintTicker_viewport__Pk4d0:before{content:"";position:absolute;top:0;bottom:0;z-index:2;width:72px;pointer-events:none}@media (min-width:760px){.ConstraintTicker_viewport__Pk4d0:after,.ConstraintTicker_viewport__Pk4d0:before{width:120px}}.ConstraintTicker_viewport__Pk4d0:before{left:0;background:linear-gradient(90deg,var(--ground),transparent)}.ConstraintTicker_viewport__Pk4d0:after{right:0;background:linear-gradient(270deg,var(--ground),transparent)}.ConstraintTicker_track__57NLF{display:flex;width:max-content;animation:var(--animate-marquee)}.ConstraintTicker_viewport__Pk4d0:focus-within .ConstraintTicker_track__57NLF,.ConstraintTicker_viewport__Pk4d0:hover .ConstraintTicker_track__57NLF,.ConstraintTicker_viewport__Pk4d0[data-paused=true] .ConstraintTicker_track__57NLF{animation-play-state:paused}.ConstraintTicker_group__V5u7R{display:flex;list-style:none;margin:0;padding:0}.ConstraintTicker_tk__9pi2E{display:inline-flex;align-items:center;gap:8px;margin-right:10px;padding:8px 14px;border:1px solid var(--line);border-radius:999px;background:var(--surface);color:var(--ink);font-size:13.5px;white-space:nowrap}.ConstraintTicker_code__mGf9R{font-family:var(--font-mono);font-size:11px;letter-spacing:.04em;color:var(--accent)}@media (prefers-reduced-motion:reduce){.ConstraintTicker_pauseBtn__nCM34,.ConstraintTicker_viewport__Pk4d0:after,.ConstraintTicker_viewport__Pk4d0:before{display:none}.ConstraintTicker_viewport__Pk4d0{width:min(1200px,calc(100% - 48px));margin-inline:auto}.ConstraintTicker_track__57NLF{animation:none;width:auto}.ConstraintTicker_group__V5u7R,.ConstraintTicker_track__57NLF{flex-wrap:wrap;justify-content:center}.ConstraintTicker_duplicate__P7KS_{display:none}.ConstraintTicker_tk__9pi2E{margin:0 5px 10px;max-width:100%;white-space:normal}}.SolverCard_solver__x3fn5{width:min(1040px,100%);background:var(--surface);border:1px solid var(--line);border-radius:28px;overflow:hidden;text-align:left;box-shadow:0 1px 0 color-mix(in srgb,var(--ink) 5%,transparent),0 40px 90px -40px color-mix(in srgb,var(--abyss) 45%,transparent)}.SolverCard_bar__l_RDe{display:flex;align-items:center;flex-wrap:wrap;gap:10px 14px;padding:14px 18px;border-bottom:1px solid var(--line)}.SolverCard_title__X9IiK{font-size:14px;font-weight:600;color:var(--ink)}.SolverCard_meta__56shF{font-family:var(--font-mono);font-size:12px;letter-spacing:.02em;color:var(--ink-3)}.SolverCard_chip__X1x_e{margin-left:auto;display:inline-flex;align-items:center;gap:8px;padding:6px 12px;border:1px solid transparent;border-radius:999px;font-size:13px;font-weight:500;transition:background-color .5s var(--ease-ui,cubic-bezier(.4,0,.2,1)),color .5s var(--ease-ui,cubic-bezier(.4,0,.2,1)),border-color .5s var(--ease-ui,cubic-bezier(.4,0,.2,1))}.SolverCard_solver__x3fn5[data-state=raw] .SolverCard_chip__X1x_e{background:var(--warn-tint);color:var(--warn-ink);border-color:var(--warn-line)}.SolverCard_solver__x3fn5[data-state=solving] .SolverCard_chip__X1x_e{background:var(--mist);color:var(--accent-600);border-color:color-mix(in srgb,var(--accent) 28%,var(--surface))}.SolverCard_solver__x3fn5[data-state=solved] .SolverCard_chip__X1x_e{background:var(--success-tint);color:var(--success-ink);border-color:var(--success-line)}.SolverCard_pulse__1YVQU{position:relative;flex:none;width:8px;height:8px;border-radius:50%;background:currentColor}.SolverCard_pulse__1YVQU:after{content:"";position:absolute;inset:-4px;border:2px solid;border-radius:50%;opacity:.5;animation:SolverCard_ping__5stlM 1.6s ease-out infinite}.SolverCard_solver__x3fn5[data-state=solved] .SolverCard_pulse__1YVQU:after{animation:none;opacity:0}@keyframes SolverCard_ping__5stlM{0%{transform:scale(.5);opacity:.7}to{transform:scale(1.5);opacity:0}}.SolverCard_body__YtyE4{display:grid;grid-template-columns:minmax(0,1fr) 260px}@media (max-width:900px){.SolverCard_body__YtyE4{grid-template-columns:minmax(0,1fr)}}.SolverCard_gridScroll__TJOdn{overflow-x:auto;overflow-y:hidden;overscroll-behavior-x:contain}.SolverCard_gridScroll__TJOdn:focus-visible{outline:2px solid var(--accent);outline-offset:-3px;border-radius:14px}.SolverCard_gridInner__v8Ggu{min-width:560px;padding:18px 18px 22px}.SolverCard_head__Ai25Q{display:grid;grid-template-columns:64px repeat(5,minmax(0,1fr));gap:8px;margin-bottom:8px}.SolverCard_head__Ai25Q span{font-family:var(--font-mono);font-size:11px;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-3);text-align:center}.SolverCard_head__Ai25Q span:first-child{text-align:left}.SolverCard_rows__Dqogg{position:relative}.SolverCard_row__VqYhr{display:grid;grid-template-columns:64px repeat(5,minmax(0,1fr));gap:8px;height:58px;align-items:stretch}.SolverCard_row__VqYhr+.SolverCard_row__VqYhr{margin-top:8px}.SolverCard_time__CaCDm{align-self:center;font-family:var(--font-mono);font-size:11px;color:var(--ink-3)}.SolverCard_cell__6IO56{border:1px dashed color-mix(in srgb,var(--ink) 12%,transparent);border-radius:10px;background:color-mix(in srgb,var(--ink) 2%,transparent)}.SolverCard_blocks__ve8sG{position:absolute;inset:0 0 0 72px;--cols:5;--gap:8px;--rowh:66px}.SolverCard_block__n2h8o{position:absolute;height:58px;width:calc((100% - (var(--cols) - 1) * var(--gap)) / var(--cols));left:calc(((100% - (var(--cols) - 1) * var(--gap)) / var(--cols) + var(--gap)) * var(--c));top:calc(var(--rowh) * var(--r));display:flex;flex-direction:column;justify-content:space-between;gap:2px;padding:8px 10px;border-radius:10px;overflow:hidden;color:var(--surface);font-size:12px;font-weight:600;line-height:1.15;letter-spacing:-.01em;box-shadow:0 8px 18px -10px color-mix(in srgb,var(--abyss) 70%,transparent);transition:left .9s var(--ease-soft,cubic-bezier(.22,1,.36,1)),top .9s var(--ease-soft,cubic-bezier(.22,1,.36,1)),transform .9s var(--ease-soft,cubic-bezier(.22,1,.36,1)),box-shadow .5s var(--ease-ui,cubic-bezier(.4,0,.2,1));transition-delay:var(--d,0s)}.SolverCard_code__UYVjC,.SolverCard_name__JXwVN{display:block;overflow:hidden;white-space:nowrap;text-overflow:ellipsis}.SolverCard_code__UYVjC{font-family:var(--font-mono);font-size:10px;font-weight:400;letter-spacing:.02em;opacity:.85}.SolverCard_t1__UX1Gb{background:var(--ink)}.SolverCard_t2__EpoTw{background:var(--accent)}.SolverCard_t3__iac3t{background:color-mix(in srgb,var(--ink) 72%,var(--ink-2))}.SolverCard_t4__0eqef{background:var(--accent-600)}.SolverCard_t5__Jc5ep{background:color-mix(in srgb,var(--ink) 45%,var(--ink-2))}.SolverCard_t6__81PMZ{background:color-mix(in srgb,var(--accent) 88%,var(--abyss))}.SolverCard_solver__x3fn5[data-state=raw] .SolverCard_block__n2h8o[data-raw=true]{left:calc(((100% - (var(--cols) - 1) * var(--gap)) / var(--cols) + var(--gap)) * var(--rc));top:calc(var(--rowh) * var(--rr));z-index:2;transform:translate(6px,6px) rotate(-1.2deg);box-shadow:0 0 0 2px var(--warn),0 10px 24px -10px color-mix(in srgb,var(--warn) 80%,transparent)}.SolverCard_solver__x3fn5[data-state=solving] .SolverCard_block__n2h8o{box-shadow:0 0 0 2px color-mix(in srgb,var(--accent) 35%,transparent),0 10px 24px -10px color-mix(in srgb,var(--accent) 70%,transparent)}.SolverCard_constraints__9FAMo{border-left:1px solid var(--line);padding:18px 18px 20px;background:linear-gradient(180deg,color-mix(in srgb,var(--mist) 34%,var(--surface)) 0,var(--surface) 100%)}@media (max-width:900px){.SolverCard_constraints__9FAMo{border-left:0;border-top:1px solid var(--line)}}.SolverCard_lbl__J_wuM{margin:0 0 12px;font-family:var(--font-mono);font-size:11px;letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3)}.SolverCard_list__0J52J{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:10px}.SolverCard_item__vK5qn{display:flex;align-items:center;gap:10px;font-size:13.5px;line-height:1.35;color:var(--ink)}.SolverCard_tick__b0r_k{flex:none;display:grid;place-items:center;width:20px;height:20px;border:1.5px solid var(--line-2);border-radius:6px;color:var(--surface);transition:background-color .35s var(--ease-ui,cubic-bezier(.4,0,.2,1)),border-color .35s var(--ease-ui,cubic-bezier(.4,0,.2,1));transition-delay:var(--d,0s)}.SolverCard_tick__b0r_k svg{width:12px;height:12px;opacity:0;transform:scale(.5);transition:opacity .3s var(--ease-ui,cubic-bezier(.4,0,.2,1)),transform .3s var(--ease-soft,cubic-bezier(.22,1,.36,1));transition-delay:var(--d,0s)}.SolverCard_solver__x3fn5[data-state=solved] .SolverCard_tick__b0r_k{background:var(--accent);border-color:var(--accent)}.SolverCard_solver__x3fn5[data-state=solved] .SolverCard_tick__b0r_k svg{opacity:1;transform:scale(1)}.SolverCard_stats__y8_H5{display:flex;flex-wrap:wrap;gap:18px;margin-top:18px;padding-top:16px;border-top:1px solid var(--line)}.SolverCard_statValue__c6vd7{display:block;font-family:var(--font-display);font-size:24px;font-weight:600;line-height:1;letter-spacing:-.03em;font-variant-numeric:tabular-nums;color:var(--ink);transition:color .5s var(--ease-ui,cubic-bezier(.4,0,.2,1))}.SolverCard_statLabel__Yhokg{display:block;margin-top:4px;font-size:12px;color:var(--ink-3)}.SolverCard_solver__x3fn5[data-state=raw] .SolverCard_conflicts__Xq2Lc,.SolverCard_solver__x3fn5[data-state=solving] .SolverCard_conflicts__Xq2Lc{color:var(--warn-ink)}.SolverCard_solver__x3fn5[data-state=solved] .SolverCard_conflicts__Xq2Lc{color:var(--success-ink)}@media (prefers-reduced-motion:reduce){.SolverCard_block__n2h8o,.SolverCard_chip__X1x_e,.SolverCard_statValue__c6vd7,.SolverCard_tick__b0r_k,.SolverCard_tick__b0r_k svg{transition:none}.SolverCard_pulse__1YVQU:after{animation:none;opacity:0}}