From 492eb82704f050a7c4b44342584cf6b5c280b03e Mon Sep 17 00:00:00 2001 From: robin Date: Sun, 27 Mar 2011 11:29:26 +0100 Subject: [PATCH] example diagram showing PLD elements, refs: changed howse:sd to howse:spider --- logic_diagram/examplepld.dia | Bin 1441 -> 1682 bytes logic_diagram/examplepld.jpg | Bin 14526 -> 19401 bytes logic_diagram/logic_diagram.tex | 18 ++++++++++-------- 3 files changed, 10 insertions(+), 8 deletions(-) diff --git a/logic_diagram/examplepld.dia b/logic_diagram/examplepld.dia index 724142f9c5ac762ee1b56b6154d8634c8f4ad85d..91a8cb66ddb8f90d1bb6b73358403c8611b96279 100644 GIT binary patch literal 1682 zcmV;D25tEtiwFP!000021MOVjZ=*O6e(zrqW#3L&2OA9bX4}>3bfMf6&x$6{COBnx3kzFXIZw8&Av_r_GC zG8hyu@7{fO-j!3TEnrJIXz7pv&jO#eCHc`0{1TjJgEC%I_Tb|?Lr!~18Zt=Qs z(d)vcuL~Du^L3KusR;8r6tu2?Lp(FtfukEs`FpVbfEqemw5ng()u`1?vJL5<8jxT&Fls zHfc5XCkhYNJ95(otD ztF6#Fc{U@&CpMzTO4li)P5feUEIkDsM7)gT69S_E;m{dJY=SZJx`D|^uI7G{#`Too zTKW_a1#{GOdSVR^)UozoI#>@fTt4LOU<_f0@4cAY4Q!F5flN=SW+7bZ1gI9qE+*aJ zvWMhx-jJ4_5wn^JV*2bITJC~%-Ni-31^Z$K{RJQ}KzMY99b_wqv2Bwcqo>k&E(1y2 zz7;zLUB*L>w-4s>!DVz@hG<6^ssaFk0AMo60Eohv5gTzl!8Wp((J-T_)H!a$kcIbc zi!+06gDphaKAJbU&1tv!Du3jAK7%Wtv2}fhA`HgGOnQuhfMkhMLT41YoO>!u!=&SV z&(%tts5_3vwB6F8QFAcvsHY=ZS~@S(L2X4fiXzjtiosq6B02b?ODE4DLc?& z`PDyUw3T`2i~YLd@)^|pvdK3Qc3sXGw;1&Z#8RS%d1!m**5iJHHGE77@0~~m$hde~Jd59xA!DbVp0>i2@B4Q!S1|lN;$cX%bh)fev-2w+H zddpPQ-qCP%*@(Evr4t8PCh16lOq`jmI_IhhsMTja+0W2b>70Isi@bwoHsJ>Q87>g{ zewUsM?TpUh+tYR!j<{v3G@l!FnV&FL5yWi^QDWPwn&?9i4~8IaIEXjf;Sk6F*En8& zE_TWr_sw&eNRCLkXT()@#DI@zUy>td;3M-5+nN~;eAGui(mt|@vFf0DU5_1~ zM@R*Ri&)7>HX=4K5=Xc%jARdtWS)`ghB#1CA1O)uNGxGxAJQ|tg;c?~2tW11UB+z4 zl$^d)Zgk)!^Ih>qYaFQQO?Sn=!Tke&m`7n;Z;X$GpNHEE+T?$Nl%~gJv=1_40&L@& z&AhndU@%?=Z_W(Te%IoTLZ!6p<5GSS$8#A6g(8=z*I0&7S~yonz6A^N*T++6dJ6Os zp~`CJ$KKlTPXi7;^%^ntbLux4n)XRmb#wvlh1ne$&Mnu5Tj{9xSz&3m2dJF$t`CBo zZEAG|n|g3mSsLv)7m@l`GKw~3H|bW+gD`_-_2ml>qi9(5)sJdiDQTqo7S1V@lt%mf z1qMTmLAD54BL_V05&HHs#lP^7CK^r?8|-h$5&KxaYM+0^4syW~Y@?^K6$TWliiy<2 zmJR^Yeozq^sK|6Dt!{t=6}@FDYO61`PnKdRzig~FdYEMs$0Q*!L>X4uzekDZ&Ip4) z997p*%VDPL%r-R}yE&dU6r3lcp!N|!;vlLPnj3E7Rxk`<6$=SfX8;u{=|?oQhiGWJ cf7@t?LqL2x{o8|o5O#O-A2a$Jt3*@)0QHg?V*mgE literal 1441 zcmV;S1z!3eiwFP!000021MOQ;Z=*O6e($e9>D#I6V1vQlZo68Y?sN|)t#sFWjvR1P z?-Gc>NjER|+iwhXn*?Z+5ce7hq&5mN^LfmC-^^Ifr_Vp;iL;Vq6)(M~PaZLXQ6x zNg~EDXgs>TaGXs8vCzWYtM3Y}b2VLR>7-&VZ$?uQeV^soGL1*osCrzKC0XvQL~=8_ zyf3fOxHdE1vh#xNg_y}{F2(n5(=J?`A7gqU^Ify^MOG*nqSuSYkPbWM|HhblQ~`t1 z+3n>Q|FW7=edF0y+eAA-^jzdKl{Rr;ZIWss2x5c~SPaS;cSAqKPit~G-1KeXlDCD+ z-xf|4lSP*6TqxayoMu@fMOvZid?}B|DI$?Th`r=i4=?VO*4ZobzZXfdj|0{1pKLpn zxwBlwFB5lbM2D3}73+t|4@=8cSzlYSzEXvnCbDhzD%B@5zdnum-M3S!_w(aDqoK0a znI2*$sicRehuKoavUnxTw#Rf>dZ>quUt9Ivar-Vzb!#VCmk^0q%lzj$r8-;Y#mK2& zZ>={QYmiO9$w=4E{jEhBi#&EdIKL%{S^%@3>kgTWO4u1jDLw6C#3i|jd! z5Wn&e-F3Pt8C~Y5(_QO1_#o0*BA*Z#1qh#BbHuJNM&WT_GLiF1l;vr&Bsi5nB}Azl zO`o1rBLsKc&8rXAgH*Ez-3`VN_W8!eg5$uZSsu&$HP>8(Yo7qs#W=v^IJn{=dz`eC zrF-P8c7Yf_v!fSXa9_Fvhy)N{%pzX^0s}-yud$CjLm1Dq$(VjF?ME3X;x?n$w@8@~ z`Qav5zz53op$zGrVW>#}1QLMFBm*D@{LPWwd5TfZI zM3#l95rBgZouLlV-a5n)y~1`2q7uWcDJ`Z~&d=<65?eUJ0^uVZ(=;)`Df zEwij;jUXJ9>85?Du(%FdXFQ4CRRTmLrUO3V{&X)T0t3 zK&%oZ4-pRpi6eY2g5(W?WM7b)fjB7AyWV*E1}_iDFiBL}+Bu4OwWfM*+R-DAo~NA&9lwZQzX(adDIqWy-!T~$Tf>>cgvG=H}F6tee-!8qQK=| z2&kO%V^3)99cWDl+nQWzG@Kqe7m-IN3W_dgm-$LgVpYJhM)HMIVm+ezH7 zKf*yqxZRC3zmh7(pim4D=77gTLf?Op_!k~3M9URoOZ*KL;u-d=xc9M9?4tl8!Lxcy v!eB7u8znNQpnU+O=OIO8kRsd7YBK-_DSAK6>edexZ!i7>agn1P%s>DD$xXZK diff --git a/logic_diagram/examplepld.jpg b/logic_diagram/examplepld.jpg index cd544206f8c11a6277609b9b36cfb2d430e04932..cab3e968f502d947427b841a013c4a73182cdf95 100644 GIT binary patch delta 17201 zcmbumcTiN_vOc_#EJ)57iGoNH$w?)NBt?QG6_A{f44WW9GK_#^5D}CtN#aOOA_7Vd zL(VWma)4p@wx0LB_ndprx%I31{#Z2>#Vq#j)vNpIr=Mr2B)EWC8duc|2F5{wO( zp_&ah0SA_icSVs_`^;d}v-_3H5s9Yio1G}r`&DTQVSKsml^FU(%^}JQp#9EqFG6Q~ z)_F}QvhRVU8ry8)Cv6j0vWR>!ZZV7!mmS3IZuZDGH4ji~%(Xy{)h`M$nb@Xjh3TZE z@|%)psne!0%I(T01Wm&UJRNojI~r$Gj?-^sbv(}M!i|{XnqIAdOX|$hUNBe#*;9NKeN2Dzo4yPYSU_q%Z@nO=^78)%}d?Y9B>f2w>Z+jdgt@N zrKHL=_ya{!uL`A)8P4g}1smTtPG8h`jV0cgSd4wbe*qjFZal}pRgusH8WJq9-iJ3umEOm=z7kd+u?$vRL#|0po ztuNp5<^phYTh;7uWWlKo{-#`fcmZ76H0S*sX@rjSU|r7S^6?aOAF#H&n(W@;M%7A2 zEX^)1{I$t#{WZ?&1%Uhjud_M8*e%8xc1opvrE6*(uxod;nB`oE(3mOo$Wb#r$}kKI z5YKOEZUmo)yr0%_&b*o}ls2eW?{fOpnL9RAqp$CqhskSQ92FW}0`tO!GD73eCUFn% zj=B`-6MZs!{H~Oq8$pM+#GU1zvABYkFS7eoI}~_aDe{=;0FDaDi*@B0z-PYUZhUUY)$AwoU$13hucGb^#0*&SG_|g1tVIG(0KtV<0@tbgRyCJY-zRlXc zfq6B+nS;7k&A<^ioRN>^^1?PoWr>~rt`%~n2*V{KI%W9q#|~y7Jw$gQKXTV;2tPfF z^HUK=FwUI)%Zf)A*|mBL$^7^lAgNG!E~1X+-*`>jQJ z2kqPtx}Gld66|^BuE{%_t)JQkh)7s!pmi3U6!!hM(0t<+YYV$a4fvxe?ZG0dbGKqy zoEf>K7Mr4hg9~5>jFu_F`1)Af`Hq3Z&r5>F6}r* zT>x0R?(Cv~R{rltL*!29(=%q1;?sN%)R2Mb^ZKA6`20E1dHndY*=&&-Bf&A)}op%5ezSLxN4wN&s1fOvG=ov zr+E-vHm&)7KG=W|s|0QsEeHF@!H5W1L4MrZ(G`K9&3ofMU(g%Bu+(S%=04G|yAq@2 zmp+aliH`XI!_jh{tE5rBYGrdvG*(Qc7=vhX+LanYMh1%F^93Hh3DxI?*zG zr*RMOpm-XwN7!-aF>m4cDm8FrRWwoR`EHNg#+;^>G=B&Q=Na;kJpTHr*bz5WKPijCZI}Pj3XPr; z{{LDA>@m%HmWaJ8W?S_8s(9*mMa6f-2f(m82}D-13<6=5gOf)JXGYIsDTk`#-wKSN7t(XwgY+75;-EP|=$m*U=KN z#Fb(JXblu`(GG?+pPNy9(av1CosW|Rn%#met6owW5DoD$N;|Sp5zcXWc)bQ-Pj6C# zID_b+wp0bNkrCqM+un!XdvbJ06W? zXh1z7DWNH81g;&h$zN{qW$rrkB1LK(ug$sXPG?`1IeeJBd)E9aCHexG7ph5A<|>}K zm$AtYK$(^mtUi+WRvVV9*l{xG?)Wy8cHHzbCP*~PnM1o-^OvAN4EdRInChYitA4=fIh(ltmFe_RPMsjV5cr$Q~^2H%ZEHQ zy?L;B<3xP6OJr}9}9Z0@oem`8I+j$=Cb zQ8+5V$(yaBoTn{ggnt&>R}>$7hw;m|OUYlwQy%^bdA`U0Hu&C6@Uc-b^_~ z9;~(5jV`H%>jfvt+5m2{IxhEj{Cn z?e^Fw#f%70rV+X*Rc=|(%=Pa-^nQ!Jme^1u#!!AFqE9~OB&AODoZ(6;u3~3lATBIU zh!q4-@Js8rf+WVFc(?G>eBNF`V5Cstc|yQlS0y;_Bv+h*;lo;YwSI5X5B=5tRup#} zTxeUG^*Zp>sic;4KSmP(fGfcAtU-|(&4r~>thS%h8b7vqRkN4Tp{sXvK9j{doRt*I zVue(;wrpdQgxn%wM@GBM;XHlONp=Mej!v8_`m*zR+HkD#F|s5+dV^c}Hku#!dsQg@ z45Hp}Dvq;gABUkW3>nzGauhu{@X5v_IqzX|J)Q8fD(w$1^WzR~%ej=Jwf&tW7bQw5 z$~r%|IFwIPIPo|I=gM+3Ov@jKE8e>Fk*?xysE>2m;^+EQ>AV!&9&XT)(M-LUBc6yW zYgmqA)?~oNjmAS+fF@a*MyxR@lt_+3jiEvodTJXZw14phVC$o+11==dpBhHa*(9sG zx|@%>Njn=yQ%SPKYnTPIC8=1VEjv#wVrryb1YQMi&1o~5M84|Lcbkk*TP5PA(C+$I zzXDfIvO^2?myzidW6R5FkMk^l zMIi3$x#cKbFYD#RDqYc`z}%}It$mum&J=*<8rPYtsdD>7s!nk-;?C8^S1i>tSVQ3; zFDJY-Ppje}`3j?V9!}JukiCGgG;sIIqRXn{3~{7oPTXNwOPaBrVoO`tk-mO2hUj{k zA)(c^xK2P)baOCRtcQCE_Lv5zYdx13LzzE)qKgh1*_foXN|I zh_I}L$+9qkx;T16c#;PD(=#fNnZmi_RUk7x2_?s)>=wAkj~g?FrABj^*6+VZo)?yU zl<5%)CGoo5u@~@$R27Fg3}>V7n+e*YrCrz$;SHCp$><|;-?4F7Tx&H^2C#c0^>XAz4jtrK|c?*bXS5J>xe z2&dQ>dRj7}>~B9Q%X@!^o3cUYkt1~k1D6~V0+C>We(FY}BQaNxuq|t^`GoIZcKzB} zk1c^w!w``22m$0u5x&>cKP)roF&)`Ck{4T*&6IsPPxE0o@&Jz|l$;}!jHu)_pr=9u zfCd&(M`!FLK0ybMe`F}z*@xr~n0@U`{FvvL%Ha_*#7*Y#pm}a{7UPS$jc@Fc=cD~7 zS&77{5zfUyU@#R>@j46B-}O3_Irs{Bn!yH!>CuMxi-tMdP*BspN)oly?(8l$#_&S>ootDQ^1ycer6*aE%N!>+aBSVr` z`Lm44H30wmr8>l9w`-89!C@3kmzNRLfJzP=Q^n3JxcVShR}f=v-}qrvR#bD@7Dz}s zwoBveoUV7i=oWfM*i8knMtfLPp>!g*kIE$8-AYq8mg}18R~G13D}JKJ$l|KLS}QoX z<23&Tq~SA2VIm;DL;2A7(9vU`TCVs3CH&^8sLBXj|Kky!vRQ*_FHOa zTAq_bj{53e0Hx!HKXI*RNCv(JC*t)>O6ukKr;^XvJuZuHD4gE(v;OLR%bU3M+QS0! zRU&CTHf1~(N<+bc1#;xTB7RGFGX>wvW-YI~8Z_4xI{Y4~&IGGY5;2$qYdE)Azp&;1 ze(668q#Z77Hyc&_Jq$ExH&8yNe#S72!Qj1t6hBZ$(yqUGo_G49KZT+LPf#=qC zI)hx7W)KaQ(-q1i_5Yn8{+u{e{F8$flIWu68FG!n2@48l-C^Dgjr`H(4jM*kS4k7n zTfsDLoR)9yDt;=4@T&SBhg+E>y_f-$;v7bp8*@?!shBh)-eDdwM-Fp|Pr1-aye*Fs zs*jn#@PQZ+S18e%1dl5OScS`ZkQT>U+c{3hVcxfr+^!ZAbyJ5=##-N|VFWp-!*UHOXRNa0F( zAj9^i5B5Vq3i3k+91U0^9xcdb5m;azAUe)Hj#0?O@ObkFTHXhetg{Fj!}Y0X$c&ZN zWh@C4@BeEe{C~-VlE|%!4v-<2a7NC}$KSyF^Y_AxmF$AF}`)Dk^fZV}(kp4|+|444C1gCGCdqKT&tw}(93PJ%E7W@ zz*Xp(vWDfo0A5`HT^6K1J_io(@1E}baM_QvRxrgk@@O!v;#g3ZTPpLn%mM$Gu@CQceu!Ow?X0P7Cl zAvVO4`~sjgEDun5Yiy$I@uGACsq7l6Zk@V8YxS_#ni~<8)LS8q?0JcibVF(O)Oq-T z_maoP&lI znk)llBw;vN=6Uvcq}?%l?Row7v`*TZ<7AVw+b^FU9eZ%GCRaQ`=zfjo{}*?!{rO7i_P_ zPkl92`DhHP_ETm*SK^r*e~mI4H2b}7x0+!A5*#M@vgFuaxL^SIoNF{Tnrvter|MP1cI*}Xf#%e&8}gI5v^ z40|p$MIW5N7jw|ljvM<^=pr3kaF%*i=!K&sq2u|_{rKUUeZTml^*^2o80Mm6B|24W-fBQF5%az*s4T?b0G4Yux7THbPLf_M;~epQApk^kAp()>)E*GTfmz?N;f ze@Ckfawvv3nU&lyV%K)m|1ND(`!eay6EZQSq0c2U@Mupn65UZp3Bi@ntp{)J*wJ-c zawP-o{8Efh#PD6E^R7h0+%8dra@bKUcP>jUgTe|t%Coqp66j(X-UuHX7pUCU)C zVWC8MWSh}TE9iuR4g^H((a4v-tE;0bm82Un@%1Q34r4Y7xd4P{j=B{Esuti(V7ppz zpAAIt4MiQcBryi;Xm|9+RVqy}gKh&JS$?=1N~|h>lNKI9(#VhKrj7?j??z1KzbtO) zeAaj@j^B^F(yFR0=IX1T#7T;vS~Mk+EOo?-)j;T9;ug(axxkt;$$ zZP5l*-{lPp_+-Zvn3L;F9X#Amx@{tFB=Us|m-W?Z%cW+>yf&C`@MDR2a69E6cLv8C z%N!FYv&t-6@ySes`kf@35v<>x$Z*QXk%fira|Pc|1Uj-14e!Vx#9Y^rJhRzRgc#O( z3%hxatm(FZ# zuul$uA-;UKh;)XoZ`*CEap=lMj_~LUMtU<8?fa@H!>py(!=9G=qwn4$Vha3hfMeu zT3COiJJVO(lvVN3tA1s!z$IorDTQo&Z@Q`4@ChB>O)+!3JQd5@?8WCA03jZt!1HiO z+kOS`#nyxQ0e5~hQ!3=rwG_Uue&LbM7stl1Sa&UqiGs1-nQ=zdwdeaoxhr`-^Bq@v z?lsgSvzS;on-`uQhqf)G#UGGNP8D+N!d+gMRpsvAPsblHuD9RTseIIxhHEB!!@K1v^TgodP3%4q*a%>K(-? zzfvX_Oo-EH|AAz{`9WNZ)HlEA1`pq*7G|@s_U}Ha^CmxQ`LW;YC1u=AdWychj0oVA z9iRdT^DX>ejnif-`&NNZKWkQJ*E*;CzHIGhH(h26a%%CnY4K3twt_7R zN8FT6pfp3n)m*BDGfrJ5XgLGGOTF6rI?CU_6PD;bx>?dEafPk_*obLPGsb7d*64uI z8t=oY4Xtyq+}@H>#&{crL*2eA-}hQsGgYbO+XI4v+m~IHam8$qJpl=K%R$&Y8#f4l ziM-vnxbuL&;2O9nTOYAQ^K6l#!_E+Ulhgu_O3Y-gg$lZXh%`(xD+zW^@$l_Eh&cT# zZ9*BO3%+mI$_mctK$O{7-e{RnZ9?1}C+y)XKG?lawOaB#IH7_cY+exN&vyGAm?=~& zB<$$WL$%JCP0D%PaqbN0Ytpgt&s*~rXm=2Q+zNqM*Zu!N`P^krL93Kf!(a$4S{ z8%4T}D52MI8+x~DBcpB$`_F_cTP=NG@GJc;ADNN2XS9@cb+&Supj5iyEXO;}PS!Q? z%ulN&i)W3^zfRd#tT$hAYXeOdT*IK3?{ z7so*|c)4pVh{<-Uyy8}wlkdm%U%wa*R!7Re61aFVaO4K);_tDc?OhmrATCikbWzs# zMyy3kA{EW`;dAT>x?Lef1afXWkdUNEEpBoga4yO9y`4x&SQAeqsB}L(D;BHP*)BjA;*keDCn` zKg#c7;VhM+nci{s=Oomkxxk4L;cDAbeDkT{>nU_oXR=SuCUZ$-?dX-lV(gDw51b}f zb?WqRsaF`KAMB*C=}NVk0)9JxCuiuG+k{WJW$4eFL2%=4$~x`Z1%L-%PF%M*MqL1f zRJw$D25PTv_8nz&mU2e7Va9Lj|P#4tbWnN(@oor@MP)v2y+%EdF>B&u4%{K)HB76 ztqJEKpH0TfW63^Qqw|#~MP94B_g^a>^35ybryG3x0n?7W)h^~*$>ma{$eWHK1{z3jeHg$U|>2|~zgbM4VcX>B-a zVB3~U)2?$sEL@*7_VN>aVCnlfd{~L*FtsI+sjHUuQR^*KW{P>JRspXo!>>V8h+kR5 zK>ome&mjSEO{BT0<1rEho^CO*Zx*z8Rr!^Y!@oqssEv&MWlG8DMIzhj>qXfQzMK8nubu$QFQ)A!5X+Q*Y zTdE3jzyWk*W%~s%w1-Ja3;2g;g8$Yv9Wqch;Ws>o2)5D;u)Jf>?~d-0A}#LoX}qPZ zvI0UXvn+jFYIyJW#=L0YH%zT=%&E`tMsTsbRRV!ce8TbOBrw1>@L8Ec!11 z@&odZ&wd*iZF%Ak0VK zJ}YeAigtT9v!TF^9jF3j2dd9VJx+Ym+fF8ymqUFwvb@SWeuHWH3*bBI0(kuf-ko44 zyaGm^ME-wDCAf8m>|R9yJ)%^b{~X!mMt zZ=T@s?1SKy zdS}e-{m6D-nV*6GX;?Vx=kkowwZHM+-=DvMj0*$^y|J^$V*f{mV-QJ;TrPSIbjVPLz;lGZ+YjRwMSxRi@>fr7-nOn#O<)x zQO99&ZfTK5*kNj}WJc#Szj7i5fnxDpo%cG*{!8;$Ccko+sW|VNdC=Ulx3MEe@C#ht zBVBkKQWvrV-gf$?Nqa){10^TC-wryleAw=N$Lkzt&h@@sWp5!0(q%o2a8ybzn3ym^PV_u( z&0>D&c-HwKv!o8X9n`}FgzsIY0O0z%IsIsW0{BUy)Jf<^>7dX`8@XIzy!Kj;HX*Cj zkZH!`TM?%N9V|1JXmgQMJ2O9Wa`$uqQ?T-L^ORdph4#aj-xwDv%|#&=wy1Lm*S6@_ zah0aqhgqepH&fi5R8=e=_pTGTmikC<{6=33d+6+drzq|6AY0E8^_wwvPgkYI&nCf? z1nDGpAXxRgtE%rm0gB%8X0t_gjE>!vvW{81(2;e}p5)rC?E{Y4Ya!|f_XGG}wCCQ; zdU7l9aaU(!U`>qMapJHbF_JJdQNfW+daI{Qu8qW$r$dD?n=*-8KvJLzKUiLgM?Y!a z_OLY2rtOqGN|LUyTK4=^3Ah7R9mE!@PXaE<6m0W1e^^%PMP1^+jR=E-kNo| zH~OAp-rmdW)2Cfxxy@L$`-q$@_Wn;U0pNlO@ymw}y5h96Z*cE_KF#Bj^W1tciRS8{ zqj-})e0@^W`77#VFt=oRDLz}!d`RchXuinAl(GZ$t;IxDN{x*y9B@43!~kpwOk2XL z8J>~)Xe&_2-fzj2;zs0jccs(98#SM-G04kCD=r9(mtO$Bg=jIX zI$?kJsb@{#T<;{eCCj;*{g!P(vWsuv0G36eDk7mn6#{WEFim*fm%cM*h{}PDrEd60 zUSRZo^;j)QpoA_s<2y=h{HtWw;x(@>ZkrsNH0=avjh_4UD~*k-a?~{7Ei*HvmN}hp zxU~-j`fP8)XYth;zUgSM!k%#70~0LCK4Kdqk5jJ&h_74#R|-yyepDmXBCd0a-g#^M zDRnk|=^#_lu&;+z#!w!4p8%~>@Kx11rO1xueC?`@uEwrwULe5w!4srIza8lIGG{`0 zr5AB$#6Hll@qXX*W};hCtTM>Y`_vCb-|oAhkMc^Rsd`z7Vx78U8!PHU%=xrN0K7y; z9t<#E*)zyz*pBymlkpRLb?e;3<}Gv|R5@W)V)U>tVnnb8c6M&l3!ocf|0*&3W4C6{ zbL=q1T%DOrS|c}>*&38iSjW8`$9-XC6pY~I)4D>kxB?6NG!ialYZso*7zX_4x2YUf zAz9>lrYgDJtW@5g9A?=&nam0|^ze7i6Vh;Z&)!Kr6LFW`m@o7Ul7(=M@1n&Sz8Sdw zzJjGi;Ti~_AIx|0X(hCYt65d+6miv{x@zwSc^!nWH$`JvLx3YVmCt5RhhM1CEik>* zUNVj-tKSxM@QBNY6u*;qlu_l;qSB_J@FeXVAkH zUw<&t+3z3=(xhF55I0oVy@1k=+V9G4?@rq9%FanSTNcBQci5?vC^S16>shb`Dp8}r1yWc3Z;Dr>+N|5%VTGRjE@Hr=3-Q!h!h!x zAM{JaPxV0Ohg@bb2cBbx)&+nCDo-ug}@# zdak>dhNp`Gq!n$5wGn>Y1a$Vo8j3um;=#`%t$Q8k3T-$DBpqNHiw4Zu4fc8yXO;OVKVJn}dJo|8EjYPglcdOA>nR_oZq_qXfwICha?~cAO z47_uv)A50rvfWM_Ab`)&_%Rlk$*RPI)OLThg@1n{{e@h*WD>%3;+^IA5HT$hFRO=` zrW;K^6?|%R6-khuzLl2(jV;LGeX zC#!F4(ctL0X@P`Su+8A1?+9=ULyWv|A;J z_O*{v0{X9}x%%I=@_lFL42id?`?TtP}= z21@EasxX9LF1-nQ*F=%hevBTsQ*xN6RFcPuhvNg=Gcpb7HtBUj7DJQ#fV)4GPT1Yp78ZIOTE3&nVj@K#CZPW3F8R}*jv_w&JU#&W%kALrE>+YIlizA zN%obvx7NXgzy8L|*3W9u_wJ}~T~d8I2OgngywN399l6}c0HT>V&~lNTs^V2`i@$oN zS;MQhqlcLe6U(=BbKeBx45%v&uyrUZ7v}$F)0bSLw^z;oaL4kuXNn;1n1SJzpQvRb zfvRj+*9$sxD&$nH|iQgn~B;7<%l zz!}^`nXy3{oX%N{cx7Wv<*OI-6w_KZ_I1xz$Dq`kZ1g($BigKpIqDnEQCThtT1^8P z{(9{6*}ccUa?>%dmc=y1PpjGB0~H_2rv5?UWTMu>IZ?S`6^AyIuVy8udeP@I1N|(B zMDhJ(0@S74*_Ni#d|r7LQnP(9uCDO&0371E5HFYAtYX9fra8MQ^@?*MqI^6 zqM}gYjcW9fwKkf8Ui?n!Q__$&Vk2haf^}c;hadDu+p1WlT+fjvTV7OUW9j|^&ilLuS1y2ny6;3B@sV}{g2iuxrNK++?)h#ehS%67 zgW67+Y*>EW&KipdzXqqqmDrpKxllqqb8v~3*=+d55L&C5H`lJwC{^g8I)GDryP@M6 zu7Z20l3W%565dYu;q!k964eR1{-Pggw;it^4oGcp3vtxcCdhJziZb2M;JYlv$er8$ zL31JQk^{BnjmY;Jw$H`iFpY?_XQ-0wbW1+T@jG~20}WhcLIW47pB>_a?~Xd!SV7Y1 zsdx7cK@LO;u*AXQfB6TLjN*Mb8|zc&7WpCm{2I4AKg6HoQTTAgi<;Y5et-roK8|xC zj|<6Ri0M9^W9>W>*XpECgLs4SG*!<^-IX@K;?f*lF8a7(AhVk0_TJuWcxG~jx9?d{ ztl}FEM5r|0B@q?C^lkIt^RZSs`IM};dykRegZw*QmSVFT!TgHNQzA&9)SX^{Ofme9 zA3@5;iLDH?)}r^OJsvi$nTshhBG@NkiOS0q%55|_?hPQTPxpM=DdX#)3&5c9tBiFr zXVNa896u2ekFsDE8=57NEb<2*p-YiLZ$O)NO4XM?}HQYy`+$%+)Em_b9~YvAq?C zGVNpT>9wz4O|U0sodCe9{oQE%FLBEsZOfmZ|D(3Z;Tu$L@{TER+AB_iSQ_yOAFD2G z$|7O-QnF(fP0b7ebHsyX)*`-8dLNuckYdIMZkqWeh{@s>`;i~^-8;vckk3B4iOT5_ zE9-7Uu3fT&g7>PvA2tPw->-|G`Zjw@h00S8)5pgR>*Izc+vh?R;%^&7s*i9$Hdsk- z@HIX1mY+ZbDFFZgI{vpH%5*;AkN~9?e3Z?`lT?&5Q$rN{(OjQ%$+RAzdqgOO$WeQ| z!JkK}Na(P&m`iB)c%;U9x9n%({?8Nxz5U)iNhvZ0?~NZvW&H<=1bt2j2%)iYB6TBV zO*DTob*J^;KyK0*eZhMo$T^koPRjs`WjgE!Af+h_DA00#)S6yoIzOkeGBwqCaQ{qW zDw^0br0)x1q0w*Im`_G$qi`@Mn{{`KH)A8wCL6Q*8x5}5+>})*UZZUkoHh{nC zb4(jJHC}aMICV5L)zWGIEfaG3J z0K!KA4kY{hFR|WlR3;#eh}fKiIv)iY#Jca2dh=6$#8N0DLZ!Mipkb51_-bEdk7% zbhYMxDC(+@vOP4B$63ElTQGD6B}uI|-HSM~`Y)b;kWIlG=i zkUAr-!l~c*6PLZwEBRSWtgEuMGcox-pcYs<7oa`P{asGsOpeEnU(50#UWk7zU2XX5 zQ2ltukafSMOFH*MiJY7k>+7SXp1iuG#$r#ar}PCN18`#>1^%C&w*r8F_sD41{Gdx# z8%Wq$wz!9Thk179GgEo|2+<<0cfDi{DlH zp1DM@W`C{TRlVaqB>s>0r~E-7b9ot~iC~p9hld%}q-t?>(tWcE)2~*cqMNKCR%S>M z0R;T7Gyqu(;3RswlZ_&38ly5=<(zrjq0vf9s2V8XwPwHRXc|oRouLlEaaV$hm7@2X zQ_j`S<4orHc7c}~RFlW7Q|>%rp?VjK2upA?{AcSIeXyT$j&rVOdY^9x&3vdNZ(6_7 ze3EsklN3RnV5vke*nX&6%8#qV--<<5S9dryq0m_;2aOWNiZvsghgjA^}OqK^q zL*Cp>f1=5rB06BjujBcjAn_0HF*?8OtW@vgM6;>BIOGsR5;GoUiX00C`GTqZul6{Z zIb&ftt`GA*=I1NavPS)bc%=*?R7%=odIvy(eOwPmJU^s+`aMe&Q;-jSCkH!^6EA=k zYhSnAZ!}XnizVkvdI?dd*j!hn!#tUsGVW``s15%Y_)jzlJ#Kt|_rxvPcc)uPp6buY z$Ybz`(`OCpuR(KO+3ZMYq-ygvY6uIl^Jg-D%^szd%r@UT74E2@9`fc|axMTqMe#q- zI52S~3;unOKAPZ>OtYSW|a>Y5`?G7U}^Aim9y8&-)_ zZCdQxsTGbI*S%l2U)WV1ZUxl5ssjSHL#-T-XY>Omu9q9MP!Vy~)<@6H@k4lrn8mFa z!aD#U1(1n8_}}wQ5KOha*X%?#-X){lU9r%hbtwG|FA=q-I$;f-+zZxua65(FujvZ8 zaW#r8(z;|q;mqW7s(v3{xnIeXL9=YW6;i!G&%>rrbs4+)?N*P{HqLW%RVk}yQhsv&#b)S|&N?`mr`>YQ zpi1M|?z3!)E}N{IcS61ER+exhOjnGnHYi|&HyA+R@AB<`J_#9nr{WbyNOJFxL6HAP za$ml!3n}gi6+8oo#gsQyJr10K%R@ReKEK+l9(OE)Bo}~lyK6-;+9#cbwFoCqfcTjq zPs9)A2x-Kr%ActMIyuU6laoqx=*Z8Xl<%U?yP7z`r@w*%2)OWA3xkiAZ7ToMmHH{K z0~Nh+!84P4Rq%a}mGkmhp2;j5=8$ez8NbWRYiLpA>FT2Kd`DGe(m-YWs+F$B(B<+= z2~PmlV%+B9|7pqmwLxWkV8*~^O#wh|f z*!T}(hu|;PB>PMtYdoB}(Hjg01 z%Z3_8NbxkW+2aBT1+m{+E`fgrP0{}&&Omz7)Yx7Pxh!Mc(1HbN1tmr^(#(y`KtSI#i3Tq&3F6+IJhG9eutRJbNz?kLutuFd&wOr=UM&C+z>X9a8QIUB32-Y^v!hQHf=$ zYJ^o-$bNM|Nxj0WM|-8$k7T8<@9l6j)xww;azwA*BH|M8k>X%){|us)B@#%m2VWk~ zPdfEr+G-zwzvyhvyNA;0ukX5QuX0I2ifw2r7et#VPK=(g-9)yQENl;~#FWA9YgQyH z_H^BQ@SJofdics^1_is#8OPb?gv2dIoozmAp_I}DS1YHR&dt3q5oq99LH&TdEB(Kv zOM=1=P&dK~OoduMlx@_BeF;7QpuRWe_JH1h|Xp+AY zH#W9ILs?w~Kw!D&3m=cyS-d)M7`oF;;xC7+z$865uC74 z^4=mohZ}c*DWm0(wVbQQpG~J5;^P8jRUl=Wu-TLy#T-tJQB9*oisYYR}j7kUKHG`{_Bhmit!T z(tS1w4!7Jj`j!vIqWN*zu{3ENL#Onz@O>|+tsbujO`&Kmteun0pUAph06oyT-Ml#z q9z-xAH(%}Zyjw?-xpnM4G}SM5wr!C!NX`uk2#SE@oK&C@0a3|OK@pIgV<8Ag4lN)VL4uN@$vH@rAUTI7 zXPVd&n%C~L&%OKJ_nr5C%3~Q622C?9{bfnud|+-!9J1L@o-u8NP*!R zASkipZ(wu9t#&do)VJ29OVAZ!?bM@*43RyLMVVK6;k_7f>EmP52+^QsfSYQg~JWZ zOKD`gt0N+0V$t?~RHU)BKU1mh z8`_txutBr@Wv&4}T6(seDD{{<!`VvGDXrEb3BNA_N#v=N#N2eDX_-zoLfg((~-sjD8Y_kdewe+j-pk zsYn(ti3^Y)JsX41G0oYDsy`U+#CHhi8ttP>XqCYG$k@US>8xo+88W$LAEHbjPRKm0 zKeKYQvgmntTb3hEUuX47Om}D%S{t@)Yhx-TbM=G*|&*NVwUu zLl0vY?d(&6jBCK=Qfo|pxv%XU60&-A4eT18)*e-iSjOPbnytGVx3iM5A>FTmE#+&V zr|y`T2WRjaKDLAbpv?zTg?sGvmL~W_s4ST;>4MKJH3{O zV3ia&4o3;t8shi}q$|Ao<1_F4ofo4V9tZS6 z@Kte;#gGd`Q<~$w1V73Vfd(zVxR1u~UcC;ueUFBbo5T9s?~gBQHAdnHM6fn!bV1BC z|M)clZV)Vmt2WO!HdJ@5lI(FD=%5esyV@hcr!}4@`ybKlX>E5Oi8R)E<>SI?bsb(g zNw&ziF9VQJCC_W%^6ubyhL7_#5EzYai$-bFA<=t-opM6ul_obUtH(Y@(XhGRpylLY zz~MZQ8Y0NlGI8f_S2y{!RP)R4%`H?qNzHj;A?u;MAu^JIm=Vr8j0OD~NP;cNsR*86(RarbXMxEY#Z zm2SjZR)V_{J3)YXO)}s$jE7u>rwql`ZqS(XV?9*nxg!hu)@ZEuas&=*1bbYmvZq8( zpV?xJ9FjQ&4s(1+3zFM+`jM6)6B1%HITNZ+2iNtiZ#eQ5X5$LQD0V7zcMlM-`zy-_ z%2@i|&PU%s`Z!LbvZlm2!#fNj9!ex|_zU~1nn+Or?RVYd`%nvQ6A;dkqTJz<=8DQW zDO0%B*%!r06ni!c^=gfTnbe}ieP$@ZpQ? zziqz;5V0yFUQB2y;L-dYPJRN&4mrk}vf-UVi?K_^d3Q21J(A4k4BV28tt-IKyZ{->Yk+Wl+SS%z`$Ds0 z8jS7-^Y5Sg?aAR!b^@5%AOYOX$CJfr(G|81N3by)cNJ`hI=q30iG$@<%b7Pi9fbYA zR*b7>bYQS-RvsCbPKXZVfcz=jv>Sdt3$cNXhGeh^JCVq&QH+-7gXd<@Y zw?7+%0ip;kR2()V_^aCgK)i(859XPlF&Oq{CZ zZGRd2mO8SGNY}n*l%8(&baWW}n`Tn>0wv20fu1VpvS$3~t`Qh}nAU#Rsc?P@_r~dIu_)`nAMyp#du}xCY*Mq-gxMKR%V$oLA|YW9*jf=~UsQeFN-ZavAt{@D84s zeo#L*wC2z~s9ZtQk988HVDSDJ;$ubeUGUTI}AATreNM~qE4StM@8D; z@;cr%oZhZ_#H?y)#y!x3FE;4=MYG@kdr-kISPUHlwumOIm5LtZ9l*R0nD>*xvy}xYT9;or!-k($g>6R-i-vV+q10XE4M^p0_nCkcy^0Wv@?cC#|+0|?(=L2M^jL`uGWDcfh`WzkaVUm$27&vli1vl`7dW{?Yjz;VUuTwCVt}H%cRu!?n*sdiZpbA1lfJwmsP~!H(JLM$?ZUsM(6Q99^zn_D zBQ$xgEwX>)u6%>Wedy~wo=nnaa+_1RI|o7G(IH6p#-B0&=ncGXXJ42(d?i6hU}kz)JClhEQ$ZP>+{e#?y9HHO*EsALUn0%0PaCzXmNMwt)P%e`^Wh+F@!TWaY$NN7I_|mH8`XH z-m^SewaskXyGtO}wp54utwFq6Jyu%1uf-3PC+!GHdo`R}WFVig`cPuh_6$ByBt_(- zUvma}62Fd{D64Rv4tEn0+)Nr6CyOg?i7?a6)nN;S;~i87!i#8i?w?j|mH&SCv*^z6 zuV#j+^!L17H>7k{F*yKR#$f{gWGcGBx&0rM{_ViC!oYd{E_Ow45%KCBhA(9+s zy<5tPxDJXeYhR1mmXuC9nn=(+jj;ZvA-lC&|~ zm;~D$qWSil?iTBB&vn?M%|bd%#1HI)^1`H3gdO?6c{Am^DFqRRdq`q)zp;=G=^wgb z^NR<_3i~_2zb}gIyV7|>TGPp!$BjBIA5GaXFQ3802?b-IgFh7{rwdgcZ}JXas$T=t z*Fabk!vS(_;z{VqO#Z?ud9P0map}5K?JLE$7|+4Sz$nUjDYSuiaogK)B2N9;=Jb(P zoXWjH$J-?MDxqyFhmPYZ2Yqb@^r1d-^S8%c>eaUUrdFYdnvWuGrJZXcK{qbHf2a4y1H9Z% ztCC$X2plWlz&E^PT4wd|8rUyHz%<518jV?x`yUUSJY7njc8w93u#zYYT%;go6~B%=;n5uA_UEV`Rf$3vEtfX`zxjR4JKJZP|sq!)|EVH4S=7Dm$F+lxU z=m^#%j!$T?CNCcxoOFfy(EGkNn-P_$nw@-{NuauXGtrz%Ot95>iec6--nn)99F^BP ztphJ&^e%9<@~M2S{mG}Chim{RnDyLM*2bw}zvbz}r3GeGU)zupYvt#faPUQW?K~>PWrm~vW2O%Vc}c3Ya7gRj z>GbTRpe<7ZFr1deN6oR=!?;jXr?Wn*ciJyAlHGki1gmHEM>SR-q_89k&z*Mt2>c<7 zteP5Gtwe$v>A&i@e;RB}+L2FP6s)plTdkb1ZV&w{Jxk<~)t4G_>>eEL?d!qPwW8h` z+(|bN>Cf)XxpfZwQ00ibPbj)UyME4g`2;P7Dn7JNQ0LIB7};%eV3Jf!3%4x5XTUWx zFO&I$v;Sg&y3I`(RI{CO(IZoDsF!X9W>`sUDc*CClmL!1NoaI21fXpfg@N%8DbT7$ zAhK>G1mPaYJv5_l?1fiKodOCya^Yit`a@g)p%~7cMF<>g{Fl*Lh>z=12Aw*m6r_Y~ z_E+xdM_!JgZpP^r7K`^8jykR&%|;#Fm)uEf-9EhWocqDUd=VJf0?0je5W;V9%?PkqkNBZ-a z2TddGW{Zm_KRo412s&g1exO-~PGD zpCJ8G^1JKyKNg9GnX8z)N`MhtIY#!MCL0=%$9 zb7dSvUxg1|+*{ag`qgYVm(sK^*(tj{%L9~1qa1FJ%IGiedUK){f=L=B?7DktVewF`~sKr}7n9g8WS{l$aeja5#|xAaOeeKg<7UVjLAPZS~4c z5Si&oUfet{)Obe3yw5Nt*?PReTT?Yw$lvBEt`&Erj?K$jxKAwv1thrfnDcVIoOLlW z!ATB3Lc{>clkt93Q~Jy-X3((mOWt@^6#&A7(fUI%LODY+TwJg8R?|7`qP6Boeu&EZ8tleN45J>23a?zcOZ0u9aZP^Mc-6TgKBF>;^t-La5;sSi01WT z09oRTA%gE(Mt-5$sCCV;MVK~HJE15~Y+vs7$T)%Nr`^e?M@P2XGqT%BNX`sOAHgrP zphwvLk8^3?B%g^9zm{(#%P6`B?r~n^!Tz!aVc&90RP*1S>Xx^R9~v2U@jmGK+{eSE zIU-Tug0&7Z;f^;E1{zn#3Cab1o8A)ax<#k2Z))~DfRGU;A1uA%#pR5az6Rnv5vCV- z#^6S7c1y;gri|z{U{+vyMFYng!c-?NKsW7@JAh7;-a1x^QSBO_oNEw&n@xWsnE7!t zGV>LRJvMIs1eU=@2mYmJVXdS2Fk?0zY@-q2xke>^nw4##j~$XUIaO6ASv&r_)g})q zrLmfHzAX8k@I>b$>9~)jP#Fpu$Q9xW)V@b`qBzKxk`=sICr^Fbl<2VX>ywQfL9l0i1{z|CcI= zg{g*2J92Xe*?Kcpr=gjLdC`>nZ%@1HQ@vi2tehIpRT!`Q8{|>`ZOPZq0cRWCdhmhl|0w&8!D&VNcc zZu3gahUqEt8U%8v{yHG2Fj?{N3pmq-{-lc8T>2R0gnQg2xHOoT;7E@^yo^zcz8;sM zk6f_(WRSMRs3gLkpFe?()T+1N`}-Yz3xz_yqH^50`?4RoRGy?Rt^jYGR&~YOhg`RK zxb61Kx6sgaKSmEn_=!|bPMhh}tfo`e*17y~8klYq|8{|M*ZeF#AZ;e4hITXlx!Q>B zaU}nYCfvBxu#?gQNOk1~NMUiBPU?nP;;Tk8Fyj$di%nkTz4D!?sF?V3-aWqtl6cXb^=wz^f6C>*WDyE^RNgfpqjO5FszSm3pROtR4e;Su)p(Nh|ELNBib|A=xr2_NeU=9y5*9Q=|#ukH<|K%VsfGH9t@i%?@d4i8!GPdT!6| z8-xV%Vp3a^A$EZsTVwG)zUSXS0=ssQ+L}HY=SShRRm_}0{?s=ifpdi*r>EcczU%i8 zTy$k}Mn#1s-5!IL6@iSMsiS$2*JJMJI?wnWfn8T=2K#q;`n$QtJ-3cI&LJHTMMR-4 zm-iA8{Gvxxp2$ckcV2b1u&OY72lhP!@l+^}bz~X(eOzQruw-u-_DFp5P`piqS%CeB|A-99L zjNLVew-^X&mEN&Eg|c5jtS~6x6UrMMIBkl?S3!%K49gC<2NlB|Kxff{0W=FE{2HM1 zxKK=&=xZ+o--gEakXEZT>f(~pzF<7#9^uYxMD7Rgtli+xs&?nE4PzD+hJQGqp~Z8j zZo!Sp9epJ@ZvcvPS6 ziY;kVJ^VXA^eiEKb?g#m>4^X_Aj{lSjP8bSwP6Ed{1+B4Qz)npgWIB z_SY}$sy+M1X21=ijX<0c2^IjLa}glfY+}=A8VAJ^wshVk94>~WKkMRlUe3dbO0_Ij zfA@<)>^EkkkzwkLtK*G4^`Z8iGvC)}t;4MoUn&fFA6@*@Ec&x;F&(y!5rpM?`16Yk zy_}lSy-bZKwp6c(^rE!g6L2JSWLS<%6iVa|&Mq~Y?xXT_me+7=W5*+`H)@iU-bWQk?oPON!;PItBc&n9*d?nte6gSTpyH71&J#*z~q?R<3 zHSROZ6}>_j%S|iQTtMH(e?Z~%ce9BRu$(N9r<(;8Q!Qmh41Da4qh*fQ3uu94QhkT+ z!@YFmDi*H@I_N{)zw2FrSuPREMe9;86}cI7aK4G;czfr5iWleAwiV!VKND*fcB&|@ zykhEI+TAb8W_3#{f^utmM zqs2b#?%CAC{y30Yf4=1P*)`CjqRWrxTibl$DsWYcezfo>v%vpKtwe#2Xu@{kj_I}p z<-3m`a`3BsAy$MehmB&Oo?-jKF&3tcb3iVCP$ZERMfi-tTn`cXAd9^%AG4erJe4Nf z=f5-8T1qO!k1z!!UYpq0NuOYGyS;{SC*1uH1FLAjU0k*K9Nu z1wDqcM_&W+Z=2g{!|myOl*aaa9y(_0!;bIEf>Ej`iK}SElkX%;nHdF%o1E%bWy@+M zv+YZUhK$TPKgKi5JJWu@V2<)~oQ)dmy2QYr4<%^YPT1A^tMIF&i+%20w0#=7_RMbT z@M?Fm>z&SNG-829-(#S!-GqNcWCf-brh0Ghc*2>Pp>s`#Vo>86&@{P)(v-QI&OeL* z6YeKKIO?Icl)-#U_r!uU7az1905~@rH%{#fKl{4zE@k5#+8^0s@RK=mZhvo2)RDpIzqBdJinge$J}X5J`|D;=j$Zh4(9?@HlxiLdQJ}DGA&qKu@;q*#&(DHC?(JSqon2Ywo5Wzs z9%7gyHZ>@D4X|R`f-*>ftAOI>(*yG+WoyiD4c_2#!(&h2aEhwoiy^`Wt7Lc)%pfhwRAYiq*TUVA;7*)RH34}N zyQK|2W0yoXqKbFmQd|fn(3RLk_8FRN_kBPAtw&^-GL%oYh8<7gE4{XsKQk-=@b}{S zcjxAhR7vr=2$iRGV1?}O`fy3Ni=<<6`tR0BQuBwPPBw zOCZ69ySVr^%X|Bm&|!u-61#W&8gg3i2j#|A)0t7AZ{a0l>A1_4>5G~qnJEk}wyb$m z{#iwMO^~6LIRG{h=l!NJLm8PEve&?xyItaInY($$lb`W6>6YFs&gXI{BeS0QRdPD? zR9r8)Pf7f&Ji2WLRoRRU>TPFCCA$WVoh7Yv1=WO-_ZZVhX)4a9=a!(3+G0?HtrO?M zA3OF^b}fAT_Fk`&J3twKtKvxO`)?aHx9l3Krz{o6=KRPvko!WcaX5Xi_qEc|Lc)_3 ziX=~tnv;?zxp4*@cOF0Y8FshiK3MNK@+fE>Khyoj>6KGZnV!w^5!8-D$l!NRXHpTq z!+KxO8tEFp=65f6y`@PMB3CI`748)?wLJunA~kn-RQr^O^aZW)7w3pYpPjz{to&QV z{oPi_!YD&GW>C*D%22IK{WAPx&6C(QNr^|@1k9iF2P6hGX`{h|uJ*yDeH?wR5sh;U z?K}6qn8l|OIrKO5cm*{R`?eWZ%T8q@&;b*Ol<|DMIQb|#cT*!dxc2iT=LcZOFiugI z6zZnKaMMHb89^3?B>o|a{|G(wT_jm^kc>e7cA{F7G&KA}55yey;fcRvZCJ!|#0nBL zq+LBoM5Q3H=h5>XY;7it^|!gh-pJcE66d*L;k>hm5NAIMXdM_Liw?N^@^*S%9dUD^%w+7K{)J#=Zx3}S^F#zdM3FmBA}T zU%%3F{8a4Wmf)5JmczDP1U@E1f)2nczQ^b(m$Q-7%_FO!5?-gIpVqPmhOiMy8Kz@i zLlS8=`5m_y!{3MSBTvB(N1XNzyHSM>LYlX~8KKM-8mUQ&D4wKh@+8}f4T~Ld0{*+P zeE_s)9k#8&LjPW%(B~mS8!1*@VnuCJEhu8(2eb8N3GSsnx&cU95i*)jT3T(0z~xa1 zKDJ2X)CG~`rVPt`!%r*s9C2{)2bJ$R0o`2=9>rOGZ6?ek_8j%42d6L_XNa3R-lwY zr?z&=(P7>)>Bb6ar&xu9x6>cORBYNMhk-U9@>D)fHPD^UeJF6vHR(-h2#pT}7x>`V zgdAU{ABS!6WRjbXliOeug5sM^LeWRxBmf%v5=q7-)Rbp@zM>?Th(Q0)~m}F)=u_{X# zqcOA<7edGpp_??h1s;5_?7o!!_HYFycKG}XmQOc(Z{=NuA}DMgbWg8J5xudOH6;$GS>tEz$nlW}@Ki)a-3kjz)z1XZDpFp13z0lmH{l zN|^{&ANU2o2HBd&iYv&IEIwLzhYk{BV-r1nyiU+Wz=`t(gHt#CD2LX@PCPFQJW$#u zCc3he1a1=Yv7G)yEX{#%TX%yA`6V&rE8pbJthew+j71=W#Qa`I#P6Q~?tueT_5nM7 z*ZT%;Osl;r`c8ufzi9n$gYD;yp<=&}gz2t%Mj=?N8pOH;^tI2mnh-yW^K`2!lNpg4cFPLTTXb^3+SK9gN8g#hUB(~2 zNT`zJSYq617a$c9Jbar9y3D<54_obK-*Jq1ufW7ce9!LIf$3@Gj-U2vqq|s%BU33) zu6g`a#L{D23C>tphT`lC2iWdI1{fa)0eI91wiz@9B6N`M@4rOu?HQ5js#xJVnil(= z!`dDTX?P!cB~Wa9dP*R_q{*=9cfX=0p?xp_G5(xvEPmS4d8UT*(Q+e&XqMh4_5K%G1# zb78R1xbJoef+Uej^SjBdB%F8Cj}%BBedfetjhcgGxWZ4SC#77`y`NXhX}IfPFDV&7Yw2wgS&acT=?f_Tu0(ZxHZ13{5M1{U$(%l!1ty+lJ@2zgDI4a*PViA9K`S-l(DG z4FZHW6r3+_s2N-*w&g}@qmlVt9loGujfd!d2!#E8FK>rSV_iTgXJBpO+h_Mdi5{8L zW%j?#QGD{}F%8ZbWduYIM57GAlbasv7;bqDT%`eCc(m(IK5Aoo^US{VOB12%^|8om zEr0z-G!Hih#phNYahb`x^y?Sx4!AGFMjbEj8tbnmcFx}# zZFp>a##JwEFx~mUpYc^>DGOOUyZ=LoaKAf~9V~ZaeAhl_^EBbUaN^tDmwKP7fF5FC z0AM_&!D^lK;4ns7oK7cp*yP_f^n8Yxcu)=)JemRI+!TexKySOda_{JLc}+t9+5G=! z@BiCBtv>&yZ7ARZZ4vPVvd*SE88j}MCrr5^ z2sPKM?W^Ls!aY;gSJ8bx&DkCL=b}7lH)#H{Pqwun=`aiz!_z~gRv?z=89U!NMunpr zn_n8I=`wB)=CB>WF&gUD10+VKy9O?#{`OEVVYHvopyiB93=TPU0sjnx;b!a6WfI3x%X zOtu7D3+UvDWkhLL-0P}m8Xo#W9=S8k^%+sdKOmffFA)dmMSN?0*yeup%AVfvIJUHP8@}aKY_2C%x zGk0D>MkzO|qK6S%dPDW5WrTxcY;a2pr|+;^iIou;d5Lkc5wT5G+TPy2z-SQe{V(%* z&e3}stU}^74oXhQBEkRl$IaNd%sncP!A>_h zvf*LR<+v^M>SYR<9Qo_IPm6d@u_SsJB_z5R&SjXpC}4BR#`4 zKCV+f5>j@6@(n)2l6>PpritUBiKeuLJoh*-vSD^VtQ^ntrm{U+dxH@Re2NhOK%V#Z zo=yH=)<;%Yy6laA2l$u&CJ`C^-ldsAe@*LD)_}Fh^1DJ!`rK&Thx@H}iMZ{&SIicp zFgBf|M)@v-#9+IdztA^lR4i|I53{<>3hNtpcSHzI<7&Q-BPZzXKP;X-=hAH|tr*=| zsc41=?2SLM5BBKzILRLIZE?{bB*wHBmvF~r1TF@#Y{1uGHQN#XnA)s<#u>Amg;7Oq ztMuoHMPlHXn71Eu<2#J#pt<5P(so`FQX!DQUv>3;lVrx7+QXc+L_sa#F?yroQqQ|I2Vw*r?V~M;_@=b)H+DJ2}wJ zYF<|dLO&NnyGa#06&X)OfAk?kG)8l5><8P z#Fg%a_!B>{^f;7w|M?|7_0@WB1;_W78aPmF-qK%iS%LOxCp{~=8~O&tfz>w4H{rfR3Pe^DTVw7M%3?_iAGDR zT;34~$v74OS9ZIu0T#?U4~@vtqL`sae*H@+j54!!7X~S*<`P}WhV~|tgNz%zrI>sE Ln$UmzUr+rXG$AF* diff --git a/logic_diagram/logic_diagram.tex b/logic_diagram/logic_diagram.tex index 43249c4..9d236f2 100644 --- a/logic_diagram/logic_diagram.tex +++ b/logic_diagram/logic_diagram.tex @@ -128,7 +128,7 @@ All features may be labelled, and the labels must be unique within a diagram, ho %Regions defined by contours are used to represent given conjunctive logical conditions. Test~cases are marked by asterisks. The asterisk is used rather than a point, because is analogous to the constraint -diagram universal qualifier~\cite{uconstraintd}. These are used as a visual `anchor' +diagram universal qualifier~\cite{howse:spider}. These are used as a visual `anchor' to mark a logical condition, the logical condition being defined by the contours that enclose the region on which the test~case has been placed. The contours that enclose represent conjunction. @@ -169,7 +169,7 @@ Definitions of concrete and abstract PLD's follow. Well-formedness conditions for PLD's are separated from this definition, because of practical differences between the way they are used to represent software as opposed to representing electronics and mechanical systems. -The concrete definitions for PLD's and Spider Diagrams\cite{howse:sd} share many common features. +The concrete definitions for PLD's and Spider Diagrams~\cite{howse:spider} share many common features. \subsection{Concrete PLD Definition} @@ -178,12 +178,14 @@ A concrete {\em Propositional logic diagram} is a set of labelled {\em contours} (closed curves) in the plane (examples of closed curves a,b,c are shown in figure \ref{fig:examplepld}). The minimal regions formed by the closed curves can by occupied by `test cases' (represented by asterisks). -The example diagram in figure \ref{fig:examplepld} has fournumbered test~cases, TC1, TC2, TC3 and TC4. -The `test cases' may be joined by joining lines. The example diagram (figure \ref{fig:examplepld}) shows two joining lines -R1 and R2. +The example diagram in figure \ref{fig:examplepld} has fournumbered test~cases, TC1, TC2, TC3, TC4 and TC4. +The `test cases' may be joined by joining lines. The example diagram (figure \ref{fig:examplepld}) shows three joining lines +R1, R2 and R3. A group of `test cases' connected by joining lines -is defined as a `test case disjunction' or Spider. -Spiders may be labelled. +is defined as a `test case disjunction' or symptomatically merged group (SMG). +This is the analog of a `spider' in constraint diagrams~\cite{howse:spider}. +Joining lines R2 and R3 form a Spider, or symptomatically merged group (SMG). +%SMGs may be labelled. %To differentiate these from common Euler diagram notation (normally used to represent set theory) %the curves are drawn using dotted and dashed lines. @@ -297,7 +299,7 @@ Test~cases on the concrete diagram pair-wise connected by a `joining line' The graph formed by test~cases connected by joining lines is called an $SMG$. %A collection of test cases connected by joining lines, is an Symptom Merged Group, $SMG$ %or `test case disjunction'. -The $SMG$ is the analog of the Spider in spider/constraint diagrams\ref{howse:sd}. +The $SMG$ is the analog of the Spider in spider/constraint diagrams\ref{howse:spider}. An $SMG$ can be considered to be a collection of test~cases. {