From ee3acd6300a67bbaa7c52fa899d94016e1079c64 Mon Sep 17 00:00:00 2001 From: Thabo Krick Date: Mon, 9 Mar 2026 16:06:06 +0100 Subject: [PATCH] fixed heating stage cycle --- model/seat_heating_controller.slx | Bin 64706 -> 60842 bytes test/seat_heating_controller.epx | 10 ++++---- .../model/simulink_live_testing/slArch.xml | 1 - .../preferences.json | 2 +- .../testcases/heating_cycle.tc.json | 22 ++++++++++++++---- 5 files changed, 23 insertions(+), 12 deletions(-) diff --git a/model/seat_heating_controller.slx b/model/seat_heating_controller.slx index 175cb3923310f5db52f55e9c3354937f1f48f50c..1fe044833a0999121cc0f19114d1831738953894 100644 GIT binary patch delta 34482 zcmV)lK%c+D`2(uk0~kjfcZqaMN+Td5CEXo2NGej&4bsxRukrrZT6?X%_lNyu zAN$LCj@RRPALX9+oMT+qdH&8Z#?<$@jO0Z;N<0h(bMeVz2{{br)F%3cdk%i5t#8Z^ z{&nHq8oW) zrZl}5GzyP1A}0-&y}!NK64%%?Nc=p-@$H-Z^5<`_486X|acOgFg@1cY|FW5HXEj)m zF9PrK#mSYOBZryZY4th&l1(Sez=LvTFHLeEADuiDUk=5r)0rh>3{YdJUTli$)i< ze0_$ANgLP$9Dmht_rxav9ouJbZLZ@a)t&A@B7#+|CyMY@+c|Usbc-; z(?XL>>2Q5&VaoUDnSi3QdRhNNjNjrO2#JpN={0->_id0tSQU~tXtGm|`$db~ zi=n&M`8vJc7g08yC7XjP*7q3$%Qo;7hb&)P)g)3w9)HWo=(U7gFD)bl>#ruAB$BUW0ezCE!=f06%gAYBv9vTz#BaY8ZyA#(#~Cjc--kXwdL7rMes}^F*?$J=N0stUWZ-7WKN^ipjvhAWqmhM%??-sqdN% z=W^7mViv9G85n&1{45UR!owS9J7Q1d$}Um!iptBAFv=#h_m}mbb5K_PV-ocsC;dOy z{rK^tPf*aUd-s0jnVcLSNj!Y0Suj{?F@slga(^syblW1Gc1COmjJa7gssqBpuFweBG@6zaIBXeSGjj3PYVw;Y?aWcD z@PG01t7j*Oxo_}3H{Jy+ZY29)@%|9*fwqH|h1)qfGg#lXbm`){VLr`+18`tY9=Ol3!!RMc&a zYQe3=e*K|h6TbZ#HucIDwwgn+ot2R?hpjvKq|8Z{bDeP_t_kiq=e6>b@MiT|o-uWw zT%yD&a$9vzbXRnH?C20?s0OKSuK2=I?UH? zo1GUpSuPp#2@cj@_?3n!EiHXhFbJbwJ2<$vJytsHfBI;(cF|SiVGG{CN1fg{?CAwj zLH5hM7qb{MBZbIz33&Hvrmnb^xPL#am8re7c{Z-~TXN0$!j_q$EAF}{0^1`eCIW<; zr)g_uOV6Ghm<88tD?DtUcRx@2ruE}ZrR=`NnDP_9>1mx}voRScr&H0~CNbI%zKZmJ zJ32h{2@Jf+%Nq?hMSbAp?0kWMV0utLv5B3)W@Xs7pny|GhVqLw4-8h0%zvq6H^~;m zj~Y@6oPxD?^2Ltm*G|17AU_*-Ei>{&IONPG4(aKLR>SHO?cq+kd+uY$J7W#CPp^^g zlDVGQ7aLd1KmJM-x~S9jRiW5;FqXFD-GrEAVCj>vTk<)odta~>6%|vnv&}JFMriVf zhGJ7wQ&oerHEM*VBAF+CXMel|-5??%nI0g!e7PPbQVF^Z{*lj+yP3H99Pd4h;+^QM zH|kFnSjzvN6e}_;4tj@)Zk?E9o-W0aY{eUOJu<7f+R}nG^7^<%MTXH4$^M9!bv@H2 z*OWVy`i?@@<0ikWr*QG{Esa-u(g`tKhQHq#FAkNgUd-)DeG*13LVw1h9IjsFaH_k) z)(raE&)eHu`=m!!WO=vRpyx}_s^j+36J=$}m6etLs^*unLJu7r_(}cGDk}Cb{$RFE z_#=LtqldHA`uD{2f(~0n!V%SrpsX)eErx!wIH%puyPbse9*&Z{ySe%xZpfTghilo4 zelZxAxGa;IR4RzQrhhlD%+sDbv-dBqW!Zte_({dLhYB@Y!8*P9%c5x_%VQV6Q{T%sD%{>ExK%d9eFsCxKbHOf) zjBa{5y)h#eeA}mACm-J-YNEsWa~zzdXOV8yN%g3Y?re^zX@8ik^IFY`OoiUiFOj32 z2jd%+HCKrX%I((a7yEN<31m2XKK}6a^;Ipm@||q*p8^wzRWYR#wx}SPch%=H<@1=V zwbc<4Pk5q`EvRCeZE2``Wv{KWs>=T4Xy?h(r}P{gp)lQ4m*grmgtmUa3=-{sYIIi0 zowdyJ>}YwvCx6kNqq(i^+}>OwBL@cuHtN&v?k;b&yf~W@9+J2l0@K68!yxG#BYrvx znOAvuc(5sUa_^8AdLpCgZZ-L-ZS?jCT4xX!hR*;;aU6#>%bc^EC-hb;Oi5%TJF+WSZnI91^!O0e0 z2Q2NKO?$q(@!_&wto)?u23Smge?Ld4=l^1e+S^ZVt`sk|-o5YZ=@T7q_+NhgV&(r= zIH;Wg#J2eRD-FLbk|pKs&(AyMx9RE6-r?XN_HU|h@+Zqv&Mqx0n^;UUtfnRnBT~8V}hCK?S9zUo|Bz?w;Mn5 z|J@URNo49|C-@i^_PX#bF%`G*c)y10%-`P35`SwJ|0c1YpC8)qPIxc$WmCQSCSPY* z1UK`(NsDRxBaF~=dlUcvfQu*k1m4H5W|q@5ivOl`x+$Wd{Qe#sD&_k=f{%Qa@^ z09Lhf_BXW{&`U1HJRhIomtQVg#db9NUA-I4Yff)D+de^evMcGXRsrHxdHApGa8cuA zvVUwYL3^~)o`gy6jI6AzC*1w;l`l);JOmyE`d#<*+R6K}Ribj)>G&*k5`s3ixApq6 zUY|L8mP5Ol04(ycloZgHO2R<{p-4zvT-@BfL1XUASFUV09R{X;`Er?#?j$Og0m?m? z2}g*NGc1%r5?%9Y6l;9CCETw>iRsAhxPJ%Xzb)m}niFAsGS=yVJnb8djB^Hg?tGTB zL?Eg)Cr7I)=ML&U@eTTOXmHLEB&k){0A);<8Jkt_-NFFdRIb(IZ_fYpP*k_~?2H!( z3keCCTO9szxVJG_YCiQWn9pJJHhl2*_kJjeIBAM`b8~a!vFiA_1V`4cxuxN8+YVByJ$g&t<*LZ57vl6%&FqQ0Z;lIJ;Dw82@gSY3a1HkEr)0 znzwyfgCWT znqP3{P9I{1wY9Zt_wOT*nOI&9OiyQg@Zdp~Moj{M7k>@~DQPp@7N6^};K|{fNQPPk zw>CCtCQ8F4`DMDyhYugV+i&QRGAq@>AknNE{F`nK+PK(ojg>XX_2ghIOQj@8$Z>nE zS5bq*Y*dieWmj{5d$}#*u7BcuZzkEROaPWbn%CB%A<=3F8c-;TSfoav?4t!FXMzsWOwc@`U4Lv@#)-d^vAC?NrX)&0HEi$8z< zgyHJWR^fT?;Q`=3{eLW&PQ*npG&D3Q5k>?%|1-sY!jo)%upnLA(a`V?i*n%`U|qq3 zr2_dZrO=&G$6&zJU&-R5j zt{8Q@Fu1ezpqkN-H>E(l z&q7hcBM#r|uBxnbi+hlul0Dkc;4xa|*i&k*EhZ)gA%GqM_0>D_|3PCuOD_ln{EvoQ zp<#laST5NJ+<%mc)R}Dbt=#{cxw+UMY*uqbs;H<)(C`L++Rn~yZ5>O;2^#qM^Jk?> zJC5E=#dO(3Vd#{|)-cA6#w)VjMMjEGBkp(x2NQ<$vW)^Wu>zKZNbEvLIYrL%X=NA`clR6HU!Y2e0@cE(tEblELA)3ryJRPo{A!BYyc71<;|AwxvE{-8JEiJ8}91p-|K|w+4 zojf2sr+Gkc%La+}%Zhz44az!L|bEL=v`_hkB|UZE5YsPx+Ct1(lT8 zCY(NU;V~U9byPb;OuTpH<#uvKc{vo_GZ@=X?3$-FoVTvR5Z>V9`!qg2K16%UtYoOn zX@Bot6f1yGwsHU^mmh?i%jD!fH8mpY>gszA@-h+S z4Pmjp^tv-aNDA7?rb0-zr%=7Ewbd6Ug$O=hQo?h5d`xmzApquNa&gfgqJV)w<*GeScwg z-s)AfKU~Ky{3*ICa=0e`fQ+Ig<`I`;QGRS|OUoNDOWRZedisAma$j+dz`UoyE3;k~ zc!6)lBH^5$pLbH50$sid$+o>+TDjQx325=_5>pzenR7=6J9Ch*nb#~7zsdUof9ytL z!TGsO{>YE#veDDKig=c{j<6HR$$!Z`e)cR)`qMq9^(M02gM+YygwF9g4@jYxL0qI0 zh2v{$MZsHJKXK~s9_@@R^ykuDzkZ#X_nq5|lt(|SogM%7WiLj{6@e#J9;{TLU(D*2 z(Iuk}{-D6Q3tq6>?NB=&)SpcRh9*wSSws2)F{V zvdOUM-%m-pJjWeV=p|f2!mgsYlt+P+a8sbrv+ASjFu0*&YT~Y-*%xqelfd`xzwLHg ztv(2X!eDpYHWm{Xe_idwms|M{Z>l*EEjHZK{ei56lvTB*(4gn5VlFMjv^QXO)O;2n z0NUnCk7114f2K(Cy&K1<6n`5}#F|x4z;Ee*y|gC?#ol@K4VmEjuw_@C?W(#=JpT+Y z4?jO;#Ym?oKH1lo>6bujK8tzcF{=~@+*QnZxA$*GwXF>OXdG{yqK5NBJGNLPj zInQ!0S{j;;-SsKdFN`vANoHf!F!TcT*8MqZ1Lkjk zZr5x_to?klH^zcRUq|N#m?ut>W`mc5jhe(X+dTpgC?1!+88QSDxi!a6A3gG#dh(@G z_-FXhTMJQ9%tb2h8-Mrj|6UId_xG1drhBaR6~}qHB^2uUXPKowj7y_-u+Z#RUmoLu z5Mk&2cYyO~H3oco56b0rl>-+zB$P8w%l>)zHvI&9uSgaZ1k0ySpZ-3yjP!VI?cI+k zwytvPMYpW0?YCqTq+$4c{ro2Lu(aBcEYMH{1Q6W2ch4Zz3Ly!n z8M3^qUuH2gP;Pw}18&l+S1^)2#6+*f&m9{GF2(V-`x@ZaqXNB-+iK;TCbH}Cp`mp! zczbINgiMM#)S&*Ko%a6O+1o>xD}24H>B-+c=CH_8Utb^1Z~aZ%WgATG-PYe%{I)CY za3!CBfa&a#QGfc|w|y>Lxz(L6OLvcxlg2gvRjztG;u+mG(l4@!GDF2COlsx#=eiQp ztrzo)6VEOrXO zL5b)l1A|9+c=%%EVx`TqcWzK{Q;Um^YSFiD-h|PK)OLiN_Rx>S{P5!q_??-VncXtr z7y^oWAAf+_#@?xoi9~Tas+eNO-U>m)K2US%7ngnZtf`@aq2Jj{^Bw3pJY6SLD!5)5 zgDzCe{b#Y^VjF+jXq<{%OefnfCd}3P8cDjl^R?z+) zq2O9=6|0v|w1kz_rZtOIrb6~)-Fdp{h4e%lCtV$#=T#2Y2rl`p=0!JVI|gf9MKCbq z9e?IaV5R@mg1&!e2PL!HUr473vz+OLBtw2r=W(^hMi*ewNVzpqFA(PGXaeRtcl^Y? zFa4~rT@}zq%s}mK&4; z9QLfv#oxevcOk`Nf|dv2J9@vpf`{~kJby4bG4Vi4iyme*UBdTrq1hO%8}xk4?ylXE zO~ur3qRYPT*RQwH(kbv4B$NNpwU^hgZ?EoRij4=wKtE{sty}mmD?=;_^#Q& zYccJUQe+PISZFc?qEgJ8Qw3pylH2$($lxc4f>&-yBP*@k=oC=OR+yZc+S^~uy+BBq zu2N!J2}F(wpy2fC?(U}6O!)Mv6@QF?NxAU$Lx0jLO*+0>2&%b5#V$t@Y(6Hu;lnEaui&tWQ2HHXZq~HqnrwT6PaKMjOh6S*<)gB!mdki|DznN5kT*bw?W>$!2jNod+uJtb73^|J{yxL!!7dH{6fRuck(87S z`}Ao6cMVnJ038w0xZN4Mj(->~5*Fof!`^S}Q1l@&F+V^8m1KTI?#gC?u0i1 zIeYDkOAucYoVN!B11($umz2OV)+9qpOom9^KpRoeC1@zU%g|Y3Jbzd(aIJC~dXbSF4 zhn+cpzQFawWz=conSV@zpf3O-3e*&kNYHZ6;NYhiE~CkXh1R489&bl0`Aq&4CWBIy zShF2dPY;4mN`RS4MKWJ!W?m}JiB|+$YZw`cx0v}cF)?92686%w$$6c6f6O;QoGerT z$uQiuBn#~|K0XS4eSJw0+wFkpgoK13?R>HyKWK3yV`BU?$$$BR@`je-Zifq-RGUPDDZyUJ@H33lEtJ9fZUh#{Wf*D&Nyc=GV8+H!b9G z5r@`XP*m)v*1R-6GZUfR9RqqBl;oA=vT20V-q0{rt{oQ_hv(!HNae|=)4_I`k`mP* zYKgsnZEX0PMSs_gKDYpYE_5g30Pd#QtxwuHI+FdNERPv}C^20fCPZTg%7FW}=6>ye zKMQd2qV901xpd5ZUufRTBqUZtN5e4K$nCcl`@2Vr}Ed$ZEh%ZdJv zlpqJXE4)9?u)Q=0q;^;v${=ZxRUAntBO|lBySuhj(0?UYW})jx%JMW%tLZj0c6D`i zX+;Iu4+D({XyI>%3C6XuvhtmUMSX8?1eVq@;7^eew5^zf13$!#vE+oR58r_LAwba4 z(K$Iet^NB~-_VfK&D#E-RnoFxUGH-Eb4Uo9*EfrAI3un&A?Q`3yumJ|cM+;ha{UtgqH2>#>NtUq&!nm1&s zR91NJ0|-vO)1C#^t@IKNe>b2S234-h@t!_*9e?usI1o&E_Psz_p_r3{niFjp#6qL~ zATaT{14>T)&Qz3Hyu3ygC``Tov&0E@Qg=7EQVcL^9x?#be8uuBS4jN8^oKxFf+vR? zU?>TImM>Bt6N7r;ZN0fb99sVt7@UBH|2`J5u$aT;aF_bQ-v@W!{lzY@m_*xnKr zPJe(dUmG&3;dnPL3OS6N%a8=_5wk1RML$^(#2tyKC43iJuVUSB1Vor&#e zo^0~Bhk*UM^xbtXqdw-4MK3Qexf&Pe{mq327?yc3LVPmT#;z{H|5`nLd9e3oyAOF4k8&Lruyet+zb-#9*4EdU*Z$J53Jr9JRCS7xeGZpBof z-*tx<{j)F44@MPK1dS> zL9&mve~9uBc=V*pa=IMa!6U<6RnG7+$|g($!`*`L4443h5f)3k3YxOH(1X^Nc7I`< zk>Efwv$L}s&fjwe6Z!r1#gy0GTO({}a|yC-N5`@{*+U8GFTlP*U6FWK?|gqZQNI|( z^y2fG_4W0j#D@BMYL@ROdtI(;TU%%W59Lb8EZyMpv+bWOM~WdXx&zvN*YBc*s#U|dY?s;MVnvqTR1^BJZS>EFg&mv){KT48}H)ob#*Di81uBCTq>(yk`g!Ro8!a1IDYFNdE8#Hu~YzQ)ut*|R`+#(gx8IX&;Wg* zCdG2)_p6>@MULzGvQ-QQ^M7xqNCxXQ2T&ja19`FBUDJd^&f}7pqXU?2Kjs;OYp_2vfIG*2H3!VM0 zIfzCINaE9dgUg7jY3Ei}Iw2A&6&YSdPxtqC28LS1B@Pn&zaCkU(0}OYmSB-%T*NnM zVa7}IyU7qYd>yoOdn`{d*v_@g3-cRYB6Ej(8^5zvq5$+xg(M`%$jgUM6%o=3wm`w` z0{!~<`DwL&yqTq3Jms_q%6v3YT+Ky_C5?i zwTJBl;TM8UnEDss1cE#ID$Jym_upc4dJ{a}zrPJ}KS2ZHl79n4uzMQr2`t>)k^LI3 z@t}pA=93bTIxUuv+BL(JRNN)BWR2iv_MAA z@g9WoMWvlNR(}!NN>*?kK{NyO+pjdKsku2xpiDm76>4BxK#grlPW_aPZXv!U3*>%Gl z#l-4OwiGLmwujLEPM64upvIiNogEPk&9f5I5o%7n5oyz+lhRUNQf8%hYGe-{Jvs+v z)Y#PI`F|tgE~nM}bK#@Sm+E#CXVDr5un3g*rBkO)p%oo?C4gXop zea+R;D)dcI-#;Q*+T2dz@WLo!Q2GRnMjH+=nj#N4LCC_m8PV0wCbm{f|H7Zw)m z931lB)SdpEk}_Co&H(XB8x-Qq*|RUQmAT$~cz;~L$Jbt;Y&wK=p<3-Um}dq$m71E$ zZo8t&s!`pJ`u^}=TVU1k{vzDp4Qw%523cEMJ6(3XGv+D_KfMS2gnDXzs3ccg1A-Gs zHKNY`crq%gwxz)W`{km3yj1FcJNf!u35&%eU;6-#O#rgP7puVzXUd%+L*HOzoSL2n zZGXjHEUDW3C1thPcM)_6J9&3dEf};RNN>Y*qLYq2^10^1dF=atsdKpxz~#;|4A41aH*VbQ-%fz|1O*{P`pXi@hp7i*xYnEM9x z^FLD-z$EFMH;Lg}kpjE9VZO-3gXG_ZfC-{1gk`%f+MlClKNZMBeIyyu8}aV=&>jPt zAPd7y<62}onD2S@uEHAlH7dZ5VPS(+jwRYB;0}8$6|2!8i2yA1>;%~ArQXp0bARKd zqrd7{fa?BRA_D^hw9dW1wb%oEa(X$|ac?GSu*8gxj8*mBZ?AlCwFR$iStceXLxWH; zmXe}2%c0rj<@m)t*W;6=E-9?u-T4{qjka)ibqH^9@$q~%OG*jnG*LG`3A^yiKhT&dUfbkq~vZ5>L*eF z>~dG{PU35iRXaa2HeO=s`Xp$dzYhIG2~XU=jE|4c2^k|Yy+0^0u%qWdN>-L92aF@# zNKe3G+Gl+xN`ul%ll)}Azb3%P2NzqEudAa&?(6Hz*C{0>#Yxb>4u9?&Fg-o3x~H7j*xa~mu7EwDmV~8jtVXS9>-aIw5>9=HOT%?fD)_`VC(MhD&ihIYyf~Ap02?2@eZ{GAgPiyCf zmd(I<_-$9DrKJP3r_0mR838H3Km#E3fiXDs+Cv)f)~+od?N1lz%c9-%QODJ)_pSx> z7B5Ltl7GHsqXRPxkSacWIHRSljj*rgc>nHPS0dxhn`ax?O^xD*=^y$%hvtUXU)$M9 zSIW~OVNoX0(9nS2IJV%l08gGD$V<^CWe8RA4GzX)v5fs=RUNTBFCpz2_UCj2P;jDS zw!3Q+n0}#RoY%omM*rqXg$|(uKD5r8FGihr)PI2LaDh%W zL-^zCLP9hZBQ7fLD_~{+_xLUDTyG&eyo8enM7_B@)W3exfTeR?8i*Rw7QnL%J&5}6 zdw74pzDWO{_U~q+A3s`5meM4lr2Jt!=4_kmf1TdeJp+d(Uu?jzi2vLVHLA&yEAwT} zY=02gb3a*xA9N@&lVYR7!d_Na=LjjLvbVOhBtg}HY1ZX+=oO&Npmnr0w{U30NV;FJ z)T$$qx^~CP-LzzA;djOrsP@l5Qs^X4e}{(JbF}*;#a0!rt+Ji}g~wvN_7qli35*XJ zY2n+S?-6qr78WiBwRQj$XkgOF_B=ZD(0~311k|296DVM(tzN|-z5_GsV`xLu(vv?T zBoe9b?u5Hn8}+loZ#6@;8Gr`n;ER!b@HkJHZ`gYWyHSR*oNd!3t3l$@s z1zo~zsB(G6oWwya$a&wr3DP!|=(28$CxT*yVw^O{%u^27fzC2m{eS)4 z${~9K*&6gq2vV=Ls{UeMHj4h2X!xg<-iS%ym57nehj2x+@bX5FkH7g-Y$E00zzgj~nKV}=3x&g|Fyu5z?hE__=D-{O|l`z^m8 zN5pbgI>>&2j7?n{#sTe`((qfo0e>S!N@|`nVhXKCN=8PeZa;JN907Ul%18wbwz0YS z-{D5r6;jei{-i9tPP^=ow`|)#Id3n$mNaUtb;rpYTDD!L_2;vm?{?3v-uDA}h5lfA z^^GK?$kYlrZ*S6{4JCPoM*(j@O_B7#&;7{LiiN2euXRUzoe&ZWoc8`Xv42_Jpx=3v zOt1+^1!pmG62Tl#nOeS8GlnP?2P0WT5yRFJOE6J4}{g z@3)A>^F1*CU1;+Hd)bLarC0}|fvAF;x2NZ+*L23<^s_K;dVqU}VBnyK9*~sT?f>b- z#l`KyencgV9YIPLYrhh)%-i_br{pjFT*1|w}0qMuOB=#5gnZ@U;#SzvA(^1iAw^zkjb(VoC!L zVJ)3(4*?a+0mc{0)7zr34_3<6KWAz{5OyW*X zf{D)C6ma3`v6EvS3C_K+yiDeMj`>LrskcT%#Fc3g8@CmB(%|(9^H9 z9$XGpxf|}jGBFXFVsq+wzRnYwMB!y6m4lX02Gl%wSMRWEHGkqBuLrw6FVK7DMMx(D zjcm4C7e4em3+)m9n{JiQQ61!XFT~Cs0=M+$KW{PwZMCtG;(KWlUA@|b&sHf4$$^%Z zR&b-86R=ho%YimGAtfUmhewD)r_ZsA5YuB|R-Wf+Jp|~5#MgWN%b~8U@ZOCv=N%gG zJ8NUa#=xS+e}4*n!B#n(_o44I8h|`55E5eb3MT&k^{c255ceWLhZ{)lDiDB{J8aII z6OIM?OuvF27zUsFnX4h9Tw)rSo682tET}gnh)$$4nnN4f`rO3C1Qh-)4La#ykz-!? zFQ<(To*)yrc>*f#0EqD8tE<6HT6Hjx0P{WBDm=x;gMantd^FSvxWokXi0$v+ZAK^V`q{JdXn&~pnU z=(b#{k9I^g+(q>6?k;sf$JXjt;%Jp4S_lrMe~6*(Ck?G%td4CHa&(JBd=%8x($cbC z7f!cYeSg3T(T#zHC6M3x?>i85=)lLavbM}?A45YQh>4vBzNpBFQ^<@64<|wAvG?)| zx-6}&o7f59i>Y1jzh$*0=D6E2jm!Xm|$=40miG;919u z%(Cq*H8r(d{0*bvy^Wah{)F?dJ2v{c1O0q_hJS+&Si4uhaA-HPL-Kc2BOoRYRk;%$ zobBu5^Z597_rsMd_VKbp3=AGZj@#3VaYiP?rJ*P@9taYbm5|KS@Ay_;3O@u|rsiZA z?WA5xmx-U8ZVlTLmX%mx*-G{wX8a=ksUCP9a&8Kc0osKG0Bht})GS8h1`3z2*>LV2 zCx7R{Pzf9K0-}@3^=7I#fKd)x$LG(90FZ47b}RcpE78w9dGdspk8d3)9dw>03$NlXSEO<-y#vpEV8H?EdR%8Qegb?xr&^MBE1d7Xa);y==)#zu+y`uewj3NxmZ zfJd%T_0@hU4@=H(bsMy4`llq_*(AI5Nq?YX zVlpyGP)O?FaDD*+C@+f!N$!W!ozIi}hxPN*89VjJ9|bXa*e?Hhxb5_!j4N%9duFXj zYF}@sW{&&B5gm2#zm}GsZn-}B5NOE9&(FeGN?N+ol>R1h*#=DGt(RY+aZ!$ zj3mN+S;n5A6NPAv2y(wUeDF~)ZGWJ@KR%?}B%}TuG{QDZ1B=J=M4$^_t4q1zd=8hH{>NEtKJcaIi;4cj-qK^}05P0k z_PR@BH8r)li7_#TAbag^e}4@%hxp8J{d!$Xd;4Kq|Hc1Gt_ql&;eR!mkd{WHIrW1e zHLkBU5K<8n6F++N$ZH*v7K*RHPF!e%2L;XcXpZKk!Gb`>M5kZ8R`Vg6B}0KAs^nu% z8-eTKsZ=M&J2fb4Lhn+tRc-#NvKQB)1jgfnHrI!ysvoGZ&4r2uPS&~eUkA=XWjPFf z-GJee1PwN|?_{evtbYfhZA5EnfS4@7wzjr&A}4!<;0ZHTJEQOz?l5VBToYy^%GvM=4l=UNCPQ^%pf%QOaR|pJC*S)^DR>M+hku3H{m;_e$?;JfzqQ|a zIwvCkCNW5P7`QJsw6lPg!S^>829~!SH}oWK$Vv}RqfLAtVt)p7njZYdo)Z)cVFkXSpuLH=XE_6 zB=z_FZ^zOUvVW8wZ2j%ckW2evJvVBsVG52a{^_1BwTSJ~Kqv(8;l6{)9$l6IQ|>QF zW#a^Fg8-j{sQJX+y<>my;6acH2=nI$9_P@qo7Y9EU+J=Ro$&%_V{K(pfGG6vo^BGh zsR_M|kPkd6m{K|XFTA@r_T@lFB20#fDV0K zWOx-CHW_5a&d!dAn7D4RKtDq%j~<*x7sTtnQC|Sy_2LliJ?OOAoPPlbzqed6_EjM}X6gVfh_O}gz6T3NAzE3P5;7M$Z3Xi; zoSy~KJ-xd=b>Hx}4-ACBw$R>m7zvZyhoq!y=zq;OxFa8be{Gnza2AzF#soY1t{O(q zR+xc#;8)=JX}Cpn{z4&J`Dc-lB06TOqjLj;bN*5))CmlsM@!3N?0Z&vIo?nCtw*2~ z@?W1{*YNla6N7vRnl=r7?KxB-hL~);aQVs=P>-(uvcWpq%a`jRMC1sJu@lH72)5>F zV}F$j^e)1;qQmu22rnvZOi=8DNu>~R5yYVFF_@#J(W+P6n5SZNk~{3C@~%3-(DRf ztOY3$)zYGeDWxYAIb;{GT|xP1Z@;8kWws-B?ycNdzAj8y;gaM}betKQW4Fuo7)FK) zt!seZ7>`zd`oyW9uir%rk1h^gGFWNPi4YPSM8l_GekHUX8_u-}exIdaRNV#jOn-yM zAXsRd{A6sj3OnPp0*K2+i?9Tw@&I<*5@+u2t> zdC@axX%56}khcdS~YR-9J2@@87Y>xLuI9s@{c7@h;Ci-72q6 z-*FuHt_ePr`P1pvty_n{@h@A6u|cjjIs%hfmA%`a8Upy7ar6^y(c~y z5fv4F;3FKcsWa!!O@g>%esrZI2->3qB#o}e8+7QU0!TgN0yfOUBO_@^mVY)jUJ99> z85vCU3=E+kKfZ@7G#R0&UI&?bVtm{UF46GwC$X@wFnaG7N+UEP;--)-q%RUuQZ3NQ zmLEUr>pae<*~AgvV`mqQVpU5`WMN@B6`n{*aZd+VAy=Knxdx;wLvBz%(b)^iHre&$ zI9kyD9!Ah2t0R_2(#D1xntwA0{^UW*&&OS0s0x&dJ1ZmTB^3~#B$X1=V5h`H{Z|n# z*>7F<+57(7+II}mO%mYc{XJh_jF*;{h8B|`4qXrz7ysJ(S6L0SIb>Fo{JKETZn>y` ze0q9wK*dq7Dxqh)a>P?lsJ`c`9Dha1fmvD1n3=iW zUPCU2t-qdSmUHyiu3=DcbUE5m1oBCCIod~?vEff|q6)rpCG2SjCjv1T{d$<2^0cmB zzb+dX7+~BA3-1s7`SWy6S2m8gwCKZ`Z=tT@$J?8xyAHvp6Fa$y^5& zeeFX?0w)iTcX~SGdw&lP^P~N(J0ioF855DrKMYRqmadLPMMNZLWf9QxSQTfK^RS-Rk20Bb0JreWc^y`F^Ks_W_^1iz_U%&oZu#S8Y0!8u1DYGA;0?h-Yw zk&#h&c=(&PNPiYIc91j?ucGx5^!_hIfODLjocB%skf7ZmMGa@q7b%Y>nggjGKYm;b z*Z(%${PE-Eg*B1qE+on2`=`)*Y?YOjZ!|UClf}LNdb;GQSA7S0H^lN=%|BlnsUQ>qq{0%~D_1tURp9< z`cs4t495%UI;4oOp<)LACGYI)46Zb!L9YY3!@Vg`Ocxm> zD!)=``vy-an)0)@zJ79@YV+jd$B*cgG64-g38!9rEd-#S1^Tk^GmpuRA|fL{fBpJ6 zcOw!y_kU^H`$sA6M5n)e`4W+U<2F333LTKH5FnY^`?<7~+_0$p#~dA3A9Pn;d%N_i z{F5e2;3t>My#L4WTMOdg$mo%zStbaTy=8xH=^0iDkFPiF#$!Bhfc4$UKO=}`@%@? z(5FK+kCu0Z9Jz&e$8oF{ew~F+GJ)G{%Nyp5m06xoPEJOrhHlBk`G7?<^!1U#&&yhI zjDK!C&XCvY{r1Xr-{DV*Suj}E$-?4w`i}yy&y~w%d?+j9qo$@tySUW+R=CH<$B(6? zJgTayMkjjybT3%7bap;6H|Hp~T6hnrgEVh@d;5EF@vNp2J-vgT&L`n>=gzTnaD;YJ z5K`X91+;2uX{iN4e4(U-8!w|cC1Z4z;D6#pOp3CVHB787A#}e*XKguq%bi%U8~pyStx)Yb48MyfHMyD^k7) z|AW#-OH?C$=mMc8NjN9?))7x{F25inBNK@b<>BV`%FE-Bzk>v6r`;ER=%Y1!%YSuM z^RtB@6Y4%9Pm&b3goufM7Th`zbtM=78q&1ZI$I&iFz2Cgu*8DUO%g!b_r7ZSldK>h7>HT_H#iS!%fDFhH3y~`g z8_E3o^!fAWA!RG@$vQa+qNPPkOMgqWz&!wN{8UPcL#q)tbvGEyojEopraD=X zqf|waLvtu~cGqL4D(tz7l=92uMq;>V^%hT4Q}e4z3F~Pb98~$kRgPqQe0*>FvR+4Q z2$dd5NSu)9>gsmCz3=1WQ@g*lXnu0+JTN#Yv`!-lhJfB~(KIy;f``+D^ndjI`**ib zpC|$X0}~gG(hRSnS5kcf1J6FEy(aE`sj0}QKVd&9h(^HcU}seuIO6$jl9sl%2DEA$ zK+Tr`xIjn0|HodhGtL(vOtr>^20WxOLC7&l{?7XTVs1lY;~B^aO)y7kK`#jp*0FRT z0xvQ}YaDl2t@vrsI|2)NB9vdD>K}i4oV)nl^~6O-Pwzh#i=^u7*V_=K-7n+f+iJ7^CH3CZ}snYL(d6G|~LvF zV}1~P&$YF8)WS~W{PCAI=DN^pCmc3QN^qN>ftN6D@U)YSzE{x7`S!|4reeP%%);*8 zT;jz1yblNt3^306`Z|Q!OJH0tR8<3D7#o_J&cdfXAEltPQ>e($fjP9>7|E)3hvv&* zp7wcw_7AJo2ba7F>Aaq%)%$;4z5C|vTU=RLSqPD@4q~EXVxHzc@f<2KW4L`A_sNqd zc8l31YhZE=OiUM~qF5hlX?-3w+N#HAlmD|lIjQybJ|!<7-$WZ*%?G#|U^J=#bn`Gd zK0!fVpp&t&R3QDS%jme4LXN60mr`CZvUvWUZ!_$*zc@FpY^!!@7lr1|;f8C7Ul7z30p;|HQi zPcn5PfUM6+Nut0!KD&Rrb{sk_MAttMK@ZoDjHuyWmw>$72yXk(z#s$SN-R1s4+QQ< zB!+8dW=2dy!-6*NA>=bQ2hrSxOHMZVe}>d8hI<`6^!Bfw9#0}M2wiGcE5ok~jR)o0 zW4NTIXJ#&3|A02HiNt*1hkbwlmWMBW`9+#|%;g{(dgLnl|ImL?pCLxjv$4s}Tk)fV zod$orA+tXPzVU<9_e29|`$}tT>u0cDupK4U3Y%y9$4i3+5$c)VCC;1kKkM7tq`;%) ztrq*9Wogu?<6dvf*KKQ@OLS%ZK%@oS{<*MF9-b0R{^5%kp@m1#FjpBQgGj`1lYhQN zudX+)Php#)IkbO2C}dvc;NX}9SLJdZ^8JbjL*!~lp`5KSJv}Yx`SZ|uxYGV5WWdKT zM`(3S(B`1TWat(YEyI1vXK8bV%GuE(uGMx^fjowl$1o-Skj4Dm+%Ukua#MTg^)<9K zLQF@;c8`-2WHNib(lsrnWcTzNW8(k-H#4Udeh z2b=i3TU8~ z_Vy1M85zH)r+{VMD=GvqNuW*(B}Wq+?G=-A{{ph6)WlO2%BM;2Rnj zdeWhA)8>Cn$EpJZ0tlqzc!@_xM{nP~8}`RXK^MNC*Ks>*v$w=d10yaDA!a}nr=zc*lA1alx~dXP zEA&QR-y8DRb$WWSTunUUURBV2bUpoK44tPK4g$3-61VZ z!63epAtNXEsjNhdKMu7@F6_h$Htz*$p$%-g`>%~H@rOUm{P*l_em$-YB5B`Yw1P0_$rb2cq?SOw6E;>5V*Vl)#6`6*UJIG{RZ*LJd+ZD`w zymrQJb$S2aI+Ggo{$_&ET@$0#(JJ$u6*U7VKnUE67n{&$06`i6x6BTKCqTJzFkl~; z+b1_S*Va(9MnD6N-Rt1!^R=>K^7BJ~B3jxYXy%FC^(l<*piIPoHOoK3r%o213l?7C-ScZIkPtTPx*ApR!?Iqviqk|M^4OUjx`JsOjHsGwv zs;Zwgt|yYk$J9a&_qDXN*g*~#^1x^6!H~th2FFsj;C2gX zQS3&2%*@J#xT1S|EAU;P&Bm(H-vR|wf%pY}umQpmHkb|#J3Ax^0&;c?bn@zB8LHti;D}1iwn?gi@eUobrmgSr&WBg zSsA{7kB<-E_PDDE+AuUU6s>z+qULo23PZ2D0l$~puF`_l`9tYus-Q{{;TM)y`dl*rtt00(_l*wzwAwMs+!4~ zC@3hNI69$akXjJ2(8NT-G&!cD^Z!SC*Zog*|Nf6;WP}hALdkztmDB{36bW@Z9NBszn$ zXHoO!nwRl}g@u2$4lV$cX({GrWMqKZAh)&}ltolP_zN%2=RFnh0u|&gkPgP1fss+5 zTl|G>b8_kRF}=9vDX_A~R|aRpr*nLt@qhLNNxtt=`OdZ9%bI|KnWx8+laui`YEx95 zoc2LJqG7Qw51*2SE5N%3Az5}+*>}l_;!S?y`Pyqb3T%J!AV~h7kU^|`e31}v83hHb zk7QjmAfvbPE0DR&Z%~;&D`{vmV+h#b>5JQL5CR~sKn3w>XlP);Oj=qRA}9bj0}HN25Fg@n<1oPlYI+3>^;W9B$mh$ zzuc6^t6WXQ;|w0Wt*aB1mVVy4AYq*Q*i#| zquzgWyW1UPo%=@1+%K|K7cHkpF~TO=cDT zez~T_48TL6|2uyZP%Tk(?&CaIUS6Kj`u=~snL(0(w)|DN!{z1W59GZL?BwHfn;B5S z<%7{TBl$DiCa_5i$dP9})+~{zOyoaUwy^E??c2${c?r#9Pxw_R27~j>${RYJ-OtQq zK}=2^yttQ5kq8#_76b|EPuw~Vo;K=dAgJO0ECdaF|9+c>aeHM=4fTGrl6Er<8zzmYo!MT3yVw*j0S?naW=k zh=|{9O9?tUI@nY}N&}UJ>&3o*|DOC)bUtOmeMp+krGs!~))V;@KjN5-K3QI~fvhcL1$b=fjVC5al zVVT({4M`ASe!rLMz%WQTbxAt)6ipOriaJOL3sc_{Ii(6V92fe7cL52$`l?UOHkF-i z?Id{DlttFvkvuYB2icPsC6jq523r6$8&i}8z=WbN9-N$vKt%u{LwtV{?`vwxgH?lq z0!b!*1#V#Ckg_tx+-J`$ZEWhVkE^SzpNSgD2=Ix1>sAd<&n5Ot zVb0)p!8c&>5{!yE1S<%YAdtbRB}7C-nr*vHBtM3c$6d73^eY=1nL zZUF?qDS}O3HQZD-Bu5vgO#`>?^N)un7H}V0`V-)kLFd3%V^hgvf&WlyI!wsOPu z?3N&o>8}gp9~Ve#zb5kyD#D0slb66w`NtK1r`iP+4icl|Ku&);!+4q+38UV=?XhKL z0F{y6qokxrxKn6O@NNReQm&P9Cdj%(ErZy4FZ+WfJUUtvZh_;)GsPwAuGhB<3H`Fo zv7=x7AU{3u$fZ0GGV$@LN5)eNW-p!nE_0QH_fBHZ3+yC6uwFgZ@V^$>*w}C%wqu=} zpJ(IcjR3QO{XT#E31FddzWG|Ci$LPB>mu;)8w-oBEJg^R46@Air4ZtHNHZ~Y= zHXWF_rKJU^&Gq{AATV1)!^2XxA9kYN#G(~=l++FfDa-23xffm;xcEcd<(@0t1Q9i} zun?S*aw&hZpZZUn2*QuL3a#nTQUSOu{OIGw-~@^W4-^a>GYq_sCJ6OYrg?=JU*R*_IKCr-J8Ki5icLwNuXzBRD%ax2p5p3;JuA;`@YK0 zudbsyTLpAOm0RH4Cx<-|Fi6#%mx#>P*47}qzIT5WQe(pllr?E-s@LRI;`~_ia6_Dg zz9`3yjkRT5vL(vFP~_0T5W#g&1B_RJQ@8ZU*w`?xO3-DSyVMTcp9XaqN3yMBMY(7sIsYj!VP`Ze6#X4&`Wq>sA6g-iOc z-oXAKKp?24jVBUfVPt;ywO<~(35T};aH@jzoB5WLKh)>dA9C*=yPW%Y0GJb%tTxNR z>Jakn+rfc>D#cY_K<{#Jat?x%Q+agcDuM9Arb#tL$qzX+GjlgqEWkM1bro1f){lRI zJLXsPscdd$0X=-zr%Cz8^b!awDgwL&q#4+M&N>_ELxAv zXNO$X)($U94qut<%x7_QbW}faqUzl{dPuXtoE*o<61Euc)cbL9gJ7W_DEY}@zX&<} z{rib9#>q){xsj2P0f-@bCMH~#hogTPz@s%?T|Zyt?E;jtweKz2k8kpv>H%wwYi7=s z-#qqfX(|F}1@!^YB32~{m0*dkk2Y3;ig^uNhK3Tl`rh!w6wmQ*d&z?P{#0@2Y zoCW@ae+-8pXu-^-?5L+^(xlt@4td-=%}_jN^)F+ih|cP2RRBuEUynvXLcw#T z3UH75W!a&)el+^m%uGQz3zJcw{Q8rxhMiGMRl+sV4A)avJ#w!;pq6G{0L>2Xwdj6+ zrI=y<=g%8hyWUuvCOUsAG=p=--OH;$9`eb1=AL00fNvH*X9gj*YT>%p-dUX1(W!|Q zJBzJDIM9QH1S>!@BmON|T?W4o>hH|NEAW&<;BEACI^H!k;he<4=%}&%YutTjEQJ`F zm9-aWC^9A{hUX0fZUBzb)ut&S4O|9rXV)9=>(7)`IzywQSs;H1>CDV}m9O%tFO0$C zsSW3paNvASq?latTRhK__UZEZb0YHcyjZ;fop*lNJ3KrbJ6yUCr76af(z3E7I11V_ z&EiHmU9Y7`GD5mzGa?k)6D*)`8rbn`83=Mv&D_&Fdn0Weea4*g_?3<--d69iS%QweMfb zcp;-zEG-4G>@!$RqpqPLBqE|=x?UT`UTE9Qj|0P^`}Wm>w7>mdYCr&|xCM#*YF%Aj zSIJf0lB>NUoDa#6Vdu_0aCg)+H|MXesc{>qq_S7UIWm9G?_E?$dL|j23FPsV+f-IvQ?)+8`BRmCB3v(Z^-WW$+wjM{ zi}E{2E{vZ^l=s^D zk0MA2_`iR~#zu=PS3*)#cL4*Tq@S6aQ+03*oyDql2!k||4x(x5OSl952*z=gI8wWyLT_x09?w7 z?m3EIkwIQwKJlnqdi*p8+nt;5=VE*zk0THGJaK;o0<5jC$L0W9DoW5{_nK& z2foFl0Iutc$3KwYBx1R(ygS z4A&0k^5T>a@KCr$B#+87W9y~_8Eo5#pBn!Doe5+VHm-mRmzI{abaiVXI|w*k@z8Kr zIyiqWt&=CKAc#`+MOi_+-Mzc*oT;f5ND5p;n3$Br#?6fzyr%!Rl7lEGuCqP3y0(U% z94!|h<&Cw)PPh5dQy0o_o`3pxVoXc`C?MQ1((YrbN^x;g7uzr&tLk>lX-u?X;CHo(;%Ea9UVziZ)2&~Wf&e?YctSh z-7OkM$!jB8xB29aeLh!K62LuRF=c%*pJ)lRjup@k$%>5NA~tW{j0=ts4I{Sie_BS9 zsfq=K(NS72FE3o%%Mh{&BqX6BpQpIEIPSo>?@V<$pl;>IQ*~>lzps7;u~j_Xf1< zdo6?D5~+c^Rt$ekQ+wCYfW9d6_pvatR(+temDR1_;LSx>dzT8^WF0>-;SLN0Y{G&{ ziDv%Fph}OL3^cqNK)Z#D%SM;t@9=*dx!z(&640|nEt##ue8QbSW{g!OAY&DH_9&-_ zL?WbHI=l$vL_OYfU`Y6h)%2IL8-N_xR{?9w#3yISFww&;eVHCvdAOb#6qBCqp1_r2cJNBZ&Y8-s~S=h%|? za)mIEagL$*!el24iA6xe)m73s@4`x#+52R52u>WDZA?7I9v>eMBqe{t&^FPQ)#-E5 zh{oP%S$;bwCzeuuq5;;8d>6|>4N`vZ6HrJrSD_dvx`mX{DX#wgd*(~|ojYeJzYhwO zlZr)N(r#m0YkPO(V^dR;)b&wav=vG6UiEuZZr%c6s1Wx%ow%{)wa=`C3HbaiWK&C# z{n>x|@9f|&0+v9idvt%|722d&*;+20jt|T;6t{GC-s zDZ3RHhx=Ek(&KOl1_?Z1OBWXuj}IO`?D+Q0M@T3=>qPv7wS@(Not=Fmd5(&j7WcSC zv(?(xmeyjIIbTz33Emrm1}8MYSbzHTsi3e>rSG)|oD3Db&GUbvuu!_KYJA|<*q0fH z4jl>t{S>Rc2kbSaTEg_%QrM9f&GZp$K z*@mtB9-z?AZdnM|5aV3Fe7!l5Oitc&o=#4mznas;?$M)1lOaFvZT2zhXJ=zmbbQXT zK$41uG>l3^US3}C zbf3%pc&nNahf$(dG z7CSF#LehWEv}g)oF$Jfq@Llj)K_w-Aj0O;ys%mO(|1tScT3U)0ln`_G?yZ;@*6i-G zvNFY;e0(^(fV=2HMB!+q!P&ES?%W9kiLKp>A5GK!!j>9$n2!AV_kEqUx?VZ8X4XWdX;1REzO_Jl<_!X0XMiYjxI1HpeTb)%-HWePBTreSKD z&~B!1=n(tL%1Z0=P1MvVb}*B0NNs3n$aQ8w1##K$*FqIw+e{6MGH!W)0vrfVIvl@L z<|BUtTn2%I+XAK9HYazL`^o=Wm=LC!uj$2hCH7yNWczFDBYD$09A@9|O|h8jDYk3P z+>)N24l*?WLU0f}-l-}OP)y1j%#d;wlnMnz0E*2npfYXB zHUZ+Q)aSlFw~5w0*mpSYed-#hS)Tp#prU_*K$wF09T*-Cn(BSoc|&2#mMwqQk81h; z#5o@zC`dM*BTk~l+%yelF+IJ#HTCth@Y?$h;a(t78A8$}Xqvog3|ISc+&k5Ori#wh-5s~NgB;kOTmA|x_z6eF-d-zrNcVkffu|j{w#`5J{^o9pPc(~U>kG)l`Hsp zH!}lOI6;J?zTifbK;xZtB-bvHGqhQ`I5=>~|MZ*hbUJ*# z-rkC{*OEiu#<}|IgL8iX6cd5pCo>;CS)#E}grj*UPoBh4*@id?-0Zs8v2$o z17)HT_VI9t^}p5%@0)KKdWwRo{mB_*Nf48R6BA)LoF!qLi=_hvMa99fF_O;x1C}78 zSyfYuia6vwzkif?w2Fw)oUAxAJBtjEos!4x15)vv9DE6NL)SeuU zPfr)ZeXsyJ;r0OH;yAz;pUM5A91Mr;J`&Jhf`rAjHDa{PX?a5zaEbh?wAZ2tB6y?ggUa&mIuehn@66S;o; z_<`d}Adii4f+|UGFOFCNh17v|RCjQA3dayT`_jqfj-Yr(Ei zh`>@3I8zJP-0!!Xgcj+SyLx!g5W2d%RdPCpmZo|Qh#?RQCi3x@{8wneo73QA2{i$A_*OnS0s+`6 z2og3Of)Dp82$)knZImRRFB+Gan0Uc{Jv>DM+q!@6-@gYq4PsS&da$zUFCFvfQ3Rkew!R1hLqnScYpr#7l`rUK z`>*{fC@Ik}G~__M0#i#`y9gs_YZCpy5JHx&S5 zO}~Gh!_T#VXN@KFy?Tkq!D>4>Ik`@L+J96|PDo0MEh;K1?$gElR9afrJ$goGEI$y9ay_!Q*5I6{a!k8`SNabI?F#U;-okr zBMADLt0Knain}vT5YT-qlOzzG^_B z0+;@B?Rlkho+~QAnsKAiQBj{B+4L0IgFvkZlQBD)U!mO;P1X{aR@>{taP9ha5cz+3 zT%j~HGysz7Npc>9)%@MApurbM{R%d_or;T%O$GP{Jod4MEA#QqlM#EglZ}n)^y$;> z&&;?WlQp!o=wG`}%)Pr>TvQahRGrhCM>3L)Pxx@D!%QCnfV`})(8X!1JA7h8SOmDSRJz8&8SmXQiODR-E#cSpV) z@DJc;au*U3+JQ|rw)X_;Br;ixmV5kPZ~50-{`Hps?_1Vc(jMC^%0#VF6W|NKlPC1l z^HeQv{Ts6}c@`Q3Z3Rd^lS`91f6zP?2pgnYX)7VoHfq==t(uTYuFPs;BgbirrhWIF z18G?k=+-yL#P{&?o$v3#$y1h+2T(beVo04Mn-UPQOt@GKX`%1hK0OHz2GJ_lkOc>X z3_^0nG8oc{jG0C+8r-&>7HM}|#OXL*i}Y>p$G{5zGX5@QcEMsT6%8EE1go}BQ53P9BDCVZ}# zT76x27lR!iId!W@7Al7Fz%Y@*Gc5TT(`@}|EA-9u+a+WX#3uV#a6JW;(O@iog5sLo zDVdQ>CXhbI+vR-z1aYC^zkLnXNS2H`f0y@IXi$Qs?{W^A!jBl>pK~Lu2BAX*4}TmU z&jp*OI8VV=9lxlUuf?YtzgP;?D?QV4hG7=48N*(`K7~XU8V8gTWLYdg znf0E@^g6cDuzrhlyEvI%&)GYfc7J{I?K*Fil%T2%XB`Br~ z1(B)3>=AE4RSUnrM>RM=x06kKS(Zf3f0#xoE`d+?$* zDGy)Z2&~0K0ZSV!Shh^@8eQVWra}1+$eiJ0P`5Qoz*%bQRA?I54cd;P16Ml^+JvWK z8ua>yc!@qXY@g+r#qS?-@w_{*sto&5HPp0Bg%8`VT%qKp(%hC$M$>~)(je^SroRFj zSk(jm2T)4`1QY-O00;m803iT9zil6$1^@txGm}x1AAdP6cx`O$TkCJzHW2^bzk*Y- zAVHPLdRUecTg4hTXn=MO;p{oi-g!wXQnY`TfwAaClcKy~CgOw(sb!C5T^i~icRQNb(A1MkH1Hhq8I!S*_he6;@R(+nSymHFYc_ObIjUth za?^^&^~4Ai1iSVs?GqLhGf>2&;Gq^|_p6M3iGL-DKTimI%kUrs|7pR5grikXWq6lP z2~$3gwZP21VI+3@%Uf}{TDJEC>zrrJ-uAgkfg1hPRG)VeB0yUV6t;SSczM@BqWlQX&NPz z`+w+K=B(1Deh(*@jY~BO!hn7sjmw->8ha68Wx8Z|!GUy<2pEOqDs6XpbA4e<^n?&6 zd757mDSSj0C>! zXb{E8BOiejceIG!z#Btg-{`mJsDotK1-3UJXVha!&M4;0H!q@)%WdFcwt zgi%1QaJc;?_0gTdSqu?_lqMID(NU427jG7WmH8WWI>^$|^5aXA&v-A zPX-)alR<8F`uisq`^t!Y!!VYFPO%K}KyWUXB?M=?tv=n)L30tY3^c z6y!1!g+hK!#P*oT3m7fD6l96hC5&`t;0{U~dlNYgiyF^$RJ`3)s=%)6n20-X$VS-{ zJ8dHwrF_U#yqzcmAk#$_!Xt=Z4S%JTl8h(>(pwnQ8B}Blp36&!9tO+|hiNQ*qA?wW z87&vAGD7faBm*T4;yb-rP(Oi068xRjB#@msw`F^->Fqg=X}f;QH(mQ%+en#nn~f!- zv&1p-%=xauZ|0TXs;K;y10~;v5VTsV_Is7J-z~3_3!Ilcs^Q_;!9x&0Ed+Whg~^kfcZiTu)~I{Wmn>cU*krN8*6c+QR7C9 z8#QkHH@M+BzGpgK^C@xTl!Qsb;SfrTz-q}Zd+7yb>*dXF2McnFC(i219HOkF0pReN z>}aM|u~3%)j+G;hQ;j&S8h=in9h}UgE$DPssmCmu$v!l@XIcPBwi$E=P=p9(tBj{? z^nu8U7WC;f3P~(CAkS*P)EM+g3|e(*jYdB%8ZDN;8VZao^C{7&Kbz+8lQdJPX+8#O zOiOJCsXY<3I_6aE2$^2VvPTUyKRMJSU;?G~pI5Io)P4xby4XLm*nfi$>+1evRd=YN zkO7%{v%ZA`GPisLwO-o%rmsbXmgz#7^;_1H&QVmFKzYQsIX0*cl=RG(w^|j;Tc!__ z3{Sy;+7~y?N(}HzmM{`qK2Ral2PrT4iu_GVK?gHQV#sueQ26Fdjs&ROhlKuhE0hPS zO>qb_?ondc)>t0YaDVgc;0C5GFwZ!nQ=$dC<|_Rij*nE5e2m5dkH}{%SQ1Jb*Tm*o zQe)I3F>3C~8mWE`q>AMNsvZk)E!(s#*Ylrr+H+0iaFU}Nl$7WKOdgXQ+}x_Y8@1OD z0dITi%vbfEzgOeUv%{N1K_MI|)`FRZ)Heq@n+Ot5c-dja&3_APeJp1J@}kF7c8`hZ zT@i5!Rq76Z`2;G7^BSKXJBLc#ScB7#4^G1n$MMo2c8~ifOC8@0M3&z)eb;+R9O}U< z6whJ<5UB;(nIQcl9C;ORqM3m zEHTsq&wUBQvwvSgKH-$9)t@hxt)t?^P?e71WbW0wnyfiz5#(Yp+4EjfR#asaMQxI6 zm&u(Q*-*#2&)2JNtykSPa=%qMuw(%=b)db@fvIA*sQ7-WN)Df=s#+VzYF7nW*(^Ra zrm2jv9%M|(X~@(VtNOj2hpQ^t&P-J`H@Lo#7Y-X^0G+XOkSZC@^17gD@1u z-}fm<-=T$#O&i7%HG6W2(HV_zwY}Sjv?XobpKotrfT)X)J?Gcc!{w87wv$D}xZ!;N z7{9LWpPEk%3sujG1IkB1(2R&V*lKgir4~?Tcqr9KTYz!{UKW9WhMwzp&dd1rZoNc# zLXspTlaS2TWJc4JlT5cQFyoM1uj7=Gl&0~ZY!}cKF|aS{{mWw#CC%%-(h}{0=8ryj z^4=hwG&&FU$13KdFSDq(4g(6T8BC`O1ONcJ3zNXQAAiMG+iu%95Pi>A7=EWkQlum< z92H2Db^~jH^N)BXA#MX_urP8%$?T|d|+IULTMIdjP6yN7Z;yN9+b z>gssT7IZ#?%GR!^Zja|*uRoA%{w_aScI(jG+_t(|?HaTBtkL#P-@@0n=#J;B5Sl-t zsIx05^?#z&VfC$U@4AJp%c%4;dh}A3(Iux`n4967a?bFh=K0ZV_IS*qEOA2%i}!UE z;33Sy_XdvVhnD8EzAxPI+-IJ~K9Pj-I3dFGm}EF6i8VT*nE)xq1MrC3b#3(eR0n;? z@yBU(wlhnqj!fpKkE|mrf$PW2sbBv2z7PQ zLf3&?M$`Ic!w^G$S=Zsb8n!H>$B8l2XdCOl4IT{R+;L(ZI3lP@i1s2Qo@ytvgqu|R zSAzd^cKQLp8LaP*!v4~SUl6xsv85U`vEXAOQfi4YEz%w4Zc`+h1CYJNv3f zxwzKd-MQ;>wv6^CMk5Da_v>(W4^=pUmA*$`hk)8Mn3O?KW_V%=rKp?2NKOpZo@CCY z&TDOjQ}gKQBydF-*$4*@*e*{LQqnsMf~1;x6dphdC5n;Epo(&3P?XuW6h(LSy??T+ zwyui5!R4Xt5&dVA8{0-#u>MIX7n99&LkN+?5(V4}6mWqoAv#L{DXk>ZLkVR0ly0<> z@6%L^MIX>VbmlO>IR}LI;Np}p=@C}uFmDqp!llb-k_nUS=57Dm8!nn0!$Y$!Y!Py= z*BxRxjW-6>KF#7* z+q>=wh3$CXZph}ma`2F2zT3e|qpJq&YgrF#&$1by1ccA!3oOvn-+iyq#_hBDE)+vB z!_U!k^PTYVq8L~`HBYqZo-2*wZ1m;v6&xL6CqBZX?JGS02T)4`1QY-O00;m803iTc zagu540{{R@4U^lwA%DeJ+iu%95Pk1g7~0p;;!PB}a9p5G8Z5Be7D@YT3~#m&$ucB* zoAm3Kk}cZ}V%KTA$crFqhBJpVXJ)9$oBOI9{p*^xsFxQB8RKN+mZrAFa(y6*l%i!+AC_Jp(Me?*T8Liiay+{lV$|7Y!As{)|!V4!<);o!A=4Gv+ zyo3Nxo4(%32Y>6tD8;eUNMNQB$J!$8yg~$L;B(9~tJT(ev~T0i4^X-3s&2xy3$wTD z5bEWp#)G9*DNlmm0xFh?2F zN0EowyMMYUKf7w>ni%=!B!kXle-kyY8(1xl9H0{o*fo~afxt)_(_xnsDXL_|o>@+n zm$7p9*v+CSZR3_t8~#vRw<9HGN@=W-HL*j+068RGP7zSRS(cehGP<)HEw7rQZi?_Q z<#>|r7JGS&jccEFdlN-{I`--v)Vi#j=^x(njDNu--7F6k7SO&eYjf95L$i)i->(m~ zI=@pqrjxXPI~0W?lx})SVmA7>J=k9Nz|INPK9NPWDhpEt6gg1DscH@rydlkYB$lpn z%VAJ$KaMvOcU;Brm*cBtbn!5xfg0->)ed>iR4gj1k@5evH0 z08^03On!I7bU5RV*6G0OeZ_5%IuGkIJc9f4P@TY;Ch^)J@~%^35?frnlOW-_BsPa! zgBzem5)EbCUs=+puO+?gl<(gSZ;Q@#G=D30CHcFkxQp?sZlnErImNHLhA^xKaa(+I zo#=Hh?pHfeAD{1&^Q(<2eN2qU6h5ntyW)C&R?g!0VJAHqx$^?_{5nt1?{dCS2X<(P)h>@6aWAK2mk;8A+yiG zxF!l(pvt)|0ssKN3X_rNCx2E^Z`v>re($e9)*d?n?Ivx!4FVk+3`E$&v`&$6uED~w zBm3M@q5k(?0;5HXSU`fReu(1pcXz(;?rg6vYBbo5<=I>cuKF6m-f;n}wJMg1-JT!nQw+Y}t>P2nHrLF~%E0a`= zrMmJatWW0(%K^t|P9Le0NEnUQC}RA!9{QPka0uxh3>PTxNo;g3j^+Aq4q|az?|Ciq zc}0fy!PlHLudm+(DStDMNHk;?oQu#zgw7&|Jb{yt(tH!77>}99h|U?|RZ%e~A>-;u zGPbkd&-!d^p<~jly9D8L$AL+ycQ@94Xb1Sh8=DYGeVrMLRgTB+Jk70yMAb+LpGk;I z!)+2@5;b!KUDFY$Ux4;!q~^2&h6u079lkgR|CENiup~skSm=akh)7Y|TaK zPWNuNH!#UMRxs8=>!AcO;FbdMN5W5WT$59yHIevX!9&N6(T4Ix} zw^>Nf83dE(l|rbMnr;?<|el{2uhz2AFQN8tWU+V#cyHrrpZ!_S)6p)`9E^I(<=Zo6!v=OLLc0zlo=22N^B>k6;W^+G zC2%FVcKH^6HOG6GbkpJo&~1y7Q)8R}0bCd`T+F;yj@+J1>#XGt<&L>@rIc<$5dAI* z;{F(dz~n*+=&qh-jCrDTU@YYeB@RqPB&8mgQa~9{STCgGF$$%D5(1frzc+Ab!xkV8 zguq>oaI8?2Xa%z+Nw}i~SClbAT}hXbY(h9n-X-HaRO#UJmoiRrDhVYDrnLDq_VtWo zkYx#kARLAo$TSQ_HK`pYU6=A>qD&f1W%%7fI`gn)N5Du_!x%?Z`wEj4b#7I20I1x-T9 zbK#{>drZLFA56&{S3`k>0hLQIL$_cYd!LNk;=6(tMUC^g_rIHVK|yg8Oq^kYjT0p- zB5!!@TWb!>wma=idYg$CQ04EEBjp9*FB}I63^00r^IrY&sU{@6U0iuklSdT)_*7yM zB^Hzz!r^E=xFH5%fgVyAGQ5FW2pm@hg9@rrQ1Z;E+_!>Pu~A303_Df0X>B*(L~iPSsVnx|Hs%+V z#!XK@o0`C?*7)3;L|=Zx8U-Zb>)tT$95-guc%Y6FgeUZwGxk+5lBN%d$@>6>`v5(kmn z*e!@r>dthSiA*Tgpn2r55On6=ijDhJOW(XQbxjuRG=GE2Ego7g7WT+$a|%*QQwt^5 zVj*TX(Ojs{T_2p6I#n*#c_njKJd=B}My^Mdwhy$W>>=jU3nw#Bm>-FBK$K${oH|tR zA`7prJ)4p$M}>D3D^qU!U2Q&))~dG6_UmwEQacry14ZLs377GAzQt;^=HNJ2Axb@24&%BZM=3P z$w#hp*|{!b(SDO6v8d zX>=FhrdkHF>d~fip7@o(Oc@FjszID`8|=iB1h_Ps0H(?w-dgkCv=|Ji2(aI|52~x00Q=W|P=8Qc;|vu%B*=awZYx8q|HbTo z9<-^+@XMdTZ#S&KfZ76h&SK%2Iz(Lua%Sye@y~{xK7knspGM>6ifItE;v=S)zX1KL z18(m1{HZI)dN9&r{f-5sX|Ql;12~}}!3(Yek!BlQa}~I>TNySxy8eGuz5CBYGW zpi%3Ho6Ex?$nGQesD7Z)2Eu8BV5`m3x2Q)f-oQ9*hAoy&fb`U{7V5r{{Z$= B0;K=| delta 38433 zcmV)SK(fE8+XKS+0~k+IuuDXg-`tTBF?)?GnwJuov;dDu!Z@FPLd|MZGAk0ZrFy5~gIHti3Cz5XOHXm?*b|Nu(WMP1 z#R-p`k*ym|dBx(1i16_6`O(4YW&~PV+T)Rzqta4Rm=XbOw12cl2yY$JM4CKxqOWMtt$VANk*p{O?EppC9QxWAk6H_j~YF%oKQ~ zsE92nC}?7Cu75zgP$|!VuU4A$x7G@uf+D)Om@zv$d%9VJmR3Eaf7@B8!tL35<~i>E zmBp3PCGTlx1b_bB)|I(3U-98e81;CSvCQr5?cv#3>!LIsZX=VbB)i$W%cOSB{#VM) z1-rTgl82;lNk>PnmoHzsdwMdBN_SN{pChIRGYZ zIiMwp>|6m4-KX$M0ZvQXEv2PJCK-m^ZCPtnKj$DoF@Lk)V^QlQK=I|JO6XX=%-Z&L z#E_Ya%p`3A2*gVUE-tQAK_><<^6BOm>eArOPMd>yeh>GTS67ByX$1eI--75UM}J|} zPJWCksV}Q~0El=&s*uYL z!O7+j-GB4v-L0%_Y%v}uoAF6W-SKoXm;3cg2pUyJC~0YFA=%~!i>*>JGR=NU3JRuY zJChIJbediFX@!K+zkT~QAas5!G4lI&(<;~7S73_bjhJ|OlRCq2YTOR=F6y#`-S8+W zKQGuazI+)mQLKb)|8Mk}qmvVcsFJlcOGHEje1EB?rbf_ly-%EJdV8W+R$iW7Ozb{# zgic!S0?dA76&bH(C75S;!y0z`M`1SICg=DpzYF-n-dufbW+p{oP>{uRIVH1tc^4QS zF>%a*3X25$ciUq2a;KjE-tphsC{Yp_>!l} zw11rjSnCNi(+cg;Pcu4j+9P4srI;crQdY@;upE`L+dDYUYZBb~?MSCh-`@xnt)M8rz0_N|q{%EV08_4sHxMz|aY4Xx1W_{8xN9`W7`d_y*EUPbDO#7? zKhESIy`}BF*9qQu%J~gc0W=SI`1lrozKs#0c!I$%v~I1ftzDhZ*&#l`#9S|}Xn*_F z*%=fajd`)IW;&3J(!R8mGe560oGG{_)}~ze?h2ljBjgg<)g`q#l!59W7KZBDoVC1c zz(O>T1ha2s0Z|JWnUz5(_h*eN-MmGL!=gvZ_or)j)T!Nz4bYVMGkcd9Fde`iFyxO+ zf}mkPIl6@Sm&kFSz~Fw?XGy4e|9{aa@h6`}U;WIxi+I0tW$EaD$=bFn&~r^p)JUjY zh{q=<_k?1Rlkj|cil9;?@4)`#Y+B33z<}oH=t%Y3`+(r!VDFKun;U#Qyk9{$V&N0p zCLpghScnGATqc^53I6eyN=nEqE9xj5FRfUHqH07l|1tKz@JDVxX@8|tdw=T|plU$F zLH;eE^y*#*mgVFapkn^8fXsrl8sO)|HfoOSw|cGoj22~m=$l%Ja$yvl-|O7k?Q;W& z)}L=5*1q0&d3YGs%xYAdpfxr&US3}(q^E2BYg0()fkv@9nkPxm$cRryw&Pn4l5y{E zZ4^{$+1ZLi>AdVGgzrAQ&wpL|!L*FN>Cs?0Ry%B4@!4umlHmQ;UR}CBaV53-;r-2? zs}ju?S2=0SE;}1ZA9+~lhTYoatK3{(PU}9xPM zKfePnYzbMT@sx(mTHH=Y;ilByC*ouNtn=`@x==G1E`$-_=0`?E7=n_84_my^QWkvvJb#4SeE5BnvjtH8%31WA z!+7RG30RtL!v^L%WM+rY&qlgGGLNWe>}G1sO5Jnn>+3K2T<9vRsL0C7KI7#*3(Wds ztBNCX=r254JFYdRoGZ8Tqupw{`6(?wF*`dumDe7pva<5AXmr=e$jIG$tkzEu21drW z#MR7N0~sf^m4D_^Qc?m^?e!v?fD&}Rx16in+a*{Z3+L2F>eGez@fdrBLH?HyH0thU%);$;nCQ(tpyDXnaUT#laa{LU`ZDJTgyC z<5St^<+UyS%sdex;Urm>|83QJ@c$p1d}*1kvC?4E;q@lLU_22_%#cQ=l8t- zeBAQibVOS~WZ%$_%8~Y{$-f&1C87Vh$@e^c^F~Dtzhlpo*HY`(-_+3qt*4s_dU7RT z!`1s77k{z4y6Cv^yL1J?NUh(#_5bH7Ko<7=Ayt$ru)p@cH7EGjJ-CzN<#<@^afym z4BY$;Cgndx#@qPSbY>qnqyoaR*J5V)sz*T#rpv?C1~mjj9w55qUks5&8IU)nI_|r^ zihtL4qWRG`Q_01?p62+ZMkG(B_>z`(I^r3!k2!^R1GVG5?A-P9cl`k)IKSGY{%PZj z5bV&>I#QCbjru7C;+zNEwTwL#)FhRvNFUhNPfjHDqVRIvBvdG|1VcP!5AmCP99+9E zY0$lsI%GCz#;rZlkiJS?;c%4hStoh1B!4Yc@Q;*fv}W({D8R`O?kpsDa^qUpdi01j zozG}yB3`vzhm@VYf>{XGxdJt4g$%#V2R-=f5ZBlbWxF*RqBcO->oWNqv}Hf(6dkVl ziDA`XH%&e4YoNWB(^kMY8Jxe;MKLkDC7e5;k_tFFtc$t%R)ly^0cy|)cPtMLZ5^=rw$K0aZVP!4s@qnieV4fVXzFv)qXmF z8>{vLmrL7G)K1oCDJLP=Z!z?H0`V%v{t56&FFdqMHL(+TN|S(u-A5GoE^ zwN+&JTi;L%M{##OG1KB=d(SPQYwwGz=hQHd6SK#dB<-NluH=T;oNO3|MLBPNP^GeFHbL-VG}JuCplu@-^axs zO}kV#KP@IST0MCI%pbrWvTf$-#_}Xlu_=YRjyDDX&fsE^^U(_nXGlj8#RCZ28qVtf z{d;wQ9kyQH3^xJ*Fz>OIg-ODJV2^Sb#opHUr$j~2ei;FfB9sQXAAj=SboKVu*sr_> zfBwxka$8N87lLbnr1ibtX8ilpq7(4g+qZ9Nz~p3$dW{#z;(Pn}AYNW=<;>Pv5nn90 zQ4=z&(K9fFc1IBd^l;QXCkd8cXdW`7Qntxx?yEl)`Z*R8MOB8KkKaU-1k~5_udJ+`?#~f} zKK1U)i&vjMy%wh8PBJ741e~Pc51)dSM|0F-;@i{ zOVukjL9CVm|1$sv@b6D#Y>ssk%A%*IKU{jaPoeg`4AA$z3MrIJIo>YLalF~D=Qe0Z zNJvQdH&@RND8vY4s`}|-WO!d8r#zPEMGNQFENO}RT=@^io1_;XzCN<}0DD?rNXU?g zme?NaG9>;5;xDIq-gDsouFA+-2>)Q&Q}Hxe}%c5+PqE zwn!;Q456U7_~fXU8o++9+mcUjI4<2KU~WOr(-$D8zc777_w)0!{PXRVnHdAoK;!nF zh=>SB#*p<)Wk6rwTX@TfVlu0CPa3!R6Ew6ukX0bf9)BnHcl`>%!1z*YyU^skJ&xiJ z(#(Fz=K}HYY+64N;3s2__iJx&ktN?7Rxs%Wfc(BNtH-=lDIypX25rdCG*#l_Lgb>x zZTomn(04Cg_hvM&)BU4Ov{DN3(P8E4wqf3@?Z6vKrI1v44(hpAx5?e`eX*6ZZ=)Bi zgS_y~KYzn6sSb{AFL<8x6?mNR{m^YrMy2+Svz+{XG%S2z|8RE!a;T%yuroX+hJl+q zQLojL)ATn1`2TKQw}qsGCQ4yflc^t?m}ERp{6jE^$D3TNtog{%(9jTm=)q^TDDd!*hL@MHy;bSmyU6AeN`DCqw*K zF}S$#rJWoBdRIE-%PLJGvl`)%kzciHE!FS-=J*IwKiuduF#dcDiWGqz2MGi1^wQ)| z9#!QS4S{LuyG&`GT@~-LEk_0?;&Y>miBey#*6$xtTK-K}P_t_N%mp;u)zx(f^z1{e z<$uQ}w}W9|foEI2_^G`Q5uqnI?q>uZ2&p_K07QHvNnOuyy)Pb#p3mgHMG6@RBwQv>ltj-6c&(<^0e`Nu=rqKEAs($KDkY?*zMZW$t+@8Xz>UvH z>bHm^+{CXjI8~btWYN^rysfh3Y%DFVa@c1Y+$^2`Xt3DgA;P~+X(`H&!Tx~Y?d|=K z04^Jbj&gCg8E%!AdRi8Bh=bXczqzn3G<54t_WGTKH1*8&Qm^|}#IW=36zftIz<-rySQ;55xqDB!oKP(gdsnk=w^3!>qwyHiraWaA?};$IRww^=pqES zSUETt=?l&NgMNEsym3HUq@t6HWq*s|cn65I#J<;u-aUltygS8SpnSLh-t2Z@cIcG< z?X=INrA6fE?C0{9#pZqF`<~L}&ZQkK-&&K2a`*Xh^r%_+sHf9|j+3|SZI;@G0VE_O zsRxUf`kfT^VS)|tvj^Tm#K6G7c|+{wt*tF=Cj@Hh9B=)|xd1qWeHa3^_mCllYaC)cr4xi_wlrlZ85w9|E>LmbI(+ zPo=W_T05(9V8se4Zz;C>gMX9RV^j9+@Gg)juu&Zx9J+eDasM3ZS$@_FSCV+TxVSiD z&G+uc{qX%|2#iizHB_1J(|fYOVWJfy?yd;X1ehdIgc_z8V*CBGs)*cb95&3dUd-jP zmK<>wbW_mr3nwyf3mI^wy&!*|Ua7oM>G^klXqYbp%g>HEXgBrftbgTD*-DS-lamGh zG;}qhPL!tZM?sbyUppDpDC&*4(tw`1ySp!MZ%6oTzo)?NB}5T=zw8Z)ki!oH*{=5e z;=yApVZhj(96Gr{%zv6c1{8HLBvTz3+>k~I`%_{A3x7uqE^5?a&4<5Zyt(*}LF>y& zyHQ&oEd-qEY0r>Fm48sENmS>g-o-?SqM5}MYRL|}HciXH@D{0_?xEB_O8>U5ZQte! zqbVk zGpOR9whQT?tsb9@h!eZSBTn;tmrG{3n!9s!badYi;Z!fg1b@)!^m2;#^kT^`2cJ=~ z(xe|xF-J_HH--{gyga0fr3~%8$iHtS z_GzX$j4Q|sV1G_k*v`chvYwtoq@<*(KQ!ViVE5^{xip{>JZb;YKd|P812#R$;d>B3L_b><$AVqt?T~Zma{2s=rx!noHDKF z^?9;XJuxe52nyBy-&#_hPftM`0}?HEcdC-@zKTY~s(uQ)Ezl}vQLQHm}k2FtJ=77lip-D3f>|+ zYfnpAmmSdP*Dji8uP?1m{eAU^27jaY*&mfhsHhVS4#w$xHot*NqCI(H&=XA>92Qn% z(1Dcgdw*>Kgi;3F2lT#mKv*W{d$aOsTp{4MD)qLy3`*I9fcn0v6f3r!fEKyGw*<=p zW3MtBB7=JE%>isA6pK8S)A%tESd;DX!qe@Eu>HAur+=f*E~>(CsC!oI?T^=G$@r}M zQuKXgC%=D80}cx)VOMuIq1G_;*2Cpj$!xms4u2L~E6%i;XpNr8C>#88y*zRs3%$}e zoz5Qfp&ql*%um>LlP%82MeVnjPz4dJ1#5Vnl7vVrO6|+V9 zk#R))Q&Q9e80-Kttgfye+Xy?XJ}P{dWHgd3%474F05D3KR_(Wsr9{Z6*ahkpdI-)3 zi+^`tH>?+11Q8U{c?>~f&AZOoAcQ14fhXg!ohR`(8%p2Ehyw2IelecF-O25q#!Y~N zK1XPnxZ1ON#hN?d4cx`Tzd@W=NCgQK7S10RO9C-T##*>8Fp=k;O-*FeRTd-^9>W* z1%PFLT203UAfw_@P(*jG7#y$npTZY1Dl0jBFIQ08YXfK3`x8M4(FqBqHy^ZRfO&x? z02E(ee?Ov*{^MgQ85xxtGllbmB_$A$`8f<`^Nrt0n$51P2r@Ag9k#GYeO75HTYrfo z%}N?F%SY|HdCLxq%LVen-jxqJslr)`ix z@co^_J`#b?2$6HF_`Lu_VnnRibvVE%hn+t!-+U&MUhDb1JzK*_&TmW4#1zTib{Pm* zaI8py{P&lak_O9-XZMTlYgmB6djU~sHrVIgh~30JlSKbg<8iX-eS6dk;(trtypV18 zksB8`Ui(VzW@MDLx^1Dn$#@_n7u3@)qqt%A3?KwBYwj{a-wBm{W ztsK9Oe^r#A*SiI52;t-7ADx|b zcXpn&(lauKot~Z|4Y*{(7=HvLbaW{0@9$B5@c^#N7)rMDGBTn?L_~y(C;a)N3Rq+w zcCkN~k|!C4M?{p&zRs>T++qWaTEW(@%Au|E1&+qUvr#ao&M8e)*G(!MH#DgfjRHgE zBSR8OpLDU4DS|RgH3-cTc0(Ek((Zk8 z54ui@ZVbptBV%Le-CmC6a<#_2*rC{zTK}Ae@dCPpTLiOgHh)Y)({hZLi^WgG>#`g^ zGm6`=^@n;)q!E2c6FtDD-~RKVn(|Nv-C8K~wRH?}tmxQ5!a%LlmLk0MLQkzi&quSO z*lwxKBuC`!YJ{YTx%ryCz)Xs}W^n^Uq-Ib+csRjkybP7$>A$h7Iu8$zD)%F!_Q?Q2{Jibayn=&3BvJPOU%Zb>;FB!AZ(D3yfi(SJO9p6Kt2>~2^Zk^NB@zx_7r zYhg8_yfy@@V-c%)bj#91iF2RUaL?Nvw9H-7}QT8pqO_Wsj^!VbF*3lJ*VN} z{zkLL?0@skJg~M!;BOEY0Kd#>_-oM4G5&wf0z3lUt`l_N08n`m5fR?NZ$WYiX^7jR z2daOSaW5VfRrW!037v4z7wV-Bqbh?c4S{82rcq-NLGsn=_JqXy6t@o9!DE~VO|irT z-QHyY_E2r12<_MT7Tmk|q6BBx;t>F!T2GB}Ht<^M__oY2>#~q-5 z%zrdGF`jG=?fCm)i;(y|rX>gz$NMUDWV~cUz_#OY{%cF+$oy5dM zFwvMLB_%&Jssh0Tb2+R^iCr!u0}18J_#7Pk2tn*-kK1y(Tmg96Z@SHV2e1dRAXFUJ zlum2rfP=e-o*j#B%d-MCQl~rx_=kQ2p%c{NO&C)9zD?89QDZ#wKuhH1L<*VJz<&~X zvaw9OsZvXNBh4j!lR>En)qQ)Pk**X80VOu zz($$iX=|3cL23a5E|Srb{9KH|wll zHrCdVCEmPwtXRywBnFaUeSJL&yT5hb;UAF~k!uu|{pTxNT%>{6W;Nx3{{Cn8BcJXs zjAZI;^prk*`X}z=g-(c%FMqiZ>h|=0&-_cdDy6=@{;f}oM@=K)lF`&&IkX4Dk5)RF z&OV3;LUQb)RijmQ6-cIYF?RBcqJ3_zxn0bxrm=5px>DQvQe!3HH%B9yhz1J$<(B8L zQPr}39o{5$hE%?=_93v0MBB9;ladeTZxmk6nbN=7(9OC5biq217JsFi8k9aSEme?O zLW)p}lxIfslPSed^msT)ckNH2)1XF~8q?w|S`Kfo;O z#^$Eu`lW1gnTD))as-p4*t1G+f&co%z!uT)C(PL{hR}8g0kdhV;Xj)Y@vSvPrK!LY zSipo)hh?pDwGl6z6md7Js1R1xyL&uSs9-k{~8#; z$QTMuDNaJH9lG?;yHj*mUoAp&X0&HOPH<{J!tum%*QA*de&BzDi`(c5xQx60SJ;gL zy>Yh*mmy!qOZ8^X!qNprTU$0TQ_TCc$!=meI5;ArqE%XDkAFP8ICAUKwB-nwaQq}u zn^7l?*xtzU*qFDvf!> zJ$r%5x&4P1qbHs<+M+D;gqEuv_89lwKh3gxD?d2XQkqc)izh_g&nq%gymJt36W-jZ z9OLRDJOy6Q=6_N%Pl@-RDsEjiXANV=V9vJM_^_1?Z2moehWw>QUS@rwwp{ur<;O@i z()#D69dQBoRutYpsU7cy?nXbxB_lh1HSnVq`GEhUyQU&IJlqiFZ>}!Nbbc;#nZ<%T zFHa}R^}SST75jtF@m@5~*W?je_;gZ1FI8`LRyW~UGJi)}D4lbfk@~Nr+(AMgFj)rz5HBkphhsShc2WR9N89fz)0&@ zbLp|KWMYOrP;ax)ld=9c-+{!+!~K8-N+XlWhQo#w6tm2L1X3I8T*Y z%Z~^mq7Pg-d!`z-mV|(ojd!QYchjN{yb;L+-*6iylltrP}?4N&f z-#LC&Qv!@rybhg+NG5|qI>&PV{jJxZliR~pWS)#ll8hk?kbp##d}Eb7?gZnf_vTHz z1AjdgRpl~waRBvVQ*Lfh^}hGAnzN9}vmZbGYiY$hiP2 zajV=JY7QvG__&RZ3Wsv4Lt>){@o2hS3RsV4^%>7?HfECdi)3ybU3oJz28KkmjDP*d z+nhlCqTvh8&Ene7^X<*nVC<;?0K&t^Ux3NHdDEnAu;hKBaC>*B+2$=Mm(23)<;#fk z{W)%@%|WC&-}@_b2Km%>kaMrq)YRIvTtK3EtVS@B@Y_-VFetQ~{0@;0^Z_@xj@d}I z!rQk`pk>erC2`aH+bcjFl>VQ|`G1cAG;;gh-@p4yHjTk-*hzEGL=XC9_=B_qIL^6Id>)wtw z`_cFPW9g^K?}P|<*Jqu!^;1aDA?rqvnKdnSVRymqaLGX^OFl~|Y0kF!^YXGm zU|`@|1%=iEV`L;G_l6ruikT~M*Pe_STvYvg#0t3owCkpyx6>onu78dk#9CPam&{qZ zrkY&!kB)W2LG#wDT+iw@ky%F2w`OJsy#DJ7h}iW8qe;2lZ}#gEFTwPsiTMc4)!EQJ ze;)F1ci@L$z1Wi0&>#Si3RH6EwsZBTFZ8wOyhb1o5P%WE zr=;BXwP|)c*bKrEGk*Y=l9G`*nN-(@ZWco&`Ww)9DyTPopEJUhl@;KwQi0W;5zRTa zgWdIYw35{IJVN+v{(n}22M0JCIG^L(g6)XM#YBKDnXj|taOHXY^Iri8qGxnHERf98%Qpd|5mnF zjC2%HmCLT$RE7Qs@G;OzVqRVzv~lOJ*XoH&O$}UJ0VqxiQBML;XVsdQhyjZIO2{s2B3-o)h_`u^a_ah zY^7n)O=BXX64$3unw{y25#VoUDh)fI!$xS0+iu|bV4hNk z$-kf8-+vrT)Z6K+mFx89$BO;dbzA5LZDo79f*R=ZCMa!aD+dgH6z1pG6H9$iK8f6N z{?`gxTBMVS(J6F0py*`D5wfW$J;$(jz9CB>QZSlGCrojPfpiv_A#U^G%z+&=7zj7j z)kv{P4~6U9vsC#@PXdazWYaKfRQD9j=Z3opNPk;L6&{Sq45Ah@Mcg1aMV>y+7oIBg zxjA=tcYmM%2J8BCyVE?!Clm$~7xg+f0T4czDVX@>3&ESuWZhl|tupW4p&J@PraOpA z)U)9R8M25J0`~rOHgnYuYj28%+y*DQ~O>%t6%hF=H%p@cN}1q&lb6=z87Bjq33-h4RklfPJ6mscN_3We5N0m zcOI*$Xq&mZD&X@$Q(E@51*!?0;CQ3c7JpK2cW*DZaS!I3SSnrmji+l(e>PO2w6wIy zfCI9#JBYHCQ&8w07$|N3#n#{7f0aH2d?{y|{8bFfTX}hU8XB4<;y|l@j*HQ|k=^%d zU!76TDTF;&vM_+Tex#Ts)D0{uM+SSv3ayY3*@30o^3CWY5fPCpPmNEieWItvC4Wy7 z5jXSaPEeZshJ;^U%#f#kU+gcTw5nPzQ1EDA?&3XN{mj4E=SC$iF21^|v!n-z=jh}F z^1?vYLSF?vK3WN*u68@n+xb%>X>ZQ~WQI?zH0ilq^76*U$K_Zc$Js5X<8tsDndPP= z`_5ww)*X7fVnY-h56c$n?9 z;q=tG_UGFw*Zc7b;I{gMGa_^f3+(D+T=GIN=Jm4WOG-?;hAD_qLP_ki2l|?96m+Nq~-I`0py2ql#4UP z$5ukAcsdH~D`)V6jb;9sRX4^|`Ba1)ZZD4pJv`B0rFw_yx=qf{xVRF4P964A`#~TD z?NfrP1TE4CU<*7u=l^A6r+<;QN;RsWofQ!Kp4R;URI25pUg~1Mhx=Pl<|0??iK^dK zBY--MwfT5Kes(ku8PFOqgNL)`IZ$}NeaKH0aG(`-gPQ;{1|_hvwk8SuD+#Y90kp9W z?zjAJEFbQ5>S*!%i-V8c>DgJKNq+(ad?2VC7UT4wS2Z>^4yJL3L4VQ@G~y{fe&<)| zDEHf=Uc_npoXScLJ@=Imq)u1ghdVc@CkY?4sQhb~Ez_>YBPW*w@I%UJ^k~^K5BdSH z=CRIzq8NB~AiOEfK=#O5nQ0SxITYaif*i-@)3N`Zq;U%Zpx$i+{u9;9E3X5c)L3o1$zN znvTHSOw`$EGkyHt1(4SLumd%X+Z-F@d_F+hmaEN-M<^)J{x+Chg0Ek{k_gz-fIivJ zZ*2||0BXb_;+4+Z%E@fHzkw(%OlR_15fv+DeFb0yZ7l%WbG$ya04=EJ_UgprxStUX z9UXM-z`nk|-G58?TL;(H^m#j?&~1V(yO1Vx8Sk_qv)}yN5|#!6bZ{%6dUVQ2)uJN2e!p5XcyfU}GB8+| zo0}_lU2RmW#olaD2Rh^rt=h;opBp?XDmZ*So_G_1ihqgnm(%jr!vqa6Gt2GW} zWMslk>E$VHyN#uXdwv|z)2HP8w$A)f{MIv1qq=_qaQQS|fac%4wp9VU-=V6TsL&U; z=9@#wn7~kJc7^sIKvQ*F;)0H$c%ARPbf$fZ+sKDGv5r03$hG$lVPIDJz)JLpX~~Z( zG$(z&zkir|Xc_P*d%`fftgNhj`Ylt=@LhVO&k`-iPdq(6J&iIot>DxrP3#8QdQGs|uGXnxmg6#^Bs4zBJt z@;QtDi}}J$K6n(oa`!AHt5yr@_oaZhxrBb^mvfLI#_A><6iGD&Q-n^*`xT z`HDcB-paq&{r@VpbsXudIqI+Dn=tmg7iwVPQzBQd7KrLxq37fb`0_{f9Upv9R#6e^?pN8= zB7g22v7+ZBQN-*FqM}*awv8d+T}S`-nRcM(3!>9J0Bm1ODH>o_S!X|3}{yo=V1bz;bNnBErH1JFo z5e@~t_p-LG4C=?<6&MarnL}7#kd#j1Lw{=~Da7FUCG40xcQv12G_;tlpX!j*UCkem zGw5H7I^#CD`vp&ys^dR>DiQP;E0xcN%)-I~lUj`8h4;+xl@GmCWI8-gUpMr7UXT^q z1Y)g0{|Eem7%k8c;StCpqM}F4nvcUe9cH5zx2|@tK*~%av5IKUz5Z4KM;oYhtAEPl zN@7+wYxhUgU?GB*_WtF^&W{lCS<4u*Ij(X2XP=(>8>YhVR1MFrARBWQlN>CAu+D%5 z+XtBd+bRu?j3L!SUMIWf_(KC825pM?XyH2Y?(PE2>g6qq-B07K+T#MU8Gk+!(HxLE z*kL$lNEJ-CeExE7TaW$jox3JY!GEJa=v=rvy7qhm|FdUb9E{4t)Hypl_odxP1jJF~ z_OKHoGS~gThz9j@9(z^2BqHvWUVVSNWBj%YQ!YpR?p6Ms(7lOX27JPP>=^ZS?4|44 zC?z)PLX%5APzL9N#VpVRzqj8`N}HbV%|dPAs*Y9bXE;D!cwq0|-`aszynngHRDV7zPA?tnj$T^UM;`pQE*2_U%i6oVtfsgv@Mq zx{q)h&m&E9?PjY(UaAxwf?Aj;Q7L{+9Q*7WNlKg~L8QfQmEFMsaY)p=ta^vM78g8MWHnN(@`_@?gaFMzGV#l=NznELE{ zIws=*KDRwpmf@9szm?;c4d8~;dWPe|19E{t6vM;A4S@BXz7GlSBYf!^fL$)j2~}+f zIw7^=h-JC#PJa z0Q@LUgIeitZJb+>{=ipH>BazT8!u8I_dMT|m6Cc?s#azMXb)}-X5i@P2(awo>4Xxu z`=J2<#+^k*F|q7kDzE6izPHfzfXZD07qH-DMlI|by(rpTwc2fKoyqm6xYJ>1(U`L+ zJp2i?#qR3L2QK!7S$`edzKnb!_Z4#6{k0Wvw_V}5bTdG*QE{lCJ$yLf+@7njWGJQ~ ze7+GnE5@QxNwf5KlvdfBa6m#yUf$&P@+g{|KL%V@$oZfDtTi+b5OM)P<8XuPK!-V; zoq0$}Nm(?jgNHJ7k(-Fw_2dDdV%!-3TY>*@;rGxB%pc;X>3?!c2$Yx64_iFG?YjyC z53_l50NYxN6*mJu^iP>~3g|>!9>*qwX3)aN3UJ>HEG*Fg>>$Wk>-oHJ106~Li3crn zTwffF?9JAAfSD~(Ey06Wt}_&Ctr0i>)5UM37UY4$-tUdmTUf-MAn>RdL@di;)V}r= zHaO)|--uYX5P$417TjvArrFNn3%hz6g_<>Hpr-F{Pn3*|jG%*%fWCWe>zl1k5TH|T zz|XZ@@03oTheY%(F(qfMTJw=BWbi?2OoyE~Dy3?yU-R=zlnW!h_N;+JgwDV1&()iQ zUJXE98F)Qlaf2%=*wN6?;5ZEJcOC1yyK=x~%uiQqm4E&D{xJ&NuEwzQv0Kg6SiTGz z4o*vwY_fQ|<;^s~R_8g=&7<+H45)cp2@(n?xp{+td3Eo>X zRmP}xt@mWYYwg)t5$Y1pE}7A%7?bjP`gsnaa8SN2sXy1O#34jZR00hs!l1V$d!V{G>u3cHh*(hI{4J%{AKE z+Ilj{hVVO?bpU*5-pcA=u09sj7IYX8^0$<3^RHSx&q&0)1&|+OHY}q~=o6QtPJ1qc z=`RAt4DRt=^7U)z%#CX^B{0eNcQ=UB0?>gSkbhRtF8}UyMep2PM!9Y?m+$SR_l`U~p`esN1M3bzMokrRVZtKkTL&pv|N9aZhh=82IRTo+Rq+-5nY>wkuBe)!oGssjw>xsD0pf7eOhkSBs@; z)!Ql@EVcrjO7qG9op(g^f&$3p^A|6kB=!dbtL?J$X9c();0ky}4%?BT3IMEU50FgH zYo8b4LJZLT`hNYA+2r?+Cg$eN>OKP*+C8-dkmu-MfParn z1eQpiL8a}g`Xr`CtE^x{z{Ar6i4R7@k;aqK98QwF=?H7GO(pZBQc@Zj(ApWZtkwIF zifm$HGTP)~1%xMGCf0S@av0V&Y03I@bL+q<&y@aTbC54he&$w=s3|r)ysxln1?f(U z3H>MRdNnG43?QX}J^l<2$Hh)S}AC?i&w3MIvii+5<+v5RKN~g9Q-|Glqu~({N z@#A;p0@xgb8vev20F7}PiFSYPR7ox591eZ$QA|;)oP9x(xbYQK+bp2Nfz$vg-VKtl z@nl$dp@wSn3bc5QW>;2bwI4M6{3(dYkL}m{a6xbDkz;S|sxt1Kcd8Ey4S$7}p54Mm zPE5_rxD476lvPwXGlp8gHJ~HL>iRxOXS>sD&O%U<7#bRa{2~Ar0I(COn0JF$H$QHp zt19#y6hh8V{Gs&%?@N2N9~vFMLNNLPjMoF+zx%Y%#Jm5umJW!)N@v&!$XPDCMUnA| z2~s|5lKeNHjs9~y;N)R%!GA+T)%2$Q=wNRziX{@sHoW9pL+)l9fzivf)$8vY3D?P? z=S{cD`phX^zyDOrJG~kjA7riR6V-Xj%WIGLoQOEiXUQy75GKy>2JJlu>xPfmG_QK+ zV5U9FM|W^wV0UD>o&Whw2zJ93JVKEN1^*F zXF31pEWptbC+o|PFMkNYAJrxkm8ZeIl8>BUx&QuB#K`tsRymDgcV%Ve%VyN~Z_KSg z+JTP(|Ax-l18kR z5)f+$KE}t#Q~B-m8mTFv3o7aEOs5w~;7oMF?^%^$=&`S5Wzo3Oe*9u~=FpooH#1A$ zA($V@Ie{UsZ*1f#myCYm>FVv}w)x9bXSWp7VenLa>vf^j&UEjt-zIviRN$A_eN$uy z;w%`?|M2nOtA9VuRz(k4Z5tUdspguTf%h&hw#^%>si_s+FeRa@tE=;nDV&kLeDaI# zV}54>eMb_DfG;YWssHfdzw>=dG|J38ZA#qvkO!Nyok?RLNDt23k5>HjK4VGOAFq_| zK25o~JojV9er@~9|9Z5PE&PMztEZ1va+K+&^KukIE`QiX+6;UvkVLH?D8*oye`RKn zX`VcM0hT`UdMogd;JbtRKlK^|Ngfh7DdRNJx}&HGw*@hFLQbZ?p7!ngo8*3z)LB8p z-Ld5Bk`f{u-u;g~ZdSok>sH$$9Eqfu<0EB!>Iq?(4Z2CtrGTk|sgBuF9& zvb5kxp?{Ak2*=ma;EX`L^G3ToP~DlXh)qkImE2!4;D}33?%AGLVY&Il6GM4-L~+k& z$?Zgdj#vmj_1`3&ll~vH= zm>xR23BctU14C&2q9;bk>sKIqH5(nDkByDVXMgZvfkXwu0G&|NDobu}mjM6x@PYtZ zs1kD7xt%CxeDeCarK-fkRgnXcFiDWde7w#4;vKFy{O=o}v4te5Kj((bFj4sP~Oj=+V@7qSKO_x9QKHFaQJVygT(7 zG=EDHJ3Bk5`!yf5MS-3KJuU}FTz3@l+W!7fi^mCcl;h@n-?%%HkjHM30@Nu21js;N zpzrbI<>d|Li09N=P2YE#gU2sq@qn7QfD)VWMFRI%RM3zq+B9Z!gGH>MNAw9 z#)1H?`i^9ac6E1;eU-*QXmZ|0YQH+!iinEhHq9>mbd^r?L@9<0e>9)#nZ8|%9e)Q& zL*+HAn5W;Xq(H%TK#8+p?C2qZpq@_#*kP&`%}VOt(ZwnJiX+&+##+%pzBySO-#k9e zfbG$omJ+sb+|m6IMv43I<5@n5rGTv_nfBQcH!61 z&}TZCm{DL1+BIhK3krglmzNzYVt->|HpdI)FsVdREhdWMQ&Yp`89Jw?l0k^8owgKP zT3S8gMK)`-?id9Efx6$*A zsl2?rp`js_Dk>@}U!_>Fp|NqS(dj>Xh@jw}U}4>nk4QWX-ucdnD9W$}zkgf3r5G>I zH0z6tRMA(1A}Am%?6lT{b?WJpR9{n9XSQC6aIPoP%gU^z0F^*$zsl5*fTh{J!PqNp z)_x$ETW|A9@h@fF5M@a18fK=9PjC;TKPFEBFQvrWcvi8-9!^(oZf;;Ak=p@+K^se; zBG$k-C`;>XZhlTUB3g4u0ssd?~>l*!0`1zt>U{ z5J-7@i;(kK=bDdXL)!v!DQpg_U1(&ymQok+g#i&_V&Yzab)S~nL_w1+J@kM1SfW~V z!bV6)DE;QmV>kGGp2x{%(G7d+DPFVd{@2`G|7Vh+?{#zr!MMUBB05G!4gzdMy)QWc zEaiiXyL)=3XOnXnAk@{>fw`~;_wx4k?i(C50Z0g{VFFMz(}S=_0_Z)QMqN)tL_``~ zc8Q=h)V8)ZOme>Hp3me?8^3=E5sDPEe#bqN6aWIFUarGQ=#2YlrC-%JxvY?Ap*6>4 zR|t+pCd#2b)tZ@=1%1Phz2y)Iyk6JFEL8ajqjM$nO}<;Ve9jg1j1LvhabR&A{h1PK zH@e(JU89BDrBC+@qaq#&FH7cs=&~=WHtwRHrkiA9JjKVC1ON`=*x7&C8FYE+zUY0T z02xr=Bc5PjtSz`Lp)8lxFB*a1Wr}(wul2@qTTQV5MRRa)SOJKNVgQUHAUzscJir2* zU@#<@kD)K+-QM0JgvZ93-``$AM>Es7&GE>{BJ=a}x7CUjDX-6Vd%-QBGgH#QHdNNs zRI+>o0frhqH zzvPQ-0D9Z{<|dczyZ{978X6>FIMn4+utb=gy?teg+#T>&MLT~Mg>qv+UtU9B%}Zuo zTkZ&&nVW+aYoYaOVtwxpVDb-7PCCcN;sNCT=No(3BAP{!89;)v$(%yUVdhv3<(12M zJ@53rkEFq{Wn!sB-M0%<4v&w&kGle;B)IjBIc*f{DOXI37XE!4VfOQRZesgo?3xBE}GCuV{12Dn@(8HPQW${7S~$;#f| z;AE*f)IETP&o?*(Zom8nri5g$zn5o!>5|w3N9s z496T`_k5dA2CxbfPN+Ck1)y?(r-;kW9tM=Hupw~pJh2~CUF)`;wzhV=0M9tg&kvxl zVG|4lO{J)s9d?_rw`UD)?lm~9A;9O<{=0ZS)8xWDJ3C82M3kN_CoB7Mx*S^3af9oC z1p5c(DCvLRM@v`}Z$!>`x?&jA&zG zVu~DQ!HiacmH=(<_ry{w`TB|hE#no1xgF?1->Cg69i>rYhLu2{mR(a_{cC9{XM3U; z9~6JWhYz@f@dF!#dbo>o=i@h^aK3!`lKcKe-|yeA%hWQmz20kY4QD|#03E;t8uM~O zE#$SKrM{UN0|NA&L{MWt^kLaTG}6-DaOU~F?|ZKEp6h%$-~W7b zx%XacJ^B9S_AdaSD6paXdcH%ajO+PJY%rBmROaU*Uh1 zxp^Erp1?-t#yil!<~u9ns7wJEMUmaGFt9ChF~2+iE>SSIusCt?>ea@Ml)HfZ4dCN3 zMt)^OM?*tHfXgOr@j~ehhF)`w^Z2TSa+pL22X2#q1UBEZbaVOLXAQ+Rxy zfWUNZvT0$odeo(uhM2fkVASWXp&<3a}Vpz#Go@g)w{t;zQMwOe^J0~;g{;P>u|Zd0HZ+Gr{;S9?5@79)!o-X z8??cc3>6kw5`jksV*_W3N&be)n^guH!D~sJv z>?L;l;N{@XWRv{(;LnKwD!%aSsFSzgB`Z|7fXNqL~4^)?IZn}Xc`7w zJ2GiGAH0*`c@rCnMssMM4f+Nao}-R)}!#*AF-49HO9#w zKTdL;b_tYxs?VA6G?YqAfSlUkZ6j^XuL?T+XDTB7MdKN94npgz3)O)l6=N4@G>sTG z!m}byRK6_|su<9ycOW9y=A9a9)sD!;G@E0xFOb*A{&i&^Bfm{voL%)*5#84F*K%X? zSMj-$I#z!pzQ$WuxVpTEpfTP$<^H{I_K9J$f{A`tU;U-#8G91Alf)aRy>!S+U55{)S?y6?qqIfIE zD6mfIL(X_Te=5q;S||4j;HVPNDq})Az(cwlH>M*5{x(KjpPZaTjb5O<%gV}pwticI zCMxZEZ29xOw1WdT@O<_MUqZk`Kd5DSEEa$FL&!7(idk{AH=q7m-G6HyTTM(wrJwsG zF*^E1jqzBNvgl2bEp1$z`p}0wm^L(O?Co1pRAEzfeB=!(QYHZJJnQ+{v>C3GUxAgC zt2gCOeRUMoV6vLH>Sk>$7Ukt$p&!ZMq;BtQvMY6ms#TDtFbH_8SR_BHHC+_rJ!^kd z8bo${L^>#Jm)UERXU=+7Iij;^H-c(9;*(ZPxn#<>-d-J+*4|!BQxuarXoa<@79qa_ z!AJ(gQ`XkkUxkHP!Zss4!vA=H+iCJXO8iE18MVQAggjR0@B*HK?C1pED-%W~DC8~3g*c^t1G~NOyQqK6WsVqRA4J2OX7z+%8Yn}7ss(@i_yH^1kt~6W zhy%g7bH6J*c?Il-&;q4+Z!fVMR$P^h?3my5Io#|=VIIwf2slHOs+GOFQbz>DVP}7z z*QEBj+$hPpbLYCf)&6cR4xYlpBZfeM62;+SNB1=}NQ19%O#=t87|G_RE_Z)0uenda ztM1@cf94G{CucfPO924^x5a@#ykT!fh6aJuNN4z|FgNtG7qI z(ME%;O6|2F=d~o9@5fpl?5sX4)&oGEM178rDZrd?DMLNv>2Uk`s_KlT zXu}LfTM3-y!x`855SqjL#6f=;8}N|P<&man?3XqF;Co%xoyt!DnnHZf$_Wb&E0S$} zfAi^nMz<`;w65FB71s~9tB)~wgjeYl-*HO_J5Pu3IgE+RMl!J6x}|B;nHu;uHkM^` zY4|}TgY4g~v|v7;9S0UMF(cT_C|LB5z-i^-zjSqV)q*ZiGss4M1ZsaT-`Uw2X^4#x zc3WVEICTF#pEZ0YlFz*HqBVGF7Z8SPfk8p?*YAbBh2xz1rF6v)J0;O621~F&*5Dw+ z}j?COnUJmou`M#efa8IEvz92TpfpQq14`VoIN@} zD7E`um4WnEwUK|x2g+AAyI1bowQFh$ z3JRKHZW0$+-(WDCG21D6XPPEau9l`vbXi`T)#IEW zob6RgB;Peb1uu(U<*turUe>0W4Ch4{WJR`RyWV|>HUQ!C_Z-x6J{Tc1i=*A@`7&{sCc9Y6krk}S2)xia9CQStGu+1M(SA7Ex- zxrw=ydw;abSIBqo^ITuHHW!ZG7u#2QxiTp#@0N_Je9DHrF^SPHnuiD;2q>F7o&H*T z=fwr;X4rr9--QFo%O)X-3Z{mVVB9ky-TG>C0xi3bn=G%XpP|xLbcXnRqF&M=GHIVM;nyV%6 zm4UcfSAlF}}F?Q`^Wl5W>quxR^|?mbT8FG!S75ar~hm zjo;He>iT$=lHV3*Y@qm2x>qkyAlXRtJQe^TN3WRR-o1Nx7pNMol6${|Y(n()`)VA112et^0-{>Oi*CUq}*J>zhi6&jf|AMO!#b#*B$f(*XK%-qO#1xNs%#Q;_1Y1@`6K8shO;Dh|NJ*W7z;PO+0q*nX&$(@Sm?iJtef9cvDtLKmS=mj%HTBL+RMc(N zP6HvTE=@iL<^CY9+YXgp0vkuYbf7LB9Ub+nd}2X#nLc{dQef7AkB=|T8RLAo=gMhR zrGVPGK|A4OC@0;Zr>}Ksg(Y)dpH_baca(8+<7ZNeM-!lS_V(VlWj`MLg4%3hgTS0S zAM%lslD>(Es7bi(?y)-+^Sj83==bm6gp~X_t%2IIxi1d#O73YUOQxx>G+E^DtDpb) z@#M><6R}-_R7*#i#J;3ZrZ7M5|Dk*JdU3)gIXFuf3{0aQ`7A{c&a zEbkeNTp-9}bp4O|^H90)!GRA2-$QY%VWmoTFWOd7-@T!djhTFtIyB+PezYpR0od8= z(9rXT``cFIwSnozb5m14US5B?{*K$^q^ztgnumr;(&0|gY_Svdt4pXT8$bX}c9`w_ z(A3m)jfLebgkhAT8maV-<$p|pQjKu7B)`40OiUSagFEZ(VrbGu_u^*15q8Vlm21Xo zpa6DJ*nLSMoJK^@dy5@gu}1Lo{jG_^?NJC`w{;#o;C1{XB@<4gxHx}M3><|gp}M^M zHZT`3!UFRq;+&iu2RAp%ql4WL>f6yt{zv5g{>QAoU!Kvuy#=S=>d!X4 zuYvTudH=o{47{nmovVL@h+7FC{P3!sogKI>x(fJ1Nkt1i#?QX{Znn0z?}VJw=gI(A z^DSD)P^B}G*nv0@&D;kimVds#0%PI@KE}htb6-Khyyn?ym%lx)Q0wl(ubbVTj7&_( zOK~pHinji13KcjWezD%q9NnV(ii!|Q0|6(BZOhLy&PJwoGRl9XRQh7#DYcvAn7v!d z9Wj3fwL8eAa)S zv3CiN{&}ZKSqW6nsel^s=&hQ;gW*pHBzLnk-skNsF-A3^nNOaco|#9D_802c;?lI+ zf#RA1^-F)uZ~K2s+|N(cscdMYWpU*947e0t2(7rxivpv%_I4sMF)>)6*@0p#i+oP4dU%`74W0<@(KCU27>}6Mz2Hf zB)WBDsIoYljgpD8lAbfS!58ZtP%f9ob9#Mc#o>$XZ?&aOTE88WK-X&8kF3j@(#37^ z?aF^QqBO6*TNXJMYd6K(Qc7I>ln3Ags2u@_(OqPv3_#Et%vJRg@C*1M6F+}6@H@Ma z3f(!;y^XoM4i5P&*ao=iv**wM7#MiJvEhOmy!G@3aGia0^z^zaJe{?2^`uQqt}!Vm zo?_O7(rQsGJS7=zuqrRM* z=NBYGVj5_`-sr`)uhw{lY=SKd(5#gSA#J(H!y#hPzuf5)pa$iw!?qd znpl>`DW^#%&$7)``T-Rc)x+O~j3hS{=!AcSVo@JaM%!VF5Nax7QBS{k|$AkOI$}@o9 z8P?tDfPR?R6@XF^zx_o4GA=`4*@V&2(Vri7K7+HP9j&daL-Ur-o;^FYW`^1-U1n7l z78f0zoc>J381aiRb(0xi>rPQ^ys0kRQi2Em)jq@&kWK^61+iJ)3{j%JFUQ zpWn&XdY0kMQ5)^|d_2@D;<6>{JcIZ2@?6B)Vcu(I8qw*YcGhV0+4Xu_a zzwuZxc7j6eDVx7V3w#{ST)kO0f$I0NS?AIo?O> z+=g>2h8A+`ibI1Bm}S+9gX(|5W>lF;F>V1dUm=dv)YP!+mtH(~E|^Dq8ADwJ>Qgqd zdBY<*F@`}FoLGBcBJ-b&Cwun;kNG~1ird>C7gGZul9`#A)#bSTb<+No;%+?esxmz! z)AdUwwE!=q$s*4pppwGHi@KzZntm?s*lB!Wj(|x^jKHfhv2Rg0dG&w%N5lP@g2F;@ z^=H!5n9@5Y=Uya!Wpe?o>aQp5{OIUTNQPRLPL+?)+}xZ6jsNzryDBT@A>VtasA(F@ zhdH0>Vz#!nK0h8Ld-Q0Ym9{AL+K(<;7M|FJs=6Rn%-<@pho2&gNjDSuk=nb+LmuGz5jq?4J0uj{pf zpprj}>+Dg6l=ntw_EbvjhJ&h1`{z*$lG9knB~hdDFk!9=iKu_2yElPd9O0{HUmcp| z;=1U~E+u{iCB>NAf7P6!uF-cCcoXx<>MWPQlLW{5Y!{54;)fZT@v+{7gfsjFCfkD# zi`2Q_&aw?{2Q*F+Xz+*WcGl$%&uz5pGSrnc&IS7@nEd5qNk-@h$Rw*5+} zy`Q&DY;P`|5Qu-3!i~BrJKUV3TW4~$f(^0Y$1C~j-{oSs*f4V7uB;e>G_|JS^Q0Tj z{yf+=iBm49OoiooRLwWM`hv~H0-mnd8qA~w>NxyY2|;=vq&+bdjx$J68MD1+^*kuP zFHCtFTV<1|W*sj;1TXh$^DH8x2tbW_NQQ0@0CkKTXtf795mO!BPcKjm~yt~A@7 z6i}xB_vfS4?AUV$n#f)7O4V^Zz0Bq`Km0Y&Y_Tv-yJSv2Q2XIXGg4U0H#}U9RH4emwvb)Y{){ zY@zGC7Q}yWE4iQt&E4Hm+oS%+*n}~oi${t1 z^c$+P>*>)rI6Op8UK$!Qh8}TnaG=&eU?I-~1JQp#Q`ElDE_RHb+3J)!n52oZA8{60 z{-hTa)H$_LEqRijXH1G%zljfT^Ilrs=^a4{fh(7WV66!8aLLKZJ-ocu>M89VHvekk zp!C%RnmaFRjE#Yx%@+S49S-@krhU#au_$ZE&u+9z(cJta%a4-mY&P^1os5i(^z!AK zKuv$w*4Ey%Od&}K`&za0=iJeH(lJiGFd08Tzo4L?v9Nv~wEyw`D3F*`6=t0> zCr0>djTa&Ts->nz41jA4${Ib%guvto@*F}^uvRwX?b~s^+1lzEO4LANTNY8%W@aWc z0$K@)6Nsw-_;7J?ojiH+<;$07ChK(N_K1HO=6cK$2h z#_ErEi$8g^F#u~ycWrxhL9760>&CbCl8{$KUj4ViD)FDu9bn<(C~wyqClH>kjqL&@ zIN~`&O@IA58j}lZ{yJPAFtSvQNBK^6Qo*Xnxei7J1qHCK(Vne!bvnsYbwpwx;g)}p zguNSd;imJnLNup=*Qlu=4jQHl`YOk;@_k2#%5-~DJ8CC(o+gapGMdgv@-yxIq)8?0 z@^Y#r22~@bc0T03N{FuJ`HL5Y4&#z~C3Xhme!xf?z%EsoNh^+z_E9T(priy?fKI;g ziCn#6)22wq$*C#F{jJB}c5s2?Mxqv&apQi*?EI;YKRV#?dWOj8j`hcBrZnUoYB9DMHDwQI2PtFY96mj5XcNA*9w z=^(6Dp6Jemg@rLNGGaX0K?{N2hgkgd=~J8y5J=6jJ8el~%KG|LFd^j(A+yBWy&jT=MqGJ14 zg%`28xL;@k9`<%Dq3W$HH90l93)+Nu?`AL(Fg5UPOoE(9C3}>1)*3kBMVc@m9FWy8) z%WN+VpU8LGoNR3%nX6uV7`Q)J;aQYLwUBVzePwmkWZ_o<000`V6hEgo2rk$6g zw*TKHI3{ylX_^C^z}4QqCCxLcMx8F12IX76+h+Fm;l;(bfU19k+rJqoeiZfg?emzJ zE2!HBEG+%(^S-{msT)mjgD7d{)VQ@bdB&6cpq*@I zv|G;DICFnjTK?x!Nm6rj=g1(hPqp!d`t5?RHB>e#;^A%lZe;-lj}HF)Ezvou+3zKo zzI5pls+egP-Op(r%sJS(e&@mG`mA+hs(Ekvm=>Wp`f7XeYVxm9M*LhKMn4nfFY?5< zn)31l*BIgow-hcaDkz}7*k8YXfnYAk&o>_a>S}-C#}PeH=FDVhXvp_?;Pa3(nqVSe zKk^;q(Z6|dOpJC}zx2I(&U0OiXb4Dw>1kf8ww$j0eDEOfSE;BQip;F6scwq{w!iXI z2C9>@&30DC|CLf~XmBHxxJW}(j1fsl&#PFzyeBpX#Qi8EPUZ2f8_7oPRo>NtTyYz- zMTCDe2L@A=2ePWFmz<|tP2fU%h4V0&%O7M2&8)s-b@XmYr#+L`eWR-H=QNb2@UrDZ zWx|y*@+_a*{_I-Cmg9H+;>Yt#A-mu-mmo9Z2W)u za|&(&)rWyh!$tF!BQco3nw2X&r_Mg3>)}?`O&@4ZyZpb)?KJ2AIxG#90X7h+H0SGKv1)CY?Pg(a=@jr{>yb|wS-T-Pzbl1xAcG`TWcD|cr+h!%hU!i99#`Mz|ia}ad46E@4-7WK$D^&0_bQNjzB z%69O}`6qQjM6iM6RMgatE-oPPPRq;7FDxwJ6B06TaS?%r2D)+o{(WNzYp4wv!mrc8 zjw4Q2clWDTuddy>6JJ^?sIRYoRmh0}NEQPV6Yqaj(w#zeKzg}kK$Kr!WPM~3W#Y?bwy57a;Ue~3G4Vz+1j7ExmT5yBB=caZWwvd69}MPZ|PFqmq)%g zG@#m7Qi9VaCML5k!nThe>sI@TfVq{Hm!q+V{PrV=+fnk{(us&99PWQ_$3-fmiG;v# zQ#Dx8NNZ*mmhs|#!wDenQupq~t?}HGk#SlaxP@3D00P_3Mc~;h)tU9DTn4?hQgsE( zh#jw2H4h343Ei|C5(K`Ao|$H5zKo2FWVNRyAqkK!TKW~D_f#%TGEJkarp!lNxiRpg zfN#65WpA^^Aqc~5&_wC1zG`R*0!>jW~kLxT~cs_q=W7cF{ zXvOGgaGzDr#YumoFrThJJ^NEwti32IhB)0Cmq(@X8>`T>h{uIje|>xR7rk2oP5NTS z$N~KTB@iyUhmVo_F^{cQ>P}Y#0%wo&+4?e;Id4lt8V4kfHf)q3pkC}0G~N-gw<;a^?JovzpYDKpd4VAd_Cx?lI* z9x3lDU}cb{7Za;)?IQfACal(&n@*OPAn+uRX&@+lef}JjN?KZEKy=dEKmL<>0UK;% z12~?XnTgRYi~yD{newf*wY5hSQGFSZ#dU~j&Ub(0=H`Mn@iet66AQIzz5KP9U_kI2 z*1F!#IEKISzR;nF`pJy-rZtOR3U%x!_*Kj5qL=BsRT3YxO!8Ds^CG*;X>_z41Vf46 zI;ni&ZzJeu4v{usU{#V*pFUv4|9Cmqot>2xwMkjfI6FIMyKGe{++ZtdTN_#0P_rrC zOW}WA7@lvR7dZAQ#=;%vRv)ZWXkp|wbwrhscGnF(J8PWd<#uiO-4*RLwa$fJ>4U;4 z1HCWS?O(Y>KRC~{g_|2}0Fl%w^*DRmPf+}Dm94-vFDN#aoE7tWByWvpVs~5Zp!1v| zMPpL7RZfQ+!z!0R6A<|q(!pdRU#Za+DhGd3T<$PnA3H6uGyZ}KBNtePIsenppmi}g zg>Zjc!O6}bBRY!rebCP-PFZscbCqX=`(e1&TmGXaCKjO}1b|oxYsum9=Ny~~@b@*N ze9-&#L2?=&c^Dm%i+wyZTdsfN zc$|F~GTC!fKWRMVqkwJdc*rNHlj%{EM&)cV)$6U{G^;N=PKGMTcGytK*9o(@XTgCX z%M+T7<~);5LUL)u#d@J>#i7=P{dX6SmG{-NH13#jS(%SI)r!V)xJ%By{D^xIWJ1AQlyXJqq?T>>X zKTSTS(5&GC|KkBElL9i`{#Cvukr4UYVpG%DdpeOmXW{zLV;?wi3#ceSx(n9U*5R8) zm(Us;!WxH%hc|S0lRSShYY1}$=ExvhJ2)5zVTTt0+Q-KSB^L(2JT^PnS!E`DEf*kk zwY*k4N2dnvVr6p^J(&3ZT?#niiTkp$*SNUaKV#7hf;u8GH1w-2QAFOuLvVk4nTdlV z6pbT>|8Uq^(9P2?lLS=>#*zM{%Jc^TP_Fw53X^b!s3Z$8tgC;>O1VCqwmsjZt~sF& zXxGa6`UC(!k^v8k^+b;koKY4_|F3}M%Kl*E%h1Wb-?*j4^NM3DqNnii&@dJ2=)% z&-0-&cYS>B03ig@ZenSvmDcPCep-8+UM-SL1eXKghK7F_10|pB$%?YpFaN(9E-7La zw5D!NpiH*wUlkplmvU)5y)9wk;b)kOuwDC0OH060PSnd;fGGi)i(wJ-T3+?un3X{F zdw1L{W>B#VsLxEJYEdA@Oh9kXUEy@tSus&7T6@@6A7sbdH#RmNs`0iZv~(SKXiV8M z=a`F!;Prp{5a~#Uw!=L(vwCHpoZbmoX_}bNZ_T^xkHXZlNJq`WYes20Mt!#pEL-16 zfIWeS(cQcm5o6>R3p57x#34tp$fzhZ-$!n$uA1X=!d(-SYu9B$ zk`?3lfrVC7R-Qd~ZUW7PF80G6x?L$=>E`=Vs1&o%Lq%X7%@9|nW;;TmxURoNEflDb zCc&oetlCQ$`^Vq3I0cA7NNpwKq9q|v?PLvBTG;~j@jU+=ny-dfCINvf-roB>;W2$X zUrK*U1PmBs-oAaOmZx7MD?`>E6#g&SRI~x9zR>#?_!e=TCl|jtLuBCt| zBb_x_vUi{Nx-w~=+CASXU%zEttS9$+Eh3wb{>`~(D;ny|r0Hs{6rp&eG)21iW|0{WTyguG$?(z|bECC@NdE`g& z$d5s7LR=7W7$RGyAU<{fR3J^s9^WUDV zppos$tT5b@CuzLI!fON61V`C8Im1vPo&RZxOp4B_BO;cB14pi#mnP@^k@LY zqZSK<(rB8TQyG=NzduUa{RqCITj6mtk|Cvkes^yk+wxKI2+a+IpakC00N$RN$&54s z$}5W>P@!sKms!2lkbLk|}@5cEev$ zzpC&4mgCsB6JW8j%F0%Y1H~2tPLqw7)IUw$derxJ@TmQ>9tV0U!T*^||98nKNLlm> z6q?-`);ormea{g1hvLsZTe&j3>E*UKAPv9^>JXSPF*$kDQ`|GZO6+NW|NgzRw?|Av zqoklfI9OtTFGZyzN0%3%QXGFGlun_!Y}$T%TN`?4k7|IHm)rmIt~l4fq|wpQ8}t1{ zMn*<$Nn-6F9~|7>t=1-+;sqU36$U1|IJbegqii1pO6$(l(`eHA@zL@z8nd#xv0*;; z?djy?q{c7Qk=X@m=~+Mk$|TIRC;cXV0HU(*n^DG&r9lXv2tPsf$N+C-+7b^aK0Z z<mdQBK$uZ)ZgMsD28(=%4>cp6L* z!ar<_=Vq_=?(x>rG-H4BEyA&t;TY1XM&^*XEWROWmPz`7o{OJ9;hRQ2OQy?_mb@s@ zk(zsPLxA+lOS()0sdH!bPpMwgxEOIty@=&a@=4qoc1dTaX{r>mjJWxM&{p2%b%MPK z$H~N(w9c1BeReKBD6tD&pJ{Ix8q%-uI~3kp9vxlVBnXt;*xr8zrekk!-`dtz57G3B zsF4ZCsK?uDU;~0~3p!F#8ri)sUtXo83{FX*J?<^DYELY6o>3wsB5D{LGnP8Iy3zBu za(!2|sk^&dzOP*@aU1y3yTrt>d*L+FA3Am385DqwO(!QgFgV~mSU*MWS9f5&1uM6@ zvpP`&Zz`c3-IE_i$C?Dls5tOw6TVvK)bHe(uTunrKP06Lii{` zkEtFX%yXv!{Qoe$X*W_q4!k97z8`xJ+-m{o;?i*Wl_@77Fqp2bVt{czAevOKDgv*GQEwWx4xu7{sm2{`pRzE5(0$9L-Zs6<(XH%~NZU^PdM= z4zj)u@BIMNxmxbF_!|6PI#(+=h=`WI5^p6Sxy~NMw&U^9p$A|CT1Av&P|NxbVHJF=_TR@@r(QK&Zs^(t5V_}@<7RJe>c4bI~y_pXd)sa z-o1bS8YL~^)V2ekS;A;UC~$FcRkM5l0C{lSUK(b6bS2!t5RtE@J@8Qh5i46;_D{Vw z3TXah4A&LW1N?_u{R*!Gj*DQ~f90FpRVS?W*(HAljvC@R-zWXOJ>uK&@USBM44q-# z@@REKKi23&c6PQkQ9?q3B2)iVh+>u7q8<=g?yu$LW&mBB`lT1^>gtZYum%PO=Q38@ zwl}lgymgoMv_{Rwn8e6e&afwTirIr>D~1F6>*Ud+rlxk>U7On3m{afWXT!*$w}(t^ z_T_)*c9X8VdF!+#rOBtMQ3<;+3kwUIIyi8DvHeX9)?u(#(b?JgtIBsDHmw{xwPaB? z|6rJQC5l8Chru|X5Ql+o7U#{AWL)u+&o1Dc#TWjc1OId2|Kq>`uFmNT-I4M;o;dI) zE3G7zCu#ibe*sWS0|XQR000O8001EX*Q2w5X9gMsz`{+AlZt^kf3$g^fv`cU6Ga%EN%8#zu}H0`_Z97xNWK)1d@CccNC?|gsvPoJ`sJb=o%6a(rU+mwKa zWx~Z`Kns0$mykseo9tu3^%PV_gR%GtifeMGWJWTXK>8eS zm-G1(#D#|cfA%$4Ls>HF{9WE-p+O0jzRNje3O{0if6k4t8iWoNJaBkC7i^y5JOx{g z+cHit1r2_EU`v^Q!auNHwYqJ;0ozD(IF(h4<%1{YthhSTx& z)k|}&*WKMaeo--Bi%&Ivu@tCRdZy(J!z^GkhTUF$e+r2#G!7^w$g)^~GV48)+4gLs zVZ9dVbZ|1;U1#rP+V#!1>%37?f~qp0dAXh;y7guqt_!^_jZ?^$pqMTcM5YR}N4y19 zE&Sddh4gJarE4V8Z=2PAjjV4Wh-sXm!XDG0;6nR#Gt-3;&p;UM!He3YJbZy8uoe>q zEN!r0f7vp{YjlYhn+D}SAajO~LEY9U0cWYHQ=w^KH)uPG4(vE+6P}7`(Cr=KCHmN~ zJ<2hQ-#g^udADy>8TO@WsA-uBAGTe&Ldi>|xh>LD@ z6aWAK2mk;8Apm#3Ry~{s004+H0015U0047olbC@Qe>pCAZEWpZZExE)5dPj@!Kqk~ zph{#)vLz>$iZyP~0PP&aX$!0f0@`M5tum=mbY8Iazwf9QTaINpX|kbc^u?lhr@Pbf z?jG^Qo!2+h5M5Cb2b_5t-fL)xvLPP@Z0u<>dAaLqul*OD{%tJj)PI3c=LG#urqt8k z^C6M&f0X8b*~L2AZRrR%v8AJS6Q6gClO^UqIG-Moq2xmIP1nuIZ$du&ijv>6+X(p1 zL@*vxal(bvvPZKn4fT(^p5`_*^`sIFJcoS7WNhR;*%K!`4l>J3vk9g(8#*#=)v_A7 zX+`6DVgw5OU2B#0iHLwOP{gF*q2_1ztBid~eXkgP@H>Zai6*cYwMk0HPq1Ps0CNMS>XWeHdl#2+vDM2vU5OLiCelfq>`3t8YPtb zf9P7~tkR}_4=03;OEn70fPNp1%bZmjdl6-2x@364fpn1w7=`01ZFhNdePK-Xgb*ir znsnz9xESUl))+RET_TB!v%Z8VIA#+n0=bW}2D%Ce8W4!bNbrb^ldNBe`9R{YX%lXg z5dZA`MIN3VBk9S>-5`!aa*K|Kob@8|f7cAuOF>v15pW~~^XZHovp^nkp;%7oNRVq! zgD6fO`3R)g)1u%8-WUS=M!!8r9+F`f*xrDgQI91#qnI<_yof?Bw}BIy9V0VfZqPd# zMn1hF;r5r*M|TEiF+>bfnqELgM@5QWyjcuZ=5OSA$kfsD<4cmycoYoR3M@Ese@U*M z3^=-`gWT-&_fI1Bl@a@fVJr!q5*d<#;9M@rHL-v${lBxC1hO;dI+okQ?w)O9tJQYexMh9o7%6jZv$14! zmN-V9Ip0t0ut@0|lz?r;DWG(BgOr5)SHJ(?eCPMOGjHDK+;ir> zx%1|{d(OG{oioE{Khac8F0e->U^9pMwXL&@u-H2NQofkFm{;jrRG`{ROm%#>X*N#C zYfcAWk(aTWyw$ot*3~|WqSC0178ILQn5J_0Q}gsuw^BJ|P$^|SLZl4k4_~xt?{G!D zskuLVkh&oi4iC;iPoP(rg08Ys`{X$1{kk=#3gS(ocC_R(vcY`E4610U>&>GBM{GnG z5mL+|!?H=Du4=7`#N~N{(l*R;u+wdLbY8N#Bo|#=qmXpZr0QQKiq^Fgkk%P z+BF07uIXLB>3y+s#E0t`?fKkbNo@0j;VW{Y{<)I}6D`(1(>ur?(#!>L&$G2oAucpW>|X&-d*ydHz3+uJJv+`yM~k8e&?1kvPgjX%UQ62LlnW6-96 zkX>O)WTwlnrf0fJ#YqbM*88y9Gid^RCKs9JRU=cDjZtda>{r$Y$}lq-w`*2yaUJg@ zT62ugr%p)N0x8js)6Bin77?&1rUNZFPli?QJVG?~rdx&xgfRL!5`=DyDiw4HjZME8 z^XUE(4YfCXiP$9-B8{bZR#fAqBz+hju2`bse);8zntaBO%hM?#t(9J?3}0_Ys$k~m zWbA6MIdQ$6OM80mS>-wVX4NpMXC6T-@^)y9_4Fd7bw+_qji6{d*R3fRSM$b6=XAXw zS(O3#0K23K#f)abAT8eOXXeAgaV%Jh1bmC|_Q2(7P6R{tkzeU#HfK>`{>mq{#OP)7 zgUQykAtB2LYo@SiS0n85l0iuL4D$~tARjUJJ03ZsV!7xj?U|vQ$ONg zx}u|ge5;j6^GsD+h`P^47fWyYsTf~TX(Sh&xzd1M{{*=9s(nA?19W;sNt;igqj6Of zA~UaC&27%lX39#bu`ANk)NY8podSPmVdE{m=X7SwM@L)W0hg{mj3ai($TwTN`|yk6 z&yogou2TU?{$Sv49lN$Rq7aPrNw#b04Pa0Jff=a2hk=6*FWBS`bFt2I3C+UN44OY} zMfSGNbj*g-qFn zGM{Md>V?)d@F6^+2{r}n&zsRXBR+~tjh=~Yvb49q=2Xv$WyT#4WUl2){W=f`L>01g zTFW7SI7!MYjGIhz!om3EGoe;y?5RNs-ZSF#+7G4t{5l|~YaVpzoa*p;zYuquzY18wQ>mk^uImXMJ| z<@Ttpv=?k8u4aQ*Zqz=lo~Yz{HHfB}rgn$UMYo!HRI$-l^%{!uUE>*ts6STB9 zgW?TUQ5@{jA9`|mXZ!IKP17HTRtZYa)qul@^R?JgNxB%8rQVO_?GF~Q-6B@gYcTdP z;#QdB$xXlVD=GGpFxq>vWidxUV^?b(OT(9;{d-C0C2?9(o zs?bY7hgnIWjREUWh_otq5aOz^)wlc%X}fdsB&FN^-qg~Qfd{jLROg7P!DL*XsHmU3 zD&^196#WGwu;Ll9%ssNkhBh)Zxxaqq=_uCv!P}vGr!gufevWR>o+2p4TP>ku19Et{ z8OkCPtL2zD;<<~k6%l4uV(t%Kr=)Ni z{5)MsI`nA5QI6B@w@)VwZm=6TBPz|zC$!>Z7rPRfm*IzA#?AIzH9oLgtbhA=2@jWs z1ulKu7qC;RQ$n#`@Kg1KI83Xf!}2Y}#8u@ft-d`Txg9)7-d$6NXY~G88m`E2j^eru zvL~bWc&GRUFY}U&HZ2kF9c?up<`12~=oz`0Q{Tuv9(o1G{en*ZD!97_neHfhMg3uM z=BfUQORYl-NSz#MGh78ak8U1~J{+{Xh=#`$wwvmOX&rW3^mjWw= zp)+4P;fvdv(^iJjJAK{nZBwZ}@S$!I+S50?u1Jck6+F4;++;@($qa?40_-rqUeTzU z{ukUd;Z59dgV{=U-Vdw&QdXao!;G;R0|GU;5G(%1a@?$H1i2eZZy4X0N9@Kjr|i?<>Pdsp~;`(%wL8wQo&a4nQ~c1fi|&Fasm@J*<5G zl~#n|`!l;XLXbfnjM(JG369N%KmG?Yo6|wZ1 z%zZfb>WxkS4<#$6SDzr}E!;vI>@EuEKKeZ#%h8K+*yho|oa z^z7?R_KRh5mq?9jpZ^#@8RYME-V(ukzyI(PeTS4SGwLdGe`Ee5SP=ZY~K`EbtGu+h2q zQjqK}SoBKP&@1f?ebJ5zzsltKYTdS(My)NO%lyaf>FK%*3W$vd^4Mlw&19|$R)DZM zmi~)`g%8BiUc9uLEtXBmu6_D1BHb;+s~2x?cIk$m61ZB+P%m{b61mFP&c3)VqFEws zFjird9<+*pBl}Pl;`5l9CllT}V6MsjG%bv)BIdhf%lH&ET8}~G{&fH@EHC*uascK_qNYJq) zY{7o1K=CXeqU@c27zuwbb(OKzR-wSTM1w`XgdDA6@37Kdr$dqXk#-#y&nz|07$48B z`9^7Ze0aN2$GmJ}h;c%&e49}rQK?QqQ~GJQN0red%iA>MZ|5VELq+gKy!=e~^*~pM zg2iF^PusC!=w`n8<^4OcsmgclLUA^Q9t&mf2W-}1h?DU;;#PvgK6UV-kfDzuEgV_< z$`q(*)RP;f!~`}IB})=#?8(J2HHU9)5(v7HblUf~77l)eU&?ZsR9 z*4$MFfoebqJ+#&_{<2;1j=^d&nIM)ss<-iJXst{AE_a380$fNp;?`B-&NhCI?w3L6 zSvc+n4wO)nBmadnGKho6`TJq9L_@fL>(Fw5I?NPeB4hh$Rrm!?GLN*r6xgzGilbEm zL8EW{#*ARU;oKeiO|8%GK1VLu9M{l%DNI+W+lnDIZw^wi#u#mJjx&-;&*Ic)o#j zfq6W12g)>U%i0xaR>Gi94BSC*$0-OA&mQfQ^mLWza4cqVQS(=6KInA?e@%lZ|D-Dy zk`!4YV{v3@cKSumC)=smLV1j_)gV1k%BA9m#z6q)c(VYJwO1{2{q7v%+^657p&-Bz z>Y0q`gdmVGcFx6g(S?J}UL_Dk7JBD?@(&9w(0a>?m4F^}CMlez4k1h+?ial=?eLeP zZa{OQ$2_pf>gS!mzOpeqnd_QV5C^%5coB&DrwlO~S zgC|-diG?`85o|+04g*gXIHkCl(3UqXakv`XlJ~;DcdLAMJZMtFDWwDi7ikcBkJ$K` zXq*Zj$T&eT@nX6YIu??+Rj9TCIr)FVw|Hl(3l(I8Ti%*tMW$HbQCB>-dr7S*Hq@zx6nm(Mmdz313&UGM z#dYxVbLxC69Ic9UJ=LodBnq8=A!@-cM}4ZDQNW(Vt+&C}34bcuhBw1gc3N*J(Xm+^7 zjbZ zgL?^E=L|LKkB&6NSdF(cE=%#uQ!H*ovX4sMPriDL~n2UoiFDaBP|)*pbHnFfZ|CYBEgcKSEY=%D_Dp}YH52iB8?f(o z51cIGm3oZ`KMt+BrR~L9LtA|18M?Xn_3q$Q>=Q6m6ugNQPQ$#B#oVy})^PbMwsEOo zdcI!Bs4b>dwYuTl{OI)Nr{HK;?M-sJK0RQ&LW|(1PKm*(to(UnJJiRpaPLl~_!qr2 z;^jtRW_^su&U@D6$5yM~XDKfz%qQ*a5w?0A ztdj{LK0bX^r&W*aU3O+5xcYWqxOd`3$f<4K2QR+-clN_->r^W9IpP<}Zq+hk)E7Ip z1lP!Ok!N&6U2Tnzy}y>G(r!<_(>SkRBxEMcBF}#F=E9BQH``_>Ds>CWC-~P(V5-Gh zyY)bM2tjD5%+dcgAY@er#N`Q~qoM}etK1-N-@i~`4F;<6{|n!vAVbh!IEsSf5hw_w z`Lj#3je5c{$}RsBFaOg}1{$gf0e@wY{@4I~otWl-1M7c8{t+}x`YTww4g>LL0$dx^ z@f)0==^PYN040=U>v1DzrP^~@)L<0cezTnXfE(F68b_(0zu zvg#i)8y}$Ef`U$}|B?vMpq%EvT_1MnX#O`k@$c+PT7Zom zHk$wT&i=6fGyR@+l&>ZW>i!7WRZ{{nyHJpOH^5N)1Xw{q(jI_lPa4$F4;VL70`_}Q zQ2z!Bk^#s)FwMW#Fd7>D-x2>arspQWG{p#D?n6Pr+W>5zgXXU-g?dL{n9$I`|0P?p S160jY0SWuW*zPBPIR6J{9e9%f diff --git a/test/seat_heating_controller.epx b/test/seat_heating_controller.epx index 4e0328c..29c4640 100644 --- a/test/seat_heating_controller.epx +++ b/test/seat_heating_controller.epx @@ -4,23 +4,23 @@ "Creator" : "developer", "Creation Date" : "9 Mar 2026, 13:03", "Modifier" : "developer", - "Modification Date" : "9 Mar 2026, 13:13", + "Modification Date" : "9 Mar 2026, 16:05", "Creation Tool Version" : "25.3p0", "OS" : "Windows", "Path" : "file:/E:/home/WindowsFolders/Documents/GitHub/requirements-based-testing/test/seat_heating_controller.epx", "PreRelease" : false }, "Compiler" : { - "Name" : "mingw64", - "Info" : "MinGW64 Compiler (C) (8.1.0)", + "Name" : "(Internal) MinGW64", + "Info" : "(Internal) MinGW 64 Compiler (C) (8.1.0)", "Bitsize" : 64, - "Replaceable" : false, + "Replaceable" : true, "Default" : true }, "Architectures" : { "Simulink" : { "Creator" : "developer", - "Import Date" : "09/03/2026 13:03", + "Import Date" : "09/03/2026 15:59", "Matlab Version" : "Matlab 24.2 (R2024b)", "Simulink Version" : "Simulink 24.2 (R2024b)", "Model Creation Date" : "07/04/2022 09:55", diff --git a/test/seat_heating_controller_btcdata/model/simulink_live_testing/slArch.xml b/test/seat_heating_controller_btcdata/model/simulink_live_testing/slArch.xml index 7f5c4d9..8cff2be 100644 --- a/test/seat_heating_controller_btcdata/model/simulink_live_testing/slArch.xml +++ b/test/seat_heating_controller_btcdata/model/simulink_live_testing/slArch.xml @@ -100,5 +100,4 @@ - diff --git a/test/seat_heating_controller_btcdata/preferences.json b/test/seat_heating_controller_btcdata/preferences.json index a4275d3..8f65a13 100644 --- a/test/seat_heating_controller_btcdata/preferences.json +++ b/test/seat_heating_controller_btcdata/preferences.json @@ -19,7 +19,7 @@ "Domain Checks Auto Update" : true, "ep.simulation.ml.bl.prefs.pilExecutionCleanCode" : false, "User Defined Test Auto Update" : true, - "ep.simulation.bl.prefs.removeExecutionRecordsWithError" : true, + "ep.simulation.bl.prefs.removeExecutionRecordsWithError" : false, "RttObserverExport_Folder" : null, "ep.base.ui.usecase.id" : null, "ep.simulation.ml.bl.prefs.sl_simulation_mode" : "normal", diff --git a/test/seat_heating_controller_btcdata/testcases/heating_cycle.tc.json b/test/seat_heating_controller_btcdata/testcases/heating_cycle.tc.json index 44c6d5d..2a007df 100644 --- a/test/seat_heating_controller_btcdata/testcases/heating_cycle.tc.json +++ b/test/seat_heating_controller_btcdata/testcases/heating_cycle.tc.json @@ -5,24 +5,24 @@ "scopePath":"", "architecture":"seat_heating_controller", "description":"adfasdga", - "length":"18", + "length":"24", "draft":"false", "created":"9 Mar 2026, 13:06", - "lastUpdated":"9 Mar 2026, 13:11" + "lastUpdated":"9 Mar 2026, 16:02" }, "vectorContent":{ "steps":[ { "step":{ "number":"0", "usedTestMacros":[ { - "uuid":"272", + "uuid":"25E", "name":"system_active", "endStep":0, "isPartial":true, "type":"Non-initial" } ], "inputs":[ { - "Get_ButtonPressed":"sg(Square, 18, Simulink, false, true, f=4, a=1, o=0, false)" + "Get_ButtonPressed":"sg(Square, 24, Simulink, false, true, f=4, a=1, o=0, false)" } ] } }, { @@ -78,9 +78,21 @@ "Set_CoilTemperature":"0" } ] } + }, { + "step":{ + "number":"18", + "comment":"fifth button press: high temp", + "outputs":[ { + "Set_CoilTemperature":"af(TemperatureRanges_HIGH, 4, false)" + } ] + } + }, { + "step":{ + "number":"23" + } } ] }, - "requirements":[ "subterra:data-service:objects:/default/shc${WorkItem}SHC-87", "subterra:data-service:objects:/default/shc${WorkItem}SHC-86", "subterra:data-service:objects:/default/shc${WorkItem}SHC-85", "subterra:data-service:objects:/default/shc${WorkItem}SHC-84", "subterra:data-service:objects:/default/shc${WorkItem}SHC-89", "subterra:data-service:objects:/default/shc${WorkItem}SHC-88", "subterra:data-service:objects:/default/shc${WorkItem}SHC-90", "subterra:data-service:objects:/default/shc${WorkItem}SHC-83", "subterra:data-service:objects:/default/shc${WorkItem}SHC-82", "subterra:data-service:objects:/default/shc${WorkItem}SHC-92", "subterra:data-service:objects:/default/shc${WorkItem}SHC-81", "subterra:data-service:objects:/default/shc${WorkItem}SHC-91" ], + "requirements":[ "subterra:data-service:objects:/default/shc${WorkItem}SHC-87", "subterra:data-service:objects:/default/shc${WorkItem}SHC-86", "subterra:data-service:objects:/default/shc${WorkItem}SHC-85", "subterra:data-service:objects:/default/shc${WorkItem}SHC-84", "subterra:data-service:objects:/default/shc${WorkItem}SHC-89", "subterra:data-service:objects:/default/shc${WorkItem}SHC-88", "subterra:data-service:objects:/default/shc${WorkItem}SHC-90", "subterra:data-service:objects:/default/shc${WorkItem}SHC-83", "subterra:data-service:objects:/default/shc${WorkItem}SHC-82", "subterra:data-service:objects:/default/shc${WorkItem}SHC-92", "subterra:data-service:objects:/default/shc${WorkItem}SHC-81", "subterra:data-service:objects:/default/shc${WorkItem}SHC-91", "subterra:data-service:objects:/default/shc${WorkItem}SHC-80" ], "interface":{ "inputs":[ "SeatOccupied", "PowerMgtState", "PowerMgtState_ErrorStatus", "Get_ButtonPressed" ], "parameters":[ "TemperatureRanges_HIGH", "TemperatureRanges_LOW", "TemperatureRanges_MEDIUM" ],