@font-face{font-family:EB Garamond;font-style:normal;font-weight:400 800;font-display:swap;src:url(../media/0fec32c78403d184-s.12ub3b46qtqh1.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:EB Garamond;font-style:normal;font-weight:400 800;font-display:swap;src:url(../media/9d30e1ac529a223a-s.3-2h23dx9ns77.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:EB Garamond;font-style:normal;font-weight:400 800;font-display:swap;src:url(../media/9056bf441d45cedc-s.0ljlqtoxynbu1.woff2)format("woff2");unicode-range:U+1F??}@font-face{font-family:EB Garamond;font-style:normal;font-weight:400 800;font-display:swap;src:url(../media/e6c3b2b7c3a61f79-s.0y7p5r83eele4.woff2)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:EB Garamond;font-style:normal;font-weight:400 800;font-display:swap;src:url(../media/e557826f452dbd06-s.1_ma567-n-526.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:EB Garamond;font-style:normal;font-weight:400 800;font-display:swap;src:url(../media/1497d94d4ac5c969-s.32itxo7y-xsdk.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:EB Garamond;font-style:normal;font-weight:400 800;font-display:swap;src:url(../media/e4505858a30c79c2-s.p.0tlhhw_qyyfys.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:EB Garamond Fallback;src:local(Times New Roman);ascent-override:106.26%;descent-override:31.44%;line-gap-override:0.0%;size-adjust:94.77%}.eb_garamond_d6765260-module__c8bwTa__className{font-family:EB Garamond,EB Garamond Fallback;font-style:normal}.eb_garamond_d6765260-module__c8bwTa__variable{--font-serif:"EB Garamond", "EB Garamond Fallback"}
@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/e390973e931a41c5-s.0rgnxg2b64rzs.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/59b15b4bcd7b1eb5-s.2vemzm0itqzfy.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/e532fa1b9921e1cd-s.3cb5lpr2l6xud.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/2fe89d53234c61d4-s.1u30mmyq6lnsd.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/99e609270109b47d-s.p.40sczeszzbjw1.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/5e05ae5b48faa55e-s.1yd4_i3e35931.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/a7afbb44bec2bb18-s.1qc6dx89jd2qv.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/02263ebadd758ea4-s.29yke99gs9qpn.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/68757d6cddeff913-s.1i-sca43-qwng.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/effe91970fc4db64-s.p.0oace-s_gkfks.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:600;font-display:swap;src:url(../media/6ff74e33ebd7bca3-s.352ti9pm7m6qh.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:600;font-display:swap;src:url(../media/1a69062cfe6f77f8-s.0o-3_g79811ob.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:600;font-display:swap;src:url(../media/9a4838fcda0d1bca-s.0ngr-xkgqz1kf.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:600;font-display:swap;src:url(../media/2e95a7d252b9825a-s.15orukf5wyxb5.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:600;font-display:swap;src:url(../media/23b7a97ae3b5c134-s.p.226pwps5o-gq_.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono Fallback;src:local(Arial);ascent-override:76.16%;descent-override:20.43%;line-gap-override:0.0%;size-adjust:134.59%}.ibm_plex_mono_13340375-module__BqyTWW__className{font-family:IBM Plex Mono,IBM Plex Mono Fallback;font-style:normal}.ibm_plex_mono_13340375-module__BqyTWW__variable{--font-mono:"IBM Plex Mono", "IBM Plex Mono Fallback"}
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-border-style:solid;--tw-ordinal:initial;--tw-slashed-zero:initial;--tw-numeric-figure:initial;--tw-numeric-spacing:initial;--tw-numeric-fraction:initial;--tw-outline-style:solid}}}@layer theme{:root,:host{--font-sans:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-serif:var(--font-serif);--font-mono:var(--font-mono);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring:where(:not(iframe)){outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.visible{visibility:visible}.fixed{position:fixed}.block{display:block}.flex{display:flex}.inline-block{display:inline-block}.inline-flex{display:inline-flex}.table{display:table}.h-full{height:100%}.min-h-full{min-height:100%}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.resize{resize:both}.flex-col{flex-direction:column}.border{border-style:var(--tw-border-style);border-width:1px}.fill-rule{fill:var(--rule)}.break-all{word-break:break-all}.uppercase{text-transform:uppercase}.italic{font-style:italic}.tabular-nums{--tw-numeric-spacing:tabular-nums;font-variant-numeric:var(--tw-ordinal,) var(--tw-slashed-zero,) var(--tw-numeric-figure,) var(--tw-numeric-spacing,) var(--tw-numeric-fraction,)}.underline{text-decoration-line:underline}.antialiased{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}.outline{outline-style:var(--tw-outline-style);outline-width:1px}}:root{--paper:#f0e9d9;--sheet:#f7f2e6;--ink:#1a1713;--ink-2:#4a443a;--ink-3:#7d7566;--rule:#1a171329;--rule-soft:#1a171314;--green:#1c7a45;--red:#cf2118;--blue:#1a35c9;--yellow:#c9a005;--yellow-fill:#e6c02a}html{background:var(--paper);-webkit-font-smoothing:antialiased}body{background:var(--paper);color:var(--ink);font-family:var(--font-serif), Georgia, "Times New Roman", serif;font-feature-settings:"onum" 1, "kern" 1, "liga" 1;font-size:17.5px;line-height:1.62}@media (min-width:768px){body{font-size:18.5px}}.measure{width:100%;max-width:43rem;margin-inline:auto;padding-inline:1.5rem}.wide{width:100%;max-width:52rem;margin-inline:auto;padding-inline:1.5rem}.mono{font-family:var(--font-mono), ui-monospace, monospace;font-feature-settings:"tnum" 1;font-variant-numeric:tabular-nums}.num{font-variant-numeric:tabular-nums lining-nums}.smallcaps{letter-spacing:.09em;font-variant-caps:all-small-caps}.label{font-family:var(--font-mono), ui-monospace, monospace;letter-spacing:.14em;text-transform:uppercase;color:var(--ink-3);font-size:.68rem}.paper-body{counter-reset:section}.section-head{counter-increment:section;align-items:baseline;gap:.85rem;margin-top:3.5rem;margin-bottom:.9rem;scroll-margin-top:2rem;display:flex}.section-head:before{content:counter(section);font-family:var(--font-mono), monospace;color:var(--ink-3);flex:none;width:1.2rem;padding-top:.15rem;font-size:.8rem}.section-head h2{letter-spacing:-.005em;font-size:1.16rem;font-weight:600}.paper-body p+p{margin-top:.85rem}.paper-body p{text-wrap:pretty}.paper-body p.lead:first-letter{font-size:1em}.eq{font-family:var(--font-mono), monospace;letter-spacing:-.01em;text-align:center;color:var(--ink);margin:1.6rem 0;padding-bottom:.2rem;font-size:.94rem;line-height:1.9;overflow-x:auto}.eq em{font-family:var(--font-serif), serif;font-size:1.06em;font-style:italic}.eq-tag{float:right;color:var(--ink-3);font-size:.8rem}var,.var{font-family:var(--font-serif), serif;font-style:italic}.thm{background:var(--sheet);border:1px solid var(--rule);border-left-width:3px;margin:1.7rem 0;padding:1.05rem 1.2rem 1.1rem}.thm.red{border-left-color:var(--red)}.thm.blue{border-left-color:var(--blue)}.thm.yellow{border-left-color:var(--yellow-fill)}.thm-title{letter-spacing:.08em;margin-right:.5ch;font-variant-caps:all-small-caps;font-weight:600}.thm-body{font-style:italic}.proof{color:var(--ink-2);margin-top:.75rem;font-size:.94em}.proof:after{content:"□";margin-left:.4ch}.proof .proof-label{letter-spacing:.08em;color:var(--ink-3);margin-right:.4ch;font-style:normal;font-variant-caps:all-small-caps}figure{margin:2.4rem 0}figcaption{color:var(--ink-2);text-wrap:pretty;margin-top:.7rem;font-size:.87rem;line-height:1.5}figcaption .fig-no{letter-spacing:.08em;color:var(--ink);margin-right:.5ch;font-variant-caps:all-small-caps;font-weight:600}table.paper-table{border-collapse:collapse;font-variant-numeric:tabular-nums;width:100%;font-size:.9rem}table.paper-table th{text-align:left;letter-spacing:.07em;color:var(--ink-2);border-bottom:1px solid var(--rule);padding:.45rem .6rem .45rem 0;font-variant-caps:all-small-caps;font-weight:600}table.paper-table td{border-bottom:1px solid var(--rule-soft);vertical-align:baseline;padding:.42rem .6rem .42rem 0}table.paper-table td.n,table.paper-table th.n{text-align:right;font-family:var(--font-mono), monospace;padding-right:0;font-size:.83rem}.fn{vertical-align:super;color:var(--red);font-size:.78em;line-height:0;font-family:var(--font-mono), monospace}hr.rule{border:0;border-top:1px solid var(--rule);margin:3rem 0}.notes{color:var(--ink-2);font-size:.86rem;line-height:1.55}.notes li+li{margin-top:.5rem}a{color:inherit;text-underline-offset:.18em;text-decoration:underline;text-decoration-thickness:1px;-webkit-text-decoration-color:var(--rule);-webkit-text-decoration-color:var(--rule);-webkit-text-decoration-color:var(--rule);text-decoration-color:var(--rule)}a:hover{-webkit-text-decoration-color:var(--red);-webkit-text-decoration-color:var(--red);-webkit-text-decoration-color:var(--red);text-decoration-color:var(--red)}.odo{--odo-h:15px;--odo-w:9px;white-space:nowrap;font-family:var(--font-mono), ui-monospace, monospace;font-variant-numeric:tabular-nums;color:var(--ink);font-size:15px;line-height:1;transition:color .26s;display:inline-block}.odo.up{color:var(--green)}.odo.down{color:var(--red)}.odo-c{vertical-align:bottom;height:var(--odo-h);width:var(--odo-w);-webkit-user-select:none;user-select:none;display:inline-block;overflow:hidden}.odo-text{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.odo-c.odo-static{width:auto}.odo-strip{transition:transform .52s cubic-bezier(.16,1,.3,1);display:block}.odo-strip>span{height:var(--odo-h);line-height:var(--odo-h);text-align:center;display:block}@media (prefers-reduced-motion:reduce){.odo-strip{transition:none}}.stats{text-align:center;grid-template-columns:repeat(3,minmax(0,1fr));gap:1.5rem;display:grid}.stat-label{font-family:var(--font-mono), ui-monospace, monospace;letter-spacing:.14em;text-transform:uppercase;color:var(--ink-3);white-space:nowrap;font-size:.53rem}.stat-value{letter-spacing:-.005em;margin-top:.32rem;font-size:.8rem;line-height:1}.skel{vertical-align:baseline;background:linear-gradient(90deg,#1a171312 0%,#1a171321 50%,#1a171312 100%) 0 0/220% 100%;border-radius:1px;height:.82em;animation:1.5s ease-in-out infinite skel-sweep;display:inline-block}.skel.idle{background:#1a171312;animation:none}@keyframes skel-sweep{0%{background-position:130% 0}to{background-position:-30% 0}}@media (prefers-reduced-motion:reduce){.skel{animation:none}}.recharts-cartesian-axis-tick text{font-family:var(--font-mono), monospace;fill:var(--ink-3);letter-spacing:.02em;font-size:10px}.recharts-surface{overflow:visible}.recharts-cartesian-grid line{stroke:var(--rule-soft)}::selection{background:var(--yellow-fill);color:var(--ink)}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-ordinal{syntax:"*";inherits:false}@property --tw-slashed-zero{syntax:"*";inherits:false}@property --tw-numeric-figure{syntax:"*";inherits:false}@property --tw-numeric-spacing{syntax:"*";inherits:false}@property --tw-numeric-fraction{syntax:"*";inherits:false}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}
