/* start https://en.wikipedia.org/w/load.php?lang=en&modules=ext.pygments&only=styles&skin=vector-2022 */


pre{line-height:125%}td.linenos .normal{color:inherit;background-color:transparent;padding-left:5px;padding-right:5px}span.linenos{color:inherit;background-color:transparent;padding-left:5px;padding-right:5px}td.linenos .special{color:#000000;background-color:#ffffc0;padding-left:5px;padding-right:5px}span.linenos.special{color:#000000;background-color:#ffffc0;padding-left:5px;padding-right:5px}.mw-highlight .hll{background-color:#ffffcc }.mw-highlight{background:#f8f8f8}.mw-highlight .c{color:#3D7B7B;font-style:italic }.mw-highlight .err{border:1px solid #FF0000 }.mw-highlight .k{color:#008000;font-weight:bold }.mw-highlight .o{color:#666666 }.mw-highlight .ch{color:#3D7B7B;font-style:italic }.mw-highlight .cm{color:#3D7B7B;font-style:italic }.mw-highlight .cp{color:#9C6500 }.mw-highlight .cpf{color:#3D7B7B;font-style:italic }.mw-highlight .c1{color:#3D7B7B;font-style:italic }.mw-highlight .cs{color:#3D7B7B;font-style:italic }.mw-highlight .gd{color:#A00000 }.mw-highlight .ge{font-style:italic }.mw-highlight .ges{font-weight:bold;font-style:italic }.mw-highlight .gr{color:#E40000 }.mw-highlight .gh{color:#000080;font-weight:bold }.mw-highlight .gi{color:#008400 }.mw-highlight .go{color:#717171 }.mw-highlight .gp{color:#000080;font-weight:bold }.mw-highlight .gs{font-weight:bold }.mw-highlight .gu{color:#800080;font-weight:bold }.mw-highlight .gt{color:#0044DD }.mw-highlight .kc{color:#008000;font-weight:bold }.mw-highlight .kd{color:#008000;font-weight:bold }.mw-highlight .kn{color:#008000;font-weight:bold }.mw-highlight .kp{color:#008000 }.mw-highlight .kr{color:#008000;font-weight:bold }.mw-highlight .kt{color:#B00040 }.mw-highlight .m{color:#666666 }.mw-highlight .s{color:#BA2121 }.mw-highlight .na{color:#687822 }.mw-highlight .nb{color:#008000 }.mw-highlight .nc{color:#0000FF;font-weight:bold }.mw-highlight .no{color:#880000 }.mw-highlight .nd{color:#AA22FF }.mw-highlight .ni{color:#717171;font-weight:bold }.mw-highlight .ne{color:#CB3F38;font-weight:bold }.mw-highlight .nf{color:#0000FF }.mw-highlight .nl{color:#767600 }.mw-highlight .nn{color:#0000FF;font-weight:bold }.mw-highlight .nt{color:#008000;font-weight:bold }.mw-highlight .nv{color:#19177C }.mw-highlight .ow{color:#AA22FF;font-weight:bold }.mw-highlight .w{color:#bbbbbb }.mw-highlight .mb{color:#666666 }.mw-highlight .mf{color:#666666 }.mw-highlight .mh{color:#666666 }.mw-highlight .mi{color:#666666 }.mw-highlight .mo{color:#666666 }.mw-highlight .sa{color:#BA2121 }.mw-highlight .sb{color:#BA2121 }.mw-highlight .sc{color:#BA2121 }.mw-highlight .dl{color:#BA2121 }.mw-highlight .sd{color:#BA2121;font-style:italic }.mw-highlight .s2{color:#BA2121 }.mw-highlight .se{color:#AA5D1F;font-weight:bold }.mw-highlight .sh{color:#BA2121 }.mw-highlight .si{color:#A45A77;font-weight:bold }.mw-highlight .sx{color:#008000 }.mw-highlight .sr{color:#A45A77 }.mw-highlight .s1{color:#BA2121 }.mw-highlight .ss{color:#19177C }.mw-highlight .bp{color:#008000 }.mw-highlight .fm{color:#0000FF }.mw-highlight .vc{color:#19177C }.mw-highlight .vg{color:#19177C }.mw-highlight .vi{color:#19177C }.mw-highlight .vm{color:#19177C }.mw-highlight .il{color:#666666 }@media screen{.skin-theme-clientpref-night .mw-highlight .hll{background-color:#49483e }.skin-theme-clientpref-night .mw-highlight{background:#272822;color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .c{color:#959077 }.skin-theme-clientpref-night .mw-highlight .err{color:#ed007e;background-color:#1e0010 }.skin-theme-clientpref-night .mw-highlight .esc{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .g{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .k{color:#66d9ef }.skin-theme-clientpref-night .mw-highlight .l{color:#ae81ff }.skin-theme-clientpref-night .mw-highlight .n{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .o{color:#ff4689 }.skin-theme-clientpref-night .mw-highlight .x{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .p{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .ch{color:#959077 }.skin-theme-clientpref-night .mw-highlight .cm{color:#959077 }.skin-theme-clientpref-night .mw-highlight .cp{color:#959077 }.skin-theme-clientpref-night .mw-highlight .cpf{color:#959077 }.skin-theme-clientpref-night .mw-highlight .c1{color:#959077 }.skin-theme-clientpref-night .mw-highlight .cs{color:#959077 }.skin-theme-clientpref-night .mw-highlight .gd{color:#ff4689 }.skin-theme-clientpref-night .mw-highlight .ge{color:#f8f8f2;font-style:italic }.skin-theme-clientpref-night .mw-highlight .ges{color:#f8f8f2;font-weight:bold;font-style:italic }.skin-theme-clientpref-night .mw-highlight .gr{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .gh{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .gi{color:#a6e22e }.skin-theme-clientpref-night .mw-highlight .go{color:#66d9ef }.skin-theme-clientpref-night .mw-highlight .gp{color:#ff4689;font-weight:bold }.skin-theme-clientpref-night .mw-highlight .gs{color:#f8f8f2;font-weight:bold }.skin-theme-clientpref-night .mw-highlight .gu{color:#959077 }.skin-theme-clientpref-night .mw-highlight .gt{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .kc{color:#66d9ef }.skin-theme-clientpref-night .mw-highlight .kd{color:#66d9ef }.skin-theme-clientpref-night .mw-highlight .kn{color:#ff4689 }.skin-theme-clientpref-night .mw-highlight .kp{color:#66d9ef }.skin-theme-clientpref-night .mw-highlight .kr{color:#66d9ef }.skin-theme-clientpref-night .mw-highlight .kt{color:#66d9ef }.skin-theme-clientpref-night .mw-highlight .ld{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .m{color:#ae81ff }.skin-theme-clientpref-night .mw-highlight .s{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .na{color:#a6e22e }.skin-theme-clientpref-night .mw-highlight .nb{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .nc{color:#a6e22e }.skin-theme-clientpref-night .mw-highlight .no{color:#66d9ef }.skin-theme-clientpref-night .mw-highlight .nd{color:#a6e22e }.skin-theme-clientpref-night .mw-highlight .ni{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .ne{color:#a6e22e }.skin-theme-clientpref-night .mw-highlight .nf{color:#a6e22e }.skin-theme-clientpref-night .mw-highlight .nl{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .nn{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .nx{color:#a6e22e }.skin-theme-clientpref-night .mw-highlight .py{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .nt{color:#ff4689 }.skin-theme-clientpref-night .mw-highlight .nv{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .ow{color:#ff4689 }.skin-theme-clientpref-night .mw-highlight .pm{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .w{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .mb{color:#ae81ff }.skin-theme-clientpref-night .mw-highlight .mf{color:#ae81ff }.skin-theme-clientpref-night .mw-highlight .mh{color:#ae81ff }.skin-theme-clientpref-night .mw-highlight .mi{color:#ae81ff }.skin-theme-clientpref-night .mw-highlight .mo{color:#ae81ff }.skin-theme-clientpref-night .mw-highlight .sa{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .sb{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .sc{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .dl{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .sd{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .s2{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .se{color:#ae81ff }.skin-theme-clientpref-night .mw-highlight .sh{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .si{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .sx{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .sr{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .s1{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .ss{color:#e6db74 }.skin-theme-clientpref-night .mw-highlight .bp{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .fm{color:#a6e22e }.skin-theme-clientpref-night .mw-highlight .vc{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .vg{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .vi{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .vm{color:#f8f8f2 }.skin-theme-clientpref-night .mw-highlight .il{color:#ae81ff }}@media screen and (prefers-color-scheme:dark){.skin-theme-clientpref-os .mw-highlight .hll{background-color:#49483e }.skin-theme-clientpref-os .mw-highlight{background:#272822;color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .c{color:#959077 }.skin-theme-clientpref-os .mw-highlight .err{color:#ed007e;background-color:#1e0010 }.skin-theme-clientpref-os .mw-highlight .esc{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .g{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .k{color:#66d9ef }.skin-theme-clientpref-os .mw-highlight .l{color:#ae81ff }.skin-theme-clientpref-os .mw-highlight .n{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .o{color:#ff4689 }.skin-theme-clientpref-os .mw-highlight .x{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .p{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .ch{color:#959077 }.skin-theme-clientpref-os .mw-highlight .cm{color:#959077 }.skin-theme-clientpref-os .mw-highlight .cp{color:#959077 }.skin-theme-clientpref-os .mw-highlight .cpf{color:#959077 }.skin-theme-clientpref-os .mw-highlight .c1{color:#959077 }.skin-theme-clientpref-os .mw-highlight .cs{color:#959077 }.skin-theme-clientpref-os .mw-highlight .gd{color:#ff4689 }.skin-theme-clientpref-os .mw-highlight .ge{color:#f8f8f2;font-style:italic }.skin-theme-clientpref-os .mw-highlight .ges{color:#f8f8f2;font-weight:bold;font-style:italic }.skin-theme-clientpref-os .mw-highlight .gr{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .gh{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .gi{color:#a6e22e }.skin-theme-clientpref-os .mw-highlight .go{color:#66d9ef }.skin-theme-clientpref-os .mw-highlight .gp{color:#ff4689;font-weight:bold }.skin-theme-clientpref-os .mw-highlight .gs{color:#f8f8f2;font-weight:bold }.skin-theme-clientpref-os .mw-highlight .gu{color:#959077 }.skin-theme-clientpref-os .mw-highlight .gt{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .kc{color:#66d9ef }.skin-theme-clientpref-os .mw-highlight .kd{color:#66d9ef }.skin-theme-clientpref-os .mw-highlight .kn{color:#ff4689 }.skin-theme-clientpref-os .mw-highlight .kp{color:#66d9ef }.skin-theme-clientpref-os .mw-highlight .kr{color:#66d9ef }.skin-theme-clientpref-os .mw-highlight .kt{color:#66d9ef }.skin-theme-clientpref-os .mw-highlight .ld{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .m{color:#ae81ff }.skin-theme-clientpref-os .mw-highlight .s{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .na{color:#a6e22e }.skin-theme-clientpref-os .mw-highlight .nb{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .nc{color:#a6e22e }.skin-theme-clientpref-os .mw-highlight .no{color:#66d9ef }.skin-theme-clientpref-os .mw-highlight .nd{color:#a6e22e }.skin-theme-clientpref-os .mw-highlight .ni{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .ne{color:#a6e22e }.skin-theme-clientpref-os .mw-highlight .nf{color:#a6e22e }.skin-theme-clientpref-os .mw-highlight .nl{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .nn{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .nx{color:#a6e22e }.skin-theme-clientpref-os .mw-highlight .py{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .nt{color:#ff4689 }.skin-theme-clientpref-os .mw-highlight .nv{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .ow{color:#ff4689 }.skin-theme-clientpref-os .mw-highlight .pm{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .w{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .mb{color:#ae81ff }.skin-theme-clientpref-os .mw-highlight .mf{color:#ae81ff }.skin-theme-clientpref-os .mw-highlight .mh{color:#ae81ff }.skin-theme-clientpref-os .mw-highlight .mi{color:#ae81ff }.skin-theme-clientpref-os .mw-highlight .mo{color:#ae81ff }.skin-theme-clientpref-os .mw-highlight .sa{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .sb{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .sc{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .dl{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .sd{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .s2{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .se{color:#ae81ff }.skin-theme-clientpref-os .mw-highlight .sh{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .si{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .sx{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .sr{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .s1{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .ss{color:#e6db74 }.skin-theme-clientpref-os .mw-highlight .bp{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .fm{color:#a6e22e }.skin-theme-clientpref-os .mw-highlight .vc{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .vg{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .vi{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .vm{color:#f8f8f2 }.skin-theme-clientpref-os .mw-highlight .il{color:#ae81ff }}.mw-highlight{unicode-bidi:embed}div.mw-highlight{position:relative;display:flow-root;margin:1em 0}.mw-highlight pre{margin:0;-moz-tab-size:4;tab-size:4}code code.mw-highlight{background-color:transparent;color:inherit;border:0;padding:0}.mw-highlight .err{border:0}.mw-highlight .hll{display:block}.mw-highlight-lines pre,.content .mw-highlight-lines pre{}.mw-content-ltr.mw-highlight-lines pre,.mw-content-ltr.content .mw-highlight-lines pre{padding-left:3.5em;box-shadow:inset 2.75em 0 0 var(--background-color-neutral,#eaecf0)}.mw-content-ltr.mw-highlight-lines pre .hll,.mw-content-ltr.content .mw-highlight-lines pre .hll{margin-left:-3.5em;padding-left:3.5em}.mw-content-rtl.mw-highlight-lines pre,.mw-content-rtl.content .mw-highlight-lines pre{padding-right:3.5em;box-shadow:inset -2.75em 0 0 var(--background-color-neutral,#eaecf0)}.mw-content-rtl.mw-highlight-lines pre .hll,.mw-content-rtl.content .mw-highlight-lines pre .hll{margin-right:-3.5em;padding-right:3.5em}.mw-highlight .linenos{position:absolute;box-sizing:border-box;width:2.75em;background:none;color:var(--color-placeholder,#72777d);white-space:pre}.mw-content-ltr.mw-highlight .linenos{left:0;text-align:right;margin-right:4px}.mw-content-rtl.mw-highlight .linenos{right:0;text-align:left;margin-left:4px}.mw-highlight .linenos::before{content:attr(data-line)}.mw-highlight a:hover .linenos,.mw-highlight .hll a .linenos{color:var(--color-base--hover,#404244)}


/* end   https://en.wikipedia.org/w/load.php?lang=en&modules=ext.pygments&only=styles&skin=vector-2022 */