From 2ea2f722d4161c4c7802f7300f61623d72fd5e54 Mon Sep 17 00:00:00 2001
From: Dmitrii Vasilev <admin@t27.ai>
Date: Sun, 18 Oct 2026 11:42:51 +0700
Subject: [PATCH] feat(website): /t27f/graph/ in the site's own style (dark,
 Outfit and JetBrains Mono)

The page was plain white. The page chrome now uses the t27.ai tokens from
src/index.css (black page, #0b0d0c panel, #00FF88 accent, Outfit text,
JetBrains Mono for names), with a link back to t27.ai.

Box and line colours are not set here: they come from spec_graph_view.t27
(gHashTag/t27#10215, master 538df0750), so t27f.wasm, spec_graph_view.mjs and
the vendored view spec are regenerated on the lab and PROVENANCE.txt carries
the new checksums. graph.js stays 39 lines; its only change is the SVG font.

Derived edges are not included: the derive pass is a separate module the wasm
glue does not call yet.

Refs #1648

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 apps/website/README.md                        |   3 ++
 apps/website/public/t27f/graph/PROVENANCE.txt |  36 +++++++++++++-----
 apps/website/public/t27f/graph/graph.js       |   2 +-
 apps/website/public/t27f/graph/index.html     |  31 ++++++++++++++-
 .../public/t27f/graph/spec_graph_view.mjs     |   8 ++--
 .../t27f/graph/specs/spec_graph_view.t27      |  24 +++++++-----
 apps/website/public/t27f/graph/t27f.wasm      | Bin 38321 -> 39273 bytes
 7 files changed, 78 insertions(+), 26 deletions(-)

diff --git a/apps/website/README.md b/apps/website/README.md
index 73d595b745..5873838511 100644
--- a/apps/website/README.md
+++ b/apps/website/README.md
@@ -243,6 +243,9 @@ one line per edge, labelled with kind, name, source lines and inference label. T
 `specs/t27f/spec_graph_export.t27` and the layout from `specs/t27f/spec_graph_view.t27`, both
 compiled to `t27f.wasm`; `graph.js` is only the glue (loads the wasm, feeds the bytes, emits SVG).
 A spec over the graph's cap (192 nodes, 254 edges) is refused with the verdict, never truncated.
+The page is in the site's own style (the tokens of `src/index.css`, not `docs/BRAND-KIT.md`). The
+colour of every box and line lives in `spec_graph_view.t27` (change it there, in gHashTag/t27, then
+regenerate `t27f.wasm`); the CSS in `index.html` styles the page chrome only.
 `PROVENANCE.txt` in that directory records the t27 commit, the compiler, the checksums and how to
 rebuild. To add a spec to the picker, copy it from t27 into `specs/` there and add an `<option>`.
 
diff --git a/apps/website/public/t27f/graph/PROVENANCE.txt b/apps/website/public/t27f/graph/PROVENANCE.txt
index b9ce341dd8..b2d691f7b5 100644
--- a/apps/website/public/t27f/graph/PROVENANCE.txt
+++ b/apps/website/public/t27f/graph/PROVENANCE.txt
@@ -13,25 +13,40 @@ of its own:
 Both run as t27f.wasm. graph.js (39 lines, comments included) is the whole of the hand-written
 JavaScript: it loads the wasm, writes the spec's bytes in, loops over nodes and edges and emits
 SVG. The one number it computes is how many characters of "kind name" fit in a box's first line
-(font size x 0.6); the full text is in the box's tooltip.
+(font size x 0.6, the width of the JetBrains Mono the boxes are set in); the full text is in the
+box's tooltip.
+
+Colours
+  Every box fill, outline, dash and line colour comes from spec_graph_view.t27 (VIEW_LABEL_FILL,
+  VIEW_LABEL_STROKE, VIEW_LABEL_DASH, VIEW_TEXT, VIEW_BACKDROP), changed in gHashTag/t27#10215
+  (closes #10213). They are the t27.ai site's own tokens (apps/website/src/index.css :root and
+  src/lib/explorerTheme.ts in gHashTag/trinity), not docs/BRAND-KIT.md: exact is the site
+  green 00FF88, derived the golden FFD700, suggested the blue 58A6FF, unknown the muted
+  8B9490. The dash per label stays distinct (solid, 6, 3, 2) so a label survives a colour-blind
+  reader. The CSS in index.html styles the page chrome only (background, fonts, header,
+  picker); it never recolours a box or a line.
 
 Source
-  gHashTag/t27 master 290ff17df, specs/t27f/ and specs/tutorial/08_modules_and_arrays.t27
-  (specs/*.t27 here are byte-identical to that commit)
+  gHashTag/t27 master 538df0750, specs/t27f/spec_graph_view.t27 (t27#10215)
+  gHashTag/t27 master 290ff17df, the other specs/t27f/ files and
+  specs/tutorial/08_modules_and_arrays.t27
+  (specs/*.t27 here are byte-identical to those commits)
 Compiler
   t27c 0.5.2 (built from gHashTag/t27 90fc25b3b), zig 0.16.0, on the Railway lab
 Built in
   gHashTag/t27-mcp wasm/ (export.zig is the hand glue: byte buffers and getters, no spec
-  knowledge), PR gHashTag/t27-mcp#13, commit 72ecc84. wasm/BUILD there has the full recipe.
+  knowledge; 138 lines), glue last changed in commit 95a9de52b69867c7b43c35727c6ae90ca76523bc
+  (PR gHashTag/t27-mcp#13). It is built with the reel, deck, spec_graph_view,
+  spec_graph_export and spec_graph_outline modules. wasm/BUILD there has the full recipe.
 
 Checksums (sha256)
-  t27f.wasm              eaa97ac361cb2b7ebadacf0c7a33f6daaabf7b547df1f00353900dfd3e7c44e1
-  spec_graph_view.mjs    739118fa01cf501bdb3eab925ef9404873230a82907faf5e6e44c006e206c962
+  t27f.wasm              7b2a0f0caf6eafbeefa8813e9880346fb03d99b190efc396d59d4146aafa1e60
+  spec_graph_view.mjs    6918f5075e815f182fe854b8beab0d0202f1d1a11dbb67e556e03a4875bac9d4
   generated Zig the wasm is built from, not vendored:
-    spec_graph_view.zig    191d55d9bb54d57017943a1903790e4661dfd237dfe507804cef3fcdfab33c19
+    spec_graph_view.zig    59c2c14184759efaa1c4756d31f0c0b3b037d2d4c127eeed5be8e91bb6df5bab
     spec_graph_export.zig  5297308f1d54c2688801995d56db402809fc794a7dbe5f28ad119c5b3593ede7
   specs/spec_graph.t27         a3dbe0ec5110c48183ebea101109598e8542bb0ffdf9e061c672162d7da03fe7
-  specs/spec_graph_view.t27    22579bc98aecb3c4405991eef8b5060eb4151b17b200dfbae07a75d8b1e8547a
+  specs/spec_graph_view.t27    662df660969b2ebccaf99129ea8d9eb41f38ded82ff34e085cf5e07b629e3089
   specs/spec_graph_export.t27  ef4ee24d5debc51be4a10835947c86a0211b867dd6ca97890a15198daa744728
   specs/ui_plan.t27            383fdfb78aa13f2e48172a20e9863d91aa5147b63b1685be8e3a40667243a3f1
 
@@ -42,5 +57,6 @@ Reproduced on the Railway lab on 2026-10-18 from these vendored specs:
   -femit-bin=t27f.wasm gives t27f.wasm byte for byte.
 (Generate from a directory laid out as specs/t27f/, so that the `use t27f::...` lines resolve.)
 
-Not here yet: derived edges (calls inferred beyond what the exporter reads exactly). Every edge
-on the page is exact, and the page says so.
+Not here yet: derived edges. t27 has the derive pass (spec_graph_derive.t27, t27#10198), but it
+is a separate module that the wasm glue does not call, and wiring it in means more hand-written
+glue. Until the wasm exports it, every edge on the page is exact, and the page says so.
diff --git a/apps/website/public/t27f/graph/graph.js b/apps/website/public/t27f/graph/graph.js
index 1eac7aec68..03e6ed82b1 100644
--- a/apps/website/public/t27f/graph/graph.js
+++ b/apps/website/public/t27f/graph/graph.js
@@ -21,7 +21,7 @@ async function show(path, file) {
     return (status.textContent = `${path}: refused, ${nm('ERR_', v).replace(/_/g, ' ')} (${why}). No graph is drawn and none is truncated.`, status.className = 'refused')
   }
   if (R.gx_view_verdict() !== G.VIEW_OK) return (status.textContent = `${path}: the view refuses it, verdict ${R.gx_view_verdict()}.`, status.className = 'refused')
-  const W = R.gx_view_width(), H = R.gx_view_height(), svg = el('svg', { viewBox: `0 0 ${W} ${H}`, width: W, height: H, 'font-family': 'system-ui,sans-serif' }, el('rect', { width: W, height: H, fill: hex(G.VIEW_BACKDROP) }))
+  const W = R.gx_view_width(), H = R.gx_view_height(), svg = el('svg', { viewBox: `0 0 ${W} ${H}`, width: W, height: H, 'font-family': "'JetBrains Mono',ui-monospace,monospace" }, el('rect', { width: W, height: H, fill: hex(G.VIEW_BACKDROP) }))
   for (let j = 0; j < R.gx_edge_count(); j++)
     svg.append(el('line', { x1: R.gx_view_edge_x1(j), y1: R.gx_view_edge_y1(j), x2: R.gx_view_edge_x2(j), y2: R.gx_view_edge_y2(j), stroke: hex(R.gx_view_edge_stroke(j)), 'stroke-width': 1.5, ...dash(R.gx_view_edge_dash(j)) },
       el('title', {}, `${nm('EDGE_', R.gx_edge_kind(j))}: ${name(R.gx_edge_from(j))} -> ${name(R.gx_edge_to(j))}, line ${R.gx_edge_line(j)}`)))
diff --git a/apps/website/public/t27f/graph/index.html b/apps/website/public/t27f/graph/index.html
index 8dd3b5b509..ee67bcf549 100644
--- a/apps/website/public/t27f/graph/index.html
+++ b/apps/website/public/t27f/graph/index.html
@@ -3,13 +3,42 @@
 <head>
 <meta charset="utf-8">
 <meta name="viewport" content="width=device-width,initial-scale=1">
+<meta name="color-scheme" content="dark">
+<meta name="theme-color" content="#000000">
 <title>T27F graph view of a .t27 spec &middot; Trinity S&sup3;AI</title>
 <meta name="description" content="The T27F graph view: a box per node and a line per edge of a .t27 spec, placed and coloured by specs/t27f/spec_graph_view.t27, running as WebAssembly in your browser.">
 <link rel="canonical" href="https://t27.ai/t27f/graph/">
 <link rel="icon" href="../../favicon.svg" type="image/svg+xml">
-<style>body{margin:0;font:15px/1.5 system-ui,sans-serif;background:#fff;color:#1a1a1a}main{padding:1rem 1.25rem}h1{font-size:1.3rem;margin:0 0 .25rem}p{max-width:62rem;margin:.25rem 0 .75rem}select{font:inherit;padding:.2rem}#status{margin:.75rem 0;font-weight:600}#status.refused{color:#a02020}#graph{overflow:auto;border:1px solid #ccc}a{color:#2459a8}</style>
+<link rel="preload" as="font" type="font/woff2" href="../../fonts/outfit-latin.woff2" crossorigin>
+<link rel="preload" as="font" type="font/woff2" href="../../fonts/jetbrains-mono-latin.woff2" crossorigin>
+<style>
+/* Page chrome only: the site's own tokens (src/index.css :root, src/lib/explorerTheme.ts). The colour of every box and line comes from spec_graph_view.t27 inside the wasm, not from here. */
+@font-face{font-family:'Outfit';font-style:normal;font-weight:400 800;font-display:swap;src:url(../../fonts/outfit-latin.woff2) format('woff2')}
+@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 500;font-display:swap;src:url(../../fonts/jetbrains-mono-latin.woff2) format('woff2')}
+:root{--bg:#000;--panel:#0b0d0c;--raised:#121614;--line:rgba(0,255,136,.10);--line-hi:rgba(0,255,136,.34);--text:#fff;--muted:#8b9490;--accent:#00ff88;--warn:#f0a020}
+*{box-sizing:border-box}
+body{margin:0;background:var(--bg);color:var(--text);font:400 16px/1.55 'Outfit',system-ui,-apple-system,sans-serif}
+code{font-family:'JetBrains Mono',ui-monospace,monospace;font-size:.92em;color:var(--accent)}
+a{color:var(--accent);text-underline-offset:3px}
+a:hover{color:#fff}
+a:focus-visible,select:focus-visible{outline:2px solid var(--accent);outline-offset:2px}
+header{display:flex;align-items:baseline;gap:1rem;padding:.9rem 1.25rem;border-bottom:1px solid var(--line)}
+header a.home{font-weight:700;letter-spacing:.08em;color:#fff;text-decoration:none}
+header a.home:hover{color:var(--accent)}
+header span{color:var(--muted);font-size:.85rem;letter-spacing:.14em;text-transform:uppercase}
+main{max-width:100%;padding:1.5rem 1.25rem 3rem}
+h1{font-size:clamp(1.4rem,4vw,2rem);font-weight:700;line-height:1.2;margin:0 0 .5rem}
+p{max-width:62rem;margin:.25rem 0 1rem;color:var(--muted)}
+label{display:inline-flex;align-items:center;gap:.6rem;color:var(--text)}
+select{font:inherit;color:var(--text);background:var(--raised);border:1px solid var(--line-hi);border-radius:6px;padding:.4rem .6rem;max-width:100%}
+#status{margin:1rem 0 .75rem;font:500 .9rem/1.5 'JetBrains Mono',ui-monospace,monospace;color:var(--accent)}
+#status.refused{color:var(--warn)}
+#graph{overflow:auto;background:var(--panel);border:1px solid var(--line);border-radius:8px}
+#graph svg{display:block}
+</style>
 </head>
 <body>
+<header><a class="home" href="../../">t27.ai</a><span>T27F</span></header>
 <main>
 <h1>T27F graph view</h1>
 <p>One box per node, one line per edge of a <code>.t27</code> spec. The graph is read from the spec's bytes by <code>spec_graph_export.t27</code>; the placement, size and colour of every box come from <code>spec_graph_view.t27</code>. Both run here as WebAssembly. A box shows its kind, name, inference label (exact, derived, suggested, unknown) and source lines; dashed outlines mark labels weaker than exact. A spec over the graph's cap is refused, never drawn truncated. See <a href="./PROVENANCE.txt">PROVENANCE.txt</a> for the exact sources, compiler and checksums.</p>
diff --git a/apps/website/public/t27f/graph/spec_graph_view.mjs b/apps/website/public/t27f/graph/spec_graph_view.mjs
index dac7fe8cc8..d80dbc0c60 100644
--- a/apps/website/public/t27f/graph/spec_graph_view.mjs
+++ b/apps/website/public/t27f/graph/spec_graph_view.mjs
@@ -14,11 +14,11 @@ export const VIEW_BAND_GAP = 48;
 export const VIEW_LABEL_W = [220, 220, 200, 200];
 export const VIEW_LABEL_H = [44, 44, 36, 36];
 export const VIEW_LABEL_INDENT = [0, 0, 10, 10];
-export const VIEW_LABEL_FILL = [0xDCEFE0, 0xDDE8F7, 0xFFF1D0, 0xECECEC];
-export const VIEW_LABEL_STROKE = [0x1B7F3B, 0x2459A8, 0xB7791F, 0x8A8A8A];
+export const VIEW_LABEL_FILL = [0x0C2A1B, 0x2B2508, 0x0E2236, 0x1A1E1C];
+export const VIEW_LABEL_STROKE = [0x00FF88, 0xFFD700, 0x58A6FF, 0x8B9490];
 export const VIEW_LABEL_DASH = [0, 6, 3, 2];
-export const VIEW_TEXT = 0x1A1A1A;
-export const VIEW_BACKDROP = 0xFFFFFF;
+export const VIEW_TEXT = 0xFFFFFF;
+export const VIEW_BACKDROP = 0x0B0D0C;
 export const VIEW_FONT_PX = 13;
 export const VIEW_LANE_STEP = 4;
 export const VIEW_LANE_HALF = 8;
diff --git a/apps/website/public/t27f/graph/specs/spec_graph_view.t27 b/apps/website/public/t27f/graph/specs/spec_graph_view.t27
index d469b1b440..7123e243ee 100644
--- a/apps/website/public/t27f/graph/specs/spec_graph_view.t27
+++ b/apps/website/public/t27f/graph/specs/spec_graph_view.t27
@@ -80,16 +80,20 @@ pub const VIEW_BAND_GAP : u32 = 48;
 /// Style by inference label (exact, derived, suggested, unknown). A guess and an unknown are
 /// narrower and lower than a fact and sit centred in the column (indent * 2 + width = VIEW_COL_W);
 /// only EXACT is drawn solid. Dash is the dash length in pixels, 0 for a solid line.
+/// Colours are the t27.ai site tokens (apps/website/src/index.css): stroke is accent green for
+/// exact, golden for derived, blue for suggested, muted grey for unknown; each fill is a dark tint
+/// of its stroke, so white text clears 4.5:1 on every box. The dash stays distinct per label, so
+/// the label survives a colour-blind reader.
 pub const VIEW_LABEL_W : [4]u32 = [220, 220, 200, 200];
 pub const VIEW_LABEL_H : [4]u32 = [44, 44, 36, 36];
 pub const VIEW_LABEL_INDENT : [4]u32 = [0, 0, 10, 10];
-pub const VIEW_LABEL_FILL : [4]u32 = [0xDCEFE0, 0xDDE8F7, 0xFFF1D0, 0xECECEC];
-pub const VIEW_LABEL_STROKE : [4]u32 = [0x1B7F3B, 0x2459A8, 0xB7791F, 0x8A8A8A];
+pub const VIEW_LABEL_FILL : [4]u32 = [0x0C2A1B, 0x2B2508, 0x0E2236, 0x1A1E1C];
+pub const VIEW_LABEL_STROKE : [4]u32 = [0x00FF88, 0xFFD700, 0x58A6FF, 0x8B9490];
 pub const VIEW_LABEL_DASH : [4]u32 = [0, 6, 3, 2];
 
 /// Text and page colours, and the text size a host uses inside a box.
-pub const VIEW_TEXT : u32 = 0x1A1A1A;
-pub const VIEW_BACKDROP : u32 = 0xFFFFFF;
+pub const VIEW_TEXT : u32 = 0xFFFFFF;
+pub const VIEW_BACKDROP : u32 = 0x0B0D0C;
 pub const VIEW_FONT_PX : u32 = 13;
 
 /// Two edges between the same pair of nodes (uses and data_flow, calls and tested_by) would lie on
@@ -589,7 +593,7 @@ test label_sets_size_colour_and_order {
     assert view_node_y(s, 15) == 40;
     assert view_node_w(s, 15) == 200;
     assert view_node_h(s, 15) == 36;
-    assert view_node_fill(s, 15) == 0xFFF1D0;
+    assert view_node_fill(s, 15) == 0x0E2236;
     assert view_node_dash(s, 15) == 3;
     assert view_overlap_count(s) == 0;
     // its edge is a guess too, and points at line 67
@@ -605,7 +609,7 @@ test label_sets_size_colour_and_order {
     assert view_verdict(d) == VIEW_OK;
     assert view_node_y(d, 5) == 296;
     assert view_node_y(d, 6) == 168;
-    assert view_node_fill(d, 5) == 0xDDE8F7;
+    assert view_node_fill(d, 5) == 0x2B2508;
     assert view_node_dash(d, 5) == 6;
     // the name moves nothing: the layout reads kind, label and node number only
     var r : SpecGraph = tutorial_08_graph();
@@ -620,7 +624,7 @@ test unknown_node_is_drawn_alone {
     assert view_node_x(g, 14) == 1610;
     assert view_band_top(g) == 408;
     assert view_node_y(g, 14) == 408;
-    assert view_node_fill(g, 14) == 0xECECEC;
+    assert view_node_fill(g, 14) == 0x1A1E1C;
     assert view_node_widget(g, 14) == WIDGET_TEXT_BLOCK;
     assert view_alone_below(g, 14);
     // no edge end lands on it, while power_of_two (node 8) takes four
@@ -735,8 +739,8 @@ test host_entry_points_match_the_layout {
     assert fx_node_line_start(0, 8) == 66;
     assert fx_node_line_end(0, 8) == 68;
     assert fx_node_widget(0, 8) == WIDGET_FORMULA_VIEW;
-    assert fx_node_fill(1, 15) == 0xFFF1D0;
-    assert fx_node_stroke(0, 0) == 0x1B7F3B;
+    assert fx_node_fill(1, 15) == 0x0E2236;
+    assert fx_node_stroke(0, 0) == 0x00FF88;
     assert fx_node_dash(0, 0) == 0;
     assert fx_node_w(0, 14) == 200;
     assert fx_node_h(0, 0) == 44;
@@ -747,7 +751,7 @@ test host_entry_points_match_the_layout {
     assert fx_edge_y1(0, 0) == 58;
     assert fx_edge_x2(0, 0) == 300;
     assert fx_edge_y2(1, 16) == 66;
-    assert fx_edge_stroke(0, 12) == 0x2459A8;
+    assert fx_edge_stroke(0, 12) == 0xFFD700;
     assert fx_edge_dash(1, 16) == 3;
     // past the graph, a host gets 0, not a neighbour's numbers
     assert fx_node_x(0, 15) == 0;
diff --git a/apps/website/public/t27f/graph/t27f.wasm b/apps/website/public/t27f/graph/t27f.wasm
index 34c41b5bdb702bb8e0983d72b6bd44f967bb03ee..322c1ce9514f137fa0508a5851f945ac3684f8e2 100644
GIT binary patch
delta 7978
zcmaJ`e|%KcmB07BnM^Xj@{$k;CWJQ;2#EY9A@ZZ-X%mp&V1=r{b29Ui%rKb=GXqI%
zmlrKnG_eFPDkzImscn~ELO@r#+oE;rYPD6jTdPZzvesYi(r(-RtlgsSIp@83Ghsj5
z{Bhs;ea`*fd(VAua`K4u(J5&R3un4GV~nr&-_E#syJVU$@;zggnSbQ}$r+a<&Lo+^
z!^MH*T;@Q*p9Crw10npufEEl#2~^e}0}ciFXFow?X~Esii#){`>54zgK{A<(f^x|P
z`CyPGS#|;KDk<@DmlwQBN?a&$$+9HL5*SD>BxESTg(UoO7d)vd;y@+S1W;`i$~=_c
zhY|q7<>uWWaLeL0UK)9R)Dd3PWpt&|eG>C@^y-OJILa>aQXn%%R__jHJN1N-WWVKJ
zTZG(ya364_?9QgyB}<u(=#g+Y`<=s~?)TzVu9|BDV4qAy4Ly?Dmdvs>{v5w0mW;C1
zjye%;GZJi-l2a$cU51WvR*n>56)Vsy5lb3+CL2y?*>Wt3cmrZCL#+|*z?3HDyb*Jf
zfO0N%*!Fa)i!H(Vkv5xRt&Xo%Pm5!V;n^2Qf$jE~(W7G|y*q7W3`lT8Fei?r65G0x
z?E0LY2{oX^p1oF)GqfQg>t-yUqNY<lY_VgrC7J3;>QSRR+sVFwD3DEC7&2#5-E5JQ
zm4fxMg(C%hY(cOg=S3zxZ2m}-PIg_{2#fYuBEg!(V{)ZAZ=@y~&UCUyr#35I3{cLp
zIS3ln))R|Dtuvh@okpyqGs~tsp$KP!@><+!<h0#LM`MvJyT*~A)e60L7Mn6cr1#Ed
zlbzU!Fsy$cs~>67H;YZWLNc386sD`voG`Kqn$XpbZ3@arz$UJ%%++N}?4?tk1?W!2
zl36{LWaAxY*mfB`m1N^`>rNXgqldHEaHNwd2%D&Imo)_us!Vq{sduIl(F_Yv)Nmpe
z4QCB<VqPjUC+bLtyE|F2*yz5>bdNB`6<{(ZOzBx8lQp7xTc2I5gfR-msdmPTBSs>j
z;}%<Ik+3z{uef(R=F(BgF7P5U>SgcRR3CeXdy}|~ZDwj)I>Ua+ODz^SJKMi;ml4hw
z>}~E!80l{I7Wcp@&FGOn_6uGDCloe`9_eLo=9xbBbBF2dVgJf~o#8~gZts_$@#0J*
zZ5T<tm;H-Fn|<sJhe@;7bCuJfevSLAd1N969Mqq3UwbT@(XHg{C*0ef#)bkgb+cEw
zmu8vC_9YDV3J+#FQ#~0t&8ZGJ&>8k)UTO4pr_xzHX&A7u;cifE51R@0G7s9Ca3YcF
zF{11x?u&GWlSw0?x2MwVpLt0nl};LIJ=)7&%rkxLN8A^McB@kz8TL;+KrEFD`-Hu~
zy_O)0NAQQ-V{yIg`5X!Je~uTCIL*%4Qh@abIkJy^-zEXlf8-@(O6dFpSFCUdj@>lB
z$AcuZ>&^7CqgP1!*mt=%5$;QE%i`or_8nf7O2@F{eVdo2jgD9<sdpRcE~waGPx6wS
zsF!_<dppA!-4d|Fyx3OtuqPb4lYNtWa>wp*u5=pdlpf3IZQ;n4Xc`*am;A7XxT&qS
zVm`(_C`fMWVh1fU3YWp(au0a|5(jc*AA6L0GO(=;*g^YqWFLDdN2Zy8sTtvDEZL!V
z_p%3I8N+Glt442D?__&mb0UR%h<$?xVTscj6X#0T47-o}$vg%NpVoWWF4$4%9!_+3
zhS@#bg?obC&E<4Q8~Zw!yJEd;C!CILU19b$?g_VLqOtaNb{8*>#^4G|Mhtc*_tSoa
zGnIg&#rktR_9@tCrc&OMN@ueAwqz7?Vmh`%tSzZ9zfwwV6p-7Nq$`8n;U$T+zx%xH
z&}i)*+ZzCedbf2Q_aIMA+2Xes18>2-tprH>KxX|pH`-1aCkot>CS2R;@|?clR^F<N
z5aQL`jWH>GFH1ReA4@uP59@O1PL^=;(#5nTm~+o$)2S^6i-X>@0#ZAVIR-EXyqY>O
z0L_mI?{KDTUGMFVn(ib6p(1Ozd!h~lcS^)z;0|hYn7-L8Y+_DwvWwc}1f`m8E5_7%
zTP(|N^%Y*5x0G5PD_`E1?H*<ox53tv50$?@kT%-4Wx@%#eWFG$yIFzG)c~z4mek>p
z(j2}Npz8&8Lpq%7FxXArvuELb*T*zAS^DjTbN$Ts0p~^HsdClS{xtAhKht(iz3gSo
zr+v;tvec|HRhleStq#Cb+o#6sTq=uCV@#8lkm!La@sL|%p&~RpP!;mX&EVt-F!J|H
zKH%Ki-FKi5IJm6`5ZYZkP=--l!0r6%GGyyy3jQ~7aNnv)%RyVD^45T)7HK>lD)Olw
z&5VaU-~p`L&wM_pYiMeGLO=X5Rrb9GFSSCen{Gl;5+r9Tx9jIrzg$>9*RXyUnxYxh
z@0Ow7mH-D&SH5glu54F9*^(-Q&Cai4#f4SNH^xJfZyJ;cmAb(MDs@q%yr5FaH;QSO
zp9aKLrtB1P-+q3NaQTIYWXj#*pg+Rz8I}UCa$9t-_<697-!1+eoWlpi>e4E&Uxw)e
ze&D~lR4vIx8yM~_ZRO>Ih=|6w0)|X2QQgX*cujfNXIrTp__Jl#R1@#4It$58RlCLK
zWev5Ky{zoUa3MDUBSAzC9&xY~>&l;~eUz{Vp>lw77G>ih=I2-&h(tw&CV}Pp3N2y<
z<JvbS5@Na7d&n)vJ%F4dNXECqVyH4=$nC;h_ET2&j&OU>aufek(J}U6qyc=`5sF2_
zx&u)A#2ur)!ygh?SI#QiXW78w7g3?Rg;9CQ_JmyyrRSq?@Jx(G&&n|~Jr)!$aiOM4
zM8|xc?-w7BN$`iohN_MH5plZe6hAoJF}94GLqCP}4M~s!juPxF*fOm!o!m@v8$ee6
z8UP40ZIiz~Z^D9a1)MCnWIq%CeN~Jf5aH^%svSb*s$?PSi*Prd5$Xhk&xkYCvz@Ks
zQVxkfR5wht5VEkammhGE6ibe%Ny_fw6*c2|(21`cf<nZhx=Fa?hsH&$#}qN6cC2X|
zDYQ~PB{zMh(2D!Y9RXnf5YDI2h8DX}K$tmB$`Jwp+J<ixcbO{mx4l&%JjYDA*HVcW
zYisI{Asuqr7^$uRw7Lp7uc}lS`<U>K|Ij{nC&Zt}FW|dHgPJO*87L>Iwy|)olvCnq
zbv7*eM{2cm{!WWPXe~b@^w2?T_M^lv>ng>|<K`E#GipbR3*#o_MXU2<rPy%w2;&o@
z-C}O-C<j4WjlzOyNqj*YL4{6ao;^qf7XVJ@w9ucndfwsGl@9w!;4cXA$nfnGUgG1q
z3Lo5VfT9H(8uS}YQkmvzt%gx<trim}sQ^Xmr0M*;c%^=Y=x?eLZvpp?D6X%Aaccbp
z{;pV4KaO7z$@)!X^*TrnPTmOPUnYlP+%yHpAJ7=O2I;TS_-h)MOpSo#2#uxJBAub}
zO&S+WL&;+_%F}OyEIN(fqjAiPjUdU=`1%agPMeA2y)#k%K8-ibLi%wUKc(^3*=X}L
zjpcKYPR;?F;UCX=fx`rb8piPl1#g^d(|hyu1C0%~a8F*yj{!YeDD!GbS0k3sTWC{<
ziTc&N8h#pVDn&(82s8~%CX8ojY`BhS8XM-{339L&Pd1JbAJ4~l=(~^NFI-^p)nfaC
z1*EAKuM!nrI8IDjI3Hx;g&Sb}WT7hFT3G8pkBbi7syMEk6!M}upqjVnIvBSuYARG7
z5oZ=fJ(tm1`E*$Q!gsmyDeada><el+m&IF)ALjRpt<9rL2kykEB-fZSARcO7P&$Y*
zyz{X|D));E%_6XyWWZ~ZG9>!7X?#c=r}4ZN8DAKME5vPq{cGpjEjC|Yd;4CDaQ%C1
zhb?^&dGp)81x#v|nr-1eN`v=|Rg$dSi;|Fp7Z|ilO;(010rZHYzQy31^AzW=UtCQ|
z;Hm*rD4kN^+Ynwn;_Vx1%IxCMN0TAgfQa1Cw3u=n-BFm}sOs9W!Pmqkl7j#LANdi8
zTx&WIKwQa!Ag)PWK0l$LJd9Q6m`8|l@S!sEa8af_OOW`Uhc_v_AzaRc4`C2^qd=&b
zYQjaMj1(bUu%rYRT^qpL^QX%g^>(G!rAzQy_Rux}4cYPc*nG~v7~T^t3p+x^Qq`jt
zE#0cRZ8>6F+A=PWOTL<A`N`2@=2=>ZJWKO|#z-M?5vjOB!Tk=BinD8dwe0%-yLJve
zehwVPk(P=6zeB6I_8yBXN5uJ-X|tX}0bCd-=?Oq6rzp@kJC$;b6tZ$0pK;}cnBS^T
z9429**J<(^fFGz$saa}<h-bw2Tj%n#;*YH}rko{vc$o$HGe|3ck7FrbZ;y`fS-zy-
zV_S$fmb5^Ru39=(`~f=l=B0s(r~hvpv193R=v32gyox{j#L^o%e^%VMY>r9u@p*A-
zG)0S~y6OE-ld^NA!KcpU4x$Bs#<NG^AUgZ;2<FSPCy1TSxv81f9j>|XTYxFgQep7<
zk)14EK7FoV{AHO^cZSTpOmka$s|H#Ei#$F&ZFvnZw-7H_+|%N=6)R^GXt{$zGbcuS
zh$nCX^JNj1zH6B(wB}0jyA{|FuU>hv<~-#uh5EFTF2{{9IVM7@Dy2*HqG?raVAn->
zj|)lo?X~lwh^)F+8oVg>tg6Px@l_L~fs5j2s}}Nq7iFstk9`k=)^X+6^bD#TzrlhU
znEqt-Oz?PMP1V@@F(AE3&wy_v{MM533@Pu6S!<49)OXg@;^VV5RZBjgIAv;ZOI@k<
z%3ZJ^(2VZEHf^8iGI;B<l9dBxnU|>LD<LgBwuDO6a?HMI?W%e*3zb8@3bj-_N5P6l
z1j7&?iZ|BI{bDXfposP>I`sErcDLgI8BqN4ohX(ZF}(TvRH{WRTUP_0M;+^?nNB#%
zXMjSLI6ii$OB5=fp(P;uG`Hr`WXg1<S2anmbgB+jVEWbY#*Q;5s71w1Dk9o&(<%PZ
z@P{|e<orD`_U4u{3puYE#AWg#P^p_2q2=+LYnyCm#xz(bm{d?LQQoKZ@Tw*F2`q=a
z0NBSUvR9)-4Jsc9*ZLC`mb2<t%i@zInDrLr9`U2~%j}FCGrHhzfmERlcR*1GHq7H@
zU0EZ%PD07>N(S5QPZt2%x{5|==QED%_ayT*O8t4+CnPIrly>E1mq`|Elm=0zGHpnW
zhrCj=c8<5yarn|7d=uqf;OUnGuz1Z3#X|~g4^+SM3sfrw>QV7fDfsvMTk7EbTN|Rd
zur2&K|GoZr$d499Ep_E+@k0#Z2i~zLhi_|0K-!m3>&|I$#^U~4JZ4>SqeNd|P|?uU
z@lXIFeg-wmSo7QH697IJ5k5&nutinW-gh3gMFrZydid4B*6w--wVnd)eef#+{@8%N
zcV9rQq<v;Oq4!nALsgLc6HiOsSTNa(pM`1_@RVGGa}6sq2tptM{C=B+^}0M@Nnx2j
zu}N52`lSZ)A-p?}VlW4NTl&JW=Q=>_pblb$dKX5<6KFvVQUq|<K9oA}=A;KvS^%pG
zc<wq3LNLIY?mU480dew{${QT4Y+e5_>Ku%0>1U@=3fNfCfE3{v#F%Q8sJ?X*{NmAf
z>x;bnH}*+@qk-K=R(>PaZM+06K-+Ybe;_Vx8rOP7BY2fgyz9zF@L@mplzgMJ`@@UW
zvcOub-8_0!E>ugP2z#j2a=x;83;$4juz3o$<#OG`vn=$PW%hBzmZ*AFuY%pWa`+>C
zKSzt5;pO;vJv<K|-ZpCSO>Hfs@~!$j{9h440R5gewYpG&t$=H;I5cst?Y<~pX`AkI
zdWZ6{a7UIx*x}WY!yIpr|B9;P=}v(cRbMdxdGWbBna{(Z!S>sN;km|2Y5cCw8DnpL
i&OU$g%WP=x0IR;n&x$8bWsP+~R#SV`@Z%k2)BhI;Z(BS7

delta 7054
zcma)B3v?6bmHz*cY*`P>V;iusjXg4kU<d>gAP^q*knnycypmJWL6*jrWLXlDz*4)5
z3^ib04av_l$%bY_n@}JGoRscvyCG?Iv+Xw9u)9rKl5T0jHe|~tZBNe$*^_Pd-aDg_
zOwaCF<(z-+{qFnz_y1>1KDsDfI3v|Cf2x-=#`p%$X2x@yc@7pS_gKxc+$a1$IpY%J
zHpaPRmw=Qcn*<d6xWu`g0SG@>P=n#hL1g^ECjrQz03Y-O+Y+hNQHE}A`x$DS*})=*
zuIvyD78|$O>_FR{PM2hNftAx~=Lp$tHqLDvG`JlJ8(7(qgr8)GC*?#Oh-{QTij6dx
zgA#Bf0!^@&@C2xq*f?t|^*SL1wZH!|b33k8e@krP)hqvvS9E8zl%CcS{&Yx->M?eM
zyG#hVkGLB+5+>3~_8*2Y8PEd$1pAG}q3ou(!j;_Wa?p>(gSr-oZ;hqdDo>v83CDtL
zr6rE~JM}1AA?L+0f3L2gpXI|L%wic@MZ+;&OQrqEG+T;E5wC;KB`DQ{-57E;#$1ds
z380vZEVe5d?_~?IK9Z*6?0(DE$mc#w7u~Z3;uUFBPW6Jtwy@p@0is)bW2|GuaKNm!
zy*dw@4It(Dm@HW*<9%$NrPC9O_r<iJo=At-T&$UNI{mSrmX0Ub94ly!yk*$E7D7Ol
z%^nW)v01}`5WA-`@0U!v!qF(3X=OlIDxHk?=xoMt&7eOOV$%)H928EfePL*Fnzdoi
zC|Lj?`6*V^kRI+1rP-a9FKRP&av}~I8Ew;(!EhkWCRhk*W!l&sw;|Kmcy!%MW>G(E
zf0m6Ku9IzJEw>@l*jTGV@@!VvJUlC^&}Z4kA+0FPv?5-y*W?<l{Yb>av9uPBu`!k^
z%v?%~$5_2J1sEo!`O|5CAjG^@bbmAsIm4L4zI(7~sf0hKh2qg*in%F*KN=4D(>jeK
zE29JvawFEA^d~~BRBSG(%h`r$<7O~k7SN+n4QFbNLBepdUvSqp^q`@Ty~j&QDZ}11
zsVuw7T`}CI&iK}3iv65dSe!Y<?{K^BPwDJ!Zjb881p6s><lqpdv_O{qD|f;HgdxxZ
z8TKy)Cd>ZWVnTiF3U`P6(JsxLhqriHDv;Fmn3iEbvFI%OCyP$9H}i?pk^M1u8)c*d
zIvm6K|H$24;dDwfg0mlSS6346i&R=qupe?4Rhdd>qdNNs?oEZ_eJL%GjCUvXREoVJ
zepOnV`+M%yGl_UIt@)#{A$pMg9d`#p{#Z<pYF+Upd!0K2@nlR-YQYTqL4nD#*SI^V
z_r^7fnPRW<a$+er*mZW9y9^+W=j#>jFt`l++dK(p_4~Y(;3WH=i9!qiCQoMBUz;Sf
z@2|L%RH+r;6&D=Uxl7zjkeOjB!=Aql$+B;9SJa=4Z%tD<r+8^R8P?%Ce3n-v_3m&y
zrX}=bFQllmzvRw5lwr?sSID2z41j%umzknIb}~=rv=DomJMxF*DK3ZfWLyiUv`&AZ
zCzyo$>PhZ_Ez&x(nsF;U!5zrQw)V0U1{s8#{5W@zCDeW_PiEOs?nuGV>M$RN^JJDi
zmM4=e_jRaE_XoqVZY_~v2Vv*@Nw_EVOd2vf0JDb_jtJY!y|AlE*nikbx_WkT4{3*C
ztCLzE`x?v(TKl7kke}`3cANsXgWHnbovfeRdczr(v%}r(XWJeA&QvhmmFr@EUKR|)
z+b0&#*`Il6)bMQphlqXEWbsCUvHFVK7f+_r+SXVQ!eJzqtsDkn8`-uBy4IkDTVwPp
zU|U^;7-O7vb-{gUUX`g_IdF6b8*kMl@^rZw{FXA{jlL(GK$-_H?#Y|cD8(!<#>=j^
zDlevYsqt=&%ELf>!S*<Fc`U;s=$}%_vam(>v5-ZFShp3I-Z)*}yoq@g>z15u;h-fq
z-!K7`Q+bqkXF0|v-bmbU$!UW(W3NaIFA>dR;N9?Li^)u5k62808ry_1$;Qm-A<HM_
zw4n?`Yn|aVTkno-!VelVxpfuB)l|rDt$A4)$vtSwsYjIm1FjoG@a^elDw`nPymq;t
zxkoVd5Bp#3X9|;div8s$_%1QdD;$K$1L75LfbSX_Tk$40p*`YLxtR}$y2`uxUXiG*
zb$M)Vx55-V*e5C#XWrZ1p%ayhc-6lC{(h$NE#(kFaVjP9KJmM%U%E{#g#-U?^~8GO
z)xk-hyBKq;%xAN*Iw+J8Ga3zjn|u)6`AVb?MFNi;EFz#OQX`&iJb@wz!sRC@W@$R&
zV;+vV0VJl6R3*^t8>t2iXI%aIxX5Iduiqv=N@n>;hmeyWBaClZSk4uj$|F8*CT2IE
zHu>>kX2LKN^`p8+A3@qz0twh;gSG)}mye1kM?KFEi~DQZDvugEP;x0HdQj}H`Pj6y
z6H@TP!SY}&TFx9j)nT;4E_hR|*fn|=KPKFDQGP^Z>NfG?;-_^N`BOuK^_4s~cnbE{
zCt+8m4jXh%u`Pmf@|FDm8h~x4G5Npire5$Z&?lo^HV+fEW5WCiv2)CH#dM)?MKU_;
z4)Bs3Bt`={a6r60W|}n`cKM{JZk#dB=#bG1bNit$l5F7EHAy}=)Z5s^y_SFZBqSof
zXc~`OuC$C0bCi+dH%<2z*eN+vS*9Ix%lS4inReb?WdSfghq10=9oqC_fQH91l2213
zzTjKjtGGR<z;QcV>*G=f9J4)!NZe2w?l^<A&u;cgv6sW}SNkNlA{F~SBPRK7nCI`D
zsB50X4~h-V@hYl7K2N!ghS8T_6z?=ogUxr1t+&qMMKNXU1AIvIkA2#xK43gr#TsRl
z&{|sZZ1p&^J*^^BAm6Gj5$lx^R<~#eij$*laC^;e$#e<}>{FCnQFG~R7TeQ!7Yts!
z-QXAjo+1~=hjxtrAs4+98lbFw6Q=NYggkMDC}~~9e=b(EHp3ckZE3oShKi&fniPTc
z_}eU^+SO9ELY34XF!^0^vGozMyuz=F_a|<GwSAHw)@Nw7-HEhL>l?JTPDW(^<N&On
z(7JXC(wAthzYFOctsl_3c<Pt<yW&||zo7L?ZJPl3F0CV{p>zwaZ%#ve;@!CJq4heg
z>U2b&o{pOTMeBwcNMD=*_)x{n*EtlR%pSvqm_K`zcwttf!HZ+FW|)#gw@GT|)fDvj
z8IVpV%?9!4?71d&gQ%19>PzH{&_nUb>>9D@-Ug6n@6Eyb8LinlMAMp`y902rfRji8
zr_94t2slbWzX@z0*e7b{V}_t0Lh~^$QkUn?^}a)!#?`Wjd=5fiXsH%s+R@j4&sW4I
zqQ2Tb8~B&oXL*X0Pm9mmgN{$pTD~<D>^RNkTgbp*!3BZ$&8K3_f@9+ccHmHOm8W~$
zO{Ped<lO|5qRQmm;_8Aq6?+g<;Rxe}DG!R4`$YLZ!hi>x{o?ieCiDH`_p~ba2UZn(
z;fBwiLIPy#uD~EHs($E*s5czF_;xb#dlX$SxX!kl{2_7W{t<Ho1;qD{k(^DY3Vag2
z*q|)cChtcTx--tY+nLm1+6$p9Y_BJ;@CpJ|DB=*QmJ<EAXk64#X{L!bstug&7SAo5
z)lM<aZZ8gSR<Up2=$^$TLc!Pn?)eCKZfvuf0e;N}M^vfT?V*C@$1#;Wa|9W&eeviV
zc`fve%6FH5$wK#Q@b5?XuCQAr{so%Bw*@u_+hdb&M<m=$Dw^IO&@Z!KdMji9%+!px
zud)goY8Xg{OUr@7<ns>76vL%e-4ey2lrGt#l$eUx%$1AB<g7+OG&7rJg$il+3M_TL
zz*0SMTaruML2_0M3{oF)%4KU{-HmKP|IUF!-?$90_-OGs&$m!3qF!ea`8iRyWOCbC
z1i<DTJ@I_JK#s<kq2$vfu*u)XXGA_DGE1~^=LsyfdXcR5b8gE?9a0B)ydXYbGF|Lg
zRxg$>9ohOFvXEeNm^_5E{1UDe_=bCOnAP5;{SH$@$jcV;3u42vN&KQ{TUsZcT2@|t
z@lQR8?=5?QpB6pK>-fvh?q1IM%VN)pyKAT>w+qXoG7a*)xU!;d9LeDHpUpj2=<;*u
zy1<?h^2*WRYvRhL<_jcpF||Z~*(AX&wbO9>?V+BP4ZO<eUeQLqC{C<eIg!fGPdQaU
zjCzzuaWe`rUlQ`_HT-A7zxw@#pHU#VD46Q(wN$B|(?VM_Qu;%S*tVvzy#Eq>kohG1
zmjC=a;+ZvfN&}a~PuA4q<K~(c>1&rn)dO?+FU9HyPK~~XPMf*>D|&hrz8VgVR|Qqi
zgHzFB{)4rnccDl6CcbM?x#WiZw9&D8U&J3ggGvo+8}TuBZSCR@$Wf)@?P;!1f4uWD
zoJ5<v3-4U>L{`FglM$^7C_~+;RIP-#@aXYXC{-B#$+fHQAT?hV#H&^+)XU_obeJ=A
zab3vkrZ?n6l$X-Lp#l6;GDIzrcZtpGMpfk%;FI00P-ro@t^xk8`R2OGcjbkU1X}JV
zOQ#jegg@SqcgWW_f~B&4WKG_(-dBxYSHl-H<-cP6IBZF3{YC!oL*qA0<@}o1xN%{n
zQMya<VxwJH>A8*bQ1j--##sZ!jfOP6ic@}{8tPJ<i^0I=b3w(wM#yZZQ}N0lhy@Rw
zuQrSok5U<#AVD2HP`Lf!WoAT<5$$lDLn!UxuRu~)AHIj@X2NG4Y_1CbwMxIe2KC(|
z-6|lr45a@6=tv#vWxlZ4R?gIcv%o7%J)}ecqd(4YC_wW1IYaW6uSlZyd*Cis2hj^y
zjfenX809+D{!+u|;BiBG*aPCyVxNOgo02L^g85F6`agqwXG(*oKn~gcF`wOeL;uj&
z2w=sYc3v<f@E4vT5yu{>Sj^M|cigV|$CnJveXT_j^_BzcIDqk>j^nivK*+z!eKv8$
zTP=S7$b9(2xb4et@Tw2ZU4m`H(YDDS3fJb3VQfCzd^Tsz{i5<x4;?9-yCXDrg%LOB
z?oFCI`|aa+gR~2$%hY~@&dHx>4-jn5bOlXMDIR6xDBRuI!>@~zovnC1{HQaB6S+Jv
zwbC3aJei71amjdVj2wC<aDvl;*O%jCuYM0cUeoES`K`WiMB&DGk1c|{Bpkb?T}pki
z00)|@_6Xc1T-|d?40KI#TPHyNwfKJ55^y`@=sv~qCOa2Wn&@tWFC2Fn4B@3$cfkKD
zVsOs;O<?F|Xr<INCs)s&f4GG;WiPRP`}VPGpS;IDz3~h7*6+SxH*ek?dZ?#z%Krd(
CV{e84