From e401fafafcade7c5ef400941c3487befdc9d649f Mon Sep 17 00:00:00 2001 From: Your Name Date: Tue, 20 Mar 2012 19:31:33 +0000 Subject: [PATCH] . --- .../CH5_Examples/blockdiagramcircuit2.dia | Bin 0 -> 1457 bytes .../bubba_oscillator_block_diagram.dia | Bin 0 -> 2524 bytes submission_thesis/CH5_Examples/circuit1_dag.dia | Bin 0 -> 4526 bytes submission_thesis/CH5_Examples/circuit2h.dia | Bin 0 -> 3985 bytes submission_thesis/CH5_Examples/dubsim1.dia | Bin 0 -> 2630 bytes submission_thesis/CH5_Examples/invamp.dia | Bin 0 -> 1683 bytes .../CH5_Examples/poss1finalbubba.dia | Bin 0 -> 2299 bytes .../CH5_Examples/poss2finalbubba.dia | Bin 0 -> 3572 bytes .../CH5_Examples/shared_component.dia | Bin 0 -> 2474 bytes submission_thesis/CH5_Examples/three_tree.dia | Bin 0 -> 7152 bytes 10 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 submission_thesis/CH5_Examples/blockdiagramcircuit2.dia create mode 100644 submission_thesis/CH5_Examples/bubba_oscillator_block_diagram.dia create mode 100644 submission_thesis/CH5_Examples/circuit1_dag.dia create mode 100644 submission_thesis/CH5_Examples/circuit2h.dia create mode 100644 submission_thesis/CH5_Examples/dubsim1.dia create mode 100644 submission_thesis/CH5_Examples/invamp.dia create mode 100644 submission_thesis/CH5_Examples/poss1finalbubba.dia create mode 100644 submission_thesis/CH5_Examples/poss2finalbubba.dia create mode 100644 submission_thesis/CH5_Examples/shared_component.dia create mode 100644 submission_thesis/CH5_Examples/three_tree.dia diff --git a/submission_thesis/CH5_Examples/blockdiagramcircuit2.dia b/submission_thesis/CH5_Examples/blockdiagramcircuit2.dia new file mode 100644 index 0000000000000000000000000000000000000000..f1f67f20b238b4756d93221ffd326bff919a9a90 GIT binary patch literal 1457 zcmV;i1y1@OiwFP!000021MOQ~Z{j!`LzUF}M<(#$?1LtMy? zNl;=+dD-8-cA%w%qznZL)5BbQ_bSWdG#UB`K;KizB#q)^ zI`sek_Un7@f4c2`jAHr0{!TMF_v|N<+`St5Gh-GX`u){v1@ts>>82yuz)h04lq=ZiFtt%+GL4oqtNxWCVAwpO_{N~X8( zexdI+L)xC$`KlUdEr^-RY#JwrICgIIW+E`)7-KsbOmG218luNJIUjEPws87w;j*`d zi}TSU%}gd^a|k(3Q>|pOK{eS@U5=Aaq_!#cQdkY5xQmTRkBt9L>im=dHm9H1b}nJ;j|`*_1_*m$d5 z9wM%oV&^Xp(`6i~{79PZ+thfPZO!_}X1#28>cnhLl@{v)Ld&(vw(dXgmT7N$fwzj| z$%%>YA74G2lXU!#nwV{{UyV#6nMK}v?{oU#?`jZRfyB|!{{r_Xs~nznW_9pjwifAA zN(CTbHzB~RJOzgWQU@>|m;Glp0+~#;dctrJ1B5Nk4MG52h^Dlfk0xoB999Ug7g7OI zNXcPXk21mlWAOPAHo%&xcseunUd;Mve7l~h=Q9E1v4Oo z%i*9!qBs!hK+u37z{CxLKm=_PrD<3lQLdIK-_(P7#uT(=3Teue(26~~5dgMYcx_NP zpp*^lauVPIQv{cS8aEq9HX0?Hx~p1rX7=n#O&sLq#w+rx_h-8D{*rm_-No9dtfsm1 z!j7nJdz~hxY6$MUcPHnuUfYq%B=_xD)~=$3UtuR*E4O08Am{h`(#P9m>Yh?b|VXf3R0^*Ygd z8_}xH)K0aoP_U=V;15$aGWLzrI%JV}#eq>`wJ5OORedJohMq^Z1f9Or6Ni8`g*ei6KN-R0mCatu zvHW1dAK&q2mX&U)uvLLci<|S_?%ko!51%q9Iei`O^TyoA08`=kfhY{x+(KC-Bm{CA z5HQ3B?v^CS$Y}r$1ZrCY>f)@tS4u-joMdo8XeR}o6r3al@Te3Vml5=1WJEM>!dP-6 zw|YWCTYYrG0>K~*Tx5i?Cj>Qq{L?*U#)Xpxfp8eM zs6-Bla97AsPH;FNfh{eH+5%C^S<8h?ZJZURZj8LEV7dzCtP18wRUwTZY$e1l1+2{? z#3BTCvB5AH5DElg)G~}=Lio>Li+ov{?iS746($GC*wrOJv@Y4aF2444+uQqI*lq7W LqZLF+J3asah{4Ml literal 0 HcmV?d00001 diff --git a/submission_thesis/CH5_Examples/bubba_oscillator_block_diagram.dia b/submission_thesis/CH5_Examples/bubba_oscillator_block_diagram.dia new file mode 100644 index 0000000000000000000000000000000000000000..a14e27eb4a69c4caa090e35123a04af478bec960 GIT binary patch literal 2524 zcmV<22_yC&iwFP!000021MOW~Z{s!=exF}qcwRF!@0YqsF|)v+1$Ns4(=PfJ$hO8& zD@%r~B$Jo@?Mq6^B(|tnmP9)jdN2vB(EN00o{!%-q{ttC`nHNkH(|Dk(&T)M0346P zWS%afWO+XR^N-ITkX!N*(MUV&PT6HzZ^DLTO=iw*`R^j=07R>)yX6bdZ7?-80 za`QA!v(ZfupO4>vEneeERn26po+s*F2g`7lg~30~RYUz!s!P@DFx#zmwN5vYE|TA^ zYegFBF+U%bsY-2hp=5dS{v&-~-cohpp)T8vHiG1DIbhhbT<|=Eyb5#3Hw25YMXuJC; z$p@?cZkXzKzny};A3ol*HSQij+a2IA(^`9Pw=~49sSBx_X=6Q5;|L#$nq_e-nd0rX&B@dECkS#_ZMxWAe z;|C3*6-cx=AO8lo8*A4*U76;=T5GM-?_Ej)&dvx>yDd=XkEZ%(v)$@5Z9tGLksLoTph*7YKt{RA3ZDQn%`!L^yy9K7NTFSXW`Ryvm!wFi_hs z-VJP)W{WV}XBq^kvI$WI5#k8)D<2lr+l2nc3p3~-kObPoctCLtioH-fwbCi>;q|9@1BpG^O2<^dP;f@ zlw{P_dJFilu!!u759=&d?;e=y!K#Q{x<~ajuClY0fig%_th8>TJpk=7k{jc!u~N;k zb2_qNsy2rHzqPkF0E+ zKDucdItX7d?YVk1(PN5x!YHt`Yf(1E0tl{gDenVp7cYAy&LJXaN9O$c%cnm-e{PgH zPY#dmrA}|L)8#&_g6D9_(*?RNds_F@Zh$uR(^CI*fosx0`&7`=YRj&K4$k54s-dU! z&;g`YUU?*n1`$bYAkveZo#_yZ<72R%L$IVvBg^FL}Mx zMlUsWRj-%clwLw;kT_8RUe1*f;XY1On(9h0JjDbcGc8AskYF0bNH3YZWO^l%2@f(Y z2LUm0J0d`F_tSC@Xhcpi1{9SuEM7Hv)zoHEuBo?r+4Qz#(;$n!jg%-A1wDdn!T^`D ziQ*}$CYKq2;t0xV5Ig;PCcmEPl_;k{mVoOqsE9}OP(KR@TyQX93@)Kk4!dQoDjiRC_KbDK00efK-z zK*+M&5SKfiaIHAZ>%rG-i_s2BA6bhJGS=0P3;@L|I6q~J8d-x_eM(Q`G1AY`dWyf)7_LP;7V}KEeaAzOs<*=K{PVc{a!id zmPR|RPn;0W48LH+Wk=G}em7t5-j8h))3R6_`3HLnWdE_7-5j}W> zIOY+1oP&FBC5<^KMqY$n?kuZOsHD<7%PP6VQ$kD{M*@f$My?6OW}#&rFVVMHtOD=4 zS@Uy>as;B3Bg8P}To9r>sho;bNDop`ry-TzTUGb>rFN_$0aBD|7%BB{^Xvvh9Gls6 zGY{jKSL{Yw_(zuOg*4@L-9z6qi)WTPv#1`-!cG(R;NJUCn=QRCD!hq1RV)}NDGMM5 zg${Z&u0Y&y3*w5n)+}}_Ed>dHN~xkGK|XcjIpi=7>63y*=tLw!dgoxxlTVZzuQBrg zE_1K~Kt_l`qLlDy`Rr5itOSCLy3WBi*=fzeBF+lR5nLfpB%VkPo6JFdnB+v+6FS6X zPPr6QQ08=+SZfcd%uFpdk&eNYuu>yOn8>l%=wizJ`NTO0aETD6l4HU24}v_koQzuf zq)-q$4Yjbo)S^J4>Rqym(m{rjq7WxoDZ?sEK&=4;AdX&P&|F~ zLKwy;dH=j-v6r|*mn7IM*5Ji%=~$5|(Xw1XQMe=}?o*mO_F0Muvrk0#<3OK}M*_+P z!h$2tB`372j`A)#=s9)07j7c6P~fa=>uMdc3ywdo?$jq}_Fnm^hfZFoS*M5iRw%_mz7&}i76$TVoaXz* z^V0En$=V$~HN8Y?QUjds%g+eFZqN4RXF9lm7;#s}|*v#Zf`^5jqn zd3Z3KoKDY1lk+EszyJ21ul?b7Pal1IHX3{r|2>}#E)L>POs?qFlf$?3`Qhfg0J9NfIX*93^xqrrS-$HkzG-s)^sDdjtHmuXzw!B6 zZ8y5n$oyh3J0DHf?ZnS!y!aqMcmRkWh6z4MhfZC8CcB$E>DJu1TXVB+&5f>(FQ>El zY%rRyn>?9L$HT#7VRb%xH{9RO)#+dyC3e@aGDh)cG@nnuaQ|-xVplj!~V z$1~NixZ1|Y!gUR`L z_{j()BS$DOnzO?0XKgqhUL2oJXOnd|q2QR3l?0UaaeaPZ0fw7jD#O;>;pqJB{4Qf! z-uiO;89SNI&W5w&+cUUj4yytE^937=Z!RR8rD2t?VHtnlQUqQNOGrkdhIKTjh33_8 z-k7R}JJm20;BceVzFgc^!G>%YLl|z9&J))*7|s|{6>z5l)&&G?8ZQ*D8xbwYB;TlH z8UM?y-;5De{dTHf%+;@Q!Z(UlztKc|rYlk~$f#w_Ea1E$RRMP@U{gTAE-rdlo#1H0 z(#k4C0XL4<1I`>zl`n&Qe;fWazoA{V)UGYz{krIwGCL1e1b1YF^bx~R$?<>t8JyF{ z@P(k;%6m4&kkc;3t@o{LX#Ap%U%md}=MB3WcZ32r#g(U%d7C}@{=u8U#c2F7-qv7p zb$DbNT|h+J|B+X59g!P!OhUx?su>@QCcR86#n*Pk(g)nw*I!$;68R%r{z{t zb00&4@#uVVF>L>34kzy}mLKGnR$619yUmLC>6TXK#phemov_GdKS!g}gq+XNc>U=4 zK?D)R=bO?!q0q0-U;Xl1#Sk}!R^(S1)I$dOe18ZUg~GA=L&=094k>bo;tSso7D4rh zI`W8CRaj}%LmGvAk0?+eA6T8DKmlD#G}2^D_XS1OE$YZETGe1>Q4d+9WPvcJq-`1G z4RcD05P3*}`ee`a0!Xi)spFTg{-``+=h3exAIZGqjYn<)-$PP@rQS_kqys;>R)63QSY0J&u<)Y)LfMB= zXUButZ2DodvLW-z$K&DT{H{%QDNL@3FKpv)ZGq$!RUGHs)!GMs{Wk}1<1Af1I_A@q zVt?@YZ=W3cHLbP$tXlpoZv5G6X06;%A&%&Lj%e*|h?7PK#fuSe&eQDFT3SaKaRF_d z*dau)uw$fsn5`7C-s*T?Uiu1=3X$C)qB0<2?g=7T03t?79aqWDdZ&0P;xYI*k1Z;d zC=v`M3ww>O1BkQ_vppjd2{%qF2$dq0B0Et;_s|tF1t=neghs`chIfINBB&7>E6{=o zX-R|HlVxo*|B`0IINO&rNa>8mf~pj$6xoR)@PK`hJ5GrfNHV4qoZ1Mbd3Um1vLZd5 z6eWvJpl3cSnm4eTE8p#bXICIUjDF)%1kal??-o{cl(HdXsv7QA!vzxLe1w*doa8 zf5>jgrWkF3Vvg1{aq4*9^41F@;Et~U7B$?>R*9;dd8vP^K2oxbKs|RiKS(x`Ktb`#)AKemsq)-X zo&}msn)o!OXDX{a7dFzCJM3Kud|QF$ji?H=q(BRFl8nDiBX|!6VzQAk`AIx(@5Rm5 z63rM>6=+F;mgy9UmYbj|*@yy#20b@H^F~w!T2i1`qWcC0p_%n*k`WT9X^h&pp!L>H zXwHzTKuZeL6sTkoB?GKA(18r3EOgZvWN)>bHJ~cblJc}g9`MGnmc*v#do%$iJ>ZSY zL)&&w`2B}e1zKu5M!O>LRG$0sPDZHm@KG{`z1WL+@o#nf^7!}Hbx($WPi9?&bx)>; zM|gCB0yu%fZ@eYRq6I}gM^OZwf_?pHJGubUvwEhmi~d@-Raj}%M;aCB^#_L6IZ8G# z`9^eFhwSyoKl=IAtLh(h((Z3Xh80LX1QHfV2cW$sFN|T|&~hR;+R*ZlEZY98*(#Ab zSh20^up+6CNGed8%F<>Ea~Ww%+m>dz!ye6n?FWvahLF0d0<)^Z%A-E=2uiHk40{on zK%3NrBk$8*T|dgeEO=BSNZl;iOf3V`e;(-~h4PHy1`-*;&qOjkB2o<^byg>DMTZqh zeMAzL$(Zs&YVJ*c;{>LxDT*RRi>g1%wu+=~_Wf6MSdr96BxNUYel3M=kkdt4Sa7uO zzckj9ZU4$4ZVs)9uR^Gg5V8dzMA7B=Kr*}_A}f(Z?&y<6Rm)RU6m61V#Zf=&Q(%62 zHd0?>&Q%%}yrLe@<_IjgJ9goLQZj zL#h%jDbY|!qSPajS)$RzQleHs2NK(DninOFiRRNLe)NhwrqNxk2GfAX|ia9e^Qpp=u6=_M4LJ^T7aIcpjbx+4nB1P^M zQ{J$uNJ|A6jV_>2*96{D0AwOERD!fel*F$jMw95Y_76Y6`16b7?|*uI{PNWwHPpzy z`?@B^8fWa`wuiwI&&{}^)BG_KvpI0(nzVL-j3V?1O*LVy6ELl*v4W|OV9GD+rW+ld7~X&wnNWTK zC8;6M>tOl-rDt^=*Bz8rl~|F~MvF7UddO(n(A(DJ zSNRJf(!w^>?H;}2Jf)QV0Bf=9>55fsu%sVUD=qI5^mDMpa#Y@$XV zm_f2}ob4OJ$~d}FWsR;NsUX=2BwA;X#Hf2B3FMQ6n(bQN^I25fCAeru3ADi`ZzMoE z2V>N}6=rsT$odf59TBgQ?$KIpD?chfcH#$w+X%p}5TFY<6IPM(LwvM*&Ff4AtyDuh z)S!_#pnQC0ljUG7zcbN3&h`Uz-cypa1Z67>DhzgXCS)JO8<BSvgaoD}W}BiV_w zT6hyAQo{zPS&L$8;k>s<^;ZzRNgM&E$g#}bMg>wTCHajboj{ezn3SP4IpC&shRb~j$A<;n~Sv53kIjb5K7~WQujRau0`K35Z z9Z{U;=9l|B73gxZfTVSl8mQ<6GfNum!j4XorXW3q*fh7KbB9+Y-L0fm0ZG&OTPbAV zhO|#+FbUd3n?N2Fvz{}@R^{AXbvg$Hv}{r`l?G-lo8)0QY7M4@G|Ln&3q5Fo@oem>)fEbiWrr9?~v7qyi*MQfnd!AeHo{rg?$8uEEA}wr_%KpV}Y3>fZr!+A7?8`B5X9> zm_!vSNh(QpBZ8+a+=jPewukU^P55k-dMYwdv_Bdx=1 z#|SD%_eqr;Dn}|ucH@YA$m^QT`J`SI=;0Bpp{*1v4R05Z2oSPkOzLDTRoXYS%)N~B zhgbU7rr##A=07aWP82Rn=jCELpS?W>LXSuJ z?0kMPon5^>{`a5n-{|8X-yQvMG0ncWf3M2yW@P`zY~fzLJ-)80+wV_K9v&V@@wmvU zc}a@t9a-cj|I3OZJF$aKj^7=PMlUD0$g0e}*SwomRXIJotMbt-yUE`kpJnI&y(;H- zvy0<;R5R{;Ud+qUeOA0Z{_fI$9iKGQoGi`rg}HCDtNg6Yv;VeFP3@O4`%HbCm#fp> z+|CzMJEVHNT^rIekNf^&Ofza>2hFbDefKy1UA?5{jpw;S3vDG*-DKs}bhb{%KAWO` z5J)s4+J_;GHdJv1PtRm`a%YDnR~(jHd02AO#p&(5tjcU!t&=>P&x<^p)l{qUF5jQd z;yf!Xi+yQZ9d>a!t*ZHk^cumepZzC4 zubR#NQDw7>th^Y#8T~Z>bo^|CSPNu&@%H#Py8N(Kw`V7_IJow-Zs(s_$`Cz9T;2aV zdbG`ccD6csX_uePu8RDLfD&T_V#EYEF?@`S7%BFnm>2oY>G`~zt(yov?a5Q{K(fBC zClC>Y8v5c3WCvQ;`Sj|#YA0r&9B}jE3-%*+HZL#o@^o2p1F{R5`?DX7#r6E*G+>%; z*1KVhIC&O`EhOa6{8RNpM4%B7=qe&W3FVfDkw~FLL{WJrM3u7Q!iaXV!-z0@lC9h$ z*`OI##bR`HOcWy3ClnFy}thRFF-CMfrQNvoprycBj2sKV~rT#Zo@5OEdy7zGi^ z0TgdU>Fc&Ml`1&zTcwk=YM{?x|WcaV3$b?`{Bnu z9@xitnw91Jp`D?zmBfbA;nox!YgrDqqPAFj;7|WDy0*gURE9MX zs<}V#kDmYa?Xh0>T&zsm4+QYe5P*bBDxH8Jauf3uWsgsW84m-3$%%cf1UH_tQam;c zwCyuElo|Qt5Mc=l5)`~DC861knNt#`#GU}UFn>*c4;eZlJjw1JYLOb0pU@bF8S8QCv1<6krKK8&Fq@^v zW4WIfR>vkR--ok-_RZQfK5JVt9I157t?h}}@`B`AdN4#Vhh^?f3~LuB?9syuB3Eql z;6@U(NZkEpVBa-zrjO7WuB{oN2_i-go$-W}<=&I$0W)gj2kVsIedrHU72ZmbP(2gZB!C zrM7oBv^}@=LhP>_0^2=;L)$~im=PH_0Jfn*jg=HZlpJ#+0mTqB_ih2>G$aRJ;bX?xerjecaJ(z#JC$QhzVNCo;>|EnFTH8 zSP%K$fo@wW_-@{3p@JW$JSLEwFnbi0IvJ*!CK356Y~h-9OXu%^9~vN z)7=6o;LK}V3bCU{TlX3EsQU}reNByTIRwUjP+uc95>yZ8YqmEcgPJu1T|R$-zvK0gyUhuDcGZTk$npOnkbCdXbbg@~Mhy!#o%Wqn*2rGUE%(AfwTfwcGX?9BMpDxw}0I z2@Db#3mlP4rZy zF%Y6|aeDtUjVL0Y729mz&hc>Q@+y2%Puw()Co&wYa>2Ssj=NUElx&u4;O!YRS-`Ks z0`8+AA?u}V8#`=8LR_jy$PQeQknK>B5O=6Zh^ZoBuN4Uy^v&7_s7T0`D-yCpS0rRR zR3v1(R3v1nB4MVv6p^7N}3M8;Ucq3B29 zb@od@G(;fcJpd8OTnqeJf`*`I5?OKIUTxdQrMB%e=x+nrB(fsc zDKhmh7@69Wc=i$d2E0kRWKzWqexs^MEoBm%_ne~f2_#5m>~`R-`wR{>qDd`9nOcG; z@!VTHRS%IYE_BIj6&^Le%Thu^(Tk_Mqo-B~>ReB1qE~@v-DYs83w$I>D#+vj?l&LO563@NGvvX`4 zWA;c^rwUS~Vm9k`;#jLrQ3p>;)g(l66#C`pTNjCpVvf1Lv=ClX5 zknndJky9E(Ef|xhUzJXGYRO3*=D*~j9-xPscdxF7R)c~Z8<(;nqqZhOA{dIXMI=q7 za-|k2)|53@(Mv71?K4;#-k_4MGa@%Cm0C=-6Lw3c5wb%v4dBFs!>dXmNnbY@uz2yMZI~4OS^*2}Tl(?AA6$4G~6I4|j3~scvek zVBA7Z&a3FW?n*OvV{WvOUa%Q6@vr2<+YDB6Qh>(WBMehfw*(|RCijZh3?$*g5uEqX zN}Y@Gn=U;aw{54+JsGWhM|CrP0|fV`xph?~z=;tq<6{#Ntt~V)6lDq_Nl+BzzJx>rL?Y2SoJ|m)TBIYw zP(uQ7A_*8DykrJZAmW#wQ=9YXV6@JF35kYREL?OBW|PD<6ktR}jXx2-4Tq%y)+DkA z{xJwk5u;xCbl%xE*FBPOx>PEh#jO<1)yv)=I$ihdbloGcyWZA7>r{MuqU2FUMscZ( zlN2eWoETS2Mf)sczIQQ~t?zwW_qje)+mj9`)`)ZpwMd~BJGITSD(tI-U5UplZR?Lt)zT1rByRFc48$2jl~x8%`* zq|F(?yW8L{0~$CH7}YV^&|%h$bgoG&*61y9J^=UR+1=%3Ugj60V*W6?%@&KJ%V|;N zWvb5>-Br-Sp2=S@M9*dCfH$k+U1>)oaqm!SDnMM;+Y?2Wa&Z$NwXtA=qXD`vJC~!= zgd3Nj8r6GgiSRlLc4Cbu*A&ggxyJNecHLI$TKwu=mwm+Iie6$A-J#uu)H%oe0eT{7 z-v%7&mPiiDT}vcjhiQq_zSoct8pBr@Se9BM^$~q5bl;qPfR;$$DwMjG zNZ?x{IW6H@B3bH(X^GUn-Jnwsd`l$Qq9u|WZ0dJT1`AS)&(#sGb)5_+fuM1^a$j&W-MQGaDDaq^iU rOD)3^AhmE{0;8`AM)m6=d(6vsNA(N)_o~cp-W~lP(a=;=()0iTDvz$_ literal 0 HcmV?d00001 diff --git a/submission_thesis/CH5_Examples/dubsim1.dia b/submission_thesis/CH5_Examples/dubsim1.dia new file mode 100644 index 0000000000000000000000000000000000000000..20163df20d63ce24a665ec2b59792448c168e4aa GIT binary patch literal 2630 zcmV-M3c2+kiwFP!000021MQt#Z{s!=$KU5u7@oI9%J6=vn-tr@&hEnk`_S&QA=?^9 zTSW?FC7HbJXD=^u9NSW2TcQ)T^dJM+VfYv6bACD`52>Gi{(hT}9@1)+mBrN<0XQC| z#k^c(#qw(W-`~FeAjdynfBI>WB|qw)WtH5H^j{P!^X_VVQ`dJtUS2*vK7#ydmDFVg z^6Vb0(#!uRd7fPALYL#~PovSx3KmJ7n9rI|le(_5*?pakisUxE8qbpX@5`#ZFBW50 zswp=w^RgN}B>C0&^Edk%UpCcTZq@Tj-FL|{omFY_dw11Pzmz(q>btbst@ie=TxGgQ z{dBiiq@y15|BEtBsg*8NEU!QRoql$g)O@h1tL;KNMe5t6T4u$*j_#Y>bp!?yW2`%a zDXE~K0@&i!z{4)=9BQs>SGs z(J$rq@g@e*5lFVU8vh4wch+w6bY+@@d%bm6KARK+>_P#>c6(r-A6@m&X1mo_x&cYC z%+s|5wHgy7fx18n;M2s?JiVRH%c|Iq4+d+H)vz4dZ`3nG2p|l;c%dFzH)*!Ksk_B= zZ^13C6UAm_wMeV!w&S+AE=tV5(==8$<>Ry^GJX5D+m49KjX#|1AgHf{UeoMdCFT4dc-h%sj3%|e&NS}8TtAH6s#!na% z>H>2BF`=hv)}|xgh@E!IbbXnR^<_%BenIy>>liM-5@U7^ zSjwVq>jCrm=v#7|J?cU@vLcQ8$-DhQ;H* zvm$K?CP-gAiVI9V;}Ix=rLfThgk+-c?ocvibQKaO-Vf(xQB2cfVOw%k`}T|I5Qj*P z>^K0z6C)4(z0dD>1)+7a()^V_Sj+#kB{R6307)4r~cbhjXE9Yi2S zJt9CWQO1bzFeoLTARXs3Y!M&?m!1*O+0K@t2vEc<3eaXXA(9}H;3JcO^`24S+8-%0 z9zvB=K4%p;V2V2uFhwU==*X8)qs$oRo=MQz&X%GAFah112Uk3zAfn(X6rlG(0q=_f zf^@X39n{<`A@>;+U}aWU?YIDPOeR`cAtkLcKlSE&FbX=`*@6N+V&PCa6i5_N5K-`< zQ1FjD&+b-jG!VTfPk}ajtZ$lL=LZC{A`=8J5bw88_T~~p&lVlBz(4@nT3^6E7Z@nO z>;o(*3}&*jugOZF!%6)O3*pgbCD5Z+BZAFX*4VEA(CgAz-)0?VxP++}FQz`S;l9aq zv|e+g3L?Z2{&Ot7?W9-vbw|~Ek_k74D}Bx{;k7@q31Vx1q(1$zZ@Z53N6Da)k_xZ> zh}27e!8Cg3NB2(DJJ|~9uiZvpQuvJVjEq&m+Cha0!303UYoOP^Wrw*a-_Gx#@s|0Q zaLSH!71TSsO91M|L)fQ7HYx~kF_A!WBS=p6lyj!6%%>=c*&)8OLt3pcW{7;`43RD( z_0FJEHYw8p!XuCx5!4K+p`E3nBn%?qStOEgBDGmz1X74VA_L4RC}#`Q@1%lqNRkkv zi5^c7CG0E%6CvdG>Od)C$vc)>Z835wL@xDDsAB*N|6FQRG?#R!!~wU1Hx^2$6bEnq znbc;7kx3ykiS=K>S6G_@)j^BrB!44A%*}8j0aV8Rn8~{hfJ%S+^z~O1vE+TnQL8CN zE``V?-ak!)DQgVeYnnzQVv=ws3JA$4wOk5f1ZTK}BbR)0sm&B4l|rPF7+^~j#Ksh) z*Yii7We8%E<_!aogb*x69(fRX1u>5mk#q(m?VDjl(nm&8_jX&{J98ald#F0X!0Uif%P^Oej3(xk zUn9u@^}64-f79aGD!%QvcZM_85x8{w0)58&Mus>UY>o)D#>@fp`|yF@ZHs5D#0}%8 zxMlzIJLTGReQwb-Dveh%b6VfpE4`kx(z|K#pq1#N{av(ozNAwmfau+A@p-QOlWuk#xjV$$9wn3(aKO*Vn?*p-N-*KIL^DMT>g z0TMXO2`CgGzv&xBgy<;Aq#tqAP$`)GDsgYGe=4;YVq{W?Od-^RTj@(iAd_U!$_rI_R(SbKKtkh9pDMv(C#Srn-}g>bYLb-S}o>HU?yW=7Ag3e zB}N8@7?}-`S1gD-Kok32^0P8T4+$nFlMo6ks#qvoif68zW67_@79*HK1QQ=%(NDOY z-puc+pH(rZL77EA#oZxwG#xm;Vj?R7=?p+>vBHR?5Rs$? zNO>S8E06ijc)-$}0|kMCZigRnPgjq}Kt&+6+F+znfHb18|MU2u89_m>>FUoS1W(K| zpL<+r82MLU{~2>a&+sU|eJhMW3K2*{q^g^z4M8A;-%NF5Fx5lg@b);P1!%H0=US3L{K0hvE?>@}(C{3;g1mS@fCX;j; zC9|u+-(P?Jpa!3>FFsA9;3NFZvS8uCH8x=+RO8akvINv9L z>hkkwd+W%ZWzqEIfxBhV;^iTl7W11&N8MF#uiYL*=b?dYGzEgyQYf!|X1ahWRTr+qP-(G_TEuul0J&`=#zB(PdF*+VE-zDWEx~s?}PV88n0$)GFay!kcC9ktHJMh zyTh6xfuM*rkssVU&-E zLPRJZkh#w_Jq&pX{c=+Vb3lkzLoA?$>_sDGjMQNb&gbdFjU|73eR8r7q~V%1d(h~& zC#bL;kG)Zp4WcoUd>`~fiWULNr zO>(!GESrt6%>jMz;Y<2xp#$wq2abe)$&g~sB}EXxk!DxVW=htX_aw1Z(JjUunX4vp;likqFxtSgx{jAiVY$O>sQ z?dXcf1aZJr!X=M8MztS@8P}VKV-EY9941_zB8R_*kHrRwNljwjLz2h*OXXgXOB@MI z*3>uCvxeE3V3@Vpf%l^@J@U%(reV`|XUlrfmR+NC^!}oybo9b{t8MX~CWQ^kT=#B+ zMHH`~MM07eyu4VMg#idw_0?a(_&zM6NwAq>yuAfGBgVEMM#T5EQW`5Eskv$0Ft@j%O*94#kwi%D5@lSP$eT4 zLbz2VAEs7`sVMb`0H72FUr_3wKoz5f7qTlaC`G2nu*>O*Vn~IsnUr9G z#M#JT3T$8rAKS18fV*X47669t}qeY2Qj(~ z#r-(pBcE$l$&#caN{}fQm$HO?{|KCDhG?M!EcLo6^zl`R*j0%iNtFocgMC%i&us#2 zG7+w6NkC0WNkD>?kqIWnF+|A{rQOgF^@Ih9_OWZiiE^4IK~|)J4H8lK7-_Q=Y$h!3 zYoZ);!4lrC5jXph60ws@kJ$G~j|l5yC2y9~!tE;FJpO?oEeAAlN$3$)?v0>Yj0ic6 zG^nMXOge9KX(Wkxz{v3~R|z8!t2Vie+WUwfj(NsCdb-jXX9C#PEnd<4{s8%4%Pg9-y$#=OpeOm6vFBho(TG% z2@ysLZy(%wmb6PgXEHb!hQ_xfV%HQwus{{Vm}1)u6e000^LHCq4x literal 0 HcmV?d00001 diff --git a/submission_thesis/CH5_Examples/poss1finalbubba.dia b/submission_thesis/CH5_Examples/poss1finalbubba.dia new file mode 100644 index 0000000000000000000000000000000000000000..6576d542d21af68caf2ec9cbba8ec6620667431e GIT binary patch literal 2299 zcmVZiwFP!000021MOW~Z{xNSe$THkyss(EJH@(5(JioOfnFBa_PiRhtvEWB zB|}z{^-F*IAt~AMMT#BK^hP=KB3VeG_-Uw_Z)V7${KJo5=SlA|%9nAL-t-ZG{a%z# zvT2;oZu)=!_368y|Ksh|57RjOUj5ASaNbi_q)UBt)4wl@#rK23)6)}3R?D!+a*)Ii zU>Obm4U;4ss78bS?NzV0-N7_0LVd0}8x}<#j~|MtmxlA`raulR|IG62A)WTiR#m%6 zmSlPFF-&gyAMVVjKd8DH?DX?O--~b-jq@n{r@3pWK2o;ndJ*OO-Od-;GFDBB)#9K@ zLqGcWR-3BTQZ-6vw;z6@AIe**PCWNjccYCU#XQVsae9cO#wIBT0)qf!tOkS0Kte$U zT93)=;l`JROD+qSUluN2juu&7i*-io9wV0=_Mc-A z6@kRloBp40cd+)wQ=KUuJQ%G-woxepIJ+hkP_{n?hYZq$Fdpv%wZf+U=#OfBgFK?@yl^Qq>pYyQX9zON%-QSulS@g&@imtKDd2R2z_mkGnQsB9N^n6denId3oq_bWcvl)X{TO_mcF$dZipz zk-zJVgP2voO~ygYGTF27UCAa0jz=WL*$PBtX@qjo?mW z;b$Nuh7v`_lL96kn@qq;oYG`W!Y-WGx7&;N z=8T2_#G0I}H=1pu`J5%I-{Lf?vmEQnEsTLQbc}&;x|*(lsF32C1IPl5hgc~9Ma1|4 z*m8nkp+;t8glQvUZA&v1##OA|?v4`moZRYSluk!so@Y?NXrtzGv9 z;s_O;j4;X4R4JOWisiw8um94!SGH7T6Gc{rXuan@-}Hk6rKq_WtuH2x7q3Iuy<2Kw z@3SneGk5!{GZpLUC{F_7)Yuga##q5%42c+G3WyNFHG)7AN}O7It%SAhm|+DK_a5T} z6Bol5TTy^3)FaKv8kD_NhWWPMuF2C`*Nt%?84XCeIM{ae;Uw+nAPA^5sT4$z43!E& z#0@g#vZZIytTIykdDH+J<*c;fJr0<`IU;RZp+jEquAI>vG)&_4L)c9o$QR$r(zh zEUSi2o_^6VW;d;_s6gC+65NGtPJe#++4GX~-Tt+j=xOPqv}CmuM!r$RM(wL>M4&6Y znA0r_YZP4%&4wy$qX-hE?v!9iaWtlo|N2^Qk^1tR_fkfPi$S4%v8v3zPSWDU3Akh8U;xP|M}_n&)$za z|6Z0lUG#4JExYlirElwUUPeIm?lvT;(`jJk@i66PL76}_)W8CkYtfui$1C4WV%BbT z3lPVC;oC2Kx0(u7p>+pKXsoMwsQ_ge3&xPSr4bVFl14CRLmB``VHvMW*L8ReLe`Q9 z6`SfAUxw#Nbl?No%JNUTMmq={^sqh^FQoRu}p#F`Jes1B2Hu~v>Z#unD9w*@{%5SgA V1NAe@!};yi{{TiVyFzA(008|cbf^FT literal 0 HcmV?d00001 diff --git a/submission_thesis/CH5_Examples/poss2finalbubba.dia b/submission_thesis/CH5_Examples/poss2finalbubba.dia new file mode 100644 index 0000000000000000000000000000000000000000..79126ceb19c8682225ae53a0c02d3ca16dd8ce06 GIT binary patch literal 3572 zcmVF4^o%H|u^QR-z|Mva6Z-(RiYy3N!=a)VF#B||~PWl&RdG+=2@#oK<$>esCm$NyU zjIYU}IR0NgndHYf=(zv>U9b1}1jD?{-Fx-Bd0EcKXV+!Xo936rN&hTA|9do_T~CMo zYE(V$d^VZQdpG&yr2o|?|LPytr#W6a&zf^z<)h+kUgUqbpPJ&!+I>!aRm@jUdwDfm zjB!YLd-Y^U%X!?tkH*xa7C2}+djHjT;;ZVC>Ng(F)pVh)AmwE~AC0F^aq!+usv7~s z007<$X^o{?Xm)o`c85EAUbxBg!p)x-ZoD|Xn$633J}#d^p3P>HBA-^M<@~zXA7^o% zPf*0xO)Fp)pT=c5+i?A#^2uVG2~=<2Yum1xJDQJ&>lJrtM9Wz|kB8;O>6b{it2+B_ zq_f|Q7vr-@(RB6WX?d{I-yY`ltKW`i?}v{EN<($FR`W14g)HRm=3#U_9u|uYVzxY{ zP@P#aMfYNq$?*>(hV#V5WQZ7hE$=FF!BGH+M&m?#b-zzr}f3 zPxfP(Plx$@*gNWdKl{>u@IlZ684pkTztiQLwK_dK8S>zhyLC0Y7pWs4LJoityLu0v zGDsW3+1V<<9H)>^N0Z_n#A6tlA>052;rpQ#lj8F9d^VpxbrB9YCy(OE!KKsF3NT=AY9T%FDCW_JDbgi#r$+xdmHqZkS9=hFuFbhGVk=85A6 zrPy0bSg4i=qM(vsAtUOEAX0l6ZDnSOa0i0GzL?u-OZeQ9zPvGgflz(noG2$!AR=lD zf=Dm8%x2tp%12lcQ&&Rgl{BTZn(}AyrF^6+tX35s?0_*sz2tI;XtIZi;c^FKJaZ9xjDH3oVIIT9U+86ahLSE7d4K zl$MzxlvS(*&;eHZ@bgC@6Dh?erA9$aoYX;1lEG1hAjXr0is>ocp-`Q1jh=o*P=t-gLv@A2GERy02QJYa zGv9H5*=>{ZK$v9}W>Hffaw+9ObxL{cqB8mbD&xN5!4YG`%BV^s5Wpj$Ij7R;jq%5Z zXc=2^!sqzvREHBL+YD_|oyV&4VK%w__jp<~=#L52AB=^lCuL6dPTy^%KIq^`Z8Zup zCBib3xhPC9?#+R~-|UBdh4<#v&u5=mHjD&fD_x_6@0l#0;CB^Q9*gPlG@s9BpW8hi z2t4!Yq?nG@kp(3(6k-D%ZH;g~n@&;MP%{=!Zus4AdKaiqbyQK#ytmeS`0YvGJduiq z&$9Zny7jYnzU;~c?V<6b*|b67ZLq>KR~JSB$8a>Jx+4q#I2aCA@eG735E!TKib*Y^ zs(a%c8^@{IBi+mj{)CFi^#cXrcgULtiaY4n$}%r&^;#?*3+__lk_eQ^s@S`)i?eO^ zM=)gu%woL7(PczrYq>A_%6;=rj$2NVLpN$c>pUA%5Yk=c-gzlBJLgxc*V5E#nC$3V zv!f8%7Pj#~a32=MV2V*Ks%ApXBN73IiiRqSOkjv*TxA^11oK^mpmk&(XrE^T5fF|% zkT@W5z)l=MUx)*Od&?9N%4n$CBt_inG-F_-V*q0fWavq9VLh@@)JEoj)_FG7NFh-` zqJUi~fJLT&mO3yC?wP|#%?Dy)fA4oI0(ijDI&(=ds+CJfK_?niK3z}!mzPi8xoGez zm4#!Mg}c?9?WYiJqR7 zo%*R%)84B@^4XJfW&2Tf?3Hf@D2 z-Q$;rs4E=U@(vO_wQ299Ai*7*7)J^-a4CqG^=XH~Jqlz@6N5ihqoF}39mg=?8H^kVRTr!cG&#ay=oO4@E9zK`1|i^ANI;#B+omev9Z_a=pqE(Uc=oY+2 zsZ2NsjB&Bgh z-*6+m3{t9fCW)jJcvTRkCh{W3)_FD#)u6qOGG^1J2WhqAj;kF_!0tg1d#z+k9IOvf zTayEf=b|o@M2AhewQre=P6vkQ$lFqePHLMNSQD}2_;MRH1{O;}@MGJZV&H9J;NYev zG(i}S;+8@|L|yVC zG1_40A}FO8WX_qlF8W|@30CA_qjj1Mx`@$`<-)r%Lhux9q+nw=E?^$p(-M=DiKK{lHIZvwu?l<4pERa z%2uUy8kI;40SnI3Bako|B7@Yvz%FQPB59pw1ChA)K<0UbCK^dJvZFu3Uo(v~CqFqH zAo__nn>aEpNbDKcu=tupkWhB3DCDzbL9LG2~Z=eL_TM6bD+Z70Vh_1 zzE{7L;TnQHkAQEaY=5?(FLP1<6 zq0ZbYD;TBqrk>&*=e0$<4}fU@T!d2Jk%&HaVQwEz8i?SqLIGi%!I6JtO-wEDC>Xawb_Xar(NddgiqUI|O#+x|iXGfOiiba{RuJF= zw+U?IXKs2F&Rj6e7+N&fto=a_3=rXaBaPk zFr^{mi~!Tt!|M1gKn+uD*w}`lPHRyqvM?zWNTI-1p}>7T(Y{Cvk2pjlpo!nY<52Ef zc&zi+xU2m~HJG6jOZKv}_OiYBE`odB!1%2qD2cgiC4yk=D;$heMr524M(brf(m>4O zd(-?HNBPA7>o>PRRrgzI(e>qaP92`wFvcxOUO`MX_RT(GaN8PptGT$U1D>c>LK4fB zYg|(nly#1xF>V(XO(Dpt`G#iIBq*q90!o!{rVv#jHB;>*CdN6W!%BKxCrhbM4v-gw;l~+ zQ=wumgab~b)Y{j@C9^C;XsG~vVVuR!gSAbxVJJFaf$;a8r#}TZ1g>ezw z|A*?rv)7g{S}yu}6-e!YibTN(F`pMHTl{pao>E^OI5SkbxT; zd*yfAJf99VF5jb7MFoiq5*NHOE@)otA^8CcK%mhAq7!c-mw*5&94>wHx;t_Y50AU# zBYb+>Ecy^cFR#NeQ5Su1`8ct#Z-DiWeQ=cwZ(T(fSNkP|I% uzM3B1{0!yNMp;aGzZcE>RmYS3wwS+vR~_Kr(LBF=|L*^e%Z1V08O literal 0 HcmV?d00001 diff --git a/submission_thesis/CH5_Examples/shared_component.dia b/submission_thesis/CH5_Examples/shared_component.dia new file mode 100644 index 0000000000000000000000000000000000000000..0b6dcaeb771026b2173a3b98934cd132338fd49f GIT binary patch literal 2474 zcmV;b303wViwFP!000021MOW~Z{xNSe$THkysr+!`=xGD^n#)f1zMo(bD-FYqgIg& zSxGi8=eM6BrCe-Nv0{nNdRGQ^13P05hy3)-a5!YX|Kam(I=YXGRg!1tV}kH_6lb%1 zo@9&j@jrk6daB1iT%3GAPonSO-=c_aNAQhoW#65TZ_0A{-Pzg0!vjhmS5cW4C{6Cr zDn9#Pl%~-c2%U{DPDZ2G4a}o5vY*wTMrBzfS9fJR%A(u&e0&wn{#z9JT{a(AQnlPH zPxE4QAEoExPuK1>KC7EKTWjZywwKW&zAEDAzviYfyo}kW>1AAOHha6wR|$xekIOBQ zhIZ`#uViYe6$oXEi%&oDPgR%d4_?~xb+l1Qc^egrB-_>lW0O_`L6N4E!e9ua4OU!{ zr!jfIx~s#gOAo8AIIOy4b-B!ovWSv$Tjf=rr*V{3TFc@t-e1pZ7Nr2Ox6JBb#dT7a z`HucyN9n4K0oBLPPuqK++(nVh-+pk{BpOx@dRki*YsP+3~m0YEj$`kauXjX4)mo!_nCn=?;{EPnahJ^F)ee}g%QUofQ;VJL8ud-NwgXdr zwBf9siZptRi@N!rUflGkp5U5sM$xQH?w{Vh8k79$-*{Hm#{N}C**q%dqtnq(`RDOV z3<42IGCv>xf!7CX(>!PlcyMd9miaTJ1kw{C5f+<6uuULM3a+j;+b_U^C|jiQlMW?7 z$&_f&Gocu<{glONe0w>|i)=eU=+7dj#4*XXRnII!5ix784!UmQWN}kAE91!e#FrP< z`zc%98o#6~el;Q!qL2=WU#CMNBLtfg0JAiJ zFoUS!`zbB$SnS~I4Vk7nbph_0+(sZ`xS>3v)#v*-5M?xqNW*+q66`zJHb?rtkxZMArv>HD6Qd)KAS zr{$$9>>xBn`*5?=gm$x_0}$tEiXmaRnlOy`G0@b{w%rVXw;EjoqEBAa*1%GMS;_;> zfu)X+rC3*%qSz9M3Q1B{g>{I)QNT@-80DZx)tApv^Z0ZIL6gn*jAqd?nk8jktOj-p z%ud^&9LVWQCMSQQf_IOgxR?+KXTpY1-085X3O0ctiigcqbTg@CszR@&4@kgN1x02} z7v{&9s`x$0Vh@5vR|LaMYetk!fB|s^M6p6dQ&TBoWNP&SV_Ux~zoXwp% z`xv<`sSp*ePy6)<=xesz?1(Q@{#K*btk|VQR$D>D({DyMfQ;JRmbuHhj$VEXYy9ox z@kXQl;7@kOA3+ooQ%w!gK@(=0VlAB}s@2qLmTs~+1P`GR*kq9gx@-iMj_Q8m8+B z3Q35dNNYtZAZjzU8%WqVmrVB7{2m~B&Gbl8goSoEB+$D{8TYE`xEfc5peMV(n> zvjYKlL5S!f>7pfdn`;=ez)2Sy)`2F*jhVVM2!#BuIC$TEu=gZgyk`0(HPx0}j4|ri z{3&nrr_J9b2lB;DRmZXiKWtoOXGr`y9S{LBDyG#NjWDI+%P*A~ieds6#dz>HRK*-& z$sXyvn*S9<*5pk6=bb%v4b-eVj^KxN%lQ&dPvXvd%j3!qo0#vc9)dH$-~1} z&HGV0_}^nZe%N_ipYkU-=)k1)tO#4us^3Y3&5*VjSg8qy11lYrmAa&RVKML_Ia^8w z4jede;J|?czX1;P=V55~N+#p76{mKIAGCtRxI_%-A;5qPBRatdOBys4(}QuXPE=x~ zDL>HVPhg9Do%zw^D>_k0Sr0B<5v(e3Q7uhauP(G^Ru>`Mp5n0DC6O-qr+Da-m2cSU zcQVWnmkO1V9a~KSFx~z|1;N?53C`Usu?S3;qBd#GfMWs|-wVM(6H`Pgdk%z2rrl|D zx$k9a?V;Rcr@v0061V@z_dSmAaX5Yhio0>lKM2O6kA)U9%u1Aq8KOQyH3fd&vOUQt?<6FgoW%OTGzH- z_LLw)Rp5BN(nM|L_mo2TPHg;+kzg9aonzZ>`emr}ICMc;6IO?`#xZUD)mm&D$5DUG4W5>3tOXlnL+IqyJNfeEV-qXTDs$(+@cN-;g0%@jbz4wuf~qD9Z3y^xL^DYCASy@%>n&Jz!A_ZmKzwGAtIA=9P;!T-ap=W6UixurdeW oMZcXMEZX~CX?0`PH;KjSz57dW7bk0fD(>Rs|6U|jmQHp60AokHR{#J2 literal 0 HcmV?d00001 diff --git a/submission_thesis/CH5_Examples/three_tree.dia b/submission_thesis/CH5_Examples/three_tree.dia new file mode 100644 index 0000000000000000000000000000000000000000..716fdbe5c26ed7dfe548f0b204b64aa490b8730c GIT binary patch literal 7152 zcmV>gkCw{Jvd$$C|h6!SrsrUdkZQnI3=>Wj#D=b!)b&(E8aZ|m!ui>u3br_ia> zllA4ttFw#C^LMBJ^Y?#$<4^zc+b@4UyIB2+|2e;2eLmrDT;9m1cc-6jZ@>KM?b|>8 z_@mo=zggX0U3Z&{uief1?fWk zTzy`@JN>Zw_>c4JtFM=5r)gEc?&HiXo{YV+>&*WcsM>D&G?Zy#M}%eB9(&etEV z*QUum7fhO}Etl z;{IAgH#$n>_Veoc{NnOC9ey^O^dPYFh{zAa1Rs>s4(^`G%gKFcOK#Ja+;v-W7dP*} zTwUK@uP$z%ll*XXwOOw&6V==6uj|9<+1L@a4 zr0u1WdwzX!wq0-^tr)q=9~Wo0pWgqo(&I{3|6b|p-!5)0K5W)QcYkqtTkP`R%Uu5H z+lkuy{_B}&NLL%(9?tyQtj)`}hx4x&XX~3CFnhdayNiRv;Td&x;$H5pPjrp`Rmm` zPw#CIwm>e<-ktuJdi=1Svd0%=J^1WteYv`al<#2iMs>kFeFo1p$QXqWAD$ApW)@bL z=bQBpBFZe@z!I_3W&z!S#MYbj=l374t}mZk2nAV+RH80<&eokC(H*HrKQ4pTr}f48 zr`vI2{Lmf~(}xke`E>Qi`vJ>w_qI4J!f)^KdN6!Y)+}77pdx^o2$+TKf?Wc2 zn*Tp^+SUYdE?YB*8-f@MXkqeB24#V~KS3Vc#pTGa$H+Ytbc z!OW(F_ON8ihEOMUd8oqtcy)RCetmfsIXZ~Xp{3Rm_;{n?P@nMf>*tSOp5D(;TxQ!v zg*$$T{KjvdMQiT=r=$G%}98d1342*5I zJq(@Fm|m}fsz$NI2?8c`FpPzApk8I7sSM*$K8Kfr(sH9-2R$_y>l_%{|k4KKNvG53<(^Lmi*E4kKl@7Ra+U4vN^calV!kD7p$5biqU1j7~nWC_64F7 z7OYD;F}S)R3Znxhqax^~P_`}_6$pxI<9LkE!KH@XrwDmWA&SY6Re9>r-EQPRE2Uj zXFnm7Ej>ztyrL`!Wasf1RS7C6==jd+1W}&Y^been{rMUJ7;$EQvQszX*Bu z>uwllay3^7waiXKc3uwy@4!IO88fJBLOHN~0U!|p8v-tcvQM#Hr4Eh#?H{@r<8x%G zHFqKJ$%QULP6X~q84<|N>=ElMP0^TCSTzF2l(aW7l*n@IDjls(8d)q1V&5!g2||IfQ-ipCg^K&X;b(VeUnXH4CEAjvsJ@ynS9N$x0Y=n*@->zx+rPH znwl8;*qgFT(s!{pTQwt+&Dk8UXo=+Ptk;gt3o-OwHeDT z!xo4I!WLS}9waiRtgRciAVp?jI<%;qge|lU5JO}HSU+qr%;(@zGM4X?KpUD|)WT%g z$VMN>*~1d4J!4W2s14p$PVXtyj1LPg#9XySOwFLm)pqtq`5a#AAjpkcf2c8fL}xDt z$43fUpf1oJg3eQH$Ol!k;Z!Ig8_QBAsf?EP5E6q!8uQ6CXb&0Yb8snXTu7bi^t5pf zh>sJnK$G7t4dU1H8`f1Dre%x-Q-QGTBMEF+)@_;2@+qAwz zRqUKj2{Ui%woYeqHY2$ul3js%WK19`H;HZ(!uJHezI3`0xRMIXedJNPZ1w;9YW!Hfke zFPyCpW+4MVz^prO8-O{Vw;9YW!JM7vBh!(QVn_D(p>F+!k?x8}39WKV@|`yQlq#pH zcJmcsat3x4VE^rE^L-@yN7>mw*MUPBrb05JO;??92t6T17?x~D2P>uc)Omksh5HwN zH1Bt2{ziEmT8hex9PnMC#_gjJ5xk05MWh`|!J~^;b&vAmLpMO^LVPTscFq|sh$K@W zkF33I03=YI){1^0i3vLuLJK5~@i@5BAnXMs=EqQ4x(i6cda$q$koX3yPF+)Nfs{Y5 z(y(de)BDv{*B$i7?=g;D4QTz6DQm%51L+WQKx^FP*I3xzwf`2=uV_YVZcwCyI}WAr;y| zDL(~cMPU8&{l3QJM5QsA0AyvH2J0l3dae#_g4z>FV>}Kn1*B-x_@Kj%0gFI{d*RcF zQrb(^@eS~%2}$5~4&p0^B%R;kr1&Xg@~J$yx~24rT%7D3EaH+W6Yq2J@jf`bv<8$$ znH*dSkc=v4$m}S&2TbM<>>eth0_|gdF?}SD$um*ywl@t0I+q=4(*Q|?ops*dBS{AS zq!&>gNn=b7FEz=h+=V2P{dpf8$wJb0FCg*5aKX0+Qhw;)@s{ISs3fv7eB^;javeHo zqmss$9A4^aFO?(=1=>p`$x`F@LXt$ZsFF$=LlNaiC9Pr;C1qKv*222ZPykr4yT;ZB zEQ5Idj#3PsY7a>t<#VWj)+ret5;|>ypWJY1%xMxk(qtQ5qPK?4CP;N0RkfiUz2bF* z2b=tU84;yjs*Kewj$Rq$b8snW@DaxjrZ*78P7ueYz}YKGi9I4{QdN%-Lf*xlkNVh~ zc=$?6$UsL{`TB>i4D&g#6gv{THR@xq|5}Hy90|v^z~L*wi8UnJvF@OBrX*3kAfXqH zalUk4-Hpcj`iHL!^EnujWur61^J~=vCyn`>Y5zyUadut}!f;g0z!5f3a(W?n{Bk)=#Jo3(NwAFD2uZ3PcR-gDd%IDxx!zR4Q8yi5A3sg|f z00lVG8L=iml_aTO9~uCeRA;nC0Wulymy!^`kSt?BTYGfr7@vdL91Ge{7RWe7AVYz2 zZ5?#Ky;nVbUM4>puLZ~&%#!3BEKGgj7-}C&ILhYmv`9?n52$eHp)g0pG5yRq9_~6Y zm_G>wAMQV__$h|`Y_ro8V^kOEB3$5u3Kr!iC@1gEt@dFSAr zt{Z}*5GjFWO0kemKF8^FPFEePP=d)B*e!vr3mhs08tnq553#N*=sFb=C16U@$E)SD z%nvmXDxWcw&*Tj3)_r28M0bxPG7H-&P_}X=+e+!E>3jf?M0PMvFXDkHht3q;ySrzY z$Kj=x-AF6V6Fb{`oQq49e{?j*@KQ}OGT7=zr@jo{06z_RN@4d&BL#tE3k;wM7R0>t zM84{{(a;4jGXB|tCX(a@c$3CI#Qf)*jGCB6XJW82JK|3N4Eh z+v-|*SNZUCBh7goqIYH~Emq*f`_=AX6zyLUFvjL^Lzm(AC`B-aCO5|0Z{u z2D|A1E_u7U@@dn^TNcAZYfEt)z0pRHg^1K(9Q`n#gGtqUM8C92mka`Wi79PrT&#o~{D zdBn?0aScx&-fm$Sm21RLm`Dc!4to)- zZBSkXyQMB-N9F-AdF!DGbhfZO2pw&0f)1+iN}xj}pyN6Z64%NW`@NxKSkfbOtg$lc z$@|#&D6>-?HNnmnp0{Ghp_>?VhVvO#mq3p0oQ;#SSb2L5)sZ8`l6Uk-!;;^JMinC%I zbrEnfaw^f2f;Bm7%f|^wj=cg4^+liKRCzOB=DarFgw$Sg797icU=bUv?c&0SO*Qm+0 z2?~v~ycIcKTmLE?d#8%%9LF|?j8za*hw4WYnVxrv9vTWusVWE|T3Eb^QGJuH7{jwk zcXY4DL7{CI0%1E5V0t>yiy|Py3LTn;B2bFqSp<$R0$9j=(AM@j9a~)jgd8Mt;B72h z*Cqycea?H@7yqTWo#8(Lr`{FGoJqx=GK?A91?6;g31NC#hVjV6eXX?|NT5_m^j)K@ z>lU5|2WAEG@rE@Rcpbi(E0R0oN8`j-;>W0SWPe}iXbFybc@r3njnIj;9!x*9@#@Dp z9tMsvF?>Y^{3`)Yk&F|_Ky(QCLcc$9yf^Vpc<1F5bqLW)RNA+x5!%A>R^({o!s~GA zZK2&tISI#DX?$t1St(59yftxBBX1lr81!^}aTR;66uYxMcYJro720u0qJ53vuVu3C z5A?J4M52c1FT?B%{^NtcNERv9_=^2!<>-L=&U~y3?df5#Vm6qNlJpu}1N@ibcb0%D zxbsEQWwE3wg>-u5*?1dSBVD92lYGr`J^VQbD~p%{?U9+KL24WfruG=8F|B?u(d#xADI z9T{w3&Xr<#Hs_A+(0D4e%C z2bW*=|B~wIah3z7pJ&>GUD?aCN&zA33qWB?)Gqo~e7Q`}%jQ+rVa&C5!_#Oa5~{ zpY>j%?I;<$dEMAAv9Cwi9aw4mGBYFd=U<6i7K)_IP>P6ML%+=S<);iA9U$Sx#HbAG zRnrDI<2(;zhk{9tq2ByAceQMLqN*4S;0!tZ_EJN8U!-6nJdmc`J52 zfPNKTeb9xrDs4==CQ6~F%zYOnn!aVMQ5R(~erI#;_#RD}42(?8^tzn{NI<%$7bQSO z)24Jt8wn`I?<@hwmjGMHd{8RQ!D$oLvRyEVUJ7fuF8I`X)hMi0is4xVrr^^TNt?y< z>k~*7Q2k;Srl&NS)F-OU5@c{xh@n`OHCz4#Hue^t2Ty+s%15WbAiR>{_n}O4laj&E zrf*7aPz$JJa(N81unKSyJ6@%kxT=k7zlG&t=%BU}?TH?PPMMw`>{Li+UgU}W{?PG8 zC$$sEFPT1Ah}I$)-KIcj3(s4z!;pU+{q&$znJr6cWuw?Dg!++aFX!i_o<^B*C~7Aa zARFTwO#Uv$?rhZ^-LU}$g*IM-bc{w531E6?h2EV6$Qgv`*qJsmP>kVO27Uq=DAS7t zo$)r!HS(r@azN-&Pmhcf3&PkGaWzN{#@`oXc$R?)c=w=+q|gYZcO>+7ZvAnpOb=Xt zJ{bdNNhA$~`E39%8AUzL^1x#1taEhNIPf}LG*CryX#8xnPyR}ixeP)N(+Dwk$sl1T zO`~Q{sEvQWh38@LgcQp%A<%09Pm%N!X*s{3-EanZ7f3oyJ21E;8G)J3D8pdd6bx+r)(Mv-be;YF+9t_Pap%nkPSg5^+f`@`e81irxHEo92=mfqd3ixWx(nN zVXk5f&oVFx7r)GDQO8I;w1(ZhT^3HG zP;v#JgkJL-j&IhXu81X}MHr%HhG@iZD~cmcD6i%ARqq8@)Z%jYHc z_B75g8fDmaQDKlDCBOTdCs(@v%gHB3%Vr(HaeKw!;Q!wL_1)=nnHcyk^xu`OckJ8g zMxWi%3laVI^*?VPAR2xk+GiuWOGnCjthwVyDq2R2c^J>$&S&QH zg4d*H_hil3uE!rQ&mXPpSEj%G_N)3e-C6(n;RVMG$q`z=UtQh~QIg-E{J#2pvH8w7 zw7R@GJ-NC4-a|8e^*`2|Z|mEOkEnZ zzZELGzm967P(T}{h7Rj0tE1RSMOKPTy1qaDV6R|SNUuyG4PbEANK@2EsPZ+E9Ihs_ z(JN~tAp;%8vbWAkIvT}L`uQ~y%o?e>MjFE4tdSm;%rEroz@)<+sv1bD^JIOhxlQ{!j99kF6xNvZUzev@}v+}>ov-hj(>#IM;@rIar>GzxU<@vT+M%9^I z5<99TcT*^}iD%alimAUaU8q|s(^CO3OBHjF3*Q;?!TDZ5z8Mqog94LFiNn?D&Df zSxwDqYEN9wT55_~it=leWlSccLC&YBnO^G2yip9knDd6t5yC<~yXmQ^SxeQ4zyQrUIOTJkZB29R#}x<21MB_)BWyN~$zgub6uPtAI%wv#u8#91{>QZ-?LU=;Qm zf~tq3u!o)|=axEjjCv5tR!yN&=WKm_@ojxJN6wqZq=wNstE)+>D=HC{A_j!+Ozo(Y zOrocFm<`)eVn2nzWW92;rkXX?p1_>d)FjnZe$g{^KE{i52cc$M>W+?dgSmKeQZPEm zY%#A`flW|V{W7bn+Oer&aL&4FlDaCpBAQgEO@f1|JL%&GC7F4}%IcmlhB-JjE2dE- m&Z_CCswsWmtiG?WfBPkU;D64qSD%0T<^KV37Kc~4lmP&-uHS?J literal 0 HcmV?d00001