@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/3e998ecf2bb5cb02-s.0cxphhwjgnhom.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 Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/1511556823a60eed-s.14en1qnw26939.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/8eaabab07633d98e-s.31bpt45-h7_2w.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:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/475d9a2588be5730-s.2r1x0n5j81ih5.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 Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/caf4e2d3522f4a0f-s.2aqytr2zwea4f.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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/dd16c64b99082e83-s.p.0pki2uy9ztkxf.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 Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/3e998ecf2bb5cb02-s.0cxphhwjgnhom.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 Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/1511556823a60eed-s.14en1qnw26939.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/8eaabab07633d98e-s.31bpt45-h7_2w.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:IBM Plex Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/475d9a2588be5730-s.2r1x0n5j81ih5.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 Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/caf4e2d3522f4a0f-s.2aqytr2zwea4f.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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/dd16c64b99082e83-s.p.0pki2uy9ztkxf.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 Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/3e998ecf2bb5cb02-s.0cxphhwjgnhom.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 Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/1511556823a60eed-s.14en1qnw26939.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/8eaabab07633d98e-s.31bpt45-h7_2w.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:IBM Plex Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/475d9a2588be5730-s.2r1x0n5j81ih5.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 Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/caf4e2d3522f4a0f-s.2aqytr2zwea4f.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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/dd16c64b99082e83-s.p.0pki2uy9ztkxf.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 Sans Fallback;src:local(Arial);ascent-override:101.32%;descent-override:27.18%;line-gap-override:0.0%;size-adjust:101.17%}._14iPxa_className{font-family:IBM Plex Sans,IBM Plex Sans Fallback;font-style:normal}._14iPxa_variable{--font-sans:"IBM Plex Sans", "IBM Plex Sans Fallback"}
@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/faab88e4be272d29-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/a45aa1001bf9176f-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/41ba59f553543ecf-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/67bba87670b402d1-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-20C4,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/d6c1ff7e86974212-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/49b1d53681a91a99-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/123d516c9baeb953-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/a74d2542cc4c775f-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/7ac0b1cd3e695dd0-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-20C4,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/916cd8a3bde3edf8-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 Fallback;src:local(Arial);ascent-override:76.16%;descent-override:20.43%;line-gap-override:0.0%;size-adjust:134.59%}._1NxLqG_className{font-family:IBM Plex Mono,IBM Plex Mono Fallback;font-style:normal}._1NxLqG_variable{--font-mono:"IBM Plex Mono", "IBM Plex Mono Fallback"}
:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark;--bg:#faf7f2;--surface:#fff;--text:#2b2622;--muted:#6f665e;--accent:#b4532a;--accent-hover:#973f1c;--on-accent:#fff;--line:#e6ddd0;--error-bg:#fbe9e7;--error-text:#9b1c1c;--radius:8px}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial;--bg:#1f2a26;--surface:#27352f;--text:#ece9df;--muted:#a7b1a9;--accent:#e8c766;--accent-hover:#f0d88c;--on-accent:#1f2a26;--line:#3b4b44;--error-bg:#3d2826;--error-text:#f2b8b5}}*,:before,:after{box-sizing:border-box}body{background:var(--bg);color:var(--text);font-family:var(--font-sans), system-ui, sans-serif;text-align:center;margin:0;line-height:1.6}a{color:var(--accent);text-underline-offset:3px;overflow-wrap:anywhere}p{margin:0 0 12px}h1{letter-spacing:.18em;text-transform:uppercase;margin:36px 0 24px;font-size:1.05rem;font-weight:600}hr{background:var(--line);border:none;width:96px;height:1px;margin:32px auto}.site-header{border-bottom:1px solid var(--line);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px 24px;padding:12px 24px;display:flex}.brand{color:var(--text);font-size:1.15rem;font-weight:600;text-decoration:none}.nav{flex-wrap:wrap;justify-content:center;gap:4px;display:flex}.nav a{border-radius:var(--radius);color:var(--muted);padding:6px 12px;text-decoration:none}.nav a:hover{color:var(--text)}.nav a[aria-current=page]{color:var(--accent);background:var(--surface);font-weight:600}@media (max-width:600px){.site-header{justify-content:center;padding:10px 8px}.nav{gap:0}.nav a{padding:4px 7px;font-size:.9rem}}.page{max-width:960px;margin:0 auto;padding:0 16px 64px}.intro p{max-width:680px;margin-inline:auto}.illustrations{justify-content:center;gap:12px;margin-bottom:24px;display:flex}.illustrations img{border-radius:10px}.action-form{flex-wrap:wrap;justify-content:center;align-items:flex-end;gap:12px;margin:24px 0;display:flex}.field{color:var(--muted);text-align:left;flex-direction:column;gap:4px;font-size:.8rem;display:flex}.field input,.field select{border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);max-width:100%;color:var(--text);font:inherit;padding:9px 12px;font-size:1rem}.field input{width:calc(28ch + 26px);font-family:var(--font-mono), monospace}.field select{min-width:200px}.field input:focus-visible,.field select:focus-visible{border-color:var(--accent);outline:1px solid var(--accent)}button{border-radius:var(--radius);background:var(--accent);color:var(--on-accent);font:inherit;cursor:pointer;border:none;padding:10px 18px;font-weight:600}button:hover:not(:disabled){background:var(--accent-hover)}button:focus-visible{outline:2px solid var(--accent);outline-offset:2px}button:disabled,.field input:disabled,.field select:disabled{opacity:.55;cursor:default}.spinner{border:3px solid var(--line);border-top-color:var(--accent);visibility:hidden;border-radius:50%;width:22px;height:22px;margin-bottom:9px}.spinner.active{visibility:visible;animation:.8s linear infinite spin}@keyframes spin{to{transform:rotate(360deg)}}.alert{border-radius:var(--radius);background:var(--error-bg);max-width:680px;color:var(--error-text);overflow-wrap:anywhere;margin:16px auto;padding:10px 14px}.result{border:1px solid var(--line);background:var(--surface);border-radius:12px;margin:16px 0;padding:20px}.result>:last-child{margin-bottom:0}.caption{color:var(--muted);margin-top:16px;font-size:.9rem}.num{font-family:var(--font-mono), monospace;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.number-grid{grid-template-columns:repeat(var(--columns), minmax(0, auto));justify-content:center;gap:8px 48px;max-width:100%;margin:0 auto 12px;display:grid}.formula{overflow-wrap:anywhere;font-size:1.1rem}.not-prime{color:var(--error-text)}.table-scroll{overflow-x:auto}table.series{border-collapse:collapse;margin:0 auto;font-size:.85rem}table.series td{border:1px solid var(--line);text-align:right;white-space:nowrap;padding:4px 8px}table.series td.diagonal{color:var(--accent);font-weight:600}.tree{font-family:var(--font-mono), monospace;flex-direction:column;gap:12px;font-size:.75rem;display:flex}.tree-level{grid-template-columns:repeat(var(--groups), minmax(0, 1fr));gap:8px;display:grid}.tree-group{justify-content:space-around;gap:6px;min-width:0;display:flex}.tree-group span{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}@media (max-width:600px){.tree-level{grid-template-columns:1fr}}