From d545e3b85f08c350c6ec03984e23d45125be7a11 Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Sun, 5 Jan 2025 17:24:58 -0500 Subject: [PATCH] Initial Commit --- .envrc | 1 + .gitattributes | 1 + .gitignore | 31 +++++++++++++++++++++++++++++++ css/pico.min.css | 4 ++++ default.nix | 10 ++++++++++ index.org | 40 ++++++++++++++++++++++++++++++++++++++++ infopage.cabal | 12 ++++++++++++ papers/checkedc.pdf | Bin 0 -> 479048 bytes papers/dcoi.pdf | Bin 0 -> 731783 bytes papers/dcoiomega.pdf | Bin 0 -> 961987 bytes papers/mltt.pdf | Bin 0 -> 395325 bytes papers/systemde.pdf | Bin 0 -> 824013 bytes papers/vrdt.pdf | Bin 0 -> 469569 bytes site.hs | 35 +++++++++++++++++++++++++++++++++++ templates/default.html | 14 ++++++++++++++ 15 files changed, 148 insertions(+) create mode 100644 .envrc create mode 100644 .gitattributes create mode 100644 .gitignore create mode 100644 css/pico.min.css create mode 100644 default.nix create mode 100644 index.org create mode 100644 infopage.cabal create mode 100644 papers/checkedc.pdf create mode 100644 papers/dcoi.pdf create mode 100644 papers/dcoiomega.pdf create mode 100644 papers/mltt.pdf create mode 100644 papers/systemde.pdf create mode 100644 papers/vrdt.pdf create mode 100644 site.hs create mode 100644 templates/default.html diff --git a/.envrc b/.envrc new file mode 100644 index 0000000..1d953f4 --- /dev/null +++ b/.envrc @@ -0,0 +1 @@ +use nix diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..b634d85 --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +*.pdf filter=lfs diff=lfs merge=lfs -text diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..7bb3e06 --- /dev/null +++ b/.gitignore @@ -0,0 +1,31 @@ +# Ignore swap files and stack/cabal output. +*.hi +*.o +*.swo +*.swp +*~ +.DS_Store +TAGS +dist +tags +cabal.sandbox.config +.cabal-sandbox/ +.stack-work +dist +dist-* +.ghc.environment.* + +# Ignore test builds. +tests/Main +_cache +_store +_site + +# Rest of the file: ignore examples +web/_cache +web/_site +web/site +web/reference + +# This is generated from the CHANGELOG +web/releases.markdown \ No newline at end of file diff --git a/css/pico.min.css b/css/pico.min.css new file mode 100644 index 0000000..5928ed7 --- /dev/null +++ b/css/pico.min.css @@ -0,0 +1,4 @@ +@charset "UTF-8";/*! + * Pico CSS ✨ v2.0.6 (https://picocss.com) + * Copyright 2019-2024 - Licensed under MIT + */:root{--pico-font-family-emoji:"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";--pico-font-family-sans-serif:system-ui,"Segoe UI",Roboto,Oxygen,Ubuntu,Cantarell,Helvetica,Arial,"Helvetica Neue",sans-serif,var(--pico-font-family-emoji);--pico-font-family-monospace:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace,var(--pico-font-family-emoji);--pico-font-family:var(--pico-font-family-sans-serif);--pico-line-height:1.5;--pico-font-weight:400;--pico-font-size:100%;--pico-text-underline-offset:0.1rem;--pico-border-radius:0.25rem;--pico-border-width:0.0625rem;--pico-outline-width:0.125rem;--pico-transition:0.2s ease-in-out;--pico-spacing:1rem;--pico-typography-spacing-vertical:1rem;--pico-block-spacing-vertical:var(--pico-spacing);--pico-block-spacing-horizontal:var(--pico-spacing);--pico-grid-column-gap:var(--pico-spacing);--pico-grid-row-gap:var(--pico-spacing);--pico-form-element-spacing-vertical:0.75rem;--pico-form-element-spacing-horizontal:1rem;--pico-group-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-group-box-shadow-focus-with-button:0 0 0 var(--pico-outline-width) var(--pico-primary-focus);--pico-group-box-shadow-focus-with-input:0 0 0 0.0625rem var(--pico-form-element-border-color);--pico-modal-overlay-backdrop-filter:blur(0.375rem);--pico-nav-element-spacing-vertical:1rem;--pico-nav-element-spacing-horizontal:0.5rem;--pico-nav-link-spacing-vertical:0.5rem;--pico-nav-link-spacing-horizontal:0.5rem;--pico-nav-breadcrumb-divider:">";--pico-icon-checkbox:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(255, 255, 255)' stroke-width='4' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpolyline points='20 6 9 17 4 12'%3E%3C/polyline%3E%3C/svg%3E");--pico-icon-minus:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(255, 255, 255)' stroke-width='4' stroke-linecap='round' stroke-linejoin='round'%3E%3Cline x1='5' y1='12' x2='19' y2='12'%3E%3C/line%3E%3C/svg%3E");--pico-icon-chevron:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(136, 145, 164)' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpolyline points='6 9 12 15 18 9'%3E%3C/polyline%3E%3C/svg%3E");--pico-icon-date:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(136, 145, 164)' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Crect x='3' y='4' width='18' height='18' rx='2' ry='2'%3E%3C/rect%3E%3Cline x1='16' y1='2' x2='16' y2='6'%3E%3C/line%3E%3Cline x1='8' y1='2' x2='8' y2='6'%3E%3C/line%3E%3Cline x1='3' y1='10' x2='21' y2='10'%3E%3C/line%3E%3C/svg%3E");--pico-icon-time:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(136, 145, 164)' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='10'%3E%3C/circle%3E%3Cpolyline points='12 6 12 12 16 14'%3E%3C/polyline%3E%3C/svg%3E");--pico-icon-search:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(136, 145, 164)' stroke-width='1.5' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='11' cy='11' r='8'%3E%3C/circle%3E%3Cline x1='21' y1='21' x2='16.65' y2='16.65'%3E%3C/line%3E%3C/svg%3E");--pico-icon-close:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(136, 145, 164)' stroke-width='3' stroke-linecap='round' stroke-linejoin='round'%3E%3Cline x1='18' y1='6' x2='6' y2='18'%3E%3C/line%3E%3Cline x1='6' y1='6' x2='18' y2='18'%3E%3C/line%3E%3C/svg%3E");--pico-icon-loading:url("data:image/svg+xml,%3Csvg fill='none' height='24' width='24' viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg' %3E%3Cstyle%3E g %7B animation: rotate 2s linear infinite; transform-origin: center center; %7D circle %7B stroke-dasharray: 75,100; stroke-dashoffset: -5; animation: dash 1.5s ease-in-out infinite; stroke-linecap: round; %7D @keyframes rotate %7B 0%25 %7B transform: rotate(0deg); %7D 100%25 %7B transform: rotate(360deg); %7D %7D @keyframes dash %7B 0%25 %7B stroke-dasharray: 1,100; stroke-dashoffset: 0; %7D 50%25 %7B stroke-dasharray: 44.5,100; stroke-dashoffset: -17.5; %7D 100%25 %7B stroke-dasharray: 44.5,100; stroke-dashoffset: -62; %7D %7D %3C/style%3E%3Cg%3E%3Ccircle cx='12' cy='12' r='10' fill='none' stroke='rgb(136, 145, 164)' stroke-width='4' /%3E%3C/g%3E%3C/svg%3E")}@media (min-width:576px){:root{--pico-font-size:106.25%}}@media (min-width:768px){:root{--pico-font-size:112.5%}}@media (min-width:1024px){:root{--pico-font-size:118.75%}}@media (min-width:1280px){:root{--pico-font-size:125%}}@media (min-width:1536px){:root{--pico-font-size:131.25%}}a{--pico-text-decoration:underline}a.contrast,a.secondary{--pico-text-decoration:underline}small{--pico-font-size:0.875em}h1,h2,h3,h4,h5,h6{--pico-font-weight:700}h1{--pico-font-size:2rem;--pico-line-height:1.125;--pico-typography-spacing-top:3rem}h2{--pico-font-size:1.75rem;--pico-line-height:1.15;--pico-typography-spacing-top:2.625rem}h3{--pico-font-size:1.5rem;--pico-line-height:1.175;--pico-typography-spacing-top:2.25rem}h4{--pico-font-size:1.25rem;--pico-line-height:1.2;--pico-typography-spacing-top:1.874rem}h5{--pico-font-size:1.125rem;--pico-line-height:1.225;--pico-typography-spacing-top:1.6875rem}h6{--pico-font-size:1rem;--pico-line-height:1.25;--pico-typography-spacing-top:1.5rem}tfoot td,tfoot th,thead td,thead th{--pico-font-weight:600;--pico-border-width:0.1875rem}code,kbd,pre,samp{--pico-font-family:var(--pico-font-family-monospace)}kbd{--pico-font-weight:bolder}:where(select,textarea),input:not([type=submit],[type=button],[type=reset],[type=checkbox],[type=radio],[type=file]){--pico-outline-width:0.0625rem}[type=search]{--pico-border-radius:5rem}[type=checkbox],[type=radio]{--pico-border-width:0.125rem}[type=checkbox][role=switch]{--pico-border-width:0.1875rem}details.dropdown summary:not([role=button]){--pico-outline-width:0.0625rem}nav details.dropdown summary:focus-visible{--pico-outline-width:0.125rem}[role=search]{--pico-border-radius:5rem}[role=group]:has(button.secondary:focus,[type=submit].secondary:focus,[type=button].secondary:focus,[role=button].secondary:focus),[role=search]:has(button.secondary:focus,[type=submit].secondary:focus,[type=button].secondary:focus,[role=button].secondary:focus){--pico-group-box-shadow-focus-with-button:0 0 0 var(--pico-outline-width) var(--pico-secondary-focus)}[role=group]:has(button.contrast:focus,[type=submit].contrast:focus,[type=button].contrast:focus,[role=button].contrast:focus),[role=search]:has(button.contrast:focus,[type=submit].contrast:focus,[type=button].contrast:focus,[role=button].contrast:focus){--pico-group-box-shadow-focus-with-button:0 0 0 var(--pico-outline-width) var(--pico-contrast-focus)}[role=group] [role=button],[role=group] [type=button],[role=group] [type=submit],[role=group] button,[role=search] [role=button],[role=search] [type=button],[role=search] [type=submit],[role=search] button{--pico-form-element-spacing-horizontal:2rem}details summary[role=button]:not(.outline)::after{filter:brightness(0) invert(1)}[aria-busy=true]:not(input,select,textarea):is(button,[type=submit],[type=button],[type=reset],[role=button]):not(.outline)::before{filter:brightness(0) invert(1)}:root:not([data-theme=dark]),[data-theme=light]{--pico-background-color:#fff;--pico-color:#373c44;--pico-text-selection-color:rgba(2, 154, 232, 0.25);--pico-muted-color:#646b79;--pico-muted-border-color:#e7eaf0;--pico-primary:#0172ad;--pico-primary-background:#0172ad;--pico-primary-border:var(--pico-primary-background);--pico-primary-underline:rgba(1, 114, 173, 0.5);--pico-primary-hover:#015887;--pico-primary-hover-background:#02659a;--pico-primary-hover-border:var(--pico-primary-hover-background);--pico-primary-hover-underline:var(--pico-primary-hover);--pico-primary-focus:rgba(2, 154, 232, 0.5);--pico-primary-inverse:#fff;--pico-secondary:#5d6b89;--pico-secondary-background:#525f7a;--pico-secondary-border:var(--pico-secondary-background);--pico-secondary-underline:rgba(93, 107, 137, 0.5);--pico-secondary-hover:#48536b;--pico-secondary-hover-background:#48536b;--pico-secondary-hover-border:var(--pico-secondary-hover-background);--pico-secondary-hover-underline:var(--pico-secondary-hover);--pico-secondary-focus:rgba(93, 107, 137, 0.25);--pico-secondary-inverse:#fff;--pico-contrast:#181c25;--pico-contrast-background:#181c25;--pico-contrast-border:var(--pico-contrast-background);--pico-contrast-underline:rgba(24, 28, 37, 0.5);--pico-contrast-hover:#000;--pico-contrast-hover-background:#000;--pico-contrast-hover-border:var(--pico-contrast-hover-background);--pico-contrast-hover-underline:var(--pico-secondary-hover);--pico-contrast-focus:rgba(93, 107, 137, 0.25);--pico-contrast-inverse:#fff;--pico-box-shadow:0.0145rem 0.029rem 0.174rem rgba(129, 145, 181, 0.01698),0.0335rem 0.067rem 0.402rem rgba(129, 145, 181, 0.024),0.0625rem 0.125rem 0.75rem rgba(129, 145, 181, 0.03),0.1125rem 0.225rem 1.35rem rgba(129, 145, 181, 0.036),0.2085rem 0.417rem 2.502rem rgba(129, 145, 181, 0.04302),0.5rem 1rem 6rem rgba(129, 145, 181, 0.06),0 0 0 0.0625rem rgba(129, 145, 181, 0.015);--pico-h1-color:#2d3138;--pico-h2-color:#373c44;--pico-h3-color:#424751;--pico-h4-color:#4d535e;--pico-h5-color:#5c6370;--pico-h6-color:#646b79;--pico-mark-background-color:#fde7c0;--pico-mark-color:#0f1114;--pico-ins-color:#1d6a54;--pico-del-color:#883935;--pico-blockquote-border-color:var(--pico-muted-border-color);--pico-blockquote-footer-color:var(--pico-muted-color);--pico-button-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-button-hover-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-table-border-color:var(--pico-muted-border-color);--pico-table-row-stripped-background-color:rgba(111, 120, 135, 0.0375);--pico-code-background-color:#f3f5f7;--pico-code-color:#646b79;--pico-code-kbd-background-color:var(--pico-color);--pico-code-kbd-color:var(--pico-background-color);--pico-form-element-background-color:#fbfcfc;--pico-form-element-selected-background-color:#dfe3eb;--pico-form-element-border-color:#cfd5e2;--pico-form-element-color:#23262c;--pico-form-element-placeholder-color:var(--pico-muted-color);--pico-form-element-active-background-color:#fff;--pico-form-element-active-border-color:var(--pico-primary-border);--pico-form-element-focus-color:var(--pico-primary-border);--pico-form-element-disabled-opacity:0.5;--pico-form-element-invalid-border-color:#b86a6b;--pico-form-element-invalid-active-border-color:#c84f48;--pico-form-element-invalid-focus-color:var(--pico-form-element-invalid-active-border-color);--pico-form-element-valid-border-color:#4c9b8a;--pico-form-element-valid-active-border-color:#279977;--pico-form-element-valid-focus-color:var(--pico-form-element-valid-active-border-color);--pico-switch-background-color:#bfc7d9;--pico-switch-checked-background-color:var(--pico-primary-background);--pico-switch-color:#fff;--pico-switch-thumb-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-range-border-color:#dfe3eb;--pico-range-active-border-color:#bfc7d9;--pico-range-thumb-border-color:var(--pico-background-color);--pico-range-thumb-color:var(--pico-secondary-background);--pico-range-thumb-active-color:var(--pico-primary-background);--pico-accordion-border-color:var(--pico-muted-border-color);--pico-accordion-active-summary-color:var(--pico-primary-hover);--pico-accordion-close-summary-color:var(--pico-color);--pico-accordion-open-summary-color:var(--pico-muted-color);--pico-card-background-color:var(--pico-background-color);--pico-card-border-color:var(--pico-muted-border-color);--pico-card-box-shadow:var(--pico-box-shadow);--pico-card-sectioning-background-color:#fbfcfc;--pico-dropdown-background-color:#fff;--pico-dropdown-border-color:#eff1f4;--pico-dropdown-box-shadow:var(--pico-box-shadow);--pico-dropdown-color:var(--pico-color);--pico-dropdown-hover-background-color:#eff1f4;--pico-loading-spinner-opacity:0.5;--pico-modal-overlay-background-color:rgba(232, 234, 237, 0.75);--pico-progress-background-color:#dfe3eb;--pico-progress-color:var(--pico-primary-background);--pico-tooltip-background-color:var(--pico-contrast-background);--pico-tooltip-color:var(--pico-contrast-inverse);--pico-icon-valid:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(76, 155, 138)' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpolyline points='20 6 9 17 4 12'%3E%3C/polyline%3E%3C/svg%3E");--pico-icon-invalid:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(200, 79, 72)' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='10'%3E%3C/circle%3E%3Cline x1='12' y1='8' x2='12' y2='12'%3E%3C/line%3E%3Cline x1='12' y1='16' x2='12.01' y2='16'%3E%3C/line%3E%3C/svg%3E");color-scheme:light}:root:not([data-theme=dark]) input:is([type=submit],[type=button],[type=reset],[type=checkbox],[type=radio],[type=file]),[data-theme=light] input:is([type=submit],[type=button],[type=reset],[type=checkbox],[type=radio],[type=file]){--pico-form-element-focus-color:var(--pico-primary-focus)}@media only screen and (prefers-color-scheme:dark){:root:not([data-theme]){--pico-background-color:#13171f;--pico-color:#c2c7d0;--pico-text-selection-color:rgba(1, 170, 255, 0.1875);--pico-muted-color:#7b8495;--pico-muted-border-color:#202632;--pico-primary:#01aaff;--pico-primary-background:#0172ad;--pico-primary-border:var(--pico-primary-background);--pico-primary-underline:rgba(1, 170, 255, 0.5);--pico-primary-hover:#79c0ff;--pico-primary-hover-background:#017fc0;--pico-primary-hover-border:var(--pico-primary-hover-background);--pico-primary-hover-underline:var(--pico-primary-hover);--pico-primary-focus:rgba(1, 170, 255, 0.375);--pico-primary-inverse:#fff;--pico-secondary:#969eaf;--pico-secondary-background:#525f7a;--pico-secondary-border:var(--pico-secondary-background);--pico-secondary-underline:rgba(150, 158, 175, 0.5);--pico-secondary-hover:#b3b9c5;--pico-secondary-hover-background:#5d6b89;--pico-secondary-hover-border:var(--pico-secondary-hover-background);--pico-secondary-hover-underline:var(--pico-secondary-hover);--pico-secondary-focus:rgba(144, 158, 190, 0.25);--pico-secondary-inverse:#fff;--pico-contrast:#dfe3eb;--pico-contrast-background:#eff1f4;--pico-contrast-border:var(--pico-contrast-background);--pico-contrast-underline:rgba(223, 227, 235, 0.5);--pico-contrast-hover:#fff;--pico-contrast-hover-background:#fff;--pico-contrast-hover-border:var(--pico-contrast-hover-background);--pico-contrast-hover-underline:var(--pico-contrast-hover);--pico-contrast-focus:rgba(207, 213, 226, 0.25);--pico-contrast-inverse:#000;--pico-box-shadow:0.0145rem 0.029rem 0.174rem rgba(7, 9, 12, 0.01698),0.0335rem 0.067rem 0.402rem rgba(7, 9, 12, 0.024),0.0625rem 0.125rem 0.75rem rgba(7, 9, 12, 0.03),0.1125rem 0.225rem 1.35rem rgba(7, 9, 12, 0.036),0.2085rem 0.417rem 2.502rem rgba(7, 9, 12, 0.04302),0.5rem 1rem 6rem rgba(7, 9, 12, 0.06),0 0 0 0.0625rem rgba(7, 9, 12, 0.015);--pico-h1-color:#f0f1f3;--pico-h2-color:#e0e3e7;--pico-h3-color:#c2c7d0;--pico-h4-color:#b3b9c5;--pico-h5-color:#a4acba;--pico-h6-color:#8891a4;--pico-mark-background-color:#014063;--pico-mark-color:#fff;--pico-ins-color:#62af9a;--pico-del-color:#ce7e7b;--pico-blockquote-border-color:var(--pico-muted-border-color);--pico-blockquote-footer-color:var(--pico-muted-color);--pico-button-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-button-hover-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-table-border-color:var(--pico-muted-border-color);--pico-table-row-stripped-background-color:rgba(111, 120, 135, 0.0375);--pico-code-background-color:#1a1f28;--pico-code-color:#8891a4;--pico-code-kbd-background-color:var(--pico-color);--pico-code-kbd-color:var(--pico-background-color);--pico-form-element-background-color:#1c212c;--pico-form-element-selected-background-color:#2a3140;--pico-form-element-border-color:#2a3140;--pico-form-element-color:#e0e3e7;--pico-form-element-placeholder-color:#8891a4;--pico-form-element-active-background-color:#1a1f28;--pico-form-element-active-border-color:var(--pico-primary-border);--pico-form-element-focus-color:var(--pico-primary-border);--pico-form-element-disabled-opacity:0.5;--pico-form-element-invalid-border-color:#964a50;--pico-form-element-invalid-active-border-color:#b7403b;--pico-form-element-invalid-focus-color:var(--pico-form-element-invalid-active-border-color);--pico-form-element-valid-border-color:#2a7b6f;--pico-form-element-valid-active-border-color:#16896a;--pico-form-element-valid-focus-color:var(--pico-form-element-valid-active-border-color);--pico-switch-background-color:#333c4e;--pico-switch-checked-background-color:var(--pico-primary-background);--pico-switch-color:#fff;--pico-switch-thumb-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-range-border-color:#202632;--pico-range-active-border-color:#2a3140;--pico-range-thumb-border-color:var(--pico-background-color);--pico-range-thumb-color:var(--pico-secondary-background);--pico-range-thumb-active-color:var(--pico-primary-background);--pico-accordion-border-color:var(--pico-muted-border-color);--pico-accordion-active-summary-color:var(--pico-primary-hover);--pico-accordion-close-summary-color:var(--pico-color);--pico-accordion-open-summary-color:var(--pico-muted-color);--pico-card-background-color:#181c25;--pico-card-border-color:var(--pico-card-background-color);--pico-card-box-shadow:var(--pico-box-shadow);--pico-card-sectioning-background-color:#1a1f28;--pico-dropdown-background-color:#181c25;--pico-dropdown-border-color:#202632;--pico-dropdown-box-shadow:var(--pico-box-shadow);--pico-dropdown-color:var(--pico-color);--pico-dropdown-hover-background-color:#202632;--pico-loading-spinner-opacity:0.5;--pico-modal-overlay-background-color:rgba(8, 9, 10, 0.75);--pico-progress-background-color:#202632;--pico-progress-color:var(--pico-primary-background);--pico-tooltip-background-color:var(--pico-contrast-background);--pico-tooltip-color:var(--pico-contrast-inverse);--pico-icon-valid:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(42, 123, 111)' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpolyline points='20 6 9 17 4 12'%3E%3C/polyline%3E%3C/svg%3E");--pico-icon-invalid:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(150, 74, 80)' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='10'%3E%3C/circle%3E%3Cline x1='12' y1='8' x2='12' y2='12'%3E%3C/line%3E%3Cline x1='12' y1='16' x2='12.01' y2='16'%3E%3C/line%3E%3C/svg%3E");color-scheme:dark}:root:not([data-theme]) input:is([type=submit],[type=button],[type=reset],[type=checkbox],[type=radio],[type=file]){--pico-form-element-focus-color:var(--pico-primary-focus)}:root:not([data-theme]) details summary[role=button].contrast:not(.outline)::after{filter:brightness(0)}:root:not([data-theme]) [aria-busy=true]:not(input,select,textarea).contrast:is(button,[type=submit],[type=button],[type=reset],[role=button]):not(.outline)::before{filter:brightness(0)}}[data-theme=dark]{--pico-background-color:#13171f;--pico-color:#c2c7d0;--pico-text-selection-color:rgba(1, 170, 255, 0.1875);--pico-muted-color:#7b8495;--pico-muted-border-color:#202632;--pico-primary:#01aaff;--pico-primary-background:#0172ad;--pico-primary-border:var(--pico-primary-background);--pico-primary-underline:rgba(1, 170, 255, 0.5);--pico-primary-hover:#79c0ff;--pico-primary-hover-background:#017fc0;--pico-primary-hover-border:var(--pico-primary-hover-background);--pico-primary-hover-underline:var(--pico-primary-hover);--pico-primary-focus:rgba(1, 170, 255, 0.375);--pico-primary-inverse:#fff;--pico-secondary:#969eaf;--pico-secondary-background:#525f7a;--pico-secondary-border:var(--pico-secondary-background);--pico-secondary-underline:rgba(150, 158, 175, 0.5);--pico-secondary-hover:#b3b9c5;--pico-secondary-hover-background:#5d6b89;--pico-secondary-hover-border:var(--pico-secondary-hover-background);--pico-secondary-hover-underline:var(--pico-secondary-hover);--pico-secondary-focus:rgba(144, 158, 190, 0.25);--pico-secondary-inverse:#fff;--pico-contrast:#dfe3eb;--pico-contrast-background:#eff1f4;--pico-contrast-border:var(--pico-contrast-background);--pico-contrast-underline:rgba(223, 227, 235, 0.5);--pico-contrast-hover:#fff;--pico-contrast-hover-background:#fff;--pico-contrast-hover-border:var(--pico-contrast-hover-background);--pico-contrast-hover-underline:var(--pico-contrast-hover);--pico-contrast-focus:rgba(207, 213, 226, 0.25);--pico-contrast-inverse:#000;--pico-box-shadow:0.0145rem 0.029rem 0.174rem rgba(7, 9, 12, 0.01698),0.0335rem 0.067rem 0.402rem rgba(7, 9, 12, 0.024),0.0625rem 0.125rem 0.75rem rgba(7, 9, 12, 0.03),0.1125rem 0.225rem 1.35rem rgba(7, 9, 12, 0.036),0.2085rem 0.417rem 2.502rem rgba(7, 9, 12, 0.04302),0.5rem 1rem 6rem rgba(7, 9, 12, 0.06),0 0 0 0.0625rem rgba(7, 9, 12, 0.015);--pico-h1-color:#f0f1f3;--pico-h2-color:#e0e3e7;--pico-h3-color:#c2c7d0;--pico-h4-color:#b3b9c5;--pico-h5-color:#a4acba;--pico-h6-color:#8891a4;--pico-mark-background-color:#014063;--pico-mark-color:#fff;--pico-ins-color:#62af9a;--pico-del-color:#ce7e7b;--pico-blockquote-border-color:var(--pico-muted-border-color);--pico-blockquote-footer-color:var(--pico-muted-color);--pico-button-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-button-hover-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-table-border-color:var(--pico-muted-border-color);--pico-table-row-stripped-background-color:rgba(111, 120, 135, 0.0375);--pico-code-background-color:#1a1f28;--pico-code-color:#8891a4;--pico-code-kbd-background-color:var(--pico-color);--pico-code-kbd-color:var(--pico-background-color);--pico-form-element-background-color:#1c212c;--pico-form-element-selected-background-color:#2a3140;--pico-form-element-border-color:#2a3140;--pico-form-element-color:#e0e3e7;--pico-form-element-placeholder-color:#8891a4;--pico-form-element-active-background-color:#1a1f28;--pico-form-element-active-border-color:var(--pico-primary-border);--pico-form-element-focus-color:var(--pico-primary-border);--pico-form-element-disabled-opacity:0.5;--pico-form-element-invalid-border-color:#964a50;--pico-form-element-invalid-active-border-color:#b7403b;--pico-form-element-invalid-focus-color:var(--pico-form-element-invalid-active-border-color);--pico-form-element-valid-border-color:#2a7b6f;--pico-form-element-valid-active-border-color:#16896a;--pico-form-element-valid-focus-color:var(--pico-form-element-valid-active-border-color);--pico-switch-background-color:#333c4e;--pico-switch-checked-background-color:var(--pico-primary-background);--pico-switch-color:#fff;--pico-switch-thumb-box-shadow:0 0 0 rgba(0, 0, 0, 0);--pico-range-border-color:#202632;--pico-range-active-border-color:#2a3140;--pico-range-thumb-border-color:var(--pico-background-color);--pico-range-thumb-color:var(--pico-secondary-background);--pico-range-thumb-active-color:var(--pico-primary-background);--pico-accordion-border-color:var(--pico-muted-border-color);--pico-accordion-active-summary-color:var(--pico-primary-hover);--pico-accordion-close-summary-color:var(--pico-color);--pico-accordion-open-summary-color:var(--pico-muted-color);--pico-card-background-color:#181c25;--pico-card-border-color:var(--pico-card-background-color);--pico-card-box-shadow:var(--pico-box-shadow);--pico-card-sectioning-background-color:#1a1f28;--pico-dropdown-background-color:#181c25;--pico-dropdown-border-color:#202632;--pico-dropdown-box-shadow:var(--pico-box-shadow);--pico-dropdown-color:var(--pico-color);--pico-dropdown-hover-background-color:#202632;--pico-loading-spinner-opacity:0.5;--pico-modal-overlay-background-color:rgba(8, 9, 10, 0.75);--pico-progress-background-color:#202632;--pico-progress-color:var(--pico-primary-background);--pico-tooltip-background-color:var(--pico-contrast-background);--pico-tooltip-color:var(--pico-contrast-inverse);--pico-icon-valid:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(42, 123, 111)' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpolyline points='20 6 9 17 4 12'%3E%3C/polyline%3E%3C/svg%3E");--pico-icon-invalid:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='24' height='24' viewBox='0 0 24 24' fill='none' stroke='rgb(150, 74, 80)' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='10'%3E%3C/circle%3E%3Cline x1='12' y1='8' x2='12' y2='12'%3E%3C/line%3E%3Cline x1='12' y1='16' x2='12.01' y2='16'%3E%3C/line%3E%3C/svg%3E");color-scheme:dark}[data-theme=dark] input:is([type=submit],[type=button],[type=reset],[type=checkbox],[type=radio],[type=file]){--pico-form-element-focus-color:var(--pico-primary-focus)}[data-theme=dark] details summary[role=button].contrast:not(.outline)::after{filter:brightness(0)}[data-theme=dark] [aria-busy=true]:not(input,select,textarea).contrast:is(button,[type=submit],[type=button],[type=reset],[role=button]):not(.outline)::before{filter:brightness(0)}[type=checkbox],[type=radio],[type=range],progress{accent-color:var(--pico-primary)}*,::after,::before{box-sizing:border-box;background-repeat:no-repeat}::after,::before{text-decoration:inherit;vertical-align:inherit}:where(:root){-webkit-tap-highlight-color:transparent;-webkit-text-size-adjust:100%;-moz-text-size-adjust:100%;text-size-adjust:100%;background-color:var(--pico-background-color);color:var(--pico-color);font-weight:var(--pico-font-weight);font-size:var(--pico-font-size);line-height:var(--pico-line-height);font-family:var(--pico-font-family);text-underline-offset:var(--pico-text-underline-offset);text-rendering:optimizeLegibility;overflow-wrap:break-word;-moz-tab-size:4;-o-tab-size:4;tab-size:4}body{width:100%;margin:0}main{display:block}body>footer,body>header,body>main{padding-block:var(--pico-block-spacing-vertical)}section{margin-bottom:var(--pico-block-spacing-vertical)}.container,.container-fluid{width:100%;margin-right:auto;margin-left:auto;padding-right:var(--pico-spacing);padding-left:var(--pico-spacing)}@media (min-width:576px){.container{max-width:510px;padding-right:0;padding-left:0}}@media (min-width:768px){.container{max-width:700px}}@media (min-width:1024px){.container{max-width:950px}}@media (min-width:1280px){.container{max-width:1200px}}@media (min-width:1536px){.container{max-width:1450px}}.grid{grid-column-gap:var(--pico-grid-column-gap);grid-row-gap:var(--pico-grid-row-gap);display:grid;grid-template-columns:1fr}@media (min-width:768px){.grid{grid-template-columns:repeat(auto-fit,minmax(0%,1fr))}}.grid>*{min-width:0}.overflow-auto{overflow:auto}b,strong{font-weight:bolder}sub,sup{position:relative;font-size:.75em;line-height:0;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}address,blockquote,dl,ol,p,pre,table,ul{margin-top:0;margin-bottom:var(--pico-typography-spacing-vertical);color:var(--pico-color);font-style:normal;font-weight:var(--pico-font-weight)}h1,h2,h3,h4,h5,h6{margin-top:0;margin-bottom:var(--pico-typography-spacing-vertical);color:var(--pico-color);font-weight:var(--pico-font-weight);font-size:var(--pico-font-size);line-height:var(--pico-line-height);font-family:var(--pico-font-family)}h1{--pico-color:var(--pico-h1-color)}h2{--pico-color:var(--pico-h2-color)}h3{--pico-color:var(--pico-h3-color)}h4{--pico-color:var(--pico-h4-color)}h5{--pico-color:var(--pico-h5-color)}h6{--pico-color:var(--pico-h6-color)}:where(article,address,blockquote,dl,figure,form,ol,p,pre,table,ul)~:is(h1,h2,h3,h4,h5,h6){margin-top:var(--pico-typography-spacing-top)}p{margin-bottom:var(--pico-typography-spacing-vertical)}hgroup{margin-bottom:var(--pico-typography-spacing-vertical)}hgroup>*{margin-top:0;margin-bottom:0}hgroup>:not(:first-child):last-child{--pico-color:var(--pico-muted-color);--pico-font-weight:unset;font-size:1rem}:where(ol,ul) li{margin-bottom:calc(var(--pico-typography-spacing-vertical) * .25)}:where(dl,ol,ul) :where(dl,ol,ul){margin:0;margin-top:calc(var(--pico-typography-spacing-vertical) * .25)}ul li{list-style:square}mark{padding:.125rem .25rem;background-color:var(--pico-mark-background-color);color:var(--pico-mark-color);vertical-align:baseline}blockquote{display:block;margin:var(--pico-typography-spacing-vertical) 0;padding:var(--pico-spacing);border-right:none;border-left:.25rem solid var(--pico-blockquote-border-color);border-inline-start:0.25rem solid var(--pico-blockquote-border-color);border-inline-end:none}blockquote footer{margin-top:calc(var(--pico-typography-spacing-vertical) * .5);color:var(--pico-blockquote-footer-color)}abbr[title]{border-bottom:1px dotted;text-decoration:none;cursor:help}ins{color:var(--pico-ins-color);text-decoration:none}del{color:var(--pico-del-color)}::-moz-selection{background-color:var(--pico-text-selection-color)}::selection{background-color:var(--pico-text-selection-color)}:where(a:not([role=button])),[role=link]{--pico-color:var(--pico-primary);--pico-background-color:transparent;--pico-underline:var(--pico-primary-underline);outline:0;background-color:var(--pico-background-color);color:var(--pico-color);-webkit-text-decoration:var(--pico-text-decoration);text-decoration:var(--pico-text-decoration);text-decoration-color:var(--pico-underline);text-underline-offset:0.125em;transition:background-color var(--pico-transition),color var(--pico-transition),box-shadow var(--pico-transition),-webkit-text-decoration var(--pico-transition);transition:background-color var(--pico-transition),color var(--pico-transition),text-decoration var(--pico-transition),box-shadow var(--pico-transition);transition:background-color var(--pico-transition),color var(--pico-transition),text-decoration var(--pico-transition),box-shadow var(--pico-transition),-webkit-text-decoration var(--pico-transition)}:where(a:not([role=button])):is([aria-current]:not([aria-current=false]),:hover,:active,:focus),[role=link]:is([aria-current]:not([aria-current=false]),:hover,:active,:focus){--pico-color:var(--pico-primary-hover);--pico-underline:var(--pico-primary-hover-underline);--pico-text-decoration:underline}:where(a:not([role=button])):focus-visible,[role=link]:focus-visible{box-shadow:0 0 0 var(--pico-outline-width) var(--pico-primary-focus)}:where(a:not([role=button])).secondary,[role=link].secondary{--pico-color:var(--pico-secondary);--pico-underline:var(--pico-secondary-underline)}:where(a:not([role=button])).secondary:is([aria-current]:not([aria-current=false]),:hover,:active,:focus),[role=link].secondary:is([aria-current]:not([aria-current=false]),:hover,:active,:focus){--pico-color:var(--pico-secondary-hover);--pico-underline:var(--pico-secondary-hover-underline)}:where(a:not([role=button])).contrast,[role=link].contrast{--pico-color:var(--pico-contrast);--pico-underline:var(--pico-contrast-underline)}:where(a:not([role=button])).contrast:is([aria-current]:not([aria-current=false]),:hover,:active,:focus),[role=link].contrast:is([aria-current]:not([aria-current=false]),:hover,:active,:focus){--pico-color:var(--pico-contrast-hover);--pico-underline:var(--pico-contrast-hover-underline)}a[role=button]{display:inline-block}button{margin:0;overflow:visible;font-family:inherit;text-transform:none}[type=button],[type=reset],[type=submit],button{-webkit-appearance:button}[role=button],[type=button],[type=file]::file-selector-button,[type=reset],[type=submit],button{--pico-background-color:var(--pico-primary-background);--pico-border-color:var(--pico-primary-border);--pico-color:var(--pico-primary-inverse);--pico-box-shadow:var(--pico-button-box-shadow, 0 0 0 rgba(0, 0, 0, 0));padding:var(--pico-form-element-spacing-vertical) var(--pico-form-element-spacing-horizontal);border:var(--pico-border-width) solid var(--pico-border-color);border-radius:var(--pico-border-radius);outline:0;background-color:var(--pico-background-color);box-shadow:var(--pico-box-shadow);color:var(--pico-color);font-weight:var(--pico-font-weight);font-size:1rem;line-height:var(--pico-line-height);text-align:center;text-decoration:none;cursor:pointer;-webkit-user-select:none;-moz-user-select:none;user-select:none;transition:background-color var(--pico-transition),border-color var(--pico-transition),color var(--pico-transition),box-shadow var(--pico-transition)}[role=button]:is(:hover,:active,:focus),[role=button]:is([aria-current]:not([aria-current=false])),[type=button]:is(:hover,:active,:focus),[type=button]:is([aria-current]:not([aria-current=false])),[type=file]::file-selector-button:is(:hover,:active,:focus),[type=file]::file-selector-button:is([aria-current]:not([aria-current=false])),[type=reset]:is(:hover,:active,:focus),[type=reset]:is([aria-current]:not([aria-current=false])),[type=submit]:is(:hover,:active,:focus),[type=submit]:is([aria-current]:not([aria-current=false])),button:is(:hover,:active,:focus),button:is([aria-current]:not([aria-current=false])){--pico-background-color:var(--pico-primary-hover-background);--pico-border-color:var(--pico-primary-hover-border);--pico-box-shadow:var(--pico-button-hover-box-shadow, 0 0 0 rgba(0, 0, 0, 0));--pico-color:var(--pico-primary-inverse)}[role=button]:focus,[role=button]:is([aria-current]:not([aria-current=false])):focus,[type=button]:focus,[type=button]:is([aria-current]:not([aria-current=false])):focus,[type=file]::file-selector-button:focus,[type=file]::file-selector-button:is([aria-current]:not([aria-current=false])):focus,[type=reset]:focus,[type=reset]:is([aria-current]:not([aria-current=false])):focus,[type=submit]:focus,[type=submit]:is([aria-current]:not([aria-current=false])):focus,button:focus,button:is([aria-current]:not([aria-current=false])):focus{--pico-box-shadow:var(--pico-button-hover-box-shadow, 0 0 0 rgba(0, 0, 0, 0)),0 0 0 var(--pico-outline-width) var(--pico-primary-focus)}[type=button],[type=reset],[type=submit]{margin-bottom:var(--pico-spacing)}:is(button,[type=submit],[type=button],[role=button]).secondary,[type=file]::file-selector-button,[type=reset]{--pico-background-color:var(--pico-secondary-background);--pico-border-color:var(--pico-secondary-border);--pico-color:var(--pico-secondary-inverse);cursor:pointer}:is(button,[type=submit],[type=button],[role=button]).secondary:is([aria-current]:not([aria-current=false]),:hover,:active,:focus),[type=file]::file-selector-button:is([aria-current]:not([aria-current=false]),:hover,:active,:focus),[type=reset]:is([aria-current]:not([aria-current=false]),:hover,:active,:focus){--pico-background-color:var(--pico-secondary-hover-background);--pico-border-color:var(--pico-secondary-hover-border);--pico-color:var(--pico-secondary-inverse)}:is(button,[type=submit],[type=button],[role=button]).secondary:focus,:is(button,[type=submit],[type=button],[role=button]).secondary:is([aria-current]:not([aria-current=false])):focus,[type=file]::file-selector-button:focus,[type=file]::file-selector-button:is([aria-current]:not([aria-current=false])):focus,[type=reset]:focus,[type=reset]:is([aria-current]:not([aria-current=false])):focus{--pico-box-shadow:var(--pico-button-hover-box-shadow, 0 0 0 rgba(0, 0, 0, 0)),0 0 0 var(--pico-outline-width) var(--pico-secondary-focus)}:is(button,[type=submit],[type=button],[role=button]).contrast{--pico-background-color:var(--pico-contrast-background);--pico-border-color:var(--pico-contrast-border);--pico-color:var(--pico-contrast-inverse)}:is(button,[type=submit],[type=button],[role=button]).contrast:is([aria-current]:not([aria-current=false]),:hover,:active,:focus){--pico-background-color:var(--pico-contrast-hover-background);--pico-border-color:var(--pico-contrast-hover-border);--pico-color:var(--pico-contrast-inverse)}:is(button,[type=submit],[type=button],[role=button]).contrast:focus,:is(button,[type=submit],[type=button],[role=button]).contrast:is([aria-current]:not([aria-current=false])):focus{--pico-box-shadow:var(--pico-button-hover-box-shadow, 0 0 0 rgba(0, 0, 0, 0)),0 0 0 var(--pico-outline-width) var(--pico-contrast-focus)}:is(button,[type=submit],[type=button],[role=button]).outline,[type=reset].outline{--pico-background-color:transparent;--pico-color:var(--pico-primary);--pico-border-color:var(--pico-primary)}:is(button,[type=submit],[type=button],[role=button]).outline:is([aria-current]:not([aria-current=false]),:hover,:active,:focus),[type=reset].outline:is([aria-current]:not([aria-current=false]),:hover,:active,:focus){--pico-background-color:transparent;--pico-color:var(--pico-primary-hover);--pico-border-color:var(--pico-primary-hover)}:is(button,[type=submit],[type=button],[role=button]).outline.secondary,[type=reset].outline{--pico-color:var(--pico-secondary);--pico-border-color:var(--pico-secondary)}:is(button,[type=submit],[type=button],[role=button]).outline.secondary:is([aria-current]:not([aria-current=false]),:hover,:active,:focus),[type=reset].outline:is([aria-current]:not([aria-current=false]),:hover,:active,:focus){--pico-color:var(--pico-secondary-hover);--pico-border-color:var(--pico-secondary-hover)}:is(button,[type=submit],[type=button],[role=button]).outline.contrast{--pico-color:var(--pico-contrast);--pico-border-color:var(--pico-contrast)}:is(button,[type=submit],[type=button],[role=button]).outline.contrast:is([aria-current]:not([aria-current=false]),:hover,:active,:focus){--pico-color:var(--pico-contrast-hover);--pico-border-color:var(--pico-contrast-hover)}:where(button,[type=submit],[type=reset],[type=button],[role=button])[disabled],:where(fieldset[disabled]) :is(button,[type=submit],[type=button],[type=reset],[role=button]){opacity:.5;pointer-events:none}:where(table){width:100%;border-collapse:collapse;border-spacing:0;text-indent:0}td,th{padding:calc(var(--pico-spacing)/ 2) var(--pico-spacing);border-bottom:var(--pico-border-width) solid var(--pico-table-border-color);background-color:var(--pico-background-color);color:var(--pico-color);font-weight:var(--pico-font-weight);text-align:left;text-align:start}tfoot td,tfoot th{border-top:var(--pico-border-width) solid var(--pico-table-border-color);border-bottom:0}table.striped tbody tr:nth-child(odd) td,table.striped tbody tr:nth-child(odd) th{background-color:var(--pico-table-row-stripped-background-color)}:where(audio,canvas,iframe,img,svg,video){vertical-align:middle}audio,video{display:inline-block}audio:not([controls]){display:none;height:0}:where(iframe){border-style:none}img{max-width:100%;height:auto;border-style:none}:where(svg:not([fill])){fill:currentColor}svg:not(:root){overflow:hidden}code,kbd,pre,samp{font-size:.875em;font-family:var(--pico-font-family)}pre code{font-size:inherit;font-family:inherit}pre{-ms-overflow-style:scrollbar;overflow:auto}code,kbd,pre{border-radius:var(--pico-border-radius);background:var(--pico-code-background-color);color:var(--pico-code-color);font-weight:var(--pico-font-weight);line-height:initial}code,kbd{display:inline-block;padding:.375rem}pre{display:block;margin-bottom:var(--pico-spacing);overflow-x:auto}pre>code{display:block;padding:var(--pico-spacing);background:0 0;line-height:var(--pico-line-height)}kbd{background-color:var(--pico-code-kbd-background-color);color:var(--pico-code-kbd-color);vertical-align:baseline}figure{display:block;margin:0;padding:0}figure figcaption{padding:calc(var(--pico-spacing) * .5) 0;color:var(--pico-muted-color)}hr{height:0;margin:var(--pico-typography-spacing-vertical) 0;border:0;border-top:1px solid var(--pico-muted-border-color);color:inherit}[hidden],template{display:none!important}canvas{display:inline-block}input,optgroup,select,textarea{margin:0;font-size:1rem;line-height:var(--pico-line-height);font-family:inherit;letter-spacing:inherit}input{overflow:visible}select{text-transform:none}legend{max-width:100%;padding:0;color:inherit;white-space:normal}textarea{overflow:auto}[type=checkbox],[type=radio]{padding:0}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}::-moz-focus-inner{padding:0;border-style:none}:-moz-focusring{outline:0}:-moz-ui-invalid{box-shadow:none}::-ms-expand{display:none}[type=file],[type=range]{padding:0;border-width:0}input:not([type=checkbox],[type=radio],[type=range]){height:calc(1rem * var(--pico-line-height) + var(--pico-form-element-spacing-vertical) * 2 + var(--pico-border-width) * 2)}fieldset{width:100%;margin:0;margin-bottom:var(--pico-spacing);padding:0;border:0}fieldset legend,label{display:block;margin-bottom:calc(var(--pico-spacing) * .375);color:var(--pico-color);font-weight:var(--pico-form-label-font-weight,var(--pico-font-weight))}fieldset legend{margin-bottom:calc(var(--pico-spacing) * .5)}button[type=submit],input:not([type=checkbox],[type=radio]),select,textarea{width:100%}input:not([type=checkbox],[type=radio],[type=range],[type=file]),select,textarea{-webkit-appearance:none;-moz-appearance:none;appearance:none;padding:var(--pico-form-element-spacing-vertical) var(--pico-form-element-spacing-horizontal)}input,select,textarea{--pico-background-color:var(--pico-form-element-background-color);--pico-border-color:var(--pico-form-element-border-color);--pico-color:var(--pico-form-element-color);--pico-box-shadow:none;border:var(--pico-border-width) solid var(--pico-border-color);border-radius:var(--pico-border-radius);outline:0;background-color:var(--pico-background-color);box-shadow:var(--pico-box-shadow);color:var(--pico-color);font-weight:var(--pico-font-weight);transition:background-color var(--pico-transition),border-color var(--pico-transition),color var(--pico-transition),box-shadow var(--pico-transition)}:where(select,textarea):not([readonly]):is(:active,:focus),input:not([type=submit],[type=button],[type=reset],[type=checkbox],[type=radio],[readonly]):is(:active,:focus){--pico-background-color:var(--pico-form-element-active-background-color)}:where(select,textarea):not([readonly]):is(:active,:focus),input:not([type=submit],[type=button],[type=reset],[role=switch],[readonly]):is(:active,:focus){--pico-border-color:var(--pico-form-element-active-border-color)}:where(select,textarea):not([readonly]):focus,input:not([type=submit],[type=button],[type=reset],[type=range],[type=file],[readonly]):focus{--pico-box-shadow:0 0 0 var(--pico-outline-width) var(--pico-form-element-focus-color)}:where(fieldset[disabled]) :is(input:not([type=submit],[type=button],[type=reset]),select,textarea),input:not([type=submit],[type=button],[type=reset])[disabled],label[aria-disabled=true],select[disabled],textarea[disabled]{opacity:var(--pico-form-element-disabled-opacity);pointer-events:none}label[aria-disabled=true] input[disabled]{opacity:1}:where(input,select,textarea):not([type=checkbox],[type=radio],[type=date],[type=datetime-local],[type=month],[type=time],[type=week],[type=range])[aria-invalid]{padding-right:calc(var(--pico-form-element-spacing-horizontal) + 1.5rem)!important;padding-left:var(--pico-form-element-spacing-horizontal);padding-inline-start:var(--pico-form-element-spacing-horizontal)!important;padding-inline-end:calc(var(--pico-form-element-spacing-horizontal) + 1.5rem)!important;background-position:center right .75rem;background-size:1rem auto;background-repeat:no-repeat}:where(input,select,textarea):not([type=checkbox],[type=radio],[type=date],[type=datetime-local],[type=month],[type=time],[type=week],[type=range])[aria-invalid=false]:not(select){background-image:var(--pico-icon-valid)}:where(input,select,textarea):not([type=checkbox],[type=radio],[type=date],[type=datetime-local],[type=month],[type=time],[type=week],[type=range])[aria-invalid=true]:not(select){background-image:var(--pico-icon-invalid)}:where(input,select,textarea)[aria-invalid=false]{--pico-border-color:var(--pico-form-element-valid-border-color)}:where(input,select,textarea)[aria-invalid=false]:is(:active,:focus){--pico-border-color:var(--pico-form-element-valid-active-border-color)!important}:where(input,select,textarea)[aria-invalid=false]:is(:active,:focus):not([type=checkbox],[type=radio]){--pico-box-shadow:0 0 0 var(--pico-outline-width) var(--pico-form-element-valid-focus-color)!important}:where(input,select,textarea)[aria-invalid=true]{--pico-border-color:var(--pico-form-element-invalid-border-color)}:where(input,select,textarea)[aria-invalid=true]:is(:active,:focus){--pico-border-color:var(--pico-form-element-invalid-active-border-color)!important}:where(input,select,textarea)[aria-invalid=true]:is(:active,:focus):not([type=checkbox],[type=radio]){--pico-box-shadow:0 0 0 var(--pico-outline-width) var(--pico-form-element-invalid-focus-color)!important}[dir=rtl] :where(input,select,textarea):not([type=checkbox],[type=radio]):is([aria-invalid],[aria-invalid=true],[aria-invalid=false]){background-position:center left .75rem}input::-webkit-input-placeholder,input::placeholder,select:invalid,textarea::-webkit-input-placeholder,textarea::placeholder{color:var(--pico-form-element-placeholder-color);opacity:1}input:not([type=checkbox],[type=radio]),select,textarea{margin-bottom:var(--pico-spacing)}select::-ms-expand{border:0;background-color:transparent}select:not([multiple],[size]){padding-right:calc(var(--pico-form-element-spacing-horizontal) + 1.5rem);padding-left:var(--pico-form-element-spacing-horizontal);padding-inline-start:var(--pico-form-element-spacing-horizontal);padding-inline-end:calc(var(--pico-form-element-spacing-horizontal) + 1.5rem);background-image:var(--pico-icon-chevron);background-position:center right .75rem;background-size:1rem auto;background-repeat:no-repeat}select[multiple] option:checked{background:var(--pico-form-element-selected-background-color);color:var(--pico-form-element-color)}[dir=rtl] select:not([multiple],[size]){background-position:center left .75rem}textarea{display:block;resize:vertical}textarea[aria-invalid]{--pico-icon-height:calc(1rem * var(--pico-line-height) + var(--pico-form-element-spacing-vertical) * 2 + var(--pico-border-width) * 2);background-position:top right .75rem!important;background-size:1rem var(--pico-icon-height)!important}:where(input,select,textarea,fieldset,.grid)+small{display:block;width:100%;margin-top:calc(var(--pico-spacing) * -.75);margin-bottom:var(--pico-spacing);color:var(--pico-muted-color)}:where(input,select,textarea,fieldset,.grid)[aria-invalid=false]+small{color:var(--pico-ins-color)}:where(input,select,textarea,fieldset,.grid)[aria-invalid=true]+small{color:var(--pico-del-color)}label>:where(input,select,textarea){margin-top:calc(var(--pico-spacing) * .25)}label:has([type=checkbox],[type=radio]){width:-moz-fit-content;width:fit-content;cursor:pointer}[type=checkbox],[type=radio]{-webkit-appearance:none;-moz-appearance:none;appearance:none;width:1.25em;height:1.25em;margin-top:-.125em;margin-inline-end:.5em;border-width:var(--pico-border-width);vertical-align:middle;cursor:pointer}[type=checkbox]::-ms-check,[type=radio]::-ms-check{display:none}[type=checkbox]:checked,[type=checkbox]:checked:active,[type=checkbox]:checked:focus,[type=radio]:checked,[type=radio]:checked:active,[type=radio]:checked:focus{--pico-background-color:var(--pico-primary-background);--pico-border-color:var(--pico-primary-border);background-image:var(--pico-icon-checkbox);background-position:center;background-size:.75em auto;background-repeat:no-repeat}[type=checkbox]~label,[type=radio]~label{display:inline-block;margin-bottom:0;cursor:pointer}[type=checkbox]~label:not(:last-of-type),[type=radio]~label:not(:last-of-type){margin-inline-end:1em}[type=checkbox]:indeterminate{--pico-background-color:var(--pico-primary-background);--pico-border-color:var(--pico-primary-border);background-image:var(--pico-icon-minus);background-position:center;background-size:.75em auto;background-repeat:no-repeat}[type=radio]{border-radius:50%}[type=radio]:checked,[type=radio]:checked:active,[type=radio]:checked:focus{--pico-background-color:var(--pico-primary-inverse);border-width:.35em;background-image:none}[type=checkbox][role=switch]{--pico-background-color:var(--pico-switch-background-color);--pico-color:var(--pico-switch-color);width:2.25em;height:1.25em;border:var(--pico-border-width) solid var(--pico-border-color);border-radius:1.25em;background-color:var(--pico-background-color);line-height:1.25em}[type=checkbox][role=switch]:not([aria-invalid]){--pico-border-color:var(--pico-switch-background-color)}[type=checkbox][role=switch]:before{display:block;aspect-ratio:1;height:100%;border-radius:50%;background-color:var(--pico-color);box-shadow:var(--pico-switch-thumb-box-shadow);content:"";transition:margin .1s ease-in-out}[type=checkbox][role=switch]:focus{--pico-background-color:var(--pico-switch-background-color);--pico-border-color:var(--pico-switch-background-color)}[type=checkbox][role=switch]:checked{--pico-background-color:var(--pico-switch-checked-background-color);--pico-border-color:var(--pico-switch-checked-background-color);background-image:none}[type=checkbox][role=switch]:checked::before{margin-inline-start:calc(2.25em - 1.25em)}[type=checkbox][role=switch][disabled]{--pico-background-color:var(--pico-border-color)}[type=checkbox][aria-invalid=false]:checked,[type=checkbox][aria-invalid=false]:checked:active,[type=checkbox][aria-invalid=false]:checked:focus,[type=checkbox][role=switch][aria-invalid=false]:checked,[type=checkbox][role=switch][aria-invalid=false]:checked:active,[type=checkbox][role=switch][aria-invalid=false]:checked:focus{--pico-background-color:var(--pico-form-element-valid-border-color)}[type=checkbox]:checked:active[aria-invalid=true],[type=checkbox]:checked:focus[aria-invalid=true],[type=checkbox]:checked[aria-invalid=true],[type=checkbox][role=switch]:checked:active[aria-invalid=true],[type=checkbox][role=switch]:checked:focus[aria-invalid=true],[type=checkbox][role=switch]:checked[aria-invalid=true]{--pico-background-color:var(--pico-form-element-invalid-border-color)}[type=checkbox][aria-invalid=false]:checked,[type=checkbox][aria-invalid=false]:checked:active,[type=checkbox][aria-invalid=false]:checked:focus,[type=checkbox][role=switch][aria-invalid=false]:checked,[type=checkbox][role=switch][aria-invalid=false]:checked:active,[type=checkbox][role=switch][aria-invalid=false]:checked:focus,[type=radio][aria-invalid=false]:checked,[type=radio][aria-invalid=false]:checked:active,[type=radio][aria-invalid=false]:checked:focus{--pico-border-color:var(--pico-form-element-valid-border-color)}[type=checkbox]:checked:active[aria-invalid=true],[type=checkbox]:checked:focus[aria-invalid=true],[type=checkbox]:checked[aria-invalid=true],[type=checkbox][role=switch]:checked:active[aria-invalid=true],[type=checkbox][role=switch]:checked:focus[aria-invalid=true],[type=checkbox][role=switch]:checked[aria-invalid=true],[type=radio]:checked:active[aria-invalid=true],[type=radio]:checked:focus[aria-invalid=true],[type=radio]:checked[aria-invalid=true]{--pico-border-color:var(--pico-form-element-invalid-border-color)}[type=color]::-webkit-color-swatch-wrapper{padding:0}[type=color]::-moz-focus-inner{padding:0}[type=color]::-webkit-color-swatch{border:0;border-radius:calc(var(--pico-border-radius) * .5)}[type=color]::-moz-color-swatch{border:0;border-radius:calc(var(--pico-border-radius) * .5)}input:not([type=checkbox],[type=radio],[type=range],[type=file]):is([type=date],[type=datetime-local],[type=month],[type=time],[type=week]){--pico-icon-position:0.75rem;--pico-icon-width:1rem;padding-right:calc(var(--pico-icon-width) + var(--pico-icon-position));background-image:var(--pico-icon-date);background-position:center right var(--pico-icon-position);background-size:var(--pico-icon-width) auto;background-repeat:no-repeat}input:not([type=checkbox],[type=radio],[type=range],[type=file])[type=time]{background-image:var(--pico-icon-time)}[type=date]::-webkit-calendar-picker-indicator,[type=datetime-local]::-webkit-calendar-picker-indicator,[type=month]::-webkit-calendar-picker-indicator,[type=time]::-webkit-calendar-picker-indicator,[type=week]::-webkit-calendar-picker-indicator{width:var(--pico-icon-width);margin-right:calc(var(--pico-icon-width) * -1);margin-left:var(--pico-icon-position);opacity:0}@-moz-document url-prefix(){[type=date],[type=datetime-local],[type=month],[type=time],[type=week]{padding-right:var(--pico-form-element-spacing-horizontal)!important;background-image:none!important}}[dir=rtl] :is([type=date],[type=datetime-local],[type=month],[type=time],[type=week]){text-align:right}[type=file]{--pico-color:var(--pico-muted-color);margin-left:calc(var(--pico-outline-width) * -1);padding:calc(var(--pico-form-element-spacing-vertical) * .5) 0;padding-left:var(--pico-outline-width);border:0;border-radius:0;background:0 0}[type=file]::file-selector-button{margin-right:calc(var(--pico-spacing)/ 2);padding:calc(var(--pico-form-element-spacing-vertical) * .5) var(--pico-form-element-spacing-horizontal)}[type=file]:is(:hover,:active,:focus)::file-selector-button{--pico-background-color:var(--pico-secondary-hover-background);--pico-border-color:var(--pico-secondary-hover-border)}[type=file]:focus::file-selector-button{--pico-box-shadow:var(--pico-button-hover-box-shadow, 0 0 0 rgba(0, 0, 0, 0)),0 0 0 var(--pico-outline-width) var(--pico-secondary-focus)}[type=range]{-webkit-appearance:none;-moz-appearance:none;appearance:none;width:100%;height:1.25rem;background:0 0}[type=range]::-webkit-slider-runnable-track{width:100%;height:.375rem;border-radius:var(--pico-border-radius);background-color:var(--pico-range-border-color);-webkit-transition:background-color var(--pico-transition),box-shadow var(--pico-transition);transition:background-color var(--pico-transition),box-shadow var(--pico-transition)}[type=range]::-moz-range-track{width:100%;height:.375rem;border-radius:var(--pico-border-radius);background-color:var(--pico-range-border-color);-moz-transition:background-color var(--pico-transition),box-shadow var(--pico-transition);transition:background-color var(--pico-transition),box-shadow var(--pico-transition)}[type=range]::-ms-track{width:100%;height:.375rem;border-radius:var(--pico-border-radius);background-color:var(--pico-range-border-color);-ms-transition:background-color var(--pico-transition),box-shadow var(--pico-transition);transition:background-color var(--pico-transition),box-shadow var(--pico-transition)}[type=range]::-webkit-slider-thumb{-webkit-appearance:none;width:1.25rem;height:1.25rem;margin-top:-.4375rem;border:2px solid var(--pico-range-thumb-border-color);border-radius:50%;background-color:var(--pico-range-thumb-color);cursor:pointer;-webkit-transition:background-color var(--pico-transition),transform var(--pico-transition);transition:background-color var(--pico-transition),transform var(--pico-transition)}[type=range]::-moz-range-thumb{-webkit-appearance:none;width:1.25rem;height:1.25rem;margin-top:-.4375rem;border:2px solid var(--pico-range-thumb-border-color);border-radius:50%;background-color:var(--pico-range-thumb-color);cursor:pointer;-moz-transition:background-color var(--pico-transition),transform var(--pico-transition);transition:background-color var(--pico-transition),transform var(--pico-transition)}[type=range]::-ms-thumb{-webkit-appearance:none;width:1.25rem;height:1.25rem;margin-top:-.4375rem;border:2px solid var(--pico-range-thumb-border-color);border-radius:50%;background-color:var(--pico-range-thumb-color);cursor:pointer;-ms-transition:background-color var(--pico-transition),transform var(--pico-transition);transition:background-color var(--pico-transition),transform var(--pico-transition)}[type=range]:active,[type=range]:focus-within{--pico-range-border-color:var(--pico-range-active-border-color);--pico-range-thumb-color:var(--pico-range-thumb-active-color)}[type=range]:active::-webkit-slider-thumb{transform:scale(1.25)}[type=range]:active::-moz-range-thumb{transform:scale(1.25)}[type=range]:active::-ms-thumb{transform:scale(1.25)}input:not([type=checkbox],[type=radio],[type=range],[type=file])[type=search]{padding-inline-start:calc(var(--pico-form-element-spacing-horizontal) + 1.75rem);background-image:var(--pico-icon-search);background-position:center left calc(var(--pico-form-element-spacing-horizontal) + .125rem);background-size:1rem auto;background-repeat:no-repeat}input:not([type=checkbox],[type=radio],[type=range],[type=file])[type=search][aria-invalid]{padding-inline-start:calc(var(--pico-form-element-spacing-horizontal) + 1.75rem)!important;background-position:center left 1.125rem,center right .75rem}input:not([type=checkbox],[type=radio],[type=range],[type=file])[type=search][aria-invalid=false]{background-image:var(--pico-icon-search),var(--pico-icon-valid)}input:not([type=checkbox],[type=radio],[type=range],[type=file])[type=search][aria-invalid=true]{background-image:var(--pico-icon-search),var(--pico-icon-invalid)}[dir=rtl] :where(input):not([type=checkbox],[type=radio],[type=range],[type=file])[type=search]{background-position:center right 1.125rem}[dir=rtl] :where(input):not([type=checkbox],[type=radio],[type=range],[type=file])[type=search][aria-invalid]{background-position:center right 1.125rem,center left .75rem}details{display:block;margin-bottom:var(--pico-spacing)}details summary{line-height:1rem;list-style-type:none;cursor:pointer;transition:color var(--pico-transition)}details summary:not([role]){color:var(--pico-accordion-close-summary-color)}details summary::-webkit-details-marker{display:none}details summary::marker{display:none}details summary::-moz-list-bullet{list-style-type:none}details summary::after{display:block;width:1rem;height:1rem;margin-inline-start:calc(var(--pico-spacing,1rem) * .5);float:right;transform:rotate(-90deg);background-image:var(--pico-icon-chevron);background-position:right center;background-size:1rem auto;background-repeat:no-repeat;content:"";transition:transform var(--pico-transition)}details summary:focus{outline:0}details summary:focus:not([role]){color:var(--pico-accordion-active-summary-color)}details summary:focus-visible:not([role]){outline:var(--pico-outline-width) solid var(--pico-primary-focus);outline-offset:calc(var(--pico-spacing,1rem) * 0.5);color:var(--pico-primary)}details summary[role=button]{width:100%;text-align:left}details summary[role=button]::after{height:calc(1rem * var(--pico-line-height,1.5))}details[open]>summary{margin-bottom:var(--pico-spacing)}details[open]>summary:not([role]):not(:focus){color:var(--pico-accordion-open-summary-color)}details[open]>summary::after{transform:rotate(0)}[dir=rtl] details summary{text-align:right}[dir=rtl] details summary::after{float:left;background-position:left center}article{margin-bottom:var(--pico-block-spacing-vertical);padding:var(--pico-block-spacing-vertical) var(--pico-block-spacing-horizontal);border-radius:var(--pico-border-radius);background:var(--pico-card-background-color);box-shadow:var(--pico-card-box-shadow)}article>footer,article>header{margin-right:calc(var(--pico-block-spacing-horizontal) * -1);margin-left:calc(var(--pico-block-spacing-horizontal) * -1);padding:calc(var(--pico-block-spacing-vertical) * .66) var(--pico-block-spacing-horizontal);background-color:var(--pico-card-sectioning-background-color)}article>header{margin-top:calc(var(--pico-block-spacing-vertical) * -1);margin-bottom:var(--pico-block-spacing-vertical);border-bottom:var(--pico-border-width) solid var(--pico-card-border-color);border-top-right-radius:var(--pico-border-radius);border-top-left-radius:var(--pico-border-radius)}article>footer{margin-top:var(--pico-block-spacing-vertical);margin-bottom:calc(var(--pico-block-spacing-vertical) * -1);border-top:var(--pico-border-width) solid var(--pico-card-border-color);border-bottom-right-radius:var(--pico-border-radius);border-bottom-left-radius:var(--pico-border-radius)}details.dropdown{position:relative;border-bottom:none}details.dropdown summary::after,details.dropdown>a::after,details.dropdown>button::after{display:block;width:1rem;height:calc(1rem * var(--pico-line-height,1.5));margin-inline-start:.25rem;float:right;transform:rotate(0) translateX(.2rem);background-image:var(--pico-icon-chevron);background-position:right center;background-size:1rem auto;background-repeat:no-repeat;content:""}nav details.dropdown{margin-bottom:0}details.dropdown summary:not([role]){height:calc(1rem * var(--pico-line-height) + var(--pico-form-element-spacing-vertical) * 2 + var(--pico-border-width) * 2);padding:var(--pico-form-element-spacing-vertical) var(--pico-form-element-spacing-horizontal);border:var(--pico-border-width) solid var(--pico-form-element-border-color);border-radius:var(--pico-border-radius);background-color:var(--pico-form-element-background-color);color:var(--pico-form-element-placeholder-color);line-height:inherit;cursor:pointer;-webkit-user-select:none;-moz-user-select:none;user-select:none;transition:background-color var(--pico-transition),border-color var(--pico-transition),color var(--pico-transition),box-shadow var(--pico-transition)}details.dropdown summary:not([role]):active,details.dropdown summary:not([role]):focus{border-color:var(--pico-form-element-active-border-color);background-color:var(--pico-form-element-active-background-color)}details.dropdown summary:not([role]):focus{box-shadow:0 0 0 var(--pico-outline-width) var(--pico-form-element-focus-color)}details.dropdown summary:not([role]):focus-visible{outline:0}details.dropdown summary:not([role])[aria-invalid=false]{--pico-form-element-border-color:var(--pico-form-element-valid-border-color);--pico-form-element-active-border-color:var(--pico-form-element-valid-focus-color);--pico-form-element-focus-color:var(--pico-form-element-valid-focus-color)}details.dropdown summary:not([role])[aria-invalid=true]{--pico-form-element-border-color:var(--pico-form-element-invalid-border-color);--pico-form-element-active-border-color:var(--pico-form-element-invalid-focus-color);--pico-form-element-focus-color:var(--pico-form-element-invalid-focus-color)}nav details.dropdown{display:inline;margin:calc(var(--pico-nav-element-spacing-vertical) * -1) 0}nav details.dropdown summary::after{transform:rotate(0) translateX(0)}nav details.dropdown summary:not([role]){height:calc(1rem * var(--pico-line-height) + var(--pico-nav-link-spacing-vertical) * 2);padding:calc(var(--pico-nav-link-spacing-vertical) - var(--pico-border-width) * 2) var(--pico-nav-link-spacing-horizontal)}nav details.dropdown summary:not([role]):focus-visible{box-shadow:0 0 0 var(--pico-outline-width) var(--pico-primary-focus)}details.dropdown summary+ul{display:flex;z-index:99;position:absolute;left:0;flex-direction:column;width:100%;min-width:-moz-fit-content;min-width:fit-content;margin:0;margin-top:var(--pico-outline-width);padding:0;border:var(--pico-border-width) solid var(--pico-dropdown-border-color);border-radius:var(--pico-border-radius);background-color:var(--pico-dropdown-background-color);box-shadow:var(--pico-dropdown-box-shadow);color:var(--pico-dropdown-color);white-space:nowrap;opacity:0;transition:opacity var(--pico-transition),transform 0s ease-in-out 1s}details.dropdown summary+ul[dir=rtl]{right:0;left:auto}details.dropdown summary+ul li{width:100%;margin-bottom:0;padding:calc(var(--pico-form-element-spacing-vertical) * .5) var(--pico-form-element-spacing-horizontal);list-style:none}details.dropdown summary+ul li:first-of-type{margin-top:calc(var(--pico-form-element-spacing-vertical) * .5)}details.dropdown summary+ul li:last-of-type{margin-bottom:calc(var(--pico-form-element-spacing-vertical) * .5)}details.dropdown summary+ul li a{display:block;margin:calc(var(--pico-form-element-spacing-vertical) * -.5) calc(var(--pico-form-element-spacing-horizontal) * -1);padding:calc(var(--pico-form-element-spacing-vertical) * .5) var(--pico-form-element-spacing-horizontal);overflow:hidden;border-radius:0;color:var(--pico-dropdown-color);text-decoration:none;text-overflow:ellipsis}details.dropdown summary+ul li a:active,details.dropdown summary+ul li a:focus,details.dropdown summary+ul li a:focus-visible,details.dropdown summary+ul li a:hover,details.dropdown summary+ul li a[aria-current]:not([aria-current=false]){background-color:var(--pico-dropdown-hover-background-color)}details.dropdown summary+ul li label{width:100%}details.dropdown summary+ul li:has(label):hover{background-color:var(--pico-dropdown-hover-background-color)}details.dropdown[open] summary{margin-bottom:0}details.dropdown[open] summary+ul{transform:scaleY(1);opacity:1;transition:opacity var(--pico-transition),transform 0s ease-in-out 0s}details.dropdown[open] summary::before{display:block;z-index:1;position:fixed;width:100vw;height:100vh;inset:0;background:0 0;content:"";cursor:default}label>details.dropdown{margin-top:calc(var(--pico-spacing) * .25)}[role=group],[role=search]{display:inline-flex;position:relative;width:100%;margin-bottom:var(--pico-spacing);border-radius:var(--pico-border-radius);box-shadow:var(--pico-group-box-shadow,0 0 0 transparent);vertical-align:middle;transition:box-shadow var(--pico-transition)}[role=group] input:not([type=checkbox],[type=radio]),[role=group] select,[role=group]>*,[role=search] input:not([type=checkbox],[type=radio]),[role=search] select,[role=search]>*{position:relative;flex:1 1 auto;margin-bottom:0}[role=group] input:not([type=checkbox],[type=radio]):not(:first-child),[role=group] select:not(:first-child),[role=group]>:not(:first-child),[role=search] input:not([type=checkbox],[type=radio]):not(:first-child),[role=search] select:not(:first-child),[role=search]>:not(:first-child){margin-left:0;border-top-left-radius:0;border-bottom-left-radius:0}[role=group] input:not([type=checkbox],[type=radio]):not(:last-child),[role=group] select:not(:last-child),[role=group]>:not(:last-child),[role=search] input:not([type=checkbox],[type=radio]):not(:last-child),[role=search] select:not(:last-child),[role=search]>:not(:last-child){border-top-right-radius:0;border-bottom-right-radius:0}[role=group] input:not([type=checkbox],[type=radio]):focus,[role=group] select:focus,[role=group]>:focus,[role=search] input:not([type=checkbox],[type=radio]):focus,[role=search] select:focus,[role=search]>:focus{z-index:2}[role=group] [role=button]:not(:first-child),[role=group] [type=button]:not(:first-child),[role=group] [type=reset]:not(:first-child),[role=group] [type=submit]:not(:first-child),[role=group] button:not(:first-child),[role=group] input:not([type=checkbox],[type=radio]):not(:first-child),[role=group] select:not(:first-child),[role=search] [role=button]:not(:first-child),[role=search] [type=button]:not(:first-child),[role=search] [type=reset]:not(:first-child),[role=search] [type=submit]:not(:first-child),[role=search] button:not(:first-child),[role=search] input:not([type=checkbox],[type=radio]):not(:first-child),[role=search] select:not(:first-child){margin-left:calc(var(--pico-border-width) * -1)}[role=group] [role=button],[role=group] [type=button],[role=group] [type=reset],[role=group] [type=submit],[role=group] button,[role=search] [role=button],[role=search] [type=button],[role=search] [type=reset],[role=search] [type=submit],[role=search] button{width:auto}@supports selector(:has(*)){[role=group]:has(button:focus,[type=submit]:focus,[type=button]:focus,[role=button]:focus),[role=search]:has(button:focus,[type=submit]:focus,[type=button]:focus,[role=button]:focus){--pico-group-box-shadow:var(--pico-group-box-shadow-focus-with-button)}[role=group]:has(button:focus,[type=submit]:focus,[type=button]:focus,[role=button]:focus) input:not([type=checkbox],[type=radio]),[role=group]:has(button:focus,[type=submit]:focus,[type=button]:focus,[role=button]:focus) select,[role=search]:has(button:focus,[type=submit]:focus,[type=button]:focus,[role=button]:focus) input:not([type=checkbox],[type=radio]),[role=search]:has(button:focus,[type=submit]:focus,[type=button]:focus,[role=button]:focus) select{border-color:transparent}[role=group]:has(input:not([type=submit],[type=button]):focus,select:focus),[role=search]:has(input:not([type=submit],[type=button]):focus,select:focus){--pico-group-box-shadow:var(--pico-group-box-shadow-focus-with-input)}[role=group]:has(input:not([type=submit],[type=button]):focus,select:focus) [role=button],[role=group]:has(input:not([type=submit],[type=button]):focus,select:focus) [type=button],[role=group]:has(input:not([type=submit],[type=button]):focus,select:focus) [type=submit],[role=group]:has(input:not([type=submit],[type=button]):focus,select:focus) button,[role=search]:has(input:not([type=submit],[type=button]):focus,select:focus) [role=button],[role=search]:has(input:not([type=submit],[type=button]):focus,select:focus) [type=button],[role=search]:has(input:not([type=submit],[type=button]):focus,select:focus) [type=submit],[role=search]:has(input:not([type=submit],[type=button]):focus,select:focus) button{--pico-button-box-shadow:0 0 0 var(--pico-border-width) var(--pico-primary-border);--pico-button-hover-box-shadow:0 0 0 var(--pico-border-width) var(--pico-primary-hover-border)}[role=group] [role=button]:focus,[role=group] [type=button]:focus,[role=group] [type=reset]:focus,[role=group] [type=submit]:focus,[role=group] button:focus,[role=search] [role=button]:focus,[role=search] [type=button]:focus,[role=search] [type=reset]:focus,[role=search] [type=submit]:focus,[role=search] button:focus{box-shadow:none}}[role=search]>:first-child{border-top-left-radius:5rem;border-bottom-left-radius:5rem}[role=search]>:last-child{border-top-right-radius:5rem;border-bottom-right-radius:5rem}[aria-busy=true]:not(input,select,textarea,html){white-space:nowrap}[aria-busy=true]:not(input,select,textarea,html)::before{display:inline-block;width:1em;height:1em;background-image:var(--pico-icon-loading);background-size:1em auto;background-repeat:no-repeat;content:"";vertical-align:-.125em}[aria-busy=true]:not(input,select,textarea,html):not(:empty)::before{margin-inline-end:calc(var(--pico-spacing) * .5)}[aria-busy=true]:not(input,select,textarea,html):empty{text-align:center}[role=button][aria-busy=true],[type=button][aria-busy=true],[type=reset][aria-busy=true],[type=submit][aria-busy=true],a[aria-busy=true],button[aria-busy=true]{pointer-events:none}:root{--pico-scrollbar-width:0px}dialog{display:flex;z-index:999;position:fixed;top:0;right:0;bottom:0;left:0;align-items:center;justify-content:center;width:inherit;min-width:100%;height:inherit;min-height:100%;padding:0;border:0;-webkit-backdrop-filter:var(--pico-modal-overlay-backdrop-filter);backdrop-filter:var(--pico-modal-overlay-backdrop-filter);background-color:var(--pico-modal-overlay-background-color);color:var(--pico-color)}dialog article{width:100%;max-height:calc(100vh - var(--pico-spacing) * 2);margin:var(--pico-spacing);overflow:auto}@media (min-width:576px){dialog article{max-width:510px}}@media (min-width:768px){dialog article{max-width:700px}}dialog article>header>*{margin-bottom:0}dialog article>header .close,dialog article>header :is(a,button)[rel=prev]{margin:0;margin-left:var(--pico-spacing);padding:0;float:right}dialog article>footer{text-align:right}dialog article>footer [role=button],dialog article>footer button{margin-bottom:0}dialog article>footer [role=button]:not(:first-of-type),dialog article>footer button:not(:first-of-type){margin-left:calc(var(--pico-spacing) * .5)}dialog article .close,dialog article :is(a,button)[rel=prev]{display:block;width:1rem;height:1rem;margin-top:calc(var(--pico-spacing) * -1);margin-bottom:var(--pico-spacing);margin-left:auto;border:none;background-image:var(--pico-icon-close);background-position:center;background-size:auto 1rem;background-repeat:no-repeat;background-color:transparent;opacity:.5;transition:opacity var(--pico-transition)}dialog article .close:is([aria-current]:not([aria-current=false]),:hover,:active,:focus),dialog article :is(a,button)[rel=prev]:is([aria-current]:not([aria-current=false]),:hover,:active,:focus){opacity:1}dialog:not([open]),dialog[open=false]{display:none}.modal-is-open{padding-right:var(--pico-scrollbar-width,0);overflow:hidden;pointer-events:none;touch-action:none}.modal-is-open dialog{pointer-events:auto;touch-action:auto}:where(.modal-is-opening,.modal-is-closing) dialog,:where(.modal-is-opening,.modal-is-closing) dialog>article{animation-duration:.2s;animation-timing-function:ease-in-out;animation-fill-mode:both}:where(.modal-is-opening,.modal-is-closing) dialog{animation-duration:.8s;animation-name:modal-overlay}:where(.modal-is-opening,.modal-is-closing) dialog>article{animation-delay:.2s;animation-name:modal}.modal-is-closing dialog,.modal-is-closing dialog>article{animation-delay:0s;animation-direction:reverse}@keyframes modal-overlay{from{-webkit-backdrop-filter:none;backdrop-filter:none;background-color:transparent}}@keyframes modal{from{transform:translateY(-100%);opacity:0}}:where(nav li)::before{float:left;content:"​"}nav,nav ul{display:flex}nav{justify-content:space-between;overflow:visible}nav ol,nav ul{align-items:center;margin-bottom:0;padding:0;list-style:none}nav ol:first-of-type,nav ul:first-of-type{margin-left:calc(var(--pico-nav-element-spacing-horizontal) * -1)}nav ol:last-of-type,nav ul:last-of-type{margin-right:calc(var(--pico-nav-element-spacing-horizontal) * -1)}nav li{display:inline-block;margin:0;padding:var(--pico-nav-element-spacing-vertical) var(--pico-nav-element-spacing-horizontal)}nav li :where(a,[role=link]){display:inline-block;margin:calc(var(--pico-nav-link-spacing-vertical) * -1) calc(var(--pico-nav-link-spacing-horizontal) * -1);padding:var(--pico-nav-link-spacing-vertical) var(--pico-nav-link-spacing-horizontal);border-radius:var(--pico-border-radius)}nav li :where(a,[role=link]):not(:hover){text-decoration:none}nav li [role=button],nav li [type=button],nav li button,nav li input:not([type=checkbox],[type=radio],[type=range],[type=file]),nav li select{height:auto;margin-right:inherit;margin-bottom:0;margin-left:inherit;padding:calc(var(--pico-nav-link-spacing-vertical) - var(--pico-border-width) * 2) var(--pico-nav-link-spacing-horizontal)}nav[aria-label=breadcrumb]{align-items:center;justify-content:start}nav[aria-label=breadcrumb] ul li:not(:first-child){margin-inline-start:var(--pico-nav-link-spacing-horizontal)}nav[aria-label=breadcrumb] ul li a{margin:calc(var(--pico-nav-link-spacing-vertical) * -1) 0;margin-inline-start:calc(var(--pico-nav-link-spacing-horizontal) * -1)}nav[aria-label=breadcrumb] ul li:not(:last-child)::after{display:inline-block;position:absolute;width:calc(var(--pico-nav-link-spacing-horizontal) * 4);margin:0 calc(var(--pico-nav-link-spacing-horizontal) * -1);content:var(--pico-nav-breadcrumb-divider);color:var(--pico-muted-color);text-align:center;text-decoration:none;white-space:nowrap}nav[aria-label=breadcrumb] a[aria-current]:not([aria-current=false]){background-color:transparent;color:inherit;text-decoration:none;pointer-events:none}aside li,aside nav,aside ol,aside ul{display:block}aside li{padding:calc(var(--pico-nav-element-spacing-vertical) * .5) var(--pico-nav-element-spacing-horizontal)}aside li a{display:block}aside li [role=button]{margin:inherit}[dir=rtl] nav[aria-label=breadcrumb] ul li:not(:last-child) ::after{content:"\\"}progress{display:inline-block;vertical-align:baseline}progress{-webkit-appearance:none;-moz-appearance:none;display:inline-block;appearance:none;width:100%;height:.5rem;margin-bottom:calc(var(--pico-spacing) * .5);overflow:hidden;border:0;border-radius:var(--pico-border-radius);background-color:var(--pico-progress-background-color);color:var(--pico-progress-color)}progress::-webkit-progress-bar{border-radius:var(--pico-border-radius);background:0 0}progress[value]::-webkit-progress-value{background-color:var(--pico-progress-color);-webkit-transition:inline-size var(--pico-transition);transition:inline-size var(--pico-transition)}progress::-moz-progress-bar{background-color:var(--pico-progress-color)}@media (prefers-reduced-motion:no-preference){progress:indeterminate{background:var(--pico-progress-background-color) linear-gradient(to right,var(--pico-progress-color) 30%,var(--pico-progress-background-color) 30%) top left/150% 150% no-repeat;animation:progress-indeterminate 1s linear infinite}progress:indeterminate[value]::-webkit-progress-value{background-color:transparent}progress:indeterminate::-moz-progress-bar{background-color:transparent}}@media (prefers-reduced-motion:no-preference){[dir=rtl] progress:indeterminate{animation-direction:reverse}}@keyframes progress-indeterminate{0%{background-position:200% 0}100%{background-position:-200% 0}}[data-tooltip]{position:relative}[data-tooltip]:not(a,button,input){border-bottom:1px dotted;text-decoration:none;cursor:help}[data-tooltip]::after,[data-tooltip]::before,[data-tooltip][data-placement=top]::after,[data-tooltip][data-placement=top]::before{display:block;z-index:99;position:absolute;bottom:100%;left:50%;padding:.25rem .5rem;overflow:hidden;transform:translate(-50%,-.25rem);border-radius:var(--pico-border-radius);background:var(--pico-tooltip-background-color);content:attr(data-tooltip);color:var(--pico-tooltip-color);font-style:normal;font-weight:var(--pico-font-weight);font-size:.875rem;text-decoration:none;text-overflow:ellipsis;white-space:nowrap;opacity:0;pointer-events:none}[data-tooltip]::after,[data-tooltip][data-placement=top]::after{padding:0;transform:translate(-50%,0);border-top:.3rem solid;border-right:.3rem solid transparent;border-left:.3rem solid transparent;border-radius:0;background-color:transparent;content:"";color:var(--pico-tooltip-background-color)}[data-tooltip][data-placement=bottom]::after,[data-tooltip][data-placement=bottom]::before{top:100%;bottom:auto;transform:translate(-50%,.25rem)}[data-tooltip][data-placement=bottom]:after{transform:translate(-50%,-.3rem);border:.3rem solid transparent;border-bottom:.3rem solid}[data-tooltip][data-placement=left]::after,[data-tooltip][data-placement=left]::before{top:50%;right:100%;bottom:auto;left:auto;transform:translate(-.25rem,-50%)}[data-tooltip][data-placement=left]:after{transform:translate(.3rem,-50%);border:.3rem solid transparent;border-left:.3rem solid}[data-tooltip][data-placement=right]::after,[data-tooltip][data-placement=right]::before{top:50%;right:auto;bottom:auto;left:100%;transform:translate(.25rem,-50%)}[data-tooltip][data-placement=right]:after{transform:translate(-.3rem,-50%);border:.3rem solid transparent;border-right:.3rem solid}[data-tooltip]:focus::after,[data-tooltip]:focus::before,[data-tooltip]:hover::after,[data-tooltip]:hover::before{opacity:1}@media (hover:hover) and (pointer:fine){[data-tooltip]:focus::after,[data-tooltip]:focus::before,[data-tooltip]:hover::after,[data-tooltip]:hover::before{--pico-tooltip-slide-to:translate(-50%, -0.25rem);transform:translate(-50%,.75rem);animation-duration:.2s;animation-fill-mode:forwards;animation-name:tooltip-slide;opacity:0}[data-tooltip]:focus::after,[data-tooltip]:hover::after{--pico-tooltip-caret-slide-to:translate(-50%, 0rem);transform:translate(-50%,-.25rem);animation-name:tooltip-caret-slide}[data-tooltip][data-placement=bottom]:focus::after,[data-tooltip][data-placement=bottom]:focus::before,[data-tooltip][data-placement=bottom]:hover::after,[data-tooltip][data-placement=bottom]:hover::before{--pico-tooltip-slide-to:translate(-50%, 0.25rem);transform:translate(-50%,-.75rem);animation-name:tooltip-slide}[data-tooltip][data-placement=bottom]:focus::after,[data-tooltip][data-placement=bottom]:hover::after{--pico-tooltip-caret-slide-to:translate(-50%, -0.3rem);transform:translate(-50%,-.5rem);animation-name:tooltip-caret-slide}[data-tooltip][data-placement=left]:focus::after,[data-tooltip][data-placement=left]:focus::before,[data-tooltip][data-placement=left]:hover::after,[data-tooltip][data-placement=left]:hover::before{--pico-tooltip-slide-to:translate(-0.25rem, -50%);transform:translate(.75rem,-50%);animation-name:tooltip-slide}[data-tooltip][data-placement=left]:focus::after,[data-tooltip][data-placement=left]:hover::after{--pico-tooltip-caret-slide-to:translate(0.3rem, -50%);transform:translate(.05rem,-50%);animation-name:tooltip-caret-slide}[data-tooltip][data-placement=right]:focus::after,[data-tooltip][data-placement=right]:focus::before,[data-tooltip][data-placement=right]:hover::after,[data-tooltip][data-placement=right]:hover::before{--pico-tooltip-slide-to:translate(0.25rem, -50%);transform:translate(-.75rem,-50%);animation-name:tooltip-slide}[data-tooltip][data-placement=right]:focus::after,[data-tooltip][data-placement=right]:hover::after{--pico-tooltip-caret-slide-to:translate(-0.3rem, -50%);transform:translate(-.05rem,-50%);animation-name:tooltip-caret-slide}}@keyframes tooltip-slide{to{transform:var(--pico-tooltip-slide-to);opacity:1}}@keyframes tooltip-caret-slide{50%{opacity:0}to{transform:var(--pico-tooltip-caret-slide-to);opacity:1}}[aria-controls]{cursor:pointer}[aria-disabled=true],[disabled]{cursor:not-allowed}[aria-hidden=false][hidden]{display:initial}[aria-hidden=false][hidden]:not(:focus){clip:rect(0,0,0,0);position:absolute}[tabindex],a,area,button,input,label,select,summary,textarea{-ms-touch-action:manipulation}[dir=rtl]{direction:rtl}@media (prefers-reduced-motion:reduce){:not([aria-busy=true]),:not([aria-busy=true])::after,:not([aria-busy=true])::before{background-attachment:initial!important;animation-duration:1ms!important;animation-delay:-1ms!important;animation-iteration-count:1!important;scroll-behavior:auto!important;transition-delay:0s!important;transition-duration:0s!important}} \ No newline at end of file diff --git a/default.nix b/default.nix new file mode 100644 index 0000000..a499ea6 --- /dev/null +++ b/default.nix @@ -0,0 +1,10 @@ +let pkgs = import { }; +in + pkgs.haskellPackages.developPackage { + root = ./.; + modifier = drv: + pkgs.haskell.lib.addBuildTools drv (with pkgs.haskellPackages; + [ cabal-install + haskell-language-server + ]); + } \ No newline at end of file diff --git a/index.org b/index.org new file mode 100644 index 0000000..9a93910 --- /dev/null +++ b/index.org @@ -0,0 +1,40 @@ +* Yiyun Liu +- E-mail :: [[mailto:liuyiyun@seas.upenn.edu][liuyiyun@seas.upenn.edu]] +- Social :: [[https://bsky.app/profile/ohqo.bsky.social][ohqo.bsky.social@BluesKy]] +- Blog :: [[https://blog.electriclam.com][blog.electriclam.com]] +- Github :: [[https://github.com/yiyunliu][yiyunliu]] + +I am currently a fourth-year CS PhD student at University of +Pennsylvania, advised by [[https://www.seas.upenn.edu/~sweirich/][Prof. Stephanie Weirich]]. I got my MS degree from University of Maryland, advised +by [[https://www.cs.umd.edu/~mwh/][Prof. Michael Hicks]]. + +My current research is about integrating dependently typed +programming languages and graded type systems. I investigate how +dependent types and grades can benefit from each other. I mechanize +all my correctness proofs, from syntactic type soundness to semantic +logical consistency. I'm looking for ways to make such proofs as +streamlined as possible so we can be more confident about the design +of our systems while still being productive at exploring new features. + +My past research involves formal verification of +replicated data types, random testing, and modeling of CheckedC in +Redex. + +* Research +- Consistency of a Dependent Calculus of Indistinguishability (*POPL25*, [[file:papers/dcoiomega.pdf][paper]]) :: + *Yiyun Liu*, Jonathan Chan, Stephanie Weirich + +- Theoretical Pearl: Short and Mechanized Logical Relation for Dependent Type Theories (Unpublished, [[file:papers/mltt.pdf][draft]]) :: + *Yiyun Liu*, Jonathan Chan, Stephanie Weirich + +- Internalizing Indistinguishability with Dependent Types (*POPL24*, [[file:papers/dcoi.pdf][paper]]) :: + *Yiyun Liu*, Jonathan Chan, Jessica Shi, Stephanie Weirich + +- Dependently-Typed Programming with Logical Equality Reflection (*ICFP23*, [[file:papers/systemde.pdf][paper]],[[https://doi.org/10.1145/3607852][doi]]) :: + *Yiyun Liu*, Stephanie Weirich + +- A Formal Model of Checked C (*CSF22*, [[file:papers/checkedc.pdf][paper]],[[https://doi.ieeecomputersociety.org/10.1109/CSF54842.2022.9919657][doi]]) :: + Liyi Li, *Yiyun Liu*, Deena Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks + +- Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell (*OOPSLA20*, [[file:papers/vrdt.pdf][paper]],[[https://doi.org/10.1145/3428284][doi]]) :: + *Yiyun Liu*, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou diff --git a/infopage.cabal b/infopage.cabal new file mode 100644 index 0000000..3b13fb8 --- /dev/null +++ b/infopage.cabal @@ -0,0 +1,12 @@ +name: infopage +version: 0.1.0.0 +build-type: Simple +cabal-version: >= 1.10 + +executable site + main-is: site.hs + build-depends: base + , hakyll + , pandoc + ghc-options: -threaded + default-language: Haskell2010 diff --git a/papers/checkedc.pdf b/papers/checkedc.pdf new file mode 100644 index 0000000000000000000000000000000000000000..12d911cab776801ac4e6b6f0bd1028a49e939985 GIT binary patch literal 479048 zcmeFYWmH|u(l&~_I|PT|uyA*GcLD@ixVuAe2=2ilxVyUtcMa|m-1Q^->?7~p=NzgNFtP+X5gP(c&29Kd z&ssZ4iOr4qNHy5x80G9lfM({B9u7bi4|!E14@)C1V^RTrI9@kyH)}iVcVJ>SYbzT^ zZZ|$s17ll5Aou(D_cVa?UCF`Ngj-ou{7;qlD?U;)Cnq~@0KnDNmBE#T!PdbPz{JJH z1z=GR*Lg{++Z z0mID5%uM_ni#Rr{?)>%tQSC%f!gQ#Kg!2c%Nls}SBcR(_2yRZ)Vly3%uW7Giod{%yhrALLy!Yn+d8=a#qmFq*!=_^%tQm(ALJ>*uark*1+1% z!Pd^!*~<2>1c(~Am>UzT8`uy_+B(?$1w_u=$jsn90VK_hEdRy$f8O0c?&y!{f2r0# zcYuGH`FHhe=V0z={m&Bqef1vi_xyJ-{-c&{46K2U?^_hm5nyQGXl?{xVPO1S(0|zd zt?d3*%<}Jw{QrMyix=?kG5=iZ-75zta~o4d15+SBE7#w(|Ht&7sz$c&2_N;ayDfk{_Wl0?f#(KAIsgAlZU4>9-->_Q0Bwx_?if4E-xv6o$-f2m zUjp%;g~r0b+JAeqx!#jGO_~d zzmwqjzKQXx+bZ+^*8N`<{+)k+WYhbn$NNV6j}M!79{;cZ!2MreftdKeYy9UV|Cg)( za`m4x@Skh`H?RK7)ql>wf3Er8y!!vZ)jv<4?@udyq^`fumhYoK&!+FA-)CCpf1Yi{ z&8^-~N&s=I_lGJ`pwav3zcx#T`Bj0r~!J*Wa;n6wOU;Q}POH#QHPi6m+cAD9*r z+0dh(SoJ|*q6M&QeK&?zVg7;F*f`-UG%jKyE z@~1uw<*n!Fny2c_>$Xre9BJXQ!hg& zta8q`lQJKtyQ`^}1he4)5JWgZ)96CspC8x95~X{N+n1iN3Hzw8stQlJ7H)kAPoj$rZNGc&qrmR{XzCi{HiOSj_3A92=EHE5-JxqaG-y~liA zers4Ua@-D~Dis*eytg{y+$Fff3>tBPgz!^j)!IEiS=`ZxD5f)L=cxRE4nRUZT02J# z?*h9&$0l*PIGN*J5|vGIE=Vqit9HcE*acCWw$b}A*& zCO~GbpWGl=k|F@rHYDMof+bLDYV|gt^_R#sp}g@jQJdI<+cZCsL#61|&$@?9w}<4F zY*QW_vu^T_vx_7-7ny*;vG38|23j>^cmn4n=I)n@b5DABTs4&>+86Svp3>BP6f;mE zZEu2zMA`7&=xYdXr=!`Xc%#G@eiXC0cG>w(A-AhJs2z+T5(6f^Ic+?wafo!50XcC3 zVhmG()eI$P#WAQU%A(79tsiXT3$3fyJW5#|8I|VuBC{G+=x`=?>7Grxcci&)Cqr(7U9*cZi`&rm2<)p%czP;9CM^(cQlL^#q4r zz<~6c*9d;&@HtkM(gge14o`I-SEzE>Sy`f+`K7WcCxGU&--phfSXlN{s7+4g1Dp_& zGyHf7CnnMJHEM-^oBhf)6Dlta3cLP(ksa7Xu=|VTZH)7&s*ZGir|GM4@>Zi@t1c~n z71(+uIr>d-b@C?*bWCBKT(@M|r%(u2*b5G?F6fNS%okyA1XM~?vFB7uLQXvJXpr?? zpL5QVTp?CK?#U5x8IC?ZmQYieus{;%Y$GU61`dZ3xJ=QOX-hHe4jiAG-v|zA_0+dl zG?tB2$e*<=LadHx6x9gxeK0UnuPBV|14}k#l25Frf_PXVC3YqO`MUEB{mZ{Z*l3rn zD=D&qOO$kr2+6oL4WCAz9UCVA2Tf5!$V?z#;Ta%Ndt_-xKSX$S$3C9a=3XBn0jjPNczJvbs7Qy+VGxoYQovUb2lvg40<$hg=Y>p%*|HSA;8ijvOgD~vH7hjR*XB&X&5 zyFo!V!<{ZP?gS&~4NB6Euuv+x*{RGQUJm$s@t!*pcXySiXA0HOT#TQ;zxsA#f66;O z&UHTNfR%pw~u_@>0}V?S)siN()C!4kOD>-YhfZ;_@NWo%!il* z-2uM^PhnW($H@=mU$ksjss!qvPIuFS06A41k8zbNd-dzTP@|ng2Yaxc(QV2MciO%b zx-zthxqi;vghI{B)rPBum1Gor$aQ&#GrQkOiOFdz7p#Z5W>r@E|eHz%CwHD&}0 z()Kkxj>H#d`bQDhn60tu@qm&jksxkJh_ozG2q$p{d=OAwSIfDf8crP}u0bI+L*Fmo z)lPjSNYMG|dzKE%?;kIb&lfE;%6-KOhmm|q-!FQm)QYF2mxTHk+8lH5cVZuVI?f?b#qmd8nHZ}-438tfU4MTRp!g7$@; z!GTTohIziJK_GFlh-UWYq<7^=^~)3sZ~A$J!5d(2E}>ilDXnMVs0XVfh3iR$zgarz zE3V9VD<*?~;7zJTkLcXn+%ZBCVKcfw1-;-> z|7h8!u46esMS{;Cr9*p0Bk1^1-VWCwNhhNXKo~}}wD7us$&4?E+iRKmLYH8M?;#vw z#Fl=VXkSZ;Z+%>5<=22D9JKJN$M&nM5C7~`GDT8Oq1wP2{^Qgf5zZY~psBk1Q$lME zD39(jNG}Q8CQ5<4$nyZR9r&GbJlXePL?iD37kM1e{9Mr$1`k6fGf?q+Oy#j`Zl}$T zBcub8SHC*kQL=^an>o6yi}_5oo1+3`fc!vX-iNC#k?a>?X62 z&F#@y%5OhDnUt6_r7dfO`hg$Ou~DModM7D7`%8CfWTVdrCPhNDv?`GLOL#*_WiX>h z22T}Ea#Hhf9x{BH1>!O1A{+9VFBgTjc;g>-JyF_Z4GL8uS5?OXG2Y@PP$&KUVPj)6 zoxHs>5=Oy{cfKh&{6Lr|`egOlAh|K>vbRpb-j&=dC1?x;vWbn`G`=u*bpQ^HVEAsO z^cxw#1j!B>CTnvve-u}P9E%Cn`188I0S8KR56TL98x9?=VO~3!j1g0Z)V{9hJPFDR z?iNmUQVaz>B3Ez=aS=vQ?O|u0# zN`cHrm^_JFL%o^dw#OsOZgtl6{cX4X$b+o0{Gio0XgwE}*IzXDF*FuLjsp~n3d?L> zQ0e4W=zFYd!dyf_97WXAvFB-f9{<4gDL+OK=+`{X+1(e;yL5sZ>(n1nw>{;WER;32 zDa)5;ZiEAmRNEsUrM!q*VicpMFyRT&*xku2&}4)%l!PNQWKDnZ}nXWtDG}9wZw4)Dy@>Cn&n}6Z&;sQwOUMEQzv5(X(pIaaD~3B zA$UD}+A(0dSrKS&5(y(Y+hmJvfTf)ZN*jWFDxi_@+659C`KBKxw^)S9##gkEQQ!zs zvhKJhVrF}Mz|_j50tD%8%^58awJ(JCoCL+R`s@5+e?ISx&cq8^jF3GkdkpJHhVE1# zQhCkjE=(PN+}+$;=P+BAQpJGOMf9DKHAjSiz!IVQh^p8sIr9nFICl{osN?hG`tqhwLxl_X<5s2;lNFK8@$xN-h4Jl(hJes@pQ3o>C2*M%wvN+PUCaCF2{-zE$Fw6EfBMe|K{ zmw4Kbg1}hhN8qWvFw`*C?jg5vLo2yB}>MOBdl;Uoa9W)q9O3w_7a66#G)HbqW$ zs`psg5V|PC8u?gxfMi6AzESKIq2(E&@#%A>JldEI`OzC*;(jZQKSWCRU0)vlE^Kj? zEfwx?QXgn1_Y$AlQbPa&s++$4grUDo+GOuy-4Sg5<)6Eq7Nv0i>@{zk~+Bmpfk8f2#+hUZJ zT6B^b1meOH*V17bx*~1>-n4HC6Tx7!7`J^sPb?(`P#lZg?fM~rJl-f>dUT_R@6JqC z5SIHXm5V46g2SDNC&5K4q*%8^bV;8B=w#fF7QrBDa_fP0jOkV58>A zqxY)siiDKF=(GM|a@J~G#1yV7Z9@Tj?8qAFSo6tf{6z#Ox> zi$>otx;sz`@s1XUdDyY-nzErBre)-vv3$&mL&5?TUN>K(XyNT6W2ax!?|;TMGGbyW z=GNYi852447&$@+GSVa{eW=u_OP@O7bYE2$JRiv;aVgx%=OoA~Y&)RGaE7C9I)ucA zrS*}MUFt%VG!NWQdA1m%=qnX?w<(j`cB;L7m$|H(s=^Suu|u6K96ds?n{- zU`D5s7&@iHL^jWTwHV_U^=6Z2N`W}>Xu_WuO`*$pOT2YzZ(DQT77`cD3l*=yLK(D(Zw;$Bfj7lBUM|;@_Kgwhb7c?hW>Y*GPRv~W1cQi|lJ8U*XLN=xY1u&+rq%gy zhdX(KN7>Wk4qkM8SZqQyEg@mkxxGZ)W_-34B1#iVHISLMK~x1Nk-quK6WJ9SC&jP^ zr;a5uVBKpDd0MA0XoWKj4t*)T;LD^Pp8bw_RrqST$8INW(y-s2gBW*?AK=Jn!vsunieJLpfN(V(VxdLnJyOUJ(Ie99U z3tpkKo-5z0Vv2Y_N|W*LomIy~Z57cyqwYs9BS|s27&W$G*+}uC?V-fD^zH@L5c$#$ zx#k+$$}LUufhCji&u)|=6tS!z8sg8<0i*cwc^4|Rl?q$5sr;cnU#)I_;M^R2;j3nx z0N)y5Mw?S6c5li2hFG4lLyeJbJFI(5zoRLppNQbU=2rZCKt(AQsP-jXEE^Ple`ZdPg3p3Kd{j1otaEzy0mJo!a3cKy_Sn4(tDv5( z>+0*$F}qo+aOp8cdquTytF01Q4q34vO@Z^}#{=4|@R1IfvLKh9TwLB1Kb^h!>vOJE zMz+QzEiS5Y3L!MgW7)>==;JiBlu{k&vzBUu%ONq9s2YnAO4#M7%Tp=?bb1rCCsR|O*wuhx*E~dO-%0A+bK@!pP&p2YoB7i!*X5T zlbQ7QDyIxsDW^C52 zTCyHzob=X4bV0*Z-Qv5?Ocw=-~l=O!ZfUN#42{>4aL6# zwFfO6S9s@*9P3!#2oj<4l@A-)z7S))7G6!}y#d>gQpx5b-yfIz+kokpMS?IWOR9wP zu8mv6FGa=~JKY_LJrTSjJ$?Yj_1M6d0DO@iN+8p_~+lU6$<3!unwp zPIy?m|HuX_m$LvRbZgo=u8*}4E9hsi#rA+56=t^^M>|8Bu>d|ZqRCP-h)b@jf!`Vx z`GmU5!XZ-WI*6}a%yBy3&pYnbDx&>?a!eYH?mE<8LSb)k%gt;GKU0xlb|atko8wUF zWvAYBPoI;LhcZZEfjQC>$(dB!h1}uVRzl9yn1JTIeV@GO>aWab0cT0k?`=nTgt*Gd zowvbuJIDxs4?K5I$HB4#(>e^Ja5oKK*lQ?fywW~ffCga5g z4QAMPMEx)$s8{W`>E8P)g3QeMj4X5~!e^SDv8231uBxTt>ZhLOl%o@K;CP0he%<+MwjJe>5{xHS3)U3 z(bUilULzr9<6?d(D7wQqP%`KK1yfi3d9!4`XvYr4`quD0Tp7-wj6hOJ`S4A-HaO9A zM7Ld@GH9AvkP<<_EQmC*v^-;v=^F&4UEC5^O4nWQ4!*2p1}A%%(1N3l3_5K|l-V%qA%002EI-SlLIW+jh;ct20XB*=N&$G9bb5XPKii=V!E1a07 zeQ}i3%2{3FG`AAIXq5~41UZqv7285rqf{EE5wKr~QSC~HQAz%4GfYX07>RWmQcts= zUwy&pVkDr{-i5~RWda5}Fs<*AOH%|(JrHCp^;jEwGdCV|mlD;h}+AQ%gPdAF_lIoGZC%Fx?{j>JD zb~uD)bL@c@D&;}|wF7HcQ0iC1>pS-!88F(o@(|_PG&-tbNoNW4^XF=EPBsRR^l{|; z+d=^s6RriQhFY54Ztmep>-Vh~oQlf(g=QeE(K40mjocq!@ennPD< zzoY+Tc)$sQ0<`H6)cEJakMpm)n%XrH1`_GR=ldBp(!uU;{4VWA$f)uR-|SBVzG&w# zkXggWZg2zDHZ$g3Y-*67lWYc}g2Og!7JZt0`abWpTo(;lX1;A;k@$>6-?KQ3Nk{nL zU2|QY-``5lF zS(;=^^vojCY(RKYv01{PW1%ESBv|%x^#TDko|agW2HoDwNMJYvUe@B&C@2^lCmuYH z^9m{BNyGM}PDGKpdX4-D>b@J0yO$I$UvrlElx)cUu|!!m0H0>Tk!b&jB^D(+-$Fy`Y0l}U3S&~S zlpn-!wQBZVw5Sxkm2~C;pQvI*oet*ulfQQAd9`J@;%l?ut0RXbYA{3bz=6qfe<~Y8 zbIP572q^Gg14nZMc!uz+df1GFc5|G-Wnoe&nh7ssqRE4IcKhj{!4+F!&NiM7S9-OS zQWME&h(ck`Fp04QQC!}LBa6idu5oOWXMy6W(({dhRGf&;{8-?nNlj&L=5u<51tp1; zl{d&k&2R85Ww9~aHVesb-SaXiV(v|YUmS7AR`kYFTSLno5ZWPUSX#BLRW!*_9Io{n z3{v#VAK-`gaShv>yl{w7Gn-O~gk*Zfis2BzG1N(+a9frbRIvUq7Wy`!xM$z@gDS4} zgmeVL_Fx|BFnn;r2Cir32IzaT$|vzn{JRXir+_(v5h}S+g`zvEB`S?dL^3?8w9xSO z9OHhJ8-h@q=t}(o(O5wKxI30OIbIys`*-eI>5Gz?H?nekWLK63$fNH*wR+5*mQ6U++~DXH z`W)-Nn!Q4bt7ZFDb$+f-J45veF4iyye_gSF6q&VmYJm**lbsS7$#7=Wp(I)~ME;6k zL|&Fb8%j9YoN2FTvB|d3;5h=UJE9`UPP}T}j_$s>>&%`G!zo$6_sd7F`&rJHE}LP5 zZ1%R{y)H<|j;2_;FPl?O*MAfc_tVdnLS z?)4~NQq7us(x*^DnW~)F1!DY{f3rG9-i(=dCrUXCc%qvtKZ!Ppo>s1QtfevKoDpnW z79XrAMmX_>e*yE0vP$sElHesm&Q4`s0(WWL$#jLvN~LNBCc-B7Iw5B}8+cKv{q;R- zW=4LQVV{CW%#xN;9eu#e?5+7DBqsYbToWmrt}pzS64=Zd#-`4u*m0wL*)t(k#eayz|IT+@29X%-JzGW!L&>{uB=X(i`*SZ2Hr* z`QtQIOD9I=gi-B1xRuO^gld(rb^YE}tXs2~^Vh=#Q2reH2*{kSgdwzj0VvQEh}Sm= zfvV*dQAOdL$a9Bhobe~5l})B+@h z6_vGBX+`AZq&NUlP6qG2^FlVJ?`zUCu>yqt<~}2O<)tcO&^IKg6&m8K$&42*C>WOR~p zb(KV7>_TDbnYxA&4U#>z_DFzsk6Jvs`U8DgSo2baU!<%X1Bw zt@lGqvU3cj!w&}WU*rk`QKq4Rdj^r0w{ek|XRz|{u%_xEyllit)5G360SoF4d^I56 zMF1ruG@kz47mxvm52ff-5AD|kO3Y7!(uqPz>Gw5Wc8Y z+scEw>3bo|>@w7a-B@Q72nD>HDD-EKS1;-g$DGlu4WLNZ1fY*RbP0s^M+6DhdS!=LY3(9< z?zZ_{#JBj|y-_*Z4Wb2$2y&m()j8r=Z5PZ<`e{)&`?gbN=bm6MXM~wihPo*L93t4R z`!yqrbr#p~V$ww+N+7;IpnKI|%@>@OYIOR@6*Z|M3ZI*?D4teS=+QPF8uixKcpe49 zFImMeOUDl$#2!qLm(GgQCuHH)DeyTT;sr}Ub>sLKj4OmD9|q_}khTz^PgT2amkkO? z&l2X=@ry#gFPRkz%xBnoL6A|Bc}1LC-&}!E5_RA6-t&wcLJ*O0=+iGC>74>^{I~*> zBWOsqchAue`d7O#$*K!p`D2fTTfWESA2$g>Y>8n&cD8mQ`~;tgLEd`1?>fI11?2de zc0UklK&D{ggKRy={}M@iO{`v7hxq*H$&~{7Mj(s%+NBNScPK#4v9+^X=XMYFBB1gD zNPZItev7*FC3|?IAV0RSeM?R~1iZXSAiDT1d%jwq3uJ5~Lbm`@TgFQcS)pxRcA}BBrq$l65kXHOxaH6I`&?jgw zn5cXBSB++@it%yem;0~z$nE#oug7Cw1bK)D>!(jC8#FG=5OEoV*0 z;piL1n|Sc@HO>U85|Ua0Aa>cT80IJt$E`LyV?)OzbL>O!!AmsY+U^*3iXfU_^Bhj{ zt0ZH!K3{8?Ji))^$uc!m{YvN;;u;I{z)!Z2#q6^wan#}xTvln)jO0bwQ#J(+s9@;i z^QR(@TriAPFpj7LVbpu(o`8gDUL3X-nTIBh=8ra>xDac54uNr(qrvf`VfpqSzP)&O zn)w*8^&+L&vg^VJ3f!-pCaxPxc_G?lZ}mEkGSA?=G+lh}IA#4TbrJFClY+puq2y`B zb{Fe5e)ZCW{@@}%jQ7+5_sMS@Z&#+A7Dw`c4%{+nStf*bPi*(Z4)J!tjCKyhVTzxB zeVU~A%Paf{dGFIL87vXbuGgs1f4O{1rKKOmEPK1P zBvlJw3VRjFk-FXvs~Lb9pz%jkEyTArETi7dio3WbsmIxzG~)Bz>P0eWhz=Si^*$;9 zi7QTai=D6(9%OLjgv>GEe*v!WJwDGKr3MK{=s&{Tg^48zh?2L-9`+=%2@L3#@BHW= zRV6rAZxXKoIlzlUc$;MP=n=6%(JimS=+~Cm38+Q*3??ORZpPe2tK`TZ9e|hI zp0D$%4P*%NfpeYivO4owwf;zPOu*cf27wL-weP2By8-*cRjz%ryEBa@%Mj7vxeWOC zu#|MrT^q-q$jhzZUe;Ln{-@M9&+g8X&pVcmqE!4mMwMD%pNOpxC=ara*Fv>++!BeW z3)7!O@#I2HUn{A-EG5&p(0Vm^@B3wNs zMg=XhKDsXWl$Sq$c-p*d=f6ow$##KCNOOJ!Wzzn{s8ln3^D9#@YybQdf2>C$qm74d ze)P)@WKK!c=T0vXQl`8Q&vaQN&<3$U%%~t-OS|V+5~QCL@I1Pb6V`PGW?_3Bmjr~h z*4k@%;!opgX*JY$0}*Z5G4r8Rn;sEdTF#{W53V#gw)i`GhwJbbO*xv}tJW7XxJefX zCc6i?GdpRN{-m{Zsixq`B5wD zSGi*yvCUxHtL8yZiDR)^z9DoRS$QPKH=Q#$iq^n4SrjC@FZ(ube<_ z+B|THHQ5IA6X{f_DS=j-P;*@oU-Cwu`%KkzxEcJcOewfCm0(u)6K6Tw-8BQKeZINx z1qU0-FXwK>{acK;)722!hl<^ISpyi4=CN3vj>#_7n z9f6y(YWcnV)!WI%b@gOM6bqC6R2KQk{l&{Wm20ybUUlh2LxNI#M6=0;UpKPJBJvCP zYsik>m`SKcc-ABoNUEpW(eCNXMxs0Otj&NW&Eu%9BD}WsqzLwJDb6$noPF7^A9wSAnYD&GXO;r+CS2y?uUe(;QMvF)NJrM z#cqpS=0K!l5C_oA5^ZNmnn^JmTeQQqqsTeZIiI#GGMi`kXaN<28W;)$aqieku(?1s z7mTZdB$yxANi==!1k%#AMeYDRR#S$^%Pg=7$U8~qpkm?S7--h2i=R5+y@`j`mZIwA zij)K>J67hkJqZ$VUycAFUw6d|-N-pRHzn+7+oTsrL^C>2R+4pU$el%WKOYsaW;q~T z`MS=1z6@qmKF@_jE2^2mm-lQ$(-Av2@IEq5uJ7pvsuX##-~_RVNQ7Y28xaS_wX=~- zn=19>A&R5ijsM>t$JRTTC|jY?rhUY}2*?<;GJ zhf?-7^KqZt7cA$lR0|@R%?)9g=J|*bMhVd=4Z?>Onyw_}>4^wTc>b~49paXSebaB1 z|1c0GHYz&u41|{klX}&jV&@l|dg9?>H~HcPb_4+LjaO*E`ze>7I+ayC04HaI*A|uC z2tmvwow=PMfT+7TL<%tneL;|^t`8GsG4F#qvYh4O=-@58LpH^`ax}-D-9oJ^(GDQiW!mq|B1WE|m0w>Oq7{r7G$?UwzOYg7;%3u?|-^ zm`nY&SZfEPABoac9o_a^@?gVzi(PZ-7U($ScAJjT(Q67fGOFb6JX%Zv{WaTgRlgB$ zJsLbHXJ}XPLj(VQVQATHKM>U#bT6Yi0d6PN5qqj}JB)8XzmlHn`}`fJ{;!Ft4i1Ir z7KbuNACoZxtEW$FH(W*_v69Jl;V!p5+WMqoib&_RK1^Hlw&J&9PLh<@C%RSq^$_`Fbe9Wl4}g`kaU#z!KbaMlfZsQ1{Q1kkX#IPKm_%^ z3FgJRyicqLjjPVF^n3$Lxeyx5AvNZTUim(=!X-grqe~>omad;aJ7mX6O6QgkrST4i z?GqySIYFTO-LF6bzC)g}j*oEx7#yCgz1t!u=-Y{hfVF-BvrU4j*{9JaD@5QML? zy!WGiH{8k`6^A^J0MXX#uN@k}lODcTl(?zH8;?{b%1%5CaC8}vkE<-k4fhZ2DYbQs zi%6ZTzlrd|U2(G)IOT^#pp)G701gU^B7M{DM05SF(z3XVZPOdgga@Gyp+6di>JH&6 zuN!YJYvH90TnzfzniS)>mP<8UC5%pj>lPta0E}h&;C_4ZP*q7(>C_b*P$w_lIyM^> zMz^3pe3;JH+Q^l%@!DrKRm@ubYF zrm`5LYLvmZVFigGW>jUgbHXWWDZA>6=BasXf`ZhDZj6(;&0k4bvbUQ$Lxf`2fqS*W zw6_9QJrt9hmyH#8xB@8TW>}=WtIe&Spa`N3nMK)w9{12v_oE0eg zp<1d(fAdjR>;hTG52#HdFV+r{rU_d8DV}RIBVe=BbZ4wf4D*LyFkR>FQ(4wco@FU7 z=h`3H#DB3TO{Ejc6*C@_LV#pY=#aN|+O6R((f03k2o=MLp3mS_p6w>1yA@H$97vb0 zkoK_ReY7yTsNaVy=#tpP-A>`$jWcFuDJS_*fHilJ%A~;3{8JT{e|f}bWH!gdO6%@= z2|r1QhLbXVzo03nge4}ZlkMsA$$>vX7<#Pix(|EZW<6Ep%#RR!_4|AWDr?`5hnUih zv3IQveCFBTmt!PH_ZwnjDmxCd5~$9g*>IdPF)EOe;&`{*rn%`)v{F9Vt=!=XpMES& z-;>I6YQQY_ax>R0Z;5&72))J&mKTpu|CuA|BHy~AW$(^zwER&NCyLfoc`%}*AV`6j zagqNyyrE2}C%D;0Bd~4RESU9ZsXz%-q(?YBNoVDOfGHNU5P zL!0DF=S=jefIhiiW$@1YC8#RaCT2`AfY~_1yDJFcSOh_?K86y})Tw{(9)^gUyJcE0 z`hE7hPsZC!dYG*t@h7Xb9;ct|Z*VJa)gtfzum8v>5OX--)Ro7Zsy#I7DO+~0S0l5J zXM`0%Qi=F5H88#OFiSAsmhF`lkF@aPqa8GCf`!t_x{W*e>UGokw^{MVJ;=(m>4H&A z)w`9irAg%@^TFH(g~n}x`)(;|p-msyJbd^n`(|drR~DR!ketg9)0YD{kQxk)>O81a z@RFjh2SP>53L3L5etn0|6?>Fs8V>oy`jYF<=7hSWDy$z}64?2~Ck>s_zhp3SzBM#| zORN$nwY+S)^&|;Bsuz~f%I-u%uZYjTQt0j;Ku6p)JTB+))G=m^l;s`0KLb#%Ei+A% zQr3g56p$$6BaKdPDf+bY>USi^AzCzZ``E%t(84q}F2aN5!O6JRcOLhX1j$nPX|+;} z{kr`7!31ECKSA9XMG_dFvQxRV^~ttks6wlg$L4|^r=!j`aJ0$33BYq3;_=3dx6YF0 zcJ{>25*gAOtKG1#3*eZ+z)R~lCk+A{a|_b6>6ST2spOz#Ya183~onvu*&#?mzPt+-WXMNv>9-x!LK9EzujOI=H^5_J>gHn49ghle_Dagqz?~f z_9*rm!rkzu5gMk;3gO7C z#woEyBw2tAqPtsq>PxyFpDV%IhAPKyXck}zT_@XK&WaDl{D=wzE7}HRHbP;-dQZGS zbTZ|Nsd(V$llBp_-~_e$k3+2kciK?6#YK*W=UizCC-e>VeG;sbo*=#~pE^p3^ow92A_J%q;bsl$~AZL8~hS+*QfnEcGgoy$c}+VW8rWXztl43|kJw2yLcLYOp>e zrP~k6#=kT-$!n&#ZKpF%g*;V!;!9bb?=-l=9(o##6h;Dh;~j`iVn&@1#wh713O313 z_qW};M^e_+d@z%lHmVW&86RniAC?r9ue<68U+P8A)9x|p`~1^!%tKzMZtKMVw5N(D zNKjx(2d^%Gm>*50#HAH-Hqvc9$2H~9=hl5x z)OMo%Y_I5($Z`r@?OlCSmt_HYYO6+kBll8Y8y~JT>ri~#^s;N=;^Zu=hQmH~&TWlV zg9Is?&!aJ(I-&CVO8iX_VV231Z}pu5p~o5PG_&uWJ5kadD{7iyV{JaX7pdXWoGEkl znP|ubLS=dX-ZukZS#3Pu8st4pG$|Q`cA?kXwl|BZ%>8(k`ZQ2qUEzd_c)_b5aFgA< zCDqxs-Of0V)$7}e6^?Pm;hfg6Jth9Rw-=iuloO6qpY;rfsd4afa}@L-gIq0(Ps*IX z_ao*FtP#tEl{8kXZ(hFR(E0nd6Kz^@6}FZRhL<}1(jLaQ)>rKdfa zpwG!8+x&;kEeYGk2AN;1JCtg$&MS9p6)m~l%e{MGLmz19)xtZXRHJ;r71qzHYm~8K zgv)> zIeYKa*0QhihpEz-*YhvHgOFOf}n?uK_R<;~V{_vi^THj-_%F+z3go?JhHIdZQv zq7EY88N&ND9o(_k`RoR*LX)NH~6q5%D&p995R^f2&o!}&SLdrH~aMSsqdoZ3gnmn~S|v$k}8EIQRY zsb9x!vLv(|_l-_#a9CqF)xQRKb?>CIGy*Zzw$C>mRkqM0wVdi4?VMMHM$wlzer)>x zI84={FSEwfw?_-~#rkx>lzEY_xj4U4N0C(^Y1oEM$x%9T=WXfIc{J5Vh*LLo!)?_5 z2K`#X{tXjL4_DU(%d*!84Ktjr6#qxz|6%Mcpz`{azEKJ-?(R_BAK<~gv}kd6cXxMp zcbDQ&+>5)r7k78J3;mzI=bZb!>$`WA>|`gCN%mxR*3Q%U%~ZjdZAO%vn?ecM#T#x3 z#Uup~m*McYQwXY;Xl?QjIzcd_WQzmH+BC5n2OSBPSfxs&Z}OSk7aV+lToe!0`DR7Db0TXEjb+lpPFz6y^EFf9x- z?we&bCek`uRtkA?F<}mACRfnlucfnG|J`@4fUp>F{XIP9_7|fpPf}tW$M5>n8aAw` zRUy{Jc4idh!Ir@lH(cqt-%8yoGsd~Tr!4X+>`je0g3&Nt8i7xYuVTWZNPW4oztgCR z5TB<_zb?QF5%vz3d#`+;JhB#*xE)5c5AlKHm7Z-_?JZ4$Z3pl+Q*(xoe~Bx6HjcZk z??bE=Iw(@FzSmtZ`vM>jTrAA{q(E|NSPm^D9|f|mKmqXEVGrSRV`_(ag??(vj%nQ8 zFdM-r+E6)88)43Ggc(@m9UwL56~Pu4jial@DhImkcw{d#T+2#BF%%!w+tv3h9YEVyk%HU%`9_z|v%EjKyT#C?3 zQ2O+nc?@y{pY%KgI-MrjGy0?ocFMhcpt%z?pqfZhpTY!@UfitHo9QRE_1Acg82hos zkNa3wY@2)0#~dP|0@x6!S+ zsuB=Y5HsyqU4|{s$fTD7<5J=TB9mhU0@`2+TjLn}CMI^GbjVV*#wYFk;W16Y((@$d z9%}p%1iNQgQK|w+e%hjJOkfqAZr;x?htGxuvO!(2F>WKnVryAE!^aG2@-TZ3#n{N{sj6-Ffj3E#vfZLWl*{7?b*eqN_v6So`v+?1`#0 zuc^@-PgQcohfyoVbL;9S%sv_E6O6^qO7Oxizo1cfel5?rp!t#P1K{eH%D#)^;vN0& zN>LGlANU(WTu(m7M z5x41M#w4**JN0}~QEH2g0rSC`-g*hqK_y|K(ylD1FJdfMW@*Cp;D3?b-IZ2iT4#kr zX!qL;Y~|CJ91=#-xY)F3gAuZe(+Z^3=0b_}0wvM0awrDlHZuQ);kz`@!}PfiI{=i> zF2YSZSr0p7*QBjJxT2WXFuFzsg$Nc58c_@{?ZoPG+4Hgk`94Js28@UGqD>p+Kmm*Q z;hQTvA3&{ALHGCDcPbf5?xP6*Xj@COsLvO2HxhT00^dwtj~3Zdxy6V3T6tf{=Q;Z!pnY_8F+P1d3(lkrl-h#clsoXexgdkPs#A@h&eq2yd!6^5)gyri znIu@ELE4@)(6i4c`+P*YPHEcBQq3zUffJq^)$lcvR$O@1P4X=u`-_34$8-f9*NK(G znYCc-s%h?{P3I(YE?@OH`eYDv)jW6n@$xJYzV7Atc-vT%TVYRbhFqYRrdYQ^t{z^X zvgi$ehXHw(S!(1Qu9SQ?snn^C)^LL$aJ|;ZqW~ zTkpTw&wB{A$t>tDXL%qGhvwbMgZ})sir;d;0C)*$ddVYXE4WXHIxo+tt}nvNFUY?@frwJOstl2gA4c6 zK{3&gV2Yu?gG!y&doZ7UiE@K*KR1w=-rT=BCOs`dU*d?h?H zN*9e==A3n^EFUkuEMH(aDJPkM!k&!zu|WE}N^hk`I6)KG&*vaG(*%&1C1zT*tWV%u zACnDWhq>pZhwu$jko&&by4$Zh`@409OHF=ONh~(cjku9UF9{g$5boG%<%<7}uTn~9 zQoG@PzhxieN2__p)6l|~&!i6pw{gQl#=N59J{O$Q(_fICxW0LqJ3N}G-ShTvWSEq> zYT!O_*5W(%qC-Ddm>PyE?406moL^|n)2l>pN})w#mJCywSh*XcElSZPwurCUl-CFy zBrvf24j8tE*2X$vfqe~LOV+IQP&fmHn3**a$`9`YH?u`d+>y3kC#)l*_CwF) zJ;% zJ8?*G?Q=ks$XTz57g7>7d=?@lL6^9531~;ZA27A+i+~PGj#o5cyRSdunU)2Kj&>4~ z7O@&y6m48i121PB9L$0@n^uk;i`Jq!sM)WsqL&}IP&B(rI`fXCAhnROP_bSd zyLOSi`9G*7`FitFKng-;=4_e-u~Ke6Cbny9abgt^e2S89iv)P4X{(_kQSo$;D~Q=# zE^O>IS|7^|5rp5|7-2%P=1+K4Qljk^1s6e8bQ45p_MPi>$=W}S%zawVZg;CvbCVzt zg-_q`>X`P%^cmA_%w@CvtaTQ==b?w4?CVMK%DPOh_JT7cFa1J3@v4j@ONJ^j4@dUl zRogIBD_aM7odShF#uL;nYrxmux1mDpO0oo|x7V^A9tzn5mw-n9%?fW0rI+nVBt>lR zbJ}y}BL@*~TnPsX)d*|_DRP|;UvDE{4+gqK$7wK(zxX&}R1jpyIvpQP7tsfVctkmB zhI$YZ$9NO|DiW~CI;j0>65Ql(KC6S>_~+0({V0J@U*5jD#vgD7D|r-s#r&g zx+>h$FA3v$q%{2~5K=wjNLr~r`KFk>pfl$MK3@3xYgpQlX@bz@OhGK}OIFS7Q18CD z@X7H{&a$c<$8hP-c;02Zy>>akKsQ#S-G;-)B^otDWD4IzBV&f>@ua2Xwk3&VH{DN5aR0j?RM~LmA7fDM5e(hLIZi$;!=$)KO@5P$tW&{!y73 z?_7bAO(9IHP(TWVrBsx9O^?~U6{HiAiT1P1Jx zw{ln4HU^Il41OQuNPJNn2Az&i1(ZoBX<3MirQlzN$Y1NuO@$I&)WArZZinm`!X+|& zS4a!9RXA;Hi#TA@y{9*A-PsJ=c**mlS^;P}lbLUJlhN&z4$Oo%&j1uzFI#G+rkotV zcboc0yBjwX?mKtf7?%#;_lbQ%@aexg05pXj<)C7Vhk(tA6ZZfNz`x{~ayYrP<_|W7 zjVszK+Q3Ngu2yo8kCP!4ZD6WLPZ+D07(StPq~~Tch@GE#MWOb7S!R7L){ihQgfYj( zDuDVjWK%4ZOh zn*uF&hsxvh!XcUl)>Y8nsm`155M9pvJSUJ;yZD zpjq?CdQgk3Y>T<8wC0vOKkSfpk)k;|2skuHR4hUG3=Qfp@e zAgC*XhSCAOhuv$t)@}%G>x!+9$Z79Miz32U#KyDLMaOR|(l)E;eOfu-X++jcIYm9x7 z;NG><0x83BPq_CYdAZqu3GMfpNn@mv1P!i3%1e#LJ=YQS6^Xu=kP>SuT2$JszVo&; z6o&G+*389WwYI);qJ2|~!@a8Xg-v_S?b5rlBeGvpjoX~QasefKgXP8v1L4^o8|x72 z%9K5G2go&#V@iw&QMDBpER7U5NGfcJhv8EgaFr0nv=FH`sd-1n zhdAsr9y<4;mgx(%A{INB8%t~(j%EsB*Zn?$kIhWVHzBmfo4d2-j@Oiidvj4cJ!HR1 zE0zt{8so`R_G_{WmJB;Y^G7=T?A@<~Jme9I(pQz?mD8rfIFsFY`tHuhvDkC?&sHw^SSQad)9CN7Ry6aw%96@t@ zHTN}dK{Ak_iP!Ydg=;*qeVbilWERzg-LwzpPhR@OI4Rv;4{%Re-4oEYdCncs=titmYqk^QX^ z$iVbY&dB<9{aa>w8}Ogx3;=#@Tm5%92tbTqKtf1}TEf^|$KF=P(p