From 863aa5597c90efe8e72f60bf868ed3db443714ce Mon Sep 17 00:00:00 2001 From: MITSUNARI Shigeo Date: Sun, 3 Jun 2018 14:53:00 +0900 Subject: [PATCH] add nizkp for she --- misc/she/nizkp.pdf | Bin 0 -> 28787 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 misc/she/nizkp.pdf diff --git a/misc/she/nizkp.pdf b/misc/she/nizkp.pdf new file mode 100644 index 0000000000000000000000000000000000000000..7e61b5a6411465d918dc0755b954d217020c6a45 GIT binary patch literal 28787 zcmbTdW3MnkyR5lv+cutM+qP}nwr$(CZQHhOYu+=NWcJSNOis?1PXB=Jx~l80CY2W! zrDgcX0!4a!fAbE-z)C<*U}tCv#m!A8YGLhc;z%cIZQyJoY+__*Y(gh(Vr%AXPQbv% z&cw?L<>c&WVqgR1zImf1Ww#}Y(EFx#Pf>7UYPNSpkk)D&RS3Jdd|n^}Ut2gFXe5AeuaTf}l<~B2NcHtfJJ)n_`lw)S!9`EUB#w1Y=)yP7xn?1VcF$Mo-C+tv4@Cl9*k z>%-3D%hux^+tv&Bn9&v6ftkbG*&Scb>>uwJ=0_xqzekP8J~U9eBj;3$akkKan!UZ8 zFV7w?Vz;-5X@0tLsXHmSMMl%VDO9t?^+VkBGXRRorOJKQvt0;e-QlBs z<5cK5nDoOI{3#<&rfIDUD2ntXcc_!c%HkeAW6Nd)4vVIt46_qVEiT|}i{qgvVDw;q zq!sy-zCKbCg=r$mU=o*qkrkZ;)Qal&oySioGlVDCUwXRN_^Mq$dFW?bYkLTcr;z>+)p@65s*jWj&LHyFd0pS7r#q7z@ zH|bQ*Ji!YW+-t6`J^6tX1{ZaO!7xSfrd7{wBJ%d<`mIFtdt*k3sj;PDA-Pftz4ZhN z$pl0|O^D(q#){AK{L{d}DxttUk=fbm+^A`WN%pxk`g(*iih4oajv>42^6#`7O8uV@ zy{)6Kk^2@IaFB2POr$>woQ5fJ3JMlU)rA|X_m@CWTs{6!f8j__j5*dcE8b{AKlI%{3!jQjtRa77jw=!~O`+t$RAtTE0a z@yLpqSptiG02F`rDGweyAd53aI-A~AbAJ=FTbmb%txlvmH6C?EQKm=&i3+th8=jSo zvv5`DPWXF*hdWg`X!wh|n0D7TyKd_TpJvG1CNr@}v32nBDc2E0+Enq#1|%);15%`H z7L81boHF{CnHFOY39rvLUAdisD)`fR3Fv9Qly;XKO9zIl2di3~I|#zqZGU!5_4WO~ zA_x#xap{?1R0eHWO9MCmV+$&WnS|Gy@u}AUC zxa6%ZYJeEOBP$*%w7I<6zl^EK<6Ng zYDlGo#I&w`LS2~kyw4Xt=7D|4Hx`^4Vco0}(fQ`kj0@1%332#~8Y$!K#RpkRH|bph z@9CjSF&qrvq;kj-D9I2X0+?3FsF8xpMOK*!#>XH9(~K&W$54jyaK26$6hswF1+#Ee z^1rftDI3;Q8&{sE8ZZ8Adv^Yzv#m|xx;V{ImM#RpwDvXWM>WXkeQAbQTzJ>98CiR# zLrH$+x6N9Pv6J(eLK<9hfmoKFzN`Nse1F)2mH5J%YrV-6TX($t=WOi?>F zE}CG`F8`Q;Fvy6OvoO`PH!PBk!Itozf+F)i;5-iY0L3eIN$;WUqTVtXJS-yOKWElz zUduXbbUzR4q<&iKq^7&_mqexIRJ+S~EZru!#I20<8cD4I>qeMw0V9!jOGKt+)Mv$P zROQKItD^I!@IUmGWjnQO`go@Pysr3Jb1(=(nb;ctKLq^G?td|pk@0^Eo=nUv{}rAq zno@S#tp5w1=j~B~GF<%*NP*<$~6>yR3ZLY22WSN23OOkMxR$Me-3-Xs0)Ul&iX>(-v{~H zjbr$|H*o?%REf|R7!=6)7BPKy+_mDEGuTcO8f9 z2yAyCN(vX^9ddQeO=^Kp<@zA|Sh`B5Een$z@R87H39e&KETZ65qwfCP2& zLV)s|OJHTp^j;ZW`a*9xX+S8Dx_<3IP{M;C1W3869L1;zBZ!3*#85tXIfesa{V=)R zh}O3_ceyH!y!2uasLRUhn z>t@9)D+`-*OP&M+dxk7zbf`ubE?z*~d{tGsdqx3JXd!f9TNE`j2bD4UVO;uxrw{Wn z>d4s)NNST*Q_XXcbJz?M@(p1E3}GUo6)AKba~OnaN^!zlS(t!wGZ3#Abvx3gC`Z|A%ZPY9)RDJv zEkgj)hRpcjy`Op@EWH+>_FahM!_@uFP>@jecfwtil-#vvXJJzKpurY*8I%Vr$e3wx zx^(iEy8K#enuJ27d?p;&R*90CVk|~=_i5sgBt%c&O=PbnilwN}J_;I5$Fa_f*IdVa zE#P=i3p~N3KaJKv#>1U74(5(f968f23NMgxBlS~j+XB5Z9s#JWql8G<1iz%Km~v;? zd&hl#EBP2plJbZBrOrv5H~kRbSthaGWogF6lY*21X)5=>k@U;J*vfn6z>;>}Zib25 z7l@S=MA0($jXx%MEFsxBwfH~p4}NZky#Aff$}|I%CUOZS4Gw{(oT+My%r7^?P3$H& zqsih)C$D-(KdmHP))jYB8}wqK3dp7w4U9u8D4o!prW9MyRv;MGRcy*Cy=3jRE!gVb z-QE3WAt@IiDC>l8>{JVvF|4%R)OdD9_*OXbxL115dPBfG^_`UbGlcZ6apdou2>;V)S} z0|zJI;t!R(#WfCuZfFD+;lG%W-5S7&h_qw*S)gjjM%inH;r8r|pt4k=E|)9HCs~zB zF%3KPRS@_31P)^}mYL~b-Bh6@ueAG9*Y>W~kRIs9Q`bYOrAF30X=fumBN=9B6K23C?fDS_2d6}!vyqX(QMw>vc?hp^=7B>U^#JP zX}RKngeS#FC*bobcvFmY38E(YRtyRpSR?SFRDB(WT^)Ai)yr$y<)U?~F@%sfd0+~0Nj=W7FWowPQ8qiEYDtGF<-w#g! zQ5N62DrF;p3Qoz6U-_*~A?4_D`@KE9@VViqQlRH$<#BJT=9xYm)!nrjCPR!a8%mOv z0Blx*pyblj0wP#yP=T60Y%L8TtsE-7Y{`82=zt*7tY2P@LRCTX+yhYuJfFC9O{1uS zg!Sr@CAT%F%?pT;QJ&Wbekz$gQB!hVd)q+@z}W5w_wveOTt(jSsu_p1M7>3q6Byt7 z||aB8HBii^GKK=ojX|&^CCaf$x5!SZ_P>?^kl{1WrO!LREd|As^27P zpIc12f1OhrRNeET^B4zF=YJ7hm@%?{7Z`h#2)GxW5*PLH8Yd=BH6eTC)rHd3+FEDd zQ9H5f35cRSwGri?s7tG_c-S#A&JcB>WBTAQT2@}JZ{yr{ldLB7LUA5Ht;CP0)S43O z)u^+HqqE|+L85<8LzHLoXK{O0lbm;2$HmzMzP!IR3ZF01)=KhM#uOh|()3D)cdBIb z^HFRN=-`MwRsv(_SAtbL0*F_;o7jfzFQRaw5xQ7FoXA6bK^b)Ro2`Ud@v{1LS@O2e z_*a@lC>eCXrS`<$IvxtQErddyl*a5pvsr;{=dilwqRm87j#TniZ`7o@pmYV^T-G;~ zc5$dJ?cBX4*AUtbGko)S<*2tUg_;Gl49)?&7DCeZ;JdGE-E9ezzx&9F1KMv%Q0EYO z-4h^ed?5+3Lk3Qp9{;mJ-oF}LsWf9fvE2Op@LTW1P@Gq&-6Zhn^58`ZkTGewy*%W4 zwNxd%r&9rQbiNO=G>o^iV-(^Q1;JM%E+N`wEorDRJB0jRx%lRBwWSvG;z8{>xWevu zbOZI=!cUV$&?9fVQ7jEI!s-ZpTQHvU09H#`U~=KPEGa1F3A&>#8!f-_!nhN$e`getEQqe_sKGIf4N51Dm2rN0d5|kK zjVb<))=w#1iQK961#1)W;?i(gPdP~ExLD*Mnz-1jBZa|mp7b|3ji&+kU|pc590@v_ z2wErtBkgXy-oJ2vOm9j6f6RFnDTX*opfC!+>(&XBrZ)5 zJL9OAh|L{Cp{{J#n3i3@>qCR551XmGI2;{LgSo65d5=*Eu`2$?QN9Dqk6t#k&ng_ z#@~16`%l&%pl`UK+W){oj{lc~N-l=Z9`+`5%Kupyg#Le`Jw|30j{k~97gbn!WH+=u z()uo_(i$__?$sUVO4Jf>b(zn81mYk=}%~#8onjg9!C$_e#*V>$_qztyC>#e=7p13_P!iawU zK#~c_h={3F(pu=ah^Rasx$lFHoAuYHsv=N+*erRPWb6X}oZkEb&pVn0?+&)#p7 z7Rj_)W#h>sluzaq%>wjZ<8fr>N#~SZ3V5yL(ls;M@W{!jsVL?0CSsP(y&?LDMWEA#+N5mD3&STcxU5YtfED;lM7YOkL)s$l4+FoDWV8n_15ByvRPKGE)g*`EE5lfaE(bj>!=8q~ z4H4-${PDsB3>oWkvLrWv4S@JkxoOTIp&+K9w6K*0r;3=%WzH}@u^A)AjB8^lv0vDF zR3cZO5?qZ^@}!#NS7Wavnw*pV@H)>0Mm8jw-hejG;_vwKA=Ba~`gQKH`$6+!`OYVB2r5+Hd zO7K6uug`()J9jR_V&V9j!=#@U8ou=Xg=ozo+PJ?zco>TYh>+?2$m>8TMbE|~D``!@ z2+#P;vCDPuQMPEN*CjN;v(TY1W>$I4ZEk{05se75%}?Hmn~nI=aY4CxUWLky>R=}W z90F?sj^-9>><=^hHSJXWWy=71#y_#FR~?KbH7B`TKSYT&$B%-}hXf%1HqQk!#uQug zQ0FBjp;o4ZREFx>YC%jtzd@Hc#_dU5C_CG5Saqg&%sDgeXgHF5>{&?Y8L-jjOit*J zv=I}vwo@C4^rg|H@WR>_M;WC+uK=t%s*0w;Rzr)()BHNk5HN&&pGS1yWHCM8JW$Ts zR;?>38#4$8T4qb!&f&~Cp*RbYJnoiH=GMFH59VCn8M6G30ZO5)U$T?;EFFtdSW(R}@(KH)r@ffrU>qiVvbfuc%C^tuRm=`hn#qr~JfJWnU@ zA=ZG+U}da8jl(8p_^w1VZ4ozlNCbe3=q8$<#aDi1aAwP-CfjoK2%ITtu)+=}*ot~j zc!PeSPvA~bv1H0&9v7^jsKGdX%{U#d8)245X?%1$IeXMG8m7xG<$*T+)3NZ~a5`IN zDq1?^p+>Jz)N$p-U_f ztK%a&jO}I@TQ05$F%z{KKbb=HL1gJoTo}PKUlq*gw1bbRC+!J{MQrwuN_d|yM=aSq z%+9BxkWdD~CJ;`BU^4l2?zmpiw4hx`XNi(H+8~^xSFId7x>I_KDrP3%(b@PW4);Sg zt=_?Es3>&_DT+osalCJY?D>^Nr*#!{zE!ie<658nbmN%s;&*o|O`9!@>(v5D%rmMD z-U@Ph`n7xBXID8w%Mba9h zAGcZAVN~Xq=ZC#Jv{=Cr4ql*6M`8Pgb#wJk?Rme8tVOH+(t~0@U&-98dX&nso*)Ye z9Br%*VPqq#1up`-7MA6L2PNcD_{gjnS8)Kol7@5MXnq8}Cn{X#f= zhL9=|HM2}inwzH%nFsL5=;rhd9N0~R-o3HF@1Q;DGmQEoH|egcea#VzYAG7t>?!YtpoE=Brg>gyzT=C-9&NytsH7(O$v4-mckVhPGcDH6A3 zc3+E747|_snHmcMuiUx2AX;lSYm8~yD7k<8z*E zd=CvD@15=_OMkk9;{>)$%oUH_(ua+YVFccg?Lvu>64?3#kTqzcORbqGww`%90~VL& z;eA$>dI9eWa%TxK{EIqMn`39{aTp0kx;d?oi#8IiUTcHM z13vb(nM>(gh#V2qpeSE1kw0VtnYRU{d^`0vwS>aajJcq1l6;)5pWs7e?&{ekF~=zv zP1#VESC~0AIo;fsI@0vNra&#CK@(6+ecO)z%Cw)8DGgOikDJ9MEk5aKh6QYMa#7nMOf4S*@aolrDY(QAanI$N6rFbG##i{cv`Y zRaiQ_<}^bzSk;};gl=8Ok>?DmHd@e|^EOUN z=1olaW6%9iunNe4W$=jwsa?}Dsz6xMG^j5zF3gvI+|QpiApKB%XrE%AHLrwkjx~bg z2r*qF@7&U_V)BECoC-Q9fZ9T3#ez)5EJ_e&)=bzK3D-~0bQ*;cHYd{pTW7cd$(*|`;#T>H?CU_ zUBTnl`RP6t0)I!srl@j&>QgGH0EwgKYAHx0zm*=W`jQh@<`~ z{A>PCNR?4f;s=}x^`}Ipu&87En}Stb;oL!)tu693`W3V@8;{^;GY;bFov(n*2-m}N z!MA893jF`|drS=f2Y!!%k@3I9AT~)p(#UQYV|VSFT@1p`U9dU2bHk+j5H(mLWP;W) zbP&dYvl2L(4g9FJGL+5x`XQf+pYrn$L`2W^)pWfi^afOgM4Zc%y@iL)j4TdW8B9!C zuU(Gq*Ysabf8I%FZ^s`$y>sMy_^}hl7_mplYrc(^AC)Hf7K%$})3|);b?8=NF$0s3 zgW&1(xag+A5HN(@bXfrsI}?e9bmTEtN8t`X@<c*=X>&ioD zIT16yP#v<> zq_U8)_65?_7T7cU555MBgylgR&$(pw0a2Ef>sDry0}35g+TO2moQ`T7$^xh+RZVP+ zGV)9ETjCN!Bi{B{ac=NMod$yHLAUetjaOsa2Q$Q(K^gT}sg4}bu#~731cvlq)GlL- zMiOk$U;C8V7tk>BxNq8hLja_g`L_fzUiq7YC|GM}(?F5LJoaF-UKI_h zjB5`k++=x4U)ps0=L>uN=&aQ7aI5QN3~Af4j36fJcX z>%B#cxKRE`N+-N?Csn(yC_(GcKKF@&#h1O}5zCL|A9*?cnXGnChn%XKO_CrGZP~{$?QLvI=Xo`Axq2qF}GJj zYHJo4;#=t*p4ctdN?0<|_o=VPLYvFQ!!A*1<$d@D`(byrFnEQ7LH~xG3(sY{`Ph>n zMhm{4e^t$0(gx8Z8^|9UktiBk`I`jYiAsO`$i0(8`Q;BoP;LaLbbwO8jLvaw$80Jp#oZk0nv;*# zwif8}+^9~DNNdIK?F1C?2<1V#(y3_{_KlOK|mo-_8Y;Mnt{zM9gy>MyC6A+Y1OCH~I)P8&f^F+#`ednJayh`Lgm6~NfZ?8G} z#q4o60CQ{~aF{7f0TZkm+jM8}8BTOhIB3T?zngsn*$tm3KbA3A3T@prF&Fv}`2 ziiS~JATmsh%*!nkA~wXB5V+o1b@0&G+z6}*kSQY%26hGDcfZgPG;C@AgD^7v9|$8O z8^eF=xR|JVDI=SqKqE^ZVN>&8|T}Gtx$IXl@#ARWoB_uEo?eTGOc_orj`Y1YX zrfwYlEN?tuI$W|DEg3B}8nRUgCAnZ;o@5rQzwoanf#DHONKj^AHdtKNAImgYaAuY{ zA|X>iJ9q?X%my4bG$ zYU7U+pQNEGp?IONv2(PgbPaz!hS>Jna<<{UE!@H?W+3r_;7s`j8JV=-FclbCO_j=M zA-8C19Zn>*rot&uzWD2G8u96j9m*z8-3J6AXFkUh%xZ}m$3uR%rfZHku-oyv_}^8L zS7OvIJwrRY@C3-lHMlZHI(hQDbw}#%xV{p38nDA9Nsvh+Fh@347v67w4;E^~Lvuf< zHRFH%MqT<)e66+Ew$BxHeR4jKJVH)=7hZR)rm{|X5jm4-B2CHlxbHrIu z_wYJ_E0!6%wisRgQDa5T$yFPG`ObxqSsYlr=mNR9{I2X%%{v!wL$QLMCV-gyxHTis z=1)O&y{HIvkv2YA9D+gdyh$$pgc1gOVqpkJOGKCU{91D#J%B7Mu#QnX@eHu3iO)|w z;tV9FPN_k#25B!j_QB01x^|!lZFzHT@|+r-!zk8kRH+}rlX18mAKny&eHwsHNs<%} zzaibso*OO36G{{&>CC5YJ*{#g#EapIj=)DG3_hrs?nrScsqHlg%8%$<`P+SUxRM25 zH9IKNKagqK=+B0#Jm|Y$qi-osi5o{D;CVw6JCatMz^=G@n@%^(eR1^?n-Iw14Lznn z(PoJDFhoeAEi&kb{ZG7yJ>UzDH--;!r?^H3Rv6$g6&tsW)pqBwCZL}hR|BO;mTNWJ z<@04&UsD-HlhUMd{C%cr+*>jY;QCr&yKZq-!Nssilz~m}h&t2=7L3B4XgyUGIp9wD zoL+DD4O-?b*DYG8R-QBPcYIapbpJ~SE##IUX~J-Sg_(}7%do|lQP_qIYThH-M|GT3 z_M__hElWqyAr0mx)ir-S4_>8UXX`wgT12uF3iV6bO`X?5}-+ibmuUC*PL6?cU;+wTX>;`n(?`bfWw2# zc%Hjjn>ancpt@q&++Vua4(rB;6ttofcMje^PDj?0?SK@}jQaiszt<-?dasQ{edUZz zKBREs8D(=bR}fidJZng;SQqez(0u_3g6Nm3aPSEwzY7#?jDYJZ+=)K$gWqEXb{~Ed zHR2P2LRxn|4@wQ5eEuci^u zGN5l25xaVGd;v{ngWni%+{~}=6KU3EHRqH~XnM}DZLksjk`}aH=_M4=vVRi!wUC~H zg502GRrKu1%UILbGi;QO+BPY)t>NZ8AZlKRY@{Ho-jD4#imP9rVuE@zwQ)UPGyXo9nAq=mY>mDi^aD!a zA|8FKSj`$^V+VgidTKaqHevstT0a@8#+=EjtvOUlfM_3QNcluM_|m+T3t*?E+~&JE zoY0IT7rH74xk{oidCy&KzDBR*8k*%F(7qIYMLzVe=H9Mj!P`j;esu!i9 z;xVy24{;D4C7z$M5%OEWg#PN;DY|tSjqg!IHt~ziN*PzH^FIiJM)koc-X}xbcs(H_ z_Nogq9Ggy1*yLCxjx(~xqU9eZ9kJyWm?hlCU!P)`=(rf0h`aMWF=Idt!Gi0Hu*W4| z@;v^dg{mLfL6SW{HbuKP|2UE{#eiw*WIo`&JH@}4tNC^J9zPnP3zUh99xht3|BSNS z5+5mEA^0rk5YZVx1`iL<9>JUy;x+u-J<#5mIJfiQ-3Q#^GW>G;JO>kb#YkfOey_Jh zlfCL-oXz+=$BRX!(d>i&fRV%lOJfP?k`CU;3<vmX12r@U;Y2^l+Zg z88f3j*kO58ZsvR5ew?^9{`@Rr9VQQ^?{%~S^jZtS#rCW8oL{_MOh-9W6gTPp7mvo` zvU&D`GXiUX%JQ??o!k~&JDpovZ^GcW;9Q->@O6l1gWu8RBQ3@O1;DA)4sxnoBa>ZeDFWqOBX1ywDZE9$&MU#s0vb zOzg{I+B!Vu{*GWqA!3CXY-c(gO}^K(i9?_Ha2+*am(lGa%vlw7kVH9KZi3|}r^_moa@?n>0QuwDppY26vC6fg_Z_i6RMRWk8+_da_77@=P) z3TS9F6hwo$k0rqjnVR`K{}73PY0Ot$qg2hsZ;D)NffcvfhQc z?xxyGNJ`H|>Un8CxjnFY+Xq2)Guri`=tf{)R=!e?cS6nH#$M;IO2We%*Wd+-xUJ=L z!m|~HDPl2S_YFzU?)(pK_rKI1{`bc|?Ci|{b?j53YGtovg2fxQd=J>LAG@HumK_P5 zjEdka3WhFXOO+-GDts%y`MgUavs8LPn|A7$_;$RyoylsGsk_Kr(kx$rDvSU<^3bZd zz2cy4f+D6i=Hh13n>^J1l@fV1doSeXmwhMg*!$Eo_tib;v71(^s7R4ns^n(O`?S63 z0$)2by4@Y#e~ zl}0c5_kOX2dQmNHQaOZUyq`vT51+($x}SYaKi#>U@}>yjkbG+T${L?u?LhkgTd<*muWA< z1YJV-fFvsu=7IFa-HEw_U6On)8XE4YYNQ&@T3@IIP)B_eZa_6`>E>$aZI~W);zB7G zAlOWwp%a<-#w*gqUoq+Kvgkd`>3M<8el9D}*vT=p-2&i~i&|jnUPbU%K)1hc-;Br6 z_XpjbOm?X4h!iIHz<5F`TiE5wiI zqpg7B(y(qr7o>K7f&W5TT4w)nqv@|5pRpv(i#{mV;#V}F1u{D}k3ll00wg4NYJb?* zMMO@!?6o}?_CNsp{Z+AOeTL0xjJN16(>E3Wx3>Xqgv}`o&Qt(;_P%{vZ&VlQ9u!}Q zBq}i3e1@bA8kf|)hPG*5^0h-(rkF#|u#rQSZT8qDm72v0JfJ2G&XDOI;_M4j@xfOJ zdy86cV1Q%2Mv8uGR(~LkY?2%n!0eHE)cy*R*)$Lp{~E4f3?Q>7elzTAykSDJH5x5l z$1W|y@g|lkQ01ynN-Vc&BJCjDe)}j|qG>fzz!lPj2ju4p9SHLFFj>RWs(Eswe%sZ{ zRbD)X(AV!Uw0Po)H>lp|+GCtPARjK@WH$(LZ@{TiLhI{lxZFz48Thd)JICn3J-$m@ zn-76Q$c}*;JN+PsD916Jy-f_78gS99;R~dA&=ME!yQk`JUal z(*4qV*E6U;UN%=GI#c}p5$fJim#)`a7W5v_=hp|h`!GM86*w>>NWX|B>jb-mY4-AU z49KnAJaX+Z-*7Kr*dJ29EuAosr#|M0rYfNxIr@yvyd2^Pdp_)7t7_JqtfAHoYpXBx zoaDRH;FJ0pw*BWA;Z0iKOe5!S?$r<5#VXcBD*<~tUiQ{3W*tM zT?9{#tY6mB*oy$jyacJE?&J(D^_D_+bTXSrxXH`mU7`D`*FA1$_qEKgEv27w zIm7Ry_MX%0v-UOOOb=*hn?n`I9Fp%sXN`ZrW++nAW-|&;03v8ODu-UpP7)t=g3<_c5y~-HgRnL zXL(gsMT<%hWJ=rR)?veJf!Zrv?a|%I(mVM3S6YtNhun8RxmpmOQ;~)xVAjlbJ!4Rr z0JwS6V+sS9ZnXE(pQz#U^}WVFBo5#UjLk)x9d=tG>B}+=s(Yg}|ED&;C~-7AXF%%UL8* z*_VS2TsrdEI2brUPwM8uX@Ccku8@3{$Bl*kvb3U!4u#Lfb^?v;ZXN0ALD(3I>L;}% zamgeWJudb693dz=5{RXbJrnJ5EVJ362;^S?vovMiYA#`%G4*r@K4k&Kvip}$pdAEJ z+D}#!kp|YY`TSEW%3k16K5IN7m3PpF4(Xc8^2+5@^Aixmn+rlP+0lpT^{NK7(6Crw zPp;?m5J2bvb5aDlA7P4K?$z&70Qj9_Wmqe$Nr*B}E_1(GO1`^K(ks|386`0qUJK}E zkez~7KB+=AZUwpJorKeScX%hfGP(y(Kbp-%b8IkX9ExePeGg2zG`_9;R)jGDuQ-(K zcT0r1w_kD2`qa%$+>xtRWIyH)E{yX>m(N1lA!2v5Y$3Z796!ZQ%-7`O8)BWSEXrj! zA6Y+UR&KKXAmp|PVi#J=l16C_)XLlI^PBUO+RlGS;79xSW8H{u5S#Pj5Bs$vjJ~-G z``}^A@YzEP)TH0VQs8q_^>3JU!R#y~r+VcgO{3_L4cs#3Byxn@0{ywl)fASPlGYKn&%T`Oa z_Of!*xych|XCu}%8Zw^wtj5-4Mf_E541*kjf*xxqQ$kFM)k>%Jmol|AbS>^>TK;h$mr=jKc<;E7-R72wKF-?ogJqG}P&QIdNc8+W|IA6AEbrNMch^@)?kL?;VA>$|0?v*=^=y2+ zP@AA%kI_%Cbh*}Z-I68-KWW>H8F4a=6=yDMR?cO5+8NNUENpla!`VUsVO`LS8RAuj z<<=&l*6t`Lftw3{>F~gC_U*wSU(ug$-UrWQf+9J)cAgDs#d((UwGuESC*X$ znJ#Uj-Qb1Tn6KC=T9lK8Hefx*JUPK)QQmHoZG(Zks!(8wKYYCWFyFJJ(awv^c!x0m zQ#0eXC~`k2C-AUyELAsHQ|1S)d|DAL$~iD12G`Rbk$ODEjUPO^TN|AzgDrch$4#k7 zdm^&H{@BeH#SnOy zh0c@c+E1?FKrc}hPO<_HAk)S|ecTARSj?cDA}+*?Da^<=S2a9+ul^S&9!$6QVdsIl ziTFPlbGHA37@C2B{=dc0xQSNMN@f^ia~Bmi3ROgl0*pL7WU}^7@+f2d27{gFgS7LY z*%)D{a3%a4Iu;f5<=Wlyc#=43z|JSTfs%y(7&kBiMC_4@W)Fa(r#q(UNsOLe@!mcS zYV>?3{-&P3^Yri%5uzXyNlY%?SHdPP-IOCP#r1a0`d$8d+%-Bx-IEYn69-un`sD@l z-LVA_{;Xdg-eh?HeSW;Bq93~Z2}&n6UmSCkINFsfc8HB&N5*j4#74kQY>$MBiHO{q zzEPwoSXbvVT{5zOS{IHc4_&a3*^Qg=9Wc3MSER#!5R4f!3WtSg(4@-8^wKA@S;Aj$ z&S*N9;;7D`I*tn z6`}SD93utzR;lctQ;w1X>1&a5ot}5`jzy-=y_T?; zs#z5X5gwv$1!SXu$7lw0vjd7(FvfI9qVQ9P@_AH}*FC2?#qaqt> zN_VAp>aMsq`1Y?I8TMP9kGH_ZZkgc$e`aKyf`OP##(3xEPTaQ=EQ@Bq%&g3{Qfj)Z z5jXXy@ACoT;%`$rn8hG_&V4$-l>#+40bfi{QL=*~8Nauxjs!HBu}D`2D$GaoQ=&J_ zu5$}8x6;>21+ZXg(@>)pF$~JSQy|);^zuIMs6NL-TDeIUJmD?XOXbt)DgSmi;cfVf z@;msnvgFosRMxvaXI0QuOEnAw!kE3Z>;D#*UkJyt40g87= ze=lVE$Ti?60ftR6v46Tq2;6F_<2ffG`w@>BLG{F-9oMV#ad{s-4iC@6JP)N%l?|9v zQw0ERuG`+;xv}r8u^bV)gTsvqu*0|I$1sQov-0W*2AEIH_T6im@);Lr@D(kndTaTD zG;WI!m;9(0(aY3n_x1H_2L&AFUfb5H9@W%=#Sm7}liwM4zSYpm3amszWn$$ZRa>Nb zuFllCv5Xr(*)+mVb2=0&wW>luyyM$Qz;^u)8ufqD8D(N-Wc#n-fsdMny3$(bE@6C+ zO26dx+`#7Teoc*eP2j3#6-o-H6|Vg%V>luT5&;QgGQYB5C>@}&YA8t}02l}eqHuOg ztEOzlie(Gjv-|Q=Web&?&Ftf@m#Y1x)1Aj{-V3+aUCZj5@11Ago0b-TN0$;%K)=<= zBj%G?ttX%HLSsL`T9kwW`&r&*?+xC!eWagMf8Wihli)Ait({Ubfjb0d#UI`^mR-*Q z)*k7Qehd7`KLq+pW+DFmVFy4!WWhsZMbxY!qh#M-g`yvzGU*KNRXaicew02;#tK6x z<>GBSgWlECu0 z@{naDszqW^1nO{f3T{Qnd%$J>$)v}^PMj5XGqq)MZIa)Rs(5sTlhrkYp}Y0T(Fq0i*%F9d))O`|Np|?^&P5u8E$t zB6Vg#sKVN>`~xv({wvriv0sw_h#>~*GUPGVDn6y+B>qf5Wl}WYU17~9VrBa+s55rRJ^T)uV~KWMEg9N z!QbE%F(NL7Iw|@M#r~RsSMojP=*nc|LXnw6FYURiW&Dngq}PcAk0gphkt0AUUF>$v z=ymnBB4eWJKA!UcDKgVV_Q+nm7yQc7mV$JdtZaAttWe6ATaFz87**+0n4unV{j5)oXUVNI&~tB=uW(;*uA zhZoQq*BHQ`tl4mD=3tHukAz`4`uL@$=;rr17BQv3FQc+ZYHe!s%jEDmd}6sp4%|>& z1;gHd~(;Vj7$TMdFoX+;i zl}PAaW|~i;?j5^F)QSl8k}w{Wa?w`uGw`4kT4|`gwLDj2J@PNb>MH-QUcM@-uC>dO zAi>?;-Q5GhB{;#|-Q6W{a1VNL4ekU87Tn!AxVs;mPF44)zPIak^*`#N-}b{d_QSW< zUTe;^=bEiScw8>11P_OV?MjR;?}w;dcMg}P>?Kp5Z&Nx9{P%r-Pu@kAt_QMuIbY)F z%2mypR0!9T%M!Zcr>GrcE1*N-QVh=@AV37TD`3@8qcW{V=eK zhM^Ps8T`IfvrYA+ChlA)5kI2cc;L;_B56etqt#Br7Dn54TUA%guTnXF1@3MK*nO(f zTmVTXx3jMF*YA`aaAXmFC0_mzb9bUIBCkj?c64k zE^zC~PaQ#_LG&MsD;Ny7L(y%|--3gs)pg9H7nG$YnqA`3cq1lUnLD0cjU91_n4NZ8 zkCxn+^(q>mjC<=Ov#r`)78bPUz&WNau zH-;0O(i=yh*}=4xdL1A+r-`yljpBSa_ay^@NP3izl87;=2kPCF%cAZfSj45+pJWBR ze1d1@KA6Z=6!JNlMi;jv%E|mdW+m54G>`yAH2KlazJ0#6>kXPq)V7T?hF+1fKl6#g zHUoRS@o{cVbhZ77d5U)yXxh~;-LuiWK*Rdt-{=!cVDY;fdd#ueoi8ocb& zc&RB`?61|t+IlMh|LXU~g<47rGcvnSZnP%NWhy}={V5rtJ)|o;RNALYi(rMIwf6Hj z3JG#QxM;j5M*wPzGk-0iho$+kDyL`<-DpyUt*35zCeM5g@NRkpov5U=U%y}TkPUfk zZ~M?f4bWOr45cGOY*%dg^BCeaLP9a~QvUaC1EZ(|NM?mu!Xa%Lca-3Z^!R+7X}G@` zzOW|L8AfA5fXmk0qia87sLt7tsis{W2=egCwPq&Pk*4h`paKi1k-u%?1(7>Nw(ID|cm$osv zKwo*~T>h;OTDPEKz@dt=qxqQMHL@yXoyGW~!tNLzzR6cNhPkHR`%A8fx4DEZT@i}B z>}+uYKX*yZ*usjAX_f5+%}hYiU>)B06?bNXC&t!+0iUkA)45f}vW*F_Q7`wy)pYcj z&9Ak)xr(W1#98CR%Ekz8F`9zcco#22Z?t)Px4K&#^S+i#t7Oxr87 zb^|kKazjEE^!FF0ed;;?5>pH5I~DO>Tjwu@h)2Izbv5+@&Uj5pOgtkW0?;JFX)7W& zPAyb0^nDu}?&;WYyK*9gYZohrIjL00ny84#_DvuWKXd*v#9_!%a@2H;e?Z8La;O`M z9Z1qliCnF_dshSVJsF>zjp}`}F0v?GPY1$Be)+`>(lBQIQ4w7cyV<8{A$F_h4jnmQ zZTBMm{nMRCzj2CGIVj_zB+`dOF<* z%&?O+>^Z(_WXh&TjWiE=6n@`TBz-zT#o%LE&C;$fb};>H_JOh!Lr16uYl00q4oaBF zCG?l5E701PJa{lg%%FG|T_5F7WY@;&|;-Kcovs$0Vn%o zz{(T8fqY%o&KKw>cnqO%ln@B6RLoLfNOR_jBisnXOwGC*0)ux`!aLesZJ6%}sz+;- zv~>dEcUi;qS-t*QGbRl&1UueCw@gpxU{()l_Z8K}Wn@<_ahQW5^8w{h4)PHyR|OH+ z)|DAPE)2?zY#Ub(`V=t-V+ZusKsz6j>H^2`gm+T6tSY{3CVQtawL~Wd?{xnDrp{?A zc^H1Ho`h`lAVmLHmF((1tMFgO^W#S3)4K!n;Zzwf-ioj_2$Ldy)+S*Aa<+%0w85bS%YV~&6&05Qwka=lu*Y#NNZmQvx|L7;)a|LXO~ zKxAF(0Y*yOdZo+RF;{9ax*^Dd%gnM95ZkF0Vb?|>&hlZ) zDnt&FVw!I<;XWy^x2W(U>a%GMyk7(7oNgn2`QB9nt|$*$DkHEJhKJ6Sh~9j}>}xnv zCHE7YCkhI%T43C(!p={IKMD7uG4e7TV}-xgH=$~3wqbSqs2|xa*Y1ia$S3>_@e=5& z{GWLn7u)}yE&bnpyEwT1HcQf19<}LZL;H2Yc%QBsMGD~hKuM>FTvEjRmB`AWzR?4w ziOTG8v#W+Fi^ylHzC9D)f`|S@t?D~qcNV{AO1!kujW2T;{u_>Ov21Fn`fo?IN|Vi0 zs=bU=&rf7jhT~@*{=Q6;r-JgineyMyKAW_Nu{1~ywX}Y!^SGQcp%qwV(sp3)*-SogRQC!8!>e$p}e=M~8 z%p0>Gw&Jj!#YOigYhVeUc2-C!9mSat$J4QwbKQCf2Hv>}*?EV!2EiVlhQ5 zLTX4hjVb1e*@&B4`okgG4S{1;98b1-CR#2G`Zo+1UWd7_xcwrc-&ocVSuBzw<7L~? za1R9i02eQtp+RI2-=^68%*}R>!%W}uyPFIgcR0|V{afz~+h&T|gA_j#Yu}1%yh3cP z2r0dgGsAuelD_9^G}RObpYdQ5arbky;x>v}d3yLnO)gl)nTFBte^eTz8Q>S-8@_xO zWZ^*H?^xd5`_#&6W0Y3O*db9Sw&ns@AT^*7;SX^?R>A zVn^M-il4>gGu;-&UKz;x+o#3T1p*H7;upVvD|L-+l-N zqI-jjF{Nh9Qig~4B9o(jr9ARCJ0FLA-nBTWm$cJm+Jp={z&yDPzht<#IBgow7mQs? z*2zQSjvml%s+phWk?g7qR(N&ivtONiD zjQoX|jqyuYi~YphnRmj9!>F@N_r34NW-SWE?VXn+-#A)#(5-VRbs6vFY|X={#+QHC zpT8q!BYed8hur1*-{1VdoV)BiJb&Bwh)waeQ(Gh+yognB`HY0CBWFKhvBx`s?baV)Qd?SG!T(UzNyy6yFHq^P+m0+E*U!4=M1vFEL)P;E~v$r1o}SJ zb&klOSTd)^?wo#CI{9KC+3|(GIvEZDp?MD%%Z@o^xCy~oU$}n~(_zzbxz%-$=4~M) zB>P1eBTQE7D~3bk~eI4$w2i4vI3;DvzU&Im^tRSjgW@6 zTV)e^#M)l$0N2xt=EJk+)NN_y*u|9Qn!%-btss$`bhmU-R$iF&bHmZ16-vkV{ax16 zSI8Pt7heaiab_P28!Vbr1+f5v239Xa%r+4pBoAWKFsy6~i zt};U`aFm-wB!4SIZ`~m7G~68VM|8)SDi0KSoB6GMP!|r}&@(gt zq`lsE=GNLfCF^Au0Hp*~lZB1apmqSwogXb~^^wVfM2koRa0CZ>0s5!|g+4%c#J%yn zLcY!n#Dj&YYI?>lcO@!s!`b0Y+0qXQ6~BC|5ywSe2+b~qDjlcb1zLTgf+!eHl1W5! zeFPbsD6uY5s9CFz(=^oPBSfsU?b>5hqvTfx4|`r19?3#ooh+SuVA!EV&rT#9_$y4j zV#Y1C04{2$I`**F%E-x+<+F;IjooeNzAIiGmIr$Mg<^A02_czwu)*X|5n+=K7y@7m`451nqew z%*Gvx59azeOR@))pHBd3i-YR-j}hRt?{XM&6;>J*dHNQd>`T(66MB!1r{y-}Xg0c3 z6Gpzj{nNyIal5{O)3<)93(jGrN-6%vp%a-SV-ul^(&#=>)*wg6NDUK@v?+ruS5f+5 z<1UTY=*ZOS|04%%+JGra<hJ)Z(3`_^g+*v>t;7goG@kD&QOXmS< zn<+Xmp1KQM;^q}~yN{SA+_HaA49^ZPIX!swKCL5 ziAJl`nhwH3Ag2c<517^T45edMZf)MxaV_fv|AWc)FEHUW<>g{v;v;O*Kif6(H zLe7%X)TwCj;0)i$JKCAWeG6Of7LT^>d>(mOfEpj$dB?T0altp1glYa*p|V&;%J8C+ z$!4R7)lVGV>{iye@L1gCJ4O)XL|1Bsh5C`7WiUfm5_A}f71ILLpDk}2ZmiCrQBw_$ zD(*7$qF5>_7D{8qAwNE;M#_|fLn?5$*&LN3BJ~skOW4rh$h`x3^s$Gws!T2p4=Qh+ zHQZe^;wyFZglGD<@&G4q@YAs-;D2ane=(o^mm3;4ANyayn5mhOv9Xbv*{<^yB7AJj zl*c_X2h7ztK_GazR_?{lzfZc&RF8y�v9ymofm&TM0s<91@a{+lUXCP@!a@XrXLSh?r26 zP>A9mdugPaNQwPK?By0;%yfFaPF}&b7a4)SUIQd=UBF=TF3Y!^sjr0cOA)y3;4R;HP7D-Rh7T=by zu_Ds>sqP9cys%So=Vu}%_8Xsaub%4;#zayA5F)Bi4=0jbuinPj^w-B#utfm&D&UOH zLV3P7x7q_YUb+#uA%<1TW$gCSswCKq+o$K=3%$i=&QH%1kN(TN z`=qE{fGC=JcXh5O4PKs>OwUC(*OxdW!S;jWt(~mgoL_;B&y0hfi5tJt0vO*@7i#B` zHrBaZmycU@ciR?mCnk?{J9iF8TtP&R=g>AIo>{OytKP5Y57|u9OLOy}`QM4pl;5*! z+_q2;_&07!6!eDf1+4|1J*sKfY)h^#g)(}383+4KKIH;#q~qWqZk|pz{~pv0`5h*eX&U5}A+2fj<3nDT-?4>SYOZ~mL_enf+3xKqPs$D|rGA7ceZHAAB zM}iPCJc|W*&FP zia|nR!X|Q6i{?niyutFrl;==&#gq>M5`}HP?2gSP$-y9J#Uv#`GWx$>U%Pblt(kPZ z6u1d05QkllB_W07&27&W)X!nTw7mSnfa&U6Q-_JDxFbukwN|u2pJIt)g|Kt5eVr z*W{tIO4Uja!lb=ZJU0|Fe~yfm=FvOVT^)A@oS{zU8Y;MhvO&a2-y7NwMqblLn(N!! zTLO>jFA_0kGikU-=iNMcJW@2ZS8U!jj`ts``bsW$S`LF*nnN<9MxH*#U0irX1eiVd zJ|FN_Fs!1Ml1%UY(f{f-{%ZKukk6dmn;l!@_og)HZP%4t(%`tiGS=Y$iHeGLGvZvA zK6$Y95+DiI|j?7uY!yv@o&j-do&b zv<#axzcxsKuiN*(G*<*N$=^@XPF|!L<{UhG2k=Ru{n@Z?g=IAKKU4myBB`J-@0t;v zwvH~{VyRgITOUT8F1iJoP0hw(jQAN;Mf0X%cGk`22cn5w>K)|pt7Y%i$1uwkiW_zY zYIRL>qcvvz^k|qaShULdYRgrO4Xj#q;K}qV=~f;(rDyc*OsAi>8cBCSwB;qd)hLmg z%+iX^NkggnB5cXl;K!?WSrB<(&zh3r=HXF(m+HZ7$=j)?HRhJ-jag{Es_hHwo3cEp z?OmebXq+L9b1YrC$;1OYxspL}PG{R9_aoB&!C)*#yJ#jF)worQTO)e7fsKf=mgUq| zFRUxeT^3KZB&&Y`dLm?! z#G@7Nh`8YU+Ozg2<|MLmxy=45Dh6Ca_2QQnV*;tkJiANg{DSAwv>?6C1p}$xL=<;< zQ#E(}EEE~@Cn-aOD$qb+S7_(+=hSKm8E$0bi15&0CoGd)eng_eKJ3FNkK{u$lCc~38209-(NRAq&H^WFg z7mZrtoHJmv+5FZ{om=%csR%V=Nnf3zgq@RA9cUe7M=326M8ZlFQyh#H_Kxt_WDVku za()&iB1tO7L9e%A2)UC8!+**R+`h$)_$)`JiOEBZtn)hiYhm`}XqYQt@?pzxv3THJ z<)~b6?cu45;qB7P#l{(CcuU~%Ywwh%zRYn15B`-J3c_9n@pY*EL}v zdtqre?yXXv!^C>Z+xv@_JS=i`zygTJ>csJy?_ox$rQ-tm@vHe-+RW|fH#6Bryl(u|=HVasPW?TuNEtm+0xc~i`sq-B0Z^t^NvgIRL&w9kyS7@3 zrb;&j8h?jC*XrQ@hZ6A@2ZsM*3itQMps%c8+slU3@vM2c#2%iE)f^392_MYXR?`R| zA=Vv6inhl(NC@m&K^8tG3(i?jzU`}McBq2y78(A50);eS^Lv@O2+fBm*4+EUN?Gk! z`U+W}fr`T03m36XM?*l#Cn1f&^XqH3Pu!23Rzwalv&ZOBRSqW(*-(mA#6)mC5D#GY zO(Lr>P=$x^CyCQguB1B3(}}NX2@Y3pxU`KQI5bkN^#TNC`C}W>5M)=-GluFhBxX~P zs@@h?v0n26sMzb`$0$~DBir*;u+KoCA7O`Wysu>ZQKPZ_&so22RK9PcD&^R{{=;qk zch<5w`TrU2-J!U-xH`}LfqQXWu<%O@FE^>i-Y>4`C#d-0r1dc(yXgT#obPCsiN1&Z z*SP@M)ZpN)QnHAb->4KD@If-}WIgE&ecdBNLj$^BH#C(~GO}!pj4CaSjCO&B%GxOz zIVuHtiIqQ$tgNl83ysW-jDBpUXX&J50Mko1v$T>DGqbcHcX#Qa4`?k*Qq>u(mdsL8 zu(Xa&($dmSsP}PB_Hc_=t&izaEK|+spo?)zalRLq(EZ#y_)hmgyIn{jyB z4~kApanl@r_wLcqU(?rXEc1;M+5orf;=IrSCx1Tsirj$hMO-9kCyz4Lgdv?ax$`*Hb5)-2Bd056w^T6t)=BDgIS#=(1eO$m2v9Y$T@s;Nu|hJ zhjxMI_1i_rMuw42h*|(=>Ju+^%e=d$OJ9}T#;Xa)^DYu|FQ3p$Cp#rYcNqL_{R}2Z^vkX2jEb6j+Z-95JxFnvE6>t zCU3*2$~bHL8l-4-;h06m+uB}gxm}<=xKF&gHeP4t;$H3NX>BSeulVNpG4eht{Acq> z>hJLMbDoIMQqM^spSQ-vH~JHrF~bM-kQ%!l)PojV4DCd?(T{#46S6{j z!a{3^trJeHz`ov_*L*mLG}8r?f5^E1j<}YS{cpOp|A6T3NOy?Qw+sJXOkm)bSRM{2 zdfT=SY!*mokVMSz0*5$W6HMR8Cn&&E(R(7O$xKjCy}qB(9>Yl`I?*5!k3~aN6eEJe z5)%s>%V)d0wI;i}hxohl>ghOz3ne~NYOD23&CKXY_Y8G+tM;(-Hqrg5YDzu4bySqx zymin+!zyqSN)un0f2dE@4%5-o*Ul`mva&A9k1;QdvdXp0&Z*E%G7T%k$uTQ3Gsr8b zIE_v+s$9yCDSU-!*GK&#aBzT=l3IjA|FBK2jg%Bl)gR*6H4(@v zF!li2wG_EwO}&sTXh?HsH8hygXMSHys%py<6baM@+j)0x_lun2*1u}xOt1|03n|=* zpdL_>RFjaL_v!&!QCWAlKA5auph`mYGnxNG31I&VXZknSNmeBj8#On3Rz)&y_CNlU zF0O85oP50hl@le~-?8(awyx5S6rTS@O?pd+hS_;bxlUwvy)wdH=N~Y~<0U&srI=lt z_V$#6Piss>$m2%%L)E-?@P5pbeP)-Q>LJpb`7%^8a)cHFtWA} zK^oe53{6o;dKJA!C^5$AoLvr$1^FC%>m!KziGMKCjg6X1rIr=18iQwAwx=wZ*W9`3 zr;i@7UvFtcjFsfKmN=`>3QnrE-?1JNF5!a`a$eIt`6kebgjyUiGPZnm66_Q3I#InX zp_-I%0V(xKUIj7SeKLHWLs%1dGrR~B_|gJSEKaD70!5S&%{_o%&sZ==^L@G7a(Gk2DK+u0exHIW>4Nnbr*DF=cAzH0X~$x zHV&u+IX{na=++A}_yCPJ0Z0=dK9YcqFeg!?u_MhdAEqF3}?BFn50GT^=N=VZNX zfT3Fhe2Ep8`;|Lz8uPaM$B@)48*lFoF;&FsFn2usLO5dUiW7MzAPXCCV)jq~h9*9r z)}85nJKGfq$DpFolYl-6Coyk%RTO-8A+DV_Xvt$!yh^>{v=x+G$k^}y*gCYH^b#P@ z3Gf}zkIukJ7I7|Kvw#5KcV=M|w&XtTtj71U?t+os>X9<4AVXra!Jf2k-;x9s;uyWL>={w!>bGeeb|txJ3-}(b3c|8|vrWmP#uc zD@|hjSQwfO>*l&zAeU&c*kgUJ8gu*4th;#s{hT5V<{Z6I^noQlll`N8fbCvL>=S=v zl?y6+^)Gt?U<;>ur$3Xg?WZDBW`GqnF0(#`jaWrM07o_7N`CG)<@VI_1q>P3T_7`M z{lM2#{ydPKAtR==4Gvzgj8|EQdi~zWA+E}#Zrvi2!I^obQ*HG&9yRkyU3~6p1T$G4 zIl;1LQ@Zz+y1H0|8Wa*4q%klwUd86pLCc%zGv|PUMj6#5Vhj;}|MYp|d5$&i!eyjZYSJ zP4HQAJ^}B>1P;G36*q1jOFLvA1frfh1K2apZv|k`3c5Tj?9D`1vt@ArhWck0hWedL z`~o{X1Z(3opaPKrMOweJK4#PYtzO?#>49hM_iA2AV`@;2TW{Q$m!x>^)cWsIeBthr z;tdc92$|#e;UgEJ!3X6w-orJ8h)AAQSc_~t#(DsiWddHrbSY-C5E)DRkTmd z)r5^;_q9=}TWnD2;4RR@Ds6oxCZNc(QRzJoN}zzBcs4}wi1sPttqI?r*fU(4daHOY zvo6IBUp~udcpfS>jTTUY3NEl#>75A_Ni9d0FU+b{{~+(jAZS%?L7$qWSqDTCNG5q@ zWOT`l=MZ=W&f>w1zx}#EIz*ph#(0^b((F}Y+Obq+x&9WNHkel0)#LVTPb}K20Xrpx zC_3?i^w}7CkttYZ6hmsFxMqv4f-kP2Aa{d>4R{}g6w?Pr1m(Bq9oOU?!*|FHt>mKL zDWSPTmam6a8mg6-cvXfs>HO9y(sIo<@^1`mYd~C;h6T>o?!WVBxBRqW=Z0E~!e8g< zClHF9&E@=hP+4uFf9oP}w1F(>I@kV)#!LO(aC&hntO4$Z_)Jm~5ArY%HW_OjD`b9? zdsN*6_3~H(egegFh1SwIX-`q~y9@`Ugk#6~=Ix$-MPd2^JFBoxM5z-izJ1UL=4 zovLR(p@LcFlpX!&(p&K>&9QuTnu|Tf%C~G2SE>4^Q$wA^fvpSl(9@kpJ8YHDgQ3sE zF`39qiuJ}_S*X|3U#vaJ(PM zuElVH1l9HWKL&4G%sk2LNGaNx>a61`dP;LuweEw~&#(IT+FOF}+dk%Kr^)@K`M&A; zJ>ko|6K6c59i&>)m<`=Bb&4N{xqryaQU7y`qd^CsfFmjQm{z-h;*&0CDznl87Dd%? zD#n(Ga5{;BI=Rc&h;`bZ>c0(<@!#ied!;Un8{UpDZ$Y1nEV4g4RLxHE!e;_m=Tzr$ z2*-1B0@8hsP=tr==CMEDxJgcJUtxd1bP3+tvi5as`J?({F%Gal33gOxbs7Uy`7G7w z(lR^@m)sfY-2${jbTh~0%w|X1&qQl2nzQw?n_84cIxNm+2kM(nEF8)H?a-e`30)y}PBSiE zUQP=WK2tt+4ikQEJ_{aWZhn4qZhl^V4sO0r|L+s}tZLRi<_Nr;teU#)e_qX@|6f9z zzmZt#ael=RW2~?(Unfy4Nl_rWq_dIJvDFd;o*;%;KKsBxAM#Ha&s|8W{A8`^ws_KY z;Qp|$!}VTt1eL5Lxds_BVlC7kzfAM8Zg`*=GRr0c!IbJQMcLG9cM}}1Q>oh|Z%-|{Z$|0Ru5xRlr6ZpKiWPglr&`kjb1PF+Q|;9$;X3L!s-7E%3a-z YUEI7}%q