From ed80ce04e0a4946307a39566162431f31945090a Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Thu, 16 Apr 2026 03:21:11 +0000
Subject: [PATCH 1/2] =?UTF-8?q?chore:=20suggest=20improvements=20=E2=80=94?=
 =?UTF-8?q?=20security,=20perf,=20a11y,=20lang=20policy?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- security: escape contaminant descriptions in main.js innerHTML to prevent XSS
- security: reject null bytes in Proven_SafePath.isSafe (truncation attack)
- perf: fix O(n²) loops in Proven_SafeHex.encodeSpaced, decodeToString, and
  Proven_SafeString.fromCodePoints (preallocate arrays, use Array.join)
- lang policy: convert .ts test files to .js (TypeScript is banned)
- config: replace remaining TAURI_/src-tauri references in vite.config.js
  with GOSSAMER_/target (repo migrated to Gossamer in 1b32494)
- a11y: add role="status"/role="alert" + aria-live on status, error, and
  preview/verify panels
- dx: split inline <style> from index.html into src/styles/shell.css so
  Vite can HMR it alongside main.css
- dx: add `deno task test` for running the Deno test suite

Regenerates .res.js outputs and lib/ocaml/ build artefacts.

https://claude.ai/code/session_01ApYxQtnUdsJ9BpmEfBUe8W
---
 deno.json                                     |   1 +
 index.html                                    | 599 +-----------------
 lib/ocaml/App.ast                             | Bin 2290 -> 2282 bytes
 lib/ocaml/Bindings.ast                        | Bin 13005 -> 12997 bytes
 lib/ocaml/Proven_SafeHex.ast                  | Bin 50641 -> 50759 bytes
 lib/ocaml/Proven_SafeHex.res                  |  63 +-
 lib/ocaml/Proven_SafeMath.ast                 | Bin 20326 -> 20318 bytes
 lib/ocaml/Proven_SafePath.ast                 | Bin 6008 -> 6979 bytes
 lib/ocaml/Proven_SafePath.cmj                 | Bin 165 -> 185 bytes
 lib/ocaml/Proven_SafePath.res                 |  19 +-
 lib/ocaml/Proven_SafeString.ast               | Bin 15851 -> 15879 bytes
 lib/ocaml/Proven_SafeString.res               |   6 +-
 lib/ocaml/RuntimeBridge.ast                   | Bin 13602 -> 13594 bytes
 lib/ocaml/Types.ast                           | Bin 3698 -> 3690 bytes
 src/main.js                                   |  24 +-
 src/proven/Proven_SafeHex.res                 |  63 +-
 src/proven/Proven_SafeHex.res.js              |  81 ++-
 src/proven/Proven_SafePath.res                |  19 +-
 src/proven/Proven_SafePath.res.js             |  11 +-
 src/proven/Proven_SafeString.res              |   6 +-
 src/proven/Proven_SafeString.res.js           |   6 +-
 src/styles/shell.css                          | 593 +++++++++++++++++
 tests/{bindings_test.ts => bindings_test.js}  |   2 +-
 ...fe_hex_test.ts => proven_safe_hex_test.js} |   8 +-
 ..._math_test.ts => proven_safe_math_test.js} |   0
 ..._path_test.ts => proven_safe_path_test.js} |   5 +
 ...ing_test.ts => proven_safe_string_test.js} |   2 +-
 vite.config.js                                |   8 +-
 28 files changed, 786 insertions(+), 730 deletions(-)
 create mode 100644 src/styles/shell.css
 rename tests/{bindings_test.ts => bindings_test.js} (99%)
 rename tests/{proven_safe_hex_test.ts => proven_safe_hex_test.js} (97%)
 rename tests/{proven_safe_math_test.ts => proven_safe_math_test.js} (100%)
 rename tests/{proven_safe_path_test.ts => proven_safe_path_test.js} (97%)
 rename tests/{proven_safe_string_test.ts => proven_safe_string_test.js} (98%)

diff --git a/deno.json b/deno.json
index 0b451d6..d68928e 100644
--- a/deno.json
+++ b/deno.json
@@ -11,6 +11,7 @@
     "check": "deno run -A npm:rescript format src/*.res && deno run -A npm:rescript",
     "gossamer:dev": "deno task build:res && cargo run",
     "gossamer:build": "deno task build && cargo build --release",
+    "test": "deno task build:res && deno test --allow-read tests/",
     "test:forth": "gforth kernel/striker.fth -e 'test-strike bye'",
     "verify": "hexdump -C dist/substrate.bin"
   },
diff --git a/index.html b/index.html
index 4e24f8c..825fe59 100644
--- a/index.html
+++ b/index.html
@@ -8,606 +8,17 @@
     <title>DotMatrix-FilePrinter</title>
     <meta name="description" content="Neurosymbolic filesystem manipulation via Forth kernel" />
 
-    <style>
-      /* Phosphor Green Terminal Theme */
-      :root {
-        --bg-primary: #0a0a0a;
-        --bg-secondary: #111;
-        --bg-tertiary: #1a1a1a;
-        --fg-primary: #33ff33;
-        --fg-secondary: #00cc00;
-        --fg-muted: #339933;
-        --fg-dim: #226622;
-        --danger: #ff3333;
-        --warning: #ffcc00;
-        --info: #33ccff;
-        --font-mono: 'IBM Plex Mono', 'Fira Code', 'Consolas', monospace;
-        --border-radius: 4px;
-        --transition-fast: 0.15s ease;
-        --transition-medium: 0.3s ease;
-      }
-
-      * {
-        margin: 0;
-        padding: 0;
-        box-sizing: border-box;
-      }
-
-      html, body {
-        height: 100%;
-        background: var(--bg-primary);
-        color: var(--fg-primary);
-        font-family: var(--font-mono);
-        font-size: 14px;
-      }
-
-      /* Main shell layout */
-      .shell {
-        height: 100%;
-        display: flex;
-        flex-direction: column;
-      }
-
-      .shell__header {
-        padding: 1rem;
-        border-bottom: 1px solid var(--fg-muted);
-        display: flex;
-        justify-content: space-between;
-        align-items: center;
-        background: linear-gradient(180deg, var(--bg-secondary) 0%, var(--bg-primary) 100%);
-      }
-
-      .shell__title {
-        font-size: 1.2rem;
-        font-weight: normal;
-        display: flex;
-        align-items: center;
-        gap: 0.75rem;
-      }
-
-      .shell__title::before {
-        content: ">";
-        animation: blink 1s step-end infinite;
-      }
-
-      @keyframes blink {
-        50% { opacity: 0; }
-      }
-
-      .shell__main {
-        flex: 1;
-        display: grid;
-        grid-template-columns: 1fr 1fr;
-        gap: 1rem;
-        padding: 1rem;
-        overflow: auto;
-      }
-
-      @media (max-width: 900px) {
-        .shell__main {
-          grid-template-columns: 1fr;
-        }
-      }
-
-      .shell__footer {
-        padding: 0.5rem 1rem;
-        border-top: 1px solid var(--fg-muted);
-        font-size: 0.85rem;
-        display: flex;
-        gap: 1rem;
-        align-items: center;
-        justify-content: space-between;
-        background: var(--bg-secondary);
-      }
-
-      /* Panels */
-      .panel {
-        background: var(--bg-secondary);
-        border: 1px solid var(--fg-muted);
-        border-radius: var(--border-radius);
-        transition: border-color var(--transition-fast);
-      }
-
-      .panel:focus-within {
-        border-color: var(--fg-primary);
-      }
-
-      .panel__header {
-        padding: 0.5rem 1rem;
-        border-bottom: 1px solid var(--fg-muted);
-        font-weight: bold;
-        display: flex;
-        justify-content: space-between;
-        align-items: center;
-        background: var(--bg-tertiary);
-        border-radius: var(--border-radius) var(--border-radius) 0 0;
-      }
-
-      .panel__body {
-        padding: 1rem;
-      }
-
-      /* Input controls */
-      .input {
-        width: 100%;
-        background: var(--bg-primary);
-        color: var(--fg-primary);
-        border: 1px solid var(--fg-muted);
-        font-family: inherit;
-        font-size: inherit;
-        padding: 0.5rem;
-        border-radius: var(--border-radius);
-        transition: all var(--transition-fast);
-      }
-
-      .input:focus {
-        outline: none;
-        border-color: var(--fg-primary);
-        box-shadow: 0 0 8px rgba(51, 255, 51, 0.2);
-      }
-
-      .input--textarea {
-        min-height: 120px;
-        resize: vertical;
-        line-height: 1.5;
-      }
-
-      .input::placeholder {
-        color: var(--fg-dim);
-      }
-
-      /* Mode selector tabs */
-      .mode-selector {
-        display: flex;
-        gap: 0;
-        margin-bottom: 1rem;
-        border: 1px solid var(--fg-muted);
-        border-radius: var(--border-radius);
-        overflow: hidden;
-      }
-
-      .mode-selector__btn {
-        flex: 1;
-        background: var(--bg-primary);
-        color: var(--fg-muted);
-        border: none;
-        padding: 0.5rem;
-        font-family: inherit;
-        font-size: 0.85rem;
-        cursor: pointer;
-        transition: all var(--transition-fast);
-      }
-
-      .mode-selector__btn:not(:last-child) {
-        border-right: 1px solid var(--fg-muted);
-      }
-
-      .mode-selector__btn:hover {
-        background: var(--bg-tertiary);
-        color: var(--fg-secondary);
-      }
-
-      .mode-selector__btn--active {
-        background: var(--fg-muted);
-        color: var(--bg-primary);
-      }
-
-      .mode-selector__btn--active:hover {
-        background: var(--fg-secondary);
-        color: var(--bg-primary);
-      }
-
-      /* Buttons */
-      .btn {
-        background: transparent;
-        color: var(--fg-primary);
-        border: 1px solid var(--fg-primary);
-        padding: 0.5rem 1rem;
-        font-family: inherit;
-        font-size: inherit;
-        cursor: pointer;
-        border-radius: var(--border-radius);
-        transition: all var(--transition-fast);
-        position: relative;
-        overflow: hidden;
-      }
-
-      .btn:hover:not(:disabled) {
-        background: var(--fg-primary);
-        color: var(--bg-primary);
-        transform: translateY(-1px);
-      }
-
-      .btn:active:not(:disabled) {
-        transform: translateY(0);
-      }
-
-      .btn:disabled {
-        opacity: 0.4;
-        cursor: not-allowed;
-      }
-
-      .btn--primary {
-        background: var(--fg-primary);
-        color: var(--bg-primary);
-        font-weight: bold;
-      }
-
-      .btn--primary:hover:not(:disabled) {
-        background: #44ff44;
-        box-shadow: 0 0 12px rgba(51, 255, 51, 0.4);
-      }
-
-      .btn--small {
-        padding: 0.25rem 0.5rem;
-        font-size: 0.85rem;
-      }
-
-      .btn__shortcut {
-        font-size: 0.7rem;
-        opacity: 0.7;
-        margin-left: 0.5rem;
-      }
-
-      .actions {
-        display: flex;
-        gap: 0.5rem;
-        margin-top: 1rem;
-        flex-wrap: wrap;
-      }
-
-      /* Target path input */
-      .target-path {
-        margin-top: 1rem;
-        display: flex;
-        align-items: center;
-        gap: 0.5rem;
-      }
-
-      .target-path label {
-        white-space: nowrap;
-        color: var(--fg-muted);
-      }
-
-      .target-path input {
-        flex: 1;
-      }
-
-      /* Bytes preview */
-      .bytes-preview {
-        margin-top: 1rem;
-        padding: 0.75rem;
-        background: var(--bg-primary);
-        border: 1px dashed var(--fg-muted);
-        border-radius: var(--border-radius);
-        font-size: 0.9rem;
-      }
-
-      .bytes-preview code {
-        color: var(--fg-secondary);
-        word-break: break-all;
-      }
-
-      .bytes-preview__count {
-        color: var(--fg-muted);
-        font-size: 0.85rem;
-        margin-bottom: 0.5rem;
-      }
-
-      /* Hex editor view */
-      .hex-editor {
-        font-family: var(--font-mono);
-        font-size: 0.85rem;
-        background: var(--bg-primary);
-        border-radius: var(--border-radius);
-        overflow: hidden;
-      }
-
-      .hex-editor__header {
-        display: grid;
-        grid-template-columns: 80px 1fr 160px;
-        gap: 1rem;
-        padding: 0.5rem 1rem;
-        background: var(--bg-tertiary);
-        color: var(--fg-muted);
-        border-bottom: 1px solid var(--fg-muted);
-      }
-
-      .hex-editor__body {
-        max-height: 300px;
-        overflow-y: auto;
-        overflow-x: hidden;
-      }
-
-      .hex-editor__row {
-        display: grid;
-        grid-template-columns: 80px 1fr 160px;
-        gap: 1rem;
-        padding: 0.25rem 1rem;
-        border-bottom: 1px solid var(--bg-tertiary);
-        transition: background var(--transition-fast);
-      }
-
-      .hex-editor__row:hover {
-        background: var(--bg-tertiary);
-      }
-
-      .hex-editor__address {
-        color: var(--fg-dim);
-      }
-
-      .hex-editor__bytes {
-        display: flex;
-        flex-wrap: wrap;
-        gap: 0.5rem;
-      }
-
-      .hex-editor__byte {
-        width: 2ch;
-        text-align: center;
-        transition: all var(--transition-fast);
-      }
-
-      .hex-editor__byte--contaminated {
-        color: var(--danger);
-        font-weight: bold;
-      }
-
-      .hex-editor__byte--gap {
-        margin-right: 0.5rem;
-      }
-
-      .hex-editor__ascii {
-        color: var(--fg-muted);
-        letter-spacing: 0.1em;
-      }
-
-      .hex-editor__ascii span {
-        display: inline-block;
-        width: 1ch;
-        text-align: center;
-      }
-
-      .hex-editor__ascii span.non-printable {
-        color: var(--fg-dim);
-      }
-
-      /* Alerts and status */
-      .alert {
-        padding: 1rem;
-        margin-bottom: 1rem;
-        border: 1px solid;
-        border-radius: var(--border-radius);
-        animation: alertIn 0.2s ease;
-      }
-
-      @keyframes alertIn {
-        from { opacity: 0; transform: translateY(-4px); }
-        to { opacity: 1; transform: translateY(0); }
-      }
-
-      .alert--danger {
-        border-color: var(--danger);
-        color: var(--danger);
-        background: rgba(255, 51, 51, 0.1);
-      }
-
-      .alert--success {
-        border-color: var(--fg-primary);
-        color: var(--fg-primary);
-        background: rgba(51, 255, 51, 0.1);
-      }
-
-      .alert--info {
-        border-color: var(--info);
-        color: var(--info);
-        background: rgba(51, 204, 255, 0.1);
-      }
-
-      .alert ul {
-        margin: 0.5rem 0 0 1.5rem;
-      }
-
-      /* Badges */
-      .badge {
-        font-size: 0.75rem;
-        padding: 0.2rem 0.5rem;
-        border-radius: 2px;
-        font-weight: bold;
-        text-transform: uppercase;
-        letter-spacing: 0.05em;
-      }
-
-      .badge--success {
-        color: var(--fg-primary);
-        border: 1px solid var(--fg-primary);
-        background: rgba(51, 255, 51, 0.1);
-      }
-
-      .badge--danger {
-        color: var(--danger);
-        border: 1px solid var(--danger);
-        background: rgba(255, 51, 51, 0.1);
-      }
-
-      /* Status indicators */
-      .status {
-        display: flex;
-        align-items: center;
-        gap: 0.5rem;
-      }
-
-      .status__dot {
-        width: 8px;
-        height: 8px;
-        border-radius: 50%;
-        background: currentColor;
-        animation: pulse 2s ease infinite;
-      }
-
-      @keyframes pulse {
-        0%, 100% { opacity: 1; }
-        50% { opacity: 0.5; }
-      }
-
-      .status--ok { color: var(--fg-primary); }
-      .status--ok .status__dot { animation: none; }
-      .status--warning { color: var(--warning); }
-      .status--error { color: var(--danger); }
-      .status--error .status__dot { animation: none; }
-
-      #error {
-        display: none;
-        margin: 0 1rem;
-      }
-
-      #preview-panel,
-      #verify-panel {
-        display: none;
-        animation: panelIn 0.3s ease;
-      }
-
-      @keyframes panelIn {
-        from { opacity: 0; transform: translateX(8px); }
-        to { opacity: 1; transform: translateX(0); }
-      }
-
-      /* Help panel */
-      .help-panel {
-        position: fixed;
-        right: -400px;
-        top: 0;
-        bottom: 0;
-        width: 400px;
-        max-width: 100vw;
-        background: var(--bg-secondary);
-        border-left: 1px solid var(--fg-muted);
-        z-index: 100;
-        transition: right var(--transition-medium);
-        display: flex;
-        flex-direction: column;
-      }
-
-      .help-panel--open {
-        right: 0;
-      }
-
-      .help-panel__header {
-        padding: 1rem;
-        border-bottom: 1px solid var(--fg-muted);
-        display: flex;
-        justify-content: space-between;
-        align-items: center;
-        background: var(--bg-tertiary);
-      }
-
-      .help-panel__body {
-        flex: 1;
-        overflow-y: auto;
-        padding: 1rem;
-      }
-
-      .help-panel__section {
-        margin-bottom: 1.5rem;
-      }
-
-      .help-panel__section h3 {
-        color: var(--fg-primary);
-        margin-bottom: 0.5rem;
-        font-size: 0.9rem;
-      }
-
-      .help-panel__section p,
-      .help-panel__section li {
-        color: var(--fg-muted);
-        font-size: 0.85rem;
-        line-height: 1.6;
-      }
-
-      .help-panel__section ul {
-        margin-left: 1.5rem;
-      }
-
-      .help-panel__kbd {
-        display: inline-flex;
-        align-items: center;
-        gap: 0.25rem;
-        margin: 0.25rem 0;
-      }
-
-      .help-panel__kbd kbd {
-        background: var(--bg-primary);
-        border: 1px solid var(--fg-muted);
-        padding: 0.1rem 0.4rem;
-        border-radius: 3px;
-        font-family: inherit;
-        font-size: 0.8rem;
-      }
-
-      .help-overlay {
-        position: fixed;
-        inset: 0;
-        background: rgba(0, 0, 0, 0.5);
-        z-index: 99;
-        opacity: 0;
-        visibility: hidden;
-        transition: all var(--transition-medium);
-      }
-
-      .help-overlay--visible {
-        opacity: 1;
-        visibility: visible;
-      }
-
-      /* Keyboard shortcuts hint */
-      .shortcuts-hint {
-        color: var(--fg-dim);
-        font-size: 0.8rem;
-      }
-
-      /* Footer layout */
-      .footer-left {
-        display: flex;
-        gap: 1rem;
-        align-items: center;
-      }
-
-      .footer-right {
-        display: flex;
-        gap: 0.5rem;
-        align-items: center;
-      }
-
-      /* Scrollbar styling */
-      ::-webkit-scrollbar {
-        width: 8px;
-        height: 8px;
-      }
-
-      ::-webkit-scrollbar-track {
-        background: var(--bg-primary);
-      }
-
-      ::-webkit-scrollbar-thumb {
-        background: var(--fg-dim);
-        border-radius: 4px;
-      }
-
-      ::-webkit-scrollbar-thumb:hover {
-        background: var(--fg-muted);
-      }
-    </style>
   </head>
   <body>
     <div class="shell">
       <header class="shell__header">
         <h1 class="shell__title">DotMatrix-FilePrinter</h1>
-        <span id="gforth-status" class="status status--warning">
+        <span id="gforth-status" class="status status--warning" role="status" aria-live="polite">
           <span class="status__dot"></span>Gforth: Checking...
         </span>
       </header>
 
-      <div id="error" class="alert alert--danger"></div>
+      <div id="error" class="alert alert--danger" role="alert" aria-live="assertive"></div>
 
       <main class="shell__main">
         <div class="left-panel">
@@ -662,14 +73,14 @@ <h1 class="shell__title">DotMatrix-FilePrinter</h1>
         </div>
 
         <div class="right-panel">
-          <div id="preview-panel" class="panel"></div>
-          <div id="verify-panel" class="panel" style="margin-top: 1rem;"></div>
+          <div id="preview-panel" class="panel" aria-live="polite" aria-label="Strike preview"></div>
+          <div id="verify-panel" class="panel" style="margin-top: 1rem;" aria-live="polite" aria-label="Verification result"></div>
         </div>
       </main>
 
       <footer class="shell__footer">
         <div class="footer-left">
-          <span id="status">Initializing...</span>
+          <span id="status" role="status" aria-live="polite">Initializing...</span>
         </div>
         <div class="footer-right">
           <span class="shortcuts-hint">Press <kbd>?</kbd> for help</span>
diff --git a/lib/ocaml/App.ast b/lib/ocaml/App.ast
index 30c128019045de4be7d1b0673a611170c27c5428..83e2a0b6cbd3c50650d9f9ef6f97915cf9babe36 100644
GIT binary patch
delta 75
zcmew)_)2hs5@$w!ZmNE1aca>-eJz6y1_s7W3=C{(KrFgo!9s@x2R2Mtpq-qNnw;&P
VmS0qovEcxxjy{qerH$*IIRNOD8yNrq

delta 83
zcmaDQ_(^br5^q^zkxGzjfPZkji)YY8Z7q{23=E8$7#P?xfmnROf`twX4s4jPKsz}j
aH96ZoEx)KFW5WSX3w<<wN*k9ua{vI5(Hv+1

diff --git a/lib/ocaml/Bindings.ast b/lib/ocaml/Bindings.ast
index 8c4e595ad785a952b8b6312553ec615c225f07e2..8d09a4acb7a15d12daf0b14cd6ced2d60253a47c 100644
GIT binary patch
delta 71
zcmX?`dNg%H17}8lZmNE1aca@TUVUu_1_rK71_rgI3=FEX7c5xlu;9Rk2@BLR^UCtG
TQ#TyoG}K2@uD)4_akn7=$i^D|

delta 79
zcmX?_dNy@J18-SkkxGzjfPZkji)YZpPJMkI1_rK71_rei3=FDs7A#oku;9Rk2@BLR
X^UCtGQ#TyowADw`qQ04nakn7=aD*I7

diff --git a/lib/ocaml/Proven_SafeHex.ast b/lib/ocaml/Proven_SafeHex.ast
index 6420b6aa60be92ecca3f7a3b1f24c2e85a929297..d039a6729b2ee21cc0c7600cb8b5e55b0f5ec5cc 100644
GIT binary patch
literal 50759
zcmbuo2Ygk<_6B-Za!z{hJ?EsIBy<Es1*9s7B1*LY1_%%d2_~W03yO**sEFNw6%~nH
zvBiR2u6o5@u=j?F6@1^CHEW-JlHmQn_x$Bv);H^$+0*vgYt78w$K&zrA2*_@sb)po
zLG_I_Epg)-TH=nZoj+#zV*JxQr>Smn%c#bt+PFzAbL;D7&$6mXElqU|^W*v~Xk1j=
zXGwEyQ=hqwEsJW9y1duCy87D1P`4npxoJ+H#Z8S%Ya9AZH2=(+R5P!3Z0+*iO|{K&
zE7#uqn8&mAevhZ}43FosZ#|wh^=)l83~!6^cuGBOl?!T@k7;UZY-;a_9rpk4Qsaq&
zL_Isa5h4v3K74p<+beCo#x*Rhsjr)RXl=v%mIdt{-q=Hl_9Z%?!y6~k*x{|iheMGl
za6hki_;6(GYcq~oP}5X12TcVf{V<|&M2B^FGenwU^JWViZ}V1<S+uxi#khvWOInbt
za01axqS+nZB9ZECu7JSfIM?tI!`s^0g6Oo~a~tO%S8%jvhG#~Hw{k3b{wB{qXiZyN
z`<e~0*T(s){kD_+z5M9vnz^-e>K4`1`)eEKG|t7a^+AFW{4EP=TKscr8X6k$Pg70v
zg5Jo@1@K_i&8=<rH)FW`7zcmj;@YN~mb%7<X8*FfmIeMfkXmXQT6(qAEvf}tw790J
zuDP+nKd-UL-&{LqNmE_RieAmN4b62ebxUjgm?S8CxHo<{{|}Y*CZibx4<Ykkhj)-j
z6;4C^elzy|mKBRp4=%M+HMA@qo#8U9L2s!UtdXX7yydvg`r&OI?X6}m@mMv3eAp30
zmlCb(@J<lv`r+Ql;pn`+ef#y_XTZQg`wrf(X7-%9wewm_s*gv8sY2V(;hiSZy_f@N
z!64|4ok-MxzYgyVkuK2|9LSyTpQ955ozmj3tZ!Ua+cc-9xwgvb3$FisTZ%Uo_4h`2
z(?T`xg=U+YPg#s10JnKE(Yr(+c6eJv`nGHJM~oabddxxI3eZm!(hnWplZ+HWQu(8y
zJAD$-{rKzfo*~jZ|62JaT!XHaUu{e2rt&>)<tI17uHb^}rcuN&iWu49y+Wi3rtY7h
z)wf}k%DA^c+aSs#JG?iDG}X{<Xlt!#HkJpR+e9<H!+X0(Gr8*`y%GFR0tR$=JIqLY
zTKnBH1IjSxYmx7v=@ijK5z9NgTSPk9l>Ia=zrMBH7{T%uTiva~xVpppj7T>#x2<h>
zyU;7d4pwuuN1^x;+{XV3^|TJ}>ms#krq;GrZQ=W(TGQeEK%})wTGJNj%TwZWNyjYx
zLZmBT2Doim9p0}b<w~29gP9IZhxc1aZ}A2JA2XF~EvevH@Y_)oaSKH}(Bb`Eq=)o+
z+>+LkVME(Hd=x3VyC8Z+yhmxK?xqKQlqkA8KuZ#_U1@9DN(Kx@ReY2sntLH;i+I1S
zZUT>yc4BME5Oe8L;XDp{nTStlneI#X65STidW-m&(s1d4`<hD+63vq!?JMHb?n`rD
zd3%`|aw|q;5}sjP;o-+n#A_7s2E-8};%<;W4D@2ccuCy>@lX*z(rde`I7M{tf;Lse
z50w_`otdKf7^GPue(J7bySD_I*`oOj&ng{F?=r5*qGKuIbBfpvu|dRt^b%$`y-S(3
zTvWe7Tp{8g%5vBDOwsKG?JN;@DGl`<G|+VEYSH`&(gh;^?XIsgn%*UR<#mP<>4SKM
zh|yZ4`^xJ@=K*blh+d`P%KP$d;G^3_69e&f5#!ufHiOx-%V6F+lOl5{vH-d66Vb1O
z>BUXzqsJt*0^;K$2KCzRDn2K=0BFyPSgtglZ_+uhil!2z*F>y#SFzp8*|&?PhkG!;
z=9=u7MUg!zaumdmL>!}+kiq<lS>K3iD8z3?JWyHg`u-}q!JzFDafs4T-~HtN*dv<Z
zApIlaNOyfhgZU+{91$m!@et!hJWPvpT{$8{bO(W!DdHhYThmtBuWx@I&4@x#O@LS=
z;t}pkcR!jD!5WGLdk%6{ia6gH%`dpvev-NfVt)}E^y2P19w52}pbZhRUTNr^!KQa2
zMvJBqq%k6%;I5(>&4{t0Y2wjjBQl|}fsIJS#5ojsDn*_N@dy#mfx`pu0tu6(!2=;q
zo=cIdDDr%^+P;XXW?o19U}iD!bTL{Ry*}u1i+iJBF59Zv`<o4KvldQ_FJhKF^%g@s
zu9hNKQ{)B4apZ?&<6`#In6*GyH4y7WoIkv+9h_1)=u9|4Qn^c-L|n+`(L6`-Zz9r{
zNP4}g%xX5?ts_jmSBT;WZ=P`}P;oBt)TtB^i9d*^i8xffir9hvQH>2tYnxj9HU4I}
zqV?ij^7GSp(f*c3e_cznpQDHQwM~9F=Synco{}%(JX^dM_ZYiMJ<vDS$?J)1lN;f6
zjWTY8FJkQiirhw#uc0cJi}-;V4D~n4P5E5uHc`VKN30j|3&V8v)UA^K6(}1;{MPBI
zaF4@2d42Q*7yUpTc_Yc24)H+|Gj-CL``bqyOnXvvNf4hBF-2*Z!l9bJBud!Bh?hl7
zRGxJmd=cA4kqXWmBBr^guycdM_VJ}Z5)O=I#K$5QX^~-<{zjBp;C(A%zVdMU^fSgV
z;up~rgY>J20r$1{a)<9Zp1ft`g$a%LN5r1?4qxADy{rnJCG27OBIAY93u1zZ`)fr|
zVU8Pl2JmeXnJM}MAZCd;%0+d$HL_TgW5Dx^Xv~+XZZ;B2Byl_sIUX93Wr7dwWB?+2
z){}QSd5;C9mx#xy0f_7){ej0~WZy;Pts(DRzOlV;azzK4IprmYgBr+NOWt{1@8`&2
zGV^`_>p&5ImHXLojD3*@i((fzV@1TXI_#E?953m+IlU-!M@Jqm=^yDG9od_!HhDfp
zUW7l0Q$&2(xuf?F-O&xsZCly5SHFQ(d^6XWs4aAV?<D~8Mb5I<=;pSrFo7$Z*T{t@
zkoS7>-T<*)#Em?f?amE7dqs;ekC977y$Q@^BHnG7xS`8yc)f#*J5@CBQ6o<i@u4v5
z7`aMP;ciBrE8?S_yK=RpKgQ|VCi;-DL*4J8?A}IR*+kwC$@@FRt3>=$ry&~wL>^`l
zrlQ_1MED|a5!$E7ajS?wY7V|Borc~e%AdfyTSVi&nTZSQ9eJ-L{w6NBnuy3pB>68e
z9u-j?x*XF8Jk&}KU&vM8+DzVm$On5K`HYA@+?s1P_<fP46JM6ZDCoC|7{h%L5B!SY
zSiVVY7*>I&*phm47r(oNe3|4c1o1r)OU)1&t617pJCCpanP~Wy`&`5-?FLhYtC;k?
zXsRLpAYxCnpKFnTq@N_I7bgJzEHKwRZEdaC4%E$M?e3-I>rK8v5ci09K$l8+qeU~U
z!{?0=afDWioq?97B|KZbsiGSRF-^pSj4d!V!`OH;B=umanKw&de^ax~HpY~R5yS$>
zn3_3QqVjo5my>TC`3{3vCgRb0b@$Bh_7deW;Pn>qIOXyEf^eHB5tlev)UzS(C*nNQ
zXnl}H9>%OuE67(*zBLd>i+HJ)Cl9hne*SwWh;Ajs!$mwtX}5E%>GZYtXi+Z#^B56N
zG|bjYtS+_GHngw>_Z}yzlOWcJcoqgWmS<_`K^BR18lSgb^cO%}B;rMSX<XQ8?o!dM
z0&SUytCgnrhxas5Tnx_XB4QoT44esHja0=0)wvEA2>VK8yimlewQzSGE*ITppsf?}
z3Z=na?k|yr_j*xX16G@e*LSJKIQK*@TTnOOOp-fJB;N+|-HDu=L=^jHtj+q?Qmn@W
zN7l70t81<;t#8Jni_g17c=thkSj4BbO75CJExN6sZ58o(rJ?r*@IB^zSrjiq+$Q2n
zw%%|ayst>o%iM{8uL-=(-HuW$l(Fu;lgPJ?eD6SfU&QzMVsdYUH>0e+rh#u^@7F>^
zobLTbM7QO1X2CC_gW>f4D&nu9c9iv9-glm<-EPq#iuUdi@vl%*d>%<++lfp2A_Tr+
znqqE>lKt8K`{GX~-)@S6Ir1fln4}j&--e8$FH^Me5qw!9#w$_E>(PVD3!F+(Jt=B3
z#1awB5}7j@y$Q_fc?v}(Q&bhiULy9;!pyDcy6#}n=YqPQh{c8)b}#ydiOLVwfg)CR
zz8Aak*L;Ub6=76;6GU`7VQzoTH%;`TL7gt*p;~30gm!xSYD9-P(l=YgBbmm-;Dx*9
zn=6Tv>`?V~TZ`^$*mN32O`|BpNxo(g-2r4+4Nn$5;zQplA}({)&`w<6Iigwt)+!Or
zI-^s;^Ca;UTfs?OL8Dw|=8ktYFZ;K9AK@6#u0nY);4!`2GlHTnq^PSQue0*Ct_nEj
z)z@aVYr$M^<*Ss5=T!N;n)+t8|GwL-_BzP7Tlogpqsn*$(A_CEs0rd`&q#{8k)m#g
z0c`U{PUT|mm1oEC5byJhqNqD4>Mr(SIb8J78D=8`jl%j67+WmkZlpZc9{yzTZS{<y
zsCy~uVGy6Oa)+sU_<VfP>Yf1aB`ZI#Gm-;y@nL+gdk&(gmnaI6pl`dCUq`=oz6(CI
zy6xcYu=2azT=z4pdk?(Nt^BETU2i6mzp}|@^^SYnZe{s=KY7Md)Xx<42Ut6;ya$y5
zshe#jpYKo0`3L;JM2=22qhtIV-)@_hf}RBBAKMQPcKD(^o^ceNO3_)S+dnkp=%eq<
z6!S%-nmGoVPdvbnAVzr(q3CRi&XaN7gc76T#l?LeVuEKpMdwp=ffJiJ{#;as&@dKJ
znIb;hIW~zZ6vcDk6p6SERg>igvo7J<^z%gph4Kp6l_I|7u#pQldQ=Zdf1A@QxqY%W
z5!FZ1@9>uKBf8BOmBcL>u$a6H@CR|Ah}SuhOh5k^-XN<*%))+=-$V(a7)CZ8_O^rL
zi#pI2?Zw_AuS*QXW$n5|9|>U01`cnZa81U0CQ$SgiarYRp;lhNGp%bZ6E)T9>%pC7
z<r56o9nD0|w5n#%W?6Z8SUeLo-zLK>MJ=%M$?h(NR~og@Dqx$s4QYH4JGceQJ%>~D
zbrk&o<P}y9+g0cq)I^<Qc?jU5R#|zoxxd=jAq|B!QLR?XS6XA``<Q8rBv<oNn~H4(
ze(b5|7In2vN6;2^jg=qfY-mlV*e2>m&qRuTjG~_e_a-Ypja!jJizxPHqwcV&aCf3M
zS@~Hm3h_<UW}EO_w*gMn7SE9s{W?X%N<=+u<&Vv{nMb(|aiX5Ks?R{%YUMArQ%p@b
z&Wd{3s;~eRwav=k*ml9Mh<e4QVO5IlK-6m%zh&<B&Vf$Ud!9)Y{T)UB3hMh-HZiGe
zd1&Q6w<_#4M13K0j7KX6i{*>>kT3RwRT1PLt&As^ju+Q&r%jHs_4`F|^iQUKdkuG@
z$uoswVkib>L`PUTS8L#&Gtu!@n+IlsmBov}{P+aD5(;^uv#dS<Znl-p(!TDrz_g%Y
z(E-m?is?Zy6Csya*|-{xtL2NrKCmykr&W%E+{?<&LVoz;Eqbuk4*+*REAMBT6!v(F
z9%gm>gLj~nM`G@E3Vx!-as>{t1T54?kGFEzO1+Ktq9<D=mg=LYSlP8!Z?+$O(KD<D
zE>`qRD<7`Y&GA+`g+Nl1<1KwUvM#i;J496%Ji5gyCxN)c%F}dcLt#+#DOQJ2Hu_X6
zW4o6p61IBPbLut_iay^njbdsjW)bqPwz3${y@x{4S6E^TGF@rqv$SIDhiYGLuu4R`
z(KlH6TqSBa6n(qZoDbF=R$guEkANupPMdZCw+Oi1;yU-OYdy>8EuQHVb0NiC3F5<6
zzJ@RPZ$VM?bC!8May@Tlx8-$O^qN(2J^pLudqXX90;A}6t@3^l-?Q=-SED|#X>5DB
zupJh!HH|VB&=>ImYrgaxMKO<148q0eudMvCUJ|_>3R9wYTJ_VQ{%qwJlxoX-pUd3s
zIfi1sq1YVAd#s$-iOAbqF)^N_DP|kRd<i+$%3mw7lYbbKVF_=6oM~mVrGQmu*P2C4
zp4EK_UcQyT=zQaL6Nki9NmXNDm1C-HwIj4P=!(v#L3}a$SXLx*46w3$=RiZIn4wmg
z2I4R)XK~RyKI}`y47aJ-b`<|t)D$zpb1cQ?Q*1dhA8zIT|61GWmbDLZ9A#zmm|$~?
z_Ss1uGu!I0b`~?o%Ep>Hm94d@SW+`-p$KZJnPA@YB!b%FilBUvyfzZk<e5paQz>>X
z<Yp_I1ut6(CxnVQ*=lEkd5V?iXamjD?>#Q?Y^$0N`5Y_PyPkf=?}qL?YrFbEKHoEo
zVi!?t3%r*$UsOLX=VJRHLcku=>N$>Lmr(49p$O{KPy~f_qnNdpaT3O_a|9LB=9x{g
zr%)^mQ_OlRpJ!?wK2vYDI+&)ITdaJE&eTu@6|>nhhho=KEW*y1b}L`oHG+!SVs!{5
zV;;8hjon<g!|HAV?+Gh!a<0n}RLs*h`A+t(+!0jFOP*SaeS~7+w#B?`<!ARELB(vh
z9E2S)Z&(?T1lvqrA&z;=rg0Pj_>S#|Ga$d~nMbkjQ0#|L`RF|}l0N#{Ofg?XqK%+p
zc34NV4Ou?&%%|8L6#I#c?73Xz=hmmjN?yzto&^;9DaC%)HHM1$!SYTA??)@2(>aQY
z`Q2);f*JFNl`ljE_Yz0NMpzD3Gh-vIyw2exAMXCxD67CZqp(maHqI&*YAhAQClX?l
zJ%>?r5&j^jSb6gQ+i0r$BW1qWJT2VYHJs`x;gp=c;+j-=7E)X>#g#%1TDgxIU3U8T
zU|D&coVN7E_Op5zpxFLa9&EUXr9zu%vHMvaT(8*ut!(Vf-cOi?9#gSnJ@piKIK@pt
z?r~N=#$3hi`Ntk<RWL8HldN3BG&V%+`Nu|c`;M_Htk1_DYvsAt>|y%G&a`Q@TtVRD
zEIz`_(#?DhE;|*y5U6AA@t#E#H;>}#AuqJ@B2zaFp<++4$tQr)WMv$6kjTIn)0c}m
z(WbA4e3F$f(7GGf%GtPeHnn2UwZx^!be@&nepP6kF0oqJuh>hiZ0wgA1jK)_Yi%kH
zQJC&(3-mLszt*N-2+nm@zR32LiT{S{UX(o&=!@OxX`r|@6bF|o_BJb<H8pXmIvor2
z#olK*kAi={m7nXj?O{g)eX&njGR#Em(^kGqGve_VYX8etdpDTdto(qBDP#Gj)jR~&
zTUOq}EYnMTSHELZH3H7{R<I75_pN5Fw-O1u)f2OobzgWEQ`}D!ho~?1ODj7^%ur9K
z=YF!v-$C4I<-fI>ArC(GPtnDD!28R}rj~4hjZxKOns$XZF3NKP#Ya(mN{25l+R7PR
za(8a7-NJ~=utc;xF4M{tS{+xt<BF^@2x767owafG+v9>((+jLhEBCfj34VKAwN2|I
zT^iTZVmW?lTV!3DxIvyKitkJDuqbi+T6yT+8l;;UaicABIC71#^2F|1G{Gv50P%1u
zPf_BUHpg#|n`V{MK%8#nV_c0o+NK?A8+EM3gN!v1AKQo1!@jt=o@R=lLGf7djjOe?
zbD#>n9Wsb<4OTq|)J7}UY3*#8M{$`eJS`Nzh~jUCe4>?a?L_2Vp174(c{b#;t-MN!
zo&5H=R!dj{@)|3jWXNIOP~7EKcQSbEth^FaG%Vom#&3_i$&$}S#+$9YR%?T<aPJ_*
zZMKBVL2kG5buO~H>~RlSCCo+K7AqTPiid_D+HsHA)SK)8{x6q3?gg7+BQn2e<@;UN
z4y)+vmhb?`+pYY#i>y=o1FOT*Z`_AgHhYIoJwLLkTWvl6hqrETok}(aBW061?nlpZ
zO30&xGF;>*EBEBe{F_18V~Kr`=^rZ(bG1MXS$vFD9@ycFkF~P1Nd<#o4mHQ8TFn@+
z(yXij2n<4ehD|$|8xEXhvESS~?pBSJecE`xX9XpUrGz8F4p`Z&mHbPq;(J@-3}otK
zW%rHe?zi~CmVgD2`2DQBM7uyuUHk~ESq9cfD=)W$#Vs3c(^lA)9c1wYcguo2UWb~U
z+xUr|6Da|Ic!0+rVP&(;-d)4g+{MqdOq?}}pJiqDtr6C;1(tv{jrck%-x6w>WAfrp
zuu4q&_$DiFay72SrXkWW!?x7o(@o=KX|mN9#iy#{Psf&T!e&Z%1o9bHeoQYKX7u9E
zx9a;qU2Wxul`2LriqA{Oul1Zl3GYy%7xLv+j_O1_or!IplPTeGN_Z3UdMm%J#7;&p
z{tioc7UWG<mSvSNqZfa-)olas9xK1`e=vISPe@f0K1RkTt^9-5rjyZ&f6)?t1o<T^
z{~kuh+|j#YyCwVy@*5&2nq?3kAU1sQZ`o9JBL0`*i~rnnDkVl!Vlpy+Vda9b>xWJa
z#{Xyug&_ZAWwSbLR|wn_{ZFfhD-r*fm3wo+PF;7~RCW`%{+*4VwF^O<d9cPVA(lL+
zQ{qTUJha1?5T{@g7yEDbPeQg*ry^gD0{7yETD*jSYUhJmqF|wRiE$a`nKKXx)vARJ
zN$8<Kk43{gB=pimgb92LCG^pRv0(-RO|)a2upfEOpu}cMJO%Xq6|CG_6RnGvaIi90
zAsgO)lQJ&XYGc~D`|$`RtONT<1&&2g^Otb6s_>{yI7Y#GJ7C<x8Jf7kws4jvtZ=um
z0xc8^m{3QaGb!-~O5B9($15;z)corhE>r6L$hTa<Gka;_8A`xyo^YmuZOV3eehKHR
z_7zZ9D|p@2$O|=byKUsfny}F{QjAvgg*?LR$a5AYzCnqf09>KqGre$_DNI<edhCTI
zY*1h}!}yl6<?;cCggeM{HYE`yRRe5NV4n0Y>N=)AK%SM9_&Fu+0eH}YB#&01lR->)
zO6lK&{<MN$3_Z*wCOogoU%`Aq!S4TqQA~JCYaENLZ!0hht=4$BU95zUl>wuc@QDIv
z*UC<3y=T5v0=BIZzEe=iE#LuT%b4(kCRf>k{a>arVK;fsp`>1vG!WVMC>W{T*vXQ^
zh+6un4qsx7g7GeT=q5-^RsCTgrztRoOlzE&p~;hNjXN92u(jNF?>BfMf>-0#c%#j~
zH+%WSsgK_D;-qQ2FCxYphktRsVjGcS6chdASw%@xDCubCM2@j*vWca3i2!E;63fVQ
zE+rj9N&GHhr`eMT6L%gZ&7!0lFncSQ-*xsR?xRXBbAW=yI(yo^8Rlm4MZSgQ!?w0I
zUmS0PBo495Ox#mL$#Xs>oj^%V&LW|{`RGd=V~O1V2U&R>YHZ(r^hJKf<;y{c#POEU
z-<vEaArh<kViP^bQ|uS`gM5U@aYfGRUH{No2z%}UXSs2#-e0+dU)%6cnS4;M!FcNz
zrzI9Q;;oD3D!=P>TwmfbTDrHG>lNYkqn-9NM1^_%m=8fD&L_`>lyp5M-2kva!A9=V
z_D_(Jm+mTXSuFK2y-67`sCaPLykbzpR__u|R3%)m#FG?Y4Mh8>yEjCu8ycJNo^;)b
zwH#n3o=2XGC}{^JeGUNADZm^h6!Wd?TRmDDVexC5M#<5R#I?%(85u9PAlaw)2irO)
zgv43lx<!1o8<ZCXaHE1$&BWF;)Df_XrZ&mg%SpUbK@OA6O_hk`c1_N;Hx+!D#Je>S
zZ|s;m<X)SQ^fBkvg|W~v^u))=b1^07Q!*@0;^PW}W{ARC;>rVqDS2SQ6JJ!Yud6Mc
zy83nH3`U0S3XB1A+ViF+kFr&VZI!DOnyTvpR@`{*PFT`4lstx#u^f{4sRCnmtQB_E
z7lu^Ghk*RO0%w&4PJ($AF>#lwaO^ViHw9B{|H?8J_9^7dS>iwBxrCCZQ}VGLz9f%=
znb@Ydmb*U5r%AH_q7>Bd9L1v}35Hd&&*tq9eVZV_r%97wFfXO#Ih1@VK&FDzwS&#m
zv~*D;Pva!mJ>lZOViJ5l0Zq!~iRG-%CRMAx8DuzmLSCU{^n`hhF9{Y-R40K43nu_4
ziFj=AhO#edkS5|35%;)uV$v{GoB`H>3eL1y1I8@7H+z!c@Lfj9XH)Wd$N+~=z(um%
z)A<7qzNCrDz-C7h+&`gT6WZ-bnxu)>x{mEsHY{1h&Nm-9Pnt=d%PDyyCEo=AKTp6z
z+zsNY1o|)y7E3fw0l?c6U=}{QOtK^xFVQ1#OoH(e@MM>+g|!mZR`5<%@Qm#rIqkp~
zKTTDe%pR1DA)NO@l3>2pQS!5t{2!2Ez68APv_Vg2l`X1S$i_GcW=lA40>Equu&+47
z4u@vRwW|CC%<B|<Wj1ib`tc^!eGTHx3U<2MY;LS1m@v88FW_xf@T+Ze0TS=h#9chY
zkZ_MCyy!Mu&dzPpqvW}Ql7FM*e?W#2Ga$w5G{4mza7ubsb<rR`ryx%2$eX-z9el-C
zRELvaNv|rvLzOGQ(;izfN&nS!9L6;Dgf)|T{N=7^RV{zlWHLT&!6ko4o+~LOl~Qs6
zb|@(6TGy{sR}SLW3XJ>56ApFl?f_}h&&sSqwqF$N7pgg)7fCQ~Qi=U-&41T~OjGkt
z+epa~<hhzshEU4r4qtMl0<%Z&-0aD*nm!JsI0c8GYsBMEd=BkThFd5_O#?_*FkOd$
z{ZH53nOvX@98F3tR4`TPury{PD7jo!M}b$N0PY_*(4HIWvT>f=pFG!4$_z@Ghg|z8
zkgzx`NJt*6O6;U1Bbt?LEo{HtI~r!m%D$1BJeoY$Qpz$)ISYBlC~&QdsZ$Yp+c6my
zP4Zw-EEyI}z}4DbbWix>G#SCHaIQfH1hWEe)(ocW1MCGR&r{`X0Px0ydAl-EwAp7$
zUaYEH!8<{Lan!7FH_wIS6{@-eJUC%eo-Vb8j%xLS`V>{$RkvhVG~u7-zEwDy*WQCo
zyN*&eQwq+7C&Q)*Fg7&YC3E#2%$m?(Pm^KR1ia>IVyE7_UOE3ohBgJ}wG(cu^d6rL
zOuk)}p8+6jm7+h_q7Bn~1T*hf<wpRBT7~(sGM#?zP}PUvJ)vNS^7Q$e{Jg4Qfs<cQ
z@Tq%h+i{Uw0cJ@q33opk-j;wbEkBE=EB<Tu;<!yR94%3Q#Ysqjqa_Ism~pwOeO;UM
zLZ`30_>#XM&-Ik@HKkzPF8NCfQlqr`d?WJ;u@2`?%7E!j-l-s&>83U?OUW=-rpQzn
z)V*DHk8<D+C;y|M$aPuQBua@<LUD&L1qMoruW(;AC0>(*(g!JtHX-E?WJ*#kHcs0*
zT9E<^)<&s4D0QFq%i7v+!Un1Rsz?fqm1qWm24f{)e|RrAjLMyX9!@FK^aB83wuE#b
zSIHbSP6=unsuNy5*4c!Op-btj;2=}J-JVI=SCbD02Ubfmm?NK3{QjCY-ZpoLCSXM%
zWvGHfS<ACpeTOQ1(`ZTqe<O-pF_t{*DRm;H9t|)~fwRkp(RaL)lp|GrJh+n-G`fb&
z7@m}4RfVGnFv|7<j`u3J*rR-PSTDKyg#Zf_T%;wMYKOlth84wn&bds<IPICTT!H&o
zf-_K9Y?F&%S0e?BZ352Ki{Sn=@4uzMHi_zd@K!5u9r;YTP!n<HlW$e@jt&=$lw^hn
zo3c*9C43Pc0B?zNyJFKQ<timys*@2O*#=6zj8d;@=leGWYj1+D1Hjsw0Dh6MUAH#k
zH!u+<>;_83-#q|`F$I`Y_qK|Tf0Y7@ChAS#KA_-k?Fn|9;<LEW$5n^b%oNx+$%Rl{
zn<H_P8A)F}e~%yq*6l`0eS}h90f2QA;5OM|{!<F9n^2wsAJ$F4e_VCx&MiuLUzsrU
zDIX~KBvi9R^BDK`Fg4|hVX;o^+fD$4m^V@Cr<D2~I?_kd3?I#R*szA;63hV`*6?OZ
z{hm_c)pAi^t3QH`{giLWa|@;JqSU{j?0l3jWfyriQtEC>!}d_hZwg{f^TIrml)qIO
z2j*@CX^uyNQIX&@)kmJ&C@quH@;iK~2tEZA8nY3)O;cg%L{kJ>vVu~+wDEUSQ#B2*
z*@Pd`OU)(E9hBCe(h$_A<|)9pKxAbtYzR}!R6h)4SU|~naMw1bR;zL>m^~CsblS*A
z2UB}%I=(K0-cE&KlrAKIe&pFiX-87pG$_5}%pl`~Fg$KpJT%|i!@p<A*H<DQG>eVM
z2E!>~F5JCTxO;a}+H^|8$qBx|0lFG+uoM$H*F<H$$n#N5TU(ni=~JeS)TO8o07j8#
zGo>9%X)~NPKIdhs)bYxE49r6nJPqrQl`iKC2C0)(1Menvih>t}X20>03cD%GY&c+@
zI#a<mZoTU}FR3-E`42y2a2fZzSgCcYeHDcquYgZXI)#)#vq&}XaBoIF%)Kisk*V+-
zr5bm5u@lCfk~)z)Whr?sprjW30l*jw2)&q9?jOw`EaVrncnLDJAQ|?emV5m%6?WPd
z={=BZ7~$m$+6BnovH&@`5zC5L%;YM-8sAN6S5n%w02e7ResDVsLZ^ku)GL&+8T2a^
z7(>bZ7CJ_l3ja|GegI4uVgZjjy~c3}&pY{M#7*K?g;q#Y+sSherF}qYaNJVwQt+Lc
zHas;#%Yvy}RFD0Q)Q1(A{SEWrfIpS`s3yY>8Q&%K3G&=aX}?q2pX|6euPLTJr|Ewq
z8%(kxrIRrc0e;}8zM_c{0Iw>D6zhN}ITeOka-sW8cp57G9aY7E_pX9OF+fs046Ni%
z0_9T$#yu3{^SP$6Z^(XFDy-^#l%7iI>D(4;>weNiwhVAHg^_J8<#;5if2bk{tUnbL
zh8hFoDmja|F}mKupElt&qcj-N`zgJI(yIZY74$Lr-9A(4qMF6bhs!AZ{s8F;4seaE
zQ@6ANRSyBTP=WK!37(;$SDVt{EK13vz^+taY^n9$>=$)<&TDF1#LhT>yO8U&kCMj&
z3{WuBRVRH-ByFf_v3i*{Ou-zc>Rd}3uE}%726ziZiyM*~JzCZF+-llEnoz;K(Bbp6
z!^rahrO%^uc#CNh6yQUtVcuxj@z{#sW*n`IMF5C@C9nG}?Q&<>=Bj!*xU~vS(I)dD
z+_YRS6oyU8ISrse!5Q3Iv<FL`X^S-xi<#}-a-=kA%2}LZ_Tl(xk+wu{!W{rGe-Bdn
zN=jd4Y+_0wGfq-d@gBg*<avnF&!zP9x;`k<Rw}at%(E3dBNjYliP9Vs_bhmhiF=tV
zW*!1vEPmQLEetD&X^zQz)5(FH*l$d`T50CpT-Q6eX^5o7-rcDu$J0*b#@$GsyC`iI
z{s3-LaD}t`G+^%r-x~kQ5tBxZ8|QDTX_#N@Z)~Vv5x)PFhBZWc1#j2$<JEP|Q~7f*
zV{4alZ5}4iBb0s@rDLxs?GXj$m|HitKkXT1JO%o*3ZCZ)6K?y{wy6@2-L(HGc-85@
zaNDnkKzKuFk=cPtd!IayQu+s!{wWH8gDT(~b15+?_D0rSq_nS;geO26jG^TCLuYf?
z<09>6)gxL@L!52M86GB^IgQ6f8hlSlCQd@a@0w``)6@)x7KhU#$nzLwL{J6{dpgzy
z1tfK?v@1`N(o&HJZl>f33*bZDlAfak1n}wbGKC!$z^CVHvJK$VVKs&4HTBm0l#@?J
zqtam{J1C=yGWG|kQZPijO=6SetC<QDDO5zp=`fK3+<RNDcEL!BzBkA)k^%;3xd<1{
z`gb}EpQzv}ryr~U3$$h&Ok}|UnAF2}AlCx{v}8FHV3L9fTC}0sEueI`e8L?H?koi+
z&arWwtIi8lKLTVpeUei=anwPVpwi*Zi3&@*=`eHxu(WIH411W~qKQ~l;OjWeg*_AY
z;b5JjV4}@xwt!3_qs&loD4EEwS*63eJwX|hC<E)n>E|fGIc4zlQBWaYC@;fK4u51S
z{Sxv#MHvey173Ujr3##9f%skc|K!ZJz#*LBTIJw@kba$lleqeAm%P%}V~JVsm{q%c
zag#T`{jPT01h_FOW;Ngokh4Y%_x$6Hz~?T8!~Jg^!M=Z0X;aNILq|Qcyf_GwrHd%|
z^jf;N&|4_Iv!QRFnaA|)wO>uIc_VrqG^0mZAHLzz5i&~yP6mLlCg38|Svbp&ro-&4
zZ|xQKf%ZU)x7Tp_vm+dI-9T{Fq?9!%@-+ola9O6`v6Phlx+Y(V1_HmK!_))dP4YZV
z8COvTcF_16CGhdvy}X0m#!mg|%!j!WtBMC$`iJD%N*UKt#`XFDE1TWe$cr!OUnuW&
zfG-u8M~QvY=4Y;!gb?Z9Dd9;y&5-^Qm$H*Q4^#ST`~kqO321koD1QH_1+{Y)`s?N)
zh_KI)x@P{oWZhg7RJfyu^xay(>TZrN^wTe&PsWGO$DFXFhMSQQOP-f0vz0P01Bg>_
zlNp{*&^zYq)`(t4FgZi@8v!yEY_enN3Li4y_(`z{G%^Ym+{fJ=_8yY^5+nH%Fk+Gs
zaYshA0(1B@{3(^uPnC~?*<Zm^T`nPaihWA;2pyF$ErO@FjWS=M%r{WT2nA;EFx=(r
zbXFn*k*#FJBMx89w_q1{g<8BWXC*S=-$|z5km(o;vLZASo^oZ{)pJ!F2`bz>lP@cp
zsb;F<8J96%lW~g3B;uq*1}vX&aioZEfQ*GUA@eoPs}DX`N0@$xXZIh<ileL)WPxWV
zAm0pa*dx1hN1UNtth8jDsi3d6DJ-u(?lUe{UO!}NRp30gY)6=iAxf3H;2D5B*8&ql
zm^O1qT%*Y&xgRjcxFcW!CF3YgLIOfsNeFw(B`Dj&W;WbLo>wVr3}qpV$hcj>kzG3>
z^w`O`Uujd2=K%$?wf$&{tE<gbU>M~pbC3guQ9uLdFqP*PJ*CNww(?swLDp&1>5|Hu
zj)J518f7h}tfk102v>j!2*RhbtMczE?R4aMPr-%VSKeIZGbLSw9G@$=GOY5jhH~+%
zY~|t5NkUWD6qL#zR?}iW518=_dA3v53zYQ=ivCr>yIi#OAW}Kl%Yc;=9?myq>{0Ng
ztJ1D9&5Tw8R<1H*6u3`&S~fQ?GgS#+0i-D~XQyOr_>sZ0DHG;TYVnf$7(>;fn&pS;
zr!X^%$@3Ovms2*LJ(+$5#*Na0F@a%R7?uNth$mQPPX(j)(xib(fY+BfNP!boW6HUk
zbf6MOgAIEp7aAWLG4m7*W#T!SIhH(cQ}zVP#!7wWI0Z*>Cf)!FyTB3Td6%+lDZ38b
zBNZ%WE*CXfFS#$k6!N@B*(XqTi|xi~stvlQM%moDdHfa4%o_51NZHp=_6C623T`%K
zi>oM~+suTO6Cxf>ne__pV4~ZF%WP5ACh(Rh;GJBy8wp5Uriq(v6<27&b*74)&J$#w
zMV^l+`!34H6DxD2f(K0%)pN`|U(+7}X|)1gPBX3WWsKw2!p)PSUIe&I!Asf*^n3XH
zg3BlTC%}ij6X1MS0#`S?sF^pb>Sge5QGj(+X|&8~_rj2w19y|>W6FM&vfoCodlY<N
z8fL?gz!0wXW2(aqnfbVaFI?3&dt#Z-sS3}`%;yz!b1Rz5zovvQ!Tzs;AGlOgZQ10I
z=S%p{U-&ZNw|zp{J1Gad1erS&7^kz#(>eT2*Gzb7CTsTZ$ojozl}(E_v)$Fno@f51
zBy3(}BFvO4XLfFW7O5(`!<U6<Q+T1nkDTn)<XmnfW~6!T72kET5m#0Mc|N0@0hEJ#
zKPyqe0iXgS0+kWNZhck?c|NC{A(S(M3qk_SnP|70dF&o<wtZRf*}kBhk(6@?0DLw9
zhr7qydpr|^s+$H-sla{g#f*0rJTxf-kH)P23Y_yU;btW3043nmOV$tt$NgW%I}7IO
zOUju;ITs)=%$0z3Is{=(NcebXO;t9mR~D?1WIa){qLQxhHvM#*l1@Sn7%0hcjw^>W
z|9DlM3m)u~@Xm7@#N)k4lh5DFc*8_}O*uDF&h22sFB5QwjOcRhC0OY!n5l0lXA|Y%
z!-QtMPg3ncX1vAFr1B@ZvS72mrJQ>x2j(birGm#?O;8J*b)jk>02Rw`lFvBg&aKpW
zdzydw%9jP}B;>~dV4VbP(~Fp6>ds|0svc{0S@6Sz{9i*3+bhi4tV#r4S?vnm!@Uyz
zvTJyy%IcR(tvWOZ{DCZZUvi=EwN@B!v&PCM2)>9_{{Zl!0<$l{ZC9?D6|bv$7r5IM
z{Ke(+c<_p2)|;CAw;k;vNPJrpciY4X5|-AOQS-iN+zaqNP`iyy?kpI%?<i*v<zjiu
zK0-2o;wpbZo*yVTl5(*kmGz~9bXW6wgu7i?KPkzF96J@HXbzb+>3k$N>u=ST0Kg5C
zE0rlVY(%qTRG-n|%Z^oG%pG><Tpu0E#wwbWlnW+on1FzLMAiOfV+~EzSf<X-RluJH
z;7(3Ak203b-gmqAK-tZtn`Bdzo|88)BI4x@jEH^Z4UC8x_6>})%o`ZKh==62zI+)k
zpxxQ9aT1hn1E?a;kCYpv+{(^t0@*Nl!oz-kHVmGC7q~tW_4*=Su=BwendnW#^1w*G
zRkH^x_f{`&31KlJJDbyolIK~<SdTw|VdQy<GB2Rai=E|xulOVO-T$0f<2--MGI{qw
z)(x8NPozy6Giu6_<0c=qzkl)qEG5ia(lCdAbi@7>8vk^f*<Iw{vT%MZ&2N4z4X;ux
zZmPv^;<fNkts#lusHkaashP8|xwn5DejB5HS<Q-OKYqFmDwNc+pcduV*ZXD4`BA6Y
zjra|=P=)+WwexG5=GNCXH?wxxg4(89KRbW;w*fyG;%}UTUu1Lr0GsJ9n0wnTUO#tk
zgg1arv%92&x~y~P@#t*0qPr;f2Fkq!-3eDzz@t2W+dn};=CzI4e3+VV|Lj@HfP0k<
zt1t9t4IR6s&SrM@eAPV<;sOQR!Zx$B7i&5!96VrK+H20_KsylmWy3+0>-?8B@?rk)
zy0N**K22%c0ZvyS!BSY=R;liN5YJWcad_QYHT@Hi)+qSAbKT&QO5MH))h%p!#T9sE
zuP4uMl=}<iVwFC7g9UkHde3@ooqjqXdy}%f$a1Fw#}vWdR)j|90oB9OWk0AOo69%0
zfID-GCg*Sx5+1P$xx0*Y?HWdBKSQ41DKD4uut=Z%tO8lD+)K4zQ&ttSz*Cj{1Gy&l
zF(K791NWZl2Z8*)0<-ktR2$Y^${1>^{gEc*yQ|&Fl4pNIo<Aw?K*}3~qQ6xz(dqG4
zU&gWA3BRc77=T|D%y8A$J&t>nFbV8`6qr~2ZR=doW=@O}W_I{;VD+U!wV_dwU;|2c
zvZ5TZ*8n;vi+?0CZ$9NMLWXPwOHGUPy_tyL(59S#DpvxOC^)<OHs$nC!pUIwRB%>T
zHV;|OKqZ_5fOuP~WL8OJ$jk#9v(wdWIk48dDX*3Cu&|nQpn|LU5}hOHoP+U0n3Q)5
z<-y6zfpHUH&ZP1657A4m0KgAMdMNK6%ERYlc}nLTrrNNNE~;adGmR*M@*bqT$H1Mg
zAawLt-zUhaQQcM$XDfJ4`$V6>ImfFC#x7@}0zBkQUm$|cS)_?C+A20`!WJ`qJ4Mhr
zD~P<5_cG<-JX_9*3SQ?cJAqHm>6-o)NM|VEV?5%aWb^J)&Uvc9v6Gzh6}Z=i!XoG#
z{G6s-8rCuAG6kQz8f_xzoNH9|6?oSw_*xq+lUgGxwo&{5$+?xtM|s~--md@~75r%$
z=1kvR%)G}c^CJN6RbWn}*qhA66giKo$^+hG3XD+=zZuQ-pH%|vY0h&B;`#b!u);!U
zV~nfjyAH<YyiOEF`AL)y7cOVJf>Q0BFngTyf$GaZ{!l@+i!4p}QdK>{`$_?JeQc%R
zDCc~m$-Utsh33Fcq8Q2_Lit!G%lTQsD7g=Qwe8E>4dpJPSjrzw`FOq5+$F!OR=(Qn
z9xA@ab0di2DE|=3M<@mN*@9_YD_yGdMe?by+(cF45I`<o_m*rXPIV7eZnmmsfS04d
zeI~_aH**6@r~$h~!2+jO{>M<|_9lv_{DqW%0`m7!aJsAaL(ibx!Kyz4<oy(^a*@qY
z<&IR<dEkvwaK2M13{~zJO~xVN&`{;#SBDcR|4Pcg9vu9Puz)r*7`caQ`;LYZzaWbl
zwx05DmZ8c$Qnm7l7P-AMOy3_(luY@zP(BaDF$$c+yO@w__j2c|7B)4vR>5X%qj{8v
zhln`F%yDaOi;@v&<t|ZREG7?dSd^0svm`Zo3S^ii0merRk8*O)QRQ=Bu2S#{oV@=_
z+?u;ibG(M^S19;c+k>W?V^@6N=dM>Z+_~Hh3fxxEaLvTOUDaQMdxwJ1G8>Qaotpe3
zh6qFGMckU(u8BX{#PGQF5gWJW-lx_QesAvmL@AWNlk)jAv5agEze<%0Tb4%ozfl3A
z(A>urM7x^T$=k_=Ju^A-|3HrCHHUdoj)zGK&pLn$|F3GZ0ASSQN)n288Bv%n(c>IQ
z?hXYBrY2!=Ywl;NgsYkRxq?jhh_12gcDX;O8ZmC}j|%c^*X=cKJ;%na8|{|^zOiv@
zwvAhdB5pO|;`Q84gyiC%?*!OGluiZtRN(yNf$m-BMJW$so)@j)dmdShQ_a1H1Yg7j
zp*S@!QMnx&r{;c(3+JVgXD8)W;}0O6Jik)z^_088iBp^ZXPnB<O!?)4|8tz`%F-oP
z?G!QQ6*?94`nj255u<Kt+MhVct0Kyxf`h4GJX%w&z^q$_!bEJ;PBL%z=M7K>tXbYb
z1?GVezGa;^M3u9_9I9YJsNcg5)vAY(JB7O#eqS~foJR#40AO7O+^9E*neL_dJ#^;6
z=MyzH>GGy4xHya(ewZw8j>AG0*iOlB_Vw&jEp%Qt4-TH_uL8M2K^vEk|4ba4w^)<c
z+c}=kPEzR3^zr*;c_%3gMltVX1?EtiQk`w|(7t8fdCI&A+2H0$ZJg(TG4A?8qHa3p
z!Ga18c0CUkRDgTY)73<nP|;)YG7lzHz}B!P-l)m?l5-)rH*4av;fIIvU__;m7r@%A
zfL&znGIRXUNXKw5hJ7{|-aF+`!8R&@?azBi!JByA;*3#uuZZM5p(J?Ac~2_9dvom1
z@HSW8)0&94<xDwp=s52sqC6`2l?q^1;gehN7dT<Ps`rfjc0}IW%KRJI-m#!C$vx$q
zfpkXX3*{vv6Z}GR;le!4#QtUIHv38S*we{_Cn)4V*oge1$tAX1c|_m~3b&Ly8eV7K
z@0x;_KX?}YsiUzP;4h+lDlDhMN@H1bHh_`u(VKM@01*{XVHFit>k43n^ZrAAtTGpZ
z8K>Zc&c|Bw(^S<2Ub+H&xo&UATJsB(bRu#TDmc^0ft+|)=lfN27HeF`TJy_PbCe!y
z&5z{9!QN$3K@t7{VDALrRXjXd@HOAq($G(3c6yNkuejDWvDx&y&mrZ*BH9AIT~D!M
z=D2@QCVx0lF%?ds!lQ8Y5env-nfeKu5dJNdeAq#uF902OP=Gl-5pHesC#iBVn3EMO
zb^0s(7^_;_JU$kcKby!;h3kmVH0Q%M3J5bW_<49%)~oUw02oGLUaNE1*yV6ro4?#)
zA<GH{w`i8IX`g?l>Td=4ECqMEr+xm}n#^0)+`dk>Hj4Ms^IMhm2EZBxZ|Y^kZtsw-
z&A(2WFq`?;E9mGpo8H;^cPI}_r}>){xOcKccXmFULg}@aL4H7i+50iAfqRt?t0$b-
zZ4+^4=Rd58+rw>b{!^-e`OAl;ldM=QFy;N5t<8tY3sB*EREQ()`P&rWljnQ0wfS!-
z3ESWKZz|XovbFgzj#B1tVYW8^Bcf6&ilm}w<osAcY&W*n+%eYH=6|ouIAnukDP=g{
z1PmKUXGH#19(UYs1(iCCVUw;PO7&RLEQnUn$35u^VCdw+eM2Ks5U+{-cpAdi79?s)
zf205>>u6jFkU~^OMf*_EAY*HDA7DnN-l}T>vWUv5XkRKC+||~?WZBz)1(?MOPU~!I
z3xcY`F{gq`1?M=Hpvx-+1^twCE^_o&(CXw6TU!8cPwdYc*0^kK!G5ZlueP=zhZ{GH
zsE7)C;t$|J1)<N+@7>lqUz`uKwFTp}jGo=t+G_TZo%2WqQ-~_5Xekxp2~sds!Ac(1
zZXDZ!<CMXjP@~`?L&qLN=pBuM1*&WXvrfU~PIrZyT3vMyo$M`GMpQ*b_fpXo6af1u
z;0bf7Zs&6WOremTMvj#V{=+%CIIIO1s{R#_FH-OZlZ{1yg(-k}lmhXhh?%LEXu|zW
z(}R;C%UEy?Q8g94MMc<3F1S{~r(G-U%5$sIus~U`QGt6)*>&K#;BF;g0kPm71%HRt
z`#w$P{bQbDu%J?{cTBzY!IoRa$|s0=QqezD91j4;P(Y%)+hntj$uFuN>xTt!422x0
z<TW<9EqGm3N#Jc)kj#CH+d^J2c3$Bvc%P^j6{k@#qVa+c6y(6_IRzrJ7D_HCh^z%5
zS~jo!7r<4Nlzg_Q+Q6h8T<4#OdQ))$74Hl1i-P^M&gOY+-!CZmN7a=bzCw?J9?E5#
z=yXOQ?41;hJGT&yoq+yIM%~S)L<-^9iE03NaO?yOw4H%A7iMbWpzz05A)Gp4?++G?
zn*bc{G5y%}6H|p1M181u7!_kdv=CNKz`^pc>hg)H!am9v3wmD#Q$kOwLYO)!V``{p
zeGy-vV+)56^`+uzR6GY@r~>1sX{gp3?&uVbby&y(LnZl*uV(L2*JLj|QVES<!+8_7
z+3Ydx$4v@1(IzjmonkzluxP1p22npMK9Pz~MTVIQ&XP{)E?O#_r=*q0F<-%Du6}_{
zlQP$aJ;Cv-khBjKucu-JqJ>QgZo#$8MDrzQaMvNq71m~elNGe<)Cr$waOQ-3E6C?4
zFb*GgnlsN}#)Nklco!?+!#|;$&KrR464l)U1@L9shsOb|B^p4*_fqi#qFkr5uG|<8
zFs{`5nao<0_fxwR6^Es$wzf83J})B{wyDv-8(=-rKq`KaiXZCw&@P10lZOx-fWq4p
zTpzX}U3j;qw}Ax1Cpm85mYEf*E>G;jN0h`P@u&iP!N=ynzle?sJ5+-spZNGeUtW}u
zcQgv&C(313=_9-F25#E(L_sRrAAbNZC|KfzM}zza*S46m4rWCvbk-s4wQqhWUC%-E
z@%OI^dx{snuEp-}?HV!lSzI%Ba^pz%qr7kj(O|f><i~nxA^b=I89b%Bd6XA^ql_HT
zzg19V=wXlYLfB6!%Ma!+3M!m_)JM67W_?>~ny_gUR=XmP=7V8{9kV44*2~%V`-@^!
zgPtvlRe()zU5D&;JuHTQ!=WgfXg~7LB!3G)j)Enwd#c--1(XRZR#c*(S+n8pGH<pO
zAq<w{mx9+rfm$8sk><P?4kwoOC;y4$ht(+>puk$4E~dB$)>P;)IYqFh0^mmS0P+G&
z5u8Iwyo60ompAN-#uE)8|8?Zw2=bu{Hfu}59Qq>IO(ApF!SfSvKa-8QfNd?BuE{V3
zZ5^#hIhJTB`L~e&v9LGnix3b?dIv~z6>LQ{TieVl@I?zX5htOF>J^x65%UNyYS6Uj
z`1)`TLOr=eRWBj$QU$M?(p#nYQ#BO}VnwGZFcG74-Wi&Pa8cR<vpS6Y+sXfS=nea#
z3pDXvlmjPG81I`)Id8ESU8V~7c||ao!umvp3Vu`(jHaZ0%8jw^Z7&>L!Xc&>$Ner^
zPjn#pza;-o<k_I$A5)Gvx#gWs#1w6^tUv^^+^HbRHOQfA!tXQ12e6t}^q>M`5}YyK
zqRE+@1Rl($)aiR;@70%zy@r*~5Dlk576p0%JgcC$>*`$_`HIqTex~SE1wCDPy1g&o
zQDz@xdsl(^l9W{5oUsU-C!Y|Fpuk899D*#LDmWa22U^!V4pvX-6G8t@!3@_OhfrD=
z_=<9?4r36;cdmSGqv%hfQ50yPz=<g0F9m0G89@CsWpR{paF-WHE4WBH!~JQ>;v`k#
zzAHwIEZ4bQ_pu6J#&{IN=1DqSgJRe`0UQ5E-xkB>33DB?!R85YuQzoW#$uQ}q1}c&
zJrz8_mkN!C^+$}wEFP$&hmd2Cf-OvkMeC2m!J7CmCm~^fO^{zcv^P!<?(y2W{6ygo
zR1}XU8cl&mDDWJ>7zJ{(hut<f_&2A9H$aLfDho?p#YZS`Z<e}-wfJZyV7s*V7zJOu
zy4AVKiec@fGT(w*tKcW6U*KaD!-EvgPTNj+kCO1Txyg)cSRp?K$F+suIEDg0Q{XRv
zW(!K(hdMfU$;nEBStve5fr;WwZ^N7y!z`LoOOm+%<p-p_@}maOo~5@~0l-S4gQz5#
zO0t;xf}CbS`YL@QV9%-eT%v=iB%4YKWbn?{ha%j_;?+cBsicrf{Kh9N?9c5&L@lnw
zu>fm`#!*RtN=mx=gvIbNg*hC|s}vm6c_F75MpJkPgLi|1!?@PnyM@JfDCuzIfHjru
z)0`a0$wStzn(3^u3xx0w@9|<MK@RB_-=~~xZ#f5UZNB2mxS3ms_NC&7@dxm*1%8j?
z9}f3VteG4B4WMOpI0ai@Tf>IMe`0M@BhJb;@*BR3Yv<I>tE-(WzvOORN%z`%@mA+*
z_@#E#HNwklXZne99C9CPz7A0g(|ahD98M*ZP^;Gzm^Zi_2T|WPEq+h+GeCY{K@HF9
z@J01v*jXtS{!{U13hJEx?Cc)$B{)DR{z<vm7b)JUps|}v{Gm!5Whwqs0bH+cy~5B}
z9YbFq@+S}-MkQBJ2_~*TQNgXQJ6fCW&r&ViC_fCW<lE%j(72WSxtffip-mz?*TqUz
zi)Q-E6d2#iM!DJv{$8qm0My<J%*zyd-}?J%@*`qB{QWgyJu<<~lo~#Ys<4yh-<N0t
zm2^<alkFSrM;skr%0Eh#TfrQy;05F07+1;<H&U{{2*#lb%u2oS)cg}P4WC?T<4*?o
z{6}iie*h*ac*WLtiY7b_EqqNW{#A@0J~3(X!>^P?9A5U%Q1AwqkFOtvY7hG=JS^k;
z5u^(c_e^TPNE6|j`5P2`Xl51v(!GDNrtPq`Ytn?*p@p%PGC$(k<rl-}b~5}YDdRKH
zVRnW7wdp`{M*Xm!lKKrOXDj$t>HtsP4>Kx+?{v&yE^%jmPbELv5tGeVKb%WR{~6gX
zSMaO3TIlGr|60}T0_{2lW?4|itWDFfCTRN9mVc|J|AUMO#LdM@<<nT9^I?8iL($;z
z;=fBlOsH4y(KP##xgWMsDh}7yf4^$uxX;z4Oxwg$r-NuBl_pVXHNX=J9QQEndG4&e
z`L`)C6S@AQAix!}x0tJU-co%D$Zsn!I~`mfK4tHJSCgyIL2cq?>Bm7sYku(6ZEfKI
z`@d4)EGBY{#W8;~TR1<Anlug3tp8^P#=mr~`>Q68KoVD`s*7Li-%WG`m5!!T__h8$
z3ijsL2H;}~ePV|%03TC;%dZU}vX(@*UmM!84rCBbqSAUQMXVdhRB*BxZufxn#23J(
z;mI|wVXk?`1hD=f8Baq-c$os$bUQ2oMAV|c1Z23E0<KUpuP5O5Zn-=83|nBJGOh*~
zq@c}IO1S2XVqlo6VCn;inWfkp49_~0rcfTDz&N7GRC*hg-Vbny0%L#e@dk;&!j8cP
zrYP|-<bpwyB3{;-hs}b(EY;&(p}=tp%wc9bRi)l_s)CCeI9`F-jWrVkUP+){lkr&*
zHk=4O?8WbP9Le?JhZyxew*U;+6e@k2N<TtA7%l<EQML65^)-x^sB!lO&Qb82tAU{|
z#7d)Z{{XjD!5-#1^}a-t|KTZKfhpd`-qQZuge!E25W@uE_f4fT50yo;Q^@3*T#h(g
z0a!K}&8v9H(Wp;HrZ&yQpS|EB;S~x`J}=P8y$;+?G>yt)sSI&(0REtWOjqk%_riUu
z&jJ~SOvq+$)l>k+Bk-Um7jliovqmypKe_+Y03IQlPGv<@R%$Exm_E3#g7$Huqo}Nm
z%7W4}ygwg!T3wyX0k#qyO=Xo-R@K#A4!o>P#GwJ$M)Al_hp7)+%L}}rsx!cQQ^6{(
zb@%RaV26@$;y3V-0<*hmav&#9%uiK=wJEo|yes4`2VgFxUdO7t9N?3lf$xdNQ%M>A
z01$EunBcg}<^Ji1AKCfcHGVm)mcLn}OQ>$2H~^2)7TJwY+|&N*_Trj3=Idl7KBD8O
z><TKwiH#CiPXWd`bUb4--#Pj$Nm0Tb0I3S@;@QK!?Ysn5lA}7DlPH15D8)V~gJM@a
z5&zh91j!``#f1b<&yEQG#SAMcR}H*8^tgFOguQ4LdPbG>C#s>c52)-@WZXxAiC)8O
znkx%zreygJSzt2-{NcJILhT=`>OaAS{S>ZQw9*@*1U{rmF89b}FF8zkJB*!D7odp0
zl3X&4Xf`(WshnFnT|u(z>aMERs6Gnh*$NVrtn0NUu%J?C3U~_@q@q6DgU))b_(3J`
z`{q!229;wuyre}z9{eo+ZemH0s|f=toO}QnPyyzahhtfCs;1zpn$BWT`Qn<U7Bg+m
zBdVqHYAWv!?)eJ#<$8yWiY^tEtW^%Yhmy+`jFyJFmx@Z@{YlXWfe9Na;862EvNy&X
zZT4lbQN%5o$}PD~ITHY24JE@w+c(?=n>6tV?k*&3)`Z?>0QEs?zB|SGhlu7;`H@t9
zGyno%0kfRu>03o5PpNJ;h_G-%H1C7)V+g)B)*!jWmsB?o00vHo$A{b}c+w?s{Um*%
zttX;fNtkNt+3C%q61aH_sC*HXFG1$_6qqeVXS2EFV@-!OE%`*jN$3dkB=H5-bN#+i
z#W?`qDp;ixF>DX7<X6?hF)G=mz<C=Dv(~&;RI*1^=Ysc-g7fUim|5HPyV|AkM0Het
z0hO=q@RcSgxXM%|?1XwL?3FO#M3tr~xB+*BdFMdaIQ8SGrG-StQ~AwQemD3<3QQ;)
zHfzKDqtYrR!l;#2D|pV-2V;z`am-0643u2qd2k0P*yiFI_o#HJs$Kzan1WZC$3xFg
zq0-@+{F=;$(vg~Qr<o0EcFbK+dMMFCD*rE)e~GLxPy(D)J{jv0K5JbH3nki50AQg6
zd^Q}VTHnd(G1w>3A^<IgeG>4oQq?|{!aj-WbMRoF1bpEhX)fB<Vlvlasj_|qSf*g7
z7L9IoYH_-15rUSUq2LFlhJMe!6n052jR><8c1gf4cRfu1_B1_c?|c0jfl}C|dMf{e
zDx#5lodWYhnaq!HXVm`mY3Ys1#QBiYn-mmk_1rDFQ?*5)!V1adN|cKJG(S{O`hcp+
zz=K03Jgm!^+QWG(g;kP7>|L@=D}_rY36bu$*&i<`eTHZeRRpPGAgIqOkS$9dl`ejE
zO#^=uq4ag79ssai!T90b%#{yRdnl+MDlqTo^4Pn6@wD^{)gB2dqEM+C4rMsa`&tvR
zmT8&?n<T7$Va>z(8&?xXsDUb`Qw7Xx>2C_^hJ$M-UD1ckgAo$m`5itu<`!JQJe{A;
zIquMp)s!VFvmV)!6s*u}7-9F1hn8h4117f&j+0#SOc!0JTp2tj(XIrwM8UaCHGKg?
z07u$#U^)M-mi?4>Au_>ll7hu>VgNeV@&IMPdX^1QaD%IscJh>sQRPiw9;Cpylujk#
zNXhj!a>Zf7hRSjia*S8iZ1d8TnQpB%5_SJlN!e7QMyj}tD(*$DX$qcl)yVNc%8pa@
z)8N8PNk-?@3N+SO+A>%sQN0KrER%qjTxFKZ94c#3B|_V>B?>||8HY{EmT59<vi)*&
zyZ0h9BfXDv>-1zyF@K1r>@1=asNz$q_yu64f?ckQm#fcFcA=`j2lpZcKP%U`65ny5
zuu@X!Zvg8Q;F~KtXT%+Z@+vie?*d#+)I=4#DTrVbOaI3>!*iWJI4=R~dZK0uMpKZt
zRe;y)QyZ(*WgCcED40ya3@AJQ9!A+FqNNnfq9Bgomch^o5Ze~^+%CIEm8D?btDuMT
z+(ui)lP!Z$TSmd&6dVBNqY4JuZq_9&{la+J^UBy4^cNJ2&_2YZ2u+~>s(K{2FmrO9
zgO$5xL%{DVJD2+ao|P!a0lcq(e|3i^0gQ1Oter5-UQIbtKGKv4JSWf~XW6&xE20$?
zJeGp+8Ovbj1k4v&cL%u2b}DHBa{R0SFH>N|&4GY2cw|z{3K_QFv{Unt<9DJHDTu$*
zxV}f3aLX4_ZDy@6;xPLrW7%#ED<Y9+579{!Je`7PA&)QO9%O23Yx9-dj1DRHYW(&d
zfRE^83a+H!*<C~Vav09zOfcF3CJd*5XF7-S<yoqF7QAc)Sd!mcC|~YZ5*F#p0}9@B
zav&#cXL*@wu*QUTyv>c515xFbs=8edM3qN#>v|C#OJzOq2hf{n7L{E_W$T;>etzgj
zczHQbUhC5ht{Oz)?zc!P=QTFri!aTK>uXk2*-zAr!3Sg(*VpdvKW5+lJ^lUq_T&E>
zJj35>n7?GeVE>?j{y}p};{5J4fbzjkrMz8FPz`ji0l42jDIZOACI$CUWdzy+GcF+8
zOq@^9BmDM><Gq$2u7rHBCn`WiFwNYH0p-(FR|4X61;MbzfO1%9xm+bkH41vTM<@}R
zxvJ^OntxpkC_jPdEUG+=DzWQV-lRZw{oIe0P=sB6in6dvTYjp71$vvaNib{NJo2kl
zT?cTkf(GWATb-+Wz9!pGmm*NHbvoSKQ0kQj_Hc=?)hnrTF;$)n09!5KRM*vARc%u}
z!ntx7ULl{P<Tdv2R{2I%A^a-8O~L70NAzH)#enj=iO!}<blWPhVR;4MCkspnUCwKB
z<!~k?8E#Se!wT>dSZ2Sa9EMla7k0N8Q2rdzDyqDaDzSrC4ihZkX0CTwSfz^r<*>HG
z*@z5qDh1pl4RtRDl*9Cj@;)$OdIdb(-C{ubT5bu9t8g9#fN>S@xa}J(29(2*l*A71
zE+l-f3D=qd?7SFI4)b{~RX#zLi0Kd<SYTp0@h$C7mR3Zl?$r)oMWg~}ZJeLrfxmFY
z3PiY4;&y-p1$ci)Ct3p1VJ(I9j?}XPOLda4)zq`oVn9V6(fL&Q9#wvd%=rpTROc)P
zRKQRQ=_`=nZVLDs9U-Av*$%E>wJLrE=%K*vwuEMF#Q@dAZ>bol;1}1dHH!fiLsbR0
zrDB+Z-|fikWig=Q5Teyo`4?4rkqeHbfLK#{m{U;!dnL*^Fpp3W`jIUS_V{k+MjlIa
z0aayE75uu284Aj|<gi&Awir;cK#4GF6?F>C!WX;dZgWxr10`1&3~sZ6q1rRx8W*+V
zWK|sq-YE(~vjNYsiqkZich<Q2XJ|tB&up8!pkg)Ag;X_?s-}Sn10}%NNev)cedT<-
zqXHI6v<Ss2V4(y|c2!ct@Cw)`(H;gW?2~{al&bcr0`^H%Q^13L5}?tY8EIE7F6CO>
zr>t23_bV_bG;FszwRl{$SevWpP%tx8i_-oB2bwN|U6M<~(W-!562QM|gDw<1X{2r!
z11eybE~2UhRJ9bj-%xNOUq|Lgw~GN4pD6PbWcyTs6JcV|otAv3TEuG=utIXVHKCTs
zVnD?%Rb2|+ZwfB6?STJT0jngLaem)4{Vz=j`y{oE=YnwAE~cu>sp`fKUl3aa0?diI
z?wVFsFN*=ebfw;gd>IP1XoX#E3l^&OVNi<{Jg!vNVnDD$wNHQ=RIoMFykM0kJ|oQw
z!X`<b+l(o+x3&%Bf-pj@RP`)X!Mp|sDR_&oZOvRs5hh&_Mo4&j01mXE+M{(8hr<4p
zO9lTj(Fi_$7d%w6A*u=<rr=A>hF<7}h;kJF0G08@IL}n2!R`j(J;`<57FAaSg2$=$
zcTj5-{LRI4>)ERf&e7!E|GFX&Tx@yOgiLUr%w?;S{<W$nDh>OI!IKo2Ekb)M>NHxZ
zN-Smt&sJcLEjTrWOC=Y@K{J!+EDHqBx2mdF|9x2?xRz)QRhLqAFI?wx1w&k|aH6{4
z^{O5UE)14r9O>d3n;V3U64hw%V50<#aq)CE!DSNV!C>C2;1Fh-2I27$ykC>Y^9Y$A
zl<Iz2pyWZG4NnqXO4T!{dJ(`=3d~_K+r`eZK=371&j<Hq1@&4{b}CAGa-pzSQs`oU
zHxw)hJw|j{Ao#YL!b8A(hv+h@UP{#*9J-bTg751il;_R|L~E(~bgEuu>`QQmKEHQB
z`4Q3ORDCX0!#(V>ED-#b=nAU7n5r)a6(&!>)usVqPw*hZTv1}@GWfHC8_}b(obN0P
z1YzE;r0QF!dJ~v`E7-i3Wr4~VWuTubV->jVmNS7W(^L(^RSAP9*XhvyHp>FRXSpEw
zSfYFqpg@7kZdJnW2?KV^{PI|(UsIm#yev>zNpv+;Z>MUQl}cDV0Xz1-EKrH{J|TUC
z9Q_siWJcU93sk~469$gza+L>Zr{YOcxi8T*RQ)qm!w1{@vOwh!4KSLJXDHFNRQ(54
zW4Xz-EKvR#mp)1(x$yv_iLRsS-Bi7&>#{&4OsIs0eZYhX6)>>#vOwh&RSg1fs)8Y0
z-|lz#D`zQb7;+q^;2<Xla>9UC!hp&(4>s*^Eell6S5=-a3sfG&t*a+Gm4d7A2e63f
t3<~~9!QIZXzzP3zSs?U^GoBCnb2tAV7YIgmS|F%g=2Xw?ED#L;e*kgVjNkwO

literal 50641
zcmbuo2Ygk<_6B-Za&~&}JtrsUB%wr#QZ0n0AVmZO6afPShy;R3s5a~s1$#GOSJddW
z*Qi*oz3a6rioN&#zBOysKKmp=|L;A2xtI0L`eydDz4lr&v-k1&e8ZDQwzSl*P1?Ju
zxxOuF{PMP>sSS(Au33S9S{Jl5u4o(G+|rOVt!-gb<NSG6HLb0sarxq;eyi$RLQ}_1
z*>BpsG2^H9TiD#TtR9**wTl{?8diYP*3i<gwPiuS6)nxH8kYB)V*Z&ot$tC%xP~>m
zv^2CP9e?iC5BPkKj`8_wmim0>Z1(v!RkpWZQP-Z}^HuuVYnC*u8Qap*+|tpRxbOe}
z%S|AvChFVij}d9Ny1KfJ?a#N@j$gj2zNvBH#D?XI+m>{6`V%J-4I$dS)1M^LxVnvX
zbx@=V9On1e)gfbln{o7#`j+|yXf7z(lZeI>P3rXLh&0FM%@;Vq=IuRp*^0Kc<Cm{k
z*@j%DlZoaM&F}P=iPU6sRR}zUbJdNkYj1C_M#t^4uz3M;Rgdw_@y+S<*Nh|IALRQR
zt!Z!X*t8|_(xgD|fbHl&Z2;X}zp!CJ<FfjuK*RC{%?mMn{g7aUK--e~w!nh=<;$D#
zPfLC4l3kFS3*Z53T-eYWXvL5PFcyL46%8%*ZH>*#TLY^b+m-|tKx(UB-d5YzxU2za
z*^2s>#@6QLfkn+Nf!2lvD_a`d*4DN*EN^XWYh2Y3SlQZu!t4CWb^Je6)}M}M4BD5>
zf1UopB2~E!2?Wge2in%IKs~tBF4fSocy#JySgZY&X0S$?-tmWVoy~RaogEv^eB!Zc
z1$ol`L}wG7-|3$$(&csj*gAAx|Na98?z-Ec!9#`)tDnDMVZ)-0!QO`=!wjKq>GaPO
z={C#(v|uoF2Tvhdj=xU-9Ffk_7L4G|4=m6Lf=+1*)HF4(ZfIFh-`dd2?F+8|Vq1zo
z6ZQAU__HE4uSK&>%@0_CApo~^I?<a%?{@mzMEat8^+%2xJ!b6Q{wmPd3F+%j|KUc8
zA*uX9(5;_FbO-)A{l|#(#y?hmCD)*P<xjJv^icV}w(`@PVP9~;^Jh}bUKBH`(|>_T
zlTF>Xqt(}AltSEFpluQ5)K32uBF!+gE7~_!wHgZq&h?_1)#<-Mq`BO6vHlqTCj|pq
z*8x+KoYirw%zzN)d;{{`J&R&mC}vHk{~nQ!FlBGU<u`8(8)F!5v(<f67#DZ?9~0?n
z=C-%jbqKvm>|t-N_GlD8lH2%_P>=5Pzbw*5&9t$7qqgvEQElq<za!GQO4`(3(VwTp
z4oSx>{aB<6U<SBtd7b`GCFMe!Qh=EbO{f10NpJI413q9XxiMJ9v*70gDdrlAxwF&%
zi%56t^|&P)gM01S(dkgE=x%}N7x6zzGj%sT=uoQYwt|)>Vu#W;wFh?_imEu2Cz{(J
z=8JfTt!@gBk#^$7;2!4EmBM)t^pJ=TX_?+j*NW~Q&~_2=0j1&6gNB$(4;IbCAPo_5
zoA=V(SN>WvL$1Y$Olw|-dErpqY>Ii2VqS$fQbgPh(uWnbOqd|4??Id>;`@4SZxs&^
z-J77z5b<55MS5qhXg&aGo`@fMtJvWWLNi}9AK_W0qv>DGHCc8r#q6M%KOrs`@o&9^
z8BYHyW~~v`&k)y&_^YzK^*vT}-+^|Vh(9R}^&LFObm?iL`3<DgMf}5CUw1V9EBVUj
z8%nGL@d6R!wMg%kH;c{(+7=Q0O2d_h@NMAG^`c3Dc!P*Z-Yc8I?AvWHZ<|Z81r%F?
zT(^rD(82WMCUximNv(qTporCaZEqEy5M2dm{}nN;G@ftLIWLH&2Ba57?Cq^$ho7^*
zBAPzl!TgMC^4>g(?MtzvA-*r-SiOV{=BLd1TvU5P{6fSL%JSCtN6`%h?I#iUP#Wqx
zOzw}rL{kUS-y)9k);BVkpWw<dNkW+bF<Hb(TBPU7F*%~!8?;;z_f^`a_R0bM2l8mf
zl!|IH#4-{0_g=c^(Tu6Cr&zETAXklui`~)un2Q}CsmmY^6mhv;+*`-pMYjaBJw$9$
z8hU4_>7AG{qG<+ctcZtst7t|uW}IkRcr@9FOm1GzMkHp+0*XC~VvmKmzlbNo;emI7
zglW>?K@g`eq}Y=v_EfgoPRtB5uVcP8vlw`m7_IC44)nOi{c$jt?Y-Iin-6cZ0Zxn)
zGf$p+D<B@yK(VJ$?CHjF<cDPQ3ii~PwM1C;5F15YT-V+KP9>alCLAWI+$Aj{E@ks*
zo}>6T73nJ_y~$MOG&bHFN1A%C6~+GkBI8n^;#}fUGbkn&e-MuraZmLs5(foFH!ok+
z(9#yD546G+Z4&2_pP$By4zx7~8rxa}96>B@XbHeMU)kXGl$@ATZ1H~FW9%yRLEl&>
zuP?GqZ-&=3+PD!;%(+V__F0O35mh-)#CObKsJ{_5<#VOmMGbo#vsuKC4b#(8*Gl@Q
zpj;>77j92QdmQ%3>(E17^qr05k0pOL#Jfby)k$aWZ-+XW_OR&EAU+~uhSD&FBQ<?m
zl(2^}&xn|+JnK3*F|UXs6P#B?%<@iQ_XdaU<4eCU92m=(4@4}}BBL(-xhV6%`$EKG
z<>B@jV2okR527gt=|>SOyw~2z9sbv$<PVV_CN$=65&POZeDg-@WmWMkVGqlRO%_Tm
z#1s*SYei6DjvaXh@NE*CEBf6b=7~7kLv_0~wp^5B!3&6J%$KQdJ`#hHIDv;84~^K6
z;E7!fKy2S8^3Njw!JyQNc!(N+*nZL<cr3>DUq=3V@-O5Y+y5F@bdZ@-eu6l7Ir$sN
zzo`5D9J`myysyC;A>xm6Kf8{x6T6QnegbElh<H{<-O{lWB>hiLFN@sKvHMB-`+7&m
z?!r}@zL;Xqz#qf|M101*qlZWC=;iKhThqUGz@T1yGuNA_EpmVFBmi<^=h<uYa9dZI
zz?IEw?9#)?e>wTDfY>DBbv&9K?hQSEZJRNVv8zOVBbcj2ywxyqLx<~m-GhreN;L3M
zV~-Z`?kMXRdy=HW-Hbh1#QVE;<!O@s0H^1h=tIH|b-(vy_cr#z7V^JK{$C(oB;s#6
z4cQ1F@-T}rRZVsw!il{`XdfcSwIY6_Irye@8+wZ<zXk7B5smw1CN8XZ>}`_xv$))9
zB4Y28<ln)#Uqp523QQyLPz&z2l&k(|EBXH>2lhPnF%ccynwz!+oLJL|&q!h%^v{Zz
zz<rSn{Jh{qzDaBtR)we7$|iFczqyi}Tyjc5d`rYiGepKJR<<-O;;Vlo8ouRrh}cWJ
z!BpWQCVeHE-VnbQu`k-swMaqIw~|!L34q@VEHqDBTPwB$jSE@(=PGh`A!jhezeL=<
zTc!N*qS>p{@h6BlQY*#IKwHa7o~`~&(T#$bCF0)37MPl0Z2UQrx{uV%pC@pjsoBjo
z#*~RsjRlag^$V~><@hVtkTaf~Nf1LK9;8?I&J2I8C})GWi-?CPkM9?R+dPT5#G#^|
z4{?}?i%g^SK^8lSS)<pI(?rfDh+{-NTg#INSu8*Q{gXv^JjDG(JW**kaIER}wf`Vd
zuLN_pi0ce<V+~f9+8UO(u?6=ZBC5k7){A%?1~!prY2-l`i**{u-z56eAubc~481fi
z>^66m=uQG{wTP!FP45r?(V{pLob@7N9ncJ%315xWiwCM}9Znbag~+%;#EZ3XZynAP
z-8rD0FX9DCgS$LXA`AcJqPhgEb`dY{R*Ui8i5yzexY$gRt?S6yLe5Rdd83G8|BSWS
zys;ANG1a3Q+g3NWHdHpXV$sF%-y^)+A>J$EHm#Dk=G#Q~C}@w0_+O==_jcoZ%>Rri
zo`U$Sh)>&k!+G#OFG<gECj!1G@Op1MDzQ+;y0;D|=UH;zfcUnEZ}Y|E-iU5SsHuKA
z-@^XSgorrZ|G9`>%jwR7A4CVk>Hks0A0zDu^<UF}k*VFEqC*tz|4YQ*BTaF9lEk(X
zmv&+VzG|9cZi?V=w*OA@5#;<yaWF?tiil}?G4yT3C_1^Kg^%FmiI}WJDX&i-F0bM!
zit9^p(;)^$G)rXeWb~&ntM8E%mrilLAl8c5M+-BzqUX9pMPCT&FcHfQHR@h;_7YV9
ztPvvCbiEgQ@YkG4Qbib5XR?T1C(P@wIWt8+2Gm(1PSh&%B(&4psTUpMNN2u?Q<=uY
z;D@{BER@7)cBppoT8o})*m5+*&7?TQNlvSX-T*SHhDV4V@u731h^sv{v=i4kQB-Te
zI!Q#c&gfR~6iGbNR&W|u&?r}%x#K^Lm;F2Z_i+qpSE2l;^O&CJ8%c2+DDGm&=Ue$w
zPX%1_>a<(!xnOR#@<qzTb1J;3zNwY%zjM9SUIzIFD_`MxR2h!|x|_rXwLrYtH;Uq}
zq_`Vk0Nb6|8C=Y5^6WSi;_bfC6t|V)Zebsm!$pUVF&i0Z6xN5pxW_VXMalym(N6~F
zQQugKyN%-R1@SQ}cbck4&&Q{%?ji7=w(@^<Msi>-K8*9SZ*Piwn&J=%I<HvyW%O&;
zyWm}`dj-7rto&vV*Zs)q-U4rjl|OW^>(52<r#9KF-f?f+?JURn);EsgzNfff!TQe1
zf1xrU^{}nvIKNrW-{Ai)a(ucO9pm3Pf7-MR^du;M+kUvK(~0x>##4MI#pjuBf7gto
zLtmOH=EP*0IR=^|9^m^B<9z#4d_Kh&$++H#662D^#eExMif;nN7gKzR8=JWPTwIRO
zFcxvSB0k<VHi;`0#S`F^iTEt4Cd&<GUBa{R=fqVD<$17cM10+4BNuM;xIU8pKTfaV
z_Q~2rTt7+Q>JRZFy4{IO<Cg5Ug8WPH2XT;ym${M5fWTPZAZtL(!hTV}L<x}?Mm8RH
zwu9rujj%=gvA4+U5`%DAyDrgB0vNM_!`mlZlL@}b6n_B49|(D(m6z~L>mJL*&9M3=
zaA#WiFvImmGjVgRsui?(R$dbo&%`aZ$uLWCORRi^w@cxb#x1o9*rpys8YkvGZowMg
zeiVNh#oq~et(Bv86}ksCaVJ_H0=T%7tbDV%zuMU$jf6FE8?BbFw8_f1Gt(GJuIAY`
z7268@*i+9f?qZvcpe^naE8ol6(3&o>P282fDHQ(z#Xk)0RaV}HTaiPHIQC}aw%Sy<
zJ8?H!`Ef1^@lD*#HsOgL1Dv>fd{Zg@Wr~NDh`ZOyADD47k8&I0#BH;xk3f6W%AaVb
zn3`~$759u)VF4=cSu1~T+XcTO?s=PrRVlUuaW7i@y1CoC20C$X`KD3)mlXdasBc@@
z#H6z2p_SWVRoH8Y`&i@zpH>bQ%ZYiHFZQ)n5#(>Ij3<|l7uWAQn;d8B_k-a0Z%zGn
z8t%lC?*K|jpahf=A7kZ0t$}yW#3x&A5tu1f7B2?#V>@~!67t07S$ze#`BpYd`?}Kt
z(}IS@SNLX7LLW+)0y$`9<7&9BmJ^44U?;w>RgQ*SYh`yKKl<?&Kh)}X19zB}hnXft
zJ>KH?vby2mjj-}4%)KtbPuw`Jz`mA%h5GmjR*qV!x6xkwbgRTtef$Ad_N>*L?MEkm
zj@7`$il1xc{dBsy-b$AcNNRGZrO!gvrB?QasOo~pw^`*h5La4xrVec+42nO}>JZAt
zA7y21_wq!-R<C+aJqAMYr}}16LOmrcL*CP@EXH%^p-}t<me__&7h3r^tr+{E+Lv3b
z647q_6;?i3i5d>Y-(WSTg0<Dkr`h@=Ad0`qrk&0$0`9Q5(R=G!&ocfV-z-YlKnWLu
zc(0W&;Y<EgP!#`!WnPY4|FyE$^13a0(JHwfFIoAvNQ>OSDE>{WyaU9ytbC8BQSaC^
zw!K`~dlsK-8f7e?6Y~yhKJgt$3HMO~!o~Pct^AB$61^P>Q{um~>TRHYZ{;VIYRi0^
z%ly+fn-V^!!~)2FS-GeSk+-)J5_|_y!n2g{3FJg8f2PDP{$WCnCA<!Du9eM}0#=<p
zYZeJbR`)J=#a8~f>y6t(9FovWs+s_+oY31=J4S1RuIPFi#7WrIvSN{AH!FL04m4y+
z*wZSrK-|m9d0aG)5BpLHbv8BMj^e*XO$n2I2UB7(C5DlCKPwOX$J)-atX+}gKr5Ta
z1e;T|&rb4$`BsOuvxEg!HrCXwY=ce3lA1}2L{O{D1oNLF5!5}N2+E1&wULAt-&{(Z
zL5T|?w_4dOc-cz0AymQ<Ry!BWBdxqZ8)%+>Z*hSqSk+?4CtA75^Yk-*H*}|1+cg04
zslIuXxQr6p;JvgvaRa!VGwp*20eiwm-yxK^k`mWNBB-Mx5fs*q63(@Z!!dqcBdCOS
z-+W3uk`iH<5;j};6jSr)nR>O=!89dYW974SrbZ&DgqwW}DDhlMMA(_oVdYD^M^Fj(
zSRF#ignO-gWe?Zww7RRnd&tT+y4U3hDq)*VzKOjnZv>U_w6B2@@1sPxZ3)j<`SG1c
zPzkSC4#JLvSFMalf^8<R5GTBD(>RI%e8cv`F_7Q%EuzFXDDhpW9D2))q(h&XDdxna
z+6XG)J?m(;Bg^}~#gzCSC2p6IJ(-K#VSQ?><RyIUTSAE+QsPJ5W2l6$EpI(|-&py?
zu2EFNFIIyU%!FU9ya5&5NgS0JV>wvOOpLYi`7R&%aQ7$1Sq07+MTJs{Nmj8`W2po_
zk&u|~n?&(t_=B8b<>~)#qp6;clsSn-TDZS^IMr9eDLH$^HL3C~rKEC7s)Sr^<$h*#
z+3DkhW#L9SZRsQquzDDv#DP{GYPg7{BAaN5!>kUjSK@Fh8#}Y}6K0XeRN^>a6D93O
zNe3YJcq`8~SMhrOiBqi#<|T2OmFt<thKN1?#CUGsY^%cheB!}YUTDo8rf=e0o7TV;
z1U|&#{mm@Bna{!HXQCG>8d-a&Zy6;mqNFCsORc=j)J;RE#KUazVW6~F8Alx?GH??5
zb1~~|`e~34xAN&)cjH>Q8@KMJR^rK)xC)t0v9i~%ij31)Rtx);c(#>|{W61q_%HEX
zn~Fmern}lJ2AI}gYSTA>bD5RTu)SsCzdGHEvPS})#Or*^DQOcW!KF&P-pXc8O<bxj
z#{!+i+b!pQ@b9ql6Fs&)>S&;o_=qLLOeAiz@-3PXkH1L!pRw9o!F<-rcY2sImakdO
z-C(_L<$IWAdWrAqH*Bg#z=i%Q)<N^O)tu|EL4t1eBs|Kxk9{jB>03%d)R*{)mE9v|
zsHfX=-&*A_Abw}%KeU<=4?giX(Ixx9``yZ>mTZBIQPpFbc7-=7&UY9k$5C=dr;`+K
z<s2@#CpXt_VI<{PB3ho5Yvn4fj;G#9WmZ`YV!4&wwQ=>^ld7$z7OWa8?_#GC{Pv{Y
zHm#p@X;NQ{<@l*>k#%X32K!nlxj!Ytq9hHm@}4_ukZxuqjj_x+<Qi+`DLu7lvQ_R6
z;(k^>K#7~$UB5kPrd7@aah8>5dm43+O*_~&>R^ip8*3sywu95dPSQeOD<#jNWGwh5
zHCWj_P=(%(7{sLIR=oh!W-B*p?QEF`a+zy=ZIrx>lCOrm&dS$zA@VLy((zV#0^}2{
ze3BBo`0Ys>Eny|do2-1eAxC*bN#|MJ5#XI~<>N6$qXO<8{Pv`)Ecs+)yxPj=YHiRJ
z-W`Obn=RoykUOk=nTM<{d(z!j33HKjkClxx#Y4jn?WFr`>Q#0C|IKAjdeUaN4w;{_
z@*SRQM^*G?OSlu{SFHS?hpbck9jn9AZ_>L~HhYI|J>R#fkJ@_vi??oXof<X<qhymh
z=^Nh~N-3h05H9kqmHTpK{>dQxWr_We>2E9V<!ON$vg8D-9MS0{CtBIvq=G>(hnkZ!
zt!6A(Syt8n1O_2F$ENMW4F}G%IAHD_Z>z@1K5cTqx0X`IQOZ=XE39nRO8%i$$-7wM
z9AxTeW$%sW?YHEimVgD2<Y87`sa>F^E_tNYtOje8mDkw8;+BoEX=`oE_O^Jkw`J8l
zUK7pEZSoY~I!eJG9^lFQTiI;0_tY>ocgb@t6K9Q*=ULf%Yecndi6vl7Be~Ja*F;+8
zn!M!0tP+zxxy8yidK%Ye(-3KxVOwSKdeb;rn%wBb@u}+M_1N-FxtUV#gM5sYAJB_N
z8NK9Ft@?IQPqXs9N)@9Q$LFP!&-EQiDQ{4!AM$xtj_X2P&%}1$5tQ;ErMw1tvz7m+
z#4biJd8;Kn4)TpwmSvSFqnCWE)jbQ|f2{oK|H0@bKO|L6`2ZOow({3nn=VE#`6)~I
z2IQx${7V!Wb4TxrS1jQ-kY5!!)hvVX0I}gqe%+?36Y+0`FL{UWC`yf|)O2M2*vchQ
z*N>bUO#a3aN<seC%4T)gt`K-9`fpYbS0ed$EAPSuyLJ83rm~yB_3vu@tX-(anFnj^
zQWD9xo>E6q>cmbbB}u_FF7}`9pOk#1&Op8b1>VICwRkBNs$C3fP{C5|65}!~GG`!C
zdaD*TB&Cl6Jr)h~kW#CO2ov}gO6jKw<Dv`%nrO#3Wf=L6q10ANJreZc3Xb1d6RnGv
zvX3%PLN>hpCS{zb)yA~*_T&CaI3Mh(3S5h#<}c+SRpC*aGF!oBJ7C<xIhwe|ws4*%
zto63A3M~{1n9@kTV=46tO1%-;4^?2^sQJe+T&>hQkZ+BG$9B@fW0Zi~Jmpvg&nnyF
z`K6qy+UG$%O~K2aMsCo=S8OBC)P(CyBgJUNZ{QI=pM1wr>Z_Ex9pC~5AL)goOkv7q
z)nhL#Ws3r{8OFDiEtd~Cq--VM36w^Z)*IkP1?EZbp`OpwJIQxErS72AzX0yCAkC*$
z=wc949#Q&Npl?&~gP}*6#FYQ4@<%YARPg8j!6>G@t~E|X*8eFm3$508cwMZN50n9;
zma<)eyK7~qv)(gbC;{76DPJn6;TG_Kv1Ls8T9bR(f&DkrnDQt2PNcM2N*jdie<>KH
z-PpyF!-!h?=uRg!LBRwMJ#rJIW~zP?$XN=EA=4VC=4kSCTjQ<<GHNZi!~Z#6h~U+@
zP5yZE@6~=jaq7@(ew;MzaAFetN%$AnE4L9TMlm%&zLO~J07^TEIk98ynrv#NT_V7l
zfYcEAPNuZkl*aE8c9}h?Fmb0)+B{0D2Xhw%i@VRB)Lm7{W$vb6h0dN1e~!7CoY>c~
zeAwRJ?j-RxNa`MTnTdO9Px75gX@^l-i@QjuZ$3JyV=a;Ue{U;~M~&^<k525TT)rHH
zNS$B_1O4f85+b!XUu=r+P)ht5e~|YVIjPKDy&D)g3t`Va;4C+e)dy-;@@pG`1E%j?
zI}~sI;<UtyX1sOL+AH9B9oI>nt)=_Rxn42;0NQC!LsXg9kNFTp>SFS3ptQ>=?FxV;
z3a;ZW?bwctymVKE%VMdI=`G5DLB)f^<`sh)wR)GjPL*)IQV&;vH4yEip574cy}Y>v
z?@2eVYv2Gg^%U}*L22(%+71AiP66g9p_p%7-|ExW42$2;GFpyyq@JtX?~(C53(_6E
zKiJl}AtcTUH!kC=U7@@<fGZVbY9_X(k&b{>G_^^`UQX&w3JREPZmLuycW82<y{X{K
zq~5BDcw@)hA-CCtv=2D1E{sKvp{G7TzB4Jkn9^Z!QXf=MZH6eSC7wJmn34w;JoPCB
zLp*Ki($z03XDBkfqQDp+w>__E@@QLi*jBkpsj0dyU?ol9?t~@XMCoHG9m^r9A1W|r
z$68@eePKw2yf4UKDR5U=;3Sw=5mSFs6^>n|{;c2t+rP4mg?$P+bC&uy`Oc#BS(JWo
zr<3MWFc;etmvYyqIhr&NAWlI&&rv)&(qLF6`+VO1(6<RH_%vx64CdLCzJSt?0?1Xc
zUOU)4O)Hl*^E6I_-4iYjET+Nd6VReuo>=bsY+7&Cw}K2uPsnSPjGi#B@uk7SiRy6h
zVBrMdBoU7d-cWYZ25TZt5pj=eC#LPCietbUq2O4XwZfQX?`BUL9KLfX{RB!s1sUM*
z2{=Qxd%AwW!AYB<3~Y9!!Tl5ZC6V2pv}u}nspr^E&GMDY*!kuo=V^1vcOIo*N9nf!
zz|RwKH+O@$Di!^h28$({M*!gM2`~#E-6mNYjF;#UIHtjP33#|$*TPzf>QV5HQ1F=T
zA35#77e886H<~>t8$-D7g`~lJolohHQ~Glt!+Z&N*=>WK&I&E7U&_Wf4Q5L?uK~bp
z39zp?!wyGg$)&2?4(4SFJ~bP-QT=$8>OKSUY6ahU+H7vDG?*~C+7IB}tl&r6<`N{{
zqKQB83`4?yG~p?);c|Cw)9xqV1(g0XrT+~wjF<r#ez*A>?E$B>$5j^(;u8vzw2r*V
zo7Blyd|q`p`IYv90z6c?0zB=p6_fUorsFWCsVA(N)Z=$=J$p6qw@s$w(-vIvyX3o&
zGBPQn5a2xp!R~eaRCQqxKT}}bKb~-?YflGA)4o?`FJ${c!LUfp@w`Zbag$06w>AGo
z6LL+>yKEz+$B^%0%GiT4#&kOAu?ox{y?e8#Cu;h5kdhSai>?umKlKT;KOJtN6g3kd
zTfr<H0`@;WcV~KuGH^60y;Q*rrNh#gjiB_fstyFNN&(zIZlFCk)NSKDeIWTRp^Q0{
zu?V?#RUlz;RFIH9RF&9COGh*-+1l8Cdv`R<l9hcUHGK^EE~SjslyMyLj8))S7gMJq
z^0s3-ESluOqF6dCnt+S7z386k$7wo(S>arQ3<zcgT&)>Q*H^F?n7&Ar*8{*C6Xp%d
zMA2rSDSd^it_ANf1;$ac#@##@($}hLD|m3iq&!_}iyYOeh5ATU+f}!8STx}u?Y&hv
zn%CZgO}mUTZl(;J3r~kl6JTs;v`gmcJ(xA2!JekWtO<D0)5I>lce!$2LWXt)=Cu=U
ztMne94NSj5l^+2hY?Y#SXwio0-=CRxsPcUPM6JU7K$&hocdF`L@E%g|p7QkhoBm%_
z!2+j0so+EJ)VAXyw*t(PToUenI=n3bpICk#Pgnfc;m2{CbU0d~{*;rD07pv_?lj|a
zRmb`5(hFU_?&73>Ouox0<1@;@x?TDw7G%b0_4!8T6=EIEZ<PVloBo}Gbf%lyz$~T1
zT$v&>VNiE=*}s$ncR2lT1!bPgdL~guf)dI*oeUT#DZa{k)r@3Ku9iN?NVN$Wzamqb
zYO!(J-nkJeuwd<!*@rTB?Kr2s<0@>B+OLXaz*vc9FlaDV0*1qT!C_SH4D@hDNYi%*
zfY}n#2(FSjXq-{4X{b(g`B-NYHij;vzk<C@`F49IV~8g20}iZ~WH3iQrTF2RHo-P`
z4^6;|K*pX5CbE`iwfYXd@J*uwmh(5FxE15bx0y1hQ074Z;}y8Od>DP#JIR=;>O;Yu
zrl8p~WXAAh9IPrFMSxMZ7jV5-xyA11tHXN9)i(evQE-NqXsR9k!WdQ*n>gocCF8Vb
z#u^3QV+rm+VX;jvf?bUaEVc<aSucY7)4czd0ox?1Q^7k;f#=9)#s*EqnNPk|(K|X^
zFjA5k9&E<>3eMt-@BsLO?(K?Aql}A`aJEiHcw}2B^Bl^&q=WC@46MBgz6=0sZvyy5
z!VcZqNZ!Ikn6N7-6Mz2!K#VECoVvGFbp5LgSTs@J2=1K<Zq=S(w<$S~3w=;^Sk26U
zeUn@W#kDySH<^)ilKFcC8L)0wQs#Y>`8)uun*guLj`E)}VBLiB82GSm0-p2Kr6;#2
z<85Wa&}Y1(V0)xyspc{6?_+Ap6~khk*thQh5Mo|MnIBT-m*_}`q!|t^cG<9o;u0(X
z8`kh@%KVBl;ni|cpQ%5Bjs1+z$#)H9{zRF-L)rBxU&c@5yN)vdq%3R?W&Erl(KIj0
zBgyzfl}TX!sUXYsNH8iAoMt-YyPmRgDXX~C$wcrepwyU+$ZeVlODCE#(9#uD@}-Tx
zo0+L;c+DpIkX~jX`L<HlK*~Z;pIM{;-vW`9wWuM?45@xEkYNEO=RV!rnAuyE<G}2r
zV2ayDK027Wi>Bl2GU)A07)I$r0vJHP8!2llWzB@rKi&*7J_y6(hQ&kky*>PUoP2#H
z<}S0?h-@&N66V6)%Y?gk6J^b!ES#L+3+%3|0sBZXu?tO9=ER<gV%po=owN^`HcFSG
z-T@d*zMCoQV9J`~uJO4qQ)Nz2<^y0(RIm-!A1ht%7Ys6|s|Map<^c+x6q^0UOD625
zEVJQ&b>>_J&vNTM-+9TbSIu+$kiliV?_y;(s`dpGa;O46G3gc(gl3s)-r(Mhy_b7e
zRw6UuH%c|O`mqznosv0)J7pF5PN%ds`~koi3y8d!6%LHy4;J!^S-b=pS&)o+QOmpj
zm<c;=i}a7+8pinff_4FN7g>Ou-i&2MEM{^QV2y93tP3gYQh+lQ7(ciJ2BFJBWab6R
zxEb^d6&ORw{T4Y!m<j(;3ceFe7-9kUyS>J72+uqDX2ezES4CDxGdsxlAIf@%vf#L7
z-lE`3HEnomM3x0J?@>MWH!|;4VD>l6g9H9l=KY!sJ7j#9%!kN#8)f}MS--L4;=ZPs
z`Gltbfow3zhLlalL{#ttKl6D_i~)E-L9AE@M9G;j%#sV;Z^F|^>2Ihi0lYUAq>2HO
z;$dJVcN!=kDlqP$7@r-Q#=ar@VVSV1w^Mc|WoL6+tgZW26WKDr%@jtyxs>aXWd5p(
z0<eBlP#S3rjH~1<<Hp$amdFvOELhPyC_6~my*r((cm@4U0p{suR~)i3RJSXLnF<E$
znDV*L%tz6`S+Jl|;t&8>PyvYBxdOc0kX53IHfYZ((}XHBt#<lWRTeDgos_*hWsg8H
zeHBd9N_d^MtU;=t1nyu3Q<cj%NaW3`tU4uNl{9Ol0u#;4^mbB5aO>b9-bLASDSIiv
zz6#7qRO@YcIu|aYkQagsqbJ}{t%7(Dse5s`FmR$h3Sgds^-Arst&;^)CiLZ?FICWH
z=uuDCtQD$U3Fcu6j>J&(d_1i0qL$`m9P99>A-QHpYaT3pX02Cnj@Ar)u5aOFoub-v
zK|NK$g-kVrk6StGbWOg9(@>3&>lpIGj16qYAinO|ItT{?oI}35Df?o|Zr2wJ{ImF3
zWlG>afISlecE2Mp0A#_E-9y=1DEn$~V95krtB-TfSlyt?>%fFhDa@OD=+RqL$+f&y
z!Cl&;9sDfMx?R)n<~E)#KG{X4BRJdLYS7*TfCaplvT?!trTO*DfCnmO_bq@<^4&+-
z4^Z}l-5<JHFnPl41QRAtz+>_>j9B%o7gY5)crPk=hU;e@sNJ5PS+H<Y7*=Dm-cs<I
zn*%xXp?Oy|<~?W6`^;G|hEl*ydI~@5VQw7!%3BE2JZm1nrwT4`ck*`I`NPvbNNYw;
z8$Et}prwBK;)X!;@}{-XdwE&kYoYV}-Ou9pZfu>wpUxTAu!d{%H~Ai<?2jq?^G+w*
zr{G5(`W~L6*-6SkRGpoyz#KG=evW2mS!E6!xa@2N@oxV`KS%XI4R5Y3GrM`&73Axr
zoE*w2LIFVq6{cn;Hq?bT-I2?#RZ<8!;805Ter6iCn}99y=*=FY`u-rpQxvkX>E_15
z{hB>olZS8;686x9Jf6+&BgI{4&)%DS4^hrg%7Is$y^n%1-76hgoX?)BGz9zEFq=}q
zbWgRbJ>7D!5)J?xexk4sX0}`Jd73=O*1KL4hMRip-qaCCaHE>Y_Xy!*kU1*=;0+3B
z(d&z)PUn|~v*GKB7Egd|1l|Ioo&b@)I7an&0%RYnz<mNB^fr45*)Wz;4s2QWX$qRT
zIk?G8l*W%2sfTkM*W)~89Sd;20&^0{rP}Q@7(iQmE4WuESf$Nlhb&TO7(c1YYLIVK
zaHNuTIWHR~PIyOycZY)Yw$9j2%f3q!k6}kPvYnO<dnQ>=0P7(IC)%uLJIyqFv>7T6
z%hLkfW>~jvlyeH@Yyfyt!C5BwmG6yUk6OO^9>T5|f3Pe2Rq{PXIhRq+7J%0j+^EeF
z9~S?gp4(orFK2jPIX3}(px_p+e*0O^xA$3T){f>itXa|GPwu#-10#eRqiWuAd`)xS
z$U5KO{uq2Zqz;d#jUzdZ>Q&iNzuM4I&pdw~{!bUA@EN;of2qGzdS^@jesgE{uN_uj
zyJ%$X-gEkd`tc2y<JT(O3V;w;TC>e`7T$|M7s2do-dG#;(ff)ve{G%oanECfJvUHJ
zu9kvFK~A0mbNtHm`zRzAXfgsTt_EB=8MAtTV)8vsInPthOHkr_FNl{q{Jb0A&H>Uk
z=EGbWtD1xL&74Z|JwZ7yQ_d^;01M4;ZsvuooIc7!_@C2PK^hlm-&*>fXMu!cIRh*q
z`xiYKl9R!u3??5Qj}PGw0Cr8l4)=)?2#j9RuwZGRaS;MC`wVGp<xh1sE;Ip}HxkPk
zsRcaL!%>g{`W5-<_=x=2!&cUtW=taA^OXA-<vxiDOjhuw8J_KEjQLVHBEgYd+gYlA
z7vMkz+wE9-Lb04fREgF4oO%VHdwNGgG4CZt@g-oyq&{B)ELZSt50_Y}%J0EkrQp|Y
zmykQfKBf9Zj-8km9Z$X&C@+rk;Na(+pdjB|F6v3u<=jcmM&;rWm$OMh)WNxK=T2}p
z+pE<g)8z_=^408Y4{29ltJ-0pUZ=pk!eXX6o^d(w{iO1HnVYJ^k5eZ(uzZq;SlrwI
z*y5Fh1fGxj;PZ5Z>34W`FH&9|<?W3!;Mob-|KB^}QRN~6$$3n{B5hMtC+g!q=OyJW
zMkXvG%GKQG7CYzY2vf1QRf}gp&N~WLbNOyZyr;=}h@LwFCQyo9YdhjYO&I0vh-!I)
znAz|Z`Cg{H!zm9jL(bO<%!;#Jir3Ghx{sZl-;{P5^8Bvg0&PE<;^}I>O0Hi?7XrXA
z$|bM#wkQ`Ntt9iiCY&iz6OQbm^4w9maMWI*ysIe>+kv?`3OpxZ)#-{nGjq$8hV|my
zfPzPQuDrQQFC}e5j@}B)@~;j@F07%{<at|pICPS5t+(=hq!TCAx0z2Z<_;y_>y+=K
z{5TXnOo2I-Wj%<@>$st?a>6SC7^NV32g-ce)AaTPCFFoTQ9-e%iFO8<<{hAfa<FG8
z@a$KasE=y_^Cz{4@g523wXA;4ME$I2?gH|?N%^xWAJ3lLg$j%trH70vIE>D1R^1u^
zguar?JqpB+!N@etU8{r@V6RhPZV7#83fna4I3=tD`*;P%M5dd03U;}~>EwHh@{gzd
zlaXnIf-^Z2Z>DK=%mvOR-#e6lG38$l?s*EXW-hnw0=?uifD6g@F6CcC`PbX2aj|OW
zfbLqS(89(={6*5-tH}2O<-bVzuLE4I;4M?O@ha^)PcE#S5b<cr?NH!u`l`p8dzY%V
zgLk)r4^bOjotJrX@72VQY!$JJCq=((s@UahM(*R}`;hWKrhGiHauL)D_{vn#z3j7^
zj?IkR=M;R8Yl?52!>7D+;pUm#1qATAf*3B!4s7)Ng3BjY`x$)LJIU-*KCW(dq;o%0
zRV;X)E6{Za<EFb^A6~#;e&*WzM81!xAf5`+0e)7HV;W||kcvG(%!^SSZpge?1!gtR
zR@>|^=B20#&&<431wGt~eEGaQC6oc=D=;sHn6Z)#BYD0=|CET62fu9x71U4xP9)}q
z6qrbhYZUcRihgT251yK2-33_(Dlpr_wlQ7odEV|y!tPQY!c56NK}P|1i!^_%swRPl
zXj6ETnP(b=HHo}&n!F#UVMdx)i1Cdq8*$}LA>Suda3~e50DFH0csqo<3=yb|7#D?w
zyHBa0g$h=4K}di(6K%4Y$9jm3$D8ltJos#%QNbE2SPuZ7O~47>@%A6e#HFg+0MMks
z-TieN3=d7pz@rhL+qK|yPseynZ{E>Lz)o!5dIjgX-Sbc54RiH56<kOK4<j$km4IjT
zO8+$87bzRoD-YI4vLX(0?>WzSn|``dNjR{W2LmNJ?(^i3@xDn_*j37deG=Y-Zi9G`
zZqejU9_}8-8z$;YDtMC$-Ul0gnSc*uMDNpHf|bsLnfi(fwo?J0G~r=-P_;*x@fJgq
z$@}+tuvuSI0j3AcQ66lTfFC?fPz#**f@)#j^053SRO67lw^G-we*PsfClA(1$Ug$W
zIvG%CP6cvKvo`Er=1bK(Aj1z6au55idEcuNfmhxS3fz6yom48+w8qpb->*5~59Gu9
zk_&}AO?NF|ewwPo;HE3+-IdF;BELY@eE|v;4DgP2ez7JGw4=QTxTTu7t4*9NVQIY?
zHUCq_y#Oz$#{N?P7`Sh!a5pN%@|Jys<ni)zejoCEM}@<v5GzvoeHD!NRJn`Wl|M*H
zI1iIQSi#<!L#9pkwOn|eYG(n!4U;RmUmJ@W(fo<3-xuUb3XHkKZl~u1PWf0xlalrW
z6E;l1Oxz9bTEE)Ae5|2~dN#Oo6!7cw=m@Mz=;11Jj-bOo!t|a)SIGu5Jt1$i#3akx
zEHOjmZI+lh_HCBq%-bwZ%-!<4X-+PG$ub`{&IF}-et>1<`<@EtP$5p2<C@rl)HQ*8
z7(5AH{{RmLPcr$qX0j&W#5~EPiUcP%)t`#xfl+*`<{zOM-|_SI8Wtn+XLI^7<a?5G
zUc(>2vE+M>av!GLN8ROtPx%J{dj4s+=0$<F)$$&RtQ)l2pPQRDcJu*L$4@_ScwqVx
zEF~;jxqJctfQkKCIsO?svs25z3*!FpT)_PB99~OV(b9n57;NL8twR#Ool@V{R=;3r
z>n?%u_??la)%9yz1Na#{s8CYdk_MFD)D#eRG=MtIZ^rN0MJg0%X;@s}vaqS4wUxE2
zmo&6A1lak*zsvFCD}m+(_;owakJ*{-g1NWd;tz1=#`r7HX?DkXaJO|1J!+m0SM*mZ
z{2vv*jqZdiD&Tvb>K)rrka-1WJ|9eH4<!EzW&8|qrGh^V9mDP(49LGhb$^4n)q*0t
zZp5?09t_C8P19lF@^4qbFH_0nz`v=`z(F<DD&p6x?2jBo*UgxlN0gR~JlhmVuoP9d
zr&N~>;?oKWqU-jurWb<rih`1^b%RSPbt{e3Eoyni6Q$&TM84mss5ce$N0~bmm={y5
z1J?Ct81lbW)^KF`PJwHR;8;{eM(20cv!(k(!6Y6XzQIgq{-w#2IjPer@M(hlik0qN
zM8c(lB=Y@EMf*_^7U>I;6&TlXC)F;<Q`S6Wfu}0@m#PJItIY#f5Kw&+K!pOc^r6)*
zfOVHLT5Yw%njl{p(#0&Pwg%7z{mAzx6|JPA!%=j91t*&MDrP*VovScZRhs~YDLC6x
zU(Yxej8eiWV2@U?u{+x|Z=w>;0UK6dDrC-2OY<~<E`TR1%GEm!pbHMduWeG%rBrkU
zN}H`<t7(zGgB0^Kx2Zvu_W&$XaBufo@||7KtOTr07pzcV-Z^3a0VC$|Obga3;Xbet
zZ%dWTDoLbGo=oNv#}fId=rJn7!fL^B3SQs}b&a44P9ut;qPM9CPF}(33O+H-M9LX@
z$(sSrB#Nb?PpRk&J2y6|_Hv&2y1u85Rl&tX4i$YxML!_(B?^8qWt&N1Bj|#wRQEfG
zS1b5Sdr+Ui1vjY*#;)LI3yOWH4c~Q$pbKu%MB*eQ{718VW2)FCf-bn9D4vRAsW=hb
z2NWckD!P~5rs-)QJ*prb7m%r)&$~+n&!_?`fCbMg@U9I-MbHJWDFxQC;B^Hho<^Gp
zy5K!km4o-bf&jOf8!eMsBPzC0W)6Holt9ImRNM!-zEmKmRNU$N6W9A^RSpICMZqww
zhlW&z_yJcb5ht7rV-y&p8a;9O`i03#fITftQ81EAHT8}PsmyQU^jhpWWL#K4lt{&6
zs2DC>A+9apKu@hA_P8*p`h!5ORB(ugY{H_#zN(rJUaf)!Zlw?w753BQg>aGF;J0uv
zQ8E>`P%)Ot3Wq4b`Ytzin6__MfZ;?bRJ@LgkLHFVVGq?-d+!o+B8lx*;od~4RJ@*w
z5lR*AqhJHqN|)-KSUy2lh+m}@=D7e<6__~H4uQ0DwyMqs?_dSq11KIFQ`n${^TA%E
z;4-&Y{%xpQ@D4u}Z>HjFkiS*I9iHBop)!p<LiKloe58W=J!EOZiK==Kypt4kx|QOg
zIz^KoiW;hoL>W~492LI;&L#z~%3z$W?b`_DIYgOM{2CR%WrylK)gEt#%09Wy;l96&
zD2s~Urs5p{mn$%a()PXDy~1l%3!7Saoq~_Fja=&H9^=-+yOfMTtMG0G#$xhCqN1Ea
zm?fzZPE{1bED10^Vsw;K_@pZT0`n;gO5$KX+$g7qN@?6$h+iQ#WtZR#U*TH{3bZ}2
z5N0x)`~D+U!<{SKp}=beBNP8?RR_TRMnPnmjmP*qO|D|Qff^%jE&M?ft8HR*+<Kpl
zTMK_xYYD%%@He7tDygB8J}5>;wlD=FTLfE{OC_~bf+(~oR>7X0=5>i%i(t<rM?d69
zRWMw0Na1-$bK&`_od^J<Cix^3?K+}GFkPa@Igp}|f>Ea2sJOMLmnuht*;~N`?}+N-
zt7unMBgQS-O~Dk~bvun)PqcCCb@nR^pWC=K-^Q(bB5pO|;&yK5NcGQa07enzQOW*P
zGPP@*TC}h7Fy=)Q6ohzWHBL33nnHpTb9y9BE!y953xCo$wTQn@Su}%uKT_c#_yd?p
zzF(;D6)Jq)jZ<6yHBRMcru+)T|2a<eWa$>Gc8M5^>fH+Z1KiB0h*9@;?axINEh8$V
zk|U|)7_<hzH!i@eTSme}>`zWJUrH!iql}H9uT@|k2+;?tiq@<00x*wJa9O0^qYfym
zhfsJScQO3FA}V>1N?r$mbrtYN)O4@JZ_6_mKA)(uNmq1<f=8pc(TB;3u5nq&0^2G1
z&Ay(stdRp)MR4#$|2)XIDtML4$A2dDD!NURaqi9}7PFJYWyziC@Vk0N4=M{rv8Ypl
zIh3YUcN;yjZ&~z=GT%ftxOq|=_c>tfsBU-argIT2sPJIdi(o+oco#iAO@s**Jr*yE
zU_u4_9@WH8H2DwPL^z#ApK0Qs(T9hMU_?zJr9QB}SHLbZcbPeUXr$TZsfWWu?)mMa
zKZuH{)K8_b{Y8H&;Pcy{_4K+;v7;n-%f)dDaG09?8Ftc(6Ev}$pWE)sD#aN@rBvF7
zN?}%uGZhQ~C#qNVp0VHIC@xjzKx8XZFvdIO+=0{)Dej}ZvB(6!P%b=0GjZVT-e$#v
zRF6HKVt9f=p6MNt;-Q*6%XTY9q!_-Sa1Z2;?u(Q?GzIS`V-^<grDOIGzzCu;DxFQG
zbB$#!*uji3db8dSFqWvC@Z-v*hp1(Z9LO!6q|D7=PF8SD*JG{4GgNggcrz8?^;~O%
z&DxRorI6x7l*ARPS8$h`13B@qE?%gbyIJEo)>^zoHD~Iv*5ZA*EZDmODw&Qy0N6VL
zN4VCzGV-&dU0w>o>%t8!Y&HYlb4bOoh_*m~_fxExIo==VDL$SkNTsJy>6y6t2?{PU
zGj%(f5dB@6V%R~UUj{ntpa64vBHG#(pRY<BqAtEb!B)4wIBw&JSyr&r+7@+imt0L$
zNu|$FDICpW*hT?S2F9U$W_GCZMF1E^VZNku*ciKLTU&ge%R&|ezmnx`%@RHBA5;B1
zAV03)!>DQhUrpvMYi?f`TN}rF>BTQwRvF*^uP8{>%SPSa5nEgQfff$4S-f4rPd#RH
z@9b}s_cJnmtJm`GWP9#xIEAJQ%CJ3M{JR3P_hVXvWzk|-J>ewTCi0#Aw<ab>+uD+N
zRlxj}z|u)pEEbsZ{>j#sz~qIfEQ`u;60{^sLGjLQZAp=mN|2*iLEnh2ErD^AGHau3
zZAqA@ipqvj*`CN*rC>x4w$|J+*4CB`RAwEr!LgJw+*d@R22w|)q)vI$kZGiXxjKwd
zldfc6)ni4oWP*YQ@1!e%p_2<Qii}9feww(Lry*=D98gPJf)wCsb~H+#1DH-!O=XQ#
z)?{pL;qS~iP;b?z01hImp|WLEw!FKoEt#*(o55V5;P$Szwq&WQaLlQsNx^+w#hzaw
zC|Rkb2ascxg2&t($O&6p0&h?3&*QA|*jjjxR&%M^+LD90amNx>Q0aX90UW2`)c=F6
zb-&&pWot_|Xc_Z+u(iF}N1mwXkxDKk>O*B)sf=rKk%D`8SbK16ORiJ~cfwT)wi!D1
z7$Wazlx$VyV_@E>;AywJqD`%?x<`)2m)uL#m&!h)vTslT?4y96&82#t&oG5T`VBdr
zu%O)G9PBwp&*v9Z9|!V_3R0MCECMV{3CyD@upHZRW~RPs6Ux3Yj|p4rh-EB!kEoW)
z)2JL<$tCYADC%BmPo6K72K!a=r2_Akvgg2a$xlka0%FO}3I;~i`&Uio{bL?jSWu}}
zhN-tc*b4d6XQd8NKPn$Y<s$*$7z!Be?Kas}U~;<Zv3^(z$56<|uyG%6vWHSi3sf}*
zyg~(Ixo>e>nAOpUhgn)d)St@7QTar$g9;|Y>bV6XvKGpIpdhjqfN0r#LZK9{qNL!B
zWA}4iPI`#zJcMWfl~1MeWdK7JG;0IR^Vq&$P&!)GbHRm+CmHLN%X28w8L)Sv$DLaW
z$4<Z!C8O@<vn-`>>_l}acyR0lEVZ41r%LI8n%ETm*eZonC+rnq!MF*~Prr8mTvzF#
zL<6b3jmohgS_&&C;7EB`b^BabX{$1h0=-SaX^|&YDNLP|aeAa@otTfgW7iYyO641<
z9LH8mk5OR!G@cBmW1}6N($ifQvcOPDe&egzd(<=8OV3lnRbaz;6SmpxG4lvFY3YTU
ze5378<LU6^a-*fv%|yFVc?Xr>h74O2+%28bQ?yiiy^`)hjvEv_>FF2PG%53`s3&;o
z?L>pA{52{^AX<8dg12!k(;rSc|E^&vqFiBp1kkBqhfba7c?M@r$nSvsqyppc*_%%0
z8O)gQJ_he41$_7?a?|-MpnFwy_{I#^=5_7E^8o%wG=$1Oqw+6B`KHb~2}8knTkq!~
zW-ZG9p<Rkf!ctT_PAU|i$c28WM*kClkBEj+`Bzl_b@zvMDU6;xgx~;_ex=}*s151T
zpEUhdkYM;E$N#uxJwLI_d`iMdApW#DIDl}s*YU(I^Q#6&K06%h&x;cBjz$^$M7hlU
z`p7QjiC>mV)SJpy;13{8!42*sdvIW%hBkB7!K_G$#o*HnQLoT*D5vKj`UM6?zxP)L
z3u>>?!&AK9iu#4qn@4#c<z*qF-6=4H0$49CgC8kiU!GDuJj%=ZDPuC|{S{0%^r%O9
z8SJN&H3Ll8PXPzJ{iu&}4bA$u)wf{ND7tpArIHVZwQQ_{<$5`LB%*AhYPe@7DZr+;
z9W%XFbcB|`zlTvan`jRToI`=@0S;E+{hC&fHEU2NtXSD11=s1Vs866Wguzn$R`8k?
zsMT>FX|B~NTTQel1v)4It5dc{fwel_OmP{ksnB6^%3w_eJRUJQWpEB9@d-9L-M&^(
zb|%pX3cO5#cTvJd1s`ckq8y+y*i9iLo-KptC*TVv8*>5MT6T#h!xXf4ZbV8uQ5^-o
zp}-GOUn?j>KrHD$fpo2c-%-tt?dEd=WjAXgPC}J+C@|Y1<`G_YtET<M*Z11*vb(LS
zA_jTyQ4nuR-zddDtf^QKD|<wNi5M|wkoKsiAzYNUz^sm>ie#!tk9@75?0HShL>@Sa
z!pJt4a=%tk27@UI_<3b8m;wsTZ04V)ErZdNv?6YdbrfrHa0!Q)+FbX$>?5L4R8dA1
zHOR9=!5~wPIJsR<#FTxjtf9#Aoq{o*L5@@texDSN)wHrd6d04>j`3fbJb{xsopP8>
z$rOrm785UFWfIY7s+dR>3jmT8Ec9HxTO-SJl!o&&<+%#xd-C*jUzWpU%cUBStz5xM
z&L)*-Lmf3w%BzXSP{kUmSdT0<3QoY_VLElY<H}+6gnlCE0~DMcx#P+aN(<v0zT-4X
zf$?1^UoI)%i)e4ExRNTkbFfY*;7+cjT^*GH)X#jD@2ec#<>eC;Y?IFLe&!Pnt1S%?
zR5@Z~Df($$EicRDOTy+!I$VQt*gOI6{#)O|<_Yr|WP{BU;9YO(K8!GVLVFK+Rw(!~
zdOWN@V%`NVU#q0Akz<{LZ+Q4%&#^3AeuO4|%SlK$N)xu4$!B}K5BGS(LVlv~2V%=l
zCfbK8zN3o208X(WC^vi5ZG(e<3+j0Tr2HIZ!4{OCtH8TiTJ0Iu%anla((=m{1U%j9
z-el#lcBV4HAh_2lFrR2P?Szj}4i8c|HMX7b9;F4pnRXi2uu6Vdk82CRaU2DEQE&jj
zoeI2%I=XgAr;=b6${$i-qBv6vnDg>SG<gj7zx)`tUw$A0T7=JXzfA>rf@nMi$5L=2
zQ=gR6EJ%M!p9t7<Du0@2UkXm5;8YpBXZ4{7H?sUWq6rk7M!^}zCoJV(Zz+FSpXg@+
zyh1dQf-@;NtGiEF4j)teg;ij_qu_|H3pwR5n!-C0ypI(e$F=U+EiC^=Nhcr&tf^$*
z;O0P19<m=)a|Ubd0wMgv|M-Kj1?G@$`LD{E<PUS;*6x(Q&dvObXgHzl@^1nDwjeOr
z^$+U;Q|cE+JA<nmaSFDnp`Hy(U|mB?GtSC3^BcY^8WuDzYHU~-@Vb)Twe>)vdo}#(
zJ?a|cAB?)_=iYJ1eVq9^L;$9DKMI~e!BaY&K%N5g2AAs~>f5G)fa-BpB~YQ@e7*ys
z7u5r>vr;Vlr$8?Sm%II`E}OcC`W|OskaDpv5*V!Dsva(}rz&xjC9szQxL!Sag^@30
zM!w_}m_js#g3nSA6F0EGf_FT3wA=K9R0}sM00S%ewlh_4rNA6bM$phMk)7vai&YEX
zDzHR>@vUr>>vqCns{Inw76s;I3io1dn*1FnfwxK%UIT!eDK-2aRbeMBa5&Na6#R*T
zzjRz@KZxmirGb-F`8${=TTtmU4vul90&pWu_DTX{qXM&1Z#=cYS(=6pY3EM{IDzvt
z$pJWDL7c7cg*GAh8?^8>rTBO>2A}IR`QcYeBAlndW(6r+zW1wG0oYgJVHrPwAYFjC
zXHxrHG!d>@;8q2>W>&Fl7Pw8*@@(zy(1avtVQi($e4bqaF??QUH1MD@ib03j6?(vQ
zpg5xeSWihsupRiXf}qp^51;_ds1Pc3%wR63Qe}uLtL%u$*Rulu)AU}*_J)E!=4z3n
zc7gX*(-*W46qsc}8M6;H4Qqm?Pi^^MX!;;zL?AAe7~(0P&xZwI4Ml^;OW;QZdqsNn
zXHBy&nFnASB?nyFz;6oB<&o2KS>K}Q3O~^_svJX=hX6PVT=y{QdG4;gRb(k~0&-<5
zn8_8gw^*ciDoRv83*=G-W~YPe!w17F$~Ac&I;cI`dyB03RrFOF9N>yt1@2-Z$5?Er
zTe;UNVAP~(D*%QlSjCleuRBbW`K3IrOs{T!ZN*5U=~TInD&f~wj8d>OzqSHCrqJQn
zR=~#;;PGoK5Lrv2*RPFiSy#*=nn9IYsB$YxI8ec@X1Kir(sx<?ikWzFjbFadJYy;r
zD))9|gqJC$Jl^xLAfgui6ClIA6!5H)x1%@k+riwOe1@%JtukH!Sf{|8F)`1tjq(e-
z700RyroQ4h1^+XZw+^K#)C|!EqM20r9#wt;@)-(@{f%<qqmIE=T&Tn!kP8OQ6cLKm
znn%xqD^!nng%B!OvN_Cbr>Z$yS#hJPU?D1QQebvt&BTCLQqiHw_^b#U&I(vKssATD
zsiex$hZyy|U<C}<EDEJlhzo+@5?~xvTaQRz!)S>bcW=d$3TizKjC3JZ8im^r+?N&X
z#$31FuWGXKP^vJ++u2(>iktA34iRFQ3iy2oQfM%R@TF48K9|c8hpPgXO(x0nyyR#~
z=UW2CO)~LkFStl}g~F513v_X>E50T=h(aSMgt)i@{-6Nw`?;Qb;aAm91Q~`*$YyWV
zRDg}gADTQ3*SDTElHvNv{XeeL3Hpd;Q)oJcaOi|98H~{f_wxX;L<ds{WzUhGxt<vb
z>gqfVkVrI#LUSoJue-Y(%v2_4gKZR#><*avsI|Ock*e+luUJ9kgP7gUm;^&g!inEt
zSi$4mPUB$XU(BaqjcTwq<#m^Tinz-`m`kbGS?Vqa`J`uXAkkzB9)v#tgxms-cirW1
zVAg(9yS}@|%c%|g%^F=o_4>p?c#O8l9(>}y_7}`o)Gsh!Cku`zT0o&^DTEUnL0C@#
z#yNC7V>915`V3B2!Uq5cDEQde7xcFK5?JtH)#02(5FVox`;`oeUGWUUNJ=__<RC(E
z0r2!9{fikEY*Y=rJoLDEMno@ymc7H3TSc^x!Z{SK1z4@1pWe7$;~jab1&>!E;$1`t
zwurFif<22gA4XEHPz5f0MFD->+nsB>Nt64^!*o--d>$+a!zuj!V8L(-7=Sy1n<XJB
zye)A~f?J3hD7+hm;dKOIMg{QK+xaV<!5Q3OIDwLkW$z&3Yyo?6aq#wnFshOQ)8MY)
zgjdwJw3)HIi)b;0_oeVuaPL-N+z9dN?Yl6+hgHXO^brMfw1>=Z3I$;`r8F#Z2Vpe@
z9AaAs_cDl(SrY5H!AN*k6QX{})&0<S5G##KC_JCS*gFjVPl53_qALi~D8v>Jw<|Eq
zWo+HisaTcdD}JszMAkvLf0ApRS@klbfX7epD@{M#))Q7zh>Of~W~W~^4gN`VD20!t
z@G&R`fv|uxw4=OJsWM*GXLdT3Fm}Q{N4eqv=tns#Vb+9z<%LSPd;%_Fw);Xxuo_LQ
zEG1e>;dTl?3Q(rN^+L?!0A`1&uv<dC3!s;Rd+Jaqcbhrd?~X?0Zc4ZgY{ajU^(MoP
zItgAmT$MM2xx0cpF)O3a_HT58W4Ic7E29%&9|aGaf>90hn%fOiRC_O|`ztUX5#So@
ztyX!UsvZIFAO+j(WRw?_>QJ9vJfNJ@c8jSG43V_$8Dw6p;JKdavqH7-;wleQ@U&7R
zzd~QRR+Z0#xlX}L-D))6Ofl=K>Bs*oPb6xh@T(O50J%?6V75$qa(nC#mR6plOc>$H
za~1re)${i3WvcxZ)XNo^EehMS=H~?}uTj<C;9YA$mCv>#4~Z~Jrmj_dn3u<Qt7dt}
z+cx`?1C@wCmr+#=Ri%N72vmT)x@#<USC6iK`9dyrn^F<$Rz9jARA(ozw{5U9Qfe4f
z1e*eSDb@2krIoL#whySVKSJ&2Y2F)}*xxn}E}XEEqMC;dPOjz-qUBUIfU0n)t@2|9
zvdk`%uIxGH!7USBJpc@jfCY87Ii@G{40q%wW-4KEggF}7U~vR^&kTEi@-q~#jQu;E
z5R8t{y|1w8lncSD676hIVSWV6;|g)Z+3^YGX!0SEyU0D)9I0gpYiN>vAu<IO9Hx!K
zSVh&ck1}A+LkK!0?>Z0NPM#3VkSLD;6A`C?qoXQ0RFl_p#ZmJ;Wnlw3V4EbzF!Oqj
zj7Rw}j7MlRQ8QH?Lsc-(p)m?JdFtRkNJEoUeG0gf6}V<!#?EeLxvTP_*-AVMx!^9z
z<u21Ji1pQnb!f2?E(d#wf-4O>%KC<usq!i?mn*o@Yke<mXRBH%Q#5qAa=6_`C@`N&
z<NG&slqSKPhmKZoo9#__LZM?c@phXy*!XDpfdfpI4*zwgcl~ehi3vRlQhq!aeFo8C
zRP`uTy#xS%O28}H2dJd`{0Uv4YMABFg$iC&u6fA+!i8>D-Kzjw6ujwq$eY?hd6nAX
zs{yViYN4vPsA{{3LV}aHEI3v2sJ#pThOCvUKBTHoISS!(5)NI)ZNq;MZv*8PrF@2@
zu0N*{x{qijReeEK--CL;0<p)@gZQv2VU9y^xlFcd(m`aGM*PIkQ$(w%+E3MRu|iKP
zNU<Hgd86HfI~2c_$_;`|6M8BDd@2F?+KXLg-G@pj0Q(~ar9I5L&s13kCfqD3w@NE)
zo*`Q*0#2x%Yw?2;5MqaZRM5xHo^mAqtcmcVJN&yK<yTFq<ynLdaMyLiM6`ygcc<!+
zolZDL!QMja>5Nl2NlExzLO5B$OtH(nXC6+~M7%tKDu>f`M7{yYAX-b+2U7K19{HGD
zGohTAN;BV`n7z$}2QOE>d^{M#c|_}|dLC8JmkGw-9ts!R*e09>P(pM#RWG3Gh26v4
za7d$|pTI<uC0P2SYnU6ZRn?#1?V`n-8?onIq3{qTImiKXX-W>Ka>skZ+%T-AXt4eg
zb-Xt`!fHbA`$POBXm`SVs5T6{Igdj1_yZVAG@n9GQs@~sxLq9itzWalQ{U23zgG8t
zI6(EjU{SNExdk6XX<gA&zqXhCddpaRTV+L4!|=fDAp`pc2J|1m|2K3_pmwi7aJQj>
z!Gi*W7X*_6-taiQpIa$^_t!B7dBbDxiy2{<>tm?;ZK{4BZGpKKU=IFwkCVgjA%%cd
z|1fN~fWP_1;Z+GYP7cFB8(j^7*sLHfDozfs*7SIg)+oSXj>rJvb`HakOIgXR=_yXG
z_=bn&WTIoKrZ3fu1vo{)K57G^o>%UwbND<ZVqZ3VzJfh97u#yH`pZ{nSM^>1u*Y(_
z(adFA$&1e6D>QjbbetT9%@saYj>53H0>)e8&?Qa|-$ryC)l8(CDPZ5O0B?DkI62He
zau$Z&6%J1OhhcXG9Kba}oE&~oQ)cuOCx;Qto<KG8sRm(a80J<$_b@d4vg+WsgkMqM
zhM^`-4!^1Ct3Y~7fqtqLMm+qECa&eaLc)8RAn~WJ<C@PNvmUnhM5<XwHOB(L_6j)3
zOg7`w*g!rEvn#q&L4?^AutA5AAE6ara*1#&MRx`O+)4pwc^;viPL)s7vAWLngcEOx
zM;SY~(>S>bw)AAGIhSg%ZCV9eD&T6Zhj%Jf6{;HhpH)Q)wkmf!E*<#=kSZ8SDeNY&
z!wO{aUXOl<*}<#oM|29++(k8S1N2w$u9hplV3-5Ks^O}A9spKQ^0}TzbevqZw-O!#
zdmjalnS!Gp@>LU6`8b$xBBk8tFe|&n$zfjYshXt>tnF7FsNfB)F?vno<f{3qg<n;*
zK*4KD-DH=fs+OwiP4Jo&yk&2-oyN&h9~dI3@khwKR)JXy<j1|YKF6x|Jy4HR@L{Ar
zl>-M2GIQuORel2I=?XsYR-+!{<f;pZPNkZ!s0L=Y>Ouv7@pb+oPOgIMXR`Hz5w5yM
zL55b(+ma5|W`YWDPx6^9R&ShKb+@VzCso~}pun~R?m!icl4LHlx6cDMq2?!Z``Fvu
zhB{SG5S>Q7il`SH?kX&{2{1uyPfZIoNt|5us#5zR-)jo?=&5b6Gg2yI)vEUuj8v*8
zPOkb?wTL^bV1FdvKAz@%p^4*c^S;uAU{v!Y2&wvo=yd8eo_gV+T-C1%X1OB=%k(~O
zf@-*W!aE8821mept)o1<^t;px_~Wg71gaVqN0^9at6^~jxUVZ<glkce(crh5r#|N?
zR9YhdERW<dJD57Z?XPH7SE_amsIWmoJ%Ve+t><95x=NFe{KsIq8k+!;{TO80O@SLt
z_E^<Dm4;}wdM^c+Xs;lTokrC#NK!fin(A>1Hb>QTUrpX($J33Nt6`-i`~Jqo6)PF!
z-@UIsfM^5tx`KM$0x&~?2_tQHxe+s*V9UJ$+(Q&}XnkcAyGG2_%an*ns~V1zT&`1d
zMaM4HYn1>yT)j>~4|cd3F|8B@J6ye9L6jYiikPc6DCb3FI75L6TiJ+JZ`7n005&PW
z=U&WYzztk|wkGQL0RBB<4xYzFw-cR7y*{R1KLWtB67aM30Y=)5n5(Z>_1ECupx_7P
z^5Z_3#D)Gxb-w`IrU0+(>-?1y-ca7D7Wn~yyNEVYufM3b{LWx_9+w68N}j-X0KlYe
zqTX@TJ9%djbM+%i!GV`<5p(skL}yd)H0qs;(w<XLWSS85Fs*)BmBnDf`I2mv`Y??|
z%<$pq9O_*~y<rin-%+s3P9o-NST~{f10CL#fMME;U1r@+N*E6I&k9ELP~ksRSqCN@
zE-81MR@gjEIAX5872R4Br-Xe0;uTD?QwkAtO`;}FW{ZP}xh7dt@cHEEh`9z^2<K7n
zIn;XrcsUA|>^x$wDNz!vVNIz5xTu&T=9GC&xh7&ig{xelgMiSsCP;KX^*)?>uZMEy
z5pxX;y!iXvfEuC;sP{3{`*;Z|d8M?bR->HW0J{)fNWD*>-Y0gCm}>?rGY!lk3Uaze
z%rzrag-KRZr=Xa-vFC`nX1tP0kpt#Z!Y-VHj09vb`8BYXqN!qy=Y`ms{jH|@SB;o!
z_|q{pu$xCx^&<QM%p_V*)&HaFx7>*Nuz!u1BQM6{fu=u_^8Yb*9^EB&uBmsc=XYc0
Gy8j29&{Hk|

diff --git a/lib/ocaml/Proven_SafeHex.res b/lib/ocaml/Proven_SafeHex.res
index f917ac6..a5f6318 100644
--- a/lib/ocaml/Proven_SafeHex.res
+++ b/lib/ocaml/Proven_SafeHex.res
@@ -179,11 +179,8 @@ let decodeToString = (hexStr: string): result<string, hexError> => {
   switch decode(hexStr) {
   | Error(e) => Error(e)
   | Ok(bytes) =>
-    let result = ref("")
-    Array.forEach(bytes, byte => {
-      result := result.contents ++ String.fromCharCode(byte)
-    })
-    Ok(result.contents)
+    let chars = Array.map(bytes, byte => String.fromCharCode(byte))
+    Ok(Array.join(chars, ""))
   }
 }
 
@@ -353,25 +350,29 @@ let xorHex = (hexA: string, hexB: string): result<string, hexError> => {
  * Example: [72, 101, 108] -> "48 65 6c"
  */
 let encodeSpaced = (bytes: array<int>): result<string, hexError> => {
-  if Array.length(bytes) == 0 {
+  let length = Array.length(bytes)
+  if length == 0 {
     Ok("")
   } else {
-    let parts = ref([])
+    let parts = Array.make(~length, "")
     let valid = ref(true)
 
-    Array.forEach(bytes, byte => {
-      if valid.contents && byte >= 0 && byte <= 255 {
-        let high = Int.Bitwise.lsr(byte, 4)
-        let low = Int.Bitwise.land(byte, 0x0f)
-        let hex = String.charAt(hexChars, high) ++ String.charAt(hexChars, low)
-        parts := Array.concat(parts.contents, [hex])
-      } else {
-        valid := false
+    for i in 0 to length - 1 {
+      if valid.contents {
+        let byte = Array.getUnsafe(bytes, i)
+        if byte >= 0 && byte <= 255 {
+          let high = Int.Bitwise.lsr(byte, 4)
+          let low = Int.Bitwise.land(byte, 0x0f)
+          let hex = String.charAt(hexChars, high) ++ String.charAt(hexChars, low)
+          Array.setUnsafe(parts, i, hex)
+        } else {
+          valid := false
+        }
       }
-    })
+    }
 
     if valid.contents {
-      Ok(Array.join(parts.contents, " "))
+      Ok(Array.join(parts, " "))
     } else {
       Error(InvalidCharacter)
     }
@@ -383,25 +384,29 @@ let encodeSpaced = (bytes: array<int>): result<string, hexError> => {
  * Example: [72, 101, 108] -> "48 65 6C"
  */
 let encodeSpacedUppercase = (bytes: array<int>): result<string, hexError> => {
-  if Array.length(bytes) == 0 {
+  let length = Array.length(bytes)
+  if length == 0 {
     Ok("")
   } else {
-    let parts = ref([])
+    let parts = Array.make(~length, "")
     let valid = ref(true)
 
-    Array.forEach(bytes, byte => {
-      if valid.contents && byte >= 0 && byte <= 255 {
-        let high = Int.Bitwise.lsr(byte, 4)
-        let low = Int.Bitwise.land(byte, 0x0f)
-        let hex = String.charAt(hexCharsUpper, high) ++ String.charAt(hexCharsUpper, low)
-        parts := Array.concat(parts.contents, [hex])
-      } else {
-        valid := false
+    for i in 0 to length - 1 {
+      if valid.contents {
+        let byte = Array.getUnsafe(bytes, i)
+        if byte >= 0 && byte <= 255 {
+          let high = Int.Bitwise.lsr(byte, 4)
+          let low = Int.Bitwise.land(byte, 0x0f)
+          let hex = String.charAt(hexCharsUpper, high) ++ String.charAt(hexCharsUpper, low)
+          Array.setUnsafe(parts, i, hex)
+        } else {
+          valid := false
+        }
       }
-    })
+    }
 
     if valid.contents {
-      Ok(Array.join(parts.contents, " "))
+      Ok(Array.join(parts, " "))
     } else {
       Error(InvalidCharacter)
     }
diff --git a/lib/ocaml/Proven_SafeMath.ast b/lib/ocaml/Proven_SafeMath.ast
index 545ce95f9b7bde62ff995f3e1ca28ffbcf9e96bd..a2e943acc5724fdcc471c83d82a7962669989ff6 100644
GIT binary patch
delta 74
zcmaDhkMZ6-#tD|38Tq-X`lZFGMHAPX8gR8tUAB*b!S50SgTQeH2HT|!3^q**7A$mF
ZaA3oP1<EOzWg8A~+UvvhY+S$H4*)_D9oYZ?

delta 82
zcmcaNkMY?&#tD|ZWr;;9L9PM*!SODhK@*ponsBvDUAB*b!S5aegTQeH2HO=33^pwb
d7A$mFaA3oP1<EOzWg8A~dh4U;+qitY9{}~$A1D9-

diff --git a/lib/ocaml/Proven_SafePath.ast b/lib/ocaml/Proven_SafePath.ast
index b2c491cd29a1a1131b224f2e282b7a7f9f8544c5..29c991bf289ace58fd4c449bea000d634544f92f 100644
GIT binary patch
literal 6979
zcmbtY3vd)g8s6UN*=PV!6j1On<V6BxgZDrlA{!toQ4o0u$V!-OCdr0mcb%CHiNrT}
zg50@L&_Yjd0~{jW9qXg?e4LKTX<e1x`MC0hcV~%@I+gNN5bLz${_byPGaF)+RhQZ%
z-}e7?_y2eQ|KERiAP}f3t~E`)yLgdd#msoho|80<;>C7Td%Uq>k<n7um7;HEJke5I
z)0*rsYSNZr)-)yU4xL)Ns+;5OMvBBXwOVGZCS@i&jYQ2t`LAKI-fS$??bfhqSjFqN
z?s_^981q~ppk@Psk;4OlQ!dG7`yyE<m&s0Q)vYC_-f5VY-kx)gpY?yvHjf3~WP$w-
z4+4E0;XIN%5Q*gW&}?NXQYz>0p%8xR@L@ooN4OHn?Z{>-ENL`xPJ!eLhmQn0LW6LH
z2gSdkM33Z-3j~IY$nB$nGbKGe)TiVk#>yF+?eJ2dxnkUGHUbhKN}TF?#yDdo4i5vB
z`8j==3M_kNJP~V8HyIXnnE_(R;pYO4^t#Z@o=tTSjdJ+;Kw~^o@Ai^#I8!pAjfPqX
z+360y6iADRpBz8c;fv8SE|S-HP;FMjwDAttfu?v9`Lt<+=p2Wy0h-~Fdbf|ehL@8n
z76daLZUae8NEI@n6D_r_ax=xM=a;dhqJp~La4}<bj5Rs@MxbVI2C*S|%_ms4Zrawe
zxZL;*s24cA7ihWH$*22W5Up_d-9T4(B+|WxFQv(MK+xduoj{GQrlk8Ww8Z)~&MV{J
z)Q3T9arh%Zo!%@yRsICgT8BRkw9X^RP32vr%L|ZP?eG_YuJ707FKD^JZJ8m~k$!T#
zSNdgk0tINe(bQwo&t8>|&VmkqZ9Zc+GPXXFAu@$USz|Iu;mO}YDE!yq`+>d}gSkPm
zLj*;pHbT7jApL|77pssRFQ#cq#z^wf+`y8+5{G|$J_~GNfjc7^lIME2AAer4HbL_e
zhgPkfPZ`GQwrrzA6H%)rQ--PA@npi%>{i{@VtOKxq<^MvwT6qe2p<v=zcd;jPV*eP
zkOj8U$Ki*8-pJ21Rh!dl#MWr>W=+S~v1G#5<1}(p+%#f#((Kl3FDYr3ab?;_&<f?}
z5EdSlcJQ#UKgernUN@snq>Q#8-QGUC+ct8J%7!dq!3$aNVuC{fmx(<bn3GgC3euHC
z91YkYiT<plvNIvliFFoWi*E}C=B2?rPi5hyENHV}Cyh}9xWRL)e&18sRLE{3+BCpT
z9<6tKS+r~NWd4<~uolA21ZM-@=6cyEYMP6t+vU!53;sOlZ4#`%j0Lx_;MM_trm{ug
zv=L`9V8Ul+W!}?NwjAQiT~`w!p|UG3VeBUQ5L~sG1?RHh1^MlN>W8;q*AldIS|e>8
zd82g5x;aZ1&0Df!x+eBiN-W`e<R9roOt%f`K$aFyXmhF?b<1ed#L?(FZtcQ()+8~E
z-rk;EONXgOJ$2jGV`~gkvy(JlO1CV{=(3H3MZT@YglAe>r4eokYb6$)qhY(tj!q6+
zttC}HHzyZVS*vR$KMP){^?PAO+!C=QSat(b7BFQI!8D*uddE88wU9=Mcpc#CK^*WG
z5H%9(X24e8&J1+GjLJ?HN^Duplr&RrA-EOrm!2=l^Rtv<S@5zDt|iz9*j2zAP%o(L
zcP@)M{2p+<*TL`0k3zPAXpaGI6f~I&hf(9>Xx!vF?pXhUBTg%oJrBmO2<`*C)tg9K
zFfi`_=8}m23gBHH->=x)kljtRcL0A=pxC=;%=#6RTF)Z&v)Qb>z6Y=s77g=(&Xhi;
zY(FNZJ_BbBaSj3|eLJ_%7gJwCywZ&+m5mT9aAY|P-bo*V->hOvJyYiAgX+O!f+}ul
z!hPL1szsu88%64k+tWp4RBQR<n@AGLG!pipX}B^Rt~$1Zs7-xzqbsE&kSebkgq@FW
ztN*|dkrWKNrVSEFlPx_Fx8qkC;y_C19U`WJCp0nTJ*Ip>a5&&0v1|F5suW4UBcBGw
zH$)yIArDA$L1GV%gD6O>62RkpyE8DZ@`=6LG*az!exqg=x}6<o{7J^2A@~!(*FDE8
zsEm&7IjfcN4UBK3o)N%%eq_)2EsQT>{4(mf0I=;x_FUP_cnRYb)H4b=-RntVQm~GO
z!T4y#Pa|qG;5d(pN}T=<ADJCjFIFLi!DbM=67al8t~Z;#?Un4rbV7J$138PyhvXj2
z(K?eCR5T=#38SGl5;)3(RK<v!L#CFik!)3|sjroEDlta!QS=8DeP4#3$xr5I@G~eB
zY546`HPL98J~b`Ut!~H6vq*_8fb}wtd4*7%3ah?Mb-|r$oXx8v_+Y?s4Qh}IPBpj#
z{pS<h3AoTr3ANO;3r&}z=Jc-y-F`^E7n?$%AIt$Jyw%{dc(J<%oR%oUX9=sxP^#EZ
z<R{XfysgXl#e6g$?b<r2W@R)=_C}*uxaPiup_4Sr%YawIT+KC?PvfN#eEQAXBourL
z{Obt54S1t#9#tv9{b*W0h<Rzz`vZ9Ey#zl5?8}>H_nT)4^K4;WI>J-On75f<?=x?*
zFpp}SYWjP2vumQlF#L8$Rf2$z3@|Y<z(h?AK0`Vx!$5zG;0b__yB0n`O(&x1i9syf
zBYK~PNd7y)F@SI8Exf<q!rj8c`-O#jBK)_<Sokb|)Mw#OYgV3n-t=fmG};r5&Wc7S
zct%da3~$k7=KvlYVC0SgMhZ7QB=npO{(lJ00sP9f@;z#*L(?I7a0Rat9qN(mMiRWJ
zjq$^bf9)My`MbEPECy=`v6cXy<V%iU_8(o!3Mp2Oct=-Il$^?{7*lrAhhPKXzw$@d
z6uNaF!_#%Z%iC0$X{OPU>=Z>?lb&cX%w(D>zgC?tOZ4bba2ZgQxI6wJ=SQW;HTB7O
zLg<n1VCpoc&Lr3gSSLf{09hj+C`1V<h}S_nkKpxy^W7Ngf1*&8n<2V{SQ`PC`j!P}
zhBtIMovk*#CaB6*P?r(B12F21U9O8qAwjwal2run1&l?q1urD3vI~MH;@k(=mY<%k
zMO0TQd(gf{w2zi=CrC~Y;rXYEE=x;gHWqU}mSE})Oud=l9|3!%VmP+S<%3n3MJK)>
zKMw{KPRc$&@^?J8(81Af?aL5uA>LmBw|P9VH1bi%6t$=F7R0*<z70r0L}^-<cLNJg
z<$X~8K<op6Pk7^^zQdrOLG~ok4gx+SX!L^x`W%f8Zq9rRWF({$QTYnOX9b(S9>&-8
zf|Gk%JUbPx-}gzTKF8D-iFy?96=}e3y1*}>vyH~!p%hbJXX={-ivagiu2&+NoVz6z
zbXQNeiv{5$Os0O!)Xxc?40u?MCl{pDG@1qJbV#VW;b#DTD@Y>0i*;}vnpZ&f9nr>1
z7zzlQw+_4tjSQypiJ*TfP2DTEpf3Xt7~h;U>+~4C<EebA#X><AB2VMf0Q0Y2ekb6w
zAq)|34&V?^$wDXK^C2Ef%msjFNt-=~^{T-pG5vCzh00l|hTsaosgf)gXt2VOH-biG
z36B9@<SF9w8r}{WJsR*1z=eXAU#%n>>AV+?!LP*EiE_1EP4g?iF3m!VSctB5ya#Z#
zRPq6_Kfc}G0AY-HHvz__YMDw=p;K8dk_W#9BD$FK&44C3>+$koNyu+S<8msVgpVS0
zy*EuG(d53wsr=WSEJO?3Lw)W6yv4r~p5N?(j2;*GeSjH{CSK!Iu8UdsLUbF!9N<>5
zSfm*}LGXvrbO(KxJ5w@!rs(wKS{B;ILc0k*1t{a)^<3Y|{29_dBEA54pQi)Hn>bO7
z_bOxpz6SV^NApL*e#q$5=kEgU_0g&d9PC379wzQbfKLgov}{=ZF|SNCWnddWN6i04
zHw(SQLi-7R3HT4+96r;&g_P<F{vF^u9#NXcr_gX}2%=9276E=%$f^~rlOQ@ka0K9o
z9?NIHIu^2j676)r_dObR^bIjs8AKluEC>9zFq?LCsCPG~K?_z(tpV{M^_dL#wHR6U
zl828(Q)QG8=Vx$>Zh}9*iiM7_kbKSDEsrVwBGIyRzvlGrsjBB97nBm5xsHX7vLd=1
zxH<cf@O3e?$^s;x4Y^7UBJnQ9d8N+lVMQTUR7{L|z!PZC1_YtH1ft=@S_+7_{(>M>
zFNcVHTU`lwrWb@cPNkH(3a#Q@h@K3kK`NW#8QzG)VIL7=SF<9G6_rY2iipzWZNlU@
zj&3T+)wXL`Q5h>L&sS#2lz531EEB8*K?~3xSSP6KAV?FZ2XGzDhi7B@PuW|&7VSM!
zkIh11i4O8pX_04(B&V(i<w8DI6v?zPJ4NfpcE-P<55Y|ms#Eio-3<Aj+}^FVQTc@j
uh*+{CMJFL8vq@Cnwb5g*DDe6pd+Bk`=t$Xx<(<04orF&mdI$NWNaTO-|A5Q@

literal 6008
zcmb_gYjjlA6`nJ9Un?PsMIjU)3?YO^UbI$35V!&2gJ*;w0)ydZa+3@sGvmx8B!I5P
zqwQ)JZ6{jmqqUuY4-CsXzF1ugbX~v&ORO%j_(Z$3SYK6JP-}g6@AJ)_Oaedr(X5-9
zZ_fVCK6~%8&pG>CpU*d;pgJD6y9yRNiBLQoOU{nQoq{FF#@28{{bHxNrZdLB;^9bh
zK~;wxFIikuyJ$)MoU0dCHAa(dHcL7yn!>G4j44ScUX_T4s$%hIhZCu))nD~X>?Wty
zPPSCWokYRbTkn0s=NtZ|&u5<L^9{Y7{|BYhJyzPyq|)UrcA_qBcR2Bc-I{R+&HF!$
zc(wAqq<qI*@&mnN5m}kzmX+z{5ldohSjMG72><EQSwR1?$gnay(y7vfcAh!sL2|;S
zVL+d;5;DjyUxiG!GVIdep_wOHajJOZM($HQPpPp=&2niB&>Yd5PFo;RA#*C`Dn&{a
zyHp8OlF#W$l_LD(!;w&Hd!v)!F4I6f!==lChIw6hWY4D>h=#j#1<**3)V;m9vNBaX
zaSf}gh3o>Ct^o>I@|U3zE-gXJXe(#&X{}ie*T%VI15Ne@%Clw-M3=g>7HFDB>fS#3
zCK}78Bp{gXQW8j8!ltkb9cZb}8aG{{o(p4fX(@N#JYT6Ar5at@0@UP<AQO_ad}1PL
z$CHU=VLkCFP_J~U8|XT(Q=aX2LbTka-vO=iNNjr*E#<*?Kv3_}-9QalOWF2&(Gu#j
zIA=`$q&@;#vrCTxb$FxXnesS9>s)#QXoE-6lS-Xz%RxwPbm<V#raoJqLd)iC%QT52
z|7ECK=Vf{#FVf0}xE<1Yc0?z-^1Jl>0;RSnwbe>7nU_ULLo~`ulwQSB_`;=QK;MY6
z?4sBqiy~ERG4BmX-=`rGh4eTXrZE~~$=h>$b-p^6-nl~gexrQ1St*uhy0;ISQ4p9I
z@HUS?Mc@kFWfEP9q|+9VRU3%LoVc9~M<a<qvc*mYLUtq)<*&G%XsIj+STxv@f7V7r
zc$`nJQocL*ap_Z_7jq*`3CwPBLTdxzrhpCIp=cy&hgoxDIPQd!(Rf!N>1|AbgmXi?
z6X6Ku#t;v`)qYT=`0uAG9yhzIm4*}IMaDJN;98~jD&;aP1Ux9yH*h;L)o@4;GqDKp
zSxwB}kW6(EM9(p66yS?_(LZHN8pGicE6T4?>bO$>U|0e8wwFYD>l&~Pn`%my#T_mK
zJn41lOHEVFg6w0a%?A8TXga;l;>H>@{#RN!Nau6z$>eMho94m(HyO@ftkma9eK8=_
zOjQTYE6iC6_<EkZ<+)@t)e4B8%4Qp_mm%sGDfLr+7_J7~lgoffr({4l5lHZ?1;$6B
zc~fsElXhrrVnY7Rn`%u~GmXOJ2l^&|Qo@deli~G_WN*Z7(`nGLRQabU|K)7SI>7mQ
zc8_y+IhDrCf$EVrfl<rk&47A~>UTDo>gN!xVAd}HSLelMU@GMHpNhB>Yvsj`gI=O^
z#|mYftBfLscLJ7qbKP$nJ+<e3%a#9i<(Dbk3Ha%E?D^Pr%HON}f8w6I0r!8$o(GmG
z|9a)WiF-Z?c(d1&GqYbDpSf1~qso5+Q=bLw@~Akr`E$sy^ys+~g_oi17KX0?{?^KL
zr_(n-mo96MNMh7Gov}C#&ODUiIP>~1t&c<_PJOlI`<DE?<w=>5swUG)PZ$%o*J(QM
zN5g42f8hA<Nzp}gE?r0$a=x(o?Gvhk!AgFrnpvT#zQoA4G5iW}yIwj}Du#0c^rR~K
z6>6iCRAJ$P!qN4ndYo1H2c!Qz3=08wYE>Dk=BBgJbUzNL{Ah5g#PT9c$^nKW01tZ6
zpqW&VjRDONuV;$a>?j}a=g>L)k@IyK&8H$N%KBPfwK5oFe}lnQaM%B1s6ND_Tmtw4
z+~vil-KEQDjD@Gqy^~^~1^&wns{xN?-Rt0{*=Tz0H14%a@A=5q|1ewt_<7E~WS@Hp
zaW5(EwObTB#l3B`DbKx0;$G*ZNfrG0!zRzgFw}p+BdyWUC>-EoWPpnS(?3pZYzKV^
z!w$gjXFc4-O`T{OdKwRVrS~SR<Z_0a0jqKz-rwipPVw-5@vzsTdrt9iAMMWb@ZzeK
zm(Q3QEDi=Y27@z$!HJ%ef4~Tnc(6YL)(miR#{efeP5nW!vlslU814d`m-X@uZh8Ps
z^Erdkruw^dco=(K8^cFdDr12%7JA1<u5dT~d%y}YYcF6pZ*x4^cX0UkLA)q?aG2^%
z8RcM|QeW}I@Q{Z7OLHg3WG+##!*lK6?c0Hdu0Y&ri+1p}DbQ#~nw@yGJrM}C*j!oh
zEvaASVET__^`GYa7%zLx+-Nu=cD#PQGP;#<E5pA5-ldm@cW#t4*a<mc{O>~A!|**o
zp3MRG8Por7i0)(73BU*P!h$oyQ$02&MYHJs8q^0FegpWZr+cg|H%TTLCM3HVo&mVW
zO7}mqjI$xw%bX#A`*Xu{dB7EeF%<0wq`gRAw6HlnjQipQzArA-yRnQps$LndDuXk{
z2mrpP4a2cDR^M_<5>b5w8)aZ{tzwh|el29#SNPz_d23t(;Rno{40yuhNoe#9GA>n>
zVL|*2!)guLUWxf>ODbb7C}%Kx9^g<<FG?yXt%K}brY!|55*q&@K+DiL0%bOhgp7ry
z++!t#KM*$mT%~^+uL&pfgt*y1eod<tjZ`#>sm*}nwF5i3+F!_Lo9KwxipmsKF^mFU
z%zM3Ir83zmDdobxy;TQfeMr$vMOQL+1K<L!PX}a7+-VYpTOp}s_!Gb-LdwpAm(a$q
zAgg2AuK{%tl#4?*8kc8Xy#+sKYgZrCQ_zz_28?Tp#%t^lU;0fW-Kc1VB8OoQU_5W|
zz9i^{@OtL$0t|V)0ZH%}#0h5Z23)6o_7c{s1{-B~*HLt%qMtF`2bj`i9iY<{j>cio
zxGXWA2HfEplAkq4A-kJtF97ZoS}s~Ip^?vfofxm+=N28UtfjfgA8%6BtLRbI^%mft
zwUN6df%0biLkRaU?<2r{+O*Voxl1__y?GcPL$se+p8y`_WF4e$p%RkM(3s)kNpciR
z*LwltL>jZ#c9W=C(bI~Kx+a-`$MYkR-3aMy$lhYw5Wsgmnq1vY<0&4MiXeKQ;RwJF
zC0K0PaBdojrjPiyo|)pQ)1}jx7DXqN>0?*|sMmWobNeDg6<SK4GqDozTh9jQD=QOy
zmqE#y45tDXcr=+?&!gFp8BCi4_`N*Zg!}}f1t1J&?n1!xgsVL}OUGP%ERm)Ze4|Un
zl;vxbS)$B~8Lj}lByWs7*FunTT|te2Kk|s$HJU8yA`s1D7zG^g7OYxWT@X!UxE^r2
zrz_w8Es#xS+E&1+9!<|E%@AeVAezDOmw?`zqeAgJJ4yYcbsLB^+~;<{g`!zUOCLTO
zP0_1_Ilo6*9AS9ZT4gR$=Cu;douWTOhnSY;GQ~J5=G=|FU<1Q@T9vs>nL#O2<kbj$
zBDpTAO(nV13;8N;kd1c<&MSJTP4Ss(HZbF1z$Tuv0gI6KLe$Kx#{t`PaQZDm+7D5L
zSqA_+*bco2Gc=4_52AIQHtHhnkf|nnjvvP1Z~+sajwrKJnHw}Q#zb+Ml(>8ZM>m(`
z^n6sA8<lxut}=_p<h6~kUIptQ!()Jd8CWOKaR{Da&Rc+g<?-;2iNCo{pm)%IRNJvl
z4A$sFl7n%UY;yDgC}}!hrax`Ut5=gwtWriTKMYR-rgD|tH2w0awJWfO%P;S>P+N>o
oLf*{ExxQP&Z-%76>w7cAuLqpASh9b4M_*+Jp)#@CPvw^NKgalAZU6uP

diff --git a/lib/ocaml/Proven_SafePath.cmj b/lib/ocaml/Proven_SafePath.cmj
index 6e825da9e250c4aee30f2f73da1bce814bf37457..f9cf6770782479d95dbb7c30dfe9981e567285c1 100644
GIT binary patch
delta 66
zcmZ3=xRX(BOYalsnjPDYtUI~j*uoB{Q!P`M?PFkIm<q&7KwJ*Q*#|C6R8tht&PXiw
TE6vGqsw_#Juwa4XMCT*`r?(m!

delta 49
zcmdnVxRg;%+rHGvt=3S^)b;oJ=_R(+EmN26V_;xt1Y%hrP6OiT0|zFmDNc-z0|1IZ
B4<7&k

diff --git a/lib/ocaml/Proven_SafePath.res b/lib/ocaml/Proven_SafePath.res
index 91ac014..2da9ed6 100644
--- a/lib/ocaml/Proven_SafePath.res
+++ b/lib/ocaml/Proven_SafePath.res
@@ -12,9 +12,24 @@ let hasTraversal = (path: string): bool => {
   String.startsWith(path, "/") && String.includes(path, "..")
 }
 
-/** Check if a path is safe (no traversal attacks) */
+/** Check if a path contains a null byte
+ *
+ * SECURITY: Null bytes can truncate paths in C-based filesystem APIs,
+ * allowing an attacker to bypass extension checks (e.g. "safe.txt\0.sh").
+ */
+let hasNullByte = (path: string): bool => {
+  String.includes(path, "\x00")
+}
+
+/** Check if a path is safe
+ *
+ * A path is safe if it:
+ * - contains no parent directory traversal (..)
+ * - contains no home directory expansion (~)
+ * - contains no null bytes
+ */
 let isSafe = (path: string): bool => {
-  !hasTraversal(path)
+  !hasTraversal(path) && !hasNullByte(path)
 }
 
 /** Sanitize a filename by removing dangerous characters */
diff --git a/lib/ocaml/Proven_SafeString.ast b/lib/ocaml/Proven_SafeString.ast
index 3353a019652a33b169f0845cdc39f8cb22e43c61..c1a67784075c29907a7281e0cf1a5c3cb12b2a8f 100644
GIT binary patch
delta 5426
zcmZvg3v?C58OP^K?vlH^b3-NEfD(a_2LzQQKzK;N8#rJs2qK7<hbANel8^*1iSm*K
zL}*durrX*>#d?LRSgk~@9yzuM2o@FV150hCTJZr27PYnV(6-;q{wLgc%DLz8`@a8w
zXJ=+-znRU6<?B}@M%W9Q8*7VO7uUwyo*CY@A{<#JM5I`Vk_AE(4{dA9b}NcIEKfZ1
zN}g9xy`U<-xP7;k@s5~E;rA*03G)%~KVqTuSo^;AMDl?|K}9@XwKTu6s-afdkHPW<
z^KtMwWlts($-;%TP4in8DBme)-!gw5u+42Il8I0_lrc7x!575Z+qU+#G7`%F4Lla}
zx8RJJ`qv)n$+`a`7gm|wR+xOZAZJe471PLe$nM4|3C_~JZ%gKuXlFO1d$1)7+>;wo
z!%J9cCsk{`kk4bz0q6T~lt#<L1qgFkDg^fn2F(3W=9cQ441!X?u3~VZe`-YUG2u~S
zI@v{J4`!(xJX|-B7*O5Z)Kc5jq8>!J0@?`XvEZ0rT6kgfYH=Oe<H(-E%4F~~|E9t|
z-VYJYU}Yw_)^v`CS5VztQ>$CAhB}X(HQ<I6XKtP9LnD+%<|c5Ha_Q%wW^fU*%_=jL
z6LBOaDp&iiU|RdFSfQG`P0S#B5!q{*SAy61rTw$KA0t}D$_DW2l<wrKj;khoh|8IO
z3igb#;~8&(vW8vvfp1rx=G7xZX)(Rnf(M=+=4R`{+u^#4uXqH!(X`7m*U^C|A+BfR
zQ{X#|u`O9JtgLKEnO+0WLA{%uzXSVz+o&Gi4lFi(@9+U}J=yn={Sf<J0&h1hs)u$<
z)xx?OHTXB7CYcX`A2iPGyn53!l<gfzk1!trKOR%QU;;cf1EvcF>WYuV4P@^idoT0H
z;C-fH?!tiDc)U4&Rm~D*J_W;0=Fh=<Qp~~9IRj-syUv1N4Eo?#6h-~QUeS4WSj;5*
zZL*K<wrm^xMM_g0Wy$Ua^-FeUfxk|1>YLg*P|mRHV(?l22^sav243I|MCKb-FA3P`
zn$m`O#`aK%-(zDLxO>odUO*Af4o5bsrj&D~oEwQ;HYYe7g-5=Gxm?U5$Lm2(Uu8b1
z=3jfRz<XWHo|u?TPA)kE0%<I&MkY(+#2j*p$Qi`auJ%V&q3T!^_GEDrIVI!_XX6xb
zxgJ%gdSXxaAdY6^b>Q*b9a}F4UOxS%G^mcx5tZb8pPb3eH-fK;CG>*nsQ>lNbxq1#
z55rXE2JozuIX(XbTRh0K+1d)OGFDaj?F&?kw?V3AUJ0&Mv&>!1=G-de=BWhNS9=W-
z^JCme9!9}<wOCbC8^m04TFK#JVc#i=f?ySfVx<>b_C)@56ay=Lm}OtfKfn0WqWsHL
z3rV!Fn)w0n1AIZ!O233>$6s-2@92}rZ)49>;2r*sOE2<vAyO?p4}SLlJeqyb_>Hpn
zgZG#x(=qS^Q1)Un2J&;$J(*_N>k>gtQ`49}SKaSVVy>qL&+oK-7?-{fTu^D*K3||)
zE@$}&<b8oW&$2hO+#b4twWHAXbArPUv2eK5+aHN)a$Y3o73F<UuOf?%>AG*F^$dkP
z&Rc1tLRN6;2{DPnYbm^rFFh%0$T>*PYue&tB(~Zm>@UR+DBO#}H!=TH)ROZ$Id8;N
zhqfgXh4I?OtqWU}?;L#NnZE(^!_=<DE%CahZu8mZgdj~~w)`6g<yL1RGo3SC!85t}
zP`Vle|IZtn(+$Eb-NT(qNmQsQaI&G4g!0v-CoNl@Se#yB0%hFCKjs|&$e^E7q2E&6
zKRQ?}AUBI#)#wm#Z@;}bI(jsseyofE7pUcNeh7L5<DvCu-vsbw{%gYqWINME9l4j2
z8)NA@@B}|ra&dJfqN`Y`0?#mS8yAo~o+8!ldT7@(H-Kj<pPmV>bxtF)JQI5S&4|nW
z-6h%HQc+LtY;xzaa~XKP9)#Xs^WwGh)NO8uRL{H?+-SO^wl3>_WxESf6Z1xJJZ0<R
z^d_Vi>+ZOg(}u*2er0KN_Pt^uxvk{#JMU}(uh9K5rvqmz(tOx(wt-jk*n$Irr52&{
zDDr$Ba2^A1<P%`_sHYL#!OAn>lmkF;0CaXi;mzN99=u5(0G(GvBe_2zcQZ=|!N1f~
z(WziNZ$P`BeQ$yv<^y2QZ0B#HiQHe4`&*XY1wZTW>3LDM^9jPkEPV=oUvGiCMrL}>
z*GN6b@@eov^Bm4E3zwk1y4!Noz^|wH^nUBQP~K#h1Rqi^y?A)VyP3$orBX4kJ#=BH
zP>C#E0I5Bswmh5^Eo-^bdWmLokCOX2a}GH5U|_atw*cY^HWq?UnSQn<^GXK~*Ebua
zHIH0AK)A&)ex*BwBcXZx>Wt%#5R1q?O|lE~NO0IRo4WnFW1$Lmjssi9sTcOGs=<j`
z@<`eoOoA^nWn~AYhs7!A+;Qe>#LXnTl2k{EP(_Dj8dk$SY?&_NBzus|2_|(0*4nKs
zT`v}syqIKPmV!gW1ap*hD@7~GekAkRR|PK8-R`sq-FeUkvTr_kuwPM@>z!4@T7+`M
zA1Ut5;uexaNDei%I)83+^FrlX3Rem9GVo9}BwcXZEy`3&CMd722SaYCYfxUDGpdcX
zVm>*C_{V$)v&Dhi&HuP;s=diber(u)=)GboN$$xqHf{lL;CkDAjQbEmekt9D!EI{L
zoeQq}I5eMqJHVT{;1)%HFP4#fh~#6e>;gZ@^){!*eF@>yEWHfgYZgMvn{^1<3+#If
zjDs=H2p3%UFtUHZi}E(&?Obr9o_ka*CwYM6AKCf=Sif|^3P#0sPeS5C;C=@Fi|LPA
zm>KHJ$NdV@Uzz_6em7-Za{4sV@2UPsPMk&JWv;m0=g5$_jpX|zkL|Xk1wO8))s$T6
zB7KrA68ssr7L?pBA8}7)cjQkqN5N<GN4M;akpIdc`+z%6|K_7x_J?woT?4@9xaRg5
zJyfhD`5%f{tdxNrJr|u;ySyBl%f3<IEM0Qt1mRI6n<9N#x)PkPORl^Y;aHZYfv-l%
z?dnw`!@IYv0*^4y;rzOg_0UGLuK^sK<CFUDB)a0t7ARxb)e62swWgkpI=IMNkyRPa
zdFLyxTm~tpQ^gIbbs*Q0SVfV^6sh9i4ii+Hjs_1Zq`oiZCZqC6UM5U1$5?qxraa5d
z<e^zUU&vn=Z^suxTe9Df!Ky&Ztwy_%gKZ|L3<mMtkM@jAb;;w#RmZ^&6V!L^$Cdi;
z2J%@W*RXe|2^JWy-YJIZj_fgF13UMcpou@+dwWvd_8^JX6uFrq9tW?QAoZ^m9Uo`%
zu#uOt_s=F+X>O}uLsvEWp3&BD@OKlePk9l!`ul^*yLca%F7feIen?^sMSet)P3rM4
zG&_VmhQ*u4p5r8Lr$~Y#KVuKapW@Z{fcXT8wG_FBBAZ$3{9!5oMPeOA?xhHyXysQX
zxMZvDeCPM(tWo(JNS-snqyD?)dEVW8&qxSW^jFLliS-nDj3U4J?nV)bz_x{Lnc$=v
znb{~ts+AsW6p<_#Hkyq>ZdAAGDVC5N#y{o@#gZ;MX!X~Pp4vUnNTEKe(X>$CSnPi`
C$lBWg

delta 5438
zcmZu#3v^Y*6`hm3OWwVAE~w-K_<@iQ2?8OYpb+F`fqWGO0$M;qeqtmaOacaoTor`=
zgh#JR#kzcAwbmASLj5boRX_DptMvy~QB+h4g4Lx4wWVj~?g@#K_14NhXYZLgGjrz5
zytlsX;HvmJ-tvm3+*#*ee9`RkiBo57Djh$fQV1_ch~ZO&D9TJE?u;eclkr4hO><Sn
z(wf;<)g{~Q3yXf#YV-s9Z^}u_Z>nitR@V~vxqbX2u}Eqx`3$#==QPz^o@}?$_KTSm
z-AB<c8Gi!&wUQ+gvE-($1FW>`mFzI6Zx|l|?ue<sWJI#>Kkyw@9=5-Ny`OuECATM|
zLS&sB%*cygmiAvUo1)*7oyxNR0Y`LTn-bZ>RqJR3?kHmm*yet8<W|aFrSafTXWSDw
zBiNUoQ4-C9=`qy@xOeBA64}LikO5#aS(Oc(6`VKXjPs&HMH$)s$j)JE7;u5^AYM?_
z*w9kb(9*187zwVB@mavd!J_=W8RNwqvd<zr#!L)&Vz42<zds$;WM(b^o@;{RjmfKO
ztgg|$&jEW0E9U|)=%UQ7RWX!<S;%-1aJf?Hy~$#4CA^E2X8}8^;V99YvnyQIfo*N7
zyGAjW><Y4%F<uIMwHZ{ee|Cw|tpaxy<2K-?;I%Qm>!UZotYc~&@KV!7=N@kW)6A-k
zz%43hl~IwDm`*@!_;+f=Ef8J9_%`6xYQ)Uw?_stwbvJNZP+X9au??2b%>BS?gKcB8
z{Ou;2bmxzWOUPbN_GZ>S4t%SLS?$X5in`ir6~;4QH!*$|_!gtQHxai|jw;#TL2Y6D
z3h*5<r3+{1t0^Lc)GXEFZE-2t39@%G-VOYq>6k+(sA+0yY?@l#s>J&sxR3FNz&pB#
z!`wIs<{?%c0)9A*Ay`_N;m57i(W<v^#XPcKAp0H09l-B)=?yi6r8a?nopB2A9wXJ;
zHSo+cmCytEIpdzdy8fub@+Vb-@@IslNvZon@gC!Tz#r*uyPY_@Ke&%sHvsq$XN=9u
z8Ke%*$ruLb7c3|Wv6HH@#JA6Z8DZ*N;AprS+yfU2dn~+MYxFMVs!h^poIWZn8IL5Y
zWgHXp$#KZ(t#Wp+)~dNoKqVN!c%oQ9PC7ZK#(Y(D>`7svi5_D-SzJcWY2;*c^IhSR
zbf%d-OO%t7L(X6p&IT?z!Gc^0ZaC|H27C?{B$niS9C*<ZHE@M57LhZSoKiL_fhWY`
z*oxyjQ3q}!>*|50onYW5aMM}W3_QDY;7A6$m&08a<8dZ(EP3av6jtG^7M0}i=L*I?
za6PM323e^&yw3dTECE*PU|u@@1k;BU=4Pu7ZbG95#y10R;0D~fzh%z~Do#H=)4m5p
zoJD^C{$23WkbeFSShq8?6Zq~E%<>U%_pt6!;QP%ib!PDOVLt(8JF;ak=YkGpvSqJ~
zhowy2rKxjO=r4#$Ur&BJ8!w`1GHg(0+3UH1?zx2NS3y4z((^3)My8XIOPPBM+zxiI
zxf{Dbi18j#Mb1ug9#PtxRc0nFI-qmdN|BMs66HuKidbRO_r(PiT}#n*-1GxcP0pj_
zJfS7)F%x^K8sZZ%jiRSgw4Cv$qK2F&$=MZC0o}#N`FIW;f$n_PeG$wU)~Bc40oMiW
zIvTVL%dSd+r>xy_Qi11jSCQ24Bt`h{a(aN6ucO(fn0Tq0uH%3i9?4Y;oUrV*%H2y$
zqO{xj!}z42W7uZu7sQJOEzTELkSoaL!|x0NcGZR_KjN<M<Fw0ZZc(Y}6oc)>cm(h%
zTB#<<qS}VVN_Q?eet<Y*fcph!3@^->B5KJUMD9>#rUH))O4CpCoidoCn3@ATLFZi}
zrk`a9Vj(y_g-$u}WTn%Y!L`b%fOm@Wuw4baQ19}N@PXJ_Pn>#jCAt1oaxY?SgEAPG
z>1pYzjrX8)H7I^`IIY0*On~ZovjR2RwV>uRz7Dv&%k{?YHE=INfH#OMeLd=Q9U<O?
zJZXJbIU7YCxs~K{MR4N4wK_iYWN>bQyPhSRfg5=C;VZ#XDeBw-{|d$l;FTu+;6S=p
z;`|ZrCYIa>+-f8|n0_8QJHV`B)lT3xejfH8_mrsTr6iY6i_;GLE8V`^UFAFr?$@k)
z4)`X19rl^zye1mR-AwMCO#KsBmmfWsJL7qi>KZFr@>&|FHngZ&y$8)-8Se#t<u`*f
z0&iq5{~#RqGI<F2Q8ORDXH8;%4el}4eFOYt7hSjy$G|+*Zn*-uU8&SIsx#@P!27gv
z#gZkFzL9(dn6g0K9w}f4UY3^CsJLFDk=%cf%U8U667XJqGrN6Z?q;eVaOeADQzEB$
z#Ax09KydG~E(iF-FpBWaXi|Z{4_WRIv6S5X<bK6?C~)Ujn=WrU-*QKR{+y+wfxk3M
zqqAOJqV9N5-!P5=f8QnR!@|Yn1O)dc<B8%ba(^JnE0~Owc1k8ABi6L@_)|m^$p}e)
zc&KrvA>XPQPZ!N39g-eX`q|WZrrk2JjASp8C$nr0aHfvBTOzviz^Tof58R)FQI976
z7c4$ID|T3oTa7Z7$GAo;Cpmy*wyE#Am5q&hUF)GbomCCM*}<-}`wVG@)ics7tjW&j
zs@qnvn4EV0FkS(CEJztO(_UkkV8N(@#T&&6l2s%Zvn~#-zkB?+M!Q?U^5JxE1759W
zt}mj_8trZccP;Dg0$#^8x**eiK&&Jgki3<t9l&>}BAw|z33Dq`yMVU`#Up$B&%;u)
z`Wx`h&cnfF*?ke-zu-i?4EyF2mSy)Xv5Mq_Bp>IdZv*So7G^T4vim_u`H~BOyAQhO
zx+Z9kA5=^SKt0d+-@q?*Nl<nlg8O9zco_D>C#uSBhq#91D<t3GmPf^m(0Eg?v?<H(
zF=+O*TT%eO!-*A^<sN%DFd2n^KVuvC6a8&no&s|(Q@w#dHd8a@Se^>zQ&yb@{F(l?
zE(^qJk_SohPZ+Wg_*>mUw__lOf$LyhQHVXE>#-aoeDYGs;~kV^flt=6RFn8gJ(iQ8
zDPsL(;4xu6?&-@ic=%-?=K$xK867Xkav`{U)|CSncG2mAEUy4_CaY?JhbWcWKvj_C
z5_pFySM18<@q#QHK-t|2a>P-4(n{i5^2U-kgN+r&xYz^`ZePS!(lv&i%Enq_OylaE
z?%!xkeyhk0#+YKd*_0SKa)hdC@)pDKR|dJ+7#HfGfAXC_Ek!liYE*OCxXT!qn7(-}
zbA$KBL`(l{sF|$WW{f#Tr>~GvI*11i$uDU6kTK@-PXcH7LJiqY;yUsclE*(^$fu3b
zV7lsZZ&>n0LtoC?myEH*Xw}8h<CyC7b;C8X@rE(@=MJ-t>K6~6_mk<jO;G$zP3|Uf
zJ$cK>Yg3zDXKoMqFXZwO*1St%4SCm)cYWBwUL22CnR}naTJo4)$6WX8Lw-hL9eF<|
z@0Tn*K%zLbHtO)ZADzQS8fWPdWBfMwt|X^a{XQr=P+a*}5qXrvdh%{1Z_AIb4v!%F
zMZ4vt0N)ra9M@+^8myJ(>X6rQzn&DWBy;$~*aNN%wvL;bo@JOwf3-9zkpZ#T{{dYG
B;xYgL

diff --git a/lib/ocaml/Proven_SafeString.res b/lib/ocaml/Proven_SafeString.res
index dbac317..2123890 100644
--- a/lib/ocaml/Proven_SafeString.res
+++ b/lib/ocaml/Proven_SafeString.res
@@ -78,7 +78,7 @@ let fromCodePoints = (codes: array<int>): result<string, string> => {
   } else {
     let valid = ref(true)
     let errorIdx = ref(0)
-    let result = ref("")
+    let chars = Array.make(~length, "")
 
     for i in 0 to length - 1 {
       if valid.contents {
@@ -87,13 +87,13 @@ let fromCodePoints = (codes: array<int>): result<string, string> => {
           valid := false
           errorIdx := i
         } else {
-          result := result.contents ++ String.fromCharCode(code)
+          Array.setUnsafe(chars, i, String.fromCharCode(code))
         }
       }
     }
 
     if valid.contents {
-      Ok(result.contents)
+      Ok(Array.join(chars, ""))
     } else {
       Error(`Invalid code point at position ${Int.toString(errorIdx.contents)}`)
     }
diff --git a/lib/ocaml/RuntimeBridge.ast b/lib/ocaml/RuntimeBridge.ast
index a1d31ff31d10a51421383f04f1d84e4e5560bba0..3f7aee02e3d858305d4747093c2af5f93d2c1f70 100644
GIT binary patch
delta 66
zcmZ3KH7jd^A!kN@ZmNE1aca>-I}`Q!3=Eu+3=Ar%3=B$37A#n>frEj8Uvz<@*M<X}
OX8K4<bvB-iGywqF_7*At

delta 74
zcmbQ0wJ2+XA#Yh?kxGzjfPZkji)YY8D--S23=Eu+3=Aq63=B%k7A#n>frEj8Uvz<@
S*M<X}PWoudbv7Q1Gywo-<QI7W

diff --git a/lib/ocaml/Types.ast b/lib/ocaml/Types.ast
index 8d6d30180ec1501825433caa3a98a43474bbdf73..23b9a54da92885867b30b78ad6a81c1e4f389ee2 100644
GIT binary patch
delta 77
zcmew)^GardGG|79ZmNE1aca>-105q)1_q`F3=CX<fOz?W1&bXPa4;|^Gc3?f&d)1J
X%+1V8%q!V&fKyK&NtepTZF_hD@*^7j

delta 85
zcmaDQ^GRlcGH+R8kxGzjfPZkji)YY89UU`41_q`F3=CZVfq3PD1&bXPa4;|^Gc3?f
b&d)1J%+1V8%q!V&fYVAJO{dDnb$fULnu{Du

diff --git a/src/main.js b/src/main.js
index 84b23f5..52449e2 100644
--- a/src/main.js
+++ b/src/main.js
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: PMPL-1.0-or-later
 // DotMatrix-FilePrinter - Main Entry Point
 
+import "./styles/shell.css";
 import "./styles/main.css";
 import * as App from "./App.res.js";
 
@@ -375,18 +376,16 @@ function clearError() {
 
 function updateGforthStatus() {
   if (gforthStatusEl) {
+    const dot = '<span class="status__dot"></span>';
     if (state.gforthAvailable === null) {
       gforthStatusEl.className = "status status--warning";
-      gforthStatusEl.innerHTML =
-        '<span class="status__dot"></span>Gforth: Checking...';
+      gforthStatusEl.innerHTML = dot + "Gforth: Checking...";
     } else if (state.gforthAvailable) {
       gforthStatusEl.className = "status status--ok";
-      gforthStatusEl.innerHTML =
-        '<span class="status__dot"></span>Gforth: Ready';
+      gforthStatusEl.innerHTML = dot + "Gforth: Ready";
     } else {
       gforthStatusEl.className = "status status--error";
-      gforthStatusEl.innerHTML =
-        '<span class="status__dot"></span>Gforth: Not Found';
+      gforthStatusEl.innerHTML = dot + "Gforth: Not Found";
     }
   }
 }
@@ -493,7 +492,7 @@ function updatePreviewPanel() {
             ${r.contaminants
               .map(
                 (c) =>
-                  `<li>Position ${c.position}: 0x${c.value.toString(16).toUpperCase()} (${c.value}) - ${c.description}</li>`
+                  `<li>Position ${escapeHtml(c.position)}: 0x${escapeHtml(c.value.toString(16).toUpperCase())} (${escapeHtml(c.value)}) - ${escapeHtml(c.description)}</li>`
               )
               .join("")}
           </ul>
@@ -510,7 +509,7 @@ function updatePreviewPanel() {
       <div class="panel__body">
         ${contaminantsHtml}
         ${hexEditor}
-        <p style="margin-top: 1rem; color: var(--fg-muted);">${r.byte_count} bytes ready to strike</p>
+        <p style="margin-top: 1rem; color: var(--fg-muted);">${escapeHtml(r.byte_count)} bytes ready to strike</p>
       </div>
     `;
     previewPanel.style.display = "block";
@@ -532,7 +531,7 @@ function updateVerifyPanel() {
             ${r.contaminants
               .map(
                 (c) =>
-                  `<li>Position ${c.position}: 0x${c.value.toString(16).toUpperCase()} (${c.value}) - ${c.description}</li>`
+                  `<li>Position ${escapeHtml(c.position)}: 0x${escapeHtml(c.value.toString(16).toUpperCase())} (${escapeHtml(c.value)}) - ${escapeHtml(c.description)}</li>`
               )
               .join("")}
           </ul>
@@ -579,5 +578,12 @@ function updateButtons() {
   if (verifyBtn) verifyBtn.disabled = !hasGforth || !hasValidPath;
 }
 
+// Sanitize text for safe HTML insertion (prevent XSS)
+function escapeHtml(str) {
+  const div = document.createElement("div");
+  div.appendChild(document.createTextNode(String(str)));
+  return div.innerHTML;
+}
+
 // Start the app
 document.addEventListener("DOMContentLoaded", init);
diff --git a/src/proven/Proven_SafeHex.res b/src/proven/Proven_SafeHex.res
index f917ac6..a5f6318 100644
--- a/src/proven/Proven_SafeHex.res
+++ b/src/proven/Proven_SafeHex.res
@@ -179,11 +179,8 @@ let decodeToString = (hexStr: string): result<string, hexError> => {
   switch decode(hexStr) {
   | Error(e) => Error(e)
   | Ok(bytes) =>
-    let result = ref("")
-    Array.forEach(bytes, byte => {
-      result := result.contents ++ String.fromCharCode(byte)
-    })
-    Ok(result.contents)
+    let chars = Array.map(bytes, byte => String.fromCharCode(byte))
+    Ok(Array.join(chars, ""))
   }
 }
 
@@ -353,25 +350,29 @@ let xorHex = (hexA: string, hexB: string): result<string, hexError> => {
  * Example: [72, 101, 108] -> "48 65 6c"
  */
 let encodeSpaced = (bytes: array<int>): result<string, hexError> => {
-  if Array.length(bytes) == 0 {
+  let length = Array.length(bytes)
+  if length == 0 {
     Ok("")
   } else {
-    let parts = ref([])
+    let parts = Array.make(~length, "")
     let valid = ref(true)
 
-    Array.forEach(bytes, byte => {
-      if valid.contents && byte >= 0 && byte <= 255 {
-        let high = Int.Bitwise.lsr(byte, 4)
-        let low = Int.Bitwise.land(byte, 0x0f)
-        let hex = String.charAt(hexChars, high) ++ String.charAt(hexChars, low)
-        parts := Array.concat(parts.contents, [hex])
-      } else {
-        valid := false
+    for i in 0 to length - 1 {
+      if valid.contents {
+        let byte = Array.getUnsafe(bytes, i)
+        if byte >= 0 && byte <= 255 {
+          let high = Int.Bitwise.lsr(byte, 4)
+          let low = Int.Bitwise.land(byte, 0x0f)
+          let hex = String.charAt(hexChars, high) ++ String.charAt(hexChars, low)
+          Array.setUnsafe(parts, i, hex)
+        } else {
+          valid := false
+        }
       }
-    })
+    }
 
     if valid.contents {
-      Ok(Array.join(parts.contents, " "))
+      Ok(Array.join(parts, " "))
     } else {
       Error(InvalidCharacter)
     }
@@ -383,25 +384,29 @@ let encodeSpaced = (bytes: array<int>): result<string, hexError> => {
  * Example: [72, 101, 108] -> "48 65 6C"
  */
 let encodeSpacedUppercase = (bytes: array<int>): result<string, hexError> => {
-  if Array.length(bytes) == 0 {
+  let length = Array.length(bytes)
+  if length == 0 {
     Ok("")
   } else {
-    let parts = ref([])
+    let parts = Array.make(~length, "")
     let valid = ref(true)
 
-    Array.forEach(bytes, byte => {
-      if valid.contents && byte >= 0 && byte <= 255 {
-        let high = Int.Bitwise.lsr(byte, 4)
-        let low = Int.Bitwise.land(byte, 0x0f)
-        let hex = String.charAt(hexCharsUpper, high) ++ String.charAt(hexCharsUpper, low)
-        parts := Array.concat(parts.contents, [hex])
-      } else {
-        valid := false
+    for i in 0 to length - 1 {
+      if valid.contents {
+        let byte = Array.getUnsafe(bytes, i)
+        if byte >= 0 && byte <= 255 {
+          let high = Int.Bitwise.lsr(byte, 4)
+          let low = Int.Bitwise.land(byte, 0x0f)
+          let hex = String.charAt(hexCharsUpper, high) ++ String.charAt(hexCharsUpper, low)
+          Array.setUnsafe(parts, i, hex)
+        } else {
+          valid := false
+        }
       }
-    })
+    }
 
     if valid.contents {
-      Ok(Array.join(parts.contents, " "))
+      Ok(Array.join(parts, " "))
     } else {
       Error(InvalidCharacter)
     }
diff --git a/src/proven/Proven_SafeHex.res.js b/src/proven/Proven_SafeHex.res.js
index de75de0..27c718c 100644
--- a/src/proven/Proven_SafeHex.res.js
+++ b/src/proven/Proven_SafeHex.res.js
@@ -171,15 +171,10 @@ function decodeToString(hexStr) {
       _0: e._0
     };
   }
-  let result = {
-    contents: ""
-  };
-  e._0.forEach(byte => {
-    result.contents = result.contents + String.fromCharCode(byte);
-  });
+  let chars = e._0.map(byte => String.fromCharCode(byte));
   return {
     TAG: "Ok",
-    _0: result.contents
+    _0: chars.join("")
   };
 }
 
@@ -342,32 +337,32 @@ function xorHex(hexA, hexB) {
 }
 
 function encodeSpaced(bytes) {
-  if (bytes.length === 0) {
+  let length = bytes.length;
+  if (length === 0) {
     return {
       TAG: "Ok",
       _0: ""
     };
   }
-  let parts = {
-    contents: []
-  };
-  let valid = {
-    contents: true
-  };
-  bytes.forEach(byte => {
-    if (!(valid.contents && byte >= 0 && byte <= 255)) {
-      valid.contents = false;
-      return;
+  let parts = Core__Array.make(length, "");
+  let valid = true;
+  for (let i = 0; i < length; ++i) {
+    if (valid) {
+      let byte = bytes[i];
+      if (byte >= 0 && byte <= 255) {
+        let high = (byte >>> 4);
+        let low = byte & 15;
+        let hex = hexChars.charAt(high) + hexChars.charAt(low);
+        parts[i] = hex;
+      } else {
+        valid = false;
+      }
     }
-    let high = (byte >>> 4);
-    let low = byte & 15;
-    let hex = hexChars.charAt(high) + hexChars.charAt(low);
-    parts.contents = parts.contents.concat([hex]);
-  });
-  if (valid.contents) {
+  }
+  if (valid) {
     return {
       TAG: "Ok",
-      _0: parts.contents.join(" ")
+      _0: parts.join(" ")
     };
   } else {
     return {
@@ -378,32 +373,32 @@ function encodeSpaced(bytes) {
 }
 
 function encodeSpacedUppercase(bytes) {
-  if (bytes.length === 0) {
+  let length = bytes.length;
+  if (length === 0) {
     return {
       TAG: "Ok",
       _0: ""
     };
   }
-  let parts = {
-    contents: []
-  };
-  let valid = {
-    contents: true
-  };
-  bytes.forEach(byte => {
-    if (!(valid.contents && byte >= 0 && byte <= 255)) {
-      valid.contents = false;
-      return;
+  let parts = Core__Array.make(length, "");
+  let valid = true;
+  for (let i = 0; i < length; ++i) {
+    if (valid) {
+      let byte = bytes[i];
+      if (byte >= 0 && byte <= 255) {
+        let high = (byte >>> 4);
+        let low = byte & 15;
+        let hex = hexCharsUpper.charAt(high) + hexCharsUpper.charAt(low);
+        parts[i] = hex;
+      } else {
+        valid = false;
+      }
     }
-    let high = (byte >>> 4);
-    let low = byte & 15;
-    let hex = hexCharsUpper.charAt(high) + hexCharsUpper.charAt(low);
-    parts.contents = parts.contents.concat([hex]);
-  });
-  if (valid.contents) {
+  }
+  if (valid) {
     return {
       TAG: "Ok",
-      _0: parts.contents.join(" ")
+      _0: parts.join(" ")
     };
   } else {
     return {
diff --git a/src/proven/Proven_SafePath.res b/src/proven/Proven_SafePath.res
index 91ac014..2da9ed6 100644
--- a/src/proven/Proven_SafePath.res
+++ b/src/proven/Proven_SafePath.res
@@ -12,9 +12,24 @@ let hasTraversal = (path: string): bool => {
   String.startsWith(path, "/") && String.includes(path, "..")
 }
 
-/** Check if a path is safe (no traversal attacks) */
+/** Check if a path contains a null byte
+ *
+ * SECURITY: Null bytes can truncate paths in C-based filesystem APIs,
+ * allowing an attacker to bypass extension checks (e.g. "safe.txt\0.sh").
+ */
+let hasNullByte = (path: string): bool => {
+  String.includes(path, "\x00")
+}
+
+/** Check if a path is safe
+ *
+ * A path is safe if it:
+ * - contains no parent directory traversal (..)
+ * - contains no home directory expansion (~)
+ * - contains no null bytes
+ */
 let isSafe = (path: string): bool => {
-  !hasTraversal(path)
+  !hasTraversal(path) && !hasNullByte(path)
 }
 
 /** Sanitize a filename by removing dangerous characters */
diff --git a/src/proven/Proven_SafePath.res.js b/src/proven/Proven_SafePath.res.js
index 7bf2e89..e21559b 100644
--- a/src/proven/Proven_SafePath.res.js
+++ b/src/proven/Proven_SafePath.res.js
@@ -11,8 +11,16 @@ function hasTraversal(path) {
   }
 }
 
+function hasNullByte(path) {
+  return path.includes("\x00");
+}
+
 function isSafe(path) {
-  return !hasTraversal(path);
+  if (hasTraversal(path)) {
+    return false;
+  } else {
+    return !path.includes("\x00");
+  }
 }
 
 function sanitizeFilename(filename) {
@@ -41,6 +49,7 @@ function safeJoin(base, parts) {
 
 export {
   hasTraversal,
+  hasNullByte,
   isSafe,
   sanitizeFilename,
   safeJoin,
diff --git a/src/proven/Proven_SafeString.res b/src/proven/Proven_SafeString.res
index dbac317..2123890 100644
--- a/src/proven/Proven_SafeString.res
+++ b/src/proven/Proven_SafeString.res
@@ -78,7 +78,7 @@ let fromCodePoints = (codes: array<int>): result<string, string> => {
   } else {
     let valid = ref(true)
     let errorIdx = ref(0)
-    let result = ref("")
+    let chars = Array.make(~length, "")
 
     for i in 0 to length - 1 {
       if valid.contents {
@@ -87,13 +87,13 @@ let fromCodePoints = (codes: array<int>): result<string, string> => {
           valid := false
           errorIdx := i
         } else {
-          result := result.contents ++ String.fromCharCode(code)
+          Array.setUnsafe(chars, i, String.fromCharCode(code))
         }
       }
     }
 
     if valid.contents {
-      Ok(result.contents)
+      Ok(Array.join(chars, ""))
     } else {
       Error(`Invalid code point at position ${Int.toString(errorIdx.contents)}`)
     }
diff --git a/src/proven/Proven_SafeString.res.js b/src/proven/Proven_SafeString.res.js
index f4042ed..92e7d12 100644
--- a/src/proven/Proven_SafeString.res.js
+++ b/src/proven/Proven_SafeString.res.js
@@ -59,7 +59,7 @@ function fromCodePoints(codes) {
   }
   let valid = true;
   let errorIdx = 0;
-  let result = "";
+  let chars = Core__Array.make(length, "");
   for (let i = 0; i < length; ++i) {
     if (valid) {
       let code = codes[i];
@@ -67,14 +67,14 @@ function fromCodePoints(codes) {
         valid = false;
         errorIdx = i;
       } else {
-        result = result + String.fromCharCode(code);
+        chars[i] = String.fromCharCode(code);
       }
     }
   }
   if (valid) {
     return {
       TAG: "Ok",
-      _0: result
+      _0: chars.join("")
     };
   } else {
     return {
diff --git a/src/styles/shell.css b/src/styles/shell.css
new file mode 100644
index 0000000..a24afe8
--- /dev/null
+++ b/src/styles/shell.css
@@ -0,0 +1,593 @@
+/* SPDX-License-Identifier: PMPL-1.0-or-later */
+/* DotMatrix-FilePrinter - Shell / layout styles
+ * Extracted from inline <style> in index.html to reduce duplication
+ * and allow Vite HMR to process changes.
+ */
+
+/* Phosphor Green Terminal Theme */
+:root {
+  --bg-primary: #0a0a0a;
+  --bg-secondary: #111;
+  --bg-tertiary: #1a1a1a;
+  --fg-primary: #33ff33;
+  --fg-secondary: #00cc00;
+  --fg-muted: #339933;
+  --fg-dim: #226622;
+  --danger: #ff3333;
+  --warning: #ffcc00;
+  --info: #33ccff;
+  --font-mono: 'IBM Plex Mono', 'Fira Code', 'Consolas', monospace;
+  --border-radius: 4px;
+  --transition-fast: 0.15s ease;
+  --transition-medium: 0.3s ease;
+}
+
+* {
+  margin: 0;
+  padding: 0;
+  box-sizing: border-box;
+}
+
+html, body {
+  height: 100%;
+  background: var(--bg-primary);
+  color: var(--fg-primary);
+  font-family: var(--font-mono);
+  font-size: 14px;
+}
+
+/* Main shell layout */
+.shell {
+  height: 100%;
+  display: flex;
+  flex-direction: column;
+}
+
+.shell__header {
+  padding: 1rem;
+  border-bottom: 1px solid var(--fg-muted);
+  display: flex;
+  justify-content: space-between;
+  align-items: center;
+  background: linear-gradient(180deg, var(--bg-secondary) 0%, var(--bg-primary) 100%);
+}
+
+.shell__title {
+  font-size: 1.2rem;
+  font-weight: normal;
+  display: flex;
+  align-items: center;
+  gap: 0.75rem;
+}
+
+.shell__title::before {
+  content: ">";
+  animation: blink 1s step-end infinite;
+}
+
+@keyframes blink {
+  50% { opacity: 0; }
+}
+
+.shell__main {
+  flex: 1;
+  display: grid;
+  grid-template-columns: 1fr 1fr;
+  gap: 1rem;
+  padding: 1rem;
+  overflow: auto;
+}
+
+@media (max-width: 900px) {
+  .shell__main {
+    grid-template-columns: 1fr;
+  }
+}
+
+.shell__footer {
+  padding: 0.5rem 1rem;
+  border-top: 1px solid var(--fg-muted);
+  font-size: 0.85rem;
+  display: flex;
+  gap: 1rem;
+  align-items: center;
+  justify-content: space-between;
+  background: var(--bg-secondary);
+}
+
+/* Panels */
+.panel {
+  background: var(--bg-secondary);
+  border: 1px solid var(--fg-muted);
+  border-radius: var(--border-radius);
+  transition: border-color var(--transition-fast);
+}
+
+.panel:focus-within {
+  border-color: var(--fg-primary);
+}
+
+.panel__header {
+  padding: 0.5rem 1rem;
+  border-bottom: 1px solid var(--fg-muted);
+  font-weight: bold;
+  display: flex;
+  justify-content: space-between;
+  align-items: center;
+  background: var(--bg-tertiary);
+  border-radius: var(--border-radius) var(--border-radius) 0 0;
+}
+
+.panel__body {
+  padding: 1rem;
+}
+
+/* Input controls */
+.input {
+  width: 100%;
+  background: var(--bg-primary);
+  color: var(--fg-primary);
+  border: 1px solid var(--fg-muted);
+  font-family: inherit;
+  font-size: inherit;
+  padding: 0.5rem;
+  border-radius: var(--border-radius);
+  transition: all var(--transition-fast);
+}
+
+.input:focus {
+  outline: none;
+  border-color: var(--fg-primary);
+  box-shadow: 0 0 8px rgba(51, 255, 51, 0.2);
+}
+
+.input--textarea {
+  min-height: 120px;
+  resize: vertical;
+  line-height: 1.5;
+}
+
+.input::placeholder {
+  color: var(--fg-dim);
+}
+
+/* Mode selector tabs */
+.mode-selector {
+  display: flex;
+  gap: 0;
+  margin-bottom: 1rem;
+  border: 1px solid var(--fg-muted);
+  border-radius: var(--border-radius);
+  overflow: hidden;
+}
+
+.mode-selector__btn {
+  flex: 1;
+  background: var(--bg-primary);
+  color: var(--fg-muted);
+  border: none;
+  padding: 0.5rem;
+  font-family: inherit;
+  font-size: 0.85rem;
+  cursor: pointer;
+  transition: all var(--transition-fast);
+}
+
+.mode-selector__btn:not(:last-child) {
+  border-right: 1px solid var(--fg-muted);
+}
+
+.mode-selector__btn:hover {
+  background: var(--bg-tertiary);
+  color: var(--fg-secondary);
+}
+
+.mode-selector__btn--active {
+  background: var(--fg-muted);
+  color: var(--bg-primary);
+}
+
+.mode-selector__btn--active:hover {
+  background: var(--fg-secondary);
+  color: var(--bg-primary);
+}
+
+/* Buttons */
+.btn {
+  background: transparent;
+  color: var(--fg-primary);
+  border: 1px solid var(--fg-primary);
+  padding: 0.5rem 1rem;
+  font-family: inherit;
+  font-size: inherit;
+  cursor: pointer;
+  border-radius: var(--border-radius);
+  transition: all var(--transition-fast);
+  position: relative;
+  overflow: hidden;
+}
+
+.btn:hover:not(:disabled) {
+  background: var(--fg-primary);
+  color: var(--bg-primary);
+  transform: translateY(-1px);
+}
+
+.btn:active:not(:disabled) {
+  transform: translateY(0);
+}
+
+.btn:disabled {
+  opacity: 0.4;
+  cursor: not-allowed;
+}
+
+.btn--primary {
+  background: var(--fg-primary);
+  color: var(--bg-primary);
+  font-weight: bold;
+}
+
+.btn--primary:hover:not(:disabled) {
+  background: #44ff44;
+  box-shadow: 0 0 12px rgba(51, 255, 51, 0.4);
+}
+
+.btn--small {
+  padding: 0.25rem 0.5rem;
+  font-size: 0.85rem;
+}
+
+.btn__shortcut {
+  font-size: 0.7rem;
+  opacity: 0.7;
+  margin-left: 0.5rem;
+}
+
+.actions {
+  display: flex;
+  gap: 0.5rem;
+  margin-top: 1rem;
+  flex-wrap: wrap;
+}
+
+/* Target path input */
+.target-path {
+  margin-top: 1rem;
+  display: flex;
+  align-items: center;
+  gap: 0.5rem;
+}
+
+.target-path label {
+  white-space: nowrap;
+  color: var(--fg-muted);
+}
+
+.target-path input {
+  flex: 1;
+}
+
+/* Bytes preview */
+.bytes-preview {
+  margin-top: 1rem;
+  padding: 0.75rem;
+  background: var(--bg-primary);
+  border: 1px dashed var(--fg-muted);
+  border-radius: var(--border-radius);
+  font-size: 0.9rem;
+}
+
+.bytes-preview code {
+  color: var(--fg-secondary);
+  word-break: break-all;
+}
+
+.bytes-preview__count {
+  color: var(--fg-muted);
+  font-size: 0.85rem;
+  margin-bottom: 0.5rem;
+}
+
+/* Hex editor view */
+.hex-editor {
+  font-family: var(--font-mono);
+  font-size: 0.85rem;
+  background: var(--bg-primary);
+  border-radius: var(--border-radius);
+  overflow: hidden;
+}
+
+.hex-editor__header {
+  display: grid;
+  grid-template-columns: 80px 1fr 160px;
+  gap: 1rem;
+  padding: 0.5rem 1rem;
+  background: var(--bg-tertiary);
+  color: var(--fg-muted);
+  border-bottom: 1px solid var(--fg-muted);
+}
+
+.hex-editor__body {
+  max-height: 300px;
+  overflow-y: auto;
+  overflow-x: hidden;
+}
+
+.hex-editor__row {
+  display: grid;
+  grid-template-columns: 80px 1fr 160px;
+  gap: 1rem;
+  padding: 0.25rem 1rem;
+  border-bottom: 1px solid var(--bg-tertiary);
+  transition: background var(--transition-fast);
+}
+
+.hex-editor__row:hover {
+  background: var(--bg-tertiary);
+}
+
+.hex-editor__address {
+  color: var(--fg-dim);
+}
+
+.hex-editor__bytes {
+  display: flex;
+  flex-wrap: wrap;
+  gap: 0.5rem;
+}
+
+.hex-editor__byte {
+  width: 2ch;
+  text-align: center;
+  transition: all var(--transition-fast);
+}
+
+.hex-editor__byte--contaminated {
+  color: var(--danger);
+  font-weight: bold;
+}
+
+.hex-editor__byte--gap {
+  margin-right: 0.5rem;
+}
+
+.hex-editor__ascii {
+  color: var(--fg-muted);
+  letter-spacing: 0.1em;
+}
+
+.hex-editor__ascii span {
+  display: inline-block;
+  width: 1ch;
+  text-align: center;
+}
+
+.hex-editor__ascii span.non-printable {
+  color: var(--fg-dim);
+}
+
+/* Alerts and status */
+.alert {
+  padding: 1rem;
+  margin-bottom: 1rem;
+  border: 1px solid;
+  border-radius: var(--border-radius);
+  animation: alertIn 0.2s ease;
+}
+
+@keyframes alertIn {
+  from { opacity: 0; transform: translateY(-4px); }
+  to { opacity: 1; transform: translateY(0); }
+}
+
+.alert--danger {
+  border-color: var(--danger);
+  color: var(--danger);
+  background: rgba(255, 51, 51, 0.1);
+}
+
+.alert--success {
+  border-color: var(--fg-primary);
+  color: var(--fg-primary);
+  background: rgba(51, 255, 51, 0.1);
+}
+
+.alert--info {
+  border-color: var(--info);
+  color: var(--info);
+  background: rgba(51, 204, 255, 0.1);
+}
+
+.alert ul {
+  margin: 0.5rem 0 0 1.5rem;
+}
+
+/* Badges */
+.badge {
+  font-size: 0.75rem;
+  padding: 0.2rem 0.5rem;
+  border-radius: 2px;
+  font-weight: bold;
+  text-transform: uppercase;
+  letter-spacing: 0.05em;
+}
+
+.badge--success {
+  color: var(--fg-primary);
+  border: 1px solid var(--fg-primary);
+  background: rgba(51, 255, 51, 0.1);
+}
+
+.badge--danger {
+  color: var(--danger);
+  border: 1px solid var(--danger);
+  background: rgba(255, 51, 51, 0.1);
+}
+
+/* Status indicators */
+.status {
+  display: flex;
+  align-items: center;
+  gap: 0.5rem;
+}
+
+.status__dot {
+  width: 8px;
+  height: 8px;
+  border-radius: 50%;
+  background: currentColor;
+  animation: pulse 2s ease infinite;
+}
+
+@keyframes pulse {
+  0%, 100% { opacity: 1; }
+  50% { opacity: 0.5; }
+}
+
+.status--ok { color: var(--fg-primary); }
+.status--ok .status__dot { animation: none; }
+.status--warning { color: var(--warning); }
+.status--error { color: var(--danger); }
+.status--error .status__dot { animation: none; }
+
+#error {
+  display: none;
+  margin: 0 1rem;
+}
+
+#preview-panel,
+#verify-panel {
+  display: none;
+  animation: panelIn 0.3s ease;
+}
+
+@keyframes panelIn {
+  from { opacity: 0; transform: translateX(8px); }
+  to { opacity: 1; transform: translateX(0); }
+}
+
+/* Help panel */
+.help-panel {
+  position: fixed;
+  right: -400px;
+  top: 0;
+  bottom: 0;
+  width: 400px;
+  max-width: 100vw;
+  background: var(--bg-secondary);
+  border-left: 1px solid var(--fg-muted);
+  z-index: 100;
+  transition: right var(--transition-medium);
+  display: flex;
+  flex-direction: column;
+}
+
+.help-panel--open {
+  right: 0;
+}
+
+.help-panel__header {
+  padding: 1rem;
+  border-bottom: 1px solid var(--fg-muted);
+  display: flex;
+  justify-content: space-between;
+  align-items: center;
+  background: var(--bg-tertiary);
+}
+
+.help-panel__body {
+  flex: 1;
+  overflow-y: auto;
+  padding: 1rem;
+}
+
+.help-panel__section {
+  margin-bottom: 1.5rem;
+}
+
+.help-panel__section h3 {
+  color: var(--fg-primary);
+  margin-bottom: 0.5rem;
+  font-size: 0.9rem;
+}
+
+.help-panel__section p,
+.help-panel__section li {
+  color: var(--fg-muted);
+  font-size: 0.85rem;
+  line-height: 1.6;
+}
+
+.help-panel__section ul {
+  margin-left: 1.5rem;
+}
+
+.help-panel__kbd {
+  display: inline-flex;
+  align-items: center;
+  gap: 0.25rem;
+  margin: 0.25rem 0;
+}
+
+.help-panel__kbd kbd {
+  background: var(--bg-primary);
+  border: 1px solid var(--fg-muted);
+  padding: 0.1rem 0.4rem;
+  border-radius: 3px;
+  font-family: inherit;
+  font-size: 0.8rem;
+}
+
+.help-overlay {
+  position: fixed;
+  inset: 0;
+  background: rgba(0, 0, 0, 0.5);
+  z-index: 99;
+  opacity: 0;
+  visibility: hidden;
+  transition: all var(--transition-medium);
+}
+
+.help-overlay--visible {
+  opacity: 1;
+  visibility: visible;
+}
+
+/* Keyboard shortcuts hint */
+.shortcuts-hint {
+  color: var(--fg-dim);
+  font-size: 0.8rem;
+}
+
+/* Footer layout */
+.footer-left {
+  display: flex;
+  gap: 1rem;
+  align-items: center;
+}
+
+.footer-right {
+  display: flex;
+  gap: 0.5rem;
+  align-items: center;
+}
+
+/* Scrollbar styling */
+::-webkit-scrollbar {
+  width: 8px;
+  height: 8px;
+}
+
+::-webkit-scrollbar-track {
+  background: var(--bg-primary);
+}
+
+::-webkit-scrollbar-thumb {
+  background: var(--fg-dim);
+  border-radius: 4px;
+}
+
+::-webkit-scrollbar-thumb:hover {
+  background: var(--fg-muted);
+}
diff --git a/tests/bindings_test.ts b/tests/bindings_test.js
similarity index 99%
rename from tests/bindings_test.ts
rename to tests/bindings_test.js
index 5896dc3..39304c8 100644
--- a/tests/bindings_test.ts
+++ b/tests/bindings_test.js
@@ -11,7 +11,7 @@ import {
 import * as Bindings from "../src/Bindings.res.js";
 
 // Helper to check Result type
-function isOk<T>(result: { TAG: string; _0: T }): result is { TAG: "Ok"; _0: T } {
+function isOk(result) {
   return result.TAG === "Ok";
 }
 
diff --git a/tests/proven_safe_hex_test.ts b/tests/proven_safe_hex_test.js
similarity index 97%
rename from tests/proven_safe_hex_test.ts
rename to tests/proven_safe_hex_test.js
index cd53a38..1531833 100644
--- a/tests/proven_safe_hex_test.ts
+++ b/tests/proven_safe_hex_test.js
@@ -9,15 +9,11 @@ import {
 // Import the compiled ReScript module
 import * as SafeHex from "../src/proven/Proven_SafeHex.res.js";
 
-// Helper to check Result type - uses unknown to handle varying payload types
-function isOk<T>(result: { TAG: string; _0: unknown }): result is { TAG: "Ok"; _0: T } {
+// Helper to check Result type
+function isOk(result) {
   return result.TAG === "Ok";
 }
 
-function isError<E>(result: { TAG: string; _0: unknown }): result is { TAG: "Error"; _0: E } {
-  return result.TAG === "Error";
-}
-
 // ============ encode tests ============
 
 Deno.test("SafeHex.encode - basic encoding", () => {
diff --git a/tests/proven_safe_math_test.ts b/tests/proven_safe_math_test.js
similarity index 100%
rename from tests/proven_safe_math_test.ts
rename to tests/proven_safe_math_test.js
diff --git a/tests/proven_safe_path_test.ts b/tests/proven_safe_path_test.js
similarity index 97%
rename from tests/proven_safe_path_test.ts
rename to tests/proven_safe_path_test.js
index 0ebaca2..aa0d676 100644
--- a/tests/proven_safe_path_test.ts
+++ b/tests/proven_safe_path_test.js
@@ -57,6 +57,11 @@ Deno.test("SafePath.isSafe - empty path is safe", () => {
   assertEquals(SafePath.isSafe(""), true);
 });
 
+Deno.test("SafePath.isSafe - null bytes are unsafe", () => {
+  assertEquals(SafePath.isSafe("foo\x00bar"), false);
+  assertEquals(SafePath.isSafe("\x00"), false);
+});
+
 // ============ sanitizeFilename tests ============
 
 Deno.test("SafePath.sanitizeFilename - removes traversal sequences", () => {
diff --git a/tests/proven_safe_string_test.ts b/tests/proven_safe_string_test.js
similarity index 98%
rename from tests/proven_safe_string_test.ts
rename to tests/proven_safe_string_test.js
index 15d436a..b2f208c 100644
--- a/tests/proven_safe_string_test.ts
+++ b/tests/proven_safe_string_test.js
@@ -10,7 +10,7 @@ import {
 import * as SafeString from "../src/proven/Proven_SafeString.res.js";
 
 // Helper to check Result type
-function isOk<T>(result: { TAG: string; _0: T }): result is { TAG: "Ok"; _0: T } {
+function isOk(result) {
   return result.TAG === "Ok";
 }
 
diff --git a/vite.config.js b/vite.config.js
index 57f407a..16d5fa6 100644
--- a/vite.config.js
+++ b/vite.config.js
@@ -7,14 +7,14 @@ export default defineConfig({
     port: 5173,
     strictPort: true,
     watch: {
-      ignored: ['**/src-tauri/**', '**/kernel/**'],
+      ignored: ['**/target/**', '**/kernel/**'],
     },
   },
-  envPrefix: ['VITE_', 'TAURI_'],
+  envPrefix: ['VITE_', 'GOSSAMER_'],
   build: {
     target: 'esnext',
-    minify: !process.env.TAURI_DEBUG ? 'esbuild' : false,
-    sourcemap: !!process.env.TAURI_DEBUG,
+    minify: !process.env.GOSSAMER_DEBUG ? 'esbuild' : false,
+    sourcemap: !!process.env.GOSSAMER_DEBUG,
     outDir: 'dist',
     emptyOutDir: true,
   },

From ba6a3cbeb2d75cdd0f6447a4aba99341ded959b2 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Thu, 16 Apr 2026 03:21:53 +0000
Subject: [PATCH 2/2] chore: update lib/rescript.lock after rebuild

https://claude.ai/code/session_01ApYxQtnUdsJ9BpmEfBUe8W
---
 lib/rescript.lock | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/rescript.lock b/lib/rescript.lock
index 71e4713..06bb1f0 100644
--- a/lib/rescript.lock
+++ b/lib/rescript.lock
@@ -1 +1 @@
-815768
\ No newline at end of file
+3490
\ No newline at end of file