From 431eda8d39f7d760014541093104e23f452fe043 Mon Sep 17 00:00:00 2001 From: Florian Pose Date: Fri, 4 Jul 2008 11:28:33 +0000 Subject: [PATCH] Generate pdfs with makefile. --- documentation/images/Makefile | 34 +++++++++++++++++++++++++ documentation/images/architecture.pdf | Bin 3767 -> 0 bytes documentation/images/fmmus.pdf | Bin 31022 -> 0 bytes documentation/images/fsm-change.pdf | Bin 6686 -> 0 bytes documentation/images/fsm-coedown.pdf | Bin 4305 -> 0 bytes documentation/images/fsm-eoe.pdf | Bin 4068 -> 0 bytes documentation/images/fsm-idle.pdf | Bin 7642 -> 0 bytes documentation/images/fsm-op.pdf | Bin 9001 -> 0 bytes documentation/images/fsm-sii.pdf | Bin 4799 -> 0 bytes documentation/images/fsm-slaveconf.pdf | Bin 9093 -> 0 bytes documentation/images/fsm-slavescan.pdf | Bin 5867 -> 0 bytes documentation/images/interrupt.pdf | Bin 4219 -> 0 bytes documentation/images/master-locks.pdf | Bin 3795 -> 0 bytes documentation/images/masters.pdf | Bin 1546 -> 0 bytes documentation/images/phases.pdf | Bin 3305 -> 0 bytes documentation/images/statetrans.pdf | Bin 4550 -> 0 bytes 16 files changed, 34 insertions(+) create mode 100644 documentation/images/Makefile delete mode 100644 documentation/images/architecture.pdf delete mode 100644 documentation/images/fmmus.pdf delete mode 100644 documentation/images/fsm-change.pdf delete mode 100644 documentation/images/fsm-coedown.pdf delete mode 100644 documentation/images/fsm-eoe.pdf delete mode 100644 documentation/images/fsm-idle.pdf delete mode 100644 documentation/images/fsm-op.pdf delete mode 100644 documentation/images/fsm-sii.pdf delete mode 100644 documentation/images/fsm-slaveconf.pdf delete mode 100644 documentation/images/fsm-slavescan.pdf delete mode 100644 documentation/images/interrupt.pdf delete mode 100644 documentation/images/master-locks.pdf delete mode 100644 documentation/images/masters.pdf delete mode 100644 documentation/images/phases.pdf delete mode 100644 documentation/images/statetrans.pdf diff --git a/documentation/images/Makefile b/documentation/images/Makefile new file mode 100644 index 00000000..8e31fc08 --- /dev/null +++ b/documentation/images/Makefile @@ -0,0 +1,34 @@ +#----------------------------------------------------------------------------- +# +# $Id$ +# +#----------------------------------------------------------------------------- + +FIGS := \ + architecture.fig \ + fmmus.fig \ + fsm-change.fig \ + fsm-coedown.fig \ + fsm-eoe.fig \ + fsm-idle.fig \ + fsm-op.fig \ + fsm-sii.fig \ + fsm-slaveconf.fig \ + fsm-slavescan.fig \ + interrupt.fig \ + master-locks.fig \ + masters.fig \ + phases.fig \ + statetrans.fig + +PDFS = $(FIGS:.fig=.pdf) + +all: $(PDFS) + +%.pdf: %.fig + fig2dev -L pdf -z A4 -p xxx -c $< $@ + +clean: + @rm -rv $(PDFS) + +#----------------------------------------------------------------------------- diff --git a/documentation/images/architecture.pdf b/documentation/images/architecture.pdf deleted file mode 100644 index 3379765445bda5fc8e79370aee0fff2af81a0538..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 3767 zcma)9c|2768@5FzOSlS&BQti*jKPdGTMXH^Xoz8ku?{n%hEUd!ElboyA=&q(l8bu@ z8EY()M2oR*_ZCW8n z4S)ee4_}bBHq;y+=uII2>I}pdYV6}r!IJ=}u|JlAH^O@oad=%_5Sc>4V*^0c+u2T2 zsp37n5$|hWA*saYD*-6-u25G-{&ZZIpl`n=gD$ks)Ig-Sylbl4C zabB2{cie0C#XAmMez!wy|Gb4iclq~PYIfxV?B2uNtw4dit;H8d{e*s>9~aE)o2l8k zmNFyncXdGclQBKc zF_A%cxU63Eb_@oguqE;V!>`Q{l$K|DgVwjwN3+ytDaE2F*RtQdUim+KJ;>=F-@vUN zLF85Q^k!F^9$^_+RgJo@$lK3T%#Cnu?o6Ka>=t|Jc!e&f4BUW}7hgF5jF$KEr&lI7 z?VMk%(~eF~|7mTaOYGLW<+i}?v{lElmGzDFDUUb%Q$uT!dsAw!;5Da1`TZtpa{6wm zmPUoAy|}An8xhg&5)t}wZ-p8bxko1jl~eCt)Dihv2-Du?THO};DX68jtxUnq75YNC zo4xHx)nN3GDt2DsBTmLuCqxEwqGLT0-RpRIi>AkWo*3P;DzT8p6unI{AY`9$dp=Jd zB}QkZuQYBC1$3R1;fjcGImclbHS+XlvQ12nX2#x4`l$?ql*-EfBK?x?SEAJlkTZO4 z`GJG{7k4sFq$C~4Ti>S_raUc8cYJ?167u%sh-f6YpelzT+kF^_Q|reqHR~e7*`ux= zB(u+j7?I_r-!^D*yf24^5$PF0UmiM*XJ?qKoa8IS)!UKF&qZH8u}AWN)ADVIabfbfX zn0-3JXlHVq0Ch}KngNTLB?enlavoOdd(xf;xaR$AoYUAbn0YT=*S~q1zb0V1k2pLE zPc>F!72Pd=0m&s_Uw+y9pC~2NKh`r0Db=u~)^v%#l+OOkduY=7i zb!s=jWd#>$5j)dDzx!E`q-4v2l4MiSvGh(DYK#mm+v?Bm4bx}!87fd%M{P}My2mS#RFR2IkQ3t1 zMFicbKnN|udwSW?##4_ZWg)D_c~7$WkfD_max!P^Wu0u})ewnjiHi*rJ2N^f6}!~f z))!!l_n&($D~+AV#)+bTF1CPk5Lw8y=c$xd&G6JMVe>NYMYmGdRO5p zIB0R$w5d9>L!q-g7u&kc`JCt_9UehzlE85{6-$d$4!x*XA6%AwQ6u!`@Qk?`QCTiI z2s~pUs8Qh#1ebQ+(;;-*3^k)cT{JH+5N46=Qs~FLmQFr98@Q?`Q5IB74`$&rt<0jD zIMxVfpH;p6KItrW#+8({1A8mA9@+i4zNUs?V`+Hr$6N*0IJ?=AnE78%v~`6hzc$-) zPI;iJoQ80^<*|5!E7v46pcdVj&et*&S1yDjG_(Gv-l1o#xH?<4wS2f&F3LEjE`+^A zliN+&>`^&UFgH6<41VYbWpDpL0vb(3#e3-mvJLHiaybyK+lfeJ1K-d|Vj(LyWE@DH zHC9PRXLJbk_C33kZluz((fe@Qfh|?0el_z}*Z8Cm2030sgJa`JVB zpsOE5i)GTfuBXE8l`T}EJCK}leU5ytX2X4{a&>z?$$U? z$>KWRNSMX385Jbd+nsTtYdG1wz2c{_)N#H$fh=mOcQKB?%v54JNgVMXz2#sNU!!y8 zZ%`ev10w?L7{UN|ea2B_=brIoY&VLPDr)u8q40@TTZgD3N>1Q_s(5UWO@^aVLOxR4 z_JBhL8SS; zP?yeJezp`LX`YwBj*)z%JeP~Z%q#k0TYE7cmD-8zE!njbO=;0|Be}i_IoTkk&R?z( zDFLJz?$8G;B87oG(rNbLdz&q9+;wBrds2*(_}q4rwd6fAd<))9{`gQdhCqTGKfWt$ z^4ju<$Z_~ftZX%#a0w2~TVOC_|K6QlG|*jC+8e@S(aUxH zQXeFNzvBw-W{7lx`AfNqrffS^K}#=_PuXD!ujCLAg7|Pv@*M6S`^vevrkqcEN>Ni_ z&6Y8yk_es5{|-Q}T@Z8h1r|spVL;O-vpPRA|*o6SmBY>iq-AP*GW*UwD zu7`Hb-`y?iU7TPqct|51l5qNj_HihG6=;1f^SutCz-XQPuzt==Su%3%_r2W}>PFDc zN)@i))YjgmN4_`1jX%c>t%vEk9g~>gX}ph_s9znEDC)z`Jlz_&>eho8xk%qMc6bT~%5cyC)E-ZzFw##`DJFIlhDQeA zOdSTrn8={R;a_eTmKkcuxMwJm0jAZq1u>wnWicP|hxKNtG3o-o6h;Q1XMAvE00Ux{ zZ3}V*7z!aw$-hyV>R(;^A523m1?x}r{!`+Q>c2e-`Oo}sRfC{b))oLqA z*%k?6@@&7!d^y#hQ4|Qpj6!WSKpOu{W8z=446tN8vmsD4-v0ug;^T?^a?~$P0zvIU zJSfb8FwelK;m^h}<^IiQ^nm1pC;cC6m2Ygu#Bd>=c#_;{J8Qs%KqOPho+O_j3V=EZ zSCeOqhVeB+@gW8pG3F;{q^Safp!h3;W09*wG`|ASK z)zlDbfEVx;L%`sSc`z>^@Gne7gVEc6Vk#PHjFJBfL&3h|!eDU5D*Y=DiTW-N0aIt} z$v^WDaOC%x3ZvTZ@?eZU{+o;V8%7~vef;qx#)l&SwetyM?7s>CwIvc6i^|*v0BRcO zMFg0`V7wEiMgT@`CwP1Zt)v@)U$4f{cvzpxe~-8_cbrVYk|q+J E0<*tL8UO$Q diff --git a/documentation/images/fmmus.pdf b/documentation/images/fmmus.pdf deleted file mode 100644 index fdf470a1e4afba06c25a0b7dac4970dafede43b0..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 31022 zcmeHQ2V4|K+ZRjJ6^)<~drl3CsN9y@y**S!K!{jCM1=rvL^z5f$Z-@6RUlMqj^0ay8KQqtFTDm(q zccW|=!t(gN`D+PQM#>^aj3j#WkoQ-I2WvxQ9H4l}okPR4YK=_p9Okc8JE;RA0@ZeQ zM3h#e_8(2eEx+%ZAKp6Wi#8FZT}HNO)%e)+fThEeWG0Dox_+L~yx{19BA1`l$Ir`N zyt2;`PV0WfY z|Lyz)6cHs^+jgi+Wl>R zY3MlT7Lm&yW#7Mbb*6fZRSfZG*v8WnJEiblzx(Xhr@5Pdak?Cp({%a^Ye${4xBPK zU0(9j!@&m~-176YgIf9h>#vv3OHXg@xZtdzj(;^sOJE3<$VMG3QBVR)%Lha z*MUvc8GXJK*{Ppv^wOgO4&4a?m1f6P69cga1 z`|JLPKTGS^qT{Z-l#T_<=WU%~)@^6d^poayS5g6&=}|pbuXM8QWZuYf!;ywf(mgis zu91=Qb8gLb*U8+*U-$FqG}Y3)lTTI%k>C@T7&0hjT1@TSvsav!THa{gGCk1J%wmqY z-^np1dt0Wqi?U6s>70=}tBv*S?PI6SX_&w6DLKykcCtO6xTp58ua~&4IX~ra%8@Lu z1+`5*Iue6iJI>6o?3dgvr>7acTe&c3Ztd19X53ipJjM05U%b7GI~TMFpo0bm&&{wL z<=OS%-4^uyJ~MZ(Q6w{ELFv}wvA*FW#gt2=4A z@6*y@tMeL9s%75b^7!lOriC%SLBPywpO3LxpHb}Bq%&V)ui5*+-gajAjBk(m-&)Yl z;b(qZ_Y=LJM<*VL-W-$ka#*u%{G9sjyLOEtnTE@?c2~z1vs3?Azrn-K?cCP*tiTmf znZ?n};ikzuIQu{V?pr zpIMPPCP$v$ald!7ft~y0c1L^$Ou4rIi!0WSUAttr+>>=}=GKFo`Zc>*dk_)(#B+<+ z-a4@_?@t|lInHTzE6eYkj?}d#zluvcvCyn=33J1d*Z{q_{0MfsfcrY#<=X~<8B9cb`ETl?v~OHhfVkVn`5)uCU;27 z3$naDywv_t*eTat_qIB<32S5Jvf)RGbX=-y zO1tz%$q(C3qeqnbS$j|WF`(|O;3ntIy)S@YezSE??^HPV=#t?lEG=V4o!(Joz0d9B z?)0(a26)!#vdGe zsNCZT1s$N`26P$FeEVa|{CYm1E9TO|#kGGSk485;wyNba`@b^AMqJRe>3(*}lPi1n zuN-=|@xZC`Po0Qvy}!q~*Ha!3?sTriOdIWSH#GZ#OTD=kqhRB=XSZ#7$dUKT4D(A1 zYcagE_oJ{!Ee0YBK>q#Lb@04Ed_8l`HtT=+6`yq5r%C_y@elV4j}43s|8e5>L&N7K zt~6P&rz9o#dGw8gYVFU@FN}E8@b`n3h0~o|Zyr87cY4=RZfnMm^@+(@=y$NL`py1b z<6rCp!K2~RXPG@UYd)Ld)b7SfdHk+veQdzGf7LLSGsMqdEpY1*(mwd?4Ryi2DlWgua)QGxvXEI`c_hA zhqad`XG}bB;J{wH)8`Y+Z)BIIJyzekyT8+f@7h}CMqK!uO&L+H)hp*U(~IhzKJjNe zhkFXMr*WrJ%vLsPdV0gAV=lb})z>$>@o;$h$<(e;{p}n~J6Y~d>JI$V*4-hod10$` zyUpryV?^!P@c7dF{1mgSM#&u_KI0yk*v3C;l-$_N>yV3A%)dK4ajISTLmYSF$zKJ_ zy1~YtM$C21dg^BWSNkrvNQbbYvvzM>)vbds=%r(WQJHCOcP`Sm8`38^yOtN4TAfPR zmvF#$GPp{Dwx!Kfi1}FFvhzQdh?V6WbP#8?nQF=eb>3We;;a zGYUN?Tu7zwJLha!^xZDg7xmj%MJK17v_K>9C+FZlT2I}+^Q*F@u0y{3d)VzrFE8_k z_tedrb#d*s@=l`VyvJdxzy`~^%#7aTcd&1E&4iWHO$TQ<1$Qj=Y~-97=n{TCve|*( zCw1-KNOMHT*n5(Y}4`XWK_~G0QntwkXXBmXBEJ0n6tmXU^CYJ1Y8JdDYWn zvbi&?b|sa)+|hpR&trHp%bfBi9AmOk2jvxZM!l`jJGZVw%kK+YpB}t-WnlsDFrep( zAJ(^gb?1wLD`jRu-B$z@j6ryHQX=;&CNT-Q3r;0< zt9f-~*{UC@>1L6Ge6~KEFK_z#n zwPlI}`{k{Mcj~=7-0IA3>$Fbm+Sh(jc)|3|s5Z`tHQctmz8d}2p4_-1t<#k3Sx?8k z*x0YAWJmMiS4_Cx@yBOG?>!h;*6`SEv!;7D9h$w~=3(#>^9_p@B+~qVmzwDp-W>R$ zY`6Pw*PCt1{N2&D&!#}l!NbS1JnP)Lwmmhq*O?kbh`II6*{_-&+T(6I@#xX`q@IVa z4J`R;;_Jt06Z=~bb?=y-X%)Zqi|?zKbs4M$$X-TKba@@;2vDD*%3A5Tq1Z7fFv*mi+VTK*m1gxt-2fQ+)U6AG4#AuMD(lmx8k@s8zkxhnolkt_lJg+=5Z z6iIy415Cmdqf)S*kkRk+409WUQ#*`eP6naxKgi`2@QxTlN4#yFkP=I3y zuA%@*a6${Ll3<07Sp~rg>?o9kLZB)Xgrb5<5ek6^h9?+-O^O7(lR{~VRDfS9gd$1s zi_nouNvMQEG(*r8ict_Mp|px3R235P1TVDCvji_#l>$w_ZJ7rx3q_O)LMhOdB%u`g zB zWmE)%%Dx*rG%O_yo$_4)@uonXAJE#C z7;vREF+-V!R07Mi3Uth+=@j2TK6or#^v711+_&&2*38xvDYQ!6a&$$>Al zlj*`2s`WWz^X&6tVtiNH5GULGF{S;`^!UqH1`O4(L^>zlfCS+%@Oo3L?maQdC3NvZ8)7A+383~G6?U~e+H zdD6n(lk(3EZnvPzf(A7{^LE&aPdyBT6Cbq4Cq1(0D%t;&77?x6K4?XQjw*_TX!nDC z{+A9bx=O>!pax;91Op7(CE6hPe;0UvWM!)~yMEGPhlb0?58D5e7Ll)#6%9J7m?{NU zgLX+($&d!^vPvsnmaH-+Gr73bmn`nH**Da8vTuz=qfNtcu%oR0sLcQ8gAWF7L;Yt* z0jf&g`bh`6s_i2Dm%=$^mEz+kZGXB-qu8KRK>4wY5INAX7Cd(X2U6i6!z?sB7@R4&2yB70S!Ij*>KT7@fmtmpdy~CqI-~R3t z8Wf}k$8X@g&BssF96D4IH;0K@zW**3RSsl8t1NJe2ZTghC-Ce|Uj~H>n|xf?yb~&(RrEND3XdWiUB0m9SgcP6;88_At~xw zY=w`HOQLa#4(r9OVUoh>#lt8z74OjNZ&Q?uP^qMFAWJ0$a}e4hMpF=jVskalK;o_2 ze<(jT17Y5S*}ME0U+mdH3y2k@1!R=!oQF|ff!J;z@9&rvPzH*)O-u_o^n!Q<=?1|O zlD+%d$AQdFhmFw9pzT57XA;g6-qU(R13z#R@h2NFRw?L z)RjtVJZy!QY+~N@lT?&r@cu|;QH?s#okt9y18gCN zDFKI8KnW=MrhIcAEv>3?Ll#}86PwKdS^#$f-}wSOWrkXif2|ISQENj3{Lv{rI{ucP zT7$cvFxv|2M5L(ckm2|aGzR)(x(VjS6TmR(>x*99i9ww>rHq*q3&<2oHH}+zZ z;)j^}&kR*dAVHUG#a8%u9~Lb^(ZyzQYnY@c;v2_%bw`$dl70xo3s<;}foxINVk_t+ zDY}*}ZVj_3j`ym~dtujN-t?37Ll|Cow!kPh)r}!~Ns8eh%%(VUt2Ud$t_@~WZ0&#Rp`T4fF!a3}ox=MYM)6+#k&rltznWH4??ao%ojgiUePp-fjmr79F|pANXHV~^^;ULE?|-x4|-u|J9BUUk@x`}{XHAYKEWh49<~xc^K&!R|7bkccR4 zRDdRQj8?|mP;6)L;5zuWk~TCV+zGtPZslZ4lO#v-BujBDORK=&2Sfz^Z-4R()rP69 zf<}*yj6obseJj)ChU35}*HxE&;+kt!t|t5TYR!u70Bz`YG= zIVCV0MpI(;pjjn+UtU^Q!NF%xq%;&S4AP(v3g;G&i zIa@VZJB++~uK10x#ODaFDwA4xe%3ACU?1JM~~+Dgk&H2jc- zl*R#ObZB4-fX^36%YjF%F#B>Ki0PE0X%6n5Nb7Qf}#!$Oabt2khC00V*W?6N{nZcQ)01`2EjzPUlL65x-^RA z;H3>ozciSDb$Ou~5bSiykqQO8Cn2dzvH(2k&?ugKA7+3bago+#7?`6kp@GkTz&&dn z8bCD|4Fn>LhR=Cm+Z)q8_=XKkg_ia~DKI^QNR0U!1#GT6ra^NU4x<1>!uW&WOt)V! zRp^cdFjC>Zr<6ZNfz9z0!{NLzJgzGRdg@Hto`Qjw`gCY47IP>NvoU#r>Tw!_`4Ghd zK&0CT7{0oGMF9w+>ys1*2DNToj>T~pr^Lq~r^4_Rztc}Xkol4@z_oQmNB2? z84Pa#u#Ux3isx~ER)LYE%ZrM}=YaRcc9jy3&nlchAT2g0({KRm^h=Z6doY6v#~Ty{ zv#KTfqrtL5*AGBk!*DST6oZwc@mNRG?~BhY-Uoo~y5opuNce#!DSr%&#VZc0dB(PX&Owcx;_r3Zp_yJZpUrO;&V5^rM z!*M4FO=AAE8voERwFZ2xSSBAFIu3lk3|K+#5fK4CGY0lQJ!JB};Xx5HFrwfsp}tNs yAFG4iygkq7*3EtTd-%;QGp%Df;}k!z7YIIW?61+H{rGtRdq{$2CdhU7m-uL#;-fPS`=9*>gpRph)Riv1tI2;7&-H7`GBn6fL!Zu~>h@0dQXLcwHno|UZ}&Nd9Lg>K^vz0S6Zuo4mrKdI z^Rgr8@riGiqiehQmy;78W-I*T=F<(olS(U>$2~c_XQ#Q92Vb{Z6`|~cIWh-C|HIC= zyR2~^-bpLVYIP2e#z7BeKb`D0eeyq=g+6Y4ctkipr8kYSTg~bzve~@Z%`;>UeYl&m zy;f9h?6-J%J=Pr5YRs{-tcwvhG23S>Li$G)RyR;x9)yU8-gfS|v9A&p6_nuahZ?VZ zeDrP9fQ_r9OIObT=9M9`k@uu9G@IzrgpCzEvDRWL3$hZ`J>IF06*A%6V>D-Qk1BlL z5O(Ng^;aER!v<@oqLAAhN%SHooK0`+g4c_i47lRf*dh-s_UetBu>ZE5Vs%Ch2ToVfLmPzDpADDqz<|6QyJ^` zJUh5>k4aQT`62w(B!8ng<*QR(DKJz zmm5|2@a41?)}^a-mzxKdX|0NE%170`=X(7BMeS~{*T_`oPL?Rq;ud0&TSVW3@h;+- z_I+mFBAYM0qx=4r$Hs{bW2B0#-&ParjU+#%m+ms=9DL`AztY*!QB;=OdU7;y`|Ko0 zBJE{r*MV${-nA9K6(oad6O!xV$5{ANAuN^q@KddhFIp8l#+K= z*t$q%TNl|hzU4ym>||rEbeMJn^Bejv=<6MOhnEm2kS&dGm!aAwpMO%Wqz`o%q$IrK zc~J#<@sS3npx&b|5YEg9yvF<5+7C#+P+Px8hgr+;p0~1kC;e+`HgR`6h2rNyOaBGo z>Yf8TdoS@eh-08a+YZ~GbHBDr&vK7poNb?c=?7T9IMIZB?j@@j&0*{H81Tpdi ze}a;M1tHDMNg`hoZQRFk9>=$&>C}IvS#h8FX!qvM5neuDIi{!mbvgh(*t)aZ*eoLz zw-+3C#HbrIUI$Nh9@2){X?TRVKeHI+P{w_j^k~@$6aO@i)Ek*09?JEdHZiw|G${>Md`?Jw_8bszTnRV@)`kMHCYpTL!6B_h7zPL6nb687I%JcqMODmH6FJDQ_p*J z{iC4bV_ju_8V!-;45ai{mTFt*FqL83OppKgL z)mEUeYA^k$pd3(`uxAT>UDQbAiP92{UeQR@rA1WsD}_7CEU60q0T2@bqo z!p0C(P?#(V_V{3|SEcGa`-!sE?8Nhz3X&ncituD%w$V=T(-O z?Dr#u`!vkpgCFj0)USu=$yBaes&k@Su^Z2MnQOm%ROVxM^r`xTX6hU6RUIUwr$NDV zKU&ddb-c#yj+D&-g{&a%U{M5|Grmq#rmj?f)zZ2;106bBSW~TtV_)X(dPbv2?&ims zq!lq&um{<`R9To79-u(&lax9*1vMqmSB)h;ggnOmk=AVi$CoWsa;?fgTgW76O#=UMpmG}4moAg`B!V^w{3Iw9R|^0J$G#;TEe2Xo+~*fU|pi@=`& z=>mg}Fo;Dws&<>ff9lE=sBe-A$0a>C&sV)q9=uCWb%4O;yfh_tLx4H~GP1wuzbPfw zBfdKygXFr6HxmKXQbkJok**gc+dnBf6@Y09qDiCqjJT9oqZx!Wrh?T@Jdt6hb)~VX zPFIz=3rx?IrW-a|N3pgm>m=U!ERx4HLS-9ErNn35J|f-SDCTJBW^AtstE*tfq$klT zgTgM{t9T^v;6fjNU|a@AJ}~u7Jg1F=a)8-0NwRr?YwZ~la#U=d^vJ5)7Y6|)>y8sl zlYkyfiG3MN3GlVwM^-ntIj$Fu?ZMoq|2KuVe(HA zB%=}D(VV{u+#vH`u~?20vknMe5WJZb&uZS?<*S2Bi8y^s|{VbUhqN!fN?TWTHCt8al<^x_)b|F{To4T+bg?*aWNKKi42-8@B=;cMHE#2WR0 zJ6E~(mDV?e19Ll(vKwU$K;Lj~k1n$p!std++(qcSqBbBZU?~7w)o(qbz!YGz9{F+) zC{AZ!0Le%#uFS6eT856vm3Zw0pCL}?<+bQE&>r!OZN;#sKcI9 zb!5?PKQy>QqZO`chrXn0Np+XKfaYn40e$wMqAxf$MJ%Q5txwG#{tp2;0c_y`_^cVa z4uc-{(0y*!cNwDAJc?@eM|Z$hap7&#C9?d6+}kZx2+?a7Obvcp3}cbO3Y(Q5Btjb)B4Kl=x!^|a2A04jGpp}W6I?-w6+o@_={~mN*OQ8EQe{S=W!K$C`%EKNDzvV` z5}>xXRO1IKLUf>G_pF+!CUhUbGYj;BDAKo5rGhEcT4uldK?*g8arr38AOz zpSfh`(frcMwO6iU0t0xZs`_!Ld9w+SyNG6v%K5@uSM zF=2*}QanuJB{tX1Bfvd->}ej%xY71@UydtId_RhT#R5Zj-rhsr_lhQl7fFR)ib=)z zrnhJ%rj#X1WB~1j%-zTPX(%{b19ThmWW0Kejd(#HHGN!F0?ABgXixU)ti$f>`kd-F z18k(y*?0Zx<`e4fFki~bWX&mItFUGtTDb2fOy}3dTW8@2gsP6PXe9Z;X(!g+4>u_! zN~W~s;G~)z-pVrUYG037h-h~R2@suBW4ztMVv;0l0!SDzlBN8Hc_RqMjob&>Upn;m ztQ?>$?xc+d1RGGl!y1!GuPj0!DNFPm2z%8`MkCESikkkSY{*SPhO9pkzAm~xZ;Rz_ zaGPixDa}im8+j{{bG@spo)x{PPyIYd%#^!qEL-v6Ge4;+_;bJxZr9;yR!r>9ugofFz`+{f4p3O5+wsIigxSr}!C%TOuV-6gUM`YAe<&mD9=tHlZKC z?zsCmwz78Q1b@)hQSttj9{5O5_PUdxfrn1N1`Q~I*Wc}XONT#?LBgUm<%bSFfcf?x zv7y7X@I^H|@AoD~*_*Z*i=Yue9Lbd)0NO0kHG@-Rz4d|d9P zPx+-2rX*31+Aw*0f7}~F@F00!&&FCl->ZBfD(ehGPFQ&oB4BzYfWNQ#89rZ>_O1Xt z+3-N^>aP9wPH%O#GILs{P8DgnMn}lijzs!d<2zGJ{BL>hkt6sLyVoYD5I*wtm-)>y zAYR+RSP-rxtp4l=U}`X+9z3$#M!{C77Ht$ej!mW02qqs>wx}uU=~_+}y;gp!{Zf#U z?}Z18We|-$9UzrSLwO*pnbD0V>xx|#9<$duB9TPA%_H`tCeyExM1b;`sWSRLvhsaw zVy%xTnwv>XYxN%E2P*Y3jHCyvtK()^5i?Fq4Hk>z3T$%vjVOeB$an{FKIaBPo1KRYVV>>a{$SFM;n+={ zoNc3VZr{0BI_HMeGqSON?34duRWPEZQ6x-y*6@v~*Mdc%Azy%(RwFKNLb!->E&@E* z)c?MGjy;9{nrO)t?#gD}9)y6zOFiAvs}VU|b$Kz;Pu41)(roEmlx^?oFF=v0D892S zOJVPuSCcD-@QIp~41e`7M+^686Pv$=TBlR?Qc`)3)WD&|0#KuCR3IDYI-v5Z^@ZT( znUF=u^)CoX=MX?o^vI@7S{YWDO2};VC0IG=qf?DJ2d{uAX66Ji=yVIaE7^k_>mjvPS$GY70MDFvM~J=A*t;kvN0R@HQ~^S=e$837mi^uf_W$rB7k^nc3z( zDGu1lJ?z$NIXsF8d{lN#z%*1{VWkxys8f8Hlu`IYb0^Z>D6;ET=u%&5yykQY*K@gM z-(P73WDFT@S+tv`c3j=!vqcM8THchd&QUm7jfG$V5z88Yf$jstiH6G>>|cH&YxO(Z zl&Ao#56v2;0Iu!aR{<;bb=<)fG@-QgYwm7UH5Cn#5vHR^{J{Gg zGbz=F!8P)N@ap)yX|lvZd*wCf7u*tswJ{yVHldjE1Uh8l%1sTxtNam)%_~tUz*=kS z%C80YRg`jmid4zA2-b{u(-ho&@RHg5I~DU~i|8M6O&Z|b$xqro`8QLGSTe9@w%vVN zxw45%Ue}8InKetL(w>N|oRu3haSr9Qt3~~C31*s1H5uNegC$O~ie0!>AEWasgI#pE z*V}j9v8BCHrS%;;|GA?)728~$a$6I4QNs=3%Dk?FC0tyT7kzL;J+zBJJ)~HfC1$yE zF*r@Mi#^(tE){`a(g`z*EKF$QLzEAQFSKFm2`*Ty*x{;L5$xE-25o=kNpia=hnrQB z=*xCUxx=7YH#z@{83Em~xIwdD4ve?f3dJ|Ttfe7RBQ<;?&X(2~hKm$rPfBJ!3eBcG z0LExd;4^8(a_;xcY*MRN{T#?uoKB>EadAf=705E_Q`t*+lY#zXRKrA{{XjxtY6D=s zkbm&7_K|RzlV7+6I#P`{gpF3X*39MY6IT%(KHQ2CT10m%ZFi~F%zoltoY-9>mc9qC ztDsBKmWsG$?PT483|$Tgt0q1 zPuh(~@2Pjtiqc(0A-|zwH?Kw{EnS-K*r<7C&~45g_u2`|ayj>kD_iO&TSkA~Msc|* z;5rvWr!ITXk%<+eP8e6y`)}MyresHmY zjBYKNN$M#RO39|7>JlT3`$yC5U=wuB9bht!ys`Glrp5$m++_NJ+0Q41)x zHp9pm9!X-q!0pD>rKNgsYG>L)%eSM-Uea?bid6yeDOkAkb?G;Ax=j=JTe4D5VcnOV zKGr=2HZL7s+#ebMs*KI(YTp-o+xx~-Cif{|(DQvM1XJS30-YWVGi5^TnBt4Ek+00Y z^>aF`&Ofr9Lk);TW|oWN>Fb+6?SE+FbOFZo1K9`2i z-%`>NH$lI#8~+H%_k3KjP!!q@3)RKi;Lyr=Z?KsJ$t)!)0hW}3TYyML0@j5HhM!B! zAgDgp9q&QFVBJaLGm3!67+{HJP?9_ihTg+^6G`rB-b8f+B1wP-%lwOh#FN;hXye4XCg_}||4)>^ ziu&7%03rUccVIJ}E0sqKQQvM>n=(y(C?k`gy0 z;4qS17jN_bGu^`xov?zo?#^Nud$fxkR@@e6_jg1*L6Ee9*G#w;iM7%CnklECbj6lu$z+qgGoq8l1|!x z`AN(CkDru`G-=xZ=_f7m|H97a{@;G^|BFi`pm9!E0_lDR3^l;{VoCLaq560{>CB!V z5isdy#1;=epD*c$(o_YT2`WFlt%uo}v_iIRO37!!KM4IVVsU=l-HB)d@vkOI!*57| LAP_Y@Bc(8IVOe;OXpVHZ*7LE;wj`>}iZY3bs_XOJDI{L}XVdKRz_lyTS9p}DA>ql6t z&(Xd(4CUx}3OiuxFCX&%BaBZnzrI~T<@H)jS{{1&e(mo%T*xRhj8Muno641imhe;C zt1g>Owjrc*jS;KfWm_jl8t;CIi5OjPavq#2@Sf!H zG`@4pOhM?uE5}P6OBuyyY(HA4Q;_ScoActx&Mj?7g~xPk)aGbt*aMWEZ4|iMf$g!p zc%t;z+2O!!2KR7l^Y)o&aa)aJ-_}j!d+(j!Fhg(5h9*Y}zgsQim0$kY;C>N&9+1?2 z1vc9pwlk4gzULJYzP;2jdsFs&V?nB~N*_RU%dbMi*p6t;Y#yQWUP&3atdWk!&jGLlOJPx zTs_ug+%Q8zs(hd4zy=)bn9$RpdXM`jY%Tb5)aaGnv&KCcYsEs`FZcMw&X;4`zeGqF zWO*g6>?;rz4p)7hQ`Wpa8w>reyCVi+gMN;?k`~hUuD4ge-!}PvY`QAIxJe$mI{a{H zN^N!VmTXYfdwk3(p`@2jpUR!b{InrY~*sWMUsOU^(IZ^8TvfcxhD8mECl;^!%T({vQt0TpHbc2Iz{iEirox71l+qER zN-Ifp8SCVx1>>6K;S}kqHj>@CA;H_;sPSGf8IQWHyY}|9xg{)!tSq5#oUG?_LgH5v zaTg*rDk}$kre|i}$L`~9$(E=HExS;VT#~ zrO$;IJh^4Fw z8~Ur(d)1n`Bvt16AOAj0KkB9Vp;5K|`wLU(LdOTyh&+VLg=W=shHwgw| zFE2fP2j8@MNtpZcNcp){Ipon72kvgJRLp(5BiW=&qP{v?ekNgWjFFhOI0UWaL65$X zTy5^`J)&eQ{{?ZvXkzqW@1qRit#|9vB;m1pa#yz!CbgZGS8~VFRho`?XT>^ zAGyL69!FD|UA$(;=sLXYx;C`LMa&SHL2Or8k#NoIYst7OQx{5vLl`}n&hf022NT7&pvY0f zH~ylGf$Zm^gwU3G0X>h=jdhpDArpC{b0@}R1Nc*dt*2#7Zg0u~c?I>VB_Fcq?djf^ z8Xl)^ly&a7adaBSr*Vci&vc4;zNhlO4F?9{CPZ&IRT0L{N<@>0<%@dzSA#L8yC(e zp^#JWMOLT{<7rr*LqH<)kOa}$2JXeGQF-CXlfT?T#gfcl`G@)sZ~?3e)yBw3VrIl{?vQ;mYI$Dy*c4U#p>jTD*eZ-lQln{IS()O>fA|CRx&%o{E$?aZiqys zmK+4xNcHQavI`U(n2gxfxCj66_8}=GHYxY`*}!EY_Vs*PqA{HBx0KAXlrTw5zp=DK z%O__Ep;KsQThRj~h^j(+O<}yMfa=&D@Vjij(`t@_&;(-qZ{!F?RW6r7m!hI~;5ThZ zXWOdr8wl=R>-H|BGvAXdS2F*2Rf!5^(g_-UiOj`PqccePe(GD8GDDLenlV=F-Ryx)uQv#TcmTYX!|ZTjNFVM zG3U}dhun<5!&WQc$<|(H+i0usQq^oLc{elkvy+LFUJ0|V-aGrp)N7VY7Es`kJDL-D ztvu49$chLt4rB@as^Y#lY89@QhoMcxSL+-t||4MttY= z&UVwlq9gA1zS6Vl8}_~@=BotI3)RZ`afnv-)D8vp3|J+(xho&<56}@tqFl(?_N*=V znArL2=lT^2A304;G(AI#CgeSw@(xXCmyuXDqzYVDWZyxg&FPAD>`I#Lt?D$`GMHlw z@;aG~4JsdOt_ip}arO|~$uX(6*7ergGbD%vo4ZH4!pRQN7Sqi-kcafU$YH$%lT==u zb}Bs~(8`0$6EP(2voyWi`q%+CW&f&|oO4w#*l@dXigur$DHVlvhftDE$Qu_{>$7!= zsa5NIY^rrixhlN+hPpz=%Hz4@C4^45qsAZKgoCQq;->KT-tQ^qtR!=3`F=u})qt-K zsXTn683{kcw)o-c;-kFIXvz^Y;Pw}#A%48q1o9P~;)HE%XsS_0! z+D`kz8`mM@HtuU!UJjmei%LNUu7*N-Rf$1KPGg)M9pht z$`|vjF54{in}Rrr3l_YO((P_H&F)1wXIXzSHY&Q?k@$AQ?}?2gWvJxPK-=4Is-{h? zHEQ0e>P-nn`i>A64<09*2~%O4Mgc_K2VJW8osfgUp}DB0h~tWZx^{-C&+jtCIdHpb z86yfcTdS~{Wlp}XFDUPTbH9PB79l;e#GVgEXvimsP$pu6M z!#0;k`y7jvMk}V5?q1M%I&?p#ws+Yhu9~~9R}S-{%_RpN`Iz}WAMm10d>ekpK(pq^ zBsogc(5H{z1N@nDK-=Q z<1f6-i}#X)+mvz@cLv-hb?*#l?LXaJn_|PUOUJw${isYOep}XtSW;Rw6DQ4~z?)`w zrC|L@Qti(Avow3|R71&zT{n>*ZU(IlWxpTEd(o0!A=_8;onyZ8K{77L_oqZ*zOiHt zOU$sII@;QB&`(VFZ^`3)nv8=wVEu7W6wa4`wIGE7?l2||*D(aN^kBz9Op<~Nq5(QA zQ3QfI;i#lwiVu#;luHg2k`D$)bB8ho6##X{h0&PiR$(+742>z70K-2$tVv97Emlk? z5K}-wEtzX(Kq|lzUO%9pS+REbQ;0ExG1CHm8kb1^{1yLmWCyg{QnB^XYzmB>;I?y-${d@Xa^LaWor5}FzXCI#i5fvh~?(=ca$H8 z`inIH8T=>9TK*(0uv8qY3{YDfF$6~=_+Wpe31wj*C??pO#_9s=%*>ttI+OO_{>(!A z2K(SB%2pT$zy?pE(x^TZ0+|LFXllV#m?dRuQW}92gkY9k8S$Go45kM&fWcvga06`^ zlSh$!{~zT{pb>G(e$+q>9}>=&6dI)INAUkEB#ENTTxt8_LI4*Wh05Fk(9zTe9I!MW zJP{XyBLcciQ}bXNo@Gfs7!XV*ur#xWvNe%JAz*_52ND(Mp`!Auo?#T69|#6$X@OwB zEzvg_jSJm?K68JSo4Z{#>@-l;S!h4!O}I)-|>APB??Z4LStwiZfO diff --git a/documentation/images/fsm-eoe.pdf b/documentation/images/fsm-eoe.pdf deleted file mode 100644 index 991034d590a32eeec42b18222eeb00b98fe22a78..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 4068 zcmZ`+c|4SD_qQ*DqL38bXv#KbGxlXnV=L>(zGN^M$uKkaWFL|xLP-jdH4>4sWnU6m zQrRm@9?B9)sozXb&(rUHp7*`~x$oUra-1T4XoTg!g0bNVD31p&216)#sCN$%_ z`Y>i;Jn+nJc*Uj7)%~@`37>5Q>UO&9z2~-b&+Nvh;>viU-m`+Lgn9Qisq+D=Wy$6u z%XV1*u0*ejnwobpI-KXZFsD2#hD@<4;Ifa+Vg9@ON4xW~xJylHRzw?MC>yUHd;HMO}q94ez09hj9=`TOeZqIj{~ls2o%M|S$<1!!$VmNWtp6L zfP|iqkfSBi?B6#`UMM~-r0tRYfG?Cx=XX%MBIMG2-Zg0zvYs@D*Qm@eYI9g3!*Er1 zY8$CAwf1Bl_m1&?n!Hw_qDze7M2cBSW{KZBWp18^(3C9mRPh(qK#`gRNk}5 z$tv`)EA3VXAIH~p_X zbm8>TxXa`|6;o+_d)|5HT${34 z6`88?F~wk|>hs^NG+w;7Xzs$EDbDP%lLlLXDYhR>=Q;ho!3cbLV6;U0!`5=2@KKmx z5lbPuJ&SpNcV3ROfb}T1GmcM(RgV{6aObwIMNMIRF}rN4rhpn(S7*?oo=K9Az~=C( zSYare+qgX+{$7L>n`?;|^9?pHp%#-NU%LbaB)HpZ45jEDe~h@4HE6(+&U;X?q>sf) zb)QL0^Uy$kA}T4C#oyuGHKjB$*)3^g>y(3B?cDXi7Oo)6Y1vm(CxzJ|+ibMRC_T_< zTIi7AofyIEg-3HVh1hNEV4>zYISxaXZcruKT;UhP#pshn-KH_P%=HD{{gN%V@U!L5^K zHVsrg(nRwyogh8XW!Vua=ir2%hu%X(x4UO#%Z0v#pT=qLOAOO9 z?ylnQ<(iu~KH~UdqP#IZzK$BWaN+h+^!n#gZmP|@^2a_*!a=8!U#CT^ByARJ3yhFF z^^+1#KcBMqPwbb|&tsiyf96$v5KYO5eXzqm1VxrkTD0^QG}P^wXy9%PRMUdswGO-E zGT>7hAq}qfXVv_2r6!)fwzGL2Trmr7YrS$);uu*QRwR|zT6Qt^l;)DCFxg)*$I*w^ zSE_avy}sVP6<_sv4EBw^-~#(o;CkTtr#l<)OPu?X6PlNH(JZ3O{QHv2(1Le~^1@lC zROP_WS(bH7kKQH|gH6=x^)N@JkD~j!T3-K#n(>*((&u+sV5ma5aI&>6^;MxSA#oWcsxDM( z#Bn&N5^Hf^iJ-T(b1kW|hP}G{j=aHvMHyzy<4EmOoMGc;jmAa2{c2fE9_KTjTNb}> z#}K3ESjrTu%)I&B>M&Smm3fh%B-p;!E!NfXCb5_rUBb=zA&jW5KtHyXMqm|)z_A!7 zJD!}er-r;KLH44@^$Y651(KYkUPx)JC4Mrgm@4?=IhTA;n#eFuJZHL~i{TsNLIJRu zX=K#h-1ZUXM1v^~?ZGk+7xi?PzOJwW7KI0xlX8?myQnD_ej`DX+jv`++d6G!vDu)R zu5#AB-O_2v5bg#TMz;bIZ8Or=KQ)TJ`7Crg`aV@%R*LOz*X@v8*hNA8Saz_DYAI~> zD!UV;{G_E&FSy)mk1tmD0go0NK3mKBS5f;b4HZ$F$Axfd> zioEzUGtRN=I>m?NB6X7vP6Wwn4A+D>R|p#Trq6W}WV+Y6C(%Mq#^S45v1{&3ZZ)zb z`OJvRNt{W=n2xFdi~fehSJb0NkF?*D;ju$dUS+?C5wacE32Xg2P}?K$rk`T36#mS< zxxZ?#E^D+lSVY!#`n3ZeqPP5R|AJXhYtzdcP|4D}bqXSwU>VL4bFhNKxyZtR)+yYP zH*1!fpSTaB#6z#fWR(V&9qz`;j-KH5pZcDgS!X8+Sud*RlWk;YzjF7fpx=?)`R}?a zAu;7+OuFr1$E`_^GF)2C`7eVO?|C;fWwEdD*}6H3#D^6XmZF)Lb7kMEx^D*u_gU)< z7RRdIxWY8-qH%cf?nv~NuLH)P)EZDIQsGq3s6F{&z(tK>;u!cbty7g5VmPw*QTTQY zw6b_GZ3M8ZI0}B=d+D15s8nk`V(N_hzCGDfw(;V%s;pJnpEJ1}?4{S$rwG5$OJ^s_lH_If<392sBSh|6;m3j6Znz zdHk`h>SK`0q%1Yjvg$c@jPj?-$(l0oRehcmWQH))mH8x2i{RNT4~<$Wj1n{3j!>ht zSyn!!qZm*e(q-Lxw7BBQ_0S^nNf?j{L2ZGH0lZAy7|`r!U8MpTF0=HP!sGxAM_$ULCXL$2SY1eD9kl%O>6ueB6HB-05G8+dkut z&v+wLRS}?HnBs3Ga5~tR05!vV5TM2cHzFQG3Ign5bTd*#34klX96@v=nczbOkPNK= zg5n4il0Vs%K%uJ$Gcw85fA8wIcjF|x*i9059mKZBCN_A31#o8<8q#h=Ol_E-K-|KCZ2pr&TV09;G!7crxTKXZcOltGLz+;5hjMg3(} z0jd0_m9hL~#Na6eMjN081n&R>mFSB9nI@EhfuI)tE>y-TFlwgn{8vqg-|_TDyZO5k z$kMtNW`MpYi9)5gl8L@lKt%zLlA*VhF4d?+k`I>Nc4@2{0tQopslecH6$Apoup5)y z{+H=Ak?Kv5cBh(ZQ<3t#nsPQ#IGKMVj*MBSQ1N8y&n6<35y~JiSl3h!^nZC1(Zc`$ diff --git a/documentation/images/fsm-idle.pdf b/documentation/images/fsm-idle.pdf deleted file mode 100644 index 3c5dbe61bc1f6339267a417ea295f5da0ca5c208..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 7642 zcmZ{JcQ{<{7H)_-O0-d;WF|ys45E(SJEMdUZH$s=8KX<0*AXQ|2}6`1h?0oj%ZM(z z=ru$aEfFri^E>Cg0?@qCgN;XB#w98HsSSL(0kmJkThljSIjhW7eYg15)E@ z=6soi5_8mYA0~j3*^w$y=i3-kq#VXez<5*{&sMWHkl0kLMw0$Gec*9>0GUr@$Z7ero_eIsG`p z#+9G+RFCY%=K#nb6O_}*xSQ|&`a#tB#X+L~kMs()(HT*86N%?Iw$ut9PxAgrzE2gR zh+XRD<_4AmlAfnMri*86R+bm12hS`HF1##K|?mT;+a~kN24mc#Ak6ot;1i zDg%0R=WA)`A08f`?H`EGzqnW%S#SPxUXbD@*L+SZIl7COeO>DB((cRI(|2SUo#3!N zhjUp$?H2FL9#a0g(7_&cFySK88638N$GeRYKAf7mjkY~5W%2tA+LFhU&7C5dwuZ+% zCxF2dckDBavB>O*qd33a8?&sYKWhvtV|of&pAWVRY7E(sGqRVuCFkecC&ZACM<}bC zGr9qLIE8M~N>T9b+LhnV)qZ*|V&yfX{{6T?2&5E^sSbhL*AGg?5gzYO;yIHBE3Cnv zR3n0jG}e}P15t%0s-3h+yu{K7=%3bb=H=iGsU7U?nuK?Fd z!h0L-SLa_GLKsY3f!(aVt1+DGCOw%MB&p z1(&wh%=~0krV$oqZLRQnbxWpVR2SHnBBk_4Qp4#pO-riJ3oK-z)~x0%Io>R`agj

0=OICLAT!9|_d_vOOs;*P*<96NKvV99un>ORXg#6Z~vr%JFaFrP=A37*b=PV&A+@zOuvvSuzqa3^nB2V~y(kgvrPip~Mq_i0v- z3od)RcQ?|qy!;yc)2q3j%Vy18{@_0XheL`_R0eOpO8icFc$-jRPvLAaujE|;2>F{Y zqb!ZPVgSm?C}<+v*%sG}&kin}ZU}g|vcIG1cI&X=zVBJ`>t6;9edHf-$teo8TTzi2 zUPo=cA)_(dc7q#Kmg@f6B`bbkNh;Jb$8Kk)I+t&Z@W`_)DA`D{29~ z)DhT^Rax41khCne)~p14zM%l}68-@wz5TsA2!H?+J2d?+VJqkPdJD=#v>3F{4FWlD z-iF6hKBUi=&W(r8;Ti-Do#(iC_NX4E$lC>aSllvAgnmd*n;A3Fhp5`VDac#6*IMWl zX^_al?p;I0@ibCroKaUnC_33`#*Q)@%6a^g^!Rs=fD^q=&aI+Me6fjELm{?s-~8pH zg~6S)q_9p~_*$t6R>EqYj=v^;Ub}hyoi(axRf-I5v|Z;ecPqE__cZ^@5dmcxUn>m; z(?b}>N|-A{qKu3kr8t@VJIqW!)XUop5WZ$d6-+ir-9IQ{*+8ajH)r0|z&cvsQG58z zBbXlJmw=}~J*y(ULXbqgw3|cF)==P=Af_+Hl||!g#+gS?S08zQKvA~=zPgNl%a%=7 zxo-rXiDGFiWa1`~8CL-+D2#6YsCk*yknl7>m@Lj)2giJP(3LtQ@jO3Y)|N%Kdtp#4z@K$D$Bve=uA2h8WYbfs#6DQnzY!g=0dDELz*9!am=x;1DX43!cD?V$4 z`rYn*d9qMV176n0(zf0Dm0!Wm3PG&h4MOux68A)ET8a{z8@q(4Hd0yXU|(!+kjEyN z<8^)?p=;6PiMvU;g_Pw?g>Itmt2DV{ny84%{P#s3Y)5~QnbgU4OH?e|KxD%(vt2`e zc^u6ffx#L*THzWWl9N{Zx<$mYmIQdp69Fs<_*kJN7$TojaBMVX;3+ z@!qg8CoTOl0<~wvnd|sz0)`W_i1S?)-c(3-v~*-DgBvPic#C7+xNE|#A$+(%4L~C$ zDVsH%GR^h5e76dj=J=s!_ovPh<=#-WUGKCvZB({GcH!i|@+uu)?nRc*Est@$GU{xz zU@#FUeCxxj+MAIHf7Aey8t}xr>0h)a(jeXuue0xH93GZ<$9a1mmR`s{;S)(N`!pJ1 zEAp7#PJ{6PjipO=r%;vMPGZh+D}tq7|d-M=?*Jat-Se<=Xdq4!UosW;fH^E>_&PC#dgqd_rz1;xF5|$38FNb}H>+&>>CX z%i?`nrn0^NL81vb<$#ymekrB(OnsSXXTnsfEsHajITRZ;NYNC!A~L*|lmVm*63&k8 zUk^o*huM@5cIqr!d7adIAGSa2!}S2TNHJbb55yA-fvc zBK7RXqL!obK{8k~4WYP5ZC02^ zh=47EG9}SC-ESh4zrOI8de5~VD>#62+>bnZDbTfx9r0$~acP_>Tz1_<8ExtJcu4$B z<{ln%SjU~%?Zu`xC1~`IhyuIlJpf334cZUkwbL zGi(e_ZPmP(uPOn`wCiHobT!I^1?lHh50kViqNwEPiN4M_A#Qp^;y5w}m*~c5HIy4( zE>YJQUv%*1DNzkMIu9sfq_?G=D)xDT6u*~3sj`wL5rS(K|f<8cbsy|&8 zloZM8tFThL^xH`s0?Ozq3%}2;%ISXD(((4{euB!RGli=3Ulyb*3pGa))5uQu$s2;9 z!L+9Pvf&eftD)=_>Uv}Z&l7@YCVe|uKo!=cJ7@9g{(M~icl)@5lV#GC3Pj699)xyb z1735slc=8D_^k=7qg=C#uvc(u$OxTFkbq35~eb zX;PLCvWml#n{4oMaGweu4TrKBb+_IH7<)ywfJ7CH*f$=~y%m}csRpq3Q%P63MDw0Y zeS|&6AXuwNbpodhhd98VjbSt4-;GS_9FM8aAXW~wpAmkHv#;r-+Vc8^>M);cr1@>F zsbUWm0+&=mk(E>GU-5ARB{g55h?^SOBS& zL(wf88X##J)kG}{eX~(_b(Yd3Syu-O%Vn;1HKxhfFKZH%w)!kZK_Gjf&1+ePUyym!Ze9RQwHQX8TaWVAZzN4{q`r)$k->=1~y{C3YcWb zYeKVcD^W!iJFW8hd#*=mN7Bl=5WzXC7Mx+UJqOKFfhNE z43tA6qK8WY%5fUp$GF=OZ#_~oMhXV97mh-xXfPJJConL_skqcWtpaaVw>=vP&C;PV zo-B19+%uXim>}HbaeoxZCD&6?J#3$Wn=72)aHQ}fSGWB|rkF}%3@a!9l%H?ANTQVJHBGSeHM+K;4X8sq0JA}~_7iJ+lmTHk$)tN+vgU zRx9pcT^1BmDF6})TO}XNXDkgf ztDlGxWXxBbln>Cahv@z<`gfmSo*a_f;~4Q|gWIh?3CKI|WR7LSWaR2hab`42lvTH2 zKSR>Oy_qWHVyJ=sBn<_QhEh=2b{979;C-kXAS@9XA;ZVrEB!^oreLrkwynF7D9o=j z2?Vh!(C{AIDbi@v*kV4c=0b8u+mv~6-{>9MO13>M(Y8x(;xZ+$=8$qu&q;?crkSSF zYg!fLeZQB+52YQ_zCUCX>>Kc-k7#$1&Rz^n9XV%LVw%iz?iF;b{gm^Ea3jqO5?y2# zDq;4-ra1oFH%g`6Id%?V>`(1Q9SO-Fyqv@sfr@~3lZE<4W4WC9$a_~S|iR$QUGKD>w((K?u zvPYR#F}_-~rzQ>cDy2Kc(k$XRLeyM#V^75$VCLDldXvrAd;W-OBi@Uvks*&jmSziY z0u_5KFbkY9LUSIYjG#bk<|72E%b`dtm$b+@KPWP#KyLTGa;c7K3|RUd`*RC!X&q`p zYG_txXjWj(Z7rQ)6v9~~P<1a8?y1Qj=J_tPYt0-cB%@KL%ar(ClU!{wu_6dB?tzQ6 z6Yb<68*%sA&;AFt`vvf*zKNjNkWUX*>(j@CpJ?zWrrEJvmR)$;TVNy2MUwSWQR5r0 z-eZgri|YB*EBKR}svaw`RjTLljrXuU3G$-^q!)H0M?A!D&J&{~QCEaCDKJw)}dPbsB{GB?xBC)swWK8VmTps*- z6SZHyIOdxsEJrTg71^#}_NW@8uK!kK9}+FEkW=~<>_12Fgh~2c6nzE%J=m@2($CDm z)VjDJY3rhRn=~%z5$S!Ae8sf7{tr?#y|V2Q!>jo^OfMQ%)Ls`=a z94zy3S<8zkY4Hw5*F(()-6y&i(tqHFKL7DQzDBy%w$dSWX)3Ey!`bT>6dRr z#|}hYyP(sc+rNpTA$@DL8fDh5`mwH=YrG1MF%XOQ-@GqBC^|#txWDG|wM_1%7|l*1 zh3Q=|eVDIN!y!>rJ6)z*%)d6h=U=I`YsA#GDKh`|xzCaAlE9+TQ%3ik zGa2%#=U~nrY{eD`Su#&g&Vj@wBz94GA8!I5r zM4N4PZ4nX};+~p`LQ#%pqf$%L*`uh#FJ#LtZ#_{)gPZy%jy9x|K}51uvM*&|44px- z8EE3qTE&AGTl*gd{k>w`GP33C%PPM{xO1&6^51n%imG|_Kv0b4-l~z052tIFBK`0Y z`>aS6pJl~Jv7wtf*1UE}H`D;fHxtGB4TIBL(8wxC=G*IdH)2%QVyL$$JH41(IjyF* z;Pe9PkFPi0D2rN>>SCe5?h;@zj#6!%eduOvnA(HTi|rB6?#zF`(?T2Yz&L+{06RJ9MTlKsUfIxFAWeGv zA@-(^uvgvFuXr+V`1cV0d2svuy>9g_;m_W5p@-+bwVoZLQ%uAcUt%?M9=({;DVv!H^KlwY(t>l z+aG1E1rCRMJ`E~7k5+9Q`?!QRMU@4CRU>W-7+=jvZL)%W zG(nVEIkvH)O zUt|Gy4U@08Do|@$p=R1yp2X*lZK|1^n-<~q%$9gtd|q~Y`DdxWhhV>>=M>NQy`fw( zq)<0zuG9FADD)r(?avk9P#iw|?Qn$tv0kY2*i%a5wE&Eyt<5<>=g0B|F2nQ5j5n3+ zhyj@xia8b~kHrbi#QB`E_Zi|El+;P|Jb>cJzTo71zp>D)VIR=ubbsa2!-=7!KQHRe zq9p+0Uh1ogc*IPF7WUL(K8?n)Pf8=3FeQeDgHK6wlNU;uhEpm+ds}!eM9A}~+$7E4 zb7y*}hUgM7tAbuCfwtHdy@HTFB`blisPPQ=^yk)TSCjxxu+$6%Ll^-DbALcHC0Y?x zXdfb|54>~(fWJ<)emVo5-XTOGNMzu82UR26W;nLp%|+?DUwLVw_pO|YPu4SFS?)Sw+0Dohm{}z9YeBF@{eH#ZPLPTlVB-#mK^H-XX zYYYG}^t44^@4|J>S8x7jO~U_Kxk1%~koT?cB;z!a_n~LgG+Ks2Eg4MD)t8<7W5&GZ{Idosr!39xeh-cFssadnbo~ z^0}e7uU5i#NH35H66JA44-yd+2I}~zP>=N|HQ0=v9ON3lkIjA52IHdNpVN?I-#_eqxfs|Klev^uL&xq}bJo`Y%37$^R=B zjk0laMxw5iRS?9`$q#u|F9-s6bGw?@>j42lG+gc7K-ar_b(}PmLFU}8z=5P@3)i3h nRZQpmv8H^4JpT{q(e=1{plwj-zuG7+EGY@NcTYu674Uxm$cxc= diff --git a/documentation/images/fsm-op.pdf b/documentation/images/fsm-op.pdf deleted file mode 100644 index 70a44a2180a23119d4be7cb6effd20d0c5523428..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 9001 zcmZ{KWmsEX7A~b&gS!?2ZLk6Xg1fsrMFRxa;9A_J#ogVdxI=L(#Y)lQTC6~k(hJ{w zGjnI=-t*^VzsuKN=OlUF4N{SiVrFB306;@WarppFAS=+p#2O$V09Jt6Tew&PxgHTU zu#}ap3k(hfOW8tQU=lD>2Q!$E5Wv|54ujeOJTh1G72|AWomQ@EN{eD7cp>NBysW0d z!6bK`s7y>XD9@y7n4sYMYv0L;VZG)GvMow4*u=&}Oc%E>&E|!K+3)T6>YMmqM)!C9 z$J;qVF=JGJ?urbuau6B{!GUd?v!u`MFrYu z-6+X-Co18N`~7Wa+l%gpU*{<)M}MgP+&i}4AEE06m7O;dC|qu1gD2~KMhc90)jD@L z!AADrKc_ci+&NwMn<>KGKG)mZMkf?nh_;8@h(NMz-0cJJ}`95xe+Pf$&OxDUao_izDC4gZCdb*d$tGr$1HZ_})HbIJ|q9 z*ww~3TzIC+Xs2)E9LhToX)rNd>vp_p(pqR^v^?JNmN$EZRbc>pMa~KK#eGFF#TG`g zlgOuNbcFk@QhV&0cS9HBLKA6Q2Nr$W5=Yfvn^yfIx}LqJm5J?W#(m94-tafUZrbQ* zN{)H>YOT}Fx%bFw%83wFN3a?ciNd`mVaT^#Jzey-V5D^Pv+`3E!%<*};FpOyN@Cz+*d5Ds_Tum%D#KXLBjPJEQ~x1@do(4oNi&Ve^_FjY z8(R+DH*?@_ef=zc z1mLm8DYpQR1&rQzTieQca8LiNb@PCxfU2#XZlBwSrM3I}v52hCrO4vyK+MMQ9Hm}0 z>Lv91@lC!l>-jAQzQk0FIKT0 zwBn|OcQHEKlur{BS#Uf$uyIE!_t37~jbX30#UJ}MjaQ$e`{rs%dCm91N9|JIcse6X z<9BXw@lNKk*MiH4{uG_2!&my%&I&$#a*d1XgS(sRgABZMuV|cfpK+(XTSEz)Sk6I& zxb|PT{2-H1|P^+Hx%|8U0L(Xe+R+q;ItGKWOBkTLkMqRjGVWcyI_Xo-i( z6N3{Ky#=SVM>{*%;NkwA=LLlD9$LJVQQ>KLwt4IFKn0m?C+Py%K6^FU3*-UwG~vb> zox}kO6%${HWi4n)MBv7{2hN#ni03=;W3tk1)~s*z1Dm<&ybQ-TXSX&`F)vM9!drl< zJ}1%3iFcXv`)9imDUN=Jd<#~D*Y2z9Ac{`Iwk#BqsJ5&06z}&-8Tf+W9j60)@SoMZ z)d6|a^=ckXmK;j_Vw7YUfes~uXaJ3yT5h_0l*rHWdt=~m7T*ScOkOx`~leVscsu`AusQGl3i2&*rcTCWSFY}ydFN40B zmk?Ah;=C{{nF_%rmJUUn`cAO)gFIJ62tf z%LJb}prG*cfMo$8ug!oqzVks6z{Vj`Tn@*0Wxd&aX{VZ|F}rY9szDksZmZr-7Mv9ZjOHGo0(iiyU!i zOG(^%$(&5e6N5Fg5xA!wr}R;Z;M9kmM7)oof)V74GqsdKbI-IBC#DGcotw8>P&f}v ztD@xd^sbBL-OXz>Is?4UyPiRk8zD^o0V9PKR?gHb$yv*6*MM>oH3(iS=M{P!EpREx z0V3lA+vC%}f0E;8DC-I3eMIC+j#iUqG3es__p1wYU36Q;W$Ti~7KIZDf+fEmR2S+P z?M|;H5gghiuC~XMT{L-WsWoUOwo=GN3i{*Iy_8ggR38@RYef<{YpcFNBR!B6k3r3z zB(o-n)Kns~CTwqL4aZ8q2NUd7_VY%L=btEP#R8c8twUFpQgJAS;n6l&$z&7g zvG1mTL>|+|g;yC}lXw5h-l3AUn-yi;A=w(@At@;#?s13n;_ zNDQ)0x{p&}z3MmmVh~wxDPL77$eO4}C3?K=3V6jAu3fyThl(se5js=RCDMWusK7f* zfRylz9yH^*X2D4KZG9?94r>Q?4Gg&o_Ga89A(E5W)y$n1bmJ|pHFo^QUu#f4VsG73 zb%4y8Z`V7GlS<=FR}Eeaul1=Wj>CIwgk|>jfogOv5f#Um_K!4mw9PDAZ?Hb7%W3S2 z-gv2y@vIQY6W$Pa%*Z=}LtDGy^N}9j{yDN~H)nzga+p9VAq=>;Y4&cBz=VR7-?+?) zoY9*Ck&S8bYQQuPFOM#t;z|QWTe47`cH)jkC|A)G>vyGS-r|t|~;CM&o}PTVEtD1LQaO( zWl9s5h~^%l3A30-GyEL6IKEybzNDoBkGn57}-2^bB z2vDf@N@sEcH`F*wCx6)4KJDx10p*Y)68AWLYQzX>_113HXxjiauHkOE9Cuv*Z%pnv=vk9U9t9<=4|h`3K0d+ zqNGdWzq;s-McmvXAk+M4kv&gDYW)d^N+*MibZVW2(=!DcL{U~>)hVgVxCFF^yTjw* z{fbf?DUdO4Cf#j+qg?Cg+S&zzUz$JS4Zlt~eo8|&M0?F%x)sj2OjA_pf5GAhkm{iw zj$m9UB+%XaQXZ(Jwmu-y+w+AX*e{AkJvE4j-co(Cmcxv9!YN`4{YW+-2N?S4cki4c z_t9xoOca>MTo{^~I35(-n(C+Hh!LZTbT1xv$=U_nTg(Ww`u;jiR#a8fAW@E7RVG5` zS@yKM6T4RBz=zLVGU5fjPyv=?L5R^hMhe5wK%77iD8MZwIQ%;Wp{L!Yy~Eoa|?c<;}oR|9miw~3#6b1za`NAKF|2iKydEML3Hk2jbw@(ssx=0sTWTt;u(6M9VgU*!Xq2Mqj_= z3~Wz%?$mP;Jzkc260NB=A%=$dt)5>~X$gp!>~q0NO;FP}J{|@YeBMt``f%>vhVVhG z((V=Um}ZV=9vHjVd6T~i#a|`-Eu5v}P#2N9d$QGh1vp}S$+s=jhK^q^yIDH}4m~~~ zq3`41aCLT`KF=;?2#RkFk1$bBA~9VdU*M08kKmQ^?W^E~e?)YDYxxqs)L_AeRni4f zMqJZ(Hf5re*0sDsf2Na@bzh=^k8w7eU?JgZi{nqkqft=7Y!^(bL3s^?HFJZ`WZ&kP zC3r4B{)l0LnLbxe2*}_l=dRaKLvFDAxR&{>92g}3?uYG~5p|brtS9fF=3ba9&O7nN zNWKW3z1d(EliZIY*n6JlE~J+Ti;-_781-e`UIebGy$CT5&Jj>*te@+NOWc>;MwgL{ z#3vFAuiL2ENYvCOwo&1uBY4TY5k)kt?b>V^^AayTHIE@>>_-x*O4hFe>sVQfLjvp= zm^ON4by@Xi=6rG{@gHM4#g4UrOtsW6cBZbUzDHvRUw=C;SD||ZM%X?}=fOiohj4kJ za?xyym8U*OD#SO-6g&E)JJ$fDrRIGAJX`H6*Fgg1(wh_6{4 zg>jCPqH`i;5PNPxTpiSOSF`9N2OST7{uI=p-qGKfTv3+&afzNjKI> zlol|;MYR^SH9uixDs+f93{kB)I8FW1g2CvtmaB6n#-h>WP$HTdoeZBeK6gX2tKvyN zmh!^uBd!j8sUX;VJlEIOkV-_hvRu-zKHt3WQ%l<1d^Fl{>{-vjk@fh6*RDVpw3dgX zw8!Mln`SMk_cmfigGc}C&vnG%aK+{PZfEgzDCaM2gV%rB_Ln2B1sw$G(M^~Pqr?(z zd+|rDml@^-L5Pz6(&oZ4`!)1-o*qDex;DusML!xq%rJcgM8qW!;FO#Q41YhTnAFnl z0g@CfX;%{~OTi$B5{cXsCFN*NmOnFYVMS#tE+7B3Q6cs`dW$w*P9;8?sZX4nxsM{$ z%d$O(mtJ##`AQb)<3?2t21UJk@ii5(rlRCh@4Pb*d&@5}jB5D>t;*#8HMTUB2mr$eU68MnBV9?wCM&Xm3oOf*`Wk}Nt zd(h&6g1VI40#C@$zE+B4rNWrPFs;bh!3ZNon)fim0y?hecM~1oqzL1hCRQc#l_56w zhe8d{X|eY+iU+ln`!=tGr2J)^?ANY3`YYLr&HdMnE`Jbp?bzM6(Pbiv^rI3YSD>jn zBT+B8*S`2BANkz|9TyN+rh8q3fyWHzGDXmZWxP5Iu5hfGO@IES{7ao^gdNKdE~{@P z8JOTVw$jsDW?`(%{nYgYpjc764N-P3Vf37$>E@`Yn!l5=|Z&l@*XIEswv{@{ zcHROWqNDR)FsgEh!Q398wB}33zcV{XSV$ut_od)kzRw@^G+HyKw^7(9oMEWEoaZH{ya=;G(WpZ?qC zuY6KNIXXdXFIQ>(R4rhj*nm(>@>zrPuIUv2XeeNmnwaW?3SD95s+}MO{exbqK9D8q z$6Hmwv4@|CW6xRh*n>7u=(te99D8(A{ zczM1iCumDwtTMAy3_4QhzZtHsw>TCMohS^{kIC2KW(m@-9xHD9Xst`T!d$LI#XG@E zgXWGMFb{nESAEnj3WU&IqPxxCWT}!-YgifXb0pKhG4dv8|Up6!#+xB9Ayc663tBlt*8J~%lm*N3yg<;|T&Dn~7Oimcf=)B_fvez`}3 z7;;fdxtF65LZQ1@fh|A1Y0$z+fh}(S{=SLgJ{?)Ii_psZqacIEV0eieDNSNo*4uOd zgqm~FF-<8#K5EuwD*swhfQU*^d3%m+brMEg>f;E#xHcx%!mc&^{NirPlB2V=P?<1+ z{SBxtd)t?p69D6p?+)v?2R@sHnRyD&t#pi-q=MheWPEI4RW+MYK7K&VLlMFQItE?~ zH$;5S?Aswg^u;q0xIIX_xbc%x4}l~IPlikfGn(zBWdBUaHykBU+VZgY{PU;aWSME( zDL4@lSU0m)dN47OaAwW45MsGFXo3>tg)=B+h!Sw(df<<|OR%A9B3N$kcELrF;Wn|j zlH}U6EqI z2rU8s#=%zbN~$D}Tt%kQyQ4o^QyYZH1D>1p4-k0QmM2}jMsa2i)x9?<@Y3e(ZrukL z4P%srOf^roWJ9-Y$!+TDN}qFS=S~ik+xl1G>9ma=N4F8T!#evdUYs+&Fxh`K1Hmhj zapj>=s~@2<9o^{Ei9mY;C14s-<=+=__|}9_gO15>`jXG|gw~YUzx+LFG~Q?Bx+bVo z6J;$E??i$${SwZqpR_7%9g^0Kz{rEw$ISBW$;0Pl(rcG z0dmcx3Vd_+4g{mOWaQ08u@%eHHii_cc{ND}(xo4c;$i~bZLrcS>)A4A^FL7?Bh8z~ zy`4u9vCQerHR4vlKB+MBw0s5dou)Bpi6m0-%g5<6v~!^^=PsJU48pG;$+WQ}$;{)n zDETJ&p~q8Or)v?*`he`03`DNrmKm|~{dMWxB&Fe9)skN9@yNAc3tuneyKDNBi^a}z zhTw^jIb1lIAdU`N1d1z|F1kw~DoM}cXWuFV7*ZE1TIpDP6u#Q}vbt^|o+c%K`7N{2mzZ>%Tzo48kq*t01^ zorP0>AApXb*cWLahNy+W{#`6<)RT1%2M~-oO1tqzX6Q+^Uqqs;=dYP!oghs00r$~c za;ews$$jYV0W>iKR5{kx1;Ir&E%rP{ZU=R!YJJSuW8_m&oQ0>LnBqV_?*4!_;i8n2 z#WjZX%x|`AvF&Y84y7MW_xVD9_6=di?+8sO4RuS$I%mHSGF{f(0dAy!WxODA3tM6k zx#+vA>aDSAb7-VAGYq2zaH&8oac%_JKO5J$=-vm*Vs-|KN#)jpPIFsMrf3MmQH1< zlQ0Q>$vjYp?qsWwqyemxXldlH0U}0&-y&ruWZ713CU%i73!*?Fsbili=XzTxlkWTA z&&Fm#pa-%DH~~ocYAtT_0*toe7o{((TW?>S`is!ktXxEX*R72q+v}V^>NXM0`qT6o z5*EPFm=~pc46{c5=@IQ0qKZ&7*(?dpH|#MmV(3s6(0I94F6|gubZS@-C^;J%3M`_8 z0>C!4K0O_?{cUJ4xpO4_ylBr}WW-G;0zIxhHRq_S9FuHEV$N%C`kA>Z!|;qYeH>z~ z*32qzL(>9DlXvmjaIsJ-o0hYM4wXvl zFx?ubo*HPL@2wL&i!MCCEHqtX-#7KX-XmB$#*q`c2fTpL@hM-K{3>>H=q(KcUtH13 zR#+UiCmH`7E{eUy$(*aEmJA4I5c?R);{avymT+Y*^M7R!fkjf|PPn?hxNWJq1$fuq z*UJ#PpqNO?%qnic0q@2tzyX`>4RmdhGQa2&iR@-d2&1oA`FX6U{jl{TC$oJcF^=@W zm;0@Pl3WU#x902KvV#h5NBPe7w3Lu#MzR9Cm1udVm9R6h2_@YUCHn3!eevHmPWa8t zB|B!sBuNT?O;Hnce@tu@#MYu$)a}+_?{7UNQvVW{^JyX?kVhhG_s9+&0D~lUCy3>w zc3$8a1@T7Jay1o5;b9Av#ojYApAY~;*M26*FnrN;TbRwynMT7jEiZ+t^;A@TBlen3 z{?U1JKISDo7&k93oCBw#RV|!&mm>}&!#CLkmr(wFCDFMZMOnCCmsDl#&%G{aNH z8a$&cVXOEqD59lbu#2XU$8D}xH=8ENcl6E}9DcLy7(j{iwk-w6ktNuTfYIyZr>1aa zqNk1a%4)8S`IWY8JLz&mo+0IX__TWE1lf=jAuC#%}uNH4`;RM;{M;aJky9znXERM+$cS0x8nY$I7{!IL)0f zA*-zmrT9uWd6UmgjK}v52cVm2>`?sZ9;{>+Wksiy69Sb{m-z0h?>Rz}YGq|nt5+b>ZjceeZQB-(p{v143AA3j;hq|bpmft_+UG5pcsr#|Yojr_x z9^TY2mfph*HcM_Xs41p)`}KN(ewEGY-V>cN$NkwL<~|sX((eD%g zp#lTO#^KGI)xz=Jir+C6bu-I@2;T0yHooJZDPBY}pVG`QUVKz!?22(RK@MxSrgOv1 z=F+Y*X87}dH{virW*Iy5Cy~LjpT|+ccvTLTj@@0?*!yQqY_8y%(9BXg<1ARjHM5ww z{_^{6>1@AQ#UK5_pW&J#d7U`6O;nW&xnF$)@_ILdxOMn(fJ_ z8sL$C2a7+hA00XapLqMfpue+vitrB}|IyiFTEM^Zat4Cst<0Q(dVr^_)c^*-M-Q$~ zE}y*pZOZm9)4wgnp)OEc2aA8Y_($^p*603D{eLG704u8~0@;Lw{&xIS!{28M)VKjp zW@`WT@>fy+l=1+0{!{w2{97mnb%s5)0W1Tvb%VKBnL__c6a0h$!0N6hE>FAgRP$rx zf7ZnQZ~Mnao4K08;PjH}DnMyV2WJ;&Q@E9*3y_C}jg#TArH@A%T&x`IB_7*OFTuyo z%F4yc&Bn{d&d$jWd6X+UnEn4m8dfg0FnX}1gB=WP?g%!say!Qjr1p@9$#njRk<_5C`ay+Vvy1H0CX*!Bn zyEji?<92_2}`Du87U|D-}2jJ7rKR#-*5Z_>P(rZ)p@a@nLPA352uKONiF64NLNpLa0t5t6K)Q5Msx(0qP@0HH zuTn&iDpjc}NRcKM{@^$>|Gatcu65VF=i7UKcb|RsS?hjB#Pqz5G*m_oAkw)Kp9esI zWx)jJ%K#M>h#|%kOLhm#QxS8B4h~Po5Wx@~JerI-k8vTmV${?CBr*|$_5e^ar)-Vl zF-W$l#!DNi3GMAO{5=Uwv;sHoR;AEsO3{l5q(_{zUf)$L>c-TqUFEv3T(4Qb+%Vj* z@Nl!(0`u)B#V4Xs>1XT=zvrEq7mr8Rev(kS%o6jTf+0Wm`(t8j8xDSmoaB!iDpR`{ z+~!p;jnZH6`oS%Dko;J!kUURhF6+qu_VxR__gADhI}-MIDqle1y-U#J)3T@!+S9Vk z)yT9ri=6%ZGH(DNv=s|8R$a}$p)pW(^82pe9e#-80birqWLaa7ru#Zgc<1RdlNm?2 z>)qneJbLYS<99Qu5Du>Jem)0>y$Ps@fkRG1Q&s}?lPU^W=)$E$k zPMx30r9gzxq83S4&#tYoE#bYh`uAvEqo3l{cs7GQp|+>F(Dyf=3A*)5I*W4sG-ej! zBgJu*i7BarL2V7!_P_sl6Kl=V6_d?%$E&GhB87aMGmO&5k~Z|d zx;Ai&W$iLvcjb$X;No5f&%3Kjpu*;C50)2bc7@1`WrfWVlN;Tct=a1Ky?|uHx`^;f ze(rJ}9vz^B)v~;ZYM4+_fDx~x>G$e(hRFSeDN3PVHE%;H+tIH_9~Xvi;7PO0$rLFS zF9LU9WE=^yw#7wYk~D;^@^Qbq_JRgjyq7!t>VZ-pv-|~S4*_bb+&5HlOF6sW6Q8XVIvxr+XZXLXcmbx4NzU$ zdtbwGPnNXrS-==Z;G9P%cw+MU{wiuEr)lx5TEX`Eg%=hmAXf~#^|vXucf6bI2!DTM z_6LV6fi7_jh;`;SPW|%7>p|@Il#0jUl#u9YEctOX}&;e6FY`7^h$`}U6yy( z4!&O#Y<6gLA;+~j52AG$xgQI7pFr?8g>c)xJ;&t5_h=xqMt46B&55MtQ`nO38y&4Q zKGKnvbe29nWHv!q;uY5lmjx4tVTGY3GggecJASMj49nfT(F$s6GLmQF9|+%C1%4gX zjg1u_)Cjoppg4(%*VWPN_*se|Io8=uKN-|KCEn!LBG!;%_LW9t_KQBk&~HWV!G1=6 z*#Qk3QT*6Y-i{VqyQW~1eugYNBU_pJ_sqmg$r;9SQ+zfg?0S~J{g0XfxVZMnxerdQ zX4<1sn+o2Rk6N>Rq$^b+!f9>Sow-;14a*aT^wnR_7ztOieD3ivM)xzKMANK*%wmx2 z`&|cV*vF{E_Y-WkGv)=?DH#w(vEkigK7j^_Ef2H0!!rRD+trgrdZni#0ibop{W8Ap zpt!)x%h|&6qpOLkexfs6&qQ8AhPIL@E(Z)j%UUGx%v5TQvL{i^@d@;^=3|4T#GKr? z)lXlb58ZBpyaO91h81_dWGcL;SP{R?pWj^^A7YrdD-J*jYaKJTf4gYUo*^)_cq7wc z@U<$YalE=iC34}5#n~)Z^>^jg*|#Uv6bI`4?WAV(hb2v43UR@D&top@g}#s;W{=&z z9j6)*)MdKKnk*lPCQ6J!Ywb3ZIi|Rf*lF-rMnpY*;+1ZR@)P*9RHu?v*ku;~lbzVB z22pdBtK+eAHZNB#sJ=Cw8@J%~;&E&f;(RlErg4JCNo3yFs|K2-b4<-z2-;;1i!(>f zbG;5sml!O84WU_Wr#l**O#+9q%Ys{n4qiXVHtr&12tUn_x)zZ}%%i<(eM)a)-X{2p z+zGn7V;4?2on^>Wf1&0g+3CTipVjsngfXWH8{VpI1B@*GO7`Ep_F4yc=< z<8A9Inqr-&?Tjr|`y1h($GQ|174a&1dBT@hC{}MpERV+I*WO~gKsJ@cyaklm^ULsEaW_2t2SS;) z1!Uz~!dF(GxU_EI1PH*P?0je^q&TFhycJ>YE<0ip55kaoN`3UX>bl>1#5$xU<>FKNjG`>e zc`_Zw0~WN$Z&j`A=dI8;5(yy8msg>>B{3BsFq{3Pc-^Ua`&|$QNqJYL!1T)Vmc_!Y zN;}{Yw<(1>pI6!PuRhDzI?-eOUVf?a_T9~K$>p0{dBsFP&#in;#$*BS zchxxVk}2*U^t5}OKy$}<7#%UDVbJ%Ca;we+pVhQQSu;@69;TO~&FX5JcGMyZgliM&Zt)t6MEW`{ z=xncmd>FGqgkzM2{tQON82p1?sRAt;69~C$u|Tahpg0!IGskEdh#yEX{%pPK`e`*#Jn?kH(-Oq zZc#0U-Hp9-sHHkr82jThO_u)vw8S1ix6aQCQv-0;^9u`fmCIDszSB6Tsq!ShrV9^MC<(KG0RhQWd z`Ee+vZ!5b;UYAcC?U4_Et!s zes~A-a1qm521@SAw8k}+19i1-l{@)MY2L)S;itbv(5LfQ4IVgRr%Z z^PEf@);%e9+zFWVZ6CIJaa6;%&Y z?@L!?vq*)222QPqH+-_x&Y108lW5VO96ss(UM*r}RiI=oA-JP(R$hqwq)-f!iRBX?o0UxI`@TDk;?y@(F3-&bh~&t6#Bh ztCf?&M#L*!+|JK*D+udFIP^+25V=<2t*%Tl3|F5(l^anv&fur-XTPe|W3K;vddF}p z*uHuBMbE&?EYFw9cT6WH%j`DeE(|mXAXMo-IA!E{c-+p9n4VIw($kK^fTIfO`v5b| z`l;UeZ#xr8h5_uVV5i-LZ6{jkt0w)zgQjX%88Kl9&o?S@IwSL7L%t_c-vl`Y!lvjn zORJ}h3h&cm!$V$5HK)CEwpko+ihY2l(D6!FTYj#V6=vVXZ#ciUD5!4Y5t`wU%KUPy z{`s-?MO&we{B$}6IjLcAaqG_QH+D6b+exu}CT49Ob0=9Y{Ls z_wxMs71lDnmh{eMypu;`9%83e6K;>!@I9g2QPtRfmGId&b@A?_$!8_w=mgij3faNV zCs%Xp-t-MDQxY4Fy97RcN{7$!X1qMhe17^EzmwD0sOZTLQ%@IM?51{3@rBUQ$eZ0? zJ!e)8N~L*h-NS;+zGzUNk-+5RwH)T*4mhA&y-o}n0DX^`5h|tU&tl)$k+tC$-jWDf zuuH8m+pg!_QI}|(+r@ag{uZUww?iR&C|?hsa!8mQ;5P>UTjW~$dto4^XeCN+Dv(Wy1Q!bo*$zUL&|ruq zhC-&gYg5R&7G$bO1}pv%p+lfXLk~I40aVEh(V~v2ge35x)cyti&g$?Be@JgC88t2N zue?ZLhyl)(1hxYlW^E2|08<%!4k-`WeuqN;3jH0ag(jo%1ni#_eVa+jLI3w+5Giu_M=NBeWM*KnAR)Lr!C`=b4DRk4++BkP3mQCVfMCHbcyL1S;Dis} zeRub}yZ82=?(Bia{2{6aiZ8lL{dAqTp?)fjH_qykrOXZc7U!#dwXs_?DAvC9% zS9uS&dnc#-oix?{S4U}H(FV@m_jzQV_i<#OcYZhdKRo}GQaCcFHy|wU=WCD{5To(ODCk4n+lxTs_z_Ps{643*NS^9?co zhqJa+b$gj#S(&Hhdta|LHF9CJ3?1FoTudzhO?;I+_LCESra^fbAy*l1fX%w>?|0A=C>O3X{~tSQjog1G`M8 z!7_Hbwf2iQ2IWJp+YFyHwBoySx394}+cilNonuA2&ffS)YW@B|)R?0nY5{4x-KzG# zZ_6qP(SGhcmE4dWH>0d1H|jL)+_!N$sVVy!57g!PtGbz&sS8EaF%}3i7AB}Z9#+tx z7u?xJ7WVH$=bf3Ywdfr;JQka=IU*CgTO9Mh`jf_QTUGb0Yow$qf{m=@0Ppsc{Om5d zxxIlTaa;-qf9@nwNx!Ujbwojb@+Ga{r>(TCMgu3S0d$W)k$7(_Bt}0w@=zygfNbx7 ziFMcq@9Dq?*aJKFHYQ2B>VBxOtleyFqZm5Dd(fI~#*J#bNjRj-4boToCvM@vjxEqu z1!a%ZClMgG208Aem|O+S&$jJbO=%>wBJ`1IhIR#_jVTvMAgCRBgiqs^JD9B_J4#Sq z&&Th#i$XV(1;)Q1#7gW?DHjRttRQ0apT9_c>`?x=QJcl-@UC($bKgXkNT+9y8g8|*S!`SYSF5({4}?Deit`++)L%23A@2ixpi!yiWcHBv@b^|;_jyOVK_(3R6(?J z@8p}!Ay3Cx+|P%Yup7eAv6)yYaND*3VS*(IVV|qKXkMcHE$O!(rnfo=Na8ro%Rg>P znDc&olEE12F)AA+xfcGi@hA0G^6)5>wsS(3PTkDnir)>=y6I)fwh28`XP6hOw6jfW zwri;%px0+sG`2$FI9qM9il(Q%Y+7P*@;@r+ucqE(unPGZ9>=ZDl7fWNru{7Cmlunv{2}hhgDp zGgOQGK_r?CvL523DF`-+gjAp3BV5S3d(pTB|2#JCVvMWZ|JnIt^x-4B6mTjwM74d) zs;f9rRC&-+UZ|-`UY&2S;93G{wpkNN3V1sX4K_8d_DP@GtEqq`qQNkk za>T(*4wM;Z-OL;pT*AhJdCHX4iCP)q0YwBW^zh@i!5e_~T1P!vu5P3~9DQ3K>%DV3 zH@r9R2uG&FGCtw}<=_9P;Zyom!m$1GMs-Y7Ty0hk^8;QZL-wjrt8z<{yZUQtzCraX z_89*Ocid=M7;n5>)>_vWQZ=M00r8cC9Z(NBL6|8xIv2tzD3;&;l3tQwQyGE^=*v_qk$q6CRa{MIBLg@HRdDV>Xrz1wZT9r3Ju4A?ZpG=%M3eKEa;+rvRn%}k2i?%5NR zx0u3 z+9i&VtaGZi;`JI3B9pMc4iBW;d~JCMybZ{#$*#FyDX(Y_dW#W^py%x$OiqCqhDn?V zQ9cd~EDP?Pzbr?o#ZP!Qd+}@tpjn*df!#4Sf7UGKCQ(ggkkIcN<=BDYL6q77MnQ^) zfa4T;#`k!!116aUF?VqgqPpOn1O3;-Ym3C9)$;_*)0e7a$v48=8{8e2qKoO6=QmYh zH_vDI;-7T{A_i8$xMQ@VK5O7O)(}COqPM8~TL5fUpwjBThrm_GIJad?`)2W7!Zz^4 zE(EvmkexA4X%h0XQyCpae=ivUab)@YOI%nHkE%B2Pr77cJq9M#=-3h95=tijhlb~8 zoEYWrI#W_DHo%^utY6U>9rOYOF}m0$aq?0GDc30=?I88J@Hh$Yv2@#+!=$t1d`pnf3=aa&Jy}qTh#s#KPBk2r_9n2y_P( z+X=XNYqjV0COCZsh!ln!L6JG8T&`=5<=NLPXPiVPQQRiEO9sCyZyZVNrbO1M|fnk4h0MZ{fgyp6`&c^aAUH4jB{KUGpB7wN4q7*Ll@JRl@KrpbdDLF8A(6 z`qNr0abHRzIdBJN7Xw@xVLBO>!>NhFEnk0-gD4>DQydyhzm+fU-vQ;oV0t&gAB2px30 zh;05?dJeoZ$REM`5ES-Mp(qj2*$RV=F%gVtsS-b1i>qxH;*zjAh;1)PH?*)Sn#|i+ zwb*bn4D<8|#R-TPIu*9WSsD#geicY4l&{XvH_W5L;F2Moia1PE0^d8Qm%nJKM_Q{%&~{Y=csaJ`)H%fVu2%m(GoS>-@w4xX6;a?~2d zrNS#R>m5SJa8Vy$%nuQAJ&+u54n8&mWPe6V;)PE%A$Y6QMu^qpT#{Io}>`M)BP{&NUJUS!6=GO((rp>0u^P3a-ww z^exncBeYa~*|>Z*g($NvOK?sFBWLW)B7LLuvf0f<@n<;^x-%l`TKCgMx`MxDb$Pm$ zqz>FU$y}dpm5R?bA}prsW`YKKRNyIfB%RG0dnX;APZ|G*fV)e)AL%p^~g5 z;(8Z{%ASQC;8XLimY(lbycFH$+4?qv6T)pt%ZkzYi`~IQcrW-Uja!3=~u!4blc-c4;YE?!4`(M4vCFpP%{b&>E6d$zk&#?I*8=>9P)^=^oCn z8Af%MI9R5pUcNFR&T{LN$j zDAnJW`45=8d(9mas>Ykm;1&vO?;@%RG9(! z$O;W%sO9+sf0&(cD)o|WS(&)1ZCbZ28_yVy2Iuwedrf8=O8k11qQU$KLNDL9xtLF}gu%_gWBlNUN^t7_t zJn+s#tC9nz`#_E)mKb8pO03hx*i-wU*wLn$<8ICG<=A_~U6sx?8})wOwp>MrniTjn zho8|;lVf#r`Yy zr3&e##~Axjs&~D{k8k{x`@=(oMxiE~Z5%Y{-j+B>tTmE6#L!l`{I@d(@B8CgztTdv z(7lU{4?OBf6=~zN~98gHrPRWZiOz#6`;hNUZ;0@SN_kHRr<${yliEpD171rM$(u@jgfUII8K zq7(=xo7UKmv!mirzU+h(pON>l#{DvB02aoNkSTU}$(aYfjkB3C`2Z(mE?nS3<<`PY znNGnbo9PNFhSxn06DO6y$&UcGLE%-PdI%KP%(FXEYF5`CKrsEWbX)Gd99gIuoINbQ zQce-(b?=}(5;NqDPr|w$FXcQS5E^AiSRpS9{oWUV`BT~J>#P1K!Xf;S^KU#2(t(f~ zc@``tbuo3TV7voT6V9LBM|d#wpfUs~!y4uo)m6F{ zFi(#sIjv>eh^amAvx5(6DY|{Dbl7J|cRuXLwG^r#L<1|HDtSlF5UN)ui-^1#T}OZ= z&Y-)`XBf5AsQ2l!Uy;Vpx;J~FkLMypJKW)hT@$ie;J?s)@fL?|!3yOM{r6ln%6x9t z;pggKW*1yu&s>zJ2-F^ELMP&gV+X^3PuDo`;iY_>7?5BJ&2W;RzH+hUjarJ*4be^s zFijE9^t$t~<-}=El?T_nV#<}8bs{Oz#C{_uLpoZAI2_JY&knM&nwzefWR+;Igxhbk z2zZD2kE+kpYS#L6Yc~vi3E2yc2d7WdnyL+kWuWT=`L zYG9UH3<^q+hnDg#h)Jn7e4*S{*9DlQOw~DhfSh*}1w7>m=JnGjEELUF2oMSf_cC(c zJD?FatTRT5s<%NSgV8&3u|KmkfEbwdbk5J6o+X9a;8)COOQk2xrGgweh(?`oEYvKz z1P-D5p$nc0^Cs?0qmHFhRP+4F6Eyr|-n+8jvm9@%)cP;nCnR)f=(l^nd$HYSXD|-g zcSLnJgM=O~Ci9uG?+isk1v7=YaZ`nQ#hVkcm&LgkUlSi5PdD|kk5K9eEzi{xfAhWZ zBFhYt{!~kcRZl2CYc`ggxC|fYV9y+$Z!{V-zgavC>CNgG^Fb#o*`4nD!o{uF#99}| z)D>&H1WYa9?A)p=MRJGF5;4CCaV_r1fI-V;_`7I8NW@r|p12mb(F}2yHQQk_?&pZf zeiiRUkxCsplh{hImBrJm>WHgR>fx#Pad3F6bUiKz6N=ZR0SBLl?b^p*7@Cw5D&?W3 zzniU)(R5FCu_(1t)9X7=yloOe1gh|=2<_@vcUWWg!EWpopWs;> z+Zl;;<&S#&IqH|`R)0nag_ztx}j--qU_PyZI}2en1?JT?!e0GB6S;xv6fZSGWdx;()h~b8jKljg85TE3z+U zGFB6rKHAOrN+r5V&Rb~P#i1`lkCNsB%JNbV<5@EO?M55RaI@h;#i-}L-SQNQ!%#E7 zb?I1enqE`&!C1Wuy&>C z`xTpFNcV&C{njUy&&;;el?=siN#wp$>!5p*?tZ`(ySB8ejsVVzZz0d^*$@E(rtD)XcHCW<|Vcy;pJ znL2U#_h*By-j>ki=2&cXtT)qOXVHk){1bURaZAvln1LlgF)-8$Vi`^>D{TV{CN7?D z%%fI+^}0`jJv_NbWLuK2Vi-C@o%RgdSLyMW|`T@o9l=>{q5+ZA|jW8`G6_JQDn;xeZS zWBIBI6yzr{-wYm*CI(~>ydhVc-*-|b4za{sqM=a3r;SNyB|v@5qvHOh8a~uSkiQ@x zPM7w%fZF`_p(Nrg8P}>u&nM4dmUkE1u`w(d!y87pzw2JqFH7(h#5}1 zkwo<1zn{us#i-A)Hp5CB5GW*oVd>QGYtCmNF%CPkeIu6ionHD76#vH~z*JLQKGIoV znIxn$XL4AY1h7X?N3Ny1Lo2CLhQzqyYpd|BL`s+H4gM)dg{{z=d8U4n#?ow#UE|7w zpXSi4+$7X{#h<4xbv0}QgF!W3(9h?}q~|Lue06}$^x64cbMg6+_8bAEd5g|A4B z{v0t$sOy6-%(RtB5k8;Iw*+a2b2ec9gyP9y8+bOB4ZO5)ZyL#>w=-CO{MDzbEK$kg zIt)KH`IGo72N$sy>lfTW^8%B%w*B;Fx6EA0FV2fK3kTAJ+JWN@OUvEv`axPrk6jQa zRZ}SK!AolUNs6Vc*`LIF(Hu9(0J4IsN`{o~xlc68T=<>p6eBlVxXSsR^#luRAxs&> zd(T3X&`jCS6y1x;$Bidx-D|>`<8YNIr$C&>ZzuC#+OxXxLNEP(d9w%K3#+^FE_`>S zQJS|la#|jjTny^Z9X1hrz`}izSpz8?r1hv-uPxz`MM0?P6?=?M+M?#>h01(8$Cwy5 zPb1H?Q4!2MPF6Xk4t_t#Cn7^sQrky39?P8NM6Gn5e=SwzO5fsU-{ACx- zf4i8!`9k`dkQ`dG)WFRa@mpmNnziREr~UD8R_7V5$*3Z1f_h#g`Q9Cad|Au3j@Bq+ zX;@Jh(k~R@&i#XCe3$b3*nIm*qzCFFIQ5a;cevo56m!<7U z`uh8j_xDImp%<#uEimpPyn0+dk<6s1JdQxfRrktdTGw2AN1$LPljhAC-*=-`Wn;cICT8 z;ef5o$*C48=Svt~Sz*oOeKI9NgH`E|;|;GIrIwZ*SOQ|)s|EYwDw3t*7wF->((KaT$KD!Jp!Ij14X+rk)apAA& zY4oV%!5hAO82k%@|;t7mMrA~cpt{W-kLBBx=kF?0YP5Qv6YkeV0DCBYI+ zQ)Zp&1vVY1A8Z|+=RM!1wUyvMwe0$Ak zX-R#jRnmg+^V=535IMj`c*my@T>buYpCe4XaUHz&h8W`8SybKgJmYuEoCb0~O`Ne+ zF`9-dC@{M|dLnl&5_qUKO7GV|){D+8VoiMgNEsDLPonr0!gQ^tc?w9v?M_G|674&t!DV?cyn0%htI{}snd$YVqyCaL%=6fLyYt(c z`$tmS4%)jq8PPn7=jiC9)-pi6Ot#m-+&Dt+k? zuB4~k(>-YOibKj7=!nwlnBzP*WafT z?EwC=KGXGcgwJw5?a}EGPS@G=WdhWa|Z-%AOcBDvW^$r~~;TrM&7(mflR z7evT@v$CmwY|ekW&h7?RH_X%o_#BnF1x|g%a(~D^k?i^{PU{|&tG5~ zEw)}7-d{W5yjW_(^+VXkh2}P@S9(NRzak?K@}oO)-7@ODGT}Hm{`bWVlwofrlFl;b zs*U`@O3a$E@XHC3n6;#rPC@y(xl7#T!70t6Z=GgiqkmH1pAShl#t|~s?Jzs@znkih zPfv~br}q2PT>uCIVf~Hq{<}%9>FEIDR)t!^xRqe$aOi7$4}d=K(aZzl1Mmuh4Y3}L zPB1$c0MAn!AB$TZ=4|ikWCnA7Z1Af(*_&y=T=cmgM*slanlKNSM|UX?7a0wg$0k2O z@E;M<_K(q^Cr)*&$Cf|0#N+yr&>8SFD)1NdcUDh3{9|>}B>!)J{{QL!@1(J~RaBJ#AW_l3 ziJ#8!_c(((Kh{&2`oCHJI@CX{0$2k7)B3dh+xQyl40|dAw=B%Y4dwzjgZ`B!_Y;Q2 zt>J3w^7Iy-&iuIZKhFgIcl=|a&0Wo4POMTIssNd{_RcQOW=?Pi7k~g42*UPQ(#I(Z z7r4Ehb0v^Q({MQBGgFtv701Lq1m;ev>Q5;Vf!0uld zgy*sR|AB$|9_9TX80b;C|A7I4p#SCr3jUX$01yA8QvQRF_kY7ck7E2!Ki>Z@*2M`5 zw}Cl5j==!9HQ-*b$MXWX)$Q#cW&5NO0Jof-g+1Wu6+eDca*_ajR@B#F?IvkTP8<*y(vdE`NmY<8C}q>GOhB5hI0D8O2-3tM2^b9w+RF)}q5{AZd@)E5KtRr-t$wXjo5$iz z?IX-~fBYjasrig(q%bk%6FpbmvN^B7{5sUpIr-UVytb~Ty}9;kM`)!Z$2aMto4SRA z>H@mE-`(Nwc@FY_g|^wBd^3G=a`5Is$m0xj+sW9Cn%iybN;8Jfo@&Q_(Egc)-_nYm znZKeV!jH5Q*$e3l>VNKgKggp);A+it(1Qi~B|`)&UKORlUgdo8-Ajy)oAxov)urIe zJ%vcs(6%atR;Q71_J!JaFF%Yu80#FoeH?J8bYcC?$?gZ@&;GNFleL0cx?Gzd3^`>o z?A*J~P@_MD#EsX2T3$X22|fI>@xd8%yCWo|?Rcia2++jW<|%hi=&sNJrg7F(^|f81 zYAy%9TlV>Jkc#2YvhI{P@2Psm^mj4GJ@grgW!--ki>=W8pjr%U?a^$6FrNFc-y`RO(TUA7&&FBKs(0f(sKbCu6-o5>6+Uw+Fw~bJI(felW zN`y*E&R6MM8%zepg zzO-9&nzPK6Od**DF-(`fL@<0kX}$gw@#=zo_ae{IJ6m6kPk!Oy6R|d1y-cbhKMoFe z*#^UfqWNFbW|lQiHi1bw2%EECpG)z#zbEjSdaI?MtDgf<2w5B0rV*#wfn-&ieTN$2 zC0ZT&ZS5*47kTA4xXY*7pKz@Ba7)s5>CXd00ixGh1Y#<9?_3`Ci8v7J_(IJ&cx`Es zIrJ*%z@C+Uy}avdaC{we=t#E+KKA72BI~e~&jlc56iakhdnv_@scyoAuOh1qXKW6n z*>6rpGoEIN(8&^+L3GO)Q=#e1NYUHtHCy{y0<@+3yS^}1eH z%|hpp-NoCxy{}Kae|}AI(>gbBoLt5v$zax_%C?zxZ5U@o;V1&U^&Wb$K29+~+6RCd z&_Frl=Z^)79A4Qd9P$w73a=2(6*|~`@G`3>1g$?Vy8t3@yP@i@U+vJ{@H-$>S61t! z151nRk@~LX5YPThyI)w5qYX;byNhsp+KT6&SuE4g)a3O^ldrZevzF|()Jfx%o|xn z4kYfboIFddnBjUlO=NU2C~6U64pd~-O05@mcpyv<%<$%LR;;G?9i1sz4e9@=k61Ep zoxdRbB~OS`{(VR6{EC>N=nhzV`@kS;$!S1abCxL6{+>@p#BPuPLaQ+pgTg>+n6h-~gMa-qeA=BxQwjZS_^(@~wATIDPj zCpep-=h~WwmBvSGj<{!Hk#go>Z)-O9Gt)`iVKIJ^LflB4sc*s+YCrA!lW`Nqol{qZ zM=kR*jE#=2SmYj`n>Or}Suyho=KC0`!5<#Jfm;iO~Gg7Ar^*al66RM|Tv0*euSljV>31 z?+UQ2NhDg}!i=6M2%TXOtXj(Ssc5~Lu;V1iwBm_9HqftyplLpXEy6BA3m}>`3Evc< zdPtsrC39=TYDa8g%53*s4D3K8L@geMvoehLdHwafFw*1w)|BST~*ZRCggAX_PBo9%rt)h;V44xM8uSDu{hp3Cn0`Pviu*~bt(r+435Vif<;$%J zqHa`dmafb*iQth)L~;qyMhm~uw= zr8=^RJvEv(ouJAIODUypntcpP9sE3Ha!%z{#wdE#L~P?Rg&W1sLZSBn1XVze+qTX~ zp5Vlm5j+1r5E2tM0!m}d^-HPHjH0<&^XU%1N`nocDuTom3av^=3iBwY5Q4#axZGUe zmi4)GMf&Ytlt<|mx+y^-3vw4nguw`)f7I~te*PCw0)6qyCp7T4Sc;hnJ3-E9JHU_$$(vyBHiGL zA~ki(-|LvfZAWjy=9TP=L@f$OjfTYdWT6&%Oe5#0HT|d`Fn-u&pY(0L<`d@JXFVdy zrI%WtlFb_;9LgtgTx^+Y_QO)r>b?{*g6meK`&x*l!D7+qM{elV!Wn9dQE*F}umC0&By>D(wL322I zch#hTG77?bwdPw!fy*#<3!vToy{j0mwilJ|w!4v0ULDT<{UMFf;$Cj-=X>CqwRPCJ zQO2-E{+cP$9ziNl?or)^r~CysmDidc(L2O^!)~(-a&tY4@e__^gQL+iQ;tbrW71k= zn+V6|5MsoVi?>a5O=H5leN=u_t^w9SWUPn%a{SM?`+_;XA7Jj)*BJP!8lF)nmeZB> zC)Mi;OO!=c^CDgR4ISI(8)sbWlp8+jQ-&+_pl0q88L~0K56ORoC?oH6L>SNAlU^`> z{-I(^e8IRsK55P+krn|uKh+mZGsd`S1XVwm62KT-^7?pZFkL$a_T88m%-Hwb>K3E^ zwGk!PpmP(Bwu&v14L{BHnDIJbH5+dB>#aI;m1nH0XMXZe?wUSa-BuAg+V8O5j_#NY zJaTw`E9YYlgVd2h#ZCHm=jVEa1m5UJ_?0S1SgfulzqNjsp(Gvo^08N2S0&;^r<4}e zr9L11PJDwm=B)Zc__Q%!%8SWew*E`TtlovK7T$S`i~~^*IAU?&^KP7RKs~OzeTQEn zeQ4_%df~#olmkdR8#mr)1e(Ml&q%+DsT3BCMpVw>!_ckkVK(z%zOIa1c6c-*;tDP^ zVY%zYD#DxbL4v(^h#Vs)k$@vS_udH9%aLciOP^MRV?GbpzZszzNo~;2|Hmb}<*5o> zuXm)@p4%*hZxk{OkET{ibuJ|>hp}5PKytLMV{=K%l*VsapL_qv-)0t|=osJ^jimo0 zbDVgF(+IqBo~`Fb!^|;T53PCXWB#7*;KwlzXGR-~r-(G1pPc7e>{|0N>fYONBUr&! z@8?7c=X$r2k2GHf1)ZCfK2dM)3!llS-MnShU=?!NycWGV`trKW2C60X2?DbDwn?m9 zueoPlVis?RrA4%-oG={|v!uhEsRD~OOnoN^moE9T;$-<#LR=D^CJ5uzi>`{oz2a8R z8>|g2{+AJVixYQjr4ld?qZ7^K7NrcN9%}$b(s1g&-Ui@mABW4?!D`Mr0CtMAP=sP zes6PAo5%ca6h^bt*l)Q!t^bax-&-9*>_;r6*IxEc#_E7`QlQQs@x?2!vgYciN-NB6HkHTJ8Lp50g|+@$25dGT6jnz~^F zEV^lyOSw}2$t<^JMQ^uwlQMff(xN=bksGPJP_FnnkSo)_qVrCuv0p$j2zfWtYp@;M zGAvXayxn%Sx9l<(G102;jlan^@#7EG!=(q=+g&19ngmh!cEbQ-*eU=G#Yh!VZF`O@ zE8tC=BN+9EY>*!3*36-eL0p*1EwPP(MKR+Oh6&T0T7UB)USSm6rR3)Jm+beE_O;sK zbDPzCHw>Mh9k{g?yB{%yu8f#^1+muTc3V=Jqd?;DPO6{)K8Cf%0tl6@KZ#$ca@UBy z?(FkQ#QF3XdbvyDmvN3mySLXbwQGEiw4n~DDrlvADtj#-ruIUbAufeYiPK`XVDEY$ zfw5jO~0Q-`g%#VI)P&lh$7bo>pMVB2jX%08s z$xW@%9MMBJFVVctet(tPB8U z;+yW2o{ax0D?4dR_hr4LRR?ZH6_rHjEga;D^S`Iz^(6Fc^J36pQh;LPij$#+KXXVh zV3J8YG;w}d{d3U<%vFrGCO*n%PvR0o<;Q~AG`n4&25*ZOU2O9Rs&I}^3yk-4G#oLR z2_vm9)pm&-{Cba7`vIL)Ox8zExzNfGn&GsMderDumXO{?JNJ#op|f#7fO%zNR*-|U z)+<3Swi*&E{GQ($T=*`X2}ibzU{voP$4x8RuOhzWC-ALhBI|@-&W!Rrv}Kds{8lq+ z(_gu&hYjPac%akt4K+n~n7 zx+j0c8bi0e+jj))jgz`BYTvt`MCs!_98gC9@?EG#7>k;Two@`Q(-JRul5}FPGQf6N zFEq5)-|j0ye`_phB^jW2pT=904vybucmL4AGia!IY0g7$uo=ziUAmsd675>UO<$&y zX1;m9Y|fBXp@lB{?XjC@zNR5=o%8Shl&X@EQp1K@v&paJ zyS#&=`4bO(6Gej_?hC{&QN=SPjJ{#xX-fDusmq%ZRcbZzX%c0htiB*x@G&aL|FV;H zync0iL{XAvS$mj}NVE}M!uA4V$+){bYxW^}9!&ReS_E&Htb((_&kr?7)*8;l5U)7l zFTM&^k_BuuMa}Q25rsBa%eEJr7gMcyYz&=)j)E|BG|>_~f)XyXH@AcBs@tk(5z3sO zfe=9n(1X_dHD3hU(|yeG|K1eLUW!l zxZ1BPiFs;_<#+`5FB&tkuOdmFXU=Xqr9BSzLsj;s022KbH1{$qui1$tvZMo4E2NFU?mid6Fo0NR4dVHvOtP*wqI4pD+Q|=%@fEvaY6R4B@xl}EXkS-v0uU|@fn6a>O7!S zguHD3nJ52Wc`%49`HKHN4+i}|FbJG{yZ@O7`CqjJU!*Gz<4ZQ1fgn@YAPjk4Ajrha zi@dg{TLJ{>cw)VPr&mn=P3dR=ZN++J8HA~Vk;;mM&q$e4vRgx|) z5W~`>A`VL4aV0eT@OUqa)H`j~&prsw7<=#8t3e|J?d|He`#Pu9x5Qo7)H%2nyq$Qh z^=fm2!|^?3(>6FO6Pwnx6ldnt9-nE-&ndt8%U*4H*;8HX_0w@Bwv$S9+e@wsw|cxl zrzT!G@Og=s>%I+P9+pWaJX|%>Dlfq@)^(|wckODPIT2a1@pAi1&z5nfxfWqBLRZJk zSd(}A%C#Y39-pqdzPlN}=r~|lv$^f4TJwELc{v}1np|q~YW!4`Vm0$^d{Lv|(gDVL zs@X%oyc$;<=)?3%Y0!p4@VQaz_O4M4zUk*4w+2pc$;jD8*iQ|*xU*q$>L;S@gL2QZ znuD!Z*F7ISA!i`d`nqv*K$LEaS@zGKA;ShVn_Jm^|A>;TA}lTk7vpq#YVOC6=GT5# zJvg=~ez_n2{HYBVP?gq}BdM5MaP!*U&>s))iOe5e z#6HoH#4(H?eNOp}pWCMKxAtqx+jlK14{Ng-H|Do`my`!pw|5p6uD+1w|ZRmnhyngvCwe;!e+gq(S`L(4& zAyCawi#z?tu5^o?Gjv~^a3Ueg^l`9#QXWAzSjA4HYC}HuymWO})xV3!Z8#tDI4k0S zZe+%<$f06g7M;64Xy)_$An1TD>&$nx{5?{+J%8=EFLebD%I1@2c2~#>z7pGnyESDr zhG#yOG7b^N{MS!s^6wu!`t|XL?Pp(>wKjZx@Uwrk*_}Yr60FRq5p%zK_LE)phiJem zCVblA>Ri=4r^6Ep=D>rS!X}KEpW)G-+p@kT&-lC?7lyagJMm?@npup!r#smY%9G-8eQm;7--i zCFRS@s9|XrM|+>7cGe40q@T3!S2%vl%bjkz0-IrHdUt72Wh%2`>WsicrK@Z2@e6f# z#4RZ~rpgCL{2e!DcrT_3=WP4IhezIzsglYZC(D2EojBcT^EpQy9QvW8gOyPAm0TF%j^E7t?O+CFV2?wFS0#e|3^dqcn80&&d7A>6Y86_ z<7Zj!e&r|*%4{DJvAyYcQlm6nX7I)l0C(-Vf2oLo3?e}{Hv}(^Cy_u!G>Q0=N=o6b zO@`$tm=+Qe7#B;zAuvgk8Wtuv_J9x>$!HVlNRk1(5=d(!gGg460Oo;_U^1Bn>R!pL zPY?^Z1;!*DCf-_Lj!E?cKsAU57z2+C%u$pK0wMz}Zix=c0^R^FSPzVWky(_If#nbf zTLy*0z(XSEvWF?wWooeWP_PQMHoDVA2m0=%#J%;qQA0>Tpg)YcxEL_$H_-tKk%=MB zPS)*4zpKt!OaNheh=>dmLzrF_ykZc>p_3sp38armw>cLRgLMZj_hjWx+7?J$T)OC) z2uAyPc)+u<27W{T1p1_Ff9b-{18?;6jfzkGs3D;;Yg9g+pD=(n=@)5YzMl(h?_|KZ zv;D72Vj>WLzq_V2e~kN<@w`Xl9*uQfk>^f3Wp8%OF5h?9-ES_%&rUh9YNJVZ`M@t( zC_V&jxUnc*)PVo1@y4Q?i;|K|X;ZcOd6_l462JONntyWfdDrtvNegqGpqRC0nG1h? zd23!RK6qwaSm7yU-5%bx*<-dmt~hhQqET09S#4cCpx>wksNH9ed zL1C*el%+x65AOo4==8J6=1qsVN9;T1zdDJ837O0 zpL)79_~g8BJ3)L&brQ)^kqSKm{VsZjrGr*`f&{eHSxj(l_D@0f!XXeMag-*J=?SH; zW#8lAu7UA!7z!kaxqcoLr}uRnJ+9@uIu5Q-^$cF$5a>5+l#%*81(!~l7)jDRub@EKN2O(0CX%M&Sy37VBTM={Hv*8idB<53N%DCofywLMN!e64z)B7jBq8H1c#6`1N_5;6AlL|*hrO{ zOd{1V=i4ojRdJf}t}%)66!&Gfkms$|(v(622WlB|;gl&|y-YGqMnNcy3m~-Xfki?g zA%vq~gABvPpmE_ISkoyZ1gMb=!@16=w;qOyjPy{HW2e4)0%KbOH_{_80Z61iwgREC zOeh8k&|43eNR0GwOaM5uj~*@p*S(KSAO)G+TZTzckP&@kQjWEH%W$#K*p?6(t&0&- zBN;9-*25))5k3MH8OMsid&GdH6_lE!!N)(01W`*!aON-~(`rG}%yAct_-UfFa0gEz yex9(LH@xQb@ZUc;VRL@vwq13zOh!yGmV|TtHp41tR-Z_O2$Mke_Fe(r(0>4CAI|>( diff --git a/documentation/images/master-locks.pdf b/documentation/images/master-locks.pdf deleted file mode 100644 index d76430db8bca036a8505fbef9e55f88b5215e6db..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 3795 zcmZ`+c|4Ts7q@37q)GO8Z6V8;VFt-I_DY0YZkEQ(YaNDJtjWHGjObR9Qc8-LLdh1Q ztdT9D>?GV$8B6%hbi23Tz4!Nf|9Ri%d(Qbj=Q+=LKcDYWur)PTL#S&)6`n6-+<>A0 z4S?w33q5oQeiRJwqId&nCSnIS_aRU~5&$hQa7Po}%I{D!t`Teo^W-z}7G)2;dhpQ~3LxdYbgc7KR* zd32~T`NXb*1o2xRQ?)Q{jG%cn%Tf3+=B_szuf$Ge6i>RpJ33YC8^l%>LD3*g!>QI?uJCUR7yW0jv=-p7@oaO5`^FF%pr&d zSDVZ<1ub6)YF~1iOnw8t2!_vXL1JcLJKsZ2T9wmjX`LKzE?PgP7a~_G=EdDB@oq16 zkVavLq*^wwIM_q<_n`+vOP~^aob{^n1mA5usOqYBbe(KpX_}4FeP4etMfXHIuY%lX zj}GI5HRZIo;i6?Ohj$$h${WBqj*?$>hwHYyK0-j_WOV4APQnABB|$?1rb5+&kSn_>XC{&(% zmjL1J?B;l7<2lR;{1H{e)DwoA35U9DisXZq z7qUK1lUp&q6_EC)lBEjjs#{L0pL~WAD7iYB)lc{Gn~&3kdn5aGXYT3_$4{mnB(!L0 zB+Z_f+)C_y=E8SOJUxK|SV!Jii8j>Wsobnu7ROEVy3h2A(7mo8_>0F~V)jTjpb_j+ zIXpRIFRpi2JQM#MSeLRPQun;6@u9t_#W&}SmXYnnL)7?4?^7z7el~b52a_1kmKz<# zm#JOx;Eu3ekJ1jy#c+T-RpoH-WmUB#&LC>El9-)2nZJDK5xn$)Oedfc&_##2q*8 zj^#Z05G|OD=Yk0Be?xb?h~t|tuDwEWa_>HJDah&4WCf4sQTflSxd^pOk92YO=`EKK zA#_?rJ2<|kyTv=?o60Lo$akJ@tt>qgM(tK39qHgiC{zv&$9&;gj1Mf#rboq#=(2ev zC~#l9fa~}iJ$@=e<_%4-R+@F?F=9J+uR;|nRV`ynX@~vNQRaJct99y}Hu8k?t~Euj z2)kuL4M#g77bd2^q;95EX&$(71z$P^EphDV<|%-Ho5xN09@D0~U%%T|^o>6ux>Gnm zbf3`U9El7$F}$BJ`}EYE}j#zv%u=Mi&&tI_5Oi|aG^dSw(xu#VLq{$D5#a_OFv(ORLtywZj~l0WSTSFFm*#yHbnaA;<%M@H=pHJ73YO zPJtQ-Dp9?5;K8?i)hw(jAKsP>mOI=Bza__=ORLkTNo7h&+ocVNucHXNV>~1|#nO0+ z_aCrmyqhkT3Vo<=Vu_{NqI?CE%?f}_OL8EVte&Vn*T<7C??tNYYPe8mY(_6Md>J>K zM4AQ-YF|ioj~61pBBt5)^1_Yo0;t3yM@qDZzo<&KX%gfT&jNRnnFHye`tczR8wEKl zYisnB26ZKiWLp{Nwn<}e(^F>4AJ`w={dvo_!Oixp0t5K1+?Si9htE-^KL!?$Jcx@L z%@h?Jj&*78RQ!}-6lkAZ8CEj1T4M3w-7oL7DFT z7mNowrYsWY+afzH=eh)=VK>9%libkz0PeP#WjC8hT97z4q6&nubn zT>>rn5}PBtU3exWbV7pLclW$pHD4|^Nne#?m%pwr#&^KaTZVc}CKguGL{r8dTnLu^ zlE$9R_=>-E&sF7xbkUF^e|BQ7Xsqh}b7N2C-z2LdLM9|LkH7E3I(pOAu0uYG3KzGi zVP+IF5GXq&*9PY}!*LO6!KKxf*NUf)z}h&I%}JhT&*39f-w)|t;=L1;W`9aPqvMt9 zML}5&2wG7ki#r8heU33VZOwHK^M;QIDIUSXZhgh+L6qb1-n@!KNxbUm@|Lelw}P|E zcJ1M4TDsW6HlN(FUk-B5&H#8`BZ`$i)3c`sL-R5(%0F;g?`%gy%9RJP&8@dT=ZwH{~u_Bx`i&jvq_3l-DkIl?ZRgfi#qC}zhq|tds-hyy}PPNLfgt3U2at#S#eX~=m2H66{ z;+=2hYfjuS6E#xsjvn=(wbmu^;au$1b`) zY->`Osgw!p*qPO@yW7|2P5%9l&dJgu7H@ss<_p9c(UUp*5&F^5=&O=SxqSJiAr%h# zm;~z~T0jm@@==cQ%~+c&^s-xGx1OzivvX=XhU__gBD9docKE5)^Yt6&Mbwse@E>>o zHG9mV-kZG zTyo%gHzoGDXK3!Tep6#QnpvYQ*igbYaSw#%r0}_Yl9($Ced%{vC6-tOJ73B_Gr`XT z6@b02>GXQ-8&WX8d%THn$|l2SR9lH%M!x#RlcSVru_v}UPH!m&XD(#bJ;;p|emuM* zZbO#cE&j^ojg+ICTZ(e=nITjxZ{qsKx5tVbiq?FYRf$Pk_j8weY0AtRd2xW&oN!2%K8`RCsA`@ZjY zzQ^yJaDz@CNl6t%c-LgLk5B>`U~}_{*jO?Rx*S3th(?H!)H6;2a)8u3X#wh>m9;^w zmf!^r(uIV#ala{!9g;1({&$4BC2>pbKQA?eO#C1@a@v${u6Ap8tD1I}b&ox!mxf73F4Yd# zH9Bk;s}ka;Li%6c++5Q)9b8?Ldg$=Fz@^QG^pkI#7$|*z>&9CjRUBwK*VlGCD7bp- zi_54g^Sy$=(Ae`=*533!m2v*s*O8;UKHNQM%oLU61iZI?U@|vt|Jxr_u6d@*;@&)* z+a4E}kt|G=Cx0ax7KQEE(3n$a-4Y=F?Z`f^>9;VJ|DZh=jdA( zM;5KfX&LQdI{T)s75zSXu6)O&=hw5)W%G|0{b5O9A>eORw1)6QQS)laEOA59Ksz9r z4s8sbzxm$ZkY_!d74k@F29C9wpkOAE76F+Fy#jJi z@(Rf&0jUjW?nmfZ6is1HBZ0I>CZatezJjupZvVP>OuecqzN*^kPaxV)=!LU@ZT$=iojvU zd6t=?X02*M{h$?Z{l)~Ehqw*oM(8Yt0%N6T(j+lPkS0&AfTw_KMkmkKB%hB*jkbBL zkP|1F3?Mm=V2FT8gf-z_2bIYP(n$BbUjdWh%LfqA0aef$Zt5?f*=f zjNpXgLYha<1TVESj#)aE6QiBn28+S#$b{H|LMjIaTCnChVKH=qDC8RN5%RF7dqcj* z&ETiTBGx-uj-g$^!1B-{k<9hd%RxIK0~AHb<`#%nDium#2eX(;jq1h=xaKg82916J zrjnzXF2IzkhcOw2WVX;x`7obaffTyHPxA;&twLH`=!deM!vv0IoRC8=F(6G$DMa-G z(#Wz%uvi~}OmW#+fQO52Q;H6l#g*SJf59SI6!yoz(RcLLvDHPAM?l$F?Yuy9!b}?} NxePu1;Yk^K;y<_271#g( diff --git a/documentation/images/phases.pdf b/documentation/images/phases.pdf deleted file mode 100644 index 51b5e93ecaaf7005f4b48681abf55e4ff37dfc77..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 3305 zcmZ`+c|4T+7e=}<5?Q10@=J{tGlOA-nh8^3G6s>Q8s=q2nqii%Y{@R!DzcO{>y%`P zFeHWOHj!wvQ@W){QL_Br>8gIWdw=ggGvDVt=XuXL-!q@jGnzy*{C1SKE=;raZ9*;# z4IlxAn-|R37-0p{J=s)1A3{h7Jk6U8G64kMo6H8yKz9ZO+_@9RVlzSVF__=QiGu{j z##Tw*?6vWcXSY(gjsp(OxI`gbS$xQb&h`#B@FVi#iL7$HG4eX-dv$r@uyW~w?DvR@+VJy|yZ0gmSxaq0L z8sJ|@k(sTF+wGgwRUUr8MUu?dtV=%~T=*_}IJhoGlN90*Ds`P`S!(nA?&h(#@KM+O z$?vP3r~AK2Fz5Az|R7aNur@wH_wn43MjoKp}4T(!Z(O`@A&ap*iNnm4N!@#2c zqfe8;Uuz;prssVF`WqW?r=P3(cz9P11XimQ@45Im--(*=hxtHzFsuL2!l$9a_XGV| z{XxFd%`;IM6OyVgPx`1hAxb&6F%lg`qUGaLopu`j4i&|B=IL8}9lbTz#8L=>76-=c zu8QWLcQJ^_?hdu=l#{A9h)8_zBzB#uo&rWf<;+bJuQvaFcri2g@ZQd)hb0ZQnF!}k z*6-i#w|=hoa?~}U;5Wq-o3PX%X1gNFzRddYEHroVJGq+Dv7<+8&$HXpoKB58vrN)t zE@PF1TvFsFo2ti14MznO#}uX7&*z_a6e}K^3pgFT)4Y*KaMv#VycNIj`s3uxqbRla z4%g-u7J7Vg4$U13U{~S0j~w*!F?<-0!xo40UXFj>>|UH-*{~uhJZ+zSmQQ|UPfFCM zpv+Tmtt^|_(`$>eRGqBiN0N0%zfNqji8jxblj@yaCpoheU`UTkfFI$iRuAXqH5H{v z&1V=HD>~8h{tyzGH}Jr1Un7&ZTAO=+q)OJGijY>!mvrOz=UkI02z=X2nwk~M5&g)z z*8FLp@x^@O&3SOhtGvNgf3_s_%)#Wx4*3@bsQ z$BK@*9Vh1P)h`Ik#PRI!xY*poVoJ(ZW`A^fF7LJ8bFc;LqMB*6D^59ioom~?g9;Xm z)H)Kj13O^LiKqyzseNVnk>rBcw2Z_ICmMC9uj-dT_8B$|nru=XHoY;Qgt7i(?YodP zyOw=TuW*=rPHWID1>-eI4$_+kE^O!BjBF6Kzl-rW2FL;L(4W`JJ2SDKO{6C(>y_OG zI=xrSBZ=!a+qtigk#k7K%VEM${HB-U_0f=oyDb^EL%33dcKJ{00km$Z4^<%FnqQvK_j1+Nso&%S*70aytzA+|=9sgyrFKM_$*&-KBQ)6`M7#*i(N(#H8gX=>4MYfdN`*^WKpx( zwao6mPqXWJpZ7;%g(duY70&3?oKo^wDK*soJX6cKr>^C5x1&~=VcnQ^v~(p!kAPo& zjxv|X+*9cAh-)X5<6RUBt2C;(s%I=OcTUR}7kZ1Ut=vt-(bp!6#3EngS8bcLA=Kw6 zhsZRGHo>EdHEveH9~7T@;iYGXy}!UyuFdYjk6UPUt5@$PcIB+;lg${?+%2wBQd6|m ze=@NBWzu+u?+w40`#f}7m>ae7akIYFtJIAkFc`&%V9N>t;4#971E zO|@q|SHSk551s8LaZMFJzt^pT=_7)1wR@B?NMhy4C z3&hGoUWAWiYjufa-XX*#N;t0eSLW@iIwbV`yxs?cPk@|O>XLL)l*j5otdf!m1r!1b z8`5vwjHGIC(_%EetP_%^9$tjCaR`R(K~p)C~5wsO2=1hB4^?Gxxk2z;^8n7ca!Em!`5cuWYfN&94kx{hzV9?C zqgfy(S5*L)H!s|)&{;^$swIl!F6S{L+bqZAZL-@B?2zy!wTs(WA2iSQf1PPBwrYV_C_GWl~m-wsrpL~PA^M4i%Ls%0D0BYyXWnn=N%eIkZ028E< zeyV(H>U$Ie!~8ueI4%cwlUbl(42Zp;_i>O-b0>c*6CuE02wRRDTW|@2o}o8??@8xp zJ~U_w#~ozC&25Rm9x8*yX1OzIK5PJ^jY4ZdBZb^5o5rA{1W+g#^2Y<{qtUu( zzynyubkKUxO$r`>{sS{WL$~(}riX#1^9!b{`wt!xiGr5wS03sgJRLL!y69hc`u~RM zLVNrx5B)#6Y$loJ4Kks>834kT<_|*s0tga=0j;ZGI{?H!x(5RgTrKol+Ghqh!_R}J s`Sue*gIzB4v6FSOw_M;_|Ax5=ww=W$Guht;sbi>*glTG;TjOE>1;B`le*gdg diff --git a/documentation/images/statetrans.pdf b/documentation/images/statetrans.pdf deleted file mode 100644 index 9017a8bfc97d837870bf3bf3a8e2a4a4d25f4f30..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 4550 zcmZ`-X&{tq8&-!fmXIxpR}tA}#xRB~SqnKBlzpASFbp$er;sH%l|9*#>?+x}i0F{W zo@^mm$5LS?TfUi2XZbqc_x^d`=U%SodY=2fe_XGav9_)ZR2Bvj>sYyy3sL|e0M5xB zq@n`8g!XbJx&d&i1qs&0V2Nlv0M^Ai64BadXB-NxrUoJq@n}a+P(bEny1^aME1Xf3 zEh#+4dTldQz2+iQY*x=jX%3bNhwF2?a+TBT8(B9pER}|3@)Cj+$S-V7D93$1wAY(_ z^JEF0i1=oE5PG#fl%h3t^;-apM81C?=d(K^GhavHtW67=GMKcJO-&?c*6@GHc3B{F z?{-?B2*!$KQ^SD_M|@6iNB_k^Zr3-&}SnGM>*TtR}S{t$tYM72sUD%kYi3 zo1OG+&;7yOgT_(PX`%6Bn-nYkZ|%?bO3h+bSI~Bj1PdqqN9 zla6-&lfSsg^6d;ytSPNk3igc~o8RuB)GHlt=aM4OSbg#6<@_Xs!ZNYEYg8Uxae0e_$FBuq(k@w3QZxIi@wG?=tLxoE`Nbt+_rZZ{6A9c=Q zUQN4-CA5v*!aMj)GV`-Z)vx7i3Z5qquDix)C9-6Inr9BZ<_O7%nvl5x?z%Kq%OVPc_DS}_Tvu}-!0_o zaKNw}AOO zye)kTCy$8q$$HP!gt=?du5UC>Sn|>#Ls`G3Oa3M`6JHHKU%Qf>Y#VzAUBcd_i8S(@ zOj}l38qH4epP!*WC3d%xt_sgp(9bqKW}+eleo*RTIUJv9h_#sA7>v zqRl7n-)4ElO27Tdek%mFQ*C20nzDz8xGHsl>!Kg?+u>HwS^Zp|MO0coay#ZN2AyEh zlS*$9eL+T_p1bD*_o$2$cTa?0XjXyTX~d0tw=M`&YNu5M1XW{-@y7>Wy@Q8lp&I>j zPGZ4yp6sML#R5`bblOX4^H1?&7mg)I#S?`ewx=A`S(?A!Dr8DI<&i$)Fx}Ry!i(*W zOfLxJVHyoQvuWPFVY!gVz`oXSmVOBZ3m&p8*DiygGR0U*8H{elPw;(s=)xOuvO`P} z2{^|5&cPW+&(-43Rcoag@6?}kgx5eV?%jM)c;?~)bi?kw{+o`y(5xpPvMH8Jl~uZh zVVtSyQMV*qI3&`C7*iQCIk)g`oT>vdX-)j6?GfdqEuXn|mVHrV7Xn~n8xRO`bU%eIoY|BDu!eTrWOs#6QL4e%@e)BtN@@bZZVjy$Fi{-a%O4VFcPaFLVgU z#L>SwU8>s~hYzc+V2A671u6>?_YJ)>WQ5|Gi!RAM607wV$|;PGd^tGe<98n@taHIX zJ9Qd}_tV(S3qlmi_8FyBB90jZJRR&aGg{Y!96?5?_?Bd}M)tQ@_sEdl9k|-zp`=6W zVT-NC>JX#O2P%tA!bn%|;tFQ^wv-W|KU(#CLa@t?l4c1OiH@Txou|m$bEt(IYDs3l zIBcz~FUnLj&kV1OmdVs3O^N%&rVMSjT-)a;z6FR>_RV|)u&+?}QlBQHO|e$b;oD-% zznVMxyjh&6;EQD7X;W(En|%#ZpoC~z-Ei@;(4t>seEj*w#$83i%&m~XPImO}IhifX zC84P5hIE1~eZ1M%shdr4$L$nvUW$ws?z%eku+`wPyMJ?cLqTv(15kB6(M<3N-G;Zp zW*!~#Egsnr@SgP;UF^Y`-cE^dS%Y&IRam9YDK`|lL8Nma^J`oohYzcYb`DP_rcPAs zg^ACX6eI~gefzqbC8Kg@mgC;4aavy3&2x3++x(+%SLFvxWaB!BLbn|x9~0x6c{qG) zZ}B!6X$N*^hduRsYnKn!IrqVeF|D4Rgh~+PPw~m-v$O42BxSSoTJUlr#~-3hxJ7nU zPf!N)EHY;o!qDaL=$nis)tkkswo@ zD;_3q{FIbNlnciPnQprUjJoF6K-k3)?Z>gThanzZ6$UBvQ%^>o&|$3~nA%Dr^;I}r zmBTeCe8d&Gg}&~^Gc&V2^yj#PGbIHXcUAHxUuP6=ONQEumA+fZO5G78n=G4?Bo-Y{ zlkWwIT#$O!KaxZ*`isO>P|B~+VIBZ8Z+tRIs(?##Kf9CL zQ$bNYuU~-0R*GOkbIDB%vQY(MKYr-mKlWH)}FijZJvAqcA8P^hHU2>$E}n zSUq<*B}&401yx#v);2LI9GueB$SW$*8D*=f9vc>{Dh4|=Oj?~oa_%P!ak)i4jpN(v z=hN2mA;n6i)fQyCm~DF%KeimW5>>TqIM&Az$ub1GhrBpS*UrnG6FykM8P}j*vKutc z-8dilwd!U3h~cqctDh#yj}SGK^^VlrS76h~X}RK^yRwscb4;tYlX}d{+!VXSWuw`U zO5N+t065~j0{nBZwO-D1`h62M!?=LDh`!Hjnw3IENgdjOfl~ME#3xEOBf#%HihGxT z<6urX0=k48H50dpum>AT3~|>6X>rLTg9lL>`RTj^*AsX~#>1G2(qKs)0dbNl`G^w_uS$wAj@Jyp5tHM5PsX zW=_TowPa24aVY#A`Lge(i0W=B{{zRM zlG7Yc&#EAa`PWs)W`p?H%nBsUiw%m{sso>?I+&}lC8Qi4xY8@eHsQ*~y4B)I((pCw z)lnAN=HK#4bgB}N^k;c=Za};;PjF9OG`>06tIwY${vEDzZ9IA69?I%78*j=q|w%M13N@mMJoE^|_kruTTD9qOD5S0G-8 z476VKcJL(~1*9V=L#A3grQ5{grY|Z)M{b<2v1na~3RmVH%KW7uDx<`&O63r;QJl3) z7ras+JG;p(Da1(L90~Evo*08|OV=U4nhGm??W88hy$?)KtI>Kb{bFyla7mRmMJLa{0BQ(1FR{r+6(of%T0hzM-q zity~nwf#>W8SW3?UcA_7_;hTr=$3D#Z2PB#gT5B=;^X@t zza$SI2BzMWX^Xk9Cy7~R-Q0+aF;zF@|ZhmQ+p zHn&_m%%?tfZxe89`OGX&&r{^A5xTp3G;()${D5w=n{5W|h58|1s9!Y6LlZi*H%v|e z2Kr%>|62~31$v{w#*VINupt_San!^G0M-zyTTTfMKot?TAgU9O_96l>nqUHfk!S+W z7w?QFP^FYH9_MU|CR&53VhaG9p#zB2aGe0+1ydqbP61FF4mCv=M@@%9zb~lj3amw4 zQxOROO_d=*RMQVyv@QNnX;d^SFW@^d0suC^pa_69h(;R;vIVFJzBI^xq|(rT2)sWs zwH%3#Se)yh5Pz`$dn?8Nj{loA2yA3*2td`;esKDJh#$yEMG!3y`8Uk>Q~l{hfDkk< z7^wtO`tLBB{YR9hBLPjj5b#Ab)(=g@I6Hnn>i0_mflYm#h_r&x&Oqhx=f%+Ae$F=y z^mM{u|Cy}gMb)nuFINC6_npW80sHR#fkxX0{AV7R#_g}g6^xgL7XkCvS{viyf~Ix? zwe;2?CddlN8NoR{t2G-=!Z0H(GE%GVi3O!w|7(2?DLfh>|&iOz0Vv>zG^$Wuc#e2H$fNbmFRzTOzx4*(kpT`Ufd zar6R=aRju@*|UGuKLC$*0YLyL30pJP>Fa^K`_+f)7z^N6cJ%HC=HYEjWul!_F zfKV&>lMSZuuUrTON*#@#<6!@agTbNH>HaBBQSN`(l&GWlQylz%@Pi}%%^3mzhmCsS z7%Uo3{f`2GO)){#8HWL2Bo0R%Mq0}OU_CDv9PqvUKwv#>z*@pgt)jN)72%^OA4B9p fql?|ye_L#6b4;x#p7{N;<)LsTkeHZ`kuK;z@kiZ0