From 9264dbbeda012e285ad61f1ed8cfe7bc79258f7c Mon Sep 17 00:00:00 2001 From: Joel Beckmeyer Date: Sun, 23 Apr 2017 20:57:44 -0400 Subject: [PATCH] add the amazing test cases --- circuit/Circuit Sim (Text Version).zip | Bin 0 -> 28358 bytes circuit/RunCircuitSimulation.bat | 6 ++++++ circuit/circuit0.txt | 6 ++++++ circuit/circuit0_v.txt | 7 +++++++ circuit/circuit1.txt | 9 +++++++++ circuit/circuit1_v.txt | 7 +++++++ circuit/circuit2.txt | 11 +++++++++++ circuit/circuit2_v.txt | 9 +++++++++ circuit/circuit3.txt | 9 +++++++++ circuit/circuit3_v.txt | 6 ++++++ circuit/circuit4.txt | 4 ++++ circuit/circuit4_v.txt | 3 +++ circuit/circuit5.txt | 8 ++++++++ circuit/circuit5_v.txt | 6 ++++++ circuit/circuit7.txt | 8 ++++++++ circuit/circuit7_v.txt | 5 +++++ circuit/circuit8.txt | 7 +++++++ circuit/circuit8_v.txt | 5 +++++ circuit/ff.txt | 7 +++++++ circuit/ff_v.txt | 12 ++++++++++++ circuit/text circuit sim.exe | Bin 0 -> 46080 bytes 21 files changed, 135 insertions(+) create mode 100644 circuit/Circuit Sim (Text Version).zip create mode 100644 circuit/RunCircuitSimulation.bat create mode 100644 circuit/circuit0.txt create mode 100644 circuit/circuit0_v.txt create mode 100644 circuit/circuit1.txt create mode 100644 circuit/circuit1_v.txt create mode 100644 circuit/circuit2.txt create mode 100644 circuit/circuit2_v.txt create mode 100644 circuit/circuit3.txt create mode 100644 circuit/circuit3_v.txt create mode 100644 circuit/circuit4.txt create mode 100644 circuit/circuit4_v.txt create mode 100644 circuit/circuit5.txt create mode 100644 circuit/circuit5_v.txt create mode 100644 circuit/circuit7.txt create mode 100644 circuit/circuit7_v.txt create mode 100644 circuit/circuit8.txt create mode 100644 circuit/circuit8_v.txt create mode 100644 circuit/ff.txt create mode 100644 circuit/ff_v.txt create mode 100644 circuit/text circuit sim.exe diff --git a/circuit/Circuit Sim (Text Version).zip b/circuit/Circuit Sim (Text Version).zip new file mode 100644 index 0000000000000000000000000000000000000000..aa64d5ab2d22836fdc149c245d3d4b7aef20206b GIT binary patch literal 28358 zcmb5UWmFy6)~Jo^#vOvYySqEVg1Zx3Hx}I8Aq01KcXubaI|L`V-gKYzH~M|Qb57q| zW6Php$A0FsX3e##YAMQsL(qf3z`%eYLWRqK{5sx$ABZ5dAjX!C#x9o5O!}@2&Th`2 zAjp3N{Ex%M9t{L^U5{b=e}=+4xgcI4DZ@;T(+^9#Ow!3POweubU*EvPASl_ZDl&nP zU@yWZ!6&jSDKd%0vqL%wBZDZ)Lc?qsGwHGY{sXn&--`bc5dcE{{~`WoKok&AN@(%R zzX1OTbh-mLBHjX&{w<%PqCJEWq$tEDY(MAD{xuQ;C_God!(h8kv^N8sK}ow&wg)me z$>bR1pTy*$=BkpvNe%yz_-|5~|3RwdCr!!U%)di_OSS)(PUgM;?Q=Y6j3;jttc60V zR;a^FN+(-Sw%X`V$b@~nMULNaR{se3H?7S7Rci_Z`NUs{f7klI3IAo3tP?HNE^>=E z;DMrD=PifW02B*(6TJrrc{SnI^70~Fih&+^9qxDFhy90YgL$|?B4$!#@KR1GP-0s! z)PPjbKXWn7_7?d|bm2ed@;Biu{~-M4V~y+YY<`FSFX6w6;eQtJID4Q&hLWi+lZkw6 zvryjnA0Ko|H@LXeRAQHo|H8#`=9LlpjT!cjxPMd6@?X_Uss@Gs1^Y*!Zd46oFB3ov zDEk)j928uiSOXDEXZeX7l~)A|D*HW#u@pUQo2<+HWi|>ek znUgh(EHCa;J&ui&4WHef{3cmS z`J%-;2$Adref~IWGs>LO-GAq{@Q*qEZAe)EVMv6;2B&{#`8)J~4avdZh6Lh|o-)qv z`)f#AgfyMV2BHlZ6fys-85WRaVwT@vI{ygxw?Sb2uY+*^Wxwe!ynk2!f6@KDqljE) z2zzCFyiX%n`@)CXg>SX_KbZYl@Hmipzj}*15ft(_kazY# z3Pd*WKa*+V3Sl$)oy7ms3BdLbwkJIdF@C4>JM_2hOBp!^c^P@vf7i#!Dv6P=e%E>z z<;nr=Z!-4(7tL({Rr6ua0OVg>f7kr)v3|?eWB5}sYp7lS*#631nNSLcCbheT zs1rphh?+4aFDn8}!$FUES}2xS2%wA$fyn^|_l*iWK=og#T-1^;8T?Kq{{KZa=Rc@c zF$g33oy_mhzq$kUD4i@lBK6ea-`WER30Y;0zdteRA_U#o@5vhsHawf|HE|-9r{=GP7TvZyNrIMllf~I_b+yE zA`Y=o?w)?Y^miQ5ez%rC@w8*WcbR@;Dg7hf-?Vc5SFHzf?A?FC{aq`}e_;EEC0wYy z?+^d(-e1cMhiYswenzZ6*$of0xBg;w{YQ2f5ONSRv;QU)0R%MT4W;g{px-*B#zyFV zy&0MQTExL9|IrA1odW)tyF{~L;^}Y~VLnwcmzGnPmgB_JO`FJ~M*tAIYuk1H#5BrZ zG7Q!Hw*T}a`SBXKJ|gs>ZQV~2j{Pp* zf*NVVrkUAde-Zy(X|Ikku;Bc zE0wRt2^;N2x(Uw*{ADy{I)zZ?uN3B*6(#NEm6e&SHukCMUKu5&lZh?4)2iC~+o_zU zGGgWayPL8Kdbk=7v$CDeHAW}0B>d)GH{AS!Z?lp&>9@1U>4#b6?#H5V&pWah_8Uzk zuLUudkFHvFo8dM$?X{)ts8^2`4XfA`>S&|&=x<*d7^|{iXXF-+aLnM>=#qXCtU^JP z=6AqhUGfAP_9pUlva*&lA$V&IwkCj)l)s+}&gfr62!VI_y0W7&)nyrKxhNj40upY> z`8MCzQfokYo+)~ZUJe|hD?X%SUBU@#gE>EYQv_=YPH8F)CNYn5nvHRNg(l)B06?E< z9gY}`e=rGD?{RVakPgh8+ov;6>=en03mK1tz2wGczukA-jDwbg$WIySDbVihH(Px$b(={E%xIe}xu-OL6S9kCj8jAweREUR z;t*X=9V{KWG4{+{l>1nP9T!^iHUa}_L@Uk7YZX{y*lia{_B}fd<{8>7%5J+6!$)cm zo4KEclI$$ifR)a-RkcD^n9gjCo!j+BC6g?4_V&e5WIgD;CU^ZZ2!nu%CSKZEkf3$V z?_kbB%=9AwLQ4V7>iBew1S}T7jcQ>~I?a{!-04DogU4f;!=VhdSUs*0z-P57x+rAH zYY&~2oD|pF)g@5`oV!d>X&DZ~5B;hElIHZz=n7Oi9;~8)uvyqgvh%Y~3S+a9k2zzr zw@=QOqr^@PGd3HHLD|s5n{~B?y#|((YE+$}hsvQ*(ivo0Sw|OXqSPFs)DxGCo`$8`LaK_;a|Qs&(ATup&q1i%JSxEhmVH(gMGXm5ZoNfsnWPy$nL zBRnn;b1Ydo;|BcrRVZgk6E1f_>uXjJsJFinW{O<5iXY(*#02iXQOb-`*>z11if-d0 z&a)yL)!h+13Qg-K8|*{0qbZ%!DW)4rS8E{0_)jH|tl5m7)z=^nx^XbWo!-{t?_#ah zl%?BL;(D$$ukH-fS^i-VVp|~rJfxF4y-XshU93ExvihYpk_+I^wSj8&Ug2>cKQH@v zTk$_$t!p}6B0@09V|KG?)~M$hSz%vI!3x2_88Bc&5RWOew$?dPeK8J{t01lQ`XbVM zs@y)r@fizxB6}bHm4wEL_%g4$yRq%mJ2ouXLDxK%Z*67gaC0(;dkd9{58b*iXn>qX zp_8$EU3)@}Aeh0go#q8izm;&FcJQd?m@hNaD&Azc`gl#$qfG;kGy>AH&$<>w8qB3@ z4cCLqAo8}g=EO46g>`|?o{-ZQ_LR5AUbr+benv72~Q z_Z!vEP9%n@G42k>XewX|>4kL@Sw-H-#<9EejJr+Vso$Qc2 za~u_Xy<^ByGCjJ>z1uLA9qhu1u_5>Hb~qZaVm_pvB{zEh-~|Q)mNc-oBdAQk3!I%O zt*0usf}k%pz@|#s$z@3oS;%za=KdZ8cP_`GTV|4|(;%)kk82$sLF&cOQELt9>mD(a zZ3sU#{vMlZZA3*_ET=WI69v$zd?vw^j9bDS#t`llbrU|&ZNOP(xKR^Ck7xXh@Rj?$d()@}Ohw8ab(H0%CWr;7w_5Ab+*R!BAY zWB^wi7FT)g<)R-e>yC?BT?n{J_{#3WpZaOUqj0s#^gppNX)|bni&yF9r_EAMLTlPW zGME}4#KyZf#eWU`+9zWc81GJL7ESf_UB~~c*QiyV%%C_oslrTp>V@wC8=b_&G5Cc0 z448{cEc9ZG(0O+|G96EDe0tIlJcoabdkUzO~aN--i$Qk9?QUMKZI_CpQ|t+Kw4-x_8)J7&(C#s zy#kQ8XRUYKHqljW%POgO-4aSmUqC#E5DcMryw;vHs&*DYzZ&LrSC?J^z->XtD)Xr8 z%)qeTYd@GrzYY)Nc9;~z<%5vkmn^vpxdoD2-Gd3HoIn)mxvgne^rzT_KK~@&+3{lp$TiFPXvERN%Jit0opAATm2j~J**VhWr8K>_YU&w=vxL$s z$JIdKrzWyDI6#@KH~|6pmLkWdIfhoF<~OPBUps%270Nh_cJ*Amv01dCdU<->f@DM6 zq>-~6ZDzOXm9_kg17TKGFl<((Gx=%d5swQ4oE_H;Odqt6c9}KXw<_;G4%lrc!Y9rM zTC1LriZ`LR*#hn1sK95C@7khBT#X8Q%K8kG9uA>43_(!TqSuV8iA?m2QI~e=PF)M+ z_RZ^By^DVgNOWVMBk#GiHitrWnq=^P2j!t;Xnjk3xa{~5_Le>5icIn3WHhX7nkyKB zw&UIQ@S>cKe4j@>oFy-F0Mn?u1p?#l$xmx^+PlIpG9%zHN^dY$dk8_bW*kSISOEV? zN9_ox=sJjCeWFtuU4JmDtz;V#Nu-IZIkK4}vE{PsmJ=5xg{+|XsMj@mU;60{U;}=u zQ{IO0Nl&$;-32U3vb}pP%vr!|9yf ze42T>9gVWU;J5`Z0@|H5-Bu^phlenscP}*>t-U5H;h3E63m56e$;MTTQR|4VwZe6z zW2q=5bgV0CEuoxG+b@;TuD`SV8TCOa$1?Q>**o>rAgDo9WJ79Axi>~6(3QKd5+$4g zRvrtX0y3M0UiQh`&J_C%ltow#jSrt`qwvs!x>dQ4AL4K2DMac)ed8H9G%(1IR5 zSllo<+ZS}))}Je&#Y9VDGZ8KlD`c7MSswtD+f4o|PW==z2p%QE&?I!XU|i!7^O1z` zCPJSa6?UEriu;ycyfqzkID-JRKN7>A_rgasm_IV|q!^zDS6B`ywPz`>F)Cy<$Gu%e ziP1!TNW^<&1dRQZkeU-$b{=^Zs|=1Ivz+NYz_xc%$4pp5RO5R?cH^Q9;;WHo;d>QD zh^Ff&?B|ffX7Rxq8OE^28rE(0V2kig);9JfiZ3A5HeS;Yyh>PMmT61@tVkylz-`me zD&qba!Nv#tOcL^X{dhTE(`f@CdQPRxMiao##=`~K<7fmWD!oDF9>W0Q0)Atp-LS&N_8oZ#pVUE(1Ne@?Iko#;`K~Ec@^(FYN&S245pCi0;1n{(;BT+@*XHGiJk>n zmID}fb3S)||1-W3CQT0=r1%gcK5_nJl_*w+?|PY@*=m#!u$^AsgZ4jX$Z@0*H0jI1tHJDLjoV})rJnOS63&RRBRxW zAn^j>mTei4^UArNj|(EXg#=>LDGPgsHLe+O?^N?Dwj~XbalD~!w09UW;1QUKuCZ&k zq@w9Wb(>8_hAkK1aJVhxx&yIsx&&|yl_}NRY*M=0S;=?20lXpn%RFt}F`;eSlPq*g z68z$%ne9rV8`K|Nqj{)ry$RFuik)u&+~5Yb=_a!H{LCxJ*asNrj+3v zzG&U~pg-_~=#wlE`yWWv4p6Znz`l@=VThhkAb{lvc+wc*+$-y-i|n!~SM2}n9%_`e zi{r%*r|hsHq-w1YUl*X~z9kcL{DD3ofWWa@wDeqT6qD;@hll?VD$&KSkG7m;r-wwvKJS2=uDN2p5}jEIBjzDZ?TnK)mdcdy&vApf-$`{9L)kMS^yNy)%r5 z*`VpYk)4AEPb}DXU36xL{Dx|Y>u)9%CspnN3BAZGvv3m)vD=F0kb${sBcS@-FcDwm zYr#1~#`r;_=%W1(cjs}(#GTE%hT;W0`5-iUF3jWVyl+vRh7(4+y*v{2$-BYk(VzX# z`4dVAfqo3;%TLtK0w*=P)y~ZXlt9fVTyEv^0L}XdL}@GTfy0Dd2Yf{gxguKrb7$W1 zI3Q4Ge$YiIczZ-p^tQek=sQy{G>k`5w1FFXQvCr~bI=4WT5qQr9z3im>M=7d<3Q7_ zOa{=7_+ZI9!XAq(EIO-69ED%*%aK!KS~{2<+eS6nJlA=UuD!GI>-yvY7jJRab7|U> zb^z<*irz=z*vvw(!ufVGW8lY2dUaSZzm^x5&~D8S3-ZbjA}NHQ6(oIric+29r7JHt zAq~+(N{qh<-+u5l$iE+k>E$H$lKR$9t{S3$%O- z^I-~u83hYFz>DV^_-J$}n0>-8v?q;9ag-;$5gUs)u_NlsZ1vKkN4V60ZC2h9b{k@x zXVCo3*^F^=pu_}aB?Vlu0eR%A9DKVY5FNwg`l-#Pul9arDl|%oY72`_ypN1@C03j5 z)V37@Z8KESxyLd)6M!%g&H%zsKcRxX0jB~SQ)><-?jwuTn@HLv-sA_mUn0i#CEF;P z)LSoHCG>F6<=w9_JwmY8qMGhc>vUo*>duYawyJ?;IF%;GjJf1&{KZ(r13U)Ejy!`mY)&dX4%FK&Od1YaL zL-rOpa>f6$qUA8-4Ks0exSGt+G!-k&3p$&shI&`uv zld2bu6IcMWn8E3mZL1V{@!}K%kCE&bQr9-0{vG>HSllYQWK3*&1TMWkX+#9(O00T&(ZjiRS`+LShE`+N?!qzC4f_yeY0P8sY)j-}!D>F&_J0s_|l+X*{h zKbG+eXeV385VlrVgb2JqCOhsc|F`>=B%y7TO)iNrfvmSk#T$>+RcAU{;}Uz$9Pp_d^Yhg|Q&$6o;nrY*BCPtBFd zPg%4h*K@hagmW%?L!4-g$qo01ZuE~B>Z<7Xd`H#g&4)NwmU+3&&ZyT*&e$fhUTh4~ z%j9oHpxqIaMI$G>&lVL*q2yvT+=l_|Gy_FSGu~0HSyKAKS#Ux;XoA^>otY9};O@fI z@6X3?#GiJL9}CQ?`I+7Z9=cm_%j0a*bI|#ro>DmtOikV5ISCp~nfo@4ygkVU&QHUy z)k*D=+z1v=5v7YhZf(*Q>@!M436~{Hwqnl&di$C7Cy5nmO|nz$TmI;hhj-LQ z1-FIgK{w7MQvdjqKP8H28zcoEz}fjlF_;L|hzfR&*!pMAX|N`aXk$Tu%8Pqf`ni*X zGj`t$7kvc#`Q)PLc_knISFP4_9={c)UnhElA}C%^C;9Zu^8p^m&>oFgNgYP{zJd*Sc+INE#i@FQYnq zGLte&+Q;F?7BJka_>EYjZMBZX%OH{niF}01kfF6luB^ngMZ9A&QD?Ey4EY&B8)4!S zPw6ujl-u*f&Pl@I9*`4q_e+vnGCIf4GsCkT#{A$MM*%%wGchC_pa8|+n>V~>RXztk z@c;ZmO+&D^;uU|sz_hdhon3j#E~oCQgzUF`LhZL))>cPd!Ze2~?PiF~pDoaHg(FbT z;J~?x)3Up!o3D8>GOF`oQZjxAJw6NlKG}dslNk(V>_gAeZ2Fje3Cz?woQM+idUE5E zDcB4*uP1A|X!O0J5y3f`r7JqM5DGZe_xq}8&&0(D(&mCa>7>y9F)&Aw;mC}$7zKqT z{;xG^o0wp=YKLzkJAD%ye!{phsiBC@dwR+rKF0Hx_ss65osT33BFEd2%<&!L3fG<7 z`Ejx}b6J?XWwc4+K0sC!Q}S$u7KCuhXm<~j$JMzKRe=`8n9=raA^@1$XJ9ocV__-D z?_o0v`V4sGd7wC~iqlWE&^((cIb9pMFu;DEk889>2;CvAuNoiX`JG$vjznf$Xky@5 z4f}!%^+A59A3B31+k``|JL?opUr$H^KRW|Q6(Vx|67ELC;c)eflMHpG_Ga6Cg|YABt%a^BWLO{zg-7rtoO zj&qCe7|HuRWTPE5lor7g&3H+?Sd56Bv#n%_SfJT>s{xW?xtVq%Tq?g3@uyE-eoiwv z4y2~HiVn0II3a_f$nG~d@k-Qsr$b*HfZ@%O>8o(b`uwP!lSwJ)R1^KJ z(F%%c0+6b{fYS2DvvrvFITu|d(#Fn7!XlArWj9$*y?A>*)+K{{N0+Oc)K+>&RF=|{ z82Y|z8`&j=MxaYy-|_oXJodl*Ydbfx#I-+6!W&L#66g6bujRD-*i~&EAIvEz#bLAG9q{nJ4>0p(B>ECiXHUZ z%-q6hF4C6J$FczDtRR}o03#em0f&h6C=A#wtG4lpqt@Y2( z$j+jxKoi#3dHZ@7IEeFP zZ>~U<{NR{;8qOrP;}NaAHf_f)QiR|ha+7Qn&ieC$x~L_7X%0o+t42>p${O+O943&p zio0G^9-kT(PeV9;q;}R7OA68xCKCY&4q;m^CfXlhbtLD-6H)AN+-~9MjyGh2lot3> z!^|`h7;()7kzxol$5pE`oWMAk?z(gg$0ggccKIop426PTuJ@>G@F$R9cz$lh&&?4G zN*)MJals2k*`00*A+HB%;JV>Az!Er|9&t6RK?j2Yu@6!djo6Nu2liKfFu{*-_#9v6 z5x)%%+Bt9iJTpkq$(Mre2&{IZQM6;d-acExt+Y;BQum*ax&xAgu&tJG<}N3hCS=5M zghkw$oCF?V6U#E1;P7uzbAE%s?k;!xQ4BNT>cz46sq}&RgejPj-E)z;rrqZivOUYQ zl-%JJg9qP1DN()Ej{4cMDaikm&LZqB&!;P~Ft@1;i*{HyqeDMj>=f$KU=5uVtH#m9 zQa<1{CTxzd3eU*Q%zPepZVnFAqq|Cs*O)FQ$?%l|dH#+aF-r0WnA&bfTH%HF?)@tT z_xB$gJE&8Q9g1L?CY;~$-TFr{L-&-f2;U*lYDu)*q1tkVy+IJy{@Q0(4N3INU z@zVkI2u*FP^-}kH%%}w2Av%(7oSEHD(>X4XpvZi}8*E05x2t!CbLSEDAiTAs%ZN(& z6kL1;Zrc%(p#%a(o*DOP^n3#)EaprFW2F$x#vGI(eCcN8T!eRot6}qboSwlOagR@iS$|_tUAMH_@)1^rKxKUxeK@{iBn&Z`<|HIL56A zmEkptt4c;iZRiw7S9zTba|aeNg!G?mDQ|{k_O3j7En0Bd^c>W&IB^h;tX47=5c7A`lGwb&1Hm-{OI~jRUtnh`TOoh^D(IxE!;__Oo59?8^7}63mKn39$12AhEU1*>i ztiS<@j4aGoxXPFBsK^XVK*uP_)Xaa~+0bQ@4QYi7=Nc~X>d4ROhg z!@R*a_uW@IDspal&!P+Nv~i(>s8F2vpz48HLi5 zv)zF&kL(O)KrJapH5ft2bePF%Uiok71^c}hm#v;`7I}+)y1`~T2{NWti^HiM$&7$0 z4_U(7kb!(5$!M&E32PnoAt@Mvq>&g|sz>|>=o0)z5hXC zS1%Blm_h|A(mLCCD=n*Jvs_7@aC?WQ)o}$-zHE)#A#nXfvwbVtP{0fJnP2#fpvyNV zyvqSL3u>ryGWH#*cbN(K+uSiyVJ~+k2G2VnHEFlzIM9o~m_D$Di=SgPNm?d+=V(E0 zQ=l$f;ekM98V~RKDU=}J$bX#Z9a_Ut41aSRv7fVW>w#jV z$$M|Z5Hf@b?SAOAy5|#%EktrZIN=<3I?~4*#5G3A6YP#~40Uo?e`NO#Bl*)0LKtDh zPalw;hV`>~@dM7C0Z;GDY%=unU&fo|0EK9maazxpJxxkyGgnJ$s+0la~KxRsBmwICJa4iI>x!{7X*}*Os-sf+7%sMN_LWC!ftYO|$OGkiK{kmNXkQQO%oVWp&Ahgm1AF+B@?pgt~td8oXo)7mJ`Ulw03CEH{L z<;J~d9rnOUAMj>L&3=s}^s{c2>`jH~$2rR9#U#sZrOo!sVix9DhGO=X{AmU__%0KP zS;#4=Qf_r`LOEy@CngumxMYS!=jwog9hPhafXiYlZ@c=_k+t*JEE4O&{GRVK1+WbG zzn;~;r7@<&mUZuZ#T(|!Kf$SUP%sF8L7W&xF z56s!xel1LlFdS@@D3IP?Z>j~+F=3Z^LfQFFIfJZ|UGeBFV>`^|?^dQAqB<%&%qVLY zJsXTqZxPSL?r=8=$;7e0#+6_q*fq8f2vXUY^>nx~eOSDOMDAzu(>sz%z0REC@vj%v z5R1y#=Q@mCg6NZPX zQD@e)MZcC(*VORup`-DW7;|u%y zsft=LM_#om&pujAmu3kPFzHiV1e}krh0V>aQ^mZucJlQ`%D`!|;OKXvU3B56GUG(D zjAYLiX9(d|!I}|+OV)qybFDyQS&|IM1m2WVGQNsETR{vlbwW`ZUGnV+m<#>viI3~i zG|@GA{;2Q$xKH~|RJ4ifb|N}fLf_Q58?5&)Y05ULXKJbLX6Ve?YEl<=$zcY;>_aWT;7eFcQ4BCSkJI})f!bTK$61lq?5`S^I@P+*aBYsXbd={QwW1L zj#WMi7`AtAh|lgDysAau-!@=5f5)ouA=~^adpScRr}6O!Do+|pe6(f{w^<|Rgzf@+ z#U7qD$qj4FDo6q|1s=1?>`^h>+5UQ`%}q^%rx+v6B^G~TGa_5@{dCJY^nPk)kQ9s- zhD=PTd7ek~n|9AwP{6M(hInft_5s8dOgJ?8BZ)6)pM|#jM3`mkMM4V{hwAp`dRD2$ z6~2-fQcu(8pIlm)he;GpP9iEm-h!rS^uR!@wz1x{&Gz_4pLfDgebbDsfkeoxW9BEf<kD#;iL`yVelBSM=vS*)H+3O$| z7PInVTV+40{=t4uX%uz6DpH`3vBxrMcW=_Kj4;KNqk-jWij8xuTRmOOVtLvs>98t| z=n4VQ$kfYRa*n+I0s<&&=Iy?)WqbNw2R;8Ye-rcwW=Zy`ljE2Q#o(z`q6v2oeYA?v zEty%FwDaYffv0Uk$dm@Tc|d9t`Dij8Hc|hT{v1q&tRrB>%U|L19^B%i#c?xMdz?V} zQ92WQ-uGbYU9jA5lW>|u-I%=a=O4jo<*?GP%T^SPn6EvE1!5s3NbFe$33DINq>~k3 zu57+yNBGd}FfNqf38DFEfVWKRZ4HKWc|>n^2e=?5n2~VubC-8_qa%}8@Nx4z8X0o} zY6?{{V=7Az^M+yXJv;R$+^&Q3i}O3)&LpPvANbE{&o(2zorM$>3*b7UR+yG;6i{;W zu)Hra1ugV^|I%V=Mb;;ukjnxJ5kU&`An>qNqVw1{}k`k%?Cf*uM8r{kc}krUObQq($ACCZ#Xi_T*!N2Gx7yS9P9GcGtOcHRnrne z&!1{rqGcS1h?-T-X5%a_(Mkn!)qSi;yLTJ?p87NVNJbo4`PnVX;1h(XEF`H`%*k`h z3>7v?@|;d83APpu25TiP#>HcSk%SP#HqZZ&of9;=}ZX8D7-8k2+;uDH5En@{VPyBV!8# z+Y~I+-wIBsd%GB~2MKGl#(Gum*;mxOWEKryDFetCL+cDJ>8_kmt#7K6{>)jXm>GIu z3VJjTNEHOlqO2Zv^y%O%`PjUw5B}tUK|-2y%*RnJlLE1QKt^zS?K%0`LEQN1rJcE+b8)8A)9QiI10 zflUyvB2EuHm+*8I?MC~HxP%`-dLlIe59-PFku=NL~irRCWn z=bG+3iURFRpw&-(GU><2SqNwR#od=Gt?LrA{xTpd8ebQbN5yB4sKsB~NxxJv^YyTd zMu@+>q7rHneJx|h2G3-`Y%Aw6{XnCEe!UF-Ai55BdwI#i6`5Rf^-dqbwH|v z;Q#y+7s4yge`o(TfKh|z!32b4%=sKK&!Y@fHJ%XSj%xl1TPw-}J|9Y#omDZY&ux9M zQ{KvE46L*p3Z{`51z6!1qY1z`&3&#?RW=uf+6mm)KZ0Y*r!3;mz^}$rl5zXeU`7O3 ztvTNJKpMGKi=_~g9cQZC@$^Z|AGlhxan6|xH5l0WBJd*b5nqw;jVilr#J3CLl2BZJ z&yWJ!Ely9|qZsI0ff>M)fjMWNp`n?S>AR^Ynm)?p{N6ydKJsvHHFF4y9Lal&9S*Ih zj7u2(EEtXvY7kL&xP_Mf*hz1>CI6HR(aSfcNetl(nKH$mxzDpn&Q0L9J<_BP6`A}= zvZ)=}eRUkLi904T|CH2jP9f<{PaEF(js`};hI5?+tP@aMxDcT#_IZ7v88J&K-`;?8 z@jn$yAg?D~GH-pk+;Dk{cuXQK?WmklBmPFtkr&&8YX6a_*C&;HTZAotzO|=KJM9Kg z6rv4|%r2kG%mrDyO(8#I6%^vKN1W`u;}M@@6Y~D*6w1g^XVSW#m~&QC+%nLL>1?kx zQ)o0`GArCYEw;5$0kdL9Upc#1-Rqc7jDVE^XKzCn5+tE%xRR|#1){J6Cypq)SdkrO zN~bI2Uj~*;7Vm{$Evd&1?i>qAniO*cr(tklrZa}!&7T@;N8N2B{mp^c7-VrN5TZSo z)>w$rhq7@x>DSdZo9hl0* zeI8SJ8*3zy9O!Q3>@T=XWT4o!ntJOw@d4wn6rBm^daa13+?DA$lVXB0_vh4CI}=NS z#22|nAZVKutkIvP5**ZLhT5zH`pLTt>w;fOZf(v5);#udoHV#nOKe+%gUx_4 zJH=`PXg=oEx~9<6e&qO+8DDAbeumf;Pu&j=ipB?sMNpo@dQkX)o!^QRdGY!Rwzi}y zCxCG+A*O#rGOVq2hF|-InTQ^qANNzNp`>12LQyy|;TO z2~3$ho7WWBA8@ha{dAeEq7(V@^3i=$LUgm~SZLLjd%y=9Jxk<$qewr2$erisYI1a; zGn3*q8azu98WsP}J4&v+^;_+=Y#}mSE^x2T? zVvqAo&h6(-sMPUEL%3~fU+G>LR#b17bI3I!FOiSDADXP4w}S4;q}ewwKEKvp@Y3kp z{Olsf)!iDI3&Rr-dfe)pNP&LqFYer=NHH5N;Q1I}wgrs*foJP@CFkQX+$~IJM$1?l z-uE)F0=foK?lmJ%d4Mpd$?}5G8dERxSo}>vXKM^;;00{I&6ej%A#F-K@uKxutRwx( z_xd$^!@MH0*#}v0DClI?TrfU=agtAV6W0sX@z#qsgW`N5vYA=}13e-3?F;7Eda>fa2`s@&HB+3zgfCJ?Re0>QqQ zWL=+vAdLYYO2uuwy2C8m-1Vkkm8+M?2(AP^K>Jh?@lccEdTEtB=oakE)$eo)iF+%z zN#qb8%53860ewQ1gDIy$B@2?45spozxvuD~ zBg}r13L%yUZN*7`W23|KH?Qa=bQe@LFZ+>T(!4v752y)xcMx>nOUkdiH*K3xcsOUHiD4h_E=n z4YIXCfLF4;J5n)K~e z(cYI2TS{LYkxbN2UaQZprnbFT7D=)ax_&6%Bk2zX=lW6qta{D}?8<;^ zDATMIWZVgd^qP)ayozpgNLr)*#vuJr3ShN>N`2h%93q2l%OX>FY#`IMjS?5l-KCi6 z-CHCZxh$I|##ZK4{M;$$#ESDYE7RW2O($V9csIOLkd}F`h{BeILhEAO7()FM%LR0g zlbE#x54oxt^lL4iL4imL{#2~>OZYUtYk>x)+OjN2mLHsRqY?tK4;q*D8-;!2hjFtL zK3eC_i=P4zB6RFOx;tPbucscbCsMmYjg+8w4D1OV_2(Tm&&%ji4mxp13!1Bf9U`Xt zHx4^-C)a*}Oj0d(>6#Mj!F8KV^x4{DDT05+wqPM-NoRdhI;@{qEo zr%u>9f+6}_yZD=G(ne?*B65&+d@7xHftkM~MGgn>3qb1$xT_sM9Mw7fh($7-o zawaW%(z8mOw3rW}f27Nd6aPqOPpy;BsDpRnC~>+oP>AC(XFM<|cDgfE0Gj~S)>Je% z^@gKHU;2b-PB5zyn;CGUEp#p(O%E{kSZj$cBW6>l!X>xsxHVjJkPU&)A`7<%iqFR1uKL0JP1d7sujpAh6T&)$nc{oCqF=ITGYl+iLua0V0Rj=uj zZ?!{Rb|e>!t54W|)7~uW^%gj`aO9^`(3rYf`^l zzaodDzO{HL2v%sIH8w2i62s#*6yC5_#(q8J$J53zjXaPK?}9mw9B%il!B|S7~ud4B;lxkuV%H#%RBGzrtMh;!(Ajg^4lR z&e}A+rbWAMz{CxU^paO6Tgf*K>dxo|JkRYoWyvZF_}~a$3?YHfVn?-!hIAJVn7uIA zZb&s2NH4xT!*-5d9W9-a_+4-x?I!OCWYFOgsu6X1B3`1`{d$V7(v3%kOB|TLeMj*^ z7w}9-TI{CMaL9Lu0&^3YtcSfroT1xq3E*r|fHeC&l~jr5ysHnRd}ofCfOrj!Uf0~& z92d=4&lHZ_ZA=FbzIX=;q)p8Faz4s_ZMnMoV!mZ0@=kY{#?h2vU3n|^hVuAB`dIiK zXN~oaLl(NlXgKgkylHA%gd8Q0VW~kN!B(q`Km=ybB+c!P2T^l-X+!&F|K}JaiP*_s z&jC4q7;YEWIsdc+d0!(uNfr*Up#*+VJy58P#DC|M3y03Lhri89-X$9F>2{HmIzfM+*>s4-*`;F18|5sfNKKb7^L$=|3%KSag+PjoGg3{Caltz$38m)&Grw z@LKb*8&HjCp8s{jP6@_?FZg^kepz=*(_X8tsjfM#f2hHOVTy#p5@q0K2 zkU#`aT_b6x(G|3i%XIE``^aL>a`Epe7*gd?mc^lI;Riyeok6qkI%O?;DQ_;6dx^pa z_q82ZXg)PHqjmF2&p}$)P&5Vu`jJ%kWFAr<4cGEB0@hfR7_wK%-yy#u#~Rt1Nt^b& zUOIl0ED+yn2#*1UdcxFq3xh$W=a*}hg(e;F6#cS1V8lC-ym^{nwo_~4xj_o3b8w(~ z%OH+s_k=!7pr*F(__>%G;KLdIUX3pZ+vIRHX)(ObnA&l!?_|&JGL}EUE8YyUs$Icd zf6qm;fxD;IKo$cHcyCGs&9QcS<8v$U50NJSUfk1qohMKVT;< zg%Tt8mXamu819!2ZHB57hM>Vqa}e_THgykHXv=ZOq+GoPSo_dBHVW>x6ch3#v2p(U zVHBS;^1ytXJha@V&{w^RDib{jlXuWTK-NN(8edE$r2y&kPLu_DqKer?_4c8Pa3Q63 z^v}M7G0nY|Y)pj+tbQSGLZvTFT=)(M6pWn-2jeIf(&X?Cvisx~n&W<%e373WzL7wj zp=w#^@S|X!f~BGB096rpe~t>2JMmV`;fF(7SoU0gWbyQgV&gAxU}RPbN>vIochI1< z(iJmwk;*|2ayNmy-g-RS6d_N<{E!V;`4}^dT62fi%HV7<<)F&=K{!|+#^LJ8?vbEn zcefL)jf>DBK=2Sb?9Axb=5Swi#j`c>3rbm~B(7GNU9`K4fCuMr%kC^cJ7K6%x5T)o z`4EL}i?ETL=E{7u1QCaFW_a9PmwDV72yP^G1tXj)Hzd7Td>GykqpKL$H42L0S&XLX zAF&~u?eEiZ3P<~ieQuFFp+me#TMj+md<@IbLs6c&?Kf=u*!=4)DVZYo({tmxH*8H9 z3ecIbHW&Q`&SSZ(8@>5 zXay#NXljKbT0-V0;~II2XjV5u;V1VML}W`66J1U4h)O$>21ZK3feLSZ*J&b@BY1Zq zKGzV6M5{Sc?vNeZ04*IFPB$e{W)us}CQ?0O7bBOTm zh*5`dIU~)V2=BiN-QS@9pTf=pDypvE!vhLPiy$E_Aky7Pmr@eL&>hkZ(jX<>4bolG z-3SOsNlABubTe~-PkdkHyZ4^8X7-s`=REs&{&QyUHM3^UBa8wL`C?H*?W|-}}*23{A(g{55W$wjM-B`ti{X>CIC}?g%CW7wR z8&A$Q>#n#Wy45PKrgWFBqucFL&=-KnW$O9QImj{3~H;MRa{QD zKdWiSI8VZv!WZ9Zky{FP+GEy(*Kv_*^PY#s@A>Ei*o%9!Xm{zUZQ;j?@OffgvG6>4 zq^dFK!f;k3n~7X_Qs)$?oG}kV^{r_boItU7xYNAqhV0nGvPv4B{{2&hs;x*yT|*ho zPj=xltl4m!lZMd^wbvCN)?Tn6j150Ye~(m2+!`yrBlPt6*|BYCa33IIPc5|M>G0-u zQ}ikkejl$p0*=n{j;aJX;g#|JlHB8qf`VaYon)~cqD#VM3*ocNkm>UTwp}`Q z<=PqwQ?;oKss`V;zOZZ`0s`pZ2JBym^qvBjWaxvOa@ECT81`XYaa8^NvwAez2;Rol z6I;*Z)O1<}qe6}lnqR#$;p*9Z-5F{41L^yqdEykw+oXp5Xg*sY_$B)}8JT(c4AHxn7T3JYGXau9s5U@t@DGlhTd!RrbF+CIv2eURT63~Z9j zhjxRrlR4GeU4V;sj_L3qyr9*A1xp4kKha!=kZawWt;54a{M@hxaweQ6?7Hv>^GwpUIZ+4Q*i+uR*1PAA*F0VTB!gRoU2{xafMbB$&yzsB z2fz#Lq6wAH6X_6ywAgVU!wZoK@Gc9bJ@WqSYAkl_=m~g0tUO&M{&?=pLkl#Q% zfyn|kD+A-RchKwId*5w8P@kk-KFFEOf7wP^!1m#&KHZ8p?P|9;VtE@7p5hZCd^)}g zoYhz8&Y_f=b8;_yCdj zx;knI^@h}!NM1krPb&e=kY*!I7Y=>v_(nv_(54=4_oaB!zob9z=t5xW zqY4L<A&n`Y4xhNDb0QpHIB)YXdd31<{N}5S#Trq$S<#$9{osVd`;^ zAL>Ii?S!F8boF>BndsXEN82zzC(^p0*j^JrnHb;G2441(4rc{T?1IRFSj}A*I#DZB ziXRfpKLMAEA`6yY0w;39UbzpWUhk4DaE|xnA{mM4sVq{)kI--;J%MiD@@GSsV&6jT z_|IuG+Csq(WU(?1Lc!4Ma$;NgNa?;9@awc<2gJ*Kls@H9viKQ=p~}QAs6z~521Hl* zL#v8#rvxF30A_se!{-?aVoyU$iN1MYAR1z8woZ7=95;`Hvj)3+8I*Bg!_mUwi=#9i zMK(YaOST;Iefqh2f%^kHWuDF8JlS&zg|_Vs^#Rt!2~h>~tJyNfrg3dO`qQ?Q$8KL= z`21MPv1ZTj#%bIssXg!DjA&aguoqAQHUwC6b{pZ0RJ`Um(^Q>QO-#px_^@1|j|L(i zNFE^v*XGqqW(5IRP|zbvO!PzsOM$(m&Q61r?n*M{{^}Xa28>h+t%@zggywTGsAKti ze8nYFC8o=ixDCnn#a|<3G&+GJdmo)=>K)J|WRkwis5j*nZCHwWuQPO3b~qY%udDk| zOh1>iDTaqMIsjnvx|m-i49^An!7nYkc$o&I2Q!Vx*Hr5|XJ}I9*7ld@jmme$b#GQb z(npbR<~=%lnJ8&Y68ljC4g}j!NYBEEM%GN1-PX?0(~VF2(%kuTUa&R$X1CExT5h2w zPWSDnjAlo4RgGxU9KZxh$*iU`$+TphmK`I3i^i^3RzG`dhtAxrzV>FtQpBMm<;qA8D3G99%Vqi6 zUCw9ZvsoCrg-KP$1Jfs7Ai+zzC`;94;ib{{LDyam2kuE(VGIA45U}4-I3u|c8s9m) z;>uL}SehzhR!zu$1v2iK$Xu+%f|_0eUW#p(LWJS5D%jOw7}tG1v8Nr#soJOwYA4N$ zqFf8I)vG|s8B|;cz}h(QV<8Q61uE8xgJi(a_{&NCUdv~E5&hY8NWI(R-jMGh!Rx_qi) zd+56Agu<8PpLXZ0Bz&IKV_|s#_v`@{(gRZ@6Q4Fe z(4;0GUe=p6%$GdR#pH=oCVmRKAMzgnZI@Y`VJJQNiMq&6bo5S9G5eznkP@cwvEB(L z8G5$KE6B{}#Ohe}PBNRLWD4vQD&gn|xi=vnsglvyoo>g#uSLN1i=xduM0eM2*R*qR zF{No8lON$&;Wul~bJQefZh|RL`Qh`d3HuvVI_KC|5>a>GMx&r+@$U`RXHJsz+%G%H zqVy7_OEO_7wn@Yy*zM^R zv4L4G9x6N77n~5))QZZju!vgNi*Hd=N?*47ZYMPvysIHyd}?^acAS*YS%(HfX9^#~ zsKJvOi?2UN=G%H!SC&_a)N7{i!chTT#De1u@8`E?jDY)O5gjvrtMA-s;PF^|RPZx6 zdTU9ap>2Vt?q1`ZalV8m@z>~A`VUN1nhcI+NoeZkT#Lhfmm3MqwmX?tG?N-pY9!dQ z3ShTZT*Zu=%~Xhw1SXC=0R$Rcui%!r%V$q7uK;sQ1dp0io0uM+#C4KqrMe+aV?kA> z395G;Up=OCg|CL5m_=|IlyWDR6~-M^Lq3V&d|}1}zVL8vXL)#1#kP4CtYV4kW~=cleZwOEYPRu0-*IYy zn#t8FeCwmrCiOOpfbNobHdHhW{SbbSgjT~Xr1gmEP4e(!R)6LCmlK3?pecxZK{IwO{S_GcMaIdQ(w4(WqJPy$^*2r6=_$Lt7A7!YEfr!5d7JMcc zQWsMfBMH?P2-Ng0Cm5m?ODgR3;&m=^zv4O;-1J(0mO0yjuYeHXve^VxVC$>;DSeoK zMg+Xpv&sC@wsI%*EGT)gt@4wC#hggO2wU@D{@j|J#U-$Xp<1vKF?l;wkGo!&$1QbE zWSYzF!PF>brZf%XPAewPN&0oW9}S>gnTuKE%$eg%OAMhfD7NBBpA$Hp!kyE$gVn5> z0kFCnXd%CD7;TT zqm}qBpV#=3n`LVlipo#md`fv$7_LZWeljiEw46^?fy?$LWsIn1b*>zrk{zB`s|G=+Bh_%^ zX0jONjSE@K&Glyg)Vd>|ob&KK516(%F#GVb-QKnwO%BZtSRqKU%|M+J=NfSwgLH7ro5 zA@rh9;`6Lywk7o$uW2NudsM@s$YNr}W3rh7vBQo$7SQ>5lFoJ*%xuun6-@LNA zsd^GK6Uz$xt(BPc_}(!EX-NqL72jlw=Da=@j>{lH^VBjr`rKUj%$lR+5Fmvbl~|b) zXweSmr5_>a0}`hvyD^?^LUp%ncRK?+lYrb=?LMQc92sb1TzMzOn3X4X$e9m}W`Ql@ zA}4tT+l{uBXO*UjV|ZMyZBmz4*%BWrw!ZGgsRTT=Y2{Tn6wU-5;hqL5P@yDIL-Dwd zg4nyOEJh`;hy323lO{|6JRQpF507|h3bDIdq!@`)b7}cxRy&E)`K-*mGHo~p#D&8+ zXspxf0~0>3wU+DIJ?>cu(pyI9+sG!gS|L|Xt!&pDVa7P}(^%Mm>D#9I>sM34BESEa1XA7JHZJ#k_E~DmTjvw0Q zO@3!wT(sN*7fDVp&Am-+qP+NSnrrw4JTK%(z-M}~(LPX%n%Y=Hna?WqQgA>~N?94@ zZBi&KrJx=gdd*nMvx>X~yo#aA>-s#-%sSTJROZh%Z}ip7FUj0Zi8dp}=LxPyNU!rK zHa%7LhkE4yW7rWaUK1x(6ZZ)oiREJ4NLwy{qtS?Lh568;1++}Irolaa!fbS4mxc^^ zgYA#Oqvjcp*yOV#I9a~@_S;yIxkl{D=0k$Qkhei;%Igc=?42Nb_>>3^dBs@r5A2rd z{yen9-dSc>%30jfrrm^s)S9S`FQS=odi3V_^jt`)sV5stcV&eJQuE!@QJjm4sjk}I z5_0a_<}*p>iq5~-JnztMHkZ>neY00GbR@CzBPC95n`ipns52L7ML|}HNkV>kQDc3h zSpZOGd~PKty|vxbE89~v^;jw;x##oNtKFWwjgDG9Hd#KKo_&M>rY(5Cy;9I5MkN}# z<%T6$O3X*pLC%O#0sK!UrQeiT|^>ngp^8*606*hAU3uhNJ1q8*< zIM=pxGEW1MFE1?`QS>~t^4eHig#{Y|99S}J(tGCL7Z}YuXEBoaz}Lf}L3hbd1tVr3^}_b(N2Z4f2Mj?faN!()u`X zn&_mLAqc=_k(%f@NH+9%^vBA|q35DjJL0sGh=R^JYNgG5wOkssR=gvlhN<;aD zgcx=orw&KYADEK2Nen{22I4VmsBCB+dT_0P06}cQwKTmUTDrSRlx-Q$SCr2t2tFjy z7Fw9hv6))2i&JfG66(Z)QV4XhMkxB5O?jZSTq$D;ptlCd`?TywW4KglSN0x%NurC& zXJ73x9cDme&P_y}!1{41)B&w^{cj5l5yr6b5SpV9jyJeH>{vwFj4wsm4P3r;z~Wsv zF;{ZROFO-CSwm)0$P#pEdR^BWm213ueObL2!1Wph8$Qc;@c!??#`T1etm(uH|>wiz`kf++Rc z3dV1kD$QWJ&N~2tI4JL-ekk>oD*NJ{aDJnoq+sOP>+XVFf!Qv1zl0_CpQ>g3Bp7>a z8HD0S(XSl$PAs2z*>&OWyVDo0G>KQFlq;Sslo45@8a#o_ zGAZGn(pRC2`LjUWE(*kH)T3%`oZp>vRCFFRr5ZaI(W6>%P)XX$IM2Bu;u}DvPz9SK zk%iIswT@l21o(N{>4C|Lli{nJb*spOxhYe*9pcXQ@m@iyV1&9dBg9yDNtBqTw`wMn z2*AOmWzI@=BMFxGs*L%)6@iWzeM&DHDGTwk_sGgvqerUo$|O)>pE>NF7iMr{3(0kR zg8PUk2@dy=&CK+>f{;9C%Lm$}1DeQP%`T5mD^H!C3_aOLcm1@h)mq-})t>1`M-FD) z)76eWQ#io1-n*1MXe!YJf9Qi@!px$csL8^6^+_^Zf!{@lui+)*1!}^L=gcc)hsHsr|rZwrB&{ zPm&H~dOP9aWXs~gv>Xjfm*GuxI7(KVLsOZX(VWo=bf#)~l1X8XAS3OKHJ1+U8XZ1kpx)3$a&KVIprH{22Ld1TBRzdIM#j9=zB#g; zFHonPc#BUquWG(F^rHufn2WLovbO30IG*g)OLz+oEurcAYcaIEJvp&^4d@?wPZK4J46r&0M zn2!a|M`r*kMiT|4y=^ah&uC9lhU^oDXggiIu%)mnx{9s<5BbHCm$Ni&w_;SDU4@kS zcit~&^;wWyESsz!+D}#(4qhDyem7BPOkYW?(WOlgjxg3yF-q7Lw`*`3AE_p`?^Cm} zKlOD^f^@C=q}lM;>+9-jkZs1)?KJIiGYFcyKgu4udltJ<#b;~M|G`&sjS1P z3CO7o%-$;&%;jFA1DN5lKcyt3J7g{LEHSGFfi_%|Uye(EekNB!=W3k^>`2@D*oHX{ zb1_fEtZ5XVitGxLGywB}9w~bsN!7=p>!W#4z`{$g)n(x+T6rZEL11xbk8n{J7OoeD zeL%5)alp2A_BagzW{5wzP{Vs=ZmJ2P?DtBC0dfnHdsqy#eZ-KHFTM+Trv>$LX5o`d zC}$~Cp3!(={b~J4`#=sNjhLU>w6tHTtQ7is5{40M>-@tyFo8Zlri)PW2y-x5(mIB# zIg4MEEb_=&cfE^K_lQ(j=Q?u4Uw1FB+_*SGX@FDt*?Ar-wPAMUzcc1Gym}PV3#&V- zSGwhL%wIS5sno4>b*pLXjeP>H&ClACX_l(B()zuG=tr-D*EbG4!I6Y}I<8a6qP)Dj zOyGEpT{f@Y&$L@8bY6$iQq;ER2(4XOL&E1>6pSJ~MBX-Rrs)*ttgoc8ay6aCwT?OK zx{68@(t`$FO=3&labR8YG$upvBx|9fTWCTNjWua71kcqR&v{$O*I+nbXRk3Qr6V$X zMwK!u^ie8e>I$MP@$+Et5wprNh<$zwosf#roq|V61QqoeJ@0d7UMj3n3GqglJqa`M zUituZVb?48Z87je8$r}V0bZom#~E`-QZ*uD8zR$Qb?I`+1A?5HqK7#=>77T+weeb| zlED8nr?cR=%!Vc644HKF2fe5h%mZjjrlNmXB|0V*R?$?B*iG_t z>B`x)s(+5Ko9G+oNZ3YDO)V?xjjHp?7y6E?nr>|M+9XG63P{1WAY!Q@S!2kysBdYk zcZ%zhWq#D~t}i3`*qVn9Lz6I6Q&2AlVPx&iE61TgpF^LP&{lnX)Cfb-aL5k>ws7ij z!Ts07#2Jb53sPp!lQI$xBj6cdXMLsqngUZE8$I~2Fg>U|$?m&4Y1lUeY^`Wuni|X6 zsLW`a&-hDR116K;WzjET?Hv+AT0s*&XeZOYxRl7b3_s+XebFS-Ayo=0h!2%OonZGUj7MMn!dUbX-I9g}hPhpGZ?O6mkB3y&LKwT+)cP#_ zas+gJ$aC2bCo-arT`!f0gv$}+*rf~%2_}2N3BHjKLP-AN?2V=(p@i6)Qt8)Kn#=#w zz7>aprUCq8z_}C9+{kB80HnV*zH5G6ulctR2LSkA{5L>(7yz8}OJvaB{5xHY)-@6d z@ca&Z-KJmP?)d+?Quhu0zsPHD*)~M?*>{$g8^g<=*?~~M*}t_jzp~%g%-r%rVSxgF zXTLMA+(;+>%zpka{vX-@HpJYrVKvb1)#Xl;a-&H3GkXX0@9e(~F2AzhH@4jJ&5UIf z|IU7=D7n#-{F&YM!9V;zvj44Exn^EnhbY z_Fir7gdhKR)m_%nMa%;4?`6L;MBLaR z{>=Ua{vZAy+5fgy+_JU*3;Ry*aHC21v+mvhuz#B-er3OJmbm3Zr?1}2ey3o#(J%a& z-4Nk-_Ft-q8~XJa`L`P4mi@fpKKss_aN|sP1R%J+zgx%<0sm4t+;IO=H{3E`PTe0D z?;Hm=egjwl-W~9|?Y(9GQ{_KA3%5Kw&K2?wb|BI~ProaC~PH@|oyWGuq2@88?S-F{O?-q<-D|fB# n^}FhJG5Ak&z2EIKx@P}*d_Bor%NAg+$Bmne7=YXDZ@2v)SZ}0g literal 0 HcmV?d00001 diff --git a/circuit/RunCircuitSimulation.bat b/circuit/RunCircuitSimulation.bat new file mode 100644 index 0000000..44c3ea3 --- /dev/null +++ b/circuit/RunCircuitSimulation.bat @@ -0,0 +1,6 @@ +@echo off +set /p commandLine="Enter any command line arguments: " + +"text circuit sim.exe" %commandLine% + +pause diff --git a/circuit/circuit0.txt b/circuit/circuit0.txt new file mode 100644 index 0000000..efef740 --- /dev/null +++ b/circuit/circuit0.txt @@ -0,0 +1,6 @@ +CIRCUIT SimpleCircuit +INPUT A 1 +INPUT B 2 +OUTPUT C 3 +AND 2ns 1 2 3 + diff --git a/circuit/circuit0_v.txt b/circuit/circuit0_v.txt new file mode 100644 index 0000000..cc0d56e --- /dev/null +++ b/circuit/circuit0_v.txt @@ -0,0 +1,7 @@ +VECTOR SimpleCircuit +INPUT A 0 0 +INPUT B 0 0 +INPUT A 4 1 +INPUT B 5 1 + + diff --git a/circuit/circuit1.txt b/circuit/circuit1.txt new file mode 100644 index 0000000..49b7db4 --- /dev/null +++ b/circuit/circuit1.txt @@ -0,0 +1,9 @@ +CIRCUIT Circuit1 +INPUT A 1 +INPUT B 3 +INPUT C 4 +OUTPUT D 5 +OUTPUT E 6 +NOT 2ns 1 2 +AND 3ns 2 3 5 +OR 3ns 4 5 6 diff --git a/circuit/circuit1_v.txt b/circuit/circuit1_v.txt new file mode 100644 index 0000000..934f64a --- /dev/null +++ b/circuit/circuit1_v.txt @@ -0,0 +1,7 @@ +VECTOR Circuit1 +INPUT A 0 0 +INPUT B 0 1 +INPUT C 0 0 +INPUT C 4 1 +INPUT A 6 1 +INPUT B 9 0 diff --git a/circuit/circuit2.txt b/circuit/circuit2.txt new file mode 100644 index 0000000..879da31 --- /dev/null +++ b/circuit/circuit2.txt @@ -0,0 +1,11 @@ +CIRCUIT Circuit2 +INPUT A 1 +INPUT B 3 +INPUT C 4 +INPUT D 5 +OUTPUT E 9 +NOT 2ns 1 2 +AND 5ns 2 3 6 +AND 5ns 4 5 7 +OR 4ns 6 7 8 +XOR 5ns 8 7 9 diff --git a/circuit/circuit2_v.txt b/circuit/circuit2_v.txt new file mode 100644 index 0000000..305db26 --- /dev/null +++ b/circuit/circuit2_v.txt @@ -0,0 +1,9 @@ +VECTOR Circuit2 +INPUT A 0 0 +INPUT B 0 1 +INPUT C 0 0 +INPUT D 0 1 +INPUT C 4 1 +INPUT A 6 1 +INPUT B 9 0 +INPUT D 12 X diff --git a/circuit/circuit3.txt b/circuit/circuit3.txt new file mode 100644 index 0000000..e3a19c9 --- /dev/null +++ b/circuit/circuit3.txt @@ -0,0 +1,9 @@ +CIRCUIT Circuit3 +INPUT A 1 +INPUT B 2 +INPUT C 3 +OUTPUT D 5 +OUTPUT E 6 +AND 2ns 1 2 4 +OR 3ns 4 3 5 +NOT 1ns 4 6 diff --git a/circuit/circuit3_v.txt b/circuit/circuit3_v.txt new file mode 100644 index 0000000..c6e2747 --- /dev/null +++ b/circuit/circuit3_v.txt @@ -0,0 +1,6 @@ +VECTOR Circuit3 +INPUT A 1 1 +INPUT B 1 0 +INPUT C 1 0 +INPUT B 7 1 +INPUT A 7 0 diff --git a/circuit/circuit4.txt b/circuit/circuit4.txt new file mode 100644 index 0000000..f2f5a87 --- /dev/null +++ b/circuit/circuit4.txt @@ -0,0 +1,4 @@ +CIRCUIT JacubecCircuit +INPUT A 1 +OUTPUT C 2 +NAND 2ns 1 2 2 diff --git a/circuit/circuit4_v.txt b/circuit/circuit4_v.txt new file mode 100644 index 0000000..1a0a286 --- /dev/null +++ b/circuit/circuit4_v.txt @@ -0,0 +1,3 @@ +VECTOR JacubecCircuit +INPUT A 0 0 +INPUT A 1 1 diff --git a/circuit/circuit5.txt b/circuit/circuit5.txt new file mode 100644 index 0000000..7258133 --- /dev/null +++ b/circuit/circuit5.txt @@ -0,0 +1,8 @@ +CIRCUIT SimpleCircuit +INPUT A 1 +INPUT B 2 +INPUT C 3 +OUTPUT OUT1 4 +OUTPUT OUT2 5 +AND 3ns 1 2 4 +OR 2ns 4 3 5 diff --git a/circuit/circuit5_v.txt b/circuit/circuit5_v.txt new file mode 100644 index 0000000..4f3585c --- /dev/null +++ b/circuit/circuit5_v.txt @@ -0,0 +1,6 @@ +VECTOR SimpleCircuit +INPUT A 0 1 +INPUT B 0 1 +INPUT C 0 0 + + diff --git a/circuit/circuit7.txt b/circuit/circuit7.txt new file mode 100644 index 0000000..9ebf271 --- /dev/null +++ b/circuit/circuit7.txt @@ -0,0 +1,8 @@ +CIRCUIT DrivesTwo +INPUT A 1DrivesTwo +OUTPUT B 3 +OUTPUT C 4 +NOT 2ns 1 3 +NOT 1ns 1 2 +NOT 1ns 2 4 + diff --git a/circuit/circuit7_v.txt b/circuit/circuit7_v.txt new file mode 100644 index 0000000..abba664 --- /dev/null +++ b/circuit/circuit7_v.txt @@ -0,0 +1,5 @@ +VECTOR DrivesTwo +INPUT A 0 0 +INPUT A 3 1 +INPUT A 4 0 + diff --git a/circuit/circuit8.txt b/circuit/circuit8.txt new file mode 100644 index 0000000..aa42271 --- /dev/null +++ b/circuit/circuit8.txt @@ -0,0 +1,7 @@ +CIRCUIT WhiteBoard +INPUT A 1 +INPUT B 2 +OUTPUT C 3 +AND 2ns 1 2 4 +OR 3ns 2 4 3 + diff --git a/circuit/circuit8_v.txt b/circuit/circuit8_v.txt new file mode 100644 index 0000000..c23990e --- /dev/null +++ b/circuit/circuit8_v.txt @@ -0,0 +1,5 @@ +VECTOR WhiteBoard +INPUT A 0 1 +INPUT B 0 0 +INPUT A 3 0 + diff --git a/circuit/ff.txt b/circuit/ff.txt new file mode 100644 index 0000000..d4128dd --- /dev/null +++ b/circuit/ff.txt @@ -0,0 +1,7 @@ +CIRCUIT flipflop1 +INPUT R 1 +INPUT S 2 +OUTPUT O 3 +NOR 2ns 2 3 4 +NOR 2ns 1 4 3 + diff --git a/circuit/ff_v.txt b/circuit/ff_v.txt new file mode 100644 index 0000000..719b800 --- /dev/null +++ b/circuit/ff_v.txt @@ -0,0 +1,12 @@ +VECTOR flipflop1 +INPUT R 0 1 +INPUT S 0 1 +INPUT R 1 0 +INPUT S 1 0 +INPUT S 2 1 +INPUT S 3 0 +INPUT S 5 1 +INPUT S 6 0 +INPUT R 9 1 +INPUT R 10 0 + diff --git a/circuit/text circuit sim.exe b/circuit/text circuit sim.exe new file mode 100644 index 0000000000000000000000000000000000000000..ddc92ee69452983c125779f998330217d003f02b GIT binary patch literal 46080 zcmeEveOy%6ng1PTfDuP$Od!FAB$EWI32JyzqYj4QWe^o`5CKh8Brpm@0pX5lB8nN< zI36c;yS8g~v#qH%antP9w%L@rX)=ffe2HS>CS>DwY1g)wKsF??iV5}pzR$V$4#SHz z>F@W)@3Wu1dgk7HUY_%u=RD7Ip7We@E;*0w7xaQ47!YJx5L$4j%g%rQ{Evj>$@dB&svb>_sT2ouSv9@HhwX~$Fs#>%@;j-4ctE?4O){N!(*3H#ruGy0& zMZ~J0|EcKImEL(TzpRDJW!qks@P4^$@ylQE`%^D}%vjD|NSa0u15&bP1KnLVJl)DRbrpq zj=Ke6KfT+P=MX^%qgPzoT^PU%5e=7KusT>vN_rQ%Jg|3$b!O0&4p-0D~M*j2& zLX#0?zAXszN2ZK;JNW#lzS%Db-Q&SiOU)Kt+eAFib>oNdqPD7d1nNI*htP_Gw3$_#L|- zMik0Xv43qBJSPpTecjp<20;VG@5s*_Mpj_*TD)0?wI_@tlh0DR&Q~z#={L%5;|ken zLSB|-uq`#XCo{no;x-=BvENa_M89$$2fi)K;GTrs4wF0Vm`=&8)YY>7+jb#<{aLCn zuTXZIIvhjP3v$%Je!IZjMxfv9KVFW^W=B^?W~3R39hnx&(;g-?E)?96NvHBwuyfMF zd4hnJD!8!IMZWF2y}HyUzx#UJ`C^_UIylD&Y|ox;*)|p*=Fre7BuoZ%?irO)Dh}+N zibZ)73IY}B_}rlSorTgvvMdMiIotBWSokB_JNR|myEM4Iaoam1ILD~=g5GG92~0wS z=2Qkhc;iJ=huvWH+Xb+UQNVMI_B;{*o4|C;ZeZEQ`C!aYFy?w=PQ zi_}@p!WRWVO8S-4=eSaKn4;LHm9pC1K8L9i-5T7xPNM16S%Tncuv!SU%xLC_^=8I& zWLl|oM`o;YBgHDzn!r0j49{||lzAsn%4*IL)=})O@EdxyQmz#8M)#?T6=5I(1GN`N zND#?KYHXozi`AE7v~||aW0QRaM%(H7Sw-xNxa+NQh%M9THs*mb6CMVLTm#4y&cc|X z#jEpV8Vto;CIgvFflQ&)Se_+VY886s57QHZSy(g{xV~QpR6RwN2|}~q9p@|X ztDqP_`Iez?{I*VWQ#)jZRDo0SfF`{^r`OQ(&L9Y9V7N8=&CRa^SD)jEGjAA_9iY_q zzCg;fKN?WkS%No`rJTf0_oD*YeT1En4qAZrGAOqrzT{SR28EnbQzGI9Y)PWkvoqG> z%e1g8OKk`f@|?1}3r+D$X&jO5(~&*T>v+NEc)^(mV0|#eogTl1opBcW9DAJ7-b_Gp z?_uHI%o)AE$6TZ`th_6zL0=cx@cw0a$fe9MfyQ9mXL z8nD$FZ{Dg+9GmSA2Db{urAW0|c&2vkb4ou&40G>ejzbLMKBIRcHBDdM9n`dYm8La) z8xm0&Qhq5Y$)G0HQCCn%{G?EpcV)*$KlWh4;e%mFVqfl7-hvR{q7SB*@h$N@Dn zLXEteA_vvTKSC$L1W7(Vq()p;BH~oZiTN8yPR#)2VYvn2bST8GS=jE)>mn9dUpf?MuJLS>}OA9-lfKlG(N<5Yb{9ceFD@-dWSOLZAEWBUWeNg9%#>jaoaSaZKH)L zpr2Erz7>I5j1iwV_ojKHc-{k`z+Jb@+Y6l`yNOz#phW>{y`T^*6a=dnOE6FiB)f^| zPoD-V{&p#-m~)V*Sg@b1u&`th@<0$dU+_L=U~Bh-o=c71T9fxFOJ8WxJKlm9I2F^0 ztSgwQQ`&wFn%VIJ3OgBM5wj67U?i1W{xJm=srs9=qN*W-6lc?WUueo*E#n4KN%-j9yfek=L}hEoewCUiUc58Ay6t`mzXg zz)U4N*al=e*lsnx+(Q`EIx^z-a}+Z7GpE6qw%?nPxKH{BEbq%bs?^EOt&^uwh1!U% zjK5C?kH4|t?VF9i*P(ppK(2!Z--qreQmcb+7g`q>dzw$IC+RE@+XlJqS5OEg?Q1)gnC&#e^6ro-KG9+h@u^tXFgA zAdiY3=O;o81MvqW-hWS{`KZy;_WgIs1LfW1QZ#`@97Qq)E3ymo1*jl>_hYeHdv7LxsCY#1(;lmv~3vyP%G3nuY#V z+qU9%;@f@;IEyQZZkfuE(iqD$1oJ3Q55R=T69S6JbN<#u{w%M95gB3h?Tj8p}~@m<3l z7FJ-)rU9r!8wOY>a}Tgx2JhN_Z_Z%cqs%>o3Fp;xr_Nh&#oKV%+>{5A zX1AO-W`_qP|AxLeRQSZb@ccgEtMgdiCjTB zB{!OL`~?*7IwZ+YWd@sNw;}0NUpNbASqA-i=8)tXlU!qjttxjRI}C|RSYIj>M4%`; zFS~o>s3U~VK|q5L)qN#kRM4mvJfIX@NCk6DQZ2^QN`Y$AkHMJgKy#$Y<5$u%5@V_) zQmy2WQpvwPOqC3>hRdwris$KUoja1HMtir!uw|ANg)F<(Ae~qS3+I$KM{1VM&wUSc z@6%)c!5jljU~~4c^lY!=61#`IN7EV1d3y{HVwpy^EynX@n0rDCbhF?r>T|M86B6;1 zIh-2mOCRbB(^B9|_#-THD(@JiDR&er7$P8{zGXvwlPFtOOkXI=8Dj5qhgS!3FL3mj zzvG7q+tiPWJPnt0?g%RL4FYWq0BTSHA#$QpU!R^~-dco88v%x`?FZLo8uX4UUI!j5 zUPl*8pXtpx>&xl%IxezwE4&5|vt=>9f=;*%rjgsgmLBV#kmp+#BQ?YVM7q`UhXMW5 zF&GG9AtT}N8w4_}Q8FND0*Oy2$%!Z3YT3JN2FmTp=>}w5r}#~ub0F?Q>lcRRcXoaQ z8AoC@?%&O-`Q)^nr4Yl!~6Q+z0^AuU~0Qc3VDWuy$G73LRV9C!$GYRV-}D9p#}--lBIkfFh4GSUk3rSJ(n zi$M&PV8IG%gSa0HQ+KWuE>eY`%nTsVL+}4N{BAse_w&Q=@$~-I@cSxy|MBp9BfWng z?~2=7GndHUj?oLsc8;NgJJ!YfUUft~DyEh@FAX)&v_BLhTHZ zaqk%F{TOudIXeGBU~9h3f&Cc3z)?vb0wQx-;+&?|FZA95$+uK)KDBcN8-ychv5A?w zWwG1fg{O_vUPb7rg3yx$BWFO;)3jab8&Y&qKH}4DzuxgCb6;T%aM};D0*Tp8Dh#n} zh^^@w90}`Qf^|k}p_wuV#SKQq8>5ia({5DA+T_JOwbnhw z?y+^(i>%OyQTNMMS#LY-&SfX!S^)~Gvo0;}Obf=ydt0yT<6046e&#nQo*MTq2+b3` zIsNSPh2FSU+le|u(mQ=2`U|##es<2BR?xpfntVU%3ZvR02jPdUVIf`}OEY*=4Si*( z6O}Cqs%#Ovhr^6Jqg7YCHSS%kCuo(8sp);H==~MaOZV{>LyJx7p!Sgioo?`f8UvJY zNalTdG)9?^RYt3`@P3$MI+VNv+&TFpBzN~sD(?n!$Wh7Q@}v(dXCj9nzt09?_drhY z7Sb$>36&w-#5LX2<8{B4tTu!`k0+ZLF;-t6NNy#)SVH_H<{BRbE)Uz|vQadror#x~21*;bUZ!xC_hzCr7Gq2Yt;qCLDRnR8_IZr@-hz_>dRuyQ52x7GvTHO2N>R-6wsH z*HoP#yP;ndTk1wLeK;!ljK5mQQ(rjqDzEJ7e z3}hOu@PGseDtj6(a}MeX_}6)lJ*xHCH?$stlNjTT_Qv}w)4;pZVymJ48i31y-qBwJ z)L%4B89fK-hu^`oSm`(u@ui|qmju&4J3#-D&U$aoNh~xZedt|#mTj@H?U7#isKKyi zbOW0VHR8?b@;cst9)tI~+bJddP6iiqcbH0W&l#OuV?lXLho#%lDeaE;NwpYohwA0@ zxZ0)@qdfn0gQjvMS>3~QX?R~SH+>gEz+mIq(Vd;l;eURG6E?Qik5THt>vf#<7QE5? z4j+6YSO^AR<~XZA9b{OuoHxiKbHiWB?S8dGpN<85YH1fN`!OB57A7Y;^z}4k8r`87 zyNK+cjze~G_n2q^g}jVh(FXlNR7}F2FD#;#3}`KxJ8VK+RZWO6G9k{5G$EAP|2gU8 z1K`P5p_M_|7Ce(yx!Npm%V>EUy?pKWtiAOkz0dS*{i(QCx8YcP-_)Rl5G2I4UhDpb zKeo>>S83SZE=hP$5HfAocD^yDseDezTcYq!V=(_%Z^Az+6R-t}p8E-Pq#O`jNfq3S z9gfRL0c%_oq~|QiLxRf(AuI=xV@h^MlS>K<50~Mcy(pcUqWH%T@KQsVOGun^E)H`J z>A+-7qM|h!azDsq?fEOnQy!!>@k8#}1KVKMr*2~y-@A7=$vmIwkHzO_y1o`}&2agH z$|NcPl5qHw8WoN)Tw=7@kyeiNfz{N%1;vBRmc(JRg$#;OE6A0U znJ+U(V9iIz7L$21oKLHGm>v)YG;tV(7>>dnn6_yv*Buy@Y0CC!-=sj?&kzTcp-qf5 zhvW0KOoL@_t_iVwa*S+p@w%H#)ZjTmnO%^*JZV!RpQr@}Hif@G4(4yuc;@DH7(VI{ z?OR^c5gz{?GLZJbK!USD@YQQ}Xdyd~Y|xlUZ9*!9f?hxw7(#IQ8p62;ihLL3aL!mT z#Lmf4+mMsYD(vnE+YiX?nb`;qz}SS87bDvNDANfzSb56o$h6ZF7UIbwLUFfIDu5ti zozdcC;gzHe_2=cNS5cI8j2I!P*~+|9>lQw<^z2$MKnH!;H_f-)B27hy%Ju7$PWg&0 zn7?OyAVADB!d z%>A>pSY71V=@gWPi}$ddCSPX8f^axI3X@sx{J0BVGu%~P@as&krEzDrAf`}$@pi~T z6`Cz?g-Rs^fgU^eRVYUk?*ws**R5`2sZL@kfQSKz;P+SgJNUzMd62f0JQHNX#49TB zq&FjWMqqYw(&@{HwQGA!*jl6KOW7Ts>&uRvAx*}_ydxtvi#kfN4?R0#=U9Mu zw3B7T&hf2`jWws^2f6WpAN>h9e{=1~F@u`Nf8w0J%q-M*04RVV_Iw6tG&lOzNj$JM z0Fx1GW!bS-&zBaqBNp1cHEvM6A9x}HX|Y9!snh|&Ox|r4+n~Amp9rOl*gL`Yx&;}r zF>W{fTFq<8Ce4nG_guG{J$tF1PMIcR#;wbI+l_feyj3k=SaLMQlexv)gSye2cyp1T z8e!dFe$SvIq&X)5^sdbDHe4eAG!gAD&?1 zkeP6UEil$i1NVqV^XsXyt<4<`=9j@kG3#VZCXixwv^`FyIm;yWT|jx~aBjHWX@31o z9;V!!ve-N(yKhH1Uv9<%qc~;HR0z#fj5+I=Qhpui$pLBlKt;sT{ElcrrA*MDuyxgi znqLoD*H$FmLmfQmk!5#i@kBpj0B#|5QAe?A^9ST5>zN>VnLjKq@gwCWOO=-oylY}( zS-L`k2Uz}0mgqA~hLGIp%OoLL7NZIYFzNk**!pQrO8QAk(n(6v6)CApX6f^>9|1kb zrQ~Ty$yB)xuNF=f1E?bY%KW;&_a`U{c}OPP1b4nsw;fzgFI&$;e;_Iu|d2ZY=Kg)%8O>DC5*JjUIz%MEUv&KtL-^OJm z8G0CTxNKo&kpIE2Qa3|ztgJkeH)vvVrK#g!NLNZ5hmw4$pd1f#A%cWT>JhjNEL9AQ1}^plgNcgYdBnz+~4ptM8YS}MQ$={ zFtN23PlxPzSBBSotpyRJ#LZ3nL0X7N2h=VpsNMA1F|my~BHf|r0P%Kbei0wP3<`NM zgs%tfEKVLN@JQ^tbuWWXP%0iC6)_-cqat>RfhgEeOSedGmWkzNjqn3`vn;B!A`+7; zBa7+>Cls&iup5Dqz#=fZE;V33Zin4O5gm4ntAfDY(2>F34aL848M|{$Xaf`%S#lTz z@fHn(j<*`Gk>;jnQC>O^@J)Vk=WvrE15K(RLWq%-x-k@3KAe4+0t=ZV2A-qLEa{;L zVEok^Z2h_o9=T-`{m(l-*9p~Jhea{864TDfz}{hThqoBePV#IOIafgIMhChvi|urB zYecsv)1jDga7abNPww3r1H}SkXowPRBUaVSp*oSEnij(~O zt}19C!>ynDDrIRswq1}ai{jj30X(#1cs#-PU$WHwh1ey%A1SaTI}Gzxi&)(Pv2aNG!ylnSmPe~=u*++d zJr}gkT#P6h)&v-IM!Tof_DVkl1SS8U-;PfHtT8h!IJk^;5%N|`rBONyf#41=0}Ja5 zVeK#}U`_BSZ1^PcfyY0r9fE}U7-r1v*!HSCDIEs-lZlP#7AAEjw%7uv^TcvLw>RR^ z4G^KYR+ekAwRv-l=Cp2Z-`LvfCk82^<`2d7KEu>JFqCvw5hDm=v$rA6)e%yGDVJ2e}-~;b1k)I7FOJD;8ZLrp%yxxK8-=jKD*gCc*P~07GmthKdE^e@>P`U zB-q5-)!5$zV$puI8|uUq*9tO>ZGOJi{I@Y?fOFGFH5;aiC12lK>CWiRQhj`h}T#G5jvSr&C8ddL2emR8u#hSh0F7LXzM1C0416!TIX6 znB^JSi9)u;5ZB&17=kgnE;lZr=q=a>DXlj`SVvqt#Z3%aAc>oj+4==^+XX3Z(Dp@f z-ISzvZ10)V-diCxVr6z6jC6gM8d0rAjOh>0w#dMSTL`OD-eSpXDh=D!&JjK&nVV_)S82!bAab5% zk#fU|kqOhdrdN=njE2Kr4L+`2$-1#C!jai1Vx2uE)9=6o$6>PM~MWo zQ*|>+E65=fJe*BXGh!pb@KC0Dok3KL-($})K^XF^!Gl9D9qMj99yNb z>#~eVh#iEZDfLX)M3FQ_p9z~E8#pY;6hjt2eh|TD>C5d{_=lCh17z|@aFAq)ksc|; z-1IMifz9y8aBE-e(7;8*R*VKDCc<9B41GYnN3K_A=rM((XXpd&UlQKpCNlk>By$<| zJRhu-$@msy9?fs8Qd|hBFmn^19_)ynNti|h@fqr5JX)KKN5fK|Nz(^Db%>@ZPVa31 z95nF#Ovm%^833$-fIqe`1ZTjqW9N^Y1z0f)c$UtA&^Zt7Dq`DBzEtuj-NEwaL$H&* zcgB6jQe(UpmO9fLzpi*VFO^{zFx)+5^3`Ura9cYx?$Q`<+I*HqGhv-KE!q1BJI&H! z;?8+m9mU>wB&_oWA3%a;m80zF0k~t~la!;%h-oLUyVr5X((-`Nq~@qk?5d+B)i{!pdRiilpD^;XjncVy@&L!tg!= z+pIqG?zDIYEw#|=>af7;;G>K>FtB!%npl+Yl)Ur)%!s6nxq%TWXo&>v=ZD;GjKVH8 z($-#g2lQZ}v;??8QMa$V%YUt#8rgi+J;}R;qZYy@;B3Q)RITTgyGGxntJpyU5>MOx zCF%0|JAHvX3xr?K%Vtg_stP6r9Su`VS7>nkzX#LV;DZc8&_hIGOUJXY{1 z@ndg+DG%q7pwxMP0!168{#p|elXf5!+!9OvLB2KCu{aY zmTqBgz<$UIS(qEJAMB&-2ds?4f|z9cpf(a5_W=xtX8*Pc>_1rwaK*%bmyxX+go6%$iC#M*ag$QHS{h1wp^zU z)U^4bAJT%Uf?PiZB17^<&NRgO!I_G{f%hCnJ8E^(I*3$&c{MV$T+GI4UFPU#z@!0L z`Y}g<6ffa=DiPD3c%<-`;0*~lhB0FGtdbv;{V)M^qe;@l{5+@h0p3&#dcWchqH*A8r|L@~HAeDA`(%wtA40)+8;0P|dtf(Fz+4}NMcE#M z)}z>&Yrv9-s$r-{iwsaIV0P(QoE2o@)T6r$af2|nBTz`yEZ7W*rLflD8}y&+zw~Z1 z6nkqRGSM1WDe{6d()opu4EFC_02i|~Wjn~-ns~Ys#>(qG*onkv^0(WZB(GhNQEj&V zvGSHwM4J_G%=T$xUo=bSKt%()0Tb&fqwQUD^D|&s&hd2yx87TCAa}unRR(t`FzuVT z;2yWZ`zUrC?=&Jh+I>G|Mfr1mcVPGKd0u%0ws&%ef_N3njFfMc(cJ7&;o|7(Ik>g@ zwldma$O}wFfm8*PKcWN@S9=Q$Oz#b`Qm5zu3K@Q?PRy z`X)nsfRn*%0fJ7X8@y?Ty-Q7d(@lHQpg@QAEHgDeZNlk-9k9z-h;5s}+_ah7ZxmTd zk&|uL&CT4n&4qKsB)HStQ%yRSYi!5aP^QDFP}NzY_tqF_2Sus@fNF?7S%d+WVB>)S zRuj+;Z-O`1fU@LeF*pAL6rjQ;9Zs@Sdr@iAA&OL9uqL3(Yqy(ps8L|2r3YYlp)l~? zn`zpUY61p2WM!udDU);r==T1Ys7h#Na5N`#EK`l%FqNR_!g0{V@|%Hnpa5rMAG*l9 z1r|D74%{0QrJ-|=itHU6pAdF~Z8Z?dn%{;n^vzdOqmexr>q(r7Bazl=I6INpzSyMm zJRNIMj)E3rV}G4RIo*>U%f0sLRy0b;Z%?-f@_W$GkTRBPSob)j$dE z7V?4^npTN-!FN^&2KAx?n}S3oL)pbp2PzTp?Gj>?$<1rO~WCQl=C%9myE3K#;g`_Y$0mJ=Q} zz}KwPwSm4EkFGxxG#*6;R)~TR?SFt(_MCn>YChnpBg>1Ier3ltogT#C;ISOljR(vK z^|o!MI&4WdvN^wiNmqrb|JBBAk%Blyj>t-?K{czJ^Yn~kS28OKi9WUX{(c_f9P1{^?5aOJ7F2~>wd4-`+dgneGPz)T&IfTi` zsU<0F#UG3I#(RR=8#`WmY5au&b%|Z@7W5~{jq?SZui*QHCbLf8mcS<_&Ors{(9Qz3 z#uCd!i?#W~9e3=Sj8VvfC(|y2?bEGcai8AxpM8_L>+*JNty+7Lxw}}lWxltd3!MQS zC4;>Ru)kr5WQmc_*0aL`JrRXm$;dLvc3PYuN3Ex3VRtL-F!1b{ViL>;{CgbO(ZlyR zV8#>i7RGI%_mBAD+Zi&ZL{9TViampNaUu5?1F2cNU}=lfIh4H_Q|v5z%KSZ!9+^&P ztWjzp@;~M|kKLx1F%Nl?h0yjHYNhPHM2O2#E0NLWklc&mj86y93=Z^BY}@2BEq&+S zR6AP&xR+2wflELw0NNMrX{V){-Wrlx{@C|Rj=0h`I+$m%q6t_9w8YXK=M@V2D|MAn z-n6&kw6eFNWlI4WCv-%ENQY*Ebd^F;P!>d^4jd+;86k+yCxzI3z$b-a)N9%C+IK84 z1i`!+ZDfp`ooe>m`me%2*e%L%{$67GBpK&DK})a_kYgEB!6{R%&Hf#coNAM?A=mcV z)^Ob7J|k&i*;D6x*Aj2g2R5AeJcGg*dd?WpV2s;Xb~G_Ygzbz7i-t1>?SS{}n0iyL zcpn5(xMJ!sSIh(}#4;+nH)ASTVd@B07|90@vYbl+hoPQWq8|w50hItl^t%(l5VHVu z_9&nu`M^kgFfq4pcW&RiO4n1{Ix?cIKob2P9q4yyY`<3&QNM$*4VSfk2R6Ll&nT?% zHT!+^@zEd$2J|BhKa~-1rt{r_QRQGI^Xr{(F3V9)Vk_J^{o%E3JBu&V6ynn~R|{8g zAEFN%y03L(=4@|cpB4Fb>h^|Z@{MBGiq#xX4(A{puIS_a!TdF@J|_M2?=(Z`XJJXQ zw?Xo{dq(jyPEBAxlfpW3R3lK`C>ITWt?{&je@_ z_E;=?3i^E4ojXE3vaa5uD)1h*_A+be=?n9GqVs&Hh*a9JL}ieN?saf6wBmfow=5=( zQi+$bvr<*HIsG6xU&J(L3}6Kt?V?5OHz4-Vv_wB6WQ(+NP(EbBh*=2uD>(e@TWH-N z_ypWPt}=b|G2X9%P6c(>_E!pp5aY3e$z>a-ZG!td$nAzDPOf3Yc?;$TY1ls_X^I8& ze`SyKaC;;h)cSvBkE|ln-@+aVc>v6!*drVR#U4qUigEWV+9QL({6D-yC&>OHdH;+i zxIHYKZxP?K_7iWz$x#F*k=GocnDQt?o0=plEzdA+}eQm8uU4w)l5{2{t2;s|K7|SviTD=ab`P7cv!JAm) z_U2sl4Bn^<#hs3e@Uy+h2(CU!q-~JUSC`Fy^%G!7+Q*1J?7c_u0u{^f4GO#Isv#@O z-2B&wQkE(CIiL~iv%XXvt<7TilxFqGGIU!UVaf^vE3?dTd5>WVkIcD9i?AB@v<@3C z=Sc02Pn6GE%?DzBAlCZ?%m!A_Gj{a(!&+{2Knt8zDcjia37~K>nQsN27{BK8@ym@( zY9ZJWD&(u=4pxuY1FuvW_>vYZkdfO(Rhw0_?T5#QX-z@)E6xdz>pzl?(Uf#hRfyO> zyP;z-R@1Rpmbw{3^n>K6JV$$@*(iq%{|MKX-(m?w`Ha#ycwwCep0*X zj4YlNdA0}ROQ$K7^_o%q{eg!O40{(u#|~!=xnvnwrv?L!g`*UPE>HXZd2b6ZLRKw$i$WyJ*^h* z%2JsFg_MQBPPJG!5JEAg&%<%&N};!cSmdUaeVdoso(ZflCxPosqFrmSF$;kmzBlw= zoKvSGf?%R`S;jn?(z7$z4h!fOGF;uJN?mUl)q_Q2UT&FEZaLO)0hT49U#0i|LzWlB zi+7R%OU_mcK126_1|OTF7UMWRRguTN$$(!3_{Yde=7w3_OS`?0!N;uwJj#U-r!!J2 zyxW>rdbC*#dZUDdugUQJ*OGj<+VkjdzMg=|I8K*fDz5p_#+#07X+hga3M*&Q3JzZr zpe=u}CbczzFdz0vg+MW(e=w0TeI>Svfz0ec5%aL@Zh(UI?uP??kgj+*wF%=I#gj zyv}&-rTFqeOlq~guF-ZZRp7)G9K;Of31;}K4cMw4jj+ntcW+~ZNf1qVH3O+B-l=_) z5RI2qBRoZ`jcl2LwUIx`+`J2{rR)d7`~qtYci2vwn}3Af!70Z^GH{wmr&7U%aP~vd zM8KKEBDf1lPhJ{$2$m8KspK2WBi|Ul`KW_$Yzlm1d7vbDK(Y+nZ-pwB(35}&mWNdU z_`N_L#d8MC5QUzCi^^=vGk};|$d}Q3matiBu;tOVB)G5;MLsro-SEUcW5CmWH`UOd z2H)9;T2c+Y-=YTSaLl9?AHl>IaDh7dHxvG7E*e8lvnlZ9{FxTO+cVj_6hA6K zMz$anEdW7)`xFo)0R#d1 z`LeqYRX0ScUn1GXg{NNi-7QvpcZ;n=j-vL(itmoT3hIpq0^=+OC<>_otBZUns)F^U zj+c3~v8j-K2LF5!HZwmTcY+OGkejdWwDa#Z46*aJ1+4Jn0R(=;2MuzlPkwITfX#@Pb0izrS=zmZRYk{`U#Jf-* zOri+znh_^<;DW}HHjm$E`^+uT+)>3B`Qh$~QP%&+{6Y=%!4ZMRC%*-UmOmO^UZXAI&*>Z=>-*0U?CF-(Rr~V!NDQejnlp);T zWnDgl17oXTYu$08cpZj|R=r>U4)SEQ(T7kB@A_~)3r8T_Ci?2!55e$Qz2OE*+>)W* zAHFZk8vgLF?HT6xalY@Uezi?yb{sduF*Bp|#D~P3IIwZG_t(H9@clL=HA6`?`f7B& zZ&9-L4L2ouS|B;3_Yfr;%IQmP8tkw@vc7jWlGQJ|8Ks;7J_?7wX+UgWh5Au9qcm5G z$BrSPFHilhn^C%($GdIncioJVNr}L>R`$VaJl=)FL()MQp~^>@&V4M)$Il`TKI&%> zn{>4=^vy7U9DB-bgi$m6l}O?roo6uI{OlVjCdW3%Rsb57zy0ET_|-84CU^$%EeOx` z5Hmlu%{hTq>5+-HIM*Q;_Qs1(QnueBoA@6|d_NOIqSS(hV};Dz^)J5ne&~ z6~em+|AlZv4V;nGAI{(4=MUZ@nBO0Yw0a~5uBPzO!$h2BQ|c-li69~In_@i}3Z6Im#I z1U=PP$IExZDO=XHfVhRtA%wvyc zr}Pvaj$cuDqKYCNLyNHsZeJn{FJ)n~4fXyM-TXU*>j*~>CIN53z%QM_5JC@nRbMFk zq1uK;Zg>A4v`gC()fC%^w}8!!T~ST32N9!gj9P1=txVcEVjTQI5*@$5k|@7h)%$$D zn1VA(^xlrM4T9vq1ZDfjj;2_$E$EV?3^bn{D8Gz}IQDHA=`F{Iy;J;5L=1bE4m3p5 zkJTyNM}y`f0eP_UT8Zygzpv73$3f65AD=8ZUXCY_Y%!iI!;t~ok+AJQp53mTn3ZNz zrpWK|O!wnii9T*cjC32`p-YO;(KsL!jZIvUXzBcXY5PA0&P}&B#U2ITI%JqbhazT5 zm#~xsEp)Gn${U1ACw-b=(j_2Do4=$b5cyzq4bLOb5#*s%VEX}e@Q{MJ57CwQ+OpcT zmU!fC{_uDtZuk<6R7J_WVfc0^XnWI7IsEP-z-Py1OG7{&!%~9h76o3@3M~5x6@U{= zQBZRT*=xU-WjZP&^d$l49O?bnWSN>jUz+p_?AvaNZ9-ex&qMpsrA{;? z=_-%SKo0aqymCAwCSc}6jqOv|E9eB)zSu@&$M&#tqcC!N7}-Y{zxb!_$gKA4${-uM zK3-YETb#kUZm}K3u@s3zIE(2kLO2sf-vH}atT3x$C3Gx~rCcyNf^%3Xu7f^MKsV0R zm=0mfqxOB?Wnf|~B4TL}8vx)x)Z&vU{t;e}DwSL#LE$d*T-S@4p6doN)pI>mO!iz4 z!|q(D*atk$ZxVkQK~h`j$V2f-<$nBN7* zY@?WWgJX73OlxpVBgOnUIHrkW{vkM~oMKpT%o>W>9vriWVm1cH?4y{1;F$dslO7y% zfMODO40L5)m0kD|LMX^pin|-(S%l{ieu;1%;Wr4MBixBR4#i%eeOX_I*-qSlwtg9cN!wD^8kcEM zcPlTVFUX|OFobW_=+TX7apzmFhwxZ$!4SJ};iI?{IDeQd~^HW=8Y z6SP?yn~@$HqN94>@%s$T5tKJ5BLGCUki|6$z{pZK%r&-@;Z~)fdB&E4hvU!J6+Wtz z4LPNmHNcIEiat z=yB2qiXxC6{EaNrXC%G@f_FHK^nq?AWvx8zD71=dNd@r3(26 z*iLIZjH5hmPN+Dvd&pXU?f5>(iHYS$rk?1aOJRV0C#~3;%rszqU#AhbP=2pSSf+ zg?2bAPxE6J33Bk?*YN9EG^5=v2%1rvjG^dGXUc-WjGv*A7B$& z8NF&n z+T+59L14x4;RD53d;6T&iAv&nda60x-p(w*gD&m*w|3PPAF$J&qV= z(XgXsX`%q}>X3FLJN86eLT%HiHXV1e=)UL@0#*2unmGrAoOIi2Jm zF#lvSczUAkgnJTz2zHwNkMh{}7VI|x?a!UcEpn3-OlQf`1>qx=eLma@>2 z)g%^os!Y%#qY~~t@y^`?oK#qMl@B0$c{i2$1~1bQN+5w84js5BB>8_qI6bTLEVAM* zh*QhyE)8IKB=8aVhDg2~MR9Br(cr}$0Od8xbLmB%OB9jk5=o@ZpK`y@;eB}VETSG1 z-19J3UXKFGDm5+lVf*hKf(={Ng&oe9M`RC2_A+GmETSd|?ul|#IbL5RkQ%f9J=mvB zN;ROhe~tbk9*?qsKfpC7(Oc3&a368~eB3>YC<>Kf7l%%=B4%~@1cTt0?xV-GBp|!{ zV}VZPol+vA(BRO@kkxNLc=%`=S~=+m{YD+4-@9L+-?<0rchLd-ZrB&)=eJ3(@!Q?| z`7LxGzfIf2Z?l?kd*NH5Ex0jhSMHN<91; zH97PsehJ}@&{ugXCNiNd>Qkj*)sudqqwx*AQ+F!wjH^CxcIY79TYJ!J20u{7d$|+b z!+D%W7)P414|sXtL7L9@W)tC17MUT z8>fdkdUnq*t=rrqPE7776y}bz&Gf=nR6i4}kFp#C8D3XYoin3Q(QAuU6uh zECU68(mP~yW+m%8%|FK8k6lt?F1|^>d)D(*G8my{4;Ft z)=Ei!bk49VnHw5_S9zm+J?Nrv!i&TRPHu82i?#{)-YKoys(lSUK*K3hIjMJP2c9sG zh7hepyJvBgucWLXGUIa(esLkQ$F@rMUhDGo&>;mHzJfVMaih~(Ccb&Jn?%@eKG4cq zNm;1b>4e}giv|1L6?*(a8H0>8{;X}|gh}%6Ucd(*({W|+$&1GBNiP2QgBKpx6%6Bp ziqovH=&jt}+yC`V=n&b~Ax>&;7bjfnI!rRuw*jUw6jUsf4So5QzKV=5%v$jZxxhz^ zln44UIKD?SFvKPhJ@sS~dF@Lwzk>^@8LIUL1qoit^!Ahh;aCU(MI0{GW1 zc)6@99|b47r0C7Y@7aa7=m)$0>Cbh9;4|Cp2HUmTPw~+gr0=10`WZJJ#Me{b;FQ+Y zLTMTA9uq_X-;*h%OG-r4S@4y}`Dz>g-NS$P@!$RY_W=Jr$bVnpzlZqm5&j#AmdevQ z`SV%++l60ZC|{1LH|w9!!7F2pK5Xk>I+)Zcm0XqOmi@rE_igk&=R55OgG8_NU1ErS zPphf-Kj={_+K-~&q@r(7(Qosjpl|OUo__#Vd~bvHXzBfd_88OqxAdq%xdJFX*z3|V zKv2jo(&`@Xj+KetJ+H#~#{W)I?=SxWk2&4FZi>qB_ipC*qrEQNnd1;~1{#iWE%;fj zc`yBK3shc;%GpwIgS48^nDc$0@hc?p>Z!hHULSoUzc+{1ceFQ@*VEnmrynWx{tk@r{yEi4#XiAPOCuF~T&Y*12fo+N>nA^<$2D++ z^IeVdH$O0rfeEAKX@|HVOW<(+fJjSk+fRcklTgJzs^T@OVh}^Q2A}ZC3gC5;E%hU7 z39@?psxYjia)VUPk8+ehI*|VjwzLKL6N2-{QvTQ%k$*qWZ|v>%1))Oht)nbX%Cb2K z6_vj(_O`%>tkCH!TiS{I7d{KZ=OkWQc2MDX6b{hyGV=W+B^{-tC=D)cx1Ywh+iMJR z2^kwH*h0IbFRi-=cPQ^*T=m!9R;)OQ_g-D)uj0G0L|`&2Jr@e=6ng zr2Ngp`Fna-@%%l#PTT|d6I#8nPFvy+BY(kg{)@dcc>asM{Z8-nQ z-ofVx|C7A~{C=r-)xMx|)W5r_oNxr?K88a5~@y$xgTtk`t{-k#{FwJ)c}rQ(?g)(?^={SPf6;UT zFs^+mwiMW{hIi16m=%7~y*eJqY*wlOU`@IEZiwVa7jWMGxV-2=5`-v7;sfu(sm< zIzm6f{l}08;d=Abc0$ z2*N)jv?E+Z_$|U`2!_`M!GsWra1X*9ge-(YgeMTH5Vj#SA^aV}YY1l%evj}4!abmS zJc1uM9Yc5tp$VZ3AroOHLM*}n@`SYjUj*&?*Lu4!(_+WpeYOi01S>tOR|wKxb>mMX z!df4FX@4U-1PL_=Jc!45v)ZO4_H@jw&si0(kd}R zn27>25&t;u*0m8rM21T&L2Jvb^+H4u=vC{oinS%Bt~#XGKU`5Ix@xORHgQ<=6Oru# z*~=8z)}Sl9x}M&$DmIo|tp!zOt_@aej(d|>5g{N6*jcT`^kbdLf2}s|e@;zB!g?uT5_llBwEB=DKSY5l_ zN`Ge@Em&yHEy&J}5FQ3hE9e0hq5cu8tF4==t2PQ1Ra;9oRg@9yP<%~wU4>XtT_tRF zl>$ui%14K@3Qv@j;g8bSi2x;RE~$CA&Lxh>FaRF@e1lyW`g^-jW3da?DRvLeTPby`ZEWqcWq)zow?W1X-aF4BLt{Aq92LwF`CxC&IBu z>_U?p@AK_KBf?HRZ$og}?85qF+!xt}9t6vyc47AY5dl6M!MhtvL~zXZ8W(3jf#_aT zQcF?<%4-xXsom(_OnfO=XFcxTT(eActrIEf?^e2bt0GQx(S=B%Uo6! zN*(Ilyh^E5fwGD~xGGSlHe!O+8V_d77fY(jN+6!rx{A&2O(h&zB{zYtCy@c8xOwg9 zcPp~EsBi)bFR3c6u7wzjU$wBSq;}KxhzXnmL0HzT4#slzNGz!$r9cUnd^B%^wPe#K ztBaID9lC)N0V>8-OHbRaCBV5H&4S<)rinoSxb$lPsBs`tMOEo0cNqzRrVx0u>mH=S z_@BFcr2{>u;J|572WhCXKH;*Kl$E*4W?EgdH_o2Pu~0~rq+~{~DgygNwOG!RIm${a zfFF+vU_|5|i2$*YK+&bun>SPbO%+wH*@%r;S#7Ozq57@RZY57Zohw{cHxo*AR;`;T zf}Ylj)uYF)_s??QZv`U)q)=2|B5K?e%t)mbwWaO~ahRd3GlH0{YSVV=CX^>FPC7dx zU*#Fl4$(q-YQf4S%X4WEu)6DrqMRQSxI7@gG7e$%;?&k^D|6MA)>bHDLQ)VRJOo(9 z2(u8jA=nURBh(`-L|BKg6Cnp-6~a~o40l2bLKebbeEFdd;4HWc09NE@AB@Us{H1G^A+bd=n$X2a7{s-tF~@UPW2N&c8#;PVsi=9Zbo$}*8+8G((@A%6XVz9 z*CfU#%(FUct1BTPb!%3*Hn||VYtmIBYqYDbnq5=&1V{NE{8AY2ngQIlLCp1^IAO<=as}7ZGYap^$Xf;&R8G4Ht`ngQ^>6dr;mcC4U^tOMxKY_v zc)y~yjdBO)jYnIwi(vKReFpMUd*}+zyA5ftp-wH0(g`0s-H{fHdYr&{PY_Hb@hkd- zUAPp47rdB4XHa`76V*#~X#GHO!Sz!=5FD-k;Iv@alFE0~*lv z+Bi5-p0h#lDIdWmI2uifx9QUQjc6L&XTkj&j5qb~Ao2#cQGulJ^%2xNo_y>W1%K+( zf)Kq6`!5lmN4ULF5S~QnMlkLcge3@#2p=OvKLb65unplTLKnhygm@3;kqG+{{0M^x z)0)7C2UJND9G+fjzDEZiwBANLU4AIF_wm*TF$5)RoBGxpM89YS8Zj;i<9 z)Vp83pT(VEQU2^hcFH>D(qIX@hx2Z`Mc#NdZwR0rxkcU@eTy>3)G}}5 zPWXMG-hZpYptzV9?f4ygY3;E*Gu)o6TjaF|pQ9+$oMO?LHdsmLH77si^VHLp0lfl z>v;odRPGY)!576*J;yvsJuSFX99`OdbUg!yN7i%XF{K{TH?i>AQn_s0gD;AsdU`xc zJreE|H=y1rFTK-6JVb%|o8s03mK}HPdV8%>ALTiq*7xd7>eI?to0NLBcY;gpqPu?- z{Qh+cd`iEf!Z*P08+=hYY7fO}cP*XLC`6--U5mv1qxHjZvyn!5*8Bx=VRU;rG_A@_)h8Uu$n8@Bix`|DWj} zzhuaFiE#MVRc~^wbZrw;MK}3ECUcA(vKtGQO#{eaNJ7(uMf%390r8q4$V|iw#0w}3?X&SZ= zg`|{LyG1psFeMf~kBZV_)z5CvKvkvXCAG!y)KrLd_6#K>>P!`cQ>bwj+@r;CNL80= z=&f4ynD9q^N=2C+Mag}r6-q3ON4AnpE_))Ceh)PR*}tgfx2a~JU0l7PxVEHfqbpE3 zXa-vRP)JEhD9)}feX>GrT3)Kd4#b2FNQoblLS#NmFgLlXHj3rNoQR`friZ4ut4d4U z8_UIF*S1m@_t|K9igN+{V^A2qzHw9a6PzN{RJFytN7GZCsfAQ`#pW7&LL$ef4P`Pb zXmvsZbRjI#Dl}rV4($DCm_=j8ol0! zT?T>YV`5T3wcSdD$so+hFHCnPB*rUNZ9~`w8pOH9l|WV^Eut%6RkGX-ipGyjAu~-e z;e?p+Q&ZCv!4hUt`Y1z;iU%?XQrKqK=FQbxT|#JRvAYV5eX^L=*s#tL?uO9_t_V={fKrcO&{`wR4gpok_%1H36@`D+6&GVdQ4J}n5QT+?V)dyS zP!ouiiYqYtu-i4Rd{S4us^T--MqdHzm2MwhBK$&(K;b);I|=x|E)sc&-(T%Un;mH*R#*7ME97 zKPd>Wq8y?Ns?;@bhi0h@KT=XwqAs*abYX20dtvH?rwD&C=ZlphwR4m@s)V_^6vB+> zrui6|SpTR%$#;!Yg-S>vlG?Gg`bk%DeTi6yZ6!iFr-)cvy=g-Y_5FQ12X+sXxt!H} z(ObA7WMI$G@cTynlDZ7FVNR^mW36Ae@_Ki3lds(qU~6-X5igwWa0xEun5Lwb7Wo(UmAgKIh`JbuU7V!R^!deZTKoPq0#sfC7ysu ztWYqReu|T6G-XDXhbx3{;=CDgg5hcH`-)~2=c)hw`TvCiIw2aUAT*A|h>m!|Z$3^u z4tnyvO6$7>p@A}ux{_12ZQf+vik(K-KDcOl!tD6zRu_$!*jBY@dcn%fS@Wk`F`>fl zJu-I|P2cXSo1XIMq=@8_x;oe9CpK-j0zg&WqUrA1s)co><*v;ob+a~Cl-5?)Rc{by z!H8H`Qnz{b)`aO+@}q9RCc?tt+5pOGO%`k2bs~9eRcQC$0$S4jyc|l_xk}wI?zXG% zh^cjLaibPj8TL$Vg$mf{stY6rCp)&GC~ZW{#(ud?)=l)gXnINA5^hn{PPe)%QcKBj zSu}k^$)-BjbnC+bILQy+yq08aTn)l0`Qbq0P(1lzjc#}u)feNwS_I(@Bpn-RAN}t?MYjc3g>K`^Ub+)=C;k9Ixl(N zhI!lOeRtmZdB2$_&HH#>_#<_XY=6Y_$gdu`_Q-eVch29kVBdn57x)+a+k%f4$O|kB z?_W55p>3gS;pT<)3->QvU`w?vv6b4sW&2m#x01h;{A%*7MMaBB7ad!4X3@n(zh5-C z==MjmA6@sT>(R4K@j-3@fE}J+o-k5@nS- z8qrclWEb?0*qfc#=f&^-ey-2=IyvV)_tC|4BmEIArTgf9`VQ@+b9gde#t9evyZj-Z z!(Zo(`~+|1r+5$lkVpBaaF!c!&HR7mf5tqaju}G%L<o zo@!C&)FQ}#oqkLA>1F0s^R{{4B-wrTh;6kKHqAW%Px`+5*bTV^-{6n?Uf=IyGQYk% z_Z~WfHsXA|2bbZUWct}+gKxtV6$S@_hM+AN490>uwu6V&; zJTDH4--^rPy0|6Q$~<{gw#h+xNlr-~W`*_Pa0SEg`j@&| zzp4B6d3{A+(^ERpaFb=K&6{S0eaaTwE_>cyw)eXyU8(!RCHnN~`7D5Y2+)c1@k+c7 z=JQLun52`$AUz1!ERi6ViEQx`Q6+vaI>g6fSWJj1aknILi%bpE!;BDxK`28LW`;+@ zNO%n#nx_)Lp)8fHa#SvG{Hgkts#9%hO3l)9HP&9Q(GTk#`dMABU(j#pUVTQN)7SM4 z9c%72i_B7U%tXvT%~wW%T?^e}x7=YDy7lfcmp5bDbFR!Ca4)%IF5>>^{^UAbm;1o| z!+q+8-Ay;)?(%UnCa!>QgRNiXzwdMX7XPF#@ulEqxv%h*zS^^0UD(NTg$ev-E1!_hpDM%b?i0P$eLIO>t$!y zS$2(0uo!+fPv?|B$e-Xl!P+L?$#3)7B2grZl|qUK#6#i{u}Kt&t>P*1jCf9ziI>D- zQ70P33DGXP#cA=Oh>G*T|El<0+!WuEOXO;~L2j0h%WYuEL3tQ_Zj^7y4*9P91m@z3 zye`M&guE-98{QLgps_a0hS}W|?hStt)`WfGKo|`#ghSAAUxeepXqK7_loqNbYK5Z8 z1FiMyF|}E3gVuXd9Z?b0tWK(S^;dO4eMheZW=%TIJZc^{+fBFmyE$+EW9Hcfw$pxM zui9I7%EmeER?iT67N)Dsb-HfX=LTHVT>w8nbEEE-n{;>hSijtF^?&fw+dB^;{|1_i z2&zI&s10?a0rVM4#anS5?!h173wR0(vW--ccgbaPlgy#3=x%730XjPn!K1 z9c&hx&l1^Uwv=VC>EF@|fZ-s%h==en9>L>y6337%l1*|*E{S9DEP*AlWR}8Gp^-9} zWQJw3H7tu|vmBPo@>o7AV1>|9MXZ>WKtq%P?+R84#1F9=RtwxCtRBc8XU(jIwX$~B z$+}n%I}0fns}fbADq(jts^h9l^{778uga<+j3B+6XjMBkZak+h_Y>Uk%$4J8H*ZYsI)bU978htzgcO8*$?<$)`Xc zAa8uWFZ4y=N*Q=k4TiM(PTvE~8udfdjzqrRXLq7Flz@^^Dncj+<-<;{M2)B!wWC2a zghtR9ioq#3183trT#74jJ#NOWKq8)`5JU{g2fK>FtwW@Rbdi1%C8K1VB-0Ekp)vDl z0j;1lG(sC;8}`rYmw4S_fP|Mfph;J-iMyO;m~ literal 0 HcmV?d00001