From 8e2b85f4010c49f0251f8a32be52791d600c32b1 Mon Sep 17 00:00:00 2001 From: Florian Pose <fp@igh-essen.com> 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<natRkLN_MGSznO0LcJJ-?$M5_zbDsBop7Va+_dTD_b0F46#>()M2oR*_ZCW8n z4S)ee4_}bBHq;y+=uII2>I}pdYV6}r!IJ=}u|JlAH^O@oad=%_5Sc>4V*^0c+u2T2 zsp37n5$|hWA*<NTi&t_?Ow<Ks>saYD*-6-u25G-{&ZZIpl`n=gD$ks)Ig-Sylbl4C zabB2{cie0C#XAmMez!wy|Gb4iclq~PYIfxV?B2uNtw4dit;H8d{e*s>9~aE)o2l8k zmNFyncXdG<tcw!H&TF@Qv=?k}tQNVRTiJNopx!yMA-vt`&TSQ}g=Xg!x0K*MJTek0 ztMJI$-pnt-)F*GP!UG=p*|E6oXrB8p2|DeWd0Vzhym5WR{G4n3XuYFordO5B%_du( zzA2PX$WzM-)C$(NJUXvE%V8Y9JppcT4Azeey<9)DOG4Y{lZPQ%RW~+FD@@BBvqNdw zCUp%q8gXNscr!v=a6Fw`chJ+W!2I+|2Cve)A}fw#_P0}4ce8N(5-*kfr*x>clQBKc 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$<SsK4%q3MwipvHp<*v`;AAY|K<}KjXoeiJAN#psc_16 zZ8;4V`WP7RSAVfRa9*jyCg=9Pf0n>PF0UmiM*XJ?qKoa8IS)!UKF&qZH8u}AW<vV* z!%?oy?M*PhaP@^!woAXpNFkP=K?HV9o{Y3!KWtFJF}$Xk!dq|b%CpgAYM$uWMmW;l zvde;_feEpuv;hN{R7FO7T3dYDktf3h8@@wn+re3xi&l=O*!JZdo++?c_AhTezUW=1 zvw5a#&6E1^UedaE$yH<teQjxO5?#T5#NnV2oG)=SKT6A}RPgDb+z%rMtiu~UBV1fK zLi@NZq@zTiZAV}%7YK(w8W6=v?WX7xDE*&$u9sXaW<?%+r0i_4sd0)R7-M;Z|5jAp z458dKwueyfT&n8x_*z@+wIiL@1UMgi+65cM++e|C^B&-CS1h0D&kL*`=6oyw-Nak~ zSV#wnD5h-%uU$dQUqJg~qeg3C;{#kC0fHqqhw`rsL^s?rnOhy1=qWZCf#~!F&aLUD z2Ke6qTaYgai<AUwHjyP0=k#F~-WDo;Tl~_I{kXE<j3~oOxx(TG`p5Gn?z-rGSliI# zt*6zn&QIPP7keNKa8Vx^C~0wba`MhzHXN3Ulj^L<y|0G)Ays`Cn~>N)ADVIabfbfX zn0-3JXlHVq0Ch}KngNTLB?enlavoOdd(xf;xaR$AoYUAbn0YT=*S~q1zb0V1k2pLE zPc<M}H;b!j4;2h^R*fIMbN0EF6J{54s^Nr8ZE}87oW8{AOWa&WLP0IrQZVs7)j1ZY z!@-_ahinGsip(kx>>F!72Pd=0m&s_Uw+y9pC~2NKh`r0Db=u~)^v%#l+OOkduY=7i zb!s=jWd#>$5j)d<ZWBq`OOHM+j)co3zSa6Q%iL69B`ZvJOJ_Cz2PL}%8Y!{KKP^5^ zS4<>Dzx!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&<P!um=uu6O3xfTGd1gAroSm!6w!j0l|!%R?UZlnd{B^6^mVRNrFJ+WH<C zUCt2+2+n8&!Rqh9t%p>($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}*Z8Cm203<gzP`2D3n+|_>0sgJa`JVB zpsOE5i)GTfuBXE8l`T}EJCK}leU5ytX2X4{a&>z?$$<gNUcOp*Bn*25+2|{3nM>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<r?WoUh)k(7&mYz6MdN9ti##lvBGs^WA=cgqB9sQ?S5FMOHlxPn<uxH>_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(aU<fS%{NmXol^aqTex*Sq>xH zQXeFNzvBw-W{7lx`AfNqrffS^K}#=_PuXD!ujCLAg7|Pv@*M6S`^vevrkqcEN>Ni_ z&6Y8<jgYnLM%~!!6E2h`(Tr2u;cC^JgyL5paE9fzt<Tz9!Y+k<c-`FgMqHa%1sSTB ztl8)G!`EL3@|RRR7_4;a<bF-HrAhees9WU2k8`^lhK(wv!-LbyGL`Wcta#D4^-ooD zsp^5xu8Phnww-AGFdw$Jy}7zJy?9nvX7!QOnvZQ;Na4=n;>yk_es5{|-Q}T@Z8<DH z%pgwNtQE06FmUy1p87_xy9f1`o{zC?m1x`QTgzLYuF^bt@8XB=^5$t1?jAFY@PDIQ zdex_&gJL{&eL7lCp_HXxBlPK#P<>h1r|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%q<q0bfE z!3W~LdQ!$erjKR1SLUyZx&{jL6;u7@aqUBc@K9^4Hy&z%$N69lh*SUrV}ubJ2tW;v zbOkYjBzzzRKrme}2x^Nb6GKRzcrwEuTa$>Mc6bT~%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))oL<SNCg8Uk>qA 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<qZD0uD!@5X`s*5%<4CfAxz>!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|<vqi%^BBgCLO8R>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-@6R<L(O(AbR~ zMFj=17l=_16Jv=buMM!EQDegx^_v+M-M#Tc%-zTReBUp>UlMqj^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 zyt<MfyK~FFzVj8&YGhc1|GVSqcAu|$o^;=hu?*W#rhNTfX8(!tp(WYRf8E&k8<*PI zjD@dxVTqddFz<ZtUSj(zTV9Z_O7s5qAHlpH|028W`ePrff*yBUzsd0~>2;`PV0WfY z|Ly<oKY8A%Gv?F3N-;apB7S%OiDiH6yS4pw&tH~2f3{5dckwwbJ9XNWde@I_Z+87+ z=CsmQ$~d$14Xc9uXGCgVxA-Qed*2aziblTv_Lq&pUVcBs6}Z>z)6cHs^+jgi+Wl>R zY3MlT7Lm&yW#7Mbb*6fZRSfZG*v8WnJEiblzx(Xhr@5Pdak?Cp({%a^Ye$<dR4SV? z=6BO;-CD-Fnq8leS0g2}-KAKI$f32y-d3z`-*VGd%Uvz=#x5yy$ac%R`ftv*U0vI< zrEfAjPRMw5K5Nh6C;gw5_O(6{sp_1QxNgUi9YbvLawdhRYkGH_zUuor&h@>{4xBPK zU0(9j!@&m~-176YgIf9h>#vv3OHXg@<m2sEc=|~xy|2#lt21gUk9qakb@blcVzPcI zzsA}p@!ayS>xZtdzj(;^s<pqxGwRtTMBV%~UQJC~C(c;l>OJE3<$VMG3QBVR)%Lha z*MUvc8GXJ<uOC&P?$mRm{fxkwPi;L@+#j2^@JWHi#yzfiCHdN_9(|*~*%C{p?;1Yb zbFuTbVzTqC84GQFk{3FKn1tFFZE(GL(Yux=D}>K*{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<b#gObky3B^pm`3i+sGxEO=nL#wqwQaz)2&5!Y41?dr{-^)!uNb z;p16!$hSMm4Q+nuVNw(r_|We$8<MtXXwa!<#m)U6%8%7+HvDi-?xbF_O^0u~x;j4Z z=k;Qz{Yf*ob(`b+pCA2-*t&SSU+sY@tLL9BTy-KT{>(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 zn<I<!CR~2?D8IwdlMy%Se0OKiqq^2RqC=ja8T4jolSTt)9r>Z?n};ikzuIQu{V?pr zpIMPPCP$v$ald!7ft~y0c1L^$Ou4rIi!0WSUAttr+>>=}=GKFo`Zc>*dk_)(#B+<+ z-a4@_?@t|lInHTzE6eYkj?}d#zluvcvCyn=33J<T$P^d(7V{q8%-X;C?4D~=9%NfI z_U{>1d*Z{q_{0MfsfcrY#<=X~<8B9cb`ETl?v~<u*XwSBbwgcRHdxm1kH+)uvRtf5 zMV8Nid2{YRn|J8SUl!B_kMPSei;u<h40+k_x0tcEr!OVks5>OHhfVkVn`5)uCU;27 z3$naDywv_t*eTat_qIB<32S5Jvf)<H-RK?BtK+hQ?#jClK9sPnR$k_sWg~~ZYSqmV z6j-@!?Dy_%yO{2bUR~xGIma#~{sevWe8QA4qP73%xW#gB=ikP;AKt$1cEHwg7bZ8^ zQvBBhWr?e0zx3!+m-k&)o16aKd+38FCp=s?c-*`^zlSEn#A$8gM?14uEhJ1w_nQ0o zysNe-B%jJSrCvWVBmPAA*@O~rYFv8h!j!HZw)V7IdFtelj{O@wTHf_guUXk0b|q}A zRp;WR78&;n7Ca6Ef9^J?!1mi+kh{3765DLwhmGKmT%O8%h;{R6dkROyb!>RGbX=-y zO1tz%$q(C3qeqnbS$j|WF`(|O;3ntIy)S@YezSE??^HPV=#t?lEG=V4o!(Joz0d9B z?)0(a26)!#vdGe<Z{dagb@MVKPu91|v-~z=4%8QC(q((vG0jDwjmbAIu01&9U|<V> 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+<Z8!gD@kE<8|G~&3=l!}Vo?f`yzh!Uxkdi$| zt~DGyreIQmT@$a>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#$<KIVCro3b}AK6|yq>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-K<MNiUC0F;yS*?q$<v`bOu()LLg8m+Tt{ond*gxgyg6&y@cbgYD|CF3rFDJI! zgxw}y&-ko!A>NOMHT*n5(Y}4`XWK_~G0QntwkXXBmXBEJ0n6tmXU^CYJ1Y8JdDYWn zvbi&?b|sa)+|hpR&trHp%bfBi9AmOk2jvxZM!l`jJGZVw%kK+YpB}t-WnlsDFrep( zAJ(^gb?1wLD`jRu-B$z@j<kKS|60za8eO}$zC1F_E7G=?>6ryHQX=;&CNT-Q3r;0< zt9f-~*{UC@>1L6Ge6~KEFK_z#<e)#T-HvvCyp(=8G^}t|?XrDlgTHuY&DF@SpEUX$ z(d}fJz59c;0ey~GE}gnAkvL?V+srb*ozId?C--KDceqo#CLeovy{PZmwqw0+Z+g>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|?<QMMha9tsm!0xOMQ)zR`5lnyyx9H7`H^GWEiP zUO&HhkYAb|ds@CcxpnB2rG1z))Z8XVPFd_JsBfWtasBb}W&2*feDUn5eEY38@$ql2 zr|vub{FerrT-RpB`@Vbmy6wTe`&LXWd%f!UkXvuQ+*faBD|L9FfTY1s5Pd_;4gXK` zJV^*N#XDr~Id+U%?(QF~mJd(|hWa~1#L0X}@Mo4~Wwc7=M}R+S)Ztng1F<_H_fSVg zL~8=nQ2^DuYa#*$tF=CIfcs@~Pj#FY6z>zKbs4M$$X-TKba@@;2vDD*%3A<XU+xG9 zpv@>5Tq1Z7fFv*mi<B=JKzo2Q8DcF;Chr#-7$x%|Ambi{pA57R4cin|rQTK*YC8IB z{lg-HE1G!QyU>+VTK*m1gxt-2fQ+)U6AG4#AuMD(lmx8k@s8zkxhnolkt_lJg+=5Z z6iI<!AY<Sc6;G&m;YXHG2}M*ip+Z`cd+;iPSCtpwIf5@=D|zq?!6Vk?9t=w`LN%Hs zXlNza3Ft%ULa8E@LJLZkPzq%^p5TOzIhNoms5HR|9kVKe6{@iu!3rI-48aN=(;Pty zRE3IA2xS!<p{SrTghD8*APGeUXCw#27mBD<gi5HW;s{j*l_69@MHNY?go?b9;E|Sr zQWOM_j1B}<5>y415Cmdqf)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 z<CFv^^v5X(PAI@p1SfRD@&qfiz_J902*~4DnqUQ`(<*|la0i}H2xS#4p%BU{XhI>B zWmE)%%Dx*rG%O_yo$_4)@uon<t^viW?Cjod4=|o&4M#^=f2zp3sAi-l$G)b@cbfZ| z8ea#EncAf&@(b(c4vQ0hD)P1I<YqJ8?c1qIYtMMvyc$y{po7i$&+9lcHsd$e2(II3 zGd?xM(I&ymX1sEIaIjLQJp7~cRiEA#RyUWg8vOmTVWwwC1RpQHvvzgXwL3>XAJE#C z7;vREF<?61l$)gTHJ>+-<n|`kYLHMXHEpAVY?#cV#+%DFO<^39hF_{mA}aW*OL!!? z*?P_T$T}L68UZE^w!EiH5~}%wYBgw|40NgL?NSMyw0gUwV4V11m!G!3QdP3#CoLmW zCC~Y^MXZvi8Z-pZRnn?KyQD}sw|sCw8njPkmAa%UWz{1(nzLG2-EMiih5e*84jP-( zMV(R)ZrtwBcTlKx>V!R07Mi3Uth+=@j2TK6or#^v711+_&&2*38xvDYQ!6a&$$>Al zlj*`2s`WWz^X&6tVtiNH5GULGF{S;`^!UqH1`O<Rxx~)<h4$#W#J<@XJ)8aO%%&kx zN|m<r`ZL-Sy%%Ta?+sjh>4(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@R<r z?{GVY_-o+NRg|np4?8<KEH%Jis|k(sfwMCyL;v+dbO&%AhK|E183ibznkX%-EhFXq z{onpLEHqFX66HgX;Ph*7^aw3HQG@+6?>4&2yB70S!Ij*>KT7@fmtmpdy~CqI-~R3t z8Wf}k$8X@g&BssF96D4IH;0K@zW**3RSsl8t1NJe2ZTghC-Ce|Uj<O|3I#wVRiXmX zPB=2pTPdro0)mv2a!RBKbfQ+N9?DO4#Cp(QV)CuTm6}|%1@{l-6-%nCJ<Q_eCpkuu zR0M<!AgKuBpw=)+%a56iBB>~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 z<SW(b3nGAOC|^LyH<fAuM`hK8M#QNW|4?30ltZ~il}c(n+=Wt=#JqjHe~TnVsZ-+C zFwZs~?h+ph=x<Y$8CI#J#=~9WtziR5`XPiV<TQz6cD0RDgW@if*H@WMQQnSpj;=0A z#VJGj+Z3fORw}9SaF;mW!~l|tHuO<zx)Djph%|=xqOQeO&@1+0ksOos{n!e{DTpdi zfUHhzB|dEVhnB{$70S02>lD+%d$AQdFhmFw9pzT57XA;g6-qU(R13z#R@h2NFRw?L z)RjtVJZy!QY+~N@lT?&r@cu|<JZvS-Wcr6AS%f0X)8NI5!v?YOz!l0;7xSi<QBjt^ zxHU{t<85l8{BtpH`bqksO)cRfgfS*!)V1Lx{Sf33?mQSpQi$seC+UYml5m^BD3a<f zTlDf?bi+ohH{Ee6+~_fiq`Lm5pQO5Q1d|j8P}Q{vLidKmR?tgQbU#Ym8YU?YlHfKR zipXdit{gh+FMU-H1<^erF~=V-KL(hg4B{p+CE)l8DglmsgqO>;QH?s#okt9y18gCN zDFKI8KnW=MrhIcAEv>3?Ll#}86PwKdS^#$f-}wSOWrkXif2|ISQENj3{Lv{rI{ucP zT7$cvFxv|<gKiOuxx(~_<2Im2l&6LCh%)}FbMb{P;fXmmfF98WN^zT*7H~`lw1Dzl zkQPv?T(xQeG9>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&<d ziesy4lT>#Rp`T4fF!a3}ox=MYM)6+#k&<YZ!S)h$Z7MvfVGK!8*9P<6^7lN%&0(S% z4<w-nJjA@|<-X;wm57_eL^U2tLa*3}dDBzW4}k~aff%DWut8xGdTK_jILxTV+ZID_ z(TI7|%cxk!8zw0Zlfd#7rA(paE4s~4oy%7&7w6;U$F{}LBSK=GVp_oW#j0z%MGr8E zdHZ;IMUxPEBT3vECaLit6nbz;%$r`4q9>rltznWH4?<y?bNWfDyPUuz#kZiU&3g?B zq0lX*%4{k;-zA=bK(s<{6QO8@o}8-AXoVOObNum^#-dgE(`DjDbq$W*f0CxIK{dSF z$EVOcSk<ZsU7T+KMWA=vD%FGWu$TBP9R2s=FgL<1j_**xU1lUdJiRLSh-y5uK(7gk zZDRm?V-p0X1>?ao%ojgiUePp-fjmr79F|pANXHV~^^;ULE?|-x4|-u|J9<fqo{JQZ z2uxDrK`-%p4f;nb^crTRk{S<si7%KNKvEcBE0xrE&<neAqnG!hy#LB16&{t<fnF%T z8$qw~boy$Xfw1%GkCz{VUf2n;?iemV(>BUUk@x`}{XHAYKEWh49<~xc^<n@?KQxAg zN2bM|U0ri6c4hYCeOQDlupCd!rpCih=qYP)e9=o%kx9XG7J<<LYK>K&!R|7bkccR4 zRDdRQj8?|mP;6)L;5zuWk~TCV+zGtPZslZ4lO#v-BujBDORK=&2Sfz^Z-4R()rP69 zf<}*yj<N{~4X$V`LSqGfqXX43vY~2C6lhz<*w8X}e{DcWm^wxsCR2c-y`!}uu;du~ zk<nv9;a8u0t(?OmG@<_CGWUomwQuLnZ{Jyu)2M?8@Gu2<&YFDtj|^}K((8j{0*#^I zwk7;W7B0|eP6ao7Bs7wt;7Np(Myud6*-{!w!qu{rMyufVo0P`TFjh!tl#+!hk`fxp zGkAL{8s0;Zl%r@Gj&BK#<T&^cxRj=(;p8Hr(F_B(%Oo^X!N6sZ4vmM`Q6w}<Ny7*# zp^-dr2VI&96w#qkGzl*|OY5>6obseJj)ChU35}*HxE&;+kt!t|t5TYR!u70Bz`YG= zIVCV0MpI(;pjjn+UtU^Q!NF%xq%;<M9zlmjDS5mcPvSnrD=~Q~;2gT`kt~b*21mh* zEfQX6QU$*bAf<6ic-AkWQLF+!?=GRyq!J$eNNF4kH^3z{ilyLMPC}ze7V}e@qv0bJ zl5&(n1+&W~G~gPTo@ow9tWyq13$dxBE~%v6V_y)Pbjs1-lN2~F6gG~4H)G{!mVvwZ zl71;h1(A-FrsA=3G)rRfg<_O&n@*=Li<P4lJZ?8e0a2SyT?Q*hD>&S4AP(v3g;G&i zIa<Nsc4J8Ru&cCRp2y133JUWBQlW&8`bp}NERXpb#e;aQQ;r6#VE#udF+ZSq1}jJM z3M~GSDi)W6W??pggg=U>@VZJB++~uK10x#ODaFDwA4xe%3ACU?1JM~~+Dgk&H2jc- zl*R#ObZB4-fX^36%YjF%F#B>Ki0PE0X%6n5Nb7<?j`6}VSUjbHb71@dV`98;D1BDa z2TiG9im-$R9+iSwO;Q>Qf}#!$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_Rz<ThFH>tc}Xkol4@z_oQmNB2? z84Pa#u#Ux3isx~ER)LYE%ZrM}=YaRcc9jy3&nlchAT2g0({KRm^h=Z6doY6v#~Ty{ zv#KTfqrtL5*AGBk!*DST6oZwc@mNRG?~BhY-Uoo~y5opuNce#!DSr%&#VZ<wXS^H$ zvbuE@B(5tkRp{Cc40Ftuv;v>c0dB(PX&Owcx;_r3Zp_yJZpUrO;&V5^r<kwNoC4>M z!*M4FO=AAE8voERwFZ2xSSBAFIu3lk3|K+#5fK4CGY0lQJ!JB};Xx5HFrwfsp}tNs yAFG4iygkq7*3EtTd-%;QGp%Df;}k!z7YIIW?61+H<t?qGz<0nbE&I4R6aNFoZ1u<h diff --git a/documentation/images/fsm-change.pdf b/documentation/images/fsm-change.pdf deleted file mode 100644 index 184e3c2bdadf4844173ae26bc4c00fa0d7dc74a0..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6686 zcmZ{JS3pzS7Hxn~3?NcPY6PP6Kq43rkQ%x~5Ts)W0YVFe&{63f=^ZHtL8MoecIZVw zq!&>{rGtRdq{$2CdhU7m-uL#;-fPS`=9*>gpRph)Riv1tI2;7&-H7`GBn6fL<E<S) za&k}|tcxAd9xP2l^r1+c6A?=QLy=BsB32cP!P{UJ6hQ7o0v7EI^3MKfHc%n(#`)va z{e{s<K5jfxbn$K{70?)^$7#uKS)ZQ}Do#;z`Pai-6&PPZNd?DdX%ozLB&j*$`-AxK zaJtFdIM*Kj?b~Mu>!<r(xr;v+Tk(s@_w?m|Ewja)y<WZ5yZrcd_i%4U|K06(5vQ-A znl6h@EnF?T@E-qXsqc(u?>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<@oqLAAh<F_9jt-k85DCcm^DR6n8nb<HjiY7b#(WxJu?c?-b_yygg z>N%SHooK0`+g4c_i47lRf*dh-s_UetBu>ZE5Vs%Ch2ToVfLmPzDpADDqz<|6QyJ^` zJUh5>k4aQT`62w(B!8<hKE&v-o1;B<nd?KQrm6jP|K)W4x~ne@b1@3;?k}T+GD@@g z<+i?ZzeEw*X-?bO6dwLMX?h1;VG5i`$Eu{Is~|d!SD3!8EQg8j94e>ng<*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${-<ow}UtxJ9!#aI$oK%Ou<t-DYPwO1*9@R_6?@dcx-<TH0Z8yhVfK`_+ zT9ex=dMzgo?tnw6WjO1y^=~Da!;fo&=;T_h@W5<h{}j#6%<}xEx&G=jp^VYA|ET-@ zQ+ao<KS60_hDS8-j=dTBl8I4r?>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?<a8>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|<Hr`& z>G${>Md`?Jw_8bszTnRV@)`kMHCYpTL!6B_h7zPL6nb687I%JcqMODmH6FJDQ_p*J z{iC4bV_ju_8V!-;<XVE9Mua6m@|1!SkT!%Gzf`9RAwzWD7e3oA)?6UB6XPlBlLKFA zT%h9SFY$**_Q(!XJcTcNQ&rG5n7V1gtOZteCIrBrxr$USj|hD1qu6C5qOTlVkFzX@ zyQM!XE@!`1n&;+1#`@hZ6_MT=Y{#0!ex14M#CjbYVQ9>45ai{mTFt*FqL83OppKgL z)mEUeYA^k$pd3(`uxAT>UDQbAiP92{UeQR@rA1WsD}_7CE<YG~9I~>U60q0T2@bqo z!p0<cb(ieTynix)UAC2cOQZ44xKk2;D*XMe*w5jKT8YRDL)S~6xm_2IED_ZjMCeyT z@JxA*#SB)EyG?V*Yee~>C(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#<Qi zR^$v@Q-3Up;MczAKgsme`cd4wthD(lV+HHR;CqsnFsGtXA@tlvSE69|TGj9)F^4~Y z6!Bc=ZrJ^aDl_->=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^<Qw%Qz-Ipt+2f!ZD#}pwxzZmEAa+ZbG#^sCpn!@kW=xu%dHs zK+Ustwjc9=-g%+*wkwl?@2DC0SA2pUQOm*iuB`~o7Z>-ntIj$Fu?ZMoq|2KuVe(HA zB%=}D(VV{u+#vH`u~?20vknMe5WJZb&uZ<NV?6A}=gd*7o>S?<*S2Bi8y^s<IoAp@ z-<VdvXcUE2dkOKQR=x0uSbqJYtJ?fdn@mJH(7nBEerFArjPgq7p4&`_eDbCMAhS9m z;Qe$hkU{gV(srOv&XLx0M%VPf+bg$ry$#`aOyl@Q_gsO=RZMD{Z3IuUR3CEaOEfS? z`n>|{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%#u<uYAw_nTK_C`Zez>FS6eT856vm3Zw0pCL}?<+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+?a7<S5AX^v?o3f@`K!BAlcC ze0JQJ+(u8AViOB*{tUBUQDhL9jAwDWRU+`BSIU;5yK~chu%VSP)sk<@F;98=G%w*% zgbpnQul7cj{MCngfe+r8?p{(k)bM@FWf}I}CmN~K8+@HR!o7{Hr2)`2A+q_Sv5HuD zq`XUATlfa0PtE`AyR_=^S!Wiqk=L%VwLUYAvQ<=1^B_ECSH&j5n8&A(j$z%jB}()g zd1+HvCes5G+Xj^x>Obvcp3}cbO3Y(Q5Btjb)B4Kl=x!^|a2A04jGp<di7|)H?sMVA zL900F&cpg;RmxAEN_@7B0^RDG69j6AgIhcc{ZzA5Dgq)Jfcj&oRkPzoyxT)c3y$xW z{Lyns#i|kG@qM^<c0?x~kIq+7o|sxjA%JdOAm&w;P+o3mWA?_h@#G~lSe_bX=3^8p zX!1|vWx;)|SWmODpxP|D1>p}W6I?-w6+o@_={~mN*OQ8EQe{S=W!K$C`%EKNDzvV` z5}>xXRO1IKLUf>G_pF+!CUhUbGYj;BDAKo5rGhEcT4uldK?*g8arr<SwHPh>38AOz zpSfh`(frcMwO6iU0t0xZs`<zxEEYbsT@A-4-=`8C1&?P>_!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><xtIQ~ z4wY_EXHbePcOqH-)9TsopGY1#1d5j{_31v~Q6N0=h*+w7@uWI_1t9`x4ZgO`Xi!rT z^o;J1Pa4vu%!H%cYAYpcf}zlibu;%77U^5vcXzc~k`jR0Mxd?Z@35~19v7g;+n{$= z)s<l2h>9ugofFz`+{f4p3O5+wsIigxSr}!C%TOuV-6gUM<Kc>`YAe<&mD9=tHlZKC z?zsCmwz78Q1b@)hQSttj9{5O5_PUdxfrn1N1`Q~I*Wc}XONT#?LBgUm<%bSFfcf?x zv7y7X@I^H|@AoD~*_*Z*i=Yu<aB;;?TFp_yT2yQNy>e9Lbd)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()^<NjWE#cC~4xc7s<pc*7y(yt&C^Z2J_@%lUy znn|ciN9Cx4meW4|{$)cPYUBs?XS($|${IvZWmUr^i&39xrpb-UIiO{ce5qgm-iGzT z&D;KN6PJ4h2K|Row~gRo!D{P~OEOh?(H7R(gAy2p&VYz}No7Qh93^082ty7}L|sh0 z;mFq}1ceR%cqQ9Nlji#gWPgyMeozj(S+|z4<|+b`S1%ms;u^Lw%Z<cF0s~B?y{;s+ zOK|LaZ>5i?Fq4Hk>z3T$%vjVOeB$an{FKIaBPo1KRYVV>>a{<aL}wZc>$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{uAX66<c9ZoP?r)Z(N6Qg(c zI`5kZ$GTEX7_4;|ZyIhral^C}z{yJvReh5j(`b!Vby2ja^1Co+B7wsYzBIFB75jG6 zieo;c;K2B#=tHAWg1uj!rBU5Ltdx4r{_c~(V_j1xo5$Ij$Qzs{{fu*;$7;Gp6ly=P zPE!oBayGHv(JD!hV@Y%q=clfpC{^?gOQD5pKSIn7bi!!WcC}MWMCT|{S-2l;jEK*f zyb9r!46Mjp#7^Fwxlq>Ji=yVIaE7^k_>mjvPS$GY70MDFvM~J<gq-dY=tTC+)IYFc ziweft8l7;p^qoZd%s6Jp+mF9>=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@-Q<DvmBXdp_j(KKm>gYwm7UH5Cn#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|$T<h~m=SGW+f<j+ohWIx}oft(K*_uN;OcawE)mMjoR>gt0q1 zPuh(~@2Pjtiqc(0A-|zwH?Kw{EnS-K*r<7C&~45g_u2`|ayj>kD_iO&TSkA~Msc|* z;<CtgJho_H=aPCdF!9KQeF{b8)Na($#gy#h9HXqQcrw9zi?3Ewl~a=G7}90SvG2&W z^w=^3jqLxlF3@e1a_NRN*BIfBKzRE6-DwvpNWv_qpV$q~9IQno&WP)sC~;q&p`|M0 zCP!Buor-Wy>5rvWr!I<ylGE3Ap_~J2JSx+tv4RIku>TXk%<+eP8e6y`)}MyresHmY zjBYKNN$M#RO39<Oaze)!>|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+FbO<ja)ZH9U6!v@giPOPEUV1B&zCPJlT%OZG zoncI|Io~tQSmoQV6shq|elwMC3QeRBk@2wi&dhVDCg*WZhnv`+PrHjG@Wm~}HTwFr z$(CHtTkP(^-!_^HJ#SfUz4++V=I3zp*7yDCx2es+p0zjAoRDi)&S4w6^;y-&p+k!d za|TTfG3w*1(G2qSV}4tB*`Ksjay};$2FFveJL(prXXHv7Rr6REo8N*j>FZo1K9`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;hXy<g2 z91T?=tw{mh!RIpeU(oNY&Ug5itW63=N(=l~UhZJ1HqOQ!Yz8{dS|4NqCPnZ#4|yK# zH&ycA)Za`MG!gBDxBEN9zmosQ|K@-C|C2Nbs)y1AODZV*4t!q2Z>e4XCg_}||4)>^ ziu&7%03rU<dcOQ^R7SgF&)Wdiz&d$ii8u`UuQZ|O7zk?MVNE=r!g<Z4o&T;0_79)b zXd4d<mLRBRfC8)A<K2nw7y{0f2u6rYN(qr#N>ccVIJ}E0sqKQQvM>n=(y(C?k`gy0 z;4qS17jN_bGu^`xov?zo?#^Nud$fxkR@@e6_jg1*L6Ee9*<d}vMp%M7X#+4^90o?A zi5Pn)tS8n9e1qhw<UzDQ_jFZs@NmVQUqF}(BAxIA9NGnp!n<S5g@pdyPHzI%7DPH& zk|2qHKVWGoDYz8a7W^BNl7W%NdH#T1{>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@B<TMDHS*iN diff --git a/documentation/images/fsm-coedown.pdf b/documentation/images/fsm-coedown.pdf deleted file mode 100644 index 04ffa7ebbda6e1d9f2fc9bc50904a99d73355438..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 4305 zcmZ`-c_37K8@9*TA|quxWbDjX#&T_8Y*S+}q7V&+84WYdjHRL^29cdhwnAK6X`y6a zLL!5br7Y1xL?H?F&2+on@4Mgkoj=Ywzvp@1_xJwZ_dS0+2jYOR*3i<_0YSPKlZ!xb z00xk}13<>c(8IVOe;OXpV<JvaYXXsmqX1BAB9?|j;Cx8FI8##)l}5o~13_VVFWped z8a9G2r@RIa^%Rw>HZ*7LE;wj`>}iZY3b<TM+uf8Pc64RKuzTImq*!@18{F&dxfN3H zp}F;CG`~<N^lQh*mTw#L=eGJSO`E@O^h-}oZGTM8{hf@w5u2=;2a(!<3}y^C3oXy7 z!(Sa+*q7w|BrjYh8LgkH6XO&M6nMgWJxmL?c+mGCso@qMop)n?J2E1)vpKJadY6Wy z4U<hehnE_lL1*4vm6Q2ipR+3|)@-{)=5y>s_XOJDI{L}XVdKRz_lyTS9p}DA>ql6t z&(Xd(4CUx}3OiuxFCX&%BaBZnzrI~T<@H)jS{{1&e(mo%T*xRhj8Muno641imhe;C zt1g><N5T-p^D&y5?55M+Wo55WFHi>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?<b|2~YnDaa2kVveYOC)cE9oSUHknOrU0?d)U;o zNwz4DL2zI9=>nB~N*_RU%dbMi*p6t;Y#yQWUP&<RWx;cwdI(>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!VmTXYfdw<zWWhCN6YI;Xe^XGt7e*-%CSdpj2yV=5)Zws@r{rWfZ*yYr?Zu&M8 zM1`|m*U3W2tml>k3(p`@2jpUR!b{InrY~*sWMUsOU<KVWG)%hf;iJ^U+_$c#WY$`p zFRgqaa$Gxc5p<&rKY7Xg!pRhQUrx2r-C+ar0vei6@9;z$O1*wQ*rg+I`9^`;bIEI2 z!{Ot)iEo>^(IZ^8TvfcxhD8mECl;^!%T({vQt0TpHbc2Iz{iEirox71l<dTLWt+e5 zw2O=|OD7=k=zg2SvqJMXg0Ur4=iCLj%<p0!hI2kkQ!Ax^YYf8Meg)fe@6g|h>+qER zN-Ifp8SCVx1>>6K;S}kqHj>@CA;H_;sPSGf8IQWHyY}|9xg{)!tSq5#oUG?_LgH5v zaTg*rDk}$kre|i}$L`~9$(E=HExS;VT#~<m;;@hA=KzatD}FufBwZ{OR$4PXW`r8> zrO$;IJh^<T`3Wj-$|e2dv6GZR%J;E+&vE_Fito=V9U)=Is`Kc91CV`2(E_(qw>4Fw z8~Ur(d)1n`Bvt16AOAj0KkB9Vp;5K|`wLU(<q6|W`zw>LdOTyh&+VLg=W=shHwgw| zFE2fP2j8@MNtpZcNcp){Ipon72kvgJRLp(5BiW=&qP{v?ekNgWjFFhOI0UWaL65$X zTy5^`J)&eQ{{?ZvXk<dle5>zqW@1qRit#|9vB;m1pa#yz!CbgZGS8~VFRho`?XT>^ zAGyL69!FD|UA$(;=sL<t|D=d2;^~XZ(pnF7@L~JB(2-MX*Sbd7UvWctK*6_Sb4+#3 z%5o^g75}8)V#O2NAmnT92(vSA#GL{s2}Fucf?TXFzr-lVgcxa!=$uK9GZaLH6GBx% zi7tyWx!??g20>XYx;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&a7ad<r0Q&nkcVhUe;F3I?CtHoUo2GKeEreYtGy}zoT%kO?_Mf{XyTCnS| zz-PMX^X>aBSr*Vci&vc4;zNhlO4F?9{CPZ&IRT0L{N<@>0<%@dzSA#L8y<A|10rwH zHQHeF=-N=*x2;hJlk)2CU+nY})|)z#+=AU`xhG1uf3)9qmrF{NU@@JmYVf18qWLYw zOb(Eq9e{9s%f?@C7cJ+dI`8ZS9tamhKnaz6pnQyWEIv@giC^C{(&}1ud0wM5{>C(e zp^#JWMOLT{<7rr*LqH<)kOa}$2JXeGQF-C<X!XbH8Vk7!1qNYHc&naH&Nw`h-FIz( zkZxDi)`LhJ7rO|F((-M*Qd?~yKAn%q_`^?oC{7FHO)Qp0GRhAOk|WcpHb}BBoAoOm zl;CY+b3w!KI#&)4zT12Fm!E}8jUF#Lk6LV>XlfT?T#gfcl`G@)sZ~?3e)<YmeA<x6 z<=E^Ca=&?F=9X%!53Y)Mx;6EeDr1G?S}%qo1D4rLSCB<*s7Og@Q#_;eciR}{i}3Q7 zo>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`Pq<awvv-c`&4_G746z%-<gj&6t z<HH2UP9}K~u)K$`%8gGLU>ccePe(GD8GDDLenlV=F-Ryx)uQv#TcmTYX!|ZTjNFVM zG3U}dhun<5!&WQc$<|(H+i0usQq^oLc{elkvy+LFUJ0|V-aGrp)N7VY7Es`kJDL-D ztvu49$chLt4rB@as^<Pnsl?#0HN2FeZCh|Oou1UxD#H7o;4^bmY&0rw&P9r5*)7eX zRfuUt^A#R$m#A((s-|e3sS+Mr+#8VQU1%4ee7R>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;-kFIXv<NYgy8y`neHLA>z^Y;Pw}#A%48q1o9P~;)HE%XsS_0! z+D`kz8`mM@HtuU!U<eh}Z=w{go#%KeId61kw+YWzn*(y=HbyR1YU!3+-ZOz4$eu_U zdd6`WuZsc~r#Vj(b@9=)U1L`-^VX1yt73W`Z>Jjmei%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 z86yf<PWRVg=IuOn%DKj~oo>cTdS~{Wlp}XFDUPTbH9PB79l;e#GVgEXvimsP$pu6M z!#0;k`y7jvMk}V5?q1M%I&?p#ws+Yhu9~~9R}S-{%_RpN`Iz}WAMm10d>ekpK(pq^ zBs<LSg2pIYQq6^G9tM|c!HLQ^`8PWp?vParM~@SgGRLeG@|lmlC6c46)VMI?HW%q# z&XOY)oW$1YnA(Nb{4XLWy{jYVOuOC6*M{kJPAR2}=fwL}@rw^hc(oWzvUFff66e%Q zWiinSQ+xZnnTwiuHNJ==eUjrKvt#%d4Dn}jE5%(F?(q+G(RVW?0xj+_#1{@&(ympL z)h}AA-<2M2jj1aN@X3j(Yme(Zu5lM^kZ4}R80m6vCgP2{-1!5$*8;9p$K6qxw3yJ! zal@-cvv1LK8R96!%-c`#btBpeFBu`ay!?SNauV<9b&)AO{d>ogc(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;0ExG1CHm<V6LbhX}q@z#YWO+6i<VU`7aLg=9th z>8kb1^{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 zE<g_s*MS3mz)wtvHG4l;Am|sS4`=q6b^RNrYrveUe_%Q~|AoO|TFg=VryZ+#|G?k| z%m)7h)B9hTHnX??w1fYfFO7mF5OEadF9iUKA)LW6&kI1ENF?UavStK;+6DQM09J#U zUz8mJa90j9TSA>zvg_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$o<H&iP*Foa@}5&-DeHVf7$z1tbXEwVaX<LIE&< z<l+U=(102dd_1V0fD#?SLG_5<R00`*>Ura-1T4Xo<VMia0#T@B0{$E*=*Fa-W{O*# zz|#fmhCwTI^_TuZ;b+3mEfF7u?;$vO7Tt7Q(E&5fA4`2MtSsvc_8vNTV7WoO$-VlO zqvg8^)2o5x;O~dRZ+)zr4l5s92%k<XlZZXPyKrnw+edAFXS*nS+sPsRYW#o#?T;q; z#^43}db?+PYRg9F$seqrjb@0x*w}ywrW_c$Z?M2a48Ar%NnRMgAG5gDi_$bmWUee% zo!{6vrw50~eVCo~6C0@eNV?UD__6tAYky|pt*%=OUpM297jPuEcf4%f{508*I~Lz* zNHf&PUt9@!G<{)XZM-==WM{XlXj*I6_v<S4tDHl4li{)gcdH5N(J`Z``|b0f#?UbV z%hqY%(Pb}an3mRbT43SPEDmlHugb40o8I439};_->Tg!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>yU<wD*aJ z7q;11wev)dEYyd~WR9&hB_xObFsZoq;c^5MS4ebUjgcpp#1^Y^+CzsuZmDVe;wlAt zNX|oXtQMdATAu{@J?ZdmWY+b#nIboMQGajb52&Xk_|f2w)b;bb{c)8)8U~L_=6t}; z;;)_6%|`}?9h0Obw;Jh}=6@E48nKq1=yL;yXnYic^x16q!YmLTFArwJ%LSz7zkKfl zKc$88eAxP6mz<Kd^ER%ive`B(EkP(!4I{Yl;0P^p<3;90t{kxxyZ#4N-WI-9cNZ4y z_0N53!)Z!L%J1C>Hd;HMO}q94ez09hj9=`TOeZqIj{~ls2o%M|S$<1!!$VmNWtp6L zfP|iqkfSBi?B6#`UMM~-r0tRYfG?Cx=XX%MBIMG2-Zg0zvYs@D*Qm@eYI9g3!*Er1 zY<lc;c>8$CAwf1Bl_m1&?n!Hw_qDze7M2cBSW{KZBWp18^(3C9mRPh(qK#`gRNk}5 z$tv`)EA3VXAIH~p<ok32cl-SC?94Du0xC8c?sI=kqT+qV_H@^%{X^lHgxDO4Lf>_X zbm8>Tx<YrR$*g45{HZV4Xr=M|4(tQ;rI@($T59z_Ca{%l>Xa`|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{{<CXX7&6O} zHo<z6!`N$&82?@2-1Erw2fM@j-kmDZ(JBSM;%^B_^g^F}U*PGE=Ql_*8a*S?{8Z8~ zQ04YRdHW_o$Q>gN%V@<SefDmP0h@yA2dXGcx2&mpC)*>U!L5^<xc47LhF~#54<|>K zHVsrg(nRwyogh8XW!Vua=i<hKOE=E8rsW4`^>r2%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(bH7kKQ<NvTmy7s&srzMWUm4(4D+Ywb#;bSJaQha;ZSDZsJ3^F+!KtBR6ZX zZHu(G+9^8HMN6DJ2lSpan$Rxt6-Pf?ewA#}%lX=04D!cq+wu?U_R1nUY)V#RrHWll z0ZjU)9a&cs4qG=ww?(E}K;|=L#;m<qK(iW=tQkR9P!eV1OlLaeoos1Tn|@rPo;tei zkbOqE*jQDcyyD!YWwRe*&^VRtsJ_RdO0uG*`)fp#6FEi{XD&}{eaRNaDLAzn_$c-; z6Ozq(@>H|gH6=x^)N@JkD~j!T3-K#n(><Z0QW3TF*u0{a(kPl~$<f2KWUiJ}=rw|E z<gZM)Z6eCcQWELw<*GM|5p1n*%2e|L9ma7F3C+&5xE#jWe9O4s{;+2QC+#TY7qvJV z1wj`JMde?7LHdZ1u;RKwyCG%}(<oy=TS*!Md6mpu@+6_;1)<DY?I#-qn%+r<TgUR` z)fiYa^P(W&634fF+ry!%*N(GZI}7J|xL>*((&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)mk1tmD0go0NK3mK<Qjlkjs%(O0O$!U4FbBtgoRys;ynS~UpSP4j zl(xKF8zDN`%T{~EHQ2BdzD&OR6sRZkR-LBR%-E6Zf&qZ3X~>BS5f;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$r<h7}XDEYj zS?zd^Kl9AI(=3zEvm?UFJ38%?KV>wG5$OJ^s_lH_<!kN>If<392sBSh|6;m3j6Znz zdHk`h>SK`0q%1Yjvg$c@jPj?-$(l0oRehcmWQH))mH8x2i{RNT4~<$Wj1n{3j!>ht zSyn!!qZm*e(q-Lxw7B<Xv=$6A9GiPy>BQ_0S^nNf?j{L2ZGH0lZAy<dT0J(15FA_t zE(IfVIr2Jly_NB7Jbs|qlye6;8k3oxV9s?7=i^XfQ1H9Ftu`o0)m5cv4;SJK8LOXa zW}#{oVev-#kE-s)UFYRgTJf0KO1EI8XriAxq9i8qo=2+`yAE&HomI|Z?}JAU6-h`h z4fH1!CV|AhnnrUc*h&?3EXAMQ$b4gdHtwx?N`pm}Zc<v3hHOVrI?DQxe3SVOd^7S} zwWiDUH>7|`r!U8MpTF0=HP!sGxAM_$ULCXL$2SY1eD9kl%O>6ueB6HB-05G8+dkut z&v+wLRS}?HnBs3Ga5~tR05!vV5TM2cHzFQG3Ign5bTd*#34klX96@v=nczbOkPNK= zg5n4il0Vs%K%uJ$Gcw85f<U#0(sc#^JxvIr(%p4~sQMOEx{?4?|BTQh(WBuEP8^7? zE1)OnYdRqXVCa#b(66i*JN&6n=w$S?fS-9$0O%>A8wIcjF|x*i9059mKZBCN_A3<r zcj&Lk6L>1#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<!5J&_CccRB%bR@DgeT8r%1OQe9GKJ0#AQcdR8J_Cu=}ibAcms-b zR~>(<C&SYh?d9)FWXMPdX+3WenTYoR%t#c1gN)4Iy$m7~+(9q^4hO;hegGvD3W);T zfnOLB38N1z;{kmB#!zs2FaLod6zPZY4-BUIFAN5Q)5q+ee#-yyLn2Z1@%o3K;(x)A zs{iIwMEt*4Dj84oCXneW8-Q96LkRSG0Vs|{q7N)%J^-kpk2?uq94`HDGQ<M*(#$rC p`^B>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>C<bI!f{pS{0#t@ZA;*0;WA@8@~%=_{)WKm|nr_i$TrIe_~hA&{Hx zV*m^W(MGyDpdCSCR|p)U>g0?@qCgN;XB#w98HsSSL(0kmJkThljSIjhW7eYg15)E@ z=6soi5_8mYA0~j3*^w$y=i3-kq#VXez<5*<DzmriUkXg{-}T?=JaBnz2R87`IbdQM z1XlbWtVR!3cU*R6S+PN0oH)%~>{&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`H<u3OQ)>F1##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}<B?mCgy)PpE?{<7yau>e}P15t%0s-3h+yu{K7=%3bb=H=iGsU7U?nuK?Fd z!h0L-SLa_GLKsY3f!(aVt1+DGCOw%MB&<EalL|k_sf%Zi51@B{qRZURj|Fs91`v#{ zp4=#G?&G$(yU(+t8+dSFL|B3OIb&L=<w|I~w-808hW*9Xi1+;Y()xVB3*HLP29v>p z1(&wh%=~0krV$oqZLRQnbxWpVR2SHnBBk_4Qp4#pO-riJ3oK-z)~x0%Io>R`agj<p zK&<ONdyTP4UD+?qgXh0DCbF9U^xi(-uD(3osDDu-L{q6)T*<km2jmJ7uAepJ<a)I= z)Dok=|5eoN{i%+wB9|mPcmCLWri!+G>0=OICLAT!9|_d_vOOs;*P*<<dr2ShjW#Rp z5@D*ILXc%h!yz4kJ3SL`uKjaRuV**XVz#Ak>96NKvV99un>ORXg#6Z~vr%JFaF<KM z$l|jSOJQ}0z0GBw*lpMY*-IInqET$q3mj2KInN&5fnr5VYI%^?4plQ0amOZ3f|8XF z_GqcMclX7?<&nK0chqi{I~Sn+7DPX#*XpO9oVA^+sM{w}(ga2XQEJiiLCn(yx1P4b zne4F`?S*D-15j<)>rP=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=c<i>A)_(dc7q#Kmg@f6B`bbkNh;Jb$8Kk)I+t&Z@W`_<Fij4HadPviPJ98`e+ zB3Fj*COodEpyMn33<EoLO`ZZ%Pcn<XeuiU=1d*VtJ5#8ki%f+u=3D5KA4<Y-@XKdW z_;EX0!Tn509ggD1fj2YMMfTq3EIj4Iw}q*TlbV#Ki6xo=&I`D^_W`&C>)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%<K)YVF zycjj8_>Kdtp#4z@K$D$Bve=uA2h8WYbfs#6DQnzY!g=0dDELz*9!am=x;<b1d)JPi zjA&NcyQP#UgjQcl1wdy?Ela{3vP9GqX-LO7+7VC6)N@-GN+c-dl%>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<$mYmIQdp69<zf&r?Iyc#p>Fs<_*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{6Pj<wae7^b4T7nesdr4DwzA?>ipO=r%;vMPGZh+D}tq7|d-M=?<Ni6kw; z*XT%s=ZwTaiiL!obwx4MI3##tBPOT=)stPiB{9e{#pBNKM-}f&rFk|TubfEZ1~n~H zi1_yC?I;rNWU2Ai-W^{@HR~8M1LaC-9A$Du+)jhjAuYUoS_gmet?pn5e5Bkz&MW}) zJa?Fd%~d&P3ItP0%rc*_r1&*C(<}C!CaL6UWm!81^|bNRk@07l7LGmNZx-V~o*VS| zJu`?UmZ78Q2Nl^1n~^*3&wlg_(zj(KL)|xaViK_Pylw9n*NaII#FnUS##?ul!Z?H` z0v;hG0->*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!d7ad<Z`~=eSlIsPjt6ISNm$yyTg6Y?QnLS%yXQ@n+ROx#l`c!) zIRn1V#fKC94sbk|UUyJ`X$g4}=f$TOHdjX24(WPS>IAGSa2!}S2TNHJbb55yA-fvc zBK7RXqL!obK{8k~4WYP5ZC02^<iC6{ZQ}q+PE%+WNqUzRc^0ge^_hoYoE{Nw8nF*0 zcb+C7no}M1P%i&wrh$h?YA{K1N_|QaUg-45m7v-;BP)#<<A;Ce;Us@VIL(;MB+qY> zh=47EG9}SC-ESh4zrOI8de5~VD>#62+>bnZDbTfx9r0$~acP_>Tz1_<8ExtJcu4$B z<{ln%SjU~%?Zu`xC1~<aO_*(j3@z*1wUhJ(B@0!AA#V->`IhyuIlJpf334cZUkwbL zGi(e_ZPmP(uPOn`wCiHobT!I^1?lHh50kViqNwEPiN4M_A#Qp^;y5w}m*~c5HIy4( zE>YJQUv%*1DNzkMIu9sfq_?G<I$QNQ+;>=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$O<iGP3lu*OJ&0qVfPJN{I~M`^f+J2A<Eva=bK0n zYo(a=hfJ9U!c=7j5D#x)wOvTa`kcW-g!_TX?R~v3yrzMv3#*QIO~1>xTFkbq35~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?^<F?U=kuV=4LbwiX-aL9Y6JpTW-!h!@z>SOBS& zL(wf88X#<u@~gQG%?#d$__mz95J{>#J)kG}{eX~(_b(Yd3Syu-O%Vn;1HKxhfFK<I z@sl88p0$+hNWMRBFcD|RCE@4-lDf{274_9fY!7KqLSaK+L`1!3lp0&31l_KZo`50{ zW6*=ydOl=6leFUhPTYOBPjX03uiiBO{y_#IN7kqvEg`oL<(KmmPh=WMjzZfMen%A$ zU?<c^1a?c!r|q;}kFDjSYiacfQXR0N=prjgA6E3^oi8n{S4rpX5^AxL!47{Cc~|;Y z=<tBe$5=PV_k_#vrLv~S7=+G^vypt{51b#523v<|HPG^}qV&ICX=pTc@G=}&s=-|3 zPalc<t$3(fj_r&rI(YDKQ|V!=Ak*g!@|wbY86I<tuOTJ3o#+`N^<b;^^!22+kz-f~ zfYYe_*y7PQjMAv1w$kWu8+wGNNZNzYho=%v>ZH%w)!k<XG}z%%fJx1oZ#&$~mp*RD z5;II6KRQd^7=KPp-BDY22vz|Eu+oz&^!8=47L(aDz%8t+FuAVa(UelfJqR&+cCta@ z6BjLzWjV(>ZK_Gjf&1+ePUyym!Ze9RQwHQX8TaWVAZzN4{q`r)$k->=1~y{C3YcWb zYeKVc<Y#~%H=AW<&0G$XNGrZrIk%@wH5zz_?V543?E(gv7yZ~Zjbg7qJx1)70SMK& z<xcSr9E-OD5=5Su%+_1NUDWMt&(ZIuAB=Ig5ekC7DoD!bwYigNWr7m9Prs4g4Z3S| zLXa?;rBb+lBSD_}!Z%nwTl@Vy>D^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}fSGW<QdNryw9-zdt#7i7b5Ry46 z<3&P%ZDq{Ml%Uy)Gw{}9Aw?x`aO;7Jgg}rpQguK2YMejKnX2P_cj3(N1G5b!-U(Am z4k_p<ZkfY~UhKTFLO3`7)z|MyX%BqKKN6qbE`yrCGjd_cy|cs0*w1p<*)j11cCp0f z7FXqc@8;z%W7#&CD#70K$_GYuII?^P9URx;9&s+odQ8CW5no4`gE{4wl+OuERXb$F z6w~Qx�Yfh8&!`;oicdy1uj_Fnbfxc16h&DqibgivDqxw2GrVVS&(xbexxuk_{L^ z8>B|rkF}%3@a!9l%H?ANTQVJHBGSeHM+K;4X8sq0JA}~_7iJ+lmTH<MiG$288b=LI zyp^dXr?D+9J7PGON+SkRrr+dTxV&6E1<yad!V&?SC8tVi!1hWE@lg{?JTT}Bw<?g* zGO6ZIH<#WEA8=sW_nz;C$bs0Wln8G3Z!Sa^{Mw^wt!hEhebA$RS8l7;VGtinV^=-N z;0#N@a8+6q3dUA!q%p<&22{H<<5D51GJ(JQsqP?SkD0jBox!Xe@jBYa>k$)tN+vgU zRx9pcT^1BmDF6})TO}XNX<JL-k0Jc*WfNK?=)_>Dkg<Cq_$G_)_`NQs|8T@-$NMcU zifPi#A@;3PV*{kr99<ns&Pe?r!a_+mvY`Id%}m(uE1FuIa(_HVAYonD{4vGcbiMg! zJK7o&duJC}%9{Ji8Zqn8w<_b^U;Tzf5vE{zR~Hz?Z<9l=`2#y9wq3J0ar(7VnFN>f 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>`(1<Irw*m%%anR(~A)E_+a<MVF9ePbe%MzbR|2J6u86* z%9_7#x5Wc{j5N$jk{1Vq$&S-)oLqBjYT^xJbTO^z!6$?v{h|~JkzT<^`tm7i(RXR3 zE5|n(^3bizUnJQyeC?|^4-aFc8cskTO9pnMI6Ea93=C=Ndm_U*OdKLdK3Kx^LM+o{ zM@;!PInrKcFzWN(E1z-hX)(TJ8pgdFVb|peVpd~FO&4I{Lo!5eiq%S`i0rH6MEgV+ zCIdHaC=3La{!COU%<_Grx;CMQ-`*t{0K7Z>Q<hH(Lv~@p*bx*qJfxzfGdmzDChiq2 z^pg+Id|OP&#@_OE?lu>9SO-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!)H<rC=Ffaaa3-Qqy5p#k(taN##@T zCfq4jaku^C9{=Xcpg>0M?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<V@_($`{qJhMt>!>jo^OfMQ%)Ls`=a z94zy3S<8zkY4Hw5*F(()-6y&i(tq<fS~w>HFKL7DQzDBy%w$dSWX)3Ey!`bT>6dRr z#|}hYyP(sc+rNpTA$@DL8fDh5`mwH=YrG1MF%XOQ-@GqBC^|#txWDG|wM_1%7|l*1 zh<?NSpD+k^Idj_F`+&Kz43^}b2WrvV_Ue)wlUa+0GB7XBpa?I()2_A7%E2!0(G?c* zYXdP4TR~&ij7Q0<_$v~;bYR^b7K_KRw#ma@BN|2H1zh%NQA5wR$H?5eLU?8)e#6ym zwl3|24O{WW>3Q=|eVDIN!y!>rJ6)z*%)d6h=U=I`YsA#GDKh`|xzCaAlE9+TQ%3ik zGa2%#=U~nrY{eD`Su#&g&Vj@wBz94GA8!I<T15u}&{MmlI@U@WVe$Tx13P`Af3Wn( z{GAl*`baN_UXDK^6otzZ^^SQE7MA_@mOSj*OPOWlSji%_Z6%qyjCQ{*ykj!?=|>5r 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<BTds~h9<+8e4u&IgKIdj#w6Qm-w~de4tnZeTGK zw11+lTt52Y>#6!%eduOvnA(HTi|rB6?#zF`(?T2Yz&L+{06RJ9MTlKsUfIxFAWeGv zA@-(^uvgvFuXr+<y6X!(vu2wN-<|5;)A~*CY=vT-^Bvz$4~-~DW)~pF@nl%}?hK90 z{RzY#<LP~OvRWd@I#$u!a}rs`mnCf0-E%tpNsuKruZKo9_mj$QpGa3^{^{a6{j|EE z9Q(N>V`1cV0d2svuy>9g_;m_W5p@-+bwVoZLQ%uAcUt%?M9=({;DVv!H^KlwY(t>l z+aG1E1rCRMJ`<r0P!Tr_0JAc2^)G8uS>E~7k5+9Q`?!QRMU@4CRU>W-7+=jvZL)%W zG(nVEIk<m%_u#ozzAW-oZGY~ldo%)$(@9m~gG1j@p9-*2zdfxkQ&aA8E8$sF>vH)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|Y<TkA@Z@$1j zyN`6W`&+EJdb$>Pu4SFS?)Sw+0Dohm{}z9YeBF@{eH#ZPL<ec-WTWWj12Px7GK)w; zLBisaj{sLj6w(z961kR#01!CR!_5<gKzdvWNBSr?gdq}b4!M$+KoBFO5Bkbo#Rsis zh`th!K$8E6P<6YChF){R0asEIMCodMMd$&#mZ1KE{?6+94gZj&uE?&^0{xYj2MD6& zWaj}g2V7?j2Rs5@F?e26UbFoj3jJ5;-;qi-Xd7oYhksK1Bl&;(i~pzpzmo<)^z?N= zP+8f(iLYz;M@|s9IN&-A{%@AQiu$Kj0wD39*6ZcpMnxMB<aHY$>PTlVB-#mK^H-XX zYYYG}^t44^@4|J>S8x7jO~U_<ziPCdCjyD$Rx#8EsX4lNpgj;MCwDYRLJ)eN=c=Vw z>Kxk1%~koT?cB;z!a_n~LgG+Ks2Eg4MD)t8<7W5&GZ{Idosr!39xeh-cFssadnbo~ z^0}e7uU5i#NH35H66JA44-yd+2I<?N5suDCFQhZ*np(jV?Rf3!F8|om-RW97wBS~C zc0)PYxPtWEJdhSVJpXE@4+?1y5CTD=0HJ?fAhG-RMec*_L4RXn65>}~zP>=N|HQ<F zB(C=1KQS>0=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?urb<G;LD;c#fp}@tEdMQSSDrYdd<oQxyH7dVr;wzi7ct@z7-ceD1dB z<J;;gqjT$RzGIJv@1X1X%K^WFono*_@Fwq04{-*&c6*Z>uau6B{!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?<ozCyvvlq+v`R;ll88GNCQ{lUt$%f6C^<m2I z>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-V<v3kuzWpyk&~0ceRRQ1z$62r z>5D^Pv+`3E!%<*};FpOyN@Cz+*d5Ds_Tum%D#KXLBjPJEQ~x1@do(4oNi&Ve^_FjY z8(R+DH*?@_<o4kz_=Md!s`<lJyV1M5-z5;pLgO}i5{vR~5gI-fbEadNm71g!%R+kV zbY^wM%PBM32Vx`J$VTd-Z?BGaQv*9(#FRR}M~zVe#f3)d1qb|4Af~uO<aNV>ef=zc z1mLm8DYpQR1&rQzTieQca8LiNb@PCxfU2#XZlBwSrM3I}v52hCrO4vyK+MMQ9Hm}0 z>Lv91@lC!l<W)=a0$Z~2OTO$8Wi(LNSAsp09b)g`-yOR^@hmlC>>-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<CV2dGY4-p|J+=6KkOPkY;fm%QuS$gt5;KWaZ%HCa~zSee?FA5EN2?51{nt% zwr9~tFd_`T9v~)^x|OS8=lSVZsLqgOMES17I{9vQs6n|0n+rxzc1hWT*P`_U@(I%Q zRsO33g?uzFCD&R17?t1oA6E+&#ur8+O7@YvU0nnuZFhh6l#R}4$9-FgLc`y?%Dm9| z4CP?&AC4q}ey>{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*S<bicoid67<y?jkRj zdJ;+&13SdmKpHp1=z`5cXy>cOkOx`~leVscsu`AusQGl3i2&*rcTCWSFY}ydFN40B zmk?Ah;=C{{nF_%rmJUUn`cAO<z(n0TbHz6fr-stMq!}pwLNXXPli7!cotS)$_+9-H ztIO?h8g~=BE6BYfc{$mcrdLwtB{UF~hQ3hCIc|JB;K<Ne^unD{YKvdT>)gFIJ62tf z%LJb}prG*cfMo$8ug!oqzVks6z{Vj`Tn@*0Wxd&aX{VZ|F}rY9szDksZm<EwVNXH1 zWgRSuCe7k~PoIOPs_1-!ut|ceNZUHI{XBpMX30i^7b2>Zr-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~CTwqL4<u8M{dNMdo|U$mpI51<k_BO5at=oSF3i=kD4A=0Lq92KlU<cF z4^Q|+d27W%Kc;kRg(;o7WFTC{d2`V2_cmx=k$;~~-!!S{8=zcaM(H*}{mp{(r4PaQ zQbyk$(|X*-xXyV{s8@=Yk`Cyc+9Hc}C-eQh7=U1Y%8RB8bY+qXu~IVoC`MiOrV9YK z!(Gss2s&x-o6I)*%Bbvj^ZLDyb7UZ;3Q7`2qFC$A0s5JOX{*e{f%7b$vw!?RjvVf3 zl4vp`YH=g8ca>aZ8q2NUd7_VY<omeilyG5WI)QriS_n?hZ2kx;SLmPT+Mh7gNK&+l zI|Ml*q(#DX&<-P6X`4}(jH+Ati&PPzhafxAJR4IENV$5OMwnDytRNOiN{p_npfXHj zcRNv31g!+=&%qn6{fr`0<IqNdw=D}qOD>%L=btEP#R8c8twUFpQgJAS;n6l&$z&7g zvG1mTL>|+|g;yC}<dI{GIeE)FW``WgCYF*@am;$VJTGbaR4u31%Zqz4Cbb&!QNsgM zEGI-OKO7N16I3KFreb}4pCa{9uuzZ$_ekhhF@pk)cqCI39_FiNdH3%E$sf`TSyb1_ z<5N{@M0MgxyacFVBddo5(rf6jub|wz2t>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>vy<Jj4NU()X#Y9<EQsb-ktq9 zj(ZW}isk`>GS-r|t|~;CM&<dn#lx1kWOT2*OGLzNyCGI)+DUQ=CTc;*yf#YycNLXC zC&LeApq(fm7+a1As^z~|U5Nvt5JuHegOE#@LYpss$<Q~PRi-Cv>o}PTVEtD1LQaO( zWl9s5h~^%l3A30-GyE<XL{k3Xy>L<JK-+Y5b`qTR5~Gt;(W0vAi<%M<D!P+{TDV(% zG{V?ne^YSJ^F=XE(ECEx&oH}WG0<cWnYLD7#_m!s{p>6IKEybzNDoBkGn57}-2^bB z2vDf@N@sEcH`F*wCx6)4KJDx10p*Y)68AWLYQzX>_113HX<sCLu!-*Ir2M=ob*cyn zB4Tn8i7%--!jUzb%X$m?MjTVf+>xjiauHkOE9Cuv*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~Eo<y2Bf@ zHzAQe<0>a|?c<;}oR|9miw~3#6b1za`NAKF<bW~sXTl;Ux+y#S**|bR;$6P`fE=Lr ze=wDhpvs;1{N{grb6>|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<rZ7(07L5bSs);}AN>_6{4 zg>jCPqH`i;5PNPxTpiSOSF`9N<pBj*Ix!U_Ch_}ql{AgxSlt=|T?mr<KGf$s_pjDS zj3}PrB<pXR#R%#MVU1CI#=NS*ct?lcyA*1;Jk8sK6j$qL2SA~(6icO=SeJq-X!|Qw z$)BR*OKT&1iyw^J2}L2Nm1ITxy-dq<x+pf3t>2OST7{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(rlRC<y)$ynt#ykVAHB^p2HI~FYN<Cj(pil! z_b!%gs6~cYWWan0h{R*dZMb^)0mgc;;&1vO+%g^;%RfjGz`cy}j!Qx-OKL_D2gv&M zN_Zv6pA>h@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?`(%{nYgYpj<uyjt)HosfDT>c764N-P3Vf37$>E@`Yn!l5=|Z&<?50 zEr#c|TB}MCwKy+Uf?UDZom^(k&Cx3jqCV{J7_WUFU$6ZXW!p%(9n3+kEN}W(e+miC z8L+E_?;tjgCSs9Md+l#`qGQYln<CG<+NVV*iM;x{<{O*G@?15Z+rx$Mb4=D*Y_}tx zRP`X*bcv+d@H)|S_bx}8#iv6c)A%kV7vYYlfIEm9q21x@Gn`Tx+u`x$bu-!!jPIqX zJLJ}@*><ezlOY@299ZvJQz}^yRO+Q)r!BJYPL7=YiQa<@D%$gCtmcMvVE4aNR=t&S zLn~{#xMg}Fiwu?2mNTz%dMN-J@Wrh0-K#@CkwCPdM2D@+uh&K&Qv9UxP#RrkmRdAO zty`NQ4RBVG){@Q0`{<bTc~^)Z(UfC<Aau7Yx6}!_)n=`tqN`*h{3>l@*XIEswv{@{ zcHROWqNDR)FsgEh!Q398wB}33zcV{XSV$ut_od)kzRw@^G+HyKw^7(9oMEWEoa<GI z$vn9`CHaD~PK-K!Z#mn5GpmW1yc7s84AM(Z#pFwAZjr?D#2dL|)w4bvwWuqeb5XLL z?yj+~kOsl6EC|a@on0zOGpaj~Eh}g=+oi;l-`w<)OK%%4g)C(>ZH{ya=;G(WpZ?qC zuY6KNIXXdXFIQ>(R4rhj*nm(>@>zrPuIUv2XeeNmnwaW?3SD95s+}MO{exbqK9D8q z$6Hmwv4@|CW6xRh*n>7u<f3?Teo=oY+;&=C;E(Q0avSmvMNCf@m?S_<<dIfv(yRIE zf}mTz+<)psBIC$ycf9}<%O`_!FHRe)1p5V`UgW+;p-E!1i?J^nnN8wWSgt#I09|_X zchzajgv7)|k|urISEckW!C9CU$X^bY;c<#g-~F*1VaTH5=8iqV!=FVe<6US<*&6W0 zU=-I(8wEKj#MVM8n~lFR52Fq?HE*P9a&@PT#ClNip`xc{lvF@yR3Vg(VY<MyqnNz~ z%sM%9j1iT=i&fbmorQ5kY!T*g^;`jB9tPx*88;bv6Iw*1=kUt08!18eM#=6Osx7HG z%Z9vCE%RGo@|@UYLk?BpH+)B;9lRoo<IvJi^J-10_;l`l`J&|#yiM>=(te99D8(A{ zczM1iCumDwtTMAy3_4QhzZtHsw>TCMohS^{kIC2KW(m@-9xHD9Xst`T!d$LI#XG@E zgXWGMFb{nESAEnj3WU&IqPxxCWT}!-YgifXb0pKhG<wZEh`+4KH0oW4hG?Xu2pOsp z2)r>4dv8|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}U6E<J7FnQL;I6(=ImW`X%;!v#&tRi_9`x=SOgD%yAfkY{E03)%H*wrv<Mxe>qI 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$;0<Ybfm}nx8(95#Kum^gk6>Pl(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<OFDT zsW}2+)CR#?FwJ>`7N{2mzZ>%Tz<O`bF(PFf8NW}vvBSriyh)dG4k+7>o48kq*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<r{w0uxK%TQN1ON1mYCbm~FkM;*Ix;CS;sjoMOgb)sh!?=6kT9@}z z1crvh{9nDt%ERIs65T9FxQB!QADjopYv-Voy0K}6ExEPc(JTg8^)xyWu?L^;`nbea zF$c-J4q<+A6_>-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(>9DlXvmja<aYQOhUv<Z_EyQyyOoJYgY*y`x+t`wJt_<u`YKU%quWnrrvw= zT6;muVrBSkIg{|vRfVR?bW_z_=V?N@uk7acmLe+X6$MR7MqiM->IsJ-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<Y>(wFCDFMZMOnCCmsDl#&%G{aNH z8a$&cVXOEqD59lbu#2XU$8D}xH=8ENcl6E}9DcLy7(j{iwk-w6ktNuTfYIyZr>1aa zqNk1a%4)8S`IWY8JLz&mo+0<dc71D65!Lq%O-*mfJT~vk4}X*vJlDIloyP@tezdI| zW;jKC<NmzRW!BcrbB@B!O&q!=$Kxc&y2R&v(enl?mMTRsPMuWHet?p0$Y&{~S(&)v zihY9!f#|{Ay8(S9^;t4Spvy8Xw(2H%z+@-~WdQ}=n2o<GBX$|3X~TxfR%eGee`+6J zZU?8Ok(Xd%^mIiSiym$qe`#1?cNf~7F}}USVhr8VxvlK%{!cdX&Np#~t8G0*w;S%m z%@;u>IX__TWE1lf=jAuC#%}uNH4`;RM;{M;aJky9znXERM+$cS0x8nY$I7{!IL)0f zA*-zmrT9uWd6UmgjK}v52cV<Ptz%nk>m2>`?sZ9;{>+Wksiy69Sb{m-z0<O(PjJC1 z48H5T{H!cWoss$K+_QI9g3X&FtbRKqK;Eqq^p;g8ugvg6#Nm3!CZ9l4_~7ge{p$Th zpv>h?>Rz}YGq|nt5+b>ZjceeZQB-(p{v143AA3j;hq|bpmft_+UG5pcsr#|Yojr_x z9^TY2mfph*HcM_Xs41p)`}KN(ewEGY-V>cN$NkwL<~<Yi{($)+kV^OT>|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$)@_<OfYUy+!lT<Snx;)E}h1mSduSp-) zeVvmQ727iSarwH~F`Bt!h7tli+36_x{DxKDed&83=6Ji_2(vf)o8f-^^u&rkap6yQ zZXRAPz~30hzZr84Pe&M71!@5UE5gjIpkfXlKt0w+F@%=`$idEL0C*I_VfHRS$P=dy z0IR{A9bDn2Fy}|MT?Ou7st$9}13&WdK(GeP!{t$3(!)hs-Q|&S2lD>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%!sa<p}@`{&KX%GL}92b(+F zF*`W2m|I!=GnNCK{&B@_26F>y!Qjr1p@9$<cAyH>#njRk<_5C`ay+Vvy1H0CX*!Bn zyE<AuoyE|nm$G$$TS4uCDh|#teFlbqHQECXGY7B&+1LQA|GI!&oSYC&pgHhwjEDWH z<4+gR{$Cge`(va23uEJa9EktISXuuEdxRcm@IUpqd3pXvkB6P}aWnr@j|cMqz}R^o z=jFfk*#9qE7dX_)76yMjssaS7TY14A>ji?<92_2}`Du87U|D-}2jJ7rKR#-*5<oqA ungt$`daNm7=+EbV7rx;?8U7bBczO_=U7&E6znaLy#l;E$fh3is0RIP5jD<Y_ diff --git a/documentation/images/fsm-sii.pdf b/documentation/images/fsm-sii.pdf deleted file mode 100644 index f4b37d71b5858acac80ebf855b9ee6259ecd69f3..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 4799 zcmZ`-2UJtp)>Z_>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>)q<A{MVD@u<0_Bnx4ngjo-faGzM=B*Fk>neJbLYS<99Qu5Du>Jem<iinOj-JE#!v zc}Kmx-MS=A9H<i|SmW)AH^bYfvx_cTz`kd5>)0>y$Ps@fkRG1Q&s}?lPU^W=)$E$k zPMx30r9gzxq83S4&#tYoE#bYh`uAvEqo3l{cs7GQp|+>F(Dyf=3A*)5I*W4sG-ej! zBgJu*<JuDpC7Dab)Ezm>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<Gz5KJD1Owmnj}JX{Lnu0L`o7X3jh5D@ z3Kn9scdkhKtoYxLLrFmmLschuBz=gx6rtWB2~{490q<4EVi)$xL3rj5iqXe{R?=V? zUB9u#QpRpDCBUzn_Ys4nt7sZae0l{<-UaN<-j7MB63@Pz_@#w7RAH-DC|%p4wSb)D zVkG)LPT|`|bi&t=bk@1h1XURvH4qw6de{0~$z(}_jYhf#FWnXTAQgf*h@CVBw?2oD zI|ZwBj^ng4W~P>!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#u9Y<F&1{>EctOX}&;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+3CTipVjs<mp4`=r-a5Ru_|;zaA-le+(-OiQVf=o^nq^` znNf8_%bfkhPHGeu*|14TPFmhN5_`N}NpvA}=>ngfXWH8{VpI1B@*GO7`Ep_F4yc=< z<8A9Inqr-&?Tjr|`y1h($GQ|174a&1dBT@hC{}MpERV+I*<HLVRe8MExHBk~<9WOb zqeM|4GjpPz?W}opTNDQyqNYof%_s%YS9G&MHLQh8N(|4sOvqW(&N`#4&SwiWto+7w zOF5`jHGtVU#tsJT1$@zc-?V1c9ywxUCH*E9OZIMPdbXO>WO~gK<pCNJV4LFj$m$gR zT!T01S{w66!DVmsln&=mQQV1bTz8w2aMQVoCO#KP$hB6b*db1%l1}UK2cFjPY;2hH zuOn%6DXvA!k5^gGKo{NF5uKq$szdF8vFlBY70RW~>sJ@cyaklm^ULsEaW_2t2SS;) z1!Uz~!dF(GxU_EI1PH*<eHP%-FxKvyXtZO;Sa&~fO#job@`{<?c6fGOKit^Zh^eT< zQl8RYamq3u?9W>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;#<QNm`t`d;gRp+C z*pG)$+WE>$*BS<EBCMZ<_MG6=f7@u^&uC+}*Xb3Mq2f7quej}meJ=<Hc_ek9R8{?& zuX3klCn;=z$aMu$1-fEV1)4Li0_r=uBL^M5Y6Lh|EuwO#3~juSBaRgQlKNTCzwW6> zchxxVk}2*U^t5}OKy$}<7#%UDVbJ%Ca;we+<K!QAR_B%szN)@S)nxFV#@81qH4!~Q zI&D+?jD*Ih!aGfh+C%dF(e(O>pVhQQSu;@69;TO~&FX5JcGMyZgliM&Zt)t6MEW`{ z=xncmd>FGqgkzM2{tQON82p1?sRAt;<T6_wPQR)QS&|-To7f}ZdZxC^s6%-AglUKf zCN%vz&Rfk_*ywgVS_x<?ag-@vFI=lU^zD`qeXzSAx#<asi2$P2=6%smkJyN|Uiomu zXWl-SozCm+jT8P_$swZ^>69~C$u|Tahpg0!IGskEdh#yEX{%pPK`e`*#Jn?kH(-Oq zZc#0U-Hp9-sHHkr82jThO_u)vw8S1ix6aQCQv-0;^9u`fmCIDszSB6Tsq<m($fguK zUaXzRiV+&oV~hf$KXSS+db1<9%|zp6ZPXOR^XD|jXfk-~>!ShrV9^MC<(KG0RhQWd z`Ee+vZ!5b;UYAcC?U4_<axRrO$LY9NEZ!jm7*Gh*P~RV6gPHWR)~kkXs1Efv>Et!s zes~A-a1qm521@SAw8k}+<rW#4X=$w!T(cN}IW?G-<s|NA{QD^RrpetpCe)BrCqLI1 zFaXT5C?uU8hC^MqOq?}Iw9Gz*xh{aS=>19i1-l{@)MY2L)S;itbv(5LfQ4IVgRr%Z z^PEf<E`J)!r)79}p(u_eY~;G?KBc&O8?AGY9IgNS+Ca-UC!cZujfXjG19_=?1INts zbHYVVt#hhqH3{b6#%UYr((E4<aO|<NiMRQT(lTz2+i1vF7rImwXb6-cE{xq1=r<Sv zLac00)95^ZaNa%twzzd?x~}bM`l78!Q$HhvwE7U;yh4Bhr%0uU9+56?|5E&e;?U+C z)by_FxS#N8pzy%M-E*<5O=tI_L{9I^Gu`hhHPV9R)>@);%e9+zFWVZ6CIJaa6;%&Y z?@L!?vq*)222QPqH+-_x&Y108lW5VO96ss(UM*r}RiI=oA-JP<el^2Az^svTLAgj$ zK6~S}qm0$SisYIPxiMO)t#WguqZ%Yk{b2&Bi@%13@ppp9!$`X?`pzlz7k2Ct?h3au zLT0+Q&9-1MmId7k02iI5>(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$}6Ij<W@JlfA7v*~t1A|)4tv$bm?(tPjTTAECD`{7|(A8YvJ(mP~T zNsJkifoOAf<~iKKMEMiC`Sq;}?lk)NTV|Id&etAssDvze2F=F@0-uslvp2oQYH4|! z6|{IPTO=}ldqVYTbQhnAoK-Hct~5KLKHtthtZ{U|Ivxv5$WEj=@}B-^?!5&J=Ue-2 zQL#RQSiC@S!ONRmc&~s|EW0PAhw=!9OduAAKR;Pn)aPHsUl3Grr(om~8**r`qMTWI z?BlSSOmMvpe9wRKo?kP(J8%>Lc<N0ojV#kQ>AaqG_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^Xe<U|gmJ~8 zH3<~3oh;RifGL7uvQP&A)kws6lEHF^G8h0c$B+m<L>CN+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#_e<c66Kk}dce<uxq zn3x)Yp=xTsi4W)S`#8WH2{;Th|C{C4r2e!j02KadJskcvYNAP)!!khhFnC`K8Rvrj zl_um613)Z%oXLl)a5!h`m;am-?C*GLp<R7kFhp@}3sbPJJAp(dxe#$)WUzt^6d^$^ zDfJYBj3aoSr<Ps(yb?@SR$dkfRfNLevIr#AZbWeXUnWZ&8IKWnBY8-Za5xz^9QIE- z0#Tegg1KUR!B!X|iOLR^lYxOv(PS5QJjNG;2g9kZ8a`zALr<@Bmwmi&hbJWV;yQQ& z5r_5!n-WMEdkKlZYDpnt+yJs*C=?+3*9DeGAmk8WH}G!^E-ObZ^5F&c{0oD@smt(B zOimF=t?z$e3b21+va(QWoBgMs?7#frvI_t5gG2ut2BU7MfAYbhi2oN$CZch843T<( z1cq4P0x;D1f+6Mv0<~ce`vVL?dAbq6hl@+yO{nu=J8>Va+jLI3w+5Giu_M=N<sBvd bjW`_kI*E)Xl7AHu4o4^eL`1YrbO8Sc&~r_w diff --git a/documentation/images/fsm-slaveconf.pdf b/documentation/images/fsm-slaveconf.pdf deleted file mode 100644 index 095a35ceabff2ccaf2058fbf260eb257c01d95d2..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 9093 zcmZ{KWk4KVvNrAncN>BeWM*KnAR)Lr!C`=b4DRk4++BkP3mQCVfMCHbcyL1S;Dis} zeRub}yZ82=?(<aDbLvz-{imy#R3)W3L0mjoOaljT1y~RO5MXa=g(WP^tq8NTba@Nl zdqmW^rQtR%Fed=Fv<=h+CJ8gMH;0LeVmZ4w!JxKS9@)zV3f0VmYRjv}j%jOB2?<9A zK_b#d9{nEufDrsB>Bia{2{6aiZ8lL{dAqTp?)fjH_qykrOXZc7U!#dwXs_?DAvC9% zS9uS&dnc#-oix?{S4U}H(FV@m_jzQV_i<#OcYZhdKRo}GQaCcFHy|wU=WCD{<Ui$= z!g2leo&;}r;^t?f*NBgipVuDP!C#OGcFxdb9dP#D_+)P@`CRkri(rpzjLMf6cc)Xs zg6L`4&gY1^oj<0A>5To(<L;`(+V8HV4j%6FRO043Z!se?s-MfSdCaJE`h!9Te<}`; z7n@dkRYHvYz1r_)syiNLRQ&I!@{Bre_qOPiQBy$d(?0OZbD_8em6#Om6GMn73m11x zDC0Q+a`xOsm;w~`F%;7nOM&eqP&M7y4$FB^P>ODCk4n+lxTs_z_Ps{643*NS^9?co zhqJa+b$gj#S(&Hhdta|LHF9CJ3?1FoTudzhO?;I+_LCESra^fb<I+TVqYRZV;H$0T zqWEl$3&dQpbq2k}!n7g!ArNClrr+7(k>Ay*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?DHjRttR<!wh&`NRmJ}u)54?tovWs|ObfrIY74JHEjS?0% z_q}8I<Fz5KJog-p`rD#8498#9T}1R{4W>Q0apT9_c><jyA5SDldYC|RkE&o0t+}Bn zPY_xG9J{YR{4n@)eiNS7DuhASxK-JK&V?CvuxWlK3p7*(9Wd9t0$AHRM)-F2gP6ke zUGNiy#|El@QhwV{R#c0RMNBO!O#O-LcfYrl{d&n!c|zLb&pQ?F&WDAEIqrJH_~W$f zV<m&Vv6{t>`?x=QJcl-@UC($bKgXkNT+9y8g8|*S!`SYSF5(<znsn+rGDfXf;cMam zOy2!7g`8jM)Zw{>{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><YIDdF^)#~r^xmmAWv z%2k(SO*qHt4tf5e;!D!N?<*Y(wKht#cLVpFmk~>=ZDl7fWNru{7Cmlunv{2}hhgDp zGgOQGK_r?CvL523DF`-+gjAp3BV5S3d(pTB|2#JCVvMWZ|JnIt^x-4B6mTjwM74d) zs;f9rRC&-+UZ|-`UY&2S;93G{wpkNN3V1sX4K_<RpD?9I+(>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=M00<Al8549w@$gtszSCjd!Li@%1Bc|Lz=z?K#UK1%$ zH1@qH=EMFEBuj5xJ8Il~N>r<F60pZycCqkiMj3|%P%-O;60^<K5MOclxM^dS48MAI za7Av&)SEjr8E2%0WR@R>8cC9Z(NBL6|8xIv2tzD3;&;l3tQwQyGE^=*v_qk$q6C<c zNU<j#gt>Ra{MIBLg@HRdDV>Xrz1wZT9r3Ju4A?ZpG=%M3eKEa;+rvRn%}k2i?%5NR zx<I(XlVKSYTepH7yv2?XDzqbsNsf1bQ!aOh%`~Iv(q-z>0<qXl1|rP0bOB?ZeG>u3 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?0G<jW<|e(Q$*!8u|J3pv(xP{P;wS|a*_ zV6wbFc>Dc30=?I88J@Hh$Yv2@#+!=$t1d`pnf3=aa&Jy}qTh#s#KPBk2r_9n2y_P( z+X=XNYqjV0COCZsh!ln!L6JG8T&`=5<=NLPXPiVPQQRiEO9sCyZyZVNrbO1M<z9f- z@G;^?B5<`r)}Uv-*cW3IEZeJE<C?W83!PTEcDvxYkY$TDj`g!tZ9c0jhz<;T%+WEp zM4f-K%>|fnk4h0MZ{fgyp6`&c^aAUH4jB{KUGpB7wN4q7*Ll@JRl@KrpbdDLF8A(6 z`qNr0abHRzIdBJN7Xw@xVLBO>!>NhFEnk0-gD4>DQydyhzm+fU<z21gg&Xn=d++lz zUkc9uaS2!c@#gCT;vHEvH4Y_dObAj5HU-6c@92Ow2MHTdHs>-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^<nKOnCQo<nG*i zr1aUyJZZLqw2bg>d8Qm%nJKM_Q{%&~{Y=csaJ`)H%fVu2%m(GoS>-@w4xX6;a?~2d zrNS#R>m5SJa8Vy$%nuQAJ&+u54n8&mWPe6V;)PE%A$<yOA)@`#9TBnEO7PE@MXLze zxqql|e@oG_-NltA(iu>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><D4w8(>FU$y}dpm5R?bA}prsW`YKKRNyIfB%RG0dnX;APZ|G*fV)e)AL%p^~g5 z;(8Z{%ASQC;8XLimY(lbycFH$+4?qv6T)pt%ZkzYi`~IQcr<U?I4BWa*moZ2ab3ga zU8#i$9u}F~j7$J;!|cj3=Zb>W-Uja!3=~u!4blc-c4;YE?!4<DrI9H7<tf~s-qgWY zDbX~OWlI=9`2ZRMy?6DYSr3A+dKDK@MYh4eV^tUY$u-g)nfds!o4(g{?n~y)bp9Wl zK*A-^td)sBb8nSqif{B_dqvPIN+AiPj8%qLWL+%7h+$Yk3)U?})s)-IHJ^_Mqp^Ng zt`7$^^e`@g#h8Xd8KFmvXE0J5xq>`(M4vCFpP%{b&>E6d$zk&#?I*8=>9P)^=^oCn z8Af%MI9R5<S&vzu$@<=Q%<YFqO|Fwfd}tpvu6;6Ti`6OBS^az3k@!r1LHc7w_DQTM z&&6frtH@`mgkUV^cdAOTL3d6Wm+!hTK@xBJmIv!1P`+mF^U+M5a1%}ijP3_l&XBn0 zv^abd$M|hEl!;x4Zim+RANJ{na9)xKIb)|GGa(e${-P9<zRy8(nRn}(1ZI?A$i|1} zXpAcKr0TjE8;}pQ_9&G{AjpV0d(69uv~!ALpCN=&uGe$Qev4=u-mah4;f2I6qq0|m z?T&me?QmSa?=A206O9`g)bXOHraJCan5XJ&^J0<)sU9TXol`KrV>pUcNFR&T{LN$j zDAnJW`45=8d(9mas>Ykm;1&vO?<GMOc0qmBV#R?2E;cN{d|twfGCj1x5T??KLMlU( zkLDG%?Q)ojjA<RED24@?UGIPCS=OOy8aB|t(_DTA1b%5JZhXOJX&T#oZ>;@%RG9(! z$O;W%sO9+sf0&(cD)o|WS(&)1ZCbZ28_yVy2Iuwedrf8=O8k11qQU$<xNf@ZT#61) z#%~N=yx|YlD7#5;k`*3ddd5uym!DC&J&Z~fLs8!$h!!Iw-%P8t!s%DDGTrMG2o=7i z?Y(s7)A`&ZUPolooM&OrXExqdR<<{?wZ|c;ECB&^kMb5EsH!m3^9ndqo6elVSF%R& zbNDw8hZ}TA%`e!M@V?HfS10I-)@$Z{&_`Yv{Z>KLNDL9xtLF}gu%_gWBlNUN^t7_t zJn+s#tC9nz`#_E)mKb8pO03hx*i-wU*wLn$<8ICG<=A_~U6sx?8})wOwp>MrniTjn zho8|;<SwR$;}Ov`Redd9FOl#p^$-FsW@UW(R7oV9sGc($9A#P3VoYKo5>lVf#r`Yy zr3&e##~Axjs&~D{k8k{x`@=(oMxiE~Z5%Y{-j+B>tTmE6#L!l`{I@d(@B8CgztTdv z(7<IL<v(bq6C_JT_@^-kwce>lU{4?OBf6=~zN~98gHrPRWZiOz#6`<y`;gn^ZuD&M zxS_KUpD|&wT9t0`hIiEl*(_>;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@``tbuo3TV7voT6V9L<l7JwQ9!_ylre{K#xTzMOUqylp_c&U<o)(0Zd?}tg*bIXw zh#&H|^Wy4jX@;Ek5rSTk9kN38zA~qWTj;*O-2-Nn&SLR0gMzecDvMk-gr!JbF$GW^ zPuE>BM|d#wpfUs~!y4uo<d9!@zgfnJTygJevr`;C-sw$g@3S0GNFvW?v{H)>)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<su+_7tq==99kfCkZOhLg?>+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 zzn<hEp)<jf1Fe$T&uDNAX_(D`qqO!V%wRm%$zW9DyY??sc&7eu&CAr3Y~Bl3se0S; z96yV5GJ9b$yNyHY+h%&}g~{l4K0`^6MLS8pfQ#I{1y(2Q58ie1vVg<Q1%=Nx`<o#0 z&4G3~gmzyjW%NWRaYgFoKG^95d;kdw2pGKm-XG<L#-@MW3uQ_AF#Jp@Ghd&|3!XFl z8d;`!M6XU}KP*Vzk>iU)(R5FCu_(1t)9X7=yloOe1gh|=2<_@vcUWWg!EWpopWs;> z+Zl;;<&S#&IqH|`R)0na<KNSS5pU}m1aj15zQm%*liW5y*WPPLrLz81D`h+urJ6W3 zML2Y*FD{pb=xalvJ4lpQTV?*u&h=#8i)=3D7h8RVf)6(KEjq-IaM6HSVkGAcM$Xdr z^>g_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&<rT&dZLLGp!urX{*RjWFaD_3En9Cc=BU`jtdoWajh#FGE>>C z`xTpFNcV&C{njUy&&;;el?=siN#wp$>!5p<Z{d=s)|`oP+r!oZ!Htn|dbqa?ztt8v z`8Z{uWpP7pNY&T6J&c)4T8Urb?6)YtNGGJ_YVxQlh-;LDd+!e;mWq~B;&D_;CQ&Gl z*8dz_Y#Bzuq7Nj<C<EX0XU>*?t<N^t)2-51oL|xY?wS6IX^4+rH@eZ628{_gVPIM{ zzoeA+ydyUvZH5Ou8lELODZGWLCt<R{B;3bvt1-gPQA<YQ3ge8#_EU<J?Tfd(VHo8* zD<)^YV5g&RTrkR2M9_3Y)sfGTNtplLE3o{5Q+Hw9HA=-i&vf4caU1I`Q#7egGVeW- zOGafsE#?}FX+2^X>Z`(ySB8ejsVVzZz0d^*$@E(r<v4eaL%U>tD)XcHCW<|Vcy;pJ znL2U#_h*By-j>ki=2&cXtT)qOXVHk){1bURaZAvln1LlgF)-8$Vi`^>D{TV{CN7?D z%%fI+^}0`jJv_NbWL<v&h^i4MnQMk6TJ4Fjm0mZx3@UaQpyYH=Y{|Sv){yV^8Cn7s z15NFyiik@Bgp2oVm!n5Nn{K4gDZ4b{s^ecx2MF{g_f+<`0#N0n<D6vK&XcsI9AyJH z?-YZR>uK2Vi-C@o%RgdSLyMW|`T@o9l=>{q5<?_ys71ugK~+~r@knycFJ@3JTi)<V zvMCZ%F$)zO5K1Kfq(@Kg2@^B3f5y7FNv(QLrPLYAmSsV$fu&+U(;kS$Yg9Q)n6ExR z1;ZH=FFuwb#3`WBY;Yfb|Mk@t)+=Pq<If4!ZmQkV<sDKqnpkp~?I4<qkPoiE@(Iy? zdkkzJT6os?;A(a_6~$3&A-*AgvDD8N8*i{9WRCci7txV+HaE9hFkH~ybLT^(B{kjL zMsI!cty&8C4@duD-{+T?b~0Lzv3O-_<kjbfF<c8PgT5c-_Rfg;$FL3tVn6C1S`mW} z8fegoL^}RdO3|%5`VacjUd|or-L)o&7WC~(wl;YDW)3atZho`yO-ZXYy){p$)vm?b zu_jfdarCRA%;CLU4CtSK!<MJ7QW$(gSTP*tZ@ve!zDg7>+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<i~!M3m~(W>#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+_<d>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=<K2Qp%bbjvU5(AZ(la8ORGQ zl~nTH?Ox8~q>S<D7v^8g7+V`7-@;XzUs~~6T?+{h$?~j_rP(YWS>wzO5fsU-{ACx- zf4i8!`9k`dkQ`dG)WFRa@mpmNnziREr~UD8R_7V5$*3Z1f_h#g`Q9Cad|Au3j@Bq+ zX;@Jh(k~R@&i#XCe3$b3*nIm<?uc78L+u;LJ5VPCkK>*qzCFFIQ5a;cevo56m!<7U z`uh8j_xDImp%<#uEimpPyn0+dk<6s1JdQxfRrktd<y2Z<nW?7_&rW+{6Fk)vkh*jJ zM^d`sh9J7wB00V!wL&l3a_jxf`(oCU*bHd3X>TGw2AN1$LPljhAC-*=-`Wn;cICT8 z;ef5o$*C48=Svt~Sz*oOeKI9NgH`E|;|;GIrIwZ*SOQ|)s|EYwDw3t*7wF->((<W( zku2^Q;jPbY2=d`usltfE7B74qKYg<u-zmbcTm}y1>KaT$KD!Jp!Ij14X+rk)apAA& zY4oV%!5hAO8<ggoWRp>2k%@|;t7mMrA~cpt{W-kLBBx=kF?0YP5Qv6YkeV0DCBYI+ zQ)Zp&1vVY1A8Z|+=RM!1wUyvMwe0<xNNUOaOG#fLX$-A(%;@@zqSqO3W9dW-EPvKh z=HGI@B|`9?TEwKlnhuNjBA$J^B{o#%{Xvtg4@J?;zNels`@IyBipqB<E4um|g>$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<uG{8R#h zj}f+Yr~(k|J|_WR_204~hlYd;RIMDyGTFq#JtgWZT6i2z_g~DkE)q3}t^}`Ay<R;| z4{fsNnG7#5)_z-bG;!20rANhMB#7?+=1^FlTJ~8<yL=tTDd!bT<HpE+DoiqNO85dM zSe`SHOro5%Bg=4+!-gYlx>_G|674&t!DV?cyn0%htI{}snd$YVqyCaL%=6fLyYt(c z`$tmS4%)jq8PPn7<HNq4AAwb<oi?q<d8{XE?w_tcV)(tGOK7-UbB`ggZ(4Id;m;F} zvhP0X84!?r1grKk{7Nfy%6!-*_N=zmDn%|rO|ByZEGx)r(DXl-pLT2i#@EfO)w`q5 zGPm5yuG&BHo5$p}tPq4n?1$FQ7@FF+dJiqIGxqu`bS>=jiC9)-pi6Ot#m-+&Dt+k? zuB4~k(>-YOibKj7=!nwlnBzP*Wa<FFHqNa-K4=Z^uypRGxH*-1b-~-B__DV-w4>fT z?EwC=KGXGcgwJw5?a}<wD7(FMGkS+HWIT<A_tZ>EGPS@G=WdhWa|Z-%AOcBDvW<p! zQu-_Z4u1OL_t&eP#|n}Tyvu&eY|kh{H_tr3$}(AtnWGHCz1)Um@fMnk7uX6bdT$Pn zb`XWdh)v896HRw&HqsLk(H4XKMr8H-qPMR=3_jIKaRL@7ayBet7AS+@sNWjWV7-`C zvl<QQ9w+}*6$<gbQS8A-Mh_I0qta-=iCL)Q5JvvNChIdw#Gulds=Mrj<C?LhF$zTc zKJkGu3PVGB$8Wn<#SzZZWOz}|(p`(Bo#Q4lF(H~A*R|RrRz=>^$r~~;TrM&7(mflR z7evT@v$CmwY|ekW&h7?<pH&j5jo%z>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|<Bk?b)oz+ZVe1Gp97=FR|p ztf#Eiu?zu^46aX<Pi%jOg8miycccW=1!`k&`A>>}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 z7r4Eh<YU=cC56C1ARkZw2muO$fRHD<lD+x=WzvMZ*uYpVoNYOsZJ=(Ca~XCPTo!Q4 zf0Eieu|BTA<}f#aHq6QSaSs3w7Z{)lbuoKu19OAf0C*o=#a&(AK6yI4vT}8RKh1d< zuu9w5JHerL09AWum;oExzbfkC1hc>b0v^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<?oo;L$84^ jbs_?<W7z&1F?>?IvkTP8<*y<N@I$~@OiWTL(pdiweEz^E diff --git a/documentation/images/fsm-slavescan.pdf b/documentation/images/fsm-slavescan.pdf deleted file mode 100644 index 4a02090b013544ac9ad07551565105466da09e21..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 5867 zcmZ`-XIPW#vZW&trAaSFnn+85Kq!I&(n9Z5NJ2sjH6c_{ss!l>(vdE`NmY<8C}q<G zq$r|v8z6!p-ms5*?|aU<_xqE)Yi8Crv);+`<XIv{8k$lNX&HdX^X<e!01OBQdZF9^ z%E}-;jHfff1t>>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!<Gt`g80Hpl-%}8zl_OFs1Du!UjrY zwmMV28)YqXS43N1Y}gvJR&|EBt9YjS4nfl-tj1LOT*Z$EgzjU+2j7a{I=7ryR$lsh z2C35UcN0*vz9MIQxkJdovCEb6jE=n#6BCrOrgeG>--ki>=W8pj<ySI^8Gu)fOg=Wc zHVCpD>r%U?a^$6FrNFc-y`RO(TUA7&&FBKs(0f(sKbCu6-o5>6+Uw+Fw~bJI(felW zN`y*E&R6<p$~F#&%*3*$Qm5A_@r*Hi%!o|^mF|(NR5^RTr2F9tR_cM|R%`f?`O|Kj z1K;ADTJ`g!OXW=}p~qu}zrJp5tvUSsG~Qv-J1~T;?aSTto0C8aYP~pXc>MM8%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=#e1NYUHt<up~Nl-z$@J)GAD&F>HCy{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@~L<iKSu6^LN0*?8|c*?lKJt+7UD=ob=BqZbGcr=s?$(egzGMPZL9FBh?N` z{$I4p1h5M>X5YPThyI)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<W=oYSs^R7W^Y_7+#yg_ z$W1V6V=|6~cX}n4yX>#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=KC<DAuzBwe2`1-R1<mK)L*9EiB~4P{C;z$ah8SU zyzncDM63q)xw^%Ny7yC-Y{y{>0`!5<#Jfm;iO~Gg7Ar^*al66RM|Tv0*euSljV>31 z?+UQ2NhDg}!i=6M2%TXOtXj(Ssc5~Lu;V1iwBm_9HqftyplLpXEy6BA3m}>`3Evc< zdPtsrC39=TYDa8g%53*s4D3K8L@geMvoehLdHwafFw*1w)<y7-i_=wV51BGy_RT;` z9S_7#8mshOR>|BST~*<wq!)TwdQ=954#{sao$6Y(n_#^{IwrF%cZBQ9bQun`*DS@Z zpe-3<1#XqKH|mBnnOo$RB-t7F7?sg{bACJ?rX62tlwQti1W!6KLtkAVOHqISvb;h` zkmqiE+>ZRCggAX_PBo9%rt)h;V44xM8uSDu{hp3Cn0`Pviu*~bt(r+435Vif<;$%J zqHa`dmafb*iQth)L~;qyMhm~u<o6=o6z84fx@uWXD@L-xb{z_yb=EcV^r@UJkU>w= 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<q@_lz)yI!tz)l{zaQ#g1Y#Ik+V7x}Vt z2KBm9lV;^i4j{5T;`)YxARE>~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!Wn9d<m`^r3d=Ar zvF-ARYb|QtZR0lt`BkC1Puf^Qtl;<L&IwTHy2S$NWY96@q1werbjetqWwsmou%Vew z!ktDtC9Nk(mM&A5aW=&&k#v-%Z!&F8hwjuHjLg#B$8fzsl^Q?%b&WyIB0!Bs6`$k5 zBbC%g8r4vXuiA7-erh?uqU+bY7nk(V^88yr2p_HTcoH>QE*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{+AJVi<R!c5uA&k;N2BF77X5nA0_SAhc)waOVpv*i``c3ku2D&uCn&)O9OTB zk0S2rzuMB^r$X;&PSV2H7AeX$)ZXj^rd-;S0yhY`C1+8A=_vyfv;{r$l$Q~l2fvc5 zv|;JeFGAwOcoCe68uFxi!of675{`I&;#9UUI)U7D%W-cYEYI0K%Twm3aEKe$%S*s$ z(tF&k(94kJf>xYQjr4ld?qZ7^K7NrcN9%}$b(s1g&-Ui@mABW4?!D`Mr0CtMAP=sP zes6PAo5%ca6h^bt*l)Q!t^bax-&-9*>_;<u?FXrsVvPNenYsFj#(sAUpmBL-KWT24 zZSD$;>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$ zfw<muure*xvFHrP^<SK`_m7!=o!Bw)>5jO~0Q-`g%#VI)P&lh$7bo>pMVB2jX%08s z$xW<QH09J!*)LdjH!)gUw%t<^+j<gI-P_qk4Erf}t-$XnO8zi_Dp}!r@5Jy~N6VhN z+3h){NFhJQ2e|nkf7AwH^SlZ1+xPe6O1rhj^A4HQ(=2LbJuWx?=uNO6qw-`vt~3Yh zTwm4u9#f+s5PzK2!OOjl(o56!p9{`XXM3d_LbWLt3H;nN=Yq3Y$Wb_VZ7RdX%F!i} zg5~^eOmpnO?QZ~98N-HPr~774wzF6?Uu6sbv0OB~YcPp=uQj;egl0)C0W4!B0!eXT z(aVxL@#j&G?j#H=@$EcLvk%mnO10B7$20HXnvc%ug01r;S1*{(h}6kUHZagFvWFT~ z?Ie=E6_pll+pok4T99=1MqM;H90kQ?Zef<um8+x4<0T5BRUqcP;nWCZmZ%Xa&oQ<a zGf*5bI5%MyabwqJ$q{9|yW<qk#rjtE6=c-AzTjApyCkx>@%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%akt<e^NNuuXEJO)O_pi~pJB!EH04SPrXV#%0TgY&K9z7-a`08_43r z?7=XdbphEtdgMG=Sa<PGq-EXxJ_-1jboWwhfYxJ8)v(BWj+4DSa@wSYV->4K+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<kj)6WhuQ96J0Nw;`S+tSU$FpU`m8=i6=l$nLMJ z?ey&oVTK@9S+m%7$u*%~fMSitIZ5pEv<;drMfzoyFo*kP>%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 zf<xM+TDVqyDu@{tIhF#Eg9)@}2Atx<NSwKsUD3T4xOF(6IMO$refrF6@Pf5|8h^*E zMWaX78LirSf~+xERF%p$e3%&gMisUGp;Mw}9I*w1Bf{#tQ8Wfv_v%Adx$|o;opf@X z#+dIt)OR0YhD&9!em4JX;cPt59=$r6^b7X!;>e=9n(1X_dHD3hU(|yeG|K1eLUW!l zxZ1BPiFs;_<#+`5FB&tkuOdmFXU=Xqr9BSzLsj;<X@5V)hsr4Kwf5BYQHy<84t)nn zpAD|JRA%gM-ZR-}h%NIW8s)^0#pg*J+_@vfD;Zi_p}N&~!m!kxXp8Z5`fXj2zn$7$ zrzY3wr>s022KbH1{$qui1$tvZMo4E2NFU?mid6Fo0NR4dVHvOtP*wqI4<HA9F`fjV z%&A!h0GVL$UVgr444!PG8ToplO)&&p5ZP!0g3K@h1akU~0D_h&fo!D#75-JB=|!%F zoN}4~$i^B-oqQ$};(@1z+@H|zu1??ZFN2OuMs5rEXJ2?A2;u642igKoyEXyX1IY}2 zr<A8`ze^#1m;SC)M-q@YFXz7~{?+_H`SSms|4-8ZkfD)25Tc^;oA`8w-=?97Jm9p< z<R6wlhx#iD2f+V5dV2gFR72u1r!s)FF*qWI;EG26*(T@|1At8ZP=wQ4IGvgN=D%iw z{!>pD+Q|=%@fEvaY6R4B@xl}EXkS-v0uU|@fn6a>O7<!Vu3nxRWZA_u6ro_S99SL- zhCpOwAadlmzL(Sg7cz4t;4orXyoVGXha_U~Xr!k!*46nhQZHXI@(JpMAp$KhzIgIG zfHKlhpb?UQcEMqY7#vWRoO<1l;BuPjea+3!+x65<wG-3CdHK2`J%L7Ec#PeZD}O5* z;ETZmz(5ED0RH;{%E4eVFd!EA8-sxr$ikmKK+nH183_57{{sWdlK1N0F<H36e_>!S zguHD3nJ52Wc`%49`HKHN4+i}|FbJG{yZ@O7`CqjJU!*Gz<4ZQ1fgn@YAPjk4Ajrha zi@dg{TLJ{>cw)VPr&mn=P3dR=ZN++J8<lZwd7^SUDsR_n=IO8eH)4Of@puB#m++^E PFc?%0AR=<ZP!sS!0uxp* diff --git a/documentation/images/interrupt.pdf b/documentation/images/interrupt.pdf deleted file mode 100644 index 3a4ae685b99c13873e6bf35773d9de5aa3fef56a..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 4219 zcmds4X;c(f78b#%1uCMrM+;<WJ4$W6Dq+|c6~P8UY?-8?3%a1`hN=Q_39f_zjkuu1 zC`42g6c-X)5e~S4amD2*ND`d@Y6pnMB~b&;tEO2yIg=kA&zY$o-SzIf_rCAlci(q! z*#~-hPs5xD$iAvMa~C9pQCJ%h135b*vq?=ftAa&9B160>HA~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{HY<k2)U2YX7|uTPm`nC|Jjcb&U>BVP?gq}BdM5MaP!*U&>s))iOe5e z#6HoH#4(H?eNOp}pWCMKxAtqx+jlK14{Ng-H|Do`my`!pw|5p6uD+1w<MW1mRsXE* zZmLb)=-<9wUr1JeG<M*M%7V}2vpm+$uesH@W5Wm&uPV!!1f^ZE#q=YNWnp_<Y#h&A zkQB`;8Z5Q0dt<h3_*siF#j?6}%Z}W#oK%#18ND>|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<?X}mKe7Ff`YMNA^+nQ$O!mka*c5Z` zczV_sUi}|_@yCISsmPj|x_~!{Kkol!Xxg#2WlOW~PR*`Vg-zqtkmvHBuPY%-OTTYz zwOVU?WNY4u_)V3n=87f9PW#20i>&-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^EpQy9<prn@_?wvm6vVj zYs)NSCr^_9Y>QvW8gOyPAm0TF%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>wksN<h(vPbQEUvcfcW#C%; z^^*VVamD{m^1R!8?dF94<GA+aV~#NalWIV7Mrop9oV&C##6zW^Im%^VkYpH)>H9ed zL1C<uND<D^U%}E;vYg`_Fvb0b>*el%+x65AOo4==8J6=1qsVN9;T1zdDJ837<PfI= zAwh`|ELR^mGA6odOOMAuBKrE#i4<{HFl5&tl+w6q7^-XRNkv7Gpq7B*A%{=|MX>O0 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#%*8<ubCf*uSp`^k9j1 z6@eZ>1(!~l7)jDRub@EKN2O(0CX%M&Sy<wP38#RD27EiQlvd*jx*neAbR0!Rs00;b zgb>37VBTM={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&$<RU@4#}h$G@b0|O|TLISb=(9qmPXX^}C z6m0aJd(cHbSj&m6x95a9&vNH049xX#bw|X(kU8~+vkpUy(ItT#h^aUvU-e1k`V+$7 z^CH~rqEy^M=Jw3XcK?lK>hQa7Po}%I{D!t`Teo^W-z}7G)2;dhpQ~3LxdYbgc7KR* zd32~T`NXb*1o2xRQ?)Q{jG%cn%Tf3+=B_szuf$Ge6i>RpJ33YC8^<uYA5};2R9oS! z3aHGh+>l%<EN_|-FFk?9$@+N>>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+&k<NnF zh%{0$z2&0+qKC}$y26Cn*^j-t_18V##@a40)+R~A+gohMVk6`W`lwN>Sn_>XC{&(% zmjL1J?B;l7<jVRuahD;nRI0M{5yJdV+^mhv*+$$><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#<Z_*`D^AkOlYueHr*Roi8JQjth|H1n^Y-&Z z?Bpr-cir{$QEf*_R=uj?hubRIGZmiPC>&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`U<Wna7vT+?NkFNc`Jwn+Y(la!W*1Zf(6utxD?%y>9El7$F<j;0e@9V1w+j~Px zO)Q$iUn^vSx4qKGjx@y}N>}$BJ`}EYE}j#zv%u=Mi&&tI_5Oi|aG^d<!}c<p<q-jr zYf@y>Sw(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!}-6lkAZ8CEj1T4<zrcfW~~^6G85UsNs1V{ewdM_!T(5JSla#&#Fg zHHe1Mi)*ryOUyW5+n5DSw4LIuJjzwYgYe+3%wT&^4t8N)-F&R_`@v>M3w-7oL7DFT z7mNowrYsWY+afzH=eh)=VK>9%<RW(m4EPH_%-YLM8rjEoO1=D3t(%}9$QDjXvEjN} ze|;&t59bIw*0r%)i15hjFbtzFH!&1L5J_+wf9>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=Zw<c z&O3HD?J!JfxZ{~Jps8)BSTMZ9>H{~u_Bx`i&jvq_3l-DkIl?ZRgfi<Q%;8f)qVVT? zxh`8M$B$hnaP<kU`7&l2onC9#h|<lMiQd@_)d!ljoqu&YvnOBH*jLM9Rb+nG%V@pW z7N5?LF?jP5ra%onzlY<ExGEJ^TrcfN+*B;+wc&|&w)PKg&ZSKq=Blc7;JAeT<m=$s z`0%6b-rg9#z&%#kmdGbaeqmj|9=@gUITI2_zQrTAL0t1Hm|51`OF$=c#YLLOPyD9n zr5t)D?s&)YKA9j9lU20GWe*G^4X7{3^`g`KB4fWa2vdKpHTqPP$8Zre(w9zMy!WA1 z%q}Q+d3N0XWA3_k`|q#BOHB)-V~v|LD(uWGw=TEx29w)`t~;#v+z&{kM4_j8&np|J z<2fP-4~$^OT=zO}#DDHGez@>#qC}zhq|tds-hyy}PPNLfgt3U2at#S#eX~=m2H66{ z;+=2hYfjuS6E#xsjvn=(wbmu^;au$1b`)<qRv(hOl~5)d;~bHq&F8l;N3A^SVJD7> 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 zHG9m<UTSJiaf-5`5uxw(xbSq#;Cn;D)XmVUU$Cmx=T)rRF`sBfde;tAZ`_o1+w433 ziT@pr;ON)Y_rmJymhyh$%kaw=_ZAF=H;)(1J;EONO#~x8wzj&$i8?=m$L0uq^rp7< zpM|tHUh0C&e!j|4uzoC4Qts-OyG5AF-R!EG3mcfBSGSR%eyIqDex8fdD}ie>V-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{qsKx5<z}hT*6bqx8($miwSZom5Qa?j;0&!RGkJ z;=|Iqjjx-N)x8#{v3QF$j_mBvs`{wC8H#r%w@1%y3rxg$(D|N!O+G-B8KY`R7_`PB z8@&B$4t9YjExj&`sh6orW?UerZ{QRvMz+E6ZDoV*2(iQB<4mpa#eSs!ZJT9DXCI97 zOK2ElD{yXbIEw9<=zKXCfd8RUnO`hj%TlwfH&Pp+1^t0({nWe;VSymr7V8DVtwFpG z7DEgLPHHgCnrIY&KqFkCOd|;lpa7aIRSbpOfn*|;gagS;y=+S&;_N}nNjOtc18@g0 zl)`j33#C}tQ<$0=(ETIAoXCtuusH3YOa%=$VXm2kWPqi-ze7K=V(svU5@(Vz(*nNd zMF!wUeDGx8B$So49n=+IGEiBREVdt^h`&OAM4DhJSOU@OPl`X1|LL#&cmJPBL*X{I z)&Ro5;0H153_qp=J8dW{%<d=4_e1?@)q(2#-O5`2Fk-M|kW~h_B}fPcDLy#t_cY-w z3<|fWdQe!mz&bN?=RePc{29+IG@gnBNlIq+wt$5<kxU`uNIroSKt~;cQf8KvIh0U* zhykX|vMZS$L~3ZDHMEfkgpQ^bQio}`CgT5}$-#$00G0f)WahA=Mj+z+$m*UxUVm~D zNlMHW5)TFgjv$H5+yc;4M*_B33eKAV27?4Zi|J}irFgSE1C4yCfj+FM$wkSWKqUEK z0{~kh8FW!r{;Qy&B+wJ80U!`ijlUiMjY4Un08iitrm2Bs7LWA+0e@jgEoKY-9YgA( znfLP#Ob78VOhW^~?6rURY3u&WPg6si`M3PtPZROKFa)y`{^_UnU$GPt)`tL+m_sE1 zxAzGLndb%Ic0?kxYgtVKz^wv2i2&<{nZJ~kDR5G$)d~kL@ydw%se25_s1e(h|Bbk^ Y8lFtSk|^JcsHuh0f+{GO*_cEB0|0JU&;S4c diff --git a/documentation/images/masters.pdf b/documentation/images/masters.pdf deleted file mode 100644 index 6c55d567ff813efdd130e65e6e3d9c6c395f35e2..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 1546 zcmZ`(drVVT7&jZnc_-}Ua5i%ud1yOEZ*NO!i_i&_A_$>tVbiq?FYRf$P<qR~x1`|E z`4|&2c`VVvz_4_}G~(24=ulkDmcT-$3>k_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<TJRTM}d8&j=n%@4K<F%k& z(w$2x9JL+mQ!^&^_8!YIcP-Xlw{^T4|M4sFA@>${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-<uM=wEmK-LOpb12Q3;8JJeq8POGpC6|y&_-8E~^ z{L&D9nO0p;|M}d$(F4<Oerq3W=(u4ya%;NvhAZod))hSkajWtV=l8E18LVCTO?O9U z)t%OWwyb0CrdDlhtt_)#Q0S7xCB33mMfIQOu<X(LCr^q~MtgJH)@80a-BcIvyItKL z`s^pJ{Nq<gFJ~1*jeVasHQo`rZ`<*!U;g!3<WJ7&7Lnx2J3sdiJU&q<Z43C(@$|u% zh%MfO&o6<#km^2ja<hU<iI_OMN#pwBOzHNzswQpFK>4Y=F?Z`f^>9;VJ|DZh=jdA( zM;5KfX&LQdI{T)s75zSXu6)O&=hw5)W%G|0{b5O9A>eORw1)6QQS)laEOA59Ksz9r z4s8sbz<PmMhRkx68c<P+YyufM=n{Ye>xm$ZkY_!d74k@F29C9wpkOAE76F+Fy#jJi z@(Rf&0jUjW?nmfZ6is1HBZ0I>CZate<N?;~4CK!WpKxEphzz9#X7b_zxrwpyz)aw* zjYKv;3?590+5Dl@T&O=Xkrrqt>zJjupZvVP>OuecqzN*^kPaxV)=!LU@ZT$=iojvU zd6t=?X02*M{h$?Z{l)~Ehqw*oM(8Yt0%N6T(j+lPkS0&AfTw_KMkmkKB%hB*jkbBL zkP|1F3?Mm=<pti#F>V2<rIb>FT8gf-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&<zUDru-%2-X`nc8{oThuD2<P&phkYLMlXh z6e+}-e=ym3W7oU>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~A<tH>K2Fz5Az|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^<CXD34jsiksZBMMX98w_~5V$Lw_>@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+q<C*a@8;Qz2f1m+I$?h1jjU<exc?a-9``<b@Qb;B?{B0FxONxcId49 zx>tigk#k7K%VEM${HB-U_0f=oyDb^EL%33dcKJ{00km$Z<mwo$@OMB)y@&x|c5aYV z+i~N!{D9KbVp%%_ksb@?_^sg*P7!>4^<%FnqQvK_j1+Nso&%S*70ay<?dp-(Zl*wZ zmYLI;y878|=>tzA+|=9sgyrFKM_$*&-KBQ)6`M7#*i(N(<i&KwU_;B2Y-L4Bpptc# zwd=ZWYyh%5;#9n{<LB0J)id@|XNvQ5+wRD9hOD{rWg7>#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>ae<U2;=oXda;+6+%qKk69#!CaYhmZc*lg`e`w3Wg}D9 z%N2{iHtpEjyf&)tqLsXx+2w5PcDwMGqtOoA-LIS|i?=hv+r^86Xi*}rek1LXSxACs z{EWR7ppt3Foz-BrI5~aQ-9$WEHm&HtzOnuml^eEMQBJ4}<A}qhPjw`gw!KlVedRf{ z5H4Ig^`Ne$!*4F|gGR`uhp|d-TTc}<ZJTmbJ>7akIYFtJIAkFc`&%V9N>t;4#971E zO|@q|SHSk551s8LaZMFJ<PWNS?7ZfAEBV|sYn5y3hmVv@VZ_Mm=|`A+O$;SltV<?! z_Q^-bHmqKS*mQmWV-ukpX-|SI=kYPUXscNNBBM6dnH5&1lP(3m4+sa}J+Rab3vi{k zVt=ck1gi*RM@JUKgI{;}sXO@VuQ+I(oI{9iwMB<rD$W))nipT4%#{~Y=0=NYXxDTq z-ABb-QBWUf4KRGXb+lQ!&9)1`2~V7jZ{Lu+%2(swz46>zt^pT=_7)1wR@B?NMhy4C z3&hGoUWAWiYjufa-XX*#N;t0eSLW@iIwbV`yxs?cPk@|O>XLL)l*j5otdf!m1r!1b z8`5v<PL{CS+O_tZ3XQDf9yT2eP~&e<?lsm0%cgYm%MFjV(_|my)DZ62p3871^wH@% zt9bVwbT4fRW9@mkk&nLJO)gb-+VT`%d674{j#@BW-c5CA8_v7*pN^#C7q$_(!eDEc zYO;ydSI6V%3C`13a#H2fS{|a4Z~7!;pP&QzeB8Xar146Vb#L=s7EbT;*=v=Le0V^$ z`#OBJ*(3b+-cyMQO>wjHGIC(_%EetP_%^9$tjCaR`R(K~p)C~5wsO2=<ZX)fn_`{1 zDhjLqsJ*!`b<A9oT9mu-z>1hB4^?Gxxk2z;^8n7ca!Em!`5cuWYfN&94kx{hzV9?C zqgfy(S5*L)H!s|)&{;^$swIl!F6S{L+bqZAZL-@<a!JWqW^G%dVxCm-H~2d)M0@m9 zm^mCZ&gG#!l3w|5Pnz`SBz;L&J-AXYqFnpRHh#qJH-J%8k42Bn)y?w!sPy!X<9R_S zMc|mq)1*osCBaDr&P~xTzT*C@t-PF8(cx6+m-v_ua6}eEZ<h`Q1S<?%QwPPzab(2U zpVf_r={`<hRMz5GN$@kKXA&F+E-o$%%~TF7`kg#ktAa>B?2zy!wTs(WA2iSQf1<Wu zZHePQ|MBiF#$rA1<?oq$`xetL`6w~^i_iV8rg}B&w%obgxtm73AY;j0BZQfZiN<TS zuMU88%CdWbz6l(Uz~=})b#!zvuw_i|ryH_6;R7OwWKR%504X%`ZiXM=jD*5^Iv4<B z;0l9cOpwk7bOm+^h9H3~28ZbmvLGWxWHQ`sLAEmjvRVMb4)kL~baOxU9$PkKrU1jg zGVly28zqn=!60jeFon*LAPW#!vTx9GQGz%8Wzirps4C!FSu6lyNu#g;XPBU963i8V z6gUD&f!cB^>PPBwrYV_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<L1TxT?a)CY^^q7P8fAbo z)I~yZ0)z7ZLUuH^HwZrl*<O~m2hH=l7=sCiPC69uIB)=DvLJ0hS6c@llG*N5Z}2$i z4d_8s9EVL6FnzFI93Ps%N4voB-V7#<Ob3Vz7U-g-^<$ELOwa>{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^S<jMLLL9U3La1W^HD^jZy-dvv><ueX$Fm`gYaLT_MuO#;VH8ip)YA zDV6uL+vGt-?4Xk7<hRDPy*A<I>D_M|<ic^BjXasNE_H2}B-7)!-PXL5k|0x~O8$LC znLNgSwYIxvp{pqUU0r@@l)6>@6iNB_k^Zr3-&}SnGM>*TtR}S{t$tYM72sUD%kYi3 zo1OG+&;7yOgT_(PX`%6Bn-nYkZ|%?bO3h+bSI~Bj1PdqqN9<Vr(S?cmm0(nR8tT2o z!oq@euW#?ZT5eSRovZdUdm+)ARmqut-XV`TJXV9Bult1XV)wXX=2YgaW<Cq0p0Qt> zla6-&<T*9qu&?afh>lfSsg^6d;ytSPNk3igc~o8RuB)GHlt=aM4OSbg#<Hhs!od({ zOMPbj)m5ADM{YYIE9GjiS;R}IQ`Q%onHeFW1~3^9vMq6NuzR&rC2f)aB7$S#P-C+5 zJL_k3u<+E-2}XLal=Y2~j$_amM-BHLH4cC2YaJhb!U*j?EzaRFQWitaox!2M?mMQ` z^U);%<Hq#k10qXR!!|`)u_onJRi+67&goD&%A=CnYEW9gG_wj+bT#SAj^1{xBZPB# znLv?wkrv!l!D@SJ$?<nvG=dn|FJt^0tFKWH8{xiFOE%dp=_^58O0x}0zBhnr2;YEb zTsJLRw?N=}U0$`NNpVXy^_KXQRZPb!b)UN9;W(Fd@(j7!KT@(s+(*)&{Csx5bZlpN z?rh6jy|1VO&)fKbvkycBoO3P=BP@&X2=rwy51xe6cbgzmlu#FY#)af(JrW0_GIEW% zI=>6<@_Xs!ZNYEYg8Uxae0e_$FBuq(k@w3QZxIi@wG?=tLxoE`Nbt+_rZZ{6A9c=Q zUQN4-CA5v*!aMj)GV`-Z)vx7i3Z5qquDix)C9-6Inr9BZ<_O7%nvl5x?z%K<QLfy_ z^y`?_t5iL?X|U5konVZwLCW(JZ{7?liYIbh76V{k<ysP>q%OVPc_DS}_Tvu}-!0_o za<xvPn_$`z^1C~nwreFE&QL}nuBAgHFs`7DlpJ`GWB50J%SFO~D#H`;pjVnXpKaqm zMj2{Os!p3)++~;&pFGDfR8_)xd?_bOKmKEqOK2yVsmSbN1yf#K^jSNma$>KNw}AOO zye)kTCy$8q$$HP!gt=?du5UC>Sn|>#Ls`G3Oa3M`6JHHKU%Qf>Y#VzAUBcd_i8S(@ zOj}l38qH4epP!*WC3d%xt_sgp(9bqKW}+e<S9;CjmC4<}>leo*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~n8<??3N5@IG zI?>xRO`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<v@kVPOgq2!Q+VTuKb_OhVdC_)0Yb=N^*QlDCO+pXUNP?&RNr;)S7}4m% z51KMLHcveb#%DhhO;(M5x|#nObg0_;Wj+D#pD*#jsK)$>;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(?##Kf9<aTMd1GHX*AJFFK0j&mAsb zvW!33wlf*#$xt_~33CnJFgSYViq&z3e!0{Tm8gAH`^}us0;xK$F-d)_cFeG|VL>CL zQ$bNY<PQZDP2n}oY9TnYRT+#~|8k{~lT)?u$B4(k{^hBbtIDJLJgs%%Ni7$U)96-3 zEA`yXN@CH8!>uU~-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>`RT<P_OtE?2qtZ!$lWcKu^gGvG;)^L z6sNtap@;ii<#y;vLbP=>j^*AsX~#>1G2(qKs)0dbNl`G^w_uS$wAj@Jyp5tHM5PsX zW=_TowPa<t025Zh%yS-Nvmu8I-@F*CNpJMgUp6avy3>24aVY#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<zsX6Fw2II^=$*b{4Vxy7XQXyNdQ@^266- zjTY7byg$w8g~xJ;LWIL!`btlvxRsqDe~4))D?5Z;LnC0(s%I^Oou|04PrJnHxZ&dY z(`N>`>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?<yRe)KZCkrQ#`*`6ebY8o-NJraNw=| zi~_oYtKB^-fWO742!4TVxy;&?c(c?ZpshC~*Nk<i^CTGe<+TTU5K3^@mK2)Gbv^sw zZWk_DdpCH0VH>?W88hy$?)KtI>Kb{bFyla7mRmMJLa{0BQ(1FR{r+6(of%T0hzM-q zity~nwf#>W8SW3<mybonb_|ne)@#eu3d+>?UcA_7_;hTr=$3D#Z2PB#gT5B=;^X@t zza$SI2BzMWX^Xk9Cy7~R-Q0+aF;zF@<V^@@xV<-CJAP-%y-G-CKzf;%wa>|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?C<F>ddlN8NoR{t2G-=!Z0H(GE%GVi<m(Vda1}?ba2t<N29^*{}5VBB(v(z4- zDr_PK=cP?;6bWr*IS2#}K|qwCFen@fqxubTsQ>3O!w|7(2?DLfh<HaYf~*V1^-n|` zUV^%kL!teE%V<1-x&Z)_l>>|&iOz0Vv>zG^$Wuc#e2H$fNbmFRzTOzx4*(kpT`Ufd zar6R=aRju@*|UGuKLC$*0YLyL3<UY>0pJP>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 -- GitLab