.Citations_citation__Vzt0G{position:relative;font-size:inherit;white-space:nowrap;color:#525252;display:inline;margin-left:-.15em;font-family:inherit}.Citations_citation-link___oFqY,.prose .Citations_citation-link___oFqY{color:#1d4ed8;text-decoration:none;transition:color .2s ease;font-family:inherit}.Citations_citation-link___oFqY:hover,.prose .Citations_citation-link___oFqY:hover{color:#1e3a8a;text-decoration:none}.Citations_references__A088k{margin-top:2.5em;scroll-margin-top:100px}.Citations_references__A088k h2{margin-bottom:1.5rem}.Citations_reference-list__el6sA{font-size:.925rem;line-height:1.75;color:#262626;counter-reset:reference-counter}.Citations_reference-item__OA4Jl{margin-bottom:1.25rem;padding-left:3rem;text-indent:-3rem;text-align:left;word-wrap:break-word;scroll-margin-top:100px;position:relative}.Citations_reference-item__OA4Jl:before{content:"[" counter(reference-counter) "]";counter-increment:reference-counter;font-weight:500;color:#4b5563;margin-right:1rem;display:inline-block;min-width:2rem;text-align:right}.Citations_error__repcm{color:#dc2626;font-weight:500;padding:.5rem;border-radius:.25rem;background-color:#fef2f2;border:1px solid #fee2e2}.Citations_citation-tooltip__0Ey2r{z-index:1000;background:white;border:1px solid #e5e7eb;border-radius:.375rem;box-shadow:0 4px 6px -1px rgb(0 0 0/.1),0 2px 4px -2px rgb(0 0 0/.1);padding:.75rem 1rem;width:max-content;max-width:min(32rem,calc(100vw - 2rem));font-size:var(--content-font-size);font-family:var(--content-font);line-height:var(--content-line-height);color:#1f2937;text-align:left;white-space:normal;text-indent:0;animation-duration:.4s;animation-timing-function:cubic-bezier(.16,1,.3,1);will-change:transform,opacity}.Citations_citation-tooltip__0Ey2r[data-side=top]{animation-name:Citations_slideDownAndFade__JxyPY}.Citations_citation-tooltip__0Ey2r[data-side=bottom]{animation-name:Citations_slideUpAndFade__Jubrl}.Citations_citation-tooltip-arrow__V8S4M{fill:white;filter:drop-shadow(0 1px 1px rgb(0 0 0/.1))}.Citations_tooltip-entry__o2cCJ{display:block}.Citations_tooltip-entry__o2cCJ:not(:last-child){border-bottom:1px solid #e5e7eb;padding-bottom:.5rem;margin-bottom:.5rem}@keyframes Citations_slideUpAndFade__Jubrl{0%{opacity:0;transform:translateY(2px)}to{opacity:1;transform:translateY(0)}}@keyframes Citations_slideDownAndFade__JxyPY{0%{opacity:0;transform:translateY(-2px)}to{opacity:1;transform:translateY(0)}}.Expand_expand__enJz_{border-radius:.5rem;margin:1.5rem 0;overflow:hidden;border:1px solid transparent}.Expand_header__Q6jAu{display:flex;align-items:center;padding:.75rem .5rem;cursor:pointer;user-select:none;gap:.75rem}@media (min-width:640px){.Expand_header__Q6jAu{padding:.75rem 1rem}}.Expand_advancedIcon__0rGTu{font-size:1.1rem;cursor:help}.Expand_advancedIcon__0rGTu,.Expand_image__uOpNs{display:flex;align-items:center;justify-content:center;flex-shrink:0}.Expand_headline__Bgb1v{flex-grow:1;font-weight:500;font-size:1rem;line-height:1.5}.Expand_arrow__LMPES{display:flex;align-items:center;justify-content:center;color:var(--neutral-600);transition:transform .2s ease}.Expand_arrow__LMPES.Expand_open__7ENCb{transform:rotate(180deg)}.Expand_content__18I6f{padding:.75rem .5rem 1rem;font-size:1rem;line-height:1.6}@media (min-width:640px){.Expand_content__18I6f{padding:.75rem 1rem 1rem}}.Expand_hide__JxXMw{margin-top:.5rem;text-align:right;font-size:.85rem;color:var(--neutral-600);cursor:pointer;user-select:none}.Footnotes_footnote__9N0Ba{position:relative;top:-.5em;font-size:.75em;white-space:nowrap;color:#525252;display:inline-flex;margin-left:.15em;scroll-margin-top:100px;cursor:pointer}.Footnotes_footnote-link__l83hx,.prose .Footnotes_footnote-link__l83hx{color:#1d4ed8;text-decoration:none;transition:color .2s ease}.Footnotes_footnote-link__l83hx:hover,.prose .Footnotes_footnote-link__l83hx:hover{color:#1e3a8a;text-decoration:none}.Footnotes_footnotes__EnB8v{margin-top:2.5em;border-top:1px solid #e5e7eb;padding-top:1.5em;scroll-margin-top:100px}.Footnotes_footnotes__EnB8v h2{margin-bottom:1.5rem}.Footnotes_footnote-list__bsD0z{font-size:.925rem;line-height:1.5;color:#262626}.Footnotes_footnote-item__9PuST{margin-bottom:.5rem;padding-left:3rem;text-indent:-3rem;text-align:left;word-wrap:break-word;scroll-margin-top:100px;position:relative}.Footnotes_footnote-item__9PuST:before{content:attr(data-mark);font-weight:500;color:#4b5563;margin-right:1rem;display:inline-block;min-width:2rem;text-align:right}.Footnotes_footnote-tooltip__riri3{z-index:1000;background:white;border:1px solid #e5e7eb;border-radius:.375rem;box-shadow:0 4px 6px -1px rgb(0 0 0/.1),0 2px 4px -2px rgb(0 0 0/.1);padding:.75rem 1rem;width:max-content;max-width:min(32rem,calc(100vw - 2rem));font-size:var(--content-font-size);font-family:var(--content-font);line-height:var(--content-line-height);color:#1f2937;text-align:left;white-space:normal;animation-duration:.4s;animation-timing-function:cubic-bezier(.16,1,.3,1);will-change:transform,opacity}.Footnotes_footnote-tooltip__riri3[data-side=top]{animation-name:Footnotes_slideDownAndFade__aGoCS}.Footnotes_footnote-tooltip__riri3[data-side=bottom]{animation-name:Footnotes_slideUpAndFade__yhnsh}.Footnotes_footnote-tooltip-arrow__NBpi0{fill:white;filter:drop-shadow(0 1px 1px rgb(0 0 0/.1))}@keyframes Footnotes_slideUpAndFade__yhnsh{0%{opacity:0;transform:translateY(2px)}to{opacity:1;transform:translateY(0)}}@keyframes Footnotes_slideDownAndFade__aGoCS{0%{opacity:0;transform:translateY(-2px)}to{opacity:1;transform:translateY(0)}}.Footnotes_backlink__S99hM{display:inline-block;margin:0 .1em}.Tooltip_tooltip-trigger__wyzE1{display:inline;cursor:help;text-decoration:underline;text-decoration-style:dotted;text-decoration-color:#6b7280;text-underline-offset:.2em;color:inherit}.Tooltip_tooltip-trigger__wyzE1:hover{text-decoration-color:#374151}.Tooltip_tooltip-content__CghKb{z-index:1000;background:white;border:1px solid #e5e7eb;border-radius:.375rem;box-shadow:0 4px 6px -1px rgb(0 0 0/.1),0 2px 4px -2px rgb(0 0 0/.1);padding:.75rem 1rem;width:max-content;max-width:min(24rem,calc(100vw - 2rem));font-size:.875rem;line-height:1.4;color:#1f2937;text-align:left;white-space:normal;animation-duration:.2s;animation-timing-function:cubic-bezier(.16,1,.3,1);will-change:transform,opacity}.Tooltip_tooltip-paragraph__3TFzA{display:block;margin:0}.Tooltip_tooltip-line__duO7P{margin:.25rem 0}.Tooltip_tooltip-line__duO7P:first-child{margin-top:0}.Tooltip_tooltip-line__duO7P:last-child{margin-bottom:0}.Tooltip_tooltip-list-item__gA4l_{margin:.25rem 0;padding-left:.5rem;text-indent:-.5rem}.Tooltip_tooltip-strong__mtCss{font-weight:600;color:#111827}.Tooltip_tooltip-em__6be_Y{font-style:italic}.Tooltip_tooltip-code__9gf3_{background-color:#f3f4f6;padding:.125rem .25rem;border-radius:.25rem;font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.8em;color:#1f2937}.Tooltip_tooltip-link__eeIc3{color:#1d4ed8;text-decoration:underline;text-underline-offset:.125em}.Tooltip_tooltip-link__eeIc3:hover{color:#1e3a8a}.Tooltip_tooltip-image__8wcU8{max-width:100%;height:auto;border-radius:.25rem;margin:.5rem 0;display:block}.Tooltip_tooltip-loading__kL9Z_{color:#6b7280;font-style:italic}.Tooltip_tooltip-content__CghKb[data-side=top]{animation-name:Tooltip_slideDownAndFade__Q9_HW}.Tooltip_tooltip-content__CghKb[data-side=bottom]{animation-name:Tooltip_slideUpAndFade__5kzp0}.Tooltip_tooltip-content__CghKb[data-side=left]{animation-name:Tooltip_slideRightAndFade__q7eRR}.Tooltip_tooltip-content__CghKb[data-side=right]{animation-name:Tooltip_slideLeftAndFade__kflny}@keyframes Tooltip_slideUpAndFade__5kzp0{0%{opacity:0;transform:translateY(2px)}to{opacity:1;transform:translateY(0)}}@keyframes Tooltip_slideDownAndFade__Q9_HW{0%{opacity:0;transform:translateY(-2px)}to{opacity:1;transform:translateY(0)}}@keyframes Tooltip_slideLeftAndFade__kflny{0%{opacity:0;transform:translateX(2px)}to{opacity:1;transform:translateX(0)}}@keyframes Tooltip_slideRightAndFade__q7eRR{0%{opacity:0;transform:translateX(-2px)}to{opacity:1;transform:translateX(0)}}.TableOfContents_toc__EOBrn{position:sticky;top:2em;max-height:calc(100vh - 8em);overflow-y:auto;padding:1em;scrollbar-width:thin;scrollbar-color:#e5e5e5 transparent;font-family:var(--sidebar-font);font-size:var(--sidebar-font-size);line-height:var(--sidebar-line-height)}.TableOfContents_toc__EOBrn::-webkit-scrollbar{width:6px}.TableOfContents_toc__EOBrn::-webkit-scrollbar-track{background:transparent}.TableOfContents_toc__EOBrn::-webkit-scrollbar-thumb{background-color:#e5e5e5;border-radius:3px}.TableOfContents_title__8xtic{font-weight:500;color:var(--neutral-600);margin-bottom:1em}.TableOfContents_list__VkUd0{list-style:none;padding:0;margin:0}.TableOfContents_item__Xe8ed{margin-bottom:.2em}.TableOfContents_link__bSABJ{display:block;padding:.25em .75em;margin-left:-.75em;color:var(--neutral-600);text-decoration:none;line-height:1.4em;transition:all .15s ease;border-left:3px solid transparent;border-radius:0 4px 4px 0}.TableOfContents_link__bSABJ:hover{color:var(--neutral-800);background-color:rgba(0,0,0,.03)}.TableOfContents_active__RdAMp{color:var(--primary);font-weight:600;background-color:rgba(37,99,235,.08);border-left:3px solid var(--primary);padding-left:.75em;margin-left:-.75em;border-radius:0 4px 4px 0}.TableOfContents_active__RdAMp:hover{color:var(--primary-dark);background-color:rgba(37,99,235,.12)}.Sidebar_sidebar__G7Mzs{font-family:var(--sidebar-font);font-size:var(--sidebar-font-size);line-height:var(--sidebar-line-height);padding-right:2rem;display:flex;flex-direction:column;height:100%;max-height:100%;min-height:0;overflow:hidden}.Sidebar_scrollableContent__WtZmB{flex:1 1 auto;overflow-y:auto;overflow-x:hidden;padding-bottom:2rem;min-height:0;-webkit-overflow-scrolling:touch;scrollbar-width:thin;scrollbar-color:rgba(0,0,0,.3) transparent;overscroll-behavior:contain}.Sidebar_scrollableContent__WtZmB::-webkit-scrollbar{width:6px}.Sidebar_scrollableContent__WtZmB::-webkit-scrollbar-track{background:transparent}.Sidebar_scrollableContent__WtZmB::-webkit-scrollbar-thumb{background-color:rgba(0,0,0,.3);border-radius:3px}.Sidebar_scrollableContent__WtZmB::-webkit-scrollbar-thumb:hover{background-color:rgba(0,0,0,.5)}.Sidebar_list__I5HfV{list-style:none;padding:0;margin:0;gap:.375rem;display:flex;flex-direction:column}.Sidebar_item__IbyhT{margin:0}.Sidebar_link__NjnkI{display:block;color:var(--neutral-600);text-decoration:none;transition:all .2s ease;padding:.4rem .75rem;margin-left:-.75rem;border-radius:4px}.Sidebar_link__NjnkI:hover{color:var(--neutral-900);background-color:rgba(0,0,0,.03)}.Sidebar_active__Bfm7L{color:var(--primary);font-weight:600;background-color:rgba(37,99,235,.08)}.Sidebar_subsections__4JMe7{overflow:hidden;transition:opacity .2s ease-in-out,max-height .4s ease-in-out;opacity:0;max-height:0;position:relative}.Sidebar_subsectionsVisible__0k2N4{opacity:1;max-height:500px;transition-delay:.15s}.Sidebar_subsectionWrapper__tUx1X{transform-origin:top;transition:transform .2s ease-in-out;position:absolute;width:100%}.Sidebar_subsectionWrapperVisible__ycLhq{position:relative;transform:translateY(0);transition-delay:.15s}.Sidebar_subsectionWrapperHidden__3D_C_{transform:translateY(-8px);transition-delay:0s}.Sidebar_tableOfContents__zMzen{margin-top:.5rem;margin-left:1rem;font-size:.875em}.Sidebar_gap__NmoxM{height:1rem;margin:0;padding:0}@media (max-width:1023px){.Sidebar_sidebar__G7Mzs{height:100%;max-height:100%}}.Page_article__A_Nud,.Page_main__cWiGN{font-family:var(--content-font);font-size:var(--content-font-size);line-height:var(--content-line-height)}.SolomonoffInductionWidget_container__q7BDd{padding:.75rem;background:#f8f9fa;border-radius:8px;margin:1rem 0}.SolomonoffInductionWidget_miniContainer__t8ZjI{display:flex;justify-content:center;margin:1rem 0}.SolomonoffInductionWidget_miniCoinGrid__6Ltkh{display:flex;gap:.4rem;align-items:center}.SolomonoffInductionWidget_whiteBox__O9Kyt{background:white;border-radius:6px;padding:1rem;margin-bottom:.75rem;box-shadow:0 2px 4px rgba(0,0,0,.1)}.SolomonoffInductionWidget_whiteBox__O9Kyt:last-child{margin-bottom:0}.SolomonoffInductionWidget_controls__qbrd0{display:flex;flex-wrap:wrap;gap:1rem;margin-bottom:1.5rem;align-items:center}.SolomonoffInductionWidget_bottomControls__lQAbA{margin-top:0;padding-top:0;border-top:none;display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:1rem}.SolomonoffInductionWidget_hypothesisSelector__4lpLT{display:flex;align-items:center;gap:.5rem}.SolomonoffInductionWidget_controlButtons__Q8DLy{display:flex;gap:.5rem}.SolomonoffInductionWidget_hypothesisSelector__4lpLT label{font-weight:600}.SolomonoffInductionWidget_select__c1hkJ{padding:.4rem .8rem;border:1px solid #ddd;border-radius:4px;background:white;font-size:.95rem}.SolomonoffInductionWidget_button__pF5xT{padding:.5rem 1rem;background:#3b82f6;color:white;border:none;border-radius:4px;cursor:pointer;font-size:.95rem;transition:background .2s}.SolomonoffInductionWidget_button__pF5xT:hover{background:#2563eb}.SolomonoffInductionWidget_sequenceContainer__4eYj2{margin-bottom:0}.SolomonoffInductionWidget_sequenceContainer__4eYj2 h3{margin-bottom:.5rem;margin-top:0;font-size:1.1rem;font-weight:600}.SolomonoffInductionWidget_coinGrid__347hu{display:grid;grid-template-columns:repeat(10,1fr);gap:.4rem;max-width:fit-content;margin:0 auto}.SolomonoffInductionWidget_coin__B3oTv{width:2.5rem;height:2.5rem;border-radius:50%;display:flex;align-items:center;justify-content:center;font-weight:700;color:white;font-size:1.2rem;box-shadow:0 2px 4px rgba(0,0,0,.1)}.SolomonoffInductionWidget_coin__B3oTv.SolomonoffInductionWidget_red__jbygW{background:#ef4444}.SolomonoffInductionWidget_coin__B3oTv.SolomonoffInductionWidget_blue__Pabaw{background:#3b82f6}.SolomonoffInductionWidget_coin__B3oTv.SolomonoffInductionWidget_clickable__yH9Q7{cursor:pointer;transition:transform .1s ease,box-shadow .1s ease}.SolomonoffInductionWidget_coin__B3oTv.SolomonoffInductionWidget_clickable__yH9Q7:hover{transform:scale(1.1);box-shadow:0 4px 8px rgba(0,0,0,.2)}.SolomonoffInductionWidget_coin__B3oTv.SolomonoffInductionWidget_clickable__yH9Q7:active{transform:scale(.95)}.SolomonoffInductionWidget_explanation__GZqqI{text-align:center;color:#666;font-size:.85rem;margin-top:.75rem;margin-bottom:0;font-style:italic}.SolomonoffInductionWidget_posteriorsContainer__5i0zC{margin-bottom:2rem}.SolomonoffInductionWidget_posteriorsContainer__5i0zC h3{margin-bottom:.75rem;font-size:1.1rem;font-weight:600}.SolomonoffInductionWidget_barChart__ZEEHh{display:flex;gap:1.5rem;align-items:flex-end;padding:1rem;background:white;border-radius:4px;min-height:300px;overflow-x:auto}.SolomonoffInductionWidget_barContainer__O_R2N{display:flex;flex-direction:column;align-items:center;min-width:100px}.SolomonoffInductionWidget_barWrapper__69FFo{display:flex;flex-direction:column;align-items:center;justify-content:flex-end;height:220px;position:relative}.SolomonoffInductionWidget_bar__CJiiU{width:60px;background:linear-gradient(0deg,#3b82f6,#60a5fa);border-radius:4px 4px 0 0;transition:height .3s ease;min-height:2px}.SolomonoffInductionWidget_barValue__mqb6u{margin-top:.5rem;font-weight:600;font-size:.9rem}.SolomonoffInductionWidget_barLabel__32ElT{margin-top:.75rem;text-align:center}.SolomonoffInductionWidget_hypothesisName___PMDZ{font-weight:600;font-size:.9rem;margin-bottom:.25rem}.SolomonoffInductionWidget_hypothesisDescription__HePSD{font-size:.75rem;color:#666;line-height:1.3;max-width:120px}.SolomonoffInductionWidget_priorInfo__P6_Vc{font-size:.75rem;color:#999;margin-top:.25rem}.SolomonoffInductionWidget_removedNote__ni__S{margin-top:1rem;padding:.5rem;background:#fee2e2;border-left:3px solid #ef4444;color:#991b1b;font-size:.9rem}.SolomonoffInductionWidget_logSpaceContainer__nh1Zw{margin-top:0}.SolomonoffInductionWidget_posteriorHeader__mbZ4s{display:flex;justify-content:space-between;align-items:center;margin-bottom:.5rem}.SolomonoffInductionWidget_posteriorHeader__mbZ4s h3{font-size:1.1rem;font-weight:600;margin:0}.SolomonoffInductionWidget_toggleButton__KtVCM{padding:.4rem .8rem;background:#6b7280;color:white;border:none;border-radius:4px;cursor:pointer;font-size:.9rem;transition:background .2s}.SolomonoffInductionWidget_toggleButton__KtVCM:hover{background:#4b5563}.SolomonoffInductionWidget_logBars__kTK_V{background:white;padding:.75rem;border-radius:4px}.SolomonoffInductionWidget_logBarRow__I_viE{display:flex;align-items:center;margin-bottom:.5rem;gap:.25rem}.SolomonoffInductionWidget_logBarLabel__5AIg2{width:170px;min-width:170px;font-size:.9rem;font-weight:500}.SolomonoffInductionWidget_hypothesisNameLink__iJMo3{text-decoration:underline;text-decoration-style:dotted;text-underline-offset:2px;cursor:help}.SolomonoffInductionWidget_hypothesisNameLink__iJMo3:hover{text-decoration-style:solid}.SolomonoffInductionWidget_logBarWrapper__AHVy_{flex:1;display:flex;align-items:center;background:#f0f0f0;border-radius:2px;position:relative;height:24px;margin-left:.25rem}.SolomonoffInductionWidget_logBar__VEjSm{height:100%;background:linear-gradient(90deg,#3b82f6,#60a5fa);border-radius:2px;transition:width .3s ease}.SolomonoffInductionWidget_logBarValue__tnXDF{position:absolute;right:.5rem;font-size:.8rem;color:#666}@media (max-width:768px){.SolomonoffInductionWidget_container__q7BDd{padding:1rem;margin:.5rem 0}.SolomonoffInductionWidget_controls__qbrd0,.SolomonoffInductionWidget_hypothesisSelector__4lpLT{flex-direction:column;align-items:stretch}.SolomonoffInductionWidget_coin__B3oTv{width:1.75rem;height:1.75rem;font-size:.9rem}.SolomonoffInductionWidget_barChart__ZEEHh{gap:1rem;padding:.75rem}.SolomonoffInductionWidget_barContainer__O_R2N{min-width:80px}.SolomonoffInductionWidget_bar__CJiiU{width:40px}.SolomonoffInductionWidget_hypothesisDescription__HePSD{max-width:80px}.SolomonoffInductionWidget_logBarLabel__5AIg2{min-width:80px;font-size:.8rem}.SolomonoffInductionWidget_logBarRow__I_viE{gap:0}.SolomonoffInductionWidget_logBarWrapper__AHVy_{margin-left:0}.SolomonoffInductionWidget_posteriorHeader__mbZ4s{flex-direction:column;gap:.75rem;align-items:flex-start}.SolomonoffInductionWidget_toggleButton__KtVCM{font-size:.85rem;padding:.35rem .7rem}.SolomonoffInductionWidget_bottomControls__lQAbA{flex-direction:column;align-items:stretch}.SolomonoffInductionWidget_controlButtons__Q8DLy{justify-content:center}}@media (max-width:480px){.SolomonoffInductionWidget_container__q7BDd{padding:.25rem}.SolomonoffInductionWidget_whiteBox__O9Kyt{padding:.5rem;margin-bottom:.5rem}.SolomonoffInductionWidget_sequenceContainer__4eYj2 h3{margin-bottom:.25rem}.SolomonoffInductionWidget_coinGrid__347hu{width:100%;max-width:none;grid-template-columns:repeat(10,minmax(0,1fr));gap:.2rem}.SolomonoffInductionWidget_coin__B3oTv{width:clamp(1.05rem,7.2vw,1.6rem);height:clamp(1.05rem,7.2vw,1.6rem);font-size:clamp(.7rem,3.4vw,.9rem)}.SolomonoffInductionWidget_logBars__kTK_V{padding:.5rem;margin-left:-.25rem;margin-right:-.25rem}.SolomonoffInductionWidget_logBarRow__I_viE{flex-direction:column;align-items:stretch;gap:.25rem;margin-bottom:.5rem}.SolomonoffInductionWidget_logBarLabel__5AIg2{width:auto;min-width:0;margin:0;font-size:.85rem}.SolomonoffInductionWidget_logBarWrapper__AHVy_{width:100%;margin-left:0;height:28px}.SolomonoffInductionWidget_logBarValue__tnXDF{right:.35rem;font-size:.75rem;max-width:calc(100% - .7rem);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.SolomonoffInductionWidget_posteriorHeader__mbZ4s{gap:.5rem}}