SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 #vD< ]/ Statecharts:threads=4elapsed=76.199cpu=204.016gc=3.1407zXZִF! X ]ŗXiɟH)0!h]HMƒ\GxO@I,qWm))&lS>ſD)pZ /?lh Ȧu6s_?L 1j;`77 :]YOhᜈ7L64ӦRu JߧE, 3Hh ieea9G K9y#G?\;F =ܩ6`# Z"h{+\YKWntPKǃ&Gh1EZtȫ6wIF<@8)0fs57 B\?XE4k~"9YUs[ނ8U&Ro w['jT6V,xB%, ۘU@fOD\3O+R9}`a5vx9V A|^tIX6fȌ`h-kt?C0>}#3Q#lC{ b^j`]_8/\-l sL.\+kuՀ:|r2w[&P\BeD8CAD F/3ܪ-I8^uD70GU# ߀Y}EBkKֶ$*iQ>mz/~A>|(?54jJɩx{}Uje" |XӃJ饝(-]Z|$zҨ4xFb๽La&ijtk׿dbcJgat[Ddb%AX[Lף?޾l34&#K76% Y ӴhB2e[!XO<_QQh3UHhiq-`R{bnXP,K8@by p R`!`ߪюj~f'MIUX5ߐBV=Xխ.4O^(^[P{g sy]>t@82Ť)6)B0y)~Aܤ=c1#*BdmsW޿tΚ5 ZFy ]s[Ɂ,xoE|3 dG r"\o(9%g@C]n-65]%%Ԕ4IYFKkU7aЎIƒL' 1qqSQ5w! L;a/; !5zJƛp3CYI5Ionp d M"NHri$YnMZi`/N5O|W ,:[zG1/e[} iȼ4"5M~_r 2cNr`_G508 pS _D6sL AqNњ$eVbH 0YS>5ż=er/* \"[r@* Xrb1//0TM7Okw<3ƈ:M8@7\gX2_[ޒ̞T~ReJJ4z\#NhnH~n}=&t v o[b*Q'[K|A1ݘTd>`bUQ]LE, П%Y!A9[nv اШ?9"i]B+Pk5|*_U/@3ꎽxL!zO[bf>nNF#mVDB`y֓ߋ$i JQ{kK9Wh>8xa]m)9jѬ,TFYmkǚW3ٷd>8+ZpPkj 4ʙlK.U +&^QI_0SVPRX7|db4mu:O`W[AV걉k1,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{̱c@WTtWgK.TyO2R1eHKEAm/!޷@?P# _Z?j[hk;/Ō/uR AYXžp@ fǬO4 -nvWz/`6yaUրrTTf]b`G!Ş/W]40'(e8ws^h_ f̓@3zYf`+)sPM:kHaH\[\r9|#=>~ԯ݈}<yLp8c R駙F qg߈B5ĹCx毱Yd "8˳= GDI"ߑ<ĺdrsH'm8<,W cR8ӝw?Oc"j'Z6k|ЫP}MNgQZ!+?}fU^.*?\H_JS0$/q@AS J"^p2k r2H*ԕ^vthg_ bu6!e8H'| `0x.UQ+mjQ`=|JmJTCuhZJkucl/6AD֢Uf}?4o UDa\mL+o^MOrRwEq@N&)(L?ETKrT7n]ϰɇTܒ,EJ8bK00FDz z4Ď4l^LHiQMRV촒pmܬThl:0vn%F8<%\^bYRg-ag|"0125{Qw08}QIS46 FNkL.f؆֦}1w?.dPgϐ>Q6 ԍjr_gaY\nY @WO(db˲ Cyb D͒Vq+~*0.y>bT>dggH5BF닼gS%W#כ}D$*0qf&W]xcFi!ok`qÐc U+_[[O2zJc`O:h]tc> PCZ)K.1[N,K"t[(H0…2vE@K6y`3F'5x0 xT7Rˢ_cˡJ?P2]>N y%̽[D,4b.e:U#"FA@ p#{)"W׺Zlwh4>Fi}y^3%4^>`ձeRzB 0$Oegl|)hU jx6jTX=`\;k p?riPӹI Qg@4<^m1s$oi )!K=)Q+^CҬ-lBPe.@U$poL'sË-W)5R (ZmH5=*W cfL+?+~HW@Ypa'U.F~>[i;E/Qb %`bN,tX(S&`&6%Q35wkt6BWİ FaV<1HP+17⢊T(}b>bDKuS:.S[(Uzn3M-Z7γ16(4=/ ōFkMޖd+#6YI5u&6QjޯPfp)sxLKi]Z_G28hӴ(`xКuȓcg.AYm3 CS}Jm1*w xMxDiB p6#”WlA&W(Pl=*ieL)QWhⲹS|rPa+Nm{))bq5v.h󁤡~ny {G%L.'dڶXa *ܘj]H1/×ʶU>IYV|^< #.4# 1N90wNU@HY>±d|aP"ӽD~* ))kxEa;_%dzCEz|B{I ْ^%xjδwW5YV :UكukҶl:>FT3 $ <6WZ"Lu,q&۝$`dm c C뉀-!E161=tn1a,x6 `&2Al2Y%iw=;R-kZv^q0f.Qg[;n &r|aE!RRN)O~rZPZ'hY@ r{<߱DT1pOnB#TwQYÓ1jl+bw0 J4=B}/GTfb$!2ˑܿ[n7"MVh,lhG6`<0n: e5>FRAߠ st 94rv2 N 9m,3w;m4. DOwf{m&q5?g!؇8Kb;u (G4K2o"Qc ɭ]szuVu"cϑ-l*yU˃[G9hcO Vun#-hZ8kFgѦ ]#rutǹ~jDZJk#L/ Pe,11>[nHU2am t 8[XSs$1S=vr|K-P_߀q51pqhpd #0yh:hdUG&Pl,i@m Twpz['SV0#*ryc^$&ۓq,::-a}8Qu%(7bowQG 8z)o):)Vb$X)^0NT(iYv?B,)m8 -߮Ѽ% 5W(4cg mB}O?/QHI K?MDi9+" %% 1m!g;*"Gi.'9ҡIz(-iEtzKI<]RYG!abơTC& >I*I=shS| eON"qvZ os{1?tV&&J#I):Vg.,?^1Cks|2󸕤-߷4 p3Ħ"s O+Xq8q427$5ɢSvg2MlJG,j}pgԸ-7}/-P0?qMxzzE%Ýtɹvo*I˼ %#{)ߒ@'EBkrC!d9,)yi P6j6bH&ʶ@BJʐI鞖ݠ+MW󨼉^ GYdiA *xty.z6k6oJ88UNYFVq%$9@).6AvJ)i$t[픁枑]`L֋#?:I`M)@k}G,]6{w5pC2RN[a=lvxVemޒDcHp Žv?8wT^V4W{vX~8$IC F 7 K+h%MҘvE`n Q•J"ϣpcV-@Y݄ ȪN~l?m1 'ZwL|⩙uBU}T&Gr`WD%_a B^.0( -Ku#XuƊUqb&q](A0"FOxYZcb8~=Vb]%*|nQUv:<#~nD}jrE:W mQM 0H``0J1]YGv&9ѹK"e3tK # }RćkT3αǬLmC V#*7EY_/^Q! (~j[&O# s@nsr%uYlM^Ž1Ȭ$"z`Zi|HUHCӗSRD%>$<0K0>2n3mz EXxK&89m16 GFeb-J+pxE}P^n< @mL䂷>TѤ^0bz5Ѧ4”mrk"Vrd@2 -D9u.%U@Yє1c YQ9E`q.qӪ>v 2}sRx6) PrCe,`Xjq WD솮 hcy͉tv 1j |bN\8+ީ0/t -B +k)Usb)io6%z5hޯȕqmL\yF" Sf(DwןJ~·|j \9bs?lQ@*x/}"Չ (hvC $K 4)er-r--%@Z逤}kSUT}F<(Ao(TW,]-8maNF^1sT񈪟vC~f ,[}e H3t%V{_V k2& ~åVA"GP_U]v"wme;Bl<K'3/i="8Obz %NOBGQi1QWc=mf>2=&:?W+m|4eC VnqLD 癟/Gl-r-aS/h+ U]g_%j$)ڢ_:Vp/v=وD!¶W VL5U/Kbi%`{=>FwUK/:դ Dx-Pچ=l$$;;\ 5Zj0u Trʏ&L vഀyL)=Nc</Q{]skE?uB Yyo(y:A?9k͡׼ܐ,m{xA/aW X@Rw5TmD(ֵ^ĴD38AMp& 4ǀ vux<RóygfV0>!ɋ4ol|n.Qbe-o\Y0lXx-Uʣyc5cPPV똙D+ q~㚟X *R A񟈓)3T['%=Zb';FhbV=)v%_c64F/xW|rGNu @xUe` Hvdž=lGs@D$(|q27f݃ N%F`+Wyu[إֲ=ғ=̡L?`\ b*X,ϲxLsNE' ;y8RCٱ3 s`6 hݲZyƵիOXn(N%mg1M5'9V`40yP ;^+EL0,"4,x:<yafpf1'> *`h&) xݛ@'7k$!8n?'JJeM*c1VK?Ro ئ8\5rY}k(G]͡~G YSx;NΚN 3:ͻ@s>S;m)6 OQ\rv#7R {x|ЭD]!RC3FCEEvc@4oQs'N2($,CMAGg5VKgsZ0"Vm/Glb3W J)F_|[DP/_85pK gs躒՗ȟicfN⨀s<U||\OA"0,z?h`P&n=Qv4ԴwƼ}hF nt +(>10h"q!ICH4w^b+QGϼA's4[V|>~g. DbWK g_yhމ"1NjKl,g[ba& 3J$WF .g\_^>- Mf0"C<_*o<"C͊o;Sjkjp#No_ZErR{K~5>9mI1?m61le*²jѶcT^t*T{'ȕZ5r 9Q3Jw5dQƄWWwl,t''R,H>V]t`|N_<^^\htYq?mGJՒ uV2s㥊n| %G; AGLZkl&iJ+2ַ2·'YqM7={ ''{Ո+~%u3Xl# _G1ăZpEϽz.44a:) &{PF u3%A&6|nyX$701/ vߣ\#FT}wL<Ŵy6RaZx[iw@cC h6Y I٧gYZ$0"jWOdc!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+~L3lNJn)#đRs:S]!'=1›j,.ł:@N"l60:gv#oHCCDj5QWK(g^[*zeEG2zedD"Zɳc(5c2ᎼH*v4Xgtpm :{) j (#H[rl!2 ;@3-x~V֊bR$Xk$X>Z,^ B)x\a8H6 kȤ(2 xs$m  NԳ%2bXH{*oK-A,c9, b7?8)_"ioCP rK,f@ZzWd]EU ۠U2!)eN`R8zYPcɛoP3pl:8jt#3_u50T|āſIPSPzFFM[qxi?ӯeaոMd1p۠^`FlUud0*JY%z"D›YU,L]X2)~?29ֲ "{ő:.r>@Aoٹ'JJsUJ uJ+cEد' Q7ۊxL/}>G8-"z" b 2!m׫;8l; 2ҥZK,2Tz+0Y}S2#I5'!s +08<$ Vz@`H徚Wc*[`ʿ鷢lF9.H}{C]jex<ݹCqM'1ngVفRnz)"dޏuߙ²dLgiƄ1Ck|E;DA53pX3-#B;@ p+S!^pt`&bNNAetdHn,RK!^٧C"#%c珅3vXU00WIc`CC?uVmw*$nrLC  Rffդ2ØP0A+m¸H'L1'x3)1W̛+ӭ' 4af)K02I+Ǖ&ר/4aS};S&LaRAYobζ׸^-]!.׽cXVa;cQJŠF߳=T P:ҕ%3ZpF>շ<E7{Z?6X9X1"tnn%PUP #g4eqcTh(\邱ֈ<_WSM(L{1<2nv(yڢamy$hB}`ctR/ L~vA̶w<řCrJb!C`C5#–&"b~**biZ3kp(R>m /MzMuM H[l4XJ,jx$J"h\[?%X  =1{v1g5C/tAi-]kFzP#AzI+; ٕ9۫EmTB8k0GoFW H ͒@AVF/la"UM/&p Yv3j&Ԓ:| 9œ+.́tņ3@lZ+2`7/ g yg$60ۤ3CvpL놨?e*1C!3l4I6FSX׻qRJQ e1gYZ u #/% StatechartsStatecharts.HAOpsdocument.tex7zXZִF! p,]A-MՋhvG"uIBm5FF1^;[l >k1,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{̱c@WTtWgK.TyO2R1eHKEAm/!޷@?P# _Z?j[hk;/Ō/uR AYXžp@ fǬO4 -nvWz/`6yaUրrTTf]b`G!Ş/W]40'(e8ws^h_ f̓@3zYf`+)sPM:kHaH\[\r9|#=>~ԯ݈}<yLp8c R駙F qg߈B5ĹCx毱Yd "8˳= GDI"ߑ<ĺdrsH'm8<,W% 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 Qu:Uܬ|[F mG uSX}VFHckZg'C~1!0Sa9;#[T`Ә'pI]!-UC$+wj/wd2,: /qdᒲ^fSC6}DuCOQ[G /R&n6Jln /s:1/UTE׳xYoGdm^i|4 %m(XdP‰y?\NҺ1vqtj,aw_J4c][ӖxͿM*1ZѹMzqjd+{NSwȲԀ*̜[zI2EIc1/ۋ3RRo\Ri CFu+ ]%Uib X݁|ۖ|[otlc_%O VVx')hJ%C K#ㄇ8rP@k8clHdQI7EN0x  2ĨNB\O\sKJG8ZKY86 j]bNҌQ{̀e{$FHyau=_ܕ}nFݗe'X6Ḭ-SIY6ƙ igDN'Hq%f~W;82q r`D9{DԶT U˃zڷR^l>%/4B9s+Y+5(͊Bą׹F|3lt T i!ِ3( 8h/Xyyz*(6۷۵K:>: hsʣpll]nd&ZrӤ&A_@?Eg4!K(Gn]E9bK eеtCt|AlIۂZ2GEit>,lS 7|X.%Al^HΧkhrm'ƈAwSo$(zv0\낯J{KNۀLe|>͇ê |mBב(c-͟>>`&VJv2mޫr S{%;ҿAdحp~v'`fOL=IIiy7Sn}y@|;ꐭ%|wE5OpQE@u5BTFϖI8Ȭ7g_Ҩ T1t6lqPWM{U͍ bXâfҨ 2JFf@Fi8r( #=0NJ\ݕfotvŇA-+ 1Sާ$"` -᳐,PB yn^i w "~rƮ@G`Tn4*Q] =e,\ !jFUcw71j&0 ɋ_.Etq"4gZvAM|R ZaHfI2%CYu4gX%MNց7H ^;IE>iȹӵ)π d@qXqMM"`R |v8'Vl.:0kqb# @P cdCR^E~"2c/yW]4{oF?B[;Ye,Ĺw֨ʞUoS7h`L?iHhȩ'A_| oVFWJꈘx]sUf˜d\|Ծy[Q؝@x&^C+>ԓ XJG]}eo|*¦JIGU^"Yr ҦfDݏȨ`hSAx:HnXsqe4>li;6eA.j!.p4 ~˗" lBU~̕wۛ^DsZ#.7rE+gs-?%꩒2;V8ln%Q SG_;b/ X;ij=Qq f?<"9$2 pӐP1\KhoGGm%#!ڕSݺҒ؇G$g sZc. ,2!*K7M\zE,喌A9|X|+X·eV[1B *WW>7&*B" sd$Zy|uVp騨 JH9/){/~ݓö @c;?@ssD*ϡ* _U3\N3,0gH# R6 >F aHk+D%]о|vEhlǖgDeb􄪊ԽE6Td{3'bSk(6D P-\Aw?, pM_IIvZEŽC`02JIat*)&TnUbb"W[i77u~#,GtdA(T|ߝty>&@XvBT bdGsJ sK2v ~^g7Cu=|@ʂ\ L+T´2IBPNh6`݄0ON}Nxc r ~TZQm>{q,~4nС϶- սAӰfG8:^jDDoݪ\=ұ`RzЉڮɠl`I,w+|[|C£@DEu8N@ekg7'Dq(= 3srOIE: _jZ;޻L Ph>ke$ekkr3:$Ro)y47ܖ̨1iգnoÃ"EђeSl0v- W rrF$>q=S t#C3oS1%d4Dr Wc[drzlm2]FFQ 9ܬDN̡g1eԗn)w <&Cؿ ẈAxnȒ56xE(5euHz?Lf{9NmF &X*sٚ.(~ŵϬX`:Z+a[]Pj]J3¸^:UL#^ %^1[&8v=~#ہCB%JӢT6ry{Hׯ>ec5-S5Ae*4 J |*pL,PEEG(:ZKc 0n2KW1:ϖ:=/: ܛàO(2ˀ9%nl v;\Mc^R">e A^K5 });b(QR`(\=e}70}Cj(3} 5H Ўk~Q2&Mߐ[7]',B>t*"6-AJCVii^QC wPL%Zje%Ϡ!Uћ,a""ܳ&-D>&y& ^Wڛ# MzF{ Ah:1R(=퐓^S :}v7 FnՓ+ey L:XE8FeZևl*reEvSJB-"aeo[[K]GO4_tzaZ^y9lPX)DR;:SUbId5\M7]3Rv;/>S`10lɞ` ,r>WK+Y %T$31Kj״p=C#/(:]J>QPW:"3u*jjbp!6bA-cˢUAH UKu_tH%;MH20Q2'ᯅx;$ra Mr)?|V[]VW1DGvC>Ҷ5#7}BXk ;Jz䜚XLR%1{s}}C(%NQ?뺕:\jAG#+?qS!ahWZ%h XЉc>̈1PaW#-s谄yZoj sաmmqrc<_w0yy9-n2~%d"D# W6EⅯM8IY7d{eW3:%I:USA)c60[Ugʺ;o ֏e(b6#v.OV?jؗ1N=,ZT鳟pT]**Ɩn͊c{ "m F|k;NjQ/4O,7!vX *^4p:}Bqgt(%.6nV\{G2gOSwZ k"'9;a~)n#"-|y@tGTerηAt3paia᪽~,Wk\cfFlYXXm5؀*zɘP9Rf׽Az&Ҫs:uLdez1u_t|oEVUOisNEQMyL_TZjցOZ1k#?6P,Bf>^`#bts7&c5S lijƁ}dUxw.Ov*I-xeuIHaej\fFs`>dtċ቟Y$Ҁ"чs(G)PJ#y%澏YF} 2T,sz AF./7w>@#~Y'BĒ68GV)ē;/AYÅl+F}D41˾p^mcϢ `yݏZv8%7V7…]HNWzʃ ?oѲn|[ ?/O{u1m;t3>PB bhԽG2?&Tp熢Ceր-;Bn)A>Ԥ9K[ɤŭjF1Cy,LrVπ ZX9<.t&ahH :i_2K2mkCiÞgގG\RVO12S ⶯g,/-{{(mJjX 逻cx`I \9BYdf" ׆׎@3h$15/T2KZ}8o%3h !.@=#I-]0 OcG· RTYg+O^r"nPebjZ$c~ZLVPbWq7de$nqR5{ACh=oI lMnTݏ 8LݸdJ4)ˮΑ 8Fڡ!$2Z)R_?){;^dPNx&(S\Tй? R?glk.|x2.*աW(&փHOn\eFB~8HvNȉDug5z̒ FD6f{7( R}h06铐n,S&r<]oFÞYPsB[:~vOk|R8-h'>4{{i&-eG|tgx P凨9>cP>\.|@eKy/ׂs #?^S=V$geF#üè)y_p's[QU[Qq-#q۾4wW$.\WCݧ5vS߳J4p;X;H܂RGz|TNW#?PZW$}k<ڬ(N}y#wR^xAKfeMS|T)H:n EiI:@lIMZe"\D-é`=loncOդ,Jҫ4>L{$OIYې1HQֈҫuzk[4;bZ/i:[T-P,-:%j6ڊ ۙ╶E֒* 50N{גSLID-}o8 QEal_lI$I%%]>}U.F'/Հm_LIu u!c+~*ƶt$z(5`}by%BgXî j m}9(`օw\Q? +:T[;YN`9[)v3AO|9g鍹n|ƴUk# I`D6 Xp~),m66tP&[]ڟG؏=;-]ԢXż^SѠGE'ʼnD,Q}Li[LM+#QcWrVuLnO q##5yAL)i.YS-{D|ͮZl`iΝ6508H~ 4eBǘ+\&1}oV9N^)|gR+Xa|j92%%u&נv ݂yow ^#D;GkϤJDQ Ёî==iciɭ)Jc4eBݭ3E)sT 4m}W-_H|$_jvB@.^XoX 5CKZZs8.Kf:{|fm-LCqW:m[IYP[#<,Jl̟4C wDY{6_uXź2q=5wyL-# js\7q,r=z290Z; >- 7rD ׂsD-N y'b1*5V y{ǣ=9qĨ&.B,~.Pkc)I5g8l4!SK}X*;\l@c(ZQ&pU+ cNJe$3W MzI@ ~64+ {ogcE@UJ:Қ ZzD[F]6Ӧa#ȆS\T3{]/Y_&d8?rTu=:*6$a>>\"^ENv(=Oj"`'ӝ|/aDK&%jR9${.' }+2ڵwmv BW wgh&pC?*u3hXSQ  SosJ\_{phr7,2a%Fb_$Kr(}D-O5u!cElsص -5 7FBsGIލBQ7hHߕ8=[SJum܏χ"t/P6]Fr)*QJE@S[NɮAqnOد'sBğw jG93Gnbo*;h h_eĵ̉rp<w=/ݺ k;Cr: +;?z ҧVahŚ+"H7ٯu%hMi%['ktitL u!řIT~3@a -hbӂd>` @]c7 i/ԻA$UTDSOwvmbz]4^Ha]4 G qe%Qf ^R6i90](?ᅶiD(pVx:*CDR$.%5椎?B~6Ev|ȇFM2uzmKp'&CSm[p9W`lǡ(f=ՂWs 9JVXI pi-Vcܝ\tij=<ܘ$XVSYEz_^g9e큆ZWdԊZ W`.Lll@z۞(O<~ qcU"c S \uRt:y&7(.#O'T7Fr.w/G1G߯o{pLZ-yT<*)' 0Šlņ'*:!kxRp>oPԾIe=kC&brHƸáWnpDwD ٰVTx`^;ߢ\#Yc4CzA!913#V?dɖfǹro6f:M|#؜?rH)yRRD>>PH$jĦYF0&l.nf^zI?B28SAe'@|qTc1> s57vOH1f7~2Uh7c 5m*L-*@҇7m*r^Ѧs 1Tщ:D tU;MhaHR8%2iT[YpHlb>afFt9-ޢ6vw3r YIjpEuA_Z*WL̟,಑H#3~0O\r>IXx]xo_vk.ұm/OX̂HW$wG ,NTqh![^]6F& @벖Ԝ{~Ly;?2]ՀJ/G ?]QJ#?[Nn+vUW)oif_7͖ݕ!& FRjϘm]Zc6X' 㴆_)/2*:wvQgYZ tty #/% StatechartsStatecharts.HASemdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5Gۧ w`wLIiK E[JOcOO@.ɑlvtoPYlK_LT `Ltqv \14d@BtĚpe~EECXPU=>'ܴ: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Ӱ_&%ʣ|,~1򨷶O-b@QC3<϶?tXRƑw= (:J'DG=7[͞$Hؼ$Ǻp4LOsG'tix,}_䆸ezO B88;'[*j HTxVvwhJ1LK}pk*^(MA ,jQ篬ǃyBםqCYcҀf̣o1m]n&Ҧϕ3DI)ow@Bt_&8JIQ!PZ5w4:0ŀH*u0='TYu5r9[#4zrLG51'uɬ6GO(:%"_@فkZ:C:<^X˔\@Th~@U-$t9K?jWpHҏ!W%hQnS.?(UY8ڟB> %ްMp=:&w+c 1FA ;uye͑spk*\u:QX I?mӗ '^&QQlF2pDm=+bnôXq忡N[h1$8 k//!촞 b>6m},pRGI0tJ~-NZrN yc);C!06Wkc<ϚJH?,7o>DI 3X|YRR/0ۺk"K;jrطQ0*ZӮ$ņ]yaq3E` j@ꭦK;I١rtՈ^dI e :<O׈9zHF>aq~@ }F?%R{\0D(:c QcuoQ]}|ջ}Ej$X'7{hqX'Cy{0Wl@9[j"/9'e>L I||u>>(fk*)Q;yl h5ZQ|(cUF.%3\,Z =z(ch ,DG`HҫL*eB#1c/vּQ$O7p(=]$/s-c0Hks5Js@Y"&/5/ Bzow:岟)j!_|n2Md銣novgoE ׾dXr-XT_YP+Qfk#^%aWgGK:[8E d`횀/ÏbeߕZ, D_Q;1 O/, @T~pt6E:Q7Ȕ$/ hkSbulc7 oIүIZ, Lݘ{$Xn|sι7"6<.EO(wo`xF"lg`7[y$뮴;_*t.%q|5wB'W&Gh2SfdVW*Lms8fw*%^] Ge>*dz$AIFSwҪ h8M}Wmkk̞Oxgv\yl uy]2/2xORjۈ]܌ X+ Cdk   ׭Z? _n3Lw`ab0wl~k{Td2u@d>m0Wـa9d?}h Bg-ԎOd޷mFǛÍĚ´)ї38 m,{%QPqeP1vN'DϚU"~Y?׷-W r@M#P,;3V+R6V.%)/X${}%K2u9ˆDUڛ(;G/8@ t6|5p}к9'ӵBc `%v>v]a 2jy*UP'9K-:ZjE~Q-O.Buek Mc9wP>dxs0w=  `mE.4j&'{7Ym4'  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>+(%ֽ1e'_=KTvr9gi10~hQxwS0&"Zfu+Ga{W ;}iXgg= gJ`q9DqVj %e[0xpRFܖrHIC2f8ׅ-6iˡ•jVsj"p+4" S{a"lrۼZ*InQd. ꄚ G>5mٛcxQN&bJDU>_Ŕ1 GhQ?3I =:zL?\gKM x;iWx(k*,ѹan)k .ܜڭ}ۣ oIqsS)bI+~>'\[Gq Q0OhuO.0q$ҪKMKns3O!M9B-IkNl?Nr4S$>W#x:af/-/eN/!F#\Ô8kx޺ vxR% |lmGI5 E_owwH]$U"VhQx4ƃh 呹j$U֍hs4["o6OɮWvij<;I2peHxۃlP,bw|Rz+ZKܥEZN3pswhWϺ0_lpDAhMI dVEGE\:9HD $W, Z%h#DiCohVMq]@ґ̓B5>yPۭfkLVZ9޶ֳzl }ϋ-NԛS,v7jҜhuϟNԁ 0;dfu[)ehZvݐ:,Ri4GùU W=B(xt`TBluk&oA,PFDmѨ_%xN%'-m`RMQDaPK~oVlu@}7&ҞL Ҡ7cF(j% #D Ͷ4ylW+dFceR?74I` eפ>Ƨ[/^'ƿ!vevLCH`R˷qčI|P D(+P@8\w\9 ,FG>vVgF\>%X,83n+q6LINK֗Fs$Ӹh@4 {| B{py@!*,1!n$ETPu3UJv/!aks4^UK)$S:xTx/lf`8AC|{g-_o~.7iF8 6 5-0 :`, A Ql{hq> ,%\6 @MyxJsElsTF6'E80,OգVMgaA-\ӯ,N\4 ܶT݀ÛU25IP:E7HZu8dhskns4$bw×,oTStX+2W-PW.(?lO!fJ˷CC)FFJFN olug.8PlŠks):vɓ+ C/[.P d2zF.IE׸} 3OAIXRɬP!̄ C75 ŇնkIu<Pi=>ګ>M![s^b 4=}zmˬo"$vD^k#"^(&Ga'<Ɣ`)]A&I}ae}9va̩3 7բBĿ-|QU2\9ȷ&CfݔKp:l0I3uݘtqO6w8.A$Pj y9yrˈtAssAhU誫Fwlŏ %o]7|6* *`Sô;n" 纊j9|o ]ISl!jyB< *Lu[&(x'%er@ afmy#sb. ˚G=/ef.ţ9os/»%/TtifYu-ne_-YÚ]twTC+4Q<WRl."x(2AT '}3yWI)vq53(A5f^4}hݖ%HgVe) L:wmGq=Z |5"p@8yrރ/kmiSյ80n}aC&Y1-yJГ&8Xg1/kՒ=ĩ7ơ0DNˤǎ1L?S92Z8V@7D{]CQ(N=d1,KF ^1h0,׺qTˍ< 6.sV }bK,30$~Gm2Pd719~{W]#1*b(/ jb@|ɃTQ5ȿJJ *J`Jܵb?ql6ʍDz:@c1+#نrBT9`OI V"-߁-sg߉&,#ubz4mka&lWL]֐묳*_^.y_K̬ ]pP ")(4++QgeCt=CeOlB5ijء\HN<L YA$*s~\ `+׍jH 4F)jh {nij=gξ"K=h֗(=)Ƅ G%O]8fM.@'ԇă rLEl=ܖ&k]fefA5 e>]@P*E%p&f:L_5{Z&)~,DܟQ < fvOH((>Y`[4 Ƹt6mБi. -EQx~'T O38GBV  㺽Fך55"7goe+@(sȎ"e&;x.sHӱ dII¸\).Ұ+, O^paz5]x2+Jp{ 6P` ȪJ%8w\7zFWu"%cԲ~Q[V)"qPI09<}Neȁ?z'$1F5 e-2#>p(cۿm(nwZ Z 4i07xE.œk))٣kW8[ #O1y'bK)*p[ tٜK{~]I=fX W]'+<>*wpzZb=A%EsZr2*Uî$fgF4zqĆNs'N7')Tcơ&}^QI^`{ǫqFwQix`fO,}g݀'+uw/vH0-E9G+6q>Pzvc+gwtζ]|y( ?7< VNGzVbhܛPqWw.jf?AWz*o hl⎚Vdݨr P!aG1™U|E _ )#9.rBe{Teq5Jb_fĝzQ4${zK4=C݇?9Js7%" ;!J 7[<!9w&iQB3׹Yunm t:㲭nO֜S7%0t^JLNsyQ nIV.ߴ×30q%n]#f)єw#GCoaF^8u=3~I#Ou̦IQ]:Z(OӳOb_ PAl 8ǿ +,.+q5`gU܊ ?ݵOCe/:uvQ[0ѱ*vlbNyml~>t_A|,ީ㒫)DCל% in<`> Un#ooni]l XoI=f9_{ 17 ْ; O:.7|ٛQppK#1qpRRPYo+磄F߾m`S 0&/f(W]Ko C!/׸v-5 r1Xg>E}^\(J8.V^>riSВD i)̯W>eכּZ?|gpf1_̞mG6xD@gXB[De$϶@ dc&1\ gQ<jk΅0Aܾm|Eړ-}\_5yo̝rſq2YZbyrt'zĐ݁ }f (ٌ)jhO1?"kWV/ʶSIOqO~:і_Jҁ h/o/nI^0f)DaEWԭ~%K9GU*u5:L`k \7~x0L*x_2 {uS~Cek⇨ԝJYU5%6.ҠQxaH *´ʩy"L[Z|CX@ˍWY -DҶRg ѭX^RzҶLz]SőWWٗZM.=3TMFx)Cjc\?D[i"4?t|4);t*C`iWR1PH\Y:= OU0^勨*I\D;<Km!%~+[wb4d(Q7+` I14*a|(i!OLxv<58]H.0,"Z뾅lJ`Gj.1}M#]o LBU>~{oߏDǟည)_7 I0to،&DZ\nHd5t2bz#qa\Z1d^:nGvΌkڻcw#fY4K2*:Z$ѹyIAiT3QI,8-N6VVrTQt[ڢ6vu r~I =J|Ȃ 3St.;O5.͒Xө;V&N>/W԰"b3`| 9WQY}xبjS m2nKOZ2h0ł4'YSؤyO?vn6wOegG _G'<|MSN^eJH_ZwW  gWrvֵH-dyjpv"Ũcztv5XtN;5My5 b,47i`Ghq _x@x#nG7)FsTtM&[#ĝЏ.N=b.+njA'<Ul9_VC;`G 6 ׁTg6*.ᪧT[Wpn^:Ve5glO9ЉMcP=cqvDSޟ4ޠ`;# {a\R;uag0>-$yy|B%Upj/ܹPeWo51f;^0ڗf|k봹A;kp`Jb> =ڰS h<|?H\{V0 ds(HTG:2M:b!܇P/tZ;y+1hR[glQC AHEo< ߲3j_I֍/^UT F_U8.}7"dk!N]kvd->޾ (àq#45&(O*& wWc#tl.߲gj1n'(3oxEA$Ͽk҂wiyvG .qh$Z-t |/&9xN>9J*r^0SOR64^Xmp+-cy!4& O_g 3SJT|Nv!jljrĒ碌wǃ paS#UW8ktY!24-?n{w/ǀYIR }'r7e~'z5HӊDzR,ԼPjzb:nJ5-fóx9h 13Hbݵn#lHA>s2)lbhAiu9gbi]9*!Dh#AC ^epwuk"8\瞴VaE2H3 13S6|bѲр"d4Xl0MV2<د=F`8';jt "@H,ZvH^.$eyAu2-}#Ȅ7:eӹy<ܭA<Ջej,hވ9;!ع4f "ս{JŔ(V*a=>J&]I^A 0V㯔л[0ЪZy+4>ՔX]9bIBW M6%.am9Gb/__ώ mmRt|"'(!B<Lz-6saQ Ȍ2(qhxޚʊQ0)~/[8R`@w &l kpC#Gϛd%t[CHek F)kpcu Ԡx@a.-#P^+cH.}Hp陯:HӔᲁ^}}X93c[U392:X]A,; ^ \LH~p =ؚpތߧk%#X0[lv4cRST/`06)퐝ǀC9>٢i4V!IQ{$wtPKq{<*cӑ~nT/g-KsH* x8 j3|8 n BHPʅ2Hy\bxd,|˦p$?{3 Eؚ<8cXM&[MF0.cr||M2;A@>YPo"hJcykؐydJg撌H2{ip$ |uQz i߬`#1ct­Y)tu{mdU3 10.j4ܤ5ʥͺg URn[޶}qMJ ,!%,ձ]̇ϽF?j(tZ NMet1R: wd1p1R_@:o#,}8d깺 ,>/2(O6RCn rՃ9:+2ǷI͘gZ ⋛̎02'Gx&gq= Ws=DwZz~tfeY..a ̀, Ld\li HJ Yg쾂4dR }Y)el"qњt9v:fh2DK _5JWnw0}r^J f*& \-R1ԆdL* v8q0t5T'XlA~e|`c)8bmwsJ3wͰ^;bC)8Fk],TxC.*D4\ G~mS^L=_Ƕ1r@Y# Εsc3w>2^Q3Lvoq#PmNnwÔݲ"ˉ%g?1}45En5C}*c2l' {&?EruT6F-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ͣ?|e4>}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 (U1?:4AH&*a8EHc )kdy,Fߔ)4# 28fe Ɣ18־@ҧ܌d&dk[ꊹ-cc^]`mM8A}B) 29-ihe(ub&-8hҵᣌHJ!.O}nfrk黷h9< Asm&f^-}glƽeяĎ4m55rT{8 ./~!XȳK{^$ڄ-wc\Q* KQ4k6ax+81W%Y,}z04"dxI:=ڽ,g#7fB76\>(k`^e9By|Eg;F?ε.'  Szs.GTS.0hd"k( /1T*.:$xu#=WuD|1I~gYZ KK#3% 4StatechartsStatecharts.Contribdocument.tex7zXZִF! ]A-MՋhvG"uIBm5W t(F `K0|1|WMٖ# #OܤL3$E*3+8y kBkm2Ǽ:Gm/Zz~ 6|Ҥ!뛙\5]4.iE"GH Nfsnp|b.RK } G?&qȹ+ k5n&~~lh9f"?UDcKap:n7#pFa_(ĖgzֈkMXk7 (3paƵ8m맵9Y6:dH0mN|$"QTJ7] Xf'` ǿ{n;R /l@ yxoF@}g?j9F5KJl*&B`#L'X07;W[63fX+['D|09R/kF}XxH=>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!#)% tStatechartsStatecharts.SAdocument.tex7zXZִF! y ]A-MՋhvG"uIBm5Ȑ:6 i1b(6iPԝOG|JD>QR%()`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,GJrPƾ)R .}* 75( a'E@;+Tl`31mp8>ByUOS2h2qRwszx#C2 ս`7=H`tuٗSj1cR`: "#qK|Rdy;iǼʏO_\ bYłU7B.- q(!Iy=iX,QIqc\P}׳Gn^U^! E$wi46{Pc2_DE<@q_,} qI>Nɹt)Нl"lHmTE % F 1Vᙵ9H#I:.}۰~ Ewū$EGٵA gsYW )b5\nʞQ|;St\LB+t`7|;֏!7P6(ë-S jR5f-2:o`ưS`UEs_gO,mnl7~40;QCx*c­!Y:jI^JѠhy`xqHŶO,|B]4#1?/ 5baׁ:e]h#;̛Ҝ@!IxPM%)|AҵRo7a{Y@ .= dq~~ :\\G\ecڜ*||B%:[=S^S঵6\RuJ2ﳋo&bc/g^vwӈK犨>L)/C NǓ _@=ltL>m{^ME$e]o a% #"K)+;_P^v,+HF.GhV3VNv5֔LR;q4I`xW`#3lCqokPc]ryy7"'C M~SM5S#X^p2SqR4w* :'9q~ؖ\2gYZ`BT 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\td7tju&dCĦEUIcoYR6DȠ%t9"@ŏ3ce5ITSb!f&>̨9^# 80CO@8oVe-&]YgYZ S#-% TStatechartsStatecharts.Datadocument.tex7zXZִF! f]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;1vE6=Kf.LRDBȔg@Kr XIiҧFIac]U7,ET524m`PuˮHJ,Jo4.ACt[o US̢,Mf[y# J^`dss!3& ܜőy%s,F/&pko_DwV#KCpK힎#QM'}b t5AnhFpur: ^Gϩ{=cѨl 5EsrIz| |Xp5z6Sεj,5I tϪbJvc"[? OĐ%t.zGu hD&6z}4 /\nцpoi}#3; HgVr`ZN{HOWd'PQ9ۂk/p㧡&@G=A8}mŠkua4~\B[[nLJ}o^'tݟ%s05XV*#^%Ww<;"W ԉBp;e!@X]t̟y[3=;fʞL~'MB? M!p܄6xz1H3"z_b\/ZA :AM#wr1dGzq9ռZӈ>(/liןbaD(";v&(` )M#!-qռpغ-دhmp {?W̿\=&^`n6f=s hSCljxdzL2Iewۅj7$)D?R&@ZX\g a4;\L~%gYZ ::C #5% ,StatechartsStatecharts.HAKripkedocument.tex7zXZִF! n N]A-MՋhvG"uIBm5E?bKC8@ޢ|)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_տ)}~DB04+ϻLђQG]k#f4.v՘0BExG)x\Z4q 4ۺn|)=wLn$`]8kDH @\n[fpvQ xxy\ko00O>Mh5pc'E1_ʡLO9\B/K8q=ҁ!#5b>_6!0oݎ {sW sQZʼnѫgqI5Q^5L>ii_h x=S"N0 gO 17V)='eZ[33T ';Tp2+igQtVG(0O(oS FUO -dfG7փnƱgYZ pp #1% DStatechartsStatecharts.Updatedocument.tex7zXZִF! m ]A-MՋhvG"uIBm5:oȏ [{8&!b 0%y݋Hour6KբhO*MvVӫ^ni2Ev2&[s=i@/A-gZs5-EI'+` 3e&AwzAKi K:2E; Mą[A~|SAT0VK-" Uz\,óDy_{Ö@Q(MJ~\̀j VR#k+mY"~u0McZ4ռ5 h UOlZנ{Lx ^WZ2|=}Bfsܔ˟|{R5]Iqd̊ai'/=7pէsgY? '#ٔHrWGSꕠ' [A2Tx:d\Y߷'r wMIӨ&u?)_WQƉ dH'tE\Ʋw]ϑ<̖9i ͦdf=ڊy݃SJ ANp ϕI3bg!/~`[d17AFDBsY@;N)0$Iz<#޺xI4yDS-/A]1Kj-oC3_ =wbEw lQ I_C*M3AW}rq#)m贌 wcI$*߆sɞ4Tz(W\zco!hݓBV!+orʗAíYN6D$mFIGmƝOd??X}: %6B_Y0!l,]B?b%O~P(gp8 v7]~uN4t Dp0i(8j%`~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{] Ey!&s;pIvZ#<xK] 3kf(8% <ngP#Cwsܕ0خW;j:3(RvV8EXB oͯu5 գm%jVp /c/zx>Txhl կ PZ|B˲\ti˗t~'Rq;TRiC( x?9p),0/ƒ2l!699ѫLzi^LR0w/=r6 'e\>Y4p[|`?B[5$O]eF3aH;Ih#s}$> zTG3G[C(pӭHAc!iOiio;Az]ʄ#q8-P NtHiS&92ð EK߆q? WXOK²5s?CnE^1lp1'!?BRuۂha.V`%qK;Xmi&3zA^-2t&i^nOM5K ywgYZ m #1% StatechartsStatecharts.Kripkedocument.tex7zXZִF! Mh{]A-MՋhvG"uIBm5^Y/8#EO~p%i SHbaXu9nsx9z}`jih#e4n> 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%^AĠ"NC20,3AHb\_$(pFF-fORDO2qA2&t(jG[̃M-wc40BOʿLa*JIDiG+˽a;L%pTx^|TAIqHT!#bg @Kp^H.G`P?QA q"G7=JnWA 4+X@.I!<—O*K;"ggYZ mm #7% DStatechartsStatecharts.DataSpacedocument.tex7zXZִF! OY]A-MՋhvG"uIBm5dguIx$ߗN%B4VxrOGbDeK[71YqZoEm^k> 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 _U7AT)lL ɧm}eMS(7ER) 9P] 5J0#{b0jh+g9V}Ȝ[VOa]1-RJe*qNMOד m)h͎!_I]nt;X篖^AbF4, /S~:#txj`S@OG_i#IKX\h2`bؽHxGRrÎdn!3";;+kauD_^Ԫ %bM챆Xg6ĭFՎ&'Xɿ ^====x篡eNRu 3gOfS~[jV1qk֕Pt.KgٔvNgYZ7zXZִF! V]ŗXiɟ;=Dc+uK|Vʌm1NEױ#m {m<1m=8}G(D=Q!׆KЬq7xΚ*|MŨaS/  I ~5" * E@h$9 =\4n"EzљbnAe#"]A&% ўqlg cP`ۃ9m&s2n3"cgYZ7zXZִF! ]ŗXi%D8S/1os!MzrY|4 Ԥ#/mua HKT%DXg2T<׈6G(zǀ@+>kd5_|7I0DNuagN Rt\P;εs]CU./N?%Zo^ OLKX[ "(SnHO 1~=bS6'盂{U`ΟnWй@s^#}?椾lM$]4r>W)H߉ʯG~sN1*_&3f#)5 ˬ2:&B-Ϧ&j,mt:5&]rA? xɟ7g6Q5ߌO^ږ4~o\RDZȑd@B6|^8wٔ꧞ß-t:S 6 Q*ڶ;sɹԞ/NTsO:YU5zpB{K$*pqTOލ n 7>aEio nG"H.t Di<ƿM1vS>Wk8]U-9=gS+VR1};v쳾|7E{\MfC)]Zt{vo`dWYl S;6W[b!;ƨd@ىvX:$+&E`ʦI`ke [xLbLtĆ %SG&^̤/Kċ@tu$35O3pť'=L:\# t,^ܴ7K~xv$%_zܞ8y ~j($`w/CX߂ӈU0Z[N)<Ɲ XE``.n3~G(h*5OxrkB&kp <!zi8Wg- 1fYM8[G'ETÒԮSM+=^3[׭,W> E -&L `JH@vK/!&jU@rw/P 8]*g0#)E`#׹ rW]P܄NHO >VщMRyya(B[}Z7^纄75T?~y2uKAduR^&YmN'I튙dםe] ~m&H4Ёm\X2&8]~ڙ $fIۏh+Q*EreAzoe);48%je巕WGVY8CUOz2S}qcTxvaq;uBɖkʱ6p7gBYOZx̻؉)I@//N Y L||lhf`v&@33qz18mT3^Μ\P1una^rRi5R2V=Qx~]WYLnG]؈ R/{R-eub"G l_<&x`Dz@aV&-(7J#45@j̈́R uDDE?)7˺۰x r⬆\EԐHBϠvil#̆Z" ? (t/m`nĶɔ򻲜5VhɅs3DejzFCzE#G/'4hv wrnj'gRoȨ`qΕ Ǯ-0YJfmL*xYx=Nq(>pA|V z>x?R8K<H:?tnS"xBEـ#M4>a^l1<&.Qp~zqE\,(/!SgAhA5{_{4 y1CS:=-a2IS`qի踬uU.R͑>Edk/u 768#k#87۝骝&qj 92"+j~7/N.*kp"ws: F4 ]61Qcx4J] i)nt W[RCNٲk@?3α Kᖸi$ JB|YOIYk<G\p$e%@EĞu*efɨ߳^)5`r]G dp7pW뢰һiSrvX̉687S8gL:Ȃo $X&z (rü  .5@ E޽4K>6wuQN/6#}ࢅ\Iێw|;툢w '}%iGWK^cՎ@ o;@p%BO_gj3|t6z> 3+Py @nТ˞n?b̕[Uљk*KwhW*3r.;s%8C9Pϔ**im0g?q D*') `Y #NeeopW :VR,j7pqA.῾6>9SR~/~XGwnRdr#䎮Hb]P8*[`[_1qP)?0$ja괴eثL/ :p!?cw tW(pr-򡈘#}ꔬiܠ\%IQZۼJRm]vQ醡Co%8/ b~exK+w=SPxeo#:}vLYӓzW@$qYnSp? BI@ODdz$]q\лw-\+Ǘ xݶt%Kb-0ZP?t{MULMV -z)FaLBCJC$=H.Lڹ酨%eZSn~َ-AAGnL J>cMZ79Lr ~w+Zd_9{4]ŭۘqxt@J&:l}̿phX2`s5#Uo˘/PĈOnɈm 0zY 9&ЬxkDWqCo{~Ob.f_0+8BxHe!*$z4dbRQ{ B BæU5!?[T}hFv/z96sw*{(nnvs)Feg}Q(_I!o/H+QBbߙ:qz=7w#HT0]89ݥphH1%niS 9)H P%lY_ k٪+${q*m@\c tZC?M&9 P|r8%[Z}>NP ي4Лu{REI޻DpEzGӠ̯ XH~z(hO$Ħ7h*|gS[`~E+5сd#kM\X2O 3Пj 4tXgHD@sPGq6ix{>P%~6Fsd]qJKDŇv^{80=ܳ[j7Syz=p_aիX`HC/܄C}^E]v!ޥI:$Cj'6l ,d%P.JD6&Cؐm}4Qt()pxSGծYK=%ތhwvzPA=6V1=)$dT?U#&pP=hu2 ^Tga c;h\OJ)W"ܒ?lo#ֲ]e1h, v`n=UVCLȋH/l2a>$u&c\sp&Is3 .t;67d鏗jҞ(m]~hJ'c dAӞ$׃P6)щS<|,оGrto؋KhRƣrlR?qz_*7m)Eb{E 95ڈ"@+FpG U6ĉl#,+XŤziF^YvUvh`"eeY~^c gL9yP#fQT.zރ=7yN(x.F_2;w~9'#/z+ -AͽDjթx/=.=փo!GZ֝uPhL8xnڕ9(ܛ~÷c[G9@y( ,5-:!ЋzZ2qFa73].ٲ:c%(S(#j.`#oyQEAk,VbvEoRѝ J|Fg0,}OIW%ű|w$`Lڻ]M5g+$ F ;T=dsťtS^W¦iY_}cLq(@<q7Hi6Qf`e`QB "9WUּ_ m^aF D5lH9e*N (3p`3 {Er[4J䤠Cyށm>B E`+r>>aNz`Ė;Y nrCerVcit79%gYZ23b4bb7a625805d79f48be9df8406594ff10c103c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a