From 43c2c1a3cc37062561e1b86bd1458e901c6e1c5d Mon Sep 17 00:00:00 2001 From: Rodolfo Araujo Date: Sun, 15 Sep 2019 21:18:06 -0300 Subject: [PATCH] Doc --- doc/grpc.svg | 1196 +++++++++++++++++++++++++ doc/hydroPowerPlant-stateMachine.pdf | Bin 0 -> 14709 bytes doc/hydroPowerPlant-timedAutomata.pdf | Bin 0 -> 16345 bytes 3 files changed, 1196 insertions(+) create mode 100644 doc/grpc.svg create mode 100644 doc/hydroPowerPlant-stateMachine.pdf create mode 100644 doc/hydroPowerPlant-timedAutomata.pdf diff --git a/doc/grpc.svg b/doc/grpc.svg new file mode 100644 index 0000000..9f2a4cc --- /dev/null +++ b/doc/grpc.svg @@ -0,0 +1,1196 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/doc/hydroPowerPlant-stateMachine.pdf b/doc/hydroPowerPlant-stateMachine.pdf new file mode 100644 index 0000000000000000000000000000000000000000..65a57807aad2daabea9164924cca7aa7cbe79930 GIT binary patch literal 14709 zcma*OWmufc(k_gZ=*lgQE2@x8b-K9pG0d79x3ehGC9ec^QV%d4ur zmx-S}VFz&()lfzZ-c>e#9-`RbZ;I&M40J!GY{?&aXq&RAW;Yr$%}N)sVVepq>$kX( zpW{`84-F!w+f77<)@bKXXE^Kpbd2LoFmr=aJD2mY_;GqqCZ2On=enz)lNDsZ2&B3k z6dIWSKC6*slk8^saoMV10-G2nCi3Cq^tvP9gH0I4;n>IZb+;C+tTN6D+#j8;ii3GG zN1LaEpk`K4=6>{aU|QTYPtNQ&i+UJP`n=q@BO>fLncbD9Yn)3tH5NJvtJ@q`?kAA~ zSZL`~gvDT?^eLj9vd$?O^q2ru6;(J)ReD7ViFW(CY`$D788N!NMVO7TsN>_f#M;>7 z#VhXQ1>TXfC|>F+-~`I59!m#oR5#%QqaR9QFY}`Rl#S|V9!b$D$Wbx%ulaZH92X2l zw%y{^uejK_^X&IHG5Qqfnu>@p{HS(5B5<1unOSQ~r1=Uf^1pKkwn)V#W8x1FmnPW# zn7<3LWs=OZnD{H58D&}_w(m=J9ud6#ih}5##Oo|`%V;N(ex>3PX$=z$b86~-s=}v0rRQy zgHIz-74$=1#Or7qaC;yj_ysV7URkJs)`W*^?)pPgGu-l+DF-JhhvMO1WC5oWx#SUO z;8cv&*e&C&31m*AEgXfY)@UP_LZsYqt?hWeDhc%*)v=;5S70D`yXAR<|J%I=yJJY`x z`|HT9SitRUnY5wsil#Ky$3+|6=DXkv9bYJxY+^vf22iU^}dQb1K#$5zmi_k z$==oB-{$g{jz8!>#;Cq(b~3Vac6ife;`t9O4RCRC1^rVKeU%aexmlWkR3t^-z`spZ z0Xf^dI+=i+0dH&h?i| z{t{sYu(PrMukGu|3#3MHG)Hm#1ssCy`1K;v!w-|dbB7>rfkuA!lf4)I`1oDsuih2V zuy^;vsL#y<>xKQCTJ@~@!?3`2?#7(*S!;I8v~rlwsnEkn)W}XythK=UbI3$nf^R?d zW`$8k0RrNbuDMD0zh)<*#l(v&A)8>IOTfr!ZF3_lkcZ=6*7DF8g;Y-~gr_kc)AKBk zVBR^`Lx3%S+Ymh3WIks4fVpXCWc$Mg>fM4TGXhx2Y2o8Or$k04v8NKB?ob41$m)m1 zeEfLEgosZ}Ox*MBV2vn%d~$Yh^u5p%YM^EX?mHAc-5O2ZpaQi&aF-PlFpvwObZc%z1Yh!MPY*&{ zJTG-%kNKyzW|0l|P3;JJ(%TX+_+f)-wQ$#3a4&JSgKv?)V4^xeaD&s!AL)Mt%h6<- zHn5`u;PecPPK*xq!hrEW24ru~(Ra`1?rlLm_T7ao{+RmueMb>R5MTD!0sP3&><>aX zu=W=4C!gozTPhJ_6G*Lv)F5y(Av%1?!tMowaiKAPBMQ};$Y?5|oTNL~Qn0zT9KmWN zgCs+6r-qw*I=#go;BbcV%#DuVPkD+Olylvg>+1l;0915*PNslQSt-apgZE2##Jp5J zC&Xd_FD`)E()6Xr`SWK9njH&xh|{Nv$oaD;O)4;~8~-wVp$FX+mjM6sdg`Daj_n@J z-;XqkkQ$70nxL-ih35jBm)|d{9WUlyPvaD48GB55&&`-J?TgDVK-ne#5%|+`Dpkpz zibAl6fVK2GPS?8=>0%U)>klugOa6%S;Lq08&x$TihBNba{RCBqFZ@nmkx|PffF79`fIc;X?64!x-68e{@A-NN2hm*&mie>CFJQhi z@=_O!;1CQ;lWJzZ{lV(F@9W5gRV}A$GO3E2rkOYa$`^~2C9=Pbuh3Rc|W}#fFNrJuOCwQ^Z-xJG``I{}CA7P>4(j{gQe>yCbIOU^^ zdg4ivSB56ls;|hSf7O}&W-b;>_GCR8G_lOdKe$lNDpqsJX!sm&6%E-!hQoMZ386dJ zL<80;$ZvPCfEj2CvB)JUmb%3x6O}N1yT}I-jwU=T%EG)+s1my(i?WR)A==MlbRj$y z@|3RGMc1yD6AsB4l0cZhr_G&}S0+iSJXdKJ=}4S9*+J!4d#E-nKN(9xiQwc+#>~e7 z*9cH2w9YL6xms5rvU=(Qo1MehqWY(*IdFgn%Pi4d-}(10f@@f;0Sal7lju8xE^~61 z6YfGDzFAnl0)e&sys)l9f34r=L9OjA;840M-3>G|Ne{s0~!pX7x=y0M~`iKm(_ z0|d8lR|iZ=kE48Z;G^1$PuD(58hpQ56b0jh6A`vyu9B)T?Q`AK^Lvyag3Zk>%(KwSE$~8(wDNoPz-QqnQ^Q9-x8&yCA>Y*8AGhpA+6zLhP?HUb_+X2q<&^n8E_=VUmRjFk>rO zQiIS3T6d;@E{=5ER90)T-Yx}&nvPxh$_~0rEC;v+;RiD&jeuAGO!0D`Vt%rN4Zb>E zpv_EF>}~?PhZRjK!7852)ZR*3HgT1$ffT^MbB1lQLxM;lf2TFLt5bzeevIqD@X1#| zdWP_u+QoIYr1Exa2@LYUV4>Y7-6QXPlcuiI8_rt~59k3~NPay16@50e1th{K`t#I^ z=MxTTPp%VFE~{W1eZJ;!LOhL(;Y7eaK?pVjWJZGPDw1`^zOza547$yIQkI$V?E$IPgnYj^e4GIj?}GT?WK0rPE^4i(!!|yN!>Ei1KIS7EGS0x$lRcvw4r@JRfd6e<-ifLKa~^KTcPux~?36 zKbR>ia9wWv^rrAHYX4m892mba4VE@{eRX&4BYX8Vwi3*%=Ag=eE)SD8bk2d?o1tn^% z{AQd3rJa(A`YN!=PbBr-S1{E8#Kn1zTI3pTHBZ|;Xu~b0rw*#yTxWsq2BC*7)fryT zh0W?aTnFghk#eYnIR##EXZF~DkbBG@E|cLxMHhru5f_H64>E2Xaa8CgW`Z~a>#P-o z#(bjE4>!={zA^aGv$P#wWlj$RPs}v=X2ZHj;GAw#zn&h$B470Ohdwh_dG`?>l^%MSXUre`4ipK%07JU9j`|@t^k#+HK*j^S{H!xZiFuU zS4ypzn4@2%*ig~CEr1^6cf(3f#_=pYJlQ7fK^t>Vs5Vs}xupB3Ga|^rmM)Ib;66{E zm=r0V6r$EGn9i&7*-Vx7hH-3+;)M4wM6rN1f;pn~sI$El*&=WbE*Nj0)o_(|jYT~e zn?PS@&SU0R8!p;L|Nvjes86OuUJ@?=Jr_A}p{MpiZ24$70kttj4TrNX$IB2C??tKgIswhzu6ehHBsy0XdhTFSx z_0FfQI|)yMg)o(yBP-f{udwtafN|bBgZCFxd8cno_0}Tbt)bF>KcaZ>#d#9u4N&t_ zDh3vJE4t#EuUbpjF+W|{`#(}c-x|T=yEKG7X?^*&;Z`4rHHl16ID5|3|xvEA_?ayrWh#a=GNPf!l5H#tzyitZZV z+oq_6p0|VrFL$iEpPDXV=}K+WX!pF`8@eTl3s-*5sheArZX!J2tjD8eY3WoCqdV{< z*z7;YAa$U?ex^&&@k!bqRVa7ISo$m52X@N^k*JTKH}doR>bVD<6XcO|-*rX#MmDag zuuE948Q~MsF^n6-S#j4}fe7ag;)8-ELhO!mF*|)v)rvCg#K z{rzj&Y07!YVJN&Uk>cjb1aRix z5cQIrZi8Ak217~;!#m1=N%p5M@s=C?0mQ7(CVWLn1!{I0O`K(3lo0|naOnu^hH-o< zTxV^%JAtBQ-NiKcaLCEvs!b@~eBHCN?DT`VN3*$KXf9{(4bP};MqTBGDh-$7F!f0( zCoH3PcniXRs7Xb6e#1LfT@mGhvcsd(uqTV|mifv{A;8#lX0zY|SU&o7D#h;fp6dEz zq6XaooYxsv3~kXjnTYSRRC(1U;`vl2E2u@2mXz3^l#rpImdZPsuK3yzGI!kPxQNuI z;wBySjc<$-4b04a7nSzslUa!Yx5ct-eaU8w$aJvN9f%B{CZu9^Gmy)-2l0;M@|$pc zhoeUOaVLJ@dO_e(0#J#5j)+rdEfQAlWdG>=5VfQ5V?{R%vxeT|(;3pD!kyK6M+5v` z8cerkns3fFqj28D9IcUqRRQcUjm2)P798w?tm}`6=$-ofTiQAf*0qWFJxOeTmT9&0 zB<%X0HZ^B>K1clunvpHh7a~ey$AoqL3}SNTD1$*TI~FUad_qx24Q0V+5naTUeCNrR zpA=SY{0cPE67tg3x#n5E)ghH0MiOZi>nP4Pzqx2A)1x)(=tp2Aj$nc! zrGa&E)stXN!tcougFaj4N1(k7vK}ES5&0TFBee3!B1~;QwC^mBGy52`3Z|3GSIAo1 zTPDEF+&oW?tgfS)lbD!RFcSAKv_Q_PR5BXEg5lpxGM;l0JVF1sRI%n-5t$k!?jHY6 zs2@=&!N?#58R#UiSwUmR9BN)%;2k!nwVN3uep4CO-^$n;Q&>J$s5q=?#iTVV(At0c zrL7E!$&+DjMA~x9esX1Ja(mrjH!02n=-kxx0-V5zqg1l_hMvCJ&Ke2arj&Rtpl`g{ ztq8X4yjv;_<=3(KeWa}~(p*V9`&G#pt*z)PYIV9WR~iuap*qW3d1eD~eM#jelQ)Wl z8CZS1_i6f}my4~j(~}&7tbXQ@R;(MQNO!*S1pULR*AGG~!?Exhx^c0eLDKmlbq&xZ zzEls1(n>oJX#KmcA!3KnPt4-=9LE$7iA9mjKh&ejJ3Cp)JnP<@BI9_I4}g$?HcK~P z)$|AiriDY9t9G(5$MfuMYC6`-Fyr!B!SLacIdfvRBisB?rtXwCTO7+$Dg7)5gI8uN z?zH`A0+cbj()&3M>bW9CMV9kJwk$Day6=r7*0wcma&k2XZd6_6m@s-!soa~giSIBZ zr+JL&?GJuoUug>5a(p26Boy7s#YWHDSj2NFbo4kuG_%)`7`O;#pG+uc`OU4Eku{jv zYs0*bbkLsRT;s{(;@E_2(2L8|I1>6*QuZukHbvN3^D6;ylvx{euXNv`q9glfER8R5J2B~r{9&7Hu#xs@ytN14A?{mc3u&e9 zvreU)TfRNLSC#7QyFR@Nj7&STIJT5nE3LL3J=NZqwUDJu(p!6wCG+iS7Q zZGYE^d^VJcSzMdjf`dsY5N0 z?SZIvp*&>zsdfgmke7(|<`Cto3Ne-YIDT)o$r(^cj1N zNwX(vc(rTHTasx;W{$|atphaAu7LqI;YO-`W2`d1t%^ulSbGOuKSglCaIT*%_Dcbd zU-u)F&|y|yLFkWkj~VvWAuKob_Q^?xEMHemd6^Kob#uhb5AaM(Aw2J!0~NWR6$b8Z zbc{19?0+jk7A6HpTlS?>retaNeVKHlVQHUA=3${v0d0zZ_A8CNB4<4?-prgRr$G8GP>)E} z{R2?6881Mo60C_>SaIC~-)Gai5d}@kP_(npEjXKjTDf{=6;_T5K}rMJzA6 z)c7*vUYLKiN2}2Mu>(IkK16KalLE3k0g4m{2aiL-A=bp!*Jael%IF4NGg+Mq>oFD& zqZon{@aTDklmkZ#H)5xC^XUP9F(t7J$xPv=cKH`;m8`@MlI z%8a@#KT6GWKg#j?a}D)=T&>s*8BncEqF8p?NttaXHZmQT?~b@O+>%0bdy&nbpR^yfF|;Wq&W#J8y2i4>rr+4b*#UW>V4Vy z!l_jJ=zQ2#a|{WI$j4-wXhR#Qdnz1BmHk6|9ehJYNJ+ST^S>eI8S?U2q>{`n&81-= zlp()wAy{H5RtgK?TfDE2_Eqy0T;ZgrwGaI9;2U?Hk3N4Bnya+YPu}HQ|Fk{6H-ZeA zZhNN^b@D5awoj)a$*aNIG{*D!tnocZmW$!co~Y=On^d+V5x)6*Ebd1nE4nAOVw&!d zqY)mkRVs&c*XcdH%;4+Z>fS;((I@Y5=Kursm8<727Gvo)Z5-S}>T7y{&jK_VXisu9 zF$eRR-d|+rd$XemG&DO1mRuCsYf@38d7!1maOOgcM8F+OrA!UCfc5Z@hntYXO%2%M zST_AUGUpu@D_aMW)l@~d#?hpV>+4h(6OrsvNOz1dLSLs8rGPm*@*Z(3W(wi)g>6%uQ3zyeXG?E9S(*?gpR;!k$8uH5>^ zohQ7L58{^7AAxIfY2P%g*yOt6$dKC6sSvl!B8hC+j+HDzczt0MSUFEyFg@dx2bbJR ze79=}qK5mr5L39OuLUrKd5K5Xh}F!LkhNALD?mCc9BHapWZ*t%gMG|Rzii_QOa#s@ zc$U_HG#F$_NwgXj3Wi~nF~2uysc&>@$!?y7P^flKeSUfH_`>mQ2v;P}9C9nI_aK4mPXo?j<;v7HX`om zmDQ4STX?Tb(Gz5c$lk+zppBP?I6LA}?LmEIxAwESqUm?6vYqS-z+OlD8W?~>t6r^S zoIe%vkmS((#U72Gp&0Ne{W00Pu9UjqID3oro3eLLKsD`avobFo!I>?2hvn9#ETs(cHv;> z2i%{LVxf_=LU4)h-Zikx65qG~ym)Mf6Gvw<)G>jAh@<^F2(>UI)m*h)ep6#0Api}~ z9&B3CJnjOMY-g#$Sq|%+i1O*UGLBElyD#=4l5XiZL6lqNrzebp2*X0=M*Nf|A@95I zV3Y+`-@h<{Y9Q|(d_=>h4CAiyKtplUP;(wZ%$VCyw}AZpXF-+4^6>OtE@tH8w|Sv! z0(3F(ChlbcQ?G-)^Vl1a11Qxx=aXb*+VnNDt{n_OqqqSRyE(yQE!jFoBPNqYL)GFC zLz_{H8GX+Y@zC{`3axMM@DJ}5E+W(5?^x2_hc)wult!H$GiRK^HnlPx=-kGB*7sB< z36Q`z_KD+GFNxO~xxomEcDIYm>a(~^x`=OM6kb_rx1nY#$$;ePVZf-|{1ABJ`8HmcR;SCQL4+m}X6XO=d{+QF)UKC2Lt;E_Oi>ltDI*5f~(QrXf$eBn-H<5Y3 z)8iz@r2+%BW8t=_Qv#EYbcMV^!(*@04aP6u+-ngaY)?{NaKcL6E~;~8=Eq<|{+J~l zXB3*@*jBG#KCAxWQ4_=t$A_B8CDI=Zx1}r8XK<^=m&_X4yg-5%ns_ld1IBjGHIq-H z9EEyk!YLSnOD96cT1J6DMb2*J8h>J&L%hf@T1=BBN&Ykk^M+c(cpv6nMTFDv@ zTvWY`q+(eW@q?MnDHv1;t&a{4fgb{xjE#)_4*zYKoWHU3QSMxtgkCl#J5_+yy+ajY z{blKL!mxMqapF_G%u~^4YJ_safwgD}{;<3`Qw54C$%aikzpCptT_-IA!cGROh1pF< zt$?pBvpi!V^{^PKN4!xzKYmA=sIqs;L9cE;&wXu+=G~4Ydva2xXlW^!zC4-|NBB}I z0sHj%q`exr0F-mhGhuSYVo62Zn}fC-^nB*EJU$3J%u+t&PpHqma zA2PDzb2!cXcCv#7Ycxm>G%Eg0ZqqCvtqk*$IJ)log0h3a(AcTa7IopQ{nlNw?a(S;am99;!|Q- z{xGqJ>|k<1&*%4UkH0@`Tfg{s?`ERVcAlEoF?myVBwXW|Gd*CxWdCC?%NYr&tA|+f z(S?MOYUY*1{#7%}EG}%ueyop|@dCLc^iayjzWny2^mh?yXFJds6s{B5G?ymJw2~b~ zmgMY1GM^P~gPO!Bn|Kv%2z)G8aC8spFp8P+=Fu`wmS}>x<087qKJ<7#**CYD-!R zEb7ki-WnTUG$cvZD;+&#@C`TANAjLGcL3zbCx+4J`qT(%_xjMe+aG_lfVRH>IumID z#!hIYFNHKbIBbtN!G7^V3e;bV9h}kcD{8Ncu|!~&l0$2E^s8W27}>fP`j{b4PPow~ zYU}kKI$o%(Z*|iTDdRawmSK`=OvwCng+ai;@us{)fo;gMCBQ%Y* zfOAdz!(^VKKvLExcG*Vz)9>nNpB{Z)2=~iHOTKG-*S9G&pNR@HhoV|>Go7BVY$zQ#uXQQIWlZd){%It(94SP zo^@&y%xXllA$#r`;JOKX~K$IZlhpc~8H< zi#vO)ql$jmDfD`%2fFOh34al>pG?<;W*MJ%H7bPds8A=%J`7OY!gmN|Io}!>v15wg zGal`B=#=)S?Yb2CiVnk10jL@p4AX{k;9HFb-iY#f2+ZVE?L%K9u?>9D?j}}V-#}bp z6{=I-?}OF1jSJ(-f*>hO1H{LjRQ`xW%Jx+CtcQluAKOPEKRw0^ zus`)Aq;^H`M`}4W8rr9+=o|INZa1jI#}GG!BY3TO_=2H|){@isk!E~UcmVgm1+|qW zC_WGAUGP&0qEeN4^jv!!Cbd-3ej-xSlaH1waJ)ADCZ-u(3vSUwDY~T*6&~9%%_JUFxJn{*E%38ZvtS9$VpCYD}z$OqE}MS>hqmcduO3 zrLl>LHhR&fXaPDUpUqv_4c6x;zMN5jC|Ux+Wgw#S3=Z2>KhIzC0Iid+*yQ2K9Lk*6 zw@Le3sYUD=fER=znfTr?SBW|i+8VHRO?fQEeCUCs(;^vY*OtAmpS6=?rsM_;iNs7gbk`00ns=$A{Dj1^c0Z*P|`_x**JF$;;R8h9$0-5`2Pw{yZ8pPOYhO4wVA=jp>M$T&jGs!2s zW>^#^;?V73=!W5gzUC0 zlb$>K$ePe)Re77?(o0Tnzg-BVJht!@sQZ0Wd}vezom(r&;sw#e+Z{|ie=O@gIuA%TQ38LNnHS5=A^ zGrKOf7!Rr7o)QDar%julkw-!DQDi0UoP@ui~ zP)YWmPa^B)Ix*{KW;`mgh3*1ohw5iG2c>dGT$* zU-FFfy(iVaPBnvs3G4k-zH3>_j*>Q+1uy8Fh0xlI=Zi!NTUd98#!b1z#B~bEW@O}a zjW-DVbaMN!VdLMWR=hPs88A11HNqxEI8e!?YBx?5JGh(}P@GL#!Hv-x4+dGnt6@~6 z6!>8YdcgBIU&fYEybk!CBM(FC9ED-=cdl!LXDAGhlLmQouWBnBWXhK3;mplkX~dj|f83PY9$kXE|u}Ote1pIXezX6(zQ5k=q#nJ%d|nJ2l-sgvcYy zvooTc^^yq_$9lM{Wdd-;kc85$g(S|}g*k){qETu(TEeD_K2Xc?16f@*?QiCc=qnVCu*pH*UEHIzdW|&`?5cvYTmYx${C4 z|0jY9J+hhN^i(9263r>0%p4ya>|6vss@IKn?-v>jw2Z5JpX@eWTA_}bQ)Y@qyPlIs zg0=A)p6lNYQeri83Ya#f)%;{cyG3X|y^Gi*a!q0J-EuKp6X(l%y3)VN(-@)QFD7D9 zg4J65y@dFyTssaj=wP9SQ#RgNIpc0_Y(gex-V&B0xF1X+d3u_z{Zh2}Nt@2|-h{kD zq*gxGXSke!VBp%0*Ojuvj#>2?<+Bfnw^ri{EuL8vB&VW%=rwK8;H$PC2>X5O2@-3E zjs2?)xT5oik~!K6@b|RdbCP{S7#V&xoVDhc#jP{Q{8ageCIa3PvdJGB8d^H<#X1e7 zZRUd&<{iu~!upV*=-Oz;NqFpVbJ#+WQK-S1M;x|)vyKg^^j2fSt>G7wnfEDSR!f{7Y-Q5F z>Eg~cYB7DZf^?`kTdI9XE`PxwycBQ$sn&KBe^b`Nuhc?O#^om_m42S~*JM2!6UBSh zUDA?w#_!cr)nm0Zf0qmFq0p5;)M}LWuKq;U_gnK4rp_^mq@Cr^Emj_UpVx(?1v%C5 z>$t0PHUi1KTlceS(TA!$c2=fdJZ>E^%#MZHTBcjt>!5c#Xb?o+IPysD{^s)Uo^;pr z5?ZIJJ-I5?3>}wmfS{KBykUHvzzte1PT{p&$Oft>bGF8S-WJ^KR zlRD0O=j>J+bf(^ZyjC+30dLfjAx(m`j+g;m>PEB!4K1l6ecxiQt6{T!x+{Hp+K-L0 zNw9;FvG-&Zq(*0TUnOmqj+PPTTuyV`g#2X+J29ayYMHbgg?u58xa?=H(Z-oh_zA5YD_ zy%vx~zGZS(8U$Cja3sjMy7~q2AUCAqY-sRStS;*8TXf`sM{ftFvMvFea6;eRi>l;_ zCAY1SB`9($prg_iXjOfI_tK}=rx9DZyP{S~x@`)oiY^^)`J1s=lLJGTrGXVY-sIBatR!UZ}=&+nz47=F(m zyoQfh|Gy8}za9Gi`;a{l$idF>&&hZ0|2`iMd^^(q|BtMqpU`gC$BZQI?h8HS0{0k| zD9o%>7#Sv@)J*(K%EdT08F~@-@dk4M0L`<&mw#Mjsk~U`Yq`=Qa{bvGU1Bl>Ki-7Y$Cg}d}S)8 zCwDb_f9v!G;xI}P z!GA~WPZ<6V87nKxKLG>2u@L?_(f=2Z;Em`Y268rWvUG5)%b3IuSo zu>H+#kajV$u{063Gq(W&{-Op5JDa?5BVI-R4DvRQxB6S>KY*x_gA~Zp+~R*kR9!%} z8UU`py1!MV{;9mp`jwLa0=%&n{+-3}#@hIAoBxcj>T2xrhq3YIi@#Kg7&(L9hWdXR zZ|UUhB5Gme1bB7tADV;F-*q6%U$gt)o(25z{a=|OZuiREva~Y?Flk!a3EMea{sa6O zNYm2P#lrcO9m2x?mQ4Tm!ovBMnE$uJ&cOzFyZ?7PJNuhE{=IOryb)Ob--V6sZLGH^ zJM&*}R@PSv$Lse$>YlVauK2E4WY5Bm1?hw<{tT(MWTvwWkn0p9kL ze~;XMuhutajq@Kb$y%EJ@zGnCe{pAAU*iV+Hv$Xr-?=$TPWGm*Ca?54Y7-+%Cwl;p z5y-*F44}4fadB|wVR|J2y`tt$Mh+I1CeDoZPUbW;e>91{lIvV7?d`TLo9PI3@>;N;sUl@=L$o#st-!6dN-xxD9H^-}&{sZG;f3^ERFlOK@Rq8)5 zF4ou3{Vxp2%E9qpazG&GYh?bn91AzctC|0aasB7~fUKF|7R&VyBImS{P8aE Qm1)I-KtUm{D1q>Q0FvyV6951J literal 0 HcmV?d00001 diff --git a/doc/hydroPowerPlant-timedAutomata.pdf b/doc/hydroPowerPlant-timedAutomata.pdf new file mode 100644 index 0000000000000000000000000000000000000000..8c5c5e720a3b6c36ab24b51004f918d71677477d GIT binary patch literal 16345 zcma*ObzB_F*6)o3Cund2gS)#0hv4omgS)%COK^90cL?qpTml3O?hY5S_dd@#&$;*W zzCAPDUB6mYt7=vC>iOqOA}b_9!$8XdOVV&$`3TDlpa)p%o56B(1L!1yR>lq{0G2mN z9u@!q(21B@H~{V5t`>R@Kp~)kwILAp%NJOC2RopiC9F$&q_UJX4jWR(rOH_`Pe>+~ z7lst#2?i1XVg`1fV2D7Lx+&0*&FSI%@-ayBxKzCi%~0YOH3x3zt&!0Z$`|til{1Sb zsLSE@hO7t~bZ_4w2$Vwu+nNy1);iu5s9t4WncJIP@TJGS(QxOW)K~nj!G|t-*T~n6 zv9{Yp+@N$qI!gNXfRC4KJRIahGrC*?UE3% z=Ww?q?`{*U49n-mV@Baw&_?AYA4Gf^d@w-D+r->%ettsHc${@{?sjNnz{N!tgC<&^ z{f62izU2sw|4Dv$+6rOUsHu|bULrpfqhjYW(6mPEMc!LCbQ($;o5A~X;vTY zo#gA#WF}OUMMdFq4S-?tP?(!yC5<=sQL_~&G2e3XgtrUnk9nmB!5ia2$B4O4SNM%T zWH7d}&3bS_(W@7Nh(hhDG^hUl?)Hr_l1{V$9Ueo{n+>|+1+&>ltuSf-NBG0)FTxgr zp($Nof>u8td50zQ8$}F%QSDp9;VpT%1$S;b%JU=W7L>R$imlEg@nP1`Jaro_TcsHY z9%AC?1>p}!6--z|z50JG3o2^k2l}hofbMZ5-mbW7_X*m@SVoxw9|GoGUUYwifB0iU7EF?@q=~ryu zEeu$|rYWtsG~o?iiaVF60j=1-7q5iAAX-?@9^e2Gg(>-x>>4UcE1Rk*d3hdlY=I1t zbTJ)xU5pNqStz*NejUjWW|i!Rdz+=R{V)JZJ2>D=S#@P6DKXVGJ>Z+!qjlCrIfDrM z#NDc+s}V*tBy|Oy!1yUloG8Ya@|Zv|{Tk}IN(JLUxgzt3k_xX_UR||;NMLUM(AqDE zr^)IkNy#i6iby2o*Rw<9Hkyn2vq9LYBY zCHBO46*Beba+^+He(iGV?K4|G1ROi<M7}v+n{1cSck(=3~@J+@fd)y zr_huS_9tZtyEup{IJ~7R z05|u$@OIGY(Z3Y{bb|Z<1^}Ib-rM;tiM>_)b*2-swsQD4Ya<$Z8hQZhKS}V-=Iqo805sktdH^#UBY>HS z0igBATJX*9o4GyUJqQ1la7FE`9c}(?EPwgf ze@cRHRzg50Qv;y9sKC4U_f+M9_STMe20(kjd)VavZDwq5<^S~_VE@;!{%`Mr_rU)3 z!e9U}urqMHd-+>nd|MzkrhiwM04&Tb|MBWLb_XhIt~HXJoJen;SoLTL*xU;EeUfh$ zvq0ZPewV^m3N25?7<@j(g4o*F?r8@VK$o-$eVIre#_01Xv^+dt9= zw?lezF3o3}`t&6JHN{Uy#YD9YtWT=~1VkDHDhUA91ZV>BiOg~Np-DjI|1qaC-IMOhVTSKaP) z2ABph^hMy?TZny8y>lNmg!ENjDX-17|DUD3t3-l%l9DhoB*l*0!NkR zmtn~b@^DmMl?JQ(`uuV^a`poT9RS5O*)^jidF%_qDyD#AJca*aXsq{2MNR;E0pe0; zb9Mo)%6`uQf_qez2V-Lg?(s_S;ZBB*m{mz3?bYnmI_?4?5#ZC^Rp_$T`I`End-sOU z8GPTnEe-Tc#*-BdX>kDe&Mckx*tC11_vQE40$tRr$%=R1EA#1VijKFr*o*SRXz^=> zAeIVO8}Ciri;fdm`@`@Y=$RRX56aJ`q9e(S*GEDHcO0(CSJNeLi3P})!}1pyy9?df z1=GII*3i(&0*?w`59bT@U4UpM@* z=UI0f5%@5YRE%Gd!8ui*>ZsG|{W*rd5A?ux5BI{+J36sm3+a2a5R)MycBg@#xyAV4 zd8b2w;FN(wKec}Nxet2-(VnT5zXADk>qB)5dur$Un#u!WP}*ri4U=Qd+a`pnb_LDg z_eSBa3g8$zX*lp^YCi&DZQJmC5wihV^pUPCbn<4XN+|bwMF-1x-O_#wL7+CU;6=!z zDvr@RXF+nOYs$QEB7NZ9Y6c@`AnJagNCF&PQ@7rs(yX9{?8-NA#Xm5Y+D(5rn zvxd^Oji2TOk6nO4bAsTmo&|yI_fwR&|0)RU-uo@Bw|_eb>)FQ7Lyt;t|0>JoX9y0R zL$@c;S3P)p72~}HgPTDyZ^!Yjnu75%E?+*xY>pYNGc2Ls!+67!Ti@=<9n+!QAdSIIy)N1=?(gh6~1#Rv|XKs=B@hP-=BVWgvx&NX=( zGcp!OXne4r_jsNMPK&+ZQTW)k zn(3Go4NzoT-(umcxoSu*jd>@85hn5#36~5`pf0ft;)-5hh4tuA(ZNVro`2>#*$U=#=g@H@k!TJM+oCG#v6S zN-Sz)P)u~v_84UzArT22AUTiLT^w| zIzpZa)RC^F;Zt5cNE_8{B}_XMEM$Q%E*iTP>eE!l@1rJ^qWYD9^7ank)=NDSx*cr# z@RawS5=z-w#$>_5pQ6w!-VSIOgKb$CKi&MCW`pfOL;^wlE{mi=T^482Vv`X#uYIfU zlmslEdHkYd4CmUCQo7j`=@V&D-(ygY+1-lW#%a_q#`VbOx*+Pz9xKs%L3}V~kQ~*D zGga@&o$RHSMmy5F_ypSsiNVa>wS&Gqg^GV!=fuDG(QUCfFM^`&N%s`==yQfBjsa+# z8cXdd)FntlutJkux?9y)2JZMH?SllfpVjKYkdvmL24m6X*C#G`F9L_I4D72hZ&Mpo zxF4rAqKhFRWdmZ*F3sRmym*zIP4t1g6P3lwpR06&K3}axYvfonXLD0u`M&bt)^7Q=cq%dlk- zvnr4=rGf3HW=*hi;NNCYt3*QA)eRz)cy2Gh{UHkR3TBf?1l^FYhY_ilymqbO!h~t^ z9G$GIK2r`)zhT;hqa+p3!o}Jro0oWE>x;Q4hjb}PY6Yi$gzE`0XH@N4~PU{1BFWI_1oI8_GqSI8XB{(4s3SpE+Wnh-O+ zTzA?~-umO3v2r4Nu1!ua|`ZBr<8w@bPF}tKM9bptt2Pe)KoRU#AQEn?`B&kgw8;D zyY4I%v~J$}Jip~UsjqjM)wNj{YfE<|dUu&kd)Lzo()H4`+Xx+`VLc#b#@j1wX;Hp$ zb}6h#9BGNm?hL<=Ja8Vj(`H%Hxe}(NtP~>X+u#|G;aeOu%mtZmlc*c~0|HAnlPg=i zsK`F7*+#Gsp8*{%R-g#F5~phjd?o(B&BUp}AQw%?oZ__)OP>?2MGc;DPjQY2fEa0ezm!A4V9Do-ymnF=XQ$cf#GJ1ui6rs(n_p@#m%l}&rp9bbsls=vWbej^{ zfm|J30%e4uFK58vCOpMRn8Zt!=}bY@Hm$WN%2w?`)V+%;JQ@jo%Ic2v7p@>dNZRVG zi=RkrCk9k!XVYKMsdVyF6O&ptLSzHWUjpB+CX}`W_K`Km+{&n<$DRo;aSkr?BbQ2l;Nf6b@Le~}WI=pyUAZeD{YtL$ zRh4EOT{XqzY54dj{&RASLSQ#O(Ij=g)%QR#^D3B3@0pT0k(pd2gdL^~F-(tLVZkwa z#~038Jj(>#R3jocu32*ki+Gi-HCG?1;Szzk(7Yx(6LfSl zdmc}Pc_3*Q4fLp$;}91>y)j&f z996^W6+%+_1gCmh!UOwfd7ZL>M@@)Kt*fOI>1>!o{GjZB=x5yN%WSJJ-{#n-DqO9b zjXOe%k)+k@e_w2ZeCbuo@))^3qLmmWW7fq;-m{05ER>*T)s-7#tT$~{gQv1;qFeJl zC@3bn=q~)!TF~fikLQKgKVTKZw;q3|2Q z;E1XXJ{1AbQsVbCHQoiBia_YWM1&L9H!z;pV12CVIm>8yB)T8McA+9*RR!gR_cTrn zcMvHhqBAF?66gH!nddR!AxIJf%#Lod3I4T3yty+tj#kDY8<=bkmB`7zpUV z0cTzq2__YoGeo0j?82wrcHE>nOqWTa0t+0zg--HJkwteTG283Ay^6cWfJY4@WbxLH zHA>ND!Dvk2Q+{z9ldf9vd*EROH(G=fk^Qjy zoI6=OO;24yqqjq5oLu8RpD8U1Z?A+VJY-Dik80CqJDU~QVA`4&fj*kF?1Wsz*%qdm zMHg60s^9+sE#R^57P>GqltE$tayH68i7RoU^saE62(8wstB!eoXxJpkNiHo)HNiSVK!-)T%-9Fa)y|W zFQp+`6$!s`tM2*MS%2k;E0T`KQ&WEf^{83LbZ`owEmuT4<6JnX0e&Ar1gJr}0SZLT ze;+dF?zNrcw`+_w*~7Rjut^vZO!&QPf7Psm44+H zfqQvKj&QZwS}lIe+Ce*nbU=QqzikW;@048B>gL&J&C@QW;jkk=%IGWHOtp^a^mVJV zUOC3LD;+^lMk)A?TDtIW^Xss3T+DEMH20MX)bPvbkC@Ahk)$6c3 ziF1)+BHjc2WZ;Bq8pf%^X*566gvj`LwRfA6)2mRz6d`t}*P^5(`$=61R-1I5q1ShO zK7>P@*4dIi=RX&_>k6cj#eHzUh_G#I@znF0BRrJYGVKMlPS<0%4r zvLhql`($27r){Mg6-zgS28$-JpNU}QI$NZ0|2?~MXJjD-LqK8zbtI>kBtevvSlH3O z@p)8kUUNb`N9X=V*~$oI3zPX?+bj-sy5ZMg4_8vg{qa!_a6e9=d&YF%Imy=z zze1>E3zTd5FdK-iQ02W%{OjBwr+~ZxwW#BIH9mDO{CqVfRbwTDFcE^6B9maSg-@!z z2pySdRJNi}?U31;0@kw9h$7yAi-=EKPRo04E3zxY!8qeih=40B8pWOI@EAAHOLAD0 z=;MwWge_conezmwG3_Bs!9Cc1MNTfdaf!BLpsxVY-Hzl>Ymp7ygF(6U_0s2|oGO2- z=`VOLC+JLT8QF=s*#$<5b9ECP3qnINnMKs&B5_~pvg9^P+Iw+zo?>xvdVA=UGA+O_ zPcR@6!{z6UeJ3HSBgFw6nCaB0O5Z+!Mc3nIgFXCuV!24NFcped&e&Tymi3Tl(rGpP zSVm<|hgB;wtINCpi7qra9C7=T`GnpUZae6ye1+F{1hB@FoD4LZX2>uTtbzqwHzECq zUh};@=_;Xx+(Zl@h_9<&;OV!iWq+12>i7Ev-Z?5#EyFLK#X$QyTRV z9*)6_s+P{rYB!ptNlEkai~7xzd6R>iGgKtAhC5bp+R3`-GN_acyKrJROKJU>&S*uN z<6AcJjI9ON5$hMMKJ+5Y&~0y zCq51!B`eClUI`sv>*8LN~v@_A1)$7rDZFyvAqCck9t#+-q9ob&VvLeyG2hg-^=fkP0(bmeW@fzCCz+!EK@EHWPs&kS z6h7mIV}L3e5(@jErqH>)2n2B-TZ^Kq>C|txGb<2Q>}&dh(CH8w_uZaT!POqy%Fwrg zn%@Jrzzt`L0c0LhDOIt9taHU&fr0{4mOg8y=rT2AgMn3a<&(@D6*BlK2WdL=p6Gms z2CYoDB%x_8-SQ)|Z45+3o;&8Xbhj6u5kWcvkwJIssg!{oN8xQ|_eDpoKv;AR* zXt{j(`@{K?h4gq^JgH!XPN)RSLO|@vke+MP{N(o$h>ID1|JK`pxD%JqfCjj>&F|hm zO^U5?7Tw6v+|h%phztpsQP)}eP54jr#v4;=vd_4vFWijaoLFl&Uro}9=>(F1+3R}dr1CRs%C++4RS#-X zCUF*@H?@&(H^M&=TocmM|*-P;%O(+|HkZVusTouuClr^3Dsf8ZEy!y^Haq6(!}{v00NANjMj7ukd2UXl z)6y^ZAHU#k)g2&P%b=QZln4Fl)Il;nWOzVui*AdHh;@GPMdPDwQOve$u=&~8a<{#g zEtKjL56NsdRDNse%Vo_?0C%lHWE`aKB&O{_rGFasB?5^e3XjMTIJ;kx87v|>*L4u^ zn1WZ}dz$pg+@|bHxskW|dPVA0#6%(JWw-+&a;?mc?EV$}aJo06Pyv~ZI*wEn<`y$i zSc^`rJwSXDOX-Pg$BQ+fU>K$`1ngN7j}&tYoa!Num@Wtw*)z$=5S`-F($1qz&V^P1 z0;{4#N`}Xva{gB2ftl4pkDt!(yl}Dl%Mr-Vg3vyCdI#LGpW4B#LCJIXGFk4KF0~b{ z)ju)JWL3j7eb16~j6Mj-@qcY3YL#hkFl1soj#kY}J1*ObyKVezq_Y@B@M$czio;Y> z8nYeb0k-h{2V#8pfMxx^@ zvkDrJ4sEbN%!;46X1$#CKOpOI3@crGLa*fzjvanBT?P--uOUJVK;W+StA0CUDz=Q+ zsFQ@CS4eAUKT*318W^>eTXLMnMY=NOt3LyGW8Y(R9X+&T0K}_i;{J;(Q*t@ma64Y$z zXRD9qp*7fY9;7LnfWoRgHS~qwAy`C2w52s~MQ0ra*DK%f{6>3o5o^l6aLkpF?E=q& zSOL3=b0(@=f;Grlzqh15o6EWb%PzCjaN#ex9AUQNVzMfB1d6$o6d`TSRT|=!_g!q^?btYm$@~C@M%PS^7c+b?!)Q-bQLqxn<}RZGA=`L34+* zgQYs@!6OrWBl#sfepD=}{V{F`Mhbg$TtRWO#Z2M=O$3I_;??8G=8Gp->rcT)!XlPx zPtv}TsiLioO@pH?{lgClfbk->T~Ti8q;#4Zk^TT&j&@=dfp|9{mM^bO(IWwc51mrZ zbbFBfK8E&|eAshlF(m<>gL?>QklN|RzGjG1qQ;J3ipt@fyTk7~k=jK;SOWtH}i zfS}Pi$^^B2hfM_3Q`RdfKf^w>4G+cqy%b8?iSjPvQ6G-uGyG5XuAOTBE#D(o@>Nwh z+o^K0*cZRDL3j7~VigD#O3yLUe=6|e+_U8trb#hQ=2fNDd=3yZ3u?7=-7#NQ>g$S$ zT)lU7Z3h*Ud9W#y?-p#}Da{1v_|BNir8oI{*zL#m zj$UIh@aYj*haJ>}z#Q5ax)Xfx9JgEKYtr!5VT)Crkx6b;CGgH4nX)CAu)WYayrF|y zq|3v9j-}pSJ}tY^@iACaQy%+Fq)TQ5`T}`gT!!SSz;kP;`SOzxH6wUuo8jkK9Ko%z z{2+tEshg&%Xg4)Q<7}_WYzLc@A~w08dlqDI0RnRktT>*RfT@u^wsv#B>U5JrJ`*1m z+GA>!|4}n(=<~+jv75raWj+=6dbkCWS5n%n8h?oef(ZOBI-z%Tr<~CQcYQV4Z_JK( zfJJ@T^dwayu-S^b?+{}$XI6{wq%Ptax+vDbNT5YPuWtt^NtcYqVj?9B^JK{RTlh$L)^vLx=G&)yH1|skE{GW;s-<) zKib^6;&?MfYKWg?4IE=akOF0yCnN%Ow26{)eh~3Ujt8ZdC^=muvN?Ll#Y&fTYa2-v zlwN!<=|rWLi6FA%a|ty{D|5BV?wOlfj4zd%N(8^6UxUa44QdxMk=8Jly$NPP9rMs& zANtT1Mv#a6cW91QwTQSak!4Ai8fKU4!KreBT=rs;)?G1iK*T_%bI%}_?NctI)e!FksROA zaKmKf6>iMhP^>M zMBH%NjQlI*43tFC_R*6-s;sD|A`GdvLE$_KbWsiCL=opQ@^kG{q9nGaWb$=Wm95Cc z#~K(jbZz8I_mA$CAO^KqSmWUPC`8j3!Q(}^D0T+xHodWA{kG$Go{^}l6O$U3RKEZe zmK77sg1SwmmIGf-7sA>e_v2Oi&&zdx^ayKX+i2))W&BzTVm5?NaS%;KLmnS1vm-yc zG`Y}aS_GTSVGlaLR)45>gLWHXj?3{VW4a?jIGyV?ETc}|GE#g|P0t(NH68Qcl_HtV z@4RGm;%A10f8`FXofI(XBQokvD$x~4j8a3<%IaG_;xDTCica{Xabko#C*$&?9`!kC zU~CARKD|k;#(siw6nI2UB7y!?>FLdQEL4l9RXFE6re-RKR^sNJ`n{Nsi{Ea4As7&5 zb=wrbrmP!-e0Ep`*pg-`KQ1l^$quv%jua5?*tQ#LHO}jyc5#qb=!c}@Q2I)w+Qn8i zNAIAB4vwnUd*Tkq)2iW{$QpM9reb$-H{hr&jQXT2L}(XSowbMe?<)Rr=bC&6QHwB^pU7L4jLOFUsp!PKD!(a|5fP!!BciETq4-Tdsf4 zJqOkdCXDV`3Q3jUh*canovT5r+kj}>c-4p~xx)vDPP(6c+8t1xb_OWL=Vr_N(EbI4 zT&jbDf6f3eJV^tDG+`>tD?o%2qR$nDj_?~%rDE`}jhu<333q?Vq>Ss zYg=Ce^U3M=u1qVk9|Gv%N^%WV4gv3SHLJq`xA-u3w;Bf&+MD&48)%m$sOUCV|UJ2clQ zn8>kDv}9)n$1v$E@bhBYZreFN-}bRoQo52ovwUHB^*%$s;?_#t7SGN&9Ad7qtw~Rs zRP}G`Dv`rl)i5QQ*`tBsBMDX*o@Z{KUygEGqYpq@-Dl{M133v(HjyS%uoC67cj=Cx z^8BoE9d~VFzM{02n_L4MndIQmd6;wxm30dst3pH3J(y^At&P=#>&Zxm4S8s#v5ewa zoy8e08u~CURE_1%J?NPFC%1y{{gR~3?|rR9qjW~}wsU`zG7x=`FB7OsHJ?jSg;a1C z(5=|0n_{wXtn+IOTGy|(_ zGZ{d=0Ebt}Ph^{?n{3#yf^sjiTSflV(Hz$^&6?%*Nz)XHSL0TU1{$Zkb+OIvm>pI_ z7iE%gqn#P{$8_EWjM+7>I}?fUhepE>;{~tzH+8=^J&NI@4P14UH&?`nVSP1pGdfL# zGBHwLYUU^#eq@g8j7c3rVe|~hIh&^n0*2Uht8u+9E4WWOq4QaVzBQxDt?p92pR5n`f1qP)bgd#ddUDOppjrm35n6RI3ufoXi03jMUZcGF*2sl&2@nxni%l+I zxLOITFfrw7amJrn0^^@;=FWoYWNB#+mh$v+f3h09Xe82NM_n9Fq`yEx6HO8C{+cN)lA!3+@U9K^TDLQMI zB8Z$ob+OQP4~9t(W}+5!VB8?Bz)qpn66}*$#h$23z=z2A@5Li>$Nia%G=EPF*YRWv!)) z5uvOH7JRQTzkTE`y(XcE5M6Tqh^$fG9^WGo*i)nB#k;PHjLxlJ&VoLH{sf)R>3M>DZRZ@gbyo@MnU3BSReT+X~Ic@lh zdcH$8OM8F+qtrUK(Ljv${0Sh8g{&#*TZs%v&HPVi9aR!mJZ?I7Pp8a~(Ltjd)D2ABEEB9*w>?EI`uOZVc7z*=X6 zOf?(>%tuP0CEMpcs})G{jL^f&Pni~SX!&1Dc#7LH#rFUJ}FlQ;+_Y2c|$_G zVio*7@Gron9l@u7fM`zv4Snl+a%Q(ZXsD3buaKvVG>-DO^BW~i{ZyM=@p&U zhdx(H)mWeE{h#{8Xlcysitt-idX5Rphz-%uZ-)F?j2&zjy4VF=;#)c$f= z;igVqz6whIx|7oMTtkYWq(SQEs#NLxlTK6F_E#b1vhC6(a1V=g$e{m{b4dEICEf_f zfx!*br5Pson#$dLeqR9oVeCXAcnO<7{YkKV&blD7VhTPf5rkWPi15C=ZKX3csOI_H zJkeO`Ma~@J=^=9nY7s*xhfx@f2t|JIWssdj<<>apx7b3$#C12p^KMGgd95$Ul=sBh(syEElfquQXWm7u&MngD zk4oF*eSmnVC4m&}A&+PA#GpM1$Q~kh(7vcTi}EbXn*FH%qj}9#!A6JIZgOk58$OXR ziv=HioSdJ16xQi5-DjpBxKnX>ud6bd`M%D#t;F6jfw!~CYV$9{FI)L3f`FF+-m0$*@X_ZX)Z zPb2Psgw{#^KzZyE5?y#OH>g6%KQep;7#mYc{}jz9MvScNjs*I-Tk`cg4(-0ZoLzVme=gB0Zo}E$nYG>uA)u}Y2BMA^TsO^yQDk?{>ox#E7caA@iC?3H_=%J3D2XM8#=ycg%-NqNYcoMy1zpg3%C6#2VisRt*Lbtsc6M< z*Zy*KxQ#9w7w=H)H_SX_9@-g`Dy*MZ-|!w?4)DfI5oHCrQq zks_FD=igH|UQMux_q!_(p6j-Hf_0G&hO2p`&7?eK>*8Zr&zLhEs_J4vV2&;EZk6&4 zVW`T7#$3W@>I=d^VyN>M@^$RN?xVG%8@TX%1It?ponVvL?*Ex%43& z;b?ipHdV0NL@|gHp@3MroUTmMx97YzOd>fGV$*r;z3RW&$|$x>kipax9b$9SYgiJ% zhof_k;$&nW`22Lj=^cGr+SJEANWKoAcEUgY(%&LEJm41@Qj$XZAde&5vxA*!8N`KX z{>3$L^TTm)VkL%f{U&Xi3CM5M@gAZzv`>8C9}uo_x7v@(HBHcpWnEk%I`2DOa(6JqsU!+H!qgz69kDs-#)i%8NmsITHC-u$!lkVs;ep{* zAwMnLk>|fl@wr{Q-3}$Ie=A{JRoX7?bMQWGO8X7jF{AT`rR>R;?c(+*#se(8a!O)| zUu3cy-8?mi*-Tkl(zG|+e40i&@*Z9UQ#=}Gsp|$GcU?F)YvTKURGQ|{Ao;edK_FF zX5}KL+fP9Fre2g#`qG!Nb}38!1Ez@NlPt%(AoFiO;?gsP0)ftV0(Iei{X1y(O-; zdM4^2iD`&5;}8wtX2r$7ejgP-(Qrn6fI{g--(7@GNV_LVD~O3T3%vy72zdsd?u_A@ zI=~ZJp8j;P?TkbJPMY0^T3T(XJlZxv+#er#`Kuceje3-Hi043l(UbxorJzI0dJfSN zE!YTFm4Jpt)@cY?8c7&(&~`~M-_WZ6z5zkNdP#AZRw5^+uRqszRFZNMyj;*Ote;R z_jF65Z9r}G))=hm-LCG2fsJ-|ld?3lfu~$5x~YK`s`J>;F%-d>wh4lKgIY@cPb~a{ z6M-H1JoUchCVpM}^hdi?kso2YLt?w)q16ZH4}0-dAHxt7<_0YYY>Vpyu9Zs{_L>NI zj^*?aptUAOePZ|sfSxmw8AP4Rzh7eIMq|ded(GypxXb5pTM|z3w^3T19yFoKcn_RZ zGNn<-;n9SqxPP0@p4>zrHiB=DO@L0zZ}OvxJ|Ao!hKO!s)A$M86Am4^b45fSl&W&J z)Q%y+vqIw3a_L>yC{5pb2>}m7mMUV`#19c)U}nni@dIu;xyMCV>7|EJrmQyHvy|$k zcF=+?Q$z*Wbn5ZNc{`t9rh#hD;vQvzx&x7};aBKx-*pcF7&d{F)yv|OazyxCfjP1l zcOtsU5$?>q6rWvL=+aABMw&n$wo;G!lPVi>U1n6pcY|8J+w;BIxMW6v{J;<7dSTX{PfdNG_I|!()Z%2=>#c4OZJF?b)qSi;CHr7(1-h?Y9A8j8s->Qjqh%qXB(Hn zJO{%lO{oGdu$j3&O=pe-Q8*Oq_xHzev3@qfQ*Bi8ZwV*oIBIA>`nt+5Kopwt5Xze> zT`UXw#gub!=+N#HLWkbH4%$~v;!9`Fr85?9VL-jo{7zQ4(!!7)^`MhX&E zV2b{P`gda3yh%*QHf1dA>0cWkP}r*ioGuX=9y*Y|PgE?MtwXGuwpPFDbjG}Nb-$v5 z?K<%(7}F1}&n=-3uVC$iL2|slFrlK%yn>A@%lR`CM7 zqtCiV+%8S*j*}VqD%$OXOE=XQdRMgH8Flg?yn;se)s*bnmaiK}thrLU!-!9sfPp2K zy<_#e{i2+j^UddL@oAH1-Ryh)8V*RJ-kWVz3NjkcECKk*-Bs;|mZP8Hhfn$gRG2{N zYF##39KKYpd>MYh%+dhS-g6X=Jv!2b84zH80h3Guj$YH(!?!;=lZwZsLp@p&&VD2| zQ!D&lkIN_>XsTqKF23wse~P3MK-HI6E!73K%y^<8<^fY#*S790YpmX z=Rw&+=J-}Lz#R$j_Vp0-@K3IV86zE1Fq9b~wQCHj|G3K`pGl;S}FtB|7!kT`1()bebjHX6%g>wWBogy_0FUH_niOqui&Wf@P|cvkHudu1@!EJ zf3UXyugRO***gfD=-C0782|JosrPr8f$^`={byv~z^;EiI>J_OJg}*iF@R3R)QaEA z-t-^gPe&@Ih7Kn7Z`>Or%lp&z|Nbztu>)A>|8Mp0HS_=$R_1^G{;^_ZWdpD=zQcGd zEboE&pAS1b$KN&oqy4|`n3>%^x(gPTnVd?*M09aXAm{V2-$n-Yv|J3N|8Qz%C|J2^L?OVkELt|iJWPf{_{zH3f$?{)z%q%Sb+s7M# z!}hkp{-Z4e%UiJiTVwvOwk+)QZyWf3wdG*^w=p}|>AgMcc7Nb|1yeWRd#v6uN_lJR rw?+R8(R?q9SsA^p?fb(2*-G{fdUg(fqRYU-!Nv|tLLw|90{edeqE8C+ literal 0 HcmV?d00001