From a96ac7582d5be5b850f2c9118f977bd05b253291 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Thu, 5 Sep 2019 16:18:57 +0100 Subject: [PATCH 1/3] Create a branch which uses the new mononoki font for code blocks --- _sass/agda.scss | 7 ++++++- assets/fonts/mononoki.woff | Bin 0 -> 39656 bytes assets/fonts/mononoki.woff2 | Bin 0 -> 37080 bytes 3 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 assets/fonts/mononoki.woff create mode 100644 assets/fonts/mononoki.woff2 diff --git a/_sass/agda.scss b/_sass/agda.scss index 902d3a45..cd680e0f 100644 --- a/_sass/agda.scss +++ b/_sass/agda.scss @@ -1,4 +1,9 @@ // Define variables for code formatting +@font-face { + font-family: 'mononoki'; + src: url('fonts/mononoki.woff2') format('woff2'), + url('fonts/mononoki.woff') format('woff'); +} @font-face { font-family: 'DejaVu Sans Mono'; src: url('fonts/DejaVuSansMono.woff2') format('woff2'), @@ -16,7 +21,7 @@ } @mixin code-font { - font-family: 'DejaVu Sans Mono', 'Source Code Pro', 'Bitstream Vera Sans Mono', 'FreeMono', 'Courier New', 'Monaco', 'Menlo', monospace, serif; + font-family: 'mononoki', 'DejaVu Sans Mono', 'Source Code Pro', 'Bitstream Vera Sans Mono', 'FreeMono', 'Courier New', 'Monaco', 'Menlo', monospace, serif; font-size: .85em; } @mixin code-container { diff --git a/assets/fonts/mononoki.woff b/assets/fonts/mononoki.woff new file mode 100644 index 0000000000000000000000000000000000000000..b3534822c69a13e330192020174d2c1f30547985 GIT binary patch literal 39656 zcmZs?18^qK7dHCFwz)|*w(V?eTN~T9ZQD*Zwv&zRys^!Vee?T&x9Zkcb-ViMneIB> z)idXuI^8|bxXFu&$*ZWy0|1#P0C>Q6I=T6;{QpZLVq!!909-r(5TgwMOzN-@J<0x3 zmK6W)yYnp%{r>_){FkU00FZw1UB~|qkR*^8;>xPR06@mK49GG702aw;D@-S^%)tD8 zfAB4%{0#&D%b_kK8$){l0KymmfJFNqGJej}pupV3@VgE|`Yprs4R+M`h@a-)jo*F$ ze%FbV1L;C>y48krfn9aX8}W#KnJK%z%zUg;0{u=2o|>?ggtWG4%uAO=u_3f zSGBRV*kZ$Bsj_d9d|hao%~~DAP3tS$V?mzu!QePbF~hQ9c6?O2Lc2gI7HXWYQ61-- zHl=`8{Wm<~uOZsWPvHDTz0iC$TW+63oa_R!T=!d!MOk{(a>V5o{xb?*An-M42qKX5j- zxm+5|pC*t`<+C_(edG4S`*q=WFTkcOpcSH3(3v%Kc_XW6j!}h?qF|28{MeR5tyq*P z&Uu#^9dmlUrv>bDo=s}SmWGBHH*AGnsfuImnIT_mmy?C_Q8V&+4zK=M1X|9F9l3BS z?s<2KZnk8nwcE56v(i+Szl)=U>x3K^$@=NG;Pxy0k!+d*k|!0-Ax6C(f1w`cxEqiG z!!g!nrX8;2elzfpw{%RUo%k-|V89z@!EW^_z&iEvFU3E9PL!2{4*V2()PPeEwT6n` zY;%+1D~a&84t?(O&EG$@p0`3)!;vpvrhO3VN1R`UPmI6fi;z=WEr=eb`dEV#=rF~f z*B>0t>QVn~MZbjCkEoo{mR(n)Oa4686|+ueUsHoUp)v3cukZie!9b(!`#FQ*)BoYe zACbOtAg8_Idb45oHS22p@bGqO^|11M=g!j0B)~KGp3kS057~;jmVbG?Sj^7G^}^xi zJNvrGxw2>`?PriP&F^btYYXqje6VqC!;IP9kiy{*=Pk}#G4QyX#hWq-^Z|(klt;i4yqM-ND zLIa}vA*TPcU(*J&?7qJ7zJAsus+fR)ekfsw^afiz4oS+jmGT+kmnVwx~Ss3q<*x zMZE{AysJNti*c^>29H!~ALI>PJ(_pm#7TP|7=^nuq(8jLY<9^nO{Z9v?8WS3^fXqi zx>Iv{$4CjMkfe*zgfaC|`^d7)#_XMpBYXrs^XZ@NW$k_ONSRULlY&kmcNr88nciy! ze)8>iBtG8Ki`OZ1- z-=&}RhP5?jpa^+Z4feK5C+iPDJkoyAoLMw=njV<{MHs4q#*dcZa|6;;LoioEf2;l1 zHY(eY&K<%w2Exd)eV1ose%Y)Aa4lgwWpmWhJRH-b43lW>NKfgS`tB0Du4l z1DX@KqI%RUrUTqoo z??242#_!CITEXRes&C|MWo(^oC2Z{di%ZXgnqRFesAgGBEs1rT*EIIu3cAoJ z670D;UiRQ!inX6_vVGb>^(MT`>qqKplIM+eG??F6np%5jWw$f25V7EsYc$GbI{N>B0+W4|jhQ*nz;m znS;kw#5D*;TX5t!tXM9R`fLtd{C;G7>-)jT^Rf!}84BFJ)@8jkePn@34~llX*yr#C z4nH6}t=g@FO&T6y1NcEd5%-+Ee;n`2H}U&~{n%mFx$0^$8)?r&ew3adWhd$SNmydLRDGdkN$~x*bXh;bg+% zz)VQPKsR7}(U3G;Rt$bfHsmQ;mC|%o$d*+x;7D1OmW@@4GP)>(6)zu@JaY<#%q}86 zw)hK?>6l@vQ$XNmK4HV{m}kpdz$1S;=Ja|Kxz$yS#em)C^?DcU+hqd2jWbChcAK>8 zZA2=7J)&Q_GpJ&U+(#RjE}8G5L19%>HD%)jfDP#D(Qes{w^`55VWRogYfsv@b}#dm zE?ltE_Ov#lS#ITZ9}d%4a)<6{EzZU$#5W?>9T;PWZY6#xsb9J*YP#_`F9=cSE+%VB zW2mIa8p>iM>as0iEMT*-#;a167brPW6=pa58!t-0%(Oy_+mqytEmP~T$dX>}v<|vk zZZoK1Im)yRSuoAAY{%pGvZ^}g_q1u`neS#2iS*!?Y@?f^S$Jn3f#S(-Sm0}vxt%4P z&}p3Tx$eFn)yvvwSO=@nOFvEf$d%}@>Tx4nH|zX~$zvIjFsx6x-{A`;YgvfbNhZf6oR82$AZIKeQta+AQrM6yJ765rto7eMt zViVsVie0(l*Y=1L^1n5uDIn-e8z^e?$pWCvw}2xN}IV+p){l*{7LMBQ*I(vULqEAWtKCE%?b{L;$7BM@&#HgIV+31-npO7fzxxU9kL83d_F}6645{caN;(#kO6R3ICWvsz_f0Bk<4qdW*#BD=9v?Jp#C!cy*%~#2 zQJP1_)hjZ$mMtD*%Q0Qj(Nd5$*Q_aQZcb=fL|oH-J5?YkN^(i1U&QFpYdzKDD=d3R z+**Ws)!9B(|1kVrKwCIe_nbO8uZ1~b6H;BQT6d;4lc|MwZryF2A5(YBK6SK)s%?{H zT}Dv1?>hZwjlj#g_M!-4)ec~Y0#Tm;kc`L8h)07^z$R0G#84z)Q^bpzMJ1Re=$^$A zVZ_~ML{Vl0yQ>GMsmHad2U)L&f^vX2b0Ac=2Yb53p1Fn0yT$0A{zJI-(?dpnXN)h$ z?15KrRoaWJ_B5s|#qD1%|ETzzao!=EPe$znLeJ*Yv#-E`_(!ziJv>;P4#{FfPa95F$E!Bju?ntjL~#-7 z;{Y8yY{7|@wqv;w%ySDM9EoxV`>}8J9xOmbN-SE+nH)W@>`MKMtO8WE>~%4EO$qBv zB*+3?wm73HdwEW6O(g6TUbmFzK6`6U9kIV}mkW2~*f=}a$=;WKIHjGx^+;|b3F=lN zclyqqs&;p(D+=i!4FAl^GrhoG+Iv9nodC>V(uTi@!HL52((Ge2qQy-riJ40BnNoPC zwB5$}(eby;vPa{nnsiylW%%*?j&gs-2|Q?P4~pJrkzvnpMUAXTWGir3JC7C$wZv$w z=xoaAnz~&VdbodypOfZPz&W@7S*Ym{M>?nKF6X%K;a_Nd74_3LH;OWtqst|0W=#b; zY6{U99@bT-OPK(r*Uamw8aOgg_$? zVfo!tzO3U161_DV4_UjNsqP%N2Y&ul@t0qDyLbQTn676X=|!@4XXPVT;6eR!&hNR` zzTdBO!e~lyCvpI3C%?pP%i|DSRPW`d+_Z-py-;&G4mhrGSQLv`MdfDIX6vS(Td(VvblBi*R^F*E>k2vFnJ4~hSBp_Mel53? z_TsBGx|#Y+Nmtqw<9P@Bht9m#{Qdp>{lyDQmlb6#sfjPc!;{j?;mZN@zkR*9A458x=WPYAq-HPo?tK)YzP|5$wnj1-xRRNTyp1pR-onY6l>y;(vGg@A3vUI zEPy$tBAEzFi4}*)4<$?ChT*t{M^E{KWabeXB$p+#qrqZ5-shK;3=IOFnl))k6xWUp zl8^iItBQOK?7TfA0U=_ixMVCgSj@yY3|A~yQNKjT;nmFFX`9By@eT3QB)r6WV8;r5$u3Mlyl|kdDVl`w)SYCgg;@? zkfm^7(Lg~^3Xv!v+6RCVqWr+{hi1_!kit?8hz>{67=;l6|80p!ElBDHZUU3s=L9ki zV?GLyL}IaLQl5lP2?9^jiZ9}g4+7=P2PM8ay;Hz3DE$El!3jcL0AZ34gmpw_;{N5) z2SI!TGGVH@mZO!Eq3I+~SU$dB+*v@OoznQZn#(d1s@XeRmgHLz_a@e>rN=-z&LOTH zr_CQObkjq?e|EUAuPC~;)|%wAzIMHyskbLEH&XOzfF%C0)YFXQo5@<5^)TbY=d(p- zoBA|iICVY4HF)xNS4CjT*J{PERdZ<^2ZqN3bZT`ZfPf9a^9L{X&-^!I4<~?1`qGUP z_OKvuZ#v}70=+gD-h-Q}XkIHS|EOm0N4B>I+spj;p`;Z)-fnFbcLy9hJu&G|e~&H8{#m1R*^~Fn(x3XcFWg@Zvthd()0; zW4@SHFp&PzCtNN7=79X4G=Eivf41Ht|K^S2d?3mms%Jyj) zG={H=6bJm)M%JK#BaW(Z@!v==D$~ zm)u2KHaz)vi;DI3r8^*BhJ)5}SVqKa9~$RpIiB`J`a{$QBSU)XzT%AQiM*!{Lu0+V zx+i{E)?pL*1}Q4rpKTB9dh99tg(9@Moc6V|f|C!%*7a;txYWSK0>ACCNvQfqfv(za zZ#E+#g{c~xsU^ltRjB&POAWW9Hs?k@7q@hJXm!$hVF=mY>(EzfE)qHfp5VA3Jv}eLm%~4`a!_@M?OgQu# ze+K)OM~QreKS4Nwfd{3aDv{%g{Nb88#RJX(MGCC$cr6mqQs2tiVTNCL0vU_vZv|(i z+~H}mOHe^RAR>-6UJ}DTU;+Ma%Xx4L7lp>jAJn$>^WG}#*4J;{ zz~if|pAelf!jK5S(D~J}NzV0u2j-ewLXwP(TH6V=oG;!XjVZiVn<}?iKi236B!sEJ z-hPJ8g!NH7c=k}dBDPJRCFkRGV&zQ3$s1El1UHDuJ>1L6jONKuQ>Pf`k;#Q4>AM(= z;Y>51MmnC(ob~D2+lzRg$%wtbu9g=6xX*Q*|8PC&PN?Fx{qDTo{A=sj+96iWbOr7f z$rEK_3e@CR3v@9E0@||&$Qnff9bJPqjb>J*A5(pd_4#HO(ScEy82_ZaQo6>rtgl^0 z5!e<5otd54od@GC%@$V|hOc*?Zr+}QKGr|^zUsdQ{Pz9!s5~%p!_sz4+|l?GX7*{G z#d?CS_rso7^f zd_fw7j~6+l5Za$$d(r7h_yI;(jMM<`5kw;75kt!t7=Wue47Csl(N7pd za~zn}&lf{ur;3fCNu~}|aZuG_Q}9_dU{i`&3TIZfQRG=9c9F_aR$n4`fQDB|b^*Bh(2|Kc@qZ6cU&p|je;f}Pu_Sp2 zRcM`o%y`m*m-ZGR*UJ0nSJmZNrsIs8{L3_lD8(tNOOXqj^UPW4ndv#^N$yI`V$F)p z(&ggi+~LW%b8`n;$3zE*^YyvyNry|`3I7a9@0LQU2VaTr+%*;T{dn(mwKMo;kCcx~ zw}1-%$M%{Z9-azc3H}z?ApPkUt?snMVV|{kDXAjO zv7Ysx@x2XdpXXl0d7blm6&%Yv)HSwIA_Bit8)i?b8=_p($~LIto@e(OG1uul8Ocx; zVn}YJbY1Sa1}U86>jJbnFn}vkH|ZbKb>jP-&dUqbTl|(jRCF9hrM$W( zj+`>52c>6XvQlfgtn10evbJARz=L|8g$g>IYKI=6-Yos^uW7WrTsHRF$|OVD2emsD zQX@)yZBfAwN{GCl@I?}5TCj}~YLr#fu<10baJ{7IG}WRIN7XSfFGtK)ZO98{WWlhv zAeA6X=CIGKTotfy2H1QRo-u(20y_Rdr=+mml>$o8Jl>2^b_$me#Ihgo`rDX)E^Z~+ zY{|B;y!Ulh1j^dk1^g)I>^_)jaPbK80nkSvd+lQpsR~sDH_d`#us9bG{ zZg51QIIa*Tj3}L=^9>xmMGUF?e~n}AIPXF|`j0pB0Grjl9j%P9WQbcXl*xsTBF`i-_jJaS|Tg_MH{!wV@apEYL^6p(N<5^ zuM@b=nLe#>8mIajnwSI>(aLWWjgPhBb~7WIP>kPIR_}UuSM*s^)z$rSB{R%hu&P1H zasUY7WFh8Bm)_{67@6GEofKN)q?{uh-1{s zF9{yaI;2fpS0~B-_4ELu2Jihc<=O=`@TIr04oTJbpwmTrGNw#Zt*#N2GrePjlr)wU z&^S?(75{poYj!j9X&6}{52}Z!^4Ot3cqiVsFHNGkP{nCDO(_3DLo9qMU&F6cm84Kn z{S-{Wr&B8`o2itk<$aFx@v3+wT@oWlR*=spDo)PejeRFc@~xqwGD&G;t|-`~#R?_B zFjbc_3>-UbO3OSW?{0m0OT0$v@+!EJ(_D>kdiM3%zSB^`;J+Pu64=)A`T&Z(j3?aL zx#E)C^_a*@T5s`325DsaTiBJ~_Q1{5YBe}+QnsgVqLk*pwZO93(Q0+M1Amt$G$*9N zXsBOv)FyQD9pn9ppeuvBuyJe~y}naPA&|ZazH1lSex)E>ZK~y$zqqp^idM6>tg0QTKh)_*d+SC zP|6mE>k~`eF61(MjG$Z1zoFwt;`OHKaadJ*(M{y*UH@@zSvEr(v?EK!1_e7<@)}us zG{3*6URxsPY5KA}LHe1+u&v8<8zI_>-vl;vo%?oID8}`fhG(|+XN$=IR9W8?ti_JO z`65|HG-O$+Q7p^jtgS?k*XQwO2+c7+5iMzZPrA;X%S(ez?2cdjkNM=In#p)Ru6&>N z2T8!~J^h3VLQ!9jres}6cj@oA>CNZWmK==Tsl+gY#OPJAVDz=8k2liS4~k!J>?zFU zp*2y6n$m?4b0>r7i+GgfpJF>OmVps(C#OBvFX6RSb@vPUOzQkq!^n8vG3{i$Bm5XG zRltFaMxZm5r(VomU#o8;Pt2Rwl~YpLhX+cfwd42xDu;~0l0D5D_)(qSe(G<><~HXz zz$;<)v)$d|=iD%#tl*STEeS&^GO|YRWq(q0K}V<*SMR69oFWR8ulL&u%W@Jh=3iBp z```p6UK#bwIPGC71XI+?#Pe9bQ-QzJf-<)+kqwlpl)w;&e#jx`5LCv@{FsvSRnEHCuQm3-& z-0|EH?&r>8G6CYTUx>8|kj(l;N=a;S1`3+yUiut8PaBJ=%yj`au6VFDkHgBXrTfZe zQf8{aJ49u=dv5J~6q{HWlla(>Ep!=%_J|r|u@LpL9)IVHTegKSN*cJliQZ6N>I$Y) z!n|H%iuO~U1jOj~Bu? z!r)hz#NPkkSJxlg z#^;EJ$b}Klmto!f>3BaeoMF0+nvSui#AC8p-`C8@ou}3GazDNrhj$o>y`Snd_R3wy zbu<^Glu#U&@08TZ95^ChF+`y-5=gGsh;1!6z3sHdeiM-An-&PMquBFriTXTKCu=d^ z4vs++H7f0-Wm~qoi<-ohiT)Hl>0!^KOHRV7rI$mYsI~ZdURhb^F}W1eq6@g0qruwh zHheZ5@QP++HvGJ)zpnmZl*H|Eei+CIHC(l$M-={uyC!<^bsb4&kFXhe8K@#K6X@Ei z_nB(hj5@ZC&*kmBILm^>UwlfunJipJ+VXuk8%aBmcimd!9AvbbzM@K8J|)j*O?&-U z^;fyl5?QUH(!K<>_4dkJMfdU^m+VM2<3esrykWH+RXK!Dr`m2ty{GE+>g@G)U;WS5 zK7HVfwmEU^T9tSplGFO={Nv+iHg_?p*dxK%bF10m~})OZYA+mTy=ZFTMs*yx~t5?I+YKI?h^&-_;YrVD;UUXcN%gl&OS-bVrw)Dq5mwj{?qU8qoY3iddqJ2+g3%serX1cg+xg32gbS^#t}{F0 z$2O7 z9Co}aGVsXJAh+Oy4q5XTku4KQ(z@ObGe$8PdIq)i5IhvN|H`7 z1@>?Rl`>@fQOFAZA|{ZLL!vk+At?v<>n~nWq06&YQUSs6D=LY>dJ`wy8}Jj$Oi&QS5j?La8_8Ot+LYHVeD@U*PvL;Ym5Jcs=P8om*
    g-7>Xr=sMOgVG&nkr$}tM`;>lN96>EEvLVN?on?Yc@ zeZwD*@I6IVh;J@aS1t^gk6|r-*RIr3W{O!7CA~|JZ~_t*&nc*mwDVi1YX{Sd-AZ0^ zPOja~*6%{uYr5$|fU>aC1VP$h?~hBhpWHtX`NZmGNbA?NY&djmk26Vj6j(Y4<|eeu z{a;bA96#=PY|B+TGB=G6iLO!OTen3r7EOm z@-fL8O#*_@*pAp`wTk8xzbFC%P01QZtNDVZDgM8aGaw}D_Qr{0(MplOEQ?3I@`-u5qG>A}OfzSLF^Rr}$1N@{8pGo`#z-><+0 z5@iwtM~t;ia)fs&bp@EzIV{y7@Sfx1JX9eY@Ojl%sjk{QltFx+6_X+7jV%WmV!p!9 zXi$E!#oMsL7>%Oktt@){ve_jM?Kw}V-d;4QK}tjr)!gnJVHFLDH}I{kBlgMm20bme zW|qUuRgaq8GmMwBlu)ajP%EmO^FLC^k1qo{yam4$OD}Zp4{Iu)MSNl|E|Q3%_bhe~ z;cswbnEbo(d|KxgYoet1l)d)+Km_K@^LEm&{x$5AJpi{c4(d?Qty?})^JVq(2$~?I z0)_bg3@-)rea6#aKDIkkIssx!;noF*mQoW|62OHyda8oG)i|BPjK|zC4{%(|V|=~Z zR0afCbA}~}yhV4)XrxnVH`|Pht1pT5bEJGFAkCOV@V(>38ijOCj$x`)adPBfHE0<7 zG-Klr{f8>#**@QpmoL7;CXwtjkT%YNR#fHU$_j=8uwVJ1MV1QreMxu7*MD`9>mZ~9 z4Y~P5O zr;z-y@BvD8(Dv}RHz0%*&xozaHXE?Jzx_NcR7Edt3W&^|t%y#X!d~XQZMzrj9#^wH zPa2L-)_&?_g(p12&4J_-$~U#bTr(o~9g@AN$ zQmXyi`tm`$G0-=XzqmUjoYgIy{g7T!=fDtn+c@<`<4Y&Ox#yrWd< z&JZ}_*+!t!NDQKV_z9p8(vd;WyEh=y&&8?>DNd?XAnLQJ^egA{I&{2ztWRtSQ$I5w z@G5_79@YH}uHlRf%%t&`qN#=KjTj-idJ6vZ_u_wFf$L~blK#obo`?q$@Uk|GHOR;K zj|Ixo4<`j3-P=URnd2g^S&N3D6;PLHzMtd`IR~e!ps~)=gBVAHE!EOCp`Op5Pf3sLPwsM^FPt!Z4i!r&>82|1%z-UiSUFv_!<*7H18@cIc*Hryt0KI;eW^lKpk0RB6+ zH1(If!!2-;HtS}1+bu5PXQS|=B%pc}65(|mU1GtM9Ga7;d9S(Y9Gc_Ob{<(Kf4fBj zi`^tWw!LW0LVjqRf~md4v*I)ycpn(4y#=#XKZMNq4BIT%Z>9B+%s|4TQz<^i)V7O+ zbXp%EWUXFkZ`Th|sv4OB&%^~@GHjZjL)6yHpQ^UsuaH_A2lF7|aeq^Eo-oRkp}1xh zO>{Y+k;`VV4-$6J&5AJiVA9Ra0G@yo{1a-}P2;{jKqCey?1m6SF>A9$wRO%>VjfOw z4srKB?0p$Vi{2bphedvI&S8fzeAh)LLdU=)M9xw4vUJl>%_DrbK=H}D^abw&c(WYm zNT=z#ohFxD`>jyF_X!BgX{9oug-oaE&OTB4mziz$k0FykHxpmqBnn{z5OhG_m#NMA zH-8E@#jccql!=#kT zG|MQ_<0#Xz;M7#ZAYmxhwRnHZt$IJ(IEXA&%d{OsP0OU2jkOGd&O+2`Z8p`lsVt~@ zS@RkI#XZ`O=uke0e+6B}IgS(Skh!3{t3<&$mm=p{s;qm(z0xtPIqB5mlszGw$~E&s zZ(k6lbCD>RC%7%xE9jTj9?ALpM1sOH0lh;}9tY!Bd!|9AxtKie<^?86IB5W>=j=qx zAGe^ajWhP&RHXs@DoUdCOZQ|Omj{X>{1D&?`&9BBgE?1@tzH}F{7+teL4^P6#Cgw{ z;=BS?8endJFiZX%T+n-}#^SxkseP{f@)&g5dW^;DJ}|NKShCt8%S@>@MbYh&ROj}Z zd7FG<8k;O^jq|<&`|-MF#{Rk_?|T;^4^uLY)pM_^5NsDXVDqo$+WQ(x08;c7$ROk( zH0S#iCh&1+_x1ebhk0oz1PuWXb|T=^V6)x^Y^kYl&^0n!Kbq1DQ>{wnlkp8js`^PP z@e4y$RasZJnQdMnNWiqC-89p(FeO#Xyr#Ql&7vqNmiy#S7GcL(VcHh=xka7OC(A6r z=X?LHZv@Y@XkHY}HV-`r&oQlnCc`|3p7f=8(f-Xoi_Iv_G7NZ0)wHZ9!_+hnIZPze zv`A5*nlGM6Ce}`6Q`4pyA;+t3ofgx!sRttRTsCa7xBt6r)z0mH1QyA(lMG2=P%G}l zgHaQx?1m4`#tg9tct`H8mYux zCZHkh%jtyU<$9owIczShqH1@?c2P!-Q%1d0M(mBo{G*JHq>KTb>HaqlXV-PN40YWs z5gjZMn>-ppponX>Z{rCU!_5+qkP=y3M)^Vj|dBSh6TCQB4BKDD467Km3x} zGjnxk>JF$)C=vziWQYeLZAN5k@T`79d)y7s>wdfFAtepAY8ZC>tPpK?J#T1!c>UPz z{x4L1#V~UzXJWa8&C%Nfd`G_aw0Geb6)Q_(mxSe0t$Wy4ZX-sz46;d2Qvs(~kC7t- z6g5+$7TWa~f+50vjX!LyVH7XC-h95Keo_h$lq#6q(C5K+Bn-k1sqPwG3{wezB%g}o znB%L)Z4NXe%VZR6DczFOEZJO|J%xOVJ{RF@0+yA|OJtWZ&9Cn_JY~D{dNg{AdpWqV zm1FLPInY>?P1zc=xK_M>*Q+sA^|}mp81c3GuC)-XLR`SQntA#Atnw$FB&VMoIKgs) zWrIzBkfzWkS?6WvZe&rXTjp>lcqYgd^AsbM#g#CWTo>z`Wy@U2yvb}&0w;?mlP1;E zTv=>wT9ej?2oB^N(%Qv0;0SLjJr}xYeChpCzWB?3z$3MMZ;4rSun3X1gY^sd6f?@T z7FpNuFC!ZE5^n#x+jcQ+;rxgb7|}O$9qoe_)<9Pa+}vg51hWlO-|-9F0r7YEW_s^@ zla=aoCycc-*zNwmPdOcLS0p+%x>=hRo4^g(&5up5jkk?nzJ{{cvLLfmvmB1J)}Gcf zx6r4Mr^ecEW_NG=kC&0R))#%$kcj2Kq`wjCqgF+-$*<7t#z>5rP!p%dA`Ymi>BtoK z%VV6WGt1UzCr*21OvOxa8R^nnCc%#&?~+~WX`@zCt<_!eI)nJeeT}~yhuRZ$ET(5* zHV|#qiL4B)8TIS@Zd@f`E}_kk)S;1J7!dMcdgBfv4x+vZ9dW#I%yW8kE^{{Zd-a#z zQaw<;DZMna!aTd(Cn(}kt;OC-AQ4GoQfMXO^Khq8*~wL-E(f0fpkE5!MJfuLl!pTs z^O1K1;QvVGHc ziFe;Zqu)x*$_?&HvXAngs&viW9r}C)zRL}kfojs{MRfCer%lu6sXfwPCX1}N*n`n@ z!;<@itD&4RL6&4Z`<11Clg`aF^=?DAZ!r_!UcBQ$|!zD`~2(syyq@ z{!{X-4bk@x4*w%oZQ(9O&6zt(?7UzA_WUqHbj!Rv2Ac1U06PWeu~!kI!v zJhm2Q2O2%f6&m~CHA&6S!Jp?p1%y~;3ETtVAp@uka8?l!115H;+@X92ni#QYVQKo- z>Ij?#0kWL9(_v6M7|-09BwGAythmvHQFO7F;W=@9A{GicrP#yoiKdV{T0u_Jqv?_;y+T`NSqHgt-J~BtDTJ zv+}fHG^5n@!_{z3-%L(+?dg^VqYJJ#vXoSAX(o%VCgl$L?nLQv1e3C8V`W0JnPm0x zumgE1lah8+C2NyxW_`_Ce3fY`x8yiW?&f?g@yiM&m#z*azDoXOW-GF0axDSbrBJJ? zrp-0F%jR6YnIiQS?b9y8S*SCX2ZUG6kBWq8N`qt;OFROEG-90nXpiCP;A)r}v{VW) z)ML^IiPuctjSF)`R*LkpNs8O(Tc+DfHR`Hl)j>JmWggF%+a1IYW`-|aG7DCfb~}^KVp>>^_uqyJg5x_Wfg`T9{N5W#;3u*9{i1h>k!h||vRyDOAvGE;ZM6@7$j5N161< z!)|o<>|VBTyY5D~qMEKTY?J52y~@b%{z@WXmYTEg1tcgy^9iqBEh(GS6b`{C9iTQk zF^G6eyhXG6&s-4jiPB9Z)BN((cTCiMv7amiK?K$xIBKuq7-{-v za94ckJfPY_ZN9l-%13F{t?~4KP0`E)-WM68SiB5h2)G?i?+Ik@4oSjjh2K_H0rUj&r^c48NZ0(^<9Cz<{T zlum?eqjjz!FGaHM?qqt71%`)AlsT=9vc+qIOQz!{d;mcelIQ^4Fx8<(nXn8oM)BaS zX^xC}gTrA|*-gJHuf-V4ouPssNNze0jlfed274&}^8UuA@Eh+yFBKbnt@6xQvq3c# z>Q!|kQCMimJ8N}RVYm#-l<XIJeeAE7Ha%a8^& zWr64wYLPVIznBO(Chds;6eMEu}fWxlVC$g0KSrlf)Ay}ae1gv#Zjw3;rvevn4Q zs3f-thh*}_oyJy}7%oCUpw{3DD}rJJqwtTNkW!xeHPpcr9;IV+1+PWYo*{luN=szs(T%QV^rtLT z%Mc4z8pD7(fTIbtF}y%#?A~C?8`JQMTIir0C&2IXcB(=qky4CZ(KTkw~AAk&tgGC z=0;62pFYuPKyuyR)zXkIGucEA9n<)=@JTJcb|HAU(gn`6Sayzv5Mof7ygJw7L^KQh zW%#uWip%C9bS!%TXSQ6;8fddoCcc0l596sV0u_Uy9d zXAf3b_vx4L9oS1kkO!e!b{b`_{h>6?93jct1Z zaMqz}%c)%`ZSw~W zL7&XX1H8n*&i&0PwkQq4gass_SP=*uXX8Sbt-UJwShXm7T(>!V zn_~Uux+fM>@3Qw<%$OIR`jbirUnw8PHB<1lhk8}gTe?#$qTWS@TM@LZK@_mG=-}I& zOLn>61KDk3z=S+u5W-aq$OmEQnOz$o2?toXD#%=Z#NNeBjI@YLP$zWE3kI{291gI^*7uYCxsOP;RvNol`qcb6(#sjPW0WWqNtzl9cBbWv zADH3fSgB*ntozKMoDn&xWt^E(H5(xIB}!%WeyBAhpev)Trqur+PEM*u_7~^5j0g>_ zN+pBN9OvV+N^L-s8RZpUeYyMiUq{%BvNrcYFN0vvI0SP}$NPj5_}1{zpfQ$oFIBTi zF5V5<(+X9V?vKxT^BW!1`pNEK>6o#|G1e}bc2C00v*Obi{G(nJQQzX^U}is(NW+gQ zsMG`{>i4&!x&*B)jQoiEZfY8Oq9JJ{*K8!I&lp-H6;XT}T0RAn;0#pnd#5EDuo%61 zlKgZ;eS>+$zrzS;@k^U9z5~CI@LJdHpV(p7YA3qUvGvRQ6c9fPd1XSoJ&tx<-=N5Q zqdTU)O5s7al(?XMDFt3*@!>^oQSJ|&I+JWUFL%~V+922>n#Onwf0`jo=wJ>w{2iQ? zBErjnz6hyq7soI_@aSx*WbJH9eeCXk3WQaa{7s+k)LlWqbs}uQON&Yb096r>wQh5j zZq)?ZXjL+e9Vc^JXLArv76!1+I_&)|>0Ud-ERY~-A)&+>(i!J%FbwKeV@IXNoC2j^ zPyFgFg8V7zTOe!$?N-t?^_7Y{ej{;dahk+jg)Z-cdFrRRtDXn+yBR-Xc{ovT$!Fh2 zPF4%$wQ?H7I(+$RyEgF>I2U83BBS|Ly}JKNRu8$1Gy#34)&3ze=`>K$VazHb@kgSu zi+40bg*eb+yU5hy7sQ5oh|bk7p7S~qcE;S*K)zCFf%5TaXqkV*89O$xH?gQi6jfbC zsGtpXeHmjBnkXcTUcD0As#jr^R|fghouG^5A8tRcRGvp{@vr0pBT_S zJ=+BUfNPt+PJsKQ)UgT70>@Ys@eL08AVz9FM+=XDT$ zpqF{CP}>g2bQ|s4Z8S7J^-PJ|S(_C&O~^h_R7qod4U`cFQtu7c6}0C1aw00)ynq^R z8cOp;*!WTe^l85Oo}I}*Y{BI+8Axek9wZT`qaD^zTgkXN#&g}+mAXSKLBl$lX4%5| zS#Y^e;fj=g%9F0&)kJIV3;>PhcOD8dO5Lv+DfpK;1&kF}9jiTQW`*<d8cG)3=Swhv$W{wz^*2gjms! z_~2uXq52s%r+UOhu`n#TVX(8xdn~rVhB{>DWF0-Mj9C<7S6SOh+>chbvW3ulmU{&K z4qkHKjB?SHbW5_xSh2JDkfb2wlYsbJaJhv9wOKGx#U!yEGtZhRTA@@KVFs-GWxAlT znU`ZPu6rX_Il|g)NrmvDyzSE$=XPQe5@ueK0gO&$vWfDO@^o|EKu;*M+5=c!I3~8( zxRq`NE|D@4;G<4H)PXx^pK!KV;ToPsl;Cr=R7XdgAn`I3wxpl7L?ycBg+ z6Lg)|`YN?wtGdtjv;w(~o^ud8E>{pNtuq(9+s7a<$t{^`RvN2b<1hz19mjALwPVR{ zKd}Xlz(-j4eZL#c#IJBC`kA8>pXI1jCIZi**XknKSe@^qZYWJ9|3S|cjLp1Yjo`+2 zSGD6N)18**Cp|qI>0rdLCOdRc*!9P$Z-0AY%*a3vLwM7mI#?&3Mr$=K?g>bgAj>LP z6(`KF(+wA1{&8GT*-LSs{t5692ZuG_CM#Cp0QpS#IXO38F_&09UG>R&1{_kkGP+<~ zi^gWLr+kE=I;HO6O5%KyB}CJ~^3#%l{@37kL1t+1c0K%Npy2-lF+k40L+c^9qUEI5 zyOo8DztfcPSLr9^p9)A27gfpscxy6(ePXX)wVYxB>AOM)1fZ6%w%Pp;=brfE|Fe@% zsN?F@ni%+=BZ#?k1#y*Gt*9lA|IgGClGbvgf@r-8h0JH7=@q|}Eq&-0&%gebtD-Vf zGwh{S>~KVV@`|4Z4;9o>L~W;_Oq1Kgb|iUi+0EL++`hc*==C-jSg8tgSV3 zsSc7F^{PTG6O$Z)`-u4X$fVF@#s9x6SxUBUjZNHQShgTyF>2E2BI)4-4(4!@m${c8 z2Lm{pZ%VRX@&X}Ww zK@G{k3FI=W`mdm9*tQ&XLVBrQ8KLb_BKe8FqWXJWBlO%v=T5COtN0&c%_a{U2*lC87_pO+hSVkHBZ3Ib(Zr<$`lgHELMN*Nl9EEx^k>w$ z@fn%k$aadQpK;s10=HZNTNZLs;V43TVkyDSlA~TkSo{ek9=e#L>vC|fd@-V}d55-` zp}{yJt==TiiPD0AHKx_Z)lN|VNm^2DsxjSZWv(ezUXJKzO;q`Fr>q;LZ_F*%csD2O za*a!K4V3GO$7uXhe4SRgCHtp_rzJVT2lvt!p5m0;^9q&xtN->S`s*&w4!y{C$fA+g^|Kd zp{p6>ITN7lP)K6})E|$DxY1t2xnBq_O8cdxmiPsx=>*h`<&Z%o zYDnjgvz32C>(eeuYFyt&k|v#4-~#lCtg0qpNpGW~U;;aT!GE7fRQ&CyC~4hQj$!am z6F3!r7tdm#o2fltLRZiUGR^k8Ih4&RKk$Rw)!F+Dd@)UY{|%Q+1Sc8Ss@s`wMw$ZRq>5q*~d?Fqk^FRIeiihtUd zJz~;Dhn|vYi@;CnSt)S_&t4uDqF=D`4>@4KgORjTN=-B(P|_yEM2MM#v3*1esQ>0NpfM z0SWTii$FZVTK)t2y9Z?&aPO9wjM9k@bl31l!k{g8=MXX7mh4JwP}H%N{G@3@Qb=N8 ztRdTFyew)iCF|G6#H|zQ@*vV4jtHSE+`?Aq+jPx?hVa?7gWqjf8y37?d^f}e%cwLi zri}Y>huaWb2t;M&gpWq;qpd*2iTR{*3j7Py_om2yP5~cq4!@MbST=&Qq+ZhSLXO`y zj_?c93BPRy$7em^5CwNyR;(QzI6fQVXg9>$fq07%ZwKOKD|jl*-io<%D97WzlpaRR zort*vF?Y^D*b`Y+FCOo{0qPNkJn(t@QvUm%FqZJQdoqP@TvTj~?%Aq>(?z;F&KGHo z48y?0Ih(iZ_8eYwF50jmYIE4WAbbAXp5RC@9n!wiGabK-fd%`+w(3{T`m_BN(W;tY zKTvkGl{L>qhJKw6#*%JCYIBg-Ml5OO6IA-FaYtKEbB@o0;p+rxp5~j~`>tQwv0#LU zkGuDB1Mdl4INocc`zDX+x=zCubPB<<(D0EhTzC!?Tt)TNnQ7p%8O zd^LG9pl460XC;a2@u}U(3N#=%~5Cfqo&O`W~82q=+t6@8THR z7vM@N@m4EnHK3#VkJvSOsPUHvrcp?5gikn3bqmJh4qF;){z2gHTc!Qq9wNwv>@Gj@ z_xZ|OD`$79SCIo!d5v4Ezb_{Lu>Q^w1xpM8;laTnCRdJiXRNHhe;%5V5s|6iu`4lk zn+P8gEp+81zfCQ;HylLc%6!Fgk9~i8E|e%bh&|;la%8{4P=edBk1bE+U`w`C|9PQ) zdaB&;J>lOz=k}7fOcR?ClbDpD(=zJv%Kgf6LCNdS`rQdkzq_owtCF67{wE5(<#qaH z`4C0{lcQC-M=AfB3D#D_H2*j=E*DMHvh6d@K3XGYo;soSKvCn35WiVoI~eY|gx|tVO*6bT3!6;NrMUcPZM#ChrmIOKqh! ztGg)xSYw5aC-Bpts!Y z#!cbCma|zWdE&s6!n(2$A~67Fe39BI5X=@Km?=jc6iDyClY)=a{#B`9M$cOypaZcf zD+OO1-%L(Fq=o}6{8~3f#MiC{4dD_aZvKiVN>bsGH6-q zh2zs$MIp(*s8*?p#F%U4c}%&-bY@RcXU1^rZrrji z^xj5P@IXElYDPjMnn63JI8@>97p_(R9DyokfJEp&`*X8k0XG?x`;!Q(l zRAO?5j^=$QY+RdlH^T5LLe*XqHfw3PhradV?2Xv>k4qq{#O6gQ%*NrF2ag5NpF9bz zpw*a@R8RF|#?V%@6}y*0EU|0vkqs(Pt9!ZQUmYP>=7{FTyT#wxn z$Ar4Cmq&Q(hkLF)D@q@|+c^}=8=__I@J*4;Bj`wMA4%5)`m#5HGn$wm2_1}IgMTH` z7A6T*#{8qaQsIslSp+#nFtwP;IvH4>aH*rv6Q)91D?)E6-hZH1!=UeOFuJpIbE{_rVb8+sw&=y|e03Vmal2YDNN?0er#~l3;8@LbNvp^et zN8qLow6H|Ods?0Z5$zzZij!7VhnO6s1YL#<`4a_HZ=5Rg0 zf$Pzm+|lH5-3SB~Nlo2DiG0`|?+>8>oeB6(B-9sLaC9k_A+iLEH=C2tv)=NA&c@&J zP~{)P+n#d?)XL|;m9v39I9!4iyYG`a3Nrg;JuZ!#CTt!pVmct^0QAj~vWo@jDWd%e zn|~{POluINUGtRBu6b$)2|1sSES*p)I<$r#5|d z4Y<5OgxV*BMw8E;IeYl*OYsHuSN}uhlLRuI2OH8Us5okbHmXS`s2zjbrmf2D{gl> zh_^c(?HnN<&e*q#-R`vi-R({v<2obX?qtH-oub(7PVPc?Xe!_C8B=M2)3*2#Ocf5_N{0_(pq)K5qi9{MViu8J|H-cK;h*dZ zmRnZ40xBEA7&~!-7r`;;}${-Ei4d82-i!;UF zSEK{2ET%nlb4&;gj0?mx%hBOGS-elXB>1MkyK$@&9qi~HkmjDNU#CWvk`ybJ!k`NF zGC>2~2~4mum{K~(F(5V}Gzn32({geG#7;0cIL(K#7cFR{S%1E}%FD%Nw8tUt`%7O> zm@s5v0LlNUaM+O{Nn&Ak{;u=7pQvWT`?prf^+vvg`eFHAGRs&XTzdMNED>Vhwu(M_ zL8P%@;CusCc!@NIK2*WCPvzF~fNJO7Sofh+qQU=7`kfq%s*8i*Kj@py!#!-|fpf*O zaW?r^Nf@J)IwPa3i*A{WQTm}uVjPMl#~P9`$S4OQpA67NLx095>mr*(AH^OXHU&_J zNN#IMV1Rdo=wX?t@`*?_X6U!0M}JC2l(-760^Z`L@{3OjN!M>wrzgdw#fyN~yse^F zRX$Nkh-beh9i#-Zpi6V}j~z0tKFdR0-o=3s%5A7cXK z$8rs&x)6hfL&SW}oxEr4MXuaP=E~AoVF>}A;Jsjf+4clgr9<}I0jiU z)SScdi>U*$W9oqLY^bT>r{r-{umDh}2zGgdDs}?KmJ=CUc0#u7#Mp9mr6?%xb!MEo zF7`uRI$Qod?vI>#S_Nm8!Wd_+TSq~zqu^ROGtxrLKXT@J82>)@-*IL%>kO#m%xB=1 zK=sgSp_~Go)u8=;zs#ERaJ8Ueb{N?e^e~IaDc>MhZdD3ntSJW}S8iFsmFuZ*kv}CL z1YIv<;>v9Al>S=ExN%!d4Xu=Np2Ji(!K^wh$>L2;-ei9>}UQ_wP)|)8D%|yH2V|BPuy{3ggrf>N>{3 zv%2V~&rQgjBF5k(gHiOu8`MG6{;y1e|DDxI=GM!LL5JKL%Ux&kFxpgXuSQmp#PK=^)h#W18DK zl(`cV;}T-USKz{U`EWIK$JQQ2hSNDhQ+1=sx%&?s&OIVR6ScOgyZ7RqkV?mS!8_jPKMfgY|=^ z{k4ml2+TiHIee6pZere%=r?KgS<}9EC}0nL1c!Be_Sptsv{ zaJv=RNAC)j=50Bt`GWU1Ja)S|<$f=C*B$IGw&R`lPO#DB%dOo$$mBe-L3qM4_@j(t$~Ikpc<`D>yJR$vY~;h zHT>Hq8#~={HB4=SdkO+gams^MlM$5Y8;=|Pv1`4r-)0GaTvz(zkL%jEVo7>=_Zy4) z|L4BJL4iIxs>KF@rdOE#buv036{CLV0Lwm2iot2VRP7TK;uR`}n?h#>Ot9xS-JU+; zbUS@Zs-8&a&^e%<__*xs>Dy@68lN;Fc4oB6-YYgCBtyS}UGSL`Du!hSzMA`X$J@kL zF`4#!T25?0;z~Wgi6&US5+?W91TCRu(WZlU54ZU|U;Ny4Qk$-Nt?{~RzI2gUF5KV{ z4i3fMAeMiLZ8loNAA-?sKnHcAphksh;sB@#?&lv(#33hWZ-aQGHQgYO6{Q4M4AAtxqvLDuK_7 znM3PFWK3CRTLI?boW9tQEYSGI2c!lY?o2;Be*YNz7;mpA4?X>?Lu=ZAe(|UoOd?RD zJxb2)pqiLtIU{s*z6RBv9y|AN=Z?^zo#L9wDK3+Bw7Sc%mIkd~5i~A_#zg_lIMB0{ ze=LQp7lJl~W}wY7-0ABO*D&V@d#WC}CO_{={x3}k|6SeD`FVRzt@}kh7LgyeF2tTk zo`B%^*%M1q$c?AmYL}0-U*zVD*bQuzSwud4^LQ zbEi=KI%W91hI(cP?uN_YSO8i_K{=OjxzYhHz#_g;Y>;o7MGunJXxxPsRuM!QOHMi)(bOb4$B{4 zo^#rOV#REYHfvn0g9OVg`6kk3DEP}Kj$kMZ8Bs**(FVf@P*<^(%7Pg*-?9JEgYDyJ z?J76-8Q8=sub5TRWZc;v#z{3wO*?mJL0iyHj~d|gIlc1YT=XEUSNnu|*YNCNBb3R~ z(fJl|Z;xFDl>vJlq+(WCJXEwxO2Lljufuw1W~~IjtFjs|IGl+a)QjGk{UTXfhaIey zIy}N3C=ZJ$QSr~~O&v#hF@nacTF=?@M8s-+&e5T`M$@L}he1Kfo(k2f%!!>*;(H7(}MY;Axf&CTph2lH1g>W%W9{cUOfZCs$1qSD$`m^W`baFfM( z-#~v@ugXdZO7qaqRQs7ijHu$QMJENVQbG5DgEtKc2#g5Oujl~Q5s+s2Iwly zUsWID^qi^KW^*aj#(zj*R`2jSrvGLCao|Nv_;mS+ zu{j2xIAc(Vuf0}Lr#>iU3RMAG5b3;T3)Ciks@|wfZ$YwvYP6a=FCE-$uw-Z^Z=Q1r zYU*&AvYxF)(XPpPPO4q|Do2}GHD1t!o?l1s!c>Eni3nC93EFXVzlJ8jX;o67G1gx{ z+{`WoM8~{R2^iJt?|~UFSTPyO_HFgzhMcTG-SUc5WGc z31*w-EF58=I-0DSKg56PSlt8-b5u4+y-?oUTe~wRyO6s7xbD7swsG#F;a1F{{!_>4 zw2}!%l|asIs8i_!4nglMhcJYkgJ!rAe0YvJSS^U3Fbm@NN(l$D`>P2R3xuYKZu5=>woVP@n8c-JVj;)X6A z>)sT;;Gm0TIPJ2P(*i2#e2WEIs7|e5d^r0Q)W`>l?l7WZi?f+qmr~KI>PIp@BRrErY_{vgkphK-4 zljiPV?Hc~bUtv~$@b|}1;s2`Vs#>E{Ec4|~tOAqzRQ`7)elFDWcw??H1#irCOEIQIrldH*ukb70n2RB& ziiSE?jAc~{Prq*4l!Jzr*4S!LQ88+wtq}T>Ug<&*SczE)n_GPTU6pA=+DVB~+I(j* z46aID>OjBw`zEMN!5Z!hj=rRO|6>yDwF|}AZdD7`hUSdqlo+LK4q#h4iQUgSu$2FQ zbt;RActTvU3MRO4-m*?Pn6`}Yi!-GLq7zq}QNm2b&CR$OsU?hd&Ty;&nh(VP%ciBRy2b9hlUhqWP|JNrF{ z4b%TY+x<;JXe2FFvJ|jw`{BI1P;67BM~_egj(%Hm34MGR*vP?e8eF+&cuid~TF?JF zlvIq!OTrc|vI3QLfxw#^5!MUVX#TgOt5ezAK!dl}G4Q|E89cAk^wfn%Jw!PbRuk%T zV;`YOs%vRStmp_<(RQ3tK!w2X)2dSVJ+6`jj*A-mI0Ox-xDX$4D{sU{%&J%7BW~rL z_?Y4xhq+5Uo7)y6R5#CC#r3mHugH>C+rr@cxbwt-0hx9M;Yy;2fOIQ}p2OiL-+7Fk ztK52Ab%v~r#8R|S}hPYDL7D6p{QH(|r^r(nLI+byMPb&%!`2KVq|Jp*c z=YkstJ!)HjXl3o(HIyyJG$bj|o@~RTte#x5G*ZQwWX4U*&t7A(g$nG^vv$9L6@95kn%VHjFI z8wHW)8ff$4@|zd*lectlwAh$?YnF3XKk0k7va56hqj$|~KYp2DH4#3hI@ zw6&-&nG{897TndHxxDkO;XLz{XjGRp)6h0e2Q_F4pVWiB;UZrD3{##TAn*`8HlQsF z>!?9q0eR32G#m>{8{m>)+#Z4l_q;=#=$Fna=zNvX&KmmVG4D8IaEOnSaUSlmj2R(L zP;YWWS|`9SitPe7xw8{ZDYy%?hxYIxZJ+Fi$2gLmHm%0nyK#f))EN7w?!k<>_!K;^ zr?l^aziVG`sr{F5I`k&NxNXe72R(|RWifMHg8HRU9h)Q+a)p7=@=7Z*5PFvpX7K7w zt3z+A`n2}|%@Xb^Z8<>Aes!Hopet0TU7NAvLeTZfD?-=ShL#9wsnNo0u)E7?^JxP? zxvgcZwVycrlzs|mE@Hu@nng~>XY4D6%hHbW-3aKRfL!!oho!tCjESK5FMpaD7>0QdpZ zT@9IGDe*Cx@f#guGx0SBe9J+h%3MZ1L85rt)fnp?zr-=dI|WbG+QamGXaEDystN%V zKj`#)JTqlvFI_CLo|%G<^Rc6wQq(0*rtG8Re1n$uD}p!jznWaFQk)uzW$;JUulj89T>5} zaAsp--U(eLb!b2!97&H&oPK7BVZ_p)DHC*~C?8khqFdKk+O{^eQJ{{@FwC&_Og;KH)c-CT!JGq)ESaaK(bqN0tWa}Y6WG;)4* zJSy_jpaW9pKV~CSz+B!U38b%?i>EY45v1W2_?XDa+qtvoh5~3gCMIKA`PzANXLKdP z9L(V!)&V7T$|V@Gjwh+p8YY$#mNiy*_hOp@Bv9}*GagA@u-Z+DrAtFB7%C<>SPtWvI_y4ZwsQ*P6NKDg z&|BaM8iD_A7MtUI@hr@L0r~Y_7pQ%M{XnC$qtsa7i|;8daTy&(9$zO6_q#uWv{KLa z37Z4nCk!)WqUf&0h+eNkp;V?&wXo)Z?VQwuK`IlOO+q-=N<(cnHGjs=>KZo4F3d9n zPu+8yBhHM2sF5`8b*n!kf+LwLWeUwtgJmo?G?aobWqR~a|S~b(<-qP zsv*ckt}&9bQx8(9q>Bj>k*<=0?Jv#ftA1RXVJk(O-GpV?{z-ljCVwYOEz1;>G152L z=p^B1vVU4cYLe6X?6l;lbW^GmHA~$9|0kzLr28d1$wZDxGi@&-4L?(aZ?Zp_E!`X` z{xJDR`KFni)_bM~uyY1TPMVU8kA9d^oGkchO7)BK4{*}{>5r*oB75;FkR1~LhN-W& z?d4ooxg<}Hwukyx3GYIiYnr=t?@3$gXv^ZB&)iU}h0K}Hg8G_+(T9@rSDA=5)BRL2 z8X8V{*nC$6;l;MnM6d`C9)L6POL20`@lTd_T3x!Rau&=?nWdjO%jiB|?0OH!No7YG zogQ>jxz9JwnyH(WGBam^p;IR###-Mo!Lg9)boZXhecNvTJ^I~yQggP7_qwF`voV5W zDJ=ySbDbWja<-=K*{$2-zuSGAfp(@oLjN%*u3bBM^4hf%WBT_WJGMWwTj0T#U6%&m zayW+%I{Z||?~pQ}v+#50Q?zN8p-u9b+>5%4$G5&*dnr7izyM9TSl0xXn7L8*Od#O1 zX;%&X*njZICOWFQk58$28y=eq7C7tr51UQx7Wa)x8D?M)BZcC_NSjI68Pk>UJ!nVj zgsU9WIPi<1n}**3+RQ6wpX;zJ@YT&5H}OoS!#=1*Yk|N^*CauZYTy*h!F6x5`dR$O z2hd2r?r6B_w3r!|oDiE4FTW6y>=k35GHh)0d_7$_of7(Cpt$lSkw&7`SUGrSA24Pj zz6yp~^p7VVfm#6~Y*MINYP=+?)Ks0Ym)3#B`Yp$!P$~#B$2-lJWW)M#Rj%^%@{TCkcba<2BE%btfia4S``}8 z{wQDdhbGXMIdiSMgzljk+1&HuqC$eo|MtQFVwp*Eh3niscvB&g z-UAH>Ev4@G{zrGF+`lgT2L(l?B12|d?Jz6p8_a4qy@y;byadJB4)oS=C_0lP@)5}hEsN9vB+LlU71lcbM zun}ZuAYja|Pw}&2o7YFO(S2S1GLviqEy+_fGTk9`jvfA(i$An5fwPgCmfAil7Ct9Z zO-ADo(x50p9Haf|mbM&hp`+E>E|pIzWpSr10ya|>5X>gKfj?lp1q+t>EFGfscnNbm@NcyQWAbh=kUu^0vn29yX?16>$7{( zLL=G_aFf>$+LCDe?u*}jCy+g31lkQcEAL$4>eCI!C3K@*u5i!=r~T(#D0PG{xgZVY zM)mvhi&58sGbGd{81DR{3Ftxp{3UcYB;;EMNGSA1zN%jTQsuLLU109J627aS&&tG1 zckw!8Zz3bAa2HdGJ-ijKM@3eixi^oG1=j zk{=uwpw`rHdmJ)sc(aKtZ>5S`zAR>`-ulW|PIh=`mN=DmQ?+W#6{^S6@v8A-xh-n1 z!5g_Xk5tep_NSj07QW7rnGb;K@T5fkSj z9)S_6XRSyN^+D*Pq9)o$Ncs8bsc%!K(4LN?=u%zSXT3kn+WW&QdVe_f{&469t!WWNBdAG=o66U$1V|Aw$j%W?w{=E1WoBU+KnzTAviq%c|O~NCgUEo zCAdIK>XL+e&~#ahP;N!hnw~?=VyO9yZGol1a|jKmeVNb;SQk))TL`C70`4%`f@KwR zC2cl`6}yM+)kJ*@8e3Pp>G;A~uz#@Fm9|#Vm25PPR(Gc@R8)=MMQXh1Q{@$yVD(PF z3vE;okJ-#u7eNb^7A6vD8r&3U351~x6p6L;bTgrBg0c&g(in>WQL4SwFp9Hu0bIbkKrb8##Sbb6K@rRqD!ZIb_&*H@sViMCSh`r>D%E(m=d>nV z+3w2xU-P4s|3s~_M1JuK%Cn9rGO7dzxgTaZm3hsEaZ z0v$;Q`};@9Z@+n<%)}naf*~+c6%!L5pP)~O2@8%BVF(?Ws>n@iR;S^!Q~oGsj)cLg zY!A;>i}Z^;y*%7SZMOTdGT2&bbNLZ$e#AT%>k5w^rD7_4HEYR6W2!9QckHNIH+NdP zi=NhO+Jri|q)l5pSM1USc@+wFP8*l7Y_JIT?x~jV$oD&_hZ-+lg2Ms7{1rPyS|eJZ zOma76hvekyN-kU|&dmunp@3h5#t1MBhN%))#(AvJbsILU`wI8iq?HEk_g9BrgZ31UkA2pV&@9 zV{D!}J27=tfT*2_bKTwMGSdjSTAC(#W=1AuJHd3RscfzC)K7=n98M>yr<tMy=e>=4+AQiSGgcJ8?-L+0A> zkag@4>bUrf#PyEx>=ikDzY~ z6>*B~{o2x(QL6036lOx6BdrTugVkK&L}yyotGt2|{a5L~FBZTa4#S7^uu5zGpqRai z2AyzlhM9-6alM4wSKjpsXYLA}%Ddvjm|YLNB3gImlD)ndd8o}6DaKYxGLIB!ZG2xm z&?ii6Zn@S7+*E0DoqMap1PrD)pAgoIo;l(n!#AXhE!KDX2bD z_>!3M6fMNmE??eT{?szAKy|L?||_cQ1c$t#5pfn zk-DEmKO?w!T*0w{#Gfr*?klSoPUTPn*WsGB|e+@|y`IKQ=pQK(Pd z#=-I0+c|;itI%Bs2i=0a&85~Y{0<>=+MTMRzC7S95&ZswzT9f>XK+3dQx~mU|a16=)}r=V{D{EEWjMKPhg;Ls5l$> zIE_%xh9>Bn8JOs!pMzQv)5=&8v=)pK1w=MaW{jdQ6W)fT2kFJUr2)%1} zfoOf@6C=Az&%nI1>>#rgBTxgi!@o^v6TshKz`u6*w+S?%_?sF;%P_lEz3;wxbL;Mp zKi=xvph54ht;87@g}nuP$0z%xMKI=Bvg`o!s1w#t37QpVN`S69)$%2)(RwSETvN0vDPU(0m}d3n{5lsEnY_;OvN1 z#N8Nmrub=$@=G@6xH+cyr{S&*&~w_+QV>L>W6+i0`l*a79H$0Bc{Cli<1?zsJ_foS z1?^sHdW7!rN9|CWRS6Qsc7D6zkcw$9rL};=R?R^z%Bko#Ob+{2O$GYVLtHN^D8pHS z4$x3cV@&anV!9T0KO~3}0w8S_?S=U;N2=ru5w_PQihY9B36=@&xyDpK*+QT3uCGiD?}mo*Oyp^Ivm}OZ@-!{ z46q#~_g-o^0((+ZBCr{mdML#|f@QOtDm6Qb6*FQfQ;fh`5oM03)Rf#D$EO?>;3G%) z7F)`?T424Q7I3I1HNDMT$*eM6wTx-+%GN~Q&-Md6d6 zKSN6-@eYLbX0Q2zhBQ^zgI4&P_QaJ;3w-fo6iz>dqrwrFNt0FdGK$6EqnnaD9#a|$JKWj^N{1^d;@R6(;Dc!{t0x`A!SU(UpRd|T zN1v0`=y2(*UcJemcx+OEv)W^^+({|X$?}t?J@HA?^g!&5Px=XTw|efe9miC#TfM_s zrKK@YAGP~+>}Y+d5S5q=uonTl?C4$u>}3F{4+3DIou!XdDD{ycg$z<+XDP(5{v3@l zPe*_>*RFiJRA`>gP|R-_1fO_$gOE39iU{*SfH}UMJ!(IhW5l-b#sSjq- zNBNAz&q(%(b^o0Mge~HTH0APRqD~bhw8B{; z3j@QVDkYbbSEY|H6IVvCJdU%Jg0*Nle@ID@9&7pUI7qDxd6rwMQyQ8kWvS>j%Pj$O zy9tXpddXqwtm-}1MJW@%zRqQW5LTkfz_=~A{FY(x*RAO}X3WimY=NWIEm zA`#2v-x{gtQ#;sWxz1=_HQUR<`g9Kq_JF4<{F=l`Y4{q{Mr=xnH3Q3M|8I9;F_EHv z4`QLEzYSrbugZUAp{C{n48iZ^b6K9>;FbVG`z?1_C{xO1p{14~EHp-{#X?PK0SkQ$ zAs8y5UtnOuE0tvp{X&p}e|KjEUGv)xa3NCn^2aPR@wYk{0w|xzLcBSFg?3pkV~Ach z+p*9*OLrCumfTsW9^J)4-Qh8YZqj-fXaW;e_%Vq~=iDVH!Br~H*I3Hi!DzC-_V);c zpAl-YcZG+RC;4iNy>t|MAXs|Lz#o?L`O*`3q^5hP3g2^(p1(ie#$776tx8Jy&?2c- z@CwFol6}4)CAwOU!d@0nYY7-{DOWR$3#{j#(1)&)y_wgvL!2?3oD$)#<-GJ^K7FJv zE2~V;X7OisejywzM~t7i{k4BWd<xT*kW(NgMe}r zjS=#Z_WSAap?9q6P3{}cQtk?2(2(1Y{~=thy~)WhXVV7?c%M2dU$8ueaU4|R7%}Ow zt6KW7Hr8&RHN`8L20rW!J-HJcJY=bVhCW2Ch12=R6>>0=qkCO(rU3c}K4xj?Tcp~P zV<=b(nui!_{`iVN0WlfEt>mE%2OMFQAH?A-#h|-nC$s~OlYZA|4{)VK)=Gr24%kFj zwZrL;n3#Tz^t)QCq^1uozvoMvFnJ~ZL-{H6c9!1}e~o1mi_I%jBfaA+0V0ebGC8$O z4pVNbI?S-|VJ~}eI}!5aA+QPSjM4M~bmLe^dJM0GeEP7QS8!`M0(XTUR`w4zAAv%`1aE97ToJFUA!fV-&o^ekp^F+)Iu%2tKb4J;@2e zDueCc4jN$xykyP%JHjzHWkh36Qh6E69+nU}2oErbEiNOlMqfi8AaIS`KsH%WZAZmF z+bkKsTA5}??Z5b?1xF6c^_iWoKo^$5LQOlU#r@N7)&`Ib4{ae^Cj78W25o^_7v+Dp zTV!ypGR?)>Rex#ea7Y5)`o9V5!`BdIE)r-`86;s-@qhZl3d)U!14C)F6Qr`&v1gSw zL0IL;fuGrk${~=QZwn6*+RpNL4G#D7oNN65{EnWMW-6k9Nd}(vOtyF-7EpiOfk!0L_ zrQuj1;H9$IVgo2k^ImAk790$_V;qJp1r^b_kUh?q3NRMy2TQC75ArK#vofz%(7l*! zg*>}3;=LIyr>T~YbNJ7{Mxwyza_}MQ3QjCtA(%piRqOllBY1Xfimm9#NFWvWlCcPa**y-cr|=%#bywA z@DAfKmZx%VXUi;?Ay+b-s;ypy0yceq0kI-V1+LhK*5+pWB@6S;{JmBQ7hvK9+d8vLeJ#KA;iY#>fk@0SWHg$FpT z2oETT6tI-jDu)H*_55+UOmco$u!G$`k%Hq!NR*Ju~KDSB^vY3`=9mZ8<%S~2_EDrWgm4`J-nD0c4JWN^6!$U>HVB#GO zuk55h%6Zr$SYsKAg9@jTB04g7rOYUOh+Rd)E62Jb?O8htT61j7RB3F46cB4XCa9Fx zDqFEqY^&NbdvQ<|kSds%R2gMet0gxG%2SmBRMo~nc)=gBWg3;J>Cy$8DCxSbbVT|{ zphIH^!{ESN@5n$mr@?eE9U7`~3-j+;S+?|lV$B<#-j2qaC z3I6k!2G7?w8h;v8qEuZ2s)Ez6Uloj^b_S|;8ANN)8ixjfT0F;;cW*V&q02-11^u#1 zN7})l4JyLtNq)cUaO}~zQs{CYNBu%+LG7)0uqPQG)Ai4H-?!*c#+J05$$5%z>il>| z^!g79^$GO~^$GErbbjcS!I$i(99X$~i*DccZ3m9-o;`5|-rwP6FqzOZ%73+oBQvoj zC);n|p0zJu_qflE<}LaTXgzWLm{X$+d|sDP^LzEvQM>Cs!S3RfjhFB`+J$LuN$&9; z_P%k6K^b~J56^)M!{+QMJhJ}enZ4qL!H37}nq)s@`h>5i=@ngI3@ZL@;Uao04_DI$ zF74~rKhz!?h?cr&xd>1^JYi_<23&an1Aw0Us@SY4GFIHQTr4@DQS|ic&AX22ZcN@o zYwj`hTRm&XeqG+~+#At`?A_r(``CR0j)X5xnlv?f8QK#2kN(4K!3 zHfe1}mSI)q+LT;U}4@?eENwH_8gsvC2 zT)1<=X8nc77ogh3TNiDmMba4o%UDFF(tE;bq7;;BAzNs~j14XmNGkfBUEicR*HvXo zObSWU=cscM(zE=;30G30Q(}|iol+7KljD=^<5ObOQgvyeslh3R;FQ25V}dEcKh{6m zKHASe(odhm-f9AAxI{ zH|aK6T-yN&?GD=Bt9U{DLN=5%BVL62b)BC zO=F4=PB!GIQ{v(hu0}i$KPztOrdpAd<-bP1Ix}@mlDMrz712AQsk1I9K7=9iE@B%B4lZjgX2sF+Cgm!2@VjwG^RKtc9L#W<41~26;WZ^NlkJ*erVxkG0ZNud0Pt3 zrHaj=ZkKNL>)-44%TL86KmXjlq@fr__X?w351c!ff8f-~{3*kSyG|J+YNgijqYcb~ z&bIK|Y0et7m1^5U%4rUk2Mf;GctwA3sE<=yx-kTgPiF=@tq;fu!Q1+AJ^KJw$ESy+ z`oy8CIsj@CID@~wF|XB?Vv4u1YM)R$^KRU{XJ=Q+MKFsZs*kgIin3;-YdO4y_wH!&I-r3BsncL zEhRPedNZ(H1Rrh7jEiS??ry-t;r{VHp`U-k9=R)=y#(AJ^jz+hvsfmXH_o6bTT7|3D6d@Gw{ z>op|GRcpOrr!9PShG?Z7=WKqKY;Ey&xBh)FxJQ1Rvl>`zp|-hieZuZLw*fcy+BfX$ zFXR>^t_n)=jB;A3_K6Az4)$|J?_K*s2bMyXTvXDnI!NYq)w`}gta1ya5*32*dkD9d zhQrcG^`)~dF*-+nO#*7jcakH?X*l*8%P&dfu$LsJv6m!9SYMKeV=qaJu)ZXr#kWRn zpaJAruWQoMWsqb8-k8;m?Sd&LAi_V;-ufuKay_~7+8O$F#<9D`<+tE%p}+Kc85ZLN zdnxysR7);FHR%U@7=A_+`8Y1@NnJE>w69PYgP9T?l}Xz4(4cXtXLbEl;M?)<|A-0rus6I5mi$M zFV7^OwTVtQ)~M)UP5Y&j2Fx_HpQvg(!P%L9q@zo*E1?&GHUAfd<|}D-vE=JXz8c%OERS!U@Km2o17-D(xjV`eGPZ1t>A{&JD7Y$T7vf@ z(w1;rl^x)d*;8oFlakHfT!mn^pe9lXh0jlQ2JppbS`F3%7NHPfCBaL4Y>y+M0lb(>b7o*0Y24$ zZQskS4g3#Z^c%#^?0u@?pH6Z6dV)xwXeO_BJB~3|q?H097H!>GP_T7Q4}*-;2+i-_ z0iGOm(C}}Tr+aPKtUI`S*TI9kW=~$|z3giryr7=8*We*SFN17KxM@pc?4%3QiPThB z%vtb5rKKZ(OSh3`gN<#9Ia82ES^CPZI_PLV%F@T*Kf+HoC8n6tBhbhs1xY?i+F;4o zn1aSAlWZT1LMx~fW)X#1NQEeb9!2Vw6aGjEBa}QMF$?KD=8>8jmFD;VdAJ5>QC28g zGfh)dozC^MZQHhO+qP}nwr$(Ct#3X1FJmujdrGHy(Y|Ln?+3r{9ql{v-$CztMf;Lx zjhZs~OL#Z!TiW-&!oLNheQh62ohtrU$6xjGcSX@_#=pa6{!?n^>X|&wysV$J9I4gy z;GVj!^*wF=y%_#?#JVtA#37XUBo#?VGLdYgHEB;elQCo}nMqcWjpQ^Xlu<#EHm5`B zNP3app!c1WP6nrv)6rSzd~kgi-EcR$o5aoH=5h{LwF1Y6Dc_H3{_vAzP2tJ-q<{S8SzKdV5I|(LAfei#Z(DZ zHdRPfQ1w)E)mHUU1Jn>TR_#&y)oFE6T~)uTf7J)gwA4n2>1aBRE~-1|S$d`3rVr@L z`i8!*pXxXIcm1FKXsGc_U?NOxlfa}mc}yWw+SE5qO>5K93^pUo7&FPtFpJF&bI6=F z*UT;R$hdG*Lq^C3d7vPahDuNy8bWjE1!G|n%z_258Fs?~I0k3o z5?qIu@Hf1-j`eLc8{a0i*=$~0%2u&8Z3ElXwy_;;58KZUv7_vGJJ~L>8|{93#GbP^ z?PL4gzP5kZf01H2xr4;x|&Y>!>AC-%cZI1VS_3|xRKa2;;J z9k>sV;CZ};5AhBDj{o5Mkk5^s1$Z0Bw#VbzlH56YdX@8SzsQ@}4Kp*mHfSif0f(9C zInWs8SY%619kXRe5KbJXuVK7=Zy0Sk3}tR_+flk|d(UX)aPHSI*p_w{X3m-a|M%Az z^o9loqoJ{(g`u6Hi=mg{6~kadqTxNmWJ9tc%iuH=8!8Mw!x}>sa*CT%5K7Zavs?~$ zk&!K|_E?B9<)GaiGR7%0TAJ(*#2*-;9hE?8PGD9G3ja0nw5-Hk7*0Gbb$J~R5>GvC z31oI6pj=_g*%lOPZ($4Bam2?dDgzyakgPDDKv^1r$Nj%=QQ#Qj0R)66!YVNRBAk68 zs7XUg;+MEzti}nk#I84#7i4E}m=HJiEQ{l5LKhAtDkPK@B)k~9wP92!CtZFrJzWBAdkTNVY5fOm*3gs$ z`gNkf;sSvt1kRB^;t^mil>MGL8o=oN zuwc2Vf@gRZZ{A$EMZ9q&xtlx{J*$m}#P{!iDSj2R^jz6j}7ibFAlwRwAqlj5$eXqvp&klZYRdZ8qi0tAb;=`^oAPJ=&_3uJsi%6WLlODr+^1Dps1S zM9*QOA6>UdgTCa*pNdNUCWD+nfoZx?KqqRj4M(r;97AC$9beAki9+L)0=b_Knv?N( zwHDGNMCwKWljjR?q>qPd6XgSTgPGV#jknTXnIa}>F(u86Jdeq!Sy_TUmIBI-Aq{+y z@(+!H#rQ&9{Woi2Sl(#dNEH6xvO$A)u=rA|T!Qt`bM%$~_JJyRJ+#(LS zS+Kiio;D@RwbCKC4ZN&b;pF(anHXx#B~D)l8)@Ei@0)vCga<@jR5Pxl=< z6Nth*-GJ+PJl&w{37&2l$)}15DwqZ6rIPp zIVQ_uJe0z0JipL`=#ga#2x0oaZU@;Y4lW;c@8DGiR2odcSLiGAie8@;kEK>QrO~&b zP6E221cZv?AGnXnuQ(?q$BT2P7nfrlU1+f`q81OYp!enO5t-rAUs!L}B9szQKVeLt z{(l+E{zrDPIKjWx)T2;ttL>BQ-nMnaYE;@SoJcZc5RU(SYCisbs8@(Z}cC?;5LEoTr2y7TiA$3wiHH)h1{~M}VRMCm#K@e4XYF_U9GF&E4W&wfq zFNgBBimcI<)1RmTSn@Lhus~q@9*Zl6aHiAcYy#dq3c64+1@a^UGv^eR%$GA!;Oj8i z(79|X%Jw)=IJ`G^uL!CF9Xe6{Q;8n=X>0!;3&Nx6AdjYopxW}UTBWBlRa31CrG-d{ zQg~0xda-Gm{<=_Vhy)maTV%=se2KXf`cpl&(K08@vZGs$utuRwv=5OQ2J&PI!IbgT zBeAiNpv4A&S$<1rF2+jzoVEfD^YXuRuAE}C1cGO=OHD@vR21&@M{pwrI@3g<4b3MR zx~%245}U*}DVvo|sK2(`@@!eL8M=&~M7gGAWvn!;Tvzaq8g>oq3!%75)4*JyTEdIw z%`aH2g6Cx=Pi|1}Y4&^wUoWvYeIFmZCVJQAK=rtQqF{()w!H&@vv5vA7=EvvV?>Tm1UIxHKnlMosAJlISMfoAs$I#QU!p9}c31f1Xx9Y+q>1;8$$#ODh@c4Qou#MeGUsc74P@Pxkf z>mX&F>DK`o)|Ac)3sUu5^gNJ2#}?-7{KNG7Pr*jJ;7fCKTGYtbUk7)N3#IRHyOM$m zLH?C8N_?*Ml`<;`WNU(XU(@@PNhB?2QMRlU1f80|@-HaDGTZ2Yt4&MO7GO3HS+f-hn!kHD1hEaT!&cH7}~;p0ruVDRHhkn{_1$?ew>? z_wmdB4yLe=POCyt33%L|GLPt6XEUvn;iP~fQ>+Zbu4@-Q>7R66$FU*iI@k45ZqW|= zuE9<*nFJiB60^r)+-7q-TzFF$L!)_{07{@2)UZ$BAqeIH1V(~uT=G-NlUUZ?=kUHT%sWSV<=lebSPQIa6bMpPS7h z0ecHaDX<-PfP;}ywyXrcP|H#pr?Lof z-+>odyWoqOr6IiEE;RIUZwB07A|$OqEQ#G|GQO$oaGHww=x?;U9p%MEZsT26RfP9K zW}y+dEWH<>Xpz+Rg-)+V*QuQ$s9rgL;k&9=NC4rO0P?$_v z4YvDgRNoV%JJPKgVn%wI&mqGB^2Xj6m_pRI210kWmv>if_BF*<0+iJ=ElB+K1~wKS zVz6F2Am27@nwfsN=}Q(NeX0W%MY3S;G71Ow-YS{~C{k71Un?LxX7HcQK zH^^bFfXWhrzmmHISp9QHZqy7r4ES2?9Rf)29-9J!(mL=lY&(_jx(vJNdIBv;RT6=V zge`{9vGP&HN8<$6l!8)lmGxkwDWDqPYKJ**EHe)RRazWw(}XPZAbeTl|N86x{&sEq zzuKlv&8uG_4j2a%a1B~qQ7l7fQx6W0jju`&;}ep{j*-WXNlu85h3+(6%G4&qeF@(~ zD?Ee@sKHG#T@2tR7J&$~NP|w%Wen(}bVo#Jbswg~+mthgW^sSY$AEotWghU5nA`lO z$pKx1{Ytw7Z?Sr;-u{2Fb`mIa*}RJ^k%G*9qmXTNW|U_eSG`|qap$>8ji8=kJ!|@q z><_xkGOJI*dINNTO8nGH<|L)4(y{i1Zo| zyCxh2z89*VxRMPj_5~hOetZTsG2e4|s`c6w+?4|ziy(ki@Y+53g$E_j-F;Bg3?*r3 z&dSP>LFCmX7Ve4<1$B7Q;+3|03pZi)I|Tw(OctDO0JANku0Rg)N_YY4^o@S`rIGIZ zuj5w5G%!Q$DGDj`7SEa%J82VwwI%q0I4IQZ9&_0mEUOJ1uZ_5MhuQB$0z(Yq9o*M# zO@@XNn2}@xCvN|Y-@%2D4Pb;3m>?@A&z#r8uu($lptw>lM(gA~jD#lmwPW)?Bo@ocHQPWpC~f}u@oAecOE~%rxjtF7fSlHIw*jHoOK*dwN(;F5 zt1!ZU05&sSql zY}>YNa~a#VZQHh!O|XfxO&%h7ib+rX9dl9VE8X@*KqjMA7VF-#|8R0=j9oB`sw4vx z6p#YJPYXRc!PKqG@XC~p6$MKti(HRWF_Ho^$R>~cN%O{zXPk42bJmR6<7cp7_PhzR zSms>g+%$jctV!%}?sFcQzi`}qPB||)ugzaLXFhkFkDN~ck^BpBru;(th5Cg_KQNu5 zl&3oNX-<23GLTfj=+5ZaKQ8L3sK??O9wj=pMB5S>?L)3te00+-JwUqU+0>Z3q%%mD zV$O7gJnhsj?baUc)jsXl0UgvKz1ACRVmX$EX~BQ=3=Tbqbwo#XOviOXCv{4vbw=;? z!J1mGr6ctwjp9^h5-T{t6`moIb)F=>(27vYr*x>+rZKJQtaF}Ut_z8}F1fDM71vd| z;ksJ4UDxU?rWY8gg>9KMAob z*pc`a(mb=mvoRC60V9**{$`qC^4)UTJ!4kzKk~^!!Zn-x0k&`_$pIe^+hc=Ci00000009610059u B7YYCX literal 0 HcmV?d00001 diff --git a/assets/fonts/mononoki.woff2 b/assets/fonts/mononoki.woff2 new file mode 100644 index 0000000000000000000000000000000000000000..bd26d2931bdf661440fd7f5660d362df1abe54f4 GIT binary patch literal 37080 zcmV(rtK@?xjY$#Hd?>?`b>L2;S(7&yx)_N*tVcX8%(4SgsRaU4VAwh)%DLz9P zvSc<^BO-#u1&TlsDAM^1n`CAti-?F|QK1MFfg(`4Uu&(Ek|H94zkjfitI{V><&8}W z4d0-Q<2a7gsQ&tN$9K5(zR-i8X#GO_q-g(p<{wUJK$!{J&%oFQRz7nJO<*KQNJNs9 zjbcX1nivV2rV$u#>}H)RcPh?^Cag*O%r7W^e}mHr>CwZ>2GzVhRXyT+Y~ zqnj!e>FcOkXkh>SyV1mc+~+rAehs9mNL4#ud9cz^*sBVOGUciyo2Zab4#2w=e(7nJ zo+coj-n*=8#|!%eLf_Un$Xrq5!ATQF=Jw1-1=)(WtYh_3V%TncYjh z4_AO_as-rL`Z(Q=@Bq#2{}y$O1@wxsjj@fWRj^_sM?{OHO-!+dz*N90EHE%Yup1RD z#7a!$fAI0*Xil5^GE9zz)3YK>1)%>W1xka01A=0#?cIxFn!ZGuSrQG2MCjf!kt&`T znud-?_$i&GziB@>eZJ^2BQptkWs6s2(jf*Biwck?*7_f&*{l&s4C#o_ekBwUeWE9} zVty{q%znfC=Xu-wXC7h3fAatRFPxBq@66aM_J|c*#{%{eDa|;8*cd=NRltfBx-E)` zSU@n?pvzdIh!mfq>kRv1_<#QIY5Sh{$t#K=;j&gRlt{oaC6>8&I~ zdyeanJ69-G$(3`_k=qnFS2?xLht4UDPSq(^tQ=y;Tq>kL#~F}R)qqx4&JqLx3WdNK z3>smPZ-n|+e?-HJIN*dd7sF}8QV7fLz(tFHf-cgKq6_>VVvW9dw}rIzjNc321@loS#Y z(wdXlvehifcHCq&x0Jp~C?OD9xeIJ{WofL8rxnj*B~JsAGL$@x_n?uX1wjXb zJ4-uDFAS(OlN@9_wqyu{Lv>0#by#u||2&6^u%CKfW)^iN!TKd#Xc@ZnF_KN>MNa}x(vH++7q#T2i3#bx-lw^UF6S~xEX|)I-T|n6{1SJO8vj+7j7DSG>J9ob+g{o7A#9++fXCE43pK&li`EGcI1?yt{}so$g3ptbq7 zJEPeSzy*$tqQuy7_ZaT`+Fk#sc+p$C5>OD`?d$U;?$O?}gu%T;f(;@=7{mrE%W-|K zoj5WQTqOOhu%9_&<5X;c9-5+G;iuhy41e{Fzy9POKa7@d4_3Oj`|`i;koceQ`cG&6 zuC05Q{-2oG$#}fd%N;!B^%L=;4FEUUB{X{s9FY=qY~BLNX@yCUBvXM(b1bmXGA-I{ zu*U&M<(|tW*W58|#7E!#4_Df-!D6I&%xeLYOgU}UTJ^(|0{JB^wOJ@2Ix(X}rG~rH za4&n`SmQO;#74>zO1Wq;@^kJ(Ay1>O3&TgIHGeD(N&nhl~7135)4+B`foxv;)>?&?F!TMwSUJIGvg zm5;ujHfR18%hzr1YU>UkH+AOV;-%YIXy};9vzA(Mjqx+r++>@P?N$aKy6l4D>h@Ky z7m<*jUD%@af&md}xn--=PRXv@qJ5#lv9bdMVvXG@h6E;PYE1x!rLd)yGzoN`p0Sl9 z;a>Z>);}{UDz0kmK+OhG@o8BF&05W0EHoxLt5n4r@oBkro3swMP}tYQA}NX5Gj!^cgXIk@RoHn`}J(UWE_ zxx(t>rp{Ss0pZ#ycK<|WDv&nyi?rZyg*RlWgrb+`i#3(02N*Z6|gpd3b#=VLO`}w1~hAn#9=4Z z>Dg(Sr?ri<>aSZuaKnozc3~)9+-nd{^{fO^T`c2`&2#U*YW>%08Wfj;2J zoT-uEi+1dKl;)#GKKgRoqY@9#H;rc#|LHjrDpsn`gTe-1sqwWC@40{CK47GrVgB_4 z?iO$DWqZ|b+eeLi$@nI-{uVndf@g#qf-^DH#}Ggx$VDs=`G6zT(irYYY)~Ur#;6=) z-+hfUHPrn0pDh&}^QT5_PtX5S%r&8*UDAb+s0vZ*Q;i0z5p5Y9UV5x|xsFC{a~aI7N2}2sF-zC zESKPbH)2B63OZyCU;-8z!=S6`Icxwo!djD@8`I2Xb3y{jyvhcIa&8Pm9n0(iP>5H+ ztjVvNi+LUsEYM(+&o^?%Q9D-3!|@@ryES-7^}pv-49;O3;Q~q*;nJ^seb>1z6jU^O zkuUJ4Nglu-_1v(RiEgSd61~~`ZEbr3rNBK61zzZeXcxwxH<&5cwo33&DVOGweGnaV zB1Akme7i(qV0ZNL&WGff(Q^!fq|p^#6u)ydrh;QSAdo2M#&EB_f@0j8WO>CI`Ubw;g$yNj znS)JGYQ9noK%+Q;8+gESx8`|wF+2jF){3#Lt*WL4t_&ei07Sxzp~sGpVQsJ#)53EYYO8+MLtC7w>zrF+#$#%s#KDGvw&j~66OR<7T=g| zExgtA?Yq+k@-!fQ{_Yxeil3P=l@z=s_+Ak@OhnFPtabOa3=|*($JLjJVi|2;(dOMT zm7UHv8_XXh`3A&C?up6vZeu7sP0f#NIH)s|F*8y{4^Dqc+iwra5*TGL_Fw65L`ELp ziTQmA_6wp%+s@R}JyT!({j3^=&oxyx2IH^xWS5WkMWu7C}A{U#upG2-sN8jc!g6 z9CM7p%q|2Q1AtkBZ;N=d&Y@sJB%3ha5q1>}L?>K`ip&ohB6FEdr+^W{IU34gY%>5* z5v=2GbMz=A-3-`qZSK(Pj?;;8+XSf`4Hi^Vx;y78)+Ca`CLvkQP{+Kh&J83nU^GIr zOvTA$xey`baWn1|K~V_kUeS=tdN*4x3o00x8#{($7)sE@!X}j17fv@!;Z91NZ7NwC zc}yALz3t)C0FCm&-fx(LPqbBhLQr@G?9=AaBiPN-oJ*DR*(ck zgL)$19}v_eJ%~GZ#ULCPHMi?mVmJKSaw$mZ!lCC(+l(2(^wH*xSch4*Y+dKsAk3!I zFGs#Rljxz_MRfVwYZ>?S5>fh?$ychCcn}z-PnwE$q9W{rT2s?&(rUHXF8Kx(=`dh6 z$4M7BWWnMw3F%n^I=RX2_oH$4?egFKOIsiHl>}$(t9Sd6F83>2+yyPX$8Yp)^l1>w z3%8CB^NLz@gSCK=h&b;W?6+;?jxYp8XWKThu}6g3Au*GxK7P1fM3>EfH%3zYJ9F>M zTCa~PLC=fvi%MI~-(HiJ?ZSyiwDxN28@YtUkyF*ilXcCdR%|CHzrNk2J=$XJ`Yqe_ zQhB>bGl|CNh(3}C#>}Rm7)XQ2;A-mF!f3=P-`{@U>qiAFR{AX(K6T|y!AhR}{wK#v z=9f^WTj-tWX{-Jyh_l7&sBX7M3xSawT?C7)5uD^dK4kT;#&C8l8_9fS)@k;p%Uy6l z^(xtm#cpP^C7al(0m&&QoTlr67$hc(4XHW7gNlGxKDf>u?s3JJyySbdku;vz%&GxF zF))H6si=vkbF>Z3ZJk5w*8jR#m+Rqrvfi#w>j$dW35`xn&n)gZHoIc&l&qR{8_$n_ z_7|r%GFc05&SmgWG1T!Zi8gcBz>zhy^A%Cl&Z~RASP5`j*IXO@!fi zMwdzY#r!Y$gcxNg^aV*qQ%UblsjQx6>-#M5uwxoDu^xxwF){PPq&LuU+uR zfH z_R3<_<-*6Ca7Ee&XvvKeAB8bcAB*iQl!ytT&DT$-6{W8JvFO7xS&;BCA;0#}4^q3; zBMiPubW6}kI6)g_(p+<6x~7oykD9tjFg1rkt$t)@V_9ccycf0^v%0>%x%S6^^^CMa z4Xv?G*rD@D*KR4nNu!C}RtPxQ+CGSv=1~p^Cpok zijoKmMQchT?1D{Viz4MBa2k~z<3k1kg%7Tel=yOt2`OAuiF!;vm69VH{1n{hVkF$q zEhnUo1LaB5K@QV8ixG+%Uly|kq&?=!y8lc`)u z;F2WgleG*(^>W#)vw&e-owHTK*-6Rfpp_&+f>eIW5Ft~V#1U%ul)d1PhzL7D=1wu& znG%*^Cb!*Nnzn!-Kq#|yT zh-R6YQf?`*rW_;onb@?yDc1^_*khL`W{(d>g8VDUwt+%VuR6~yeY}+XXw=W*I=cpf zzYbWtsw1)nXa*G&cDtIV&?9SgRc zBBQRqH)9pNar*KQv3_|XkI-)v4&bJ)W_C_rMON%wu0PjBj~(xB zZe}MI7&5pT!fwBJ?yG0}*UX0o;!_3R4Nt%An?thnI*H+eo6qdnS>O1?6ZL0rZdt$T z4ga|Mixt^!_VxGt3nx}L%XrthlZguuwwwRK!~I_yzujNh67{Imkhs$LA}OeSH? z5bg;`q0-McHRWq6@5gjU4#!;k51J2kM>u4HJ>W&=%xz6-2eEaQ%t7J#zzonR)Nmwr z$n}&os~%Byl^w!71<^dzsPcfn1_ij(WSQLtAO*j$Ck8W-S!62KYchMx=M8Qcv!_JL zN@*Alqw*z9k_a1ZE|C`zWEGM+Q+=DrsGGqilFET)cNGc_?yEi`iJ|A}U1a5I%3R0M ztnMf!nwXp+=}j=_!ZF4I)62CZHFUG>&9AH1Z+$Xm@#Bv-x9z}iZ#UK4Gq52_nd5XU%d$V7PvL$ z^*N~vi}6L5B46AqjvXKiHC2{a+jUi#FzXlRGfVJJ?Q2S5kB(!1FmE`M9U<2C_Rhi( ze5-Y^v4eyoX}&1Yq!#!2d|f|~%jhMmEAe><1pqi`3it}$+SY$gU&Ib=TfeW=@w*Pd zRG+gd*Zmxk^S#%8kro_I=lZ+Zzgv#K# zyTs_fcPP(VRb5+B+dH2?1+N|7uFHdY`&OpgO?Q3jVYUr``+M) zrU8lEtQjl8!&KC-MpI>OfutyAcxQCSvNznGtedJ{S}9|FA&~r{>8GT#PTW&?MHyzOS`v{ zMm2A|HQUD~`!!-sf4aAuWz7f=@{He7y^&`b@{$d)rXnNk_h4)FXUO+Yzx4YO*L8p) za8lRCTU%RGg6POY#P_!*e|B+Y)_Kj7s-(vPhFSLN;?&BAbmE$9ngf0bD0R2J(4{c1 zc8x-GK+R8ss9}}~skacRscUE>`d&VSd5x#7p$(wKPPuwbPC+7C@qtkQ6+BT1hg-k) z%V{@wD9FBWRlEQ}1nvR~0}i(utQ#E23|s~8SW_1WJ)K_2Ph3R5f26=UH&tMlLF-GJ z!|8suKAe>Aw;v|*4gwTPi%LAK3j^Fk#~)9GgnyP^?NOzjmK5lI7+zoZ$@SThR% z%Xs6K7;iVjs1V=*f~vtv{1=JLWeu&#AxIa9)kzD%;(?)fzw0SMfycEIf3tNiuFVpw z7iHHEw&7L*DFN}+O!ho_;O%*TOo8YVeTW_J#?xc(uKQ04B<$^G}7hF za$xmtw1&16uyTPg$P*@WCzH`>xFp-=s2qQHl%SbW|4j6bUjd?n+cBn> z7fUrD@Ger_1TVRewj735-bSl~RWV}rmm|O-h9t5JVnF%VFFYyDkN!4&CtRhK8|FAX)hxz}c7Bd8*^b#x$gh;yr{Xb;syzZpdPFzD0{x)ki)+Qz)ko)&~ zE=-=h&x2=or7~^ADzF8na`Y@B2HUn_87+w_gw6r0^}v{(v9fvVZ(d3Tq@&F~emV_y zBZ?Yhod}t>-x=vv!(nuv_7ZYLQ^AC`x?mlAp>AfqjZ9b{xq6j-clPS~I-bR!Rq%QQ zBW>&CNZU+Z9ZSyDM_i2j|dTA$m*P6cI2W)VWboBc8pX$B+d(WQlbN2SvwRi9K z-Q7CSDe3r1*Z%!IT`dh=YZouBt(_wz4j}?lBG~S1Qz)*A=`c;dQAZ*_4M&rx<$!)D z@kLo7aCYO_)YbQm7mvY6u#0)JE0;hmXMBSp{-@1bLI{+muWG9cTTSb}S{*MC)wW;T`c0Z_M zikN2k2q4fj+%)$&XU9;!s!zJOw+*SLX#yLCKj#CH4BtUV9JO`H4y~a}gYQ?H&7hH$ z5ghzyo-58z)wg<&-jAhgDikK7j=*dSX1twr90o~>726X<;h2jJ`eAM)aP)vpzws)f zU=g}5m{c8Z30mYW>(PqyW3m!q->ME;VmXUpyZ59kCv{KK&+B&V*m-crmjhM<-CNZ4 ztpF|TLX_>gYiACbWnyaGtYrjc84jhwEHF@ADy;Ri*FA}3-!AUy)g4+%<-q@rW4uteqBjDtEcf(Cq9pVp1GEM8B z!0Zb7d41havAcEe-lpVbh|*vO49%MyE6=iJ&Qx&@`%cWP&2OAxsi?@OBhuPUT+dKJ zhhyQh{zxusp2#|%9Jr!=E?U#8Bv;XRowJ4l>s#1RNv8>yZAsbx?Qc=ecO;bwIZk0H z`y8V3kd*x{vz1FT$+L26$QyUWxn4&&pa2zTjiMi1xyCUGlDLkY=X8znM-rBvE#-#} zfZ~MGG?kd?a!-EN1#_~+Wdxa_*uc?k=k6^5$hPm)7KY4L(uz~#qUQI#`DaOplFknD z)P~q$dujfbK2|vDkEEN4PL^Um;_-^FKL41o#qDZ%lXQ0b$!8GN{rLFa70*w3_SB^*w;|uK+V$f~5Xqtg$`T4I7^%@_16*bHN(CWH#!OB!-nP zb>B++q-OPIDWMez*YRCt>8L+l&pNIRoSWWhd#Mb-gqUWed=l$}@Xu$E#<-rE%qEhy@CBi9bC~^Oy#Kf)5y~#UY@|90C#~i2 z>;)ky?x=P1q@BEN9@5mQ3IG-s)Fl zT#MUYy>-SU)grs)!2Z!w|LQ0Fc~s?$Ce&e)yN~}*o#)(Eg_la~iGu&(M_d0wmu+aa zzt4Sw=ZaN%2^4T+x1b=wsY&F)C)-PQ(E|nF!xr*5oM>N{7zi;BWxJe99>QhklZR}0 z+GNyjS@@eSL*&PasiuVb#@g5kE2FC%#y3`%#{8R#3~Zp==uB8LHQAC#p5Y0! z#cQN=H)vD*_qiT)6O>U9b^iln$}l;eK*2edOda@=r;(>`KG5RiUz2CP``k-caUXbq zH|;;@fP;Ga4>;to6_{9&oFfA~Y#bcIc63;;z7fa9MtS1oamVoj`VBblL@>lF%$rX< z7S+O+Un1!wf2W*w#@TdAt8=UZY!N6Zlf~~jKQT{GD3%CaD7)y6oJzG;Cn9b%TWu0j zS30hC$rfB&oSd4TnVq9?eaQ`Z9xkuAt-yX-y45vz*BfK+G2@LjxKW|U+dbLDzt4s7 zP~(p_!D>UEd9LWBVIxgEVXjFc&zLoDp@X8BPMNOQG*6T&Q-0A>hm1NbMyFVDm#sAG zT9sGrbVR~khmM-##r3LKyu5A0rmb8hKXzcxe)FVy^R(AbTJW+r&q%5NM}fq5E;3u` zDyXe`4L)`ZN5rY1P>MQtK~cBvvedIz0DvG0F~~szl2BbIbWGy|C_s^08(TZup{9HD znJp9~OX)8BAdRvvZiiLf=S5YHr_VR1P8^u_?%TcR>XrRfY=p9ks+zinCPo{pht@ZM zLt%IljY^;cI3os;MW!&>99#N?d~R1zl;1ZzJ}3~1#F7!&vFE^%6K5`5k(zI6W^N(1 zWLcMPJ$l9UgAD>fWP-2=MGOKUF&T8|Hif|v+iGVd3XQ?y@V!^Ad<8d9hZm}dVm_#G z=xSA)#U@V?8 zbzGNiXg!@9YA?Lp<_?x+9aV39^vY{vKKN!*Bk7IzLt4=nKKo{}l7fvS?6%**5k@Wz zf$$0_3l~>6cMnf52oOS16hm>8Ksl5_WzOi*?_prrc{xP|&s#g; z5Ob(-aNeZtteY18_UkF^ElaIqV|UN$Q{=pt-gM{4Vqadjv=P2(14dn^(dkSQljJ4s z86${qT@rnL6MRd2M}5bsW=4k5*%(T_PR*vaQ9G!k)W_a+?^mRYvdl-!KGmbD7gV1; zD;uRXdaBX9YqCvmX;feTfob_4gXTxikDvdDdM*^wYO11R^w;s+16}X@CcHW3GIJf< z3Ob*`nS4JLNCz-`(X>w%@;Ve)vhw z^aMx$u;hohA7J+v`!4oo`>XaA9?A=O760Vm{W$hV_aDs;?Ho)FPaG;8YJPJ0DdwlV zpXz>Ua{j-cr~f?v=XE~^{e0l(hF`k~^!;t!}DMo9^!2w{(y0p47v>$KoD- zJtBL&@6qUYQO_s69D7acwZGSuUNya2_FmunQ14^C|LlFUcYbe6@A`*MN-ENW={kM$ zmLjrc4?Swoy!=J}wSV1MyeP${I2JE|>L0?ZB*C06x8cZAC;cy@UrJ2JG(vI9oZ#$G4!XQyZTlACq+BVUvX#{7~OumIzd$5 zs{ZLk@B~+6f7qyXs=llZ)S;om=KyekC4#OM&;ncF3p>5vmxC6a;vpX{ZB`s<$BmWf zQd-(2K!y&ptguak9zVoC@XHr>0+CT(-sdW})#j@rpScHPP?a?6$1 ze!z?0{q3jxt|uX43KH5BkMe?~T;)fZkxldrj7;pNqNbsxqi0}b#+(I9g!gLLz2fi& znvQ;g@v(ha4V%Ya<1V-tUV$IsI48*s+$1!@B|aeI$k!+d)kI~f79B`u&?fyP z^AOX6!I(W}ih0d^W6|t5_7CnIcMo^X$M9Rc%O`|KggHWe9nK5m;z|^XDluPtTs)K* zl18$mJxP_OWv(12-!9L|Ka^%=M1`r3scGsh>Xt^=;) z0~O>!3k-t~;0O4tdY_bx?c_aEj?GVCBL*vpGp;_`J-1DG2S&U zjAzFmO}N>_RGMj~ZC-39%z5*J`JZ)*Wd&Lh7HW;GH4CtKt6|-@e%ZV1=C;U=vd8we zjoFf&vdi|AJ!+3T=){h2M|F0ciZkU59pa+hUFCM}aTj-2T*}qltUKZ^+?&Vrj(KD6 z*eiOg-rE208~?g*`g4EJCw#+i`2>2w2|j>J@Cb6ygH5QxF2n&cILL!DffF1DMlc+x zF;ONw>UA*;!flx1OzNsi&7xbK~u0+gl#;4Qb{8(&T7e02{DxeW(bq;5LIU8 zOIZ`0@{D4Ml2Bu0^r1vc&mCEsoytt&<=I>^S3<5cw%^tx!Cr9n{g*F%mJCDetGMsq zXg8dHwPj_m&V01~*okYY<14m%jzp>7XfN^DjVn1Dpa zjN7@ZZfoDqBSX;t?C<9tN#?@ykK%h+4L^eF54ucD+FCLwv*iJ5YwWqrUkaG89(P9T zPd}tRssQ<0?9Bhhm>;>jV)kU4m zTl`~1w~EJtG!MB| zBBnvc!0*qjuXm(-Up?E2%#3j|yFg&@i%9EZ7SagNFjLE(rQ93J0-B#dlWg?QCI;AZ@{(^Fy+g=D?v7lf=F(Rgf0h#qJf{ zP1NQ+WrQO9lWe?99sIl4JtA?53EbA_LE&Gs^3!MtiWDtA= zu*ggw|7pFCgckiR;|M>JqlWg7FeeX`t4;mcH(pr0%0}&<%}(Qxo}v@Optq@SvU}(d zP|Q=@&MZ1yB8$wN`#r>gp-IEM~A{5zqPC~rn4$qLK-xA@A(g$b5>5dMvu z>}Po$p#NL3Mn4KRWEcgD&`{J3h`XjRnTFmCz4ZnO5aR(Q&tpWk10dpMvrj_ucu%PV zy?)5x*G{aK1Ji#au%ws}KT`9QR$vI;`mSNu` zh&!zJY6~luD}pa~osS+rS6JQD_P>{kCr9hqT8hm&zPOFRq&IRDJ2M|Bq;H6soWi zBAB>qMC*LG4RjS>aX%U?lBQx8W)31)CS_TZZScAg6`3DQ$X|nJIwD1=!6;H%_ULHXdkspHu6m%^OXBi z;6%=fqVGmu2sy1V#5TR@(j$i~x7xu57}Y$kwpd98ijA7LkwjmeU@Eq^m(X}+`_%&M z21K)jFe7P%bveLU836=j?Smlpez$Ctqb?&mte@Cw!@MzH^!(FdGy^nbX6@G?h1*O9 z=oA|kNn)lSp9sxU?#Gs=HKOJUd(wX#081rT`)jOnbA(8{np%$Jc`X)UUiymI(bZCD zfRhOZ53%c~TX8p!^E_Euz8GWnhusYM(8oZDd8;RdGq45(P-=cS@IvS$t_5X7Q4>LG z6j+#1sy2bF0cUm;Bi12^Rj~9!)jJ=F z=G~0&Oj=nGpZPKxC?g`L=%NRi;b|bb$x1$=hJjDTYh~wCO1SJ-`AV@O!3F%9*y=o3 zB~k2#=(UX#d*^@}pL8-)vDPnS!|vSpkOxm6W)nKUjzd-6kuVK(ZlH@zAn$}>3LS$xyxQ?xA zppRCRDhJi|YiA@S)E0`?a~74r={%bKJbYYEI=m|XC$yOowc{naPGeNpp-%OX%(AW( z_la5jUmDrrq&SLZy2kVhH0+JvT2NXm8bK?xr6;P~+1eQ352P2r0AqI$VIisr3M z9gDF+#*bw~!@+x(F&S?LCpKiu(us}dn1lN=d5e`}NHZm(AewfIRmslZ*!+D+LAS7Z7spo{AG zB>{ZTglg(cUb9hsF`%l4n6vqvV4Bwe(VBjEacOqZMcv0Bu&tvzw418DX|)ewUPCaA zAU=mxI$jkUG(7;~jyl>QExsc>9y*gYt^fkaRT+4Drhacs`)o=M1n;o$k1Clmu0OhK z8@MGhcLhK+CA9Yu7W#$pJ?Zn%fgw8n4`d-nTI{e!`W|!u$G&%CK9TGY1e^kf5n{*B z-C`n7+fGsMig^yM*7^<>LRo?~x(I(~7O|r70A1pK6Ps3~Wd3RjuKZg_S`rFl3dv#%v~APgYrg3BWiwm|2Kx_`!YLB! z?kgoPRebvxqemE(Bmu)ebKdlYmg>En19ajSh)}#@UIlnXyEv|b2=2sdW$Elzz$@~F z*A5nkQfEdt)(>Df5kJ%63vc}%kgbm{lcM=;P;7I$9!aY;J2Kn&FoN(W{uaVwS0HRxdqa&T5Fz+sCy;Ap+aIi3y-1%~Lg#-=bARA=plNyxxokoN)Snt$nolM{)c z&GCo0%3LAoR3^cj8;-EN`%^4=^Bwd*%%s6DagF|jSkf|zbz)s&=9I;>ANL+j$VLd|_lW?KI)KIj!+*_Ql>G;RD1l62o zq|J)Wv`GW+_g{<`&=L}y7Z$VPaJJLs$X= zB%_3lNcJK6==y}ISyTVZKU8cM7cOLtRlH?gvUlhZpqchXH$oA~1(Et~03&H$g{TWd zLI=a!ddMEi9~owG$m<1i;~PEXGZjlS8iLZcKJ(>Q%lqV>+WRstT)2(5D2XEe19;Iq zw{!BhFzVw)`lY^5@Qc#I-@<>C@<)p`?imD;fCY34OHMhs61DJz_G0`zl&{T}f*AsS zqGBRjMqZH68zlZa{ezMZu@3BvnI(Ef76cc*gRP4)RRb9M;{6t?rL~$7Z}ddGW-W%` ze^%L*Ij?^A{EkkSB6WjeMJ)m1E4JiW_!0m~kl0ljF*tG3r>lhmP3O43I2=u`%|QFf z$~1{VEr-1r&K=8;bC-!8=|8JeMicfA6BR8So3L#SJK57BuZ2z^nAPMF9wwB?Y9LbnV(m_UsEdiaA!e*5!kT3;|lY%ZQHvcOt+SDaU?qs(R$w-8vRx})VuVltvs zG)Gq=6q)@a9qSjJ|XGyu0S$25JpEVLiZkt_0sdmPoS#esJX2AS5;)|>!6dB(WqEi;V z{6x9TE~8h&!t<~r+iLu;6sJxI{d1VW+y4mEcss%z^RRd)Q7{=m4~^;fBJ;R$c`bbV zu;*(8QGne?#ZX2jo=Mf;$ zjm19lHP~(9E4Fl5O=bwl%h)d%C|&F--ndE~Yb7xrUHKNcc7-Z8k}J($xM~^=LMJ#A zS$I3X;#opZ%LPx(>Gv09e-X!EqK{2 z7)D-mknDKbJPdS=X)?`AX||@|OBF6*c?3@_QN!<4l^@2dQe%@ixfs(q6s0&}omm&b z>7pug%*JUxUUJB5I6DLh+I0{auRrnBi6-LSEr`?klEPe!=1Xqn@+BteLp#&LqPheD zeNzvk&#(Ty$D@}oV_rh*HG={E`R3z@@Pz7MQbC7ZKj0l)P_sGU4cGu1^?JgY(vu#RYyzI> zBRuLFO3=Uqw6E4hUgQf#F75x}KB9P`9Usm0+6oU4P3^2VT%}#fP?#7gKks4~S>Q8=MTyRW@Db26?hlJsrKYV2qb_Az^R$m8i!AY`aCH|pBV zIOF*N!3-HF{japOW#o^Qw4DMdv;Xo637L0OF{*VsRF`8xDh5!i=_zC{-rPJ8Pq2g^%Q_fa1%^|afnY(ygk=z$z_OXA6kE- zh5zl01mVw}g}oqGwha5>Smupl$0FA}C5*-654EoxV^c5Az7(oIlUj+NiP8MEGhDh0#OopegHqwhR03mEtgm_3uYA@iLhZePCX} z>C-0V0W5P9DW9J9l60$ptD?>pVxT{Q74%~s{-SNtjw^jQFrg@_D7udLLbF5n6H&W6 zs+26l#C5|tN`MgxW;sKJdSoaq8`{NN6@kN_ji zDLXIKsn&A)4z_?yL^OI+;Rbp{06j)QwFB>!h6BD-78x)gB4Ta#heVNRUWTY2@a`Qr z&`A%+mEs|M2q4UU@_Zxb%St#RdLSoh4Fo*V1QxcBFG6b?ZQPtO&ewY;2%Z|Ijb*E9+v&){`7 zVn}pS-JSFa_NY;1HN$1z+T&Tn56rL+a3}UhzJ$K)UqfH;riDV&hY$Y(#5w5}d=~)$45?D=vPtAd|sU-H-EDYH}-|djBeCj9k7M*#!(T+gg-!uLUFqr zExgi*_Y%C)nOe$CX$C@w0tD;BFZJi*uJ7#0-(Guvsi|!HdXBaAiG}SZ_0Y z$^HLT<6p>ohu2fWnQgTeWQDV{1=x2Cm$r!>u1}wYT#tE$e`9CFFA!e4uYWpZDU~#H z@X8CBHNzS#Pw;z~?5^$<;v@3#+TGjP5&2y~pSzhh-qlB^46DRa-${pr`O4j3eM7LF zlWx!9{=_KkvoUs=DEO4a=A5R^Mq%in51$z1ud?B%>WQG@VgFjPua zh5II}se%|E5Zfv{$n?EjaK(h35ei?&!+)pReZ8QJAFlAT02XhaIg9NsWd;2lx-lxb zo2;0fk%jfG1q~Db0Nf$$)O(;|(;5-vjO_Uu#-OJspdJ(Sam-W-9vqvRvB7{LAU`XbhOeTOJjD6#LHR!uZR7~u$q_)%{b@08 z=Ccf)DMvVC4i3vpdc=ijceCyLWnn-JAZmsd!iDf5(FaS8o>neEMLrLTb#28-O$npc zn`Y$27_Gu_YnsvyqewU8R{^Sxd23>27q-7*T@DU%f7Z4kDnjlf+ospRmgr+kL0ZGF z68ogUgA(9SVYrX_xl)t~gwR?F4MXFxs7N6Cmk0UHRSNkT*7);GQWg;HZ)w2(!)h)C z94VrawNdngAl&P?*_-!}&0S}MTOOSDM?tb85FD+zpP#9MMr`F~jH8bft)k(uixEeP zB3(KS6Ihb9+=|`E(caDKU_g_&RZ!m@Q9XQ!D!muYIltKylKfmM)X!S@4(HRc@oG%m z-3!5C1w#&Lpe0+m6!LBS+~POuTV%Qvc^w#SsPYKyH!?2da%y70^2=@J9~yY$R1+nl z%@ty}TtCF*(^#oCr*a^3;oJLFm|&@sK%4$ z7BCBb1*_Jaw*W+5&qluF0Z8ZIH@EY?7Q(&v>uqzI_`W2>ZfvE|YluImg-Y1qfb9mr zQf#+aHvO{(g|Y%1%akoJN2$EfT^Mt*5_5T7Uxk2vb0Y=$)Z%R$AVkRTx^06oe@|jG zd*t7-55fDrtXG=wH0HDRyl@Tz1a&X0ez^`-rS2s#tswqZAL1_IfS8J(uE@#SEKtP9 zJB@&+CwpFgKPMgEge@jaa6MEfI1^49cs-L#K>Cro67hnQP{})H&n=hc)c6K+Jb5xK zJ#o^7hxYbDypUmkmvW1nP@qRXw>uG}&Em(yetoJBr}tHp*KU3M$=kPn4*bMsW6Sum zDzjo$xqk$_>}g9tMZrIKz@i9atSv9gwLq4DBaT{)X%IuT1mWd>d*pX%2N#l4uLYtx zVaE=Z#Kpi8hu0%-Q2JuP!HyA431|9b*d+?qA5= z_~9}v&FuE`_A}>guhe^{ZfBJ#>;$h>t^axOzENi;XITYoy|!?mCk5wtx$tcdA3+wO zO7oXm8Fv!&cS}(d?_`o;en>E^j|nlG1rDm)&k&2)*Y+cSb&(PWum;25;L4?|1$4G&JE$OvwX#O6ulqxGaI|S!Y3uQH?k+!VpQcPiHsbEL&q(TDtCJt?1%s+-A zWrHT?Wczf^)!vU_ksB=A5Gjg{S^kW}Q|3#B;2hjR)h7eYEU^*Rw)9Uiq0~sZ>2;68 zQi`&hn$~Q$6=r56l8Nxe1@7{8ETEhM*{Yi0lLvN<{wdzAp53kf>23*C|JTsqs;5nI zsbX{e<<#G%%`U+zvdgVFBBZ7SmL!`TH33wL95Y)Xu;QUhFB?QAfJWN}jf4nU^@WSK z-yNv#j03A+}VgiF3{ER#T=b*WCF#@!prw@8edoa!U%_JqFNl zY?;^@(7Bdk79Fp|8%siA$e{aYhL!R=|tu@_%oNH*NE0V5GTFP|qC+5c{p5CT7Sege1BH zlAcUWEJw)44$Uv;l8I1Hxzc#wDo7y9xGTmxCrWpKe0HB?;tJp;mR{5#d)eO#o4}g{ z?4^<^!%lj1Fha@9WaDIGoWS z0^BBh+M%n*HH4k#hG@VGW_}pCnL!N?$oMVV>)4dvJ^0qt=Y*M0UXh$ak)Bld+=k_g80P%D-)dpN|ObhugafE5tAeW6N<8vFrKHVlb97b(i61Ic4ju=<%4sC~ge{tF8_#tWM_sH$UpbLK4a@UhZV_&v6`izaWC1I@ zR>p~kf6;R3>U_C@gfYZQSIl0uBe&Y@fvXU3A{{lTfg}`UQ!Do=9@lr$K8CebKuHa~ z@8`VFD(M=1e;$Y=^lto*YVx2Inb;mpr6TUE?cjdm?753`mk2nX0=n|`mXDP+fE9^u6m|6~yO#k& zE8>#I|0{0Un{Q|1E#7w~A&)eVLx;p3W7W}P;YltRatu!m*ynH>WHKMH$IhgpZLi~` zD5enm-o5|YORH^g<;tFC#|eedxGIO59del$L*DvTFs-eD*miw7sZZ$R3`B94J78M< zIJ@N!7=Bvr1(R`>H_t6!k-X!P8XqY> zqA8Ppy4t!Fhk(DPsX}wlW;kE|6fpi%3H|pCzGxNG!!m}4t;J;;Vb!aQNw2 zNqem^c`V}Qcx<{HnCny)kQY9A88k^7bJiZurmluSy;K~zn>-=0k7tuu_t{xX#J8Lu z^k9wzFYXG$+xiidX8gm5RqxY5&Z!YftMfn@`_Xg29Dx}AoCu@wa~-AY9?rjf<-G_! zS>D=p%7%ZN!xbfjAhQ&NBxZLn0s|*u8OMW;dEFS6@Xqg$)xzC0q!8tNFhmi{E zMin|Qz2k^wCPp&8C@$I&{$V%Ry``s=a$~{>yV0*b2La$>m-QogF>C+Q5?yqwC>qQw zT-If|(-n%pd6tpzhk8dKb?|r`fJ!wyPVLT16H><;IkSHDY>9qRCmjF*H@};J(?!LM zh~CMM&psJ`yY8>%z1v}V7m`!Y-!F1R__5j{%xkypjL95JI1mWj8t7Gb_uA42Lp$v1 zvR{gbEvvQgW^F)B4QXVrsI^Mn(rGttXxW31^SvU~p^N>;{Jos#=>|UcaDBEl zEz*A3yjp^1*gap88I9~I%m1;uvFF$JAHt$(9x;=ZjB&`%dTp_u-G`rbeMgbmv)Ata z*|%E;>9%CS4~Di>jBhW=*t!W?s2(_(GYHgB%9T47tov?Bot?&zr__-@h6~Q28e>+>A2RNs4w0B39TpCyMj=sd z>O(B`Kh_0l0>X{psQ`c<|H%~|==v9c?{3|Hk(8*#PLSgV?E?o{!n!^CZN2ixNAL_> z$_82nES)Vy)pFU4nxG}EB(E$u!Ti3fIbN5f2|0as^Yj}TUpT_ww4V8O+<5WS7q^Yc z&G>>!^AeDbIUZQKFH;XG@VeRkC#M~{_gZ`2wUf`hL(i~1Ub#WJ{!&I?$1!Q$iI?e+ z$@a?R6>Q%%N-Sr10S9+559-5p-7K;fNN^6In`I0o9tjkM*A>=QLsKaq|k^lv?M}YYvO%LGH=mcH^4~Cl!%n8Ded1(*WY1Sie&d|=3~EW z-x4yyX51J?vgYVJ8P=Lr^EPAGnm2;JwZTO5ig`NCt?SWt_~r z=by*h4tztjoZWOZiwfDA^Fg-75m~FNV^U3M6MMQ_!=0#=cOj&C8O>>GsF!n1#>yfnvi676HSRMr1;YmgaM#(yfk zV?C1I)SWa&$+31wlN{f?Ub#Loif?O^pPPDiM@g|7==uy`h1d<=7PRo>o1_K?p6;0o_S^iJ`QN0%!~-M_sCp}vH%(ODJ zRGdA(Iob0NRtWvvDXlA=K4~i*+4x+|nl;B<(4DM#1p{`wF?Osl3YTmD5LF>Y$U)O8 zCw)*pIPrz2B{?ZU|GhCO9m)&^LOD~er05VmH<5#vj&*q8HFEA(WYqnGu0RBZhFCtu zLS`Dm;MZlwH#>)^NEF#6_=N zJBQVc#(kyzH4sb6D8FCr`ezV0+n97Je#D3~+qFJ$^!juWXoRscuZ#_(Ujqn;1`M^~ zvU^w-vOHYI6z;>o`r7oe8)(>?1Jlkl8qw{6OEuW0_g(TaD}L4bEc&uQI3FR!Q*rc@ zZ8k9O`f-wgp71}@{e2ZEK%asA!tK8qzQ)CK@D-}eft;~=<}|nN6<9>yXn#KAdMU<&Q~l+_eS_huDtRMtxkHHI-0? zU)$ps)O|_s6koIW%D=1CxJ}(EbXGbr*m{b(MfmK z9%Oj+T&ppy2D|3ZskhqDb0J%^4wQ*v$}72Y-SK91v`lBF`Yaa-vA0re@7{rlq-)%@ zPxFnn>^vPx*^H&SMyR)VuoIBGwR*{Pko5S`x(COdjz>=$8 zZiL(iPu+^S&vxLU2ftf#&#I2ST$WzTNQbNVsew?pg%HF7n-@W?qstEw8tkbi^z!A@ zn!)MGO6Ux!5Id1d#D@Io(N2Ex;761DYlB~dKS36oR5lMNP?D?CNL&6pF&cd{>& zTg-8>>P<#>wg=tx^}&wVX(fmJFfpc4{@uw}*WMWF5b0k0l%&^{92>{+tQU>xAoe1V z5C~g+XgH^TjFS$QP^~aC8C&>GUs?DkVkwU^V;)aLt700T18YZL|5fJ36U=@OYo*}} z=upf^fTb=40@QYfB4ed(bj3D!zWj!*;3~o^X3gPQ{fV}eBs#h_E{(yA!)B>tT(vY= z^Xl+@;J?BY>{jcQOv$Oq<#VTU5D1dh>n5Q{_ijT3adQY4S=zQ{$cOdPwIh;C1+{iV z;NP`c6qlQ?j&@-EIYN-2aOh4z>%o;>yU^3pR0F;_5heB(-@KX%De+HJr9HM?j`5_M zYtL0^Azg{_y)iEOGqPFi$=ifX%AqO)E}-45?uAbV`|%0FCzbo1KUA#zr7tQuIXX>BCm%k^2P<9(SlHvISzh=SzAq;jOG(nJ3xd|`d;zv+nzHgQa z{!)erp_UCBwmFs zp|sutFnK6=)3I$BK={kRkCwgOII;`!uaS}&dv5W0X10du-_6|079F39^QJSCoWBJc zapHo{>iJiCyEQ*s8s2?*l(;})tOk>2>x^)yWgzrKH{HN|M;xE)Tefv<5|HFO? zzvY`zJ;%3f_1xc9soeiEjMQ(&tqd@c_QiTb>Ox?nk_ljJoJ&q6VD2e>C3qnEF9dHu z3nD~kkr}va-%7Op=Z;a#`j?r7<1%LJU&VNs*YP$6Ft6+iB=)_5eo@hPz9(Qu=FN8j zpU#dD0LDv&#=8m5?q;_gIoIB1`h5R|3x?|1@8rR|4iLo*djkESP^dY867&@Ig$_P| z&K-SOnn%Rpiw}A>0|bVe0vOW3Kuu=QQE5#n0Z&b_mbr-jE*S29ZWgLD1c(1&1@X|3 zn|sBd?mcrX!K-)hU{Dpm3Ch4+-Cz~Lv)YTJ5Xwbu^oTKV#KyQaH4QYwcx`)Obn>a9nCr2i4zuet2n?ah+vZ0i-Z~EBy?%AM6G{x!&3%jG;IzsMoy6LlxReg$?HG zkHjqqS;>EL4xqH*9&tli$=&=#ztXl%k|+baRCLi%(B%`_bq4+-^u9+rFa??QR|PLH zcP5gS=-Hw0%|Rb{K+&#AQiDCX#l~amO?xGTRfYn(*g?8WkknAX#&AwhRE{xr^snrN zlFESbRC}Tiil%yizO%s@PTF>Zh7cGMj)*#mg2kMjcFc6=(2D5@I^5Tka=JZNk7w=i znsNC^FFvJF2TvY(y;Ho7Z%n(?546_`aJRZI^Jw>USyo`2rYZMEO=+s8@ zK=mf@he%Q!+3CMvZ`4zVcSwLRXAZTYXeD^owYZMd$UM7_ckHtUKGGi?q=#l}^ z-Dcm)674DnzT-us71?cts>cUcM)KK6j9KTOgEc-MVPrsZw|hHUG0$8mW5_zOBBP`@ z4dkDGD&9(%)uqrH8#sK_WlM&s=qniXAr(yNj0~c-pd+w}WCfVS^F0i>$S84!6?eD5 z(QZ2JTn_9hC)u!ZnsT4>SZdV9l1Xu2hdBlu9k=yNSziw9E640`hE_1@$QIz09q`{1 z6S85wFAx^Cm2!qg?h2O$BN|Jb>Z(rfG3*~E{K-YQZ@$zp5cdIwxSCPoOjq1JS+7t? z7UOpsk$$w~4&dXYGY={gUeZ?-h{0My&o6>D2GW@*4Gj+Lz#ZmhZO-^)^571_dXvGk z2VBt7b`1?Kz8ZkuJQq8+V+nt}+cgG-GeGHf2(i&q~M+dEnr%MiSk!Go4%5bU9NVbnvj(dCRehmk7*m zEok;H2r*^MZv75|O$AFt?r1I49jCP4N;H{{rObbh9EnmE=DeMSDr+ee$^)KIgJe-y z*C^3;E<9Ad$-lSlV; zW=0=I5^S%U5#2;d>jSbQ+;&CLQP2hZH0d8$eI#u$2G@Cpiik7_J;R5 zXHJfe4Rh)VU4fu>BJl8zCSC9=hOkLk7}CMP0ml*TQ25A>3k1wquo8`#ao9Ehg&FF7+4xn8yikEh+XtD2JuavG1+2CE-);H~gu85pz_5eknnzO2E) zphm9fK^THKk!AKdAO`MRmLbua8Glb&yiRL0tY*bxql`vyAB z5^v9P*pHf46zu`W~EJov^(Quebr zC=%4NuAn_PO$B>XlQc=RF&wis-w1`_i7qbsjeE6@!Eg=zzP(Qnk}bUKI;aC2i{zkn zWJ$;=RK-ob`als zkuf^LPIqIW19$IB^g-S@{a^DhxekK}x)$g{C44WAQG`5r%A=#a`T1)hE#g>AMz`%# z*u&TqksaW@?Y^u@36qh$wId4Uql@{9YK1clFFZWIG2I6VJ-yMxcoV-)c3p)}660jo zfX^>pPRuphzUp$tAP(VQl}9ypBZxBv74j;0$z8>^>^a)qv-64DNw*2y zW^<=CKxHsP*IJMcTrc;)rE@pp+#6GP%nZ+;rf2Wlo4ER29L@k2tO5pSyG1>=ilVz* zABhvjp>KdaB@&`wm)51@O0AE~hfKmNV6W}&Z0h=tOa56}*rVNzG5e@7XB5s>6?{NH zrtnllF9ZWP&`CVhBp1~O@CiP^o~#ZB1s&Cm6G3f|trfY>3VEDR^R<%;SvkhdQF=(} z1z)R7Jr6vwe_`(N0=8Tx7PLN>Rx0pVyP6USR!9 zPuCM+fvEHiyrGbHFxjyZr?#rerX2PJI7nG={_#KMvTOiANU5L@@FjE!bvbn1Q0lB2 zQb4M4)j(2EmNY@3vKj_io_F1i?N%2AP>><8{e9o-HKPz<`e19Zy9H@OCy+s|uZJ{! zFe7*TAj_d)ig}ofo&PR!7Z>EYjmy}z--z6}Q4W&x*t!P|^J>J=#-{1^K%wTfT8rl= zm}~fHRF1|7uVgp)4D|we1CX`+E|Q7}MrUok(}42|4sZNTm$P`+e|PCQ-x2GE1~UCn zVeGS}YAT^s$QzzQJe?sgc`tg&;>B99j|x7u47UDBK(h9~exYkBGhk4AdncRpopfuX zm$yrubCU$1#$pdQ>glh9>4Ld?@Qq5R^cDLX97jc8+k@u)L~zieucmWCDicop=;ABs zEDuOv+y6-{T3U{;!ooT=b4D_`QBvbZiyvC+F2)&GD|iuWRq_9v`S5m0gBP4K+^bYG z)2esY=>hcBmZ5{f1SFNo613jZsJac4gae^Z?BiHMt6XYkU=XoM!u)6m2%>HxB8 zE8fJ_wr~|7RP-6Ex|A>*jGpP|g$6 z4c8DPu$qLMQX>W*VIfsJ*?6G%DJ=XCors{aU|8f!Oa+m_E4K10;%e|^L&b0wS)6c8 z22WrSJEuwu^XztRVPFa`pb{uov&Oi=A$Cq_aB&Rd30q2};sgtniaCpiLQK^86|8tg zZ7IP~(c)5yPMAQ#%I#Zk6u4flM9pjjA@a2mg}Nl0FIFuxjFPtB#;k+-xA=U!K6l@% z;lP!_TRSqSHPhntIp7*G6szNna{ID#LtjVEyOk?D*v47ap&v^tT&W4yx&oNl%IA|( zwLt%>64%=;ypPwI*_;9=Q1N7$#Hoc_EUpF#r+9MJ*1kGAdmZHorQ#S4FW^(UZ(x); z0kX!32*ijr8C}oA4Vk!-BZ%Obl0K7f>-2<76nKZ>7=(+8(Xq)MIDITM8YEUl@ao6d zZ+pHvhVGlBMcrN9yjkKRnYWp&Wx?s&yKUcI>^Ra?JOG*4ycyfQT4cuqji1?dg>@$FcJFu19u3y*sDU{_+$2+*jm=9t<*He|PnBEBoL$ z_h-J-_utcVRI&H!c{KN&OsAr;3>fZ{ z)sY=h43m==Ajw>ubX5m0!7Nh?MK>~1yEnvK!Yv9QwNcX%3*&KAlxff^JJIr+`+gW} z^8iqccO zbs}R4`PKG^v#j^kLX)Q9R~+EH@x5PY9#7nSLR%mawfc_TY_RA2jLR<%(4(@gH-98G zr5<4fbSlT}X*ir5f<1%M$>^~gVpM!F&ALj2g~sEBP4Py{i?4=+zi&W*7|X1T0hy$S zfrG^L2-9nN3u{fOfVH@}ru-vQW_IB)%Y(`Bvl-F$>*D0j{3|96o6i3V7S0m$E*%__}p+!XiHinos~X3J9u>mwHf8pwlant z9=TRdeA=^Vo-WL#Ha^$*B0HdS5pB~L^;O-2m5u193uMt%k&B&#L^a4+L=rP-+szEq zGpNth-G288HA+X#0x&A{@NO5DuGbBa0evx#(@uQT6RBKTj%Z|p#}T~3nBaDirJ8JTa3U3y z#PKWv&Rryi6)y*P^qkXxa~4hN9ED_sAV;_>3F2Zl0UKQ8dt@ivGdkPifJtH*o{JF> zY*dCyOgABe`Wn|NKll3erZsRxzSv?QO66QZBLyZa+q^{*Qo_wB+2X`(v{ojX!k+<$ z;!^|-Ksew~1tlxZSECAgjx75$zW?BvGy89E*KXv{o`z+44r!UE_F5FD_ySb(9jaw# zeO1D|hnHXf!ZDs4cpO)PMwc+ob<;N;>QP68xn4wu8U-~=>z1m0oi&^|++bp3%awvm z=~!$~6^mt*e|1Po37?@R`d7!BlE^AY?V&Zr=xgRkfzV8Sr!tf8;+Il&@oRMLXvcLVuoQ598|jerVqA(w}v_@ z9Zky0g&OgRqP`~Ej}2h7^DLs5LI#8aui~=W3yh+IjvmYv1e(CRlZF8`{{)Ew#|@?u zUFTd5Qr8Q4fp3A7wLy5_#b4m%a6~5K3sgddkY8E2-$uc=o zINmbg067wm$hj>!WlfN%;$Nvsl{XstnlLG?%6>p(r~@)kvx*C~3)v2Oxmuqp_+Vug z&CYXeT|8lY4%jACnDy0|Kk=U+#TdToRj*Dsuvmwpo1jr@+R{t|t z@xTChr~`Ol08!V?@4`1#l)-MmHgp-#Mz+unjTJ_XLZKHp8rGxZX;(P!DcxY<1NKI=o0=iR@DB6iyP zbEYsD7AJ!6_c0yuR&P9h)rTWqVi%u6Rxsfpt-d3s9Rkx7U@u69y`J7mt4&8}fvUAb zR=e^Hfu~@o6$YX*%B_*b1YL+oo_r;yqM+CvCg3l zf~VT{ZgT0cTEHq)5=&qS8lD`JCz-PA1LiRS<_69HGZe%TXV-tI5xq1xEleYy)N;WC zZ1yzUpcj1(de6JCxTmj=Y_4@=a|!#CR3>KhIssOq7Zv;p3ZC+#r;p9#m5?67>@A{4|VMe1mLdcQeO9oa{1*5UYeh;B!4R1z!EQacAR^suFTT?(S}4-H1-VKj|)lFjrHO~fl^`Dbtc zEvnOOyj{@CWd9lc z2&36+5(ZrOgZ^rEqq3@*Pq=qEnn0aoN1BWxvJ=C&W#JRT!bSB%D@IXBXBbz^q2YLP z0sDMfmjRWeIM0$eB9aJkQEdk0LSkzhq$Im;*PQMukPLeC>rOxlK}vz^MTD%hKjK83 zVhf2x_u(Y1rJqQ!{^%Q3Ra)Ong^+4jFS-kBqjJ+()KySa;C}{PX-x;UH?^jLtfQW! z(<{W3E0Qj+LrQCXIm9GAI){^{Sf)VwAACuVS#f2^qg;vzJV#bO#&Er=Waem=@(+X} z1fkU*{wIa5dxVU)Qn>q=qCAVhWAl2Vl64T@+QkPxBT!LYgQsXBmPr>V8fl8DC`@Nk zAgQXg2v06th%wls$r3-BkrfUO)N~XbDRPwUH)4OdsF9$JCet(laRt8q z23r$7!l-vaZoZCd>ob?ve3m=3Z+)IF&}hl%lMJIx;i(pJBDy62HP38Nv!ciiy=32f z*om6|4+E6PeR!5;MJSLD|EU4y!Rd)eDWkvNE_o`{C7)Tvhm&c~Q}*8Ju>6}H3CBN0B^kscLX9wL z#GMnKI^@G&^<(*W1(*`hPbeltpl%KC+;itNU%%{Fz9L9g;#EVT$N>qgx1^CHLIt-V zx{w{h$nH2LaKv8yB-vWM*9v^C;&y%trO~;wZC6 zc>wx}5wl}UC~!Gam}>8Z#dPU;ZacUBIJ=-5cPxEbPFT!b3Dp{n8cakHBS%df&IkNESZ?7hWTkwZIDHHoW!K3>12i~d;Pm5|#+@bokR@y{nSRw&tyOW7{?FL0@1mAV`3RQ0_)X|K) zl9Y^g(^)z|_Cs6sJgoyv1f{eBRvU#cKCcB;m!;5|ezK`|cwITfeZlj@wIwvC&tqSL z+0yzj&}7<%D|QoY8!@S>T@bIM@^vrh=x))hx+gnGyoh0mF{< zLw}HPYJHk6p!w8JMj951xwh4n1ICW1_#o}neZ zcb<1$r2uJQMp(2@o4{t?Py3!qJq)MQ$MGF_rIMdQ*H2UWlp@QU_3(6|L3F@h!(@w- zC4;)uNxHG9r`s~3a%a?eP zjBq2AY;<`j%f=M27Cui5MxzdlbG^{>UfM=7jhA|)Luo!wb$VX&OSM`D_Lpq+PT9t$ zPN|xZ-nP``kR;$e$fLzmJraTT33EYJ?*sSrZ+#>u<-2lP$)2!`4O8UDPr2cP=fV^6 zFf)<#uZtY!^B5B5rU+OHwpUZ-NKu$BG7ta;fx;%eRkUNX%nX>o0_a9fRLa9p@wO*Z zNw&p7pUvh}@8;FLaOhN*?-O`Rogq|~j{wlWgEMd?Rnztlp1-)ebrdTUn6+lhnU`$m zQs`vbd{(iBM27|FdS!}bdiBiC+^O0!a&sF-|Wu;9onyxn^Q@i-oJlPp-0;FC9I1 z`DEL^5osh8!Y0$Cs3<=@8nCb3Rm-9;EvTH?WUEK*?b?0xxbM$Dz5B%(X`Vi0#@YuT zV+p?JZoqfc%&Oj$=IbMd&7eL?Z~MfEl^{>2#yvb`)y8{OGk&{ynV&mx-R|}M^rYwO z2bSib6BF075@&Hy5d+eI3`a)L}_0xOC-R3--V zQ%j^Bia954&iYmMvHMbwxKuwj?(p%mY4r}f=XPrNA zV~s!EyQjU59doV4wR=fl=(YGr6T5Wj&~JkE-gDL+P8rPvlUt)jpOd01241|i_cVm_ zzRa3C8?HTnj8Gi#4rga)PZ#l___OK69gnla$rgIk@JM3>`yB8MJ<&IJnpJ?vJDEGV z9Lnuia_vvQax)J{ckrsy>GLWU3)nE3Q|#(h*Vcw}1ld-pBc@}giV=%BHq>qRz&%Od zvexn5ezJLExTS?%7Tvnki_i3Igia;tFzVc@H91fCt)i7I^0sIOjL9S;GR>=kw#V;b z!eGiHHDre?bikxEKgXUl=SvlQtUPbe!4N8{q{SQ(DO(BKrZ-R)@*U@Mi*hxmU#ZRo zu;W>tt(%z0T`yK5}hN%`{JQbfWR-$BH z!N^cMYwFC=ykY4Uec<9QIBbOGC^mNevMJ=nJfG#$bZC^Hh{7Y^b{KK~1MShdc$5T$ z3{UV-k=4sw*L9iEZJ*8qWm>#9{*{~DWl;|NhC67EsJb91$%KkcnyP5hZjak6D1I_B z+@b3EIQbvzG`wqavQmx-jj1UC8Wlw(G-yn^V&Qn|XfBt3Gq`r|J;V85*?F23eip`+ zomrDyyki&qQ1WZ8jzPNmTdLgcNKUs1UBGFMsXn6QL`)*jq$(2e)0uLJNH!htR@L?b zi>*;O@Rja}emA*-?*R&fRO2fog>b|9v>r07ZQJr;Uw*}NpMQ7GwKweXdU@uOb1&V` zxcXvt#=_^GYi`(06d8z*DHK8K;IEJ9^N+I%CY`|AsX)z;8rN7(=M{}(`qAE@Tuvw} z%xS5lTDg3Y0TkOlEvgQeV-#y6h=MC0asc72>l10z{15YXTD%e9VNXU6y9xC|!OxQL zaF?Km>;OCCuKZJ%dS)Y&kPCl?0DRa$KHPO})X?Y310I&V6iJ=8hEp_`nO)e=e>^l6 zrpp!?KN4u9j)-syw&T2g1z@khX8yQbI#!7(DT2t8(tQNW59%L6m3Pe&Jypb-TNC-8|N`S&-i;|nQ zpvA|D7q)|;Xm=BfK~><&BMOa5A&a1vWkmgJ08PFLg{QQlM9@+y1b$8$ZguF3P@+ox z>*RNMo;8;m9CD!FEEL(ZHT8MQab!|tX!BJ#8ko}xfH`oAbQcQ+sv68v`W_eh@2@$L zX-vlKu@vL04HzydO0*d$R&;IQACq2-hOomeP^|S+=6Y5P|9!el^E~4>1cJI`+N-Ug zuw6+)1|dTlU7YO%&vQ?_XK}?e&;E*OiHa4TO@TF|Nw}I!3RR&ag<3M}xxau-VN#Np z>45M&H#x6#7NZrpN@kqsz@vXY`%_iq1(n>$2kEf#!GPWQ4J?YEfVK;7q_k43&6%p( z@Pp{AEh6f6MAMzDzA!$c<%)#?Y!l(1<*WiLJ350?e^B|wsYP!uOJ|()RjgTh6ZR!2 zGLQc=O*TuRDTYw68xS6`7nOsMYWKR2$;}(gh_+9&g1?^X>Z0bFK4iN~kg( zzqFwijPES8Jf5=`lD)hzI*zjwq`1zZ7^R{a!E>oRNsJOV#LPFvBF28B)Upbsyt-7h zBKR7^)LbfG6eEP6n!aDBTj8OokT^343#nXD=7?)F^K7wzw^3Uxt4J_p!k6!f1!h^E zft#%(6Hy|L(e#}!6|5+#SQ%7_FWa!Zy6`?&%0i@K0!V{!a#IDjTO4rK%bGd$e3Ia^ zx%uyf1`KBdSlgX_^!#nFu@gL)PtJzdEd2LiJ)zIWea7&$ldQmZDx0$@p10`Am9_TY z=zmQ+jJ;2mf8ZE^$nZ}!V?s+S?6s8j^XJ#w4t9qJ206@YNND^AOCfAWaC+d7+SUT+ zhI75diM`TYjY>4-n142;oI*gH;;77WxU0kIv?93QI&I5F*%1$B9ZZK@WVwG!Uuq+T ztPE*rP`64D(8Cae9pVh%#H_g23$WntlEu@Nis)PiL&L>-#fRE8FizKhC61*0k=62& zm`f?9VA+k_2@ybF{QvWgHidY^tvPceV=`7IqlrRuyUX!$@#)CZ-i*I$?LS)iXR4zx z@*MoLeXxl$^x#*uc(DQ?A@PDdA6qT{_{3(aGMm*pn;g*VPJEBn$x7NP*g_+{{=dbH zCa`$W4gNo!Cdc8p9(Kwm{}1S{aU18|_Vc-dF43jD;-B)um%RDA;7Lz^_6z(z!YdvW zkBM=<$-bGs|2N}5jc1LX)D$X2EumIW>#5DuG3pFeLtQfeZKjxh^HHofSkI1Nlpv41XtvxN737x%AsAk^SZ57?yu+{w5aambItT9Y8Bch{2fj~L zkI1pGEe=KFsqdQ(eIbPEw!Kg zPe_{dB~3{_WW?PNP&<7Nk*`Y%eMb^ML@V|^t$81+aITByY58-U_Tsl7^kcaS(55j! zzQ5`qL>$D|^#C9hsG{vp(64(DQYu57I)2CmG?WlWp6BWr8d&y8oa(jzP3Z4CFPwec z19gHlVil#4bu`iBO;ezQ)TX77+{cqy&UIfBt>$v@z^!Gi}Por@z!MTYwqA@rLEti{>#QP%?l zDWq9@3r_!FAJ?>|Kg~J%oxk|?D=XPmSYOlkgTT12n@sQd*l)UA>H`XeMmW!_Ko6mq z8`2MKp%|Ifa^NvI=a6o9lb&W=<)pzt_6sg4bm-h^`2+;|i`@{OkbtV(N=@hSw7k0~ zbMFE^o+6c>q~oi2FM%^NR?cjC|x0)mNoS~ z2B#j@tv+;OR+I)&xIB8UI-_nR6EA%TF+3C^b``eIzMpmZ@D%H3-U; zukHoEIxcc;Qs@s=940-d^veZA(F7uMAZ0;;HvvuT%;tOIRTor^lV>gCR7!_xbkX{z zx(SJVe%=13wWa29Z>h1lTdAa!L6%Ysu?TcZ`p9D;=ZOTvN+H?(yg6wY1rhQ^7xN_XHWYnPjgp*h zlh4g!MHeus$dIj!h$9kHkHtMs6oooF5@gj}uL8m9ytJH`F}k>$yRF|)O9|(glFl~c2yB%x+7kp`{)P!aT)0f*86Ak2!-SY%>t+vN zQ4IwkCE)>n5P|RJjyX+S`n}vxuO|PSCICOFv>3~_F6YEb{s0KhLJ`f%b_iNm$qIi6 zY8?LY{ERjy}5z&%RYL*}`$8mM-~|ONGDw$)VCo!;{dc%tAanswF*@UdX2|qTfE! zLi8-zF>$HM@E4wZ(qE?7Ilbh!MLG4WZOWy@qlDIQAA!R)0wIG8-nxld^{Fm@&;vA1f$GgLfi5ymOJP+IHq*y zdSdVmYO$}hGQG|o>6_}TU{cEfYK?G5S4&4zbM5|}qfe=kDQfZKN}yxzoX?etXV%Z1 zI8VRx#(Q6XmAW@}w((TDCiNoV1xe@0zZOuOU}+!+Ym|~%!KIeCSVN&!J>mf>Y35|a_`0B+d z=D$tPO2@0eq#~A$3V)l6uP=D|E2&KVcXYE28@h6=`tepG!QHD zy5mVJx_w$x>%faYlr#zffh-2LpkrNZhW=8_`z(P95!NAMKhRUp_vzjREW86Y&;s=^u z1eUrg372z;)P_Y6W2_9NzA}IC*bz+2Tsuu;5FQT@e(du!k8-r}-Yg7`o0A%$(_p~n zHW~}oD@rP39xrrjqK`i2NeX31OnT%m+ckcqK{r`DsIDn_SF3=2*z+%d_`fj;aGB?? zP9i$Jk(!6(e8P7{#Y$)sd+>QzA)H-Ikb4G}%GOj}Z8@`gKr82?=6@7WJDb`3^I+>h!(Tbt>tJYN>oo|FqG=+PE5-a% zo=OT2`EkYmDH`G~?~c?DvG`9vb&0oZ(WP_q=CRH{2COP-Qa}Ic(;a~vP@@gYrkMF~7+9vbLY}5&uN7!rz!v4Mo2jd)W5?82}k- z9!J|YQrYu3jYYl|vKtN-xK1)pA(S?)CKYv|lo=?&%xA_YFb=8{YcMlzDW#4?^TeSyb`W;+~2sp-=wbA=m z+;Ps;d2Z&hq`^yw(^i8$3yvJFzHDsDuA=wCzn^EKVmC??z;t>YGDyyl86MoqFMcnM zoEW`?{=6^_>2#6ezG}D6quDPIC5 zjaaU>*5qxi>@SVEQMUVGu_L)uWpUEmpxN)f1Qe5OWDmv8g8bj@S?Px{!3r^Zn@4J) zy)4+K`gENNM4m|=t8sB2Bo}dQ9I=nDyyOQ7Ys3M+*?p|%;K8w#_x+W3i?%rG>&Wx& zy;_^>JQ{2gyD56ym&0MGW&sEYEW-&YPzf!>lA*jy&#;{Yo%!7yW^lWI13SY2hYtT= z0Sq=zNc}neYj`$5Vkx21;fq2Yp{vOih$SCKxsWrt;4P-*pMgHz%*^`o6+5#4ybF)G z>}J?nrp4QK#PzpOf|;$}U0@$@y@$R1ou>hy!exLLwVSm|?VMdlcH3mSg6;5Ag8l=O7e=$SJRVd?qCXh1a|<8NPhCBn)i>ali(G9SN(L0Ho6VWws2ZLGU2%F_p4Mz|U)4F{~FN7!~c8iFGe!muagnC5< zBce5zaagw9s%{#R2YoaEz5Ir`v%q-+0JDar$A)sd_p%Ir!`qo)^!tDBAG|3n*w2{!o^GG3wJnmo-r*H<}#wYlUY{;TO8I{z~78xYS zqmX8lQ%(D+N?npjB}i+OA(I?hlz#8?;-2YE`#%2(zKjC@7Y3>4$0BtaIYx_rIiHb( zbfuEZLk?|hkcVp4jc8PX{f1X^)bA2Y)Pi=T3KO50oRW@%r`^y4Ua22O5dRH>95k5y zU06X14ZQ6Drmzgj3jNim5k-3T+_8l`B`T=)YTjVKiuS#pCx!fMbCUL?_j?Hs2V8T4 zpZ4GG@Rj1?prn}((Eg|00092E|NIT^&@=2E_SkQ`FubY5l~w?Mo)dhhe6Vwvao=)9K(=c5xhBrwli`?}Y^;l-Nk9J=uPGlqvj-SWOa#|$vG zx8!5o?y!qZ>)G%A9(TUZPr>?I>R9at%6lo7NIUKRKq!)PM(2*ngAYIc1caB_bV3+} zF^T)kle;=kzLLGwmF{Bf$ziZi1G6P8R%_E?t!+B()NP+0$DMS_S(jb+z|b_PWqA>| z{9Qi!Ci=6#`&Lu`^zX~*NdpkkoFX%zKmv_Bmd+Cn2@UL&T@Q z$!GBdQdBNT$ap+)a5<1rl9AI;#&Yb`~R8#L+TNmZMpTqLrIfT&=*+j%5um zTX@@Q9k$JU?GRv>Kzjt)i?55weqsj%>!Z?3Yk<*dq0R_*PSnLGK%@&IoEPhw7*|ER zBGsS-H>JBT#a(Ic$@Wm8XNr`1smyCLyec5o&{cw?p#~bMhcCYS;U_Q%0)+T*#TN@M z)X}0tmp%h}jF`=Slu;Kj{{=2+f(gf;c(TbSnq-bs&S@&S9?LQ;$0Nm_$Jf5}t+D=J zL%*wUyf1wWRraE%4`jyI&5!u+;90G%cA`7I9^>FgJB=HAOoSgD$@R=Mn@vjgzPzIH ztgN3(H3cOV=LAZtm~lc#mN;TasU9!Kgh8cdLBWNR#LqR1&He+lw6qE4343RW2G2J`)$z|ihG*WO-b#xB=-&ip&l=*3Fc>A;qlQzrU4-qzzS zb#ilg#-K;Esq>}Y6KhT$4{XeuLL!ok{*WB}1^55-KVJO#qlKToKmPr@qu=)a@IIXX z@!P{+@1CV~^1VztRcutVFonlTO@#eW6nKthXlbt4HkW$5oL=eoRe6ee?*G5YfdC%t zwbF0lTl?Ox1GC;@0F*qg9}GSIh=XkZ;oDzddJxOcDD6o_69SNN1cL12ichUT>`2Bd z?Oo$T2qlOCNB(~3Y>SqP4nmFhtg}`O1agc-JP7)%P>WTLAW-m7gj6VFAxtHrkzm)% zsFs2HZ6xspN%1ts>W|0<1^V&f5|~xMHA$P$(ulL{1H4oOP_0 z^$mdAUaYo(_io!yYl>(p0!5(YHv=9Mh5x*UkK}4P_jiIQ+;V9Qo5)fcV zSp?N$wuP<)k20+fftSH(?N`dFCUw<<5G-v*nTofi>Iv?-YCScP8i~|v;X5!w@{+nW zbWlQ*$>o(0arL-r3{hGuh@B@1+wtX`5VJ#+hbRj%7l=b%+^k$|lQ%jpo$`lLB|XHj zH^Cvk0NuSD8)8C+s}A9n%Ca2Xw*fe@>}icD3L$H|S(A^+^PMzF5ySx~X>O)U;l9b^ zZcG3w{k}b)j(p~Y7_)M#0YJQMjVu+OkM~g~SsPe&K&WoSlgfvF&tL&_oF`3IMPR;? zb2|`Lx~xT9ipLUcwLw8j#&(u8U6|W8iPpkfm5mE-3xxTQY6LGf3-j^lIm1td>nT(Q zLNH@;Bt;U*1A#$rEHZJj7 z8UoEzzAK_~WjZ*trmS~!2*`R8Smn3WRjwzp*3@-fxh~Ec>v-X;(s_U#WuUd&N_vc8 z=&2NsLsX1Bq6uCPZUX-89$6$YGeR8o=UVgmCF484HpI$&KBS({0st~jAfD`9fd~Ju z3!op^FaXi(wi&Q+UQONwgdM~$w5kZN4GEq$H6YcNMA^%(*eWnAx}Ze!NsGu~t(xf8 zhH74F(y-UJ`J z1pW95YZU8ohm-X3D-PsTHH!W063h}oot(#Q-LPSPq?mDN>@%cIQu~?u#=n1zH1eF+kIH0V7JHJk0^cY^Hi)U|JhjROI>2h Yu1+R`iha*h8O|VoUba6t`R}L{05H;q{{R30 literal 0 HcmV?d00001 From fe07ac9e8f82ae3c8a07362fddaa266ae621582d Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Wed, 11 Sep 2019 14:21:23 +0200 Subject: [PATCH 2/3] Added style guide. --- style-guide.md | 255 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 255 insertions(+) create mode 100644 style-guide.md diff --git a/style-guide.md b/style-guide.md new file mode 100644 index 00000000..cbf3f68e --- /dev/null +++ b/style-guide.md @@ -0,0 +1,255 @@ +Style guide for PLFA +============================ + +This is based on [the style guide for the Agda standard library](https://github.com/agda/agda-stdlib/blob/master/notes/style-guide.md). +Like it, this is very much a work-in-progress and is not exhaustive. + +## File structure + +#### Module imports + +* All module imports should be placed at the top of the file immediately + after the module declaration. + +* If the module takes parameters that require imports from other files + then those imports only may be placed above the module declaration. + +* If it is important that certain names only come into scope later in + the file then the module should still be imported at the top of the + file but it can be given a shorter name using `as` and then opened + later on in the file when needed, e.g. + ```agda + import Data.List.Relation.Binary.Equality.Setoid as SetoidEquality + ... + ... + open SetoidEquality S + ``` + +* The list of module imports should be in alphabetical order. + +* When using only a few items from a module, the items should be + enumerated in the import with `using` in order to make dependencies + clearer. + +#### Indentation + +* The contents of a top-level module should have zero indentation. + +* Every subsequent nested scope should then be indented by an additional + two spaces. + +* `where` blocks should be indented by two spaces and their contents + should be aligned with the `where`. + +* If the type of a term does not fit on one line then the subsequent + lines of the type should all be indented by two spaces, e.g. + ```agda + map-cong₂ : ∀ {a b} {A : Set a} {B : Set b} + → ∀ {f g : A → B} {xs} + → All (λ x → f x ≡ g x) xs → map f xs ≡ map g xs + ``` + +* As can be seen in the example above, function arrows at line breaks + should always go at the beginning of the next line rather than the + end of the line. + +#### Module parameters + +* Module parameters should be put on a single line if they fit. + +* If they don't fit on a single line, then they should be spread out + over multiple lines, each indented by two spaces. If they can be + grouped logically by line then it is fine to do so, otherwise a line + each is probably clearest. + +* The `where` should go on it's own line at the end. + +* For example: + ```agda + module Relation.Binary.Reasoning.Base.Single + {a ℓ} {A : Set a} (_∼_ : Rel A ℓ) + (refl : Reflexive _∼_) (trans : Transitive _∼_) + where + ``` + +#### Reasoning layout + +* The `begin` clause should go on a new line. + +* Every subsequent combinator `_≡⟨_⟩_` should go on its own line, + with the intermediate terms on their own line, indented by two spaces. + +* The relation sign (e.g. `≡`) for each line should be aligned if possible. + +* For example: + ```agda + +-comm : Commutative _+_ + +-comm zero n = sym (+-identityʳ n) + +-comm (suc m) n = + begin + suc m + n + ≡⟨⟩ + suc (m + n) + ≡⟨ cong suc (+-comm m n) ⟩ + suc (n + m) + ≡⟨ sym (+-suc n m) ⟩ + n + suc m + ∎ + ``` + +* When multiple reasoning frameworks need to be used in the same file, the + `open` statement should always come in a where clause local to the + definition. This way users can easily see which reasoning toolkit is + being used. For instance: + ```agda + foo m n p = begin + (...) ∎ + where open ≤-Reasoning + ``` + +#### Record layout + +* The `record` declaration should go on the same line as the rest of the proof. + +* The next line with the first record item should start with a single `{`. + +* Every subsequent item of the record should go on its own line starting with + a `;`. + +* The final line should end with `}` on its own. + +* For example: + ```agda + ≤-isPreorder : IsPreorder _≡_ _≤_ + ≤-isPreorder = record + { isEquivalence = isEquivalence + ; reflexive = ≤-reflexive + ; trans = ≤-trans + } + ``` + +#### `where` blocks + +* `where` blocks are preferred rather than the `let` construction. + +* The `where` should be placed on the line below the main proof, + indented by two spaces. + +* If the contents of the block is non-trivial then types should be + provided alongside the terms, and all terms should be on lines after + the `where`, e.g. + ```agda + statement : Statement + statement = proof + where + proof : Proof + proof = some-very-long-proof + ``` + +* If the contents of the block is trivial or is an `open` statement then + it can provided on the same line as the `where` and a type can be + omitted, e.g. + ```agda + statement : Statement + statement = proof + where proof = x + ``` + +#### Other + +* Non-trivial proofs in `private` blocks are generally discouraged. If its + non-trivial then the chances are someone will want to reuse it as some + point! + +* The `with` syntax is preferred over the use of `case` from the `Function` + module. + +## Types + +#### Implicit and explicit arguments + +* Functions arguments should be implicit if they can "almost always" + be inferred. If there are common cases where they cannot be inferred + then they should be left explicit. + +* If there are lots of implicit arguments that are common to a collection + of proofs they should be extracted by using an anonymous module. + +* Implicit of type `Level` and `Set` can be generalised using `variable`. + At the moment the policy is *not* to generalise over any other types in + order to minimise the amount of information that users have to keep in + their head concurrently. + +## Naming conventions + +* Names should be descriptive - i.e. given the name of a proof and the + module it lives in then users should be able to make a reasonable + guess at what it contains. + +* Terms from other modules should only be renamed to avoid name clashes, + otherwise all names should be used as defined. + +* Datatype names should be capitalised and function names should be + lowercase. + +#### Variables + +* Natural variables are named `m`, `n`, `o`, ... (default `n`) + +* Integer variables are named `i`, `j`, `k`, ... (default `i`) + +* Rational variables are named `p`, `q`, `r`, ... (default `p`) + +* When naming proofs, the variables should occur in order, e.g. + `m≤n+m` rather than `n≤m+n`. + +* Collections of elements are usually indicated by appending an `s` + (e.g. if you are naming your variables `x` and `y` then lists + should be named `xs` and `ys`). + + +#### Preconditions and postconditions + +* Preconditions should only be included in names of results if + "important" (mostly judgement call). + +* Preconditions of results should be prepended to a description + of the result by using the symbol `⇒` in names (e.g. `asym⇒antisym`) + +* Preconditions and postconditions should be combined using the symbols + `∨` and `∧` (e.g. `m*n≡0⇒m≡0∨n≡0`) + +* Try to avoid the need for bracketing but if necessary use square + brackets (e.g. `[m∸n]⊓[n∸m]≡0`) + +#### Operators and relations + +* Operators and relations should be defined using mixfix notation where + applicable (e.g. `_+_`, `_<_`) + +* Common properties such as those in rings/orders/equivalences etc. + have defined abbreviations (e.g. commutativity is shortened to `comm`). + `Data.Nat.Properties` is a good place to look for examples. + +* Properties should be by prefixed by the relevant operator/relation + (e.g. commutativity of `_+_` is named `+-comm`) + +* If the relevant unicode characters are available, negated forms of + relations should be used over the `¬` symbol (e.g. `m+n≮n` should be + used instead of `¬m+n Date: Thu, 19 Sep 2019 17:20:54 +0100 Subject: [PATCH 3/3] Added instructions for setting up mononoki with emacs. --- README.md | 15 +++------------ 1 file changed, 3 insertions(+), 12 deletions(-) diff --git a/README.md b/README.md index ba516b1c..ff2fea25 100644 --- a/README.md +++ b/README.md @@ -80,24 +80,15 @@ squished beneath it. ## Fonts in Emacs -It is recommended that you add the following to the end of your emacs -configuration file at `~/.emacs`, if you have the mentioned fonts available: +It is recommended that you install the font [mononoki](https://madmalik.github.io/mononoki/), and add the following to the end of your emacs configuration file at `~/.emacs`: ``` elisp -;; Setting up Fonts for use with Agda/PLFA -;; -;; default to DejaVu Sans Mono, +;; default to mononoki (set-face-attribute 'default nil - :family "DejaVu Sans Mono" + :family "mononoki" :height 120 :weight 'normal :width 'normal) - -;; fix \: -(set-fontset-font "fontset-default" - (cons (decode-char 'ucs #x2982) - (decode-char 'ucs #x2982)) - "STIX") ```