._navbar_1bfxy_3{display:flex;justify-content:space-between;align-items:center;padding:16px 24px;background-color:transparent;height:60px;position:relative;z-index:10;overflow-x:auto;overflow-y:hidden}._left_1bfxy_16{display:flex;align-items:center;gap:12px;flex-shrink:0}._title_1bfxy_23{font-size:18px;font-weight:700;color:var(--color-accent);margin:0;white-space:nowrap}._right_1bfxy_31{display:flex;align-items:center;gap:24px;flex-shrink:0}._resetButton_1bfxy_38{padding:8px 16px;background-color:transparent;color:var(--color-accent);font-size:14px;font-weight:500;border:1px solid var(--color-accent);border-radius:8px;cursor:pointer;transition:all .2s ease}._resetButton_1bfxy_38:hover{background-color:rgba(var(--color-accent-rgb),.15)}._resetButton_1bfxy_38:active{background-color:rgba(var(--color-accent-rgb),.25)}._resultBadge_1bfxy_58{padding:6px 12px;font-size:13px;font-weight:600;border-radius:6px;text-transform:uppercase;letter-spacing:.5px}._resultBadge_1bfxy_58._satisfiable_1bfxy_67{color:#22c55e;background-color:#22c55e1a;border:1px solid rgba(34,197,94,.3)}._resultBadge_1bfxy_58._unsatisfiable_1bfxy_73{color:#ef4444;background-color:#ef44441a;border:1px solid rgba(239,68,68,.3)}._resultBadge_1bfxy_58._valid_1bfxy_79{color:#22c55e;background-color:#22c55e1a;border:1px solid rgba(34,197,94,.3)}._resultBadge_1bfxy_58._invalid_1bfxy_85,._resultBadge_1bfxy_58._contradiction_1bfxy_91{color:#ef4444;background-color:#ef44441a;border:1px solid rgba(239,68,68,.3)}._aboutLink_1bfxy_97{color:var(--color-accent);text-decoration:none;font-size:14px;font-weight:500}._aboutLink_1bfxy_97:hover{text-decoration:underline}._teamButton_1bfxy_110{display:inline-flex;align-items:center;gap:6px;padding:8px 14px;border-radius:999px;background:var(--md-primary-container);color:var(--md-on-primary-container);text-decoration:none;font-size:14px;font-weight:600;white-space:nowrap;transition:background var(--md-duration-short, .2s) var(--md-easing-emphasized, ease),color var(--md-duration-short, .2s) var(--md-easing-emphasized, ease)}._teamButton_1bfxy_110:hover{background:var(--md-primary);color:var(--md-on-primary)}._teamButton_1bfxy_110:focus-visible{outline:2px solid var(--md-primary);outline-offset:2px}._teamArrow_1bfxy_137{transition:transform var(--md-duration-short, .2s) var(--md-easing-emphasized, ease)}._teamButton_1bfxy_110:hover ._teamArrow_1bfxy_137{transform:translateY(-2px)}@media (max-width: 768px){._navbar_1bfxy_3{padding:12px 16px;flex-wrap:wrap;row-gap:8px}._title_1bfxy_23{font-size:16px}._right_1bfxy_31{gap:12px;flex-wrap:wrap;row-gap:8px;max-width:100%}._resetButton_1bfxy_38{font-size:13px;padding:6px 12px}}._backButton_1qrlv_5{position:fixed;top:24px;left:80px;z-index:40;background:var(--surface);border:1px solid var(--border);border-radius:8px;width:40px;height:40px;display:flex;align-items:center;justify-content:center;color:var(--text);cursor:pointer;transition:all .15s ease;box-shadow:var(--shadow-sm)}._backButton_1qrlv_5:hover{background:var(--color-hover-strong);border-color:var(--accent);color:var(--accent)}._backButton_1qrlv_5:active{transform:scale(.95)}@media (max-width: 968px){._backButton_1qrlv_5{left:24px}}@media (max-width: 768px){._backButton_1qrlv_5{top:16px;left:16px;width:36px;height:36px}}._scrambleText_8ro09_3{display:inline-block;white-space:pre;font-variant-numeric:tabular-nums}._scrambleText_8ro09_3._animating_8ro09_10{font-family:Courier New,Courier,monospace;letter-spacing:.02em}._container_9urww_3{display:flex;flex-direction:column;align-items:center;gap:12px;text-align:center;min-height:140px;justify-content:center}._title_9urww_13{font-size:clamp(2.2rem,5vw,3.8rem);font-weight:700;color:var(--color-accent);margin:0;transition:opacity .2s ease;animation:_softGlow_9urww_1 3s ease-in-out infinite;min-height:60px;display:flex;align-items:center}@keyframes _softGlow_9urww_1{0%,to{text-shadow:0 0 10px rgba(var(--color-accent-rgb),.3),0 0 20px rgba(var(--color-accent-rgb),.2),0 0 30px rgba(var(--color-accent-rgb),.1)}50%{text-shadow:0 0 20px rgba(var(--color-accent-rgb),.5),0 0 30px rgba(var(--color-accent-rgb),.3),0 0 40px rgba(var(--color-accent-rgb),.2)}}._subtitle_9urww_38{font-size:clamp(.9rem,2vw,1.15rem);font-weight:400;color:rgba(var(--color-fg-rgb),.55);margin:0;transition:opacity .2s ease;display:flex;align-items:center;gap:8px;min-height:48px;justify-content:center}._orderBox_9urww_52{display:inline-flex;align-items:center;justify-content:center;width:36px;height:36px;border-radius:6px;border:1px solid rgba(var(--color-accent-rgb),.3);background:transparent;transition:all .15s ease;cursor:text;position:relative}._orderBox_9urww_52:hover{border-color:var(--color-accent);box-shadow:0 0 0 2px rgba(var(--color-accent-rgb),.25)}._orderBox_9urww_52:focus-within{border-color:var(--color-accent);box-shadow:0 0 0 2px rgba(var(--color-accent-rgb),.25)}._orderBoxError_9urww_77{border-color:#ef4444}._orderBoxError_9urww_77:hover,._orderBoxError_9urww_77:focus-within{border-color:#ef4444;box-shadow:0 0 0 2px #ef444440}._orderBoxError_9urww_77 ._orderInput_9urww_87{color:#ef4444}._orderInput_9urww_87{width:100%;height:100%;padding:0;margin:0;border:none;background:transparent;color:var(--color-accent);font-size:1rem;font-weight:600;text-align:center;outline:none;cursor:text}._orderInput_9urww_87::-webkit-inner-spin-button,._orderInput_9urww_87::-webkit-outer-spin-button{-webkit-appearance:none;margin:0}._orderInput_9urww_87[type=number]{-moz-appearance:textfield}._fadeOut_9urww_118{opacity:0}._fadeIn_9urww_122{opacity:1}._subtitle_9urww_38._fadeOut_9urww_118{opacity:0}._subtitle_9urww_38._fadeIn_9urww_122{opacity:1}._orderLabel_9urww_135{font-weight:700}._container_g9imz_3{position:relative;width:min(680px,90vw);height:56px;background-color:var(--color-bg);border:1px solid var(--color-border);border-radius:9999px;padding:14px 20px;display:flex;align-items:center;gap:12px;transition:all .2s ease}._container_g9imz_3:focus-within{border-color:var(--color-accent);box-shadow:0 0 0 2px rgba(var(--color-accent-rgb),.25)}._input_g9imz_22{flex:1;background:transparent;border:none;outline:none;color:var(--color-text);font-size:15px;font-family:inherit;caret-color:var(--color-accent)}._input_g9imz_22::-moz-placeholder{color:var(--md-on-surface-variant)}._input_g9imz_22::placeholder{color:var(--md-on-surface-variant)}._sendButton_g9imz_38{width:32px;height:32px;min-width:32px;min-height:32px;background-color:var(--color-accent);border:none;border-radius:50%;display:flex;align-items:center;justify-content:center;cursor:pointer;padding:0;transition:all .15s ease;animation:_scaleIn_g9imz_1 .15s ease}._sendButton_g9imz_38:hover{background-color:var(--color-accent-hover);transform:scale(1.05)}._sendButton_g9imz_38:active{transform:scale(.95)}._arrow_g9imz_65{width:16px;height:16px;color:var(--color-text)}@keyframes _scaleIn_g9imz_1{0%{transform:scale(0);opacity:0}to{transform:scale(1);opacity:1}}@media (max-width: 480px){._container_g9imz_3{width:95vw;height:52px;padding:12px 18px}._input_g9imz_22{font-size:14px}._sendButton_g9imz_38{width:28px;height:28px;min-width:28px;min-height:28px}._arrow_g9imz_65{width:14px;height:14px}}._container_14hn3_3{flex:1;display:flex;align-items:center;justify-content:center;background-color:transparent;overflow:hidden;position:relative}._svg_14hn3_13{width:100%;height:100%;cursor:grab;-webkit-user-select:none;-moz-user-select:none;user-select:none;background:transparent;touch-action:none}._svg_14hn3_13:active{cursor:grabbing}._hint_14hn3_26{position:absolute;bottom:16px;left:50%;transform:translate(-50%);padding:8px 16px;background-color:rgba(var(--color-bg-rgb),.7);color:var(--text-muted);font-size:12px;border-radius:4px;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none;opacity:.6;transition:opacity .3s}._container_14hn3_3:hover ._hint_14hn3_26{opacity:.9}._emptyState_14hn3_47{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:var(--spacing-md);padding:var(--spacing-xl);text-align:center}._emptyIcon_14hn3_57{font-size:64px;opacity:.3}._emptyTitle_14hn3_62{font-size:20px;font-weight:600;color:var(--text-primary)}._emptyText_14hn3_68{font-size:14px;color:var(--text-muted);max-width:400px;line-height:1.6}._node_12oya_3{transition:all .3s ease}._nodeRect_12oya_7{fill:var(--color-bg);stroke:var(--color-accent);stroke-width:2;filter:drop-shadow(0 0 8px rgba(var(--color-accent-rgb),.6));animation:_orangeGlow_12oya_1 4s ease-in-out infinite;transition:all .3s ease}@keyframes _orangeGlow_12oya_1{0%,to{filter:drop-shadow(0 0 8px rgba(var(--color-accent-rgb),.5))}50%{filter:drop-shadow(0 0 14px rgba(var(--color-accent-rgb),.8))}}._nodeRect_12oya_7._highlighted_12oya_25{stroke:var(--color-accent);stroke-width:3;filter:drop-shadow(0 0 20px rgba(var(--color-accent-rgb),1))}._keySlot_12oya_31{fill:var(--color-bg);stroke:var(--color-border);stroke-width:1}._pointerSlot_12oya_37{fill:var(--md-surface-container-low);stroke:var(--color-border);stroke-width:1}._keyText_12oya_43{fill:#fff;font-family:var(--font-mono);font-size:14px;font-weight:500;text-anchor:middle;dominant-baseline:middle;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none}._keyText_12oya_43._highlightedKey_12oya_54{fill:var(--accent-orange);font-weight:700;font-size:15px}._leafLabel_12oya_60{fill:var(--text-muted);font-size:10px;font-family:var(--font-body);text-anchor:middle;opacity:.6;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none}._edge_1he4d_3{stroke:var(--edge-color);stroke-width:2;fill:none;transition:stroke .3s ease}._leafPointer_1he4d_10{stroke:var(--accent-green);stroke-width:2;stroke-dasharray:5,5;fill:none;transition:stroke .3s ease}._panel_1io04_3{width:280px;background-color:var(--color-bg);border-left:1px solid var(--color-border);padding:var(--spacing-lg);overflow-y:auto;display:flex;flex-direction:column;gap:var(--spacing-xl);height:100%}._section_1io04_15{display:flex;flex-direction:column;gap:var(--spacing-md)}._sectionTitle_1io04_21{font-size:.7rem;font-weight:600;color:var(--color-accent);text-transform:uppercase;letter-spacing:.1em;margin-bottom:var(--spacing-xs)}._input_1io04_30{padding:10px 12px;background-color:var(--color-bg);border:1px solid var(--color-border);border-radius:8px;color:var(--color-text);font-size:14px;transition:all .2s ease}._input_1io04_30:focus{outline:none;border-color:var(--color-accent);box-shadow:0 0 0 2px rgba(var(--color-accent-rgb),.2)}._input_1io04_30::-moz-placeholder{color:var(--md-on-surface-variant)}._input_1io04_30::placeholder{color:var(--md-on-surface-variant)}._button_1io04_50{padding:10px 16px;background-color:var(--color-accent);color:var(--color-text);font-size:14px;font-weight:600;border:none;border-radius:8px;cursor:pointer;transition:all .2s ease}._button_1io04_50:hover:not(:disabled){background-color:#6d3fd4}._button_1io04_50:active:not(:disabled){transform:scale(.98)}._button_1io04_50:disabled{opacity:.4;cursor:not-allowed}._deleteButton_1io04_76{padding:10px 16px;background-color:transparent;color:var(--color-accent);font-size:14px;font-weight:600;border:1px solid var(--color-accent);border-radius:8px;cursor:pointer;transition:all .2s ease}._deleteButton_1io04_76:hover:not(:disabled){background-color:rgba(var(--color-accent-rgb),.15)}._deleteButton_1io04_76:active:not(:disabled){transform:scale(.98)}._deleteButton_1io04_76:disabled{opacity:.4;cursor:not-allowed}._info_1io04_101{display:flex;flex-direction:column;gap:var(--spacing-sm);padding:var(--spacing-md);background-color:transparent;border-radius:8px;border:1px solid var(--color-border)}._infoRow_1io04_111{display:flex;justify-content:space-between;align-items:center;font-size:14px}._infoRow_1io04_111 span:first-child{color:rgba(var(--color-fg-rgb),.5)}._infoRow_1io04_111 span:last-child{color:var(--color-accent);font-weight:600;font-family:var(--font-mono)}@media (max-width: 768px){._panel_1io04_3{width:100%;border-left:none;border-top:1px solid var(--color-border);height:auto;max-height:none}}._container_2x1n2_3{display:flex;flex-direction:column;height:100vh;overflow:hidden;background-color:var(--color-bg);position:relative}._landingCenter_2x1n2_13{position:absolute;top:45%;left:50%;transform:translate(-50%,-50%);z-index:5;display:flex;flex-direction:column;align-items:center;gap:32px;width:90%;max-width:800px;animation:_swipeUp_2x1n2_1 .6s ease-out}@keyframes _swipeUp_2x1n2_1{0%{opacity:0;transform:translate(-50%,-45%)}to{opacity:1;transform:translate(-50%,-50%)}}._credit_2x1n2_39{font-size:.9rem;color:var(--md-on-surface-variant);margin-top:16px}._mainContent_2x1n2_45{display:flex;flex:1;overflow:hidden;position:relative;padding-left:80px}._placeholder_2x1n2_53{flex:1;display:flex;align-items:center;justify-content:center;flex-direction:column;gap:var(--spacing-md);color:var(--text-muted);padding:var(--spacing-xl);text-align:center}._placeholderTitle_2x1n2_65{font-size:24px;color:var(--text-primary)}._placeholderText_2x1n2_70{font-size:16px;max-width:500px}._desktopPanel_2x1n2_76{display:block}._mobileToggle_2x1n2_81{display:none;position:fixed;bottom:88px;right:16px;width:56px;height:56px;border-radius:50%;background-color:var(--accent-blue);color:var(--text-primary);font-size:24px;border:none;box-shadow:0 4px 12px #0006;cursor:pointer;z-index:200;transition:all .2s}._mobileToggle_2x1n2_81:hover{background-color:#3d7de0;transform:scale(1.05)}._mobileToggle_2x1n2_81:active{transform:scale(.95)}._overlay_2x1n2_109{display:none;position:fixed;top:0;left:0;right:0;bottom:0;background-color:rgba(var(--color-bg-rgb),.7);z-index:300;animation:_fadeIn_2x1n2_1 .2s ease-out}._bottomSheet_2x1n2_122{display:none;position:fixed;bottom:0;left:0;right:0;max-height:70vh;background-color:var(--bg-panel);border-top-left-radius:16px;border-top-right-radius:16px;box-shadow:0 -4px 24px #00000080;z-index:400;animation:_slideUp_2x1n2_1 .3s ease-out;overflow-y:auto}._sheetHeader_2x1n2_138{display:flex;justify-content:space-between;align-items:center;padding:var(--spacing-lg);border-bottom:1px solid var(--border-subtle);position:sticky;top:0;background-color:var(--bg-panel);z-index:1}._sheetTitle_2x1n2_150{font-size:18px;font-weight:600;color:var(--text-primary);margin:0}._closeButton_2x1n2_157{width:32px;height:32px;border-radius:50%;background-color:var(--bg-card);color:var(--text-primary);font-size:20px;border:none;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:background-color .2s}._closeButton_2x1n2_157:hover{background-color:var(--border-subtle)}@keyframes _fadeIn_2x1n2_1{0%{opacity:0}to{opacity:1}}@keyframes _slideUp_2x1n2_1{0%{transform:translateY(100%)}to{transform:translateY(0)}}@media (max-width: 768px){._desktopPanel_2x1n2_76{display:none}._mobileToggle_2x1n2_81{display:flex;align-items:center;justify-content:center}._overlay_2x1n2_109,._bottomSheet_2x1n2_122{display:block}}@media (max-width: 968px){._mainContent_2x1n2_45{padding-left:0}}