Rar!ϐs st P sVZ83+ Gear Controller\Promela Code\GearController(  |~QD-殆ܓ]Fٶ6s81\iގh£"QDԓNF.zZ?8s )ozQΏ"s僚WvO5k@bs ?K[/C/{ϲ=Y.oՃ >1~pY9S(1hf 3r3f@:`ǎ< !ӏ@7/ ?|0`!a p#[9`D0PZ x+qC<`(xqFG}HXЋ2[JQF>[o{=bhdiyb8|)CUZ9'SuP%LL92$80LdaL~&@҅"Y!L Dc1a, 1&PK9xqҰqL銵k*p|cLWm5!_ Ci3jmM-욪Rn…<[E$ 63^:3Ū(|=̗8Eƽi5$ ;;;C٥gBFjokw^nK~j E;M\F#h 1QI0&$Z _!Z8A| *K8Ys'TRJp (!-3kF(ڟJR.4 Up_hwA{!ߨ}PuRuNT‰,X>`;U ۵d"Qr8^ҔjNf;R^Z)%*'/fQQ Dpb(REJ%RvAjSl$_^* 4쑛^EZy)N'z^WzB-jwJI$Y= _Q+4.{gR(jey?bĝÛ<{oP8z4YF #,8빸4w &^ˎݣm2Ksx'rRnckRi$.V76)OIJ%>() D~iH[.N^\< ~͍'>J=Ó^\1et#fi(I! cGV< D?1bq^3}`9:wl9xSE!h&F.os> <,*E<{1D*JB߈Q)8qG%Ac"9ͺ|M'locP|D"!r,l}9&EO)ZI~^\/xẁ?LYfekƅ$Ҏ(ԫJln(BAC.\tjEz+-'ƞg fHkfVs,\]e~RۣS7)mJ۶hѮ j<ʴ䁏k*bh%^EVɤ\4͠fkbUt OmKp6/$,i8ÈVJԆ\4}1Ż _#޵QXj_m_Q|˲QO'TTKPLg~)\'"]*KAT2Ԅ݋0HrC E'kӀab3Udo s էoȉ?F}_gPwoQr2"6 >E9Bkg(VfN 0ZD#" 3q/5_m[ UKz=T+ES$% A*$(OAA>۪/`Tv ?BnQFyÏ +4NB&6j š=(P ۘ b2J[(bK0mb0H]Ҍ:O𱹵+>ݕǒE"+' )21Y4eדDFa氾N.X5HOviH>mR"okb+Op@u_QvBF_ggG8RBՄh`\i4*5,J|T6֣F~_\>\c_c/7p_6.L CFymmFSrVu ,xFZhC0o(/ t_O n9ye6D1N)[ީ,/V^@,09= {DFALr,sTxNA߹T3wXҫ#P¼^H 57nآN<޲ؒ  ˉJfǏ7/X6B58ًr7FC&֛G9Ԯb$ Z16iҴb)`>*"`o\ylhMq{1NRXVu$NBxdٓO31E(Ҥ+Go?$ 8-Lx)ۮMSiFGO#VC~ gVc VeIv} 'f ]Iialݬ8F0OUd8õ;&\84ůlm۫6?xkP{>}F! Nmˁuv?z=slIpaiq*;gHܚ.R <7m\}㡩řB=MP^/'v_V Uv!T}8% ٔG`~zԉ WSsz~Ky$EN("HFS;Nؓ~%Jd9F;ĩNeI:/VN7GoaeK6*G67ǀI~;<喪Ig(yc$}i ߋD+ڼce!Lt)J y!asa#'4-4apn< l~+~⯷敲g*xhP,J80#ex M]c e>X 4X4:1Q,k #q4"ۧDE*dUSИ۩Wcahxg Y'ȨU!N*n;Em%Mt e]U;96~)찦sKTxl#~1e%t4i&O6wӯUT˭&z<zv\T*y(jzmA7rh)^%~"įzWmw\no#Y2s}[D[mYp`umSG+cB`U,NWE>&jؑ}CD2kV(&/p(δ@ֺ ` /6mYPB/:Gdj%O6v&u :OJB5b~*(E}&0V 3+ ,zok\5vסm?x!nPKk/i#߫qw}6oӌ(5-C}h=j=g`ȴkt JN _D83% Gear Controller\RTSJ Code\Clutch.java LZ:ӓx` ɋ bԘO$O x^$$WQ/%!~n?_9VQWiAsYW2B/Ө*ыSl>w|ƃ!oϊTeQW/).?\QSTܳ+ǿq\|{qjYegGD1wR[hN}t Ja6D83% Gear Controller\RTSJ Code\Engine.java LAt_Y4P EZ&`0 fi4:<+Q{7XI4Mێt\"hz8x~0J=|88 Q/݅\JUaQ {X&X 07d 7B0G';2Lbi{ms˿u_@a9؃tO@?_0^ !V%>\*(V6oAdl~8#{ׂ\Z\)έin GIKoB>Hނh%&盭ƄBypƲ>WĻm3laکM:]mvo)g,_99ͳnhՙc$~Ċ9ݱn(kEG.Mb CTRD 9e/Q/cW,؎mɮR ǻt*"i7oyC^Lf@q[UgR՚«aSLq0|iԴU8UiIqP#GH]အ.Pci|*Ӗb4DW@,.Ǻ8Δ lAxS3:#JZE 64:N$\R6 A*/Ѥd^ EEI-I7zX=5"v2+YAT{6MqïlCΨz]e&"ǘ  CA''=L5G᥻$W\fmRzU*OmդjBpV L9xU˩g=)0=0=f9`{P`2^ VY+#ξZd8*P)P@(d'U>*2^;s(_Ru`4@RQOjb l{mG/=1J#Y>L WGI;s.-\"4Hݘthl \ưpsD c%d@ot LUp䬓83* Gear Controller\RTSJ Code\Environment.java  _:[x9T+jmJx@jݛI-UOQZI )tp m[myެ圽;Ś3 { o?4\nT+kc!"5]Ŧ%GڄjHWH4vwl4&nȳwmh6]!DZs-@p|R0ܜ{owTPr(͹Xy,KVڕA+3$u3x(z͂ģmaL4hsδ?Ϭ hSf3>byP*>]z_DK_{ӈ׎#8n?\,t |2ԯnt KR FbǦD83& Gear Controller\RTSJ Code\GearBox.java LJ:ӓx`p\AVŪ,?P27;Yh|FiK'*T"%`˻>Kۑx9ijêr`I%|dy70WIV=Q‰v{~ѕ G?8}3@Qd#`6Ax/!d5qQ'&o"+[ss苗KL~ y. ːC%Yʖ6TqW8s]?9n'b8oW=B喗C퓽[BnӭUic"5YZIHA.`GǶ^C[<ߥO80qf&6b2|‰naS`|aX+CdDl)cRuF{f޹s'X-TۧOEuC);m* ::qeNJjp8o\\-Tdjo~얏t Om9Uvo3D83* Gear Controller\RTSJ Code\GearControl.java P͙̑Wj[Nn0&+6,B}Yս8&$2Z_#q O3K,CS\-_\\tMrRUM4)KcM{Mm~_cdsWu˗kWa\Xè_#VրV! ڛ)ÓLfVcX -.l׎_@s|vx?؂.p0[691^_qx v\Fi&C*Rlԡ -n|Όw)\DE*%I)-ɋ-0{wF9DnrdRBT]]+Ր!4I% ]$gmW+"lxvЋ8GqCi<͍a ;7V:if;cw Q$hq,C7~,v1ltk>!lC~N[dwIx$"aq]9D}|_A&Z- /7Q ob_ޯ݆{W0K@gVOK 6D~wHKQMf IAwm4͜ H]pO1%LWD(!4N yuF{l)G.vDlTK!K Gh>JO+q(ިAiq ڶ.ta |J8}؈ꁆJTHᇒpyc# c2x+Y\m eS򪳏&v~L-0#GoG) Vwe2iY%ftmNdXZb6 ϱWs%<<4PգJu Ҳ3IScqA-ut!#s!XCd$-Ud($i3-?$ [߼O5=nGTEHTS )+:wSbzfRm!q`XLaN=נU_- >Yfh`'I=7_IY\Xܼ/_8=é.ru-M!+thdiQaFF{IjMlߕ}}a}Q`ڲo.؎S27{ԭM_[{_xa:zgasWKp&gC!t㺯W^̉ bu!L{nҥ7M_kj>>c4iQ' :O^m@@4 qe,nI?(jq3!iWa8ѝPGG40_?t M~-x*D83( Gear Controller\RTSJ Code\Interface.java ̍=:7F㗈Wu^3ީe&Hl!P,zm ]ZZ Jby?cV:}5^; '֌U?߆dlۣqeN3.XIlbȆtiԏ ŏP-Z79 _}-Aj=MXn;IlAJ퉐%*[I1lSpCEz[ҞqyssuTFև!Ɓ']s'5B&.?B5\R$ٛy}ָyPA{t]폘Ö(4@ A+A#,eh\GT,7Sz~TP=Hԕxq{wGT\> 8 G:{#EܚdEJF`aT0{=HqqIs(t H/.[I\YB93# Gear Controller\RTSJ Code\main.javaMJ  {:}WX+Ae +AESR5$܂ j%iJ'5 2t`'48#@HxMǓ+Msrt{¾\ BkW޳j=#dcH,:zd=:_P+΋; :QG>>F8I,_n3goL"F_#P_<s18;[A&GPR_cn* {zjhwNlJ{A$jBrL] ^gΘ>cUB|2[+eU 58~`66~zb(syTYO^u`[$|6h &rt ~ C]-7 (O' t3= Ay RҬR([8G}⺼{ߊq59t%sŻ83g'[^E5`0k G7ݹfew,1xw iPwt J ]laS83% Gear Controller\UPPAAL Model\Gear.xmlP <{O>fLۚ G:7thbE\1pls:1JW/ ŊzD&=W]]Yyhy98 F^=M=W׹χ}qd>(rɟ 8GeAOwBGG/t92snrtުt,vG4ѽ?Soe^n`Ϲ8^^zro }=:{ؘ_`Z?7$/gG߷Ó˵ ?^k @۵W~x;IBoG4WڷGo[=T7 )!UN'^NF#O[7vX4 >V88 j?6K1fF^oN;YR6R1@`u"6 l׮HspHaϣ_DA9]_]m(V2\ cE43=F*=;7LSu 6(Pg S88}4o]'n\{IQ-WS*OobVmE`J \n;\]ߗw{%jkR 4!Ͼ@r#V>suAHn\ŭ/ͫ f1^W@$֌_\4<5jJvVg3Zߛ䆿 ȄD)N ,"5NɏNwUaZĘImk3 j"H%1gtX,ǧĜ510d F;);]lixU:$3ǓY$7#KsaH7ApLru*/Р;OXpE(>)Z ESܻ,tkTp\@t 4FBFm>.=*(RpJ 9=6Ip"d :'alo]! If &* ~ <*3_*tF = L]J{~(!IIKi SE! {HBNK)Up>=)9m?"zbB d@(".x0&G4ʎО؜hV ģS+DJ%TϡQXaX4Jg`fqZ/t$T?胆#k{) wGYm]h{z9u$|RS1X69yI\/=15ϕM}8vi R~$ Wejq nµoyH_riMwx-=UՈ~ܻq3-@x}7čdlYpAg嘣Mk=qP(گL}ioS+ J M'`knG6'NyfiVkh9dDRN#\y6`@d6xTT/Y1^jYz:W,-bR{Mɠ62YVdʴ9px /($O}lrhPErn$i c> &h;du)Wڣ#ոiEpD6mєY{L+]5UY6`5N2+ w 'hap9ԿuDumVp~O\م֗LWՍRvm`YL\5EѬ9OCj.3}Jxw`/KOhי{y-+Mg ÚzK}Rʘ <&8toh RQ`3V2_m:;ú2o*]/)J-d=:5=:odkv%+z)B=0gjrp!4 B5Y } qyҚ̮(۬P}}.' faa"̯}+D:,:nHbTKvjiuZ LyƶfcYz@hJBZ, |!d.! *si d^aJIa&blT2,HƜundUgnsWnQb<˭)Drapy)`tNd2 ~5u,!* !- %L3ӎ]E'1|rk]Pdk%xV8b,GZd!;,QYLY̒ZM0D+q{]lm@n:15sinS~̜\ZaL񟍨L3о"ՙ~'YKFlpy:'Xw;i)lЦS].U\3y7TBF΍[3W wxrL)EzE/ޓ>g EJ\PtbM!᪰=]YwIC¢}gk65f讀L^|zHkXq3tZ!zv!+heoAO}sE7o.`@x~?ci2YN ub &8o Scޏ5.A( ᵌ$&\YSj/v05)\ KO33~)dӗ&Y.?7'ЛnKyzQgxɱ;mh~@(/tA%80Gear Controller\Promela CodefJpt@%80Gear Controller\Rebeca Code R#t>%80Gear Controller\RTSJ CodeDtA%80Gear Controller\UPPAAL Model t4Vjw:0Gear ControllerS[aVt LDylw:3' Gear Controller\RTSJ Code 2\Clutch.java# _MҌn0ʅߍ71[[ntvhIĔIƖ_! OaEH_AjT C8dK9`FSnAgAYS:5=%YV@~ J;3D{u qxrQq \h^,a/\+ӜW͢_!59ĬhdxP(NrV$C@ YG$b2Kݔ+Z|^l<>זzr"`jzt L~ UjBylw:3' Gear Controller\RTSJ Code 2\Engine.java_%  Wg*P,Eפ7Ƣzq{`E˿Rޗ&$ yU}$mTsg%JN}_}~W{ˇjbx8&sM9L-OWIdN)R[:՛G=jV滃־ɉOv<]ĿlǪ\||^*MRG mb9vy#Rlh䉬g',zK3+YK*DπNz#-^΂"R53;,Ar#}G3~O`ߧ{ vr &dN?*t QdI-lw:3, Gear Controller\RTSJ Code 2\Environment.java!  Ձ*?<* aV$ 씪_.TRZ<)wxo[{},}c*d;!s߰nP=~Iy3kS2C3B[ ʺbJOA~_{!9Z2zɀvW{@i3=$EϾx ~H(71)E"]B)xjH;[J"ltE.4y#uzU=  />)(l%Y(ˤKWR| BVXG&v]t"ɐ!SuX*~U}e5Ff] rx="8ii~1(qxt M"Ir3ylw:3( Gear Controller\RTSJ Code 2\GearBox.java_%  {/97E Id :,8j:o\ Ow'vȓp6 8I_?8G0a#x+z%1/SC$EJďz_ދ-KlIfX!$ ^8P"PIgF }U L1YuȲLskhqQ4Kq@) (vi4S*oik8O!1W0!eI]p|85 b.N7< Ζk |CO|o&jqCDVKe|B7v-6aW**9cCn~z 8:ț54 յ}h-6ﱚvY(#/n,HV99 3~ +|TػaIMJ[ m _?:\xJꏏ~(mPU]*ì`h%^0#_Lt SU/^ylw:3. Gear Controller\RTSJ Code 2\GearControler.javaQ& LA[>:xQ@S f.yoq[f+QnnMƜ 08GS%G@IQ<@ nElKc@ljp&]k2LXd4ҥq]OW}Bx!ŵ8_ :[+z\)OoL-# {D\gԐCYMX*5=S6ܳ?Pǵ⫱0Da^[Jxހ(>N}W*FՇvOV}R|3_'y>jgmxn zIE^_ݪm E{K:[祷? lCXƼs'Q-qnIm9#9g.G&Ƨ7:BK#=9ve'zv '&wJ5Nm.čb6'ԉoL;$N('nTfЧQdƒD*{>%U5G.XABH؟IsE~Q? f>V "Co@bLt OBylw:3* Gear Controller\RTSJ Code 2\Interface.java#  ={g)7 'NQ7vQ[^MdOw@9bnKcrIıaCS~3l9~8QD|1@xs.=~'v#v4+bbJ"0~ a$(hr\q~4M֗9Ҵۖf<^xgF|b',ONdjI@ɬ;KX: 8N"֧C^ю"9{mѭ}:-P&LڽDEt=_x7q]&}ḓ" D(0_EδW69ޟk:Dd*d%5,(RVH*\SP&&m,I lri,ȵT` zԟ[ qSa_jLڪ5X Hք@/+Rn) x^o-&@ld)"Q5C>lt J6}Pylw:3% Gear Controller\RTSJ Code 2\main.java Y9wxJôN+w H%'hI(ҁ&_ (fԑ^77F! `~0{ 9!Kα[zR#g/(^cH%(5|?)d0oe1<=K}7v!"T@h @qFH愔GH7sŮ$=1OɃID݅B%Q]㊈ށȀ[oRZ`mlM~YAU+~ԍo/R۵[v? KFѕInWy|z9+Jq=^YsƵs jm) ,ޡwyW˞^V5*LC]!'r'rIX?twXe%X.+uNGuvvlN -Qd8+XcGq leZ5XN?|cd 8,s3$O|GGx<@^M]B*dM\ TW+)gWt P IAylw:3+ Gear Controller\RTSJ Code 2\MainTheard.javaQ&  ={룗[Zq'IIlq :ޖ s ɉ"NJ8Q#9Ln-fdӏg',\_f(:0Wb<ۉ3oIl%Z5M)R1V8Fϡ^wK X䶈6"Yb?@n7v!bafms*0\sرg:XHߺ8p,YUe0SEmn" ЕsrF=׫/H>J@}x=}4{40tdVWם ~ZK>~5 s_-ۭi(J$UPM|HP_k}΋0Jf%lʫ-QılW$=&jaozYyz<ٺ/͎%~N>|j~Y9Lׅ])Qښ~P vXW "zըmI.:13}@Njt@lw:0Gear Controller\RTSJ Code 2={@