SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info L'tl ]w]CAVA_Automata:threads=2elapsed=78.232cpu=115.664gc=7.096factor=1.487zXZִF! +r]ŗXf1-/6vRZxY{"QhEAm=S>kM&`x:@P\0YDܞ\a@kQs;\%tߓ.5C11(bi镰KƧzo!G$\ {Dxy bhiʠi[ݪߏJrTщp9<\-c˸)~wc 6zmuu/9klR.7'l=so鞼]=;L$_ev|rSMNi|@dNPKیB{ߔx]{fؾw7SfGPAq وG@[3oV@5VRɧa].tMHu =%nJ$;O׵=J5P_x\v#/&U-Xr͞14]>No.Lx%J_[3g"rI M!ke.Rgթq[]\A%}>JY>+7^ݰŘ_r}"HBrQP[vWG ׌u.Us33i4ߋmDQ'MKQP\$41/˚;ĕS4)ت(juyxΕ:5fO;JVB\f%ӵD F:gCD_ܰz lM~fufpg2RMÆ;GV9%՛Sf4_O[y b%UKZ$ӇfGp=vhgqIbh%k4rֺó(T븊f~SπV쒼o'4]TÄo*8'@FũZ8E!&d 2LPpEc=G=h8E Wo*ֱgYZ7zXZִF! g.]ŗXiɟ>P*%;֤er,L`&ṣZm-҅sQl> gF*'W3U&~8l],3L1 ~b 1msyVqB!ٟi&o \ʩ8%6tۇϳdߗ)FcذKl؅YNV:Ro˹uyF[,1J!Z$,gקP gYZ7zXZִF! }A]ŗXi%; HL_D D=/e:p+uLz?!Biʔu}K`;lw bwl5$& _&z[.06|۹%};m=q6ZCF-rۢ&+_w:z*<5! ' CAVA_Automatal'C% lCAVA_AutomataCAVA_Automata.Automata_Impldocument.tex7zXZִF! (p]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     U u 36';%CAVA_AutomataCAVA_Automata.Step_Convdocument.tex 4'7%CAVA_AutomataCAVA_Automata.Digraphdocument.tex A'Q%CAVA_AutomataCAVA_Automata.Stuttering_Extensiondocument.tex7'=%CAVA_AutomataCAVA_Automata.Simulationdocument.tex:'C%CAVA_AutomataCAVA_Automata.Digraph_Basicdocument.tex2'3%CAVA_AutomataCAVA_Automata.Lassodocument.tex9'A%CAVA_AutomataCAVA_Automata.Digraph_Impldocument.tex5'9%CAVA_AutomataCAVA_Automata.Automatadocument.tex:'C%CAVA_AutomataHOL-Library.Omega_Words_Fundocument.tex9'C% CAVA_AutomataCAVA_Automata.Automata_Impldocument.texϳ!<8&-Ŋ+L4)ps`saAY%`ĥ' aKd۹o(p`J=||r ʏZ/Ψ9ֵװ9D'?Z?qtg}/} !*q w K]ч: hAyXgW=HKDeä0Q'Oz*mz<8e26ABws4= 6Xh=U`0u35*!h?\m=JrK ܖ \hZ;L{PѠa$זҜҮ)w2@\s̸W ZAI˸PI5  G &[`^bB_ {?f23#ٔ1S lA#>7TCOD@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㴅$MrC7O~rZ(uerjkqtdeZ)IaHʈQ_L>qGLc LWDȡ|pCjEݶVӏ|D$!pT#s#_P$=6tw#- Fu~pKC"MvJG * H;@j.ɮV348٪qxC:ř&rn9^ 1uCl&.C&99e8A 7V쵙mlNoM6kB & %Ïח{̼4DESe"tYOPh5\4xiXj}$;l7-X/>7̠P.5 ;9%Z4nڹ]IԆgdGe ,(霕O2 0749p{}EC)cyOfiJԓiǪ(*$Q;3}.RkQb׽{ $߂x5Q"(yY;6UfV8q?]nΡ$)M=0 z}dzFR0gz~VSP"ejВ.[R;ߓFچC̟4*\ K5Lb1-gkId`m &'C[[Tւ`烾;V5]o"E'&x'<#1v72\iK ]{͗~11_NߍdQQRȵJ?-%zuZ;;4EE5apW%>Ng8aF%܎M˛Ԅ;`\l/@v`;`TBqZۨrhؐU;`Ϩۘ8<)6YhFYF,?I=M2I@1?R|`n vS9b>EJ}Ųkم K{6 oDqX` }9 8[w c1ꃥ=^yaro ;;6p`Ե18 fMX=f@V!Iы6OO;D v&?GN12 VMTj0xέ0u]Zjy=II\t BVڙ=uQO(^Ϊ}z֠47DS3){-P~`Z{Ax i70 㫂|: 'L^%u(wTZsjB DߵظIfO̼Nl9j}ӱKהvkC.G_ȴ줿u_kx<gB\TK0 2B'G$1ب8A&UaMs'< cWtgrNt/VNPtDOMfA븫RZ`{dUG)|qHtJP{(EVqCB8%έ9ғLW.h084jxXhԲ{#$1?p1f#LP]a 1h**^9WZ޺RI{C{U5J0Av$ 9/iҩ.&bC"tf⟳Ϸzkc4hS*@cJa:`7-؊{_.k§O=˩Wu4jc`2蕗2ΏBޢ+%u-w^Є^N(zq 杸3?EI4$Mx%%0ZζexnRQhIڞexϘ)k0ͺjoG\[lV<P{;Dl \+{@wԣ{FTP ^|r-~#\2yĽ R_ .U2`&2_(=08"-zɅ 7;a+dXeB毹0T pPX&p{`iB٨!W6: 샕bdk &V+Gk]:JJrx PU_Aˆi+^'uSW dC'MwU"{y>ؐ mERqSUpvn%jtA{QASK'Ǝs_ 6nK{'&9%Vj:pP%f iTm"rKy\O,ҏo~.@RhS!UfyTݵ P03k(_0_`$.Ցh6uV ΄#Q$Yn@dQ݃ m4gYZ /C읿v^\vL AN&nV~϶*8PYK_PncxG#. Ǜ'NTs*Jiݡ;*igIyN IV8Ҕ=1Ӊ/_M*j3L&u:gHD=j &_/~qe<(f;>F@ӓ)2Cw`ly42v $_PkͶKmWwgi;iw+Wk(b| %PM4[Ud{]> ܃ kp&O;0ElNqQ[xjh0eG]?;؂,HY0N{'XL2c`ځ:d MFm˯ngV1 *ÁBTG;,jTݹ-> nQrFK9kkVvp{[{nqdI::1bUםE&sAUME7bh=$ʣ6* _!go.ٖ߫ W{Է Aٞe0J4*X_-^inNP5i c>j_03. BK! zWYJl{@QN%chdPJi3yGl7q\s[65v ؞@lWHtr<%xjg9TNEbb;{:g%aŗF8u"SkLLh@Uh'qNu9lY6@r7Y憬VRKϓЬP+ 0 3ľ i]X<~E1W& >/9+G `eZ=QO|d\&N[)w{j?unN A<`ȶGW8pnξ* nU2f/޷]Tvw *hNyΦOΠƼÃ_x\TkQ1pV̓׼ecy t=j׉ !jq̦7whpVAcu`ǐ远Lo'ws[!)luF ui.u 2@b%,L k.m=&[ D8JU_ܼ63q7Y|6ӧg~`HYUX՝#PJ/."Bg2EIXAԤ8$ltȴ >q`N)8˙;,$]`JQD b("˳YL>mS iZ[oZcf5orɥ2eOܛCrݍTnUުi1?_ m ހN ꗽP}& XHs_!C\zyRC35Adm[&ȌK 1QA1D^60eVrq)!6Hv=X Jȇv^Bm2 V` Q D4DA` Z V` &p L;1*D~;!<QCC֜ !SYg0m٢~rH3q",ҙxۡ1hi, sU#&d;؂,d:0qN}d031KbFvIa%C0+CQ>ӻCCcz< MZRe ߲z |@PmզR U&?ªR?ܒ u *BFņ㯢9޶ogO4Ȓ {ElncG,?3HPTn!<V'70gTy^Y]dGفK/G&xVڶƏ1nG&4X-3"EY^Z,.B%8)#0\O\fZ\BS+ +Dj`i$M>LF8w;0ee D0r )ZTbQb&JC:Syq""J 2aYz8CB>ߕS6sAn2UZ_d6JְޫP^3KK^87JbyXc.ܗb?*">NJ&1R=IU~@$ն? 87D[CW'\EB~l!p#5W ;_+/?]vMTXzQ"dɗ rSUqGVT\FYM &ZL lIwq Y r-o!~ ۣ*L p{I2dZ͝bzi cziTpqK7+*q _PX&QfDt57x[fZZ33f4#jxմFGy\NHS8It{R^ʔk|(ҭUmᛑ. :RE'X0a]wdgm>@v|OIWoA@W3_ܴMh3&x5@ @Y?qɘ7LmBhN w|*O1+<1|Zׂ;н$i]up:bo˒\+ 0qdf%ʟȜ@ &}|utrAO鎢Ŗ, /<1Q B5Z*>UIn6€x0%S|ቯBf[@:sg?BӞ8[K/DXf&)b"oEhXƭ\$H/D3S:m&Qα"AP=q&C2Y#طb3,#g"X %^_O=0̨lAcX~_RQSV፟OG%oEiK w(tFU+? }qBӽKHlD"_Ґ ` "GW6~LhYB 2uE(QM_`I3c|k s9CuX˅\htꀣVQQt.2'Huم7LbTf`h]wǻlNqih-.ʜ'Uґ5]TdL%[A.fFaRl]E6m0&v({%.;6,g:n#n'l&70FQL5o[Rͼ_)12\_> joڿS3SكdRM< $TEqcT?Y5ī*!Lv=uOvP耴҃_͔yjaW_qn(K&KYDâ|,Wq3 ޖC<*2 UΘM \doecm-)qZ@"=(1q;1 i×K)AeBNv~yl!~BXd}(8PD lb*咼f e';Iq7NHSF==p:1cC;kU '~ -)f/JBڀgqyd-g i >V9 3m= `5ݤr;=V)ylOs` R 662UYId_LEjiBxRg|j˾=]'Q7 Hdn`3`OJ;Ms|k2/w&.>ID@` D+¶xN+\1G-%h!d@"=&&f>#WNܽ=unR-Q{{n@00Kʨ.իrV?fS_-/Pa1FN-U(zpl,1!Y<0S3[g3삜sgݗ %fl/'mgS2&UQ\BUa ^ۉX™~7Ȁ vIiw§QFXI 4h(?f9u"=94H7P qOm@i Ҝ"ƒzaY)υd*05P`f X5mlMWhq '7!U!1bTewI2;0L/x459}m!wo߳{Rxf:$yyAY>nCAJXƫn<-;z~N;FnE*%m 0Z^H-& $uD&U ]{+"L+j2-ҋb$/&Pn>,~ _YNJˉ9_; R2ӲyT#6оxJKW>tV8G@ t2U<hy⛎;-R:X(#ݎcNjET^g^Dm\iY^eJ xیfڙ/A5₷<z7QJB>Xp1D*ޣhLBX䆱f+#l؀1J^-\; 4*ң>SXp\3\=@N٫> ƘuŎAm:2'QPŏڏ -}8n ӌH2]*+sUh?hBJ>ETb*l/m93=ıH0wx̢ʾ\*>P(G 9s_.VmW~TIl+}tZxMgPE#s^RoDyZ<ê$fcSFp+p)o&07XCeyIf:aD_7('T QѺ. IF"0GH"T'6]H#ezl_]%{޶( 70$gkYnW:5>q9ET?UFx`/,Q&,7OydHN'T)h-A=n %"r!ʘy:Cx }B?MUX3w{M@ՅtcyܠWx\z7J64~g`wbC*hnˡ54sĊlH zWQsoZ-TlaG2}<̷$-X^v5Z(5)9Jg ]N]÷@wbbeD߱b3"wC}{6!.u4쫉%7⏔ QduLyZP1<_BxE+Y,Ҋh 2'i 0̫O),^S"l l: 6W@x!.+'vXnӡ6?ZB<0(ntO$'>1bTRh "RALdG@. cMarʶX7M3- Tk`BDе׼\+89CNW{[_HA8GƎhK5o[+ y@GT-S@ L+A,j-Q^;6H& d8 TqSQG7sLj^f B)o,0ӟ[et rn\y [v\zi>KHaV9mo--v}r[JnOKV=^-x 9ٰsal,XI LTsáZNʑc 4D=E jd۰6F[(/ %K4)@|3ZAߟ1{Z WQG%16ɟߴ|~YD}%^UHգ׿fC!\B@rF-1QjxN: 38W\Ap4 N^16t0;Qor~17lV`S9lsb)8rW t*"Lj(1QF9N\a;*2B|ޢ|Tk㳝VGjgPZz>)=[jmXFP:iiQ=i_!*}7#}UDpG@S#WM߱x[mzq !Fȶrwrh/pē >)0Ņ)Kof>,&v_5EI Дӷo} 5kQU+Yd/2GG^}^yb'¸!Ar=I #7?@tYO>kMv w lxMI !XҘ&U4G##g)Fՠ""DdBZY޷ s g&oo{+&;R qIňޘIzE˥V'erucAE{ɼoop&˭ (dZ=/*(1Y2#pArz M0T)*Ie}|yR܀U8s4UIhӸz3w8d؍2nF'zqhIkuԵѝ,yZfqؚu?"H.Oe͈a6rY~FT^G nCH\&V6Ђ1썥Zd^E1CYb#a@&(7k.[8Lz=.$eI:ڧ nwYu#jz/UAq :0`:1Tu0·g+}2Y dzd\9Y]QdKSid4-.7+tAy&3 &BB}{zŲ߱y_y rrGFd]j9RT;ZOv'=OEfU=1Wϲ@9%FYh>]n-g`183<?[R`2VB HZU~Y-U|.=@X_2j=\,9Aʙ'HTya^kH{6f_bn Ѭa@Ya#McYPz(Mg'&dƆ*j\V9)!i#*47xek*3`1GNŸA9<; vx#Hk8z!8J2ਥU$ rg%YjWY&JsjAk {Luo7EZǤ<DŽvR?ݒ">ϱ&Z"Y)Ob)fYLoe iܱ2+ p[nݕd+teу'27eUt9ҥ~1.)p!~BN׌Z~p9?Hmj- N>6u@KbqVQK` ís,G.b%s f`6q&}(Y%ZaWBegHG; Y`8.))ކU ]?iSe8~;#G <1u[/aQnU#3UtqtlZIAԦ$ȴBe;EC 4)x )2JR̤L$MLsݵ/q0NӂYI|zF@,uQꕺݪ 2S;뱐[!jj΄fİU Rl{EğNFJJ̥Z9*wɻػ: Z7jֻAPenV=_%}"z gw}^]šMA=Lg@$+m=ȆEheEq "( 730,nlkH!e3 45>l/GXW^t<\}y579Nթwq]S/!)^s^Z0l׃%bkΈL4n2i֐OQ-Ѳ[oJk~ʸJN1Yʧbh{[QPyUlWx)pDqS|#u@z6N*=шqz,MY^[I Qr[q޹H)G 4?L7p_!h}rG[WEz65YGh3٭BcCZ$*TgxS5=N/퉽]˥եkyX\utT.]%%[fP3szƷI!A0\AECMCGi}TO/[ආjJ$JemJLZ#pd܅A$ ˜&UۊսD5ۍ%8ʧCb2aaHߤ܏Փ~YV\5)^ .89s`.5z_jk;G=uQ'T|TU?@jtY7<(,"J"SQ2m*w2WB YfWԗe9o3 q±"pdIbWŌԶz;nV$JxҰO]fh\$m@'$[El s|+ؖGiԡ$wʧM xm(Mpm0Njǜl%W}.nD{E fu933;SC<:(b0>ҎD4nv@˰ч V1 )*荰U3uL(Ո8飯QK 89AnCpw˖q.C7%KBk¦BAh ahco̾ Z`W>j,/u. rwN7 ܜА%7~ pC1l4eQny}JC-hJImHd C-!wQTϙU^ua`Ќt@kuf0o*^IeC{I,h$ГrF&*hZTtb)VQfǿ8u pٌ[1ْtNP6s h$,gYZ l'C% lCAVA_AutomataCAVA_Automata.Automata_Impldocument.tex7zXZִF! (p]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}4kqT   d'C% \CAVA_AutomataHOL-Library.Omega_Words_Fundocument.tex7zXZִF! "9f]A-MՋhvG"uIBm5Ł8%-Ӣv;_ON)Ӵ[h,ZD7Y"oBQ7 ku M`.8 =c &oބ诚9ւY f\Onޓɠţ&]!Î( ^o.rՌPq*t, #]DoM/|BVE?1ԪR#s0/("pwk;+$jۉ;?ƪ})F {JV`?&uABF/5C̄ _`kp1][2Lal01Y)9UcUmi\JfM+z$>>%)|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'!:$TdREoPHd*)TW.\utgI5DlU̻eNjWDRJY m ;n pqH'U9b>7VJvRQ=< -#u"=Cxؕ447_ERE;72ƟN+i4|pqCc4ʠk,̩ uiz)R ^$e8DIcFb`hբ22B*U@w &Esw썀, !B=qDs9wt3]BWF#3faWH!amC^ AA/#node ]`*{ӱJ"~ 42CV"qj&ɒkBCI@`q(KW9)4r3AD0 J[S֦ V7 ]ÌX!z]bM?gL?rKB0[zl|Mz,HynlU׎j/L;tCI:%oi/6`_m/4] R+'TO˃J$S3LZ=e Oӟ4/C7w e RʳLak,C h6>A9;4}\ϛ;ΖVDv҈ĢQXrhn'Ln磀R]d^0g&yLBċ+"h!P`V)_R'ߍ /YݶRg4߁d`/F`ܟC4.H70"ZH:N?վ$cMSa~2RFYَՋEI$Eti-;/8k!ksd/<Ig[?Ɉe͞-wɘ#ؗC*'lɚ)݌^~\8&{k.razP?2LmP47"1d;K.|mbk7TGm`8#3aȹHbHGF <&^&ؔFL?C[0vI5,9qw%>f"LQ?jƒթ8 p{V4ݿ?!=ȰjC*ۋFC@A7S#VO]N#Y:;x$Jv+CxsU=GӲs%wenV_X{liIJ`sDSڵfKWt|N4(UM"i3txMuN˹˃pOJc2}K"/CP8DE2{WѯG rʾjJUoH &?4L:(^?iB7ݛ8É ShyLK F$(6eK5ޡعWqaH Ȉ,[JMTFH-Z5"4 3!\fUBQ$K3Мi08 gL$jlG9+w1M)&)mN<#pq4$&QMA-\c9Jo2#)`'񲊲zޠ=DP5TRy6g ЀVRyܕ!k#MOk5nƖ cT",Gu:O|01kձd,'~tChmzF _e4_PUE+$N9u˸F1h"% jLDhf᷏Լg~!xh ^Od5;["O?"LJi¾R7rYO@WF8E4o$0pȴөz(?w;aF@`2cbٛ6|X%F6,sJQ ͒V#)qr 8`ON7aE?kñ6mxp,X-#\ϲմgh͈1~hc#|mL3-=h]+?dBN뺷;vS`*)2֜Bppҧ:*&u˧?;|([QakK}fnLj,GM=Rzg5mnե:X ($ xᴜC_y+OLEd\; {Wy^ЃgLaB/94S!Lbߡn7%jR>? lCO/Ot5i@jFY-fn#g9ᗧ&r쓭"{%mu;RS0/ T[5+L|>8@ܽ/xn*a@~9Cߤ=_ MV^\9x5de^ Ki;CXI+Tǐ,z" E[V6%tdROQ*S1ih?Cx"Ǩ/tAs,Y~qzlճѮ{`Y232P"#( #oxl9֧!ZΊM֑};v#QG ԎbW-@%B})/|:mMkCoOpZ[4Ģ]q1QLUZX@s'#WzCh~QQ*zb PJ.0Z9/?dh* ; T i`rH!7"½h&tPyH&3/:g9.[!%@U,s.;bM4^7lu}n4FENE nT\U=#ޅ;CN)^.m&Ctn=[MUs!g<-pN4ģxR %NP`yWMXxbt<3WD^?_%.00=MD?i•(/s;O_% @07?p7Yxc,C\8rU`(ꖷs`# I:5 µQױls.uI ȭ9ړeXbLq: "$B.,+Ao~"aVUqu͑-0!6;:RNw|f(jy;ǝmtCY#ks@V5*gsgwcWE}e: iJAL2/,7kaE DfR&WڰޚB"7jּb+y&f :0j:qx Ƈ%PMULxWU/7;)EB' `r.J>?ѣQ>!NX!# :  D^y!z:.ؾ<^tݦ!o;7ח%F>L@J||ouw̝ɻ,d7Q !,0h;$ڙ[j,Y}Zߌ+WOI|E3cl'OyGO-Q;=j؃eH:Se= Pύ!#J$e+9pduEr` S3@[Q|6LqRs !`e(tG!VPrmdJz̔75@ܺG̳d &7b x3*\'ΐ6a7G 5uMR/x͡;dKX]o<~űۮ/EYudIL&nįd\ a\sX1]RҼ+Nc$Y3&"D]K#Y:멁dl`+[ C@3[ wCEEsW)\X݁p{U.xwKKKڂrRV)L.Q$D_PAd"YGxH,;F'~YTFkl GߘS•@<܋Vt+*1s8ٷb'Z+Kyd{ň}|Qr#oqؿ*©eBD0|zf3h5mIoΒ9NVϳx~<(= XmhRo答ESa8,ʊӫXgf-&M< 96"OyGOxSk18]w PJh>+r\kX:rV1c;fbn2_uU n۩/uT%fΞXK`"0E0h (dWY@4%W,AATS2Xg%'߻Ic rKvF[ZaKSG@53LD_`pvLu{/Ԩр5  vzc!2id 3 ϪhQ2eՒ~h`B}AOǣ]`@Pי 7/k2W(۳tg#|EMVp3KU.r yd/3+ji 9fIX *K_?&]:xnI7"dGnżH:gtK}YwR0w_Lag,<ЈUNɐZɔ0>P2r2܂å;|'Pw!FQ)f:Z˱Oy:%R5*PVX )h^sU [;oItZ6h!+륜uVS"8(e"V!Zî~|h> }216_Hɭ~۹Uڒa;bTz>AkU@$秋 Cv2S1شhu+Ot-VdsRi@S-C4W\0U Djw%z"P[17RPiz74&~?g޽ӥZ8 ڐ;W6$79wz]FN7Fϐ )$lFͱG-8|}7kl_Y7E6`#у:p׷oA|~Ϯn˜ѹd5Zu;'}["3ykX;[#g@lTNhRHw+>dRS0 ,eJ[|}6c\f\Q _3QG )R3ic.E/: +/\UB<+R~ZIf(aZ9ͧ1t7XLvݮjdX CI2s: }uvEͧW#EabX>@0l:UusdEqǗX3R+[Mv5%b7B$kw̸$ N*bT-7:h>GTEn֋mdP&N͵ٴٰ}DM̫d&$َ׆pnPU D h'K&fKʤ~rJ^H2fO?GuECFH)yF AEnK!C9MyR?^wfWǞ ,qn&]+JX\Q[A׶pQOzP{WZQl--ՋZF^yuCe _>gp`([I&绹*LKj<&!>!O©TAB.gah1;~ͣrpӀNtI@mAyλJ! O&LJ[Uq`\ "n}/4 &Ն}DA&sFD\4çŘ). )}D|+6eyZH.j `dtKd2ߝKqù\-Ma2>SXS? t+_y!<ِJaa4p?IIW-3-`?ZW|]{A6E%{)nnM7`Y&35^xl_!i-P,KX i.7E-pA Щ w;}HU>]#'+YfIJ‘;:uY9XCr"=1GѸtHJYHo^%y\EvH{;qe}BDVge>< "9$LC6XCF=cAG\g8p#cǹ ʮā@1Hai'L0{ Sie]ễqýra\]i%$dU@MR,\ g]ThO?F9-j5HOr/q!=5uexfˆ"7Ilܢ0{BOI c]G':QDW?32ʑD|uC8~ϚkEZHOwhc񺎨른;d-Z+:'y=p4Mu=Ql`Q޼6,dZC)Mb E~hw,@.WnP/nipo*-$ꦍkhTX[GE KR;[QDwp\1W%[1Oj{e͐_䊍h?%.p={g붰n 叏Zg(fIR_E*;ώ./r"ws>{703:{T _cO\?Vʙ=*n[027"%AR=F JeP+r67&] 3AGĜh^fL +#Vԩ$(cp#㷴1̈r)[KN G, ]yw5z)Ro4(u P;Y(6Yeć%OE0iȕ18^l kJzaAM`^{;B=QfM]=`qjgK?qٶ!K 6R3U-ʧW)Rw' */+rYⶦIIcqUF$(1Չr6?W!|XdD^o1L2 t.C&C0sX:tѣo^XW !2'}fZ<ۃ<=w=)Di)_zpfMF'L"kh 'Ʈ-kX>ԧQ@AMI8O=+ԓZ*F++UD^Fmm `z!3#_B똎jn"; CvI8Dߔâ}؅wЩ g!afY\~ /D-V%/aUxV.7o|c OscQ?OC~~TflVeMf%JPh"bbc{0 5D뙨p- [ -Ϲ|]!l R{Q1rrG*5'IΙ 4JnnW_W$޳isK_7C͎,-{v=j,r感W ̊/񮍾ċׇ,wx09 /~%Eh k Nxik.^_>оlOe-}嬪I4.|47+jXu12 ${}vIAvȣ5C"\~m]=m ,3\ٟKŌNw'dr&!9^^)κyZ b][U2o"ټ85SE,Ttؙi QW #%"] l(F/;VxҺLW]ܿ2`ǎc(M%;dYn53"KZ-w̧{SA^*5m◮ ẕ'÷N-&Y_qζ ?ɥ, (T~JMCɗ}r0r7zmNF?n.yxM+:o^^xNT+0^Ld/+TgPԘ;؂>'KJ.b~}҉Z[B^f% ڪ27s^ds18S:VVᐨxf̔)=#ϙዐq^ #6dۧfwa4^tb 8ԗgz#Q$**FƍNSrh̲ZC<[r>SHv6ln(ٓ?h_; VNw7뚀g'dgi^#ݕEz!?45?L+ )^Icw3ض<4bc#tԒe}(9F|@zVVm0?빓َY}K[ph7o/iԯ@clEU2OsHeY8 d(W( &'ԑŏ~}]a-q0P=nW8gp7f~UFc,qz2[׻$1Ӡ*-. Z#żDKAMOr\b$RfbO&q,}ѫ8$߃aVg Ȱ8Ύ[ݏO5?b%@@ENMK-iaJ֝jJa*e:Ug(҄"MTv|z{[Y6(q("׿EŽ~ 7ξLó 4Ҙ}jhI|yI[ð,賐l+V !<dp=bs f {詃/p,GԇnQHY#d5th޻LqNpCc$>`|&t\eX?)gGƃeR\pfR">8w Bh_!;Ncqe)8VdnnogiɊ%D ޚXϘ[_/~RD'gvrTvAdf4?vKdVM,-:TjbPI֟/"-G\,iTƍeM#gs.œ)?OӜ"Q>`oLuϒCLMpWJ#4YkyR<$,vՄ,㴗R}A?1մ L`Ĭoi2`ats?l~$">#v@Qݰr?:gxjY{ϴ!k/z/Uu6w9r sΜ#,›`*Cg?2)bIڥ"8s"n[Bt|[)F_'iĐM2[!h ?w /udN<9Ǯq[J]ԎgۣM`5Nv>{ȧ@ 1& +qh-Q*O P:"Nx4(ֽeX^%Hdex>&0p͸rJƛ.`gTq00%xoryq[cADw?)6⨊ #^ `y&<f`²Q,N@Bv&t!noO$\x96 Cb0ZWD`:>4s_w27#,l֢>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α#.{rpt**^wJwI.O\r )Yl23^ޓ@Y `Z/KLׂx)*@z?1aqt#VA' r!2Gܗ0\\6bUwU_8{SCpP"Puy>tѡqbDG5gǨ:(ڧw˅pЫ~j9>axi֨{V6&'J65_Cg?'6aKRh{K%.p7^lmEZ>d4b[g(9u =Piq!^. c0C 6UM ʣ٭_;{+?^G-ϓ89…8T`< '[P'>3K8lktwums_=i5Pqp%b1):rMcEۗPљ9q!'΍!YJ+/zPӝO)Qw\cܘX D& M^6qW>G+шV#=eL')DVBJ"(~IO\4u5Y/{ gr*rq]~x&}d5[៶(1p9.diT0׌F'=l.UY:sk$'d"LB֬uPJhg`>9J* -}kݢgL-Zc3wb8p'g[γ%H>RJ+\,/{ǿQĆ+*]jHٻͺߑس1zZQdSbv~S)!:@L+z6quxFDLߩv(2KOtՅݮA~-Y8#ͺpޏaa9?_I0v$mF]wQH_NlM/ {}٬J`eҮ F~ i\B F" s9 5z~ӌq](ԏgW`Y0OIzS\c盃peb~!=:%{#;FT)@Nm"" iqBBGf[4Zh׍S|'ߪPS 駢tTG6S^*(xOTd/qIf:"*{3EgŨeqNq!0TRq*  @k tɶ!?Z L\@bLwJ\I юzouݳ1? O `tPpƮիp]+ ]W ]ax*cMN<կI_HH+~5d 2Ru~'+:זd% +$ ~u(&gK2*yQz>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>\s/@x9> *Uzp6gi'Qj18优nP*iOz[twsbӂ3U (tWz9H:V610QN):Nmx.?W2':!P6g qNlOqB-h2=NʖSD' 4<;4ij/^IgRBrcDNqm;oS.I Njꑦ v$pRucO0jA3#J<sv >rsAEVC'Y_2<1U\@U.qRnlA^3N*Ւ4nt?%wKחl) |xa61>G6X_4؄qsW7+'*$J ArN3:ޣ1Ԣq\ ;{tn VJLhM7,1}X&fTvPɄ6J ^F9 yǟ8FTX:n+b%QTT\MRJS;t2r]:M a'b734/_"]^Z7 Sr /V^ MC 9 8py5 G)x<#'W7xzAMAI'뗞'Vd׵:®2;KWHSxPcfbKjKgZ啞2[6=@`!(>\yTie>m:4171lQ-bؑM^ \/W^,Uö5{cٰ&Z#zkhu INJyY_̈ϻ1pJ^Xi57zzkjB!YdܦFUbE-2ęRhj#'C8yTR']Af2Zv:TP"h,!P;p2>>(a>cp'ICΝ}>&זQ v5az*ѽ ~ZbƃcVo/>dh[> BhiҴZtЅv+ʻ 9<Ŀ[d` u:o[Եg5{yxQ̟Q6ުS6/Xx*j:,-h T6rƢ.#l=zǁXɱ򽎉:m~ep`C[5H$!(5[;}x9RHٶYJ :<䔖_amEijM \ȩnU n.kW\.j;P ~P. Z~:H#}FvMqHwo=Bn 8皹A@ s1 GFCgYZ  N > Nh'3% tCAVA_AutomataCAVA_Automata.Lassodocument.tex7zXZִF! S q]A-MՋhvG"uIBm5,n­l|r*jH e3f 7Q9U4Z}n+.ԭTr5y4j3XX ëa;Tr9嚂h a?muHtSRBl'ߌRƪl|[e-zEK+&촔0/ʈ2)t)zۓHgS_)̋Tn翾qВ'Ă5I_;c7yK!$zE@D;2"zUTV aCw\귾M! `eeo`E!4>bCt#GAtE :nEh.s حӿJ7 3'A% |CAVA_AutomataCAVA_Automata.Digraph_Impldocument.tex7zXZִF! o#6]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 5DY{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 DMyah,2gӆ)wПWoYjֿm!yH۠2,Ly-!7cqoDDΑ"ĊG@ur2B-Z\^WDY=ܥN(~{sOH+]QkGP"Y}7 y)[ JUݸ{z054dQ&Le0WIGu|@rU'JBrGaJ\h)B)欀1ܦW, 8Ż;5yd/8pxT 7ӟh$W:fCjUy3:'&,؇u$pD[Li711rvOgp)"3Eӫ3 9-+J /SM^X7".7% ZT1 qX/O*WbI*e \}Bb8 q/$k'mDʶ`T?UYӦ(QjBbc|AƾsEX2Vv#(=*QD#~E*%<9: LS 9̟rӮ*E8_K\UyHƖ,ļ u|k=X|ʼnYaZeه$I'b=.b@foH79PK@OFRZ;B{F˷ Jug[a%h>C#iu~oP$F2Os˗rj9)ge,Hseh+eWG4h=Msjk>J zlt: C:SP)ߐ{Q}Z]m1H)A lMXLC[5hai`d!A=%YO$2hSz S M* EYLߣ;)廇CBj\E)e)JIes|oeė(U,ԡDBM[ Y]XA*'agzy%OAb[M@$eq! bjqoQX[ F9~D\]Rv"' |4xט`xcȝ|L"yV$,49j&u!/u燜x^Pgn٭7u7Fp–}O)Z2RA\VWR$XY'+kZPZPNX轴wՙ?O'M$XT1Y> 7@?gNTBM{Rݍ [J9<u_<'WUm:tc+ʾ0U|TeUF.]_}ygkJӦ!Ȉ1G XŪ3ڝ]ff Gʮ(;$zW"P_7MkO>ˉA)'>$Vt ~l͠Y# [` Rmr33B(1 ;q& 'v?xh~Cڂ;@fL}&Fѧ++Q3[N_T꘾FJC =1_8n6=دI: b©e0/ʌWbխ&3g/}ڇܥi Rcz?Vw&X pkNkEë`vk#i#ܦt) #wN/"K$hXHY Up4tdO-TyCC'D-yFiU! 3 Vxx^ n#h3{jѮ >1\Юvݠݼ@!WhYÑ(w%`9ޜMق#8T_j&l`Sϫg;%SqV.4cU`04` 糩8+)Bdm^T4C5d#8!$V'3pK8/tÏ v:k{Pʗ-><#P@lX I&_93t*nJӌ`{aƔe6O;jBO23Hk^{yA7Be,U:Th;V9f0!QN7aȰޝT;#csT*+uN7Dm-Ms+ZdA#<9}:u".rY KnL 1C@v 38o^)1G@?y˲njD©?C&%1C?z^>/{8%b`--ߟ`]^qR$Z*oT;Qf/+<<4iw?Rߙp{NފґZWw~ VYiK H._Á\5E^I ri 'KY_6VOLY_+%@p!Μlğ#eᥰa[pH=M}Kw5YEs\@z^s|f]; d\ AuH{Sy&OgLŹ(V߁[g/ق: _WRAHp fcR\R}tG҈k[F-qR0\?AkL}zB]km!wMZ.V[ c%1XwG_.OI i Vb,C<]^WLa+/5Ű["6@yC_@dyƳ7F#caWOK[ bBt Şb5Ů-+*Gmux; ?k/Q YDH O#G{m!]aM (zHtdQЃٿe֌+S&UI/+YG8ۨo-ǫ#5UZ'rI6Bڍ3g}Ug6o1bL^aMD\9k-N%OfڏD],N{JKauSțVyC~ M"{a8 ܱ P0p?z (\i/-:db̯*;U9.sS lN~ׁOj81B(g_<*}k,=l ՍE\ ]f7Y¾@/b+?!n1}[w\НR7: `#:LN3DDiX E-3 EjVX>R1Y'Vn>Ϙ? *u{WQJCP%/BXTH޿ O*jsxv|! Cs :' FWumFiocgKLڬn~Z3;mc >-6@AiƃkU i8G"7^oн|o*71q@a٠#sElMbs6*5YKF L{ /mf)b SơY?۬ +`Эv7߸KNͼ4` ,PHK9hK2q).-嬇;&܌5r^t{EꋾLwvW `ُPcHu #r &9!ҩ$DŽ0򎕱^Sp[v<^4|.DUx'VIRꜲ;k,Z%M 8r]v[VuZQm%׈Fƚo]+Oz>_趩xt]Tyz &(]!*XB_S'$faQ`*t )k`LbhaZ汸g<7Db?Pr_~t56vtZ#fȲ|Z5a. 6?8<3qɸԗƞ0FKH!lj/( v~_c?migYZ$ 1 WggI1z*sJߋEG1H݇Fwsb]Atk̂+T A˹H.ͪ\R;*LUGWb,J<ӰC4-MBvݸycnfr̍"Ăbi1M$Sm^G8Cw!V b'D(%*T5;̈?+9ʡuL$F{ 掠Y|(qYB][:,@mKƆtzV(/,^Ȝtk .+~DC~[ΧAWTV5f8$p%P;>hBOQQcfe֔|[8 +|`pQVR+.6D7'G ~` J9Un}3xt)K#Ǽi94!ܯ]X`{߅=^P 0`k.->yoT{x|xV)yզo~{ 7;gpR2+S-Ehغ|E>c>SBlě<Q&4R]L/Bh']9@2 8Ys0vTBZ*.>DX !F~dSw[4[)4D6a`[,(@ 1 r_i!c=fT;Lپ5U'Y3]vϪpOrNQecnxf r&}q.* +1SPw^c-Z N > ,:+Lתb0ډѶ2h>*RWNgM(J1`iKg<KY@[-= w<=z6;3Ta^@qT_+lIltb^<,k;rQJD=!w @9L瞰oܯ*<Ú`Qf B>!gbb CW2#C ab YXq8;N{BHssSɈ_rEldSE+lZ6wx>h{^urE'Ѣq);|""cA20p,;^-߻;V)X}&n0%w:رzV4 4Gv㴂*îo㽭y3<DŽ+L A(,mor$Jk?3y$ſYZ >(a櫙Hdc@˙@Pb{k@sS ##O#G-(RVwS& P8~Ŧ!QB, gCۣy؛ɷ&=`ti)''w8@>Af_ 6CYKv)*j{(H= #2`aQ ؖN/10kpH/tv9p9 %F~FV f׌;T5+x1y]ؔVf{|\Ǣ8^ʓ1u|dO}o=a$'NjZFf2pHxB ݒ^o4nQH†a6e3-PAĖbxҔ[y`' ̭,:83̷ͫJq_3cdji,.i H*@_597.Nh9a]qqM'$wճtd-[|pK߫ oʍ?+R!.+>3NφVfM{O3W8AiF\`VkhU=^ b"6|&X nĮ-n"R#_'s/ B[wKSw0RtlX.EdfW$8Bv"K2x.%ê )$EE:rgiW]X$h_ǻ>8oD"Ice@ Cczxt: s R7p[sb*\\W@Tm#gC/ eԍZ @`8<,=TIkSvzZ10LKm̬ta*hBfq0˩ҥn }M7堵xV, VjLtCNhdFT+V6^Πrb\?,Sš.Q9RA^pzƄN(1dR9ASsi,( !,2=sxoMd@YVfԆ!˜.IL9Poo gSJH7J?k*^6Axި}?-~-!H<9W PU24]lm$R"-6&sS,c57yQ;c!{8:>; WYޙ 6V@UY8d+@s߭되l/P_˙Y }Wi/N]>feV˖( J'ulH4rXwcA+N P+[K< lHpfH!80DS̡1c>.[O( 涔#.yH#? 8Z{yPf9lqZht$Kz#eVtyZqG_oY+oŨ8o#Wf)3z jt; 457^Ћ}X3x1vedn(Ґg!(O~C>Pe K7?4e/?R{4jn>u~Qsg5#K_Q'Є,'$&8%N7P찝\@)kv@;!4U&igoR hEcØ?L뱋UB'/ON~$y.+|PAj`H}Ԑjqӌ&ݒXʼnC !D>E6 WJdm/n1/1 V ?|.}}l宅L&x>N(8="uUj[8w<1&yFi؃ ә 2l7Ҁe~N[mm[%>MQ?@n!mium'`_oKCHІ|j- Hag9b .`3g@K\J /c'=C8`N xERg's;  g0A"J|R&[A$Sz>#:׷R S@PE"FCl#b -.U]#(IiD[[iV|tW}Ty5\f3&e::JH&a%!_RU` -P%䥫viHZ&lvjsfi8?;} fz'\ojY?HwUs1VRc捦 M%IGroAPRCз9ʿ}d0T͔ ! uۍ(``uH?f dWcLgt"IգqmNň)DNx9\=*.|QB _uQڮcSWn|1T5V=ʮǕ„,wT/=eD-㾒'h}ڮ}p-Қc750. YsF9k%]X: `f0VH\4-n}^#:υП4t(o~n:J8S'WQ T+U"n'݃q$1\K]jo|/IV;jrm#އ¦P$r?`}±T.n-\lGS, [rKHEv 4rO29 lOz*S3f ʹ $Y MY.ng ?E`rf;ʽ"o {!Welݥfsu52+h/Y) Og+{&&Ǭ㝫%QP-Xm뱻EW՗e?V TߨiE T "f%`+hy O*j ZP ~&G71z[E7sR" ʢAc3$$GgʏHm=uƪ,x/*?]+'2 IJڰVkJS ';  (а^W7ęK1~f ]ԋ}K횺9_ 5,inN !O/ܜi TOGӗ,B*$*NQzO\[g{xxq5c*]o4VǢjaƗ!TjlNTfC/aQ \ށd8 ބt?ɚVuJڸ~J^Kݡa^;uO%^?K\Ie_55/Fb-᭾UcԃlG0~tcZ#Y ؘ>&%v͋M,lѯ_sTI_L]5 1!ըx3vq<eִ@@yʻjlOۤ<7`=QeŤ+%DE/dBf K˅ AQ>JF@  DN կ4x lnj8kyUO}U?jWY:\i;AYs RR85FӬh4HRuJt-sq-j\:8oXk "L)+2kӀҙc| g;i̱.m$DZл>`"'yhbv?C*׌8,x Ğ;G@ixؔ`0#MZڽze?C.WoCBaX}wI EheLi;t2/ª+F؇ jl:F}52zaw -[/+T9~PTΕR`*7>@Ey x'/{zljw#SV5XtZY#/&췎j.dao[DMmP ꔙzYL3<4aӞֵkxW ^H!;ifG ޶]Tkg%T)@B|6meL7 ,rȽ礦gBTA[`U29 #Q/V[1'Cb~"(϶57) A'E 8F"XT"t7A񂊴a|Zkl@1i^qS|d2_$(8v{ Wxgag c{1PҳmHj(k)qC(r`cEMI2R%U?;u4]ILq)]vp#\_j^K66I]+Uc&sX'"_k~?t+F*zpK mg**UMfdK9ؿDlE xVGTZ-:ޏ#B y؀B7q3gB~J0BGy}!CڳӠWxc [6n}˩  Rj MhSZnvǩ)tds٘Kn*=3S!_ jP-{$)mm燛}:VL!|S&c:{@u xx(yd3kJIp<6(zgMAF&z&Lfo6vpe|V6.a,qSچg]ل9}824ee.ْ>=&. y7s 8CCDx Hy׭m(򲺋X)T!~u"|#9p,[bhqz{|wKUf(T7nPեԡ>s?2otژE[5](U 1Pφ8A3G!ej.@^n]K%D klޙ -tR/T~<ImTUh|7ej㱞EmΟvewרIݏcqb'a|_g:fzaLrn?fJ {yAI;iNakCFB(0cp!L6f41ZљV>|s+TH%aF RШ6`΃@!QJ:ea Bp@6Sŕ8H(bP4:=[*E35.ZӶE~PÐyͱh8C [\7WS$v*矕F! Ҙ`A¾ʛ 9>Rc^mL$P Hu~A>`3O`S+*U6_A gYZ ,'C% lCAVA_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~HPq#i=Ud-'h=8oTĥf]kwÔV*IRQa^A MhR}w8+˂#) ?tS!B4w߁0<^+# N!p3هx9E'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Ǽ@֘VZ(U ,H|RiZ>ċՠi G/ce sX/ߴQ\DG{贤c%t|,'B/iʪOr(t'9{""̴ *YFݎx,@-Ecl G_{x!Tux!źF KLŵ`mKsEh@B)gX܉g74ad?O _gSb'rrʫqYs y-ԶAFPUo]H98mB:$NP9Jhku.%a}UȆI!`>$xLG\M ~ۖk=X6>j1u#6>M7-5 =9[]$'F(({/ɲpg])l۪DA6Ix?.7s5Ps1j(2%)P (550\c(odX:VZo7!̃q+?sk6BdevWutz A+''[0Dݴx,2Rcv7f;+I_8{ࢇ.%ތx^; øwfh BU b]88 u|LoWE](w("]ۺG&j(x9`pr+ kWa{tC-H~ZX&l첋ܺLeYdmr%~5wӃ̂ bw'NBAnb5QY$[vQI@R؃'ƱYGC2[B\'FMVk8] mRSkx0t2ZU`eW}΂3\L`pjL#*Z[_尤:7m=sF#dDźsQ8S@)7t&"#9&?7W Uh}]Q֙uҷ44HE]3$DH>*߉p9_XAϑ}#2kd}CyUZ'-Aʾޓc#7|NEu6YԟK6FH2n;O;p0tXbccb[ !j-Zو8 jqD.&CyLx6by) w&7.#z#m'aн}D #ׂڡ_E τvJ46rHd/7%I`X5}2Ŧp&€>WxUkJ쪬XO!<1\)y#NNi | eֲaz[ $VA|<+4|B+)ʵQ x|,] 3:P1s9%'X>Ar`{kQ޴\ Ht2Wiʏݦ]x'ЌŕNHXqeF|aƖffJ qAwb973><$V/}a|a$.A[|1ft13|C(1kƌRSUK׊H1M&:T+.C%< q\>E50@6DN,m Iw"?c#u=<)zc# 4h$!dҍtG!4{!nŪ"lNo <+̉3fgYZ  8'=% CAVA_AutomataCAVA_Automata.Simulationdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤPC,9/x{")0U['c,f ŗ;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`_Na՛?e 6e%YpDi1"d* Xi'$R7Ў鞙e1@P 9uO>E) W Іpe>&Q = zrth)ĉQX]~V p}-./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܋JϤ>:sY7nq0P?Va5aZL:OJ.F'z]:$g Ji'Ēq~jtӬv鉾ʳ&0 -It.U\=yB</'._ ll'bpAsd8_]_kW7,os*_"pƿVFocY`!Whi B9=( ]poy'>v UN[Xvs3q7m;b[{@cC>yMv#Ď9όǔKv  =_VSq@QYk~Ԕo1yB w#׽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;<#~Q#kHT-U.jy(B˃HK0T8 ‘_ODSQ?<{4>sgijcM B0hHh(z'p"h3#¡ ٻΑȷtlw(;Fb}'hÙtFfm&.S]Vw |6>(]X'shn^'HO\"}X#84^yWu'y(Ș?ja"*,A|x&/nWUJwpNWr#j\Sv/GCj5T:?O1n|`ybhTC1TLOhs;w޴뜑m}eś:;^m_!~2e䤯:uT V3 4X*; %e@!1aZ5x^,{μy'M{cK)2tFbN~X+9֍uLW_=Tݚf׈(P[S֚`hT3B). ˆ !59!qVTч>e"{o7F!׆}ެq۝znƆrWsEg0.>HK 2 K&JFe,yoؾzaZ}]MBLS ՝qԶJR(m^'ZLY,I)&nv}u-TيNv4eqNqgY3z[Ě 7'zCO^avkC}u?&z>Q kpLu z|^DǽI`oȭ6 fN:W4C]*?zO$ײ.+` xp?w8ޯo+꘰_|:B7}v y]|q`!<+>@iq&d N\|Adwl `F[ztRhNBr,qז2tb\&L TfWiDl+ԵFPMXzr.ɴmqӝA]7')59z.ov _ρbGr9| sjn' cn#}oiJ;7qFb0 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 ;|*}铥(C(fTluAb v^ƿ^oAŒ+W=8U9~K֩k =;tlY&.c8M8S_$O˜SV~*aqhu 0&VNNf*(E yb<>JZU֔3vCL)Gv틾F o Ɲ~yϋby -ݵj3%$TBPUr>oegZmfa.C]6gnpuМ`!H~TKզ;eE-M1Kb-7:˚LZ,/"q.Oό !$~\!Ѐ\Z}""M%!'B]Hr*먫\~1&%`eNN3t(!glwN!m]ؾѷ9gYZP f`aB2U V5Xqmɡ0Ɲ0d|csS E򰭼{SG-aʱh/,ꁜ>. vܝl=.}"? wHYGA]D2:.snNlL4h YX,E)!O8pzuC+٬#8vZn3,3 Wya)=} YZ#59+7;gn&`?r Z#ÅM7k#VVB^q"R#' k?m!ډڱ#?edG\ >WOQs>U7KcS,G\PӲ\{_Z/ 25ũԗ}Ld )adnlr> sW@%5=R*/^u0+N>6{,_Y8G#/YkcيJߪNtVw6/y=B4mb%^y$RUq#hKQyק6FlxqTvN|r `l+9r97"S\IJ6;}W+Zk:BJƆM~..CQ87~EBj<[nznҍN;(Ю@kzU-po޴9mєU1M?}Y!t/LM ɽXN C3wDEW-񚸦v5U[ACPI7.g;Np{àqRBS~M]2$Z;y~h\Qk=IrBf3|u)vȗX O@z!Ӱn`珶U$kP?x5BN $7a#}lɱ]i;bٵ P?JU$Duኂ"S-WpzC G%A#nkC׬~Bӳk%}Qco#CwZ\Vm2A]?O9y{< ش*E>JZ5 (]^uBi~bzf&Ǔ{c(j}I5Hl2qg^:;tdc2oqпݮ$kXI01Пl'CJHNC_Yo8%dgˈ:aF)Sȟ>53pb(NsIx^H} D`Vؗ,4M Jo+!|:㼥·D\oE 1Ss=-=ΙmzB4uO2 s#X#;7xB拙ѐCqoUU4Lgo< Z )1hĂh?jpxIQڋJi7*B>Ly;s2G_csq59x5nɞ$q,X;~&ZJ+=׹:d>ݿǷ=NTH) 0HUKEij,d)l cn5?7TI&Ȏ0~&_adp[j݇f >;ea⯺<mAO kU ?>=zGP(1[dc%ؚX5&{3RpwbE]"z&6, LD&dznN%I!̉̂9=9܆nh/N$,]jx6?]_$h'NE;]>6 {1KgԶBi[G+T@קwgqSBr@H(T?ir@E*8jPt͖Rkx2G]oaMTA^4ikpN"ߣnex-,6+#VC\(?9nf=lkxF˥ PVl|ˏ'+ u%f/]'W%+[/wwTHk͉ #cE9 ',͍ÀU~eyHl+<3lL1G@:sLF_'(Sw\Fj˗6XVR^†o!J>u=<>U==æ|!~+ҿ3 y`ߦ6kMw2$@(V! Lp_u4|b!f=̶<=GTvST@y wqe9'L7\ȦDCN#l[i򮔙⮴2:_g4I%6+U8Z ġ~RG-٣vl|wA/#58%C9ѽLk-~D$Cl(FFqZ_]7S֘;k؞"qEp>g̖juGJ 0˩˥䷼Ņic.z酆 8*[B^?!0El^C}Ҡ,&AB1@8o1Slq(:]sx е =$$7^$ o@F\԰ ɲN\ IYF#5ԁ01鉃 ֬1trYЉ#^U̟dF]m;0~ 21F ƙUh^~#pr$]I(`yu>ꍒ @M%ey\pd04f&_ k%ip~y1D`TqUr\@p)}f MO[ӧ/`U}$ڼ[#j\<S?E'l6b) h!\56 38`D`cLR1HycySKNZ棍 gf c#]ȣxVbXV ʩ!tK|Ht#a'̳'FEj]24RDDBb|Q7QNQ\I͔6xSQ:&@@:\lȺC< m` 蓂VQL q7նy c`{al}:0&ѕx#[iC@7 l -n;R%SE ,.֣f3ݜm,ݗb6D1#Y,tenwryO1Ent0sP$ _#K6cgYZee89da38290e6f38dcf3dbe44457b8c5e8104bb40a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e c03a92cfd6ca9fb21663f478e2c8000b52f59ca02696452cada01f925f9cb503351bdeb28a5a4bab