From cbc3a1874111e410665e8cf23d7335bbcfc8e37d Mon Sep 17 00:00:00 2001 From: Carlos Galindo Date: Tue, 3 Dec 2019 14:13:37 +0000 Subject: [PATCH] removed unused graphs --- img/cfgsimple2.dot | 5 ----- img/cfgsimple2.pdf | Bin 14070 -> 0 bytes img/pdgsimple.dot | 30 ------------------------------ img/pdgsimple.pdf | Bin 14019 -> 0 bytes img/pdgsimple2.dot | 27 --------------------------- img/pdgsimple2.pdf | Bin 14814 -> 0 bytes 6 files changed, 62 deletions(-) delete mode 100644 img/cfgsimple2.dot delete mode 100644 img/cfgsimple2.pdf delete mode 100644 img/pdgsimple.dot delete mode 100644 img/pdgsimple.pdf delete mode 100644 img/pdgsimple2.dot delete mode 100644 img/pdgsimple2.pdf diff --git a/img/cfgsimple2.dot b/img/cfgsimple2.dot deleted file mode 100644 index 9864d3e..0000000 --- a/img/cfgsimple2.dot +++ /dev/null @@ -1,5 +0,0 @@ -digraph g { -s [shape=box,label=x = x_in
y = y_in>]; - End [shape=box,label=End>]; - s -> "while (x > y)" -> "x = x - 1" -> "while (x > y)" -> "print(x)" -> End; -} diff --git a/img/cfgsimple2.pdf b/img/cfgsimple2.pdf deleted file mode 100644 index 8a79181b7da88695c3c5af86699dc18e4146d874..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 14070 zcma)j1y~$g(2s>9tB!R&Z}syYN=0!=MphPftAmr`>ztW^Ap{Np3&7sk3PC^s!2AJdXAZIe zaK4I^0nCz?HXxwW>)FN#1QZ9F*qZ_YLP7}6ASa-aErL6EmbzRl0XI_DiN=KmNnRYL zgiPqSI0>ds=vzkG0OJH>757B5W{LWjuI!;}&EZ=z8dv{X9t?>~FN>~Ood-!~d*UEF z*MYsQGZ<1lUj)2gFFP>{#%h#U)JtiR4n-57mvGmSS@xhEqp=GX-LVT#1>@lc$)Z~I zYUwmy_0_G}@n`*-AHPvOak$zUJGV<3?!Dypu74eS#P--Xyd-a)4$n=07g(XRWH4q- zq>APId?uQCeuL=!a^WHSeDDHP|Gdv|P0l9#8)SwaEz_9L62h+?Dq+lyUPdX~lq5r^ za!aG@gbxdekGs+uMSg=+EsHVn`D;iqs|LQONvez%`QhqU3NwW(6BdD$HHM19N&2Oc zv?tese(2wyx5*ei$D=7y5howrU|w89zOlT&vGkntGW-=myk)Pzf@p4|=~_Y+c8MZ_z`yP9fZUin z8JCghV27}}gsF9;Px^$R)1o+F>6WVo{X=HD5PHt{?qRy3Z0g1K&O=bfs6FBUzD9zBnwoqO5bb(@Ejc+h(3#<)d?-mM$bb($8Y)UzBH0a zR*!k=SNb&v`Uvv(3{prRC*3D1!V!VGg)aJ{TEDbu$7W*NoUOF*k4$?XDFVD!Jn zEy<9a$U>^2CBs?RB7bp>Yb17jI`KP1`Wz4BP9@`X!vFE1yV*Nbov%Q zvTe`pC!9_<&bLMI-5~S?jV33 zfLYAm#@#%c#B42&a43LKgu~SgZceiFtdA&WB_JypsS?`P+3a!|0BkwxT&hFV24h3a(B*PkO3%f@IB!H zbNtd+P)gx4eu@wwK~%2d(2|(wwCbj+J>XKIWF``rh=BpdOYm1{ibK6h;t~fNQP%M1 zm7Ld`8PCI7TPugnODpE*-b-y@icbMheIQM6KaN~Y%(IhTU5t0*1HT|}(ZEqO!FzVh z%%G(1#32@*ItA0yOQeVDZ_k+gOxxEOx)rIMzrOg!lW~htzP~jXvB&pO7 z;<3Fzjol>EvW2j+Vdui7|cVdIxQfOxq)psSU zfi>8|h#c%xD4YYpuAsphHa}kzhuG*R4D2FNBSxN{+Bkz}TQkugaX)4U*pGFG@cv34 zKYLW?FTxS_Czruu2TB|i6&J~gPfQ@8q)wYY|3Z7&>*2MW9PMZLoZW+S8GNLsbd&@i z6mHQTEa0yh$7G5Se~)nQQ?U+o;r=K1^Zfdo-E!fxlodoq=8w@9(3PLz2Jc==mFHoXuSaj>8q1P*^D z76=AIWI{i72gpqTSdgDI8e|G2lQe{-2vpsBp=B_H_pHm{u7Oq#U<>}9Gf?sYTn;e0 zP#QhR4v0v8QX&W;y>cwzoBoz?0T*akdGE{OunSPrMZcmEXv2Aky;tPHgd7wLk3&lk zxu2mb!KDi<%N0`;ydekSx54QJKIFj8061Wt!M%gf(;()Jke9)l{8noC3E`yr#<#`Y zu|C7%^sMd3wqOgPH22}`5L|#U1RL}v!ikK)LC#8Q!Vz4Gi^geEfTNRI$CDL6luBg8 zp%f6bMoY&#?nAQ z>e9V~ZWHr70JYco!uS(u7lJRLFY#6^$xt_S9K1G^bpR@93V_0fLKO`k?hx)d2)&O( z$-hJaL>7YPF`#QqTN|_dzC(tPNtbA{$^piJBm+m_$Q`sUS-zA-W>ZE88mKA>tucsEk};)|REM&?)XM>&+~c z$ewzgx;I*xSRQYke3I%#sgSgk>XvH2lud0w>MQ%Z=&1!lsaK>|#XrABJy&w4p-(Va zMj|6G**MHN!#LbHaF=sXiLxWXKcN{zp;Y9!W{$Fu6kl|{&||Kp;bQ~eDsYvBNQ%4Q zaX#^Q@P_25^9CMB3Dh~DIUqd1Kd2v5hUsH5ykl3!D~w8vYLAM&=J?h+y*ItaRc)#N z(m|ViPiIH>DVZ$UEEzmGw(NtN{UYXKR+(*?!UBsGm6egziq+#HQ+f1s@wD5Q=_~_| zm;I;E?=@}Vo-GenKl{H6eow^D!0*Dx!&k#kiAZnKJ;sDd1` zCbL1c(s{0sQg&r_LAO-5j_+8{3}DqT@_lA+Np3`Lx6v1){2deWviR~@x_s??{vjTd zCdY_Np*Jqn(zi%cwnA zYA@>Ad70v^EUhWpDdeeqL?oOGoCQW)r&-6H7DA_ZCR3&;19ykq1+}&0J?)c+iH}Rs zhpq#*0~^bNE6**D^r&*E@luh)NyUkW_|u5`VX4&`@fy|53BQcbtxukTA~~ zQ0OjTLx?_!xdscsb0Xq8+oqDvWx%;@gK`|Ojh>H!hOUI7PjYvgCW6NQ? zNsdYlN-Ro!l<<;Bm5@u-WYDVLmyFVm0u%{ilMrBeQMfvl{+ip63*9^2Mc6xIV%JTn zKV5ZdJSZKXu8K40)pDdGCLkf&LVF2+*H?P*q3Xt<)$IUkDX~5DG2w8C{xJGd?+*AB z50x5J7c?uLI-nPBB2y)UC9?;i@V;@|rOx2Wf4?*-E-9auy>zy8(lV&wu3=u3(kP;a zUXNXnx|6w|BcDaAZOn4}TxTjT4Ptk3RZvnsK_hn0LAU4teV3JhMir4E|cByVff2rq|oH^Rw$D))rtZ zy>c-wIUWrp*s_b*Tu{nUs_8Pcs6YQUB-$#fwA0BrrGsKKXoF?*W5cYz(rPW0On>&L z@%V1Ut^(zH!pWAFx5oX(#BI=z&cfTmN4ITPIJfnUKlDbaWYAdP5;_n6D{qbWnzIA^0YW|V6I=r^jy=Ch=4;~FU z2rER4N!Z~#@=MXW^1bb#(fUqB|MW@T_qJ|xUjtw9AJUic(^A1wg~NTZE{psNOWY;g zNnCx=2}8Aej>GoP+dsv;-jyFKvgfznLGh6CUhWRxk(_@)5?Jww@Gd*1e$Kvan$eEX z&i%UnHN2^S%hKzE*VeJ$d=}9Z5u|@;_$jQ*>t`9Sh4QUZ$eo4NsR_KSGE}f>A zY>@meRVg(cbsx3iS$i{hF&>pVzZcw1`@88^@@#pwkK1FXx$)@0h4t)7y0GkKNf+g-SMF4{X5Y4c1zkV> zH|qWahW>%Ixmel$hO2MD_D%MRfn~(RM2(z*rhqpHs|?WlTjdRV{|%Y{f#%NtH?aMN zpIu%tGAn>t&eGKR6dZQ;@|Uo#bRe zc*FVseA(IA0dL2jl7C8^EdS{IyTr-G0eCz9(-PMoWA$&ne`=hZZwbx+^!?Kd2M5O= zt$M4ymjBRvE3g@mZ{;Jax-aTot^@4Yc?=dBP;>$|&#FxNly<8o)>2B7cB*y=9EYZLYlIwq)25Csqp>x;m9Mp({R>1Vqv^M< z!%V;3`4``Zr|FmV^9i@jdggPVsZW{JU1pfHGbrNZMvKcMYSN!T=wQR@wkxL<`;=Tk zX&IavdR*$G^jC1T{LJmfCmFI`bpCPoC)QF@>Ka!^ggq15G$s3vf+FXuwUbNgSF8D8 zOZv4&iyu1Ax&hgE1g)-SJ|KvzDSD|PN%|l8EW%g%jYjj|WQ9Z@P<35?9)0i<@I(8> z1|1wwCsxv+L>fd2d{2NLdM2eTPKq2v6?7-;z)TKfB_k*>o;2cA%IAx3O=X6iUGN*d)ZWqc-NdXhFp^4q`>w(x`<8B91ttK(@Lqn~8! z59)BfCg|9!Np}n!3SqS>QJlt67h3OQ;@_R`UNWJ)n6C*$R9q@xB446MR5XQ+m%x>h zs9@wQ2}%D5#0>6wAD>!a2SvCJ*GfR@hFWm$e}fVMP4ix06^xP~#}qQj#t#EV524j3 zZAW=z)`EC{q~dx&7s9DBPA;sKX97D^S9gM!W)vy~Zh9})fkfXy@rS!*{@5kN*`T)t zrPKEQfbBIQ^DcGVJK9S@<4^TDPISI|s>E(|=Z+PcF43skobMW4Yt^Sm z8cnzK1dqwW10QMN78`O<>3lI&B<=$fIDX8|{xv7R{(?Z!_oy({@o*0EPV zi4VRIA5;pCop>f$dnQ#8AIN6TS*vK&X9$9Xn;rsB(xdKjiU{bHiwf7WF?v&bCq z^FaC>pf18>IP?9PSR+ zW}9K*fz&e;o|5PnGp_WZLRUDR555rjU8FkCY5@-?yBQIk^hnxlc#2nUn=9E>QU1qB zNSY9D#Zw8|+SNeiU79nzk&g^lV$Qc<3=M=C1MYoFtGqHhVlnlX&@t?_GBC38!&H=D zJ~$Z#U(y{qNMHfDMCXGVJU$z9dpro_9UVsnd&8IXgws+3C<<8mfchM2M+jkx5u(`P zbC*xlKB0R$jK)8?Rd(HfF=O<4lhO$6w?KxhU}g@;Q4wksk03b>AF%8`NLQO+VG2`} z5YNi&QO+hE9GjQLyrrwoM)pUvT=3s-&SSs4zDWO34X z843*fK50LD%7@V_SkW{Z7{OvvKNIPRFiT`**u>4N*dq2{C zL7jy-;G|*XFtecZd0v<$T=-0v8y@RKG6JIX2^S%v502xAkqLeHJt++xp=2bSpJNFU zLcF6NklnbRpKfxO1%ZPeO(Y{r+_6^cGaoINS0cw+H~WItGD!ejMh$C&icMW&bUc;c z#n{-pnZ_Dn6!eA!EJsmYH&Jy=*t$r_LgkqP=)7M4XBS$F8euhR^vdmM*K6mF*L~;v z3;MJQp8M%FDk&XI8}4e%8x%W6RUFO?m~J1Hf07q?wiefr2+p-y7`~AASr{3&)^yB6 zLV2GxwR5}bb1V_zd|P$@C7gC*$F?lVwq$GE%{;j%Q)W-@?2^#RH>%qV-yH57zu{J; zv)pw|B9K|#YBpH(kshrbPsxV4uHQP3L_`fPSvbfIVN*fw$2Pc#-m%ny!5k-m9d<-6 zS^Ih<*2aQh74p`U-~m~doc!n#)e&(YHK%#TewMHSi3obd6J}a;&w^}_sU+$2!s@p}>*z?J2=K6@crENU`sf74I30yDaYaT0z zvJLvXPtfN3?!JMouso=V`QVg1{@KnWa8>bYW7sZY;W6oP>+zFW49#B8qh%0lCzg0q!rEy$@|#6&LbUD>LX4#>RHU!EOCywt*e4zDS2Adi_`F< zNaqp85o?H@U)JgS>Ktys6Sf)hE|Pv!bszr)k59B!aXIdnES)Yqbz1OG++u04CtFbT z8^LFgghJt8f-l$}pbhmS1XT$d1NkJZE&bD{?P#|&H#K}}pPX~xB31of^x>Rm%s`B* z;b(r&r;?#Faz}bOi@tf56DG)9efTKbzb;8=#Vt$GqHa|@AqC~nP0+64u7%e6HuXL8 zKy{zA?z^rC4qgH_RJQH!{I0a%kXfYYGh(sx-Z$Voc(;y_pyqj72=gJec)=1$o#$Js z_HousGuRD}U%1?@-O&hzyvQmgg*f$mCjIXEod7LHak#|I0@1cO5R{<*eoMhO&?lia zRd3SHw0r98@b}0$LnU1$lP&FrqG#^9j!({0=M}nUG@`ng#cH%!zujTJgh(&v5g+=} zUQnu`;B;;v8cJ`OPnf>Qu%T_YSh3&X6gY7K8Sw|daHy#r0Xu&e*KLR|$ad2L9dJkW zn5f(69mMwiYnP07=y0*Soi(wLXefImyWAH#cN%E&yVHQDWMkSdY)Zsq3h=7TL4|0N zC29-WRz#eV8^}BGRwOQd83pJYqHeR~Xc0H)4@3_dH}=Qftk`Dk&Vtv~6Rh8OoD=T1 zCh*kzsg?&%F{TC%S{T>eS`P2V@6GS`EFc`7yqD*3vehi;U4(zSHDqN#JKgdvcVsJX zh=kkT@jemtEbJYj$HjVH3@U(`BhbLVhuJafF=B+GfO-~f zS1DPkOt;Tg8g!@`0>e!^cYKWRiv8R#F?4=>7L(9n4uv4urO2WS5>;9nw2hFTvxh2U zvZ56k=QOaQRn5uKlH*)k za{}w<8=AHmc8$!w(<}%XC0uowJ)*^oUh+155bzRO^jN~7i%hDvHU)K*(;#iZ zOH;2HB@nbCI&}_=VVCN_!baSwYZ7V&wcL&|(S=NMcWi1Ud9Dgt4=%iIUmG-3mq{QPIoH=dc zM>_I21D{5CqPt-wG6lY^$X+=;&Z?KpK*O{W4{ z5&MxKGDXFc09D(873lIaGLUl&|FC&Av70OJ5=1XvHe9YT=o1UdnifwD%B}=tRUV5) zXB;6Bp-qrupDE!H#N;rnQP59zaxl!u-T4_BjAP28PG7^{B92nM+L#D|ei(+eEl6vnjvBt*uLYzbKdbARufx*ilGhCQcvmyp-X;cq+De0*dT)*so>UnhkPU2FU_7H8Z*v{m)H?C-|>&? z^>vP&+~H9COh}yLoLd6YALvDB4=Uv1K>I)$lYnidhAg@f=3LmM1d`VniXjPSO0uP- zf1FQ}7`v=zWs@uL1-US?1ot~D96T0XJ9C;}d1o98SWPM%aux$*sg$)-xxlI;H`qLG z&uz}PQ03>&v#xt}aVu#y`h@tPGet*dWW)0!j4)-j%PY#*@EIq5QEq70S6N|< zXFGd0vMFudl(uH&2gfQ|mougIYwMwaJ%oRw9u2CZOXPGCC|<;Mk=!K7X`tU+y?id~ z%+fKr7Ov6toyP2hxc1U$bG3Pvu(Us3S1EKmcj5F#UE84((^Y`^%8vLoUrI1QMb@Y> zvI4VOum^If%NN4PyNJ;-;3 zFErk$4vVqfl9PF=A~?kWu}O}mnx6hsicQ!wbPY%4Yu1QgA1U9dF$I>Byfji2s`3wb zd&4E{m}r27+MrG7+%zB4b_?YfW6sl4lC&ImSMCd690~h9=FwA^sej-3Ej>er#W5(2 zR1u_+W;l&082%0x3!!ku!V}yeQuoeLAjs?p1uA>xQBe{Lf#^&9H6J?^#{r+N!OajOj7;E*qP;j{3ABKh zsK*RVwD?S5o*4DHPC70<_0#w7+OoH((%kv#?^q5>Y4zlFcBD*VS_QFFZ00*4W+_h?Cx^>|D+Er1VsRYyWIpFH136 zL8f~oj#RT9`c{(VN@~q=1k_cRnaSTWX&`&YCGpd>GlGl1LphNdkl*RUtx}j!^8C17 zo5M#nt08g9$=Mqhgdi(Qx@xn^@FUq)^0$xhL3V*DY(Jk=SS~fKr*8|FPn2}kw~3ij zmEx;5T|%g6FlDa7^b8DW6tZP2CRjy84ylZJG57EF4lNMobt3+`Ho<594dr9+`iWCB z*)8;3(rskv&HQy0P+=z`{QP=Dp-){B&zZk4^64xmc{-yKn}*+_ z{;MXepO#7hpYeCyhK_SO^{%Do+fLsTA#GAN$@x_sf_9`7)A~ zAb6xSutMsGPE?0bva&M0PL$aD(x^z5$auLE%_#IZhU!rbvJX`s?b_gx{lAc#$}GV? zIi8~4&HqeS)eBZ6!}1UFG--qsV-Ngt-6BzYJ9C%vP<4V*)ltmWl4>SVLqc(zI0_@+lCE4cgVXfC_F(~N2rY3U?3in--51i9R6mwxEGGWn9gQ@wn3 zImcnLlsfW+^+=?I zu9<^JRPwPMX$B=aA*J&`c;0OWwkH9h1Q|4(q3~?}j7f5|OA~xZx+2zEY^pGtt=a{6 zF1?AqBM5&t_bz;Ibh3%|r znFqmE3ZljSWs^2(D<@|4hKAgtys~thOB%%2fc7j}IET)b?tG#G>+cIUGHBIL!y-G! zPcmeNDimlk0eOszpFbNM4$}?A-eDKP;B^e)tJ+pv zSz9>(r0L^GObV3iD--YwkdLgH;&3BPsVG7YsoZDKHhF@2xzLR!4Kg!#DQj{BZN`N9AIL zJS05pPx1z0Cb{Wf61BPvM_oIj%YF{Sa5JHy>pG$3FQbnHjcgPyO1BAmv&Ds?K1VoM zFu01HPA&J>n)hu*3X=RbI-R_zT`ota?mHjcv{ank;Uyg-k0&vI0CL?k*+$PV+cz(s zx-L?_a~v9Jfpl?uJMJ}6?)A-n|z zMU+9ds(jg9(=CEh}+p zt^9cCv#B0Si<4}Tpuc4kZv1=2VDGe*ni+n_+`j9nd27=P#gtz2H{`mqAhJ&hvK^Bz zBT{8zg@(9w}ExK0u+K*oOc9}kzJDnQTdyw`m2YAnzqOUC=y zpeiW?@3HRK~kf zFjF38=DY$lg(0=T@LIOAnqfv`LWk*g5n<1|g|X&h`{Yjd>o&c~FEi&|&wZIMmwV?2 zS#(c9>ly2qh1ov$t->AN2PL~hZnZxy6l&aVEzEkq@AufunDbps3I((uLGe+jx~cDV zawu%JI z;x5q47;nFGl!~4>3D0B<0-kXAI}kDmFr8P+MPL)FqNRZx7O(H8wNhHsC}A=NiIxg+f}e1NR%B5GHHcz)6#Q*tUj+GnPn zF}PZG-|;0#Q%D`IS@0N<8%C8pC-)I#^=Yv{`%$ z#z-ais#)W-<%cKFUG9P=jlC&8akJ3Iju~cfhh}p@&YT0D0aAQfIC?6ETPiB6gpScn zEKK|Zs<_-}99jWX!f?%$hA7@sEn)=Bl4A5#idz=+d|%+3>t;0yiWd5&Su#&UR|+@RCL zm096|>|-`Ml*20ctnQXj2Tort>QiTy4X*NiTVJrHKwv>U+HkM?EYY&K?G@q}wV&0&uu7- z@iHN5YTI)EAYVx{quvr)ypl$REh|B!9UN6?Rgr*=YJX6wM(R-}KZv~z5`(V;A+yBa zhQV0F5fq-ldtL=a7lp+s_`guH%|y+%7}kxFVl#w}5)^pwjXbcP2ZzBc`V8Dt`1HhB zRD>69^6X=I(_DsG&-86k6*mBf#?Rk>dfoOo8zcQ%k6$c>hR zQtPC&nmX-P3iqm?j}677M;h#DEVgbr9`LGIGKJWvky2Lu5tYwwUCsMR zVmtLc^??>NM8wfD0$3a1+_DQko+O{C+z^~&zHV0#@QbENn~WU)bX^WG6#D#u-u-<$ zr=1is(XHo3&IeIXuVm*?BK{xn{J`$%DtO#`Ma8E60LGm%zh+}ml+(cIeqKj7)dQKy zS<--kuEgOYt^nGv-$Zsk&7PB*L7hQ_FnxwLXBb4%*7mCu5|%*IOX6%PNZt3ANta7) z|Eih#&2oocR95=o$$Rk&=d)NLT`I*&tbu-G8c_E^+cH_E=zePZ`!~&!Tx*lAg^q&2 z06B&{;mHHqvhbD2b&FC(`bFdN%sG`-d~WIyy*jN=k=jfnx=z)Kd!lx9Rm~Ytw&JK% z*URwZC$9@p>SM-n{xG2Qo>IKT#dCZOd;TQltI52_HYU$TUl9_q=MXbh6&|T=#%G&e zODYtCTz*PHN!pKkn+XcQ?uO%tvgck(8P33duf0S1pTj{0}6spe< z(kGrc*Wa>?v5U)twokesJxQa;j%1ANn72+ehnStCE=^)8pZcHrQA)**6_s4WD`tzF zJfEVQYUcA{BQ=2Y=WJ^eKJAiJz<#;`|1TDfqvRcofXH%k^lV9FJ4`-YF`l#QcdcO( z62o9IzfFA|XXulNJ8J3Fn@5-g#PP%Bg z?FrAuemtiM`X)Y!KDL%>s5dW4DzUa;)w#fUa65&%uan`X^r>5Id<`?`tnpxaxq8-1 ziTu-mOJ?>jYNwFToQGB*XJz893?;dnxu8)ZCtnHQc6|g5Cy?K$vKHUCgNvmcS^T`j zJN3-Pl%^x(8q;u!;`v0(WBR#Ibxq_e21aT3ItN4)k zQ$`7gKQYF@LO(@`cd|3mnB(yr_3SgiqZP}1kp0a2`Fd?#Y3v}>m!JrB%ITr@m8$W5 zi1F~l{>4Stw}F|I*8;7q#};;iTi1xO+&G&gsUAn0w}&s4gKA7TP$SP&-%$UND$N|H!26qk+T z6ILvliHvyU-#>TVa7UP9sUBw)u*X!#P>NA)Ey9-6=x0alblyyMP#T7PP5R{C*R+0A z@8HURlI?O9s|-J^czJA4Bha&Di+qg&Yl5=E-GrPhznh8mQ0uVJ&qH^GScc^O0=^K$ z*|($M-VzgNU$&h`5L&{MTw@NS3wZ`Uo$`GxeQiaoN$ggmB^I)csY_?0G975jc3eTt znCMW)VV*Q%dTbR)I?(%-$7BQz2`GrxpE+6t)QTl7P7HQx0<(L&3 z$bB+uHcuKm3)rJ@iPo&lC$Po0eHYE+)e+OQY!gmln+)Vl_qUw0GUtwO`lvmXfmyM< z`gvm5K=6`I_Xn=?C8J|}Ovz%Ju=#|Bu`+t(rH$r0VhA|D8F`BAZzVyY6lf_=bQ0UX z>PH@56u0ZcpeU16OzsB!bek{^L*Q^`VhM4lw|e@ruySdH&J>Dmcc{GTzQ(SpKz=o^ zq2Q!f*9LO)J@HjH^|vflIW44aPA-JLEX5B=qdxl~Yb>fF5Ab~(_AF!MTQxJ;_3uup z${@(M;fi28E?fPqbyD+a(;%r{xNXbT+78_Xe#zhx&<{7|DwDGXMuZ)zGSwVJpPJ5! zI^1PwOEX8#sOd!}S7A-g59BBJA`2z&jwop(=Rr%6=wmDWz%+gQ!7T9uonA?#cprM{ zx@icX%(~Pu5@=mLn5VhgP=)et;Jz(LHP-d0wri>uQWc!{^vUU{#4H3NXQn8&ulpSi zBFYH7;nR_amj9!(qLKkxDi1caSW;>_B09@0Uw|7Krx1Zp-V|mct+2O$$T=%f3mv9% zs=k)POHoMjN2PJ#A~LtbhvP7QwNQl_RGu2~V~v#`^S=4}2{7q{;z}s61c+H)mm8`0 z8G*D8EM&@&QG7G+4)?@SMzReqda{-*D1R0%LwMjnNkTtS7f8up%Ecjl%2W}l-?m1( z`Y|qWM{ElIDZ380>z332n=$ml{U1n8Z=8!a9tIBwFZsBHfTO$(%6@WU> z$=TB0?v)?H#LCIU3ecqyb+NQD1+emp^6===0+d{goIsv{*S!IMY%_2N(IPO5y>2>s znjI@jrEn9!lTW?LjC%C z)%$2~`lf>Le^>d3X5#JyG{O=Edi<6U`6JQ4TQ^v~9@y6_W`vC0zlCiL| zaJ+7^__vIMh4qyz^lupp%PYC(|B$`XW&TT#m6hX_7549Y*?D{w#~Xa?}KjSlHNk*^P}k%(!?=O?ga=Ot?9WIDn==Q&w(P i6H`+mg#Wk7pBy)5(Cf1KW8zrZ-%Ox8jolI diff --git a/img/pdgsimple.dot b/img/pdgsimple.dot deleted file mode 100644 index 4adfc1d..0000000 --- a/img/pdgsimple.dot +++ /dev/null @@ -1,30 +0,0 @@ -digraph g { - Start [shape=box]; - l2 [label="a = 10"]; - l3 [label="b = 20"]; - l4 [label="f(a, b)"]; - p1 [label="x_in = a"]; - p2 [label="y_in = b"]; - p3 [label="a = x_out"]; - l5 [label="print(a)"]; - // Rank - { rank = same; l2; l3; l4; l5; } - { rank = min; Start; } - { rank = same; p1; p2; p3; } - // Control - { edge [style = bold]; - Start -> { l2 l3 l4 l5 }; - l4 -> { p1 p2 p3 }; - } - // Data - { edge [color = red]; - l2 -> p1; - l3 -> p2; - p3 -> l5; - } - // Order - { edge [style = invis]; - l2 -> l3 -> l4 -> l5; - p1 -> p2 -> p3; - } -} diff --git a/img/pdgsimple.pdf b/img/pdgsimple.pdf deleted file mode 100644 index df3230d697dfc6987c2294a2d316f84af5eef32f..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 14019 zcmaib1ymeOvo;nS5;Qmq!F_QF?gV!y$l?}Uf(CbYcY?dSJHg%EAy|;`FK@p0es=$J zcXoHWtE;Q4yXTyGYUUYoc@Z&sAOi~`dGGGk?s4JItjXSfL{5@gdqf*n#w|5M3a{6UQPkIo|c1Kdaq0 z(vtTxcoEw{?#AFRHTlDL!HbZxBM>VLdS&W0EuST)YX|_WmZuq(Z*<$#p1VGB5Rb;1 zWVX6GnP|T_--S`H6SoD+z7U^>CmQGXTYe3r5XGqeb>F{I)n38psW~^B88NTQ&s%AY zg6oPnw>udo*QaXV$RURcH<1w7u%~8k@7(fqP@0rF(NOT>QTO~j*lV+Q5&G-bWTeNJ zegZ3rAU#E2lwYVis4{d zsH5H4v%b6YS->rTY`ilwtSlM%QETwc-Yw7kdz7r&GwK~*uIa=N2&;02>d{8R-p1 zGIAm3m=kH^KG+SoSeoOEeF%4a9EEUgDngK1#2w6-C1PuaVh*{#?Hkja8X0@LcN4mN zPJNhWb&a@%u;ZU2rHO*Sqg|zLgd7CB!^FEsK(RA#(JUNsO$I+!LK{beSGRzvf+Pok z^H*o?Oe#J2oAl&w5|%q^t5_a0+23CugP)XYkEZVU*KgBG|Re zT*BrmZ6CsDo*jE7v2BSFZ4P7QfC#F&4=Q%BO++eq0lDbyA6dIP_b&pQZF(Tsn$kT#fGM_ z+iaBgjUGLp+NE;Xjb5}wmr0k(Tbc9)r{inMQE@$T*@go74gm>KNwme5PS}^OEXCEY zY5O0nf@Qd{E1nTrEnT=paE|wozfk|WbbPj6QlxaQrz?AbcCXejvUXDn<=Q5S6pt+?nimv82lB9ycSU4=Q}>x6 zc?k;t>#Y$yG-{V%fVyB|lj(hMIUI8-cgLAyTlP0HHtdy1JfvA+7J_su!#bO%~@*C<#F?&pNgM|2SXfjhv?!9>dOKrLGq|=vI*< zCWd!_sm_}x{Va(5`$vL?#@ ztf+1MVCNUI^Xbgb_%`4zv44O9>F9)?>Qr3AU{-ZQreYiO_{GF?76for2@|u45iZ=U zK9I5pc2DMsO~cp(2`+ZgL-%#8?OIf_DheBS3t!d2z{T)$v%4>07IBC}9YXT$(X7rV%jXZBcL6Pv$-5FjSS?MAxF*iEOJ(xAyRGHz ztK(1dNhK5<%`qtjLG0oSvcLmdXhDi^-l;Jp$Y3M zuw(B{(P4;Ak9#pj$M+9pLHH_+L%pe3tea6Z4%UsdJPtFldO_&+B#<~|o@dGjBBHr1 zUs;g@XlC@3BGx!Jq0D_0i}cyEhHW*ZKH7aQlsCpZ5`!+b%)dw4FkhcoV`Vw`xb$ds zI7tC@%DW2k-O*XJw^D?7)dOjG0%>>w9zp}dheic z-a(?OLw0T&8^eg-i$Kjhwecn=7fJNj+@3Lb8?`Lcb;wiL&%Jm>lX3`?!9pO4&a!{> zqf!MvHnx4K-lZIfzOx7FSr^vPpW){W7Jqx~qf`E_f zEo4fh(32BOd&o=+2HFFT$4pzQtWY3is4;o;9E-zW(;Xu}I3`~jNG zn%@n|<5=q*5OJ`*)wC?S!akDO?f3ozF_LzO^`^8SsnXspa-@+Rc@7*Ca&|4$Zgk*~0R?*B>14n&EZ6J!HX60$5?6AwB%ilAxybQ5GQTy%#Ha z2;jxLM>a%Uu+re(cP?*AHDdFjHgvz=#J_-`^VjQ+g%=ovhyEd^4v&8+A{3=g28l*u z5lxy0RVuNyYV{~ zpI^TD2D4QK>XfDYP6+I1sp0g!s-Gi2YgHyzK`-c^@DQL5bmDFi*m^eNXfs>0mBTc= zoeyjAKJG!;q_}ixrCGx~_kG)Ce_`;Iq#e8=-lDNNvG73Qx#=`e4Ndkb(l1%v> z9{fK1vmaVFtAbCFoC9gVJJ()q1L~@X1;JKH0t(q!OvwPU_ljiH$+bSplIEm36ucB| zB(X!>M&foj8Ung<GM5{B5rEG+*OM3Ku&74eBv-a(9789DL5oAM zLAyc8SxD{^qdKErg~E9@pF(C?W?qMQhnClH=Oke1bEsfyS5bCIc87k3e(t8>hwsrP zKWK6_b9wqX4eP&zT=H#eQB($}OU6is56LJk%&aMYZl0)}K(^R3rC=>#YZ=I?T+z@d z6`RZA>iIbMHP-6@?C{V^S}2DQc;b*tK=%7>n%-V_TRLyv&~ z^KHYL@q*R8y0T*Wb*GL~51tgA%2n(Z*_Mf0)LYU=ibo(EZ=g$H8|vMHgA-MYpT{iP z@xf-}_+{8O9Hl#D)wE>cdb-9q^*G9SE)w$li}y41ICek2Y&H_uMKc&Ngz351X3wZB z$8T#MKa9%EhwnS}TJ^3j@Gd?#KGMGZ^fp>NbRe!Ub{}s7NjE65LM>XYq9Nwa;N1MY zkdK=$m@k|Uqur^!#Dno({~7Ap>0$Nf{Kfvm{G%KUCrl~A0b(AE7>p_$9}+VH`Wr`> zo-W9)7GGk_(I1F^Gr4%QwjVdmlF3vFY2BIRuy)6=v zgHwazq2bt{u${$*#QQ{N#brd@MH59oC92bD)a;0bX@&s`c(IA`vE0d=?27NERzC%9 zpKKv+pE0m#C)AuQ+12e9k4%(D>2+y*p&`O2CR~5_5{%JZyenOPt=Htd3o{?v68IRi z-%q@&Lg_p98v4=I6Nw|5~Z1zkABS+vzv^15yhH*<$#Bb>vi7>KM@^2bQ zHRjc8CgPyXVTDn&z3ZKn9qSRop`SyKo@~Z!&W~bY0t!Q&QWuRiI<+2$f?9-^n|#-c>X|l zq~k2l%sfXCM;v>1cuarQ_Ll*h=Zza-cZ`xld6wL!dl*gnAlsG_&Vc=7Q_<*v;If-PaGjr_%|?3F-M$U%p<4-6p5h44ZtKh#tpEOXbRR z_Pi46_rDAcejmuK=D^onyEBzuURl02;*(gRd)Z`HyxjKqq>@--QqHBrH*dCt35KCu)LBA_E$Q8DHXm zRmkTVb>Q;5#cQF!{IKA!PLH)b_F8)VJrl<2`n~A|t?}f#W z<79rRwW4;ehq+s;eWQb&X=k(Zg2Irsl6L-EpXcmH!|Q?Q!xOoCx%kX*e&??UPggD! zR>phlcYZ$~{~LDy1w;SB+U!8)zv1dDuzi(*F|eetu#mnz$O!NXVHE*7f2+J=@4q4Q zKcTt({|{`x;%7%NMg{^HKbaZXgVFUXwg=n$7my4D{+CT*eFuF@8 z6>0yw6Mq45MkPlBhriMVWjjaEAMai#@uyKrSy@$Fj8@sq3S>{OXk(>s{Rh8`fb0$J z%xoQO>=1!}oMRNV2H!9OUo7W_I=t!lwFm02XHOT{r!IRDjIjDXN(n zIhg)6Nj4_LSDgRPgN20!@cMg|FthzFX9MRXfB*iL{p*>H9h}PihoygQ|MxN*+iODe zza6h*fHNRgR>VK0*V_Mh!|}SDe~!O>`J?qmgBjfZcdx(O|84vJJ6n5Q@P97rpJkTS zw*qH5|LZ1L>YIS~7`&RV{e-{?8=@9HGZPDdo|Tys0OSDs4rJzF2Ipdu;H$#SP|(`M z5(IXbQPAG-H67#tFDE#C`ct8QU0gQ#)eV0EqAjj*rzPbgzp$cL~1pY}q|9K_;CHVVN{5!+@ zNBa4v3IvbK_SfY8k6W^BZb&XlD$NI)kJ0JQPP#HF;y=w}3M6A|&8F0rtW6cO^5wJq zvFYmLNVC+@j6@*y`{9&ZnRAMQ-tHCUZb@hoVSGhVJKhdU$2Ezl*v{G}P?%6~|HuM8 z3Z1gzb*e1Zn(;X1-0`^DR-^mk_I&JB=2ey+KCjE+7iY?o6V23Uy@5x@$4yCw@hz1- z29u~5g`~h}mQAgcHZES$Zy{YxyUtZ5yEM>kd$lAGRuy~r04gtd7J@473tL`($-Gr- zyZl^)u-l?a&$sEDX2xs+9S+;)>!$?AQ#MiXk#?(*^U~+Fd01D8 z?f_)2TrXvC`lcYE<7k*uVP+8$qBU5*Mz6%yFq|Utn+rM>l9An%9gWiXkXL$HJpFS(Q(P-4OANez@)JxxNGtVY4&lWJNh~i!oiCW1&8v@(4Z0n1EuN1ho$vEnz z9wo5PqF8-bv7%8+HTRcMF;~*C`cAjzq-~#Q90@xFaCeA2D(8jZanEDkN{a6D;>Naz z5k?TlKF2#o6ukOYRW2NXE7l7A1_zmTDFR9W0&dM$(V!VuyzknL0PDDe0~wiG5d?R-R^EOf0?sYR1v0P;Y=K&cQlHExYTsTrekVx+(4W>R*aCuYAc zL}E^o`l%rB3+9~z4es%kp#3csAmyzQkjQ?=$(Z`<$``)s$uA6PAP775w0NPbM}Y)x z*1dZGRPblJC-&-<%L*B*h%Y#syXDgnnWE)(AMw$7J|??mjQVDDDzxg!a}tG~IDW)i z+`U(bRezR{Ca}>}i~))h9`fxKF-YrTVJE6B zvd*LV?E(h~cXi@XIi!RA5ykJYR(7>H)Oz}wsP?y8wGmAAkrmV962Iq56>HPPOXY=O z?x>m%?(w7h!YdB}HYG{*B}Ri>iE5$0p+@5N z6k2VJiLG)k56wgn^kScn0nl^`M!{ynR0SC?tp9uO(cpTCu>X-i_-k-e-JuqUG#iQe zo!IB-ob>Vq#nN<-f9`m&8qSG8;;rk{bH?>Mzu%*$sj8_g%W9nIxjaMwta0SiV?AJF zN*=UuGTcYu;!#w&VXkKBle@Ab=sdS%O12QxycRdHxA4NnRiN(bS~wiHojIPlLdIl^ z`M##P^-DtgRY6!SxxHo;aG$2Bya!cgwUp6#3j0->6`FBT)lA(Q)4hOm7j|9e)hiVI zgbz+1au%G70zVg=i@Nz;5ep~zUAS6PxIoA!x|6)1>OgVZ$HCCdr-|?x32XiEsLZq! zCC=eI=>#1ZuE6Z(9>`qtu)e1k-Okbqyr5(C-OJ{#Mdip*e8P_tFuQ)|hUR7|)-zd; z_57|WYrf`JB1D2fpgeZ^H;;t~JcYMm)%dHK#Nv@zUg9P{;eKZ3;xxa}Y)yaRz=Vu6 z<~XQ+SUb)}NK83AhRVNOpyUU)16wohk* z_^uJ%px4&BN_Mv~{Lrn7?5M^y*98g}g zhy8v-#n?k+4qKPbEo@=tqtR(SydKA&<^_DA-GC3B5qNQO+0O|-aI3{Q^}Si~kH}4& zbnh&A5mHL(`N$55Dt-xfkA$e8NduAloJLe2e$az#fXYN%DRW}gG+jm0uv){R(S-5U8I*&AcJd_P2g##w%omaKYsp(dAB1 z>4wT1NdeKYp34HTfA5XT9F1z6C4xD>NoEc8QOg!_0u`7pJ)tli6Iw@KTGArWTgJ?(*;7NpVB2IzEM{o(g&1P( z&=az|WDxUt%bv%>D)@WuKh~J2MOB+XKtQiUT$`jpn77r+^h-XV2+WexzcFn((xUel z`m|~AX_P0HN(0TVfOmY9QIW_5n^9*H`WKI4hOUXR;;3`bFJ1%PH?E0D+?>;Uv(zTA zcRbU{b2263Q_saA@Aya{Zg#Lp-l1j%_#&qX(nD+M^9a!AiER6ju7~RFPqlO?BxkplK?{EK-j?`pxt%TAmXPsc$Kky_&IuAN~E#;mQ@_dy`RokbVZQ4sK%sJ zoeCQXD;s0a3WWhM92|m+#Uin^!E8gDm-(Cp@iHbElhP3G1!MNu9qQ0!WIaJ3z_Lw% zNqGrTUPp%aUG&4ZIsrZxH(;rqjM&^1fA>5zKXYl~9jEwscU93k%dg%1C?B(+-jPhv zyqLr&*xotcG%^cS+!#0&H8c?Q zBgA~kLSiL8^hcYMjf5zM50Mtkl`l%SJWc0Ca${arnhT3MdK2RvlzwtDlm>Hnbn35K z*>5IIvfAALG29-I zc?f9nbZct}9we8Ir7#;`T(!MbZ4e7Wd|f=obU6`TGO4v4(QFQIp)E^95Y=Azb8Mf8 zvu(GCb8N>%r5Uqr={K~6skHB2BD-(avzQ+7>=Zty78Op~!6OWIAnoH3`bCnkGV^;^ zLOKc){cz55lHf8`6PwLu9&7<93r9gp!&Vv$#!6h>)bRz;Q|1iz5yFG@1FkW#g|TzZK3Sx#@tLDp>b03hNvrm6`wM;TjomdQ zPX?3{GcKu3u2PtY7GD(L3IX1bhB2y)5_Ym*>NkZd$%xk{jzdY^y`Tyel;=2 z2a#~eZpqqKNt3Owo>DDOW2X}bZwojA-+wh~x*V5uge14OwtQ^v zg15Z6B-Bd@c|QvE6}d>pc9^PklMCU=)IVTa!lg_^4~7%hm^R}FCVr?$8aH-m=s72g zBeiS+cW)?FHlN5BZ}fe+8M4~e%&U3KWCu<2xz^iX9E@g@=b3e7o?TiAflj~i-tLWC zE!A7suR5-xoNo%Aa7J9}s!gb$@!QKmm#vMZckg%dOha3@&*MrfDW>F*(}W~kJ#zY^ zF}bVzk_$dJeqZ=Z;H<+RzBrRGWHB~9=qNqcXCMGXYZ<0GGlZz1AgH)?&KB8o!O@r)q?J$A)12s$I26<)p{ zmP5X#Js`YB$e~q8D^vPmpC2PGrGE24l*YV};ge(}=PnPuMhLzmHz|e*#V`BVBG+oy zYUZVCjUrK}{D~8``#jy$$UA1fcuAtbM-`d~E}k8AlpV~zBhGHOAR|>tf@#g5!DQJm z3D^um7Z2hi+F7%b=ePlxPhqf13ew_ftPyri&wTWHu|W!26;5otH_A05^hSK`W<`h1 zE8-O^wf2kQu8fTh@m>!ks{4E$kCDXZqg5zgF0My)(q{|NnVXAAZcZVCCj*}qT2JgI z%k{HeVmDQxcUj1g-L~Q2rhwv$ubFGw4s;<6){9DBxP)8gB{9?wFR|>OBGbEnWcziI&+MMU*0!7L{%q zYGMVQ;VfK%_M+ROfP%dtd4w)h>asHC6a?DecZy@FN0&69ewMEt9$)T6>$f!)y2d|| zG7{C$FIR(mAFZ~{=H^CTCuc8fKi*l17u;2JiI~I>U)=tE6ftdQ)dL`g7$`iH_XwhjqJ#EslqM70m#~r!~KZjd;1W=g#323s5GJ ztNTlC6Nf!VfO~w?3!qsJ(&~5TXbyeODiU$5vN`7{s7i5iD&E!^88#BiqG5R!Xm#2- zl|5)QpiC^m1e*}mIm+!75uM2&*l@NMPQ22lMbN&0agghr;TOZK)!O>-`juTU-5!j}*VIX^rh=I7A8`=15PJ0&Dd-q9 zRYb4|uMbCBX}EegyV=}Q5CTC$b!-`Z7BDE)6w0kD#|$-gY<;Rooe_(rc31cNbE* z_z{y%#4I*eb0a7Ja)d7wm-W~2=!1o5fGQ8Ix=!)ZYPb<(Ierb+J1$50Ytz=%qL~s^ z$&uYvPI-#hPeRfhc4maDem_W4`y^%#2zlg*7nXC>RY-MD??fvn_^q-b6fvgVyKykR zsT!e$S#kxpzJ$_jW?zoYmT?ehec3-5Yzy2MPk6d2o>QCQYpHF`sXqEv(p)c=D=eNV zUHJRDd$(gM4x0rl+&16qv(aX{R)AW)XhKCv2#WSyC*yQ}`O1nKD)Q}UMVSSjZd=~| z!?*J>RIKgXYnbTw7qC}BZl{k5cR6Hz}MqEcvU9@Bc z24!nhk>R(AO1m0}2v^uO>nU~kiXXm6HE;j3Y|c8ktbHSLUzwHE%RB;XG37zY=Wy@F$MIeUZ}2Qc>mBe zm==Tyn}qKCErdRx{1|Y{E9vF1w@2`>2~xMQ)x$*!+||u(BYlV^?ufgUQh`(oom_F8m)u_Jug97;A4ofv zG*20CZ&=42DA?~5Y)K?6Vc{M(kZes%1Kcxt{H|)G=oGe|X-=ZI?!wat1MXbNbWvrI z&~tso$|>HM5YEs@DIU>@BG`4zGX~?x;#HxIf6fJLVVFF`_#e%s5X6p-1{K2#jfELv8lo_wo`OJmOl*tgvRP< z+RrE^r{}t83MPu{%IL01-H<(V7m^7l_yp>^@=i;*KQK1>>7jmPUhm3(J;?yh$(b$A zfdiNeU32jZT*1Bj@zdnv%-RY0ID!TBEu`9h{nrThd;5{^G|4E(Z)YzzWY{TVx5Su> z=_g_8->~poQ!pSOm5?lFQxcVA=+Z`qz*Fq`#4dapJ)k~G0a<9F5+X7@SxuZOG_ieGUV+8UiVl6T`y_5@%v+|`ldAN<~NH5qOYFFIXSM4l@QaO0*#SLr7~Ec*Let36HzEW^ zyh9ioa_G~-bZ>1Ne<5EaTGCJJ$}tVz0&^yR{${SpA3dS%>cjT>k_7`7j73u2uDjE2 zO6M&UY^<$fG>|hBTCj!gjPNzUm+JF*DR+LmV1XLkncn!1M3sqSsaai>%wflg;`i7b ztj!og-18A~i$<3t8~Am7;tE8dcwvU+mIaN&%tyO&gL-c(cGqp1ucns|%t~L6#unq_ zP^ctxkDksC6AuanWJil|TDK=ls^yGk_LV3JHh8aN$tq-Xb7*Em* z9U_n^?5R6R_CI_A3?IWky%D*N=z7N1^VkcbMcH$0@?9;d4VXg<8SL50 zwp8t|#x8D;2yrdWkVu-Nde~V<<>;WM#YkGG9+o~EY~8HXm>XK1^~$Rsk#L7>s-i07 zUh88D@c1`vlQ;H<6GBSY0ypUBt*YX=co8Y5=^CidwpJt1xz#m~j7=#%S01M?pDvh1 zE>S=7I<47kL4mGLu`Lmfp7YUQWl4VJ2I_C_MhEjTNf!RPI0@=LNY!A0ZK zqYZ;JEgh9$znAyYqhT`qqAQooeYe9PS}eaMWKCmGnexVJQ2r=bI<30ZnroKRdatmb z5-`#Mjb@&)be+)m)ST~XK!Xqil?qQce2`uEjEGSfPzIeQL*JOR;m~O=+OAZMAO*6f z4{xCtoyEsU9hNy(S2dR9C|9ex{=KL~x&JV2ZKEJ*@to33V$Maczl$imTKb4H%aud9 zGy257;158|ru1_?)owAQZkVZx(Ar-ZhrBcSIr1SzesILXg{g9&8(zGXFX#OxqJi!v>>h!J9?VJU z!JAMa0z!IAoPjCvc0c)`l9cNLI$4Tp4oYR+mT%1)I@t9tVrQS)d7N1s;>9Ryc(|y^Cd_#sY+cC~$VbnQ4B>*!n=H^?F zkwa985+z4fV&e15E>_UtWVaGnR#l5R@wFq%?7dx!ib>}kQ4C53c%Mg_vB$k>}~_6J@3xx@qaZhE9{D^YAhs~RBM zOQ!w&D3TI8zG$-J1MWDUMaSb;(O~V09ZPoq7KHXYw**cu{K0m5%1ImV6Y&k6rAWV$ zL~KJ@Yv#mwI3cU*xH|gUg=X$rrFIqvy#tYh)hIV7_{VQo^70I^w3v?E_Ej1TvGh~^ zLS0eP`V0ZwX1$*d!yI}G#L*i#KuY3G2lI{!$&gkYpM~QMd4l9sKt@~X?O!}optInW zwrzRLpvIVHyXawDvmu?CJr^HRz9eC~J8Vx~LcXJEH;BMo39vyseOpr}GdBP;11k#y6WIJ;O<;Q>uY_hQ5pHHCAQun_WMc+`AIfuT zGBHttzhFHX8>3eh#Q(p_KOeBW*ny0}1PCA-BGdnT0PJjRENlQ{z#kcqg@p~wQhEIV ztp6cn0&;MG7v|q(tQ@Rhw)wxyn3$Ns{Dps)0Xe|rfd7E4g~Tc{@*Hpcs=$G;LGN(jRUf%pw$wlSF5dR+mb#99Q diff --git a/img/pdgsimple2.dot b/img/pdgsimple2.dot deleted file mode 100644 index 56bebb6..0000000 --- a/img/pdgsimple2.dot +++ /dev/null @@ -1,27 +0,0 @@ -digraph g { - Start [shape=box]; - s1 [label="x = x_in"]; - s0 [label="y = y_in"]; - s2 [label="while (x > y)"]; - s3 [label="x = x + 1"]; - s4 [label="print(x)"]; - s5 [label="x_out = x"]; - // Rank - { rank=same; s0; s1; s5; } - { rank=same; s2; s4; } - { rank=min; Start; } - s0 -> s2 [style=invis]; - // Control - { - edge [style = bold]; - Start -> {s0 s1 s2 s4 s5}; - s2 -> s3; - } - // Data - { - edge [color = red]; - edge [constraint = false]; - {s1 s3} -> {s2 s3 s4 s5}; - s0 -> s2; - } -} diff --git a/img/pdgsimple2.pdf b/img/pdgsimple2.pdf deleted file mode 100644 index 2690aea9749d5e0fdc5297c471f1d64c34696c14..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 14814 zcmaib1z23mvNbM)hTsq~xVyW12=4AK!QI^n4#6$ByL*t}?(PH)F8`2o&b#m4_x|tA zo|)ZUUAwBgtLK|lz1Jp{6A`0jq+Ncn5 zIy^ImWH(VZr)6K83eV>0Yxg%BH96pSt%_-W=_PCfqg1wVHQ@;askw2&t*r|_;d8%2 zletl~8I)5`hOLI<=+gT5iM7Sr-wu=-m%~u51xYpGRPH*t9&a*^hH%0o8Dn`?Y@>y~^jq zn9XY_J2QTEv{*fCc*MwLxE`qO<^gCe2z!Kitc7?$Jjt@{=~xM97tVrMvdLz$z&K%; zDuKTRtcVF&tRKyZsi*Ju4}*OJ{Avdja5u@`XJ0EQ$7arbGM6z}T=G!R=qgO5k2(1+ z6ic!3c=Vxx7yKod4oR1L1c8`p=eG@xp^B%$WEHgvUs*QnuN7YpbXaA+l^eKC2bs;3 zmKd7Aj&I{Qg>$V$Iz{aK#11kW&w1`O^mbW|_{7Y=WPT*p6vc|?Gu)!PbCSk0Es$I_ z&MOd;TqUES9VqVgGVx5E6CVRYE~cdS@cC{2~PQj|%LQ~Js)_}OL+ z4bfy0=|>h&kO(Z_1+^%YwwGXHegbV`UJ``H>xrvVx-H`c2Y-IfhI(GDca_*0L>A5N zS69F{sLwPWhNQ}Z;u06h-nJnZ;wWU-js6iYFeu)*aXS4|cyGg5% z{T11dMeZS;R@iBy4w^_==ad31sEE-nhLyG!tC)^ph%AN>^2}I@z}`!k3yn6%0}Z|! zVZ^N!f&ckqiTFmMu3UU9_!N>EGN1z4th?MfKE&A}qvad1;{5os_TBjX%rK6}P2^Q8 zr%!d6*HQDtBky*qF9+KCIY4vV)ds`+Vcy5(WEZz12km{b2;)2-X0eFvY@oDFDJgzZ zUR0hN1jZ(}6Y6F%9LERXO)4kdfHY}kZuUEhp}+{aa9M$pB!p}|?$9D+LAM?uF^VNd zq&{=ZDuCMbav^5HxzRQ6$T@s4T4#=zM7k1!G@~aJUrH=}$AP)^FX*|+0-~}28;xWZ z-C)yN(neYaG;r#I;CyNqF0@P1!iEE8J;im=4kDiAG&Jvs)_?)}Wry$KS3-^$$sz~H z1_aiqv=t2K>)wun6~^9jdSw-vh{Yly0iYi~HsP;b&$UL(@0aak(WYvNAtJ8cF&D=M zNe)vTZ8(mWzOS!`;J?Mk0>|f*k}+YOde8jZkx^b(qT%sKTsBnwVZA7hLS|O}osnN}iOb>n@}amul= zLY_w|SuSf0^9GI~Dp9s9G-=4;^)t>ghXe?ObBwQ$Y@0QO-!zaIGP0YLO@H%>efQ(V z`$l#~D&}4cDY1o0wR*JN4I3iEJSahIOB$#5nVVNKMoegk3xgAdYT7xB6WcyEHg?;}#@3wa8svBfh#Y<_#qHIka# z16C;?%2-S@)|&)cObqOrbgDL%)M=qs(3|ITqB$Jhe;8R#@8Ai_NRSSBj=@Fn1n$-q z66uBlifBl%342BI$B4?Ym~#wKA@BT^uIPH$`32q!jqI1od&}#}ZPmRGAJ>%R@|rlu z<4!r-^-Et=rG320eIffqUW~BAmc#>4FnDTXq*Cy|pTfN3A^thJE3|9-%g?P%*1THg zrpnIzXRM7*7ZN`S zPQt~7&jL|dMUP5pRKN=X)@%#_j3{rBF&7Kkb*nHbb}8^;4|}D}aDbB94UYw}RW_+F znPU%<)Yo4Q@SSlmq>@5nH^qm!PWBt~oFv4MGZ47)6Y^zLA)itQyo_%0w{7%P4O2bE z-?>X8{7761hYEWt$&t0Cu2@fe-!6rsha8{N$MdX%#RX}gS~NjLB7{0aMcjV4o00oY z4(XNx&r&8KFL$3&vtTlWi}T?ykst&SJ3RO`cd?jARG9&)CjA(5x+{=&3KG?h1jCt$ zjCbfHtA0z3!9a=IA`0Fm%t!Ef*U*Nj&glc8NRff@4{Eu0328PDgc0pZ(P=HQwYj7@ zCe5TB$=9D`9JvVz+i?PhHovh&8IiK`<)WUZ$EF>{R6w?>}?GdjU9oSAZH?CKzb!( zS4W^WkY3o<%GO@dPT$ZN_=e7e9T=C z{Eh1v-}(aT+-J}*=mp=voec=t0qI4Ioy`r66~u-9Z_JmGH-%JAu<$2M+opYn1{bal^f`m7ZKfE zjkJV6D`&l0OM4zvUtipBoL@9O^O|n~lY8=q>Ty&9_hrdZL;rQ$t%de}r0*628x%KMvC?)bMp8B~vgX6J`#4ZW+;bU!~Pe(H?c{P)ah{P7bd67)~2YW@M|}S{mtQ zUL;hGRto8cX`Uynal4Xa8rbeF#q{*uw@+XU=&8D+`(!y*VN9avIKRR!A;91g`Z(L{ zkt6Oo%`(AU3r%-Gzb8q9!gup2=DP2=^ZsyuRK6fP8P61q%v4{uIw_-X#{|0}(MbPL z+mWaYR%Z<(u)A3%dj!o3$^ksfl8*X-{V~hmcDOT` z^EP$l*P{w|Ar`+Mu_OkwvFL7LQK7WR=qMs`^0?9SE$Zub7pM8ppsCJbr4ibVh(cpV>_xY&LRO9PbQEbTcPiFs~p^xh6^2AGW+;!o-jyHvH}o zUdNiKjDQ~|Z8kp%5-IN8AjTNkljhRkAlHCkfxZ%`kV%kq5)kGBP&I;l3t#|2#szTa01G>?89(<4sL%dv zb}(8{s$EES2#CJo0)XIdX$J5$KXW+$b5x96!ID_ae3Vq7IaE9iI5%NIISzEle&MiK z)UN{f6J+19sRBxJgyndzi5+oU;IsoCvSBBHEHKaDUV-mYAg1+^7Qh;O7pu7O;lz7J zHbh)8zQJO3EpJLSVe%n2_F!$|orBQ?>Gs6K3H*SAoD@@o!@Cd>id7>4e@AE;N0bjy zESeUJoR8NWB@y>!2NEVEM?VD{a{y;ML_KoTKt+GfK#E~D#V|$X6V@J^2`aPSy?=qh zY;~a;c^SVmJlnhUDB3<1y%;^ss^n_O1^p9leB{9{oGpAi?%g%&?^N;M0(3AhOtC?I{enNcfAY01!#Z5Q#9 z@}d`yXHLFK-X1ECFO9QIJWlo?l}(sWc1hNy%Ock$^pScgd}@M_?-uA*^vkPK$r0PE z>){QO6iv%bGzc|FGYB&X*kbLMCvE%c_q7pCwpie>YKpXg5Lalrz-_9jPNt4)$#{w3 zgE)Ks<8=IC|Mka%_G@@!Qe(|sie3C&+}+w?1(+TNy*p+FoPx;s$kxc1E0(?H@$Kvb3sQ-6&rnUK~-aORX(oEFhe^5w6V@|GKZuT?Y6`&>KrUi&MZCc9vxR->Ye zkgPPl8oh3%{8-lidONnGh9Rh~v3 z_W*}s!gr`;bJ?7| zJU=}1+|uu<5qKliA~G;nF?DH9X%uOXX+Ek`sza+;*Bw|3Ew`B&WJ8j*VQg(MtM1LTjTg) zRAxSE-?`7aZ*_rp@ww@d8bul#f0=#aR&_7hf1( z6yN&}=Z;b@`aAt+h-c@A)vNjQ{fGHSStt&uGWY{PK9m@g3M?N26FeHU6I5?Ecz3J+ zNBSvU60I3b2%#ro=O7+KCMQ6ojL_I{4MWvI~Xw++W#3D5!frY%7AMr3eNSy79Z>LtJL$*)00NcOl zn6;8>PnPWKcZ)~HD`IuK)xS^?;C=kCj`|w*zNdKiQ^mDzv&$~je0*!jiwt- z?K|VAIH=^nn!rhsS;6`ZryAW$zn$WQ*n~Vv=HkiXpXPyecXiW3 zr264i)Y{CvNk|dopKpmmhqGruh z+&F7ke)Qem^-kK3&B%wLtD#44RufhiC({n+m*A&v)?b#$fVIbKTl! z8axWJAC`{*9ly=z$E}=YxuA8w{>o-q@Az@7gW@3Myx1DN`*@a#$g}7c?p1O~{+xBw zFrg8yku$e47uJx^X72IHWBt%~I^)CG2U`C0SI_Ino7A-0VN>bxxG{`x>6}?E-j_lH zK^GBWSRq`hj(jb3J5w1IRTXO^e#wjvv>0*#qHN8+4FkiwV|dl!A-*SuZj1Svc1sb z#pBdsbz(>2<>KR!_mQja)z|&!Baz9|+d-X_FAcYelcibSE|2Y|219-4mXpV+{8DS* zJ2)TaZmjo>4tAzp%+Cso!q-YW_;384a~=(^2jdP;Wbb4Xv!eK2JmH@%UCFFX_SSC$ zuO9y=?EV8o|6px4My7w@>Km|qlYua>q_D7%zJsw5@D0K$0JZ;7dBfiSK<0lzbBF&Q z*nY#$P9TiT2&9)bH*x@>Yo@>K{Wp-z$oM~O3hO)STiKfah5H@;2K@hm)o)1q-#hUK zh|?=N894q)7nJOsjQ{H0+aUgGlu}Ys5f`IYGPgE%pjEK7*0=c!zl#_<7}}fLIojF- z82{=Vy{HXnpViz3=hBx2_F4vxZR`u0F(CeUWB{@)cwCeRR7&5az*{tS|p z0q}yT5N5e_3E>V)~~Qp#9$i_%?0-Gamn%*uN(Fv%WPb z&-q`&V5M&giZWO4$IKv`h@lKw1_i4j>~ts8@_k>`b6+OcJy%%nb!?Os$MT zKIsJ=4Brw$c2-dN&D~ptmg%h~tZye_Y;J1i2w-Ca*;RBjwpIZ$GJuL|f60L?tSo=Y zC4kHvAXCn!f5Hc3s8qM}5*sq-RB0PDJv&%9kK7mqJ0=R05KALf^8PfJS0<6ut3SiY**;x9(-3?2mR^c|fpYwgwu z34|8wwBFZ5?beWmptkPUP&=2=Cd*88T+Xyi#80ufuy;y1VYS0Pam81Q6cN|2{Lyzj5?K) zxdV`l)B-zZYlJ@gwC}tt=J0%>JAE#J153bKicb(01vAg0N5%@Nztt^^dlWQE7YI9t z0tAz0Tw-~t&4(=Oz;9OG>KAKAj0;{h;kWLn(GS99#m`_jpYsu%ZJ%c?VaY)a%2MKP zZKHQL_)32VYc{2TK0gNTAPYqc=@$Kvw%5%;Z6i_6<_7w}?zkw@HuLJjNVre7v@iJ_Jp(@!qK*|R9Z{xEp@idbuLYHx?jw*1{!mMuMKBSfR{3XgcSL`tZ_tc4X>6CS;1^2)U&Pn*U%g!A? ziE86bt<9e6FNJ-d@-<>_3->0C=|eJNDA>;xCoDb$*il1q_I7BVHFhilf&m=_rL zl?V}8gX~5pzGV2OgvPh7#^_s7;Qf*7`nEwUv~G+LVlc+37$ML%v{KlObJcI#-W@4= zKDqk@&{*3M|kZ;DEw;apVX8uV=a zc3f82DGa`d{0VFo3hAx|z0`1?tBHb58$H<1#a>@CN*2G1Cbbo2!Ogs_<^_WbD@T9u zAE^g{5MNz{-_LAsZ!I%Qkd)q~FGyX?m#=P-M4oG{Q(mMlU~I*|YwmTql8sZJ$m57U zOP<;4t#0kJ9kjvdT%=O2|F{p?mQ}fz(Wb7ibbx^Y zh!QH0qu_wf18Y`JA(uLn(1$89+Pfy%#71Mb*FjnG6AY1vq$tZ4s3WsGEQIK2xA#ad z|G8lC!+G~rl7$8`ot(|a+5g_M z|83Ch-oIX&w|iupP}&JT`x@Ez%3d`Y?NdJgo|>TPrF%@?cE7680ex+=$9j2w5zwmI ztQAt>706FiRVY?ic- zx`gEi*AT*4P4_pn8M-OQa}f^K&Cgk*PTV+F2&u;=&FlQ5vyvsYWDZVWo4JOx*rnM= z9O7nODs-o+e`oP5S9G}V&XrTYYekZ`Lb30$%sUe$3zRzR=7v5K??*ld%dWWFo;r49 zJs8!$ROoNO2LQoOMQ*#jYu-O&7Q|wl+<7!%42MioAGnwiXhf3|U z_bOL_2h?XAymRKe{;zUeT2$RDIy0eMI}fmv^Aq6LGBs$|M1hKC0Q&9`Gx}AzsiY(6 z{p@z+?_@ayj_}tDp%np%DU`_=ad)$ACh)>oY$ZX7JO|a}$6KH~m^xj!NF$PgUV)##bOWEdv{^t-42#nTD zG#53)W6)(2>8Mw=-J7rZ^?#$^;dyU(!Uz$MP6lJEgKOy0jSPA_qJ9t>^mVSx zX`EO#!^QZ*TE-l}eQxhb`+}L-M}BUKE_z7$ZVyquQBF6+?i-h2yV$ZhxwbI*LE<&< z_57iDYU={)2`1=9sPM|*Q|8vuR@&ChmQ#O`6mNlt^g8tiSgRFZq|HNo7A%!kxZmKg z^SPGB8ZqzGAv`k$#DVzGW!{0ALgZkLE|cc5%~t}j1)pH?V1wF;Whvyu_SI{?5 zHc528`~Dy#4X;u09FnBaT;NzuI@fAXp^Ejz$z3}rYqz}uzRhzIY{z!o16DhTl5?GU z|8~fYc4yV*VB@H+e54iNx-hGLu+(8w=D?wg)jdd(omoN$(E~ms7w?B)HuvN60`dgS zRBo-_?H)IRvd$0T52t7N>WXSjX4%YVcCE0-M9@5z^)AZbZrp&D^G_~QD5DKN7ht2> zSn4R;9^k8m>f725%YlI^NbxH_NFkx!jj9BY;yDpF{b$qZ)hfN#Z*I4OwD#A=l`$!N z=6@WhsS4tDAccMo@6Bha!II)NN~V=#M?ywFm+{3H6dGu63%?xL`?$72MbZ9Y&B+ii z*l*A5qN_=}W`tV;oE9Iu@@vVCkoHcBwQ4P1sC`*Qdqqb6Pn+cm`-e@{k#k)F@?z`x z9q!m0nhpu9PkT3G&@2cQvzH_~UG;Gyc~NFoPQ{Z}6I5p3K_u_PZ6Y4)$&_hhB zHPYkl^Md^4&vMX|^5Fx%mH(F>Bm4u1pM#)vi^NPUKowvxJwbtXNT~VP<0lFkwCW}< zIE(@zDbN>9k57RQdx(o4s8Th6^NDb^d5tZ=0o|^mH0VLi4gFlur5828(9md<6jH}! z^KK!{x)a1DazM-Ec2&77_*U(4L_?uGGP{;XX+_7~Nx%f!*wB@KAsETS51 z5pI6sG$7Q;Zrady2Cfo5m9QaO>YQ*WKDY`Y!Bc`AG&#JbJwxXFVPl;V9+y_w5(D>ruUTE4pe2)fx$_=uIA<_bo;gHmmYq*MkNny7 z;eAHlJ&K%WI%9f2j3Fl4_4{X8v@dy-8P)bYrW2Y`DtxH5F9a^0Tq11Oc5Pk=oO^x;Matryry|{@$T#jND5w?fbKXr_e5l;M zh8a_W=SbcE?vq_wqcqI%n=TP+-NXGMfB26H*>Gl)Az33MiZ<5@l=lb*n;%y}Hz?Pn8O7+c~c- z;XZ?w-mt&oEAZLNnR=hU8ckT3h0Cj{L049Tv!V0)ZHu$uS|`rlpm)GDU-Y`d{rmw3 zH;9;HZ!Kooa63BV=1GSCxoh+5zkIMz~Y^4>;$C^GC%FKYqYuL&NstV4s z0CCVhR0bO-cn@_jH}IVyppAbNs3AB>)4vIYyFIV~l~;HIQ0k}Vvv;8-X3m`QkqcU~ z0(KP@MXC#{JD02PC7G#JE57pNvvJ0Urh{R9>k%{QZw@(xzK*)ZSo{>%j`C}7BS+5X z(90dL!xF{BK?aSu_MwEnba2Kn4aMv1@t&YRyJTIqSh?+0Wwv}t^Qlw5{b+yseM)j& zvG$anftSA&eyGR?D5517NoneN6@^4th(g>>m3{^T7Q@_BGbKt^4u$uw?fJsdbt;vY z9v1kXg~R%=3-7w+PqD$a$VjyZa$-XGk&=5HInoKvKW!X)hhBf-Ef{AT_}s=-=WvuD z^Lm7OV1716xon>9b#$#%R#qQeMgVZ0VVg}#XHu(m_ZT4;c3wU#j!30dCEcoZmO!fD znmZ^xza};gJsY(8AVNos-p=L2e|b+`7p|eqk337EtQB}DZWFK&BhOJbe(10Z7jNl% zTq!P`-J3Y{;8;S49l9yN5Njbpehg0%&*GMc9XMvtpc0Oqrat;@o;V^Wd4QeGQQO04 z_Jf1LErAxQ=FQb$OJ*e;2S&Y9*h6FG!7@%v48eR*fW}YEwn| zKLHe=SJ360F&R&EZZ|9a?tGn|!TQ|=Rgfqfp_g*xr)r9>O&?Sq7#5)6>jTOvpDFC< z1TMPiqNiNXR9CZ}D~?)^#Oq}#eM&qzZ|tA)FO8nc`^bljn`}~vzJ9L<#IKr{de+*L=oGS2v$7es$CjJ3qqgd%;$kMXO*1$ZXc!GHt-}w(=vr)khoYsP0#oBEOk27g0(}gLAxVQ$o=(c8Nrp_rW2)a~%^xu=F?xd~_e8f# zM`4H8kI`uX1;ZA3iBwX>xtwwoxYM=fpHWq~Wu7ut*g3;3=Swmgh-NouUWI~`-=qHy zlz0`By(3q7{{ns$sXiemH%yqDXq+jdtA~?sR0N$-R&EEJ+iHXz6-$*yHYy!ZW^3?A z&Xx)Qb3=TWw+#Wu!Wb!tGE`X>R7I?$u`-)-kWmj&7cIq#9WUU#hQxLFQ?67eqeJrd zHPZ2Iy{qt<_i=I7^F`{}t`^4KI}rJ>KHB@Fnf&GaC^0XsvMnsgkiWa5Iq$IF5)INJ ztQ>}@1LfB3i=$G>Nm-vyy+OgO4YXoeOxTyVYVVzdLJ^wFawv#z}r9m-+eHMx1c%?M~Cm+k_VS5>28d|1u9-t;@ z#rp`@wC%j?IZ<6>?T9Y>cm)A!V!{Y8|kxrOoe^E zG-TU!eC1n9$)(JitNgxKbe6R}beihm^ko%Bk`ykjkoscvTy#o~#oA^Dl^pvf1viw+ zH`=0U8TTuMPE>^q@trnb<%qGvA(jU8a)!V3%rSO%WmCEk#My1Je~q$T@tH|L?y+_I zFKo|#ggzr(BS568W<`0qY6FyeD#-&g5Ot&e9i&!6J*9>YkG$f-BeT&a);E7~hd4WF zX^yYUUT%2`SgM*wy|CQS(1|#dON)+{5n3K&*;3k3>o%1DMhpYdx#CTX>EEiXaWO4@ z9scw1mMzF_hUaHAp_xHYr6a0`OcrYfX*2#NS(9B8h(Ge`6_lYZIjtB5%!12$$SQ?& zdPEzIVV;>fP2@hC>QNfg7dn3zwzes@Q(e7ek=<9pgceNI7J4-mSEe0o_Tr4XU&%F= zBw&d5vU%WrfVC@K_VuPfQd#sko#DlZQSzM#xAAIEiELh8DeIK6YvqAD%pW0Vfu~Dm zUm}@lZNpW?@zAatqffz3lf`w)QL&U8BtKrIQ-)keJs-ry4gr&X&|kui9572G{F?sx z-O%hvuJkBt^_+;OtSnBA5qAeg(+R2~=89g_PaQ)9U;E_%<(y80UlWlFIzVB(ib}_= z*QgEuq-4p!=h|9a#o8&QcT1gLi|EZ$){|}9aw&CBvX)6`t!*yy3&spk_$Vn9lYPgQ zAklYcXCkO}wWYPgHrn>Xog7GL;7XF}?=A{7Ey{`yRrg3Jz$qm2f~Q)qYxTru&$Zh? zhDRgf9MT`ah@HTqDk6!FCVWg49@#}GfHG$9tU1HXlZXhGLN+mS-X=@=t+k#mIp zm?QBZ)K?!5InjHH?f>M)d%o*yB_*~MjWxd2UC0XiYoTrXh5LD? zeL;!mbuXg7vFe%iNv=11Jqk4|%N@HZ!s@UQ`F*)8f*FJTy2L3bU~X-APo=PToD zZ?|GMvtZEhI85vFH8J1HVJ|_Dcan-k$8N+J+L6z3eKTT>5cdXMyh+}J8HGAIE(=vs zi8F;pds{$}O32L61Ay%#*px(x5-VKXW)s127hiHN);Kozk*Mtqp9=qk> zpm$9FYIcH0yBCJxEFctK0le=X13Vk~siKph!KNyZ&uu*^1{@PoOHh{w%~!pNLQ9X` z*SA~1PAprD?zqL^b$;GOSJTtkcq&UNJuYsSKEBsb;$>SwQs z;SdX@*3$(7HfXP1+MRPjHCOACzSy>?Pss0xZZf$T>!BMAgd5tTJflNh;l`weT@NC- z`w`VO1j}B2HKS=JR5v9i?>xaLE~m5)Xk=}fA4)4INZmoUC$7~agoKkd5>=z}H@0LM zuk2|Q3>8lKc-YBEv&<~ild4*&b4B<|gB$RdN+~KaJAk=OFcqtqcOjz~7uL)Yd{$^x zuDw^u&`@Ze3TYz99Zh}foO)U{aLy7l+
=0i9@U2@<9+RGTJ3`%U3(Gga2CNYupH;1V)J4k8e`=}4lQO2gMqkt2quhyjgvvUD zR-F2=_LYAIfse71>h!}2Mg7-3wZx@w8D1arc%`rV)YAMb0WmoY;o0H^_q?7l zP2Y6sY<6 zqwmFr1!%WgrvZ0}4}3D15GcJU2#wj>%#mV0qE+6dC&BB7xwV%B5B*}zuscXg_Il*m z${(v4ZAyx1gsX7^Nt0-M(&?yv<|(_2|3vvbasA8FOh;Qe@bdS7`fXi;?3Dj!Qx*4w z6+h8#Ez1$UaNPrjbN}G;_J(WtN84-g87QB?X3j3yEp_R+I45>D4pI~>39cY@oJKdH zO!`z?M(WM*0AwZ{Dq&OX3O?hQ!Pmmm{K=xU}1LVd+Vcb>VoPUdSP)^E`_A0RtT^kQp$Ldk68TR z`x5&XeK(5pR=}I8Gx(U6F}nQr77#QWvKrrooLD~(<(y7y4&R^dhYUB*hYjr7Ppjx9 zu#VKa+kJ9<-Z4_+9}?DK9HIux26Cb*GRO)yLG&{A907yFsz}VioxvvX;HGw=#2M`X zT|00PNX!$TU?$%;la)UlG>L_Zg)7sUUU2k&!9BX|?^NI^%?Yn0)nfEiW_ee0U&-|; z=;xjh`p0bBjZ;BsZKuhY!5|Ek&I|{x#jca9kJK3W!u^Fl{g<&Ft;C}dM2Z;pHs&9x zGJDv~M)7)`bi`#Nm>%`q@@!O?qF5I7<4)c z{5{Zm9sQFNr*z`fpX%f#6{ z=zyn}$Usi2N93+1Iup~veWJNj|8n(2K?;X%%$&BQjWbxaucci-oWBVzcxoPWcCcnl zXNTRrNGEkYqStF+H+)~{xO+)8+FM;&$cBEXviD&%t{~bej<K9)>OS&{_WCS|SOJ0@`}eWdYwN!#J7hf93=bT06uPd&mkp91dWe=yz)*b~ zJM2`j5X~F5$)k`r%FDTu?Yy@#l$Jrmj|`ov$VGM;yu+S^yaWd)Xfnm2-G3o$5KM*X zl!tu9W+28|2`$=OM{>JM`~1RP1=dkSAAI)sd~OSWIUb2|&JS}L8&AHn(bXHrZ04f7 zKDDU5+3_1sym5|pt?tXt@GHcv=xz4@LRNXZpZ<1_ot=~AzewW$#u_nq1Q7x#OesN( z5qn!BCqvL9a}?J4hO&x46=Qn`b6XqGJ$O1sRyszY7KMn2T^%U_^unNr>p*-EkU@KWJ2Pi` zCnF;xD-$D#cEF**z(5XqgY;xid6 z*RnFPgIGcTA^TtSm{?iM!mWTUsGp#UO_*qGRYm`8t=ML^sm9zzxm76S$*P8NO8 z5ZH|vSXuN94A?k0IT=m#IoLTE_yGU63h1E#Q0N>SLCfY(;22q$S=j)jq@uE7fd2>P CrtWV5