.Lychrel_viewPanel__uafMD{width:100%;height:100%;flex:1 1;display:flex;flex-direction:column;align-items:center;justify-content:center;min-width:0;min-height:0}.Lychrel_stageValue__b_wxr{font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:.04em;color:var(--ink);overflow-wrap:anywhere}.Lychrel_machineWrap__CJLyU{display:flex;flex-direction:column;align-items:center;gap:.9rem;width:100%;min-width:0;overflow-x:auto}.Lychrel_machine__rO6qa{display:grid;grid-template-columns:max-content repeat(var(--cols),var(--tile));grid-gap:.3rem clamp(.1rem,.5vw,.25rem);gap:.3rem clamp(.1rem,.5vw,.25rem);align-items:center;justify-content:center;--tile:clamp(0.8rem,min(7vw,calc(44rem / var(--cols))),2.8rem)}.Lychrel_rowLabel__u7BxW{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.11em;text-transform:uppercase;color:var(--ink-soft);text-align:right;white-space:nowrap;-webkit-padding-end:.5rem;padding-inline-end:.5rem}.Lychrel_tile__kfYIt{width:var(--tile);height:var(--tile);display:grid;place-items:center;font-family:var(--font-mono);font-size:calc(var(--tile) * .5);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;line-height:1;background:var(--paper);border:var(--hair) solid var(--rule-strong);color:var(--ink)}.Lychrel_tile__kfYIt[data-blank=true]{border-color:transparent;background:transparent}.Lychrel_tileMirror__DynqA{border-color:var(--plate-blue);color:var(--plate-blue);background:var(--plate-blue-wash)}.Lychrel_tileSum__ucQy2{border-color:var(--vermilion);color:var(--vermilion);background:var(--vermilion-wash)}.Lychrel_tileSum__ucQy2[data-carried=true]{border-color:var(--ochre);border-width:2px;background:var(--paper);color:var(--ochre)}.Lychrel_tileSum__ucQy2[data-landed=true]{background:var(--vermilion);border-color:var(--vermilion);color:#fff}.Lychrel_rule__mUk5c{grid-column:2/-1;height:1.5px;background:var(--ink)}.Lychrel_verdict__6Vj5h{grid-column:2/-1;font-size:var(--step--2);line-height:1.45;color:var(--ink-soft);-webkit-padding-before:.2rem;padding-block-start:.2rem}.Lychrel_stepCount__PgweS{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);margin:0}.Lychrel_hint__LQ00y{font-size:var(--step--1);line-height:1.55;color:var(--ink-soft);max-width:none;text-align:center}.Lychrel_tooWide__W8xcl{display:flex;flex-direction:column;align-items:center;gap:.7rem;max-width:52rem}.Lychrel_wideValue__ZCOv5{font-family:var(--font-mono);font-size:var(--step--2);line-height:1.5;overflow-wrap:anywhere;color:var(--ink);margin:0;text-align:center}.Lychrel_growth__Z9L3v{display:flex;flex-direction:column;gap:.9rem;width:100%;min-width:0}.Lychrel_growthPlot__Ys7EQ{width:100%;height:auto;max-height:min(26rem,46vh);display:block}.Lychrel_axis__VDcE0{stroke:var(--rule-strong);stroke-width:.8}.Lychrel_growthPath__Z2FD7{fill:none;stroke:var(--plate-blue);stroke-width:1.4}.Lychrel_growthPoint__9a7HI{fill:var(--plate-blue)}.Lychrel_growthLabel__mDOv1{font-family:var(--font-mono);font-size:8px;fill:var(--ink-soft)}.Lychrel_baseNote__3JkcZ,.Lychrel_growthNote__sUEHQ,.Lychrel_sweepNote__5HjVL{font-size:var(--step--2);line-height:1.55;color:var(--ink-soft);max-width:none;margin:0}.Lychrel_sweepPrinted__vR_Yl,.Lychrel_sweep__bSqE_{display:flex;flex-direction:column;gap:.9rem;width:100%;min-width:0}.Lychrel_skyline__w1NTd{display:flex;align-items:flex-end;gap:1px;height:clamp(11rem,30vh,20rem);-webkit-border-after:var(--hair) solid var(--rule-strong);border-block-end:var(--hair) solid var(--rule-strong);min-width:0}.Lychrel_skylineBar__G0nud{flex:1 1;min-width:1px;background:var(--plate-blue);opacity:.7}.Lychrel_skylineBar__G0nud[data-candidate=true]{background:var(--vermilion);opacity:1}.Lychrel_skylineBar__G0nud[data-current=true]{background:var(--ochre);opacity:1}.Lychrel_sweepList__0KbBK{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(auto-fill,minmax(9rem,1fr));grid-gap:.3rem;gap:.3rem}.Lychrel_sweepItem___H5OF{min-width:0}.Lychrel_sweepButton__WTYQg{-webkit-appearance:none;-moz-appearance:none;appearance:none;width:100%;text-align:left;background:var(--paper);border:var(--hair) solid var(--rule);padding:.35rem .5rem;cursor:pointer;display:flex;flex-wrap:wrap;align-items:baseline;gap:.2rem .5rem;color:var(--ink-soft)}.Lychrel_sweepButton__WTYQg:hover{border-color:var(--vermilion)}.Lychrel_sweepItem___H5OF[data-candidate=true] .Lychrel_sweepButton__WTYQg{border-color:var(--vermilion);color:var(--ink)}.Lychrel_sweepStart__Xa9GA{font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink)}.Lychrel_sweepSteps__9hFJP{font-family:var(--font-mono);font-size:var(--step--2)}.Lychrel_bases__zcfSX{display:flex;flex-direction:column;gap:.9rem;width:100%;min-width:0}.Lychrel_baseList__Mg_Nd{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.2rem}.Lychrel_baseRow__Xmpjw{display:grid;grid-template-columns:5rem minmax(0,1fr) minmax(0,1.4fr);grid-gap:.8rem;gap:.8rem;align-items:baseline;padding-block:.35rem;-webkit-border-before:var(--hair) solid var(--rule-faint);border-block-start:var(--hair) solid var(--rule-faint)}@media (max-width:40rem){.Lychrel_baseRow__Xmpjw{grid-template-columns:4.5rem minmax(0,1fr)}.Lychrel_baseResult__kWNmu{grid-column:2}}.Lychrel_baseRow__Xmpjw[data-current=true]{background:var(--vermilion-wash)}.Lychrel_baseName__GhUUH{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint)}.Lychrel_baseValue__wyST9{font-family:var(--font-mono);font-size:var(--step--1);color:var(--ink);overflow-wrap:anywhere}.Lychrel_baseResult__kWNmu{font-family:var(--font-mono);font-size:var(--step--2);color:var(--ink-soft);overflow-wrap:anywhere}.Lychrel_baseResult__kWNmu[data-unresolved=true]{color:var(--vermilion)}.MinusOneTwelfth_viewPanel__ZWPIU{width:100%;height:100%;flex:1 1;display:flex;flex-direction:column;align-items:center;justify-content:center;min-width:0;min-height:0}.MinusOneTwelfth_stageValue__QgEpG{font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:.03em;color:var(--ink);overflow-wrap:anywhere}.MinusOneTwelfth_note__69Uub{font-size:var(--step--2);line-height:1.55;color:var(--ink-soft);max-width:none;margin:0}.MinusOneTwelfth_hint__d_RG9{font-size:var(--step--1);line-height:1.55;color:var(--ink-soft);max-width:none;text-align:center}.MinusOneTwelfth_panel__s2_mA{display:flex;flex-direction:column;align-items:center;gap:.85rem;width:100%;min-width:0}.MinusOneTwelfth_fraction__RRAh9{display:inline-grid;grid-template-rows:auto auto;justify-items:center;vertical-align:middle;font-family:var(--font-mono);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;line-height:1.1}.MinusOneTwelfth_numerator__CyS5U{padding-inline:.15rem;-webkit-border-after:var(--hair) solid currentColor;border-block-end:var(--hair) solid currentColor}.MinusOneTwelfth_denominator__dVGwx{padding-inline:.15rem}.MinusOneTwelfth_whole__gVryg{font-family:var(--font-mono);font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.MinusOneTwelfth_plot__2kWXO{width:100%;max-width:46rem;height:auto;min-height:18rem}.MinusOneTwelfth_gridLine__bjcn7{stroke:var(--rule);stroke-width:1}.MinusOneTwelfth_boundLine__sxTHS{stroke:var(--rule-strong);stroke-width:1.4;stroke-dasharray:5 4;fill:none}.MinusOneTwelfth_sumLine__1gzog{fill:none;stroke:var(--ink);stroke-width:1.6}.MinusOneTwelfth_sumDot__FnXv3{fill:var(--ink)}.MinusOneTwelfth_sumDotEscaped__JiMLf{fill:var(--vermilion)}.MinusOneTwelfth_axisLabel__2Glgo{font-family:var(--font-mono);font-size:11px;fill:var(--ink-faint)}.MinusOneTwelfth_axisTitle__3zySb{font-family:var(--font-ui);font-size:11px;letter-spacing:.08em;text-transform:uppercase;fill:var(--ink-faint)}.MinusOneTwelfth_escapeMark__r7ps1{fill:var(--vermilion);font-family:var(--font-mono);font-size:13px}.MinusOneTwelfth_sumRow__FCrWo{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:.3rem .5rem;justify-content:center}.MinusOneTwelfth_sumCell__tQqpX{display:grid;justify-items:center;grid-gap:.1rem;gap:.1rem;min-width:2.6rem;padding:.25rem .35rem;border:var(--hair) solid var(--rule);background:var(--paper);font-size:var(--step--1);color:var(--ink)}.MinusOneTwelfth_sumCell__tQqpX[data-drawn=false]{opacity:.28}.MinusOneTwelfth_sumIndex__ctsKo{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint)}.MinusOneTwelfth_ladderScroll__UmCNz{width:100%;min-width:0;overflow-x:auto;-webkit-padding-after:.25rem;padding-block-end:.25rem}.MinusOneTwelfth_ladderRow__PPzXh{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(var(--cells,12),minmax(2.5rem,1fr));grid-gap:.3rem;gap:.3rem;align-items:end;min-width:0}.MinusOneTwelfth_ladder__yRpMX{display:grid;grid-template-columns:max-content minmax(0,1fr);grid-gap:.5rem .75rem;gap:.5rem .75rem;align-items:center;width:100%;min-width:0}.MinusOneTwelfth_ladderLabel__UuvkP{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.09em;text-transform:uppercase;color:var(--ink-faint);white-space:nowrap;text-align:right}.MinusOneTwelfth_meanCell__49Zwf{border-color:var(--plate-blue);color:var(--plate-blue)}.MinusOneTwelfth_limitCell__2xlt4{border-color:var(--ochre);color:var(--ochre)}.MinusOneTwelfth_abelGrid__7PE90{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(20rem,100%),1fr));grid-gap:1.1rem;gap:1.1rem;width:100%;align-items:start}.MinusOneTwelfth_abelCard__9vc_i{display:flex;flex-direction:column;gap:.55rem;padding:.85rem .95rem;border:var(--hair) solid var(--rule);background:var(--paper);min-width:0}.MinusOneTwelfth_cardTitle__1bbTO{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.09em;text-transform:uppercase;color:var(--ink-faint);margin:0}.MinusOneTwelfth_headline__vxzbh{font-family:var(--font-mono);font-size:var(--step-2);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ochre);overflow-wrap:anywhere}.MinusOneTwelfth_headlineRefused__nnork{color:var(--vermilion)}.MinusOneTwelfth_equation__iCTaD{display:grid;grid-template-columns:max-content minmax(0,1fr);grid-gap:.25rem .7rem;gap:.25rem .7rem;align-items:baseline;font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;min-width:0}.MinusOneTwelfth_equationLabel__UB01X{font-family:var(--font-ui);font-size:var(--step--2);color:var(--ink-faint);white-space:nowrap}.MinusOneTwelfth_equationValue__Lj0DO{color:var(--ink);overflow-wrap:anywhere}.MinusOneTwelfth_divergentValue__fuMGW{color:var(--vermilion)}.MinusOneTwelfth_remainderValue__anqq7{color:var(--ochre)}.MinusOneTwelfth_refusal__DyJ6B{-webkit-border-start:2px solid var(--vermilion);border-inline-start:2px solid var(--vermilion);-webkit-padding-start:.7rem;padding-inline-start:.7rem;font-size:var(--step--2);line-height:1.55;color:var(--ink-soft);margin:0}.MinusOneTwelfth_rungList__qRD3E{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.2rem;font-family:var(--font-mono);font-size:var(--step--2);font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.MinusOneTwelfth_rung__NdiPA{display:flex;justify-content:space-between;gap:.8rem;padding:.18rem .3rem;color:var(--ink-soft)}.MinusOneTwelfth_rung__NdiPA[data-active=true]{background:color-mix(in srgb,var(--ochre) 14%,transparent);color:var(--ink)}.MinusOneTwelfth_precision__n_BKq{font-size:var(--step--2);color:var(--ink-faint);margin:0}.Pascal_viewPanel__hf9jF{width:100%;height:100%;flex:1 1;display:flex;flex-direction:column;align-items:center;justify-content:center;min-width:0;min-height:0}.Pascal_stageValue__KntEc{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink-soft)}.Pascal_printed__6Fu4P{width:100%;max-width:100%;overflow:auto;display:flex;justify-content:safe center;padding-block:.4rem}.Pascal_canvasWrap__sCUts{position:relative;flex:1 1 auto;min-height:min(24rem,46vh);width:100%}.Pascal_canvas__Izrg7{position:absolute;inset:0;display:block}.Pascal_reason__R_yW9{display:flex;flex-direction:column;gap:.9rem;max-width:40rem;width:100%}.Pascal_reasonLead__RcCzl{font-size:var(--step--1);line-height:1.55;margin:0}.Pascal_reasonMath__edqKL{padding-block:.2rem;overflow-x:auto}.Pascal_places__rD1R4{display:grid;grid-gap:.35rem;gap:.35rem;margin:0}.Pascal_place__3F9W_{display:grid;grid-template-columns:3.2rem 1fr;grid-gap:.8rem;gap:.8rem;align-items:baseline;padding:.35rem .5rem;-webkit-border-start:2px solid var(--rule);border-inline-start:2px solid var(--rule)}.Pascal_place__3F9W_[data-blocked=true]{border-inline-start-color:var(--vermilion);background:var(--vermilion-wash)}.Pascal_placeName__IvF_m{font-family:var(--font-mono);font-size:var(--step--1);color:var(--ink-soft);margin:0}.Pascal_placeWorking__e8hpt{display:flex;flex-wrap:wrap;gap:.2rem 1rem;margin:0}.Pascal_placeDigits__s9CY_,.Pascal_placeFactor__atf8O{font-family:var(--font-mono);font-size:var(--step--2);font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.Pascal_placeDigits__s9CY_{color:var(--ink-soft)}.Pascal_placeFactor__atf8O{color:var(--plate-blue)}.Pascal_reasonVerdict__y0Ftj{font-size:var(--step--1);line-height:1.55;-webkit-border-start:2px solid var(--vermilion);border-inline-start:2px solid var(--vermilion);-webkit-padding-start:.8rem;padding-inline-start:.8rem;margin:0}.Pascal_reasonNote__z_nsF{font-size:var(--step--2);line-height:1.55;color:var(--ink-soft);margin:0}.Pascal_counts__QWFks{display:flex;flex-direction:column;gap:.9rem;width:100%;min-width:0}.Pascal_countChart__52vRa{display:grid;grid-auto-flow:column;grid-auto-columns:1fr;align-items:end;grid-gap:1px;gap:1px;height:clamp(10rem,30vh,18rem);-webkit-border-after:var(--hair) solid var(--rule-strong);border-block-end:var(--hair) solid var(--rule-strong)}.Pascal_countBar__IENPK{background:var(--plate-blue);min-height:1px}.Pascal_countBar__IENPK[data-current=true]{background:var(--vermilion)}.Pascal_countNote__QgU5K{font-size:var(--step--2);line-height:1.55;color:var(--ink-soft);max-width:none;margin:0}.Pascal_compare__WQ94Y{display:grid;grid-template-columns:repeat(auto-fit,minmax(9rem,1fr));grid-gap:clamp(.7rem,2vw,1.2rem);gap:clamp(.7rem,2vw,1.2rem);width:100%}.Pascal_compareCell__3S40E{margin:0;display:flex;flex-direction:column;gap:.4rem;padding:.5rem;border:var(--hair) solid var(--rule)}.Pascal_compareCell__3S40E[data-current=true]{border-color:var(--vermilion);background:var(--vermilion-wash)}.Pascal_mini__gVnRv{width:100%;height:auto;display:block}.Pascal_miniCell__JiTc1{fill:var(--ink)}.Pascal_compareCaption__IYbMW{display:flex;flex-wrap:wrap;gap:.2rem .5rem;align-items:baseline;font-size:var(--step--2);color:var(--ink-soft)}.Pascal_compareStat__1s2l4{font-family:var(--font-mono);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink-faint)}.Penrose_viewPanel__sNW52{height:100%;flex:1 1;justify-content:center;min-height:0}.Penrose_stagePanel__TChMQ,.Penrose_viewPanel__sNW52{width:100%;display:flex;flex-direction:column;align-items:center;min-width:0}.Penrose_stagePanel__TChMQ{gap:.75rem}.Penrose_stageValue__FGcfi{font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:.04em;color:var(--ink)}.Penrose_note__POYw9{font-size:var(--step--2);line-height:1.55;color:var(--ink-soft);max-width:none;margin:0}.Penrose_mapping__Np3xh{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;justify-content:center;gap:.35rem 1.1rem;width:100%;-webkit-border-after:var(--hair) solid var(--rule-faint);border-block-end:var(--hair) solid var(--rule-faint);-webkit-padding-after:.55rem;padding-block-end:.55rem}.Penrose_mappingStep__jBsiL{display:flex;flex-direction:column;gap:.1rem;min-width:0}.Penrose_mappingLabel__74P9T{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.09em;text-transform:uppercase;color:var(--ink-faint)}.Penrose_mappingValue__Rb_Uy{font-size:var(--step--1);line-height:1.4;color:var(--ink)}.Penrose_canvas__1dk5e{width:100%;height:auto;max-width:34rem;max-height:min(34rem,58vh);display:block}.Penrose_thinFill__B6EPh{stroke:none}.Penrose_hatchLine__3hu0u{stroke:var(--plate-blue);opacity:.85}.Penrose_fatFill__jnwdL{fill:var(--ochre);opacity:.16;stroke:none}.Penrose_side__Ymk70{fill:none;stroke:var(--ink);opacity:.75;stroke-linecap:round;stroke-linejoin:round}.Penrose_cut__sCPaY{fill:none;stroke:var(--rule-strong);opacity:.45;stroke-linecap:round}.Penrose_parent__IIfO3{fill:none;stroke:var(--ink);opacity:.45;stroke-linejoin:round}.Penrose_violation__HVXTn{stroke:var(--vermilion);stroke-linecap:round}.Penrose_measure__01pP4 text{fill:var(--ink-soft);font-family:var(--font-mono);paint-order:stroke;stroke:var(--paper);stroke-linejoin:round}.Penrose_scrub__S5Yln{gap:.3rem;max-width:34rem}.Penrose_ratio__GBekx,.Penrose_scrub__S5Yln{display:flex;flex-direction:column;width:100%}.Penrose_ratio__GBekx{gap:.85rem;min-width:0}.Penrose_ratioRows__UH4Vv{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.15rem;width:100%}.Penrose_ratioRow__NfbqM{display:grid;grid-template-columns:2.2rem minmax(7rem,12rem) 1fr minmax(8rem,11rem);align-items:center;grid-gap:.6rem;gap:.6rem;padding:.18rem .35rem;border-radius:2px}.Penrose_ratioRow__NfbqM[data-here=true]{background:var(--paper-deep)}.Penrose_ratioDepth__hcoeX{color:var(--ink-faint);text-align:end}.Penrose_ratioCounts__iANSc,.Penrose_ratioDepth__hcoeX{font-family:var(--font-mono);font-size:var(--step--2);font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.Penrose_ratioCounts__iANSc{color:var(--ink-soft);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.Penrose_ratioTrack__mN3ru{position:relative;display:block;height:.6rem;min-width:3rem;background:var(--paper-deep);border-radius:1px;overflow:hidden}.Penrose_ratioBar__kdtYE{position:absolute;inset-block:0;inset-inline-start:0;width:var(--share,0);background:var(--ochre);opacity:.55}.Penrose_ratioTarget__8KSsI{position:absolute;inset-block:-.15rem;inset-inline-end:0;width:2px;background:var(--vermilion)}.Penrose_ratioValue__xxtXE{display:flex;flex-direction:column;gap:.05rem;font-family:var(--font-mono);font-size:var(--step--2);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink);text-align:end}.Penrose_ratioGap__bETff{font-size:var(--step--2);color:var(--ink-faint)}.Penrose_placement__7ad_s>button{flex:1 1 auto;text-align:center}@media (max-width:40rem){.Penrose_mapping__Np3xh{justify-content:flex-start;gap:.5rem 0}.Penrose_mappingStep__jBsiL{width:100%}.Penrose_ratioRow__NfbqM{grid-template-columns:1.8rem 1fr minmax(6.5rem,8rem)}.Penrose_ratioTrack__mN3ru{display:none}}.PermutablePrimes_viewPanel__hSkHk{width:100%;height:100%;flex:1 1;display:flex;flex-direction:column;align-items:center;justify-content:center;min-width:0;min-height:0}.PermutablePrimes_stageValue__ROVyz{font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:.06em;color:var(--ink);overflow-wrap:anywhere}.PermutablePrimes_hint__9_v_J,.PermutablePrimes_note__yOQF9{font-size:var(--step--2);line-height:1.55;color:var(--ink-soft);max-width:none;margin:0}.PermutablePrimes_hint__9_v_J{font-size:var(--step--1);text-align:center}.PermutablePrimes_examples__VaeId{display:grid;grid-gap:.8rem;gap:.8rem;min-width:0}.PermutablePrimes_exampleGroup__nxWbQ{border:0;padding:0;margin:0;min-width:0}.PermutablePrimes_exampleGroup__nxWbQ legend{padding:0 0 .3rem}.PermutablePrimes_exampleGroup__nxWbQ button{min-width:2.75rem;min-height:2.75rem}.PermutablePrimes_shuffle__kbK1n{display:flex;flex-direction:column;align-items:center;gap:.9rem;width:100%;min-width:0}.PermutablePrimes_tiles__G9YHA{display:flex;gap:.35rem;list-style:none;margin:0;padding:0;flex-wrap:wrap;justify-content:center}.PermutablePrimes_tile__nnk6I{display:grid;place-items:center;min-width:2.4rem;min-height:2.8rem;padding:.2rem .4rem;font-family:var(--font-mono);font-size:var(--step-1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink);background:var(--paper);border:var(--hair) solid var(--rule-strong)}.PermutablePrimes_arrangements__9AdQt{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.2rem;width:100%;max-width:40rem;max-height:min(22rem,42vh);overflow-y:auto}.PermutablePrimes_arrangement__ii3lg{display:grid;grid-template-columns:minmax(5rem,max-content) minmax(0,1fr) max-content;grid-gap:.6rem;gap:.6rem;align-items:baseline;padding:.25rem .45rem;-webkit-border-start:3px solid transparent;border-inline-start:3px solid transparent;background:var(--plate-blue-wash)}.PermutablePrimes_arrangement__ii3lg[data-composite=true]{background:transparent}.PermutablePrimes_arrangement__ii3lg[data-first=true]{border-inline-start-color:var(--vermilion);background:var(--vermilion-wash)}.PermutablePrimes_arrangement__ii3lg[data-current=true]{outline:var(--hair) solid var(--rule-strong)}.PermutablePrimes_arrangementValue__Fz9Jf{font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink)}.PermutablePrimes_arrangementWhy__P8IrP{font-family:var(--font-ui);font-size:var(--step--2);color:var(--ink-soft);overflow-wrap:anywhere}.PermutablePrimes_arrangementMark__l1wxA{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);white-space:nowrap}.PermutablePrimes_arrangement__ii3lg[data-first=true] .PermutablePrimes_arrangementMark__l1wxA{color:var(--vermilion)}.PermutablePrimes_survivors__LvQrO{display:flex;flex-direction:column;gap:.9rem;width:100%;min-width:0}.PermutablePrimes_lengthList__mn0Dr{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.35rem}.PermutablePrimes_lengthRow__Yhedv{display:grid;grid-template-columns:6.5rem minmax(0,1fr);grid-gap:.7rem;gap:.7rem;align-items:baseline;padding-block:.35rem;-webkit-border-before:var(--hair) solid var(--rule-faint);border-block-start:var(--hair) solid var(--rule-faint)}@media (max-width:40rem){.PermutablePrimes_lengthRow__Yhedv{grid-template-columns:minmax(0,1fr);gap:.2rem}}.PermutablePrimes_lengthName__2M6OH{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint)}.PermutablePrimes_survivorList__IUa_P{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:.3rem}.PermutablePrimes_survivor__VlRV0{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink);background:var(--plate-blue-wash);border:var(--hair) solid var(--plate-blue);padding:.35rem .6rem;min-height:2.75rem;cursor:pointer}.PermutablePrimes_survivor__VlRV0:hover{background:var(--paper)}.PermutablePrimes_survivor__VlRV0:focus-visible{outline:2px solid var(--vermilion);outline-offset:2px}.PermutablePrimes_emptyRow__tPwl_{font-family:var(--font-ui);font-size:var(--step--2);color:var(--ink-soft)}.PermutablePrimes_alphabet__UCQ_s{display:flex;flex-wrap:wrap;gap:.3rem;list-style:none;margin:0;padding:0}.PermutablePrimes_alphabetDigit__TlHO2{display:grid;place-items:center;min-width:2rem;min-height:2rem;font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink);border:var(--hair) solid var(--rule-strong);background:var(--paper)}.PermutablePrimes_alphabetDigit__TlHO2[data-barred=true]{color:var(--ink-faint);border-color:var(--rule-faint);text-decoration:line-through;-webkit-text-decoration-color:var(--vermilion);text-decoration-color:var(--vermilion);text-decoration-thickness:2px}.PermutablePrimes_repunits__ZL4Ug{display:flex;flex-direction:column;gap:.9rem;width:100%;min-width:0}.PermutablePrimes_repunitList__69ByS{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.5rem}.PermutablePrimes_repunitRow__tUQ5K{display:grid;grid-template-columns:5rem minmax(0,1fr);grid-gap:.7rem;gap:.7rem;align-items:center;padding-block:.3rem;-webkit-border-before:var(--hair) solid var(--rule-faint);border-block-start:var(--hair) solid var(--rule-faint)}@media (max-width:40rem){.PermutablePrimes_repunitRow__tUQ5K{grid-template-columns:4rem minmax(0,1fr)}}.PermutablePrimes_repunitName__bu8U4{font-family:var(--font-mono);font-size:var(--step-0);color:var(--ink)}.PermutablePrimes_repunitBody__8kybq{display:flex;flex-direction:column;gap:.25rem;min-width:0}.PermutablePrimes_repunitBar__Yx_oe{display:block;width:var(--share,10%);min-width:2rem;height:.8rem;background:var(--plate-blue);border:var(--hair) solid var(--plate-blue)}.PermutablePrimes_repunitBar__Yx_oe[data-printed=false]{background:repeating-linear-gradient(45deg,var(--ochre),var(--ochre) 3px,var(--paper) 3px,var(--paper) 6px);border-color:var(--ochre)}.PermutablePrimes_repunitDigits__oq4Uz{font-family:var(--font-mono);font-size:var(--step--2);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink);overflow-wrap:anywhere}.PermutablePrimes_repunitLength__5Kgd6{font-family:var(--font-ui);font-size:var(--step--2);color:var(--ink-soft)}.Persistence_viewPanel__WNpyx{width:100%;height:100%;flex:1 1;display:flex;flex-direction:column;align-items:center;justify-content:center;min-width:0;min-height:0}.Persistence_stageValue__86q7u{font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:.04em;color:var(--ink);overflow-wrap:anywhere}.Persistence_ladderWrap__ORAKJ{display:flex;flex-direction:column;align-items:stretch;gap:.9rem;width:100%;min-width:0}.Persistence_ladder___T9ZL{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.25rem;width:100%;min-width:0}.Persistence_round__oWypP{display:grid;grid-template-columns:max-content minmax(0,1fr);grid-gap:.2rem .8rem;gap:.2rem .8rem;align-items:center;padding-block:.35rem;-webkit-border-before:var(--hair) solid var(--rule-faint);border-block-start:var(--hair) solid var(--rule-faint);min-width:0}.Persistence_round__oWypP[data-current=true]{background:var(--vermilion-wash)}.Persistence_roundLabel__qJwvA{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);white-space:nowrap}.Persistence_digitRow__KlfIi{display:flex;flex-wrap:wrap;align-items:center;gap:.25rem;min-width:0}.Persistence_tile__7fR2_{--tile:clamp(1.1rem,4.5vw,1.9rem);width:var(--tile);height:var(--tile);display:grid;place-items:center;font-family:var(--font-mono);font-size:calc(var(--tile) * .55);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;line-height:1;background:var(--paper);border:var(--hair) solid var(--rule-strong);color:var(--ink)}.Persistence_operator__4Xco1{font-family:var(--font-mono);font-size:var(--step--2);color:var(--ink-faint)}.Persistence_equals__xTgsh{font-family:var(--font-mono);font-size:var(--step--1);color:var(--ink-soft);padding-inline:.2rem}.Persistence_result__wvbXb{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--vermilion);background:var(--vermilion-wash);border:var(--hair) solid var(--vermilion);padding:.1rem .4rem;overflow-wrap:anywhere}.Persistence_result__wvbXb[data-single=true]{background:var(--vermilion);border-color:var(--vermilion);color:#fff}.Persistence_partials__a_jIy{grid-column:2;font-family:var(--font-mono);font-size:var(--step--2);color:var(--plate-blue);overflow-wrap:anywhere;margin:0}.Persistence_verdict__Kthwh{font-size:var(--step--2);line-height:1.5;color:var(--ink-soft);max-width:none;margin:0}.Persistence_hint__m39DK{font-size:var(--step--1);text-align:center}.Persistence_hint__m39DK,.Persistence_note__hC47i{line-height:1.55;color:var(--ink-soft);max-width:none}.Persistence_note__hC47i{font-size:var(--step--2);margin:0}.Persistence_records__gxEg_{display:flex;flex-direction:column;gap:.9rem;width:100%;min-width:0}.Persistence_skyline__P8s7L{display:flex;align-items:flex-end;gap:0;height:clamp(8rem,22vh,14rem);-webkit-border-after:var(--hair) solid var(--rule-strong);border-block-end:var(--hair) solid var(--rule-strong);min-width:0}.Persistence_skylineBar__B5HIs{flex:1 1;min-width:0;background:var(--plate-blue);opacity:.55}.Persistence_skylineBar__B5HIs[data-record=true]{background:var(--vermilion);min-width:2px;opacity:1}.Persistence_rungs__LvhEQ{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.15rem}.Persistence_rung___ETjZ{display:grid;grid-template-columns:6.5rem minmax(0,1fr);grid-gap:.8rem;gap:.8rem;align-items:baseline;padding-block:.3rem;-webkit-border-before:var(--hair) solid var(--rule-faint);border-block-start:var(--hair) solid var(--rule-faint)}@media (max-width:40rem){.Persistence_rung___ETjZ{grid-template-columns:5rem minmax(0,1fr)}}.Persistence_rungName___pcrJ{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);white-space:nowrap}.Persistence_rungValue__6NB2z{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink);overflow-wrap:anywhere;-webkit-appearance:none;-moz-appearance:none;appearance:none;background:none;border:none;padding:0;text-align:left;cursor:pointer}.Persistence_rungValue__6NB2z:hover{color:var(--vermilion)}.Persistence_rungEnd__e6TVo{padding-block:.5rem;-webkit-border-before:var(--hair) solid var(--rule-faint);border-block-start:var(--hair) solid var(--rule-faint);font-size:var(--step--2);line-height:1.5;color:var(--vermilion);max-width:none}.Persistence_bases__tlvNY{display:flex;flex-direction:column;gap:.9rem;width:100%;min-width:0}.Persistence_baseList__NsY2_{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.15rem}.Persistence_baseRow__StACD{display:grid;grid-template-columns:4.5rem minmax(0,6rem) minmax(0,1fr);grid-gap:.8rem;gap:.8rem;align-items:baseline;padding-block:.3rem;-webkit-border-before:var(--hair) solid var(--rule-faint);border-block-start:var(--hair) solid var(--rule-faint)}@media (max-width:40rem){.Persistence_baseRow__StACD{grid-template-columns:4rem minmax(0,1fr)}.Persistence_baseWhere__YTQzr{grid-column:1/-1}}.Persistence_baseRow__StACD[data-current=true]{background:var(--vermilion-wash)}.Persistence_baseName__sEa0L{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint)}.Persistence_baseBest__42DrN{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink)}.Persistence_baseWhere__YTQzr{font-family:var(--font-mono);font-size:var(--step--2);color:var(--ink-soft);overflow-wrap:anywhere}.Persistence_baseRow__StACD[data-flat=true] .Persistence_baseBest__42DrN{color:var(--vermilion)}.Pi_viewPanel__6OP6K{width:100%;height:100%;flex:1 1;display:flex;flex-direction:column;align-items:center;justify-content:center;min-width:0;min-height:0}.Pi_stageValue__HBMnU{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:.02em;color:var(--ink)}.Pi_note__q7awf{font-size:var(--step--2);color:var(--ink-soft)}.Pi_note__q7awf,.Pi_warning__QdZ8l{line-height:1.55;max-width:none;margin:0}.Pi_warning__QdZ8l{font-size:var(--step--1);color:var(--ink);padding:.55rem .75rem;background:var(--vermilion-wash);-webkit-border-start:3px solid var(--vermilion);border-inline-start:3px solid var(--vermilion)}.Pi_polygonPanel__E8u5n{display:flex;flex-wrap:wrap;align-items:center;justify-content:center;gap:1rem 1.6rem;width:100%;min-width:0}.Pi_polygonSide__bqpXD{display:flex;flex-direction:column;gap:.9rem;flex:1 1 20rem;min-width:min(100%,18rem)}.Pi_circle__dMh7V{width:100%;height:auto;max-width:24rem;max-height:min(24rem,52vh);display:block;flex:0 1 auto}.Pi_rim__Rw5Vm{fill:none;stroke:var(--rule-strong);stroke-width:1.4}.Pi_innerPolygon__jgUkn{fill:var(--plate-blue-wash);stroke:var(--plate-blue);stroke-width:1.6}.Pi_outerPolygon__DS6dt{fill:none;stroke:var(--ochre);stroke-width:1.6}.Pi_vertex__NXMkp{fill:var(--plate-blue)}.Pi_diameter__1pkTy{stroke:var(--ink-faint);stroke-width:1;stroke-dasharray:3 3}.Pi_diameterLabel__QSq37{font-family:var(--font-ui);font-size:11px;letter-spacing:.08em;text-transform:uppercase;fill:var(--ink-faint)}.Pi_bracket__HIj_s{display:flex;flex-direction:column;gap:.4rem;min-width:0;flex:1 1 22rem}.Pi_bracketTitle__ifPw3{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.09em;text-transform:uppercase;color:var(--ink-faint);margin:0}.Pi_bracketDetail__Bz0F9{font-size:var(--step--2);line-height:1.5;color:var(--ink-soft);margin:0;max-width:none}.Pi_boundList__tk5LW{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.15rem}.Pi_boundLine__r_VbW{display:flex;align-items:baseline;gap:.55rem;min-width:0}.Pi_boundRole__JrMr2{font-family:var(--font-ui);font-size:var(--step--2);color:var(--ink-faint);min-width:4.6rem;text-align:right}.Pi_boundValue__P4wVq{font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:.01em;overflow-wrap:anywhere}.Pi_certainDigits__PsG8s{color:var(--ink);font-weight:600;-webkit-border-after:2px solid var(--plate-blue);border-block-end:2px solid var(--plate-blue);-webkit-padding-after:1px;padding-block-end:1px}.Pi_uncertainDigits__7EV7I{color:var(--ink-faint);font-weight:400}.Pi_intervalPanel__YU8De{display:flex;flex-direction:column;align-items:center;gap:1rem;width:100%;min-width:0}.Pi_numberLine__I9_zo{width:100%;max-width:44rem;height:auto;display:block}.Pi_previousBand__MEkne{fill:var(--rule-faint);stroke:var(--rule);stroke-width:1}.Pi_currentBand__HHrKd{fill:var(--plate-blue);opacity:.85}.Pi_machinBand__M3UAf{fill:var(--verdigris);opacity:.9}.Pi_axis__UB0Nt{stroke:var(--rule-strong);stroke-width:1}.Pi_axisLabel__eFTGA{font-family:var(--font-mono);font-size:11px;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;fill:var(--ink-faint)}.Pi_bandLabel__mrtrO{font-family:var(--font-ui);font-size:11px;letter-spacing:.06em;text-transform:uppercase;fill:var(--ink-faint)}.Pi_brackets__0Kecm{display:flex;flex-wrap:wrap;gap:1rem 2rem;width:100%;min-width:0}.Pi_needlePanel__ZNJ4V{display:flex;flex-direction:column;align-items:center;gap:.9rem;width:100%;min-width:0}.Pi_floor__seFfZ{width:100%;max-width:44rem;height:auto;display:block;background:var(--paper-deep)}.Pi_rule__i0FAE{stroke:var(--rule-strong);stroke-width:1}.Pi_needle__yYR9j{stroke:var(--plate-blue);stroke-width:1.2;opacity:.5}.Pi_needle__yYR9j[data-crosses=true]{stroke:var(--vermilion);stroke-width:2;opacity:1}.Pi_chart__YU9z3{width:100%;max-width:44rem;height:auto;display:block}.Pi_chartLabel__s55hs{font-family:var(--font-mono);font-size:11px;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;fill:var(--ink-faint)}.Pi_certifiedBand__XUpCC{fill:var(--verdigris);opacity:.55}.Pi_estimatePath__XAmUV{fill:none;stroke:var(--ochre);stroke-width:2;vector-effect:non-scaling-stroke}.Pi_estimatePath__XAmUV[data-void=true]{stroke:var(--vermilion);stroke-dasharray:6 4}.Pi_estimateDot__GqI_1{fill:var(--ochre);vector-effect:non-scaling-stroke}@media (max-width:46rem){.Pi_polygonPanel__E8u5n{flex-direction:column}.Pi_polygonSide__bqpXD{flex:0 1 auto}.Pi_boundRole__JrMr2{min-width:4rem}.Pi_boundValue__P4wVq{font-size:var(--step--1)}}.Recaman_viewPanel__NZ_6Z{width:100%;height:100%;flex:1 1;display:flex;flex-direction:column;min-width:0;min-height:0}.Recaman_stageValue__nzS8z{font-family:var(--font-mono);font-size:var(--step-1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:.06em;color:var(--ink)}.Recaman_viewWrap__uzdWQ{display:flex;flex-direction:column;gap:.6rem;width:100%;height:100%;min-height:0}.Recaman_canvasWrap__vFJ0P{position:relative;flex:1 1 auto;min-height:min(30rem,52vh);width:100%}.Recaman_canvas__kH2Jr{position:absolute;inset:0;display:block}.Recaman_note__nkrYp{font-size:var(--step--2);color:var(--ink-soft);line-height:1.5;-webkit-border-start:2px solid var(--vermilion);border-inline-start:2px solid var(--vermilion);-webkit-padding-start:.8rem;padding-inline-start:.8rem;max-width:none;flex-shrink:0}.Recaman_note__nkrYp strong{color:var(--ink)}.Recaman_coverageWrap__3QCD1{display:flex;flex-direction:column;gap:.8rem;width:100%;height:100%;min-height:0;min-width:0;overflow-y:auto}.Recaman_coverageGrid__I28Qg{display:flex;flex-wrap:wrap;gap:clamp(2px,.3vw,4px);align-content:flex-start;flex-shrink:0;max-width:min(100%,34rem);margin-inline:auto}.Recaman_coverageCell__MfGHM{width:clamp(.82rem,1.05vw,1.25rem);height:clamp(.82rem,1.05vw,1.25rem);border:var(--hair) solid var(--rule-faint);background:transparent}.Recaman_coverageCell__MfGHM[data-hit=true]{background:var(--plate-blue);border-color:var(--plate-blue)}.Recaman_coverageCell__MfGHM[data-first-missing=true]{border:2px solid var(--vermilion);background:var(--vermilion-wash)}.Recaman_compare__I5dfI{display:grid;grid-gap:.9rem;gap:.9rem;width:100%;height:100%;min-height:0;grid-template-rows:1fr 1fr}@media (min-width:52rem){.Recaman_compare__I5dfI{grid-template-columns:1fr 1fr;grid-template-rows:auto}}.Recaman_comparePanel__rTw8z{display:flex;flex-direction:column;gap:.5rem;min-height:0;min-width:0;border:var(--hair) solid var(--rule);padding:.7rem;background:var(--paper)}.Recaman_compareHead__mZBdQ{display:flex;align-items:baseline;justify-content:space-between;gap:.6rem;flex-wrap:wrap;-webkit-padding-after:.45rem;padding-block-end:.45rem;-webkit-border-after:var(--hair) solid var(--rule);border-block-end:var(--hair) solid var(--rule)}.Recaman_compareStat__4zhf0{font-family:var(--font-mono);font-size:var(--step--2);color:var(--ink-soft);font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.Recaman_compareNote__CRL8X{font-size:var(--step--2);color:var(--ink-soft);line-height:1.45;flex-shrink:0}.Recaman_moveLine__4TCY5{display:flex;flex-wrap:wrap;align-items:baseline;gap:.45rem;font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink);flex-shrink:0}.Recaman_moveArrow__4L08N{color:var(--ink-faint)}.Recaman_moveTo__e7RfE{color:var(--vermilion)}.Recaman_moveWhy__paYAH{font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.05em;color:var(--ink-soft)}.Recaman_moveBack__uQB42{color:var(--plate-blue)}.StepNavigator_steps__H0Pe1{display:flex;flex-wrap:wrap;gap:.4rem;padding:0;margin-block:1.25rem;list-style:none}.StepNavigator_steps__H0Pe1 button{display:flex;align-items:center;gap:.45rem;min-height:2.75rem;padding:.45rem .65rem;background:var(--paper);color:var(--ink-soft);border:var(--hair) solid var(--rule);font:var(--step--1)/1.35 var(--font-ui);cursor:pointer}.StepNavigator_steps__H0Pe1 button:hover,.StepNavigator_steps__H0Pe1 button[aria-current]{color:var(--vermilion);border-color:var(--vermilion)}.StepNavigator_index__UKZYi{font-family:var(--font-mono)}.Stein_viewPanel__07QAT{width:100%;height:100%;flex:1 1;display:flex;flex-direction:column;align-items:center;justify-content:center;min-width:0;min-height:0}.Stein_stageValue__G4oSd{font-family:var(--font-mono);font-size:var(--step-0);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:.04em;color:var(--ink);overflow-wrap:anywhere}.Stein_view__gBtlY{display:flex;flex-direction:column;gap:.9rem;width:100%;min-width:0;align-items:stretch}.Stein_note__JSMyE{color:var(--ink-soft)}.Stein_note__JSMyE,.Stein_warning__JY_mi{font-size:var(--step--1);line-height:1.55;max-width:none;margin:0}.Stein_warning__JY_mi{color:var(--ink);padding:.6rem .75rem;border-left:3px solid var(--vermilion);background:color-mix(in srgb,var(--vermilion) 8%,transparent)}.Stein_plane__uOUOz{width:100%;height:min(22rem,44vh);min-height:13rem;display:block}.Stein_planeShell__ENhsh{width:100%;min-width:0}.Stein_axis__bGiic{stroke:var(--rule-faint);stroke-width:1}.Stein_ray__UlujG{stroke:var(--rule-strong);stroke-width:1;stroke-dasharray:3 4;fill:none}.Stein_errorPlain__Y7p7s{stroke:var(--vermilion);stroke-width:2;fill:none}.Stein_errorShrunk__O02tK{stroke:var(--plate-blue);stroke-width:2;fill:none}.Stein_shrinkMove__ddBpA{stroke:var(--ochre);stroke-width:3;fill:none;stroke-linecap:round}.Stein_markTruth__wDpg1{fill:var(--ink)}.Stein_markMeasured__xJOw_{fill:var(--vermilion)}.Stein_markShrunk__IlPKV{fill:var(--plate-blue)}.Stein_markTarget__PbWAJ{fill:none;stroke:var(--rule-strong);stroke-width:1.5}.Stein_pointLabel__LrWSO{font-family:var(--font-mono);font-size:11px;fill:var(--ink-soft)}.Stein_formula__gJdLZ{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink);padding:.5rem .7rem;border:1px solid var(--rule-faint);border-radius:3px;overflow-x:auto;margin:0}.Stein_formulaLabel__8aZUu{display:block;font-family:var(--font-ui);font-size:var(--step--2);letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint);-webkit-margin-after:.3rem;margin-block-end:.3rem}.Stein_losses__zKLms{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:.5rem}.Stein_loss__vvxjV{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;padding:.2rem .5rem;border:1px solid var(--rule-faint);border-radius:3px;color:var(--ink)}.Stein_loss__vvxjV[data-kind=plain]{border-left:3px solid var(--vermilion)}.Stein_loss__vvxjV[data-kind=shrunk]{border-left:3px solid var(--plate-blue)}.Stein_canvasWrap__MPmKg{position:relative;width:100%;height:min(22rem,44vh);min-height:12rem}.Stein_canvas__0ucZT{display:block;width:100%;height:100%}.Stein_dimensions__fZF_n{width:100%;height:min(22rem,44vh);min-height:13rem;display:block}.Stein_gridline__RVl5z{stroke:var(--rule-faint);stroke-width:1}.Stein_plainLine__XLaFw{stroke:var(--vermilion);stroke-width:1.6;fill:none}.Stein_shrunkLine__e4nQn{stroke:var(--plate-blue);stroke-width:1.6;fill:none}.Stein_plainMark__OeQFs{fill:var(--vermilion)}.Stein_offTop__G4Epl,.Stein_shrunkMark__pnbWC{fill:var(--plate-blue)}.Stein_tick__2Sx7X{font-family:var(--font-mono);font-size:10px;fill:var(--ink-faint)}.Stein_crossing__sb2pS{stroke:var(--ochre);stroke-width:1.4;stroke-dasharray:4 3}.Ulam_viewPanel__ieeuT{width:100%;height:100%;flex:1 1;display:flex;flex-direction:column;align-items:center;justify-content:center;min-width:0;min-height:0}.Ulam_stageValue__Mk_Xy{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink-soft)}.Ulam_printed___KmBr{width:100%;max-width:100%;overflow:auto;display:flex;justify-content:safe center;padding-block:.4rem}.Ulam_printedGrid__FfiEb{border-collapse:collapse;margin:0 auto}.Ulam_printedCell__EuzES{padding:1px}.Ulam_printedNumber__Mf1Ih{display:block;min-width:2.4rem;padding:.28rem .2rem;border:1px solid transparent;border-radius:999px;background:none;font-family:var(--font-mono);font-size:var(--step--2);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink-soft);text-align:center;cursor:pointer}.Ulam_printedNumber__Mf1Ih[data-prime=true]{border-color:var(--ink);color:var(--ink);font-weight:600}.Ulam_printedNumber__Mf1Ih[data-centre=true]{background:var(--plate-blue-wash)}.Ulam_printedNumber__Mf1Ih[data-selected=true]{outline:2px solid var(--vermilion);outline-offset:1px}.Ulam_printedNumber__Mf1Ih:hover{background:var(--rule-faint)}@media (max-width:39.999rem){.Ulam_printedNumber__Mf1Ih{min-width:1.75rem;padding:.24rem .1rem}}.Ulam_diagonal__XR70K{display:flex;flex-direction:column;gap:.9rem;width:100%;max-width:52rem}.Ulam_formula__UtNKm{display:flex;flex-wrap:wrap;align-items:baseline;gap:.2rem .8rem;margin:0}.Ulam_formulaText__MuUb3{font-family:var(--font-mono);font-size:var(--step-1);color:var(--ink)}.Ulam_strip__Y7nwT{display:flex;flex-wrap:wrap;gap:.3rem;margin:0;padding:0;list-style:none}.Ulam_stripCell___xy3X{display:grid;grid-gap:.05rem;gap:.05rem;min-width:4.6rem;padding:.3rem .4rem;border:1px solid var(--rule);border-radius:3px;background:var(--paper);text-align:center}.Ulam_stripCell___xy3X[data-prime=true]{border-color:var(--ink);background:var(--ink);color:var(--paper)}.Ulam_stripCell___xy3X[data-break=true]{border-color:var(--vermilion);border-width:2px;background:var(--vermilion-wash);color:var(--ink)}.Ulam_stripIndex__Kq9qj{font-size:var(--step--2);opacity:.75}.Ulam_stripValue__8TEy6{font-family:var(--font-mono);font-size:var(--step--1);font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.Ulam_stripVerdict__bVAhp{font-size:var(--step--2);opacity:.75}.Ulam_verdict__XUPuw{margin:0;font-size:var(--step--1);line-height:1.55}.Ulam_control__iFzgM{display:flex;flex-direction:column;gap:.8rem;width:100%;min-width:0}.Ulam_controlPair__Yjx9e{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));grid-gap:1rem;gap:1rem}@media (max-width:47.999rem){.Ulam_controlPair__Yjx9e{grid-template-columns:minmax(0,1fr)}}.Ulam_controlPane__t_6CY{display:flex;flex-direction:column;gap:.4rem;margin:0;min-width:0}.Ulam_controlPane__t_6CY>div:not(.Ulam_printed___KmBr){min-height:0;aspect-ratio:1}.Ulam_controlHead__Y__x9{display:flex;flex-wrap:wrap;align-items:baseline;gap:.2rem .6rem}.Ulam_controlNote__phH6f,.Ulam_controlReadout__uBvrm{font-size:var(--step--2);color:var(--ink-soft)}.Ulam_controlReadout__uBvrm{margin:0;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;line-height:1.5}.Ulam_cellReading__k1zdN{margin:.4rem 0 0;font-size:var(--step--1);line-height:1.55}.Ulam_cellValue__BpvUg{font-family:var(--font-mono);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;color:var(--ink)}