From 8ed0796448e49ae34dbfdf31c056e402834c0b8f Mon Sep 17 00:00:00 2001 From: Lorenz Meier <lm@inf.ethz.ch> Date: Tue, 15 Oct 2013 22:17:53 +0200 Subject: [PATCH] L1 control diagram illustrating corner case --- Documentation/l1_control.odg | Bin 0 -> 11753 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Documentation/l1_control.odg diff --git a/Documentation/l1_control.odg b/Documentation/l1_control.odg new file mode 100644 index 0000000000000000000000000000000000000000..69910c677459aae4664a08b1bbeb6aaed48721ad GIT binary patch literal 11753 zcmeHtbzGEd)Bg&BfOJYIEgefY(jwhR!?H9i>@Hn`Gzf?wAkxw$-5^RRh)8#LhjjiH z&+*acJf7!w-uLf!{4CykUo+pCYwqiwz2=%xRY1N;2mqh~03lk6QmM%7tt<cl;QE8O z1+cfa2gBVR!KRLmcGe(MxHZIq!^Odz9byWzhOt8&!4BpSkh4A50nTm-HFdPI2EkPS z4R9Ajl|la|0C4^J4hV*uvb)*aiHIZqP`QAiFa)G14UnCah6?Nef|y%7Sc=kUY09z* z(1?p+h(IhXtU+L*A6nQD=9p3;L>*v4e+-GzI71zTzS|?@U}_JB3Bf@^zZxd=E4R>h zMSt9Jv$J-v6{WF)!ySb<I9y#_*<HEWAy7*WprD{2$M;d1KUJB7{>A6$47K~tWe(y1 z+kvmA4&wl_137;1UR(H2jk@Oj)g(tK7={4+?&p7s@vF?QSP%&0Uq)a1;}3UzH=T=< zlZWGv??0@D*<0KFQ;pZWY#@leBf?HIJMgbcO&zT5|0&Eh@AsMh3SbE}H%A!qpAQ9L zGdG7Nhq)=-l+DE&>`ME?@;~PB-)AfMm)V*_O<n)11dx;Cnumt!4|Jhl7AhBw*pF3t z{rJR0zCT0|6#RWIYzPCvVqBa+ZZ;q%8<0yA$R)(dCB!2r!tonE5p$5xZv=RFgn;}a z96tvC&;T~Kh9h1MHgjj_cTHldnp^@(y!;w}BLBzuzl(v~L3Uu67}sC8|GfPNuO-+4 zi~xr~#T2d0pkS5n?;Zy?J0G2rDM&>_*Vs*fkLs5pV@D{&1`L98fVl)sxqv)uTxMoq zbAB#1PChQ6Ihc>lRFI#SO8~?sV8O}9Xa1+^pIZLV`mc8zcD?XnaBC3NcUM8ouCWmd z&DjAiO2f@Z!yzW}=W`VL!}CAB{R`py?LPt#8XDU7h=vGa{~}Dp6$}i&b|dUM2u<ou z!{+#KeYTCC@9w92Q!UADz2fvEmz4ZKA#X)BY&0Fv_=N27`tt>W^P{*3dBL}#D(%V2 z-=Zn2_Pq-RZI1e5x>QPT2)o~)X4;GF7bp^Dcqh8gWDI|uvzq3z<+XO{82U}{AZ;^~ z1m&HUlE1n~h)8dLtzC(+>+6R*eE9O<q!$2leRq3IKS*|EwOlnp*})4P*%MgDV`ic% zL;lG5{u<{nvspfNcJ_&dO$#f=2R4iu_)o*}9C}8x52AZkGZ;HP_7A<Jy|~8|bvamp z4UbDwYuB6kGr<oYtFd!eEt%rlBw22d8{;WI&ET}yn93j4zFT!+*5P6teLNE(JIM=r z{Q?fFmdsy;^Y50UCvAb(J|9GpY2hX$2+30>@j6o|jrgSFHp?Wv;N2b<G|uJ0UPq_W zz)bE|sKhu>=#1+x;?*lsaHU+Xe=EnSlQ>i4@vV^ObbCOji}iS^Lp$>^*(LFcS)#Si z{D;Tu@fpXJPXc&5z1>iJ<8RMxbU#{JIVLQiA(j%^cl{juXyu_}-F<d4my}~IRbNI8 z-;H-YxTLsS@Z|t`#;4-AA6>n@F!$46JK`(%zFlZx!Hbioe1S57SDI#^Eoasg#TaZ5 zMq9ILdPw4CL$&{*^KpAFjv8+`Y5Bt`{4MTiQQ{X`fwQ)fI#*D(k7gNBWCiA)4tKB^ z88F&EYKKnCp8BnkHf^+OmW;DorWS+|Ws!5yuo#}W?1lzJS?Y|Tl|t(rW=p<BCbNN( zX^Bosbh#zBNzadzoTh{8I#T*jOtjljr$CgXTS>ZN)1tDNt@T75_onIAd+KnvUv|=C zc*9wHx^E^ZThEa1WFp~!@iAOibY{ZR8`>WV*Y@Ndi3I96&-YI-8wA~_Ug1DDen(pj zAtq{F2vDP3xYJ78KAL30#P>}9Gqz$ZJG1mgka7%+?Z_3`JIba6PJuieD-lt)XlreK zF5bu;%YV6(JUd~;bo3kzy>^Iytt#+}atFC8UXs#k)8pd~^y96fs$f2UUf^le86!Y~ zFbqSm*bhY01l5gvw|ii$+c9i21dI)x;pO3<SgD*KH%uhU=w<mj=u3l&BO-N|uvBn< z*2R))+j-3H<2@<~A_z+nr8EuG#B{&$S|GK)s66hl^z-@K;Vk+4k~#N@Q|`$LHbznU zhE?1U&$(HwXnUO3ns~Qh2<UHB%5Zuo!6<KaLWy@#&Dl7kxJYMd^tlm1ZN<_)o1m#O zO*YS_G`K5N_M4O`!;<SLDx<}~kzcdD@kz?~!`owwQoA`#du$)-qMpz8NNi5)brR4p zj@p)G<)S#e(0Q9S!IM^q=TPJ8=rbyE<nx?HY|vzgy6Nq=b2hb<i(0)g?XDgwH<dL} zO1TLQHLdF6bVV{oosb^P{MA_p0t3A5+Ax+izK#|LxHZ1v?SfV5`zy%#tYBFQ|8cr- zvdBlTCeec>noIK0lQ|Wcp4wdSWW|j@xN?=>46U}lBo4hoYnA)ra=Ra>?R-mG7AfV} z=!z*$?WOA;U37*Cs^sw16LTY6wt93B8!fSaK$kq>O)dIix)`5uv`m}fO>mtQI%`OJ z@#`g!qalHudFAx|F=>JiHQ9meWgl6~3Bm1o?CezP5$L&AI!rzgh?k_%OxLN#(XA;< z#sYx?f+)`1C9c;GD4V**Z-@sr6|2-Cp=zK>x}<3@TAobY&Z$32#d4Us>V#jRsw&(< z!&QkJ!$3jo`Dg)vzmK7}5it}5ae!ZM`4Ay=({LO*{t?f+M@P}LJnvwv<})TLGUH3l z`pU|<Tf&Q-9tG;|P7*b$BPcg+0%WXxX`)V=z2rSmNsw-$OXAaa@oeBTWz<`e<#;NC z*t4gNrr1Gnf(4n_`^y+Zm?$Wr@uzBK0y;hy$K^IG@g%+;NkOIyD3(5JMK2}P^Nn7` z?nJ&5V*0|oT3gonqI`fYV~*7+UcyP+!_u0V?%CjDoioKlEkmZxdbhG#%`Lt77JI=# z-IYVT$%0i;g~j5^)cW<jc1e;4o3DabHRs1^v_BB48e2G!+PgcE%YE8j?sR@^VOiH? zR8q-1*yoiF>TrTH+21|XYqX2&Q13e0r^1%D42<M0<ge>WgXf$w!0XxR3l_DaRf5{t zCM7h>MHnBTIOxzVRRq=XHJ;Z!R{T<&)OIhS(Uw2;wWWG(D)T^U3iH7B82jX&hl-c| zg(%u$*O_ZlLub6k8GfB;Zi7hY{b`G=$x4;}3TLf5nokYu6fi#w6!hHPJjgv2it41= z&h^Y(OCk4Un_GpFSfvF!e^q@-{(Ntf3jYD2CuWFIsQ%*n>G6H>>E^SxdhC~5vVuZ| zg|hN$b)QfZ%}Co`WCH3uV}_J6KIKutZ%Hwbe0odbl)WtRatTbH=IDX<#OPsouXAn0 zkw!u^Uw-(+k!!xcu;wixWG*#GhRMaVz5?a>&{aG7>^G-U_to?CZ_8r6O~0M|QkhDN zKaj<^qLNopC)Btt9f`B1+g}8qhX197Wh1c%5k1CSkj2=gD=%_Neiu?1wye&pWaq*& z6lUWoWn1Nl+yR_w{RuOY5=N_97B|YP^xKKdYuuV?bva*P=xXe*f}_LW7>$iH#hsew z#W|hK>IMx(`JrAigWK;{VQoEc)s4{%@9?@h=H++UEU_cWOhf8E-pUT2=q{!$seN5r z>&6p9Inenq!g{*fJIlJ7PmTK><Hs&WMqEvb6?PS0923kACe3aL=82rdd;X9|m?uVW zoEBV*H-?CI{78yDl9zfZ^Fp4jwf7=Xo!e{0s<~AcxzRT4@Y!^s1?i~TqMHoLq!bUX zQ|TE<ElBdS(<yq~$^m};*#G4IWPz%%P7DuvwjbDIZaW+$T+BVFh}Kv{;m)g;hAb%O z(MyL*&uFRO9iH-1dIK_7-Y3(pT?J3zH2aFVnVcv!Uce}|E*=60(^akIQ!TxhbJV86 zjM(qXU@Uj#jSl)kw(tzUjRw8vc{EDKS7gI@MS&gv&I&@<>BWnwmP{Ro$!RDnZ)-9j z5N@k<e-g*o#n-F9U>d2!KyJ~wju{0Fhg|mP9?Nnkjv#=GD`@2numWP$(6CUQA|TMH zHdEhL+1L0c3^CrLhVMnwo|8JGF%v#5hIiKgEXkMV3j-K?2ZZ$5Sn`SQv#tp&Pc<<c z-EIB(rq?^8Jr^rLabpVp07}$;0<=UHsXo-)#y%{(eYP~Kt*P6sm|OQQuv2z|FFFs; z41;h<D@%{{ai?$6pxSGY=hdO%Cs=tzL)LQ{J;)wwdPL(rn0fv>OvTk>=Z)y(D$Oaf z-a9%L&!&*Be0^z$G8IN`tGSsfVwEH3or&WUz@;6P7lnCs&0>6#3FWO!vw`WY!HST4 z-fc4!v(^nroMm{9C~;5ndnJ)g&o&q*KwLp2RU~!MM}vaMd2z#Z2b;w(P@o2VuI`;t z(VPII8a?4~x_8#8Zm4Eyi(~QmcJq}raGj@5LU}AiP;0};?@dv<ww8W&%f)TNPUEeY zI@S|_x6INKDqgwa>g6fIRowO1x%bbs=eS&Qj^6o+AO+LFM6Gzx`bDfB2#5x(^y0oJ z6O<45OiN>)N+-Etg@)HHA|FtgNiD5{Pw6A#r5u~HnMrM)!l)uFC%wYsPDU>GG{pO{ z^d#PJ&)DhI=8T?W+^Oqku*dY#T#>;NUVZbRzsi9fyV$%-pi}u0J%99iU|t3$wAS9B z%LhZ!l_*?3LeuKip*G5KCh@QXF(!HJc;}{vCd7MFiZ*mo*eL;Hs!!{2k!6)Buy)dJ zf%mp%jUfdKjGrmL|AD(+9r#I;MyPCJ;N5;W<_2!35p^Ds0@JW!hdzy5Ijc#mPWL%o z|GFo7jIGndwqQZ+I?T><WfxXu{quzP6dxa;(u{De4UdJ(G+>zMk<){z@rU>V$hc>V zPE<!VQ-uz@ox^$h*fq^Im3dassArROf+2?-nIbCRzNni(K>08E)_phoj0QUlQGw9~ zPB!TMZRWkj=v9p7dnQAkbX&8AJ<HwoewTrl?BCp@v3g>th-r@=MHiiOdY+g{n3*I} z@hz*opo&iqd}UCBX@A^ObFs3ojv_r5xY_-zD>`GXgHXKjW0(w&NsNHuf<yht>r=Hm zD7Bw8o@zWB$^KO9M><Jz+Vz&)Yqeh+BV>nv<=m4V=MbKF-;N(ljae`vs)Ja4GL+@- z#)->l57O?A_Vyo*d<_+JkgMKgm-06PeTi@qhE=E1(98$fjimd*xg5;x$v+jkvF(8- zqPN$Sil8<FU#IvY-fy!@MNU1ySKV)S<8|2Dfa{8GaNc{Pm;>^kdYFI%k36F54Vb!R zO~=+8Kedijk9_zPZsUPEt*>#%!pETB^uW^+Ot@F2$eqQ26662KtKfa6LWM!7VZ12x zs47MWa{&L_liGVNBMWK~N?5R@Qor`Q>v)CsVOWf6Lrh}!Lly}FWWYQr!SsOcLecWW z&tu%S;vZm#-VA1$5tCm&gnZ-u@<FJq#F?y0RAqZPxQKKPj#kF&AYg1GBTjMX9?7S3 zRy)=+c*(P575vi3e(vET{=26K>Zc-pNlf0^`-y$kjE!|ec6myZdYMu4$J8IH<DWPt zcjpK{q+zXAiIN;Uc+IfW`KkZzd`o`{uA3W!+mg}F$D2D8?}K(ms|Hct;-s?8j>FyK zrueLewq=&?AAE7{NRHC2Jx-s(CMN41avYl2&*t@pb#QQHar*Uj2)$K(hu356TvFk$ z3H6|QMOGx?r3<}qBl`rleuIoLd?y9HKnBM)NKm(V{0nQgpy<tHvX)!fgT@AoMZVr} zXq#FY0rp|Ed0kt^+ucLHQVNwC6u*ZtHsaIIm#nlHqV|W1a`wKid0M$n!cM0Kr=n_) zxNz1YimyzwN6pI64*U|0XOVWjRF}VE0IR6x6BO~3n@8y9+)3SxxL3%&*rI-W)nd(o zj0_=Ak9SE*=7aRuHgZFH8brSxc8M3lo|LbT-sz?IaEW0F`sS4UwA@+hvK;-?d3*EA zw~E@So&%raBja`v``3L+-R*;WWGB!o`Ux)s%WGF#J`xwoQW;OLxc7e5><VYtn7Q8$ z@Je4eR<XR!^NHq`SCst?jFhoOYG3I=Ag_hsQ~3ak5xc^*J7g}o5_zGdid}bd8q1J* zL%Ck4eQ?1HYokCJeFYYz2*Yc;`Edll(n{Axu^n9WmO0V4m=#MpZ&A%I|NdtdK`mf; zG{}r-OoDI?-3gaLu@de59oU^U3N=)l1ZwsHCN#{YTnd}#-FTTHEl=7}WhcsTO&{#; zL?%81ph;r|v06|?x+@BnC7V8wCN$~`MgPp3bfglqbMmou>ElhlUEFtHMw2ikhn_}T zM+t`Yi!bwLE5?Qob8K6o;F3_%vQOcu2<hz-wxT@lLG=TZwPm&jQh!BtWqriDm7p9| zMbVvpKgVB|^-G&hI3UX^U}K5dfg8!r-_sy4RL;-VE{(b4CKUJ_ge$E?pcYQsqJ(K~ z=KOhyxa_StzjQ8gvy|-vS<cw32wg(I7yf$>ENGK(7dTPt{0|wqHak<0t<lM8z}V4u zDx%oTlOkgY?hlPTnNSQ1nf>SzLhF-8N&Yx!MoFO#y%jUQ1x%oK1BY{m@&<=MWFT6( z6PJjz{~;)Uz$LAFYlT<HS=%day!Q*umcc|obpKjb;_yeD5k97EHrSBPf~_l=rXilJ zaQ1_wA>k!aKI}Px&M;AfbKCxo8KQ{_G4fj)u$>5?fMvmGG8Odk+&#s2ID(ibiQAMK z-6OcKK7*El%ZFkjv^SR|&|2|0ZPEPN<WQk7ZEps^hx*G0aZZ{KF0nJs*qRJUPSg&> z6GdxI!%7CmyprN;=$dmBw!OpSo0fgwG#raxXB7q6a#nW{2QPilA6dnZv*yKzx+W>8 z0KoO<4kD}2v~spLb1=2GgK@xrT(UblSca-9%VA-VVIWwr<R40_BmS=h0B!)#kPufM z5@`_t04i8sT0+z9_2#5CG)Wf_sAdp1S=pE^U>jE6#6zS`Xj((HH2a#;FfsyMIi1r% z_Xg7Jd&O?@t~!$vkduvr?;XAJRGO0Rl&beusMy1OiHsk&M5m^v-dlH_)=#$O>+eMw zhl`=|2G^d~9TW|5b?eu44YLnF6GJ_S1oMh6fZy-MXGYzdRD(=$4Rr5&*5e{zLD`hz zK5)qS<;B@$l)1*Kn?!l&6rn6h4TZO&R^-J>G(Sl~+4;#T$bgrnL1<)g@0-t#=04Eu z6OZbJNlkFPOB_yml({^`;7EL?krLhH*@@eg+tv2P`mhe{WX?Q&1@!ejR>%@34!t@v z0n?Sfj{0j>LT|gQ6!9S9<CBB(*OK`q^>Kut9KXZ#D4(t)F+Hhq;lS8XLSJnj1)tvR z{a#R}VSjq1qV1TKkQc`F{Kxo2iwBb>>*{NAgr*CkKmp0IdoOLm-{@^q)Q9zU_{bW& zxqO{}v|m~@Mf-+8!|I->aG2O-=}^0zfa6p>NxxpUyVV;3xJz$`R}tD$vf`)UUhGuK z{nCfYZ86;Tja~dXxZ^oGgZ1QnlM;8yW*S)Z??aDW3dEMk$!fPYi?GGS#S8pW_x6tH zqZ|djKl6K_77yuVPl#<cZq4qH)$Q*_Inp%QPC4>zH+vGApF&2L!GKeN=Tpz`C0k^x zfVfvck)r(Ma@7_=O_iOr107vMLcV;S=Z6is8kF|#1m?5T-l^gDv_+5$qd<0by>I74 z*E2g5Jc0d{Td;5e?PeA4eey@<hYD`&9)ih;)c~}z!bmKI342IhRqQ`6ETe|@@+!zs z((1)OZsu{vG)(nAemuIm4|Le)S~rsFGG>gFr0mxs__Vxi={AhIjq}Y4OmU#$J9VaD zXuHR_4;&ZG4puuI=~=uVg<xc(nA9-jMJPIi)qcwS+9BP=5XI82wgS3EVpy)ZzdJ0e zvRh=lT*~WxJ}BbUJk)le6P5W@4jgWa;(#lc9`$G)_GE}`prAu-B{S>D%wH$?<Q})& z;)eI@tGl`S#q})X>l@yL!A-W~3QxUrtTSEw#MqtAXI?rHE^p7{`|c(cX}tO}CAaQA zDvVFLO=;ZRq)nO5l<6~!V0EONM8=uK>Kn3@s|qSQw>(%nJQELvh}aKAu4Z1oUd{Nn za67(WxR&Quc37r+^|<K9l$<lf^JsVN(nf5+Q0bn2!-we=xk6XUakjghzO3ive9I|I z3#I2N#vTCS^9=5hs;CAaPzqM0>0SD5VK;j4k^Q2WHcm#t$r6KSlj{a-h)Jp7KuvsE zub$j?@+w!!cbI#g@#RtPWUcOL$o;GK&8_C6t2sX>!h+9~^%t}GM@dsBY@aBFVVW-w zOM56Cs#SK@x5P<sA~OZfk5_ZGNu{{uj%wEQQYhq{F2!upBcA!pXGX#>1wAPTE$_e~ z+mRD{Om9x+RfN9)7Z85ija!_g*KzMl60{*%$>ef+S2d37p53(%oNSPOAFLoYigl(d zNx^osF+a%k#$7of+w)NEvtd_)h@Qi^oT<Jumg^QM!(%byO>xpu??nE`5)wkWlB6Tk z7qIlCBVcEWg3C9t`;m=tUC~KLYOT_CiIH`_l!2?JescRjY5vT6!yVW<CKI3LPjg2s z6IVjL6F9Ry%_uD*SMLo6f10O{T7Me<H<9Z%!R-HT{Rr#-D^Hx`kls{wDjbP)LHzCj z<YknlizQ9`|GnIKJ@SJn5f@Sr2McS<KPxscE)GP+%MuLZkhF%|n>xZc{$7~uH^Pn( zM`uSw!O{7DC<li?>>N!Uz;^#bx$An2GtA5s`d{QIerG2XVu>hZ{(mH|fAat8o@-10 zyT0E^UAyF`)b9#E48PH33IZYOx8KWM93W>X^v?rLWW?F$t?NoP;Cg#;O@IH8erJq@ z9RyJU{Nb|S8FRgnfx+Do)wu69DE;op`5L^YWhP8EzK7TqJ{u|4!u^dS8)l_9Tu@uS zY}869#J1giM97#wnWFQNI+$XQ*!^jPVswLCn0O46e%WF~y=R~BJG0h&`~opz@v_cW z{L>-}c2E^*8F#1o!2Wkh(KJiwY(xB09F#r}hNt+eo83S3$F`d%?$msdr&gn{j?g6F zWY5pSn{umUd`Y2Gp+_vhFsR<HU=))9)T<j)5RD`4<si2$jx)5Czqg<Z${H_iE7;|> z1rH11xp5Eat|Da@yLWbwiECnJQM8G0l)mva65-VIYS`ss>dM-N@FlHU@GY8c28Xx3 zAMP8Ptr=voZK=@4KMTO)eY_al{}lp<(d_D8#TKutt1Yw8$Vxq>7t<Y7kH*lXGKh<x zH(D5j@2&fY3e|57BXf3;5@&u>WO3C1zl>0cdptL`q-%k^?z!2Fl72Zop6cRGzgG%l zn#9&DO<P>yd{$-KBM33nLbWKjb<LzoI9nR+oubg1Mq>_j9GK5s16nwR3-p{lKyLhc z3rl)StFzi^Irdp38T?kvO%gcI{-Yx*tw1DS&i5?F(J{A2kzyhl3=`;Wm}p-Jl4oPm z+iMQf$a`qDBq!qR-$){v)F?aYTz`$)L10=MkM>GWCDDpL-ZP3Uz^?>8ws||RRG6`~ zPP9|qh$Qs!Eo3Tp#?Z7!0f~J2E>mA;1M**e5_1$g-(VqCU&i9h7u|ae;@fjb;vS^P zs)oc?za4Iqqq%>&-I+|jtxqi=eWSHPlk@7i_=H;vU4nFrIdOuM$xD#{AYpzfD~6bR zleaNF%GE<v|ANontCMyvt|Ta~(;o!#2Bs}epDSEAk{C`;f}BX$wnRWLzvi2}g-4v& znPD>QkZ>lRW5@bJcsEViAF`6`tD?7j^p=hww3V@)ojVwgq=N2S(L1GY5t-t8c{68F zT1kwB!~i82ZxhIIu|L@{2M9+E&Y(y6nySxK%)6AN7EQg$gl8wU@YG<;H{7l)Aj8V5 zlHi@kjTbB?h?#pe+BMS}k#%Rp$#cF4g`Jzs^I5UCY}S)xX1c%ywLII>P{Dae<Ks0U zRo{)zOyI(}RwnmkBlj1v9Q-@XtqL%1MgjF6;haaTZ&M1n<B0PnLmb)MwakccmC*R} z6XHk@3-un8los;RueeUT5p^rbh{|H~Gy7}%o76b_U1_pCd7e9u!S2qujNXufPN(yX zanaE>TSk(Qzks~LCmbq0U7_)rxz8U(@mAVinSbv2>{~r&qG5>&XBk`rL4qa;4`}!s zLf&4^wHAw7pKt}Ei&^BaM!fEFd@oYnBX4t$guYwJ<Yjt7JIhJ@s3cQOom2|HB`71P zBq@*i6#YTyQq}+nlVqK&#FP>E2#8xsIMd}SeyD^lM-g;z`Gh-RFGS^;S!EI3CmciD z1>swFu@*s@CL)yz4$1cBsb#WejSe@b8`oh<hQxQ=@63A_2(9=Q04XF2`pBhNx>tM% zi&j*&8w|Ic58YqDx3c-Av)pJ}Xm-EkAO$nbioWh`g{_)O5hy8!#VVHu2}-o+)c92g z_2({@M~Va`=VB0*UkG8mRf<Yru}&?WE9CPxCGN+sv<H4g>#Rvjt*L_m@OpXQ^p-f& zTh|SqWweIox8v>jLFprkW4R+u+Ojm`C&fr<^9F8g+`egO8QIGEAc(-5ItN`<(-OA@ zoJE5#3h!OPsBV1Us8#2k8SaSMfguzlRZRA@UWmKXN{d@|p%rbgMyzc=6OUTUbJFeV z^vrlX0A@6|@Ve@gwcj1YL95}q&K6#^O3_)v$vy3z3qE6~rDUo4pxetjr!g~>;ro~r z89nbLQbVj{((ch=p>g1(kGA1rD5W$D1T2wAubj%zz@32s8LQ_qH2Z62Xx&D1VkI2G zJ+~KE*TboKeA7i5Yp5hSUgUh3F~c>y@Wrd7ts+Vi*L1sU|LWa@>Sm$VyX>&H^Z|G6 zm_xR5^VI7=_I_r;&g-<a?MD1Z1G%!1YfB+&cU$2%9U`eqvR=I{>Zf?_B5mP6ypA~< zq}LLja`~}Z)uz15Me@DvI64s2y+NZx!0X0CpSauU)QFlEuu6S!(pb8}w_Q%ELZ?}X zhA|@Pnru+$;lXxw(qVjg(bFs{Q_^NKi{UJ*Z_SU!&_s)ImQ2#$b($Ax?a#37q?T;w zU|2)Mjcdk2i4A=qlXK%!7iN+dR6{!H_IpNoPiXM;QI>M5|D;C!#UeaV8UFNmO$WaV zEACzW5=q2VwrW4DE#smPaJK?UtQx|DRf4J~=XY6>!#i-f1AUXXf9j_3X`{F$rSG%q zM6DH>tec_$+u}rj*jlVlEZ^5FTtVDgn`}|#l^o~?p2K}*(oMwgiAwa5#hK5`c$O5q z)c*c?R|Zd`CL|<LVdg=3B_>k4N8*NXDOc8S1)9~{o-PSXQ~Qgk?(H&Vo;Y?6!?d$$ zeS!haU!_xedLEe*sUK4Su`a{#YMQG>MxB5@B#Fpw8&K(G4!QjmOI1$=G#Bw6_z;!S zyj$sU*^tTS`~2k_!{PmoX=ZjPqU)YUy(5PEqmP5-WgRoNKJ@gkGNe^oeaWO2$aEBu zUAB)v&9qF<Uq;T;Z{r6ag_SROt=tRMZqi*@62-!0Hhs~N8g8ZRs1=?wQW7k)Ec2+V z2?yI_6ID#Zai}UCPPJc`);E*|8fILZ2l#IH%bewk6{)9IwCCdS2$Z0kx!p!Fu#CGr z=iBjsN4}YQ2Q1~c!%lm91hA1k@FK3s<sRX=pBc!sQ{?N9#Axt!Qf_rk!N4ysJc^*r z5!$5Gi5ydLB?8DJsYs}KdJDbg{ccC4DrL!7mY&n|T#a3G>J=RJc%p@x7$N%VdK?XE zM&384UG<hnFj)fUv)*|>ujTDKcQp=lKI8)za%VO|f))WXg?e4nQ6HX|J=MD7s=ey@ zt+zjt#pR^7%V=3cae=kC8QC32q4|okZ{m{VdY5#gQ+=c6x^s~G$1dr2`yC?0en&}0 zQ-V!iS(d{d(e-5khJCLc7iqLOe4xT?JYu2Q@+-<gr{6T~Yf3u<$i5~-$3)WL^%cj@ zv(L`c$ULwBoi$pD_HXoj(Pjww<YqU@;%iEjc9`6f4o(e@I(@e3n$*t3BT5$&pT-PJ zD7Nl`O0Q~h$!9>L>8w|gO_rTqp3wOob|tR9V!LTK>Yy=s>;Xz=|K`--d^9>H#3)py zIDuR%D!dYrZ;knti^!i>PtBTuVdI!Jfx~%^I^Pk|k5wugjI7>J=oTD5qiDulf~537 z)9azit)Y9?V+W%(!5|mo+z2Iqc4{1f32LA+7FG5s^GnyLMpEc&dqw^93e?;52Wl%6 z^V3NeQR^-Bk4PENMaYZe(O52Wdf#Vm@y`uYPI@C>J2fA$*nxio0GL9)cIpizLcrg* zXI^hlf6|X;&A&?hwFmR3gc{=Vx@YQoBl<(?$0Pi;9pJig>L>LfdO3e>qx!4luSb5@ z?E*iE7_s;LrFr0o;NP7H{uHz${`>R6zoPt<0syXau%Gnc?ti8n|B;dXyT^YD0|3`K z*-!HR4cM<4+CRmq{0+{p8QVX_+58R8uNmCm<6P%(KZ*X{e>w@#=l4rS_xDKG3DHk7 z{teR44DX+!#Qg^4XU6vj%8xaBt@}sXcAfM6q^{qf{7nY<-`3N=Pml(&y#AWP{>=aW z-Lzk0<#h)5lXMX%Kl8yK+J8*x*KlwhNq^Eq#=nWHstPEGBXs}(7x9k|@vbH_U4Q$3 DeGk#2 literal 0 HcmV?d00001 -- GitLab