From e030c9908b972635590cf883bebc23553b564387 Mon Sep 17 00:00:00 2001 From: Andrew Lorimer Date: Mon, 4 Mar 2019 11:34:48 +1100 Subject: [PATCH 1/1] [spec] render vectors cheatsheet --- spec/vectors-ref.pdf | Bin 0 -> 60473 bytes spec/vectors.md | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 spec/vectors-ref.pdf diff --git a/spec/vectors-ref.pdf b/spec/vectors-ref.pdf new file mode 100644 index 0000000000000000000000000000000000000000..bd9863571d3f5e6dd032ca6daa920f79408745f3 GIT binary patch literal 60473 zcmbTd19)Z6n>Bi3c5K_|*tXqq(s9Q+v2EKO+jgg8+qP}r{AT{&H}lM$5BKhK>N)%D zx3u=Is=Zd#TjYwO;`B@mY_Q~eSLaW#Ow2^ziEIrmV0n2N<%w7r#m%jNCJv0^Rt7*5 zQ4=FuV-rSM6B{$&FCu0(E>?biSVy3PiGek&>q=I#i>m4(M#yBRi+k?)cTnZvjrKo) z8IJ@#F@sd>pHyH7EUdM}d7#K*qUj`(ihaJ*iex`TYmv}YYoN%WshF_DROxKR7b2=E zIv#IsUUw^O&+8vsU(Y%xwJ-tk#f&K_kTM{#BdAvayqU+yaZ125fG-HaPhV<)><{ra z{TdHwq~X!=plo6XPQFeA z)=WC&O_W;k@b5{qI~+Spst7D#05mBpOgoJ*5_V*!FhZ0)lAV3PmL!b6{hB)6mN8sk zii4EQbURxD&$9`%xL#q6YIIn)2!2$dn3$v)dji9fB^_`#x46VN! z&T;~L3rcM97rWaK<#-vxK!w_(YVCjgNJdWSWk$igLwr{V>CUb0G9%-^h`E{4<+_$N z2=`^E!lk7rmm4ZJD`3&YYunBVc_M`Ra3X*d%5+7@=|vR_3@eHpl|gFE7(9S&G3Vt@ zdCWY_{bD|OSK8K=$MJAel?brRxx9xiRPUP*jO_LDe_<70k zZq`${LmrTE#Wg`r6*z%%!-DzPH;M8a1Vj>)CKhT$5dR1u@)NScm);KC<`3>u01^_+ z4=@Z#@KRsIIzfUZa9AOxC71_a3q>d#A(medgF=*?5EB71TR1HsHUY0c(PVwieqwY$ z!Xbeh5HpMV?Gd9(qRxbj5kVRwwhDDABB8HdOG5B3h(=z*5?FRekTfWYmA|0>TCLaERoKgp89Hjzt3B2XQTt7wZ}rQy~!^3tIqUF4h*uzem9wK1O7#goOqnCV`!2 zrIcNwhz8dP*+`(~UnY((?)2MTi9^Y#L~~Ap6}vKYL1OiH=M?f0I1r-^N!QOtxH+FO z&o-ZOs+tK4{#$-j?O#_z5+2oi@Wl@ikBoSL#_<-6J@X`t&Mk$bWP(F_mqhzK919o zoF*eShdM?&#ye&>CQp-HAmNG69|FBWaA0``eMWwc0vG!$`B%oDzE&ttJWs?>a;KF{ zPg!L~%AwJ?$~b5bX81IoMcI{_o*I+7XwJP9r!+yCRM~L`&0NLY=UDX^<(PCvy`b2* zhFOc*hS@3&G%bJ`(|CXyS}bcv*g%P01?MXvsw%u%#)+6*9)?PHK7yi|iHUK_aPY9{ z=)zETGJYX3D}6d9eb5hS9(mlNPVKygK64ne;Ro_cnc(EHQTimu#N8qE;l|Q6uxnFTskp5ks=L3xJNf7Phfxyo-68Dw1Yil=CgJMT2r#MBhj zaxFSfd{6w-o3u)_y0kJ@M4bG&MfmhObvh-yeu#+mDv&DVi|uAp=q2Q)m9(nYD>&-O zXw&Lgmj5VTNNmb%N^!1oj(7mWuZs?tz{!Hl(r&}j4YsMf;9tjeugMP5%hQY6aPrdF zRL&{yR`8huSpT&C!}9Ap784mZH?}EG6IL|#bfjn0O%!)jHm)U>1okEK1;jcgZ_rwX0`KqgF69* zN#vV#^A0Q0y)+AD3l@PwCg9(tu~I6h7bX^PD-<-l8*3Yom++dO#}}s9mmfmU=N!)W zGxwuL2hZouQl0Oe^B;h(8n0jv`3PkQvLTQmgV86^R)Z9SQk1&IWX1XNlUZ_^&lBep zw+!qIr#cg@Bvk}eVpU)^%r?0;^ENSS^J}PU+G}Qfbi51hnYW@IFRm9ic-P7|hHh*g z z--&7{uB2kk74;PLzms!PJV{=iA|1xg#J=Wo=l-3_{ytoDRC7@CY`1t-cQp;Y8|s9- zNPFA>f|l-7vbjCVBO{GZBc-xl-M(q>MC- zHk%`DGcwT9!!!8tcJOid@PIAN%Vn+4p*wLi7%gH;%wDW7M^TqL-KQ38R+YB-jp&46 zgMowD-h{93SN1u(e3V#}T0T>6xlLI!dUGI7d%!Vg3g>8NG3RgDcl^t<)~o9u`O`5W z@}=2jT=X7ocktV?J!uMNj*}BvG6Ecq{M&D?3bK>$aLAZ8_mB?=I(MzE&+)H?a9;9W zW{j)4{7(G`Bg5s9&1*D9~R`+|c`<)^wF6}CV`20~tzz3;$}qSJAi z<_;U(_RgJ$ExV(uthl4NX`VA46&IC@u9g%x+wG45s3Ryb#6p4}yvm+)SM?W@*7?c# z#e+J7FN9D6T>=w0J`XYjjF*(K*|9mQvSqUD3Tbj#>CQP_*TDVRFtg)H3{zO2q>sjj z)`?p}Z^ySvA9h3M9f;5V;!PR7k#62Qi{z?8{g`5uvu+-Z(SQ8uLf04znvwtWi6Wf1qO;tBL6GjaMLkkll zAft+tA@HC7Qq~4$CXDLl#{bYwCQe346LYg)z^_wgMiE;pTL%?810xegQ4?o#BNGV+ z12;xtbD*Q5iGzr(wVkbvi472z^UL}VX;n0Euy*{SwEr~%5$C_>rrcA^QFFyAkozcuSO1{?f{Vi~{RXQ<)}>X0jBkW#J#~;){J(#I%eqh!4C>OZhGfD|<}BO#uI6`r zo1*nDZxFK4!|-QzLH(B5U&sMHa)yU-((oBh1mE$`1Mz?wHae6NcZc@-@XN@m^3^}g7es;P5l{K^q?JtdwlqB4c;B&Lym! zLPgqG0g-paIpY>)f_?9+Zw*pHVnsEi?XfSs#TTKNg6V}HY^=uV4=?w}({t&Tb2}&+ zj;9+d4B*C|r!MB(Zy69I0PqxY>DGn{R=TS<)K_Ft&x|N$!5(SM2|HhEnif5wiRc&c zGqb+3K6;eI;)VVB3#4fIs>%9^A30`J`P?uBNWqb^^rjG%$yRV%5V=D`fyVO->ATcP zu;b1Et`d>bLu^|GwXeCLKgRB1^2*n2`eNgRYUigC|`XAaUq zisjEDJSK$D!XgyuEww9o(0^X3D@lV#KCH~s4U1IZ8uOPSC5P#D-QK~52<3!@2X3=g z%d;@~(?b1aDWuwCpN?irH<0|DmRB0m%&V+FQ+Y8hm>5>^Aui(JwYg7?{ihecEpPz% zmOBy)-F|$2mdq))#273Opb0k|LYrxR&kA_*T0KwYo)KWeyD#p?T}+Qz)9o4Ofif!zRz+-XF`1%Nt8- z72W0SO}*0_ON0?!?I6-46gdkdu^L8GN!efK#qN#N7!~T0!ic&*!5huQig@YryUdIq zV5coI4s@O69t9OtC`zu1-{(AFF~EwqRzQM&QTR+X8f(U*Q?v${d1)P))k)Ic`XmeaGwv-OjYHk~%7MKvCTyg7?{SGfa5D zNEy+8ehzYH%)fche`7$xtQqieO8WTifu7^sAjrxf-6HzjYy--S zP?0erVBQ>$WwmKPl6A2M9r9AVJvc{*xqer;2kJ%Owx33jPmu)4InTJKpCCzzhrb@( zF_mVQ_iWz4#oZq+4voIpQ}|dqpWvJrozSF6mRYL$Z(bxrgqFQt68DDSl;XW+sc*KUf44%QJ+Gs0Gei2;$?nui9{tiU@j@ln@ad~K_0Su5<`R~C;6 z4XyJYCj|}f6q48HR&rT$_Q}9?y&K&QAMk-cbDqn8c5SgbvxW<+S}aw-fbo@cuA30} z$!uvLxx;6?E$%bML@44F9Q1}2vMH>5J?HdOQbl| z5pOu+)B`O4tc#@$Gp2F#Lm_E*5;vy(W zx6HGpNdVo$)uPq(K7RDI2xsx&mTE|rmfl1Md^w&7&*3MtZi*Zw_F!|@IYKcYHX)1> zi@$-UXpx)V_hy)6Rx&}L`4oMf|9l%SaGrTp!)EjHXepXPCMTU^?3mGz{WoPsLdiXC zE#y?faiJvHCg=D84iIS-a?`x@@2t(&D#&Y z-G%Pdc+G&pXI0N|t!a{ZxdN^7wU6ej`(;t2oh=LuxsK=6w^k_`KT-``gkcE5+?x1H zgnj$b>Knw&pEeUl-nuXe;7e1AmuzrB>|KXn+KAkME&PijwP+a`6LoTR5kx-y(rPoh~h3bfOZfrht!Cut! z6XtCIFU^u{f*$3&`iB|?p24hW-;S;BTZU}d-M;k>>OoZkiYk-%z`TGb^D1W;((e5D zoC1TIjPBzcUQ<2R&G8%)9Hc zOB;YlcB=5}@tja@8zs5W--s`gS!UdQ2-LUO0h?GuCAyg81MHR!Be3sGR>wI`PHCH( z#>dQl$LTO(v56z11Ps<&Z0SpPZm+sp{5=6fEmO)lrk(x%@SAKU1f2j3b{}lH!51u% z-|X;TZiFnlE~@OH8`NS#$#;8Se$Hkx)w?{t3@+FON3s%EJ{u{)i%oIXoa z<6!D@xPG0Jo8?hrpRHH0D*37R3r+lZQ_k8%$ud*0r?ScurWj}%>7L+YAE9_Q3>h&P ztTqQ7f_ZiZ#<1ahLgv@}#HfeR1ns~`j9}INDyZ6$9m$0K7}wJCbG&|`e9k(3A7ipZ z?1I zHXbp%N41Kcbt`tlSh7kms0~Tk;p7u{UxYmqTwnP)^H%J#m2dbdK}}66JAs${ zeV1gN4*ozBi`Pgqiv|~c6$FYJn&uFPG+>{DH&|k27vVMWS+_?E+;21AaAOp*yFT_? zc#e*U;B^SiE4YztFf92gG-D)9x~L4ze3bnK=q--(vMF1E*|ha-FO;%`$R_QJ#Py2;HT)ERHdn zU;HwoRi5Yki8Ad$HSYOly5l zW^+m^rKMA&oBV|VmcJ!xRDL&Nl5KYOZTA<=Hybec%dY6bYY!yXnpk1~Z-0V=;W>QE ztineF{C#x#NLmDsBmnF3R?P#Q$c%74!{u+1OuD-TyAflhWcKV$X?8*JQqAs8n&Wo0S2h41Q3IOKjS!pO2PX&IrOt^EE1|kjl(d+ z<31oIbw~pLjWlBa4{0Q21N@RQjLIfobMWTQCjX{<%&kp;4(3MxNd^%yv3w;_W>k?g zaI_@)H)*BJ_VC>{WtRH|5iV-{15%~Z+ZTQeqv(#-w7xpc2@SU2>-E)aGvF6 zg}3N6xaq-C&*P!LwogrvN2TEub)m630k&MBl#_IX#GN3Zx>Y&MT-MnH=Q zBD_c}p-nQDL@41$bX;Hj?ot>&cXX0SJiVqpnNps7_+$K<lMuVhisVe%E0-l#J$zx(4A$N_~0+p$XlO^a2(kfZ&X5XT=#|@Aold$dj5HQi*A| z@GTKIVqc)K21*AStp|<0XkVKaK~e+F=`J)@ng9TaCi;VXhv4%K6t8o;lxbxs4nc;; zHy?B6BvcTQX@DpO1P_-1E}xi!oAb%?&oo#({|n5>H}KW({|cbbj1qSKYMLwJz5a4^!Bi-E{(9f-#|k5-wBs-6JFNY+ob~JPda@Od-Zf{K zc!gpe8KvTi{JPhs&eRKXQJfD=-477aGh&S}cOmSz+W-VPJGugat+i0}om1Xy{a4UI zSaHIFj&UDyW6@A-Qk}T~NfasQlpNoBn-=pihdaP7`lmHyaLfC7bR|n};@>#Uo*lHm z;C5C8#uax3MmX;WrG@5Wr#S<^lX9AFa%Ea8M)EBeG&O~w{Gg8W9{i^ zxNZ2IviRtd?bVu#rKLcW+(Bx}E;_S0E?lW^-^WWG51ok{b5U#tGeM%Glwk6qN?HP* z?d>Hn-#n?FvmPo#xx5O4w%lDA+EKrnf)KHh>hBok`Q5&dBBnpflL>r|re`MuM9mm8 z88q7!DPdNcc!lO2AvgTNZ><;fmAgHnmri0b!q9xIIm;*eg@X%yN;rXN5;4jKuZ=U> zs50N3C&FKnKgyvZQ}8Si9z-Od#8U zMcYU^eKQeuKZ$3Q%SWZ%{XARFKos3nQlj8oz+~2*_~xTi#D-H2h<576o?+$x>#Fkv z94M1D^u{0mAnPQU#+@l@GTYNn=zJVMa7K+mUbf&&MqcUd>r_pA$6scTXzbrIlK_%}_A3$pC&RKV*tG#GWNZk(=b*;LMmZq9@d+}vWu;lOjnv=Gu#ogfM zWDZ>6d`YZ4>3pYt?xN50syuC)uXu$Ml__-HTpm{lIv4~^;;Ma#ClrFu=S9tN(_V9E zRXp9&=s7YB4AQkL~@LuG3tLI9}L6MXe)B ziM3@~QFHVRiH)ftY^)uz*Q~7!`F(&QcOo~tLv~r~RfzCk}RSxT|o{H`JM}Op^tL}oSANlR5eTE9yfy7UULrYbG=bwUaF->CMdh{3>4hg-XIIxKcf7di{zO;7Y6OZXHe=f@WCo%{ z*p?ne(<^fT49jWZSg_C9U5#|f=}BpA(FozZX#;hQ2Y<=1p~SXE=pgps$0`yTtl(SH z#i}Z#iarKRZhzJEd!VLG-I6C~vRV#mR}_qZ^Pthgr_-6MV^GpYb8=5#addi+z0ev# z^qlNOI&tE`5o)62=RManL=LoQ*OH5i7c-V;mU#n4e1fgRxZS5Udx8_4Ay7a?EXv!` zkQO9zW~3|n+>J%=lp7|}c*L_(fV|i^e^c`hB_ING8uHw_Id?0}NpyFMaGLWW`8xM9|Ys8_xk)oQeER z^*Eyi^l92HqZvcjMMGcb%JDc1Hq%y1#hx6Nb2yHd>jTlBW$oIBxG|!<##JQpHd97Z zh7O8%W|jBTP6y2lfW&rcC}jyW>|XOO)L(NB1t!xO!&;pFvDBj^H#I~hEVH)b(#KWs z(n!%O{*2dph{WOJT#dyPcgu7|R6bq-QwF^|oCvv}_^m3J?^vi~A!dlNB}nhp?0gOk zE78BcapcyBk6u($H~BjyZqI;C7Z_Q*rlT1VW8NMc-LqpUB8pG*xElkz_EovA!WZ! zHv7k30ylpsiVeG&CVu?wYO&p!hd_Al2Fejm+J@oV@>e`Ni=hqJnS8I28@242E|JEL$|G!`IyDG0DIG*`odo+9D~EIm=cZT zL#`YW{F#bqg-N!~XKyh*P$L$j1x1tjTdYXkoKJ!HvVUa%CWVub33;Z%j{0Cn5P*N!tCf7pr4(A34aJmWXryAHegV9}R2#xl0# zQwfQK9`*lr4T1CY2s?U$T?iZKiBQai>?_)puEg+MAkkGOnb38w5S~! z8LwR-z6L!~@5)DUd4+uvn3h_X5T_ytCNtk%IoaJo>#i^ufrTZ92jSJJ`YayBP7WFH zLw7sREn=KV0}U4)_KdIQe`)m9lnPS(YX#PCws&h0_WY-JDo{?d&$?Dg>-{@JNmWq8 zHNs!3HrlxL0Y z8A!NFW1Z(3rU-Dep%5DvgvN2AN>764ftcb)IpIm)wXp{8;xl+K)w|*4MzcVX#bwhV z*uqEOl*&Tiq3xH<^RSJqX=?RB&_6|}el~Nv5JtO9;2IQ1(F=Xkaa0nu!IsF|9lOmY zsbk_C;eA2Qu(dwkww}RAkBkmxsV;(iaJt~Nq(GXUr=GVkT(y%J9zlpJ@j8Q2j~;nO zkuXO!rg@KbG;F-rNNiHn61}j3_hD>)z6{|vHV1*oX$TrKk}01NZ?a~gd2WIuy-#&n z#^aQRB`hr4Xiq}1kh?-Eo*9Y^Qhu%1w#mU=U95d?eXxcVJ=liu7NTbfGWk1BqYhv2 zhM2E(fs6QX-~RkM7f8auuWx{35hu)S4ku?51GQUS^x~69z?*qA0ks<~F(3~-dSAi{ zIULM$EKa8J`VMobaO&KHIi70b{)~l+JPli1 zy^=nBxW~}qXrz5+taWysGAE8=_MJvo-9FL992eDv%`peHVvINmB+uAhh~v|8eZ%Lp zbCq4#Vm6KaJn+$y!yJod&;v68_iN+{I>rCH-mApsAa=yU&VkR65iN|3pFURg>!q5c z6>~M1EYVD)6fCP<6&HU+i}Ei-#`t;kL>5qB*BMdb8DO(z$cH)JPaoX1hOXbr!G(RagESFGY<+LNK|L}f^)XT7D1~SlJ?bV94e^13&>Ur z;G7Futb|{^kT|cC4n0VhjO%plX*KI~@0OHH=$}p65DdeA5b+(+Eq}ik8ol~WL(%vf zhm@{`g$Wfbx-o?!F!znQT0A6Y^=Zm4I!hk->v@im@w9q*zY9txZsMmo4YLoVz1}6u z3jbdv?tOq6hK*T(1x+W`kU&3ah{w;p?9wF>8?f; zLXIu&hxlXm?sR4$53YN6DGzw%m@I5$vAaO*q|GI7r+{K+8EV`Y>yS+l(IFpY=B7h^ zw+-gM(>Y{dOVyd@@YUBNjhm5O$!&@Ni+RBRknR8mNXsXwB&M11Pm#0*qk|)zk35%f+ zie6q}RjLaXW5gVWXh6v>C^#BWCLHJmQ`O43Sv$i76Q>P?Smt~i#SJ9jO_GSRC6#WRcoofin^(1?^C<)q_l zrw!m*?3KCuzZRdjDR&cW55Cx%&0?hqdliAa#(X{M7TwTs1#A9RUW&++CO5!=TPb8160q(FW@qR7P;gU2`!%{7B;XU zj4{qRUSo?t>co;KHovO2Ibv#A94FTLQmMk6UOrPeIN9xf`Nk&%6v5Sm(2?^ne8+#p z^f=WSm^BPVQ*lir>@ zWf}sJsr@%Zw8ZLTqbTMOg{r7&7%_e## zFWF`c_0;9LPTO?iscKfw=&kQ&M!9pF-@L9oIV&B|8ujLB3nN*`}(WQmv^F1QEv$sR-?cK-G*>GC)D&^~iN->e@T4YvH{$1I5 z$Ae2_L1uH9x)HDe$gFv(P98@{>groxfbsETkbOfVV7rgC=dbJQ5?tIf3#g^3ISIcP zZ+c1&Ds7^8`tjYx0;?7*24!iQ@O*8&8mV+yY2MqGxXBOn`jTq>XF*?;piwh#txke89rFqUGlKBDFyaoXvh}Jofa^lSa(TU%85g3ihski+KA;rS&_bmTF!-ecvaaeWxNVlXqyHBiexKD6of2p2X<#BGmRza zQKS=ZbqZc$r{*~| zq3xjh+#tuorMA`wJ_wk?a5ga(J58q%jq0({MZ)2nuswy+Wb_$46l-hr*tT}YZUan& z`Z~>yFF({>^losx z;~JyCw`kPLZnCk)V|#w0DBeJlkrJQn(8P8feqw8J&5b`&*M{8Cgi)r;zTm#+OY027 z(d;`F_QeQBMi!~28+udUSf?<&=BVzzz4Mz3T2x)RcmWT|fAI!%qS?GBr}Ch=j(bGyudn`~@2=}#(zJ1cw8lyno%o^EHUuX^ z$RN?KW6{wBZb-~;PsOAOq2yu^X$rSZg_?3ByEyzchw-Dw5RT7ehRD1Di%ve#h|k8a z1uKU$GnID-C$utzl)_oc2>l}HPd7qz`vnVawN_tmv{d|xPfpoS9?SFrQyt9$QiD|-Ua8%%xcRGpO`4S zh0&vR7nOf1y<5?r^g3Ur4)*X}(3cb%oYNm5fdp*_{x#E%v;_@{C-gPp{&n#mn;p2{ z|H1Z^;NNEG!T+0d|JnAR3;HL|f45zpeu4}H@}m4VD@h#xv6A$!%^ad4s{h)`@&EFo zQsC@2^hXjpi(Z}4z%@YpD*h-mmYgar6Fcz8r)43tD9bfkEAR2^4SL<1OPxFzH0kVh5vPcfP#TTKte&oz`}h+XhZ^lf`Ea6f`dUofP;U<_WH5| zz>y(Ph?#^SQI!m!NbJ#={o-<=Nrh{B(3PjJ$XE;={9#}*FtM<4$SEkPsA*W)*f}`4 zxJ5+8#3dx9q*YYaeyD3`Y8e@un40}Ew{QeHIlH*Jxd#LW1&4%&g~ul(CMBn&rlsfQ z7Zes1mz0*()i*RYHMg|3{q61R9~c}O9+{b)n_pO5T3*@S+1=YeI6OK&xxTr*yMK6m zdVcu_7YG3C-(mevWd8*h@)s^paBwhisDE&QfVzAIFl2BDVkSrwAtfjSdsLDyXDBq` zxZK(v7*ZDHD|ADLX;=(0)@}0Zf1v#vvj00^{{O#_{ZC;3folZ-4+iq}@W7A(0)WRC zsytuV{}h-TKLJQfPnHTY>w+W1Zpz5}13DK*L0ANLu}{Gxa%#Zgz@|l;!n|nU>Ve;) zZ51up4zNaSdljQ4iBzaeD_(m=Q0~XIahz+0&ecU$fwW0W!yL+kM`){tq2eF^jmlUi zLHv6(B|(V)CSbRvgtAtWsD{71V3|0r)h0iOKXRVNxM#@DH@urJo@-gJsVmx0=}`>9 zbH`NLZ@@4KMDhN#g>*7-&VS6TX&$`zd-&vjcd45c6&01T@+}gn_fXm-V*~&hdryh~ z^cxPSBnCkHUj>51f3Fpi9-NTPj9#c`=!dDf?@HI(Vz6t(F5M#mee+ZYT9XWXJ(>88 zUeYz`-(&)stA^_noTUCh_K{h)TB*P-ADlabbA9e30YqMz0@svYt;`pz zfxkO9*ve|ye{I1rz%KS2$6<63e_Gm-IqluzW%5Zh^yKOcL9slRv=6yzL!JdC|m9P;l;BfWN5T_C&-60-tunQ zk{3UPK!Hmb24c@%`#a&JX@V+6;VFFc+YzQYM=AWM-wL4C z+z1mI3$mG+Q|ZCR4$0pBd%V((U%s)_yomSk%mHHaeu!=NB|Dcsq+eSBx;g58)|SRP zSv^VHc>EES^Tpe+GotUMV+AwBmJQC5y4r?BWM2q2+014Q_UU9-`r0&q$DA@nZZ5i- zC8GjMM{4mB;P!`=h`*xgihc~f@J+j#A6nr03LsGEbi!Vuli(MbT~x!1Uao(thgR1< zPghjmy}Cb%R@!i>2Lm>BU*#YB-}MFvG!y_?Cdfvd26M17Y_<^o5y-E+5=-~Srl7p_ z6Bje2)d3y9`4|&|y)DE_fI}BO{f;e?#*;Ycz!G}-F*PWoMJH!>@buN!fHiNh7rOSNK?kjYg)@XW^ON7sY%ChOpQ>g^M-LI9)PHKp$dKT@;dPY7E!alL8kXT{fA!q}>O z-34n;fjr%l<|+)_U!!r^8V^br@_?5G0l&M53_b>36;;A(j(Poab^W_Z0SBhDa=-g= zfb!zj%?Ig|)U;hL11SIqX6jSuJU?i86ZDj{jaC1ce75_stZpO-VedGgzKfojCcvLS z^kOjhv}mqlRnPdw!1K%g*2hp<>i+%2$L}}7NI2DR(El3JXzKe;;<1(@p#UgdZ?h*= z#U&FWq83ZDSFT>*s-AJ`*a zxhk>kb__nG?yqMyZcNRuKZiP$A_pU;RgPjM#-Gii7QvQJ7FN#od zVoI}Y9`uGVBX}$V>Al0IDM1+QArRF`c_L`}AUuisKiLRk-rRC>t_l z(uA7}J`le8DUT_L7pej>fD|WKDJ!6HZxi){@+smEcgOdh0*y%nyR=|8%{mPyaIlp& zdZR%H1rLU}Z639GHmnjs+`{jw~pWa z(9Hb=xLgu?s=Mf1`gibt;9uQ{IBb~aIvgB4=oKE=Xy*t`dC}(mMnLUrAM6)^>VnZt zAw7~_bkT|KZg>;Eise&S>6R?7`VHEmnNNFNwIV;6Ul;RN`l38KGx({~IH#|TxAGGZ zr|6>vIQvy$xru(%gvp}4rdJXVfbUUlPRY4M;;j5t80{Lbk!2k9$Ha*X9#QxkfIr;- z<^mT^%BBj}iYaRB531iCIt}+QPFrRBLg_vSak!vE+LwY>WIQagmu7HzW1R`Dmx`Qo1d zOFZw!W-)+0KkjvKn#negwwJPg%?Sp^F+_i2FUqA-^S)knrky&Uc{lu>$Lcp0)wz3U zt&LsHIr8pT9;Yzv-~3P5l{qM`JQCNEe)rJWHkBDpopbbc8Zr7wU7h6udflB@)j_f{ zUJUtVIz#jok!4`4QGX`5w~Q0c1<_{-7_WDkaPPc8YV!T-^^h0Why>Cessf*k#3-Y< zktgi(@n$`la>ceM5m(Kpvn~RFGX!;#Zl(e%I`B81dw9R(p z;UJgcfXfbn?M{JS=SSpaaj>W~`J1}YF=JoC2B#n23NIezWL+9jmk_-fBqNz+jiz@;8-7^(zVq#ql;ae2aVVFc_l|~y+sJ)My zW>F2RuD^rTlJdj9cNyrnVMYJBjj7sU5Lbd2n)H><8_zbK#5{RWxkyFPp8#Uni{o@HeAt@F2Tm#U?& zgh-Blr7Az#)I(OfNmDKj2#ywciOD!OrU;YL3JhLXr0s0U#0 z5H3lBI(-7$HcOm%Srj@SC{!N}Q)u2;8A4kbMIAIY-m_eDk((agyY1c{MvILySJmfm zTf=YyFNCXcH>ZE4vB|Gm40y9@`M|#OGoGXYKEoG9TyS3@cTZJoqqBOn z)WUw{XwIZDY@Cejl`ckg9T%(4HOSXlYJByP z!2Stf9>CbNefTkSiuuT&_zQ|-=dg2;AISn`wdl3Il9PYwH6DcXjYTKB7A>WX(wDSx z&a}hawsO-VX-G{!_4<9~e$-Nfo}RR^In2nP6*|uEkJ3ts#*?k&tj+j*VWg7G1Z*@a zpL6u`!|!ieRC)hFr0iZe-qgC-S{GA8W*YJq++9z|QVQxm0cXEoaoTq)e;jNo1c=W} zzR5Ycyt0BLeR=0kQckN2L>Y^I$-_2VzlQeuuWfb3X$QdVJ+iHzIi3lE1VK6&VZS%3 z`!-Qdw4&pS6*?p#3T~{eum*6W^U3zSXhr_$k+dw*Il);jqHLI_#F&$f08soMwPTcY z+1B?PgDO(g9S6aYBRk^R0cao?xrOF04R8qgMz$^}?E6x?2)|#p7IU<;zZ?sx;$#X| z(ySeufQmBJ`#CY*O;60J$A00#{jI*V_n2ZZ0KXMq8|Cyy|M_F}KUvLVz94C&15BX6L!0L#Vtkt)(GO3m>idVobj;hG?($ zt;}*=e0GOn5^`lFi)3Zu*QQc)yAocP7G7Ww$R0|!$8Y@BYPE{jcR1;J@@VZ-Xv$=k zL}!IGAA*KI*%yoF>?m4;tg$w7hP7Vb!wq_|e7K2Z*Kytb*MgE~?t2Hy6={9xB|Jo7- zadh})UchZZQIzPv^X&ilY!h22HpdMi3h^^e00P+h3Bb{jF5l36k(v^dY$D7!6a56F zs*OK?gmj<0S%CelU*Hk;tkw0n+ZGK|oRh+}rV`1tQ`+E|q@ibYH^?$U0X$YB*su{2 zSavgqh#rM`m$Fq#m1*=-+5GtJ#2r^wb9ePu@@6WwURNF>CZrx*cNjzf3xMzm5Y$sP zcCN6}V{V&gZE(&z!8x^VJxrymANy@2|DCX{+D=huU!u+i>ws)fXcVfxP8cGyh2f*a-i_%syTYZ)L%p z4_EO?hV{zIT7@VPpEZG&k{Gm+C)pQH$FI6%=;Wo?TNCXKB^f5`^NhRGLG1ehY*L9q zM^;sV1AGINs)OvoTPrNHd2iwhwzf29N~S`Sr+SQs#%F~LmzGywL%t-uNf+@fv-hpN zu9>y8hiE%hMLIb6A}UHCg#IT8f$Q=g!0``l-1RT#F8U@KjwUqFfCmyFS>h4duhNw> zL`tR}PvuE>BovGGU_-Dt`ex!5*NY77?rV=}uzTo#ENfgXZGLGUcXVjaO7rr7C6jKs zut0EY<|K~eYt%p#&ak-LN%YJ%j%1_18U|5;OSF!-QSI;uQtY|SzVO7{ZksQRHy>|O z?tP;7vmeXe_bgs!gJt-p*?`#M_g67N;(fCsM|?4kP-fX2oM~MU52;LIUm?6O4`2WT z*k!8}+~L*ZN4AV4nXM_&c=T2!B(dYvTyP^w=)e~&Ke|<`EE}(#&M$6QJBcAYvB|O@^&PqkI-`mbJsAe+;qQQyo@^oB`u+4LpWD)ur)ku)-1vi~ zTiC{<47TQiZ?rvt1D{%LnM-m-o+5b0vfu|v(rBIb;##y};g9%W%Xfmz>R_52jlLmm z@Zq|k1Qx%1I6R;aH8@Oi*>i{P`Z(Z`uauL3aI0$6bs>v{AuTMl9%aj~$vQ`2V zL{k0pfW)yX@>r5ZRuixN$im>9g5c}i9=7%NN&^;$gzW2_(5GQ24GF}G=|BFypQ%wV zRUCBBkSn&YvSe?MsjTdGL>VcT6DKVO$hy12rxY!#qkMM|3YEl<1ues-=q&BuqRjcY zdsdmNT31PEqO@>xs7LV0OMnJc*c0) zV8M^itR9F_6AWfqHdG@qJ@N^lCM+vh?gL&}eL;Wdt!fH!eF~JX5M1sNwEI+7bGo-A zk9`JLppt|LZs1eO-v`MGvb{_W%T_uF8y@(Uw&pb^@o~q_pHPwTLZ~ag;p1KP&MxMk z&dTw_6|923^y@cMtL)WK0SSdsAkd>&FyEZFs~KrMGKCjhbe-&xED&u>7IJXCJFHX4 zHG)E1N%PScJgf!e5iRGm|6Drq+;!WV`V~Kr;~o*~&60hci}3hF}K7 z&q|WOnhV;fc_^z#Ja22t;{@S^|4>yZdoZYn;8^;*P;k{8`RwbY48^QZiPT(m^( z%P7gWYY^PuRMOD#NfaXOeN%CkK-g<#fTOE_6aAt{f1ts+nyh+`iva5R$k#*=MXm2pw zvmWok)U}vIXreceL{?2*SD9;?MmS^k$W_l+*}xV5sjDUdR|t|8 zn;qkY7{)_K5!wRlS+#Yxrv&xaLGAALG+=ux9miqZy!J%muja+I!6`|~_vo)Kui6yy z7k#Hs06N7@czfgu3%2b+GM*%&ej4^M;PKq-=NiEA(I@XDE^vP?-{y|Dr8-^Uxq^ zv}{_eQ2i8DPL4&888K-4KOzNaN==fnsWEv>;WSeq!JGZ5XxAOb$#GV;T~axkEUPG zS{nVYq94^+#zt@iAo$Zu-8r{l$9w!C#LTw1^hLwZ;R;`1BF-;)8uN|eW;<%%lAcbq z`t(3|{YP!qanA5<38= zCEZ|gGRD|oFjJLboN_?)!UEKR(XCwv$?*qLwt}x&xIa5O`fzm934s45&>9Z$*)*g_ zV5kE~O`N6L6T|jrbUMIQA(U zfUE1Y%t-FOI_e@(j|qh$=)Z zk6gW;8}XnZz0)UWrop_20mfC zgyCDHHG5nT2K5S9<>8N_W+kDYX``qJ5+{Jq9b-a^scYs8gPB&oYWbEF8}k9&}f**v@pg73G| zWtKe9UWGGy!nq?Ero+*1;+V)UkSfNX0Np*(2Z|0aY9da~H{-ok;p-dty)ww^4dXu< ze=_B7Yr}n*YBwi~bSKTbcYjv1w6V0l6?+l(b2dLO%FNo+cTve*;6Yp8x!b3>MUF9$iI=jc1P{Ka|kWXEgkVHaIDtQp;eMnjUoi+@ZRe- z{jaq3U?};|5{(6^oo^0YL@uMHvjXU~*VT=aeBS4yB5E_liQ>G;t~E;X1k?6~{WY5w z>PQxeNV20}Ow0UgM8OI2u9^YgB8`vaMz6F)vwQt#!TU1j#_t1${b)b732Qy-<|Q6P zijY#F?VEVrby(ARav4cjWAOGT#nEXgz=K6etOtrm7OPzTVwe!r2y38+CiapFO^-(? z7NORDr+D#MhJWAo#U-mW?`Cx))j6u+f#~`X1YfbRQCpXz?e!arWBH4@#DeW?4V_#e zVdBltJmLF_{Ht#)jm~ElV2dQ}Eg6LD)P)|yx0Rs$K&MIE0TXdG!5o#N&Wxu~S9oQ; z*7<|ZhMV^Z_PV0xSrmw++xrTC7r1XV)4%JtW%D;E3QI*TNpz*L5~W7z zaTXt&-WS`n*XH5>^9%|4eLty(50E{u^BZ=l|on0wxxY|E(+d8u9aQ zno<8#SHQx^$^KtWqyKNv6*vGQ{(oJ;f9NItKc*`vEw@^8i?gwFr9JnS5Wk%!5`0}8 z`$M@G7iubxdiI>bHu+IqqFMi5v!`aMwxmYMbWL_OOepii0_?OF{-s6o)<)g=WL}cD ztFc>J&X^{4Wpqtm$E<~Rv=et%SNnH2?A)U+Iayow4yskVp^?wcHv36K-&lpfu-FiA zXSw(kXE3&_xWDXlzG`V6t`Y%?w-;X!ABrau(DlC_>90py$Sx1lXko0tDRaO)P@Qw+ zvApb`lo6EcZQq`9b;8KD)G!{U?Rl89##v7u&EHtpH&I%wb%iIuE|zd&WJuD+c3S6Y z(&ced%cF1Ye3-)z8>yX#5!yJr`(gs>9^F^!O6Og^7~q1@=V%Gl&XgGwb(G!l{Yn7dqx|c!{c8tn9yzhaRNr+`Y-)U?hp!HLZVPTMjc>iFfw4iG@`!t2&BsLeC*P?zhxBndQI zM_GRO%1cM@PdjAQN|O3GW`6X<)hl;N@6PHQ6Ity;6p`#Q1Tay3#4jv}5|oU=+IS znZ4h^`3w`svYfE!6>Aa@--6>nWZ4*bXRfE+RbA};eMT`3AqZ+S{*9LbsH}a-vP^YL zSkY$NsxFJxSdCYy8(3$3#o)TKGvml;I)`Sk$1)h{FDUy!(~Im1 zYoo}&*$z9ZOZ3%OPoQU8pW&OOIVhrD!)lntyf+?wI{Dw;45*=1u5Z6FeONn+vYEF; zZA(&_FT|#j*A5qd4pUQn4&xQ)twsY;gRW|_hO#rXu&bt2B(q~2`+WyhPTJ5E@jPq` z!}&oj0PpCP9CLH`cBVj9yPG*0(G`H{Fn?hG$L5DibZ%!?#K;wGOQ=N+QLG1 ze#Hj#6`X_;S>L6q=$8~? z9{3;nDV&qUq1lnhli!uJaDj*lq7LNdFXm2Kte%~?ELWyF4W~BpWbTYfp8%hC+8OGa zC=zC1s2Di&uMyIj84$b(R>|*nwYWdV#+#&@ut%O;%dkB<52vCL-QA&Lx2GCnGPT;|mVp`X5*v5wvp* zUh7!tmev}09QJsZs>FPn3T-fv0B0~U%xQ_p`El~hRV!QYgDYVl!#Mb6Ib42egyG&$ z#ve-$vhPKB0FJ-wP=x=f*p*cQl4OfzA#C%8KU~9?i14pkijQv9=(7)eb=>n|i~f7L zt}PnK7$T}i#0_dMW^d1F@c|4!?@;_p&|ndhJUE9;&ASqEZY?DGlA-`1?u+p-AM*^` zs_g@I4LP&i_ANb)xsc=u=4-V2oR)uhrz>A3S_>a!0KKLl^?OA)KS@#Te8%d{bFdHp zZZ6Nsnh&EiDIrktUSc3?r*8E6E0BT3>$(q3tnk4!DW18ed?YN4SH6t=g6vDB;ZFLJ zLOoTSS?0KyIU_vY3tdy^IA)m>B!f(R0<1h{nju43cUTtAiar6CK=*YYtMP<_lQHMn zCP@Cja_wGJU_+hmHGU6xX>G$-HpzK0`; zBmyF?IH&w^rh|sM@!L8Am++OiD6-#L7ZqcV9!}+NO|QzW3p%xsLYktI4%eXL#&97b z_(dUa2Lar&vy}DA_D#?XC8=Edu~a+s5+Gh3UTu_w0<>23ogCG|dkl!0R`EBKamT`o zcn)X2{h<6X&1)%vS!|cT_(D~`sv7|M3$@!qvz$G;?EK_BejV3S&8XdU^#OLR@{V?6 zOT0=vdlp6t8I!CW0kDAB&LxI{Nu^`iFCC$`sXtqNbFnR6y}-5?r48eW^YB;M=F!rQ zkLWDJG`5iLCe9Ex!-?Y=wLC8^G*D)9+?{L zO?62MbFP*lvl{p!&G(lut8fCQ1|TC`;4as?c(UI9#*B#^^Vvfr#3=`Iz=XiOzs~9> zd2kx6(l4cwWVZyx%$48nR*67JrZlP2N zVu1)uceyMmK$7ngBI?~DlxH?t^i7^iLM41JRp%88;!eDjsW9qI@)JqLO%&L5h^8v<`&zGvMsucWSu}R zDPAhVXf`afL7w_`L9=4RP2B8}3iGl6KNC&vN1|t`GO3AF%oM14jt>*$S)*wiStRYF zluoazs?mExoR;K5IE=$rC1j;i1JJelLHo>zU#_oxbcg_|Z&W=erPU37f0|vI^DWVV z8s`vRxV9oNNq)4s4;65F_b2R}*ecVHp#=9I@us`}c+(D2=~bGI!x4A21R-z&1#Y01 z9~=AB6cD#Qe86l?-qBG>7n(sYhukb-qD67_DdG*r7$(rF0Vf+h@>c{D_} zr6Lt%>BLIac@brg3_<9~ZoqN690lIuE*5+?y&*PI-Cc(@V-*?tCrs!7laoFgl*N2B-D6h}AngYDYb=;dUd z8};z2k;7`LoP*{ZpPGN<_v_aW-{a17@Z^k!(&o(?s@A{DNgW#pm<79n;Z>b?Vl1qB zHvOIgWxa4!1CGQ9C(>Mhh|sprY=#`|8KNqUnBTAbU7#BG8mrm}m2X|~uRFAw&Y`B9 zr|KDAynqN20M$dO8_{;nI37W&^M|Umio<)H zB<{*2=2WaJi3>b&deX0yQk>a)!zNoC@S8=7eC3cjqu>|K@Pb98cW5*eSy&SxBnxb* z<3WxWd$O7E_B`1y8M|5>SC#H)O*Iv>%EY&CYtVPv-b_+ABf>I8M!$ch{N(D-iT-s9 ztKrh<;2w@RzoxmLbV@}?m6i6QLWaY(-J_5ndTVfAJ%=lHrKmoG9@luwHIgwf6k|sL zj}4yjfn|;p&^}hs3ND&j7$^@#s_-_s8jhozDEU#{alv{sjd+cTFnk8`Us4S-E!&R|8T zvXGRDXBb+*q!(qwZYfwNXdf*~4FV&_V+ANK5{5BGv%?)&btgSJAV5~~5JB|3 zRf|vR;z*th!iqE6@MN61Br(*@{HC2UDI%wC_lKBT$(`Z9r4BjqhSPlb<4XdLPo-)- z)dC#D&Gm*sB8c?qn`nVBd>?8dcU23a9kMUU?r*zhJm79r$K9@L3IR#>opL{zFm}0+ zce@bRBNiXmK1R3E-~T=ef51cB`$$|q@zDWVMrusxjDLY7D2vl>GX%dnQO7{}+X9Ct z#Y^jZv)CoE=C8iuJvF47z-L*ZI->p9&qd7-Q zynJhmPRZG*t35Q{CgE>j4y z8c%|1q(m17yW8#+CRzTcGb-Qd`~A(As%~Kl!~tJD3`Gt+O8-+9$BS#aG!h!z_bvYw+t3Ik z)aibq2WgCq=m2&i_&F#xoTU_`3uAoBo8mtHx?yr%%|?f5_1O|jg0x+s+Z_=~w~h7P z3FQNU7XS_OD=MHUFrVFir~+5et=!h8&@!`&cgtLo(>4uBj^lfIQ++d=zu4FTNAfG) z?z0UGy~vZXU*^P#1!5g#^+fB!{F|hAtJI6{mhiIQ7I39P%m=XLx7W(cL>3w68*vUw5tMtn-HCJGg0#X z0%fM{8Is1YhbJM7wb0UX_IU7m5%`X2GD`z}DjeN=qx^{${X>ZGC;ZnIZT3 zISQYJV5kvlQ%K*r?vtdaE<$Kbi`7g>G(zxiO8cJ){stWdND(HGzuq){OZV~QcfC&EO>26s zml$<&x)2wDv?bpFC8{=C`D}0Q!%IkDauo?w;C1`ZO-9Q%)3Vh@3-eu^y!n$8%Y1t2 znrKY)r6WjNd3e~3zT=UptxGW)|LPhKjEPi4m?W~`rcspm`E#36lbQvWB92-$;K$#H z=U^Ojo7=1xzNWd*K@T}ji3L1(jSJctGh>0Bz?#?d^X0>A1$*iRsZm5Ye?Brb^71r& zQ7Ny&b|%24Kk+n!crda|tLdr2fRJnd3;+F4$KR_Kkxf8l+A_M-!xxzXE=nNH1=D8@ z(r>o}UN6~?&ZUZ@X&SW0(tJU7kZ{&MmP4C(~VVFsN06I1}~ z+Gvtfpa}RY8^gwqCD|{h{?=W!#T65Xl8+DmKrAbSRV2a}{?q(Jjhx<2?rOsrcZ|n0 z<>K~{<-TdtN#<9Nj{a_}K@=0u!rC3$@B+%MDf9562e;ZjWe%{dK~P{lwUDQ^_?vOp zga_}rB@FoDGD1nZWp}6y$8JqZwu8<-mCzR-eK%3ILW|0%tD4K+<(K*1z!uIy_`z9j z0kWBr-$1{Um)Yd2=z{tt_cfb3%n_kk<)~N%yN()~K2X&*2zHTgb`(p!(Dq4E<5Ql*iLYV<73-9*)mE6WlFXOM;S4fZ(aI>m}i?m-P~Q_MHqTbjt@75z!Ny%^bpo;Sjd z-d)FkEvqoI{vVMQPOkq}0P$Fx)M-m3YlDA$ME?UOngEy%k7Y+A#=c``%@Gn)U2ZI9 zTAI6t-IMB~?Z z%k*JMw7@CGYtPbn%Q63U5v!EcyH8I(pB5YCkW z*RyPJtU^7TdQ`<}nb3XnIfw5h=F!vKl^wG%!NOGB)(hE7##SZ~ndea7cOn4$X5`^>(W)L)j=(7@`evQPJ{L;mI``Mc(G; z-e__uF)h!vwS?|J`123t30)y2sSAeWOn%X_3UJ6VCdLNY%4nKp&_5qK@B`Lq7S?0&VZMr}`NYc8&pgsYD;g2NTaOvD--Nl4v zpo)E+ZKp@Q)FiH751Z#b41F@mfd%F+&ZxWK0X3O+VkxA5$_;@}0v9nzw{%=oH}rXEp$z~LI14cG#nJo4o9N|Xl!X$c z5IVRg6hfj(c*ho&(Yid1ov){%{8RFFB_+E#zGZKAU8*kFL{Rpd55s;Qbc-i(q!)Om zjn>r^(xIsr+beX}jar_Vd8Z;BQ4%f;>MIH=t^zZpT;9l7L_yW^GplaaUc#oN#5mct zqC#>A+Yrr&1#Dgkr?vblye_kD&IE$~!-=xy30YKTJ&(x!hZ*Fkd$JQFn>TGdy`>S% zFB4s?GF8bwnzs%2$pZ#EHt)qgokXUxgjD` zWqfsCa`%{oMshW*U!p<91zjn| zgd+3Dh8)E6r813+r<7iOk+GoI-_388;wg!H7_#cd<3uIN;|(Ob9Ig04zY_V2INQG%+>XE-BreTC`^>N_H67wB~lZoHJ zG2!=ofVAJSbvSG$VoCt9PDzeO)a)igx6;8!r{6Ra&7hAiXRGMQ}WK48qLBe33$?jA5Nm7?OL-EEu4}!rQ3w>J&d=sWaV6 z|2dE6aZdU755ary()9quXa+P+l8F7NHiq}Ka}i^oc9Y>}WD7X~gxZZr5jZcUY3;*+ z-!XW1wF9*0b3AXU_4$=8$Z3#|HPvkDsc#<`y7Cw(e`)>(vea@ZGy^C1&RS9I8O|Ob zX|IutpnReUJQxH930hasvB5_{Rbti!o%xD^x{Uy&0nTW2GaheRsK zE?Abib9TyP;xleBhy@QA6tQsZsL2z0S}_)A;#X&PF_DD95UNwxPXTHq(K5oQls?JD ztBY1y+hDTG4$ae%j*2a7J08>P8Q}-IM&1u9ph6y*TOBlc|6G0_`qeagAy0xD8tp_Y zHtLY1Qy=)Ea}C<&+-vgV>j}cOZib}SAXZz{-`x-1LOGHii8w57O02-0h0?;bI~O8! zU@-^3Cw&FJQ)T@l`o(BBH%tp!ITOQft|YI0#*y?6M2A5xJ55>zb&%3P@7BEA{lfrs zlII*GjueQ#x2xL)(Iz?JMcl;(>S_s4qqMJs$!Z!gVa|FU&JPg=HTl+TMIwj8UQ|%H zU##YWOe1ILfq7fo>U)4!;>D-Tma6@GH0&g`P|=HbsH&X;ar9)7Mx0iz|A9BFdC@+<3kw2 zxInrG-OtRUSK-%CgTZCfwwSdpAbE7W1fM~>uA^ucR8V#@$f!2Dsr@+QhS^wf!wOCl#(X$AjkSAFmD@0w(3=QEcVQNa}(N|j{yjWu;!K4}m>{P6pH zz<^Um<%}%LUYQCU+8Qs+ri@c^ol2W-^@QYPdCt`ZL#}toY?hbr`MG zsy5(AHkY<=TTJw(_-#(eO=9e1r)z7yIuP}@leZ9fsTXnL%~SLG07B+sFK3%9l3?vQ z?QzJT-H~qmM2W{LniY{-9t?=ei4r-#1|6aUPPrSDDB~8wN!%fen@%^@j+hQqI5s!% z#kovU>0TLe>Q`SRXNo1Wrw*L>A}6N{+;C^_%ayc5{(&TzNXkdpd3G@P-G?9Ci(pN? zv@pM$Y`G0Yyy~+cEFbKJ&*$D0M*b|JBF7mul%dqQaSmsphXxQuVtZAS+#+V)3&!h7 z=o+a{3Fq9NP_cohOsHfaE*ZZ5@eQRiHV3bfIf(pbA(bdEC1=uya$67M!P$E#SXL9v zRwgj^BIkuSN3~3-<)7LC;ZP)hNSz{E@2ecI-gCxxl1FT(YRe*Z5+iREME{ych~K@= zE%#j)d{Y+z`_zu`8Mix!*L5Stpab>kg^p}Sv_lPBW}zBM$Z2Od!_;?7Ksq_xfK%?t z2{n?Or*`sFb{;jF%jSH{hb~UGAh_!-0|l{>A=~ge=Wq*(4*GaQO^rKSgu0Yi~ia>M*936TB{0bUeWYLkQ4be zO#0QI>XCZoUJ|L7jnmFvt7|MAWiG>C{r>jet8(qrTjVik?oNf1t#|&OdmB>8eAU@% z?c9l|-ZZ(B$VYgQ0ZE5Ri-L-^kIihE+ow3BwtGbZDCtV6agNIx4fM!INb3jzgr`_~ zL(IFhY~!vS^n}V@O^GI>fy-(>EamBJzehUQdBS*plG2$jq_VLoC8NzdydLQp*cSNO z@VITYBqFN)?K9_no>ZVt<;vr(#*Yi<>;aFaz={5gPQl(!N~{yYkpXBRwArrIkh@1!?h4fSebuPN_wvKP3KE>dr>uv6S_0;A6hRr$fIP#u=+vU2~mVNlgkB!$zDu_GZ)n zhRkK0=vj|0@}GL!=4bfLAr%GTxl$m;XKBTBUFKPT4)4P{tvb=27vzO>|JbdFAlEec z*E#k4U@B|6cRuYxrg>*Ex?=io<}TM}%23j`>F=V{v;xgl-}*Ysg~K931Q1G)FXggC z;L8kMK^vSP(>ZuEKkInd+#A={R-a!EH#5)0W~t&@MOMw>F+~x!r#p0s+!Rt`0uAbM zrPRY5nfNpjEprcl*4Sv-4PFL1wm$$$AeAf^QzgT0a3XLV~3Y;L<2lu|h<0 zl{kM>OTXf)rFW~f((w+;7Ztq(_Z(8yIe2#1xg^2>9dbMQ({{6BQ$KHZ260pp-~Tm$ z=aBJWD`qf4L1j$`Pw%(#v22Y_-TfI)RT1gei1F`QEm~cjOYZIMDC};yc7anF?tr7s zu-rnNLq^IT$Hc0Zp#XeunyxJ8@hlAYnG7$i0fv$>^V5&!XrBx1w!zwn6-_sxRVo84 zDE(FXO9oSEpv~NAwz`j4k4kI%5|xL?*frRwP>aGbPS3-rxf4tecU`=X{4e8(+K{y_ z%)w3+nxe5-;7MysTuo65_tl??#P!98rqIV(fv^(xqD%39Ivce6YPIn=h=8g-w-&ed zwY5S6qjhyl>rAre>RxzoT}0m(NBeneqV<;ef}uf#wu!C;k@i2J&kZ%MF1M-C-Pg%kNR%ou?$xqYD!EMC1ik@(T|b2x`yep2n_aCV zzO!2|eC;L3+evZrbITRv@3NZFJ5{J8;&1`NeLtm2+jxgD-KK8?#8B_p5@| z{d#{N9%aJ>D6bj1CxX=rU2K_Fx#l?iKHf&qLpz)~Z})>)A7r^Q80ksOA87FGhj1cC zJu>}m@ON%Vun;BK>Eq<8!A^p*YR$F>%iBWf?_dcbrCOr#C)}qS_;Z*xmqfqbRo3a2 zWsK|PgIwjq`u4!>dhQ3TV4jW6zp`(R|F(AH|9h zdu_o>?{qa7?%J`l^O*G?H{nB04qJ9~W#VLh^_>_$4~Bd+AO-ex=`oK2=L@ILQwN;( z&i_1V1pcgPcE9kD!IJj3uTR|}yf|HGTk=`!d4I^h4eDwrZF$A$*;w)5oII8Y2~W-yT-b$B`5{N-LS;3>vJ_qh zrpgu6ElR^O0}Wk&~cO7FqF*%|OwTYHf^&OAvAB4mL*_LqpD@ z+WlE@C9;5+Lp=vQjn-b7#tHK<{hYrt-TRkmrt*2+Vz3`2%q_RJH{a z>X7T-Sp8o|Wc`~0F&p#$NV(`HZ$_>&B86PPqqT1csgCm}x)Ed5KYeqWCCu1_bgS;-u21HL6-Ms@D2NQJG7K!mOC2X{;%h5cEk9@rpbjDDgwji8k)h_#N$H4R*2`}d@7+9}o2jq~l%jde@u0=jM@kBzTqFbKaKWt?P!*uI zK>=I8q!EC`2+4wilJR{~5Oe9IUZJ4XJ|MI72ckiFIb8t~*IWwpJ5`|MGu|Kxm<4#j z(N3JowL~6@BMkgTm}^O$NWD>kn9#hgpn?p-)#Mel5Kw0s5`An=@i&QmrNL>*Xn8f3 z@(1*eMlfyGBpwNz{16NoP+r(HwRuE})*)loBnLT)cnd5_zq8{xnL?y2NSwYw$WDci zV9O~dv5-{2(&Q^b$4FVcEO0XU7Omg63bwy;1cp2H7@qn~KC9*DtYn(`(-1I-HhA?k z>3PTtea&EB*1q>}qTskx+ga#tQY>8mGms>X+f_0mh5jRuRI6YL zgW45CQIp3ci!uN$2>}8!)JR$0C-86JQSk1Wc8g-ESv_;Zbjd1z3j#^iShHtipr9~r5}@WCNSTgI&@DFlq3`P#T*&aTZf9^yu+U)9CM2&Jb%yJamFQ{Ts#rbes z!RhcCyvDq!8Tn~Z#uM`H^G;6kr?MDe|g43%I9NkkKVfKrEP zvYz?@Kt*vPWCg_L?fF&Ng;Ryar3$9qR(ovAbiGuDyT1n6F0&?6cEz`!R!UCyyV9_6 zolDPiM<-QKr={$)Ttv>U7H>!0iqBfsJJ;SHGz)7sUKM;cPZC}_je)}IUaC!Ywm!}< zG;l|^>+^|S#x6UrC)=&J>DG02*w(T7a;SKn_1@TOoYf{PJzuh!^Od{A9O_MK_Nnt# z%nx^-T&*mFtzP2`x%I@fd;a7bk=B7Xe;-`)lcTVm*B=?z_5vM01;$oiMWYF2_k+wa zUDUGT9Mw@hsytv`Uc`L!BKo`GgAjXFN!jxg9*=wZ(3?rn!=#V;a2JG1EHYlH2wal5 zSRfh%I&vTZ3&jjMJ!F@wE@wO*E&dqf52%Dv5gxQ}zz;FC!Hb@cYW)Zj@+0^}Hk|jp za@~YicOlVKQbErIX|fMXL546iJ%S8=beM9bU0$@uoJgrN+kAqSVzP0Ls9;G6Ir~(& z@4J`D57*=o=8}oMJ7hM7)j?bu;RuiMW2r&AQUtaLx%{lXxgAjHF^4J;>|dBba!P5% zpXx%!Bfft~7@`9S%?rK(3px~U@a)PnYVYFf1tp+TCf?zbGgl(Qw#OSM>i5z<9L)d$ zm=t*;c)c`Ja$Y?e2`WzDG~^=mbUe@3f2k+qd!;&&*`;H8G?IpKW;RPzzc&Bk$HsoF?ELdK(DN=&_B^%;CEj>pp%8U8iro1IivX|FA~7BK9_A?b@;% zbHuu&e)#|k{$;xHua3&e_>EL9o%?!V%9$AZa={(xqKOP*e-?zHV9s9$yf_LM*urv%6|GGo&IztxS$I?T zDUf+<{@Z^D(%7j=@q2 z*fgTmip;fiS7}DcbVD-wohY%uLPoP_P0DoFJ_YEbdg0=-F7-(B5yl2MbQb-JCJO1< zRJlLaXiS>iX^*CfrToS`0logr`eU&)vhjHO_wQq?l-0P6NJC!pPCyE zMxPFR{-i#?cR&9{MLygSh!7!3Gxf6uQw#Q}xzn$VTO5+j-e9%+lGf2zA9|qG3x60sQBEuFc9YcjCx#8gjYmPxIH`N<6|jV$u+OU z^ek7mXc0L_jhR)nveilV3Q1ermhRHZmEem}@;=#L$Zwahm1)%?tU;IyDMO701}Wkj z&QRL0$lWPHii%+`MtBJ~W_04XFafI-F-zpaVdt?IZWDk_+wH%Jnrivz^}1-RqUfi} zl;yK4)Noyat|mTj&0Jesx6sIXUc$ldoOMiI!*E#GU6R}FsVFXNW3nBEoMJ8_F~<7zks33aQ<^)i%staMQ!<}Biyz}S zDS#$bC1@e~1!nv#=@`+OzI6#iNI7kLLosQ>a0wWvDofEDQh-T^G3| zg5-BVgG~U>x!a`jHP_SAV$V!&v;D~tq>C)W<+=(=YG^WR>dZdIl6l{{v9X~0E#+w> zc4+O%*POtp-2wkeH_|kH$hiA4G=lMxaU}BF@693DSa2OZ=c!eK@_3|9p_j3c(s!0w zCOISvh)-IbTZ(p|;r~V1JA`K%E^WJ=j&0kvlQ&k!wr$(C)v;~cwr$&X^7o#tZ|}8_ zK*b+6#O39#^CP$1=m}iM8ux)DpdSFET*(31_!czY)pw zPZc@Mh{c9c)sk=ZL7FP5+P8nOW4f$p$(j$kKXz0ACT{LE#$BmvK06N1^_TQ?RK-P|9QPItr=AX<&He4Y%RH3GAcJB8G_RtWg58P2CFk{I0w zy~c3<`7hYf!G4@Q@}uyu7*bxf$^oWj@4RC?pR0LvJpfU8eHO}EpW@Nqx{A1Q)oJ)vDF+}Ev? z3e3R3)kv}IoJ*wt^bGYDlMNSIrZwSx+`K#Lmqh*ic37GKc9n7d(q~8d^P~Ia_OL_M zE@L+*#>;lhd{o+)01SH-#NOQhSn{H&FIMp#_OKUf>8U3#yC)PJg~SEIZY<=)!A2~}RzfLZS)+ogNj3glx4})H55+Wz&fDWiS4~@$WLa%R!J(IY zWO8y`ST6OE2#2?+t36?`WppHZ$epN+qR2dVwNNs5RnsHdjm>Fy>M4nd*#;JCfGX*7 zAdiT?QKKz_iu0$)^`;Ok@i|k5qUzAL3loyaooH3qWM6Zy4f+N;`LQL>^ez_?pDtWl z|6w=yk$qv#wJhgs24W!;jAR8p-z@ig-TBI_%APke<9n}NaR){1UP%c~+n^OrGD+4x zh5c%=CHasb?pD`7gIS)I=0b%Q`)Q^YtuPq12g-)Vs zX~Rjdmc0W`rOh8y$cxa_m{+^rSd(eXo3EZU3t)yvSyc`AKJM4vQY!lg<}cpC^A^L< zv*D%ETUEiHB&rtK9mx@YjH5K%;0oL+$sSN+ibkgO0xPE!@6?Is0f~c$qyOjdc3gH<&njufE;9vvSfs<1^dR zq&;WFL*Mbx`K#Yn*H2HIQ0cs1P0L(KRs)(iN%7DRHl9?6POWx4sd?eF5s zy_j~WFWvNo)c)!B5Hltp#W1yh4j)i04A*rC9hpZu1VJYY_GD-9x(;hACLCCxJsVO3 z>2?c)n$~<=%x*sbt%+aL7aN%!kZi$59q`zz*Oe>msgMxjQQQ65C8#sLTcATdBcx$6 zW&rcoApg3WZa+w)sSdrDAwp`_^mb;(O7E`NQ^2~idsLeb=dW0z_@5@~3hucqfQG)eK3u7_ByPtgI@Stxi-#7VzCtMThe+_7@GjhJE44S(e4 zA&Es#UiiL|zL(b1abyU$`8#16tq|DppIhGmk!Tt`Pqlsdl#ex^CC-hblbN1vKe6Td zVy`6Csm1(H54hi_7D|oO|IBHgz$Gt=GFC4;E2hAanVb-jiFLM1*}Z9S{PFXcAKtu8 zEz^W6N$cg%QkG)Zx&fHUrrsbPD`mWKStBV5_Ur*5C#3O8ih4B(iM9Ir1n=nR`sftA zVx&$lo5x24K(@&m|I%+m&FYr0b=$saO#^)-yYcC(=0Pg9$3IGY?Fwt-^)KUG$}2qr zO$2mW7Pa+de+}xz-xt2h`8H^n$5)4r53i>ur<0Y>2cU^l)c~0KDfSFBdv}JXjUU8I0%14eonu*D#YjTMg7nAftQoohY;?ywP7T??#Jj_W>=29d z?sykG00(2uv0dKY(4uPi1HKN|`+c6}Gkq+22w*PCC~n&8t~KuY?zMvxBA$Yr$jZCS z;%uAx{7tZG&XI(a+;eQ1gFED9J+V#>aHSNry(~Nf{1Q<_si61hRGEUiQak_zTfk4s zA;H-s6!9rn)IVcRYvapA^7B(Xp9qp+FrCwJCBpgpBZKjIkZKDQ6$`tV?t!17h* zF%_)jdnTzk>GGvVas8@>kk?E|4hgCV=#VOA$zPzAt|{Q^0|m&+ys}X&fqOd6NQLm1 zOeY(h?ND>G6fdbvY~V0QcBC(+tR7Qa3xN?o>qkfIR#PCGP<7H@-SdmH(E})BweR59s3_hMUqYD zy_9)3Ix~K-0@9ChiHIIOxAhI0@CAa3>_ateNrcg9hK#nfM1Wpt;lasj-NidBZ&4q3 z4Jox=J_#u;^8>D^5MP5tI(OU~!kclb(Yj_(TvKW42ObH*aFnp*W9J^(T*qI!4#=@V zpMcis$a8*@?=-*C%p6GmEDGi1jEv-z2_&%ReZ<-M8Na#MMn^4vKHwFz+kgA(WF*5U zWU#x&P_89n!J2)$fiaNE8nU{x$F{I_OWi0sIU+20KS!skJHO9XC1NJSW62E3* z^nVlQF#P>&^;!A80X@l7p#w?kJx-r@pu9LmC`^GDy(jD>4hvy9(Y$}4RgtupU-NG3 zEZB8=)3Fqn?`|sO=T&+&61EMz@A-AgPuBcj9<~2hC?nJVh(Im%^x_a0l-RU5Ndxxg z)|7wY41wbOm(u?+r}^K$msvUfXX+ZQ4ylE_(w>8mARwX?VwP3MJg0Hdt(kJJT=r4D z8&i+D%uhfwLrBK-xy-B%3FWL?T&#v*tK?FQB?6D^9)Efqw@Xa;B&sRPR6=`1GR6G^j5?nv0Jvy7kGpVUSW-16rCLGwP8GO_7&T7;U)`@| zQ?~pzv3-I~d#90EsI;oxI1K-I3VvRDv5!6vn>i z%~p{L)wWp8y2pj!icPc_)hi|OFBFM0xU_L@IXuSis~AbfbP(G!lN$ zOqZEgf>)I;u0a#QE0?CLH|VfPTZq0<@FS?NLZA3>6S$RKw>rsPHcxOj%!RTlIp{GB zI2Ru>*U<0Vj{TVdAKt6aCkPbF^^8q|t~;UcEdmWz{9>F$nY zY_N$t-6@2Xa5b-nc@1;6V+`p@M2-tluz^ngBT?Ce*-4MW z&PAWY-Z`XnyC>tZHL>Fws8!xK1vQnSC;qNL7HX+TgK!y2)gX%pJ~-lo4Pe`*tmoz zAz_fHI9@#mJs6Al+wn9zOt_HdkAy5?7gFkC=Bv6=TE0p@cVNZ8xBk+sayW8CgN5-t zsyo9}23gwme~VANl13rBDj2q{{+`jy)s1|ZcrI$mJ7cp?q7HF@BoXBi*yq&2o2z5# zj40T{ipS|m&#DhT^DrC2=0z`q(qQwI?&GD$6M|$OptxJ8f!mUqAT}1bpzOEp@D(ux zK~@Eu93pw_lk{V3iQ`>x;_3+C+C-qM(4+F6yzu%%ZWBEWb>U;t2=%-bg6)gsps0s0 zE<-d+dbZH$;o)^!55i|LkQ8W#mFZJ)ba*WZ_Tw=uRstJNJ`h<@PAwVv?8Dh|W^2|9 z5|sBndNlUu^w*fiX{r#n09t2IL`pyheei6SW5S}aQc#Gfa8QVf@ZzG9(&FrC$X8DF zoot?ayxo^1kd_6aplm@QZT=cN0T&IRlcF+DPu4_+&N{tH?dWVTcL@u|+(<%HLv(v8 z1L4Ge>X%iCA1eR*^<4?WcUi3?@nu}Eb67y)>}HSXybO$~5LQf(Woj%K(cbjZx8`YW zsk5b+9I?l*gXe>-R9;kHACa!yWX@KTmqtz_b|mIh||=9Z%_ zP3TQqJr2Gg$lI0N8&YiPbc;B}YxQ5wC8h6wwKvqs*uhQlW}l6F&VfL)StZ)EDk-6nxs&rXwJCq z7aR5L-KfZ-j$g2|!mND1+QC9#`@@|L1$=mbVO{TZ9Rm1FDr?m!v$HW+LbAb_hXzZt z5A9I~=2X~)(V1j!0eYN>&?Vbr%@DcXAF?k&wG9n9g>yAF1O2h=Fhz*Gnm)+dBQ2J_ zNZH=Gt2A78D5r1?RwTT-IUBvbwz;YQ{y6aWL7idfBq%|VpUj`g7}bRG{?hXFfO)9& z6LM$PMo+*o+oqL&pbfoOWob-fYC)zfApG+66*9>Qf$ppA$u0xrIqeNaU$e^q_|v=< zksN2dvB;US3FXrDNx-L=jyRamL!Td9!P!Y+@oy<9ihk&u%>>nhUc!|5ueibQ_;3Qw zzXBt7W^tY56GqcgCD4x8vfi@ZCR=D(Qz-9gE>>i~z2^|N9%4bduWaMaTVoH5FpRd@ zeO7FT3eF zAxQxfs{}X_l7&-2)!aXDlEv%%>9S(uL&wK6{Lo7dNT=yLTvvGAe#rz`80W1zZ11AH zM|N9n14qF}2ub8g+yj(5zrO7dEg-Z8L>!4pMIf8F^8rn~+bsSp&fD82tgJqB`91C$ zM$3Q5d{mv}eo@Y()X6`dr|Qw`-Y<|}&q6-?%y|^>Ry!-QYIo_=s)-!>(nf5K$;_mI@ojOnymrBy5mwFaC^A~C5@e0=s=T%QA)$>pvm zzcoq88mVk8E6I}0ztStcA$odhbb7SG9t6KDQ1=12vE#R~YFJIHMm7N(Ri6$p@YZdI zUo!iwh`m6OW!YJF#g`!_uooE_Uf0Bnh;4zUQOI*MQ>QR69J3wh_x^fXvt--F${fXY z79$b48+tV_`DpNvpc=5MUh16>co6sy}>E^AWAw?fhHlj%gFJ3dCy` zt@MPM0SBQ>rij7@8r{wE{i3P6WpZ<1Z zPhUKDO(@?(qIT2gf1dtJ(beG0tZhTk!me4R_4GxDwN3o~Mq)9otg`>7T{}USlPsz_ zrgpiUuvoAypn&6J>ckq}tiQ-H^(!Z3x00t4$!6fl_=EjQ`fAXcE~8~z7FK2)L%4T{ zD3FqML8@4{BQ8-|*TR}H8537c3mpp{CFw^ZkufIzfHVY08i0wK5|=4hkT)tmSZ0_1 zU6Y5LnzyBSntfnhBC-zeA{!TTVOTbC8Jtv7Q=yqk*|nRc-rnK*xEn@ zEelHpHRV3B%LRaOgK3%Cn1JzItHgtgQDM{yL=0W`T@Bx7W=e1<)pB&P;hH(h@)jAc zw%lhgw6*z6DETa=_p6SVEw1U{sjBOQ^Zgz%hOqB^So}!@uE#jm+5FtRN~#E5kpO+b zmhp-W`IZ-%_%>!k82RDC|8B@UlUa6^BDMH-F79r+9QQR-pX$+4E~#@s?udNZ-e4Ps zOW;q5)yeNR>op_UwQM*X!dQiV_I^$!f5luw@~zdm61P?L46!Nh1Wd#PF^&uE8UU|> z$SC9F$135{a`WSIl|GjnQFZldV6JH+w~97L(?ja(Lbsg(ujzRu(6z+xP4A)h7Urka zWd07I{_3>J6hsyX3pwK1 zZxezk@ypY+I>)fq+f##PPmONi>goIqZHxS+8+kA%8~24{E9;E171N_XVX3YmTTH!M z<$E{Cb62!RK7KgXFIvZaOnh<9z7}8gy?*T|W}o!>!kJe1W)5 z^j+Qn+;u&lp4xQjx`~V`=fWnie>$i{Pmo2FA9&Mw3lfIv7tHaq?9M@)+BLoDMF$H+ z?%dJT5Oybmh*2*hI%#>?rGg)|mj|xIc~@_LzjypC!+!OXFQfGu&1~$Q@el+9xY`p* za1Hn*83k;*!Tyn8oP}-#nv<}QbhsGcAp7n(ZKid;CJn?_-fVRX`~(fZ$&EF89OBj& z3F?Ne46$TOXj`tL-T_e|8@%gBLr|N!d;z~FJ!IP5peYDf`8i%#?^=w`*Ia^8a8x9T zBr?g1XF=)**mI6Hq?#+rz)}=l3w^LW62?x(u?yeUe;sKHj_Ys!60hnUo>=k?SH*$7 zvNE6fR9^p4_lg+_kC)Zp>Yic(3JhPy%tz`M7g?i|tYfYD8+uTf9t^F{kgAG`4wHQ_ih%E+6f(_p>OveoEN&vxiY}8_%TTyFkwg18I2NW`{XBb| zZNnU4pS6@dTZe&#;|wv<*%}N?G6QqpWh5YFpD-Jr%J=8&x+cLLZGLl=t6g!8&BMLH z(=cRAwiA-fyoeFVF)TM6gjogECLtGkCOe!HXyUH#YQWueNIA?QzM#&y5$uQ(cR;q5 z8b5lnZ5f(rhm~0h406**`J0+l>{$Bu%}*P}A%WH&nnFpbEN%VP;%esrC#;6Xyv2Zz zlpXYSI_=u`IW)_udpa)rb$$M&opy==OH#rt5i&JG5~mX$mn}&if$x53C(TBE29~<# zYu9h7?T9ziSJyu0biY}EKAVs1Cm<;Di_JPZpW2T1--V4vl}0mQ+DAIwT5X-W358Zy z*9FiSL*_W>{8t@XoMgdJP` z1LmGk=ero?tw^Visr4+m^6_4?-~p}rjWyCGKTt7pV%e@2PP$$gs|_(i?`v=-t$xBv51xb|Og+kmtN37>kxN){F( zj%mmJfg-tIS$KfgrjC`i?^7vtn_uir+QUtkoXl9(*chHy(xnEl;Z%rFhI}?FAJPg;n!&}*~<6>Z7g9+2% zku2Mci>^4aD+b#%NHCKljQ2e-8EsFoh0Y}_+vSlt-7bi4 zSJ-i83!9%kO`zb8Q;!J8^H}cbg!PdmGj+sv5@GF)k(%Oclj;)YYCB%%+7hB9Zne2= z2F7@gib=g>$vIp%^|a)? ziINB@Oiv~ZjJ~hhlDhI^$pgJ^lp|pW6%6!O_+FW!BV`X}J`mu%qVEln+}jr>Gw7RCcB%-b158fe4?R($CL7NWqlIOFe$I`STI*{2D^ zTrt%WiZLsh$&%;P`g?a|QwK~t71d)t?Zdal=ni5oO)rL$@cpsCmqb5WJ@b(uL)_%QrVPe$%F?+>EeF6^6eNu!veCisuQ+5v z8Q2L;j#v`jwlp-TMfdrnUsGz^Wm}HfqYI!9%UlIJBKDZaM%#JCQh42_wR@_I6!V3y zx=gMgt>~ZKuOJz^JJA%o+~{upe4HotqJkqw4|C#`>iE{>@{D0Y4=>j{zMc6F3>&jr zc8kl>X9Gg7zo6Ijn1&yY5$Bn_UA$;8Gca<>i&Ur69;A|zfThxm1p2NOh@}r7zzn$L z3q$8nhT(fGSSoqP0Rl*|OZ+!=Hn;0lmXGnBF|5kA?RT%ACUp%P@P(6Dmcu9@L56)_ z1n~f2y8YcxBr!2pQj(Y)oqPBLa#V+e&|A`bO6TtoJ*r)$_K)+gewebjlL?WYX+}v% z=7v_5KYxw8qWvbPW6j~w6c_;A)S4?AS1}|!8mt0RnGU{zZq*UI7U~XFjgY@7{3CnF zpSNu=>JXE^)y8&upD4f*-Hl{9%hDb4nXWz$aYaFaRmalX>kkw_czb%;6w|G=%jC#*g*rfiUs`5iuydlGp*xyR#8jN>$|j zs3Agwsf4Mkprh0J(&;(zc~?3^Mw0upg-3oMR=@9!q4X`=wezQ!FC&((J0r z@%%f+dv#m&T`h{NV9aQeDQyxR7q@EaSW2;Y&1!m7%JuT2M>U^v>c0f+|5yAn6UTpY zg#S-=&k(2D{ca(-HAwEOORMkqTlAM(8u-`$w?5~8fQtXy0H2AC;eYUp-YU>?D5_{z z_Qf6Y_HyZrT+;2>`LBEI@`+YbQDJwXf0V-V^8*;TMooh-^?LE|9d}^^33gESZmV)nx5;7`ZQ#=}CaRp2d#*ihx;LorS6lmMXECg5s_-*Rv8m=lK@JqBg$`e z6&57WInRZE-OCe3O(6y2507y)$@)N4ZQpD^tyj#aAww^m0u(4V0f4TMkQ|meis@GA z9wM0>s~C3EX~@~LV_LTBajEDXeFkVpr}j3V={sXW4t|L6aA^jURHXgj)I$zJ5`HyQ zf*?%h!!j&L;QMDl7(}*F-{{9q@R9X}L4o2m$g$%=eWNDzD4#`n?NjIbh zNZtNe2$Ew2dPL}O0-{tknMx8BM9VM;qVzDrW<)Te>_0>+>IQqEak*^LT{r7Y`-XxhUam5!XeDy+?pn;0B(JTR}8EGSi8>8@t*A0 z!15+iWmCQ1kZ|XQmqPC%^3T(rr72h4ft6Q)ZXkCot31B|6$RR?nVUaId(j8GJ9|Db z!-6<+Qb|t5@(Z=_R|ox8rR@UHkdG}jz9FVnL+62xEzO!SP0gGhF`5=tLt1AW*3DGU z9-fneyxBfm5fcu#PPBLAJZyi=(U0 zuKs?UtfrTl9-e&R4eek?btyvF{Xp1r-J6^^dNds_Ty8+%K@u(W<{ucs+o+5B)ug9%oCq39 z?R0_A)9c5O#tiWKqPia-$O4PImMyA|)50dVg3mbDcShg9I+CjQFu--1Ar@9aWxuxJ zfA0<*>?#ab>{0#3l>*AzM>|cj`O?( ztrd-WpAAQW8{315|7KM$R6WY0(|J!b@wiLSVv4|{5V8m8$humq>9!{h@oqcTp=aOA z@}<6woedYO_z+Kl_zMo=Jf0bT%D*Ey$@qzdqWkRUv5?rCFcce)P+k%S1fHsVkC;@;UvG-w+l=ih zss%!*zON^6`pa@wpA|t0*-08rRh-%E_&1yjRvQOa4NwVLQ4M!#X7AbrWc}%~ zvq@7B*^R*L7!A%NQw&&^)3?KS*T{R=vWNSJT=J0O%C~p#u=5CVdZj8_YA;j8_Oos2 zN9awt%_eQ`Fo@|^PC`4b63BWN!3Xk3gdJCQ2>E8xPjz=`LuhwcKUQK25Cl1?2L@#S z!Q<5YO!6Y59b1rdb+%?*dV+gLVUVaI8nqI>y9Bfo<~bN-^8(IKc-vbTwG9ivKo`UU zNdzlC?;cqQSSB?|Z}Ul~B=?C8$i}bZ@#l>)321=ry20ZZ>c8~$1qa0PkQvsHUI;yl z<~eG%URoGcECl$Qbk<*3HK$`;E4_RaJzeU~gzCGt!6f<`-U1;&EOrP?O(yk|Bp(N| zYcA7=Zy{J5`xT~Hx_v8t@>ItSJ)%qJe#Z;_tu(r7ZjSo^k{WXQ)V^ z6;PT~-Kzpiak4YNWbfudjj4&}bB}C&vjNQK!;126i5iC@B$ZQb^r;*$Jhd47`euGU z@Y?3zDx;nBxO-`uXU)qCTnB>&;^>5Pxrs#gqXmwA2yJKw#m3ZEA^7!%s>0_aNIn#oo+1*$cM_^9!J$h?vYy4se!u@tj(HG||6Sj? zk0xbk8?`z3ec$B;mvlxe zDsi%P$`g|zs1mf}brGmfvEg`iV^Z++)#8MRb*5}ek6+60c1y^K46t}{llkXDq@ncn z4m*DBq{&|2fBGcMv90EW<#{Y7Y0t_xByD4C%)YMUxhNI@P8FKZ>ew zU)Fr(TCIZ!9P8!vW7w*&mh9(+C9W>_$R#Q(VmHH(>A5oQe_BmdB`PNLBMb5q_J_-e zqN)w!FWl^LcMU4@au24a{Yo&5OS5#O;f=ocn)%Nkzxu{g)>6Kdg)Y zf7_Rd<^SE}>eVV4X)z21?)Alk!v4Zn0cH6wwf_Tt`QJ9U>};(6Lp3e(fb>!vT6Y!V zIQv!fN2s%uvolxft4dp_p6S%K#d(x4R?g&xYCa8eEF&OP1nxLhc~CW!?e*f^9*3(=WQm_p>sIqY2S_`ze=E{ ztKIzq*^+4Rj?z-GAfH)bSv2gx#5OEuN+M$P*2z8V$+W~jHV)OJjtK5!7K6=iLIzh- z(5uxZr>=+P?dSA>@2vS}P;-)no_@Mc{LxWr*XU;qls9&EVT9}zaBS|rW!jEz8-+e% zS-!$jbEYF}pS|08ix1{aO66?&cp*PWx$kDbU3?lf`MQ|o_vV=GdE91PX6}x8S7*QP zS8_b%Yw>LL-bO$`#!9Rwtk7Fp`YX25k3Ap-{Bjanjf-4QS=h+HLdL}4GZE09e>TKCp@v3>2JNb~+K98Ztg+Rstq2gQp9> ziIWq5rdsCn=Vse}u;-hb^ke$v(a94*Q~B(La?O)YpAMl;o(^}bt$okYHs;5I z8sM+-Fw+a;KjgxM>fzS|!2`m6pACZr>I;cHYztFOcUVd2~vb@Oc7mCjcS+9 z6Nf7eu2&8E9?c#O&H&~C2J`6Cak1S@ta8j(K-y>_vvw!D+ela9tdx`9X5hg#R*&`P zZqO>^;7LaKhIb+vZL961cL$km&S(4%Vz+uFkvU&*DgNc?n+H z`xo#sxCj30ZeJRF2;b{~Pz^xoefH)1;mfnQ3cVOQRAell8fZB5Bu=uMZF1Wzwme6r%9O7 zP9kt_pEJcPnK~dAsIyNdZJO4DQ=cE7GsC^c!0kcwO>D0WzoD#1ot>OJiqk5wxmpRvg_F zez8jUL)uVZ_ig16Zoq$wZ!!~GwVsG*LQ~{J?et+qZq2bJ(^0;pZBT ze!F3+{82&YZ6kCC7w+>=-A+kJv_swwV76Okk_#l)YHt5^71H3&%4{uA3$jeGgE>3w z(qeD7PDWw5{CO|^Q%j()#Yg+4uWE=7pE?`jj?1UzI7o1X!Ls{+~7~y%DlqXU-dNQIGRWe&e{iNL^M6!%UEO) zM_Z`u=%0&){@)P6g$rT6?Em7`UVRL|K<6!Kv1bmhyM{Ulj=%%Hr8@e<1aH(v`&QWipadu`#qx>)H$ zZlQgH6Hd-4ReNgK6yZ#QUPZhfA+m%qUs4>VGzcHJ-?0P8Js(&P!7~~l2+-IK{q-(E zMOMLf5EYW#adVQGY3m?cR|l2(tac(-7`OdQ>)DnSN=~;H<;Api$n=y7p%)spkk~!*X<>} zzYsiaI$HVilExO&P7g8^Ap6jB)PxZGkAplH|T`lA|>yMztzAr_lb0aL=ZfQ zUYMhWOp|_7fr(^?Nj*)22Wy)J%+IG|@kpO&vvwhRw{!8Ye)P7zl&Od1`A6S(a&o-U zxQ?4%MxsPbQYG#m?GAhiTHS{9U4g4CXH{@J{Q^Vmy5@6vtzR=@@_Yv{**+)`GP;3- zf%jC(m7zc-j(feS+2xj4pG8mcdAviKHy=RS(D|evLSKV<{=}g6fc*Qy{>Z>bFcf&; zU_YMP+w1%gzYMQ7uQ7vx;6d@EbTN5)Qh*S7baA?E+<1Jt75wC%boUvK(8Zp|Lugl4 zLg6HZ0otvYt zWXFv?p>3~wWSfio?0#*Lwg=X_v~S@*JeDIh5WC~&)J9S~Q-k;~mu)b%1@I?bBCSCk zb_e@zrZ$$E*4_;W8V=_Pk6B$OS6j2-B@KE&!YIMTcZBZXZ}dHPwOSW<0~#U;BEv!!Nkh$dmMtms#Dme+nH=9>OG6!QN`P5=z za^O+WB5`AXGBakD0UM}@E5C6ZIm47>Dq#cfVo)tP9g`NN)CtKw?I;Ac`^PoZLHt4r z_Xe_(KTw6 z`&o_)*&=U!e8=1;CRuTB!xK;`MFd(DXmUweE)O)2yI@I262`;1)+?0Pc!T!47yGzE z+9SmK;r>LyiyiT$4R`?t|FIC`Tl{njUr+S4%$C1>WR^wJB}@YFaYY)1Thz0@BhT1U|z>eoX| zTI^#s^%}I6I@*MagepM6s?^CA{bb1Fb60c>j8OAZAXD1e6OH1X6#irn96*B4pn1dL zx5nbNK8ZiUQmv~9>We~BRjJTPBKEWc?A&M5Kd1bT`8H!u!gqynbzW)lUY>*LW3)nV z_Nr3+2*MUm`JoiJG5Uar$KUpY)uV-G+BrgP>x@_0gxW48fP9YiFGWn^NfJaI{vf*J z#b){A57=`cml(9&mf-=>ND@DoB#3XU@U-|KP6n;;f&oxHsBd93re=O_oqs}aAwP*B zMrjT^qJE!Qk&k!-sp{<3Q+<~9k`)Z`Lvb|~Q}`-xzh}jPrHht=mTVi`h)nxB?fn|w zlzNLmESI!;i-QbSPp|B}PAbM-q&P5Rb<3Pg^}c+f&ez~D0J!%d&868vaOHJ(mv^;K z*r(^yr-cB6<}Ok>Q#B@A=_|SC(oVudZ>z^aY37|`h4julwa&-JDUneL4QO?ZIT^7^}-h>%ypL`Mg>{V@xW zlmli}E{T62Q#=OgTJm|#>K+%>$VyMpXI(l24M%p>a^&Xpq~BZA)N(nK4PYu#KP#is zDEbUe3j!vs1)GN(5MR~&P#!63Mjm;_4}@D))QS&*qL4#DMMbeNzv55pAYrAIhP@sj z+^R_k9R)s=zrX$LL-*;8_3}d52LtI2t4qup` zUvQwl#}0a`da5G&o>|_z+{uK*Qr6#24|3M@i!luJuuE26?1}d9F&fw8x3#QaOsC2P zdm?qQ&BB!~o+vzGnX{HFXIEzR-m|&NT~mNfGB>8KUs7;?hYNt}FFG57jEffJ+J}Se zIUQc8O40>MfGBywvc!JhB_BnqX#{SG%3oVOb67D3bm{$9kQ+=n-pY$PS{f4Uy^F$*rHGHt0?@d@}HI6}*iZb)HT<|c^|d}6>2 zTW(?4RTrVcX2>c{kKNf&Y@F9+t?KFNJ&;!b{)`{OL{TKwr6qYM8BSrma@MrLT2DbC z0Q$U1rf(S85Zb=iI>`37r=5iMMiTVyC? zyD6Z7tJT!Va7D@YMqhqhGp>yfIri&nu^G0AOc7S3bXgw6++3eNs}kT?8_w>8H%oe9bxC=BU51*sG*chq_b zicoDdN9(fgPrbBAB6R6prjjx|&KQPdYcbo;L?&QM7!v*vBIWET1xSNJMy?_nfh^+4 zA8BFiq&AwXQxX*>uo3yoK+anH%e$lon=pdTOzC>5CJ+a?Kc<@k=^)HBg1TF_&%I(| zSAE?drk;nDe<0SMO+9h8#LmtjInb|lL?s7LFJo`4pmEc>SZWBm&3H)@rsyi&26m2Dz}xeKSXB>dRpHIGIwK(Y#Xftrc!P6IlfOMHHRi(K26q>9Hgg47foX+E`d@ zE3d6B8&nrV_l9t&$=Z8dcb&DG7j5*@A!D!_L*;=G5kDx_gXNc>3MNF6Cyq)nc`s{P z(nmZC$qK2WuM4O!+$*(l{RxerBn67&5Wbo<&&3i-F?qS+Lbt-7TdSmB(3}HeOG0ba zODO-h4gstRES7>*LvDeEk9C$y?E^7m#7-tf1uk5cNg!W4Qcv z!lZ?g)Is#SUf?{}#NjV~qf@@gws;pC&3TtqZNWFY$yK z>{nKBb+<){x2fs-x9&gPzbWbCA93<;M}1CR)?mf6;~EDVB-nh#JrmPHLy(-6!aAul zXN*&r2;#*bJj@o6%{BU<18MY)>hy{q!#(pi8(;4U+hB5`^x{!y;!+Nje#Er;gbSLDxfd^`vAp*^>yrOYl6QBnf1zN9QO6|HKh#$5&1T0-#RT6_VW) z9TZS#z{cUq5gRi+;P%Czm+PT4Vqd?!A-6WZm%61}Jl45<8*D>Jl;iP5hf{*)CsSSN zu9U#D*_c#WiYil$&YHH2!TK?4~Y5! zN6_`Sjepvtrn$^SrPcrTA4WY6&JuHW37+4)z!)DfYRi)YZSnep(#di}h&Dr@Kmt)S zArnGDt($|%N##}60?QhXV_n#GgOi#0wHs*kDJXMd#&K%=&AjT^Y^1TL13YJjZ%vup(un zA`)F)6-T|=MZpz8)(DTbj#;>91nh1zbsM1co-p+~CL7=)Wa3r}pswyoot?GyMH%Q& z>0^nq>22lN-=`S@leSD{(hjkKNm#*dOXr&)5lZgHYsYS4d5js`ncz%Qy?T)q6|g{= zSf}UjC$uMo4D*y$$!rbzCN!-_uC)zE1{Xt5y5n4w6`$C~R?4K)i;YQ-NnTsjFoF{aqRYf8UdD};Q1 zPPtswp({s!Li8T@T7OnR3~pN)Lof)2(o;=McwV|r81O@^kT6#E`-Ox^Caqs!W)7U8Ix;gqrD2>+mnM*_jo$Ha z&L6cgQ$pf@J*O$h6i8huUa%>PK99Nxy^!FSw-vF7O&+EK8!{rL64=i<-b$i(??LIT z6kCfqp%LJ3+*ozm4MuwFt4l~s73~n#O*GkECS7%YmnL9$2}oCdHfFPUu;#&DKyzR^ zD;_9k8u3P}%%N3A_yuDXc^Dzu`E?`S^}#*sdkx2%{Q3P__3etTbbHOyddGla zqLY97+`;nN3C6`Zcbpe%Z|@WBUE+WPTjm>ncET~QW3v5Nu>MGH2KI6=(#kZlAe9t4Ehj^0_O_MZBA z5ZfbW5UrB&|cISZcxak*C)S_4zC&=Nha5lGwEPKY7(WBrQ5b&2R&rcsy#7^*D zG%<2nqT8@3)dsP=+##BVA*+N=ygO*#LR6+i5h#+)g3fZ>TX9_kd)sNEWcnB5KcLbj z1tK!vdKAEQ>9;5vIsXu!54qpiVz?sSO;X%L{lTxP?BL)!f_8R-zIjcO0g!K3=%|mu z&|6PC;NB!WJN(3tFu|Uu?&mQp**vshtvwWM$lK|4muNneImD?PTZ5rUSu%yX1Gh4h zX1!)F`BhhF>W_uvdVhTJX(UI&&3;UG&BS6Y#!?Qk2xJNH&qf)o=nj*RtdPu8<+Iw8 zo0Q1-i)wa|gdfV~@n&_^^LyE43W_5gZ(Z9LV|#YkT`UiDZdSd6*|hgQz2Gw-7QSf! z@e~z-EJ}*FKurx?T#bMZc>Z>O&vRRbO>+>yd8F>~>wETQD>+AqdE>JxaYwchyavmO zc^T)^Lwe}$`^WqN{CQ3ZS0~@^lDD&*(WxbOByBH(m%(6$PTJ>_1)hx>K{%d-`Bu8o%AgP&igI=&!}8%ekQFYGmf)1&c=dAuRiGOG_W;upCCwAb`So8wE?6lwl1*^Ug4Q{_+j0{ni#si zTRcYex98T7o~QK`&$ZUV9C(P>p!|D`+PfmmnFA9ri+{-=k?<&hk>4Q#B@Pz02PVHv32l%07+%%h!&gYAZ zocLs#+J?t_Vq0y96*yn_llAXj+(lr~_S-YkhLhz=<{aSAY_*1_ZU%&|0L-1Hy8a`o z#1QkvwqJNwz=rk%BD$(~m&e_{J74qiR*F%Ak}dNR0qhCB z4Tc%Hcv8H>ZZFZYZ6(y(j{CT#WFtC~U&SNCJGs3}2U#FJpL{ZPfuM%=O9;{!>FiD@ zKZ!#SEGb9nXaGf45kvy+bZb*+2_g^j6NB-V&Eo9^*WCP@NxwoLAv+g>Y)k!bsaA&- z${LGy5@mE zH|L&2Qx`~e&rv#rNS-$S{llvN0D?P+ew8Zd>kk!jT182rI-%U1Tr?s3UOk*s9%w9( zq^@y!VVM`kY}8w&9=LXvvw(ww3U@6g?lm#i^lt+YNM5Cw+K=wnlww|YOZv(j_`XIf z^b_Cc^+xjE<5}rovX;v)NdDyCb(63>={-US^vJmV2b83Q(HS`wv!2Lz7&{Nf9r&&; zT)%tv7Kh>`6ls@4#L#B_+nI~z5Ya2njBwh(PL!X*GRg~vzX)>wkcNZDpWLax5WLG? zk;PuUMQraqH2XOCnzjFqoH{z1N&3a6v@ewL&u+NvL`Pkd;hyiLlPW1^da&qhXvmHf z<#77CP!q>x@1w-&fWh`j(U)qO4sr(ylIgZ%mIlIRMppcDz70TdjwPF=z;_8>0o1g1 zCbyq!VTV@RS@grT+LsC$SNHgZaAq8Wvj z@yX!PG&fJBl)Gb=%~~j`4153;RpsFPbapJd ze|LRZ-a{q;v^2+7SaX8)UUj2^SMJN}l_uR&t?g#2#!stT)7)Iy$=N2W zV9OYbkrs4{WruFhVavH+@{k!|-aeh;n*&jM!*zS}JT zI06UeSOKH@AI|ho#?b$(t_@^j`4{7+v8uZ|ni^)dFH=)mWDnDv%xUHo_#p)Nl|oq= zJPkU@RuNBqE1U={8E(j@R}ykW(eCNBNL`o*f(y7hcR z$C>FvMEm`Vlb^==`paM@m-7VIL)PX+21_y-8LA)I@D**Ga?Pl6_Z2K`kXG;Q<knA5j-i_fStmV^v#=q>xxgER$fIJ=t zB)vf%c?_Bs2P8ecrU6ZVADROtWeap#H}se*7VVDLq-6{CP!qIryGbgKn@WPTtRuzB z7EJAe=oo(1#f`Fc zkyEFJGw-D}yR2)-R7&&)2H9swmRgP7IdfJCy^hg^xQHgO6yyfFUIbc?fY8 zp^FuuBTYh+5P^%8JPh%WL*cZ0MDenQA@5_~A;9@jI&8T2@L5bZ;R^lZm7JDbt=&lH zNXL}QPeZyv-kDfZ^<3Ji=XcQs4%U)Zy^7hXeoLf>Z;Q*~gyI*sixcY2EovO_*PaYj zO?TmA)M5b{hvLT;0+i>JEELM>a1+pfrqVFpi9^eKNu((7--5x=)sG4GI$F zJ2Sm*l`!b~oO&})7@j&kcJc4Gy_01*-8p$oui0r*4=I46w?|vP8u*^SyFeZDd-rtd z;nT{6Y>xiLDCA$hPUdP`inwt*zU))7ZYsCNd>}8yMv(2$%`mbMo8#rWb!xxeTuW`- z-RY!M+Z|iKIC5X4hoSB&W(&`@Uz%&j-oClW-6xMF&*m@QPnajy&xUiUs650)ZZ~m~ zm$LY8PQFJ;MKMrhv#F!Wt6`0rBU4HCC#6*Vr=pAJ8OL9277ubluIU*oaYq!AW%J8Wg_oQ632iF3CDh$$aK_WD{0UT2j; z&?Z>?Z(LT}pvp{h=ZG$1<+&fB?_mkx^5NLSZoi?En-$?AhLzjw!7mA5Lo91b5Pg?; zJ7e_VSUDKtS+NJzpbgu;6NzZIFu`;Zj^W&%;a0aKwGu5f*y*KPEQ9ezA^!@v8UweG zlbj|jbu2^SO)IW5PgkQA!V;gDFw;7NLqu754vkcl@NE)-@Jb>{7u{#b5y>s1V(Ph}kD-CKaipLW-_O4gd%=4)vU zeWW7PhfSg?G9Z-Rga=2uY;q>_P>`n2lMaaplYBfr&-~2Bdp`xzd~4oK;u16=&Jn7Y z^T2Rx`h+K3<8v)sS7_44nB0evoZKt?DV148u-|Zf(lc?clC!DIxbbj@w5EvHfAnj_PftyEXoMm$9aidy{iGScmRjvZy0LB} z$gF}mfU!O%ZI6PWow=xQTm8VyG!zcgr_>06g$ECt!w`Zz84uAh=GCFnTKQ|%BtgER zZK+(nEBj0@=gWahXGtxWuF|+iy6mV;E$G3tqh$8NmK?)_&HZs;GkQ~~mZYe9RU(YP z&@lI}7PcM{GuTEqfjVlyzIq^9_KvfNBzd$TA`QCI;8qC@kK4NkMnq5v@}Zlf;o}PH zw*aGa+7V7cVg&RmoIb6G#N9$0h0N+=#DhhZMFq2ZvSp$-3`YFjZ)do(o9c$n(c1L$ zY>G$I3;6R5_a-k{H^C1-yy@$o-qN3tzE;AR{QD@u%=AwokpF(Z`8WUF7IIT5Ro9f_ zK-X5+78n>_DkRQ-*!-XTcmF^rGs+qKQgXCnlqKTe_=G9jJ2(=takBgmSY;q5+rOk+ z8h%U6q8ib8AU$yHg{aIdreR0=Fs{t4a zW&kk6ad}(h8lzg+aC5Lt<5*BqSf#Oh69mSA`zeZH=C8ZHI1}~BV=yM=CK|xe>6}y* z7vPviZ@n?QdLh2Uj6SQw01JM~4f0uPFe*+8M;!G;+oH4t<`;BoOePHt%x_}c6rAWn zm0NJ+0(RjuxnHSx(ID)n$OB-(f`MR}dP0(2@l-h&K``d{Tfm$)Q)qjH7>M|4?C6pn z;Z*Wj{kXt+RJRHvMJ~kNEhz9&))+yquL%Th^k5E%FWUs$Qy0TBE)>O6(Iq1WF=&^1 zF_%!F9&CU!EMig21H>h0&V}8K!xjOf3mSGM4*QzYgKS$)-G70I{00slJe+l`4+hDB zZS8z`3=B^XL7YV%wh0IWN=|e2dBBFcM6`y1CgN(w(Az2mrPSFvfC~JIejs7tmVrZ& zrMV)=ZVh*FsS9ct6ITb=W-G_Q6QaM(_Vy6IM(fGu#JP%%q zm+FlxiN;gS-9Nk#Zs@!<;?4xjYLgV zteN-v0IOwq?wnvSeIxCI4dd~5Wz$wnA`-DdcB6{7QY(*}DK<(ON!&p>rfA@h#IG6* zylbNbA0G6X_&cwgV6eEgcCKSr3Qeg**dR_i$Ks=m7-I!~jU(W3mXkOb#5SalKnJ-} zfd+SEMpF<{d+Sc3evRZJb6v)*Ph6P>} zVZ7+ey92Z9a+Qp~95%i2KCGMT=LqfEbpgj$*F zvf|XJS8ea?{u+^efcFOsp3eZ6Kn30YBL_rj-6ZM0%gKnDO#wV*2Z{KxTRS`K(wup6 zip*z}cA&xDe{>I8c*fJpVH|O!k~S$)!&Qh^E5W4mypJsQJ4B1>j%{jRPAAJG;VFK* zms5wVZ1mLMiSWuq&kV13kRA)2nPM({dYS{EFQaNKx$+0u&6QDyI{V;dU3YFxt~Y0E za1ZaWT8rlM@lQA2(R$NR)?@94l=aErc|Qg~$;0)HHk93>3h8XB+k#{0peXSQ<9)@^ z!Dyk>dRhl=d$Gdsb1BgVLjJ=-?MDl)3^b$Z2YSF1+^|+mgU@Gsqx!@_W?i@Oo$nj( zPcMUPA_u;zfm3UyS3(iz7r?`)T-_6e%$=KIGq>{K8NW4oHwE*Ei#Tfwq3X>Sn(ovPo9k-hdB~NA^{jBXHRSHyCgQ!g< zE#L#~7O+?cLVLKSlGzJbMCCgiB{Hy}WNu4slNfYla4dbxB~%KTm27duVGtvAfRW99 z!sHXstXeR!0)PmNw5{BFQMdaVIyJ{!sjm0_w|St3mz&7sT=$Ek4UW5|ou{*~zd0*T)(c_IRa0UgM1dTefu7_aagz*V@;$ zz_ixZ^y4I#3G+OmM}-FL2})-o^7Yjj)Nk#kGdJ({?Ny69v^zlWD;4LE&d^Q zyeN(z5Gn8Z7It)d>k@3u?+MWOufN~CfDro?mkJ9~D`f7tW!03PdOe(j0rHin*?wU0 z+ugU%pKb8o9xP1*Q4NaNh)3Bd$pV$#j(>`EE)OPe0NyVRo+9lLkR>lJ_Da+TXe`5d z7}e~|$xDCDh`ZTDPjka@G=Hi1KudEIdL#Z-`vr{5hxWt?Ek0riCSaLGk{ zf;xotk+m*BFUtWlf7{4VVbP?6XSU{xd$a!XtQ6 z{-81T2Px%DbL`%+%u?uUF`OkTL^o3(s8r}{sepxaPDF@8LWi4vyCFJ)$c#FXV;VX) zb0|!hz{ziq-0Gu4O)b5Z!yz6^#Q^zWw-Dj2*dF`jo_y3;EwEa=(1~bS*$Hop=50XW z;AM=UpofwRIyW9cqNUQ1lFQd1SkADXyyx?6yH?0WGPpLG+^KIL;qt88fYC!mPP#w~ zKV@pGuUtTA=mSMi-qN<~DVW@6Zy%1SJYB&8SP%|;D(BGLCsk6EL`c!co?X6|Bt!RY?o>m5mz;#!8DC76UgQkQ_-@FklV33@0S8jRLty=EQfbVfq?| zhz7p;in1`<=J}BkGj*G%wzSRt?jK2nH1<)d=r<2BtP>?$%I2}AsE9SQmF;T=sKP`; zOHpDS=gj$eSU2Ya5d5F4(@%H%8O1O7-#vnQcN3z#Z;np7uVC7uWo}MQ z>RK9>k@Lt_g&78}9Wvn1H$0p|mw;lHiR`ZcAB zQtR6WDE>`3L4_rUv#i9sG3$rd?>qCu7gflLI+KNUgsF@E zt6LI}Bw2cl6|N)&Ye|ddW875^8;B!fJ`{fUO{3%GE9I}H=P6xZuP)C1P9Vgx3nQ+Wtaen6%NPoMpVQJjhS z|F@g`zgb*e(b$Ah(ZvOPhaj$7vPnXmvk zIXJmk*?~;@?E0K+hRl5b`ybkjO6G3HaLi0VMm0_5&%J@#|I@7huX!8tsYY1{Fl3+Y z@71|J7^fKSg5~Np55t0J0Dzh^Ae4E4sTCPZ*H^_8PW(6Nz_gle*NekwGJmra0~ZQ) zA_QtID_s{IT{mBO4|sVmv1NCxq;dc%y%$bSIf^$>adSXorRnhsBamw;(6HU@RuC)= zgp(@|xI+$rHVeS+%YhmJVXT1gxj}FvIk-adkPXN|FvJDI;2g=up-bx|{q8 O!~}#RCl{3ygZnQyX?c_Y literal 0 HcmV?d00001 diff --git a/spec/vectors.md b/spec/vectors.md index ccdec2f..40c41f3 100644 --- a/spec/vectors.md +++ b/spec/vectors.md @@ -145,7 +145,7 @@ Vector resolute of $\vec{a}$ perpendicular to $b$ is equal to $\vec{a} - \vec{u} ## Vector proofs **Concurrent lines -** $\ge$ 3 lines intersect at a single point -**Collinear points -** $\ge$ 3 points lie on the same line ($\implies \vec{OC} = \lambda \vec{OA} + \mu \vec{OB}$ where $\lambda + \mu = 1$. If $C$ is between $\vec{AB}$, then $0 \lt \mu \lt 1$) +**Collinear points -** $\ge$ 3 points lie on the same line ($\implies \vec{OC} = \lambda \vec{OA} + \mu \vec{OB}$ where $\lambda + \mu = 1$. If $C$ is between $\vec{AB}$, then $0 < \mu < 1$) Useful vector properties: -- 2.43.2