From d36e0c8a9770e715df55dbf59d9852989d30cd07 Mon Sep 17 00:00:00 2001 From: Jlh18 Date: Thu, 14 Oct 2021 13:40:21 +0100 Subject: [PATCH] added quest 4 --- 0Trinitarianism/Quest4Solutions.agda | 7 +++++++ 1FundamentalGroup/Quest0.agda | 1 - .../agda/0Trinitarianism/Quest4Solutions.agdai | Bin 0 -> 20112 bytes 3 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 0Trinitarianism/Quest4Solutions.agda create mode 100644 _build/2.6.2/agda/0Trinitarianism/Quest4Solutions.agdai diff --git a/0Trinitarianism/Quest4Solutions.agda b/0Trinitarianism/Quest4Solutions.agda new file mode 100644 index 0000000..2298650 --- /dev/null +++ b/0Trinitarianism/Quest4Solutions.agda @@ -0,0 +1,7 @@ +module 0Trinitarianism.Quest4Solutions where + +open import Cubical.Foundations.Prelude + +data _≣_ {A : Type} : (x y : A) → Type where + + rfl : (x : A) → x ≣ x diff --git a/1FundamentalGroup/Quest0.agda b/1FundamentalGroup/Quest0.agda index 430de35..0d0bae6 100644 --- a/1FundamentalGroup/Quest0.agda +++ b/1FundamentalGroup/Quest0.agda @@ -2,7 +2,6 @@ module 1FundamentalGroup.Quest0 where open import 1FundamentalGroup.Preambles.P0 - Refl : base ≡ base Refl = {!!} diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest4Solutions.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest4Solutions.agdai new file mode 100644 index 0000000000000000000000000000000000000000..1f731ce9750dcd4c80c51aee76e8b2952446002c GIT binary patch literal 20112 zcmYhi2|QHa|37~3oz)nOeP=`&EohUh7l~3#%e%B1v`|@+B?&iK(xNHerMF~CS-vSM zEmBM<+EBESs3@sHvai3_oj#Ap|KEKyW9~WUd0zYLb)S=jel4XobL6o1fkDUHD z3W0xY+0ShKV@&c-gi4`4k`c}DdB|w{J{8s4lW}g}j_Tu2LeDQg{3rU!nd1g4WV=#M zFW*(XW?oXU-@g_|)fPTh_1`yZz024Ew~c!n^scPF^w9rebVvWZRi#^=`PPTUXNt__I(bL|B~*OM?>&uE@Z>b9l0Nd$3RyL>{Fw1ncq7TM2=xJcYg2T>kMzOC7`Gs9e-nt`1sr=W5}B zfjL?C_Sxf=f$xt;QCLH0`$Mnsn!{z`&#spB0fP!2*E6ODm8c-H~mR6k?8XI)qb`BA*wM1+pi-kV%H-c z2=L!#gj0^+P!(>HxBpU7ZX+=>rm#FP>h8TPkvSb0cBiSV!>sCK<2TGkLq$_Mw>)K- z?v+1?iZ#e1omzzbd)uB$3ma7_k>@eq9vY0ffOg_jayxF&IpRxA+0myy{P|MeUPgb1O9J zdl%TKo1s*5IcDu+6GHwTPMBI`Ro4DmI~yp5D{pd!icHI`k7godW!RlJ_I# z=Aa`l+|L%4e!XQs!4vhi5`sC`sVd?0P_DJN+!@45*iu9}jh`#}96ijmLz!(cL|f`TrTRnD&wk#cBBHpNR)6qBn06=X z5LOnAx^GyAdk;gL4zha0*1>bGS88xJAO4BT1)CsR0&6=3jW*V}*^FQc!tz3>Jz{k< zAro;D&lI0U_mSFKkDx1%xWdoNaYkZm)egX~?D3hehQw*_RTlNi;pRy}SmLl%+0nu; zJ2ofH<=&&WV(egA*$J7C2vHG%JX*h3mPa8RW|;zE5LkWfo~r#LkGXVe#_#!{6^0mTt*)DUNEhLaW1Npi zy)afOqSf{efmrYn^&|ZE(5S((+~GMnh_2^B?b@ZNRnc&grM50-TrU<;nPh_ejPYJ= zuwmP>#k~|Bk@DRYmBe49R^tf{wE|drmRBMy4lqDjqcYFmD@_37i+B1#Kw8MWNybdX_8j3 zW0$%Zxz#vxg@Az^-6+R|`>Oo+s`bQ13eYDCr>JO&(6ER-wD!Aay~fWSGmGjvL0kgg z+MVx@GrDM=iPH)B#>JkA{}TN9jR){mQAph4T^?fL#-xDvOC<@4PY3~Jp&V~ERb?UR z{XGY1H1I`Rb$|tyX?h6tyS82a*dN3-fX7D>IQ&x_Dmcg_+xwqcJ#h6 zH$7V(W9LT+=<^$wf+QB~I%7pxX>i0oc%D<9Kkh9@avz0S@z?t<&OvqaJbV_vr8w%k z>!Q3}^I>$i9CIO!FbLy?X~3o5Ri;6447k+I;JrW`14JnpwK*>vmCGBWh)~ljdf=#% z##n^js1jzRwq_H;Z=6f;cjq%OE&dP&md3BfFi#dUOa~bIMdx*0Bt@l1@5CoqvmkZg zEy=2$3e17vE-Jq2BtqTSXoxy>88rTeYu*2*cBiuQOuANit_VP(4?X^X`G5vaIj9Li z1h@qtvc7J`B%cms8!p^bTOOT=-=1?Q&2cB zR_(+R8yn0IYj&L@`v{oKfjwPDxHrP zhpC0B4LHK&p}VvP)^=@ZJcghJ)c6B3VM-!%YN%-I5mi6Xs9O={gy)@IZAMWE)8jUl zG>(8mjs zl(O03p^|drPtZyN!9SU6imANC==c_Px>PlV3>7P|Sd%*#)~HMH&ysjrCKSEN;dE_D$3g`!lY*6Du7z1uE7O5_g@LX3svhv* z#xeBbby7}?7J9r~qc5^M0{Lo1G}Byk{gT~rnO_LLN*|5?FV~L6`z7y(N3%&2h}PkV zbmf@?GAmFkbM0NR;K{cryJAD}Jdf2`n96`Z5Fbr9zkL1T^_=TDcE?CJn?JCabmiOW zVkkVqbh(Xh8V3lvCxax{PJvlJh{ca$5WC+0G-&(;;uy5L&;-G&%dPP&>Ksjj*x*HD z=bNow#9zessw9)hxlt>KH(g7m!Qs9Pr;FaDO;lLns}@nLSj4Crm&imfmN~7Y9JONA zuR!o1cZSexlA3Y!a#tMMtBNi!p~Flnrk3$V>qVmv86_Wy3w^2`xV8R&e3I zviaqhWfD<1zx>f(dgqYzMo1+v5QXRIHtHh@wveOo384N%;{p-I{Sk5%9Aq22NQ=`| z*f@nA9o6Q(UoxR=lfxX-~&(D(uo8L%Xt2@pTF9RCLj+z-jW*u0yv0JRQH+%|oK`!^sx6d2oL$NvWP!bNkBx5A5a*?Yu;r-+Ujse52Z0#!7@wnlLPilGtv3)9l09j||8~21%#K zu%kLmKRksB>Dbr>rKe9Hs-!N~LY%u5m>C@=*#7|YDaglxd#X_6^&bzuBd5FQ> zYA&`Lk&xT|LM9VJ<)^7gf*di;gUob`RfTSo(H}0n%ZjK?LY==Mk2Zz?q0w`4ZcytF zmB}|i6pv&rrtsVI2|rsz^Q<3+L4M& zA>mzc*~;eaqHy0Ytwk4bzhjW=rkl|gh{OBlk$g-~H~Nl>YDNfQKzj#KVMk0WBt;Xc z$`y+!j$2QFXyk3<@6%;bUCaL9F0I-0_&vsjG?hqQZo08Lme{_q9ScEAr0a_veOUy$ z5qM3;(@lu;Cl(m% zbJVGCMu=v~@o{yM@PKJS6!4-?DUV6Rk7RJ$=Y`NjHQJ;vUZ+xv7~E|a{)58!uD9+w z5JQ%?ZVqD5Gpz^2pa5Rb>FlR2`M2_J)fkg7o1LzsK$KlFS%^-{ z!s4xt9n|8#*XOt2BAq*n5^oi6B~y=PJ(&g}Jy=)G8{>r7j(Fjx>L`wxZh;8PKGgNopgBT6&!-+>a&q6Y6y7a}Yu$_~nrLilePP8xW(L0C_Hucs)ktutf8HIOG*bJ)IX(9IXX@S|I7lVCbfr$SdVA|jd3sAzms_K(sTeN zGTfgostF*uEvHlcA`r*!Do9jg2ag_@4S3Plv-OVA2x05#R`lq&9^ly{iS3Kpr(k8h=TO$et?p^3w9lol^@sN0^mS8b|$IIdca9koE2 zZ(q-VP`PY{kBo?NTPGEKF+e83MCA7zR-pll1+JTpL;1StkhFXafVEGPYN{uN8DJ8y z6Mq#BRafypgh7Du`Q-WjSIKy~=kiL-irq!UcJQ2MBm^o}B@XF*Hn=TRp!^Lv^_e@^XXR>0@ zg*A7JzFQH=d)#!`1!;QdKZL4C%80gUO%sSylXvk;xC}||`)rz4k>D=Aa~CTh&ZYL; z;;2`82v3L2Yf=Mqt4~3xsSu|=bEH3LWJ$Q)lh%o69^MX8l~^`8AV&NdS z>9D^-j_yeizVQ1iJ$cY+IHs2R2jLgHAdXR7$tfUOmLxivK=i0g$ty_4y}L+kJ=spY zR$QA7!JtlD`<}vS`s(k2s7Q>!f2}pmFWV*#S~h+4^QeOOowu^s7*foY%s6RSkvt{p z^_;C$`Ick>QoI;PV$t|;D>BF2$G(HVdES@*?n~nq&-e47sYs?|;*^o)mqSo-Yiw<7 z$~o)#Y~^gpf6wj>HT~aC%{7}(IZiLm<8PSebcMgRaM`Rm+n%;3t2wK0IJ(w#m7hm~ z+LZ%8wpBCn7h+BGZBWzET)GP>^ygtn$@FOjG?u%B(t!1=&J*Q>^N zSloTOkco696WBdV#uITMtDTA~FTBW}i;T zp$VgbT~UZbw3$e-)K;!Ozvt2gN85x0R!`CqR!-v(sutUs$AP^XD$+#+qRBGQi9Z)6_dk_|xW zF_&soG=A!yJg9x-?LB#Ilr=EcXpJ~LR0g$wqIEX*tP0Bg-rKz>HU7M&B>(BWxHZ2aiebdqvHq6L~CN* zA11+)X8m8Trx^9-mulydI)A9Z&l}?RFsK8$q;m8T6;TVyYit#Oa_({`k0VA!&8xrE z!FFe3>#A4lm9=9lM8%KWv>DbkGWeWgTlMf}*66S7>$>v^#hBa9f0 zz)>G%{GwevXh%*zWgn>A;v?%j?ECVkoF^7>T|t(bAWGu_{l-`!O$vDv*xu$t0`4Ik zCm0{lL%F1;O%W9_RB1XuAXh=`&cv}uZnz^wC1h?1mD4^7KqaUs^;k_pyJLunRDkV? z;5Q|Tq)KYG6ON`v`gCRp3i4~8L12~~e$7fyh%iE+PURjNR}6PxsPrke8=?+&EWWv+ zzFcQ}<r#Um(ZCJPrkZW|3 z1}+$3bKw}MBC>ZgyiI9#S!cp&}0sK)& zIF_k7;WVxn!&UI-=aH91h*13PopJ{3zzdB}6*8zJba0`AhN4tsq484k z^-6_7n2N}b&97NR2C@#hs^x2OY*vuLI-j{BVUR&9i`hqph>>vI*ki^?!;^-shhV7V z_35oL%)TW!t#2)|R{W#A6p=IRQ(@OcfOQTbtVo@at$5o9g6kobrM`$W_JxVVp~N(# z<`yDzPeT?cBs>JD8paxl>C?f5KM~s4X?-NLZ$;l8xHf|fj8YyaTb>&?!%-U+zeWK7 zFujUt3vg`mgtI3YD6KsSafs327nzMH;>LBxb=*3x{ZW!SSYm*x_5gKXkv!s0%`rr^ z7wz-GY3JQzuzK@p_KA+Q2&a8I^mNz?9L^@`^1xX9T12IfMTVilK$|0=r4O3>IX_WW zr0R$XF3h5XnO;RRADn)09q`YG7Ph%}6(L{dh!OB2u2LPTq6yEH>`gJ>#! z^gau`Z7~7Wtt%B73Byr1HECZ2mMZ>3dRMuetLS|4i5r*@-;i|Th7!M~`DqUpH?AiV z$c;qf#^ug2N#pX73^Iz`IQl>t`0uIkkyv)!Yn^l9l+F9D>9wgY|TD5(9cMwIDU6h&)glsV@>J0#(G2x9uLxRea72B_NmiDsY9vdmEfKR z>rRz3796j!M{X=a;>Ha{!lBeyj4BTvwUg8j1EsajScfPDYpMy9am=(D+r#3ux7L(X z;>H;wf$9iHlo~sI%5gGb-1slAEV5@C8!+G7zO+r`e7aqqe}=6&QXoV0n}!*Y6~v;^P=)Bx=xG zy2*W$dz1=EW!QAdE3lw|BhHNy0Dg%i+&O*+<5+Sy#nl*qN9l+V*fqR(tqMpTHuZ^s z;Q8C^NXrckzMo-}2B#R(_0ndgdjC!J7P$fL%`9owX?jayYLiu4{T-T0)3@Sk3dTU= z2A7cJO`$xzMV9Z^OuBr(p^pn-zN$;sy@BxktY5D~A$f+q!Jq@8l>X7>*I{t7C@skk zLL`ylrN0`)LYwr8Tl`BK2A@bn@*o?+{NM^Hr59*CXc|K>GdeZEi==c6W%1!$OR`u4 zQ+nU`p(+Mqz$U#Vzmf*fgh898Kd6H>0@cPtq~5>oio~NiYtT{ZLjGn@yZJGs*(01I zsvpeNWiua8ImKs5g+-Z&kVu-SUj8x2RKAC6ibKWmdCwP&)PJSF8HFlgLbwbERmo@T zI$FmMhWtf!f%2eup;Q36a=cbfVD zSNzqlni3a|fmEaBh#Iy!S)U1?EeVsBF|XaJK&r8{Fd967U(|JrqHu$mT)!z95UXS* zfwjkg2QrapJXUry`d+nuN7s=Fq<|&%$MxJ zb03}z*ODw~8v9$kWskJ)ClFcb5izXEWqMd=4bJ^5RekV!KXoZ;_*@_$HyZ3;hg0lEqHbaF z@J|e0v4;+ zOT86N2qp8HZWCffQcrda9&X3v75_Ac0=6Nh>J89ot-ECNiN}C=Xpn~22U1mD_<2!7 zn+A&O8tgpAl%xe%aR%hLrk7IfM{Dx^vT|X!y10&v^QEeM;vkdn=S3Qn`}{8(LG_u} z4X!^{!Y@W=4$9&6Wu)3)usazPMRh!j74W>I1W*6*!hkoMP!( zs6~c{lP;l83bZsrX(v=-dm_~K&Nu`7xD@MyMJ)n>j>(7`Vq8m)g{w<)|5{Wx3IesS zB-a>{@4(ctL0OzXNR|zQZaCTpD})IaDBe17`DQZ7ef?II;0gY`SYn6QcQb(ZDcR2A zsf#UcrDq3`zl3^GfY4R}S;r1;!l7wQmm93Y^@~MFR2M*vA{@u;A$9&5_V}U%{QpDw zqEw*3D`xn|qEtyCX-`3f``CPmN3s2@$rNcwmFPp5k{C#xe^Q1=Hqe*_C{-8A(0)Wk zRL0?Vk}JWl6Gt*h6Rk52U&>H9kR5^7zoV$U=#)h=FZ4T_^(Xx0n*nIi(h9i~PQtf# zx*>Ufh{k-NL{e!1b?r(t zVRAnRvY_n9Jxy3#4Hze9KxFRpxID$+b~b~x_e;>sN$TjG{(v9WWFi(UZ&d`q!U`#( zF@7<~%}b66U|{W8Y}Y->k{hxedvLUAlyJ-<{b(S+>VzNoQP$FrM^I6HmSd|Nr@sZ3 zmZNLX%(7Y0J4b8#ZOJ&&Sz4b(XFiKUR6C8MfDLm_R5_7 zs@%>oGO)&4h>%3WvGwGACdX2Z)Bjz1)0BHC-N!_Wd+5Ea+YNF$4|{~uua2c zYm8n+RMCE4G$Dq42U|<6_oDFneTyifX+(?-_ed%#`(t-!VU^bC)f+MsmIW8H@Yp#b z!ID^AQG-IR{&M@Y7?p`7(!$?f1_WQOcPtrdjQ&LkYl1(jjXE?lNoB&?y9nlPJr2fk z!066WL@Ce3clQGPVtK;kI=sG>4k4jczOz5|$8NZK#L|2?=??iYh9$MPT#OYxXJQK> z-b;we86;#BO3T{~R9lfrR-ID^i7S1xs|`h$-?_8Cj!K=F4S6fZLe$XeVt*n=YhvQB zW7I)F==>?&9hpKz^&Z(-vP^iyW;Bwt5PK%%EtKCWjoUYkZx}-{v`yc~qkzHdS7@-u zn4>PFWh4;pQ=Ex|qa*z%|Lze?k)Bb`BqMA;xLb_fgfb!C4TYr03*+@q1cQTl5|6>m zd=%AuK|%J*%5^yXv!Kp@4Lkay+xy*qoPAwbK~{cs*|98;W2{!fd6e6^9`w6q??7$DPv0ZB!jxEOK<`kE|=Lf0wuu z#~>O^xJkoxE0xz@_d1A9-O6B&t|!wZGzX|NXG1fp&(Zn3MDIi>=G1 z7EgI_&Le>qZ{(1e+MZAQ>K6B~ofkScq%ZG&;GA(eA%D+=VSv)gVqO*3KYKLZ&vCim zue2L0j#gbxTh4Oc-qg6wZQJq<$Kv~J6dzh(ixqHBENs# zYJ@AiD5VbhV9dlf>{yynVmXRE*X+jF?1*_E9|bciTW=t1aDhRkJ)&t?*^(|;h$vOs z5`ue&KX1h=s!>}dq;i4~*{l9RZ0j?V)u*8cMAouqOB9%iv2$&hu51MoZ&FS}WAbS) zQb}Pe_@X(4*fDVmnYT32#r)AO#3<1PeFSa3L{+f8$ORJ&>vIupEDj?fuT{7S;j88N zSuQ0`DNSC;v*i|@KaEnR&$X%TwcIYoR-lIx(y$s06IJB`I(}&ZZf@g#4pDN)`dyK< z4+L@_<)kf~t58q*IhDCUUsuF<8%r$ESH}4lTsO!HdAljta}y7Yoo38`D=Kh^oTnyW zF-H%Zc%a*kr!7ve*QXInB4=`WyZIOBuER#$Rc~n|a4rQan$P9cabGfwbV$+iexe7s zrjK=AF#7S$DU07DoV1;*FVI}mc2cmYRc{&Ww8*p(xV{U3e{R6?4~TH?>ZLDcJd{V0 zZ$jsiG!ww4kl5c*>_{#ecT@2jdZ6uxSJequLT~@5$vs6NdMh4jz+JVK%AB41K*OAW z!Q+GQrondK*QE(+FWU*xp2SE( zFFndO&;{!kf84a!`YlG?ZqV@$@VO9V+ovVQKb-Gd{%n@XCX!aMRIR&A0c8rQEZW9xfcf|eCl%hTCu3abWle|anx_L+e3 z_N@K+B>BYcMufa1;K074fry_@=*bWvR1xL1H^TIp;}e84(hQM$LzJIF?Z<~U z+bDxA-#^j2f=!5YR*vX!SHamvO7=lLPTF)tgO_zh$9eJ5KH9SzAOTBZpEF3{qE6C> zDn-OK?JMdq!tS8r6+3}#6%rGkr~ENg^@)f#M3X~Uq@d4(paU(wWm90XB`;i1YDefZ zO=8JnWsYS^-*z#+_*{rq$AV|;iy%I57^`bBQ0DgZl{zT&(dMM3@*wl4fbD^?$q+Yn zI8`iQq2d*>WJHUEKd4(z`K|HR3F45cx9wV-Z+iJ4MaY9CboHt-84cd|HKwA?c!`EA zY`5>_b|~RbTsIv0OFisE_x*vxD`_V=j%VwmODhb2*jw&L{2-2=FK3P;$I)A6{{TW5eTM zq(gzNpHl#iIKAT}aj0+ivw^gqCgr&wkCAD_PNuee`X1)$`jSx;QvT3y{-E>MfQ136m!M zbvdzfCw6zXE}04(RjAi@np!yeyfb!r`O!)D(b!XmAE=F-Yga$*2*c_-_7#)X%AGm$~O(6rKOPiEY1QcwuD# zduZodasDsYR5?xMz zZd)jRX`DuSY&W>G{Igx+n9xnBlWunvTT=RmzS2jllXoxMq?E)ToH6H80oOG5mxI;m zbm8|^XHEtBdO9vn@l5)x2xlTaf_oY+%7%N@_9{+XPg`DYQR#5+Xkf%M*H~+)bhJCY z@Nxxz`40YQLg>yf-uIoBC3HK5R=*w!ZOtuB30&AR^Ywjtr@A%w{ z`>d8&s(C%PJng}ZiGQlpssgLz(-!x;xz1X){`4Y4v+e25cESgWm5bSKPn%DvzZ$4I z%>H@0+tAFQb-7*A1ND)>KHqlL_E}G7B`a&(@lKz&XL-5pjia6`BMe#&6Dc9u9ffI- zrmfd>V@3xR>(LHPvP>WE~?>tJqmuw z0_S&MbVrh{WI1U`dA6eLbzOV9vz3|uc88XW(f7iye?T()6jpqbi%n@ z*LVCy^lis4kC~&0QP&KDdo8C-ML1V!lfZEg)DO{`+#@IQ%oy8_SIMVyHbDyVl41I6 z>e>N$^}U?3&ny_^h;xE+%UCeTSOi&jNwggINOt}vsFHkC$yr)hoT}wrZ()Sz36gFv zS>_kDE;iTKNKZ;tGZr_@2qRVS&X=TGf;!kNkETFDFvgKmsm$#h%qi0p&V8+Wlmv)C zs4a&Y?}827_nk|U-HbTgjlZu9BdnE4NtNkxLf!I@LEYDqkd7cqVd{8&rc;Y5AVlj+ zJIHcEXXW((K1R4YX(hLZ*@}q!<`)^1DIEodOCfrwtDWW(e0z9GK zVxKn#9Y*!Y-|z~-eV2TFWZUun-BKZid<7bSp7kL`g?+r{MBO zX$aCss2vBo?9us+19^3q?2_&iqc&ZC^35)l#osp>P;GpfUziiPtR->Os_SQd(B-m( z`-WjVyR7qiE|(>Z+I3xMe3(DBdMG#M$mpsrhenUp_RhA)4^RhgHD>2$<;I*kfWb4^ zCXEgGUOA@O7u+Uh4*YBkf@hdxj*aSe4dvO3CXb9NcP(t(onJ1xet9zS03}RyU`E%q zM*B5WjuW#6dK#nhhSp5cn29e@VV(jSXZhb~5JXCLy0>RVFZ0Ul!j<+}leEi=`(=OB zR#k>3oo2Npb*5bD`BCN(q1&?S{y&#*@!qWtoUtX&+9ZP?F52@rm{vK59Wj5iN32QY z%F(Mw<{W7`qRZRYc~-dY^mU`4rCXnwA3Mm6G)&y5apv@0L$gailNp+Cr?riE()HAP?;O9p|`ZJ6WoB7#tQ@@?MQ?=(c8&L{?&~JJT zndh(Puec+12O{*7<6K@;KZ7`aYnh9W<0uAQEV!;cm##rLS$5Z3%^%EokctZfMYf8N z4knK+{}074U6W(JJ`4}=K%|b_a9I;EYFdLhPyQ8Nk(A97nhnfkmNgx+)gdY2zh7s ziy86^{L(`XC$v!X5E9yJ$&n9LpApw$*!sMyE16Dqig+>OCBl6L{(s*Y_8}qAUQc%> zXMYHh6;2y47}j%GD$oErb9Csn1*En9=djU-!YCSZ)YrcdqDKEBfdwh9J2Y-*VRitd z-ycEM)b$kZt2=b+#EIen;9_C|CxKrgag#yC??8T|)rUyVo8>wEQ#lXyK*Zm@)moka zf#hkRQIj_5`PSwcfxaLx(vz1qZ6d>m!(aKpNeH{=qJ#+%#&l_Y76XuEIPC8Y;XqHC z;;m)#0mzvUy|@D2ZE}nk^*;({ad|_fy z68>QBLj|FU8?V~iVy`8bh62vFb805Xo%!D#Go0^!NdghhWR`h`r4Defz~y;ek;uL$ zMlI*~om=OB%WwDVx0h_s4X$mvU%a#aTf>Ew&4k630M{r~^0;`VpIP?9(|3e}T21SU z-@U$bCBP#}Ie^jB>=%?Pag0(ASk%;AJk+4pFi4?Jm{`gQ{l*}5?QdeB$>E5Aa{t=0 zsVmJ#0$oPO_EILkR^7flC)tS?m8!OC9p~(tL9Xty6*Yf&&t31XN-=zU(d$XCeB!aa z3+5{AR8)V}^DLNi{Ze!0yw|Pnv6KnBG$&M7LMc{wWyfZ|$c?5#(KRr)$pzJvoqGjd z41moBYYxYg2^Qn6O$B>_x3dyo`ejj#nx;^tN(&+-+`Qh7#uULLeMLvYdEw}`#Fzg1 zxw`cC${cn^gPj~xhXsRUG%>K+ER;HNqnI?m&psqr3YA(pQk)H^MYAP-c)gkLJ&pQT zc8p?Q1TC(kSk1l^jg}(wCQOPA{i-oo&BI@282!Pq(QRFun;hWyt{R;eeo0pWA;j*| z@-T-GMJL};;Slf|T)5I5su5JUux<-y2}GGItp5$4`OSyi>2NQG6s$2whs_j189B7X zT3P7lMW-qunBPtmOSr>^b;s*k`nD#`^w(ur@jk@Cnz9DJl*w={h8H_^I}DoEqYj&v zTI&ln)qGj_m=@RXIqVYkPH&%}c}=6QU~l>1Sh7|`Y8VlQxn1JZVI8!vPRT5piEH6#9XK4o1PMV#ydhE@m5`%6&D-|^=1k}L%NrH@X$ekK8H%1>KUS8b{?JTI z^sax5Fi6z+a-tv>HE%og&)Zlk`Sy%yL_h@t{GRxC< zBKFo~EJ9gl|9EtY2DhJ#PEiU3CkC>1M9XLtjhbL$M1T5PLbc$=yd6g>e zY^mUBXoKBz*{_Sx_n+?NiKf}mHQLaMpD1OIQY|vGLYY86tr(srM%0-*5!KJ@5&H1V z3T=2Hb)_XGkLktMXw!{1LkqsFTC4G8H*|1AcgMRRLrgC^40Id*mpIyc6`>rQ^Z7YS zIjH=Z4HL*{v}wx(0X1@7ENF&Nb~2ui7eCNvddcK5Gl+#1>yd6nc-s{%JJF$u<8^m%Sm9#aFz57AW2U@|zKj zHcGrM?z~^kTx{@p3xNhInF4qza6$AA5NJ-kEC^D@9A9~lts$De8Ce^zC?FDh<%oaI zJINw>%qZYv4G|T;8_^Ify(gc??4hyil>(7>!Mjo@3s?io% zF@{o9DrhjVygBYMyhA**)?42R(4)m#pH0NJ6&eUdM_C?GHGqeamE}>&$7$r;hGL{T z9+VMJiY5@F-&>gnlxll3_=;L$#Ei2MjBVO^bZz{1xNUurvbJD~38IUSGZ0OCfvVck zKzbk1iaEIRJvmQ99ZI*NJ7O-5P}~aGK`1*oska%ls6fi^ptgYMnQ_osKqx4aB4Gfc z*=K9ys%4S_$ygGyJ3bdgSgs5s^glb}&ch%+yA}5+8g0`_&W7FL)me{WQ_}u*V89UA z6!UWwN*PC_`1%6kq*9r_xwu+J9W2Ta1}`1v2~@xLdb5E$J35#w?Vii9B|?W!s%Y9r z3cFXP!Wab#hJ0Ozm%|hb1Sfh`LHhbsF_JZHoCBR0?A~P+3KaUVLxnNGx&U?m^|IQY zGk40IRQ`nTSN1;KdsW7%qFKgk<*;1*vG^?&QOxzs^)jul!`I?n(>Zo{y3&sL3%%Fk zTiu6s<4fZ~3hBK{pBc=oX%AKmuYzgW0>a}f16BQ84d{l*rzHJ~=yCI{PfoU}j`Qpe z*L|t(ow>F0soLSh-l;tjh1dZw)UVmm6O>K4&~&Tz7oSxb1lKIAz>v z+;H4?TzP!W`26vGLS@ z+~Xixe#8r7Gwo9h+IE{)ahQeP5Msc$_8TIJgaP?KQ3Hceq=CWRBL;8G1kC-`aO<-% z#F@ENF$ZyiFPo#)NU-7}V&J5b9u+|z zXScZP)_@J_{&4rz%-ZXebuKq_&~<~~#)#VwZO$zfkLEpZ*xa`lJ0Jb?w&|jhD%0v2 zLun=THn;R_ z2qjM~Vk^zY{AXY2(CPl@{v*o`YWBj(PXS1YmflTnOyXCJh-$mUe(AFQ04+M&zl`c|`=tkdu zie9Mumbg81`RiKBy4F+$*|vUO`1ES6UNQM~fa1wBGlgLn0eME+80>;LrU&-*Kif`O)|vq6}v(Sj}3=dNTul=W)6?Yt*e%V()SDAcKldpor%_-X#TMWkWw>}O0KVASXu|>-dZ)=<$u2x{r`Rq8MXcT zJ9$8D#`w4mTAT8BXq1{+*@B}TepFBWyA2zumy2Y5*KEM38E zx1@!FYjrO#)6aM9o1gDO{9CpdDH!-OQHIp^!{;85u)A*CTKm?X=gsKPiG$^4>l?h~ zJb!rP5N{^8Sz+f*C8W8ut^MKCP=|PfN!~WKm|z!ez5l-d)}2|zzAML8+V3vC`PWvG zmaAvPybbTzWmSN_0l}w-Mc$8Eyb@73IQj3($;&3cEd;$I>mie>MRX%?)$~VezAgAf zUwf=)oF@qQeevX;!9Q~ax4Xalit`^Q+1(s*?Aj>aI02uy=f~*Cy;E-h|N7v*?>I-Lr^)yNl=r zVMznuHlc5v@h~JWkn(@ukvB4kprhn*%lZqH^D%*YhyMNk=`}d}z{{7v589vfmD|5< z-!1<|e?s4eZ@(2(`kHd#UdZ|TR<%1y&TZZul#^4gSUO{ovN-!)MvPs??Jdg~>TW;! zCLb7yN8JA0Z{Lt9`b(*h(dtJ&W`pkF<$pAO^JP^ zwSU-^Q5O1VufH|^{zC1ur|#|pXxp#B&~@$?R<7*w$@Fq1lJ4Z*3c1n^xG~c_)Y>^0&52z8g^;p7GW5`{8SzPh4(XciD1&g<;!x;69z72aDcVMF05q z^>sK=9r3rzogZ$C^v~Xj+S!s4gncS%)~UAA-*dY<|5$2qSlW|Ce+M7?+xfX9PXe*O zv++cwtzgR?9;J~Uo7eLIp6 z+F=%DE-y5WS{dC)cPO``_*PE)zU?Zo$vjmS;X%Eb@8R zz60Aod~T$m_N(XX0Xs15pAjTq;Tc!+lN&y+Ful$AV}Mg!uahg& z`#x~r`TKTvU(WYmmvTMF(r!6}_;a@DaAf8M|23^?l4de6xtQLqtM!c#%Kz6mWF2-M zspz=#%OdJ)_!*?I^y8U_uRHeUdn^seBCRX>zZ}m{%M3aP_E}}+G6?xtl;)bZ(EO*s7?67madRx>bYZ) z^Mbxlyot;NiAz1~zSKUik}~^vEXhANB~_w?p8WN=vUpAP)4)H67MPA$qI#`=o1RP7 zMV-HIxone*|3T&6(TDrf!@Dd?K3e?G?$04*er9?(nO5$mceC%*P1pY(a+CBm^kmOp zypF*GsVCRG%e|JppiIW{uDU{lyRPy78zlWTxPN<;cx&b3lq=s-2bfF2 z5_KZpp0S^Oq^@u5R^5Kq?{=*3<89UqHYI!gOJDs4W%A?$&DVclx!Vytc{b+*U-Kf% ztmjW(m%p-*1lB`$kJ{zh+xM61sW+(SmE;=V%>5-ayRb^F_w|jVlWwzpI1#q{w#>4^ zlgBg5t+IDBS)lML{u+MC(p7J z)cr2ob!Xb#vU@UjAa3~h_V&x7=xzDSKkhm5*9zjW1xz(*x8%;e-tzHUc5GfzXKbJE zyXE;m+bUn3w*GdjDh}8(mfqeMG~Fp9edWy)mm_aa?Opq`PVV?GUF)}dEIWWL>i^RM zr@#8?$n{WR+K!KRfOXsX+?vxzdzYK9n|tQc_B@-tAD`WpR+skAkCDmKiL1$c3~XoS z-m&tEfuFt2{yDu(5a#SjjP41^;LmHGdlvG>s8 Jo}Z5y7y$P{5(fYP literal 0 HcmV?d00001