From 9a3f8bc04cb6f81429e000e351f319d0555f6e43 Mon Sep 17 00:00:00 2001 From: jaseg Date: Tue, 5 Jan 2021 17:47:51 +0100 Subject: [PATCH] Add PDF exports --- doc/quick-tech-report/rotohsm_paper.pdf | Bin 1191356 -> 1191156 bytes doc/quick-tech-report/rotohsm_tech_report.pdf | Bin 102687 -> 102280 bytes 2 files changed, 0 insertions(+), 0 deletions(-) diff --git a/doc/quick-tech-report/rotohsm_paper.pdf b/doc/quick-tech-report/rotohsm_paper.pdf index 3c21020f4e29489719365729315bd5c9d27875de..62a3fc63cb55ac7a5140cc1a1fde3853edbdc477 100644 GIT binary patch delta 15760 zcmdmU+vCekkA@b;7N!>F7M2#)7Pc1l7LFFq7OocV7M>Q~7QPn#EdsS-^^yIL&4lXa z$3NVD!l8R@x7DX>GkwiC4ICQG1a!*2HBP%>R$kINW!dBU`C4Houb{iZuoN9^RK zaCO;SzS$X{zw_I_v9tLvqW)7&Japo;*>`Wdor*Y;x>577$CJvfH%({PvpxM5zdPRE zWl#6EkVU5w8*~@4L`I(Sov}=*)B9F^a#gz2Uf#<)c-qWmx)ZF79zVbC-?ZZHMT@AA z(zVgK?SB5ZE+yHX$#qU)zEhQSvQGN+0~hYF-erz|9kv_vxvHva9(ca;B+p+nAEO}U zlM%cr4N~`Wm-5K?zBS+#d*1YOA?b zWl45>u2S>&Z!Mo6F|AluYQ&72i8=R?*lyVRwU8B^caTO2*%R>&`4ly%qtfzIbd?ibs# z!}sxSyS5;n>*K#VlOJDKp3zWfFuj#1qjRsJu3M&sOI4#Y@!F5%Z}oEBTh143Sn=!d zokfuoJr%Y&_hziw(e-~;h?}FmkIRgcf)_KgPw;(UZY9PiPw%4OvqqAonD`$WB+NvUbP1zyzPkzIp0scyjCrC?$yHoGOi~R zZzWPN|%Y7fO(EX9se&W%USa++ZSGXn}$dR3BCz7zmswP95 zy?!RUtlde??GG%XnjO?<+<)t`$NW)2j3T3hQ^13*7R|prSq?-Rg4F_a7D7i(I*X>8=m<$3CmmKj*$_?}D4}>MeGwEB*a`a?UAnqiI52M_He@ z%=_|guB&$*>;AGW7r(2<^%Z}s<;^$QRT{JL^wB3WnkrFV4hJd@OHbYSw)5GQH43dK z#a&mPUnP;N@QP71(f?A-hkr-dH6|85^Tvh8=iB#-2IS563yEXWvV_aMr!3W%aH8aP6J)Buj-HXfBvS-eW6^L{g=##Wo`A_f4}1B{k3J) z5sPi=^Os-JQ9Cdpz+{5A!RcyMfq!u_z1BicyVZK;T9r?g{K{N%ZSKGAvzL9H_H9A+ zshS(>`aa8D(!cne?X3CAboOI<@2;sfI$vG;po{y{=F3eHe^d@0-s>5@N4D&x*dnv$ z>mBcVA1FG79@w69;O`H^Ka8Iec;f0m{Bl}zeqzs@YbtxM-)Uqr7gPE0DC0}SVu7#K z6~`x)g+KV+pjusQ!1cjYZ=l_ghaHI#R) z@OjA06}VKhmf^~S4Cy3Bb}hT$ldpL1{}BxkQ_||Hzb#z;d`*37-AUG$ckD9rmOa}S z$;J7-NM4aWZuyxH$}_}lk34_9L&Q}jzxRWsXV9B#aqAwi?QUQ1eqxP&xPFXzfck`BzVkJEtMAQs%E@J3 zK98~WxqEo3(zz#ZL+u|PJe;&FfAy`}cpr-%yC3s1o+-S_7IXQZ^>x#y<2(ziGUY7x zYz}cL+$Qw+d0kD;)}rZl^7B?+mi_SGFv=`Z&Gp^-h|+thPuflcmrF&6K#iNs5wt zRlFWmr`yiR%si`bQSyb2|Nr*S2OqCk^QrWH^Xw!0FLE_pbTs)TDc|dUoipTN{mDT4 zcXoeRA1~+;=1R>=DK05WP0Zy=ZO@ex*q$pVSm4HNZe~9HL5iR#v#FWk!k1`doSXwv4#?1T2m>}M;)mVV3`V}J& z7lX6Tn^@g?;fhVsj{gOUO4{sPEo^?yJ8)&8o`E=b`UYj54^u*8qrU0SGmutzQ=TXO zVX`#C)~c>8Em1rE>AmcK&-v^mH*=Gs9)rXQ=5N;1Ejj8FILivRuvghVtz#-KVf(-E z;VY)Li2vP;+y^96cuTfzVc)sK=AcdD|99v1zhe2*|EjUC@7uikGUxv;ew=ll5otIdDesB2g6 z#fiT7V8T!zYtXPnl#QSTX|2<`L)cNoC&vS|Wm78Bfub6I`GV_1k@_(H{^_S$9y?yz^<;{NYz{aS5 z#UG`egM?l&en_jeYFra@=MTfa&~6?U-i%Oqd)8aQKk zbH&NxhMBIh?6-*;%ky1sZCKqbyixzi#vOjU4esyf`gK%aw{Emezc|ei9x}X7BNz%ktTzc;AZ66)yXVAD71qU*kBm(jmp# zrd3JnzZhlhk)+QtPdhzq9fSwZpC~PPweymCk%g;i{qV$?bA3 zo|l#H?Jd3aDd?Wliwj#-kJ;T`pDede>gwGXv%~UhKkS*}{pd~1&B{jU9nAL`g)|=R z(UP3FIy2(q&q=c9EzZ`*trV$u-gjb6&B-RQRcxO=J}mw8-2Bi6mIe;9xxe>K-Xx*? z?a}9hzB-;um#f}hy7W(0cJ8OwIa|z@PT}b~9-j2%^V}tO&zoJ95PMqre`>^}O1o2K zsdF`^vwgT}>6`PcuT51ksrw_Zt=5^io4KxUm+Zf`URQsm|6MD|m5=vHT@I>OIoWXT zkw>11%Y%%lN2mLbxN;hMe%kr?ZQ{DfOA%dLxeD2{H9yi?RYG~`PPQm@W#{Pt}7Lmt^ZXochP_ChU4W|osuK^zAQ36x-BTg`OuBR z)88Mj;rjP+wbT>tUnLtqii_HMw;tRO^6mxinNy~P%NHq6i#-^3Xp_;dYx)QIUwWQU z`zmRDEB+6Yp#Ky3eV^F&O_h)cj6Z(Gxc92*mYUE*ea;`}G=BT#jkyMT z4}E2qm3!3(ezRr%E_^{#_w4J^+1{p=e?Hjw_5Jlw+nbqjOnhQfD)+97E#I^Bbt3s% zbVcf9FHXvGxW2*nnyT3DyK^m^dCMCPE}1?%EWYl~6pab1wrB+>zF)m){a2+|MV>jXn(xhdd>$(9PS_q>eL3jAmt?(oqlfRS*~%{;n%p{c z@Z^Jg(p$dm$G zVpDs=f8%LL&=29QDfWwA?kp?Xs^U=LmA9*NbGgi-g)cmhD7s!Ywt?f>Y#Ot`H#E2F00;_9Vt!c%g=jcw=qUp z8E7|N+{r$h_sUYQLn2Gwv^<*XvgfGy>Q|gEDjX{I%{0BcBtTH_lShPq`=!2#``2$U zQOvLC*|GV8|Mkgy=Q%6fO>-YcN31v^Vj4CrH|%6J6U))dae_zfKLp!`;mmynIf_ibFx2M@QA1-9qf$I*0FQ-InvEzExKb< zr69}kTMB}^x11Hdd+r(6og;TzU2KY8hixrdn}6nt(g_6>{yD)S2P=<9{QdHC&p!US z8{PA?9k*!y`KHGy{;VAw z=Z+k%;rXZ9_0yoFAnbgJx5@1>HxbfNAl+*WBO&{z(AmAu7scm6xvS0rm`;>jl zu51+amVM?n&(!PEQ>%=34jHF5UUZ*v$8-IIY@wTwao+~J+04A95;LV9)<-&DsOhR$>@0BWmjA}Y zFYa~~U0dHDKW4{q>r-FBe3f&1y!|IxKCZYpW!2eDCE-6p6HhFjp4DM~M#<`)n?P>b zF^l#eOD;)X)MoN!zujW3BT>4)A!F9hSIzDG`7kDPLRc>e%2>q;+ z-(IHKQuSc>7R9LIU~R$r3%As`zP>4ljjehk^NN4#A=!*y_fEH3PuXze>XKh4Or1W* z2XEHtzF4*~VdA3$4Y#}BZ2R4_qh__=-M(Mlivo+hx>l8TpJMpB>f@Y;bIo}c`|;X2 zPMlJG&|`JZ8pX~)R`of(Op8S1UNG{6brtR?n)!WcUf$06Yj=sSJ>}4Q@0n-4xOsD1 z+|}i&yzFIbtLEn}XQ`g6KCAugxrjRt=bX4UNo>ti`Ky;!sV_PFXUCt6r6p3EgI!MK z+4mm2X*o&#vWdy{6I=MYY|Jk$T`P1ltxxYw-wXNfHC3ha3mj9oY~8E5Yw_BI!^Rc+Y7-pGBdq+?M@9`CB1-BQoj&#|pHDhn?y@!Zm$B(*WOL(o@ro!D;Hz|Agm z6bjvzOZd#oah%L#ADZ4_dutY_aGL4bn*zOT$E>a-w}@3;EH7AJJ-wIf`t0;#wG}IZ z?rdGwTG!e;?^xjcbyRP+z>ya{C^={OiU~S?|5R`YMq{_mHx{ ztmf0X^`U+<+c<7$mj9W%^@!2~x0a5B^PgJsT;Q%qI4#=6T^H^v70jq`?y&0b)6Y)M ze8#ZgO4d&HIT~hXWxJD=5^U~ok@2W3H~G}J-CXZn>aVp^y!;<#h4)-Pqu^E9^?GNp z)~r7(iYtE2ihrle<+N<=;g?T0It#r{WakrlgtUABzjl-fZzYe`EG;{j#&2ft> z-aJZw%3idsc9z_pgN1J|oV45$(tqI6p4d0@H=9h8oyK?Z^~rB?^Btx-a_yK~Iq&t~ zcZPAtZ=ATA{42BQZ0FpKLc)uWKiZQd&9rmreWBFIypx){)Fp4N`(7j@AAiEG!NXYY zv&>c(`RtD1C+SJ@^}k~4w`ES4ZaqbR6K`D2_Zxx%OV)4djXbm{F=4aBa zu9nzyRh#9th~YJn6bp%n3d1K;FGYB77reE%*}T#3y~~MP8QZ2$*S(qQd}5A++oscJ zp6JBH<*a`AaLx|PE32L@+qrnsC(~u`Q(tXR@~Tb{*}^~@<%>F!aI8cz4?kDt=y zI`zSBK95yk>AEJ7MgF!jlLh*21^Oi|y8d>e?$mRxpVptBJfXbpO4>R1R4J~Ulfsu+ z{r^pHwEeQzoqNsMu4{oGLuQ{Bzf@(pDew46^*t=DWxSV{%{Se3{-{!h>La(k+86%x z{OUU3z?B`eZdUdbp{VV%Hg*2lT#&o-rL|i9%Q~@d9h`v?x1=+xE>4WfPmZ~?+vA_QZzm;vdhql6J7;#SxicFqmYwVMSFiqe+VTiX zf!%MZ1K$t+Y1=o~Dl$0o_j*aGc(-F*ODi6*RLtq-lk{?s%Xl$;LcqTDkE(?%|2{aq z<&Igf&Gh;fcW;yiGNHEed@S6chBnUbLUH?Tjwl3 zdhv;OXy1a(f1Z8&wRK}@OkrzY(&_b|tQ-G&8}h2#NtQ?SKmEBz<(lE~2@g{Zt3K!2 zUpFtdHNW%ix#RM?Jo;Bkc6`+?=w$uWT*JA_nc4W6@}>QXSL@UL?)vPuXe>`=`*Jv{ zacR6zYO}cCTP;b!Q6vUAX%5iM7od zEcTDTd$`OLIAZrtwgS+TX|ftQfM;wn{|_)g;i|NPH|FT`o609 zueklmy;c9Y_SQCT<_y=bzbUop-_uNorZcJEZkEJn?LW}{M08@(WcJfeR%OYJ4n7;I zJY{{)s-KQnc-;TXwU=j-AN+_|OF{(YQlWLd~{eCGz8sVzTZUu1~C*>v9U>UY+2 zRyEm~oJJEO!`ddi?Go=j{LGeXWx);(4Lj@dyjM@lUYwaOmmiS8J$sYv+&FjcLq z>t|khQ)I9$;%d>W)t}}}+ho73bxFcbwNv+1%y)Wa$=u-j!l5jEH8E_-c3+?GY}&t9 zKm8x@!*0g!ISKlE{!cK{U9iXeP%M8N>n72ip9}Z+%h~H^E{u!tc~vmq<;aCrsj8F( zvR%2c3%=Kj?Yk0v{ZpbuEmrjBzgIgWQy0dRv+{Lq zvrHCDcRVqz{OG$0PV@epUvKtIyLIY(myNfc{1vu#@w?$J8uRjl&e0j|Upf`F6{l*1 z-bq!ip7%aU`l-zh^`vRjwwQfBV5nL3PGsgDiMFfu&$ck#YN}V_IlY#Hlj*|x{zny2 ztL*Nd)^!h_Ie+I=p`a4I+Vw@zW``C%yS1O!s%7qyNn#8u*qR@!bgv9pDY&7y*!qgm z`YtJ}9xaEQgtqS@|E@3bR-fFwWxr<~@(EzsX}yn)rU&i&bCd$1dHeuyd=e0pIJsNv<;W^_MrL ze~UBE{bV#dAo7}1$F2SD+=oMEFtoO-Z?0pMx%u4C%=Je2`r}^}+t#d{Bf)Dba-!k% zb0!WU?VSFg2Vd`Att)*uf#+h>#`z{y9iOV^>l!F&724eXnK=Cl}IT9wXP&%)8}PE zv)-}P@`${>%%%P_-1;N)QrTyFcx_sx{^uXuwIbw3`f^^?#>IQ~y z4aX^k=L+k2*Q;_@5Ujh>L znECBo)vg>;~M|Z9_@Le{X8(_(yzUJ zr{bn<;eUUMWz(VlEAPAiIPUzk*-tb;&YSnXXT_tPs#8z*ysPiH(!;m;sGPC)+lsBv z=5CwA_%-HatW5QsfW^zS-us!EH*LAGn&1AuLe;LolQzq$_SUX^sK=w0{PoVKzYiT# zN>nyZXQ+StJLcvI5rJnr_>&UUqu*FPx>xz~_Qm4l5S^EXZcob==C)KbiPV2PrW~+r z*~Y4Cj4PkJt*x}!Y&C%+uf8~%W%Gfg-uW9ZANRbkU+-P^r&mm6|J#h#WBcqICM{ZF z;Xh}cp~lfq!LECsJX&tLQFfYL#)7p1Gp40iy)sTo+jo?Q|IF8&(R0m@?Rlx}sMlGl z=BCplxbRK7`1Oeg*3a% zPcQxCv)eQEpsD7y^NL~jT~G1sKICgya^HM;y|0V<>HHRzaFGb_i3uOx zI3_GM*q#w#n$ z`aWaGqv(2O+WzH?bGr}M&uX^S z=d<1%Rx#gu=Ss&9I@7}UTU3@udj!Sg+~S#W>*!2@chhgA{jfW0y;3vnb&q5YzEtQ~ z2Xpb6`)BV9FSQj=78ep=OP*1v{rGl?(93|?Axk_LJbY17*XbeQdZpca^X685IlcdT z4!9<5E=v=RV||b;>&(BFCzIp9f%w&%5^8ead-gtyEYN zg4|i(e(%#bE4n}B%+_zS%s)AAp11Bwruvl2@AETVLv#TYu9^YZ>z@0Og{-=u9^s3~-9nex~7VT*H? zwU+UmQIuOWxlig#>7=h)Hq=*EOy4}qtz%u1C(r48iMORk5_F1wJaLOlpZdgTPs?nP z-xV5PnU8DU=ya1!dd&LRsqj)rN=aUD_~&`6zsO2OzB8Ep@5tlb8w5A)-Q6-d^uJpF zk1ZW3k5V?C-rJaVPlNT>UscJO@s4||-`^34nK@JQ;~R_H*4NIz?zwdPu^-=|r22N3 zjXJtt)x?;8o(y^Sq}D1Xzp%2Qt}G=jxy2=4TIf|?uC75$+&5k=?NwQi>LM@J{(OIL z+RBzhO{ufN4Kcc37d6b(3)SzedtW3~^QyclJK>Jx(`^l}F0@`McMq(Z`K@H0W{Kit zx2^?Q+b1)ttqT2Vs>Dz+yJWFwbdrPhiVO9}Rrc<<8_9L@$)2;1)HY1&<$J02;B?9| zXQzs@k>N8}{<*FFQn0+m{KVn+e=pbRHmAgy8SyTE;ryrR^rQ6Wc77B14lH~)Nk>}r zy!$PymdNx_R=49f_-&MRo-JK*?E5zHw|@jRJoPhkcN|{V_~#|x$7Q+q*8O1m8q!-< zcH#Svy)*0Cx9tiutCY@v7gS$6B01(zIue2p}lCwEU(lD#c{r3jBr^E%_?;DgRm z+t%~kD-4u6z>y{?BzDcW@K~*r;D;<9>n(m}CL3=*Q1&Uu`nZYwM^C`W?xUndf&R51rB1I3*YU}O4k&1 z&rpAFb|*zdrI*+G_3cAS+@Z@Id6}aIPGKjaX`Fo z#gQ;Q?)$zL+>%Ho4w*Sn(_vESL*+@fsrsWg(&R0F3+3d^SH7)M@bI;rr9KWs4 zd_0zCwl;9{($~53n!LIHrcYkk@`E>7v#(R0J7-E%#yLaHDRq5bG4jiHZmDc-U3BF| z?Do^~^Nx4?n4bO9c;y#9!;{*oq2X-DmY8=v%ims8>zVND)vfyZ8!d&72GuuwN&GSC zc;CMnoBYdm^}TH>bZmVieDZP3;d5SlP99Cwll$paKEwRr9@hyop0O=It#`ytx1{Yk z)8x0e-!8dxlI_fm2^+hPD1K48z@#ebzdl$h`hV4tMu*mt532j*as8SAC@SkKk;)$6jzFPuGpsiF63)^(O)zY@ZY z3~I$*WbX0|KjU^jrnY-^L;R(?NB3~w_&Ap{q$g4A^oMUYKUw>tl6v~({Wi>1x~3Dd z;{5?h@tYa-lE3}(JKq2PHTR8}tRs8Wi&rHgs&`ICMJLSu|4_RkN+~2{rwCui#wE9Z z+2-u1&(NCFmoekZfwXIf-Udz(e3w_YvDI*6|F=&zdIB#CriW=nGcIYV^Vu(5FgxV( z#m7BgcHLmG{qof}_`Ck6!YhTvkvxAF?tXvjd5#jR-3z5Z3uVneN!`N%tM4!gy_@|^KD+@`&1_19v|+PJum+*%o6*IEwq}qFD-hH%ck2exTJF%^!kqpX;<{!v9~+$a06$SlTy{n z)LT(WKYd{MmcrnV!>yB}Y=)pPkxM z_u+Pbng2BAq9w^U;_5Hhn$P_B;`U{M6SK5_YAx@XGdtJ7e_f>7$zb{42bFuTir7z{ zJ|i{C&bj>yui^eSzw&7&n%-K?)BTFxwio2~x~bhcT~#d9zQ_73$0r8I>qnSgS&wD7Uw8g;bgNfwZhRw_d@Wa9Gg&>2HG5Uus%wFp4b&Ev3Kq_;Z{^xibZUAB z=ac#Keri9@`q1sFc>IfZiBa&UdCF_*EBF`Y%HFPexh3FRO~}pi*)PL?2?n2wZiu7D8Jawiwm;_TBOou+uyyqYj6FzQ-{Rcww&DfXqT&4>2=NYcZnkA_w{=IOmjH< zSf=jHljAqzDlU5-d)}VJd|UYkTga?8huhRH|Jc5&Ce$c~eaXC8(-uf%PM)d8-8XopiHc-d$pPf_<^)=Hn+g^BKf_fB(HNAC-D%-`jcI zoa^famh;I!zqIO)(;mGtCT>std3xXa{Vd=9+`d3y+V3aN9;=smhQ5k+ZPy5RPx=EguUsCR`P?xxyui>|K--*diwERm;ejtk$;d9>_h z!i`JQRd?7fJnS#tRLwO@AxuW+#e$R%dla+nr~N*|f4zQ@aznoKCb`xq=lx60CS~V% zSrru9n;tcmh}`ontSs^F z`IFD&PtU&TWqT^;!P@LpTgO|wF1_an*7#f1_f93j>D$g@8BPjM`~KW~{GzR4$5aN3 z-Jd2MSfB57t5@lo^#`u@!qq+wFDs@tZrC<}Uc=(yG?KfNVJ-g+8QQx*j_ocrE-Rlu3Hw$TKTk@D|xwQO?rVVcM z^nV<0Yk69E>5#{nOZUIloscrBsBo+|&=#K@B=)~+%N|bC>`bqT-D~$}zONN2nm^}} zz)XYC_Udhm?)Bis^T*Z1VsqSoP+#w?|elQSl3@ zTc8o~s6{Dd(kG++b^D4pY+#&d@^bbr|LsW(cYEJ$u1$a0CLx*|mZJ5_M^ta}x%5+F z6^rC~kL4^Yb%;;1TH&KPS@NlYoYCWrequAHnw(F+*2b(F`i$$0w$C%3XD?^$j4;Su zZ&&PXLu^F zWc0cga5(*v_L@l%qD)l+QEt4t3Ojr5$$4<}OHK&Q3RucswPgPnDeg=a7Lx;>jmxK1 z`2Nazxx#V%i3l;1i-Ff(GV>}<`6>~p@P1>6b6rP$-)yEpZbnm|70yfA&i1rgNNt+= zB10v`%;f}sXN;h&)CToy@);U$bObN!72k7fJL=jWy6nWBPXX6foRN+Qm!4edUc%7W z-zBBU9aJr($lVsO)j@&n#F~UE-?r8%h6$~DC1T230wxA_ESaKwMnuHTU+mVTP!mUC zj!8`uT8g^rH)z`&32*$sbxls=1>+L~{$-3w5xi44T;2(%E@(G&uZS|T+v9#n^kmX3 z1G5b)Onc0Jb**4o|rgf_4N<;Y~$Irc+ zKiHe-vf)69i2XV;(l>Dstpiu{q{k4`pj>@0RN z9hZytoY9+eTGg_<-?CN6;bb%Gi;X8@17?(!)$e5S{8(i4+grxA>Ilz~ixrkD(;oT! zsruEluKteB^z!cif{#wuPuKrh5vKRKuv9zk>GW2K*s#SvuReUSZI1u3#YZ28hThd% z=XRgZ@Nt>RVdUp~D1Wk%S)&+-4Q4%lCM=2_>Hwf*F^8GA0&Z9jSI_MBG_{U%SH`g2{&RKA@uKIe`+&WbvF{+-)n zA=OFO_sHr_e_GRa=;Yny@zc+ro3=Q0=2a8^Bb-9c-(Cc&`R#adEA0_ykz)GqUFmxx!G!{-aEJYV`QfZ zm+!neDUbI2*>%S1@s*W7-oDsn)9`9@s%5lZfW%Crr}te;?d7L)-*f$NVfCjhBdc}$ z(&lUw4B6@A$>;V=QAu>a>{-VqZYlrgD*G9VZ>^f(u_bunbBCt8-Sv(xZ40_y79YBx z`JsP{qT?jP-`ATy?vc?|pYQGU^ zRjRj!Bx-Dl_501{qGG1~o4dv~^4Whm-BYjstP=U06?s=DubAf>x6oUGa$S$TJ9Cx# zHfZ1Z{$Il^L)~Tf#%s;G@8^`&e|&IN_wI;f-Xd+~!?xQzo9)x#3a1yjVhXs(^Jx zZUze{tF>Bc(VHbswtc_4S3S$nE!!rjt-Q)s$o#EnrB|YXNI;EpZq`i2Z>=@Uv$^T$Ja%OoBR5aWxQ63s_xFp z1p(QDku}%%s2|wLuC%CaQD1e=rOcSc(=NtEOj442l_+_}F-=KrnvL$}T?(H**uA-^ z_oCpiy3CfFODeS9N9yld{KY=wZBhEJZ9B{2>%ToX_v5nSlmF}A$B0PI^E>!Kyh5(V zueylgR7Q+Iflu(XnxmJZmy7)AF3+y;R%YC7c=ENWjmT!*pW)9HPOdEzxVrPGUHGoD zx!n`1m7WyXd@&37GGmV36-bzuPpB9{a%)2z`2%GzkP7%c^+M8Zj>L(;S z-d4NT*|)5IqVtVUHl8;Rv2{hsM0v2KFv?i>X6iIaq(prYYnSC)@@3zqu8Dm~qS*yK zZjlQwiw1|VM$anh<5XGsu|=>|-S5N~zf)=R7Wc9i9&6;9A=G<7a)H9!-oh5`4~s8s zU9oe*yY_b$tk0H}FE4I>>Jxc?r998gL++O}9-K+C{Cn`*x_Y-}qacnc39n|l1?jEQ zmDs?(OeE#S9=`|If;)2d&XElG>dG}u_h%K~{lW&lu+u-@EqayW|FvR8u&q-|uH%_7 z-Lr9ftM0FPbn(`suO3$xF1>IzS0FPWAg0&mk%y^O^y$*p_l}$I)U4kdD_(lFQbPF2 z+cw+2YM(+;!HofP0#qgIZ>c}r%ynSa*;P}|dCe^q%{sf=Wsf}XBar~>cw%1HgcNbg^0N+a3AWzI`!Po^AdmT1rLP_T{A#zTFwBnG;oB$|+^a z%3gjUyZ#QN=gD|eX_f8|u_~R1`;~4+HD_!QpMFtVNVK&T2k+q@V%UybfdB}S7~oX*v03s z%;tD<%!;uO-fHz#sP5jxu6513Wmm^8k<@%?cSTrOjNKanrAxbLe=n2heRFTBev1p3{}&!0Z| zmAAaZ(fD7IPy3#*!V%bwIS`PC6>RBQLWwDb3iPk)}yU#@QNJbk%zX&~D!mtU{@HU=D9J=G{pSgU>A4VIpd zok~&5y3V+VPyU!uWwSGH_VmfG=M~jQy<2?ea(ujutZie_`na4RztwCj4z;{zSh}6D z)Z@n$uBxqp2h$(L{9*gQTkL9XrL9o;)0&{z&fT3ex{sD@+3`|)_4mMUXE#s&?td;a za(`U-&0kBV*H2!RIe|B%md7;Tb8TtY%~}!be?QM&{OGMwwu{pxc#DGA$NI&Q&ll_E zU8#TVA=54VF=mfYzQm#XN8Vrf;`JdVux^*U@6qEYp9kIP*q_iabB1r)(iH`F1@9c$ zxy|e6&N-b&pRA6!cjk1E&i;@`_K)nJ?s+vkYyFv$e}8VyUTl9dq^y~H%d|!Qw{Gi( zzDZfR;bzc<73)vMb-w)bclF}S%a@#D%Xd4McPDb?e%6xu{gI+R#cIE!UCut)2>YIPN#?Rj?bWwi&y?xfzKQF&N z`S$7GN1>+Gl@(EO_wz5*_q^&_w!Y26*JGx|@=Ys~uKfxz)arY^I&D_w)Ys{^!XN48 zX1d%=S=fK|uZ-!lXSeVA&Qx2l>sG+IpL>oqe?Mj7{``F1|EHzN-Irf|D;3>7>oDt$ z=KA16?ctLpjIC%@mtC)a#OqV4 zbuOU2{^^y!aeoy5xiB3sW4^axQTfwMX|?hy^d1ar^hSlr!)0 z^-upyDzX)xy29$?EH9_}87Vt=gnD0n@Vnl#W|zMBANKA3->+`kvun<$GuwjwpT*sM zGhJEldeY1(OREd*cQ=Iiore5!s!L3u~n^|QgeRyfwb%RS!9=q?j*7HxNZs85jpHulO02e7XW`F@jy@MxGu%=?mOS&8{Bo83s_%?4r$1B>lB&1iS^uv8oh1LE z)_(WyN&iFsemHQK+x_2BrT-fqrWnQRocyeLaG#86u1reZ{21MQu|L(Pwr0|_|KZKD6Y;iB)>r*0J#_#5`TB}KGM~(y|7|h#xG`I_dg-@x zdkX=+ox2sw)vNF1F4}W@{_h7@%<7-~JMcc`RmF`<>bw3keEHjap-q}NB)~TuTRRE?zh2s;rwOh z`^}e3F1(v_JQbW;@}1rTF3t#dFdq?3Ko_olLeVH>s6;( z28TF`wEpHZ;18H#eppGPNlBrb<1k;-qqa?}IJkEF_UXNHz(;sBkIrca;nN4sco?64 zs-E#+>!}+K%+9ATu-q^A*|+QYo;usVyUxGmR1C>YYZ9I9$bBPK@rjdKOU?#^S|!&X zTA5;RR<7!4J+o`oBmt+dXK`T zrVGUUs|!RU*#mPsAHycvCdeDH zhfUb);N5*NGDZG{`?G^an>g4eys7=jQzXEnn0+AgiGhUUwWi<`fd*|?By|;!A7rs$ zP&+7M!NJ#Jy8?{us`iqtxnCSAneD0fFY}wO-7R=nNz|?ZT zbB}PP`ipf7g!9Aq6pK~KW!oJsyXw?zcUrXMXms|)m)c_4Vr*fT{N(=J-`{nGjr%^6 zm!s$khKWa~o^JHYzF2RuwzaLmlqL5;7W1L^T>FD!vJ>CUzP73PdLKjW>`y*jd(R&F zTgWTPEVKQ4^Ib8$`fJRS-g@a+eyv?FedQKGl|!7p{xk0Wl{hoc=6d##1{6#3x_Hv)K4+b2v%3M z%YJ(EdX?9!8o3GD>i7IOYL6}I_m*PtL#Oziz~_T3AKh*{{teal^L1 zlb+VqU;L=y8@^Iy^+6sBmXb;t*3t!XGAy6NG<06}x^0ksQI@k|N1YRYNk#Ai(Kn2_ z3uIqdUHQA5J74IIs5C6p51PeIsfS7{UKkY_msJZUVL=BbQPOU-8avx z3y$XRUoExi$9d(@!_(IPTAg*|(_ZnA-l)27^Hv$2zF)CC>&_?sxK*<@{Mnut%6@<; zVvAF>cw7+EiP|8xO$tm;8_Ybk82?VpVg2HMNKF0C49@VBLvv@m;9qf!Yps2=sMY(H r`gUETyV}Sbsq#|tld`yqOA?DpDvDCmxC{*~4GauSxl~nM{oS|#BmB8H delta 15979 zcmexz(__zVkA@b;7N!>F7M2#)7Pc1l7LFFq7OocV7M>Q~7QPn#EdsS-^`7f*n+fcD z9{wXtvf|NYH{G3kmw3)*VC1r4cD?w;!F$VDw`dQo_5Z%leHd_0X*+9`Vf$f4%U@|r z7hkOtU0YZ6HSP1OkF|52tez9<8nw=Bx9D@j?$b%3#{^G*&f1z8wx9j!ul}>g!zbQ% zjn)c#YH(oMgk~N6pISb_(~hXV4cr@8-y74O8N+s%@3_(i_VYh}{uEZuDh_B9bB#S6 z_G;neu&k&x?JILTavGwe^>40EmXpbJ><%PWZpKvlTAw)hX(Eb9TYm!;{#)UMLN^?zQFh1oe&f z>??&i*q%4=KI-PazieCk=k06fE3;@^$k@91h|u3n^%n(C>|vRaI9=4Vwp(pkxw?w4 z^%`NhJzL!8h^ITKuAQuykZ8v8L12I4rX%;guD)Mya>A3@XmZYs=#s#qwU2~l0*Vgo zobDuC`}kMn%*m%uv|XE9eZV8?;Hx#FANal~3f1pVjPcmdu*{YB5UVK1%{3}1g=<>Z z^1H;%xl*n8T+gF^ZbGU_{k&~q-M5s)`Ziuqn(K1VJhlJz9CrRAq1Wyg={pFR++|cs zxTC|rjk!wee8q*%+VyX){9xU(OId0uW9svIi=!vp3fTpWvTjBfOv~KQR&sl(c6swU z)fdy9_UxAtsjEF@%*Bz=TP4BXYrf#V68l0YPOqdHru+QPB~L7qtmhMR-9JCdMB9k- zNZAU(Ue@r!_{pC%Ua)(&Y-;Op%W^GikmuO4+4tSAtL)<4kqOJz30JkrTQaqq7$htW z6FM!oWy-=I-H+^l>-}WvPO|=bpPQ#>SG65$;yza9N8+i=W0+3{3Os&w=#AFxX8)bm zjjMk}MhP8uSR}i}UO4&ZJofrrRYvuU8~n}3%d~rP=B7VfBlqik;FLGZEz1uD2Ase2 zW6`{WCp`~-IurfU{X?mo>p}epUIoW5n|uA9WsB~Z{qg66ZC2+33dKTa+818ZOQ;BH zTzGz2Zu`dO$MP9ZT`yU9@$S2&xXHqF`b0m=txYNhna)eNStYjeyuWqI;hAH*e|^y@ zU5mab#S5Iz%5yunEBEzlt1x(QaP1LG53uiKh{(2#a{FD+?Cf~$DF4Bu;+EWZH_Gm; z7i7(lV$Twc6{(z|pp&5IY%HE*Aa!-6*q-A@qXo}KRcNlPdCPR`r>I<1w_Dk&xJ!#d z#kd(nE8|$+-L8E1?NN=&ZR1(Fe3L5`F4fn{pI=#{n5?%jBBsFaMd9;%ktWZ>K4d#f z$HqT;Qgd$K+K0U^+xxWN7a3Z*b9GJ=5-=#MSRAm+_R^eLqDu^ZF4FiKIn`adqsqZ` zkGg05hi@7`{qxe~qvZp&>1TVHTAHV^73JGX^C%x(ZhpU+{NlLx;-TgC zJ8iY=4RkHc*4OksznYUbXUes(fdb^l`i82{&6v-pDdZhT)XANcm(f48b$+2mDOU}s@Yzn=fnNS_8p z#SDe%A9S8ib=Xl|81l?viuNpnvPV}!)2{Geh&2BdpTFs}?%TL;Q+{rUm0hm8Bz}=U z@2u<~f4-jBJ6pY(+E+zC)Yd!U?`D+rQ=L=pozJcZZ#Q^v6WA)b$1NtGg(6DLT17vQZ|@X~dCkuAqd-5iQ}Il%%FN5U3zz|F<_QH?tpJ%B^s({==LfqCwM^ zTrD(k3uJhBrLkRK=yR(?i|eEKlFn^d_v-lZ zFs|ZvpC8W5%5V68JR|bp?s-cKi_TX*zi95mw%Y3J@A?JjELlGB_!UR*KdQs~xj=u@ zo|BukTFkZgGUqQ=^V9mVt>&Kl*R$ss9j`A4TM$-wc~*_c-*@o>Pu&|FzWyM{r?aDH#+y>?3NdG1;W3Dc^M7fMk>pHyjx))>n!@udsfx<%CF`z9ld>A zsd*{IB}J);xm>C3xpD&AbL9jJ+?XvbOs79c5fo)MH#44`$f8ldwk$Oy=JqDjX)M!O zuB$mV@7}%J+HrSd+cN1{$C}y8Io}x48fJ-=6aN zH-_IF!+>s z>GJ6Vj?*{{c(k%R8914F>Kz;!bWTVeILrG$NJ!|=67~}Z=GZ(;h_+^F@btgkFtfGw zYy7nPiVWK4>nr5Sb~WTKWN2#_Hy2=e_JpHJNlxM4b?H(E1%^X>EE^b|9T+5eeU(*9 zSs5lb?UHj~WMMt1tH|IRuFY{nY5~_aHpf_pGYrxaG7LYn88@^!Ha@t&w0`FX`vlLO z3_6T@ehS$i4x3GAH$Cxkd$;HVmL}__*ciEcj0xfmx_5-SDqb)$u`xKWRa|%AK8xHN zvkmqwa~^DH=Qz%OpLvGb8PfEr|<kQ)|L@N2f5q~r|CR3CISTXY%MSl@`8%0e;vrMhjSa~~h4xRjxY<0} z#_DWnS;yZcbcK!W!J|K?`ASNEwV&r@`F~kq*?r@~e;f`8aWp&GFgi@&Rcp86`8Yx7 zK>e5f!88BbtADC@c=W&Hz<HK* zNk}+|e)!$j7;)(T`~q)xgCn2s=lrN%!1zLc(tmjw)t0Bu#!D7#<8Lb1RQxZMW%r3@ zTL%YUgG0CY5|TM9UtE#jEhoa!mNP&Gu!_Gzjv$l?T=B= z`0)OTyvr}=xz28`ha+6)K7C*QYQDx<_P2t&=K1j-`L|odRN}+@?)ws#E*bDQnBP9k znezCVAj1cH6_F>8KK(Sm`R_o%-|V$%oej;l3~KzU#YKNL|LmV%zc%hKuNz+$FY~{7 zqOvWjB0mh`{+s-%FN@xN=pp~Af0iHlS^p>hO~2r%z(2wC*&UNJQBQhnv)rT>wW%zx zkGQsEc{le~`x`5F_-$9Xzn|;c%jr_vltS_fgJsXe*(=pte`C4zZOQIse~M~1bW0q% zF_Y)k`Ndx<58j#Uzv0LQtpl6nP9%o)Ox~6(@U+%o_;t{7^MCH`HT6!r;{A5)yQcX*x%1YC*AwSm+jIL~qQ@PZ|3`0Fn_Remz4FV7 z>fR<*Yq93IBa@DNe`}U2bm%fuT~vDQ_ZO#p5B%NT5hhT_s`cA1D0s?wg{Ef*R`{+|Gg{ZgJ&!}EuaDIMT)V{{bCClf1e!+d<&jX&ta?SJl zE0=EM^ZW5?_EqI;K409T4gVeeDpA-!$+X|&p8N&2nd@G1{JW~~N__7m`Rn~r^R%P5 z-|yPy;=Jkau4fZhU%b2a$>qO>Tz+0Vm-hLGJmj{SWLt= zqIQ4#R*}wJzx+)%>bkF~S%69X$r<;m{2zL6cyMn?$n&~K zi>9=iJiT-9So*ujPZF!%@BL(*X6xEqmAy$braGxozWkQUdPl3+=No5FynTW7P}3*2 zAK%LM$hPM9{q-(U(N)m*D__-;9sJY(vz}Y4G+&PJx~ZoprI`F#nHYUPNnVFb&H7VY z?=CK;e;!$?oXTHyLh9{%o8s<^X0JWZ^Rcux!}Z-Gx^d%>259e zGqkJxAMu%X#PkKk0KWRK6Bqex@vFKwRsHB&xV!O-??-B%jcSK zvEQ!p-fwd5|1lHLnp>o+T*nl6*+YVRO5Uxg)nq*>v%hXfYSf&Cb`(6=xc~NIw~)dYQy%(jznrxNmf!|2;+HW_a?XqLWEgZ*MLxIjn8_qLZOx=@CZ3B%SZ20tr8^ zDX&O$dm8u4!R%g5oX&@~>-_C~-fyE6F7bDUq$RCh!?c<2U3Lje3eWjsV|UM>&W+x! z^=qz_mvQhdxwWNt^(M6w`TLYdomKp+lz-=Kym4cy-<{C;Et8d!D@6_jHwt=A zIq-4%`|FFB$I9l;ieqP0zp~+iZ%c7~@qwD^5G(AE7(L&wsXzhr~F{SQi=T-d$rpk9~JU_uaCyCC$@}lqSkf zXSt+*yZl^GRYqm-70Ksm#<%}OPTBm&b=l8dXE^TgoxF51!e_!W>GR(=OD)qgz4B!K zTz=UXzEKi99oJ?ZxuYvtXuHMRzq8}r$)xVvQEpG?c*Pi5eet;L_N)H0Wc(^`)*|UIJDyKD zr?ug&#QEi`BwoIXsHi))u%p8zHoD(QNpEe-6O*k6;!jsDdTmi^U45K)6GOW3#iQXI zvpsGGrpVpt-km$=WM`vq$=P2yzw1NAIxaq+=3=i~%@v-vesP-Xl!EieHErHasXI0| z{qHtu#?yOl`cBlebGi0$>Ba){{mE@7_9{$TeVZ-MXjb{MGY8d#W7l63*Lq&hHOu={ z+d|$KLAxihSWQ;lSo$DD<*g|h4goA=+J#OeCbmhr8F{u=Lj z^~auCUcSQTWj0@@_KDM<+*fR(evze9aYt~=Za1D3zbWyI=xdn=J&t#){g>hfc&-@{EpY5fIPWsvUDeByP?=JgajhP)1d{IkhPtIL_ z)i=|WH{{0kYfLb)JLu)&?i^M7bPD?`J4K-wsipf}j->1h`(>2yLv!u+W50fWS^i_{ z!5i`I*5S3&9pm;fhYFq8^5VwVVpD1tK7Xk#=D6hS^TeAo-Y9QcDCGVwV{iQ1 zX<@T1)!nUU;6s~L(lCAA+y&!I%jC}>-tvn5S>eI;@aCeZHbo+^P{{Ce^%M(P3t|d z{NoX=md`BLkHku!bNw-?(bJfxSvxd+=Fe%4Rr=eScI5^c3G=RNIbXlrON_m_M=@_7{p ztmjorIQr}3@*?jgd$-K;*!aCWQZ?<<`x9=rt~^~{7qi~LSCFsjW@6RLf(Nfc9vz!y zFI9iF)z~oZyN3LN|51lt>HDRx-kamNbVsuIy+93J0mH3JdV&vyoR%nc_mc@yF_2re z?|4*%a*N-Y1)Clx-FwHZS^T8!{c-*Vp-;6%XCA5X&)+_2!LG&~Hf@t4G_J1WjrZ^{ zsXVXYySY)|u1@2JRe%4gKUcpVRjm2BjU_&%Z*Sa``WLSryS>+1F@L6nr?!aSjt#H( zCr#y9a5G*i^-aPgshq{KW%oY6a;!|88uRPLQUB8QzIS_hSd_dn4jzg=#yD@T=G`K@ zTOTDIU)%4@+7Vig=}c&9Vy;#ToFFVbqR-@cqZY4@A{Uw1>r z%Qf6CV{J)=@Q?YQ? z8pfw-g3usrq{eHb_YvR#*1^xH!`8BUU zz7*@67TPjaPVZ$(?7P`<$?%V`sj-+#lF_jJ08MDoV$t7g9* zU)xu|@^@UTc}4z86`#zGeD3!5mwiRKKh?T$ERRq$+l$fMsp1z@lJ_TN^`6f zcOQtcms&R8_t*OMl8Z`PXXZ_Hes5H4&bqv)x~}cb`+%}NW!dZhTX^R8oLzDG^nLM8 zzSBW}u3VHTT4~{0zii>A_$zN$Z!8I%HlcW-bYI&AJ1Oe`wuCk5_rupaXYZK$x<>uO zDT!~_<}+(%wTV5o+pNAu&gdn#&z_(*&|0UNm0$Mm7Y_j<0YHdNPMYx5%_!Rhv45A zZeGWeX2tJ$yT`4y%|)#84oq{Il%}ho^Cj{f|91%-3yf9WFG6HeLOFzi99F{CVcD zON^_Qtp3)PZ!I5MI_uTv^qG6kTU=ICSN?G5Sq-qDuhcW1>$@XT_<&pg`;BaV zxq2(XTQT3PC)Dg~e)8Hl^POM#`mf$!+Ef;Qj453)A$akF3Z0V2hqg65F;h6@xqX7p z!FHM^_G!e0Zqcj~DV-|(?x#ofM&YXGz4dR?RQJw)lz(l1vge<$ZHK!b z-_@w*RkJ=Rm?pTBJMV>n*ybzC*1uRT|FuZQX!DyT!EFzU6f~|`eZ8CHaLioCP5Y78 z)~4-V+A{Gb$`|fTTe9{~dR6V-`x)!5o^(1S*MDu%8To0;#oyHG*B=pmY3%tT?o!!5 z&4;F|k9e1!HCcE3L%nlF@cL+bjT;)bH=W^ebvl)|enz3lbGIGLd41cR?taS7DQz=P zICjnd?w9c2GrmfnYufo{QkA_4&#%%iZ4EOoYbdqJZ_}Uid-`nMxwn?^=h@!s{awQD z6`I%j`1L#W{;lP6x9lzBW&L~M*_o>Bj_noTXumFK5*6`nS!0rat%k zyX;uewXJkemh<6$t;J1ml zevxk3&zt{e_U`oCd2ec$aOgc1O+S6|P1~hHpNYzhraP49g(vTD3G{gO?%Fhg#b5VE zr@2_`iAEoO(E4W9fxD`$U%Z$m1^R!echwd0e=+lb_oJWLY;*LV?>Sd-i`gUW{F$FQ zdB-^eg&S5otXsG>Hh9UQnR5&+r+t$0Pv3WbMn=wAn@gMAdFMZ3jxg*hIXp+zFy)kR zAGfe*s9)UC6MEC{u2a+tyWDTDACqaAQ|y&ysZw~XAhr8l)wd4~lci&K@-en&yg8ri z7FnOGIgeL!rpf-ahSa7x5xVC$M!ng$_2fs{ovh0q_~`FuPJE)%x{G3>VLI?q?E+E&dhE@pW&)Us!8810_(qIy$bM}&ot}Xyd$-{@=fby z%96Civj1J3ed>VIj}@DO4m?}7acYwF>z&DGs!yqDEfbX6bA@B;ht7NNSbuGn`jam5 z_G8mM>-&=L_pLkQFWjNMGlX?os({9-)PqX7$4q-yOw9WvYn8!$btjYFy+xLVnPHPS z9Dn)Gd~|ZFrOSdZpX%>FxBIXw-@tqG@l31Fy>k|1w1{q>tomkKSGnPA?iV{>>#I+2 zk6V4ktla zS>~+s%NDy+Bbx0Po|g3Hhvl}++;ev(^uK?+b@}J8g}wb%E;C$iJ#~57U!S6rwfbsn z_yi`Vi$o!Zr>Wc zYs1UR18Zt_@9sOOpT~1yy|(Sq%{!Ef3{>V!+2j=+z9OKx{j|zmgNTk`-BQi8ju}7I zT^8S&fAVd-_MI1J512*0jGuk~uH4@P^(WFdDxTZ=U{2z@Setu?@{e+Tb9~K}uip@Q zx4*2yRn%h^@3-lZU&B|=S(|5K_fH}sG*d_U@-C%MHq(yiUHWVCVRtI?HC-LX{>smm z`n;juQ>9#s%O@LcX3edC?QpQ-zCP2{$pY`zD6`mDe4LWls&?yq--pYWZ|P^mm44lo z@{Xsz_~DLEoboy+-@ z%fgE%zL(e(uWaPWd1c1d<30B$B=!1t{MI<}=YT?tooTEayPYxPhSDlFTSbT0FY4wu zzd8Fwte$7@OX&}fYs?&LczZM!m%fgbJaS@A($0iKr{s#G7O8LPpROshPxj@D+Q!D9 zveQY9yT07mA9v$NdcDjvp04Ye#kz$;taXm8~SyWpYee!q%S>(~LguHGCO& z|8)uX(uEJ_x_^&2vZg?1(wD>pzJe(#+*eL!&NYqAy#Gb@!{JRI&1?S6tp71lyBE6j(u>)19v(6Ib#-Fz-9KgZ z(w(&vZ}!_f>p0Q2r`I+(ceBwdi_R#+E1V)nxtp!h9F_{rcPreOWOz2<^smKT&(Ckk z`ejtCz%24bujub$n@Ag*XR32TP6lVxH=a1h6&hRJ-Zg`Vxy&nmr~c(i_tt#J&qX=+ z4(Jt??MXbk$|_)`h3b3n`c1R9%ZN|5E7<67AHL(3LTZ@r6g}y))onVACcCSmik!FI z3O0HWGH<5YEuO`@u5CHa7caKVyHG2Cw`XPBj-KiZ<{r1cnFz@#{;ZZu+q0ilMT5ZZZu{qbE?XDw(E#>U82pB z&x+T7H#p4geQ`Oy|J<`b`P+GQnk>Z^9o<^`XYs|e7cKAYxxB@1>-4+{SC4Gac)pVP zeN5n#^7^F9k8Ep?#)K>nbd3+$vBcv-KKo_@5HNUe8zOyo`j!_ zYbN^7*9qr1!Dm~wY3*b;slsr@)d>o#kKItZzE8zDdTLTT(L67wyWN`fr*`(cW&y2RJ0+jac$(}O@sfM@SDrT$=SqKxZY<;e z?Elq9`^r`smsx$+1Nh5sxTeimqfsQ5Z~o}^qNiQbyCVKPv)=EVZ!R{q{zdDlGLH{k z*H>=5&!Nj}Z>YYBllSr2XzlQsij5AwAA}11|kCi!8md z>hhNQzf%lKv?C={eoVRiI(%AerQzBWOE_P(d$h|tzdHMT(m95GZ`@7iy2fYuhT1D$ z+2!B8Gq>{A<+7L~JxPKWYXv7+Pq|;8H+!PK>%|b~*ZcOYW$Ug={-2PjdvnX&KAqTW z{SUm8?%5ppnRhU*B#O^x@7$yQHUD_4RmxmHP2G0l&Eh}D4{8s=95~yeG76 z?U@9XUt2f+p1$YM^JFbQV~ZoZDki_XWHYlXLUHE0N4_^6u2|E+VRTtiEqIsk?V#t! z6RYY?9`7~$K0*8J^YEF$@lg|`4ZjEkdYJw<|1S~WD|YLQ`}x_toBNYaO#R6xYEh^o z@NP+al25#9O;*rZL)V*|Ssoq!`SDxDv`cI{>#YSWoT_`a<;~gfBD|@;t|qWwV%h4M z)7Pq=o$K*eXuI)FuKDunaSzwdy>P*xLGfrG&!;dw_WI>zF{d7{mcGQfUb$r7mPLLW zI5=BE^ff20U;oT7<&I<5+vwhX`xFIZLhjYZoyr%h_Z!3iBQE0ddbRb%xl=0KL*>5;S9Vvv2rP4y(A;;Nb)Nsj&o4i7AM=0h z9pAxy(bPEo`1gzAF`Mu2ulG7(9y^iCE9&=*g;V49u)qIS`}yCUciT49-@JBk-RY(8 zpP%~L{`T(fX2-xz=^nH0CwKG=y0=?y4KA!ZA!4vbR5u|g*+i4GzWMJLho{qa^Q~0f zT>5sd@BNU1=%22Ox#gUz0wuZZT0gC*c_exA@3B7PtHlOpR$?E|v)HQg{J*p+_5Dio z`HMWZ?9?>c)^cFg&Iqf6jYoXe3#Hck-Vb>5(elIDm>yxaXLZ`9k5jsQKUGH>r5x|f z;@5fQ_2PAnihq@$u(f1&YWBXDLR+>jHWD~5cEIRtsPwn9&D|xv3w77{r`>sKn{8+9 zKK+VC{SQUX#{!~l6@ER9HA!!cj`rL3e`MV(;rd5W`|QliKW*e=wA21P>ymExtawnk z{#-~*oB9v)X)`|mN%-`@s&R9g?3pcpF*qKWS&R0*~5_mg>|9ZNzy6EhKYusOJItDCIm^-c9 zqw2|QIg|g(r%V;H`^2{E^ZpO~Qv0TJ>{-1d@1*+j`VV(}zdI^UHze{Ib_xH8`0z5?`rv09H@3N!q8M z-3tGGL!#=B&dr6IGe2|o9*En!Yjt{2SNtsBzemf@-I{*nxozF46-O?13dz3GzH)5( z*5lJXR;5>*&lA0Ju>QiSJrmEomA&KkMOrM^VEvUJAEuPfKGn~2)y3bTzxIOEPTvFR zujHS}-|Wh5PO-aqfB#RNJddwpn_cdmzpC`YpvIWbwq=t4?*!?hre$G?8h0ELY z8za}bi@dnkcD$6O=+(jFJYo@YGcRtkStqex*VlBGpjqbp$)}Fz2p)en(ICCl)%-(k zq5b-WvZ=~{))v{Ezk7QEPy69?U7I_ab@%`7d-bMi_O#EBwYA&V{P`@d&k!(Am9aJQ z-Hwy{jvZyJnJoV;Va|2VLM5-0ufrzQ@4F{wDUq*R=>J}`<6}!)wuREEji)%aA?>e|Pwx|p3`zs@)q&3*pdi@nia z_Lgr%V%{b#pLjLo>%-muG`l>HwQAalw|1<1)y)$XWAQy`#+M& zzG$ia@VeNxz>amrCo|HtoC8gQ&njJ8pw-QPI+Anenf$E4dEY~9vVIwwb8eMe6YBe? zuG0N>U*FdG_e?8x1X*S~YwyI=KSr1FzZ zLSG`Ut<3qoExSN=L*93JbqU#mmCuTGPCf6eo!h|a#8*_)sv95AYpdtM%@MZmOi|&2 zH>RcBNy)EWLeF{6np*T}=Y1!i+KNtRTj^AJQa-ZDMKWCYynO5$+ zc&6#uzCN|tOjG&49GcNF+zE4|E~VCAA=6%cxICZnz2A|_9?7fgSnfR(_1L$5t@TF>?$MsI z_0Fn9ex3`}hqdoz7L;h~q+W70{v21oai`3c0P|(ue=hH;NM3o(?%S7`|1Q4!f7-q^ zDm<81`{ZKF>En^hMK63m(aGECZ`N3{cazWKHAc4>leaa!tUJf-cVb!2y)y5qtK3B9 zbu5@ZVdn0m+=5+K z&rPQAJMPVPvomE2^o?ahmQ6X?Q}lv==EoW8-DkX{o*QQ$Zk(i5%z8{zt(fg`$(b0P z8QZQ))QcB>UC?gms2LM0CiA1o?}(zKc2u`^uVxqX$!4A<8Y)r>OASN4mbpHzb@4y5 zWa1SD)$A1yjbDnUd7j~7EEkA!g|MgQH(?LTFaNQto#i^)F4;g8Vr$8YVOO z>wcW^-DfJ37$ag-IDIEpvdV4^oN1n-l$?;dh?%3t zF;} z+1Pq-+Ak)>H630B4_t&!toXxtZihD4uI2xj@)S9%S&u7pUI_X!h0pbiC+`dAcW%59 z_LmC0za^G4IyJIc%ky{4`c&~Gvw&g8JT~?()>1wO3P}$<3@qw(G#-|V2wXX!yrYBV zje}(KR=52N53=pBt13}AxBvdsnHICou6o*NvF=&;(?5$G0#5ZmnpvUeSHR39&wnJ+ zGA>R0+*2XN#kFTNr%d@&xuLN}tK2d1#_r#zRXw_#xUcT-tp57+r$+MO+mpiTVmmITn$C)s?aMp;GsPxKCNA{q+ecYn z{t77Pxf|OYG+dWxYfQ9x{x)N0z0PxE5x;%4pK^bGxm&bFXY;IQjTWv+ zC**8T9nlnzz0G6es`n%({{G5cD@^*8!Y4oD6qUPg#~BkmOZuqlN=dbyVy6B!;tQX3 zK7DoBX5&0=sk@GvAIsu;?@#queBsH*Oto{T^G~la_M6*vzi-`X<`s6)(>6b4YMrPV z{4X}-`{%;?oex4;%J*umS6lq}RrE1QX~(JB?^hgprl=&kU-qnH6SoxqbCvxJ#Zjv! zcx(w;_}ZcAZnvXL+XAjP#fL6ve(2w#;5fRBK zNh_81z7mrbVRY%{OBpv;)%qioyrf?_I(>|oIqOcE;+4NE_OHn5dzO?cZD_pcmU7|c zsEO?&Y_Sn$mzdY&bSPf4e9F^tGb6c+LL zwBY1#-ld^OINf)5is();-}J)LJz=7wx5l;3Z7U}pzWK?*bLL^Tu7sQf54IGR9LL^F zou-PEs4pVY@_ehl?Ag>cvG0*s@rIjDosM&|maX90X7W^C*dypMr!rUQn`tj+PC0Ag z-p%u<=WM;GfvQyFW=BUW>Bk)558M-T0_zp;^3OHB)bw(0CV!%3_O1uBUiXY zYVO*nQiq=}h|IIQes5j(E+*R^&QE2B<&Ky86p9LN444z6DtSx&;byJ_v(B!X+UGU5 zR5a`CW|uwkypK$#tTb5p?2bwa*At})K3k(=X21GSGEL<3n+GO+UXrQ{rq1(-hF;@BVYDUj_X7i4`{dH!J<|XOPm!*Ro+9Hq4fB1OugUz3}gfC3Da(TDV@Mzoq zKXdNs-`bUXg)8pGfqbv%UuPz->e+s`Vwce0*w|%DolR~v?~OLJ`uZ^A?6O_S)mfJh zev&+V-qU`PzU=L|?CRa`<{b~*UphDTM&1sorB*wmBs<-!eM=Xc$>#3QfA;N*@@(@j z(NZePu`e%dQQw`RnmJMBrJPcxZ0^k$lIQO*dP;VQPICR>t0Hu6 z()IVW%yW*96slrBmC0USi5Zzce+p$+x6=qYyI}N%r9TE==FoV-&x|BzcO-!SdP6q zr@JG59al*843@5kj#-9(avjXwU)8Nuo6R>V`>}ET>o9>emX{j5`^CPA{Np`-{K;9S zw=?9YcYmxY+P>!5SH53gUx@kl)mvIx*MGiz^5o}2)942$OG@^h@UeZeqf)(i#Vp&k z>YE;A7%uy6c(l<%@~*A6`gQXfXP#OAo}a#0Vq`Zf*57+q?RK5~`opJQIPA%9YZgem z-}7t>`~P-{PVaidf9Yqxlr(upeGJ?Czb<97*#7@zzy93)=&!!M@BZnewLkE^q={wul5=H`lSqYJ8+ z^lgt_>JQ0U+HgThkTwcYv%HW}X!=>8|Rw^}Ftb1>*co1BuSJ(VMw)@q#J#wA9i|kgeJ95|M z%+VyPs5@V#Uj41{``OEvzmGp(vnGE1>YUn3r}ukaH95hyYM#T{=%DPmNoDd!`|9h8 zOa2IT&CO-HD5Bfp`saSewVx}xrN7o&2_1hFVk5l%h;-Wr^N-dhdxdNwrp$lu9{e%$ z(^3)hNB$BCYH5=rHML~QS!<$c|KV@B{@1cw+QxJ3 ztA9Ov!94R+UP0rvpf6R`yO(y&)e$v|=92mvdQ;nQ?*97Hl5Z^`Hy@lmakJN2`|I|G zclGA04>jB~>gtwSspyxs{zyq(&k+~VCwJwgH|L$!j~J-%q_rmt+Q z?&am5Uq!#&TNKrg%d1mps^XP3# z+5Q)=H-{@(RepSSxcj>O-g$T8?&-&cZl2zr{`Bi#wzKss)@4*>cie56(pjuETPtm? zzv$veJN9KQn;EvVZdtABy&}F}A$QLQM(6Fje^+6<&!j8C*JoDF&7alt*|p}qbn^O; z;*x(~zMqpwzxwvIR^HZjZUc_`ghRW-Cr2D=wV*V3W z&i|AjW#29SNcGK^sQNvPYtJ3A7I_qJS-xMqzJq^*+%@Tf??+P<-MB6OrF>Km>zw}i z;*ax1mb&)3x4+H#{3oJkb*8ECpHfzx`p~$^o~O6*+=*NGtg|RA{?(!eogno|{+Iby ziiZ7n+c`t&_?>&(O_R&&t0T{ePkudfh0E2>>r;e&O`Y`gQJ8Kh^XK%B^*{H;d|019 z|NZLJ%2Lax6W{vU&UpVSZNFUM-gkRiHr?I3V}7jTltNSW?LW2lb-sVyHT9Kua&DRIM~`R-&g#*z}Zjf4h|%4>#5Jo37S9el2lvl5q@s z;IoqFw>?DaC131c!}(QZ+2$41iE~|NS5%4BHtQ_>+3DzWaW%uO^kd00Z^_?Q*{}M} zD6@OIjDnD4y&cc`cj7;KtREgazS#BT{%HFj%JW|vJ^6d!rO%C&vaigB=69laZrXp?DN-^uN$z{P zUBpNJ%H6p;)l92y%>R1q=+A%-_P+Eg$K@$W|92IX9W`3azyABQoZDWN3Ug{7%*eEJ zlJ!U_u5Zt&-^wO^YWcR4*ZJ$Cc6Zl&xp}W?-|gMYRqwodY#m*_uflNWp;b%%KJz^G zi&;B#@~J6#?{bUZ-_(%b{vlv?#TNMpv-^{B7YkbLjJbHmF#Fk_o$-DfTOv)KotjlX zJxBlFs=4o@CcVAF8K(ASZq?_Hin+b7)0E51Kfc}b=g|Di%iVI*W?#+OnOi3O_>rk^ zZND0O{z2&|SNGMLjnWyS``okV#`sDmMpZeS{{Cdr>$KH*WrEkwudC!QDzn`k5xM0? z!o{>QpPD_wOC8rL-d#|(qRl6)P5)Qh^8ef$r~g+J(&0%rnz`ZFPN#Oy4bf@S&6R|d z8JA6uRua;ZI=^M*&bv~@yU*RZmajN@R`pzyZN}TLW}p1vGkw02kUGyyog1&7-mPcc z|La=l^h7xU;ptD6gxZ;njm@X$D+?)r7~3Z)3pud{8W}h`8o4-GI-5BgnwuLLyEq%T z8kv}y897;)TNqke*eTc$R1(Xj?~|IBUXr0;VQDs5kV&&%b?WY7-$0RL-*zr_> z_`R=^;-iTyf)nrTnSVrkV!MKnP=4RJ6#*|+^c<34?Y$_?I``ub;YAzHtPquwO%9o5 zvETpm?60-y^J~A~{2l$fO<>h^qk~>&6SQxnDL!#hYsuMQU^rE&W}*rAw~)|dPHC>8 zksJ%tbY1z5EZC8@a7}%r|LNe!{y%z=6HgrrnYMq*nPrd zfVIq_4@~9-u4R`Fs$ldN4r!L!qqa}k@tH%{0~hxO{77OwqMylwoo9n0wKtNTR19(17jO!MXwlpN8fK z0v0@d4T}?md>WGzq|Pwp?mp+tzO_E%eJWP_U#DC*jo3Ve`Rp84L4`klPv)Mmb}VO|Te17m z+|3t0Mts)X<}D`mC34*Y?R!z(e(@V4wq4jfqpaxt|9_!N&Tahgb%9JsbE(3n9a)M2 znf1C-%eP(-Sl70IHzwENN9@D!u58^iHCLm|KHpMYkRLqHbK~}?9rkM!of{s1%iD1G z&{F>@hfT4as>}C@ml#boYjUwz_)&24Zu#b$lb=`h{`j%OHGfr;>uUWcf&%)HJ4_Wl zm&`G#)c?G4rW(V?!b4A6PFFk3cYQDaYHMA$olT%=Jp)^1vsr1-qsw74Yu7GcaxR^5 zXVIg#Ef>^ve_5o?(OC_yd zo7jAsm>s4cPYhsxb+FDLyEUo#UIxqThP>l!-LKuhIJBGdl{JW6;JVeY&iQWrt`El= z*6p-i!2BZX;>7y5n|J)2ruKGI#hdn3dEL|Buh5FD+3gqFfAoA<=+~$}-)66}>#nyC zx|;v<)&5m%I`=E%t}b}G{QXL)O@F?YuWHl%|DbJ^;OY9mi?c+|G(HZ?_}e*s3S-gy zkOrL&2h|0(2v=*$9jwO`CyQ461jZgBdY@q?B9RQBEb(@*IL RDR3DX7;~wry863u0RSbP96JC2 diff --git a/doc/quick-tech-report/rotohsm_tech_report.pdf b/doc/quick-tech-report/rotohsm_tech_report.pdf index 3b7c0359f75d4e75ef04ecfef9e4f3026fa03db1..cddf634598b1ee2c059f2b9bf6142a6f66b530a9 100644 GIT binary patch delta 13610 zcmbQgh^=Ej+Xkb&`n$!q&4lXD$1ij*I<|y!!h#cfcJ^IXGu~NsuBf^^Q(l2f>|#I* zpTg_Qf4^?;W=%bnxNh!C?wz|2JWBq)UH(Ma@6c_({+%tKZGQc|q<(m6)cVg^TPveD z4+e#;4HrFqY15kU*>_(RhaB0TXSeTU)3q<^SFP51|7groa&Qkxn);-&{#2yvuK6>6 ze08e*YMB^0%~jr4`*++#na%+we@``(CLMVf97l7VX~m zvPXKY(=^xb{qH^hrRaG6@qGGlg${51o#^CwLi_#8cDBF!UKsSjXqRbw^UaqJUEc6t zdN(hbZS?~^jgQ+M4)LtrWPUt(xwK`*WowJ{iI;A)|I>ZPly?5-nK$dr?*6gW+w|h& z-MjwsdG8;!bXz@=Jb#ZVGA+<{i^^}yb(JY^#IMg%_Vn@p@2lgI;%;suZM{WZsBY5V zN22w|)o=1F{%U^KTkcNarWb`5=Kfp1pSic<{DJ?Dri*(&moDk3Uw$EU|7*4h4%>G# zh^{_R9?JK7(ru%OwUfm9XH2p?z5dU^Ntw@%{`~N2!Qo5Z9BRcbQ-lLfr!KH-SRUEB z!JFmzMgOq>YP;vYihk_hCx3Oh#f<6*MY}vHW-%7^GL3q6iLDzu{PKi8ybw&hw)#o* zk14nLzOU|j@%M&#u|~(L9=p32Bo-Xa6mOYbG1qlfW;M^E1%Gb5p5foV#gE^M-@9(l z<-hM9*-6AHb=T#zP0WcrmBNML}Uo z$a{f>+#fz&dD``!X%6f9#dE7R#-;bMNBrw@njEe>`+c(8evTJPOFPN}_(e~TKf=|>*h8+bhz}k8I%Q-ePw6En--o@W-RmmXp|U z`jDirfmus)Xx@fhGiBN)8eO;_e<9d?@o$AM`wlwR28etsKGOD7-eiYZ18?i0XyMKW zdG#q;_0}RxJ^YulOqe$nN$6bZkL+6XG9){($@;`PZGmcj5JAC#9ycuI`r5rBnt$3e&<;~stq(jp#D9>5(My!XYt!0V4qf&>B zR^x}?kK%VvTXFEhe+5mIj?0rDz5X1pwQ#vO-?nhu)O~weR>*9ZH4F2wcRn&(@cJ>8 zGB$&rJxwYeD>54xFF^d-wY8 zYqmMTz{+o~a;W~?Ax+oK+b6vJ_~`r<>mQuvegE!VvpDH|_r2lLyRDmlsKl(fDZ(Fq zqVPTUl(sp{Cwrf$8((6Gl4LFTXi%)sSh7BClJ(yS@0C0&>!t{3M0aK9V_>jN7MV_ zi;EV^H5(>;J@z=GOJ7AHy5UGPFAJ|!Nn*5DVayXon|WW-9yk3iS+c$3S7CsOSeLV% z{@Me9nXHfIJPnX9|6bg_p;P9d-L<9N=a;uW51Dt~IzFeo#-4j_$UOhQ`O}Wxn5J~} zoXG!T{w-OuQY&tD%`Uz+e`kD4eN#!^{E&=g$Lh>Qg*^91pJ@C%W#*6Le(#qpvx!YV zdfi|DzVi7qymkI^Q76`z2Ujk;+HIoz$XR~U=9j7Mb3Yt?>D0d~v-#HL8-XTbp|hS} z)fV_6e!SkP@$=iR^>we3Jd>m(U)?W@y4e$)tl7T3JFUG>;@W}}@ zx~rE6WWL-!iXnG;h^?$ep&le_vTyVE?Q z!n!>Hh0@D13>anPQ|-N~xhAxKpP=#D`%LHO*PWZMC)|CVm~~d+V&)4Q|9Zxnnz>=6 zJ9}(zX#VBh%V2hExpiso*@UQakMCc!{v4Jm-Cp_G-f_;Uw9UPxhHlJ;Muw9Q?iOJ& zw=}k#oXDb4zc#EitffDA*m zgv^6a*BKMoo0}B&M>~J0zmt4Yk->rC5N{6qPJia=+l_bYcJE-wOW2{!(zxS4n}YxY zyM;j4p81SIYz+=?V{9DubKbfAHnE;#=fTA9g6qETt2T(0VCvk^?0jcJ!|zqQx=z)9 zbg^QZxIbH2;d>s#nSXXdESo?7xO++dzU`U4;+!oGf($A*q<`+7rYphFq)>k+rory} z*7pbRJeXi_Vk021;_!Zn0>%dk>QH`oXM zf5PCXbU^Q$&5b`y-%a06_`X$EAt2}8{q99-QAXIJw&-vuh2@K!$d3Y9Z{`h-r2gAevx-u`g3P1jo7y2ic!St{D$^WLs zZ7lcro%voB=yS;P-;a0WaFTq)%l6V~LRlX}^@7uXm;AfYyFkI<4l5JueeGZAGZ^yf z?Dp;dSJ-t~{M$`TyUtf1Q{1UYE;!@wm+Y zjeYdRrpAAjKYA7Q`9HJ$D7=5)A&=29u;E0lqhZ~@hW`t1$xHmJpS!ie!{Uf^Lfw5M z`Tz5e{r~)Z{p6?j6Q(REGq~_R*3f}z;ey{^e=UEw{q{L#zWV*)U(fgM&;KF++`gNS zt-AT`hULc+%O*Yale{_eL{!(FeTuH1`{({yQ7f32%G-9d^`Pm7z6CuiTt9lvo^38@ z(;Khy?%wa7+}(HAt+J1N{a&R!@wEr@d+`fw28AV}LT5K_>nd8;`YCGa!_;>(j{KDE z$@By82Q}y#?}~^$EAMzhC3`U8k=VvgN~EVO8&E=6e_1kxOZHl-qg0!PBwc;O~x4 z(S7>z(m(s!7_YIXNAyPM9Fpnw@E_{YB-zBBZ+4}RUrmwF$&b8LzzE(-! z@eZB#i-uoMl&zQDYOv~-=bNf6M|MA9EA?Bv=irx3q35`cY1yq5m|$&pvE@7mlX-yE z!K9^sok8xV-`u;|yQ3a7FeGdWt+>x( zI$bqOf8~khiI%NrdP1J}Y>AhTn%%VPo@K=4lkIy|u09ap{Bv&4-0ZdHKSDH~OE0x~ zUb5!$AtP5i;RUku6pjB)?$p+->OI`SEBtcN%bg2~f2_27;q2%&f1R^d)bq2_F%v?% zB)jjM&+kjPca__D z#5VI<=?j@9Z(nG<3ce~Pa^ zb@>9v@irNz(@X^!H)L1dUuPa7*m>mA%9As)o-bf~De|4AUhmdR-crv7WFaQbZIRz|CxS7qGmOSRB+ZXvMbrwMTD<9}au(ebIY| z&i{!i6HfMDx_Tckg znR5>}>MF0IFvSLF3+Z!34*o8=vOa7GDUux(rTx>W6y_pf%-L5!kDrpzjeR6+H}N^mu1Q!f3yCTuh|&c zj(JpXe7G|DxagUkS)WX{+*z`zHDyxdBiFksIYJ6uCw@%w^je~FGEr`q1pBH3(-y0l z{C;_3({lA!(@u)kFLS+7Hg|E_$`yOU^4kvH3tYM?tJeKN!nIW=*NT7SIxBhHiR*^F z2amhPtNNqof1Fn_v7K2tx1??9BV%b<@0sbIis_Rd&aCj9X!7%|>g8jdWxumC(%<)} zXhoguS>nCf`2N=;US^w^r2QWkFx^U8R_FO^=IYBoo=Y=5SXSpdalK>8?)BT7D!UhK z%2Yn5bTXzmD@A|rUB7y_6Wa5R?#Wh|-R>?^`c>r;&)UVu>VvatFFjjWvMJmnC+k{T z&zaX(T??;XofYi=G(gAZzt9EMh^;#pO*rea>+Pg(Gs_S2yY|lEe=f3OlS%A{Esp{% z!k_9j-e?tk{@LCC#ggt}kg~M>C}ZL!7OwZ=1?w z%$n9g2T@uvT`(Dl@mE?bBw=U_N}d>ABIt-3Q)ZoVEU{ zdQ^7*eC@}#bB?+Fmoj%a7;gKvOMCgQREIBfW$x#$4Z5b0^(*etj}ue&N6h@#wQF5} z`6f}mtFv@@Pv>>5THK@g@k6T0Wf$JXdp&KYtYCd=EPa2`ys~=x{D-@Z!fL-SP`n$m zPQC64!`6)bN)C*k`7<6`=fy7aGnR8a-In%y$qrTD6a1T2zF=IC;qBJR5~{(zLTdW` ziyvpcN!?u&R#p||7`ef|JK@c~+hK3BV=}URICh187K&v2^2^cnc}!-}wYqD((~ngu z-CNDy8C$jO>Ab6Le=L3&*8dbWsq_nFKC^kpi#G=z-{%&6x7F+h)2bHXiaj_PdJF{Is>j%;~p-7i(PmaeZRjy^Dnke^utGAD^gY zzhZZhV%GTCFG z*@Wz@8Ga;*)`VYQC?TJ7;KPisE0UYT!b+OE?kJ`&oMw7v`uioXRUchkq0h+mgE3b> z`#^wZX3g8>DcSLr{F3{u=FYnH(e-r6j<8FvPged=D7ky%8|$5AYwWfzTt3TWs2se0Qx& zLz~3u30?Ii{~PWXFPryPdWpS=Vti3X^}M-jmhbY+ezM;8ap^J->qi};duJX`PE8ee zn08X|a>25RKXo2061n(Tbeg;1_0V)xkMm7hC5>t)?N={(al>$9$Cn_jp$I z&9wd$JWDO&W3l-YV^)`yT!D38y#q9wZL}pUq}~a)*8e&AuinN(-c7&v?y+<8(m2%5 z7p_Z~o^SGMu6?Ce+d8PCH?r@>w5?{j$%C3v| zf773$7IVUuNqV;Bll^T!KP67O`E6}Q^DMS|mS2yrU#TCNpLD+NSKUr0$3<}+ou4%N z_JvI>=Rf^u^S4fk)8C#*IZbe|v0A(OwsOSF$L33B_pemg{B3%0KBM-D6E1R}xSjZM z>6_bSEE65tGz_banca7@<^8kJl-BEWzhhDFI78uh%?YE^+rF>syd3c;b#K1lgS&SB zuC;_Rel%Hoc5QCXhU_nFN;iv>YAdE6IudZF`UUf+VA07oXE%2W?R#CJvuf>E&HTW` zbl$4Ii?@pZ&+uUVW)q#`m6oAd+PbN7HOp%EssBFp{;2t96xnklTl~bT!a2uo?78G% z6P}Y$d#V1!t98XUnEs#4EwC$nys7-&uKORa7G74J;_JV+wlJxS*(`R`rG3S-*SwNh zqh4_LtijfGSyRQ+%GYf8nHAM4^P%Th_1de?`k2)JDk_LooKrtkk+55F@s8_8b9wIe zJTZ)0B$!oMd)02*wqw3`pZ3gdhF23HZel_#VzDH4Vw-}dnzF8meqN&Vf=d+imzFw4!mCi{|tK1m4&MIwXUT$sP z`j?02Zqi&+d-}iSZ6!XJE6&)` zF{kUNL*A<`MViuk_eDH0;d&*p4#}B6tRv^Gdm-mlu6A{H zX0kZXjgx!!9Ll(V{;JU|mvXA|2*T^WTX-zw*N4Q% z%6{DvvYp17JDhWvyF}tHI+$#}e|W28zmFZmjJ+6+Jwxq0Y%QfH0l?OFN=Ke3J zS1RbZRwvSDzWMr2iHGfS4U_KPxcMq-=S|hhqH>44oj3Qo&R7{%mu&2@mASENqrk?F znX-*FTc0XS)>&_@JU3wFi>o>YOmXYktkkbeTIGI8(nP2Ji|TQ6xA{Hh6$^4gC$ky& z&+hczp?2-jCg~GLu1~GGQ>C?_I4z@d_snxg&*;1ND|md6ZLE;B-@&uezC7_OZ-OR~9QCHp=bWAHTqm>BxiUb+N~-jXqu6VV7)mF4cBl+uP39nB+@4IyQ)WDp_GcGFW%jX3j)swop^Hyb6Xu%U_hMnbIGBcyBK0m4cqAtagw#RVq9CeEd z-mg2a1TpKcI4|+)$(Hvf7w(t-iZ%WjFx&4-Rp4#D8y6-TI9(Q3I&?hkL%r^gYh62E z?^K_zVzJIZD@XS8jl*Yo7VvH=-yEBp%ozA={*y=B{_xr#(zxLj(Rb%baXYt?p@-vd ziQg;dzG;!npkj5{W~&i&Z9|9ZiRndS>V?S6FdINO%3o7BEP zG$^(Pox8+x5SjvDLp^c`RUE$4r;aymd{s zO)1ygW@rHW~>q|5)lt24(Y)9aYq~z&G%NFMAUi)eIYv~_j?ptJ?@Qlr~f2|8)m^ORQmo=FOxHj)Qe@xnYYdcr`mg7Z^CN;LEUzcn@dwq`EN?nU{ zT#StRB~R;qu47Lq=?P>1p{>Zz|JBFiY-n43muAwDHw@yOr!A813uHK|#$K6SKk?>A z&*L_ixGyuL#w^b3Ps&-y_x$AH<+*R)>)WX{y?7Jp@yl!8vO8iQT)uUi+J>9)NoP-= zbKF}md%@PoyR(%-J@wLa9p5CeE;}B`T@kv*!%8U6(079H>iLT{ukT3Gu}XSyA^!Qw z%o#Zur@ES%MD2s~^&c(xGpAs4Pk7la!^QOpK2fW7iS6_elzB?9qVZPr&)Amb>zOTO5wVdoi@4nWf>OE&3maSRHs&wM&VXh?} zdyizCQ<}jzeW}PI=cwxE5ATOOTQv1izh8uVzpLC=)B87ARDAcpI=6Q6<=az#?^4w{ zJ8_-eB&FT+dlF}e_kVp+?|$p6^1fLjrWYD4@j}*VVC={jsW`poSPW9GxUWY=enmG^F7eu)q z-E=CXW{rFN$u+r=`=hg3E^ql;q`}cEmG1D^X#0Kny-5rQdkihFb=h~W6W#8Rob&hd z_WLs{M5g>|XrZb_e5ZFl35WEt-oA?7CMxWHPYlHJ=jXCzh2@HU=dGs%9tW7IN+s=0i`Fm-ahXn68o%Au9XYPBx$-LeVy*#hT%4yHs`api6 z6nkpS{r{EnRkx?ME!Z8QeDm&|0+rW&_dL_WR($C<_+Ic}O4WgnKOZ#a01tzSi$6W7E>ac@=yLbly3e4>y2sOhadYI{__MVg?q~N`SZR4q;6I`rwKDn_ zdt{tcXP91oxyGBTe3b!fbsp#Z*1KumIo+aua-igY59z1Ev&@V_%sy!d-1wn=?*DO> zzWmUyA$Jd7t?b*wc)s2vWrqe|-M-z5>wUh6ujbgD$q@hSfc&qeBc54yGAmR){s$No)Qf26axa5Bx0T%Z{++dF(o zUv$yK{kJa2uQ~aOZ|S?!;c9ncO`mTRILxh)_Tc&qnTNAXO>exxRjT>E#`htJ&`td`(K$aQ}IlW0#%%j)K~o zM%qVLqbRp1Wd`*{UT~i*>gjO_P_@ zy=`2+P~sEItqMigxVxVZIhrk0onF=Z-Z`-4v(amPciYhO+^Z{7vK20c)$aBdan3n^ zWqyKo^XZQJyey|VYGq#;$W7d1xv19Nlp|?hi(SFqTYa|iJ&wwClj|m?I=(57@pe1V zt>07sGh<@g{I6#xw=anL|N691nq|Xw$G4|u7oL~ooU~Vvk*Q1D{JizNJ@HJ(<MmJM49p#`4eqVW#38oE3$dslAfo|vwA;At`}OjelKqj7we>tDNDTd z6K>SR=VXhCANnC0P=C!eD{U#?nVB`VF6B+r%J!H9ZJTP@F}rK3dEB=ha<$3w3H!7^ z21)!nxa(O+Y^LZMTPKCzTs;?09G#iWbMf`h8W!U|9<|bCT&rI5+&9eIz+0W4y{2+5 z%RjNd9?zF9udK`TO1meR+{_t$+xmN#tI4?;vMXzPPQ04A<=S$~u;s7n@4Pv9V8@Br zMfVPFf4z5}cfdr3HM}`%Q#IuBqXd;d=S?Xyo4=nSxGO?b_?5`}8|%(pP?9T~{p9GI z!$#AKxHfW>_AP$j`S*xz>t1`Q)QWh$O_!Gb37IunacifK{a?KjpNIu}1Vmo)9y=?| z8fYMp{czEh^D)N%4eA`kH5(T#nUq%lerAN)($z+Pa2>)P0*0rmmXkef^~q_u7J4mFH69 zYxpO3tmE~$zR6JC>X4Rf(CiG8<)W`YG#iW-zy5ku3VXE`hHHxhvi$BbxfF*dHU6YlU7>RN?(q)S%vmh zYDG@EdFJ2DXMB%$ZT4OGZO(P!{j+__mo?-SzbclK038ADMgOWXZMZR)w$cyfN{8{E=DrppbB9h^LkBuh-vY zJ}3oDOWAq3_V&jEN1i@-U>)AT6nVzeC&y`tk`G5x@}VTo(2QeE8(7$MAIi+0Rlw}) z%;KEn*20!`u(RiC$I%nawW!wra|=bC zAF{OzJz4L@HUE^*jMFNIE*^03Qc(7ZJiu&g_~1ah+L;9D>joE+Rk!e%tU09Ux+A6N z2#;6e<6{X&osJ46vRqI(aFVHpMOE_DBn>6iMP57;rBu>7Rl6E@NgN2_dU}OH|5+7_ zlE7J!3k{P@HmDh_QmyydWUxSJimyPfibkYxZlKJCZQDHbIyx(z972SdEn2NEm$BU8 zIiRMnQIIEqajpT!WQmiE<`*<4HaK=%Wi*F23O8R|h!WkE*x1KtaESy^3yX&~9 z{FpbVa*-0x*}ok#dy@95^A!B`m{r@U+Py{c)yxZ%lj5d?pDuZ$!1Z^|_RQGbM(TSq z|9x3oR~Wi{Yx9hweS)^ypJv(A`_;dYd@R*``10IDrGp%q(PG6;_D2k6Y+!tSsXsr@ zes|&F$2A9QH@!M`Z`#oxr>;JcYM3)m@YlWC)t>sdf4}!`=UAS{a^mx?r=_fdZ#;GD6vw*)nbArY#bNkw{rct>NcU@^U%TEpKSN}GE?7VDh9jFc=ml!Dp$_= z?~AUoZAqAPcZ*LKM^Zrcf~z_9`(_-y_TwMFb0Ek5)1|sk%Xic=<$diJ*fr;#?&+7h zJKrT<4E`=U=l!SpqaS%U?Yd_8rscnW|J2zRx3)$_FIc*ujn&-jMkGhxJDEGouOpKF z$4i%}$Osp79F$wqx&6=2LN(5C-`G!SygHm)d=K1T-+AN1gsYbx3;!%HmeZD%e{xau z&GrrJ($;7y%>TH2&9dH79l7~a>SUfe*C^(G|B`*M;`+Ce8~n9%kC5H+&AK1S-xqi8@zWy8G*c&YmFWDY0c(rkR>1M}w zeD%pICL8Rj`LST%Mm~Sl$b`fti{r7z@TvE7YwWX+hObs)4qhWJa(edu)AMpU@2;Pm z673iheSAvX%mio7&CwB7o7g zHUFQrPoDhQa87Ar$~-@9CFx0zzXjBvxV`p@LUdI~??(su!>=88)x6yF@{D;weDykA^w{ice=JnceDKWLh7dm*ZAxMk`>1uH@AKt4&nyeV$Cr7ouSf^6g6|>%M?*E#SZ--y!6jsOY)%w(Z*xP*XeI3Qe3JV#+*))ZZ zF){AsVhuUf!sNBt)j@KGcaba?$FW6yzZ9$3^P5Y&((g|{g2HOqXW+yNB_gvH1{w|IO9|$-7;- zeU3FseK~Nh{?2Z$_>*m)PO3}(c)I&>_w?*fZ#Nj8YTy6Z9oU_!rY!=lhquD@1Gk>zB&E$p51JcWzyi zfuD9o=E+t1CTkCR=bbM3bM$I)d3gEPOV(#+^gXoIS^lGI?j_InK6!?ot0hZ!*57ed zF+Esf{{Bx+m;Up0OE#Z-Z1ihp-NIt4@=#XC>6dMo<#jR)PsY4lwI-`(lHSK~j{YOp z>!oDYuKss%wvd+VTea=Q{x?mflI~}%QeB(zbl;&*FP>hNxp-~Mys76d{yN`u@AB`u zpTBD!oyv-t!guJQ|F7P<<@LE7+Cl(e9tx= zDBU2L;$T=Z*Lj)MbI0kg=elpoJ$HEr->$RKzw#cK+10<#|HzvEH!~x{q&VZ@@wdCu zHlFjl=d`7uVJ6e#)D|>!zN%tw43p40VfR?8)V+zos|KPCb4`?m;=X-MtsC+fKYP-6OsH z&Km9;LT7_`0waRuf4o;XWV-oiQeQ=Z>mQ3GgRrG9C7#tA7Cx|_!ExM9eDfXdlMVve z?8)(779s~Y>_5ndwK(tmT|9Bys*P!}2Y4&YeeS5G6}~>@I;%1>V0Y4rpGI>T+0%sW z&92n2GNhe}%Ac}u<3ks-lYcJ7@g}WUv}?!NRUg-E-YUgYr@Q(5%bG`@A{o=|C%DV~ zc<*55y_c+x>Q$wJ4pq7Uk{nUy#{)!-C%8NRJ2U zDvs=23*|XJ3OKp{WypQ{r}xGFKeyIe{kD6s?%HpWFRIOUbF>~MitA{$84K>N5O96? ziSen~47tGVSN`VOGcNbuw@|)dOLW?e{ioC|Htuw~-@p}q+iGq5jhriMf=p$y-K`NZT6hL zWcj;L!@@7uPp$0}$WQqCY}=d{c8UMRiyls$HTfd5$aI4~#@Ij$CszvtV*@8kLl+AZ zO9NLYb2C#D16LPQQ&&r86GuZk1sj4&V!8BvQuESFG89ZKO(qL6Y1XS=+8K5^P~iB- z`zb%0lQ_7T0(n;NcrZ(2hxAe2JK`aCJdX5Do)jg2Ac#BH=5oQB8pivFu3ci^u(|iU zwdRjGGpmaapPf5@NszkwPmUg^qf0ggO+9&KmD(5WDC3*YR}?L~lND0w`FF01BwNCU z2-mBdxW)XXd7ch@>;*G!ex$=w@O`A;Bo9W{TH}Rx-Ii&f!>slK9M%UyX)p` zW2#Qj?>T6<;*f>U0TrKvCT9-R&1hvV5a2tQIHOs)fbZO4)*T$v7o@$^zxQ54yi2(L zc*APT`;RtWWM*?MyMM?^H+?Td<%2>S=C~7&Z|XZUuR9PLVRE+gcm?mY1$k0;ySBbA z5I*-w_m58heL?5W%(Jtz-ioaI)o&p<+3xW38T*Wj&pXb~Tq+`8$-w_m(56kag6;f6 z);&)mQj%|8$vAfN`UkdmhlMM+R)65in|*E9!hQA0S=$!v;{JZdF6W4`pq_e=+(wO= zx9XFdTP!7uj=k`?FmshKx4M|0&YTE~jUNgxKih6$o%qW{u zdjrqT(B0SFb-}{so#1=JPJeb|%utu8E0e*Y``?whGIxl;2|ic5-8 a6LUeV{G{n@6B+rrOpOh=R8?L5-M9c6Qs@wDOmgnVfuQW$B=zqO^=d zmmw|e_v`J_yjdDE?=8_1-?Y2&*y7)>**6`no2a|5{`1{uXWv#ITkSe^-SnSX8*l2K znzS@$Ys{L6X<=8ZHfD;=U##@6^z%nwu`S2!SFXEU%4#3r>vcgh{HfB(`p;7~i@vN& zd%9lyRrh($)0=dDt%$z({n9amx$d(orn*+G&bfPU!jpZbr>s<~Qa-WmlePhdnD0bSfw2)a^zp&AL@mIZ%zf-1Huc(t(XI;Ojy4K=_+fLz) z_8gb@9N`H&7#r{?zpmWiYm&aL_BF5X@7AfR z`~Kl_`|oy(hfl2@NuIyQ6q$PQ)>f6@mT{jwX6tXe>OSekynnNI=qMXUd|%X??XU7j z<=4%6Z9eP3-3NcnekRKQZbihGHzCXay?*bYe9!np{iLr6k7^`6AKmvXx%z$;o63c^ zdJad!9_$X~`#tIQCZpdfJaUGrwbSnZXjXlEru*~5tB&nUrwjNj>saBoAndb4EtCId z(L;Kgmi=``ugou+ZpzR+~l$%(+p&P$uEZvDA`HiyPd}b8L=N zyMJi;jj|p0S9RRuueEJ;+PP|xf4K=;#>P`@57pw*Ca$?H*Q}vo|6S|ZW5wQ3KP~g; z$Jwu%i+?}(L2L7iOroDBI`6TuczMx%>EykeOZ=Ra z1O&V`ZSS}sSyB0_=x90PIn{Xg-kPm(%lp|Q{6KRp zBa{reKIAt&pZt+QSRqQ&r#CTbs>qZN_EN1s+ruYl_bA`&Q&C;iz;V^Po>_9U^1Jrs z{w`N`t$!*g+xhE%%Nb^igWV4vbjzso#u~Ht#vQJ+ba*{o=kdK2-dptIKDzMCVrBH2 z!(Z|vx->vGC95Ose0y+9WW(XGHo>dyuGtq)FsnS88C=2;t32oY={+%S|K6oOEuCmT z>3#4cv$qNP9bdj{YoFSx@#2d3nZ5O!tOfnAF*8kTIwSevy~!>f(T{c}{x@&x-1lI7 zp8lG_((S>C$`kK3Zv4zy&-1R+=BoITDT`O067s*swrHNq;)#h5-)idAnAvmmr{7>^ zE}Ln&nD1Cyfx#uK#jh?VN@(`|``0wjD(foy!tcC%tD2W=n6G4}^MA>KtqeIDBKKx_ zu+*0;Z~nC1S@FORg&rqk1?@S;0rqN|UCV;kwsL+`*rm5|g6UK9!%s6xjIV@btXiX@ z9}>yP@MXD^tau~V!_(HXK;BWQ z!$zy|!|zA&H>YVVe_1aeB6MVB;KyHorhC13IkWj~s{c&=^$J?;x$V88m-GcbRvp-C z*g2PxM>%`~3#Tcsz$CeA2K5_^R4=v#bahuxKj*q+^QPt%x;HK+F^xGUAa(OEOaq?-Gtoc=$jz0LCr(qF#M?VW6M<*!`wt+|%n{)diE>it;I zEc1PzL*@y~33oi|E-~{im>S3+&TlNs*|K+*=esY?`?^)0z6^9)ki)vJwNtFb`PI_s zs%+<5P67`85^YXlcIQ>oyF6FT-%(N-vjLdv$j=)HmdpSAH>GqT{*P zJ$LOQ2B&M%{fjmCO=!qr6v{UhxRP;UX0GPZk4F3tJ}xnr*5B#xp4GiVe$JAO0WzO5 zGgxYF)z&BnVQ|LT+kRoZ>qA1Rg`-6dij z{O7#wg|O2X9DKv>%-Q_!$lug@4UgyFJloQ;Ud-M&f#cU*XTCYh&K$8XtFktG`qD^y zUtQHtxyq!x57nQpIHm2CK5e`;{Pur(~ZTi?_AuscW?dL z^>0Ea?+o(o@43BU@7}xfgmQ9~wet>gZNGnOl}BV?+ggj6!ogW3u|uo2zz}2Yg@8^S^#^ z>O_&yS;lphm%~5w{r~LEekr`dWy)lM6HDYBrN}8UcxdXbH3T9YZ=RX1edO9#JV_2blLFUUA-WO?nC4b%~F+^)5|@$*^8gwSN;3Z_MlB=;xYvT5eDX62kV|2G1oKcI0U#` z2Y+9F$3LM@;DWr=xd4G1ui|+k7z7qf)jV>DkE7M@piScccjxxMV)--um9MPq+dKc? zl>HF?>d&VjA(D}PvhCE#uTw6|e4BEci^VPVzpcin1aEc*_2cnn-08>bf5bFQu;)$s zVQbvuui~RCbD-=U1NQ<|t=(PBZ!}fw8y@~&W^{YM|C9RWBmc!3|LcDG_y5S>-ERM% z3jD7>|M~vH)VXipg!sIj&-P$FH`|Aj!xjuv81}!Huns;^&uzYy{pQa9{L=sAR`CAm ze)7LbncuiJtBvKxD^CGFv%dX33M+I@@MbJzYnmC&tmFH3p4Hdm>o~VDIK6R5crbZU z{VdM7!@tA8b`c9z6N-OMcVe#)p5dN8J=* zW8BI3Wxm(52Y-Tp)Z6`!lKjW(#+LIg;bV1}Ny4&(?&Tlre=UEw{q`M6rplnN=R51Q ze#pPJZ{}m!#dtRGd78|bR_5GE_Dc_FaT-^*E%|DF+fuNqNrpS?-qUA4rde;){#X~>n7MlW+yj04bOkG>{5{n@YojuIdgnWB`_I$tcLy@M zo!VE{a{S|zOI(ZOts~K5M#6yv;0ccc1*vOI~UG zNqZAzap%-|`)@BFm95u%x%+o@^}elh?cU!|Nj=x$v{2Mc^^4yRM@jx-^TwDfGwf~l z7d|YH6|R$Ri0wMCP5!>b!>jCzEw24l3w++Faq;uP`S#22wRM=K{#onqW?sL>LwRz; zYJ2_L)05n`^%XAJJneCbL_*CU;iY1&)20`0UC7pyz9Z?|997<(2Va@qe{{_~aQh+O z?FI9A3+9IW_K~<>#b8;wz2f?{OyR52#S59AFZ0;VGyhxV53ZDOi~uMpEnhFtXq|LbhEDVtop*Py*`G&eqB}Ce92#IN+ffr z#mdmJpY!EUze7nKA9(xu^Kv}3R4oshS$^F3GrQT}eeYDmohc3`^OTh5e`h({&+~YD z^CFvKfYjno%WUA}eCEIT;x3u2pepZWd z>|A;`*=s3COeXcu?TA=&eRx;31b!SMPlMrf^;7r2D3=c{ghppZjBX*7v2# zxx?3Q#{NF5wB4ci+v*i}Kgd5|-E(J>)ro$2!)r_K%{22lQIM}&VPG}s=p1S9vYy*7 zpT4_s@vCKcy{MW}l0ScBrFg}{iAE8VujF2z^5{eBsKvN{;}d&S@rr^`(>vn z?|k90MN_y|JMqPir?Hl+Q?kC7?mM_^y^NmT4QA!&zD;7CXQciHC0<>#&FT2IxXqiw zUfxi8^EWPe-b?Nz`RjQuGPk#cTb})^)wAJ(^;dJb;2D2=7hONtGQ*_haMKsrBgu~H z`8TI$u>E|c;hcB9J32|R-bT{v+iv$PyLa=u7q@M_5cl84Xy12sZ?(H#o%3#Mu0GcH z)7$cm@w$y^LH;iH4Ay1cEL)wiYUhj+p$hp~9QE_sSRy1?YbKwOH;Ooz{zudG#r}df zWhEC@_QY2``f+l4&>hRiC#-@P&F8$y`QIUvn)P-nOQ)97-0#Xv&s;+!mdviV^q25A z^eH~QjWbqMFZzzrJL?%-_fFZH@ohF!gj~__ZHq zzgCxB<}xcZx%FLig@ll|Tl@YQD)}|+fsA>A87_5`7IMxF*;(Zn;qsg7TVX+X)s$;? zKLbwIGfZ9A7`DDal3`oDA1_{xv-Om*R0V{reit=I=~Cztw%iylmdqyLCgn7|S;+Dd|O}^N*O>Z?663`d-_6R%m&5=LutjIj54H4k;{o%hG)0=gI7R zRzpc{WWvp?Q-!vCDdpVXWp zj+ReSQ`yd}KOZ7kzwE}Pwdpf%IESvZ+M^KnzUI;QIk%_!|I~OA%W~gl{VaR;_U-Ew z)lNJ=pf`0}>q6UAKP{EFS?bwrnD$?|v*`bvtA|oIe%xtqwD}F|YA(hlzgqv6t8<-TfXkXzn8*OdaWyit6ZAz1b+;@`S$0l74PFM>qU&`N%DKo zPEyQXX>O}t(){FB{V}_*D&?xSC-!n44>0FCbK!2Lfl$C(iw{MsRctKs|0KNJ64vSy zl%lpJJ>toUFaq@k+a(s!GZ^ zyHob@ms0uOX#`Z9>E>E`qxsF#iZAuPzd!!uYE>58-~9E+Z$0nHuU84ny_{2+tyg`{ zb>m@|TT9owr}l<<^Y(k>h0AFzewtw`5U6Xi=4bT0yPM1{XZ!BbJK^_R|N0A~11sld z6&WqRS!f$QCE>90@%g%2IgjtZRNi~-?+T>_HLLCP)gQ2h^Cmej-xM0;clJi+=}#|C zy4U*}-N@(bl;T`>^@Wnj)d$AMF9--93yXuZ`xTt>HyNxOxQ!?j#xNy}duQ)mS zGuQG(v0RU)_lg|oh;2?g@$iz+fkUawg6Gcc+0j(`Zt}jPZQp3e|DrGKt{Gh5!Ct|U2^+g`m z+oGKw>m=-Q-(A<**3|rF&z?^%<#9_ZZ!a}ydHh*0C;OrN$=_$@iD(tBu88aPHTiS@ zP`k*(Qr=iEv9^1PJUg!Ln4zpx*tWPt!YGclPpW5ANsTY#gx^{3&2(x##k{nP6uc*$ zmQdRDh+AUjHrM*8DWONat5RikUv$`{AFcmbXs^2YezX25@7X8VXCCzOk8KD|x|#Pb zY;I-CWJ$*0NsZfVGNTi`3u@+04V~ufw=!$?zZKujiVU_rTpe`7Z)bMC^!kcb`igt= zryjW}m67CMnC3o@VS><_73aRFHqE%l7Oi=tuxR$t-|my%snqXeudjag^R&W*6>E#5 ztFPA{WtkDjzHifp+N>#)wws>lwlumBpz|$iMeO6!n*SVfXV>W(B}qB#a{0KRZ|j*? z84`>k%QiY+>$tSXe@Vg2TkGSt#s4u~sHJk*ILF5N`s=sf z=zj`nZj)YdhkT!xxwj)@W8L1^yig&9*swG5kDRx=;^#w_2??Y6VX<@`*x-itq8@4EE-<@Mt7ySsYr z%d+3j-@i*)9~K55V%+tkWMl4Y*CxGx-%mYd z+;sTRcZrHA_u|j7Y5L3gI#pTLBnIUE(46`D^p-pN5;i9V*L##jZ2MDo^Gvwiw}7wt z55+?5gFO!C$d_KNuc(N;eo7(BJa;y)id?nxt7$!j;&q#KYR`opeQy1@=JIr|DdA}= z10Fy5zM%ZZtS7DNhB+xmluhy%-Ai&izNpZZy>8F3mAYm}{8KOTOP;Owik2;jb>+TV z`eJv*ihs}k`>-AS*?XsI$@`j?EmxLyS=4J5uI1e}i|41u(qoT~Z~Hd)gSFI_PkvWc zK8pOOp*ekbnPeo_79NAE`(7(PyLU`#(YxtMaf>CU*{aQRYPe)&%ysGE!({&lH!p}e z3hohY|CXbj{eH8=q0Tdt&v)+JsoGV4RXH}fbkSSQ)697-PtWws5es#id{lYol$CBB zNB7=QO2}fmbu*A*@$O&J*=F7MB3FrhboqQe*=`$$3gaBZLp$$W%g<WUhNh zF(SjNzxDm56`ii8=U-(6v@lkC`%dS7M!u_W3D*Z^7T0@U+SUE+quI-CRc=WRw~iRy zzI%Rw!AyaZ9LI&1E==4WZ5(fK>9L&5F>|Z4$F$kwb}daVJmr6Dt&xbs(jLu1sV3#l zDRBoiZKqAoxO3@mM{)n*-#*0};&b=^(zWgS(scCVt9@n%Ws4eqww?^VJym$30sC)% zU2VrJn|b#<>zDXjR&VcKTXbHh(~&!X;e&x{eU;;q^E(ChI?Ucv__{h%mRCD+xlGtg&e6U%^KB!K9 z)n$<{&n8XUYQ?#hQ*mGO>!`DiI(xRAP7L|7N2XdaDR!B{+V+}&r+4ZribC0cg{UMP zRezq)z$Rc5c>avHz>BY+W3qU-+?@RS?oJHLojO7IbNKxL-L6;Zx4+%xx{`G=&S~bo zU&jR3@lP!X$`ti`v9jp@hk#?Z&rDOx^Lf7H!mfF_b^?Fex`lZ+x;AmO#JNA#UFosu z-Z|r=thcnh72Y{1N-NBfKL6`sZvD9rd3_IN1y9}D(v#`0@GtrKb#tlo`!$P~eC9m7 zd6i*NuR=;wnoakkJ+I`lgKx{fkvsGD_^ew&6PvXT#caJ)Y^BfpC~n_B2c49X`-?=j zF+D#V`^)AZdzI+hNx^GES}RhznwGO`Er?%nzV=P9f==x%tA(yxJQ8NEvkM4RN$`lN z-?!2DkiMPQc3r!+)vMCygszw`AsGC_`fP^ZJ9Q(sDuFbZq+m zKYH83uDGmZnyr4s*7Awi-RTFseg5$&f10l>Vf?s$_OSxrq`s3A*Ps49SJM!Kuh3$w=@w=|{{ao8#U&>ltX|ck6+pbv2xh_e}Z@Qi? zuMg5W)42Vo%T|enr`zNstxVaM&p(rYX?EKk$K{7b>#GgE3eI11^>w%Eqill-b#kjC zH?!WFU$L@Axx1d@c-H3o+h2ZrwA^50&AOdmMVh8QKe#gYi1?=Ge^U5*et*<{7QO3c z*xThNJbah0UFmqGNyBk76AyoT$u8?+p|@Gl9*a67{s=z`Q$Do1H?nVM#s}v6JWU0u zx7f{Qe!h1}v1r=1`};m;Td(;u&%Z7;Q_s}9gm&qf;AT7V z!cn&~OCmPsyZPx=r18&OpWzqz`N*V3=jbl&rm69hZ_f2TZyC7m^nLx)`=wV$eO~Ii zLQK!?x2Q&dP(ilFG#0sKr`P_T*Hdq_JvpTz+Jnose99t$31`;H>e_>ebr-LDJ~1U2TP=UR>cf4M*cz%a{#_``8knG8v} z_(NOYW%tk9SYc*(W=ZA#+3UHrR9$=)ZlBJ3*HpdoMBlS+r6ler_t%+QB?_$D6!gLN zhWp;D{Hss&th1=+x~HJO;ic)Vb>Fq^`LEilExGaHuzJh~VXOTAJ3VC|d|FVj;{BaI z*)NMfa`A$Z_$G@q&z!u7ab>n=KsH8P+SeF+Nw|H=VNUx#5X*h859Q-MQrrKAG>`aoNY}ug*TLvo&VC zbD|XQ&W>BT@brm0%{R|Y){V`~*s}2Y8xL)R8- z)uTnbBIZ15Qi}ZM@%5$rq-)EB%j%uJohj|Vw6c2pT{gSjuME9*1k_l)duM0w|8vuv zTXn}{Hav>CBK#@wN%rLIJjJ}*3|k748`jTL^uO}FC&pan)}n(|hT#`=p;~&}NHoC1X`I5taJ#uq-RQTupo2T8KW;*k0^De`$ z%huLqZ9N(7BQUv6pk^W0-_rbF3#A_!&NI3bZk<+fI=zUM0U(__Lziblbv` z=;Rk$H+V?S$xE_xUsahce2q=}i^=vSIyJ5))4Y~xrkj|RsC~M@_0sTh-<;^=8NZg5 z?-i^$a$E&Q*YMwJzqeoS9OELpeH}u^TV`qJ{+cxFs)gdSna`}m{~E{?PTrAU zrP%A;p1oqp;jf1lcwI@aYZZQVxPANgq)G-mi~giJnFbGf!~E9O9tbcwru_N#j~)M* zr|>IjeTsW>(K>RuhS2EUdlkK)Yd|Nd6OQNLu4xO?_j(k_)Z|KeR6V{o-4MJ@kSoI0yZyy4Z? zFHBx}?Yh*H`m0Fjxb^eErZA~ooyTnvuigjq2(OY;YY|d8-d+61%zO#s9RHwZl_Ke|X!f~zlfzEbpZ&93UX9&($7bh!Q_@>Z*>dNLc72xSXt#P;{+FXz z{fyQ1x9=KM9?X2lc4*ImHXq~r?EdXD7S220(LT#>MuyTF`IMhM&vty%Jomf#$}I8w z7w7x%ofUoD68B7m%}XJ4-}Bqw4LVb#lwSo;ZSK!~ys6uoXST}r*%G$D&sgvF+Z9v) zY9mkd4aQYPm8;D%*G%+~4Vkz%VdK0C&t2DU>wZd|r~1%OYRv)5JvYpnkG$QtzDhsL zaH&b@+NGR_I@Z65ex@I}<5ujdiZ@ct!hh#&F`dSKc3*n4{1H#DgE5>_en==b z3SG@C)${9ORmlFW8>F(AWx5Oea_o#t&Dm&feWQL(+twAIUTwK%GOPAo>EaLDXSKag z{8wyz`BTj0Pw!)vT%4p^mSW|gZc%>sRZ;Dm+vc3}P3DW=$(jEC?EWg=E2sGO{`uFv zD)73|ySiBx5qjI=6qOBSoXe{_u5CWoGow0i`o~FC9hW}-Ucd5)fmc@ZiQ8;XgN`>% zti0x26w)U@>qGr_CY97k&sytStJ~XqZrFa~i*M4e5Bw6h!hP>lZ|5H$W6zy@-<9T6 zWIVS!UsGvIscZVadC^~aWjy5nS2uPXw{AVyvh%~j6pJ9nuE{xCOQ$`b9^PkDVQ%~G z-I=2Ws@K{i=08r`n!DRLT4!BX#kFHyAsi~&nzBc3J(_#fm}h@S{coM*1dea7`ZU&^ z*spQ=;mgRf*eTc7@ppW`bVR{jQqJyey7i1+mFcSm%l^I-xEQl?$(OBNDGF@A@@_b@ zyPpkTykF04>uD?YJqOtgtW_Qt=Xv}|OA=g=#(qpO-lyj03*&c3PoGhA^WKtGaDVTl z`6;?q7W1;1E8Ybgs#lk7{3TSM{^j`?(eR?imvBje`yh~G} z*hH>7n3|}^UwX>I`^~U>+JgD_f<$h2*G@`Rh~s~^WG?_EaAskR^L8ibE|re&-sp@Y7g#OBo-`*Dwi|){nqNtMH9X}gC5ljtLt5- z`0jsnVe!hlc20JmH}uYu&|ZCWCG#fdS?kOXiTHEPS@%g{df;1=vdj$+7k2Ipc_ANM zv{tBfceMDMBw@cm6)mryI%xuW{jsv<`#2_ZF49^S>ah96=RMCu_kS*&vQbrOC-YVL z$2Zn*n|tH-tdOp|GtV!Ww6(DCU9d5Cgkgx=v-$_`I@0}(_uf~mPjKVD>@s=H6VG`u z2R2F_u|KhR>bhRH+bzFO1gzg&$MW6F;>wBmpC23p>{wnOzFhyN&gK*o@2&FXV!3jD zY|=(`g1gQgJ2q$0qFG<}G+!-acH*5=`FOJS?W~&bfo^krryae$OYyE;|JEci`Kng) zM~7xrxvgEYtA0n7U&LAQtUYWYIi1`y@;&#IFKMszvg-5sDbIENwDSG1-ip$bpDiXW zzZC1092Ut;#;8^;+7odh?_sGVN4V!ErAM~qF~!Uyw=Pnzvnt|{kdI_dh%cPzJO z>o1$*xTs;*(YWU?SqghpGd5<=a&76|b=M>&PQ!hjW|T}R!!xgXE?dTb=HDfz?wrSQ z+Cx4rQ{%^rg=?O$zhg6GiJGz1XF-W}4|ji?h-3OA<9HwbYJ>kN$qSoz-8g!F^S>9H zif=o}O9eU}_If&b&ioiQ!^|Ze)oMo9-z?lX#p-IpBJ-RTk=lg`nQ6frCtdCEImw$I zSugW_?XO$Y`b(B;cusWFYN}_|vk0HBD`@;9=gK?Ai;|mSI6suFtv6k<>cqr2|8I8% zJ<25-ep?o=kN&tk+edYKMf}Ibf441s^C$DL6NCIscUx_2m9dNzBYDUd29jD{*e*`+7xzs=E zx?iAk=2ld}24T+30IgRckDg7h_doDVqrV~adfWZOO52WC7VbY1*tO@x-cQ*oV)Mh~ zyMx1i?K3{K+FIy;_G+pAdbWF?iqw90d;VJYAZuO;^L0)`zw;Yq&YwK$bBD$4ML%Qv zwq+YwL$bC%{dVr?hC;rp((#%}e6{|XW&u0r)R#2PROa=+^PT@r`tmOhrCkdz_iaP&OoqO{n=Tvow$At=>b5Vn z_;}m>7ccwj1=bl`+;j5M>3H=wla*!q8vndMN{LH@0@?MRs)yO`V~w#nk+!!fC--CH z!Yj8U=7pJe_MTHMVZ75|_IXo6KvIp*m!6Z^cZ&pgPuz2wS*uqQ#Bt*6xk=kDNBmIS z(mT;1+su7}|*P+gKa+DUK_|=k>OISEl|56*QR8=5ze( z>E^IrOP;vbYhFp+xT~Z(F{SxC593;eHGj97l}!1eUcXnJapS{#C9i%q8YD*UkDM!3 zee-FRoeS??`oF7wF0{Cs(FfwQBpKdS-zW&?He$D6u$tmaK_IaG66_?(ht-Lc&{ zw@+NVWTE&_|A;_7*J`6j6`KXm^2O8y+;QtYXa08K^`3uGa*~HHYTtb)-Wj<&V3)um z=S#0!IA6Yh?JD+c-R1r3xv!rU`M5Ui+-LE7EC=@9KV@@JPrL7bU+q$P1B14kE5G$l z&0IBm%d3cgdjh98UzoO2vApnT>kPHO_6*X|C;n_^y1ixzv$2W6^o{k53Sh>Sdd9O% zhQ{FK4sW9(i*LIL)jeN7!#z9rP(t3BY1&(@lx}Z);#?$iT+7zsNk@w>lL>=WS>4|< zem*{ppk+Zfx9e87SXS-YZ)eDGBFQf)NmxlV(MdpBSj_vyAp@}%)eRY(&n>RBNJ~g5 zNeCG$nFMhArL1w&ag(!{<`Nab-sW{ELOW?fT=682`Uh(ov(HGD@FeOS6kJopw^%~T ze8&`pdefka&}j$a)CBw3*n*fO6HhV8&FExgk26VRJFao~Ku_q6#D@BXVKRfdb|Zhoq>kx~bEmARPU^UF$?3SzQOQ$DE}3nU7~^!Fa)c;I zx%2cav7Ev1ubx@TTSq5j{St*+8Ey42IV+sOs1IvFQB%~nlYB4H?_ z=9sK};DOK!76$=`_A~~4$)zS1EfQxPS-WK!PCKY+uxmv)3aMR`6M7?mT-kufGbCAJ zl0>HgkEc$R?4tw6c&r<&#InA8dD$^Npu^{{Px2`%r+(B^SQGvwhZ=U3-7;E9oeB<#KCPn7ZqOB|8m@?cu#@rKvK+dHB0=bM%NpY|}cUEg=3UQtP> ztl}=igO_e!c4(-t`!eSyZ>?Ya1z`yXyL$>^0Ux4npKvl1igGt>H{z*0SiAGmL{X*_ z>%z91Zdmd>^50B3+uB#G7Zw-J6}8;EXn*X!1K(1@uAhE&e@dVC^lLZ6&Gp2(mDVp> zH0M&KSy|;%t*YODH+X5b@Y^zMspmHc`F5iI#|&SE1CnV4vC z%@SBA+xT!FwQQ2PB9&o!yI((SBk#WdheJfp#;%jrtZ%=q{_t8o$HLPu?{1oNZ_;Zy zG27C3#rhw5^JVWVtj?A_{Px5Dw}x-iN^%!oH3_I1 zk5+xrfy*ps6nytQo*&;H%oy$)|H+MQ8_O}Z2k%pr%xns_eyMQ%cXyur);|7EFQm>z zPgpIPE%hS(Pv>gMWck_0)tAP*{}qV$xE;G!C*u9Fd3?_k>(_1W-Yy-ZdZA>8RgcEv z-EF%P<)h8>Z|!CNd*PYx|33DlBid$-->1EgsCo6UI`ZSN87Sy;IHQmgN#&Ek2uVUlJcak6gVk%3N|s(&mLx_x{Fy&54$%o2#~4 z>d~#8%f8%VjgE@Ad+6Fu+miq1mOb6}bM}M!8C}O`28Z{a&WRLHE#6Z(RWIS`kGChE z?!In6cg`M(!#l;pp1s_nv`Nu2kN-#ep1o70QoQ?D8Ops&t_bm%em>T0?oURpjOX!J zH0R9g|Mc?C!w;*)$Qe8tZ(_(V1}}Pn22@ zD_4=I)`}^dqEph^n~Vy?_bEv2$aZ@FpmT!X%QwG^o)yiyXj6Y$R(FAJ>`YPN3wuxP zyEyCG=1Z2prq;>NYP3Jbvwwd5j;hbgOb@4StO&jF*|~=4ZX)O03C@l0^EYTj+7^6M z$ojisJ8S=2zGwqU_G1^A^Xnsba>-w6`*rg8i}H_u-hTY~nfI^U2a{Lr`DIdnckp~M zKIve8)ambxdsAm=1^Dv@eXj42yDVJgRlhL(%gp*Mf2ZzS^88EFzD4U_N>_36FMt0c z|BLP4xpfQbFZ2t@X0rAhMt+^S%v9xD?#w>>-Bs`2y;>K)NX2Sda)r@pO}mn056f4A z0o!LRx!SYqPW(HC`Lm|%nq3}fe)M>0_@$dx|LiWFFY$Z6Zk58yruxT3_I3*uKlK0ATerMEcO~C1!^F=YuRh)UTz`8D@2`sR7ZDxI&7~7^+xWt^ zD3laPTyZqynd`i4*Mox-UN^gMiamI_g|F>wz4Wg#0keI--gmIR|C{+Dqonx7L;2sO zhm+^d-_tHvbZlDm1^u5APFnMuGB@qE{*c?3e{|i>{)?7#<~nCaJC^QbT$VL8*EIX0 z*$081aNa;O!KcpmpEvfK$(Q%`?or+I^TEmM%Nefxv2*{mpe^N3pwa%jlg>H*64GXq z^jX8jG&`dH@-Csf<pW-&({q37$KF2%!`F(oxnl)KG**Y_yXWo9U{Hxk*W%|_r z>o%Dd$_wo)%(y8qcZ2UmBhD0KHRhMEK3*!9(={vXsI~~{Xs+MP;9ea5e)Exfo+^_~ z?eD(LesD$2LYJw);>E_7^-Q;&%U}8CqzOy&C%d;^O#a82W4}u_=h0^Vhsica)W08W zkLTC=Q?r4|L}0G|X3i{Qvr9a=de*IsTi|?d_j>~Q|Vov(=?naOIcTsz@b-FHFI5w0tvz=Cy z{uI9JxxU<^`%1N~`EA=DhU|H){Fb?GJ8C zXQ$2G+k4d6Oib&D+_gP?{>dN0T+$2dMAWL9yW4s6oSM6J*~IrA{K?mB9$n9FcI>bO z%dg3olWHnLm#5Y;eD{=p;(zI>P+siK?Jrimm-*5Eqpoz$RlTnNlh5TRUS9Rcu%G{f zkA2M7@7I;yhuusl4NBth9&A7?@N45F9dDT4KO;ybAuj!i4 z=Gx}6StM8_LxZIy}aVLLUxKmHnrw)!8{`R-*DaOBp( zThE2~ST`Kv|KqQFXz885J3XQ=M{HjCKx|L6*}I_4J4&A_o!w)W5o@@mX6CsD=FOe) z(oy@E7>v`_mY=$Cvp{KfO57InW{FuV^zt@m*}Se<%hnx#`c1Ia{2eu62X69znaKWc zy5jAv_4gY7Gfb{#+i`l?>PxPVOFEw)<9K`S_JTVRPNFHV*Q!qW-_a-^VQ_4(j>-q? zNeN6-FMOY}gMZ=TeeK(d{z<>wzvs=hIe%pe!e?@|Lb z>=xW%y{!DoWo_PX-W{=@bU!yN-kaL?`E^y3^z8mu(E$s$M9sZj)p53W*4Dn{x7Yoy zi5Xs#n!45AB;l<4-`J^7+AlreY1*&5;n_dVM=Gt8y$oed-8=tXXTG~qVa1_)E6%9J zPMo)^JL%Dj{Hf9MigC?fp8dAGSbOlFe)8{`hbLcT7MVV$hcPzLz`)Vj#Ldjf#MsTk z)xyQt(9G4s$kM{h(b3Jo*wxM1PQiwtl2|T%pVYkck_-hCOY_NsOq%tomn?%X2Z|hf zSiI>^pdt(FM1{7iqOQIo<(*7i@1(WzRHBw|xvrnE^jw5xd(*~En?6TJ-2TZpXJg@- zM}PN<*c6}JyYu0*dDqW)&7BkZrb%(dj>wxqQ)fo6p0z+V_m6{mJS4GVpGcFp$5 z8qV@x%I|y%eJd7Z?eW_?*Kq69D`NHgR-6s8o^&fIIyXG4cXvwk1Br4=*R7)44i;WZ zTe)i?`??KflUA|p-Eia<=PIKw2c@!0SH0c9JZsI>6~7W0qSk!u-!#|2!ro9{Zza3_@;Al^f;yWB^!T$UqQ%uXO<@S5; z3)br`5jH+>wJD!7x1`Z|;@#;Vx~6RoY_R!YF_BSUr0Sbx#sSqGJfHI}&rXhMNL{g; zH#Z|!aNQxveXa9Ff5}R9Ei-)`mc6{->i$q(Ti7ZKL3#QP8<6Nfv|^?G3C*>>v_KNZcp>R>bv9Vzi;#Bbr!Hr zBDcu zu~(PezTdxU*&XqJE0jzQPH^U5rmm*o=+M-_!pO-a#G^0uE`Q(5-@7G$^EW(B|HYM> fmr`6(l$w~!m6|s_r=L-X%hK3{OI6j?-;E0ZzyU#t