.nae-to-3col-visualization-module__WINRoG__stage{--nae-c1:#b45309;--nae-c2:#15803d;--nae-c3:#7c3aed;--nae-blue:#2563eb;--nae-red:#dc2626;--nae-bad:#b91c1c;--vc:var(--muted);gap:.85rem;min-width:0;display:grid}.dark .nae-to-3col-visualization-module__WINRoG__stage{--nae-c1:#fbbf24;--nae-c2:#4ade80;--nae-c3:#c084fc;--nae-blue:#7dd3fc;--nae-red:#fb7185;--nae-bad:#fca5a5}.nae-to-3col-visualization-module__WINRoG__notation{direction:ltr;unicode-bidi:isolate}.nae-to-3col-visualization-module__WINRoG__localizedText{unicode-bidi:plaintext}.nae-to-3col-visualization-module__WINRoG__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.nae-to-3col-visualization-module__WINRoG__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;align-items:baseline;gap:.4rem;padding:.3rem .66rem;font-size:.78rem;font-weight:800;display:inline-flex}.nae-to-3col-visualization-module__WINRoG__ledgerKey{color:var(--muted);unicode-bidi:plaintext;font-size:.72rem;font-weight:700}.nae-to-3col-visualization-module__WINRoG__ledgerGood{border-color:color-mix(in srgb, var(--success) 55%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.nae-to-3col-visualization-module__WINRoG__ledgerBad{border-color:color-mix(in srgb, var(--nae-bad) 55%, var(--border));background:color-mix(in srgb, var(--nae-bad) 10%, var(--card))}.nae-to-3col-visualization-module__WINRoG__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 90%, var(--accent));border-radius:.85rem}.nae-to-3col-visualization-module__WINRoG__edge{fill:none;vector-effect:non-scaling-stroke;stroke-linecap:round}.nae-to-3col-visualization-module__WINRoG__edgeBlack{stroke:color-mix(in srgb, var(--foreground) 62%, var(--card));stroke-width:1.9px}.nae-to-3col-visualization-module__WINRoG__edgeBlue{stroke:var(--nae-blue);stroke-width:3.4px}.nae-to-3col-visualization-module__WINRoG__edgeRed{stroke:var(--nae-red);stroke-width:2.3px;opacity:.85}.nae-to-3col-visualization-module__WINRoG__edgeRedActive{stroke:var(--nae-red);stroke-width:5px;opacity:1}.nae-to-3col-visualization-module__WINRoG__edgeConflict{stroke:var(--nae-bad);stroke-width:5px;stroke-dasharray:9 6;opacity:1}.nae-to-3col-visualization-module__WINRoG__node{fill:color-mix(in srgb, var(--vc) 18%, var(--card));stroke:var(--vc);stroke-width:3px;vector-effect:non-scaling-stroke}.nae-to-3col-visualization-module__WINRoG__neutral{--vc:var(--muted);stroke-dasharray:none}.nae-to-3col-visualization-module__WINRoG__colour1{--vc:var(--nae-c1);stroke-dasharray:8 4}.nae-to-3col-visualization-module__WINRoG__colour2{--vc:var(--nae-c2);stroke-dasharray:none}.nae-to-3col-visualization-module__WINRoG__colour3{--vc:var(--nae-c3);stroke-dasharray:2 4}.nae-to-3col-visualization-module__WINRoG__blocked{--vc:var(--nae-bad);stroke-dasharray:4 4}.nae-to-3col-visualization-module__WINRoG__halo{fill:none;stroke:color-mix(in srgb, var(--primary) 70%, var(--card));stroke-width:3px;stroke-dasharray:5 5;vector-effect:non-scaling-stroke}.nae-to-3col-visualization-module__WINRoG__nodeLabel{fill:var(--foreground);font-size:14px;font-weight:850}.nae-to-3col-visualization-module__WINRoG__nodeLabelSmall{fill:var(--foreground);font-size:12px;font-weight:850}.nae-to-3col-visualization-module__WINRoG__chip{fill:color-mix(in srgb, var(--vc) 24%, var(--card));stroke:var(--vc);stroke-width:2px;vector-effect:non-scaling-stroke}.nae-to-3col-visualization-module__WINRoG__chipText{fill:color-mix(in srgb, var(--vc) 60%, var(--foreground));font-size:13px;font-weight:900}.nae-to-3col-visualization-module__WINRoG__captionBox{fill:var(--card);stroke:var(--border);stroke-width:1px;vector-effect:non-scaling-stroke}.nae-to-3col-visualization-module__WINRoG__captionText{fill:var(--muted);unicode-bidi:plaintext;font-size:13px;font-weight:800}.nae-to-3col-visualization-module__WINRoG__captionStrong{fill:var(--foreground)}.nae-to-3col-visualization-module__WINRoG__captionBoxOk{fill:color-mix(in srgb, var(--success) 14%, var(--card));stroke:color-mix(in srgb, var(--success) 60%, var(--border))}.nae-to-3col-visualization-module__WINRoG__captionTextOk{fill:color-mix(in srgb, var(--success) 60%, var(--foreground))}.nae-to-3col-visualization-module__WINRoG__captionBoxBad{fill:color-mix(in srgb, var(--nae-bad) 16%, var(--card));stroke:color-mix(in srgb, var(--nae-bad) 65%, var(--border))}.nae-to-3col-visualization-module__WINRoG__captionTextBad{fill:color-mix(in srgb, var(--nae-bad) 55%, var(--foreground))}.nae-to-3col-visualization-module__WINRoG__captionBoxRead{fill:color-mix(in srgb, var(--primary) 14%, var(--card));stroke:color-mix(in srgb, var(--primary) 60%, var(--border))}.nae-to-3col-visualization-module__WINRoG__captionTextRead{fill:color-mix(in srgb, var(--primary) 45%, var(--foreground))}.nae-to-3col-visualization-module__WINRoG__swatch{border:3px solid var(--vc);background:color-mix(in srgb, var(--vc) 20%, var(--card));border-radius:999px;width:.9rem;height:.9rem;display:inline-block}.nae-to-3col-visualization-module__WINRoG__swatchC1{--vc:var(--nae-c1);border-style:dashed}.nae-to-3col-visualization-module__WINRoG__swatchC2{--vc:var(--nae-c2);border-style:solid}.nae-to-3col-visualization-module__WINRoG__swatchC3{--vc:var(--nae-c3);border-style:dotted}.nae-to-3col-visualization-module__WINRoG__swatchBlocked{--vc:var(--nae-bad);border-style:dashed}.nae-to-3col-visualization-module__WINRoG__lineSwatch{border-block-start:3px solid var(--vc);width:1.15rem;height:0;display:inline-block}.nae-to-3col-visualization-module__WINRoG__lineBlack{--vc:color-mix(in srgb, var(--foreground) 62%, var(--card))}.nae-to-3col-visualization-module__WINRoG__lineBlue{--vc:var(--nae-blue)}.nae-to-3col-visualization-module__WINRoG__lineRed{--vc:var(--nae-red)}.nae-to-3col-visualization-module__WINRoG__ruleRow{flex-wrap:wrap;justify-content:center;gap:.5rem;display:flex}.nae-to-3col-visualization-module__WINRoG__ruleCard{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);color:var(--muted);unicode-bidi:plaintext;border-radius:.6rem;padding:.45rem .7rem;font-size:.76rem;font-weight:700}.nae-to-3col-visualization-module__WINRoG__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.6rem .85rem;font-size:.86rem;font-weight:800}
.col3-to-col4-visualization-module__KzrX-G__stage{--col-c1:#b45309;--col-c2:#15803d;--col-c3:#7c3aed;--col-c4:#1d4ed8;--col-new:#0e7490;--col-bad:#b91c1c;--vc:var(--muted);gap:.85rem;min-width:0;display:grid}.dark .col3-to-col4-visualization-module__KzrX-G__stage{--col-c1:#fbbf24;--col-c2:#4ade80;--col-c3:#c084fc;--col-c4:#7dd3fc;--col-new:#67e8f9;--col-bad:#fca5a5}.col3-to-col4-visualization-module__KzrX-G__notation{direction:ltr;unicode-bidi:isolate}.col3-to-col4-visualization-module__KzrX-G__localizedText{unicode-bidi:plaintext}.col3-to-col4-visualization-module__KzrX-G__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.col3-to-col4-visualization-module__KzrX-G__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.3rem .66rem;font-size:.76rem;font-weight:800}.col3-to-col4-visualization-module__KzrX-G__ledgerWarn{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card))}.col3-to-col4-visualization-module__KzrX-G__ledgerNew{border-color:color-mix(in srgb, var(--col-new) 55%, var(--border));background:color-mix(in srgb, var(--col-new) 12%, var(--card))}.col3-to-col4-visualization-module__KzrX-G__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 90%, var(--accent));border-radius:.85rem}.col3-to-col4-visualization-module__KzrX-G__panel{fill:var(--card);stroke:var(--border);stroke-width:1.5px;vector-effect:non-scaling-stroke}.col3-to-col4-visualization-module__KzrX-G__panelTarget{fill:color-mix(in srgb, var(--col-new) 5%, var(--card));stroke:color-mix(in srgb, var(--col-new) 40%, var(--border))}.col3-to-col4-visualization-module__KzrX-G__panelTitle{fill:var(--muted);unicode-bidi:plaintext;font-size:13px;font-weight:850}.col3-to-col4-visualization-module__KzrX-G__panelHeading{fill:var(--foreground);font-size:15px;font-weight:900}.col3-to-col4-visualization-module__KzrX-G__edge{fill:none;stroke-linecap:round;vector-effect:non-scaling-stroke}.col3-to-col4-visualization-module__KzrX-G__edgeOld{stroke:color-mix(in srgb, var(--foreground) 55%, var(--card));stroke-width:2.4px}.col3-to-col4-visualization-module__KzrX-G__edgeNew{stroke:var(--col-new);stroke-width:2.6px;stroke-dasharray:7 4}.col3-to-col4-visualization-module__KzrX-G__edgeConflict{stroke:var(--col-bad);stroke-width:4px}.col3-to-col4-visualization-module__KzrX-G__node{fill:color-mix(in srgb, var(--vc) 18%, var(--card));stroke:var(--vc);stroke-width:3px;vector-effect:non-scaling-stroke}.col3-to-col4-visualization-module__KzrX-G__neutral{--vc:var(--muted)}.col3-to-col4-visualization-module__KzrX-G__colour1{--vc:var(--col-c1);stroke-dasharray:8 4}.col3-to-col4-visualization-module__KzrX-G__colour2{--vc:var(--col-c2);stroke-dasharray:none}.col3-to-col4-visualization-module__KzrX-G__colour3{--vc:var(--col-c3);stroke-dasharray:2 4}.col3-to-col4-visualization-module__KzrX-G__colour4{--vc:var(--col-c4);stroke-dasharray:12 3 2 3}.col3-to-col4-visualization-module__KzrX-G__blocked{--vc:var(--col-bad);stroke-dasharray:4 4}.col3-to-col4-visualization-module__KzrX-G__newRing{fill:none;stroke:var(--col-new);stroke-width:2.5px;stroke-dasharray:4 4;vector-effect:non-scaling-stroke}.col3-to-col4-visualization-module__KzrX-G__nodeLabel{fill:var(--foreground);font-size:13px;font-weight:850}.col3-to-col4-visualization-module__KzrX-G__chip{fill:color-mix(in srgb, var(--vc) 24%, var(--card));stroke:var(--vc);stroke-width:2px;vector-effect:non-scaling-stroke}.col3-to-col4-visualization-module__KzrX-G__chipText{fill:color-mix(in srgb, var(--vc) 60%, var(--foreground));font-size:13px;font-weight:900}.col3-to-col4-visualization-module__KzrX-G__captionBox{fill:var(--card);stroke:var(--border);stroke-width:1px;vector-effect:non-scaling-stroke}.col3-to-col4-visualization-module__KzrX-G__captionText{fill:var(--muted);unicode-bidi:plaintext;font-size:12.5px;font-weight:800}.col3-to-col4-visualization-module__KzrX-G__captionBoxOk{fill:color-mix(in srgb, var(--success) 14%, var(--card));stroke:color-mix(in srgb, var(--success) 60%, var(--border))}.col3-to-col4-visualization-module__KzrX-G__captionTextOk{fill:color-mix(in srgb, var(--success) 60%, var(--foreground))}.col3-to-col4-visualization-module__KzrX-G__captionBoxBad{fill:color-mix(in srgb, var(--col-bad) 16%, var(--card));stroke:color-mix(in srgb, var(--col-bad) 65%, var(--border))}.col3-to-col4-visualization-module__KzrX-G__captionTextBad{fill:color-mix(in srgb, var(--col-bad) 55%, var(--foreground))}.col3-to-col4-visualization-module__KzrX-G__captionBoxNew{fill:color-mix(in srgb, var(--col-new) 14%, var(--card));stroke:color-mix(in srgb, var(--col-new) 60%, var(--border))}.col3-to-col4-visualization-module__KzrX-G__captionTextNew{fill:color-mix(in srgb, var(--col-new) 55%, var(--foreground))}.col3-to-col4-visualization-module__KzrX-G__swatch{border:3px solid var(--vc);background:color-mix(in srgb, var(--vc) 20%, var(--card));border-radius:999px;width:.9rem;height:.9rem;display:inline-block}.col3-to-col4-visualization-module__KzrX-G__swatchC1{--vc:var(--col-c1);border-style:dashed}.col3-to-col4-visualization-module__KzrX-G__swatchC2{--vc:var(--col-c2);border-style:solid}.col3-to-col4-visualization-module__KzrX-G__swatchC3{--vc:var(--col-c3);border-style:dotted}.col3-to-col4-visualization-module__KzrX-G__swatchC4{--vc:var(--col-c4);border-style:double;border-width:4px}.col3-to-col4-visualization-module__KzrX-G__swatchBlocked{--vc:var(--col-bad);border-style:dashed}.col3-to-col4-visualization-module__KzrX-G__lineSwatch{border-block-start:3px solid var(--vc);width:1.15rem;height:0;display:inline-block}.col3-to-col4-visualization-module__KzrX-G__lineOld{--vc:color-mix(in srgb, var(--foreground) 55%, var(--card))}.col3-to-col4-visualization-module__KzrX-G__lineNew{--vc:var(--col-new);border-block-start-style:dashed}.col3-to-col4-visualization-module__KzrX-G__ruleRow{flex-wrap:wrap;justify-content:center;gap:.5rem;display:flex}.col3-to-col4-visualization-module__KzrX-G__ruleCard{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);color:var(--muted);unicode-bidi:plaintext;border-radius:.6rem;padding:.45rem .7rem;font-size:.76rem;font-weight:700}.col3-to-col4-visualization-module__KzrX-G__ruleWarn{border-inline-start-color:var(--warning)}.col3-to-col4-visualization-module__KzrX-G__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.6rem .85rem;font-size:.86rem;font-weight:800}
.vc-to-ds-visualization-module__SxOu6q__stage{gap:.9rem;min-width:0;display:grid}.vc-to-ds-visualization-module__SxOu6q__localizedText{unicode-bidi:plaintext}.vc-to-ds-visualization-module__SxOu6q__notation{direction:ltr;unicode-bidi:isolate}.vc-to-ds-visualization-module__SxOu6q__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.vc-to-ds-visualization-module__SxOu6q__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.32rem .68rem;font-size:.78rem;font-weight:800}.vc-to-ds-visualization-module__SxOu6q__ledgerSource{border-color:color-mix(in srgb, var(--primary) 50%, var(--border));background:color-mix(in srgb, var(--primary) 10%, var(--card))}.vc-to-ds-visualization-module__SxOu6q__ledgerTarget{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card))}.vc-to-ds-visualization-module__SxOu6q__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.vc-to-ds-visualization-module__SxOu6q__panelFrame{fill:color-mix(in srgb, var(--card) 82%, var(--accent));stroke:var(--border);stroke-width:1.5px;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__panelTitle{fill:var(--muted);font-size:15px;font-weight:850}.vc-to-ds-visualization-module__SxOu6q__panelCaption{fill:color-mix(in srgb, var(--success) 80%, var(--foreground));font-size:13.5px;font-weight:850}.vc-to-ds-visualization-module__SxOu6q__panelCaptionWitness{fill:color-mix(in srgb, var(--warning) 82%, var(--foreground));font-size:13.5px;font-weight:850}.vc-to-ds-visualization-module__SxOu6q__mapArrow{stroke:var(--muted);stroke-width:3px;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__mapArrowLabel{fill:var(--muted);font-size:15px;font-weight:900}.vc-to-ds-visualization-module__SxOu6q__edge{stroke:color-mix(in srgb, var(--muted) 65%, var(--border));stroke-width:2.5px;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__edgeOriginal{stroke:color-mix(in srgb, var(--primary) 70%, var(--muted));stroke-width:3px}.vc-to-ds-visualization-module__SxOu6q__edgeNew{stroke:color-mix(in srgb, var(--warning) 70%, var(--muted));stroke-width:2.5px;stroke-dasharray:7 4}.vc-to-ds-visualization-module__SxOu6q__edgeDominating{stroke:var(--success);stroke-width:4px;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__arrowHead{fill:var(--success)}.vc-to-ds-visualization-module__SxOu6q__repairArrow{fill:none;stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:3.5px;stroke-dasharray:9 5;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__repairHead{fill:color-mix(in srgb, var(--warning) 85%, var(--foreground))}.vc-to-ds-visualization-module__SxOu6q__nodeOriginal{fill:color-mix(in srgb, var(--primary) 20%, var(--card));stroke:var(--primary);stroke-width:2.5px;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__nodeNew{fill:color-mix(in srgb, var(--warning) 22%, var(--card));stroke:color-mix(in srgb, var(--warning) 80%, var(--foreground));stroke-width:2.5px;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__nodeRemoved{fill:color-mix(in srgb, var(--muted) 14%, var(--card));stroke:var(--muted);stroke-width:2px;stroke-dasharray:5 4;vector-effect:non-scaling-stroke;opacity:.6}.vc-to-ds-visualization-module__SxOu6q__nodeLabel{fill:var(--foreground);font-size:15px;font-weight:900}.vc-to-ds-visualization-module__SxOu6q__nodeLabelSmall{fill:var(--foreground);font-size:11.5px;font-weight:850}.vc-to-ds-visualization-module__SxOu6q__nodeLabelFaded{fill:var(--muted);font-size:14px;font-weight:900}.vc-to-ds-visualization-module__SxOu6q__coverRing{fill:none;stroke:var(--success);stroke-width:4px;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__witnessRing{fill:none;stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:4px;stroke-dasharray:7 5;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__tag{fill:var(--muted);font-size:12px;font-weight:850}.vc-to-ds-visualization-module__SxOu6q__tagWarning{fill:color-mix(in srgb, var(--warning) 85%, var(--foreground));font-size:12px;font-weight:850}.vc-to-ds-visualization-module__SxOu6q__strike{stroke:var(--muted);stroke-width:3px;stroke-linecap:round;vector-effect:non-scaling-stroke}.vc-to-ds-visualization-module__SxOu6q__warning{border:1px solid color-mix(in srgb, var(--warning) 55%, var(--border));border-inline-start:4px solid var(--warning);background:color-mix(in srgb, var(--warning) 10%, var(--card));unicode-bidi:plaintext;border-radius:.7rem;gap:.25rem;padding:.6rem .75rem;display:grid}.vc-to-ds-visualization-module__SxOu6q__warning strong{color:var(--foreground);font-size:.83rem;font-weight:900}.vc-to-ds-visualization-module__SxOu6q__warning span{color:var(--muted);font-size:.78rem;font-weight:650;line-height:1.5}.vc-to-ds-visualization-module__SxOu6q__swatch{border:2px solid var(--border);border-radius:999px;width:.85rem;height:.85rem;display:inline-block}.vc-to-ds-visualization-module__SxOu6q__swatchOriginal{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 20%, var(--card))}.vc-to-ds-visualization-module__SxOu6q__swatchNew{border-color:color-mix(in srgb, var(--warning) 80%, var(--foreground));background:color-mix(in srgb, var(--warning) 22%, var(--card));border-radius:.2rem}.vc-to-ds-visualization-module__SxOu6q__swatchCover{border-color:var(--success);background:color-mix(in srgb, var(--success) 26%, var(--card))}.vc-to-ds-visualization-module__SxOu6q__swatchDomination{border-color:var(--success);background:var(--success);border-radius:.2rem}.vc-to-ds-visualization-module__SxOu6q__swatchWitness{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 85%, var(--foreground));background:color-mix(in srgb, var(--warning) 14%, var(--card))}.vc-to-ds-visualization-module__SxOu6q__swatchRepair{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 85%, var(--foreground));background:color-mix(in srgb, var(--warning) 30%, var(--card));border-radius:.2rem}.vc-to-ds-visualization-module__SxOu6q__swatchIsolated{border-style:dashed;border-color:var(--muted);background:color-mix(in srgb, var(--muted) 14%, var(--card))}.vc-to-ds-visualization-module__SxOu6q__cards{grid-template-columns:repeat(3,minmax(0,1fr));gap:.55rem;display:grid}.vc-to-ds-visualization-module__SxOu6q__card{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.vc-to-ds-visualization-module__SxOu6q__card strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.vc-to-ds-visualization-module__SxOu6q__card span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.vc-to-ds-visualization-module__SxOu6q__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.88rem;font-weight:800}@media (max-width:620px){.vc-to-ds-visualization-module__SxOu6q__cards{grid-template-columns:1fr}}
.vc-to-subset-sum-visualization-module__HhB4CG__stage{--bad:#cf3f3f;gap:.9rem;min-width:0;display:grid}.dark .vc-to-subset-sum-visualization-module__HhB4CG__stage{--bad:#ff8f8f}.vc-to-subset-sum-visualization-module__HhB4CG__localizedText{unicode-bidi:plaintext}.vc-to-subset-sum-visualization-module__HhB4CG__notation{direction:ltr;unicode-bidi:isolate}.vc-to-subset-sum-visualization-module__HhB4CG__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.vc-to-subset-sum-visualization-module__HhB4CG__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.32rem .68rem;font-size:.78rem;font-weight:800}.vc-to-subset-sum-visualization-module__HhB4CG__ledgerTarget{border-color:color-mix(in srgb, var(--success) 50%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.vc-to-subset-sum-visualization-module__HhB4CG__ledgerK{border-color:color-mix(in srgb, var(--primary) 55%, var(--border));background:color-mix(in srgb, var(--primary) 12%, var(--card))}.vc-to-subset-sum-visualization-module__HhB4CG__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.vc-to-subset-sum-visualization-module__HhB4CG__panelTitle{fill:var(--muted);font-size:15px;font-weight:850}.vc-to-subset-sum-visualization-module__HhB4CG__graphEdge{stroke:color-mix(in srgb, var(--foreground) 58%, var(--card));stroke-width:3.2px;stroke-linecap:round;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__graphEdgeCovered{stroke:var(--success)}.vc-to-subset-sum-visualization-module__HhB4CG__graphEdgeUncovered{stroke:var(--bad);stroke-dasharray:9 6}.vc-to-subset-sum-visualization-module__HhB4CG__edgeName{fill:var(--muted);font-size:13px;font-weight:800}.vc-to-subset-sum-visualization-module__HhB4CG__countBadge{fill:var(--card);stroke:color-mix(in srgb, var(--foreground) 45%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__countBadgeCovered{stroke:var(--success);fill:color-mix(in srgb, var(--success) 20%, var(--card))}.vc-to-subset-sum-visualization-module__HhB4CG__countBadgeUncovered{stroke:var(--bad);fill:color-mix(in srgb, var(--bad) 20%, var(--card))}.vc-to-subset-sum-visualization-module__HhB4CG__countGlyph{fill:var(--foreground);font-size:13px;font-weight:900}.vc-to-subset-sum-visualization-module__HhB4CG__node{fill:var(--card);stroke:color-mix(in srgb, var(--foreground) 45%, var(--border));stroke-width:2.4px;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__nodeChosen{fill:color-mix(in srgb, var(--primary) 26%, var(--card));stroke:var(--primary);stroke-width:3.2px}.vc-to-subset-sum-visualization-module__HhB4CG__chosenRing{fill:none;stroke:var(--primary);stroke-width:2.4px;stroke-dasharray:7 5;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__nodeLabel{fill:var(--foreground);font-size:15px;font-weight:850}.vc-to-subset-sum-visualization-module__HhB4CG__axis{stroke:color-mix(in srgb, var(--muted) 65%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__guideTarget{stroke:var(--success);stroke-width:2px;stroke-dasharray:7 5;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__guideMax{stroke:color-mix(in srgb, var(--warning) 80%, var(--foreground));stroke-width:2px;stroke-dasharray:4 5;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__guideCarry{stroke:var(--bad);stroke-width:2px;stroke-dasharray:2 5;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__guideLabelTarget{fill:color-mix(in srgb, var(--success) 82%, var(--foreground));font-size:12px;font-weight:850}.vc-to-subset-sum-visualization-module__HhB4CG__guideLabelMax{fill:color-mix(in srgb, var(--warning) 82%, var(--foreground));font-size:12px;font-weight:850}.vc-to-subset-sum-visualization-module__HhB4CG__guideLabelCarry{fill:color-mix(in srgb, var(--bad) 85%, var(--foreground));font-size:12px;font-weight:850}.vc-to-subset-sum-visualization-module__HhB4CG__barVertex{fill:color-mix(in srgb, var(--primary) 40%, var(--card));stroke:var(--primary);stroke-width:2px;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__barRepair{fill:color-mix(in srgb, var(--warning) 40%, var(--card));stroke:color-mix(in srgb, var(--warning) 80%, var(--foreground));stroke-width:2px;vector-effect:non-scaling-stroke}.vc-to-subset-sum-visualization-module__HhB4CG__barValue{fill:var(--foreground);font-size:13px;font-weight:900}.vc-to-subset-sum-visualization-module__HhB4CG__barValueBad{fill:color-mix(in srgb, var(--bad) 85%, var(--foreground))}.vc-to-subset-sum-visualization-module__HhB4CG__barTick{fill:var(--muted);font-size:12px;font-weight:800}.vc-to-subset-sum-visualization-module__HhB4CG__tableWrap{border:1px solid var(--border);background:var(--card);scrollbar-width:thin;border-radius:.85rem;padding:.6rem;overflow-x:auto}.vc-to-subset-sum-visualization-module__HhB4CG__table{border-collapse:separate;border-spacing:.22rem;width:100%;min-width:34rem}.vc-to-subset-sum-visualization-module__HhB4CG__tableCaption{caption-side:top;color:var(--muted);text-align:start;unicode-bidi:plaintext;padding-block-end:.4rem;font-size:.72rem;font-weight:700}.vc-to-subset-sum-visualization-module__HhB4CG__table th,.vc-to-subset-sum-visualization-module__HhB4CG__table td{border:1px solid var(--border);background:color-mix(in srgb, var(--background) 70%, var(--card));text-align:center;border-radius:.4rem;padding:.4rem .35rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.76rem;font-weight:800}.vc-to-subset-sum-visualization-module__HhB4CG__table thead th{background:var(--accent);color:var(--primary-strong)}.vc-to-subset-sum-visualization-module__HhB4CG__table .vc-to-subset-sum-visualization-module__HhB4CG__rowLabel{text-align:start;white-space:nowrap;unicode-bidi:plaintext}.vc-to-subset-sum-visualization-module__HhB4CG__rowVertex .vc-to-subset-sum-visualization-module__HhB4CG__rowLabel{border-inline-start:3px solid color-mix(in srgb, var(--primary) 70%, var(--border))}.vc-to-subset-sum-visualization-module__HhB4CG__rowEdge .vc-to-subset-sum-visualization-module__HhB4CG__rowLabel{border-inline-start:3px solid color-mix(in srgb, var(--warning) 70%, var(--border))}.vc-to-subset-sum-visualization-module__HhB4CG__table .vc-to-subset-sum-visualization-module__HhB4CG__cellChosen{background:color-mix(in srgb, var(--primary) 20%, var(--card));border-color:var(--primary)}.vc-to-subset-sum-visualization-module__HhB4CG__table .vc-to-subset-sum-visualization-module__HhB4CG__cellRepair{background:color-mix(in srgb, var(--warning) 20%, var(--card));border-color:color-mix(in srgb, var(--warning) 75%, var(--foreground))}.vc-to-subset-sum-visualization-module__HhB4CG__table .vc-to-subset-sum-visualization-module__HhB4CG__cellDim{color:var(--muted);opacity:.55}.vc-to-subset-sum-visualization-module__HhB4CG__table .vc-to-subset-sum-visualization-module__HhB4CG__cellHot{color:var(--foreground);font-weight:900}.vc-to-subset-sum-visualization-module__HhB4CG__rowTotal td{background:color-mix(in srgb, var(--card) 85%, var(--accent));font-weight:900}.vc-to-subset-sum-visualization-module__HhB4CG__table .vc-to-subset-sum-visualization-module__HhB4CG__totalOk{border-color:var(--success);background:color-mix(in srgb, var(--success) 18%, var(--card));color:var(--foreground)}.vc-to-subset-sum-visualization-module__HhB4CG__table .vc-to-subset-sum-visualization-module__HhB4CG__totalBad{border-color:var(--bad);background:color-mix(in srgb, var(--bad) 20%, var(--card));color:var(--foreground)}.vc-to-subset-sum-visualization-module__HhB4CG__rowTarget td{border-color:color-mix(in srgb, var(--success) 55%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.vc-to-subset-sum-visualization-module__HhB4CG__cards{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.vc-to-subset-sum-visualization-module__HhB4CG__card{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.vc-to-subset-sum-visualization-module__HhB4CG__cardWarn{border-inline-start-color:color-mix(in srgb, var(--warning) 85%, var(--foreground))}.vc-to-subset-sum-visualization-module__HhB4CG__card strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.vc-to-subset-sum-visualization-module__HhB4CG__card span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.vc-to-subset-sum-visualization-module__HhB4CG__note{border:1px solid var(--border);background:var(--card);color:var(--muted);text-align:center;unicode-bidi:plaintext;border-radius:.65rem;padding:.5rem .7rem;font-size:.78rem;font-weight:750}.vc-to-subset-sum-visualization-module__HhB4CG__sumBanner{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.65rem .85rem;font-size:.84rem;font-weight:900}.vc-to-subset-sum-visualization-module__HhB4CG__sumBannerBad{border-color:color-mix(in srgb, var(--bad) 55%, var(--border));background:color-mix(in srgb, var(--bad) 10%, var(--card))}.vc-to-subset-sum-visualization-module__HhB4CG__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.86rem;font-weight:850}.vc-to-subset-sum-visualization-module__HhB4CG__swatchBox{border:2px solid var(--border);border-radius:.25rem;width:.85rem;height:.85rem;display:inline-block}.vc-to-subset-sum-visualization-module__HhB4CG__swatchVertexRow{border-color:color-mix(in srgb, var(--primary) 70%, var(--border));background:var(--card)}.vc-to-subset-sum-visualization-module__HhB4CG__swatchEdgeRow{border-color:color-mix(in srgb, var(--warning) 75%, var(--foreground));background:var(--card)}.vc-to-subset-sum-visualization-module__HhB4CG__swatchChosen{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 26%, var(--card))}.vc-to-subset-sum-visualization-module__HhB4CG__swatchRepair{border-color:color-mix(in srgb, var(--warning) 80%, var(--foreground));background:color-mix(in srgb, var(--warning) 40%, var(--card))}.vc-to-subset-sum-visualization-module__HhB4CG__swatchBad{border-color:var(--bad);background:color-mix(in srgb, var(--bad) 20%, var(--card))}.vc-to-subset-sum-visualization-module__HhB4CG__swatchCircle{border-color:var(--success);background:color-mix(in srgb, var(--success) 20%, var(--card));border-radius:999px}@media (max-width:620px){.vc-to-subset-sum-visualization-module__HhB4CG__cards{grid-template-columns:1fr}}
.sat-to-maxis-visualization-module__aN8x6q__stage{--clique-edge:#cf3f3f;--clique-tint:#cf3f3f;--conflict-edge:#1d2030;gap:.9rem;min-width:0;display:grid}.dark .sat-to-maxis-visualization-module__aN8x6q__stage{--clique-edge:#ff8f8f;--clique-tint:#ff8f8f;--conflict-edge:#e6e8f2}.sat-to-maxis-visualization-module__aN8x6q__localizedText{unicode-bidi:plaintext}.sat-to-maxis-visualization-module__aN8x6q__notation{direction:ltr;unicode-bidi:isolate}.sat-to-maxis-visualization-module__aN8x6q__formulaBar{flex-wrap:wrap;justify-content:center;align-items:center;gap:.45rem;display:flex}.sat-to-maxis-visualization-module__aN8x6q__formulaChip{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.34rem .7rem;font-size:.82rem;font-weight:800}.sat-to-maxis-visualization-module__aN8x6q__formulaChipMain{border-color:color-mix(in srgb, var(--primary) 55%, var(--border));background:color-mix(in srgb, var(--primary) 12%, var(--card))}.sat-to-maxis-visualization-module__aN8x6q__formulaChipThreshold{border-color:color-mix(in srgb, var(--success) 50%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.sat-to-maxis-visualization-module__aN8x6q__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.sat-to-maxis-visualization-module__aN8x6q__graphTitle{fill:var(--muted);font-size:15px;font-weight:800}.sat-to-maxis-visualization-module__aN8x6q__clauseHeader{fill:var(--primary-strong);font-size:15px;font-weight:850}.sat-to-maxis-visualization-module__aN8x6q__band{fill:color-mix(in srgb, var(--primary) 10%, transparent);stroke:color-mix(in srgb, var(--primary) 60%, var(--border));stroke-width:2px;stroke-dasharray:8 5;vector-effect:non-scaling-stroke}.sat-to-maxis-visualization-module__aN8x6q__bandLabel{fill:var(--primary-strong);font-size:14px;font-weight:900}.sat-to-maxis-visualization-module__aN8x6q__cliqueEdge{fill:none;stroke:var(--clique-edge);stroke-width:3.4px;stroke-linecap:round;vector-effect:non-scaling-stroke}.sat-to-maxis-visualization-module__aN8x6q__negationEdge{fill:none;stroke:color-mix(in srgb, var(--conflict-edge) 78%, var(--card));stroke-width:2.8px;stroke-dasharray:9 6;stroke-linecap:round;vector-effect:non-scaling-stroke}.sat-to-maxis-visualization-module__aN8x6q__edgeBlocked{stroke-width:5.2px;filter:none}.sat-to-maxis-visualization-module__aN8x6q__blockedBadge{fill:var(--card);stroke:var(--clique-edge);stroke-width:2.2px;vector-effect:non-scaling-stroke}.sat-to-maxis-visualization-module__aN8x6q__blockedGlyph{fill:var(--clique-edge);font-size:16px;font-weight:900}.sat-to-maxis-visualization-module__aN8x6q__blockedCaption{fill:color-mix(in srgb, var(--clique-edge) 82%, var(--foreground));font-size:13px;font-weight:850}.sat-to-maxis-visualization-module__aN8x6q__node{fill:var(--card);stroke:color-mix(in srgb, var(--primary) 55%, var(--border));stroke-width:2.4px;vector-effect:non-scaling-stroke}.sat-to-maxis-visualization-module__aN8x6q__nodeChosen{fill:color-mix(in srgb, var(--success) 24%, var(--card));stroke:var(--success);stroke-width:3px}.sat-to-maxis-visualization-module__aN8x6q__chosenRing{fill:none;stroke:var(--success);stroke-width:2.6px;stroke-dasharray:7 5;vector-effect:non-scaling-stroke}.sat-to-maxis-visualization-module__aN8x6q__nodeLabel{fill:var(--foreground);font-size:15px;font-weight:850}.sat-to-maxis-visualization-module__aN8x6q__checkGlyph{fill:var(--success);font-size:15px;font-weight:900}.sat-to-maxis-visualization-module__aN8x6q__occurrenceNote{fill:var(--muted);font-size:13px;font-weight:750}.sat-to-maxis-visualization-module__aN8x6q__occurrenceLink{fill:none;stroke:color-mix(in srgb, var(--muted) 70%, var(--border));stroke-width:2px;stroke-dasharray:3 5;vector-effect:non-scaling-stroke}.sat-to-maxis-visualization-module__aN8x6q__swatch{border-top:3px solid var(--border);width:1.5rem;height:0;display:inline-block}.sat-to-maxis-visualization-module__aN8x6q__swatchClique{border-top-color:var(--clique-tint)}.sat-to-maxis-visualization-module__aN8x6q__swatchNegation{border-top-style:dashed;border-top-color:color-mix(in srgb, var(--conflict-edge) 80%, var(--card))}.sat-to-maxis-visualization-module__aN8x6q__swatchBox{border:2px solid var(--border);border-radius:.25rem;width:.85rem;height:.85rem;display:inline-block}.sat-to-maxis-visualization-module__aN8x6q__swatchVertex{border-color:color-mix(in srgb, var(--primary) 55%, var(--border));background:var(--card)}.sat-to-maxis-visualization-module__aN8x6q__swatchChosen{border-style:dashed;border-color:var(--success);background:color-mix(in srgb, var(--success) 24%, var(--card))}.sat-to-maxis-visualization-module__aN8x6q__swatchBand{border-style:dashed;border-color:color-mix(in srgb, var(--primary) 60%, var(--border));background:color-mix(in srgb, var(--primary) 10%, var(--card))}.sat-to-maxis-visualization-module__aN8x6q__swatchBlocked{border-color:var(--clique-tint);background:color-mix(in srgb, var(--clique-tint) 20%, var(--card))}.sat-to-maxis-visualization-module__aN8x6q__claims{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.sat-to-maxis-visualization-module__aN8x6q__claimCard{border:1px solid var(--border);border-inline-start:3px solid color-mix(in srgb, var(--muted) 60%, var(--border));background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.sat-to-maxis-visualization-module__aN8x6q__claimCardDone{border-inline-start-color:var(--success);background:color-mix(in srgb, var(--success) 7%, var(--card))}.sat-to-maxis-visualization-module__aN8x6q__claimCard strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.sat-to-maxis-visualization-module__aN8x6q__claimCard span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.sat-to-maxis-visualization-module__aN8x6q__chipRow{flex-wrap:wrap;justify-content:center;align-items:center;gap:.45rem;display:flex}.sat-to-maxis-visualization-module__aN8x6q__chipLabel{color:var(--muted);unicode-bidi:plaintext;font-size:.76rem;font-weight:800}.sat-to-maxis-visualization-module__aN8x6q__chip{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card));color:var(--foreground);border-radius:.5rem;padding:.3rem .6rem;font-size:.8rem;font-weight:850}.sat-to-maxis-visualization-module__aN8x6q__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.86rem;font-weight:850}@media (max-width:620px){.sat-to-maxis-visualization-module__aN8x6q__claims{grid-template-columns:1fr}}
.is-complement-to-maxis-visualization-module__syuHSG__stage{--broken:#cf3f3f;gap:.9rem;min-width:0;display:grid}.dark .is-complement-to-maxis-visualization-module__syuHSG__stage{--broken:#ff8f8f}.is-complement-to-maxis-visualization-module__syuHSG__localizedText{unicode-bidi:plaintext}.is-complement-to-maxis-visualization-module__syuHSG__notation{direction:ltr;unicode-bidi:isolate}.is-complement-to-maxis-visualization-module__syuHSG__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.is-complement-to-maxis-visualization-module__syuHSG__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.32rem .68rem;font-size:.78rem;font-weight:800}.is-complement-to-maxis-visualization-module__syuHSG__ledgerQuestion{border-color:color-mix(in srgb, var(--primary) 55%, var(--border));background:color-mix(in srgb, var(--primary) 12%, var(--card))}.is-complement-to-maxis-visualization-module__syuHSG__ledgerOutput{border-color:color-mix(in srgb, var(--success) 50%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.is-complement-to-maxis-visualization-module__syuHSG__lemmaCard{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;gap:.2rem;padding:.5rem .7rem;display:grid}.is-complement-to-maxis-visualization-module__syuHSG__lemmaCard strong{color:var(--primary-strong);font-size:.79rem;font-weight:900}.is-complement-to-maxis-visualization-module__syuHSG__lemmaCard span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45}.is-complement-to-maxis-visualization-module__syuHSG__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.is-complement-to-maxis-visualization-module__syuHSG__panelFrame{fill:none;stroke:var(--border);stroke-width:2px;stroke-dasharray:4 6;vector-effect:non-scaling-stroke}.is-complement-to-maxis-visualization-module__syuHSG__panelFrameBroken{stroke:color-mix(in srgb, var(--broken) 55%, var(--border));stroke-dasharray:10 6}.is-complement-to-maxis-visualization-module__syuHSG__panelTitle{fill:var(--muted);font-size:15px;font-weight:850}.is-complement-to-maxis-visualization-module__syuHSG__panelTitleBroken{fill:color-mix(in srgb, var(--broken) 85%, var(--foreground))}.is-complement-to-maxis-visualization-module__syuHSG__regionLabel{fill:var(--muted);font-size:13px;font-weight:750}.is-complement-to-maxis-visualization-module__syuHSG__divider{stroke:color-mix(in srgb, var(--muted) 55%, var(--border));stroke-width:2px;stroke-dasharray:5 7;vector-effect:non-scaling-stroke}.is-complement-to-maxis-visualization-module__syuHSG__dividerNote{fill:var(--muted);font-size:12px;font-weight:700}.is-complement-to-maxis-visualization-module__syuHSG__cycleEdge{fill:none;stroke:color-mix(in srgb, var(--foreground) 62%, var(--card));stroke-width:3.2px;stroke-linecap:round;vector-effect:non-scaling-stroke}.is-complement-to-maxis-visualization-module__syuHSG__joinEdge{fill:none;stroke:color-mix(in srgb, var(--primary) 62%, var(--card));stroke-width:1.5px;stroke-linecap:round;vector-effect:non-scaling-stroke}.is-complement-to-maxis-visualization-module__syuHSG__node{fill:var(--card);stroke:color-mix(in srgb, var(--foreground) 45%, var(--border));stroke-width:2.4px;vector-effect:non-scaling-stroke}.is-complement-to-maxis-visualization-module__syuHSG__nodePlanted{fill:color-mix(in srgb, var(--primary) 18%, var(--card));stroke:var(--primary);stroke-dasharray:6 4}.is-complement-to-maxis-visualization-module__syuHSG__nodeWitness{fill:color-mix(in srgb, var(--success) 26%, var(--card));stroke:var(--success);stroke-width:3px;stroke-dasharray:none}.is-complement-to-maxis-visualization-module__syuHSG__nodeWitnessBroken{fill:color-mix(in srgb, var(--broken) 24%, var(--card));stroke:var(--broken);stroke-width:3px;stroke-dasharray:none}.is-complement-to-maxis-visualization-module__syuHSG__witnessRing{fill:none;stroke:var(--success);stroke-width:2.4px;stroke-dasharray:7 5;vector-effect:non-scaling-stroke}.is-complement-to-maxis-visualization-module__syuHSG__witnessRingBroken{stroke:var(--broken)}.is-complement-to-maxis-visualization-module__syuHSG__nodeLabel{fill:var(--foreground);font-size:15px;font-weight:850}.is-complement-to-maxis-visualization-module__syuHSG__markGlyph{fill:var(--success);font-size:14px;font-weight:900}.is-complement-to-maxis-visualization-module__syuHSG__markGlyphBroken{fill:var(--broken)}.is-complement-to-maxis-visualization-module__syuHSG__badge{fill:color-mix(in srgb, var(--success) 84%, var(--foreground));font-size:14px;font-weight:900}.is-complement-to-maxis-visualization-module__syuHSG__badgeNeutral{fill:var(--muted)}.is-complement-to-maxis-visualization-module__syuHSG__badgeBroken{fill:color-mix(in srgb, var(--broken) 85%, var(--foreground))}.is-complement-to-maxis-visualization-module__syuHSG__swatchBox{border:2px solid var(--border);border-radius:999px;width:.85rem;height:.85rem;display:inline-block}.is-complement-to-maxis-visualization-module__syuHSG__swatchOld{border-color:color-mix(in srgb, var(--foreground) 45%, var(--border));background:var(--card)}.is-complement-to-maxis-visualization-module__syuHSG__swatchPlanted{border-style:dashed;border-color:var(--primary);background:color-mix(in srgb, var(--primary) 18%, var(--card))}.is-complement-to-maxis-visualization-module__syuHSG__swatchWitness{border-color:var(--success);background:color-mix(in srgb, var(--success) 26%, var(--card))}.is-complement-to-maxis-visualization-module__syuHSG__swatchLine{border-top:3px solid color-mix(in srgb, var(--foreground) 62%, var(--card));width:1.5rem;height:0;display:inline-block}.is-complement-to-maxis-visualization-module__syuHSG__swatchJoin{border-top-width:1.5px;border-top-color:color-mix(in srgb, var(--primary) 62%, var(--card))}.is-complement-to-maxis-visualization-module__syuHSG__claims{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.is-complement-to-maxis-visualization-module__syuHSG__claimCard{border:1px solid var(--border);border-inline-start:3px solid var(--success);background:color-mix(in srgb, var(--success) 7%, var(--card));unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.is-complement-to-maxis-visualization-module__syuHSG__claimCard strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.is-complement-to-maxis-visualization-module__syuHSG__claimCard span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.is-complement-to-maxis-visualization-module__syuHSG__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.86rem;font-weight:850}@media (max-width:620px){.is-complement-to-maxis-visualization-module__syuHSG__claims{grid-template-columns:1fr}}
.vc-to-3h-vc-visualization-module__0VcuSG__stage{gap:.9rem;min-width:0;display:grid}.vc-to-3h-vc-visualization-module__0VcuSG__localizedText{unicode-bidi:plaintext}.vc-to-3h-vc-visualization-module__0VcuSG__notation{direction:ltr;unicode-bidi:isolate}.vc-to-3h-vc-visualization-module__0VcuSG__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.vc-to-3h-vc-visualization-module__0VcuSG__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.32rem .68rem;font-size:.78rem;font-weight:800}.vc-to-3h-vc-visualization-module__0VcuSG__ledgerSource{border-color:color-mix(in srgb, var(--primary) 50%, var(--border));background:color-mix(in srgb, var(--primary) 10%, var(--card))}.vc-to-3h-vc-visualization-module__0VcuSG__ledgerTarget{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card))}.vc-to-3h-vc-visualization-module__0VcuSG__ledgerPair{border-color:color-mix(in srgb, var(--primary) 45%, var(--border))}.vc-to-3h-vc-visualization-module__0VcuSG__ledgerTriple{border-color:color-mix(in srgb, var(--success) 50%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.vc-to-3h-vc-visualization-module__0VcuSG__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.vc-to-3h-vc-visualization-module__0VcuSG__panelFrame{fill:color-mix(in srgb, var(--card) 82%, var(--accent));stroke:var(--border);stroke-width:1.5px;vector-effect:non-scaling-stroke}.vc-to-3h-vc-visualization-module__0VcuSG__panelTitle{fill:var(--muted);font-size:15px;font-weight:850}.vc-to-3h-vc-visualization-module__0VcuSG__panelCaption{fill:color-mix(in srgb, var(--success) 80%, var(--foreground));font-size:13.5px;font-weight:850}.vc-to-3h-vc-visualization-module__0VcuSG__panelCaptionWitness{fill:color-mix(in srgb, var(--warning) 82%, var(--foreground));font-size:13.5px;font-weight:850}.vc-to-3h-vc-visualization-module__0VcuSG__mapArrow{stroke:var(--muted);stroke-width:3px;vector-effect:non-scaling-stroke}.vc-to-3h-vc-visualization-module__0VcuSG__mapArrowLabel{fill:var(--muted);font-size:15px;font-weight:900}.vc-to-3h-vc-visualization-module__0VcuSG__blob{fill:color-mix(in srgb, var(--primary) 12%, transparent);stroke:color-mix(in srgb, var(--primary) 70%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.vc-to-3h-vc-visualization-module__0VcuSG__blobHit{fill:color-mix(in srgb, var(--success) 15%, transparent);stroke:var(--success);stroke-width:3px}.vc-to-3h-vc-visualization-module__0VcuSG__blobDashA{stroke-dasharray:none}.vc-to-3h-vc-visualization-module__0VcuSG__blobDashB{stroke-dasharray:10 6}.vc-to-3h-vc-visualization-module__0VcuSG__blobDashC{stroke-dasharray:2 5;stroke-linecap:round}.vc-to-3h-vc-visualization-module__0VcuSG__blobDashD{stroke-dasharray:14 5 3 5}.vc-to-3h-vc-visualization-module__0VcuSG__blobLabel{fill:var(--muted);font-size:12px;font-weight:850}.vc-to-3h-vc-visualization-module__0VcuSG__blobLabelHit{fill:color-mix(in srgb, var(--success) 80%, var(--foreground));font-size:12px;font-weight:850}.vc-to-3h-vc-visualization-module__0VcuSG__edgeOriginal{stroke:color-mix(in srgb, var(--primary) 75%, var(--muted));stroke-width:4px;stroke-linecap:round;vector-effect:non-scaling-stroke}.vc-to-3h-vc-visualization-module__0VcuSG__edgeCovered{stroke:var(--success);stroke-width:4.5px}.vc-to-3h-vc-visualization-module__0VcuSG__edgeLabel{fill:var(--muted);font-size:12px;font-weight:800}.vc-to-3h-vc-visualization-module__0VcuSG__repairArrow{fill:none;stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:3.5px;stroke-dasharray:9 5;vector-effect:non-scaling-stroke}.vc-to-3h-vc-visualization-module__0VcuSG__repairHead{fill:color-mix(in srgb, var(--warning) 85%, var(--foreground))}.vc-to-3h-vc-visualization-module__0VcuSG__nodeOriginal{fill:color-mix(in srgb, var(--primary) 24%, var(--card));stroke:var(--primary);stroke-width:2.5px;vector-effect:non-scaling-stroke}.vc-to-3h-vc-visualization-module__0VcuSG__nodeNew{fill:color-mix(in srgb, var(--warning) 24%, var(--card));stroke:color-mix(in srgb, var(--warning) 80%, var(--foreground));stroke-width:2.5px;vector-effect:non-scaling-stroke}.vc-to-3h-vc-visualization-module__0VcuSG__nodeLabel{fill:var(--foreground);font-size:15px;font-weight:900}.vc-to-3h-vc-visualization-module__0VcuSG__nodeLabelSmall{fill:var(--foreground);font-size:11.5px;font-weight:850}.vc-to-3h-vc-visualization-module__0VcuSG__coverRing{fill:none;stroke:var(--success);stroke-width:4px;vector-effect:non-scaling-stroke}.vc-to-3h-vc-visualization-module__0VcuSG__witnessRing{fill:none;stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:4px;stroke-dasharray:7 5;vector-effect:non-scaling-stroke}.vc-to-3h-vc-visualization-module__0VcuSG__warning{border:1px solid color-mix(in srgb, var(--warning) 55%, var(--border));border-inline-start:4px solid var(--warning);background:color-mix(in srgb, var(--warning) 10%, var(--card));unicode-bidi:plaintext;border-radius:.7rem;gap:.25rem;padding:.6rem .75rem;display:grid}.vc-to-3h-vc-visualization-module__0VcuSG__warning strong{color:var(--foreground);font-size:.83rem;font-weight:900}.vc-to-3h-vc-visualization-module__0VcuSG__warning span{color:var(--muted);font-size:.78rem;font-weight:650;line-height:1.5}.vc-to-3h-vc-visualization-module__0VcuSG__swatch{border:2px solid var(--border);border-radius:999px;width:.85rem;height:.85rem;display:inline-block}.vc-to-3h-vc-visualization-module__0VcuSG__swatchVertex{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 24%, var(--card))}.vc-to-3h-vc-visualization-module__0VcuSG__swatchNew{border-color:color-mix(in srgb, var(--warning) 80%, var(--foreground));background:color-mix(in srgb, var(--warning) 24%, var(--card));border-radius:.2rem}.vc-to-3h-vc-visualization-module__0VcuSG__swatchArea{border-color:color-mix(in srgb, var(--primary) 70%, var(--border));background:color-mix(in srgb, var(--primary) 20%, var(--card));border-radius:.55rem;width:1.5rem}.vc-to-3h-vc-visualization-module__0VcuSG__swatchAreaHit{border-color:var(--success);background:color-mix(in srgb, var(--success) 26%, var(--card));border-radius:.55rem;width:1.5rem}.vc-to-3h-vc-visualization-module__0VcuSG__swatchCover{border-color:var(--success);background:color-mix(in srgb, var(--success) 26%, var(--card))}.vc-to-3h-vc-visualization-module__0VcuSG__swatchWitness{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 85%, var(--foreground));background:color-mix(in srgb, var(--warning) 14%, var(--card))}.vc-to-3h-vc-visualization-module__0VcuSG__swatchRepair{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 85%, var(--foreground));background:color-mix(in srgb, var(--warning) 30%, var(--card));border-radius:.2rem}.vc-to-3h-vc-visualization-module__0VcuSG__swatchEdge{background:color-mix(in srgb, var(--primary) 75%, var(--muted));border:none;border-radius:999px;width:1.5rem;height:.3rem}.vc-to-3h-vc-visualization-module__0VcuSG__cards{grid-template-columns:repeat(3,minmax(0,1fr));gap:.55rem;display:grid}.vc-to-3h-vc-visualization-module__0VcuSG__card{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.vc-to-3h-vc-visualization-module__0VcuSG__card strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.vc-to-3h-vc-visualization-module__0VcuSG__card span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.vc-to-3h-vc-visualization-module__0VcuSG__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.88rem;font-weight:800}@media (max-width:620px){.vc-to-3h-vc-visualization-module__0VcuSG__cards{grid-template-columns:1fr}}
.maxcut-multi-to-simple-visualization-module__AjLRSG__stage{gap:.9rem;min-width:0;display:grid}.maxcut-multi-to-simple-visualization-module__AjLRSG__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.maxcut-multi-to-simple-visualization-module__AjLRSG__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);direction:ltr;unicode-bidi:isolate;border-radius:999px;padding:.32rem .62rem;font-size:.78rem;font-weight:800}.maxcut-multi-to-simple-visualization-module__AjLRSG__ledgerTarget{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card))}.maxcut-multi-to-simple-visualization-module__AjLRSG__ledgerCount{border-color:color-mix(in srgb, var(--primary) 50%, var(--border));background:color-mix(in srgb, var(--primary) 10%, var(--card))}.maxcut-multi-to-simple-visualization-module__AjLRSG__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.maxcut-multi-to-simple-visualization-module__AjLRSG__panel{fill:var(--card);stroke:var(--border);stroke-width:1.5px;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__panelPending{fill:color-mix(in srgb, var(--card) 70%, transparent);stroke:var(--border);stroke-width:1.5px;stroke-dasharray:8 6;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__panelTitle{fill:var(--muted);font-size:17.5px;font-weight:850}.maxcut-multi-to-simple-visualization-module__AjLRSG__placeholderText{fill:color-mix(in srgb, var(--muted) 80%, transparent);font-size:15px;font-weight:750}.maxcut-multi-to-simple-visualization-module__AjLRSG__edge{fill:none;stroke:color-mix(in srgb, var(--muted) 62%, var(--border));stroke-width:3px;stroke-linecap:round;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__edgeSource{stroke:color-mix(in srgb, var(--primary) 62%, var(--muted));stroke-width:3.5px}.maxcut-multi-to-simple-visualization-module__AjLRSG__edgeHighlighted{stroke:color-mix(in srgb, var(--warning) 80%, var(--foreground));stroke-width:5px}.maxcut-multi-to-simple-visualization-module__AjLRSG__edgeCrossing{stroke:var(--success);stroke-width:5.5px}.maxcut-multi-to-simple-visualization-module__AjLRSG__edgePlain{stroke:color-mix(in srgb, var(--muted) 45%, var(--border));stroke-width:2.5px;stroke-dasharray:3 6}.maxcut-multi-to-simple-visualization-module__AjLRSG__crossTick{stroke:var(--success);stroke-width:4px;stroke-linecap:round;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__edgeLabel{fill:var(--muted);font-size:15px;font-weight:850}.maxcut-multi-to-simple-visualization-module__AjLRSG__nodeBase{fill:color-mix(in srgb, var(--primary) 16%, var(--card));stroke:color-mix(in srgb, var(--primary) 70%, var(--foreground));stroke-width:2.5px;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__nodePrivate{fill:color-mix(in srgb, var(--card) 92%, var(--accent));stroke:color-mix(in srgb, var(--muted) 70%, var(--border));stroke-width:2.5px;stroke-dasharray:5 4;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__nodeSideIn{fill:color-mix(in srgb, var(--primary) 26%, var(--card));stroke:var(--primary);stroke-width:3px;stroke-dasharray:none;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__nodeSideOut{fill:color-mix(in srgb, var(--warning) 26%, var(--card));stroke:color-mix(in srgb, var(--warning) 82%, var(--foreground));stroke-width:3px;stroke-dasharray:6 4;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__nodeLabel{fill:var(--foreground);font-size:15px;font-weight:850}.maxcut-multi-to-simple-visualization-module__AjLRSG__nodeLabelSmall{fill:var(--foreground);font-size:13.5px;font-weight:800}.maxcut-multi-to-simple-visualization-module__AjLRSG__focusRing{fill:none;stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:3px;stroke-dasharray:5 5;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__callout{fill:color-mix(in srgb, var(--warning) 80%, var(--foreground));font-size:15px;font-weight:850}.maxcut-multi-to-simple-visualization-module__AjLRSG__badgeBox{fill:color-mix(in srgb, var(--success) 16%, var(--card));stroke:var(--success);stroke-width:2px;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__badgeBoxTax{fill:color-mix(in srgb, var(--muted) 14%, var(--card));stroke:color-mix(in srgb, var(--muted) 70%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__badgeText{fill:var(--foreground);font-size:15px;font-weight:900}.maxcut-multi-to-simple-visualization-module__AjLRSG__sideTag{fill:var(--muted);font-size:14.5px;font-weight:850}.maxcut-multi-to-simple-visualization-module__AjLRSG__parityTitle{fill:var(--foreground);font-size:17.5px;font-weight:900}.maxcut-multi-to-simple-visualization-module__AjLRSG__paritySubtitle{fill:var(--muted);font-size:15.5px;font-weight:850}.maxcut-multi-to-simple-visualization-module__AjLRSG__stripLink{stroke:color-mix(in srgb, var(--muted) 45%, var(--border));stroke-width:3px;stroke-linecap:round;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__stripLinkCut{stroke:var(--success);stroke-width:5px;stroke-linecap:round;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__stripCount{fill:var(--foreground);font-size:15px;font-weight:900}.maxcut-multi-to-simple-visualization-module__AjLRSG__stripPick{fill:none;stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:2.5px;stroke-dasharray:6 5;vector-effect:non-scaling-stroke}.maxcut-multi-to-simple-visualization-module__AjLRSG__stripPickLabel{fill:color-mix(in srgb, var(--warning) 82%, var(--foreground));font-size:14px;font-weight:850}.maxcut-multi-to-simple-visualization-module__AjLRSG__swatch{border:2px solid var(--border);border-radius:999px;width:.85rem;height:.85rem;display:inline-block}.maxcut-multi-to-simple-visualization-module__AjLRSG__swatchOriginal{border-color:color-mix(in srgb, var(--primary) 70%, var(--foreground));background:color-mix(in srgb, var(--primary) 16%, var(--card))}.maxcut-multi-to-simple-visualization-module__AjLRSG__swatchPrivate{border-style:dashed;border-color:color-mix(in srgb, var(--muted) 70%, var(--border));background:color-mix(in srgb, var(--card) 92%, var(--accent))}.maxcut-multi-to-simple-visualization-module__AjLRSG__swatchSideIn{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 26%, var(--card))}.maxcut-multi-to-simple-visualization-module__AjLRSG__swatchSideOut{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 82%, var(--foreground));background:color-mix(in srgb, var(--warning) 26%, var(--card))}.maxcut-multi-to-simple-visualization-module__AjLRSG__swatchCrossing{background:var(--success);border:none;border-radius:999px;width:1.15rem;height:.32rem}.maxcut-multi-to-simple-visualization-module__AjLRSG__swatchPlain{background:repeating-linear-gradient(90deg, color-mix(in srgb, var(--muted) 60%, var(--border)) 0 3px, transparent 3px 7px);border:none;border-radius:999px;width:1.15rem;height:.2rem}.maxcut-multi-to-simple-visualization-module__AjLRSG__results{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.maxcut-multi-to-simple-visualization-module__AjLRSG__resultCard{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.maxcut-multi-to-simple-visualization-module__AjLRSG__resultCard strong{color:var(--primary-strong);direction:ltr;unicode-bidi:isolate;margin-block-end:.22rem;font-size:.8rem;font-weight:900;display:block}.maxcut-multi-to-simple-visualization-module__AjLRSG__resultCard span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.maxcut-multi-to-simple-visualization-module__AjLRSG__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.86rem;font-weight:800}@media (max-width:620px){.maxcut-multi-to-simple-visualization-module__AjLRSG__results{grid-template-columns:1fr}}
.vc-to-modest-visualization-module__Zm2X3q__stage{gap:.9rem;min-width:0;display:grid}.vc-to-modest-visualization-module__Zm2X3q__localizedText{unicode-bidi:plaintext}.vc-to-modest-visualization-module__Zm2X3q__notation{direction:ltr;unicode-bidi:isolate}.vc-to-modest-visualization-module__Zm2X3q__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.vc-to-modest-visualization-module__Zm2X3q__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.32rem .68rem;font-size:.78rem;font-weight:800}.vc-to-modest-visualization-module__Zm2X3q__ledgerSource{border-color:color-mix(in srgb, var(--primary) 50%, var(--border));background:color-mix(in srgb, var(--primary) 10%, var(--card))}.vc-to-modest-visualization-module__Zm2X3q__ledgerTarget{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card))}.vc-to-modest-visualization-module__Zm2X3q__ledgerRule{border-color:color-mix(in srgb, var(--success) 50%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.vc-to-modest-visualization-module__Zm2X3q__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.vc-to-modest-visualization-module__Zm2X3q__panelFrame{fill:color-mix(in srgb, var(--card) 82%, var(--accent));stroke:var(--border);stroke-width:1.5px;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__panelTitle{fill:var(--muted);font-size:15px;font-weight:850}.vc-to-modest-visualization-module__Zm2X3q__panelCaption{fill:color-mix(in srgb, var(--success) 80%, var(--foreground));font-size:13.5px;font-weight:850}.vc-to-modest-visualization-module__Zm2X3q__panelCaptionWitness{fill:color-mix(in srgb, var(--warning) 82%, var(--foreground));font-size:13.5px;font-weight:850}.vc-to-modest-visualization-module__Zm2X3q__panelCaptionMuted{fill:var(--muted);font-size:13px;font-weight:800}.vc-to-modest-visualization-module__Zm2X3q__panelCaptionBad{fill:color-mix(in srgb, var(--warning) 88%, var(--foreground));font-size:13px;font-weight:850}.vc-to-modest-visualization-module__Zm2X3q__mapArrow{stroke:var(--muted);stroke-width:3px;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__mapArrowLabel{fill:var(--muted);font-size:15px;font-weight:900}.vc-to-modest-visualization-module__Zm2X3q__edgeOriginal{stroke:color-mix(in srgb, var(--primary) 72%, var(--muted));stroke-width:3.5px;stroke-linecap:round;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__edgeLeaf{stroke:color-mix(in srgb, var(--warning) 68%, var(--muted));stroke-width:3px;stroke-dasharray:8 4;stroke-linecap:round;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__edgeGone{opacity:.22}.vc-to-modest-visualization-module__Zm2X3q__repairArrow{fill:none;stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:3.5px;stroke-dasharray:9 5;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__repairHead{fill:color-mix(in srgb, var(--warning) 85%, var(--foreground))}.vc-to-modest-visualization-module__Zm2X3q__nodeOriginal{fill:color-mix(in srgb, var(--primary) 24%, var(--card));stroke:var(--primary);stroke-width:2.5px;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__nodeLeaf{fill:color-mix(in srgb, var(--warning) 26%, var(--card));stroke:color-mix(in srgb, var(--warning) 80%, var(--foreground));stroke-width:2.5px;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__nodeRemoved{fill:color-mix(in srgb, var(--muted) 14%, var(--card));stroke:var(--muted);stroke-width:2px;stroke-dasharray:5 4;vector-effect:non-scaling-stroke;opacity:.65}.vc-to-modest-visualization-module__Zm2X3q__nodeLabel{fill:var(--foreground);font-size:15px;font-weight:900}.vc-to-modest-visualization-module__Zm2X3q__nodeLabelSmall{fill:var(--foreground);font-size:12px;font-weight:850}.vc-to-modest-visualization-module__Zm2X3q__nodeLabelFaded{fill:var(--muted);font-size:14px;font-weight:900}.vc-to-modest-visualization-module__Zm2X3q__strike{stroke:var(--muted);stroke-width:3px;stroke-linecap:round;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__coverRing{fill:none;stroke:var(--success);stroke-width:4px;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__witnessRing{fill:none;stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:4px;stroke-dasharray:7 5;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__degreeBadge{fill:color-mix(in srgb, var(--success) 22%, var(--card));stroke:var(--success);stroke-width:2px;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__degreeBadgeOver{fill:color-mix(in srgb, var(--warning) 30%, var(--card));stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:2.5px;vector-effect:non-scaling-stroke}.vc-to-modest-visualization-module__Zm2X3q__degreeText{fill:var(--foreground);font-size:11.5px;font-weight:900}.vc-to-modest-visualization-module__Zm2X3q__warning{border:1px solid color-mix(in srgb, var(--warning) 55%, var(--border));border-inline-start:4px solid var(--warning);background:color-mix(in srgb, var(--warning) 10%, var(--card));unicode-bidi:plaintext;border-radius:.7rem;gap:.25rem;padding:.6rem .75rem;display:grid}.vc-to-modest-visualization-module__Zm2X3q__warning strong{color:var(--foreground);font-size:.83rem;font-weight:900}.vc-to-modest-visualization-module__Zm2X3q__warning span{color:var(--muted);font-size:.78rem;font-weight:650;line-height:1.5}.vc-to-modest-visualization-module__Zm2X3q__swatch{border:2px solid var(--border);border-radius:999px;width:.85rem;height:.85rem;display:inline-block}.vc-to-modest-visualization-module__Zm2X3q__swatchVertex{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 24%, var(--card))}.vc-to-modest-visualization-module__Zm2X3q__swatchLeaf{border-color:color-mix(in srgb, var(--warning) 80%, var(--foreground));background:color-mix(in srgb, var(--warning) 26%, var(--card));width:.6rem;height:.6rem}.vc-to-modest-visualization-module__Zm2X3q__swatchEdge{background:color-mix(in srgb, var(--primary) 72%, var(--muted));border:none;border-radius:999px;width:1.5rem;height:.28rem}.vc-to-modest-visualization-module__Zm2X3q__swatchLeafEdge{border:none;border-block-start:3px dashed color-mix(in srgb, var(--warning) 68%, var(--muted));border-radius:0;width:1.5rem;height:0}.vc-to-modest-visualization-module__Zm2X3q__swatchCover{border-color:var(--success);background:color-mix(in srgb, var(--success) 26%, var(--card))}.vc-to-modest-visualization-module__Zm2X3q__swatchRemoved{border-style:dashed;border-color:var(--muted);background:color-mix(in srgb, var(--muted) 14%, var(--card))}.vc-to-modest-visualization-module__Zm2X3q__swatchDegree{border-color:var(--success);background:color-mix(in srgb, var(--success) 22%, var(--card))}.vc-to-modest-visualization-module__Zm2X3q__swatchOver{border-color:color-mix(in srgb, var(--warning) 85%, var(--foreground));background:color-mix(in srgb, var(--warning) 30%, var(--card))}.vc-to-modest-visualization-module__Zm2X3q__swatchWitness{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 85%, var(--foreground));background:color-mix(in srgb, var(--warning) 14%, var(--card))}.vc-to-modest-visualization-module__Zm2X3q__swatchRepair{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 85%, var(--foreground));background:color-mix(in srgb, var(--warning) 30%, var(--card));border-radius:.2rem}.vc-to-modest-visualization-module__Zm2X3q__cards{grid-template-columns:repeat(3,minmax(0,1fr));gap:.55rem;display:grid}.vc-to-modest-visualization-module__Zm2X3q__card{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.vc-to-modest-visualization-module__Zm2X3q__card strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.vc-to-modest-visualization-module__Zm2X3q__card span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.vc-to-modest-visualization-module__Zm2X3q__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.88rem;font-weight:800}@media (max-width:620px){.vc-to-modest-visualization-module__Zm2X3q__cards{grid-template-columns:1fr}}
.dhc-to-uhc-visualization-module__5_IlrG__stage{gap:.9rem;min-width:0;display:grid}.dhc-to-uhc-visualization-module__5_IlrG__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.dhc-to-uhc-visualization-module__5_IlrG__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);direction:ltr;unicode-bidi:isolate;border-radius:999px;padding:.32rem .62rem;font-size:.78rem;font-weight:800}.dhc-to-uhc-visualization-module__5_IlrG__ledgerCycle{border-color:color-mix(in srgb, var(--success) 50%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.dhc-to-uhc-visualization-module__5_IlrG__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.dhc-to-uhc-visualization-module__5_IlrG__panel{fill:var(--card);stroke:var(--border);stroke-width:1.5px;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__panelPending{fill:color-mix(in srgb, var(--card) 70%, transparent);stroke:var(--border);stroke-width:1.5px;stroke-dasharray:8 6;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__panelTitle{fill:var(--muted);font-size:17.5px;font-weight:850}.dhc-to-uhc-visualization-module__5_IlrG__placeholderText{fill:color-mix(in srgb, var(--muted) 80%, transparent);font-size:15px;font-weight:750}.dhc-to-uhc-visualization-module__5_IlrG__arc{fill:none;stroke:color-mix(in srgb, var(--primary) 62%, var(--muted));stroke-width:3.2px;stroke-linecap:round;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__arcHead{fill:color-mix(in srgb, var(--primary) 62%, var(--muted))}.dhc-to-uhc-visualization-module__5_IlrG__arcOnCycle{stroke:var(--success);stroke-width:5px}.dhc-to-uhc-visualization-module__5_IlrG__arcHeadOnCycle{fill:var(--success)}.dhc-to-uhc-visualization-module__5_IlrG__arcLabel{fill:var(--muted);font-size:14.5px;font-weight:800}.dhc-to-uhc-visualization-module__5_IlrG__wedge{fill:none;stroke:color-mix(in srgb, var(--primary) 14%, var(--card));stroke-width:58px;stroke-linecap:round;opacity:.95}.dhc-to-uhc-visualization-module__5_IlrG__wedgeAlt{stroke:color-mix(in srgb, var(--warning) 11%, var(--card))}.dhc-to-uhc-visualization-module__5_IlrG__wedgeLabel{fill:var(--muted);font-size:13px;font-weight:850}.dhc-to-uhc-visualization-module__5_IlrG__edge{fill:none;stroke:color-mix(in srgb, var(--muted) 58%, var(--border));stroke-width:3px;stroke-linecap:round;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__edgeArc{stroke:color-mix(in srgb, var(--primary) 70%, var(--muted));stroke-width:3.4px;stroke-dasharray:10 5}.dhc-to-uhc-visualization-module__5_IlrG__edgeOnCycle{stroke:var(--success);stroke-width:6px;stroke-dasharray:none}.dhc-to-uhc-visualization-module__5_IlrG__edgeUnused{stroke:color-mix(in srgb, var(--muted) 45%, var(--border));stroke-width:2.4px;stroke-dasharray:3 6}.dhc-to-uhc-visualization-module__5_IlrG__chevron{fill:var(--card);stroke:color-mix(in srgb, var(--success) 80%, var(--foreground));stroke-width:1.6px;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__nodeIn{fill:color-mix(in srgb, var(--primary) 24%, var(--card));stroke:var(--primary);stroke-width:2.6px;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__nodeMid{fill:color-mix(in srgb, var(--card) 90%, var(--foreground));stroke:color-mix(in srgb, var(--foreground) 62%, var(--border));stroke-width:2.8px;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__nodeOut{fill:color-mix(in srgb, var(--warning) 24%, var(--card));stroke:color-mix(in srgb, var(--warning) 82%, var(--foreground));stroke-width:2.6px;stroke-dasharray:6 4;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__nodePlain{fill:color-mix(in srgb, var(--primary) 16%, var(--card));stroke:color-mix(in srgb, var(--primary) 70%, var(--foreground));stroke-width:2.6px;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__nodeLabel{fill:var(--foreground);font-size:15px;font-weight:850}.dhc-to-uhc-visualization-module__5_IlrG__roleTag{fill:var(--muted);font-size:13.5px;font-weight:800}.dhc-to-uhc-visualization-module__5_IlrG__focusRing{fill:none;stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:3px;stroke-dasharray:5 5;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__noteStrong{fill:var(--foreground);font-size:17px;font-weight:900}.dhc-to-uhc-visualization-module__5_IlrG__note{fill:var(--muted);font-size:15px;font-weight:750}.dhc-to-uhc-visualization-module__5_IlrG__chordNote{fill:color-mix(in srgb, var(--muted) 85%, var(--foreground));font-size:14.5px;font-weight:800}.dhc-to-uhc-visualization-module__5_IlrG__stripTitle{fill:var(--foreground);font-size:17px;font-weight:900}.dhc-to-uhc-visualization-module__5_IlrG__stripBox{fill:var(--card);stroke:color-mix(in srgb, var(--success) 55%, var(--border));stroke-width:2.2px;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__stripBoxIn{fill:color-mix(in srgb, var(--primary) 18%, var(--card))}.dhc-to-uhc-visualization-module__5_IlrG__stripBoxMid{fill:color-mix(in srgb, var(--card) 90%, var(--foreground))}.dhc-to-uhc-visualization-module__5_IlrG__stripBoxOut{fill:color-mix(in srgb, var(--warning) 18%, var(--card))}.dhc-to-uhc-visualization-module__5_IlrG__stripLabel{fill:var(--foreground);font-size:15px;font-weight:900}.dhc-to-uhc-visualization-module__5_IlrG__stripRole{fill:var(--muted);font-size:12.5px;font-weight:800}.dhc-to-uhc-visualization-module__5_IlrG__stripArrow{fill:none;stroke:var(--success);stroke-width:2.6px;stroke-linecap:round;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__stripArrowHead{fill:var(--success)}.dhc-to-uhc-visualization-module__5_IlrG__stripReturn{fill:none;stroke:var(--success);stroke-width:2.6px;stroke-dasharray:8 5;stroke-linecap:round;vector-effect:non-scaling-stroke}.dhc-to-uhc-visualization-module__5_IlrG__stripReturnLabel{fill:color-mix(in srgb, var(--success) 80%, var(--foreground));font-size:14px;font-weight:800}.dhc-to-uhc-visualization-module__5_IlrG__swatch{border:2px solid var(--border);border-radius:999px;width:.85rem;height:.85rem;display:inline-block}.dhc-to-uhc-visualization-module__5_IlrG__swatchIn{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 24%, var(--card))}.dhc-to-uhc-visualization-module__5_IlrG__swatchMid{border-color:color-mix(in srgb, var(--foreground) 62%, var(--border));background:color-mix(in srgb, var(--card) 90%, var(--foreground));border-radius:.2rem}.dhc-to-uhc-visualization-module__5_IlrG__swatchOut{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 82%, var(--foreground));background:color-mix(in srgb, var(--warning) 24%, var(--card))}.dhc-to-uhc-visualization-module__5_IlrG__swatchLine{background:color-mix(in srgb, var(--muted) 58%, var(--border));border:none;border-radius:999px;width:1.15rem;height:.24rem}.dhc-to-uhc-visualization-module__5_IlrG__swatchLineArc{background:repeating-linear-gradient(90deg, color-mix(in srgb, var(--primary) 70%, var(--muted)) 0 6px, transparent 6px 9px);border:none;border-radius:999px;width:1.15rem;height:.24rem}.dhc-to-uhc-visualization-module__5_IlrG__swatchCycle{background:var(--success);border:none;border-radius:999px;width:1.15rem;height:.34rem}.dhc-to-uhc-visualization-module__5_IlrG__swatchUnused{background:repeating-linear-gradient(90deg, color-mix(in srgb, var(--muted) 55%, var(--border)) 0 3px, transparent 3px 7px);border:none;border-radius:999px;width:1.15rem;height:.2rem}.dhc-to-uhc-visualization-module__5_IlrG__summary{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.dhc-to-uhc-visualization-module__5_IlrG__summaryCard{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.dhc-to-uhc-visualization-module__5_IlrG__summaryCard strong{color:var(--primary-strong);direction:ltr;unicode-bidi:isolate;margin-block-end:.22rem;font-size:.8rem;font-weight:900;display:block}.dhc-to-uhc-visualization-module__5_IlrG__summaryCard span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.dhc-to-uhc-visualization-module__5_IlrG__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.86rem;font-weight:800}@media (max-width:620px){.dhc-to-uhc-visualization-module__5_IlrG__summary{grid-template-columns:1fr}}
.sat-to-4nae-visualization-module__ZbomBq__stage{--nae-true:#15803d;--nae-false:#b45309;--nae-fresh:#6d28d9;--nae-bad:#b91c1c;gap:.85rem;min-width:0;display:grid}.dark .sat-to-4nae-visualization-module__ZbomBq__stage{--nae-true:#4ade80;--nae-false:#fbbf24;--nae-fresh:#c084fc;--nae-bad:#fca5a5}.sat-to-4nae-visualization-module__ZbomBq__notation{direction:ltr;unicode-bidi:isolate}.sat-to-4nae-visualization-module__ZbomBq__localizedText{unicode-bidi:plaintext}.sat-to-4nae-visualization-module__ZbomBq__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.sat-to-4nae-visualization-module__ZbomBq__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.3rem .66rem;font-size:.76rem;font-weight:800}.sat-to-4nae-visualization-module__ZbomBq__ledgerFresh{border-color:color-mix(in srgb, var(--nae-fresh) 55%, var(--border));background:color-mix(in srgb, var(--nae-fresh) 12%, var(--card))}.sat-to-4nae-visualization-module__ZbomBq__ledgerRule{border-color:color-mix(in srgb, var(--primary) 50%, var(--border));background:color-mix(in srgb, var(--primary) 10%, var(--card))}.sat-to-4nae-visualization-module__ZbomBq__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 90%, var(--accent));border-radius:.85rem}.sat-to-4nae-visualization-module__ZbomBq__blockFrame{fill:var(--card);stroke:var(--border);stroke-width:1.5px;vector-effect:non-scaling-stroke}.sat-to-4nae-visualization-module__ZbomBq__blockFrameWrong{fill:color-mix(in srgb, var(--nae-bad) 5%, var(--card));stroke:color-mix(in srgb, var(--nae-bad) 45%, var(--border))}.sat-to-4nae-visualization-module__ZbomBq__blockTitleBox{fill:color-mix(in srgb, var(--primary) 10%, var(--card));stroke:color-mix(in srgb, var(--primary) 45%, var(--border));stroke-width:1px;vector-effect:non-scaling-stroke}.sat-to-4nae-visualization-module__ZbomBq__blockTitleBoxWrong{fill:color-mix(in srgb, var(--nae-bad) 14%, var(--card));stroke:color-mix(in srgb, var(--nae-bad) 55%, var(--border))}.sat-to-4nae-visualization-module__ZbomBq__blockTitleText{fill:var(--foreground);unicode-bidi:plaintext;font-size:13.5px;font-weight:850}.sat-to-4nae-visualization-module__ZbomBq__clauseName{fill:var(--muted);font-size:14px;font-weight:900}.sat-to-4nae-visualization-module__ZbomBq__columnNote{fill:color-mix(in srgb, var(--nae-fresh) 55%, var(--foreground));unicode-bidi:plaintext;font-size:12px;font-weight:800}.sat-to-4nae-visualization-module__ZbomBq__cell{stroke-width:2px;vector-effect:non-scaling-stroke}.sat-to-4nae-visualization-module__ZbomBq__cellUnset{fill:color-mix(in srgb, var(--muted) 12%, var(--card));stroke:color-mix(in srgb, var(--muted) 55%, var(--border));stroke-dasharray:5 4}.sat-to-4nae-visualization-module__ZbomBq__cellTrue{fill:color-mix(in srgb, var(--nae-true) 20%, var(--card));stroke:var(--nae-true)}.sat-to-4nae-visualization-module__ZbomBq__cellFalse{fill:color-mix(in srgb, var(--nae-false) 22%, var(--card));stroke:var(--nae-false);stroke-dasharray:2 4}.sat-to-4nae-visualization-module__ZbomBq__cellFresh{stroke-width:3.4px}.sat-to-4nae-visualization-module__ZbomBq__cellText{fill:var(--foreground);font-size:14px;font-weight:850}.sat-to-4nae-visualization-module__ZbomBq__witnessRing{fill:none;stroke-width:2.6px;stroke-dasharray:6 4;vector-effect:non-scaling-stroke}.sat-to-4nae-visualization-module__ZbomBq__witnessTrue{stroke:var(--nae-true)}.sat-to-4nae-visualization-module__ZbomBq__witnessFalse{stroke:var(--nae-false)}.sat-to-4nae-visualization-module__ZbomBq__witnessTag{font-size:11px;font-weight:900}.sat-to-4nae-visualization-module__ZbomBq__witnessTagTrue{fill:color-mix(in srgb, var(--nae-true) 60%, var(--foreground))}.sat-to-4nae-visualization-module__ZbomBq__witnessTagFalse{fill:color-mix(in srgb, var(--nae-false) 60%, var(--foreground))}.sat-to-4nae-visualization-module__ZbomBq__verdictBox{stroke-width:1.6px;vector-effect:non-scaling-stroke}.sat-to-4nae-visualization-module__ZbomBq__verdictOk{fill:color-mix(in srgb, var(--success) 14%, var(--card));stroke:color-mix(in srgb, var(--success) 60%, var(--border))}.sat-to-4nae-visualization-module__ZbomBq__verdictBad{fill:color-mix(in srgb, var(--nae-bad) 16%, var(--card));stroke:color-mix(in srgb, var(--nae-bad) 60%, var(--border))}.sat-to-4nae-visualization-module__ZbomBq__verdictText{unicode-bidi:plaintext;font-size:12.5px;font-weight:850}.sat-to-4nae-visualization-module__ZbomBq__verdictTextOk{fill:color-mix(in srgb, var(--success) 55%, var(--foreground))}.sat-to-4nae-visualization-module__ZbomBq__verdictTextBad{fill:color-mix(in srgb, var(--nae-bad) 50%, var(--foreground))}.sat-to-4nae-visualization-module__ZbomBq__assignChip{stroke-width:2px;vector-effect:non-scaling-stroke}.sat-to-4nae-visualization-module__ZbomBq__assignChipTrue{fill:color-mix(in srgb, var(--nae-true) 18%, var(--card));stroke:var(--nae-true)}.sat-to-4nae-visualization-module__ZbomBq__assignChipFalse{fill:color-mix(in srgb, var(--nae-false) 20%, var(--card));stroke:var(--nae-false);stroke-dasharray:2 4}.sat-to-4nae-visualization-module__ZbomBq__assignChipFresh{stroke-width:3.4px}.sat-to-4nae-visualization-module__ZbomBq__assignText{fill:var(--foreground);font-size:13px;font-weight:850}.sat-to-4nae-visualization-module__ZbomBq__swatch{border:3px solid var(--sw);background:color-mix(in srgb, var(--sw) 20%, var(--card));border-radius:.28rem;width:.9rem;height:.9rem;display:inline-block}.sat-to-4nae-visualization-module__ZbomBq__swatchTrue{--sw:var(--nae-true);border-style:solid}.sat-to-4nae-visualization-module__ZbomBq__swatchFalse{--sw:var(--nae-false);border-style:dotted}.sat-to-4nae-visualization-module__ZbomBq__swatchUnset{--sw:var(--muted);border-style:dashed}.sat-to-4nae-visualization-module__ZbomBq__swatchFresh{--sw:var(--nae-fresh);border-style:double;border-width:4px}.sat-to-4nae-visualization-module__ZbomBq__ringSwatch{border:3px dashed var(--sw);border-radius:999px;width:.95rem;height:.95rem;display:inline-block}.sat-to-4nae-visualization-module__ZbomBq__ringTrue{--sw:var(--nae-true)}.sat-to-4nae-visualization-module__ZbomBq__ringFalse{--sw:var(--nae-false)}.sat-to-4nae-visualization-module__ZbomBq__ruleRow{flex-wrap:wrap;justify-content:center;gap:.5rem;display:flex}.sat-to-4nae-visualization-module__ZbomBq__ruleCard{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);color:var(--muted);unicode-bidi:plaintext;border-radius:.6rem;padding:.45rem .7rem;font-size:.76rem;font-weight:700}.sat-to-4nae-visualization-module__ZbomBq__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.6rem .85rem;font-size:.86rem;font-weight:800}
.nae4-to-nae3-visualization-module__oQiATq__stage{gap:.9rem;min-width:0;display:grid}.nae4-to-nae3-visualization-module__oQiATq__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.nae4-to-nae3-visualization-module__oQiATq__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);direction:ltr;unicode-bidi:isolate;border-radius:999px;padding:.32rem .62rem;font-size:.78rem;font-weight:800}.nae4-to-nae3-visualization-module__oQiATq__ledgerAssignment{border-color:color-mix(in srgb, var(--success) 50%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.nae4-to-nae3-visualization-module__oQiATq__ledgerCount{border-color:color-mix(in srgb, var(--primary) 50%, var(--border));background:color-mix(in srgb, var(--primary) 10%, var(--card))}.nae4-to-nae3-visualization-module__oQiATq__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.nae4-to-nae3-visualization-module__oQiATq__sectionTitle{fill:var(--foreground);font-size:17.5px;font-weight:900}.nae4-to-nae3-visualization-module__oQiATq__clauseName{fill:var(--muted);font-size:15px;font-weight:850}.nae4-to-nae3-visualization-module__oQiATq__roleTag{fill:color-mix(in srgb, var(--muted) 85%, transparent);font-size:13.5px;font-weight:800}.nae4-to-nae3-visualization-module__oQiATq__note{fill:var(--muted);font-size:15px;font-weight:750}.nae4-to-nae3-visualization-module__oQiATq__noteStrong{fill:color-mix(in srgb, var(--warning) 80%, var(--foreground));font-size:15px;font-weight:850}.nae4-to-nae3-visualization-module__oQiATq__placeholderText{fill:color-mix(in srgb, var(--muted) 80%, transparent);font-size:15px;font-weight:750}.nae4-to-nae3-visualization-module__oQiATq__chip{fill:var(--card);stroke:color-mix(in srgb, var(--primary) 55%, var(--border));stroke-width:2.2px;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__chipFresh{fill:color-mix(in srgb, var(--warning) 12%, var(--card));stroke:color-mix(in srgb, var(--warning) 80%, var(--foreground));stroke-width:2.4px;stroke-dasharray:7 5;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__chipSymbolic{fill:color-mix(in srgb, var(--accent) 60%, var(--card));stroke:color-mix(in srgb, var(--muted) 65%, var(--border));stroke-width:2.2px;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__chipText{fill:var(--foreground);font-size:15px;font-weight:850}.nae4-to-nae3-visualization-module__oQiATq__chipTextSmall{fill:var(--foreground);font-size:14.5px;font-weight:850}.nae4-to-nae3-visualization-module__oQiATq__witnessRing{fill:none;stroke:var(--success);stroke-width:2.6px;stroke-dasharray:6 4;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__valueTrue{fill:color-mix(in srgb, var(--success) 26%, var(--card));stroke:var(--success);stroke-width:2.2px;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__valueFalse{fill:color-mix(in srgb, var(--warning) 24%, var(--card));stroke:color-mix(in srgb, var(--warning) 82%, var(--foreground));stroke-width:2.2px;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__valueLetter{fill:var(--foreground);font-size:14px;font-weight:900}.nae4-to-nae3-visualization-module__oQiATq__groupBox{fill:color-mix(in srgb, var(--card) 92%, var(--accent));stroke:color-mix(in srgb, var(--primary) 40%, var(--border));stroke-width:1.8px;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__groupBoxPending{fill:color-mix(in srgb, var(--card) 65%, transparent);stroke:var(--border);stroke-width:1.6px;stroke-dasharray:8 6;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__groupLabel{fill:var(--muted);font-size:14.5px;font-weight:850}.nae4-to-nae3-visualization-module__oQiATq__conjunction{fill:var(--muted);font-size:17px;font-weight:900}.nae4-to-nae3-visualization-module__oQiATq__splitArrow{fill:none;stroke:color-mix(in srgb, var(--primary) 70%, var(--muted));stroke-width:2.6px;stroke-linecap:round;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__splitArrowHead{fill:color-mix(in srgb, var(--primary) 70%, var(--muted))}.nae4-to-nae3-visualization-module__oQiATq__okBadge{fill:color-mix(in srgb, var(--success) 16%, var(--card));stroke:var(--success);stroke-width:2px;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__okText{fill:color-mix(in srgb, var(--success) 80%, var(--foreground));font-size:13.5px;font-weight:850}.nae4-to-nae3-visualization-module__oQiATq__tableHeader{fill:var(--muted);font-size:14px;font-weight:850}.nae4-to-nae3-visualization-module__oQiATq__caseRow{fill:color-mix(in srgb, var(--card) 94%, var(--accent));stroke:var(--border);stroke-width:1.4px;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__caseText{fill:var(--foreground);font-size:14px;font-weight:850}.nae4-to-nae3-visualization-module__oQiATq__caseSubtext{fill:var(--muted);font-size:13px;font-weight:700}.nae4-to-nae3-visualization-module__oQiATq__proofBox{fill:var(--card);stroke:color-mix(in srgb, var(--primary) 45%, var(--border));stroke-width:1.8px;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__proofBoxResult{fill:color-mix(in srgb, var(--success) 8%, var(--card));stroke:color-mix(in srgb, var(--success) 55%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__proofTitle{fill:var(--foreground);font-size:15px;font-weight:900}.nae4-to-nae3-visualization-module__oQiATq__proofNote{fill:var(--muted);font-size:14px;font-weight:750}.nae4-to-nae3-visualization-module__oQiATq__proofConclusion{fill:color-mix(in srgb, var(--success) 78%, var(--foreground));font-size:15px;font-weight:900}.nae4-to-nae3-visualization-module__oQiATq__proofArrow{fill:none;stroke:var(--success);stroke-width:2.4px;stroke-linecap:round;vector-effect:non-scaling-stroke}.nae4-to-nae3-visualization-module__oQiATq__proofArrowHead{fill:var(--success)}.nae4-to-nae3-visualization-module__oQiATq__swatch{border:2px solid var(--border);border-radius:999px;width:.85rem;height:.85rem;display:inline-block}.nae4-to-nae3-visualization-module__oQiATq__swatchTrue{border-color:var(--success);background:color-mix(in srgb, var(--success) 26%, var(--card))}.nae4-to-nae3-visualization-module__oQiATq__swatchFalse{border-color:color-mix(in srgb, var(--warning) 82%, var(--foreground));background:color-mix(in srgb, var(--warning) 24%, var(--card));border-radius:.2rem}.nae4-to-nae3-visualization-module__oQiATq__swatchFresh{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 80%, var(--foreground));background:color-mix(in srgb, var(--warning) 12%, var(--card));border-radius:.3rem}.nae4-to-nae3-visualization-module__oQiATq__swatchWitness{border-style:dashed;border-color:var(--success);background:0 0}.nae4-to-nae3-visualization-module__oQiATq__summary{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.nae4-to-nae3-visualization-module__oQiATq__summaryCard{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.nae4-to-nae3-visualization-module__oQiATq__summaryCard strong{color:var(--primary-strong);direction:ltr;unicode-bidi:isolate;margin-block-end:.22rem;font-size:.8rem;font-weight:900;display:block}.nae4-to-nae3-visualization-module__oQiATq__summaryCard span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.nae4-to-nae3-visualization-module__oQiATq__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.86rem;font-weight:800}@media (max-width:620px){.nae4-to-nae3-visualization-module__oQiATq__summary{grid-template-columns:1fr}}
.exact-3sat-visualization-module__m7_6dq__stage{gap:.9rem;min-width:0;display:grid}.exact-3sat-visualization-module__m7_6dq__localizedText{unicode-bidi:plaintext}.exact-3sat-visualization-module__m7_6dq__notation{direction:ltr;unicode-bidi:isolate}.exact-3sat-visualization-module__m7_6dq__srOnly{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.exact-3sat-visualization-module__m7_6dq__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.exact-3sat-visualization-module__m7_6dq__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.32rem .62rem;font-size:.78rem;font-weight:800}.exact-3sat-visualization-module__m7_6dq__ledgerAssignment{border-color:color-mix(in srgb, var(--success) 55%, var(--border));background:color-mix(in srgb, var(--success) 12%, var(--card))}.exact-3sat-visualization-module__m7_6dq__ledgerAux{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card))}.exact-3sat-visualization-module__m7_6dq__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.exact-3sat-visualization-module__m7_6dq__panel{fill:var(--card);stroke:color-mix(in srgb, var(--border) 80%, var(--foreground));stroke-width:2px;vector-effect:non-scaling-stroke}.exact-3sat-visualization-module__m7_6dq__panelPending{fill:none;stroke:color-mix(in srgb, var(--border) 90%, var(--foreground));stroke-width:2px;stroke-dasharray:8 6;vector-effect:non-scaling-stroke}.exact-3sat-visualization-module__m7_6dq__panelTitle{fill:var(--foreground);unicode-bidi:plaintext;font-size:15px;font-weight:850}.exact-3sat-visualization-module__m7_6dq__panelHint{fill:var(--muted);unicode-bidi:plaintext;font-size:12.5px;font-weight:750}.exact-3sat-visualization-module__m7_6dq__badge{fill:var(--muted);unicode-bidi:plaintext;font-size:12.5px;font-weight:850}.exact-3sat-visualization-module__m7_6dq__clauseBox{fill:color-mix(in srgb, var(--card) 92%, var(--background));stroke:color-mix(in srgb, var(--muted) 45%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.exact-3sat-visualization-module__m7_6dq__clauseBoxKeep{stroke:color-mix(in srgb, var(--success) 70%, var(--border));fill:color-mix(in srgb, var(--success) 8%, var(--card))}.exact-3sat-visualization-module__m7_6dq__clauseBoxPadTwo{stroke:color-mix(in srgb, var(--primary) 70%, var(--border));fill:color-mix(in srgb, var(--primary) 8%, var(--card))}.exact-3sat-visualization-module__m7_6dq__clauseBoxPadOne{stroke:color-mix(in srgb, var(--warning) 70%, var(--border));fill:color-mix(in srgb, var(--warning) 8%, var(--card))}.exact-3sat-visualization-module__m7_6dq__clauseName{fill:var(--foreground);font-size:14px;font-weight:900}.exact-3sat-visualization-module__m7_6dq__connector{fill:none;stroke-width:2.5px;stroke-linecap:round;vector-effect:non-scaling-stroke}.exact-3sat-visualization-module__m7_6dq__connectorKeep{stroke:color-mix(in srgb, var(--success) 80%, var(--foreground))}.exact-3sat-visualization-module__m7_6dq__connectorPadTwo{stroke:var(--primary);stroke-dasharray:9 5}.exact-3sat-visualization-module__m7_6dq__connectorPadOne{stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-dasharray:2.5 5}.exact-3sat-visualization-module__m7_6dq__chip{fill:color-mix(in srgb, var(--primary) 18%, var(--card));stroke:var(--primary);stroke-width:2px;vector-effect:non-scaling-stroke}.exact-3sat-visualization-module__m7_6dq__chipAux{fill:color-mix(in srgb, var(--warning) 16%, var(--card));stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-dasharray:5 4}.exact-3sat-visualization-module__m7_6dq__chipAuxFocus{fill:color-mix(in srgb, var(--warning) 34%, var(--card));stroke-width:3px}.exact-3sat-visualization-module__m7_6dq__chipSat{fill:color-mix(in srgb, var(--success) 30%, var(--card));stroke:color-mix(in srgb, var(--success) 88%, var(--foreground));stroke-width:3px}.exact-3sat-visualization-module__m7_6dq__chipText{fill:var(--foreground);font-size:14px;font-weight:850}.exact-3sat-visualization-module__m7_6dq__chipTick{fill:color-mix(in srgb, var(--success) 88%, var(--foreground));font-size:13px;font-weight:900}.exact-3sat-visualization-module__m7_6dq__joinText{fill:var(--muted);font-size:14px;font-weight:800}.exact-3sat-visualization-module__m7_6dq__swatch{border:2px solid var(--border);border-radius:.25rem;width:.85rem;height:.85rem;display:inline-block}.exact-3sat-visualization-module__m7_6dq__swatchOriginal{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 18%, var(--card))}.exact-3sat-visualization-module__m7_6dq__swatchAux{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 85%, var(--foreground));background:color-mix(in srgb, var(--warning) 16%, var(--card))}.exact-3sat-visualization-module__m7_6dq__swatchSat{border-color:color-mix(in srgb, var(--success) 88%, var(--foreground));background:color-mix(in srgb, var(--success) 30%, var(--card))}.exact-3sat-visualization-module__m7_6dq__swatchKeep,.exact-3sat-visualization-module__m7_6dq__swatchPadTwo,.exact-3sat-visualization-module__m7_6dq__swatchPadOne{border-width:0;border-radius:0;height:0}.exact-3sat-visualization-module__m7_6dq__swatchKeep{border-block-start:3px solid color-mix(in srgb, var(--success) 80%, var(--foreground))}.exact-3sat-visualization-module__m7_6dq__swatchPadTwo{border-block-start:3px dashed var(--primary)}.exact-3sat-visualization-module__m7_6dq__swatchPadOne{border-block-start:3px dotted color-mix(in srgb, var(--warning) 85%, var(--foreground))}.exact-3sat-visualization-module__m7_6dq__tables{grid-template-columns:repeat(auto-fit,minmax(min(100%,17rem),1fr));gap:.6rem;display:grid}.exact-3sat-visualization-module__m7_6dq__tableCard{border:1px solid var(--border);background:var(--card);border-radius:.75rem;gap:.4rem;min-width:0;padding:.6rem .7rem;display:grid;overflow-x:auto}.exact-3sat-visualization-module__m7_6dq__tableCardFalse{border-color:color-mix(in srgb, var(--warning) 50%, var(--border))}.exact-3sat-visualization-module__m7_6dq__tableCardTrue{border-color:color-mix(in srgb, var(--success) 50%, var(--border))}.exact-3sat-visualization-module__m7_6dq__tableTitle{color:var(--foreground);unicode-bidi:plaintext;margin:0;font-size:.8rem;font-weight:900}.exact-3sat-visualization-module__m7_6dq__truthTable{border-collapse:collapse;width:100%;font-size:.76rem}.exact-3sat-visualization-module__m7_6dq__truthTable th,.exact-3sat-visualization-module__m7_6dq__truthTable td{border:1px solid var(--border);text-align:center;padding:.25rem .35rem}.exact-3sat-visualization-module__m7_6dq__truthTable thead th{background:color-mix(in srgb, var(--accent) 60%, var(--card));color:var(--foreground);font-weight:900}.exact-3sat-visualization-module__m7_6dq__truthTable tbody th{background:color-mix(in srgb, var(--card) 84%, var(--background));color:var(--foreground);font-weight:850}.exact-3sat-visualization-module__m7_6dq__cellOk{background:color-mix(in srgb, var(--success) 18%, var(--card));color:color-mix(in srgb, var(--success) 88%, var(--foreground));font-weight:900}.exact-3sat-visualization-module__m7_6dq__cellBad{background:color-mix(in srgb, var(--warning) 30%, var(--card));color:color-mix(in srgb, var(--warning) 88%, var(--foreground));outline:2px solid color-mix(in srgb, var(--warning) 80%, var(--foreground));outline-offset:-3px;font-weight:900}.exact-3sat-visualization-module__m7_6dq__tableCaption{color:var(--muted);unicode-bidi:plaintext;margin:0;font-size:.74rem;font-weight:650;line-height:1.45}.exact-3sat-visualization-module__m7_6dq__keyRow{flex-wrap:wrap;gap:.35rem;display:flex}.exact-3sat-visualization-module__m7_6dq__keyChip{border:1px solid var(--border);background:var(--card);color:var(--foreground);border-radius:999px;padding:.24rem .55rem;font-size:.72rem;font-weight:800}.exact-3sat-visualization-module__m7_6dq__cards{grid-template-columns:repeat(auto-fit,minmax(min(100%,15rem),1fr));gap:.55rem;display:grid}.exact-3sat-visualization-module__m7_6dq__card{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.exact-3sat-visualization-module__m7_6dq__cardWarn{border-inline-start-color:color-mix(in srgb, var(--warning) 85%, var(--foreground))}.exact-3sat-visualization-module__m7_6dq__card strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.exact-3sat-visualization-module__m7_6dq__card span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.exact-3sat-visualization-module__m7_6dq__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;border-radius:.75rem;padding:.7rem .85rem;font-size:.9rem;font-weight:900}
.tsp-gap-visualization-module__gc3H0q__stage{gap:.9rem;min-width:0;display:grid}.tsp-gap-visualization-module__gc3H0q__localizedText{unicode-bidi:plaintext}.tsp-gap-visualization-module__gc3H0q__notation{direction:ltr;unicode-bidi:isolate}.tsp-gap-visualization-module__gc3H0q__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.tsp-gap-visualization-module__gc3H0q__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.32rem .62rem;font-size:.78rem;font-weight:800}.tsp-gap-visualization-module__gc3H0q__ledgerParams{border-color:color-mix(in srgb, var(--primary) 55%, var(--border));background:color-mix(in srgb, var(--primary) 12%, var(--card))}.tsp-gap-visualization-module__gc3H0q__ledgerWeights{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card))}.tsp-gap-visualization-module__gc3H0q__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.tsp-gap-visualization-module__gc3H0q__panel{fill:var(--card);stroke:color-mix(in srgb, var(--border) 80%, var(--foreground));stroke-width:2px;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__panelYes{stroke:color-mix(in srgb, var(--success) 55%, var(--border))}.tsp-gap-visualization-module__gc3H0q__panelNo{stroke:color-mix(in srgb, var(--warning) 55%, var(--border))}.tsp-gap-visualization-module__gc3H0q__panelTitle{fill:var(--foreground);font-size:15px;font-weight:900}.tsp-gap-visualization-module__gc3H0q__panelSubtitle{fill:var(--muted);unicode-bidi:plaintext;font-size:12.5px;font-weight:750}.tsp-gap-visualization-module__gc3H0q__panelCaption{fill:color-mix(in srgb, var(--foreground) 85%, var(--muted));font-size:13px;font-weight:850}.tsp-gap-visualization-module__gc3H0q__realEdge{stroke:var(--primary);stroke-width:2.6px;stroke-linecap:round;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__missingEdge{stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:2.2px;stroke-dasharray:6 6;stroke-linecap:round;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__edgeDim{opacity:.28}.tsp-gap-visualization-module__gc3H0q__tourEdge{fill:none;stroke:color-mix(in srgb, var(--success) 82%, var(--foreground));stroke-width:7px;stroke-linecap:round;opacity:.55;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__tourEdgeHeavy{stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:9px;opacity:.7}.tsp-gap-visualization-module__gc3H0q__triangleEdge{stroke:var(--primary-strong);stroke-width:6px;opacity:.5;stroke-linecap:round;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__weightPlate{fill:var(--card);stroke:color-mix(in srgb, var(--border) 85%, var(--foreground));stroke-width:1px;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__weightPlateHeavy{fill:color-mix(in srgb, var(--warning) 22%, var(--card));stroke:color-mix(in srgb, var(--warning) 80%, var(--foreground))}.tsp-gap-visualization-module__gc3H0q__weightText{fill:var(--foreground);font-size:11.5px;font-weight:850}.tsp-gap-visualization-module__gc3H0q__node circle{fill:color-mix(in srgb, var(--primary) 20%, var(--card));stroke:var(--primary-strong);stroke-width:2.5px;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__node text{fill:var(--foreground);font-size:15px;font-weight:900}.tsp-gap-visualization-module__gc3H0q__nodeCut circle{fill:color-mix(in srgb, var(--warning) 26%, var(--card));stroke:color-mix(in srgb, var(--warning) 88%, var(--foreground));stroke-dasharray:5 4}.tsp-gap-visualization-module__gc3H0q__sectionTitle{fill:var(--muted);unicode-bidi:plaintext;font-size:14px;font-weight:850}.tsp-gap-visualization-module__gc3H0q__axisLine{stroke:var(--foreground);stroke-width:3px;stroke-linecap:round;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__tickMark{stroke:color-mix(in srgb, var(--muted) 80%, var(--foreground));stroke-width:2.5px;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__tickLabel{fill:var(--muted);font-size:12.5px;font-weight:850}.tsp-gap-visualization-module__gc3H0q__bandYes{fill:color-mix(in srgb, var(--success) 32%, var(--card));stroke:color-mix(in srgb, var(--success) 85%, var(--foreground));stroke-width:2px;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__bandNo{fill:color-mix(in srgb, var(--warning) 32%, var(--card));stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:2px;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__bandGap{fill:none;stroke:color-mix(in srgb, var(--muted) 70%, var(--foreground));stroke-width:2px;stroke-dasharray:5 5;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__bandLabelYes{fill:color-mix(in srgb, var(--success) 85%, var(--foreground));unicode-bidi:plaintext;font-size:12.5px;font-weight:900}.tsp-gap-visualization-module__gc3H0q__bandLabelNo{fill:color-mix(in srgb, var(--warning) 85%, var(--foreground));unicode-bidi:plaintext;font-size:12.5px;font-weight:900}.tsp-gap-visualization-module__gc3H0q__bandLabelGap{fill:var(--muted);unicode-bidi:plaintext;font-size:12.5px;font-weight:800}.tsp-gap-visualization-module__gc3H0q__thresholdLine{stroke:var(--foreground);stroke-width:3px;stroke-dasharray:7 5;stroke-linecap:round;vector-effect:non-scaling-stroke}.tsp-gap-visualization-module__gc3H0q__thresholdLabel{fill:var(--foreground);unicode-bidi:plaintext;font-size:13px;font-weight:900}.tsp-gap-visualization-module__gc3H0q__swatch{border:2px solid var(--border);border-radius:.25rem;width:.85rem;height:.85rem;display:inline-block}.tsp-gap-visualization-module__gc3H0q__swatchReal,.tsp-gap-visualization-module__gc3H0q__swatchMissing,.tsp-gap-visualization-module__gc3H0q__swatchThreshold{border-width:0;border-radius:0;height:0}.tsp-gap-visualization-module__gc3H0q__swatchReal{border-block-start:3px solid var(--primary)}.tsp-gap-visualization-module__gc3H0q__swatchMissing{border-block-start:3px dashed color-mix(in srgb, var(--warning) 85%, var(--foreground))}.tsp-gap-visualization-module__gc3H0q__swatchThreshold{border-block-start:3px dashed var(--foreground)}.tsp-gap-visualization-module__gc3H0q__swatchTourYes{border-color:color-mix(in srgb, var(--success) 85%, var(--foreground));background:color-mix(in srgb, var(--success) 45%, var(--card));border-radius:999px}.tsp-gap-visualization-module__gc3H0q__swatchTourNo{border-color:color-mix(in srgb, var(--warning) 85%, var(--foreground));background:color-mix(in srgb, var(--warning) 45%, var(--card));border-radius:999px}.tsp-gap-visualization-module__gc3H0q__swatchHeavy{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 88%, var(--foreground));background:color-mix(in srgb, var(--warning) 22%, var(--card))}.tsp-gap-visualization-module__gc3H0q__cards{grid-template-columns:repeat(auto-fit,minmax(min(100%,15rem),1fr));gap:.55rem;display:grid}.tsp-gap-visualization-module__gc3H0q__card{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.tsp-gap-visualization-module__gc3H0q__cardYes{border-inline-start-color:color-mix(in srgb, var(--success) 85%, var(--foreground))}.tsp-gap-visualization-module__gc3H0q__cardNo{border-inline-start-color:color-mix(in srgb, var(--warning) 85%, var(--foreground))}.tsp-gap-visualization-module__gc3H0q__card strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.tsp-gap-visualization-module__gc3H0q__card span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.tsp-gap-visualization-module__gc3H0q__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;border-radius:.75rem;padding:.7rem .85rem;font-size:.9rem;font-weight:900}