From 5c790ccf256e2f4517d34151aff56485ceaf1105 Mon Sep 17 00:00:00 2001
From: Jlh18
-What is `refl`?
-
-For any space `A` and point `a : A`,
-`refl` is the constant path at `a`.
-Technically speaking, we should write `refl a` to indicate the point we are at,
-however `agda` is often smart enough to figure that out.
-
-All maps are continuous in HoTT
-
-There is a subtlety in the definition `isProp`.
-This is _stronger_ than saying that the space `A` is path connected.
-Since `A` is equipped with a continuous map taking pairs `x y : A`
-to a path between them.
-
-We will show that `isProp S¹` is _empty_ despite `S¹` being path connected.
-
-
+What is `refl`?
+
+For any space `A` and point `a : A`,
+`refl` is the constant path at `a`.
+Technically speaking, we should write `refl a` to indicate the point we are at,
+however `agda` is often smart enough to figure that out.
+
+All maps are continuous in HoTT
+
+There is a subtlety in the definition `isProp`.
+This is _stronger_ than saying that the space `A` is path connected.
+Since `A` is equipped with a continuous map taking pairs `x y : A`
+to a path between them.
+
+We will show that `isProp S¹` is _empty_ despite `S¹` being path connected.
+
+
+HLevel
+
+Generalisation to HLevel and isHLevel n → isHLevel suc n??
+
+
+Hint 0
+
+We have already shown that `Refl ≡ loop` is the empty space.
+We have imported `Quest0` for you, so you can just quote the
+result from there.
+
+
+Hint 1
+
+- assume `h`
+- type `Refl≢loop` it in the hole and refine
+- it should now be asking for a proof that `Refl ≡ loop`
+- try to use `h`
+
+
8Xavs&8 zNmzE4a9rF)%$gjr48C;Y+g;XH^cFQ{e#ErZ=(&AFPYqZ&m(6#ioT`zd2cNU4xD(D$ zY4>?r#AXxU9#+Sk&uILZu{nGBiNm=oxd}6r81&?WAGbxQLulI2k2Uu}^>j8z<27Mh zUY_Nm#3v$@+iTK#b_+7xzrF$=MoBh47D~hx7l*xHZ`TcNZ3u3A=~O%stEv|N-tZ(r zg}fu;-I9T%U5jz$bFUMQYu~`QSY#7qx!)CCKcJa_7{tBI{ks46$Q6phncejl8kS~% zQ{&+=_jxj6M{-Xm4WmipKDR&&NxAmTabfx-Oq53w6vplQHJZn_L{2W{N3thAX_gq!EIp!ELXmKbK0%cmb3LS30Jfws_ego@Bk zQmS*6#DLqY9?dY`0$QnDqV~AEi*iQCefp6X*&~e$P+ZrNsPw&YV{ct4uhPTa>_(5% z^?4op9x)J#5$S({H#7UT=P;@dot&%VpH8}c2Yo>-?|bhZKbRx=997u+w_~kC K0BY0-%XVxN$>YpZv0=(%L&y(V~c< 2Ta*(RSD_AHzHIt->9hy??dY1KC+kJF3!# z9OjpOVwgoLvTX&km7;Ulx$G8vG)^vIa*}j6M9jNK`mhKNPB$U&!0sMj6?_W-Nxe-; zE0m;DNYnQZX2V$~?WIO6E(3@aN%LV%nMrPfyjgPXRkou=XCQe2zmib}`~p|RX|V+& zRZ{^Yw8M&i#3p}Ohkc~UY%{)HkQl7w#@@VLqwFxx91xTf)Oo1Q+g;Gyf(~P0dR1 yfP6M&AME+b+ZnQIF@+j5}g}?le0P z)#lSG(^}}F0SD1%-FePy6LpLaYj I81(5n5KwY82fsW$a$#Q zdq%i(wLyyZ$*w+4dwv0Bj)$di2fazKTpY4597M@D-&$nVx50b(d!EO8V&27Q^C+DK z^+y+(TmYt$Zgv{peP`60mx^z|$JVC$Tok9kSKbssYLoF+<(WxMwoMJ435F$Lf_T|!Tk zu#)R6ha-Q40P^(jk3Q?R$Y?rh>XL(&`IDVGr~)BF!*&gVkeRyh&$bkC?H(8t5iO;- zV<|s6&iy3`Ho$H)+x$77xmIz9q5jqBz^K!!g!pRxZg*&oa@4fAQ?SXa-olzu4O0$? zu7(GH>{en=1R_A4<^hb8#Q5SY)F;VftJlVi5d z`?d4MF|kHM#cRFAG`eCOGB=IwgDd3hOJ;mwsSsDUL*Mt)-t}SCI;DD%)V;vxMy_~+ zt1()p$>S%iDKZV!4(gxxHVCzmcP4yb9<+f2clJ>}w&Mqy?$q`R<<%D`&0!P6MF2t- zTM6j=MK>3fG^>%uP3(yKi|cH3L5HV*uXA96ZB-FOijLdt{<2mx`+6ylm5 sIJu;Y3-Ow+}&MPcHnWMH{~n`!uW^8*qyxbq`yvAMYs(_h3Mkw z&<=FJe1RNgU5AKqe5QLa=@JS5t03Q>Rp#g>P*GYxBL)HArZ@$~ahck{64mP!#m>7j zWQ45URNU>g2szbmFrQCCZ6`Bb2v6hoN_pG94JPe0eVQ#Ep$B*==7269)^r@IHvbBu zsnTVCyfq++F>e@UO85~gB34`kF0FT-2O{9rZ~1qjYKK=JO;?%WW@4_Nha7MDh}Y@9 z35!;DpdWWvkLS_kaC?^9so~9AI9f9>8zWHMIB8vDsU#jxa+r@{)~ t#MJT{7`SrYA8#H8>U`(Mc* cwCuy7}?uTJDBx9a_>4eA7~S#B`VAc|&cw#ba*z2dih7IZ~=} zwe%nxD(7HimO$P7MeSdBW0Dv1qTZYBh}swylqOB?>{JJ?7-qEar>?C!bkmlZb~W`j z&>8N%S6>@tsl{!UBUIE+?Spo@DYsQ;lsqNvi8-4-Ja!DfOO<-_`$4Hi*i7SWXJ7|| zNN$hgbUmty%+kq^;-h$i+kAzqj}6p=E46cfKLryBPa1zfGR@KU0au3wv#ZEjm7d1( zpMnp>=`G$DD|c#$FXmO4aZ41X+W*~=9e`aiX{fAk_yJi{IX1|~-+(KURowy7iMgKd z2iVD94_~pQx~ryEh57t`dOrj&nrk91wX-UD@B`%CoHJnrodM%?4jLyQEDQEZMmmGJ zuH?AJ9toCKOyCIHO5s4wa?3VNST_BH=*|>)=F0lqiIpW|B*yHxnn#vr{astX1X7at zyQ|&HA=<6|u_iGQtCi)@4Om`j<%cwt&GH->+Snp=n9hB>QFo2b*{2e=IYF=;m1D&X z(sBf*|6NPxIB&7)bVNzSPiQyU`j=}IUubiB#)@>_k&fpBqTBje)XVi~OnygCwLfQ* z5odU0;_FaW=bIjnL~#qcxGWN|Xt@&D!~}B26Y|zlW4cCl&T!^RN54dF?oxFn0OgsA zC#*s)&PUTbTgg@$0(tM&*rl^*jRZ@vqDX0*QVB-~NgIbcYhL*HHpYhQ?J|C(d<>@# zi^~5BB|!S6%_#(hFdWG*LxUqBp+zJ4_P@S%0z_)=w}I%yI!9H7T&}Ovex2y&0mCL= z7s>Q+Cp2H SrkaU~71~(xp7DEX^JzfrvBf#4CF^;^!ak(q=hc7leh4y{(PaiROt%6o=a~ z(kuc!|KjkGm9+C*6{&}# ZL^$o`o?z+<_QLrvom-HCz+4;LTXLDTdW4Lthg93elRI9O4ZBSU@yOHAu wx?E8H8 z{vg5=Tun(Iri`!IEa!)o^|FNaHl;k~E|0Z5(NOo66n?yS_C0vRt*iDcIIbm;P18L= zd|vxD4*g)qXMss9vm|HM4^_D;|GY2BUPs*@jmHOR`J0=zF-TkD&&(V;IvkHDWkaZv zfvynicjLElAT2{gBoAr?2;fAf!!c^;Xo a)vKCy(p;lcKX#Kjgpxs#KUvp8 ztA~zlDC%sEAndqMZW=42Lviv3F}~u|PWre*M7QP_?e;;4=LQNd?cp&I4Z6IMvU eiDS(cIl
NG%BLP8M_I500XNdy_`d9@*!vQn zo;5mfq(I&s`_Bn@eAKU|PvRmMJTA0o;i+=U8!VdpY3PN>FiZ2tay!HqW{euoF35;f z#H!j+GOI8_4dX_S&JF%wFMt>t&vMe83&V^O*P-f;T_-GSYZAt1&7-2e)3^c`Wo9)A zfJ%mpS9LdlY_fY3
#1~EYDB9e2$EJ54_1*}#h_5p`|8sxGK3~-Qkt_H@$F#j)uV>86W>LsUqKP_U zqG7*l!HbZO=1ByXIflbOFq2d=jFjGNC#M}Fqz#2+npdhXIQ^$iXz|tfvj<2sW$(R3 zIvSvo;I$zEG~q6DX^^9nP{hiC3WHvgYjQU)&)wBnUzZi2S1-l=LK6CKizjq9AJ)uE z ?~B$e^iE|A2+elZNriJ>fEf>hwY4g_~FKlYgJidZr`5EP0wun?O#hT zZ$tbXquAX+mAGn(SJS6S5pdEE>y*M=+Eft4%8nurd`Zw&%0MzoSPAQrdq2;!EpoOO zSt7ee(#GlBxH>eYR(7mZ`FXeHk$Iy0Y?gf9&ml8VuJMPnWX8$) 6QR~T^mP?y5i&m+m<+FLF#`u@ zy5_%Jq+e3Zn6*5!u^(Z9#u6+nF#)8_@; AObXA+Fa$c1kpCOJX5f3(gz5iH-%4geO7T+)&srKre z7$Jy1JutVjJ)zsa;|HO3-W#BZk~FBr=j d9a*@rxcC)+^5mI* #HLZ&CbTK=Dw2ioSK-K@Thr`)7(4UHM&_0Zc^-FqA(D|LoM|x9fLvE*}bCi zM@6# *M)n(Oh^Ggt=9b z;gj7yzJ?+WK_Q``;!j3$1MpXjk3P8nGf9nWjhvm8rmx7Xr25~v{+eGS2~!b`iXAx) zNP=5)T{8<|lcn@M;MTKgLYSA;+_>>k fq> z=cWnwSvkGh8+UugG?=WW`381pQ`u*)wo4IzhywIlmCsAJ{*!}8`1~ny#Gsj>j>l`O z{FnLZQ5IKbQ-R8}N=x9AD20jMNy10?9t0eF_lErP19QsJ0 ze)DaJ1$)Ho`cm6$OZx$k#Az2A3dB3Qnf*NO%Ke5C*zyz^j7!U0P}WWG--xDHp5!bP zFs@#WPn(rFfSJq_yHk3#3#{Zvef*DP{buBJjQW_=Y+dwcl-cEx#?FqTfulS+@CZHz z2=8EXssxO$+$01J;`g%~Uq`=-Wj8iXDl?u>hO8+8_gzGDRA{8YZ9^uU&-t!V`M{jW zA z5m;M@kHfj=N` zfq)#Rb4zM4T>6vm(=@-GqY8GEyt);Pm>xNvG8s-8;jIGEIk-XM2W)gJ3A|8tJW!%- z&u+}%o}x$^@%-3Uh4Y*8!Nim*djviVn=}=*s`&qCx(3F&x?p>QCO1yn#!h3~ys?@z zX=B^AZ8tWWq_J(=wrx9kx8Hm3ADlCLu-2N{vsvoEdT&yRONzY8ly&o`JIEP{G_gm* z5f9$jXo~*VsDP~Kr}BKhHv6f~>T_wOmBU%f_`Pm7$4}3s7!4}6iK|})no1fa`pqvg zTAh!Aw<$7{Ju-92E^m>vk6i8q0`3E@mMhqq4PP3LRW70U%r7gk>bdTHx!jiVxVj1y z{%sDJ469Z&pGW!uSEkS&W?p5y08^gMG{ By`(?W z;E `L%c~|qeDsR~Uh7x`5GB+gxT8+9< z4-^}3=d%Yz@|=YtFT>d38J=_PjC=k#0_=5v%KqF$@KsI_EMh+Y(Gs^l ?<5-diW_zPi!F_;b@oy$GCedYqAgU*g~UJekOL2tB+uEVG)vC8k>pnk4t{M_Y|V z{0U~zNWG8_lSt{iLu#-rRZ }HF_kM1^IoCm{@05x>`zy|5 zN%SpWaoaX&^k-!FS*h^Vz+@z z{NH%?cklak9`14$zMI$Xu?9QAoEV@V9BLnt6iL376h2s8AJJXas#v(^99<-68Cb`5 z_jg{sFXhX;I(NbEcW>Rv;9IYXo>}DMSvhw)#G9onO3Q^Li~9^01|6dD7qnNL*3;k} z4~=29M*Y s!tC8SI$2U zVSNrFLE|Z-q=Byi(_rfsc7l!Ok#3s$r8lP5DzHx4#L$x_-E$vgu2^KLR^k0_hC)ad z4|E2)o62j9YQK$2S9qTvw<{e301>V2 B)m$o(HDKBoVgS z2ZyA08noR;s@!ep)*Bl6-Od-gcUR|w`yX6xpQFA=xz*X7sLWVy_x9Otkd7sNG$$R= z -5%4$rsI9MM-si_|h$RX6M3A6+ z)%pr%>jI2^Sqj6xlxg>Hrk(o )JQ^i98Whxn4_Y{~Q*t SEZe}6~ A*^$2Mv9PsQgk+_w%|pj6n>-C6MB{kRK3tbSIfD1$Z7CRc zhoQ=oZ6Jkz<|*Fe|14FcgpIw#(0c*eXl^FUQ}q<(gtMQ|4=4;J6jrS9y^N-oO#l0K z)*PkyOb2WXj2ndC_QE^n$Bn`}-@+RX+}8UVJ3>$>_-M=w@d^9pu~V_GUYl@fWybHM z_-c6FU$-Bp*sGplJJZgg9G>bzBTH=jcpNk&kxg269sWjq13gDhk9DF|Dzak%0KQo4 zrnVAz)1>nmo!Q)1`r8>De&eY$FyC!@k2?(d-YCW)0k>5bj(&No+Z?f4;C*3Yq#BE1 zS?sU^lW$dATTE|<&eoel@|5m~|BlI1X2pCdZDf(Wv&z>}unw^fzL*@gSsCo~puz3k zRy;U7_gjOTW+H@W?}^_VuX5Te&8nXOHZOf?Z~CS|>WTF2|$NS#Dl5EryG4Z@O57 zm)uPWmYG+x^na^@Z=$#TLu)2#k>oqB>daxQv&UIfH|D2xX1STQqDc`)OE $%!!G}nwZRJ()WvenUQ<9d?r$5R%}06~;;e)S;74QsJ!3?5lkT}(0H z9eltKB5+WyC{?YG3u%ohyXDTRX8!w!{Alg_U&r;PZMQ`SD1Q_%lVwU2#6w77ZoeE* zSH-VKD!>9bFMidfWSC`>jxKk^XNd-bax9Sl*VVUL%0s^BoCwnONMR(fNYH)T76b^I z-ja5u(Xwwe*_EW I9BUN+MIr0%BqdhJM+Ve8*`q;~oKA!WTW+a{ghu5Q0B`=>yra4M8IF*sa z%Fau+KHaZ%UgOtvsSMepc=;r6dV1VT=bW W==p4WmI8R3Em(gaQS#KZ>1RcTER)5bqwSMhzSSTr7f%%Im zZ-~8MCs9Eht)RS9REGDNn3Usp+siS&91)z} GdG0^Yg1z)zklGPwiJ{CF4*cEg z<8|v$=AM5JQZd}+@YAPRZJ}7 J5{70~mUlF{Y;AdY zGLFP1=EB(I3|d+R`nYLqit=(;`8CbFqVDyeDs>bop{E67FW z6E=GkXs%29w^Yc~BUkWA5dG1wC7(pq{Vba*-fyngNr6#-j=TMtW&&Y|i?}F<4TE#O zqPqP~THT#M?#(YV9c Iq^`+63V5OjFT z+n#L+M@Y0i%`e0FT%SWw$|NB$A-9{18CqW#80O&Dr9W_Ub%U@qS3)U+{)CPgTX|S! z$ixkYDQk!MdM@d3zweq(44;mfZaXDlPm|#reYRW{A|RB(>)>4Px`hN#((hMzpQ*`x z7I 3kMZ |JAx+AAT z=bzoxRf9j9+vQqTQzHv*Lc*ZJHNimxbl5&|u>(5$BFL;-u6pF})EQPAFIUO9s>LKL zc^`JY-)?cWJ@PA)H-<}PwOK|ddnIhCHn^56;%HozI8C8)uH6F!X|bf-ETxx@=rpS@ zC#|l3=sO&ems06Ta9=$>PKp%j$d?tYyImPMao0>`T<~E1)TS#D79oLSVY2uW#CFQ@ zwJ3oZw~^w00zne$DJ_KY_9;=|k{zp}r(%pD7_`J7U-d8OJUX0J5i#0twkHp?wj@+h zfB7oYA(&DhaQe~MC$8WsyCuzr)tPI%>}{cBh8OINogfbIzUJIKXtmY27< SA}U* gH>Li@w1*XNrUe(cG8C 9iOf) zK9U4L17c*7`uj2Ad<(i(J6IUq8O|0hH8-mae#ImGV9p&fqs*-=g(C6=03_JUQt(60 z!;5&PbrOzla{~b&ftLF&%##46c`8`=e>LSzw&h|C&F&)SQIF(r?gQ;{EI(F+8p6Y_ zLgIl=s8E VGzT &f_X_Jo2R4h-btn z@J~?h|BH`{cIGDI8!du1-V_{KHw P 3l-c97^cL4U76#A5fe!zzdCG1u2m}}R zWwtc%6hm^O*m*C^mlx4edlG?V<{kUvJLmdy0ywg6aM9Z2L3R?BYLiYWpPL0IDkm$( zMNN`WwGxE~0I`WA(GtC##v{I~jV8EOg;c(emqRhk`!3XYQMOo6!2 Bh}GPCwXaX3sr5v*(Z}F13xREmVBNHA=v1SWyWUdeq`+Q&IoupKB#7%z5P3 zl$j*Z8-mg8g+_)2zE#}8DT8!5cSrI=3bu!CU|O4Ykk0~F!fVNog6v1;L|Jva!e z(^lC>lUU#2esK0 4iZmE;*lqiNgHduf}T&A|5DZVz~;i{1rCl=EzIW(clo2gqS zp9FPxhvlaobnH|K(k`|}F&^Wdp-_CY_Ij!tTOx)Je^O^y_c$zK$-EN_Hz?84PEPke zJgOO^c`*#3qOdC~%U4`juX4C(eMVxsnoY^0n|p@Qq;_N?MT(4e_%`!kfoV#!^|yK@ z_>vw0^lIt)XB4K{VG%l6*vy~UW^81_(ErRzGUpWGuS(%5&PS8l2j-G91O3N$>i4&t zx18ViIH=w8#07&tc(mh#Q5j1|Dt$2Vxl9U!3PTXs5+>;Su1B`)hz~heRNPDUX{ 6%!B#dw3a*kJnU+;@Au{<> z8KK%=)to9)6Q1sV|6?NTr1@W3JHmIWYzF`^$PcVM95Ys*t>Uygy?!4dSs<{SCKjAo z;bZ2y>wWy;{iD||oj {dRmG6Xz}QUbA71<2l1!(T?&Dw zl>tGnKd=5xdvh1D6-CPv15T`RmqfZN_2Q*B!-)EB_Pr|*#DXD2GA> a ^TcHGbytwsY$I?Yqy~}uNvd> zk^6l?4@P$b{ibrZ74=-~Se#6(PFn%u)?@3*<6{=gTAsJ7RW%b@G0PEXZFk#a;LPFJ z= Fzty6^4Z@>XP#t=%0&ZqfE}=9BEt8@X` zsjL8y7wTBVz16V1_<@&bJnxLm=1SY8wy!THIEaQF!hPI^&W{eio^r3V6HtW&`<@GI z@dg|hVA43rD@ME7zb8BDs#2u>MIs#Qd!{bvN`X0vTgP0+AE7dY2kzKtL+7%6hOUtT zw?4m%6+eX)VV~VkMvboZ?Z(E7SLnku96OF~?n-FijP+*MCTY$lcVT{Xy LSH#{7|6foWghwR$m?Sg=} YM%2_>5;_$InC!E%sEO0*UNzWVkKE>aTQ4bf0keVBU$QxD#2_;EnOSuZvPs}#~n zJb3@(N&MPY!*xOmc}-Vzus>nEb2p BW~X;f z3+gi#yc*^-wy&Ny6J|WF*DslIdFw^j93Agsmi{-P06 CnIETC6Hc3NK1TW9+C@(EAxB2d5gXnoVo2z^F(J(u4yYe`o^6Ji)CHZ2E zFQ9~~6v`ui217Ha;0-#ZV%g_w6qwIB{si)so~R%^<1$TXJ!u*LW6k-sVh|`KfJEv; zKGqO_#2^F#zi@!dq%R*-CXdwX*E;B5=NIy&adwIoBvE0GYsa+`RL7i#%gHrcyzuR< z3Vf77U;G <) psF=PjE7&t2fpBIIcT&C~*COD4BN cx3;D%RS{_VcTQ_jM$91OSwzrJ{s!}|%+oO~UA_X~3zK4-MG)-tbNBmh+LTQ3nu zbhp@gb~ (! z)C5H}qmCw`2wxm4!IViYu0S5{{$%!~v0X)7lW%H>sXsurdlUSd^r-XTpAhp;wP@*C z|9Zk;{%mZ19CpTt%8!Yfg&=Y2w$NH(@+`-&m+-*5LmQwQ@Gh%;tM7}CgRq>fQ~}z2 zgDhVfKG{oaHAgymidT(NyYtC=C>}mvY*b4$N0%&um(u)c=2vjZS5!yH#p87QYD-1= zq=bIg%zpRG)3jvqQ1g3!?xY6=pX+8zoLBuHO^$X*y{^6-6?m^uTS!`0b-5X-aBTVw zc3Ga@Ecg8{fuFag><1L|kH&3}N`BrXfPL8A72Xu3YY{16R=yS^GU;2W8`10w%WqRA zM>Y?$a2{9gCm;#G;&&(r>j|hp(9#YVr!V2($E!5JJ)ME}SlGxK*eNTsx<1MU-ub7z z4LAUsn28A9ii#e66~HZT2@0oD^ZMdlv@3!_;dD%d3P=DEQLcV}nc8S^pe5Vx-#Gov zF{3^g!oIH5?zs|$Hfri$KZ-(&Nx({TMa{Q}+@r_Ez@4Gk_zNVBfwJA !Q`a-w>& zKLs@HA^t`oXYflzrHH7aoL2IJH_Q_HS5X#u^!Utq2(u>Wm)^(Wk-Iwxj|7(V++YB& zH+!!e^W5mp!~g+YgbzIr3KFUkGmIvF#e6OL_M8?JL`Fng1Mwt$VW->dyg&;&gOa$s zhu%IAaQ4@CMOV$epQ7@`dSGKXPSvx|jP*;u#@6VI)|5y5|15xhbo%9=-qLOEa ?tAS4lf^!@uVQA6T7~qnA<5V-c*v0aUHdSP4>fSlt*+I;MvJc&K1}R5*Z4c8sRr zo(?UH>UVmFy+6afOHHfWzx}p5(=Kyhb39ZOE~4nQ{BZgi8E5{K{zIc;m0p$qmmCmy zu$*fSUyfZ{7gE+cW;T1SioRr9nNtHEw8Bv?8?3ATSt8LqY(2P!OdNsKOF^FnM-IX_ zqQ?p2f0=&^T(K`Oa&Ss%m^o4V<@t7_94r@2z-2#MV+vMW#A=k>2J +|115X{uQ= ;ted1D+&GH9tbz8FKcj8%c;%Ek{nPaG4YQ={XNqSHq0u|C;{>RG zWud-(`R)ds2w)wd_$;C)qFwbJz=~>4gaL33M6&P2z-Kx9OO>~3ooHxWLbZd%6L%_6 z{T&!lNS!#8OrBTbQAevRZI@4)#w|U_-JOA|pfcKV-;^Xi5tSd6pC5Bdv*fDE>1yj? z;$h%wMkSC{vP+$)`+Q!hTWmFVq9@UOdo}W}-_SWk94+k*#%bFMx~^uXP;%|!=}(v6 z+NIv+I$EZMiZ~41VBNU^omKexKf#QA%Ao;$)vUeR#{E1dep-JBM5`J~W(Jzv6-nx| zs^I41))#7ZEOGN^Jh^bpDa-#l>=gj651E?`)O8!<%G9!6{^FwVzpn=MHD~{zFTAD5 zypz?HwZE1~m9?onz^@V_!@{WUH{9&aCEWNuV7*(em&|%opntr_AOaYHPa@ }*&_!|6Onbdw8JUsxFBA)+5R0*H 4Sydf+N-4%N- zL?b-~QS);&c$7#^lVQIe<@`+T5~y#q6P
?7-ieDX(mnov)->Uu>;pWoaUSiaPJ8=X4fdy=Waj zd4Grw%03Ys5GwbV@u%At-t(wbOFWsYH^xL2qN0@5;Gc1>_0Gs>>75>XTCr#0DDW_j zt-t930Hjj%Sn+RY&3@etYj-r}aNd+nelL=1dmrav*dV7%0$+h*Zga1GU_od&;PpL$ zg^5^Gsb*x1izYisc0?luK==`Xp#8PnG!c8pZ?1InIx9FbEu>Dp$vmnlP^g(Vrw*Zo zTk(NFV#(#Hcxw2-=`SXR;Cv+r=yIcu0bIiNnRPjNv+SYEA<=@o^h^!^@$SuK&P)MP zgfTtOKBvr-u~)EBFoiwC6C)w8bg(D*I*Q7FSU@4Z4@_-ZqYrzlmM6V&qcPN@{63;X zG&)OUUjpKGqjKTGc@YCrLx${PNpNLS_Pz}3br;`Ja~q)p;f#Pr8UP=nl&(r{=0q}R zEN 9{$!qCTv?qyh?%dz5UsgxIoQ1BPkQo(K6QS#R^m$%5nj_PQqBg@O7{>$w#Q7iBWm z0gOh4EU**jelbzm*ogBlFf>J5&0i~tm-}u17>c!1 DZcs|)nV?=r7v6j={ zrl5 e^fLy7U}Hsp1jJ{A)Hw75s^jL;TKCz7t=wr%<3Wln^HU zNzwhGft8i%dQ#C??I5i_uUX+~-ur3)KCnk8vFWz$!df;48t^p qJD7LO|oTuP!YN@<@N?_F9TVQ&g^U6^4 9<09Hy &1s92!il*Z3IHUo*TpXWG5nSJA@Lun6Qo4*+J2#Tu2={Ue^P$GUs+*V zVoi !g|Ml;?${w(boNHSLGl5QhftP74b67ah%(`rqlQV-Cz!Ww zWrF9U;r9BtS(FD7>|WCxs6?c3_IAC>a2=?Y^WM~WK-+1~<@+eqCb#6KzZPOAG!UKP zi_;eP0Sg)o#p|gOpCH6_T};DS(sAXsKf6)J{n$9vnR3DdL?ROlh3JUsS9USO_>uP{ zr*BFLslzXN1VDEebUL_yvaoLifcIF1&{X@r=$Qo~@mzMjc&bcj(^qWJ$8F_pgk&C_ z`SK;WU_o6ZD*$t7A4*;1a^#&p|C85{TeFmJzf7TmpOL!!Jr#r0Y0Z9g2L@g?tB>wC zw(IPpM&KOwNVvU~6&eHpWEIbPQz=`l&*Is8ZB&m$*+=LL12tzNvxaurlG494GDO~f z{HlBJ*qvV#)c|-=XlqrUe$-8DuwMB3$_HIikaWrQg4*S5TDq_rmgk`&Mv2EA-ewRv z;30HEqv@`gWLE!bUa$ )9QS4zO3QcsPa|il zFu#iy?6Mueg{IyuI-GUOSn5qtbP|AE-t(gKqfwk(O81KL!My-cM9HGOBP1lcYeQ`l zhXCL|MhXqrO%Fo(9!6A4Y^PGHZ()~C6+%wYn0_b$fqNquZ_)b3b(p>7D6}YO@kyGC zo|%T+v39>08G1Lq`ccBtZA}w9r0w&0d|(HhN^dQ-qaYHP$$AC-W3o0%Ivur2oq_ 3%{pOMy63ljWN@1=^-{5Xzuj!UcSU;UwnZh zAr*YArS;&Y)Ly3=kmgzTBotqgpFh0%iVK^|i#uFH3@y<)A7{j7v|u2PsUdA6vtCzE zC02kg#0)(oQ6LSVg
nqo7%mPvP3)RhlUpD zBMvMV +kT)-d&InLH!WgL^pRsEM0X@wOWezo;Ni-A#k@KCEu4|?d^+|L zW$Ar5AV3Y%z)INOn5>;S4(8SOrG)q--L~uu$*m?=enSX}lqZNMK) mk#nm3U((H^^Zagd)<6)n`Fm(^!jM2>wBZ((`gO$|w(R3Z1q-0_<#J%}m@v^S zlkY>a>7HVbE&S8K+n9%{wOs_O# n^3ABW}Bv_N%`Y^`0{8f=j!g@h#8Lsz58PeHj2S1 z_SV^5zMYTqV^DfT!1R;SHxurGGSsBnD8(~^m0Gak4bH;KcA7X_&v@4Mt%2CVs3s{g zCy2BWnn86;POe>X{%Vv8D5AfD&V-u1t!;^CQMC b#rsHpT7?fFAJyzrqC+AMi04f&;<^FB|B?UndhHzcKaRp7&;E>T39G$+gZ9$Rqne zix>WJae=bH9yj#noCNz$hpqWmRda!7bv!rC*vxA1On%-jN<`{s5Eh4qSmGN)E)hhO zLTlba&x$nf$ZKufUCBP6ig;4_n)&4roJw^f(N0wUGAo3}B53@L3RH?*Co(9JORx?+ zwW`oGcwAiZy_ mX8Xap2%6|B&faL$g_GV z>k@UMZDtnb8JF&x=)xXFUY9#p$?De=T~xit$TZW-=69=(P3OVw3W!Q-dRh?u1nrxc z_AR#RE-@*f5&AG-7ym%?*T+h#-Ah~Z{>M_* Q^ *5>Ppi)(F`Nh_vH;|4K0SmGM_Eig#eq;ia4y|GpZ9V4bXWnA4n4}K^9;cPQ2A)C z`+Am?`_{{*Sp$sm!TJzb`nVD)g?XJo9B{E3uT{g%$nu9M62GBJGyOV+fbcYit;y*0 zX=u|WO&2e*foVO$DiIO}01YA<4x+@ilh9Y4U@#8em$bx3zoFhXk5JL?W&XBMm95hi zlo4+=UFy;3^2O0}UrF~*63Mzy6Q59TtB;3_;?E*Q$`_n}x)~G#aZu&2$x+q&^k3F( ze2|;sJt)lu?F^*e_4_lm3!|TWvslOGxr&4Wyx6ecR0QLQp0DyXl3+c8yc?wJqPsp= zG2S0!pUyFeKS ^opzYxZ89VH@%j=OZe>FAs_=PL6{Sf{@RrJMx1-gdD$5pAZ0m zAWlE9zCgxZaC!(1W=^-kAEJdEZxtCt7?nvrZO}vr*}z_D!Doq<6;Q8`Rb9#ACmq>e zk71gry;}M2ES^` %Z4{3R+72y0B$^9I39#Tak zK@JGmOSh>d2&42fU@ncsPSVAT;F!r93Sap+SRud*DOMS_-Qxbn4S)n7jvj@~p%&_{ zTPliM!+d!d8qPRRaKlHK7#Md_`bZ1H`8UG`7iske+@P{ydZ2TBb7_G&fIhblA{61^ z2E0D%o#(SVivv7JFrKq^Vsm%ib&K3&IhgBvgp>6yXW}k 2ZN1RZZy@clv22=&h*x7@nmn%_GrYm&X%8JCwSn fBi-6CY0Fc94QAw&!fn0IOkY*{}vV3X)&-lu(u9yzZfvd~x-n*uB3;{y~nq->N z{o5&g?hpb-K+8-;Q+OkQT4m67ix;z;Sq~o}C=00#7d(O%EVU+ cP-S6XBkf!L>7lNAsEX90lEH$=3Jz@Oj$k8TQPD^8 z#cgRJ+Y5>^>qGGNWdjsD#|F`bNghRb^62)mRn)}rYu(cJ9XjG20Sm>q-0n8SyisXR z!D#dtUwr~nxo7ciZXWn0Vhwhj8OYlpGAP=}*19|S!>|_*Q&qR;m)JB~$+!7H^ # zWsGJ?Q)s|!)#KbF7n0-4R4v>(W=m(?X%;zHt$xA(7j-goj>15?mGO#-uO0Fai2< os5uMr<(}JaJ_ bd*P-tyq>$;YAt zOh6$(HL3)v6fgs`v5@Sln)Flcp!64GN<2 zMFX?9`rE4i*eHMq$A*2CLiVapLDR(=QFN6(* wB;klQrJ`ahizRDt>W+oP4c#^qZ6R!Zx!^`60sKfd@Qjk+L-`7A zg@k1dp J06;D1$|3akr|%e8)@7<1CmAZ@ejFPL zTJ|H>RYzm^v%bLqiS?Uh8Ws6eHzv!F6O~G$nZ-Z4--TMcYsdIEn976X*uUeaVbX HIfUbXXg=vCf$qi zA^ir6qnw#+-sWD_s@}yGmh!BN%~K0|42-v_oM9oekzxa}psFI(I4{(4%}d{<-~z}E zaO^b1OZ{AtZhna=pk3Vly|51^28@SzvgmDC;R{M#N?Jez ^C?nWs?! zHpLvPO%k2oUEF{HA%-GB=qh3c*rA4^iN9UgJFA!vP45G9_hqGv=9uf;3aWA;Zq4tR z94-4tC4D~@{EMOk{Kvw>3+_t7mnIUaGd %r0`nW2-W`(-qez%`;!5qFujQZ&EPi@je;nvNEzI@4NoJmaOxlq7#Aer31w z!Alq>8r7eB(r5wzMCo%!nJ%STo)qNc7>%)-1*tk~X8ov(7w#+Stg4N%&^&O>G(5`x z48G|g2qr^zI>Z5#VcRW7`Q0V#S5(axXq@y!m&Cp(2q2NKxrjX#-dP#BN+a>qHCg3N z-saXW(_=)eUUU|NrIevRRHdp*Yy13}BBV4`r*8GiGC%o%-(x+{=caQ13O%*As6TiC zA4)sIs{8Nc{*5`}87y<@t`}`+PuK8x^PcHo34JBW#YzZhBoe#4Pb;KThYbJ#XkUa* zC<0VAg)0&4Lkx?w$LU_bPaVIbd4C*ErgS>VR+IMDS*%t6oGDEy&{J{LtXQlUW5=YB zTcY?A*schXMZ+=+C7gpt3MS0*$joQyjOZozVtZ#90+~iCN^$v(q-2IvQ^M-u(s%>x zw9++rYmSyH^On-~q57(+C(HHv%k|5u-C-b7)Whfi@p-;tnYPPtgeOsRd tUR6YNlPujrtCB)D?F+a6HPqo;zC^28P-fSiH -oi z1do+4mmHT1GfmB{7oeau^~F1XMaKa@j?NX_UoXrQ0r%6Tb2$l_n#_@nAXMGas))hr z&pkjq8tXn}gQZkc>YyKNbop0=BlEy3@+-w=;!&tEn0>34K~h?+h|HTck$)n$5O_`j ze$OZGq}lQ%-s_+i-08OxM}`Q~BmIg69Q5= zQ=Zi>K$n2i({jZJ)l$OXMQ^2fM~(O3TZLoZbdH5~3Bv(`^Ut!yW;p#!ebG#ms?y#n z=7~>ON(L#i%kfBgX335-rMO08jAjM-oKbS|NQQD(BB!lBulv_wB>lJqR-!rb_q6|g zAmOiHnhS- 2>c0Ts zKU SQsfhVudQ#;iKo37k!HnTwJyfuAXOHyF&iAV#gF2C`{qIUO(1F}8oGL+ z$fD-SQ}X%#i(mQ8=JMia+%9b@O=S)RjRQ_DY(f-R*ey4h&nxpZbAe`-k~7jRR_THv zvi)-8+Z4-tNnf@p&2rS#OXpYy#Iml&B-7PBnv_OLUsMpk-IDc-GR^0>)?&*tjL~US zoxv6|Vbx4snvi%E&$*p*8s)e!Xt%EX)}{&o3L&ByVgE>s^A(gz{EWMSWUD#gh(Eye z&o}F9i3gAkg&inMq~ikQA0kQqS@plNqhi7_R{OH;CitCfo5H{}qq_EF`Kg=7k*wql zyAK2L76qAi-ion!C%NzX4Sa|}iif*Z(a%bCg~pj1y)1f+U|%5dV*ZMEXv4DLX!oQZ zxSfgt8I=$W%W&oKmyJbz4jw_eLUm;_bOmdNI*iE|#WsDE5pqCkaw2gCVrBkUnY^-H zWDNF8o0Zz|JQp?=KI*gj!qKb(7_o!NbD*7yNzxV&;F5n^aO@DLSaqmE%Uo|&?_A{3 zp^ lIUNwah2CBVFbS`YK?Tf$(LhJ78dY@fF zZkW2A9$jtFc<|MQ1L46T6~0W=4;zlmSJPN4Q{Sj_6^|435(O~neIh229`Z@oTS6KV z+6F(Mt`ekLHqShF?6+ezYa^%X@AE{F8~tdN8w%zZLjUm#)G7KNTgi!b#f}U2B#~DG zTDw~Nn2=(0_`ViL!#+pP0){gT)NPSd7j3=n1vg~C-}%JE#0?YVuY}lcBv=v+>(}SA zNexzCtijpk-*>%PA_4#dRTxRy56PA;{H&ASTA%gl2ngaBR_VT8Eb+|2byihViir|a z19f2#XlWb?3xz{U%mUr`N{-0<6IVF;LOTz$wN*37*}=dS3(UFWg##>Cn$Ig@$`jXT z=P?#uKJQc=R*icGFC{dX*OB# Z(oCU-vm~#JanQ8?ROZCd#lX>LU$=2}my>ufxpOXZj=`roQ z@PCEBh28U-b*ygrSJDsNnx>{J%LZIyP*FcbMmtLBfsj3q0bUA}|3^Qza?`fmNO`A| zk`Lu&IY!;sACxqQ&fQi_Xb`{sQ8X6r651$>(%)CILLXrPl)_ab!omi_5L%z{Wn{h; z)LWK=(^xd3z>?MJ-`w)i(Y9UH_ BS|RL?~J= z5N~$bmWnCFm{KL?Kf**P;QR-?Il ^bRCAl@JKgNeYcDv1aU@F`*_f`) zoZve{ioJ|=I4-@=AO;9FF=q|6FCEY6VqZNjimRRBX&QA{d; zE1sdb^zvc1Y<7eqgL37OS^uT(U}Vv&3T>lL7{gUgH{#NJDIQnlO%HesNZ@do{E%o_ z>>B?f7#-~yV2!O`8`trBWaIeiN4@WX@PL@WVOnFZS>Q_zg9`?6Z_cJ5w`2X>pFfmM zfun5h40{ >Y7MP}H_DNBi*}WrQ*cm#J2{iT5#-Blfu)+zX$>d%#jT(DZhvYEA zoL8P`U}mDly1!+LifX2$yv% DTy;&x NK+s9vm(>Sj{OvLH(MK)aaie=ZeK%e`=O_0_ak zCe6sx>Z(}x^k^bj#i6w0BEni|t^Q8t{<&H5TVa%UDI3#%MiIl=_LC$hD=X_|qw$nu z>5zNY1E04Ks%ZDOH&0{U`OE(Je1)fXEA>U5E=I_SPh?Cuh{$1}KR1z@3+$t6nnS fNH=uL`)eMdV^r%^PQ r_ZLD<2@Hpj{)?$3r<4;Kv8%IX9xy3dLk*9*d&szB zJK9IM*uDO(sT2z?YJq-GnSDboSu5XiF^GA+wp(})K0A`}@O+#hKlq^{7Z4%^2l1Vx zYN@HXSx%5Y)e0wm4t=EZMbRB~t~bOrvLy2s|6w1cPw?k|+Pm&|IKQX8QYC6aq7xCF zD65wUg6O@sAbRh;BwC_I? v%F6}f5rR5_m|!4+Ut7G*_ku< z%ze&tW=6tS?E&L`MxE!5@DC%q#KWuqk%z-6liZ#CMMy>5%If+Ku7rY+dsV|SaIuWt z++?TWpqRwj;BW7Oj7X&LkFpM0zcC~d-})<|6kYz#jIJ{KT -4|ArRw8 z&)xed`GgG$7WKp3ij6YBf8+;L|K7b>>V7ez*17_Ff9IV|z+2s1Rabx0pS`Qg6J^8s z!(x8%&ok3GWIBDTDi^zE^4geLHm61YWIjMY`Hv$Pahj{lQyXmTOLfv+C=<-?6Pm76 zt%Zd$JQsZZ^qC?@TNR}EHkU%;^Y0_ Tim%_c`+jMSV6(=USvfe)NsnvR)41^|6_b;uS%l PMgWWxUCmo z2sByHF|d~RN^bdiyM0bpCAu@OzxDjY>M0@L%JwaSzyDVL&orbp(aDwIR5Q}5*-<>K zjh0V5B0z9WS@0F~s=rUrmy0W-^H)q>hggby{^L(d>i=w(7n^q8-9HOS%cs&<){0yS zX*CP^8Y~l*W0m#OOmBB|DKet9c9IIefackS6FOp_G|di{n`GEq+c3A*iqwl}?T{R* zt@rWQOBYuY;_qD;7<~^cX;}d$BM&5lK2lhz8 z*4WPc5rMI0KnEIbZEcrEvtLnvg gzFT+&7Ro5UVXbFBRqi**Rp8>m@)|lZjBK?{Y|Q$+=(YN9O@$7#el>m z-DM~2{`qA Sn?8!xZ5QN*VfomEW=!b5A`t*4SZzomiD!sF!SI&B>T;#38 zV_Kz##z7aCy35BBOi!OBC+*647!zl-iBHRK?q*sule)4YiEIbaU0!ZcX7nR-_P()7 z&jrYz=WQ3D$fWWsI?&-CfEzR^{>ECsX`<*)!{!GMoD_~_<(J;Q3X!}|0`QuN*7ekL z%TCowb_bsc+%2g|SdF&2hquvAs|Jf}c9PY_HxxTe{99Y|iCzuQ{^Vxd;b7cPM$r`V zGu{}p a*{r+ftf^>+u-y!8k92+StDPpO_-kmAD_UNA9>0o_@ zExp-{!hQn+^`}1iXBq!0VGs|uxs|}8hkC4JZpJ#~4ChCt>sA(g2&`1j`s*G0RO=Gz zm28hm&00SfI$1Kiju{GXXvROM3nn>_vDkm{Puz3MEhD@6$k7^?GSn)O8O@XMu(Pkv zMCiLfCrUYnq5saaC2@fB^{1PLK$Z@odcms~6-366Bmys+dBH0NaMZ0u*^DoQPbEI@ zldCphxOQu+K8vz;z4vi#W6|8=9+{VoG!hd!CPpC8%P2w#V7+a&kN|@WTLsskGlX zUwnRl0PBm >UX$fs9X-*Qga zSZo43Zei5sErR!4I%OhecSl5_X#Cs~?}=P!&{C7`2rsj?1>$8@>p?nV9Q||kCu4K+ zkox2M12s?kd;t{=ZY|qj@+H6B`!X~5C!t4DnX_#JTZsDUaqr!OiXL4a0CBkg;IA_G z3j4M}6!bf_-LTI+1_zhG=!C5dq7LK?1uY?TOXre(Y7taHgiXB0YJd3y4>YuEfzc1Q z-2wJYbs6LsGu-vtJ KPYNrPT zH3 $O!oY>F!#8~QK=uA>U#xS>mZgW- zwYu=~h1w3;Z7VJMQiZus-esc+F5i)+TKEh4n)#e%G_)!c680N#a|N6XPRHR%AK0aH z62yFyanAVUZW9DR=!7mv;-}Y6F2R( 2GkAXA;p znbY6IZR6O30xI<=6SqiU&EDVPJsv0V(}({l*KfyZ6Z7E{&*)jjG0W3QuM-{gQ`*lS zb@%0jgUG5$S`Y*^l~(E675oH(i#$c8qock^BtTH80`9s-!mSIdJ|jqs(~R49DM;w# zhgQ4fdxBFMcV-@nJF!qEe&JVjd-0!y|7mqi9udD>`kSkW Ks<(%8h8qy>2+S-RB!@Pe*4k)zuq}V=sqdZtu 4lU4o^6=ec9=)*&nS6Ll`!kP_{a={jzyhl4?q?oe+Tit6NmnlqPw6@# zpnCe=R_NB3>k^jE_mOz_-hko-;y2ETsGjDkd@zr+Iu7qmP-X!?%Q4iyHSt)Jh9Sfd z1qIE#CT}*ryPFgL23f5=#tK@8Hu_KT$#$&b7kK$|yXLdwC$qK*w{T3{jb_Cdst82k z;3>oAKB|?8_YKIIqsqf+8utla#42)d-2Uyx7z<^*s&GWS3q09K;qdJIp7(2Cb=u9+ z@}QC};19IyZZtW8+qQx%&!1T;!G!eRoUPBrLa{QVk*$pOFTtCiQ!t@ukrr!#X?0J% z*btNTqv_ajbf)2lJjmP2ZbgcD F~PA)^WvRc!u0(gdy<<>h6$)(ha 81?Xr)Y9s;wuO=H$C zU`M<%S>{A!(@qR^{Q9voHlbNd!C(>1oZSXfSRBrL?ytId8C;>MS)0CM s0JqqQEU4 zXW=eL2oUdNZqxPh39CCMQ8 ;F0QBM6uJn!4IoYzzRJZ%HE-=(cO()FJDRlk!ib%?&rheMP>9xCQq%9s) zt73of@XXz(<`MzHFjmSKFgCPbbf|6ps48gzeu&M!wO~9qM+|@YelmQ#c75d4B+WHe z;2;I$_loUM%FSX?MgkqbIYcAp%`7@81`IL+t4|&1N)8T0Mdtrr)de2b?+?yw?Bmpr z&N#>L(0 5j?K93#CEZbd=FP)dqfaQn;oWUBY( }8~dHV?L{J(-A9@^k%IDg+Q}K$9bl_R}H(rkb+ui~;anv&C5+LzvKWA)L^$uBhr1 z;BRN`cpQAKXK;fj3h6ykuiC>ujSyGyz1icp*Y_P)fTSs83h?{AAdb|JrM_cnx^{;- z7gn^Sd2S(=d86o7ilSJH{Fy^n!)?_lX$BOh3pA*H%L0wVmAc&F2_BkJ88yD&VP*5w zLOUCiG484-e(T1Mc-ym$4g#h<-lXX?6S682)j%8R3e~RTp |W)*wKQKwaup L~{Vck)>P?`ruVNF8ZpD!lpGaiE&!TE!RL#k45q#kWv% zs=?&Ya7s@s@v(GHE1 IIn1_Y+pmT)9j5O{ot_EC>v;pl9ow0+X|mc&D2_!*$;qs>h_F% znP+$VWRwFjF6SAIyrg*3i^@tfdvr-=VJ0eN__@kJ`*ll1t3%4xpOM?{c+WSdJ_m7W zr&b!Flv!VM&wxoOqRseT)Ur7`ulkmc1X4sQMhAQfFGx&)!q9aq*22_Mll^nX{oDon zSra2kDU~us3@8C58@Av{6~Y-KyMWA *0?kZ8 %{L|`OH8%4sJD3#d zKgU(lAM#=Y*+73}sVOO=d~rc<+c|MZHeGDRT{D!A2^z~=g!%7+ZFJ)=Zu-Pf2V&Gi zAm7xF)#FMlNU{NRC`sFOY-C^M;dcAZ`(_6gVQ0}KgG5F gF@FuXkg}W-sP_Caietd1++feH1*`C !*!QiC;5f$ch^{$&M|E z2vJep_BKj+NDXoV`W6R$dGa;a;BC%{)tkJDh}hAYn-4zp5#8a+0h;BT0}F&(IvqJ# z+3m2qu%c+`293p1jdS_Ulm?%p1$?l5fkq=0dMOG~WP0mnso&41N^FmK2NX#9ZoUUZ z>~V#5hllFbDIGUgcTvtFW&r<6NlX2~zd4jt_y#a;X`RQMAK~a$!nKj^9z@buTr|SY z^mb!rBkPvVH?qWtW1eD@6ZdOw!)#PNo3iXQ57o4Y6ypz@(@*~E#>1N_5M?U%0oi38 zj5RV2f*C+^+ 7@MfSfgTOiYkbr> zJ|T_5FkgY_i0`KCssF@I(2NQ!RBUY?>WolgD(mn-K^U21Y+0X mu2|ep0{N zL4^f60bCBJmnizm$9!FUb+RPP^{rgmP%oghzVq7r7Sl?trE&kpz+cOakQj$V?&|8> z-bT}K8NMbl=#al4uohAAYkCrF0<20ruuYx;XSPU1BdkmuATFrPAWv;hQ`y7u?KNF< zwrHa4L=cv+qtp~ddXn&ZT{YrR-)rSF{Om-z788*>&QYb65eo H0)=u4t(koc1t9$Uf5OX8w0CHWUGUuHzT9o-uV?J}< oEy#dm&~6_QEExnzslURgLn^@&><#bPjC~ z+Xe}D1y~&Z@aRlN0(5??&$gkPKlawqX>vK}ly38zt@93fHqA0;$jYX|)(jRdA)pnf z(+cD2@MvW;fd}%Mj^g>FLFahe5ivhVjs~%)&sB!0wQof*Ip+xB{2KQ@w)&f!!y;n% zR{>TzEZmp+rC6kIr+GvtkhOiSg`-XCo<&*U6WQL2S({K7^Yc@G=HlXmC`W-{ehQ-V zTHtZk;oj~x!}!+3DYQtuP*4{@zet68I9n0!w7u}&Xj`MEe)2!+#G(4IoQAWM6Nud? z%`o}WGj+A4@xhi r>lOKswmyWv&oeNq7cU#co{r=v)IQ`Yi;rsUZ_>ZO^i zNdVn1P$#*)-cDOH(z+@llxUvh< +YEvkK#1&6b%{H zf2fH{N4CQCRbay%DeVm}^~s?>oRmx!78Y+SPCqiZ!g=7%09+G^`KP#%z#tUt{dq7s zH~*iDjYy+kopeDs;lJ=d;acZs0Mylv$LM@UdpOFt#Jnh() Sg}?&nXGklh~gU0nPOnL8of2hedj#u>?V&=dWcyh-)x!>|ZSI zU!)T!K14crqEwNFD 9i9Beft_iXND;g+1F3>m(pLpj{}Z(wGvt zC?hjsY3H2bpt!;TokiNFCaBE@Iap;XOiv4NjauK4sXL0STsu1KpgO(4ExvRnj5Y>E zJr{EZMdcuYceHL|j20IwvT(y=AC2c`?Jg}G`urbV;PvL0W|YdFWZG W0;>V zrT;l_J_zn>OY37k)tY#6YB5hD1mHq=vG?8|)w*)CO0DvFBz(f)jKpGTD7>#YV>au+ z()9BgL3WXPHBOg5hZ(5_;mL&-K1|Q=INewA`?7D0Ua~oik7yU<_Ip$aq$tZwHLznD z0oNSQ>IK@@IKCOZu<8#xklQpMoWV!2m@6tTQ>}YFx7hPd<4<0q5KZuLl>n~t#{-WJ z1_uW_$6|q6zvq?YFrO7!ZbpX}7K;<(`f6;yO*7ERyjxy{Gd-p8!w{TGd-wKm7U)H? zzisw^F$VsL|6Ve&3-rg(H3H5v288a#o@<@?b|@L+^{ QW>5B@7QLLcdYe`I+_t7K5jvmTB$=)f3v>W`$sgGw O zA8rS?oSlu@%X8^I%H;r%M4~|WVAh5gw %kP7G26~|@}b60Tx->aoij}oN>Ez(0jC=|E}IZD8pVa0yW@UkJj~+6eV~LS z)$dS^@>!b(Jrp_wJKqUX+hVj_5;AKN`_vww^&2fj;hqG?NaguE&H`J(VWUHfYVW$T z&gCb`=7KTcs5p`3z+1FTCn{jPQ`hTyd_(Wt74%-E4*&1hTKhKLzGc@4L)nJyF?JtU z4i^0h7K%P;YaY4~LQ`8r-KOn|m|ZP3x|nUGdj9bZ`!}*>fR$HuLfvRX)P~*R*@j`` z7Ud_kmTDvtiMvTA22{T{0XRFUG8g)-RL>(D^ePeE>a@L?!lDQzM@?5`QZ&XV-~ru- zmUjK}6g$?rc3V=d(VQh%Aa@BuS^v9vphb839@>xDyiUSj<-Qfs_wAI}JFlt2Ywx6c z? +7ZblhNyjC;cGE!@_cn0|ekzk*8iAc(!zLP63%|021; zJ+)yAd}OD#Lcfyb-ibI}r_u6f m|JkLly~I8j=D=7J1y$J}VK&lv45TzTDjBaigclH%~5{FagdR{aTcp~wUd zun6U+WKb&e>b~S;OlYNzL)+Og{pMb<`db9K_!y6ols)sTi4$rg&2$(L=_&0flerWb z>#&@2MDj+M$wH&(%>GB^DXs4v`p^mO$R~_^FGeb8+OM`59IpAnBl$EGK{yfbkf66M z>QZNtv%eZO$LzITA4hlpc;r!dVdUX{>6p>vc}^_~>`V2@qRhY5vvX&kD4KjrePLe7 z RT~0j4~UEY31_Tr8)t(>8XPcWL-l z9R}W3`bPt&I}*F=^D5}MEfPgW&{jm#8Qn}bG&y%>KRrILGY-@TI_<+ZXO^0!AO2kf zs8h4c*H^%3{vJ^~_3AKq)mCF!OG#`1gMe253s SXetE3MY-l)2ZGI7E|>Nm<86 zi;5wtC+Eg~3oQ?)VBn^eEQoM&4OVkA5ZbCrm?CyheIQ0+u#R{WVux85*zA%6=2gKL zg}_AOgetv5^=zBB6r%Fu4hIrKd;8H!wr%y-ot; {$ zWB&?}7?p#Othp^y&9`j1+dt@BVcQBg+CJZuZa7ttB)hwuQ%+E_qwIO$M7yK55iY;? zyZ#K1k+2&lc*jRKzm)SmHth%ST~;w4gE_t0Tsdy5@dRp~;H=8eNn5ROtT!ZKRPV`( zfIOEE>ogDh2)ScM%G-$3V-vua@pOj~nldC~svU3OG84BaPAKTAq&Vq~HyYikdsWUA z_563=2c3aG5FYpzV;6mo2==~)3I#eSXdM6>sWh?Fm{f^nww2?fb9&m|S)7BhpzPXs zA`fosZ2w1?Qz8~~-DK-@J w8V=mQ z)~DHWj` {`iL+q6Qa#{&>fC+pX33Xq zO(2vSa^fxjJ_;!{hD`)TriJEJ<0Y=bkYw48&DpDbjxd`aF93X|7M0#<_+*6a`xZ@W zWe3DJ`|rLz22}xFwZqCi+*sfY73&g$nN~EPY)B*)hHH~%`3MZ3lojS0;CDuy2{ z>{AVTj_@YH2F5MfN4pb0s@%oFSG3HVoreB*f$uJ)#28ny+TZORftnSz9|fzkvgYS0 zaM(4Qpk``Ke9cd Y+X-#WLVb?E35Wv>$mj({3_bkY1TGJJis)I%(V=PetRb`;j^0yE^tWDb>SD=ZBv3 zN%8k9X=pM>sQ&27(lTPc%icx#*4}&1*e#^AvyFn5ac4to(tMzTKi@D2Ts@4hh#C1P z2W3MLN&p!>VXI!jZTRU}n8VI>YJ8A^Mu>Z+Qjrm~wtbH7OCpDz*s~e%sT?dyw|7*i zin=gSt&D6b1AGt;^ tXx&=!2Im?dkhy_K$$;4yU-E3_O-1Hc4!owt$1N`yh3b{M zW32YAP$uAri~VTULc#R_ucoxc9!IIgbDKRSxzdil6G0H}6BDZ9t*|b&hQp;8-k9-B z-U0(p(^6^sHJC+@=ImV4(eVV^JwqPX{Z;tZ^Vzw*DpzQfS{ZK^KPtvo1>|)3Y|i qIB&< zOVaxE9dS>mKtTzATAv}*ct-6 _2u =fL-fII$b1zI4g@q!F^D;{@y^U9mnQdNEu zQU<@ha1jE5f}R1W1r-nu<#uQ=dojA{lSsS?UStY?00KEZQF#>nMfG)hWs(H5r$Unz zrMGpOY9j9LIyq48|M$bbd+NASZ$223NtyG7M9JXsTd7z8>B3HWqZMXM1%w`?3yj)* zz`OfgMjIf_5d=~M4)y-`^* ^1OIt~7rBf;7h=&d-$B^yV4igpqw}X 19;F&4?HSCdW}JkI^l_T|f1UE94|M=u_IbL2&$``H%@zRYv^ zb=}#pEW1S$3nsQ&s9&FL6!>$;pEs_AUkl$@`8I9o-X%84#cQ)TCUYHQFNQ~a8>)DH zReI8qi@DMwhG5AsU(!H=yHmXa(jZb(hWp;ZM9e%!o9AwXt5>kl4^cE;O>U=Ul`Ii+ zhT-s {; zlX12iOD3!IXu{ZTn&=BCxP>J-6`lAFx08l2d-K!`B-kCy-F=ei2+QE*DJBnoSqw5c zGMRIR7u>Hcdk9~g)$F8d=;FKVpBUmixqbV>NXLbQdW9t#cZMO3vwC}vNJHVLE$Wie zXd 7J87xv7Tw=L zVI6eKPISwV>K08qDO+_*4%{-8K)0+tPZ+$6qUYRUEhg2ssG$e{j#TZ!;lbg#psFX1 z6zqX7x=36Pn&mXw{|@U=w4nqGRy}wn(wdEK{ubp!<0m;Wy+{5Wg +{86x?Tmo*oSkoeU4v z`Wq%N1AsF%=h{g<;QkF;JSA8^j6Pql2BW#a7LE>S@UjN5k9X4*F<)?Z_rG7w1*|^c zppE !t@xNL2^P z`jc?>S69%(_BhK G0s7Ci`% tNm_XtG3#r8j}*ok;WcOfFW>qFA7XkkS6b03yVmIx&a$ zhWXRggw*_y7<#%Ho0Eg>*|Y=WJ8*Y9;M-YD4!Pg;yEcD-qF4Rqz}9Szx@_@J-o|{S zFZ=SocUXCTjlyi%`;M-Ejd9b_fCQlj?*1~u;m=T-dzp1$i<6{z+GTV8WkPgh(oIZp zJSC{M?@Z^;yVDu*b8OF|UlM8Vv;29W^W~g(IPWNCaJEGlNiU9anQ`zZgx iINxT!Ys9@%`n~8qWx$H>&;sYuz#5un>UjFU;q;JvtbR`wJ@3eW^?A@LMnJyN` zmo(S@GK=cw!#HzwftYNm?~aTU>=odq{~R=@wYl $LQz4j)&C8o~ zhnyXRlyAVuIP)3NE=!R`|1`R6B+J++je^(~=lKuDo23RY*pi%Iyp}Fnd@xL96u-ZT z%-f9kF>ZlVI$VQ)=sbM)aUkHqD h0l91@iji%QVVYXgvZ}s@}x8I-F?Sz)>JnE1i8+a;de?` zu_evdyJ21jfJFo0QfB$?`|S&-*26 1KTlhUhSOlBa!WcectP zHpWDz7d|1F1LW{zi@HPOEU9jFfY{T}i8@?xx230h9Sn@=-r7CC`wi1E