From 569cd04f26da06469e8ce650cd71c4b1354808bb Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Tue, 9 May 2023 14:17:45 +0200
Subject: [PATCH] Removing old figures
---
.../alice_bob_nonce_ad_alice.svg | 181 ----------------
.../securityStuff/alice_bob_nonce_ad_bob.svg | 203 ------------------
.../securityStuff/fv_alice_bob_nonce.svg | 173 ---------------
.../figures/securityStuff/nonceComp.dia | Bin 7022 -> 0 bytes
.../figures/securityStuff/nonceComp.pdf | Bin 36760 -> 0 bytes
5 files changed, 557 deletions(-)
delete mode 100644 doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_alice.svg
delete mode 100644 doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_bob.svg
delete mode 100644 doc/diplodocus_tutorial/figures/securityStuff/fv_alice_bob_nonce.svg
delete mode 100644 doc/diplodocus_tutorial/figures/securityStuff/nonceComp.dia
delete mode 100644 doc/diplodocus_tutorial/figures/securityStuff/nonceComp.pdf
diff --git a/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_alice.svg b/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_alice.svg
deleted file mode 100644
index fdf7470ffe..0000000000
--- a/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_alice.svg
+++ /dev/null
@@ -1,181 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE svg PUBLIC '-//W3C//DTD SVG 1.0//EN'
- 'http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd'>
-<svg xmlns:xlink="http://www.w3.org/1999/xlink" style="fill-opacity:1; color-rendering:auto; color-interpolation:auto; text-rendering:auto; stroke:black; stroke-linecap:square; stroke-miterlimit:10; shape-rendering:auto; stroke-opacity:1; fill:black; stroke-dasharray:none; font-weight:normal; stroke-width:1; font-family:'Dialog'; font-style:normal; stroke-linejoin:miter; font-size:12px; stroke-dashoffset:0; image-rendering:auto;" width="142" height="264" xmlns="http://www.w3.org/2000/svg"
-><!--Generated by the Batik Graphics2D SVG Generator--><defs id="genericDefs"
- /><g
- ><defs id="defs1"
- ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath1"
- ><path d="M0 0 L142 0 L142 264 L0 264 L0 0 Z"
- /></clipPath
- ></defs
- ><g style="fill:white; font-family:sans-serif; stroke:white;"
- ><rect x="0" y="0" width="142" style="clip-path:url(#clipPath1); stroke:none;" height="264"
- /></g
- ><g style="font-family:sans-serif;"
- ><line x1="67" x2="67" y1="210" style="fill:none; clip-path:url(#clipPath1);" y2="229"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 67 229 62 220 71 220"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 67 229 62 220 71 220"
- /><line x1="124" x2="67" y1="33" style="fill:none; clip-path:url(#clipPath1);" y2="49"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 67 49 73 41 76 51"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 67 49 73 41 76 51"
- /><line x1="67" x2="67" y1="79" style="fill:none; clip-path:url(#clipPath1);" y2="102"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 67 102 62 93 71 93"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 67 102 62 93 71 93"
- /><line x1="67" x2="67" y1="152" style="fill:none; clip-path:url(#clipPath1);" y2="180"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 67 180 62 171 71 171"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 67 180 62 171 71 171"
- /><circle r="7" style="clip-path:url(#clipPath1); stroke:none;" cx="124" cy="20"
- /><line x1="124" x2="124" y1="28" style="fill:none; clip-path:url(#clipPath1);" y2="33"
- /><polygon style="fill:rgb(104,229,255); clip-path:url(#clipPath1); stroke:none;" points=" 25 185 100 185 110 195 100 205 25 205"
- /><line x1="67" x2="67" y1="185" style="fill:none; clip-path:url(#clipPath1);" y2="180"
- /><line x1="67" x2="67" y1="205" style="fill:none; clip-path:url(#clipPath1);" y2="210"
- /><line x1="26" x2="101" y1="186" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="186"
- /><line x1="26" x2="101" y1="206" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="206"
- /><line x1="26" x2="26" y1="186" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="206"
- /><line x1="101" x2="111" y1="186" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="196"
- /><line x1="101" x2="111" y1="206" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="196"
- /><line x1="25" x2="100" y1="185" style="fill:none; clip-path:url(#clipPath1);" y2="185"
- /><line x1="25" x2="100" y1="205" style="fill:none; clip-path:url(#clipPath1);" y2="205"
- /><line x1="25" x2="25" y1="185" style="fill:none; clip-path:url(#clipPath1);" y2="205"
- /><line x1="100" x2="110" y1="185" style="fill:none; clip-path:url(#clipPath1);" y2="195"
- /><line x1="100" x2="110" y1="205" style="fill:none; clip-path:url(#clipPath1);" y2="195"
- /><text x="40" xml:space="preserve" y="185" style="clip-path:url(#clipPath1); stroke:none;"
- >chl</text
- ><text x="40" xml:space="preserve" y="200" style="clip-path:url(#clipPath1); stroke:none;"
- >comm(1)</text
- ><text x="88" xml:space="preserve" y="216" style="clip-path:url(#clipPath1); stroke:none;"
- >sec:symN</text
- ><circle r="8" style="clip-path:url(#clipPath1); stroke:none;" cx="67" cy="244"
- /><circle r="10" style="fill:none; clip-path:url(#clipPath1);" cx="67" cy="244"
- /><line x1="67" x2="67" y1="234" style="fill:none; clip-path:url(#clipPath1);" y2="229"
- /><polygon style="fill:rgb(104,229,255); clip-path:url(#clipPath1); stroke:none;" points=" 11 54 123 54 123 74 11 74 21 64"
- /><line x1="67" x2="67" y1="54" style="fill:none; clip-path:url(#clipPath1);" y2="49"
- /><line x1="67" x2="67" y1="74" style="fill:none; clip-path:url(#clipPath1);" y2="79"
- /><line x1="12" x2="124" y1="55" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="55"
- /><line x1="124" x2="124" y1="55" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="75"
- /><line x1="12" x2="124" y1="75" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="75"
- /><line x1="12" x2="22" y1="55" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="65"
- /><line x1="12" x2="22" y1="75" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="65"
- /><line x1="11" x2="123" y1="54" style="fill:none; clip-path:url(#clipPath1);" y2="54"
- /><line x1="123" x2="123" y1="54" style="fill:none; clip-path:url(#clipPath1);" y2="74"
- /><line x1="11" x2="123" y1="74" style="fill:none; clip-path:url(#clipPath1);" y2="74"
- /><line x1="11" x2="21" y1="54" style="fill:none; clip-path:url(#clipPath1);" y2="64"
- /><line x1="11" x2="21" y1="74" style="fill:none; clip-path:url(#clipPath1);" y2="64"
- /><text x="26" xml:space="preserve" y="54" style="clip-path:url(#clipPath1); stroke:none;"
- >chl</text
- ><text x="23" xml:space="preserve" y="69" style="clip-path:url(#clipPath1); stroke:none;"
- >nonce_ch(1) </text
- ><text x="95" xml:space="preserve" y="85" style="clip-path:url(#clipPath1); stroke:none;"
- >sec:n</text
- ><rect x="60" y="107" width="15" style="clip-path:url(#clipPath1); fill:rgb(199,243,105); stroke:none;" height="35"
- /><polygon style="fill:rgb(199,243,105); clip-path:url(#clipPath1); stroke:none;" points=" 60 142 75 142 67 147"
- /><line x1="60" x2="75" y1="107" style="fill:none; clip-path:url(#clipPath1);" y2="107"
- /><line x1="60" x2="60" y1="107" style="fill:none; clip-path:url(#clipPath1);" y2="142"
- /><line x1="75" x2="75" y1="107" style="fill:none; clip-path:url(#clipPath1);" y2="142"
- /><line x1="60" x2="67" y1="142" style="fill:none; clip-path:url(#clipPath1);" y2="147"
- /><line x1="67" x2="75" y1="147" style="fill:none; clip-path:url(#clipPath1);" y2="142"
- /><line x1="67" x2="67" y1="107" style="fill:none; clip-path:url(#clipPath1);" y2="102"
- /><line x1="67" x2="67" y1="147" style="fill:none; clip-path:url(#clipPath1);" y2="152"
- /><line x1="65" x2="70" y1="112" style="fill:none; clip-path:url(#clipPath1);" y2="112"
- /><line x1="65" x2="70" y1="124" style="fill:none; clip-path:url(#clipPath1);" y2="124"
- /><line x1="65" x2="70" y1="118" style="fill:none; clip-path:url(#clipPath1);" y2="118"
- /><line x1="65" x2="65" y1="112" style="fill:none; clip-path:url(#clipPath1);" y2="118"
- /><line x1="70" x2="70" y1="118" style="fill:none; clip-path:url(#clipPath1);" y2="124"
- /><line x1="65" x2="70" y1="127" style="fill:none; clip-path:url(#clipPath1);" y2="127"
- /><line x1="65" x2="70" y1="139" style="fill:none; clip-path:url(#clipPath1);" y2="139"
- /><line x1="65" x2="70" y1="133" style="fill:none; clip-path:url(#clipPath1);" y2="133"
- /><line x1="65" x2="65" y1="127" style="fill:none; clip-path:url(#clipPath1);" y2="139"
- /><text x="82" xml:space="preserve" y="124" style="clip-path:url(#clipPath1); stroke:none;"
- >sec:symN</text
- ><text x="82" xml:space="preserve" y="132" style="clip-path:url(#clipPath1); stroke:none;"
- >nonce:n</text
- ><image x="38" y="124" width="20" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAAQCAYAAAAWGF8bAAAAVklEQVR4XmNgGErg
-PxqmCKAbRpHB6AZQgsEAXZBsfO7+LxCNKUEuJspAkCJkjE2OZANBipAANjl0PqZB
-MAVYDAQBbHLofKINAwNschhiMEMIGTYKaAsAlkPEzZtFB24AAAAASUVORK5CYII=" style="clip-path:url(#clipPath1);" height="16" preserveAspectRatio="none"
- /></g
- ><g style="font-family:sans-serif;"
- ><line y2="229" style="fill:none;" x1="67" x2="67" y1="210"
- /><polygon style="stroke:none;" points=" 67 229 62 220 71 220"
- /><polygon style="fill:none;" points=" 67 229 62 220 71 220"
- /><line y2="49" style="fill:none;" x1="124" x2="67" y1="33"
- /><polygon style="stroke:none;" points=" 67 49 73 41 76 51"
- /><polygon style="fill:none;" points=" 67 49 73 41 76 51"
- /><line y2="102" style="fill:none;" x1="67" x2="67" y1="79"
- /><polygon style="stroke:none;" points=" 67 102 62 93 71 93"
- /><polygon style="fill:none;" points=" 67 102 62 93 71 93"
- /><line y2="180" style="fill:none;" x1="67" x2="67" y1="152"
- /><polygon style="stroke:none;" points=" 67 180 62 171 71 171"
- /><polygon style="fill:none;" points=" 67 180 62 171 71 171"
- /><circle r="7" style="stroke:none;" cx="124" cy="20"
- /><line y2="33" style="fill:none;" x1="124" x2="124" y1="28"
- /><polygon style="fill:rgb(104,229,255); stroke:none;" points=" 25 185 100 185 110 195 100 205 25 205"
- /><line y2="180" style="fill:none;" x1="67" x2="67" y1="185"
- /><line y2="210" style="fill:none;" x1="67" x2="67" y1="205"
- /><line x1="26" x2="101" y1="186" style="fill:none; stroke:rgb(104,229,255);" y2="186"
- /><line x1="26" x2="101" y1="206" style="fill:none; stroke:rgb(104,229,255);" y2="206"
- /><line x1="26" x2="26" y1="186" style="fill:none; stroke:rgb(104,229,255);" y2="206"
- /><line x1="101" x2="111" y1="186" style="fill:none; stroke:rgb(104,229,255);" y2="196"
- /><line x1="101" x2="111" y1="206" style="fill:none; stroke:rgb(104,229,255);" y2="196"
- /><line y2="185" style="fill:none;" x1="25" x2="100" y1="185"
- /><line y2="205" style="fill:none;" x1="25" x2="100" y1="205"
- /><line y2="205" style="fill:none;" x1="25" x2="25" y1="185"
- /><line y2="195" style="fill:none;" x1="100" x2="110" y1="185"
- /><line y2="195" style="fill:none;" x1="100" x2="110" y1="205"
- /><text x="40" xml:space="preserve" y="185" style="stroke:none;"
- >chl</text
- ><text x="40" xml:space="preserve" y="200" style="stroke:none;"
- >comm(1)</text
- ><text x="88" xml:space="preserve" y="216" style="stroke:none;"
- >sec:symN</text
- ><circle r="8" style="stroke:none;" cx="67" cy="244"
- /><circle r="10" style="fill:none;" cx="67" cy="244"
- /><line y2="229" style="fill:none;" x1="67" x2="67" y1="234"
- /><polygon style="fill:rgb(104,229,255); stroke:none;" points=" 11 54 123 54 123 74 11 74 21 64"
- /><line y2="49" style="fill:none;" x1="67" x2="67" y1="54"
- /><line y2="79" style="fill:none;" x1="67" x2="67" y1="74"
- /><line x1="12" x2="124" y1="55" style="fill:none; stroke:rgb(104,229,255);" y2="55"
- /><line x1="124" x2="124" y1="55" style="fill:none; stroke:rgb(104,229,255);" y2="75"
- /><line x1="12" x2="124" y1="75" style="fill:none; stroke:rgb(104,229,255);" y2="75"
- /><line x1="12" x2="22" y1="55" style="fill:none; stroke:rgb(104,229,255);" y2="65"
- /><line x1="12" x2="22" y1="75" style="fill:none; stroke:rgb(104,229,255);" y2="65"
- /><line y2="54" style="fill:none;" x1="11" x2="123" y1="54"
- /><line y2="74" style="fill:none;" x1="123" x2="123" y1="54"
- /><line y2="74" style="fill:none;" x1="11" x2="123" y1="74"
- /><line y2="64" style="fill:none;" x1="11" x2="21" y1="54"
- /><line y2="64" style="fill:none;" x1="11" x2="21" y1="74"
- /><text x="26" xml:space="preserve" y="54" style="stroke:none;"
- >chl</text
- ><text x="23" xml:space="preserve" y="69" style="stroke:none;"
- >nonce_ch(1) </text
- ><text x="95" xml:space="preserve" y="85" style="stroke:none;"
- >sec:n</text
- ><rect x="60" y="107" width="15" style="fill:rgb(199,243,105); stroke:none;" height="35"
- /><polygon style="fill:rgb(199,243,105); stroke:none;" points=" 60 142 75 142 67 147"
- /><line y2="107" style="fill:none;" x1="60" x2="75" y1="107"
- /><line y2="142" style="fill:none;" x1="60" x2="60" y1="107"
- /><line y2="142" style="fill:none;" x1="75" x2="75" y1="107"
- /><line y2="147" style="fill:none;" x1="60" x2="67" y1="142"
- /><line y2="142" style="fill:none;" x1="67" x2="75" y1="147"
- /><line y2="102" style="fill:none;" x1="67" x2="67" y1="107"
- /><line y2="152" style="fill:none;" x1="67" x2="67" y1="147"
- /><line y2="112" style="fill:none;" x1="65" x2="70" y1="112"
- /><line y2="124" style="fill:none;" x1="65" x2="70" y1="124"
- /><line y2="118" style="fill:none;" x1="65" x2="70" y1="118"
- /><line y2="118" style="fill:none;" x1="65" x2="65" y1="112"
- /><line y2="124" style="fill:none;" x1="70" x2="70" y1="118"
- /><line y2="127" style="fill:none;" x1="65" x2="70" y1="127"
- /><line y2="139" style="fill:none;" x1="65" x2="70" y1="139"
- /><line y2="133" style="fill:none;" x1="65" x2="70" y1="133"
- /><line y2="139" style="fill:none;" x1="65" x2="65" y1="127"
- /><text x="82" xml:space="preserve" y="124" style="stroke:none;"
- >sec:symN</text
- ><text x="82" xml:space="preserve" y="132" style="stroke:none;"
- >nonce:n</text
- ><image preserveAspectRatio="none" x="38" width="20" y="124" height="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAAQCAYAAAAWGF8bAAAAVklEQVR4XmNgGErg
-PxqmCKAbRpHB6AZQgsEAXZBsfO7+LxCNKUEuJspAkCJkjE2OZANBipAANjl0PqZB
-MAVYDAQBbHLofKINAwNschhiMEMIGTYKaAsAlkPEzZtFB24AAAAASUVORK5CYII="
- /></g
- ></g
-></svg
->
diff --git a/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_bob.svg b/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_bob.svg
deleted file mode 100644
index 15368611a8..0000000000
--- a/doc/diplodocus_tutorial/figures/securityStuff/alice_bob_nonce_ad_bob.svg
+++ /dev/null
@@ -1,203 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE svg PUBLIC '-//W3C//DTD SVG 1.0//EN'
- 'http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd'>
-<svg xmlns:xlink="http://www.w3.org/1999/xlink" style="fill-opacity:1; color-rendering:auto; color-interpolation:auto; text-rendering:auto; stroke:black; stroke-linecap:square; stroke-miterlimit:10; shape-rendering:auto; stroke-opacity:1; fill:black; stroke-dasharray:none; font-weight:normal; stroke-width:1; font-family:'Dialog'; font-style:normal; stroke-linejoin:miter; font-size:12px; stroke-dashoffset:0; image-rendering:auto;" width="148" height="323" xmlns="http://www.w3.org/2000/svg"
-><!--Generated by the Batik Graphics2D SVG Generator--><defs id="genericDefs"
- /><g
- ><defs id="defs1"
- ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath1"
- ><path d="M0 0 L148 0 L148 323 L0 323 L0 0 Z"
- /></clipPath
- ></defs
- ><g style="fill:white; font-family:sans-serif; stroke:white;"
- ><rect x="0" y="0" width="148" style="clip-path:url(#clipPath1); stroke:none;" height="323"
- /></g
- ><g style="font-family:sans-serif;"
- ><line x1="67" x2="68" y1="147" style="fill:none; clip-path:url(#clipPath1);" y2="165"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 68 165 62 156 72 156"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 68 165 62 156 72 156"
- /><line x1="130" x2="66" y1="40" style="fill:none; clip-path:url(#clipPath1);" y2="48"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 66 48 73 41 75 51"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 66 48 73 41 75 51"
- /><line x1="66" x2="67" y1="98" style="fill:none; clip-path:url(#clipPath1);" y2="117"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 67 117 61 108 71 108"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 67 117 61 108 71 108"
- /><line x1="68" x2="68" y1="195" style="fill:none; clip-path:url(#clipPath1);" y2="220"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 68 220 63 211 72 211"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 68 220 63 211 72 211"
- /><line x1="68" x2="69" y1="270" style="fill:none; clip-path:url(#clipPath1);" y2="288"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 69 288 63 279 73 279"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 69 288 63 279 73 279"
- /><circle r="7" style="clip-path:url(#clipPath1); stroke:none;" cx="130" cy="27"
- /><line x1="130" x2="130" y1="35" style="fill:none; clip-path:url(#clipPath1);" y2="40"
- /><polygon style="fill:rgb(104,229,255); clip-path:url(#clipPath1); stroke:none;" points=" 24 170 113 170 113 190 24 190 34 180"
- /><line x1="68" x2="68" y1="170" style="fill:none; clip-path:url(#clipPath1);" y2="165"
- /><line x1="68" x2="68" y1="190" style="fill:none; clip-path:url(#clipPath1);" y2="195"
- /><line x1="25" x2="114" y1="171" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="171"
- /><line x1="114" x2="114" y1="171" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="191"
- /><line x1="25" x2="114" y1="191" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="191"
- /><line x1="25" x2="35" y1="171" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="181"
- /><line x1="25" x2="35" y1="191" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="181"
- /><line x1="24" x2="113" y1="170" style="fill:none; clip-path:url(#clipPath1);" y2="170"
- /><line x1="113" x2="113" y1="170" style="fill:none; clip-path:url(#clipPath1);" y2="190"
- /><line x1="24" x2="113" y1="190" style="fill:none; clip-path:url(#clipPath1);" y2="190"
- /><line x1="24" x2="34" y1="170" style="fill:none; clip-path:url(#clipPath1);" y2="180"
- /><line x1="24" x2="34" y1="190" style="fill:none; clip-path:url(#clipPath1);" y2="180"
- /><text x="39" xml:space="preserve" y="170" style="clip-path:url(#clipPath1); stroke:none;"
- >chl</text
- ><text x="36" xml:space="preserve" y="185" style="clip-path:url(#clipPath1); stroke:none;"
- >comm(1) </text
- ><text x="90" xml:space="preserve" y="201" style="clip-path:url(#clipPath1); stroke:none;"
- >sec:symN</text
- ><circle r="8" style="clip-path:url(#clipPath1); stroke:none;" cx="69" cy="303"
- /><circle r="10" style="fill:none; clip-path:url(#clipPath1);" cx="69" cy="303"
- /><line x1="69" x2="69" y1="293" style="fill:none; clip-path:url(#clipPath1);" y2="288"
- /><polygon style="fill:rgb(104,229,255); clip-path:url(#clipPath1); stroke:none;" points=" 13 122 111 122 121 132 111 142 13 142"
- /><line x1="67" x2="67" y1="122" style="fill:none; clip-path:url(#clipPath1);" y2="117"
- /><line x1="67" x2="67" y1="142" style="fill:none; clip-path:url(#clipPath1);" y2="147"
- /><line x1="14" x2="112" y1="123" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="123"
- /><line x1="14" x2="112" y1="143" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="143"
- /><line x1="14" x2="14" y1="123" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="143"
- /><line x1="112" x2="122" y1="123" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="133"
- /><line x1="112" x2="122" y1="143" style="clip-path:url(#clipPath1); fill:none; stroke:rgb(104,229,255);" y2="133"
- /><line x1="13" x2="111" y1="122" style="fill:none; clip-path:url(#clipPath1);" y2="122"
- /><line x1="13" x2="111" y1="142" style="fill:none; clip-path:url(#clipPath1);" y2="142"
- /><line x1="13" x2="13" y1="122" style="fill:none; clip-path:url(#clipPath1);" y2="142"
- /><line x1="111" x2="121" y1="122" style="fill:none; clip-path:url(#clipPath1);" y2="132"
- /><line x1="111" x2="121" y1="142" style="fill:none; clip-path:url(#clipPath1);" y2="132"
- /><text x="28" xml:space="preserve" y="122" style="clip-path:url(#clipPath1); stroke:none;"
- >chl</text
- ><text x="28" xml:space="preserve" y="137" style="clip-path:url(#clipPath1); stroke:none;"
- >nonce_ch(1)</text
- ><text x="94" xml:space="preserve" y="153" style="clip-path:url(#clipPath1); stroke:none;"
- >sec:n</text
- ><rect x="59" y="53" width="15" style="clip-path:url(#clipPath1); fill:rgb(199,243,105); stroke:none;" height="35"
- /><polygon style="fill:rgb(199,243,105); clip-path:url(#clipPath1); stroke:none;" points=" 59 88 74 88 66 93"
- /><line x1="59" x2="74" y1="53" style="fill:none; clip-path:url(#clipPath1);" y2="53"
- /><line x1="59" x2="59" y1="53" style="fill:none; clip-path:url(#clipPath1);" y2="88"
- /><line x1="74" x2="74" y1="53" style="fill:none; clip-path:url(#clipPath1);" y2="88"
- /><line x1="59" x2="66" y1="88" style="fill:none; clip-path:url(#clipPath1);" y2="93"
- /><line x1="66" x2="74" y1="93" style="fill:none; clip-path:url(#clipPath1);" y2="88"
- /><line x1="66" x2="66" y1="53" style="fill:none; clip-path:url(#clipPath1);" y2="48"
- /><line x1="66" x2="66" y1="93" style="fill:none; clip-path:url(#clipPath1);" y2="98"
- /><line x1="63" x2="63" y1="64" style="fill:none; clip-path:url(#clipPath1);" y2="76"
- /><line x1="69" x2="69" y1="64" style="fill:none; clip-path:url(#clipPath1);" y2="76"
- /><line x1="63" x2="69" y1="64" style="fill:none; clip-path:url(#clipPath1);" y2="76"
- /><text x="81" xml:space="preserve" y="70" style="clip-path:url(#clipPath1); stroke:none;"
- >sec:n</text
- ><image x="37" y="70" width="20" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAAQCAYAAAAWGF8bAAAAVklEQVR4XmNgGErg
-PxqmCKAbRpHB6AZQgsEAXZBsfO7+LxCNKUEuJspAkCJkjE2OZANBipAANjl0PqZB
-MAVYDAQBbHLofKINAwNschhiMEMIGTYKaAsAlkPEzZtFB24AAAAASUVORK5CYII=" style="clip-path:url(#clipPath1);" height="16" preserveAspectRatio="none"
- /><rect x="61" y="225" width="15" style="clip-path:url(#clipPath1); fill:rgb(199,243,105); stroke:none;" height="35"
- /><polygon style="fill:rgb(199,243,105); clip-path:url(#clipPath1); stroke:none;" points=" 61 260 76 260 68 265"
- /><line x1="61" x2="76" y1="225" style="fill:none; clip-path:url(#clipPath1);" y2="225"
- /><line x1="61" x2="61" y1="225" style="fill:none; clip-path:url(#clipPath1);" y2="260"
- /><line x1="76" x2="76" y1="225" style="fill:none; clip-path:url(#clipPath1);" y2="260"
- /><line x1="61" x2="68" y1="260" style="fill:none; clip-path:url(#clipPath1);" y2="265"
- /><line x1="68" x2="76" y1="265" style="fill:none; clip-path:url(#clipPath1);" y2="260"
- /><line x1="68" x2="68" y1="225" style="fill:none; clip-path:url(#clipPath1);" y2="220"
- /><line x1="68" x2="68" y1="265" style="fill:none; clip-path:url(#clipPath1);" y2="270"
- /><line x1="66" x2="66" y1="231" style="fill:none; clip-path:url(#clipPath1);" y2="254"
- /><path d="M63.5 255 A7.5 12.5 0 0 0 63.5 230" style="fill:none; clip-path:url(#clipPath1);"
- /><image x="39" y="242" width="20" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAAQCAYAAAAWGF8bAAAAVklEQVR4XmNgGErg
-PxqmCKAbRpHB6AZQgsEAXZBsfO7+LxCNKUEuJspAkCJkjE2OZANBipAANjl0PqZB
-MAVYDAQBbHLofKINAwNschhiMEMIGTYKaAsAlkPEzZtFB24AAAAASUVORK5CYII=" style="clip-path:url(#clipPath1);" height="16" preserveAspectRatio="none"
- /><text x="83" xml:space="preserve" y="242" style="clip-path:url(#clipPath1); stroke:none;"
- >sec:symN</text
- ></g
- ><g style="font-family:sans-serif;"
- ><line y2="165" style="fill:none;" x1="67" x2="68" y1="147"
- /><polygon style="stroke:none;" points=" 68 165 62 156 72 156"
- /><polygon style="fill:none;" points=" 68 165 62 156 72 156"
- /><line y2="48" style="fill:none;" x1="130" x2="66" y1="40"
- /><polygon style="stroke:none;" points=" 66 48 73 41 75 51"
- /><polygon style="fill:none;" points=" 66 48 73 41 75 51"
- /><line y2="117" style="fill:none;" x1="66" x2="67" y1="98"
- /><polygon style="stroke:none;" points=" 67 117 61 108 71 108"
- /><polygon style="fill:none;" points=" 67 117 61 108 71 108"
- /><line y2="220" style="fill:none;" x1="68" x2="68" y1="195"
- /><polygon style="stroke:none;" points=" 68 220 63 211 72 211"
- /><polygon style="fill:none;" points=" 68 220 63 211 72 211"
- /><line y2="288" style="fill:none;" x1="68" x2="69" y1="270"
- /><polygon style="stroke:none;" points=" 69 288 63 279 73 279"
- /><polygon style="fill:none;" points=" 69 288 63 279 73 279"
- /><circle r="7" style="stroke:none;" cx="130" cy="27"
- /><line y2="40" style="fill:none;" x1="130" x2="130" y1="35"
- /><polygon style="fill:rgb(104,229,255); stroke:none;" points=" 24 170 113 170 113 190 24 190 34 180"
- /><line y2="165" style="fill:none;" x1="68" x2="68" y1="170"
- /><line y2="195" style="fill:none;" x1="68" x2="68" y1="190"
- /><line x1="25" x2="114" y1="171" style="fill:none; stroke:rgb(104,229,255);" y2="171"
- /><line x1="114" x2="114" y1="171" style="fill:none; stroke:rgb(104,229,255);" y2="191"
- /><line x1="25" x2="114" y1="191" style="fill:none; stroke:rgb(104,229,255);" y2="191"
- /><line x1="25" x2="35" y1="171" style="fill:none; stroke:rgb(104,229,255);" y2="181"
- /><line x1="25" x2="35" y1="191" style="fill:none; stroke:rgb(104,229,255);" y2="181"
- /><line y2="170" style="fill:none;" x1="24" x2="113" y1="170"
- /><line y2="190" style="fill:none;" x1="113" x2="113" y1="170"
- /><line y2="190" style="fill:none;" x1="24" x2="113" y1="190"
- /><line y2="180" style="fill:none;" x1="24" x2="34" y1="170"
- /><line y2="180" style="fill:none;" x1="24" x2="34" y1="190"
- /><text x="39" xml:space="preserve" y="170" style="stroke:none;"
- >chl</text
- ><text x="36" xml:space="preserve" y="185" style="stroke:none;"
- >comm(1) </text
- ><text x="90" xml:space="preserve" y="201" style="stroke:none;"
- >sec:symN</text
- ><circle r="8" style="stroke:none;" cx="69" cy="303"
- /><circle r="10" style="fill:none;" cx="69" cy="303"
- /><line y2="288" style="fill:none;" x1="69" x2="69" y1="293"
- /><polygon style="fill:rgb(104,229,255); stroke:none;" points=" 13 122 111 122 121 132 111 142 13 142"
- /><line y2="117" style="fill:none;" x1="67" x2="67" y1="122"
- /><line y2="147" style="fill:none;" x1="67" x2="67" y1="142"
- /><line x1="14" x2="112" y1="123" style="fill:none; stroke:rgb(104,229,255);" y2="123"
- /><line x1="14" x2="112" y1="143" style="fill:none; stroke:rgb(104,229,255);" y2="143"
- /><line x1="14" x2="14" y1="123" style="fill:none; stroke:rgb(104,229,255);" y2="143"
- /><line x1="112" x2="122" y1="123" style="fill:none; stroke:rgb(104,229,255);" y2="133"
- /><line x1="112" x2="122" y1="143" style="fill:none; stroke:rgb(104,229,255);" y2="133"
- /><line y2="122" style="fill:none;" x1="13" x2="111" y1="122"
- /><line y2="142" style="fill:none;" x1="13" x2="111" y1="142"
- /><line y2="142" style="fill:none;" x1="13" x2="13" y1="122"
- /><line y2="132" style="fill:none;" x1="111" x2="121" y1="122"
- /><line y2="132" style="fill:none;" x1="111" x2="121" y1="142"
- /><text x="28" xml:space="preserve" y="122" style="stroke:none;"
- >chl</text
- ><text x="28" xml:space="preserve" y="137" style="stroke:none;"
- >nonce_ch(1)</text
- ><text x="94" xml:space="preserve" y="153" style="stroke:none;"
- >sec:n</text
- ><rect x="59" y="53" width="15" style="fill:rgb(199,243,105); stroke:none;" height="35"
- /><polygon style="fill:rgb(199,243,105); stroke:none;" points=" 59 88 74 88 66 93"
- /><line y2="53" style="fill:none;" x1="59" x2="74" y1="53"
- /><line y2="88" style="fill:none;" x1="59" x2="59" y1="53"
- /><line y2="88" style="fill:none;" x1="74" x2="74" y1="53"
- /><line y2="93" style="fill:none;" x1="59" x2="66" y1="88"
- /><line y2="88" style="fill:none;" x1="66" x2="74" y1="93"
- /><line y2="48" style="fill:none;" x1="66" x2="66" y1="53"
- /><line y2="98" style="fill:none;" x1="66" x2="66" y1="93"
- /><line y2="76" style="fill:none;" x1="63" x2="63" y1="64"
- /><line y2="76" style="fill:none;" x1="69" x2="69" y1="64"
- /><line y2="76" style="fill:none;" x1="63" x2="69" y1="64"
- /><text x="81" xml:space="preserve" y="70" style="stroke:none;"
- >sec:n</text
- ><image preserveAspectRatio="none" x="37" width="20" y="70" height="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAAQCAYAAAAWGF8bAAAAVklEQVR4XmNgGErg
-PxqmCKAbRpHB6AZQgsEAXZBsfO7+LxCNKUEuJspAkCJkjE2OZANBipAANjl0PqZB
-MAVYDAQBbHLofKINAwNschhiMEMIGTYKaAsAlkPEzZtFB24AAAAASUVORK5CYII="
- /><rect x="61" y="225" width="15" style="fill:rgb(199,243,105); stroke:none;" height="35"
- /><polygon style="fill:rgb(199,243,105); stroke:none;" points=" 61 260 76 260 68 265"
- /><line y2="225" style="fill:none;" x1="61" x2="76" y1="225"
- /><line y2="260" style="fill:none;" x1="61" x2="61" y1="225"
- /><line y2="260" style="fill:none;" x1="76" x2="76" y1="225"
- /><line y2="265" style="fill:none;" x1="61" x2="68" y1="260"
- /><line y2="260" style="fill:none;" x1="68" x2="76" y1="265"
- /><line y2="220" style="fill:none;" x1="68" x2="68" y1="225"
- /><line y2="270" style="fill:none;" x1="68" x2="68" y1="265"
- /><line y2="254" style="fill:none;" x1="66" x2="66" y1="231"
- /><path style="fill:none;" d="M63.5 255 A7.5 12.5 0 0 0 63.5 230"
- /><image preserveAspectRatio="none" x="39" width="20" y="242" height="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAAQCAYAAAAWGF8bAAAAVklEQVR4XmNgGErg
-PxqmCKAbRpHB6AZQgsEAXZBsfO7+LxCNKUEuJspAkCJkjE2OZANBipAANjl0PqZB
-MAVYDAQBbHLofKINAwNschhiMEMIGTYKaAsAlkPEzZtFB24AAAAASUVORK5CYII="
- /><text x="83" xml:space="preserve" y="242" style="stroke:none;"
- >sec:symN</text
- ></g
- ></g
-></svg
->
diff --git a/doc/diplodocus_tutorial/figures/securityStuff/fv_alice_bob_nonce.svg b/doc/diplodocus_tutorial/figures/securityStuff/fv_alice_bob_nonce.svg
deleted file mode 100644
index 20ee4b43d3..0000000000
--- a/doc/diplodocus_tutorial/figures/securityStuff/fv_alice_bob_nonce.svg
+++ /dev/null
@@ -1,173 +0,0 @@
-<?xml version="1.0"?>
-<!DOCTYPE svg PUBLIC '-//W3C//DTD SVG 1.0//EN'
- 'http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd'>
-<svg xmlns:xlink="http://www.w3.org/1999/xlink" style="fill-opacity:1; color-rendering:auto; color-interpolation:auto; text-rendering:auto; stroke:black; stroke-linecap:square; stroke-miterlimit:10; shape-rendering:auto; stroke-opacity:1; fill:black; stroke-dasharray:none; font-weight:normal; stroke-width:1; font-family:'Dialog'; font-style:normal; stroke-linejoin:miter; font-size:12px; stroke-dashoffset:0; image-rendering:auto;" width="528" height="184" xmlns="http://www.w3.org/2000/svg"
-><!--Generated by the Batik Graphics2D SVG Generator--><defs id="genericDefs"
- /><g
- ><defs id="defs1"
- ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath1"
- ><path d="M0 0 L528 0 L528 184 L0 184 L0 0 Z"
- /></clipPath
- ></defs
- ><g style="fill:white; font-family:sans-serif; stroke:white;"
- ><rect x="0" y="0" width="528" style="clip-path:url(#clipPath1); stroke:none;" height="184"
- /></g
- ><g style="font-family:sans-serif;"
- ><rect x="21" y="24" width="200" style="fill:none; clip-path:url(#clipPath1);" height="150"
- /></g
- ><g style="fill:rgb(201,243,188); fill-opacity:0.7843; font-family:sans-serif; stroke-opacity:0.7843; stroke:rgb(201,243,188);"
- ><rect x="22" y="25" width="198" style="clip-path:url(#clipPath1); stroke:none;" height="148"
- /><rect x="21" y="24" width="1" style="clip-path:url(#clipPath1); fill:rgb(255,255,255); stroke:none;" height="150"
- /><rect x="22" y="24" width="198" style="clip-path:url(#clipPath1); fill:rgb(255,255,255); stroke:none;" height="1"
- /><rect x="22" y="173" width="199" style="clip-path:url(#clipPath1); fill:rgb(140,170,131); stroke:none;" height="1"
- /><rect x="220" y="24" width="1" style="clip-path:url(#clipPath1); fill:rgb(140,170,131); stroke:none;" height="149"
- /></g
- ><g style="font-family:sans-serif; font-weight:bold;"
- ><text x="106" xml:space="preserve" y="51" style="clip-path:url(#clipPath1); stroke:none;"
- >Alice</text
- ><image x="191" y="39" width="15" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA8AAAAQCAYAAADJViUEAAAAYklEQVR4Xs2PWw5A
-EQxEu//F2cLdhx+SS4Xp1ONHTHIiZA4l8krSASYpfHGJ9ppEmGWU4ca2Evp+2SD9
-JWTcQZZFWUPPzctQ1nDZGWtPRrSEMJn+2cPINeYlDyb/E+yC7r1k/CUznLqz88wAAAAASUVORK5CYII=" style="clip-path:url(#clipPath1); font-weight:normal;" height="16" preserveAspectRatio="none"
- /><rect x="208" y="85" width="26" style="clip-path:url(#clipPath1); fill:rgb(104,229,255); stroke:none;" height="26"
- /><rect x="208" y="85" width="26" style="fill:none; clip-path:url(#clipPath1);" height="26"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 211 88 211 108 231 98"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 211 88 211 108 231 98"
- /><text x="208" y="84" style="clip-path:url(#clipPath1); font-weight:normal; stroke:none;" xml:space="preserve"
- >comm</text
- ><text x="190" y="78" style="clip-path:url(#clipPath1); font-weight:normal; stroke:none;" xml:space="preserve"
- >???</text
- ><ellipse style="fill:none; clip-path:url(#clipPath1);" rx="3" cx="199" ry="4.5" cy="89.5"
- /><rect x="195" y="88" width="9" style="clip-path:url(#clipPath1); fill:gray; stroke:none;" height="7"
- /><rect x="195" y="88" width="9" style="fill:none; clip-path:url(#clipPath1);" height="7"
- /><rect x="208" y="142" width="26" style="clip-path:url(#clipPath1); fill:rgb(104,229,255); stroke:none;" height="26"
- /><rect x="208" y="142" width="26" style="fill:none; clip-path:url(#clipPath1);" height="26"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 231 145 231 165 211 155"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 231 145 231 165 211 155"
- /><text x="208" y="141" style="clip-path:url(#clipPath1); font-weight:normal; stroke:none;" xml:space="preserve"
- >nonce_ch</text
- ><rect x="318" y="23" width="200" style="fill:none; clip-path:url(#clipPath1);" height="150"
- /></g
- ><g style="fill:rgb(201,243,188); fill-opacity:0.7843; font-family:sans-serif; stroke-opacity:0.7843; stroke:rgb(201,243,188);"
- ><rect x="319" y="24" width="198" style="clip-path:url(#clipPath1); stroke:none;" height="148"
- /><rect x="318" y="23" width="1" style="clip-path:url(#clipPath1); fill:rgb(255,255,255); stroke:none;" height="150"
- /><rect x="319" y="23" width="198" style="clip-path:url(#clipPath1); fill:rgb(255,255,255); stroke:none;" height="1"
- /><rect x="319" y="172" width="199" style="clip-path:url(#clipPath1); fill:rgb(140,170,131); stroke:none;" height="1"
- /><rect x="517" y="23" width="1" style="clip-path:url(#clipPath1); fill:rgb(140,170,131); stroke:none;" height="149"
- /></g
- ><g style="font-family:sans-serif; font-weight:bold;"
- ><text x="406" xml:space="preserve" y="50" style="clip-path:url(#clipPath1); stroke:none;"
- >Bob</text
- ><image x="488" y="38" width="15" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA8AAAAQCAYAAADJViUEAAAAYklEQVR4Xs2PWw5A
-EQxEu//F2cLdhx+SS4Xp1ONHTHIiZA4l8krSASYpfHGJ9ppEmGWU4ca2Evp+2SD9
-JWTcQZZFWUPPzctQ1nDZGWtPRrSEMJn+2cPINeYlDyb/E+yC7r1k/CUznLqz88wAAAAASUVORK5CYII=" style="clip-path:url(#clipPath1); font-weight:normal;" height="16" preserveAspectRatio="none"
- /><rect x="305" y="87" width="26" style="clip-path:url(#clipPath1); fill:rgb(104,229,255); stroke:none;" height="26"
- /><rect x="305" y="87" width="26" style="fill:none; clip-path:url(#clipPath1);" height="26"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 308 90 308 110 328 100"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 308 90 308 110 328 100"
- /><text x="305" y="86" style="clip-path:url(#clipPath1); font-weight:normal; stroke:none;" xml:space="preserve"
- >comm</text
- ><text x="293" y="95" style="clip-path:url(#clipPath1); font-weight:normal; stroke:none;" xml:space="preserve"
- ></text
- ><ellipse style="fill:none; clip-path:url(#clipPath1);" rx="5" cx="292" ry="7.5" cy="106.5"
- /><polygon style="fill:gray; clip-path:url(#clipPath1); stroke:none;" points=" 285 105 285 121 301 121"
- /><polygon style="fill:gray; clip-path:url(#clipPath1); stroke:none;" points=" 301 121 301 105 285 105"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 285 105 285 121 301 121"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 301 121 301 105 285 105"
- /><text x="286" y="117" style="clip-path:url(#clipPath1); font-weight:normal; stroke:none;" xml:space="preserve"
- >S</text
- ><text x="293" y="114" style="clip-path:url(#clipPath1); font-weight:normal; stroke:none;" xml:space="preserve"
- >W</text
- ><rect x="305" y="144" width="26" style="clip-path:url(#clipPath1); fill:rgb(104,229,255); stroke:none;" height="26"
- /><rect x="305" y="144" width="26" style="fill:none; clip-path:url(#clipPath1);" height="26"
- /><polygon style="fill:none; clip-path:url(#clipPath1);" points=" 328 147 328 167 308 157"
- /><polygon style="clip-path:url(#clipPath1); stroke:none;" points=" 328 147 328 167 308 157"
- /><text x="305" y="143" style="clip-path:url(#clipPath1); font-weight:normal; stroke:none;" xml:space="preserve"
- >nonce_ch</text
- ><text x="251" y="99" style="clip-path:url(#clipPath1); font-style:italic; stroke:none; font-weight:normal;" xml:space="preserve"
- >comm</text
- ><line x1="234" x2="305" y1="98" style="fill:none; clip-path:url(#clipPath1);" y2="100"
- /><text x="239" y="156" style="clip-path:url(#clipPath1); font-style:italic; stroke:none; font-weight:normal;" xml:space="preserve"
- >nonce_ch</text
- ><line x1="234" x2="305" y1="155" style="fill:none; clip-path:url(#clipPath1);" y2="157"
- /></g
- ><g style="font-family:sans-serif;"
- ><rect x="21" width="200" height="150" y="24" style="fill:none;"
- /></g
- ><g style="fill:rgb(201,243,188); fill-opacity:0.7843; font-family:sans-serif; stroke-opacity:0.7843; stroke:rgb(201,243,188);"
- ><rect x="22" width="198" height="148" y="25" style="stroke:none;"
- /><rect x="21" y="24" width="1" style="fill:rgb(255,255,255); stroke:none;" height="150"
- /><rect x="22" y="24" width="198" style="fill:rgb(255,255,255); stroke:none;" height="1"
- /><rect x="22" y="173" width="199" style="fill:rgb(140,170,131); stroke:none;" height="1"
- /><rect x="220" y="24" width="1" style="fill:rgb(140,170,131); stroke:none;" height="149"
- /></g
- ><g style="font-family:sans-serif; font-weight:bold;"
- ><text x="106" xml:space="preserve" y="51" style="stroke:none;"
- >Alice</text
- ><image x="191" y="39" width="15" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA8AAAAQCAYAAADJViUEAAAAYklEQVR4Xs2PWw5A
-EQxEu//F2cLdhx+SS4Xp1ONHTHIiZA4l8krSASYpfHGJ9ppEmGWU4ca2Evp+2SD9
-JWTcQZZFWUPPzctQ1nDZGWtPRrSEMJn+2cPINeYlDyb/E+yC7r1k/CUznLqz88wAAAAASUVORK5CYII=" style="font-weight:normal;" height="16" preserveAspectRatio="none"
- /><rect x="208" y="85" width="26" style="fill:rgb(104,229,255); stroke:none;" height="26"
- /><rect x="208" width="26" height="26" y="85" style="fill:none;"
- /><polygon style="fill:none;" points=" 211 88 211 108 231 98"
- /><polygon style="stroke:none;" points=" 211 88 211 108 231 98"
- /><text x="208" xml:space="preserve" y="84" style="font-weight:normal; stroke:none;"
- >comm</text
- ><text x="190" xml:space="preserve" y="78" style="font-weight:normal; stroke:none;"
- >???</text
- ><ellipse rx="3" ry="4.5" style="fill:none;" cx="199" cy="89.5"
- /><rect x="195" y="88" width="9" style="fill:gray; stroke:none;" height="7"
- /><rect x="195" width="9" height="7" y="88" style="fill:none;"
- /><rect x="208" y="142" width="26" style="fill:rgb(104,229,255); stroke:none;" height="26"
- /><rect x="208" width="26" height="26" y="142" style="fill:none;"
- /><polygon style="fill:none;" points=" 231 145 231 165 211 155"
- /><polygon style="stroke:none;" points=" 231 145 231 165 211 155"
- /><text x="208" xml:space="preserve" y="141" style="font-weight:normal; stroke:none;"
- >nonce_ch</text
- ><rect x="318" width="200" height="150" y="23" style="fill:none;"
- /></g
- ><g style="fill:rgb(201,243,188); fill-opacity:0.7843; font-family:sans-serif; stroke-opacity:0.7843; stroke:rgb(201,243,188);"
- ><rect x="319" width="198" height="148" y="24" style="stroke:none;"
- /><rect x="318" y="23" width="1" style="fill:rgb(255,255,255); stroke:none;" height="150"
- /><rect x="319" y="23" width="198" style="fill:rgb(255,255,255); stroke:none;" height="1"
- /><rect x="319" y="172" width="199" style="fill:rgb(140,170,131); stroke:none;" height="1"
- /><rect x="517" y="23" width="1" style="fill:rgb(140,170,131); stroke:none;" height="149"
- /></g
- ><g style="font-family:sans-serif; font-weight:bold;"
- ><text x="406" xml:space="preserve" y="50" style="stroke:none;"
- >Bob</text
- ><image x="488" y="38" width="15" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA8AAAAQCAYAAADJViUEAAAAYklEQVR4Xs2PWw5A
-EQxEu//F2cLdhx+SS4Xp1ONHTHIiZA4l8krSASYpfHGJ9ppEmGWU4ca2Evp+2SD9
-JWTcQZZFWUPPzctQ1nDZGWtPRrSEMJn+2cPINeYlDyb/E+yC7r1k/CUznLqz88wAAAAASUVORK5CYII=" style="font-weight:normal;" height="16" preserveAspectRatio="none"
- /><rect x="305" y="87" width="26" style="fill:rgb(104,229,255); stroke:none;" height="26"
- /><rect x="305" width="26" height="26" y="87" style="fill:none;"
- /><polygon style="fill:none;" points=" 308 90 308 110 328 100"
- /><polygon style="stroke:none;" points=" 308 90 308 110 328 100"
- /><text x="305" xml:space="preserve" y="86" style="font-weight:normal; stroke:none;"
- >comm</text
- ><text x="293" xml:space="preserve" y="95" style="font-weight:normal; stroke:none;"
- ></text
- ><ellipse rx="5" ry="7.5" style="fill:none;" cx="292" cy="106.5"
- /><polygon style="fill:gray; stroke:none;" points=" 285 105 285 121 301 121"
- /><polygon style="fill:gray; stroke:none;" points=" 301 121 301 105 285 105"
- /><polygon style="fill:none;" points=" 285 105 285 121 301 121"
- /><polygon style="fill:none;" points=" 301 121 301 105 285 105"
- /><text x="286" xml:space="preserve" y="117" style="font-weight:normal; stroke:none;"
- >S</text
- ><text x="293" xml:space="preserve" y="114" style="font-weight:normal; stroke:none;"
- >W</text
- ><rect x="305" y="144" width="26" style="fill:rgb(104,229,255); stroke:none;" height="26"
- /><rect x="305" width="26" height="26" y="144" style="fill:none;"
- /><polygon style="fill:none;" points=" 328 147 328 167 308 157"
- /><polygon style="stroke:none;" points=" 328 147 328 167 308 157"
- /><text x="305" xml:space="preserve" y="143" style="font-weight:normal; stroke:none;"
- >nonce_ch</text
- ><text x="251" y="99" style="font-style:italic; font-weight:normal; stroke:none;" xml:space="preserve"
- >comm</text
- ><line y2="100" style="fill:none;" x1="234" x2="305" y1="98"
- /><text x="239" y="156" style="font-style:italic; font-weight:normal; stroke:none;" xml:space="preserve"
- >nonce_ch</text
- ><line y2="157" style="fill:none;" x1="234" x2="305" y1="155"
- /></g
- ></g
-></svg
->
diff --git a/doc/diplodocus_tutorial/figures/securityStuff/nonceComp.dia b/doc/diplodocus_tutorial/figures/securityStuff/nonceComp.dia
deleted file mode 100644
index fe8b2da05e455411467ea0e94f3d5c1695163cae..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 7022
zcmb2|=3oE;Cg!)X(Z!F=rq!KaUtp>4IklZv<__Pn%QJ7~oVD}4niHCqEx-H9wl~-M
zbV^UYTJk%!?l+Ud+i58m7Ik!c2>UG+-lZtl^lM-7Vao&Y|9*W<to-=9=JSq-_4nd0
zb;ZP;2{(Uz`{=8Gf1m#U^LhWjmg)6>pSJJ6qnB21_Wxdf8o&56;nnWdU;ll&T=x6t
z`S<t!empLJ_0#RgIlJ$LoIX1JRpGyP_cuQ+`gV?|s{H3^esS^L<~!!*rhh9xo1cFB
zZQ93=r_1U#&aypoKfZ3x-9NAEHvikSYwsF&)5m$&PJey&==;r2f1mc3zkB{Ews>}V
z_4mrB_vWX6|J*<O=bQMq+tr@AzqZ@{&*r|&y>Aac|0+yu%h_LBXSn34-M8~|4bQG{
zH_j;if4aYZe*X5)XZyb<o9_QpXMg|jHm+NCXUx8LU-gcB_E+cibjGO(xBhu_H3<g1
zdAWCv-n-<u!qa;mnN=Rum9wvj%ilKpX43DVC&#~5S<YXZwet4a>6P`C{pOpOHr~j-
zyy)-yy6rdeuDj3spSP{%jZx#T>*sr{r|$he`{>)(Pwq-zEShdFw*9uh{64j+*spi@
ztM2;!zWeym<4^B=|I&Tc?AF`;M|b{xxc#xokMI5Lix%#SUfsFl=*}74mwk`?oqqJ~
zpN|}8z8&9k=Vh?*o4Xsg*IBH4-MzBDG-1Qsj;C*K*Id5y@A~^?zZU&$lI|@w+<jB8
zu7208O7++M|IPQ`G@JZ4*E;&{IkWBJ^}BwQ{{8xCw|vr`2}j@lK3zZI@AOg&+hXIz
z?D2cno`0S0@zN{qqnF&ihUu>szx^g}FL$ptd0zdtUGeAUt8l3H@O*x5YWm0_CUAvD
zN1f60(?1Wl&;FYB^-^$$sjm7V&B@b)tHV@O9^9M%toyhB?QgSJuX=v^=Z<@K&Y2&d
zH#fv(!e9Ao{`Vd)|0*wU^Dl$l`RR48_xpkun5$>7_(dG>nm9$Ym*+I+Lk-6uW2Ka!
zSc`?)d;7KKO;NV#+R!(JbJx#(JHJSrk*+;%ckj#OjS*{ux-D9t{r*?NGwpxzztY{#
z#kVfVIA!`(9$lZ3f2(xS&dG{eZoKDHkM>w3tXh6xZ7sk1ojuKlx%ZcMcYi-7+j8;$
z#+W;2q8Gggk2$~1B5m)jUrTP@kH2$PPV994GwJzj<?3hWi<Mt}{`8DXmw5l}{A;mB
zS$p@Lu3xu5N9^<2b^hhQ7Vinrj{ChL@TUB-sVNF3uM8Icws_NV)UJtdt3x(Z`ve0=
zwO4!NZO{CTe_iwS>BH7rHMS`qEAKAf__+MLNBf^2|1@;kUmt8L6$-m$!Mwz4)s%Uy
zG0ZC;bY1dN{c7u!e)Xi{`X;5W<aciWZ}T5II6+P6|2%%bM+q$*7VDcIJ~xu*oqo{s
z;i_euIk)jH6uif<I5Nm-vruxm!twg`)9=5#uFdc0V&GWfs@pb+?UoxyAm6G<8OH^*
zTDFNy+_nDo|C@Uz^XDlo_gkMUVrz8DZkw!YwcW>}jkCm0{B!PO-PAkb_44<zVoTbr
zy=7%*9{!Q>rmv^#@re~j7SxLcv8z5a+RMCn(lcjok07T>D}0V!G?1JlQqkveW_{5T
ziJ;FrSyY_Ay(`hMo%4Q?mXAzdLEci0g|2TOG(Kf7IyBj;QeXYL5nH_c<2w#-xUUIy
zT*<zYA`?-nv@ZTo(xneN7msVc-eR&tu6b1#^YdrXOB<{-A4z+z5>l{?lV0znnXAgY
zY2T#cb+_&6s%N}gr5kigAW%coQEO?+r_kGG3DdUTR$PDgU+&JB8nbQplBX#;wYaXa
zX75zic{In(KycblftgBc7R)T|+;HgH<UZGkC6lWDyHD%TKGT~jn6rD^3L&Mnk@+na
z-FoXv@<qyhR#c~5HOu-Rxn~b|RnqfIWd+vn-~HM(*STQUZ~MQMbDxFp5M9im$YII+
zbeg-@?G<@EZ`RjxZFf7RYbdq*=^vYQJC{w1_gH#(->hjrwdRRUP2R}XaVBv&pYN2(
zC(nFetez^etm($KCG)$4Jzn1{Rhi42x&4RJ6lZM(3z6PM?vJ;>O#8LN!Bg{MkGGbF
z@C2L7&mEIJKk-_gyuNHk(v^T4J?s6}OkcxubA_tv+$g2R0p9<kuLSvRE$KMAXzH=+
zW^RYI!)JVrbdAbC$;GIC^vAcJo2=}&x9eSAXWinr_RTYcS9fI;_5>X(OK|pzvtaBK
z?Bn;mDPS;jQ@iuc!-)yi7A)7<8oghhSYj=4)ySpw(hS?^^KVqNWSY(Yz5bPa^O)jo
zGd?*JvHF^te-;ib^>dcy{jHl;$a^POacY%x`vK3X(^g(Gnz}cY>xRb)o>#y1`1agW
zHT<c^7s(M@wXAK=IvyJ)`yC$lg!7jkIA_Lp?9oJ<+ZGkiuUoyzsJ6*(n>ttKP=WTb
z=ID=GW-@<wSi-PvOUT?;mrrQe^?LQyTzm8U!J)}Vq^(%|R<fw8TAcJxF%?p}{b0$>
z^9%cYCzVU5E-dEsWqbQ5@yDt8Ut=$sos3@a>MpPBj^2lxb6$KXD$8x|`*P;`x`dmT
z6$RE;sZ^{@jj3K>SUO>v!ILRhqs8K8F;0!uyR7*!uA3oOc=e`783#O$NNjs>|4xlj
z`QDp#H_x1&$9MBvNd@Q0O-<J4&dNyiE|@oE0~fQ2hsWwABAY+<9o*59o&1X9mbdHF
zmL-W{Es|xoZ!q$0i@V@yUS+XDTR9+U<G=PO2NpTccB6BXKWDg4csy};h|HwV8WnAK
zD?~VN%2tYWZf*7mXfxTg|7YA!u~(Y|1Mkla@RJtyx~rOIuyE&!`h?VspjXEG&e!Ou
znJ9$t>2F>j%2g66l=aW^<dSqxhgKJF)dg$L{WOj;bJSrhHcyzgqjE{%<_<yg;Du|C
zIm{~AFPL3pS~#gCdY*}#z4`T9KTaAIeoX1{oOa`9@9}d+ZOple%d{sodRtGDnf@xf
z&BSv0A@#^d&xP#yb?d?wFWP_MT*;*L;Hdaw#ru4Jy?JbJNk}QrnW<=UrE%>t&7C3K
zL2TE0E@!vrYfsm_6rOjE;ntn+If7r3vL7v&-Pw9UcZZJPmkG)*_Unh;`(Sy@Fhn5W
z<&{up$J&;LqGj{03jLP4Kl^Le*Tj9h-WHuX|L{&!SAF&Q`!)B?=kv=y{5>tQc~xOg
zvSek?<s~Z5&wTqSpji_2;Oe9veKpDQyk(OzRGGirRWaLM*pei>Im+GMth-WXVdWE(
zzDk}K9yUiEq6|OeD88L~Dp`sD+4XCC?*G@_lW2UCZSMmowMfn@r}mWPT^A2}XPK(P
zxklA+$)BiM9Ft~CG<I=uT<%o7VdeinAk1DObj3Y8vH5S0W~J^kV%~6Eyzlts`!O{}
z6LQ{sDSO-Z*W~~AzwhtIe-dAR?Q`a>npvCw^6&SUvae!U#$MeyM;G`R_*n(D8>)AP
za|KAgQsAC;XYK8!rIYq8toHx;E8q*i?qB`qb{=h?4L>rOJoQ_teMm-s%9ATIMXr_0
z=1A?S(4P6#?6`-E!^RCaE^Q0(Ns2nop`lSN*39X2als9jMT_no>zd5dH?e-+y@fGG
zPvv^Jbowr?Ue{|gKU-P3!T!(ecWVwwd%9SCSY2>(Zs?BqDfut%1@E)_Qpxn&xjVbK
z?7CZTmw1z+l|<pAibk28lh<TCJlYZ~-P4e?AmjUgH7`{+!|Ri@wLKXk&bwu7`TaNh
zLB~s5>Hj8soh6@Nde^aTt4811)qTBo^OF}VJJ|o|ez$7>MzJG1#lmXYPrqHWckiS<
zr>dU|_P@w`CLI|wt9Z9bQ%|ShoUCkai-O}Etg|Ac6?*muY8c*(UB=QoakZk)t<S70
z4@TVbv014an5hye((e7PCuzS%{;|UEn*9$VD%!>F)|K7mOMb-4(R%7o$IDsb9U0#D
zmMDdY#QB)Thz4GZjQ!f-Flm>=LAT{$lL|dwF|n4gKQPpbXk%hMuM@vA#h{<HcDL=a
zpm_>c>NaTkt@IQ4lQVJMgNt0%P6?NGS{?LUBr28qzNCJ`lXt5(#0CBfy)k#W&7$8I
zt+)JeN&nt?WJU#JRO4p#6Rl5KnVN*xq%1tj60_)=tfotgYLph|-c8HdJbh+wzbTp$
zn4_P2F)e@R-Kvb_GaI70*V<%cPWOz?Q1<k`<tTso$dTZG2VZZ$({O!l_Of1;vZFD{
zM>8V6T=ISS`}wz`n7=l$$7TE7vvwXo-r2RYaLM=Tf^Et#Cu%(}zjdry!6*7p|6@hn
z;`W}I5AJWAX4?LlbEd@?{^WNChyH!O{Ao`oYf(_r!v}{2tT$dbcJ#s5&jlQ1kCeh1
z^mlj^7Z{$g64T>r>=roWI<K>P(vgkbCX-{A{M>ot>Smo789ni*8aq6WKVHl<y;Rgd
zydXD8OZU}=u1gDdtbEuQxA3vT-H<b`?h^f(YhGp?sB>`lY)_Kqmc75C^o*N(n309>
zi3d~ucv%EjoLujtus>*%{6il>)!&AVZ`@D%wivrkyK}^(NLaO4z)vjHi2d>jnJGK$
zD*96;*BUivH}E_SX(>*fk#zpuipN!~$~R(uUM||@{+;t~Rg}l9xl{jk=-k%guZ(_b
z_EjWijgr>8H{!{jxs|$YAssz&tG%w~#?1NND^Q&O_n+|JpNm$k$k960e`?Vpw-t**
z3V8c%@7&({a!F|5R*9(98r8oRZg4ujaFN_|^ZI#TejdMRIz@hpt8?$?56Pm5)uLTp
z#k;Q?CTqQIJ6AnvUFy=;*`LMts+PYq<DQ?gz0BC=gwKa1Z__3&*?YBYb9jev;(yUk
zEt(#_GD-_4x;V}>XbD=;$t)x!tbRykw}AT7gUhzaBuibHwNmK{N2c%8+lC%eI_kda
z?>u*z{eSu`s@>z=t;IKuJnwJPdpft>&bOg#?`pfc>&w%5t8|y97Psim?&|M46Lf9T
zjDnP9{?|2rdD$hZ>dra8ROq{mc3BszPQHAdMR@H(p^Y6YHwy;K3k0XDE_>(a6Wd|w
zl9a?@n5vg_>SL5opx~_eGiID*)IB1z<mj1Dfn^~Tu5~Q?*Cq$rseWq_QRZa1k(9hr
z<f7S{%TCFk4*mI1v00#)<4B7@(lf2>Fp2INR?>!BZ7r(%XBa6PmMT6w(W&X~=o351
zKG^%;lq)_4xf7;bIddh*ShY~dPdZ9SJ=lBBlr3%+xeJz<E}M2u!?V5M)`m$XGomgn
zT*A_HTV_Igd6J;goy;sIi^ZO^H_lTLRGlcL?km{(uEb*5Z!f*Si}JTiu4bLF^mby)
z-v|w*Ej>jq*XT$jw`J~jo2#;Bf>GD?RhJI5Og%H@g|=n+YmGlH^?J9o(qFHTpX(ak
z8yJ1^!@I!8yKf15^@?+^m~1xT+N2WI2}Qy^8m(tIm(6)uXfknK*RoSLoNhIpS+ufk
z&C0si`malULwfjvj(zkBiPAc7M0Sbwq&J1F@1jCC?SJx4cFDoXGWQx=w*)c2k;u)f
z+p^?|+g-zzlfV6M>5zD3xx2$qLtpo;29vMPk95nvcQM(;vIh>XYkyOv{zCf47a!R+
zuCVOY4aeVyWs5f5`uzP)@ATqaZ{eyCv#<o+&gRV<XPI1=Quunw<+aV<Gu(Bm!I85L
zOyG_G=wtmZ+sN$Jhc>f27uYmZ@7!WN=fKlxc5vD53Cp-MH+(&u=_#D(u5iXp%4Eqz
z-pnOiO{WOln$V`I&O0wDdrw^4!n1|995`|}-IS6D^ik>9GR;+Cfx!~NOA9XRbqP<f
zX<j<<=AyYL1K5<KX2r0E&uR@;V{)^a)Rw(ugR>NGOJ~lK%$eyMO#(9yyC-J;n316z
z^I`qG$&80o**7rFQ<f}X%6+x)*};sBW`8p$i~UrR`FUpNn`f_=t(<sX=F(E@+yhGU
z&3zU`PPlJ${@cQ`;1iw-_CjK*7GkMpI;WU*R;`Jca(AN!w^(&TV6T_H)b}aTI!eK2
z=U1*!y0+0QQ1j4)FG&ZJ`gfViCgw(XFF91>enLXfbK?({&V>SxZdEOHx|Mx)<N7B-
zJHC~1UyoWC$#wl$_>N`DI;)s3ckR3!)G@`=^y)m7*>$Vd@62VHlF5Bt$!C+ux~Ye@
zGK#DV6k4dnVBx;yjIu^W)VcRwyUOA^7kt}gFSt8w{Z^k#*+TQ@b!8OhxUx$xy;{$-
zv@W;hYxa~2fj6U0Wqb0h+`M(u&SyG5Kb~Iu`Ad-gpQ%2o>A8FM{?lI4E`M(86=%+#
z9`hiRJsZ83B*<93tO@ZtGND5FV2k*@k_WwCx1S3-;^x_Mi)n7J#jX4Tp28vtnc7VU
zIXkVEd&zJZT4+h<|5(AKB3#6w?kRBlp0cArdV$4qtGx$b$|<{Y)GRwR`+ANWfA`_d
zhU!j*PAoG@bWaP;IX%nr*4Gyb!83X-bwArE?hcr7xzW<5!}4d7jHT8yo1baD>(w%g
zbq$->moXL3YxfGw@vDEPa;&cB60fe{n*ZxUF6GAcsJL>JPhz>eZ3(Z&D(zERtuq!b
zIcx9#KfrNIwZX{{&ATtcb~$pky|+B_ieqA^!X&Ln>7D_K7r#V>uL(PHX2F*AO6OvC
zfBf-wVMu<;ow60IbCy;mpSUW$cA4>xx@JjkwH1b%S9SzX*mUWP7t^t|D$Azq*mm8k
zsZ~i-Y3prpORMjWt%UN?+?u<&ORNg3eoqZz^GZ4pAGn-<<-6BvrLFc1rN^QQm+AaT
z-S8xDDbL!;U-<6Uo>F#x%_+kt8@}-1!rCffQ@bgBT@oQTRW==*$hlO<P~_r^7?E|{
zhCwTS2`Jn@JFS1FSDJ=P!$t+C*iJ6Zi8dRnlewR}E}dYUnW!TXBY8u^y8p?&-uhW}
zXOwSz<KJBt9QH5XpCh=;?S0$PfJX=Km!`jOYrM<umZ^NQ(){40-P(ogHTDbLuRN9P
zB~$C%U0z)GzOBDYB1AZ?P^HwDC-pB!q@mM>4@rm4^>#ES&0aA<wCRw{PHE-N8*Ag|
zJU;WL&NGIgi)W|wdz;(sv)Et%_geP&?g`^6b0e`o&HG-z^OAX6mKe2C>Yq_WQMv9r
z(WkPzeor~R#o{}!?!B`=_ez`UC2>3~6Bh4{ouKh{rmu|TC8r+F-R2UxnO!${pH13r
zF0^jT-)rSz%T^qnc4Dhhsl{2B?$XO2^Um!wGF{gisbI>`E4F@W#fB&Ey!QNF_2yl$
zT=1hq=36Sv)4%66^mIvt+<0WytQ^o=zIf_noecuXO!v;-pLY7_bNBVl%!bz@dcUt(
zSJ8KLWvr*zNsT*I6JO}>ynRnIP|b4B-rz-^-n*uI`FIO!>NRv^?@~HEOHW9<bMcBy
z<r%x()F!>JxNCLZ<@BA&nvuq{s`U*fNHQ~X#9t8=ojA$ry2HvP|IY7QlHDe{_?r}y
zO8J-iTWT*QSMj{C=Bu5>P}*3xeD|S`yX|bVPh`K`w!Hty&K<j@vmJy#eK~yRGW(Am
zH_l}0o^1We_VDahg_Hi*yBuF6N^Jf-*<}096veYI+UK9U7R0S2Wv(b~{;*;8gsHPH
z%$*&u!_p-$Nx(eSEbo-yZQtUxpNl6y`{>MV&Yop%C~bcDHGh&t!QCAzwNiym!i3mg
zDTO%R{a4-M^vX9T$z@*a?B)k*EQQ9m!z3Fn?%<T%xsrc}rcseFm$~~nUrV99SChDB
zMd__b$x1S4pEzmd%&29{o&+v3XrE?t>dGe#)zgBlmI0e&f=?Gsk#P}uwqa89j3~ZE
zDI7^}bWbe`>CSlg?ZV?JCy(5lHQ7ZgcaGxgwVG?UoEBi{OUS=C+yC^Y^%>i0U85T#
zzlq9z+P7%!EG@UUJnV{V-!3+JnfdDcqzu)i31-U5CRVGt7Zk9}%KH1^gYe&-8LQ{q
zI>mo((OS2aYg1Y}T6Rz2-)yB^=yGWGlSzlNm%U9i_S1V@Tbz)3{G0jO)wdQzmRy}s
zdR4o3vCc6z{cmTqmYb#AKX+@LY{BkHuZ{)2^*gy}uWEUo4DbAu?Z*ObJmNkq>0JzJ
zA04}ReMYn3A)&hsTtddjJ(BiJJJOQe=k{&}v&JPO^<yf#4cgV7aQdF=+P=yDp!VEl
zI(y_g!w)_32<r)&x8-70{G_v&i+8i{;hK17<K->6lkTbPtzISEwu;YrHv0>skSl5z
zB_94;zqDjl-^R;RCKqnJIm<3nXKv1on0RBg%1^n%N&>q={>@8`?SDBTN@&^nko_kP
zuilWvuu<B4W73O<%T66W%OSR<pjhBei$Y%7>ad3br}I|jlm*XipRN95Ve9PXXUk+b
z&2R3giF$Bn?sFB+YgbPnn)kjX=21h;EeXY>h0h#fZ{<9_IH&(~&b2Ec)mKa=eGUv3
z&GNgQ^=$DnjhPEprZ#!aQ{yU5IeFPf*FSiZM&OLaUSg?Pky9o;?l>f)W7*gF)WVBR
ziL0>Wq=SzRbKoat!(EClQ@jM9o?F4TDm3d+gy$gv_J-(34N0YS4d186?DDyvqwgYZ
z;H`f|;`cU}p1a){xxYJnavn*0Zkpt_^>g<2%`KCCLf@}2Dxa?T$EALs#xJe(`77n;
zxyJVf#k<}#?lP>7+jhm~?ZwpdlNz*7<u2DWwcEebZIP<H`|_8oUaXo^yR0rlEY>t7
z_Ur3ktM#juB6{S4d;f50ue0>8IrDCv%5BZ%Z%kE1uiAWlxa8qvnR^eHfSN>_peE5d
zXp@M&wL{{~#am6sAMPnT<IH-}^1sf?XL}}nyJcYb_2R96o>lF3wo@;<d^!<uE*n(6
z-hH*f=|J_rYkNKht<PQR)KPdd>gXJm$ImRIyC1A$eam}0*w5tK`OU3W3)iO@d5bD#
z2&WaU>;2y<qg{L_@`1<<W90;XQ+c7{L%kJ=e&)|UT=Q2?^Xsu~2{C)7!CExk^4v3v
zXJ2}o{Sy1Ejz0TwXYZjod}kUJo;}%YX|YbjbCcABWA>ZRJUlUFuh;^^?z1nYG+N#5
zFDLT#XBKaoYQ!bmX!+3K<tZ6I$+a^Vzpi~P@uKF;$Mc(S%-M0~;o}XKlUx$`9-r$D
zwAs1+*sGp~MZRqgX4j3p+YZ?KzYkdG9Dj1g3}Nmb6E=yZh0a@a^L?XBlerlKBRoTx
z^ABje-MYw#U1IO&9QMVsQ3ooRBowEmT@gLGM6!2@?b(cV##zV2KiBZ~ENS>CVz4Q2
zcIL88%^PRW<a_>H<e)^dsd)@<3G3p3xU(ldHC(hmpR{aoW8e|v%aWJQ_Rg$}dz5ov
zMrP+_`}5ZiSWHws7m+Y!;{lJeDkWkDQJz8d?2CQB2h8Q}(SLT6@7RKHBUgh}6|(|U
zFZaB1Fir|PyJA<iTWFVkpPH-cyiCEUM=SO+iR(WNJ#u$XQ^D;oZK8$I#eG)<XBB4@
z6kOP9*?w(h_LXzm7ev=SR@bYlfBsZrhxxsEkJ-~R&r23n`^|nCa!|WzQ;?5l`4n3v
z|4NY^6H|PaSnG<mPP_grswwDOh34WtLF<=pKX=(a<l6H%PuC4I&aF#W@-TrV#ASD|
z@8x;k`6`@zr@SV4Txhzu;83jeY0XK^8&l`S8E|#+ZJ*VomGFkkje}j8S#?fb(5zKk
z60SHIFE41YIJ-h+;y0<rjZYGCW-b@+IhM`veF0NKRl=I}(>LdTKC5qkMf}<Q-)G-E
RoG$-Qe(uVxjvoS<7y#8&#moQz
diff --git a/doc/diplodocus_tutorial/figures/securityStuff/nonceComp.pdf b/doc/diplodocus_tutorial/figures/securityStuff/nonceComp.pdf
deleted file mode 100644
index 1a0331d48901e652e412fa2eac375c8902cb0aa9..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 36760
zcmY!laB<T$)HC5yJ^rSD5tpfgfkJ*#7MG2UzE5gidP#<YnSy~rkiJ`HPDyH!g1%c$
zVo9n?YI1%`s+}EIaY<2XVlG$3oI86xCoQvHCu`9k`Xho_|JzwEllqM;=1WZq<foWi
z_;$3IkK<GRr?j*aaWg}2neKjg<b1y_LzBX+|KF8sj`cVEe{+BR{P_Rp>%a8>|F^&H
z=qJhQe?RW;|MB^F{h#achS&exyyV_fTX*i;L^r+pujkKr^?Z%||IhpX{`#w3^Ud(^
zDiJY__3_u_ZMV-kcKrXJ_p4j4*&okJSa<Ammco|vp{lJn!<|<*?*HpGfA!V2y#ICH
zGN<h`UT*KL{yHnndA?=slL?>GbL8#0FI{W-?H;9Df9>1HzuLVPcCU9R`o}X~`kg+9
zJLq(JqP6mo^S5N1%A$VptbV$Y%}h<PvhLd_hDh#d*AAV%V_31JXR0j!gs-7hKUN(-
zCKxy2_{W;$pT{C*PuzQLR_ObkHAk-5-Oh^4wmJR7r?Pg3StW11Z_2iJNApG3_pSM-
z{p4SY^R1{!msPy)@1F8Hz535T(WLl4Z^MtJJ=^AxSl74l)}09^>3@0(uSQMixG%Qk
z#pjE5++8tiLStSuKl;)0^l|pp_o4gO`*yy_HI2RK`a>t;R9J)i?jHWEkh8IikDR}G
z)md_uV??&`@dIiPx=rkutzv7%w@ekAc_cKhcIoOJWx0Y9_68oD2f8mi%$lzl8@uGh
zt7;a*TE89#Wglan1K(xJB;zxtEpO936m>oBywXvQ7WdldBUcYPuvhmcUzK_v8*yW*
zX=-!N)-|Q?Y6a!W9vIF}*_d^8gPE_yQqvdNydCc)MK-kUnKt?9m&nx@l1lW8CEv}z
z9yHNx$9Znu<r+C>4YKcFzhXU2f%U?7EqyEYgM$C}RD3(akR8FuyY4*uwF*Plhkvi!
z(_3@m)>Iig=CroZBl}y0qn>`V+}N4xyQb=9nd&{$u=wItb2eY=n6Z7Dt=WC?Z}YZ(
zj!5}7(=PZ|h1v{#fxuI~H-gl~zCCZ!>5@*6wiGkC%zofUPUPv$9CpWN?XVVJQ@3D`
z)q(ffk|tYr{3tY-bCUb$qes3AWv6s!KRmW)qEXU@msdOzH%?k&8-3i<FI%yD;nOEV
z%UknXD`ps;n{zFL%PdtlB7U(?rS9Pia^<xf6&r8tNNdXv5?{u!{bHKJGo7};fVlf=
ziqBNkmb7vnddm|N^?02`|Kd2A!*%y(NM1kotnz9^#MHIt8;VZO&&*op7@v}-;C@bO
z<;}`~4ym|fmJ6@mo-psLYn-vpu{MKKlNuJJlr(=nAm`^Cpuk<G)7M;AI9KM0S>J-p
zwNWRQyG6bBON!Lh(TdFOln-Be=X+AIvv^qBkHQaY%ypg`tKDjQ)Eu@^&Yp>7lI*tf
zhqi$kBDrUy^z<(A*d5@Bik{Hwb!+A{{?*5NPQ05l^Z3yphmO80)Jdz2Z@KzJFq<i9
zYvEe+Dw(Thc}@Q;lrLDEXnAVdXc3p*5}Z>i@@v*7q4;b6rhkoW2?#onaP2`-)S)Xv
zu0{nZ3s?QqwOVn%c6ZDC`bW3#=Rev0IWoF9@=xji`Cq*?c(XT&DKhxi@ud{11w8w{
zev)ve@wBZ1oXfxb-@&@pKKoJr|EC<a|HYesyiWB?EP3=vUgvXs&F}EjbDaEBg7;lY
zot3d``2?dK0S8UYRrHp`GynM3so!>0^|j5qukxlJH(aZ?>9{lP$VR`tA!2WX^=>!p
z;ZSv!Ig?w<VK?jgt+n;xk$*JT7c($9FdIv}u&FWobU^i1^M9QaSt9W|eC83#ji=Wa
zE%}q3TC?#-U~hPDtJ2a{tR@Wa3@$#k`sF#d)X;guE1txZw?3@*A1n}(oHhOWL(^sZ
zZcJ!Wd);Ewo5XTBGy9)~nz5>N&xvyecl-<%l+I|lxc+OS!}e3o-3*ZpZ?~)d5;eI|
zF)8_B$&+PQucy1pzuquI$2>+SZ06?3r&rBqADFq}RBL#9XwHLut7R$<R9Xs4|7>&&
zTK41mwSxyr53x2!hbpdIQ?w;=Z8T@QtO~EmiRCk%MkSmm^L?@D^qrZd`*&rtc$RDM
zM;||Ve|4DU<jwjMJ^th<_MV!n?%vwaC75ixb+YuP2`xXuu21tj%PGETSHPmpGMeib
z9zJDx?)<fHVWQhCzlCL9n&M@#eBz!nYfl|o7n>~Ty^YP`>FZe$ld5`Z^`p;jJGaKL
z^}x#Hz5bFN>kTcJa4s}HwykUO3(hMY5l2h6weQJPd(^C&la}*zQl6Fh{={8#T2C>T
z2i%sFS+$ex&BN^-O%{7ED5&Ym2JQ>n)_L~A`_=QV&1-*jNLa3GpXglOxTkt7r3Y>;
zQgvRx>79DzTdVT$=axS&=*)g4b%R?{^QBbzE1?rT*JL!VzBl^bCN8ypLZxkrW!H6)
zZQ<YJ^zux8G`esXtzId2P(n^p=IM)l8loH<&y`)c$gj}&*`s;Uqeq;gK_!RQ?pYw=
zdF!>-e@~tFjrL1gZr^yd#JT9u_tzN*WEbmB6uxe!ojgOisG9dvts|Q`w}8O~b&sWf
zM-*1uI0&!yab^3>`g7UA*D~(Yjy}B}wmx%xQ8UAqXR{7`wPMkqa_!}TSKh~tJ2=ks
zyt6NP?v6PZk7;_obl4EJk@GjR{VUT6mt#u}&j0vv_3)}-U4vU9y6a1qTcyu6jI60J
ztcziBn;tVw@%q}IJa0=)R!L?T`0jPkX1r)G`();WK=Y!r6$`KJYED*IJ?F$pwT_v~
zgYI4x_kHxNJDL5H>AQf~Cl}T$>Aeh#Z)lyf%j$8^)ML>ntjwz_8`jKpzB9jDvyfG6
zt?4xGcN458Y)(7)^78@Ko96=FGF*Guxw^W>BJTK-r~}$OpCslz*x}f3cl4fE6t7X+
zM!u8h4i`=6?a!N&QrK1`8oi-=l5@?nWJ6hNiFt~4<?Rg{u8H-i_CNG$-&y`;^M|am
zvv<=ropa0BVo}bMV|d}#`jw8{A1uCaUHf$2pF?r;4$ZLn)nT*J;^(<snO)zDKfPhT
zerw^$$2&fJn)$cwM~t;z&s*6i0Z0D55=~kprqJymZJDFUE)h7r*sDr(v!~4)2cgT)
zXRo>1c{X-=<i3b^5tm##%|jD>U%Q$)cLi^}()ek^eda#?nv2_ZT)T2yXp+x8ZHXt!
zk<Bl675K&+>E9T<_gAr_lKZ)T4l|-($#pv^G(<_}WWVT+UF?1Lp>9QF?E~)SC0D+*
zZk-^uJ9+-K_Nj*M(yiAw1illS_v~Y;Q|*)hf3;54uGcGkQss@fg`VHKbMWlk*2A_F
zqF00mzZUzH?i;wPzUiMu%J#2+FIlmFOqc)HzkT|O|LfcT7i^CbnY!X$)4sJ_x6PIW
zXF8plvt%WM*^Z1=j~N*L^{y~3c{PFOwTNC@ee<CR37fTHmGyxuCcJdMbK%sFMX$M@
zn2KH7vQSLvS4P`oWsm#Y6?zXvMZ~ONT)wo!<HC<eW`(Cztm+mX?`U8bt-H7;rt;f*
z<(cv(amy?;jJCMA+S)z1njxy`u>R4KE#eEFUfd$x`ZHkn%Ll)N{wz4o{aUGM@{-p~
zvp)1S3JZ77{ZYN4`*sA6;H;Se6}Q$E{ZBFMobPEq!Rg(ycFPG0Ry>nBohGTJJLGrk
zT`!E=Qk4B)>sHU6HwD{oG+Ed_KPs*^b*F%6(ce&IPUS_u*}Aez0=8(VmgKiCck2iW
z{w&#L`sK=%!cB<*iJNtppD6gU?{8?*(W$fDY5U~E>N_g8-`WZPv~bU?m{AeLxIDxo
zaPp&5tIyoM6!^ka?66lB{|n<%odvsB{kkx_$f3D>iXQJDsiG&bAE%f~={vDJzHYH=
z!^D|ex!0w0o+@4|p{IOfyVBY1?@u|gXmtL5U=UupU{B^U?n)K@X0L*2kLNCNjW*`l
z`RZSzsca~RRLi5+`hHn|n_j=Z*Y-7W_qLVA;p=jvVjnx*eSN`<e_!MpzDW}^k1}*{
zOqnB|A~b)u%S@Kmx<`)6cehX7sqdQd)RZmHCNY<P_l%(R3v!AlIIPmMJF%`qV}jS`
z<Hp^OMcJE#*KOEXFejnf;ldk%4l(YRp0m$+7cMzka(!mm?fnXYQXfByn%ovRxXvp3
z{K=*KDT3M7?pC)?9xE|tdGDQJnI?Mu(AF;jiEr)RiHJWboV6qP3X`ql|BeI27q0LB
zvnBTQBt`F7-IQu=-ed0npKgC!f9FbR*w%?h7!@Xp?Rjs(5)o;z-)*Ieox`pxvTT_<
z3`3`#442CHIS{?C(d5pI1-}{Y>0R9QFqL^a>xKhcotOJ;EA5(GRrJ4xW!<_c^Npfc
z*M4qH*Zq^zyjk<-hqZsc8ohka-Q@lLuu)Hr^!{6!Mq(BMHr@X1CU+86<^Df#z<PdX
z_{|Vu2`l}z&CJnCY<!ynE6S}>Kk#2QJ7DEwZNFi?_0Gqc`@`e8r4K$Rek8f@S?RL{
zpRS)iW4L<4*Bc?y;z_-1?aLkaUG?<fi#+_O^XT=PC*H29x^(EW*bHZ8Pj^1%sN-$s
zyO(7q94;%A{ke3-E{5z_tJUUP!&kh_s_1)c^kmuOjg37&=k4~}#r9|RCEf>dN<E%N
z?H)Cc3}p_VQrmZG;YohULXofTBHhRAr01#bybz>mYLnXR`tZO(x9ZB2+Z^pW|29^|
zJZ<=Q;PzEl6Q#%1itHkq=f0YH=H;gM%dTiPn&-27`u?2RYkq9We&A`VBgU(HETU)Q
zqslc86S;m>HgDnd6#A?ql72g;_L@@3wOxKED>*$jO)K5DaJt8bi#4aF9N4jjPtxY~
z6$XyEr~JPi@Z7dan*aC)OZOv(d~B~AUXpsZphhh0U)1NO$b+%WQkRo-O{Q3@>VBE1
zz5hg2(^JF9FkX!>lh|&qe>AVvxlKo652Maur<(Un+*7}_@-~UbZpm!kvb64AkA5zH
ze5Lf&O#2x(MBZ{8iYttAObiTc+Yz;<_lVh>SlR2j*H&z6oEWry`udr<9_rp-#T2fr
znOPwp5z}?Zj_ZNy^y_Xr`DAKde%@fTeM(M(a|iR<N^WlV6#hrGTQu)}lyiODyZV=g
z|IY_A9dnl5Yg*g#{bBag#T%}E3H+61|BhW{R^Ruy6}oHg&u3<2)p6YUSSfCqL9(v=
z+a*0sD>$PBF4=nWh+eb!-6~#@zW(d6ZjDFQrWcC#M0GeX(_hZLBKwjg^O>S`f~zV5
z5}4Wix&BKX*;sJrwtA;nU4pVg<3eWXhiV6G+npCxPm5bD`FS&2&eU~!Ig+&k)epZb
z$eTYp!*s1MxhOs1>cP@S+1k$;r`}#6liRN2))V>LeoNl#K1N=Zh}TJOtJi4%JjO9&
z>zA^`BT^NQN)KkQdFZz|pk$|?q?FmTHQW*XmsL8N1Rtzx{&%f)-IL&bYFiawfAL#0
zF=y(dOxf;RThCmx<<L%^no}{`<U7k8liIGh!_yd!d&s3vw34$}HNpGz4Q_e+nwf<K
zTT3pi-n5!~@3(_j3YX9LDa&G&A`|v|_VZ1-@8V}TUfHtlO}6^KBRr4h|M)gH>t)Ti
zb3BU{Z9JOL&)VdChiTz8Re?XU(jE3c{$0EOH}iY_-d*)ce?R!w{0?9JTl^Zo%>Rv6
z0T+GwzSaEiyL)*5uaAcx{c}7n`dQ;isq^ug)^&|MV*R%Tc4RZ$v}cgBXG)n^rg(i>
zMsHf%Mjywpxf$28DlX2SDsZRc5i?76_w}tOk~Fqx?NOYmfA6}wK<X`LW&h@fyb{mK
zZoZiJ{RCI_YOg$(;3uKWF7Y0n7@*=D*`s=5#==7~-AyunyBeixCM51$Uo@xY+_p!*
z7?u@3$=}VCFTR?+>zwJgV~yWsmM)GEh<$H;ulo9ggv|Ea0y&Fs$MU63cse1QwQ$>B
z#xGy}ds*Iu#VK~bWmDqjvk~sJnBX@jGWFC3(LM8&f_beJEw85(eTdq|b-MJ^Q&<0P
zziUaVb6K^DEx*duWQAC7E8qFDt*}-x`B-pr7Gt?&^`8$1A1~t;T()MSq3Emg{3^GF
z?=*c_Tfg4j_i*3$t;NhMnwIa-jCpu+cgO0FOqn-=J~}wfJiN`$)NVq|iHX;I%O8tp
zi>&0k=<dkv`mD{C-8LyyLP97}@qL2G%xQ)d)8nfjy9R2$7T&O~%%b-1=Vj%^?-zVs
zC2lS6lx-6ERdJi!(v|*)PR-f2?4@arq|}x-e|18#O=1s;Z=3RBaiYk!E4*3dTM}kp
zth#jcv%|HkTYi3XaZ0$iLd|fES2lYY*GFEJ39aneT>*`UL_BsYpUMrIxvn$RYeLww
zcPy{o?{T|!SbUdH%$Wq?wJ(I@57c!t>%Yi;7`J@d7GAqc)jw~|=RKHgF2=2E^0C?Q
z3Oi>Kr}dO*@suteZQYmGHNNZK<ya7?SQ^ZrvomkeA-2fgy^fdHSyflN1POK->3$9A
zSNNm;>gS>&!5-n#FFL=A71}u;ikfUI7pOV<_=UqYt1Vl-D|()7wJ3b6Ew@K=>vJ7d
z&(_3fqn85m4(9XtJrCybzJJvIBB5RESLotPK8-HhRrbv~ZL(-{ck$Afg6xjWuR^z-
zR*dyuXLO}DFrK5x*EI0qPd28%_JOx%S29|7pL0FtH)Ywy%@z9Fl@cmfZC$zcQBG#f
ziMzfL@^`XdIkxGnJ>IHUF(*&lzm0eDHv3hqHw+3}e;)hLx>iqUx%HI`?BYVbZ|4;{
z|JbB9;an$6P2`fl1ul{gbZ-26CR$XxMKR{^>YIC)?Y^^k&Ghr)>ji$N@or~3th8aO
z-@z>BJ+Hg8)2g@ym(|9{?{zq!q~d0|g#XUctk#`&2I+4_K5RXt&gNQuExN(0C9hZO
zR_L<7nm1oh%F6b=v^?tPYo0R-*8|Sq`W4Qubo&QyB=g$&vzgUJm{%^@dUn+*5oN~a
z7?Yi+Os1+-$1vNZo}C+?a`^dPyVQ=Q`x@u?-jCnwv?cz&zV(UN-0n-7{Rdu5-n~n4
zi@Nf@kPV;IJK_Qjv(Btans2c3<m2_T{z*^fxiw$%2#-{)wbmNJU>o+dX7dxZi_G?H
zyC*tH#N8tBy5jazMq#$nT&H~=b@2FTt<{-4A?50t4dqu)h2NHL|Iyi%-(hy+{I7#%
zt7TVSTlrCcUg?I=Yn|NxqB9k$WtY#Gav@!Q`G$tI?3={A%IaS5ANP8DWlr%mPwwkW
zd=>UF9KII8{hrNtO2SjQNn2L1E3pbjzi>XD`6x~{XVGNOwL!@p$%~HdId_Ro^|xm6
zwTBP4<OV(aT%5<-rx@&KQX4p{Z?=!^TSu!I(O3J^RkoacqL9d?v*nD@=e8*UYs2Mu
zI@8=lw=EReQatIUP`UanC*^|bo|U&3w$HSc>o)LcO?<bGan03@9n!rQZuuQuw>6H#
z|DaS^%8j|DpNdqKFU(9?WXL`%!rs4I<VJU_Rg6G+2lpe3^eoFJ3zoc>St=dhbq>De
zcqA~r+NQ~3+Dp5SiZM?L{pFISuAA~nT)icDL^{X#wQh&=qGylWI3Mx$pL^-?D6T9p
z-+7zPzUUj9e!P2p;!(9owAlT{cWM&PKQ8FA4PKw9y)pIU-Y|Eu`>S`Re%yO2TI~Ms
z!j!^xi{~#sG2hu_F<Zu6%zb(EyU99ziBIcNKIX|~&o*Ufb=x`9{eF6H;dITW8;dFq
zYkTf-{kUy|;S}YrX5qL=J4DytHEcNf@K245rHt&0ciZ^Qc@{oZZclF6p5XdxUnINQ
zNwqT8H)kgv+US)M8_lEsZJKgh^3-aZq#wd>1J)eM{$ly9j_-i~v56^<KeIhjfAjB!
zWI@UlUIW3U{(Bko1zD#_=-xLvwP5PbZjHlh)^G1HdZYPjPDXWzyGvmQx5~e(jVw29
za|Bt<l$GTrm-64*A7jL&d+F80z>M3beLas-rw5uniIS6;Fm<~?eCq#KqK}MDJ$^UQ
zkuT7LX<O;L7i}@p8kcIB8+X>u<DcMIxQy?X_WH=Of*D+|KizbFYSq%VcXQF-jma0@
z#2cNQF!$rp>JRH~>)A4xJUwc0+UmP@-1MF1dnL|3{JYbmh^guDf!UKTM`f99IBhX=
zk)6PkGa_bYmV29JmV79SQ%ovq5t(&i%dzX1x%OW@l%Eh4k|;faw?AWhM51@zUY9k`
z&n%lH(%iJuvGPH}7A>!E-Wi6AB2F?Twy7u<o;Ir3Ah<5by)wYD;&YFbOz<S5Aem>+
zS(&C}RY>GLew^Vbt;1HjEtvaOf`qx<HnA-a@9wx8bs=rt!)WeXO_K4_j3zBU7Oph{
zPoD2OA6~Ke)>P@J3zn@h?%Z6b!{k0KV?FAfv2)9UxH8=rZ85uZ(gN2{;Epb{UN5k}
z<naB9TT5prH|9QH%HjH?wNl&ZdWmn!M5QgQ>`PUq>))-qz*c<1X1!Fzr>g0jr%b#q
z{`4jH&Yby1f4krD%Wa#xq9Hu^RPS%5Cj$H5Z3!r`wq)3|%60#LlUovI`x#6lj-IQE
zZIF7C^SyTI0=Mbr&4pcTx9>;l$6Y!UCi+%t^XqjBqyxGysGNVjCqh6n;3n^iqaM<K
zYnh{jx#$1f#bBA>ZTKr`zUbFx-ASpR{vFnPUCNkMBk1{?>B@%$jfpK^&U(JAN|srm
zc+Yun_LVf7X7L4V&F5?1PJZY);mbaK2i`J1oAgq~Pn+T!_*}#nh^eT&=MHF|nECcP
zYeuirvrA=+Sq78%-a0MWsH-S5Il<|wf3HM}e|GtTHgVaD?ROimMZLex@!o;`eF=Nj
zG3VQUeZ}`1ITX)dl<nC2O75uj1ugekroUu6q(zqBZ<IRY@>{UPVsl+c>klS<xu2^P
zKg;Z97TmnFf3tN!a>T4B<qOz;-!}Os+p%Pk;cLDxHf!JCW?XViZTdQ;`Tyo~2W1+^
zJe<QXqwN`#WwL1dC-M8|zO-I#khI;uL2S<&yM1+*OHR2SiEeP~sEv{jbCWmYTA#T1
zi<sQ=k53qa8Vf9RxbnQ@9j5L1Ci9T})2rtvyGnjn{dv6p-o7ip!W-BB6twDbZ3;QC
zX7ksJ=e8VJ!oN<hG5vc#vr>wz3?FM>@q=1Hv)gYM^UQQzqM^Tp$&f)v^N`7fuWNa%
zZ4%4^KOB9KIafd`WnuP0`S{O9`zB;O6P41Rky8{{)VRPw`q9j%_X67V9Jz(ApPzau
zwCh9hn{vy>-5Yl~{t9RgRXedEex}ape=^gg7k}th)ootz(d4Eji*3|{lLfjJjTwhS
zGh*G8Sk0zfV7=7UCdjMNnQ-G1e}uMXC3~8=H;cxW)ef__z7)`%BA)oI=Z5_crc3{(
z_<okUubCdXNY3F=utOuy@u^-mK4FpPxGVU!Cmu4H#Q$VVwANvr3&{%>do+HQ<I~bE
z*8KA2z3Hr;;1hFai4|{X)hwRI6r58~`o(aAW5DdqKJ0sqjF>M!_%idBA9KpSTL~|@
z?n+s#KO$Cf;Zjj`$=Aq;umy^IS|6LA{65;bzIBH0<wL%gPTkSBHLmP+tiL#8g`2Lx
zx8f~wkK-(*W~kqIA^v0fqph;%e=FX9>el{>StBqa*Z=TFk%cd}?A7#r9@OYq`as;|
zq~?wWlSJoJvzWVi`VV=Uvz7@g|1B0Puu)sKZAYF<4Tnas^}+kDi5ZJ8Y*lD%j*Y$?
zdA@to<-KKGVH;-zPpnOyVqDZXRlI=FjJY)D(qdsF7w$JHlV7x$zdGURskFf;T(MAl
zFIz?%V@=l%-o2|2-}!Cva*@*sA-f~%*{uImB;{WapJFKz&fT7_dVF%ad90Q}duQsr
zPoH08EY=hfn6rM-2@!L(UA?*=GecMG`pNdQaBb0q-`%HvC|s^Cao(rTaYQOl)<^xd
z@)9-UtBNU8x2H>fOAy^%<KEWV8uj?m-M)J&!pzx`dCrsDF0a0`<@%(nKU?ScEM8=|
z@N(<jv)@){uW&v8P<+W`|H*OI`2va;cz<14SrS_H<3-}#%FFIsl!HE68Dxlv77NJF
zD`ALuniZ>FvZF8YX1{u&pWGR-lPU%|&a8zk%{Ei_d^@zRG$C4ew^KNa;f#YKvno6S
z+NXBc8dj)3VYJA2H1WwBPVf1<@3j5V;$u<rpA_3E(|zCJ)`s6ZoOfN}U*M>BY{eu)
zD`gwi9`_<1zWFmtL>@ntXlr{cv&B?v#|g^}ZD0Q9p~)BXwXzt44VklZI<D~Fc$Aj@
z^1v^(WR1B&$27NRJ#*r-4DR)0KcfA_r_R|SMIz!#F305aA{Te<sd)O_Z{zw8YuTKS
zw_53NKA)r&7J2VM`llW9o)lhv5&Qh(ldY*!jn^~Iu$2wcTBmQr;~pe`VTNRNi_nGB
zcGc}aVhU&Ke3gBoB=-B2Xi|{4;-+Ng)o*<l&y8Fo_N%I5%_9rO^{egf-*A=wkr0&q
zddB$;Mf^(=HwMo!N!n0o<P_d2aPWR}<%94Tjhm`Gd$jnHH%)il+xT?$o|S7@-7eMY
z8mJuYcUDSj4n1L-&Hs3c=xUy)ZPN|aE28Fel~m+@+bUZ2c*S1D$XRu@y#4n1vssmP
z#VCBaEw`-pyU82zkNYN^e;4Q(bbitman}E_KmW<seTzGAe}1Z5)_;cs>xJ|rUu7g5
z<!4zV7&Vc#v+MEY4Do$>eqs>|0*j*xUMC97IVRxz`p$}-+I@YC&aN#Ao6&h}h0#*A
zqhB@~?dyn5Tv^te@G(<r>bcc(zV7zh`qkBNc~FbXDQ~_5m#rkYA3Zs;dPeh?$?Q!G
z)1E#y5y-GB+0_u$eEhzgi_?ewrH9@*DmiiaeX`}%E`Bs?#q|xX9szCJHisBUXuUct
zW_;4<fVj2q-LP+EDo6GHT1mSsUb4x2h4|5`$VC%xrKE^=J$f^>{TfGA-lH8BpX_p*
zGi*1XDtM^1q2z%}<dbg~mSp^w@lb!$$1RyV>9<p;+qR{tN9G0<Y&>*oa&yJUoL)w*
zSh=s3O-=_`H>_snXf@E_lj@h8skHCZt`~(ha}&KX7|+j5+_E}R?Bkq;kD4QTbpl16
z?lr!ewDQ9AX{%3kxX%3^y3T0guHchDeXOR)eSBlnwfLjb@?{27`)+Jt3ix6WC(fl5
zl<J(bPfbk1+2!F^q4!~d-&tnaZC(9l_45fHxl+;rOXgMX@^H#2ZFIb{ioyCtbF&Y7
z?spTur0p?z9*HU2({x3qSkGU7gMB-P*MY3&1MF81MYv{(``=vtaKcrSCpYgh9C^CB
zd8?nv%uk95s)al6I)9m3cc)wbwyZm2j^D)OziwPF6fe7J^HpUP-<tOJr;m-Oc(?ZT
z)VUm2&OX+fpPB3NMECm^fknDKzYd)G^x;FGL5Z+h(qfZWn<Fi9w@KKqk7u5`<M-_>
zzn#lVXXv)9uAfmoVfO7Gdul#pJLmM>Yg&8o-Qy@#-b2#^mA{16-C(=K`{(;?)5yfH
z0Uw@R|1P-c18dl8o=w+ZE(!V2cd{bcS5S*<9+$41!28>d55vlrD{HNrXxy?<@7u$5
z6WVUnr?V_)%1;Oi<^SESv^Zu?v*`4*PU%<Hu<PrmT`%TvNDf-5D;9nBuPlrFQFex=
z3kd<Ps{;ye`&~SDv*D-{e;}I(hbhM~FaGm&9u57c_@C?CTl)NH--e!}=RTE&YjoVc
zILWNZe-djT=K{e)CWSLD?C!sDz(Hd9oYiyBNEa=;sc3nmTwwkVW-jM1>o$E!?P%DM
z#>OAxwjn$5JWJs0*=J=RYw>(4PYavmDPZ?~4ZFbli76K6cP^eG8o0_YvQW%Uvcz|8
ztjkP?gjWeoadyGxCuU|GK3reRe)5CO!z<;+`V5>gEgpgVw_^o#b8?cd-DGBs@c(R}
zH(y6Nn3pY2GvLAWvJ0~QrR{3Dw$XdEX3W%aV^!6Vxiu?rj)`Fh=Vh0PZx)JoSD#!y
zBYoDivZGTP+s_G#R}{bWP;FuDHL;p+tD&_-_}3e;B^Nbn`<Be;Gy9Oa?X%t1t^@mD
zURlxc+Sf>MWw^_=G=WvVuSDNZ+-R{fe2<;cuNk&^)s@1#oonW6$5n{Nzn9!J@gIZ7
zTT#Q5onjj@4ll^wxw2Mk)vjRcdmWEmPuDEpD_A$HzAOBNqx(cbYbLSauA-#&E{~*b
z9kRQ$W%I9=_=J`9+@H{Vf3r%r%MYHyr1Azq>!b&t?G%#ccfBYU{2fzddiapkMrYnq
z?@*o#=JL<>ef#pL#rTWtz9O&pzK;rm+%=dMHB7W>Qe5Kva`%hNW(SU*+}(6!pVOQ*
z<;v$%mly4uyT$qGg-|ah(W%a{p7UOW^hI8Ce$ufc=={Z9(~j=g8Eh%G>G^86d3GKF
zmX9`mC|~|5QY0^HvgM+QlkfDLneQ<xrEgbHljibW^B*g`$Sd1FJ?3I&(U!dPdvgE8
zOz`p*U1!$2>21@6u#~BqtnM85g*SPq`nt^6nWg^m?W1UJr{%4x$M{7x4zEA`QK-4>
z<~!EC@um}|IleWokzH97nHsF~ag||UvT3M7qU%4QY`rqkjYVF+H*Hlk^muejmt}WV
zggk4NRjjgUhf$l0k#zFJqbtuJI<;qY&+GK)My2IS@r#XSW#0X+HSM5+;=WU<7d9OG
z-e_)pHqlw+!lklhLQ0cdW(zmJ>Ipj^7wI#9pZ<r0w->juvh3^%x^rE~)OG4kwl5C0
zrb<)yzUdFjSa6p+eeL&&OgGs!&kDIaMXCBo#L`bzsrMz@Q}*3-P-c)%yz|8=L|nG;
z<ZQXsmTg`=PpkEhM>NXLeK@PKQ|9LBvd%r)8U@U!U9+b&O5T;p_6k*-dE#r{Ey=nD
zIs18@ZsmRwdM3vcVzQ0SPL^3NnSX17RFjI+OShg?KDXmouFmuHIIHdcq*`*qFRdTD
zELDQsmz-a0aLZcbP{wP8kD=Zgy?jQoPh`@+tMGZ5pDbSPb~R1JHA2^boBP`FJK@F(
z9Bho2TJLh7)VWmhaLRcTvlPRlKMSQaBFm#*GoHS3wY9gA`(*U{J=6bHYVXS_=5tFZ
z)@nX);dP)v-Q=x7{_DLN#j{%X>KU}3Ynv8ebKsh)f1>WZ+PyVu+Z4SfJkb@nzus=c
zHrMHy(yS}FjW-77y}JF`;!CH;+n<a4cUT`O*(&hsE@N~3apM-QD=*SJ;_PyYopWaG
zW{qbPY+66*>-*Okk3W~z-QkS2R-Y?>BPDxJnU;b=xxgxuHXfIqA7%F_EK%TeRhzS?
z*_Ef?gy+mQ>zUuXAGq4a{+*_%`RIy9r2B*<oll`+%(<EM0ht@mI#0O7QKH}yV)u7W
zQD55%X{I!pW%JHFes0aM&+{qU6otj@Hd}>?>UBA8Pgynh?6(`UXG~hCRS@TRV_9Vf
z<MpfUi>DnsDIWdk?UvWoAFLu=rmwntqW1nvPybf_D%Qr?LY&(^AKTWQdE?<8#q?Po
z(@jrVpP0GRxho_u_TR2KRw8pcmRT%YmiOJ}=9SD>d)A7jZrHF=al<iY`2%ma99iw;
z*>)!6zgSd?@7dTiqk``zW?9Xf`!apu%x39#k7n*<xNf3s`aEC3!exoYy|sH7RB~%?
z&z)JKw(L}af-if(Gt*5s8cn{wI6PCz^1z?Pr)Qj-DEsi~CuU27pyZudU$PFT@OWo6
z{n#CMd&Q&$Cma{0$R~F_c{M@k@x(QypWnFs^LrKS#^d)&IIFwPWA4xRQ@*cuM85hW
zw(@psPXC@mCrYPe=ZQwnITWibsn&T#n<-;j$;GPHosZu5y%u#`TU8ik|J3(2-^bo{
zTju({SLpl9u2i(X!%r(nde=iYwXYUW&UFYawBGqS&|aqKn(pr@JL9&PlrEWHwYId$
zeVvKYbYYu!-$b_eKA8BTBfjIo-WM7B71>Xx=T2gZS7?7Ao5W%-$$8@C+-ag8mzArW
zeD(3dZ=Eew*2bsL)_vcpo^*EQ#7S$XamcZK*SyEVpS*Sw-_gUjy5l8IR{!+5ryw4D
z{N*pU0*yP-m8}*R{daD)y6C_3bkU;un%(wR7n8UBTvW9~X3Fc1*+(OG2it~i*|ys4
z>fX~Ga#@Q1-nj4|4OrX$V!4dhoEP&s=Da`Ym?>0oKJik+sylwtA8HxeL#ie$`Nj3I
zU*L0T*~xhY+njpB=e0Dd@4R<zqs&IF%`r<~nn-SQwd}mgw@@os%<^3D4MXeBq%WLH
z{gy7h&Axu&h9@T+Kgs&kMOZIa{`k23-lv^mJl2n%Ca%-uV?6k=+k;Dj=lz=PmD6r-
zTkasicKTw-W;KU>c9rH!S=o*%OtpO4G54#KiQTbje%p?mRlL`mc`+!V!uy@YjH(_n
z36JE?JIV>3+xWM>kF-cBdwS@J`T^-Z4guY2)pJAD9^YkSI>YRIIktz3oAJB<tUWBd
zOg8XrS2)A1ot+xZdFD>GhOD>CGewI_2e~}8FQ55*&Zw<$S%j8dj;qb;D@9!&j$F8x
z<8aJ$-=Tf}Ry~g1e9x30$E6o9X}sxYR=ITX(WEch$}1J8y5}WrGI=byY~zBhMrsYI
ze!)9VZkV`QV(Ep*>a*!B9Od78)R=9pDla!_KM<aIS8IXn##bvE{CKpFL`MB)XK78h
zoqX^i*FCmR%2CrM-ao$}RJ~L2(O&(FGHjP5zKHQvdQ^U8zi)qJ`Txso3w$*dvecB8
zZmT|E$-HB+%KSO^gmbPYu}o<_ve)cs<l0N8WDgwv^KVJxan664+#EIyBH<fmt=_`l
zZq#O}Y~0G?`$4enn)qCHwWPITPnR5E-Vrz9xa2=iZvWsvm(@0O3vvZSEM~3UsnNy1
z>2i{1vnT(aSJqDof7D+(bos;oEu0GPkMxRaRy<1KF%pb*;p(|1&rx`|;qiv)(J@L>
zS50^|B_?Q}0)OJQe=AzsJ^xh-7i^i|d(z>d)}LYq1BsT0>21FJMw8Oy3`3HY`WvTC
zubDWhR*~ag+n3g;51V!+6qGUZ?DDH(KJkW?^~AeFr#h6An+;A#ZjGv#b@Y0!*tdME
z!}~dsJyuTfT$3EYpjzeN^vdkS_eP1L`uXemSdIl=FflvTdF0l9;lCg3*PdoK`JZ0(
z^Dooy%FCbMPv7_7Q8)i}YRmgsRlzTpwEqA9S4FJL@tg0CFJ+aN{>pGT`5UYiGWopY
z>!I7iirt0Y$IdQ0Id6ugT%)~hPI$P+HfF^=F^3X1@@hNVwd@VgiEDfH$$0Ax*`@@+
z*yaWHmv$+I$e#a@9oBWLG|u^PBZrg^|NfQ=j*ZR}|CR|(*X)?Wm*F#^!p=S9X<@0t
zdm9zL+s+!x&TduQ=HzTWzh$Z*%YkK?0`Y81Ho0_s*c;%JyYj}%YE5qDs`ssWCb@Rj
zfxCQE`BlPyihgh{TF`nXrDpX}LAPMb&F49GiWG+Zh-z|F_4+;Y<LONAX=~;P-h3@=
z^jWVdecjhJd<VicG%ncaX<kipVRl#%qVXY7cH`su3msE$%`#DryZ5_D!C5b$;6g^M
zweNb5o4<s1Px0rtr#<t=;pNIY-x`!AP7Kg{k|ZeiVYT`V5AF*I8n@P1Z8Ue!*z%%Q
za;xT<K*5Rs@=xxFc+_Vtd71H9fBK}vL+iMLy%q>Rx<BEWS;BjfKL&>?_+L8nKVx6y
z!8q}vtw)w;zVK_ilV_Xn%ZKrw`?+VfFZVR>^WS~lKA5~%8Q;S8T-S4J7;_cxBMl$D
z>nh6kZhB_8u9w+Tm_B{i<%5x?x9c3MA3wcU5^goYHqhewipk;}k1dN0zlE<CNOviy
z)Uexo=pdhsc6n<4;S?!D#S+`j12@;Q-adV7!b$FvpN_Gz%{!W7zV5-JTOGN-_P*HH
zHuqR~z$M3rOxLr*+S@i2eBGs)lY9NRiRsH;u_Gc;s&Xa?UWI2^&#g#Q_hDo{aOA@#
zmi_aYR|HQJ;<z-EZD-X6o{rUuJUd-yK3O^Y(xgY5)%SILYR*xsnBRE)@-dUOocc>@
zECMQP1wYo5D0KG!2#r1PitXmFhP6x0BvlWeWfc3yt#m!AAm3+`$fmc!ZACoXMGBtF
z*57jqS;PKbSxvM0yoQsxzpZp?KnBnJ_EWF9=dZl_VJgSfoV=X1U!<D1-s+Zoa{OsG
zZ~o3Nh1-;G>|Wu#spxKYGgpS#NsFn=3Jt&ZZ8Ex%ek96UOa1;r2ad~Hj{ehjb$#IW
zt}yF~I~L>+Xzb7XL&T|kPVbDB3%GryI4#&R6P1$H4@+7Et(^XXz2wwBOTI>a$vIvJ
znl?s;o-gM(aNum#B6gkypD(U8<g<#~Jxfz)CSzHC@2Oi-^Za+aEo-#&RZD64I`g^N
z!i;Uk!Tpgn4G*-!jaM~DeDJW`<B(8$+VQcgZ-;!;Wyc&9`-O4KBHj2}^4Hs)znXi!
zrSW>#^o?E46=xIrcJG<~&Ou0cqR|B%KE;?QN%h21N1Z-T$ua{DKOK#Fu459f9HZtR
zb<2J-<=G?d2?zBK=PBrNrmy9>zy2a~@Lomx*=`M2E)-t(ubE`=)V7^jlZSoR{`EcY
zi*BtC%{pk@bnL}uJBR3}%WHpJI(Ov7?*E^)FW*tIR(b3?d-Z~zdLN_MRf#g{tvzZr
z>FZ4nFF#wRcPKK$XwRF=MIK2FJ(rs%Et_N4Wcm4rhDZ2?rkfh(ci&dZoN8IQP2*zH
z=5M}lHmzz|uH;)?Cf~_dbkTjI-`CPf^8@E?T0Fzq<nraFut#4uUO(lYxccSdJ6FDM
zk-w6p)G8>rJ!+orhdp<CUwzc!`}3&EEX`U=<mIfY#0XI}NpH6$vfDE%ZqBRYmXLp$
z`#su7bV=O8knBzDJI^PGR^AY;oFcX-@ybHxNn&Z-D@%o3eZEfdHhJF3TiEBDbZwcf
z^9RwXv&2&Z6c0q)d^5c<$)JF1Ifth9{l+~@LW~?E+o$??-}Yr??N3RJ32Ef@|15JR
z!oOngM#dR;4y>8nz47xm(I*AZ8P#rU%?X-vvs3b|mUhI~UrEk2t8Av8ith0L*K}c`
z_=(&d2dC(JNa@&hoeT~;-Z`;X^#S*-Ywq)<a|~AA{d6<^#<?Y%<<2aO`Tl0&Rq2Iu
zCZC-rzI7V!YVGreEk$~%=j~#j+E%yE*?DN6r^p|ki;kaa?W$OFX6hIpTvTXLAoOEr
zKu&&aq>Q3@ZeH4C-c1rtRjyB_+Ffa%aJn{n!vw8QHvMx~F!1l1*|Vk~Q|_3+to-6F
z!R!mUCd@UERyy?IYv-n)F&qce&vf6qs}*=8t~;N<bMK|#?eRy}na^~7Q?psJ{l-Uy
z<I=1Az29$0e<ZqdTUL42^X`~=;#;pL7Hto#b}iUZx#I5>^R3oL%q7m(1svJiXmKch
zg5p!zn!ruL*1clE`&Y=GSJ=z9{M)S=5Au?YbG9DavvTjFi{&w<4dr{Sw_a~Oa%iRR
z+mg$|e<$Bc+;?HO@NRMQZTSags?W11s%5t{wilRWC7;_Wq4Krs!5o_v<|_|p<t}l4
z#bKd)XItmPjSKHBiPL;36BbdpTI;Ci-UEr@t9KuM;IP)e+j^pv&dVdYuCJEA>B)2E
z^LI}P^}Kn0g73}cGsO?6eLXb&?7Jm>8y{(=PPUqN@aR+5mou_C-Cl}rRJo*>VsSOA
zf3Av<tkoW-O&R^Z!52ynXFXX~GApjQUh467eY--9zcW`kzI^nUE9m=YZow{ANtcpU
z-6|`Ke@jM3u&<kFsbqg!^T=YUZEd&KI7KfCK6jak#Y$x(?=}Y?)@3GN4|*Pwo~d}q
zpeynF%oZu<A|_#mnio4>U4FF4@JD^w3G;T2q_bSnO$|4%6fZVC(%-$zTJy`l_N+5o
z^d&AV%4=~KtM}bfYL_~HlJk_d>ADiu4*%T0IFwy%TRNlJ!2RY*?YT*>(ppb(*|FcA
zvA#Vwsbt?f^NZ^$LM}{xIYIEr@1~x0du+CRQnk~3aG7^zpjYCG8C^Qld>IcLbglZ#
zbhB3R!mKCj#5*oe@Bb<KDE{x;@bn`Gq%~)<2b%3Rt8aOHeQ(U`t1F9N?VD4u`}LiM
zy$?E`Xf3%kO+i2U<<0UpQ@+oW>nQuXMPZFat;DS#3Ows;CbX5?@w$i3U$t1v=In~8
zqG^Yx6@7cxalXV$Id(~--=e&76}cPfS*b2D%inx1>frdYMS;n#Hb>}tpoH)TN2$pb
z_YBkImfTg8GhpWpuha9`Zhq5mejg8qbDLrKy#(Gi)rPH)S=5gCEq3eK`}&o{)Rfpr
zOY17mn01<IYn0sPNq$WH@3$_OSC5l}|Hp(s7wwyO80^`kz*BuqvPY0t>&shB^Uu?E
zDfm3?3RoC1YsH=?A5`W{eYzy!xR0U*L&A={A7w!oJ9Y%GEdHuF!CiIj)w;kW$Bf=%
zUy6Hr`!i1%$rg5>j7!jMmUZ=FTvxJjit+|lHT8swEmyVmDs~7N`2_4bwKGD@rd>sf
z#W>a0B4$dU)wjM=g)gEu3rh4cYV|d?hf0OEtX2#=_-A#6WVLW<&^xJ$#u;I3zL$4)
z#YgB^AKmiq+HrQ~?#D$Ll4m3)im`A>%dQIIV_7(>Am;IGCkEX|)eHONQ*V7UQqk7?
z5zv46=%h@>&CB-sWzBfw7MieS{=HdS#itf73l_2wsH!WA-kvsxb4!cdT;rP(5_ix1
z<eT#CfpJ`1J5%auZm07)Pu?tD>yY+Easm5WCJ8^^W~oaGZmRCAHyv(@={l<`zxcp>
zxw?!qZsN6&lxL#vpIi*+dVTD1_pA>m);5@Mw=AjRyJ+irD)hx;YsJ~mSKH{AE_JqQ
z{k>2BibAXaTeIARDcoD6Zp_*%-t)=z(Yl(GGZqMcGJMy2>X!7mQ(6kqwOja4sqB6@
zSLA8N>lkh81t+zCUX{>l-Z8&I=7*fEtnqXu?Y#4iB5hay|1;INV(WZFZOT2NJ|UUR
zv=f0Ut$is*nI|l{<bFz7FEU&&)uC7ZP<8Rmv(knSEd)<+tz~n%EyUS!vsv)Muhw52
zJSTp)3bId*E&io6&(ZwJiz{3A6?AA6`0|{uuIzHVzGshTfWaxF#R9$Ne8n$}q^9y`
zD1>L&)-Ve{u08UT<I$U?yV+v&ckG(jc9|z{LQl)dr|fU|FNw73#<f*&^!^EP?D5<A
zO2V?iEj{vCroYV!iSlFvhtC&w9^&Ro5)WV&a&LaXXD@yuCijkXM~Vgirldz_rya{W
z5I2?mV8Rl^XD#YwL7Hc;PMa9)qI0h2@68Uj&kufl?CH97QJ||&Xc==_jEm8Hx9H!E
z$ujM?r8t>goh*{4T{~iU$au$#hCYrBv%cwU2$(UY<6d9<kF#40|9o%VQj>J_`HhvW
z*J}PSpZvUwd5^ryAHVi874z#q@3rWA<{9(cx^eFe2a}4=wWF)Iy(m<O{?eeH|7`Va
zm;TP@OhwY2avx4D`|xTJ`yqjE5%$|&7=DbH@_F9v7UB4u^mhh4&!yY{_N|WH$Y*`(
z<ca=;TH&=ex_;~Icq;@ym1MnQ>@Gc35p-Exn(67W9~QbPQD5fiH9V7<%-@u@HoYT>
zGo5dC<{Zy=Qq_Vfhw7(kzI^z6P4c6?-`5l`N+>LIvU&3Q*6b69J*t%hoo7~ERFmHw
z==bVM&f`f=TazLV8QZng9(Yn$pp?WZeA2{e{|vUhhd&GYC;ZU=HD%_nkXN4Py65yp
zvQ4@sbcHj!eBKJL9p$I0%lTaX>EtvX7hcn-UELw_`d3KBJIS|syj}4p`V3zM2)OSE
zI8(v4&3#S&^$F1nWHTZ(ZY8{7&egho!S4Kq3!&;N=QpPxI#_9zn7}ucWzC~Z{_X(o
zB<-e}c!B#)pp_T#mMH;7yQ0OO<n1)IOqsJjPVx8Z{eQa{Yu=_YvTuq!(3B#(DT#67
z!k7Hq9gdlfeB2!e_nhoybx}Da>-T8&36HPmn34?mH~y`jc6sJqJ0+v5*ZPZpcN8?P
z`rWo=pL0l^oYJn^IiL2`#!OgdsJ=_*?d#*Oni9{Q`<m>S!M@?WyrAKON`@Ez1O<)P
zf4;EcH+#BgVDf$Y9Y#5aZIUPYO)qD>Yro^#%YF4OEh#c0@|FKPILvQEJp222%J;vI
z9ZLRpa2QzjC>bihky~F?_CKOo$|*0_A?e0OCfA4AQi0x^D;bv8g)dNiwy&;0v%PTP
zqPPA$Y}wcQIkp?#n^5w%<KP{KKfekUe*Y3|E)viEc3f@q#^blHW}0v8bDH5+s;3}h
za<jw2X!%mH-gNgAu8g0n0yC4g<|_y$p4XIrE6p)oPdYfyjq@;H->mhY_BF-`+;h0$
zWd3vN;x%RZx56iMB>b4uzD_}Kq3z+F%>{BXt83Xi3!csXu9~uzZ*OBMd#6Wr;a$f?
zOHW!%pRo1T+hFtb!wdJyKdY!bRmN#45bLB=G`+<7iKpyIgW7l}kH)JOXAPv*pPT6E
z7k+bF`m)t-zVol^ws?zwO1$;R`|QqbKdzOm`+MefM$D1DY&s^Y)sYdFuCs+d%62Sy
z!MZWNeQt9?s!zzlr2$;OI|NR}Fy1`j(h~9PoYsU3ddYJpA7nLq^1I2WO;c$}HXmQ&
zgvYNYbX-`q<o(Sf+03jNeY2f%TBL=(r%CM(lQ{S_f7{9n+YOIp6nc3ax+HzYU-44H
zza4v1WM=rDRt(ItlZ%kbO#C-<x0h~`Ci|xy?`*m=ZYNEW`#Mwbny$@>-8K({(lU(a
zCFt;3sVXkgPu{8LwKdr4@}2$N-*_5>&RT`Z91ZI3b6Rt8mg$KANx_@Fm6k_VYiH_e
zdK9{(JazcIL+|JEkD<?}2u8cr=A5v5s9dbFefxx4x!YwIJ#bwe)AC2`jPl8|lfEo3
zR?yTFyw24!W!0R*w?3{?&z^AE>4gf$Z@jNKzqIxo-=-$12Y$)fvlpN6zIj|p*!*^{
zMx5(seVYd3vl{canNKkO$b0aJVP8hpfpZ*(R>v%v<jCS%)*P&PYtKez$CB*JK^9Al
zb7v*|^wm+4FnYhI_C<;O;cKR+xh9-=x{0Mw|220@!m9Af^S2r8ynFVZ**?Kp;P>kA
z4(=q0Q(Jb5KJK~nCFSiIAEhseH|3Qcsg)-;T1-sTouNN3YvSDeNgW&7Y(y75(lyYu
z-Jq2x7yb6m(y4P#E_$P6%Dc|E{)lntXH8y3cG2an*Zbw$9XJ`zEC1M*ZV|=!J5lNI
z^rlCtk)02^c^enHJUSYq`{vWT$FHxqCA1lAyrFwRr{mp`SIN_7{-3<~#su3_cMpBG
zk=v91uU7r%gPBbotEx0^Zx(5|S9^x##P07>M_2HOE&Ep<xy^4yJ_B2Jn_2k%_m51S
zn-AO)j=TR$=H}IpiynU7Y-G$^#3G&ac=P%BZU3j=a}`+s;l_z463uq%1-D%{m^6Pl
zvV^_Zsm8&o?!A>@mZRMF-E*0D&VBT+Z~n#lxaa+T&Hr7@_s2{9th{{jy?O55vVXsq
z{+(}r`N!W&|9(fk%lh)(fcM8{M?Lmc+8^JXXVlQtImhC9&AX?GgOmT;VV;@phIe*2
zt`cLFUiT_MSa{P5mTOZDG(9~(%1EB_Nc^F*PdR9>*|EQ3E%{j;8Z)Lyu=O)H%Dc4M
zB*qvWD{2+|qLd<$^m)Of`I$x$jsMd4_IzekE0*FBJNEF4M8#2S<w=MCNp3zBzyI7C
z7R$|iSFGlia$cNcR`axJZ|#j;Y&(y>FO5HB+gonN@N;q2rrw6nte3R|Qrxz!URD$`
zedbB8w2%$Vd|KQaR>+k7t#C=Kl$}waZmIgBBhg(_mg%6r!Q2Z=yzQ7Y)l-c&a_ik)
z*|k=sh|j?#^^Wh44O3R<R2MO{ig{)*91Fj5+tlU64udr+pI#)&Rq^UYC!1MwC<Xjj
zZ?xMcda==VHQ%&m!4^x7?y21QnI;1M*6NC4Mn+~CulGz#UMOj`uaq-^-{erVY}3r-
zw}N&JeqZ=3f46Rb5P08Fh-vc`c8`gxSUycZ^Qm;T{3l+o9g!X$Z7Iht?CrS3zJB4i
zOl`MEox1{LUL{>yQum_&)>4V94UbN)2~8C6F@AAecitO~nY%c@<#YIOovvfuzPU*6
zl8p5eAJK`6XK1`)J*30DXG)dzdV%M57d|h|Se*Wc(=J4XLzu@`X+Oh4_T{r*<{mh!
zUDDNLe)C|Pp6~C2(@!i|{PjwM!YrQ01@6vFj8k<Nx~H%eylX5G>Ek^b)M%5$zI0p4
z?F4Qob!CO?izf@VIhoH}cY&3isno6}!YFhR=PvHnCvlI=jSQwPJg_IQxjm@;R`ZdX
zML!M+%~A9)HZ}=;>h193{HE?t2`3{0f6Gq)XK+<<Z@rRlSolqubp>}Fd6-umRycZg
zQI+Kh$D>_d@7jK`b?{s+wBtYZDfR7o(>ag6RkLs(%GqkR&q6nSi*Lg8{dI38=Sf8|
za%}0kwZ=3mHEg@8OW?!mr6q3V9Z&MDH=H`l_C#O?v;S?8TRzN-Djpg=ou#a8QMH8S
zOwozz@C^}{rabPt>>fI^vpi$_mhK3a&7S5SDbMnD6^HIDP2H>MpE<GNTJC!8c+Hbu
zJJz4FDm}H&nD1oQ5|bku8!yj^S(Ypi*nP6ffaAoLPAj)G<;Tf6i~Nf2?MUTcdPC|)
z${eZJVfU7w@~ul)8WB1B@R^AW8urSE^o}hty5w#X*t4g5Qd0m&bN!27jf<}tNcppM
zNXjkQyHHv1_Z6FmQv@?zU8kgJy*Zh#|H!1GefsxHvK@yeZe)#7Y`E(6UHkV+&1RD?
zhN)#fYu1(gIdRKDajowor`MTsVr(bRs7_tes+PYvX-YER&CW1kDb^${ky{CcQ$DbL
z`ZVu&qr+CEex<DwB(1Z)AKaRB<(@6qTD6!ilT&+d^jCj8de(DEaUz3Ek5K$9bCqZ@
zU8PWG1&(`Con<NeB^5u;R!nnO>2Txbev~^a{O0nf6Aq}T>}Jh%|77Q3Ta&fXal)Pl
zW(mn9zqUliuvk4(^SJsVQanAI@%Y5j%vgtm(@LTW1Vkzua?MTzm+2IDsO^fr!M*Xf
zh4)tXjpD`qmtMZlG=CDO@_+A<IleqzCwM+OxAWNKG%eb$vSdo%m%7f*>KI)gy+bFy
z>S?ud`+03ycJHo2h~U!H_uEo-{;S}%5nSmjk#za4hT(UG7Gdr+e`cQK^a>Vu=doPw
z*?z6JTH0qdm{m`|J^s^7$1wNuJcU19{fpTrtz>SKwGO(aW;gi@f6p8tj{7o8gAE0l
zPhWk&YyVOz(Inu~G6`i)wzDh!lq1eLm4#N=YJREIzs0YcAMoqsQ3=Tssl>w?!Uh)4
zHJ7c5(P6XL+!8LpD;cklevf@p=AOwjZH=?<N!B?hZ@!q7wa{sf2G7kI?7^RI%n^{@
z7Z==iyH_mGUOB7WfF)Xc`s{i8EmN&N8%Z(<S_ZFc>^tVSs#SG&ig4J+Su&qkzJwpJ
zGuc=FmTlf?wGzcA|96#T?|2|y@$m^`V|u&W`b8==+vd!jIdRi$jfB{155hwDtCUUt
zS?KtmX0MJ|&k!5b`%5lHz>G)bZ`4w=Hh$x+evW19Jm%hMY4_Uk#pT#1Rjrce7E9I|
z^tEr1%*}e@d#mS{Mq17i-gJqGz`RTArd-+0FZ0f%;HpjV>b25Jk-QrFuBv%TzuJ6i
zN!jcz4`Z*)TphBc*Q5HwgPTigPtD$9{v^lH*=*S#wxWPP4lcJk>Tms4%x$ZbG0!|)
z?jh9gF}v}i>O6*i$^Y}S^D6pIbj+2B+Rr?{sOVA}m&v26YHz)EZ-23+_eX_N-KB4u
zQmgV0n4V?1|G0cY_9H&Q-0&HCT>2ijIW|pK{iS*4(E`U8%W_#J@c8XH;coueG`(&1
zm-&gE=d|}-G!wqpJA2#1_YAWa`rhWyR(mC0I{#Bz2HTDsW@{eY(tZ%|CG&}BQb^o^
zkB1f(^^{z3etP8(*Vf)shF61j2V2H;wVXUu65(ms&~=&V-n?6`+#Aev+s`}<O?kd~
zqUE2iO?>>5EEgR*9G*Y<r?Kbfugu~K>-s0P{JXH7#s4_l54(oF3B0>De2{x2Z+K~u
zr_P6aoLjil+D@AK9(lQV6I1`+lC=k?&YynKWqNkYl9e*Mi#`~w=v#7j5r2W}-5Ccg
z+-~~)JrtgFq`uuzv(-1tT*^2}f>G&!|J&cE7*9`Fed0mxj|Ar*D{id%m};<+|A|Gj
zVhvXnOY7$I3ns3<q-O4?_~{q--qXM2*2|xoedmkDy$NE;ai$3xXCCh}e&gVMlkZfX
z=EmqLz82NGQ{OAj3SKOD=^n?DpHnW>D%5IpmMt!t&^dMHamn0C4eT4)=DwQ7`}byh
z%~7_eYZ>=)vdLE5S@Y;t<Ovg-d67qq4!Ax1!`GxRUFwWbbAZ#5ZTF5I6W9^&RQ=qR
z@x?TW`Ae=IH|lZy*~nbMnSJ4EX|m;u1)Uqrl=CX~s4i;=U0i3hZ1T@L_m|YDE#tlY
z?c8UHx~e%2YRZ1TGgcfh<D90wWnqR|P`k$y_czOqv9{{$`Szsq$cv20FVZuzzid8r
z@m$HC_0RZKE=-zp{Y0ttjb@3Zvg<es7fW04=q@}r%~3X8^i!x`Xx?^qp_w1r6eoKa
zGWzhw8Z5h(@<-^)g_I9=*Od|*1U60V6zj5`?T~WnZOYb{QAq+jW@~OgB2uJ$>ih(c
zv*wX5j9F3B)VL*FxG%THPK*(-^ss6=5o5P}&+-z5nFo*EY?`)YRdZI6z{+-Kj<%=|
zeg`-r!@Q>1vLAnXJa^Lk=!v>(KYRZ;!&7MWxK`R})70nELB|b_c+c+Qs#ch-GqKj^
zPNe~>jZItGu`liiUS_fwFRW$0x#wrk57ABgf8Ewsai5@d-au&PyWf%B`MZ=nmM=cq
zbasD>m#*3#rX%mZ74f@0_o}u}*;;4zddl}Qxel{GCJHS#Vr8b>Y`)>Km3`;Lyz`G9
zyqx#qU~r1%8=E~Xw|=zcg&+9Mc<{-xE=Tst<+B1;ukGr1HKjI)PcU&Fo6C;f?asHV
z8D{_Z&R||#aZB53!w0cmcZVg1nWE%8jJEs!u;=-q#uH<tEUPB5n@j93x8a1di$2OK
zzWU?L=Jl&V+5ec+0lTw`Vo&+r8|9wYJN!LO>&UfrjaSSU@NVIpmi()jFY%QBIVF$6
z83pe*7DyIoF<iHJs-gMZVM-~N?u8FEE>#zd->ZdA+IWJoX<t;p#w6BBHt%07Zabsi
z&E3G&5ZbIGD(`doVxNKNV$p14ZpDy1Ubm-?!i|BgH_dyVO<+<vJ^jd{DucwQ3!J&<
zrtLD)oNsim^hYD}48gPmU-->*5_oRN<;eGZnYeX=;Z4WaUsxLKZ#xOw@F)0u_|vld
z%94efrtUjp`(sVwe*WUi4eF5+B}K^<W-&2OmPS3{yFB$Ur|jjx73TBq`mBifanywE
zwSdj!OVL|i&*+Lh`NXO?tU#<L$Z5IB3xUf|49=zphVG2EF%M|V*O|-~rk}ifSIit9
zqo$o*i+!i9)_HdG`G%>B>*b&81SJG0_DHMgE{_rI{@-*VS$xJp3yFx-85b2+T-fkd
zchS5>CnV=?mk8o7F?HdPx$r|kgEi;%MYE2J3V~Z+tIXUqNj*w*U7U#2Bcao>2j>cA
zoP7Fz4}-wuV0&qnpoZUDrcZWF-lH&AT|v(3x!MB{_a~n7E}Rh*OOk%M)gVSgbB@gd
zmCEa>avOK+Bt2TgbLg&O@}=E+VSZm?7G3$2;^Wy+>T@xFwNGi}!yjKyyngY4;i}QJ
zg-MZhWjkNnGTX$J#q%>1aX#y3l{eq6`NpDv?aU5o(^I~Aoa?@vZeUm9U;M3Mdcm7V
zo4X!AeR1hnWv`-nnDZM(`<$|kf$}@`imZ+>zMrfo=J3ez+VK-V+LZJwgmXJQKFqe$
zFS(#Paoy!Jw{ue7znH4GSEYDf#$lN~C)mXnzdX~t<K~fum_=;86A!#Jh!I_t^RB^q
z!O~5d3&lTHyb)&JH1Y4}A4zwtb!<H{r@I@Jes6SH=2zTrk|M14rjhyB%AgXB*_W@J
z;8EvR-!X~*R4KRda}Ue5pDW)<8J{?wrSXNsDEiX+sqXO)z1;6@sW3RW|D=K5C5!KZ
z|2Itb{AhYWJwu1Nqs?REEZZQX#&Vfyxh1WZDNL!GWV&iYpBGO~Uy!!&u;}JZpKtfY
zpYV<{U(G08GK=fUg1M85gkwJxS-fDMZ`yI`X~U|`!6%w_^S#+^*=zp!*S@*EG2bjE
z=vFJ}_MMA3DYsc$vb|Go^0GfaC)rNWX}yxR>3GVExvzp}hn{Ck|Ma1|Yg2PTZ<5@t
zFNfcjY+jTlE$yM-aB{^in;&N_4Yce8{Jz(TP8DaCmuOLP{`G-vLdh)N2yus!Syz83
zya<f5tC?_2s7C6XNzJ0&$Kp7qJe1!ty=&jEFAkfxx`@Ay`M5OgMl1h)?#GJp>E#C$
zownUw=&Vq|^5<0<504!GwdW>$6Kkp)x*srR+ew%{m4D26!rw*hy$|!hhM!5w9u_Hw
zxc3I7&#E#zyyr!jRq(d0l0MtK&s)i^D6#wS>85<Ui`1&cteh)4(+XZR2ktz6&bBqs
zL@vC<ZOL_|^=`++`DW#wGnBS{xQ8k2^5pqxUauyvyUf$ADH(BGQf&76tz~m;C-djF
zec*~d@#1A7?`fNiOqmb04AsKt&DT%(JkjyNO_^s`*D?C-R=&0OOU-AloAL+CRWIzE
zzQ}#C?!&g2$1|tO@vRr&(s?U*XwUK0b5^=ad|JDxoNH<Ak$V%_xqAv0y_oZ_%sH;)
z7`syb4fEw47ffug1Q-Qv3z%F}nj}1*XH(y5o488uiO;7fu`yqKA-VnZLhV`0oY(CX
zljF-**!KDU^VQ}P&U#&c@kI8-#o7LIqcWczSHEnsXiLq+U3*F!3TLQa>3!03C^4$`
znDj|;mWzdctTA=F+m1TuIrfEq;WgiFk+%Pk#_{8hZK~;ycB?;O=sJ9ygG;qX<8?n%
zd?Q!zWgcJUD~DChBRzSg<|)Q<_oYTU$SObGfBj1RpX>F@R^DIZ^4D(B;xw7-qSq_~
zwn(+SRQ<{~bK<!ZpA7!oZ0C17m#6kd*>#)IuKkZzcAbx9`?+nQ-L)z?=F1ChYJcX%
zykGX$>e_w%4c~M3UMu1->Utkywc+4FZ)>Mb1`N}jC!}hhezHUDsJX>fnWC#zxvyh&
z&EwnRW_;t0)x21*$8oOk*uAWivsw-dhWwknUZOMcEc<+hSxOw`u?uEBVmF>FZF0Eg
z@XN@L2fQX4H&6X~%CYs@x{0OB)2lD&8V5uN{y$Uh_tcuHrMQRdjN9JC<;}M>oq~5h
z-Xhtu&oiT;U&8j{4HkX<EgA1LXE4dF3z;dHzWmE|-&f1!eqLxy=dm#ius)?H!N8i_
z6{=;jhPy~v<<-jTHnWuOs=K|6Kir}<U%U6hyQ@=vOk`ktkZs`FYBaI&&F$E8*H$_|
z$TwQ?^|^Mr^pxD4r5S<~-=r4CEPdwLdr)e^s~O2o-WA~*j^~-ejyajwE_p9yY3QPH
zdh_SXwpn|wEk07SXX=E83#?3sTv@Njrn>pKw^&9wY>U%9H`keMeMLpz%pUHkw<f$a
ziJ7rrS^gL8oF~6Cgp5+Rg)8s*WI9oFvgHP*o~uuS7JUo3)_rEm+5W5vPP3zCR4sbg
zEKq&NU*XGT$*Cp|)_dGs&xB5sXuHMtuy_5%<<iOtUs!^8<zqJNjMUFAsq+cAn5^IZ
z<XOv!Kd%eImnARY_nVp#&D_>3Q1<2Iu}vQur%I%*5Bt@!@%P46u^zc@eP@-<3in^n
zd~VI?bYR!~qRCwE9X{;n(YH!o(^>T~X8XoHD%JD6w~6n)@PFzTU%r4JbIwgyviT7i
zxn&ApLo{=?Ad8<=r+0gWk<ROloI095j@L}tD$b`TmUNb1P&fOYdhln*D_ghJd6p9b
zR5KFR&sgx9(aEpTUZ7l8qansguk+^D1(z3VOqy=C#@3zR#VKP)gnWRo4rlqD=2^0z
zm?R#pbF5zR<OJ`&j9Q6r+J~+z<MY|o%{@i-SFf6?TO8L{wGIz~i$_HMN4xAw4wK|9
zFT2@!_O2eMgvb<~N6e2GM_+h;R^3Xs==o94hLVTtHh!2j&45?`a`9wlo$8K^!#!$J
zkMGoNNpvfzxu3QCjJl1S3SZ=j-BNDcYd<e&QrFzoVKsA?tIOkLiHl7Sbq>t<xMRB@
z|NH8tN4Sj(4<tmEu~wY@Afa(dRqS@HT-_bX8BPWkb<3je2I^?m+!Pklx+9TW+@L=3
z{DRg~A$5~(sus%M3bvbfA*{%K(dnT24>{`s^(Spw7E<CVvFu6lwWRQ_vlp`tm>Iqk
zV-uX^A7}f1L%qQiE-5CD2FocW6++=B9#n0dT(EDZ@cnBE2hL8+J^9#S+ml9VtzHS=
zPYq9Ej%F|EWPIQGa*_>ObH49%y9E;;I`27qZqnrV%kB-C4?C9e-+mBzl~v?*g_x(O
zg-Lmd!z}CXN5qr%tx5Q+^w!hQ(x+SPMT5iBfB)nzdLDn-kfC>WFYm&W@z>ik-Xxqq
z__Ni&DEvk@L)59aI>J9%S(k5WWnp>sZ0`kLwKwwngpWDwJ9n=^{!C7_^X*871ryZH
zmKJgZdt5%p_VmX0dm@un#Eg$_(EKl9-!M;LrG;Lfp(x`GOSZQcPC9;hbuo2GLnI4-
z<O<`cFP%r+@9rpFx%|!S#|%Pjp}$SGzq@pBA-mKP#={i_A3iFpOsu);Jk!N}Bg^p(
zXN?N>D&M{>nlP6sSjhV9ik;`LCz@$Ai`k#qamh-)a)xa%-+Zgpa~@7uqHgZy{Cd+Q
z!xP_GKkD9*-^=hvn)!>9T)k=bgw>IAlJ{Kr;jZ8CmzQaFXyHZ=@lJX69}#Lz@<+b$
zIYlnDbrAZh7@%`0V28RJ$IQrSr3o626VLB@<Lq#^!uo)s*yiB>OTs;O{y5yyc|2A*
zY_g7#>9r1@w05sM8_%%S_?P}(aiP;Z+0({%UD26kOYTnCEa<Q*=AL8D<^AWw^A%<{
z`Youu`zF5d$_x3n$Fg!g7cwRvWSVJtSHW8D!7Zyc^{a>2=L**8ygDLN?RoOs9wuh@
z(q1j|S7pMH^_+_?MxO0hdpQ5aVME1>?_O{k{#zKt@{%FJ^XiLygMax`l>WN}@6Wu$
zKR0i4$gbCiWQ2ToOIS!pf1UGhhSfy-U+?yMrSwmZa!Bi4dwJ1($(F8$=~3sM7X&?g
zdHV9TxYqaEC)dfo-o53#esE2Art^e7DqGhcy}+$w<TlBcVFSnB$=iM{=35+mmH(0M
zmc>6T1+2n89NnwA;6aa<uS4zbiJueh+-Mcr+^Nvz^5ooc0~V<xdj%#*9eT5{N4s=+
z_X$nsQz!pi%XY9>lO=rI*n&+@crsVhzSInxi7u)EuYIJ9B@gkh-yhc|*yShRuJM_n
z#VAJfhd}%1?ssvoP23z5Hz~`+7|fRm_7j?N)M%c=M<q$g|6*+X6?eRCUQ2$jj8JfR
zl_KaYzW?DuZZor*pyR=B0@@h%>~Kz!v~CcZpUQSG)L3}-$I^<8!h5bg+*Nt1bGy2$
zjQWz3z1)ShhFUXzJ~}D;JA75#g0D?{&8|}Bu5mI|SA)6YUMs9``kx?P78#^5Z`xkA
zcP0kGjTdu#ccuA8n)^oPsqFo;k-y@&`rNOF7jc)hMXfa1ptb8wF2@^lcKt95*2PVi
zoVr;TO0sDh+&;8da<7wO$Mh1`9p^Ub9KEtJFzIS@szqC)@n%Qu?86FMDtKE&*0%Z<
zB}E*uO4VF8<Jb=Q#lA;$l3u)XQsqycFs<g)mQ@SqyqVxMmFdt#<)6%to|N74(8zkf
z;msk5s~2n(TA0{Z39aPy_HE=nv|G4fNq?<xL!DUu`)0fIHYYZ?I)_b<*mEeK%~hr2
zLF0+JD`I{wI;+7U{ep+P=Kh40DsH=bIu=j;c8qW1nc~<=Er+8LVt$1WL|Gc6zRPk;
zH*GeYZ~Y+UoG$C5V;47_z9oO=bau$yt$}SR9M718w{brHIwN=M!jze3^e1-yTe;c2
zVZP-&6^Enl2ZgP+EVpMj;u4o)i{?~o54Y@&R=D#&i(ROKTWo>&H~B4pXQ_DYeQ-F1
z?R%?OW^nWL`O@YeC-9y<bI{kW?Llh&b%z^QU!AaB;GW9g_SfJu^Yi;p7=xIPN`B?3
zcDnmzX~N+a3EsNP?-*m`|36ZD?Q4|2;aAIAvzIYu$rX#_l2{JRU2{cac3?tShk9)U
zXUeyl>m1Eu@(Y#<_6SAY$dT(2xyEDA*VrhuRz_;NZ2zS=xwOA;8#Lv^O&G4%cN9yg
zUpnShv3l3sg97{uoqW8z*exO)a$62hmR%Bi++$DI$C|sMU1I#aXL7U+OLu%UVY%PB
zQl5EtQ?z8>!7FV1@6X>@-pgYmrRgFnao)^Gc1~!(KK>L3X^Y*v#Q63Zcbv&i>=ohP
zeY3MOcy@oa?QhQR%D`23-3@ZY3@-kyo^n}y-+M7$YoD?UtHjm?o$gm`$Zk}qIKl2b
zb-|l>8?II@|I3e3(|EZ%N>~KicQ7=Cm)Y>=FtRK;Gdcd#ai1+KEFZDYTd_do?jv@s
zLzgrCd5abNKkjr^aaiRv|4)b(YhC0?rQK!*la4pEtKIT9d|(@)W3w?M?y7$wPiCzQ
z!{Y;*Vm;?Yy=u+<MZ#-e%dKHL##~)7Tks91OxVWd6<Haa0ne6Y^g4v|oJsJuc=P0@
zHqW_(l{e*bu6=yE+llR<dR0wurm%?Wn}@m5Jp$(pI(|%=;=uMar+LXi4i5S2GCAt1
z^2sa_adV`^S2tX~eAFi6QA@N<OmWwa;w2Bu6(%>d&T*Rj*g&oD+oH#NUvGMrdS8m!
zr{xl(`m4Ez6mGEgq+ew1;nnQWYWlati2Dhj$?<jzb~EdOCq-?Idl?T~n?5<Xr{6#)
zL{;v+GEcqZj~nh1({?R=m43tc;)R5bT4#P|d{S$?D6)7-{(<ex=fvLS$0<HnZhlba
zz1}zb=&5^J1zSFQ-rQf&`X>M1u^-FDFRp$ea=v2aS<X69X5Z;Ok0gb^EvslVHhbnK
ztxzF-&iSL^376LaHqIZ~cDpU<zq+r$rG;bV<6Q+u1S+EMi}z*BOaFc7Ve0+@nU1Aa
z&fJ>6T9dyDF1TtT-X|fk=B~aBkB#*C*5-qGXJ-Y7^R-sZyWZN|&8%F%yTHZj#e8n}
zmgH=^@4RgfSa05}RlX!z_N(^sl<&2N70d1?WMm|}n>;=G?&|MD2L*1V`0pw(Q24s=
zwZsg;FN<pYY|gG`3#<K6+w5(*{xzF#N7Sd+$Fz(eo!OUn;5O6x8_#z=6xg44V6%W+
z-R##J&)US!OIrR{Xotlrkyxe2D_)oAovA$gd)GmWgSK&|Mvv3qzIJQTK3(Rs@x{@~
z41ryFE<4m8Ela)5tN*+7u|vt-1nwP^Z<RK4By}p5+)db#bms6n>7ETfFRvRtOqBD`
zeR!Ss%$Hr+F2_nG>#j$nK3sX%bcgiP`0`%P*<as<^WNv#o%QC^&Mb=~>!dOq+IOZZ
z@idxEtGlZ3b>iBv?oVen_|4{?JSA)24-=1<za-B)om;#!O(FI9#Ydh;E4M^k+nH`-
zV8NPvZ1&wHdpbHBUizxaofKQZda=E6b4T2f)cHPayi32HaB6cj){B^9RO6m-Do*Xh
z0#|Dr14py4Wh=uT_(?qZ?XXEEi}U4?*W5-^WREGBG%_zg^^CXm!8w6|BGZXe-HHPg
zQ&w&<z2tH5%Cke)?N2mZ^{6pY`?fDDLZePjH_EiHXGN9svYOsmXWmNYSbF_`Qz~F*
zXS?O|mTz1qWL^mK{qvQaeK2uypXefnrjM^KDETR`n<M)taN=<ROHGc$C-emZGv+nh
zsXh6YYu=@pB5*O|x`uDA*iUvv5m~)6FS0Zk4EF35@|R6p<?zHLVmsU3pYMz~R-WEc
z;QS|`|3uR{?g!i~E}?n{c%I#CnNd(^G?PQ*oJ@uKN7dHv&KH~~Pgvd*9{z0ejpv$=
zl%Lnl-@(&+b)D1~_ayGA8!KLRv;EY372v*Qt-@0KzgEFZ+BsD8o<(gonsKT}OgD0Z
z@kI~u3*`dycQIO&vR!HWa@V4?YLh}n#PvIy)0$S~n3Z}nhn~xA`q)*xFa6vVq0g%>
zW-1(*X?&7tLZtC_kEc8u$2-%xkIh+}a^>C8?0eEhXE(XMWSFmL9vHEC{RHI>S4-2R
z7r~Mi%eH7<EQ(O5S;u{NPWIxzX8Fv42akTf_`#s6*xTG!;nCwA7Wzte0%O+g+2H1~
z^@*(N&6V9Nrg|tfAK`w{lsIpz?8nEQYgXQC^fjFzF)?9QjruIh3nlaXFLbW=p1!A1
zz)$=0C0mIs26f+s*WVs_$vdU=gzT+v{ZbVb%YHl-o3=+{Lt$pn=F^g8pDwwCPv4gQ
zgTZ<2felw*@6O8%Y4VxI|0J`k{=%WpGXFPp?#-+@sCQk@=+dhfX2;znrcZE+I+c2Y
zsr1lAIX6bW$~lkcZ~0(y+&=eEpy+yrn!S~7_ulWm=J<j!zpLxV+Q{D14!0HcjsIM?
ztDk#s|G&RHpO{adcxx!RwZd89#Ro3VZPNu4n4S6*zv^9%T(N53RSAPrH|D>eWa_WW
z%gEF0ZQ8x>*uvR<pS6NGkGu>0w(;im^NZ^{+Wx&a+q(R1oy?o_+`E7N`yF_cy?BxG
z_S~nl?Y~s-SY+C6a5+3}AH(Uo54EojY)m@Ecj#8(346iNKlbZCA7}lgzU$}TODE3H
z?yK9M`FiW;`}%MH@0oe*{q%45uYcP9vA#W%;c>#;Gciv$wfx<wuv6>Lr3H6&7I7Y4
z!75(2be2QSUKdt|<RZi9qJXA@Yu<P^ykMQ==gaDM`pRrA)@f5eI)>zNtruh#W)XE=
z6)XO4S;a9+%}uYHF8t6|a!@SY%j2=Ni$|&8)M~|@EAkvVb_w46K67E#Ugjke!WMkA
zZL#TUO1vTPdBU0<>WQf}3nQyoqgke`Y}%0Ow8!?d_}11l&5dofb1$k&ZRkyqV_*Ba
z?ZKYY)!8LGE*xq1b=uxkw8d{C*KYMn`K*vofmM3Cs_dt(JX4W7w);$LLX+(J2Az7z
zR4es$t)XAi+5|(6@Y<Z^S*tqLr+F3Yv&YNg?wv}{H&eLC*2#Nj#ocqku?6clKV^8X
zkWduF)q9ftajfdn=Wf&459{nvdw%ns)P;zWsos~I91}xkXqUeC)ATCq+is;}>K^)n
z>zj|ISITUWi4u)Uk~w!2(@!T9u;`x%=V&T4y78k?<=6~)gLK~`^?Gj`T8%lh#AnN$
z;n{sLWm#Q!;hs4QGHm1IJ@^c#=yz>iW00W`kbGdq=Z!DI`uN)(J)OQ}0dMa{<$!Z{
z!t{@4T}(84;uL<P_(}PMORIIt{jAqdI6ToIxZ29$bKuo3p^v;bM3<%f*qAQ8*^EC+
zWJcz;q6-U8|NQGDal`X?;nj{W%MvC}W>cN`bKwK_)c7UK^o>G~^>Lf1{-`*{`_TKW
z()mSOBFmS2RGGZ#pvw6WErXx8&$FJKCZBQO5qqw>>Smd_3(tP={qe-w_fpk@GY^!Q
z*?2GbI)+|+adzH}S*Mha^Girhf0(M*5p=Y&cY#UBg<OZ|o6CZ_46p6^R)1-lmeO(t
zkDN<;Q$%MzeKck9Q|{6Ro36jrcM31RWC%~_{*d6jA;rVaMN9P8%$BK^xxSaPZx}7O
zb30Pw$*N$Jp1o57HJ*8&opD=!pLk(JSTFNSpYV*`&il`vvx&+Hl5Fe_Id7zty0h&5
zTrCe7r)_ysEtV}kYpZ8^U$lF@(&5iGo4L2<WJs>+y7{l^z|swg8`vg=%n4GsV3Rey
zw%klX^BJGi0w=}bpGWl;Y3>(!wlwhdnkU&Zr2&`rs>mO0PS(2pO~AjLSA%=^sgz_-
z8%fDCZMpnA`4yLDRj=w`&AP4rNbsWXQf6T}<C_*my)sAArYSh*@GxaZ)h_b6x%N!>
ziS(nqF+Mzf+YY=b6#ah5l0nkt$2NnhUqm>+tokajRos)i(LukhG{)*d_U;d1#XAJ5
z%e+@F=h|{0@RyaytVspuGJft)To91Ua^ZdNidQm;yH8bf@iC}9>PzKK;C!dI!=vkC
zqVfZyx*rU+Q{~GZdfz^@rSf)j>485fQ<`~u*pHq)GL>IWF8GDoWS$!ws<+i&d`~&2
z*W$XXT>tkRGldKKx1>7`rMzcynOrh)i{OMc7D~MrUS4`ua4~iMJeNMxT}$6=5tF#Q
z@LuhK4!x<yToQ##YusL@9$&}1q4FKuH>)>#=e*uJ7ASt_nEOobyQ9^?1tNlH4k+k`
zgy|hR^rblYl7Yvp0;!`9zxXKCwgxY}=qkSOlP>q9D%-n3&5`T#j;AQx4OaBeE{ZUF
z`RAlksjH9N-Kl#wOrC1oyRGDPIHOsGk&nTN#LF9QUJtW%{t%kWFL1=(LEVCP27}?p
zs{+Y#As@E;yDmB@V=LaJf8Mj{xEk{<<1MrK)SCU{OcyPB+0b{xb-_om`vN(c&Vtv^
zOqsn>Nk>}oROq$eKd$Sy&sljX>Iv@ypIYVxK}$o=nM_HT_tda#-kCdZp2(CPN_chU
zl);qA=eY%EXYES26LEccC4=Yn;m*ZNvRR+&?p}1O^;l$nNrlt;GKaIlUm~R+%u0T^
z@;_VB^P}7Azi<^i<W|en%({^x%~5~Etl+!U;gjp7{SVkU3u~&py83WM!N;9;C3#kw
z37XFPv);(`ZQwf;qFbu^%V75El~XKy!dvW?E%jxUd)BYs6(+ELjn3iOCswjcpX{uO
zTJqZW$>eF=AC*3xG&yy)vqs4+$5y6BsiH{d`WdxmopY<%bo>?v|KzzVx5sQ|@c(Ob
zApEMVnIscGaar+N3|2;3-zVJQTQKz8vx%0=q8heqM{%Wt~+Rv!VCoi7-(`Cwp
zg1+sY3dcVSm`?9%T;b2lDt14`?qibQnp-J$nX826o>6}z@T2v_pDE^tte?zUC6{>L
zVcp664vo3LG9R*P)*h1Zn9jTSi)04-7R_3=Wu1GLwI$sCnD|LC%htT#dET;@OZxuU
zt-Qa)uKm)RoS^po$8H>YvFB9#QOPHdo^5Da`(B}a$KJW&9hZN{^lXqVI-cNOS~S1d
zxI($yFD$ac^PTWQ@8^ooI3KSp{&%ZrT3M)vmu=1!yNL{Ymv-Mu->`dW;BOa$rv`Iw
z&G(pnrEksS9fAt#g-sHB6gpe3wtV(bI<LIfXo9HG{PVM~C3-5fyfxvCWa`RLGW2<;
zd3@c39`+`Ud0U#(t7P^mURE;|_1<_#bZe~==bj)PW05^=9iOC>-=578Iw2X88xkvS
z<+#uEoXHnnnX?mA*3DpXbC+?83tR6zZMvbxTdQ~a71DP(iz{DRJvH9Q>siwn%)HIS
zWJ!11`K2#I!<rWqT=sY?qf%^bT)*4@aM|<MsrxhddcLRKb=7Vudh;+K&bYZoo}*~V
zMHj*I*CunWW8Sq-(YEH6d0WHXPsx5N6Bcdx%VcT$@UPzS?E=ru>>h=m_?LB7`{dF0
zht8%5E~xn?{Q2eQH4&4ZuUoGn^y-7g2UGvOojp0>LGnTlIoJ2R`Ta`Z_RqUbipSnP
zN;oHX<k(u<6TQ{dQta{HL-_Y8EtdOiB;EH|dfyjmUIWYb%u^SL-<5E2j}X%9y*P9F
z`6FgWGD^2^$gKQcxT3cI(2j$0PtwHvt=;&V&-hr_Kd2V_@-0z7>V)9eO)ZhLv=d%<
z1i6Y&ck=ED<uhu~F!4F!u*}KM$(gD9?~#;rqlF1)6`duuA9o*|uz$H*`jezB0xy4E
z+UaTiKz4iJahuPa#fumF1hk!*yEo>{vL_CcW_FZw-I&bx`A^fow+53vlRlmFu}|1`
zNI&7%#f()V8R<-|lioC~KJ#uO)2b6+mR+#uUEO@3DnjMYB<7F8o8)qAuT@<(VtBT$
zcjiO&OKpyo+`o;!%t~cvdMG>1dwCE4=6x%c1zoW)u8`C{rF7VeE%M`I-uTnKJTW_W
zho5pe=P|34?-<*RGatkDoZ)p^@g#U*`O3fSy$?OoZu90!9J(w!pV3VE`>dC`nG5<$
z88*$5j+!3&v+aOHQ)ARm-w+A^sHIyKulCfq+|>N~;IfamrH<CAT{{o(uw8YtyxdY7
zaiwJH&cv?D2c~JiO^OS(PoG|Py6NJzzQrCTK8ltB|HEgBzMb;))^U9nN0+MyrOrfq
zTwfjN;_&SHHB~|N3hDHy+1nCWS^^#AgLCU&P5G+XJiTC9r+I<Yj--zT$rEKw=SI(5
zSbAY8v)JmGm?On4$8$I7E<V-x!lpf6kb@~sFRpF%ua4`}9Q_^KuN>jAQ%b(&k$cR3
zrrVW{f{up=Vm({<ri8{^GwrXN-n-<$uf4~nthasBwR)}G2F9Y2)75(q`b=P7n*Pw<
zL*V<rgDaNu`}p?=XzQK+x`1OXU*Ijt37`5}eluhi-EL6*<)WqY%7M4qC}d7&i)Qr?
z(^pAV#cK<%alZdCJ+tlIi<9Pu%l_VJ=eRB)qhD3hSs-+x*+14#<%CJvv3DugHfuI*
z?BJ1?IKm;gc~&6*)QNHh_f&ScZt$BOQ#i>`L4`xeyko@$N#DymUGtm|md%~}ptk0o
zsn_+%@g|G34vO5EeLwxz!-;1Wnf1TtIPCPIvNFoy6feWKLy<FhO(g#*nsDy!NYl}H
zHkVsJKY(4)?VeQ1(xcCh*{Fm$ce9&sW{RCJb%Bv**X9eFBIj4zSn0a`in^tBu=>)I
zGUb~+TryvK+V1#23pv;sv|OM#V}_&IuVDX+mzj1cNlMNAs&;ux(S!>-bMyC|41ZeL
z7j;H!u911V-L(}nr+e90XK&8nJR7m;n6P)~o|{_sTi1N?G|ubMJag%+r^GQEziy>e
z$BLDe+{)5LEfbmc`q&@xXgo2e-ykSzO33p=9xF}UixZcG#2)?rX2J=BrPcphGdtHw
zb;zr?dqrsY?W-*Bl8TgJ7voFn*`T0zE3bo>r)i;5Y}}e{3?h7w+iQD2&xv1M%H}OD
zyy0J_OXuP%$DaEfOe@&PJNt2H@(b43b*$A>Ux+MKI1}ZT^?gI&wlfcuPF&k#erU&u
z>F;^|zJGPcTA6b}+3gu=mH`f2OI0`PJZQUpYz9wbN1#l}-WGwDb2=ZNNtx(rg!9f!
znVema95l_kTjuab*C%@!yFJ^zmo(3@s(M)S`srqKriN?<kEv2C?qpm1-^?v}!acg<
zjJwzbo4~y%xUNJVa$A4c#NhnTfaH$1HyYcfc0IPcuwhzB(iY}k@7VK=-&`zgE=<tW
zJH1w7=LEr!_C7VfpLP?nh2O3YKk@UFf^hz`k6AYumd9osE%b`LzsKpDd&!T<s$UoW
z=e7LOzhUjmT|HOMg&g<$zqR`X-`~SNr`N3a{2%J^{z~lZBmbQLZ{>?sE${XEc~)Op
zG`i}(tJa}e%ZkNUE<IU!{+&|Xx7{7iZ}ft^r`KJ0r{qy8A@@#cs~Tr|nYd%wk-EFC
zS;+@Zyw+<9nfUmjUei&}>#<9ml=i+;64jr{Up~=lS)O{C_{txTcXe0Xe6J+E>AjMu
z(VLy!3I87*j%AV5{{8>uyQrd+)45Ogga>NxxbS~7&*JF?jQy*=+n2hrc)m;tyM2uL
z-jU5h-j!dLx&)<sxa4Z3I{omI6OB9N4lxTmKU>Y_^r%m->FNvq*d>RbT<h1n^m<xJ
z;x3L$|K7IiJ({w(`+@o27fN$8g5A$JEq=SOdqeo!j;y_}1CO15V#iTmH}_U-o!RnZ
zXP#+3PL(Rti(TTsuw$nlQ{Ic|dO}YxxXyXBi(}sfkZ`7lySQUpV9()F!4LdrcP{HL
zS@iVIE{}AngVEwI-v+r<Enc6jp|n?1;J=2_iNlt9u1CU@MFjQbU5{w4>rfER&UP1c
z%)1bk@5&+*uIIW$TQ_yisRzsd1h~wo`Woc2!DjWG;@yYc0^b+UZoj;=BjNM);+*|+
z%WbwjJeby~e<J3W6?0?99?_SsnRDJX_1=(d2)p-T((6-#lU|r_VNB@R8!=VwMd&kW
zO9tVN#|Bf*96asvCOxM!cppEjhE8^e(~tJqi?&xR&-tawr}lV}R72UrWlUic4Y*gN
z?&&|w!yhSPd$h0p|FmOHKfVg5?{4Iuo%TX0V``>T^0gbr?{3as6rmRr)$x=mHO2GQ
z^1g3heJjuHH7eIwYpeWMyZNYfyt%}Kw%CS{LJ@uO<|XD6@-+BU9?9%)b0|>KYWES`
zxLlIAR{r2-mG#xj1ywi2nHJpfI>u1(<k;u`8$A3q3t8lH_B0lF?>}WC_vjd-lKYfk
z)h5MyLz^$x^QxYGm9!5y(H>Q_JjHQu&W}9}>>qZ7%v|YcwoPfL;M)faw-oQwaELs%
za!1U|^v?nI4QeLWLzxSdnv@S#G2ULOvEB75FF(WWg%7G)e!bN^t|TMgpk<%hIOC!C
zv#Jta(T{h&vY)c8SbU(S;V!rRGSwHN44ZQjZiLD@-E9ln{6@Zak?kFB-DhFS+OB1n
zjKAefD_qam=(&phP>{Ld`7XBmQ*XJvyxL*gD5~bLg(bpG*!?F@+?4DU1>D;6Te?mE
zXwRRbJWH@LDt+BIx2SnREV3>3Zz2>mZYNm(Y?|S9=0oM&^&hV4^b1Q|uDsdRkgulA
zUC(a6Y2gwRp@xQoZWG#4c@JC;S?#E?O+Ej0ZEV0x7nZd(YYn+<I$L9!cr>4`&QE-x
z<5F@}W7hKH*>eIJZ^*g4xyHWdjqio$jv@`qKO|idpHSGbKR`I{NwCuI2UA{bt$k1{
zl0VV*|7_<PmJM&_Yzx|ROre)a<G;(|w8g4z)2$q9O+2(O&2P5v;Nl2mU$C+E!0GP_
zy-aW795>}G-Ml6KhQeBp|4gjArB$nP<tyY{*?yK6dVWY``)0ARTyo=8Nq?y+@0}Yf
zLUcDTuPfD<uzxlq&+`9fdN2R4{g@tess7@b`SM%#*Jb=V-+%1C^V%QR(#7k4UGv}S
z7jx<V0fQZn8~9pTv~DX|&z-Q0?W0mav0lqORVOLd=}d<e&iL|5d^vMv($x3AT~~5V
zIeTSu7;{%?@XSvda!b9ZeC&2C`5K&T@U9{E5liM={Z*{)e5{*}o{?!uYAU!Tx|Qqi
z(ygoaX#C&2D{z^D!<XVGTyLJg76{lKbUEtxfkms|^#5vCE|_Y}q%G{~liVX^#@<lY
zc<jaImQ78nwQ{<#v1g2Li7<$YHytzcT`f4H@<RBsNee<}{xDS#USr#^Pk8d$AFCLa
z$}IY$5hZ%yfUp+dYYWbk?^4e(Df9UChWlIk_tv>_JIXP9J~o5p?sc7$3~55=x_CmJ
z#Xsg$i=N+Q!K%nH<Ha$XikOTa+nwAVoC`9Ms%kjHz2jXXw=4fl)fExd`!<I>TQRw8
z`Sl2&$U~cg{wqqaJf(Uqb>boS__IafJL~ou_B2R6zjnuYu2{h0;H0$+3O_6SSn_6x
zh^BZdmz>j19quFHC$<KppLEasQ?%kpPR-&wog4h0bYI?OFj3F%^;-Mv5T!Gpxmy*|
z4)2)zQ~o2jYrCk&{HdlB^yg`Zebdz1*7McXf?4#?Eq;*-A^yNGi~XHsoab&>^~yrs
zz2QFVBy0T_$Ns2!v0gO|X{#)FSm1d2s!kbGFYE7n+WL+2Wdu#xwwA3kWt<w<?w+{w
z*Prt%<Cm!BXhxUcaO7C=<&NYXUHz2@EQ&R*vFJOTZJOA|s@!{U0sqr=D|y6AxqQF$
zyjXPB?ZNL0>#UhsIM4fU*m*8asIW%MZ2e`e<2?#u5$Y{vzk=2;ROi$;HtA<bUC#DS
z>@-7w?g0_uLpeHs9G^u;HZJosH3|0Bd*i+T)Y{4|vx8-lPVEnvw(o(jM%qOso|~Ku
z(`)A1rP<y-rV+9&!>{jh_79UM>%M!<*Z9$uIWI@;;gb_Q@60aW<axbMq*D9qw}mQ?
z<`tH9to*#_#G|HsBX^#P>r$y+9VRvbE3|9wI;Grv+m^RXPkPCj__$}E0=%tEy)MS6
z9($n2Ga)kd(}vBw{~taPdG{oBzm9X|1pl9F`h(-PPrBD-ma{*m$SwWZy05c(wm$l0
za8m0i?>DcLelt6p63^^&(7Mf3$hgOCdCEbf_^k(5o|<P^TRVl9xx;+ctHhJVr><MS
z*AUY*_uXD*)HG4ZJmSq;&FKQ~a?6<d?il*HMSi@ebA$Kvp*IolxSn=?nrXfKO5VZ5
z-uW$hv#&B4Crp(pEaQ24@mkso`DT~o=f^aX@{O%Ntx^b2s%=P&+`zbj)p-%i>`3ts
zCJ}4vQhN?)9+zlxn(%-9j{^x#^D+`j`VW7U^SLRyx7qIW`O+V`+QCU5{|5!c+3#kY
zn67=h?o)vA?-mtlCja!cqW4r8ZtTfDueEja)blImG>KTONsQMB-ByvW%wJsG7q?_>
zT%>yM*CdgHb2hwm*ue2DWPw8s!@|wh_k9x%{QlBdIr-bm<SFO>6?OGqwokY$pnJr{
zRlY`RZ@=Bu^IH|3J1B13`IhBaVwd0P+`tZw^C!a6mNXxV(LA?__b4}GaC_$p9aG*T
zCszj^P~G<1!ePfrxp3ASLb?+}(syu~n+L~s=5s_^mzWDpsJS%jNOlLKcHFyZuU`c`
zI-qvy&98}%JeBlMJri;~^YrfFFFWFU0$%Fq`{&(lU&t)TmvB(8cHNDwvx>VnAI|#u
zt6bLXYUKU(Wm~u!Uu+j^c7LwH^pn-(!KG<Cx=+c=9W{1infP5^GyRI=MEir2@|E3v
zr*EHATJ)*+_36Xkb#8hlT}a|T*!<YbbNUHOR)&sRPpM+fLM8XUxx03qePgntW#xsE
z-Z?ua_7n>ne_6d|p}Qd)7st1-x+O0j{n%Ic)w9r$=jQw^(zE;eOiipO_Z^ct*>`(_
z^V<E(mX<Y#^ydUTH8_wo?|E^2k=4>m?!3F&Ce2p}(Y>|q;*lbmd6VAgZEkl+5zU)*
zHaBhk;mch%Z_cc#{Af8Tc6;fMIUfQ|f5>Pq_`Kt1jsN*bb-Vj#&dBb)*UfnE`VO=C
z^6RClZ@Buo-S<r3YQJc{(ZAZ@*J_(7_dR;*PMv$vF0^{jPosazs@wi7?6@dc?G$-N
zqLw@FXVRCw*Yy48vAW$~?di6WcklCUsvmXvPi(BZE^+!<^qIVhF!9a#d+S*@zu&ht
z_{f{UD}DWsB-Iy8y463$_|t-po92^(W#aCi?Kj_gag&N^@|Uw~ny%0IvaYg!*Nl+Y
zrYxsKd-Qzv&%XFk>(JTk9zWI#`QPiN=H7_2Y4$m}?j66^hSEQ;CO_)Q+wl6}i`kM#
zn$K_NzJKsVjmydQixaalV{&@TCzQUkoPDllv(M}OHkw)%b9YX^cJ}4&>xZBDYz^U`
zz5nADIrm!=Z01W&Y?$8c+ak5RCSGK|fz$o9|CFEp@zS>xGE1DTuXRmD;q<(v8U|l_
z7S?oL<4sv}R_=BCJ?3Z=ZLtYSHS@nUM_wsirXO}<k+Fx`lmAl|8S4HubC&2%o&K4f
zBXftx&+0BOf#1LTyAOryJ_&h#anIBKnGd|09GTB}Y;3yBwo$ZWl1RrPnGH@{VMXrR
zkHz=iHs9kmY09?B6UB`c<?j?V7K*E8TW&ip&)3V9_rAw}%hCuz&UBF%!c{N5)2=lh
zaTob=Os0-CK=6#&ktbHCj90IGZ6xK)`m$^F7M<#n&jyaiPsN-)+Swr${7lk>;mpG=
zU8WOk_m$|DR=;Kyh}d(ca>uo3OUaly!fK&L(>AZ1H=}Lq(YQLb&8=@9Nvid|blJaR
z&y;l<VV~IJ7T5lqt!Zt>miJIkKl#X+G_MCG$^X`_i1OkI{b=iv?Ekfjv-aP~oG$h^
zEnOcw53LR}ZcNBuIO~vFmgnyue*DK)UH3ixVNdFH1>=aTI+q#y{!~r99TxL^VMv{G
z{DOBoB}+QgGJ*reT)#F>Kd!c{b}|QFiM|!<ErkbBYS*{*m>5`U+<&Dq>&>={f?3DE
zZ1VhfrNimT&OQ-&vDS>Pnu(`<+j>h^UGAy*@=0=9uvKpLFQ@BrH?Fnxoz9#%F?joz
zN#zQ^PKaELUg%}lwR!#hY2FVTCeLhIZ#-q@Q@QkvfNvqsj`D^`t&-WzVPve)?kgC1
z?WhUMid#qc^y~xuf?2a~*DX0xC>#54$&dB_G7qNzy*Ha<OZHExeUDb2nrXzcHeka>
zP2JTmS$aI(EjqRs>v1t1ud>e;dm3?d!Hr$V*>mDugf|v165h6b&*XjIYb4V5{|Y!?
zr|X>6_rCB?8=KNb2f<6X6DJz!X0MLmNc67TZ}{!p>GTLcL%m*p32}GsgU>IrT66B{
zt_#|;c6v?QX1UB=ix&R3nxgih_{ZC{X9-%lm#=M|{U|H`snhl~(|#-nZphH+zpyNM
z_XES0f3mYTXz3VFNEcpo;I!D`OYfz+8Jzy4MRyfC+`q`q9XTU-Z`7%u%ulRmwB42}
z66`Dz^}FxtS)@MOq-BcP&zR#A#O|!E5WAFJ8+z!Dcx%~;@SVkvw`iJA-ZgX5v(R%)
zACfY7?}<t=yt1rJ+n--0Tj8t5cqT5@b=nr6ly~7bi>EMk@~pXLHD9|t_}D}z^-on(
zZ(s60;<|8>H-8xiuP;Y<l!H&6uGwAPi~Ji+BEOkAFx*_NbSKMY;~9-2HLJ5PmNR`0
z-F)VO?i~I<2d+GpR&Ls~b%Lk>%R>>1(wG3X6%O+^=`3q!+T+?d!>d^1z~pS-LY*CL
z4Q=lG7p=7Ucwq6HeQ_}tPg$h3%_-<V(fG;q%o6@pIj@g4M)#^&$k#PqWa{MT%bBEk
z!J>46_Jx(1cNh#88vcD8JMY*@$CsZzW_$K`tmRJGtH~UEuz0C}(yRsl;zeAqhAk8q
zIl}AHZTM*3rg9}c|Htc;r0ctF3tkq-r*<<w%GYQv$lLz*^uiY_6&G`w8B2ftI>R~9
zEiUfq^wtvAR)I-!;Vx=ncP765y7x<i_cZUaJ2~mabGDq=>R9(_e{QaU#&7lMX{#(u
zvhV(j-gLhBIs25e%MH!fpW@kEIj{7T#gQKA^^r52wp+EVd2&?xL{sVB;0nKzpWMQ0
zgiJpaT@krDX_{Hl)hew$4br92OU~@oFPt}}?)_;s^Y_8d7V|c4eyOlw-P-=<jn@xL
zpY7Rx&e~`5t>)biR=p7^RA4q~lMs=LsM+wLwd8Zm+G7u`%ES)ql&~eZs(n6mM3RyH
z#cPg(EYp79w|#v}Bf95G5AUlD%JWuCk6y#Nw&B366y{W~u1_DbRWv4N2uWYw{3a;j
zfZ(Kbo>=Wq5;;ZhbYrhAJ{!D!jxT%f+W6T*)7h6D{lA~%<H7mHw=!<u%GZ5-?YGJ_
z?&b5|uk*ZddHdbtzg#{)`MPm-Leu2F*((neo1Bp9Hu|>Or>B8w7n9_K^*hRA&+l3H
z{6b)Exc0uaudUN^ucY_->G;$+YKQ)O)o<2S7OgCEuKQ5I+up-{;(xZBU35Jww)u1W
zM9p96Mkl|h)>u5{kgsrUH@wl>Z^yAx>Ja-LIj^0q{QFLySFZW8Z)<l>$=yFe=Y9xE
z1Y8egezk5^N&|~o%2l;lV$}g954l1r%6IAo`5kC+t=yq$q!GJ<?PKe*3rjMXqwgw3
zT<Ki(+xS-oyHk%+UysD{>mMpte45%na~0oS!D3G9JJ)Bv(t7_of=5<y|N5r~7w=ln
zr^<W8SZr;dywKI#cOF$1vQ(!wIj09qo@4zdq+$NiiVisrxtHOr3txY_@!*xn&VvRi
zLBVrPjeBLd-cQWguB)_dQO&hunjVFpj@}Qph~3h>u`wsT?Tp2XL#L8{-4eaG>AdbU
zZ{c*duw^m-<y~?<b@LQoxm7#yAglh>;)$hI2}f+d9W&!n@~pB+Ta@FbD<EmjalidR
zwz&OIg*o#rQiG*-?b{W5u;h?en~d=OpG$u9|I?H&lVz`X`0KTjOMcnavcC#vbQZsM
zoyf-~EdJD)JF-FPNHNbgWgi`$(q%gy9Bq(eoPLQh_+r%@9s@qREQOW5bJub_IN;6n
zUN}MG!<U86k6roMbHF;HyDe8wqbg7?y05BTh&i|D+Yf~sP4)Bd*94tAX}L>=?Z)?2
z`#x=+?XXJb^s2JY69pGU`Q6UgF)x8bxA13f#;nqq-%@Hvl;<COFr)of%V##N`sCk#
z!(9|#yhu~py7|e3+*{Xg&pWWKt)(~S6o=rdUyB*7w_cVkt(-T}saZN#WBuC(XGy`S
zCB3`u%=rH<xZwQX^YecRPqoStIjzW9u=C2-*(wrVOMOn37#Z2W`hR%69N&fGtv7x}
zO!#={Q!$U!zqy~*`t7?~Rnic5EZ_e3%3%4$f8RWvFTZ8~PXReS1<pe&W{B2KSdn1u
zx>c%v;#=8|S58$N?-F|(Z7}uJlPC9$PMz1?_uudGhd)pE=No?hyUZ@D^V14e|B2V$
zMY&a837T;)_Oyom_8<SgwtIgwGubyO%XI$71ydHeE@;i4tmMFRfZ1GRs*K--i>#b(
zyA_JKHtvZR@lKw)bfenkZ{BKiHctQ8t@2SN>%psAztqldkG`k+qA?+`p>WUI={}CT
zI2}Sdk|W+3<?8)u4d!BeV5Zv9#IuCy#srmvTV@$8blmFW86n|0-6-K7M?kAdfrgpn
zXKtm*9xL{5T5zV|3#00Uz$H`nNv}`TalPw#@r2jQ6Z|1j6XT|=d9h7x!ztbA4_CkO
zmvU^p(&6uSXw$>g>5Pf%)x^t_KYQwhbevR{Ivln<MNFf!EkL{IF&|Kc6br!DaK
zY*^hhXL-|&+h>xFvSkFtA9<?otmC%*vh1(Wbyb&ar@S<Bo;GR1$9?|FKlN^%3*H!)
zA*xZc{x@S#&os}!a%sY8VR=(InWj!vJ$Pzc#L9Tn3HJ+L&(?C@6g2sEy5HOtUF_9{
z3<g;jb05jMR?aq6(O50@tD|Al_eZw7dGAd=eY+>KWesnD&!W`_Le~9th}rGZaAobw
z4Ods*ak_da)xdPlnY*lW4;=B7yfO81SaPPf+G#<*_qDl?WKTQuC2X_TfBtMjho9!D
z40aF46UHkgEE=t%Kd7u=urZLmxrHmSvxnDiRZYbm4~x#<$4+gt*cxlvWs<h<N7-4K
zn>&OYk3E~!?*5jk*ZDv~*z8kY|1BQ1+)Lp&>rr97yl9;@>-oa_O_#Ob_A=B2uTd;q
z+NKb^@zqJ6SGzkE+rOQCA~|Q`mA>p<w~DjhX;nVVIqTc)e1)NG#<pc<<_90#+WWWB
zH}rd=fWz*!H4-bt9M4I0KNR;9l&<6E%i~SH^09QErG)YEutpt@u<7sG>!vDkF^8Bx
zy=I}k&FIFQ%_$$fI{y1JxuvF@S90b}W}hMYwOMaZUCHd@k?J`n&*uF}IqG}+;(Pm^
z1AD!n%+)(TX$tS@bOGP!=^-}d4-`c-R=M!ZGCF*8-|Z6B9c5~Thrg{1Y}~q#UtpJ}
zc0$wkdAhtGb1T&i-^EAwg!6rjnKygF{sp`B*H7Hkx^70vZlyi@Rs~)=QRTh9laGhB
zU{l(e)`0n?wx73!nKcw|fA?jzt=|36`J!s`zx`}nnY(vY)P>z_W_DBFs9d<pyT{|+
z`xmPX?j*Q+FPylK_jUA-Oy_h@4mn58gUtN4Pfy66vAyE_VL@fx-6r;eW4rVZZcv|D
z=hmh^=a)patjlXl)3!H08A`%CyPb8WY0K_^QN_zB_o*yLd*159P2VD)ZM@C%`jm$E
z#RuP7dqj%<G~Id-HeG(^*QV#k64pPfZT)GnuK2K9RaS=Drk|BRV?N&5@Lb1N?e>DN
zbBoU=w`hn*@z}f7{V&weyZ1?b>x&s0|28ZzPK=nnb9GGF8vkpW4mEpss<7QW+>&~x
zGniSQrF72!?`cduk7YTVs)U_ggXg~WFcVwrZN7Js%luD~GJ#x|%0Gv$Pd&M;@@1!^
z#EMBSTmNk`Xnb2~HtTS~9Ik!G&+Rl6<rXmw6ZF2_+g7>id+V{vJI|dS+w>PN+`F+a
zF3J1i9S!p{@l1@5Un-sY?%FBZ6JHy2ZoP}<nU1>J8yxq=6?boT{PS#bl6})(vE#10
z{Tmh>;k<C!q;GB7r)lYXWEl<Yo|MTmZV=k){k>sjYRoLw9?Q=Qt4)eUd!-DV<gYSM
z?Am%~mHX!H2I00DOZSEJ2bW!a9MBcV`o!_wD)(Tg1>RpDFdw;Sm%tPKIzxVgc(3>G
zjN2kxF4!3u{%R1JFt5#}FxbK1^2>z{U#?f0>9H>1mNO8U5M0Kpq7mfK@X+*hpu>ie
zrwbbnY}x!R&><s=t2g<vX~KOc<~QmuH56t{iS1)*D!uUXA(zKw^DqsCikT79nJ%fU
zjp6bLaAJIzeazyM@V=S)tSuKZzfL=FW4$+{<M!98PY=#Jp?@s1_iNVm%(K_GEw114
z_S2k%mY|Jt9={p*&n&KSxme1tKI7HJ$=YH;wr^Ix3bH-3M0}O|ZLhB9yV%(dcyc{u
zmM*fJ(!cCn>!(Kdl@t5FHM(z`l>c=x=LwT5{Lx(j_KRd*xd-_C-C%w-!2W?q<MWoq
zbtXso+I~64_rBhc$E3BF@3or7<>2NCqR%%xn;f&>Kilv7(z+7XhetF2mYsQdw}L~n
zuKduI$1kLpaVf+teSNc2XiJejmlF5$qEi2}_awi}ZA??*vHZc6TH&aFT-rLdx?IBX
zhh59DHJ$gXOdj3ar(q*M$LWgElEcpP=FPdPQMqmFi)ls0Ij$m`W+#10VSc&kO6loM
z2Mr#{o?<VQU-oYDtKHlmw~1WlW7WA+>d*U^Yv-MBi~Ihh$nUQ@W4(T%qpm`J^}+V5
zRkK4peOB%CS+?Zotg!n1|GzS{q%(SLKXG`&m%f6xhE`ASM)R~~<tm0cG+EaQN}e`*
zv`DS|>z3OLnpan-yym-W(4Y6XXXg4%k8XVA4qR6)8y8*q*Fo_AT6R@!S=&Fwm1|QN
zPcW}<Use85yJ3c1@O8r_sz17>7Eisjtlors^UwHlUA5x;zjC@CdK0{^dsL}31nhZZ
zl-j%MsppxTqN#V=Pib8Dcz8JW7yp#(H;yOwczwK+$oyRUj1lk2ptZS2m{m463K^~y
zzpS5|klV(2#qHiCNu9NBvO+f8jy|2ImYwvS=HJ@4SIzx_0;AZh?o|aFEuKp3()jKm
z=r^@~L5z>!{hv!(WZ3o}w!BiE!@Fors&!Vk+h!+?Z4ddZSveKc0~ij9+GZ|o*8RZ}
zx=yNDqdrO7ZeHlgOw-#(x#MfT1??-W$koo9evBu+r#D!9LS3u7@}#;)2N|ba*J5nT
zzQN5Q^UA7^<3;hxO+q#gD!=@H6}D2qSmbB;>{TB)=Cznl@cl1e|A)J0y6NQ9yp-aS
zqSVA(uGGAg{G=={GX(<$5N&K?WM%*pG=U1**yx8;7NqJ2B&Mh8`=+L3COYL;C`215
z7${g;7%3PVo5XVI2P77y=9MTID;OvQap?!87U!21C8rkK*yslo<tGQHmPG3ZxVXh~
z>AO~xxCfUcmZU0JfYsXBap^nf=ar=9l@u$O!i1pi0vQK#myL}A*bNF`M-(gQduOH;
zD@1dFoEXFvtDx_kUz%5<V8~@>2Xnn4s_PZ>ofAtEbMn(+Mu3bC;?nm`ElEsCEJ;+b
zM6=o)RX@VrT>Ab2z6yqRc2GBhya92eevmmANLvuX6(CcglHf3eS;wUxT$)q@3e^Z-
zAAO(Hy!4U`1w#{KV>>%&%-Gmh6eK2Rr<N!rrKV@**{Z+ay<c4+GsRXt+|<{=x4=0y
zBh#a*C^fjsFC@7tJJ~Wt-QJGN#y&A6KPgqWBC$X>Ei<PiwWwGjwK&;U$vMc!O$nr+
z!m1*-AUCxnQK2F?C$HG5!d4xu#VW7Z3M8zrt^ih2l5MLV;Txb(lAoWGomrw_q-UvT
zsB37fqmWjVn44OjUzDw2sAr~b$7NHLl4cd;;s!OaC?(BSJ)@+gz)D}gyu4hm+*mKa
zC|%#s($Z4jz)0W7NVg~@O}Dr*uOzWTH?LS(9jY%g0<JBuSP$$bz2y8{{mck`Lp=k1
zm_;tB#mPmP1tppJc?uwl6O-~wOKjCkOEXifl1z<~jgn1Lb<->?lXMLY(~NWt3=9l(
zO-&L_lFUubjZ%^gVAd5NITOXcf|N9ULp@`Cb%lbIG^>E3{FKt<)FNAT_W&OS_l*4F
z5{Uf@mU;$e>iSUcQ_EEqxdqrmp(3#W8VoiSxdm3f`6-!cl`e@Tsdh#NhUU74hPnpE
zA%=!lh6Yv!#@YskRt5$(`e-V-z*?P)QWHy3iP4Ir5=m=*QAmD%j-5+pqC%O0o~5~-
zF~lOUYN(`*J}7FC0)^Valvv>Fi$9=pb3rK?q|VAEKe;qFHLt|eg_Lwc?Wj#jhC8^R
zv?vFhDN>U4Q*%;5ZY$O|)HBpqS4c^=O3N?GO)RlhPb?_N$xKcJrF8v*lr(iao0Md$
zlFX8vR6B5%bId7$Fmf_MS;#6UF)!U#y+Su7H7&6;r$pT@Ei=8eD79F>I5oMnD6^z8
zxTG{KO+PO`FFDmYKes?HB{LBcQ8}4*5C+&teS|eB$yUjr<dR<mu_-vU5W>jGv`Z`~
zE6U8tNrmWy8v#}VG6Jp<OIiR61-ZD{aoOlszzQTgE(Iz9>KTM6g;VoVY}Ly_Wh_SR
zX@saMV8w+7w$ehAOCOv`GV}95*-yj83Y2#Z4GoM94Gj&z*;d`aKwXnd-#0&nfQk@M
zI?x~@hGCZG7il16Sxqi|$I_CF{2~olG-|>tw2GqCG%f=LLjx{Q;R(SCW~QdbrV42a
z5HVvDQ&Tequ#`d`Ow7#C(h^<F#Kh7ZL(JF=U9W+GfuSj;IulGWGa~~Gb!KLUm|~Vl
z>Pm_dGjmdlxIoQ_;LNI21w#V`{h<8(5(Q8zAxJ^rGcPS)0ThivT>73a3eh$Oj+O=%
zrUu3?7N(9C#!hCI21YI}#^xr@7UqVAhDJ_ygjK|X8Y9IeiA5#g05vu<F)-s&Rdw}u
G;{pJva0FZc
--
GitLab