From 70a48ae29363b3648f1574985c751b2415efe37a Mon Sep 17 00:00:00 2001 From: federico polidoro Date: Thu, 24 Oct 2024 11:33:40 -0300 Subject: [PATCH] tp maquina de estado Signed-off-by: federico polidoro --- Diploma/Modelo nuevo/Diagrama_nuevo.pdf | Bin 0 -> 30061 bytes Diploma/estado.gaphor | 1242 +++++++++++++++++++++++ 2 files changed, 1242 insertions(+) create mode 100644 Diploma/Modelo nuevo/Diagrama_nuevo.pdf create mode 100644 Diploma/estado.gaphor diff --git a/Diploma/Modelo nuevo/Diagrama_nuevo.pdf b/Diploma/Modelo nuevo/Diagrama_nuevo.pdf new file mode 100644 index 0000000000000000000000000000000000000000..5db03a19560f3c37a834268a79316c34bb550864 GIT binary patch literal 30061 zcmb@u1y~%-y0#k#!7aGE`wUKScY?bHcX#*T?(P!YHMj;zaCdiyU}us~*0=t>_TK+> z&Y`(_y56cTd8?+YdFn36KMIS|0~pw0$s0~8A7NRDn22l)%wf5?i5R7gtW6wEiC94< z1y~{?B1Ta&OGhJn(5I!oqmi)DCmTZ}SYBRO2S11K@ z?zwqUW%3+)8gufIh-s*GFlXPOad2&h^4qyPyrs|hd%!v(^iq6c;P_|8y_bjiQR)C6 zgpiPp;4JMJKA5Zekh}e{;)qU9IfxGMMX#O%i_3i&Bl`RgJ=o8Qu(Oi-)K4}+vDf~R zN1_SO{NJTTB=HiU_Y8p(fz_Y2v^xu28UxFR8uQw(t{ieprx879%?@t;mp#8%2g}Pg zF%IP)>aUzvy6cQqE?Su@dX?Z3mlZdl)jYI&*LKKxFH;hc+qp%PC{#HgXb6hRDx6KD8tpv1Z#M`RkW(NNfU2=Cnws2_u=@t(VDD^ zcQ&#-YvYlCa5RroIc#_OB9D3;Q{)k&&(^OdqyZyVcVY{YkkGtT;5pJT7rT?M(wsVg zEk?44r@c>qwckzprumkHw6|hiaz4u1rKQKGQu_w7;o3ZHsw;#S~~HS&Cq3UWK} zHg5vtgt{)vm^1JJXEK+h$$q47EbY4r@?$!fWHdrK98bE+180-t{k&ql0l_`%L>Gxo z+EpmHmS=N!YZ4zNa^EMT^+c--&D};pu|~iNz6K3oar40CjcSw+*%4aMJh<2>IMc@? z<~E?Lx^!r_f9_$Qm>(q@(pGCadrw9D{0xTu;cApx>O3c&jCy`zPt#vbS|ny^Mj09PS)o90IP9sN`cpaQ3n+W(fXki4Sn4oNbi|*S&rBiYA3=VGFpbzrzQQ~P~#1A z?^e(!Uv{}0?sI3j%)inPwFK5$(4H#ZHuv0B%R(RMu9t$#5u+C-IOE6YYOW%k`(7}J zXo=G{x5}0u892#`{viD7o;2Gfi=b%3vNxfNH zjE9+mcdMO0lu)Nx3h@jXxevR~&UwvulkLwL&mjfY9%bp=6|@~T7xMG1nia_?w#wZS zdhMI>!^JlAOQZFtoQY^p1a0}GNm&U92omhhUA3eOJrbmrXeWh+#hkV`R8Ekd-&z1h zd>>gbV}C^BP(f5%a?K>v?pF@j9@8`jzz*rzSeww$L)5GCrk{AJJSeq&bkWXp73*2) zN&*yqi}kl-y{>INMyICzJ}0pho}Yph&a69R8C=`tF;mTXWu*yWej#0jKk6r=3oxb!_SEoE}yEF7i0xOs3Y(_GDog%4aZ!d{w=3U}3iV z^0Mw)#F&k_dq``vXM|^mirJwTUPJ(jrk5NKEHj2r~7^tzjo&yi2@G-{H(-xQ2^lR(cjgPSSZ+A zslD~0?bmBz^rHgJPrsFQ77Qj&gf_do_$_;%_;;?X%u}Lsb@u6oBn<_S9*o5co8R{N6#|0F&Y;JOpFk|SO%`eU{ZsU0|$#w|AzUr8Q z`Q{@y`It!xR?+C#=*EjStvA5q zHR)F*X!(8hg$s#ZSNa<3^G2u4_7kj;wc(%h4(RIFjP+}p`t=E#r~qs%tiKZc3Nrsa zq5Yo1L|h%k6dgg+7ZEr2F9Ya@QJ)DEAYv2}AOa9Ee$oe>L6aIN;*T?s3Z9sn|N{JRMVGI9R9i5X-9F#Tl%We@uOvzh<^$o$vDtK?>DM8qg( zV6NzB^}E)8&cp!VU-vS~5&?e4h??0uI1;h^dHp|6&&-NU>tVZLJK%31Il#34s|SB) z|F;YOuGxQhB>?=-?*zYm@<){cL~QIVEdTbBu)+c7s5H~Cx9m0k1kCoJWR91nxROc{ z-i~J?=D&{`;*<9;V)4v-8wh6UNA*#fm~5UVOe04;aEMX>#|;_)DH)JMBD|x???3CW zthw)!Gc6`RV0(Gn0aH}3*@Sga`wECJR9+r1bwjc75Y@d_?y2Gwqe5XSua?4xQldP+i5w#_#t@IgQVu>3E zlL@LOPYJsY|Epo&7V+xNA|LRJ3FI??%gg2HX>MtdnAiFx zVvyD`-pLDDH{3O6vt|K()Wq@?f0IM(6*g8}db$>C&2Rbe^DDAG3moO4>8!W;`h<7{ zXzm+)eBZ*eN-!a#;x9>60`V!rkq%sL5M92!$@`}NQ)^Z;&s`fNP2iExd7(C4ihWV?B5IQZS1lBg;wC||j zNlFUv#W7z)W@+j%QVr32Rx2@Hm790xQe)GX9wa1*JY^|Gf1n@Rl8_=?$6Loa!8=Ji z&N!yI9djOc7V&BX;t<5F@s(pbNe#LBa^iD!L>G}k$>`KM z8z^sQgq{%I?+Y;*9A>DMs!?07@(we$-)+Fz+|;O6p%psH_rG1#mipk+D`Samhm6$1 zjzTuB`*Dj}=); zz-cGm8FZEKXbJOvzS{=aTXfnncw`ZZ?l&9HbwFlEck4qA(}kzyeAV(Ykp>Q0o%|q{ z0GxfM8fP=dQ`Fi7OwF3jRe6%ErRd!$H1pzs{@9zEGIF@qYaqT`!y%rqXa{_ls{+oD zdijs82^=;Jxyj`2?og4if=Fqc&6#HS5c$iCQFeyGozXe_JDF<{FPeaoCp}(ZaxO3# z)7g(geS6}-R)92914*q5pE%hvt) z&!3s*0;^Q&(d{=Ia}sQB6| zcb5U}%R&yEA{x1;R$-cO+Dr6$gn|uS>wu~Em&!e22;wH29XwVso=nR{0R*;|b0^^gqq;OO|>i~KH{ z`tqFvpXtN3yLfzj2=aV)Q=B1?FV1)e5|@R_u`1Uu1ztjQIFu&gWELf4S$^J&Id0et!uR?b`YNVp{P}5Vh6~6WId-ON*t6c|I+6?Oo(-XOM z@Z0m(1lRQU0Qc~>fn0^>>h08e?dS}B70|8mNn$+o`JuX{d!~7`c3OVdbf5NITc#+J zUDB=3GHtb^UWReiN~cu?U+e}(VO8boxLB}Ie!zXP+3ZD|&RfKmX7^G`Nbi288Secx zW%nc8bD3#R$>Z$US!~kCLU6i6-q-! z5B1IIo>0q}4<9KHx7yxML}GN*6yyK zBiiZY;bO7FKCXzb1dF-7tJ+vuGS%G2YuXgnJfaM2Q%A$Udk|-H#WsmcmejK1|DjKI zo~MW;!Oy$Hg^02fvA=WcwPc&CG+V@Z;ChdHx-hAIKSPbpQj2FpHw+C%tr{jCUznmq zT9J5IxNFT3VT-ZBj8IA1%-N0W`bI&lP&{u`+a~QE#vH8f#>TZ+xeA-4dxa0Xu+4MoJ-l^Mi{jdda?E!P`p`(BW z(=w%HydbWn7dwSm(3Zw;4YUr9Jm8IP%jS&UCcFE7b6MJnjU-|+SLFU7g5a`EyHj>2 zZ%3bRpf@JU2`ZXN>ibi|w&Q$5bzCWgn?VJ~1?t5Ys=SbWRNN8;^_!i`wbj;_;Ym)O zSF%I~Jmz4w$puG(6)w{p4o>HY{iiEsVoM+-?t$#LQBigBShOFMabGN|;~}qL9tV`R z#5LbXI3h}j5Gc1zEnhS&KfjF^YaXQNWnabYq-;iAsZLr|*HCV79KPI<`Y4m%FK|(M zpUA;K*i);Di=(3qN4}X7N{W{sQ1Vv)qpCD>uDbE3%G|-MP~lM3!5f{-sPuM7RE;wE z6Db`?wD4{?cxj#d&j9FDEHhyBo>Sbg>12MYqQSI4-16$C7;hWAJ7|P7cPtgPS*owy z+_A&WeVpmCP>|s)8ZJsHO;egO7izGpF>5eOKd=g9hR#kiY$IOTXAgmQ!F{`XVF^!Y zfn`D$L~RLtZM0_i*1K&H#bB-@o%H>zj@&aamEBDnUaqd6j73AcdJSbNj!$vl_ zzQ*j62NgiITI$@4K9q>DFM8r|iY%qxBowYp=TrxyIS!irjK$c*ilcC;4?3e#98-A- z8}91OGLOCVYE!P!KTi>gNB&S{iI;?SJ`^+Kg(y}}=$OdrmQO%T zBtm*(LOD7(g!lHFCC1D?GN?z{E3Jl~_$(z>sM5ZrxsBS6nZ+QJoFw72jk+kj#vcXa z7ROdo;!SZC!=;T+OFpNx5aaN}EJ3V>BHCoQuGM>+Vk-9Nqj0`uF%1A^^Gwg0U|Mc+ z0ic7` z7xvTs8WtalCeoES~1*UFE_MjgV$qF&<0YpQ@Yern~Mh;#Hb1i;RRvrnQ-D;{z>+ zL?`YX`?kAq(&0Pn$6Qu00o*35$EzC zBr@-N|Kr&TQh<((q`WT0EylPF@r|0Z%b9W@l);D)BWWFL3H>xydenFYxRhoxtD7LAxK~xtU`{>EUY(%PCrO_BBa#zDvTSnCSGa z9hNB)4p{(9F^@QSjr3*@SAKd@?wH~u|J%jpY`nfjv5}fv^ZWy>UO#uHus1SORMr); zGlysu&SnkqT$9lbhto_ANG$3{OAU*n6$P+^RyaksU_J(^!w%wgrYvxr(paohWWaZ3 zhtPW30rh0&BksNY8k?b4R9_>C9L;Bc1+kF_J7& zupv#Dt31bn0~!op_ih&-yz>+R2CS(QXVgZyTlLe%D8w?_xhfbt#M7R@ybpJ}qs#7&s>rF7t{zK?s$?u*-yQmfqU(!ti!s6Oygto%%39nCLQH)ur0*?jd?pzVW*-#0r& zFT^*wN%LV8yirr%Bak&G2M6V2wA7(jHA1=-%zRk#S{kAzgr)ZZ(Hh-)VJqY{zTs$ z@Feo}N0<_{>T8ck&r;tr)}FY2f=)89aGq)^uxRD(d~h0!+g&)1UVn&ha$PQ{=lEdJ z&?%I9r*zEOxWSy@2Kp)5)|++j64G1$CDYNC_2zg>~1~lE|3V=Ge8P13g2}3o(;=7NMDHFGX*YKLrP>uK+kC zMX&D@3ojAG!!tfNAHpS4-3tZW*_rPPD;=Zdt{dV|cy%@Q&mFc)Z*Y6N*JaTmfY6%Z z{*(vPS-kJ+IPw_}mV09F%Fd)>m$vMXth{R@QY|?0r9iYa8h;f5?~oEvfSRi)xIY`T zs9G18H|o9Tx{Qm14fGGIVeS=#gNl9TSwQr=AIm}96|l>$C2hzG?+U2ad#1EtY)Qtj z!NoYqX!S62h$^9DM!Ss@Tj;SZLsFF?EfDI~L&?E*naDO~;Y4U{q((qWcdr z)<2X$7B&vfzlAKee@JY9DQbV~c>n9-mbUz`bpR7`$0O}-3IPd`zC2l=QXwXyw$dUJ z(Je=fQiRbrzprQWsD%nhOcTs!V`-U>$*XB^7DBRje8K8#Mz(-eIwV@>=3l4~b0XmH zRDX_|Ig*fGRMUeMuO6z`(;H@^Y5A||-F?}GC?Wv=JmIfRAEMaaFE8US8e?9RP+ zsGyjoNe>)G)@9Ze&9kY9@FziXbqv{qpwhfnrqwvIOTf2f)uldQfK zNDx&MlakhurWH0a*H>{;)VFq^7qqc7{5z4TzLlA!8xhqX@kGB8Q2!BWsc+&y#0>m9 zrJ$gVE0HDqW&NK^GhZcGS#>L z%MH@{e}(~oKN|G!o+kqQt!6WdSc4XN&8$s`7*)-z1*{#+{xbY7Ue(Od(bNIt&0o6q z|F?skotc3X$jZ*~OAG(&-~ci)a4<3byYa6`kPgqz#J~jLWMu{rv4c_q0W2IWzg+s? z9UwUxlpW}?@T+~SoInOpp)AZCMC<@o22fGVAPt<2or3`g1hTRIdS3iGm|6Z#_FsbR z0009gfQ5+-bRP#hs44(sD(PQ$umTu3SXo&> zqwx2z1NFF#vbEW-b#>4h2I#hb4vgQ~{`GD7^YI1zRnULGHvdl@9smHa0{=~jKXG^S zL{q*!>$qFi)YhKSbZV_*Tp`Ou1}8&>M&>sqB?<@X<97*w2l_@xBEM(S%YzSuMua7! zBN2`W^~H+qh9G4S#sJI2?urE?WFXpN24eegj0bM-W**8So4AeYo?Y=~tM;Fid6XYA zm^@^iwfKRQc+nAP%!%X;?zTS~K zz(@>mEiga6kc&i}*{`^MO^)f)ok(Tvn7l=QPKinIo}V>AWSei&%<6Xs%qs43pPz5S z&D4aPJHMShI?ZNx;L<xkfaCP!^^zAYr_Pz!lcjeXd|(D$VI)XZ z1Kysn?M@Dolb5L&e;*(xC*L)5H$b_IORV?zP;sZtJ3`PQEMcB?l$pLR;DE!%E#{&t zD;}M!teh3im^bRp42OzxdT@`I^7a|Kd1iG{vYsumi>G54Y!X$fB)|U9GU^>CdN95I z_Clkbz~;#8q|#}wZ3$8h%Jl6u7~6`NCrgmiOzYta36Ljs)jC!iwT+_i@y9c@8Er%2 zPst_8wo=TIlssy#`7T66TYoqMB8*Lvw&V(Xgo&&ZZR<8MzZRohN(5k*bj0`yMD z{mPn$_{Xc%A<;Ld9l!pti#BKRUnSg&wK)rP>x{LV#!BV5UOdeU~DLW{#Y<4Ir|C6M2*G zj~ae-T%uw1RN#J0G;ecRqA_tV->`admx6F|cAdVA74&1wa^$pH`l6!0&>8LGWSfEI zK7GTIfmVQBV|Zkq`Acx=F27239=odnLa}516zibyqiIO!HiN@6On97y4ub$7qU=v2l*fJ2Fgteb$ziy3P;L#(&m&ITDNR%z9nkZ_~|Kq~I&!DFNz3O)R9xUhEu9 z=^7gz%Sz-1lmxVzy>7?QXYgx^W9)?{7C@~?lA9!M+r5O*l)T%7nVWQ}onT8V>wnN1 zT|Aq9Zz%nZ`CFVPcu_ri-BaTtQeVr8{rzcUXVGz5%@!#)Cs~_o!is%oJe}AA80B|% zqY!-K8xeuj9&_G+kOXe^)$0ptDi6%hl+XTvnw!3jQp`gfG5i&1`HYfd+1?5y8E8&t z=aRb7Iox!u$hlfX46-D06-w~1VSbtIlpp%Ue31pje#B(C=Xzq=+OKm-S(cP1l*yg5 z&c}sLN6sf2O{e4>L#NMTQj66gq6cJHK(gb(*(x#b~ zIbqF}alra5VkF{NiI7K0^L96Yyg-<`A)%~rR-r>-p;9ldetTpi%r2h93py zMW4`PkYN+j9tX@GmLD`H5f+jPIAU4ChX__2tMloFW0jfwXk!}eT~^9;+{UfZ1uDK? zcsi(Ex3vqBYT=ywp7>VkL8aCz>w_O7s)vWCu2vgug9l>Q$V&@sUXQoEtY5Z8Z&veC z$Ers&dWkcH5Dw*#j*t$mWG%evT_WoktUtlqwVg#YQkx$$Df%od6t#0*yIfQLgrlaR z!!j4d4GT=o?PtMm_Q&xUrnCBb@TxIP{bSX;Y`fv*=7z3LNZZnK!*PM=HOi#-x<{J> z*F9X$#Vx?n5G|<74srKhU7$@0LZp)lxj#>xN?%NrQic1~6!^T&efb#~O5vNbG zNrRt>ky1WwQ`xFAyyETm%9`RjSF3M%`gcrEoZfG5YY41NoEtLrc_3^))Gf6yjJfAz zOy2dmUUxtzOj&f}m79af0DJ?OI6}CCP#JA)3TG6}e6;oi!FnY(N$~~4KW_}^MPt}( z5n~%T^26!{x(e=g9f{*Ex9mQUVuT|`AxpDx3a;kAS3(wer`Uzkql*+SJO~@}2BBI> zTv36()Vypac|PP;zjvRBO^i<1Q5&sBQr&2wz_ON%*xR5wI!rt`izOh9_C~~DU#u9e z4U5~!V>oAOZ;hbE{h}Xf-%e5^xk-7*DKYU#O=x>6dYH4m-dt2Oh~w^pQV!pM&!$bK z)AIpVaeT-0!v|sJ%i=+#yweXt(zP{T z46kBbeAvhINyr{4cX(A$`Efl-i?E|9*?I3P>gBVREj;$<^_ai|bWl-{9(V}Y;~O1$ zTA9=@C-AT}Q*exSxy9?qFt1#K7(eS{tABTm74k9j90)KC(5O6UcJ1R%UIKgzSYHTz ztrbeMZskQb11saPcrDj4C&@B%%o+ll4)=}=&{-PI2{-+$1u*Z{w8>nO*I{TJzME}S zR*hJ#eMb7CM~{!Tt3*z9MG%UO0}~Uhry(6jVB{2&oS)zxvZ0ykNY%-UEu@qXDJ;OU z8IlE2W@1XCv07TU-z91aj7+X-(qY%0cN*hYWNDcRP=`_ftS+J6N#~=I+-=q!sAs@L zy$|;@K>HH)67?$n((B>niQ&Pl-;5Sz1a&li#B1jTT{}y*T-HKX>iDVtDt{aa76mR2 z*7M!VX5VIkfo{!Lx*EFDZ>qb|S?+LgtD=w2{z($N&-&9%+ksRlA3V*@wyxOb=4KGA z)f(;$mk>sD7S(KRpT6`ezLcll(9opTtUvi(w=EK^X|p`9;M;U;F=(&U?VZ-wt0>Af zTz*i=YyO;hjlh*CW0>D-O}wrm9=L0(ji-#OZ%;N>Ae?WWnd=eHs4tE58OA6{1bz3W zIX_NOUDn1$SEcsy^A2rUISsp|(z5QbfNIqUm}+OP7+;$(Zn|wd4xWvUX?sD=ltGk9 zuCU7$bmF?}{xSPwe!XZljpSUwMO}}v*rw9w&_d7AWJ#E5e#SOlUaLoNYdj<7 zi{8VHR%_19MHP5v$6tEBt~bZWFzfOoT98k?`=lHI_O>@q<8nG#;%z&fQWseyOCS9PCmq}=IF8~SW+OQ)of<%CB-gyP zs&nnGoP|4b5g@|TJVnQhA*J3v)nji&fBR-dl8T*Cyc1oZk%k0mfs-8EnVM0ZijeOnWTTe1+Cn6@u zwe)*wA&%K)4b|AZhk60anEeVPGnbk+kt~d9ici5mX#twFli#?VN~zF|G|8R0S5Ry4-*I|I`F-KrKGz|U zI{7p<1GQ9(XDs_6?%l)3z!`3GBx2eU$O@tQHY)+KNx)|rCCa5sd=X1F={;s)KLtJN zk8l-18o8aJ+=5c`25NnT7*Yx3Nh0Pot@A48v`$|PcdB6>R?%lEZyKT^J=?aF2YE6% zt*OQueryvLoBE_Z7Cty=sE9v+i1siC_T{HEbq!!(d12~upX2uM`+_?;fY;X7!RsPf z=`~&CUE-#+xQnm+j{Q@OV}Xu%E+oW~hz6~Z-T`dP#Fosclg1P&Y|I-zqsFT*>};P- zwIa$`2iBO&X02X?Q~2CnuX-ZDrz4Q^%}{6qWepZt+r{Ib$|HSr~y&j zU>FDM_~G{sw)jlSI+pV*-~Bwt8i;9@df?YA%h4d-_UJT=MGRcTUe}nt&p9ad5HrN4 zszQ!amEStzKhtGLzyFk2ljP}?;ndD1kSzgwK*xq@e9>Z137oskacbpVVw^cHwyo$^y6_T(R09eEcS2b8_s4lafT5D0SL^V zff02x-@-ly7z-L&=efqW2XsueSGkK&MFpZJ`tqfdwy-;3wd(LT7>z2{67qNlC@gpj zc@qJbcr{cz?N`Pb89jfBEHOBo!G8*AaoH^>4{%XaGG+}`WOj^1F7CBODPE~w`0Qpk z|J~FIGR-neyQwvlVPu0oWOdzs-YN~9UfIdM`1G(|metV3eQ!6-jc`%b0=}X<2*zCz zs_I29iK;Vlgw3j2omf!$i(d3}-Z6tmEzcmY;A0EhB5yyJNP2nV(&+KgiFKbqxxY%$ z2S*dM8z833XR5J$56hY;H4_|(T%Vq-^&BOWW76M7) zIz*1GxJ|V|6|I!$X~~(NNrMO_9jnUg73ag4ip96rnbh#c5h>8`p_;mX!vlXpNd?zKsE%VV2$5!>9 z(!W_*6YX95<1?yQyI%AoBr?uQEC9XEQUFT>FSq=sFNK7Sjo!_UKGyhcC-?o~gVEaU z_mNM6-kCA??swKU9bOaPu(33J?H7FpzO7{18PX2CN2nWdoZ+Xi0H77bZ{V8{yJm&u zARrj#E5A>mEo&jo4{5@SWV+Qk4b*wDqGSin>CX)5*t5lUMWwNHk%i&#P9(i0r3`xE zeW+gqpG37M%KAia-t9KRmiIVL(rFV%x}alA29uknzkSyTtL7(vMQv1J1ZP=)9Gu)I zF#4DjP0z>A{M421c0Bz+!H-=ePfjX~S7zd8vv^yh%i4rruF73;_nmR6vgyQV*eW}3 zwNd{m3?&3mEJ^aNJG=j&V7UkNOQ_@*ZknD0);N@{ErWcLjx6XV{Y_uxhQKYf&og=G z+2swS+Zp&A)lNANODU0(W3V_}GpW{7CjpPVx?o{4M3iZ%a%VfC%qEnA8aCNenn=Pl=HnCVl!F@>?Y-_KQ6s(+YRQmo8a>e5 zei^feTro}>bG*iAU8xsKerRIp(+W=WWOV%iU}`#?Bw}Tm4DE)_aYX1wulsK9Ta<=$ z39Uv$%^h_)m>7&r-8H%^J0ru7+9Wzf*nm%B*BR4zl`%b>fl++e_jLAN zL3$RsJg7_>j5fLeU`dkMcWJdRVF~aGqz?+YCxO@8aYU!Bvoc7}4HF|)Q!8DIVDtT9 zfN+TeHxx%pcZXEISX9A9iDw0^6inY@A^1s(Da_0|JYfV+ zKT9XoSqMMEfn(rwiZ6TuJJTtx(x83YAEWYIw{w3O1w_%RXsdr_I0}4iZVk!ZMl&4 z^JNFdA;`3vjZ_mh@yv^IdLt=X-Gnjr#g}ig^ZtN|#WV8}Zs!}!8{U)UxJcV)(EyL}o&e(@&iK|X|%*l_oZ_dtKradKze!Q!4&di@Uwxq>p_p>fS znuI#o-ROPcsNnae@?m@>;)4%#{KV=zh%&h*7Oo6rn?@x8dHg!F?iNc%&xX)B)H=dBw>x4p5D zp%1DKxEq!%I;h|CeL2Lb&5F179a~d)MdxbrkMkI3l6Q{ImX6MTtXjYDq$^F;)W6AQ zJaQ%Qn{cqmWn%(Iz8hk-OTzVDuvC zC$3T36l|z0z?JBJN=2qUi25p@J9{1F(xwLpZOc!(wlUuCzA4Ar;8=ySEyQRqLZKZ0 zfU}d}%jyRVBXZ6|=9`TJNWQ*qWh15u9S%uwuaUP6tF)q8h|F^nYL+c{*ZR}-C6Qi} zRp{|lTTz-(n4FK<+oL!;2#Uq&%u5crbq_glW#M)4+LwmxlBl5arV*}xa>M^R0s{0s z!T84D?!m*h`K8f5)NJ=Wev6z>5bT@dZKZ4eXG{u}Anrq=Inr`r=q!-*G1W<~v9Bhcrwz zW4*PrblM&OQguyp9?1`1qu9+JR)ied9B>nJUKyfddQvwE?`R&iq>VC|R47hEhSkIv zFGIcqFl9sfTQrTTAF59XUzbPt23e~LS^`u;Hvt#&5#7~7D*hU7}0jI$4S$ciqxeKdT?vok1zKid?8p#7`hE*$$p z$X&>{y%Df$zlLpy*->Kbif0;XKQe{z!r*6=rImSAM&Pg~qtXwdGlJTTzDrhY171~? z_|H%9ocdAJWkddx93QHm-z-ohA!F)>uF>^!exX=O(7ERxi4e;D1f8^LoBLIWcqXSJ z-`|aot{fTKOO0T_{>{UVwpyAziJGdFTJR@<@Y-1t{xcF`xo)QT=pB5)&f zy}X&Bv*QTRSMyD9k3bAml<&BsI`D5etjWAFBhQ4l>QV}!Z&N7xH?SYux8%=voQ3-3UG!kb7%^a%7$nRX*+T(Tqo;M7x0~zJdLQuM zFV`T~eFNvp^}YtqkxfgwD))2>y7q&4+(GoM3eMLp(cePoHR0+ENPJxeZzF3b(=QIh zT=_`45rmI;A;@-Y+jSN6F|tZYwc8m4Mbv$^LdmM@o;CT@H!JAs94^I;`&Lt{T0KAp zg-vClUlc~!xuh?erd+SrJ!F0oefEQ%HXQfWb^0bYj9gVFO_n!m7Q>c>4=S=nanB;r ztIV6MxN2i3xf;=)!>n^MhO6PFT!Tag8t!Vz5PM51#=u0X(nK&d{jMrgnRJ6gf!>ByIc)i5)=5?qX!dU z?GP?N&}@~XxV#(e_x9L8uX+XM?eV0pU}d1U7f+rp-1W&8iWko$r5L7{R!qLonee_* z$Z_@oiDu7)oND@BKX@8-Y#=SKs1ijTnNVLg!h$_(f!1_D=n*;0pGz?^In~?f9 z1(1%hhk?F`)F^S}j&}Zpa|bQ~RmgD~MDLSh)SzLUL&abQq(UwH=D9<=B_jg&1w#cT zL?lA{qDek=(RPy(3;N^g+Db9mR)`WbC;8PO=15Iy=_TfDT9iSA zLnR1)!_xB4f9DFODPWLb4>S9=1TGXpLkv!pTZH*Vmt*Ml1m;ODI`9=Ny5>Xje??k; zue|?>w6Jq>0RDoEfdAab_tz@@zqalDZ#(F<6-TYNnBd!wXdNw)g7DR&F_^&7PRK)? zG1FI&s>!)nCx?PJ@hRtP zSWFt2xyI}s-Q!KTk;=`>?p@m~9eKCS z7=2&5<)qDbAni6)v3TZ`SDNI3JA1bw-TMBbmw4vNt&K-%fp6e!Npf-M5iw~qZod{W zb|glw;Ai8?k$2i{nElVQZ(QO7)ZXwSHx$a|OS2#C;FeYJxVl+ORzGyJPPYrJGTnA% zamuZ81A=GkX8k{4BCy0w+5A_Get~&)NhjVVIw^6aFTb)T~78?t-CgJMpS&0Ix z;smVpbH_Oqe#v_lQm&D%YhUk}b)-tmsR@IQ$!xYV4j$XolM|IMAK~1g7V7`Q$oSRU ze~t_m5FGU922bF>HlqF$?D=nDClPTuQE{n%z)rtuo8REj{|n9uG+gOfKqLx)os*de z0AvRK|G_zdviV)9|0~YvkFBu(+VJ|H*{?tH`(HSx|Hd`{J>mrX7y9)te-r)gkw4&> zzlf&)1#w~qurqM51DH7fAdEPeK|xLs;PVSO{NrHeWMTj?v;AU#{&5M~8~m@N|Hy=y z4a7DvbN-81Vq<1w05XH{q(2a%zjFQc$qb766Eym_?Ea4c69_|MVPN`=GJ!7H7?_w@ z0U(lzjS~blu>b)e?&%-M6bON0XJz<}PXR%876wix;4emri3rFE3V@P>u()5Pv$C=? z0D!+5`#T6Kg^Bqupa~QJCFb~*J0}qvGYbPd2%Y-dC!8D{Aj5A!>z~c}qRTir*?#psGYA`F;`rTd z|Hy-t6ZBtHI6)8?D-p*($H_nJtiZoL{9kyl-xJ3_c`x9vZumcWumAgf*DOFLj(@|w zR#e>_6GTv|UJj2^zp=+NG7oR3NCQnMU?|9liD6KQ#sxV9KlavGpg=L*Hh>JR$B=_TuD&ulFX0pOlEh{Owke?!DnC%bQhLBITL!tOKTR%|F1A_21~7I87bB&9=TT z!{@(aQ>QP_#`)r5wf;Cfy(Y$X*$1=rWR9W9j~Ydx-Ytw$!d}nWS4GKdWT3aJB?X2n z=!tu=TRLSv2v#Dx`6}rtsJFa)aA_&yvdKrW3V4o%nIe3&6l3<)DS9aOg>cGKuiOG5 zu^Qsn*xS+kSMS5ud&#hCmnNL9-)yx+IpA{wD2j)-SU8Uin_1shH1WP4)417f5Mx>K z_3OBTB^>`6$WnB16U8E4#yes?CA$AHUwGlTkwnC%ZuA>o8<~C*%sh%)(x6S5#GIyb z+h~zm1N;}Q8GBXtF+u=^~oCcFBdnOb4!t%>093~Rx@hfqif{<45D5wKQX7( zh9bfGG}F1Glc{=f*a2x%pn5~$VWrbHx8am@D4D3>Rhr9Et3)ru(C`OHF%n9nov2V) z1ymAIDODa;Zlv)@%pbv?e3#(Ms|PI%IZX{v{N`7{Z{LMc4TT40@)7g@DejtsE8Vty z$LQF$ZQJIFZQJhHR>wwnC+Qg7v2EM7oyooLUCn({GjD3D=D)A@uCxDG`#bBLwSHKD zfX7@y3`{_vWXEuv(5%2q zs7YyidoLY7UV0Uq*3hJ^A!jx*;p;x1_eg%r!Dg{Jx(GB(=BN|X)?IX)aEql|<}5TA zdgZkS9)cDkUn5=gLRC%P^C-7y`p)J@ONX*u19S(Q#Z_JTotSoO{Bi7akMNTM5P|qr zxxPPat6@ui3J$39Uc7E{FY!gKO0D9;3GUpJ^LBc( zn_IYFUdvU1?wni|$ciB*X|JS8QBwC!aVs@zo0*_N6gL^Y*pKB@-X!wbn3Srs^+1o! z<6B;=k^Nabh=>Q(3s3SefKg^b@+y=xR-(7uEg^`ij5zdimfAM;B@dSa=6T)s*_2FU z*=^U4?E709+Q5k5355tVViH)mbJ*9t6a$3`1PRzMk3?DEG!^bMxf8-p&z`a^11-IE zi@G^K1_4HuBnnC>xFV$&lJg_cbby~}%+Y&`+>5fhz{cJj=L|yJQEF{1SYpRnYi&gY zQ8V0>M#)NuMF|*(*U5{lBQA2bPX8&X_6I6qbbSOdwSAY zCvSVCLt#D5TSx;~S;Nq@M4zI};A@y>k7!Q3x|%KQVyQpBK5V@;7aOsQ!yIwjD^@Ng zHtd~U#;!CyuTV>V^}jpHN$!!69PrY!hyA$c3z_A`y~Bq&sb5KtYn_p15bbLu;)Al3 zq?A)h^_2|wvr3L>V%+5k;Kq5hfOsl;j+-KwjJ~LS8VrwX2Nxf^=jL1Qw^f{Cm-Mp` zKp57-i3F5UApt49S}_6-zeo=;Oaq*xtSr3W9l#*5u|++oJ6REamig(U+Gkz*dg57_ zoLV~BNq5$Z^!Dk5*G+uRg*iG_-<_PN`8wu<efJLEe5 zcoHfepe$=p?7rRVz6H&LM(2t6!+r-8&Rb5MtgMYEl=`ZTvXEZv)0n>T#=Fo9eEKMF zZDU$%<|QeYr4`T2LrK?5a$3L9PG3WqGo=S|vpC=Sy5}6UUDJiKn4KyvcQC%AgzI30 z+Yp$9*{b;Qj@=sYhbZknU4P+osDZs2(-HIN)Hd;y1?v=VX+9AAb}sWot!=obXjsyp zdE-QNl}M%rq?4GPigv!~IU!f}*~wEw2KdAADAncq5TCJIgYD9?8oep?s;lKS@T`N} zDupVD?dJ4DV4iub0#ua1`QiK4nVQ8NKMl|{Hw?^Y<&-><9)}E!1Er>Qk68_CmS~f& z1i@LPIwuk(m5MQQFB-sP$6IY9Un)gJZW5=fzL3& zwF+eWEC^5aX+D+ZS|tg?m@BG0p=5gP5LvAt+c_EfPIaQ^OR z2nEi(vKV|2?(AS_T?kvePlRrLQs%&(@>1gaT>HqXC+W#sFV`bk(hbETcSW(Qu>|B& za+g#MlF_ZBv7ow48$BG)=R$~Y3hTi{&+V~i_`P?atyW!EXguWSW$kTH-s0;^z-yk$ zJ9bds$~{wdEay|eYv%3B+ZiETo;KXg*sR>aB(`JRVisF& z6dYscvJb?|$hke=Mc|W-koU5G;bPXyi8z`SyK*tr#*Vg9~oCy;nMIw1Nn1x1=^K5Pzx6FIcTB71=_ zQ`A@$(k$UshI*8MsQ?Hc@!pUR^QXM1F%)E=>?X*QH?ze zW=xdw{fz~ z;vl=mS{^a@HQ__`hAHi*gu}y?=fh0H1R5b=XM~ROn6A=l9u1%}^2+W%A}pYbu_hAp z9p&kYOZQzdo0g*Jh`9=QmNA7OlpBfBPoT{22I`H2m+~1jI!JKI9*nJ=5gXWyh`x|L zP7pD4#9jbz8OFbYtXGk-e8UjtVjRJc<(d#RM=~#T!2lCO48P2k5~1zt2W5er{s?e} zR!dhb$sHxP5-z`$dFB~VOoHGmLX7X5%;u8-NK;IB7$F{YES zp_f=%3HdMT`9I0Ym^fJ3elO_%g`AA(-;k3j{Iu<2fLXpl#hD_E%j!KL!l0P!5ymfF zf{!B|L{*RmriFifnskf<#_i^gXzudAoaA-uFpE1wk&VU7gio=L`G^?=B#tlQ1AHXg z>ROa8NlvJ-{N1Vd%SSrsA_3oX`_bCYje%aEGtdwH?9~!{QTF#guAkJ}3aaEbVjJfDz)I4rXSsb6rJg`{wAhDrX;QjYcG=bqX-F1@dWMqEwd2 z_}Z+;W#qE(F9Q3U)ahNO@?Jdt9@l@}8Tg}c|Gg3N4^^0kki5F0!k-!?zpBFI4XrI4 zT>hbu`rkH9*x25U2RMEahjDVetGeEMDE}AYFs48BVE>&s?AH?T&o$vMZGqoP!hcg7 z_CE;If89V~Wcxknf7}BB)Bl4;?C(8~@+T$N-)s2)tl47v z^M(Dh8_fL6DgQIg76&K$UnN^R8b0a(lSRMmJ-)FtPP5U>hagM=e*@EdNO2exP@Oa> zSRhm|SVWZIb7EL25PwldWo4@w7A5AQ*qG{v>8jD5TwAJ%G z%D0^AbEaIi>$6Iez6iJ^c|+)H>#DLl7@V=vv}555+=}F=&{EW@3mXq`gACX4-N;hJNl|zX1G4dxPA)QeVd;Fne8% z`_Z`v4eydf87R+@Wf2)@@?xB#C>hq&0XY?*j0F)BLu^6>(}?iO?6aej1{1TTnv)9a z=la*H7bEBhY1n5waO$_EX3)cMayD}2uz)#XLHsD$>v5*VaGQzZNAMH>kD5TdSCp)i zhCd#M1Uttp@h$P&%5bfpEs*7(>iuo=Rq&g`owOM4b2{bn(j-XYd62H-H97O!IlEN% zQ~apVJkytJ5{z>siE_D!+mDo67@;I*ud*PF%tig|#;=RcaMuLag!C$6)vnFVmb4ex zGAruNy!~=ixZi?rA{nz>29i|A*Gu0Gk*qXm%NS;*>Kx0z%&HxImt8)bKU_YVKdQBM zvv#wMoyTh$s~V$Jje}lHvnWIrJQ&(`OIS*DN(_eP3Xj3g*q23sT`rh}G&2_SG))mK zS`F%UFgnplG#B$U4pI(s`mmJI(3}djMTdtNtaq$;<=fQo)of>Pt)6A{KKG(X9<_cc zUEk_)K^dZfJf_-qDUtKm*zvN@EW6nM@j1U$xgeD=bABDnrotZS#E{tc(!;)3(lnym zN7p|R94Kme?}}`lf$m)+*f_W6!lfRBOMidE&58G3QC2BnOrUU68)Vtp7z*X<5#fDb z5eGDkoypeTqB%>Dg5f$2JO{uf`YK!pYVemncI4xiJ$9%vwOw;=;_|Ti>gw4kXzuCm zkGg0r3xREdY~&erNmI(SXS z6wVg9NSbd|`iG8ihffmztgb9dY?o$U&zNPc!5<#TUe@#*3f!tLfoo2AGrg)xJ+!*Y z(VIM1zx+yvwQrd9^EMS_FAc*B4w^~l4bepR2l%X9#tG0%YFepCgHpm642}%fT zt|~6gWg+uRE5cKw^pRn&8h=KbmW%J&kY85(&->=tM%x!Bzc#Ov$-V#!Oyaj!-Kq9v z+46T;RH={CP_e3~=a}$yv7PIwE+F|0Neahd!y9UpJ&gx@SY>25|NNe#fF!V^duwyc z(QqqYMoPO`fEb#{Obm5V5-5ujg^X>%tf)IZKgk`#AlEp^lF{BSBIW}oqCURk11Wxi zKo*yY@T^&AxHF>K*OxnV_YPD1%W|yC0 z1fd#9wh{6NXS_7=Xs&NC1rw2mK~t!h;zkog0jE=C>a}XSja3%bEK0+n^~hmvi$+dv zd>2}g2105zw+m)hKaPAFTvKg)FJohtpH7Q+`N#aE`gyZ6wOLCnGuw|bT_U;oCC^(} z*qm;f2ceb^?X=H_?hNC_N#Nlv@|g<5UH+u3J`5j6QBBVw$%G|B7sh1&b7-`22rqbKM2F5R z2A2e)+(k65PAPH#6L-f|RE*;|LNY}}e_Dtp#oX%7#8@>HBl@*=|Ft&TF&HBPiLdG> z|BFP6pazidz8OBY9&FD;4pAY_)a;|C{ z5Tm>aj0{B2AV)bMDZ1wcNG(y7q(fN&t1vY)ka_oD&iev|hmJJ5UP6L~!hUbFs@_IL z8a1g%bO1e(h8?Lx@!`M#5_T1r3?7_Nhs;j|^E+2Qb#EiZ7s#0G{p@!m8{Rcue#<5= z4?yBiO3Mr{=_E?t%i{jrZzR?ID!3X4nz$N!iwFycOe(o|II%+~#jZsw%cmCd=68Ij zR`SW`vb*#kC;qtpKLixttz`{4K<#D~)-Q|3%Qo8CaJpd#6GBMTDXb5qKHuE_I2oI? zuH}!%Tx!ZYo}0Ol*8A>$V)L+4!JqX_XZbcfwj5jCulC2`0qu&<95(K#hf0AszN{3N zYd^D{&DM{}LwLC$#!ucX+xf9d79#e^%5I3UmG(VlrOVc;LOkn8`xQ`4BoX3$BH};P zgEIO=`g*GG>@O2aSf?n~A96HgPeH z`he-mgi$IYufOaB1I`E69F;xcqa4|q zh8gEP#}V@4Fyj$IxQ#zonL5elT+WX5ZHTP}eQvo9XiVyCW{mIn60N!E>j9$G0Dig~ zkD+lW_~3&7v}C-=j2$0WWft!Fp4dp63O_1UEWPfer`d}<{Mp4Y%+ns-_PAsolFNa0 z<+y>F9Ckygs%=%NX@w?Wp&P~LoL78DA6l{$u%BsCY(;AtDW$CnMjEkHDq192vG2#Z zBe3K6{`3y^WcYFPFtuq@sdwUCb!7xo z4BvGC2ED+5$kbr%ZW~BLtJC=8mc3iyq~j|y>x!Fj5NY1}^{C{>E};2>MC-!Ft8a4& zZv|0{EoevK6+tuxq9l~|GE0yyOM)Q|Qz z720Z$krfPBE-<$`EywsDa$64*jSL-)T)XwrkTv;Wi$>J~ts&JRDL3e914!ug8lPS& zQH$Ry4DQB?5Q6X|haxF7&JPnoeg+N3hz>2eJ-&BpPwDysiQI)5Z|n6h>x``NGzhoD ziOd9mPQ+lutnBpc*1k|5MxKcRutt@xNv`L*B?8QKh#84^tTndw4mMCLCyuj^yi~6X z?;v$;)-%!4k#}9aNqT)CcE>^kgAEQUmzEVL7z3<8vl$0J>7T8;>I5CL)eNG1Y*?`2 zMB9v@2WST~NLy5=EQxbvs%8XpocLxaqaq`@?1kl(jaQDFR_!e2=F6-3=xp88X=g$C zrM~G(A2Y(+%38_`K|FjfBh`+9IV?)OT;G5}lDc{;c<86Tad{Y^V*&>%&tvpPrci>cxq51lHeAC79Y2b8H)cS(|$)azxFTyO@+j*(}rKSYkFX(na zJlieb=lXGTVEy`R2AyA5mqJ}jKbVm^e?ToeZv6)N;OAy1I#V2bknXpqq>NzdV1+7s z+AHtx3XM!?s$>T@OX04yNKfd8Ac4C0-YpjuobaYQ%R#&Iym&`}rvqk(Fd>((S0nMq-CU&#MFsbyV$x~I?1-g4)7ib>(TLc#Wx`RI^B7(=!`4l zMm~A!os1e`=IqwAr}-BxCi%Ou`rc}3+-usQD+Tj=AK}IrgG z)eTi$T2*YzsAQ#RrLpupNo$trjKgHwXFi8WgPK~&Rm&f09_sU5_-OcSJQOF)FCwW$ z>-&0@eGdhWKbL!SO|zPnPuq1?^Y}X8x)3*@d?kD*ofCM6fPCyCs=x)OY`G!kg zPckiD%|2;1+>)PEOkEE{pQx)1;XWTrkNKASFxm%|z&5Wqm@gbESYz@OjG%fVsG(uu zW>S?9S<&QoKxzvut4{+yR()1RWuD-kiP~3ELe%0kO*AGYTLnG>Olf}OyiNoMDhSr1 z4Y*O-Z!(=mbap=YJT)eX5YN^vV%11AJ{64*oGDjRY0Qjk$r`>(a|Li}nI@RaU{7;P zizeEb?vJu03D310ASNjLqR(6zORCzOpWtE~hc+eZ467rJum8O&b`yE4uY0c>|B3_#?(pr1 z;KZ4&y!(k(_zu^d-|PMr-VUX0i}*+EX$geA9sZ(T*9+{U804OsE!U!?c?^HEMuh`x z$e3Y8Bc4kS#U@q`OWq`MZ6E@cD3VcWLqRlPIC*@zJ6I(;s3|S6(E;V9!0E~FC*ka* z1UhH*3HvsMM^=m6B4V3{F`GxYtpQN8(`Re4Jq}{>e&2N2EEepu+c3GRc)M-!b6-wh zHuyD1xiJ-CyF;QQb!KWJ)@>KxkmIfvHs=@VOP&>h(FERYmXu_@L|6r(`mNU3G9*ZT zX_NdafTP44*)o(ylnn{!{lfSw>1In>Qk*c6>3S_W%Td=g>Y_YfALpF_=dyp!ynM`f zbbuNM(RTdF#)A;)!YJFgkC2JEo!C8F+=~$D%uuk}P19yFQKki~2ci}Tr!e_=bS0SC zY}wd{H1FOx`odr{6LWuuM!bL%jsp@P^RBVbS)$pvmoo6SBdg2-%+E4P=QiIUf#Yi9 z!xA^zrNw%*xIg=8x`^AWT0CQ4@%SsM!ETj@+`}nN8`wsjVd2nFp&H&d!|~;VJomzN zoV{F!+WKN)s3-ui)-Hx96GK$ltt2d6EI4pWjy4gao)F$oo0# zVQW%Q5=gHT!InAQ1@EJ15R}3rO%i#|^IJCifi}hpyY17r9k`o5YT+G`3^ghHWp9UO zM`CN!H%qu;@{xZ(yd%un4qxhb$b(pW+FZv}t+28&&xo>-Z=9%VY!pICg^TJ*4mw}q zNL1vwa(ai=R!%O6T-RAtic5XUqcTc z`w@BlCK+1B2y7Y$s7~5{6Rb}l_zIiiGaNOG^h4ds{u~pQ>-pT73&$?71i(=*wbM7b zfsTc9)0IetbJ2xtV}B3K;|m05aejs4E)ys|mG`30XlEA~IAymE5xF72#j_doVsl;z z^TaZ570OF{KK^mMxWm@l(Cy>#=xsV#R2TC zAEL`U)4}=ml!2@QgaYvoSsTB>s;YHSp`JE(jh&T+a33B&!|_iqWvUKSGkvCP{5g{D#{7-r{cq**)g!IYv)KB=ywSt)r;Iz$Q8w&{b@UUU1NB|}MJ zz?cWnZY?xvkFTy05UF6^JbVr7XBC$8vB_L>mf>#6VdqX5WSKq<*)|~PD(dN6g0|G}%hrKkuw*9mtHIe<<~!{s*L%?#1q0W?`ddCE(zSOFV?T(%k~ITy zx~C|^ENE83^)?8g!7&Ga7;8rCwO~*UjKYy<`(T73F-4HuK>-{2_(8q}ucAf>THPZ8 zJ;8{OQgKIeCayFfXK*IlyYY8w?YC8l<0%?E{uQJse*cj~OgX5@mI0>}JBYddLpEcOo z0H*?hh3-dN6#d4&DzE(3g8jhW_V)H8`WYW)5(47y=+v)m`hU`RSvlE%H!b{?TlgCW z^IJ>*-ynD^$=U@nz_jeCZO`LU5zrbZBTP=~a2yL8JpsjW;7&p+=0d!_95)^o;F%9u-LvJ#;_k$$h`!XBUrNOgN$ck{0x2suiek#?za=$1$YZ@@ho6g(48q&q`Wyr z2W8NoA-Y5P3}E_e%#tmYqfiaH=EpU(1Ep92#~OrmE}a+(V>bXmtSP=MUpi|#3+Y-z z;gjX<^tOj_lt13XZTj^x3;G>jx>eMCCkxLPx9PfxE}zy;913cmHofQaihps9e_~@Z zzZ>BFHWldKWMj*y%c%?f1!Vlc02tqmCux~k-)91`v2wl-24Z9XzW^BDkNF?7vVX;= z{tPhwI-TgZxBK5j82_6X{nzLs(?3TU{l)w9o$&lSPWHc}Xa9lU{fUbGr^mlBr~mlC zU!VR$z5eUgUkoUJ+xk!3>ED+BLYe+;@qI?rzfX{U2P^-eS^tF>{mah3rbE9|y8mED z|G%=J{|1}>no|Gr7XJO)DgU=&Sj_(bTYvGml>2=E)-S`bn3(?oR{uA{DpleIt%4X( zg3ewenvxFl(nZQm;(5zDm81k+?^Hb@85@Nd6S^l~?qr?ok}_BOWK8j513)c8GC^Tj zN(9r1X)kkW;l1KnIEf{vgMY+2zN;yi_?i_o4GDHu2ONDM zJ&d4RjypmpX}V~^r|V^4SoD)Zvvne2Nf(y20m-1nD99vU@gr30-$=nymubRGhLfJ78@H!S_@{^^KA1&f+)6C3JTn}uQF<(#A9EREeZhB)` z>#bSHFTmlJKEsz*xs4uND%E@-$cka7%4umJ!f377*82j(N_ScN0u5U3Va7N8L&AasEe zX$D4Oq9n-2lIZ^qigde6(1|a>0Ui(rL$JYxECCu&3#JJio=b(mh$s=%3mmQu^-fqP zxjYRFvqQLJ41hH4Me@j1561)n`Ec8SA@KLOIXN3RI=ef*hlJ_fT9^TvlvGq+4EjF+ DTLWqS literal 0 HcmV?d00001 diff --git a/Diploma/estado.gaphor b/Diploma/estado.gaphor new file mode 100644 index 0000000..94ad9de --- /dev/null +++ b/Diploma/estado.gaphor @@ -0,0 +1,1242 @@ + + + + + +Modelo nuevo + + + + + + + + + + + + + + + + + + + + + + +Diagrama nuevo + + + + + + + + + + + + + + + + + + + + + + +RedState + + + + + + + + + + + + + + + + + + + + + + + + + + + + +(1.0, 0.0, 0.0, 1.0, -126.67110443115234, 455.2721862792969) + + +(0.0, 0.0) + + +369.0 + + +176.0 + + + + + + + + + + +1 + + +State + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +(1.0, 0.0, 0.0, 1.0, 186.3992156982422, 136.35934448242188) + + +(0.0, 0.0) + + +255.0 + + +227.0 + + + + + + + + + + + + + +account + + +Account + + +protected + + + + + + + +balance + + +double + + +protected + + + + + + + +interest + + +double + + +protected + + + + + + + +lowerLimit + + +double + + +protected + + + + + + + +upperLimit + + +double + + +protected + + + + + + + +Account + + +Account + + + + + + + +Balance + + +double + + + + + + + +1 + + +Deposit + + + + + + + + + + + + + +1 + + +WithDraw + + + + + + + + + + + + + +1 + + +PayInterest + + + + + + + + + +return + + + + + +void + + + + +in + + +amount + + + + + +double + + + + +return + + + + + +void + + + + +in + + +amount + + + + + +double + + + + + + + +0 + + +0 + + + + + +(1.0, 0.0, 0.0, 1.0, 242.13521241133475, 360.48077392578125) + + +[(-184.3063168424871, 94.79141235351562), (24.4100341796875, 2.878570556640625)] + + + + + + + + + + + + + + + + + + + + + + + + + + +serviceFee + + +double + + +private + + + + + + + + + + + + + + + +RedState + + + + + + + + + +in + + +state + + + + + +State + + + + + + + +Initialize + + + + + + + +private + + + + + + + ++ <override> Deposit(in amount: double): void + + + + + + + ++ <override> WithDraw(in amount: double): void + + + + + + + ++ <override> PayInterest(): void + + + + +return + + + + + +void + + + + + + + +- StateChangeCheck: void + + + + + + + + + +SilverState + + + + + + + + + + + + + + + + + + + + + + + +(1.0, 0.0, 0.0, 1.0, 487.57267993001255, 463.36537170410156) + + +(0.0, 0.0) + + +360.0 + + +176.0 + + + + + + + + + + + + + +SilverState + + + + + + + + + +in + + +State state + + + + + + + + + + +SilvesState + + + + + + + + + + +in + + +balance double + + + + + + + +in + + +account + + + + + +Account + + + + + + + +Initialize + + + + + + + +private + + + + +return + + + + + +void + + + + +return + + + + + +void + + + + + + + ++ <override> Deposit(in amount: double): void + + + + + + + ++ <override> WithDraw(in amount: double): void + + + + + + + ++ <override> PayInterest(): void + + + + + + + +- StateChangeCheck: void + + + + + + + +0 + + +0 + + + + + +(1.0, 0.0, 0.0, 1.0, 364.5798805723641, 356.8644644672475) + + +[(221.33036723037026, 106.50090723685406), (24.4100341796875, 6.494880015174374)] + + + + + + + + + + + + + + + + + + + + + + + + + + + + +GoldState + + + + + + + + + + + + + + + + + + + + + + + +(1.0, 0.0, 0.0, 1.0, 154.59599591968424, 658.534293536384) + + +(0.0, 0.0) + + +360.0 + + +176.0 + + + + + + + + + + + + + +GoldState + + + + + + + + + +in + + +State state + + + + + + + + + + +GoldState + + + + + + + + + + +in + + +balance double + + + + + + + +in + + +account + + + + + +Account + + + + + + + +Initialize + + + + + + + +private + + + + +return + + + + + +void + + + + + + + ++ <override> Deposit(in amount: double): void + + + + + + + ++ <override> WithDraw(in amount: double): void + + + + + + + ++ <override> PayInterest(): void + + + + + + + +- StateChangeCheck: void + + + + + + + +0 + + +0 + + + + + +(1.0, 0.0, 0.0, 1.0, 334.59599591968424, 360.3872445861887) + + +[(4.8896484375, 298.1470489501953), (0.0, 2.9720998962332033)] + + + + + + + + + + + + + + + + + + + + + + + +Account + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +(1.0, 0.0, 0.0, 1.0, -137.1060654222224, 163.2664566040039) + + +(0.0, 0.0) + + +253.0 + + +193.0 + + + + + + + + + + + + + +state + + +State + + +private + + + + + + + +owner + + +String + + +private + + + + + + + +Balance + + +double + + + + + + + +State + + +State + + + + + + + +Account + + + + + + + + + +in + + +owner + + + + + +string + + + + + + + +Deposit + + + + + + + + + + +return + + + + + +void + + + + +in + + +amount + + + + + +double + + + + + + + +Withdraw + + + + + + + + + + +return + + + + + +void + + + + +in + + +amount + + + + + +double + + + + + + + +PayInterest + + + + + + + + + +return + + + + + +void + + + + + + + + + + +0 + + +0 + + + + + + + + +(1.0, 0.0, 0.0, 1.0, 184.5176015441729, 249.85934448242188) + + +[(1.8816141540692968, -3.480078183723606), (-68.62366696639526, 0.0)] + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +1 + + +1 + + + + + + + + + + + + + +1 + + +1 + + + \ No newline at end of file