SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Z#$l ]/ Statecharts:threads=2elapsed=66.156cpu=118.176gc=3.264factor=1.797zXZִF! Zk ]ŗXf1-/6vR[]f])_١m{!q,a\N؏qb%,_Ձ&b[}EK?[ii^ _Wu* Ҥxq.xfv:7'3L$):4Ju5,wH^hFD4q1fɈ-ic+r6 ☶#e\]ȉ;VVA\ߔDei}zs㶰ǒW?ZjI~9ٔh]ԗ5`[Z(EnH ȏD|0JBV$nZ3ǝ)aINRbP+r |XbeR6 zPAp`紒4„2"' h.L1p )EPX Z#BSOuykʭ$Oza^g\2sR"P]XB]&6B)Q)U흌gI&y7/'hM!vG`bL +L9s{5pd;[%ՠ$[9sa?`4sҢ^QEG~AcƓqV7LRj1hh0"!ہ?)F{>j6{Ӯ)jHր}nÇͭ\[BLIYhj>)尷Bd+,?ŏ+ 4|!PQwÉ4Ac#׋|2PGYb}=mbۼA49}{ rѓ,|eWqM? z.JѱR>^K,~b˶ptLU3&d<^zP, ^0#")~̒H/^%}$Qm;־'R&z 5ȫ%k,׵.^3/aƩۭ-15MIѯUVR!L)fQIbY CrUF:/+LjMr`?Y9)i NLL%x2ѵס&AT˃]'NBf ;B\cA b;Qk'mhRxMK{' xC7\kaɸ.ƁҪigmʭԷؖX,ulauv7olM#PNVې;9hwA:#QLk36]xBTjOz⡪c(!jZqq /5Cg*wzi{}gV_pg&HDmRrbc+u!y|_~Wc.]fR4岮%«1t0Lv-&cdpc $ yP@>iȱeH]+`Ej̩X*(oO)kK)aܾ$dA kmQAR=Oz"t*s)"}l[ލ)oX>q upIh_RVn͢R@ Gn>Sjܻs_|~4 Ya_CB4qsQrgYZ7zXZִF! S]ŗXiɟ;=Dc+uK|Vʋ77Wn[&,*8{sWt}Noy'a*"sKE$Q}BlXh0z9wlh[^|jAz/,Vd Z !U#ƈ-2lRIb3{0l n Tv#4~/ is~WFus[~iPI!/ pHb\}gYZ7zXZ # Statecharts )#)% StatechartsStatecharts.HAdocument.tex7zXZִF! 8;]A-MՋhvG"uIBm5w:6 i1b(6iPԝOG|JD>T6F-g~ߙK=W'vd~܄`~'PBsXM$Khz 򫠖%x}]eky7Iw:Vj:$ോ/k#@'$(Ľ-,8yGlqPLyYyn-c-M`9l\*VfGE!?ƭ-~4 x˕ɇbC| |]0grD>63lڼ )D:u";a3SQYjcٌc(͊OM2ܙD߼{c$I*ʍUfA:N(nMC5 @U~/+=CkT)d/hg*pL !.ܰT_J7ggD، |O"/d3(͜f/unVϢm _/U8GZ?Q\oCC*֡IԴ , >xvVm A"94\ݙ : HJʀY^/ aIY#l؜6qV_`jN\].,]J0=ږF n |ў8+R5(`u0 t-JPL @`7'Q'8} #\;nj5SBG dg>Q'% hx򧵴0F'&pA `\8DD1j>$Ҹ^DtM8(ǵ wk (N1. ׵P,K>[d\W+fq {'4-w凝Mum2P6I]-S^@':/v-ݝ1 dE)'ow08Z.<Wդ))BziԱՌMpƛDȚDDqjim IN2?[-Cqo/r=p(&C#GROx=&KDf@)SlgW2J2aNI4x?>$ ݭf5 [9mR:F~c ٲ>hr']sϚw]tH0nkAe +W6^ ~ ɚwX;IC+~I8{!^,1T<*0NR ;y>󣷚ڿW5ífƁӋdM#ғQ/͔{G*6ǴM#>Ig3Zoj[OO0%sa|Zǒ%E5F \EӼ:5_xqh-ԯNewOFvMNy)ب:tS      ? $w V2#7%StatechartsStatecharts.DataSpacedocument.tex /#1%StatechartsStatecharts.Kripkedocument.tex 1#5%StatechartsStatecharts.HAKripkedocument.tex /#1%StatechartsStatecharts.Updatedocument.tex -#-%StatechartsStatecharts.Exprdocument.tex+#)%StatechartsStatecharts.SAdocument.tex-#-%StatechartsStatecharts.Datadocument.tex0#3%StatechartsStatecharts.Contribdocument.tex7#A%StatechartsStatecharts.CarAudioSystemdocument.tex.#/%StatechartsStatecharts.HAOpsdocument.tex.#/%StatechartsStatecharts.HASemdocument.tex*#)% StatechartsStatecharts.HAdocument.tex eLnUK5䐦+ [9zdy[f`5 pVf|jp9r:V֣~Ϫ%"O ~HɅb:ttjVL#W 5G*OSRPNma3_[J*N6]3n k3;j(HnE3QtJ:(%!ɉ`"`3SVoQSOflw5@EΌl<6v:;Az|j-+ȾW]f:ZpsUP¹ ;I@re/)J ]e1ki"U|rn]-)& 4x-"8D /:zN!5GDeO=-_2ЄÆY4p]/? Z^y_ZQJ`ާ `b54E&ODd)Ɯ7Ui 29#x ct]M#m+1xdvxE>+(R9O]Ύ='ی<FL)a@COꎎ W|rRteKGwDcƾeHZ 'nR|aU@0;Ul@zk YEo,nBV7iY6=lAށQM[qDns?S.Jx/db\5qEK B ȇj,Eˆn{壉2PM{VJC$|C)N ?_ } I2/sKb fGU8U5PIL҃sB=||JF7̜V-ŷC,$:j(8f`NLo\-ιquW1 ^M"-*)Ǻb$wy_GPQي#&u[;s\%dqQW}Lvϋ ȑ::IL:+!Vtp4ώӲ]Gm]B|Ai-Թfehdv)Ru<9*.-U`KR_#ٝۇ1Nf _IW[췭M)[qۅ.2J]8 ŀݍO. ~6q@U<VFX'@HaR{|!Bn@AH.&T0ɡ;2QrϘLc3xkφ9Gw+ 2X4j[ 7* 1?+ݛhj'Ԙ)owz !F/^O̷G%+zXofR<^5Imn῞7ZMȰ+*C+lKU\ROHli2Snvi :7&?on)fb+ԦŲ;;g,$> Mgm9twr OUbdƼq gA 츘T>eY-mQS/&JŐ,&Z3e@sVzA}b@p *o )8(Lśy鯮 ;$| j\ 灜c0ah!bԾ+}%&UQb ʎ[̟Uޢx8E,]4f C^٭a `5`F|&cf؅~$(M`S{P,~[#_eU~iJrJ(UzGyG1ilnxyus.=O!+@Ʒ[ZX#bL[y&Nk3D"l'8TE1}gsG4s_%rE$x%$z\#ykG^7!*73`Պҍ gESV\T,r*:eږK *i"|K>&@Xf TL('dV.$"[vm^_}ΊVʒyP4ׂ L%R#@%*Lu>^eQ=+a-o 5$, D3Qu_%QxMՋa7wjrbc)q)p觥Ԣs'ZU Dry"nt 3[ީu5"? N! F8P]% B3S_~\5_QT;L HY1d+7_!!jl?) rLa5(啉0 \h-ipMQFSz9J>"u )=ԚIU{H n, [Fs._}\{aYG]8Q:g٧UR n׫9.U(w>Sy;֬C#ɖ6CShGadf.NvA T~Ie\S.Rj$2<ҙV7 v,~~{a]r7NXNv:KclCmEU MdbK 2>}lB*ͬ~~#ytגkI'{a_ۄ =W)PDDsC"S#CN)&{ ]o|,Yڕ= i\osx[{ * *6@O&U\YcsjԛWєnSAdh.kYO{ED%oїɀI;{ giAǕxl9 w{uIfu.(40ץ[Ť!&ʊcGRDmg b%UMA8ov>";u;ƺH!UiQV\XhR|qU y/NNOJmS3q| vE>$w=ܡP`kf N9v rݢS9ZD wEOC#RgԳs>L74 "P̬ 1Tj4^JNw?v3O!a`D9-R | gS^w=0m^PA/M_Ml(8CN*ypsYjTp:LPTߋd0P N׸+eL#nxEQaQ5|kn-Ezj~忝+_23xS 1Nf5 Fp5$` {(\}| ^ڬs82Ϋb2'R`fk5 Pu.}q`'&<0Rґmju7=ʦ1($Á<&ૺ bH /- - Qӓ_U=* >v_:s2K 87E4GUs.WR *ĽOAܑ7\!;utg+q3&/&B8q^Mg(5gWyE2!"%[ɘ$Vl|33w<")2y~ӑ~1Ŀ76jR}A}~f3::`*S5ifs[ؤz?#!ObG8;j|x. JI]xc4V^;:'ES͚^בK'HOEeW(Ľ'=;_n2)Fh#n)Q&pf!2S=e֋wѹ*ףd5'hof$$+NJF?ԅy ?de?PehYWlC]⨍LPh7㞛&z¿ |ľ i|+]rB3E(D-ט4T b7nBw0|U`L;Hu\O"&PSXkze.$\ q5ތd[Wm sٜi{SgY!f1aF7'NE6xJJ% BT G`"<ip#Â0}hIfmB?fDTvq=[3}:ke+HK>{?Zh\Y^H*Hx5^WjMCMg-<8.'>IC Oz|_,+Pv c@0[bJM32+k(ZF|N?)Ȇϱ):>nTKoqoϭH Ӕ8 Ps07Pb!rZ`ʼVl'7렗BBb[,PlKz[ ?5z;x:4c`4n=B!cnZ."?vulZCRw~*a,!zCn;l=W5❊;QP/nޯe ,+bqḡf&RD{h}Wү/gV{IN0ӪߎU5k9!/ʵT·l^EI@@v Y۳7TICJ*ީT^Uq7]"K(}J^lT̀uf0n>qAS(Wnf,m} se'w"M~^7Q%绬z`υ,;6 ٨E] k_[Q{s[صAoSvS3F 7޾[upOνRFOȇa,ܚ%4vow)W7$Qwg/l =e70]|"IM0*[i jbXC[m{+ y]8Œ8/|:sTD26g.\̏`"$8ƹj>%LCj>nvZ?Mg=Mu81_{OmF:# En˱Jr0k$k?i|]e<ζVOve'ozV1x*i M{8F(V }-ġ͍Y_'G] zq+G} z2iL *)AWĐxdEE̛\d0y{Sw2gLzgw M Fw7T$BǭԔڛ{sƛh 2Y ss:zݕN}H~v^NcT\~y+FA JV[u) Q(Ń(ldʟ ~|7$ݸ~iiIѼK+ 9MV?)?i\*Z綤Kpܩ2yp x 0 9(j]Uhʈo;b9YGVrSdpӘ%e~lUѤA;a9cry3'dH;ebׇq4"]RTӈclpJjwIoiE}$@]0"vY¸}5L(/þj}@3ZyKڜv/0(ˌ?3ɽ&e̒,b7~ kW{LZ g?CiIR5Gýh2ɰo&1Kփ &2/'aYnVQyᾚu,=IPppe46d'2Rt#郉~pD Ĩ!k( ̸Gr>Ֆ^[7m:TQ4ЁaIhCuw NQ]Gt凛ti7?DKgJ2{5 -W,PL*ZE}cͬߣ) 4 X콚8XE~M7<]Uc>UBwXNDj}[T̎:%f߁$i"&(j3NW6w0\"yA0tս=| Cw7M_@tn GCq-K$?"[  _LWD{x&oSJwwL*л|6_ZD ؔkr:')hfnl+hC粎-@Xc-BM*݂53VsDCA.}r1Eߔ;;7<`~ƈ9[,Oz"tMÓ1}w\͕2ee?]q%'%, =#+ً?S7diXE1-&g^bay>muQBL~3Ӭj҈W+V An>^%Np"KV7?l: ,sC?T`A 8TTbt KCȿwF>.VRE7F~8 -hwXèJugM ?߃;-/J*K_&$g41I1jsݓ9&>K ul6Ou$tIJ0T<:ylW"UKCW:)?שB%"0`٢7wrKp:)3I;m_ҶF0H9^|&s F JmMF@ ?$N:^_ F^JKFBNc׏ۦv" ؗ(jyR+mT$C3V/|]x@.m6!@2}ȍmluenz2Mw<$qaGI`60%$kʹckU%k,>rmSEӓ55LxC [zUz֧NW|Eп|ASWBm}_90, dC*KYx%41Kxj}"d~?(E/ vKre+?8|oO )[ qV<.BEvSP[O1Y~&*$5v'Ə_!XMx#+efڨPkTP`@+[!:"u\0J,m(vw4FBS+HEq|SE4iT9Fu7c"ڕ6Z?k_ǚ Iޏb<}>JT>]_BMO JЈ sRJC {1 q0f|y]ں2̃3q(< ;n_ 87R˼!U+ aKR7xt"q\qN( =!(J@}@h]M2 I}9NeL}%**^8 L&=+րq_uDgPQ瞺]`JSwH'p85l"5A{Ԇs% flQ<1vN wEA≲Vfp[߻Dg‎jn5:37la9Ica3uP0BFdk *^lu+û_V[:[F8TAl+Q—Cx0B-Ss_.r9=1 Rt}7|&zx BLN>y#\.YaCx[XݢI]_W@p͜gYZ )aD\qdS>X? T(ΤK+g]+;O^h_U((u\c-G}yY}!㶟t=P[;kNHVB46)kӏ}!oFȶ^^9$YAF@u;eomt`t']4[0:_x+l'/U3$d_xA8&CW/QaQNa23,qώDzEPH I2ZLp $T&6r#t{@%Q!f6:x 8)0ӳkPB~b_h4$#܅,D8aQ"Ͳ,5.+?VS2߄\6^7q@pY~ WzT> d_-]^[i˺$B&S 4x)Ӟmm+}Cgy.yg~O&GNl;t0!7]㠎zۖ궅gLgWb+J +&5 fY 4%-iFbTI~AL͆X†g m# pA#i7)ipY_nTriX3|C8g3M{0]M hb|; :*gFsIg4Hx\w>ޙo-} KnB)‰Mz1G[yh !ߑABdd+Y.#6ۆ(f@mtxqAc|Ngmol(}L䴨qQDN?}q19mxrOHW/9{B%4ti/x3e$ZAۢ3CwT, [yO9$HMIQ߫;7@њaqolg7›oW5˂ߎ&곐Mw!–2!bj|H7EP1j'"XK[ZeZЍ *77X%>S:=ҟQ2=v(5ٴH k_$+ }[: 6Yd,1ܐ%vU%U,ą2w@^=lĴ-$`?43vSpY q֓SQ%{f6b~aߓb2fh U¯OFB /e|mer?q/rP(JajA#^\Ր+0܂jGjcBb;9,zbQ_ * >WbwcE55Ц[7fF=E!$2n `(c`}`o>!ja[ƪG>]B^+  TK'ҍļ<fcnY4iLƩE,uQ9X;xm -`~7J4 29.Yļ@ J1oFCd3?G򃄳6Pr. H5> [h2ti9ڇo'AX‹1$+ۡDԕ_KvNZ;.! 6f4wy$RH|qC(ݳ1:H 4~^=[}du ΰ'd <%H9'%@7AA͌Pw,GG}cSBUJ$Ȟ$D*% Pg{S9 9i| ֍q|t'mՙQsw'2 C4T(ރ,[ɎdNNGK,Q _D < L|éFYjVISM:,Wyա:l5E&0a~#"-/2eq֕#?֝^96pp{Du0DƮL>1-;ْ"AI"<>ʩ&8M5r-> E1ֹZ1z2w\FN&E}Zq)U{hkc3ʾ961DdO]í 5/)5t'zz^Ǭ#'䗧 \ U+,W*Q!%uYqWh̥8oG`E}]bMrc.WD;ӭa_elN(Vbq;ㄙר".X} 0a 8Y!$):W iqL0k^C\lBq!Ű=`nb<:/|=21z'I+<]'[)蕚܊K0opU) {$]x8%pzh܋ v?Z{8Y8-1?N/s ~ 6 I,y3E~W\gtN@(!CRk8hB;C] Ӏl#w7ff D0 V"&Jz\2t{7w-b% ͒_$cI@zGAz1H#;x!5|} l_ ԾG]3>3 ˪,6}Vxg֜Uk`z(_)c:9lS(d%:o"'{7kR"_b;Ah|XZC(pv&u tS/ײ[3hn}&rhn-orcэn8C5JKk:nc0ZP;V̡ïp%hQz)T?2fdӝ}|<FںVD !B؎) ;Y%*ʰ"F4u&Ⱥ[/o-}4ft~ନR[t')j鶏? 2 }# PG=j;5W_T7LO),qnk7:4$|.o.d]^qĔؕS@ ""/ ޅ3kJNQ;mu zY8!sQK;1n|.#DQ(ﱨ }e*f*wE!^ML~xhBQvY¶~0gF<f , %Ogcd&G۟5 ܏UҷmIFVבVfG$7.tAz,%bHzuKOcU nY8XPkA.qç̭iEM6D"@NF9{j^I֦m ޮ7"gXx =^>}ϔg@ֵ*epO)o@rTA ϭP-Q> !D/wr1M5ěH4Ox %մ}~)_T~Kqtu=6V*vߗbS =Ja@āȷ-B16 n[= GC;:t5Ǻž8Xf%4NnU,5X&7 H'* 2oVSy[52猜hW Y{"ټP`eK7:yx@v[ۧ?$FGij -"nxm3?*ߡdP=`]I5*_:]?,MWJsf3P} #RK\Egݨ r1bT~`fPWVO m -'t!!SF;+oO@f,JJrD8K|\YfAi ^Տ/ơ0;*ѠB;W-('.YHW['ً@b ^^]&1O:]z{ϴ1;>,o>VA L%.҈9%bSy4dYէ0`YuxWژj$/2IvӢZkUl0&5 WbQUVˆgXmgo&.j:ӮT/g,P2˻[V8Ӓ^D+㵁ث,5]1ݐXIKEy܄vO!OmƋsq7.;x6t1`F{T^g9p:6;";e_t5.?.1i:)rNp.|37==s$l#+IQS~ I~,6/ےxw&%":Ji7s6l2Bg-O'%|yFQA[IhN惺W|Z1˒J\bǔbLH؈]͠k zq- @ q*r$goV;#4;)F,]֧Y?7 }Xu0hdg--`>i`>̻N`_ef2ͱrۡb>TW|^Dj[U)ΠyZsN^]UYC\lgy &AdKB,<x֣Wf&|!LT[KbRw8~,|?2YC,H־=qrVujVY,Eiӳ .!, AunHcb`$ U:`H}*X; .}ۼ"_RYs=#=YtP\jL+WK$Tv7)#أݺ,z(FbR(͡6i(Fm/g6GdMlB|GNQwLcE^ͣjd7]GEq8 +G\_r[5 ίw%pt[n}*{^ɝjRUBke}oi/;FZɾwDiF7@h+R@卦i@)е9:w=dWHi- O)* u]\Ӆ?jgT2?rGv@>`{cbvQ9YP1{<FLϩ,*Vr^NU{]ZD>}b<.O3FeHkU/_s\=K&7f+O-xX:iu±:PYE@ƈ}ڸ:? :e9Q prKXT!o0D@!!-bdfFܛ@*rVfߩ$.܅ ᕅa%Zǖt^omiM{(Ud+v;5$땄0'(#)T8yVZ}?7JuWvTcv V̗m8!nPc+XUegy(b)#/'6FAiq_;Jb司am8*_v98 z:QO'q; i.>iU Ҥ`uZ`L >ʡԓ!Y Y>C`9P >{pCU#e^hUcgQ1qJn@ZwP!j?&b2%8#}s-ϔ{0AȜ.kuЫP˰H&$9.@`J>ÎANt\Y-*c_j>{tŪ۠}!=9x(ٽyh},>YY|<K|=!dI k6hΎ㌹Y Anf䕦6nkQ*҇?-c 3H@NJ)/i@fsQTݢZniTܒhҫ gRl "[ܿ\FE[b2 %&jqJgu1\K镧L \ۜ0N-9 B背 >RuYaDa+ɹǹƯ̊F|S#c/>ɺXJ| cܩ\ҾBЖŮ*,1EGan ܂V\QA̒mkjkT@~8L`wхMп:ඟJB1y( vu ܫ,ǢUDCЮȪ {;_Rg6p<]qŧCgx`j34B{MҽciSL<Ͳ`15!2&Olzz4H(j^_j.`6(ŀNFO.HdQAQB{KM:=_eW dhJ>v~ɑWJ"YS[1ka P 썕6 )[.}x(A&3p.)sKioVꌔu?%Vj)*SGt:.ß5ol^kC@Xid]A8G\zdl whFmen\\n>WX҉DVk F1膈 jCȴ?Iv N\ 56B1/䳵mSق[x"䮕"UPחdB>^8>;_-| 7ySt2]sHgmj13*˟d/x&pr5g$*?84iϒJ1lw+ -zX{" w_]9Dwqli7]yYʘ\W^>Q;M-['Et.XxweЃ !Y[LaAi9Fo8AP<jtqC7C+v<5#iB$|e OVއ?d.SB飸T /64mNh>q[3.֘>AujP} 6Yt'0 Vڣ|*jܾ?'fG1jjCj0Tx_!c@523C7?P' ļLykg[=؀+B2l]8Ó!N8_[]>Z[6=hH\[Q vF )UJhmAUE7-;.!ΐ ܮr:\f˓W0>i77*/TL p2R6}OL} C prW`6BM'Yo˳1DMOسlڴӣ7lgR]5&V21!TAgKPG{ \)v+pec?w/ct(iQBd`:(FreX}`gpܫQU)Îj$!DnvWGiլKG VDhVmL*IOZ4gPŎ})7 48.]ԀD/#c¢*P=vW,h ,<6"MۿKL?&Dg[fկٍZ s?+x؁h ũbD\K*\ C}`mNEG1Bgi^Q!6MUӁBXe!oRN&*<%ENU܆IqCj.l, m: r2b8Os[y;ZhDRPf2,hAƒzV&QG`*Y&#& $F9=핹k6T3wrӳދ}4?.~nH(~ֵy@q`[q *rlPq+OjǪv~ d)pV$g@EY>;Զk,ѣJ A /k&2$ad.`qG5^n~B5EMR+VI}@/IV@$ĊMU&~zmSeCswc>Xe羷f!ۛ:+]@nŒz{LԤA>|R1 %0vJ(rHEA LqB̶՟W>!u}muk3Oi4r8ʼc1M`cǐ@bV2-{?xk1O~PK)l'A ` Rt B/-쯧_T H#:MV 9,:1m/Dv*5sR2&RY}HM OLZR}~;-PL;/~_bVJ&yz4^B / f1+.(7%A%8&o`f[U n)nTMBܞ?c58}tbv[5QJ77,q/Xϋ<-"2 ?]3c]qeKcڴ3~$ eYaLt.!% v޾bcɮy-s{2Y`m1wr0CmDc*q7 M2-R9`' [. "} )L{ !I{{f-ؖ!gL.=7ʜ,~QHhhOYZJb9EV[O],L蝄WiD){+fa $>:@H9f$ U5A#28BY%:Lq iV-+2 s s]A:qy+pq*PjfKFf;KwFalfa[6gQÀʪnnqD%~> w|x=!zgYG˘ (?KMٷ(OJE 1Q>Ldtj L͂mWIš!P7Z^ z7Og si`osV'EvLZtɁ Tلٜ߇9\3O.,0o>jN0Vl޷?*w P{4`?4G#+ǕuD?cBg&M7t3bJTȮQ!xˣm(亦 ,+#{aLmk2,uw?=!u6!&iтL.`QԞ!.2 W ̧ wlſذiY&@ ҵdV*֦ YdIC2; \>X""a L\>4%{$\M}UHR(HtAn WUeIlZȵ~WTJˇ!}(I6/#B s)$Cz_uD[%,|ş{!^5JTY' k꛿B<pXNtAgADsU {wW$k zct=M6g\q€AJi#Qx%C<0~8t#u@}%29k{Ѥ/qnU+׻NRJXHwXj˭ ߣaTep~8gG 4y֫"X١Cf[{pƆ˖'ِVA7afF%Zm:_8znd2v egYZ DD)#)% StatechartsStatecharts.HAdocument.tex7zXZִF! 8;]A-MՋhvG"uIBm5w:6 i1b(6iPԝOG|JD>T6F-g~ߙK=W'vd~܄`~'PBsXM$Khz 򫠖%x}]eky7Iw:Vj:$ോ/k#@'$(Ľ-,8yGlqPLyYyn-c-M`9l\*VfGE!?ƭ-~4 x˕ɇbC| |]0grD>63lڼ )D:u";a3SQYjcٌc(͊OM2ܙD߼{c$I*ʍUfA:N(nMC5 @U~/+=CkT)d/hg*pL !.ܰT_J7ggD، |O"/d3(͜f/unVϢm _/U8GZ?Q\oCC*֡IԴ , >xvVm A"94\ݙ : HJʀY^/ aIY#l؜6qV_`jN\].,]J0=ږF n |ў8+R5(`u0 t-JPL @`7'Q'8} #\;nj5SBG dg>Q'% hx򧵴0F'&pA `\8DD1j>$Ҹ^DtM8(ǵ wk (N1. ׵P,K>[d\W+fq {'4-w凝Mum2P6I]-S^@':/v-ݝ1 dE)'ow08Z.<Wդ))BziԱՌMpƛDȚDDqjim IN2?[-Cqo/r=p(&C#GROx=&KDf@)SlgW2J2aNI4x?>$ ݭf5 [9mR:F~c ٲ>hr']sϚw]tH0nkAe +W6^ ~ ɚwX;IC+~I8{!^,1T<*0NR ;y>󣷚ڿW5ífƁӋdM#ғQ/͔{G*6ǴM#>Ig3Zoj[OO0%sa|Zǒ%E5F \EӼ:5_xqh-ԯNewOFvMNy)ب:tSo*=Wk}/:q)Nͣ?|e'ܴ:r\a15JK;יCT2Tpb\+LbgIr5K/[-&geDFgS½ !QC!(E٪$TU9'PҕW)^y*ǮopލQ}2,*58I-&Xu+֑SQœ&S]Q/#6^e+G; V@n̓\/Ru_ϞXPY+ΎV8{s:BaBd$7:b.x8#E8BU 5hƤC bo bWUZ3EӰ_&%ʣ|,~1m<}@¿:-"lC$5a@ ɍad:Pf܅@U7' Rl۴2H\bPMK~F0?01OӇfOYM(ʷ_)#tpQUwWk᷋K\]YTa @7?ҚI}rBc\xDJv{x64ћp2^^U-::^W}\APX20@nA(I_-TW[mnƉYVUފ\Ykn&]qzKL4B l8ͼ*Z[nҧ.jT@ ;Pzy{TUP#gM%eɼMd\J? IIV3 Nйf{Ro(t j,DHy[ J%cX=~v0M+tSq.Wk[z?j._lN{߱Hj" .ݮI]bZc>_}aK f(w52u >̴=Ib Bz !$!zz|A+>pfQ%тT&m꿼AVH‘oN:k$ `;Q9崎KK\܇`ArVsB3٬n~7${%ғm4B=|P@R`aX |n]+dV#/@l?Vu-Edu[` Lޝ|3 ]&&;=J3,u=Cg!HYx+TZm4 ȕ|.1Nʚר!{k[ ݌8#)|+$e8h|nbJY(dAϣ>#9 gjtGϖu8u?H|5eIew,|IѱEDBN9R&εI8>bqg61Ć%Zv8M]oJ|>O5s՘5U\2 srx^8+z+dc]sK (0q/VXTR|I~U2N ~`.X2N5<NuΟ?ŻJubgXd :)"^z#V@>=;Qg!u,NNq@"! vuB^ZV:ۏo$FP"ؘ٢h5Q A|Uٸ}="7o3ZMJ-f7 \WY@?lt$ƹo$VCncwv~xZPp5l{GYu!Z);:̷u!y_ڽG8KTB/SлM~] tGϫ&KN|$AA9^Hw`A/tRBz(ٴ{afe|_@ !*$mi{bT2>@F{FӶXmF"93"U;1I8暄2l>0H@hn.ٺ G'WⰍH#+~kӑ q?=*)<ŀQu]FM< v)Y7|v/h7_TЗ 2h';2}pfuNY#fZ4ΕM~D4v`Bo!< yh#%Y1lY ؼ2vviUqZ}p9j}au)gI=/2BlTTy]Y=X8c1&r{Ö1#cRUʾB߬~FuW83@#~މJ?R{c$*"\ {7U wv9ÛC`&tfޝ ]6vr3&,=YRE ¹H{JGh{X>PVՍieGR) yz&&k55mJYHb.t?*,W Dʧ^e~^LcTiw+#$q5f>#(.E5 ښ%pnlNsjжO ilU Mp$- Éhc Vg ljmFu[9J=1J.皉R+rok4y½.lOmXS7Y69]k"])Q=Qz/W;).{9ՙ'SO,{9@Hq 곝xئCe2:X7uK@O:qVU-pߧLYt biCJ,S(I6RhY^" 64\K32Hq oQp!GYnNiOYulٴ^7X7e~>35Gw.X'}8!_ecXf>>ߝiiF/r"ǺLV֋s+L X/.8n0}pYDp>oj+ӥ+&x3c1/܅O2rf &D^(S]K KI{z Eq4X)Ts1)˹׸T^/Vzbϓ&kv8+SH~[q)1DW"6PNu5HP(_,tOGڲˀ[W aI1I?Y2d2ߜ. " 2DdOĞgMd";lLsڳ 90Z ėr6BE6aLHT Y8?V6(R_걝9yxFQ5<~"bs Aυ&ٌ$Kjm |bZLi4};R*HP,E!m 8)iM$igMJTf@zRW}0; @o7]A_|H_oDu!s#+[CH$+.ǫS;;VB#fϰJ)qZW;dќtG4Vt#Vz QҐqa2:i[TaFOIB;C@_q:t,axM@[rA (fPyMYbWޤ?*ɮFُ(pWU6mu'#~!J1˕t_}B'#bͯqaw6"#E+qiMSyK>@37r*UVHgH 1/0cCP>:[mBƒG?nJp jOl=]7Xf2+ =*/5c%1xb!;j(׬ z6s[&Mԗ&W9#ovO:Ï\0|*K'YۗFz¤>lX+B {&vyoT %7@V^O~4ʨJ҆T57݇Ap hZg\=~5?A!ҿ.I)Khe{KG͚/(4Q6eǽ4bW`< ,QgHjL"4\VVdZ)sۢ3ɀbTs,J ' 4R{eSU=`(8RC΋֤XE4]w퐵tCS^fͣi ,Mu%(2_X#wD}ˡ)7N)+0,,RXT"qB= PWwoaR4b溨*3YO[hgƣ@CؠLǢ; c2#`smdWXC;xbn%wIbR uk Y7ASy2Q0:0m=~?*X@C(9)21ZҦdA X=DA0&q#+r$MH\WRϹ̮7ʝ* Rɗ@7;@i.]"lgRDxpytKbAO9] +ٱ?woygzӈAfH.{ Rg uV0UFx+ܧh>ڮgηzE4kfz(-)M4Ą~V+=*=nsdpHs((z2WZYǛpZՆH'ѕ$֣0$kZX!dwWřM"aew7䀣 sWYCeM-uiJYX ߔe] d(d]x!ZGz6ఞ\N+{hdKuEH"1:O33L%n1Ըe[DW2^ξU] j9 iV$/:gbś-G&GcrL-ylD)7ZZU>;^z29rL~ɝpFoMlsg-nB9uRl츽=nH v\[hj2AghV<] 7^D*拍B$ʀG( dj7*<$$Q<W@M1X6U$y?ױֆRğ{#O8A !į%^U䋻P.Ό 4{z.9#za^nLu٭٥{(Vgs)@'"q߃CFƂ*O}rg'fHzȄC`X>.q8vu\"W rڤC >$= MdӨ,6hM[wy :Yqyq*CbmkT!\xoKXE+sg0[g2)IـǡrԾ`"?#wB{|cKpt2lp]djZ\+Н%Ð(_z>PO (R5[H2w&C`0>V7Ay?YVTz>! d"v0aA L'gWyϬwU9:!L=T,;;v hVdU7t[!(mSeT޶yu,2X:NVlt 7m0PƬkf06moStA`A(#{ō*hW뫓+Yk\NNa/ҸǏj)C4O}ƱmxyBȒ{6O5ⲥZև<=nóսe拐7ˆk}%W'8X; [:rR{^EJTq8#8loED)0W6L8ZWf ݊x! Jr.Zn54V 9[l0oz}-nr&c+ۍR:P >l;h?:^70-1,-Iھk҃ 8K TUG9uQa䑅{K_&_yPwir^H(;]Zڕ۾ 'QvW?M Aig]Wf}xa.8Ƕ+I%ӗNDeKzwc%RhЌRĶ*hJpwQ[=$߭Pe\()OKP^,$LAJ"ERHNJg2aiX،g\4j=O,ʶ\C=ʽvnFd!@p3cj]+Ѿ<\XTBЯ[r-#Lr "7IJF$[BTIf>t@jf(}ږ-)8, #zވ5tc[wY;XRQuc4VG@ 8RW#jcQ#-&A44i">ªHoHK}UH8K[AMH2yP0\7S 4M9qwM[]8;:(hD %7ga#T'J Β]3oLd_!v-](5FFBJE1Ɏ5.+7HS3f (6@hyj.W]e6Mܚ7Z9B:iPDаE5>'ĀjO4 ŪypG?t˹rA)Abw~A 7U΂TDžJFerq^5Z/v</JY$qA4KƯ\a"Kz\Uc-@3N]^VSdw67a`iM0-GD"d,\BEZ,E$4;Ӗz˞;HݶrVuVg[he(r͂P`Ǩ{*gSHU_:\8$kUy+{sc/'[^{kIQZY)9eFUk&01^s1;S˶m^'|<E0' 8iZ;j⯂CVŽ޴[:]T5k!=8-oШK7H|g ؃ ?<>9Jnj g42][` ښiQ湷mф =(:Yi=ʨ@kzGQ4ǚUAt89}]}=.dg"65cfP UNi1"qa-=^RxLY_;;7?d&g*f ,H_۰-jDoux ,Rΐ3滁Gb9^3k.gmj{lu?q 4|VXC0-Z;poSvcI(4V7rR,)T=Yqd0L!J*2Td 4Ӳy=YD$xGZ򷧙+))ղGp (ykldzG~!Q8M*XEƨ)R8UhcDGƥtI}t b+gU:a|z~֜/<"@5w}u\]5Ms12C\0B@c ck1,aei_3&vX%!"+5~p|.p_0FzFX\ sj_kdw2\a-E'9IQLm{4@m\w SR 4F)F36K ZsݪL1=7{0AT,drdT wO:utEz(kJ=[). : !YP/YBx(x=\j+*(i8oXǫf-ྲྀ 7w_#j0}lZE|}l4%j S?EpeƔ7~~ڳ?t'J'Ԩ$>6o >@iy?7q\y5C gXXO$܃نѕ> lHu\3\I"̔ 4.9YbMLNc[L F1e 'JL*QyU@1rB͈;l)'8D@dȬCh1).z' J\8m1Z! lS݇%'} cP th&(,$z:%A08*e󫼶)QGd*_iW6xgdlE\@Dj\ˁLզ n7dLDq윟/[&mh'o{>#7 mi&9aV6=\qpKvYJh|؈g -ƨN[L™\B QKAdV|e:ێa)眦Ob?+<ELC}HL&ϧ+\)WH_o:wʾw%e˾X?l`tG |w cp&"ˎ\:[PK(*[?iTJd.ջ($bS@SsAvQk?I%Mu-pѽ;0l$(u'Ւ$E _6S;*X??[0x=u +x,k3xsV0\C| 3nٙ{G憆 T~ d9 >GsV)LĂv`^zQI{P ثVqUɶ`HD2>)T 9%$EugtҔ0H{CvfD,r֛Xi˙) eh"tLVz8/V[U!̛exNuywb^BHa-Bbͅ vS0z)e6tBO +ݎwSEػ= ־VXZCa~|퉝A׫>EULAVv?T ޭg#n%p9؎ m 0=t^M 3*,L5 ! 9cR) G[Fv9Y/VxࡖK97+;V▙m 9$ ?;><qȬ jKjv _L&6ałNxEj`L+9mM'KFUH'jmI/!O (0 Ƿ8sfrmY-D? 7WcgQ̛_M9W c~j|47NמA},S&Z`~0 ?6]@J0TAInd7+E\"IxěD:wfЏ}>-%2Odw}q,=9c܈=3>.)B9Fȫd?fr_0 +M Uj;.Di!ba[}xHlxyl=&W5--z H8% /7uq3׸[30.YZ=yCxg5v1/L 9A0rR(ImHLjRʌPR?hd1(jx}G &ʪ"͙D"EC&Sψ5*q}2pX7YB!ڰZ=^b`*)ǴF%v+1c lG13cR7F}rK4T9ȩPVk'vIgWDa- evP0y_41rzeK.AĻ9Y_#kߤ Or(.%YD&m%@-HvDmn zUyUDi'eÀ҂ځRU$ *>dP+kҰ.ԺZEϖ'{E`Ft1R! K|3:;um$N ([ꨡgaJ  %Odc!3ƉK3N]e677\PQi1:c~t<P kؚ( F֥S{p(`- s90{iͥ0֑M/PI?mPH:` };SŔ!7Xle?z#Y%?L lH:>•G'Xzgih;EE ڿ`$!+\;={1s[)z-j6)=Z.|<-p9`vGCK+p(82ml&xk"`mzD bQ}Y}A u` %b4`&[UHmH"TCY'snjnǷy;Eg.[O>oӪ  BĦV_$Su WmN 6v0#dY! 7,7md"pPkWѤ(lapH}c?Sp`.E,)vR W4j,1#p<{Αvޟb4=)kC$w5P鵐-\Fwj)x4楮!lfr04C1R;Q'k+ .ڽ}qc~X9o8{+x/^.7 #1M+(ë́eJݒRtCs_b*=|v&7JvI} Xhh_$3yf%-9x*=,`/AsF$#kk ꙕzq TCr{d#%bs6n }}"v ڨ]z_QAfs,PAvL*ϊLDDў<7 >fM?Fk=e_ۨxpZNd['0a3ΉߔRzi嫧_3]Ѻ$MI=i0?գf7&8[H.6T9Ă5%Xx:ZW'$e@(VMBTQӛ3Q QN~2v-?Q93˷2-j@9=aZxډ&sYݥj@(F'&EߡGQ]b@33 -b?zhnjsr׹.Xz  W^D` ʡ IDC?G]5/7 `EFLsuIJUH(c]FRWE`K ']/2q֧cMO/+:\vLnv?$?}rt}^()-E9uO"{mSp+~L6oXh:4zj)P*̟u3^*JD=uPA1}cO0%K#,@}4µL_,;G Wz26]GT ]R#=: ~r|q1U2'P;['.#48QF( xODME$_5!̐?Õ/6= KaϫG %8t d 9IcC zr AxJv0 .a=w4 ^%pqc;0x]-sxV-VGMSkz[%YOtbDmҢA_&9IĜ}R`_pۇWr 66\\7x"[>!6q]Gиz:_$$bJKHwz2D(Gcҥ9!ũ1"@ C*5J ɰoP¾!]"#!5X^|+[j*fna4.NYJ<6 VzN,\e((q:N/;N[6R¸i%)֤~8E( 9#܈1N^ ¢G#o/EMð P*[zzlXй4?/+W9wh28 v }L-/Gop._qz̨F۲qa 8 wk#ܠ27C&l~Zk흐#^ S`J Ÿ7Yq#x1j-<_>\Q8d>4Ez&ZU%6|.dwX, ѩT ,W" }|WP!;b&`Ru MEX Ț;ixCsİ@ (e^g<)$zMYG exy)*;Gֈg~tQ"[N~m 8-&vAZEc81q_ >KsąBy{N.z vpٶUF0[vKCP#F!$[qxrߗ9o3[Ӣiu\7`#?]qq'&^+&"xE85mNba)9dR*591F2Ɖ@\G\a4b`8g>ʐzA-4{02lYs4D+BSN"CɜCs2Vx޳ ^y}!Gi.vdbG:wP*36aF uҸBph7f JU sOwԶ˼ z3M|7:Z=54tJEK?מkcz`>Ua0z Wf<"kl6xt;55 ośŋ^9_hqV(b`Q)/ ٕ̳V:AVݘ3e,Yg>t42@X"DKBml)ƚ[xg"4~K!< 5fZo}2]ˬ,ctYK9Vݍ'W$IG*¼R܈ 2ejBy1j.Bs1k7/֙,}t|c (΀ =,:RilCR4^mX-HQ2K@Bn #s J1ep~o=~- _8VKxz4?wn^6{qBnL]gTRs@]kr *KYzn7<4B[)2dܣjEjay7{G% Ӣҕ¡71ET;=&`[0 qp~Sg9\s_Ņs R|*4+6xd"^N8y$gkEn^d6!80eXšTa2WlwߟݶbńghX&SyX~zmʭ-@ƥ zϭD\4U>O{oÛOG4Niΐ>*^M]p{W ͨ#g*|v'0 {ȓn <쩱gYZ }}x#A% StatechartsStatecharts.CarAudioSystemdocument.tex7zXZִF! s]A-MՋhvG"uIBm5 sC4)O)khƟh.X% T_6R"n$]5LWY5YtaO9fkd嘹[@iz#'YEmg-k5&877PM#g> eb0QHW CjUmK9&5fͦkiOD+q{z].Ӳ ݠͼTTymdcLu(IN֍pՐi!xDOk4T:\[q3N HLScXB!l~/DŬ$vdph󩣍>~;mfpD"Sj$Ǣ tI!u-y~NgS% TO{\~VOyP˙ 7\Q7PL['zտŢ½rK<KX2,ariY3m>Op5DYu⧓Hi&{}޵o83i׌94<'5,v,3 düHIԠUtz+IHXO6\|ɗɧ-;m>.Bq#_F%.eET6Y *Qy3qP|!eY(nŮ^K&DHs$^(WCQ-{8dUM$Bf(JfQh˟WMEVb0ņU Њ[[ٞܭȟeÉ@;bu~zi~(9[Ȑax1fAA -O vo߃ъ^@(ިgЦv~G 2ƾϝnZ7A^; jR|sm*u$>\_d[w߮>P( M scg~x]d!G$Ƴ`EA3l _A3{B㍶$r[A]K]K`@nL#PsS: f"k_089. (af#$Ma&v mt@TX,9FA~a[&Bw&ۂjHŒ`wрN̘bD"%CgcPg)x޳vGCSK_6'Ph#_MuK&:! IᴞL+W?|WB ";JdF -#Q+ڑP2 89~q^aLyS_g]2LgoKuM]aV 7U"Wy9\F v taSNHPbגk8q dž a@9}>SJs$O$k{{./HG`<3T .1u\d-ֈ93`R̟J5bt˥OfU>ٶg*Ⱦ6RB܃qyc~`rv1Zf+Ih{1!N dt$miB"xlRQnQkVM 2]ԓ[ /*g\*z2qBATעv = 0J҅8ȵaMCC#~vB6nϷX~Wqby* $nTAY6ZGۂX!&b}L ] /~ ;lg;(5f^Ӑ-X sq+(YT1'rm6y1_EFlL)dc޻)NUNQvDG[l{a .E 4voR^ȭ0 [F39񾒽h2rI KsV^Gt$Ng#w ~dί &!vj v9j.a7 gd;/ pckbap<3X:i$klTeXF(1=ݸL-Aq5e5u%/Iu⍿ܔUi?'TV>o (vDwB:S=>H+t/`Nml B]841*&5D?2憁pmxv¿fǖH1K~Y<馸Eixg+cl82v16Oݳlg(ePF [fb PT/^JѾY/T5ȚTZt*pDAtUUƟAzoaE)>u9i ɞ@fbjX| KP-ʌו\Ͳ01J41c&~'ϙaN{|fdK$0"jWT mP9=Hbpi 惘TCw;Qڌ/`CQIS/|+Gtr <'/jH9ּSQ2Cre?d(+ @ZQyba0>Xbʐ8%p|%`-A?~WvKC17%\!9U *@Tֿ9pjeԉ3ny~2a,-:UmR{XOcL㤰uΖL(3k`y6-yEG&st.?>;bK\L@IsN&k?(R H?OFsD # rU pOM`LKnP?%O<*qٶtI.dž4)Q1 {as !mJ&M$= U2zmA/=[W!2 1Xg n?ZNqT=A'4Ct0ۼD^Fě4}ɬ0W2, ]usf-@.C>_V=Y`;PeS[{~p,f>E-$7Q'j`ո+LT)DPII!';Lnd1{Ĝ,oUdF-zR 0[5fjVmQr~67u M\`T>ڗSrr?ngSn>$FQNZ{_/Ξ_qItTnVe6-=uO#eMΛKޔbKoyWAlz ]_)m=y ,b`d`ڷsAapy;Eڊ䳗`vHOY6ЖD<ĝ 'l=9rCH`gܯe"~,$L :mXO<<&q"ݏ+~R\p34Ȩ!S'?(hH}4|[W1)~=Hfmw!]UIg[Ofguu1uFE*p»2+B y[!bI>6e֍{"N >4 6T+z3Gr 峙hm?~~rڀY3ӶDo imrD_$tC%uUV.>4]=s/\bn ? r$HED0]񌩈@9aPdmKIPXeU; {Cr'oUg^a$WT',׭/ҾTKɥ|! e%w=oSHldW%<  ;?ZV3e#ksSqwU{JTLmCxQ>̳[AhѬ䚷R^B+pG"Tv\f:{_B+[_ q/8HZ?2H۠Þq+݁XR{<6ů)jtL>o!=Fq.Z.~FqQnc)&q(n(Zx'v" -^&^ុ٨A׻ %/S-?^ {?BD2askU0f"f;c.m4dcؕ(CJ7. D_13IY!92Lߘk!Hk[I+c̹wOoD]Yd\/w)&5շ%kwn~N7@\npD$T'c}4ռ% + Y/|0' ǐRiOs+aw7)vݙذ*ѯQ7k^2a[jqB5CzB>FU|Yb [A7:z'8[8R늘b,&TGzO ʦgq^Wg}RNȐYI0/x*on!G/9cӽ%v7 JBR6=VoQ&@d:7W1 )YdwytARnt9" m_ȋg"l"9OS(+}yܙ &T>`(67Ҝ,_eX؄iNm݆-o6?( 6;tiT !tVpaAV?~Or]FՆ~C^OB7k\7D9q_X7cl_ZnEoWbL ΙR*aZD•m8qW#PaLqiQ\;"ș͐uA$6gU"Z~]}IYL⥀gK8f &5 P!oW݊,Є#FX`23`qQ-Lq,͔3{R!Yկ,_^4|F+3^镸rE9/2ٙ`:\wZoaU BW\td7tju0CT+G0>0IBwC<@ 1k* .853 % L=䔫X>\RbJZ TE9k@bƒ=.|Իf 5_0Dݍj])+&Rp|2,=PYo RΎ_&l'TK 8,1\>xjz'.bv؀?{<'$3gTA*a6(]z. C4+ʦ蕫JV`F N20dmHf[cĒI^iqzByJH2&TgYZ  l l #3% Wa6sq 2yp"cS_5jSV9:,DF,KGZw^H9Ӏ:F\pfEpެDtOoz#Z=8yI%@/3B=*mnnHPPΓ9h 4>Q_f|qj-_ 㛱ǻdFl[?4?Ѯi E shv>Tƪb pµաVCi%x%,Ӹd{->>~ɴoE344[3DAH<ſq3e!.q`B V#-% \StatechartsStatecharts.Datadocument.tex7zXZִF! m]A-MՋhvG"uIBm5dhBܛ:Ä9"pLs1CF&\ %!.% ?CGj&4+H9etIOz{'x'G@ˢZ]1eRY zSK|rY4No#\%"pT=ӑfQ/p5oi;.'e+pa(?cfQ뉽7,d4>03"IP7_oo.rljO՗©gѮ.HiS!%Nӛ=4ғiOIaf$ y!K™}P8@fniLj\;wj*=I;_Hefej5J`pj,*P#a$R-qGTܺDr]Mj+Ơ¨G0xB*{Sfb~LUZ.` hDL`ɚIAk-r+f‘ejfnDyv헱8Z7 i"vU$YRN38유>تQn@&|iRwVm?M _bb=%?6>^ q:B3bxyšW>V 9h_n1>HJn_a|,'[&y *ʐef\ ή PT{9WEqqMX6a2J?GWizۜ,cNSv>@TH ߴeGRK$T$@avSo%R ȑ֥P!Jsyws&Gacª S!ùQR 火4b_2IºSwlA]G{`}P"b?Y01H 7%o0 ?=C8ÈKy] 0zhEoZ{<SKO$5θQ,>xe:C_Z*L:i|ŴPi's_qY}*%qK!+euUJ>P>eaWBԼ{jJ{eL{:Cli>,+!XDm`ʼn<ޚ,BP*,%nRӌ8T3̈(_=;*DZo Ipk_*akKrK㾋ϨW]=1A|$k@%fZoc^.%vܐ*ɸK0ե ρ Rg rVdvߏ35( ֻC`R@?fQV'8'?ܵ6)UXwɞEl/N)颵ebI;T{+,I#s 5E"շ[ffl8)["R /( .mWHI^A]K߃QFz9X4\0tPEHc>_DSq`bQ"IfîY#B?o2r11Ai2[O]F޲~M`&+Iyaʭ]vZAC5<h"|k1eQDw7RJZ*! d͵_4r۱ g..KsDFN59PqqPYS7=F1A/$TJYK("]G݇oiuD(Ji}Wft`yf`QNpD.=s-,vScDt`Ik @JVwƼdƺ ]3&~x(#8Tx,2):\ i2$ FS^8*i;f!&Z星3:\ih>:+  P#8Ñ8dCLY`!}&;_=.(ÉQd4HoIsFUy=(A)ЕfZSHkLPPLHu[ ou6K`9˧`s#o1榍p`qL_y@w1)ab;z 薇Ҟ`xV3P?fu%ѶΦJߓ7 xc[Ð\Gz8\.>HWh`D>bܨr }+or!QB7:듢=pa b_QcP+?qqI9M(i/ae2%8d4\eweӼX]-rDLpS}>0jP Vp;D`7jS , s{sf\͔5h.𹆷'̰x YDIb CuA} ve;1v/~&ݗPir2MƎyQkQkTƝ~mPHJnJqUVk2eZd]9-]*AԦ04bt}SX Zk* eFiuZ0ڵ7KW᥌A܀W6(1&8rjW>S-\D]yJ ^تn*Lū2`E5EaYf׏*B/@0oûĝMC Q(wHM a~h4.Mplj„_ [51;Ϯi 1UN);17]ˠ y6v>j/f>Ax5 k[>Bk2׍GDj7PtQR%()`K(H!_|%wZvv40{;}xڕ' )(=Lq~ZF$s}ζIbma-0/m\Qp@svP1]ҫ] D>[JmX0ڀ޵%馱tF]9;azpxD8ʽNdݓf3L{jDwPpt qUF*dӎ?W5Y ﹁L^bostu\4O6)l[zN ǛÉbW"Q3#aKee7re bl_*+;h h a~8)iղå?a%i'^*΢6$f,6-7CmBteֹRk~F9;O_>ytdMrZl6o^ _:yi+uVq57TijȫMg\wBڕ;YF5IS*/3]ar` et*  wY9庙#""a>q;۷c܊U;Ho l){p\-{%"-Kn"ȥ_fۓSfk?Hӎ®YDrAB^qβۅ!躮|,I%G,+LFNI.^$ AN=ist80>4~f;a!6hT,#P2||NvJ@Ǔu6"{X%$#_v&p!r"_É;ގY+hBr0wmr&o9W$P\Q 9 (=ϽQw̵/2KBP)Y"kj>z[:='2Ҍ2&gqvyȾ3sFүtC,~.n6[CͷMO۬ DdNa$@BzG>]h?be2w)Q>\' 0lPzb1@UAi5F库J̊}6wQ?1>xʉ3:oxAҷ*ӳ;.^ko׽"HBP-5B‘;'XYHFjfʶ\_9l@'$#&CӜ]a*$;AБ?A>vzLU;}lJǗN޲)7i;ut5_IPH׬ȮBnXy9// Qp.Q=1e]a&3A*I|y[}Rƅ/lYZDO*Lj}GQ/ +FB3\s~R9mtz:/z/:~UںfO\܊FҤcG:wxgYZ 6#-% StatechartsStatecharts.Exprdocument.tex7zXZִF! u ]A-MՋhvG"uIBm5V+cBn V D@yK77^X^.)H ڀBf2o%HNַ~vdD$/#uTyj {Ӄo-3f}|C)-]KT]J`6=!R`OW[]1lY?6W1Lb#O ]x]於(Se7n#2)+\y2=W-yn4E\o%ni\duU's,;WUU}EKK-rƊ#=;[!-b2"D1'<=Z"ElLPӧHW`lj(h² D颪/*F?|% |_A>4>}LR p- k{pX7XOt"3Ph׊J֑~ܕV>z*A;?DaMVa OuIN1% 8K_ lb M4o~@h;_ O6AG'vq3vGShY՛">ꄔ+F# WpMȞwIş?|=5%28Z︇ĒLw~KI!hF^ ٓ2>hyxDZ4X) `xnn$9->{-{"o}b+8̖xMC>o bb20LB,2擫^l29xԢK坦  .!Uh&@؉"@ixZ˛ gdov}+XJETphb@j5sNaD ߳.briϦ_ru3p̪ vIʻSN ~`,&"#pH=?u 0aKs_­KCհ8̥\f]m\F}F`bqvEES"v?<71n }^IuJI{Ur^ $nιph#/h9Vo|[uQhNdC)X{|ޯ;i.@ّ+gJ @& SXU~7>oV,K31`z=նzX3pN\K2#5L>Bx}IBJkJs&1^G 2O񂄀mK@Mv($9(MLP֟:y%eސp{+Ŗp*'#_Wڇ8JHt,tXweh6gNeZvJlpdkf/2YЗQ\-]wSn2O_ گ:B(*6Ayl̔ 0  kJFpm558ˆ\ WdFr|^tLb4BoLi%65D vG~D^|i؂2L$6D$f&Crڐ+*/u(p|Q%]ԟo4<"Wg.CKtpJNXa~soV8tx]c]pL&Ԍ14 z ZG6 Kx3P@};7160EENzm h3Cxѥb_88QpC-F"*/+h ΐ֢0R [>_k\I2ɘz\E;{xg@( $伢wy~㰏DD?1L@I-F= C$_-tMbLiaBܕfELu (U@;!VNc6"Pe~$FE]aOt)mxBfqIݜs⭒\նk;-a`sT8x梪BBy'&36 3i$:M`n2O4e1ZI әaդ+<ЛCon1E fsъ^3ܭ'Nal kM3D:~GTܚxJX _9,&j%FOPmz8=r50@RgWnW`Š=[槈U 2hW5("`|ӟX~ɪC[]3Nh0R`W,ᴫZ<uRܐ0h`~2 5c4df}=rj}EDdL%"(ѪĖmȘ߀ZGڤqc6x&c% u!ڑm:f 5oj# 0`}ls(j߳3(krxOE32BS{ L)[^oFCnpc>Q\ 0)7K nio,wa̪5[\\r!e%p(M/W:{}_8 "bP$3SkLȭ F*d@HDCu'TGyʊ۟!B 3_o@ *hsCw,[^쯈ܖSO1~ $,>P̳"w}"V>JqK/$]w$-_5+?!s@׫gЄ!dbO1ajq|wK)S;٥R [#J܉@m#37/:P=LfwwCRW6M;)ePgY'l1FLz]'ثJ>@<ȣUT5Gʁ'z5 / oǑ<={,@ cC_=[ C)Q`q=uQgE ~eJ0:|hhm o;uQ8E(ddNBj1 DK{9(ohxS0J-)Ռh-$`h&Җk((f%$JeS(5g{]`wa4D@Z4\nSQK 3mɚQh@I3[f6zG=;1QVlAV^GcTC×\l}km<=W ˼[;qdQ?=YB @vθ0RotWD|1{g'Lu;ӂ8=U{|º-ؤ?Zr]E?TaD 񪢎֗Wʶa !]if`xkӏջ9Ri)$4XNr)vZn`f4?F5 _8th.oY|*=kcN h&GzV+k^j@L8)<>$מ0pN'%1, 7㨷I̶.Vx̮&.֤TŊ[u8T9 ETN ^2n]E{}D( JS?I ,dԫ `/DȌWĀ:>M^NP֟'Z}#RM,)YFu{MJf0;!zXǹ` *|DVm[y*؄a[(bgG˱gYZ 33J #5% C8@ޢ|)O @c hսom Sgܽ]=G+=LfXn@ND!Uݧt/L{Xwe|͑Ø_{{@dli+@.8 Dgb ՜h.g+fAҰ4vDhکaxg׻ ptWYFw~FAfxԫHe}FO.A97;L"|rEξgĶ//t)dCW>㍤xS]`1%ƅ~XIèMRnE@௺/du9@V3޿ ' )JS4Hk%MνOUM0VG#[HRg~*TQ}>d7Z\_5Rw ;Am&$FfpaaZ1kJR,B/U@ ðP$b|~К+F,;`";̞$Xk0A4r0"K R8x C9 RPoŖC|6n7OSPf gs[7]񡐿i\z<~qx=Nz=, y2ӛU ,ND0O^ȄڿBJP$7by &YyJ"WeP' gYtQU(mޣhf&GR[|QׁY%^ޖQ@5ۃۙ5p9\t6hL1,G r̀O`v́ )ԋ=YǷB(Q>Vjj\BYKFm@cd($g_ɫ {슺VU "XuG/0J CFmT8.'LZsq̱{^F"p,uiDucٿennOu/ g!Q;_b_Gx"d_տ)}~DBVJwg.&Nw$LF/zuIsBy}NrŴ")(;9xBrp2N> !5ep QK:(sBug`?xtޥgYƑt]icQǀ2D;\eQ((Q[aY+$J z#ʂ5θ R`aX]ba=kO3Ґĭ%OGE$տafVR|,F.ݛEd"Q:9C0`cMZ7:lZᙤ4Mf0Q-B?ysy^+'}%n',(sOTv6/SёrYER|f\u3D+B-,fpq=3b_&QR Z^^uI@̃v) Ƭ3a6x /3 #P-ȱ؉q,/ڲ }rƑgTk6mf#[|rU2q!" 1ڂ0hr?k&N1Kyl?kx<-ӖJn{4'O(HlP,ӑ( *U徶ҧO:UdmOMLH:h/Ce'ejj !L.B!hnMa7ML`ھLS.,,eQ院OCo(̯U/2>rr|ɔ*U[0591p;@LD'doww#4z-1]Ŋ 7A\yi5=I&7ۿNuwWdY϶i,a^lrNL-İH\SA*ffЀweJ j GFexE)qQJw$Nn?G yc@:-#8gԗObrV#7ҞƚO쓈Zcftx}AbMk8LO#AI,+GoJ{Wu߱ڧ.Җ%9a΄L em L>ű ZR \o|ˤ!7"-jd~~"p7 =FMB 䜁4Bpa3As 2ZgabkSm'gn5 oV"CxUQ6?˙ryOA3U"P¾_T̪h2tOl".0T $j ;,n5r3a7k F [(XN,B9Cāfu(ȩ)@38Zj2U Ż{ITT=^JPlCc@?F_A!sBCsHzYu2yy -?NcgHR<֫hJO`htGkTv)HvY#xR30WY)k%^Ca +sۢ 8uތeε H)vCXנOC?tN_Rپqѹťf+Aʹ:|y=&zì}`c۸w҄q#78S{JzHS[J vJ5ZG? 'ߵBlZi. D_ [HɓX<,;Vy:.$p/'XP 'I' M\El7WvX|Qn -hS8yKG:2$ v$=$ϴK:|@4)Sܽq̈z-XSnz)HDg8Zk|f󨘇]5PM=e*t3Zbp=,,W'=:.wtO3EI<ϊ/d;=Աx8Ypp}0n`e)lL?HԔa|Z{i Kʝ8M%EaU?őXii[әsZc}. Qp/Ⱦ.ZdD>(5r6"g@GY繮~PNQke|;{4zeth/%kՙU.**T˄9jo+^_!RjZ>I(1| v*Oc4 "){l`ERY YBA@ϲP˃Y4*ڿF*< C]w4OnK@]޾{NЄ),Z ( -%ܤ6TxV=n!}}ou^{DD{2R1Ȩ qPik8۹#VNbg8xֽŲV :ܮp@KR3]`}L=ܛ֓\'#6V|31QՔ B]~fGd~or2 inQ+xUd[@DbM2W&o#I<>fM+Q 9USGs0C0Ƴs1ҥi\A20jIX]j\Cih q焉+ċʅ:t17kf\ }{3{Jsf|bFQ?R _U,vI~V@*r[\`[:] Xox~xݧ}th)!џNVsY-`cXy̌+v1Tv>p?R'Җt)C\vǙfѼh#lD 9Ҙ- w-ʭFm _T2lC8bހҌIVm$ Ë2bz*k%T`n:;;Ei2YMt[ЦKTQ$3kfާvO% [g"XzoE97d}ھ9/a9qardy%XXo9܍U{'GBXwgSpwrᙦ1Pr63.-nu+Ǡ,~ 獫ܵ.{ sƢ#f쁹i|Z Ho5{ͯ ƥ~,Idq"SgYZִF! VH]ŗXi%; fSuhm٩/n[SlnwU7ҿ4 f5;rHl $/S=nCJ`@AaxxQb[H-S:ΥΆ11vemH`O#HRM+k(>5> |kSR,j0R#Pk6j0jqx6aŠ#ua"A9lwV,ĩm99ŏ&g!A@ !k~zlݨo>C}gh~x(̄Y j%s~!MBL#2 Îk'I+Ҕ Mwm)6_P`﫭>+m\~ M⦖C}TJS$Z;s[: 36p:r D.K?" 'q_]*V:*7q:Сbk1zPÈvp-rGꜬb4==ͅN+XCa0d1"C UG4qԓs;< q2Zc(i~kURCK 7&.ZƠgL4, ߀qtI;fw׾Iw+W#j)f!Yu}14b):NK]!;~j̬iIL^`it ΁C/"W^tQi1z9jBغAsig#[˫lc9DU6w@txc& `X?D؅?0.%;BRֿ 4t;k8.Š=cG<` a+bR0m;cهĔ^4aK{l.ܖEVөes!ri7UU5LÈ,.Z{tOhCو&WxNje)_XtLJ~T8$!qE,s*"iY:'}f95}u8Z˪ dW좐;svo=ͥ鐂ۛP}0Ϧ"KY֡-a9׾aNp>&64 #jyIYL[#: q)яm: x@DXjz/_Xn c9>A2WB>Q z`5PV-;-X>_ 1}?TvՊ<ӒfhZOt!iwjjWc u D1`\vIF`-JL)Np/סjQLY*ugEHF43[/&LNjQ%f0̑w`J؊GOf|bm7$iEz]lZ V[9 Mۧz&[@Y.YFrrHo9C7cl"TKշHfc7&& Hg ݲ6υ9uSoƟS>3cp*Jg ,Y(bK-3w_^@}Z~A.I4+zh" Hb-R+!IjLI21t *.0ȐTmc+({[[wfEGyrMApxJKOgOkOt5P 0trU(i}ubDHBD[ן.oY+0I*t2teZ6mD}FߥmMlfK!i"^2p|I6kL+YT`=x'#zf c@.m!QtpPս_ؚvBam^iU94pk\6;Iij p7UYR9ԇࡐR8_UC(9?<5B*6 ]hL wq5#r,^n߇A8z )4~~em52rӷj5Vš̱3?n9UԊ<. LÈv6Ik}Ɩo-a6諂8dz/!WPXNW:m~ulxymu "ml6u _6#`yRO<{U4A>+}1± ukCJ N8Q-6&j\!uE5oW Ć(LQ\l]֜Of__̚H=2T 0"DIYDE,cͣ4G$2[M `Frjs!Vt=\ß'L|@GܼyTWLC3R(aI ߟ,XR۽l5kA5,;(d$^'B {5uX)̫oiG"⚣}6 FǏ-34u+WWGY:љu^@wE-Of!~{\YVfi9Z_[2גv0xABp,ō#Coݍ4("c5v֊ ;W@F;ГAź%A E0)Yϟee~hsBOO}*L~5 N>#@͌5gP@K7zYϿn,HRsĤF~0!{7|i-;zZ\>F ]VȌxV RL56_VVJ<+@JSm6dL]3g. žY#d tj$e&ru{UFr|˦N{ge+ʾ;`^8.;Y8fu~s)J"eXU>}i}J#cε DE,H 3X11ċJ}8H)fuŁ#ZI8]is}⶛CZTh㠡(FgZZ+zgYZc6f2f8655fd2b54f44694a22d8fe4c70e80393060a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122