.algorithms-greedy-proof-lab-module__aZeKfq__figure{--choice-ink:var(--nano-ink,#111827);--choice-copy:var(--nano-copy,#344054);--choice-muted:#667085;--choice-line:var(--nano-line,#d0d5dd);--choice-line-strong:#98a2b3;--choice-paper:var(--card,#fff);--choice-soft:#f7f9fc;--choice-night:#101828;--choice-blue:#175cd3;--choice-blue-dark:#1849a9;--choice-blue-soft:#eff8ff;--choice-green:#027a48;--choice-green-soft:#ecfdf3;--choice-red:#b42318;--choice-red-soft:#fef3f2;--choice-amber:#b54708;--choice-amber-soft:#fffaeb;width:100%;min-width:0;max-width:100%;color:var(--choice-ink);border:1px solid var(--choice-line);background:linear-gradient(#eaecf0 1px, transparent 1px), linear-gradient(90deg, #eaecf0 1px, transparent 1px), var(--choice-paper);background-size:32px 32px,32px 32px,auto;border-radius:clamp(.75rem,1.4vw,1.25rem);gap:clamp(1rem,2vw,1.7rem);margin:3rem 0 0;padding:clamp(1rem,2.6vw,2.25rem);display:grid;overflow:clip;box-shadow:0 28px 70px #10182817;container-type:inline-size}.algorithms-greedy-proof-lab-module__aZeKfq__figure,.algorithms-greedy-proof-lab-module__aZeKfq__figure *{box-sizing:border-box}.algorithms-greedy-proof-lab-module__aZeKfq__srOnly{clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader{border-bottom:2px solid var(--choice-ink);justify-content:space-between;align-items:end;gap:1.25rem;min-width:0;padding-bottom:1.1rem;display:flex}.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader>div{min-width:0;max-width:78rem}.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader p,.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader h2,.algorithms-greedy-proof-lab-module__aZeKfq__introduction,.algorithms-greedy-proof-lab-module__aZeKfq__beginnerPromise p,.algorithms-greedy-proof-lab-module__aZeKfq__learningRail,.algorithms-greedy-proof-lab-module__aZeKfq__contract p,.algorithms-greedy-proof-lab-module__aZeKfq__workspaceHeading p,.algorithms-greedy-proof-lab-module__aZeKfq__workspaceHeading h3,.algorithms-greedy-proof-lab-module__aZeKfq__liveSummary,.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel header p,.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel header h3,.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel article p,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel header p,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel header h3,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel>p,.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel header p,.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel header h3,.algorithms-greedy-proof-lab-module__aZeKfq__gateRule,.algorithms-greedy-proof-lab-module__aZeKfq__sealedMessage p,.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision p,.algorithms-greedy-proof-lab-module__aZeKfq__caption{margin:0}.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader p,.algorithms-greedy-proof-lab-module__aZeKfq__workspaceHeading p,.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel header p,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel header p,.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel header p{color:var(--choice-blue);font-family:var(--font-vairode-mono,ui-monospace), monospace;letter-spacing:.095em;text-transform:uppercase;font-size:.75rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader h2{letter-spacing:-.052em;overflow-wrap:anywhere;text-wrap:balance;word-break:keep-all;max-width:52ch;margin-top:.55rem;font-size:clamp(1.68rem,3.15vw,3.2rem);line-height:1.05}.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader>span{color:#fff;max-width:22rem;font-family:var(--font-vairode-mono,ui-monospace), monospace;letter-spacing:.045em;text-align:center;border:1px solid var(--choice-night);background:var(--choice-night);border-radius:999px;flex:none;padding:.7rem .9rem;font-size:.75rem;font-weight:850}.algorithms-greedy-proof-lab-module__aZeKfq__introduction{max-width:55ch;color:var(--choice-copy);overflow-wrap:anywhere;word-break:keep-all;font-size:clamp(1.125rem,1.55vw,1.28rem);line-height:1.72}.algorithms-greedy-proof-lab-module__aZeKfq__expertPurpose{max-width:55ch;color:var(--choice-copy)}.algorithms-greedy-proof-lab-module__aZeKfq__expertPurpose summary{border:1px solid var(--choice-line-strong);cursor:pointer;background:#fff;border-radius:.35rem;align-items:center;min-height:44px;padding:.55rem .7rem;font-size:1rem;font-weight:850;line-height:1.5;display:inline-flex}.algorithms-greedy-proof-lab-module__aZeKfq__expertPurpose summary:focus-visible{outline:3px solid color-mix(in srgb, var(--choice-blue) 58%, transparent);outline-offset:3px}.algorithms-greedy-proof-lab-module__aZeKfq__expertPurpose p{color:var(--choice-copy);border-left:3px solid var(--choice-blue);background:var(--choice-blue-soft);word-break:keep-all;margin:.75rem 0 0;padding:.85rem;font-size:1rem;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail{min-width:0;color:var(--choice-copy);border:1px solid var(--choice-ink);background:#fffffff5;border-radius:.75rem;grid-template-columns:repeat(8,minmax(0,1fr));gap:0;padding:0;list-style:none;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li{border-right:1px solid var(--choice-line);align-content:center;gap:.35rem;min-width:0;min-height:5.5rem;padding:.75rem;display:grid;position:relative}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li:last-child{border-right:0}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li:not(:last-child):after{z-index:1;content:"";border-top:1px solid var(--choice-line-strong);border-right:1px solid var(--choice-line-strong);background:#fff;width:.55rem;height:.55rem;position:absolute;top:50%;right:-.31rem;transform:translateY(-50%)rotate(45deg)}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail span{color:var(--choice-blue);font-family:var(--font-vairode-mono,ui-monospace), monospace;font-size:.7rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail strong{overflow-wrap:anywhere;word-break:keep-all;min-width:0;font-size:clamp(.96rem,1.15vw,1.08rem);line-height:1.5}.algorithms-greedy-proof-lab-module__aZeKfq__beginnerPromise{color:#f8fafc;border:1px solid var(--choice-night);background:radial-gradient(circle at 88% 22%, #175cd38c, transparent 28%), var(--choice-night);border-radius:.75rem;gap:.55rem;padding:clamp(1rem,2vw,1.4rem);display:grid;box-shadow:inset 0 0 0 1px #ffffff0d}.algorithms-greedy-proof-lab-module__aZeKfq__beginnerPromise>span{width:fit-content;color:var(--choice-night);background:#fff;border-radius:.25rem;padding:.32rem .5rem;font-size:.72rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__beginnerPromise strong{letter-spacing:-.025em;text-wrap:balance;word-break:keep-all;max-width:55ch;font-size:clamp(1.2rem,2vw,1.55rem);line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__beginnerPromise p{color:#d0d5dd;word-break:keep-all;max-width:55ch;font-size:1.125rem;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__controlMatrix{gap:.85rem;min-width:0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__controlMatrix fieldset{border:1px solid var(--choice-line);background:#fffffff5;border-radius:.72rem;min-width:0;margin:0;padding:clamp(.82rem,2vw,1.08rem)}.algorithms-greedy-proof-lab-module__aZeKfq__controlMatrix legend{color:var(--choice-ink);padding:0 .42rem;font-size:1.125rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__optionGrid{grid-template-columns:repeat(4,minmax(0,1fr));gap:.62rem;min-width:0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__option{cursor:pointer;min-width:0;position:relative}.algorithms-greedy-proof-lab-module__aZeKfq__option input{clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;margin:-1px;position:absolute;overflow:hidden}.algorithms-greedy-proof-lab-module__aZeKfq__option>span{min-width:0;height:100%;min-height:7.5rem;color:var(--choice-copy);border:1px solid var(--choice-line);background:var(--choice-paper);border-radius:.5rem;align-content:start;gap:.42rem;padding:.82rem;transition:transform .15s,border-color .15s,box-shadow .15s,background-color .15s;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__option:hover>span{border-color:var(--choice-blue);transform:translateY(-2px);box-shadow:0 10px 24px #10182817}.algorithms-greedy-proof-lab-module__aZeKfq__option input:focus-visible+span{outline:3px solid color-mix(in srgb, var(--choice-blue) 58%, transparent);outline-offset:3px}.algorithms-greedy-proof-lab-module__aZeKfq__option input:checked+span{color:var(--choice-ink);border-color:var(--choice-ink);background:var(--choice-blue-soft);box-shadow:inset 5px 0 0 var(--choice-blue), inset 0 -4px 0 var(--choice-blue)}.algorithms-greedy-proof-lab-module__aZeKfq__option small{color:var(--choice-blue);font-family:var(--font-vairode-mono,ui-monospace), monospace;letter-spacing:.035em;overflow-wrap:anywhere;font-size:.64rem;font-style:normal;font-weight:850}.algorithms-greedy-proof-lab-module__aZeKfq__option strong{color:inherit;overflow-wrap:anywhere;word-break:keep-all;font-size:1.125rem;line-height:1.5}.algorithms-greedy-proof-lab-module__aZeKfq__option em{color:var(--choice-muted);overflow-wrap:anywhere;word-break:keep-all;font-size:1.05rem;font-style:normal;line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__contract{border:1px solid var(--choice-night);background:var(--choice-paper);border-radius:.75rem;grid-template-columns:repeat(3,minmax(0,1fr));min-width:0;display:grid;overflow:hidden}.algorithms-greedy-proof-lab-module__aZeKfq__contract>div{border-right:1px solid var(--choice-line);align-content:start;gap:.35rem;min-width:0;padding:clamp(.85rem,1.7vw,1.15rem);display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__contract>div:last-child{border-right:0}.algorithms-greedy-proof-lab-module__aZeKfq__contract span{color:var(--choice-blue);font-family:var(--font-vairode-mono,ui-monospace), monospace;letter-spacing:.08em;text-transform:uppercase;font-size:.66rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__contract strong{word-break:keep-all;font-size:1.125rem;line-height:1.55}.algorithms-greedy-proof-lab-module__aZeKfq__contract p{color:var(--choice-muted);overflow-wrap:anywhere;word-break:keep-all;font-size:1.05rem;line-height:1.62}.algorithms-greedy-proof-lab-module__aZeKfq__contract small{color:var(--choice-copy);border-top:1px dashed var(--choice-line);overflow-wrap:anywhere;word-break:keep-all;margin-top:.2rem;padding-top:.5rem;font-size:1rem;font-weight:750;line-height:1.6;display:block}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav{grid-template-columns:repeat(4,minmax(0,1fr));gap:.55rem;min-width:0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button{min-width:0;min-height:6.2rem;color:var(--choice-copy);text-align:left;border:1px solid var(--choice-line);cursor:pointer;background:#fffffff2;border-radius:.62rem;align-content:center;gap:.22rem;padding:.8rem .9rem .8rem 3.15rem;transition:transform .15s,color .15s,border-color .15s,background-color .15s;display:grid;position:relative}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button:hover{border-color:var(--choice-blue);transform:translateY(-2px)}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button:disabled,.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button:disabled{color:var(--choice-muted);border-color:var(--choice-line);cursor:not-allowed;opacity:.58;background:#f2f4f7;transform:none}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button:focus-visible,.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button:focus-visible{outline:3px solid color-mix(in srgb, var(--choice-blue) 62%, transparent);outline-offset:3px}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button>span{width:1.9rem;height:1.9rem;color:var(--choice-blue);font-family:var(--font-vairode-mono,ui-monospace), monospace;border:1px solid var(--choice-blue);border-radius:999px;place-items:center;font-size:.7rem;font-weight:900;display:grid;position:absolute;top:50%;left:.85rem;transform:translateY(-50%)}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button strong{font-size:1.08rem;line-height:1.5}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button small{color:var(--choice-muted);overflow-wrap:anywhere;word-break:keep-all;font-size:1rem;line-height:1.55}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav .algorithms-greedy-proof-lab-module__aZeKfq__activePhase{color:#fff;border-color:var(--choice-night);background:var(--choice-night)}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav .algorithms-greedy-proof-lab-module__aZeKfq__activePhase>span{color:var(--choice-night);background:#fff;border-color:#fff}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav .algorithms-greedy-proof-lab-module__aZeKfq__activePhase small{color:#d0d5dd}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav{color:#fff;border:1px solid var(--choice-night);background:var(--choice-night);border-radius:.68rem;grid-template-columns:minmax(14rem,.75fr) minmax(0,1.25fr);align-items:center;gap:1rem;min-width:0;padding:.9rem 1rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav>div{gap:.22rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav>div span{color:#84adff;font-family:var(--font-vairode-mono,ui-monospace), monospace;letter-spacing:.08em;text-transform:uppercase;font-size:.65rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav>div strong{font-size:1.125rem;line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav ol{grid-template-columns:repeat(5,minmax(0,1fr));gap:.4rem;min-width:0;margin:0;padding:0;list-style:none;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button{color:#d0d5dd;cursor:pointer;background:#1d2939;border:1px solid #475467;border-radius:.42rem;place-items:center;gap:.1rem;width:100%;min-width:0;min-height:3.25rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button[aria-current=step]{color:var(--choice-night);background:#fff;border-color:#fff}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button span{font-family:var(--font-vairode-mono,ui-monospace), monospace;font-size:.75rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button small{text-overflow:ellipsis;white-space:nowrap;max-width:100%;font-size:.62rem;overflow:hidden}.algorithms-greedy-proof-lab-module__aZeKfq__workspace{border:1px solid var(--choice-line);background:#fffffff7;border-radius:.8rem;gap:1rem;min-width:0;padding:clamp(.9rem,2.2vw,1.45rem);display:grid;box-shadow:0 16px 46px #1018280f}.algorithms-greedy-proof-lab-module__aZeKfq__workspaceHeading{border-bottom:1px solid var(--choice-line);justify-content:space-between;align-items:end;gap:1rem;min-width:0;padding-bottom:.8rem;display:flex}.algorithms-greedy-proof-lab-module__aZeKfq__workspaceHeading>div{min-width:0}.algorithms-greedy-proof-lab-module__aZeKfq__workspaceHeading h3{letter-spacing:-.035em;word-break:keep-all;max-width:52ch;margin-top:.35rem;font-size:clamp(1.2rem,2.1vw,1.72rem);line-height:1.18}.algorithms-greedy-proof-lab-module__aZeKfq__workspaceHeading>span{max-width:42ch;color:var(--choice-copy);text-align:right;word-break:keep-all;font-size:1.125rem;font-weight:750;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__liveSummary{color:var(--choice-blue-dark);border-left:4px solid var(--choice-blue);background:var(--choice-blue-soft);word-break:keep-all;gap:.28rem;max-width:55ch;padding:.72rem .86rem;font-size:1.125rem;font-weight:750;line-height:1.65;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__liveSummary strong{font-size:1.25rem;line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__liveSummary p{color:var(--choice-copy);margin:0;font-size:1.125rem;font-weight:650;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel{border:1px solid var(--choice-blue);background:var(--choice-blue-soft);border-radius:.65rem;min-width:0;margin:0;padding:clamp(.85rem,1.8vw,1.1rem)}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel legend{color:var(--choice-blue-dark);padding:0 .4rem;font-size:1.125rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel>p{max-width:55ch;color:var(--choice-copy);word-break:keep-all;margin:0 0 .75rem;font-size:1.125rem;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel>div{grid-template-columns:repeat(3,minmax(0,1fr));gap:.5rem;min-width:0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel label{min-width:0;min-height:4.5rem;color:var(--choice-copy);border:1px solid var(--choice-line);cursor:pointer;background:#fff;border-radius:.44rem;grid-template-columns:auto minmax(0,1fr);align-items:center;gap:.55rem;padding:.65rem;display:grid;position:relative}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel[data-locked] label{cursor:default}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel[data-locked] label:not(:has(input:checked)){opacity:.62}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel input{clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;margin:-1px;position:absolute;overflow:hidden}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel label>span{width:2rem;height:2rem;color:var(--choice-blue-dark);font-family:var(--font-vairode-mono,ui-monospace), monospace;border:1px solid var(--choice-blue);border-radius:999px;place-items:center;font-size:.68rem;font-weight:900;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel label>strong{overflow-wrap:anywhere;min-width:0;font-size:1.125rem;line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel input:checked+span{color:#fff;background:var(--choice-blue);box-shadow:0 0 0 4px #175cd324}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel label:has(input:checked){color:var(--choice-ink);border-color:var(--choice-blue);box-shadow:inset 4px 0 0 var(--choice-blue)}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel input:focus-visible+span{outline:3px solid color-mix(in srgb, var(--choice-blue) 60%, transparent);outline-offset:3px}.algorithms-greedy-proof-lab-module__aZeKfq__predictionReceipt{border:1px solid var(--choice-amber);background:var(--choice-amber-soft);border-radius:.55rem;grid-template-columns:auto minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:.45rem .65rem;min-width:0;padding:.8rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__predictionReceipt[data-match]{border-color:var(--choice-green);background:var(--choice-green-soft)}.algorithms-greedy-proof-lab-module__aZeKfq__predictionReceipt>span{color:var(--choice-muted);font-size:.7rem;font-weight:850}.algorithms-greedy-proof-lab-module__aZeKfq__predictionReceipt>strong{min-width:0;font-family:var(--font-vairode-mono,ui-monospace), monospace;overflow-wrap:anywhere;font-size:1.125rem}.algorithms-greedy-proof-lab-module__aZeKfq__predictionReceipt>p{max-width:55ch;color:var(--choice-copy);word-break:keep-all;grid-column:1/-1;margin:.18rem 0 0;font-size:1.125rem;font-weight:700;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__representativeNote{max-width:55ch;color:var(--choice-copy);border-left:4px solid var(--choice-amber);background:var(--choice-amber-soft);word-break:keep-all;margin:0;padding:.8rem .9rem;font-size:1.125rem;font-weight:700;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__svgScroller{border:1px solid var(--choice-line);background:var(--choice-soft);overscroll-behavior-inline:contain;scrollbar-gutter:stable;border-radius:.72rem;width:100%;min-width:0;overflow-x:auto}.algorithms-greedy-proof-lab-module__aZeKfq__svgScroller:focus-visible{outline:3px solid color-mix(in srgb, var(--choice-blue) 58%, transparent);outline-offset:2px}.algorithms-greedy-proof-lab-module__aZeKfq__ledgerSvg{width:100%;min-width:760px;height:auto;font-family:var(--font-vairode-sans,ui-sans-serif), sans-serif;display:block}.algorithms-greedy-proof-lab-module__aZeKfq__svgPaper{fill:#fff}.algorithms-greedy-proof-lab-module__aZeKfq__svgGrid{fill:none;stroke:#eaecf0;stroke-width:1px}.algorithms-greedy-proof-lab-module__aZeKfq__svgKicker{fill:var(--choice-blue);font-family:var(--font-vairode-mono,ui-monospace), monospace;letter-spacing:1.3px;font-size:12px;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__svgLead{fill:var(--choice-copy);font-size:14px;font-weight:700}.algorithms-greedy-proof-lab-module__aZeKfq__laneLabel{fill:var(--choice-ink);font-family:var(--font-vairode-mono,ui-monospace), monospace;font-size:13px;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__candidateNode circle{fill:#fff;stroke:var(--choice-line-strong);stroke-width:2px}.algorithms-greedy-proof-lab-module__aZeKfq__candidateNode text{fill:var(--choice-ink);font-size:12px;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__candidateNode .algorithms-greedy-proof-lab-module__aZeKfq__nodeIndex{fill:var(--choice-muted);font-size:9px}.algorithms-greedy-proof-lab-module__aZeKfq__candidateNode[data-state=greedy] circle{fill:var(--choice-blue-soft);stroke:var(--choice-blue)}.algorithms-greedy-proof-lab-module__aZeKfq__candidateNode[data-state=reference] circle{fill:var(--choice-amber-soft);stroke:var(--choice-amber)}.algorithms-greedy-proof-lab-module__aZeKfq__candidateNode[data-state=aligned] circle{fill:var(--choice-green-soft);stroke:var(--choice-green)}.algorithms-greedy-proof-lab-module__aZeKfq__candidateNode[data-state=excluded] circle{fill:#f2f4f7;stroke-dasharray:4 4}.algorithms-greedy-proof-lab-module__aZeKfq__laneDivider{stroke:var(--choice-line);stroke-dasharray:4 5}.algorithms-greedy-proof-lab-module__aZeKfq__greedyLane rect{fill:var(--choice-blue-soft);stroke:var(--choice-blue);stroke-width:1.5px}.algorithms-greedy-proof-lab-module__aZeKfq__referenceLane rect{fill:var(--choice-amber-soft);stroke:var(--choice-amber);stroke-width:1.5px}.algorithms-greedy-proof-lab-module__aZeKfq__greedyLane text,.algorithms-greedy-proof-lab-module__aZeKfq__referenceLane text{fill:var(--choice-ink);font-family:var(--font-vairode-mono,ui-monospace), monospace;font-size:11px;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__laneArrow{fill:none;stroke:var(--choice-line-strong);stroke-width:1.5px}.algorithms-greedy-proof-lab-module__aZeKfq__arrowHead{fill:var(--choice-line-strong)}.algorithms-greedy-proof-lab-module__aZeKfq__sealedText,.algorithms-greedy-proof-lab-module__aZeKfq__svgFootnote{fill:var(--choice-muted);font-size:13px;font-weight:650}.algorithms-greedy-proof-lab-module__aZeKfq__divergenceMark line{stroke:var(--choice-red);stroke-dasharray:5 4;stroke-width:2px}.algorithms-greedy-proof-lab-module__aZeKfq__divergenceMark rect{fill:var(--choice-red)}.algorithms-greedy-proof-lab-module__aZeKfq__divergenceMark text{fill:#fff;font-size:11px;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList{grid-template-columns:repeat(4,minmax(0,1fr));gap:.55rem;min-width:0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article{border:1px solid var(--choice-line);background:#fff;border-radius:.48rem;gap:.42rem;min-width:0;padding:.72rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article[data-state=greedy]{border-color:var(--choice-blue);box-shadow:inset 4px 0 0 var(--choice-blue)}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article[data-state=reference]{border-color:var(--choice-amber);box-shadow:inset 4px 0 0 var(--choice-amber)}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article[data-state=aligned]{border-color:var(--choice-green);box-shadow:inset 4px 0 0 var(--choice-green)}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article[data-state=excluded]{color:var(--choice-muted);background:#f9fafb}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article>div{align-items:start;gap:.42rem;min-width:0;display:flex}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article>div span{color:#fff;font-family:var(--font-vairode-mono,ui-monospace), monospace;background:var(--choice-night);border-radius:.18rem;flex:none;padding:.15rem .28rem;font-size:.6rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article strong{overflow-wrap:anywhere;min-width:0;font-size:1.125rem;line-height:1.55}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article p{color:var(--choice-muted);font-family:var(--font-vairode-mono,ui-monospace), monospace;margin:0;font-size:1.05rem;line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article small{color:var(--choice-blue-dark);font-size:1rem;font-weight:850}.algorithms-greedy-proof-lab-module__aZeKfq__allocationReceipt{border-top:1px dashed var(--choice-line);gap:.22rem;margin:.1rem 0 0;padding-top:.45rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__allocationReceipt div{justify-content:space-between;gap:.5rem;min-width:0;display:flex}.algorithms-greedy-proof-lab-module__aZeKfq__allocationReceipt dt{color:var(--choice-muted);font-size:1rem;font-weight:750}.algorithms-greedy-proof-lab-module__aZeKfq__allocationReceipt dd{color:var(--choice-ink);font-family:var(--font-vairode-mono,ui-monospace), monospace;margin:0;font-size:1rem;font-weight:850}.algorithms-greedy-proof-lab-module__aZeKfq__explanationGrid{grid-template-columns:minmax(0,1.45fr) minmax(17rem,.55fr);gap:.8rem;min-width:0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel{border:1px solid var(--choice-line);background:#fff;border-radius:.62rem;min-width:0;padding:clamp(.82rem,1.7vw,1.1rem)}.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel>header,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel>header{border-bottom:1px solid var(--choice-line);justify-content:space-between;align-items:end;gap:.8rem;min-width:0;padding-bottom:.72rem;display:flex}.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel header h3,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel header h3{letter-spacing:-.025em;margin-top:.25rem;font-size:1.25rem;line-height:1.5}.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel header>span,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel header>span{max-width:42ch;color:var(--choice-muted);font-family:var(--font-vairode-mono,ui-monospace), monospace;text-align:right;font-size:1rem;font-weight:800;line-height:1.55}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;min-width:0;margin-top:.7rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid article{min-width:0;color:var(--choice-muted);border:1px solid var(--choice-line);background:var(--choice-soft);border-radius:.45rem;align-content:start;gap:.38rem;padding:.7rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid article[data-required]{color:var(--choice-copy);border-color:var(--choice-blue);background:var(--choice-blue-soft)}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid article[data-available]{box-shadow:inset 4px 0 0 var(--choice-green)}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid article>span{width:fit-content;color:var(--choice-blue-dark);background:#fff;border-radius:.2rem;padding:.16rem .3rem;font-size:.6rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid h4{color:var(--choice-ink);word-break:keep-all;margin:0;font-size:1.125rem;line-height:1.55}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid article p{overflow-wrap:anywhere;word-break:keep-all;max-width:55ch;font-size:1.125rem;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid dl{gap:.32rem;margin:.15rem 0 0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid dl div{grid-template-columns:auto minmax(0,1fr);gap:.4rem;min-width:0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid dt{color:var(--choice-muted);font-size:1rem;font-weight:850}.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid dd{min-width:0;color:var(--choice-ink);font-family:var(--font-vairode-mono,ui-monospace), monospace;overflow-wrap:anywhere;margin:0;font-size:1rem}.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel dl{gap:0;margin:.7rem 0 0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel dl div{border-bottom:1px solid #eaecf0;grid-template-columns:minmax(0,1fr) auto;align-items:baseline;gap:.7rem;padding:.58rem 0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel dt{color:var(--choice-muted);font-size:1.05rem;font-weight:750}.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel dd{color:var(--choice-ink);font-family:var(--font-vairode-mono,ui-monospace), monospace;text-align:right;margin:0;font-size:1.05rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel>p{color:var(--choice-copy);border-left:3px solid var(--choice-blue);background:var(--choice-blue-soft);word-break:keep-all;gap:.25rem;margin-top:.75rem;padding:.68rem;font-size:1.125rem;line-height:1.65;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel>p strong{color:var(--choice-blue-dark)}.algorithms-greedy-proof-lab-module__aZeKfq__receiptSealed{color:var(--choice-copy);border:1px dashed var(--choice-line-strong);background:var(--choice-soft);border-radius:.42rem;gap:.32rem;margin-top:.72rem;padding:.75rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__receiptSealed strong{word-break:keep-all;font-size:1.125rem;line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__receiptSealed p{max-width:55ch;color:var(--choice-muted);word-break:keep-all;margin:0;font-size:1.125rem;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel{color:#fff;border:1px solid var(--choice-night);background:var(--choice-night);border-radius:.62rem;justify-content:space-between;align-items:center;gap:1rem;min-width:0;padding:.85rem;display:flex}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>div{gap:.2rem;min-width:0;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>div span{color:#84adff;font-family:var(--font-vairode-mono,ui-monospace), monospace;font-size:.66rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>div strong{word-break:keep-all;font-size:1.125rem;line-height:1.55}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>div p{color:#d0d5dd;word-break:keep-all;max-width:55ch;margin:0;font-size:1.05rem;line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>button{min-width:12rem;min-height:3.25rem;color:var(--choice-blue-dark);cursor:pointer;background:#fff;border:1px solid #fff;border-radius:.46rem;flex:none;padding:.75rem 1rem;font-size:1.125rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>button:hover:not(:disabled){color:#fff;background:var(--choice-blue);border-color:#84adff}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>button:focus-visible{outline-offset:3px;outline:3px solid #84adff}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>button:disabled{color:#98a2b3;cursor:not-allowed;background:#344054;border-color:#475467}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel{color:#f9fafb;border:1px solid var(--choice-night);background:var(--choice-night);border-radius:.8rem;gap:.85rem;min-width:0;padding:clamp(.9rem,2vw,1.3rem);display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>header{border-bottom:1px solid #344054;justify-content:space-between;align-items:end;gap:1rem;min-width:0;padding-bottom:.75rem;display:flex}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel header p{color:#84adff}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel header h3{letter-spacing:-.03em;margin-top:.3rem;font-size:clamp(1.12rem,2vw,1.5rem)}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel header>span{color:#d0d5dd;font-family:var(--font-vairode-mono,ui-monospace), monospace;text-transform:uppercase;border:1px solid #475467;border-radius:.25rem;flex:none;padding:.35rem .52rem;font-size:1rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel header>span[data-result=pass]{color:#6ce9a6;border-color:#12b76a}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel header>span[data-result=fail]{color:#fecaca;border-color:#fca5a5}.algorithms-greedy-proof-lab-module__aZeKfq__gateRule{color:#d0d5dd;word-break:keep-all;max-width:55ch;font-size:1.125rem;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul{grid-template-columns:repeat(5,minmax(0,1fr));gap:.5rem;min-width:0;margin:0;padding:0;list-style:none;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul li{background:#1d2939;border:1px solid #344054;border-radius:.44rem;align-content:start;gap:.52rem;min-width:0;padding:.68rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul li>span{color:#d0d5dd;width:fit-content;font-family:var(--font-vairode-mono,ui-monospace), monospace;text-transform:uppercase;background:#344054;border-radius:.18rem;padding:.16rem .3rem;font-size:.9rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul li[data-result=pass]{border-color:#027a48}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul li[data-result=pass]>span{color:#6ce9a6;background:#05603a}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul li[data-result=fail]{border-color:#b42318}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul li[data-result=fail]>span{color:#fecaca;background:#7f1d1d}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul strong{color:#fff;word-break:keep-all;font-size:1.125rem;line-height:1.55;display:block}.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul p{color:#d0d5dd;overflow-wrap:anywhere;word-break:keep-all;max-width:55ch;margin:.28rem 0 0;font-size:1.05rem;line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__sealedMessage,.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision{background:#1d2939;border:1px solid #475467;border-radius:.5rem;padding:.82rem}.algorithms-greedy-proof-lab-module__aZeKfq__sealedMessage strong{color:#fff;font-size:1.125rem;line-height:1.55;display:block}.algorithms-greedy-proof-lab-module__aZeKfq__sealedMessage p{color:#d0d5dd;word-break:keep-all;max-width:55ch;margin-top:.28rem;font-size:1.125rem;line-height:1.65}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision{background:#1d2939;border-color:#475467;gap:.36rem;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision[data-result=pass]{background:linear-gradient(120deg,#054f31,#1d2939 68%);border-color:#12b76a}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision[data-result=fail]{background:linear-gradient(120deg,#7a271a,#1d2939 68%);border-color:#f04438}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision>span{color:#d0d5dd;font-family:var(--font-vairode-mono,ui-monospace), monospace;letter-spacing:.08em;text-transform:uppercase;font-size:.65rem;font-weight:900}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision[data-result=pass]>span{color:#6ce9a6}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision[data-result=fail]>span{color:#fecaca}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision>strong{color:#fff;word-break:keep-all;font-size:clamp(1.25rem,2vw,1.55rem);line-height:1.55}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision>p{color:#eaecf0;font-size:1.125rem;font-weight:800;line-height:1.6}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision[data-result=pass]>p{color:#d1fadf}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision[data-result=fail]>p{color:#fee4e2}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision details{color:#d0d5dd;margin-top:.4rem}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision summary{cursor:pointer;border:1px solid #667085;border-radius:.35rem;align-items:center;width:fit-content;min-height:44px;padding:.55rem .7rem;font-size:1rem;font-weight:800;line-height:1.5;display:inline-flex}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision code{color:#fff;background:#101828;border:1px solid #475467;border-radius:.2rem;width:fit-content;margin-top:.65rem;padding:.25rem .4rem;font-size:.68rem;display:block}.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision ol{gap:.32rem;margin:.55rem 0 0;padding-left:1.2rem;font-size:1rem;line-height:1.6;display:grid}.algorithms-greedy-proof-lab-module__aZeKfq__caption{max-width:55ch;color:var(--choice-muted);word-break:keep-all;padding-top:.2rem;font-size:1rem;line-height:1.65}@container (max-width:1050px){.algorithms-greedy-proof-lab-module__aZeKfq__learningRail{grid-template-columns:repeat(4,minmax(0,1fr))}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li:nth-child(4){border-right:0}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li:nth-child(-n+4){border-bottom:1px solid var(--choice-line)}.algorithms-greedy-proof-lab-module__aZeKfq__optionGrid,.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul{grid-template-columns:repeat(2,minmax(0,1fr))}}@container (max-width:820px){.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader,.algorithms-greedy-proof-lab-module__aZeKfq__workspaceHeading,.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel>header,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel>header,.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>header{flex-direction:column;align-items:start}.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader>span,.algorithms-greedy-proof-lab-module__aZeKfq__workspaceHeading>span,.algorithms-greedy-proof-lab-module__aZeKfq__witnessPanel header>span,.algorithms-greedy-proof-lab-module__aZeKfq__receiptPanel header>span{text-align:left;max-width:100%}.algorithms-greedy-proof-lab-module__aZeKfq__contract,.algorithms-greedy-proof-lab-module__aZeKfq__explanationGrid{grid-template-columns:minmax(0,1fr)}.algorithms-greedy-proof-lab-module__aZeKfq__contract>div{border-right:0;border-bottom:1px solid var(--choice-line)}.algorithms-greedy-proof-lab-module__aZeKfq__contract>div:last-child{border-bottom:0}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav{grid-template-columns:repeat(2,minmax(0,1fr))}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav{grid-template-columns:minmax(0,1fr)}.algorithms-greedy-proof-lab-module__aZeKfq__candidateList,.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel>div{grid-template-columns:repeat(2,minmax(0,1fr))}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel{flex-direction:column;align-items:stretch}.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>button{width:100%}}@container (max-width:560px){.algorithms-greedy-proof-lab-module__aZeKfq__figure{background-size:24px 24px,24px 24px,auto;border-radius:.65rem;gap:.85rem;margin-top:1.6rem;padding:.8rem}.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader h2{font-size:clamp(1.45rem,8vw,2.1rem)}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail{grid-template-columns:repeat(2,minmax(0,1fr))}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li,.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li:nth-child(4){border-right:1px solid var(--choice-line);border-bottom:1px solid var(--choice-line);min-height:4.6rem}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li:nth-child(2n){border-right:0}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li:nth-last-child(-n+2){border-bottom:0}.algorithms-greedy-proof-lab-module__aZeKfq__learningRail li:nth-child(2n):after{display:none}.algorithms-greedy-proof-lab-module__aZeKfq__optionGrid,.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav,.algorithms-greedy-proof-lab-module__aZeKfq__candidateList,.algorithms-greedy-proof-lab-module__aZeKfq__witnessGrid,.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel>div,.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel>ul{grid-template-columns:minmax(0,1fr)}.algorithms-greedy-proof-lab-module__aZeKfq__option>span{min-height:0}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button{min-height:5.2rem}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav ol{grid-template-columns:repeat(5,minmax(2.6rem,1fr));overflow-x:auto}.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button small{display:none}.algorithms-greedy-proof-lab-module__aZeKfq__workspace{padding:.7rem}.algorithms-greedy-proof-lab-module__aZeKfq__ledgerSvg{min-width:700px}}@media (prefers-reduced-motion:reduce){.algorithms-greedy-proof-lab-module__aZeKfq__figure *,.algorithms-greedy-proof-lab-module__aZeKfq__figure :before,.algorithms-greedy-proof-lab-module__aZeKfq__figure :after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}@media (forced-colors:active){.algorithms-greedy-proof-lab-module__aZeKfq__figure,.algorithms-greedy-proof-lab-module__aZeKfq__beginnerPromise,.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav .algorithms-greedy-proof-lab-module__aZeKfq__activePhase,.algorithms-greedy-proof-lab-module__aZeKfq__tickNav,.algorithms-greedy-proof-lab-module__aZeKfq__gatePanel,.algorithms-greedy-proof-lab-module__aZeKfq__finalDecision{color:canvastext;box-shadow:none;background:canvas;border-color:canvastext}.algorithms-greedy-proof-lab-module__aZeKfq__figureHeader>span,.algorithms-greedy-proof-lab-module__aZeKfq__beginnerPromise>span,.algorithms-greedy-proof-lab-module__aZeKfq__option input:checked+span,.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel input:checked+span,.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav .algorithms-greedy-proof-lab-module__aZeKfq__activePhase>span,.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button[aria-current=step],.algorithms-greedy-proof-lab-module__aZeKfq__candidateList article>div span{color:highlighttext;background:highlight;border-color:highlight}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel label:has(input:checked){color:highlighttext;background:highlight;border-color:highlight}.algorithms-greedy-proof-lab-module__aZeKfq__option input:focus-visible+span,.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel input:focus-visible+span,.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button:focus-visible,.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button:focus-visible,.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>button:focus-visible,.algorithms-greedy-proof-lab-module__aZeKfq__svgScroller:focus-visible{outline:3px solid highlight}.algorithms-greedy-proof-lab-module__aZeKfq__phaseNav button:disabled,.algorithms-greedy-proof-lab-module__aZeKfq__tickNav button:disabled,.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>button:disabled{color:graytext;opacity:1;background:canvas;border-color:graytext}.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel,.algorithms-greedy-proof-lab-module__aZeKfq__predictionPanel label,.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel,.algorithms-greedy-proof-lab-module__aZeKfq__advancePanel>button{color:canvastext;box-shadow:none;background:canvas;border-color:canvastext}.algorithms-greedy-proof-lab-module__aZeKfq__candidateNode circle,.algorithms-greedy-proof-lab-module__aZeKfq__greedyLane rect,.algorithms-greedy-proof-lab-module__aZeKfq__referenceLane rect,.algorithms-greedy-proof-lab-module__aZeKfq__divergenceMark rect{fill:canvas;stroke:canvastext}.algorithms-greedy-proof-lab-module__aZeKfq__candidateNode text,.algorithms-greedy-proof-lab-module__aZeKfq__greedyLane text,.algorithms-greedy-proof-lab-module__aZeKfq__referenceLane text,.algorithms-greedy-proof-lab-module__aZeKfq__divergenceMark text,.algorithms-greedy-proof-lab-module__aZeKfq__svgKicker,.algorithms-greedy-proof-lab-module__aZeKfq__svgLead,.algorithms-greedy-proof-lab-module__aZeKfq__laneLabel,.algorithms-greedy-proof-lab-module__aZeKfq__sealedText,.algorithms-greedy-proof-lab-module__aZeKfq__svgFootnote{fill:canvastext}}