From d7fe56e8c2baba433ed1973b5836bc1891a69421 Mon Sep 17 00:00:00 2001 From: jlh Date: Mon, 19 Jul 2021 19:57:29 +0100 Subject: [PATCH] TheHoTTGame should be more usable now! --- .markdown-preview.html | 41 -- HoTTGame.agda-lib => HoTTGameLib.agda-lib | 0 Plan.html | 377 ------------------ Plan.md | 107 ----- Plan.org | 84 ++-- README.md | 56 +++ Trinitarianism/AsCats.agda | 2 +- Trinitarianism/AsProps/Quest0.agda | 4 +- Trinitarianism/AsProps/Quest0Preamble.agda | 2 +- Trinitarianism/AsProps/Quest0Solutions.agda | 4 +- Trinitarianism/AsProps/Quest1.agda | 13 + Trinitarianism/AsProps/Trash/Qust0.agda | 31 -- Trinitarianism/AsProps2.agda | 13 - _build/2.6.2/agda/Trinitarianism/AsCats.agdai | Bin 0 -> 2689 bytes .../AsProps/Quest0Preamble.agdai | Bin 0 -> 23409 bytes .../AsProps/Quest0Solutions.agdai | Bin 0 -> 34603 bytes 16 files changed, 117 insertions(+), 617 deletions(-) delete mode 100644 .markdown-preview.html rename HoTTGame.agda-lib => HoTTGameLib.agda-lib (100%) delete mode 100644 Plan.html delete mode 100644 Plan.md create mode 100644 README.md delete mode 100644 Trinitarianism/AsProps/Trash/Qust0.agda delete mode 100644 Trinitarianism/AsProps2.agda create mode 100644 _build/2.6.2/agda/Trinitarianism/AsCats.agdai create mode 100644 _build/2.6.2/agda/Trinitarianism/AsProps/Quest0Preamble.agdai create mode 100644 _build/2.6.2/agda/Trinitarianism/AsProps/Quest0Solutions.agdai diff --git a/.markdown-preview.html b/.markdown-preview.html deleted file mode 100644 index b9fc048..0000000 --- a/.markdown-preview.html +++ /dev/null @@ -1,41 +0,0 @@ - - - - - - Markdown preview - - - - - - -
-

Markdown preview

-
- - diff --git a/HoTTGame.agda-lib b/HoTTGameLib.agda-lib similarity index 100% rename from HoTTGame.agda-lib rename to HoTTGameLib.agda-lib diff --git a/Plan.html b/Plan.html deleted file mode 100644 index 2cacc26..0000000 --- a/Plan.html +++ /dev/null @@ -1,377 +0,0 @@ - - - - - - - -‎ - - - - - - -
- - -
-

Planning The HoTT Game

-
-
-
-

Aims of the HoTT Game

-
-
    -
  • To get mathematicians with no experience in proof verification interested in HoTT and able to use Agda for HoTT
    • -
  • [?] Work towards showing an interesting result in HoTT
    • -
  • Try to balance hiding cubical implementations whilst exploiting their advantages
    • -
-
-
- -
-

Barriers

-
-
    -
  • HOLD Installation of emacs
    • -
  • TODO Usage of emacs
    • -
  • TODO General type theoretic foundations
    • -
  • TODO Cubical type theory
    • -
-
-
- -
-

Format

-
-
    -
  • [?] Everything done in .agda files
    • -
  • Partially written code with spaces for participants to fill in + answer files
    • -
  • Levels set out with mini-bosses like in Nat Num Game, but with an overall boss
    • -
  • [?] Side quests
    • -
  • References to Harper lectures and HoTT book
    • -
-
-
- -
-

Content

-
-
    -
  • emacs usage
    • -
  • agda usage -
    • -
  • type theory basics -
      -
    • meta (judgemental/definitional) equality vs internal (propositional) equality -
        -
      • function extensionality
        • -
      • -
    • type formation -
        -
      • inductive types -
          -
        • (side Q) positive and negative constructions of Pi/Sigma types
          • -
        • data and record
          • -
        • -
      • -
    • universes
      • -
    • recursors / pattern matching
      • -
    • (side Q) some natural number exercises as early evidence of being able to ’do maths’?
      • -
    • different notions of equivalence -
        -
      1. fibers contractable
        2. -
      2. quasi-inverse
        3. -
      3. zig-zag
        4. -
      • -
    • (side Q) types are infinity groupoids
      • -
    • extra paths (univalence, fun ext, HITs)
      • -
    • -
  • HoTT -
      -
    • basics -
        -
      1. meta interval, identity type vs path type -
          -
        • mention identity type for compatability with other sources, but just use path type
          • -
        2. -
      2. path type on other types
        3. -
      3. dependent path type PathP vs path over
        4. -
      4. univalence
        5. -
      5. the (non)-issue of J in (Cu)TT
        6. -
      6. isContr, isProp, isSet
        7. -
      7. drawing pictures
        8. -
      • -
    • Structures, using univalence to transport -
        -
      1. transporting results between isomorphic structures
        2. -
      • -
    • HITs, examples -
        -
      1. the constructed interval
        2. -
      2. booleans and covers
        3. -
      3. Sn
        4. -
      4. S1 with 2 cw structures equiv
        5. -
      • -
    • Homotopy n-types -
        -
      1. homotopy levels being closed under type constructions, in particular Set and ETT inside HoTT -
          -
        • in particular sigma types
          • -
        2. -
      • -
    • -
-
-
- -
-

Debriefs

-
-
    -
  • 2021 July 15; Homotopy n-types -
      -
    • watched (Harper) lecture 15 on Sets being closed under type formations ->- motivates showing in Agda Sets closed under Sigma.
      • -
    • Harper does product case, claiming sigma case follows analogously,
      • -
    • attempt proof in Cubical Agda but highly non-obvious how to use that fibers are Sets.
      • -
    • difficulty is that PathP not in one fiber, but PathOver is, AND PathOver <-> PathP NON-obvious
      • -
    • Easy to generalize situation to n-types being closed under Sigma (7.1.8 in HoTT book), we showed this assuming PathPIsoPath
      • -
    • -
-
-
-
-
-
-

Author: JLH KL

-

Created: 2021-07-19 Mon 18:31

-
- - diff --git a/Plan.md b/Plan.md deleted file mode 100644 index 618c840..0000000 --- a/Plan.md +++ /dev/null @@ -1,107 +0,0 @@ - -# Table of Contents - -- [Planning The HoTT Game](#org3bb90ed) - - [Aims of the HoTT Game](#orga8d795d) - - [Barriers](#org122a1d0) - - [Format](#org3ea389f) - - [Content](#org70d2231) - - [Debriefs](#org37fbeb9) - - - - - -# Planning The HoTT Game - - - - -## Aims of the HoTT Game - -- To get mathematicians with no experience in proof verification interested in HoTT and able to use Agda for HoTT -- [?] Work towards showing an interesting result in HoTT -- Try to balance hiding cubical implementations whilst exploiting their advantages - - - - -## Barriers - -- HOLD Installation of emacs -- TODO Usage of emacs -- TODO General type theoretic foundations -- TODO Cubical type theory - - - - -## Format - -- [?] Everything done in .agda files -- Partially written code with spaces for participants to fill in + answer files -- Levels set out with mini-bosses like in Nat Num Game, but with an overall boss -- [?] Side quests -- References to Harper lectures and HoTT book - - - - -## Content - -- emacs usage -- agda usage - - basic commands (all covered in ) - - recommend doom emacs - - implicit/explicit arguments - - holes and inferred types - - `_+_` vs `plus__` -- type theory basics - - meta (judgemental/definitional) equality vs internal (propositional) equality - - function extensionality - - type formation - - inductive types - - (side Q) positive and negative constructions of Pi/Sigma types - - `data` and `record` - - universes - - recursors / pattern matching - - (side Q) some natural number exercises as early evidence of being able to ’do maths’? - - different notions of equivalence - 1. fibers contractable - 2. quasi-inverse - 3. zig-zag - - (side Q) types are infinity groupoids - - extra paths (univalence, fun ext, HITs) -- HoTT - - basics - 1. meta interval, identity type vs path type - - mention identity type for compatability with other sources, but just use path type - 2. path type on other types - 3. dependent path type PathP vs path over - 4. univalence - 5. the (non)-issue of J in (Cu)TT - 6. isContr, isProp, isSet - 7. drawing pictures - - Structures, using univalence to transport - 1. transporting results between isomorphic structures - - HITs, examples - 1. the constructed interval - 2. booleans and covers - 3. Sn - 4. S1 with 2 cw structures equiv - - Homotopy n-types - 1. homotopy levels being closed under type constructions, in particular Set and ETT inside HoTT - - in particular sigma types - - - - -## Debriefs - -- 2021 July 15; Homotopy n-types - - watched (Harper) lecture 15 on Sets being closed under type formations ->- motivates showing in Agda Sets closed under Sigma. - - Harper does product case, claiming sigma case follows analogously, - - attempt proof in Cubical Agda but highly non-obvious how to use that fibers are Sets. - - difficulty is that PathP not in one fiber, but PathOver is, AND PathOver <-> PathP NON-obvious - - Easy to generalize situation to n-types being closed under Sigma (7.1.8 in HoTT book), we showed this assuming PathPIsoPath - diff --git a/Plan.org b/Plan.org index db5fa59..7f1435a 100644 --- a/Plan.org +++ b/Plan.org @@ -27,52 +27,52 @@ - emacs usage - agda usage - - basic commands (all covered in https://agda.readthedocs.io/en/v2.6.0.1/getting-started/quick-guide.html) - - recommend doom emacs - - implicit/explicit arguments - - holes and inferred types - - =_+_= vs ~plus__~ + + basic commands (all covered in https://agda.readthedocs.io/en/v2.6.0.1/getting-started/quick-guide.html) + + recommend doom emacs + + implicit/explicit arguments + + holes and inferred types + + =_+_= vs =plus__= - type theory basics - - meta (judgemental/definitional) equality vs internal (propositional) equality + + meta (judgemental/definitional) equality vs internal (propositional) equality - function extensionality - - type formation + + type formation - inductive types - - (side Q) positive and negative constructions of Pi/Sigma types - - ~data~ and ~record~ - - universes - - recursors / pattern matching - - (side Q) some natural number exercises as early evidence of being able to 'do maths'? - - different notions of equivalence - a) fibers contractable - b) quasi-inverse - c) zig-zag - - (side Q) types are infinity groupoids - - extra paths (univalence, fun ext, HITs) + + (side Q) positive and negative constructions of Pi/Sigma types + + =data= and =record= + + universes + + recursors / pattern matching + + (side Q) some natural number exercises as early evidence of being able to 'do maths'? + + different notions of equivalence + - fibers contractable + - quasi-inverse + - zig-zag + + (side Q) types are infinity groupoids + + extra paths (univalence, fun ext, HITs) - HoTT - - basics - a) meta interval, identity type vs path type - - mention identity type for compatability with other sources, but just use path type - b) path type on other types - c) dependent path type PathP vs path over - d) univalence - e) the (non)-issue of J in (Cu)TT - f) isContr, isProp, isSet - g) drawing pictures - - Structures, using univalence to transport - a) transporting results between isomorphic structures - - HITs, examples - a) the constructed interval - b) booleans and covers - c) S^n - d) S^1 with 2 cw structures equiv - - Homotopy n-types - a) homotopy levels being closed under type constructions, in particular Set and ETT inside HoTT - * in particular sigma types + + basics + - meta interval, identity type vs path type + + mention identity type for compatability with other sources, but just use path type + - path type on other types + - dependent path type PathP vs path over + - univalence + - the (non)-issue of J in (Cu)TT + - =isContr, isProp, isSet= + - drawing pictures + + Structures, using univalence to transport + - transporting results between isomorphic structures + + HITs, examples + - the constructed interval + - booleans and covers + - S^n + - S^1 with 2 cw structures equiv + + Homotopy n-types + - homotopy levels being closed under type constructions, in particular Set and ETT inside HoTT + + in particular sigma types ** Debriefs - 2021 July 15; Homotopy n-types - - watched (Harper) lecture 15 on Sets being closed under type formations ->- motivates showing in Agda Sets closed under Sigma. - - Harper does product case, claiming sigma case follows analogously, - - attempt proof in Cubical Agda but highly non-obvious how to use that fibers are Sets. - - difficulty is that PathP not in one fiber, but PathOver is, AND PathOver <-> PathP NON-obvious - - Easy to generalize situation to n-types being closed under Sigma (7.1.8 in HoTT book), we showed this assuming PathPIsoPath + + watched (Harper) lecture 15 on Sets being closed under type formations ->- motivates showing in Agda Sets closed under Sigma. + + Harper does product case, claiming sigma case follows analogously, + + attempt proof in Cubical Agda but highly non-obvious how to use that fibers are Sets. + + difficulty is that PathP not in one fiber, but PathOver is, AND PathOver <-> PathP NON-obvious + + Easy to generalize situation to n-types being closed under Sigma (7.1.8 in HoTT book), we showed this assuming PathPIsoPath diff --git a/README.md b/README.md new file mode 100644 index 0000000..b01edbc --- /dev/null +++ b/README.md @@ -0,0 +1,56 @@ +The HoTT Game +============= + +The Homotopy Type Theory (HoTT) Game is a project aimed at +introducing mathematicians with no experience +in proof verification interested in HoTT and able to use Agda for HoTT. +This guide will help you get the Game working for you. + +## Installing Agda and the Cubical Agda library + +Our Game is in Agda, which can be installed following instructions +[on their site]( +https://agda.readthedocs.io/en/latest/getting-started/installation.html). +It is recommended that you use Agda in the text editor +[emacs]( +https://www.gnu.org/software/emacs/tour/index.html), +in particular +[Doom Emacs](https://github.com/hlissner/doom-emacs) is a bit nicer if you +can't be bothered to do a bunch of configuration. + +Once you have Emacs and Agda, get the [Cubical Library]( +https://github.com/agda/cubical) (version 0.3) +and make sure Agda knows where your cubical library is +by following instructions on the [library management page]( +https://agda.readthedocs.io/en/latest/tools/package-system.html?highlight=library%20management). +(In short: locate (or create) your `libraries` file and add a line +``` +the-directory/cubical.agda-lib +``` +to it, where `the-directory` is the location of `cubical.agda-lib` on your computer.) + +Get the HoTT Game by [cloning this repository]( +https://git-scm.com/book/en/v2/Git-Basics-Getting-a-Git-Repository) +into a folder and then making sure that Agda knows where the HoTT Game is +by adding a line +``` +the-directory/HoTTGameLib.agda +``` +to your `libraries` file as above. + +Try opening up `Trinitarianism/AsProps/Quest0.agda` in Emacs +and do `Ctrl-c Ctrl-l`. +Some text should be highlighted, and any `?` should turn into `{ }`. + +## How the game works + +Our Game is currently under development. Please contact the devs. +Currently you can try `Trinitarianism/AsProps/Quest0.agda`, +making use of the accompanying solutions Agda file. + +## Emacs and Agda usage +We have a file with a list of basic Emacs commands and +you _should_ be able to learn how to use Agda as you go along. + +## Feedback +If you have any feedback please contact the devs. diff --git a/Trinitarianism/AsCats.agda b/Trinitarianism/AsCats.agda index 9ce79bb..92f7ac6 100644 --- a/Trinitarianism/AsCats.agda +++ b/Trinitarianism/AsCats.agda @@ -1,4 +1,4 @@ -module TheHoTTGame.Trinitarianism.AsCats where +module Trinitarianism.AsCats where {- Here are some things that we could like to have in a category diff --git a/Trinitarianism/AsProps/Quest0.agda b/Trinitarianism/AsProps/Quest0.agda index 2853084..d0ecb38 100644 --- a/Trinitarianism/AsProps/Quest0.agda +++ b/Trinitarianism/AsProps/Quest0.agda @@ -1,5 +1,5 @@ -module TheHoTTGame.Trinitarianism.AsProps.Quest0 where -open import TheHoTTGame.Trinitarianism.AsProps.Quest0Preamble +module Trinitarianism.AsProps.Quest0 where +open import Trinitarianism.AsProps.Quest0Preamble {- Here are some things that we could like to have in a logical framework diff --git a/Trinitarianism/AsProps/Quest0Preamble.agda b/Trinitarianism/AsProps/Quest0Preamble.agda index c2fb7b2..6a0a871 100644 --- a/Trinitarianism/AsProps/Quest0Preamble.agda +++ b/Trinitarianism/AsProps/Quest0Preamble.agda @@ -1,5 +1,5 @@ -module TheHoTTGame.Trinitarianism.AsProps.Quest0Preamble where +module Trinitarianism.AsProps.Quest0Preamble where open import Cubical.Core.Everything hiding (_∨_) public open import Cubical.Data.Nat public diff --git a/Trinitarianism/AsProps/Quest0Solutions.agda b/Trinitarianism/AsProps/Quest0Solutions.agda index 573bff9..9771bb0 100644 --- a/Trinitarianism/AsProps/Quest0Solutions.agda +++ b/Trinitarianism/AsProps/Quest0Solutions.agda @@ -1,5 +1,5 @@ -module TheHoTTGame.Trinitarianism.AsProps.Quest0Solutions where -open import TheHoTTGame.Trinitarianism.AsProps.Quest0Preamble +module Trinitarianism.AsProps.Quest0Solutions where +open import Trinitarianism.AsProps.Quest0Preamble data ⊤ : Prop where trivial : ⊤ diff --git a/Trinitarianism/AsProps/Quest1.agda b/Trinitarianism/AsProps/Quest1.agda index e69de29..dc3632b 100644 --- a/Trinitarianism/AsProps/Quest1.agda +++ b/Trinitarianism/AsProps/Quest1.agda @@ -0,0 +1,13 @@ +{- +Two things being equal is also a proposition + +-} + + + + +-- FalseToTrue : ⊥ → ⊤ +-- FalseToTrue = λ x → trivial + +-- FalseToTrue' : ⊥ → ⊤ +-- FalseToTrue' () diff --git a/Trinitarianism/AsProps/Trash/Qust0.agda b/Trinitarianism/AsProps/Trash/Qust0.agda deleted file mode 100644 index 636bf99..0000000 --- a/Trinitarianism/AsProps/Trash/Qust0.agda +++ /dev/null @@ -1,31 +0,0 @@ -{- This says that ⊥ is the proposition where there are no proofs of it. -} - -{- -Given two propositions P and Q, we can form a new proposition 'P implies Q' -written P → Q -To introduce a proof of P → Q we assume a proof x of P and give a proof y of Q - -Here is an example demonstrating → in action --} --- TrueToTrue : ⊤ → ⊤ --- TrueToTrue = ? - -{- - * press C-c C-l (this means Ctrl-c Ctrl-l) to load the document, - and now you can fill the holes - * press C-c C-r and agda will try to help you, - * you should see λ x → { } - * navigate to the hole { } using C-c C-f (forward) or C-c C-b (backward) - * to check what agda wants in the hole use C-c C-, - * the Goal area should look like - Goal: ⊤ - ———————————————————————————————————————————————————————————— - x : ⊤ - - * this means you have a proof x : ⊤ and you need to give a proof of ⊤ - * you can now give it a proof of ⊤ and press C-c C-SPC to fill the hole - - There is more than one proof (see answers) - are they the same? --} - --- solutions: diff --git a/Trinitarianism/AsProps2.agda b/Trinitarianism/AsProps2.agda deleted file mode 100644 index dc3632b..0000000 --- a/Trinitarianism/AsProps2.agda +++ /dev/null @@ -1,13 +0,0 @@ -{- -Two things being equal is also a proposition - --} - - - - --- FalseToTrue : ⊥ → ⊤ --- FalseToTrue = λ x → trivial - --- FalseToTrue' : ⊥ → ⊤ --- FalseToTrue' () diff --git a/_build/2.6.2/agda/Trinitarianism/AsCats.agdai b/_build/2.6.2/agda/Trinitarianism/AsCats.agdai new file mode 100644 index 0000000000000000000000000000000000000000..ab957bf22dd74fd8309584ca809d613285988cb7 GIT binary patch literal 2689 zcmX|B3pAVA7XA}yO^~FtB}KV(C~AnAMzl0;>sF^FC~ZAMaJAzVk4}(Q)7+NCT#T8v zgAv2Z)rO8Xs8@zGjaQ7O$_ypm(KNJDBn(o7o3QRZYn^q@-s?O2+k2nyoKO4CRCA8; z*r||PZ{RCZOz^ zYntvy7U5@Hac|nu6xJA``H#R%4uZD`#<~22w=@6Y(w4>Ll$c*GH+@2EpZ@h(kHahh zu7m*uJtT+?cp|j~R3}2-F^&#WiwzcRuZRAj3G7i>&JULLLWG@k<4$cO|Fg`K~ zOn^|0YUwi0_rnT9YpN4l9K-)C5OjnKeH}v;7H~nlmM2wM-JxY zq|4#P+-xWzZ%k=N$kG?<0BQ_kQJwP|D4P4PHBg`&#G}<{u|Z-7bw$d3$*{$!JFNiK zX|n4a)oEecgc_e=v<3oDg4SZdQ)w;M;q3vC)2I08OzmVC3Y4d?dZR#m2!H~4quL<*J-2hAV%K5<*rgq!wlxU#BHtSh09;)qa%wLCypkUhI{`ol z|BXs&351swHC#X^9uaqan6YnUYK>=v`1_zA97r|3LN!{Y$5v?pV(G@(SZ{Eghc<`2 zO<7p1eAD8%vejR75+J%y3jWMqIVqJ6Yz4pSh_yK(wG!vwcS{(O@di1fn#PCqxO{48 zfioT_b66M-`E!IN0LkZS21d?P3O9tA#Zk>bn0wGu8F4$I%Bta@e6%eNpFV&^G$xFW z8u2GJ7Tq>YmtU=2O`15BccQTWk^4XRD|g?tEL2c zFQ2hb@+dMK@EgnRCoLNkRs$TgaIF7PS3{r27mTLWJ*c0hiSPf68l7bp;zBo;&JQ>D z0ZDyJ&fms5%{SL&#gvA3u8wfCq;>$$ZRg-c_eHvz{>{W+mQ8aDas9gcIV^FCui zG?(W&^Yvt?@G`*NWx6j~jZysVC(%$tKGn6J3&V%F<;VP#TJ^YZAXkKC6xD|9;XgeW zi}Vl2=FHkwmaMx0#KSA37qWFBr&xN9(E>dz9+Hq=E%yc&jjHOIh5c9fz1_0nSw_7> zGrYApe=9bZgUt2Y-NbJa91@H9+li1=X0XR;Mk-zB-P#S&kVF0nuD~R2Gar=1T z<(Etr*4Hs=Loa#bb9bRC2CGx;@@gsaM%moL=>%8)FZVa?*NQ&bJb8-}F7tG)-b`pZ zphpe#rHQ&CMeZhX(8N958((%hz&q>_=y%RwVyRwTZU@RS)+7$XeSX_H;boLrT)vh2 zcQ2+M8qh1YdMdlA1*>#&6}m7pQ{PY}Ma?h!30Y5Xk;7(~LqSUlhc$9D*qdcBOn2%w zX!(n-%rFtAM9itLYrZ{MpFYKse?C)tfehtfcdrH3VGSmp%8?n2`302wdi2;jf-q(Y zL-;t4{G%Q(z4)Q@59D84gDD2rgC21+2OXX95Uv6>6Xbt$aJIwGBi-*p1b{IUn0m$S z)C7!YAg|j$J_WO?YFY9BJ#>=Ek+PI)%OTl7eRz4697qr`fCrhP?_8xP~cR6e$->7dK z--4567hj0JRh%}bhat*pHvB=Df^|B>&oJdj3Cc7r5-M_?li8a$t4@N$-REQ}Up#&~ zL7YT9W+g&Co?0+0Pw)>6*vrNK|7P86B6D>4^E>i4&z=Z&n_F(^o1L(p(aBJq=h{CO zRA7BKGA9$G*i=k;r|@3fc*HM{q^v1DUuV22&|Ic*Wj>%;NTv62MxYu~`f`RSTY4Hs zWpq!wnWaUZ5SDj0smZ;+?;yKUmXi-|I$aJANf# zkOs1iL6}{-)bRGygFub>ZdL<9S8VAeO9t|`T@rQs|45p}cD2*LEwI zXVK~%%4qij!oi;W_XX9Ix(`vy4G&A>Y;4~he}bJfXEEWu(zEs{NsH=%?yaorw0e9x(bFn1Yyyw41o=80pNCWusAVOoD?4 z8#m85JN4wub7YB9u_R%Icd}q;hmB|P>&sVjNXq1z*adWbX`Bvzp!}BE*vaGR67~1r zyH7?}$EhJ33+<%+Xw}GU-BXY2>0gsax<+RaYb7(`*SWzk4dUk_N?ok1cKG;ONvsVT zZu^ckzi#1B(mH!9b}nY>uWM@g!h0#pJ(!ZqK?wDx^7i`d%>C!A*b={}{VmL-GsN|J zbz9Zx-_U0`4{|;V7doD^ej7H;Zn0&?FI^=W3j24WIH$|bCZtv|3|g#{u3W3r>n-0> tM5vERg51aBOK#$R&%Jsu?OI*%iq*pW#5VmD08qEJ1CEg@xAp_Te*u*XKx_a2 literal 0 HcmV?d00001 diff --git a/_build/2.6.2/agda/Trinitarianism/AsProps/Quest0Preamble.agdai b/_build/2.6.2/agda/Trinitarianism/AsProps/Quest0Preamble.agdai new file mode 100644 index 0000000000000000000000000000000000000000..913d317b6fec7472e821cfe90a68f95c920beeb9 GIT binary patch literal 23409 zcmX_n2UrtX_x_!kG$24IQlt$M+KN<_DhyZ%7KrezvWr3}DpstB)B#aMP$IgDYau8K z{&WSEwbM~?b)}eZRV)bNimV8@pcn}J&%pQm&GVRWbLZT1&w0;#&MirET5;Yh`e2>t zTG-E9cYD+$_{Uf4;G5;}n2(4>uxiz6+K29P`=5PKD!r>WHrfC7+l#iu>#KhMW7&(V z3-uS)-Clpy?{lWjk?6Y2DW}KV9dAS)9GPK!tShi9)pqBWSMKkPO`oJq|9lg+Kl#acrwgG*6f7wBzQBn=O8Ai;Zs~)kJSh-V0Y7g4;EAC8fGHyE@1N{ z_A*TMFpa)qGpWegB%Ok(iwg*z#2lKpVVE5b&88%MkLK8Xg61@e(EXdhLpiZ@T@{Va zBXw~o;z`)hTMfgEdC;6nqh;7sSvgNoQ%j@IIPa~1B3`jg1T~TL-g}`LN({S%&D?Hx z&zVA5#8i)?QMjPy5WV-{xdKqwL{=1StASXXb!BIxRcp6W$Ox&MgoI+ew+58|1Knj3 zcal!RJv`2r@9lPG3_Xb@NxNVsCLuScA0==%Bj#&mxv`*z zz|>7HZWfUA5|I3(8}AW@o#b|Rhwjr%r*C|Y?DOhydKrgw|H3`q zsxAg^6X%`MZK-~{6_|~ekzhmZHiV%r*?;>ke;9p#yot~~&E;M1Tu2oWst#zoE(+&$ z)A|xT2i0ENJVmy77Wq6wA5+CBE49NAga&!PGk zf>w96K&xtkb64X|xmsKuFPf@fH1P9XL+P=~w~CLqs;f86mUY}pPPhnbkgU0=+*q z%%ba@sg4k4k|kK}4rbt=VBlv2Ct16&c1^!~t|Mn=vY@c$19t1}U;i$VVdLTH;xS+t^{cRoreHlx)_FP1m}FSgxH}blsnzaVpE8 zf8{9hsmYtv7{n{FJ%zZ3D)J$=*J$xHxGbLr2ec;w&zLbhMN$*gzirgG`aWaro&ANw z>M}9SLG)X_SE{_X%cy?sSE{kYGscX@i2_v9hYa|D7-RBm)er*ISNBLvoZ)kfB4~*t#;%lOA(_=uD{w}{lr+e&gqc+MuXEOk? zh9QXS(KWiHyhW};p9y4T{=De5nxptZw0`{3Z;Y$Y{uT0IsWpZdaCtk-7}<#8_WZ|= z!aT&9HTZU_G~~hvw*R&dDNnh;MSj0=YN%6wCW}oLZ!8Y1HxTs1^lYah-DRb~m2B!1 z+oop&Ri5L)1>2bNc-NPHz*X;{qS<0iJoD$dr?|1y90R0YxliNe=)I~ zO^dl9nwaiE&Pc(`%*^ry>tkI?+Q$q-Gw!X#{T>$K8wtJzIMW=`&;Mf^{>77E`5*kfS*0oc&q* zv)9E<5dSc3)f(0gm7xufi=J?)rA=67qUz8Js^c___3wnwf1%$B7<;-=M9&^(^mQP- zD*Je-MmHT7X{7-={FM0eoH(&Y$GP$%WnuW*~w4L`hHp(`U?X1`nUn3b70YiKI9w2TeN z?Pc-h7fVg#8a+Dog^6<{_*1!&W592SS_*E77ss)51Cj2K6@#ZZ4y!+kD!mb< zDI@CjH(RMTr+2J(({VvXZvra`vD_0Y(hKgx`SO>gH^gy8Zx{*^|9jyZgZ!1d1J<$8 z{zL~-9#;AdQ?NCQW{A~qOqFUzGD7RiwIIU!Z8kIj!eX57V+UllB?3sYe7hiNf<$F_N;CYG-Oa->r91U2tzabZ1xV{gF8 z{rGlCL0*UxA?V@ssL^Mtc)Z`G3T=tZJ7^`mQVb_$MqrH0A0}n4r^U}gBDlJrA#hGG zfZN1kZ6-+hjdC#PPi8gqZ7A;Q6qbG@%2a3!t)!N=6JXF3Ge>dz`Augwok^u9CvS$s z7pU`w7WFKr&!nm| zimFRwslLiwh2c=dq?c~99n;tLEL$8r9f{>}SW)T%rK@bSv#hio1Ek(om#z;Veo!Ce z@$bzhv|llYe7^9thRrL@W^BAp_&4q$HaQFg@_W{8a9KE2`dV%VQNjiK*sIWi44u&{ z@1-^5#*3qDNx6wU0(6}sSm(OKS|S_EW0+%X?<8}0${dZvavvtFm1@oDKko}L=JAH~ zgXw8lX4{gf(A`&14D>5ons$CH&-SD8wQf5Kj!KJSN_CA$W?(j#s}!b4rh5bu0*x7uNsJ1q?~gV z*k|fh-DcX3popuP#weEBI4uN1{cws?j@<(TaSWT3kLUkF*V)q3cCvv|e_}VzNgexm zE&eyJ_j=T!-B|6it5ciP+xEE^sC84P_PB$I+>aP@Y___BiDJ|xWR`e+>8zL;6Bde@ zB_oC;k86Xe#>g%ab?6S^*K73;BHS~;K;%CY=~Q?T+XFK)VgPxNvt4H2U<~$g&o@@H z*%|~gyWDE1&%OuEA4uOp|K`SyE}N}58N>NW-Dcek2;s&`Y>yJEBg@Biiz)7_eLodw z@@{Fmv&CIiwDj=93v~LcoRjkcr+upjl5WiI8l$H@KzF!2Q&6)tXoK$Npc@}={`>i`ZiSXTSD1^3}$~HsAbh&}P z1!-56&_jMtto6};FP7lyaW7p*DK`X6(G|&{@%rI^LC0Wzs4DLk?S+fG4$;y-yOz@F zUMCq-yq?*dFJ1U5U|oG4C`JDhup|dFDZ^%&CpL z=(-E^v>+z$?NXIN{bd*m<)x;CqeuAJTL!UpcTFW@Ty}X#Nd3c$8ZEn=Az^2FWv|fS zy_k23;KfVR2-eF+7i|7)46M<_q?OBPCfURRWbE_m+5_a z+H%})_Ms2N{x)@h*%v>`UfHxe!o#EYU^F)WG89%1{|hm3(Mb~$aH(sQsUGGRzBnAW zafS#zk&B33TGu0u44GQvdEjMm_M82?z#_X;b{WbVA2FC-jyP9MJj-`~s+lmz3iWQP zQtjVzT=2#D%R1`NGXwxCWAnRyWGoUN#Uv|gLQu}GP&RMZtX+hx(Vjug0XqHeX^#^g zCq_L1iXOXccUkT-*`))(xiz&JYp)loHe)_@LJrj!_V6W|{|3ym_zh;z7}hxZ>VdmV zv1A@+)rZd{!w_SNK8!KNdZbfe)puXG%K`1bt0{nvX5yPZvPLcgUTbmkP%P(AFRa8U8QCC{$zE*C(8&fziYbuh5SXA5dg8f>u}e$u18%bV3kT_zM2Q) z%1jTWECsLWTya>9`&BKeB5b~_gc_(T354e)?}L{aV-DARGpNH(ARyH*a~J2Iz{Fkt zv{dtu8L|Io9)kuQSQ=t}se7Ra9Xwoa%I>Dx_YD=WGDkB;wZ&b_X|dYFGK~1{{@oT{ z>fjZ>Kdr~v1vN8ou@B2tk?yT2f-fOo!l+0KS>rfUOpIy>YJ6$wxaBk4L#iGM`H8fS zvR#e&ZL&^7x-S4zM?Ycwu5Vqlw;J6dCUvZ2(CQPF|B6pfOT#l?Eg0k5oaESi(T5}| zt;YRUE@Y;>scsr%`XRy&IHR%sp%0orrUKGN)f}bOhddvin#siMtwYN|*wc)FtuAQ) zU&wrCtA}i}hb)!=)`@k2vRz-$X2+QPyY;dnWD;BZ!(!xjV#x`@rfmh-uLAgacEAaE zz2r{l*7`RAN$#co;jYz4cOynt9Ix0z*FkkO1BW2)wWr0$f`RtKfMeUnXbu&oYGa4C z%VtNJa;Vsl3R|k>DBX5N|8>4NM!Q*DQI9p#*N?`tWY|v& zJhcJzMXybo>9%=cTyW7wb-yr8`iu#ix6!HBl&(7tpBV~hbD~#VRh)=ZbSZvm;^_9C zhH|{ujpB}K9EJozdpc&%r<((1r+7APm8j^i*3aq&u@9n+uD1j-i_!8^@y0S@O!F`R zzjt1nEq&&-J`{?*|EZzwXvRypy{U{J;#&{GGOOJ&`#p#%+Q`!FoynN@DNF`?zGr2H z3$p-TCo|!8Q?nLF%_1ufRKRk@lgmg-r_@6<>1wM7sB*==KSbc2&R~FUyu)-SW zw7pyVDE3io5Mu!Atixv;RVs3@qTi-5{Ru~|4us+lk86#o*kjH1Y~9`qkj2&p5&Vjh zW>fzpM+^y{X@PK40OKS@&-edufW;(cr| zKne&DCHatzu>MD~m8v2#9tnHrhT^*AwMGM0EE%n?H(+JQ74|x}`NPP@(gv^Iv$XGs zWAE+?&DP5`x-OLVwun+xJCzX{!4@nTuK4$g1tZm@HxZs-i=wRCZeY8=E@}I{ zV*T3oT9BImtffi~jGCgU^JM`{e*~t#Xapn69mrT$99%VGPGUi9Vef;kDKy^pvfSb* zp&F|n?SF|Q>@BG{fqX{{$?Q|Ht^}voy27j_b>4_Ovc5sU@Wzyd*SCKaBs<5{+=X<^w}rDpRLQEld3E#%84*X|Un@Qe}f{}A}!gT%Jc z#YYcWW2*bY%C$H$de~%k9fvMnCf1?E)3JchLBHYrb?&oDeSf>pm{UK*2zlsTm=zir zzTc26b*F-Nw+RFZ9%Sh*@KNajOl4R|Uhs@m5!dYhbBiMmZ@pU_XCvY7hC9|!;u8b} z(`Vd3eqL?`FTH{&jwtHj?dbr}Hf^0K4EfGL`E8lEjY!z96o(PuppAs6#vcW|HUTUh zEvrxGQP`uP`t$qJTNtAn}Xqa}Ky?eBZ`$W2yXXsXvjC z$S1RR^<1HSdjooXdwu6Ed+a4`lY7a+VGG zhTa8!PO$iUDP8>aJcPsV4j^rvPmS#Kg5LS?%9~V>Kqfizr%n?Jx}bpG`Ezsx3A4#k zf>H3ax~N8vF4m~imeDs2PnaWiL)jI>qeOn9{SF>k`T;1d0dulEfaEmD(ql~IRPv=2DG#TEq$i;Vkgnic{W?AsTqX-w;r0AT3**m( zs~gB4U8paGm(xAIv}=caJ)@#lfz%ZzVM8mxWI?5#z>O!6x6pn_`~Yc}bIA+O06Wwj z4Np+9qA$vt5n1vE@p=*{?SEn4%Gbo-WRc0DO07u~{=-PjE)b|e4>j}Xi$V`hp^F30269xfRO$dQ6axtcKwS|H^^TZuXj9J|TJ}Z_m@v^y zBJMk5Uu0kO=6|l#WU#hq(v@5+V5MIQPvFK9$X79TGQ)%$Beq6Rk}wLZI=JdNUrfhI z3}pXtmZ5MaA1W`DAb02T$0M--G!hFVhAf$Rn%71 zph4rw`qP^c`zAKMoG+FCDR07jmAJIww0s5)8z{H4Z)Ynk8J_mYQA`1Hxjkhc0V2w< zfY7RBKpggVcB>SgP;&B9ltFR`qJ4C+16_S62%N9)t-gu4A>6oae zT0Rc;Gy{Fuyj=53IW||O~V=NH6 zcg#j{wmWFDL>aVZOb|3#q7>pH<{LIk1H`VK5X%t?cH+X6hzYU6zz zgLAvHFuV-0lv5a~5h|iiEug!D^A#7boODAjR5N3z9|xZyybOejAdb7s*g^pp%TJvN zSblseZ;^n;|9+Fb2>44Gs`v-_`e=all|!_z&)!sBrH#U963)s5sEw4YiHcKsfG#$h zAHn6_RTT^#W@5OIFCtHKM2ZXGQ^y;GJy@yWj;4JBOFC$q!r>{_GSev`I4OrxRh7C5 z!^t9H%!-lu=LFR&j?=}3em-h~gjr;F9Fr}_mQnbCD%IL_4-%aEhk;EHb?SZlcSc*1 zA3r>82dQjEY8;oZ*fqGV`$MzC{~VeFp*)x~5z2!*QGTk1QoCkT!(R<9*>khs?Q_|u zmaVB(Xj$buS};80)|6ZNyYTOkUmkRA>@ukcd|7aPdhe}@XDzEMZnSt)Bf{SG6-Kc) zTE`a7T4%9tde0kqeW`Uw)0uETlliCoR?bT)P#6!X_dJkql$#9twr5t&NYPiA4pw$^ zTOtB|GE%20Hz+)@`J<M}65$wffAfG8GJJ68W!Aq#BYJ;tn0dGg95j3%=tv+Z3q13q`xWES!>iZyH;a_NjICCv4CZA2nXQjcRjwQiYW7hP zom@DsE9-E*d0=cU^}y5dY#Iki6S&H2bWH~>i(uQZkn&%;xHqQ^Q|;e!2|&}o_R>5+ zY|bELsj*d5=kJ4%rIc!e7e6k4TFt~jLs@qO%RZa(@{1z5canVpp7|a%3CkJ8npBF;=doupzY# zdH<#Ho@dWZjj;SNHN^~CHm)rV4H};!X-*5gWcgQX9K&3l+ZBI8x4h@3P%5XYDQ8p7 zX=Q84I(tCm(vlI#GyM#>;s=74Gc^DzzB zAW_jf`0`^KvkW>r{_7Z55rGBVJ(=nvLuoatmoVM8@t0~A0Ok9RbII;;mhj5SF$bzO z4zH1opBf8M1brMoKhAZbTE`cRJCObEROdp)ILh9^r^&A@nD8N5G85Vsz;Fg8g29(i z8~qUq<@}6jcNrGVMpGR*(RgeP@BTunq&I_A~!E9w%* z&wHnDv5XF563>%W8&qv-UUWa#lji5LO}P`uLwtjmrhg9I>j^m5N+r9`AMjn zsAos+5{!MxTk`?4=C0yBkQkDN-=aS8dG{-^?4jHdlz&A9ao(NIJz!|$^7+wowhQGP z9|Z?7v=i*TYUPd)9??4YFBdqPB3j}lkU~FAoOKZAOCDqI%xj+WAc5ZBL<^5O&1UO5 zR%N}`qVfBA<({y(9dNu~kJToy$SbF>a3zlMYrKvOi0@k%-jQ%b_XBh1V5hFAyj%J| z$y24dSH)r<1f2FM-;O_;7AyfVJS};Q9=iRqWvaw6(EKm$^@b(U6G(j*Lt)-Ivz{AEb8X+j zMU9gxqWc$euc6%oR#D5NmfwHDI3|2{i6$3Wld4dbn- zleGzI?>6S{#GqIOO(d{Qb4M~AGH081SP|IM?46R9BqM3=H)ne`|9+BzwR2!hvh<4D zYC7ibi2-xU(H<9Gj#qDZgSAATef5Z%TejAv3QFU7VR>HeX9rKthCcz@Hf(Ia1`Q)gBXypy6^DuUt^TSyZX`?sn|@FQWE zBet;U6{i4ME=?s2Y+i<>9yqks6KTKKpv3lPH*oj``A_aQmh(Wk2`MTGN!2uPv`jI! zsGkOX@@O(;-xuo|+V-QGfuSBIwMoNRA485*DNjZVTPO4rp6Pj9cy|% z!zhH{h{=U-9Niw(KirROE1m9CZ|qp~SyZXNBZzSy2$dNhOpzi(8~-RXJ}mk364R(N zpV_=W9?E~D{VE;a8~@=h=SudvlcnE^KC2g?_fcpuonJc6F>pNREwI>OhJ-!4k*|A} zLQ=yrn5}gO<1EhJ*nC0rp0Tua1kc#c-QhFwMG&}9J4+T~2C|l#Y4D;fhqUNSSHf8v z4IxUZ3RaGEpg4C8h@+VETT25#x!ixLnYu_0;#V$7;mgEk0du5@q5s~RX;yjtDib(ze%eeikBAF`kK9=YPH+q)-Piz|EEWY4SgRe3{ z+CzJ2nQ35(7TNI|oy($9R7g?T`AZN!E3@AhfY_?+_uaIt>ZGEOo|nQVOD|qnkL^)7 z_bj^LaIQ)lob3D4q7=9ScSNzyPW%@}E**zmzGJ}=gh+l2F{T_RI&+iW-1+b<$fLsr z%)#I+(T*f`>0g39Hh$OZEBGSJH)Y1q4j5n#S$p^8lXf1dyI{1giSFJ2l(>DtDO`0(*wZ3Ed%=YP^3c2_3mYohz3djy2btaX?pyUIdadY=o zjx_xyb|=~pf?6m3!6sU^Np@OO1ovYYZ*HNAQja8>4te#k|L4s;4C<`QGbcb2K#7~q zhO>BE&)IQfWZwL|`FM=XlztEe`%X{gP2g{BV9}v#5K0AG)!$F;`QXTC#uYoT`31o~ zd55n0Kp!<)wqmYw8W}lba;b#ck(Xe(aW!7gu?y`i;dYp(5i`$rtU*WbzUJNcCvTW> zMDjiye-Pq|J4^M-=^23GuxJb*p)?&D0mfkQHk`KypRH^Cq4kFzO=bYMJ-4-_=@oTN&`YYi!-6C}z6q^4P0PZAl$PYuG&YPmHdS0&EeoGtxj#_{VCX!QB`*}G1y&jg z7Q-SB*S^k*shJWB1u+&ezuuV=r_HT2k(Ta+T}`7ME;4c4Ip$GC*aXJ(diqdy;uLc8 zv>{EJ>|La^AVn8T)9}T#VhylYaA_LGa9A4SgS0$$&nY13YAhph%8)&ECY;0Yel>xw zS(?Wd-i1NNC!&82%`bissb&YkF$W8iBvH-UGf?(yj5V~ef^Q>FYi(}kOd|Yej9<|D z!%=Y%mpU^G_T7B{p)(I-+1C*WuCSyfSNB3dMyiS`enW;T^z~UJvDV}|T+-#VsytVP z`todrf>jWdY7u$2)a-&h(?21(k{(7=2-UI&HG(!F6n4s+I7G!K#b39BeQfI&l z(%%-o$433fFxGT(-oKaqXDt1v0J?IN@Y+b%-Bs#s3Oj1dlQL=@WY@Nc4_TBB$ zJUoW1R+-*{`FbAw`ZIN=QbTY=z2X_6+8f&DR1qB;SHlqcle3jtP_=|*9olLOUQM8y z4;EFbNH=?sErEy;8HO-7RY8T0?LU~IfqmT%LW;B3K{7=T`6d}{oI|$29iKlqZ4YTb z&+M0r3>1>Io`#EDndBS4Ne)@h{Sm zJa6b40$^JCTf`b6X)L($Va{4JLU@nfU%YOfA+7oo+TNsy~=9`DfD>+{rGjrV0KAL#b2S!fMvq?5{N4zKOQ z+6aJ}KJ%OdrrI0awx>dE?J)+9v4v+-45e_R!HT+rgPXUvErKuWevFN1QWC)dL+`vGrpSqkx0Q6l6fQckWiXu*{DKN&>9+k?adGYPr>V3d)aWPuN6aB^ubfBM#VLK%@twc#kW5-!gIrK)*es@m9>-XBX&6&*d z9w2QF#*__n;F>{>HzsU#VJ7d5GD?rkqWL$GI#iYYDl4m91)( z&BvH}*=GI6FepDhhE3FcDbuNDwUqT#9hc$!DqTUtf8~Iw2vrDy!CuU;-@;CUVrqh} z05}v|6&m!sb}fPYC7esBrg$ox;q_#K|7Q%Y1lSL*yh2s#pzJCmvioIgAKSoj)mG;P zd*>se;xjGzvRYxv;CW4COel*wQ^sN)4*8e_OQGW%Y9u_K5H^`^X-z^ukEd)KrK#yoeJt(_)jGkCrjqw0Dzl`;PYR(gcKS)3b1}ZEtl@CZ; zxs-8L+DsBfU@WE65%|#%T%}ah!Uq+k+(PpQn>t`ikE1x}#%$=#?GA!LbQsc1)0Q=x zElTrJ4h+s^);Is3aTSrY#O?T1Q)$01b;f53L~nNx5hJgtihc>o*q?5P$YXKKhQ>ANK|sMiwd#!Bi9- z1|ORUkZ&d!+}-UD27DM+)Ur&XAsPhcSOG^Mu;AP|x!_E5A{$>mjlf~S*>_;lCeD;} zd20leZ#5gBBl^2}dY@q)D@RX|uou$!?QQUJt2csT;Z{D+opkfjmg?&YmzvIyVth{*)1a0N#X#zm^U z4+hNNz4zn&w(-#arb9u#Uq}GLIU{Iygma()fEpIG^IunPpF0|-lds1hm zSfp4exf2z|hi)H0WNVpka}|f4SFI-)JTM41#?N;hc67Fbnk$XZ`(pIb2TIudb}s)J zw3KmKyB1Vqki@IdBp?@1QlG`+?qo}~8be<|^Zgs(C}7D?uv#{gc2BJ7m3mMuZVTNz z1uC&sp?gQ*Si(r@3L}~bo-eM3Il8vQooip%o;#Tn#`Qq{xXEO(n5M~7ly#>e(4m@F zu@XtU({R@JC`BOy__#>FFpQozKAmigC~8*`4ZATp4wj4Gi{$5MzWkTxnovR9*8e(} z%~F~TrhyY9fWsD7bH&|hCGAV9PiQfFG>K;SAq}nK=gL!%)W90fiT^BM#Qy{LKT-A- zl#x6u8u%TlNxxEjjoOd8RQo_F?MpY$5`Lv@6Q0s@pUE&+T1WKBiZ%cUm%GM zkydk4*ActRh5%V%yB?|NBkgz2;4lfZWA-WcTqp)_`_DZm1i7BhpIM?@Pgr9c?!;K{ z;*m}6OP9|zH;H$bbMH*-blgwEIQM%EmQOBZ-vPzHI=V#@*ta_H$;ZL{Gw@T>Eu zgA=?mP(@3grw^op!h2ID9P0#|I(tW)FT?(q^QDQ6w1%6mq`}wdWD)|e)p!1^$=h4q>Jfl7q>)lz~M@lo_emwT4p9HGIVe9*THyf`;zFISv z+&yZ!S$Byz|>WnG3Hb4K1-TCu6Tf?fB z+tW17{u8aYcK^?%?=J@0M0%_JKCd^`teG8{Jj?q43*KMVl{m4AGf!n+Ln@K_ib zJDBZTJ<89G+l*1FBCL-s%+yDTnXBr`w4baRw%==}PFmpK(T*v8vaw#mvh2Q9%#U{<~ z>PhowWnM&v*BiqRP+xz7UKcUj7gilpsl79<{v&AgR)f)Jkd}9TEk`lWrzNT3FV=vn zsa$D(<>~%Aw9|{qm~l~`L1OjdKI23O*^R6>aZi)fD>Yk3W>@yLBuU?BepK#z6V!cn z+)+_IZ`^ROa7o(nv7GK>gGLJ1*70aX+QRXgSM=kfRaZJ{$|KONxTA$JJL;bA1#~e>Ou2|z1eY3WI-QH);$wa-T%P6bf!Etn2 zeVOB^{@(H0{t^Coj#P`2DRTRDvt5TurnUCzd2YY->()KxmFS!fNYIFMi2S8l`?7E} zu1>FGN9H&odbsKQ_;$dYsWdm-CC7!H@5>i)Gktq!;81~MQ+w6%}2G!b1yC6m&(pJ4}@!oc&=D5r_W;4i9DA? zy!e1rI)aexPjhb?Hd~LHb_`{@3dW@UdUatcaYU}+;KS9$+Z1;`rX73o$l#=C=kCwX zx>Kc*eu)|%JwPC`@YA`RTJzfuk_79@Z}~gAPX&Jaefz<4|1K|%h~Dh6dwKKsB#)Q;>iW0795s*j z=>8qI`>bxAs5J`sEZn6Zxu@#@KO*SEw~s68--h2_v_0);$7^Aswb9`@r$5cS`r(j? z|5xX$bA%Bk|6(3-B_m{g&cn+VNwZ#riAuR-l!&+B7t-|X{ZPUcQ5 zI8o&w3clL(){0t~pb0;D-8)iF-aXMDj*4&Q0YNNOtU$tH1Sa>P^i@!YlGfckjkHXr z2eWDWw`qby*lo&rUV{^TWV2_72KZJ-n*W(h7BpMDT5$81&C@&P-qcg07JdzcUwlJw znfaMxMhZlKRp2`p0z5WU+j_DH`V-P#Zy0*-yQ^<26+TI+I zN}BKRdTQY?4}K=D0Y6{f>`Joh+HsGYh5cK+P-EkpfMJ(9Yq~3DVyt$Umn%Wm>+PN^ z!T=7Y)E{r7>Pi4fE_7zCIhED_6FE8uB={hZu-U;B#qbwo25EV7h1Ntc$D-~7W(x}- zX=Kjl4;WD9n2NMjsoRkQ(6prdzWoa-JfenGLBMj%%Cx@x3HANf2d zb0f9j>#D1TcqI=Q!Hl#V(e7AJ=e`*j4D^@n@)z~!=R&@N;_vexZ@u2ae z35W6QIa4={G67!77Z-d=A9yz4#OEyrIQM z_0XG0By2Dx&$XL>1>bi27^aVfz$~&r;S<>y7;kJ7znhW%7_(J=(9XkSo}a1KpL{GD zNLXKB#sNZ4^O;szk3{<(V8IG~9W#dG)Aoz{9FcbC0DWX^>cAo3;K7J2(Ku{yHRyn> zqr)~pxQe(1ffK!&P_UxR+MC0SIAd}?qd!p#$5(g4TH<5I5#|)MlRTZrGdZ zGz2oc*RTdTZ*WRrY9bQGUr7xvIaf0k#9L8(2{jc4VTYI{O0wvb?5FI4;?oT=m={9D%6*EBgl15S~(lpo9S0JKX9B29)`k! z@0#tv7-KlGYj6`m`HiYmfAsI%#|F#Rdmeh~$)_{j@M8YB^rk8^=%&eDUPxp(=DtN8 z^zWz?85(1h-z8*QAEfO7R1r07(lw|-kmd(5+xj%iK=3)w7FU)4eFQ>_nbtGRutO{J zuyjKDbEpIAvt2-~x@(Tb`d7e)?qCV;P7Z0|Ral-eiIqo~ZO5*LCDej1^Ze3Jj=^5f zzG@Ybio-Nh4sg?o{gX{)P@>K1jKiEaXoc_jUlU%Osor@J3$jc;)sH$(WcCThvI?|a zI%$J!f1Nx_?~DX|przq~cF;8M^x=7(hxe6e7y2bn9oXLKlHFuArn-eYVAuJgA;R*s z{|fWZmR0)_oCd(O)}O79HtcSg+wg0G?G?-L1$Q%sRXgK!;ONXSxBE3mw6Ba^%nx4( zS2UQE$PzX{VY2(1RvA{@Fuvp!?)8gr;n*fc`>M^;>NDTi@AZE=ZczECyZT_iU0t3^ z*_kwMhcNM5OZ%enhkUa|H;;@h&CD1}8ClFm++tAN?~Gap%+2%vY5kt2N)d zvo*<~@~Pp;CvT_xFI{mW*7Pr^Q>}mIa`RZnYrX?#`@ZGcWtR5H_Of}EMsuxl*tN3{ zIUCnz4BtVtuK&JqD2l!!skS%uWh15EuQM-(wwDfSZQ+xaW2OTO02VG1?NJI9B)zz7YH0l;~#IOLKBS1fq%a%r+rv&ER!DV^?<)Q5nHyc6#- z@F&yv#zfx}$o7=ZzBIllJ57{4owTeok0Yy2Bp6A6<=;?nHj^KY)48AYI!_IAq$l}M9hs*Jr1>dk0APr3 zT^P#;7a88og6(FAj-*34kVgax-diXfvjii#5AeuUoAvAAm*AcL>BGxu-F;>R>HB8h@GgpLq9`LEu1y-!Sj9B^t=rx>>(un&AO!zHkzS}IeYtiuPm~=& zrm9HIBZp@TX|`;)#()|U9THTliuR53Md`y1Frk;UuI<1@U>!4(-T4gJ3aT|kE!J-| zMcLyEM_s|XWw>^yE3}WBfCo>|x+$GEfRA2+FQ#-7K$$Bk79vx#hUeIolkUg6VqjL| zsF)g^O`3c2+*DNte6riE-3>u8HB_^up-lRENizH)MG_3uWQPZgVt}|4!*i*Hqs{}> z$fVOcdt9B)?fOW2VrtZWY``3l>O{_8II1Gso%_Zt5(D*#?#}-RL*FizG#rpYt$}5O!&Di`@>7YSFsYzR5hP)JI#|d9TYFIoqL~ zxE`%L^3aSeYJ@uoOQqv{($@@n=r#K;7`qmVw7)#SZYOv=bS)=Gtx5AVFVezCWwZ77 zah%$pKdM4!j($M4Uk{Iak@v7K{xEg~Dz@q4RVC-oW&U!&g5_O7 zoZ{y~*uHBFB8m$R`AliPcU)9nV+8YXm{hw^gVqh}Dj~GLxBw-PX&mz2j){3*gFh|D zS5f<21&m3Wu;QEPqqk_?I15HxAy+hz)z!om4!+Uo1}$~eD8DM5=6e?sTm^lYu>y$$^G zFDC6=_GQZdYvMSAn%uHCNU$MTP!Va46cK@^C{4iVjv!z_q~wJTB9Ks|BQZeUD!QVS z2Lg}I5+RZR(S#Cu6zLM0fejEuLPv_kND*Ye;M^CwC^_cM;cqUPHvK z{^<&46q|fs1Eq=MA~kwPt6&^wC=k~P&+!Tn^D~e%{&1pE>_(fG*h@zIW-~!bK_x~C z3Z9x`^OH7Lv6=DXX5n|PZZ|n7|lfvZk3y-|5*D@f(ko{!mJuP%`~f78xww-gF~DSwCUovr?j> zelB#=!3(_Hex~+orbrt}xZ{rf4qWyU;BGMJfo4#@fKJp9*6r$w;xPir{SSDOYn+e- zAR07`9b$+Bg{COPrs!8w01(D1)IaKAKv5so!+lff05-f?lpseoVKJkBR=S59`Pv6; z3|A6zpBcgj62Z7MWHnEAM}=^ z;o_)F?ClD+$zHvUcSU4Mr4PBF%j4IR@tL>g+GYqsgZdJ}*WZVJR4+UE<-W zbgC7l1|HgtZU_|9bB7jU`|@=S^m16{h~SBEMDPVgPQ!)-f+jkXN3;Fl)qf~I zqNC5pAOp~B(!BUPv!i#l;hrRa*O2~+wgnRG9cFlN#8#m?N{7=hx6xlotu7XO6cWc- z^fKVsloLjC*F9r6;GKT6Uxaqf7qvm~&}h=3*Z!okB4>2t2%?f&2K~dnWqn?KRZ7E+ z;m~D*yS*+sSYO-Lac$y(@4WWtEV3`(GEVH%K!1oh+w&n3L*j2+$i z>{uzZI|JntdYgB4rl+9>3o}Jp7FSWLXUi8TWqE$knlTDdQT0(> zND}OEip|`DZveT9S`$s%!5E~B2P0x`J2iwr0W(M;i+xkIs~5sFL6H+z=)Dewv~ZNb z@-r3@_vZKZ;cUtRTq92_`a2>>{#Ih&rUds53`A#KtaWS<;nz7gtEdgTlANurhEL?j zOnfi&(8)>w^{1<};)_!DD#}(zVJb2!kQLj!rQMGpY^goHviN(ZdlKddUZj2~_oCUE!K9!f)sPNlJ!$v}(wRK|0 zSJeQKM+=mt-yKT5{B0Jt*M7jbsa`b_H!R^wS}>(yRQ-XZI&nxv$Pr<^ED+w}Y>;W) z6f6P?gfGY;8Lt)-qS>0=EUE>9Cf=6jJw2$LUuAf?Q8RDfj0S}6B*ADQo${G8b+M z0VUZbRat~vU64ZO6hZirgPj)B?3O;9c8)ywM&Xn}GcmVYE(TPc@NQqk8Lb@DNoeQd zK#$R__*Mez5A^;U#sYgpgukH{tVvLmS%()woVUH9GzsZ4UG_wFPJg?B;^q7KGKnxu zn2cg+?!FmYfeV5}HYMnl&8@tf-Lauqc6{OOep0O_WPq?3I=Tpd1Zn${vveh9R77kZ zc}f2Pq<0I#m1KVcpvSOsN z+v`!=lu4sW8Mo!)D$OpP`AUXtQuJKuP7+)Xv{h2;+%dPEByLnzMN206yGAzkLA4dy z3MIH_xMAgSp?ZhczP1+Bi!P~y;g<90VJSPVNb&;Z6HK~9m+iS;2Nmpv-9S7&&E!{O zPH=W0lPuVtQA6bxbWA@BsOC0W>+n3H>dAwe+45)SIoGe-pae2whknd)@KF%k{?22-9A0+pl3aI|i)@V7QBGr|$xnrTfxG19F`Q?%F)3sGBpbYgOhKrh<)ppW$qw z4h^;7NSE{2A_8NFP50h3bRFI|A-eiPP6a=xH;q7y5GqS8%Cz;buohVnR!2x-u}&Q1 zW|dIL<(A8Ut$%f&ly8d2FT>9y(vW-gqN_*Gw6Nz`1#)udT6n2Nzh_Aicxm(T9!{l; z*#q>-jKm?#EwFXZ%GaR`3+%s7or6ZBAW#t?&aTR8; zHO?fCD2<{#C{pi7v+YmX)mHP}^bN{)tS|rdKjM!$EYZ(vlJ#(MrpMf-1i6oSI(^5o z%dLc>t~s=wO~MeCC~6q~%X;ix?c%wD(jvkC2?R~s(b0C)96R|}b7Y7l9ypSVsl8*E z>tbJ~IXK-l9C=<$HsU7^P5rQ%Na;=3qF1V!XpH@bKiG-8+YsXvZ=Z=J`dBb|_C>sc z;vp!2Pyp!K(+iN6zeB6d>{Um;(NPm_KsLh(p3M+0!=wA#J6eWqSg(CQZu)I-=$^pw zhK*ZB^(CV=H#<1N^|dv1Sl#ZkrgxZkR@qPHX737eJ#Mqo=2K@GK4d60Y6B|G;(;F; z(E6I*bh#hi{x;7YnCE|ZO)|2((&o{QABl$pzx|@777d*lI=nmsaq+#v3VnuY#ahCx zjnp63t{=;;C)k94u#cEwlJpsRjO>MWeN7tNE_IV~=vK zbN^Rk9emvmucdN~H-Q(P@Qm{|_>#c$2m*hcKRvD{RdF+sPdKkx+Xw;93 z=sm`BMr!**a>DwK|K8ORq@M*#Fs?1>ERu1yy%;7m=`5cpc{9tby5>%0h|>pe<+0vQ zL5aqkbu|%P`wA<$Sc8vpiYJGg(xD?jb#BFVqqAD%p@+4aLQlxt-V&IlQ<=9v)XRVn&6!_21ty#iWK5KO^{9MZ{yCG~op#KiX(Vczw^A~@t+nT8`0$wm zAh9ie_)n*!eMK?<6!nRHB&vI8@P?CA>wf#E=YyVWQFsE5;NNuZ;S98D^e*{W)z1m! zZss%bPo(zg^`?U!Vj%ZiQ#bK_{bGHQ?d4fOn7uF&>#FO13ygW3STQj5rClz)M)Na; zgQCXjEh}QRpFCjveti~~5gYv*iGRjy6)-1DM@>6%r%5@Q5A)!kYOJHgfM$Te*kR!A zGJVWZm)s4Qe8>94G=W_sJwW_Uja-fj7@OS@x}%n{6ktjMOkzd3!{ym2G$5$@Vk*M> zG&b{wJTIRG%fT9@1C}*+|B5A=%!Y>dOlg2+k6)fnGi*oR$s=?GWtUD*rn)6(pHRk>$h8XC0k1NfR> zGxNdyAn?r&oYOK|=gF4?%Uuo*r8%LFolkz78iX_+EzL7EGlv_s`37(Vyui7#ci=h&~LK z@jRPAQ|>39v@1%PU$UW~d{rs#e-Ztreq93GuQQvwSQr~Ibrh`OQa)nL)!Wg;#(@^I z7k+OCPmN-ajLZMc!)AmG0FbC-#11T{!sHDxmSF&y*T<@^KVm^ zftv`})Lv+c4t3yO=cg%W-nZCdQ_ADqZ=f0zGgnqAulkm-O_fLkm%BdB0Qu}j!C=4R!qk_{#|U+ zjUvZpYht!zI#g^i+oZ#&9S#5Yqu){gq-1I52?T6L$WZ?ptW zM&N%s+OKu&4sz(P2m@!_){?y2am(-3JJsl(`^oo@m%4kd7jz1=n-7Ukwp->ohs4W+ zQsaNhTe)I`Wq^BQ?5h&r+lUuuO6t-xG4`;SjRsutJ9R{Ozdtdo`_H^4p&Ga zmP8zdO(WS18zTw}MZAc9bA(xf_fwK+JqfY{wc+gy#kc}}DeB+0ibPG}g%ZqIG(m!9 z?WQnS)-+OJC!{6yfgKldz^2AQf_!C9bG@q<0gqo&`wRbh zq9vr*h^5z&XiP|5rdLXE=cdu|M;7o1_3~OKsWB8%II3&oQUg@(MQrFVE+}&rL;A25 zJ6mHZq?*SUb(dk>k32H4jqBR7kVFd^({`R~vWG9&PWsC^hViSo@uzpDQrH}8`t5`C z+r0?D7U()RIiLVrQ1B~-9Y^~6BQoR9v5a5w=~vz#fWCx3@g85mHW=rPm`7OGt$S+8b-w5~LD^l~?KT0#hojWgUhuy7ZS+Kv{>J z*Jk+~Sihd$ByuCs#q4Q2-xs7I%w1C@r+d*SWXlj8`M=>w2;pWj@galcSkAIB-%I+bmH!CmR`0q_f&v%Th(U;(b^Vgyh zysY3(I(6sTEPdW_edptQmt$N+n7Vn^D`sO__ggFU_E~hF>IuR*f@M8MyfEr9=Jjfc z^LvK#@q-7E+y5f_c6>}Bg%pblLG~3O9E7!s(%v>UheaX@w% z!C}-LOY*h-O$**lrf?QJfvL00VQTZbT~-Usajq2I_ZOU$#9%C^PfA9(39Y-SSCh%t z)~j^QKPIipbNRG5U%;An6Fu6yn(`X%tt{LAmdWnXiQ8rJvfwL{HO7)fj(s^l@a1LF zR}<>hE$U9nDp3Al#$ie?;(%z9XbJDEo(h5pp1LS?MlQ3ZK_0VYV@W*i0Keym z`Bod>y$@dPFkh<^_f6oN_W;jAED?k|^R+gG?LmcC8Ij1e?`~UK%}^ucDiaY>ZfF)8 z&2qzm)Ric+gkjup0GQ=QvRCEo=16eggS$%*rZ-eQ4oU0Ro^i!AIMc(A=cUP@=-!b7;?M8;qw@I@Y1WRtI_em4-jnt7G|^;H;fzaGO~ul z`)(pNK)&lr(TgpV33X@iQ!=^LPO{Z(6gB^7_WWS#r!blp5n?=AaGnxPCm4V(pVHf9 z!+MW8e?Kve3}PF9us5R6u?YbObO3Pwx9Ow#8HZ+5*dMmSn5p$xRv_Xf@Okw!Lz+1d zyy_s!*`wSQ$=-xJdlb1cbYi&4uk`+)B^=<`5k+owlWf&rfjM^;Z$>9Dou7x)1NaFc z=)M(y;1cwy0ixTU6k{R6tU9Juv~NeULCc@}C$Si8%u@U-($7IwFykn9M4>+4Y;yMg z^}#_(yc(<{Mwc)LDUwNSMjPVw>R0m`M2eb;nx;wGHSJ}TcmzN2-hUX=iJ9p!FSh;V zIDhOnBDWV&g@`x}wb`o0a>b3G9)8c}JhcKTQi*hV9z!ei1BT1A13CAKsJZc+R;8CiPodWvyY!c8Q!Ru__TWg;w6rDFVJ(| z&fo1!^f{A<9NL?afFu;a&s}!-@4mS0I<1s_&Y>JU>sLzL3#v^NA=z^bg;$SS>pMT6 zw-_;w?Z~6-H+C43hb%rjllbR2WE$ag=r9VL>T{>G{?MLn`lZ7QUNRNNOy6xy>=H=O z-58iJS;mQ@j%_uPG-ULzbsPET%cy!M*?t(=r|N_Fqz-f6%cS&%%A;A`lzrHQFlP1~ zUE!0tWqRiAhdXpiCp;K8I-}XT(#%osPLYMAJ-p)*I-wHhu590d;JZy%ggh#K7e(u3 z>2VgP0-fN7>|{_kd9dH9Q#4W1eyQUiGQo{yTrWO~us-kE&YHdVc%DHkwV*7xEN~6i zxoI+a=u$^KB{GrV>3gq5aQdlKff-=q=5!IsK8`zo_SimE(q4_2w`Uv*Z=cjRXS*+O zYyF|+Sk^z3SVaqOIX<_LK6Vwt*{v&SXMO&eTzg~{hm*w0zNrVQ|2c(hzf0L$wNIq( zxIX1@X5+$`DHiyFPVr2{QoIO>BNy})P^>=t?UO`V#}}?)_ANp<*K~w^#-C%!tvq6u zInNq1r*4|GKciOZfdW3&p_!^B*|KW;--@2+(?){Hc5j-e3&|Qc34XtgVG0^}xuhwH zvLECRV%ayXgnb)6+cuFG?zqNwWJJ>p%Uh+@PaSm6TnBsXA0u;LvYoe2-|Z(N1}9np z4Jd7sGY-3eVp=%Xu!Mb|xf@8|9A*Gl#ngH08D*Z+_B&s>7&GmZaa zTr-qrGLQDI0!w5rf4!;`HNIB3hs*mMPp;MePe;;j0*rL(cm{v#J5=WQfj!5c)AYmt zr`ngZL&Yxb?*su`7-ah*%09s<5@Fl^Vz7U|4y+5IMD;)Eh zJYzwY3S%gng-fBb3+%0%B2t_(r=M{3Ub@0{3UB!MHbpfGgoEpgH)_9QigD* zvtjchjP?Jjv^He@b`Xr_PV9C&34YC3yVgZgmHC@K=Q09YHsj`1yG!o6Ugpu-z?~j2 z1#(GWNmcxIJ7Sh0Zv!1Fs+54p`Wntz_|T2WUX2D!`8^5AmK(tPQ*h&JW(a;cTV5tF z`+2bvu&TN%yHANsg)+uvLt)JRpP6ywc@~L#oJvBc5oSwnV2pZ6j|F)ql-@T-$68CF46jNuHAuHMD zRU_deLijrzJt`BG2p?M)fS(z*oggFjK50hEw-x!t*T6-tx5wZ!8Stx{L z4KT$we;*w>!$cD*&;XxoFN~)MBA4WZ>oav^Yh(6z3IoTZXP%d_6rCxWa0ETzmF30a zDPB{j^ePKs)5Dl4D?)5?#<>hI*?SDMYqcd+(N(?ZN$|jlvl8t^65G5LolBi)NFNhm zlK|x;dVsdcq9Jy#b8Y!Rohq!f)#j*X(MK1tb!4Zj6J=fsEjnh(nyUhZMW@O*&P{OW z;@|a{3|xYz&0gjJ9@r!T0)(PN7LJ@O<2oy*DdMTj6vIS8qCmBCyH6|ZKUs!yF6#+n zaFr`~x0D$YL5Pnw_%W3=1O>%4iY5DkNGY!qDZUc)T5bv|%39^`V-zmaMtKSyatS-! z4Vy;H#A$3p5Y_3;`m@wsMWf%oP(nAR@uTqdsMjmKP&yO+&|(ZM)R?I}$f~2@=&P0^ zEX5{>nN>Rkcg%%P=AU5pQ<2f!dq}{od@nnm;#ca9sp2Op)2ry*#EsRe@nBhTAKTef zF4(sk2{;k98sVrc!T+d!ZX!1~xyDv&y91zaGZRgT5=M544~^4Z&<(4K8gEIJc2xl- zbb#&CSvs#*11>&I6WfkMw*dJH`|6*Z2nc0mFjEgeLROHW>4Op{!|Xtln; zqSbnk0sgP*O7wvgGi2^9E1|4ZmWtedND0SqaQdn>B>EC_R-`@Q_BS05d>sS6Z+1~z z2c(QDRI!&5KE@7op7v#!SA7kCEPO1qqm%DL!3qcPQ)he+O!~tbIqA!CR#+-}DX|Z2 z7QR}}P5&YRY21~ljro>VE%1BI=VzhdOw;zOT?v_rvj0+Lh2W}qg%|wMNv*R-aGI?k zvp`l*Vt)@L>qstnyac?oK0Eum1-K-|K`5En&WaEk$&Y;N9LUS&=(eo|=B!gJBdacg zD?JSkx@zq7mXljfHtYv|w?8a1ieU2iB%2ZEH^iK3vInaTt^h`bCSaV42KAyo{ z$AvPbEDX85jS~7XAyTU?B*>Vy^9EA@Su(Qrcp;$q)o7LtE~zRHPsZnJFky_XDx`^g z5%41TMX-iDo;y}YLb82Gtve1=Jw;OGUEPDueM{r0u@#cb&;x3Rdd#clucRlr2z)Hu z)G~)$l2I{=aa7C6L%U@?z)L5EzRa#FmDa$RVzoDvJLIqq;o!SQ;x{#gyh!$BQ$=;xSBnpxhm67Y+3)Csyy4jS}5#2YX?i!W3tWHbL z*gTHxl#0LbP?5uC-?vLPB0M=pK9ts@vb2#GiLW{zwv{8C%?6U1vU+nV+H;prXA63v zQQqXkBhq?icD;?H{qH&@if^{ORPy_jyL91WwAr0DO+GlT`YD?&h`N6$`{mt9m`K<15Fv={^Rr+vJtm$UtR_t-}><#a?%EIK38c2dEJyF15~xs%8d*#f_Y&E;NXToE`CE9EvS zGs#dHBk!ndqf@pxr>-(6jM3~QE`4e^deTP=lJq1?sArTNkXtGzQPM)D@rsaCO9{|3 zK(Xr9BN9|uUAG=;m&0)nzy&{hSf*Rjv_Nj;el*Fem6Dd>&hou+510%mbZ)9I4c81& zWF|k~`o`pJ;dO1E+ya7}{2;{bZ6!sJtoP0DY?~&Db31uLi=+IVCiDc;JkHJ0GiHC% zjBzE1bHjELMa_Glno)+z@1ZAeVM5vFy0I`2(RcqMePnFTgRlRkfBlele}jYTmlO)G75&dSa4t7^cCpI}?!i9~{TsIbyI(mJ z?aEnE>!a4owMsbTwdP*H5ZY-M4Sn|R{KrtAo-`d%ar5Ty1sVpY$Cq0>n-Yk z3@J|HZswZTUFlj}aUwL;+pz>I9yXPykkZ8reyyj{hT<>leyJ5ldfOnnaXHfaprpgU z-_n*+5erghN}|h>EKR#!?wv%$4Kn%4AbBa(6ps3*`bl_5ojziiYC+3ZCMAG{eCjz_=4lfB6F!|Sh8FnYz<|unhCM-vZxN?NA zbd@`ynHtpJ+f2wo$hXJWY3G(rzP?wUSfiR-lE%29^$(l|(K09kn=(7PyU z0!_`Tg*P}-_pp&UZ`*%DIC3*2*t=*rfP58CNmlDPGZ5uHig6CkacOZRQTMysr;+G3 zXw^+1;v-M5=5pkZ(O~bKBny$WVd0JJBrWCk|HD(4#`9Q-1C3`7##b83O{k`B)c=Md zjb}0vY&~xiX3RUf)&(Gb+PrDsKI%-`(P1A_+MpjKpIv8%u#_9*Kh>R$do0SDM0EUK zXNP&cjei_fxQaykQ}TYjpH}8sB&q^rtI5V8n*V^ND+mV;d1>pJ$DUrG%QpS-BRN+|xY@475Xo zZxjqWHA!A9yiu5BqfDatp){43qy9;x;o0~M$W=AEh;FWya*$%Rc*)05AS>gxwbBmW z_Jg+zli0*ogorza&}3PODJ2>_;#R9AB-dp9N($CT!$xnORLBfrp^ZU>4ASOS^0zWvLgUcF*Ra7WGupaNbp}v?x9*wti`fN zEh{L@bPglc9$~sZu}M9J7ysY2CoWwfrFx*Z*ko= z3CWV{iTkQ$!&K8H#Q!{Ij8Sq_+-KT%7G-|3G(82jpzGS=N>opm-9r48V9GlcFDd`? z6-j53&V1ObRYCE?PJhtuFRA>HGyC&AgrgXx;E655ab++rYtw|{=(Wes->*oRGqO31 z#ZVDs)RfCs5~`%x8nhwzFZY}&NU%?KiZfA_gBn^@<=`xpC~A7`Z*m(zHcth$1s1ij zb1jpo&RJT-V5pqQC|niSBpD`>9Fr<+X&hQg$9GM9TjN7i2QDqb8LD0ME(YvsS+MC$ zSuVZl1ik4^SxK`Vb;dSO3ET;$xzj=UD;FsjDi``N;lKc&tQ6PFW|!TFZPPDX5j6}U z72>{k3d+1{?HQpLq==V+>G^)`E{(pcg{7w5!s55H< zZ`tx>RtOl5mw}+Fx7w)6sOmDU%kn9*U|RPIBIb{zh^b!dx4ZMxK!`IWQzs->bSGiWSl3Y3{c?qJsMMFBF zWiGohUR|XDl5w&W#cJ6In&(}87|q;^`k&CH$%bjmyC}3C<_(x@(=zIe@BB1#o-7cE zELJ;Kk-TTsVVI#+br_oUGdn11y`mf9OZYp~Quq$~ zlZjIkQ3&Zgg(o^j*yTCz?x;_JL{QfP)2{~VZR%iA@TsB)tvnWiNUT;15* zC%ZMK=8?ik7XQ)GqX;+GvxXkvw6JTSr5&91tJ;#N3PFR{grwOBsxFEgW-L9r7U-`n zyUq}jdpIFAm{|6>3L4RBQ=(%d)G>S2tSxOy*%kNO#-KanyR1XD>XS=*&RoD4iPPy_ zgBVL?v%%(aq1qM{)i8Pd;2pJ$uMB>oNun-MWrr2tJaXMsP-Vv(;f)CW=m@>!X!!D_ zJ(cM?L2tMULug}XuV6@!$7@YN_a9XKi}-7-#dR*#|Dt=w%-BsGOe^nW680QaS zDb+if4&nHH$O}#!>3Vt#wzD&Qrs#;;1j$lQC#nxt_aN83+ya^MN4$WYB0uA0 zNU<7+9AB7$(|h#HWszIGw^WYm({9AG8XEh%ytvP>Vzo;mXjukoI5Yehu+Qm3lZ~vA zX5ZDr*G*vTbCPx<-c{bHzeZntwNy_~HD(B0k>a#>(3Gm#D!UY{*i?2N%!V0p05Rs} zteq5#1P>0O95qH7ZtVA@{M{7EvcZ0B8tl-5awg;=OcIZ>NHYKn_03tKjzSn|T10iv z!d+>vF3ZY&|c3nA>z~oR8NBVMHc+kZ&h{%KtVsJr*faupp`L+8;g-sH_ z+yFxHNwpBWM#?MZ1l1`yLC zNo<(G*HqI&`@HzM5$Y_N_#sa(NZs8Z#%5?NXrTItj(T)R(?9aCJP-WRnVITKV9`Uk zdq|`XC9z`!sndtn?;Vr3MY z?24S9;ZF3sp^)fAa?OX{b?g6bx6p6g-Aw)6P7lzw%bdL(tYXxI>?#lRGvw`>MDz!u zAg&BZD#j)zvl)6o_)p{Db)6+P2hIy{_{cn8V?hkGb4sQA@Gg$wpnsr~~~hAc4rxE>7nnS?QCBfxzx} zXl66&UruXThBtwRp?uA>?a3sXXuWI#C|h0xomMs;PKP=8dZc(x$>`K3N#ovzvWBwJ zEwtm<&C~cmfKjKqhuCUSl5(veb&7ff$#g*c#}L{ME+Ja87~-KF?JrQ~koMLDP>gi< z4+XQyF2DI>plWs~f44w$n(`kbG@H~V+ zeDoltespxu%ptKt;0^Z1l|)x6bMJu$*UPnzp2UksSE%11{*64yJsUZK{_>OMVSeSK zyJ=*%P0(o5$eOu_tm0CV3@!1{mjN>z3j}6r(a2szif8Q~7LlSUMD3CENfK1rNY?;& z40XsZx5`L8j(R2%d^3M^QIjO2Al*Xap}qo^A*}O>OYJHPZNwm_?6TEyCYFf|yd=~U zy@NFz@z9|3BF4~cAPwD4XP624mv=QT9Gk33r42xRWuOQ27^oU%Ph)6ukT|k&fBF=N zQTvAMP}&!dnMq@|N)PuA?9 z87($f_l}y;eEx8z2kgl*w$_0d$T&4-!y6jIX@{cUBpE9hwwCYcA8Ub7^)Mr34A)#7 z@<#H`(s0|S)avL8$t`==mEe3$&(IhcS0q{dxN8t}+)=GNWYs^`OcxPjcY#sf45$Ip zEFf07Mo$Az=ODP}j4)2)#p!r7f(4>k?sT#Qbyi+<9GGQpS`7mi=Lh5mP$E|rUuoQG z*d*$F=yp1?^$Bg&0p3T3z2wI%j^V|_k@6)FB(_9kgYZA(1w=4{T94%4K(cCe#C753 z_t3qy%;+QT_ny%CTSvs7Pb_(LFweUkfl{oYjpolFh%R3L91Jdr)BAzWH1aponMQsp z;`P=dIlyBXMwmZCiva*68cf3cEYvBY_efBb{u>ebDvlI9LbzztRWk`<*Q^tZFu%=; zt>KCDQ$0W6oYpin*t+eiok+0EGb!qQ%T+%R-ho-a%sRfyq!*owPB>9pb&-X2LYa~L%GPf9;QGdu~KCYoan3{~a709>_t z4d~LU)fN=4wOO1W2pAV({OG{e(`Y74?>wYKt&br`5Gl3co7nbAy-b=4?b=+ZdqvjVpjJ-{H;hrpWb{r1 z-z-?e4QleIVyqV*XF7}SWxO`xfJb?m7bZfAKY6qsqC_{XX|P;@d7wZq+PZZY6F6Rc zRlIE)1jA1YI}MKlb1q{1UP0?wG_x1EJ-)qt4`I4epanxfmV`r!5BMi#U+q1O9@F;=7C}cBw|Dw@+i9tda zWke^%tb1^8N8j^_r8xhJ`(hTO*O=_OzxFuSJU=o2ipR@8OWMFlibE`nz$&7-eUlMJ zuab(n`D-nx8w}c^e~wX~7L#3Ba$Vl8DX>77kDs=X=!Ir$FA37vWF3oi>~iZ3B?T|p zK^rn!N6@|7SiL^^Uj@E2s%M6yk3-yEf4pF}f(O8@Nsq=)gA)f!g8x z-sr1ZpbW#aIHCTF%Q3!t+blDIx!w9bzkFKKT1h8dEjqn(0OQ_0 zorcd4!rTn_zod0NlKB|T`ZSx?H#5v|t0`eo-nIye<~?jS0Y&pSRIdrZHne{;gjew5 zlIT4a0`o}Gs+Oy{+q7s&m8{*vl)69oHaRwLGs4Tih!$@%=v_*_(xtgN73cF(;UL}T z3}?|L%{CS$Y>H*S(dmS>DXk`yXpa@-R=o?GM0*Zzo87y;HJQ$Y0Mp4drW<}>+Qa0- zlds6_t2(sg^%1QWOVT5q&emLa8$EJ>kJ-$B-N6ov%%S7b>qPP2n)@+zS}*5sG=D5e z-%pD_*8DN_F)aMrTx)ef&wU6Bc!F|{b2zQzn5Jt5HT9w$SG8uM+$xLbc904kc{Lh= z1hrnYXha#&4n*GU*1xFR-%NTJv=-#|L_rwMvuGWJTqu8~AY>CxiJpV*7vw)ff^Fyf zp)^bI@xJ2ApYLlS>FJGwnuf1w55`_zpE7y%WaaPnr=@4!M_cMFs)`e|NBprUe*dPw zFUw{JuG@HW=@CJ|;V9?dvUBgWcilN(`@cu7)w#QEPt3tWNP)%>{Dr#){6QpQ%s{#m zK$krJnL(oalh-bXQlxp{iHV6gv@u%kLzIky*IQrVjT&_)lztFh-#btgA<_zJ%^aB8 zlsmioMTz?b7Abgv2UU2Nj50XZ+RhxLA{EuzHJKT?%NUi z&P`XXhW!z)z?U&1!HTb=iStO|W289ZKR@P&)B5MMnWJ^&=_u=O;q0ykAS<~ zO)j+y`k-x&RNX+iQn%Z^4-sa6d28=OH2B3{H9-pPbb>w$6lGN2b(h3s#RplAD08BS zZx?7w`u;j6TRoFvydlY@U+up#8Hr9b!gj#D{gtodbSP}oH-GB_T_|T6iFTxL%v9XB zR+feuB_=4EtMw~=4YggN)OJqvBZbLq9Wu=rVG)sY)24}#&jGSF_?MRp(_BR@$FKXv z%Gyw(s))@`T(2-fGOs}CIG;Xi%vSu%6z6i>nAmc=wFF`2KC5+~f$&wqGABGsZA^Ns z3eW^L&DXFMD2$oI?t(fky>QxB7Z~otE7&~lWo z;+-Y{yki%_5f;ooO(j zy{v2|&c&z{SHdE)hz9te#s*OQZc;xF=O@~zrcjaw6LAYywVBFGnWLJe*e1L3Lw9{p znw19Q0KM3Jc!cp_oFapZf&kBu$kWu=3aMR2Gr$yhZEKB;p&t>PW=2#EvS<16apv%@F^F%Ud!*(`UzABXT@L~LmGIQ~dBnB*K%pZ3xDi`WZdRdAIvDJ{Mio|IIH;~w3 zXs=lHHBgw$?~Q>u%B;$`>ri7UmTj!=VK7uHAqhI2ZY5Z9@nrf5b)sS{3Q+Bs2h&l2 zd$D=)XAU&xZUEd9Y9I1d475oQaDoaI#dxnBq$p_dp)eh{J5%A3viX|A)dHNa%8}Wj zS=VjFI_tv|SUS{1OkiI%#-=6`XaX>=O;(Pu7{Uz5dVDF#OZW(;&Wx6%c#B9x^^Ri9 zvF6Dlq1zIDoMFx*HPG_$YaO6aROXGGnDwjLQ?XeVDa;7a=&EKY67t+I!ySr2umnei zuFR_HiZG)HurH{}Kmhx}mdV>w0sA6we&j7}-YzHF6uu&cTPG3K8IE6>V6O)??ig2^ z+%_742Pq<}GMEfqqN6zuEvfptbZoxHXi60&G!AQULho%|NqK^Z{I) zu2`m>+YG*B|4+c%T$6KiasK9g^;}-v-_VYz*o>6KdH!6PDBn+OY=uw!Mu-G;1>(>V z7-LxB#gF2TA=n^{i+rgpM6#I`^d_8+1|N0b?}y8u-)1B=GlJx4@hh>cdQ&hdWjd8t z&)mF2{s4Ndf$R=heT?VO(3ioa>s`bdzefz1qO%Iy>s zsP#sh*OSsDl>fpbR=mqtIRV~cZ)VH&>Kbo@-E<{Y!iW{H(9Ye9@ak@%!Ot>>1teVF1(JL)F?AFv z9=<}8^)2>&5s)0{nY|#g}FpYr$Eu=dvj{G)_whb1vYSC_Q zq6XN|aNxicgt>M4%y*043%RkkQ~s_2x@!6av;Q2vE>n7@4O9%TX_QhkL} zF;cn)36h_zGsCb-c)=dxk95>T+}HZc1C+~iq3`UFo2b7dU|tv!?}js!96J1@&K8}z zl|39KKNx?p=|}jvWk`cGVg30RjF--$!Kv=b9wgHf@%QG^%zz{z#khF^ShuovCV1iN zF2f68UgZ~ek;zadQv9!{ZSaz~vBloMB~4SRXeHcl6PEzy(fu;lqM4T0Otcst{Y5p6 z&_2jpPq6fYWL3bm{hw_V-AD(I##daU1&Xl!j$=P{=GL#nGf3%6y`cSPVI=M-Um4fd zU08V{7u?aA^QZqpLA{y6Ei6(B|85hO$|mC4Q1I?a9xz6rm8zkj5EUXl0fB(!>bhj$ zjV)+nXo|e!6Y0ZFPFd8JERQDCd)?-;oj9#sp|d2BK4GSxKl8 zlUM$Lwps_Et2 zDjF_0lP~S8qM?y7nv=vN;v%6%eP*>*koN{1$z<7~ zXW%v>fpa_RE}|F&vf)Hpu^P}IA{Hha2O%1tyKa#H!J|g8?52gTxGv#ggDyuthCwQs z#uhwm2)?mDNmuDbv-n|L55&*zhMXVh`x5bwrRfOgxHd4WzVD$Rq5PBArxv#liY~74Cp1#9dQwz(&Q!0 zRBrh}c|QsOonl*lhJHHC#_K*XEj{$kVP7k zH}n%EbNy#gqg&lBx4LH1CTdvFFafg82G+O>ZZIGQer<3kw%P)6{l_rF+`o|E9v#rC zh_q>sAUBLibA7bdgcw*U9n|KiA#YpOzY#S`+o4YD|9Y}VpU!cosWo6lL+8gcxqisl z)9utVpmom$ty0%hj6J&IA!RKjN~0@p8bc;G=CI}fv=VIwywR)%PjIK|sZ?GAp60Di z8d^=qulc9_c;G~Obbp}eO$f`tSiYk3)BsOl@4!6gW!mvm@0yn zU|iGup7K#=b##@VLqm{8ml)7L?Pn@@Xt%iMSi?-sp`o_5T0w8@)xD^LX6=xZXu%#7 zfO(T$Un~3|$+QD?8N!i{t&^Hn6xz>5XmrA0sPn``zX@?}s`0j^faZ)dekQ!3O0@WO zk~)*h8|ACR`@>F-8GT~7q8(dZG(=O-rjQJ;W$w?RIqZkS3lcvg-c=ZE%%j7jpRriy z_EsO_qZTREr}HIEIhg;lwN_A#=xnUfg%%At3-qx#aogOh$aqZn;K z&F6>AAd4T!i8g6I0fUo+NN|R!CKAmI!?H#VX?2R^g8A#fWdk!<**?Ak0vokh30Dq9 zoJ|F+Aobb)i!d7K0aCp+K~3}hvPKuGT?PWzLKUJH#YDP9mi}D6N5z zuYI8Fh;vUZ*2BGlh)YiQTXe)j$z456j`{|)W2HTKNq?m@tfD+L!)?6S849QMtow&T zSAs%&XmrR|Q2a={bfjOr~dgn#JG{9PY4LapK@HU!xAYfFz zV(3!8-H#+;)PSaaPG|0AV16JP?00a~z3E==`P}t}gA*%#v0GAVHBqa{;M zelOXk+gqQX>ha;hx0u%To(;#h-Tvm=TI892Hge*&Y=`b z&21Sz5Ex#6a&cDy=-WDpHHZt==yKNOBAC+-Th8o4;*GVZozbh#?EBqjjki#%vUc*@C!}4LuV0( z`*&eJf{<@ksUL$x^pH#_+{ak77ki8t*1(XXCuSE@f{Y$8$)~XSZQL0!XM8p^26FPI zVrFHg+lWqO98900`B|MzyYM0HfgT)!bz>0&=22|wOk_x-EtDSSYtWMZnI3eSuWWZx0{SBMD6`+0_^}HbErm!RTp-G(*RHD^ufi)lksob|&M* zXgE}~e9c_-18C22A@OQW3_?h00-N7^w%-qCL}rv|726!9I_isv)=(tQS_NaA3yl2y zHfh4?9<-&9ikY*26z*AEz`-atqX;D#L&bHy1Igf)0!gVUm6>iPg*sk3i0WL;8g*Kw zWgh=;e`DpC1)c5LXx5M(bC^i*m}4_kQ(N7Z2{10t#N`Q3+?llk%X*3gy;;}E6-B{# zO7nB91MODQeJ^PVqVAuwN0Hm-(Bkwdm!Ji})X~R7JC~WeMc>T-WJRYB>i;^Ip$j@o z&o97`tfwsKMCU)$kyT4M0>b);bDcQ^h#NiuU3ES<5EKuL=OlmnwJuwgu9V~@wQg4DFGxt>P z1>s#<4dK|~5*q?cywwCCaZ@tc<#oxYY0QY>L^T}Qfl=jOp=H|m{pHtr)e}O`{*k}b z`Q4fKM}JWr`RC8FKU!miAA*wYV~0-oJzZd)=Wer7J7CF)y5t?vp)KO`(J|9JEn^bi z?rv|{o6E*M4&$Yp+5Nd`nNRe^nY%cW=6_n|ZJQ_&JT2OVd=d~!W_#$c!!SGMX3^6? z)FQ#jRhZ?vdTwcyiyaza}6PCV-g z0$a7j!OIQcs?&n5zc^7ANFEGx4sYR?Va{g~yWAd*A5)2X44A$dppW^ShVC2k{(L{K zWdVTON;`MyyzG?ZNSC}g9lj5XFLynSW6sfZ^Pi^zN7ZJi-3e3Xz3ne8()G) z<$d2qpZ|R=d8>O;`d?*VV(V4(s1 zu>+6!{8P(4l^R9@{pq5}NG}*P5DHL>_*k@5|faJ}x5D)k+ylDa}tEq*X z7^MATH0JsPg9Ns5{?6s64C!MU*)i8I^2QKn^MQuEAA6WF*Uz`Wee8%+H*k3MMd3nM zM4X$9db~)^O$H3rSqo@bFY)%B8TK!=;mu^yVFpGR46308n^B)kKgO;Ydy@6k}Mg!>0Mw35n1Bn<> zp<{wKkgYjrw#BtzK)V@P;kSR5Hk?qNzktRn4E4}_YJp$+@huj@N?-!(W)c(yE8i7B7=t(C2$MvcCtC02~NMSj!a6@81^FnyNJud4=H0IB;mb-x7c3##jJ0$O_v3Qcc!y|<0@Q;wO%@;BJ^b=Vz=g3uS zpj1<{0mGlpd~N0;IvA@XeDg?7f!SOG#xh1 zw(;MDk@j1Vm_KjiT?B6bIXUYIgPQ-{g$Tb-G|=xv&gEGF=~nR0j89WYc8lRZj_~Gx zULMU1aws9J{&10qV*W7l_%sig97uKY zbM0t5DVf6+3Or`>O5u0Uc@gXw$5aD9CIBeQTtK6g&T0>x!Mg$m>KJ%(oJV7f7{>>W z>8P`L=}kTVO$cc}sx2y2mj3XDq_pFo z|A9CXn>2|-Q(1%GU2UhibxdB zUq4|S4tuHsj7z;Q=eQDiY{87w9kpC6?%8F%=nS;LeG8>E@i!=NL6V&6w~!7H+2t zE6Q;JRTVK~V!uj!^#JlSJK9;p50grtmdTtD?t<8&asMfs2P>H}C%`#2aNNq^RI}zpYaLYy~2R%e7{TK z3GBFJLfmJPr+lr%rMC*y*7Tlvq&0Zrw5fz=s=g|SUI`y(qIwU&aaU*q>o2+eVEsWr z=&8&M=UzHky80mP)lS(m+dCWP!ks%&Op;Mn1PfO1_RcMm2AXFhlg3vXFmdUN(6ouL zXL#eduBA;UJV%(S2smxd4>@l{OP>x_XV4t#(WRAoNhG_yvl4zd1hghEphJOdCgSnM zrW&r#vpg%ei3-aWoc$CR3{SxLrzCKbofeg8F=`k}O$ooZl;OYKPb zaY@h(&kRS)T38yjAw2!^Q#=5tbe-{)23^<`>;v(@!_T%L0wI?4pzWQJi!`Z#<@foW zxqEAYmELISf5)mT!K&X@{$L6h0F_<`U)mWq9`t3&xW||7s!9;s+p|A7xrU5QXQ|St z=)AqTfks76dK2^<$`;PqyUX#D^_$%-2Xjy7M&~Z)U36R%akyp{5ONSR}2P; zm%-aY5!&mAb@^ zOyj9;%W{NYE2l28^H1Ze++}Uy#dRkuZf2%95}w}sW|@hr%8{6goTXzH;?nnl zb6Dc4F>p4vK|bIzm5Z!(f@BcOzRV2w(=AyVR+*li!cz6h!j>+tE=R3HGOWKC4J;qH zf2UyRSP5T!xOB~5@8@+EM*Xqx!!-4=ffLs~W60H!?Qu)|H0hUl!HxVA^S>@~ z^me~i@HtUEcXn<%yTZxCJMZ)4id5m^wJDRkz1!W^4F_~h>`XejDQdgRI=ero{?c9g zy=>r@rv{;G0#~fNjvqc<;#0WC^PiADtM-kZ<)m-Xz?G6!cltItJ`kyYu5gQebT}b; zl!*0PH@xv}>C;7>$+77(Kiie;IohG>^u0T@q%&-N`s6P^bq$|6hT5ob*@LBi?Dnhq z@OxH#6^DZBe=yYxUz7b4sei`1R@;%XZP&UX(rcHw(KqH5Oe+5`nH%OPdl3HMbXlOr za9Ir!b8d+nn3(LK0EZZ$UPo5I11|A;E_rGV)_(|r+w>kU%4@m(nL|H4XKP9Ec$W`* zkr>7D>Z7=!ic7Y}!Y^30R2~Y;#DWx)9{?|c$C7R2LE3uDR9wAL_AjDkh8n6;$RY-* zu_SOkcwaYyIYg$<878qI($_lm)fOsL!%{_}dFn+p%tq8vb}{_Qk}FFRTDYcE{&d9^ z@Jy;_95CjWjCR>(*&t%r0BVuJ9tuKagQ!RMB^t?TQBHgyUSH(&KeA$!QqKduk(O)d?r z5sgu&Mwv+Q3-jgyFsp}Bq*U##7z9GuG@*8=ks_fwSvV*e)%pP|gXW(1I4nQ1;-x&kpeck8<5}-iD)d=qy#w)Z6a#)G={IF3 zCCi8Fl<{AG2td9Vf?$#x10f!M&~2yJQT{p95C&-=)n`ocz|_{s5_Z?68V5u8_)_Cg z0RT_bvthe-`;*XTMuL;d1YRUL*w)-l#8An8y3)D zVSF|MS%(}&kRbSBqsQh1xgqiTEH&SoHx3zXr*aSvr3l1J4CcI$0`Yd#3jrP@KOI-Z z;>)9HphW<*=#0&L@7&>8{|B@Pa>Y7b8Yl!IB_TILwLt%2;s)GIawd8g)A~}|?~V>p zk0ot@W7tU_6LDM^9!e^ZJtF~uBil)XpDch}F zE+&qDa0dKc+yfT<5?gT6#@{7x ziD;9j;5RS>56;{&7jI<}4+}A{i#jmgfekcjH{9c zM;Rx7ShsvFQ=4qHRQ^qi*)^5|7;EtMy3_F&na}s7xF@=(Zpg})WGo7)yU{gTJiNSa zoqR%_nRLzEk&R@95~|r$8v@)4w7I+W*Z>|KN5(+fYrTpJiNDB-k!u0wGXe8Bc`O;2 z>Z9Bx@4-IIO`QP0DXf(}t4{8+RIaHT34dJuSm<`jhI~e9W=Kxk1g3f_=aVe?O2kHG zEf2nGD9)R>2NTC-u$?2Cv+DOHd4K`NB`{;op@1CIe@no^QU*#|6kXa$3xYIf8S?jn89E| z*}^=?k}O%WGnJSYgeO$iN>M_xCCkxbsboZ}LQyJ(r=-RDP)M7!kTn^Fl1!A{dmVay z@9+KN{q%`*?sM+zzOU>0Udy>RoqRAOr`u>p4ta3#m%N*R8bB(qu~P`_e6K?5B#e)E z$C&@zdVcoU_@&3@iRMX@;?%}YYgs>`R+v5916v{ybGxt*>zdq2KIR*{Dp2dB7uM&e zkbB8)k^y@n>0?knBan|D(ZG_z__J+D+0k^J%hBm!DuWyR|DE%8t#z1m_@^DL>P@)S zq%!f!v`{uRihsWZOLT16=X21P)4$YNSE6M&|0MsCt~&DTRqb;2#9cCzv;9*XP@SvC=faI%Z63^t{A@E26bU;rS#Ul3bkP|h$}S@)Bi@TwXTB-ebq?ZQXuNSY+5htNB2L_8_@oJq=kJr&tvT|S z6hDi9m(3(A_5*z$6xfEPJ43qcY1i;qB%djy#?c(FCbP6&|?9nvPkMX z%p;F1LI9-Z#+O(KdqcDIcfNYM>GF12j?{NDNOIp&=JIcZNcTy@1$;F%L$Vy-fhBp1 zvJy^u+r$&!R-y6cP@v6v_2VqPROef5kR?3(uz>!X3c{z0LIo;Gti}_I9HIZF#8WY` znoeA#@%5alq~+;sIuNOeDGr5Nkqc_z>!>8T`!XSeZg2cCoEArF{J!IXP>lth>J`Vw z`9)%Fi!cJk*EzFZ6+NH(N3W+-b-xL-=_v@vt*28VDxgIOA3R_1#$shD8KELMxOer6 z)1<=y;Gj4?g(4AusVLhW6(7frdaEw;bwPvMSl9N}_{;$x#n(Zf0_d=eJml?hDS6TQ z;=OcPBMV!0OI- z-@xfcRE~7!$xW>4W|ZWu1a|Iav{=VGg1=?~-Ns93E}L3zCQj(bOo$_uDct8rMLK3w z4h9jRX8%8e>=u4D{S_HpJ^dARgVf0#5m=2-5#L<=m+}CWYLj+UEySPy5W7WEq1(KE znR_Wo)Ae6){k1wT%IQY##^NnR1sH5x(EsASh8J5#*d z4Ds?!Wf^K-cdFxkoJ&UCx}kdXBdC zm%E}vw9ll@>8Gcbxo=hbxped09frS_JUOA}y;G*+l>UdaCcg|6_f&iVPb77c#L~IN zX(oLh5tl*ZMl5QJwS`Edx1B|16fEv`u75?QXpvc*6xA#m?UQW_Vn3jB>a{7)IjCNn z^c+=MTl2%umDU(#{0TP=OPUgcrCPl8Sbn`WGt0^%X-fB&4ViLiDwxHw$5>RZ4=)Kv zJPowcGSyRn&2_;J#V9IJ+1zFTMExt($_vF-77K-wi>fd=HRSx_(?>`jRVhwCu1@BL`uZZ=7|CQ`zU+OzOrEi^$&Un3}kyi#Mfc`J>}xvFFdBUi*C>+9<;OY0J#En0D^i?6TopPFYd zyKAXhN!7{AYDD#4kV(}FXcb!deX5H}i?`+eChxpuA&byTGZ8`puP|j^0=A!*(AZe7 zu#)_oQ?H;Lh*)Sm2lf-yD*)qlSW+1wgc?5FYDU5fL-kqA*i%z}`ua^`egX)4u$aN- zz9NZ@?<-f_@I`H)xUOV{i*oD@EAc zKtxhaGbB5wYAbtgs5n=~_w_Z3gY&j1<6`%4)PnG-e?mg;Oa+bI!7z zk!SX)xP(s1&f-+s&j@7OD9uVB_Ify5XJy5ODLs~=Cz<9o z`T=L!`{KxXh)UyW2Q6UMTdK~A>5zHvSThTmsj8S3V6 zwb7Y;C`yATkBi6&$*P-@4tXEF15?#WFebT#{Mprdb&iBSOL12fJ*iCSs-rav^{N2o z)Q;m;4`DN(Ds(C7j<^?w-y!$z%w5v(;x#^Jl2^Xb*<1rW8kQBjkaO!jI{;k7AIrb7VC$tN962C7BUfM7UoF{XMUell3LVXr#upXm+5jXB|0 zzQvuqLt&@4fnobdHr&PUH*1F-g=9oCX5b#7o=rF2ud#n!o30M2mc?B5jyWNr2lw~ zI|@wK2Pf}XG8y3C##S&L-lLstlukzZYQL|vX9Nc>+ioty4En3r0!RKBMXa|1q@>_w zXL;G-yC~h062kUnE* zz*o%V8dIA&@DCm0ZD{xhw>q$hspOEka@-O^I%sEElYKf_-JSwplYjJ-DNJjKONaGg zG1UgR)n-^}loSHvjIf)h*Qh~Y9*z)HY6N}cm_bW=t$>eS@ANNZf)75tYEgp_Cigl0 zu$nfB5X@S_t?{!CEGMLmZR987lQdXM`q_;hf?zET&%kfX_VyCOe46fr{w+FvhfXlh zmtAwQ+p$3dgA(3SmX}8FJHof0PX|uA-5PG-RXZE@KucUbwL<94!}MnIp(pHsGgk)Ec$3q0(`mlO(!-w-2hRo{gjic;x?Rg60u zU}1~JVV*O~OLiydZ3C?0lzN#1i>yb)d;M8DQOU4SNxat`H}1WZ9`1B9cd_kDoH^70 zTgk3mB-3~WFcG6RM5Y{YxhTR;7e!)`EH9zn)woDf%#|o9qN);Z^#S!Ex$!tcp%5S% zAVBa0AXST!>P;icVEuPP9;V0po}O~*cXkwiidk0U7VmQ~(#mm+sb)!GQPUMt?J1OvF?8q}Pn>mSNfdX_`MlB{F@c^4JPW^&+*F5MG>d-;;?dFmJ6fA&BxO>IsMsOm?!Jc2Wt z8;drKFJwxEJ%jQ}Q9$ykiJs zc(6I+eB}D7r2|^r<4+}>!s{SsVP1!DIB*-z#~ppo{Rx(K_7Ron(O#G@+6sYeY9Wsw z=BJoh>&xYcaxtbupeQKxjv-8;!EmD~2{0JG@=B)w=XyB*a~-8vzN9i$;!O(}F@=%y z-+Yh||GLr%>-xk;1E37d*ZF!l`FX#pJ{pJt|1mH#FYzG(_S=KRI{X0{u)U+nZ^__! zR+SqP#G;`)Oo*IO7NOb$oo^?vTuwd1UJvKYyo8fJKC?%fNiuL`2GyYeQyzdQ8>!Y@^-nZs}PEkIsysPPFX;qO%w&3AXz0T2+@#vDbX9;tg(49wi#bSuM=0}6g2^2iT ztKfi&0rj`wWnj-FKZTUd9g>SRy8b*17$ zoWRtz>=roEJk&;J)yX+#JQ|c>( z12~?;qFpT#5uz*P5aaEAm@Q+!h4llY%LcaI7@~lkoxVOaR|`PiMP|RN&%jc$5t=+Fg|L^3jdNyRX6KMf1$RNeU4Z&P4L5@YlQl&E=~%&uJ2*a+vO z7>&w70VO*pbIr6A>@)πX(r+45G?plnNM<`u~V4ZvXo9V~NV4hhD$1`=+3N&VlS zWs3$hfEY3*Wn(fjGG}f;h(D_NRvST*qsKc8ad}k-jplz9j#)XECVC}C06xsFOCnOn z4Nrb38M24j5aOGdLiu50ulv=ql!kp`#RONV4*kdO=u#=@Y zL}9~e8GO&-i^$!zg~sYwRZfw_h_5!IBasUrAIJW{xdSrr)z{(kMC-3Ya>zM7w{`9q zBpYx}QPq-kRqRl=Bg}fN>`c7~3DH}P>s{B(lB1UXfibAREWV7N@it$rjwBXp3fWNQ z>T(%C+WaR0Y(fi$Nbnz&-C-}KLnYz2FG5bXavFoQWJ+{Elwf~)0ki1z#CAa5_=W*E zX0j-0!inXjH@b^RRHWa+5x_-Bk($hUsvePiT%B3W;OgC|M3fayu>v%B!4uob=GLg6 z)+Lc(x&x3it;uwVrGiOLkYV}-D?+e|Y4msQk^zPPviBK~@}yG$V91gj2@~}QFFwNG z$KdAQXogv(LdeKPbLKO0I8#YFDN=4U5Mu1xO7eV0u3&u$0a5TZp#eF2?N+jha>KuH zngMC6R3MqiplaJ7JKEMR&XIysYyAH;ATp?JW#$Coa+EYIf=eF=uQk=O`pbd-ijC&H=9wFhB% zL@h9z1%{I zBc&h=`uB>G=-J-b$X=hj1nAe1z~h82WG=UmXPkhIsSt^`M;VFrh$HMo0tUY^>7?O( zC+y)f4r0Q5L{h1x!l+@`pD`Cbc@f$om0DGDfL(>c_(QJYsV>_Yjq#y$Q-|+s4`}t8 zrgv?Ou{S?8;Wlvmx@WG(x@n71&l9H0I}?U!thygswRy(RsF-ko?wqI~}sPF!7X zA*4Y&$ z?Pc1dj%aWS2AzGP5K-RiR*31?ko~FptdEph7qVE-9u(IjZO<2Su4jurYg?3@SG;LY zl)gWoa_t+mzqXlNqL(RxR|!dV;d8@?-yR7b!eYO0%Wt`VH})1^w`Rdsb-j}7w*vmM zZB?^PP`TXD6!G)(&fvD+-!nSHyNcBhjr~+xdz&n=rAl~<;QQn!f;R+L)!3b0T21*N zz378_soJyIXolL16l0$O41a&xEa8GkPmZGn8WP(4Re)TRhRk4UWOc)u(X@;Ov+sW@VP}$sSvvoqY}?J;@>~7UYcyu|$7Ld7tjo zz~Vk_f+}~hJregx%uhy7_TsGJ-K@vUkF`OK+y^9vnuk#0n9{LI%7{*iB$g)(jTEBj zW4p-j)n;VS0_|&KvaD=awfOkB+KdQeSnQZIb0dr#?h}6^3s3VNEC4R#8N-gpOtA&A zEBEoiQvt@X;4wpT)sU=yWWF_1M#CN}RcIN{{(zlSCk9HKqB44g~lZ z!-f)pWUI21pH{H4;V)whhfAnp3j*g@0>XuP5t7VLL+Sx!%CX-_v6DUQ0USmwbRJ&B z%8sziw%@n7$a-o{*>m>3ah232GG- znuI66Rawd>4Ls3+5M`7wW7zvxAz9I4)jnC~#&&9=(VAgf)?*v>oxsOl*5g=*C@N!k z-?27O%t1Uc#UV-o`rDbXsU#XiAA|aw7E^CIOlc#<3ifa;)LG4Xtg046>GPKNBmq9M z(1b)D+M|pT$8^;ZNu8uvVbuyZOF=U1Xx3vFwk*+In6_sz_wtXZ+hOn7TM=V8w8UWQ-DzWGP+}qUCzR%PQt#3<1&00RDaloE@R#Cjz&s zb5AK&)thsF0(;`}*hObV>VFLs_EpLBpG6FT6qRXRCMSjuu9)Wh41vlG%b{aEDD}ts z+&Z#i_i~B*Kr#tuk1cE}Bq?_9BiNWWVT#GGpAcp#o5cZCnS;oxx@WCDK*BzP;%s~y zQJRj#15)=*Qs^Q=B#74p*l~ z^jXSoD+xCAfQ=1JdYJjeqxZKj3@4HLncz+Qf%V_OdZo=$Xq3hfpsppelowwC+1(&n zty*hBPdu{Z7>uHZP#6MaN8vv2%pZT>3U2*?vmOaH<{62&DhXo@0bxH1Ef*wa!`{vU zuLNy~ZaW=fz~pRUWqn#yCF4iJ+2=SWET%1%s-tonDSEFX`g9Lx_pxoT)F5HP3&Dw+ zV$SSJ(ZnNPIM#40!W1i5GL13CGS?F?D}XRW*|VaJHJisIoQ?O>X}QvX5FxMRktmS) zPd0ow^z(tfwfdz1Mb&h~U>nXuJ=c;1!pI6yVsgO03g|U01=4v0KGwkd7X43fwvjc_ z#(EGEscAg{|23|?#Tb(lfQ_hU3cD(m(@|;=xxW|s#m5vonKnZKo9njrYO}%OMt1!H z(JK(eea;Mt!7c=#CFi0?MBVm9JIWR5pTmmodAS=E84)`hC?*^TaWC(<( zc2WTnL54+xw*e8bYW1&$hNX@X{1NhJ&ybE~TBL~?EARMY1c(VxxQ*0)A z#G9quKBr=JmU0w6vH%?U5!kd5H{t;3kpTTJ2c9a^EJSFz_CVRANfk@|v6ApF7Q%@~ zW|`4|JOxFV(||Md#b(k*jDgHK@awtY0=rk|&hlGTs}pZmfY})|orTJ4n`jKSC!bZd z4cn6pR`@_NAIvcD4_YQc4_PYF;tX~dNGp%s1q61@^;e52W??%a4?pMnI}1R*Gy(<_ zl{pd&T2p`rHWPmlYUu#AYz1g+2NsNg1#w`(upY%N288hiLuj>sAc`3E=JOo3gV{!< z!5C?M1_(^yfF4t+pJc8QJP2I)W?F4{$uQ0{srxY;I_X7;N{$*ZT-2E6M z$(*N+NaLx*n-*Z8X8(vH8rOK9H#1QvX3wl)F|$MyA6txrDF$2v+Z#WNQXeEuJ;T{% zmp)mun3nvEq^N36rsuXC&pNWue5!hd`BFP}ZmOTu-vqr)l*73WXPl6ql#Q ziZhZ#FGI>wZ%?xNM6Nf*Fa;`bWF}i*isH&-8}lCU6F6-{I^ivxgv|LdWMQt{q-Y;;I7+m*!X?CqDL6@)SyZ z+@%cLXzQEdv0?oy5LjA08RRU>NHT@LmIGodW3+^cGC5g7^RZ->0SZc)ngu@1Sjryk zOsI&!itC%niu)|b!PS;sBvjJ_tuGzt2djmhGbk=f3HlB>(9CuOi-b8YSlrYqsBRat zfGL(mcv+q;NX?xGzIKf62=W0xH5S6t1S%>7b#1EEC%yVYs61!lvl5IX7tSo5k+g(( z8jArRN|j=ar1iNAn4Ca9t8Hs52>TcgChQ~dk9`zkEamsyX3&Q=mKt#+ipmr#%q2iq zh^4xw%>vX`^Wbx2Djb+NHf6$6UO`~45}>Talf_b7QXv3U0J?<76+j59VlJ{gg;xne3P4wQJPULyM?{4fA*NW$sV>39$GaRr2U9D6Wt$jNQ2M8%;0nxfmW9B) zSi8U?r<8c6(7F~&dB$QKJZjW}8z7g1KvHQu8oHE3$n_uyXdADR09R)6CY~0H8H@fP zS`r@V@+!$Bm`q9?6XQ`qgzJdRU@O?sK|Gx|M24hCb;Xkb^e>RT=eJV0Qw90aOC24bx@; zGqY?$m0-gWk}&-Z79{C)x{N~O7Lq0;?xXkhp5PWMlBYtUQ8K)3RUyhq3U?wzqX`c# zP3>hVXU=J)6!^`UGAG~@j=+n=&ga}baF0nt%Cp)`&MZ_NV$K5ihvpnd9du4|T$N~a z2u3SNZR9z`)&8Qv1MN0LC^-mMqHUA#Qvp!ZQXv3!eI|ES4N5FoW4k<8%BfhQ+0pFy zrvnn&*%5y|v6YCm9$t5>d1L#^VUuHqj#K0(0>|zEBMRZCUQmp!`v^aC(}IGkCH<4`t8@=KNX-l zt=T`CTdCTyW@1-UC8u+Bq-B5C+S#>Rl%^&7onZUim$jbC(MLx@o5I;$s?*y2Hn2iK zll!Lr{1l6K_^GJstl78&*Cs9Y=#&vp{As0K=gJDsR2#RPJI#Ie)Lv;;eq85(m4}Lb zy#_aj+od{-jgND;b1fAs&rLb$n%U3GuP;=YT{s^2v`}@{eB72>T0gsCMv~XT z{mtpJpE2aco@%b2T{B}e?!__b9M9km5o-w+wEYvU)OH`VaG#`Tkz|jN+U(&& zP7c}EU>bX0%*dj&yW99IgC;`t}mmiy=ggxsFgA^)~0=wJBL@JICbx)2dOrhE1 zvo)f_N>fsne=#Yml>M0_wCHNst@@St%fBwJALFZ568N$} ze$6?h=i)J`K^EPl>KuVet1+MILWcb6h-KaTj?{@~qC|g7@qD~)+rs>+UwTEyHr;|N z{0qrzAw-N#RZE@!fnP9a=Cv^2^~ut1Q&&DSnS58i5=mD+coXF#D0Rku*EpcEMS*0y zgVIm*V4Lk=TT6^dkvYWCOj_Td>y~9$MyCGl1osXUX)lwKfOo!B@)2q&-XD2gK7BQ7 z=t_4n$-gY(OGI%LV*Fl4iWKq*rxba2jWDt+4;pEiR$c2Dj3~bU4P}Jg?|I$1TcF6> z{tXssU!W?N9lQ3x$VR@FB6zx0J6}XJf2B)`EGyQtTz@Gh`#W@R$1*IEdf^dyL`&iR zaa>bquldc=$g8A_|5V=2c%;$x$baA|t;nx#$7MNfd$h~UXN&ElpOURN7t6^w<9b=T zw^cgECu?i`Tv9RwvhVM2cgAm*I^X=|8=f0*25psWjr==&be#bLshBj+R+jjJ4ubI zGt+xNY&cW5m)a7UeZ!@}`yG90)tQbrI~(8i>?F06l~#lua5I$44j;~(7Ox^pwhr?m z9K%N+s3%Oe`RS=a2T;l2*Vf3!!AFr>3egHrXW?fB@`kwW!Mqyp5AuBerA0DtkM~~o zzV~%ED-fhZu6~8858yx4SP>@7Tb{F9SP?4BTMCs6i}nTWFw6WK58_dnW@3!@Dbq{5 zeg@LujDM{Q+>2zj#_kEBjDdhx+@@1Oy9)z2i{Cy9|gq5u@;&D#*|ZP2ofPSgw`b zVXRq}Q+Nu+UnV_mci;ys^6;>)bkTu_w{1-8a(t@JJc-ox%`e!J)j@A5Gs={gaZVfk z@B+6z-qR1Vv?!Hs%#Ru{)g9~tcDG$^APZiBVm%+DKbXb(1(SK#-*sajf) z`CbEm@$TK5NT1)unE!3!UT82PN~+P+O*8?wO=uhTh1ORn%n9K>5H9KuGL;{^eFn*j z*qgA%;Jn!KtAt@~4*2?d;rbdszCH!%6E@Fq&1ZYf9}&hz?^7@)Xt_e>I?9I&hu#$} zx*WidCx`CuZ9kw?Rr}~+a6pK>ms5wEv7z)OGpyxrLzkDAKr7ga_b*OQUIR@=-q~|? zH=2$N?*F9dwcY%KOX%0T8CdzF{4G@_-W`8W*3C1r_Zi4_Hli8W;VU{|B<~iQeZ#b> zKj-I#(VqL6l`+${ImE^6$+HHaY;%PopAe6`F;nk%PETZ5&zE@r?IF~nzqGK!SUwra zT8ENb^lxTdB48wIUmA_y2CiBS%|rT&$s=dmcJGT0)0;z~mW-W7)wSLdc}=%gQi7c^$+_k1_0ihmk{T6E8gd_ME1;`Zh5g@RHi+wPoSM&8zp ztqAE*!esMaGzD$JR@h~9M+7a*p2zLin_*=H%x53%Y_~<-#`p`OFL&<)4owbh`vdtj z)j7-;jdGJ7K8b9)H+uPZmq1G-?{WJ!^ZwR}M)Uim5)iG6wzI8ExJ_5As#n`n@%^LQ z-i3sQk7RDerh$OU8_eq`)x+G-xHY8r9zGW5VkrmqCPyA=-lctB_H;9;dO}#6Z|*K* z0~PNKBFwAcm51(pN4rBenerbY;Hdev?)wGV^cUGO6|;6#XGXV&zYuQNxlwrN;liTO z=@$3>$47Jbd|f?MDP9!%<-z%oy_*f?z}QR4MLu;wW5qY+3c)TXgbT5Y2fPigOFmm& zv-=g-52*Whgzh!(SFz7;UGDXDCTz=~!cbt|La(;}F5emBZ+_i>vwJoo*7WvEV`|XE z|9$f1BDuxYKGXT$c2=OP+;=ox;$hN+tq9#)?s#@JVR{DmZTGD!(s~~rhVC2DXih9w zbVP=cNopyI%H=VJMo^*7d)N;&gIq(Gsxhskskq6uePf|_4a zkF2S>rUZt2AYeMa4fCeAwBPg5+nl+TFmEFgYPl0rGx*beYvEhMHw1oo;puX3d)2ja zA48}P_GK}^^s4z6q_&viZ}A}J+sVT}YX*X-Ex|$4EppT^ZIS(KYKyL+;W_!6)LsVX z^XCi0ZsuF$?{~ECXb%&wI;`b>qt*LinVaGI$vT%!FSxurdk1z31XYq>?08gW7Ero- zpG`9$#LoreEqUYZqAi*)=idB2;hMVvc5$3L(HQsn=FTYFyQKy3$MHAe$!AJ)Ohs%T zl`Iayw>A4dG<~$ceZ!+LlfGI_udfBKgTq6@-GwEwUEc{uqkZ!N1f$W=g&#+VK-HJI zv+4AUY?6P6!ItkQJsd?qZ*4@KkyCz#nhCgG7(rdAXRV>!8FxOT?Q`TC-{(BacUfBH zR|;P2_0bX!^-@93TsO{cYAz0S(Jbz5x=#5+GA4JoM%DCheU08CkM_-Bhn0GR9yFd= zpCiWkQ)V2X;%+Jz(zEDCmHCTx# z(GoYA(>V2;pL2tEdBkP|sr$zz-|sc(8#pcaqjA2S-!6mK0~#O}nx_1HIDb)Vu;1S# z-jdNBj)vDvr@ET}Y+r8kzQE>9+E&F_%?)7Gq zbJw5E-{~Fc>naL=-0SMMrB(LYClY+NhTBLIH0?6=2Y;O`JvyA5A@Z!?0($A{`|PU2 z!~JGk3KHHaeq1TE_o4pM-zWdy-XKwvMz?n-3jKba$=Q7;?}NK1kkh`!zq)F*sJ@Fq z&z=kAz1J^%^IKF~bLTebji8~5>xpi->1}ZSn~{EhYj7j>(oE+@{JR}@^3I3&=v_y< z7N7gOX1DHU->;|d@UO85r>Ea84`ld8XA#H420*>D!~5dwVY><;Cu5r3Je)qHQwv?GK?ue0+JQU+WLd-d)w$R2m4NXLTAcQ?UStj#T$%Ezz$l zI|hAcV^{vT-|8Gp4VubdBxAI`b?Sq^qwiUTquXTHwR8$brM5b1obmPf`hdSUgs9hxzl|@eu~_}WqUJ#An^$@K$Rj1Hq1GjG@6X^OchjvOrnKIp zs*F_o4`b`I5sg`j@~07?Yh70_ZM#p3s2+tm&o#=V+!q43dx}# zBGJcQDGe$cGYTw)XHu?1EV@O+TbVci}p}p(gH=j**LLc*QZ0>73AIT9$KcaRo zG6}gRKR)Ywde9ofo1N}9Ue+5mx_C6%+Ue^D$9z##W%#FT%(15-GVOLDhFjXbSe5Yd zZI6z?)19UNjDPpP@s5fDf&1* z|Av6N;maL-D8_RB;guUM{3ybB?&hqF%li!fXkj!JI@hs^k^|Bgrlz5@VuQOGwoU)q zC+}O)g`rpLk~O~Cmi(LIxLX26?CZ_Bu-h--Vy5vMWm{DBOe5=1Ti?{OvGkmOEL73Q z7pLw2-5X-T+njUbj_^$R&NPI(xLEMre?5Ni#pf=SE&B->*%zKNvF-N^3xLMW%GV9( zUrh~vuYrD?&Cj)Sx^V8I!NmUC7n4-lJ|_I-v3udC#V8{3^jp7mX`gF92%@oprG8~A zUT^gzquBpnmjes7{}`>$^N+gvWs9*m^c^7as=8jgxFIYj=bg!8I-2t4N^bEfef@g3 z+%|qxVI27WrL)S{#+w;=d&J8}4bYEJ>FR?$L-EcXX6_k%gd!vl-#)ooKEC!od{U+22NL`$|9d}uc+pYM-38XLTyuM>E2o%HSdAFTG2+2-FLYEq65jXe0;x1r1S z@SZ!u7EcEqa~65u_V@-ZpV8eCcsJ>NM22%<*VVQ3uOq*%yiTvourkP(&0DkF@B_QF z@@&P1ZLZIVI*P`v$p&^4P2Y!(Zwt7S8U|zD=N}iHX}fBzc}#c3mU!J2OQZdM|8Dv& zLcH>)B#$?C-2ZBa+>WghKK{jYAO8_HK>In{OG|KFRYtNg4QuSfXBFA;f2K!zZHzPPkB<0=)l67T z=q7n<-d~@*CDF)zNB=Xc){d1bO)(RSl1JIaqq^%owQ`}`ii3ID!448%wtRT_aG%LK zz2ub>!QZZG57xa>1xW|{zuB;z5j*$N+~vI7x^s=18(zLhe&Ya45}nWc6q35cru3iM zh5w7tNhhZy%T%YN5|5q6F;i