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 yIvD l ]]Extended_Finite_State_Machines:threads=4elapsed=37.480cpu=142.676gc=5.7007zXZִF! C]ŗXiɟOҎb _"0;uptR"aSQ7m+CDۭoW|=3]`o^~4d5)\uh^trmzgm_r$ >#iRsS}\t[gf醭0M=ݘՒ`\ W }mGY6Jw=x qU 2:Z]wBy@-Q9?Io K[G[gE(@>E'1$YCC'sjA~' BS5壁7d!'pK&bY̯ޕ'0gM{̾r.$M4-U/VH. l3!@{aZTh͝5,H(aOUU` 񸌍o)a5~b{x( !®Q\x;"A$^?1K@S1ѓzB`0koH;?}qyf"wr4 '~;y 8bYP4d ub[Ȼ0Ѓ#*?,64h^ɕF?),^cכBb\A< 'y)2Id=:wOɲnĘ3oNNFihqBoT6Nf&R#OXnW]{Va\X;91kOeWiFDT5pn;MpG{PLl/%9Q4J]{9xԓ'd9vYZ6uF'rGĪdfj >)*E-°}GԡGF9[[l;1I$x Ƣ%2GM-_lF8C 67Upg2\q;?z:Vְqx?x֓3l+W2kKq[qU^ei E^!EI(#sO4a,$-22ԁzI_#isڻ)o9X\zz|;)ǜɎ2:4\iF19%% >*se4$+sP GQԜlLOku7Fb@E9pkxTbR&1VioG߇^x|jWA[Y^}_s1 cFHǃ.^?jThB?~F54|#4Mmק h_].IPl򙁤wd?Fz)J:)PU6 O>R~ ] ]EyܴOqNƁ:VMj|sc&NLKx0l`6`u:+,2k1O x4啬1!!aS3#5nhK>CkY\f`͘J<ofX HxgYZ7zXZִF! ]ŗXi%D3 ʟH`2!ibK'Ck<Q;nWTO=v{^2}24Ci{}$b{(!;| ~hXoӾGc22UӉG#44hQҪu$P74,YnC~t*j?}C o/RMNt\H[$2t %XYkV<4F6PlSs`~Ĵ(TwO1^fIwY60'HLWVFBسIJW(q0[ط\4E<k-~[o]:Bq͔z"xK#O8 ;>ߊ@fOydb\῭JUS`Toʲ6E=v~4EP"DLEjd-?Pٳ[IP̱PJW H4OșH.W}]ÇZWh?UiNgW`Z|S5+M[9o4T~YHhТnڍ)~ 0yIJRer] -p [7Ǧ_!(\k>g>H42Ra gWV=)S9=b<h$L ?&8n$ -KIuTELpGUz^?%T)e!O6W)ZGNPs^\u|kBp.WL ?$XȘ(&٨$.#_$9MrJ_\Pjź:0*S,2ZU%l89MwB t( am-dj\Ceuﮏ"Zm2;Q?=XAsgMgH`[mO$6PX>*_9VdO^-i$;_A3R݀ Q4 BknMX+{9$4ck+Kʡ /Mk|I%q|0 ؔu׃.WX) mm?'k/ӷ2Wѫ17\\u=Tze$]_oȻ7ytp"eP{>LWFz?>]jrLoxy ӅrKEⰔЧz-˥"~rjuܠ'U ӄR$ !I Extended_Finite_State_Machines I_% Extended_Finite_State_MachinesExtended_Finite_State_Machines.FSet_Utilsdocument.tex7zXZִF! >4]A-MՋhvG"uIBm5`:*<$mhG=E<å2+ 8-} O#pړ%bgFοĞ ^"/ 6EF/(ܞ&;nZRS{e|&p;Mww׀J5e/ oQ:u]yTɋ]A04ҙ<7eO=>k/@jwOY̕>l0h07xl T잋'=9½.Z2Mڒ&M\ᄸHLD4U%pt%>\r/E6_:"=MC btwgtl3,CS&rZpZO1AYdnc!gC^Bϊ:qfY_բnBr[Hv=rKc8kB=+sqV,H5 P@N%Ѓ^M /g7\!ΏKâKZX38kobO<.9"$d` 8m@L(b;XG'Ap8Gġ-YhfF^mىy k&e2nHV Jx#rsrI5%7ui C" :7Ysr.sUIJ;JC3-tA㇆.X/uEeG ^MRXg6d-j"A(GPC0?1xG酤&:;zlυ6&40n@?aGc[[]5=)S*YVzv >AbxBbڎmnϠMDo-lf6NY,uѱZe<:-1i7=<@`3V'/k]! <,$v Hnil0=hCZ-r|2QɨIL,R>kԦ/WMգ9B)| _WtCv\%w:c{׊r.GFi}n0<)U֬TQPx#cM~0SHϱJU-Y;XBeǚۊ1#!B܆]sJ40JMdD f.3AsrX_Ao1xT+tMW70#J iDӋzss*S2M!p1L Eߪ݂6^βnT6pXTJA'ww6 2 E5dF |O!eAaOȈ1ƍ 4dX6+@#K "R%zreԛmQ򊔁?N:uE t$N2h3Ե6߿M\`wMFZ9 C0$:9YՑ9̊45,eH V6𛼰^n ^nkMï9O7fQ NFe=Sj9՚:mY>LZ7D$C J >H>DXrYHoCtf5꫟X,Me谶oNz?R " i-F46/߱o|59 1m !%ke[A'9.7Cos 9,ߚ|2#f$ 8i;w/@2Zrq687Y1)ߐʜ8..x1"%QԿOCÍ|[=>R]k%݇&H!<)$7JbP$(X_2&ZRf](erL,G 66u9Xʹ6kćn>=sJǙX1#oE=TJT%XՄjaΝD @f.8rLf:(Zn*,JrC,8p Au%>&k:_-HŒ=#XI# )ShrE0A>9w1֟qԛj28BY&3bq| g6X *.$K{n$H>5XO끡^ ?4P:`PH;5NEK<< HF*kXFf֖ں ȕ[w\@'N_}D9$q߻n_~<#W ڂіcn8uDp_}r#Z@R77uVI6 IS% LExtended_Finite_State_MachinesExtended_Finite_State_Machines.AExpdocument.tex7zXZִF! #]A-MՋhvG"uIBm5k k,N_ ^>?pLhPD[vq|U4E6LHKTU?f> +l1/( S'˭-E1|L'OA*4y[ݖ4V>Oϔ+ !4LBQyɶd#* H`N}5u̦% OH1p'Wv?T.7Q2D=3.f5]c#[Ʒes2 .7A?^+|lCM }y_F$fҷ{}d)M_ %Mݚ3ci6u$`ͼ$u4 9({:~`9(fkJx ̳(Pg _j<*RY3e¿Լkrٰ(MVyxE(rv 4_A;_w!j6i(˄^\Yb 9CK5Nja;;qȈBkLLuKR&ҤNPr'ۈP\$}#pj r,HR&w4HIf @NE/[.y Ot?V :NU]EҐ Ɓ<왺G-A~],0i pdz98ʝoF ╏G.%HlXRfdi.MM{߽Mwdy~fPM;c         SS %  < ] r =I'%Extended_Finite_State_MachinesFinFun.FinFundocument.texTIU%Extended_Finite_State_MachinesExtended_Finite_State_Machines.Valuedocument.tex\Ie%Extended_Finite_State_MachinesExtended_Finite_State_Machines.AExp_Lexorderdocument.texbIq%Extended_Finite_State_MachinesExtended_Finite_State_Machines.Transition_Lexorderdocument.tex]Ig%Extended_Finite_State_MachinesExtended_Finite_State_Machines.Value_Lexorderdocument.tex TIU%Extended_Finite_State_MachinesExtended_Finite_State_Machines.VNamedocument.tex \Ie%Extended_Finite_State_MachinesExtended_Finite_State_Machines.GExp_Lexorderdocument.tex YI_%Extended_Finite_State_MachinesExtended_Finite_State_Machines.Transitiondocument.tex _Ik%Extended_Finite_State_MachinesExtended_Finite_State_Machines.Drinks_Machine_2document.tex VIY%Extended_Finite_State_MachinesExtended_Finite_State_Machines.Trileandocument.tex]Ig%Extended_Finite_State_MachinesExtended_Finite_State_Machines.Drinks_Machinedocument.texaIo%Extended_Finite_State_MachinesExtended_Finite_State_Machines.Drinks_Machine_LTLdocument.texSIS%Extended_Finite_State_MachinesExtended_Finite_State_Machines.EFSMdocument.texSIS%Extended_Finite_State_MachinesExtended_Finite_State_Machines.GExpdocument.texWI[%Extended_Finite_State_MachinesExtended_Finite_State_Machines.EFSM_LTLdocument.texYI_%Extended_Finite_State_MachinesExtended_Finite_State_Machines.FSet_Utilsdocument.texRIS% Extended_Finite_State_MachinesExtended_Finite_State_Machines.AExpdocument.texIw?Qd5=#Sf~ctcHbHp2Duqσ/ ?Я{k *m$$HEbd_0rj0q|e+0LLBbELi5DMo֚df]xQ‘tfl9ש^fd-dù¶$?Ph%a0TS egmt0Iמ%K^#2FKcԻ,ec\7VQ$snN*%,ԵH&d106ӎG%k m!c{^M{"-% —>@;Pg>ؗ̏U;Ö;j7x4ScX.%8EعXm m${RՆÛ]=^F xFDHf!W8Ȋrr*J6[-L@(F+]2̚2f{*x^6ʏ7T$A/H0; g,Aby9N,yԎ?8o-@ʳS0Z< G?\LP2A&wЖLEa?3 lp(T3 &h'?ŜBJ\oDľ`9d!Qѡp!Mӡc=);]2W\H*]$Q7OE:е[&v*FOjsvVqJ\Sx$v }pPAC@z뎪ɣVAXj<`%Ur9ʱĚHC %PC:-T;<P~#hcX,~N?rnkå3ųBTatU3bz=@oPV!`%z3^ST+nRSJүku.N&:b^s0]fjB<9>@iڇaxkxUuzqZvXus8Is]]$;bLdF?IZmϣ}хÑ:$P#VoOv3M;)x\T wDޙT5V!MZ9R]u[ eY")bZ!%0(a lRr}c 5+cLN{`l{Z/oN%FuorNġvh;}#B)?Ɇj$`itC{IcdFHB?UmHywwVSm8)WƙADry~r j4mA?C3`o@di<$QkN KB.oc?^&9?c^J#\PYAI\&X5)w>>2A} sȈOn +rK*)1ԏm&HN5DKIK9 ~bIQ2Ӳ<&7Pjl3q A)n a[ninOC!^kB~_5t|\_1LKiTUm. g2杕;0Zs$I܉Vռ/҆, HLKI{ETK-c4d"e[#s _cz(.ӂ'H.=p7uGVx5Qmt䢱WX\eSI~mOv\.l\a:f\lIK;"v6Rҹt8Ȁn+褷BhdZ iObЈbcK, ַe*1FHFbH玠RޔK }/%wY;r=e IJ@hjX`8uI&*c3ݎ $ZŤv+EjCBHG9!\%wRrH76m^) d5h-תc҂^,{Lv(q{k6.[.O jF/JMlE@2G֖V 7LEYp1s#= )C c +hb`kѣb;R>GHΫϺh[('fL֦,4SWc8S)H CИ@*C$yog`q{fK0 a|s=4b Э# $O \6p!CcA| i{.~7=e;ZfNT9Ij,'KgxR4o9G taFh"bi&DT3Զ{beA$&閨\(^.;0> f$ R`sTZ7hբyJ5@u1 RFeۿC>"sĊ0Zn3u # 9(`lkuEPpLdXs8].}gu eQhhΔ"Qt r! E-D<6gJ0xd5+\dLlS vi12wڽ'0EIXVOY,5N;͖;& 8;^/{8l$$tnέc') cR>WRjrdECRy0ȮzgEcMf7m},ml6'^irYQߠvW[oow?2{pV+DT=xD<Gi-<ׇ4E- ƀs 52S-If$ h zjZV`dVp+@AȞA`Р{*V]9<΃*Z0 ds= kZ},??^etBf_#XpĴxIbYFYsO.^x}HHզ/STX7 dhQ1?ܩ*-MyQf#99#֦Zʲ,71x#iMI϶:_߹Yv.Zdb+>`JT`[]U}Gx**T? e"EԮ(u[W09*N%lZ4rʇRvO'NH \Sf@N]cVD~^ye (4VaǚEC(ÓYj֌i_"'iz-ZMs*,;Kd cB1$f8=zX`U* ?׵4!Zgmtu:̮ar1rR=Vj9uXg$.WvU1er"mBHAGJ%Xc2M0h`B}(@)Å|WR?`G  WħTݱ+2{`Sz;&)6Ƌia* '"::=Bj5n8աž=oʄ!f#%G[U`96V"tA&/qߝ-$65"3 <,2:5xv9q5׻?&EAs!v Xx5.P9b,Įݤ>/{oԋWPKtK05;zڶsIQ^]T?&?D-֘gjڈ<-_~4 qr]ֽAAƒG0d 3Vomg^{ 8nϩ&S ЊL@a3L`Xkbh1 (/a1~\@l[[-b=[dOZ&χT2B}43M7ۖ/6`($#"&= &:'\ 8j_{ZR`5GsN;||>oM 2U1/8-҄ ('x?K贸 AI=~M4A^;?O:ɇfp63qf/ bj4Vph1?3Y 2.?RwKپ"1u\0I_҈zMyj!yu[Fyl/.Xho!ڐnyl-߀^p٬VXg߬b`wY9gkW^ rw)SF$,o%/zhsyٞU ?@!Lg9a!6^S^MHQߍȟ&Q )JM733ZkϿcj<2p\\:flɲ^ğDC }|ЀYB; r-I8PQjc}aWAAyS51ErHBK^*@C\=Hk 5A7>J+qUXr(/m~"s~)94 ޖs۷)!?WBC l-P ϧ&>VyZ5~0 M^d>xG2\!ÓIzէK' MLUjQa&;K;1pq[)cҸh[J_X)j7it6p]u73M嵴'< K3 ik;+[hNVҮ}equ*>cAEB߀I9Lh6@y:1gbM(Mt\8g:CK|0}rVnU+YplQVh[LT4~/3`}XDˁL{ޕ2+X=aoZQ9&KY0@.f qq>g/2JJ@)aPNM3Z4FyxAHDF/QP 1t|sYQ*@z6%!m3/c$ r8]C@vvy#`Q怹|ZSgW_K8R 攱x ޫ́}İh'PKw=eY2q 4 -)i0vVm͎ANm704P$RFt//2˄$S8'X39/mu{g9.\GRļ~[jMY|CzԷ]DV`ȲԞЙ%l=ՍNno:D.Fr|~&wfJtbVoӜ$^𢅨q ٕ8sf%oUBlbG,[8}S_y =/Q]8MYJ$O4DswQx| &CBۼ3SqJ6(?fйNK&s+$+@kno[ŦX>'&ӣdۮ{7]l; H;Wƭn{l1Vk8 ٨V369#n-©5HߨV2a-3GG_QCeBHMow(6.B dK~@(;ytW}#XWOrGo;5w}%VLrQ PɆp,Jػ#8M4J} OFKp{̈́Ohs{ˌ#rWMZDDQ7 o0&|:>}Cn(&r9e?Rḿ,jTvBJ Xj#>7F+yVT]M.mEq3,px|\eH'Tlik7Vl(P]w(m !N: ,R$IfFkIx{d 0.]̓TADA;bwESL/Bq肓ƲQv)҄Ss{'oP|/^? N ٧kH1g{7_JG:@?81rn>؉]Ԭ GsufVqQ]%8F>KеȟZ\ܨ:+~،` a%8]m d܆C_LT>~;H ԰39IY;u*6Nw~<%yYt@Gs=.\瀛%аwg& ZJ-tvF7NV$1 z .tHܩJvUvӨ XsVD!NRբΚEA9]P= Ձv?g6WOBa R@Si\<#VcA0PF]vAj]s_]&EG"?gYZRE ˪WӇF6V6{»,-qQ]&#( 9D늳H"b]k~Ю~QQVfF=}W4>*PJ* T-V{Lܑ$"#kD^&h+̒yJ 3o/|GqN18Dxom0$M.W}"Eu8mPG{X ` b%$PS]ie'KTF~bG d]>'x~^GAxȜ ҵ$-uJ7E-d̻PN LJ{IIp/A }niL[e#o5!GtB_kAs$~'Q!mwp%g@9D#1L]rcx*f+E@u+nLwISo>!_ L!̈8d͹`%SHV,r \}C*#t-zWKd~X 5[.49ݲwbY$3 GU~F_lo*0vÃg;P0?$U.[gf D;$t}_UMD;)fNy9"Գ|@ SHY.rbOВC#;dddxSZ${?< .<,)>хdE . O-hKHkIzTo,VR*ڟS!v6e52@h>/s9ѡbSa/ĥ?z#$D3E#zJ0 "cA;! P=-;g\ u<=&WB_VY*UpY-yJ0]hP:xo0BLNr齚 ɓ9sL;ʆP@,٤Ðb] -k+ךSIk:xTOQ؂\'V;THRF>MinLPgנrb((w^gČ3N$YZz Qjmmq.xT@e[=E7LR_S.iȤ]Që߼*jnuϓlrɛo=-*iPK"( K?ySW O0/[|E'"MWa=(˲\j^I61NĜW,{Dڇ.(.I ͖=>$ݶ_hm}۹r33z}+_O"RJe-"^:Z{ޓń"U1RoɒQ"!^2n܄ K PHHEf1լyPRoS(uR)ǣr0,9g!:+I$ɴ_h Z 0x5)&M޿,dVФ%0Oa-w,d='lrWQE-MOz0lwك m1YE/^C.Cۯm]4q\M*o-&x&o&C_Nc1deZu;cA9⬚ޢnDzx\YoSء-[BFjϼ<D-qxg1R,θ5)Z}@mT`l{ 7'kE Xo1r@ifCzVD6ޛ;F$Qޣ:Lޗi˽gU:7z4#FڞO%-KULl X*6<^MV+ϪX.zS4 !9#ŷ)pS*iDĜF$MFH ʂd/gchyL.2뿹at&֢ӽ)k6ٌ~:>.5ԛ[ו9]1YP"E{bL'iฐRǡCҕ8|3SDrjVA2up$vlJU+1LZ[؛wbТshoD(AM\lZ?p/dmp6CC`f  fHӓi0i+]L4D(]f](F]fMW hYz0^HWz^L-/< o>ޡ["~=fUÆθO)x{l zZ ʣ G9c&Ujn듹J, ݋FܱJ_q"i-J^0ӗE(2^[B* f?PM*K_E?oM^uWA%}uU)c ZaT^mAY6_U尊Ơd MJ|D=c9>XVuj,\Dh^)`fDba[AVCxtQhYj!UDssT 2l&@Oʹ_hDdM)،z~J&tvfw.yƺn<Ǻ":]#3GU ʲeuXmECCi7OC\h'{ӈ;}j 0=蜷߷.cogt|XWuAquf4}-Lc64_ЛVF\}\0LݓѸ p=6P9h{Hl  J_$OXHO'f]+K@:L΃g G/c4E9h@0UvFi TZK:_(\!:qY3:tY*r'ʪcc@98@݄ ?#༮EV,gG9 JҨOhU,LAfF[ V A \[SA/{ 8ƴarX@+x:YK6u$U/g;7VZ!c/Vmy3\߀m#@q)F*b&M0&q(iN' yMr&ϞyÆb! եMj/WQ.>4:R[CtS9k8GlkXaSOEy^E6 eYb P@R"|Jjč ; ~ {֐GKJJQ?L{!-J_!&iS l(MDb}e"%`Y3ldoL= p(1yP.F'+)c9GK< {ܧKW!3.ET1W>ai{4H&9 h:~OɵN)6}T, ~;]aZ֍=cB$ '"ra4ҟȢ:5j%99}aVBq9X_a rњ3gYZ~aAѪt0UŵwUki ?(#k6^Nw7 gA\tVY~kf-V;v-#AT;͊K)'@B4{ 7N֨1Ҫ3 @ Т*e}в(>V"X1A_k8 U U{T/"I?yEqOP2ۄhH^qCQ4l6>C@b:!K) C+WT~Jx]]`1:6PKH_&Ž43O:aEhob dSsCa}gukd3#uQbXD?zT9BpG\R^=K :WXl=\T=q/Jt;VCU[ǶME۵vLNBZ[\1-c>Tx U8 8R^ Be E%lOdb5V*;'Z,H]D.pR@왪'&~B] ,VQ2IIޙJooh_$ |;\^:|C5KmEABIM<ɮtF&f}b .RT &qri{\m2EU ]~ULy:-۪.xDyw3c]U* :S:( Y *쭨xuHamK9;g- sS==ZvBQ[`:&ɠ*eZQg{FTZL KsDBmfnhOѶS<`B h  m0jeΛ0xBGDPg7qa֙Pj,{=?SIF~$3Fqd%TldMwu7dd.(&o)nFZ}[0< TEcT_{ȧA ꘳_7A5kDʆ&>N'g2sZW9ւNP)p#3 vQW #eFI "t[jKȜx5σjh"Nz:|ZH egufsO_Թ-zEY*)o_$ݔbQiدqSG$ m$.Lz+~`2 [x}l^Rkv/äp$xouSK6uVj-Pd»x_6ΞQf\l`$_segNy4oɫ[?jM u8lTqm8ǣGMNK w'*П=LK6=P:c & g1cɮl +6B2؞2OX 8 knHkYV)K gaP(9&V{v** wX]py_՜ aL^s("Wx8%rNEL= :ZjoՅ7cRo]\px߽NsL=x.p[/,u~'DP?޾q˭IU-jv%k/ V.=h2޴Xz5۞V;yIg?kBaeʁS`d֨|vh?DJǔX<&-@Fc fw*{9+ у-us]ź_,4#TMߏI=C`pJX (b,Ԏc Z_+xRFCm(:Wow@:u,'0ch Uepі,f8 ;{ i*oB8 E4Rtֹ_m-h<C=BeKԂL Eւ$ʗ|G/J@ ~3MD\3V>ׅ2qHuKό"U=Ih+JAדnZ$VvL.S!<6s{g㧮Ƶ~{ګ8CֆN_V>fO\:XϠ9Q\A\;OBLik$Ra-Li5Mn.9 Xkiq eQ޷)vw#]22K9sykWTJ5bޘ?a1\E\֙`Q X ͱ@z4،;ٞ ]Oūf؏.;8zcM\XZ:p9b;věfxjyCmy./)oc~mzOբRP:8"1sT{RߊaWIf& dM7ڢtd1,ܼfꊣ{6@YgcȇjԋS1b䡧Eav1,蝗-h_@N=I`jBVm?WY JxUM`.7n%ΎH u $,&.(rGYfziu:>l8ZtƝAqpyGҖ =*{*G$` y:?!9UUa'Dp8 dHUK+l JZ5K:sN:x} jkDq}PhKGeT<l$ZZ8&x2=+GW8GfmkbPL~+KFxE+Q > WdYTi Nןr~ X1n .XÁ1~8?r;ґm:=Bk`N!4]A-MՋhvG"uIBm5`:*<$mhG=E<å2+ 8-} O#pړ%bgFοĞ ^"/ 6EF/(ܞ&;nZRS{e|&p;Mww׀J5e/ oQ:u]yTɋ]A04ҙ<7eO=>k/@jwOY̕>l0h07xl T잋'=9½.Z2Mڒ&M\ᄸHLD4U%pt%>\r/E6_:"=MC btwgtl3,CS&rZpZO1AYdnc!gC^Bϊ:qfY_բnBr[Hv=rKc8kB=+sqV,H5 P@N%Ѓ^M /g7\!ΏKâKZX38kobO<.9"$d` 8m@L(b;XG'Ap8Gġ-YhfF^mىy k&e2nHV Jx#rsrI5%7ui C" :7Ysr.sUIJ;JC3-tA㇆.X/uEeG ^MRXg6d-j"A(GPC0?1xG酤&:;zlυ6&40n@?aGc[[]5=)S*YVzv >AbxBbڎmnϠMDo-lf6NY,uѱZe<:-1i7=<@`3V'/k]! <,$v Hnil0=hCZ-r|2QɨIL,R>kԦ/WMգ9B)| _WtCv\%w:c{׊r.GFi}n0<)U֬TQPx#cM~0SHϱJU-Y;XBeǚۊ1#!B܆]sJ40JMdD f.3AsrX_Ao1xT+tMW70#J iDӋzss*S2M!p1L Eߪ݂6^βnT6pXTJA'ww6 2 E5dF |O!eAaOȈ1ƍ 4dX6+@#K "R%zreԛmQ򊔁?N:uE t$N2h3Ե6߿M\`wMFZ9 C0$:9YՑ9̊45,eH V6𛼰^n ^nkMï9O7fQ NFe=Sj9՚:mY>LZ7D$C J >H>DXrYHoCtf5꫟X,Me谶oNz?R " i-F46/߱o|59 1m !%ke[A'9.7Cos 9,ߚ|2#f$ 8i;w/@2Zrq687Y1)ߐʜ8..x1"%QԿOCÍ|[=>R]k%݇&H!<)$7JbP$(X_2&ZRf](erL,G 66u9Xʹ6kćn>=sJǙX1#oE=TJT%XՄjaΝD @f.8rLf:(Zn*,JrC,8p Au%>&k:_-HŒ=#XI# )ShrE0A>9w1֟qԛj28BY&3bq| g6X *.$K{n$H>5XO끡^ ?4P:`PH;5NEK<< HF*kXFf֖ں ȕ[w\@'N_}D9$q߻n_~<#W ڂіcn8uDp_}r#Z@R77uVI6 IS% LExtended_Finite_State_MachinesExtended_Finite_State_Machines.AExpdocument.tex7zXZִF! #]A-MՋhvG"uIBm5k k,N_ ^>?pLhPD[vq|U4E6LHKTU?f> +l1/( S'˭-E1|L'OA*4y[ݖ4V>Oϔ+ !4LBQyɶd#* H`N}5u̦% OH1p'Wv?T.7Q2D=3.f5]c#[Ʒes2 .7A?^+|lCM }y_F$fҷ{}d)M_ %Mݚ3ci6u$`ͼ$u4 9({:~`9(fkJx ̳(Pg _j<*RY3e¿Լkrٰ(MVyxE(rv 4_A;_w!j6i(˄^\Yb 9CK5Nja;;qȈBkLLuKR&ҤNPr'ۈP\$}#pj r,HR&w4HIf @NE/[.y Ot?V :NU]EҐ Ɓ<왺G-A~],0i pdz98ʝoF ╏G.%HlXRfdi.MM{߽Mwdy~fPM;cujZx3(D|Cw/.,l2qBUg/ TT!I[% Extended_Finite_State_MachinesExtended_Finite_State_Machines.EFSM_LTLdocument.tex7zXZִF! ɧ]A-MՋhvG"uIBm5=-#/A#! LmgԚUQ]zl T5;31YYZCB&V,Ru)*JՔ} s}|b:P53vq.>=!Q\ݙ.jWԸױF4@Q'GɯKVxA9Ij>= '惭k5R Hq^V|2 )A}`(zaT n$N_i !BZϻ!rv@J% |F1Id`hJsPr%_wY{<3+$Q \CpVORD.|CI=)tzkQ4 ^Er fKHhLo j`! (ǮkdyuliyH.~~vI&ʞS3%!w: N.iY:@Ȕq7">EkoĂ6Zr cש˅~ Ƴm 6pv'lj_~fgY`8ox4!"re(l|8Kڹ K~ H̍zbl`UGq{Ez1 <̮3}$"0=f_i%ZҨ Bvj$Tþؑ[t6VB=j3FsLǴƏpǗWV/^+RM$7e F{'κ.%'v+q} k&WTk}:5d!UN,9MAW] neX5ru2*9f~RvgL0K6> K =OɂMuH5@'WUX淡еD}U{n8HHQE0Gl&y$M,}Rn?|[\ަd d"K}"!-΄jciQYRa!{JQZXԊI\;Zi|{V^Bp4R]E1!k#= H!LfQ %۞tre QWs/c'5pdg`䷃~ xX^XT%iN ŏXg X6?gĐaJyeh*x0xTV-ŗ !sͽOIc@zdٝC7*)cn\kV21wa~bʕb*!k9=yu3Ah6*l!ߞ9{\D?Ð ~H.W 8ʋu&!}= Rx7-?1 VGݽ8r`hUO0 $D-!0']W.h|T3'߻B||fQnE?Gjpz!ZC`)WqfUf_AjEDjzK zٷ*!5o(Bt g1J%Y/@6])ҝ9QÐd57N/dP& ֔մ.v h?ܯϒ-ObWs!$?xByI'9}F^T2˨*.9cpvdyK0WeU".xaЯ,Xb=T g&- *Rde}BGV`S꽾h;gH!\ʨy(zׁhQ,mY[φ@{y~;ͧJs$0jTv" Y^Hc.'ͦ]ru >ŔpMPCpb6<@y̯lǬ- skvތ%{ž(^QqXrTM$C+ SVR1%-PijkMߐMKF Yp=B ٧ fu` 4e `}j$q(S0NI#Ia۳y "/e% oᢋaT;V)*r37ؒ/rfp`q:^ŕqlƷ47ͭF)c):KFn!]}2v Pπ)ɠ#UGT3#ImB :HlF9yql#Tz7aqRi/Վ:+_v_'WԴZs&+UA @+vWTΣE( ߝ薕eY rb2[irȳ1)[y׎6i-LihZ W< NrYƝ_#(hmт$ ``מiI?%vO=;Zb0EGV.E:šZM_:PJodz<0)V\s0&f-bsIE,fٿMn\^SJO7Q>ȃHHzâ@$= 4uEIB#n~ r ʇ`!Kƭ/'1ZMvCހކW2S;B3ϰ_ ky?qI1^)lu.z ֑O伌`4.#OMQ9侫#Tټ@(zįS뻍qE/A,X,F5{c,@ sKǀjU{o ~T97s[!*"#?ozA9`}&}Cw8C "hUk"HNKV&Ğɵu''&()#Z.6;vi `J @KJ(qƏY%[YhɈ6zQ!7A ZQ5Y'́k1zЋּ|ܣ7C6@֮ % 0@H#cQ Aeϗpƿ)\ף;ĂBQRy|0b|~؏s,J"o؜} puś:.>wRmvЃWyXX7oMLI-Y^t -.8ILrX@ֵ +<DEDغ+]fMQ K@s^58H䁵{pܸNWyx+Wxh!~ukH- kz׋7ِSn,Z#BD Ssӗ*37,*RЕ+-ӫ ?+wyܐkH/'#ruzV aN$ok_ΕIoÖ8gc'~q'r4U M:>V_)I[yg1*\#Xr!8TMf dZFrИ 5~zeSTx "u݃c6>B qPqMΟo6̰4̿y^ZCǰMt?ߟ^-;ˤ)3*XB}Z\ۂ|oLJ (9.lj$yJkKgDStJڢtWwyэNEm9# 8;}C,f5m *jĊw6xY/ Hε0үl@Z<ͺtIa FI}陀Pxg Gta0$+8E܃2ܝqq&b9b^k?dT}+|W-"JFKƐHld#OGZ+dK+@Vv% =`RX>e3M+T'F^LJ).%dmzT#ѳtv[ė{?Q z>L@߱z&  L0~KЂۅX224e( **R#B4\](dd u/0&ky9=uBG}N[K&*+hvB;ԛ$F\ppN{CNU{E|;rSgհP=gw<߶S0׊mִi|G @3V FoVQ}=}˲rxJÞPㆅrkD9?RP$hVu(ؗy}Z>9(6YG{ 6Qy~0SƑ%wLM$ɔ"Km[]/w]:~c%K{4[@P(ӌ`̑7LKD@1ed)jWìZѴ SO?C% /l:_]nBb'+skmR&SI9hC#(@a2/%;W̭%1 hqMV2w.ɲ/G=uS/b 9jV)K;푙o1K[5xc{c8\0z6s8#U5P!яsDשe5XQV5V5^)I]u[#f|B,l: #]d6c5Gxߓ*k "lst1 ? $E n*[ "ZƦiV\x+*NǓstKrPWʆԷ뼩x5j"DH)qt,`6ódb_Kf+ߧ/6eSJYMh7cn/n@8Լٓ+4"b6$0I-RhwX Cal"Y k7&"=`!ƴn,F61Ni'r{'qU{_=`Mz=']0 g^^F5ձZ9i>|oöPB_S3S7K31ߞ# ^(tLm {xVU[/Y=aBȟ{%KC^J+n$m;8'-sY "{B/BK]UXgWoeuPq{x#NM5/P%>@t޺mPC^9 Y8d 5}jR@*cХ>Ioqp~CEP V0 ) m8@ޫ1!fµ<#R\~`t&x܏Kx t5E#3BlXexEE2e{1l Fg 缶-&С*>s6) ڎ߉ WvlNrE={pJxmldӲ~@f6I\37hb&rdt [|~5$R2@A<mX 6< 3(~Oݡ/V"YdjLQLe,WjPh՗b̸aj墋؍lYq;5`x3+RpIc + (3c*;s蜘^˹s AÑvށ F'=tՠDMtٗF!gO A/ĥڥvYI}_`Xnn4 ߺ+ ;q\]üplbTgv"mCIww#gz0ǭ2$N#%EdS:?L4NĒ'g7v\Vg86Y-f VOt]vI ! 3`.H0ARTv Qp&3ĺU rj(c DHۘ i\M˶B >Kɧ2_VV,qBT&.'kY!Z)H\$%Fv(/iU<p/oFR^?QlloGx h{$xG%պc;)5z=`7w #&kS9Z"] Әl[uJ!/g(&H B7 6k_,+Οc+;1{__FPx>Dڝ,Y)#j2ʯ|hH4Ҋ~m;uj {#UsISЗ}TdYDSӣ\_#1d)UGcwa+}T#mQDa 0Y:dUQ{ҥB60 ~MO[̿>{וQW":8+RcbmNUV}~­Ow19 60fu&"dy0# 1֏km1ޡ_ttQUKG^QO$k Tz*Ϊ;0ePd}wVz">gU!V"!( VW?*E4sj; SmLAM;|P3bmhÓ80$U+-p G;5F!py3ɲə6JF8J̚˳V- 9G=ĬK %b8Bz'4V};]\Bi63+3YX}Xi,tL"nBpt1n \^.Y aaЊqnLaK`dZn2&knaihDSWGRP1D?֔){B n(7ƓB?a1|X.(%7 *Mzr+*bIj9f0傦ۡ-GM.ʛ9T4sKga$C):Ν ߭Y?iOD@WO0y/P:P5r){8(>efd96]ʣ wwSGzc5^Z"\+r3'M~6i\ I汝UNJ 8Z ѼP))Pb\%'h8.:=_icңDj?VyW~/"̥涵zYit"{HO( +TGȸG-z"pL ǿShA>=ڮ_i,gPVcK,' ~$ʠ cNjw?S\VMbB>_a,ɀT$rSINd|u 03_jFd=QFi%f#^SZt[$b^&iIz,3 /=px c0dH(4.i{]sx}}0"N[Ny@`P q J5btM״?cGKB?V<`vlr BmS:( j TB&1ȸ8e tu㣖xBkhiRޱeh~P2[>"^U3.my"jBF,KRu$2@-x8 _]DU! YI\ ]n[;3֨w}:^*DJ~Wyب3 %bG;"v"^슧t[``al*N}"W|FF$U4z5({Fi}WW$8o6^"g l݊oW%ڂn3d"qvlą/l,–>jdBÆu*|:9b8pDjCAՆy\ ?(/g'-AV l-r$:>Dr7j{_ ~-@LCcʬ_MP&>.YTUlx i%`$HnFZ]?|y,:2{/Z@+6LVC¯GIOsTzUb QM%r;0HXrIw$ :ī=LnZW~MQ>nIA7ź}Z2li+߈,"yw)[*kGkV: &Ph/r-dloaT''DSn9n^ڳ%Fee2;@5tl!yO]i@Y :17O!IxdR%?#WIʒ'Jz[*oo31B $& 0$֘?\!P"0K(0!xk(nbMy.4!>69Gr[ ogYZ wwz IS% TExtended_Finite_State_MachinesExtended_Finite_State_Machines.GExpdocument.tex7zXZִF! #-]A-MՋhvG"uIBm5"k,N_ ^>?pLhPD[vq|P3*=A fiNӽp;V9>rM >cV?c!8 ~y#9&Bqs);iZ, L-sIߝ<]8`C@ݶem1+{چRHi2A'r.4O Yq+/*4z/+[jl"viv|Ԥo f}-lq7q-\RTy:_'$u.mq_τ_/bŲѢ/'*hMcPe[ دRp54=W9oKw'>u*ƁXal[R]AjIc6k:ǥ'vrwɌ31rچti\{?q &3V"[ k?@FVL͸,=ѩP\@耸3#`sʭOL\ {J jQs1T?W:7ӅO#ß΃t츏A(jne}zHJ;,7KNvcsK} eq߯D7(sV,TI% [F>t9ń@u|-$x+i Y}$!=[/T1gcϏLG7!ow$y_CBN%2jPvA~嗫Xq~pqtHe`qJ f*s Eȁ#KR úbNAЧ{䲖)FYQ|O\n>!q7(q|t4o,=D[pRκISqD&k\ӡZ#`7| $ ':2Q%#[͐Aq`xS\F-#9@ vIs$=W @{)=%ͤs*d۴6BG=2 }y=#㫊Jq,0yjkB׀ٍU0~f79r{sc4ӗ=.:r؋ͷ "Kf{O {ʣIv%$߱C }reM+g1މ.oWfo ힹv$eII9o9L;qb5P*~Ǵw P@c]Aa+>CmZ$kPV@={y򅹦:D"REek\GtWZ5ܙlutўxˋlPi\ִRC`u@xza3V+/cjgdBm}`,Ӻ~OKk`Q*[ۍ&m\%vƧ/}{'T^D~>A-_N]*hუR'c ~5q|cƵJ\܄4#tb(P <<sƯAk -eZVCoFWpq2yY$ߺ/_X_éF;g~Uy_q0WzH&so1;\DFObX%>{1Y~Ugk 45f`}:le]g¯ MjE* Ni"ڄZW,#V|+x0|F5T.w+z(j+B֜DW)}jWQo!H/CqX ձ~mP!>*hV7L +M?G/|hGfyvۓT^BKI(>֭]S)܊xleΔ5-UOXn:4\PֱFvM . s8 SчSTFtw@ =Zꐳ.V$w~QPt=؂Szat@xHS'rn=FGIo탺@9gKYS%K(GxmW)}9J$2?T=ʥOӌBeЭ5w-Hb:d"06'FρHH&團^` NE:gJ,{c]_he*MPAy+XmF 4 ̨/ D}$*Fzp dTOHf265OxQn $ )~*ҙlsSo ]R'}䮻z"rˬ-K\-%4y&H2<0MO}`^ɻj|ЯM6Y:, >+m'q!u-ocu fC֎DQC7;9AzQp}||.pnbOY @ťTCyC}9L}1qآIE֛a&g䳑n .`-F7HVZ "@op mb%e2UG^xzְt]%xW qRcɴ,c _$ѥ[#N|,#EdmTS=$K\G?d(<ڪpDP):AֆEmdb֛ ogH QD5OF='_)iN-w/&YVot=LfJ]R2ȲL8$95,. \= %>dַ_4r0I Q-êr`|k~?V9i.K\ ŲNz*Y#:K^2:oءdh΍ !NK 8$^+&6UkqvR<@Lft*jrLQl^ǣ) 2d @ObKHWeT [j I3Vඊ+ֈ֥ovipj>e~:/_9fe,CvB|a'tӓ("{slW(I]` T a;ϑy)1€5c~[({9L35n` 4Gawg3k.™M9F2Ұ:|qGQ7,U7)Qg\ͮ>>^ER,j-2,o2c8(b;RË-w8=к+-9)B3g>zƁ#ۆ"MbM޽D]T(&t\FQϷad3ᇠO~ʛpf@bNuΎcSLS1 DըQ T<ꡨ\;eVNXEք&NR۱%5b^Wu3CEmp˥eh=(#κ^vS)&wb`"5ƟT1ݹ~ÙqRpJɥJL YPv55/xI yZuF 枹\tb:Em`܅մS"5F y$,&p;Ŗ?kPM9 )IF" \sBD񿿗Ls S 4+Ϧ$8COYq̈U l拉j;6R"S{:5 ^oIn_a$yݯCka'^e),% N%I$tUL^VڱgXijQUBprktWiZw"*sPR(IO`1{s/+ =_D7^J q1s'ܢ5R_oAib>~? 7T bw|M!\qURUGhKN#q"z}܂VIY ~8Q/OoT{9qec6€4]p2wPkf~f<YvTfDpuՆCWbAj^<#pbLrΑjDQNAפJ(RbPa\-Xn[P_Z㍔k mpϛYg Q )v(k{~wa7V>"\Ahlf8WݯwՠmM M!z'0E|(}89;6DOMq[n]C~VEqhhw4&| n>tgX$ʇqȟ&H~6֓D&\…fr,=\h^sD2X -8%k8O׳/{| KQvm^n ܉emKӊ+ GWN8ZBmRh/b9+5J|`U5qzDwiBGnZ0j[e«k-Ȭ&~/LDW2G*<4 NΞye5vKؖ>M_)@H ۲*$FX叁 =ZŹSD*:`K:zG&$i+9Et7.GrsWq΃LS ݥ;焓dvNҁԊGTlRbo(>ߊS,:9Nj +j φPWg%U=tK#B_C+O aȝ[)i-?ZcΦ$/CݶTIV.< p8I8/iXn>WTվ=rW|䋯֤6طʀ_^)M+6=*Y% mVt$SY各_ ^,</źԟ祏c1"eLx#CÑ 2QFԢWNyIu(Y(=G);2E kBbӚg$8膾||B1VOw»aWH( m\v՝yږiWڈ97D*bba) {M"o62:bb`Y15p& zLf_-ZV5P;rA[vaof$!Qc{Џ`rTR=bma"S3lzH|aOɴ?Tb 8u"prkd\,;m7BȲ^9ܜXrH !7ʌ9t'y 㧰̲D~cwMB2 v9Wn"h 9@@m擷Vrt9gxQSBQ%ИH$*ei#v-N 1f%8TAlJz%#tĮ}o)K\9D W9 h/ (n'9ϖd*xL{3Z;W?~h?QU$M&`Uw*Kivr[r+7{|Swxha^lu1qyǔkT4JG~'V IhMS{N>swa4f<`}ʏ)qJ~e;ph恠hD1>Pwħd1ŕ [;;.uv `Ck^V2T_6{6:KüOܟEfP%?GY4UǠcQ 'BD/מdcގJ"au鉃x+BdѰr6>W+|5X "lJYم}Xi wN}'!QhIl wT52jsfiuvPbUOoT0wAi_=phv3wGsƿY?x9'l4)Хh-8p^(ɪVܤB'dR?/=$.ĵ>Q iB5L/2tjMu5ٷ 3bH928asDg;+ :T)lrcI)7C?焴Yx =Wmfry3U%&FDrA+W{m}CeowW]s:P|DZ-j}A\^u[tnJc[P](g`5PiuL)fݖ$ uA>S@|a[1D'ZxZ=Ln4(6jS9C:yV7O0XOk:" Scz%@MO 4v7wos/,2}wd#][XX24#ӡc<.Uuk,1>tPwwzn?72\I@,n).*nk2p US()3$Y6x㗠>פп m~ܲ/7CgvrC)2<|ǃnmb{m}"^tۘJTxh'CZ~~c/#=nSG^5pY FNZaC!\$\NYkgj /! ۲吉WR'$tu3%/+G<#!EBBfU7?KO{Rٍ@-~[ ܾ:PciDm{QC/lpBtGIb!NX6_VySTd9*vUCqEab]Fӓ;?"4.R &SQ9jKB9w m"5sw̯"@$2-ivky~弧=l+ٴ:ehCE`pUìCsP0S-7WФ*)A|ɷw5 oZ>zL=Ǟ{ 7Ro5 HOꕋ ɖ*(yaxe-?[B5zXj\+?Pk_DG*(DX Bfb]䚚B)s碜YE*ԘpxuQy dx$_GH%@zتISQ]u4L0!e^~aPA_Q+JU;}%3`i87Sэ*8J5&ןǹqP\Q00#7M$V BзL1JQݑ ZE;#W`4>PE舸˔_e;v3jQ!2ɡ^zx t9\f)MوwFߢ!P}K*(ӌ|?;{ڃt",g;Qm@囻-"{pmbnÛP[(`p,1ƹ & 2zSxj'K` X&]_LB=3c&&n91<[>:ɣ" 3"~GY8%դ,Z[+BLf[i?,^.$# -3-J)leRyZ`HGJUh\jPCGĩ| +zLdӻdkFH,7!\gpl˼%,DS-=M qiY_Pu݇K[TU =aDI;u#fF- A~AP% >K< wPIȀ$ZoR fs ]cp=괈Ua$ps)z} |.I)8,vߖVHaJ&66`Ioqݸ؏uōljc;v(:a]oG q-]cGhU]g],b/HŷͿ3:vR mP>?fH Z\G*"c_^_M/J.{M0PFȖfl^[*>ͩ7ͥθbS6|\^</\"Eb<Օ4_!,E/rIaJ]ȋ;Ka"`S_ݽ9 ]A,T;}q^;)' 4yբ=݉ư`tpt ]i6[{94C`LTx%.WNQ9l 617+j:ua>s^np/VN?/vz:m#_,qZf `;Aס]ii;/}r~S Xtyհ!ŽTEďa;5ebZt!-iCJ<%u )!.bYU~*$gGZL& zds$k @38  cT̼:GQ[f2a\(BؚbP>Z2c0 x[et ?B[Uȝ}E!k] @]c WG#AJT>L,-d%6p;'34Z# mƐZq+ + <r Rf֤\:P9FG=YωȒt6'$nZ "3YEmlxvFQVhmm>'WMTKv楷D!gEcѷ>ʘVihjJ n1Ei 0}¦ycfR6XEM 40 @嫩ɑlIr"0UZR3]m 8<.J*~k+.*_urʉAIQZ1$P 63=5Ef٨1v/ᬧeWY56]nvס%f,i|\dC1~LNpQf9|7q{"G'7 C?XEruqQoH@I nu C2ަY:0e% .Ɖ)ج*f9!ل sۃMoh pr_2.EJ5b̄@c/\Ip ɒ"PkDr/y+1uQCpy@"4:0ny\< e$w5uDUHET;dƔܔ)zjQcDq31>5Yְ~#;\w edFy Js̰Ut}l mTeO/%9OX/%U`̶vzTRmx`YB(s{q4btK>"ԧA 3Xń~ml}ʮgl0;݋'OyWxeriDՋ $p\6^5gX0f#°j3pn&MW`[0wa;s;"ZPU4ڸc'+  /&˨d+fLAݲBxiPOpo8.G[ \On9c8zT*5*D0>Lb 3Prc)DE"zfx~YwRMz= ɉ:H.~Dυf K|@gqi+đE8-W:=M=Lg 1i$xІ?Le~ x~~ᙽux1߽wq6BaLJ [>N)mW(4Á+VL2̥}icxUlޣc=<$QFh?xDF7e'/ g8z ZmI"MOc,ռ) (?&]%$VXm0s˦߂lq ߍr'#Tdl90 b7ۃv BcB̕=#9on:=ΛT0E;qʻځ}\39G?45 ՁLu)RˌiF?nZr1X zΩJej9'~K"[GGl` qX^hu]W۾[J"l9E{bk АG{03Z/@F1?} 1qɑ~+bFl2%?4GA6փj V%z~v>b\3g?B?CqI#^{74g&Sg0KSW 1E +I&˹0{A %H3¢;Lx ҧ~%r^̭~No"ϜUqh#+F9t/x|3G;.7[/mn6VQce@|(ԴP4P&b XNձV!@Ϲefwn[橱͸UJ=`T"8AJ,k! rfk3n/*ۘقWRKR^1Tyjv͂Qk_^Y\3!2`ג8ɇ; .w`"> -R_ {֙\lp2?­n2XYj].i(GԒ}' 舵b9-).1I7-qj_è)">(Of Z;kѴ|`(Odʹ_7[PSj#ˤS0v#.xfj.8(ޗ[MSj _R E-؁3MdvfU?K AyD:R) 3=5SceLPgxl(`d΄3an| 1 3`ݭ !)9 T9qGW6,d*2 m0}u!(k(6h1 -gZ;d"aȜm>W7=-? p™(*hC"\c J_nQ5\i4؜{k6ʾwD.V51͸ujXPBNfhV,ڡpq` N2͐IOvADi/DfpKUqLYjо?5kdT{>ОЧpuX5%|OdW(waUg-ya5)C[M==S:,!T8/F\tlw/qid$Yؗ%UwVC̜;\s\n{Rw q d}u; 61G1+6JS#w89XuVm7sxC::05側$ASg`jÔ{tp,ژIF">-jB19#"\ySsmf'*_.]}4@[+o3U8PiI,ྡྷ#b㏨/xJWMq蓵vۣQ*vd\S 1Y8n̦y2t\ ,Y5# 3Ҹ&B/A۔؈.?:d_,d~{_D`P&8wBb1jͶ:᱘l&YRNp&j*ëxsL&M @/ F7?gBg1s֮?Xe3Aӵُi3l=F_S]d ? V|o#FKq4䥡P|X;:3+P2a@D ׇnJ*jpCXM(sz Ow 4HT* nfx_dʗ.rwOa)Q̙de,dl;ąFRμj k1̬iU4f,`͂ gi:mAxk;O;H JaXtHFi&r0}Yo~)fE?`TJ 4:ʚw)"SbԃTF:Kziث͗Ң'cˬ24yd> xR6r@^k%mȞitO3jU ՁzC (f+ޥբE8oEc۰+oZAˇ8}}ժ_r閡݁)@y~8cMͽDRs0 0WǴx&Sw*QJoPu/ymW ƉK_ ӂ J{^ H! #S~ ;8[gu*ǩ|h*%!SO RI0[679t"1/S\v2yz12'OyOǢ'5ֳU|ʈ,h48і7ef56 Qo3DdM"*)Fbuoi3´cdO|D>NDjĎnhڧ' /ԋQLW dd*ԅ5 i@:Ul>QD\٨Y]+/i{]sLɧ~W_Q-pʭjPOM"ɝV!945Z C2Q&R/q mt&p$@;p XZ2 Y=$*^y[n 8',iđUE(P1_cC@c'xr4a%_HBh9DT0E%ͼC@6ę/#34e.X|-r" :YJa,I=~#{n3JVJ,w}p=l9z5;p x$֖ aXa1}.2#t:y*%=}`04ə:SХfo/&a( š<)bq>:آNnڰ9r%,.=T7JDp) =Ty$%6vA1Edi/ vd3x=4 Y6vqҕ; [\!݄CgHz!_)30ˁ)kYCynRXTOo#[4ckLXBZ{8Vǐ+<+-,sj ?'y%+<  UTdX\3*CTCaB:f+fN{d;om2O,^&;OP|6mq66&X`p, 8G `ayesEtDzkO+E=^bq*Kd*/߇i[$ann\_ $bfnaц|X.V$zH'%1a|ә?t?mE°yFQXL^g=kʖpݓD85ZqAkhj+;ԨݙG_fծTrP']0h^n!,ZpOkdrb58ad.Nzx4I!iFR0}ڞ_3l@gfD-y B+&>mdj!ķ6hBU"{4Q1s*[3 hHnTKZAF$6L`W'ϸ^hY\EpcZS 6D ,aC6/T<)Iqu)AR/K9XDAY_щ8߲tر_*B |#mڬtc/))O>E8=.S)<6IG'a)^nFE^m=$y9v.7P .5ds.Vb[n-\fF >Շo`@'=5Ӫu֒8UUid3 \=h[lZ ១  3$SRdNP}$.(8`ȽZ9j ~Q~G(snQ".<šݳL8G.5FU;˯v꣜}s&wRE/Bj0% C% s7t}H3q,h]O+;7B;B0}"^~uEhN4?Jksm=$ a J>óS =7#N{t9q?rC'Q sy.AlJyB?l796ۭɌEMM <1L'=h/(Ֆ1y6 pҡs90%Be)K qQ%Bd]LrEQpmƒ+OY6r{3!3 _QVY(tЌcc)-ۭ9=.r3fy\= %DPԚ-~E!|8I8zu(1dR8.rƗG3-i"c/MM!/'C̙pő1Rz6fBaTPZ1?&Enu&g7}?bMuͅ{2Mꖻ>tKŽ?9]|J=*:ALJr!?'^Q7Paah+uL=@ks~̡h l0C.(9u[@` Z~W0c~y32_7T?~q`_rg/S<_zy8EE<5#HWĞT( }[tuhM/# Vh ~8wu';AXcp^ٞS(ƷUV:slH p9+~T8`H9`]Fdm(MK@(Hn͜!%,9<YLdZ/U晅~яfL?Q' $sP[ZC<<ӟ- mK#;i Yl/ k骸з-cW-EBu$P |U ɢHLzTWܛj~FS|ïR]t痡:'x}9 z۴?Q̶`up4Ύ>QO=ŒIJ?lj |C7|Lъ".[Z 3d>ߝ?e7Ea{;" UbHhoۦd6y界60{1;%a.a ~tVh_U:=V(7B/y}60F^ii`ђr\ ͯf6\'D3Phqk:$mMwDVw`B ax⏡# 5"<3]֘߳FgZS^lUuŽrA\$p"q+{mOvdOޏrB[)o=ݘirMlwvoǯ>O1]1V?GG9ۻz"5nbwV㡨/ ryMxm!#U1'TazږS k>6}pAoXíPCt.2# %a'CzKdUƷ D`m REd'^q/‚uSI73O'll$d.M$KY]ĹkD,sxTWS\EQG ^Git4LxܓRp9)G \`CwԊRI`1 9]Mi؟uڣgAWL eJa' m76sBaIVjtpunm-GPQsbxgpv ɨ <95kJtGwӱ%-z6O9U> ҝH*0ja1pX:i !N *ܪr2t"ǝN?7O+|Z y>yNZ; hqg⎈=1!s@QƜrYTu)2s(h\9n*.̷wG~'*JY}:%F =OW-yѶ̦>EƘW,s|A#pz9s6> Jafj~ŸFR@H-tRZr_~%$ET YU} tҀ^5&& K0YL" JOJ!e ܁)d1jvGn5F-NZn. %T/$.XtD[1P0vZ+2,,?_(ۢu*YxRjYc| a& JU$Mj~ ;+Rr9MP,^8:d.0$|: X0u`7})2KMۖbtlAÔ ѸT cJ:nȡEh6waCDL~|'|xhM5(h8vP[#4"=c*&܏=r5l+/S,y ~"%aGS59`YY.9ryӡIcl2͈ZtKndQjyn#iGs3 ӯ bi4)HGUȡj?tTRh|1_ K˜!`nn]zVp= @0aiJzuW\<ߋ f\ 3IjcGgVofJ\#wan#|*&y#,g*$7Λ𻵺c S ^*}6:Z̾tdtXS2 //b[)-5&`[c\b=r!uC0RXsa1S=r˄5;U{J_o% rm%l]`m]zRI q]ArHnU B`-_^`c׽IIC*gQUPPמĴmYؕ*rzt[iA=i̛Uf$Zs**Wя걎M΋N@D4ahXԮlIsĚ^S:|Z1uRקX ,c߄Y\g:^j#\WW*_)=Fz+mȆ-@R<Î_1@;CPDgB}mÍVPA }Ik){ٍyL-r=}^ w V{iA;Ό{{4$].Ѿ~ģifoE}Ul=E܇?7QIĎ2zEwCN6VQ;){]{>NK++3l|xb ܊w$ vM1 Mpr ߒ,3g*÷LBt %\|xIbjmb; @"&ۯ[ޯEa152%PY|7 K!Q\%E:B*krxoa,Xte'c,xx K] dh9bOTR02 @sX uhЈ*>,dѴc8Ẃ6KcG$v!RN 9웙flt|bE,`u)4CgYZ   @IY% \Extended_Finite_State_MachinesExtended_Finite_State_Machines.Trileandocument.tex7zXZִF! ]A-MՋhvG"uIBm5r)sFL\D|VfOcOj@0C^'MIaɷ 0 _~{m@ dsu܇"ZHn5ݍpq k`Ҧ zLj@N6f»L=j]g&&RdJ`?YFc(M 7@`0RZCI|" tՏDØKys4m'V6OB&N.Y~wqjgerc O z })>W(tB=Y¸Wt6j^ |K%  ccF+JNJ_o`SIg% tExtended_Finite_State_MachinesExtended_Finite_State_Machines.Drinks_Machinedocument.tex7zXZִF! 41]A-MՋhvG"uIBm5PD`C~gQ%BkYEۥc}#VI3k*(0_է#À|yt^ YrlRT#M1qAp]605r j?1}!K§k0^967I9xatDHwQ^9UóqԶs5fQQiބ\ɋ :Α֝4ajƳ?'Ҵ)\C\B_OtJdT͂wrSl -d#C /_7c\JWQW`@kQZ_Ō N2el+bP"ES>fTE{/R@czr~/h1pd{=f|>.C\8 IwNkQ)mD%-|M% ))]QM]CדyR=_2 !@ӡ> ڈw5 Ю1`O)f'B1Gcǜӵ!1gU%P[H|,X$'IMbn844fiȵ.+!Khotq$`|&QgmDL&kYE]D&!Q?Qt]OMNcHS VgݵFZ>{M!zeB# Cuf{iM![*poLi 8f.m>`j؃ DGeRbAI@5)ԇ/UM2RO$Dtaf#^3x Ad^#M@k5H }ʔvSH^qdB.N綈&xxK`-!21wH0q"TMOdp:ioͽKH}^>AEs̓5| 45Ҍp.i,*%%,Jë?,wkf7oer%= 94b3V<> ^nIzcy=goM$K! U+eW œ1V(:?5ĿpAԪVH]w #bmEEX_%,>d)I)D5Y ]09jΛl0 >U9{pӕL4.x$eQi?sOϕRS:=i3,N}.z#e~3=qk3JLn.g8q-as$o v*vUA9J3F , 8 Mgڭ`v[(2K<v*5g9ivpEoL&va n:-C { +>jR aAcg6@v .:`=>^'^ ]¿Y[-dΡ,1'۬;D |/sKwjW!o <]_݀(]\RkP23Lfߴ- g%M˲q T^W E`2͊HU6O]64b;M_WA܅nHj'}?!k7 ob/ UC~SYFs!m݃=F[ mtrtO_B& mY*TgLB};ޮߋ>JK^OGQ XN!W2"b Qg4~ȷiHii׸HIvņ?Ӡ,Npkۏ"9Ql+~NmqB9US4RQpNw֥*sm5ư3Lo\k608G< h6 ӝR_c+A;Me'R"?r^<]h%7ɫ$ f:"""+9l"fťjx!nNjjp&/InzC{M81aCG)^{vg0Q)H'ap\K! sD<5^FcC:HJpD$+ӵ􊈛aQ3vFy͒vȲsFFjKFRmZBgܖ4C("b؀qU;VrbwLloހr/,&Yx3Va/@'ָyJ,ǍdK S8 Ҽ$] k4 su0S5T;烗(8ne&qIݷyذղ+XOδ'5ϒEA=r$ұgYZy"d3:,͡%lu11%xcGcm) yxV%^_ȇ69pe}rrܻͰ&+1.(5zovz|F tw^RL~ǎ'<1CvLkM.>`VV$ɠ<{QiPz̵aj lak9] \8-tӟFAuqՉ 5MqY_${ÙK .vTdw#hCG S,W}`EШ6vd\8^;-\Kd/V}4)2~HRK1ed+ ?,ʴyZoRYǼ"\t$t4~T%h4S=Xō{6j1OH)T6t12Ȩq,`tBq r"Ϧ e2[2kOs=e-}yzo9rǻ<:8bS7d퟽/99qIn3A?0eF x ˠXRa8Qm@Љ)m՝OntUK7ReP xnUc峾:9WϚ4WfދkH`!6'HSm}&{ 7;BF}NP_DG l@.)(U Y 3vboD)9*b}{îITLARE' es1&(yl)uRB$kK܈~QO`L @puaT$.s*kaOs[ߤy!ivJ]MU- ER0)}9ړx5mhLu1@㤃L)H;˲yvːuUkQl;CUDߔsbC$Gnɫ6i?09[72@zfbpx4?U9\ygSs]2Mܗ6gsCj֩;uƋF}".ք#߿âgv X`H?>|b\H=E o1%Z~L>"b[)`i>Bzr8 ZD InphmjNfvL̴wsz6om*{YO%j-#|vV R2bt_QkZdv=Jbyn i7UD^DY/p m-Ici˼QT}E+i6|6APZ<Em5WDL9~μu̔?5ƞn׽Zˆ271## k7UE/GE7\I,4ꁡ(A [\Yl#8ʠ~yc[@y857 o cYKD'.%?^˟?sBʡ~{a?/zҴ㏯8*xLgɍv2+Yi6#qgjPLh,vn/PNVBe7(@ d1ΣG~N1.fW+bHY`[::W G_(*vZ,2"SlBֻ>M ɃfQ1!L:3-&] q0r*Y_'ΐֵ KN'iWy^!fV䖴~EU%k <+{oAaASelb:]ׂDZ wOlp~vbHjXTv28iW/4uV,O<*ipDoh''{lZ^v_1jYKX"|OiW4ڧ@51j{Bå /N돚鯒e'DלFt&)wQyaP[,O_X AH@׶RYD^a M#QqXgh*UK9Ct`񥖃E:O!U tx1BOq P~u`X,=v B% TN2Fdy22(uŰwTb\ACDHaZxU^s3tQԠdzs)"?&K'|m.1 B2WPͅH,ptlfhّgnbF]woL 13F|bb - /6)EU ^oO͂/- -[rVXaPތG(q˞-%/o:V Ѿ5}u 9?%b1 i;1tՙޗZ!IQ!x:*Š' \S&*%N4v;y / Id18٧ |R X\]m/;dTF$T=C o?-pX*bspP-Uq'[7$R!fw G*grW9CMj/I(ηժ6B&%w@za8$Ѥ~đ yI0zBVl}HXb \#8#ƀl[C6Ъ\X 8KAD+oM4 pZgp(R5CP ' 9[QLd}>'%v[H/V z%gˆyA_e$V\nfv3MYw҆jL:V](^PcE9č*%+lDQEš,+ζ[i;<27{%yyzz]8yIl!) zC'HdWC&|"e@vv|&Yk΍$bRmFrDɿ7ц9Ik.$F)[aq:`*P*t&~IIb{?N6qz ΟF}y7 /W6#Cpk:C3; O"CܒZ}߂,ר/xf[٦`IDmL̋hz ׂJ^}\A0OloO%SJVzwL]F-^TC* c<֑9`٨cZVul1W^/!/]\ 6C|hD8`dJz1 2֋r'0U^Zʹ NgYZ hh Ik% tExtended_Finite_State_MachinesExtended_Finite_State_Machines.Drinks_Machine_2document.tex7zXZִF! 3]A-MՋhvG"uIBm5PD`C~gQ%BkYEۦvqOC P@M}@z @%}5e?jYw2[`"!Q-Qg{U: j5n=AT>N"ȽtO_ ^KRff my@3MLx, 9!= l V4uaz!:vYh* '&<1ħw>KLӇ֫qzaS^ճLL7,b|2dDV@ڌR´n=?X 4"samٙ$j(9ʕvqezӱ`1F9fa>f[ѫnP[iK0.ѯGI ,񀐧g"j %ʇem0ʞpjtɂ{0 )bl6 Vqthv,49y)!XQP,P0ih3xi1GZҞzsCN;VL1sH<ꫮ rۻ}a ;Nq)4R%yӨ ndfB _VRN7DR !LE\VӁ9@c"{ ր2 JІ;<aI&W9 R}3T&t#nI<2Xbʝ&ȇ!Zx{SB v?zl|c#UurPF afv`5QfwJ9% Ѹ=*ju_kŪic>ovr0g"3G#84&um$°};+5Uy)pRJ?JZ*Xҡ|o R簾2i"".˵G>+-z⊨/R}(S`_6 FYƜoI.Bpݭ@+QumHMBikI2n fmzU?/,Ka?q=/NHcaJԛGDQjk#c(UFX?fXnI%Y^EEͤ_ 8J}5n >E2GAE*zI |*RlulQ1 ,g͜N$Foף$i V 7JLQ!3r#W( 2P|Q)T:VmZ@]#d tfiXJ3 ~yɗ*ﻬyq"=9\,lCJu5XOHdgE_(22. zRv, 12vCnr\Q_ly!QHi%5dOw{6A*O#=:2|OY]̶KZPVcI<& .om(0M;zR0Q`u%plAҍ{\xq-;U"e P/u7|[po d5MS]6_&IOYk=r1h~j]D"ޔe{,\f]RJ=/N|l~fm餶l 5%a*؉7VU|)^ HcS+oݵ2qh#̭ZFsʃJAkWıkI#2.=`:o d@ou%S Ovj;7& ~NXJMѴ d>`[ r=mz㐕%KBP$S mN'#pm"NW=RJX4ɆT~{u5dw Cߗ;IPIVqyTBB6 7=C߬tBb]$=Po}R=ٚWVBL1mv9'9s]nh;ժz^N|{ehiS=%id4ŨUM=+E-q sW!k% jhkju}W_!~Hk{>{dOBx`_O)< ;FKlM^pWВ-|x۹&lԖ[~ +x`9|^^aQ9-s"4sf-\O]"3Ud}f41ć>Kj$::5nA-c|skiQhiyU=猑׎ptk mE\i?}FjDgy("[ %wM|)` ~6q.0^]QE:M'Ը'M w bҫ;?_SBT#o@g}~5V:Qi3cy{_η7&Wkw^1\x\TFVܧJH76,^zWL߆%c;KkWob?FhL#gƯ_AJq ZV6HG&>+XnEL ܒr7 wv {mjy1[,X(- !ꍶAD\Bfgf!A.'f |[iu|UfpnUQ.="v!$a@7 8U4 sC9NHnn9@]l8ԫB-٢l>P$0!H7a9$NyHzW\4Nw}~KAk੏zPI|]`pDh,>U:eF Vcz/19X, Rykz*lsF9!A.׹M6wM c h?O2C=+5˛XjqU܉d.| ݑݳ䤅r!}2lTm^e ,E|<*y {{ Ib^eIh&wKIDÕ7b%CläVA6yE) q$P,l%P/7 T: q_? u1G|yT Ypޑ7pauLl $<x {2,8HtQr1Y4mA*؛HI|nSV d 6)KԅKd5V":S?l5֥^V ":_۪5jr8@NvW qYNQ a2B^` d~z'?~K#Tʔ[a1- U&>JzOg%3y_-W:^RJ]G]Ȋ'kQRJt/`Gq)Q^vյI} ر p63!P|`ŃZla(n^M8`,~!]hn2m Qm޴)]P?(CwI0%~|Xw"XKh%VJȲRןg<Ǡɚ`}7K0~AFnV^K=C7SfݵT;{ɺ@λ+EUjqܷz'C3"',6Ñ>A `&2nRvLΟ"Gx BxL/k<1;w{adOt\ $PY)荛b߂\:1bvyZ}ؐkt1y6 <%Lw\~&:uv-/|wCԖ ͐D{3zUǨ$;B2l,5.YwYwLe~JDSvk@k"^R* ?FEcɷnP W'^ y3}n\ G_aF:lڧ I3>-S452I< >~^HHc=@E="QGQWcԛkWӪXJ< M[kƉ},]RtFn-a>H% ,^U.2 eӡu?ay[j+U!*D`Sۡ10?sExKGK:%)@km f;!x} k`֯2ⱽnOwE$r+טUV[%gN`١|J"5Q-j!VoPaFLѽlTU>ͼ{Lmy r'é=&ʞ:X4L$( _GKY=k[/᪫#-`!ܑO=*](PF #!zxw~G둫7?KA'aPNBIa oq6OWHpKuqjF`iT9:4؛rH |dͥH9}#]qrǪOQX Lr l,UMWŌC0^zfy1f4Dmerr(|LZbVe(3ulYWBy)ty_0-O6| ,+'͠eakgYZ ++R Ie% tExtended_Finite_State_MachinesExtended_Finite_State_Machines.GExp_Lexorderdocument.tex7zXZִF! L 4]A-MՋhvG"uIBm5"kw(pΙttԡ |+:$\X&W'n* F!!*uLߑBšG݀ZK4C1փM[&eXK 5>#r eꞨ;k \9nm%Z22K:[* K}/(HҲWRk0ekQm=PB#z6M]x U,Wr̭!`FUg&㯻Neτʷ.* 5 "tJ 1~g"V`jRt/HfBRGˇvu'&3[,1\G5Zy'*9hH5 Ι-pb^<-d_<)P޹t+n?f>&K㌭C؄F!!5 +FBtj]Z\:`1ȹL@h~ SERIcА2$2VPP*')(2HN.f"yR^-k(.z\Q$4ШA/to0o7(z!t14# ݋͠w; e֋y^BFp:XA,<N=9Z'Ed~ϙ5Mb'}E6&4`L~!Ϻowo:C̨WslQ@T>pSV2LjJՕ:my;Q2`/nkO |Jw|UnDs:.n%ᵹ%vF$*|Oo^$0:R1JdnIMB d*tҒp:kG#dӣGGD͗;㢾=Nn' J7Mj.}6> ~.˹-KĄ{G*-%ic@衪 S8|tW@.QޮT?S˘KeULSҭuB`Q\ qoP (*ue@S-@˰s%p/ПAc~ 3j!ц:hq7fueo>,J aŪC@I6}q[ mHs0dyݦ ? ytő`[` vٺ`lcLvl9TdSH(ݪT+ Vkp{u;I~R[dqL U, N_ %'eO}zݠԃ,Htl|Z0J1 ]9Erhy<Ȏh6U\eSp70$aW닲w*㎴MrYN9l[ ZiT#^1Bч(NlR _B9$NG)͓pKL.1-m^Q< >tWTC1QNZmsI3vx+um$"pw@L4qe-vVnsן} rx,y5>l,պD̗Sq5/i5mDYt1Z:`>)o%ڣH)r8~L' /$F }0ʷL/,5ͩ$()h0,"身`7pw:!`Y(-1?QLbDZr3L"a_)j*rWwǤ@~Ss+Xro]{NOr OG:-jeOX1G??4qFLSN/%Ť_rՁ(&9| {ڢO`ĔO{>9Ìfxc1\-+X%./c QA: ͱeHĔIX5LB͆ q^DXx3E=Y\+RvZH[R#?L>KlU=sqlYouyzgJLg}?^0._"\9$DԎN25ix5l6m/~i̬ѡrߝ]$PDqBk..),ooêV;G;㩵ьaaN'nYs*zCC S _@kL$,+>A"webVGʡdXBLxAH _%dN& [²4MV[p XЎC7Z u2~ug,5B͞%V&oVCH*mt$y{(CIe}^|ەyA >C-gYZ d d2Ie% 4Extended_Finite_State_MachinesExtended_Finite_State_Machines.AExp_Lexorderdocument.tex7zXZִF! r ]A-MՋhvG"uIBm5k kw(pΙttԡ |+:$\X&W'n* F!!*uLߑBšG݀ZK4C1փM[&eXK 5>#r eꞨ;kh"WWMib3&BR]D5/N;#0͢d^b@hK_7) 3)7oTfm {tMBnê?%c>c6nT|RFW:޺c88( ҉3tJY{^[ x҅x6;hvnj[`awql7x@I\w]~Z6Q8 ?lsjV'AAd9Y}=\m/<6{뤬ջÏƦH/0}Eӽ: cԔ-d@B6 |(`ؽmѮs+6e~`yoW+1QmK"OuD 7$Z+[5kiъLtA[T$Ri1zI:c=՟dh1V?颂 Pp11kQUd,`ԻB"cgC.cLϣ*'j!*A` i>H ssVKC hK>/t <;Xz_S$UaNT% H<]=":@ L-P!Q3MttF/7Lݓu_PH }#cBB:&$1O{U|3T5<1| &0盱M 6q2;M ni1g@=Tx)L*81)q5x^waȲ=e92xHYCqLKУ(G#1"!݆!eϒBH C)\qٮ %B{:Z{6/ׁ̨QP֤9jQp7k(RbZ㝮D{hoGUx Ȟ9~ִmkl p_$?̂< ka{|H塾q+(@*w_U<* 4naVv>ckrhkS=9U@ώO/ɀdt/دϙό+ P@qGK193(ZLҬ\6z`awh5$BZ)Ƞt$9P|x)L@-]c? -B Kp@8̳ѐR$KCʈ߄T:KlJN\T9O<|]x&ڍ1!j҂\:{ OӀh<Dr۝O:%wͮ 0s :;֙Y_+ FP#mE|M6N&ocJ% 铳EHb럓(]rmT_"- ,!99&Ӓl Oi@UHD>IqMM9Q >2W+=5N2?ɕ,1aTⅪDRWdGAW@Â)#;Ui3^PWC( = psY_Qta6|?qkpiM 5{OjJFqSe~vW_#W6nTX( 5]KqʹZC zL;=EO2Nfnz,XuBmKjz ` qԾ5WxcέHLŶyۋ,$Y;wdt3U_v^&d^޽|VP~!A)}\ U Ez2=)xEqIH> T`8 8>):=;al (=00LI`9-:딉bX Q#9 a_u.{R;-]v<~$23ű*F7mIDY$vQg;Q3mg.^v9Yx- )ZNO>=.O/Խh-(,,o`WXKE 4 `tLJVfn!v(ڄId0:m(Wvy Ԡ-Jv`-cZ\ϩ(B|XQ&i>t{!*m6N |܀ 6͎U$y0@# *_%kaO42{m Lwhe!>݋{D,F/pY4`EU\{mb-_,wf2gYZdIq% Extended_Finite_State_MachinesExtended_Finite_State_Machines.Transition_Lexorderdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5r t7Y߄1w#Ot;ĴYR/ PG3Pn|Ӭ 2ZDd!ݗ]2L63y _{H=+Dq)Ej\{^hz^J 'V#|e5h'PfيxW&[Dt>?Y STu"v6m1`DډʋLl ֵZlhεZ~EV> 8ܟ9d.{J!_}bw[= |~dh霱&U j@K;HpKbz |EG\s{o}|\«gBY`vX8)t4u' ?H|֌'JzF@.&n G`QVL#8 $8?^=/py")qSP2H^.o"ý?\#i n+>Į AG >Ҧ;*&MT}2s~gဦ5Wq '[ߓ Xn^!rugs3g/*(W0d[#XsI {[fL$db4hb8چi~~$פ "Kwe~V@K"%CB T4lǏlC5}RlG 'M|?)3th s׼l9+Q21.a!e*90L8 VQf<e #-cIBéAPS1Ey0pҼлڃYJ.,a&ȅ+D-π]fq.s)=HBLSlER,XK'S>uIx2@\tF ?*bK[ !vc~Z`|KYYi.8Swus`eF6[ԼHwBDG+ge=fuO$zG(#Z#hP855k) 6gYZ WWd I'% TExtended_Finite_State_MachinesFinFun.FinFundocument.tex7zXZִF! the]A-MՋhvG"uIBm54|xEhbM|8c^C=aW?  ~&J jXt>k! 945`(f }["7a}ҁi~@x²`<ÿx&'x*ni8Qj 0|08,eZ,LC茸9{6d6┃ dZbCD""]55}`1/g[_l)w}|2riiĹqӐ6wӑtMfDsPveVY$%Uo0K?T~&99~Ee57M͌%I'/BB/s5Á&GxgI(S8#l|9(/ƫ2[[Ӄ2P?wwJq\-^Uh#A$&Jw/vPIu) 4PSHrmΠĻ 8s RP%׫JK 1 S e ef%8sh4I:o̓%Nd[F= L r+lHb8 ~JM%-w#iQYn9 >)٤C>U^BD$it g vc6CW|tn:/mV3z~,=W˚k!M/aTywSڨ)vnTL5 ^? tC*(!u&,u \\ϐ8s< muhE8?xQ /܌!10 wW9|AֹPrb&Mxe#N{ 7'Pa[{qԘ=D*pqgvn>H4~ů=pygE[s炵p؁"xm )I"acs_E $%OZN{hVx9ƹA:I 9ןH6T]1ԳZ)({5inZ@{"wch?ٛr%DZ*何ɺ&6]c(|E!^jo3~Et nS"IU% $Extended_Finite_State_MachinesExtended_Finite_State_Machines.Valuedocument.tex7zXZִF! Sh]A-MՋhvG"uIBm5*#DZ-y`]F3~tGpZ^4:{@Bsluuc?; ;;@}FN7$0-"=cGޓ)K>D'Wv҄ 9&^7.xAқoؼE}bz(v,VD'̜E8Zs'IiUǖ*y)g2ꌜLJQHRuZh~.l,ZZol/$dD͗$[^C,eV.bٟ4_5u=c~98 |ζf7Wz"'V}/!#KsC0sN#=E1\<|-"cm8;+}Q}Lr'rkKY6q08Ƣ f6erl:FyӬ״~b"sa1V8ᬬ1*lVN 8 v"LDLJp_ͅ|o!BO vJF-,"{r mb&nhtĽHHUMbGmY:<*VԎilcxUrtC¡p^)S;RF.͵86!@"BwavB'TP0&gB&sΈ$&5JSm21⃈z[6 ,QAnfQG2!|-]?;P U .a.H=einCW)&#%K16I^jl7>g&o^#3T\QB^`TmLAdgJKO3nedّAgW  .Ʒmݪx9n 4 5I4ׅkkf9!Q φ#\Tcu4<i Ȟm&@Yt;%m1.tK})Phbn5(UB 숈O]qRz xq !{BE;;ڛo!BTu8hNn7kGl<'A&U nJ%֊VN6|uH~ R+H)ZyRs\pjW1;>8^րg4tqE?el xDMV B0Ƙؗ&|~.k)l4X RdǭU&kq=A8<{ WI_@l̚}qS_aʵ v k77,dhsJU\ɺ;O9Fݝr;'RXtRV—*s;fХ}V76B?;'6Mߺw5;e0~d:5bxE^=o.vX2[i41B<W+(o̷4r ]~vl5lD!z…G҄qlJ[jN n2l渀$2Uim<8AdI@lIAe"-g= v @kIP[0Λe`-ж#t,zrv֦L5N;h4i[?1]w,?<+ ^#zz[ZQT 대}ϸ~A3esew|~-J;%SS)-<nHz5ЭHT#ԝm{Ñ.BC0#q"@_ɟZ%ɀ\,?4"[(;BR[b镮SX?B5W*aݗ@"U) T: mvX!*x9 b:](LO"hVSCM5dY~'%[_8p_;Ox~qg¡S 1LY'Pqa8 7ٳxB^Rc>'Z}뭥fZE0k4U$QNJk!^nYm7kr: 9\n¡dWKMnyQ{Kia@ԎI mMgYZإ-T٣ao'fhAL;Y4te.f36op#n%,s9A2hGD̀]Dxu5#2cR#61JWH?%}Zx!};n,IJf/AL 0Xɼ ~Y!CգNWÅN$"=%?3Kcd]G֢m'O32{HvKZA޺q3()E"2Tk}znd9- =jUU>_ с*&AB 0L_QY#x%PVw.Js>boTgD{6JV ;j i,-+"/m{,V_uNĉ!&Kܺ12L'lh7I$@%׺\svGN^os0;xE$ƹjǁ<~&Sa8o_%܃W3 ~bl3+U=M_Xgή# *Έ|a 6ؙTP@CY#gV l¬*sifŰ̮/3>O]B}Q[D)Knte{5?,GL]F MoQeC'td\7ոWTi*"dO_z$i5nP?Rū ?zȡe2G \ ˯r0 ?;":Cښ3D;ARZgFFcdW+RȤg_ -:;ˉwuO)7d /ش՚j|ӲBW6ץеq2w<մ| uk]h D͈='*˃oᗙ(==C w1v-ai}P]dfXxbuJ6"8(Ƶ&K+qnwaѠ6 :d4`|LK# ^%ף*U^a[L ua*vӱ=TD@Xs[neXi5+Z5I$$˺mv~al4 6uA^$.yarhA}}CWDKZ|6ٴt# nPs˺kZ$l%>J: F FY%6}|Ÿ _p ܞ}@.a /qn0z/^h%C*/$M3A.L?JpyG> #/] ߄4f@N]tF'1Z: YXحb*+Wdk_פJQ]X=RoUg foĽ? EU{'>Ҋ13 0b,+s3HD YVDE=p ”U+iQLά[7L)%zW_,H9|{j><>DJMظQ+rn|b9'A7QE+h՚jB?=ԎP7"JunΓPE3vX"NRm>̟Y؀n@XIB t\{~tޔXyJL0MfIe~i/ͼ"G%˜' ed@ŭh<DupJhw ̍eCnDb tP49 4B&C7vn{u5LP{`bå @9:MuVE##ٜwҫ$eIഈR``Dmڍ?#Edtxp `H<2bK_ʩe`&.>>fPׯ@[m[;o+_!$ p $)r""ս(2Ew6܌b ͚lƯ ,=Ai!Ƌ]@Vkߋ4oBm6:ƍCl3!Flj]DElO@MCC\ID!y:SM"޶p+'u UJ1U~ l5\--i &ՃsCoB.6vk?EǓQkkAGq"pZgQ”ڂbCᄒ$;ՇA(:Ԟ2L;00hC7 ( )]HӼZ!7r+,suw.Dk:&Fqb_lUO1S Zr=b\ eN4,*LIg^WxWd.\_Ў %ޫ]eޖ]'|< G6& !18hkBU-u1lrcTC8 ̻-a4o 4͘M3T4'&Ț!Rᩰ3e˿8A#.*y{ tOv$3I!-D=KU ,nXShED4Ywgjl6HlOՐN$ !JԻ?y:MaA4=^ !tX4_Hhq!k}"hZ5(%d}KȔZLc*8}SnDv+2aQt kIyRBpo TlY<P CE 4E Sԁ&E%W݇I>s@ *BWwѾ~RMstDJT~e!3_XndeJL2Q3WvXkza?-Θ6?|BZ$EYߢr; mOP2u ϿsW~؃:ڱS͑)V` E %eD F&!,t}vt;Upd 5a;>l&1@l$,4ٗ"N=4m|96-,jwJ 0T4=VX/wh@5bB^y%lIZ `<bfHnӆ W^Aճ okwV1%ׅgk4 G=_M R"j}@Wb.u܍eG]HcvBVFqT+Nnl֑&.j 2BؔM^>&uh%^7B_zxZc#F9b)Y{juj7 Z%<0 K!c_Wk9HoE*\`0Vl  Loɋ:=mG~ijz+ejJtտV/DaGHQCX}0n`9w.>aB ceMB(oVl>ӵ|u7lGu]zvd$%L'.y o $-wVTJ=exdg Y^5٩\JGmyn$&e͢l RE⊜ϫ?D_1l4J`\lN-QsP[68zgH*я!5Rg}+dXboJy]s'Pn9_2I{2 nּ$*6ʠtٷ!Druv"<5 H)6BEp3`Xlz^CGz=U򥉋A%w6۝i+_Dx 0%[3<{^\(D.bM{쉞ZWZ`]@jF]s=<`ǽ%!j)@ܱ)4g8N u0TI5a%|O E[KaeL-/Nmu^%7S(%BlaUAXߪZ.D:OH[A",hKFV[=+}6泥`ŢmTp9D_&p*y-CL!DHr-C?`܋Yu8OQـ1eHiT,8>I7T0?止*2$2,Z@ =D߆GS*N!Hز?]ߧqfr)vXɤ',*TLn?s`Z 2lhx2X6d# pTCA6 I\< zlDl'>TGS;J&`DJ.W#ݥb&!Zv"0G}E6:X<(g;."&WMa^]Ji{fSG+7=6 ʮX%r]NAQ{5TbeZhg4Fk[mo.bξ|+^UdbŹ5Q\ё~{] +roS!9 6%M- n}D@ V9{L񭣄 L 7a]WR:G2gV&c{X POT> (暠]О RX;꒛5 B?جp$Lኋ)7=6FDGJ!'%Ftfg't oʬC/WQUI"bSC Q5=Y0{v>+ Pёz w)0Dv鵛`T.,~ƺPS՛I'u8 P Bh E&$ Zu8/ȇ V-Z2v@oA+eOP#K)qK)M%04TwdZH޻%3""tN}ZIf\`O#9vIQ$Ŗ 4eqX\.~3Ăh}}Ǿ`ooMCZ4^/%k2sN64ԧ:Ɓ|NZ%A ʟ@YC __:tueJ]Y9W=LmMz|vqu}_B?ī6T&AHZ4u{GfO4^oi&7= nJBU;Zi7!ܤ5B~fߎQ0V-%u.tKZNU37 3ЧyBP0;'+qnC> OY-.g2rEsȕ#U- _p+Xޝƅv}Ӹ9JzW s EK!ĸ.u) n*v=*V-D%T+xJ>R 6RIc7e@A1ْ-Rr54b/ ƹ^& }>HRŨ0"fʺu^&S섵B&KQ7 t N졎~<* ]yfZ27+F@ M8;#Ayo<^M~Ң+s֌>ٰ+-zƇXT~edq|h4/aQLċ-̰֔mHUۥNl Ĭi .ţ(1Il@z ߁Z``Nӣ@+{BQ/gphl"3߬Z"D2$p5.VVECKȔc8[H&Ho8pI}?̻їtDҮTGgN O{DժXLtlwR)E De&1(<)SN hr]e;!5:1|7,3@/ ie2 XZ~;S}L?v ED-CjRc 4jƤgJ 3bI~ۙ'Wʛ-Ax>w2NammU#4]ɇz_b&9G&qA0&,d8:g !J*v 0?RW^7bVjuBOMhpJ8 ]a29oz o}t b!,6H( Jzn&L!Yܑ6?E6^ ޺R{!tV"uo!LRC9vwe\ݮ?)Yх/,1e;jamt"lW|~܊"+,aU3'8RBcid[mɸ2F8fq^YvўmF|1fneQ_>1`yvWfM2!ډT3K8\ ,5/Wx! B+XDEV7'Gb#i];Tՠ2u,/\>v$8E bȎqȥo.V pW2 GSiɥC[ߑF v$ \Ѣ\s䎎ց=VBzf0=@ QmzPT,$Rn߯af=֜$ 08 =䲛on?6EZp]N6z sd$)h!+tF71/crDXhXhD%kRB.Ŀk9vͲAo' i^^҇hk< 3M52.5@xЈ̳o[aFmIL,:/L$Fێg r3f7b@w1!ݵE34b6C`a W02 8m/a7OZ55%8|qipV"nnoEU]%# {@UDWwّ+RZd^?4@&\*7-* k:dV<%!lE&XoKʧ ܢ 鉗N'BQ|.~;'hƵuhHg#kҼ">7 V"ItEUd^a=3$b;zļQ< QA2voA6u>B` -|Rz1[Xt w]V?̸WOۤCy®7pO^+R, :厴o?S-{ƈQ}Ni뀃ۻTqr ݓL|k2aV&tA(DA`ELJKDBbrlU"V$縂D~CȝBnbU1?p.`qi<#<\B; lnڐ`[>fjz,Zsڜ$2ـ\}w iV謷7ոBvp!n5K,Oz|p}\62RlK n>汳ެ5D9߬I LhUÏbd!P:$4%+sI6i[M$5kcyCsI%#3N#~hw@.}/0Di&X|8|˪u*Բ15MQ'y~ײ"J:/uu4!75# =,P[m.ɌfD6`d~#Í ڊ.xQ"rr71 u}7wg"q'N[{lBX(dߥ1N$Z,m ^WxƊb2{.?w߸I9L4iu:n6$ }cC $fX, ;2Uٍi#׸kGXp\$? g8u'}#$-f~0{)Qmh,I!eZW 樕>GԁZc&aܙg A"&NM˫#^LqMI:}b  qƂrPOŃ&MjZSST\ܵƣH!{SyH!PqUN0n˝4 ׮lց7UOY1KL5} fW 13=y`oF4Nf>z_[&Q8"ER]3' *clXlPC/Ѯ5P$P/I0vkx38$iC&{AлƷk.//V=q"ݾSjߗ?1>^RǻFkL7VW>)4jp+\d%vFlĤ(%}ۉU(\(%NpP2o>⺌ޒa0d ȽS?=Re5ig \74uel}aX`'φh 2iH#}SsXԨ?~^,j<§?[9յpDž΂ҐYȃGMB>> {pmg;fbucb2fOm%M~HOo bD庹>i'IR\ Iuw2x]ĕ^u3GIB}H[,K[ޢyv24kX[tDG}6'l"%tj VQǗ"͈G<)%Ɨ*}~5πeHf_)N_Y|gOߵRf'QK2~>CizFS|;XCgY,]g~HPSy[{J`BqJ sp3W+#NU```rBsd~f:"OÞrn~i54cAk In.P@]-֔Kdjأm;JQD@rCt}˨eNhz~< uvh7" zHZvEMBª&&5vM?p8?fX(`΋f>qEJ֗<7-P0O!PSH t_G&hܘ tjxp'!vwlVM')8uǸf^RX'm,} f|>o= ltƑh? {+Ek A9Q `U/͖4WIbwφ 0@yu T!C-CѼSߜƭ8m_Ψa(^$ )F *:33'.$vGՇÍks.JoAg>p(TK(Rńv~!T mK»FUy"Lh><J[*cf?^\r!9jzو\}@(_Wѳ1#:-ړ ?R3lf@~`T3p"l8p &'6UDHq7ʆ[Iz3 gu-&JyE~c^ }09r]z {[6ȁՂǺ{X^9jCERSsL]ʥ #5wEaB7bam y|ݫ2W&onH@+PAxсɰآKG"ё ;fw]8sa:qv8PH7Fg'rhCbψTɩSyO.h?kCjj AjlG:s@seW5.eΚ4 ip!qL˲m˰ō^;fO(sW Ϫp}?(v$5(!RR6H=& WV7 w243Zm0dN/jp0ĚW"op8hhi h7~wS&-m%ͻ[5Of+o%1qf_Oz #{]pbޜ]H5րOMin][.0-TM89tpw/2O~n\JSyLXa}5~őbvYcUF/)C‹l^ɜVjC\f#N:eϓxȁ_$HO1i0UOVZo>`p3Qxȩ1;Agl$GԏϸԜf(,Fҩv.fUjI]Tf#F7 ϜAY A-0@:xMkiIC2wpJ nm2jB\aת=OYFoDhnSj~>Au $}3L4YKTm$VC);bifiԘd;[MܭэnڨDK;º~*_<#f~&0#YzTT)A xڷKF |n/,1@GztzS.~μ*#^AX x~&G xx3 0֭k+ 2aU*t`#s}t0;={zKvs,X%"sQ:(JOP= LT#!CfC3 \t7m 3]E5 ?΃o+jk̽}*VjC7ϲ4 M}A;Qy)C&r0 'xbX!`M@0! Ц[#BزJ5|J^x٥9_q|qzz&gk8MR@iR!B0m~Z:SOl֋>dPYTjR50 :8ٮ{ 'sƑ.Jۡb TdFG\*%O.,?xtQmʼU7_(n#n1 (ar80Taځ |7*p+d:+mA| xcx˞Cj34HRU֫牳F)Sex92m1h"hEy_bh?NU]@LtdC? nG\T>sr1UHj aa*p΅_iaPƾho<%~ z~ l>E7!2׊oe,u!} z=ql{ɤ,{"!`W/mCT]n`4"?քF߶paOh UkHces/3 ܔwqSX`P[KFQK&9R|,ͅzs̹düydxP +ppoNNcv1YjO2w߉g 5bY| NRA`)q.aBvXɽ9T\_ Us3hiGqKvh(]'a8?GYpϠ@L:2Ȯx`XFWH;46֓eP4Oy9h)H^nP rPgQJq{B9 ߏ.\rd>HZI:܍E9+PԲ־K`w4n4/L"8: sJ T6_kLk6{לbBSW3QW 6&4VFd&>v'~W3§jc>Xz-Y%cV(̚7ݧ _3Ƙ:A4%jI6bX -zƤR#=6M9/zPDsKb^oF\srNaWI謄~gYDG5,Ĵ*4%|{˗ϻ6K/Eƙ-[Yru"jه𳥗' loy뫗p/0LEM#j<,c/,9 GgpA淁KR\D9u7R5yq;E%^9?6 s꺜R|36tkmP-SD,t `BB JBHOR+ 2ldR yA@imˀ31Pˈ>¢ьtD[6.|My-{:sSXi&:F4h"]a\z\P)FQa!3VŐjaW/cyWJe\B)/?$(XMp;`s2iMST`ۃ mc]ktZU!oC8`_)6VlnY̩~g|EX$= ꩦVanDd}VwzMO Θ$Y_[讱6o/{l{*ȵ_ǫjjFT }5DZWך*GO'uV'ڄ"%X ',`!;%=L[ƛ@]ߙb`bxeܾ;&қc5YnY(]dH@%#?ˆݢT^NӾF}8ہTY|L͝@, |Az}Jhr\5As^S7AGx7ʓ+gPT93Ip}OiwyoE${It,.][` W/DhJxytO S3D#eY9v y#>t"oX0`snH 8%P]&1NeU:ղ6L56]ǟAԱD$QfqA 8B^_GZ:$%QkQn\)Nw6+yYw컰UW돫!.hȚMl5:\u:$r8s;Q+3-\W_tߋNi< KH^@^c÷%"MiuY͞[ l!MΧ =rզf堆#+<MZ+2ɑ _iŋl7)+ʁe?XcN+d[LOvλ&e\My70~k-J?ZRck]G%\ى>E#)_*`qӞV8cޓ_qջZR}lo:\DJؿ_y*o1 cURV)92@d]L MZp0)iy>?4"* Qf/3]L/#1W }ʖlnDrIIU[@7Ɨ6 2ˍz!Ԗ\DW1*DPKnFߴ WbŝPL*~oa-HX0`/ ʲ$p^޴q3p;fMuѰ5h52Gn?[}o 6tP.i9:;?%1[fA8hXDŔuF%{Ew=WQ,$!tnW[于nR`zj(^rF۹ FX5>+y7%ʻXШk5UUk .m' >hT]A|N"** b(sG9qJDvztڎu?TJ+ږ.|8TKb'(=" f;7d {cZ &Y؝OTcAu;gX/ ԟYY:~m)Α־ɝ}S:FbIOc?ǵ9,$ !Ș0hg^|Y\p[JqGaVAg5ZVnQ4@GVm6S$ݧJ#\H'HCt51sadwZOФ ]8Ѡ%E( :Z+RsMOoA?׼7Pym=$\z /}5'kp"p}jo: #~WJqo[_ ȟ&{kwFbtm{4It!qPZblb8jUҿQ\Mi.=/;Sb<5v=uK5#}=R d[-u%$ѱ 82d 6lfII3b۷+%'@{1_U~ ^EӬ/EA?r͑vڙt?`a)7NFНy: , OZ+?u@>0 ۙ Ⱦ Jf7wqCɤ =I3XK$VC*V*V4wzR뒥R$Omjw<ܳVKM]mG,f6| @r?boB\|b:ϓZro?lIUz( B6WцˣNSiPhlҫ|S/ſ1XWBg sdV[{>hY$X`֧`W$)KG{+1gV6 ܋n-:^jr^`nik傿-|S=9@I<.R?†WO$:;ZB1PTd30~t!զbp | -arXӔF5{\Wu:co0s?]F^}n;9 PT#FL̺jit9σ@d^4;q2Ʈ#Ba#1nyͥy+'(zۈ>Z/l#8ȯ0Q"K!Kye5 Wa_Q 7Hi(]j C.wԁ]O(4h0p0=E N1,Z3 I#݋6 0;Y&hkN>'}䶹B* hxdV_m# > 3x? mԧ 4kHkl7'gYG g=(~Qlk9ַr |[d>벷y뻡G`CL];z#bw,ʪ)p {ri"YQT&u&] ŝM#RKŲu&ȠhgB8*'~a&3bafH$vנj &vtà!IBIp C  ,=˭AB*rFBZɩwvWdFx;o2Lʗ#1 ǍhmQkHSL"̓onb,xJO__R6nvWEu+ QƘDe&pEp (v"sx5Q8p~=sa:x\L!++ԓc1  yfDeTAO.Q煔wÚNcc7 =EaN7sԎ!4k0' (5M57b3cw/_׋_13*ӀoI#icOcUUtVnFrjKTL+){c2kx84'h.]gMSӕJP^\Zp:$&TaNpI 4J.|YqVTtn. ntnYċ\L@` w6_EB\ͶS+_]di+5Q^T{٭n N.%e)-njM),Pn\kl~?ue_-b[y͖(BS ދcWsXF}!p {Xy~Zd8, (bh<ճ b|23}?YBre6*XGZ# A`^lX Ae{H34 rm.'e@ gQإ}A{4$gwF\_; TDk(lK_8L 6&ќ& aq?t0oaАBhsn ^gFߩre^֞$n;'Bt 7dR@a` Nkcsf>ai]8$4/a1wk!''"i$59 nq܅Ȫ@oT {}蘭EqNDr" [OeX}@G%>2XbnpUrE@gi"l.,ɬ7g/$D#s4hS~Q|berW;_)Fk,Kp,Ha(N*1;,M00Hg﹂۠3&t`(̝vD:*e埬T#k1*>À]+wx`d]~GR~E38bq=K㭎B=]bNZB Q?y 6a"tR8I*J %yL=o'ztY?g.ȃj]G<'a\Dz~zd$)Q_!o#V$1@!%6[gu,\-h֙b,7ZYV~X&l#SJFX+g >3VV9Υ/6~GXI#hY:{b95:s"wi)f~$m~RckjI `8mGJCִT`]HUgrc_&ÊaP~B\V&J";zo=bD3fV-0@CϼqM'g,Ҁa)Wy5`ysL.Yh6m\zWG `h"NA|sTǟ[y#c4ԲgRa@LU>~1:,}έID*B@TU[ACi2`JyS}f%ef^=x)R0>< b靈7 $(YW.)W3EFVՂi|O.@F\h0'CSal!%mhpEh˜4}XĬ݇$ ;mLz7yfCYbxKiSx܉6Dl9y/E~Lrl=yw6O9"9^D $h:sfCm2ӄE5E"ݻssTz8XR;a,1PÈMt|*|hgt xX _m%lkž<t8~]!NkTL%BSVb9AKq3bS\$ F1u2?"o8 ™0qUy DOϊ |%E-C9Uq\om㡳)70$Οm9/(QCw+9Ď3&a {(\A[U .GݣPZ('{H bAr?XZe)2:u~mJKA 8u0/[*r;OsoAHd2_Zi&'NS x"'|Xulb514Zݪ٪ň@}_6*bq=Bۡr5oa+5I8_EF'M*[H{}E*Ty0 VV SxTOf*={a50_3ldϪQzֹyD/{+W<4?eR28^y1QvR+a 2  Iݤ1\ PW~!L! krJkxErl VQ+ 9Ey<568s<`V++gf;PkRK% ‡e7B"HLxϯ1JDi~_Dv'F́pe^B{$3=B% S[$'&uSA*8W<ec `?/1'x.޽h(!|.|HD ؙ݄I2"`2fuQPj憲]Lz1pLa0&-YAٍD)UdgГ1-A7:t S [[#rCX,RbM Yַ[Uj $DG̒IQwFd%3D7\ ҟGw -e/D|4ev!V*wRqdqSyOK{R M㕁3[a7!}D!R{lQQJ* nǕ{ %xlsG>"-6!l>1{PT}9pp^-+ ojKg3uU׋[& 1.| 2t_eex 5ot:[I _.}XWP3pO"-rFq{ @Qo2g%Mm=(KgYZiΈTG-x.,ϖ95Jeg{*\u) IRxb h P+2~L$_7\׽xe &.m^KBv汲 fS:p49,pc|l|sleJfWE#cQDЙ[gΜ?)?vhLAFH{R83:Jp }Ày0O T @wjlgJ ؾ8ȟ@"n^tDG{Jzݾ]96؏kD1i$q@*UcwcmO?Ca^^~35)ri˿o/ʂPF d^cJIC*}K'-Ptq0m>U4"J!SSs׮@y.B( 9LtNL)s- ACfӀ!3ȌūD^l5 kˤ<%GgP<׎I{!J6: l5v E0ken~XR 46mЯ"Mg}JmSk4NyRܸNIK+6\fLHX¯s˪afUO8f/6Qps4_슢 +ESo<`B*ؼM!x/ ZZrn =yti$UYɰF?RK xJ DT"IȶSwmȺ#^#ydkq0_3LM\SPRAF zQZj~pNEs;̆VBPsu@+9  Hw)[Y@MRSC@G?B<{S4-f19^ ފ =;FUq/Ea0qg_egI;6۷ҠYns? aU(C djS3aQςKM Tmq<@L,I?[hpiɜ3͆V Ll=~m3D?gPY?8Io.n-C)BD3 )K}OPp/g$fu(:PV@c׎4?L"τuTFi"Ay8.@Oq) H'룦ȡq氒m }8'=F-tClÚr$ j}n Bx؍"|m56!$]!/' @4&J؎.!ęã<5#Xi [ v̴aE @&( c2R3zRb0ǻkY${H80m-݋㈨VKFang6Yr] 0}?̵c&OrUݝ=|Tl7+0vwR2S A2Q/bTmr e_M4Mc(&  Z[nQ* HC ؔ6dH6;j8C(U$ %XugПGe)#FT=Ƀ_JMk+A7[+蘨nֆ%*B 8)kpW _o4/jc86SrYs4݄7M9*ǥ}$OWT9:P` ḿ>ySwULPLRbCIC;gJMAH#H=6$BZ5) ؍"o~;dpΡz_%h/HQ!΃A/yaSj օ~9; cgU5KYo>T@!:i?abD2* ;wyYV 3l)1huʨfc)tH]yJ.^w&&NPYeye,q&`yuޥ%i:`kwusݘDLfn9u9`TXBei4@{P1lw6ߟF>:nƇ4ݺ5૮c6;s|wߚO҄} PHdEd IMe̯Ǟ'^c8 +۔/_P G6$_pH=6X-O Ⱦvq񕧯;ʦƴ/"k:5ݩe:u7ATzL05DM7t-},c!cdm(Ѣvhl0:ua PoYϮ5d_6#)e6ÈVȘal~SM(S*jGARؑz$Xظjs BҴ_6Gw^Ԁ-?/+1F@FޭfP6([%ibf4_cΰG4o `sECPC#w(Ggʆށ%lÎ?ux=~svؘWUvm@q>jtW⁷Xw.8ZɴADj% [;7\ΥuA@NO6"X.'7N@RGH9͓™ ;jWDnqrloquB"