From a8bef81da6bf437b999dfda4cb87dc6e2244717e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Sergey=20Vostokov/SRR-Platform=20Lab/=2E/=EC=82=BC=EC=84=B1?= =?utf8?q?=EC=A0=84=EC=9E=90?= Date: Thu, 22 Mar 2018 13:27:58 +0300 Subject: [PATCH] Add IDEF0 diagrams: A0 (NN model compilation) (#30) * Add IDEF0 diagrams: A0 (NN model compilation) This commit adds the A0 diagram, used IDEF0 notation to describe the first level of decomposition of nncc functionality: NN model compilation Signed-off-by: Sergey Vostokov * Update IDEF0 A0 Add name of root node as A0 Fix typo TRA -> TRE Signed-off-by: Sergey Vostokov * Update outcome of A0 diagram to Target binaries The main function outcome was updated as Target binaries instead of 3 types of outcomes: ARM CPU executable/ARM GPU shaders/NPU executable Signed-off-by: Sergey Vostokov --- doc/images/nncc_idef0_a0.png | Bin 0 -> 45005 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 doc/images/nncc_idef0_a0.png diff --git a/doc/images/nncc_idef0_a0.png b/doc/images/nncc_idef0_a0.png new file mode 100644 index 0000000000000000000000000000000000000000..d1ed9ad49c158637229cfb64378f3f6ed4460f03 GIT binary patch literal 45005 zcmdqJcT|&Ww>=tl+W=8f5TscEr6WjhZbd+<(n%XPnk=_JE1f+zXAYDbI zgdzk&2}Oa>A|RpnyTbm?@7{BN-#z2pd(Lzs<9gaLI0Kd ze_t#=JuAF;*!`B~&BLPyn2yjMCL9fVfIyr>+*0~e&wJq4&_i2Ro7A=4>`fF6ZS%8V z0pYhRQ6&|uiH}xSuoCAjxlvg}+N{qqVGfcCzZ!A|mtF+iy1b&}VBzFw85e%pqv-N9 zQYqx%6>cN`=qOrlqsWlEOmiZE;lCg6|7{)q7l(ur zlaySYRNPJU{l`MzN+Xd-b8~a%+cSoG2N4MBkN?>9UuZa^2b<&HpUQt?_;NqL{B%)B z8~OR9prAlYOG{^cZ*hEbiioFq_9Yrwc|H9EeTX!UvB9GF^XJdzyBoc-{)0L>r^A&u zH#emZek!1NHmNhpw+g?Rlh2$9)N=Qluakq@FZkG1vd#LN`;`>W&YRu-f2$NG& zQ-gzpU0q%DXB5*q(xe`~^Y?@Ix3>IiUQt^33#Te~raChsBTou(Cgb9T?UM+2yl%00 zTw38-*4auM!nC`DxOk=xuhzc3vCT~M72hW)a=Xrv$ztVKB_tG9G=l4Y=H%p%dkd>f z3iztzy?=j7T4$AX`Z~7YEtjgwB_k{A#bcyimq}eSWLMm!f4j(l+a9pJY8G zDld}W^YiSCGW50=2$qJkOXoeU?s)6v9 zdLdDRhbauM1;yv3fuW&T;>#^rcq#f8svISn*lHA${kqu_t|(7*am`Y4vn7Xu|A&~3 z@o4SwDvXWy-MiQDWfsLoSJJYsr{5*o?igP_ZBd+nmg;efZMKB(LkA^sN4?KK*gCnW zGs7nzM?qJ%vg@l?w3t_73EDmflY-P1i{gg1=Elb@8$^-E<288h7aOg2F0NM_d-gXX z8SNS0$I+C+B?)?D9DMSp zCO$@oVxFmIXlUr8LLMD`N1TmgZ`HyU6bP-qTQ^A8=KxXeILoUdegstIr!*2zV>O$*9SA{D&3r5 z?D6>8UH$-^cwC;`rKoTdAw#pr)=AdJ`7A{oO`g_ydhOr8-(I)V%*I>eMf1Km#8GZG z-H_~p(yyCL5taOJ~=Z5lPX6EN38pl506-nzDsSQ9`j>Hi9v^%?ijNPF7V}FCiLto#4 z{7O}>l4YNWym)nAakTu0XV=q>1S*H-_=Lk%GCKA680ijWXJ@y?+riepk$&6WKCipu z*ROn?2k!3O1{yhR{hBLBpIyh+TGWeFR#maGvRZL!;x9x#ADNF(&X{aZQP0N1l#9G9 zANI9B#ppfJnt1p)N0Sfyeq}-Ow9{OJLSP*q9r>|@#K{o1N4H^3HdcSm>6}A zeMS-XxLXaiRz7`qhPNDI({Ln*nk-W6#c34(?e_Jy`&Ny*3hanHSrFMtX}T!%)!O!lI4=ff?hK}%~wvi(2@DVDC=`4irQp$J|E`1oM{%c z?Lk(K$B|s59Bvlrw=aw}#_C8q4HgC7!Ivc_vMg#R#uIrm5D{fwc}#Dja09eXn< zD2R)p^J?2q7u9Ur@W+jv87eo@ztaj=|5#jyu$G{fc~vtxA)#p2de)Y4b7hvO77RIN zbG~kbK!7B%%xL=90AEIVa7WECfIynjN|6zll9EzXR1^^rQB-th{?^xLRKqY*7qolI z{IRxM#@_FK!gD8TC|`(#fv&InxZS^c7EP)OReG0~M@}Bu%5s;$VzF8p8VT&Nhw0f~ zAMux!X?vq(V{dQI#jyUuQL)!g;qjjmw42Afm&viW0m9c z_=N-w3YDvbeAcV|_2l+2N|9-5(2h@L_fVBrTS9hSo%yh2fmY?K zjLr{`)V$>a>w;WeMcL?4XD-h`cBRY6$f!Rnaw)o*B4u-G;Ylw!wjr^VG4vI?EYGc5 z9HNOD4WBD9M5TfU#}k8tgY)s4j5N<&q^b|tY%TYiOVW*PtuF@Odn51Xd5V{gj;={Y z+d3FReh?)(jXAipx3~Pj%@588la9ORYxb%!jg)Aam)nuTvC6K`)MyXyEeX%-+S(Ds z*;h&zgyL~y3)R2B&{mje#Z~6CPrIv$2m~p3|2}s%oSvQ@i@`LPDXZlGj4&Qwd3MI^ z_1giGE2g|0l|jO1YuhI=(L6JO?;s6)_ixD7O3{ha(kkpF_Vi?ueNm`n9BF25&dJvH z_qu=bhdA_jZrp1-Pfr5^i$q=~8tpjrL+)&NitydC27Cw{PFB zYO=DiT}{@M<2e4uepxXYUp%9cR%MR4_s@gzxMcu1ddG9gQ9h^)^g?UPe$!+HbHvQt z?&fOH?kWYXxY^&q=X4l>kewK=@!MVC++FC{-Rjs~i`X^VELY3aQCG)BUQ}@)ng=ZR zz#RLn&hch$Y;KMOtPXW3?pEjIG!HJqHwBpr_2Pu=?MOL41SaSKRG0F|V+;k`VTJ zb$+BSaJ#aXELix052L4^VY=G-B5ikTl0IY%CYCgJ_*cSAVeArJ&E+(F~)?x+(;Grg?9-&~QIxw<*s_oX+swyLx2p0<1{xK1rr2}={n z&Xq$>ivWVWt}=xF>ci!I(u(TubeLzIe{?FBBiv@;MqH05#sr){Pe9r>lLJXXx{B2ltBX?&w~!RjQdBH-}-9+6TH{*I$19 z4=V8gV&(JyRM`LHYyaPuI{yuo{J&yI-V|!_7PNs+OQoo-EvD^iaPKi3cYBRZO_w*f zn=L7M3G0@k)2o{hFTHlY|8((ob&cX182wW_O<`zwcqhjEiF5UWvZ3Lb)eCZt5D@AZ zyzU@~Gi1Gek1C&Xdd&?=`>p%}9OA&KsiieXEO&-NV26!^LyLo4b=kt*n*mhPxj@@m;U-KRq8_FmBgtUudpvae-946(a9|??j$d-EG;>Z ze=;#KmGnCVXq)iGwvb$Vk_$%WgMR<`4EcNBU1pt|O2T|f`q?-&W!umva5kJTv(;P# zhr{(H|8@$V1>cSN!1?+h< z4ifgv-&$H;un30K|8x%8BzhE%r#RoF@=kJx=IeHMT3Tp+^8e;aOiPp8O=-4-ObuAh z6BR^h2s;zjFxuY8DjPKTLS?YnZyx1bW5xV!X{jvnF;vJ^Uh_`oncUI0>O}^f$_vPK zTO?s&v+9rc^#isymUVJ0(LFgiydm{>R&CcGV$7(E+%pD0ZTa;qLM~@@*g+!CE=jzA zI5){tY^1>}e&xzT0NF|xilaLzS}XStcnc(uXg|H83909ZxRlm`l7x!hx24Z|h3_=Y z_V)H(-t4xYi1k+(85x;h@aF1&_Uz!|#eTEPryYELd&|KwnD@8CuBVGYp%GY9S2yDM zb!R8AZbVq|uvIx`LQbsoPHIzD&?B|KTyNWVMm4{096K6PPuR{phrO}69cb^-V|(x3 z=lNCjlr{LvzCUsCFUJz6C###=_4W0X<94msLw5IT81 zFMrWBzMz-g+QXw~fFXbK;i*gfv1$M|A)9x1TQV!Jvv*ZT(jPyLJJz-m#I$&gah_4X z#VN~SIEAkMGE>-uPflhNDfT0z(ae~R zNnN#@7b3A(39>?kiBNLe%IfOs$_ig58@&qbP-o}zZMG$Exk%ObMglFUzu-4@LXsy| zH~swlxc`Ke-DVx2kj7F8TnJOx&BQN_F{)hdrga|VxC-v*W*|YrIefjn`z9BgPeT1x z+W#x`)TMmId*z$ecayuje!vS*uQ!fGmcMnYc+<}}&H#*!t*z~M57S(0 zaf0O8@)0Lz=ML*qSK67`S&XtQTqA|F`Oi-d1LhA856{t?X^G_*=ixttEH;X%vdGcv z@)(k^LP{j}cnob=e;hp3ii0sUZM)rA9sc?A9&gMb>P5roj~{Ov$8x-tEf2kTVbk{Q zrweoN9nux!^xNJ)pPjj$e*4Ca8|LO|d-bU2;6Ss;FWqdd=5Y1x%)E-x@T;e3nvb;& z@LY_1Zfum+VYBJGT%z7$Pik{W!Ea#(ZpZXES*i%$|iO6_Zw&G zLEY^&H8WE(mj*9cGamWFQawj6>gZF~3KPK!(Fm)HEKsvvDgQX+YNRs>b8;2QASEJyx`(Shoe@JFmpQkI~Q5EB0jzL61+RHUH!LgHG9YUKuhMd|0b ziLqkw4^nyTzfqyJc@BvU4jy2*m5nFl&wcVKruf!CrS1RHFix*2mfw)$K8FPIXcx1C zW7W4q!fmayp15YdST*ZKe&Ew<&PV{el9$%^fPS5C4QCls&_#20r1^G2Pbt^+fJdD`FK zAD$|(7{r3bjbOFc!@Dbodklr9^ zt(@}LcE2N?u%GZ5zT@g6qK_(pUC6MqOzpx9)&-gKdTgydbW>MX54*>lsPU~5b?$`7 zr0!6uO@zA!6^IVI8vspmj~R%E(%Pog4RRrC@cHdHp?GyF$z`iBAbgsptC!E*80H*^ z6e8IlvSje`=eqA#XJ>lyCiWvQUc8u;W$Y*RuJZ#h3mZ^#m9(i=pO5+>J70ajZKkg; z0fYZGxyTZHZ^vhGLUTRQs;zI2&SFJws55M>cLX^(**Q5mIXd=umG1t>ssdh;fn%847h&*2Io{wVd|_aPZB zG(-TRgr}ER;pR>9HBq;zq@MH}A^AZq38>IA{eEQOCGAubuL(w$=4$5=1(cD~_Uzo^ z`t|hh093c$#F~r2Eab^Q8@P2L&7abYtW(Gf8v5xHSB=di>#u9N*d7;bydSN2e3#7DYVzv9UjvNOk8{5`YMg$kK3IgfVXQWGHh;*!i z&(`059qhv6PlYPAqN2s;Fhgz%Tfc8edtpY9_Pl--$QJ_hMNQt6+1qBV)L8`l(2f6D zA0k;P*F25S&gh&1!UXs;90`cKP^B-kp3aw3ApaBNJhJb`rpb0=Wym3i%P@hLZe%c?Dr<5PGEcoty{cnJKNm-DG zA{z1i{Xi@Wn|yq0Hvs4A)qE?SRqN{6+1XikPR@~Mc{V*-W_JtJb<7HT$;;m?iid}X zRk;Vm8}~n)#9yguWc93s|U0* zB)KfR`}gmwykdJ;VN!B?HkhHmI8B`NL<=gMi;=24(Y�qPSO2znA=l+pChSSKFJK zRKpjZWZCs-PkE-Dafn7sdaqY14Zzo6Uwv=%>&kovc(0!rT4b zcs!JF7bBaflvwgLQ;y3`2&QSQ;O~JIBVi|R;QV}(rxxP&jgxmC5eZayHGPPa zKIB;aN8jZKLh;d6N(yP^uS$pHF9iU~w?1}x{^sBbA}udgk<>CUDyk)JX76#Y-LPSi9eWMqQ@ zkXTaNKGBqviH$XcMRixX=?i)JK@zsQT7cg#k@Z+TGc&VDuY3QA^%mj4g|J3%vm*4F zO`fyWFB4LdlL6Ir$gd7QK5$sVOFFDFU)fB)?L|lE1G$3k2=P8Go@i_zRm=f6$!*7H zURSl4XsLFnx4 zMu{_bZ@L}^F^Dh(L?$8rc8R=Wer6NUC?z^G6cP?QsYJ5Jp>|`=9Fy=`EL^areH7V; z;K=qG_Q|fQLK*1jt2O7ngn}f+YdFVn+<#}whn#lo*s;aMMWJ~96GxOToQ!B(gd_!o z$y&6w!ur}+#HrA)%jDj+SHju&{_bwButT`NIJ3^`e%QHxvv+xMvO`-#X6rn zW~NT^!Wxs~0ANAhvF2k6!yZ%&2?>#vmF-BCx7TU~Sg{C< z24p9#-sNlO?j{>G<+HiP0ke?0umJR4f!zQP;VTC-b3$@*G)ddf*B7>CRdw}NrwS)z z>65RXbpD$cz@D=Sn+n@SQ*tdbG7_}3rvSw+TMl!_=)l&YynX*IdbqFe19=0Y89lp< zJ7^u@S{F=j!cK%0Th`|_5@0CAw1_{(-V3pzfxNnjLLz~}Wu|!sMUY3Af{%x}(5b|I z3*W+78!S56rck((D$2_5I&Fbf1rlpqCw8IBsoanMK(HcIbs$47EIdr>C=c4*fo;me zaI{`z|KmqK7l42B_4BK$s_ICQ^;(+h)X8y&bOY!6M#iIsO}57AWb677{&o$X`Oxa^ z6=F|gJuc=k0BFjiA29StRW4?_0Ukx-iIDnq@&?THX>-vcr%0=JfPLjTBIKH0%dP_n zo%x87|Lgp!wx(vH;GYz8TwC4B--W{Roy|A$1bM~v@l)&Px!vmH)H07Nterbe~MN zzO1T01&^8OC(ZDtb({&iNq%`q(s?+B7gM{8c5XiP2C232^{bLld?_{$(?_{o>vrSD z6Oa3FjWG>K!|FWOK@8EW-2 z)GrMC%{wkVFLxe+71(55O8Jo^H))@8QWH-|inPCb_XkXLr>&lo3gbM7Yul@c2$=3; z^zQf4AH1tC^P3z- zHZ(}Hh}-5+GyilE5ESeWbZjDq%8H4|LQSfcdEhX;gRd1%Fbnin>c&}i>hR6H4`nt# zKmW3(+l_`h;`ylic9`uX&fSp{a+N=X!{BCh7K!*p-V;+ej4uZjbg-rB}kNtTEB_K%z$0 zs80?l3rX5k)5ssmY|{1|}Av4xMz+>!`w zF`vUd^Q(1hqhXYG8v&;1RWYv~hClbrIv=uEM}o|UBQWi&x(kfP2<>dx6gNWXZ)S8l zNXUwdbF=c--lL_mc8@NF;HSqg2|t=qR#x`@>ky*PC%^pvlR3vTac5_zx%t-2J~CV@ z2+VBsx{R2FH*ef4OrBkToQrrgG)<+=3g7+w`4d7m%`>WB;D(I8fPetqv19B0wP9z3 z18>^P#)4p00nyOZl~81F`qAZ2Uf92}IzL_3VCCw24*P};G#7b-%6s6z0YW%Xb`Xbo zd;0pOmVF`A5;h8SsB||hu9eRJg#@jwt!?G@Y)8qV5)kQhiSykgl2yG(N&hdVu>#-B zi+{^<4p**8B#YDC_wn&LJdXMdfC;)1{*cVC{nk`G@rotO6K;2QxahH(?Wo)y1+P$UM zPWtaNdAKkNb_3f@>CK(Z`NI7CtCEt=R~F!007gp4$oN8yX8#uyQjI_ly8QS=->u(3 z_lsj0?f6Tg*r-+HWpVM9b^KX2YtclAHnp|2Lo1iFM`x`}ooklk?lD7*m^gFk(xv&~ z8dU8h;5505MG8_yG9EMCKYrX5U_#~DpGEv;UKkdARLGT$H;#XsXEv?ZJ2)s%AW zI_Xk^Qm}CC+UP0suD`jlZyYQvyz@pvr)l~fupo#~tGAP34K2~W)0y!O+Dv;EnN%7$ zHCUm0BGBq4u!Z?)6N^5ens-dnKD!Rf7)PS)v0)SRKVAC97WM>9ISvr-BUjJ2MNrnO zD@sS^IXO5Cf)b?~lk^nQfZ;0Xj5~~y0SYa(j>j&kE&#G|rczX`w0uMiH}7N!bcg~zm?nlpialz zp(L?{=8KO-+Z{W8TwS(!=$=DWvMZ+DaZUk!7Lzi2Cm(Myv`TvD#g}dafKliOf?>- zf|jNt3&>!k*-#Jg@iD%jEXG?m!Wq^8?AOAN&j+XpwX$QfG}r~}uCV#5^xd-p^2Fvh z*iC4(V5I8hOn-$m9X^K8G7Lt)`8^kZLz$Kr*XPvgwka1Wt{hmeMo;cF_Ys}zfbC9g zv(8kisi|R2N*)mCg)H4M8Lj&rO7%8t?Ke{Q!c{ZfBUQiVYrrYfwzt_ja%7@X97tFJcMM|m#w$dfvO5~0*u;frhHdVIuk(W8-ynkOY zQ_;C;SYYDw(&s}l16Ll9dW?#Kbu`PQd=z<|O$h-6M@IW0vzGp|=_Y@69YGso zqEzH2+B8cH%??bUvqnviAc}@^Rce<65A-nsP{5Y~4sRSB1&hH3Cn~~<%6SCTQFS@B z8~}h0qi=y<6BGoah6*pnrh{WTm*$WC6Xa(QoyF;W!S1wIeJ782$fRJ8z8Ll%J2ovm zWNU+z<0#L{kD2-P3nq%>EP>2E2~-<{goFE$;`h9a{2=nfX7DhLpUd}GC?r=BXR+;K zS4BlFQYw%$1U5^cQj9aZRX77I^LD`(=UZbY_G|_t$O68F*Sc9T07R}Fm>6g#rkk3Y z66gT#+a?*1JZ>+({SYSWHFr641=PlL=bk`g0JQB6NYPp_*MLpU4F?8~HV21F{q7GH z73&+zWcYk#!Et(e0~3pl_`0o3otEk>tuzI+U6Qm+y&B)_L|by%1w@}?!YS5k+sz3Y zOb%b(4Gf0S@G7Et536DwRzM|A}M zE-Tu0z});&rMMd%9bH*)_{pEdhyjo}jGeRmNqqz8o-?K#%)OEKn1_ajNGG5FQNudR zQ5fGQe~R}~1T%Q1=xoa$*xJ4hQax<_f6^W5EbK_^i#sI zM^G8TV^2{V1ZoEexuZyqDm1vAJwnSGzkPG47xJ7aR@K(l7EOGqbfLGvG`hYSbqGp6 zjtHVBNPbu45No+Vz)rY)X-I)2AM(G*24%958m2$dgKT^EE-W-45s546@j|?r0M=`u zZbZ|)m!on6YCQ5K8&JN+>VWIOe@MM-?qyX}CP-UzF8YS8321peOV;Xh!ufHA)5u9L zJG)zz+!cCcRpcGP>_VY-dh?rs{CIGdJvuaMJ-)@q@^Z->rt3S;?kTM)7Ky<>+R&zCcH1>hW2j$04mg zY$nM>eV!z|1d-&$pZOlsDc94_9cx~3|7MWcL+rTk&$jqp#^uMg*f0x0jJbgXW#bdj zGC6v_a}|^0Q>>1R$yGG~5n~Gdg=SX(*txP^q07KvFcmLNUSbPzo4W)x@CY)1US1>! zsn@>U|KHW;lxq;dfI+hq^_lvf4l}8I0ZO6#CznW8b+l)Mn&=5W?lVqc^23)w)rg80 zk86dRR_%W$39yCg9luGqc!(RjkZZs%hPLoBHa8yu>eS1tykk-pkQLa?z~pm}8H8U{ zYfuBYap+px+L~Wl$;-=wr^M9EYzN3rot&8dLNb-Sy$z-q0d@XM7ntdglcx%*BuD(k zB2`tt<=c#4lgDRc4b38LE|;WY9m|W0sXQRKlieoU+2wu9^!SD<+$N!{2bWD$e>xZ> zktkH=+I;P1!PT1uc$tC0Eq{!O0V8nHgC8GWJWccL`uU3R1i{b#<7G~HeS@5CU?sp5mXvj6`3&NhG86}Q zH{)K!Vl>)5^kE4fD*mt+VU8KHyn{CpvOz`a8))go^#qgnvCDDju)?IxK7$)QSKF}p z#p3K}2Diwc>FMW7rJTx91QQHnE^JHe0j7Fo&*bsdw;4=O#6{|h{2PD;D`R9dCLqkIi z&3s4%G>SN6EF&i727Ar+YEqjutRKt!=T7tyj1lBHa5!OzvqI*D^oSyLxr_HPv#7M3 zYIekjuJ)wWmoBzM@;lLFA?=$sDcb00!TTk1)C67?c8QEDWuiKt=&N+ zwvv|>+Lm7fAvsvFxV6}^y0r8iz7yfeIE*@!y5;TQN_~K}a&D^=id0zjP-K+n7Zg;Q z6hNE>$2rtP;161_9+@{cGU_9|`PF(y0?5ho@^UbA1J4VVlNXzo@C`hr1eIsk@8M;k zwFy>&x0;nG3y3_!!wSHbrRRVb@@K+20FwpptpSYvL|oeTFPq?dKzRUR09x4Kp#SUu z227#A25iI)VXb6el`uA2igHAN0ttrzubC$Ahqd6Px>k`$IMap**lMwDvp~~4^0>ml z>TQvt7-ZJFd{@MqGTsc^Xt>gY47_^X=Fq&S>+i+izgZ&{Jv$3oW5bu0I-%E6&;#XXuktAy7aRQ=i%<+)`~4H-QUK_&H|C>z$cJ@{g7mzdCUO}r~1UYq`X?G+qKv6Hy zq%&jwXtrm!Lch;XQ=@_7A-F-E!)X83M2fA}YknBGzfGtZ>{DWFT>oaH>@)FQT@>IP z#TY_0w6qFXe>>aSAW(*Uv2^v|XLw*|cSmig#!oUH2emSQ#v^|KFE!(x4~*x>p}FAT zL%Hk-&!)Zl^poLDp?F<2yQDa+Z2q}(odbV&Z^(;l>Z%>wzYirdK@VBfGdU#%Gk5C9 zAFZdkBJYY^=7gq?%$V`>%ycc;6YWsBSZlQwHZk?%HNJyUK?Q1W?3R&YtT3|9o^Wmb z4&MY+v?zNGilV%{<&Lg!c9g~aeThNoTewj95g zqerbZ=!69YwF$4 zlzk3|VP2MJ^nFSU0yoghky+6|lE^L2~b&A#c)kKY%N|60qy&_;J zAja4*2eaG(2H!4e1xUo?C(%^Pn*p;)n2|sh*%z?U;Y)rs!|v$>odbNj z8O#E!wP($AJ@Qfph9B_e6*?dZyRXz!zIntlLorL$)*ytVjw)~ufW58GaTC}Iuy2%) zDM_)tLR%W~ii?W6j(rPP<)TL7IkCTv&C=bK?GvhTk;*4;fK^gXGdkG~s^3fX2gTAla5$ccm!{2+YwNXq&uK znJQ#jskaJSr5xM9Nql>9y6d!##2`nV{i9QK*G#*c+(Cw zrC$GU7Q`ncAkS1LxGa(9zv}P5PP8w8OAQVoUJOCW82Uy;CjATIVI7(F_O`sQW|Wha zt!h|)3Xb!?n=u@TB$e^nfK4n%4^cVWx%j^E($bPit-mx!1XV|&USdyvs&^8oS3a*p zK(xYwEKXS3ZV~x~aq@DllX0KA-JtC}`0@Oz#sdz7M0l;$k7mo{OM65yQh-TZvoyFC z^ni_>S%``G+su@2u0A?EM~~pL8*(YJ9?i~5sE7~!oI+z|$2k=o0+$*UcZw}!pp>RI zL2BY*{W(sEO+Pj#Gk!)kRVz&RJ-NU}Z#aE!;6!4N!-EI8bFv3M2>T>vg57uUogK2# zoJ=Ou9(pq2SdpEr;-pE*rmG)r`7jN>%7ItRbcY}bHuvv)g#2DkCzmK>^6|C+Q-DI+ z%c@Q2TLgOAfjPJ}%CQF`vV?>uWKigT?d-gxiRbzn^+}%)6ZH`{?Y`I1;Wgcr=^`bN z?z&g+PQktg>2!p*JJ-K%bMu1YlC zLyAr4_`ysYDWa-QyOEqJx`j5~f;78W<5Z>35bRNE2fJnSPM z$^c6%T6p=ur>suu(0O=xK$f|DI?C!M=-A*Rh7{tMemAY7x4XL=ItaSDM5UxY*bM;L zEpA|fL`FTTK%?8BvjraI<%-bhI%s2Qsl?>DvhGhMJ7;I1?JtafyG16`dIB~etoY1% z5`erYPH28{t)Lgu>)*UO3qt;jR*&oS1l&+O7u(68dK$uscYg%n!FR{+k!T z>?SM8T?W+DEV~jHLllY#md*N~RPRZRHU06BdYy3~m^bF=-kMoz2?LLFC{Oga<-L39 z8)vvHfua$m+r;#mq3k>2&3tcdTYdGAmM#!*gqs$;v8mmn;Ar+rtxtyPJkb?Ci&;7| z&|ne-7ISnbk|)~E&hF@;Cm=Ne;)U}jZ6-hl4go;|I7m2b2N<)GrH2jd(2-<4+h}BJ z3R6QU9s!j>kFVeCDU^#~OvQ5CZSH~1W#&80O+48a0s1%e?X4{v33vip8*7Y6Zp{6d zjIkv(2zTrvZ(hEXsHbMUcw3(I!lp>BLoMfeI=DA=)Wr)himh_?(F^rg&+_o z+dq#7d7H3+_XwsQ2yTeVeh>KXNv=UBOh!zu(NR}nc4#Fo7E#LqYXU6RJr@Sm0YZ#_ zqp69veE-tNr@fDbCUM_Wdzob2A4AE6@huDl8is`U;y?T*)&^^>2yRyfUApb_3 zmkRfRpgjy>E3DP*U(0JILqSm!g`*tg52T<<}k;;*O4qD>j@t?eBLlHM{ z#30VzFrS{EPkZwwzgAm-X>oI#Bf=&l^zTXu!BJ;>RYqJKlV12^-Tm zZe-rI0$Mx1eEDnrKD5z&G${Z{oH7p)6rBG3@Y8h1j~5mc46MKzTbIE6kYtTY&sQz4 zt`=fY(#?7jPpaSEMK+)cR`oyew3I;Vd!Vj zi);R7dD#Apu8#rf1R|9SvMAVDK0Q7#0kI{|ZU9;)03`ye-5LO`pvXqq3LL3ra*-sR zGj<2@qj(I6YS|eO)hi3?09XL;JL@USMo*Q~w7D402%7=#M;~&77tj_}T7<66#V|0V zgQ%nieH1@kq~IjMiO0pzTWBsBa&}@*|7H&U=~)%4(`j2aYH7+5q0;M7PK4=;*UAR# zAYbgjhI&(AogznseG<=2aHlAw374}(=G|@KE}q8;S6&VuF{J@ zc<$9+ZGsGPP=_a?pl;3Q&Boh7a(sw71d+H^5I(Gy1O6}hIO1%9&I<}Vm$Cf?sIgp^ zpePbk)bVsHhqe=*4>3^SlmH*z%#_&;5DfD!pLFcd6YEiHAM`VHrht89!WOS{fmz|| zkIzpct{eyp3sa*ipK@)nMXYRc-bKFL@A1&iZbv@WGUzmX0$TCUoH^50^+ppsiR}5S zHI(kBvtbiV>*XfPSb5mJKJ~=`k||p8lMk${xKp$aKl%LPSrl;|`t}7?a-w3!KMR!T zjUmO047d+`GSJ(_+$f{_aYYGd{fBM%Q?z2QL)ERfw#Odg>MnQY2#N|EKZhG@ri3Ry zkK;Z_>`+3n33a+Q#Ngbx6_wFHSCNV3Fghh1^`9(@AS$h;IS5^xrlV$|zPKI_`sFEk zF_W0dC$5j<&DUJTuIRp&Z@Xkg$TRCI2LHdc*7yjIPqi(NEyvY(oQH=;KaEuYjq&jE zg_8~q8AdpvTm7D|w_w)oC(scG^9)514)$fOe&D}(@>e{V#xXCu$r4Q;a&fWOA%jVhFRg<$7*_4dum1Z(f#Xdln-e_lL+)-+ za`5Q`Fs(E5J^hBb^);I7`2C)J>x+|CM{X&kL8BJnQIaed!%?648>w%XS5|m-gI4Ag z`EnOOL3ih>dpS1p?Hw75m;6bx-A}pB_T?8pxjvMC1<9L#i~E@n(*uo%vF}gl=J0&J z9xbBzsbxYXMJBW?s$1mogYNfnCwWwLRl=h#yM-A&d8J#XR9xj*KKXll?3R<$9NpNX zt%+?Jw&P~06{{5;bcza#Tdp#g{ov(+zQ)CgHi)H=S>aEKWX(FyC-`X%ZSCF-SNjJK zG3;tFIdowsC7lHzoGhs4CjLJt`z zEI=*Mp1*MMV!1!Bn&oclr7_YY`T)DWW?;w#3aoC(xP&J3F z_AVZBlKi>`TFZk538%q?goKZNt4`=veO4C4#u2cB1s8!$_dyz1QbN`)!-O1t-<#Ll zyZI{X{rf%#iGJsc&Yy$Wcpe2FY2B!`c=GZkUBLU+_I88Q0O9ZKl)rm-{myBYSaFb| z^z`*v1xFXxPv7i(SK=<1$1pd5QQtuvU3hw)-u0+=YzT*M)9Xpljd$jro_O(Y>VV7j z>wmqw3=wom`4FN@^iibxt3qh57GZOK@IdGEO{bI#IOd6N7Hsf~@bKl`i@yduJdn~- zaxyZN!UNE*B*jMG?|kaL-{EU%14Z|qoVal1$`x+zn|04nQ@2q1J!>7M#98FNa-!fR z-zAF_Qb!kynDrmLx@KlVUg=`plLLiaPXx0HiX-9G5$1*fmh&SI+kNgJKT|VuHKFzPsD2q>_8E9%ALY_LU1B>jb8VoxU+wKaZYM z;Z0oJ3J?u?dU}xETU#~i*P4efjIg^@nB2U1la@(9Dsbx~mM$W7@Po9lFw}_;sii_g zL-m_S!`zoxY0rb%WPHErP>K<;2WfKsc~Mc3S)q%PlG5u!g`Ksr+*|{FeY@mKXBZjn z_?6sO`F7^XRF?eOSr&xvBfw|df-zPfzSP$rYvAMO2gDelFaqbraOzZEZmxxeh3DL0 zj(Jbk$B#yF%^e-(#MzT4PXZqo5VFCdQJ;>j8la_>E zzkYo#o*L;iH8e~x4`Mqe`2_^7Zpoh+AKotfa9Qnlb00;SvbZ=lI!Z%BBf9sXv!YNa zr*9S`(VkT`0Keinzk6XF`Y%XI(lF2iO`)&f6DZV{B5SDMGcz+&(9U~?7P|C;JxqxC0Q)qIBTMyk0nmafEu?ThSOCau7d21kUXu!E5C+Ak3pNqbJ>~Erl>5+TIM&pui zvCc(UREhr!QgHnS=fw@pX)!UeXD5L29(Xke@OeOCCjD25Q{PeJIjzFWYVcWuV-?eS zli8b<_REnO-e0qm`P9MWe*HPzUg?}+WH!Tf+tsel&hwH!g!qNRpvlSAxZ}eR0JAp* z#TZyWoj9cyq4d0lDd38rh^Qz9Nyweu7clP|G|cFL|UnlfNO)&I(I<8IMGl;^_e&48Z} z^6I%>fuG{bmoL(86H~%6J`_viMMxsz_5@q;cym5s;rKj%Fcsd4=7EMJt-9(UOUrSv zPzm4!fU-~~Ju*yG4B7$y9fQL6Rzsr(YRcf^foq&B+54VH2ciO&-}b zeVvftJ=2{71@`0IN01XWG=TEU+kLqdi9hn>Pd&Yu6Yr|Re|T0=mohDFRZlDpVyah; z?dp0-3y7iccn`OOf`=;gmUY`5K^($}ySDdYg+Xl@mb7kVwiY<>>9z96-?y&&zaEP~ zy#B}C^Zs#{yML&I|G3$m-QV}p>-sN#@Z7)h%m3+c5dTeQ{!hRBpATnm?*C`z^B-q* z?O$@S{-Ys7%HCUN|Iso3&1dyLu|EI(Z~z574Hd#wM1yf=-fvJbyUw>*_bnoNaMQX-W? z#!^T`$}B^f%9wekK`25A$y6jVB;(Gk6q!ZlDN|&ght1y3+C9(j|KhwkFV6p*7w7o& zsj&CG@B2Gm*IMgZ-zQI=U^4+NNxvfFgkS91wd>*OFZ3ubDEd&EqM6C=vDAwiQRW#9 zIBTKC=&V7Rf1o7g69?;OOJWQJL!PTBK-;rt5B3#uJ>A3JkdJqJzubGOPwbGrbdW%h zv3GFTAS}W&WlbnKA&9X1plrbRy1zy=R9l&OJ#n|Csp@b6AIB}Yb1oj9kId*g2DTiLVvTgb;*{0gSa1Q`N!mDx`*Q-uRV+P2Trep#T+Pjlew-cmxFH% zG`IMW6s6tWMu-y^*CveKbBKg)R5~~XS=O8^`#az<3sd}^v$~f zKR{xVZ_i2WU}I!77L2%KJNFQ>uvuuqtcCX-EZ70%s^nEURkytER#fe6IPpI8#f#NH zN}jAGGR#{qU%u?cfM|Qwkbw2&4ohL(xWg9CbuyQU9pZNy-hTi7J$jEI>?lCHs9y=0 z+4)&%4}$jC)zww(&VUT!$D9#bm|bsU&>+A!r@U0L}`&_Zk2k+oolVzgMUQ59p6 z=(<(J1{U%S$TPlUz0Z!*a`dY z1)|gREmhS=3>`TZDBawmahRXK&NO>7=YyEdl)AVY z5=wqcyIiXD2ZZC;`BK+7+L3D**M{BxhcImN)@be++&px3yH$M)L%+B@iKXKN^c??z zU0YQ({>YQ9O>{cu<|zHS2|(77;}bqTxWdrM;8xA6Gr+bE@ofCe%t3IeQ&*Ak-y4zh zYxMMb!W@0`SD7_AMa59goR%$nUn;zN`I0%TYR}zz8%@pdq$D{xIkAJ{A1%A`CKQPi zmmM4&()@=v+4iG)KCCf5#>10msxYE<)AQ)jqbOelh&3O> zsI9F0=13*7k^y~l+O!swJvSqP+{|fQ^D5-|^FGP+wm){wEiD{kPInO^pN~Z?$}-h@ z4SEub_AIPWi~0}jpb18?bNSP~#M?h&y}Z2c83A_$Iu8P#nTbirsB-t(gk36Yrg6=VS|=(PFY#m$?20rbVkOha95-J3e#aLHPK=u z06aW9rM`as%Bz`iapie$#kOt==}Aafm}pe(uctt85$&8jZQl7QJtwExlIXMZUcPGU zem=g`*RNmWCz8WZ(qK&83*_P9$>>|MOYP=*GoZ*R|;<(^1BdG z-^oR$O1FcZUH9tM{ej4Y^Sf{vhqGT@5XFMau&K{ChuTA3MP>FSuswmO zm5Pi3`J9_4tdCzaL3~5z0pp4dBq{0l;NZOFO;3!Gq@>WWuu*!;_AEK&7wEB-FrdC* zAB4gckc}-;<-#VI1ya5b9;{1iIacLV*p2^5E1Q~{q8m|uiX^|rSRj%Ik3BStwAEQG z8gmET2}T!GqX%GZ=)Yl`MU0B!rqHw3y-R*Q2C@?_siY{-yw1VW@NK2%tDqoiVF`(nR{YLyzco}$+V&D0=@WvO|GCt`-_;Ep8QAib7t;X zN0O7;n@GBamgsf?~2g>{Gb&?;bpG zV8C-wc<5JfVz%>_bPuVN%zYlbj>;oX#_Z;o-6-lOw;BgPCyhlJ8Ztws!hK=vY;1g9 z$XSQ|xYe6)1klne`;Nm1p1S6(T6BI=rc>6^Y9D zQB~d6Ur4nj7eMb}$D9p48H7HAOz6Ts(~eZQ=Y{g2tc=l*>laD)6_yFG{~hBn zHk-o|$?_3P-24hH_n|}P9XZ%(_G1@euK*5*h(bZ(XG{_lOb`tjXWk)~CM9X{hW@I0 z_yhAm$Z=berK4@ z9@i}pHmZC9bVlAY2`IPFnKL?PUWr82!aWU3$oE>+v)9^-FK4`Dxb^wLdT-m2QHGB` zY7)(B#`!Lrw?1X$;Fz3U#=g{im||aVngJI{ysJ7!Qcq$Bdtd_mNv|#?jZf;GYj;I*OzJ@c@>(0}ZMC%C9YrFKKPRdi zPR#-v`Se7dsWw}X&2nWpP+a2S%J^pW!K$nQ4*C|dL&SW;BU{8^`cnttPe*V`A?7%9f%BrmYM+(c zS~*SC>LL4g3%A@=fC%Cit$3# z4_YbTqXK<%{2{$|_&8*^>$ZH_%qoRVVH&tu+c@S>x2iFF(EPyyZb`A8c3!W2dy-NYR@@#^*cDVOwWW=g;^>s83&1Vo;}dPLZ}~QhMOg=KAufWET>}}K^;Z` zhnPVow?g!BTH8AI*5USVUsc?O-m6cnbbD{~oSW?)|D8&n-(p2B_?0+Y@-VKtD!Ypx$T1$~Ml6<7s-s&9rNCy&Mx-OBS48Cmjph z-9CL_O8(hycSzsUzC+g2+(Kk$C5vGNLreB{a#ln9mLVxgXX1p&3)>t)wm)hXuJPgz zV}`UWbMqG)T81Y5Oc)6#4xO-KX)zpYP2aR>Qxk<{FKw~i zS$)q!v0dvnymntpgcr#v=oq{lqTiRa~?l<$@bI<}CKI+qri*fF_KEK41r!`EP1 zsHnJooG^Fp)~#4hKA2RyAl--ILzJ-fEjhWz%=Jc3-qmGwGOj%}urGGDTI64I?j_Rx zQ&n4A*Yt6=(Nk1(Qfq0P=%ITzWkG17a8Hcg?M)W0R{`uJ$fc3}lcr1c*f(o5C3Z}NhFP9u6)9n*a!@`)K|O8Pc3R2`42j7Zb0z;Hk=VEUgLz<_pg*YpF1182)g*#ncCIJ@mvJC&ci7G>v}&%0whQlF80 zbY;Gun=W;r(GFm{Z8!dEVZ>Qf%;);1l(6Ec&SXTV{>hNN-umXjw()GA7tH-Kj40j+IzU#B~46 zME442S+~a^3rq1}SH(kD^GB28F7tI9WMzj~)3745AC7ZMHKTQuA=i9eGCIZTa#Y6#VuX zxD{n<>WL36TsielVyd++%lfAuNB7HD98T{uCC4c747Yk01&2jdxMk}Kh9sLebJk|N zwLaWbh&Icp)ly-Ux*_S&M;k~U>uu1{dif$u@T(-}SA4G^_=7`&Exyxl{Ak6OK=b#F zuk7$~1%v2?38LQU=gie5etL0y;M^8XJxPyPw@vn0Ys;*9WrYoDjV4-sVG_K04b?ZP z6ffa5y{d}J4RP+OH??GJ5%N7NUG_H2BOk(|PlWF9-smtwU)DW)?x#iOBL;g>-4mgk za#>I6H0pFc6x zG?oKNe9Oye3%9hx4R#HLQ5JgGXqO8&A=RQSnG$puYyI37V}6&s^mxr}@}ZP(Szc6) z?2Rs$vBGf4=gNi{*RBrp{EzH&+ck&HZg=e#KlW?-v9bVliLjU{PK`czN=>@wjO2^P zXw%ig)d8&6_?b8Ta(tkBs(AkNhmjP?aj%L-+6f-9!Q}LrU`h8WpQ77JoEM!gzFqtL z(RzoJZ?T7)$JN4nuIZ@3?>G%SLB*!;;w$3I~w?%WwT1s1VJ%_OS zJFdeX)&^a*l4HxNzwEz|o`-srzdGy~a%u0V!@|-kQ$fOjD-GANoi2s7*9|CKm(q6? zdvbqQH%b)kX?Gh;3-hjbyg0ifY$d8iu}H5cKY=aOVm-A*2pjxdDgEi=kLa`ancXd( z)fyA;*-XBF^lY;&UpaN{S(fglb(Y+#Xfe|h*8Yeg#{cUC>8W>g)T*BzyFje2ej3vn zCUVYWrDnds`T(;C4;--o-ox#k?Jr{<2M@}KBW09!Ta&hSz?sunv1au+>XVp0dXpaB z6ngotOJWEUwPJA;bUV}3z#H`oZkAh;YJbsh%D)*qCTPBxy@7XCx$!3Xeby>Yj-cn2@u(*9%CUBP>cz|2DJhEI9x zduo`ZaJ@uNTX`b;C&MNs!*!i2eqSglQ}g{-V!S>mT~Gg<8`|I3*j6RwJ6bMVsrf!Z zQjEEBx!A62ekNF+$*oX#s5nx5&)e3gmE%&r=uC@L8b%Y!@DjJ{t*+DkwG{KaXKBUy z4#(%yi*--sFi1_zG>vAnM*i0=-t=cTY0@b#micwDa;$vg*I{y`4%Wr)_IG^mnXE5Rx5K_;%(p^lQMpvjit?uS5;;QK(6!sSj%Ivq$gIph<%&F>GM}gmU}!@CQ5$RHD2XAN?+j@DjD*IzMA9b zWcTtH7nb0;KZ@^2p$6NEkL#wgbuLy7C#QAWY#DP=o_+}%T<$( z_IRx*ew`_Do>R8?+WFjehpz(>gQ856h1pj;{}hw!^gMM6v^K0bSE()Pl;-R+TS{x% zlHJ|@`{0K>A>9|_?|WKAE>=d(4xF9$`_NLH`%U>3)5n79Ch8Wpws$jSLqRHmaDkPY zG;ltC>6RJk)%mczmQrT3Hqlljh#6+zCEwx4ZhE$PN~-oic!o%O#{l2OEi|Acl9I`N7xnyy+`PY#eY7Ca@s3MVMlD`eR zYVK&!9Qy6I-q5Dt1U*SgaB2i4PQSx5RrmI%EC;jMqWKtNt!As^w!P>LYHKa^o^sY% zu2y_0=3bE$Gxy8fwkVuyBk$PK9mUp9zDJ3xvw!H<>TOauM{?TQ+5Xh5l8TA@%!GT| zZ)Dtxb_*yf^r$kNt^QCe`SHKOMEX*aa)=sgV;C_`jVum@k5WE)Ldm4UV?wN_XRbNTPd!G=<(HdT=GH{Vt}qAB?sp_1;y(rXlL*^}{Ps#X zITCr(q9n1Fbr!z&{&JqRx&FJ50x994YmV8_3vLD7>u%(wwA=JTDyocrc@_%=MyDwD z3+G)uW-6YmN@I#?ESAY@DMmA&=`Y%&bkXe^C6npnS_N&9V$n+Q6QZui$c?ILv>{(P zD|RJ`N$uo`<-lyLi}=pcDZXae__tmySj%j$SlPI=Box(B#p|mye-l#|b>zOC> z>@@oO|K_4&lN2e@xll~yu;WgHL+44H+a9H9U2AM^UnQd^-W#QmFUmp`kF;6a_#HoY6?pHnTt?)6TRrr*^!Dib%$7ls76-mSI# z_N}`qKWxG>bMe;*ZL1oyIatOAZf9VdCMxQBsq>P%dtqtsZ77+ZJ{?a|fcz1bg22B( zAV{hl<>JDT7~?qLBhcS}AjJDk0CKa3j0SEce!GTuIppiC>8Yyj8O$WtLHD!ag4Xe4 z$MXNYiwNb_w0Syo$J|^+72?f#6$L<~B<2w_s&=MWmlB!MA|NH=wjCrMO)bX_a_;Iq8b=NS9Ll6MC68+Pl z8bJ=ovO5m|yw57j_QgXGqjfXe6jU})*BtW3qHW8Czq>`!u16raBMyuG}f+%xVMA*Um1;GP5T)Vs9+zn4`r+ajMok4-B` zF}!^F3Bv(?ekH~e`&zcxWL^WR)m)2`mx7t|*aZJ+YOC1D@o>Z-!)C>B(4qaNzJyGY zQB~+BPMkK@uoj*Ru>u;+L^BjQrf9mcCMga19#DFUu4zB3Ed+6}t5n5XS zR^U_q3OCVI@B9yLOo>JmLW}NjeZB&wTN1Ei$&Bxwi6l@RNr&~ko>n>ZP4ZJdlLm-?5;3S!mPm>3?Fv)Ic1Ag2hdv3 zz5!K!E18g#Bt?~^?q|vyslh27phw_r8aAejoARs^K#U{9@Rv`0x2BUk^p|AysqEeZ z8hc@JjU2&nYcin4i-AdLAKM+GB!W&Vv%e;gxi+H(T_*hNz?PC8g81;(=Je{ETLNG& z<-2|h<87n9zP^3ieQ>aeVh$QE)D=+JbJXkG#h%( zW0!nYcT2~V!m)Aut}yh3DQqXrg+ijDbO0weHyaDry*gv|;6}WOP{%_?Ds;acXCPsj zSlx5#x%$0JSFY@d(F?k6HQJoIyu1vlRr9MO$Bvn`XWg0M8+nrq;iV;!>f^b}_|HAd z<=H!`bm@yvTOKjE_PiFCsH#Toi1C#xH4rMS%xV1#M8^8{VspxtbWao%`|EX{ZVxhB!#!H4+6u%U|EqYFQwvuEup*L@g zfwzaM1;j{3DTiUtQ9$K8L+}+ETDe11$`_u`(#nG7t*<$LdEJBLmP+^<(Zw6#K!G1W zZe9X1`wbPs$B$bkmV1ES4Ymx}A?4=jexIR_l2#s=)qx_{`Iuxe>%On>3dWSQfeop< z;~y%5UR(V}qsR@16X-z(4B{-J2D2Kh6?&{k>2*?)+h`|)gpn!RR;+d1?k%xPRWE~x`!_UpdBoE3$;IW<$kcPVMg^^SsBjP zK+P)s8xhH=5?Uz4>z$*+!ibQ2#LI`xM6NqW-|1GBD&_ktPS=O)g33fpB(Fr54>)<} z`H?0}d*FjJ-&Hw|Q;=;pKjh_U$qa%OG@DF9;RNaeMuh~vx#Skf7p|zdN=K8ql+g342o9 zO79pQMk()tOCiAS8!!Zc>?Z3JdJ;$JKu8O=Y{s*+2sXNye$XiV)RVuiqOyC}u1v#< zoe7P(7!=@osa$yBpplUg)n$5wM;+<%Zg%z$O`4vvI$hb2G+=gfj!FV5zv?nG*g1m| zDIo0R0MUsPVi!GBDeJH$Q5_fF7#Y&!DtUKKDktZzHb4P9c;E=B?5zEW3RJf@ZbZ6y zxYmEy%7%szYRlTa4TKY71qXGf05~*TF{9@v5%(E=0=1Va_Ru zi9v&dIrnD%G1yzFI@lXg7(|$*7Ou1vmc$4gMK^mR zdO1E!_muep1NZ@(Ttk}VCK#)=bs4{4YMA-B#scadEZt|00oGK(y6+jjL z{FVY1*0$ceb1BcVO{+w~6q!rV5K2+m;6_;<+IWZ?b)qPAMu`WC6FJiPC7Hw zq6dx>de%?Y{ZLTAvjXbzG^2V7Ml0@W++pR#(d)+5FVo@rz+TO8*rbW+j>Og9Ku{;l}PsD=`_4eD)p z6OY@FdM?1S?FXVTn0Xkw=UDZ8_$y<6BZ29hljDF*oFp)s79A1--7$(l2Au`1x>5F! z)l}=E(EY5y4Cb6TlptvYTjhE^YY;0|Hj;kvw z2J|+73WOIxNS)M`D^Iba2yhYQvYuN!T(>gSD}jBUp#ZMevub!?;BY>Lv-Zwt=B|hmx$0w;KlT^ z8)@%W4HkEYC?TupHTCP)uA$Z$J>%x5)qJI=K&xsvX1%k0>HDpVT%um{+80fgVknwL zrU$E-yeT840|~Q<%5|$bPh&Unk1$RoAHoTR4GbB`MHU5F} zBxrzcXn%((#5N3R-4By=n^coqv`vCT=(lV!IAcDy_FpbEtZma>rRw=<#Z3Z|tEJ_{ z)aX>n+pSGk7qqILUn|*0yY0eflj@h89A+=ip>H~`p4?9!V{>0WCpkA5o-G3ESyh#K znuX^jbZZGQHvijQ*_p*y53iTz*Gji-_%qOh75c9l%e$YdHKWUw&-vZ!!_mCvh?Q2# zw=3V#ag=djgTMEmW^7hZVwt`3)>{oAmpS_67O`WSctfcaHwP3F#M)l~qw&P0h?)-Mlf{HgkfzZ>~ENc2q}IwbY8u!uw+}80?L1vio0{d~}4ZGy}Ky zonk#9^VX|ZuLea&Lx2?Y?Ab|kk#LqiTEc~ZHuF#cZ&ZmusDc&88tV#FbU1t{JY0_T zpG#FGCIhaCU7IBzUPOeAi4c1P8GvJ_bvd>g2(3`m!jQLqt&2_iwPW_fV4#&YsO`p= z&6`gUL!n_daxBvm&hJi%4oGYlh|_>IzCzCyWi#H9q7i+xEm?QB}p|20UkHW(Iz%cJ0IpzH3)pk|{E=f@$nlXnK#A zfl*;$+#Ll7+Ss4fAYyD$RW)*hvC12_4jfMcSr#gaAfH;B=vi8-yu=azKUx5%gvO(j zINq5#`n|6&U7HJTD)}1`wP+~If&2hD<6n17v?`*4C$UiEotzUz=8Pcg`KT4#UvTc$ z^dE=actmi354EtgcWSnnW|vVz?r#;3;#=&6bf^`u>O3k_XY+cl@qFLdK(}OV{)D2TpQ?3)a<(`_C zAf^P2f!XG$S~Bi{%Fa@7D>lrFf8{?#jTG2@)`PLZo zI7mY1A9ZqcMF#b-xLqe+VYHu>(stz`Pab>0>fP|2q^<~I&7@`YNqxyE*{7t6j-jPD zH0MaY#a9fAjR?bj#h)G=(nIZ@WqpE?*2Ao=R0h6Om|93g?Jg?ivvnO@&j#Rta(kox z*O4W^Nq?6)NN?W}?w$7|htk-UA~?Mex#pjY6s7X}cc;F`-0u{lE}Ic9v;(VW zN1Z-M(qyHj`Sgk+J&g4)i56IuFAH!F%EpbR?&s=pn)oqNBl+U2vuSm)!YAu?{7TYk zF;%@ep|K7?6_l`q69n7{{Ki#So>R3DmWz`n#@W*PiMP)-@AqQ%?9bX_qR4J9V(fYF zp#I6Bg@%W&9_DDsVx=p%`R@~$2nk+c(<(t2Fo{wh>Cl$YT{q@YMV$Jn(RrRV9jrSA!?k+AbU!a)P%WD#pvO7|~l4Hjg`5k6%lko|U z7;Go&1l{CZUyJP_=m+T^68umBb-}KkJ8y4%y%CZF>xmop*g{}NBM$$D_KnOuwNa+e zAFCVx#xr_2=}&%{v^cTbj6}A2#L#aQDR^_{^jfgj(}=sh)pE}8rMtsYdj9`{o8NTh zpRFF?W(H4;-67UJ3t#>ft*0YwJA-C&zBv116H(zCO`UC{x`EP}B3ajUxFli!+-> z+2zcgDKqQ0y2wUZZRU)Rm>lsm===J5pJ{@Ad0^0a#$RC;^0BDdTlk%|8&#Z zK$TlRE%gF28E^>yp0!Vydz6y3;lyqG)o(4+*1$`CuX?r=-Hf|stS1c1vsV2j#!xQN z{H5m5jr@^!?x+TKCw3}!tSiwk;nBk|z{VsK$Q~6OOtnXY8Q+Sm5#eFX%6QB1$U7{a z1}ZNs>$4+E+vi_LyxV^|{AnOZ z>#;zuuBknZKW}q-xlS(hOlFyJDV;9RS$lVd&blhnmAn#3L!kBj>$ll;cfc{^jotbl zFin#MGu5~@pDg{wE)OC@-`*bnnJCk|yE%hGYx8j=Aq#^t=^K_-!3m@U?Mas@S?$}} z1ZEX<3rY;V=|_85C6A88SQZ|0QlE-ibTh-#;Jy_(B#%&UCj_RqpNwh?`?;lcgga&u z=)3dp<{05Mt?S?S9Q*M0CXN2bH`M9R$GAeXA&#nGx>_VxYU%4_D4+VquyxyxnO>7M zCk6I!yIBjj;=cp9J}RY}qpoCX&snlyQ6r6hkij9rzYD7jb%ec^4uj80$vx^-|66UT z|NK|Ml;`J+HSCgohRSigsN{cMbPyv!{{$}J)eJKlwKZDZ3$7tUZPVP92`o7Gk zB!i7TqO%F1M8^Wf>s#gLi@R3BawI2{9qMhQa{$FRQ5hM4>w7S{I5~totsu|3j#ca2CEj6OSi6;YBrmJcR`@+GXS@ ztKmy$)H%UIj@w{Xpib<Mvo^3doPY^gs#QALS44vOm&AT`S^BH zBXn4oT@f$f6KgDlTCC-7?T)_hDHQJ5@zc|LQ{QStILAM9lR9Ne13k+#E-ubY=?`l( zA2{6wo`h1>KpoQFvG>@jc6L==&?))vEmpt(eT#pQ!7@&BVv-u}--X{t6&W~x@!Hg0 z{D690$ph5)M#JRjC^t9tFy*MID4ZKx#L)M~haGP6u&3k4`Q=!gQ8RNz>yB?8+6ASx zsCfE;C#T*3HV{$xr6h&Jz#B5>j3x8`uw7E7!Tf&)G%300!Skj4!@E6 z{4i@C+EnNI^<7i)I2O|#=o!w5vew!}sHgusxG_F_|1KnEfOHOd(b3Zb$l5;5iI@y% z9_+p~GYmIvqx(Cu?)AO{vqDK^#y++lsd&jOVv|?1jBjJkS;%oH8eKf%!%|PpXblC6AC6ESdBe`FiLIr zqh?xa{D3m1xlY@<_erLw!vCt3y^@l2?D;2K(@O_!faSA`*d3YsQ}Z|0Ae7W!S5@Wm z(#SCn|EnpM@MVpwmnv%~F%r=(?MHgkg7+AXcDnw^Y(r0y;R{iR?tmx|+H5eyCARv7M# z(c{|t-?h(Y-E1Xs#4ao}{@uYwMDdM4}WKKmXO#5K8D~ za6WOxCG%{phlfnjWPi&f{{!8;sGtlS^=A1$!uJ70j(YWm|6bq)l(X_?D}rd6EeheM zfYrRGrcTkJp)!6nC0D;mAXE9RCHZH}Zp6xvHUY#Ou?1v-aS#)>aMYx5w}S@y=8W z2LiN|6#;!$mmGID+HWOXpi6e6YR&)c4{CPw|5_pE->$|d|F;hR9q<1S*8=~4p)j^& z4JmPd@)3Hs`;whX#8ke^KgtLhYHzrA7@dD)boB6p*m#wHDw3Gm|4Dyb&-mf>Hp?yQ zS33>6q*7hdFPmMy+*he3@0G39!gN5Ua^!Km4)2u*{Mnc2Uc~N9?(nQ78{Bmf+jLU@ z9vx2S2@)7OYik^RR-kV6cQ{k~kIv4NozyA4bUWb{QZjs9*kOf5DLFZre%5IsZ}dal znIs(P!XC>t&k5MBrMbC`f6M00SXC_sA2?;FrlqZwJdfhtfKj$Dz$-W=MiTTgD%@bu z;s%}v@TtyDO9PaN9O2<1O|5uFaVQ~$gOEP0V5agy;YtMR0)m4Dthx&vdU%c;5&rar ztr}3JA_(=Yx2T>$I-g%b{~m`VB_`f3^Jke3g4Ka$v9LMvPyD)_Y~)}=7P;7<-hmI5 z-4*O{<0$M8fC2~WR=2SbWb4aSX!i9Zl|v}I^YPcWa=|W(6KqmWKq;vx3XpbfZJgw= z$UaPGYh$y4p1lAW?%aK_3$?Yi6D?^yK9TLUfhIsOv5td{5qq0W1elBxHHI$$nfY@E zo?~S-EC3Vee)myFNKA|#j-a`8=(4;#j7SP$c>%8kUX72hK^%g65$P+A_aKw7s9}fE zOcg#LA}rDvK0kUcco{h~fKJJehFR?>NV^gvAE&|LN;}Usg~6bR!QZ{0fK@9OZib`&oZTEaFVvb}*Hi0n}3t_&0ouYP<3~xqqF(Znl2B`6HkUgr9`X!1rOJx9RED zK!mKjw{y;ow(xiF=*)Mta_Plj9X7JHokdFs$f)Y+6I!#wlz^FUiRalTDkKTc8W z*K^I{Qt0_-d{PMD-rn`Ua=8EOW@K!J#lMP5r$dJYieENyUff&fzkSL<=qh2K#QTLY zE8)ARHHnrwbe!NtJlCVe4?Jrva(A7}K&bNU5>Co=gtPdx;2{_#2UjGXLnToe<6(AZ z{EIVo%Oe#IU!eOJf5JQ2RpAhaFOt&}KfgxqqXuHrCI@i7N>f2q{c33x2qY?sdaEh@kYLZ($~UbEX|Pgm3!yoxy!zzC!!nYTml%a zNqyg6eu3?J`ge@xQyv0;Y@ekUTzjul;1;LXLSeLq(_eSZl2bm_BAww&th8UsPuciA z$J9_pnxZj%pR0q?Euv8j1TZYU0;_`jT1|OJ)>qe1K5fR-!z>X|Wb);>CP9OP!6#Lx zP5Q$y`?Bk4wnqd6r{%kSPB%lbnzgz~enw^{$QDp7(Lc`QfqBHefFDp(YySE3G`z@$ zQ?Yp;85kHG#Gxnn1qQWs-2$k6RR6tHI1Gn3yc?~Mc~_zS&23#1BBbzZk`m1Z-7e%6tf` zhytp#F{1>Aq&cqken+KQ93?TpFXY7wUY)$tuRc4mGx2H!S#y89{T?S>%NWJF96xd- zF(oBZz(lb?xCj>fCjOq_#F1fyOSrp;%?y(kYS%_^x9}f8Gc~uiF2O?y7IdhNeevQ& zR#XA3`cOW4<<;qmq|0Gu=H`(n4P>%1WRJ-MoY&Fm^4hekq2(P`h9x4ap1m8+o|f4d z5nCz(vr%|fPwHn!oie(dKe>IcATPP3`Qyz}kRlLslm&8lo*UgwAcfxlz%=h_XeX94 zuKqYbAdWr6pAru2kU{F_V1wo4t&Q$gf5;8iveqt21~1ART#Xl69JAb47W^kIh*oF4 zg1VVlYm{Xi?MN-sQ6+zDiN!^Oi7lr`?vYB025Wa)cGSfb@rrn6oGWAc=69wr8pbuv z6Mai1(v0pW3i}KD@oG02cjFh252rm$swbvc<@R4uixp>)Od9?t9LuuZ$1@#0&F=&z zbMiM?I2P72%XN0KMbR1jp+#;G;Gfvjf3C}8W&96+Tz4%u&gR}PbH*K3%<|Xbwk#A) zKehULVZ%1opA~;1&zPxQzuw44>};@3$5J{s(T1f6G(E_@xl=!$em?kvY~SrRTT@$& zovjxBtvz5p!(~O-uJ$UD5D2qNy~M6u#w0yN_g1ez%9_*2ZfI(3Y|Q`Lv+4Iae&)?7 znvXBu0?HZ{`9(EZjcey)|1GIFT(HMshTZ8GjoFcn-1*`xMqmdcFC98%xsSoZO)XVx zPa!M-u&$9#IQ}rZbLVV*pxA7+07l-ALW19uCjq~%rxEC)iCfDvw%2~1C^(|T-c~-+ zZQr7U!eRi@8(qTwY{mZKM^fzP3>06`pzHm4U1@xP*)n%96n^ti@r291Wxv{6E4F%A zB!z+P)+NV8jyU^sy>H<8xkg6WaYv|~?ZNGe2c9{-d+KlChV^b-;wn%7&tYw=!ZXh< zRY!}9N=mN%IyL)QJTvLz#}k#+*cslvlhNN06ng*QZ@9uu?C&_V^D+He(7=VH?Cg24 z{g)2y{NZjS>5oMjx(T=d4-5^3g@rNg-i=*$f1D_Zw)_No2^;iYtAcd1EeS)tv?1Nv z-E3c~mlh*1FW?8TSFf=PHJI=d4Gjr_pE31DKxvL&SrR>%H{_rVrN$51*2S=JhdXT61>1v1KZWtTjL2c}c=pN<={pWW;M2*QD-BG_$;tU^ zt;Bom*eK2p?#eb(M|0hmIOhas0CXjqHLaN9!o(P0x%=ld%jA!1z8rmfs)UyR4+ z8aRb5K=GH@r`=R33>r>x!QL_B?)mfQ?X-+ldMy@b`s0I?UuS2Z5s`f@FJdL|0KS^` z81P_qMVF_CuZ=_3qqQRZ0Pz?$AgpdOF&1`%()q-X2!7NMi`>`sahq>am-Q)acevcr z(jwck|E*+w(KxfjPVOb7#U(%PbQd^tdbMSmpexHo0}uuva>S<~oU!P?MVj@%kwXY! z+PjJGVTs>9EBce0;kaf7wzbZ?rQ38)u3mz zScrOEg`9*x1>7A`~spAP2X9eAe*>)KC@-owxBcZw1MH{RK|vp|s@nY23`F`UAI8D7}}YQf*;a@3PG9O(hN*b%MIHaSebW0 z3I-Zk$F}AS3m4-3Zrj?kCSa`4_|uyjuD?@|^W1(N!5*e56auHp#Lzu+yS#n2?S&+! z88c+=)U;EqqrhSQ7#MyI*fKGX_Reh z!eYNy(!&jRL@J@7-O!1Bi0UPSpa3!^pgOOtx4X%35y@1i4uqm&OTQjY?}irPbm5l{ zkAFn&cuGb)c=qD+unv7lO|`gvn;AL`gea$)r=fNfaaYZwkVYFhvb{mNn?KT1x zh_KjQED5wH5{%uucN@+z%bGdf;Kivb5W_|lf7?&+kqR7sTpfPFHA`}za45V0__64Q zE3l^$`2%iw%5W&d)&oQ7s+yXEf6wEjq9W??E?t@Ix_EfFG`jzYl@{u<3!a}FzOJds z^6mSFyw?PRNVuC0aqCAVyGkR{Hggys$K^+5k27o_{2KnPV1CaXnGs|ntU5w3J1n>b?#Wqv*DQNySP}8rEcX6w!s~1Dg^&?0Zo(_ctQ>|IWejjM4OQQxX z;9eTM@oTcMZ*RhYHdw8+ApFwk&jY6QFGxeJsQDM)`WL|fwy?j8TXI=08f8&RL5tjdbm-~A+|C=xO_ZI)fp#E<@?EmTQ|AI~bn_J+2 z>*by*%3(m!v&&sPukv62|Npvi%L`Oo73H=n3;5LZxb+FcK#btUV3XCCnay>T0*ExVg|Gd`5c@p?h_#B_(7E_S)LE9x* z@0`_;@^O50bt9qt713c*xc9Autix6x%XiVK%Ri?0-3ND-ySG2s5VSoYCu<)^-BL?z zZ~0;^>33A148Lc_$J^$;MAA?s;3VtPIHj~a0k4mabsr=W=t(pF(wbyR4yo3u`og-^ zvFJp%n8uBRd#d+2Ip~&6F?^9!<;wS5FYZ?Ng(=2;U@viP)hjq7jgxP%+7&56@& zVS(+HLH=o z={>9_S|~=UYHRoZly-PX3+WiwNi+=2osWpo+*{*8cXK>r(to9W^}flFg;}Rv4_`~9 z>+~L-3>hzm4=){MUzAPe55DqDa*^0Rqb z^*OD%OnTN6-_-4hCcUDr zJ;FtfYD7~}5!)`C5kK|1wKfae;uG(k^zy?tzgJ0`FsZ6zJwti%wLWox>F^%O*-Ys7 zlPrI=4Lwp(;oT!8JQRB@$Es`f`%J_;KHYE$F+Lx4!x)FMlFYhM@2au*D|HKJ$Ngsy z*EyL>JD*<3&ne7utgEHDP=^zP5)OGUj781+cwZsgdV92HbEYa@dw=^}Qdd~GeXC-~ zyV&)+iz!v2RxPQN-bZ?cwQ3t*n^`y|#+po~*dEV2&_1%A*`@m)r=G@IiB6as`S&(@ z)q<4;?G9Ft?EWS`T5tcng1G>l4qdHGbC1#JD9POP+jl8mw){mlgJ146GNx_iOt~RE zK06f9on>iXr_22`CVe>9N4@A%@3Tx9_vPnlJ^S3{>2Cfs`bK{|YIcaYa8Xa(V!9Gn zba82l`tdSG*M7)aTynP0Tb2|lc!br2uJ?1ituCd;JGxM5JEwo-T~$)W)#9!xzjn_x z&s0~3vYr|0@O4|_#y2w8_nvW{zP)iP%lxWwBCPze*r+z^xL(Q)Mb>iGvi~1!NzYG$+Ld@W?-(4)*XkJ^0TzYi3 zdw@kU-@-C7GuBb`_B{z6_!hB~ozs{Yp`c z#K-xXt_%FUmpB?S7b}WAr*m^SI9zUi#>b4U{EUuL>RKcxOsr6>gjNr*X3RfI(AFjE zEZ#6KcImtSd3o1{Xm?#Su+_NbCeGEm811;OfY#a`AvqFmSV$!OOv zG8fM62{$$pRDLTZMvN>Y9XJ zE%%(-&Zzoq%5?Fa!E=Kg-=?X6bxt$l)7u#_w|P}1Lj;q;GI6?C@v7(YnV&ze#L9GjITKWfxLMueZv8*guj!{Qylla}PN9dCK znGOAUBqh5VXXCyLSzuNPlIm~s8UaE#FK#Q6zp*QA=;sGn()vx>A`*WL;B7d(kD8&=gX7Xqp>taN5_)r5)#2 ztn^g!$!JI93n6@*!cYix$dFK)>!q{R4&=Au>R%!`MGiJQk=rvZ@X~`!DBNCDBjxP$ z1821CpY_r;7d};o8On&3zp6Ry_Qk!Z?Q%%&?(<%u8vK`Z6W*ArAM6D&IHM;7h=yiO zXEVf0lp36iti%efiG6H{?C2vg+#w$UyaAwVqt4jjx7)Itw;KO#!R%Oklxc6Y7yVB9pV z^g|Dzqd;E(@yQ<&;xzrx$wv!sAt}4P$K7a=cb9B3mqz}(X zr&V@14OHTSPBP-uz~8l26}JrDAAnfymi=8Z0;Dq_0G^P;^24}~DQsI*{pOw!%(9H$ z`seCMVD@vbSJujTS9o2b z%_n2SZ%w|Y1wawA<0U`ZAo9t@D>PPTOsq^PBjY(7F>C3GUUk3059}RU0UxuRqhA_F zoabdd@?z4XU~fjjCCMHeT&2-*F=OxhkaoN=bVVA@Np4SK4*KnLLn$&Phnkd~=Bv=Q zdZ0b+SdCa6nwAb@DNElDjjF7X;V(8Kc&t|NwCGO6 z3Ck|ym6YP2pMrE8^|2KT)t%kA-1&)v*fu5~3XC3ui7L|? ziKB_*-{p54y`0o)&1g!-awo*qct9Ejk* zE<#=NXMI_bcaP;~RXbO}(KU*BvRzzAp4Y1!*CW8c)l{2s7M{yZ=ndmIICnyYrbx#s z2@H5(%1)9^Yf(i>zMsAG<9T;n?bnJFUt2fe1BAt)lQfD?qTls1lgfQ=Dbm45uUDFm zNx~5oRD=)uK!FW*xU%^l#v8`LTrxXg7dHh*jo`mSYZi`;GCCz)ZkjHs*bYZNL~xW} z1t|N3AcGu7PBg*pMrGOcdlz0m+X=zI#_GvR-9^z5!ik&10poVp=|5z=0? zEIW8bJ~w5Gq=b5d$B~d`;I(NzAOAD6exs!`&6Pk?*@EKiQz`*a7*B+ja}!(bPo1;)oM4=Cj?#k1 zv0r@tXi_{S;x4WbM>e_?3%XsbZvN@;<tSa-BQ*inBA9JbHb<&3Q(L@EJ-xX~THd|iTE1>GULAG5 zTHDcdzt(qWR>L83u`wC^yGNm8{3SS1Ws1I*Ry$ zLP;(6?EeZPZt0VPhldmI25KgO3mzJ#_Zye*_VPkaSU_lJW|Fpl__k)jP(-MOKPaET z`R?I*{-KN{+&|b~3$7uGI129x3O2V%*D%Mbno@;6SA literal 0 HcmV?d00001 -- 2.7.4