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  ^ ^'vtl< ]w]CAVA_Automata:threads=4elapsed=83.697cpu=136.632gc=6.0527zXZִF! .]ŗXiɟ  Q q >LL"ϊiP(  кa 3*{I]HQ>aZޟll-4 'lJwv/bRFƯvH9 {h1gm.$7m+%Ku~iXY8<ߍә|0nZ4"V'8?qZ`f OwTNc^- 7nb) jP$s#Ngew K~\۸t6*)SkQfh[`½ݧ{s:/.&tgxdg^>nD SӬ;"A[tے$ݐS}42%[/ç=v:3=hv_{"I\w6;߫KAJ] ʿ:G5EX| VΥ5~]=_aa~ؖS38 gOY`# %xKpz?q8X]zz?1Ƅ$͌[qAJE$Ŗ\VfHH< gv눀7h;|E.% A0iA|KF\#o0> N8a4_ @Bf>O3 WdAԷD*2C}ĝ^ vfud`yyPz&U$^oeF Pm7&j%ګSMt+Ux߷itdd$K|O+/a bKE.HO}^+˅?@dgYCWA;{M p7K3VS(.S}d.Pޘe΋}\*Dc\mi.C`84xusq8<=F?Jln3Ů!NݨhT@C~=Іo9bW жn}&Dt Hg*'\юGPσv 6' fw\HpP&hM 0MP \ţm1gYZ7zXZִF! ' CAVA_Automata 'A+ $CAVA_AutomataCAVA_Automata.Digraph_Implcode/export1.ML7zXZִF! ; ]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%Co;߸vH2 A6-Sw L%!(Hzs䄱;1w1Y-q9.Hid19A P+^Q乆~V1ȸƤ9X,ɻ1vί};4J 2Nb?3cjw'tv>ȪM:7.p) Dbؐ_͜`k ApC;"ð+O;dmo-SR,{oq'M/cԄVvU rr'l, a ѨL$I9U]մc׽ dF`hQQ_3Ǩ"o^sv'_=y\@_+hՁmp2p1{@JhXK_&W~?qg e|Dśe@\EX`6?4@ 4#@45v=JIe{:[̭яe),}'qtMNW8L15oqôYiQ i~D )U2Ov䉒aW=;!+epLcu-Ms-U LFRn2?8D@42DՆiF#Z@Cz.jW"%JzsRd2j >nYV&x Si刣B/ vBĥ65C칆K4h  r8tf?v?oE&bX7n k)mՙ bh8QQJ=ġ3Yد4Kugcje"3=1vWV_7H4,A5A3DeH1NӚ$]< ^=n_x5!a Nh®ӹR_ZmЦw}ua0poІ*h-swVCoS=%I 4:ja Eg)1+K_x'37%@ ʼn7HZ8 !nř,2B; !W-4eIU*2cvJ!`2I0e4}mMj-8;^CowG/,GO?a~;ʌfFףp4I(үZ]Cq2jGB=(^_'щU/`y*f'd$Rr]+dqՊi¢ h#slThj(y\A1OSVNMi7ds5"Qޘ &]l"$7ȋT)e4lwv sKmԕh =sKẒOM c+pi3_KBKLoO/*i Wq lta01[tNFV;tzEPsUhn1V`Dl#Zx6Yf;c?}a)3E$dYC\G~*L\P ̍S*̵%H-WE#I؋i hp| 7I m YdxgBMqɄ˫O]zMČʒqmОEZ@|zYSGI+ ~~P'~PL79'd{UNŠ#DjKrW<4b, [~PeqwI'8q6(eK R >#\(ڝs!x*(&3n c  65͓j˵hc,軑&גƋf3`֌iϫ`]V(L0wݏɥF}֝.1;h~tj$kx̉zSN=AZYzxUfuOP'5AwT@7=>܏zEb$BZYAzV\}5 O86?3bE>+G ;czGڔ!d 3@@AK^{]V*¦wN/DcoO6TN< CAx pˠҿgBkm&3퐮uTB<1gȢ ?C7T׼d"i}5}#e^: y0"Ud:5Yd G* 阵J'$ڿm_ϚRC/%cM1rn2OuMrEӬm4c'{ Zp_{N) ||.,ب35ڈ*&]SS:p 5: Jxͱmkb /&: 4[f D9PiĮtlg) &|:V%#O-]D zMB]?eE@>55[9[&Ip$ Waj>P5oqTB{coԍIAx#=rʿEY U(e̾) @{}M*uP.u3YW0B)QRn%CY zۇWW<[6kuqr(jm$ ̣LnT^'i疻+'5ǁ8-p.Z`2oPJnU3(xyZ]ۯ2ovDA.Hb-F4$Oş훤~5e0t J m䱞Z _EF4(Q,3! w7(9OۢJ)pfy0?ꞕGxAbkVO?'u z E29Jpi:KML%\e]AnbufoyUs,$oyKrsSL6c'h6k<1hֲjvd(r@S['1 8o%`Rg'AɱXfq5wDݟXXmiA-k'qs~vwdmdv:HND2LmK5H.pT܉\˷sY^,.Y+ɾ-бۇR/`cʇwr?d ަR4Q&t5>l2I-NZŚ>MI:ȏֹrM`pȵ7R=8]w0m%d)dv[`!{/dnEAsh ނZknOϩ!,7qfJ5Qg܂4}ΣË8u-yNQM 7feZ*|iBTӋ/Ř&~ө^ @gIw ͺl(Ȋ@2}P7v|dG| -ӕf&t! 1R|A욈Rƿj@V˶c "vExtUQ5QZOA BtP{12`2[\/~ĹT~\!6$n;k xp#۷ERwZ{#pҟxI7C Py$HRQpLF|;Q6νU%4$vm^ g%j$HY=R~fJ%r 7,WU Y.@wq|x2LG̮ǿs0}g.X5c6\*M랋5]GmKc%~k*1#x΂281H^m}Z R!\|x-$VAMhC"Y#5eZUZW6 R腼Pv$`$̡#XlK,36`FcG>Co<dbGvU>+@O&dbBlt)Wh99nalZ-Pp:.%A=$y@,Vǩ[K(%jyOC_\zג\ɳe".)g::0sS>1lX#6dٍ`iWBz%)KYh =^$S"뜪 K/| tQF3:p&%3pr,32RPHs&ȯ0|s42t/o{K.,?`,x+DtN: F#4hO1@ܧPx3m,S4w)K";>Ӫnm̻b핌r>7:mxN4}]!C dd|nS?xO 3ЛB8iyf!={YgHx|rcޓG2 {иliERW rtpahXGZRLNw?/5Ap>n]vbv9!O"+CAXJUsqVRk7~(U ʇ2HAJõ"hZ0xn7&k }5Tcw]LJc k6rP=D[m`~ʱ5/g먧 A[ J8sU(q90 uwp^"JXQVz+5HV6JxY|Lzιs1nLj'hjp(izQDZbƙ0Oyj7ԪY+7 8`m7`);A \TR1qNv,#h? Thэ+%B/qI7sIM~FzAK'&lb չQ)B֧͛J}BxuK8}se3-kbEEn:[bxHF&ܯ"YEÑ[*,q1|#K׽7) _瑼Nk#{mjLٱ'=4l/YoW$&jwslqC$Qh8n V A fMe d6J|Ƌ𹮉}Fg#ѨENQ a%t}iؙEœBfU2ZxR)&D cMśS <ʘ&JCׂ'ۛ?=iM;{6њ6^醀 6_(.S*լ_! }Xp]v$#j %J$c-cC3#ӇbtEB2a[2,?FXA np2F{lO@1.4ϭK#\'0}'3VH^9N^)ܩ`s ː;(ϤB,s.>~cg۔ƙ rGY͙s78n[^ό :Ӆ)qysbgfsn5cYP<%_")l4~vO9RvJ 1ǵMNxrC_#e0er LNNF,JgYZ ss 'A+ $CAVA_AutomataCAVA_Automata.Digraph_Implcode/export1.ML7zXZִF! ; ]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%bCt#GAtE :nEh.s حӿJ7 i 'C% dCAVA_AutomataCAVA_Automata.Automata_Impldocument.tex7zXZִF! (j]A-MՋhvG"uIBm5_/b4pV/7TjNOA(@nIE;043 A·.b!LjծX ?\hY9FRv5܎ZQ>!bڧ7(yVnsXù=lCQ4N[Bh<!Zsft9;dx?uƶ 1~aa#eHb8nNd3>CS2#po&Gf~q%l HӔdRzaO&/d’eidӞ6.>,ϳwd!,e DR")pI&j`?@Hzdy22 Z1sxgMN?ux?Kiy⃺8qDtp2<3 q7R@!Q '4zU<̣A}{dkH2-KtZkNqs@[MszqM~HBL- 2)Xϒs aD;pMd ;$в9 FZEݠ$k'_&Ȟ{WS,uM7cQ|u۴we)GAǣ*{%Vh>\بzފ_l; (:XO$afe TCdǭc$: i=\*9JQFƺ󂣻 %؞>Edx Sjq? El2sˀ.kp!l"?[xA:n/ௐخUЗR7>O\rx+_nK\w/(/@6&'9t%&SK%a:rEvbo6pFz=Ap?4]E-]R#?^H:Wc=XX{L69 }Hg7R<ߒQ?Xkg գ3w2`'@S#KPcNkV %]hytt uh<3HڏbT9n b Oݍm_U 3dmT '=Imp=|C i 6*05͙M%*㥀?Q&kLv]fģ){b"#ͱ@ (HHN\z.tx$봡GRegFvPU?ӆ_<hOr.QmFC!"o3.clfEx9G,(SF'RطGȤwtyp.81=`C`?Ɖ |(*1|cԬX"mmPݿs\4EP75 kdrJ^Mhzg`Rh#Z,qvI\YQN fp|}*Fn? r:R^BG2ngϢ;;_Ւ-1(wp7;x@y 猂tjcm \B92){Hē\|aUuv?0*zJ-yctn^2ĴnfKQl1Cɘ'(d۾򖡛zA?dF 5@>|ejEΈE~\EŎ,e賄U%Lhw+կ5sѦz1Y+$4w'Jn.Eհ7V؋88t ?g" +mV-8of? 9! c&6{m Z%[R|ʎRdžC"T6zH zR#'ҋ&lzK-*|aަvJ8ձRQ ӱ0KEi q# ~E)n<0!vktJuggso g>F w3ìJ o] %[5@<\hDQR$C7w~Ȣ8bn Wi*Qsץhýu.ˈ3XV dE|֮9a? :LZm]iWN'Nu|cTRdžilZ h -`-6VFFG2}4kq , 'A% lCAVA_AutomataCAVA_Automata.Digraph_Impldocument.tex7zXZִF! h#/]A-MՋhvG"uIBm5ؚSc23y\PJ?&IT%|4/xrgQ")D}.vZO1_h9ˤ8M֛)(gT)r#~=-.۳lD/N& A%_ h՟: n,KuM}nS3_8 %wmѳinlhۉ/mk܄`V65fo&B$=6=O@uƒbHh[{mr3\Ñ}",.{Y@VG_=|KU!y^cB]DftWCqٺDs(N[uHN!87zB#S`FFcԣ{sQ[FnyYօd*:KT"Wb q͵G~ޤªz#^ εyz -N=l^5^:1өnՔG}PFw!~(ąŵ7jMmkCQQВ"Ug2VYiI(SG߿0Y rb~hTr8~0ީ_#Qc'Kn{w,gFfo*BPsB(r|{ #i!dڣ2a 2'vOM:t .";ք!;Z[g.9,qgbϘ],"]N 5D7TCOD@8\LI] \5)[6nnBVWYW;b$C2cmn'8a,[+} hms7E~8m/$`}%K5n:OO\SWί-pnȱ͕7ݗK%$=n(S3/W,ORHPlaǨu]".w,PuȐ.Wԇ9cX #F )Y/'ޯT%K#Q`">D'LeFOE"9f7uljS.&h1g?V9ẑC+W_ CJ&&I#\xCѻ;=1t[5wfwF EKc[QE]VR:0ّ] `2t@vHfs_\5Drv~wF2:*8P$/?uD#ZR', r%_U3LLقq)rP ([> 'Pwg,8bs`#SzLE D&jCc-7Imi~u( _h RP뻢x鱗X{Pw>Y[jb;WnL/*|5Z%=Kkz@CK~4(|&OҧptIG%VJCfzF{ wpHZ&U陰)MjxȞ8r mu)/*iEy^%"n=/w\9JL!VSeHmObWvկ{r!|!7 r TXgrSN9YkQ .$3yFj|s͟k!SК[_'~>ap$,YmM7Muo6tJG?yXr,2O (#JxVĮJmѾuGn㟐DE۠X6sg(РT L>sWAx32q8!Qu^>0rK!é/"PF^k@1м.J}z&޲ I/o /æy:udJl@db>+_+_# {}؏ѭS\*c6_*ӧ-EIT_WY`^6c̐iC@kQ_}Ca*yK8FRQYҔ! UVbw9I̭-g"UʀؓuU!YY6Oah "wZuȇp| pl+f')S !:A/LR ԏrWcޢ[qFy"WCwD^R,(vPH8 ĚJA_jy,V{\z1KP{A,-4MŅZЄ IY. #d㝔!3xck5se]|YpԾfӠB[[f=*4J kإװpF ? &^<"YR7G}^g5ŷS>#cFi`c!c*&d 閕#,3|o vu 0r/ww\AM/W+t!(tj4(6=V2k8 jtixjcNrŧ޽M0,TEE|̅A!J=ܐ'FIv Nu uH7̀KoZ@׈\{ڷo2;zˀP`z8e&MbR}bJ] 6̗NHS>Ńhވb:ɢ' ; Xs5M5[Z%r<75#plYp)ǩ+\4:5Tpڪ jyջYΐ4w3 V֝T0F:Kٍ{%=#y;Hn s|~c#&ITůi 4T<3420I P$F<7&NQJVJc!:ef,\׽ Ex.ƾ3+O)~ YD"g8~M0j Z-B}}20= {;y]\G?V*zű)ȸ@^ELI oI LD=MdaA}JgT =|| {2:*@Xdw9=>BIwߵ6t̒34#0p2xϥ zt@bݭa$Z^Ó@w^7\- v)D(M@|taY"C"];e ]ؓX'*{m[.0e[uLNoѺeXSR\PNׄ/#eC'r!-=K (P1ULT5)s-b^3ƦoǠZt}2 !/GCnb X[^'* tom C !7_RePp|Epvgc?_)][ /j$&$wG~?sbX15<,Ǻf bqRkN]&ElB*WQ6`lP Wl]BHX)&¶Dp X=U8Cx|W^7ꓵ7p(怪8 YG,\-G09ka"_̺1G*]f5‹B;az:J. f1~KZ|'5DQw&+ Y6'Sy_O+{Uj 1og3rf\x\&:=ffn֍uᷟ|+ecfvf|eC瀥"BؓEz+SM>@.gꚂOz~v02 N,p:U@##` ,tx )/ ֤Dت/E9&ab~˩zh]ѡQS5+h-o!࠱;1ήSL./zw* v­rHOQ젆QĤ#rlPZ ~m7 #}/mDqk+ib^ '[ZJm8)zxFGp"&iÀu H;v,>l鱇#vM11ngDL`YQeon}Gah zD96.&yAk,Fɛ xIX))#><{٪eⱰ(С;wS$}Rk)l v+q `ȟ{9@f(̆Ѹ8z*-qj.^$M/UE̾ rE좰*DϴQz f xe9iY;d٪ 1 XB6iSr^NweG"RT_`Y2рYnglӉg Q~23eXSoן}-ހPaqm7>08Ov F"JG{0W\/j?c,!ѡ QTQ kiːJ~4% /Iᵽi`hӄQT0S+&nx}و|R!I#HߧJ9:La9srg5L,d*ʈq^`^/^UkѠx#F:5NDw5注_pG h2Z+vV Ю*G{asSB7 ZM2K@DϪ, w} k‡<]J Z&vZEuXvUݤ,qΫxKE޿>>qCwB>/f)BO &7!QW c!JsN2z,Tqۯca'MF mzt>Vw=,HR %D%(ApBVWyXXlgFPM-a:nLk"E]ryn/x}ޑiZᖅ@[D/\/ifQ9ɾXfa}|8AimزLzhcuH)P~z%8Dl!lWhBu1Z۪„/iQJ~$c[> 6q_jN Ҿ^p?*JU5 h]-k1l|gw ^Hk1K[ - JIMx,g2>ĥiSg**Qw2AnvKC/|t5)'ReMd1{Ⱦ[gqcZ23=+!Eodc.;X6MJ6s Rp)crD6=HP3@uת.Or iM&y`W1*] "*}h{V X[pA/I{j;$(|4-Q 5ҡ3Fv/)Z b2[NxMFÑ?So2ŎqRA;o1.g4EH+wg*$gQփ 6BgYZ (i",/[)WJ/5ݎ."( 0]%G,D40TuBHN0u LBuǓBL2Z.~;-2>Y{MK-JǮٮȦ&xՇN'௹y͋YsPyS5H$أ&7+Vq^G]H*jWӺ4N|CIni #;g^/r_0'-]y-G6kD(Ugt!qJL,shIإ,3,n!2 9hՙDXF}BiX`рFa:z`'M!z|&77¹qv*z~dx=`ror +ap*^bKY "YYԏF;Y:ħ7oP20ޫT\D0J ,wfrըk8tWk])QmaK=6c}S# MLq֕ qp&x(Z(p+s ›Q+$0K=qBf^Xȅ1$c/zgBH׹fxSC(ڨ_sY3cbh 2Z*){FVN}P&o EZ^%F3U-=ڨ-ܩ jkּ1xp&=# b*L_`6kwo.,i.X;+Ep^Qa]F*+k'@zJ0(hdyz8ñU:q+}x40/^IRz>6dp ʊX[Nc.R&{2~?K=lioC撹P`F.L{f2tF`7/< q2Z(WHVp}. frQy$% z>3s\tlN&{@%̙|^R`Fts#ɩdL; ] TLgnUn܌E?ާ; `JO $~ڐloka2)Ou2?fbO58Jy_?+HE*_) 7˥n9x.Ԝ3tڊ=U5tn~ӪM4QF=W|VHOI5=i &zF OKsp֡k-fHrAj&,+e-?ޤK&S5+3<]{jR/s^KVꍤbCVY&؜UKGVor|xND]ҥ珁NR`v2ҕ6`\&ǶS"4i~讬`^ius;X ~EHP&nɴAJOI[Lݗwq<$[&K}nA|BȺv4ӑE7iBl':)! bKKtSplk5m9@P ÕIZ r)~=SF$(A]Z>#a0Ί%4{7SkZ},}#)LtxΫa?'ABq^RfMkK*f˚II|FpM^"- % ŷ n 6mpk,8 B)ecЪW&}j]0cBeh VDtӷ(6{;ўY| ׬>PNWΣ/{ddg_*}$SqKmRfjW_`QBM6\:3i  ׋ I7{5v Rv:L&IAEĶF ='ZmcgJ)y„fA?Խ᪸֙?Z?Q'@m#Pָkȴb/!{/ \ ]/,G,uZ|!G'l*y<lԽcC $ Z:;sg 9&X(#fGKW{GZƬ}V[^kf@(Xu ;BjyfsG`ϔS} LtŴYsǷRԔW])U;H7o$qW~lmbk:Tͺ>,O?Ism8iC]KmMGBGΗ Eb&$ֆ{ǴL4T]9(2!#. 7 .Z'gJr W]^w 4Ω 9+9 qI DMT]# ooK}8gz.4[yí9KB4E)w(cW Ŋ0~Wů {KGZVr6 9s$5+s_||f4Bm Kj΄g0QGT BH@0ϸk:ϟ< -_W;(Erd%ݻ@cҤ Ù~+fNm u}rn]m=e4ru)p1ӭ*_EW}㙐Uέ,}EJbVͅmp^P&(Wj1&s0pR"4*ү~)2x\mp;|7 j%NSoY[v[5%] -+RsPL*KB!0z*0 BM=hD3Tq=B"op~^ YD 3n["$cnn!ذ2̅ 94G:kD#*[3g͚Rvn2,OT⳸]aX!ș8I0Jh: i`KTN/ l|(5Nbdr)4@Ü~Ic^K 5lL.MP) u,֎ok0" 9-^ ox&B ؇*`&UyfSxOV`'",xIll#u3Z Bz'pdmWsUYQxruӔ͏!I"rROC#Tf^uL+gͻ^\W+R(~-*d|6A=v,} ƃ59X 4eIaH---Ąژc؄JpE*pMs0}CNjB}&'^ ~q=:!9ƭL:8H-ٜ X(%DF].f ^:F`&5XN+M\ YD%P/Sۯn\X)N%*ģ7iIk 1Ҏ/zMԵo+3W4$)NΨ%[%\5[󉭮({VYCbْuCK4_[s>v Rn+h%f2 Dt_QzڭxÄkeRf1Ǎ&IS?3Eoii1k,sʹ^CWoSJ+HvR`4+c#E.#;o>: ONr;̗/?(uv0l62mD-&MQwlbo72qX.ko}8-~bi29a߭L> UHq0<"2? mUKЂJ=Y'pH7qAg ۺߏ%W>Mw5A,+LT;!QSÍoWoLWଆ3v:\32{e"GO X93lC!eMV9fJ4lQ.d3!<:@8~p&[QV"'?x9u{'k H%a kVjqu:j,k C5~ٵ^b Ha8WKMy5ln1nHp@|:NT} ^-oݛHZd0nw)3xY1&zB])%aUg)c`~x/qQs1!Dܬf <;C6zK5 C*?#aB\|kVRi#k7ezS<@*At<7ĨF~{q3$L!6p#?wgR G]mE4KFT+sC2FA6\ʚ1,:;._l*:/Flؽ1 Tw!{qeup qDsƢ\<mD3Krk!OnW\ Y=L>u^UŠs(9EZݐ *01Hx X\ 7Lj4ۇ2)2hz nnbHeEe!r,Ey7b?SO ^CmE9i6#Qׅ|C*O%js;O9V- y)u(Ԝ)w(H0l2O3wTG {F4LyxJ2Lř)s Kηgݗ& 4p9Zbfa \FCiQMv]7e,a=MrqN^z:ֵ ^W6^F&=:J`.ϲrcy{LuVx(@I5x9pG'3¥j!׫{?aGU<'Yq<(Hm&_ThQGTMuPi/qH+^C3[W/uhH+G~` ~=|!5?:U"ݬɄ#N34.VJnFVT:<}s-.8,]+vYnCʨOsQ+<%#;:*(-BR9tȯs,d$،>D]$gA&/k>:NDu 8Z)i+eb EҎmQl`&M$pmx*|y۳cp6jE6%\Yu=ҰJ< !*o ސ+x){9e4wӲwgbo`I*U>.`_rw#Qw y` G׺VĦ_>3Ps5gq]=yk 2}f&s>PvpP@O낅ɱقy"n!t;[r3 <4%5^7It7mB0 Л=I5a]裫9NIQO$ȏ%!Z1v wn[nz)M*N#wh.3,UՐs[=ʜ` -jg Ky"ZN[vho:ҽB';K m2]@\*EޫzN蕮n`!+2B?C`!" < 8i&\'t{W]8*M&Zb!!?|JZQ5 XlfۯtI7TTVƺazADSbXw-hmDVHZ6>R6#lD=]mIH` NdjNJmem~k߅ ͼpl2QhNU8^_CÁ+ kwI⯠Is/B@?Ƕ,LN0vAM\IfpK6qJ ?^9+yE^{)Ef t~+r*9膢0u}s>bt1eodm oFv<ɰvq, 8nI{Hp ]=)(+r#и׻/¼gJ;;Z+w[]yTh˥.-",`Fuy^q<^#$4i]]3z?y]HY39hLFj=GzXwBΈ.HsdKXoǪp/ wIw%-o$6؏Ktj즄AhpijW[ֲ\I py58[Hz.`d'muAm{ۣze8SׄmX*<`m2ap*Ϊ&wᮜ߫^\חv$'P[:`מ p; ~IE'&Hqe7ɮ6.?lDjT^A ~mtS.iQ~n“?1@6w#{ʢc <34qQ&uQBlq*tF idE˨L-iP|[ _]cn IL*dA]cj CѸ4{~ԭ:[eVA賧CzЕ.S(0].j'}@Jۀ8=ȃ#-W"t)V?8#3vSo@GC(j+BV.:,`U")ia0=GI3 327T7ߛ ;->`,X%"=zKsa!Ai V>eG:"8AxE^40%'c|po,:DaybP*6*'t+hXT~@Zm_" )lϱ~݃]o^R\A R|j5I:/. 7ꐤ.Cÿ({̂N^[7 Xt;W)3"N9A )l*!ѽ_lVTDw M\@y{!%dfOߓ$Ndދ(@?',p+#f\NcHk} nbaLFHɠW8ts1q`[p49rb.K ߥF綈 /.rWt.^H׭W)Ċz)x }`3vƋp(5zͅ4ۛŷ;xGS"}ĝ %x+;:)Co=sa镇UѦӗxOݣ9{PQt{xG:u`C}zΖ)={ Ƚ^ H ksshP:uMMRϟ8`6nh LKBGu*K*m}~kSLLbMȒLFbϫ Bc^ZhjaJQA׵}g!j+q4)Y ~kfMm¶feVrAa4S-F}M p QȯQ滨;zz`ڐHDPa|/8  B=T1Y>qKb1 9mCz%;}W̆O.M>#y(NZ$;JgÆϥSY,oz437oQ+Ȥդ{μ K E8 n-͘ԡ8.a?AQz} ˆN3hZT㴢ifQXɪS><c!aU/GCbf\ju*ߥ);zF#R+P7A.5XڷW;ˡh0ٙ˕,'#w6nQbp~(1LsP3y(h + n=zsa Zwj5L(M joYXLÏTR#";8 zMc h\aANnu%htb5V%YnzEE"Pm$ EQ [D/IleU5~A4ʒ;PF0Ij*ljy=$[U]][i18l=RT, kCÆbqL>g'.:Fk#u#-?>jW"b:.ȟմ&.2.w(s{~'OuՌ'<㐗熴Eǐ#4R4>}+Oc|zWY%Pf qhN>D5ʊ".G@U5T8ق%׼sR7DT>T.A?DMz[귏U›w&?%]d2Sr;YhKI%X@odFMN0E󭷫ql䉬R_??NѺPWzNiI1HW3T4eWig=Ћ: /  .~BP eyщEDSBN;*@DGB͑ &=$#tnۢo ]1Zbl06E(@4׿#4끎 ¯b}jj%qHp]3XeNy6z߲ s~Vxf3ID@_[u'*?VbE]~@%;njn=-$X |tkj>/mc=*&K{(O#`%P[?Q07b]=JH=͎,FK) gR&ѣU1s:DXBgfWwM<9T}п d(4Bޥ~%sۓ^+4];PhK4N vA #B_y1ҟ#Bc;JhB)4T؎4u<9}{`5cq61Ϣ'RBbϣLU_:/ \`~5 Ӯ+e't3DVW?mY _meaWzcE9 ;sSw$+j²U4eq}P XiBScS)O,ۈGbZY7,i=d͇t'Ok3yl)A t` y;[({j 9cd_ &1}XuӮĖ/v:#CQx ĚG+ ) p-)QJZƚ`ɳQ;[Ó'ㅘth5o9e]*; 1KH]+2XEVwiZI?YCQ Vl[/LɝHp) a:څ.e#&Q߅5iek8qG S$`aԮDOO&f]QҔ^˭.SV`Scɋ@sZT=Kdt]E8I'Z·>XZLiX0W-PA҇ߕ5'*K&N6ҥH?oD'kݱ|'%t(@̝ Z߶Zڸ`3mxeFި1 |T2 C',D]QoNzwT"y:P^867ͭ=Cj)xDS> +<nt5Jb_ P${ΚQ$mIWef8 \"3 >ohEaXӻ&C؜Z{HHZ1Z)5.bo0:6lwM?D6oێYX0ow+^~jK "Զ>Ǵ/(;n`ns.cUyJVc6S(R9LE!1B!^}7^o6k~SB)4ܖ'qj0n1S/*'8b)L)Koޅg6Vho($Du8@&8ʇiQG3ME ajXO_"(v{v491ŒqK*d5xdtjWSY$1]M")e~am [23v[7QBʮϩ6p&v]Gٸ]R%!z@>m|>@:Gv\MR:BQY;Jfة ^>Kc-b. HƄ ]kc7>e*R\g{Mwt, $O1ZT/Nꑵ؀!T>S.])frKO+R>ILс4HI'$t0@_tvƪHyOǶ 8Num%ܛ||+P#-y_G^-ZI]Ysasb<.>g<\z7,(H֮4D^;%_&GA!$?lz32ru)INwB p`vuC{PuE B~’tV|o!-}lYV9& k?`cTdC]N RÆUES_A-Cq l8p fzŠA0SAIRS(N&⻌x$^U ~B4-In|M0[W Og8dm?^LA{G%LT&A6"wধƮ gYAn`dJ"Qw2nɫѓuOH oEi~wb)dKKW&Q.DS5Q[%(Am6g-ҀXhh]-֑(# >mnIr{it(PWѼ;Cj> GJ%:dpdɸ 48 m c܆|>/I_iVn`O(e)KEW)4س>DI4;#L}Kv̕K̚q17:W'rM%M{͂7JN&ž)' MTj~?PŶ #o=Y/8QDTC B B ]\UtbOy_JnSm+f:䅗g}>CE~CP,gsy݀Qz, vc{$c|@( Qx^gL:̸H1*VT0[ܩGkc/ pmJ=\H}D;r90`*wh??H"Ҹϋ+NIwi!4'&XaTNL--vXm[,Da&YMz+1XmhmQ77ɼ>Ůf';؄b/EAU7d!qFT7%],0([Trb jU/5'nYڸl8"i;%" bO]rx^aJ3ypmu~#yF8@gn$Dx;RD\i׎^?@8ZNXu ]I"/M)5*uad\ HG]tLuTc9tƋK6]!}CQWǯ ]R!8'69Qo7sJL*xĸQtp2< ^evMJ+̽B^;=)|[$ō2-iT{OѧaihH캪ҡn/nLڦu8WG6^{AG'Z HxfB]G|S\笟32/?ZIѠy U%J8;6BAq@흈:XkxpR3{BH Չ)wsO^ȸ'6yޏ1 ZX`y.`5~tcWa}IiFCk$Uu?${dۆB *y!Eo8,R3ݸ_|(~᜜ yH|ÀUxtC Hv.k @%6|5Y ּL?9h[")B*DX:59t` 6Ӫ {f|Pm9$s>Gumg@;+Nr%%&v,&lh%wʁS^b]t(4?UXb_2xQ(a%n1ImѽH천^9}AveX q] bm<:g#ꯘlw90Ҷ#,l ' >!((dPL+0||ҹY75s@2ƽ}f ʌF ~=VNj+^M!Ilp7T6_EӧjW/Ov&f Dh6> w+T` ?Xk7M_C[G!VP%ptn40U+Syź)% E; L)x>̺*_P:1]i|W XZ,O%6{EEqڠN}zGMzW JJIfmzto "nO<_Ovv8}T!WhDyP# \޺[jIZP,W;Q%eH|h1fP>ױmr%nEO1[ܰ\` Up~-;# te6nLe,#]c!.)S&Lb`E+P=wP޽-U֣3 ʍK*0ѦŏSDpu6,Hg%~416$i,(M[ԏjEz7L/!乡W-q `F&Wx{`C-% cT^ ~'Nw+y#&MS&Qg̚O(ϷtsT's fö¶ {S&lt1Wk7;F[@s-zCEnq-ez{!:z)!IAM#pW\WGq=ِ#1KX*gLtd ׅo؉!*2l>5'ƶPvRY`x4GC0Υ1v Ol 9 CH[g2 U\(e8SfPsLJ_6u J\#Ni^d{]S}">qR(d$]99.C/lǒh8SC85ҪF0'wL%6]5~Pz8CDY GM֡  a_Xܻ'>*xB9A1qR TDw9DfYe; /ToJu,h2>%)|TB^39P2;sw9S2;N$4ysT/ _qGbOLyÝaD*x ,9@r@ZmuD㧋MJpЁlPBC F5ޙ ݄YA4Y<ϣ"S8 ^OpyLA$'>jt4?cùo_|h~8RL b.$F1Kbo48 Ė. Ǒ9c9M!oSmfJ右Y\1L£ **} B dW̊ߖD6߰Y{A&u'!:$Tn@f6j1\)6QR+"0vNh#w)쇎`2L,j<ǔtI}uvPdaT9Ϩ fK_ѧN/\of+ vTiZo>w f.ǤwtpwG6=F.`Ku ZfyTRз6Кz!VrCN"V}.BNn+R QFiӠ oudY2D~\BZ7_od׌mY1BJdmή06Zs.Lו5imlz2+''ΡoB*n01$0m^ Y -. 2t斪M^jaQg텖d_{rȼ|QRnxS v}-֢,DCwOfK\ܴU8|WښuBȈuRp_0"HSTC>{$.1K/7| SYY),ܧA/>8>"t ͗ {QSΥ5 #5=$G[m%[U}.`S!0šكE[C!h ;ҥC7t 5/.LH ~\)4y #eJ/Fγ6Ϙ ̣_q{\4>EiʝN9@+4y}ieFhSanI`x-}j`b33bD$1$N/l5H8utdm'?l[eeUL9j{@(9T!dW쬂:ZܑfN#D'% ZmIɴB _ozX?~mUaD>ג5]Mc]'htM` >7'p' D^&Z aqYḣA4C猼xN,hhKY驅lIi}b721Es^Qǎ׹x.^3ݍyjQO6h˺ZKм B֯Ek?.ThᕸhkEoPO$vBP>[lW4"Ьi;eΩZB4Cqȇ :#{ؒ a:dR;ch˗[sK+rJݨfs m. K P9@.aDB+?SWSjعN*~$kcbS $t:LRR\.ٱ࿉d^Nn12V8'Ͼ1^9BGoM^y6ɲH Qp ɾদ6[rGK@Y kZuYZ?Fؓt$zfJ ѧѭp@t|SbqL [ҁS^vǕ/G"lІH0:6gF&);: zPP;($0Ϻ&-&aN] O?X X4`{-C}dQZ-+񣸭*7YRz"4K_Ҧa_]aH@nC=: kk*] E1P,?Z5O5[B*+L9a1fHV2;dz&)^aPRL|:^vZ!uvC+ gh_Ypۅ)s8w86Pt*$z qWyub *ys+m,)ʳxޙ^01fU;a q:gG6*qsH!~2`C5} Lঌ1kjT!p20 BB iM ڗ]VoBkKc]= lgJwFKj0ӛ+ƛ7鳍\nSVu{%-a*I61K.=r-29hK{zo6zD*|{ Y[XXBJćrẖJ$7l" >eVXK&d)1tO3NT 2b'g^м|XDd^Eb $KCo%L]qj)32c#K^SÒ%,=-d6ܴbYp\bv+ǻ5\H:M06$X?}o7ƜĽ,~=ro9Xl]n$t&oJYϽD=N9@4+cv'{<- a:Ԟ amrENYMkX§4uuKQ~")@}v! 5Q(F7fjdoSHDzԜ@M>f>V 2[fI^_A?n3b42 Qj5cޅ0ޘHP5GGTNCȊ#xpy\` ΀m%PsR7>o7L*[Z?1N>|ӂFރg`R%!roJ+]1vY' I̖C0ί `>CLIdC<Ȭ9 ˿X~}/CjTsP Yh'F|xۢ\+H\(!?3Şfo<j a[Ͻs1܄˞u 0hšHܓl|C_+j.R\ʏb ͡y^Q̃z ~LmЧ”:@2bY? 5` @ ;ވ0u(3kNWJPANՅm-VC@S fSuqBƠ[nD"bŶK-:O ҩgBɎ.Ū#?ү =![Y:Bl *]ng<`5-rz3Hmh<|D%[K)m=[7! 鷶B]ԁӾ( -V]:GsC{ WtL^)߼ wN ˻?C,n^q>fe⧢-(*{̉s }cܙ- rd۠V%~Qsw៙r[^q<bp`CąЋ/u"vKǼ/+4[I nݩ`mWJ n|TQjp[RH~~{EZ(tnSYUN3;0@4H R.q=5z>/54qIo}V5?j 3tWbҏNŮ4vL&A1Sn|Uwʿ 2ţT ^_ށξ$) ~3 { C]YBx,[+z ni2ﶄ!qo:+X('㡟\R, }pXP m4EfфyVb6RL7cW+;$,&pZmZRGs=s믎7-Y2@ݏfG)K5e{ǚƭ; ñZD>Uk\QR(lQ p!G)qYEx@ ;oXފhKr!vÁiR+zȡ$s-|f.xު]|f }|%zUi)Ojm؊xEkt^e3ImGipcQ{0#ݣA$tj@N 6 uX(K]F\ıl+W^&\PAq_Vonj`b^,9&zL_[ 8KÓ('0/r@l z|z 4\fTLQ+꺃q䦴JqI߉,Z`*%y sB7BE)zocgq>T$$" jmuKJ&jƎ YP¼ݡm7"R]:i**0Iu f1f5u1SB;L|L;Ϻ4-h_s4W#{82s=6ܓ#1B9Fxjύ0}X7,xPS'ޘ@tu: 1k8M:uEW2g!}Lߠ l*˚Z ǯ룝7Loq ޗ ]թp,^Ϥ}}m Dh(ov',"V6XՋP+5H?joL#oO7/+sꙡX7W4k:,JF/ UJFMfcbG_o!5 )IJAŏJk`owOn`d]p2C qDtǓ_&:Z}]g}OJb<*XL= nq.! e~Uϟ{әXJ@̩,S]v<+âY+:ξ7` 8 sQmiDχԡ]&z3=ǓgXTkA1 okS% lYYH`+'gYZ  '7% DCAVA_AutomataCAVA_Automata.Digraphdocument.tex7zXZִF! ^]A-MՋhvG"uIBm5ؚSc2шVZifml l.S-ӳцLqn o wvbGFNonҐ%(o_d1WE>՛?e 6e%YpDi1"d* Xi'$R7Ў鞙e1@P 9uO>E) W Іpe>&Q = zrth)ĉQX]~V p}-qhC* $eغ%ѧrdSiH<1 Lk;6T'Jvhh`G$4g?㎀tB+KFUif~Q5Wp6@Nię7Y\T?Ё!h޴W=x"¸uN=tFxOhB,k'ibM#%Wzw9桖TvI ]aUrD@PF!i"مG(N1A׊QXբ[:% ^ɋ7K%̍%-#P)en;6_B w‚92! |UT\`̉?rtOpT˹?a}j{u5OeXSg'i@rhF;kyvd%sj@eJ %ӶoKC%082bx%lBL2lB[K>cfoiÙ`er 57sbޗc@7Ĉ4zf\8Nh YGs鼐>B}\6*[Ƨߌ\K;{jt?e/W{)9 I=FAN8c$u*TgōI0Se(s;_1ݦMPxaON.)6M%""6=j|xê9\N. # 21Yv۫T(F#73~4֫ZW@pDY1IyXEO WmV\%%L+6pq}Uk{(bB Bu"'N%M,U -IvH_eO6Ulǧ{jwQfrV (iTu1ʟkޘ@:7 ط?6(dd_DgΓMrzZsh.ST䫝Ζ6a1%R$BG v'/Z1M)}9:Wj'όO?˶9@,$0#ADP 9Oljs_8.}g`_Naw#׽R5"a4ϪzZiW:ҒvfokZf}i5]DP@ιTͼ&sJ7py'$ˑԸk+Hjh|AvK"8Obkx/$Q6g| ُ9E2 Y>ω YԊҔs"?` U/\XT` Q,Uk)%$>* .Gחs;kHR΅:@ɯ% cXam.Ek_iw>@!-m@ܥpG Jש|m nsaB5"8 ^=["pCħ((В151QNBN$3}l ¿8zZW,Ж.C(twUFejΩ6R(:5)K,NHKmݺwA$w}&UӎcMuo?R䱪Xos"e9ޢ[(;p>Q1:cQ}+Qq˵rT}. Jn3Ym7_J "xcT6httZgSh @^,9,w,enxiwd%@sѱ5]`@3:M/Kެ|qк&uB t7bb6"k 8RG~FIQ~~~2Gל}槒y MD3 S  ml@U)WHnl0ĀK\"bZ_Mŭ۸ĐT3 cwb($-t *4oAZߙM\Sn](RyEM퇡:fD쒪4f\dA`XY(@lka>zb ·'Q;f+U c^}y [o*9taSخy-W<-E.M t|@<$[; {ӡb?LlJ><;6-^%Ypg['Q< xKNiBޜ))tWp+(Vh6TNK+ aOuV9,;yj. Gg( iӂO_H^y]۔HKݘ[}N?-P+>o.*buQ᱗~S+잒}حlw+7X'V\d# +i;<#~Qcs3e6?^]需;zThE`s{~FmLA$-FLPe6/Me9[Vѹs%a":pe-hAc}JfpjV(XO,xLr_@a1IX} u [ƫ'%Ow ]Gg8#: Z"SH`Gvs3轢\]\?c'm3K')?7#WP8,M9 q1oӣ([H2c*L.NX)Sj L; AV-DbNW B{]#][^TJ\KΨ4a3[Ѫ-$"&Ϙ3Pi4TKs'g VS˼Bcɟ{RlI^ym|h#=toyLv޼d-o+}7I܃~t6 ]n'1k;? I~J:ˍ^ >#9p4`$FOA0noK42#]b,Gr=BdE~o+ u{ x6 ԙ840<9fqe%&]0#uW '~;7ݠ?,82 UAY/e}1AO4lk!%m9%0۞]t 0;Fڔh2,P# d~8Rsa"<wgYZeCs?DyHVٻ+/"λQ,Nz㨌HR0bS:Ҕd_XU٥t= hch([x&? X}@c |$v> @z&VmOIa]BdH\Xh aAd3fFn(0)YZi|M#*2_ zDӀa8.Lsg2עv~B ˉxBt #-/8>\Z)~K&`xS/ 'QQ^(*a-:ʃJmurw̫ Sf1rQS$ϸv:wUlFD /I1C_} ). ']uU~x GZGT5`*A&(SSR[<*RZ2䥈ga\CBY*l ZpXz#W85s|{d]UzXq LJ:9<$ߟY,}oA2(:˒2ז+X+Zx4wNv3~KG3!9,Ak l` cu=!Uj/C"7 Sos+^eҡa뭄^$TEp頋Vq4k;;q:8.Uڀf徆΂ bܲG}mpCȄrݡ{*_ZgŷPӟ -o&R☗q! +n!Ai;Vh<-I)!z%XPﮊ`r Cpԕد1+[#&?U]Eե=_f$$bnY fݽ'. hز8?sV܃Ҽ70޹f-H∣A^RqTLѦlCȷ=H'Qoܝt2 7T%8 :2ʮ}i@!YyZyvQ* *Yg[+RQ%Z{'=6"|сJ{Ev^<, cu9i)_쾝ַ{2F6(s9 8D=!ܓsl~!GgqfV,g tUmJ(_,mc8 ké HxV| n}n`=b]d XDΞMX"CyNfS:)=Z5+(H#'5 ǠvA9{%+n\$̤mlO eV ;!Q2oY7L?mН]|"m̃c%Iәצ 9lJ̦"m]x, FxB /ͲrEy)Dd`CcrJjyEd[%l*ϗ6VL7zz3R,mbE#q>e fGf+LŨttD'+dW%bo3] ̷K@fmWqd|(j߰0\7d#< SOy6iCe=p3!e:D9\,z8RlǬHZULX)}IFzVʹȉՍ".2ҝ$jLQrc=lM+$4A_<\&8I;^4$WziA_)vC!-!Aa})Ux"5ΫWbJh,.;s!!Ćۚ?黐sip-6y*75n[Fٜ5ȞtAڜ}4O]i-oz)<5iwWIk'+}jEj'Ժ|u ts3\vvXHVbWkz8[j{=%\Vf :fe]؛|W!vm|9@OΣwA~//OnN]T:9ܫv,¥ij=)(2(Z_kTQ^,)tHb/(z;P<~eMGpg_:)xqRڪJ0M? TIWtx02/}맦DӶRktlKy~((R{L㔒sȻ6EV}*jھԘc 9MS)4w!Y_6κG$ps٦ic=]9 䍛Qoz_ ø,$MCf,osE>r4'pױidwH)Ch Pnx" 0 : i0y;4k9QO\RvGh|K?Us`zw)'d^T8 J}[EL: gwcp%W2p68ZT0@TzH!Zbj#J>JaL4)*st >|$uFTg03B$5.FBcJDs#*P8>;R2 8.Ѱ2 :VYpܟH *=]ROYCxhz;K _8㏬1b<')@&Z@"K &|W24kLwxSrtP BCĚO6پ ̰?+E~ʧ⏮ɇ?߈E65eH-߀!&e|v>A6'=/*9Nfm:vBVI&JPmSxO#d-o@WOf.dд*r{j }ѐuƒC\#q4ǹxD+'78k|]0 WUQ1V֩Q\3dWTS 9?TFB_×ړ!FtAkaWl_2Bd=́6 t"f(>1B"I_nh b HDQ,xi}d2ĭy{Dق^~r@&AG/!2?mvi[X}+K19]#\f+qRNןX`,3 v;!sk_:<9 MC6XEPnq17ק弡,-w3ad,Dk m)LfJ~]7V1 ];Y hteB܅6 x0) }_|Pp[^(8FϽY'4Y34/#1ʟ, ($|F^#Zm]ߗcf ,.հ_ĈڹҟJrI q&h_9JÙ] q?3T`TCB#)AqL1oNlN5T>C:bs-6vwo-)adD8zs7՛sJZ;,8jw1KjIV1ם Րz2L 0NhBIPʄm*ϥ> 'fL: v/0Qa&d7RTdJ׍'6xPtya1,Iؕ%\OJ>r_\esꊲY6Gϡ͏VWђmGFu~ -Vl`^~dV.8>4/-ѹB=˖z#(2AKqa!<:kϑ' +'ҟ^O Afud, f3t#ß[PFYDEęJ:onXs~mv'}lޞPE![Y@=5IJBWt8{ݭ}S'4:ne@䘾FfDay#qiMJ֤FC> [,0Oz/x`|1F7~}X0 q+Sy; -FPӈ:~@ zC@OfB' |k7dXIt,0.hYbvF/OQ #t-Ow6Ϳsq;}DCmn9Hf,w[gA8=Pu>E%YpRV -FϘO(˔#ʌq{ w'a`" VIzv:3ѤTdʹリړ[5΅xb ,/dYȟq#(I> cTEnKR!aI-eA=i7,]с @VeMEWRʌf#1V̍bu6<4ǜ$\ʹeA3\`S c\m ,КL#cB<{ Mߍச~ݹI^C{#3.Ӵnr̥ Y`2&cpOvJS(br}r!QQ -u{[oP:z /c i,C%&([;y5$J:D' 6u8\^$Qw ]^΅&TuP<$>[Cgђ 2W0 ?^23miW\` xE dY4cU{#UhR/t-&[)icSb;V1Q}zԯu2``G+2V*Yse7i6EƷ}dKY!UՔ7 (kB:mho 0L 5gf2d͊g`ǘKU8޷==Xeax %E\ E%OQ=NrR {pô@Rz2m`/̏A jVfC-2ênoh <л4ݥgn7 By w_}G2->amn e E?֐)FjXiQ#ԞhYi1n>r?WNHnē!3άw@O4=BۜfvwϞ*AfŮ ¨S}A=PX+^gYVJz5QL{TqiccUjq]^ C'%Nf>tCNo*wUn\Xz>Er87=g~뽅_~IAT zGgmF&ύGC1tJ7t m1 Ui ' ty6=OOFt8vN+1}`>'1¯dZu ^$LWiI 6 ul$cug >C-R%h5q_/~঩מnr :"I[\nUԑNʍid&aR ӌ+fﵿ6]bvFvVUaṕjHZ%-pߛ},m/}-J:J%cqDX`ٞraQLwD33N)dF㬓Ӈٟ AzGo*d3<$.)-DjjBRBBeVOۙ&{;}c|sk 1 ["^,jm[)]j޻'\s`6k$a:jSanv>G Q&0[y D)~Ǽ82P{'qk̔^vmu)L *f-r!;zfWצM<o27"` *sQE='ʅG]to9jlOS;n`i2q3`r \ Fe@1ػˉ.V;ކDuĠ~O8#G/;?6p烠9Ҹ3PdHFxWv>QmWal >Lp@k"X/7UW)gYZ 1 'C% tCAVA_AutomataCAVA_Automata.Digraph_Basicdocument.tex7zXZִF! *]A-MՋhvG"uIBm5ؚSc23y\OK7b/srNS5*i*f&A4@U8(׺1#8Z'TUnt14v-&*MH UGKyWtv}@'u WYڏ:<׿VHcrg (-5t-睼H%߉gӪ߶We%ȼ$U'3mLeyƍMB3JcP;,V^)oxII=8xc ͗n:SqH./k!?']BT-dW~Pj3nWrVpȾ-<(0Pk8tW"d,v+^,0 (37ʭ :_ւCL!P|pP,|n|wb)tpEE/̓yZYfpp\(?0S\%,B%M˧4 njg=.NJ #8Ku(xNţmF491loa"*nޙSz0LIiB%EIJHcn@8N >eao0=D#roH/E<̞r6 ΄^"5ZqgTjhlE]~<[`,QYU|aͷ[~>uC+ mϱ,e  j|:gAd?̀~5?19V}ة&.i&:`N80]Wd{ݺ5[b\E%#5Eo?,ey;3+^ $RH_B (9;W=~}7@Y,\&1Zꎞ=Ba(_V/Vq)x!(h,܊lwqvJQ*z~ۍ8KxUwy s br1Q~ NhHni]bLł +zie1fZ&\gJfs~LE!׮7yFn{R7wVSzYs Bl`^: aϐkxl =퉯s?K ᐼ[D9v < AL)@MG5jPcL0)H[ܬ IW+F+21>iˈ T9gz dNc',. gCԐ>֏Y.a.MdA$_oAd쎼)plT"ycq,>;օY/E MC;S| ',s,lxOSa-N^I4?'K%Vߏ3Xotp)dX: S}~D=)`^J`_¸h2h$Чa0GץQ%Vӕw]5n ="Y"m1}S !PqGqtW LYXQ^t(O@FeJ$QAG (0$^_vMDP*K.aq4Fl̓+iqpAR GN-/o\Q1T-qc%t*O4 si_F] Sl%mՐfԫ cR>ىҶcT=L2ԌW nw~,Ҹ Eά?eV$߻:$3o'2OPJY<&ź L P:`.1.l ^O騉EpG S<0R"`q=v[DaT;:5`C/\Juw 8/0R+mHZ4a##Dؐ.RW9 Z1=fGbgp+zj4}8AT#_AIx3Mc^ޖ5ܣ5"!R -$Sy.tNUY~:Oˋ/ g/v5~HCS|Ͼ{Ŗ>^ cZDpMZhNYwMܚ<6?f+i|k5C&V D6#hY3<]YƒYϙcbc.z!GL^L1Ryv bW1C_Ѓo5L&\~e!^;ɽ\ɼϷ^=}>쯄B9sP}:Ok_ՃIKaN:2] 5~h 5\ -${4>A04~mp~_! 7IֹL TgOq|f'NL$(Dxz ly_!G Oիx1Vd>^y;J /2L2~]7b[׷T=u5b8q$Gd.K!!#?(Her=Pf(_tIbZb= %s#i=``!QUae< {zF&+0n13!`s&!{xٖu!> {/l*0_>?U>9um{ҊYVG y-+)8;f<pxz`=G}7`b]Df]Bi 8F;hmD'(?#r…|jh!W;* rF#}+w \ZVF?wǚC`Fy;Т'GcCp%%sWkgp->dR1#rII(x;$N!ȉrCmq{1^Xo\jiT82LJ dlS'CrǗGc .DQk.nq-v>-f , {'Qr#!!6|(4+ldHLF#:\mLJj@0ȿޣݛB(AftK^R^Ŋ֤~STs{pb6󤈾}R!s1_X[pFWIăU_Y,x3S%12`j_L*rz:bEbxwVWyc 48_Q?|WvHG8>t6N'gyWtE1&Ji<\|JWzzIUW]Yp]P*a n*-@4,|=M,iaG#21⬜=ho8PRsf=n13t؟g)kYMZ/e KaPO;vetޏG* S}^D=r3{UEñ Su (̼ꢟf8ڳu6yX|:59y!V6\'K~A~p-~At _L+̧32fg./&7,c?ps_l~SְpB^(GTʙ_Hq"/ٻ`PKػ;>JccV 4~" 1x`:WoesXbmg3 rS?*;ޮ6q|Dh)풡Gз;גAl[p߾_\ s-f* (gD퐨])T]UVjZpט3{]OV#iKR{d|-G鄂p-Z 9 pF&oꞱHE֦JM2|X^wX+o){ÃwTQ,u]’?C[xjhDퟀ^<, yB(ȑ3ZDkf^(aNZk>lLT72Q@<&Wڮq]\9Ki *]ApGFdH?歂u#i3wσwN쁗2+3l;JM\r1N.*g^ M5ƴ_ƈаUjl禓MhQvD2 ry&m=uO-GnhgR ʿ50Nȡ*OFcwOբD2>d;IC,DzӈV\uVy*׎5vod=pDL30kH"b#C3AB".B6vp >)`4Vh65ώۯ Q۱8bZݤ˘v$5Ckv]EPYm*EH=89l QxOHIwdLf~B;Z?~ LԢ-6Aͫ8.*%/=vwV PT|'`ke`r7@Uej21MCE.W-qZ ^y"d.N^PaP> SMsB1.B4> #՞U`nT4!S<'@fsY/q!]-.c#z&ۙmH>#E u9am@/mPLEH0~b7t,E/Be[S'Pl瓺ؘd^mXPU v&RWRq+|ud>".] MNs|,&WV$D Kz.7%v0 sA?YQ6$u"N6l—Pi6H SL +lQǽ$3Txei2K{߭>t:n,90 @2zH|HӜXٻT紀,MǼkt+J Pt0q"ALSRKhO#uX2؟Zbz9!M;9C]r "8)~.,%Io{2Oԡq};`Fvq;p˓B-M ld=JsڶFM܅YzpIqM`fL؛]:^S7; h$=%Y)?GrJ7ɟMrjsC|M 'f0ޘI .C{E:C4ķX3$˜fXT&0]uiU伄lН̩\3(loNX@IݲLAg ,z6-,˾Ya>mNjx_J()@ULmhŒrUӤ[ٛ-l@W q1%g-?N=Ew[0ЩyM">r{Rs$R| ivKuڬP}SqpMvNMuF?t W,9wζ/͜HI)=Kўun"udE0r0Am$TOJeId:i}:xNS DxAlp`:+i vӈ[5uwˡ]I8!{D. cz܃ӳ!2QMJ Fhhzhf˧S4KƬ&XF0eWYI0XG=="V4{:ȠaPjbd:r.8D+iՂFNp% ^bl))Ky@P h$GA!mn?EVLGGdѨngi HbcLbS\FxYUxdfչxSۧ b!2b4bC =#?j:8mqoF"Y,fwnY4ppJ[] OPy/•yk9VK!0sr1aPkZapkj+uCʪ:NIG?@Ή4Ո:IE#gK)^,k 5ߜi[w V <Ro|5qh.~hP[6R xouy# ũ/AM{( dQ?FRr?g+j ]@΄Ǜ20YV "&//]d48G,dG)E2*؜Jtu|G":f{ϙ,5Q}՜u܂"!FȇrwڒLG ׋e>%q]G3҉77@xjP#ho"/P"I4|F^x#HJ=O>0ĵdǬ;j>glg YIںe Q%Nren pl" /9XDsI'3u l 9>^ Hռ~bN%%)]NNل&Mb_#xupZ{d4uTk "z_ҫ\icˊ&tzva| z?r;`(j_,mB150㉤\̴Oeі%Jn^]x6bh(w|W6ނH܋O6DwBɵq?#X vЊ_@eH|Plz?7Q N[?c)w0Xr#Z9`3H,Jږ25n%zm:dEz9fm!(.Bch.jfMg+݂ùWic7cE<^T2kHO*i|D}XmzPQ'L>gJ>;%[ל;צO`7v_CA܋~zr9L܂0l{ْbzJVPZXn0F8Jj݀]?8 146d:|c2SS?$(iJ`ہen 9'=|()M~aE2UB.MоvoKr YF9-Z9 ;A/Q]Yn"q8xg$@!B2y0%+-[\/S@n 3FFXtv(ieUڨ}^ =sۆ!bw}_o/2e&k*4=}=#GkK=.(]b*~kϮDgmnZ!@u"jAxn%,"=52srt"EUJ9AU%̂lt$$ OJKJ"|`TA LKږe".o`*.D;g ię!IxU$bIf"C#'Y=˿/"`$5-Xl2.b3Qϡ2[.KWkUPߦg?KNʊVX _߻CȖݔZNK`h!7xъ$L(Z"īoPs%Fzwj8f6 C|tU rKl+p$Ċ`؇DH:#]0TET.u&d4v۫N7D&\ۆ?N^(KSPR">wPDf W<֗;{lYѥč+[h:b]L Ku/z1IJ\0O2R@\QG+b pJwC'$w!Jwx#ņ6_š,2>'8V\ju>{|N}>z {K:I\.jgsp٠:`# c{ѿ:| +Up'TD>h7T<#)^଴r^q8Df ilGo0%@'%n$hҴ)`[҆ew=7 zk2kՊ3cof4k @qt+%¢BmHze!Zhhv?:)GqE& ~gd@ U.jIs 7؄&FQ+k 5,~y遣7J}ՅD.tT?g@B`x0d;xҁmw\`)+^gExoR~(te (Q\Hђ/Ef'GzO<-s_55<Hh$nIt?՛E~mZ)">wEMIN'ZVPb`#,t2yQ VLTfYul+f;l \[o%7W灙tt (a24S.͌vŶ~e c -\°B7x:N,N@79EǡQme.}{:72;+b(dhrt ^osSwSPD/l{6ss@c?Yj}N}9K4MFAJ1p%{C*q,ӼT3s7?Ea X#/lNGCݎ @Gd[sX>CxMYD,FgT{~_odfs|T}6{>U$5ӔuqVD7l & c ݁ S*[nBj|9ƪWE$Hp}ͦNl [-nécV3g [\C笃t)ʊza;d"f4nº@ ii'm`v rU97f70bM]R+->a`$gߎ"gADP'u*A 82ۉp0x9-,\y˙+3̈́d%J ,SPU7fo/R;<:̪]M8.'˵)1h}2hMڒ Vθĺ L5̎cPwx_dѿpm*݇>u Jxa' ^>3Wd_BgwgXw6&?at.JqK#{jV4 -'cͻ~Jw2,'LN: (بJ"_V74pL& q,=25-hFR5N,égt5s i}-Ф^/?~?Yy[mRlg lF5?{-Brf֑WW `bRK@mo['UoX !RFn-4XOwZ3ԾjxS{ѕϲA$"jPZ) V!Y aSۏef_Y }XPvylâʦ[43S-{f;]sM| ՊE؎APecM y|9i&*K'ף}~Vj<3XM1 yr%.}(O@Hu1ŹIP3%m#$K&s\^8%\s1*bzؕ lQs,FjUf%.0fpե#2?/Ё; U=[%Ggwmm2=DC8 r{S֖gBE$yx*8R#tk_&Wnz{gL)i#!͑\zM:ؓ0.aѪ-i{~[F1>L9xlEP*0uSM'gt1D^vwk3cu|Gz='K{Am,/~i:X/B-ŬuO¶TWK33 lGRF_d^X%:˗ yTA!ӗ J.N<Gʵһ91g;J;:80aNs+OՂ t%HJG4p&R؜& o[b}1ڮ̸ռAzREr1\h\$?/AsHV_V:g :Y)3z٤y#wx>[cD d;.|sRTIcA] ج4ʻ⡦P v7dDyz$v{!JNhT6#2Vܙ]n|Ndc{ RIĕazzz$vC+nyk"I`LBK,j,OfG;(B 3 A+>})Jqś$ rgp 8kR~1.`FD~KCmN0[BQ\Quܢq[A*IDD"?2C9kz8{e9n&tz)Ar∹.Io}+i45E6j|&>S:Ru܃Qc ۠#ɊBV-=> AuJ]6JB ִ=PEJ `rW3GD%0v$-|;xVY*ةG*^p (YR1_]0[%5-~+`}=q ?><oQ,̞U &S7ZGn2כ;e^ ,TM0dTMQIhAP5J[a,fXf B͖TƸ~pO`LT4r3TRos|zvOv *W.Q7^8g؀ 13D_X:AZ &A8"7^՞bGdCXBO;5:2K.m|3 Hnpd>U ȴ>$) "rN49R0E,U+0Hfb= T`Vq_"eYfV?Rxy ;qs zS7}u4\PBo r4Mv^e sك<˴;T~iϊ\BvǛ>H#2>2 q~1q )4(+l#uFtsڱwWfY= W p*9_G6]dA/Q~m\q(!biGu@@_2 uwjxOF$>8.l^0J,Yc 2hroSĢ;JO {w !B*SLۃEI~`C.}(8V QiBTqOI1Zخr#5gkX8TWQC/.L;Xtֽ֙=*?_vut7Om7X|@$E+v=Bjw:)֨&yXy2uDXЏ'|dp3 .KH۪55EiON˙ç_"2Jύk?Ω⻄Ui3VƗrɿ=bf˾6 o-˼\_UzF̼j,ll.yq?C޻탬[S-:՚=^Ӗuty͞P+Uj #4PĺkN8~t1bDwt]A2q_qYڦZe_c͊y~9z^No8!#.*AW~R&pLS;?9j|L.۶ݕ7<@&8pAH߸- >zu$Vi|ΘLJ8ɚig:w;=ζVAsf&3IkM=};vr/MR(btbfu j$ ϴuPI*}H׀_0 `_l>Vk7Osh Tz(X"XFQ$vߏ-qم3bT޲jى!kͽ~3o7Zep) AŅd'{oن꽊Kn/.73XYpd>| ^ 32NtrA"9=K?BJ^Sk29($K!)|߄|Xl$VX㒸Qg8B-]/IDZNU L E ewxG4iZ~:&:BjJD눂m'LG(Q11~n ЖW6ǼWYhb`4:NװF3$5]~eŽ!ep`JW9$`Եp _tJXS啍?` ctZ^asW" ?/r+ms`(6`VC K2+)K)iU^.!wρ=̈́~Zr$IPAk bRfmCx]<1  Pݟ(A9[Mc桠уZ.,5Dx& e䜳);~a-EwX3I8m񓡬 r{1~45V\ϝ 筥eG9gqAht{'+נB٫0Kea " FM+4051!xl\,vA:e e8mK p!,px @f08$<8b(φ:*-pEfckZopHbGݲ9}X!(+U+BՌ8I||x1&lMTӔ/ظ3#Glƒ/-Elb\u`vaK ~2!f{|:xGBtRR׍$J&3ÜIH |\v JD֊[Zb+N;3"I a8";JY:%aDd(DRΕ`Ҫ;\φAׇ7rTdu\G 80`*A֨qN gՑmi^~obMK-:MϾ܆]4߳Il_z.cTXQZ> Wo: Y0\8eCkח dNa'ntPTӴh~?#v Q=\IjTqށEfZv;2F>ѯ4Q*f_YTQswc$ "kA֕a>ыyW'm?2J k0k`%?q/ yS=;*|&CY#J&}~k]]ϴ2|B-6kI 󛈮N2 vybSpz~9/S!𵂆͊( K __sfQp.Y&v 0  T XV0@k%bCR]X ^lWbze@uV+fP/F#u 7[ЫV} _`W]=tpeU%vt(&.R.bm&nji/hR_aQOS7 Ktjpm!j%5n7NaK8h? QI$!ߨ eVy T~oEWt,}ۅz=ADxƍ{#8lV!|j E$]&%L%_iƦ nk$ Pi)vK>xhNH`+ ڝp0]ܷĴ }x-o_mk̎+&rȧ9&]$|A&C}c |6Xȉ`2n_%\ublr>dGTgSjKzkɟK˘. H5!1t-;Нȧ.}D+|#]bl3t=]=wlƬ^d(OjұgYZ L '9% 4CAVA_AutomataCAVA_Automata.Automatadocument.tex7zXZִF! N]A-MՋhvG"uIBm5_/bYϙVcʍrDRʲ Ƿ9R|TY2Pdǿ>>rZػ n,^`ӌ*3#t?B`]8to? b:vvzJgxf|iacx['IʖDzN"Uǽsm- [  \|_e:f`GG/"X="_fp9Ȉ|Rq.e9jhO-MEaSp5HJul-˳~ouN-C!:b4ybj ԬζuQ!^Ip;| qbHCKy|FWKjWή8-# rtDn +'SBm !6#byI5xG@pě96jAeG%DV&YW(cA?Y/>%r0ʇf⋉mӄY3$|, KY]~i-_yvE/TBOw1wؾE OB}Mp'y17:ac>C^0aOmgYn fi`1uiO_鄒Tެ,5[v~U(Ŀ EPj(z1ٛkZѩ9wD{>w@Go{9>jtHStY5Ob>]©%O<_~]@`LҒk7L*)h}9i0)߅n_7joSWRA)VHOˎ. Q+&~_I1sg \\uŶgg=rV`C[[?~p-MalS}WCiJ9ASwvS{'`US9YE2KC/bs}Hģ3 e#ﰲsײ"э|+?Ȫx=v3F<#[8|mC|q7;^^TB7ك!}x%앫#V׫H#̵T]U1 ]ŧhuLF@/1#퀉G,/涎٪@N4]ur1UkKSYr#&luȬl͔ta)ݖ`K$ޜ޸KoSyx78gHt iHYαJlz|DU\_}z~7lh1̂k 9jIkKcLipAC}(AW`pa`~X=Ya1web%/qnMv16p;!98J /hrCޗd9r 276!m u@W`e<5] P8n$pK88nC.dLK/[0fn;~>{/CtON_j|! < O񽷧X Qy2x1 V /F"3FW"*D^VQ8[}% i˼mγ@.N. ,У1B-RUz56saLOq%!d`5-5+Ro;M6 UN}!Z^3{E\+k oIn)AX~&gDNƅZlG8=YCB^Nmc&Ldië􌇄Hj@A`{'rc}S(]yz=h3l'풯zUoٿ(qzPi2؊PY/|KT"tM"N7hD"ψfQ~nIc[#+ 1)/6:M-}.O.}n޿6IQ +%=1LtZ'YP_\ /pKz-jsl:}AC0;WX{D.ruU2:^t@~ֲ -~8]3"laˈT\`|7Hޮ*NLFK·Fo@ g`S{ǷPEzii`~x"C&:7vP 00z}&k]#W>-A"F|*Xݹ+hgkh1W0G[ugv*Զp5l(4C29R[p|TR'[d*0QrWЀҋNQ~]'q^A+וFMZ|LO+{ڣ#_qmC0_P#/3WDyKz-i  l ';% tCAVA_AutomataCAVA_Automata.Step_Convdocument.tex7zXZִF! _Pr]A-MՋhvG"uIBm5e;*-JD{݆4̩u}NiEh-r{y |'QV[t km왨FPr?tXL_ -baV$O:zro[6XO (7 NdG5߯{vM|kr.Zݦâ7(wݹ*ͺ/է0sde M!3EWq.BCF8W3+Z+\krN#0]<-3#kfZ^#(Cv`5![I]gؔWDayq ̱SMBƻ!Lֶx6“ojIG֖ï.\E?$ yN-m3h:\5hlvRE pKPV. ߝ+z J.>QʜH*wn[g鸿5"}1&=[==ܐx='n~誝Pq$>ZU̇p_%) c\F*lQ1b~291MhFߠpO3~H+_w(]Bzduj()8YH.duCܘ1O&ڬBK5 15oŶl-Z1nU4ޮa4%UK'_nͭTh1c`@Js[74O`EƐIgx+`,ӑC:3+f?>7c)kXp `4J)[%a4}7s3 /T֙@ʜeTOC %; \dm}xҼp<=Fl:%U \a/q[FY+A1]5 ;|*4zրHC4BU l%(gp>E~H"Y>ma|Y IE`&Eaw|PzCV&JQJJQB6ot_.y"ΫCd^Y&K~1uu HY/RFJD)b1!?ϡl_Š&K:oyk݄_FPtr{ae ;#B#Z5𤎏X9kD%8A;'š ]׆|h7 l:gCtFʞkLIEQڱuRj~jgƍyU@B>Z<)|jGȭ0 D)F@wO8s+$3x\wazQCt+ԐE\zw}nó۪9j*C+KѾ -gYZ zz 'Q% CAVA_AutomataCAVA_Automata.Stuttering_Extensiondocument.tex7zXZִF! y ]A-MՋhvG"uIBm5ȩu.RչMtx;ǪD4~PzVj'3/߱=ȩ#qӜcomלcɍ.VԯCÍSHD4޹d^ 6,ʁ*qNؘ7膯ddg>./9%v>퐨F Uf|T..'ܸ낞> fZI_; E@rϘ붴F 'D͟&u´9%B F8**W[[νt6^(@TD`_uRh9cyնYm䠑oL`;srx{b e]P}6vt ahWh dozõ,A{)\fP}pJP&y-We6{fCIvI4tX&c=ݶAƺŔҕx]aT=ބdee 1( *6UXA1pi[1R,'g IQ:y:'}>ts..ܪȀ! ӉEZjeY N5%1Ck*ӝՙL-pp9^Amy-=kwG[ܾ2eEDܿ6!]6X9. wT3cIp&.,*gipX ’H*mr8i7WQ)Xt]Yu@ZB8!ئhR&vΪ!yd+b?-܈2&Ō \9 'buz $ Kaڡ]^T,#hq(l&R09y2l\ySG:(KO\?݄-G=o;>e,CoJVf)Z/ ЃsOmiI{&yp^8Y &/TQf8g<]S:R0Aم+H}e塱}O:)x5;y"?ӵO6 sx7=T `uҡ0K>M녺Ҭr{!اH¬WOhJqN_5pBFhS0zTn[zxkEQϺ) zID_eKBd:3+>S, 2%wn1K L.ž {Ss5_ OA장;2WoTB@ nvn(S)C,qe4{{9Cv{)G$mD7MW>[SN|R~#xyJ$ d$ *5RGVtڰA}O:S ܅8wHI:8 !X6KfntD$w(vZ3'=V:(.ٷⅴcs4$mV a_8ya; c_VW:x-عPlUESi%5uo|i /16['W*u|AnDvi+tX,Edݥ & X>vUa4 lVVD.8ii0lHGA4M >3g?]m*KTЄ'9CZ;3;\ I:* 8ȏ%~)+(HY*FV0JTV#mbrF'Bˆ"-vQ1+p6ܹ2鎽w|d&?ܭz9-d@2 ODlXRƛҚU_q5Ȝ_F;#ץ\WFK:DUÆC<_mK~)DHCיCs${k>H13@Ǡa̠q$jȅ|%>b=BVEn܋5-(c%)杈 ]}GZM!]W~RpG_T~GcUCAʏU`ەֺ;Gqㄠgm3%Q.5+ͫ|Y[C[,%)tC" 1kI\Nܷ͢y6NIl)OV?Uиg=6NחPQqnգܲ õVc8a]b..22ncjIh4Xu0Dܮ \OC9A F%v­:&~*\{%owjz֋%BIg%)tP*%;֤er,L`&ṣZM7~:ZEݬcOe_OOc_z[o&$vސXh.oJ*V?p'LkH fD3d%}r/NpRyW4hon8n]MKJHT< qaCPJ:*6aͺ4㛛1aqb$V MŮ{9pZֽʾxy5e FݍdC%eփ 1^P 9q4gYZ7zXZִF! G]ŗXi%D6+j+^3D=׉,Q#(bkburȽR%/\2 9xrXod9k'&$zDO8fWNC049U/@bhڦ): QܛUWciMR?CrSCn/+% p dS`ZWd* Fݵ=;7d٢姯O"]f[냓"JnA󱣇RmSYKcopuv@)lQY‡c9ҙVmThұ\iaqc$#v>ZR*[sd\RQ&L|MZO nn)_q '܃{}8`xT\A=-W>Ɠ=X Fݷm\žUי$ O|@vuXj"IZfI>\xgS۴suam*Iw "5q)zK VmۉMz& t^ }b-R'Cp0]CPV_lѕr}UpӅ7 /[);4r4\EХR?$.M XWy ס)jJM:*ڏMh+@Ol.j{fPҠlbXR@7l]};&Q!fA@(! ~YOy:8V찛sL#=W ,hN;]p4uX!I nOI,5ߏ,HoutK41́Ҍ}]Y+0sBE)N30}$$ژ'B'guL;9u{s5e"<{΁o!B.%̅|iZrl]"~"<0". XE#ƻl! 54c`X3QoכƮN|_?gZœr[jLOL7;_%χ5늻%L $qJfYVqrgOwǹT Gm%7u=r:=Վ.!VmB'<OjfXkFfkDr9'z3ylƖ{.sS(D5v=^f;I_A,kޕ߆iiօToxƒo6/WTg8e+T“Ko] JCQ~yfnT\GXPfFqY$_c$׎E@Z6SA=aՄjJّ\OMIoC@m,e_3xރYyD+5@|CpArsx`w?D(z&o52pg/ÛJ*1Va#-XEݖr {vkO٩4e $` "YұN*VZCJjQbEs7Xr@#Ra1aΝ-Jis vD{Y'oX΋*ӵF e(/H-~ݍVLQLXغЧɲSnzRtA |8W|empRgCD"#TYt M1xt.M!8Brx}hci2,mqY5A٣ͻi#V(H0g>طu.[fwuf2CdIt!8mr/Fi-&_ŦҞI^rn0()"]{mz#.S ہ\,e1 xKrcW[3BoFbi~yB&d`lXZX +jpVKj >c³ri!5zj)$ǹYyb& [X,EǼI:v!?{P?j!T3*kl3Rd -EVvؗ@FK6Z{>` AnB ^Dp_tMWH۶=F[lĸylX 6iP9y#yMnr j:qDyJjth}*iʔMSNc `iw7IVqK?.졝!DgOTq OPE K^̟߯af ;@br*|n1QԜ|~2| WA{Ufr)y Ol}Ԕ#"91g)eOM)$XW w0trg=ABvCnqVܚǢԚ \=WԴ@;[C2)71n>fܒvE;.*tv\FQ`|ϊhVԨ_d"ʊCz {#v?'ywZ- |OΗ>9/at/P Dᕎo;֊C r'1/Xg#jw,aS?`].d:~-BLoo#!%(EӢ{u aO%3\^:zhh[+y-\a6jְ !vf}jq/gƢ#6na7'Zj(ulC i!i7mS  '/z/,_:Kt_ L^nQl;O d/(RY>uBׁF oG4S;;QNU[O*!. nAjH%׳̰7=Ɖ}dobL%*Z%Ol qL~dݠO[8 R,^2_ D+WzP3IUڮX`9 !2KW5~) jJ.EE=Mrϓ3v~͎d<[":ϣ1 ](r#5,+{'XY kvecDXQ(_W}Jj,l&(< =}F0Y@)ݏ1.a$BblBPBn+?5z`}EUԽ^sL|?E؀Ȃ:D,馲I~:] @S;1}|OѸ8/+'G}Ձ?֒Lł]@\@xM(l ''dKNu3gT%BCౠ׉ 'a#nz(Yjzs)d€3 x iQ׳󸓋N6 cMj@=tFq̫,׽.Bc^+AKWE*ŕzhPX`i3n~O`5t/t=( @^q!z  u!0"66PWHLiR2Y0Q<z z. M,J:y5æy~<ehmcQEJxdƶ8`uӒs>(Z0u fZ(j^dȣ=uv\؞$|.pADCG|w$bz Bȅ%V&b]_CE<t4H]&8r6J4#F!A'a;е\Kr5aL{!CL*-Pei b-LN-a sB@FQ'h"dצ?o-zXd3ѓD /ni^eM_Poak@b;BzoǯrOuoy8 #C[%nǎ+~|2ְw7fo2VYi'3% Ü^rl'Hh "A,Z{ 7#$6M;R) |V)v1 b\iPmyi6PѼZ4[P΄N9'洶>yapN89Tˌܡ:87[9B[AX>f1[`fg%"!j鼇T2$D?6t ~MWl#/c$Č܅OѐARj Xq~C(L;cr${'NA%krdTk `14v *q4f>Jwm ~C<-t$ %(@lJ̬2u**b9MiP1_ z~t얄ro+Ϭrvӳ^+q\NrY-=APP1'!& :;t2OTG~8 PHh|Iij⦔NضiEZ5iJ2I}aBD'Eµ㰥`-EXQCTc`dGc>e# E9d݄ _|3o ^ i,I%I?! sc:ʶ%O/h_@δphVit2Li[p弉v>CG@LD0j2?6 tPk'W3#Y+lWoka0,}{(;If"@~v`::uʠ>'}=ƣBT?"ݝRqr@F/^vW5ePX?@12ZVEF)h؞M*p7Hq3U?:Ȳ 7vgYZ2613b8bf7b284f4c2a3cb1f22b246c630a388613c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 28ad5844aa33dee98e4062c865fb998af941b0c4 ee8d0db591bacaa5e0d32daf3e00d9b520760326 ae32f01483d79b8c881b210c86a56878c657de32 1694ea20944c2b836d782f39b3eec1fc1ade4510da29619195203fb6644411e501334ac19193fa60