From 59aac27f8baf6644f64b43a7b04925f25b936bdd Mon Sep 17 00:00:00 2001 From: jlh Date: Fri, 23 Jul 2021 13:29:48 +0100 Subject: [PATCH] Quest1 start --- Trinitarianism/AsCats.agda | 15 ------ Trinitarianism/Quest0.agda | 10 ++-- Trinitarianism/Quest0.md | 43 ++++++++++++------ Trinitarianism/Quest0Solutions.agda | 11 ++--- Trinitarianism/Quest1.agda | 9 ++++ Trinitarianism/Quest1.md | 14 ++++++ Trinitarianism/README.md | 2 +- _build/2.6.2/agda/Trinitarianism/AsCats.agdai | Bin 2689 -> 24472 bytes .../agda/Trinitarianism/Quest0Preamble.agdai | Bin 11329 -> 11327 bytes .../agda/Trinitarianism/Quest0Solutions.agdai | Bin 0 -> 17583 bytes 10 files changed, 59 insertions(+), 45 deletions(-) delete mode 100644 Trinitarianism/AsCats.agda create mode 100644 Trinitarianism/Quest1.agda create mode 100644 Trinitarianism/Quest1.md create mode 100644 _build/2.6.2/agda/Trinitarianism/Quest0Solutions.agdai diff --git a/Trinitarianism/AsCats.agda b/Trinitarianism/AsCats.agda deleted file mode 100644 index 92f7ac6..0000000 --- a/Trinitarianism/AsCats.agda +++ /dev/null @@ -1,15 +0,0 @@ -module Trinitarianism.AsCats where - -{- - Here are some things that we could like to have in a category - (in which we want to do maths e.g. the category of sets) - * Initial objects (empty set) - * Terminal objects (singleton) - * Sums - * Products - * Cartesian closed (for two objects A B, maps A → B - are also an object in the category) - * Natural numbers object (the natural numbers ℕ in Set) - * and maybe more - --} diff --git a/Trinitarianism/Quest0.agda b/Trinitarianism/Quest0.agda index 31607c0..41956fa 100644 --- a/Trinitarianism/Quest0.agda +++ b/Trinitarianism/Quest0.agda @@ -1,11 +1,7 @@ module Trinitarianism.Quest0 where open import Trinitarianism.Quest0Preamble -private - postulate - u : Level - -data ⊤ : Type u where +data ⊤ : Type where trivial : ⊤ TrueToTrue : ⊤ → ⊤ @@ -14,11 +10,11 @@ TrueToTrue = {!!} TrueToTrue' : ⊤ → ⊤ TrueToTrue' x = {!!} -data ⊥ : Type u where +data ⊥ : Type where explosion : ⊥ → ⊤ explosion x = {!!} -data ℕ : Type u where +data ℕ : Type where zero : ℕ suc : ℕ → ℕ diff --git a/Trinitarianism/Quest0.md b/Trinitarianism/Quest0.md index 7765f32..f688f32 100644 --- a/Trinitarianism/Quest0.md +++ b/Trinitarianism/Quest0.md @@ -1,24 +1,22 @@ -There are three ways of looking at `A : Type u`. +# Terms and Types + +There are three ways of looking at `A : Type`. - proof theoretically, '`A` is a proposition' - type theoretically, '`A` is a construction' - - categorically, '`A` is an object in category `Type u`' - -We will explain what u : Level and Type u is at the end of Quest1. + - categorically, '`A` is an object in category `Type`' A first example of a type construction is the function type. Given types `A` and `B`, we have another type `A → B` which can be seen as - the proposition '`A` implies `B`' - the construction 'ways to convert `A` recipes to `B` recipes' - - internal hom of the category `Type u` + - internal hom of the category `Type` To give examples of this, let's make some types first! ```agda - -- Here is how we define 'true' data ⊤ : Type u where trivial : ⊤ - ``` It reads '`⊤` is an inductive type with a constructor `trivial`', @@ -27,6 +25,8 @@ with three interpretations - `⊤` is a construction with a recipe called `trivial` - `⊤` is a terminal object: every object has a morphism into `⊤` given by `· ↦ trivial` +What goes on the right of the `:` is called a type, and will always be in (some) `Type`, +and what goes on the left is called a term of that term. The above tells you how we _make_ a term of type `⊤`, let's see an example of _using_ a term of type `⊤`: @@ -44,7 +44,7 @@ TrueToTrue = {!!} - `C-c C-,` to check the goal (`C-c C-comma`) - the Goal area should look like - ``` + ```agda Goal: ⊤ ————————————————————————— x : ⊤ @@ -58,10 +58,8 @@ There is more than one proof (see solutions) - are they the same? Here is an important one: ```agda - -TrueToTrue' : ⊤ → ⊤ -TrueToTrue' x = {!!} - +TrueToTrue : ⊤ → ⊤ +TrueToTrue x = {!!} ``` @@ -123,15 +121,15 @@ As a construction, this reads ' ' We can see `ℕ` as a categorical notion: -ℕ is a natural numbers object in the category `Type u`, +ℕ is a natural numbers object in the category `Type`, with `zero : ⊤ → ℕ` and `suc : ℕ → ℕ` such that given any `⊤ → A → A` there exist a unique morphism `ℕ → A` such that the diagram commutes: nno This has no interpretation as a proposition since -there are too many terms, -since mathematicians classically didn't distinguish +there are 'too many terms/proofs' - +mathematicians classically didn't distinguish between proofs of the same thing. (ZFC doesn't even mention logic internally, unlike Type Theory!) @@ -139,4 +137,19 @@ unlike Type Theory!) To see how to use terms of type `ℕ`, i.e. induct on `ℕ`, go to Quest1! +## Universes +You may have noticed the notational similarities between +`zero : ℕ` and `ℕ : Type`. +Which may lead to the question `Type : ?`. +We simply assert `Type : Type 1`, +but then we are chasing our tail, asking `Type 1 : ?`. +Type theorists make sure that every type (the thing on the right side of the `:`) +itself is a term, and every term has a type. +So what we really need is +``` +Type : Type 1, Type 1 : Type 2, Type 2 : Type 3, ⋯ +``` +These are called _universes_. +We will see definitions, for example _groups_ +that will require multiple universes. diff --git a/Trinitarianism/Quest0Solutions.agda b/Trinitarianism/Quest0Solutions.agda index 51331f8..b1e7dc3 100644 --- a/Trinitarianism/Quest0Solutions.agda +++ b/Trinitarianism/Quest0Solutions.agda @@ -1,11 +1,8 @@ module Trinitarianism.Quest0Solutions where open import Trinitarianism.Quest0Preamble -private - postulate - u : Level -data ⊤ : Type u where +data ⊤ : Type where trivial : ⊤ TrueToTrue : ⊤ → ⊤ @@ -20,11 +17,11 @@ TrueToTrue'' trivial = trivial TrueToTrue''' : ⊤ → ⊤ TrueToTrue''' x = trivial -data ⊥ : Type u where +data ⊥ : Type where explosion : ⊥ → ⊤ -explosion x = {!!} +explosion () -data ℕ : Type u where +data ℕ : Type where zero : ℕ suc : ℕ → ℕ diff --git a/Trinitarianism/Quest1.agda b/Trinitarianism/Quest1.agda new file mode 100644 index 0000000..709a30a --- /dev/null +++ b/Trinitarianism/Quest1.agda @@ -0,0 +1,9 @@ +module Trinitarianism.Quest1 where + +open import Cubical.Core.Everything +open import Trinitarianism.Quest0Solutions + +isEven : ℕ → Type u +isEven zero = ⊤ +isEven (suc zero) = ⊥ +isEven (suc (suc n)) = isEven n diff --git a/Trinitarianism/Quest1.md b/Trinitarianism/Quest1.md new file mode 100644 index 0000000..2654930 --- /dev/null +++ b/Trinitarianism/Quest1.md @@ -0,0 +1,14 @@ +# Dependent Types + +In a 'place to do maths' +we would like to be able to express and 'prove' +the statement +> There exists a natural that is even. +This requires the notion of a __predicate_. +In general a predicate on a type `A` is a term of type +`A → Type u`, for example + +```agda +isEven : ℕ → Type u +isEven n = ? +``` diff --git a/Trinitarianism/README.md b/Trinitarianism/README.md index d1487f7..7ee9b6e 100644 --- a/Trinitarianism/README.md +++ b/Trinitarianism/README.md @@ -2,7 +2,7 @@ Trinitarianism ============== By the end of this arc we will have 'a place to do maths'. -The following features will have three interpretations: +The 'types' that make up this 'place' will have three interpretations: - Proof theoretic, with types as propositions - Type theoretic, with types as programs - Category theoretic, with types as objects in a category diff --git a/_build/2.6.2/agda/Trinitarianism/AsCats.agdai b/_build/2.6.2/agda/Trinitarianism/AsCats.agdai index ab957bf22dd74fd8309584ca809d613285988cb7..c576fe77afcb58acaeba2b8dc12570062907ad39 100644 GIT binary patch literal 24472 zcmZ5|dpuO@_y4o^o}2r)h1_;bD21*>*hGyKlg=sUbRoK+ixeutCKV+HovtT_6n(l; z(^W2&BXv%vq3PsIMV)kFYAB&&gx}iw{`G5KFQz@uv!3;=^gFNOfViByn8j|<@cf4P}A6D=FbI1BWKQ5gS?OuLv`_B!B z$3+*~>^UAIm?~VEFBsb9KfalK|8<7xQBGvd;eu5Is>#*=6{b{go6*=>kTPlX{hB!J zAc3N2UxXP+FijmkMZ{AjkvPAeB_T8|36kDL>pH~$L9i;34BMMKNTYGMyF^xn`1KJK zVPuD4Q`j@9H4{ks9nEo=g0m{kLC!%8yTF3W8YJzBbVQ+=yzpQceFVc>wPa}TI~twE z;4;Pw*MZU1aM=VdzrwIT@bQvL1AhGojh11!8()Ub%P`D>#T%$!g|L^FGFg@VG6Huq zW!~7q6@q#5FAUXY-VETZtt`puNX@%5N!k|Ev0U0}&aYoW=jKlOcqp1e50Jb2*-F>H z5bmZcYo4}u;xP_u>s)3+;4~fHYZf){0i)ziXXeuHE^tXeEr3gFtSR&XSz0a)-8YLy zR=lXrWA`-S62@Fg2f_9PBN*R^uwOMh;lo-G{3)E7oA>}!*^kD%uXoYny)FS&%>IZN z&#yoJ{hc?3HW2V(r8kUX-fTrAy&dUT&T!-N>u=HfU^ticDGD^x?$+eJp2l1Od%Uh< z-n`V|*AK#*>d2`itpy5l-|`m`_)R_-!{RB8obZ|PQyzFCY_6G17U!T#us;0&N|m^2 z!-qw>otJ(&=XdCyv2e0l^lNkRcx@`@rL*3#t)a$JSCOmWY~t%$Y~Pd&jqlN zolZquhm|}=n&oy!8 z7_DYz1Y c(j_s`xl9j=_lV!jq6vY>o?K}=Usn2om!(Q+Bs2j8hx5faev*P`;315 z+s;{%Phs@yh&vpY*T$^}F7BK<-;}^R>2Px=21}Zkx$#D*4e?eVdXH(wvREc>7t`3~ z`-z(#oSb&gRQ74x%Iq7c_kc;t`YoShFNg7>ZW_h@_5xXMH61^WaDVL+)vCw8W7&g@ zF5xgYhFYE0J?BBujt7nR(cX>duH8zlPC8NsaJ*yr9MkOKz#vZ=>$$gnQ)4nLz~6ND z8hx*bzQ;wDY+4U@f9(|&s>8c3ikOFzxXA2cIYH)+}a*-5>fi?VBE{*Ba= zOJ39Yyqa#kIYS4Zu#IXFZ}yvm^gS#3-cbzJzl_|&y)?gImX%!1WR!9FjUDyo0~l{N z;qp50zsa=+M)!lU!?kL84lmiFn`W{l=)c(#;_MPYs_UC-`rcOrx_E`x-}q#?o9kT< zx_nyvjW2Sb2t<8~{Kn$f2cx^ce=?-*2Y;^n&nz5AHxR=Ani zzYJsDz8Fz&j?&?ViMZxhBEG(GS~x(c=n&?J-M#$ToO*ME4mU~VntpNw6nwL?&B5-D z`^bu~|Kbupi~LV#3)g6b$4h(@Ok-*F%QpR1JZA0tK@@k>J-P)xi3DM zd^fw)>8`4nJnXHJ(TwK~)6AXoO3~g>w@{fs7t8 zR@byeKVTUuxh7Tli$aIL>1-l*reql&j&GN5TNH90iR4yvI5)wBdQ(JmuB7MKk29#_Uk?7t-`*W+m*PxH*i)#qGFR0a^hygXf5<({J;z;>UvEHFL{`kAb>;3CD9l}? zcTY2(s(4$GOdN2x;@>H_tw+jdB91aN=D>;4AW2YzDPI|-tflYGlvET#1W>Q6MRIql z@>CKcTNirr!7f%ThfUnfp943e%o8O+oSBj!j3Qz@6DEgeoH*OP-(Nl-8TE%#6_b=R zsW(E3P{uR1>K9S8LYtRhmx#Mp{&V*~qzRtc@RkTgyoA~PF4Ph|Zsv(HE7<7OiW%_Q z?lR_;eqlZ9--_+i0xsgzk~}=qeNWO%$yR5OIt>9MDd$qeH&cXtBzOs4*Ek|KO&NU~ zF?xGqGOYckm~Pr|&g`x36LlSn@PHgE%*fzBdi7Y#+Pw1zCQY^~ZxYTK7NBzmZ{7 z#rvg4@dFALZ&qLpauJymfJJ@H}hPUy5a5Kj*iKLb|Gv>LDI5D}mGj3-jv4J#wAD>>W zajf2=fAV*HE~6?OE0z2<<)aY!snTmGTK@tos1*EN~bNcmjlV_M^nC9!t}*EErTjWJ)jP`R1DR|9HVGHQB2 z+Og&qel0eE}EdVeT$d?z{g%WU3wdr%_9+nVow9F!Dst zmp)%w+yEq2u}fZ#43C}mIusCNj1H)^NqN6~1GaYv-diwRH%HiRUB2=QW6g}O|KLUv zLdz>t%LVzSav^oU%Sx-RwpKSlExMN@OW zE2=@tAIpQWy@r_our_1Qsr1U^!D3yn&+m`8Z@bj zun-TJp~;WoUej_B)k)S@m?@u+ae?Rt?k+m$lKqSpd7Nv<4yZjzxvp|{JvDsf=fI0+ zMrbBMm?t<&D)}OLF%ufYX0mjJPGPGFU%5jb24aC0x&1p}M!s6B-$ZE*a--z26)(=E z;rKCD=IuSVjYUvBRg4iZikIl#_x*@OsH zTf-*T#$Mrw)>=~)mTSZ6sk7(IV)p$J4z6wWJ&PmT}b zY^5qZnv5h{4J1wZfMxP4Zj{K4uYX^KAZc$k92agzc9?FPB58`F#it+EV8ku^IR`BK za~}YRoAf)pKoi3E;zWDg_px{gA1@xlB-l?2gYcP>zY2#4JC_AP_4pOtNGcx`URKD( z4_N4cMXy+igD=$#d<={o`s7dB*b^CxJ0Lg5Q{0vNu!ET8rwDB*!*{vN(Ghh_pv8we z;_IoPGk}?1QH~3TwW4Vft-Es$=K?45*ZF_qMsv*hSMuj-yNG8%hWWX7D>LTB*cfBZ zM;+drgL4f;9V@A(`MnPH)SnZ~n>f8uFlOd9&MwxV9^~gaY>|8lgk4i4tnKv2{VgEg z`QJ5qRMTL`XWGUD`OYq|N1Sa|yDWBD+~Pxinvgdkn3cInVug6u3+%Cs#~lx88*^0h zS3x;rigIkcxSWt+yEJ!k7=sjPL{S&*pWutab5~}vJN`B$4t%pG*AlyQC6&6Oj$4fB zpAa4AykCyKJFRoWTF0SxH&vOvQnQn);RIGf7$w;r37<%Iusfzx`6f6x(;3%ZYdAY{ z#x0AnLS@?|3DG}$%H0^MXt5_S+1m_9h zlcNO4S%C<%d>v4Qq2vsYrZWJ^>PpsCT0HGOBCQpxK3U zdKdQo%s>Z5-!v<9pt!rO3r*34%eI%fM!N`dt?l2srcJZAY23=ZqtBRYd4Vfq62usz z4QGrI%LZfIF)QrYj2wE~X>nlF3(Q}|q}p4W;t#rYoky;wraWrL{M$5mv-6=~*lOU; z6v%7iFR(K299+qD=-mS4(;cphcw?2>$%o&I-wDr=`|FwUfQ*$3yg;xI4B5?d5r2(z zyk78OtWvRMhG@qFFb2_}gQV#Jy6e;%S5J9mK=I+llwq%Rx9La-D>%wfO$#2DWBy(Q zFERfK&gq>LV|gw2n;uxoeV6s1%b;M;f}~$z6I=^G!HO@H7VJ)HRo1&>db~k=&_>d9 z6qT%hcoZWB=iWN8a&c`22p5|-EysW;5TumB@pcavgO&+Y)3Xk9`W}J#*J?m~^iHLa zIhxSUWE6F_8zVI=@BTCm-k{Tl6mNe=H zgSj&5z0CdzQr*;Jzp+SZDO)53h7J5cr|)|i&|S8eVZsiMg0b9Yt1-(dc2iBKq-^@$ zL%MV-ljAn)gKF}N^gTNWpX)|46!kmWYdprXcM)&1t6~dXs?z0cW^bMtE}2>~wR~#% z#e1M*dFs4ZLBoaDxg>2yMJ0zYN$GqQ&k$zThGzQHvVqdY*n!zP%*@z&YQ^Fei{QmX zgRI;41y>|}N87NY928T~c-i`>A;7w^bQsfV3Q=HCZ6ztv!2rzz{!u&FRI@IgdHqN2S+50#7fpjKfpMOW{7=hawL;L=6e{) zu+av=04Fn1Tg9T9gIG{WzA|xR2rfKtEO z`zPVJ7OPCyaFEA=#JMVgB8h?=QF3Y#2u}aF@0TcAcdhe<2453ip3Q42_5(gn!( zR4|kE3aeNIDcv6Z9)vnjP0i8;1V>>T{X4uynP?3f%VUa2RH6!C#!s4Z586bt4*G|( zc&a$*7tB9-F4+;KVAJUXp^7=u?NPzZIWp>fvlGi`j;2f`J&0uV?0Lxs66}_>>LJZp zJ4rQZ%xgQ=oj~D zJ)Kr9ExPQKuZJ;TI*H8I*vv7Nx;6)$J+;PhSUE0F5{g2$U{$Ord;)Ky4GS|OprKNL5rd>G(HU=HDhlm4uq zPPMcJRhP1#=8jN#Pk67fkb1KBeVD37{zkTa;YNWnD{wCMuiaq)nvtUEPVr!k?1Mm zBWWydP{}2u+aYBe$=cE_tF%Q_vR-1tWU8fhakV~QI?54L9Z56{myH}uBvc&54ww5D z;*Mw19^Cz`v}cX)YCT$#Vl9@MM|mSw5y4YDhR&%hl_jh{2$~rO(zx1vt|sOn@ixl4 zhm+Aanzw)j>=_Fbg9RQ)S47>Ajc{lDfdx#FrE&mK-SuN8Jp$AB4s55wohex=##r?z z&6;Z}mWCA`#WkC*R_Wj(s%Zaa85S@!Rh5SM3|W%d*QD(PN98IFYfkkaA{evYIWe$+ z@xJ|{rVkij>P-|3I4Z(W`g=TMz?H#i8dng$lxi9AvC?xOw>l$muAlAJ;l-F!28K#6+Gn%> z#ge~7FCxYQDaHdf{qw=G*zDF4#^@w?Q{mQ>=mh~#@UCQ{hvq)q9_h;P3}%ZNOeR-VXZ_0ME>+y&x(Nz&{$ zQhGCx1S493xT5qiaRW#I9~`IaQ)$Tn%Lu2FW|PT&@$N5jWrX0@hJNh;UT z_0SkeVlx}o2Y6#*`FS8W$*Q~ru%YTj=zdJ7oF&hvCAo}Oa=|Ol1@-Di;OnwsEb7F~o zh<(V0aDdvmrRQ!S_p|cj)CDdjie(EDY!b$i(6X<%%8=`ynBcVw6%zXZ!XeehYCkfP zmG86w?6&#T81m)SC}2^=4uX?lmEe@%bWMMZ21Gp=*y+o(3F9!noK2VgdB%yw(q*v{ zrZHwp#sZSZ55`lkYiWGte)c8}hx+GL^em7VoC2=lVgaibrtn-UzAj<}6}_Na$A9`AP$^yu2cq$bja^ zL#8>hM=j{rP#VhLkI~;8`FmhhrB+l28}XD2sgPm`G|Y8zR{umM8qQ;I#*P^5vM%Dz0#wXaB5vN$sLl^H$AEv1GQsDlmlr5MSc< z;)vD1m@rY6T!J4jF~0-M~bxCG9hudHc}qLqFg9j<_ex&V#T{HQy4sE zv(-3|Y1qCo9&qLg`h(RhzMB!h?-!6JTaFogBB++-%$^TeZWX|u51fhIfNNO~8xm8BBZYUf1jB7i z0TE%F>w`2y<0j?a)udW_=CzOG_o)~yH)4Bgby7B}|LPn1PSNUN1VV?$VBV(!p(jQV z^?EBM+rbdl2u0x|9HDv-Q|r8Y8i#|Xk7~B!%TPh>jN!Yq#G3_0*@&oK(&HDlAZ$UJ z>334~wg3Qm<7260)P!nz-fXSGyTju5tzyE_TT@JJVhh!gjMQiA+}Kd-Jln8Ua~WPx zYd#!DOGX``f*Srz`=m`7Zth#~w3ue7Yh33jlbMUN#*FH%A!a_&=G_6SmgA66Mt4wn z6;G&sIwp3Bn;9e4eCu=&J7V3}56TjtY%MojRvgrRs@7xp`1itWWD0n`)_%xWa~&qB*Y9Xa9S=~io?6J3V#!cbC@bgVZ{WF_(I?#eIgIE(|F(rA2flf1 z_Dv>LyQIsT+o)tMm8bOgsN(XJJp=O;r=)cuzgHxSzLs10c;+XKOF;eGlq}_Dxxf5D zg>y)I>6VgI|5yHDK4J6P(`&VcC-v2Ia-W9zdLQvRQ)ek^aL#VmPqQ~c0cqS_J1AMZ zhVY+6bv5$8G;s%My|5d=FuykdJjoSzj8_lRHpPp(=XD2L!S%fz8<9^PPu$VncaR~{ z)rhB_$kb+O){vvJ0fTkc;y#n7-l(&0$5UrX-OIfHK7 zY;WbL@dUfiET!2G<(KU1eD0(tVS^_B@DyvLn;&|d+ut(c=UJq7OqjAceZZ`Dy&^%{ z)7&lj)4rBkIseZ7om#4R#fOS(@>f|Oy0|SpK6T#1`hDyAJiCGgTh6A42b`2a>XV%d zo<6agZ972BRPXB3YxdR_{<^SETeeke%b76UPB-iA>IDd8f9bMj3kF>fYc-pve!zrp z8ZM@RenyRM8B5S;1Kf?msw^BU$BX-($h@_9>h~z1+jn$sxXgR;s9?CT&zWJwF7vMC zP^|Zz7b9AdrZ4UbZmEOvyao%X+xJq_rSo~qz!_Cw@-zl)wfQ6KAS6eO1&HhnV+%Hi zsT1h3u*IX}$*$$ib$C?YWn$QzW~uw>eJeWK8}hJIwfU*+VGennEl9B)UP15v+t6G3 zVR7)PDsaFJEZeZt702~BMz5z|Xq-%8m+E6S=?c|5I@{T-;bgk3-EY(@TsC^LHMcc) zgkYc2P|n%uEh9gPi8po&F3K%pTc5$womh z>#j7mwtBQ>lo}<5V}aE=`>b1HPq+JwP95%{OGm}2=EJ(`SnwGa;g>Pia4{(2f(jJB zq}od8frJY_Tq9ZSo>{F%;+#eY%Eg`RN?WU4A1<&py&GB&8Mmb;VhRzz$n5ugM29az z4|$E6l*=+aqsl^NdY-P*Ak(YH18^djelwMI?Pwm&t1{!izzb4MBBAbik08ib>A}pG zaH^P<<4?JCV?1RN6}d?xCmA;|-H3EWBPTD;7>s!S1{Y< zIyN)><^E7s{G#l~E^9Vv(czo8!f!cM<79N4b%dwHaD`!T{ldm!#Loe%wjQYRB)1AA zSR@w#e^=Q`u%O=_)8E=6t&-(W^oE|M)8TV@Vz=}vLkWFb=S8HkgjSnffABB8cJ8sy ze9Fa2Qy8K1b`5>E^*95F&s)a;vEd_B#Hoi=RUC27eithZUZWE&_{$}ct=(A1|B#iC zvw(4RoKvJdC7aEKg+GTBsrxh_-t#K#o zZF5c+NyIyG3kXV-ek8oU?&2FgJaIu_9e5gAb-p z*n%p{x4URgP7Nlbt4t!TDWcITCj~oImHXMcey118sIn%_^wz=&!%dU#HlDw8YB-8a z3%5Wy1Vn%M9eDPq{GT7F)wh0Y+?=-SS+KV*ukj$tHZsF*x2~{p zP0oGn?oJKTZ2$Dtnx;7>k;H75)yz4hp(|$|VjnAw)Pc`tKyrHf3%%Cj(N5!Vm(}Tx zTiI`)F}eBI-`!Xu`l>80jGCSsZUH-L9vd|^+$DGI$A_(jaoP}tTjGKuD-sIRMva{3SjOih%3!0ZJzfy!0yf;)=##U@G&cO#%sHglgK4wT zc$Wcu%nYu$``hrwhsRvnSakTWxDW;|#nK}YVLC)aa=se?g7e#+IG%)#vrU|bG)>zd zY=Iut+s8RGz*ky~i)Uba;@scPY>dviF+J#>g*fM}=?07u{K93;9SwBX&0L)G)bu?R z2o0&nT&}Yzmo{DDKY!Qob%QYCL4$w#y6IuJ)h$?)pHulp@f#1T8FQ^`=2&>Zqi#D>a`o?;>C2K z-fDqTPg{+?Vn+Pp`)5P7gpEJuIO7?gCo&#cP87sp;F0Y)j%LfJUs|*BAb6yB-EK2} zE4Xf5&SkuyH8;*ug1y~{qUu`@eoh#3Q!H|Si#IN>EQo_6#plJ;^tSsqF}|CXjQ$*k zm_=Ved9`jOi>HVgDJI>pR_U)M+}*?7UsJo^4c4CBeB$BJW3fNW4+~cOePvyk!4*s0 z{mtGR|8i?_c-t^kyX}f@?!7E&&{LU-wZDcDK?}yjAyI9-VpUus3Ef zJ7k0>Y`A;an=q(4(rZ%Ba&SfA_~8$e(%6gWZ8P7^ucv+r9wg>JT8wy)+EMm4op(L7 zhG;!%;-N?0sO!ovJG_-si);SbO^HU>Lbu~r2r;%iq9KUZ{?B+mG(ZopIEQ?6D4Qb{ z8X|`q{Eg6S&|uIKRQ?gItxwDe#RZdNFxEBPpvrGE?Q5B}CwtF1<|LzW(!m3nZ6)Sk zU<+bOoZ$Rx2&R)8)4r?f=Wi5@MAqT9}Y*xZVa*b_57-ge-wwo(#_*ppu_UJ+IBlnCI zI)>gwDbwlnD@C{U<}2OdWK2?}-wKml!s`#a5w`2hkdG%zoaHL&VVSy2^rG{xXw#B5 zGjZ0A5IsWsn8Aj~vMB^vv4bu6$5vjAaTaBNnHF*cdJDfT7sC~2ZI%x~z0GFzr_wn{(q=6dnuN?I@N$%)CK(&$;cLlNxz9q0 zCQ8j-2DD!4m8lj{B5RJY!Jz*Q?VCdO-<5NhTBn0~{r>h%5rE=qhbf}#I9ZX$5h#g@ zJgh9uBJr_j_g1;BHJhi5#5C-e=3#5=e~W6>0Oyy&?ch?cA~lN=<*@~iKFjTK&HlL7 ztV42pCilIGS59NVG5!e3R@g+*}6c!{VuWBXR!{w{{pTm3vaV(fY8n?%|# zWpe*^;Ikth37+JVuccP7sa?}`{n2z$(Y|@p zkU{_Gl00a^-J%;lEmeL&(9FA^xKAa2&-Cw?6wgb+7^Gt^*rR5-37GnvbA!+mgQm+g za@wZyS{8gTzQqbG9x|`I7Rnn@n69wlnS432qkfv_t_g;BH#ntU_y^{bVoc^AsThUB ztFBld+JQ*J!{H>Bomkmf;RIzjntJ+P}T#M>8#w79C^y9u7FrOWC7A3W2 z;tKPMQ5^^QoP_zOmONo9F(8y$HYk|lIL=`Opyvi=kT5^RgLE*#fSlAp6g~x3SatX@ z&{J3FUJVdA`+_f5piHh{x+%$6_U&}F7gbVw@^<#^Y;`JA+dLYl-nae2z4C_A)t3q-6*)-?#qqfEPIt9$=Siqq?U z;qGeM&ofW`BPFUE!#Pfs6a~*Yxovj;2L@~M%c43=*q{#&d!-Y|Oc-1rvxxb1H)bYP zntC!xpR8!d1j-u~?QA2Z>pAGTmZa)2Su$xt{}3(tRfnMgJ!B{u;lmG$z+rs=*6DMj zTvL}bTYkg)A3!^4Hf(L)um%acTFXNH5mdxB^GE9`PRqCpcPGQI=T)3!!k~YHycn9w zX5)GOx-k|6*F|Z1j7;piOly#-(;rMXtmVFQ zqd3YpJNdXcJt=lBk06(f`qluF>KLM~(HB*uoxN0csjMxN;fXofYS(&tQh$%>q;ia` za3u^9CiYv?_2v-VCX6dRQ1;w24B-!UnnF0}#OKg{^Ry_L0mHM4Au=8N$0?^u8BPb5 z)qzO(`7WMdi87XfMp_p!+>$TVhdoN!R8s4`|7w@EkM3K5Wn4ET->g+=Qk)1(i$O#y zTMG~oRV_CS((3jI5z>YzQ;h z9INo6B`Pf#wb`30xp-!3%ed$v#>7ttBr5+EXJ29BV{ z6&byQ%Oq(P!%>P;Rg{MX-2cSIQ3s{TIKC95>OhuOq#%ux74LC;23+7W7lt81xsmoC zIlw2{9t>N1iU&wa25o!gjVL((D)OaVnH81HW3=e^Rm{VPv(o)*^3{=Wr}GW%SM99Q zr^zEs%qJU>({`~S%w8|1C6;6BMS}R};TtYMrU|bW8`}(#4rn+`@O3T;i@)S?8?7ppv zI)WizH3?a%FEvNH0VktIF=5&Ar$y{zXq`^9BlAH@jj}=_HFI)k)98YNr z%g)0+X5wsFU1ZrsE+q@X1TFp2rC`=Yljkdv5Noq7nZKo^#)|JoFerbDG%9t)QL$y4 zI4spn$lJ2@w07D4h#eQOwWOzJb)+{{T9cjVPDaIY1QFQ-?X>U7mVc#lRNDWiB0Q^f zR(c~M{faU2Nj4{$-j@eyI-+?DsZKF93P)iFrQY+WZD6%`QHpBN5m;o%bgXVvJixLO?ch#w{R+7AX#{)_Rm>68&p_D&X8ShN+S(i5l2F0k z-{r>BqWy-#6z>7XT(RkvvJ@*(RPhCcAV;vn?=^EbFQ2pzA&DOoM#Zv&M%?K?DCh0?!eibTE`$ShEem2M?zksHy=@Us3kMAZZT+!22B<5OQ{T z_k}|km}wr6IZw3!O2EHd=3p-2k2-D%r3{*1z?7xY-WW^uJ5!FW(uO2+cpggM0h4Ah zwoTP-qVpsr*!0&^X2w&ctAeU=zSI%RmPf;bkBT$UtUTJBnhmVD=$84r)rYw)mvBLE z6^JnVy~doZ)Zk0& z2#A-&86=_l@un+>;waADbX|rFRK?OXAY+1Y*(=;ZTGu?{GsIObW5Br2G9FBo6rR7$ z5M>kr-`S?%ygOR_K4yVFT(~IJhY3b5^FQ4t%AH6K*CB~6%T@wtH6^{4$5RKI|;~ zXl?k{6`z(EQKjwsYFRurR0C6*W3?Qh(|Nx0d}s1lDhw)Z*9FYhdCq?n4eh}3RO#hX zXCh;#8{oBb2pJSE5X~m0zkXa1%5I`(h^p+#=C9@LusFd~HmRgU_Vsj6VEfTp-R}yf z@O-?n8Z&_<>&s=8Agsr?&Jjiu0wqWN3fr4% zI{as!$J3twtHZr5KsRrkDdzg183vyvV;LX_bo&ZqvR7(M*AHPnb=G57;2?A+v>r9l zzgN;6VIQ}}8g{*e_FJ(a%|#;1EAysDka`|dfkkm;)|$Y--r8Ey`yhKiVK7|Vw*YY# z9p6+h{E0)!tl7dvt9{aDGLg__I_Y3#zC~g>= z2erSQb*Z;L6Appj=M`ev4>xpyZ}wSgkFvCnwT$YV+GhAK+;Y(on~p3@b7$7r;nMOK z0e4l9z%J~xw;?kzzIlq7Ll33@lM!zt!yikJ`_tuMCD;D$_Or9rAwF;Hd+cu&(2X(@(YU zHJpa64S)aGO&pkDc zn24M7O6v3gW~uJq_&DJ**=PHm5TMj^}o)eO(M_vOjF=Z~5WKV|AFDbcwBH18_DYopo|DG71V1nMOUBz71Y$9WX>2t{HctUzHj5D}D8w%3)tt_A&AsP(--gg;g zqPfiyv7#;sTQ>fVhM)mV5;Vli&heI|$IUUC1?Kb82#g1vdnZjS1 zi#yv(HgVR5Z?n*CV2RToYQ>TBsnWE(krYaH12;$@hPgD$O`qRqjoHz2a2K-En^SKg zhA#{nq?ixe(;9fEH(OBe2$9DUqw=w<8^*3e!LyqxjlJK+{BJpe;j=M2o@5jkqsusJ zcrsN!YCRmGKGXMm=h3H^%fc3pP8^P*?j0U+q)O6`rs@ydsP($)8ksXv=W__huDZK6 z%o!n|K%D(>7%k~Rf{^ld+@UW`7JIgRQJpbEc8RlWA&o?m%_GncT}1oU9go8SeRboR zAie8`30MYerQ6$XD1f$C!MDTAgkg=7Kk5l{l3n0A2Ke5e%@NbDEThI(rqCK(duOaPU#Iof z0JazBJS7C^*ECiOM7eb9fKF+gs9>gTY9(&kFzph9|0fSJ2NpqR`Df7T_nUg8DYTJb zy;Rz7^#W)?q~CV#&P8h_m+rq>f@Ob3jRbc0rmomD_0dkg#HB4gF0FCcOpkeTqtt8v z=Ul*C<2;v;V8pa$#in03%w-CpHch5dHPs^oy-c$fR&^#Gr6OKqHD<8O{Ov2o79U)g zK2Hu1@ZjV|Tc~n6PJXw}S4jE&IbS&}FHD&8l?e*CuW$?n{bmkSrwix3*M%eAKA*7g z<@glPlNuNy)2WJ#`;>b_!HBOL)YD%E|~Y9_;~v90N#OC@>p@+ z`O0uCu<~N{X}?9d9bpYFJh2xtiCB$1UHK zXM)*8dv)QuN$loOWZAyPbI$?qB|?6afxV$X7ga$CeJdyDdwW@T?NW6lrBHe-X@w6lJw zE@;DHS`yo!pNH@+Z!AB?s>_d=w&we^8@SE0^s*b+WbKMv|57WAB5Mf#xi)G%`v+6e zsT@B~oTh#TLH6P!$fkcyUn;l4g*=sUL@m(9(xpcHuFZC*GM;5KVEv>1_ittPL`jN&4FKDHdk zyQWZ!e-8TD=jVW-jf$TX)hJ(@6F*yGw^$rxe=6vNU5(*9s?2MDpA+T(^L%%1wi=$D zX{pBYo4&WG#^8^piB?5=^8E@#aX)v znLi>^Sp4kg%`0_yWqIf}50#B_;?slfYBgi=>3?4RlHKw zU(|vhEEO1mY0+|j9RRo(xp}AEFRI@_nI1g)N#7~smqyLv@)o*1Aw%$k!6DD_kpf!pA{qh|Nv48|Y*9zu}mbhX8;tM|j zq*k`fVy*<{k6n2VWA>Ky({W0ZrFEHVm7GxKEeV@HJV|--Tu;e}XTRahA=$^kFR?Q( zm(8L7oi+1v`J8?0Py9RO#E#|*XKx+;cl*q+@346pZYN$GZeAF9Pff8-*z?$wF(ploRpB zUFK!y1KRCUxcqZYr;lT-maiz^B~a}}hNPTWKamut^0FFE1(<`iuJ*M7q`_|gaa#Im zVZTv-Bu(Ac=by8hIBd%AS{)o~#20$A{oI4|Q#o0E>(2$_td_;JFm^`Qds?_-R=*Vt zH{+iRn)nKj5_*%vS@A@dec7S1F!2_4&eIjtGy9^Ts|VUr<8#mKz+bJ4cYRuOAkpe` ze?zcgvivCY9lj>VJC`nB+AiE~_=bObL19oyZQ&MwwdUiuWqW56wxgR{F)z{YGJ8$*V(cv*NqUU*&fHeD7=L zE9z#!C$pA0nR&7;k}nh7drEZTca&EXs?(V#D}v4{@?(Pkw_Ma;k$c8HXDj!V^V31W ztEtlWOIK0X3X~!D5;NiZ5oJ9Ev-49mvTp9_bEN9s#~9U|{3r6JzKnfuPb-GOuluc- z4q1>I2;ZD7^FaEJ0Xy)RmRRA9!Y%f%_RccJZDtpCGvUzf!!Sk1W(^2oC()WcEgq+Fv&mzf-V@yM!)4Lt=sjrtgc`L>lAlS*gVlwqf;@q2n#k{*5sw{QFU%1V!z)Q$@cBHUdyb*ykSNcGbRll#qOCP1b#BKUlZo_|& zN6O#ZF1d_TqzP5F+P8?PsDKA`d`efdX$s2JkT7BDI7w-3hI+n{@(|*6sIYwXjE)V& zWTj(8k6%d}4~FTIA+a{zCZZ*IOJe;?+c-4UrolhgGtpZQE;WD5^}A|<@LeE3wcy)s z$T5$7*N(|DK{k&kbi6{woSBBgnS~%-pDIhDzu7QjCihji;-olCJ8Nc-T@MDy>Xzy8 zBwK_JhN1lRI)f8|eokC#lAB}vrewnA@q?!AkmF`9w^Qj~?+!oeI<1Qk(h)xNyme-(}qE1JjbUL{VEHTUz5;eXAFE zF$%y_Cnr`Qe$#%!rpCWxkQub0WK02TjjX;PduIf)tN(9vhiGBXo{rO?rF^PQO)%ti zC=3!vYbMEmohVRlhMlBw{gO65jK!I0oa`iXu!$R0wqxSpPB2`Jxp++PcI~Xb+Q3vT zM$2)2NogF|uRYmPeQ380T$(Kr#S);mF(hi+Ivvom+VZ;vJW&4i33>Qr?Wi5|#!#?Y zJ4^axqB91o{Yi}ZZ7Iqh_^sm%Y(zoOj7x6mWl4wfg9#YoM4i3i4c;~*TWWLX>Vnpu z8dLjcLs2kSBkPB}f+x&oi}L)c$D{PQ>@2BaM>Hs{`q5#`j?P>^#goG22v&FfuHj{t zpCY#K31j}Y{k}DT+;2`)+3>VM3ufAB2e|FXZ+eg0sECfQFinW%w-o~-dI&#-eNzt? zqC3%N45eOr{D3Dm#d?rpYmBnj8=&;v7+EkNNaKt0b?v5phq4v2=^}f_gXk_JsoXw- z$Lr7niR*j!BjaeZE(?M3N3g#h#CCk|0%W{qdCOjhnK!^m&K$p%p@*a3rLhFA1uhAp z1grc;9KhIp#@_*8&GlDj z_z#Qi!m!r7HvGhoeFLX=;HtUGz$iV*_dL;Mr1S^~E7|p{RJ?x2iG$I0Q6^%i@}GoE zYN(kiU7nBk`<`%&4lccQa=l~MnLekpTcUeTw=GQZs=3;kk}cIzZRxvI@+!AYr)+za ztBj*q5dDN3-*mLlJ8;B;jF>g}h1Tu9_o~AgP2N;5{^pOU22SrNvUxKJ`TcJrFAc?G z!M3OI_;eWw&(#P=rVl#O)W~GA6rfZOVHvf}?0UuOID-hgk1 zRh%9@9)4$E2SiSQp?vDJ}d!F=x?wH=Z zCU34bjE?DbM)_`<^a177juoFg$Q)$zY{NsS!28!A2%sBmeZY7f?w52UKaD{c+YeD> zyKa^=Se!;=b-ZY*WBVno5Mr_kv7BB@n%CihS-$kI)dJ0vu6BeK^l9$Pr9(k zcD+tiySUa`=HowNI~Yt0hXQ-YQ4QBnR)=?iHOucFc2l3fbt)+y#XD_~cvKS(HC~B6 z;JlrzL?4b{@BNMi5V{Uz#Kc|Z;Jf4B_=6LABSZI0AZ-dpIawVK;4e<}8g_6o{U)F{ z#o`WofT-sB=phe;^wGR}{ygnCr*}Wm!lZ&LmgGOtFX6N{?VmZF*lp_L z>p5_8xk9{~LsPq)U}NhRP>XlXhHcF|e2M|3U)fwe{v;1VLL6Szq=(yxihw3hI#lEM zJ2tINwJrSnkin!?+S3F%04%7FoaJ>yBybf-{YM*IALF={yjJmzFS8NyVii!juQWpqLD+rn)g=L z^AVbd>IbAJg)1KFg=bAbB-qR}B5T5*XYLsA16E8LBHRzFCOMzIqbZxv9ykX9Lpp_f zLTMD`z=d7UqO+)7Qzd&2#AxjUn|VqO?tSQFXWKa)^xAYBClQnNH!ddIZ@3j_p}szF?;DAJ{c?CO<8 zRF)-xl#oc2qI9H)G!bMC(wh_k;Rd94slq)0zx&-kW}bP^`Mtf&1m+nr=Z8z`hSW+C zZXaES2=T!wlr0y0WW08e@tYx4p6#ssb9uzy@(UU^41>>5aG8S()q|iI7Y)zZ9k8{S zM2qo=W~8!lkUHVC5OX<3t>Z2bg=wgxkvI*hW~h^2j?#}2kNlLJc?vqgM~$8sV;8a_ zqc}*%49_L8(-rAc0aLZ!A*}6Cq{M^b#A!Z|7A}Wp_l>lOv`W#uZ zf}qFxGBj3)gos)8fRoBra7O0H@)8X%moV6iz8H77Zfng1y zs$x8$q*kcPT9J)~&QCNpBekL`o*1Q~pAA6&g7+i1fdVIe*y)1E?@I27dg48MN&ea^pT+-fOhe7N9kDQv78-kVTLyBFn3fdEldQSGjkwX1Bop^$Z%l# zJmF+qahO|n8t}Vdo%9&T!P(Jh>@c*UglIe%UnJVrpgSrG?;jhA)O1H+Yq0?z2Yf8( zYtRI=q2%1@4RJ9Z{4Y!sV&E@1CDJs2L7)3w9JULa;knnKAk9|-a(L5YAO|nxIJbd? zHC`WV7{b9Vdji>4D-G2)VGY<>=*+1fDuS+itKk!frY%qCanAew_T z3=Q08#%l^YiB`Ac09!@lTjp2@3#zw%FW|(OCDvlB^g{OvW}GJTcJZqYQ6im25ukW2QV+ z_?%X!ks>SQSmafsClS)Xf7j_bt`01BO-j;b8VUb0@ z`|2^=NDi_!&j!zLC@^sJd2B?wu5s{_qDM=bVwP#(Y?$CMtgATUpE}_7$?6!)NaQCX z=8Lvt%!%6)gol)o%=KgHqte^LHMPySIR+qu$)sn0q^a zDtdT~t6XsH3t{_cM4f;xk-d;V;yr%BM)zLiB8O;$y6*j&FFv}z*NmCy{ws5lYdem} z%@Nxs?$62pR9f|(=u;`lU!?i!gzHo|S|xR(3q-Dk))jN=aHpNQqj=4z4tH+?Imy5X zp}sY8pP}kL62H%!lp~Jd5ORij98zY119g9@pQ)n>p|0K+zi+r9bDt=F9|)n~c)d>) zxh(+l8ePS9)0R8|pl*|w_)f6{aLvtdZREM>d8ApqX{*U~lb1Lr9v9aHKA*7=A){0y z6%Ah3-0?p~4XrO?Tqkb+b4I4IRa2B(5Du)EV`MGIikMuN zrRoQ|zAz}{Yttj78=${d2m5+*QuW}{5M?r72(3F-p1pH6!qxwUfp$AZl)a1H0;8?1 za`>yLww4;3ab&(wigxID*G|2aq4xhVrLg&Pogg1$_2)W97DZo-jG-v|sf&rIs0F|O z)MXaob-YdIg@KB?S_QmTntioKY&=EA@-55aNO_{d)vp)ZvG)5zRJ|JH?5-| z7JUrWf+&-WXk>LTd`L@OjWg>T`ASt_*t?2w#ACRx`-Y5qPKqeyNvDDp+i!{xlctqnp7>9 zAN3SO@A~(8dV3O+M>W%IUs2W;Z|1B@kg(;N3~se~8-rERwLp*a%LBrQlGY@dx_JLMKO zS3fgVvelAT;T{&a+8-XV(jEoFu*Ujo%umMECZGHS#$ufbfv=g<g^K5wygJ&teSb$nuk~Hv^q6dk0x0Nq$?Z*4 zLWsFMaeC|^k5r8Uw@B6flSMt#O^KlPge$1!FJ=d|CHnU-lF`71asvlyd;FR`zK_ZP zr|Dp`%YZoBn;-a$bP)l)S8MvStp-rw9bECm%WrM88vGBTG>irs_?rI3lJm=@n;S-8 zWPI92r@F^|=yFXM7x1bglvr;b075xRcofj+Q6ltbOI|)s*f|Qy3ki#zIH|&pg{C!7 zd;9xnCb?g*iLkRA11XYop}hWaP%zuH?lBK-HV^OLV&D?3wb6jB1|AV8z&4$~%MOIL z<-jT1h-E!^u35)}k&wi2oxZiBP$PaD18!F}Rg-6$RDe^#&bR?Wl%o)Kuu$wxt0UyBsN~RDpO33~rbFdXpVE&KG$bWzPbl!c83q1f0PiNq;=hav9VH zFrB!HL5NTFXTSRhFHMA*`TO;F6~f7&)I9 zzQvF&5dj4yn#JzKsB&7qWb~cmj-U<{QkAE~y5yfy%{cuDw(UDgk2dDkDfIR~KeydUw+s zINb=}_>7yB10$ZY;jF;X0Z%AfcJxDm(mKCpPEdY1lOW0mKIK^(aD`w%`Bg}+?1TfS z1%7bqPxy`9+W36^jRUYuimg}u@FoDv&CJxl8XHh_8NkB#MZlbhyc+wYHYR1vKd&(L z*T?$mpjJnwaOFy3kw?{ygzuFatYB_#?QNK#f3N&ju(v%RYV3|o$Smq+M3+yfb%EMk zpMgHlpsVtxE}+(7thBgWw!!&zzPt-?(!8bPFdKYW4J?e8&w8!e(p))rUc--VzQ5`A z(nMam(CP=oG@cjS_8SZ=?Vrzug)%5wM$UE3w#C%*fpR@4qq)etYU4QyL}=_0_y<^U zI|#zHyP{{z-RzQKqkVx20xH^aK<%5ja?;3jtZm6(+^&0D`wJHyH2C7}=%99MZ~q60 zzsGD{jM=EwANfWe*>=Z86kcglTs-U%K+uUY<*ZK2u={CfyJNufRohfp!gCK+u-+`G zD77Avj7!IRDr(!i2k19-yh4FW4JKT_>nFx$Y^!||{wJ{Tg$dlW^_!+WvGDmXfBBnv z)5XHzXKwl-%UA(0GN;;ii(~SaX_LWy=k>m-wrmD3bk9}VCeQ&K8UWw639K_h{(z zbL9HvCyJvN?G@t6Cn&)VdL2IjfJyuBqNeHTqOxvz)6QQJFrL~AO~=-HGe6y~%&J!VjLC&22{01(`Db30=0$h$ zfC^a}Uo@k-h{UyI_EEKwcFD}A8wKWLB>S&FN|sum2r1|aBf(elM&@LV?c6tLiDw>l zY<>cu>^w6KWKsug;I-I5J2_>_X!gIqUPpsLLRZjR8|M(KFfTw{`?js({nA9YOEx#A znebwZ3ad6o>EgYJ;9K=UA#W>`8;3tUeo=b9WO^kT>T-aXwDU2m>3hMe<%T$ssqW zN!A$8^n@qcB*$MvBXdY#%6m80U*LL44a0^ZsT1^Pk#DfP}ga^#G= zLlr}hZOFLim%zwp6Gu-){RX4{zER8P_U?zl;Ae{f%*urho}1e_rhPDdoh#*ujyFU~ zNLBFvlBZIoQ|f6y1snjCdgg(@_1OqqF1}dFEbVu9EhE~uob*w^yR}F)_o3Cm26asS z+zl`?^z`a)-W5tOU*oKWpWhJ(c?9Q0c$Q#a%Ky-zOnR==Z+InJDKfkb`m4umjkR#B zzItT1CA^!&rcPe{%he0+X#K77`Cy0HC~xjZC4O*c*SN)B$ymjl_Nq(%(PII7*beg| zACl%+JuK=Z5l|T*=~f~5Ea|ye-vAss zem^MZaBf(;-}do)U36z_PoiJW>(vV%8`;2mri4~!l~{9j*}19Nwb0YacHd?-P1_ec zul`ZS4;Fd~$9s%mB|Ia+Df&i6`Q^ofN$eu5lhLq&X5(zFY(4dUEwmND+*y-M;7hQdfB69;6`I7Z07q6_`f1aRj$Y=l+q+JxAEBYZ?j0*t zcdUwXr!dBYUov`wZ_SF?(8ob}0CS_5AR5LB26eH?7W;+t&e}V=YhZru57pwC0iT5Q zvCJwKZ#b!kJaC0c%wh?DcIhwqacdSZ_pn1U&BKL|9aqY%3JsY>Gr46`@~bO!n9a4U z`9JdO{abHjHSJe=rC(}Cb$xeQuVte3hjtj9avefO=Wn6eF{?iS226U)&3;vSnVR`G zEe4hrl={j%0MjMnhN&|7#uM&=nM;VZ^$|SStSy{@qb=V|EP8#xU@iV$B#pHC*T?5dTCSo3AelWtcZ?%D-)>Cf`up+ntke$clCjPZ)6?Zc!5~ zs}7qC^EdLuaFIhtBzyAWyB)8j6dj4w+0_^B$)>OeP+qSxOv`pQ9UxLG2i|h0(zgcB ztwlw@yGGs&ZrhquVT$O%M@;u5Dn$lNO`M*8^Ho2{N0W&S*{$CCn5%@ZSnVCISYAnb2Pkx{HP}ez literal 2689 zcmX|B3pAVA7XA}yO^~FtB}KV(C~AnAMzl0;>sF^FC~ZAMaJAzVk4}(Q)7+NCT#T8v zgAv2Z)rO8Xs8@zGjaQ7O$_ypm(KNJDBn(o7o3QRZYn^q@-s?O2+k2nyoKO4CRCA8; z*r||PZ{RCZOz^ zYntvy7U5@Hac|nu6xJA``H#R%4uZD`#<~22w=@6Y(w4>Ll$c*GH+@2EpZ@h(kHahh zu7m*uJtT+?cp|j~R3}2-F^&#WiwzcRuZRAj3G7i>&JULLLWG@k<4$cO|Fg`K~ zOn^|0YUwi0_rnT9YpN4l9K-)C5OjnKeH}v;7H~nlmM2wM-JxY zq|4#P+-xWzZ%k=N$kG?<0BQ_kQJwP|D4P4PHBg`&#G}<{u|Z-7bw$d3$*{$!JFNiK zX|n4a)oEecgc_e=v<3oDg4SZdQ)w;M;q3vC)2I08OzmVC3Y4d?dZR#m2!H~4quL<*J-2hAV%K5<*rgq!wlxU#BHtSh09;)qa%wLCypkUhI{`ol z|BXs&351swHC#X^9uaqan6YnUYK>=v`1_zA97r|3LN!{Y$5v?pV(G@(SZ{Eghc<`2 zO<7p1eAD8%vejR75+J%y3jWMqIVqJ6Yz4pSh_yK(wG!vwcS{(O@di1fn#PCqxO{48 zfioT_b66M-`E!IN0LkZS21d?P3O9tA#Zk>bn0wGu8F4$I%Bta@e6%eNpFV&^G$xFW z8u2GJ7Tq>YmtU=2O`15BccQTWk^4XRD|g?tEL2c zFQ2hb@+dMK@EgnRCoLNkRs$TgaIF7PS3{r27mTLWJ*c0hiSPf68l7bp;zBo;&JQ>D z0ZDyJ&fms5%{SL&#gvA3u8wfCq;>$$ZRg-c_eHvz{>{W+mQ8aDas9gcIV^FCui zG?(W&^Yvt?@G`*NWx6j~jZysVC(%$tKGn6J3&V%F<;VP#TJ^YZAXkKC6xD|9;XgeW zi}Vl2=FHkwmaMx0#KSA37qWFBr&xN9(E>dz9+Hq=E%yc&jjHOIh5c9fz1_0nSw_7> zGrYApe=9bZgUt2Y-NbJa91@H9+li1=X0XR;Mk-zB-P#S&kVF0nuD~R2Gar=1T z<(Etr*4Hs=Loa#bb9bRC2CGx;@@gsaM%moL=>%8)FZVa?*NQ&bJb8-}F7tG)-b`pZ zphpe#rHQ&CMeZhX(8N958((%hz&q>_=y%RwVyRwTZU@RS)+7$XeSX_H;boLrT)vh2 zcQ2+M8qh1YdMdlA1*>#&6}m7pQ{PY}Ma?h!30Y5Xk;7(~LqSUlhc$9D*qdcBOn2%w zX!(n-%rFtAM9itLYrZ{MpFYKse?C)tfehtfcdrH3VGSmp%8?n2`302wdi2;jf-q(Y zL-;t4{G%Q(z4)Q@59D84gDD2rgC21+2OXX95Uv6>6Xbt$aJIwGBi-*p1b{IUn0m$S z)C7!YAg|j$J_WO?YFY9BJ#>=Ek+PI)%OTl7eRz4697qr`fCrhP?_8xP~cR6e$->7dK z--4567hj0JRh%}bhat*pHvB=Df^|B>&oJdj3Cc7r5-M_?li8a$t4@N$-REQ}Up#&~ zL7YT9W+g&Co?0+0Pw)>6*vrNK|7P86B6D>4^E>i4&z=Z&n_F(^o1L(p(aBJq=h{CO zRA7BKGA9$G*i=k;r|@3fc*HM{q^v1DUuV22&|Ic*Wj>%;NTv62MxYu~`f`RSTY4Hs zWpq!wnWaUZ5SDj0smZ;+?;yKUmXi-|I$aJANf# zkOs1iL6}{-)bRGygFub>ZdL<9S8VAeO9t|`T@rQs|45p}cD2*LEwI zXVK~%%4qij!oi;W_XX9Ix(`vy4G&A>Y;4~he}bJfXEEWu(zEs{NsH=%?yaorw0e9x(bFn1Yyyw41o=80pNCWusAVOoD?4 z8#m85JN4wub7YB9u_R%Icd}q;hmB|P>&sVjNXq1z*adWbX`Bvzp!}BE*vaGR67~1r zyH7?}$EhJ33+<%+Xw}GU-BXY2>0gsax<+RaYb7(`*SWzk4dUk_N?ok1cKG;ONvsVT zZu^ckzi#1B(mH!9b}nY>uWM@g!h0#pJ(!ZqK?wDx^7i`d%>C!A*b={}{VmL-GsN|J zbz9Zx-_U0`4{|;V7doD^ej7H;Zn0&?FI^=W3j24WIH$|bCZtv|3|g#{u3W3r>n-0> tM5vERg51aBOK#$R&%Jsu?OI*%iq*pW#5VmD08qEJ1CEg@xAp_Te*u*XKx_a2 diff --git a/_build/2.6.2/agda/Trinitarianism/Quest0Preamble.agdai b/_build/2.6.2/agda/Trinitarianism/Quest0Preamble.agdai index 127e079d28d41e9db43a77ca2afc5c42713fc8d5..efab68844b91192f5cf5b4e71949015c72df4112 100644 GIT binary patch literal 11327 zcmaKSc|278+yCdBGn>gW7?EWR36-K`&2qAYyVAs6v@udDB4j6yvZb=rUEC>+s1%j% zBGEFo@YS9zOIfD7NQIJ}=X2Ea{GR8Z-<+4uoX@$=^|`M1^}d!vJr1FN8tmC|&%Ag1 zsUlrE0Kkv?4v40b(j(i33C&sPGsG1o)S{eu`1_R9}L4F&sD(KogPBQ$;964A%Nx zOqMW&NZ=#$QPdUP$CwWlwIVNBIzqq_2IAI5;5a}A81RPYY8)&@#`{*tUkH2oHg#H0 zP-HH^B-d0~;q>!F!b4Eu*Q&yEr7}WlI0OKJ&-SO9{3wj^GX}iYd91=Gs{}0ELqd=X zilhV>Cn;eM!8aP1r#(Q256loW!hqn@0F_Yt`D9yR&0)Pt1r`n}OxI(~c_1D`RH(#J zpfbo>RY;*s_VDrUXoByej4Jdza!nmEW-mN}AVIj^@%^}mn!w)}?lK5)f4vYoo5O(m zj{lOKr6 z6$IZPh04}M;(Gzyz86u^i>;&xuq}cjlx3!@1(>r4)V&Z`n~5tGA*t02PrOL77G*jU zmGwjlD$E5cdM7JaagC9yfO!=?vU5m5$kOV56}F0V9NN)kbDpNn79fCYtg;uN#u%%x zVgZq$A28n#rGYRrz$NY=_q*ywIl~tc9iL(BY{1y!DJ#&U1+l?%D*G&A+C|fO0^yHh z9luRsolk{GX(30x5AGJSHdcEbc;ZZ=SXiZrcL(8iNLL>rIYyc9xrkc|3(~T4h-~lGcIvy%>~G7P90$mo@j?SMU&L@EMHdHJW%1!qf%O zh~-$2Q2w?;Bz9!opcUS2OLUn%P|&OXep_z)kjx1^8l^~!8@AXGVV0w&OrT2-5}0$A z>LH)-_7ifh;taRgSqj@tjM3b+nNV{}Sn5x8I|*??vXl3AhnFh5pr*gSv35|2N*TO6 zm_)US0Fo5Sty)c--sVyygTYhiZJBoDh*8%`qOzFaOUx+gRmXHI?l@}X5x0UHCh<;O zflq5u14QL^P+<_ZR4{0Wcbno>?Z`Jk8Fa*}{tlCekcUaQ9S_BxQz^G9B0>CRf>z2Q zg71PR`sG;kGTSe)31GB2W(L#1MR)mlZ=?SuPCpzc6*nSkww zKvXT}eZprKHuFRAL5C;~Zw%#TR>>pQQM8Ly9|spf=~Yq6M!gLL*n%9n)w33-cf^mo zihm*^^;Fk^ik2Y>ygLR|#Exll!z@9ICoEcXZ3~tAZ6hkr7uD1## zQYE{HJw#XNn7Lq(j{BR>Fcf+?g*Drz#9#_nn082fA{tf*|G)<$r>MNKrQA|Z3?@Fb zx3D&1N`;ir`AQ2Co>AcI;)C*2vb-^QC^1VD5770i@@13QOsUSSk>e6{#L56F6IK=k ztYE&3jc@7M^%RR!6|-47)t!W-_~VmRo5)jY)e0$=w@ER|YfK^d zDQ#kUd1p7R=B?%}{iXYhxI))*Z~663#{sYLCIN4hBh1yPBCh~I_!~I{%~<6s7Wksr zHlX8y6 z{ufI=NAkx24HCE|*R)bu-m3io-}D*!8|*GjE0Z#~@}x1A%ww->`*C{zX4ex<1dq<6 zW65Qz+{|1_MEu%_>+#~o94ND|ai(!i<1~WkfH>0=q^`Rp2GK z=Uj^@@|A+k`1p-0oMdVv4X{W2@qF`ZvLOBp6k0fk%R&TEmShCW7$T-GL!WS9gPZVc z#Z*}Rn;LTw+Y2b8nRgXUXsmBM1`p4C7{-dtjh;yS4T5hzVvHA^HC161UgpplCA_^T z+*=N!5SwMKN0v4IDz;7^VNRrGR%a7Dd8Z6$fFTS)Hm2Z2mRqM6H88CH zi-Ro$dKC6Z6fEC7SaOB#ddD6jIm>fO(Bud;DDOs5aLRDX*p#tJ_X&L9YPO^K@d(a{ z3|{n?sp`wv2*VOPEJ%=@_+KbRMGO zzgn|MoYgTt@0nIK;m9QmHF3uC_*w!CY)WV>lx)|i1v9g;wXGEGf8a2a{smb71F~-aeIRwN2mcMr;~vhu29@OFzcf|r^AJ&jSd$-y}VklD>Z!Z?o*;}yW4k_3+L~uZkM6AAU+<=*;sd`935^*03Ijs_`Km`+J zo(Lg$_fEm-bmcn9MTw{AyGU~CgtH*D!+afqArRE16KU4`2i$+@x zBUk|zEX*Q)TmhJN&3{^}!4+u)t`yYef{JCLS5Q&9*(tMA=Z}zzGEO^_K-Kb-%M^hv zXC5P5!$g9YN!JcEh3uqtqv^&X43BIQ7ipl%#C%pE}C)H7IpMGkY>Kc`IY z3LH>HX2XBt=~s~>Cc{C(G&8Et?Xw3e=8ErIxYLa%&^fh@i(UYBxF+1`1u9-|D_S3@ zd0zpRt_$baWv^eZkpWOh6tlzwlpx`TOraB;$Z4{!l8kW9eKt=tPIMU$!(qcLoMCu611P37Ah0){&Ol*r3|~M7%4&Uj1}3PJBhvKi zmqL_~PugJk4_t5E6%hXrvAs!w{XSemfQ`U`L7j4^`M+(u@$RZ0jq)_8o=XV?I>&*7d{( zn5&mvPn;pr?xo+uk{@6&4c>_DNLtk6<0J* zbevFkhoiQrflwRQ88?FmbFNUGBI~l6dlkDF0k)4M8RO#PG=V==fQ)MbMV?aqJpc=M z-91F2=wt_T?%hGO8fXvi#Qi14IRbxGJpCI6i`o=?MW*3(Qn$(X0O_Ara7wv&{GpyI zD{%Gr3PIgQP@xz|=i5iy_$|Dbev!<-(qwXm79Tg!ymkoiMDj#hdz~&4zW`5nC!6M! zBI|to1~^dq38Ue#LsPAZ&P3xnY@_FC2O4o*t-m7T^%q1&@CYSId{g}~9l|q1IP@z6 z_Bf2Dk!T}P$>51zki{|vq4=wDMF&fjUdGBr_IknOUi!1<8EjrNYreu@XhAwdI@G_f zcZbJgvd1i0MIc`L;vKxDLGpaO&V9cG&sZLUdl%ulo=`&KF<_fTzWDjVEPt0EwjO5r zmrP+4zR&qCmAJHwLZQE&k0jg;zw6MZ;kyE2ZEBH{HMFNKga9E(TnWVpHSKa+?*SWm zj3-l;co`yChOvE3xW;KEs9xT(%M$yo+fqo^d?VW&iAx($#g`#8ID)Kcr^3W|6GDaK zd7B?;<5KCiuRyzP3BJ#|jYCwL;;*)lAt{mP5~IMXT`3F1Pol{sQjl=_d=Qn)Fio!& zAc)^Ho>`-g@0)z}lg|EP0pAsUX?l4#a=xr<&oHbclU~jjzAPq$fcdpX2`GAG*B5a2ly7ouk%p$)&oCa!{h!rhMTafLnTX64HDm{qx@?|k0fDmZX|@fW6r zShnTdwcal!go^XGwn>wAOZ}?lKe_n6&-}D)EgiRVL1*5fudpEJi52v4s$dO$=_u4FW&qnsDSV&Z8xEqa zEUw*lj5P29g%K_Z+b-e4=bVM(=9$by6(q;}TnJOJ?<(2DBgOglk?b$K+v@Mu{%R0k zRtbUr-CBf9jnyhFctan=Ta&Z@>Uk`kJXq-m{nqnMVEm7Z4KNsA4z!sNm&_4X|CTmQ zVcO5Iwzcq({WY+JEQf`m&5P_c`#vI8?e?oxd3W!Sx*}z`u4@fZ=BzvGJg5tnkHco7 zYa4FAy|Q6jo0Ilmxi^$M9g+Km{8qm>t_TyFK_QIsi8A~k+&C7-){xS@*asW z6@d`#yWhIO_!x(qmQ7Czlj|EN2>2fVdLFU>A%3Xilqf}(gKhv$M(Pq{fpP`PPtVo9Zc{a7NDe7(-$-YLID)5^>3qkpj!P?B`x7JYZuQ={%xGF)u$BiXCB32+fJj}Gum!OO(_I)A!Y}d1kpaZlo z1lM?&`NI(xZp6^Oox}-%!xqL)!j=pY2cTEr;@yzEOb0NY*hxo+Ypmo`Fl&l{JKT9>O6gb-4E+c#5d^r8>kw zb6+6p-AnUcU^0S4pv|&(r{Gd7WE8V`onapeWYDx3HVX;GD6cOf>RoD3kxX9!5eN0s zZG>+Ld_s|X>QP+coFJ3s;9hx#y!n_m@FeZWp4Tq+F>5B)y>4-ESDTjbu;lKF{c#U6 z%u@aE*&kb9%iG5!a=0=#HKxr;V3abolu?}9DVCJ?;uL%v2va6;nL${{MTkpi5mG1o zI@xnu8!Tu&ynu834oLs8^Ytk7cq5Ut&fz^B;J@4S@nFYUbaR=1-_Lf4kZVeby zcO?CX@9W11+NTOgf_{Ve>sm1D@YeWnGKS`vwaXz%wEAkHSGst0mHn(l>zWCv*QxfF z>eEtW3>_xzXXj}b;brsEgAM}9>sbh*UEVC6;Yy*b#Mc5Y9jBOyvFeZcui$nq!MXAz zbKW6!_>}SU8e2lVdSlOy9cYqhr>K*_voV{f6A$P`N6*)N%{(V@Cg;fGH!!lQMg6t*kZJ;|g}9GUTi6WXr zWxAYpFq2yCN)=fC5+wGz$ZqaCY%)Naiw#)~)E-9Cr({JiKgMH;q||g(N|I<2gB$G{ zzARc-FQw_8Fc(c-z#N{g&+yFlXMora%w~AH&IPDj*qP3Qo=x!vp4@whQHHBP`YO8_ z2b}AUlDpdhnXdR!NVQuuo8jCcT|)f)EZPwZ>V)I>dL#$n;u+CJ8fDlMNUJWioXM*36lPAD z_-KVBt^rMuX4Taq(y3~eFy1XF+=(%+4Uc-!RRKMzy8QGlj4kr1-&kWdBm*eJBZR%h z`bP+>2xW+_Vz7GLr`U9yETyyj8LYa`Bu#FD1@_-d8DeR%LGzbaI^r5qbxH(&b8ZW) z=xB%5MGbgVlEEDMDpG?96CM}dvj~!e#;Vt<^TdT7IQKn+#Bx6Cb}Cd|#AJvTkYO}J z79@pszq5z=Pegjkb59*qKZu~?UU;=<-3!V9H&pZn9((61epu-69fUf+?nT8f!w(_p zW{WJPURH%NCK;oeJJ#ik9aM`-^QU(o6nn2VB^97GgjCzHq-1U_dWT0D4Ea_|Nn37s zaCFR|Cp2kx&42PHPjS|kCEs1U#6hCZBu_pq`tKhBufLssWILg@KkGqil=QfoDDm_~ zJX$f_D%yhEGZJ^2z@yc;J)1@Hu-m9UqB2AoKz)D8loPJ;I5TRV!0y4x!Qh^CNvhmV zyi}`?J!D#GP(7KZ`bV_n5NkZJ(ueVWQB=y0^}|Vn7Q@bBmYO^93GKe+QD-t8UM#XW zQELAvZH(ICI6>=F9zV?wED`4^X z2O>^JtL_%CiIP|cjgu1yB|fFQJIt5>n+`nMKp?am+$=OgSar7$o2bmGZFuZA*?(8q z8Do%R5qPy_`g@=~c(~I1_tIKiM!xH*islncZyBr;rfG!hEN*prhs8x zME$wO4snJty)#n?Y1++NBgHk=E6WL18)%1`ntg0&ZH2 zEKAH?b9O$YWp{b2wJU;iW0)+l_uN@Sa;f(Bk|ImYk{d&V4`$x}r5*O=4%?Z-P@Zjtw)`i3J@!v~3W z>0|Ds&+}MAUc;88RgdFMtf&w^Nv_Oe#~C})DybEA`B2k)xZh~qECuez%v^XLfkJz6 zjT!mzxpoE9^DFtB3$F2nJF5gu?_)ldT>@*!V@$no*KjJ?)9Al((c+%sIL@qqLi^BSKQ)0Ti*ILW5rG-%cE30!lI?DNoE6 zh3&yyzFbT$g1|QcbvN7FWG4zz`q%y-9T&91*+<@afChyQv%gon04{F;v3VV-{V%K* z_7^M6Afp7W^OEv5^3Ib;PSED!#GZt^Z%v*i2NYF)HV@(Q&SOb=2c0`4NagbCeQtok z{z&#w_D2kwIJzsFWL*HlJ+-jL9Qs-(zbj=h92z+fNsp4Oc?hWEGopqSBrgP|3|9SU zZmAUXe>|u4i8zno~P2!0TiRK>QnPd*}Sw{i!9~lg09U0NunyY z6xkC~^)^0G0I@w4utu*5AjvXrlBwk;4y`cZp1R657s`oR(qm$$yoP;6Ql~7}&uEYL zir#Z$PED;Ayt-y*=_1urvqz`g zMYD@$EtB!|#UV~lH=SP-Fu&$4`=e9Gg`RBo=#^64ni{s{njvm7HF+tJzNPgife-QU z>H=*JEh+CX{L>ZBOqu0yh@A>-k}u|kX>>7reB*A(x?4?wK3b)@!_}k~>6>cr5~p~> zlXWlDIO^_>VG`ZtaWB%d9XQhO?4p-+*XGT$S6$Q@e@jNc?|yZnw0yn1%wwY6;XQZ9 z#!Ri~rrE;UJ6^q?Qu%Jh-&<0ye43gKqwQz zwv+%#u9w2Zxjlyf$u}SkSlW`XR?};GNtTAHp#ZJf3};5^8X2yWj*~K+G^H~^9J!m?vsarV6-MKp`nkyr;dNdUW`a#-4az-Hi5m?F1l4ciBD9aUeRV~iw~9@!HB?xG}xv2C#=W5?Sx23r=dE@m5{%pbsq z;Bb5D+0MA&6Oi6`DHD-l_Plw8QIg*fC(30XC342U5cqAXwzeNyxT!;&NV@7|Cd<;! zrY420ths|ow>YmyVtek-txK_P&uP~so6V4wkdv(CWOm`w#(-0ot|&O)WoNNpdV|%;bhDl~0|JXeqhPWlkch`i8xg~EOT-lMF(JL3W z$SwY2Rl(4A@{hwU-6LUGG;**yYtU;-{oRrF!F6Fv-zD7ZRVh{ZR;}B+GtB7S(b1m6 zVU`wzRFBJ`T9g87v7fEfAmhhNEIA`5krVMLhhC}*A_xxo6Y&WV(7`7Jt|oH2?LHx# zBb*3)2)>G%{{SyBTne5(c4dQ7nh~h+NL~m4J|vU8o#>GRV2r_4RVd6LE~I8PRo(Oh ztL67<^+%gfL`mn7zx2(WusqkH{ zZ)fAqx6ON;H`);oTb^Iv-?H7eATVf`D>B?udIKC(azFvbXdG!Rb&)ogS}TDOKays6qiWi$}G!Xrwrfz@ZPCT8_B zg()BUy01hq1YuUiTP5Ir4J8E)YWx=Ow;{nMJE-h}J@;-i>+J4n%5iUORuLGN8C-kx zVLUUe>LJF&9~n*6=15P7=U=z0IM zrVuj=u{y2K-K;c6$JO{)&lkc>;rSBbSBLGXehT7y&ZVUHfa) zD<9pg=M#k4dH9dY+}+L{#h&Y1aBDzAiUZ zKb4hOtoXb{ICJK0QGr%fKi*P2a%`*124t^AjzvJBNz;jqM)c3#rIN;;`&adqNS@CO z@qPOZ>|J(Jv$MIU^zV=_h3`*p7k0ef_u5ybu%O$t>*-|}x3V(t>m|y~MlOW@*|n$r zeD41pvgge$$j@Add&N#a+gI>kkWburTDH}MGO$x|L)nd{p}ScU4L8x>S0$XLoe#Gn z|7MVn7vC@<@3@n43!C~%zFu!CQ9kjG`}{f1{=CWS4je@+LKM{n-jGJW%1A&~zqzpXg8Y%$D6o&Tq5dg(~eHlw2j*G~sK zhmMr~js8?s45cSj4fS~+zQ6VF;5&hg)|fCSgMvGN)i1O>%X4irwi5*BjV#chWzzRTlrp7~*@X z!PRp^egE=Iu3u?*Rxxpv#QKJr0MqlPI2&&Q+V)t`Hc_%+Bf}`TehI^ zM9bbPrvGztm*Cl#r6#T+AN;TR)-L0J`?WOZ?&ANx3VUl9tPcjZb0jyWv~Mbo=9d}k z?0rKrO8?7$uDGl0qt|}+^X$7)U-Y%5Gd2VmAN-XGDJ`8(UT-+<(Rr&J`vUxDev2!r zW(S|%8XDx|q_V_LuFDVdsLAnjz@g0seTFH2?up6WMjvoraO*`v)8=09wxD%JFx4Ru z_C<{p9%v~TxpK}?O0ogre|=fH-LH9~*MVw03BP`BD|;_-Z%gf)xgOHd-96FkHBwZd zBz!x^?O4YRE(%4d&S_x`WcL(iB0ekLd2&|Po4VCN7BamV5R zk%gT8+W)MqeOpKV#8vR|w^sjsQH9rFwc9qAqQsr%|D0~B@Gx;zk!mRUS^_5j=XzuL z+oFLb!gs~PyMz5*CAYK(>McR`-uh*m|Nm^buB$X{c-z$L6>fTAGcjFzu4Kui(uZRn#Uu;7nZ}c@`YKXJ1tT>9`d`}q z@he;0HRbs%$gHEVIV0<)cSE#GYSx+SORqvOeXjI&dlf%&3jQG5P_lfZc){YX6Teca zrSUWL|9rr&OuE0Ic>}fd+wJ`Zg;(A*{qy;H$$gli4J8Bp0f+oMIM*h6Lsa~q{J#D6 zm`5jlz{K!I+wa2P{r_=hW+(?!H+W#r2mEgbc3A=Byb)-Dv&Ni~I z(2WoM-^g!p*>l1fwnyn~I$?$bH!fnV-Kt^0StICuqqBMgs6({;~@7 literal 11329 zcmaKSc|26@`~Q8;nawta#=ea$M4^)GrzlD>QlZ7tp0ZUWkzPV|a}K~*eHk*1wP zm^gqRaj`COwbKmppMZi<%0>9|drIh?UuKSXd{6!B@SdE%_T0GP=WD+H?V-}UF3E?q z^z=*$5;YduuD*HS>5}O6d$HTJ{<-e>`#Nu@&WlpdSaproReG)Y+q$eJW86TDJ^(6Q zh9ZYRkKpQG382WwM9Tq72ACct{Ko*M@S%;#{ z%sQ4qr3MZh5sC7ZOL1TU6r<`63If%HK-!&`>q{CMZL>ynn8`@Jaa z0{Ri5&sTTKSHhmZ(-0RZh0xiXvFPph=o~<7JKVBU(xN|INs_|;jZzL6QFSR?cd@U! zU;z6{Xui3p%o;cufy7OL@;l9HbwD7?T8Ht0QRN5s_~7M0^9+JeSb0@!zJSGD&Zu(% z%jN5kD*jFxPP1G*5dA}?6nArltUu+ngF+v9A8`gBi&j{Nh@J*!u6z?}#19nb$PFI-@yaIb zr^O;V`y7>WAW)fagy%~IN^()ON|(vU9H zP3aGUZ;0roiNiN673+}WnkgtnvPzGr$RTBAjVjlKimS#{`NSG?mP_44M5+4#U^rDN z5TF)N4g}HoUF*`~))NT02G=`J5owVP6U?bW+xcG*QD+!NfdW?^GZzJ4fM^Y(5{O;$ zmf~a9vD)sUjM}GTM1?CTe;m5NJ3(is?1NCn)$&;MNVB+Z8k4kVULBHNDV>K>zI;US zE)Sw}o28Obknnp_$AHaUy0W~BEKmVxlRqdYX=^<=o($Vdu85Jb4xWcBjQN8 zHdMD1?}{VNp~Bq+b5#10cK{wJfWLVo`9wDLuboL!=X$khj2?yWNrD>;*?wsdMyz34QmF!f; ze{3m{ zFNc9Licv!1VD=W0QT+l`zD8DT8DKK3;|zhQ7lm?oRN6b?b@$Iv%hEGa&xw=HoqNKm zETJ#{!=#Pzl_(YfN1zfYDeDbQpp}Z~PMUI-GdfU;8W6I)swRd`ge!HF%d^5|9-*T4 zAX;KnmE#`&9TPo`#Hj%YCL0RdAEPM!(8L8y8yeeMl2Op9LwL*DP?ri-z&@gNXbFxT zeEJ%}!a)ah5(RNyX!M_tZbSu>s1OyhejE@!COSw>W$+F81IXk3@AHqhjr`^H5)m!K zAdgJ>*rMm)G*A)9UvcB)qVE_75f89^ux2a*Z~LufiV|%ay6{i@sd>C&<{$ z)kju+V?ga!fvvAuJ_fJEIo-7cGWd5$IVE2ntokO(fDe@T0!==WuLxAA_%~!9@ixeu z^Jm-fPwU-0Bc>y<#1=7DUd9cel6_i0fnm#b6i^(IjHV3}&?eG>2*lPm;N^}>Es~Iz z}Tz8=Bs|W$xz^ID~Q@G?Uhi6A*W5}x8bjsm|2w>X>eAk`LiJ6Te*Og#4(j-vO@RD{cvpKayj&%p%d>n>n$x)MbcV?dSWO=^1QE0b zTgazJu2q<#w^A_bjo;2tjgD(r4cH?_c(zqeJSLh8B(m*MSTM5fVIGxPeOe^dzn`(< z63k!i0=hY;Av326B$`uMdDoq&;yKAV^WasrVICxVZgv$Sx)mv>^$ii;D#7L)cY7;U z*1?Qg3f$fUZa*I^<=67BK~VcO%tNrYRaZ}n^c{rTYvI}Ra$Z4+4FEbC%;Y@!Cg}R= z7TH;qPGbiz;<(#hrGF(_jiXk6*1*D8~itrl2mE+1GiA50HF0V219I<;a z1z&c;22mJmF3FWg6N}hnTE!5RA8zYlvCTf6eVh2(lLAp7hn;NDZrBYkM>1zQdpEqk z?ukEPvkWq8u_OFN&wuZOi53%Bog}!1H$4&EK2bbSY-FvF7p7q1_-ezibR1#pv8zeNeWL%`OZasjVb&)G~DGKSovy00APpE z*dwb+LIj|cnjAgcM-F!hppiI{#p%PEd6mBKYhGTZBA)$dLjcAe34t(sf*EB^pDsFA zbS_K>*5{S4xZhE6qxDael4oI{if13l`GXEe_D3G8Zpl1vgK!&0V7(2-_*iND7&&dU z8mrYH8P<3Ni`#IP=nU(#CDcbwz$WF(oFzja4W~~k|GX#4>WgWxM^;6Mv$i=$C>v#2 zM@uy05hy7nPU@Sc|GcNfX|T_6#uAG}NFf>&io4yswwhYE~-mU zJ`}|OM!0RY1l&h9O33>2cK>3t08kAEH)y8V}0Uasc>1}0oZtQ?(T>l zHwTI1G*0u{h226yHT}wbV1M|*<;sR+_Uva}9uqr~0)wkJK$=e|! zetg-8Umu-RY+^gbG7>HgR{HF!1VeHjWR$L-lIJ!{a2uS-A~HoLoh%q11#Erz74M@L zLW>Q}t|%taEBa`&XgK*sc{DJ3q2({MWrR;Toa zCk;=u<~&vOCid4GukoYcNeHLm$u5R&pBn6poS(?!z799%2>*UI~G*Iwjj8+4mGd)^UQZZoZ+!91h74r zjL+4gLY_h9^M;hXN+?pj;l3uvedT;arFxC~DcV=u>Dk(s^w@!QAqe}u3`^N51QUO; z;67o%DJIFeOXt2Kw*iv&f)yfBtqAk|ZI>Zril!?}`U}+*t>YNKdJA5S-k0PHbokY! zqyrO3^ko-Vdwb@&pOt}M58TggN7Uc$qUbKB!4xSoJ9@ud+Q4+ zLj5oG_@t-Rm@(|0z9*GMV9G5SVr0q>u{k|Phn8}hRgYrkM&C=9i^5)3qM#gyaC+2x z-0`H3pj`QwuD8Rvj76D?G^Crm0m|vZVlrQWtCe+Q6EE6pg)1o1_xR;Y%5$IgijtfPKV3jJJag1#S z4=8lqL*@{D)e3~Nh1t*z$GZ_PL`n?5Q{Nef97E>cg0EHX){gi-44c~5A(Mkt4S9uw-vWX+P()+{0+ zqw|G#^MY9QDgu1QR$jAT1}pmfmsN{#dbsS*dnjudJtV@fzD{(84zCpQEYs80)M{NO zC;y%u_hq;}>u|w2I5QtqH$*58dae_+oaihXZn{JLy%JdUfxrJJOo#2I=M};GlC%a-GKHrLqC}=Hsz}~Z zfWj||qd=5395T$rla8X%PhS)R+e0eHl;CAb(mq7vJ4yQwr{i|Pj&Mwk)3dNA40oxT zHC2rz93ps<8(fKsQbI!wg|Ph#JHq+mL(iif;W$5KHjA-_rG{Pbr1Nls7!DHh+8nIc z!7GY{$daC95^Oi;@SjeL4JXbf`g34ti|D~by1d-8i8V6R2s26 z1&s|)3K!w_)DYh1!l_1D>6%^~c#(&aY=vPHA$Z%pnH3i}RN%IQFH z%y-_{GCmSa8)Nd3f~2i5ULVb4!{xxLQaa;~dIz1&1ne<{gs3Ef9HhifGExzhudgdS zb>WQv^PU_mlKwh22zyMAJ#9y3$;n%ZlcnNvHa!X3bXesl{gp}ZAAaPQfbx3JU zhHoUHJA43kQCr`k2kIDZB#6mLMtt3-1=6=q=*J-&EGH=@yJ#i@==u0mh}y)p!?O$!Fo6XotrTX81-Gn6;(4f-~p8%vpj@9x39#Y%r z+=mflXWUBvDxCb{O~Y{dXRkyB16pi>nqMUTh6xYc``^NS7y5a%ls=Rq4~x0`c0z1C z#P0FTAw#xGGW-%l)bK8En4UT&jS{$w^UxOd?Kezv%K65HoiY{ieW_yUCcFq35QaU%}l ziey+($aD>S57iN^i`qR?VPQ;(4N?A7{Oy2uvG6xe6w*K~y!t0JmtG?M6LJ~3TVXlCV0<%v=n7U@$iN|^WhY|W zlDS{!tNw{7^o)O}xL7?oqf&- zrRK$aylX}*dLDQ@7#%3=_#SGuto7ja}W-X%i-`Knw^yIf2+kKM#mZ{_WyLSKH z{X6L|)3>Gp%i0gwMr~jwIpPcKlavrCJ1SMuvT#B4-=QuniVNGtvM+L`pzu4srdP3zFo<~kSx%H&cG&y!Nk09mPs6g<^y zJ)tNOj8Q*at36r*M>$W#c~R|ZRnj5IV!_0_d$H|=Lzr2w41tGfbGoJLbAg3}p?3S) zqKm%{7m8cqQL?68V}%!g`QnrcDX5I5L=gILJ9B(B;5<>~MJ?%wed|Dor;RzKJ@>@5 zrqJHAP}e+CS1MxRa98_D)Gu1SVfW%+AnDi7tVaOt-HfC4h6o4Aa1PVwAYBSsj}Yn3 z16hwSQ3Ia;Q{`S2z{qMvl78)|w?L5d2&KLlC?Lcyf1J_=z5lNL8?IuzD4>1wgo7FNeU z*M@eygBGdQS3z%1klsw0bI=crgscuBje}W4p0UpWyS%?FQ;k~!<+f%yqiC-yk>Kc1 zCegfNe0{x+Lpo=QxyV+MHAJhwiNIW>ms@seLA^(z?IQKx5p-IaCj}fLK>`d}(y#c~ z(?G!ivt)_zq8d7*QZT!Ewd83E%OM@Jt8jBjr)%Mo2$#bvWe}$)GrfUD?&sPAq8bP7fNIG0r^m(`K)?xP1arB zbo8&wS$C65SB@)HoWLv5-T;`ENV{=^-UnHRylJKtuC;B&_;E5Yrbf=oDFj|LkF_RU zJ7ON|N9b%^Fb--BWBc73gV6c&^dlEQ=xnfL?nN|ui?g7gz3D*eGOtt;#>Kw=(VC9= zQ%nAhOBsMUJwY6+SOX~aWvE7PYgQyiskZ@(QPA4~(ao57YTe3iJTH>_h?YsX)#10A-(c(p*-tFadj~gWl2vMl|LrwO*czE zdg17WFF^`nghOF;IE^nvj~RXzi3hCey{LxSh1V#>06~x0a5Mq$HO)@=jBqGb>ar!o z2f~5sIZ!RErFV5TizM_EC%?uh!&X4bc6f|X={fx33-7gh$2^kAu^pNnV$kw%hE+1!ZA>UvqO!vzL9jNRGt?V>O4>tM~GL73Do{zcEip* zH3p-Hj%Zk~o?e4%*#KZsEth1d?zQrS(bxvavOwxFgv(RIOT~Z2+5$!ojM{hSQf1bV zS-l5=iuJ_rFfEN!t&ImfTgG{px$^(WK+Aw}5oC|7aBavO5C34+N3Qnsn zmO1Ke%DHftV?$$ApQqY|pP5{aQw%V43~&$*s?oU@i3->DrjHHvtQwZ?t%;q=x{GOy zx%9-qAf(T?xiIN4{F--nr6fxvDcpq5u}LgBV^-k_D8sK&jj^O29e`eghRTp;sG*cy zI6AxlXbi4t!yE`10GU3l$iaG76dFpyuMKT-79a_lpoMeP=ysNuCU@alUKrd-vnLZ? zH+kuaknG=Al*)2>chzkqepa4FSk>COF7q9y%BUL0+0vLS^)%0;%)bHe!O9 zwj}3d=j8OWHFcO>w^j9P1Xg?-xjDmM!<_$TG8~ueP#@52iw~5@m|qh2V?~8ZY?*d= z`VX7RtCe(VwH1~QB_~6zh8im$N!i#e5bw%{tlsd7_JpGqT{r1rX#>v<0!{vjL!jU1d!mGa|DuQE=b>B?r(D<%>TRPIg z92f1`UBB1ia`FkhNP<^ws8x0*TpzZQ;Tl9l+ll9eB#bIv0#TC-@TmSbnq?Oz4}*ll zYm>fs)cMX_A^_#^ys(5(qp^Gf?a+C-^IRYepkpIMLZn6+!tI=hJ?=BNbe3>f9zQuB zUr}h&<@<8pW=QlhMnddFQU~flXaW))UZ`E#nnDIEkix1CppzK1fF-Kqsr5ESH9op` z;OP{SH0d;K2uZM=NI0L=0lUHprLmCVZ#{ol%)cSw^{c;A*|8JJ9r4F1M4=s1Fnao9 z7-`zJc(avM0-u(_wUo6Z8Ki0NywCku4H;n%37j~Y3(*z($4AnK3cWo*IE3nt?If38 z`<(l63`#+Id9ItLz(Up4-@M8l!8tSYInt%;rWe9GUUBqZya0vj*>Gvav>&;2{@xLPwX9Pnb;zYv za{)`I+jVEY@B$F3sujvz;_$u8(Do%`Ot@cnezR?;CUm-naM-3fqX73C(r&g5r^2ON z!olE0BvV&_myq0qvG;|VZ|KPo7*r_ETQr|Z-z-O zQ3urX0F*)!Dm%10;EP17)G03*hDb5i(4Ju%*mhWDadSata-_?grtL|qB#rH};eH)( zzdzM86u6&gie?%DL$w#znwA^$B1ft(nimEo;F24z^^G&51WoTf^m5(;=wBJ8(W^0h zo)n@RInPF2hjT&IY1$YH?Uy+my96qqkx0nOt)9W4@*-7+KCElSuxD!x&mgcBIw536 zOQ47~6&h6kKoCDF3Mh$i>=0QsJLgFji^zl#xC_wmTy+m4TbA<>$+-^D zV7w#PKP%k;hdTgSd0hANzq3aM3WdZHvYfeTWF*IFpGDyA>&8 zreO(L0j_Nlq;l9tKR}_Qbl69AYcZ(&`!h?@#_n)j%Rccq3XL`tDtG;aLUKT3OgZs5 zCOV8&U!KE7kUH61g1n$F!?yR7I_xA_y5!_ymPiMp!$y^@OZIJjtul9N&{n-=ULE9jk#M8PbqPunUWOWzO z?Mh&%&}X)Y)ZM>B<>B1Xl}g}4fwKFN=aaF_9 zvG7W$*Rbu2@0vE3LleRkx=dofOIzEA$sV%{RU6wMtCn1=6Y-xTa;0luW_^)TTfI%o z3!g;&bs}N{ReY|E>UBS=KE5WmQtbkhhaUUumqPugEH$1#rj;1awM^`O1E){j6N)@; zH|3cOfjWM5v7`akJ-Z=yyz&bmvuUjXQK1a%>Y0gE4Zd(qIB)VN`+TN5!Y;hl z%>qE`2BEX}V0@_zZBg7>SM#%-Y%UVuj=)!z0=Vb6h7efFKvGM2DlwUuz zaDJgImuo2_SUt29*lk-Eq{88DlT2t{KXe4IjL~ZXQGZkHwyg|8SwpNu6P)i(w=>{w zBogdrRRh)#H&FtA{+{u*>mJm)4qq{}QK;nXDjMyn> z6e3(c-5vV{q@1s(py(=kLa697aUPeI9;FJwPutZN^TX;FEb5fRh4_jfP4Bba^Px8T zAp@Krx{TAE!+wp}ZF4rJQWC!)8h0{7tvP@H?T%3rP%cuGXI& zD2*NDKVK3gYI~;6`;3S`ep=7`rQp=tLaD8VBCjhR3@Ka6y?*+02rXe5R=f%|_Kd#V zEn6b~sQXhW)$^2F*Owo@la`(__?@-hmD zcMC?c2m4-$3jXZdY8vcT5d6O3t(5n7lLx*nBb!@qDPNV}Oq4A5*B7?c?`iZ8RtjDM zUf!O2$5*uZaG>RZrkXpdrmn);#sbCKCVgRTSkaNEc^@bPIsPe)sh6EvhDNnGmh!AS z)L09z;YD~MlQkIrz7^@J-TFbI*<^qJo8h(XpyI0GaVgIB>69A8qTl~mSYZzEQQ#Ul zOPb1fR}KFPbluKuzGrFGwowvcJLfISRrmhl`#vPtj54rgVe6em@wvo~{DEbgk+H8$ zS!h=NEsSmdXnx~mPg?bXO@FRmMh-<W0(g-3ttL2b5z){ex$h_aQYhW4Se z_l>7NzM*grrsc)k;(5mjcQ2+x@B^Ad@LT$TLeu)-BPDau`0GFI&)*EyOFRgh$E$ka zFJWW~b+rssc6rcegRqIzZwA-;x?}}=>zgwB_rCI8o(uN3vKb%;|X**W4km#;W^*Y|0 zT_VLAEEx&@_x4B=y{8NQHBk8T^E=Nl*T!?mvmZBZsbCdXAC=Gr2jJ$PE)K5-!a+yF zZ?ByirVcThkM>@FHCi9GRN+zk^|wK->ya-iAM#p!%>HV4)%kUFW8=E>m;GE#F`-%2 zmEMDk6&`KRKf&*B8L!OC1ru(2p5D18o{MdN*QB#&y9qUIta7~a-sg==tlO3Ia=Xks z&s=|#)oLENqa}ZL8J3p66ej2N$2~3i4^Ei+BZnO`*E|Xq+&S4#EV&Gm)qm?&PRk+p zj*UpIyW;wy+n@HdTwGsxpNzDwie}XZarkQ;NNY-Gkx`i?Uzzt9df^GcxiiN zrZUrQ_VL8!xwUht``^`$w--{|A|Agth#wj6F8nLxTVBW6)+))WDOcj>|H_%>7AS8# zt+Z*T!FMZjwRY!+npb|Fb*p+?lxy1We;_EcFMW$&O?ft@?ZBL_jG=osV3hag z7rKl%-!AwB`C7Z(e_4&slM`8e=UYeg`wRL=PYS)~4>J^HPg)t6s4MGj)X)M#|@$-TG@@{gan^(N;M9H2Idt)vNMNQ<%<;?OT6a2uuIF zG8dk}^u{5I6AuuD@?;vUzNZQq<^0>hW?K+ zXxh;{v&J*drt$x{m~8iFHkmfHH(lHm$tdh}KYU9e-Jf|e)3>NC?_B)utw*=!`kBdJ zbQS(pb)!*m#Yr+PCB*Ojcd%DAb@NkS^X>jOw!iw+AfW z8C2qt|B1iln$unx@0p8@S+~b`yPZ${xVyFC6%hRS=lw4CKQ(vEm)%Z9I@@AK&IUiq zZ&S{>a%iJz%*CPcgYHP}V{(^4HAPc;%^l@M`QHku15f6bX8rr`onh+@e;N@{^R(+l zkj1Sg$#rt^pAK$8YQ1Iykc)lm3~l!_XkV_-G*x6##{@_Jeef~((Y+%dp&9*yxCKai z)V8kpey>~n^Z32(yP8zmuWW=lpcb|sdf<`&Hmq%%$NHkPnw#EtWH%ubZqNH4_ym6{ zyt1sl{%mqkEAm@K(aS`?b;S2c&W*P*PY;0lpz1=wU zknABwM?(vzM?I_t`e=c_XJODCx-=)gal=-p++g7``&)1Q+BfNcYC6?dSLmT^suTa< zRxjAAmgDp&*iA*z^z_HiJ%O7|R670VB(R!wR#%%| zbymYb{?5ColM8JUG+ZPi4t#pi*C|joFnygjzWs>@GFZC#S{{>GQ=T!@9s0nxX2mRr zklO9~&YS7+pE~Ob&9>xc7U>liDS*Ly|CQ|v-2w^K?zhl?BP4I}-MJkC_l4)>KuBzv zTYk{=PjX|qkD0rQWKF?f0hsvjy>sz3Qmp{kMuWllys;(3)m{9t3$|rxh z!QQvNqRS`Tm#9dZ=8ilITJo*szJHNkXUWc2M=aa&nl7i_@vS)lL3#0({!OA-<-m=P zU3>CNHw1r5{-x z8dHQ$ooV0ZJ{Bv%0A=vW+$X}GL0lDjw9b9J7>Hor@_^&BpNZ2mYAIrSLJl7X;C}$h CvH?f{ diff --git a/_build/2.6.2/agda/Trinitarianism/Quest0Solutions.agdai b/_build/2.6.2/agda/Trinitarianism/Quest0Solutions.agdai new file mode 100644 index 0000000000000000000000000000000000000000..816ddff2d6a9a69e944acda5f06be3b447c36516 GIT binary patch literal 17583 zcmZX*2V4_b*9UxOCXJc^p|^lE1qBoVse>W}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 literal 0 HcmV?d00001