From 691ecb2241bd6c5eeaebd17a6cc5704f2683a65c Mon Sep 17 00:00:00 2001 From: kl-i Date: Wed, 15 Sep 2021 16:50:44 +0100 Subject: [PATCH] Added Quest0Part1.md --- 1FundamentalGroup/Quest0.agda | 69 +------------- 1FundamentalGroup/Quest0.md | 29 ------ 1FundamentalGroup/Quest0Part0.md | 88 +++++++++++++++++ 1FundamentalGroup/Quest0Part1.md | 89 ++++++++++++++++++ .../Quest0SideQuests/SideQuest0.agda | 26 +++++ Installation/Mac.md | 11 +++ .../2.6.3/agda/1FundamentalGroup/Quest0.agdai | Bin 0 -> 54066 bytes .../Quest0SideQuests/SideQuest0.agdai | Bin 0 -> 36417 bytes 8 files changed, 218 insertions(+), 94 deletions(-) delete mode 100644 1FundamentalGroup/Quest0.md create mode 100644 1FundamentalGroup/Quest0Part0.md create mode 100644 1FundamentalGroup/Quest0Part1.md create mode 100644 1FundamentalGroup/Quest0SideQuests/SideQuest0.agda create mode 100644 _build/2.6.3/agda/1FundamentalGroup/Quest0.agdai create mode 100644 _build/2.6.3/agda/1FundamentalGroup/Quest0SideQuests/SideQuest0.agdai diff --git a/1FundamentalGroup/Quest0.agda b/1FundamentalGroup/Quest0.agda index 2fdf1a9..fd12ba5 100644 --- a/1FundamentalGroup/Quest0.agda +++ b/1FundamentalGroup/Quest0.agda @@ -4,7 +4,7 @@ open import Cubical.Data.Empty open import Cubical.Data.Unit renaming ( Unit to ⊤ ) open import Cubical.Data.Bool open import Cubical.Foundations.Prelude -open import Cubical.Foundations.Isomorphism +open import Cubical.Foundations.Isomorphism renaming ( Iso to _≅_ ) open import Cubical.Foundations.Path private @@ -15,68 +15,8 @@ data S¹ : Type where base : S¹ loop : base ≡ base --- if you don't know how to input a character --- go to evil-mode, put your cursor on the character --- and do `SPC h '` - -¬ : Type u → Type u -¬ A = A → ⊥ - -_≢_ : {A : Type u} → (x y : A) → Type u -x ≢ y = ¬ (x ≡ y) - -_≅_ = Iso - -{- Bool - -data Bool : Type where - true : Bool - false : Bool - -The above definition for the Booleans -can be interpreted as - -- a construction with only two recipes - `true` and `false` -- a space with two points `true` and `false`. - This space is discrete in the sense that - we haven't specified any paths. - -Our goal is to show - - refl ≢ loop (input \nequiv) - -that there is path (aka homotopy) from `refl` to `loop`. -To do so we must assume there is such a path and derive -a contradiction. -The contradiction we will try to reach is that `true ≡ false`. -Indeed it does not hold: - --} - - -{- transport - -To follow a point in `a : A` along a path `p : A ≡ B` -we use - - transport : {A B : Type u} → A ≡ B → A → B - -Why do we propify? Discuss. - --} - -true≢false' : true ≢ false -true≢false' h = transport ⊤≡⊥ tt where - - propify : Bool → Type - propify false = ⊥ - propify true = ⊤ - - ⊤≡⊥ : ⊤ ≡ ⊥ - ⊤≡⊥ = cong propify h - - +Refl : base ≡ base +Refl = λ i → base Flip : Bool → Bool Flip false = true @@ -157,7 +97,6 @@ with the fiber we set for `base`, which is `Bool`. doubleCover : S¹ → Type doubleCover base = Bool doubleCover (loop i) = flipPath i - {- subst Given a bundle `B : A → Type u` @@ -205,5 +144,5 @@ by -} -refl≢loop : refl ≢ loop +refl≢loop : refl ≡ loop → ⊥ refl≢loop p = true≢false (cong SubstTrue p) diff --git a/1FundamentalGroup/Quest0.md b/1FundamentalGroup/Quest0.md deleted file mode 100644 index 36f5a69..0000000 --- a/1FundamentalGroup/Quest0.md +++ /dev/null @@ -1,29 +0,0 @@ -Whoa very cool -======================= - -In this series of quests we will prove that the fundamental group -of `S¹` is `ℤ`. -In fact, our strategy will also show that the higher homotopy groups of -`S¹` are all trivial. -We begin by formalising the problem statement. - - - -## The Circle - -A contruction of 'the circle' is : - -- a point -- an edge from that point to itself - -Here is our definition of the circle in `agda`. - -```agda -data S¹ : Type where - base : S¹ - loop : base ≡ base -``` - -The `base \== base` is the _space of paths from `base` to `base`_. -An "edge" is the same as a path. - diff --git a/1FundamentalGroup/Quest0Part0.md b/1FundamentalGroup/Quest0Part0.md new file mode 100644 index 0000000..65138a9 --- /dev/null +++ b/1FundamentalGroup/Quest0Part0.md @@ -0,0 +1,88 @@ +The Circle +======================= + +In this series of quests we will prove that the fundamental group +of `S¹` is `ℤ`. +In fact, our strategy will also show that the higher homotopy groups of +`S¹` are all trivial. +We begin by formalising the problem statement. + +A contruction of 'the circle' is : + +- a point +- an edge from that point to itself + +Here is our definition of the circle in `agda`. + +```agda +data S¹ : Type where + base : S¹ + loop : base ≡ base +``` + +The `base ≡ base` is the _space of paths from `base` to `base`_. +The definition asserts that there is a point called `loop` +in `base ≡ base`, i.e. a path from `base` to itself. + +An "edge" is the same as a path. +There are other paths in `S¹`, +for example the _constant path at `base`_. +In `1FundamentalGroup/Quest0.agda` locate `Refl : base ≡ base`, +we will guide you through defining it. +We are about to construct a path `Refl : base ≡ base` +(read path `Refl` from `base` to `base`) +The _hole_ `{ }0` is where you describe the path. +We will fill the hole `{ }0`. + +- enter `C-c C-l` (this means `Ctrl-c Ctrl-l`). + Whenever you do this, `agda` will check the document is written correctly. + This will open the `*Agda Information*` window looking like + + ``` + ?0 : base ≡ base + ?1 : (something) + ?2 : (something) + ... + ``` + + This says you have some unfilled __holes_. +- navigate to the hole `{ }0` using `C-c C-f` (forward) or `C-c C-b` (backward) +- enter `C-c C-r`. The `r` stands for _refine_. + Whenever you do this whilst having your cursor in a hole, + Agda will try to help you. +- you should now see `λ i → { }1`. + This is `agda` suggesting that for each + `i : I` (if you like you can think of this as a generic point + on the the unit interval `I`) + you give a point in between the start and end of the path. + This is all you need to specify a path in `agda`. +- navigate to that new hole +- enter `C-c C-,` (this means `Ctrl-c Ctrl-comma`). + Whenever you make this command whilst having your cursor in a hole, + `agda` will check the _goal_, i.e. what kind of thing you need to stick in. +- the goal (`*Agda information*` window) should look like + +``` + Goal: S¹ + ————————————————————————— + i : I + ———— Constraints —————————————— +... +``` + you see that `agda` knows you have a generic point + `i : I` on the unit interval. + All the constraints are saying that when you look + at `i = 0` and `i = 1`, whatever you give in between must + match up with the end points of the path, + namely `base` and `base` +- write `base` in the hole, since this is the constant path +- press `C-c C-SPC` to fill the hole with `base`. + In general when you have some text (and your cursor) in a hole, + doing `C-c C-SPC` will tell `agda` to replace the hole with that text. + `agda` will give you an error if it can't make sense of your text. +- the number of holes in the `*Agda Information*` + window should have gone down by one, + this means `agda` has accepted what you filled this hole with. +- if you want to play around with this you can start again + by replacing what you wrote with `?` and doing + `C-c C-l` diff --git a/1FundamentalGroup/Quest0Part1.md b/1FundamentalGroup/Quest0Part1.md new file mode 100644 index 0000000..b2665bb --- /dev/null +++ b/1FundamentalGroup/Quest0Part1.md @@ -0,0 +1,89 @@ +# `refl ≡ loop` is empty + +To get a better feel of `S¹`, we show that the space + +``` +refl ≡ loop +``` + +is empty. + +First, we define the empty space and what it means for a space to be empty. +Here is what this looks like in `agda` : + +```agda +data ⊥ : Type where +``` + +This says "the empty space is a space with no points in it". + +Here are two candidate definitions for a space `A` to be empty : + +- there is a point `f : A → ⊥` +- there is a path `p : A ≡ ⊥` in the space of spaces `Type` +- there is an isomorphism `i : A ≅ ⊥` of spaces + +These turn out to be 'the same', +however for our present purposes we will use the first definition. +So our goal now is to produce a point of + +```agda +( refl ≡ loop ) → ⊥ +``` + +The authors of this series have thought long and hard +about how one would come up with the following argument. +Unfortunately, sometimes mathematics is in need of a new trick +and this was one of them. + +> The trick is to create a map from `refl ≡ loop` to `true ≡ false` by +> constructing a non-trivial `Bool`-bundle over the circle, +> hence obtaining a map `( refl ≡ loop ) → ⊥`. + +To elaborate : +`Bool` here refers to the discrete space with two points `true, false`. +We will create a map `doubleCover : S¹ → Type` that sends +`base` to `Bool` and the path `loop` to a non-trivial path `flipPath : Bool ≡ Bool` +in the space of spaces. +(Insert gif of double cover.) +Viewing the picture vertically, +for each point `x : S¹`, +we call `doubleCover x` the _fiber of `doubleCover` over `x`_. +All the fibers look like `Bool`, hence our choice of the name _`Bool`-bundle_. + +Let's assume for the moment that we have `flipPath` already and +define `doubleCover`. + +- Navigate to the definition of `doubleCover` and make sure + you have loaded the file with `C-c C-l`. + ```agda + doubleCover : S¹ → Type + doubleCover x = ? + ``` +- Navigate your cursor to the hole, + write `x` and do `C-c C-c`. + You should now see two new holes : + + ```agda + doubleCover : S¹ → Type + doubleCover base = {!!} + doubleCover (loop i) = {!!} + ``` + + The meaning is as follows : + the circle is made from a point `base` together with an edge `loop`, + so a map out of it to a space is the same as choosing + a point and an edge to map `base` and `loop` to respectively. + Since `loop` is a path from `base` to itself, + its image must also be a path from the image of `base` to itself. +- Use `C-c C-f` and/or `C-c C-b` to navigate to the first hole. + We want to map `base` to `Bool` so + fill the hole with `Bool` using `C-c C-SPC`. +- Navigate to the second hole. + Here `loop i` is a generic point in the path `loop`, + where `i : I` is a generic point of the 'unit interval'. + We want to map `loop` to `flipPath`, + so `loop i` should map to a generic point in the path `flipPath`. + Try filling the hole. + +Defining `flipPath` is quite involved and we will do so in the next quest! diff --git a/1FundamentalGroup/Quest0SideQuests/SideQuest0.agda b/1FundamentalGroup/Quest0SideQuests/SideQuest0.agda new file mode 100644 index 0000000..fac13ea --- /dev/null +++ b/1FundamentalGroup/Quest0SideQuests/SideQuest0.agda @@ -0,0 +1,26 @@ +module 1FundamentalGroup.Quest0SideQuests.SideQuest0 where + +open import Cubical.Data.Empty +open import Cubical.Data.Unit renaming ( Unit to ⊤ ) +open import Cubical.Data.Bool +open import Cubical.Foundations.Prelude + +true≢false' : true ≡ false → ⊥ +true≢false' h = transport ⊤≡⊥ tt where + + propify : Bool → Type + propify false = ⊥ + propify true = ⊤ + + ⊤≡⊥ : ⊤ ≡ ⊥ + ⊤≡⊥ = cong propify h +{- transport + +To follow a point in `a : A` along a path `p : A ≡ B` +we use + + transport : {A B : Type u} → A ≡ B → A → B + +Why do we propify? Discuss. + +-} diff --git a/Installation/Mac.md b/Installation/Mac.md index 917b9db..b328fa6 100644 --- a/Installation/Mac.md +++ b/Installation/Mac.md @@ -6,6 +6,9 @@ Installing TheHoTTGame on MacOS `brew link --overwrite git` `rm -r .emacs.d` +`export PATH="/usr/local/bin:$PATH"` +in `.bash_profile` (if old) + ``` # required dependencies brew install git ripgrep @@ -28,4 +31,12 @@ brew install emacs-mac --with-modules --with-emacs-sexy-icon --with-no-title-bar # Make an app link in Applications ln -s /usr/local/opt/emacs-mac/Emacs.app /Applications/Emacs.app + +# doom emacs +git clone https://github.com/hlissner/doom-emacs ~/.emacs.d +~/.emacs.d/bin/doom install + +# so that you can use 'doom' anywhere +export PATH=”$HOME/.emacs.d/bin:$PATH” + ``` diff --git a/_build/2.6.3/agda/1FundamentalGroup/Quest0.agdai b/_build/2.6.3/agda/1FundamentalGroup/Quest0.agdai new file mode 100644 index 0000000000000000000000000000000000000000..99fa6817216af6e1a6b58af3b86823c404ffb682 GIT binary patch literal 54066 zcmXVY30xEB^ZvV=lMo;rLbz9rf)ym-0V2oZMJOl{zE$c)0IOg{yg&tk1qDSBB3@WU zBA~**tw0-Zg(wufiI^(I0~D+njVGYS2L7}0*L*%r%5LVJcjlRA=AGH}z|L)L$yw8W zvAun^EO{W|ErNgercWok?&8uP5!0G^#Y8ct_YtT2#c)Q~`sEkyMVw7K@zaHg_x$(U z?!Tc7o3>Ll>ewH41s4AVd5->h)Rr*^g-;h=crmH;`{>y_q(AQ5w#t54*!70NK#S;u zDEc6d925c)u@b5245k`6OZ$Wf7b1U!+MCG~bJSQ~(Nqde!8ee{5+)GTX3E@s!zw0M z7No#<)^GuvM8>%g)EvxA+94FEmQ!r^TO4McP>u3f6gq?8vNeeoVGath30L+r$*`Hi zV%FKfxapnYd8POkpCQ&h(v>{?7g$7w0;5~-N?cPHb6^&!wMA&PK#Jqx}G{rykWIfY}G6TgrClLv#jhO0Q1zrKO6O3@4VzX8-eO6{moTdf1*$k6Qspq z2XNfafxbM4zMKGyN0&00Yxs)F1m0eHt@rddBH|a3s1<`X#0B(sIrMj@d9avkaC!|> z3=3e(wc0yx7KM(Q(CUq%zsjT6*j2|DsFJAsqH(Vg zw|gr6)z{Q+xv}+|OEl7d|A6Bd9;& zw()fn!Lsjs$QiA?01$i=_A|b2JV7l0JI|N-lBgD+wBa|^8wxFD(6Y|M2M+xq5QMtW zLM=GVH4|V{tU)kCknsb~e8&cfPc|_L$`=F;wgge=2|ux~!|^MQZyFE#2oA6U+b`zA z-)!g)O!~uk47+3vGK0+#^W6k8v~|c2!Np4)&^g##l|!Kk*oFHGO+Xg$#z>_ z-CA#cgl&_?*q}1$E4ApOUQ{I56PtpAko#hD?uqvyBtrju9Wk|Xb;G)mig$5jox=je zbC!N~S5%^R-X!NpVbNbyx8bv&;++X8-W`eaut{jK33oXrMZ#yJORw;Q@+?~@gmdqA z^T;@!^fUMxz55ZqxwB{t)!lQ>L3)lYi0E0U5|pv#M;ra9k1$LUcH}HC}vMuocHS881l{Vf0yRW&3bpt3v&qC=G8Nn zq z4_mCIpKXcKmb2K5NBQ=*x~B=__@MTDGLEHqw}cGEx-%&AbDZ^cp2X*|4HoW?SYRQB zO0cne?xOM@t{zjm3vB=3oU3#b0t*&XBZnwZI|K~F{CSP5f^iyOU++nrbIrzV zhIpW>uS$^JQg+TdyOo&TUrjX>RFWRmxX*`lxe-~&o#Hb0Sv!Y{)_Q$VzZK2eeP(b387g|uV+J)o;ZN#YYu4c z!^?*T!^-HDrYols>n$!B?A^N3?uMh?ojW@7J8jii$`$kxbAA`Z2kfuRSji#hO~Z4O zRZ>D8h5blof+a$lJZ269Hi zsIT+J*X-Bi&^XXE)nwLeMdx)TD+1O$$a&y}OxBaCT}=X-6=*Anh%RREYbw3B+G~YI zEL2w_=Q{Hlt4z5ALahl^QN&>0(^$i%-k-DH7}c6UBRABU<^CFT*IuWJaK%xaJHXUR z$$611xbq&Gp=D}k!b?P(SsSAb)7-<(|Lf{z7;HU!X^SISS)`bI;wUD3HvaR7ziV{W zGpbkM>)t(oHE8G^$o`S#uC<{R9U<+&rJ6r6XBHUt9$Qqw+aj62vd-DO}4InN8h zVy2+hB<*?4`kH%2=O3HPvN^-F8Hk7Yldi!1WsWvy;0r;iwuftK@sOpK;2N^t8B0}7O@3pH)%HL72IIPSpQS)o{g6LX|kE$Qw2-mzq=i|;s1`Z5Z zEdDr(oL9?X{#vsh<$2RS`-t+QG3PZd`7|T?#_!0Zq$vsj$iQr}`UlNnFvnu;7I@t@ z5`^>x+L>llz*>1eDw4F z;L8lD#tU6pxsst^EX~1y!Mn4K6cRhHk!_ReMeCLVx*Y@#8Cdkq5@x`jt~7_}C#Sk9 zs)NBKp^q(uQH`w&e>?6%t5H|fi2#0a)N@MuX8XTpXY}&ps{by$< zN<_;{6bv1I)voiDxza9f5mds5MulUu4q(&$e>4}CcwWE1?B_qsfN0s8x7EQ>*`u$W zfhri=wkk3iZBSgce0U7=S5Ih3i$UCf_WTBmnh4sj-=RkSle22>6t|0zw1{QXK8VRZ zzhh?CR-;66%E*fhcIlXl@j?GE&@2~o?mtIfo45x!NSCDmr^rL0V&w_`@H&mDbFRGX zV6ggB-K$>buqb(G$$o0oSH^VzsYopPx+n8mP%lZN&t@tYf@G@DdYKi-V{!l4?u5HL z@!Z$ZMbWi5s3y(1Q**(2s_u~2dH4p|JKxuNBZ*%3b(0j=641!909&yrw4~|!)84f- zgN$3pmr*~i^B8+ggmwnF2-f*+#uaOXifh(%%olN(VmrY)oYpTQ&YP#sdA;o~I4FFu zSvN{?EgA!HW@1s~*vL_lqul5Ss=9U$W85m)>m4!{llIzEa<@GzaNc&t&LcSBcHMUb zwH}RZJ23_Mi(hPU+6MaFndQg*h>dI;)5fsb97I&@wL|&6Q+p?^bJ#o*95H?85p$vJ zz>ypi9}{Yn7ryPt?4^8nC(QkW6>Y#j;b6evZnmct%$k%o8{8AAx>IVw-8^+OOL1*H zXn4d-STa1)YmC>J+N*$U$({wYM{2Jy4>8F-5Af+rzhBC6cQSGRkWLF+52ZK8omxy= z@Lj;`?V#Z%%fTj`y!PD(Ho3Qa127nIwpS(8u{z> z?bxhSXxoMlmMZy{9gF8qaC803xZ`3Bc0BQ$f@{fZ&wH(@tB|gP=%Qxb7=k*BO`ok{ zlbnAisN&q|x4+^_ncEi6x{r2laRB{Rpcy`6|6F!pi!H?P$XWMs5Vs&9Hv(5&n@q`n zT<58H7enrOMYF(t3UfZ)`PPX(*^-1EDkX6{`C zRM7w)UUc2}n(wuZMy}{hqa9*yq=hdNh+fCu4C<;kHLA<#5L1ClMD%W__q%TN89pjQEc!5w+|vaFKk5@W*SB}+IhY_z8+j(Xj zxFgXNV`xn^3#u1Yzm>U&g`}m1Kr^)L(ZK;Z66YlAqXGX{*iy|Ht zp0Q6hqI%KHhYmnp$-L@|pxbduJ*Co<;ZYGZ!?17F?7>mRV_WyE*fa6^aEa;lNnb=? zoX#J56qXe>G}AP>NFfgPInpQ79Cu1+s$_m=USk0oX?E3F(0q}eC>KOV_c_Z(VGbs7y|rb`Q?b z3))@S#tQ9T8jJt#r^2L*7|Qj!m&WN;4Xgi7U+WV-0+=g zPP7{%nEr_P`3rf~$mg1_wg0ukLrp{=3?aq4TN#Ky< zWlRKjI14)8EB9h~J+Sy#T3j2x?ZVbGZVJX~l@oxBa`fhW#EzBC&X}S|Y@-c))Ku6$ z_juX#X?cSIbQVkV(0zf_o#cfOd3Pz7tF!5RNvV&9Ok)T-!<2T&K{t!c@FvJ<*6Qj7 zcb87T%oZ!0!!vN5hicfG=}MKW6Bw%CwvU+&T^GMTIDP7vY1tcxg(bb49RIyOcc%ZM zv^2Mq>TzT2)=j@V-LQYCvHXDaN0T`xM;@~O@w&$=v$tQrL||bV-|2Q!st}5;^kpan zNO=}H$iDv#@6~;MozeSt>Bmn{;t$RzpRMZLL#dWhxb{Vdr76bJ)Ygxl!Vu|n%1RV6 z%|WjGTe%Ujb;->R@n*WRQW;OOSTfB@N*XMu#d{M;p?B}2+`-jk`}})FEPkhV^TK#f zonM5QC7N*3*@U}_&FwUyrX%$eQ+LIiD@7f)a^+;@CoK02eE3_r7i|SE%seoDw4 zr?~rMR)&R+L5U8w7crR!5O0mItt^4WhPJUf_;O{c(t?qj#v_tkD>9jKdLf8}x=9e(G4$&2|vsd)#ne|lZ?*IP})p8mgWi%t2unZF~`)!m+9ATX|#`f;aY&T`a09GiPuX zscv9OI)75$#KJBz(bmDuoqs8JB`r{&YPOM|+dKFZ*=C;4&+Fb_yBj1?KDMS{+_iWu@^=c%#bK)_Vd&yc#PPiKH!L*S-lzE>4ITw|OQOHGmxpF|c2o!O?1%?XK$Lb&cE|*;>I{0d?~S!Gf7cq3P8S>l#MoY4k#~r&-gkT zVCP1*pQ<$23;dX3YS2?*7?Jn@@i6itN8aqIbi`PNi|Sl)sp>N}*aRyL&Hc(D5{H@e zO0iVPS4Z8_&dbW-tnt*4HRLJe_sKwtW zQzj><=I8(8h$a`GvlUn8HLr`GdfF21Eb-f~rK}zTg?GVaRwJ9M{2XEDhI?qJ$3*8q83H(@@9!n@91O; zn%9xfqO=&*>@h%+RyPaUkk!Gca8&T47Pvr@2GC9p_hfDOfAc=I@=xm=Pq;9++Ip($_meIh$;w#7Uzxqqb)~EJy~Y}drM_e# z2Jz{P$~q6Gk6K>MKmyHP6sDUIXfN0l1dDt}FLDp%m?x5f3_E1CBN__}wDv{3j{olZ zSzzw6k8a%od@`!7;;0!{D8Pruv*FBC_cU^i4eTX9xM`j{8Rd0y zDaO_Ar}wgyCD9&7LQR}zSB+hC?TMvZ#}NhlH9uoz>ElxUzU|``3cFmI9;m?HkD)=A zKAONbVkPMlX(L^AeHsHk$lKT*vw@5XmHvuCE{}i!*6g7|F6X6N4~*3&)BGGi=Cp&_ zJM^;iL=A?xT2LaTqKM603gyvd>*|e0%`YMoKNq>iA)ck6zFh1UfZQ(`&jhzPqEwGm zC!+cjDmio1-$h)#F}hXSDs_|P8gx5O68xnRa2Y5vKaJF1f`rr zGE*MIx)xlPdSgN4RNX)qi#ae7Qp`$c1?A`9m@ra7#cbVOZ%@=jR~MsPy*rWgYYmj| z199Go!R=r;;JC!{U z_AS%g$9OwZJA~m_SXo#ZU}rJpqv$`WkW7a^OOFR_h3K1IHal~tzlFSazs8^J9z)SR zC!G3)VIzpWIyMG(Cr&kwjREX_pJ^`8v&56p2O0jUJ_DOqNtR%g;uHV|)83@m%P<-&3$QTV z?B5y8rEISDJ0R@p6vW$cv2GlsxgEi>Xb+ZXV2*YXrD!mdbgtAos1yxzm&}1z_!6*v z&BvNosLcP+1s6vs5{YU@6qdRBf~CNZucj7SKnjv}u|zUgGRn7yO?E%06suXVJ-v&9 zqBeK9O36vLni8D)0*wVKD2@(h^0l_wDewxVG4m+QAOy@9n5Kyf;&@!`Nvdjf z#T&$23iviS(FrsQlc>_Dsy8$t4gT~x580?2@-IuNs;oH%wm_4Dg+1J>ca}*TE3(22 zB^OM=m0_M0Sr&bzm2bWgfdP|iylR4R2lWt-);OEpTRf%ftI4Yg`s)i&h+%}>@9+hV zlq!#BLml#Y%yJmM)iln_<}e2=Xnzia%1ddS=?g!~mvKwx4R=LDmwmw1co&PW z4T|@yKcEl(hK)CvO}EP}*)%e0_=FqLX9jggKh95=+5XvI1i%o@Jx<@@T6)Ets&dN= zBKk~G*rGY*7+)Vicj{AU?yeX*SQOOfh+Bb5FCFK7LbxN&+tE`u&H-?Z9gasO4dXH= zl4?7wq`@R}y-JZ1VaU^)W}0>`0gi8wH;f_Pxk9ax6%4R>xrk8`Gb5ItNOrLSH80xV zS^%Au4I#+&kzKrr{T!U=dx)37_f3d*P>}1>$cqBn2VSg6s?6r^NPMj?@p77AJYuc7 z?0RZ85S#w}IfsuZtgB#1MyfZmAz^3Qk?m(WD#cq#?CjXtUHcmxVXyPsH*z-U2m80n z^8FDC>0-$Hf9l_k~@ShkJk}Wbk?caXyQ{~%YnlAc78U6;#{?>1cWqS}WElviT z3pPzwU`{h-{*!TZ z7|iNF$?*TTuT5o4Ex`h~yS?0mdx@>4hCJwq9$H1>$pD1%88jCsj2&>;lZU@V#Akjlxbj5MN{>r-ZPvLrD){J`?tRI0?sr|B(ulS^p} zkx(?`e@n_iL|-jOWDx5eQBD&Ul5GvN(C^DA3D~=k!@XoK=>LJPCA)a;M0VltbxbMw zBte-PZ)RynpXYSDcyYOeAHr2lIvf7VTY;*}(=IdZVXz z3|W$`PKL_TV+Syz&y^uE82Y2J9AA_>w3fzHITA^W*&+j<&N+_{T5gA$=5>ShT0ei{ z<%+v)Y^Gr^ZNO}vxNk*!-$q=`3u>UBGya-S5k011vd7O_G>LBTKnB;b3uo_lxn(L zKSqISXSB|zs=CNV*vnf~k`sNMq|pp2HT@?ntZT&B`@F#s7>Tx-_lp&c7G3kI3ATHmGjZe4*C$Go1n_FU#q-9GBPKuWU zpSN`&vGA|b*3#Av0c56G0sH-S`0c9~$jK+>l9rZc9*Ko>>P>*okAK`TM@lVQb)$nX zD4Yd|T(QbrSU5*`UD9GpQ$@?{LQm`plsc+&uE;?>cf~5RzS4wMdG;;wh?(F>`jkMi z(k&syE?lr?!XgsiY)9Bzi~`z-NyqEQ&`Z1>eWn?S62`&v0K$h1sI=-CGVz%Nk2sIG z*E;~9%T_gan5ey5H;I?SF-%ZchFy=j+QAZRawLQoF&?JsaF&xpe0gEuju8}oAn0Js zHnzL$<;Q|qr52KwqlMeC+6N_&hu<>8-XbnwTfHwGO!byMmcVl@>u!l{8HBKy zDe4(n7>eP)Vplpi;Hs7euXEg4Pl}IPNLIS^u&673HV23g6D-za5|MY*A#9=te9On97f4|tCsQDl}#gvn$3mKL+=^UoY|aN z_y8(jg|IE*(vJ7*T7Je%IxuB4eX9Hq8HLexaR6W?NpdUhB3!d}37PgI*s zW#Xl6e)6?M50?()o;5As!CCCO8CDQ(ABtQ3S$Gz65YJ~Qu+yGBI@%+Pyqo-Z=!&0% zypUo47BP!(X3r9!4RI0H8#??}sjJOu`z0J*+2l*CozfFSVyW34SEiHL0O4_EIkoK4 z_O$_o&<(2gU*0cO$(%xe8+l(mw;2Nd+4Por3SYUxwVradz zBtR)6+u|T6y-1%sV<0Xz^^PtW@9ip8js7&|RC7MHY)k%H7ee@gj*Ry|s${o(?!+Bw zI)~_z^0#HTfEk3=9tv}nji7KGVgEuL1lf}zDBMNMUCfsdg8+=EN61~acVo8*PBwFj zn!@P7_^Hqf<-VT<=e>k2CSqavip5vYZCg8)#?(fiQ@~-~r<(b???Bg^)Uw4_Kl6yh zSC9^5Tg>E|GB`G1r#Wd&2cT1C*?7NNw(^hY-n+9`u>Gt@I0Rnm9Vf(Wv zckOtiSdOspu<(`rEBmv?^5>&HH2H6NuWrq!d9lR;U5{z|Jd(KXN;hr9DN|jF5xltu zxH!uT%f(qdZi_S3J8Y6`P2Ie?8B?{r-T35VcGsui@QHKgj0=zY@kWE~WBtCi)_w9! zt3UFt+5X}7$1>0Gl0Wv}nCccj>z`9{&wP(hR%b=wlm6L1=FP{5qMy$3#Nz*Ke4mcZ zFHb095r-DvUNc#?)4s_|>~r1)U0GvBthH|P!g8QudHR6LMY7Lk#Pzm$Lwt9twjzP& zPNh^NFhxyog{K(Irun4LlGZhWGTCR(rqlcfKL5F__dwS-m^Hbg=v%^}9X~{*m{79M z)`b13pFU3{);JNuA)Y%Ie?y`+vU=MT$1yTMH?N&cAp z!-&z;WxrZ>F6U`iX#yr0Wk19yjh~&jC(at>I#A2b<@`daenuglpr&FjW)e}1M5nE8 zQuw1<%ix*Nd~9^y;TrEu)Rg(-xfgiyh%-{)g_V`&nw$%4P&91SiBqfy@58xu3IbI>#H>mi;LNkT*++rC9t~eyfNW%4yLODPH5xPG8PXg>vmdl;gDH=0Z=#~Ot^wxA^%u{$x}+1!(&1iAixN;??Qz zYzmkHXE2c#3Zo!tP6mxIDm#!wja#lcnXs&b38G9S+NYWo(D`LD z2Y#d>A#1dxbx5`EnHEqX(ECd=LxVQp6t|9|}(XZ0}S>x60 zWJ+3v1+r-yjQVB+J4Ojy3r9JSTl7(62$IIKC9-vZ%39(8#_D)w+WZtwB7=I~TEFk$ zj};9L0!!eFD?XD@&v8J>goM+$Qq1<$wfGZ6y0zXTE2HLXF zEf`DUdv8KxVPZYsU3D~alnWg4Wo@GiLXTl3`uW<2C?so8*GwJ2aHJ{=DuxI@^c91mB{q@&5E`7+& z(!PY-Fd7UT#2A>QtL6?IB8*?nRp+n0JlyyF+C5ZTl2I zp+K`96!T=PA6o zC?*dgp)5L>#f8@1vUMH<;0}Xm?Wnb*2By<{n{eW&sXO^P_lJ%Va!uqsFPsUFOZiMa zp#Kr>bC z43h>vYP{gsw=aDHQD-Yf2P@(j3e=F3zZ<$KyY;E0v=M_=p(X`qYZuh4h;BQPWl96i zz#H%(rEP4{or)}IaTjPjDN#{nmYo>WenMhw?20HaP6Ty5N%NL*qI6#4?jJO+&?*Xs zfLWz2MmdmG^o=wyhlKLpkM7YVb|Rw(L8#x$T#MjTG_+4Yk(3Tw$Rpm&zHB9y)+&a! z>8-Ut(A;^0t!=}iZ&fcysCo^jn<41wmP>0f<`W3IS_GkKm`tqoZhB9t03`-bn*JIY zHpGE?_Cqj>#Z`w@7831z?Erk$Mb3AN9!A3I2T`?^OG6E#|BXQ&=Y}(%`Ownd{dVy)MfE&HQFm6LE%}K7alu~}?4`pu9;F)8vAQI8_ zH9nr;ZCB0VYTvt7V7cq>%sZJ7RP*b8dCEu3WS&IZmBb*{2EF$tpLr}~L{Rq&%JCDW zmJ4K6yP^3HwVIuJK4UETs@ETwc-@HEoeSY>j-=Isd-pN=&t;IHt_9ZTpYcSwXE1s1 z?9Mbw6-FtNnKn$6%z+Ng6e7vD=_d+b^(n+d0B^ocP-TZbJe0N`CMuX@EX-L&2f<~ZQov$vk}it z1 z1R}QX_=&{spK3J$&bt4^!A%xOBppuVV7X~xnppywVzo=eqGP|S&9Bg0csR*|&ai>} z(Lb?JNQNJgG+sFa%lQPe9|^sAnqntYRe||2Y#Z6_^h;KdWqw)m?)%?hfVox){Nv1) zj9rvi%;76r+g;{lOwz6SMp%PP@N1{FF~cg|u#&;VPD@HPj#31&Aaf~C;#NDDBHc?m zbN`%8(QU7o46`TO24JnNgAt_qD2tXGim^NQC{Nx!3Zq~e#T^kD=D=9G#KL_e5L0&^ z?%q8ZKz3iI6qgY#7rGG_rUAQ>*}g?|@@i|gjNwQ+cO}6AMHfRC0~zCFipx9F_&QZK-GC8w{jm`^y|&WCie z&EOC@=S)F{HIziFG8~WOgW!jk*Eq~3+hI=YOC-LDUq(X&0hl;R6Upukv`kxy`D`889yHg3!K-V! zb5002Fwb}zzY2zqZb{{UZ8*jJGyNhGtAj$O6{orAjO1Q_XfTP!!3r^5X(@NXbhkLo zn@BV@>dBE1PoNiXM?>~Zm&FSJLC28b$aVmM!B-bfDVE?g2x8fMrB{1Uw8E~s?@9G39LhM|3jo5z&JoJ-i3^N!s|+}BW15+cubc9-f}0~S2xcG5(pH8LL)Hdlf-FvG79_3 z(UnsQgDKQoFra4W-YOjvebqzX%FRJnaF)NZF6sx~VyEM{E1P*40lx&XL;?<8vXoZy zba~SrnqHRXkFIx-_s@03LSpFyfqtcmOzF=FQa^x14E1m=4bzmZ#^XSPxx7DzE{3cj zO#971LFoUb6w`*hh}!6a@J&>JD^wH>jLcBz#Ib34bE%w$Jq^y8)AV zanptaARx4H1kvY6=f}p$M9!v(#LKf+=uNxsP5?vxmdz@HQ+d_fxm^rFKM0R2$eN}i zyLLB>&s?C_(Y!jd{Vf7s?Xot?%=9ALHy-b@6zqdG3CNsCk` z$g%}L_gTzq6+prcw%5Gur*@F^0iiKk;Q- zRj>uEtH|&L;=bQbW;_ox!fawidojjbn?kcmEMM}-7S!DFYdr?%wf`I(#i(Q`N`DiD zWKSjR5A@X{et*JCuVandhQ6nB)SmtYbfS*kZNz7m6O0~?HL?YzSnkk5qd<=214(oK z2gYl7%0%&>@M}C08O-{9@!X-YG}{GRiq)}^!8uvD;r2ITGI-Joo{cxUJq0@SO#MSh zF4r=>+wa573G(12j$s)oGw13r(xA=uB`^!8Yeuj$ZHRx!Ux3AI>r-`d;8A*Yo;eDy$EExuU(Ts*TQr=kkN-;G)|MOcWAq zA@85~(v`!!!=T3oKvda0IR)7@3!}4ZrjPk7#FNHSGiU;cq~`_tS#(m#@|G!LCBfxc zL54s7&m`+KmMOpzf9 zCIBJB{&d-r%@C^_zaRE7-0V*=p0#iHr_j#xYBJ`kMwkU0eA$IDgP`HPk&fJ97b52+ z96W}D=%ZH9L%~5PvpQC6d=~W@N%R&kgJGPMO(y|EHrSTafAi(Rd)bBGvTHUDgwTi^ zv+M9Ug1*A$ZsF0U9gls{{Jo;_Q|ZaKS!OT*;E00AMh7XfAg?%(m{Vb{4!Z66L*b-4 zn*JTaH9F((Rdo zUBjT&}(xg&p~Rc%n=(oYQfrDjo-CA!%A2)KNl*};n4;*kR}rb zAcnV8&XDgjk7pkGVDPK7??HQZujndfB6E=O)tS-a7N1+Ymm&l$;;vVp^DDB54^Y zJc~zoCwz#J>C>T+_&avJH?Hs^j@v;?&leCSeq%1_)Cpb8-Bta(*U+w$>BC*(#=E zSNN7K`G8t3GVpRXP*_hOX0pkWuz!2I_aTM9uH!UpgO#>V>kfyO?b?)(#P2M zSyayZpu$h_m+X2P=!h7*VB(M+7_BEucxbT&C41y5hpUUBZ5ar_Rc%5<&Lgg*g(HKb zykl+ib)fMnOLy(9=gA8#mMw-h`&MYdG=G+5m zCHL>&SyeV})D7vO?`+y-?jz=WXPFf9^C9hq{mpx}?VS_0OiP2+(`%}h!_TJkDgLTUlP5ImLF~2<-;>g%EJ@)fg%eL0 zy)@*X@;`!~|6Ll-mh3w?Zz+R&BZtD=YgsB(SRTIFS+>pOxp>2kr-*yQlA8HXIXscy z4OQeNOSvW5=Zjg%({Ry^dB%kvbjQ;R{b#nga0E4T^Tg+#aNh{I@NLLuM_I(wU)G79 zOKv>${)-P=sB~fomZ z&)Y(X+~2a6b-#aLc{t8op3|CrsDu9s_LvFh%8;q{a^V5@lc;6iC+Xa(Ba*2jqHm!? z9lJV;{dRoFBJq3}VSEUQcai7Zu5~*~VepL>*}zUO|Dk^3QzjE|`}f(fI8W=_pn zhd+;q@Mef^aNJj5x$8#B(2Y<`jG9>c{=`N{xVwfNJHnt8M@%LAtleK=_ya8WgEu)F zNhcuDhx_~#2J;kW852G4q4?)))|WDtsaA-$r=o%nCO6!$kn>Er@Qz{&PkdtW%=4w| zyr16#!(ZdKPP|n7bkdFE6mydeF>gWw%*+@=c{?rP-*zL`Q!~%!!cPL+t;u-5tv;;6 zaR;L(R4tYqiUW_&3!3r8gK)QFuoYWe5JS9p_7_}+@*|@gxI*eFe&Ywqa_qjgk@HTm zN$Gst>iP5=lPSd(C)#^n;JqNeWZ$bDn*m$~?7tD%HC1JsDi)rObbk=tfOBt{QO$KT zzkDZ)_~P??;f>S#YUw2{ckMGut*w;XA;CUJtYDqzb4Q9e#iaLrm||Ad!a|Fh0|-X( z`SO^2w5;1ZTXX>2=H7MeH#YOREp6^CcH$FT4zHW|eEAKl6Q!6{z2u7v4YsfDy)49h zKA)_36mi~6@cBDpG;%-7uLKSOWe75b_~`WVhRQa1UcX@;fcFJDlY1!N>ly z5$r3+teU*{T|@~tirqIxy{Y=o39wMGW$JS~+7hu9dukb^^bK2d!(v<`&V(P6-KfRv zG4eb|E@@kKjwR1A8!Eaf035#)OlT6y-5ZZRvf$oG!3v%VZ@dMmnfo%veTupt4~Fo5 zG-opsU)}a0!zP~tmIwwsF1_Ju93lsBuW`|ha#WxU{t`j5kL>=!u zXwkr&9A1tIAT!P^)f!}KM@xnCp@&|~6lrRpr9`DE`7)|p!*f+6)3sVQ6;0>~r3(r(Se@WAd$s#fX2I@7fQROoq zTTLWKrH}>-)egO%cD{RWD}$(B#ISSea z<|JnIa@2t(7E4vlrOK#*N>ttp5xB{74)@ZSi!Xr7_FGm zMz}&T`P(t8f#Y<@EqW9Zz<@xu-DurLg1>Lp)FS49fDX9^EAfejLcNtXyt?+P4H(z9 zW;;H+R2sW``chCdmLbs`lv*&Dt1;$4Dpd%>0CS0|4oNf*tUp2;dOtUQ1-LHqzcKX_ z|3wA*+1kS>B+v?|w>lJS(fCS>6)qux4s^K1R5jQ`VCZdaKH$*6gBZ7$JloL3BnU>a3+1eN!uI}P}0GiXEXm<4@# zaGYC((Q%((*M8bCO7)5MQXorCJzYgsG?bTemdS2r?#QIkuvuL1bpTMaRbzqWraKVc z9`hnOg*C2ORAHOG^4cs#jVN^HWmY5fLJc|h%Q0}<;XdReu6*)>58pwga z^!wZVdjN3w0x&W{^AQVyMFBFV$YjS7RFG~7POghr9paMg`5vu@5~-P&OZ6tCG}uJK zA7672wP=c?y{eW<3^p|9-IoTNL8xE0$%`8SX0j(MmP#)3VU-Ph-uj!EKrq%Tc3I14pWQmtSN$U8-QR&&h=EN!jn~eh_oj!M_K@*p51;4x#zfmTg9!>aPR<}k9~p{v8OYh=KP@lvcH z-FILCupuUDPt(LgB*#XjR6UVg=FlkCn`$ppGXqLA$YjC1Y=-3AzVu)j(xyN)@RR+( zM#v|cuhQzD!A~4;{pf*Dlqwl!1$1eo8OB7aIn+#pb&mnr_kHcz0Fh&m9Vx;knnvj` z3?RBt!F$J=Y(Qf6i6BX)TyH_|y(LsSYyw^}*ztOLAkwn|xFPU+Zg^4~;t|I0o2C+X zt!T2dJ!yS$G_vn_77)Mje`Li^om_#^8^C?{0M??+u~jN=f6LX%R5Uswk!5uI4`c=F zcPy7CIpuST+53WFl^jSTDY+risTjEbaJf}$C1#bJ*~x~n09OJHt=%Z0lh=7cnVMwL zWCT)@1qawIxsc`z^%P75*Wf3!!Az!Z9<8Gxn8cm95@je&a7~^aJP7PHdlrySE`|k5V-mO)i5H4TF4<`eL0vE^ z*f27AJdMx4jrdd#S<5BXoqMqy7_L0DrT3&mCPH|wM(IpfG-oz3>m6}L3Udl*olg1CY+<7E*K_nZk#&gfiC7rxD-;K4)7vC5N1R#6V)qRv71aTOlS2Chop zNa7#9P%|IyrCDWrV8ME*4qn$;tThK#(H&AkkvPSIwiF}+7B2VQd+**A%)I|mq!@waM?_rSbOraGtF|NjVz~30P1np`O&UT{^r^zCX%X@drw$g zsOXf|G`BLA{0>>2|Jev8{L${t%WV+BN zt*^K&;_%(EN)z2K8rU-{me952MTfliAED#EpPG4CeF|e{nb5mG2s!I3?B4l4?o;=4 ziJv`0YJRrrdIypxKDYtv8li_DmXN|bN2sVAFJe=fv z@4&aj4g&<(epjdw*Jp7n-SW<4N(HmH$L6%Q7MRI3`mdpMkuxoD=HeUxz>Dt}=RBuo zUferqO{%kabQA*nD_!rsQ9KU0X!@-bF*pI%22G8*eK4G?fGduI&m)M$pJ`yh54rXX zo}@EL>@jfvn&9uCwn=l<`NF~$k}6$dBdaj!Q~R4^k7s;!rjz!7o$@rje~yv*m0dsr zE}ih?A)KpVkUJVBTHsbMZyFQLw&&oc3fa{Az>=|v*(@eZ5oUH44Q^DG4zB1dPt2|` zFuo<4&S2X2!_$wQVv*`0Gl??zt_#l0GUNKwkYYexLy{F1#`^Ac_MOep+Uq*u7<{l9VAWk~qy@x09#3V~%K`^~wJprv?$j^$d8MD@;>tf-Bo zV|k#y`4}jACMd_x28!v1k(r}OwJRH}*$sQmRj zJyiY~SV)%*un#;uZ&mq9_?B}`l{o%2ocv_U(P=XHRcS+D<|6%>{w3ea=!Wr7 z=VkiJ=p+-&lJ`AqFXwR|SpdNF_aMRGP`=5}w(f*01#*R$5@s3v&f3zvLPo@UCyTEeFPOfh`YnVw9M>$9b}E( zuDEHm%*?(v4ikQV05ZEQ#3$a)>Dtv`mzhl$0KXk;q>q$C|DUNhkEbgCAIHzRJ1#D= zZzsFRE|u-b9j+)>n)X6vX<9TTvL7i+DHpe*!WE+TG-)x@v{*_D+K?G-sOc&crW-ZH zy}#$V=JS309`ncK+;g6<=j*vYpXd2{o+Wd#euP&RD8cPNA~nI^T!RLG(!P_gBz7BP zovQa?=Py+jvLTX5)>HANn@t4{*#nISNHZu^Y%Z3nPno0^q_O0IW=9wqRitYwwm_%g z3?Dyh-xa3Jx=8hX)V6c(#7F1Vf*=3FQh_24#OBx`$Qy+(7;i02) zz!m^_G1<*O=ug_$cdMppO=peiJmMyjD~-Cq*eWv0^>sj;`2D%Q5R-QHFHP6S24k6! zMna4KmZ|lFb=6HL(rihrW@4s(hW8Sv4k2BRu$%vJg#tbZ*BD-5tV)Q=5#D%DSHCiA zDuNW*CT#(tim1<|u2F8qza#LT(5b`gfGHozO>>%=gLedjr9M9X4dk_G(6TGIDjn*K zh{E;Ai%9+Ke;lE}Pg6=h6>L1Ews8PLjzrsF)2& zh1K#{WLyF3^bRNo^$N`+iOV4ujNg657G@(8+buvJ#qvs9T424yt7o^Dz8dRuHLQ7~UfewbD%?Mk& zBNoY%=3@)d`dhY2%;{TWlTXH;oVottdt(cW&1Pd%#ie?i3qO{3{5&U6ni=UjQ1Hhe-W}Us~dLr&z zQX#^pTyduvk7spM3N#}PxxqW8=J6!l=^`6mH|dn-jX*Wo&;7C?6~G=DItusi#GO7x zOc^#ekDm^T4Nsyz8{3>=j_LkYoTln<|IE-g$A~pdoP3*J($_qmj%2JyZ^s!!dB0f7 z5{Q43gVi*E^BdvyhfOc334&xNhaN)*nG&Y^)uBPt!C}Vn+3DiGyW^H?!WDQ~uIIez zd5+Oj&OthVp`4&}72Y{F#~C{Ij|QwkzBMR@(*o^3lVDr(!}WoA;WGptu^pQ_vkvH>-jBmfZeDdXiRhwB77>;==YgoZGpP+sG>mi zz7`F-cXsc%t%#lfrP~^-)fBLkYn2`NZXuT43cqcUZ@JbP2sxZq>~H~c=F@P}kv~Rb z4g0}61->d`_BoN{&E1hdGytoh*9ta7l@Zqy8smNi#`r>C4gVTnwaSR+IY-VGzg~vU zmgSyojjVl;lkdh?z;7sP+JMt-O1_`!g=)n+XyZE-p)EpezQ3IV_}Q%gSf$*1Ny)<_u^P*7$Kdjf>RNx}FVZ9-(EY6az$ z21H>$9M}66^_*_ieE;e{E&x}*pQwp|p2%+%Wh~ZkEc8UGPBcQ(-1=^fT1);|HvI&2 z7*zHd1HY$`Svta-{v^tTk32^#qmh8&_)J@>4iNLwTZ)Gkbbn+eyuJJ!;SKxNLQ0cr z1^kBc6=OK_yk%(cIWP7s5mFb1=PjC;GYixoDNJ&jNI)~>-7l$T7#a<|mokz=4%d~R z`oOz&>wgS(AZE~`2%`~ZQb9B;q-eNk^sK!65ko3ci{6AP3Jgy_sL-+)>JSfzsdzO2KM_0ff^tN9 zAJjI&@qKqqIH^S`Bt9=ajNkhb;#D5Eik`}tvbDmuX?F}5+TX{3?R zzpaTJPy$)-Mhd4=h67O_5VuHjg+>E`aJyABRnZ|$Z!}v?guIJ>n^p`wu$U+Zj%i}L z>8GG$gLR3E+-D8HK-N&y|Ivao+Z9sh@Po+kcCb17aY`Rhb5VB>)sH1=MByM9A!<|* zbnpGgu9<~)lTCyMDTu=oWWuA_&u=w9EHKq@;%K*9=+o-PV^dmwZdCQX!%ZL-Hs|X^ zjR%snCVmB--Gff-B&q%7^3q8Rco>hb2=hs0VmW|%DT(?fgeO_IAWeghg!w{i$Q%7Z zE28Sjc_o~Gk}$hivx%)!s~tj?rc$*@8*ubmXumROTdJx>&?=~Kd;{s7JCRCY>YVOC zl7Ta-_}_MSRlxQI-|vNPsJyacH@C2P!^~P^=p|l(JG~5qPFRuDa$=_YTc~#)aL+70 z)SCh@8`v7{%K@)SqN=fc$`R+7LV-+$)CfzY?T^3b;e|ba&ueB8QvvW|Q*-@gluw-5 zY(q9STMyTuJ`M2N&aNVjK{k7C3TP;tS_{mZvmx{2Kl6t-;Z9}m=HaNs#NZgPXVS>v zm;!dbhwrV*8rDYI2GxhPQR>9r?uX}3hBh4poT@f0n{k4o8O0BunTPl_4_3n2cF={e z+Xs^jfsU>?oQ6*`$>8<)(e zgp1OOlBg4m;e^Z0>VocH&i9iRCe2u57>e-2s&HIBW6GPr?n42WG^!K+1kKMLbo2p9 z&tr>DE`-AY&5p6A%Ws1*c-*~Ser7)J>xy)WPOU7kAs3F#*O0b8$@KCqOI|=7 zT?!4Zr)#gF2Xx>8LwL8|?T#qqmBEyNx?DqoVsN$SIdt>CDegCo-wd5|B6BRpl;jgQ zz^o~o;kuYDq!wI0y#Tpi{A`s&#U~mRct8bgUi#r2eUj;~Xgq8T+SBHIha?(%;2PM)ZQnZ=z|<2sDR74S%GjY}-cG;Mohr>>Zg0>3m#$V% zh2H9CXn;HGJ3?RhZ=K@<7Cid2*#IU3{95k|BV6V{zisF5(5ZO4{>PW|MjS}Qb}EhR z#yg@2wT@9Xq2}OmCf*Dz;Rq`z<`v3;!7l;ps|}S|FD=Lxh*3ozCZh=Iw_H{Q$mxfV zI8x?>eZ!A#)=#;@zM*aZAj%yMP_EvZZN&1&H^sfMOEsWdk(V zWyMpl9C%|gqXoV+296F3p!w$OtLIFsW*_@I?jQqiM62H!K4+7?rcl8jLE+VR?pK`b zHI+|^VMc%}+_pYOMtc8v^;yVZ`{PYUw&I-ABwdqP*!honWlSr4NAtY<;1Vq^Y^Gw{ z+_$L$rf-R@aatpDn(<_-oy?ug5jB$a7Bau@8^O1}9GhD*?JjRE?TYVM4k_kbQc6cC zW&(FOQ9I`{l~4Hg9~%Snx^R3+iZMV<$CF*Km~txeP9rL7vnE-%gOKVg*sn=ATwTWd1Odvcoqv#`8bRF!=hEuED`A*L zJ+#SmZh9GtQbz*nEj!8}J0b1K^JU44Np9&D^MRf*VER2XzJ4IEbA)I_-e0#C`j>u& zo#p7T8YwP#iZM&d|>zc|Xp^)DD9 zv|uC_@o^!g0Bjxx5&p{~IUxQ!ZnC^d*EN#*uOoy64aM;csGp%`l@0Yx&}!RM*&z73 zcl60&>VrmP1M<#a zQN`WQ<2OLx>YGbje%4(D5_mG+2#bkD%~}HL)9LK`^ooYuuNE)Yllu**Nv_fJdE1=9qBWYj^J*KK1eZk4zBc^hZtrKk|k^OFE5wwX36)PCR^X-{biE}p! z9zjXULQxtHlhp^W03FEF-me2;;b-&xI>0U%&a+M43tIVZ8;m)qw;=}*iBh#l;=Txa zr37$q>dEr}D27#S^tlN$Wu&Agq=JWqGdW+)+jRigvi&p?rr~~?9=0v4A{E4XJDFX) z+z0)okuSBkg;k|0&%*pJm)9o8iXBXtfP_L%?Y183fvikL^rjv;M}R(VlFE8PUQi*FpBnIqnb`C23vs1!7Me{X<0q?@IIgz6jb< z5mIztfj-pKuitj9D~$}0%;KNzVuG*f%}|K61gl^J9jnzddYrpjcn6j2wxXH+ss<1j zihm*-58ntr{%jgWROJs*u|XSRYyHVa)S*Kum22GTM&>NJz2gdiW~zpTuoP0}dDxKY z)Ev&;+azJ#;E-@M-W5$Mf=Z&rMF=W(w=TZuPd7_-o`GKeF;x(PAtu6@N*iB3Hcp*2 zFH>5ety4a7H5dfG^bM^CcdP3OhmGbysy#=LXB61aU?q`$ab`DOI2(2UYrY>L`R4r= zeNN*|6^xHS-2mESJ;y7d8|(>Ljp!IVFdHEDYl4|gW6PuYDVWD&?9-$lPTTREw}A~p zBGnsw04M$7tcs*&JQ*CF^Qp~uv&hcR)5KPnbH=JHi!CIFgAubtv(t9K%_n!IpyPil zKQ|7=yT*LIp}5q~FiZ59fp}lKemwcv*s>;LlBdgho{g!(66uJ=j+Y?c(m?h31*nxAhp{X-kz76Q-e0_Lk_d@7Dv-;Xn3Js_8X12lp z;XLQ^8gCfaVMz%WdFM*!Ooa|^ANPKsE)XgWKBeUi1y_yTo;Q#Ql64gcNTFQlpwEvp|m%Rpmb38l1bOFbqQzOzdDC!|Y86Tzz~= ziBG)Uelk3evPskP%*2kU0@&dz>>lor!jNj(iM!AGQU z5Iae;D1qF?(|dk?+7Sw@sYGI{L~9CyKm+&#x^aOvAkhDs11F#XEV2_*6Y@WJ#zAiG(c>)Fx z^)F9Xg;q#?=p>ySUo_JI0@3Lq^RU0iVlml{KIMBa26V5paLkJc{5-p0$TXiUfoCp*1;nhd}bo%x}O;&3i(smyGZ?h`8BQAabI$s7+x4=iMm5Pv}e${y}!V1uj4 zD5O!FPjt>xA;ZRy2XEJ)W;1)o;ZQ6L#n63Hkq#!zJFw|gn(NFFxma8s45I)C({+Dg ze*oPNgWH|Q>nH~nYH`M4!UJ@+>S1l$b)Ue_-0+Sj(i2Th5ESvqLbfS*_l%ZHuz}dF zCOT{CD8zQz(w)t?EOttHTz|0tHd#VA^MlL|%;Ze+n#hH!fQA<~6jmccICp<0g-!+o z8(xDt<&#l}K^)^E9C6s)QSt``ST1vfW?7#mT|wU0F7WW22cT3M_@%eoq5i47rlRqL zG<53TczMXvYT217KitXduvDoTZ^~`VZ_H1#nOPtYEoABrQ7Lm~;)AT*QO-Doef|D2 zO)MuFIiL%s%t5J{wc88col$<)$4WFeGern9_Rf!BYgD{AFgJ-8MZKztJG?@`T$k*m z(e$67J4B5qJ~!0HZv8zs$?jcpNdKK38d%BE;$JC@s4Y=#wk6Aomt7_^g|+lNxa=xl z_z`p!n_tz%a{6hstB+yh;Sm2*E>g^{Qpp;JL#p!=2)`UsZJykR3f#_!cn(%<$Oaq! z=yw3ibb3|(Li$KWPR|RD?sLEvy;va6@*lyw$g49YhAOPTH_5?916b7T>IhlVD(=ha zfitSbeFuBOH3g53Ma6654mWMcQkgr$!NL9Ti-JeTw#M7enz$FeWWli4P_D{X-~E#g zpMGhs-co_Q`H=ebTk3~1V>@Ku8)a2ocJJ1(!oyqVe_v2-dvE1WKXt6ka{S$FS5>O3 zua(InnepM*g~EZ~Yq>{`Y^X4~xa9PyJ>^W3ZN6Pv1pX4?&qV~kQ@G951n*^5l$wZ= zrSvm{0{^qWuRDmEY+K(Ih-TCqVqLbT4eSoVrX?>=)w>Q26t{R_T?W2MbkTibz2~}9 zMJR{oj+kuQ-erSkz(@$eCVDLg;klzGZz#Cg$daopKAQO>t5p_~}9``1~pz@H1XJ#n*! zl5s5@YtZCuJ5g|q;!<_5%9Q6X=*#*KdLfdE-F2Rl_9RasRUXhD5my*j7%FZxOrQdNW&?1x@%^^G7&HMw}K_xP0!6 z<(qGD?}uJ5{SdJD>584)3B~`V*7k9K%Nt(#Kh@A)-h{^gn6*+~gCI#CPO58%G?h&C zc8}FaITQ1S?L*Turxpx{@x8e-W)oLkK6dT!yGng5b*br0DR@8c)L6&s<$LWPkHtuX zuKBt>+sI3>xlwoarhRYAkX`l7!qFFT-u~a5ZZw_!zWzpfbx*b1*^`6wMc??^P<`z>E2Kute=UNX&`(J^@Prj)&W>pwn>@`&9=nO}4_+zxMlv!1pvSA>6`ztZBc9a z;QadF+xP5ioBz;gnb9$NvfH}lI6FAvU#~3V$o*(box`oNw>#PCPyU&k73`F9qO-X3 zM&5$RdU~ay?#Saoj$fco>FvRHd3Kv!o(}%x=jMDPvvVfTD0*D=zUO@+ZWbH1mU5!;O0f7Mz3YVLta`3lRuyGK2S_bQ_p*|SXKFm$=iXddY*p$E9zSNb?VD|`~Y&|oSr!!N$ zU+Hnt${weS+g63{eDLVdO7G1n%9TxOvb&E=SAOj9;HC&lBH2a}<5m-B_x2F)=J43X zA058f{2kd{)46IqI66fm^KtQ{*Mvrpmv6G>yQ{^Yo<2I3XKcP}X|(2q-VJxY=khPq zQ#ZFQ$5di^B2(NZdP+9<&aAzms=nGO$*~t4;W=5-|H7Obg>8m$M$vn`o%J;ms?r@t zw8l3r(RThtcjwdHrWU~td*_W9=YH>!S-qQIoM<`{Tl}KD)9CJ1UE`}F{hfDk{ZaOT=ZChdy?ffFEt+U?E`FYu>d5~T8jPBzym+hUm&O~jQdf+%|H&Syx zzuN1-?a%D6wisMyl{G)}n)8s8)IHN#H>Gg2W~l65%+6tZ#}vDkAKBlcc6+vzJEjnC z=dw>acw|H!>%6ABv3YRm)VHqEj#RWk_1Sm2$anE+7ynaC?w!xjJx&>VM<}91oGYe2 zHrJN168}S839K)t@i4s>Eg0X|^&5fTP~luYHLi^NPU#Klb-7l_eUX{1<%~AC&+%pT z2!T(5@x3^=7hxTQNwIOJq>oEwa&p}`TGV;inL~LGB;0KU3eF(QLfKOB)Ds>%#WB$0Ar|&32iHOFr9+K^^5tE5x5?pEJB~1vM7W;3p8Al3UTV5k@ zBLwJ~O=P_`O=#OFVa;w`q5}@MOa#XUBy6nkrkKV$xDm9pB{yPFBx4#PEqknv$vW68 z2R9eu3lmZz_p3&Apeyl(M$QmmOdb+LS|m9FoN3cX^(0whm-R6?t@fli#wx|M zt}nP|78{UeJu8ml5eQerCo9O^J_K;)lbXbd@ts}yJelv5=TM#a@R_!cMQ)a{B;ycH zYaNZ-l`1wwGp6U^fl0;VE{Pgl-vav0f?GcpQio28Poj&(hOO=e2@EbaMi~@bG#OjE zMj>bAN40nw_oZD#DqhtCUoGQ(xVc}4v+b(|7q8ljzTJ)c_LWZmB-!4YEcj+NMz2+P z=os90^p+c960s=J7#PgN&1R0@T7(srS;PX^Z%heFu*6i<@Q$Ly=iqVT)VNNfx5T8` z11mH#ZPMagR*P`N)a}h|8F5H!9n(de*%pg6q1sziz7Q%A)^8U|<`Sn;tP;KN1Rw;@ zOPHb~I`_qOvD;aa5c+7r6IZbt`qTfY=T&^+)t%TBE%+&2vKiviKkGV~kEoQ%`2=qw zP_iCkU>7&Jth_=B-ftI^5$4c*F8NFXV$$%TuwS9pvHF?~DVoO0Ipdpryci%}>A|E$ zNz=x<`g3ow$qPoL^7d16#+$fl_F!{vza$0bmH|iCO!65x&d8RpqKI$ZjZAU@k<5o3 z@S&+mGkohmiIO(BBTHY-#q&h#KXmakU@QCS4=nOjwG^x_44&JRpTd~5mAnw|Z8J7cKQO&b@}cz?v>;9e zc1yvlrpzb55O^c!67jh*Z|vNZYvqXUuDda+eoW`ZhdM*@yzac=B;D-lFS`BG#m(W5 zytmiEfxYJK(`h(Fs7$6veh?o))mp=lIF?OonArtd_kNu(;y?sZQ!TQmb3GuLd2YyQ zJxQHMLnJ5Bg7;&87=rEiw%N3sP#iSKKiWa%N{)-IF~J9<;K@F5BJL|yoK%!(it9Fm zZ1EOnr)UC6Qd~`dpLHmg`~juBbtO$v%6yEXLgPx@cDsWeihgsi7S-%nq-5`>%4w7R zAho~*P4t|&i>CcZOe=gN#Wc)cx1klS!{86O zCPM0OEXxLU9WszaikTU^7h{D_=6cg|#(NNv#YP|L{I_PLQeVVmDx7V{P#pWDz!LkT zV2meK3D$l^PFwynTM7iN^Z(HCgc$b3o6UJh!8C0$A0%CaOp3h~Vp?VXX?fE+lh$NT z74S=IFepP?x}U0pDofmim`plK!XPJhBVD@8kdpxujtgZzWI~)cKZR1!9sG4mPj*!Y zIglywxRo;yb}0qHMO*QzIBPlw-gHtTQNUN^!Q^E8vjMO2I7w#1U0?rD1bnMD{;bI$ zcxz8fQgG1)D&TANk)qfB#cF%VUuSP2q+jZq*PaAG+owniaD~IM-X5|5q1|aD@Wi<)Q~y-hQ6 zFPNrCCDOXRQ0G{~4|LYS8CXG?1bT}G#GM0|tJl(M3Hr4+DshPBr8g?CGZe5DoBR?N zVf;-fiR~+@UVFT7r}e89@&Az*&Y1#We-dz_Cbr`D>QCU8XV8o*N+jS-L;EHQxbh}jOw&KK!RTPtICTvI-lr3aAN^3t)oS2SYde&g+ivw4@%vUTI*;ah= zeWBJ-afZ9-sKg7WwGV-pr4P)Ip1J<;G;4s3;AX#`O+h;5{(5#11IchwVhL%3e5r<& zF^wxaqddr2#eXsvtg+B&z_vXb0ednO@&p3cQUv_xRTTuG3{(=l8on2UCCsN%O7|g# z?UsZj0M@D@tw?)~0$7pKwe9{^_9I z-GjpJN8igY%!MR)?tls0&}&FKvjHW7_sv{r4`z30lyresCn+Yq8?C~?Y<79lz*+O{ zm|Tdj8`*&0P5FgJN={t9Xani+ljSshgqrkjvHk*TcH<=Jz2W#QFTr)-Cs?H+yOUgH zJHZ><)ZPP#j+ZR~&ntwQSYM?u7J+5Sz(XjbaFfz2Q^+b+`T-IR2#IF0Bs&4b%sx2? zcY>FGVvh!FMS70hiUee|2_1+c@2He-WffkPzHndxdEuS>!gqMYdVmRdP1RJAc;zDn z(p=#yK%@RU8AP-PBL(pZ?ZM=QvF4n3Yd|%c;C)}$UJ4JrEb8d8qvIlImD|?uJ4qH8 z-ww!^w!ydVpF6M%R%+QUN6rY}y0H4S5`+!=ok=O1*5l}=747kcN7|Ou2Q8rCA`c`d zC`;H6J1*Igd7>=~Hl2+WwA~kG!|FltJ`cD00zzYO>7jKKv%A>o`W%w_Ms%*lhfpc9 zCi}`MNn-mwVW8E?kc*-q>#*t#zSmFe@f=t$)VJ=he!XNe77pinpL^|d{fH#6UB(}+ zoVFkEX^*we=NnNk_{!pLxOem(vAc2lndiY#g}9R)$;HxxkoI!tiTHmkMw$7|Mf8t8_^Joc7b^XFfnVR_Syu;~HPe0Q&q(TgS+!V*E0co7Ge~ zP33QC->p1*=`X~j#T$t3S3jJ5dIY0W5z&q`jX$w3t#C0ZW^mW%)y18h1f z4a1E%#lMop#}{O{NtO>0B;$nN$X>lgo8JmT~Us+x)~QOv;| z!h5GEf1>%5PREviY1`;6u2s&uVJ&aeULGznL=B^ukCqpgqTCH_J17u9u`HcVqplID zkDS*dNWmqqt5=Cr|MUG#W!?XjQBHBH3bx{hs2)o9%F`h`vrqg4e2gk*=BzyJaB~3& z!0^xYEA=Uu!%eu&^X{h`AX&rIjuksuuzC^!hvu$+r2Zr=$M&Q3zv*$1>0c+tetWt| z=Jmn*`|H2ft+(29e5q(@6{4_GYAi}E|?n6!INPi0oy)lw_5lWWk-&Wfm0 zfxdTyHY?vb>Ycl#{3j=~B)MelSy5k3V%MQ!lrkAY@D>VhX$d-t?0$F{J|CeZCO{dv z^cEAVu-uq`;x-Julavv>8(Fus;Y#m;*(+Osw8w9$VinQ*Rn}$w0%7e8Qtg0#2b2qGyUL5e3h{Pa`A%_3B;k`q@Wkg>^|j?Ug>j}(luA!$|cd>H0G zOI}T)Rnk-_Qx|kxo%XC}{{?u<6gg|9jLGA$;QKfXK2?RMX<}Wsic_?Jn76cNnFsmK z=Uw8x0P5YoS){_KIeFzio9JfadBOh?&IsxfWhp?C=oGKn$9kwx>}@+uK6Yf5CNRcc zw<&kp0!aDqo>`)3BPQ<>itK4-;}l$}ahF!`srr!dSvjXL>Q+%#7Rzbt zQYL3e9hyb~JEyE)Aoizl)+V}5`Vu@TmZ%hN+@-&5`PoIKqiS*6*W4(zb6j|^y5DL4 z!a#3R!-p}(jHdAYDnm(K)sIrkt33m*U7Fr^qUphYd#&H0p!n~e`yZZ-JotC({f~oB z&bgP4E{gN-D81XBd%@swdxUN8+V=vH9-M$m$T-Tc#IJtKoND#Z6R~gL@U~ zEW#9c2TdJJ!{|uPLDSZBsK9-rV4a`*q&g9rFzulr%1r`u7BWqBJe0@;91=E0c2P3E zdADAsGwCZ689D6b=II844(B!UY&sY*$y{CNt-u@9y`?FCgvn)`ZgWG_w|&y2V^;PtRrsEFMb2ZL?svL^3H(ZC896w2sebT(y>>2*02>jT@M6*sBt zNBIp(SfLj#rGTt0^m({D8ua}nQV?M#vw-_MmUf_0=b@=Y6KPU()5 zY2-71%Ae^cTBozyn#gtf$;_%%71lAfl!II0v?KD1nU1meROdc2zFq-=|5Io1-R5J)v3T z-*xh+%>%o#TPYF+b=~bo1~HId9&)!n0ylhBuZPw?jK3I6cFLy}R>1=fq zl;1CwtjGxc;f|ga@l>!!cJd3q0gPXTa6m4}PhPZYH-ZcAgbx6y)_RgOFO)cI*}?{( z%n?-|5=1Iea4)jG5zxNZLI!7%>G;;qc>6nWAx9p_(ME~Zze9x3P3w8YQXV$nh6|U4 zzT_RVfno(*uohYZURqD(KrK;|BXuGJ72e?5Tk^e?v2$!2kL)o6a(`AK@mK@~_||dB zN?_~Xo+SMxaj@=sVKiWR!cTs|7T;>UqD&cJBw3LJhK$DcS3Yza53Zd;$jCpDXzdbS zQ2`FbDU&yN7<1N6u_8TTks%B22`?pB#t1IWiKK$7`EEeoa|_`N?W#J1@CJv{vPqf( zs=ZX9HsF5ZgFFm|T>3i|Mj{<78z_=TtM|Ztd=`en{vX==lO%hF6bwAGg09YS+d4Tx z$|)uf>#A;n8@f8JMec6W8Q(fNA@l|Xvu$FM%-y7tW7|}^hXJ@v7Rk4F62Sf`bSA;N zRaQ650TL{Qr~KN(fO{w864JgF?y0kmh70#iB&zB^$_M7+nO3}#&;_`xYpEP3HMiSfFWGXYBR2Aa7{P$M#BXgb3ed3-M zmRhUUcpQ*ewT}utt@Eot`6qe|VC@=K*&)Y79)~0@?atQzp=E)KPV6y=G#%i!TeMpX zy(?}B_beW;x2h9OYYzM<+-p@=amGKYBdW`=jrho(PUgJU#%fW6#U=I);A9%oc?fU)|ArlE?KY1)F@JF8IRM=t)=3y%U`e z*OXO$H>`x0xW(54i*FLu*@YK3f1Yc*>Hgo2dAqiLR?!-Z_{`M`j{azh2JTW`3Qx;uR}F>x)4TCEeTFC^ke@HmdA^gQ?)weBE*Bm4z!YI*3mc|RSYR5Q6*v7!x1V3qo^W)U@pOKzbs=6{^sbaeJoIgOhYR+*v* z)@>SHck26WjvCL0!4+`D+^=dQd4*!qQXV2DeN}?H-=khSXpRf!^v$t78jQ11?E%Tc_s`=uT2FCz(#WHlR9Ur{gHU zv>LD4SOINOgWK}CfqRWXupYwuWmcp<*n&RS7=aAdr+qc~Si_pFmmnCH?8B>O zECy77px=>M+!IifkzgwsnBr{-NanAAR4m10B-W~*0;bomnWXSQKUxstJE;OF#j*d} zj4Hl0&TQZ&*pg9-ty2Oi+1_ZuuH$D&|P_#{kUN>g~}e7RM=2N&ITq?ncXjsNU_n<-Gl!T071L^*S|r)w8#c83{jTUV{AOm9d!<@Sm=k=aVj!u#ncu=_$`AMJ%)qKxwjaC81JRM zxi@S`kR$%*^N~;7h51q5r&eEifBnLX=2OcqTtDpUz4dYM^P$I|#uvmV*}Kmi-q31n z9=5Es@?wRTx_}i8U&Mxb+L=ST*cHj%M@WIIWdtLpcKiAKbE7Ib&rk23hjETkX~Qs^ zj)Ls7Zx&4H4EJ?6T&DMIX5<{aTANSjKH8#$QQq#yxuQ`f3%*jJtk+eFr`MDvT6!4!%1dOmpFN zQ_sUr_l3dHJvG!BKYMyJ1NTHY3i>GLeDFCV1^Im_cQ~WF5^4n~+JXEI2l#TjAB2#} zUFfhgqL!=}lC!X$ zAJB~=bi0>ed(I&dRY3MPV)j3hmgPs_hS z@GXjhT}xA~F}`dL=X^~_7$c^`;klouAqmnO2wzS$=@sr?fbqjra=M$~(+=|AQ|Z_W zw-6b0gGEy)6Ko*w=aTN#kTVOXdI%hj`>l8?Dx=SW(kDT|R^jsqUCVw}21wKxj)N~^ zMjPIaI#9WH6uL7JWy*vHe6oSp%Z2aJ@xvgw(Kv5O)uY|8o=}!wHO2V-H1aAFm0yL| zXQx-#(`Ya*2v)tl1bt&I+OD%y2!)6#}H9iobxg;Sfz z_4+};9wJoH#hQx`Tw$Ny;RL$Rknar{nFgHhb76IVsa;LtGc^}@gtE`q@WYmEtOhvC zXBmvnI`Q5sh2@Fx)8o{ZqqcMT-aj-b zK(OjS1%-C29`*G!fIpaoE)rE7p)|o7hWAV`Wi1+2LlL!Fh=1M>+JQ2BIDZY%!*;-@ zMddn`rp7s6UX!N4(KS$lF;tq)k7@xu2VCS;o}`bM@SE7=1{MIW^bXP71~t%yA4wWF zAuJfD<%i%fxyp6eusFi+dC+qQ2<1D1?ihq2;i; zlR-Z1u@JWizZow$fX$`FC&8;B$o=r=Ecn@&N|~@ExNh(zmr#)rLSpU%0PS&K&qGOi z6CVhMa?7jQCZKg=_jg2@vtY#-6U<0?h_U>Vj3Ku~#^}UJf^~2ik%OmlIJHf)SNoBP zaFATpeMTGw`zomx=X}#ysR~EIG6Zt`ZezYoTfiB#^Fv^0!|eZ*^>$Q1Zi3HHu@wn? z87rnETnW^hW&zg8y_k!e?Z9a+#QY$5Z8qaoM9b+m49bFks!a@mCOz3|L|QAbCd0AC z_3{feUXa7K;zy2a!>_P(!gJ==e{)((;f8mC*>Eq4#KWB!Tw8uDgF9?tu^q{1TTbd@ z1D#VmreOL8=eE0Wi;TfMK+aEWQtHN@;6^$7G*mnI)Sy6 z%mf{SLZNk04MHiZL~;Y7R+M~d7xOKG=`JxbW04XUKsk;)o|_)Ds@Nkli3$4R2eO-$ zWI5qo;-LXL3Fdlc9tMx21;?2skR8T_-tmLSHsD(&9>WQ!T1MMqeCy-Bpks9Iu*w|< z*l9(k#@=RMpIq&{G>zVPD46Sixw)P4I#y==^A*73QimNVmks87>h}^vP9en-9#c&e32KTrVapT1TZ#ZU7m+jx`wxS~Vnzupa7Q(o{UH zE>UWWrMbjBA2K3mpOp#vX)FnyaGXpOe<%v$rp=#R0?*y^HVdQi#F}C#gxwckL)4F? z^U`cYbB&jz*(FlL-PuqeMI3JC8Bjch_8QiE3P&7>26DuitxDoRB1IQe5ouoW(t58?g7fd3 zk0|0!2}jsE4&lzdd*CyWo9&<#ME$@>I?9s3sK^_?#eE!H(6JM7iP4Fc{0Ot6aHzBf zx!=PZ)mv9n5A33X$ZrtHlms!_t;UE84n0?>i%wC0uoS~O?V!GBw%HYUGXu>v>PI&D zT%gh}1Jh*;Xa^VP!+~*?^5&spG>ES~sdn=zd>xrI2mOq@^EDyTCL^M~dS z1?Wc?2wEZioc2ayi0J@HHVmaTpA03q?&j$L5VFvOIlU1Cmd+p<4kNf~pbO_fibgnh zFZd-todWNC1V39^7|WndYBhh2+dlMH=db4dyvBm*MK=;9+6V~4x@FQZT+jqV&O#yE z6*RGnQ7pYUg*q81Uhf!=S=@y)Xi`P2b9wHcu#mE#)n;fFNT)K$b=4~-M;uE55tbvN zBxv2#fy7Yk-kMO@1p$ZyR!*%7St}hP3#ahgn0-OxUJ?<-*Tf%ht{aVPy_;X2yZ4H$31L=JSr;IvY!qZ z-&l|ONUg)U*G}x3KN&492RoJ57zpJ?;KCS;xwGEe1LMDh*MU;*k)z9j7Ea&Hn{%cE zC3US$7X4J6%i`R-NtleJU%U+hw@$m`f^?YS1z*;oU1o5^-V{F;A}L2qMc3yfR{+o6 zJAFE&h84(`NNupzbgJ176Pe+qoN1<{ye-{AM(qhl%-$a}lWBnGmMOthu%%Kr%nHdB z=I$e~zbFT~5P;Xta-f`Yzhtl1%!+9|n(7GidQIBn2@!ld>N)oXdMT&SYD;_Z6`fgN zRgb`=3k^|Vuh5(j)e~xynMAJ{G73jn4Y3H)ZZP1b_7kF&z`6=sls1q?s8#b7t7~2xJKV{cUQZi937U{eIUvEB z)oIn09>v9=Hoy#`x<2%Myorp0AeVFyDzE`PJ#->89yNO(f7XL0xa4_Rg>!c?OrpRO z7lx}1LXWEQ3X+7@zNeiullMy`Fird>o~TEvK7uDM28sQ29^ut1L0MA| zTeU)k=Asj-A~K+nmoj0bH3F|g?*6@Kvtc;x(JiJDsp2Jpmk2|cB)+3PopNB06&9f} zu!#6U=-b*;P*>@pO>)?*JpyK|8z9R3RRV7s4_~VQk_~MP{4%BvIuIb7aYPP4iw{g$ zFCcddB~KxYWm&5XIYhF1q%x-Vi`8~i`9S>A#JS|o;Dq=hJ&rIDY;CD=K%yFE1?A!q z;T{aLvS&O(_+>vVIa7~>NjM*RM+R2TuD%HD zMOe)l6;``0Xm@*{b+o$n|4*jAR(fcx&zV5rmBjy(swWh)_g^a^gC0C~_NFFB*hA6k z{Iz<0UF&RSvU|_2T23Rc)xfGQnANM< zRd*remYwCR!p9JBsM(_{SkMD8D3VQgvfaywvXxg4sl2uT)%Uu&N zsZPce)?o}Y5ftt4N$?^D{*&{t5U=1#J@E9xI_m#<`p`y{)xMLUx%k5v_;@z_14h0M zs6fy$sWtG5P!p&!pesc*Z5*y}0H)%*S@)y=&q;{Wp@#@;2BR4PkKP=0V?a1YQJ)MG zj-dyx_oD6?itK$_u@MnXBbS8n?VmQrxuFQ6hp@q{Fm{|B2{R)oPs|LyR5 z*9b^PEaHsB1y{fJ4YF#whul3_415Fw+&e*VuWM7WxmM}mBjRhIKqmA?e{X@;3kVrs zF>+HJ2JB&zFrE}VAL-xzj=}j-po}-VMdW@^l0X{>gWvTp(R?O72V%iV)*@6S+aWt#SW*+L8qd*yTWd?kOJ_S;P#fRgVEkTzXD{p-=OOBK=6Q6 zj6P!lF-pcJD~wq&wW=booIP&g2i1D_!r)2xlphsuFrK*Go!znV2ucN^rA<^2S))le zJ`P=Enhm#{zlj{UVFRKtz}wm;I!|1NNjoGDpuh$rcZyNi|FTpA z23yY0+VAqP=T~?TqTubd`7j_V7aa3~VU5~gk(UC%ZaaNG7$n~gzLJ{`{&b)BaA*!$ zJNPdWRTYiGU&ZME6WZ(Pxftk zCu<@qWsQ=`8t*6!63Lz=OJk30*~Tu*@44vn{e6G0pFhSu=RD`x&vVYb_uS|Fovy7N z_nWgKNCzD6@OQdSV%4ncIklz>v*&+gz;-&YbEio_^CKT<+gEa4dQ5dBtCEBP9{=%D zz%}_kDrCmJ7K2rED|f3NASPkZ;d935^x`!HDT8$YLeJ81wjdr-X{Ct2*auI)zV)0` zWPtGV8U}H<;2|C~2zl+oy-vr-AVgEu|A~Oalt02lXHe^#LngH2Xn>4(<@1z!WP46Z z$x3a&KEb_~O7V%N3Y7hqcIU$tSc8;V{?E`=rjI z-ok7f>AY@oB9kVuWKSe%WiJ{zz2tBhE4Y<$rO`ZAb-odUAG3XvjkODchk*Z$0`v25 zQY?d}CPc%3yhL#4do`5>BO|ZF)86@A#1u0knIrPGV~QCJ>NwOsd9NLx`vk4*{%=IA zb4X1Lkf`uN%Ge-AV7Kk0PqcIsbH!eO(^jAU_>X%UA>8ZW z{BkSLMaTih_dJ>MxR4XMIzWT_g~8%1l;9aUJTJu4&I^#P%<)46n1_Q~o|iC7mmj62 zAMhal2Qq(Ml*b&=^@W6+`_7WV4B8kb%0($G{`VPEaMD}Ea>-UPgsJv5OcQ2InjPU@ z+&BwI6fe90U3ggni_mCJ-e5>`&VXDU6T$s@V~j*P;pXoGI99VG=s3c~mMjVBwJeC` zCn4b$Q_w{o$WF(I>+ftGM}#xfuav=IDQgF>ob9HqI5B?}(NqXrafU2m7)`^I-8(cr z=v*NunJx|2gH*pA(qE8@6R`Fwjw)p3fMstqELK>F<$GEw2-8kf;sPu@>GoreoIZ_~dg<};s^p#0t3+>A5y^V8x;g^vZ+c9xKV`XZd_R@s5*8M%dJ`=+ouBGojZn1jBtGI zmiFASxPF;dbAZq$mj8KON`v=FEJTwPk^=bNlw$Bc&(P8o!X$supPjd#g_hojhoe;m zjvLS+)?M6SBn6mX+yEC#!Y~zF*r3r|+KK9~6vH){ye<$q%>xf8;gPB4lFYn0iL>Fk z7B6o%`yvZ-varkWwYscT|v;u@3pij|V(= z4RX!?vz|=ie8Q>A0JJ_sZs8#C+)}s!bVk;M5lH@mml31WK6LcPe+oi)Ra3iv@3u5#)6_7{xH3d>b90T$i z8@GwlUScrOuJ3_VZT`3`0o}paBRSo=kWvIrbn@rmn4N2+g^n#M%p7w;2-l3y3hXpE zqKlGGCaGm4Lw1xA0yz0A6&4Tx9zD*$`5?8ySMT^8KvQIVfuyES)BN{A&kHM{gbg2} z(1TRS6cZeS8fg6>QON9c>E2Do>8+<|Y1b}8USBO@T}vqk2z$p*0Fpb?;|DxeJc%4t z$Z5mV@w9W03})T1?5Q6ea3=-Nt=d`y;j}eaRXB64X~WXvF$}*sDF*z&u9cq{VR7LH zmBdmmjyX|eo0|gwxqB@H62mY>2Dglu)4>?kgWNCCn3Mc)5{1UVJnx7uhIZ`@>ByQF z_?<2m&X9Pe0zLvywPyCNK&Ezum~}PC&;hHO_U0s3v_I%i1#>^=z5@HxHAqWh&cNG} zgsnKS_7MyaH)77txH1a@MXa-u)J!zNsaIw(As#s1@m0i82|g$uAa&Z%U72HZ$5lV(Nb z91oVu`H(B*I+lk6dYIOVFd-dhQF<^8KHOiw0Nz3mLAIBL*J6*eBIM4_M(&SFF<2(9 zlYvw2IRhYem?$Kf=HCkkib)|+@pN}crKN@5Ha0eSaRI}ZxDS>L+!LVn3Cq5AG>&Dk z>6+WgA&zwKoB3gv4CeLqbdPdkYp+&IPO*Lp!&#g>hT%8c5zu~9`ZbA^sCd3OC^O#6 zy=S>lRatlH55n2cV@RfDtYAlk%8P;pY1IN4LTpIHRWqWRhy2VR#Ft;VnCHVlIEh%y z&dZU6DGy#+LxLHnMBz&`4)9LS9_`irM71ScdJJ-B$pG+SD@u2a2$vV-L@d(K%xGY+ z12z~7wbdhtT0jJc3Xl?HPzzw^^rzwABzze=K*X)@!U_32T52H$Pahfx0xa!-W&eOV z!<_T|X|vxhm3){xOEM(P%pTnRV1Fz$S`26aSRQn^G0;m(Th8`8f>H1jVa5?lGc$}} z2P6Pcg&mrWE6fqvfnJPSKqH4gClIXKBzP1jv?@0Iaw7p20VE_g)82({4$Ge?tH$i`ldCfi^^8rp$UI<>jO1EttG z=`s~8j$^}-h&ziKtc)-N=k+cLf+jYw0h}``G`N&@&W)V_Vop@cKCo^>RCA12+7GJd zfva}iBr$hK@Q5icWD|xPg?YK<2AYYq zfS8QerKgQ@L{XllhC_w1kuQ9_4LdYb7I(wbQShH03T&<#GzRO+0DC_08qRAm+Jue~ z-^&&}LQWWjcd1@HsB-bTpv<0=w^+VaC8+fV`69GYX&@A8l4Ulaun+Hf99YBx)1uWf zAd4^RgM&o~CwVc_M;<6{I_01@G%ZH^2tvjAC{Y@kY8Y5vg8MypL&c#1DFiAoP$9f* zK~$UKLiGtB#Bq{!qfM|QKPA1CI)=Xj-fIHes&EBwSfj6|$3^mk_xObmdO^1W%|u2< zd>jbu7n8lRFBA=v+w+io_EG6&m=B-KbusDhVKf?zXFXa)N07 zXQ&rR#3+!-|Ljp9z5dSXRR>A)91eeW2q zsR9KyZYyxv9pLPux)>PoFpuz>s8aO-S~0_nhBhjRL5(F*2RuU940$?w=z@8>G^xzMBD0nk&3=>3V*T2gRo6^B17pkNO+JWixyh=NsyUgA!b5IP1`w}%;l1;89}%iKiVvL3Ob z`KlIyCfLwx$EM$2MceS6j2!RgBq~&3OeG;|;=VhpMKPS(y_=C8o;g{L8f!^ngq|dx zS+xTsu7E@j&yHPD_|km!T_d+S18r0!}0ER)FAADr&ggIqE$5@eF1g|b^SAS%{HF^GbadR13g!AS3XcosgQ;;z7pcXVvN z?1ivD6!FjxqP!n7&{%ufy8{)69lom?)!Wu(sQ|)RD=4}q5B$jj(EjE$8lfjD)tdrg z)x`b(nY%$EOb%#GeIaPbL+XmrZEsJ)0QMlQBqqj}y-dM|>$^r_-^G(sO{x*(uGj|* z+h~^Ze5*S0M6ev<;OHWjzJlkDw9py`{NDfBoDnd37cfXYTt^jl9u3NK8o*1b_R0%V zu&V9>H1wE(eb%wfFc8jYtjZE`-H00hWnpDD5JRk}>@lo*oB3ekMyD$W8l2@&>dQuY z+U8+INZ(D%kyb4u-U8KP4@!YP(5 zq6}hq3RD{aBg+8l@)B-m3_Y>v0D{FhK#2Nco<|6N3Cd}tP5_oupl2hXyp9KYJ&>pe z1P8CF;nR{qy|1&9U_hYb(5%{4SOJFP9aX=XACj8@G9Jhc0^_=d0$;2B3u9V}#zJky z5>d-oJuzwzDTW~bNzduyD2JQAm5JdLa}-U$tSn*ZvnvQOg5V4ETLJC{#IwhXk!~d7 zaR#-F;=8wbfDQq5;ZXs!C2A70@*!+}HYb7sBum?##!6^`2|?W29wLqmnMSCD<`^JJ zIJZ&{jzA9;C!1r?z*9rXVFy{yYz=D2F#`gMYC*&pO$U~eaAZD!J+w*9bF;}DyL2#J zrFKlo(3dB@^y}E&jFP19?C)06GyMMfuA8?aot|`cJ}hH>UwTCD3b%e~%~(>-icQA4 zV!D6jn0elcd&atO`bOPYDHnS%J6AS`;Qo?-mflqynTZZAeYkXUKz3ki|GM9RZE&`5 zNr;E$>dp!&{Jx!~Pd(0bag_!vrB-B%5Oi0M56E-%s`?1dP=aCgePCdbW8>&dP>9N@ zRjmQ-3ih2FyJup8{UesdD$Eb8>sI)mTD7V0Ke?(BvJtp66|y176otjt;x)9g@Sgly zr>MIirNGD7YvF@RS|ve)f3*A}2Q@Ua4t%^bsEC)3J`poWTdf;e9C__*uIh!zM|fE+ z)uW;x?+&JEO$sThQqM%q;R8C=xdcVKx(wZG7^Oq7b~vLoJKo$8L?2pUY%T7P^@NLjP+lvlvqj^?T; z!kuFxzFed7QGR@*N1CT_YYxp*!fO`Iwwl?(4|Djv3+y_6vhJY68)|L z?K^vj9>V=P0n7p3jE*8*+8)gPHcT52oCN!a866K4hfmK26zrT7ExzmYaQa+%5o0OQ zL%yGfsZ`B_G>z+54p`*s(O9x7C-kocuyYVJmpJ-A2bk|)J=`xG5Wz(_?GZffTrSF( zg!c)ZzEOUlJe$)mVOqLhCZHF0f+ko~>Wbhrxuc2@S;F)O{w=&?_h3L4Fn^E^hTm5O z(SOMAoo0c)Xd$4qiqQ8A1@5`)TSi#GfYYN5(}rCP#3ij$3@6s(49T#YNz+_+U_%*RRSuE);5=PoUx7yVawZZZ5kPUILWL*}9Y^ zTU>0Uz7nJEmhO1kP^etiJd;u=IexV46JMC5V{R_pT#yc#b;Q0tjnp$sJ@VXtR5H_ANhA>1lraK$7 za`#Qo>nJCEuUrW4oRGLO8pt=>U2KODi?dhGjO%=PJ&lxV5gju-!Jkw7U3S)4-tkr$ zHAE!+hf()!lB#IBrM%ee&3NpSEo6Gk3LeEDuIlsXF&HWmvgIa6w&*6;-z<H#VZ_DcFo%+gC+m<_H;){f6Cq0>xQ~Zt1HQ@-IP^9I=jZp zhwn;G^kaLr5%>BN3;|b3>(<6nll}O`sZe9ZZ7qOqxVdrr(7^9|JH7MxznLdR+$#GtPMv`Y+wnqLmIpRgaoBQ^D>zT4o7HzlH_1Q3YE!uPfNuNJw#IeXzyq>!5ENen* z!t!{&%-@!)E36JDy+9jzY^3gwkJ>$TjW)&v1scikk!&DaqTtD!;4VBtM)H^pmOO`} zCh69K9Ayu(%wSO>e)UYZs)3pK2K9isS|MlxaePwNWT8$IfI^-Mo|^cD6)+6I~n9-Mm*%v)WtsT)6?IID6I)KJXuSFnOPU@sU*z^5DUi zi0>0p#AoT9mOmsmfCNUALp4VovuOAQw#2ZVeXF3{h|#FpRuJe4m6PVlb_Ivi^)0k4 z*)%3cveNQU4H;xk?6P_$PpaJpa%60otFPvD0AZ4&tke04n>I( zH9qA3OP@$YZ`SaOqvkM&fPUKCLUZflD!UgkE1pJYF?W5Ak1rrWq2TAen=v~%A;WIA z@}s*OjOjV|&|F&nABVy^x7_1}lGPE)aplHXpG{`@JO8$TWsxWDv0lf)9XY;HZYU9# z28s{{w_o4C2nbxcVPj_B)g;m2LnHkZT$?551dM3b@%h{Iyk~(MTD8g+%=sCXvgaK= z;6ImsBP-qbY-Fw2&ZX?3<#Dkv=O%$913vfLB(wAO7%z2Mdj5lNyX*7mAyUa?JB}@9 zNaka-H{&5z!Q|g@*YC2%>aK5TP4xeJ%}=BM-*{+kjD=X}W$IcFV?RYeZl1;I^;Yy8 z?jP{(#ALb2Mxr2ZW(+VpB-WU-W1x zi$;8_I6FnpFOK%uJ>2Und*we6*BKPhUw7^+AFmfsCw~-5V#q0(7>%%e0!)JGJi|Y; zI_lA4PllWP-(pZ`KHB68#UKSquxY$ zl9`@639HwgDbdjTXE}^?QV-@!3`2S$ML}804HNXXkYXplInm#FJBg~~`P-tmlSr*z zw?qTk#l*m#LBUYo)`-$}wd_K7M)>&XuAEEqwv}!KI{vJ<_m)c8g(;LjT|t9Ki!1MM=9Y9VV1=m}d=(){kI5vhxD$-Dv zpI?)nCxzz0?fKcTtQyLKhkm|dAF=(Ko)VTnRiTYY*n6kTz$>1j>+Bfa&%l#$UL z!`2XMS?CF?#T@GNAGh4xdYE!$47q~Lizvxc@gGrrP!2FoV7cYR^zrxw!>G6rFO$t%kH3UMKX>z%bpjbzsZ#! z!@~Xu8g^~;T`n?kg$ez-^W*?C(!|WO2-AG=)_e{SCS4n4FsZlyAiu4hMAXol_##Gy z90mWWAL!)vxN_OM9i1+0sR>*;|3dZUw)}Zsrz_6uJ?|m#(&+CVo-!57pM5Jiidk@W`3(DvI#p2ea^~~jSOolzN5kDr?WEwF| zZJ*gOD=#wYF=CW?pG&{S=N)>GCvG*C`LKAo3$YL;0NQU-<6iWJ4%CEO&XWmNri}{I%A; ztSNjngHlAurizG#DY=wcp)CbQ?@jf?;XY-v?GT^5>=mo4F#kEky3c0N@^_+`ExO%i zkB;9edx*mD{k<*nK*0ia-o?2p_SJ0mmMtY8D)i~NmiB5--#3&CW&bF7#Xje_?+*IA zDdR@+iPx+Y?Q+rEts(38agQq(yiDJl$_To%Yu=GHqqs!e2eIWSZmVlydU*7mVbV&T+;&$$7SnMXY4KMQRG-tyoA){{R^!7rU9l;E ze7h*s`tl_sgVygWc)?zJkAdp3{I@0KLdCdW6V|T9A6|?sz>yp7cVLQd~z_*k*}ex$~D*Pkx*p#p=5P1Ha;C>GP|O`a*sVbD5jN z^$XH4?%z1n!}?vs(J{-BY{5L;YWu^Y&DHawy-x1L$^zUu{m6nLSNJh?kF{xx{P#99 zJp=EHWjovQ-v0HdS!1_Z>vV_0-A+SZ&)!ED`UXXL-U(PC?TFLhatXG;GUD3jJ88C zf@%HUZSEdZ@T%n2_jXk_T7gi+_p8$Lhb94$G6GfqWLr4AoINqx7PG6F5kUxEGQ+&b z9jPUO$7m3ex#MTwoX_fBqSaHU_LesJJ%FuVgpJElkG`4S{NXh_V}Ix}?ETU(*N);U zT+~Zx-2u%jXmj^U)TzA~q)e3O2-{`1=A?F=ITvmOnRe%S6RVpLA2TD@F}Fad`bMWD z1)Bwz288rx-$YZcv{3%=tMdFVzKXINu< zH1kIjmK>t?A&AdP_=3wL`NOiEls_4j03sT*GXGm!$~WqAK~n^jP2ZZn96y%_8`c^n zzh`9zGz|2gvCYZh0TO;Zf9Cm9?$H9*MTh;mmcu7+1yl2v4l4so)P%0bSE%7C|K56Y z}Yah;WvwLiw{`~-H~^%+bJX3<8^n(}=y8eVaDZ~-Jv+pKatmAOBB z>eoSl;c54aw4eKFJPX&+wklucR%V3O%#JgA!-iLLlRqc(n<8Qgo5;IVYOJFsfymPQ zd%F~U7Ks~`XDRjw!YX1m~`xrI7chcK0tl}P-2cP;hY5zSRLD}^B4ZL@j0fCauBVe`aVARe%*FN74;aYUW1Se z4uq2S(S7nHn=JPlRL;bZayf&7z}=8nEvo3?2wSiJQn|GVP+ zUyw?Q_s2`#@Tr7dN%*aC?HxD3zeGXIc^jpP;e)F&6Y*Z9(boumrnehxHVE49{eN}i z)#F>lLo8z6^UAyM9T#lu@tC!7bnj$4mxm8DZL{pEvmfy};r+8diLCp{5Wj4yDQr&l z-EsQjzKx|`pP^&gmcag(`mVr+syz9g)y~VZ$Lphb-HgJVWeSpKXYA5l#>jL!^S|F} z#(O)*9yszlclS?g2i4)9o%+MA-psLMo$B8co}9Q>c=h3+`~GmB>ae%Rh6<{x1WSg* z(u}x1gEky~$=xO-+Pj`37d(HHXzCdkUwhy;IYfA|gtqszGhWf9(m$H4Htgk?*sikn zmD`cc$U|O>QzO4*he7fBsD{Sr?{(b9=J%?qZ1PJ&U8b%Do4lLX^YHPp9#8+^epIdG zSK~%)+0V~Ajm;}R+Os?p%hD5$VAnNCKV1;M-(~vU4)c~8aR)xtSC5UBV(&)i#s8Un z#G{u`#NDPfbv;_%;p$hG$Alx7x^Glpe67T$?hYOI2_}Bf51*9msEAy+@Yab>mEbZN z|M4|j>z#VVhzJ#@?rAGcPq}r2v>PvX_dLE*9`^Rc@Cvu;5br`%$G&)BRXsMA4Dp6; zoeLF;xB5bdPY_Nx>m+&6XMOlJ(;qV2uq^bi)`!_=gn1VIJrI)~XLsS%JKpNp1qKr4 z?M|th2T*u(U3Bbu4=cNz7XTLJR6qY`)F?IYd5HTb5rcAtJ*q#n-;|3Sn|tG~bL0Pk zstBDDzkUngPVc$DeFM=Stljg7=$W8Va@j{`Kcic92lMB2wxtRaR9G#P9kN zX|$zs{VYS23WfJ*!I5hk`fLRKe%sx9QiR1a>&n~3kE#uSE$0q1oJnxzQ~f0u`1@=5 zr>es~^+Kw*uO*|(RSz8La!)I!%FQe-{q9m!lGyt~ieaow@g6xM>bS-0EG9k2xf)9A zw8M^WwOPTJ&7y&Cl_WfOxDLnO5lft1TEe!o`i?0Ek}r8#J4V|EiaG8yI59jk^KATA zUH92?A=d}Ho4@|H9~cy~=R#eZu*aoIyppX!#IZOIKl5CMA^iN*Qgf)TtnItr){mJB zHJ;Y2)x2DBvw?)0dv8Qbd&hO1wCTCWs~FlOV$l|Pzka&8^d_{s{_GlEY+yYyh!Whi ze$q$%a8zTSaZ9nuW8r3=aSEuujxTnK`2vQ^+GF|E zpyyTK#2s?rvE0shx32hCUzS^2*c4wr-2d*~z{UE@_f=VzYba`BdB++O{H8!vcEhb2 z$&;zmD`|q@k3GxRj#;I>x%^D&g^f}gVTY^KJs1!pcGNGgSCWqgvY(1OW%{w@V&J7z z-p>sYrvy62yG~oAc^_(cmTRCtl;D(AzCX}s$o|%=45LD6{_D|BjG2$lfdAwqTokPI ze6i$U2|~w0Ippm}MHl(#OZ^;|4?QmWxL1kw4Kw*0pFP)^G2OhtYu~%+;x>El>S0Rf zWstDDY@WIt>V9!VB(TOhb8nms>QIw&kK~vriu319vR(MBUU(lenE@$0eLM#0_lJ$U zI=ryEEp;z5ySyC~+766%j+pH*hmkxTnypw7nO&^IGFf!7?PKPzu67Hlki?1jm4kL| zCNuF>L83kUxlRu8ld0eGtb3VI>&?&A^@zwl6YBvVsZ;%V`JK|kij4h6R+@H`o-n-X z4H_Q0I;1;S#@J?gG(aGL2%=CrP+P}6<>}+|tDhT<2D6EPIm^?@;T!LKRD`ZvKA<}I z8#!ylAgZA*gIWSYrD>!6`?#abGUj;=_Oc7xIM0gZDWFci@kT}|sY9pP_c;(W*@6sX zd6%rK95?$kTFhEf3;aS{2+^$S%DJxh=SUrwmJ{HT)wY zhebzlf54FAdze+Hpx%D=1 zwg@n*h@k7zn}{Al#$p^7CA$whCI8HJtxL=h;2=K!}kt z*;|G4vhwk^n!<7CS~@l*R1fsTY|zHCYFN2=z)B{jHdnkh zch%<>ES1dAr2|?NS4oP8&anFQ`G^*4lXU+#j*Y)K*DZ`tq^0qH;Y&8*&HuJ<(`*!l ZwM8E=lq7|sqYiH{4BuNSyLo{I`9E(u3nKsk literal 0 HcmV?d00001 diff --git a/_build/2.6.3/agda/1FundamentalGroup/Quest0SideQuests/SideQuest0.agdai b/_build/2.6.3/agda/1FundamentalGroup/Quest0SideQuests/SideQuest0.agdai new file mode 100644 index 0000000000000000000000000000000000000000..6594de642e00164ed285324e3a6e017af362576c GIT binary patch literal 36417 zcmXtgdt6NU|Nr}(Gq-A{Mi))@gP|;Gl543>uH)Ls=R@n(RF*;#$|cn)M5IP*SG%M^ zRA0CH7_q1ZNvzex?8>;*x+X?06{el~z23Dy{W0^HbI$9$-mlm5^?Y64=QtJSu-*0a zhWQIM`FV|xA6!K6PiXb`XpcPt{1tKRI9Dy2-Pf7`Bpv1TO;BVDSS9e${ zPrgJf&x<2w2xqkp5u+Hsy+4mdJl5K4gODKZpbgBCXdcb}f!q`=`4$3Ye>G+4c90x@M=_DsG#f{V6pf@<+X;8M!{wAwaCi|( z=5ye%JI(HZpI5`xo^W*qk5lFchd&d@7XzGpMz%H1kJI$wPxnn*&N z4+3V=O;U)6ccPe@>+$m}V&Ds%eZa?PlfuB6_wZ4uv6sJt6Yw*qb4PW~od~H&#JM3P(B4BFJ%$I-PIUX@WRpgBAD-7V$xfuc)X6MMGhw zv!Z-y)(T%5o(;EkB(chp%OtsphZno2TrAd3VKZ|EH;TmC!M$I=j^{wnnPma6vc;Ay zE#VnYKCWd@J=kmbRd*JR=>2k-MTc#`rWw-^xoH5H+oBUp$i-ilgLsSHUwE7kVc-DU z3ASSG???nfZD{rY&KaWLELD6ycGZQ2?F(tyMsbFHNM#Uu_~p~$#SvAJ?&=RA zOqs0*Y45N8(2to$G#_KFH;wRrMP+@2rD`5_@& z#)If6bA~I25IaJVza=WX6JCPN-%G>Iq_-YL&w2_%#`~MZ?UA41c zEvs~U&#~`MSOz0dG*uv|+UrAE9)z3yBaqd6N$`1pBNyc8){cFDH5C2wTl@RZcPrl- zUL)tK%))0Yz=9q;Yq$)kf{1< z+DEaPT60wl2K}%^SnfjqXD(s?CoJ**s82?2Phe-w&cgv#3cXl-s%Sa#Z%z{WdWiq8 z^1I z{+8@QvW5M{>kgojwC|558s`MMD)jF7CZ0;U_lcxqNypsNd$m7rr7m+*mrTP~8TdLP zSzX4b_18vsPWfx@Wn}q?+U?KL%|-en04218LPt7}SyT3j zP3Xouam?vo&jjifQS%&g9X#XpT8l$F`W({~nObpEN zcTnhKS;g-q_lZfZ(pG!;``8Pcd7k8Me@m<$5b0X)%y1+~{4Q~fx@0{%^7Gu+WTyTX z{rB*Lw-j*NU@*T!dA}=v0k)YWDw0?&^ zi@o+YoJO>Gq1Inm>x+aRBsgkKjc~PaQ( zl$0oc-7;d#u`@Lig?=V+bxUg+v11ys`%>=`evAj3TN?u~haI+$gJY_0H3jHJE$eANg2}xM|jV-5&pJw6p zIfnfX^knUy#M{2bWH*>fimUzdjg?b}tkGf*`l79pB4G!+f<{nUc`3Rm7Ah z96_Qe(N8H)Ay1a=Hra!VGyc>&GyE%0)c^a^6Me9fFPqPC$oPfkz&-Gyiixcr6 zfuGO01a^3h?NEgzVTISh4r^{=MXgFlvrs$CjUa(OJAMG67Sub?)TQIU@FTVTQl`lt z?!3=r+2PPS2h6*n^}c>ft99!L23;m5rfgeCc};N8rFRAlpGx@a+_h1w2|?o64sT{| z6K}ggp2C+ERZV{)eLK6Nxz5W_sNVu=%_$+D0* zl9?M!Zojn8Om z=t%0!Cw#BgjjY0@w28{p`;;~*s*iND;7Xz+c4c59Khd#c8iV$rBi*x36C2c(wla~x!sr67nY>KA(5KsKmhYEVLd#dY_{3z zTxk!*%JKr@TpI$^MVz&+v=qCD=NRc@uco#+Dt+z{+c%6v_D;0}6=Px-{7ia)Wxd(sB`+czE_<%4^+FEO4<_HDS-$yKDL%#DHOS$!N+`D{##f8=16iNShS?dI?MPg2GD9 z=riOtxIE8>u=FH$Z^bG8#W5D)H6DX_Q9UZ7EOqHy9Rif3cwOMPaq2n|R&tb59yE3S zzW*-U-iJmB;QP0Jy()e$5_~`9FJ$RS?cQpO!_S+3;lFacn(FYob6u=Uzhv`S#utAY z`YD##SC1xo4|+$3@y-2iCEh4}v^-)6-18doVZ;1h8_tg`Y#c20dcdVTi z4n4@oBUtON-z`@LK*8wdSBAu&27mg2*>@IAtddt*O7a5gj4zTtjm9S2;{44YfV0k1 zv4B+9En!uUZt<8%Cw1Le94uqViAyJW^EarMM~)c-MD|KKW(2pM;;tPcuG^`4sudVx7x3-oweMHZ6K5 z{Wm>Vf1FhXhbE*c|gM#V! zA%%m-<~8O0UXnKVi|TnD=i%W)A%~}04;*&uPj+fI(>K@1wCF5RA1iz?TRu8m;Q_uk zbR*XMEdZDKUr(vt)<6JW0^iH@0B`W#V)PK{g4PNG*6H|x3` z2h-j?sZXnY7J+sraljV=wu*6Z=bJ~Pp@5z<_2yP4X4?H6!rmATUm9{KxPR?;r;fVy zHYlTwa;O_KbGWQ7=STslkOg0k7H}l@-1nRhpBdl;Wye*2!#=19t=u5<7cj}L>X>43 zV!-YsXQg~mW^#g$aRZLEOR6NPnz}pb<_K2jJ}tmbq47lcto}-Qz_v@-m$H+_;Psv^ zaVpB{@0J7#uW0->$%N^Sd6@Qa_HVU%y=y`s!K@8ny5q{c4pTAbJK;gFT~ zlfJ+0|5N3f-TKCy-AQD0S~5|7U_xau zLv;AP+wlWSwjOA-3Lx`3XBZk-wHqZj@C+x>wj}%V%=$eI5-p0gyrKNnaJiu1m*iWn(OIi|4fV+Zul37`1tI|BU z_mm?r93-YcVv??* z&Bf>1x-ZX6O$ef6KC?B;4IJ?%O3gmD7*-}!FztkPo`JI@1{bLHbLWBMK z{9|!fIrErjiwzt&DboQPceBO{g>+4zW34nkh-X}{xgS&9Fro&ZHW8op)M^+sz_E_H zDlq5`w#ZvoC6s9P#H`TWRWHe~IKfU0DD0eKSb!|X2~?W1_lB_K&jsnv#rR|Ia~U}I zrRFTCk;vQ|qdSA7Mpq;>{GbWFA2hp*XPhyMn0|SG=WK>D{DNYbfE}IQOmV@a%a-Rf zCke48p33WtHEcxb=UGBCUY+6?Q^>I=+0H=5_F$|XLp)F3#32>hi$tzgNXIr6L$$AY zi=BR%ki|S`ICFf-%**?d2A^PymdxlHpuT_ih*{7l*@MbU@-}+1+BArRH6$|t#ROBM zXzPL2t{brN-r8y29At zV)LP-0Ha4f$a66kvRWfs)89~yvc?;#iL6Ii(J0H?o{7q_WT@`|W)*u^vU4u~(wUZj z+!BR=8&c;4SSvX-}6!(0ZY zGSc7n8VHr%77156jh^{OSU^|+j)yqC8&R-uqA~mX|3hN^IwtI#egvysk1X^B#15pM zk4TY@y<~Nlkg6cwFS+9TFDb2*%{(k`S_d^y&6yz{vG=H=cTe%={{1cLd}^=YKPIG%bI zhai|cqznl>v{Hnv((p8V4=CKy9lmD@ThzU0izQuBOk$}bS&8R7KKzB=#5fvOx&ryX zDqRuv^Fk4;KFpQ3Dpz{bA0~jV4|}D$GHS|MQ9l@fe0oKp>E*ooO*b~e{cTi@v!Ia| zpS_+G&hw(@XpDb7j(C~&72;{BeRw>i`4Im$YfT~*y*rK07*O0{&c7r=Zd~|uoJ^|g^$|=x& zi$@|@e;(G|Y@<}Pop?I4@__$dfA@Jzm`mvw%0JO7(f{YLg8+Faw&>}U6eQk6sENcO z2rLC0&psih7tDTS>7`Dw=o)~ynwe!DmMZ2IQKhFJwu3Z|sE+F=IV z`zuCDp?3Ixk)ZWQ7OK1;ZVb~k0t+ml>O7u)49VTxv^ls+BGz-jkFz0hSu8IXD%gX* zd)(k|GYj~FRzJ2VP90<=(UUll{!8^MExokyzIz-%=&=#txXsvc5#YG>IE^L_=yTjW zNP*XfC-J3;M8{x8;Rtw6H;q&(93!pQ>jz`9d$x9^rC>P8fw9d1RPsCGesx)1?n#&W zzz~Pif!STL0PzxsCXP=W-yxbMwDe(n$@CF>eLWm2s)K7 zZ#_^WRI>rW&{{Q^WAKHW^{ zN>A%g_fbSJkl8OLJNm;wtxz$RNOVyIQ`juQ6zK;ji^u{#eKC*;OY>ZgxTn4f&x8Oc zCGYwkwkCQN0d}6dQMaTr$!BSQ_o8~#$R6gClYKS^GsHi z1nI*YrQV2{C{J@AsS<6g@=UQYxwlv1%vm$T6olng`eLHj zec?*sSPDu%KxCu_gLzxNKpr~0kS{pJ=a|!Ro#nytqSLl7DRWV?{|rsK`WY z-C_e=Pnm(xnsU39rfqM!qBAgUv{T6KbNe)<1?Gidv8tV~^RSQ`EDZ&?Ix|~Ab!Iw- zL@l{INS$wTiBamfW5NA(zM;W_JuSJ{?ZxdkDccM83z5K;5SZ+6iVL<-v0YSNRc3{Q zf-!UX0})qWoj@-qruX=m=An?Z?;zgWiwU0jR{OR${QHGDz^z43rl#@K(TBTd_4*~) zN(IMO5$Ol0jPBKVq4k7Rk;{>qf5S*k`9kL~V8@N46FC0#oBCsCDUSIYuEcC8q3KBb zq?Vn!2(~xl+=~#ju)GsKu=( z2njFsoEz86B&zlWI%vJjUQlVYxS(y_>r7kVZy5H9=1~i5_r7{_Q~C3Eh-3aQTXeR# z+F3l#R^0vo^HZ8PP1u0YaagEXKA}Gd_1JbZ3gvZgF}Z*R24M?4C$@F_o66gx-*_s) z7qJ%_nmC|pwbQx(5OhmCTpw;)M5G^s^8+9!w9jUx*2RAjS8OxhboC9+3`dvJm#~ zk=e`^ojLj!VY$ny%=LH3Ia9)OmVlp-c^jNzAvfJ>w*fy1O>f%ozgZF4hZxur``rFV z_(Yf*>w<-HIF^gZvtX)djK5%O`7=kzlf=i+Q?Na+N_Pl{b3ES^k{t7Wwy1DcFkjYE zsIG5#-SW9l#S{`&9a_E}Yv_aWf~EyKipM#N+v~9@dxq0l!8nP&sA_Z&L5aR|NjdnY zzQG3!{~62cA(guN;`k%+MY1x|LSY{f(!--$Aebwd9w<_Mj-?fJ zCz}2XYI{XFl^?q3VqU~@K5b#{RnNv1*63Zv2H>_|2UJW0vJjasv+6V(9MtF8kREGu znCW=?TN%Ko{p6b_2-mm34R3MNV`=6ABboX6$D0JKx(9-A=9^%Wvy>|^g(3*39(xtj z%~Q1(_VZ)O`IQCXIXo}rpVMpBK|d9LqK6c>pT^KnvyikG-j6@pG`X6KnXdZR?qOK& zgMa0Mgo7>BT+ULFzy!OgAeT_VuuyLD00R&w4^Mfw9m^d6k1oKEJ@?`vrs}ca9#YaC z+z@}fX-3a5$c=faqs{RcRZYG#tNWplYByE;qBlK=GltCQPQxbd;nsCDC4b=txPCbQ z8HF_Q`)0XtIAyOK#7p8y2RVtv*`(Cie=1)%RcXCGJH5BQ60+nKYiby}6_b5~ zRo=nfL9~TZ)<4p!LiTeMz%O9{Y_fYQm4j)gJx-5^jPgK;8(9((*1D|?ShM0CMu60M z1>9_z@UfjL+b9X3GRj?{`H);jyyrPJ4mA$h0RUvR#4r1Y>;lO~o>Upij7<6gaol-c zYWHn?8tBUIBf5j~62{ifU}Q;@^!b_W%M|bVi1xJmJ%2R1fpKqzUk&HVAJ2J=y&vcNQ_)M%X%zc_cXr0g@dk`~9LP%1H2G?!h%K;!Pr2@`VSCQ|?2DK1!+$9FhFi zqL9mZUIo2str>0#oc%LlS#mjgEEET|l%$Ku_{cyJA#>+Qvb*e7?HZlU$E2Mw;(00z z43;*EE|YoX9?v6L0qMc>Zt#!fyH~t{sG?d;jp*MjS5kq6^cP=pc;F zm0R^E@)E?)=fY*qs_Y)+1fEQiyX^7K1drNi%x>9~Q!d3h?+(;oYllRV9t)PI@pB60 zKplB)lP!?+$4$c{U4^Xj6d`>cl?zbpD{C(k+Y&}T zm)1_t{({p-Y5d5iRxSA}uGq{h@gQhPG2qws`G1(^4pw;xbNzEO%P~c=%MSHcAZh&) z+@R&`zASzanaqp~svBn~&bA@)DzxLQWD*bMp}XS>62@Q{h2Lrvg50f=bNZEt^L!9U zxck+MjH1<4NgrJDioNpxOV}6JE`%k2v^7C%bIx?vJsI3_9JobYB}ucIe1g zlJ(gZeKPY&|5r{{y``h%HJRsobDWKM(;!+>h?8(N2Yf07mcD`zCmSszC?( z?Tq57vg`e-z+O8rimC*XY%9rYzq>0I3`Q{7Cy85dB#u$~(h{8SwO>cjg=Nb+PmL|8e4}J!XSmWaerKR{n_0$z zuArtfJj0E+^_6(Og^{g6P=-C9s#R{qeP!f7Vt`cEdZ!1Ff&)JGaIRW4zwg*O?!$vF zvw1>O{p-(x2mIZN^L}qrwJumQpmp-4Bf38pFV}cKa5|T?>{{AUm3)8Q>EONo*FH}O zekb{L*6O_?m)POIS^c(i@V?G1-|wtMx4!b=~b zSs=p)q@{RKx%EcA^!ZpxHD6Hcf^L-+eC%TPeZ1V5?v@>_C1*0W^~x*#6>Ou+TXQ?J9vRkNnF~1fHxVOt>i-e9Ny9wF#Lm&H}ioW88LcpV|N(jLr=pm4o0IejX z-xQfHh?^gGy#cE1o_0?cHHsAMCg~WZ6Z zDJ#7&@+p8HW&>TMC5&!7)aaw_yNo9Ucb8weRp5==6Qn7$Pcf7XtHsSef<#yiAKBF`kdJ(Sg+ zL?J00HH}JcB1={M4Yx7}1^YNBpxK=*3d%Ei!Tm(?Or!oe8r1Q(KDzW~Snf>#RM?#2 z!ze#;4m?3K^fjVOJYmEzs>7Gnj%U?D{S`0)xk=cr^`lEe>F?CYW$fRpIq=bzd9K_- zrS}Z$;fVEcN#tJBGOgSk-TJ&VxA<^209rb~B+U}!n*C<&|1Y%m^~Cg)2_5!KGc;I1 z4p?q6Vf!JF2`dcw4?~Puea#5~GG_G+r$z^rz8WS4VtqA7dfmC>A-m5stMz_qXmJqV zYB-Ek6g`$;XVc<7xo1JHe+RJZXjZ+3Zx17r%`9gi{1`Ns;5L5!;R=uN($=>9J-U%2 zZ?!5ZrZP+unUSaFMsOshX)^=&ZgK9o5w5h5N9{26Aiq1MX*;w2XUVFoI4b@9k`;)2 zO=g%zVzkwBq|KAqqN+nBEZM&2!+*dG=8+Q|AoH7Mv_6C@ELFl)`t@L42mQH{6>}qS zSc4VL5`gK$d-|mISHZE@1WwZ(9c%_tAGVPzD>%{)(PXZD^M_(_Ff`+9zcz`3ubzQ> z?K2Hw6p&KE41ciuwhZVXTe|s2hKM^7mXu(FD^_u6_@Z4njSVHSvW-+0Xd zu+VwY@r-s2TeNhF8HSjJJZyvruh4}E6jD;LBdnNvl(Z~+x%LzcRT|d~{HqMG+jBIvpIGmMvAad2Eb8{`_^hv= zSN$(`ACSxQ=k>Vs>1#=s78a*Eh%dq%2PzbTF+0=g4-XL2&HezgaU-)1_G3xc-?A<` zVKmHcy#Q+*Lp%Ld(nMtI;}vI%mxh{0^bdy&ek9cfa|AWy_IEIDOJTy!7I(vd4hFlh zNkp=yK@3?QK$iv&fLJ^De%Dy6?}pGT7BEUQJ9WHL>`b zRoez5*q`dXC#)*a}e0ARex?)7C7em0LimL4EFzMOfb2U;z zOkXr@k&VE>0{}FPA*UK9ztzln#O)1PT@n}EA9oF7RR?AK>HA}-<@rC_4QU;NIB{0= zEw#~FaK%Eb2_(R}mj}^AF0>?bgkzDV%ss~rtebuF@5!qBb9`LMdN^ov4Nr?4fb}m z2Z@kmF_y}wY(Mm8?p5>ywoP)MGZk6tp6>V&oEU3!B9J52T!$n+HQ7s9Go zwhy-fB;X)P+KYoEdpdTf4xY4pN(v0uu?3PjfUguZJ>X{`8`n!#38Nv-CVd%jrWVLN zaCc`6qsyTnAdH)|@?@z|V(``2;S>tmPSy(78>aWhgCQCuWOhztwTnPoSFCL=U)mWx zj#R+I0Dd4+Qs(5x+&e7qvSW0IAshXm@ua32JnkQ6l1bw-tm$>X*fdMQVjKCpBJ+5< zd|Q$woe=nOD--2uEM;q~4fheHJ8aDoF`-8SDOghHiu{;*4xSqv1SDY z*zR;?NNd`nM3)^w*L(w?$Et;M@-sr%>6L6~RjYkSZlGqgucZ&+9Cp+M1O7Jm^ z$39;W9rYN3BUwbpuDEv>5bW8ut2aRh*r;Bd(L5l?Hq42}tqi#o$qg=&{w(>f+~>?h zWLb8TxM&HceJW43qhmnN$N(cSc+vnPY2a#l8QdvoO7bwkt1&KLQiVVlHSc2_b!w~O3hStmFChRXic%%#}eM4}s&!;oQJ7yAPuT9qJi0NJS#`~<=Y(*!y86${6Mmx>Pm<0`I zYT;&);|l&BEL?HFTclzGU}N?B%z03#CZD=4#8`E6rek|Tx?Jg)Lca9Ou@pjfue%^= zuyKYV4N6@)w(yAAk&anF@L*E|QL-yPCW(|Nb5CppPpDlxz_<{{gyTL<4-9UrNV(xB z%~_IcBeC!N8FF(F9s9rz!uO~3A6+|4#*hN`Ju z)_r`N;)uZ>*vq#@9&- z!3N&#PIOE)7E?*)J+3K3_R7!k3FC1-Pt(2xHZN>}O{fSPC>h&D?7pXO_C9TK!Hg&@ zJlaM=W@vJ-yY2|GX0t_OO>0>76;~+g+5=GD;~C?*3gmbsY9m8j;W{M41fHJ~%IMkz z^5w7ZeIc{kpS)SrvZ!Sv1{su}O-``vR7dq83P$e^s&?;o2c|g?zKgKH%T(UQ?dvSn zC}?{o6yjxeA}r7*B?4yfl=R&CHz(PBsWzsk?UgV{2P_ONzHfsd*)-XCK{?yVuY>XsW59ebAd}_i}H5F>HsmPlLMSzQ>N< zYBAVZ1;=g@FtK zCJZRDx+iPpX+m>C`^|YPlXG#dNu9So0BqCM&>xNJmZUWnfAM5c} z7R47A&Itago9qjSU^hTU_r%_SFvHGs;fyq2`U7xJk2QAS0c0zInTGi|R=DS^ohJ+o z8+)cc2fIWUaLX7bZ&>>UT>0>$kFKF$9l`XiE?pA=<_jWw z&q=kQZ(VOmvl0A5K^ACf<4F||y%AG^O58V%`DhKMv)MZ6qxC!3KuB)EdooKgnKbbw zZvt8l-19kJ?a{Zy*Fe?n+}`@43TEtKCTGYs-!{$C$AS8MV!HdZ9x?u9L*FlRn7q&v zX%cb!M$FsY{g^eIKQ1WTc<)uHI}E>XqO6%M3y`HUVCrgQuiYbyvZCL36i2{rhbOwV z*4|tQm?$ix0$K`d0LRa$_F;&-mN)esY^nX!9tv9eu*=5n?mo-z>mK^9W{&AkY_G*3 z)li9?)$W3!dD^et--A7%4xQG}L&@$1Z+n{%XkL#`d*+0teelm7hhV$mUXPu)y$4#N zx$QpWRFmVbdU4^AGz(btj#LM8Q%hlS1SP-y8fz>5a&rjS>!Wz}HGi1>9_)5tbk#7% zc+}oQWVf$+<8eG~f2tei^X?x^4^YK&a0t-S9eY+g4cZp% zC}ise&3Y_Gll4CXKZb!s{?gDZ_HT(>|M|t4&i4mW${(Vw8#U75#5Ij|FOp=ZVKlMA zz+y^L8U%7UU(qK%HRKi{LlbtTduV!^Lmm(I~$YNo9vP@)H5J zkYWF<+%*X}_SBle)>F9B`vv*$g@O~niIIEXoMHFH`kV;-rE}TBtG!e>3-`CbywB{t z@1+15ju>3TFz?Lo#4XMJDwcEm5xS+BffwVydlRl_x6P40&ECr{^Jm{2W|fy<{{2_} zdy(Xq&J~7SNVZ*lE$)dfAXz`RU44>0Kyvh@VEThEBXh%prW1V9)+?AJy?+(=mvv&oOVyMgQt=r@y@k%5QaNPDJ<4Nn7fe%b_uIb_9tyI;Qg4#BDtH3ucJeMP^&g*v0U)*bKhGwf;>q_v9||dW z-9XxR;fX^WiC5ck*J6V zKiq%LYsK84ZQ#V3-7a3QiQ0U{-D#0GP9wqX6-3s${x3o)KI(*q2|Yeg1Un6)gAp)9F|GuV*L!w)@j) zMp0#rVb_F&`_G1*Q7;bp&3WD(loejI)ebE1$-7VTBRD(blN-~#l2M!?mT}O_WVYt3 z7mpQYkG(OkAADTU&YKHHm~{I*tNurzlJxg_K=5wccr_JoE&LRXmCgKV|63w@mRE2{ zWH`wvV4L9fm!ZMjY~KOi$7C1a(S=XznSlk8Tc{?Bdw_qY1I(YBW?$y=vndwQHOu?mQkFS5$xnk+dsuK z&5ytod>s5;#4jy1h8mMFnS#5DR9-f=y>}g$;7|*9H-|j?&Yn5S8%<>RlhUcb>xGgM zFB^rsItNFLSI=>4R@o?$k*yQZRBg+DS}j3=R#)5eFjaN{Sqj)wb7K?>DDX?i0Eqp4 z4Q{NkCNSKQsAK+dcsr1?O`P4j5XQsyD!EOV2TxM6O0l5$%$y}I*wqaw`kmNR4?+g4 zfO&F1cJh*fOSa;RJkVUAJm6JDXLOY$c$u@ezlk?EKEDb;5} zm#9Z5JhCv<%knPy0wg=;dI@L3jRD6lLX}ow_hvczzUpHB?lE_`J5_v^6h5~ zabPz2Yd;XVzZ`SL-0PX}e6zkd>;l2*hy`_+C;erL3n$i0d9vHo8{C;c>5bs7l6s~W zhVTf8{&Yz_$w@^3xK?X+@){v>k}rr%0hWB@d@9#cu74f2k;6&!?A6akrYM}0GN$99 zz5qK%GC!=)2KYIJu)J;ylgEk7(V&B-fsA4!0&gTb0;21XDqTbU6@o^p4)08q@#Xp_ zr9K2F(FV(VZy_mxr(uu3pYg;BJ0o&%$8n%X{edI0;RIa*cu8E)`a6;C0n_qcHvd9M zpRIrL@is;hQi@=1(nO~rr}4l6xNW&0j^pWACe zcO=)Rl%C~t&cLLc!E|OrO0`w&aa-o&}I-)wn ztylHiN_R%@cA|Yx6}c0z?m*iek?>emiWNQA=0p`ta;-6Hjv)(Zua8z05HvMxPAvf< z=O0R^%1Bj7o4U$Q4A1@9UMD-Au<2Wb9Wkv9`sjacnTs{8;`hn)q37nFaJLb(&c%*C zERf$Ryau-XW>sbbEC05q+~yULWlC-3!&I22eTOT8Ig*mLV}~aPW|<=Y1<#MbI3>mE zUSk%MwjI*eX(-(T#^b(t>7kTVI~3Nr4fK53vsMCPoyQ43vy;u^I_zL33=9BL!9^?J zE#|{>0{_2@R^tFHR!Dw^C|HlOw)l4}W}3G!@H`;K5bTqTT`I2>i1ij&YB8*x=-Ar&P49FfAFMH>btDd(DErL85QM}1nTZmpyBt4bb3VHiA~WbTLc_8*nWC&YRW%C=*X{w)z=9)ZP=MYhec zAl_+n1jDQ4D_ydYlf)wd`S(E09e>wSv~!2yD^3nmPJ(mRY3S zj#|B0P9r7OH<7mRwk7;p=_Z?qI;l)r*&h4BV5wzX?vM1oZ;3rvEshB(aX+MW;Cs zXs7q|iapJjYevUfvD&>j&b%Qp`U_PtE;vOEH_G4b!ZLT%G{*HOH}D4 zF_2~r%Qc=bw39N|&c=lDgfP~24^5sBw;qS?tLmALNGL!m2HSpyr)+hHNx9}GyiCFQ z+=T$8o&RCTdk}e@qoS-;={xG1bAe*|kErp0ddc`kV}#){4`=T{JDINHc-*8%nVrM2 z*r=;;0;VU! z%+duez#L;(MOesThs2nOq4YLldom>FQ$152?*TheF+lG|5w5rfZ+n4<*~u~k1lsmYY!&y<=>$XZg1m( z8b1imm=#B5X-?qK1duVSi$kwY+^0jbLyMWrQlAVD@E!_@bLwGZf?B4+sm% zHG7<%fK9);Pw>DW!~_qRfEr%MM!+R|*vVT|Nft_VN>0VBMJJZ*#_F~N8GgXw?{h@u z2ipF?9QD2r|5?U+INuT@_6*QBbPbnxU-6+oB;#MItm~Ld_N$^Hm)~;;cgf{R4S#Cl zA6l;w%2kaEqKy8A^O{w$!8dwq@7Q3R$IY(2?t_=9 z;GHZpOkgNFW-JbhP8eL?n-6;bl20vDR=!;u0D;!A=BhEAQpH@*t>JQv7kbg_qEwqR zlkAK`490(q#YzNBrqZ{52!O`2Me4GKiRe5Z!)qGe~ zVJsB%NxcQVnJd$EPrke-$$yU+@6tEeP#GrGpo zF&lf8_h1GN#*I(z^$I|9tw&8o34qSW7{cgqRTButAPi2SpK3^-ye{^V^GX!`$rLL#w7HA(gjIKn`!l&-&w|)_f*F`G%gZlyWT1R-S9rs%) ziOj(FKj0p=hW|kZrD+1sJ=0p=e!j(q%P~i?lONBBaFOXA6rBx;*w(!k$2xSe5tu}} z1@`kF!;=^AEP%jVMbpY zQH8Tf%BtRa$Xv=!Zpy9_(G7(N12f)ALImyI1L_AsWzp;o6Lbq;MbkN`+}}pcUXALQ zh1y>m1*(<+T_HRR44IoUtFnXnN>E<+1Z{qmTgr-2pDbX4 z`F6;nw2 zAZVsP-bw4l&HPi!4c5zH*e_D$_xQtW0?qN*_|$r4$vv{1^LEXkB5-X#?!TceUtwkVOM zS6QNvJ^Syuygsk*AHRQQ?m73I=RDha&U5c`o^y9$;`@5rp9_MnY*G4W%L9N@-1nAr zK1hnLu_bO^hDDkcpg}5t0)o`HS!oE5Ao3gqcIi)Ac{qFNkMCyP<%G@$m9c_F=ftKp z#wI^7aqujsxnYOC#+>w+&>i)nRq%pXo!$_6CzT&w;L~7(Kg{?A9!E-f9*PS4B7U2P zXI4a=G~Ktz3UQd78($J@g1W!d#&Tpj7TL&z+>Hg2@N2EURG0^Ek$SyFTIvpFY|yH? zTOuzln%ho7CkS8J<^#fi{SBrvUN@}Q9o`razKD9@$%p1(>L&tAo00(V`_~Y zSRNKE;3Z|-mQ_3`sADo<$hX$7ZmMH4uji1x_01qN;WZLk2T!{fuD^1r|HIM3HI4t< z(`vdpZCl#5h@6<|dD-=vC*os-wW{-#1(s#3P;lPStS3bOFu22aGyO2Tm~^If1LE=+FRJo>fgV5m6#!yG<%fW@AX zqiYt04Q^pkK-fR#`DoZrEM$(X_$tJs=tryD7m#p`v=`Gbb3X!jD)bM5k%O){ZUS%=S)qtE$ydhXCSwMB&O?5y z!?;(}xwXqi#2*?V_75wo#fh{r1!Gj3h!70i|IHQCT^=Bw6D z-d8S6|DbyB94$({UjKr5@p?pRe+?L@wRfTr8jv`Ib7S~PeL5+KKWqg7xBYtKa^f$v zQG;r{Gd%)@d_eL8%XX6T<5-i*?P+nVuI?ilw|2*Afb7hp+zYr^Y;!Dn&}t_)Wh)ub zR6fI^1aQ+-F0Nu@J$C<4C@k`O(NiQv+_X5I~85BFn6_TW&Rfu-O`84xY{S~9*G3U#{uaURO2!o7)f_M5Z(NJ1<>xrd(V*+ z78lI^h4I7%Q$Rp*!GNl(rBB+g?JXkzGP9IGb>$MOr2s&(I}yJS@_UPUpW;3erTPVK zx+&?21WjDJ>c=V8D^`oFh@y!TFHO0QWW4>DN*y<)8cww&q3%N5R4)-;?sET@_Ts_0 zPi@!|fuctOs$q>8*~(&+Bzq!uhF;{8OHVG1$gcwk;?g_(2uVtXz3(zb6nHyty5Go; z_p9~xROc~;?FID_?iwVIqNtpP|>XUB7AsAj9HfM{6r)6t$NF)Dx1V# zue-LHUw0YtQ5-rt;$d#^zH6PLgR7@VY^UZFUt@gVc5~UcUM896H0@t|t#52r57ccG z(wtk-sFirTW=t$qC zyn?2(u+?uh-BOTBD4_yc-@P)X=mc#tyx(s0taIKp!U-TG6*Nj{#qG%VUv zx%)5N^pHg!%%Em416P&bBKhHs6&75S>SI{+pTDYqqUfqgamWph(?RmFYgIfb#@|wZ zC<0=uXuKvi9sFSt*Bw0>bj#~xLQ_4sB2?7UN|Hu$v+ zE-kSWMl1Mb>N>UKuO z%o;^6kBlis-uU|o`Jk(V%eF_>zqomJdHb1!j`zo1tuv;0`=m0}R(EXkt&*dkZ<~^5+T< z6+2D0L|28il)hIx>Loq;?uUev%LqkLNh`>p{qg%?malr_?dK6y-0wTK7U(uEZ=Wb9 zC)(Hka#GaQ(!EwCUj91V!qrE3SSl$rOsPIFp`|d+KHb8X5FedM?5qlq?YXQG zynd9N&{jLvVm_!a7coZfQ|)n8pIX+pBYk~>j7i6p0F_3QM46fZyPjmNKxSiP;~|Tg z6C)qf6)L5t#=BAyRAV}~8QdsQn)2(q+4v%&B_V)16{M)f*1tI+U*W3$f~=H>3FKsVLqO4BC5NYF`j^{Vit#_xFh|(ZBEnmwn5vsS| z%`Uk-B2zs>*m%Z+y8#Gn{O;}CU}mUbWo2N$J8MdZ#lFQaX0@9OLTJmCWw|4ihtdNs zJOW#%e`Or6?1Ix;Y2rgyhLC((pNcy6|2r11zjO zmUk@{eM<1~YDWsh)atDbwoPewH*TVWjn%#&&1<3bYujcK8t;7+1;MiU&_}X}Ze4r# zmH-%ajK-ryEcTm)XxJns->n5pq2&TsuOrC~_UG3cQp4ivtW*Ky6Hq(~dBPJGH>zR=Q$VPmjx1HVjp@HoSe#k|NxSS)aAax7hdq>?bakLv&v891zuAzWd{?2VLB)pZY0Az zCzHCr5cAw~Gdn}N(I;QBK{ZWk8;lQ*lX3N51mYHN3r%6xyM8-JtY-GrAA!#@#25$3 zZYrI3Anta4Bye#ITk9YMV>FWx-7*O9UJH>l(j79TIv69?$Y8QOZ6n#ZI?@f3a13?* z>J$ME*vpRRVp^>9Hq$9t7JHULEWSa@+*FvEZLGqO5v_l5XHpsbami5_EIfSBm^HPU zPFn_pa1ra|0$&)*4JcX*>*UzwuUi3ZJx5s7NiYmzYC&Y4xG#%r7G#+fUi0MZUR9k! zI5O6stRQnm9e8j#DU(Uuh7GgSVl6?1} z>IIC{Z9q64Q(EkdHlrzp?#Q@BwM>7IHp>NSIeY#bFtVp1K7vkD~%(aC`5qyQ%q zg8W$Chi`c5QS$MyV-1+RvwpV~iw%y@$|mHd5`1s=+KA5IgdvT7avkDo{7u~Ah?WIX z3{HE7vp&PM2%%po;N(gZZdTpz%>>btf26=MO0m&pu~!l3<>2vK(p>(|ocNbs9R#2R zqJfJ=%jwoy-bYyU<2*b~yNJae@;i7g7@_E*2=KHv8t~d4p}67KEM9(0Ajx~5=|6&n z6p;ww6rlX3?xvcoWUGRI5uDxxK1BO60>enEalcEG5+WTwLg3dfK?^wr(<0TBuO3Ny zT)$5!YlYqSHQ?p8#}`S{EenX%qe&XA_YNr%@Rsb4eMC5L57GvCOvSP+h{@f*8`@r) zUct&dXgsy5+rPRdj%g`#_j-1+rLDCuw{i6i#M5LCi;KZ{HV&J(={DTePn!f(IB9Lh zQ(MNXAVen6or^E`7KMb7VoV-Vgd%umEK?2l37E#gp5g2T1k=g8NgpXxZ)xoYv4PL; zx!%#ZT_o!qG`GdJUkJ=PC$bm9r91nXR;j$;uvXt_3PjPTHX>o}Z}tcfm_yNL*LnxD zh$NLTUu=7mD|vh~&ePOOB6=U=xsQdPmGs^Ki6~&ZI<^NI&<{I4S(R9|9QulqgT zj2po*@$7#Kd`vrm=S!dv|1EUQRw7m9Raw{3B```@bk#XHo|TbVtlmyu#Ai;MuGyaG zuL#oiSJNCIA<{S#MfZ7RyAp!DRtaZW@id*mqGydD^mZYn#bt>Zt|)rH#oRjR^=!jZ zFB0qMv-1#DdsTMab!jwF6y4&}q(&0vb~z{4s0tQW6pL;-*|eHyBe2v9)aaSoxG>cG zqAm5h32m^ZT+lU_pHc3xR~L@Uk9gtD?(ypb^!AH(Wn_mvLf3N&f6Iecbn$CfmIg2ih6o{L)T%UFYDEluiVZ%qa z_DP#x`G`DT(^Oy`dGEzle-gxbsaf|dnZ|R<5?AwO=SN#Pc+}fKZYEA9m)}&^| z*;yJfEzn<(ZEMXjE4}2ue%!xbph+^DnbBcfng|CpH#g~Kanj~Prj_~^tcLCxpszFm?#lr%X}Q_fxju}bQj69@Mdg(j9>Jn36Bu;`|` z+|$qvC!A8{wJOP)Uy`0&=_~aTvQqRi0lP@ej{HD24v02DU>JF3KA5mx`LAn;L}>ZX zK1mis3U)EfiUgW{7UDUEqW>sOYtS1Wu>IsU5xw35i*`9P&2Or0k=Y^*tIdyI+%!)i z5VXr}g79jlmxXDc`!ETz?V%q9@psZ_?w{&CD5l!J^=+ZBAde*@`5KQOI$(FGrWgT1 z2aF7-9$s_ur>`fRi=Z*6OXs@+%B>G{xewcX?FM!o$G1`qd`ry&$!f*-QnVdj}*x!|yv`w(uxG`!G@J<%rwQ_g&^ z9D!*xUU^gpj=$k0$BHhZ-T)QMX@R(Vp*5^Q2 zq_)chH6F-V(YJvE6IVTO*x!) zIcK8c**)NZX%FCC&&;A+3&7Mf>w_gh08B&>mWzyg>h5yDuB$Woi3$!m?7hR* z1$$yudAbNhpLH~dF}Hz$s=LTODy%a5rXluB9<^Dl*a9u&=f;T^3nCOH1{lQQHn5yVr1Lp~S&!a#l_tQ6 zy92>o3`Ne)nPhy~JM(#(2qb$2>d-a(m;>j~%J{^9#hSSj(CuFSf`DbiEN0_-gar9* zLu5wgeE5Vfw$i54xnF4!78x&Z3e1;9$Jy<7ORxB32GRyhJ_KnG7`ZV+CSu)Wch6+! zH`f~^O`Oh8-7(XWZ;>7-JP_-ix^+go^OgLnr<-8m5x+wzO^eH&iH zO-K#Aa}#pooS#_h&Pkg1>E^IwW=-piJ124Ci<^VljDPFU-MQZUg_wz&{7#b@az4|1 zW@BqXUe*pQ&5ktk`$}Sc27q_YmVqLW+0xK+Bf7$MtwAMEsKceVy z^w;-2CRX~_huaF^V$YEbiPf>-`!{7M!*ehlxJdX%JBF4EE z-mE#iO7T!xd7}BjvdXFa?TLRd5h2ZuuPbXJ0xmR2iqBze!x^UA0zM&x@wzQ2vF|=k zuJ{sCQ3Javz*~{X%MT`HxwY;5zBYkhr%l^yDvytHax#k;j3Zz9o_;AI3VF` z9u4!W*?0ZqYSyanI3o)!b5VHDRDQ5PmfIoIQTv4SLLoTzR0lU6&B+huBVdl6G_Nlq zD&<&r3(aSOL2t5mZ@t=M01zR*{87toL6-eW^W#&ow8g%MS$A74W+Fl1_UPQ%MvNha z8;`4clJ@M&l(@TC(MDnX&#rPM(M#H`p^b{uBT2#^-&P%gP7%jhSEF|!o)HRN!&AGE z3skvs^%7dQVdtl+d@cZTIjW}UK1gOoeZk8s^){2&tkW9dHm`pUXEr{>!h1w3sTfpw zu0NnX1dU`d(};scK@1pALFmq#%GUs0o31gkYa|U@8803vr6}G)!RgFZQDQk&ml5>z z*Z#K(_Fm{m%u-kvowwJ$V$=jePZ5a!d3Pxh1Ndw{pgoDvD=oMg6)shm2{e2Z6y4gm z02o)4*g5J{HbGG!Is9=kM(cu82acpF=3;<AEPd)Oipc_@5XDLPdExbw%)O=CnIou56(atgQ< zAP-dLMwl7(~BqAUp3kDHl)AUMsTMY*-_G7tw~@X#Sv42dPM{oULkC14r! zjCJ^zN`Ej3T3wB3rHz_nKmSr!4+G(HzMVnxB8_amuF9^8A(OXIT( z4xg{E2NvxILvgH93%`=>t2utiT=NO+e>9McN+`Nr!Uf}IM>@qUig+W-sh`|+hOk7_ z{|bR47L_nfnOcp%c3+5_2yU47XchV}FFml3F-O((4At8zqht|d8_PH4IFeQwDaX7X zpgg5Mvb;;7$|M?!q3|Ajb60P)1M83(ydn$<;GQxcxmsyg)f?jg$peAW6*V|LRS2$b z2LP`{NrJ9pr}s2#j?mIfw1Rl94QbA6Z-1EK$E6^d&}uenZytC(T1VZRyQVn%q|>Zk zrom2cVVj{03C#(C0}ieu6bX-eMWNAVVlD4JcjpJ~_`Wvc_M5JoVjfx@j=#2Nc5u5z z)hTcyW<6Q2a=HZBhPSrPm~>r5D~HeWSAD@y_*p%8J-IxR3i@>*%@pBu2YyrY*^m-G zT9*vn?HWm<%M1@tp<{ll>gl`Xh7>=M*C@)snf!IwWAUhjvk7ffhQtg4mOl2NL*TRo z0bxlcJcRk@CBUg+!m$=gLl|QOpM~S5e@U9(Ms87R)R99h(#Tp&;M%LOc;=B6W2V;7xK#R+( zx`;P$%axAsWZ|FYkQhn0;JPxQxJ=sM)1L}uu#l!{tQb5W6kriM8X93 zreSWR$K?AOB-1VqgF~ftB_m#)7!U4SCB?FGLCs^O%};sUhL1R8)^fn6bH320eH=bdV3`rFE&1g==PI zMGmcD^OoOny8|2=UXibknReyIaxk6|4oUbVBUnUz>-@5*V_mt?oQq%77kM3^LvPr^ zdcZ}QI>ZvGY>w)@B1f-W;C2HOB)uqES$btB7h|NLY7)qg8j=I=^V{++DiWXozk;ch zDJBa4gpG7U2YnVF4sY)rD%W-m9SM_rocNg^r!N4XQ{ljAXo#&m|7nhO>#7_*I@p{T zQVCyX_%o<12b68fwQB|$&TocWJLlCvQ%3Z=V2K;%8BxO)hg#rfj6_y)08TTmLYcbU zMGZfL86m`vp$&k^Wb}eyf$%X5A$1DBMmbF_MfF9jxGQXbQ;ExCBva#~CN+C=l ztFk$Ifg0te&zgsgir)C_YF5;O5TOhnWXjZGLP=go(^lZdKS7FY2Fp?c^rLIiDv7Ac zAW@tt^^Cxa`}hd;7dJu#`^2dfXOd-fr|G=HYGnvdvqQLJC#@AR!$cC}02Ky3|3spm zMCZiLQmfbOlr-WGuPJvyl+|F+$>oMPy9r+dkf^UX?%N&;(s>IzBhRz6P#I0VoMzN!JkRJhWjTEes%`{Hle_Mtl{sWFlI3+0V`P1o5Ltqycg0hi9dc#F zt6Bpl@eFg2{MleI0QbJO(5QI!Rj*QpHcD8$Q)nQE&o8Vm^WDc50p;#@&bx(mff zNjxKV%1R_U*6l~IxqAvXp4aSVu%bMuz(Hjb@_A29HW%wf=m@ErPvw|KIh+rCoSP+L z*kQ4GIpS5mN6gna8!UX*x!NCkk@HcdujTHv-$;O-CJf4xER%&<3!0x5b04?!zd5}y%$o?zK@x494CQh~g|ww>q@l zZ!_IWHQfst7V@ZHWZ&A|vVC*p6Y2k_zUP$d(r>Z+Rv`pRCwEEgo8pL)iY{ze6w2Up ziwZW`Z`8u;7UjV{$d6yyBpT*k2D>SC_F?BedFgV>H%aGvxNz<@)h9tO63N<+xkKcJ zrC63d*vbr{a_w$S#L$a<0(n>vAc}y(EmP?Egc@~<)V&hF5UZlkvYa3Z-?o6r>|t^S zm8beX;ytF4%dI`EN4W&w3RKSJ+7o9$Ym95g=>O&xLL0bRoj8qt)(9pg_!GwwaPGX z2WEP9b@u_*MLAj{E=T`IAP!CoD3pmhwYob6NJ{c`f_%MVw5vp_z{&I=KM$lxUGXFX zE=(%xRZz79q*0w@y^>T3=FL*4I7y(W-!9d=aCRHN>GMmlFm5Zv!rT$-m7U5EWGc zTOV0t*VHk1_EwPvP~Y(jzBX`#=WmUjLbNyz7bD=ph%bJ@!pa|K2P}*FeY(1noOD)z zWc1AnDkLnerdj4T24wugIptI?O7|K30_Prl&4zVx@(2*fBqi+&^&sCr#K%)DidJ^- z28JzA@C!p$^WwBPcwhTs*OV~*A1c9|DN)v|Nfif-GBroY+*X4^={|-l3J;b=Rp`QP zZuZ>(=`io07j-LKr~!G=soVmSkFPlPybilm91Iy&SfU2a(u!XDMOsa4cI?SXy=}oIIxl zK(+f{qwr1fps88#0_&StKUnP10uXusJ(v^y3fL~ai~Azw(!^;^$I#00MqskRGUyR9 z-3N(d5>a8_vm!C=$Coy(Am}{(FCXdXsp7}A2m_@>?8iwU3J(hbK&8SqAhU29T<#%srip(q{|Rs%=cho2<^!bDP9*oh{{ zH##jtP?!p7gJ#(}2z0u@k(jjojldLc;2|-(D!YTi(+^hnmPMfAq8uQr2p%sM#iT}J z$@^HQLbl0z+}JA%CgtN;0-ZXHan~$RmA$*LkT`w$O=~!^A&je^mu2ZdF*Q#0*QGBfS9{~^L4aslDgr9vb~{uq4VGqq(Ipk| z7DC~l%>sGpS!!Gir*QvOQDMzCvY-H)fnz(`slZA%M;~~#Ee+-(p%@?FhB=E({jnINz(50_tx>sH*MxGj7U^VD$gi4TXyW8 zvZ+qB>M)vGTTNA#&1~CVm@>j!t)${>IUh3OTx}nBPMNCAWY30;m{ohI2-#4_mB&|j z@0#Q3e{0RWJzdpgamOHjdVf=0Mv%ccUv{%q?!6Avz*Ud~Bx;jt5-8_=*`GT8rl~l) zH+#~OBTQ=w2BniL{|=dBf3xI2k-qAE8!i_KGYVG{wvZQ8xNR=ATgp)H;@LH)8N=F6 z0;g9Ddwp~JCiZRLw@u%~%ZJOg!bQSdm)9xYHqyJfDf+C;aKJalH?DHN@YwLD zyysbA2ddXA;5;I$8|2l0X_p+E@WQ4(kDHy*-BMh9CbagKJKtP}A8TftS^Jxp8g~A= zMQR87RRvdJBL7`q$F!TrMT_uon@KOx2|=In9#wAh_v^-dCb>)X+qbbs<7(Mtw}%7k zd@vC$zPYKvSL|kc%AR|Jw`G5EMLZm;N%p&WsfmK3F- z=jolvlBnX7TFnXBvFS5-RpY8@v(dSZ>$_5H*O9jC9Pc0Ot5qc(kQALMp5YrU_P<(; zrD^fCw`54$m;H%<`Rc>O%MV*c)n9nu(JI)~=^%y_pVf>{c)1jx`BIDz19QGmOXu6< z9ghbNjZ6i3oJ4Lp4oSM>BQLXWt{PS7*+ow4}xN z_>);r^L!gBr18BTr|pAJK6-TGp$;;iSk*k<%gwh0F1GZI_gvx2SJi(tpFH?WmYUGN z{^8F$fmM4S7Wp_Y+<->pvOWLy_WbyC?Tkmq#%4*hcYIY{YvExVUkhKKF9$u)zIHpk zW4)Jlwd=RHoH$eZG8zx>`1XEla1e3RZG4sMs_D_C0l$~NS>OJW&_4BzUpj;Oh^r`W zGV6%?CSmm_+B#6D!ftIzwEsm)3cZ-2O5gj?k4gW8zUi?Z9E5MDs-p7h`DE-`ZJQvg zUky2R_ZN`hM-sWi&vlf3b zR6$JJwYK)f-a`SR^#=>QtVGp)cKXf$4<8Opx?&%vVN0ASO%nT9@g}dQ2#>yY)wRYO z031K4ckJOgDf(`z_HO3i1kxY-Tz!3ON!x2T{e6PNAnc`mJzAJhAvxCo? z_WvMlFIfDqMM-v|@kMygr_xb-))6ybl=W;dWhm$blURCb>>{~q@LsPpgRTU z?BR-C`Y(9zax2|)d3o(zW&HzSleAJ^K1}nOaB(f>!zU)@2d5Hi9h;Y0TvR~!3nqQ* z>HyE{2a3buyBBQk(t}NHRh(d&^D~`kWIL@zn6VGdxla$$7s!pnN9)5K8uH9t(p#Gba z*Z)Bp{4Z-Vq}D$X_SYl1prMlYwPunse{`B;@1#<3-M@~verS18!aSHY8H4aIOGPQw zrgJ+`+00^TBrABl$m`iU3@=`~%j9G^HOAM*Ph$AmzxX$xM|N*4Cpq&Q(5W*IKWZL0 z{wdOF43!P|{c<_9{jvLHKHDAK$RO$M$sXqw$hO>U`V%f zUIslc`tj<|dxV#66RmLlv{1J|M#b;eY+R2{GIa2hC5D~7 zp5O6X5t@;Gsg;a$Hbgo-(*9^UBaEJB5Vi9kkJUI|Sr6$RdRJarbNre){-r|bV5448 zOW)t0JvtB~*H~EpYK6~Ye=X`!Qt>&_G!=-x{;x;#%_{UfyU_e`N|zOXJi;ZD-mUnu zL)GRuhW{ikmxj~6sq)N5;Het6bbtQi&qXerbc2R7wz(TD-XJ`gXinf^^LPf8-3G|d zI!nl?qw!$o=ZR$BPAc+QYjW1fZ&Y^jlO>4o?@x;?zx7%QeXeO=Cy7oe z_~soav+OaPd@z2{LC9yl+!#M(}v6 zwGt|;Va~mb;VZmWC71>XFN{&mQpR!*sokn0p_0jgq04^K?^7^z^Tiw->V~Jx7jU?c z&rIj+$dULV~ZX%-#*2@m`on zK75FJ#ub%i%+G%7g};Sgok0Sq?MI#3bb-U92dA$ysGT$ClFC3H;xOf36CC|Do~&bZ^UMQ;-=FKLd30qL866yghFfkr{{3^2_McFa z*xNuxH>Ycghk(&CZ+=7`{U<~78it;q%#NL(eRpwm{~*lKy7u>cNImP;4(Zq+IndWj zZ9AQTUvjM$8SYZ()cUGd3wx3(Fr*W+u4K`nx0bwSFWoT>jYIX`rU5H8JyCR$h6**^d_I>1XF)C>s8?jsD!>{Z~1 zC@TAE6*2$v6`=`F|9RB!a$vI%Y7-YUlKQ(5gfA8AjJ|f{-Czv0?lqdzdl407ad4T$ z-{|Y>?@`6iu2mg<;SulkDG?#xRG*Ig@h6L=qv-2gYX7fIB|O90QdxgCgLwpV){*LL z_D~ajop|nkLjQ`KUH_V^yhtn}`O_!rnjk?`!aRAvju}m_@|)WVllgn*({aYpGk1iM zqdIZJ`>!jgZ2WX%>$JOT$|x$!fy<(ZmMuf(V8EcUcVfO(;|P@$g9k!YvdJ zcbC+fXdE@Och=A!c?^$S0j|P(Ykvl;u#GvmJ}qO9T6I@H2&Xgo!i~`_%n0ZAe-~NX zMaEl~D#zZJq@vmHj0d-xrw;207RAIl=g0MLOFY=V34Q&(W8dc7QH5-$B<3f^jlP`- zAKLw@+AoE9v&rpLrbfhn0NMioxA|C>?7OX@NflAB{#Rg?7N(Ey zq|kF)V9KDn!T%c=p+V`(qH?z{88w^UzChNuv17(plToL>pxRbFfy)o0^?04fRI_v5 z0p*|+bKln;^87!UE*5TIIIg;f1gUbh-&Xf7iJ-G3wOh5u%vDiEs_NbD*sj-S$G)qe z-$OHnUM?}Oy!v{EwIiJ>*ikoP3DU*u``p9kXyvIp)-pg%{2pA=eFg|~VJeDcp}ny>-O zl1#Mo6ifB~V2+77( zeY__5Ci5?~?_E#cWB54}&!ncVY`eNH^-EU#e4RVg(brHy`#r^8D_^=e#1KQj8=`M1 zZfNmvIpF*Fok_|~e$=KP)0nPkvB6bf+^QEWih(!Z=HCxxlF2}Q`&Pk{`%3?C(lzaQ z(eJ9J^<8Df)9Tm1?TookXfziv_uslpy)hC3wc1UnjJecH=!ke;(!-`t#6*GFlzCE) z+VS!7@TMO-t>YW4{|82AAlt4o#MfKA)a>tL=xgmFp#P?`O+gfSs9&?N=rk&$E*1V8 zfwMG%MN|Cayi}>Pwl{YqpZ45ep{CpW@e_buYIkWzZ3@i)NF!m}_3iK9RTit7fg`p_ zaP#zy_r$E;9ZFcW)0GXmM-6xttNzN=&|7&%9R2yRsp|(MEv@MZ>VZ$t5&Y33bXoT2 zK_d|C;`NT-kR0%*mr#Dyl*IJk`_>G_XkGhojx7!wWN}r z`c`%owLzX=?d=s$R8%>ObAH{jwIid+-PZhzRxakPwcpKK?)<1M#p>3Di+eKHCTgEB z=LVz5%a?6#tLfef3-X^or9vR;zdWxM0Q2fjFWKZ{!Ui+Z0A6$3c@;!7#R>te_pagHvZ0w5SiI=V^ zM`vE{=^fdx)G`v9UE7_v`^g-8ll{(^m-J`C%TBZ=JP`BN%DEN%`*Y$s!Xyhht-Vv9 zd9CV-l}=;z6g4uXkowjz$5i-W+8x#Tr<(--zWC;DXTV>xU;h8ye=BcihUHw?n!HhQ z?e=!_wY{=Z<*M&f-1(;r6U%+ii1V-W{*W46c*@}2+_%Grvt#cvIm)YQT~(%SbFT)C zo^u+|)LXpRL|HxZD;TWHpxT8+!ML zj>CAb=vs%zIAsehx1QuliaZH&YeGPD}}Dk z)$#Qn$>OukuZ@4xdt&&}XSM0ktKS-WLv2)w)`c2c?eml?(AYox=udahaMsyBNee}G5C=5(|Ns&g5Ldc+vDEZ6`)C!_UR5bYv3dQa7 v-mX;inT!veAZ`}VeObCIyV&->V!`6g{~8PZTZAu>;~esJtJ-Rtcntl2gaai= literal 0 HcmV?d00001