From 5fb4134f307255f2af315667a71e9246bc940a5a Mon Sep 17 00:00:00 2001 From: jlh Date: Wed, 28 Jul 2021 18:02:29 +0100 Subject: [PATCH] quest1 sigma types and div2 --- Trinitarianism/Quest0.agda | 2 +- Trinitarianism/Quest0.md | 22 ++-- Trinitarianism/Quest0Solutions.agda | 6 +- Trinitarianism/Quest1.agda | 6 +- Trinitarianism/Quest1.md | 104 ++++++++++++++++-- Trinitarianism/Quest1Solutions.agda | 19 ++++ Trinitarianism/images/isEven.png | Bin 0 -> 16970 bytes Trinitarianism/images/isEvenBundle.png | Bin 0 -> 36140 bytes .../agda/Trinitarianism/Quest0Solutions.agdai | Bin 17583 -> 17269 bytes .../agda/Trinitarianism/Quest1Solutions.agdai | Bin 0 -> 32114 bytes 10 files changed, 134 insertions(+), 25 deletions(-) create mode 100644 Trinitarianism/Quest1Solutions.agda create mode 100644 Trinitarianism/images/isEven.png create mode 100644 Trinitarianism/images/isEvenBundle.png create mode 100644 _build/2.6.2/agda/Trinitarianism/Quest1Solutions.agdai diff --git a/Trinitarianism/Quest0.agda b/Trinitarianism/Quest0.agda index 41956fa..72b5ce8 100644 --- a/Trinitarianism/Quest0.agda +++ b/Trinitarianism/Quest0.agda @@ -2,7 +2,7 @@ module Trinitarianism.Quest0 where open import Trinitarianism.Quest0Preamble data ⊤ : Type where - trivial : ⊤ + tt : ⊤ TrueToTrue : ⊤ → ⊤ TrueToTrue = {!!} diff --git a/Trinitarianism/Quest0.md b/Trinitarianism/Quest0.md index 4c04f41..375c1b1 100644 --- a/Trinitarianism/Quest0.md +++ b/Trinitarianism/Quest0.md @@ -17,14 +17,14 @@ To give examples of this, let's make some types first! ```agda -- Here is how we define 'true' data ⊤ : Type u where - trivial : ⊤ + tt : ⊤ ``` -It reads '`⊤` is an inductive type with a constructor `trivial`', +It reads '`⊤` is an inductive type with a constructor `tt`', with three interpretations - - `⊤` is a proposition and there is a proof of it, called `trivial`. - - `⊤` is a construction with a recipe called `trivial` - - `⊤` is a terminal object: every object has a morphism into `⊤` given by `· ↦ trivial` + - `⊤` is a proposition and there is a proof of it, called `tt`. + - `⊤` is a construction with a recipe called `tt` + - `⊤` is a terminal object: every object has a morphism into `⊤` given by `· ↦ tt` In general, the expression `a : A` is read '`a` is a term of type `A`', and has three interpretations, @@ -70,14 +70,14 @@ TrueToTrue' x = {!!} - Naviagate to the hole and check the goal. - Note `x` is already taken out for you. - You can try type `x` in the hole and `C-c C-c` - - `c` stands for 'cases on `x`' and the only case is `trivial`. + - `c` stands for 'cases on `x`' and the only case is `tt`. Built into the definition of `⊤` is agda's way of making a map out of ⊤ into another type A, which we have just used. -It says 'to map out of ⊤ it suffices to do the case when `x` is `trivial`', or - - the only proof of `⊤` is `trivial` - - the only recipe for `⊤` is `trivial` - - the only one generalized element `trivial` in `⊤` +It says 'to map out of ⊤ it suffices to do the case when `x` is `tt`', or + - the only proof of `⊤` is `tt` + - the only recipe for `⊤` is `tt` + - the only one generalized element `tt` in `⊤` Let's define another type. @@ -123,7 +123,7 @@ As a construction, this reads ' another recipe for `ℕ`. ' -We can see `ℕ` as categorically : +We can see `ℕ` categorically : ℕ is a natural numbers object in the category `Type`. This means it is equipped with morphisms `zero : ⊤ → ℕ` and `suc : ℕ → ℕ` such that diff --git a/Trinitarianism/Quest0Solutions.agda b/Trinitarianism/Quest0Solutions.agda index b1e7dc3..decb41d 100644 --- a/Trinitarianism/Quest0Solutions.agda +++ b/Trinitarianism/Quest0Solutions.agda @@ -3,7 +3,7 @@ open import Trinitarianism.Quest0Preamble data ⊤ : Type where - trivial : ⊤ + tt : ⊤ TrueToTrue : ⊤ → ⊤ TrueToTrue = λ x → x @@ -12,10 +12,10 @@ TrueToTrue' : ⊤ → ⊤ TrueToTrue' x = x TrueToTrue'' : ⊤ → ⊤ -TrueToTrue'' trivial = trivial +TrueToTrue'' tt = tt TrueToTrue''' : ⊤ → ⊤ -TrueToTrue''' x = trivial +TrueToTrue''' x = tt data ⊥ : Type where diff --git a/Trinitarianism/Quest1.agda b/Trinitarianism/Quest1.agda index 424f045..6f1fa15 100644 --- a/Trinitarianism/Quest1.agda +++ b/Trinitarianism/Quest1.agda @@ -1,8 +1,10 @@ module Trinitarianism.Quest1 where open import Cubical.Core.Everything -open import Trinitarianism.Quest0Solutions +open import Cubical.Data.Nat hiding (isEven) isEven : ℕ → Type -isEven zero = {!!} +isEven n = {!!} +div2 : Σ ℕ isEven → ℕ +div2 x = {!!} diff --git a/Trinitarianism/Quest1.md b/Trinitarianism/Quest1.md index 1bccdf1..f3e1652 100644 --- a/Trinitarianism/Quest1.md +++ b/Trinitarianism/Quest1.md @@ -28,11 +28,11 @@ isEven n = ? isEven (suc n) = {!!} ``` - Explanation : 'to define a function on `ℕ`, - it suffices to define the function on the __cases_, + It says "to define a function on `ℕ`, + it suffices to define the function on the _cases_, `zero` and `suc n`, since these are the only constructors given - in the definition of `ℕ`'. + in the definition of `ℕ`." This has the following interpretations, - propositionally, this is the _principle of mathematical induction_. - categorically, this is the universal property of a @@ -53,8 +53,7 @@ isEven n = ? isEven (suc zero) = {!!} isEven (suc (suc n)) = {!!} ``` - Explanation : - we have just used induction again. + We have just used induction again. - Navigate to the first hole and check the goal. Agda should be asking for a term of type `Type`, so fill the hole with `⊥`, @@ -66,7 +65,6 @@ isEven n = ? —————————————— n : ℕ ``` - Explanation : We are in the 'inductive step', so we have access to the previous natural number. - Fill the hole with `isEven n`, @@ -79,10 +77,100 @@ isEven n = ? Everything is working! There are three interpretations of `isEven : ℕ → Type`. - - Already mentioned, `isEven` is a predicate on `ℕ`. - `isEven` is a _dependent construction_. Specifically, it is either `⊤` or `⊥` depending on `n : ℕ`. - `isEven` is a _bundle over `ℕ`_, i.e. an object in the over-category `Type↓ℕ`. - Pictorially, it looks like (insert picture). + Pictorially, it looks like + + isEven + + In the categorical perspective, for each `n : ℕ` + `isEven n` is called the _fiber over `n`_. + In this particular example the fibers are either empty + or singleton. + +You can check if `2` is even by asking agda to 'normalize' it: +do `C-c C-n` (`n` for normalize) and type in `isEven 2`. +(By the way you can write in numerals since we are now secretly +using `ℕ` from the cubical agda library.) + +Now that we have expressed `isEven` we need to be able write down "existence". +In maths we might write +```∃ x ∈ ℕ, isEven x``` +which in Agda notation is +```Σ ℕ isEven``` +This is called a _sigma type_, which has three interpretations: +- the proposition 'there exists an even natural' +- the constructions 'naturals `n` with recipes of `isEven n`' +- the total space of the bundle `isEven` over `ℕ`, + which is the space consisting of the all the fibers. + Pictorially, it looks like + SigmaTypeOfIsEven + which can also be viewed as the subset of even naturals, + since the fibers are either empty or singleton + (it is a _subsingleton bundle_). + +Making a term of this type has three interpretations: +- giving a term `n : ℕ` and a proof `hn : isEven n` that `n` is even. +- constructing a natural `n : ℕ` and a recipe `hn : isEven n`. +- a point in the total space is a point `n : ℕ` downstairs + together with a point `hn : isEven n` in its fiber. + +Now you can prove that there exists an even natural: +- Formulate the statement you need. Make sure you have it of the form +```agda +Name : Statement +Name = ? +``` +- Load the file, go to the hole and refine the goal. +- If you formulated the statement right it should split into `{!!} , {!!}` + and you can check the types of terms the holes require. +- Fill the holes, there are many proofs you can do! + +In general when `A : Type` is a type and `B : A → Type` is a +predicate/dependent construction/bundle over `A`, +we can write `Σ A B` as the collection of pairs `a , b` +where `a : A` and `b : B a`. + +There are two ways of using a term in a sigma type. +We can extract the first part using `fst` or the second part using `snd`. +For example to define a map that takes an even natural and divides it by two +we can +```agda +div2 : Σ ℕ isEven → ℕ +div2 x = ? +``` +- Load the file, go to the hole and case on `x` + (you might want to rename `fst₁` and `snd₁`). +```agda +div2 : Σ ℕ isEven → ℕ +div2 (fst₁ , snd₁) = {!!} +``` +- Case on `fst₁` and tell it what to give for `0 , _` +```agda +div2 : Σ ℕ isEven → ℕ +div2 (zero , snd₁) = {!!} +div2 (suc fst₁ , snd₁) = {!!} +``` +- Navigate to the second hole and case on `fst₁` again. + Notice that agda knows there is no term looking like `1 , _` + so it has skipped that case for us. +- `n + 2 / 2` should just be `n/2 + 1` so try writing in `suc` and refining the goal +- How do you write down `n/2`? Hint: we are in the 'inductive step'. + +Try dividing some terms by `2`: +- Use `C-c C-n` and write `div2 (2 , tt)` for example. +- Try dividing `36` by `2`. + +Important observation: the two proofs `2 , tt` and `36 , tt` of the statement +'there exists an even natural' are not 'the same' in any sense, +since if they were `div2 (2 , tt)` would be 'the same' `div2 (36/2 , tt)`, +hence `1` would be 'the same' as `18`. +> Are they 'the same'? What is 'the same'? + diff --git a/Trinitarianism/Quest1Solutions.agda b/Trinitarianism/Quest1Solutions.agda new file mode 100644 index 0000000..74a09dc --- /dev/null +++ b/Trinitarianism/Quest1Solutions.agda @@ -0,0 +1,19 @@ +module Trinitarianism.Quest1Solutions where + +open import Cubical.Core.Everything +open import Cubical.Data.Unit renaming (Unit to ⊤) +open import Cubical.Data.Empty +open import Cubical.Data.Nat hiding (isEven) + +isEven : ℕ → Type +isEven zero = ⊤ +isEven (suc zero) = ⊥ +isEven (suc (suc n)) = isEven n + + +existsEven : Σ ℕ isEven +existsEven = 4 , tt + +div2 : Σ ℕ isEven → ℕ +div2 (0 , tt) = 0 +div2 (suc (suc n) , hn) = suc (div2 (n , hn)) diff --git a/Trinitarianism/images/isEven.png b/Trinitarianism/images/isEven.png new file mode 100644 index 0000000000000000000000000000000000000000..4e7153e6326657a4472449de02da17887e17226d GIT binary patch literal 16970 zcmeIa^;cU@)IJ)DwOE0+xD|Jo;=S%=I1L8jZm@GH3Jw(A_}BaA1H7@I$4 zvPKo!bIoqerL@U`>*lMioDQ1PyB!uj6gwoP+b%hnxlDFsv@Q883^0Ch?)l(6Sdu_#mG;6P09-sJSj7%@>)hNF25r2VyOSJK+Yz7JVmV%h2?ii(OQB_(#Y zwyq&@Hiq8b-uU?VLPA1Oa({RSk*PL7pI)1y1G1vmST*VQuJ3}o2xYqkyY)P*-({0& z(qo#JFmw8sju;p-+4w~ngNk&RlaxxPw6(RLJ$p9qES#=N;)T)0J6mH8pPqgm(__Lu ziT}?X!s>o_T5~ehJgrz^+k769oLdt45^3UAS>bn#U{sYgYgrDIe##K3zCf6&C>|Sq(%jLGSu}lcaIia7B9I z#g5=s2dowr7CzuDx}6_y9~y4EnEFs`py9EROy_rM`BnCmzGBd|-ZsHd%m$7BtNx8~>1HPoWpQ(IelEZ}Jj9awX~ zeKcI2^KZVem3B7p!PedVS4l}9*aeCUv7IT`T?D(Fwnoci1pEacBMht_iy?v@*?+2^ z#imbj_MF z&}}=jsN>@gP!&I1OAv@tolQtmGWhyzS6*D5F$ou1nwgOy?7BoY=VA%M$gSGwYq$Bu zxN1wvTv%lUo(>F{oS2xXuCA65!Zb1y%g)Kk0luJGzdK#FJPMP~lJKt^chQab`tOo2 zY;5%Iioi!qW6})=lyt-Ag?jw*#~iAJIV2$ss?14tV>#K`+2?E4OhT_-y~UH6@3*a& zl$1OYnIP~pFzMdeUzQ3ERJGEvn=Y$ zR6BAGygV}_BqkOxWLG@3>m?@XJFjDCIKQ&8GB>vq5-zh_q*Vqp3#`%+AJb4(rIPS- zKU`>}rlw{RrIXueeCh2d=b`MZNOCKlPG9_zNE_Ao)=qYwvj$^J&3e#})j}QCyfnet zSZx|#G_?yj3C1t9(0dO^7M!VVfYobyQIXA%U=ep4g7Igl-lbK0}J%@Bgu)sHYR`IjYU_<$#KeNa1@ql ziBZO~N_OJFfNN@My*GhtXra}Y#|cZ%nVx~iMDvpplUAon&OP*F zG=HbMtpE;seSNL$-2euIfo{^GR+9xMlGc=}XtS?Bzg>$bb5u+I5Ln-!<3Z%*)T4pX zQZzcMjx~tm9rEU`L0|NX$sN41NNZ(cloajbsOCwJwv7bCjzYYfFop86l#7MM>RL|> zlT@h&>Tr=X2GbHtW!$RMz$gd7jxr_Uo91y7xFRsfaasIIK<%;K@4Mp9a`+rqC^>=F zOs}A9lFG%YeQCy$(GQpN?-In*QzdX2?7G}?z7Gp@|4B%uG|)6EUfv9HF8~@IM!Sp` zE}>?7(%PzQa!WJJZoFTdwN@*)On4o4Ej95?@>CNbPDY@M%}Uh&c8(SBuMyZSSr zWeXxwnm^HJnNbOT8MVM9C?K%z2;f+LetxQX$o!1YcL-vx zF#IpOyAJUeUI+X8r?wmUs^3aBV_234LG&lEl9{U~D`=0i%3?pWp+~;GDEwh96KHMC zXiZM{?jsqxdTc3F8adl{Mrn02ZMb>FC{MvmMQ`QJX~+M@`$>{O+L2*bj;Q znL7f-4P=Xsp>GNI6IyZgwv$1QB1aVp3KoUwF_ZhF+>61yESk-W_`H6xNr6pYBJQ{I z{J-4m&;Mje27+UK9*@Gu$G^jwOrBMexxary@HD`yx+Y6g=`bnm0!9xpL7c{0+#Vm@1k-VDYA!U(}Wcc-i@adS8 zum2|cqfehcX=}faRis~Ef4z%KnK%2gUi9iiO$m(AT(Uq4EDI;t*RM7?wy}M~pMHQq z*vc09I~XrzVm7taHUypHZ+9)K;loC6_^Edk0BEnTuRmz#qE9Wpofkcan9XR}=wR(Q z5oU-T%*5t_7b06a4$WMaD!)Pf(WXrtdTOAgYblzPBDqMVY>Gh=|K0|!sreTO=B?vD zTs%cnua!d3u5WJ^$Z0#UI&LFQyVa>{!hdKE90nBqbrz=lti~EoD;=`hi3Y7WO0U|Wm88YVyg0Ali^`@5L8p_UV!G=Y$uhLC z^Yl_YZLEQ9DRa;m{^e+^64naBBTPuWo-Uxqgt=dxY&wH6?4B|g>F}plR#u+1e(zMp zx!&@JrGDWW)a(_IT8=!2B`_%7a&;cA$ZgU;uBw;>A9IbYV6Je+K$#Z7c6MDeRE6#x zOP~xp4*#u>W;`JnYSq*F(!NbSi;fJQ52>M8&HN5y5AfamgQ51_-1C&JIB)oHV-*6| z<9u%>F-!8-BYqxM!U8nW5<$}Y3f`SX~@Y98y%COHkTYO zLzIX!EUsyHWiv`GU%`D3W5LI=XrA0=ZOxwB>VPdqIMCTQFHWHOhDx?YiM2|X)|jdN zLxJ9O^^m^{xGlaXBV|wrWBd`5Au8HAGjhJo@#M4LLuSM30}GZfJlfM$nLnMf9VVuy zlS5SqpS;C8^40nrd3%(2-OX*v9VWK{tXM))>F7NWOQIuIoziC*JHi_i6?N^ez2+SJ zoH@znRpjKDna@m%GrTu0BjNIqk^TB(BYMkaf)MEYoL78?*P~~rddkvh7!5>mMq{>ke$iqGBP)zH6`yw6oO*rp&I2DsV zx-jiVS$&7<$f=Qx<&lI-Qm5}nLCO*qLfYu@2?KT+H;mLX)fXuEj@73;09%_H8X6iK zg@lE#bw8!v#-qU@WRW5=u+JDj2`(`A^h!rZWJ3uH^TR|%ZA=L4Ji$%wSr$dv;~L?n zItwWic@2YvME(emUuG}H6~__SkoS3=S3FXP7pwC#(DxXY7?ay%793C1PeZ7=!@7~R zU`(pM37=<0_cE%uCOcnKW$(v`I+;uxNi~lJtN;i(9|+ zt7lH=QR|SM`lycGCMPFb%R^m8`kMO1c#sx5S}a;e z4eUZ*hNKU^lc(Rlh=#vOi(Xu!(r)yVu&b+UC9AZUnXt+sC=N|}|Kj2nH@VGCe;ngz zHqhKW7tVCK8n_&O^EJ(vb(&Q6b{qK#~sN8=!L}&db+w-re7kF ze00>mC_Sy-oByKd^o9KgR+kp6ow9Tc`5~kjM_hUN1^Va|LS5P6M5=-nGwJrnugL$NQ#XCp+f;=f%pb?;lhfycCP;spp^fi0HLa6fJf&th7Z zl`amqJ#efaH)npqc%!YI1fb%&UDDAS^hrnX>t%OBCi-|UG8cKy7FPe8mAnbaYdiNJ zKG4FF*6EMS7YG+2pXac>)y9`IX3s|5ioL|%9y&DWBtlZ*Vl}Q*T8r;EkS69I^$!~2 zh6GpZ+b*uS+^!z=r=+wLkY zVzwjrFCeS4`p=m@C&_6mMimsR!?jFvD1zNpng`z(Uf(Kthog+R zo$zj!qx`~2Gk+Vt-p>hZP{OlYxi)JG&`|8J7y8wPP-?6S_x=3_ZN6F4m}3;A^|sDi z2hBx^xD z{99Go2#eIUz_WL9+D9TUY)T5QxYXR7IqVEm95PaDMjqY=wax8*Lfc(32;rm4C6za) z3u$`&JigD6X0^2#r|Z+*de_2U$=lz%W4t_JOpv}zS4dyP4E0FcJ)AyUJy$w3#M07o zD1~ceWMoMCN+Z4_9c?R%DgkMxgIsRDbo2J{L1n^kZGmVeQm$Y^kv7b^GjMqsZKPZ2T9_>R^4Z!hM-CCq;9p^@HU3w6`j+xrFyD4IXT(cm8f8kCGl8Mi<}Bz>B!ssJnHzo^p{P6 zJ|Qg&Zx%~btO3i|!X`ILuYNM^?icd2nJu9euP#2G|%Nzadk_CrCx$b5;PENlD}RJ;Vki5 zgOZeZ<<$nZF4_%M@ysZDdl*bj0p%_a>c_xMP4FNF+X*4ED&4xknZ&-Q{lOz1`a}th zx|7I3Z{(X)7SGgWDASx4+qryY2;$%%=&%uH(qbYNboq<&>qst9?4ox_$lY{hgH_*b zgt5f?K4mvd@6UI=UN$zXEzkBL)}Ai9wTg4lUcXY81Q_JyiBoILojaRUDV+uv7gtE? zYMCWsBFNd!O!^l3JT<&&=IhZ6R3~>yJ~g`iu2@{);X<+(26yA0nm*Zza-kqNP3gud zp1__*-;cf?i|Si{*`fIs?|VcyPAKLO^p~nE!mPCpeaHn94CWF?Yuk!bC;;mCz7WZ;g=I?f0wE^QOyenpf_ty&u3g zh}QVgHV$pdBq4b?BTghZBN={}4Fdw)arX*i=q4N8dS{3_PC3`w`EiAKEY#51wZWmE zCA#^A4k>D-{q;D&f!K$A+!neq1jYqtIIn9g?nD2R%Fd|s@Z@s2+ zG_pb>D!A%Pq%zkkw$WvY28i(i{{4C>aYOkcE~_4*E)0X55WCzbNYk2@eT**?Wn_Ab z?qbp8)nhWC$I|IUY_87lM^W?{DnAltXJ73qtcN`nut>3-`#r^}q|nc`FWQA0Z^L>bCG=b_}l)?6}K$ zjydB3)QVVw{QX-bZuKKGZ20l{6~gy8`t4#hq*C~pFoAE-)maeMnRk~qjG zluinR#Hg6|tv%-g%Y@ZJ$Gsb_JLN!1=lQ#^xP^*uC+*aLzvLPt2lrrA#!aq^;E^xr zHx{nj{QssYNvx$0F?>qMv`E3q(+(Mp-yM$5n zC>OBym&EyWN^=Cm7Qx>C(p0M#qx5?1B1|SYI9O&u?vg%D^K?{34^z^6nnLJzt5QQ- zqwY!gh{Et@;L?PBLw&vH>DCA$r&le-#@oy55+E?%r#;t^ko`0DlYU_o6rjj$=vy~)g2U4i|21$bb|~SBb=XN zjQ1hS87a4Sb>)UP>VEt7?KcE}Bb53A)50PMR_@_nlN@1Vc#mMv(=F28Ye|l1UTU4p z=2qU%X>7s69G-6vY~tB2%KjO-MET1l@y{|N>1L_0-T}&Z#lHM|pD^W(u>?L>#CzxE zmYJ?+DXN?#i_ISj;JR%C4`jcpen046g$sq~uRPrDnqAGq@0-Zk^s!rM=Djg9v=sYJVY5pAdH zW9p>tw7YoSDhNqx?rM9CXfNZWT4_I}JYi-e+&;*nexlah(@|q)din=!)lo%7MFxzU zMjBaB8@v+7#C7C(m=S_rX%3a5IDh{{3z+#XSh#STgvgOcyEB*JYp7)or>d$dr&&Ki zIzJ%jbW_(MVW+Qy_H2``+>=;wX+I}&4$O%Cx)^IuR}GVs+p|3B_}05;;RSPXaCkCJ zm1#2#gJJ)gmT9ZROSo`7+a9t&I<_;*^89jxOT~}%SB-CaPY)_K1!hOnIt%Dw7R6Lb z1AOPs>zh$@Yyw^aaAywl@iBYQ1$%Da&u|Hs%A}{Rd>_Y$0Q!?=(HWxcTtnds^^241-GcWQOOtF9&BQ&-{My(DH= ztRl-vK-NLcI_Q;m_m5ViSnAg<^U?wWo?FA|USfv;MO|7`1CaiBTlz9#mSK@WSNO@O zjY&m0yaX1Xlw*ZprVTaX9pL`&6k0PesY)|)uZ!o%T?>V7<5zK~*ZVakT4lsEo&ZxT zhJ2nDy(oPJUBr~YMKqZz6Z!->#B6JXPu1J28} z29a-88f-^0K%~DIq16YanY- zEO9t0a$2E>m(gk{iYT4y$fdFP9~+CJ_zQq^VG}C zyegxW_I!!^_qRfPd>?@HfTbxI<rn+Xf~jLiL7b_?Xstx z#Qn6qyc|d(tnaZcJ=-DUW!djPZ7;Vgy7+9wzIpGx+0eq2=DeuRoODX9vj)2|ej#Tq z%)-EyK3KYO-YPDnS@w;*f}?Te8T$JoIV`)4y-JGo7eoW1#C-B{d(Z0F-#5S>*93q> z2Cez~;;1>UCi_HzMURaj=8mlmA^Mh@?S=)ELPg1AKAD?Oo1I>ZGO5-08wIWK049(t ze#cs*prA0CEw2B^Dx(-;)fX2g@~EZABl=&~sS{_z0}>t{zIh|L;Q%ZP0enn&J6}^u z_b)XjgFEl+6BN`2Br`FmKI3%(L79`QE5S&iJ&@i3fdqg40P;n^B`Yf{AkZ}TU6eRV zP*_-4L_}X#*HEwYI*#aHYB7&(5v*MXBr$=|W!G!r0~Jw}LP5e?Mv@p^9i7ixD-R?8 z<-fvw=G6Y>xW@_prOy68P!RC2uKYiH0sb#3bQJ!cOe#lmZ5{HjFC=>`YyBj0hBj^O z?1I_CCjObB)2Y~D^a0voA^7jxk&#%o57ocKB+h>w1TxcBw&5qI#kJ5P1a9Y1|JN`7 zTl}vj{?{4)UmXwGk#GQNL3FnV722r&1_22!Wx44_Mf|Qxbu#?qgjq3$UhlG!*nt5h zs1xv<%;U03my5Xh0s%*ME@iF<>jHM$SzV+3J^5~Om2zt%8<$#YAdYiX>gM0)7~cD= zNpxO_I%4>T$$8z=s?0Fy_ZM-4T-^7#w$se?`+FlT$|o`j|G_BhN3BuSUh-^Bu;*d8 z*XVAp`%QzMQ?QqD44G>#OT+&>lO`!of!WNW2s?UJ2l z{qfO%n?k#4!yCpN}e%ssjlXuPk}f7K>H7DPVxYiZPiT@_LD*% z4e}SX&KlwC;t_Dh|J#WXX8f+qdCMA_k#*ksJ&3$9>XQ1T;+CZoBtv!U ze$!wy8+HrsbBrwD)C<3#)vrtQ3;)#9%c(LDeLFO?>)vGtEd36Y z>{(}ro&CEGY9i>kmJr8W-!U1FrCm0B%;9flnT!btcXj}0l=oQJ=Ve)i31p8_At0M^UNO*KWZ}&RUTYqT{CpKoH-XIM$4YA1P!WX{2IMH;VP_?vhi*~OH|x9WDY@T ze(x~hQc=}-E(YHQfu0ZhOnwd2;a~TqUg0ZWuN8+mHQVM5TgvS9a1T6xMZKx_vlV7I zGE*dJ+rQDG=t25b#ZSi5Tg_SD>B-a5_=9w`)|%DB`GTgZ`V7B>nk<3rL8?~zp|QAc z8MTXxBN?Cd<c@X$;+P@I+~Baybpxoci7u?hiO-VL$vV zII_#pevlV=r1pA{MqmGAb4wv#TrQu%d_UhEHmxxRX?e?ZkK$7J5h0A597MIM062F; zeNWM+uc~`2cKYso0Rn&};q{Qq^&PtNrF8oE?|#kojLD#|eX3;98Dy_1l;4W{xK(&h zz_d-mQU-DR4l!A}X!ln<5G}cOiif2Ad7$BOpfLFp(-mh9z1#DhM{U!o+o~l3HD0M3 z?^OHP69?xZ2+f-lE~$sAl#Kpf=7NvExh+@RS#H%-b-F6I`Ex@*H)bu-%b)v> z-kf|ahnn-OWOyrMu3AqR2lHe*mZ`qvrmI0f=D0FtVP~{4ME~y>{z$Z<41$EG)!(*k z;?Bhw1kAG7NR*cP1e1GMmG0(x7<()3Y|{%;v!dn`X=h7gd*I+&pa(eYEQLMKwD=Sw zo$X_t9l3QSWg^SwRj-q2Qc28G8h3KMXUmV`H?e|=GL>y5hCuX*k~PPJX-y}r=#kGG ziC&jNGSK80@9J@@X`lzzW2W8==#i1iw)`wNORqdG3qt~``vH0glB4N{B@kY>r8->v z)H?}{Bw1X#tq$LD2-s{PbNx0xwWNO8Jp3JrhpB$Mgel6PCbfhEHyvjBkX<@o8LWFV zV*x9hudJZle5GHK<*>E9@@5Yrz~qeini!OlpO`*eYsQ0YNFhxgel_(MF8XqZuk$Nc zrN2t#26te~hrGl2epyJr=x8Y^G>NmRwC2>pxlm^)u50jH1!~&U&Z{{W`?;zTYB=v{ zs)3DM+0vK%@z5{~F|4@|!Ro=iB|exUp7ILa`K15YX!5zw21^=$jTvf7jxE*LEt%&6 zu~ZTgloC&B5x%skX(zGk`{MO>?C8c46%)ZnnZ7WSzXIno-OhUzUt>gfalrQYYlA)tB>*$;EHXaZJ5wwE!DWv-4g^vc# zKXGqr6zv|Mx#~f;1Jn8h@u90@dNf!KP`4lc?WN)cyCvqCS5M&@(su!`rIRI>&4-n` z3LBQ$PxH?f1@9H+1<=iMs{1eWFXv>n*FsAE2ny7N?Pt|8rixt+dB<;X$A38|Q1=s7 ze0v|iEijgo@!+(_@%0()3erk))5&J!)6^K1?=?%EBDW}d5`AJYMBLZ**WSfSHgZfr z_PFK6nKBP5w&dEXsmVWRa`ng$H2!{dzp9R<%^>e*@f3UZl(jUSg+GLwS(=m?<~>sx zmx-SoLaG%IPJ`cXz6Gflu?-WIA0?R7{~J?S@-Q=1A9`hZEzYvV-)KubhT`u3>a!!h<9 zS6S>UfiFVG!|i-&fklht8F4H10}J2<6Wzv-Necx6dY&UVA-q8zk~He?e15RL|MYi* zltBH?e5^FekSOZFwdzhIzHg)PW2vVA@}9^OxM)I_3rdTkkDz8r$Fef^PU?) z)j{FBcI9WHV=GN%#7~6hOAk}oq=z*&@8Ha~rKpZ5^9SQlm5+T{>HPa&%o~HVfi$Jn zMSO+HT*~AZYeBl>guAjD&a6kzA65@Lo@=923-bJ5&-UuZNYOyrxsGFeQ%adR|8($5 z+xheT7=XNQce=IwADE@vY7E&#BtnvlgKc6KhC+D%PSBIyd zR#dOZvl(YHNYlTY^Rddug6GgC!9P%}e5$maQX=EztnFqujW|olUiz91bZ-bV0Aim0t|I;ggsF2vUHa96O zvq2=g8otI0i;SH6ggK@*)-fq?bCsHPFQQ0ySZjR(mD0b%Mm7r9Y@nNq#Hiz#Z=r|Y zuA8d{pBgPT?S#kmx`i&hm2(SO=q|apMU^qYa(wIp*PBA7N-J39+gT-(Px4tVwe}G6 zBu>>;kOHeqam5+SnBuJY*ho43nMe#etjIYA?SunI28tYx6q!Cy0e|rcO?&xuyKhC* zJcM~CVY!M!%Av6ReUCIH0WdR9V&fXC=%0s5WZccmmxTV2@|~eci#{;WKGr~T92APf zo}UFpMmE|U-(=un{>Ty#EaH!e#T19J=y#%*)zEbKPwUG~8}R$yDtGY7u<@OZ3`Ci) zh~FuWEu<=J)ACWWSK-IR?-b`s3grUOA6P1WMarXhhmyt3Nx2$;Tmf)Dug^1fdxbj# zy{Xok{YH$V74s-ijA^8ie)6oNy$dc?p4HWQ?6BFCFZ+>Y!q96G`TQUs&W zR(L5T$3kmC?bEkEF1#ue`Oe#=^<#l*ox15E&w{ridM_Eo^@WMlogxzKVrDLRkS~UY zY4$=+6U>_#0`j_wTHFO1yXREA;Me`&nJXH`Sgr@0M8Dg(VrnNX4QP(|1ZiL&_);9q zbFNyzTzizTAYUCq;%~J4N0E?@PlbeX@hoO=VTy&@urbO&+vU{ihE(lQc#D*KZxVgX z)4b#Yz&(f(B6l}?wT|zobFw-5=_xbY4z^vYW-hi&j)|cGok-%rG|dF0a$0|!P{PBh zrk%wkc}~ijElq@jSy?K(l>gW?GH89P&q^BRuysfNbFSbh18Q6xony!_7|&*KN*7+>(xL*q-vWNcvsSwLepuc)s6P* z_dag!^Fk`ZIxf0TE4+dsd8K8{Uo7JXL=%{bqgxnTvcI5(@ayZ|n0|D#^sVOEx!THD z=ts<2@`pvr`Mx+`U#JrnVUenHce@0vO=$}LH1a4s!<5i{YcHc0d8@a{g8T;c4D9)O zAriC>v$}9?xpGi2m0uUgt-hTOKK6C3xg76^s0n6AjSC|yrfaxaHqYzx))g9W>9s81qvcurpRk=z#k$` z==EI^euzvOjf46r$WhQN8P=BdG!3SZ6jNIbZqaidyO*dGyovfMZYt`^YT$xDn_(mp z=RB<|*MxO^Nd36@eO1N9szh!37q0L498TGahLLxCt{ZnOpykIPBEEf&PXeTZ^Fq8$ z{LQ<;f!nmhajM_$E(;?uJR!dXvQe#{6Q2z3)6qtKRSs=O^zz9vw^+GYt3)Bqjhyz^ zOv1Q1T1L(}7z@~Yjb=nA9;K#N8yv(50|_M>33G{IwouT=3Nra|;f?xBL^W$+v zjZP*LC+LVt^B2{w881f{lNVW+@=f5k-D6LSFe%yM?svMUotEjf z+FRQJANEwiuJGmixK~|wYZP5sp&_y4Fk53S^{Ele4OBBzhzwEciCmt~0V*nGzbwws zBvO-@9+1oXNFG6{6o&VU)yXAW#U*H1S9gLyaPSC@CHjgr8DQ}#9-lJRC(H~P-*jsiA&|Plo!J>% z7y7_*=;yxJO1D@HTMAbYc`_dm)Tg@>AK*-LJKB4S z5b#y)7s{^%4gW*$u;M3=iZV>0IyW-EWvwOr6C1qwF`OljN_2f-xFS{m{xpIJYL}F{ z=#k2kJXrkHjCCM?&DYxxf-85We0LceNa@Lci^-|XB(R&xbM1|?*H-)4?yxt*gj)*n zwE7u5vy}U((PZwi#;5e7ZjcPN58MwmZ1G;&>a8;ztDgC6{9PI?FP2d`6QX{H7Y=Bjb^OOCn$MB=IGA$h4fqig?K3)b&``Z%(mX7N z%x*Rj(!vZLYUQ@82F})Wa+P{<`-b#)h%q@vRp`i8Ze{duZ6$gO&g!Dh!X)2C4-9H@ z9HY3HUJ(%b?CQ7ZMxwe-WUM_st=mf$$6CJv4ANu50=u+Y)ZW-RQW8sG1MG*en112yL9#QHIQ5Q%Y2vC`@JDgGuI?eo8P zKzt)})Q7fQnZumiEnE^RkGB3xgwQES5HGe$)fE}io6vU1duh< zl(*})tHrDY5GfL==B%8XfaLRGa#ib*_L!RnM<5hcuz6{s`Tz za(1Z72kQT1H?67;+s2ulwBm@6D_94AYV4T!Rry^A%M|Co+x|cpy-_L2`~Io=m8r5) z5Bm?Z4BE&*g1g>?G1#Ur{wDghx6wPE$ms5ea>h z)1glxs*g=$idcCfBL}o5tZvmLTRG&OiKy)ID8y-<9Xf>eul1X;V`545iG$_Sjlu=& zc7YQ%{rtlVIDBe+-I0b0^23#CX^k%|J$j(cM}o2=?R?*ZA&ZF2$mLcx)T$mJ1N38Z z+72ptvndONViWogn;Ms<1YtetLQm?MUrrvSD7vt~BrVOebwrusPE+1mL`G^(f2NmZ zv@{$Mn&28~sXFG;dJ7P3yRhPio%tn7bkESL>%*^3_jgwJDHwEu)2abypF&dt+hIm< z`zklV#XW$un}I$=!o7EUDl5`%WcSjoc9A)eP~Rr#IfymPMnPCaQCO%five8V5x3!- zJV>s~*TpZ-7U<6IYoqF+{#sGU>6xu;GNh$fRgUQmh}Gb&W#=@lgq1l(_QU>gXrOvg zedEIwX)vb}trhLHicq%ea zi9AjUKJ+*^G`{6lWGH*M+Ph?VFp_h87^-pS+bcJLy*oMOiGJJj6_q|BlrFnGFS|?+ za0*iT#Yuq3Me^+Q2dAwP(|U6$o#P2~sT7R72D~A`jB*HYw&L9#xZp;_fVzTR$|E)M zmDRv>Q~Zso<|Vl|>|@Hj&bk{DMQwKY!q~q(mFc&n8m7xA!%z;Krv8+z9qPl{n_?PkdEmAOKyJ=XcaR3_N za8~=^i+Jt%qQ*a7_2C9NHiA)lzwA3AsdeYJ(sjfDdd~J4Na(Xmg)~K4KfSm#eS2B< zmz;=bikA|?c%n1oCfRJerU8q+A6PP1q`j)SpDp+l1-~8KctD*)UN|3LAmX5&t?(BP zFHe`!=WE*N>64)$q1Lbk2=-yUehJ{N$1FKiQb)Adj?x16-ANs@k3lwUj85nzX?Od% zQEv}I5HBF3G&v+h^<^10Vl*lbN5e}$ew2rz#)ltH*E?Nc#A4deixG%xGQHNr#>aSdg`({C3_UqF#Nxh2L4LZ=@=Wt8DsaZx2Q~Cnhd;@`gX1(PHDf^M{(AAB zR^<srhpxZ8(FZ;#@Q_JEu`1;~N(!p{?d)#8NsLV<6?jp-MkNVE=0sFX1Ux02+Y(N+&` z?F|quxwk@!!PghGQO<7Up=(O5zRp{o(&cw!&{f}Xv4I882PjefEf)sp4V?rZr~??; z#C-aEZ2hzVH=}GT$9Viw?{PEJRVt5d$U^e%X|BRWWyS3XHb0MP+TG-k=YuxF3kq%A zRWOZ5BVHfE1x5F;utjT~ewEI>9*rswz5fpXV()0b4b245%t;Ze!$(eT4Y}idx#f0g zq%)@zvL|(O`)gSwN7Bb;O$5sS;CFD(rTcL3@?mdM3vq2PlLchGSxNXn@@1Dh;nDFl zN3A$qn+M^&q5h{`K(uw-k>ai*5uymhq>1LQUIADQ(Y~W6ZVgpAM@s)e>8@xS+994| z6`+CM2}&u2p9s9WNzbHh01K+HleUJ|Uz~r=(WI^cP`NzhCVv>$l>QCqD5f$01L7$_ zFI*Wv0eueR6BXU{#RuUC(4rH^AC^6=Jre;ps7t5i1HT!t_wRQButA`H>;g2ItFp@( zbkt^TM9qUX!|!5X4!2+;!~Zw^H*}di0*e1VrT_n16Ff*C>xxT!oS0Vs*PlxA>T=a@ HEI$4p4YP+f literal 0 HcmV?d00001 diff --git a/Trinitarianism/images/isEvenBundle.png b/Trinitarianism/images/isEvenBundle.png new file mode 100644 index 0000000000000000000000000000000000000000..a2e8e02fb3d702257fa347849543d4974fbb136a GIT binary patch literal 36140 zcmeFYg;!Kx{3tqzfC_>rjergaNJ~l$h?KN+Gtw}WbcaZnBLb2`cXu;Nx75%j-5o>T zgWuo1_q~7Nt+y7eIcJ}JKKoO9fAWMVDM&qjMDYj&0zLj9Ev^g#VPSwkm`V@s0VAXo z5EbAD(?RTm>VpRlrWX|#K%f_(5904sU6ZzFE$p6~d9R^;Oi>X`slLA@eCZzOzj&>j zEHW_cN?59CyM;5P4@ur7VWld?$Dpqp*Hi6Oh2_=NgG{VtFgL+^flb-wullz~7t@BaS@{~zQ- zK<6ePUSG?NdU$ti&H67hl?xK#@``{j`JEY~SD$#)9tLO@fPANDF)=~9tOgv90*F;i z@>JDU<%$@DS8*lNpsKe=NOxdlDlHSCnJ%^bzD+!L|3;S_4gtFzy$=-dWIQ6doRE!d`Y1#2 zv)-6fwz=Fyq6K7?Tkc8q$YPZyfi|IZ3NIDag#`KLXAYlnZ4N(Ll#ngS<31o3WsQHx z|8%I&#Q4h_-^T#fz6~t-jQX0gx{PG#t1q@6h47Fao{;uE6)+(yk?J)hCczS<2FAn` zHPWdSYA8j%jefm#_M27yC#d!vU10+JEz$55L_Gw9Ele_*BFf>Ap5Z9m-&Z@GCRkhytG z`ywh=GRy+022ib=KP=NzC|ArfXV1b4s+F&lfJM1!l4I+B!NWuPG0E1(TrA7He;pc) z0qPy*wuo|T5NO&a$4-jC!%KY`-(bhA))TX;{DTn_#QXZG`n1v9DOvAtUoN;G#>5Y; z0$r^x9=^Z!1FWD_h$ke=B{7N)?=1m2nXd^+(aLvw43P8tr`SnBcz94)d~aR6TwNxm zDhnov0zR0ty?Z1DP8h?)P{IU`51vx)^VPQ`OaUHV;P(kY>POj-!iv z#z%rrWThgU91E7F8u^ny2I|>BphQyZp(&#j6r*q@=n@d6&Bu_2)!|~TK|B!1l5Hw| zXKrPj8}$`K5O{{4xg|-j!z-wor7RHB2Lg@8XMgZPAh13m1G|u-tp#**p1-<`9Z6g< zK&2tY3buQ^?6|*ui@y2!bwqdn;F`2=R#M24ZUliQv>9_DjvVGEjG!5SC<;-gqQtuK zD}#a{K-*Di!mE>Yvz?Y4&}YU_WMp5VPDryl0S*XcMdCE%D-WEhIvi)m1KEx}i5MU| zCJGY_XHjhI!XNBp-NqJ7`i5nsAW&Q?H$^E4Ia#SBSSukk?mHLD`908rKw7Fh)W??$ zPZJRKs9G~LT#@Km_fwox;F&1|QEuz(G< zV^@b3Q&zkd=Fb?+c2xJm03nqj2>WyBw{-K=6o3Q$s_ue`I23RX;7P&+CEh4GIhiIO z*H)-B#C93iL@!P*5HkVw?u`SLwi5sKGx8zRjE

;hI2zf+l`bgTU69T&0rC~D1@&iviF+jcr^6g>9 zP-vK)#V>c2gQr7)bW_1GY-_lI^HOFksiy#Vxqp((`77}#1vrpN;zKK#$tIo}Lp7mH z`U#<=Di%|^z&ML7lRluuI(~TJ^)gwhs8x}w zOp7y@)HpNnUT_C;LnEF|Yt8`pajuHfr-Du)tdqU=Y~1A2G*mmmLR+fn7PlSWhO{zI1I1rz`{`YsJxN`z-cO-@Fcv(-_R$PeiG zolmp`s7E3|V27R&B|x4il}Y)EYUl=O>1%*{f6m3<#F+jY*LxgAQb>L8&qNn;BG~iS z!u6fNZ_Y1af(I=v?y1bCY07K^!1a6R^_H=bYzB=L)Mrq=?W1el0;s_C-)7*5N z94M*rJm3Wi=9ov%mNdfJEd_USMxr;4GlTygVF?O2do=p7Qc;5_ffJ=(pb21rxpdF= zcHx+jC~ciHZCp|s9tA*iyRLJ!W)JD1L%lwCkBNjDPyg1z#dR}1qNTgnirVJ;U={;I z@z#nw)p;JHWo1=OU0s2C#yzMH1aa84_zjRS#Zz*!t#8t?#q)hS!jHJYw1~vSgnBh5 zwaW_&>sji^$^xb;COei^#wa|4!khG5NvX9tB}VO5oHk{N_sXwc6*0TLx4-awWhu&a z75bGsqut0gPeGz-dv?b*;_%(WLP~P7v0n?TbCuvFKSu`-PbJE?1~K6oe7mvCvq~IFDr62 z=41Y0QkbisP*5G6%Vf`?x_cVe-8!KR*sgi%&>UYUTFeY>m%v9$(GmqxWrP`SCLAU7 zvSS0{V)Tc(DU3*5q?-c^Z zSFPK)hm^f!C}-5B2V7IWS+(6k0K(0+XDQ_K_}NgXllF~j_6tw(>8UsBD{SR&l0cFM z-^ijKp#>`ZI?X;DeeFKFJNJj;%P(`Y@i_q@I4wDNoO81%NjsXfMgyMlDVZ5dC#|5h z!69f6*glT~@xt?Un-i=HkG=&S^)NV8@$-lixG{hg2#WJk=BNmm zADJcEDrqe%Yd7fR9;E+Dfx5Y*_PwNn<+ncC7t>cvHM?A_7fv>kBaY$9n?eW@D@Uwp zJI3_h=aDdDfns(cHK&2I1y=e=`%{dB0-bQ3HqNOp(_qyPp*}qnr@)~_8b?jLV!G89 z|MC%5&AHZdb9D`c0jtH3a>1*WpahByQ?2CwetAXtxx%Ap%LLoY$e^vO%*Q+8%Dq;T z>SSum{5JXNsP%BHLQ--vn0cYPX7~5Qn{5(>0~eg0%lC2z8r;0@{0PPIwYv17x!CpU z3!yl!BzcQx?d~(}Znb$cOKY53a^tctK?7QcqYzs=oxS(5LQX~>HhMg`w5jwPFn`(m ze1qNRc?LV$o?8J9Ls8nalqWDU>esw7AnJhv9SUEGWm5$&X00f4W!g~1*RHuJH%A8vT-KW~~#;z=vd( z^boyar%+s9rv+BB0zfGuhH>2sQ$3YW@`w}Rtjr?G*?-N;CMORrD$!czrlyY0ri}xN zQ^9j`?#k|ZTjyp@D<>9;DbGCz9X*xUbHi&ik328LFGe? z{R=ffr^riob%!+@qrUj3uU2&Hy+=sjFFP6T-wXVxAV&ajBcx5K>}SPt9%VcG)2exD zgB=wHVWTRW=CNSBj3gO(z|eDau=9lGvQn;$2-E_K{gHDes%F2TQYv3k<{ zHYZI2@9PXX8M#(MPZ;w#f7G}d3TrEUe-)>&E76v3jg*}Y1z|;~-u6}!SkZ@Fnsb7FYiItNh_6_e4+1kq{izwygk=J){jGa+z z*71+uyk*J*8;~@}=RJlarkB1HF?duPRPb+jqsa zrX4f;Z&sk@{p!{b_OPTHlamcp_u5(^u;8QiLI6-oKl4$^q=zfp;$dh=qO%uaN`*YT z3wN<t)z_k*IKU=}=C!4uG zdXQL*OLZ$*H5iq%d}nR=yNN`_zrw^+E7kkv8*qok+h>~MrdIqx&50FDxz*BT&=KPC zFRY}wTOBq#sc|Q1g3ef^kH`yxO4AMBn4LUfIr>#tWCp3$%aF{FE`LRqd(XD2w&bJp zy=j!|kOb+EPZN%>UnM4&xj#^^H_lnoSO4xJH6#wPov%{o8yCyj`Aokr!y`-+I67Hd~pZdz1z@wRU-;Gh`OYq>7>L&{M^A$0dD2hDsWmc{~TykZ#q!Xu~QC0q0 z^i9S=ky;b8;z@8Y-FNr*&qIuv$P*K2Jb&n0Uo>woW1Bx{r)YAYmvfaVfQ+tE3a)8p zmHtSt}YvL-qLiIGAKO6Mu}qwN@qB=YI`|1*Yhwi*4P)X zYvLAyJ2zOW76`rqdm*&3Id$y4xzJuQv9G+yoFiT_y4bt+NzQ%D0wWO)Is*=hEXr7m zR>E4{_PuP1Y`W(YPi-~$h7b<#RG4v&E)xo=zhLpkvliGg3hOI1cv9Y~T4xR}xsx+9 z=9meOS8N)8v^XJ?YP~26){nmNREX*R@yhh%1&ERs^ZoY^HEqqF#05G_STU>Wj{#Ru zNBDm4Xl5yc%B;A^M=)l|%Y`US;jhGX4pgpO#OGU6^hckyFLfzDRGR|gYN0uaB3_+O z;H>9N(g-@*6q!=jT&Wq}$O|chy=racP21e1$11(+He*y^Rn}w|zsTf#m*F69nmVe)v>$chv!|pFCrDlUVKQT5VQD|4r*cyt%0=_Kcs9f znv|UN$F24BZi&Y%W{xUdeTAy|J%vjl<{(>hCta!ETjzx{k}+*PGFiWqrwQ(l#xHkG za`^~CoJ}SX1{>0AzDxu>MdwlF+y|x=-A<8}i~Y*@j|;=`ww*(;XYdMNQ#QWb)2NF! z;0m3n{N1zXVpM?$^;3FGKVQI(o=I~GqViq zlpvq(SPPqShMtsWNa89P1QW+KnGp?z500j5)=yHAhK<8I@vTGu4oBT&_s?Q`v1yO7 zE~$|)6jXM9o=P$cs1C>)K73r<{HOZ7v8be}Y20Ktcn_Fh;571sgi31i&s)E#+Gox)VZ_*|8 z5vS_=n9Suy@g$q{a4Y0}mZxLkX%WRId0@)s1ibgL}dVWjq_N9ZJxywEokz2#c zW5dcH!!eWJhjnHR6kyYlMo~W2hF1ytOqJpu0s?2Frt1;((X2sYEG`(mFEAUlX-UMw zq-#p9x@S7(M=t$W)JqO-`Y_qOqrfFL^}o56*Y8zJq!%?g_aZ~nEfdB!KWf_gNVmjS zoOm?+Ee~slT-}uR^5KrQ-F#~nsSH4*Bo1z#jz8UTJ6|X5NBsd0S6p``Opnqglojhu z%FA0{Hy~#EUQj`KvuZl6u0I2bKHSzO$EE`X2~O+gQLfE5%};_NHf4 zAFx)>D3d*sD5CzNx4j=1q;8&ViBqf{8!YJ&-TkRR>P<<3$K9z>IBmuvY=Kg@tjcP6 z3DAlXdQO%Ix9+o`R>HAK2w8Yn5i!G2s?I+1b3FG0;E%trTJN0JY@G8Qd+#dh(P>i< z1SQ2uw7RzR^c*wg#eZh8Tj~Db=&G5XvZlNs`dZEERTYYQI_k;e%y)4Dz5)R2G?>Pa zd*RdDHAlRSDHN<`!QujdPvHeY6hw(@ixcycRBvDvhujB9D9TTe-zBN)aMl*SzlFuq zI#7cl6xvE4DR%u?>}e^>9Bj7W9Uo@mwmNII$4G=I<;Tpr-p!XY<8wo{Cr`GsMl@`y zSG?k{cME>5&p89c2B+t;i3m(*j+!6!lDL&gdX4*qPD-Y1V*t6VZT-i3FP~LSE~c|3 zp%MYpLgUe>z$P%f-FzO}OE3)ApgGo@tyrdGxLpnAo7{F;zXFmJ^D{)ELq z8_is-8a`O+evht@0Bd0Nj&s66sN6(oJPikQ#HrG zO>R9r_k3B9G8?$<7JC_OGsO^9Z?TR=0NwiLr`Ll~^#-Tr&^*+sY$sog$~-}F#8W-$ zOXMHs!-5Xk>bznr?X@9#{E@2u{FFYK!P8a};VOAyit5?KQ+W2_YLpNtmWc>Y&t;F2 zz4R$(sVsjgZ%4^gx{I_Xm#T}Ru6t36{@Jk*;M!ZUrA`_0XjaUpJ0_#A7fqR~|C}A$ z`>|v**|#Y)jpztTmh>m+B0oImSi!U$z$U+^ZYOCSPDN51IaPIOGs_q{HC5f3Z+7PH zuW#@t-^`XsKH)&7pq;cA_oD_5R0Y^eN~Og-xMi9&IxBHwTkO-zNtPvGMHQ@wqGjJ< zk<``ggNMEs!%i7WcG92vcx7F%q`3L0Ln>7r9O7QFnh}50T+08h2p_D9Dcr1e5K6zC zb)+6<5~x4LzSn=^R;*dbZk2=Cx4nus@5XmXjkC7nA|2=u;3)k;HFx{bwjyHwNx@%u zsm)^8d7kMi+fjWDRpD)PdGBXERrp|K?B@Jq^B1bsX1L%2N2fi4py`?mt@;LnC%zgv znqDMuspT=$_g9ji^bc?T$}dNbvCL8|uefG+9*_ zLV6{GrGwpar|FD>&eT+tXl{d_)8%GL9_|DlLMWQ9(LbJ{jZ@n7@hT-IsJR?LHxnUm zCuMPG$SjRziRF@uXv~_943SKs#K!uJ4%^m}k;bEdzHDmgAEKpo6)=M$$yFw534LqU zWCe?Zzp*XG#PC*mlX}sN0n-t8I^`Vxr+=PwA#Ij_25RCup~Ev459^L&<9LA+ji!7g zje>V{)`27XgMxx?37XcU=~qh1`}8M8mPRhAje<%Lo`P4Xd~A8e%zU2-VGJW0zL5Ov z{Hf}c_h8PrNFXZI-YbFS*A#e&%ntGG9R#Ng$3%0fo$#})$QrE$Nr->^G1uv=jwX63 zuW$YdO-j49wUS!Z?k=X>an0}Oe)lw%92ISu`R)Dy=aK{SpI(QQqePKB0Y-tJe#oE=Uncfu z9il7ItO)k?lK{^%gWJ%~r4jCu^wPAvSa8BYUA1y!E|6}4H4jB4(-6X~qmI>&y56Z# zhpo#e(SpK^sWdmZ$y87qVp#TmfYGLG4`a3nqgc8pBYO~9KW zIb~{p>HK=JdO`uguG(7mi4egwSiNonrzAg7SJ2zj{XjUm$WHLJCv(1Eg{Xb&v1^l` zl1jmt(PvtT%vqRcanTP}<{Af?#@tN4&$iOU8^`2Q3AJzThwy}?(8 z#FO-wwse-L%FTF^rufS<%5+A{LN5*APm5h%ezs?At!ITt27_2ajktdcw{7Zj@=QlD zzpGg(*5;fa1p2QRz|A06m!$6d$4*?!W)|kAU1CB6_zmJSW2S@cgMnwN5&mhH?6;N0 zo}_8M;F9!I~f9ZBM#mVvHq47{F(nw-RkRp&D>sOFP*Ir$Ch|DI25;9Oa#p zRe!?1@+@_m>WM#nWx`lOAJ(&3u;8s`NS!fhkRyuUR5^s%2LbL9l86`d<(S_ZPWrmNx}B7!%llpr20?xyu((XN*<+y?36ctzZU}LfHW1|o096G$8WJ(zN5E|<@qM5q z5TN-0gQ*L-`**+}4y>Td7DJDTdDMku`wa$G^o6}4zAtACB~7Dw@&CA6T&20Y8=|1# zfcxpuDY65QKsCd%>QSIl9M00P{SKf2xS$=+vW4`0Kt7@7x&#y@?26=Kzl(}~1!}$k zT7CnT4_<(cp&I|eO3YGThWg@d)6ZPpO|AGo@cJc)e1gYu?hu$g6Ok_}3LpvZ-jBV5 zY>5^M1B3qcZ`cKi`AHB0Z&LhdzJvSxnb_UTcer;b#bvx_dSMI&u8_iSsUHHK3l{4W z;0^@LC#e*@8@Ebug4R;~zgj_%tP=!y-~495G1(*(cax`qdNJ@@1J%0^l(m5?&I+>|mKb2g3uZ-|O#W>(Ig=0_KQ|(?y#& z-7l8JcE+0900uw+vTSdN*|mi4@SV8Vu)JVz3|;Fb#Y5e#2{nv+t{aKB?b%Hih6E=3 z%-Oo*F%kI$n(-?jOi?W2FLwN#rL7+y03|sPh}ak!l=0*a>9EpQWH!JuwUb1Y5a50v zr2W3NzYB>Um-O-<4RF$=%4945md@Ue$#|xx?7c!DZ_9ge-1EISIh5x|^gxhKOPi;XgV%W~vp1=NR z-F4O=?GN1sB)@pT{gPitzr+AwK;5u_fiPeoM9lmSjAkg_wj6gGfDOnus|z{MW(xg3 z!=rbrLSI2>UW0bq3+DYe$?x59Uw!$E8A!F3;*n4I9dcjXVdlH?&5tVhe;@*8-|zVQ z80{S#kPaAAP>Ehv1UE4|hAT7P#|%0Pztp18P8hdarf%-(x`G{?j(Lr;o~?+-cDrQEcgMh13|(*Z-q( z)bc$SXS*jW`qIa&aa?Rbmv}KY~4{O$i%pRPy6k52=^>O&0=ZiQv9H*epET* zS@uXf0VI6fDOfYC!y8%)l&2!B?aWWx8fY_&;^(gpAqAcHK<26Jwo+092&CVG6{TYT7_`liCj z!|Z4LM+6&n=~c8A59T~<>GM=Sjz_e~r5zUODh#gd^3i{w!wvJPbJlk&(-EI@g;{N- z{LTaPxeIA-wc2LFTNQvP7hUREmGOW7ny}8v!xU;zFxHA;WhwB+hc*UJH^Lx^%mW=@ zBLSCgOYGjPvB`nm5Jl01Nr2~+yWbw{y7tpNClbS)!TFu->2Big$!W9*>cdMK+?v$w z{{0Dbsv19;Gu*fR$sok|rmg!EE{>8G&ZW=rUY;ReOQsdlDP?G?VxIK4SW4=Z2 z<_(=e$UF`YiU%8OjkuPq#A!Uq&MrsI5W7V19K<#Up4(beh+!GFj!)|+TMaX)fR?%S zL0Bsuw$w9EWv%2 zwbh-;r~yUDga9?EetUSV!}rE8OZ0Eu^!CTaRLPE>1Fh)F2wk++j*Q#UPQzZKNd0=4NvrFge;GhDZb0Mwm6;SVUqF~= z+Es^+5$0urhlf}wcu-{IHMrdneLQ*oTkqG_$_XPlJ@o2t+XOSaGc4ioIGSoNIYIX{ zNSHcHl@sOJccZs>(`?77_4e|>F{ZWF?)BvGwhGZl9tjm>YyIJr% z@JF54<+<9vv*pDN&8tzwCwQDAIE7i&k6d~d5A4j=plQq-o=pOnGVb+a-NPe-+cTe9 zqlo~DA~#zp_b(sz zFe1{dz~>3*bh)_3VieV+)k|Swnx%|pzr8q|_ujjR*;0!kIN1sI+!;Uh2L6k+kR&Z} zegycHd7BrzO+LUT`v@uqL^-s@XNEd4N0vY3awD{eEYu6FW1GJnDjJ`!J^B@2)sUuc znRX4!S}|!t5A4@8d%0T~9;Dpfaku5BqJq*@^zCqb6n!5GrucmC5!Seu?d%mJA)F`5 z?RH`NeBSG}!{=h|goy?XYiZsC_7dc*XJE`nj-4{56-)g?@9o;{$p;?Ai;|oEAT|8K zPXh*WjR&X+U|T2htEk18z(NWLBQC@h}O%k=nob2GTs@)k6AxlM<=yYk7+^M=DWHZXr zeL{VAhGv4a=n&2fsUtF2X&{B@?KFt;tgeQdV%f`9*q$JsCw4WS&K5At6;(6*LC#qk z?8m^C{~+rV#ctbu8jlA&XqmnE5=TOQJ%P(*J8t&<4E~zfs3_bF?=v!ms(nN??vdLZ zGKD%;Y3RVH_F?Qo(+#Vw>N24MQ~r8X%*7mWy^j%|n@EoE?rwC;pllq>fv--L2_eAs z3LHfh#wy>KU?!VCC`>&TJ_9cuk)h{*PWHqyt&BV*AC~5GOBv)io9o7Y)6tNU4-^FuxZGbn4zbQqpREi67onrJ>P?!)di9zk%(rj^&1=2qY)}W*u zZ1gde6R&R&Q!H7-YW$`ZG(&W#-<;rjdpyxUUBF6ROzq1RKYV9C%Kg2va&(R@libmS^fY$nS;?zx*2TJR9_-@A{iR7pgjZpCqa7OhXx@IdKi}?*-f%n! zF!NwyFv}dqI>HN#=-0+Rt(v1q(pzbubd`JCv3`DqKhc7obBdC>j<%(qNBYy5+Jm1y zaziDhOXytPE*v%R?i0cA7WDaBJJ|XxD}H5Yx5;^Xf@#5k)4-MB>=fv{H?_d*?8<$;5wig(Z)cRVLPrHcKc2cV z+8w~%%Of4kNj})@WxqVUVnK-R7$-R1`DyE8GN%wxg~enr8UC1{d8p}1tY-4rHM+`zR`J7h|imkTE5o{t$8^q>l})7-b+Pg%W|Kawvg8izpaaIdNs^eS65-i z^$lP2k}!ix>G8+`N4m#fn*x9v0{%{?W$jY8LFBDH1PHJO6si0{9Tl-i@Y67IRHDo(0Y&|HP!zighf;45w?*3`@FsDxI{1~cM>nxetYkT zsTc|T*}4fEQ27AV@JN7>1RB$bTV0o zfD3RHQ9_e@GcKEDZ%FTB#`p@bL_Qanux?{-4TGbECO37!le}&5aVctGKF%_jV+Bv@ zS{QOR*fm4Q2l3}Vn3T5%bQY-NOHMVJ6zFX2NZ>HkxeHtHs!!A~xO>>09*(sIgdGT9 zv%*NIuGVht9gMBe;Y1HF`{-}$bYBZ=B=i!kt%l|~rt$w3eEY|FMH}dAJlzTZ*~y;# zmY;=y`n6Sug+u&SrwA4Id#CwbB^UbIsSTa`FjtM(qk+Gej4K1{tfU5k1t1$buBF4Rur%c5f6q059U-!dV%ei zl}5MJqPYT2d2h%1ubQk95Kec|xex@Q%vd;EL(8x71U?YCAab$ezvsnqdQ=lAzT8vQ z#Gl;nDN(`{;i5y=QPAbdDKbtEP5POW~PflwMPc zT;H-v-er;08fR9)cr;j045bFz~I!7q0_{+_bo!QVJiHx^Sd;Ms1jz=E>TvwllYOt^_VQP{*A>1s3 z^#+wIGWGX%q4hH%dRSz_%g(2uGb80K|5eHDc19M%poqQeD&U-fhihmL0i`}a+SBFq zugqr}6dp6W=`$8$2Je)m20x#euix*XdM=}OuQXUr!Gs~3vuXM_cz9%%8`xy~Gi?Rz zJDMgFx5osLSM0ablVYFSt@o$v6K)n<2#RiQXWgjzXDGt@$Ng2EH&Jc-=8{L;JOM)N zknxjUk7wxLo{8&cke@=%m8?^LxweYOofwK$IUiwNqjrvev(rZhSShf_#ogFxspnSl zdU#fMUb%2)iHe4OZQ7_)uI-K<+^VPu(DPah>7J>ge0}teTOR1*gT38u68^~+6W-(j z-g$GYdgYe|ZBZ<`qM5Pura5E7;4ED_FX%#&vbFcug}FiZ{H}{uk4;XViF?!p+;-mX zmh}YnpWU=1g3F5#WzG5xWB zN9s1j*&xYb4EALxq()2S*)^9@hLJ-MekGuI{17<*XM1B$@DX}&yO2dLUMH--ioN2y zium^mEJAX?Z9DsQ?Y0J3?4`t8`8J`9vGBi?I(gSCgF6?CTQwSJztvz{JqGXAPi)>4 zeDi}|kR6fR{cJ6*d`202`n{t(K(6ZOSp)P{v4MNlU?Yw|a#uXLtD;XBIWP8JCJEL8 zupLiR>|8XWzXvBP;kn~D3&^WMp({eLi0OouX z&%?FfDm67PD6GyBJLoOswhfO|lf0R~Ju-5iJinxwsdX3DvUs+0kUI#e+5waub)(~u zBy)Xq?07T7K)IJvDxKNQ46aM^-aH;13euU@z8-|kx-F^a+e7vz9Y%1lwcYCrcAn^e z9PagQSv|>L)z8O``woO<4Gmw0a&5;4vh!R4ds~yM#6Miwr#d;aHBERlPoA)4eiqi{ z2&S<)Jipc+tp3wxy!$%~t-##={pFov?VGQz?l^Mf?#w;|VlkFJ2_qOG;Gv1*0nzy^_I_eaTcX|;kV)RirRB=tof#Sbv1a#`EPHt1t&reU_;C-rP3WJU_1%4w${KBbN6hrB*pk>SxRWaSX_@PV2Q%Kr#mfe$&- zYj7gCqglNGNAU7goGRi_bSq9yjboCEb`e2Miu$B>NmSZJCCp9+57^;0e8nkMXD?FgUlGZ@E6g1sl#W z^sG5KaGw47RUL*Ce*0k!(ibr>h028u4Ys?MTMrzGX5Nv)yVK-vMow(KtY4r= zG;0^Rgf%#9^PSti%%5NQl^ygc`g}GMfL|W>9RKpG?sh%Z$JSp}H${qwEau%`s#v3E zH;|v9`jFVqVl$KAc6JR9Lv;8Y^{^rZA@ViOtJNwT35hX z-wF4bV}OmUQQSXA)eRWDdO`nLyh+mdl5^y0?zDdv0CXq^*N?38#dsc3A61pD3SJW|9CPXpuL zCahWbt;glSwo#OG@v#mBaoTpk2Kc4G&hG5s^0`Tto%U!o&01gTq&_d|5wL@C+sUrt zP6$y~0l`(v+ZLkK*|3GxuNJMqCn()6Eg~&A%?YObK?LpiGzs%Wd=UP5wF2d!q=uSG zVw=Oj);YWAlDf(9S@Nke;iUd8(p@Ueos)d3onPH~+c_H96_d@-KeS-l42!y&dXr-8 zu;BTU5b2eHq4kL?E(JN$_wNQ5l$eN)bMuwiC;@-i=X7N(R4DF*{pS3@=foDmU4X%y z&Uzzq!9Y-QmbM^-d8zGl$%oxX5&|TdI*Q`O7QNx6%1$Tmq*x|uXgTj}QAS9L!6qrZ znW`Uforj4I3x^MKZKX18rIvqZov)wI+?{(}Y0DGh9eBL6dc8>pl#MP~s`z7+R0spr zM!_WSm4F>SoBqB&5>r!LAjcIYL{xBk>&tAhc@5GH8td)On@O~dYB~0d%Vz?@4`HG2 zb@n^nS{^6tymfKXP5Mrn>fuj@oGCoati7;3+UC77 zsRo5cL4dgk-B2LRr`Oq@=STRBU(FgtInGcdT?4zRYa&T&(Ah3^=fLQQCU=#nrG~-k z#>~Y`S{$&Wn`OIk1{2b}T>>D@FTjT}?0`bvs8&|Z89Y00ofq_Up}XF@MJP%vGl;YtO~$z-35)Ra zBu8U;EXbR_(chojR5vlb9Wj_GxfLpHIRSiNAgcuE1glknewGM&^>gbtM2pke^+*Qz z5U0h%{DeZIR>sG`!Ds#o(E_CZex<3_c3)N*%#S}kDB5!6uYfKBj*S$}ZY|H-iY5j? z6$VT~O?yMee9nMq&imkWHl%x-;cOS|wG!sRRHDqKceZ0r0vAO(?1|7SLQp$rur+o$ zw&+g1apYm6d(-6~SMHaS6ob z28efh+Wwo0%UsD9OI%M~zLKjR(hG^qDwB9{Wiu5#eo}1ui;-&cVY{%4RQ;T%$N6dUBw!2-(0@~UYVh$Z zuZKh|@}K*-1BQIgT0ZcN56owX4)DD5Zh`-ni%*y^Cd!VQ+p~%o8Gb_aVacx6%32&T zo+}Vsdpmj`0>&?hphMhvylJ&h%#-N<{Tcf$wY;jTU&J5}5 zmux$uBiQ#Sb^esYK7Q_`xtUu$iJVEs$Da|o+JMul$x}`l-JJfsZH>w{Gv!m`^g?fL zkHPZR5IdvXD|rk8kG5>VJa6K;2t@O*UXqPod0U%iLxpPbIO1L>U(yXdKQJxNQno<9 z`l8&esd<_tM>3F-c$dR_e7{mu^f9*3FJBTo%diVQR?8kWMIgZV3DjGbj`F}TPp0k3 zvBM4>7m4M~lVt*L#|kBuu&xqM@9{KD7-FmT5Bzx5qhVBwj0f-gZmTvY#td98dc2JYC*i10f`vCxy@UkU~Y* zvU%ZQi#UJQqJL%SZ;ZqwqxckK6>q4s^*6B;cUt(|OIuz6e`Yt>~z;=V-qhz(YUX=2FPNt3ynD37Ah|{Y85b*Vp19XVKm1I(b)TC% zHe71&vb#(qTeG)j$t<`>+l%SO4n)eOr&q*Se!DUqwv+xwaZ_bJ!57*eF zhVSg_s}J{!K03!>k{A(^<-Wialy}gigj?2>v`xis7`y`eoYZL8&LseSGtWVKez%J)!YL`t%|N!ipeHBB^4Y3Va>ejvb^N1G?%7n=Ycphte+6?}^;Z28k~NY2he#xe#f( z-|}EleYek-!-KdE42{7;N6XblQ7kt67^ws1j~)Zp_&Jcoh>vqF9DagpR~M;S z>aX|=$qOd5O!ITQt1T~Ll#c0pS#$zH!|^##u?>9@hD6@eB>t6aA z0abJ9jA=e#Nc?M{Ci1E7Q~c#cb)e$|XkW;TkM{G!fdh5*1}|WM;|?_SnzB9XJ=P;mq01I zlnd>7)qB^hLS=2}nAfzGPtIpx`8sLLwJ3jX|kSsj! zWD9wBS^D5jci9!>=JOr03m9#5orjnIHOo}VRa*g-`DtKo?BJjX8-PVYjAQHOOHlQD zIeV7>K>#?KqOmpt|B;6K4W87Op(T9RyZ|bF20RJ)@)de_bJxXWoY1*R2wWot`ah|Q z-%+H{(Ev!wH_?JZUfJ*8{ed(v!G`3~8_N46OZj%3Ku_vj_l)$s=Fu zOS&*qDa*a@t)GRS0`Cg~9Uv@WxUGv|LNS1IzLWvEIQL^)0~YP56aMu9MP--cS6-+kceu{I~0eXn-Y>~5(3RA<_{kLAenaFP#9t`gQ@swiqZfGGp%bXn)fi& zf2}P3ukyY!EXuC?cM$1R=@b!BQW}SR1_1>TkZzFfE*ZL%6eXlfK)Q2iB&0ir2I=mG zv*&r=bH1Ms=gavI*9FXd?_7KBwbx$jx7UVy(cg8W@(dvXu&9J;IO@or5g;C#MS#a% zRT}DmK_89=vS|Cj%=G278H&Um;UKxd`tC764ma<1H5WBApa3%wIk~_oZwVkZ_pD37 zcN$Kr6EmtY?`EpcQbpqI0EObS3`n62Abz<2LPZ3%o)!!f;Qhj!_@XsP1)wp_Ep_Vm zG4muaUGTb5txW1(Q_{?IYP**QP%8g@6yh={egZ&?|5&0RB00Di@f&DkOBVKcbCjqY zdGR4)X%>H(N6GX34rFfF7h*guisxH(8oh9J9H)=0vOA}Q&IXO zcYV(qlUwi8U7`2i5RFH7)iAZ-jg1^Xu|b zIKTc&LYjqTd{_Qe1FP-eQZ5Sg4yhku0RakxtmaJC{X#t8CmoTalr>M^P+?-q>{PH> zw6}E;X<<>fbv4xQB;T}^`1jkJmnbmIW5HH~Pl7(1UwyM48J~c0^+{U~8)-vR4i+%&)2peDO0&VOG;oBVlz(;@#_k686eW~`#q6lxA!PgdX=9dcSOJAMbiUCXt8xug( z_#UJ8d^SdLz&)Qvf;3Dc21+g(P*>V47bV3nf?^uVQZ_(cafGbPmRB64f=TxkcLu#1 z-@!rdu7+AEZM$Kn}7K5r6!?Y&`WKRy50U8mV5zKwQBkr-fXZuHiL<)t@V4I;i03z z-+yr0a~ITxoKN8CTU~D%0v-)3B}&%Kkp)?2K6~tu`zel6;$USjsXKKegU#weh3+u{aDr z0CSUJ*+)IPs~jA|uiXkUSPn7Bbe{+|+ZBuMkxw`2fMuKB4I%H@#eWnMxr&s^F`-t8 zv3i*E3{+KUT_!bfoB79|ufGUuFoHKG+1Iyj|1wI=6qcxGwm-Q*HtKvlS{GUCZ25P* zFzS=$TRLcq-ApAD5uL5eBOU4Y>{ip0+p71nwGQ{kke8B;nf z)1yd|&Rx{#QtHuAn!Qm`XMysNr^x45vCka&=aj8p`0s0jN2yy|r^V2&&%T4=$!<7* zWP?1%+VCg~%{~o&{WzW8o;3B~B(2beBrz%1k$qRjEZdyTC`9MLM1X`s1S=v&Y@~Rn z$~xxOhP9~YzHfJXcE6+vIhAvz9m}Kl#^;^3*nJhy{-m*^t#^@XG&#Z?vnZ~|q)nDr zHG^Wp(4Ci(HFZmWccjhYE}!L+TC}%+E#i)!NX}HAC&)uQ*xEX(=-UR>q8p z2V#8YZ2V_qivheuPlF(C%Srmw6m@wOdZ`!q}E#sfE~T-6L&m5UDxVt z^-@Et5YSMSYz={;H%NTzL{rBe;&Sg_CY$!_^jLM{xojxhn1Yw1mk`7F*bPNzw^fnK zZlYtO5H|Jv;%9(6_@6@X7?el00nanU-HWB9!oJYCHweO=e8Ag}Ug)ZIr`L2&?y!ba z6Cd!*5lD05aS}I-54$_eBnB;gADQDFb%8!J6*gn?S}njTyzjpxC|6^-aJns~xfq6? z1`A66{Sp2NYqLH7jYa7X3ktfkVfUx}B5SgUA;;T_>9R1Vjw>mlXP= zZ?Gz2cN>?O-Y!~gROQ!=B3o9$*!n22a?cTb28mBicd3Au@>%plw)+xKeg8-cXgXFEB6cYY*B zIC}+e+lq>fIxM8l^Yxg+d}}r|0?}UTtC@F+5)|1mb`04X#;N5es^T~+Aib~qq$mg- z3Mbm9pj3AOJA1L{LMVFh-Rj(WXH&YEQ`h-n8|~h$kaKI~#&6%{7CGJTX49oXyx`#7rSo+E}J>$)sOQ&Vr;6_F>KZ{rO!9%35hP_yCf8Q zz9o<+VqfizFzYMClKOR_^`Y<$dqTuNXG0F9FN$5uL;HJIF2B(UATOUp((|7tv+d65 zhZCqv%zDL*)UDsgr234HAGJNsSGmwh(O{yOe~~(LmSU#MRCdIL?!nzy+Avy1^?fU7 z*Io43-?Mw>B6oK4k7J-7q7d2hJKKc3Dok}2O7)aGwV&|#Tt~9!OD~7p%o9pCO1>D` z+jj5YjZM|?)tTVAgocJ#YHRMaM-*m{J75yn40Zl|tdm1|6tjh3J3013YM9?|X?mDe z<%aN02J&EWGro46{wDt*M!Fl!hjcOfcOI+Cm2&ydmRYXrnMmS|ef?Li6LQnJUmJhf z9q=+WhmgUZ-tEnLk&Y}qw2!g&^~Jl*syas*gP7 zl_HAqZ!I~)EU!8%$vXmz>KYD~Xw|0TtbgrqM8(%`E9hCvVMQLy98z0Yu;ipBl=2r{ z%Kwz_4J4GqX6Q|B8z0n6-dyx#uH3+2e$b~^-oP++X=&#pW+BcP<;xI2jGA3Cr4(NW zaszi?uTW0bFS9s1{4?(XQ?DX!-NBxYvwo@P>CS@}9Z1XXWb2yA&I*)=VH?(b7sVw~ zlz8|xb|(4NH&7weDX5y*kU^=f93}?uKksIg9eAFr4JJ(g-Pwd-;wRQxn31R?rmnQv zSY-B>V$sQ)4cnNeq`UCcw@nv8r1Vo~x87l*PH9e7*6WG4BYIU*({4~7gXg|8?dbat zik~M)K#QYxa^8y2RV<;|S&t@erQCIS6qS(3;o>rSJ+q)ev$+M;JgJ!q zdfuVoYyL`YByTgex|(P+l4AhJM%Ze$4zXEvLrpplRsQ}@$qxIq>)A#mUF~`Ow{G)+ zq=J{|hPi=vmkEtTaDxp>$F0GROfvgTpk4#tabbf@f5n*F>w(_&Ul^ zN%X=u@!<3|?>PSzLQJdPNTPE#@-&B@mx8QaW-c6No_|6bKJa_bDK3hZvG{S zYTG@k2>dYelQT?abW?u(XYb`c&6v6Pl-l(eV|{9v4{$WFbY|s$+gjiSuW_E`->S1d z5$Nj>hJCj3wsq?-##pNrn1HZyq^Uz~=SnU1n8st=mn-81bP>C41&c=ZYoG1y>fzZn zmZNmq2I?}4-RwR66(?ote>g<*(Zf5#nd+ZM4dOFCrjO~3_;D7#>S3|Xg!fYKRt`?% zKif?+TTS#qwW8<+X3IieV*_HmVMcCSq&j-XK_XX~(@giAncJ8S#dTV>7_&F7kS| zWurtjN&CyN{g23+T*me-cj1eG&!0@Zr*!9T?wck$;pjy4jUAmD7b5 zbud*)M2(A{@o*0=8(?M&coF3GWhOKCyUmz2=4|p+_;qi84kGiMWDkpa5Wa-(NWd1aN0mBb`?JB{gwz`9&R{F~h$43wDy%ZjtkToS8B)K;K?eI_C#`?M@*WB@! zmJK<^KAVi$sl~5YJQd|PB9&I5O!4*A=wv@|>Z6xCV|9*%YPl-zmA9p`|Mt|#zh@mn zn(n*0m=(Apllb&PN3zX`AD_?pMVhwWaM-~MZ_kZzi6Z200UBwd6%R^BL}NkqqY0(N zS_voL<7@-YL`RjFzIe6hJvktcisn;Yh9cA-P?^zjzf^q*efXQ0z)sMD+Uz{11o<40%Iwx2J>IxKe*%(^lL5=?o-;-2U~Mlqz49~ z_mCv$pm_}Fh8PAC8@srpKZd7fwWvgKxhlm^P$_iOpuiiWsV#*%;JGqSk5i_ z(qS;u`i(-0^p6>tQ-u|oAO|R)Vr|}=oo+so7(YOYFGDc~D0xTwo2}hJn0`F0HAY^Y ztJ?k@-E|?{2#@@B;`M}|0{B_{0#*W1wX}v)Ua{JF$fYiE$KWoO?pD=Lt7?^k>+OWP z@dU?h#Z2Y)UCU%6*RK^y7d-LNHE}5^SY@A9ycRZVqN}}4sZBoNSg02q73gFcJSojs z1kDLOah5a*x-xaOb*@aiiTz|^GeK5uF8jIk!zB{;Pmzf$&ZqI|nMQ5NQsHe}{ztTO z3HW~EGA>vaf^>rx(aJ06HE?o5Ab(FKye%M(42H zW${NKdRpuamg7d)vMZ_FsPlG(g=R?k_+2I~|A)jN9Wj2ssF0MtVDjNl9L4eD7}d-q z?ffuR-fw%m6^y=`g@uyq7a!LSMhI$0m+Zv8|IL3$pUVGXqeJ(5fePtZSshWTl?&_9 zv_QEdHA}UJ^wX#Xa!j))AgB^l$O6H$eW%0}lq30XrQYNLVIf=AG z$5QgHH#qoxyoiV-i>|DYFNEVuMZQs*VUelUb0_Q$Jp<40aM-F?7jM9mBwlw@g>w^-c_!3i&uRP4q6D`r9{-i!w==Vp$96w_a}WpL%^yGPgfwK=alq6X z^EEoekK>b#C{#pifK;7^urmD-#Xf#@LP=vuIzC}g2lKloJTypJtwY0X?cDCUv zY;0g>>(7a^KqgC#TDopa40~nkhKjyc_zS6n(m=+{{#2?+_m0bW5k6IcDl7t?Z z)9h0fLzS(ap8h-t1$G<-tTu&7KnM&)OqCH{W2b<2YLM8X+S&2P%~yyX2vQi@;!7L~ z&Kf~RO-jU~-t>hA%nDDhkC+p~ekAz(Y_*-$sH0x1JQ>^T0|B)6kXMB}94 zd5HqU?vV4yW4}+7%g+s4-F*_Nf2f11499W`As-!FbC(l#~g7z#koDP=yDKe{K)Z zD9rvb(&z16FL@AtNDVB}kMDy=Do@FHhsXO2nq)!VeR}Xj10?#umd*VH7@yumfC{-m zg<%hdK$kTWSgJs97j*XU0>6&wQud64L{QFCB_x*MlpF+8ljFs0``#(@qXpB$bX&HXB4{?t>g3)^~hv!#`pVohqxxReCM~-% zfOg1LnEP`HHYcQsPp8pS^ktaiKJrI{i2G0mm3c@9fF_aO!%cW@^&H^})@ERaPCKYW zRP=CudG;^?6!?pflA@0^G*^qiToeoxHlZA;7Jsm-Rj3)&BOl+>Hn={oj(KRkAv3NQ zImoO~yvt!d(($rK4{awDAD@#LRTW}Hxzw1g_q0hIvCM}b`R}tUs%;`L))d$H_kF&} zWL+1bJ^W*m3`8OS6%zoaPvYkK`76am%L!GdEY)M zIz0*cag5g$h99P?Ohx5+T3|lH1cq`mJ2wNNMNfs@{xNU960#41w-$yzMZFlE&0<10 zL%q3jcd5LAf5vGnXJqY<@^h}Yjpg+xZ8H$xnYJ0om8r!(d7ND6t zJZlAiUhu>*;-UkivJ864Bb@McJbfJ_{faEB@%SX}wKev-KwxK7GLO&i59shQg{Ux~ zXNFHz2?^Mau;W8~gfkTRrV5!5PO5I03e?;${n8Yi*47F)9LWqQAU+FR_)Jq-%nvP0 z{W$a>Cr{8B6|mbNko*1y&%e}+#}EEk!AmRcYR1m~K=D3n=K^DTPZKb?Bxoj2QTs=h zT5|EDuf7l98x_gjli*kX;46HHINp%5qD+0(dXJzfgzhoA#FMHWlk)d0hNk83)7QCm z0Uh_4mMqw0OgSO*Uws)Wt;S!FBwO{rAes4SANYnQ)FOeSHK^`5vced#QNdHKPa0Yj z+8!{*E}rST5Hk1f$23pr_ZS* zCT2oc)vPk|84)@J`Nq7^L{8}=m&!!6`tfz?yfd0OaI>LBMjzSncegf?i>CrV+>J$d zPj2aTKb)GmBzgoR3E`-&FjCUwwrIC4jD2sYs4@{Nmi2Ak0wNBM3yaIj=ImJYYxF{= zlG^e#vFjbY)y(}qs{B)3Xj~p)tw#QX_3gIhFX7(m>|xtCH_&C3YYU9qGh)b75Jev; zmCMN*Q(CSOtTOHh$e|6=ifV*%(oG&BRo=aFDmfliAfo;=LNU=OWXiO|k| zaS!4{28!^@6t=5Vclse47Q{N>%!|)Qqx$=su6ArZkZn6)a^6?v-y#Wl&%ZXP80H*v zW&5WZ6b^#X`n(=CM<_VqN#;0-v&8;Wd*rfV_V*Af-rEW?mVpz{A7pc^dt78a+pBiC z{p!M>F0G+k*RE9wU#Jq>paeds+s+p@#7>rE)n95QkX*&CRl@u|j^lmR$G6q&tg;}@ z=ob(f+*8)yKDSda(b+1)-nhHe#oUj5po;W(3Wz&5VAe@%vqO=FLO%;h+(v|=9>OvqIgRG!(2;}R3FF1IN z_n%Y8;{W@i1E6%E-a|D0d*MOZe-E`A{rBR7uKyfv|DRbv`jrk4tT!{x%bu{$T656L z?0Mv_E1*9_1uT#dg-rUp9?E~0aMa?5BIExE`VQUz*LO)?vFFmDzaBj~?AZEq<6h4M zOURO|B%r}gxR*Y}Ows!?G%^O*c0R5;?Yi33&9gvnV*zUp0{1OsFoaN;Tfq4VYk&eD z(<_n}$=5d%*S{w+KyD=J_`K$jUej6pa0|27^&!#i*2xz-3G9DRPEhe=RPH((w-LLI z1)?T*f8vZ82CyLdAWNQ+K`N4R8pTwgZasUuY^m4fShgp*G~nF=YOpl>%g_4Gb--*8 z2XQLU(pHj0zvkXO!J<#T`aMm5w>zKm>+S=n-xn~xPply+RmtfX(e3T;zoqSaH#-NH zoIq9(Q-JAd_9}MF2Vc8a2!_p=H|G5URM4z1#|EC8+`=(M4@cn}`qyB;VJ-RSlFybR ztV0jJ<#j&KOlA^NeKQ;sT5iK-i^tFkN`m+>p?aff!hC4b!a?i3I+3b-sx#rNcZ)|I zK)f-vq$cXMUyId`!w@0Ncb6i+r*Yc#LCo%XL9D;i)1t`T&jOWhpb#<;h~HtvrppgJ@i70CD-Fi>!YxMN;R=cd};t zSOMT5tsO;?N-GcZ>TK4k6lLL=N=efLo{W1i{ikrFIDc*Xr0cEzB{np{Z!=y|3e_M zcUjIFE3$wTzz?U_?llImmi4))uCZczHjItGc0Wx8hi6dNa%h4u0uarJ2SYNfnmX?^ z%98Hzi2CNh9Q>kdxK{Zmah|(wV>o~~!&LB))%%kMgQfR^3K2F#P<1CK;V>A%;g7aY zA!f{9=$4DTYgP&F_F`!#l2XSLMb+R-LZ)|nh?IAIBt1l|(q^YpfF0CBQ0&UXI4vYq zNU1 z3GR1o`%13@me%S*u6$p?icamnZ3Zoo{g=@K!c>^^ggpn24d)Yt_q&n|n`(T&Ww6A} z4}Uw)HzZ)I5%>@e=U|{_#9mJR#3)&gI*}S%JGg z?FOtQX)D{c4SRZG?!Oq~LYO5GMY6jYdmtLTICcvl%%I=W+qQpqO@3ccw3np6S?mLT zc`(7mQ4>sZdkYT&8N?4mg{Xl*{@*S^%@~cRUnC;ohQrP`sBrmdI8IHV_KH}nCQ*)n z^SDU*nxngEm#u03a~(p^1I8f`6GVMV;P$#JvdN)ij|H@l3M~GRn&wmyx2@p4#&oA^ z+f?YbEf;tb4pct~+r*UR^`gK)=fd5IY~+|@E>YttGd;Xdo=Opn6UzIB24Q`3Op)vv zM7*?pU}dfL+-L`3Q_mS!4Q{e;WIZ>u^{hayWt)c5yN#h|Ew_}a zGok=fztFcpj1N`PtPFkO6IVikd_f>)Hn{+Nqa@Gl z`r0o2Kq4MD_3(CjfXKITWlb8V8PIJE)eXywlL2iF=;Yntb{$cFcJIf2GT3_1W%ikk zt&K6D#~3Pb$#~gGchPXm{LBeRbUV03$3_d^4i*q7eFm!0L`|`+NoSohC;j+-Dk7~P z9MOb9RUOK5=AShFPYDMRk-DnTbJVGXgObSG>kIbi-OFn}xndm9l4pR4nxU;+g--kX zP4We&6rC=G8H@p+JDj1QZ1Em2FCgP*vfd>Kr& zQ%~Pht;wdu$?i;#PUiqk>~i=8Q4bi1Uk`wAQh1=E5f0~Iqd_HeUOJ*fizLHA-(XvUH>-R64_V-pFFzJ6WwtKQL!MED2*%c zsIUoIwfznyVvoaKUq8nJ{Q%d8K*X~y`CkVTSFIGC&uV$w`&X}kEXv?Y8_2Iwt@-M5 zCxzbWmG62tzgvb|`fTY=(orFGoHps5$tRSG5=%yg!s5POoX4Y3mtjr)w$?9_Qrh#ne$*^Ny@jGMjbS?Y1LPNK*#@8g5jxfX zwc7o!lmgTdtCj3|yE3ai)Td?B!j`P8tP;S>XY!m&VkZPw<)HcvFEB`fWIk~1MY4CM zqL#_=u1XhUbjESFnJh@VI8h|~69!4_iHg9Tx~gT4)xeDB2cI*r({o`;q&klRR>re` zet6LY5ZmChCm1TZwO+xKN*b#)_9({eP0~PfgdOK~N)fJ{N@h@1t+Z@M0F1;&5sWSP z_^u>WB~}MqjWllxo}T-O#Av4IQ_Fmz)bxf?@2Ixo*IU2(Pr{a^8k_GD? z_0Nrl;yV#}iW0wYMcUZ^v;TPfIO!ruq;{d#bT(M3 z0jN-X+L1hTJXgcRAwAbWiTd%+z^apcPkW}H7djz70q27cGJY!|ID7jG#$turwNC4x zL>#`k2(8xy1LME@A|IEPUXFxLlkv%!U(PRJ)N&R#_LblJf<;hb9PoJ%%>ze1P<*yslrEQSo6(LVodX4eqQ$MgImS@^- zO$a=tWCT)4W_zQ;-A;yt9h8F0L^qBpH1_)SPS_y(48Dx8Yj zzQ}O5nA>X-i_6fg&s{yP-+(3PYm&1O68Z|5&gpP;paldjmpYPzC`-#}?yK^D9!a)N zM7%h#li*-taJ>5|QmU{f8BNFtrxjoX+s7!al3w)h{k4)!cn8rB2{sHpk@~Rb$M;bv z3$!@zg_4)~lo$1Mm0~v9qR3`EnHJ}xGg_+!6VHxHLlyx>sxD_d`4p#-ixY3DATp$A zGXXGjoFzHU!EI*x;=Rb1h$_V%AYY|X)XfLpN28=@S*f|WBII9gm3d0iXkf`xMDwod zd()jlTXEhV&8Rej+Dl_fow;8_+SI}=1J&aQF5U*k-ZrJv-+m=YmGs%KB`&k+tOMrZ zkl|8hvR(sX?49;~j3cKT zubQ^Z2I5xaa^L%wj=JQKc+6f0-u_6!nYxT&PuDlb7UoX4nY9o#*gE;l$G0uYEV%lX+ zTM=M7OEXz3D(kXF)SLg3b3gL`To1>Z##Cmy%k*!xp80FVaKAbr&xkIiOrEbmqOHaz z6xmW!6J%d5d9)tJldOAX0LY5ud!vRwsN4_hha13H*Vw{miK4<=<_a}` zC?R`sp2-n&$2$!JJ_qBG$3y(jB&M;hi!yW$V#Cu8xB)V1rrj^DuacnWfDL>pSY8vh z%rE4tG@XO;8_Ju4VbJfI_ei6pr8@l$Tm15fps7H(cdg^-jP4gZNPl=n-z{cWQ_6() ztvqLVwbB0GKGn98Bk0B+3zC$Q!uNw)S?rkcrp3X~GF|l~8Ez!)QQ504b#_+jp6q?I z5%1@#jXb~;Tgb=vtTwma-Kfref{10pig1raoG=3%3*LLhv*bX1hr_)sXf%QzpBHyz{GT%2;zc77&P?1Oz2h#)I zc<#20^%XJo#MRFyp%x>*=8VKMF$SP2r(gMit*n$CNvi0MEaF(4V|l<#eEJ}Lh~J=b zVdFD5=v&V!61K=JU2hrsrG?b4pFII9!KJ!?#pJ#Mv?Y;8ChL%E++jwbnm zRS}q&-B(w$)^cYENE%lG&sbk254~9Y&0nG(A?lT;i9ICN6`@^=1N+p@cUONY*E?tzr!a_mmNGkKPwuSn99@~~4tcyVPRw+{I6d092G z)m85?`ouudp~>sFiD13FIR$wr8D1}9UEzsM+U`*AU5knBx$5l4YgNox_3SuO&qCKV zt1>KMpBpFi_>OjRW>l)&)fgFUWwl~NM2iVrbCVx{_13xm1>@sUGtxa#3;FG(??`n{ zv>Gp&noA+e?mS8X_?j%muo96+UfssjIFBiJ)7eR=?L*SW8|~$g*6xBe=HaHB%2w}f z$9{HPhNN7l#a&Z5A_0|FWYUz?!JL1)2cfc10v(%!2)3! zd#m}Mlcd(R*^r_>F}E~36IJY?v&;PP^WVeJ$@21t$LNfYkF9TF_K0ZQr}-{8+4ZoI zHP)t?q2HqT6DkN*tBW!Z%Gk+?g6`3|#4-hM@BJYV$sinG9N&csUPh_vx? zw4H|=cOK5~G{Ud9i9@&bIy|}g!rN;G>4E%YPzLXCTPd2fol{*Lp|ut0w6I^5S-vK< zF4T^?nUN1UqjPeUycu4M&}&km)pbutGyQ0Az`0kRlB$pqbkLn#>N+kMbg!|*l>COn zfIXKv;`FIdg?i0hxSG6o=9ufl(wyPT)7uYce5w*+FYm#2a&7qhelyQ&>!Qh0Z-w7> z6Lhe4H4~%}xv1Vm$JvD4BKu^d&;7o~5x8ErQ0LV}Bxt95=sBp!XX_f1GFe;d-L&fy z^#As|_>F5BqB$UsWRBOEr5NAH<0;`u)VV%CJJkCGN8uAm_FjFxYt0O2m3wm8-x4aH zFi-@wgdRoN=6GG@Um#LnT@23Fj3rnSn*sOkGWue0h_uPrL#$Ge_=#;J_fhE{n-Hb7y?=5-il?oAxyyXHS1+}N?W)scxELkj z6<1E?!IEjaZ5|pm?UhbXfwnZlDgs}T@}{!UsBB!z^T)9^9Cqtt;=8ZU5b)7X$@W!c z_be4mzzS!!tl>JV$}nx&RhRT`S%9UWXb8^wz7xB_DpX%M(R-UG|1|3t`nH=gp68nW zo=6j^*Nt%&=U96G`ITOE$1*3~Tit}0-a~&@8b0^GlZ`BFcVMqS?HqP4F}Ym^MMs~#oIkBMOXb~a&`oi~0%Ob?XvcO5 zXAXplS+t?sy++46{^?tt7B+RUV?%#cH<2uJ9wnpH1*a|nd+@jCavs-3vK+MOIZu$K z^$pHL^&hZHkv7kf**_1cPQMo`t|#>U;cV&w3k`hJXEqhNmG9(EYUIUqp&Co4tFcp7&El=n) zUy;8Rl#EA2$JSqAgkMEFQARq%BE(<$nET~D$sKvY5pzzhQGpY;DQ$$pl7YbT#%YO# z?F>*WzT{!&AhSxT!0`{*J}D!k#kX>opvn;p4~dI++q2b1cZauGS2|!4__f!Gj2xtB zozSAUUlAePmF7iiIxGf6T$`A|lA?~)50+H>p40t&&V#b|qi?rlCrw3eu2tC$)A9wK zMY9vvhBq2IAE`w+&(`pG*o~3SUa$PbW5F9Q0EkO*E)M!X^B&FRtFXAivzoH~vBaY@ zc0J8pcNiiFD4jb29MoK?BFhqO`D|S5)LCtIWeHC|N^KdJKk zbylesJ3v0bQE{x>BH6Qtt4T#k@lR&t$)^#8zu7xmVsAdC&(fXrN!b`1t~o!~(Txns zFuj#*w32I~+F;eF!g=Krn?c}uQQ6X2m*n>fEP(;U7V3N6%Y5D6eBU1teG<4XVHw9c zwbjA{TfM*kJjb1fL3H*0R_XNFJb}+rOwSjx!pEL*CMqpO#oo{?dpFFVLIO)Dz+65MzFV(Ls9ZK6Po63Qv7UtW(9rf0GGao|fMsOYf z`sIr{vPOfzokyGGUQ??4qJ>Er`Er}FL_2iD0%eC_5vE0-`=K51>SG?= z)fe_bBWBpZZT`7z`90EMfoEg=s_qTzI;EroYx3{py_fAhN*@QTf12ta?tfeOhy5j! zn~IVC{n&>%d~h}!K(hi~B|a7NbD}5kBNtVjJk`G|a@*fIhk_96@p@4SVK{A}EsS6- zOi=Us_Ro2iuInEbd))`(?Ie=(<9n_T)->=mgw!g?%2>TzPlE?yO|Yx0RJBbJ0A&8a zE?lN?Q$Gi*TnnAeVVc9UQ~YK^@p~!QBu0~^aF2Gk%7wQu^pyt=A{7B!$fZ8BHe=`e zRzkXw*LjA0tw}*+rexvTTiz}=v6^tYeU|!XTd1-FUGtNUS;5=4Ss%P6AiT*usjQ-& zc~zck(Is?^_S2V<62>6|DfTAZe8P%fC>Jd|*O&9+miZ00Oql3a%e|Nq>U>|FZLoY4 zy0{{8ABnDFptShiASTXIWKK>mvRgGUE;>}`fAM{!Xay*bdlbNVgJ1FX^*_p84#=S0 z!H9pF^38xP>CJDxoon>q{Lcz`4{MFF((@^koEp!M%?*%SV#;bKrMjQ0saU<|TaY$5 zg>UA^i*1*%lqo0r?tUGdJr2nJ^m1I}Wr5+y_`&KPRmSHo)*4ncVLS$WRLYU2SeeZi?yfD2Kngt`Pt>Z_e3t%9A}^d9Mo+t-F$QF6Dp60J7Z zB#m8i(*Z4b_kYRS@4Ya!S>cOUWLWMFw{TdYO#wGv%Ol3#*GQwSYw zzfUTeA6?)qs`5%`eF=cY5$5X*nW!;+>4=aeFL;N^`&lHJ>n!;I5pvoQ76vGW1~DV; z*B*ZrXOBzH_Bl^VVpBY)`+a%eVp0!Ds(G`tb!AT5WO@4S7C_QqPrnfMYV9MtDazC_ zNB=Tt%m{i{hqB0tyR70pIyDMU{Tyxf96n3N{{TYO!~P>MI3gs-`s3qAk~n%o9TpEP z|223ig6WLxK9&S4lC`PskQ7V`xh4Q&YC?E{~FnYAp?pw4L!Zchd`Wh z@D8FGlL3atJaZOi2;WOkZm;?1|B&E9N19rn4IIw}dDqy;fGvZPydeQ7d&tMMtEB&l zzi)GaNhvvkp?~(f-f#&J~aT zYp^sFT3vhrHuHPX>r8BG-dx*F#nx?CEr8HO)mUXD&!*mKGUK=6$}l&qT*;FG-g`i= zIkLdj)F>-^1^YBtYHEoox7WlXj@*#InFS-*YTyP2mRSNXCrB{ZuRZa0Z6`jA=R3}3 z>yXS7P{PpV5{&6`9KiNKg2%+#i@he>J$kt$!~45rtpnwi0kATRPObZY3miz1nO?^0zs|7pEL_gnq}(9jGDp5e*G6v6Kki#@cSa>mo|e{ zr$+B|&g%A5L5Z5WndVMd-t5rPz(ZI7FO$VD9mRB(5Gill9x&dm@jXcCY+xXnsh>qb z-`G3*;!Ux<)v(hETumdD!s!Nsus-##@a(Q6*0dT|pI+Si%Z z;v1#ip2)ZeA+d|tNrcT|HC;4txwodMKZl=PfKbjS)pQVXk#($~QEvJxn^nVkjZaeZ zBBMurXTQ*KnqA?|*`w|k98=&yq!+X0sGx4PLI zxee?%!i**-YoHxY=B$Mf(e-(qcG5N-;OcFCQ#|Ml9-t58)x(RL9UUin#S?!R*KpP- z;B@kgek&?Gu|JM5=tC+CZFF7WK*R2ce~##;mWD%**J`7&?1Fl5_B9J8L_rK}$M~|A zub-UAn7+n-(724t5a8*+52AryYQ#oEy{=A&eUa2>)eqz4p6zK;`2-TL*<3~IwRgR^ z3zY-sQM(w&@A-I;0D^dxqCwfY#=Y)v}Jh5Z#3pJOA0*?z)n}^3M@dg(~37&5QiilZ5zu0xsDP ztY_$Plgy?&JV#!njJ4!Ec0`nu^cS|mI#3G1eFKJogKnLWbcAI7e&HItP*$qn$l}w0 z^h}b*WtsQhUg~@%xY2a}rr^0Ike3D3yxMO*ldoA$GMnV+9Wu9)ddho=&(H0tMFFQG zaD1cscBJQCcHX?WJujwwS++c3ds6)TZS7h=QHzSl$6M7Wh5ce4vK!4%Q2$Ha%IPMD zr>k{JLSov4&Hj(*C#p^_w4y3j=WkuJ{BKP~)kQVV`yIb0?dW&{35t%{;Ij&O_1e(;d*O$@w3tL<#kYxXWkp#e*BweQKi<)g=6M|9Qn9Tcd5CG zoc%)2TUDk^JOn(a_`IumNbDe=ELyw7AjYGm`gm6259c+x?Y}e2OaBe~^<~e}p7(6o z_o!4vcihLPYe_xW4ABuK-#!;y>GOVhI4&^}exZZ$`Y^OfQ`E(T8#J*pvj1E?vI6RL z6qE1CdU?8a>2)Xu_-@nV_>3Z#5V9lrA2sQ`08rTZ|FuZ!>?3PK$)^wt`8#5~i&b%Hv6fXxe8TcQ@~TtuVEObOFrY#c5_YjLB|^OF}x z8$4?^7xS>s?ee!J^??+^nS@W5?v}^0mOo&s;)@EQiF+8b@%qF9ivlhKP;BFN`%+5=s^OPzY{X0nG}31SJ8lx-}I_BgL> zCYa}!+$Ggk>j*g4$DITN009a=2G$Em84C6VKB$u$sK5W;fhhOy zs`apdE(L-3T^C~2vfYDl&;UoP4;~iK3>I2ZRH(7j2e1EUKfXuQFM`f!bCH9h)LY5- KuZv*%e*X)>Npf!h literal 0 HcmV?d00001 diff --git a/_build/2.6.2/agda/Trinitarianism/Quest0Solutions.agdai b/_build/2.6.2/agda/Trinitarianism/Quest0Solutions.agdai index 816ddff2d6a9a69e944acda5f06be3b447c36516..10f54e51edc3fb2e2a6fa08053982a4149d84cf4 100644 GIT binary patch literal 17269 zcmZv@dpuOz|3AL=-gCn+gGs`$iRe_K5|QkRj3T2>>EbfciA1PSa@o2FiJ=Q8%2bkW zE+>^DMj^es$t6-Qp+ZT7a{sPf=l%YD{`fVIhncd1<`cGv$ckY4TIX5dn~qK(M-O6$P8V_{P4LH{Klhj7 z`LEv_#2Yba>feOKHbfG@mRte>b0yfY%{F%;Kvxqn(BQB(wkMI=nh6~N8k$F`oxRh6 z0Z)Pe+)Pm)LCs{iHy+!O(Y77NW;2X{bT%M?rkufC#v*A4QtbrxqY|XjOi|p&539OY z8u}miwM^c57VCA}K4KfY%K)Uy7<^%L5vB6GjODwCsU@#HjBztLN0fJ-&HDI_C*^vH zRBrA6W0fj)NZyPuG*hHxnoF>WADfO(BirouGbG>a38Q0PNVJ)HTAs|yN|q-9_}uiv zwa8H!;=K#Rzs(BacSV+Oxk017lzsS>8L%)93^s8Wqg7m+&&W-%N4BFkzy z{sWQiW76J!L!{ikG8Nx4CdE8o>1|S>kcHgv{^9Xbc zvjH`4Tfola;6GW*WDLS&xxSCCAS=UA=QdfFV~`usocED|mN@wclz9crlVG*ZZDBm> z?S0rYjF$1}6LNGuIJ6{8k?Vqy+RKh#4>Tz`qHfHfnYKNJHY)-7ylL+AMbaH%@o1UbC52kJi3E0IntU$I0!81P ziTD1bNFkER?w{^krZSGrj7Q{4D>C{W2_Of`N}=RU3I^}wp_Z}|Y$$N9o>Evyv1sO%MZLgch>yBq=&`7F{G!0TLu9GYgT= zJKZEx4brY2C6V1%K6)azS-_^3&5Bq(kHPzjcoV%SnSe@y>7Cuj+z+qx|cD0mPoK=u}3!{tlR3h z)r56!WZOm`f2nxOQHMtB-osS>(D*gy*wIEgu8+xW6=9tvCFcQH>EjMD@UfyWHKHA9 z%Gjb{u!wN_f$ZafAa}U6j9mVFyl#sRLs-Y+zFU0)S=rN47wTgfL@n9pqjx)ci>)7^ z1sLFU6IVZw3WLpgYVMklqxApkQ$nOe_&f;p~wGL^AU+M8PLL1f!H z>4UgY4q;?_j-|RTv3%~1t0#@97?dP1_euSYVyBTpeW5-UXHJJ6PNcK1J{Bo2c1nB% zb6bEy&{7FD8DsZ_&I(!(^oJz77L;iWSxd#C=pB(8=Dne0n4ib1>jS_ zuj1shufsRTJoZ6s#e+kkdXnrZl(x6dhSVNf*Ylz7>DA||+u$N$F3L7q=~u?1sO-vS z4Jq~1ljEKR6O+3V%|31-oN^J`uIx1k{~O<4q*jesRnmg#NAAam@+H|fNs)Tc5|QA6 z%GSK2qyE1_nVK44F)I({_5{_bLyUK;9^`#s21%*X#WsLoZ#*k>p%#L0D&mDX6*8(ixwrETxq=qzYE}U7BPH z>*`@(^r%6nO}~A9i{k@zDEUH*ovWNT!Dm3gRzH|dMd}ZPk$R!!uwBmtFzCTZ;peLy zRJI6<8#RInKRXeu=uPY;6;dkz)Z6G7at2uuo<8bMIAs7@%K8kbccPQlD5?n+3_l9<1sxFCz6g@h9OPhr=J{WJ7+&g-zRe@&0z3hU0nRw-z@ z1Pc$j@o*7*GugP!7_Za1Y6a&n#8WR#qN?j6r7%uQJt)(OW-768uIH)abs5=_Fqrk> zq+k$T*BYq*HFJ_`l!TF&CgoWw>p~E7v2s3JzB(%X&|j(G2v0^Lz-ZG?DyS;e@$2~8 zNosD$N!S!X8G6bjWBW3o*0y?q3=E#_vXBK&P>9QR&8(_LAnpr|6~x@kGPuFuy_o@{ zWxFv>J^Spw##ge`UUeFSXLdq*R6m|(>@o39*$e`KLDodof1K9xAb)V>>oeNr!D zt&^nq@DpuP2j=CyPY#2X1H>Ngl9;8cROq~z#X(>uP_UJ-y zS3Lqte0&BR=9l!GevHOx&{?m=mtY;9ZNCjx_bo?e&t)9ZSeZcQEm7b;OR@#go$pgC z<}T5sqK2^t^5M3|dRWqyoPn+HfEG-j=`7V`+il8=lYXV`^py#WeUgpaWDg=M*5WX2 zr=zToRi4Po0aaMh2Fze;f#pmC_P4z!X5T=Lq}#8BTgk(%^wH=}ne8**2-Z?bLqAbB zaaN+f7eFCRo+U#K1NgJ@Xw^tY8SMeU|J6)Wlw}_0G|KiNdlq;7ee>vtCjVy{P0ZVFH`;a;!Ik7j)h* z!dt?j@IC-5bB`ghObD`}vwIXzdo3$a0cK|vqwU}n4`%-_t zE__u$wX=(!JO$V@af&DMH-kuW1}k3Z!@l@6ReM}$tiLaRMS1sF6v5=E%A(={i4~-+ z;z7qd>pPW*qy}*4_>;?|_JL{lQeEubj{lB_Um_c}{StYT6hH6WL%csv>No=^6?V*0 zV^TaPpD%3urMv^F(CPc-&<6PScO!iatZ1=sK@A2rLdLZ)RFh4UuUBp8?EO_T#36u@ zs@+$P`Y3|9Vma;r;~#lprvqiOGln*DxC6U=nY`CXTrrb^L(2@adsn}&ri*1YTGU`MoVvew2Fbp{TN{5}EqAStI-rOGy*fFfN7opWi-$U9*Y{gb0jluKNCj!`h+9E-k z#Nkzz_i7Vs<&YQW(P@vX&mhqSdIbmI z>jQ<9pK-4ydC>t;s}9Bp%*Ey{zZy8#3*orjUw{k)= zWyr>YaDWu6bDK&iB1MoFn|}=+M9hr>H5Do$BVwm_h+v8E z3}5QCEt*epf=_JaKfl;H}1X2fLmB8>_L8gOhmRe3GB z)ltQaA`ch?Z{l3@8QdoAf|ZEPK`tzLmav)T3oKHDje50zg;%u#29wM|gI^_~;1P16 zIU|@R`35NAnhaJOkMOpAzlC6)8Rx%+teQJwdS@Gp)%(7{6WCa&aG$+Oz}P!&YZuon zuF<6GRU4zJACka3v0QgIghP|g@|)R9gC7`>rcJS=c(X5TnXemjs3uSC*`qy#cjAR} zY=frRuw`k2Ik@T4PW@MFFIp=6YJr+M5Xgb^piT$ydjBN6;Vq13h(ZeV?t@24*sc^Z zlsCa=CcBKIK9JQrcJ3uFo}`;_?~8*iAv?Z4=y(xdweeDF+{KZv$5bxb`*?dD zQAwWdSD-k1_UYtgm77gs!IsknudX?Cuf4pkX{Y1yf^TCPSGb_y6C(R<=Cg~KYyf{p zK2KcG;r$ppG>j4+`b{$A@`HxGBL$yo*OsGMq^@a=8>=g|dhNrx2bO|E!#YIG`IQHa z@mR~MT*Q1PGIebGXqre(#!Ik>k!ru(|4 zMM1T|wB|+DIfsKx6(hQC@7yK}WVr>unjAI+i}2w~57ev4#*|@A0xLc`>_%Ye%MWTv zJXcsS7Z&VAxCP&V-9dV97$Nc}sto}TC5I6L{mK?J*>obLbQvjeWgE~y?@AK&@V`MY zdEC$W=yx(RJat%+s9q*3_+mY#Dym*4C^`}>)7!C0$`g04YSIUM<)+K2GZUF`j*Ot` zXn`Ywa!^Y8P6BOV2%5ZNZUXw;d-NYGnY_Ht;CGy-h~1b*?{`uXj)*s{DMF3BGcLQX zElLm8qpZqj_8un_WO~=6&K!m^OQ3!q3UZ;Nb`sja+a1#t%_nL~5?WDNZ(C3OMFi5j z>C2HBaL8^<1@~@c=(embQWKNUk>z8C5+sX7*jAS?$=Nuv3)pSV^g|cXs!KQm=~psy zUQGncnxf-%L7wGoHpc3NF_6b$ek#*lxR%`3)CaqlTaS99&yd{OnJP0`=M3wt9e zR~2k1*or_``3aha0jp^WNrrcViMBFQffIX`6;prxJwef|I#xiA-azBpX1`~21y9hqEp7$D6n$y3P5Lx2cMF_PGUr6je zzM)Z5NVLdY4{#>dSvXl>hwkg+{eSkjk(t3XspPfrhve(>-W9!Zv+=+=LH@**;LO(^ z37cT}&4M%Fv!K}Z-g6*IKBjXY9Y{qFHSxs-n|(NhD3TEVphH*Q*ODOlbKu?qD)`k0 z0WuQu=GqDq7J+Piz-SQ7fMZv~!E#G3#Apa7P*^Z-D^vq9NrR7->sErpp+>j0hJ;NV z?}pk4RN&+2V<{4HBwrnyGn!JGwAK^t$LkPsZLggrd*M$7a46IazdE))5zyenW*QhW zAS6IO`!T@t=k=SyM=!8O(ZFp)NW7g9vK-@82bZ}T0Xxex<}_~I1+x6_x@}~p0<>G< zqC%EJmZq(x=6XWu?s`YCuZQS~O`Vy7;n|N6JIk}?D0jauo;?#e3MA**0^jB1^4$GA zJo^fO$XZSl5^0Zyy-Bo5);Cd)%sju!lFzMM2x1pr^+Fl9lg!VWpAA)^C>v-I#D)on ze|*WFB~bgt_|;3@%-eU>UcIx)d&Hfz~KHBJ}`Xe<*BVf?9LJASgf9- zl+t$Oa=z^YG87ro`9+1`o(hTz3qDqT0IVKrf5&s^rsHzoEXUIu)AyV8uWO&%zOH>u zxk>p@c}CT=PMjEZ*8(NsQaVGuecPp z)E-o)9Q)b(ZMEU$=IGkk)>^j}yKTSPH~(E6UmQI=$3rXZcriIHZ{m26J;G@+-y-B( z3XffUq1oDkS)HBYl$*7dsjHCXhOsmtM7PNmK$wf^j__b^X`{`x0kYo~%&nMo@T(!~`w-fY8{uIxv`i{#u{pOAzK;Kvb%655vK;^{f1o9^Gb{va z0~<0X9v>Msqhy7nVmJ=VttUmoWpsgWLJ*0L^XDj%=(~i|jcjqWM55p8-=_&m6M+^(LkPp4F&?7~sPX z&!i%{LDPnU2w^LLTD8*HJ-h0huja06efV40TS}P8FRhqjc&86VkAXv@niN_(F!)|0 zC_HA5BGfepp_gB1RKtXXM)b{mnz$}8TMIihDg)hcA8OgRzF}R%I;#pOI2sG!!Ur-n zh7Tb^ff{#gFdkQ5w3SV)D}|3^SUt{Uxet64vwR}G$=dH?#9@fGovY)73QVoL0Zgo> zXmXSFgaX$LrV=dxL7HR-#YdxGItmwf!H)hmp3a7ZczID_!4_5#Ds0e4swG!+M^n|33B^bRkXhLr8>8)dCJFauTm~$b*(Q#CE zl;5@WRUbpp6AEY(nq+3q!(Y;l8cfJ3G7gv_8bzR;Xb^mNha!LAqq`E8Q%KYjpByDszx$4~VR{k+W$%|^j z`mnA>a&|ap6gEPQM5z{@kAUTlgzzq=7Cv8M1;j+FdUXIRTuXz|RX1JV z$(7WGT<(i~jAW6SeXHG>f}S6P)5y&ES9XI%qY*?T3y+!<5|6Y8hs@a3S3h?jtogzG z#U?1TToZJqiW_jaRU{36^0HP-hBbN#EO*1a2W_zlW2j~n8NITL`QC`o&%J1sUV`K) ziaR$99!B_%@cTd5Ne-?Au`|1lq2`8_ca08ThXaohC9O;=&FVnoh`1Rp@}$H{QT%h+ zL;&$PH}o3dW*}XuT&+rWzZ0CZnS{MkBC^juW=`IzRM;VA$P3yRjP8YOY4>@i z^c^w;Ho9S_C&Qq>3l(ma!zMpsDIV)EI31YJD(^F1^9;kg^wH#>dK2*Zy39S=txgSa zXi|qzio9H^3irPINW+*zN=j+s&X0rZq1-)Q&lD-SPk~*_(TG1FfxjmFva%Evm%kcx zM$Kn+mZa*rvEd?Fapy#LE@Pj4m8a1fO(q;+h&w|^XTY5fsC}$j0xbw4b=|G4l;KV< zD>atDDH(LZ0DDv&?lge@-YE^(m7JX10WBzI|FU3Gg-D)W+ba9Zbx*Va-sR8K9XT*+ zK`k;()qV|a`UH}T6DAGeqH*Sqm?5a}L0~r-HR%RNR8q_8;lMpocgn$v15=9M;mn&1 zqPmqMXi^%5&$MLx4lVJpgivYYJ9l+Wr%pmaza4iRcAA`tm2gV0@oy=|5WB68Q!MIe zp%HTcTI5M)TArBHJuMYo8Xw1We|N;{r(0PY~f?x4a%EhR;7)2bVfdECL5 zP~YUq&D11?9o~HyQEdganbYMCU?-j8k+4(&EH8xzF1c=Zs<(EBy)~r7)B=2GN^L0$ zk8lx3mrx{`Qlq-QvW7`)9-c?G|4dP8WL))n?hN6He z)x}KB6V0128ddJHtvbbK}cN@PL=ePYdEZcXXhDU}I}!M<0ej-_WN zl}BH8l}e`0Mqv1p>oG&5WJ*EYd3vxFOTHuf2|YAvOVsS>hR2Ty&Y%^hHnD2dJ-Zf( zy**fpswtFR7)%5FgPyCW)M3kMI?+d#&xX09`p$9`@?;^tb4}M21^QiWm`kQi@tvl% zQz^%({&eB>bi@lDO{M+Qo!~#{V{6QeHU8{C&VFnJV!}uM#=n% zvcY4owAM^9X9B*ustkbjoJw?v_tjjjHmewxl~k1T{R6+Qw!Gv$#-J&(dwPYQ&FRhsM4{88&NfL&uN}}iJHa6 zUx7daA-CV~@P+499ZyYe{7qof45W=};sTq>)r8R<`o0@wy!DmAsqmyB@41FRJ6^!! z;)0FXp?pgTH{MS*#N!=ZEG?Xa?>rvQ2W5?lMsm`^nV#~C7uktTIY@bs68zEm_G%jdin{c62BqR8@fHxS)60imP%8IaC z(0Ecf6QA*UMk1=4KmdqXhcUVR%VRSx1?O^dyRXQX(?yJF0@$f7fLoq_W=5;#!h09U z?Mu%Ds^Y4N7#yU2R@9`^AwwYze*{zco&rxq7@emf-{zv%Ykl`|0l(*BFCnSwZ;X$+qaEE-h- zf~HxOGUVE=>Z58qH03NP7pE^MH zFCdV7y^Y)8G4-9|^*mG@pR&*mVO7pSV(a5;!QnvJjz24}#yf9=PSTl?%h2uE2NsEn zqXQSW@~1Ss5rH8+AaiOV7-*L-abFN zUx8TXY}6tnkUGJIa_~7;|L)3V@!@&@23jA&3ts|&Y{h<9jZ{COI}p{x9U9Nf67%_4 zspw)9j$stG_ehZo*pwhD&gh3=0x1vV#oejeKffah0=*g7BSsaxU8>X3E(5%!Kg~SXOlII_NZ#i^Sd8&= z-&=}4WoplRUQORV&11RD8MkSJ)AjzI)e9V=XI=0>^J?a%1@k5*MnJ-SnR7!xRl#&=~d|gBDp9FH*iyf#{zVx0P&P zMZ|8nf#Skqd9Fc(8rNWwk%vXK_wpi-s|Zmbp@A>k^D4e6^Zd(?nxUWy7$AD9Pc_;= zJh%Upi3>q>HVRP&i;^qP;`JfcjIF!|1g#hYZxLY7vZg=cltF&n20)AB03Bg5lWVYy z))+=O3D?<57afzsoNH&J2^;id&Flce5OtvC0 zScVuFOeVB%jN6(oH~j+5S|jVHE-r*WQ8E|?Iu%wzU%3BflIWiy4Q3-z?V9l~7?Pih zD!c+|zxEn8uebz#_ZA4z)lj+P?Tg`7L2)k;oi+npM;L~14N6$5#*HiN`t>A*G$VqD z1*+P@bd->ZVX-w8SiC6~i#JU~BJY)XQ|uVt!P#rERXlejE)tE4M65L~nW-B|W7@Ct z+%fC82RwJCwZ`S2&QdTlZvOf(j5~XHU6`_wN8V8-vb_~x(ha;s2HWW3PnC+hNRr3= ziV&bUt)iDiR`F8Sg-!o8ox=^BR&jt7^v{da0y=-hMKZ19*36Dz#T3da8i6kte{zV- zM%(@jvPyKky%Z=K7&0kGOkt|RanlMu?+4vF?y-{#0#%ob;U!*zsb2U_27Y>Ulq6(H zfs@k>z#x&G01`y7lE6=Zs6PQiRhVwGni6>mi7J4V7|06DL9|Kzc=$7CuqWD-4 zg0LZ4E1HlPv(@IxMuaHO#$1j&!#C-xEGzRCvXbFQ15)nF8Wi9Q8g-iGxq?q1n&-UE z#l}3v1AaM8zTcer9VC^hbcYdmGasU0rL<1BSGO61_sVp-^?%(vPZIa1z^P;r|SIP#i7$W2<_ycOH2=o9IWT7-X z*-&>v7S{nd+MPtkl(*HAf~J*Ca*fd}5U*L*RtrGm6VdTkOEPVs5O9iA(p&vS$CVuu z|3bSLvz96nx~_+8h~@WB{hx4|H4nLi3CCmFAMlCI1Kmg;vm~pvwi8}Kz^wKRPYTpu(x(+aEdf8T+xe}1)*mqRVIc%W;;ENG5 z22K~t4QsX$+xIQ*X5k`QOy(S5q+_Y6w>nPU35{m)=HnA;Kt~+Gr&yCiqt*C>I~eGe z;myBTsHnI4hQ~AzHE2!H;-;fI;`6i^cAxGBk}#JQ7}(7LHymPgp8^BwwBO6VdspXJ5g4q3dM+N-KyO_H9Wol8pv+759Aw` zD*`DC=t-cfiUgm@s&CITcL7Dk<0RQZ5zpEE9%U+%F`hhq z1oEL|brTJSd*&`g(bldMeywNS|5r^ADacP5HMnEc`#&C<`%p_{^ioBE1`Q%_W@+3K6IHjp6q5lYDpzX z12<`x2B;dbu_?rxX%yk4|D)T4-Emm%Xrz+xqIIlmW(ulv zY3!sMBgRbbIH}$CpimC}Jcj)7-q1{$YnQA0K$a`WWmvyEHmF7{52aTuG&sL}G~DHg z5?9eKmu_A285n^YE#Xo+H)=4H*q&!|e+E|&$)ZZspEX+BPPec6w}#YcVLBCSoKUpe z5m;~q{`kb~Ed=bal|bIfGL=VZvvXF)Dgh(fe`%M2=sZfZi&S7`+QO2s3lcmf(-ghq z$s+pAS9xLLN!i~}t+Ft9!T7&?O#?}<6l&5Ci`fye9*5gE@FG|D8^$F%g`FS7YjTr^ zPin3S)wnwIfp}1<=BZue@=!Suk!0sjm$K$b5XcMb`*f%tW=*Sk3&Ey~NX2e{N^L%= zt-=+y8xk+^Bn{3c%9RCo0lHI; z+rKN*5o4&nA2C3p1~*H&a{G0RiuqhY1{N=X2b!8s2rMz(axg#X;O()Q^O02sh`fXb z>9-z^$>QyHnUOTMk&fFTC9YtKt?I$tX0^I~7A~Ho8|j>5EXvG9@pjejU2w8F-fqzC zjwpK8%!606aE}v%{?K4u3Wc}S_IyHm5?Ki!pk=~Gk=+O3a4@lQbQ#de(Vl?(oKlEM zO@_5CHEAt^c3S~Oezz5z-WF>xqXoKhit$_HDS&&dy^nDPRt)RG%qco88vc0FNT)eg ziCYEWbed7vGF&`UWUW9(F9k$-?Gsqo5`m(A6&-K?n=S)B(F9kXsSPoG%PWA;y@l+a?u?AIGv4!8Zb=M-RdW+3rZKd?oeObl-~ z>1-y62o~O6-{@z8UIekl;Y=5+Q1{A7`ZmW z3~xU{nKix!j_XcY5#?!uEAWyE#L zhzGDPK32@(R*fNw{(A1Hst3|XhsrC7tV^^c+E%hav2Ui88n-GDu`W&tn}N4u6e!D} zHC6{^7?q7+;7#Bom_e?FibyyU2?>ZUt^5ia}JVg)!&;#<^ zew%?n$oikG)zSV?)sx7~Jz!BMe3sHLKcLF3Qie01%!7WhcS z#y`n|z+VEzR^1mj+1iHkGnF-HUui*cn@6hIM%xKecICqzd( z=_}OHAJe&jTWLYOB1olqxHxjUkq(ns8G!(u_ZkCoNYuCvp}T#c4~gD{r^`WlOvhGr zjv;CT4j|^p_p12_ZD0+O6ks^=7bz&Tp!npDz#C6;;qI1CpyuxKF-H!H-LaS>8M-j7 zbT*(m?^`+>D0%O+RGazSs$Ax;SQ~f_B{IcRTy9k)E#}DB$thK?jFk;VZ7an3q2WLV zTJsfzWw=H#Pz0H}o6sHqW5kjaG_Ikv z_<`tbdw zq$xT#zyy+R1=g7hmwf)62`8PQGDpVcp-g42jQmI|NHWr+f)^eSs*_89YXQxIH0?uI zWxj5Ci)+SF)=gO4YO~Rbn2MKc97t-Pi<&d{JxKfViTfmiZoEfRbZCs36KV1K2BTx`e zMh`~R9202iP4K(51R2`le-Aol`io0!MiskD1yivY$hS}@}LfQtPV8tpf+2XyK8m<3BnblkZk#=tahkPaCj0S-N^s zWh8ij^CUz(mFO4cxAKl2A==8Ywy#Ffw=aOT1|mJ3>cMZ2JYrjZY?R8Rm(R+n@NYL? zN_VWN{kC<#`S~cX_RytrFDv(cb6LtUZM)kaHm(pceZEw#UuRr%clq%^Ww%2q?SJiG z;uhuHzG1(K+u_#7yZX(?5x2y&{$oF9jvKd-R%IFOFTZ{IDL1ay5>xsx?c0uGx_^ax zhf1-$|Krv+|9*vH<-UhS{hGzo`yP$;BVk;vhsXLA!+2Vl^_^ZqX20s{Q_?#{R5Pl# zT53r3_P<+G*w9I6r(k2PJI>W>(>Y}j<>z$~4j@95njB#IP8}Q!P&Hs=mcpjyj-Th- zVA0#n0Q@u)6?*yIMl&CL-|^0L9zO3y;^H~=sz$}zm*yfBmyg#z8C4`)w$Rxr*C)+H z0p1ZjBlEf&4u44Re8~BGQTQz}(*zGl?h%ZIBYpwc%$biv%k?g9^t_wHczp)c}KluH;jOx-sMGieP z%l$0hcNeh-b-7Xh(td= z+plV5w)ivh{&fQuy{qGZeB+%Klau;6Cq9{o_J#drzM1K}weRc`3U71KzVS^9H8GF9 z+W2A)oqcwgE2=J-L-uxL-Q+m_aE0Q*+lK3tKi_wk?E3heAu>Dn;~4O|5%RpVdc3Rb z0EdF-9_7BB4|dIZ%CwLU59R#5G_d8@W=6Z55u4Txy}tZ_%FqUTg^&#vTbaD?!G3W5 z`>SLz)ao)eq=vVSjyB(VekXS=+I};)R0*R0;~x2{`?LQ$%d2alQ`Ftqs^>~3E1PeP z$coI)KX(Qd)Xi|eW(VX_|Lq`CdU{}CTEnp`$BLk_5&!)djpB@Q z4gcX<|KfE>M#Dzs! zDDBB;!RL^dS*})CdSt+*ua)(qp|v^u^KPzpZ_T-u%X!4^&e`YVaW4U z@YcDpS)V69ei(|)>Hhp7XG_|j|B9TG(BLX>=5@6>yYhLDM}4kFZe_>s`{&m5t}@xZ zar%|s8+{+=OcY@0ck6cl*|8%iu<6Cb3Oz`E2Kurl%h#iq)`SO_$uaA4XmU z-umZL*Nwhwr!@nH%ZBc|p4Z}=&Uxy3%W24@ZQ0Y>zzjp3jEpPU{>V{^+tv7obeE$rWFMNFd(yaq`@4F0zH{VWaXn2;EbDp2- z7SXLOefj0@dCuYPA-xwm>U##uegEgC!_9l@e*`sXHu+xZ{YVRF@u(mEFUv;TRyFg_ z22Zf__6E8Yf%lz4>bE>tl=gg=^u_VdLpg3&VFq_|3i7MX zL0%N^FIl#GUL|Jb2$kdSFfOjohZwqj6bQC4HTvg`0PdS~jb-jsHe1TofA6 zlKXP(QQGIBD4%uMi_Jc!J-c7qzlCN@{`?Shdrz?&{Y$a$eRHjb>5iW_zwNWQx2!i* z`i7a6^6dKV+irfJ-}p`yZo$$6Aq8$9+nDv)MD$)-U{x3Le6>}J%lQ{)OWtH7UK$#? zU(cC#l3<4Z}vkNbfd*8 z=e2_U+ebmBJDaZgQ@M<@;c?GIhfl9`-vRSoqdP8joBm5+i$D3-e=`9dI=-_K(_hDJ}u{6ze7^)zuFXjo#n7~$f1bQ z81(N1=S36!-NliElqIl32zNEP4hvsyr9-Jq;pg}F(-!&Fo7M*JT$~28mTgl`&c+01 z+s8xgg=b&FPU5}5A}ztRr@msR#pj}HJI7|UjnC}$HE*E;z2xh)((wheyD z>($bO<6nDrA72`<=+XvX?lrV0_=npt|&2*V$(u-ZQjKap^a9sT@3J=(z;}S4=nCJ|DT?k`N&S!h%kk z%yW@lb^{@`R7&1eY>6n+XdX2md2X|3^Zdzcy9YlYVE=7_@r~RShK6&8Tv9Hr$@!@Y zNdJfv&hHN!9-qo~PV=*;gP)^+gjN65uQlXz>%>(6TF*7~cBSNWU2X_GJ>8H_>9$6_ zqt9@uODNy@!25OIw#kFAgZZ@~`7V`e8|6|Cadv^WvE%1Tj(_mD@^s6)-t6CFB0#>+ zaB!)2s+gq}7Wky7?fb`}v1|8=M;0dB{;B%UyVjlSl<%sQ``$C|851ry8R zz~T+JUu9j}GwbElf7Uil;ufC1*L*HHZ17r;vY3ClmjmbJU%hr>@rH9x*1p*874NXY zui$Er@2tH$Yn|Y9KXbLTYfawk>)+U~PFgs-LiOLP|DOrIvn-aJTo=FjUVElP#&*Nu zZP)iiUa>pzsyR6R&0`$O)89FExS-p6-(9}vuyNJPQq@~~D(nu1CI5dWMDB`PkTU#p zyY(K||F|@DoTM!1I7xlIPy)YHfPXa@pp6FH23rpHO&oyEQU?3q9PE4WW}MF_eoDpFkuHUyn=?1lH;t+ZM10YZ67I*;4s%3KsHynH73XpFU zhJiVi;V;L@u19f@hRD=eM52^ZDWOib3q~nri&*YKfZ@Lao;R+bSi6*c7CEwDzn*YEo8z5wiqMg5 zvbpi-g-U=l!?N=d@esv7dgHE0r!`LhmIgiOope)Iw4MBdlSrMp zwH(g~#{j-x-h)Qjzm(&ho`uMyKg#6D?8qp0tv3HQsBGA(fW4RWEdvyCkI6L>z=mV3 z91J8Ch=+%W(`ao1Y9pFUzU?i+$UQxWvY*i@2cot7lfQJ{i(ay%7Q+5$!_Xc(ZC33f z{QJs_NDt8w=%9q!bjm(y3dFzbK2YIBOK_}}OsSMY%s*KwOwHrb2>5-4mkD(*hqqNsALJ1a;|eJUP>*&*h;A6ISdZZ$r$+{ zj3srD21*YQUi1=9+fgg@$d(5ZBCr_|BDd-E8&IgKSwY|~$oqK`N15MV& z<558JKKvIwPMjg4kP3tphw%yX*I0Oe=Jic;W0iUF6karw7KPTiAmd8&!Fq@^vsy{~`{6h?@23iBk*wFJ;pi)oFu> zWCx7yPsBfYu=DLt%frd)kU4Lnr-0Erlu><38){)JZ;M~ zZ63HiboOUVvW9+;4FXj-YHC~=al z6cCCR@nm?vL083q^-h-1nOQ7kxr!kp9Qv<^sa19drKJx=zOt3alR3iyO^aR>zW zN+b%ov`fdIcw0Q-jW0%VFI((L-ug7;SS(QE-3JibqV33`_K$Bge&(Fo@B^$~j8S$M z{Y%J3Yb(JFMYJ0s5=XZ>_0x=YMdAC6Z`1v`@3FtLuZ-2hJSt7xD%(SN2Iy=8EBjq; z(%83^Id{*rtD6;U3Q(~0n({wt&apm6&UqfBGlm}By6z^G9pMS(M3~kJ+LgDJ9&2Yp zOc811(pVvMU4|!)hZPimuPj3R8drXkV%$D^9$_y>DRw_XR&S+%F?8Z>AbbYSHwDZksx@b zXce;hCY^GQ$D~oV6`cS_7K@XRI)lDTg#TF^4H033LJ%JnEr7{*#zs;EE)<_4kXu)^ zj=J^n0XssPBVOMZK+t|FK{gRKvVsdyD>{?cI_`fQ3^i)7Zd~$!Gz^q$+s9B*x-du>|pu#S@#50bK!QDrU7Q zv-&LhQi#jB6vpQwL+rSCi})Y-*aj~mcdj7M5TuH`R9u&`0_78?dw(nS*>MFcw zo%kiP+8$$FbhTG7E68=x^wjjUm$LGgW<mp&DPEs3XxGCU{QNU zoPenL8%H<@5z7tFF__R1OALyo08jh_xpcbF7Z}}u=;@FaDkDd>mud2{F_=Q5>v8(< z0+UCJ;Fp5QqYnhnw9pqZ>N`XDpRQz>75J{KIvJySdmb;@zKsO3vuJVlWhF#dl!jdL zb+1wrB%G}1Na&Yq(xMynEr%;{#6lrfohIRq*>pB#!wSed=LM_qZAI3e{3Ueh;x~a1 zwz*Sq-SEfAsr#BJkiJ!?V=!TnF)VR?aIGAT@j0@#$SPo-zm;qeQd3JAqa2OFMwM`{ zP%7nZ(H-Qt_(JihIHs?ktb}4k@kX&NsFUx5?i?@lw}*-Qv8z-I!;AKc=Rj(V6-bt8W&*-Y{4Pv!^I({TrBtCt&HXSU-rtOzoQ?-5U?goCF|slEZ=0R}l{fh|3Nr z><;?!3EotYtq|L3UJJE62_SwaczMEEWuDj&sry%42v+rViJOYjz498#2B_9s;P zwz~7uU=Sh*o_78%I(rPTM_0gwpO;6ctS!|PCEC!^%GjdB7;B{h|#JVt$3pirsqEH|ii>6LGlJYuG%KZRnU4;4B z%ZLr{T)@K5*vj}5lS_m}gUFG`#e@gct9{PUWThfE~3QURvv0D4e3 zczPpQ@JkvO!91N@FlvZoVzjvS_;t3tceB2Dka^ns&XxSE^;(z?fBle#(JR=8O8sJDFu=CWlC6@)b zER`yAb|}Neij!Br$b<^N8Ww#+7+cnyMN&;*Rm+M6$9HW0>!^v2F{$Yr=RRx(bnXWs zBranBj>n>sv81dUupwr0cEDBVAm@(%^0TOopx^tHJ)$!uSWf6pp+_FKY^@c1Tem6e zRd?<@0|c?8tf_!`S+9|mo3dt*x@UK3qQpbY+K+Hy{;YZOkvTZ}?%WMJ`%i>&U@=Y0MIZCt=y>^a+<1Vz(tXv`MkTbyrY%-M`^x zu3DH%rYo$-f~LUvirlS&(|3is2gq=`+2Lx!=3Y`2Vy2gFsNUidPJ?jR9HJazAJSL> z7k>(8$6070vD-Wm?m2#%7?iSE;g*MVh0R%@uBtf;S+&&FGV@gTLej()X?BXd9Sb;Z zD|2ZK%Zzn!*|O6V5q22taP$uuz-p2iO!DZEB~1Tt*{jX>fYGo9-s}>tB`jqMn-9Rw z6`z%2U0nN~YIFl(-vcn;x+fqq8QG12a2epc2W`firCN>=x~3>aIZGKk-hHT>3P1X! z{s^l>3!&uUr6!!0P;xllJkhO4JlqP4fFKR%{4L&2=qkewmDq#8R;qR-Bq`ZZ-2g`) zocBSEhSl)>=J(iUdL_EbS!pf1=i|9AT$L1QGcWQlMb=+``p6o+Q{Z(=l2YGbsI?L+ zT)zU7oFWCojydsS(sr^tvcvBCYvauqTDF1JA0!!{o8N*}!!F^9_fj8dl1r@Yuq;WG zocZo2BMMph0k1$(p#bRedjgDMM<3ANBF7>K-9ai`jSguGv44{Fy{SF;=|}Q6kfU)# z9E;bz3I;Du#Z2#wU_5I)EB#mfa*%|18Yewp4kxTR-MfY*@PGt7!;_?7oFwZnsoNU7 zyG*#?HQy#=%l|Hg)j+nq&|g&vU3tqekIJ6V;COpFFjX?23%)i-bW1^SRd~k5%f&Xk zunAobF@>zGc3%wJ(s)H7rV%+(-^Y4-&F9oI< zp&-?V&c|n&u!C99e245~n%5Duwl&olKc1NMX#r~7616ruZuw04@s zsvRN(+Fp+l&7Lm-+H4^E{& zM|u$!AaxJ@=sWkrFl5TS?sITE#Hm3k`)xSgR^o7+P8)n=10^PT`fFYVIyDPw=nDtpw1m`31=FtNa(I3MA4dlCY_EJsYT1ch;#Fy;_nz{=UvaChTf zVR{R0GfMY3`lKVA?z|mzVRH@ayeF*uxwB5QF0(EJ%__2s& zFv;@@CWjaYE8oHv+UOmVR~}2oD$*3E8|0=XnS+D=pH^F|*di;pxxUqgSFt0bC#hwgbb4$fQY#Rc0_7NddV;Ks1u(PdAT^Q& z$;xL^4suHBZjm`q5x5!VKqRA|hriH*eI%brlMbP`%3jrUk7dj+yXB8yMHgwMQpu*E ze?QJ2FVuuvezK&L=L6)TB%_}Xcbc`CH9_hyUG?W0En%~7e=^cU$ZvvstM(y6r(dPr z1%4ipmB7c-mLx&H-258Rz5uzjw;+dM)b2%wEr-JRliW}}Q2PNN;UFb-b|&#x%GMBfgOdH-~$9*SW`sL0Ocj@FNo{r ziB|~OyEFxFS;pS8mUN@`e~8ZTb_HZr`Z)l2JOH2e5qU*lJol1%7MXY_M&6P z`+hIjm-%Pqj-6-Tm#)!Wwq}c)T1E4cWyaxqGG3Mbu9rVMK4*6f2#VY@T$=`4F1uErVM7gf9TK&ho>)C>Cm-aNEsnDKgzE+D#2&*W9^5B=g zlH5Sg;oZb(iGJrB9NAhnt2_(1`8wIEvfAjZ@^hFZg2z%h$Yzi^wkU8dj#dM1dvX0) zf`-Q~7ZQqj^|RixM*a=Iw`m&#w^$j7o5)v+d*e!#tQo&hR#wUzuf6dk8h`k%sQUZM}Ek^k(T2SA2bJ3SGN?4xtrw}pgalztODaB=^h zT47a6q(Q%X``fbQg`AL3VGhP<4(>F=Mc9ki+*E57%$0Vfc7^)qKz&nFX@WGk$#nLsWc;@X4-ah zjN5J%0$b|-w?zG0{$@nJRF%W;pjy9EX{3~9|Po(Bs@Azhex*%J^ur^=rH2#bpQO=Dj)8Ygc9HJ(XsNpm$#^T2IYPb z2=#K~kj<^ttELpM67@IB{V)i1hyQ7BDj}Rv62Ob_Sa zM+k)R!0DM%NkO@zXqLff&jTs9%N;RV|9H82h*j(Ck=5>q+c&oL*pM#-tBxI~$xv0C zkDQk#T$CkMy&p(xF06eF0BLgivZ=eq~N#weN2WOgC*Vx zX~2tuV8ffYu|iRH>7L+kDFA+1eM|YBD5xkHpfGkB_M~C`3_fw&TZ;Qm3pP4m5vP9Chyo&lapd0eO+m5nYw@Na zSA6~b_4kn@mByT*9ew+Vf=F7e@HH>$(!k31IqjMo@K2livxpMOFmHEfb(KOrsdjx35Et>^nDT2XHA=4 zF>qvCHEnYcl~WvFJOiBGGX>F0BNA{Fw&}NJML;`%OtpmY%OhoUt@+c37PoSZ4CY>TFB4Q{& zew#u9W+Bv)B}df(wfuc4rY0mJqrMRcw=YBdkq~N8xfh)@;Ta1^_woA7;OB)n2&O?< zN{oqc!wFvcBaM6Vz{y@qAg&WDfJFE>JVsZ@0%9+s{&Rf?9Kepm$ddzE2(^60o^+UL zHy@69)3|*L#TyVOdl`XsQjCp1PrW#(D5xmdUv2{~f1xNCwJ{KvWiQx_a*BeHOq=sD zmYnYlTn7|=LFMll&e9lt_eiUoFv;d^WdsyTRf5bFOBE@jM`GkSVYJb}TH)#ZTu=MF z7zriwd4m_iG{_-VgzJMNHgW>-kD@HFI}E8l;U|AVj;Z5e@B#N(6PI%L{N1xZ74D__ za0Wd-TzHokr*lZ{kkTQ!3Dx1k?o-`0{MBz$B0bxa`09Mm0?oCyiDOIKr}*byRIj<8 zJI0i}eZD>M{QB|BS}vMy_9tvq1>I-r5klxI%N>^NQzQy*HpU`ORWN0@^s({vB?TVT z8~UC)OAPbea@}I>4tvDfOn^Y@y_1!O5$HYo?X%XocT<0|`WwV$^3EC+rwp%BH7k0v zA($7;3#}vblh)^sHyw>J-U;CSG6J!xcneW`i4cB(zXyQ`S&n&n1cAnB8Oy=Hn#SgI zZeNc0KAfs9@D_f+RK&JL2Z|3A|0soPPFZ4%DH)7(Reg`AKO`(Q_0^`T~+B*%7J{s-uTY z0wuY7gw+6M?YSUQ5)9Rn{AvcnPM#$`ha3aKYLvU@6!h>@N}D`l#K}Fr7%mrmYx=$t z!fJ$T!t0<&_w5#ME-qQ$@$eU1Z($!0p-93NPZz)|gD48KVN#3C26;}|;@1e8j#5Tf zk+jxEB$GFkE~g0zYsGCrs+{6Ho+Fhqx(p9YtfZM0Y4aSf9(JG6fJIGBw*HdX6r^O8 z$@1`v>3d%QYW-B%Vj8E|&#Q(;8C8e3OfL54)f7~F#^+Val6A21Y^4^ggZlu4+X~H` zbQrb8I~h1Hfm{P77jRPU2WWD>^WgwO4j2nTQ-CTB{tZ$+i)2o!k4E9VIiROhlz`Gk zgZm8NXD39AZ_PTfeh$@}&?8y&n~5v@D{ayw%_*Ma%|YuON$VBOiV`*?T%L7)f1F&7 z-mjd|hN0h!0$c<|E7*g?CUE2fxp*jZ!t7onlBIH*GCacYQa*6=bMcd9OiDsA4w%Y_ z)8L3lUc)@LlNwNlU&f~9%sRoN*Ho0@eHUO5J^>145pamVjj*M!lnOvga78MtbQ}jlICaZwkdlagL#9B8}1!U--c#~W4)^P+E z4N7q*Z;iwwrw)fsei)en2S(0}aKXgg7N=aGI|pr)Hytj)(wvlqa>OK&>st zz3ErAscj7I@S4dN#OVcLYMpj~GUG3h! zU{mF&Dfo%Zs1m0;gkx?klExA%;+JTC-Ohw94X-T;K=MsNQa-SoyqCYXj7VA+1XinIC59xampcR4F#7! z_rjBM&^`IO*;-PSA(r`b(ai5qOqk5h`6-HoUbSa}KBV)s*5CDZ;K*S~PKw`4Psoer z-?R0<0M^J$;5L0`Rt?I1M>{}Hnca$KUU=b0@5vV24>+Ao$3=cjZa95X9pV?xe9{T~ zrh8ZDPx(E70IS3BB>lHHvT~FJ;THHJoFDXMXJsh7D);!t4d4Cg^wd z(ZfriF}W!#!exO|f+45nW$z$Nk7lV~U=1RAhh%5$pfL}mf7$E6X<6Gdh`}k>GrE}w zYh)bDoVJ@Gk$E7ytUd-R3dA$th)fYUCBgr=H{32Iums)OJ=#z%KXE=P2^2whO)pu= z`P+0tq@cO5ly7sXVZ*Yu&dl`&^wAME{A!aVc6&8HCzJ5LBnsZA&8k90V~k&3AAk#N zVFFp}?6u~ngyXGRZZ#-5pgBLV7VhfS%`Js4#+vVJ>4Hv|pqXQPCf|^oxfE}w8%=CD zgk{3m%0R)9OLp=HVN%slx$VZi9W-d)xxmwQ5SlqzPKa`AjZ{yzsQTy%*i#;vwZ~f> z*7=c6)zoR2LpSFDY~XtxAp!VS0jEjF=Trpc>b;H-3jUp6em;i{`Jabnpg~WA=3|+F zaId`}>q1e#*{V1S)TGEMe%f0@JGd)&*WzEE-+`^@Ws(47k9qL~EKycuk69xpDy}L{ zGE2G+{p!Fn+tX(0c%keitrPRnoKxTwC-o*kCyIj1U7x}1NT9+8Nizn}Q5)nyw+8ef z3Sa*`e-0}>dsuoVWF)vXZ(V}c%*2TD3%@mvDYM~|*LzB?=6N_K&ALo(>j}-T$(fa% zyx%)`#SgDZo<$~4^lIlP9GP7>8Qkk9Ovsp3oIEoU+FEkiZ{3{3jO$2VYl6p|{*2Yg z*WQ}^xr|xm$&Q{miryjpGA-6f0s>J#EX4`A9;U_VnM3sUo}Kl>Tj$ozX$xP3UhPy41QN)!wxE#wsMHm9>K5&nyyHSWKcIvur_-AzrvR zK(e+?RS=B^1>>uNZv=cpxs9h!+G3eyv_iP?s&7+boqP{gzX!E*Q)&Mv2?Kp)%%G!r5#9%FD=u08g0i>J+U+wz>zjZ!AaL;xeTsG3jF<4t?>o1!!EN-j)W}>v_vlr zk`pD4*+b(~@>Sm=YDX&SqZe^hJp=4ySSJfHdDms|=Y7iFlp%MBnMxCSWXOaBPlcoM z91>Py18$Z}XEcTp#~a(uhS`yE`T_w$ar4}|Xv?m9CzVk(wdK#F<;W|_@QOTc<|}E$ z?%G!iUjsU+fcyN>Zy7)9&;c9l^0!zq+P)O=$DEyDAcROWB7S5I+>9hU+rO$i9{{dZq??v^x zsM(PXN3vaZjZ>=U{3QXg5cn_On=+}= z72%!s2mlOhfZn>79UnsQ_1ZykECG>^wEQ%CjnKLloJ>-s2g%HD56m1SjV50M0L|_K zgujnuHq~FF!TR`+MB_kqpky0^@Q;%x!Cmt2oWv0YaR1sv|JsffgH^H5*1GGevaFJ+ zSdqlaecNuQsx=X1nJ0JXrq=w=<0ty}vhEC>O}v!4F=L(6>e5|bB?oK=qy~&>;eXhRBthpBVWhC)Qn$N@{{vJDa4hTw$`bp8Sq@Gio5K>;B-ZbOG)KTpFYjJz(_ zZ%Q=Qo!xqt)rB+8D{~s10%2ETh99xozdpD%@#^$&T`Rw|Z#7H(Vk)neB>Xe98kNkgB~Q zPMMYXDG$kLT-4wR54_H{l4>voa;4g=g@=!A!E2px z;m_s56o3z@<4$ERVax{m{~}UDrKENsXv0l{I~1Ebhu&~iAU-9PR{-9$)f!N{Q|)@W z7Cz(;K&{RHD$vFYMnUQv)wve17S0k|aHp03M`Qs=X0Qh_%6d$6xhyqPOi2v}Y78Se zu$ZzQA>>)e2_TpF2a+hJQBviEiL{ThtuZiic?V7Lv_FV)S*|*eJ7J_H%@?k2=eARl z*;CwcnzM=EG-4srz0JLVWCUu5&`8?C7na@z*taiPi2}OIu2!qw<0=Y4E4Oe~%ik!C< zKBlse;%9g)u>Yg{)QC!}0wQCTeH1qq`C$PZC1IRUf zdqtL8#z8I4C(sZ9W58Axe4Y=FBWJx&+I0Y-{(_NE7h>o6>wTDjQ6L4W&V4Sl=EfK_ z$QXH{N(hTP$7C(^TcdgKA?y z>R^TeyX4aUW~c=f=H>baYAo(KV961jbvt*N`M*Ftea`c7wbl%VT^3k_r^xG9WNrc( zpM$yQkk^=?Lf~=fr&&Yqe*kz+b#B#4Wg=*AcrA_6`h)xY|5Vk(t})Op7_T*ebZq1t z%v9S}DIlkOiDJRx-^lc(Fba&xVgX}-SIU=a0b(Subt5dna%m9p>(GzQ0PWpMie6rD zPRNASf`DtcN9UQ7a6lTKO{yOv{v!rFdH7qBWrPF(OmW zEfK;uTGwB6u0&W~7$?)$sZx#=CIQs&7{yztGiOGTWN#IOqy)J^=e&20S;69(P;d$e~gVW|s5=L=z+e*aaiD|m4*MgLzE{1E4@+qizzCp^1jpBAN# zua8Upw3eOVIkYx)ZbAP7O^&AC47K-I!B@9X-KwOK6|Kr{ewc;Pz^Y13uy_Pn3oCX8 z*A*llq;qry0}%Feh#EhmIz^tv?LaNelL&cFgwlEkS=_qFKV{?&NVYyUqKR{6G&#Ci zvs$dOQwJ$Wo>AfcigVRoUiYxTVNVs|{ z)g)t90?2tTm{EcCK{`2_-D^lB%l0xjf>}k@(81OkXocL8l@g4CIRLF#Eqn!u@f<8} z^+eVds$1~H8=-@>Lf(dD>#A$!qu{bemDl? zHiRp%niu2sM}2_q5}lg}x&qTZ+p-su=F#uYNfpt&(<@9gTID+6`UUUZ`tgsam);Onw&Kj~C9wL&B$w0(8;`KjT z#_7&*V>paK7B?FTDU{(9f_Ow2?A)&?(55iD9ntdUZD4J87GQ(p3d^#E1rrD0WwuC{UMoKl0Fv(}K9FHGzeVIqIC-)Ri#$oV5Iexy zD0ohRo~tK*UW+99pj*2&3H@PhjPq%<+YzA*=b^g$^c+#vkV~r?N1#njj>aaQ1G!KG z_#5qT5IoS$qbA=yR!(DdHzB(F3>>vsLz{*zp=N|Nq%>?IOi_K8oJq=lASKcr1ST2J zX?Q)o`3pcN+=%2m8Bv(719vMFmWS!?(|4q@h5|@U<3QKJ`GXW+cuXFe2#pP-X(JFA z2RtoK%Rj}ANhGIdj$`OV2s{uxr#r`8By9+Wx4BdUQN6Uo5qXd}JqH#KAA%134Ol~N z!+#@*(;9faVY4!NKD%x&{^K@*JHWU_fwRq0Ao=H_LvpNUMb0P7;nhU)TesctDkb@+ z+C7@Hh7Rd(0ABy5WjkJ6g`Cg61xF7 zzgz7~qYUfAnHi>32=#pg23r+^&n$JGl>*LjdDA`+FD5I@Y9bu3XOenn*TRElQ!)ka zd!ZbGABCUs95cx%0eHRFa2k>rr_cH1+I=0etFsCJ(NEyjv|sR+Q1N=xW>XltwTPUf zfge5jr(y^UyeZ~9ojDEVm$bZv`Y}%6sp&O%y*=ql2lP^AVk42~1{m0S2vA2hJ5!Cv%Jfd){E#;M6dFWj zNl+&i6WlguGQ4j=Mrp=$B(A67S*^-y9;7%wtZIQj+?%hut1Vct`~i9$gK z9gbkS9}jmkf$m2Ok`a!K$DAmGSBjp%+{LDs8TLtM`XpEZXmwUW+1jIf#=k@99+s2~Bs^-MD6 z6rn^~@=@7|4kSaQPl8ei;c%Z-g?Bvk{iEE2N*PXo84kR4=TML#GMtlVHP@idE7Kpq z+jK~aY7pm#L>!YN@6x>&YSiS&FEN;dRZjX+Qs!r6h)4$vGaZK65t{xbb50qmq$eLW zpI{Q)yJQBIV;uQhS6gWL1Z0-*J%s4r@@+6S=CH<#Jm3M+FU=1;zF%K7Ez1%4()k&f zf67=4WX;C%K`Nu%3dVa)yE=qO1{%cgP-jVOe(6ACNxUH;>Q{vrtex`4^&VV|)8L4z zp{c$uQ_=7|6~=(y!DLC42;&oQT$v2(a(pV0z^5pXzSL6ZDQBqVD?b#Wv@>C>cJt@t zIPxEG7}<71$hFaO?O&FyIo|=N6hcA*@5}Lvph4@(J>euK1V=r@kDj(K_ z_P5C5VWnF6{+E!qq4_iWabY}-BfsxbyaAN$M9S8O2Od-DkULA-3!w{+ROg4bA+V-O z43bMqzbg#z`|>$yc%C1x#({5Vz#G<1nbaO`wc>W@&n)PjD$vfDJvK5};FmF=GsEm< zc02pJesHfgoj|%bG&6M^FHUoZ^IOvO2lX5?rgseA>s~SZvgNs6R5QJ0ZMW7Tu2$CO z=I4erg1F@qF~i2qR+)3D(_4qtTSE0~lBV|!-|S{)Il9d1O}y+j%?vf{aGEukc-uXg zF{nF7#Qib-ynBu_cX4|6aA?ciYW03v|B=WGV+QRPLbP3{s>`+UDLwekj^oKO+4h8$ zQyJyj>!!*e=wU>%1C79A4LO01AU8#434G_y-K=5hlDaG2b-(|VvQvKk=-+6ES$Wf1 zsUcmTMCGnEKF6+y$=qsK`+dF7iLXOTA83@+%0%n$t6vwbI4fDwxcmFo>E*Mul1E>M zXbfTx`+zyvMBi`hkj(t}=qJM=HT`4PPl`i| z=SRypwY<9Ep%rmjeznR&`f;j$b(@ElzmrWa&r6p7&iKP9am)nnF}yBQ_E6!IieC*Y z{QIlVU-PiU3yl;yOO!`lqQH$g4<)d6WXO7tr zWABOvUS-AHL-$AmH=@7B?lwt6bQ`bBO@jK|An7(o~&u48`JsyUm zLPwfKFg;(gbl;osn3LrtMF0(yWT$v&+V)N^j($ zB_3_S(Wn}}NqjfKtz({E03Ul^g<{Lm@(ca z!|&G`?B7fTjz@>q*eLM6k!QBxX5nv-H^LpFO}^XvUUb+e*rM3>{R({dtz|1L==^6T z(#Cj@-*Tk<^XB8PtZpF|;~TR=eK7tK>6lfx*6F?v--K3_@@pUV|Al&QhKjClull%y zT3THhz11{S`!p>n4HRn)l4n?W#8A1fLu@{<_SJN zyMR1RdLKgNGhHJF|DoT1DJilkH|vo>`k`C)BiHJvD@84S4mqytjBtSVYb2bqc z8n3GERV}EUBt^%zJGQ~G#=A8PBZGX81Ut$Nb?Di2(MxS6(omjIYI_rW44?OQ!2XpJ zUj5^9f7hAWf&&XV9}fLkhCu8$V_RKIqW>N9{jwg$qyH4~`h~IYy?DFrz~X*aFDkT- zX)wOyx9Jp(*fjpvE(>tug7&)W6Lr)4t;p-==~rJ(`yaNr=|O$B8-9JJ|Hu!C=qn~< z;P-OJY&dg+r@f-+))LJ~dRL5yZqfLX3biz>BP>*3J&q`pVz`!6QCU}s&%eLo19%cI zC0w4nWRD}pQbIniAna5lCc8e4E*}$X6JuPvo*}}iuboE1{a>^L>i8kZtK73?lPL#TcCzn+Fx-ftx34+c())S za(jd_q8>SVJnKvjy)nxxH~_snehcz$sclcXVSew!9cJi_x3APaHa)v_eL&a$C3!8} z<5h`E&c669)V9*=Ru^x48%Q_InO#ZszC)f}e7i*j{%^Zcq|5__Ss{f|ZFkA>Co+v$ zA$OJ)1NHe!_q^U;HyjP8-hDH#&g$AZ+bqe_Lz_dbx2!0s-0_>|wR>J){7bO^2u&zb z+emapj-RuA9}`xwY>TzHH}Z>1PEwVu|Br#$@WO4T&txaNTKJV_swY9y;DBjV<>;qx zLdV>bSEaJ*dL-W0Jq)OwiTZVaWU0?78~XKsR=s-o@s}3su&9K4FK;T3OMj+y#jH1d zlXd3*T#fGhrD8z!+u)nWulPPswXP}2K8G@5HEZL488!4^SAf~pxIp`BN(Rs^>wsSZ zzg+h!8Hh4~uY z+Z=b>?X{n)9$j;^vKQS{j?_}|bjdj;(V6|fL!Vtn!-Ll&6;EU;bG+=g{HY!xJ7&{m z=x!KG%eq$=y|h2l09LuMec}~uU!TavJgVHb7#*;kS3f5G`Tt{-^xeVP*^jfGnX|bb zC2E5MdE5QAdTz?~UVIQS{5GgPz+BQh*gJA3+>Cp<_*g$gdYU zo!38N_~o~mUEwdm+Fadex- zn+^*{%g2j0y%>F@Q>C=C?q5(@_mjP16-8U8C+%SF7v-5~(OrhQA?TcFb8Fu<`Qm?W z$NaOU0|n_#ABA39bFTcx2GNHvO%hDuKwi|ri20BN@T6-Oy zPS4-udpsgc5dKZ+thLw+TUrU0TCWOwX5Y2AvId-K$Smv{dwwAAG;=E#G4L@4@^ZolSM2K3;hUq5LLBeedf--@7`kZWTQT zwbyr7owEEo_5Re}wMM;_*6Tp+kNJ@+>sltqDy^xYdP}oQp+~!$66pMArKL?o>$7Rk z_8qZ2(E0S&=_6|mi#6A~Zd&F6;*HclJz_UoX7%g4fBXJ5x)^+KI=1IvUqQ}^>w-NM z^b4N9rdj=G+S*X2TGr`1?Qtl`U9uy8gJJ*1{qlPq5b#{-uNTExV~YxWF7ANwGx>Gx zk4QsMn>H`-=JJ6X=k~-)f$6Nz$cn=M0EwRCvqly819VBnSMad^q6Jy4G4?o+m3 z_1|^|FI0qLOyhqGsR-{n_^m(>`k8jcvrhA%y{yB(Mz6n6z=Q3R>~~IYmgOy9lePEz zx%2u6C^_pujS`Js**W2L`HXs@1c-j%-e++o;h)>2XVHI(L)I)Cya7W}^0>fbLuKa0 z<&#o-FFLna{tQWe(|+_W4QQEW*{tim_Rjh(039Y-jc1%gNt+M-{=@Q*=^3$GtYZH@ zdHvq*FS^e@D}e8jib8foO*neRka;Mu)31dv1mz zgjH7lvsJkow-;{Nckz~949o|A0FvhVA68l~k0}4JGiB3*b@xLPjLr{7rFB9B3=iCY zRkX3~x>Y1pc)@0C=-HO14-sZRNmxe1%RZ=aq(AnAaYg^YUy^Nm?{J&1t z@TGU|sC@3XC}@4iljehYHQ56LAK=$-@TqF;AOI==)M!fs!WDckADpTloGM8|z;_1l w9gFW6kDq%B17U{}H6#D`tdKnEn2Rz4KntmT3va3(teMq*f-9-0Gz0Me0Q8!iVE_OC diff --git a/_build/2.6.2/agda/Trinitarianism/Quest1Solutions.agdai b/_build/2.6.2/agda/Trinitarianism/Quest1Solutions.agdai new file mode 100644 index 0000000000000000000000000000000000000000..fc48c05a5ce67ef3f1c127de7f758fb787f884e6 GIT binary patch literal 32114 zcmXV23p`Zm`+wha=4K2t?n5qzBt?uQxgSy}Wvbn>U6|5^ZgfE+4y7n%$X2^uOi}oE zZ*^7C&84Q&nI( zuHCD1D}p~F-8Uke9Rl_%;*gvhe3j|qYy8*m2UA=A!y)vfM>U&s$dg5dGY#C6KmIiN zujPx5P0sxD{+U#Z@cZ4^vY*?p?H#xB)%%5YD;TTOTr`fh zWstBDW%C3o?5%2a;|Ua^Mx4D1Q%oGA@3=mk7y7YCc8^1g~Xu zNFArU2KsFyy}cb|!`NobHg`uN!D~ktfRltc2_jaUj{;2bc1R4~0sX{mKYdnA@Q|3> zAZ8>9!^!xPnhIvuE}h?54a$Zj^K~&kpu@fq#Y#R4bI|!$BzV1&eKn~T`Z*0rHfQ^h zY`mPoectt z*@5(|c6^r8$P9EcjmeBKQJEF^%!2m_OLgk%Zv&^P#t-6mx#)%LIyXVqafF zQOtY7!h6qO1~48!wk>jd2tjP{SCzb_Ec3VwIz^0I|8EX_i4w%NJu}#bhz)Mw40C-h z=hIBkeXQknwoxB6-8%8CrKEn$y1a%hw=!VFt}#c?121tP=P< znE9z2=b4);(2b2(O(lr#j{3H1?w2p`uS?_`{HSM)ClXr8FIhLvKpTduNdGPPZz5|& z0;&4sK%cRW=NS{R=#qgX9IKG5CUM_w`{pd$$qXU{>AWj zYr67ApX|1v@l(bn^A3KihilL6<4gNLUT8;pr*EzLid3WvUFS^mPfV`+$h@9-$x8lJ zMn&f5qjQ~F-xB}i|19Y@F^q!r*KcEfY}=jV%LSeHg8@IP{l{rRAPOARW%FZQ5arzc8 zv10f~a(#_)t;|M}W)r|QPUnHD?-`t)HSO7!Xhn_z^(?OsWxvAN(WJK!Rbx)T9Y5w~ z2iX3bwXEj!r+ME@GioHm>09}qr+za~7K=YdZ@N?bFvVQ;#^_?yhim=VJq;lZRl^kk~-njgxJ#SE#;N7+5h5gcw92h27yMW`*JE_h%smfEBU4-gy(p%vze1fgcI0>tWplNbl zG^t%*@aHUDOlktvtKnlUUBnTLpIJo+#f0&BGr(l|HRvzRzQf3M%kMBpy1AfKKO&b$ zEVo&1qq)KMKcBNvppr8@#K`+*@e!fM%`RPDjSI>P()SdmP(5zkRDml^rC8To{9;si>)R`ZC# ziH;6#VOE(#AUF?+W6mO`hmq$W*~K$X6tR6GYZ!0g{xiAW`hdk7OP8Cg$S4LU@wa&Y z>W$^a6|2&uH=*%%r^k!%44vzBRJrheb9E~$QBcHov z?sPwWnQD5;gHrg^f)mPim0C|c802RyQAKeCT^txD!B9o6<8AO1HfDM~`Mi1@UB0g3 zKQ!r}Sa81Z3X-WF9M(Ukf6V1Jyj^ahHo}t*>Ig2#BY2$snKf_ zv}`t3mG40C#vy%2UtuG&k%zp6%oR=}8jf0r2UuQRl7G+UD_>Q<48lddoLUH4ZpVSu1^|}JSd-yn>)GlV<>tXaac<>K#Bnl9k71lisiAiXaVWMr)2TN1}Lw^LsXWDd=mQ zd1tbFqrsBnG%4yG6>|`=PfyS_Wx0onOtk!4g{;brWPB@$<`4Bodd5?fwZD7?KI}r) zFdI!0MI8=nu3w0^Aw`Lk6 zUs3K!TFB!uO=@_W$u-hM^YhrfViYp=;B2{4WPyd-pm`Vu+E&lQShIwY$CvEE-m>@W zUv4MXD;@}6Za0T#WzE=8bC8icRU~7c+Cjs9mclf)%ne+{%Uig8qi1c!kD!MiBlnzf z5ef5o<5bPMtahup<5b;HV5Fj;SCdcjjCY}NDt`gn;?HSgQr)b?czsQ>n-w1gZQ9o> zP?hHsU{Qabper4T%Ej`Fvo6lEDf7=Xpwxe;tr#~=zj~zG?q3OdMlrEvqfJ*F{U#J9 z_ZwoJGo3!;dfq}l0Z`EE%c7u{P>~;N*Z&K2?i%B5ii2KF+oU5`&t`qR7kuoZ*`YS8 zI4wVYMK)Gg-ruYohE}e?ds*J62_^@<1q^x@19Q2|k#vzD(Y4Enej}x4 z1hDMYwT?z}$e{khxxBWT*H0#xaN);)6HK08qz5A3&w zSUo&jo`JyZy~DqoJ%W)}s|G}l%e~l`?8Ep3xuw?$Vm|Xm$^-*eV%P)&k}j{FH3$et zlzNJ$n8971%ZHuc*=q&~E$F0bKu>zhxXUJQ)^Q|PXW+vZ449j17(14Y)O z`C>Pi>p52i-EFs{-tL^u&{Qcg3t3;zTlHvUoZ?6=Hh69$pMd3yb-;S{w@}K{sT~2Y z>u2rF5XoC<`b?%XcYRHU+peD&{U7Qk{EdRF!}JMbFRA3*7E3~^41pl?SZqF27Azj6 zB0Y@W0zG);Sn?dTj&!}@+6fAJ&n#ev)<;8JvKxp!iLnb|A!Vu8Mz?QS<4kO^oV<%` z>;-CX@#V>=kiwXHx7H0TQLJ_J$~u4q3QNga!=HqX2Lz65g{+A96(X?&Th8 zi*puiwwb)vO+|KX`2BVoU4L}3o~nK>YbxN#L(@){{8`{MM5GR8q|hBt8sGyzwWh#? zd-ml{Vw4`OJ&fHy$aZS|j|@(6xm-9uEQ$f(O+GZ~(8MT#z$&>-@Dy3dJ(W+1TG^y1Fh(L6VGtCTUo)qoNvBB8u=+0M zrV(ToyYHE$4l;|ar_vK|ziKWS8`cbf@tg^OX`KwN;S6i&V)QTZpyb_hH8&4U8W2OD z@dR&iC~Jg^i`ZHx{1ktE%|Ei5kBrjbImc0(MAzG=@D+6P)|1bsH0QGOK2|@ibpazU zEBps%&q9-$^?(eu)-?ZRUfeUCMto6Wk;L7y(zb(ZeA$Fmf-hCxZ#7-3n-ahV#A=6& zIP0Xki%}T$P}Dwq8^ZVkknnID-j=x&{fSuGUkHXs(z?;)TI-$(Dx666a1^3ht>nJI zk2L~$>uyHj)MKnl7_F*bh5#AXSi0aL&eCgjq4^r`-)o_!)lB}q zc0OHiR&RzUedGZ$q6ty`d$-)Mb8JZrz%Wyh=M8>yvyo^gX@8^(PUE0G%F`sT)#=%m zX|2P)$50g@>|)G#QzGd4l#kf>vKhcWZJ3N|xjB2~h?W~{;V`RV0U+l7zMa>Q?H6SS z-kxRyoxUL%^<~D>8BYsrz`Cm4uDjz4I|^-Z&~&?G?EU&5Da7ULsJs{?=o!^xuBv~C zZFjetF}O$P^6r;m>8!bxHoK#-h4KY%WDbO+ld<$GI$amYv&W;hp##ZVzc5Ol1{;+9 z1pLX?8ro&_c-L#KA^C&%M*;s{wvnu)UO?R>@?HvKEnfdScgwe(->l@VHc)UikT8}L z6mA3TP>SKtc~Dw6vc^c(+Rz1qM9`QrEUK@DHBoFf+ryphQFk~dnXb=>wUSr5(dF+d zv4URlENe_<9BZw_(QKEIs+b5m_TYGZ$EGA0C(a#{O(KoA#=FTGkhos!Iyd%7+;14e z5_lE=oL*z*#<5Ak*jsKE6B5qfGJe|yBUP*q3Ay<`R}|}0SgovXOk(XE`{GFwa@mr>`yR@C_ z*whTXAJ>O?m6Iy7;dAFZ@n3KSlvVc2rk^C}N3fD!W!rAc+%#v743%O{m_gmVE!{F! zS<5Xwjx>Mmguh`6q>_vS(n;k|>bXtBVV1Yzrp8W<wAz3Rdu7pP8q9sXYAO;rw$4S^2EtU#!%+aFclire;N z*Z*d}iwhK)WLX>cACgzrp&*|FNxrHCQ&sFp0vJBYkYZx+;e$aJu(xth;R?xf%ro5> zrg3`7L2v~WS1aO{5xmM-aU-8hKX#CHY2$@5KT{}fo8HQ%@8>f|4(bWo7dO4d*>%MB zZVpgd;{yy@I&+Q3qb$A3|BxP&&Np27Sn?k>?U{qFmjvUl3rLVVseERUz z%k^b3I55?NTI13_fyS$AIsYK;S1X5SSXpTVPRIfm)wrZo(4WMNhnS=ha?=`y3brlY*Qv?+xNOdXygNs+YQ-?tEa zT~X;C_r9^22(4L8Kfchoi!@fgh~bZ;aZ2jH43`EkUDK0PUL*@&?nts#G&WE1*^}hF zYPJ)xFDz2mCnpjdf73cmF*TEMxrN%ux;?nr zWW`xiWu^FuKOtxeVc)YMMNLa8zce;atg>|f9f$Qv+J&^TjIhY+)&Ue)1@_siaLV}h zDKx1yuZ+MJlK7*WEE?U8Zn6yP6QQi`pXkTU6ZQT74u{CjZ6WJk6+(Ko)s!9X@bo6xcV4%3ad*5N%E}YTs6A^EiDM_{)AzY&BXR9#?&POC+Wn zSM%(lEgBOMB&Xe!wneekJbOtMF6^Gi8lZPpf<6I1+}G%{VttxAa9|(Fiap5$_C+_v z$5tQiw*fpBMjq)m01Nc%7%k$$(C$}8*W5Z7g^y7g*XF^#1$FpJB zQT1m`{0YL|aIjB`Zh=lDOmDRJXSVua~AVJ#fg+V6}RsIK4+JA5^De$$Ds0k3J zo=X$f;?U)ODNZUT$-0|H!dNqf7=)eIJ3odhZ%1J(k6qx4mXqgq%?)|QV+FpT+fm!T znHTSDxnP8{u2@kOiRxWUjXMf#7eUA-rqaYAL8wN*^&~?yy*R_4O$uYz{hOJ{lzt3- zr6W-v#31t{AyuDJyTE6G+bv6FrJni~vYNGgxI^VZBvHS@VeLV$NXZ5VsvI`0kg6Nm zE4WIvU+yFt_aAy@26K+Tc|DRFy4-bnJT3pivp*Z&PD<6+%Ka+*DyDsR`4zD$X38tG zAv5+HQP9wbiH8K|ya3efLNxJFFH}?9Fb{KE=Ou)2RLoVB9L%>rAJ9e9axr0l_Lq$^ zg}iS@-^{+5gIR2Zu2NYOFm>_wsrSyIp+!t`4(SOr222o==X2~8!|0j$4yU=s63>M` zA{wu8zi?|KJUVL47ic~+_7~+5NThL7mz0Ohh`23UM;Cg|h#=O7SB#ADNYVY9Q5_;e zH8a$+aOQiIj4BGj?9T%~En!NdLIFdOn?@hX1;qC{`x+V1 zGq=syMrLg^0Aym)if(opoydn@2QXD&9KQ~3?IwyP~XLesT;{`XM@*s znbKWHrW2e)U@2n=pz>K*=aMT`@r3ny&$^c;*pbTES+&T6s&FrVN@RH(DQ}PM@~%-u zO*}aH;N)x8-<4d3LCNRemDFQOVUr4T4v7Vt`K(A!T)1Hj7?PTPyBnxujqpMUF5IY_ z=uef8VMFI4!RuP8@r4iZosF*PLG(258Zx5`$3D^8gUg9Rg5~-whV*G73EOu~hXAL) zAs;)$z5VdaaER}XW{Emfc`^j^v1Wkf9rYymq_RlAZP?`xOmxL~2$t7ul+eIOnI^Ox zDsqCkB2re4VIyZz{E3N3nA5k&ibqxC&$J;qiC&Q5)Fw>erY*g)u7#Snte=~B8Y5=c zsIIW^SRYK4JK-?cU@@i=1XTG$mfJR&Dw%Dl@XB^@O5^pdsi0!zur(1PdS-FiDa`5O zvR*O6o3H%ZYuV+cnfe_&y<-783w8`m`a0looq7(=G$XRESOXq4D;Rt05KHV>^JC;r z_}e3Lrw3DdJ#dqeM7@)_eMeo5d0mO~x85s{U%1svl~a5O0}Lk zA7xI&f&Efejgbt;k{7C3#%6+aL+dTbxbflb%`)(Zu4XTz0zN()-Y=Au7tabfnm(mp z{2g$sF#s+)W{3@2P+{+=u6Z<^N6D*6uzs%}6*sT`A|jGW|$IRPbmdICB%;c@>yH8v2!- zCONR5+RFp%w!J{!J&D>EtzQ~!fHLe?4b#r0vCfMUEUeFLKg&~gzGzHFoc;?yGL7+k zX=nR~7mqIeC{+F_{Y!PY;1&MFOr#82+aU z3qM(%xB+RpBdFSmYD*^VU5>?bM7;+;Bp+$XO;2V6qsyw-4+y(=H64y6oe=ibMw`U+ z>k*8q#R#0!dkyK_E`d?@1MbeeahT7rDfRs&L@GNswe3fN)nXu+-c5LOdVFtG=e4%M zEvzZ`w0$Ahhky7|HGD73+8S_qLf5X+i1AKOce=*Ko8 zEEo0-KL9{F(``0E=Qs|_Ao_C|RR9!vWBVJJzzpC1vz>L1i`iTNx<+t8EMLJwsf|w* z4n+1EQgHg#Sj+=%*krC`I&k5Dh)w=CKTZ$=YcGtq%>I!n4cIZT5_*xLi+)L$DH@Bz zGQ9ggbiQA-6#{%j?|-aW|8rv*vC|9{4y^ALQlG}sjnQn@>X*|50J}e7NUErgLR{yo zW_1dz>@<54O$d4oK(P-Y1h0Qm=dHGFkD~u)0aw-n`@aj_OBSX}`%Rddr65#?75XE? z`Nmat#^eCcuCUqh)_@`Yw9a{Z7KQd6|4@gs(tTOG>M(%;d(y}C$M)uaXNhz}V2J?p zAtDQa_e(yM5riwB)4!fI>uE4+73e>gRrQMajR^8V;+(%kC%E?giJec$taMXW>T{5~ zJDt}r>K!HP+ix9flt>gU$oteYO~?n_pj|8i8AMaQAa@i z)fs^ebKZlM%vmdqH+yXdR$A4Zy8~#fe_iKs2owtzeE%_lgUUExmUV6a$o$-K^ z6`lXIJ$)3X1Q$@2uOx0V`yDFGdDAN@&XvKFgm_w1L0I z{4@8j7q=sFT6PDnp7?P}^Nuu}Vx6MbGq1^|(l4&>v31zIBiFWfyEOe+dHTt~{_cRv z>X}B%M=tl&45)8akmc`Z?XTEf;W^V?vsqnM@lW~w^1-7er^{M0uaDdm-CNSee_hKX&}JY%mBt`03BQTn01@eSaa!D#v~UT+5qYuR;`E9ne?63w`OHl!`v zV~lFhK-qckLk6+F_jFtJ;lV=#8Jz)ScS&?$RN($u#ibpS`*)^UrMRb{O_{xTjZ0UO zrlIp-oR6XB%)O7TC(obOH=%t*W#6oka`Djz#{v#q+0*^Qa+6h_nhWa5n(OM*4T-l~ za$5`oj%+GU@=LT&l%=HhZfkp37JsZbJb>{pt1fuCxqD=j>xVC889N3h_2%bp&J`nz z{`Z~Ljf29_`JpYs*xOOJn>(wqw@clDfn-GgwYE0^s7EV2VH>c+i<08dmo=dfidW5z zv~!SPGA{gPSV9tYMAlg$aB=N&I(=c;$d#$D%`!5^Q&J=Pulcov3b}^VdDA#*=PoPM z5Lp)~7S!_S$ETLAB&B)hVY4c46&sJ2a?T>hny|KK=E}UTyca0zEJ?-9abK+~&1+wy z8wGROYy_`HMo#wAG4bKH}#sCN1#>?!-musm#C7m18tTf*^A zXzhbMADp#j89U%hu1uP2e<;{Dcg-Aj9US9RyDM*jIV3ZMCq4G#19+)1J$oladi%p? zIeN_Ee`}vvN%H(q*o(W*jAYU;iW3V@EPQDMiZnc{zhp+OAwSQj|1zv?W^S9-Uc-9Q zKBS7d`%KrU)&X(e`ZJ56x0z&v2POT&mJ(|+pf=>$zr}f6_yRL1HrHi%HP6Iy+DDWO z*2C=yFU?n=h7Hu)Kt|y!RaTzN%Ydm}&+9kubGK%5%!6mU&JK^6Q~OFP=Gw3Eiox)% zUUDF5-1y+ef-~02ylw8*SWr70)?{}#7%ODfwULXR$6D`%R~LVCdh5n0{uRg8Y_LQY zvhIbx){SmUd`|@OrK?Huokfg zH*D}{g$`PE2O?ox#%+Ho7)qv(Id8LJIkm)6D9tmI9je=4{Z_`76*0r#CIIF>+l5Q_ zBT1eaS@_wvb}Gs=LN_KDvT9C+x!wfdDXSEGcE!d|s+miVjd}nH0ycF)&CgS66f2ir z&HFsI_BhMZc{}q;u+^+uw|%nln3C2Jg=`DXG{QF~u+?m>4wRAN(AqHY6FxruW;(l} z@Ze^8BtNuvRNgG;1zQj&^Pb?%YsS6}uFcJRs(?IgKFoX>5OChpMK_;u7{vjdP__jV zBLRMaa8S+v zE%=PUoms-BF1m*sE)}ie zQVF9eX)$8`9tLkMbVkDZlh0tqrkZxfX*??Y99O#x-T3MZ^|g61DXJ}#&KY}Z@%(HS zsw)@Iha@@HKVK&XHWb$AQRZ{TUPpohJVEVVl#LW=P)fPuhOa_aQBBtd0qmn_d|ul= z<0i(69dk=uT$w{Ck5&99Oh|&$_>u(|uoj zJN~Qcc)#Dx9KP&i4{qEz)v#Enond6XV%vJvayyt=H{n~wCrU~ zg1hSVPWVR*oln$!GNMrwU$C`!tTWn3RqqNZfgka=OU{ZUqJWsMUMkr)f))KzD3xAt ze|a-O_m)0H6XzBdRdd2+OD^dRzqJrKimD0DtudmDq_CL-|G=G&NR$k@J#s6T7T^By znGv^lN_ahg~slld0CvERDP{c6!0(bkJ&ukL?ixHV#ITJD>9qJTwTJ#P6e zRvMiv)MXTFea@Q5>)$ao=UcC#8;eJ*aZ)LP{s*LMm(fb6`k$Evxe<+n*>8Tn?Yhrd z_A)rb@YaIxKV@l$-fY-9QQCaxlW41%`_;tPqt0wa$M|_$@N7O z9mV!@u)`(&b!$Bkm0)$*hst@1RIe>*+b8c3ZUug0)(22oP;+174U~KM@5s?@gnqda`~qwn}kSiV2Q#8}`0y+q!ww zHo^hKuc+UK-YsDi=QgJ~QVDMFUNJR>Ju;f#y7BHPkXH0wVeg4lN->}FEFm@9@^XSnO%UQ3HR1MXx->Ik$_Z6s}*PjW7YT8pLibu-4#9A7w+Wy~|#z7~yS z|EdX+6)4bps=u|o9!{v|+eZ+h*4(0LMblba*ac96dCE9dqn~bL2~tK7AfB&(+n=Fq zBK*1X`Z5AuDCSA)cQ=gO9pNy@RtZ);o~=d=Wn`9ijW(9PF_#uU%iLILp@%kv-wsv#l`=?{~Y_SV~&m>t~_tbC!~#L*G(qMQ)mbN)bWZ z4q|qESDvwU94+6d9l;uMCT&|R65MsrE@4zF?L7%^YR~{#Da&>b!W9?apT8}u+2UK6 zW~&?|n4s$*Ii_I_5;hZ#8=O?H=hvWCr_3}H<$mNRL@7KKIX_1ie}2AT=|4&HyLRW3 z!X67+;htiudM%;F6G$Uxekb!ZChHXnyuK^VPo<1UoRslBlWXYfrc)#BTG+*Mjj7g| z7H@EOh$IEtuGV=dJI#rz|E&RTHT5i=67iwoBJ94f_B2)T4{X!v=5u;XwN^~fY91@9 zgUL+uNwI*BHITZu)>7M2pA0MF(X3GCYIHgXch+dlqp~@i%fYZ^*jj}HT?#ueC&dBr zvMa-k3bz1u} zUvk=Jp!yv+&~oY_Zd>LXZ(ku$&aI1|9qp<5sSSf1W9?>!GHbYp$P}F(tR-8w)$6+P zIVt`<(X8N}g?X)$K$j2{n9h821j2bYQQDvfPwG%$k6635X3JWyck3c2TVp0Dosbme z7Zh{WGZ#r!2&Mw`9NWNO#fL3LInnnY^!=M+cC~dF6ExsSo%!XZur2ePj?)>-M)IBW ziJB?2a!x@pX{`N^RmT-({9Dn^qMfZ~P`pZ>1+C^9pCF92PD2qgTE)LR?+o#U$LaCX zW}xhE7F7Kttwjx;{>#;0um1YY8|+K$EtrS>d2dh zDON*XnA&>2^&;$Jke5y5pOR?Xc*GLTPR81?xORG^Zd>Ns5lJ`G8LE0>x|zJb14B4e ziv`*#NYvWZda)sXcK{WC6I?Q0yN$^j0h8DrKya1}?}-5th(N5DQgl_M_6Kblm~%vm z`<{XqSYBU@v#w@+^HROG0#2AW1brVA=(X*o&~bePpVi)VK)5b%w~yZzsN zGhi+$I<17G_?i^NLZS+PE*u_Ex$wnbL4?o*{4p1Cw-Fm_ww)#JVZYaFS&zt5H5_?4 zNtIi9VA8{J*r;I@CJ_IbW7I?&+A)>V;1K-oWDSX| z+lQsiX2ZJzk)!$+L)#Mo{GuM^5oOX)n^JgzThK^pa}fz+qN-1lL&e1O;Br>P==cdlzfozy?6X zNS1`uyDJ{T%yL;9{>0kQf0zWO_8xhw{LNUFo>k0eS-Lk3SbBGFc%Iq}spJu`0iK}I z#YW+yJY(40D39g{?(T%c7kF~MfDTtllyLnePGv{ z+NcSDa>g)q(U6!ybII)~nrZ}3zSM=TM)cw9gygojrkW5wAdNN0*({J~M71T^T_l9f zI*w|03{Sc|80(ylg&uzr8>!Vdm;VdLAS)`Ck;1M-V4;fBe35$2tcOPqP1-~PS!BJO zylFTvVAr%r3J6aA5auG%?8l$WZmmvvmKkD|L8#;{Lcz*ohjiQU(~?DAD*iWQQiZd6 zYH?V3-Ezq*ZvSn5rJTd+Z!%pj#yOa*IChm=xb z#%A&abGFyBUE8nWK)>SNDEctm#?r3T7|Y}>6Nh4BD>!u5M(eIuYA@E6pg`uEiV4On z*SjY;Ixwp1`MowEJOCoKYf%mTDu{ipi-c`Ofo76=DvNvqD62v}2<7Y1sO<&4f#6+8 zydU8lKt-y~R zckO0W2WTMgmo|-X2U=$~-dHngpTdJGFFqUvP8j5Ix`dk9HFW>Du374c838OXsf#mC z6QD%8{?9M0rmtH;EHiJ!%(_AcnI^%Rn`Y>R?z||$`e5kd17dXRpC3$%Z z$?5Xee8F5ZBp((h$j-wtdOjj}encg?16qz)N!FEe5AkgopMzy5jHD^KAj+qSvF-!yX#x)~Jt6kScfY6G&lY!Sd*kbru&^0Sy$^NsZsYKRB zepfzN)`;bsV&EHb>mRLusH@n1>Xuo9gy621`UU2G;daso^8RQ;ev*h=%YUF7g=0|m zpEzslpCnJ?r+!g>@sYz2f?icZQag?VpNAf2^kend@P9Iyg;OOLz%h4G<^>VTz5v2s z#C{=+HLh&ztr|%;9)!f+NvH8voE0{bpHoiUiDFdkK`%_?u@E&IxvNYRs*|Pd;V*u< zVDa7T?fPJ%7vw$GM3q3C&}Jn61Od^`1y9DNl35=!TW7=C>dRSuh6jVL&zG(H~#tL&nMRG5?ysD zJart9P5bFH^d=0Q+!)o#vVISh3JcpqS%~=vC3VhuPo6$#UQfV?d;r84z?-uILjsp4 z-6Q}HaEE0Aeb`D22_uOBjVC@2eID93jMex;qbb|1jsWIKvTWC3f_!uUHtq44Z2!#W z@ye0k)6Xh{Msmp*(=)DAY=p|sTpkM?4h9&lQ2FUhjXdI~$9l#q^MU~CIUCai1l^AL zk@DDwP{)R*nnJgON#ojMn|^~zuJOtA(u3iBK27UT;Kks19OIX|jimpM?F*3K>;K9l zxq>F$*fN-GHly+@?*77LcKbFxsw|0fWmmzCho<@fGD1jVYNZ*ObuKr_f^r-d=Ze?U zsiW9hxa=U@NB8}?dn{nCDL|2V!2o4<=Y!v-^^K%&7|UY^2^J)9UgA>HtnauFEcx@0 zZ${JNqLQ9>{1ll9pglM> zb(pGgKu_j)%c*;i<*4=;NTyHDII+nzYU_ft0aUC_ z*(O3BTg)P%&sd?_RFve^zP721t?41~OxTEdsQ4auBcS)Oes)Xamb>h+3qc>=WGWGj zd~%9S1y!z-*OGvX{}|PaZQU%VT-mm;bb*iw>NBL;^bc<`2Yo*}e%Cje%Xwu`c^rSv zTC#Wkr-!b-uYq&>ETG0s(o-p*n6k{ah7ftp>3jzF!Um7REvMK)zM$!RC7jMQJw3Z+ zL{lQmYAX*ffI4dA;W`Vt@p@pDwH$6mWhISihc)4gtvlAZwZC9{&7WMwYa|b4S+Br> zRfpit)8S1vlFAiv0Z3HYv5244xSGW-6lkolh>-k#xP)Zg9s(M4Y@ab5?U$ z%E)$8w!W>5e{_9fpKW^?Qh5&|HgG71K&2Cb513z$e%n9&ro}O-N5;CqekW^Ngn;|Zo{k>hw?yqfd zWyyaGlO;yNw-4B{){Ic`ue^`(fW_UFjGE;qV2A%yUKJL;9Sya-8{8<*^Ktul^OEk{ zk1*AJ@?r3MLY|uDyj0jt(}VR$=EoJ0n|0vbf6nq?OX@SUz`MQu~2zD)M9;ZoKb z?%TO6^S!mGO=LilimdI262EkicSimo!f};KcnarR0tf<{=F22P&{>#EN z8G!ojMA=Lm4s-LXoR(StzF~q&X3f?fu$M}FT1m_N56nf^1|uW~(8}>9B9#6hrDIda zwf6^B?0ob??XOGh?{@#3n^QaUr>S9fGbWy!q>g?x`9it#o&M&)bI1NIZ8#*fHJVgW z+E94x2jg3VzN+iQZwAOj-oiYuXF{6}jN?l}*wZw8NjFy0IQ@S(F2-DEAnA%tCA z$geTjME17p5*N#{`=58ll;eWV)sItAW~CAJ`1cX*BI)ktNllq>ZP+Y4hR7MWOqs-0 zOGB${AN|g!sdoLGQmfDoZXUDLeR46OmP)PiLYqjG*_lo+?!=GzXt?Tm-lG)8f-KQ7 z{ID4bO0S`UN6SKOh@n>kc<{=CZK1s~P|Sv2yxt%#nyxv@&`n~wEmHambG8`8Uf^=( z^8}^&cr*t+uEQp;gDPX;@6^~w*zN=UIFO-xIn?8Sr+G_d4p#K9A-{(7+8=YnKaA@* z_I&5xn@cC60!`YltKgLpi`9(qlW^=@+TLoqHz5fvCW3#x78XL(mfi~O+uc3VDmyM5 z6|8ss@Pwg%9JjA|W;qqq<~)9iGS}Ntk55hU){!}E z%3kmLVZ-BweYG4(+_Hk{7))Gtq;a(X=H^WmUJv%xlY~Zde-NP3cx3m-#&NnR^V2HU zk=~>ne;#*&`4O2&9@YpWjU-{q3Lfw{k1yhar7jbYY$Eva&!xv<_8!#Z=FlrVnM1#_lYA@=eY(iPh%Wsp^ol;%cY$~u zT;UD%M0OwerNc0ugNY9g?1X#WD8q|oKcRB8_sE^?j4;7#?g>s#>HaXde)M5BU3#rx z{V+v%uTC6}!yl4{FsmDujFyW^eKMCCK%X)ubS`~GSCZgCDbw}KB`CBSw7l1NA7Dlb zN>i~3fj;a7oXEy5r@0$A=3}VBk0bp6y3yF~ReC8O$2|5c?F;=9=b|rhmG9dn>Hk*SzZ6M5ysj>cf zo#RxsHD5XQS9)OlYHat`Re6Z*RGd51sZuI2FP_rNXFFAeu4mo!5IU_38)O4EdgpgZ z5PfN*KBUk!=K*uBEFSvBk~tIpese2n?!ezCVJt)Hul0`&!HLE(onZHIwUJm7c3O!E zFJ$-XTB|_1JF51l2|Ijm0?=~)3!REgUaynJI8cQJbqu{46?}|Zt1I2T0=94)tROyv z=TDwXl%wdI(&NZ3CESIfKVs;koyoX)y*2lp7-hlY>&=4F5ipprHquPekbTvXQtssk zUrB8^P2@G)GfZ;$H#`bMztL+aO>bRN??l+Or-s4ElIAT-fIKDR>&^jrrhB9~P|9dB zXG=;e{GL+l&!Mh`QTEmP>;NgelqK|S_br>Sfmz`k9DHC>l!=VcE=N-QYF+Ce*n_8a zw%1x9L8}Kui(O9_6Y8_0b2)hY>Ui%aJvYqJdIO>kU1j6yyo2GZJJ7WYDCc~uC!j7b ze$tWsVuns1PK~`@a22yoNFVYPY+~BIt*Vb_DKKE`kQ1)DQDf6{uIjLze)`_&J}UTZ z)H;f;Ndy^AtXtysbMhY8jln-Kbpw<#%6^K$MLvQ`oS754ISKCMTAum*m zCFX-Wt^(xf^9Dlz?;)8`kNsCivQIp|8woOjW=yLX6RQzNyNwOI6dRiJQk2u0-^imm z&L~(L5=SaHbhC{dzdHYnH%3KV`R9zDH*KGh_iYVLJ!G?C10NjPU(Z*HDVr_8-X5z$ zs>ZboE1h-+;2d@G6CPcYk3e>hgyuSL8o%qNK#r$IGbLw?sY3B^8+}3Ra8!`=qqYpJ zHnL$`p?HK%E}I0>WbjKflnub3Cl-=G(k87NW6=1(A%iC)eobk82;tlsF}z?CU~fj>W`TCiJ{j&jf(UavS?!N5KsDqJrgO?Ow3b|4me~#84m24gNo} zzK&cj`k^>vDCRTtBo({tiv{Iw@`G8y?p%iUHQnQjBxP{loIvOOBxRH`cH{FTkzwx5k!Z6UpC;%$@aeTG!RT zCx{dje5Jqs3FFq|tWB`GeMBfT&7UfKXdjJ0r&mmHvKu0L zfYe6GD6IxxlzOeB3OGA_7Cv=|Mmsxl{0^vgdgSyYu~kYkVKD=E?w~RH?n45 znt6|*c0{Yq5N{rwblnhO8J!)(RxLftY5VA)>pV%l8OdTYkr6zzlr(rYLh`6-Lnk&H zsEEn@7%O|)elRD^h*D;Vawjz$a+JTwoCCQ^bWa6- zXsLfl5O7iz`o%uQO%a~H_1n0fIBmd?Ysc6P8iCORwgrD7!06GyjlX`2r)y5Kj{N3J zJw7q!kR}eRXE`7fLDo5rpxc3{;!`0qnc_3_CVKkH~j*_rq zl2&nO`)WEDH2z~j=(t%(P$ZO8qz6^7fUjeg>LcPP4*tK?QDY!Xx}1kdVFb4O!>C9k zXnoIu^e8{L#+nKJ>DQ&0dOe<2IqO1lcD#p2Q&Bri&I(n;U(+HDPV7@TRu3R#=&=I7Cj{<)5-d4fP3ll97iXT zk}rjUs~wL6hpEknUs;DGj>oZGSI#+a>U9#WI-$c33?uztNo)k~2l_YO_&@|dT*e2I zIYo(%{}9BI@zmp8j{o4=qVuCx%=q)jRW=FPwWrMx_b^DaevbOy%nOjp%b)Uo^#ZdeBfGBAMXR7H z(@YzxKpZ%bG5Ro|byAnm#=@9Hy*4=&KUASf)0lF7-8dx8r!b5+D|NRnU% z2vhw_lrvu~oVT&nW%RapXDq0hNhSa43yQuFcK7Gs?L!6Uj8JXS!BJH+laBrym=Z8l zVrnrx?RoCGk;40Sh;x?@BUs;!0=sm5{EmxjxL{+*-EFKo{XRYQSeCt8!GwDK zy4H?*Z3dFeSuLjH;M!T0JMi!tKg43N43Ab+y3D=HeXnQ-Yri{= z>$xa%tqwKw*r>e(@sVV)a}O6RPi?xx(3dUQX`~~7jp5RToN{JHjWd)dmkZaLQ1Vl} zVDF+8fNzr`o0;jMmregC_a9bn*LS%jHS>DJWdp$Xb<;8TEyH0bBWh;!#2z;Yf=&D( z+ITmT3EgD$ZYi*CZ{Sb{ynB)f?bp4#iUrx*?;!I*1-%!Gd;nyBoo{n=iXj9=Rj6PC z_uVpv=>rSuvi7(>!>f7c$ZF>rWR_EBK-2+wc>ZycTayO z&?CNVb~Zh7G!+}ss&5vOQD5ZN1jiTb-GU%<-Hpcu8rv&Xu-qKq3Dr~re`6jh(E8l% zfI+3yW52K-QW2g~q!qj~xN9@Cejjt>n+{Cach?XpzkA4prfkvve_3B157quYe$LD= zV~ePah`CYtCyk(Sw>QnEJa1RX|*$RqtsNAC0q8UELp;! zvHhN-zT4|Jf7Che<#|8*`+d%No(HL0@5cLMg*o~+z7lSz9ea4IB;%{Gg^$O<9D+^mgk|sq5Msp&P7OX?gmahud2@V^N`V#*-Evaj3hGn?M z&-pLnNz>~i&d%)^-}_oQ(ROX-E|c`RjpIRYq%Rk&Ta239J078;$Vsi=EzAu_{!{h1 zUFY`Jq$it?IB^1#*QhGo{=Ti1>5m+d=So2!QM5zC?VH>6qy1&LX2}A{PAWwX;k$n7 za}RP{LAV9a_JUd$VCJ8(aV46)>9#YVVi|(ld(mW15cB6ve?f2{zC!-6B3A%_J|Y%1@;69mgkSWKvZX*U%d`wFllK+VLsu+O+y z?U#{Iv0PH0BMj?lT8GcT0%Ka5a~?BijtDTa#6iWQO$Y`Yhh*07RSp^1bJ63j9Lwar z{bpESf2DcY#vgyRIlXSLTl4zp)@iZ(vboK7|9UY)t>;xssfxtdE)Tj_a_*FJ@Lo<| zr)QTxas8-(b8gZrR;4o3pJ4KHcUU zapU8fl>_!TU2!}Vy1q&Ei)+I}>xzx@Fyuw@H}#grxxnKt@9q~{2UGJfGOsT(jFLj!nY?3iWtiB-NM3&phCv=^ z7{2ZI8#0umGO30+|z~McTzqS=N^A?ijAH=ouR{Um! zFn=5cfUIToyAhk`cTK8&EQrH*UV2*iDjcLR4zfV_BHkf*u{e$nuUzCAfD|I0y@Pmh z@_0QIzCmX4bhOYl$IriOy^zd<;ImkQTe0ztmG$9P^AQRJ`e-+RwhfqpyF znk78%k1d~>+PH`eNhjjkIu?<>Hs6*dc96)hzG1Pb!}mJtt3pfisAow@#6%DP z^^o-lFbJLyD>lq8!x$_@8stsJ^>+zOjtXwiiV%0(zArOe`Gp{MBSfD++#e(ejDss@ zaOtHl%};$G(&|P9FUAFCb>XilKWtrF08kc97)ll9Ed24XQ!u9709GKwNhdno7FH}* zlMD_3oZ<1XoH!p1fW}Y$0u(`&cw^fzN(BG=m3DbAnUS?fq1o%)?SdC_SsS)nP8+QU z3{7eFBezVE-wxFXVAsI5NtridST4HoryC*?A$KZlz;xH5CZC92mhYGVgoGG5pSMNO zX>}2jbxB3HHYknm3cfif7rd&&og>G-2#HbK`o#sd-?WUN;uMeV8Z44xkR0&;q}%FsoJs-GOLUxwc12UqXr(CZd1-1 zQila$E;aF;`jOK@S%;>CJXo*JwZa2;l`3|4${{KR1}Z;&vht+kGJFw2;=2VlWa89( zKkS%sQD4m#8gB}kJ1+A)y)vuHK<(ab&q7(`-?7z+qRFzY$xV`0j)Ij4%#gorw(k2_)%f3e_91zt?r?Pse31A>7#q zP5Rj>+9e2Wrpr$9r9etukbvbttpr}%M5wP?;%lY2Isd6lID$7VUzIN>jJdTyj?{$A z0uFz{;Fm1tD2bCP^f@Zt6us|}zX~A6fH|?fvna6#|JHf5ti#c`8NJk?C7=|0 zQe_RWHP-Tx+jBC*&I3FA1LX*JKNPLezWLf$tIATwrPlX9RS#rbYQ{pMo>FT)PODWd zi@MyCE;@QpkJ%F@Dy_b##CG0qeBr9vzA(WDK5pScPerarL^aK7&Zi(Qu)qAmRoUwbwh`(g?-Ja(W|L0)D>gnLKP?uS`132d-nE9~=<)3l z-|uUX=VOftk<_ltp9T|VPxRs!)_%R$u$Z`@$Bxvx_xaKjp~RLgt+Mn#mi;lZ^`|1k z?8FQ65{L_ru}*GBl0qp+QpJe1ykIIJoGHJ?O}JXr_&+q&S$hcgJQBgs3YI(~;-Pw6^%i-RWVBSHv;1Ibb+M7RuwR+&^V6-Fv(2g_Zl(F|T+`!B`3 zG)*;vfDfhML;uANkLz(D&uqlJM2epEuAfTQp^!D)hsm?ZPKH)Rg1;*R-dSa3&kArgE|w7<3!0a@ z+KrISJs`UX%(g}mMYaSZwCkqv;|yHM6A>)S2rQ$>Zeev|GV3c#iMcgsBW&h=D^ihJlK_54hJpS(>q z!se$XrwUo~IDXt0L6jbgDbiG!@JTsh9U$qx(vy%hZq6|!oEukRlcY*xAxYMfa|rO- z;C4=^N(WJzPZ~cBMyrT(>+Hnb~$~A z-6xd~Wa!-%jM4^DlKT*$VggJS!m`RG=tuZx+zk=8OR7i2P<%Gzh;!aR50(CJ1*qlvMX!`a(!zvaVe%fy9jmZGlJk zWL!tnUEOnT zQs6C(WEY8Hzi{4PljgUEn~mk$q>RtOH`HYgG(YQ|zJW0_UU(o|Bw3zL_C; zZ#ldxl|>v#2v-(UmGG(VEZz**w6@5mp%x_x{>C(wE|QYVwi5J_G%ypt~7haSBHqv0y0` zLPV2nV)A0nO)@U))mutr@OexKv)81ln4(}NE!%%;;2LBK;jo@q)|?#uW%3iLEk6Zl zDlF0@lFZy4ZvNAU^O&mXuJj4PJEMefllZxkrm{$+a2APHns>feM~)xIp%j6dLLlUv z;4e`XEh(@e!;DpJuD@J`MOJ!L)=bAw2Oagf009nwQ;$^`9P$(v0=m51;DSS25kWMfl z&0l4dODNLvg4Th=La15WAfvx}^-hNUXu@)dMpL2^&%3b-b+A%3Q_P)4lz4W7#t<|n zP0KaIk%LOIvWbn`@}?nnxDv}+(8nE$@;SaVmeYA5#FVi%H$uq#ZdvX$St-Dfhhj1i zm5yTjswk>3wF3Pmfwu!$XkWc-J&k@C6NE7s|%5|n0I2>C){0FLxTYI zcXR@86ur1P4iic$z0QZC8w$(J-Js&yS#LGk*@020U81y;VYj%PE->hkWg?u|sF=qT zRHAnXm=9jA4rJIX#IC_|OcMB~*(-9>&hl;H<{Ctk+be7fTk9s=_?{6a3AIwP;8Rm$ zgrL>gQkh(c4&=EaF*)tR6pj;WF~1k$$72q|NAqN3n4BK6iI!)!n+bzt;4DX?K!sUg zqwJumUFNQ^^}H?wp%W0Dj~X&MyBAg(UK~a+aDJfB)z=$6iAe{gc>36ONhmnL%7GN4 z#t5>N$~}invtTLMU#?sZ*#L5D{6;*-C*T_H2{EKbw7i<#u*qoNk&Dl&l#qa`$HoZ4 zQ{rgjMsjg8LgMX!GD+LQ)M>dIf;cqStsR6^w-<+VDpw>nhT(;g`C1J7>037iD1&N< zMVLPCDyDijIeR$-tqVc9X0O#C zWF7k=yyw_<0_|)FRCsoECuJE4B&L3J1y0LAFuD}`d800}zCX9%UdB?BE^Z>Lx%P;X z-3KTuki_?3*mVJ7TU|sUnp+HXb5ItH2JJ^NzT;qf-Vjw&@_6-XBDFC~+GI}>RiW8=8S2E%4n$}?SlH1Eu5LDu=1<%W04pHnm z-?J9TI1;f?I!49qQr7pJ1G_3niOFjknJA!9u|lGeN&JnREg}h_-9TapXPb`apS_{e#bOvkO2N`3Ff>iH+|Yhk%Inptj(Ec#mr2mP!cFwhMyj^fipNZ-8)Pa$@7?ZkD*YQtWZK6NfT2_CdsRfPUxp3K{yX1&p8B zr~u;+!6Onxkh5@0SjiI{49YXTwXgz#I@@ki^GOF~dDbmkPLOfk`eg{2DBcK(Ujgxa zgFy{MigUTqm5`ea2bKF;jLl| z@^le%x$W~%ag0S&a?AyPU+6Fmx=v>Fx~*pP(g)=kb&`pCkvgc-$c_#o`Dr42Ub6#?S3qXLPiN&gTeZL>xoV$l(+ z&OVlgI2Z|^UG7RC4KtA?1cpB$=0<6OvWz+%qNHukFwtDj4AyC@#Hvpookb1eFflg8 z{3fFv>g5e1F@491$X0ca$EV>eQbu&URMSm}`!WmHidorfC@op@nuw&v?Rg>EQ8+&- z*DVt~MMY&1tlIKu5Ugp7##}iD#X*M|Y(a$PCp=sWVZj9R^5j5iM(>el8?mg8m5F*6 z0;x2=)i?n`WF;4yS#3tID9(ow)V%yspe=jF^meyuCJM3Ib-R7g6LlkEShe9X@a4mR z^w6=0W#;86!2D;ksO0GF`E@kEKX6#$h*E8~u>}1kaXIw|l&yonzuY23=V%1X<~}16 z&rL}%de1|VIVBTIoB>^^vwi+?r=$V!DTbM$ z@S`n;tC5(rqcu=_P?XWTvrQX~@o6Z8J0GmN=;#MQ61M~sGH8R{ur5O+)m`leEiT^# zqG7+G25l^&&e0kI?MGPK1XPtoX^&$A<=id}7Yi!ls7Zln%-Mp&7ZCHg)WEg0qspkH zX;uX#kpi^?U*bS5>41_wj?(J5Vj+oV@cOAu6^MBY#OM#NgyN8ri8DgOdl z6K4d5n=rODXnx-v>ahX=(r^Hl5J+=7A83F`o;m6Xc!ScipiHPF>sC62(zYL~E;#B# zQVKW2b*>ew_BrMwNU9V_b&vS|!u*UH#9|XqJ##>0A#9uWgWR@^QTGXr>H1iUDrw%S zAVAefB#B`tow$8zei>q6b!=2nNi!Q{;iXKAsW>_+VC6?LiM#w#8gxjZ?qdSsM4dXq zkbLkA4$@QM3`w+J7_!gs_)DidPPG9QrK^%Rr`^qSP zo;6{(%{XCyM$KYD)CC#rR2{Wxn1p9 zB$X5OP*F;=Ot`EBbwPuTjrm0_%K9#QAR0kH&h{({kmj`91Qh24ZKw+-G`bNnUu!M` z3(7?R?v|CvS%@~1n98d~9mkAkQuGdToiN68;eAJD^x1}czM*v5=bXQYr28VUDmEz3 z7FL%s5&C=vmB>{mILeF=J8y+Z1Fi~pOQj`pM~I@7%$!mMIxRE`aLu}p5MSKOlSf1; zo2y&}NcX2g^kfYW{hZd#uTc=vOIZ$DCL9p+yrWr;C(W+?Fm(=N;u8g@seAZG`efCY=eI}f~Y@UL=l>-ahY`@2lgK{NdEy<>6;E#?QL+{q#z=6F> z-J(>9N~v)LTHMG1xI&xp!wZeJz_Tz znq376)G+|m(UbsP3igoKk-I>E1<89%g@FeNxUTWxFCC1D=YhShX_hxajB+y~8u!QKOzSTcQ-B#I?)cjR{3{y&apCS)f&!z8T9FEux0U z^{7`dwda(oOl!sx4<6P#r0041-B=B^^T1l z?w%;?)z~+g1?{Lsczt|$rhvMzwko1(tV?U|NEGYE7)+9mV!at-Y0nu)Ek^%+;qUan z&3WGUr*~Im4xZoBWx?y%Bko|llc(1doma^mB(b)I#Yoqx zh*t%DtZr7X?pWH)#yOpE@}gMRi-?-h-iYq$G1DJja~g9#a|&~=bEb19wG_%(I_;)n zzJ#ODH=*N^B9Uh(Ly@tOLCZ(heKsr3q$}--BvVG$mq(AeyqKkkOUkb;&m2QvD9}O^ zePhPfM2;%OQMz`_c)w6k3Kj3!7HPVDrYbU8h$$hz&S+<`RSV6?W=1hmnWC`X$YRFj z#q{z8m7ZB4Q^w4pNSF~hwhcp@j_aXwh>b7dvngB1#`m1mO{k~B7V0J;%9zwm{67Sf z`qlGdw3jrd1Vi_jUcj3WU&7LmG5NU_NKZv%4K{01JKse>ko(}BMD}Eo5!##|n{#y_ zM=(F^)a4sVT5jBIuXe;yhdH?HQDKRmRbMHZZ`842ZTFmZ+VF{Rg!yo)14vAO0lpsIcSt(+)j>o9%A|9zjm6h#RkjKSL+f;(g)9oqzWh=jad} zryEW=5^G0O)VZo|T-rUtzLM5JDYo$$=NosDt}XZNidX0E8B}l5=V`O&6X#8U-6KndXwOoz}J%RFN zN$%qN+HHRR?ff_Uf~P}_bH^lhwc=qqQah~Sft}2}c!Ynb8zmlfos|{z>;2dOsIIqs^fF1R&b?t38H>NV;m=;lXt3F{j1jvBPUi1@l!^y zj{2bnqWZ|>aQ^UDGkA>pG*#NNVf}L758(r=`kwT!?aq*OPM-~KU&-cgv3Xk>6D)^L z{{l6QiL?*YmgBI!HO4=sKjFQApklQT-#_=G;v)gW<--mZUJuh`JJvFXlG;Rzi(N}M zsXJ+GsF(EZ2{|zcP5auNH(7VAA*#E?_if4(Pb=mTXra%s5H(1*tPz~2sM}ZHHdzSeL>t&8l$THs}-yFij4^2_sHgdn|@>_wdPxj&A zeZxh3neI@|hf$4J*hF5}U#~>>SW@?L#fbZz{$Dtw9 z@0D#_gTn&xi-n&bzBH8in4ra;Q~OLRW<5;8xV%=NJrlW^20QNYr~FzE;8g8pUajVr3Aa9H23j<~3ru_uc`dM~fCJ3@Y|hm^KG)xf81P0?lQZ z$b|a)zzjP(G z{b9i#eCj77%WiY&xVlFd6FC#G*S_OB>Nq{<|BSq^1lWX~oPCTq;w;kW6v+QxGaeg+ zs`UlxkPoB=9V=|D{faf|rKKEVhYS{Qi#Ov}FK57#b-y~dcM|gNgb!WV@fSh88XQVV z#cPa*_f3};RtW4Xxq3s;cf`>Z=}B`X=Nul|DC{@4E!{1(Tru z4uH1CJFqYKg!^Ti*50WkQbQ+VGYOFmdtC+c!R{}_?++v6?&1N~)R4k@gsbt@yRLEQ zH(S?*7q2WIA4ea&$N%k_e6B$hyjKwRb2po#v@w&EUt^f3G5<-+gE1pYJIwx@MfEX4 zsd7iy-92UqA{{t1K7-HuChq?qW@hEoI(D14v-~KyxsneD7DT%<;^Tkx(&L8&?YvHW z2~>Rl)oZT~zfjG%`_}QdEt`3v8RL^X&lrAP@aW(s-@~TmzJzOL7CFaUQM+?$z<2lB z?z7)kSzAo3cTv4#867JLyT*sRRp&zui!{CtuSgT>?!>nsSN-pndzm6`xGwa)*O|WK z6ld9vek$^q@Gnny*G50H@Q!DXC;Sc45Hg@-ZI^mL# z>6E;q0~u+*@&4@(m-dt$4k?skpW`|jHNQ8^v4{AAqXEbEr%+D2;T_F=vCjYTD|m44 z>FP(7_&RB3k7KdvkuOI&a^842zcLGG_#VK6O<2C=&D&CoEB}q3{OA93ANK56O%bZ_ zdr+WES;%T#X79|D%U)a0&E1B9<4?Tn4;OVDpWRchb+zw(wq9jLb5p~9v6*fgmrvF= zz88}9Hy&!P`Jax{T}vGYn0QO~bK%Pp)NmV&wkuiPY&; z(blVfF=M8-qA;&)Pr?$oS*AM2+i9w;a>I?%YI)x-oCY5F^?U1W5b5A~?z)yG z>UrL6QJGFh3;?XRo_4nBd^^HT4s6w%Si$>`i7w28y$8kRp@VLvX!1Ss3 z>F>K(ds8IK$|LsJwn@+amrR_8rUvcZQ>K|G)0mzZS$F6_MuL7|z!jHE&DS2c`;^s# z5Kjy)s7z&=^LVL4`#BEminL*^K;EX2$@#Se`Qp{zoaLI=J^%Sjn`a-Yf3;rSyiR^n z)fOFX$I0q^(|qWmr>bq{apl zwnnaOQ|103eXeR&+p!x?Ub?YY)aE@LH29Pmw#|rTdd-hrx)s+sA3voBUwM^xVBjuB z4)S*$G)mBQ&~Gc%_Nmvqs@Ab$tZr$nUr|M&%ES)b!-{^bI#oKaUSncM1YaMVh>4CvT6e_e(m|<)h16@u;%>T6(#u_qXL^BOQg` zQ`F-vPnI`N<>ee9<+~nVui%_>H%IjJ^#6$4J0L(o8H;{cBVD$q_ayJf!Ovb39%(+C zV^c-CJAPSC(fc&7%BBtO>e#dkQzJ01TJ34oCg*3d3;f$L#@%O!e!Nt_I&)xfHu+w& zv^D9#=K`OX!*?^hudcQmZZ7H#bg&H?pYS_SuSJmm-8EA9OC;X%FMoKkXQzgo{L1p~ zm3dVzFWb)vum~1Dy%-**=B>*+^?$5M?6fbda%E9kNNKzLmuGR#3b^&@xD~s0U23;B z?pV@3>VK^{y`w$qB6>zvH=f;9^) zpZ@c3r0<*HVZ(^xT7Dn&v+xR6zg9{vpQcTFJ&n8a%{|X_cTk?m33u`0=_M2JtXJZy zc6XjP(Rn-?(k`~AyvL>-$!UvkTKqD5H|c4j%$CtG72en zjWZLUj{TuxI{vypZ}-yBaXvq!{0hGwp3~&R4o|+hAqrYdVQ;(_6Oc+;W<`a=xbl+J-Pl4bjcDn!juV309$R|uZBYo)? zrcGk6rW+Y9{boHV*ye6y&tE^*3YayM@buTuRTzCFDEgsx>9@dJB>T236hwKV$o~U{ Ch{kgO literal 0 HcmV?d00001