From e0335b2b42d6c0b002452fa29aaf4de48c995167 Mon Sep 17 00:00:00 2001 From: "flyingscorpio@arch-desktop" Date: Sun, 19 Sep 2021 22:19:08 +0200 Subject: [PATCH] =?UTF-8?q?Start=20logique=20s=C3=A9qencielle?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- cours.sty | 4 ++ .../img/bascule-d-edge-trigger.png | Bin 0 -> 2392 bytes logique-programmable/img/bascule-d-latch.png | Bin 0 -> 2108 bytes logique-programmable/img/chronogramme-d.png | Bin 0 -> 41857 bytes logique-programmable/img/chronogramme-rs.png | Bin 0 -> 16392 bytes logique-programmable/main.tex | 59 ++++++++++++++++++ 6 files changed, 63 insertions(+) create mode 100644 logique-programmable/img/bascule-d-edge-trigger.png create mode 100644 logique-programmable/img/bascule-d-latch.png create mode 100644 logique-programmable/img/chronogramme-d.png create mode 100644 logique-programmable/img/chronogramme-rs.png diff --git a/cours.sty b/cours.sty index 9e50dec..07efd80 100644 --- a/cours.sty +++ b/cours.sty @@ -86,4 +86,8 @@ \usepackage[hyphens]{url} \usepackage[colorlinks,hidelinks]{hyperref} +\usepackage{letltxmacro} +\LetLtxMacro{\normalparagraph}{\paragraph} +\renewcommand{\paragraph}[1]{\normalparagraph{#1}\mbox{}} + \sloppy diff --git a/logique-programmable/img/bascule-d-edge-trigger.png b/logique-programmable/img/bascule-d-edge-trigger.png new file mode 100644 index 0000000000000000000000000000000000000000..fc561f6fbe4662315a02cd8aa6cce83429c6918c GIT binary patch literal 2392 zcmc(h`#Td18^?$Cm^o)EBRt6Fkkh-I$0k}BMx$q{MIu^qmZlIz4sXIJa+qdl$;z{6 z8(x}nst`iXROB>MTRFepKjFRJAKo86-|ux__x1hhzOL_er{ml)vS26}00783pLF!v z^V&VaLE?J~@*VrOXA)5k&Ug?AG&=1u1pr7XI6I>8am3{kkGlgM>g}!(SX!F8)At~} zF1gT0eQ%H=zT;X7E=ng0SnLta;8IPIItASps!-D0!2-Ff-&OMW(^5B|YBdC_3jBeow}&T5WoS2LH0lcKV${_jr~+yfKQx1Zp*7k+K-*gav~jt(3dVxCu2qXHbd z(fe>z27n6C*`n_$8~|=XHHn+(0~Gg=_z$JvnpMN)8`Ej>8pP%sBkKv=!2kqw{8dCi z1Nqm|H3CZAba}La-#7a0TtyC@GJjG$+01E4{zdIbt)6deNA(Rz6OBPZF@KV)NjoU=5~ z(18~{I!VXWX}i4c1T{W1pg6~%#^n+kOhJ+f`ODw?tI(?zM>T>f6QFnH)H&PD^}=_< zMsl*naZ`b&NdhA~v~9vxTx4Xfd2Uox)X`{9BVV#PjmWW3RsC$RrihPqrAMB{4Pri<@8 zBIiNJd}`O}4_u&|bGkD!tkA`Rm>c8f%|^U0>m96|&{k~p3eR*pC>4{1pCyZyM&^3T z9$l#L>h0o+GHI*KF7%sLC~fcPVb3yiLp^A%=XG}Cg%cHzNe6cMtX!q#f2{_;hvfLW z+x?h4*f*Vyts6Ppr#Jn2A`BI$)_(6WkJ%DmOvSM-^^``kyn54DnKzJH8w<++K z6KaGOCnj#|WgI9fcyc0Y6DLzXf9r`ol3b{A`1OqZKR?73la3LyD_I$bxGCXoyrOL9 z$k`(u?E)8n&eW^SB#({gR@Q`;kzTs`!GykE{+|f=E;1=+rKAQ~kAsgsyj@MXtRv>V zGHi_){-jIA8_uX`=B)k&hODi}!#NiH`9Q4AeZyv-;C6kwdEl9bAX6!~AwTx~6lK+! zNx`krFW1+Z)NBofQ&`vpYYxc}7LWV*m(`)fe;m_?L@yqN#ohN)71=^h9(%7kaLm23 z4X$r>CpEpZ(||D;kLvHYjXBs6gCZ%;^j|gTu9k#tC^nF`+-Tn|W_g~r5D!F2aLvhC zeiiMw=hdls{_c5;=0ubF27B}9pFyAP)#qsLCDpI->#HIdf@W_(JZ{5}oxKVbQ#c8=VSC>y8V)!{xM=YGQ zpA~tzyAGm!tvrpOC!8sS))XnoOmgwt-L+_DMr;i?);xb>-Qoe4MaUGva+5XF9kkT5 zsa~!6KfAO;V!ui0;(}q$heJ-qYUc)ZfA#8%02c%*tGRX)ngot!^a@Pm_#@Wmbah-X z<|RK=>qgxgD|1dM`JvYUeRzR|4FG=Ix+x)9095#juR#gDJ%{#Cs`r= zIocRv6M0ade=o2nDmRxgdiTvstfa7tQhBb)_a$_N{A?!|dcF>SrzP)os;sIlw}mD? z;VxR8=H0w`vk?3CZ};Qnv`5C45sr+}F)C+{Hn!fx^%YnGVtk$aFJI1JG;pu+MXc;i zWYjmT;Q=mLxbUIG2Dyk(KHwHrq%=U@-{lk7gCPV@5SX1U_H|Tm$m-Y$?=ocrD6;V3 z!xjY@8JV-qH?D7rmhH&Kg&P`hv)~{Ix6-@QJjhB9sAE|DCHEleqRfDiD)TJ6F0i{G zMN)o-FVFJde*e3n$7Ji{YDD^E_Dso6YWt$yaBpgamz&?nE6toirGS8dxHsW*A4<+N zTs_B)4IQly%|xtPF8jvW_arzoG~TH3+HAJz3v)8rpLVAnzx8LI@tUdv{az7F^U{9t zC)>MuqVZ}&sSA-j^WI4x`QUK;Lf5Bz%aZ+l1!#16Rh6W%%(bQA7j5&VQs1s1^7k(+ z;eF(V@peWp$`s7yd!z0QK0R$rn5v@}{#~s3$ym-cm54I+WLzl+wu^)Jf$jipue^M< zc23VKw9)AY5czb3?s9zVg}qxoCgBmL_Sx60dx<8Gz4;QjFcso{$rjn$8vfH55G#z3 zq7X8e26(Gl>iMT-NYH>1>Q-M{&NWq>CR2}gKn!?72{RFjy46^j<+~4Z$W85fgBWnF z$n3Hr&JPjsW&96F2dS&t>3;~>z{6~3%Q}gTaS`L3m@mg=D&DZ!Z0fo)<(jGnl8msj zQbEMbucss`G$!sQkVT`<)gX}1;fIUvdjmd!FA6UXL#Zv{YaJXp`2E2=e^Qb-uTy)` unu_xANPQ*-mVss0EGCH)kSg^e`xBjSRljl3ANO7*fU}dkW37W<^1lJz_=mUv literal 0 HcmV?d00001 diff --git a/logique-programmable/img/bascule-d-latch.png b/logique-programmable/img/bascule-d-latch.png new file mode 100644 index 0000000000000000000000000000000000000000..e5ad69bb5ddfb9da8da7c554b8f284d9713a8a48 GIT binary patch literal 2108 zcmd5;`#aN(1O1pw#*2D4u_ABC^tvS)vgIX`Tw`-BlDpiC%{zvdsE|xGHBG)QX_&HH zVkFESw1n<1Z4ITxhS=QZ^?d(_@AG_rIOja)IX|2q&$;g5=BT8wPXPb`C8yK&o;zB* zgDdi&9j3fnXx$O%%XUs^d3pJ9t~&<+cKvd)w?*Ru=gVwj#(XtcK}B^$Htg2EgH__1 z_E9Iccf44yAP22;kgF6Q+RL(wq#u(K>PrE;#{SAoEuBWVZTg__^b^ zl&|5P8qbj#dX27>t@R~3^-MZJvb9E-(qbhOyle=YerUbs~0>bXQR}H^@f1q~yuB zw~_er%G6Al&3!_xW=9Ln-|au@cd9=VtNSpR_dm|!?K@tXumlrfI1Y)1u&^-u?SlD- zaeiw=^_sQG3yov+&a^{$;er=>_h#W=Af$DyV5*^^;pqV^9*>6_e`a?#VCL@>PTsrf z;QG2UWi+}upBm<4)O8`@JTh-a)A$;cZs^euee1sGR29!M;V`0*buk0^=r= z1?YSn%B1H#T51Z%Jo`MD>zRxSSU|vwLty@&Vr9DSFzfDLj}I^iSW5q}uuK`|X`YBe zK&lSx-?M8jO)TVYhy+l-qKcu+*5~dr+jxkgJG6^>&m6A{V#`BD`gE=dMaaktUjlK zNjIO*rA@qpcd7jx{vIy)Ma;+LeYx>92U&Zs`4r(vc2d}R9hV<9-{Sr-kC(i#G*t|N z_I?AUS@%sGn*2UrW(2+<1k|Db_4lqi}D}M#iNCele+-xC1Z8yJirQ zFg^J{#=0P#ntq#|Ymv5t?5XsX<%NYI{tR>URnMfFbZ^A~$)Rlvu@>}W(MwoV8*>Sz z65URB?&4X6>$xXD$5obEVjs6t56f=;b=bCPjv0PWbV!m=%{h?v^Lc<6LQV-?bkW8R z(AJs$-@Th4?H;tZmts4zUL7L;dKf<4T-qQ-dD&|B;c|4dg}8sR&i{Hr`P&o~UB0(b zeT3*qOMcZHCMKxSy1)3~C)7yX-+|6%R$9LyvrVYsvfJh#mAB}=?mhQ|H&@(=0c-5y zGiUrT$*!0iOk}i!E&2%Q&xuAcGTTOxh^9rsQzyaflsXve>~5K}8kQ>$J7(Z%6 z>sFaI9>`F5s@yRF(mWRZl^wDAkdx) zwUWXq6x;s<{T~F|oW$gltoI6DUS6rpS}R*R8S{H;vey95`<$qLA@>0&B%$n7mc$<% z)#BlO?PJ=JqJ(C;56f<2_3Pan=P<+gM=;^FF8yWA5k>aQ=CJtnFXe1?_Wk#Z3Khj# z3$y4t!N%Mp*lNi*_DyS8;*9HirV%zJCHK-7<%Hr&;ybT-!=mD2PfR8oVw2-%qTHSIh9Ge=oJlSBICoLNxw9s5+|{RIx8{|M-$rJR}z1c zhD_QCJC0S4wd``Tqut!G^F3%Zg zm;a)`x$5ZRw!6C|c~6&Ww_;Ig*&ms3zIK{HrrH5hD_g+*y@S{rFhO2S`UjxY=L;Kv zKwRInjMRS%%p`V9iA2I<6`2Gw^cin*Zyy3g*e z>fMn_3X%x0xUe7~APCY@Vk#gYVAvoapz_dQ|18t;fw})4;I1OlYS7TooBN7;ARxpb z(qh7D9tM{^a5<*xsi(d={jjsJRBCQ1GVl38`50~%G(~Y3*D-2NL$H0k3g!&YmZ6H4 zJbP1aw|HkB%LT|SgO4_$nSqF!C5v39lD{2k=-n^(V$`rtHb99|F&h@4HE@?;p%<+o zXvjtUzmxTUo~!M|C+Dc1HB}h8HqLI?*7VG9+g|lNZP+?;`+c;VVXA_aLdd~npfZuq z)j}97IEXg=rUw0g#sqRBT-3k(Oyou~{V4&|fpGvM+@!c6OAe0zvj}CQQlS^il}@+* z%zFJ?NTXjMPnX)eQD;Vwt^?RFF#qo}Qc$_Em71hYdVQ~oG+ciRiHW1)BFU0{V`@}u z`JMX1$JP}ygbg;p)%diX`TzVN0+8WlIJbzik%7NW8W52yvVyMCbj{w4TV(cjo66Xm z70RX*X_j@WP@Ao#HjuN{hyJ1ahnheNWOASzR9|s_SF8|Rud+0sfGE8ls!*tKIS2*F zy3(mQ#RjO6*$CnMAO1zuenYj2x%t(Xd@Z?-tOFT$$gIP`|X?CfNGGcz0#5uiu(V} zia5qA-1OqW$eu~tMlFG6Z zRSn)`!KUd*vcPDDPO4NH-`ij!KIhIYFU1;-Dn4>;M$B+Q9##f|byl>=mbls;Ow92G z15xRTvc>Qc<+{<{u>SLhQB#4l>j1$8y6^VX6m^Ht_{vSOC1Yi}pAo~Te5R?g)Q_B5 zdhWlwwISSbuIbVwKrrF=vV%gL5|x94quJwG4*TcQ#ttffXyQdb)rcYG>0!icTmS$6 zL4ytx!|T>tX}b>(p`!WykE+3|zn+)2HiCIk5~%BiX0BW{8sWPqIz1%8lnd*H(?@^b z^;=CCQsqvflZKD)+pTkCDHl2(^KNwX|%9mqfPvBM8wW3`k;S%onT%Fx) zv%d%K^rOk$CjV}Zl%5<8M;wWEQG`)E!CFqvzg``n@gAqArKca4hL@<{7X94}Be(Wh zJ>M9f|HSi~al}*UXiYnAm6y9Q;Og{o1MOazJ9H4Pm!XWC*g~?e($eP!ymu9|r&Y4) z)tUH;IMY^u-gL@7p+uITd|}iA(iogLUqA1Y!pfDsOT=7rWVt4+qLXdBI&(P6Y4|Oe zKt%SOrSCYo+N1QU)91v{`&%8;zp33#CCQnEF*F2NmRbX;1a|v zssXhH{=Oyw-7S%ogYj6P}Gm{IS< zRhl(1Ghh=XBay%$)QnBpjeG^Yi#JUlRX6SyFo7r$C zMR)El)gk8~-dOR_*+Nb$f_2}aH-C%}W)3Vtja$0ZqR92~=~o|)tA}hNjrH)wU`?ed z4?&fb=dAElez4;ikb?HOjM6D9dafAltOpMK&~BP2MFi1w-~`S1fjT?_LR_7g5ltl* z92M%Ou^}8(P&v%xzF*m!sSE>jvsd?|ouc_a?5P3E2d+p`3j<;_P?aJ)hc44nfmU>v z?z~IE{#~3|;{+yn5$sJTHtCGHql@N=aptTptR*QFOw(A=%}Mf>xZDnAKAB?oV*!&V z3`AZh2m3<@!O5%x7MBrx{gT_7G|xKtO)Cg|JCq*^&A?hc&k~>5#Yoa)1ds$S*NuPEv%|WhMwOAN7`hOBKXRcBT2kR_e@k$G|xte9?qCE1t<-VFG<2#&t{|AmTXTk;We|= zR48>IL9HJ1uT+`tUn7_)NHyc?juW1c7>uL|BhQw@Ps}lJ&pe>RdxTPbvJU~_yiy*- z&VR-@N!mjOSF-iy?#y+f3u>QR#fEGxjkd*w1z33=Lu8=YNo10s^isE=53z6L^;{Q! z)tG}1O-Y2fEC+#NJi#MnM99__tJI9J0hWtRRxM zjQFC4NnIg4oy8`~{zO*uozI*soZ-XzQDo7!wD4>{371WhXm1IBN4ULM)G;PanXy)A z_2V_AnYh+)bg56E{+Rm7jE6L8r9C#@cL-~Bt4VWherL9uwI#&?Nerk{JS z9S$%@yBl1H*tEx*KJl}(3-ug%&(i`H1YMIql51Wuf zY>(5f4600#n}tj(gbrcFd8qEtKBG&v4JRw>PN7MmSIddmq4LUo?AJ@? zf*XZ@?DT6QP99rZnOO1>>OAtB7dfo5KVw3LUnw{O{y=vHX_qmw{Y9y37Ch~9*gY6b zZc4=ITeVJgi3G7_go+Ogq(9#`BW-u)8REdmbR>q9pzz5^GAU34bd3@jamp^LCeD~^ z#R=2Zr^`D`1a7=d(?RK~`R0|AjBo2i2Gc zns^vFnc1w0#1edGxtlxtX;SmXqb}^=h7Ri=xEYywaemBRZMV33`FL2l*|cid6c$0X z#*gIP^;o!nC zX?xF#Tpm@ig2}k4D7y8xdaiwy_^rLhY=@hqBf^3pO+TLTxSa%&jX=Bj%UT3pRE08`>3nv4qgQuEbTK08awI8?<1(PJ@pHnG9~-9j zEqc-^5>fM^lVn)Lgd)e_IeIzZhFDq|A;zNRKf<_@7J5m^itDnEh4z*_7qfw>)2s>D z>r8pGBpSEz+3Wl@`j{tGk89k*Eqztg&ZjLKJ)%|9RF5%X@)ts8vxLgUBv*_jxs7Yf zuW!|O+A_(7hG=h#kgqn>4pwhs)<$Ib3^$sRN*>|w5y~CSxL)QwG9lmc*S9J?f(KTht7vyW`4Y8 z*$EVxfuU9>KX}>6C`>i^SpD)b5;E&!&`%DwH0V$Hr0Xb4VNW^=T^}DOc*lxoV7%U? z;H^l(7fo&C7E;I$9A7RLsoZ=oyEQ~ms7u_jx%SV}WD+nYed3?8Ve zE^eM+TC28XtKHxaw6r|W?VQc;7YJ)OhKWBF$*d^$<1V)R1QT#;nyisAa_wxD8DS+t z@;I6j5UAUjS|piJ!s zm$@vaM|vXlN`y&h8Pbz2@%jfG9l_gvAwOFUgPB`VJk|kLhc?q=fhT$9=x^rlBFU$a zgN`&0ra<|BRVP;qHJ*Tm&TJ&O>52kdMqE?uDo__Ralz^=M>)ms&pm5 zf9Wz;oL8QxZB0_xPciWzdgksiD~yv2qRXigs;M<1P3Nt*-B50SCrj@VZG?;7T!*K; zsK$DtsPIoqtbBoiRCzb!T+tNoN8!1o|Jg-g&J|VRbl4j>-yc)Ab)YV6Cn_#1z+Glx z$r-@0JB>MQ<%>Ao^`G~L9*DQmgz8e6`c3mPH5&Yns9`*_NTZhO>rlp_qPw7+NH*k2 zvo#D4uFRE45Jexq2z389_4diMIPgkPEZ-+Ej>n{%SxlD+tS2wytS18rr z1=f8(nb98KMaCbI8hzC)CM^K<+z2peVU071dThvKpo41dDK)B3Qzq6F%wDKj z+-8eeMx!EcV{&f8P273xMen7#5&fM^Zr8R!RSe5mGTlfo5iD}Zk&>s4)8i85bvS5V z)d0YKo;~d%`KwB(v12%|aKhaacTbT!Gn&*G$ZloY`R=2VgqRWyNIi#C0up@AKRYUrkmhbDFKRl933}7 znp!+Y5`*r{dkme_+pRZ-n%&Bfs3SFy54eRwN3E-|V8;58|F*R@FbuS;A>D7XBVq4Z z6n9?R1DY`ECu2m~8aB!dif{-gA`P<0Is)cwGSYW$C9$4vc1XhCP^o$OSU3cjx&Lb+ zu<-HmF!S^Fwbtp+6p9?uda6?Vy3ETHSz}{~4_EQc^JMa&$ zpl0Uita0-w@1!G2dbJSk_3?J`+I)CGkBN_0l(XL@XIe_QTnOyY-#nU0>15^6peZUM z6LraOp!Vs|u}pG-qMkuPoBpg&mzPWnw!iAahnytH ztRFnqh}oQNHV?6xL#>kKy>p$Q^$n!TT53p??kbyx6M#Q0P$%yVE=n2?Mkj)Yn~N_odlF` z3Nu~za~ho`k_(0e(6!lc45D$H;1l?9BW^+$$(~3sDr2313e;&REw{0C_U11k{;ocB z*@$?Y-Q22O@a!=wO&G&0P$K0F&8Y&KxO(!Lmz}Kiiievtn3W0{6$|d^ifV-Fq5V0x zP58G_SXhl8y41sfsXqwsM)^pjE;k9RhV9l~_Ju)TZ1DK?TaFpcxl5G0Oc4D+2aPo` zmjeo%y_BlZ$iU?0#~9y7?XwRbyAqZA3HXHK*3-V9V*e7Ne=!nx|UV zpD|?*8|CCi|I7P&PA>|BV3Rz(jJ)HVryd9r#Is; zGcx2eO|1Xuff8 z#J{-GWW0##l&h0i3mMICYc1w{MfNUBxe#M0OmPNG(O;+u{Cp1hl8v0>x#`KA5h_w4 zrk*EnkwGppYN4Ax6s}^Vp9$sl-1wrj4Q>)MImBflROKonhxVcx3t^~?6>JWFfHWsn zEpML+(dzeavIx~27Xi)3`m`1*>ll+86_-N;o5jAFa>77W^>>Y2=*dEI0W_HuWK5UV zf&!7;ZHqXX!z`o5S>d0Rne$h(PLIGp+(z+3orUsjb z0j380>ixn7c!7`)f+a;CL8Y>|>OnF?c_ zs~SCpUIVW|XKVkonH~qWUiA zCH>+&PMeV4d)hFNhljSk|zGm&B&7Lt?~}@P)B*`>Agr!=Q0V zd7bxcj0Sq*VW+GpZE@^v#Ne-?Ou;{$esIL0&HGO;cV6MIOQWVc_JBYiQkh?&Dz)=& zg+8>eS-5GUEk2-}*M(v$gyZ!O`dLVG)iN>>R;4J@X*ZMmDZK$@8BwFGD@rtIy0f0j z7nuCG9(>Gbx=55%rRzy{xM}A=&Tf*-?9F~I)))#nFNo33-jhKl1Qpi&SD{|nMLLPQ z=bbK|sFSzOi$m@}l@zoUnrWDia&1(PiGCq*;yNmLIGuYgV~nMft~-_--_~aHXug|b zA?T?f`~;bj-W#Fhx~lyF8EO0pRYG)DWB(~&R`51f7OqYQ?OZOQxN{ z&Q@;bU1%dF-hhe%CCY=R`Dj-XDiANOY~jp|Zm%i})kL2sD3*rzn6ngz-rPcq|00f) z>Y~f!kl!+t@CCq#q!RjFSKl<7vNLqMVjDv@Q~-VBB4 zDT>~4@@=KyuV^t9wZ=_qum(r#(j;q1!}Q2?>c!nKga~3DR7O zCiGst9yA^(ezZK_^neH=-T;Ju38hC_h2}wGkpvYF-G)(_*BYg8qO*kx zJrL7h*Q--o-0`BBfuBV+4SI~LKovA@ky}a(t0Oh1v8M2a@q!@=rc45A2agp+vJXZR z;5^W`Wnc0TNg}N01KprStM3Sv=7vg|3~Zz+0RGvz;(cZ$;O}hqI7Rj(Ma0j@%l?h~ zTW8jO;V1=J_TBw*t&3_g98}nU^fNIG%;sz%<{j++1TGUJk?fSv(ym_!0$2AQ-SU65BG;olKX>^VxJ zK1g)d@bJ(2#yfPuyN-RS0o@W01uJN9IJok3G3_vBQ4 z!iYm?*OajK3V?>6y^dCkhJr&?q3y`THALUQc$fc16u!zEv3 zEbkf~zPeDobG#VA=!hN z_*~^n8<7QoPx8)!6pGN$aZ=e6d~c7+p!O9!9Fdt)D`S_p%iin6$Ch>QDKqVv2{A_Q zdaWl<%!9?38{vHE7k8aajjrb%&)q%r=bV7EzHU^!8ZG7$VFYYW_H+w*4t*is3s1<( z0k5)MaN(9GIC>wlQ50_|oY4?HE-bv1o{tgmI~Z35StG)(2aL}~-_Sy{T^zwf$+IwD zOW6jU!Gi|1R3!TSsLDok;1d$l~0QJ16Y4o@QM%Lb0iHR~OeIm5* zm8a}PQvNViDvsBxXqrhP$fyU{RhrBgiyDQ2g4~`{jkGl0wAj84B$T(1Bwha0HrNv6 zeJS?8yftuB&_i%mI2ijPyg$x%hsU2PxsrtST)Lu$^oOxWj> zYC}IynDnGW?N!=ye69g47ISEmfBvbf9-LUYoEnrb5fc=60tzP|UWnqAETfh>S7wE9 zga9H`BlMb<62>OHoqrHwy^krX!+ct67KtS?AYIky*th@!5jD zQe$!ok&9J|cD!7S5>bd>*4>-dF zlJ8^3!!OzcIHkyjzJ6*p^fy`MP&VNQ^<^CS{My@K1Z*7cT$vghAqVAP5wW_v(HAT} z%N%8a9AoZ{Bb`-fKI;Y@28qQWTBU--eX*FvNkY7YiAj>MCm|q{*svmV5-Lsa0%?>x zoJJrcZNB;vv-?H4MG1+~n3C`h7b;Q+laVa7Eg*b9tA~wpaqkKm^-b_oU#y7~a*z)7 ztq*OUQOyo*STVdby~p&0Cv(<`hU<9^shBub5mmD!B`a!+jZJFo%>J-t$;hDllEhS~ z6Zq26=xrE;Z!v=p%sENwoZeD-P03uU&rea&QAJ+)T;q@TzDXI(tFRr(=?X!q9mhwH zK&V;#APS+VJ{AlK-P>Cx1;NjklJtpk4;>M3FlzV!li0mVJ0>u{md=pQx$X~LZo7(V zVf3hJG!yDg9f zCG|}2 zTiIzENAJvBRKb1Wo^KdH20n_M;l*!sGQr34ABPjGVm&&hK?#T)A1f~(uOrk>>b5*U zdaW9P&0ubTQhI|_R9+)36 z`bZ-CRYLc~hti-Fxo~Rjq4E0Ed@?pe#Oiz+J2)l85HuHvSR4f;6+WoHSBZU_?EGM+ zK1r{>;^RGUHa#C!XRVg;z;RH~L3x50bCAAT>b9BQ_Q@nwZ%6gN=ymNyQ1SzY@)F>5 zO6>q*qW%4fu4yXdqP%K3U z1*$y|e};Cl{H}Zx`>}Z*NPHWGT1*D(_y8TUrBXFk$z@G?2u@=R9>SI~AfN~1i*P9T z5p3s`h!O1rvdH^JYW9BZKDpyKRSpiz)v+ty$Mzw2?}L$OE=urUCd4-vI9vQsg0+ohhivKC;z+^FV74{~Dymdh1k>wJsene(MV4tQSr)N;j$?y>~NMVp7S0@uixgbPSqsoCjJaJOjven#ZL53ey}ulBgJ9%k#_Fpe@okk!@3%O zXK$6b%o0*(rnoOP1}0Lp{EBJpQdKhkTkRFhbh}rvg*joMEWqX=hSm2Ns8sh>ZERrog)tkAu(T&E_UEi#7st*Gg3w4B z-TZ(a?4$1crzon!(?{jv94I4CZ8v0oR*v3w7X7dLs8M++60trpl-cqaW1gLID+?)s zyGX^4x79ueu^Fjnl)IH07Zb@lkd!iW0HM4=R-%x}S??aWpLrDjyL^i z4GccaM!CuH@P61IEZ#_jfSnceegy6g?|f*^4Ac+<3n2`>#U-)57hYry-~P$bbU)0C z#*U?{FfgM;(Zvn_w!ncfyr9`+!J!9sl7QRyf`zGybfmKcjj>air{H=?4ycY~WH<%D z)?4PK)+7o|LWPEjsKb0JxN4D7!&%7HsNl@Qu?o4)Cv=^%v*DWBW9QFNJ1i$60orLj z^11Z`>=okjBXSGn=8J)P1cJR2Nu-!9_)9&(40;9W#*lo4WFY1CB-??=FK1a)OhPOq ziNR2Xur7(>c<1H>pm>;?5&Fa@hV%Ggi3LnFU>*Gwg#V82Ma)^nU({f8;A~;}#5~!y zFqY0x8jl!e^|7t}XkuWDVfmWX4~pIU;X-UCn-$dWvX-3>*_~}STkZFn*X?L&Y2^d( zz#$wHYwzn>(hGPvT{4I;LwvJEg~7W`j$+ zAu~&TM4DrVYU2KpgAz>G0yZJ}eU%urKfaC=Es2AmW?*~^NR=Nd_V`We*B8X4D9nf8 z4uAwI+CW-OlET7AkYZw6(P~f+oxuNPA`U4vP{@Zt7*+sbmjz4J%0pglR>!0)S6(5s zDtXXHky?g>0JFx`AP1zeiHU-Q&`r?eyJ$et z8YO(;mg5E9PNgY-17a5G+qM=&WPOD_MXHtVUhf=F8dusFJ5@9vJkr}UzWk=sqr`tw z@9X`ZZ`5M8jO=!E#Lk(KfEECa)%596Nj&ajlG`1a1S7s8n<0IjB+c43FNI z;Km&_aAV#wA<8=>Q#F4e2K`j2=paE^M7bMp zW}-$}DNN3#viID_;HRY#Hn5OlBWXTMFfu|vP_~ddjjor=u2tnXej&Hv)Wlou&||=i zUcY+U-`}5P=!zLm((n4!5-6ERVe)tuGR?4)HfP!BoJO8fT0!Zrh7tRWVM^z#*`uy8 zzVXtd$giaV6M5n1Hd^xid_auDKgmFanl6s;4Qn(%=eOahCq~#2?QeK@ z&iAxt8U)4g>!9ADbdO5&<8iuwHE=%^D)rCks5Qe1_Bk6js3UcQmdvg#eN|2Xu;SFE zEG)#R#=ZCNZ^4g!q&A1`xA^au`1V%de!VBWd1%giF<9u%93QgiuwgR62#ww6s=XXV zy`l_Sxe=3-iu{HjmdnQ!zV5^Ko?{@6|GGF`jVUWgDLqG+?a9Yaz3B29inH?{5@uw1 z@ZgNccPXpg$Lx6@hm?jM`#*YK5?9q=wyEKW7Gm+pP&A;1aU&T`?-vqDjCp`V-*~$( zBbk=D)Sb_o{*RijuCCu7v)^`8J6U=^sX&)HBdW!HcRgNcKdwCOzP8eHOC+K(gl}ls zKZa-`aF;$)pTkpOVl#eS_8u}uHmS_oMRWt{)4bj(E5b=#5upP~T+irS;|7uy(boE> zy2CwcfJC2UZ6Fu*?)+9Wg=7DmOF$Z=r%V8WV1gBwpl9cRj5uU-F+Rl_tDN)cw;qiU zL|W&D&zK-*dubuu4&hKfRz&0f2wsIIQ6+ zLS`Ef0BLzyS1n;rsf&Z;+8@+UJQ_C4}%7 zb)I~`6{zFnZ1$Sot;RO67GX~+(`G%qR9vmXS->XwlA@|`S4VBz!h7L+<89~)-3c?%k#E76j&ew4yt)*kp`BtH1puv z_Y0DSfluyF#QuHL53 z&KF6dMTT650g}g0ZKZm@9_!p6#jz%_gCN3+r_%C!nK8`a%Qa`_UqsGSwXMT-{^W3n ze>?~GkyBvnE~w~U1;S;T(dbga4q^V2^E&Im2uS_Y=q}5QoBZtLN3{8;&d$#R%*`bn z%H|Dhj2gRoZ6QXhO_e5PcHcX%=@GV}gaApu9Y0qb&t@W9+!$ix?6$mbdip*$`+VQd z!UG zhWCG+fX~P}3bOFEaN@Xb%C>Z3>G9AZoz9H>axuKn(IPhHj33-Tg~UoFEOt<;h+=)| zZ~SadN6!`XJNleO$m>J|PDxaks@X3u%0!0>ujV^ijF{_wQ_x|q7stE|2C8o^sHVx8 zltOee22wmFMj)BAU$WM-FeXBdh$Q}d>8pXK>T%t1()+%B!x47DGL%RrxmLMuPD+XI zRZ8|O@F;Q^TLx*!o8Wyd9uxk@7|mP8t=VZ}kg7EKELAvuwa3^jRgto3A!4=dmq!A; z-=aKcqM{WVzj(0Sf(=yz6rso7sNk2gC=;5HE)1Ko6zmzG%aGF#GATvAgeW~nAYNYA zj|bS=-tNKv`u4~GASyZ?8y5Ur6if^em4xgR=6O1;D>L+sdQ71wCKC7wH+eY}W-Kz~ zfI-?7V&5@H(`2V&2l!8`9x=TTo6oWSIkfQiI(;%%tCWJPUCWd*CWBA^l8YoSDuRBc zOEy#N+<86DPD_rl6ph+5&13_mhbUgU&l}aMT_T7;ngFjF-)y`oC7_Jf;HA}D_RpAw zYelPkQDoSq!HRpsXN{xp#c%hW*Ur_RS{MsXDCi4P$+UPlQQ#894W>`Bp{&`d2}5BV z>|%}Vy4iibSpz`yt2qh^s2->8(dBk953rNT$3wNUk~$PlGaDZT{~F@?{HILU!MVq? zPx!fEUG_P1^P#{ww1ld_a^40}$IWCs=XLC`&@Gsh;&sm%OerfTmXTgB^v8FYIw)es zSO?ErC#xj>GJ+C#ey2`xxR&hl%2Au;CM-rFqYB0&lb=X35Qm>Q;!getblF6T`KZmG z{NS$B&8!>u?7tNiAGgkXFO7>LiI05Q<5GNET~q(()4JtzkV>7^-i!$ku=}u+2*cD- zK)yQVA<84!?Y<&}Pxjd%r)07z1ys|is0}WL==)_fd&m}<>7zvOP5H6O5*}D!bRh5O zwKz`6sbU-Ur=2mwx?Vyht2*9uGHvNddm_KfPI?~X&t83a-uK5zC#wn-2EqEv+Nb~r z8`}~&WCq%88L?!Ct;m@7ZqrLO1kK4uUB<8S`KTYL-$=Q5{_D~cZenPiStKa3=SM}f z)sw>G%3q+uDV$=nrcydL92L>y`14*}25lZU-n-sMshUq&=P-(Oy(HAWkQlP(A*J{g z(DKYd0GzOkj0~~FfF?CJ^f60;znO+#_v!j3Ad@JbVmlaAuoDD*s^QK39gN?24G=1@ zSKC2YvU@q>n9qDq9|L8EhlUO)Uz;Q~4D5!wD!W{=vy=xo)^SDQ%KO7QC# z`lMCMz5UR61h}~?>i7?sR?Bj|DrMtAFlIa3g1WzALNbR+zSBirSCfdB_F!f)+(YjA z>GX|t^}z~~UPrIV8n;RPNFJY9;m?+Wx=d)&_$WHIYGd)Fl9*dl+qb;pXlx?79jp3Y zryX}(XU~nNd^e>Jepcs_j8py@qVJrzk|Lc+Dx5SgMgUZ~m`6x1NNk77g(aobR&+?m z0SlzJlSMOkE7Ir(04c5cj>eE=a-l#}gX*TfyN5L2(GXtQ%;{a7h(Ll_qhj- zp*`R74w@<#DexmUBbJ|18r58sy)i=z2It+Chi78U*Y62y)jYB|b|(i{BC z<{ClOB3{IO+d9v>sh{?(<$B*}>)}3@g73EUWMSF&Yu@+kwR>Mz)rp!3Kx-M<6{Url z3aw@BR+%HYzg%uZVMOP)ENnE&NIxTJZ{|;yXMBImK8lA8zvS9p9U@)}?zxtt#cZ+y zkF+GD4!M0oOnFVCJ@8oqj2&LOYiOK#*)u7L(vbIQszdh&oaKkh9Vd7h)-2DBI^4e- zHTQPDy;eUb$kV@W6UiLCY8-gEq0_zoJdliIZTy`!loEVHvc3yc&s8K!Y3*&u@h`bw zH)R3bqO%_kJErR@lSP4mpn8;mka0SXVPC&Cx~($wz6L`f{i3!mB988q?D)$Vz2Abl znHuWc?2}1fQTdRW4;@_K(Frmbh5sHKqHk<0A)Tl~At4uM@^iug=jp`o>*#zQ7A!^Bt`4$2TWy=VpF3b{Czb2_r0ofayMAZwN83{YA+5g+f7^;G&=`?#j?DquhZW5AvQ=Aa!Ic|)yQ0s zrUp7HNx9X8h6WTJaC+^5jqs%{{kGtF!vFPhkb3H^)b!!4Il&6fRZ!+c`_M(K7w#F# zYTjCqhM|x4H;F}7j+_f6k%_Xo$2Q$;8vDepKbo{oYOcfD+$%r)uW}hGc;e2J?PQLzVn#I zSn!dBu#gDl=2V_e?scM);X?oY*EZOg0g`*Ep66=6c&KA(P1);{v_ACmIA)sGU1Xd|9m0S z0=E%1x$kYc?%&m^fePte3;=YX?Vp<#d3xba*qN94v}Hfw$`8>X4}quaC-WgK!p|xL z1))rqPAqUAc7uYVRW-|ZbawmKh45>Cj@##8ZvmI_I{&*VxcH{d!3p_&bu3NF`=^Z{ zulFwNu{Wj1uw@&==cRqt90kO;qf(Ta&VIG>B$L!W>x}S9ze*eaKsxJO@8DJ{n` zLoJjV$c~}ktXQBY;s5Gx9h1xAT!cQI23R~Z*3QQj-4>QY^UpuUYWAzFy-zK5KS?`# z9d*Av-Peq}d;b3YOF&vNpF{9V(cG`;{Ek@UEM@?!ShH89(+->)5)psX09=%@Qjyyy z?_oHe&hYR067@Zy-4;txSx>P&lApTzq>w?+PtibUMZeP>?_E+g7-LiYbNWS;pYHhv z+<9{eY==Xzuv{IrE%kLI;%KS=cYQ@h$W#=VqeIoG@oI&-qmLDr(O}1+i&ad?dGmU| zS@O}=`&h$(Qe~q*VfEX~rcEU>MIQRFC1HV?M4tv|Wz5@A-txCWwzw-w;~9P4{^9yx zb!S_Yx_&5@AQX!bncZ|T6cb4EB8A%I@j|!ldw;En{1Tj z{ev-Y_pPoESokmv26I>OXDZ{Gn}pq;R6mM&F>O{=L0fUDl->eOmjK3Xo?1EFCf%Vy zWH5gmdZz}CvAbT@*AA6Fdow$PO#r)=71f@Z?5q;0X4K{7U+KG*x2n~IRft$fr?(aFV^ooqh_Di}VCLo>|jz#p8h={Xq#1&lH^PCseq z_2V!9OzGmt0p?1a)i%e*Q+uS*eb?@%L;P9p-r?Is!mas^`>wBqM`3hy^jo9wOHnU; z#?pl>h%e82g$BMzq488^_YbT8hceBOq zD_YUUv*KO;u&ykLUT?cRu8d()4TYpQC(@psv%-sLUkeKfP^R|jO|j~g^w-j^P0g^7 zt+N}?S?`!zcnL|#NArV*QNqP^&}1(H7$z-3e0-nRNkaysR>$4im4KhPPhXg(AN<}= zRPVE|)@zBqM(QYuiP~46u9qCc{{{xa&W)N|tSWvWM%Yf>gc6<4d&9BwjN(W?R*V!I z6+I6$6vVNqsYzyppcM~qB>`F^l|W6xVmSb*Q#9>g68K*Bg1w)wuaro$*!sS|-q{Bh zIZzY*imr|=25V&ktjihd2zTT|sOYez0g%Bx?*%W|BqN%tLgvNdi{5$GiIzZCfmPc_li>Z*@LSnRjU)FK<%{0Z#(@cMMsdP}C3y^**TkE*7H< z`J6;^8zFKntweIwTON%wy4RY=d)qiUmm2iozw#PJ(ynyTnhaX|**8&N9$nevYu!7~ zOX+ozpOVP4SaZNvc)jx{?SQz~-5lX|de5af+ZOsYR>N(-aopA8lASpf4Abqxhv``r zXRxZT+b#^%4z@m@?D<%p8H;pf#um;jK6jG=WZWNV#zV!L4*m6epmghzs&JtXr20PS z=AGzz(F>*jJ*A_^AfDIvbbYl9M9uDvBv{JX+1bwDIT~?=No0}@M&Ambo%#W|0wudU z?+e{s8z%wdcoOtU0MW-DRP1b}0Y2(Q!RzS4zj@-Q0?{q#x)H7E|1>z*SLs5dMlejn zRyvpa2M6innA~b1Ew@dIqCobg&Z}wdJi_!6V_{_=?PV9lXUBT|uR?O~WZ>dHZQ$v>P)Zfx;vlt>?7m*ihxUJ%{c)-?9~qg+hC!bJK5|*4;%r)#4wvW!|_gBx+gv>0v~Z zX&S4gLs+`&1OlcHQkwiUsbaLYQi-Hxu0nymea%{=YJ^xKNKue#_f3uY}WS$A&IV+iDszF^y3H zuYJQ;ODK&+I!>7GOJ#j zYjHwuRpdS#b$UW`U!2+pw9yV%w@9AZ&7^S%cs9$M*HO7gkyE{~WG4=M+G~e+|Eg`T zL9*l!nSV>0B@^ZF?~C$L~^!R=!#jg=Y{wjy8NgDr-j8 z@PpS&6^;*H0q$aKIpJTSnp^^1)txHNe!1Os98$oDlId$9*j)TPYHOwkW($U2{0zyO z`j-}>RbSl9erAlI%Uiu?Rz>+Xk(ju4!DQ9ZOCgfo+oiVNmuXS?TkDZCZNiQv7#d9}C(L#ok9lCMF?SatCGBKaLpl{UpR)Z^Uj6^F@+PrzXPX zwq)-W*k@n&V21ncaI=^?KuwmDY92l<*h!biKs|U}xSLq+u|olTp0$Z$ArWVk4g%*D z+ukp#`wi?B#Wr^G_0%Md8Ele_$ufqtbkWmPU+fMdc;mv|X_c3+O?MP!c?|>p*k?=3 zA15KBPmII_2of*Mvm29i+cbnK5^uf#gg#U7dLZka#=ML|z~vxliCapIezm)sP6261&3?OE zv5$_rblD80uxdVGBfvq;Pt6E@NY&2p09c2g^EKKt=99IqFNA-=u9Z*Er&O~$x-VDh z2O%z!{CADxH?rj;Ss4rH6MZor*T0Cq=sy#^ZFy%bT(StC5qaI~#Zq>muKZ=xt6eO9 zEEo3V`vM>6=M_DC5^Z$ZsKm1G_^`F8w6JHl&^YwPJ~XG_lwQlfDn?oqO4}Ng81<;> z)ZC3BwJn(tma0Z6Op+b5euRX#Ddk&L)X`>Mi3|L#3!;ct#G8mihMzIgKO8we*N^dB zjWCaK{31?)pwTF2MHw0bIkdo0h~VqtV3fxstkkml-~Sgi}M{yFt;=GBp87=fGI z8K08Ok+a5L3HR~LnRZMXNt|@L8HI+Ho+ym~4;z0O2&LG%y4ud)cTChhZ1pE6V>XY0?S>n0XQX`*5Z zoK?lFNNcnmKl`H&@LrcoqZ|>e83{u75DwH5;)a&REZd*eC#~v{7gn{CNA+zRR&VoW zPwbazF`I`C>9;Ro2KDVZETB|WzwX;Nu5_xoOxfx1#KsS(rleiKY^D0mGHv(bcS3tobJ4lwLZ5qa78p$dqXbId_XTSW_0bG$H#vF+7Y$-{IC zRHC-m&ikUktK*NB1x0}tWx7|;!l59hRD+J(TR&w@dq@fO%BGcDUr5-#-DtAsq<}Z{ z^i{mkB>#h_^oVxnRY$DTzn05&dNOLH568y*C43^HI=6?4>;vSbk5YDbx69V^Y!6~W zVOmfXO)uK+WKQY*XRMkQ!1V>p-VnW>2M>uKSi25uaHI&Y7wk$5W}C38Df0BD7tLFw z(E)U7FVE*H^~$wLeXL`dW~C9yQyZpaZd6;N)Kn0)rA#=O6`G_cF{uuKy1eQsGRAtK{(`s~s6J20^CLuD zvg!yhW=92ko_^a_qzA?oV|&NK7}4K z0-Yf|I--@VDGMtO*HZ}gyc3B#{^8jZPuyOTS5vl0YgOJ{(LX-q+NMTh@RNDaPucQA zk0Wb*2fnbG%at0#iXNKmg)!&DJU3jW zbLTq>6X8*Y>g780U0g`;SwkP_CH>>ajTYGj?%Z_vO!N@A+8vj>dSrW!*1$XFThqN| z*k8VF$6Wwo_6U!MZ+6W2hXAvE*7Ic)L?7Cx7}sw`d)~`Ivf)F4TBVu^$vU|jg(!}3 z@BT@U>nqP#lRKD`GlRHDCG>SU=Bqm~5+1~$T_b(mt;kT5;Z+~ggAJQ%&C*E$rC#CI zhB9{ZBUc<Jd^tesx(|4;pb>-F|1E&2^rZw1J`vLhktMA5RvcNAKsq zp4XZggDZ%=D%X->qK^rF;*h?mZDl*%wbU^i?!zSCE7Ps1UM$qHTWT9f5Gl2Hx`Mq z{epyeV_NCcTfba*t&*4VzJ4sd#GtznN3C!ZET=ddoea`YKxKt1p_l>K!t5iCpdDUpa;~Nbn?S2kGp@J z{(ocl)5X`+P(S|Il~Wt8*+w6{hPuDVvK?nt zV5n0Y!8N^avWxM|V-6EL*QL8`hZ%6A3>B;jgO3F`Q*&sxAf|#Fr?gsKjo&!(#i=am zf}k^hPPYAvrePH-OQ&=Y@7iu#N+D(XcZxFTzfLM&A{n!+b-^y8iw2JiKEusfxwD6# z$VjrfRG(iP7@wypPQ#Uc?FpCeqkC!jXJX`X#e@0iyvcUZ=y&xzDY~ZD@jVkTz<(=f z)_1AEFEVT_phiI5+BUEhi|jwVXoQVgCHS_Z$11}J4j?J2J#x|Ij`n|s3`QYh8?!&~ zmZ=~WV~ePpYtsBwgae{gYeWqBw5S;ztLZQ)ax6=A7Ifi-p^8+}wuMPS9kEha1-Z}6|G1lP8PdK1nSZ%`U$9@;|?0e*CdUkeiTAG#C~sOMLz~t{Q&<; zhzyFS?ry_r?`(^;ALpI_7!&~2=HQz2Nj^$)(*k9yx%wtC4t7R-jUZaY2vBV7e?M{v z7pPHIrT+PT)Ge-wi^?bul-adGAL7KZIOQ|tSEj%}8QYCz4k}bB3w;UNs9$x$ z6FdF?Lt1Yw-nWLRK}$H8{kvHMcTwwKMqP_Kyn zwuwf^Fih?bTR7!t3V6!ya^I*yXcTC5$EdR@j z{dlI+k}1KzeN)8-GODSM;_^q%Pk_j0?D^r!iX9}k8ndw4_SO5sO756M24M66_G_(I zhRrt(Ca$ruakO^5G}P+m%SUceBG2nd>FWqgEUZvime;JFX26xR9WUGVd^!Ad=*Z|{ zT#OfYyFl*#KmoW|Zz>k=-G98_`H)|!jgqMF2FUPP`eNd0xzZ z!I5b<3SvzuS$|nwXVqCU%3p%QrbUAP_3xcd&SdZeEN!}x?|4QgX2!H+p|N_LuQ@d( zRp;$--j1ONRBQP)G15083tMP*LpoU_V|$>pLyfyiXTQrwyaosU-3=#InC?4+T9`U0 zrfi2eUp&XID4qe1U&pon`!K~uIKb2mIcFfM43L#Qm9y8|x>OdZ*bQ!ezi1H9}-SSpvby zFOS64qpHwGWq9CYZ9AW5W|Vfc93ypWudaD4)J*$=RT6Pj)MU91@{8+7hEBzEZu#O)Cy#M= z-^~IT7#LbY>ol7HKM^RPSv{fU(|lN5a=z*aQ5mYh4A1kh9p4`nTW&S|*+~AlhLx`w zk&M%L>E7cOC)m>vtTy#8MtC(_&U84kr7BPL0U&DTBF2U3Z>5^RJ{>Uy1qITePyYD) zOLF=gj(4Z4%cvvJ6Dp9vJF)+x)4MV>Kn}GuE%8+cEdW~mc*;=>Qh@>Fbpf=Eq(#~D z^UKBON3+NPmcS;8rOn!ujEtGPov-&NVbo<``4n{6qz>PUG%~)T@0Z}fciY6V9lmad zP{{}HUuO};{Yo*eyVE`<7g2^cgQVO9nvu#??4~_U9z!v$RCfm=Eq*+81G}*uL@Pt_&gT z4aD`+)6=^SEx8FSaKI%DiePCO1mxQpR8QQEIAMal9;dU-UdvKGvL<{GkQ4r39#XOV z8*!7}YC-yTqivV9-1MUnqzU!AVlmGD)`Aw5V(9JDw$Z-SMnYa^1@^&mw8ugBzmLS@ z3x78~kr{sf@9+WaV6OYQ!F0{XOqMV+uxw7Ght0&X1hKn%PL@0z)#5~8pVaBystM1p z_D#BFvDf|fD-#H$YSVn5OBTuAi_^>iddLWb*v)_QM|O7K^sIRC^PjUe@EF#HRKl9$ zLcRe|%h(Z0>kAOxF_cPoqdqM%`2D44k|I42;t4l9o%z~2kkA5X5Sm1Na?a!2XD#pj zhH^BiBiLe)?=pu2QkDG?ohEv9yp4t!+dzg}ACB?d+GUTZob!Mp%zJ@5d(_bBT; zOTrsG!bAZ_&ig9xJ<;?hAHIg^j#F|~RhrM2skR;}b1_Z)oJz6ugjo~yX4je$?HU2Y zE{V#zuRvctS0%Up?H6W8<7`XNW%&JYH>FxetKjc&z=N)&yl8YYbmf$g9NPUi!N1hO zwY%+khrazt>&#C`>-Sw2CAEUVV9WKCc-DV~ z@(Q4M&fDr9-E0P=Nn%aNlUH+vf~nMZAe0LhU@5{-IeM+UyxOG5L6n<3aexuz#L=K& zi}tpuGT;v>6iETilOCs;Z1-7jNKioM4+`~(qZ-TQk(!NS1@1*7&|umicx$WG)z=D; zK%xwOKd#Q{`&6GS@qG{d6~OoQFh1Y4;_v1b79|vanNst@QN%%N{pqumH;0xYHLFy6i%rXK}T% zFG0auS1pld@pU%yD@X@(agN*^6lI^1n@evPW%RBQM6j<11!apV)|f+WeE(g1?1I9{ zy*H;}ZE2JmFrLd6sJ$YPCDs1`TFjH@oRzcx+E%Xfa;QpB6*%};2y9<36}(b6^Zafn z%Pgx6D8|rbDq?)rZxt>%D=-xD`_|p7vItjMkRdcrZOy7<4~(rfkHbHW7Pr2tZB-8{ zpFrHp@*x4qGiJk@Vj$JGqxM(xXWiP41UEiJi1C9)!}AQorxE6HCHMR#OQx_wvGW0e)*87lpfD17kPBMyNcHZDPHTr7ac`i}2t@uw-|e1JsAD$;gDNzVz6J)m7AW_`vwsEzZ3R`%Q<` zm{N?QY9m=`cn1<+J7aN*1|`c#V=&i#iog`ahSubKr=VIU+L+ zVs(UeQ{|X<3MtOIkywvipK8|3c`2wJpxz@Z>VH|jjt0Gt7z;Xh?5UWV<~&`1BY3(! zAw_rVcJCM`#EpADnl^;8&xgC@*}Cs#I%j#mKBWJi2hE~R^1<#s0Cy`3bJFcA4i4~k zYFM;@IBchq_@$JvP!43BsXeGWv`&BJj0FF@LG-!-fEIPVhg)y+Nrx5kTyV`k*1p_qSDdamE^D0<2!sea}O<{C%9K>GF*y8kua zmJ+lCe=zKyYh=ScoE1L4oeg)pa_44OFESPy4ya8f-9Z@(?7<)_*+_ z^E}P}5+CHQlJ0hr{$WUDwJZea(4pzohSG!LkS^f?Zw5E)5L**}*?%EUHSMXIb?DJ1Yr zIt-X6=45Kwv4n%u*~-`bzkH*2%3jwhXu|)y?qz?8elW)_UryKX z&+nbz?K8fgE%$QN$zZmuR<0xs(J76YwyRBEb98ckhx|fL9>Xd5c?nUvk`C9@zMb)F=@&`6ayZc_vvi& zIE96y)>}v?dDj>yZs6l(WaDc!*E6;Cn!g>aJZKHxb(V>YM6|DMXyK^$)OTobkRJXO ze0#RU#>vU;tvf%naDG0}bK6(|6j%nXayyNTjh&`sWvsa7*t@1JdUGe|hUQ|xkI14( z{HhNB6!z<>UV1bs&YgbT8jleB!TZhA_O7R+W8tS2 zhtwIKYSH9vvz%Y?g?e(1LJ{|mcYn~vbc&D}r5*l_>1>I`vAkUa96ta^zKu9+l`mrM z)nGHLtZEDS@Mzju(v_|&h%YDylFUpk_2>tO9z&ex__tx zl|d+6_c!q>HOs(}HYJ{JD{{I^+KPiFTY1W5naHVGM0AXg*dwviuh(0 zHx#&qdVNI*coJmNt?FiqdL2Mn^$Ys)oP=c7M71xM#v;wDTyi$<5BQ+;WlMUa6~6k+ zFRsbM+5_7U&=T1}vxFZXHD~&|zCC64VKnB9>x&0^2$&o6?WJDe*=bc>yWreAKBkP` z&VtT?+byvMd4#lN^*Ff6gN}mJ&)27UCiT1AtEx8{YyL}M$M*cimj%-UcnH_EUwJV@k*6*qa99(~K4{eakSencCz zdw^Bd=r`JZiq$BLo+`!kPfpBMSyOchu4LGfh*DSA;#IB7TKt~Aa0T<|HFf5AOti)Nd(0q?a?rvSvW_{68aZqdp$~O=Pkxt zMhAWeH2$|Hu-eq+V{$ zM0oUT3Q?A41j_MKg$dt@(+rj%CEb*@ zMW1HCZ|*R*BC_#Og1wllIRp)~MZrlo?nn(AwoRnNpL@<{d@|7^3UM8mo4&2f{a|Sx z9?oWO0q7s{tt{-kTxxESaQ#jr^t7kz5F-=YWl-Ug!Moc>8?)w(CllMpz6D#u_VG~u zzZ939fjwu1t=00*FNANAmz7Pvc%{v<-wVe3X=TzaIoY@3Ch-C?Wb-swOZjVvNqI{@Xz~?V zyU?opqX`Wqyt4#eR3 zM;yyo&e*ejQi0kpy~8=CW@Zw1;_#pR)b}3q^Xo(FP`SBDB5mj-#pu8L_f_H82JT_R z^%UvZtKs?JZLv|4tUs;Y0h(F{MYe~6&2=t{XUKG(jffqjAEOIPSi zW^4uJWgmOn#k&WRte~o*qC=LddHANVn=te`&QKE-pJPcfjJL?Jl6$qpFkTH!SXhoj zB>hJ@GKTgnetGKW;ikNRLnQT7G+b-qg^YYBF9>c)(&#={Xt?h-!^ z=)2ElJr5O2YxY0UJPNLRg3f?A8Ye~pwI_3|83;n=if1Q5kwtJ0fd!V+s|HJp)wG7r zH%e2(170Fc;|BK$_&{xQoRc{)c*_fjzajF*^OU}0-Jo?F2jNj&94BKp3Gs6wdBI_?;mfvczvVNRRz zIN?~`QU`2MerfCD$qh{QIF50~q_#%2vNh=ZdRo>#$JpA$RIvAJe>B_iFhE9+Nz%90 zyo>v#0KehD|8!g}%3+4(Ug+dEj52a^Y6yK^rqx{IDJf+^E8&AQ7-~Q+3C8I!aPv4t z`qM4ZfK0^qy#FgY?z~-Oq{$a=`+hR$rN4G8V*7HK-uj~{qzUDJ7y#S=Y;2^0X+kRf zg=^k}+hHJ45p=(G+oV@#CI*>7`T4rxxzev2F9m-5o?tO%_%zC(n9Ri#u6?o47y1;i z>AgFqk$gs$e*kA#BhYVaOQ%W)@*TisHiqi3^jMf~#7$ZNj&N|U}{69eLUy><3!6~D{5ZlMJnNm*%~Q{Vm? zR=jT^nH(5~r>((~oN(2}p(3MHnF~L>Ful(JG7Wvf0^P(?RAHnbeo!e5w9XbhytN}t zCv=m{Ovv{*8GT6DkO&5;k$&Tk3wSwcr7~FEzw-pOq8m;-d>YJoyY0RuxX|q_hMPRk zNXs1l0-ArskA-sp@;$7P+TPy*p5_KCU{HV+o`simu!w{&*_iyNEu0Yt^_pd*uE1H*wO*`$oTVdBtEUj0BZ~5G=ZaiW6v zRN%P}srfeRu4PZ_%uV%w87)H~qgAndAlbwz&;8FlZZa_oLAA3w(>@A(^|VC2nf*HS^7DD^;H7d$>Cl@w z3vu$f`x6sOe&Sr@`nq^j2z!CYe$2MPMuW-*%?weK_#Gn%gmvS}7kAaOX}Fi&)NlU{2QLCzSiJSp}Zs;U%}Tj=kG}Tix$)v&Z?iDsqVjMLjy33kJaf(|c@~n(dgT zWXY3j%_7JTbtF-Q9_O9m^lfT)6vBM-NT%C*A*a_25a&1ZI^F;gdq5YA5$xOIap*fM zPkW?Fj@v4Wn}PU1og^cJe{o$?WYFQU9V_N0F$E$QN5Wi22u)3WQW13;QA(}0hh(s# z70V|2n!6}D)h!;1R(EGkUO(#dyCy^XvFPvi&)oeD;Q1VAIu8tg@u!|GC3Kl3b6z7r zMA4uq@n2rviDW(cFC#Ku^b2eckO&6h3rd~I5pk^LhA2%X2o-gDO>B> zuMf%X&pUq$YK28~{sF|f#(Kuwqtp63i|44N0gC*w@o(A8K1z_}@~z&PjloL!A-8>F zD>B&-=NAQ=5r4>HVAOO$iMWn)xuI`?K$s z=5H@XIIE0~-N*aio`JFC{kooNzcf>(mXn%&#*-J?+$uV_gZ&C@fAQ+WJ=jox{S-l7 zAnLUyVy;*QM#$PZ3Rt3lO3L$+*yqC4oMJ4vw=f=F(Te3?ZybY}dSmJ{!AAg<*Yf&! z)c?^tr844ql*ylNQ-X5YnK`7YUPerCvtz2h;8=Bhe2nnNN(C?Tvf%D4zfb<><3BVs zH2)AeE_b3d+)0UX$~2yU?REy^Rp}QW!@p}$bX(rE8NupFuKsQ(UVZ357zPjV=1)~x z-cKj>@5&1f$Lm;1<3V9Mm#UmIoUdDYV4<4T$T^}=qMR-@?-Dki_Xt0{sWiOqg0 zb)MDAmAXiIFsSv;sO2dv^*k=8J|hyg3+K*)oIrg;uND|wX?%b;y9A1!Z5%SV2LY>w zeVs)+-Fc01g%;1rY>nN?fR8}C<KnkIS-Cmx@1qdwh4Cb8Nx3m0cRQVf|JN_XCwf0YMLg zu+j5-2=|_ZSg?_XQVJQlivto&T?d3>wth29n4+%>m1G@h$tsc|rKhXyx905)r%mmz z8z}8w{REOI1SFkd`k56BJvp^}59%7|NWT=@U2*0yi(L@Rqz|!jac~v23f9vzGpQ2! zEO(_%Lvb7{DG(jD!4;7x`F6oSCsWpwFP>JAg>H||`>%R^ngh+Y+hc$4RrVt?^t4S^ z6dtjY+NqRl6vc{HPr{$g&~WguwP=yVlUma|Kb-f*MSd4DTmj=1 zu6(>Odnr}L_f_J{PnPV}Cr%#z64t0hvghF1(#Zf3xO6Dq0XLqBm3w>aLJ%ghrATMq z{#i{?HFs3-XN9cpnOG58?yVI2!|?PWlWMdfFC@!Xit?`B%YiNKhNK7tSm2i~MB zv8_&(?VpDA6f)Qd$;#ArLGxp{C&=GwnK`UK?+gFNbIJ}eQb8Jy?An7Wvz8m-SW9uE_^Br$d8j1{(3qn91mF;C%czHENGxZb%r*oG$6H% zSm&Xhp?Ii{2_Ex)Nfr=s;XOZ=Ab0;orX@xw4YLan@JN;>`HVt%l1MXnunc}oEGL`K zGa6XkmSmyvb2b#EqRipGV*&XIkw1obQ}bYLaG|`;a?CE9xj=r=1Y=s$Ij{n+%4ZX>Ndg!Cime4Q3$y*6u<8GGO6_QKP(l4PLoEjFd)f(;qwZ80Ji6oH6FH%!6XBnTc(IBxZes}qbr ztMFAKfKSk6179!xxXEF^zZm>|m3w2s=*TA9;#=9Cw~GLlLOJ=J`X%R(67l_Y9SZS{ z6P;$qoeIA@baO&cksA*!7rLB<+r4ICUJQs#f2kiM84J?#{O=OoZ$+cvN%Kb515c(a zaw?WT!;XoI*{{`InIk9ff>1YS_F0mPokWjQ)$vTczJW?fJ)B}gjL^b%B^ij!m}T?# zv>^9>s`p-&l2+~)MFfk3Q?e_d>TL7O|CCG@$^LY%NHXH_vZuuiw?=oj^pN!7UH7(oD2&k2(dk39@IZBHsUs=O zV8AMo20{QY-;JN&RRpKvs~#hPN{W7)V64RnHF{lm zBkGik+RnR)j8i^{H4V223sFj1dex>IskH`Q9#5Pk&nfdIcwSSeaHecl3C5lAE18(z zgSD)RMw}X@6}q}VE}_y_-Lv?k2|P@=z47cbIe}GNPS~=>U0nT$D15}L4`6h(TI!B= z5vz&y$I`OdISZJX`s4UISsjU}04W<@bxU#m+y?JAFFOrZzG4WTmOf&-7xIO-+5A~W z5q-oA9@opaI89xTPiXSMQHJngqt#{u64Umwo0IC}A}Ew%SjQa#_~x&9~;Jk-DreeD1f$@Rv2kQ?O7Z=wJOL zTKs-kC|dq-Y^5nMDN%KV%oQ*g5EEpI>+4aW{NNrLxqgGjruv`82;e(K_VcwQlnkOy zm4b~w0>rVw4-tNPthzow*Ect(gv~-V%?tC%t4HHGyUvnP@eJ0eKYv2>$86DTOtOf zu$}XbsDvwR2VfA{jqUa$AB{kGk7x1zOaR5+3-wgFA6NFL6_L&+9!Tt9l(*O&+Go4} zG#gU?ldy7n`FK-izlZDNkSr08fS~kGQuThkQPb_^pzbF|a9MeI+c8D!+6ZdAm_w$B zCk$jkHGdAhZ_KdU5CBuSR_U!SyoGN_y7zavSY+{cGI& zKoVCrt+eIAbsqVn!Ov|{2~SAZG?scZ7vYH@T#K6*n+x~#=_>V;>w~`F$JFr{N6GF+ z5UyoQf!DGx1iteGqBvLv*LAvS(5|Fgi@QSKmP&(iz z%3xi~Lng|n^<_I}Z+E@=L?U0>ooH9yzxV~*?lL)M%uvzx=>7NTuhZmd%#A%?$tI z+|T@|j7w8hJ9&m=-J7neC#6%J+p&XzRMM6E`Y;quzvl4hz=ZzitQ~>}&-<_`3TFEU z!iSNezl$6l=}WztsLpV6fC#JouUu>VP3;Y&c&1@fRWfzA@9!DLX|Z zJh5+pONEy|nRP1W3R9_v4xJ>%C^aUeTAR5~B!;>iiZDrI38Xo&Lb-A&djjsU=H##yhfcm-i z%KzcL5o?&f{rSCzid$8q+F8C@ad&U;X;1Lb)+9Bi#{C27dK-jPoX|8VBbchYw__}m z8w(SYp*AKv01=DP+^Xix>#iB_+=Kx?dp;5UCHBMeY_*H0@!Dhm z4P{-s&NMII^Lh7s6Nj`a(NkE;o7G|!3_)lf$Eg_z(->@8JVRY`0}i3cxVi4|<N0yUV6n>~M36n|baq76) z@y^U2#VuA^@u_Ghk)`)QiH>b=@zPwAjC#-~1v^kHNzhLY6^+)qy3%*UM9k9iTqaN? z52UZIBj=X?V0L$ZFn4Uxw-k@_syV_S3GRBwr~lotD~dnDJ8}P7?d+{agLS&)qmXQE z1w0zihSf8|%7jd?fPt>;BJ7n~{Bg1@`rv8(?X~^&sNJcwkZK{^S6KvXvzJ8NOXGwF z#T3c#a2!p*Ey_X>pQy|l=sO$W3&c6ziyX35rz86G=}IJ0Lcnl09Rn9_K%8W<%g4{4 zloJ$%xnbrI=*t@Qegb%pV3oIA4h>{enp$0$G9bWqlA#@JCh{uOhN+t<^Zs}0ks}Ut z#P071(&!4bE7rFgoe5JKZMo9xq=sa4@WLUG47M*DV@R z?OGHZ;Rc@2dFtE~AWUCKlDq#JpKLc^veYx^u~=3YpiB$tadU8%;CSpr>MkY64r zONNjI?qLt;)Kd>>5La?F3AIVv*n7EK76ez!)C9mNyWV5p6XL-2701|L4cdkTH#i>6 z&7$7@m|vZ=U^>)`-0m9VM#vTBIwTi#rOTQ!)MO_m1MN5rc)#T)elw z&KcG3R2o#!FHxY{Z+;6A=$TU$vwQ67%-~M}?-rv}%nRm3(ZxFFlDNR)Y<`P)@fY#q<7x--AcPwyaK#DoIPI@IjxIZ$@VdA}@eEV!MiKH=IM0ue zpA1;=SnHuD7i$9vIu(VJBqnv$%bBi+@I91Z`irl~!CA6~VZ4ZKD*+#Bv_O)m=mW4c z;7FGhw<86vziod$+UUZ*01a-}ticd0bG6@@vWN4h4}=G5f4lzjkTkw(R4=#Mc9a)+ z{|~}}GGH+aMc!)C9s=oCnk<}MiB0v|F{Xz=drVp|Vj#G!5_+>}h|Zv2xc4|W{Q;gd zWAim(Xm4}I#@+uS!)1@EQJ4n!#(u3xC;dP+xy&0_VF+u#YG$`yVyvIg->-%ST33TU&*Xz@VVB zTBykD0tnyV+naz5VJN;my^WkT8|&*|Mfp>VW%2XZ|CG@19xsEk_W*3Ag`tO5bvC!ZZC!_NTjBP0 zk@+hPTiG~0eM--I%A}d$O00LD*9h`tsbgkm35dlMs2YD&CLMlMrQDo#*Znu({{n=t zMnEvLEY1@;pR~?wTzO&*nEp9vHrpOC_hZ!}z3TG&(GGamIzS3lkeUda%?cZd3f_*5 zIhmQ95}v*siOA5}-vlcTAK29<=!6~_Mu}!rLh^ZYs8c4}4Vp|~$za)E#Eft4YJ@7P zv2>UY-6MA->a*d%!(udgFm2m6^ZJ^I{>5&M3G2<-skC8Oz|i5wx4{1Ob)l!r&xcDa z8rS=1zWdyVffwEA>vymbTNUU7TlQG^ibH>K9vPxi)!^R?KRE@M(JkBOYh&d4;R72u zzmQ0RwjAr$)5~BFkGsbfnW%)1CyU#f7-hON=+_UBmDk6Zyy<@5Y&mMBSg?mbQ=i(< zY}Y~e4-NgAiQPYjeen1LbDii>In`|>BkC^ctE;u)P>26%l#tV24?ZLmX*yJ@Yu>Kg z9K!fWQo9^WVf9h_gsQJ?!F!dArO-x1TR(?QX!WkTM*X$a5UVPVAl zwIEF#QsI_-uu6nGJM8QB*;Tvh7!f_kRjdmYmegZwYz!${wBhBXQU^w4u#kB6wDLFn zp)VP)CM>Z-{oUL`0?v#?vkH?n+?kOLHDTOo3AR;|43!9HD}Q(&_opTyV#%ZVVk>q) zdT%wku74LWD3Ssyu|q#F1QUKxF>Ju5tk!bLiw$Y#vH+Pqi&PiSI-DPC->hrkn`&v7 zOAf0#Jc<_$#hRG>?Bb0F7rB_b(E?l4Vx}|SI_!DqfxqRcLxWUG*Skf7fa-5c!5$#y zj&VNuyN-_|7;1GtF3bmC*p^-an#3u?cPf|1K);I(?(%}KgqjB72hlM+fU*Mg{jJ}l zqVr~hlL_dgb~`i{TL*7$WgY96Ipr_lI8{yQ+Sg05o{8JjRRbuLz9n!0AR8E1 znENM<5`{4pvmAV6G0tRK6R+|Q)tWS1?jIHoI>+-AY=h7nby?Cs1`~Z8edOr7nMj;8 z2*@iXBtD%uKB-^#dORrNR#J0CxJx9Zh~7guYx0EPNY(8?rs_f!rW{ONL33e_#jfz5 zSra9`Vd4!=`T}q~(LbtvSkCws?OMF(Rl*9wsD1d`S3bk#SlbQ)CZ48YE2?NoZV-%bei<@%zmZ%F4-+hLAzQOL647TRA!=q|RH z2#{}|ESc9j9!0b>C~WBzmuQujx(cghDUe`G*xt_$KN#>7r6%MkNq`$86h?M3b3=$; z`B~HH%)x+rV4vL674Zm+M<%w3L=+<0QW}$!te}2mKe^_1MEf!H0DO6BDDMD9kXt`}$w=lj4Xz03^GpK^Tra9tWEgCWshsrNp(irV{sGQP8d`r#As`(tYE z!{CrIhO#bKqQ=Zns=-q9(uD3%tQgsq@4!nvpEtkR&8m8SRCS|$_zy0v^G&4~tH&&= z`>wvA!oB!Pmo?>YnAaxcRv*s^q7<0$>2yP6-6oY<^eAfl!qCvsof!`IZ0l*VLaJvj zgG#X+N3kw*N|34!+*hIw=?bx`$-K$YY8-Qjot+-95AduSd{L8(`U8>Njw?6N(LL3p zN;sbdymwx0Cc+cu_9zRCtFs!~k(~sT@0T6+ec;fN^=@zESpLmOgu2kBgfw`@8ql1K zruKF)9KpwuFKbrI{a$@ykUCH6_aj9UmxRC`>XeD(lidfWQAZzs5=O2PNNG-6g8eAK zI)Ahi{0p+Y-!?PrJ4h=mUzNq#r7Kn8w6*cXzTF=QN_E8Ad#iJjvI&co zb2Cl4H4`>f<*I8fQE@O=E9210G@Nqvo=^v0wPwidd3wmIlowt4nkc7fNcC=t)T_`W2%6HIRqWa&!6(Uqa)cZA zCCLm7!~)uKQ^ObtI7JvO`u#KlGd_mtpQNI+v7riz+#XK~`zd*mETv^z3lzhl49AEv zBm@ZI4vjF7flNCM<2!O%;^ z@`ZAt$dfc!82ihrA|yB@&dki1588atTNX-Aug|TQF$HbyyJqwJi8b8Zqr-Q}uCDo>JXbo3 zq3*u>Zp)BzOh!%8v0KZ14zxk_j8)MvMDZEYF;xbK0jV_V&C{%@aGG!Ng16+Qnrp7= zD^52?jf0)xWrOYBT<^pH4tbo{-+DWGCBzkaJ{GNdFIz1f!ykYA@vg1df=U&m7Gf;C zdsdcWE|$o4?V@7^!<4u|l+0Qu;|LCD^#w^TOh9j?;q~BiC3QrjLwtJvA>)b1^t?%B3u z*RGkR5Hc5!Zrd<@pj8wu8-|_RVVLW$pEMO9fs2Db zraQu?9o~YUfQ@>vX2}Dyf*Dn<6DlC>B_b0sD#XQx{sjYc$?+I#=Buy1x(k#X)`05Z z!6kD^0K=@a=DOUavAS&^23P>D;>0x0Wmd~O@4VAJ)vhmDI2A@2<8?Z6zSzNNaD@}K5urJ6b=-#f&@-s@@MuGvJtaz*=8QtojK+BRIsa=LukX8LbV?YLu z#1&4=y7S3L9(n%QvHkm@BKT`2<00#|1%w7MlaIvdF|sRxS$~B1{T>hYraIwz$@Gg% z$Qy`70{vkfADCq~7!X}Q9JM0C7L~tQBRzMv0AUW*pi;Fe2$C4pGciH_Z z&;5%cGl@>UEUwuQOf(^JcelJ%RnADp*$)T2iYMTjWqFoYTd zvH0Yqq3RHYI_M|3NTCAy4}z>@GR8$whcERtMYUSDqIq442va(er5-Q+V_c;mX~0SK z=fHI&j8VTxTEQ^-Ypg@mX?$2D@{t{;g+d=W7SN7AkfS3cdM@g9x_t41UQGDiB#>ND0*R7! zM4qUc{;cng2hxEs2|?D%2g48vjWWO|XDMM%4^}x;HJIQJ1TU)7B@B#C z*7y#kyba)qW zK7f`;e$p34A7VYTT3ViF?8T3z-h}d>C5=rAEIU8>D0ZT`s^RX^RgkMfH?6I60uSK zjjYcpOW2&JFkYu-p-U6`Kaul8608cz8^i}b4!e3YR}H{9BAAEgKd zc90Xa*pWFz6J@~4S-}P{%y%JtV})8yW)=#>3gbi8Gt3iww&a>8^N&FKni3Eay^t?$ zd15Xd^(}?`)r;wHFheYNw?*`E3^$!;S9D#@r_-5y34P3^m?>mI*20BU(Bjbb)&0b< zvRy}F1s;?%FeMhGe7tpUzNvlT3sweEb$i7C+uXOmZ7A3m7RE!OD9$mGlMuK%5Gzsw z^JEa%$_#L?Ye(945)cxHFBr%m=(c=jGbOe9Qj$U0FR7I68J$TC`C>S@sI>0`xeW%^dtcx(Hu@^KH>|cFWGI8 zjkW0TEg4UhORm{`!W<#_`Okm;^wUp&^PAr^hy7AEcV=S!l(&wCRSma<1(&%#TGhfS z5{{%Xl6_rz@S2;5YmQ6AW{PmdPF1|Xb;AS?}#J_B8m?S#_cvT9Y|F~S_JS3 zCIy^Qfw$U$k%A*}`L;iSn|mv2q8D@K-2-vNvyx)g5s1e#u|&=tstW+D7qdCtYf_fh z3Su&Iv6Oqzk#NvM`^xbOi4$klK5X`n9Xs~<&wri}maXCAs<5*E?sxkcrETZxh8YaN z0*cc;&jN=Y@!d?rk$-ALu}l*vAaVe_NKghC`kASy25*ibfs^>T4&hC?k+s;o;`bB zc;N;9+6g?^wrJID=jc83#VTdNKsJH8P!xXFN6zLV z*tSmx*#dwye@P0CgblNtOU9GfPgNW)Zzwt&@z?TjTc9HEzWXk&BxWMXSD$++6>Fj* zb}R_e+(Mq+=2Z?z$yw+%76j2VX+j2?paN=vGKLoq)I+gECK3^6LJ$=@@SytWgaI~X zKExNOo#NS=v0erLd=YyhPX|?m428A9hk{O<#nbYL!^KgZLU`9e8Xh@duiXM>kqd2# z4ES7iFvvhiv~oJ=-FoO!w5{XE4rQ_j3Yk!imYBslu@`ZnKvQD2fi}5iS2_`LJC^n9 zI7ept)V8NmDF}%LpG3hH)PUx#;Plk;#Aj||FTVIGp}Q>HN5f08~0h+3d@yB zA?EX@Nq|!8LoXGav!%4Vk0%!2|5`!>`|#0wPrNVvoxOS= zTD7cVKn6nMcI5)TAVGLhhd4C7QZ5y8q6Klgto1N4VZ5Irl>#kk-k(>;!otD_AADc|266u7RYaBAEE%xSk*aDM15oa* zTMY%t`SZrU%mR>>kgzb&<*+a~a|q5Ax+0Gs2`E=0S<~xoKow;mB%Vk-ln(sGGZ!w+ zabnYsY%d{rfBfSgKlIQ;_;s5_mczYy+Ed4l812f1K2;>VbWg#N5U0c}7>_)nJ@9}b zF5r#jZ{Ko*uYK)n*9x(_NeG0Zk|QU^or;i{L|Q-9I6)KA1EHeORKb$+MP@=GCM%?E zFi)_sQiWv$pNQR1wu8wLnjrVHB*wh041`2;`s4XhFr7;0i@MY64~9ZM%Zhg6IlTAY zdn8FT|3tj8OwQdvM+}{3$$S^BYLfBSnrMqo1o7ZCu%mqA8{aV74RaNNQlK9yJ&9SY z^<9r$n7yw?Im9u)?_LMh0pN*L&>Z~v&R@1{SSWc4XCOE{C>&66fMX>KnkNs0s~r+4 z2#FDxq^$WPiE!1Mq*N%BUEUr@3CC~?fk`yYWo+D)LKd@QcMyx?N+Dl%`#k+_=U%VZ zG9j^bojv*Fljv!PJl3UG_AQ@dw& z99$3;986z8G&l%UwpW3@^+rIh1j6A$vNf>t zA#u2ZiA*{X7Q1;lpA5&2ES5{wx3#z4daElTaX4L$BB0!gaZOGgYH+3?RM9>wBe)O9wLONPPYZdI=}yQ#zab>*oyXtqnVZ z?t$RY70Q$Y#at#+D!IIsL?}`T2i(PCQBTIx*;MM#>m&y83})zo%%@eSr%#{0;f5Os zVcF_t-8HeD@%nM5Q#z6^$g=e|>_|-$#}^LxGUK0h0)%j`B32`qfI;b3lV~44A!*R# zdf$5piJ~R;A=p$;eTv5HX@36HzHOV=UxIgX)6Bk8H9dwsBed>i{=jr?)TPlUh%7%2 z;_B8D5?9UYNDw6>P*$ZQ1_q)dA$mWN*o9sMO-T<)2Rgz$kefSp7`g{EI(+zoWk}j;Q=HqkV`j^yDaxiTGrJDt^GSczcC7cZxVVS~aPRGh){=7^0%aT_#{$}+p=AgI zab89gg9Q}FeDKeMkiWo%Amak;sVVKb=OkjGkkB@)VYsD!ZTRJX9&$k_2O+5xl3}0Q z=?-Nb1imUH22kIr@VGZLu0!6_oYE)@aWPXAJhD`=#d!gXTlruhumWhjVd>Qs2mn~_2kG0uz z41fIb$Gf%BGqaIm$=8PSsN_?{U?AA7lTP<>ibQDHsm6fsef6tf{nod>)ji}F+nIXh z2K+2qbT2&n&|vcsu863zaSN5U03L9%U$a^Oz9CYzBw$M(=w1>m4Gat!2#MQSjLoJZ zK~JevD5sN&?Q|=Z!v04d*x$C+#B^U|L}O1F@uomVmh*%H z>{{5!@Bv=8&ajwdgHRkvSB%+G0aPQ0ffoVc&~i3txD)t7X$zDCwuz5mMC4y85EZGc zlcjyK_5mh?Xv-6cx-yY_Z@+!#Gy5Od`oJ^C&S@LA#jNMGVx5;rY-JyEdhBWc{{7^( z>anpM&HR4<)mLBLy(hc@kOLspVqg2xm*fh=*B$z?t-+3rA1Io3;<58V-_Fm^e_mdb z2jMk>LYoa5q5>h2$~pjn8?fO~TVJG#DLJ-F)jZ%ba3ln6Oy&!LR3e?l3(?{Bha!=l zl-}>W^Uf=;ywYv*Zohx3Sn-CV5r0#_MuONElG$!Obh!^b8?9(-@7}##K&;*7ILx7# z-60m!e*gEiH{MWuiCNV3QxBYT)DWQ?;h|v-*$stTPe0ubsI5>!03KWvaLQ&E0AMU& z0E4&YR3tod7qR=Dx5IaXRJ#N#G&7^~^N08Dn3>+TWAD-VMvs-b zxoX_4-V5vq`L%j)-*?Nu{oB7KB}vaa*!JG^I6AuBc^A1HsreZdFPH3rG$6Lpy;JsI+@Cr zo&In%+=4$DGB|b(w{hdfg9i`dme{&OPLxO|u#d!K3v~`(xPsJzGo2C$G@*>V#e4Sb zdEtc@_}g@|j|*TMxfVsJuVGN6jqSmzApaYd%0i1Kbnh@#k`yqBs15sdz6f>%+byBa zkp#ju0EPsjEeDa?Cknn$n{Cg+L%5Ku=Dd zJPCOwn7jqhhglVow-8n^C?teE0ueI~CGurHu0SQ4C83+lGPE1a&$ds;k@;z@mGh(N|{PN3fZ!g^_Wnx zg7{qhrfaVbLAG{I1Kq$F;QiZfyREH`gtx09Bsi}e=BG-oHNXe5vTH%Yp(XhD)ifns zlqz{`4P-=HtPqTAIcaMA!iZUnrqo4ZtW+5kWjyKQOYa7Ou#!W`GAr9N4A?wT*)gK(gr)4IUUKt=?N&vJ*_N%0dL{(_Fa93Rv)>J%SIB*D7Yf5sIh|M z3s7OBtjZ`bu&M~jr#|(mC!c(>8yX$KL@pF+E8#6All^7d#Y6n}Ihu3>V}SQj(med| z!=0pjymDXpilOpF0*?8wDC#8~;4@iWU5jv&GRz73f!7EtSp@w(bH>oIBZZUGmRbgk z4F-l)MM%t{$R7xH(y6<{Jw*9hF*5#u<{%kVtuKD@i*3Wm^U8626LvU^Pi$~e(CY}d z#6bb2`duv;K%>L?L!O6G1zcdVu(g)foE_C^-ujR=m~4mhIm zEey;0fg_Q#u%21r6b?+P3=spPB_w(=8T3DJjT@gu3^wp2D1avK*5$)qEZ z@DC9oYhWmO&XQ{Y*)68X9)~rpAm{ugXd`EQ;`w6@tcoodfX*p%c3UuMx|2~75f5Vop>@j&ph zu(0F@$_bj7{|`Q>9O!I&Hc$~|MPeH^O?5QFppBJu&=YsYQ}OT$S8@U=recv#D&3n{qwR zQEwxTi4lR&k;zD+!4gt9trJL{;_Zg}){KylxU^zA zulsy06d;vcrsRL(Xe#D!$*&9-MQSvK0h=&@rw(WQmZU;9^Euci=v++-2LjS*BaJ5T zLt0u+!6qbG>jnsMgc50W+1mpH00090NklhagcyqPZq+5+GX>6`~W5wPcU z8ej+*ME2i_iHnzCe(@jwanOUS{+lr{LXHFtUL=!!V$1rKgmPlT^xkYLsAO6LJwK?< zM}Yy(__&PRc%z|g5Pl>a{0TI`6@)WVsjoTI1DHqy465KoYTOB55O9f52&2HFF(wEU zazX(WoE-R^n9ycswBP+*<&8M}$1*}4i7{EHFP1BXvgvd-S19Az?hS;(L7UQo3?G?l zM1_Hl7(fVvKn5`pUqpyA;-B+f!aTbW5+OTckA}jD^j7tfH!+uv(;d`J0IRofL&%0) z3xhWj?Euy9{ElH!4S_+Iqsp)_FhcX+VNFquqcET_&>IHeJfJ9S%EEBDertxPz!r=| z8vz?f4w9P98-xTn0j6G~^VnmC%cm;C!hj+q!@{&0M`2(bF~ISkV?O&bA$4noU7PEC zMpB?05H`4whGbSXU>YdRNPt{pgN|6VwZ^cmrmHY8ZWw^`fM6iq5_>nNeln4aHa9ac z2!|W~3R`5Z)LQ^UX=Kh)I&MqA47`dXF@q&lM`2*iV*tfF5+n)~1&&09BI3=E3Srwe zL-SM^tC);B z003CqR@#DqAcK$*7ghH(JpbYAq_>dxE(g$74v-+PAybZMoTr%9u1^4r8tphE>hkatsx6vnSYl8b;3aln7qnGDlG|94~tEJ68ih%!5r8IUnJ zlHbr z4>1v>k5l4GYE?_=6BaqR5d+br!ivO7%v@x%vFOt@P&;?Pnf-d*idbnFIBWzXAP{IZ zsFtn}UQYv4@8`!`i1kn5lkBVcuYG+RNGb3~$Y8jFz^CUNnhx_duPlV{*U4eP%Ov6k z2sH(26!9R)f2@)SGvL>8IjrF5$C?pH_{kSZGG@)wzySPp(aGj?kh~I-KV}MtNL7r| z6ev*uk7^(TFD33B9V>V>tgspTt|YVoFoHIgk+FC}Uhf!lGR6a88HYm|ybng<9(9HNFL zol*EN48qBkr$L3gvC3SrlY2AApeIYVG-iwZ%1_B>FM6CMM6!7^Oi&#i9f1Bk#Ctqe z!*+`a0*z2vvC%LQ(YX>%9VYg!{Ve+--PXkyqG0jClL2$QRE*zHb_2p}fOq+D<0R=_1>)~WpRBp?gUAE?v(lR)B_yr2)5qd(XXXpoP zMNEaydX`Pp=5~i5m_{|8*y5Z)sjcByO2@8$jSP3~TLDO&4-Hi%V(OTxiZD0wmOz(> z#@};|oCyhPOblf;7|XTh5xT7|j_ucymX?;LTJY9duuv_9oH(d~F|LwzGM}>g+;!87 zJf5Mh8J5*>#YFZ2-mlj~HpgUTMAnI6+2%mCnqO1q9_PHMG2*#Cj%>iSsd=5uMGFVt zu8D((AS{Ntn0^f^DBg4(>H|#uKu1EUB9nlIb zZZ2j~#Byw4I-dquH8ZsiB9o1L_%eGF@Le^qllhIcf~Ki{uVQ%KjL`mjdrhv#T<`+V zy7l%YEG|~w4ZM9=8f-7wY*$NNcD;8p)cZcJdyIfe^9s#yYr8uYQ>k-yxI(*Y&Bx|< z-oE^7_`;C<6C!oeMVW#i7NhyJvQ7Me4!_N|sv`*sOD4E79DmNwU?8!`aOUxB<#s26 zwN%Wf88@iOR3mitmsk>MiM+-A2xt_U7iWm_3Y-znH#+oiw26SAqlYy|t)Sv4hP`kc zMvBz5!$E9)FC(&!0WXPIHKjEFT9ai1RJ~ZL-Ky;y725zG2f7I2+Dl-^a z#V}ErBpTS~1_)5`$bo(*=-RCydNKA0YWIgVq(WCu&*sTkimyNkc~5e(uwi8i&8p77 zrP|!G-r#%6A%j|La>P4*Oh0FW+x2+L#*J`Y@a6&<551tn>k9q5Qyc${UGCOOPY?Be zZ}jeV(Q>%qvH2q|i2~8}RTkr~HnUHbxQY%F&8O;!Uc`tq@OuZ#_-W$p%_j)ihT8_H zf+GC7jV4i|WugiTmHj+!ImvgJQRThQsIiyGhvZYt+I|&)NwZ|8sZT!e)xmy$G||Ao zV3a)#8UH+Oa`W}z^A+vGxudThxq`TwN%8PEHhEe%zSCviFS*l4N5x`ZX)C-|9Ba4{dy;y8M7#nl!6tOjPr&mI13O5k?|LFbwl9%q4{*9wnpdgie+|1+oyei-yGJG zfrkNKf_OeXjCj_mI)*zq9nHMQ-c%fKADIh>;8ODFqJ3>+L>`+ctrfL57YNYLz?Fss9GNcU;#Dk;G#;FhqdUBmp$!`J`JGuk+4NG$E@{ zUYv`2FAZ`Y{eI!AZs`AA0vUN)RO8{2FK*^N(8Cj-H}wq+M>Qy+makoJ_C^R&hvR>^ zxL{gB?$bxes$f9Hr6{(oPZD`B;D<&>M_>9pw#g<{`(K#fwCxE=>cCeQGdC?#(q7RLnO8$v?=L+d6Aa01 z;;DZxkC%U1)J7Z|;F3^=VO3^ibh@CL8G)ZVFJ9JF!)?<6;{Ys}u zSLE#>B_uR$WhX2}7rY(Nt~Q1ognxcKjz$KYtu4bT5mD^yJ*men;0UI9RL6KT>I8Y-vgnBl3~? za#f%Q&lS{MWdH0XBnKN-=I73$`ZWm)4twKkdU|@I!0z)$j4jugx*m&9HAHtyk^Tr2 zs$Eq1CHn3?_YG8CXMcZmrhYWOvA|5Ul$81=(A=51tJ?-AN%IsU71Em4QrLL0GB)y6 zpXaffZ>}WP;Z0|$n@+ljCfIA$SP+(GBJ+z>szv;lALHRkRmCaL?vc}9*`fU*ew$tk zv-@bBMbftS*ZI+|tegF1L4%TtCh{kh|2A4$lYqq1EFvLvZmX`TvJ$^7LX`=)|E`Tl zg;K%%smQe7p6%#*=%5<^`J3v`1&f11l*JXfjunfYXxjMH*cQd2C1rB z=k*%xROIFnJg_;@DjstVYV_3pOMpg#vi?Q!L{r+8n z*jh-s%gW_>-8AIjbxQpF=w4uq2n;-NkDStIY*Ul=p3E(!f>bK>G0Wc_Tt1Tw)|0PiK* zEQ;c^3{Xy!@6S`dhU!VG>_4-2he&<(87}&@M94C0oQ@NW4?#RJWo}+)K4lBU04a)X zzo82m-Dmrp<8e>@>d;i87F_NzLy{QNqimV>a|P`V5=P;ECAjvwK2YX}jg13mI;Sh- zKF#^x)7LShHz?M|{T*>o9>vvOywZ+e{@6ZdVj0!=@NouJb=Ck^W@w<8kMN>HA*E20 z(P8}>Gn~AYZu@r6@AU@z-O`$VwQB(E> z3dq{|wBtG@SakK{1!tikJalH$(Z)tKNQ$D}Xd8#Hjb8)C(KIaF{^D9(*OA9^agI?Q zBl)Yuuu$5a9^*JKZHxQ&Ol=y9DH+#Bv@k#tvtIC=J|;VDV^omeq%lW6T50|7^@Eo~ z;defgm`(RJd)YEf=3!TGt|*aEAfnD=Dbi&q^UFwqHm@s&%~}A-wT+1bMnj{Dx&5V5 z%Os4avIJAuN_d*epSN_eH=@m%;}EgnA&FET|K=TAu$(-?3u;|GfPM zZD_Z(_?Eu;S|}z?!H(@OBJ&QyO6T9=O|U&DNu!fVzD0inGLl!JG5=wEze(;YS6WG9 zz3+UvFs&e!qQyoX6ny*xtpcv}%ANRR1X3~R_>2!DE0xhN644ynhHTKNu)m&2VD(yY z`5f|ZVnh+Mm%>0c1oj0g*1L7Zg)gAnThAdBx%2o^_3KR$mod3B)qhs(^?9Pr^2~F- zQ%R(uiMOHo!P0s}p&=^QI~v%nUx;P$$ygA2o%v4x~#`L#iX%g5(DH(c%d9pT&5sqX9) ztFurQY5-ZcB=z3?Zwb3RFI**aMjUVj$ccj@p}N9x%B09oK~bP;34fwqs%t)czfk4l zW@S~3EJlGr3R&J7I+ehS3B^I7+z+BKyI#SFNJX2asVl&6@3Xx6*Y*C=wfX+`$RVa6 zktr%7LHGlGIngE>eOM}|`Z!W5zv}X4>vi9HY3#VUOE|^O^_#(Fg!R( zFt}HJKUVTpjX*ujaE;a#r{>!i&)G_PQfK-~@Ts1rk0m{Oj_~eST%d&WJEbVz<$9+m zrbK_asRS6SEY{qGhf8w#haZJ$Qv$HLG68k?d-oo#PhD5;MPmp{D}XH~gVsCY_gi5? zQLI^iaG;t=qxO(5s$|4y0xS)9A3y;D%vxUGyW< zgnY%=yWSSa+Oikd^>3}qzWPKx0_f>jBB2gc_??s%r=xhDrU-uHrF%J=cyf7hCOG=| zzIG_*xgLBaE><1AMlaGDAp?08?YYtW-=+U~;vYB7>b;G` z@E4M?;h#GF5-gs+vbo}@B!CVKEYlR3Zb*c@wecHr_~^Cg5jBcCoVLX@hF6xwTGt)= zO;i%1!JzcA{dN*u-cD7Mu$YGggLr2nJmKTX39|;7;GBSgDiedzA zq0z?pEKI#~zT2|e9X@p)Y1-NkzQhs-2UCI=;ol|<9f0kL_4idEt zRcZrA6V6w`H6XYg>`!FIMkKH1+_i4dCG~mw`ij#Odeee)m%-)nFbntibiF%ztTk1E ztTGP`nLg3z{p^yU-^#r3rM_;o|Kdl+Kw#Y`BH^+&HU>sFjVoj}#JVg*G9VV=UeDq-=AQ-3U zQ*e@19(aLb)CGa^F1Um6E#;j#^20FfiHDA%u;WrDTcHi2Arur8>U#}Ql~t#^Nw&$# zu`?tN!?c)E6=zf`638`|LqbAuOt@07G$!3NOIx6hS;5;zIRu?D8*^yA-AXMiQvKRP zz4E}$$W9A4x_{Y`S%mOOIdE&t}TqP4*h{eMK|Gr-EDJKB8C_wCSk zQY!Fb*snWF@caA@B+P}dlb0Brd@;ZcTyP$%`y^u}!fcWjDQ2o_*>gwMPk|r!#d@1Y z?qu$l5QnaR?*Bu8`B4?BDZ-YrAZXw(xrk!J~7%rG#XPgGJ$AP^M+*N5Qf{C<=h!lgR#+hPG= z47!<>W7Wvahil5UbtqG4kPA>M47hVAu0ma$}NHUm{t6%WWXM@IWV zZ{TdBUK@zQv^J+CEXc+68xeLU&f{zu4CXYb&2$|fd81$@7E|>}+7#mpu{ci|wJMoH z!(ALqQjc!4-`idGW)i5t+|OXTV`m9s;-=5bx!dU?m@U#kC}~<@mVjN;8UQUZDy$Yr>hvs)Q4k8y|F)l~rSBXRiX5hqPyQ?1^DHZ65KMeY@stIJ4pTE%3uQaEg1EP0-FEHi zdT!{ZMf*u1zvhN>#|+FYvSP`vIeeb)Tk8F$3eO$6;@n4J7vat(CIKUmv}Adlc*)zh zQ^Kq)Uv?Hf|6{X`JbAJV!)L8P+y}t5B~t9bwAHn>MLti^!`~xg_#ti&6s5^=c~m!U z=ZP^bwDWz^8#AJ%*_pQIadWjHizG)A2vNY5omIwElgAG!&M7kho?4%Qg8h%(x<8MV zM#8GF1Urvl_S~#c?U`7q-_y@E#Kw>}p@;_tm5BEWyxA-aekuGD8v5;dKY2|36AovD z2ot(24f}745j@4F#-q4vn4#k+IOrlyej;3GX*b;Tg4DTGqRP4CgTiC805|4)?bbti z)H}8NVaw|$!Sg@YPHb@pAj$mgdlbzGMs(Pcf%8U9$oAp%c($Om0O3QE zW@Y7ZlVRx}q%+)GHeScG1*&-J{Jy-vql=5eVTT4v9mo(6MeMxJAHym(;u9Q~J`xM+ zOw_g1$<~ALiiz~{MNJ1^hOq1Q6+!}epuV2wI`$Q)`4zHiUE3cNslI1O+nV82=08E? z6cke-jCkoOCJf~vLB@IO2 zRq518;^gr}{{q&H4F8)vohW~*PC)j84jbhj=LiD>fEBYEof&(Sm)EU=CfB0pVd+;sAW3XrMSH3see>QI}6g zvjFwZ;DeiNf5!485iu#r*?Bh<|4@T_1u20bFE`TYo)u|Z6fN`Ei{x|S^-oG@g9`jn z|LyDi_}#v`-Hl@{5a;3qrmQGvU>>8t>VnYVty#iSA6fUw~W5K%F$`)o>x8aHS%}e&}j4h5=rCr z@>EFU5{NR?Cf5m*Rvcf`YG)G=wOI`Z?1c!NuZb0A;)fZ}^2TWC`)IShRaM{m+dn}8 zcFU7OQ?9BT%tqo&!l!>&V@wlH;9AQSr?sWHW@;d*R7HN`oYl89=!nlpK{v18_h4iONUQM#1x$D zxr)h(-yO%cm};j;Dip_NDL=-Zc_j?hMTs%K$a^{GpSsq^(x3v7-WIh|X-WB+6 zA*6`(tM#n*hpB0k@3EY|Bdep(!=>;S^sw=8wduub%at8--yyXgi^O3eJrNQDu^A}Q zx8#Qh&S60B7L6Q4D!%3`F|lAgA@CqwSTn;9Ie(I;P#IEQ#II|AIEl4l^#c3YZSV)~ z?P|(5G7>jJR}I;}70K(ui>v%uSDAb+sdB%=4K3-gds* zcpdrm=OXgzWt^Q0wqTS87;uh7C+CsyNhg}mPkP+Ft}=e+X{OPh6iiZQ|BNr{dJSr- zI1}2I440FL|6!x+AK_y@sSLGGw5T}yvmpQCxtI~h zn&tt*omTq!yWn-d@atHY`ewGdK*RKMAjTJx$S9BeU&oQp?QPMn6^h9fzrM*2p4=;e?*Z+}u{EqAS>?Q!ny{vHNv_2v2wo*g#aF8Wx``5e@lg;k*}*> zIBZQp5-vWxkE+ulB*pC$r|z6~1O|50o1|`5_q?=qCIdyZN~KWVOzF{4QEuCI6x3p5 zNd8dJ?r+u%Ck<_R(IPp1>+%v`FmUA+&!sn<`cT577E9ditD7-jJQ! zMjSLz^>z=zy5n3}PM^tn3{9^?*}#F*w|}|PV5YJ_Ewl#vq2*<_5Dp(qiCA_Jc(#@t zYYD$OcgR*1>wD4!mhFbuqSxS}4`-jsi}%W;4_V3#n$Bo55vd6@Kgc&M7Q$W}m%@EfLpaVa@|)L>7KD7UmM$7p!>pF%ZF=RIa*Q4?n|oeho> zE)sv!!|a&Much5kjA#7rXUajvRKGI-R;wV2ZnzzeQH0Nl1L!GfX@AGE-+m)Ws7)3o8Q`8B^!$WB)$o$orvSXTEg5L3;8NfcL&8R*a@zwjQjW@u{*@jr$Ri_w zZ5ALH^gtDr&JpeodG+{wmwtT#?+j# z#FhVRMOf_?>y7uDI_!J(^rgAKyPG#y!OV)ciK`%(lBpJAlYAPZ=)sMAL;Ow!!ygzc zX3~Gg8sToB>qOo*^K|;}rRw51)u3v4k})t32g+~?UyAU$tq0%i<A}tvY&%c4bEO`idD}fu*q6-O}qm!M4Ts?_cM#Z&%T6AdO%?$zdaUlU1x4 zpr8)S7rhXOkYR?EYu7-9?_`LrqgW*tVxfjCRvPH#)mFdW^f6Yw_J)uma^YnOJP(W) zToo8Ud`>e(nI;Q29#U;a8E z2Z2kZ3I<+aw5O5F`2ieee0L&SoU}@{=|ddFJN#7oe=piLn|Bb;%9yi#JLrmvingiW zO3NxslOfa{c%Z5UdfRD{kFKtqIvQ=%t$~N-ik(XcdJk_e`qAX3nVkWd#JR$}v>vg5 zEUy##;pcr;UmYqRlzy77cNSzQZI9aU=sE}`-}gG-r#{=y8&6=2Mn}rQgyrVpq2@_J zJ&zqpv+;Et&n8XrW4Ktlc#b?Oe&ojy1&r#-Iga>2^HWP5(?F>6Q9B1cJlYMs_P)l7Ms=D6v3+D z=2nA2M$702w>NRI__8D}mZ2J0Gm?^$I$fR{AJm#F#Oev05`OpQ$h>*qa=-Y~V%!tJ zf6@Hq4Gi+G!M=-6b@7`mvd&n^B+;xjrIqOUBkFT^os(y<6wbD3&54p9fQ=VcFHMqM ziI#?DSk8O>6pB$Syfz&|e6C~Ceywq#L%~YTF9-?G1XU%yHGVP5-%q`;&X6CDp)}Eq zBW#oHkDpdTM5ry;P{Dv852H}?Tdp$Nw(5Ftmu%sHN`uS|Y#7)~lqvny7#k?yvIign zOpm%zE|e^SX72Q9Ti%PcTsQw;hKUZpJQth@KXqvL0fr3bPY-T};JWrhKrP3EBK3V` zCmL8P12JgTeC#P3E@RB$6)A(b$bY^)D%dy%cTY<6-s)FkAEsmygM0%9E6y<{S0a@h*GhGS~rr zg$lIozLe6@Vm4xGCfy_*XiIE1(tytjg=*vB;om22500ZOkm6Q~hjc485}qA6jt(X` zUocH@X~rraoaVgsi!Pj>)JdX32N>=D96v{4ZvK=ZS8!h0Rh_n$Id_q8wiJVsnr zyEuwL29wJ~h8Q@|k%j4(?{Amyz3{wZBn*YXdWz8ShgpgQh;JEK4FJ|@k&BHcTlhc<=9PmcNX6ZLv(oY zpC^!yJ$caq67d;5Cm??2V4YbIN9-&i3J}!@)4F4X_q2g6F_hL#68RA}=~$ervMvRs z#FGm1FcP=ynG5aCE+5jDEol!VIga~@Skbnj6OCJNDeNCRn1^D}4*_Y(!l18sKVGb> zCXo?bf;0FG3G&QzM!E{eUhVgI+?c6Do*{wHsptMMju(I2<9n=b2l9N12JCnYToZft zqJPI>#4K2Gq*t|!8($Aj8z~HZF;q4*KSz^l$KB;-)U4D8^ATsLQ;N|2?e31N{%lf) z$?RwMOC0<;)^o@AUR^Kimy-tR;-X+%TP@iy#1=vNsggsdXQ_kRieuy$q7{ z?I#ceuB@*2j3)=*p9uKrxuB_I5iCvn(%A2?yn)y z7qFlpCchu1r2;b>Ys{NC|M)!*KMs^(YdzDWMGMt}kF20Sds3hNt*@wQWkO-i>DV~= zQ=F?F)~n&zS4C2Osl8;8MiUq>rVF%z+R1 zyRWQ)`IW_opQNwG4jG|h>M*m%T=GQ>-kRi*_F7uW#j99#CV;E>6u7pvQ}zi}&mToH zQx{|>9FR~!fn_w>tG#v;JaV^#${ayMUQ%S(uDqXL&Gu0p^*nsLjqG|#*^25eY`nS^ zT{F$=(PgB0?3UTs*vJrUYf|&3zEnmJz%|eb6N6>bMGj~kzdEq^OHRl0Muu;}Z?kS~E0{bjwuvW@Lj3QCCor$3^S9sgF=Fo@l-jWUv z&iI>u7n?5HZxuDj{B>Xv<*76jzV5)4&%J7=QJ1YnX=I{kmW`1{OHztft>ZKquY{Pc z3BvZu2XijQ8f3K$a;V(ZKP$leV|VRZnw*Mt84>A<5u8qCI&7PYh7cL7~y6$>iFh)Iin*(19kv>=G0r9pXFl{;^yS!6Ke0Q z3))Rv_2P*k$`EMvC}wqC5&F)zyyj2zN2ao8)viwz*HyU5n}N7uyYijOvIShR?_$$X@K1$dV1!0Pcx!e% zAEf8iB?gec5>@FnDI!kx*U>=%e~yg5z|qU*_`#=bWZYG~|E)qShGGtfID7?zrwAO@ zh{@N;;ybBraOg`7!PAyt?C2yR7Ko{bL1cc_Qft_5SLr^y55@x4)ot#&=oY-#+pdCy z?xw$_IDZGT9t-ol1Y(O||ISuH1L$}*cse*?ngS{<>-2YM%Dv4E*gWO?uwwZiGW#%& zI)xd4k=Y{D$B5S<-&d(K`Drok_-L?Amy87p{EZ@zsGS)}A;p(OlHb8*Bzj@F4!Z5~ z|Hr&@LJg5vCjS8sv%$%p$WnQ+b5c66PB(EyQ{WMv)zug^b}Gj4hS8Zb9qQi_9T^V|DN)Fx(-8N!QSDj) z({fV!XDMt>XA9NX`{^qx9M{nN4s)$LbCU}-Uc^2J>n;K75;{W=Ci$62qU_ zr&kt(^NYQ0jC`+{qNU*5lA4+h1k+d7mZH_Fm<_%ZDYb`_g&Z-_D3PX4Yzqhp{Zvvs zInT6qWOWiwuFS2}@r%+=3=XlZ>~N@>{%E8KxOH>IQOsJel~xTRK&gw2-eOb&ZA! z+Mc=5nd4)NW!|6PGeZe^sN?In>O}(ka4|_CU#nexPRfyAgRklMw;v3s zuGt3rhp(TmIqlf%`@?@NySfUzbI`(zhOskA);`ZJ{(k+F>T&UhkAovlE*XKK&wjZ( zD(2P|ucM>gGo_P`_h+o&U!L@DIPPa#gM(Xh?nxvb%g7KSgTF}sl2)JE!tt(h1zFhChoG#cCrv%D z6iI4&ppj&zei}Y?Q;eE&S6%!2bp3D7$pdL=mXm{tHgeuyLa! zK0d!p?|J5*_*Z7%hq~E#pV?3oySl-(Piv8%UyUEoH>B(nXoj9bQAZBV8cvv=t^@MIZ+vdslGkos2&zSj~ z?+*<4YxKHf_nEVeR5xds&w(7kFIF=ps(!pH5nte+@)TRJRw;8==TFVl=RHjlr^?d$cM(srP%VG z%>oH2WiquSw^E)oF?BMQWaC^#?$BbRXmj4maT8$V>$C))ro-Rv!F}f9`nkL;62bnu z7s*nO!H4h@gUN7Mu z{)`d`9xroY^(4GMY*`XIPmGQxkUWS9se*U7Bz6AYJZ_>KlHI|r-IhI2KHYk*as40` z9gf?TshjFA7#3r-3bg6bevkwFm=l!zxua(fD>H%|Vxrp$Kjqq4W2tF#H+qN!u6xR0 z&uM9MW!TcrUUJNK_EqQZnV@9ZGC8H-`8nWXFGUp}3K zlt0m-YNsUnciOGcwk1JOcEd0|iKw;nJX{_|!8%Y-j-%M23)wv=d-f!#OaZEE95*{T z0F2}#m9R;yZDP4Jdm*F6C1*eh=3UIRS|MIS_UdHPlr13_f3zhQd&)2u@@G2q!zP-FTy8}C2S2y~E48ecb$-m2KRJii1qqP)Z? zk#5v1+C;K5Y@D|MOkZ}| z&~&lf-ZPv|KeU6%8*5b3gU=U{(cz`9f5xMU_yQCxL+AAT>bHIq@{oKLidG1wKoc2G zof;r+%hXcNfy5t!mG%Bg>)>yXssM>F+3MB}|dEH#`_fm9~W!x>#qz$Aq(j@399Z{)P_YmnuVmAB8+^QC&->z24{c zNrf2LxSt4W7+-H4PMJ5X=Fe*Rn>vLAe|V$f%9m%c$6L{xYsfu3}5DHUMKXLs)-wFu~ zBt`IX46w)X@f;`Oj30$Dz43!E>6WjXy$wn@n*l3)4-BHIhvA}nu&}q^ z&*u0!OaSo~01k9SX$r~|zyn6ISbC2~yKT_e=)LU|(JfA1?#lio@~R$@gVe^T7d!s5 z@i*&uO7sX6_iN?@Ua`$%c^XQkE@5wvMd%*;%11#859(XcUfDOh8~--ebR zq={MwyEfs2JkHBO8CokENo{H&IkPyEE`li!aZ#<`OphH{^c=MF`Dbll#X-(j#>N~o zfjYc@whJu>uhlQTr@0mud2CPM(sY~75LH+ zi-^FmW~EAU-qU@w#;=z;2ltF-6w{794L3zCxy~$TVGdL{HR8@KbuG6Hn`YYj)<1sFeP>L{U2OUT2OY7upHD%7@48b)jKHJd+$f!Fwb zHo24PR6DZ4E!TesQy6(s$B!Hfh+5wJiJddk>hy`-?6bLmxpxXZ_PCY1dDk_ZZ!=c* z86~i~rl&qRShivIasPBaSJo_f=v=xh^qsqjGjzX7%w zDf5=`cPV2-9y}=Ty-2V01mj1Rv}Slo!!?pH!7F1IcFy|R=n#xdu*Nz%!vU(eEEzg2 z9Ldb#A}j(E2f<@!1<>>mV???e-Puj1$yoJjs~qqQ5D*A=R0Oq_sbQULTui(#pL+5o$}I}d z-k)OLpEe#lX~RAZ$kXcnu1*hRPRaB4`FG0s%pT>MG<;hyP9xH0DU7g<2jzvGU>bd! zI)99sbim`dpVY^Gw$f$ar%f;7L zdC3KQ!6+O9zx>rAefF&1A6fw7AieDmmN)DNtyBz22iWF5P({@^YtROXW5lr|4KC;@ z$a1zn3lFhBl7hYQ9BI^qhhV}39pm;O-H}Bm@g9AhYrL%b-{%$IngYokJ`_Y6eFtLe z$jYqr_!HFo*XLWMOrVAbI~N_q?UIiFP6|=KJN{XI05sLvKo2}^&eh1~kS^q0t#oSF zWUX|VwA{zdJbU;)didUc_RTLi(X6XH8m@b@NNr#)c+kH#Ic{cVKW|<&>j@`W03Tf_+L0E` zX(Wo_nS4w%K@Mlw`JWE+@4N(86zEH(&jk`Kfoknjltpui`!^lD!zJ3&ht6#sZ_)w6 zsXAZtS|$-8v7$1bPnjZ!ADU`i^Y)c&O%xFNmwD-fkL9T_%eL~s@ZX6CYLqk6t86_D z(Q$qDGA60A95impt^1l$w`m&AD{o<0oD&m+Dc||J&uZG_iU8%M?h7;R+dqrG7^+_h zbept@4|o#kr&WbZfgiT%#yb}qSd}p1i;N{mw0cNP#*`)14P)xG+RV@5B?47hhO=wW~SJuV6f4nCmsM`>Nb zUG_D9)Rq=@aQS#e=JI@)!CeFO6Q5y|gMqyOod+~U4%;05?c*h{0C9}C zs#pBLxL!kFZqC;EKjgP#bsM0o+p5##Ted82b)7_+J=pXYdZ&EHF8B-CpYfyhlCd)7 zr=aU0^82CFNF)i}8QG$5b(f2A4pg!_TPJ4re8v|fuRl2ex-+iW8H-B*>>O@gmfS#m zYL5rdV3@$-k(*P!?!IsE(p+;9p49sa?3!NrGc6Q88YpH_>-)FJm!V8NMUK1_W(-1& z&QXjGl87*|NuEIg7C=|NRMO-{dF?q(;HI1DzfzGFWWjn52knX{jC5^HkY5vb{W&S@ z@87@b%5o^QJK)wH!|&(Z8pR*2QHDOx`~TZQ6O^i0j`4g>6HjS&4=)%*3Bd^(*L1~t zXJ)?p{9LB#YVpg+A&!m0qJ_dL0rjvs>&JtR1|6E#5ZKP0$skTmzArBFwUBesv5Pc5 z6F0d}-Rr2LiNB&cb58qxZ`-8kukN{`9QD>Zm@)p~U=3wZ^FCUG#Qda0bX+q_w9niO zON*z@qYL{|qh#hv#Hq6C(_C8Py+Wo=Ijf?ib~EOFMGi$fGp`FN(WHG_DdCGBrJ)s@ zK|eY_mq<3^a#!WhZTGwew-fzl^7kymgfzbg-t%ZF5dz~|L91I}vp{Cbv|V^eUdbN~ zauVBkej@zpK>^LSiHoIsR4M2OS;^C_t2MA+A?y2vig`zg{*l~AW2GF6N)YCM?WrZ< zU>mEn0)J+o&(jdecRMf-%kfijKoCr^fjdpJhIUnius>*uLWOh^-&g1T2wBY0Fuz)_ zOc$Hz+G-as@SstBIvjWy^adyvehtWhy*)F4Whxy8lqF?Od5dDIZ4q<48B0PqG*l>j z0oZtQM9ivF8)y@SJ}fFS2mJunfWfV52AeM%kHtFw(~phuLC^I4lY+2(p&N%%g$${XuITbkuG5zG^LnG>JNr5xJcb|*40fbn zA^h1D@eNo^n631LZBoLFLRY5y&#O(nJoE04FI~ zNpQ<`oNb61B{*<`C`1a?a&f+xU_b@>#bJ=mmF%sOuY5FZ=YqSm)vX48X@7K@o52i& z7+Tz=dB9v0_(Ent99?!QT(BLK4jNR{{c)mk%<5R literal 0 HcmV?d00001 diff --git a/logique-programmable/main.tex b/logique-programmable/main.tex index 3afc4bd..08c7599 100644 --- a/logique-programmable/main.tex +++ b/logique-programmable/main.tex @@ -745,4 +745,63 @@ \bottomrule \end{tabularx} +\clearpage +\section{Logique séquentielle} + + En logique combinatoire, à chaque instant, les sorties ne dépendent que des entrées. + + En logique séquentielle, les sorties dépendent des entrées et de l'état dans lequel le système se trouvait à l'instant précédent. + On parle alors d'effet mémoire car le système garde en mémoire l'état précédent, ce qui est réalisé par une rétroaction de la ou des sorties sur l'entrée grâce au temps de propagation des signaux. + + \subsection{Les bascules} + + \subsubsection{La bascule asynchrone RS} + + \paragraph{Table de vérité} + + $R =$ Reset, $S =$ Set + + \begin{tabular}{cc|l} + \toprule + $R_t$ & $S_t$ & $Q_t$ \\ + \midrule + 1 & 0 & 0 \\ + 0 & 1 & 1 \\ + 0 & 0 & $Q_{t-1}$ (mémoire) \\ + 1 & 1 & ces entrées ne peuvent pas être actives en même temps \\ + \bottomrule + \end{tabular} + + \paragraph{Chronogramme} + + \begin{center} + \includegraphics[width=0.8\linewidth]{./img/chronogramme-rs.png} + \end{center} + + \subsubsection{La bascule synchrone D} + + La sortie recopie l'entrée D lorsque le signal de synchronisation est actif. + + \begin{multicols}{2} + + \textbf{Bascule D Latch} (sur niveau) + + \includegraphics[width=0.4\linewidth]{./img/bascule-d-latch.png} + + \columnbreak + + \textbf{Bascule D Edge Trigger} (sur front) + + \includegraphics[width=0.4\linewidth]{./img/bascule-d-edge-trigger.png} + + \end{multicols} + + \paragraph{Chronogrammes} + + \begin{center} + \includegraphics[width=\linewidth]{./img/chronogramme-d.png} + \end{center} + + \subsubsection{La bascule synchrone JK} + \end{document}