._scrambleText_8ro09_3{white-space:pre;font-variant-numeric:tabular-nums;display:inline-block}._scrambleText_8ro09_3._animating_8ro09_10{letter-spacing:.02em;font-family:Courier New,Courier,monospace}._backButton_1qrlv_5{z-index:40;background:var(--surface);border:1px solid var(--border);width:40px;height:40px;color:var(--text);cursor:pointer;box-shadow:var(--shadow-sm);border-radius:8px;justify-content:center;align-items:center;transition:all .15s;display:flex;position:fixed;top:24px;left:80px}._backButton_1qrlv_5:hover{background:var(--color-hover-strong);border-color:var(--accent);color:var(--accent)}._backButton_1qrlv_5:active{transform:scale(.95)}@media (width<=968px){._backButton_1qrlv_5{left:24px}}@media (width<=768px){._backButton_1qrlv_5{width:36px;height:36px;top:16px;left:16px}}._navbar_fuaiy_3{z-index:10;background-color:#0000;justify-content:space-between;align-items:center;height:60px;padding:16px 24px;display:flex;position:relative;overflow:auto hidden}._left_fuaiy_16{flex-shrink:0;align-items:center;gap:12px;display:flex}._title_fuaiy_23{color:var(--color-accent);white-space:nowrap;margin:0;font-size:18px;font-weight:700}._right_fuaiy_31{flex-shrink:0;align-items:center;gap:24px;display:flex}._resetButton_fuaiy_38{color:var(--color-accent);border:1px solid var(--color-accent);cursor:pointer;background-color:#0000;border-radius:8px;padding:8px 16px;font-size:14px;font-weight:500;transition:all .2s}._resetButton_fuaiy_38:hover{background-color:rgba(var(--color-accent-rgb), .15)}._resetButton_fuaiy_38:active{background-color:rgba(var(--color-accent-rgb), .25)}._resultBadge_fuaiy_58{text-transform:uppercase;letter-spacing:.5px;border-radius:6px;padding:6px 12px;font-size:13px;font-weight:600}._resultBadge_fuaiy_58._satisfiable_fuaiy_67{color:#22c55e;background-color:#22c55e1a;border:1px solid #22c55e4d}._resultBadge_fuaiy_58._unsatisfiable_fuaiy_73{color:#ef4444;background-color:#ef44441a;border:1px solid #ef44444d}._resultBadge_fuaiy_58._valid_fuaiy_79{color:#22c55e;background-color:#22c55e1a;border:1px solid #22c55e4d}._resultBadge_fuaiy_58._invalid_fuaiy_85,._resultBadge_fuaiy_58._contradiction_fuaiy_91{color:#ef4444;background-color:#ef44441a;border:1px solid #ef44444d}._teamButton_fuaiy_99{background:var(--md-primary-container);color:var(--md-on-primary-container);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);border-radius:999px;align-items:center;gap:6px;padding:8px 14px;font-size:14px;font-weight:600;text-decoration:none;display:inline-flex}._teamButton_fuaiy_99:hover{background:var(--md-primary);color:var(--md-on-primary)}._teamButton_fuaiy_99:focus-visible{outline:2px solid var(--md-primary);outline-offset:2px}._teamArrow_fuaiy_126{transition:transform var(--md-duration-short,.2s) var(--md-easing-emphasized,ease)}._teamButton_fuaiy_99:hover ._teamArrow_fuaiy_126{transform:translateY(-2px)}@media (width<=768px){._navbar_fuaiy_3{flex-wrap:wrap;row-gap:8px;padding:12px 16px}._title_fuaiy_23{font-size:16px}._right_fuaiy_31{flex-wrap:wrap;gap:8px 12px;max-width:100%}._resetButton_fuaiy_38{padding:6px 12px;font-size:13px}}._container_g9imz_3{background-color:var(--color-bg);border:1px solid var(--color-border);border-radius:9999px;align-items:center;gap:12px;width:min(680px,90vw);height:56px;padding:14px 20px;transition:all .2s;display:flex;position:relative}._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{color:var(--color-text);caret-color:var(--color-accent);background:0 0;border:none;outline:none;flex:1;font-family:inherit;font-size:15px}._input_g9imz_22::placeholder{color:var(--md-on-surface-variant)}._sendButton_g9imz_38{background-color:var(--color-accent);cursor:pointer;border:none;border-radius:50%;justify-content:center;align-items:center;width:32px;min-width:32px;height:32px;min-height:32px;padding:0;transition:all .15s;animation:.15s _scaleIn_g9imz_1;display:flex}._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%{opacity:0;transform:scale(0)}to{opacity:1;transform:scale(1)}}@media (width<=480px){._container_g9imz_3{width:95vw;height:52px;padding:12px 18px}._input_g9imz_22{font-size:14px}._sendButton_g9imz_38{width:28px;min-width:28px;height:28px;min-height:28px}._arrow_g9imz_65{width:14px;height:14px}}._container_zzuoo_3{justify-content:center;align-items:center;gap:10px;margin-bottom:40px;display:flex}._dot_zzuoo_11{background-color:var(--md-surface-container);border-radius:50%;width:8px;height:8px;transition:background-color .2s,box-shadow .2s}._dot_zzuoo_11._active_zzuoo_19{background-color:var(--color-accent);box-shadow:0 0 6px rgba(var(--color-accent-rgb), .6)}._container_1jt1z_3{text-align:center;flex-direction:column;align-items:center;gap:28px;display:flex}._title_1jt1z_13{color:var(--color-accent);justify-content:center;align-items:center;min-height:1.2em;margin:0;font-size:clamp(2.2rem,5vw,3.8rem);font-weight:700;animation:3s ease-in-out infinite _softGlow_1jt1z_1;display:flex}@keyframes _softGlow_1jt1z_1{0%,to{text-shadow:0 0 10px rgb(var(--color-accent-rgb) / 30%), 0 0 20px rgb(var(--color-accent-rgb) / 20%), 0 0 30px rgb(var(--color-accent-rgb) / 10%)}50%{text-shadow:0 0 20px rgb(var(--color-accent-rgb) / 50%), 0 0 30px rgb(var(--color-accent-rgb) / 30%), 0 0 40px rgb(var(--color-accent-rgb) / 20%)}}@media (prefers-reduced-motion:reduce){._title_1jt1z_13{animation:none}}._subtitle_1jt1z_48{color:rgba(var(--color-fg-rgb), .55);justify-content:center;align-items:center;min-height:1.5em;margin:0;font-size:clamp(.9rem,2vw,1.15rem);font-weight:400;display:flex}._manualLink_1jt1z_59{color:var(--md-on-surface-variant);border:none;border-bottom:1px solid rgba(var(--color-accent-rgb), .35);cursor:pointer;background:0 0;margin-top:14px;padding:0;font-family:inherit;font-size:13px;transition:color .2s}._manualLink_1jt1z_59:hover:not(:disabled){color:var(--color-text)}._manualLink_1jt1z_59:focus-visible{outline:2px solid var(--md-primary);outline-offset:3px}._inputError_1jt1z_81{max-width:46ch;color:var(--md-on-primary-container);background-color:var(--md-primary-container);border-radius:var(--md-shape-md);margin:0;padding:10px 14px;font-size:13px;line-height:1.5}._container_1bem5_3{text-align:left;flex-direction:column;align-items:stretch;gap:20px;width:min(760px,88vw);max-height:78vh;display:flex;overflow-y:auto}._header_1bem5_14{flex-direction:column;gap:6px;display:flex}._title_1bem5_20{color:var(--md-on-surface);margin:0;font-size:clamp(1.5rem,3vw,2rem);font-weight:600}._subtitle_1bem5_27{color:var(--md-on-surface-variant);margin:0;font-size:.95rem}._notice_1bem5_35{background-color:var(--md-primary-container);border-radius:var(--md-shape-lg);flex-direction:column;align-items:flex-start;gap:6px;padding:14px 16px;display:flex}._noticeTitle_1bem5_45{color:var(--md-on-primary-container);font-size:.9rem;font-weight:600}._noticeBody_1bem5_51{color:var(--md-on-primary-container);opacity:.86;font-size:.85rem;line-height:1.5}._steps_1bem5_58{flex-direction:column;gap:10px;margin:0;padding:0;list-style:none;display:flex}._step_1bem5_58{color:var(--md-on-surface-variant);align-items:flex-start;gap:12px;font-size:.9rem;line-height:1.5;display:flex}._stepMarker_1bem5_76{width:22px;height:22px;color:var(--md-on-primary);background-color:var(--md-primary);border-radius:50%;flex:none;place-items:center;font-size:.75rem;font-weight:600;display:grid}._card_1bem5_89{background-color:var(--md-surface-container-low);border:1px solid var(--md-outline-variant);border-radius:var(--md-shape-lg);flex-direction:column;display:flex;overflow:hidden}._cardHeader_1bem5_98{background-color:var(--md-surface-container);border-bottom:1px solid var(--md-outline-variant);justify-content:space-between;align-items:center;gap:12px;padding:10px 12px 10px 16px;display:flex}._cardLabel_1bem5_108{letter-spacing:.08em;text-transform:uppercase;color:var(--md-on-surface-variant);font-size:.7rem;font-weight:600}._code_1bem5_116{max-height:240px;font-family:var(--font-mono);white-space:pre-wrap;overflow-wrap:anywhere;color:var(--md-on-surface-variant);margin:0;padding:16px;font-size:.76rem;line-height:1.6;overflow:auto}._actions_1bem5_129{justify-content:flex-end;display:flex}._filledButton_1bem5_135{color:var(--md-on-primary);background-color:var(--md-primary);border-radius:var(--md-shape-xl);cursor:pointer;transition:filter var(--md-duration-short) var(--md-easing-emphasized), transform var(--md-duration-short) var(--md-easing-emphasized);border:none;padding:11px 24px;font-family:inherit;font-size:.9rem;font-weight:500}._filledButton_1bem5_135:hover{filter:brightness(1.08)}._filledButton_1bem5_135:active{transform:scale(.98)}._tonalButton_1bem5_158{color:var(--md-on-primary-container);background-color:var(--md-primary-container);border-radius:var(--md-shape-xl);cursor:pointer;transition:filter var(--md-duration-short) var(--md-easing-emphasized);border:none;padding:8px 16px;font-family:inherit;font-size:.8rem;font-weight:500}._tonalButton_1bem5_158:hover{filter:brightness(1.08)}._tonalButtonDone_1bem5_175{color:var(--md-on-primary);background-color:var(--md-primary)}._textButton_1bem5_180{color:var(--md-on-primary-container);border-radius:var(--md-shape-xl);cursor:pointer;background-color:#0000;border:1px solid;margin-top:4px;padding:6px 12px;font-family:inherit;font-size:.82rem;font-weight:500}._supportingError_1bem5_193{color:var(--color-danger);margin:0;font-size:.82rem}._filledButton_1bem5_135:focus-visible,._tonalButton_1bem5_158:focus-visible,._textButton_1bem5_180:focus-visible{outline:2px solid var(--md-primary);outline-offset:2px}@media (width<=480px){._container_1bem5_3{gap:16px;max-height:72vh}._code_1bem5_116{max-height:180px;font-size:.7rem}._actions_1bem5_129{justify-content:stretch}._filledButton_1bem5_135{width:100%}}._container_1j2gx_3{text-align:left;flex-direction:column;align-items:stretch;gap:16px;width:min(760px,88vw);display:flex}._header_1j2gx_12{flex-direction:column;gap:6px;display:flex}._title_1j2gx_18{color:var(--md-on-surface);margin:0;font-size:clamp(1.5rem,3vw,2rem);font-weight:600}._subtitle_1j2gx_25{color:var(--md-on-surface-variant);margin:0;font-size:.95rem}._field_1j2gx_33{background-color:var(--md-surface-container-low);border:1px solid var(--md-outline-variant);border-radius:var(--md-shape-lg);transition:border-color var(--md-duration-short) var(--md-easing-emphasized);flex-direction:column;display:flex;overflow:hidden}._field_1j2gx_33:focus-within{border-color:var(--md-primary)}._fieldError_1j2gx_47{border-color:var(--color-danger)}._fieldHeader_1j2gx_51{background-color:var(--md-surface-container);border-bottom:1px solid var(--md-outline-variant);justify-content:space-between;align-items:center;gap:12px;padding:10px 12px 10px 16px;display:flex}._fieldLabel_1j2gx_61{letter-spacing:.08em;text-transform:uppercase;color:var(--md-on-surface-variant);font-size:.7rem;font-weight:600}._textarea_1j2gx_69{width:100%;min-height:220px;max-height:42vh;font-family:var(--font-mono);color:var(--md-on-surface);resize:vertical;background:0 0;border:none;padding:16px;font-size:.78rem;line-height:1.6}._textarea_1j2gx_69::placeholder{color:var(--md-on-surface-variant);opacity:.5}._textarea_1j2gx_69:focus{outline:none}._supporting_1j2gx_92,._supportingError_1j2gx_93{margin:0;padding-left:4px;font-size:.82rem;line-height:1.5}._supporting_1j2gx_92{color:var(--md-on-surface-variant)}._supportingError_1j2gx_93{color:var(--color-danger)}._actions_1j2gx_108{justify-content:flex-end;display:flex}._filledButton_1j2gx_113{color:var(--md-on-primary);background-color:var(--md-primary);border-radius:var(--md-shape-xl);cursor:pointer;transition:filter var(--md-duration-short) var(--md-easing-emphasized), transform var(--md-duration-short) var(--md-easing-emphasized);border:none;padding:11px 24px;font-family:inherit;font-size:.9rem;font-weight:500}._filledButton_1j2gx_113:hover:not(:disabled){filter:brightness(1.08)}._filledButton_1j2gx_113:active:not(:disabled){transform:scale(.98)}._filledButton_1j2gx_113:disabled{color:var(--md-on-surface-variant);background-color:var(--md-surface-container-high);cursor:default}._textButton_1j2gx_141{color:var(--md-on-primary-container);background-color:var(--md-primary-container);border-radius:var(--md-shape-xl);cursor:pointer;border:none;padding:6px 12px;font-family:inherit;font-size:.78rem;font-weight:500}._textButton_1j2gx_141:hover{filter:brightness(1.08)}._filledButton_1j2gx_113:focus-visible,._textButton_1j2gx_141:focus-visible{outline:2px solid var(--md-primary);outline-offset:2px}@media (width<=480px){._textarea_1j2gx_69{min-height:160px;font-size:.72rem}._actions_1j2gx_108{justify-content:stretch}._filledButton_1j2gx_113{width:100%}}._container_1tss6_1{cursor:grab;contain:layout paint;background:0 0;width:100%;height:100%;position:relative;overflow:hidden}._container_1tss6_1:active{cursor:grabbing}._svg_1tss6_17{touch-action:none;background:0 0;width:100%;height:100%;display:block}._hint_1tss6_25{color:var(--md-on-surface-variant);pointer-events:none;-webkit-user-select:none;user-select:none;white-space:nowrap;font-size:11px;position:absolute;bottom:14px;left:50%;transform:translate(-50%)}@keyframes _float_1tss6_48{0%{transform:translateY(-4px)}to{transform:translateY(4px)}}._floatingAttribute_1tss6_48{will-change:transform;animation:3s ease-in-out infinite alternate _float_1tss6_48}._svg_1tss6_17[data-dragging=true] ._floatingAttribute_1tss6_48{animation-play-state:paused}@media (pointer:coarse){._floatingAttribute_1tss6_48{will-change:auto;animation:none}}@media (prefers-reduced-motion:reduce){._floatingAttribute_1tss6_48{will-change:auto;animation:none}}._erdPage_1hfcx_3{background-color:var(--color-bg);width:100vw;height:100vh;position:relative;overflow:hidden}._erdMain_1hfcx_11{z-index:5;flex-direction:column;justify-content:center;align-items:center;width:calc(100vw - 80px);height:100vh;padding-top:0;animation:.6s ease-out _swipeUpERD_1hfcx_1;display:flex;position:fixed;top:0;left:80px;transform:translateY(-5vh)}@keyframes _swipeUpERD_1hfcx_1{0%{opacity:0;transform:translateY(-2vh)}to{opacity:1;transform:translateY(-5vh)}}._previousButton_1hfcx_38{color:var(--color-accent);border:1px solid var(--color-accent);cursor:pointer;z-index:10;background-color:#0000;border-radius:8px;padding:10px 20px;font-size:14px;font-weight:500;transition:all .2s;position:absolute;top:80px;left:100px}._previousButton_1hfcx_38:hover{background-color:rgba(var(--color-accent-rgb), .15)}._previousButton_1hfcx_38:active{transform:scale(.98)}._resetButton_1hfcx_62{color:var(--color-accent);border:1px solid var(--color-accent);cursor:pointer;z-index:10;background-color:#0000;border-radius:8px;padding:10px 20px;font-size:14px;font-weight:500;transition:all .2s;position:absolute;top:80px;right:40px}._resetButton_1hfcx_62:hover{background-color:rgba(var(--color-accent-rgb), .15)}._resetButton_1hfcx_62:active{transform:scale(.98)}._stepContainer_1hfcx_86{text-align:center;flex-direction:column;align-items:center;gap:20px;display:flex}._stepTitle_1hfcx_94{color:var(--color-accent);margin:0;font-size:clamp(2rem,4vw,3rem);font-weight:700}._stepSubtitle_1hfcx_101{color:rgba(var(--color-fg-rgb), .55);margin:0;font-size:clamp(.9rem,2vw,1.1rem);font-weight:400}._canvasWrapper_1hfcx_108{width:90vw;height:70vh}@media (width<=968px){._erdMain_1hfcx_11{width:100vw;left:0}}@media (width<=480px){._previousButton_1hfcx_38,._resetButton_1hfcx_62{padding:8px 14px;font-size:13px;top:calc(5vh + 72px)}._previousButton_1hfcx_38{left:16px}._resetButton_1hfcx_62{right:16px}}