From e1dea02e5e6e5de7eaf06a8ebc03380a14654675 Mon Sep 17 00:00:00 2001 From: Paul Schaub Date: Mon, 27 Nov 2023 23:22:52 +0100 Subject: [PATCH] Add diagram for SEIPDv1 --- book/source/10-encryption.md | 7 +++ book/source/drawio/SEIPDv1-PKESK.drawio | 70 ++++++++++++++++++++++++ book/source/drawio/SEIPDv1-PKESK.png | Bin 0 -> 33990 bytes 3 files changed, 77 insertions(+) create mode 100644 book/source/drawio/SEIPDv1-PKESK.drawio create mode 100644 book/source/drawio/SEIPDv1-PKESK.png diff --git a/book/source/10-encryption.md b/book/source/10-encryption.md index ce7bbff..b21cc27 100644 --- a/book/source/10-encryption.md +++ b/book/source/10-encryption.md @@ -84,6 +84,13 @@ Version 1 SEIPD can only be combined with either [version 3 PKESK](https://www.i When communicating with a mix of recipients, some of whose OpenPGP software only supports OpenPGP version 4, then this mechanism must be used. +```{figure} drawio/SEIPDv1-PKESK.png +:name: fig-encryption-seipdv1-pkesk +:alt: Depicts a dotted hexagon labeled "Plaintext", from which a curved arrow passes another dotted hexagon "Session Key" and finally points to a "SEIPDv1" packet. Two more curved arrows originate from the session key and pass Alice' and Bob's encryption key, ending in two PKESK packets. + +With SEIPDv1, the session-key is directly used as message-key to encrypt the payload +``` + ## Handling encrypted session keys: PKESK, SKESK "*ESK" is a family of mechanisms for dealing with symmetric key material. It has two branches: diff --git a/book/source/drawio/SEIPDv1-PKESK.drawio b/book/source/drawio/SEIPDv1-PKESK.drawio new file mode 100644 index 0000000..ff0732b --- /dev/null +++ b/book/source/drawio/SEIPDv1-PKESK.drawio @@ -0,0 +1,70 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/book/source/drawio/SEIPDv1-PKESK.png b/book/source/drawio/SEIPDv1-PKESK.png new file mode 100644 index 0000000000000000000000000000000000000000..cb8d0407ef9ccb5cfafb710ee2d5e7091c9c5103 GIT binary patch literal 33990 zcmeFY2UwI_vM$_BlaZVxNRpf+3xZ^jC{bcd4vnNH2N9Z_a|V%&A_^iwRB{GEl8T~| zghoUqiGULR)hM&w&OS49{(H{7XYO---0uF?w{q30^;XsU#p+(XKukza2!TL|)zy^s zArR;!`0q46E-0~z)_e+qoVM~-G4XcwcW`pChj550{rJTpB7|`F^5zg#<`5CFMj{36 zoU9!^tzEqY-R!+V5qR(FZs+9SWN-JQj);(msDQArfXG=x@K#hoSPb)zxS)`@xY>{T z){gdWKReWR4|H;IvE~p_1rId zhzC4fu(x$~2Q5W}goVIgVNj&%qvUoSt?(2 z@bObr(YF0j$JgG|%gNpC=L$pwg$2bhFGN*1gcLx(n7^V*KUWSO+^k*gf7CUwck;Fu z0Aph|!s+K0xZ4_v3uy^SibzSAUQ!d#H9hNc;rH&2J9YKH;AxFSXuI3lyMQk2{D1T- zEGBw115gt1qvWi()Q?ddJ&(uvIV`5Yz$x(OjD*2#F_Urhak8`b`q|r$B5!wh7jGxz zp9^i>-Q4VLf6C)$kJg@^?tXu+=HTw~b9F!KAb}YF)H|lYz}DL3?@NuH?7R^_>Pm{7 z{V^9zZ8du*N5t{S!V*8%=W2ai`R7W!5Y~3?em~kD75yrfANzQ`o1X6OpubCZg~DpssC5Hvow|x)f6&uw-)sm@^uvOR1i^67Z3*W z#E8__+QsMR?*1t7@(wuOZa)N2L<6L?EvAAWP$_U^5Z`(^imiXt%^kFfW* zcEs2bMWnr_6WAYn&p%3akBfj|QT!+Ja&YpuKR(nL`Po@}A&xBU|1M#QU^X7J%Adj% z7X1rp9@qI*n#W4;KS!9NKNj+*(<9*m?1ZA7lP`yegd^ssuBM8C=8?9Ef@ARGHPEVG zY6$r&f2=C`D z_%90&Ec~y9rvU!^dkXJZnE!sl6aQCEo`Q=LxU@thI7CE6rNH_5YXKgY{&FBy+-yAq zklq;F_R}i=mE`}Tp^*RIl;KAU8&6Q{$P66U{`1lQ2PYn5kN=4+|KD-q&;EAc|9y1^ z=mF;1`HKUO^aN@mWb0z>^#dnJc=%w@o}w+l&H^?r?zYZAdOyp4m#2d}a5+ST9Dd-V zKkBL3yZG9BJJ|vk^zV-vzg!u=H$LtTDB6#?{hj_D zE%&(eH@xx3jq^WL|Neb1oS**5pY-py-M97e^!*zcvv;#oz_?2Q=N+l0lPyrmUy%17 zqQZa!;3Rkkn1H%}doaa32#O!SQ^tVlzr9q(ps%ARe<$z1H3PqYv=TXL1|I)tg?Tt` z3uvo8{ij60PVW_cpfMft{A31Moo@K`mtRI zUl7Yogdr$uc+Tq^XQUzW=%Y|IMu7 z&-nB&)=<~Q8r+cf{=l{P4I=*E7Z5x~8$VB+$Z@FX7gz?8Ec|9o)w zI79M_APrR1b(MX8#`1rO>;4(M{}1r48Y5JkF|Mp1X*ccpN+s8?TW3BvuUeoV>=JCyaY<7>0*MIJ&{R2e)*8lHL zrO1DE|G&*&^f)m2pPT=`8B!4b`;^nqU?B(_i3n+fTp}iW{yS(mLK1%p9(j3tx;xt| zxx2Vy@`!HkZXm3o2nZT3zZF@#I5}e23$`G>gh@Fn0zv~Os_6oP>qjqKo$Tx|sp7wk zRsZ>x`!Ov{2mgJk;@_{aRRi~S2_<5!b>^!At~^5ezN z1{hAwkLb^B^nE7?gax9mtYGMG@u`5|O~%CcLmg#ujdZG=LWS}dZrUN`l=9iLsz z9fC@ifjo}KG)}dd{ra&qX3Bc^mD#8&gY<&7Rdu@vNHiGmynjNHYu^u4YVQheZ5j|T*KsYSuQ z`wR(72w`=whvjM&qb`Z$J5*Se=!*~SPDuF8pzzJ)RZOQ(C5vW1Bs82u(lhEJwZqlFQ7@uAS%Sa=@yrbsr(VKp zy(#U>@t*QhMGn@Pq4Jn9$X*wv>ymKeHKS2isx7<>`<_I=2&;3Enr)c*L`1=MaVIr0 zd2_{`U*zn}Q(Fe_mcP2X+H!5~_2!72`@#OU=*k;^^5{bu6&wXd(x%Qp+3zPHfZzaQpo=w~!p&d7}< z*@0HOx9vAdt+m6>FYQGUGiX)nmy0m@&9;Z43quZs&&~vSsZP@1RYSghdNAWA`1s@f z5@F_RU-Tv(`?*h48gSuE9=?kUb5>=$X=wzO)Y%!z61sA;F!)N~m-npn{1AAlDzPYH zl*Q{~ZC~Eu!FF4P`%EkP;nEFC2+m7L_4n1bnLF@@3^9L8v;@7@? zVbep5l|;hp-X%#BHXUqDTHa5}whVstvGx0BG#Em{vA`$m4z;WQ-p;z`ryg2Mmv7sv zgKmO}BEQlt(yo}59WU?f5#vfuAi8r)1mES!CV3=cr(I%++?eaU{>gw*ZvCyB8; zWA~Sa^SMZ+Wlk{qzO)XYzKk>3eBa!?0!Vxz9;N`B4BYyV`~CCd5qR+KqC-0hiXJ{Y zBevSIeIo#D-B1kq>7nje%HcR_zM<3$OimRS3$9Fu9A5KUx%+?+$#m_@*hW%RzmM+z zx2?rP)Q4Qh8&186431Ncu6*(vU>SK2y_WJ!hBH?nb$&C~CNl)gUtAB`7^t}X*cU6P zkI^duMTwHLAEfdcSLY(Q#UVljb0L-6yO%3$8}-UI`TS5#+W{{mq=(u#M@M#7xt)6S zI}q0iv(MWzA(mnx^2t}5!9F{Dnrgrb@Zt;?qH`Bkp-cJ;F1Neb>MBBA8LR6sWCrSE~J%C%F`~@^kfLPJkFW|+;8Ok zcFsULS3DX|?eo1Zk`1~%#P_eCD8u+{g`z(^uX?hC;-PmR&J!OF!y#HY1fmr!y^u_k z5~m_ zm4qtoWY*#f9dzI^^UK^{nF~cVcxwOMqVtB92%CK0k9P2z-dFZt0|$YK8&Zw1%TX6z z>ZNd)E7#17-W5qj6Ef^YUXwIl=EmtstUO$>)l^u*J;<5WYa4<=sRHGkp=5ok3X0-Xfw zYa(tTT2SH&8W4inK|hC)8v>SHH3VeqA@vuCstct3Xpqa}9T8`O6X?%-$rDcS)3eRS;r4GK zQh`$3MDfZ;XYBwJ7tc)dDf#eSDYi1yT&oToQOb!gbJ5I#gpO=M%EbOXF}8D0bR8i+gCb#2zH^Fj{UhxHq%D ztCiL2mO-6hkkESZG_ZC5tGTd3>GO9tRaek6v~Xl7oG4^%yJQ#rXJG)duRPwHr)Vm4 zpaS8}MSlawINp?c&GzYDe*39*UM4u5`{Dlf*+hDA3RD>6q}VyJPSZMv+-uu!jfbjp z?1hO+E6s$kWeBj?26Ir%L$?tbD9SwEP!$N}fpvZRe7g^NC>QG~icNOP1Q|(+VmN@K zBL}kN1=}f#Y%L%%W?WN}o9bV-5BHYj%yUKv`fUV;7(P+ScAVAvaP?C|_MKCrA`X6g z&3Eu7&U!gdHwR2F>U@8Q&Rh%>#ayq2#sj5x>Q5(70_<3Z&=qh) z&ZOX-u)K!_*->D54iCRabPf-+Y4;*gCWf!eQ9vSbqtsu1yFf$@uOy75i6^C3+)NU1 znR_U2FIg1k9Cc!%26L~^&B{M(&&*&9%2j?duUQ|VPJ54oTa8B&bFn|Qc&`O80+dvW zOdPqDB7V-037~*HJkAvX40PD@0(bnO%%t=|2nl!7Z83})O9hz0nf-ydSiC-xc-UxJ zITKXW!n7iI@a3@uXz|=R>4QH8WUzoz`WRR4m+IV2G#_8AbY{ZF(4ckw_SyGU21w#> zB+Gl4VeVjBQ@{SgmJEJ;AV2MM60y=xaxjoNNw0*mVrJd53{G)hWTnvVN{)kw&G**0R3Srunkp+vgc) zEL-0fyf6YrCi8_U)dzIJN(Nyzz$=lDw-rnthB=e@vMPG*fWu#&%>Gsiaxsqw7WPHI zOcei92>>DNXTGljQ=z_c$AqjrU6udkR0ym)L9=wxGGxEueL>rVd|*!;HCAi$>is8z zSog&)2?9eersKfWys5vIm@>;@0?@@DOUDTc{-SnW$T|%2p~>T2*&?O*#bqh=5Va|z zu?J(MW-WmYD1Iv~BHlpj5{1pDL`XclW!OL)^zf0-N*ub1Di{bPDulGF84G7pX!VAU z*9F_M3mp6GyMFl+u0xeKZ}74#(xy0c5u#{Q77HpyyeD_QOz4z9tj95H|5_AIBC_@2 zxhOTC(GXf9Fi{6=^;Yb9pgGvzDni96M*r=%e&y=xuie`Oh-1wgU3d~ROI4jGs|B#k z+OwjD&$N6=x}G3}P<;uFM05nlD>q76LWI)E*lHSDfkr6)6hLW{tWl(gtpMaY1S6GU31y(ddI=EiP`%RxR&z$@ zb^7SFG!D%nfCjnr?(C@5@g&K!Ba@lV+wpURND8@6%MfG*?r%*lK4=8ki>Tk`BKp+C zef@8YYxHnB9iA!1m-SBRjzn7c)uggJMat0_!;A(hkzE!T{9dDDp&j5=1UFj9Vd!K4 z3%!V4%#OwchgKHtW$)C0r2@b47Ui~VJdzY#?Ea0}F6n?q8khXD?$uWLHl%P=Rd%#H zld_t7DijaiuNgaxWq>`&c;Dy4GhyS)K9_JO#%pk6VW<@V!B5NQ$F0Gzy0NFZaq?mD zv}Xjd%E$?oYC~1Lq=X%etPtA1f_=U~*aS1!K_!xm7$*?z3u2 z9hosmeRFh!=Z}>*lN0Sl3NDm)quZmk_ikmB41@w)ZA7At02eJSlHQOGOeO~7 zp2V51U2G7P&!XL+r13nGiv6}|;Z34|;*V-Bx1G^-8@q&r+$oCBYHcs@lvynwd|%DB zA{pFWrwU#!&(2G~c#h}YtCCM+stLX}*6e&@j9EG1g@GR`g#?wBK2qXUXyvl8Jc%b! zr$GeFIOMwqzQIaWBrR3!MpZ6&(++xI_P!zoAiyUuROo4 zzsPBDZZX54OynuGF+6p-Jang(n*O${&->A0tM9eAHlm8M1oR{(MT-Sy&&qbeF;rzj zhASU!Cd;RL54=2%I>)NTC8lR5zgL#yLNYo<2;W^dV22HFy-SwMI`;^GyUf;naI%_| zpOru@{pTX1KAgqgAMK(Fv9Gac!G_bFPKX%Q<;x?KZRX>_Yo3Rg3AjaJJc!G_uT+9h zHz!HXud*{LFHQGlh*}CC;J|56k-~wujvju;oQjM8}3p6z%#uQ8Jc*tWa zn{*0g#}DGWLK`iCACum;9x~J)Pa}|4TUi5d4ccudQY#@~69aZzr109;++xr4G|zS% zJQ_hbcN>ERaMJC`M>k&cncgppH>Z)VI8xu$*EtUuj)rzVJlHQ+>jbCO$*3Ccbmhez zr z8iS!hUbBg3r@67r*^+o#UbSAk8gR=;1+%Bd#*Y^dn*SyCt>wQ*UlvGX;iat{d z250w#9Qq}Sv+7}5-Q)vzOVO)eU0!Lo?||R~%_l0d9#ZF6NF|6_#MX!mVY>@CZ<3Xi zF|Osq3WGLccbo_myFDZLaErx}JGcRF|Ouc5=w5}*E z<$8bW>3Dq){-(4|0xQ||Zc6=UdyiJCMJ=ywW$uj<*mRBrcHq$BOBMoWoMOSQG&!7u zaCro`xHt-VPT>7G^QE>*#{L3WwIP zTQdGDN1F70ZSm zpw}iHo?N-P3@3?qsZl}TkB?7{z4Fwpd4h)*42%m~5f1m-M9G+Ej&U_y>K#v$B!4)h zT4pDmRbfF+P;j0bpYwE+C=I-Jwg70F{)vcHFC+a}qACTp`|BrRxF=FR5}?-iHb-d5 zu=i{_GV3zysE{EbzR`$f)XRlR`$+sb0EAcK6_tdR=^U@KF7eSZJ!2_)*q!g*n!A1w zcrElue1XGnZY4#J%53zXPKzrmW5g%IgW!mnp|V~Q+OS{TWZ>9TAdX??e@iV{$d7x5U5WN2_HcUY^3dcBu?khBY8pKB$ z$0I&9bJxa+hYg)*r{ZHF#eV$xQPm!UK+wD1#0teo!jhLCLEx!1u7W5)54q)|`F4h} zcy54pL4R1W1jZ_aiIK-je; zB9?fy|2-}0J0%*{SCHfJI zcIw$qcKBU0aRRZxgWaWgexpjU$(QSQjDkQEB5r^Vg#%yD72%}+2;AT^Q_lCljdyp? z`t>|ZAfU6tGhA=OYO2lS^Mcv!v(s*r%zju(LeEX(58u92b^mtN_2}hg;8EQ`qF}GD z)KkTpKK8v^w%CIw<8W29hIGaS9a?x_5}8PhP$c3=%dxt7-~I^=!)SLnL1wXGMc*P?A$; z_anzL_StK;v)5(tCUxZY4R7Sle_BUelyUl|BIB_SR&jqINAVV$7eL5MGN*#O4I|hx zPO(NIM=7!8BdTXErM|T5MEim8bbr89u*JoH7%B{OZ zq{$YcUfa=qLT;DDkv$?g2O@r@LzF9M8Sy$eee(Ot3Ao<+K%b|Aa*ivAe9)0-Nq85@EW!j2(06`uCzo|RDM+wwz`1z+>iNKsMfr1#_dJseQ-XA`g8H|y?V#rQ zHFVN6q;L1!3a@^af`*z9cCK<8AUTk?+}=J)6I8k=OmDyUDz-8^OlD=WhIWRpQW%@X z+KkgaRi2Amb|kZHZWTvOeKK~quzZ<-bd#IL3W~PYMD#7Zn3wJg(d@3BG2`>v3=Fvj zHNIhF#Xs;A#Tbgemw25gPH{HlrXlm#m4!SkLu~#vs=;)Q3R1>TIVhK1u@x$=FW0pf zMS~3^R^`6EFP&#@cZXQ>?yiO$@{v0us%5a@LF+wihBAx7vIRb)?E_a;-l?Ko`lWT8 zYpIB;7e34x$g2%BG$=1}qe;4Ut!IEwV58qb6>bUZOjbbQZY8v^e~zW&%EzNPvs7%$ zgSRmdsvOPH29u|`S8fva93f@NQqLWny<-$j%+QF_9(ZjBolYBA^Neu~ECps9SV|!k z6#$uleZ4wF&VF*WwvP!*HX>-VtjB;#CtoIDy|i8L=}hgr8Dtmnh7>(_rku+&#)dGc z;|ezlHXphF%a z@I1!9sW(xPsKo@OEpG8eivAOIU`yN6c3?fIhbdWAHG5tq@j%(&jJis7N-N#8aaKw% zKdv*(a;bzjm@%Ou&Oj2W9HkFKFo>6#@9vz?s(eH|Y+CsVC(QVBDlog5;*>e^muZT^D@jK=%wXv&Z z$~R!0v_zsTs9b~uFFk;*NAcBzizyU34+h#ZgYP45Q0AXtUR#aI^;cuvpqwwp4_06d+Os^gkYVG*NueuBQ*C zz{+K5&qNP3cH+19Cd0^JZ~{rTG=UdOg#HF4ME4%>h%wGf>;Ow)&$QzdfM7wyKTM6$ zcB&mO*Ccv5Z_L4)nj{m^zFBHtFfbTfUY9%2+I5b*Gck+N2usE^8t2))>aLN1cWfPt zv-hKK7p}y&`8|r}kdM8wB7?dhO5(zUSweZe_>5sr$=D)ntu_ef)aeFMR)*0CI(kZ>!cE(G z$dUyj{S~4*A(0f1*#me3>}+&M9G6&JG!#p&Zfk%7*|UwG?Wf=(Qi&71^xEOE1e1*9 ziCN6`ewhS7ul*PBx=-9n7kM4I9Zy5(XFd@L6hQQ_w00Bxv-~@;VlI)lUM!ToRy9IE zU+ybJh(ijsc7DFBXd!ckEwy@W>D&1*5;Au z3aD-hQSe;46I#s-@VmFvEC92V@Bks57kao)s7Ob1_5<*H^6=#KXJ{3RXRUASmTDCt zyD47CQbDMQhGy(!yD28EpzPBTvs!RV3COcxQe%^kCtna}eGcB;KTo?sp@HOh4-pl_ zDYm@|jUs>(lqi}6=y$VUSDV;YoF$_lPaIv#%z!bDRueX3$36zWf?NkRt^WNa5tCN@ zvTpd3Y5jG4BG&HfJop__u~Bj2$(x*wbmw24lv%K)=bVmMwPAbk1;i3HPeG>oi=kdM zFYiaA1Z1y`bJR+BhKMM2Dg%6+F{?pF*?ul)2N|GIr<^NL|8oA3IJSM4aPgY$EWw05 z2Ui3xQz{dcL?>^@Uc)lVPx=DnBwjT!)~4HnRU!u8Q^E~=GCH0|RSZ5Fn0Nrq%R$yA z%<+aJmBwr{v82heSlek)3mx&2v~Lg+1*xk=5Fy;jl#Tu^Um4k@6J2Tj;*hf)*3Z}* zIY`4f=wcl~j6sp0+WO_4qM@-o!(H;oSbQ-|q_0e!C*TQ`t)`So>f_O<6U*F6jS3jI ztgF5oCesjkmoy_xWXH`l0k7ji4iajFzbR_FW<>6pO?82Y$V0^_v>MbM>=fYp*DtC}zRd z`7(+M&R=b$YO7V&V1FTWg)#-*w}rU9#>gg_nWVh15giEvRxIt8l!o5MvM7dEMq{07 zjt-UV-U+3E7nd>iN5Oswo{4>hJNyhaGf!wdRq2M++Ws*YfR*i}JjZD43>i;Utum6L zD7KJ_WijvN{O;RFK9t&7R2=#^bTHRR3bQkllyq8meIW%`%@tP`6`1bQLT+YZ@H|e? z0Jg$}3Z?4n#VMAB*~cl_@~En)97nI9GCyL)@a5>RMe89sP4~=iceSM2JBUn*e3Vl` zh%7kV87QM+IE)2)9v#!G{*FxR5b?OaHG!i&jcMfL`GBhR^^?y|7UhsYw7rGQ-0mD^ zI798nsn@$iRD)*VkaUpC8V&*p=QB{Vl7rZ@PS0;=?jUxz@0ivF(JIhx%u6?2iFs)L zP!X}Cm$npFsj4nzB{jPhO2Pg#utlP#kBFkiTX33|K*1si&zM-)k8kR$E=yVp*T4>! z)&swhAa6GEfq}Yf?4ryHHEP)~y(Gr3^e0-F&b&Q8zPcCbFA?!`VuPtA^ee1Izghb`t z7rRhoU|{$oFi5@pGVl~Q!eq0zS<#;(BrFiBiS!%|N|$}+27EafKgK@tu#>)Fku8f? z@-pD4NnWc~=xk|FE6pWxqmQ?fH<049W6*-f3r(J=o2Q4$=>4J_QG4TVrC!$qpLWRTD~ms z86S-IGnW>c;Fzz4;BM8PbDjLuCz(RSZ^9z37O^yewzi-Mfs52>0ZlRcYBb^j2Zp8q{x~h0VUt zQ84GdEg7H!f>_xl)F2kGDapR2>JAtNUhj*eX&N4He3(9W@hf9Y+~I3XBsQ-Fj=sTFfGrqbWPAV$|^5*Hm3E0iL zg*jI2t*~43wmof{L<&Jo(x2+n>Ewc&P3sYQomV$o2&s8b>U(B{^@Y-jI>ZdLg2Zx1 zKAc|kD1KYfv6B+qgBh1!C?DZV)MRmO>p81^;zj8juxF&`VuG29N$euFGh*`7fG(o- z>b^bYG?p%x=gAIjW$`P|gxs6gqdNL-Qpu3`Uz=U!d!h8h%3h5!Jl8q5GYcYL55c~vJggp(J8Z@_xoc9}>5^o4 z7LXpU<4){8RPT8sJ+yCenKA43LtI1M^En{o#)D;yz7YNaFo*ic5=y8pk`&ce1E!9j zRpiyODH-5^Vb~sNGa4iuP=h+hk*vegEnbkFXoAs;U!nS_&Y4qiWFow6Qocr9?telv zJE(I4QOXBFz&BZmb_i}HkxQD?thTw2(Jxs~I+fMy;j_X|!=V9iT6G1i;725HF zj!KV2hHfvM9>;D05ea{uGX7DgrBIk1r6Gudk@{_XrU3_k)#2u8oK%>Ftc>fN z7xBD}&qa`eMIAEYm##i{Ms9`BdgEHpgX~z2FJHIUVr+_87p;ZAb&RpzO9N5{lStRr zNP){^<}G2)U%rZ^@UdYPG`|FP3D-0DT;(&yB5r(Ab;B2gFrKC;>+BNg3pkVSKf78P zeO+xk)G!nZ4$A%l!lD`((u-7nuk2}Kk=MW(F4K+7_U1}1q{_b%UJkr5EKQkAh3t-SFX$>jV9 zvNl=OGKSe3BK`5f^?-sRj!9kyNUhIm;P5}fPrVrgBBTp4!K|c3vu6E|R}ZJC;rlbN zf>1m#c^n>F6!oP_7D%??{R>P1%BVF!EE6||dqj#6NdoyVu4cFdf%sy%I<&oUCiuI$ zUi|*{jNI~!)5gWylzDvRr>+7H*j5J5ZhsEdQ~7xG>NB5;i=ypvfDXn(N~c*nt1(83 zR>`afX~x0HTPT%lh!3I@4RIr*4kOa5G6QstJlZ+0dAI_Amio63&qpI(-7gOSIiG?V zu1N;&CiI{}i!3e3=%PE%w@7f{^?RxGZ|L!tfY9JLEe)i6__B+7FNn*lc)D_F=RZeoakjDqm;hb z(=)9*isPjxw}BO;bPWW=EG#v^%Cb;IE`E1?-I$3>0D?Ui#{Arx=5V2I=FbV&R2Y`5 z!{!-j7EGiMZ?3mE6Kb{@;}}n-6}_YF1L@LCQb$IXoycA&B4w9FtPRlCbRp?`A2EJi zy$a!o+}1M#hcEBPRIIQi#}@G{xvU2KpaUibXM#tRLmte=amG4mIWlYFF(Od`8v|TD zOPbTdMHgW(NZP6(yh(_)sYDod0HUM?Ikm2ntmyt`z(V4mEG90^g&{B9HcZukV>nTF zQpE$D4g}psOqhr1!?Xyi6{ZW`k7##@f4lneHKF^%MVc`)Xjl*>+DJcSRCkOWWIRj> z+_1=O35MN44*V!X{aFry!lszp#>S`Ie;da4&MIp0oF=yP93Kw9wD)_fEPhiq=3)*& z#uMgg5;@CTQk;wR0r5!YdIrC#es3Jk@YheTHBHrr>adM!Wg$%I_2Y*}N#yWCOkO?x zJ9*n#^ebSK<<3-L%kUhkJyPQrcb$6Xy*m9CutpArHGlciaF7n~c!^h_lEm097N_nDSdkSVpHCr> zU=#=ftZG+C(924s=btri4Dw->A%ef~;dHM}$ZigaV&$D_UJF~858iriOmKK{)Zoqt z_1z5+ycNSB+)V*l^D1=*SoJ-qoB$-zDIdc5?QKb>zEWN^&Rz}T#SrkUK-@Dl~^u;E{Q9gs>ZahOX}_2hLFq0 zzsf;O*V^_Ga@#Ofo7PnzB2Xsx+xk?AU?R#SwqJW3H71C}bm|9OI;fe&XJd`DQB(j4 zrE_WOp4{Y;AEba@3QCR+57KMh$nv_J9Ohij_-w@s!y*xUGvRFD2{8~jP(-N?TqRi} z8@;K+94q#eHnMywE6ll-U2!!%216pCy(pEk8e@Gko?vu#CxM{p%5?KX#5~}vJ$>@= zrOtTn1_An&pjL;t`O{?|3qXo}P9*r@WRGY2$gR0sZp11a+(Bb)At84cGVIa;GT_~x zGszBfmi(&jSP2M|cKuMC$rE%HmfIO%tQ+?Y@C-3b<*&L+ORd7I$+K)2$0UV1PcShZj`AAX6D77v3(E9DE$ z`4A3wQ^S?&E~Q>a=p*0WvkqVQp4u<#^TCj(10cY9H4)aK_!2`Vj;~38b>;M&cTBMh^a}^1Tj8CYMJdkSu47P z0ylH5sa4!;-WAa=-j`jS$RreI(evFd{RYt|aAKjY z*9X`l)|IT+T^?dExp8s?AFAsp`EKs&TB801WMyDYb_M!^j79uRpI*EtOy|KM;77fq z8wm%uup2K`!%Yc$CUWw-vb&oUtJ_|PC zzvotpmk5lXx=}J9*=?=mNEetu(Q)G5=lY3@7^1Ripj5z3>o88&lrYsj!CwAfz*%tR)h3v z^90B3uRJ=wv;K}aQt)M|zYS@BX~mr1 z%8R?Dou5Z*U?Gy|K>CL0+#@cFbym#$(q}~rZfT1A5A^h(q174VN-J!VQMV=lxk7L6 zT3IlA>3lo2d=Uk8K#pFqoua7kM-x%Ur;J>!zF)(s7`0lCZ}F%fIMl)psyaz09Oxh#F*KyNIgc{V+1?iAk9;M1RUMpXe{1`O`WGX@u4 z4qoq}O`C~*xSr=+Eeu#hH?Tigq31<6WI<;8(k9r@JdhuYbMge2a%wyC0Z3DedI8#p z#`G${U+$b*IV@w187EJi?jagBcW<#5!s|LC7yIm#c`-quP~IKDTHyQP47E%Z%qC)D zSHvKfH)sTn+W)?N)-W^otoscV8gSrE>*FynBg5nBhsvAE3_WdxseP{+UCrxkdg4k} zZQKBEYs?_yf7;C`L;fmIbzQM5ybloVv#AlX z>xP)XJ|M-RL3%$O#W>VcmWj#r1b@EvVmpaC?}^}JEv*FvTH&<78f( z=82q#@#0^tLZ*}+DvMr^UI<%vG;&u>hJ+Os}P*0?iW{V2RXV025jrt!~h$c-bsyWZUw0whb~nkM0N9q1`i>bU0vZM7E@!(_-U(1yXyw32p8OfmG3LBF;%b2NW9B1a$GJ1^%;6@U?{_lBj2rP7Ztxz(Iqvee!b+aC-;b zQ@oWQITxGA*H$L)71GaB#VHWX4K;Y(-{!={<)br&cGnc;bkp#bxJhN)>DOxI7>aC; zpn-1=@7T%QH?Nh%|7%dw27WT(ML7Fc;%YL+el_ZXVi z&Bm1{Uk}Oi9F3PU?Gu1|m<&dppksqpG)>++nP!`uTzHsXTRfYmk+!voS#%Wh5C~@Q zg~F{_JTrKn+*(M2=_QaQEgC)R*aFU@#F@6e`v_DSCAcOYU{yCY0X~A$t#%r7BQfeG ziukZB&C*1GQ)0f-Yohp!l7wx0)$V%ozT(ha>U#F%x-a-%!O2ujQv*wR?4E#LALFPI z(r24tGWC=fN(r~)0G;p7I5Y5gPTcdQv;`+a>{nF3stHq*$fBBIM<%0>n0!#)$5RUV zJNoMn=dWVE%Rt20UFi0`js>UOg^w{U$3+=ktStcC)Yy_mYy>Vn&8_fjrw3YB;#y!C>`FRR*qW3q|hg$H8lMtWP|La ze-f-3e5R85CU~%&0-<~zN8y4l@36S9OciyyHR=zF0Y9`DQ4^czDMXV?uya{h+*T3y zB{e*JTY8Lcu^mc67i`jqP$f}XE+?OZIGkGudp~hYpEb#l`rV;hjOtF%*=TiX(>aizq@`GJqKGQL5T31EAO`&ouw zi673?pkDN_Duo6y5Sz$rPL^}d${T(I+VVyb&v-{^ok5>~=X$z^*LgsIQF+a=AC;Bg zEn~G_QpVo^n>X-4KP_-ZII6?Qt`K%pkauR}_H=6%QOy*O7hI{XER*P2TDWmvef_E1 zUT|$guvfEoZ?^4ImYH-e?!6N`*SW0<`NkxOJ6LrRxRhh|Os;SFz4ggnE$U@ey2)H} z(5X6cQ-_wg%4wp)IzP~A$(;Lg3>7?a7tnOeR#%Qs&a4#`*$`3)nG$02AJ$6M%WReDc2(V(?cK3NxzKR<{`o#z{>o@ra_m;G)yr|h2k`tV^2tz~=Ww?_7p6SyRg zWuJPu?B@`2Cz0-?=tR=NC{=D=Ea<+Y5Xo9Hx+8sYgTbvyLG}V{A4GrR6vufQNhQ-^ zs?U~ZJHpEe6Q9GOLPXVu!l4lBy%SZh5YS%Ge3?{9r>#9i5CZNwcIgm zVl3h%xlfI4tRm~nn%H> zS;xhQRD)ZEg3`}ABJlM)%kodanFHUmj_C>$Q4U2^5Lv7Cl4>?kXrg#oR}A%8tx%7O zc2t-H7RcQ>95xXaM2Sn3T3+(s$+{*9Sn6c2Wrr+vMB4@2Atoc$GAvYZ@JA^g@YgPV zDO+U4)r2bhLf;C`DTr(jYTal zpc?W0*IRZh?lL9>-O%z{JO`m_4_EX3K_Y0d-_Z}P5^urE$PrqfU<%%u(|<=PkP{8V z*M6zGeja@PSpsMTJrCZOC}HPov9nA)(Dx)MdT15Q$<*EoF<_#qd>tp=)hdbHO=vq^ z)x6p1$n<@lH3g3kPT$XR=0MK*1^-xD3Z;BOM7A6*HFGcUNT z=~c`Q%B)RnjLMJFc)jaWfBW>9g>YpP;CPXRY}PM#L{0BLHDoY-vveoC*7o)JMG*_b zY8#-nrt@ zGHvNN8#hAD63Z1-i0{ERObs*=#=WV-gjgwSL<~G0i{h;jMGZC4<3y>&@#$dHwHHqRZK|EVY;o%4gjct88Io@PVQZu zEEHes1;IQboAj}Y_0!ZM9#-?4OFgVOhp$f8t4`l7oH@f(EM*X$+0wa?;GnP|Ltm?p z#_)zViiSXOLaXpErAcymn6Asm zsKy6*ePtii>CslOCU|;bve270+?irVstCKNq&O-S(IhWK{HbfyP>7kY9F0294`r06 zl-)qtLo?;;{Mm5Go={g9wbE)@Ft=73-`hGXw3H^*LBv)az8Cx=@=^jySIj6(#EAi~ z=bPcK+!9GH4dVUoj!eGKH;=^0?+j*0ju--~MY6=_{kN=RY0Tk#>~a!kI@^!A+r+|$Jmr}8=yE<|BzM7wIab)?_HXA)wCvvuDqnw$5H zIZJePKR{yT%RBm-?X&f>AMiH20(B(lCfM*UJd5c!H(w_Tkt+Hy*vv#VJy&y+dl2L3 z&|h8-VT33{87#UDAos9uLsczOFl0xs`vIPM+rc+`*qn0tFj9n>n_SwuLp*J#Kg-UnVEF$-Uo_t28M|7GIffNz0eLy z$%mbhhV0?6%v)YV5jny{nK2yqP#U)hT2(EgnF4PuLDhf&UVWr^TD!=~%~ca!jRJnP2h$1G}5O$XQ8b;lvXBqC%J(WN4kbxF#WB!#X`Lq^dse(!TVe&hT56X#s# ze9q^5KJW2*J#W;`dQW$u@w8tt)9qFc)2fG_=mz8a%Jy}z^>STPwRu7_Y)frCtDw1e zVnwIvF3K_rH|`K})AG5FJjw($cx3YdTrwMywY)%d!Qj_0W+t>ARZ5H&KAR=MZMBS13T20d&z>Z*R9G zCBQ~OiME_4*<@chc_C6i(S!F-j%Y6GBU)Imi<_OdPqbtSZAnu{AnCZ4Ld|1(^MsHc zPayOWX>fniJ!4iO9VS8J>>^&?*F0Z*q>zI?JvdrRWaDlXMhh@*~FL)*|02jzoAS`(|bgly>Cy;B~kcoR>$2~^?3zWmQcH50#7sko0Ys(O)&QayEx%-dnuw z4>PuT1YV~|YGiiziQew>!v6$^6f0(F=AMnZ#~?ABGcoA>(Rv`tL58RdK7=M)=T_0} zDAo$ijSa6y9NnpAe-$`RWf!)5tCN{PCGCN3;F^rRLQW$6NFy z_0R4Dkw(_($v2LI#l=%>DNAL|^YLfUCG;FOAEb~m=zL#_S`+5q7EnuS!`Jg~rY=kB zbkS+%32s}GJc;Gb^a@4F!__t{Y%M{=3uCwTU0_xq$v)@h6>|EX>?gIZ?kVr7gbB_^ z6h?A%%r%m~3EMeki!QvK z(?#q2Vbcd}`(GiU`SC|kOvHE{!^YHNC6$L z)9tTl7w*S5#9oG5ev%^ZXgD&D%GC?{cXrd`V~$z>C)yHeg%#O%$IGLu%%v4I%@}CP zKSSn0E&8)hsyzpiDR#8@?G}!65tqjTKd@i^kB6B8t^8LL(sZ2EFb*toVNdJjZ6xR*$^`>?#<2i*rL13yL<9I&_>lBZ(!cN>duhd$Sh zP%hEzxxr=Ocl6|*97fHpI-jS$WIaFB^PjIqsqE5`tdXj8l4nP~) zSuaIhCQht5qs^djqOhgIk6SskGFAe6!f=Fu60zgUm3+QjQp0gA;xbes6MYP2MH_Wh zr0d5J9EDxJ*q<&e$Y%o46-XmAw(2T7=g6mO8z~DYqn+8GCazt3udk@De$jR!bGWD4 z;AlW0%5N+-$+J9OTUacxmwrSi*zPsdx`l%ASpUds20m5WdaIqMhJR*Id*-<%pE&o- zNiy8J--dwhBS$ah(n&5GD$(6_R?0X7Rg0?nsk>tvR1z+wn(KD3@y{J6w% zk*4Oc9~3!X^v9w}U&fp@q_nHfP+^DyhiamWENzAE=IF|+Hg1K0{E!)nx8=l^Hk969 z*e9n6y+GEttCOZZjhBu{*~dz3iauw1%1n+*77+fUn#^v?v#BiGbthmGAR4J@Y^;(Z zdwxdv6pr23LTOZW=GS;NcnLR$2Dhf^=u1hI&H7)gWpP$G#-&Lwkw$TxYh4cHZr_2j z)7yMZCv~D5v)NH%_lHe*A;uSK*Y;Qmg-*I|tpQe<3OqsyVCm0_>&6a{YnHL`dXU2; zI3_ZAE-pLOo_?eP5?2|puVqu>Y)jtA#R!o!AXJQ9celHA9Gsg9hkbTPO4!~t#@bb! za64QkcMfmFs85p9)j9M1^bbvBXuMYOPa>UD@uJ8IrAS z*+}(N69n#mo8ZjQnZ>OLVpUUSe>lCi^3HnGlg{*78BKx)EmODXAu4(Y;-CxIfSA z=tkFh1;_ht_@BVaxjp&$!#E=CTAVIow%eHPzHS6U&v^NU{KZm2F6+Oavph=R*cT!# z4OPO+G)@Lzj};ud8+@b#!J2T`kVIqyIEC5&8ORqB4K=r>Bv>y=h8TsNK&7tm@(X`d z`myynClqZY&eu)iz0jLwL4P=BXvI#~B8*#6H-*iiv_5af9xO$_xBB1QKm=jlw3GrQ zhn!f|cMwL4=G{~+T29H#ZDg`;E=Rod8L0WXJWp-!O*}%6@^}YxC5Vls3 zI=m=}8C6QIM^=w}9~*r8UhHlgt9+lAtKLxO%TX&l$JGlKl0fdqG>t#DMsVLDVJ6*A2 zQhP>omtK{BAhD`Jh5r-Op5A-m{wCv(=h^8Wr)5vEH?EPNPJlaoa%aXN3A(}C19#3_ zXyjN*#N9sgh?*M>yG`xg>|F%`D(MZre{%kCepNm-kp^X{{ z-OjX>5U+Q|C)0>E>3fKFH8YTpV^-}4pH|pXRhX3Mfri?B-Zk3kHE7IQ?G25xDo% z&NY#kOL#R&!=z5enPxA#~&>33thjG>MG8IKuq#>-9q%f@Ui<%itLoV#v5 z=tkBkmVUPLV-SQ!`m@E*$xj!wmc9emJ8V5Vo<*YqTQ}ri*Q_hfz7eI&RR|0K({aX- zy>fGQTs7;nFGb$LK*=!DC*SoAEm;{UP5Mba1?xtDj1P)}S%{`Xo- z)aL7SB)aDhpUqiE%B9fgVk#M1wv6w^Vo50t#SC_~{_o*&YGty#{vVHFVgUS;2UYX7 zN+~ZexkAD4(JWNLoG>oXIjgX#b@Bu$q7&WHr$aQjw#QC^E%)HLpgH5Af_+abp28sM z(3QfsQ{+#17oGnmse|wdfGqN8=LBOZKc1oye6E~t8MU^p0bZ^~h4W^F3fkslHggzN zu^IC;qib6|_uakSm|Ramb)Jy^lPr%6Hhr$#xW%IsOzU0xLEVE+V`ok0=~6+Yz79(m zJ9btR3WfcE`U$ja4B)Md@HoW<($uE%&%bg>3*seQ@I@S^tp%7PHxy#_qCzG-vhN{k zNMBsD$V|pctD!J2pDl7{Aub?qbmJ}V@%^96ilo5-;v$1Aw6{{sV+ae@vVnYH)QB}C z-r`ls1vXAs=<@K9e|aley;w4yqV=dOajSl4=4towlaCJvI35*Q6>Hjq0IQ^7w$`k- z0Ld%l5zN8)Iv1^8ty{`pj_EWWHflF`BfhJh$b&RGU+!XNQ$#((J*3-Urro%D?A`fr zz=rhda(<0oZC>gp=X7uZiC<1=c+^u)=cvcB&DQ1&;R9IE*CHgQyqT_~NVQO>R~DE7 z+Pq&P28skOqRyeDVYPL8y4NpFG1eN{A~vC65pZ%A0HAAilr7C(nFW|XBM*}pcyr-?(?^08W+u;1b z3+`1AK1*%z?ZLZZFnsXy2(nb6cx7I5~=C@570OJRLs4u<4&&&ya=_L49~71WqjN$sjyRF3QM~u*n509(iD} za_Q?37f6LY!G1rRLB$G6L+{2C1sn45^lw#sY)2+4la22f8Ugnqy$bXMUe?RM0u$FW zO9s%#A3K>D6O`RwGd+d4C=b|M@2dYSD;g+j3X8})(f+JX{*A}NV=?Q+WLWTW1fy|I zd~L2X7mE8w4`i%dT@CtFOV0BMbI2&HSL4&KTl+m&5u@B3L-GhLz%zq$%cx$gpQ5Imw9k2qedXl?<-=dxMGXyNvu-zfe%J6h{RmI7b9;0|d*igJ zl4jaCqG<;EBt-!iG3M8P#8BqO5c<1nW=z3X-p2V3nIY8+(^t10 zHv#WKnJY&;K{GJI_)Z9%fUWj1R{CBj$_XpDWBw1eEK_p^7#|B`rS5!a|C>)9tvtA* zF9A#HQk)wZ@=XulXa1x3Le-0{#JB(y?4&zAncV&;lC5#GuS^kD@cx)xc-I$_U^qsbwGLt|rpq7mltAcOj~~kuUOwg&R0OM1V&@l-iVhU{UN62)MM1u0M=)Fu55V~kwtVV$IBmXv8PRaH5>U;xu+URGl*nYsZ_+1 z%s{#P=L&)@yknw1v8_kU=&pXYzQ_twL<~PR;S=g&q9}dg72QgXj%yeQpg!|>jaJ-T znQnbCGi5@Iq5n3Q2K@N0?ZoCVwR+x3f7?!aY^7w5Gh#Py?TTvq z?~-k!el+6f&4~L7s_(K*qsD-#Pz{nn^!IJJ8#4z+4RV|P ztK|hvcfZ8)1rtEHaS~w`R@pb=nwLwip977Q8qd|fVq$_i_^fXmOO#`$uBieu zVX>1|>gUzR%Ghs;gobo?1=?0arSyDKq`|y0^`f!fs0FN(2+2_GV)l4DX>HGD6kgfI z81cL|rgF5cROBJV$aA0Du7>1RI(_4(bc*~g_a>5FTd+OGVOS*zODgNM)L$Gr3ndF* zpLdlr6ZJ%u`ITpC*u$>@RO5}?-}_fP0jl@1(-)Y)mt>5vDP(`%)UA}TtaPb#y#f;B zvkbgOWNm*I4_iF*nk7T$ST{>IY~e+E7eU2y|l2S3@f6`oAe z;yILe%nmMvvk0ZPGnjkTG9DAqpEbTzmX;khZ}1s=`>`6K!Q42kFov*FxnpE$<-m68nH=y&bug*ss76)Lj<0 zuE_~CvQ*Tzc%b1S|E@%jwz&(kS!bZQ{g zSiCOPCJl5EoyUVd;le1=P^p_q?`Z~1HV}cLY*>QUFYY16V5Yv5QV3f%u zC}#IpHWivV#ZOWA1In#n*=r-Zi(cW3GHQHnZh`t9zf|65oTG|N@cbE_fN8+PxF)x# zLA*2|l%^_JXptU;uo|^Cl{Pji>+5enPM;( z%Js<67q+_-IhJAf3OF^cR=D`yduPv~flhof4HIZ-X17wA> zY+(;y}*W|TMYpunQP4yDJYv*Ruzp9oloWQY96I7Ar5o1W;) zegzN=xwn0oB*5vEVp&ifv%U8~A_g4WyG@V7KXk{O8NKABDsYh|(W^JxAvh&RviWY( zsBQW{XiE*}J$yp`d{}#EUK^K4F#WKo@{d5RAg=<$wA;1 z9%Rl+Xzw*T^(Rutl8XMpzLg+PZtIm4DHyO~a)Fb&^%+b*wU*J0`5n;0ozN><|w@ z0YX9k>vykZrEsnbsbWGHOpnm83NwzjY|b|JlU{+1a-sM>=RQTIqK3ep=aAm4dUz#6 z#*kdWcf>YSFH*1bzOZ_cTSa{btmpYjh|oeqDXa{=1!yi4whSaO-)SeO$K@H-;a@*28!%}bMFB>8Sy1#d zYmi1$k&hP{+#EcurwLDcNsfl_zf>~jGXkx(nkc$OIM)m{{2=j;-qG zalOSdiPyUn#Em#Kw?Pbwy&x3rTF@qEbPQu(${O5{_3LliDR{J)S^;YP4FX?TX$EBy ztz?rXNxNd2DVeEsGM~P0SXFb07e*yf zh5I|F1!K_T_;^ZMTb3xc!zc2o98UfyS&{b|?zq9P;S@#X)kS8Gs;6SAU?k(xTsYmc zv_rK%0%6}23s&{gw-1_f#~JOWpUgeAOtN9{!(-3k$NoB?#b_UrE!e`k6Xi!KcGfH9 z&#!7Jv+Lt%NQiKw zb$f?-sJFa?_?UtP3P8x$7kgzmbW@E0%5iGH1QEvHWgZLKp&pEvt z=YC8-w&31<@CR#q=G5yBuluYChTJq^s#%>q=!bnwa%WzaLM0>pzb#n0LsO)g>bsH=3~b%=8Vsg-@cfjDq6dJ`MTGP z?JM)u)CaOGNl<-3NSGfK5u4Y5oS%96UKH?hC}hir_B*2Q@T;+x0qFWo$Do;L1;ml^L*8VOyyUuQ*0fAZk3M>vw%EI@bK9Vg*GwS2Ue&4Iy-eul7m zbFg3IKn=V5$z=R8luqG@DUV~mod|oTthAjyB|c9&p?Y4c6qUZ z&Uc^6Rx2_Px;FweB1TxQ6TAIOVAwa0^IaT$C$Z6u{`ma}8`L|8#!viG@5P#84n89F z(U4CDNayi#)sNQp1;4w`@AECw#q}KwK4x2G{2mhYcVywVe@6O4K@;aY{8eo>_HUP( zTNwkZ!NFAviHScs2Kfd@)5E)Ls>Mhp94Sq$iB!m#Gmym|NY7DzHKk%ujE4{VRar6b zWfNw5fJ7zwF4aC)bkHqpJH4f_X;yQ$r6t!Gs7`}?oB@UjOE^3+K4w)4yAn` z*J{2MM6R9`K6_Ud++cd)B9COO80POC9H$!S#uvDx?R1J_9FU0}vM?Re`rg~0XYgvb z&LUsXymDZet?2nD9Su**oeuZ$$C$eQ{DHy$A# z*+2C)#r+Lq>p2*1Q--6+6v`Z*TX{x)9gNXZa~|Y48PERo=vqMNQFA1P$`jv#4lD`b z*GzRD+i}Dxc|P8^?gPv2#G1e;LMOuzI+mrZZ7O-zh(jeu8(DV}&D#n8t-P5cQ{(pi zyIa0DzrFv`$#d}Fzj!?*k*)>pxU%J4k|3XnWW4!vEu}8=4Z>NHeO=$@mUcMw{jm$z5Rr| zm);0I*57)ClNZy$iV2gJ;@#L+Tm!D{_4jsF=E4gp$U{LR)J&JV(PJUtf4eeh{)6J3 zvF`M``Dt-g_yxyw0i}0$0ru<9l~KJe07Q7FzvukY?8RAP8VG&qi*U%_7BqQubVMI*tKs;aPrf_TTX}-2q^jpepMmro!Jur`TJgq8m&fN)L3K`35VI%SD?Tf6(1G> z>n4IZEnbb1e*Xw5M-87xMw<^o?_Nm!g5g4d|3a5mvJo