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 h' ,D ] Myhill-Nerode:threads=2elapsed=37.312cpu=58.976gc=2.580factor=1.587zXZִF! |]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫy!2Ń[Y` !SM$6ȯ҂6>n?Y!ѮyaR'WLӣ2E54+ЙZQ *vFf3? =ƥ*y|\S3)Xh |>ͨq ]PAw@[t#%ֺs_uS\*K6:Ҁ 3gioeQ)+Sܲxf')Ϯ6:x[uD-^W\B؟]Ss̒Z}>׃đ..YS/q!(sﹲ;;쾉2& ' Myhill-Nerode%'U% Myhill-NerodeOpen_Induction.Restricted_Predicatesdocument.tex7zXZִF! "7&]A-MՋhvG"uIBm5z'?SYUYOWS>*uxwC41ObycjBGg&If%,7b#"q nS0حśrW3 }5[RpuĔOTh/0u?x$R dLtO/Tt6oESt` S?-EIS,YJUi**Kr†J2^m+.]UD.3t+x^t9 ߏ" ^g5#ߪի#Aa/YMy` &nREV<B Ñ{g׼.Qwd<7% c9U (g1Qrη-sjxفA4->Oo!8$ap7/;ԭjd^hFC*Zcp麶vT1ƨg4\خԑD:V-/oE&!. eCH z l)nԺOuMwh_jU "bm=:s]lw:FyrC9BssQWj8Ȭј`dw\CV`3aQѨ $E5qUh5~Gڑ9ܛ 4tR`O@m#+Jx;^<􃋤J/VT)b!Ɠ1 fl G F1ё=NsDHq-+ˎ,*5OUl(y+ƴnWiD}ңe`n#V7qTW}y"by0if!- ޔwBrr%8&LJd_q./ @HyW$U;E}A0_mQ(=)۾̟a5Kh _^ERRiߪ{aA~1ژ>opwq&; E2g~f}GF}Rrq QoW렆m=:񷒳FL8D:G+Kh @.^DZ^d@`{ڜ%djVi!tXd=lNq$#"!         n m |  J' 0 @ t *2'3%Myhill-NerodeMyhill-Nerode.Foldsdocument.texC'U%Myhill-NerodeRegular-Sets.Relation_Interpretationdocument.tex3'5%Myhill-NerodeMyhill-Nerode.Myhilldocument.tex;'E%Myhill-NerodeWell_Quasi_Orders.Least_Enumdocument.tex9'A%Myhill-NerodeRegular-Sets.Regexp_Methoddocument.tex7'=%Myhill-NerodeRegular-Sets.NDerivativedocument.texA'Q%Myhill-NerodeWell_Quasi_Orders.Minimal_Elementsdocument.texC'U%Myhill-NerodeWell_Quasi_Orders.Infinite_Sequencesdocument.texF'[%Myhill-NerodeWell_Quasi_Orders.Minimal_Bad_Sequencesdocument.tex7'=%Myhill-NerodeRegular-Sets.Regular_Expdocument.tex6';%Myhill-NerodeMyhill-Nerode.Closures2document.tex B'S%Myhill-NerodeWell_Quasi_Orders.Well_Quasi_Ordersdocument.tex @'O%Myhill-NerodeRegular-Sets.Equivalence_Checkingdocument.tex 5'9%Myhill-NerodeMyhill-Nerode.Closuresdocument.tex B'S%Myhill-NerodeMyhill-Nerode.Non_Regular_Languagesdocument.tex F'[%Myhill-NerodeWell_Quasi_Orders.Almost_Full_Relationsdocument.tex7'=%Myhill-NerodeRegular-Sets.Derivativesdocument.tex7'=%Myhill-NerodeRegular-Sets.Regular_Setdocument.tex5'9%Myhill-NerodeMyhill-Nerode.Myhill_2document.tex5'9%Myhill-NerodeAbstract-Rewriting.Seqdocument.tex<'G%Myhill-NerodeWell_Quasi_Orders.Almost_Fulldocument.tex5'9%Myhill-NerodeMyhill-Nerode.Myhill_1document.texB'U% Myhill-NerodeOpen_Induction.Restricted_Predicatesdocument.tex @.jנ@XDIu/\7Qȕ:׎ t裇a# #P"Ȳk8s.y?XVE4DWR(Q`1W!ޘʴu<޸7@)w`)nQF%3I|=X;?qT%Jj0,PuNT~V3d鬊Ws*m"wۗ33t}?L]ediѥ|qdo1kx֪{Sdb9R]Zroku.\NG.\T{nZ8++p~3'V^Mh[;֘+GΊҟե>;-!xA2o)V $uib z~|%0]Ih1 /ek; xCz0({q^PK(Y8$P9*4~Khu7TAجRvAk`|@ZV\oc(:֕5][%!H`ܚC΋™v&jS"9b'ۼ 3rS`֨$v).خku _ tz =?3]Q/&yUEmUCjU-T;x5bC%W? g㌪bxhʘ8',6oL=ZrxdSEޭDJ!*j3Qv՟Ku| !)W/Xlx]oh~=Yr6  9Sz8ԏܟ|% 0ߪ 1MQ}140{?T{˝VDi>ф?9f^ l_V̪jk%[:0yl}c2~%ͧ~'{HCZeohBZf䅖k?WҊ% b"nj:c -Ek63:SAĕ8-[_* ,<[ǎ 68Tıoyٲ^6yTzmmaR[ ޣ){%0AӅOK"eWdi{%IیTM3ښ٬1y`i9"ԨYtaa`nIjwU72Շ(K3R-MEcE7mͳ0::Ԍ$Bz iյ} z \b*qb! @ =͌"Ha8#u< ,2~(2 Oi:U{? Spah1J/1װ7g&m8ZM2iy+EC:` mMHA?ax"\1$m4aǂ,D VCI 9!8F~ؖHނ𠳹CzOyy#$G@Ia&wU/] u:ӔnK%j:ܲ"SvBDdYCPl#bb U,k{alX$[)m}F!onSЭsMYBPhMM~|x̶ kW/ݺ<~ForROvc2mxL@_wa#MMiC;Y7!a`8#طP9OW`(RӐdǟBAT6^PK5Զ^\|xLٙ.L'Ҋla BmaHp.=n82a2-׵+I1&aV8-P<1ocoL{ YkZ{wիQn2PG:_ !$k>*_ts4DO1 |J dPXMQ9W(Q- PX6cfk txbF"2ϗk %Ɓ]նh@wjoe|WnK(㻪DIv iKN^٩ݱ?gn֩@d(8Qj7zH"gW]]}C_Zsr~j%t]Q:X4 1ܣB?r\]"Zi/y o[-vл^ռ`$H11]kBpPV$pItF]YBAJ2`H`Du钹ib]"{P2֋WÞw9d4T%s;q*iorZ5Icj̗o\*FS & ' td6u.cvaJ>-[ӦnHc9ڸf R'i: h9*"gjQg|kT^~WK>֧JA4Tru]O`O ݱ(M[1VCU4E4q95-+(aAXl,9ˬVK 02_po=p{mzKɒ> hdͿ՛NrZR_DCǶi"5kw%QS ߛlpǦf~xh$N.9FmΠ3pp9:%ab6P0E`O~:}!n_Fnl~۷iN[c {<!듔nMsyI h2T"._Α1W}-[?yEwc(ŪHtxr4lgI_۶^W J55W -v0.ZݏVU8M|Ӫ}ä,z1可1 76#!$tE(td n,>*>0?W~YoCuI)zRKR<_ ֋Uɜ 9ۼP?FVg\&3ܪy|LZVɠVLpۘwXDR k gz[yu] d K%rٲǢvzTjp 5_T9S"+^(|֯G4 cfդzԫ(?ȭFs!Һ-j\K?2rMeVMk}/ wѦZr^ f21cQv"JBچy2Τ8EfVɟI ՂUvG8M[|$9 `/2729.Kcl+K1W3m?,E¡aӲ}]s= a\=j+5~M4-˂{U{KDab]%J1KZ^%Æ&,&L{ o4' E5L,jp$rЉy!.}=`eҳ3j;l,[F9D'H-$}sg(2lk.fv($zS,OcNEܨ"0e/=Ect̂(rsPah5EsOz%\A!$\v] UCuI@do)EAmg+S_ 7 =WzEי[!mv/2RPIgf,m( JwZ |u*$IG!/w3 %xiid*h%xGld4 pc=*WwL[(>E A~Jf~[GIuCSGF3= =&u7/ ۯzpmi1'V&2!Y o0GNtыo ǖ f/t4V $U_4Z{Y(<}yt bl,VyЮI)8%CE r\<5 !)XTrș'aLxѼJ. 4""QKZ6.s'$n@[M5 Akr\`߈2ARIa2/$}m#>F^hx ồGsIsW -[I.)(/rL l9b+#C:q__<0*ɹvHh]R2tjM\rY@E1;eẎ u{G1;8#]fe Z-d|ꥭ)agpoʔmTQp#/ċbd#YQKGңw{Fl6/U5j[1-op=<$H5japv\A6'ᣠwFy`8딷p+nMOti^[m5h 5+MF5OK׵2p(A}v8onYq}x#mPZ8<u}JlL~0!휲/k{V'hnOnQWr9*ĵWFҾ^QLR`ނ('5I qәA7Rki'ek >S!w (Mx_j:k֒)@E/UFX.:smVJ3:k'.L},N# h^k4(!TyoBWqbЕ6zEudQC#fw%YfEF)':H܏$ygF9-d?'NV[m[(mc;6rs 8X[ BBh6h>y6݊C6ï`Lp, 'g}U'(#c;۲wBvJHW %F6%X:sh9:H =]7#Kz*){f<-S4^vuސ-ȕiVZ4[m/|-EL椞[u2%-d ,\UwQUDn,w[¦34@IwdZbX8Zq҈v,+~NfBe}BL 8kdOD!,L9#h'}(7}>O,֌yy/"7#+co>deQyEm4Qm%|Wז9u8ůR[ X.уyLKfjI\/6^3~0v=u.*o3hdRhYN %>3|b@7L)=_iw;-)ML+gYZ Djfn "I}0g=/:\vJ!~U㫫T}@[l*Rkm6I7xOCJ!6= L۝-$RAXȎb|5/¶6w /u 0%X u8*)(270Yg1L$Ħup> rlK#&h-M$RDJӈEwgcs!lQ5bkC5Sm>p;{B^;όN6l;f2O!ތM![|c}êhY4t 8N?Hٵ(Ižo-cXaDa%xj0ED CaiSlK38,54,Cnbw0Hb?p-URﰰ`+U}ɂ}S-37co`<yړLuWRs5rj$=9{5A7"RZ{Zj&^_R37 ǐ$_m_ "%D q™](|y`3߸oU]`!$'LքT6Ϩzf< ^Vz~%-m4A~)وkz㰢NQ:;șM2%8bIdi!^B (9\$ 7C~\Orcd![8f[ Izm]mST" @2??R?Zw`^viYtacx :̬.S\2$^+2G+ٜ pfU>NM`bH9!-,CPܛi(XpdJptT*(rx/Ńj0P4HH4JCLD}E&.JM6q@ƍ0[ҌFxo]~^G'71fI#FJ>BO=& Wm ̷޳Q*zy"bu}Z`6i{X-Qy"bĶU+3F -2H]ɔ7K 4 )'<nbqTs͛ɆGޚ2DN8\ ֊t^o$^RHh[AT&bŚ[j`HUQ>Nю [ĭI*_ZDjl]Bx #$דݕ3xZ.GӐبDkzY;h:YLׅ*\?B,7_'G)q [6/Ŝ X;֗GRhx;Yu rNlrC&kl}يK=YLq=TڡNO`M2uVby=FF3r" wq5@Jքxp؝2O6,.d()a-=uqB LPꧠ crv g\c-@Γ>7lBWz^$~Z-vLf1JtYW? jz EaDv{zIKd^H-pC4m #SW<0S7"+K15@ͿWu%b csI#i+RC0eTyJEAkm &CWrAro ɻbt薃|Q#.Ⱦr/H{ښ|#g a@կtq B$ĥ@#-/an,[')+"xZY%HÑ>g^O5%ifD)VV4=-@MRK^; =@a*U wI[U* $hhtjYt  {\$_$I@~u#V3!Ѷ UDsԊe ^ oz)gN6~btX4 mdp}:»H D;9eIвL*X.%)ck~I;h:A v=sfm"{xP#>O9tiB Hu7CbҼWַ*5muU8P ,!o'>)2ʹeZݧU }p4 `щY2ԑD %}ե ]3-k jAgE^({oSWM` cC+ɎaB-X?p`5A9I4xYbb  P` Õ|c*Mj <9)%yւfw;`\/k[Pj1ǡu>|NR C ."%{rFύV"M@w!{&dIdPaT\ "FgЌ*X6SrS3&%)g+3, ;pWOFgIUDL:wu8E5tUĻU*_ HIM<8o öm`aD6f @- 7zg#! ^rF?S )brnSg`)px1J]SaH.G9J-3U` dC߱ F~pJg{jFm~sjϪYk>U ֈEo &;~t"?IJw(?rСxI8S3.昴HJa g#8":jѦӽk.T8ʬie\gϳˋ͙i݅+f@D4 :%s\rn~j: BCulx)1'DAR& *e%z3<).;+%:),H(c(3-Vr},j%Jw"y;ech7z!^w*ARwvߏZtֹH\[=moΦֿ==٢ep =-?AN;b C j/3P K{tN̶Ɂݩή50|vtrf!*LTiԭ spN_aVשataE7Y]ܧ&*E@̞ Eh5WOIQ#FL{&Q$spY/CWi [;Rֈ_0(*N:% 䪳&g(m:<ɺ v E5ť逫Xshh9{KY W=ڦM;K? N"_vu!8gb)VʩN?ǻkt8Tp#D/%{Gb6߄4.HbVF-LB,>ЗCt'N*o; ]T<@ľCGk@>[P/zr%dMD&9-ig(>AK ʽf#: H|׌p8ٝIsի1Ѳhܞ:/׈ࠀey<tAF>&wW4(Owpk /0Nۈ:w (ُH!DV;!_si 4$!\̜/k`LxAsXHhjՎi BZ}5ٛlt VdM!XPZ7“6ީg"g…n?ThmRVб{!`[(8Eq\y-%H;P=/hkʳDE9a9 Nوd(Tŵ-Q@7Ҍ +uQV.d/PWyCf" Hб,c2]QPݝref|,V{t +sF.[XlXォnD(C~_1 M4;kS HA\j )A ft%5:dDB.9uDWq HqfG4A?XnKdre K0;Uf¼g~I!|=r 57~(tF\Goɴo/H7meW{x#h>f(U=98ӼMAM4&:i4._:ڇ5L}G8t:1>Նz4/FmQ{k&Qevg*2WKM.D aCs"0kϖ=W/$V8d-+`{"ַ{yRg}sQ(WX=gKSW&|x@8H=wi3YBƏdlW 0bƎa^YwQ:jXZ3 <ݲ=8'wTB "drZ?r;/~KT#ж}\NdViuQD/~ |1ZCl}瓙řdP…NZL측`.Cڴ pn3< 1a8}sk]))dmL&w F5vd(Krꘊ+T}9[&| v$XE@p| 9_ cLla<3V2fZʯ-*fx~ ewgݬ 1hi:z["`YMIrnCn2K.yq* ϋ]o1/n .뱕&Q%t!"'*{dfSx8a_fx_ty믆zHvˆlFyN/JW Kp ^j4dخKkc6SJ H!nE0@ΐB,m8>-0;}*g@(`B+y8.,=N0-qQu6(;V4]+s^E$AEdGRߒIpD+⳰]nd_r7u=@ .9gc&T΢j^O,Xx 3H w}MC] fjO~cW ynQ Ebb[|')**>3-B ~ YDw~\~~Kk֒tB+AĒ~U3=brSwsM O]:(g?cqk *poYݍF[">f"(oK4(v:(A"<#A ~9!"BY҈׌ ߸JXh}֦P1X9^ꥴTGiD\K) 1-؏bn6Vsژ5ҐeP¶@zRj(j^m?J3o|Zsi`  Fq Wq?~ISoRjNg:$'MIRb|9߫JɅHNnTSH?>.\ GjN#4 sfܘ߁:.L'7뜇UЌ +gYZ 'U% Myhill-NerodeOpen_Induction.Restricted_Predicatesdocument.tex7zXZִF! "7&]A-MՋhvG"uIBm5z'?SYUYOWS>*uxwC41ObycjBGg&If%,7b#"q nS0حśrW3 }5[RpuĔOTh/0u?x$R dLtO/Tt6oESt` S?-EIS,YJUi**Kr†J2^m+.]UD.3t+x^t9 ߏ" ^g5#ߪի#Aa/YMy` &nREV<B Ñ{g׼.Qwd<7% c9U (g1Qrη-sjxفA4->Oo!8$ap7/;ԭjd^hFC*Zcp麶vT1ƨg4\خԑD:V-/oE&!. eCH z l)nԺOuMwh_jU "bm=:s]lw:FyrC9BssQWj8Ȭј`dw\CV`3aQѨ $E5qUh5~Gڑ9ܛ 4tR`O@m#+Jx;^<􃋤J/VT)b!Ɠ1 fl G F1ё=NsDHq-+ˎ,*5OUl(y+ƴnWiD}ңe`n#V7qTW}y"by0if!- ޔwBrr%8&LJd_q./ @HyW$U;E}A0_mQ(=)۾̟a5Kh _^ERRiߪ{aA~1ژ>opwq&; E2g~f}GF}Rrq QoW렆m=:񷒳FL8D:G+Kh @.^DZ^d@`{ڜ%djVi!tXd=lNq3LGSC3@<US=1V#;:bk O^<:-i z K'9% 4Myhill-NerodeMyhill-Nerode.Myhill_1document.tex7zXZִF! <^*]A-MՋhvG"uIBm5v-qaDka4Ш:ӄ R<<%%ОGNkR<^o,"_S2e&鋐@:IA6L9miViǜMWQn& Cc'n1[t,ki5L5ݝI%hQt]ј)>ճs:|XNo?@iYUmB?]SaO*}LYQ$Tdg+P~/;f-K TO™CW8bIX7Iyzh U]O@Ȟfy%Pi)7As1^P;ʡէ`@#voi;4zz Vu؃6;8s_&*{ٽPV>_ `3u1KIg` kF* I ! v>uZ%U_i=lKZO (<*[;(~@-X!Fcc\LU#J\<(]6Ah} Dm`e70oqrw̓Y ~T;>|l XdN9c[Bܛi B?' nN $ 1Q,bPƞ;g'9]Y$Ęc&玜~U{GƁժQV@ѕ MU|,MH@B=hWҕ,>iOv0qcλ2m KV70igM P$^{Ӯl-&]|U|?9ޯU!2[/!Lע,x[M2%6 ]G y7(`:},VHO͆U Q}pp#52E{e/)R}%򐅎W˕o^)1Up3<P)̴2QΫ6riυ2me|@FiR%r~`Z>HY޻@aDzUS~լP_?81I?WdP,l3sV;I iS3?&([ۥ ȹTZ`ˡuҎ@1MNݙG6fY.br7/^"l /U!F)har-UH.uK84 p#!}Ӿi(0zM|h2q6CSIJLux61i߯[Q&GedD>e=Qs6 5_Fɀs[F?(ߟ|uVxz!"m^"hz}f0Aڼ5\uD :DZyDŽjWY{6vgY^/δa-[A/&9 R*<}]<<ף^G?1G;Fk\aX0#$eD+gوrfW2rZ~pVS Tf?|0y8iKVZ1ƴ0˲xkt(.! 2-J`kN?W'pzWf/<6Y^̀Ч52rS@Kwg歗Ԓ(l5N O"}K7$'ĕ̔g^٦tbtbП@y<@f2TRضU'lݍgاi-LD} XOqWn^r,62ro]hgyWGc l14`p_Jpg1TȽlI$H\kk/YWPcR}I14ךzN[Rt>ġgRhQ?Y.K' )7 1QzDMm:Y8Tc.3eCE6.;ח==ͼbwL+s̶vי*B ȠlijdN]%׍5o02`c̤`m3,+g}eʃj4vY‹:VԤ#B):y,}^< 1C\9֠x&R9m?"ZJ37ջ+8#+1S͎q{}#L2 cҎv!ƈʝ:@w%0P_ ~;;Ҩ_gEDAHO|05C`!òh3$RS Pѧ Ԕ kߣu!_ӵmŹS+yh5K步,Ќ7Qemŕ2"5+8.mɺZYTI;MK)\VpYFĬ$C3K~( kSo +*em}!J Q g^6MQ7H#.1e{Th &n^o~o&k(bByΠ[m6AiroGx#T0{c3\luz7 N߁홾&۱ 9{gΡ}4$e ,a1G]-zNL8o#vSE~3=su|ǝ#Gj_.%M=x$$y'}F.aOO)?*Ōhzھ29t`2- VO8Gl >4H5/ڬ˭] /wLomxG±X~{\G mDZ[0O2&>iE)@'^!4e'N)?TDF/-g)Dh"ucoAdv g&7%Vu33EĹtW*f_ON(,㙸TXiE#c3r~:I<MHaI^` I!LVOYuJ#pM,X)N>ް+Ng70uӹi>﹜-q/aAaVF=$_ag;Ph:ÁsvnN aÞ#YI7o2zو1lD;&}WR ,S*Qk(43?YX}Bde"`SnRk^|)E-&\pkU!cԁZ 3;$#W,Q8P银}] s:֤f)|z UF?Pu.!Ɋ JtJZ$X\b~ < 푡ru1k,2Drn8 =quj Bd ֖ edPJfnpG1Pbt1`l]+rac):B}!`RS)H\!iTq1*jhct$ߍBD @nGU%NdНnYùq$U(3>^=yU23h6mGE9(?=E%1%$= FU}yCᏘBhJ_ݺt ͐= 8Vn1gnu<ow1L# Y5[;12χus =C%|„ azE?tAM;YPxg8{ a(:=_kӼͦ+K ~7L,| Ai$7Ga mQzBʨ^Z Q2If{6l{]Օf~ʣHۻ yg>'8HXf*KM}WsEEr7W\Cnںm!=?Ӿ^ FO%d)'`~_Wg`)1@ hoW2cg.Dqjp`j2ZTנ`؁aԫ&.tSǓT")m`T$pR[MB'l*|ޛJ >=ּM2`e )X˜Ƹ7! ;A2 3OB> j<1W4m'<`+0/3˵2j*q tl.?znT1;ZH~TIs!H)(qckw 'O/Ve2fiD d3S*opڸDrqnP5N.sY@Y 4F)u4 @.+8 Jx <%>YqQH"p5GXt] >6aK3xŃxa!42! N)?/FJ^OG4So^f=iޟV汄&S\1C%J<ђn m^ս:΢d&?&<ؤt7;{8\G]#N0e̡Ǜ/+_foXN!r24 gq."7\LV}3&zuef\6HW}ITחPǙ #aFY󁪽WC4ܚҢXt .H9.K9z,HBmk `K ş7jt?: pvk:HkNLC~sPb.Mh5=u_|XmG 4T,U~RBq2y_ ̖0Řڛ}$Ii0`Ŷ39fh'ˋYoY`_G߉Gy耟AǪ D2+%qNjlEha]4Yf C]Qp!lY{-fam533KgƁ:|oT k)R(y9M4: ѐ2_z2)>nrT䌓`kœ z:Fb*7P\r(jLѾVb aeH4Tv8*&ˍc|(Lxacv߭hR / LZH7kblT;vHb>z 9w' lT}b9a4~KA wPE5ySwsl>c~#pW/-vm1.H"67}l,dMT# BFzFuo0aX ]^BkG%CJMJBD/dg#ַLdmsH }[ MQ ]i醇pDr,ԂIYD֕zԊp^Gen'',P%M_٩lAi AVY1b^7WB@9҂F^&jԧk1-~KX$l [@tCx<Ͻ1pa׵(=%̚{={v+CU``e8Hx2Res|2ͦ+f2"(078(ව=PL,זeWQJ7e-'|vq+UKުBLU`^P--zz7-W&矌GN . t'lDΦ[Tj1ٶ>R:P%sȤ\ˮpy\4ԁL G3ܖLs = ߿Pq~9pNNfϠ scIȞhe-| O۹?.iJCUL.106瞲Lpv@92.UqVMC"mHI!2MZ*XPE;+ Qfx:f=B?Ly6IL.!_ة*Nltޚ,K bo a- @\zz/Zql!5a`•v0)}].v)f"JO됅I!QuUm?HjpA^ eT< =k$dv@wE-/kl1/C9D1hW' ݠ++B,>D>fͨ-ҩGxs3wWV 4 r͵Rg;ժp(]QBAB^Wd$UEؖ>;FlZZYGq5ToNCkӋ5Q\(s~ HLY Fhkqݕ=b ũ 91wV*=Wx5&%rf5R6 Tw2b)cS39O1p$^{-3N BlT?8Vc9x3"u (?N \KKfXz.z91hǏ246û1u)\}@b#u#sO$f: 1mȨ!6 '>`{ߡaZ Bׅ'/`IEkc?`Ȫ L-ZYO.C&ʘѷ[NtCuJ M/:S:92 (@bJv[IH LŠ&]b];mi&+CƘ+1Qsb͐/I2QPY3=s$B#,pGs(5?p< yʹ&Be 4~bvd%βLͶD>A^T*8DI~(Xm\^:,1\,~k1rIaUa[ -?]A%EٞoXqf* DK8%=\ mEEZDhMC<R%k Z 6<,@aGOk9GҪ4;qGlۤnT#*K9}ʄ1r_"T7}B3 0ڧ{\$4a@)j̚G` e`sq; #6ary:y|E0F0+x4 ^KβɱgYZ 9 9+'9% tMyhill-NerodeAbstract-Rewriting.Seqdocument.tex7zXZִF! ẳ#4]A-MՋhvG"uIBm5ȢDs;۞6x{Kf·@ ? 3у1eKeWHHvd=uA_l!g)̀R,­E"L,g*<@dBw$kEYW^{4 lv90oˈ#k }[a3*~̇k gedk,K/SArrtwRg2YX*檈C IFյiCfkfz;΃50% 8i3M<4ћnHۧ7 87ˋũW(%H~+K_)#i:lRcƷ$(Bpւ7t \#' .+Rv.jT+˓ml00unlu.E A(>SPoALjSiIYXhB_ڥNL!sե=v&,K ^ jU\:DG)j]sZM#4e'Cx*ݖM;3_39aO:⅙j G}ȓBTTͥҢ_zWͣ4B4~XF>ȁN@͖o9 +\qmA=Eq?o*'d^儏Y@w6ҶG AQ)2i"Km3 ۛV8UMQ%N^5ƽoIW|bԐcv uMfύxRyǺ9$ hh9&cC~'G% Myhill-NerodeWell_Quasi_Orders.Almost_Fulldocument.tex7zXZִF! M%}]A-MՋhvG"uIBm5~4?YT ;ޜo㋿MfCTy6널Ұ|ݮ[0qCF"zۉ)H V.RKn筫1fxDf:"ybɓDw ~T\38sdHӽ`"\x?[dfIΎtz^[.ya䎍!kTx؆زt W%ĻFjG9k;L8b}Y,Q~#%2"@z B 7ocvD|yS^\Obiz.CMl Ɋňz/D]ć2,g?l[vêRuV/IJbR`K^:tK=9_ĽVws2nZ;/`+ S}VQr276 3+U:a ɚz|!2hN)E2A0蕂vӉݖK=3Cbuy; C=^4eF Fbl%Ym{dg_6*0p#ĝyGSsh&MJUEPObYA3O2IJ3nB5|Yi@TVER1yǥ?8G;UymrDUg8L͢I xGRxq'Bza_/lSzNHWic;Z]&:(a[T`AQ+oVWaN5ђ=R"ۈ'T IQ^sq/, %kR^u]%X,X>+w"v:(G,] 4 񷽘um{a?3Y)AFhJD23%e %*c_tn=; [:߯GOU,0LC dj=K"f)_3WID xhK_* Hz|(uS&JA:DW-ٯثY#d<AwymbCa P+f(J^ܚ!<O&er4}n4}-8yr 8FK:7O!7"2hDGA֎'F0v*a=",ۈ|v܃hLFPr݁()5qvC̢.xysI ~ "}.S<72bn7u=MMR@NX*w|N"SR ߸EڿW0+ȵYyzp3!{ћ|zIc.*J'iW;= =0 \Epm߶ƴEL]ͦPZ{EZ;)Wvi?ܿȟ}ɑa>rvna Yq*& Q Hy)$%r8Ĥ2<{su3y&Ի1A8#4吪M9,0m,?$c!S\x[o&c$*r~!ehXÑm3t˒pmF߷c5xpXG؎7} &D[M]PeN:iSP sm4URp}^ԗ+5ShIWS7xyn⒐ \4qL𴗵(&̣GcfW@x]=Sďs2n/Q_i-dͺR$ba.-%'L4i&(ҀzFؘ҅ ^$:6>.|ǧ ${4V)kB~u3TNrr(2|*u-l(B<~ k[" ^j2dx(:3_܏"WC p,h,&VL4zfDVea^ T)Z.iww&1=qzv`XPzV]g~867_n'[Oa*HC3+Jj1fRoU)V{.M͠+Hg8'q4/>,>JaD{bHujùOoNQߒ0oؘe'!Jq X~AM+]гFvjq ˜~ Ct#=9 zWp8Z^"yWJ cV[YN$3&hsA׎/r>nS(Շ |y͍;"k p8@89K*3)`=]E[6(Ǧd HJq=/UcnՊ0CKmgjρ<t),UkƱ g%F#Ȩh$F(|A(5;=LxV|93u.H`?9^MM;+clG87 v Soy&G]fD,eW\7iֵ k4Wΰd*;Nr&f l~ xdsbѦ65[bmR1u<ˤ|1N#-8Ts;,Gq0& kPKiT"2MǑɖ6P<#uf\i/o^U{9Bc݊ Ǹ`ήnVDQcO ciaP *S Z~dC0`mRJLOt.HX˨'ljog Vbzk@ÓGA}/ Mx8W%qAu7ٿ+œѲ_Fb!k:ċ_>h[s|ݐ ln z(a jPߝԦ}OI(IF8TDK!CRkDYl<{k<(#HYk$".Bwf_FU(ݫXOԷƭ\79`2!ji8A"|Aާ?6\3@ 'L0 BFqT楨PT1zFi`mNqb!<Fܾp6A6r,# 2n)J{CcѽEsi&b>q1{`tV<]Ce T֚t (em*6)- U0gPbE'Bagh>J*ojrA%:ڑt]B*?KVM{+HRؕxbZYl"Wh1m%&8^@I\uJOG1Z~9h*T)Fw^3V8ա=ޭ_ۅ)XdLJ45-g*#;D MyH-o0P*bGDp~0ARa6$|M>i &_ka3/m1{&^cdN󍢜!y0_F&i6\ )OT=Ha*Uc^E#FexX>ꔄt&F.ޏWL1Ozp+= yX,WΟg%"y:`LVfo:`ʛk%ȯ Qt$l aٍN[/S7պlhesRS'z}MGR4r,UabdbĢS޵'T^"J+w+ť|qνJ,q* l@*z7QVހr9w]ks*"σĉ$f0DǞUG6Թjv;gUb=+rB.`lTmGׇn>id^OL@ -o'J 2*b JQ<͋A^^5& 7:H㜽8ƒ[,S> g(sс&rOn_ Ya;5}39Vt n e#rK* E ybd1p٘a?YU$niB w?~ Bƌb6}wN$f+MN7pK"OZV 4 yOeh {[4B¨T1U>lI{fbr[%Z  o<a:%n+>3]ŀH o~˸9EÜq`3K t}!zS#dTiRT[P]{A}Hil`p׫XEԆyVYz,5U~_ː!eɽ? ."a$iv8-9q;wS&uMk }MoFɓ}Ȃ"bR]ƍ7S5MN(w]*Z6ӟvCƳ6ݕ#qz/)46 ʓy">q}Xx=]ް}{ɤHLKn1A?A mH h]i `2W[WXg`ǚWmITd%MʹR~]۽!2xְ)M:*ء>K9\ͪcK6XZ jx혣h"<'c>eɼM|:3A1|ư0=l Y2+:/" ]fG 5SQcvhrjk>t;5gI6of_R?5wFHasbdρrQ}'X3| } ^FRY q3uVW2 "-H Ln]7f 0&?,5whj5qfZyvl-SV=;@fA g#8({q K)w.#5d9UZ]O ω)Z2dB _R+3k52:lbG[u:oر ?;Diւ5oXEeHyW`o{&uׅE+{TJO׻:͔aHeWMx$?*X?0ck\gw3MbLYĈEg@o˜R#5$j-NSѧ2(Vb+㙫\2.Q)MtG`NYMdi;\镲 r> RnQ%?EevFu%;$, &ն7EY7Bs?ojqh$ڥFpDk]A|4ɫ6a&-¶Rl1H%eS#ᆦiC2) s%Y-mruWqny̋ȘkTMsve*R}/%r=i3JCev(&D|5p 8m!:z2a.C^ ~BVZoP@I\F0yЫU JYGpɫ oM~z1Y;Y~ E 9Řs{f̂1>.6D/= /B$PLXHg:TjRuGÑHNWjO!.30SZ \[[TfgN#ޯ|5c baړr?}Wߖ@-/Ddc`}!Үrb-4d h/@ J*Պ涕b~6n (>|6^Eи]A{tɹ T~xz -p?ijY78a:Co]).&w8I#Sբ9U.~ vmxj3_߰ qYnW:6,wvejJiySSP2H(Pd??( Ϝg1kO C ٴh]KƔK2Dxt򐓀Ds(L/8h+ ?9[G< eAr_&;+s;5X%z?Q-:h 6t)琇gKd­ 1::]Rŝ+@dqRt6[0σmҟKnOdVivQ.OC_FeRi gVt_Ք/Z{ DkӢת*i!"=@E<[r gcܐ@;駊mҟmyO, ZښBixאXV m:(CIi)G?ݐ}ّR]B M;дmR%]~&_RJJ\}xv䖀5fU}ҙK-Ս?^ݟUHV72pu(Jvd[%4)7Q21.\f_gHz߼&S-HO=Ε H>578UyB)1T" хNU-g?}e*7B}~>!Rݽ _^~1Qg3CZdH:{UЎg4`V+Ğ(¬.z_W1,WLL"\>o8Z&r  DmxSZq)Tj;Z gc%Hɧ0IVK._gUV9 g tLWq6yl! ƻ*FkqgYZ֪E  "^fajV:e}j)Ʃ!u4Q@'4΃Mc{L`~f _8@+rH29<\R_I@m5%?6 bhQ#ԁɸe.+eh;GQ8d3 q\.~=bW81}6ޢ'}hz' anʝ\Gۄ(M'dN؜܂3^l?޳84K)MM@mαHBz[#5ܼ7^`@0Nv,eq,APٗ%F4EH#RĞ,|uTRȶ"xDeι0GEȠ8B r䧣劃]d?}>6:Kv+Iى]7',W㸜E8z<6Jui4JiZS}@'£FDhF SxiJsПE=8N8QvmM8Xgfb"q! G`YS񓐵/*&g%i#J#ZOއL_,9a-3qs3~.+g6C"6 ι:3JRp~E:R|wfK%nAgzf(_80Lt(@{d܀y "ܥִ%eU<+^CMl=oEMz=E^;,b +{+-$m7.x^mgd$@܏Qޣ_VЎl{sRc v$*)/ř-pe ^i|^.Y "s:IXݴ@L?l0X'L2mN' #x<&9ZR Sisjt$TNY@\2Qv/^Y}0 [̿g(M>,Fƣ9oA-W>cT +d ؁ڊN-_¤]S2FPvi 7ӑ%Cv"{eI&foc{gaKǟ=uzjRP>߉Z?-A)FE9^\ i,|z~PLX6W#{me&\ܿirz( ·`j? mYpӦE"$qjO i-'w"Y e![75.]P4$'KFлK fynΨI! RM.Ժj^Ha.c770ސsKt.~lm\z 5 c,;bٵAÈ)Z 5zј/bҏzo*\,w-aKhM!̸!sUj2csy)[!~м#c}Ggȴ9i9|jФ>\s:^m"GhQ;c?=aGt\ȶL'ƕXϠ?.b1l_\k/(j5hM~,| c),uup⑿Bxp^eJ,@F%H\ORݑKҪ$I8OͷdCӅUXG֙X3̆gz_(3,?>=ZCͶы%7]f$^^I.#F-["OoO ?CW-] ZDDW|]A>bK1]jmk*xt|:f<{FA|&[qC[@( AX݅ V#3xKw^I=UHIujN7! ( Qjܪ_vrq3"ّԤrH:( H#_]W6%mBrumTy$,rBxsRp,qo,fv,1(ʇr2X#QØ$cwbidEm<stdٓpuӖ*w)l+4BCPhSb {AGa ܽy\z E]P`̄%tP#{JRcU%>  M =8t4 F㘧1(A YCWvq2 ǐP@Xjv-r'2b%zD@C`/]94ht ǂڸ%a.ynŰFgYZ ss'9% $Myhill-NerodeMyhill-Nerode.Myhill_2document.tex7zXZִF! D ]A-MՋhvG"uIBm5v-qaDka4Ш:ӄ R"<<%%ОGNkR<^o,"_S2e&鋐@:IA6L9g~\[wGud<wg?J?ͰM)ZJV:2d/Ot~CIA ,Z$~Һ#S3^ZRWeF tvP 7Vq~y0{3<9$SOLag7 u$ tf}#EADO'yb$ksH?6b# 6p7aRLCցĉDKhؖD@QU[<\PtC76 DT"{eW}EۆUcIq^;êQchL(pP>Ԥߢt|ceVu4ȹouhCr10E]97;'6)5&eGu$87^{/\RsuLmb1OSξׄnXFNp֒LOAop ;5zrM&KCKT"y\u/x)W'x< b8<3ÿl7_EV g@*yMKb5nirI# !! fO}y ;MT- Kҙ_@x+)tPV ,7phQc7vOz*.R' O?z0RL+Ci3u %:MkO+ hkwwU .h5tdd{/,a$ES4?uTS/- œ|v4{hb[.3z,OD=2=F~'⾅2*g1t*9ZL*dJXeCks?#Բ[kG'm 렽ă' µ#țoп9J{ffL[KNIa!{I \Q6?O=5 u*tduomz?s0-1urhJg \W^9|ィ}ɛf,aKsN[=ƳiKPR9#$/ K 5K; KdU0a]XF0ݿ:Q[ohYlK\NJ#,^A+Xs%J 5]&1rc*h&gRcx *>ʼn})Mecm<k;1l;Sү;F~j N_ ui6oTuazpQ %8?mCU%.M{&fCR3UV5l+ ˠj{zIW#mkB[4Y 1"6pVL$%Up4$8I:+9mm_>S v[ߣD׾AS8c5x&8s+CۮI}6.72QQӛ[(p)ڽp5CN%P3l:/$RXA~hAsDB\%[2-g{iix" 4CQ OE foTzlӷy1y{=yPPtN1̗a Lm{#[yn:k̬3aͭQ=F CF3:ąNT+9XxC>{r vKD񠾃+݈iԖs~&8Ic4`ޭI52py7E=z*Շ8A$&oˈr$ǐfLvK0/OQXzX½vf_iN8wԻ,2ӬÔzlE#Nj}0ɍޫX#alNٍL=m̺Tm5ZͬUK1Rө>{vu)z+p: 7T6":wˁ# (9N,$$ܰ4v*~ ~{q}tT,94 ̿^UVIXƺ19V|N TE_%.U/Trt T tmO -'ߚEP=_3q_">5V ʕ2 mj4aR5d!%y|H9!*#2)=Hm]'ފiaL. FQGy?d0 PЩ6@,%ٍ݊54ڞ٬`U!'ny?ސ]YHC0N6leXae7k^4DbVA-AVmѢ(4iF-hdD6?Otb*h:Gm0X$~4H1yXSe_zB q>bN򚎵xHc߫ܐ2jNH_s1'7Jęzmi u>_Kj:I}5`C}}RzDX 6lE<~ $rzʱ%pF-U 4ɾsdpr-eMp7B fX֐uE@;ǩW7>xP_ m}TezR*sE"xnF:cΌxpࣣa^[ C7? y2,P=#-4kT{&;\gMr|1{ȫZ <ɨ Y|@I urBTyOZdģ DȔKǒ d[Nҽ*QD݊7HTK YnY5 ЭY(D pwж4osn1R 9[;F'UE߰3{6.[1 붡% <-|]I_瘖']8fXEUyia•bRbwRW*$ZV:J㥞prd<=& !]4SkaeǦIGTCe* &z"^HGiNbZ,ΐ3`%+xjZ2LGd|vRBbKG c`Z#;R\ [`N8 -THYéȧkƻ^]2q Qv# <ĴrsR~7M(Kd4w8IFsyHkKLJ7/ԻGQ)_!Dl6\7441&Fx[)~9@ rF=LsҲ-#-zÒiPk$̓hFNKDxӝafU]H`fmOQ ҧ~5|G0% ٕec'l){6Ʃje( _fA<7-a ;!|LLܕooeb)%^ASoVu{[~7!Rlq}MTEEl!ϱbP{vٲ*fP8$'.xsî>vBC!Ōp<9^e?(V~%)Z=_޽XG\DϾh'kYӶ^J =yp`M | Rɻ )غ%m͌>wH~+x vp@<^6K+ ǭ2ʲ/0?RnTPHҔb5Y~!ouaE^òC>`~kyI)FG~b ܷJҡƑ(7?4.J~˞!ٻq1֠rUyuyFS %PO+^EwoYpo)dz%\b<6 `*bJ+&ϱ}cEȐ@8 "缅z9 rE.xVaqP`/9_ȘΡ?Oa(*6 k^#  yWX kde$xغڝ X܏gvE`ƚ=o1+F)E ؄@ZBw,:`ݢrNb"ei1¬.yu$xOR?uMZ;TfwJg?3U6?5N#sp} [0]ep =<(zqwKoP+)Kʍ }K" Ӝd)N!ā&ꄁQJ3bq'@W+zJᙨVYT'PQڻ:EJ z7W.0"rPdZӂƯ=r bYhWnjG 4h ֨9_W @6mX9kҦ/WB^{?{ET߹?ƎIYw[cQßrn_zT]6S7d`n3dFR0; oLmBJ.1*Kخ1ya,"))%Fm'@ÈT;B f/Vl-uJk~o6(נƋ"Px뛮`]Bs1y'^Uz+ஶvqjE"-*\CC=A6lmg[w3Q ;825P'CtML^}87t"_?zPI2 aЪvJ͓ Cd&4n)I "a[z\ӄ|I)KHfz;Jv;EW~EsOoC/:4 T=edҢnSTv gYPYjOPlܯ$-&珍d1lHa[_P9ѕOzW,S;z+ԲQ!UpMNn=_gXoYAT)߲K%-;Yr${ =|+u]e};@e Aǯ ![$lR` fq 7Z^4{X C[iV'IdAfߺ˕mNrfs9 fFڶ?O3* 0DpÓlj_}_v|E ùj/*B\=Y7ƧExW-\N\I{1#щl}bK)DW= uMm11Q)RbسDha"5uY2Cz"mTб҇Jflu3q'e67TC_.v[T%ε ]˓9>LS$ݠc|p(gP՘sL_x4,O#diD|_0-0QIetRm^KV[~//APСL{zs"&U)38gڢ*ןof7dF tII5m"C;%.D~_H9` S4d'0.*l [ ÆAyIWFm!To EAUU=n(󴺘43V!nf݄ ,m>=f.d>v`9~L9PU 4).Ģ{dlrīR@o$2NAuGcGO=XNrXgoY|Iɬfе]q)v~M+F{9 -=tsoq/+$]9ɻP:/G?'ͧsc! jDyś:&n7v10>b $(fX?4%+?3Wv(I8*6#kUthuXO\-~U{xƽJhX1 qQQUUOl{0n|[D ƪ-,@cB5@ff9EqLP>ellyϓ[P-A> AVE2OA,5@:-ylĽ:dfqs'HYMy V&<2[jDqE-y ;?&̵ ?2'kg#ɯ8{:~-;tf|Ȝ סR])5D2XcK&v|E/S$: %cӌ"./-Kd &ù /҇gVow̩cv!~kݏ?IWSU#B\jxO{xRl5Ã.!w!hF:g`AcY WrXrGY]r˪UX5f9#S>*K |dARClDwT{]SOPml9!!('R1Xqf La9wA>$bD>Y:-MwwU~t!Rt Eq'ZT m"w6iDESqjGű Mr=4?a+7vuͧg\pEi*CgrHaj@:<%HjS $Qk|tx-*G!UWxXJ%<>hlNV6zTKwFWfǕ5jZ}'2zsBhHL$WHFӡ)bT 4vk4{[{>>sUsR \)2hB9n3oY؅,,7_3yP~ONh=чttzէ$;t(v,a3Ž<\H[SB} ˙*;Z\/5\K0Fxbr+Ϻmx%2Y{7Dy!"-k]hFq,F7^޾ 1XyߖA-fŷg'X=p`|7~' 3fBa*%Ne\AIڧ~9kЯ/2FL HTb PI^R6b0_=Ei}WFU@aK! o053藗zw<:{|K$7 -mǚL'3xU}} Ex$֜Uz,`] OF罟Ok0e7LǴ,bWm{eVR4{ oƓ* YIaDt1iA^KbV{-M3[ڼ!·=S-~Zk<糪OXm%[]e'a(U%5lQ4WZ"| 7#5y<mWpҕl*ΓLPi3X$MS7@'^=֬CgYZ  '=% \Myhill-NerodeRegular-Sets.Regular_Setdocument.tex7zXZִF! U]A-MՋhvG"uIBm5>32 fyL KQcKē؁|q 3v:z=3 xa~m~8j ȱNa넊RݯGz?M5c~Ax>"Ch9²h>A5> $YJ3e&}I5]4(d;ҡO˽>]Ae}?i!Z=w3IٜNrpx&}t k(sXۚrP ؐ*N@σB#]=/s&Ĭ*?U,dWClYoSnU2Ig*swƺ9ydڭTv \s?}3.)ſx+$@& B%QVGf)vF @a$pptt"*-  dHς+Z0%ghա8)=Q Őx |D#*|Uۅ|m*{5e5bVrS6~=A0,䱻CM68/ QuS Z>li)K)GVP$A'#%R1։cA>^NSjV u.K p:-%ml1Nݓ9m !B^U<3Z;wW#tB9u[ɇx(eC>rb;tYO7ZM #cӮ^Vb!?WÞ=,-b 3hH*ã6AeZ{M~,[͎ `C$6~~ʖܦgm-ϭCzgЌۖN"%$N=)h{FޗDEOY=-3b*|<(#f351zgmkܬ Vgc$]qJxMd<]v*>'[Ѝ ,` O|v l혭VP IӴC\sX7Rh]ؚ5UC?PIedxm-fn~"R JhɁVoׄ ~4~iy9yox +9y5dO( V YVoaokt6Zu!<XU}nk_JcL_TR:T,y\TTHT-}aFN#ZY@|T6Hr2'xںU2kC<-pE3翶.(uyUӗ+`F%a+6 lu]o0B&(r HϝS!؋,PZ"wv&1B|(Ѿ'6|lkGh:Rln,0 bsj\L7wDE1R3=z8˙tf&̱2GzTZ3HdK[/jm i!`PC붭WyMF8$"bWVmSH%1@hHcvs"ӳ uFuNUnwW୮TI!.~Є6$ I:5-j/Mуӟ^r$}F(F/vƘn'Ŧ_Rՠ`عGz>m3ۻ#qŃ"4PA->Ԏx5]e:}_Tl+sR_nlă*@]u㯮pVj*Y'HA۷M}RjL[p2κ8:q*R 4b3~-DWK |f!^uJHU:5pN]s+I"zS k]XW0Dd97Uj-\&Iv ڼn>(F[zi4HpTz,y蟠(om//L-´X0LKo E}F2"Qaߞ %us{=W<| 3Uq_QCwHu}}"e㓼7ڥz.7 m wھ4{ho;NskPa@5Pvjgca>@+d3vP]V'B@+( )EC洴cs  ôD&B A`3Wڌx 3AP3Md/D(wjd;Hd.-T%3Ѣ=¨[6̫p9XBj#d@߂\٪UO;r^⸋ΛO~ޞ.^n Y+Lw{.\7t9忥tV~ \lJP*US$Mixv䏟Q\%^FDY 5g_G͍M\ƇFV̓7Jv3ۉq!R.cԡP 6CܻԈ"(pdi@mOi4tSaf߶e+W_ 1iS^}\:i 3,ǖt3 8"5ҟe8PL\BQ}pAW۹-zRgĖAݕ ㍲a1|iV4^DA$[X~ob/Y#d)|Ad(PID٦kB[67ѐFuH8{{'+&~T--<>uϾC'pWEXEbG/ICڲygkkhtes_&4: u>[ŧ; 7uNXTWtHʱ@28̐Obۃž@q۱#-㵎uf "*E 37k WyGp VKMT*A ӠC7rFqvޝJu,ᆣjmP3spV@Ds6j}̓WOާZ\6)xޝo߷#덨U͜{0}uWĘ>*&t̖kW U@t"_e{1]>LH?BIGz+eX 4"\Po%Q><.ؒ,ˈBV-Bq>y?x6$]hoæys ="yu=Em9b% .jP wc܀#Ӟ414L56=SFL5.bl)A3φ@6P])DHdv MX7jsL2`ejkڞARG}kE3}18 [TzɅΈ _@B%ʇ noM9 fakܤxІi/B7<-`s1w  +D]v56g [PXeۊ{ƣVE^Y [>4=&^-lGp;].!X56Cl:e҇NMItB+;p\IYzLl}w98O! _XQgu%ͪw z2Z_[˜Tg5 r8|W?yZU'`1fӖ7/fqH% 3kρBq B |Myj[V+5Hg@?45;ݓp#:p${_*<#_TWi(z>}BKH9\c"*]=<*oK"*?Ir1̙ixׄۯbQןWYbk(ލi-a:iFj'tKu/D<{IsN:F?C|N!ձ2=q\8X܊׬@X"_кuk6nP;&2Z,H.G77_1K̜%$5cNZ4 O)ʠu>k$ {'Jyw<AQZ\w.&bg%k%MئR){cc(M1b,%W$>(]Y v8]Jj~ф$n<;?f|P<Ц 'Zqǝ#_Liv~#D VqVU2j'Ťjsx!Ï7˶UuwdFH -ł:r.@H[;hԐ8 ha!?2Qa'}K*-Y$ =TA^GL:Ո Y50tP3f>z FK9fi)Ck$Zr3jv 3ElI$0<Z䢄W.aeNeၘ. v分=x9Wq&AZ؇K076jCq^FP\pNo)=v/n܂(S, ~b;5< sY M_FЌo~aJQӤDzx,]V!YsOsON$ϝ.mz{ZvɡEu.&$^MY%hʓA Z [ >O %Hʧ<_.R+Fb)ˀ$ЎCˆ2 zmь%̆~ 4XK-!PƲon䝙bʹag}q"ߺ+sp?QHb6.6}*}sOLsVCy0bU}{EƓ`Κ6 nQcg;ZGH,1~Оfe-꫱D gA̘*kDe%vT#v<(I5jl؆6$#At_Yd15总%I!̸4% wgqsl;̔%whCkf:bdeQPRd<\&[hE=u3&~On8{P 2fUj#.GmC [7g:C1[;:qmAy~?F}o:$6~9òpjj>]UT8L,RnKF3i,ʶKN-hɚUzm~/6 \,?S=sy|o-V~H-) UÐILc@7:n~5cD(gڍz8B# {0Yk֙dnZ<8!M4N_+t 9l$ߋ_HZpy?68 )>v%մH5rYX.Wk%S2`S ~*c^y|R|J+>&?ԋJ f)A '"ؚBІ 9 A@g,Hﭪ?nÍk=ߵϡBIBrmwYmFЭţ5+{Ģ9F4I1^jF?X zXBk\^'- sa ead/g~cvG 佝k*c* ˗ D# ^L} Ґ/ P&:cy˺l6fƩbQvvSkSy`?\!dQ i;bԲitgP]`M{`-Qb:\UEt,g- <κ(,npt e9Jyõg-mFtz8ɷ0ʏϖ 1"y-ō߁ի s{اf Rr֕913* 1prvP0|VCo a''A|{S%,u5 & ;up̩HeQCt8 WFp\(PDXWAxчSi`0b&aY8 ,;al~LFBO:` 7 ,Ėi:&^hZM 90VygL+WGP<˷ (*ōfXSI)agp@AWR͞|;3xY?u1N`h!jXa\)/BtuHTުy`>*F2#}_HnɄ],wpm *U<\ŵF *F,ee0L> LfS|Kt|ŶQ`gW_l,4{{ âYo`|+^ECx+ESgBb V= @z%xbfي3ol뺇ϩֲuq_zu+BZn\$KLVhM} +i+uCqǶ`61:4GêQIhBo/w,Umq/+}e]F i,QS-K="hxEGܵσYMC_TX̪ice4Ild^6k 'sZJsYq\x胖1m-IS6)Z7 ΋l0S=Qڮ$'=% dMyhill-NerodeRegular-Sets.Derivativesdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5֕ ɭf @Ձ::D*AD5dĴS^//?pl;?8Ф-$v4F,Ґ)cAR KQ_ox "S7?sxoZ>jV},Dp (X^] #f%nز\&Bj5}:WJ-b]Frli(7V@F䱲q#z%hLo/mr6EDI/GV4JO-md ؙ_:$޼\}휁63Fu_\aD^x5puBњU!I@`kج'WxCnPAxhm-NAs%Z!QX8&"xgzm_Qe5G0F֌! S;ّ.ɋVCT _ &E* Jb[-)cPp5o]Yă/X&=fK$ yJ}o2(ȤOk$/@x~F4%T+!VSMyzAѳr&k`=Ӏ:0Kgoi_,^i:3`suxBKVc5]7@.xc\(H3;Og3RR-nnf;)Sm"Ym>SB4"D !ۼ]G,m24 ҹ,yJ7)hɀ%>vDQ?;D4 X'}){Y^}^>pS'ckI>'eB Nضlp|SoRffp;'?;8P$|rNYx@RLjɣƀ>/Ow)0"Yf+EQWBI CInbԜ\˲R _Wt#,PRLd#NCP̖ᛘx__ۖ^ZhxKKWG` &+@-qwR]&wp Ul5BB"f:V,cP1L'jy?-s\HMxdQ/n8Ȩ37Z҄q ;oBzy02ZJ6(HxWInwg"KƪӁ/u\8*ZIVu 42d2yds})0bRmelN]::Ixwv]-D(@ǯ-lndG4ˬ"QA5Qx ޞU=}b,|?v~?{A{S ,f=Mc!ӽ\lK$66ִL{:+s4ږ5mL)띴w{tKlJSLftMPt=RK4 6Ǜ(^_F'}(xf uN1S5ܞ) ?;fϞhhW5piX%i`r[)Vy=eb/.iy}68-l'# #ܫV*q1;uS46GbLULΕSQ8D6=t=+ql)>SfWa5\on$,<=LcdXt9i>37@pkSrxxW4,lH\ |f`<# l3-9:15St޷$)t$H";' / @S/|VKXQnu`VoR2S' Dڽ;҄0?nÕBDx@\ş#LDT_Ż `E'@HmĘ#>soqv8a:g:QdzE Mݺf> I/f s`d k4-[@+h1@H;2waƒJzPS[ȲYtlNL1_[%!XjɓPώoZN%SB\H X">9GH=Xh`-Wr0nO%qԞØ9q'orj6w۠޳1J o4-7Q1ᓰ_;~Z}dG=]?)fFpPgаq2L/}u v%(i Um])?4qDjT(}u(H|K:5W-5~L:}$ҳ{hU7`dc?,w9qZ rLa߃8z"LSm\ {㍝iHkR,xE}z5S7$h[v;lpmo<Υa/} P=\m? FؘPYtAx>luv6nE{ggOlZTbo$ه{)贿0^ WWsY>SSHCv{ UةQw`חi3;A8:6w|Uj=jpm|^t8+=v|sRg{Io:Sߍdy;gS2Ĉǀ<5ҀC_S"+ZJ"STKEcznBqíwopUo eV$\Cea,XZ%9y=85D.w]sGF\zݐ?fb&Ot6EЦ(]"e.t) u0aϺ4al65w\N{4$8%7쯷N_Ra]ũeAn8b#KW y7[![2_0izX/t|邂?rz)@KuN*{&2C%?FeY| $x_]_X$kgJ7*D۫`S>jR~K@Hl8@s^.Dz&8uJ$1܋%Z jA 8pf@zY j|n5K["o oF/~LhwF )Ni#}+ƕ?ȍ@ a;f=׬;@L;3ӹhC/+=1R !Pŕnt s7Ccf56 05)W7\3Eh"VA@,"(i3N]~^\$&ڽfxjuXgJE"E`UleJh`ʖ!qADo#{P hQ gpuб.6Yv/G5Eni% Ptm˨>iZQ!B7DRUCrX _~oMKTLk؜n}%V?0F"yD u )^У E"ĝ?x"X}|K:*a͚Tۑ@g ΎoB wH}"*I/4Z003j8JXt3yOfS`foZ[Pk'q=D'?AZܻCm;d"\/Bϝ[WG!"tb||Jk35 Y5A)CQdt9$m5$æ4ŀd+1x P ٻ莽(4n!zH@> d3|&4 !aEAg;ߏ~%|z_5nz4$ݝI l az<.@6?֥tҝBRE`۔;/z5IV]gq7 ~W-. gYZ*pj5=F{K%Vjy%^tWv#r?dYD\sjOfэ,} )c, fA "20;ފTϥܕ=Jw&A fz;UP6Q5 %~vw~Qzlr*㚧;4,o"zuc= \[іh̰coh*w-y~ʘDFsQcoH|_ g :x#)rK\S ާ1M2/妄[ _,z؝i<99]hI6/?yJN٢4b8hB.eU-xWYy< lh^B(K|Z92l%D}=S׷1 Mٹ[x\G+ zX3B\o-sV̖Q–a ;yA ]ʞ}/ :aktQJ40`aĞr + kQ g@^(Oιdތ6nUٴO}TnjsY⣉1K5%p{E]Hs546$'aG\<%bnIzz1oS;o[pQ Ҿ*SZ,_КO{{H ,Yfd4,Xm$_R4{Zp vX7%xaP= EBl އWl=qVlT-&PbK'QMim5>fL$EJr?to`C]:EE3[T.VI)CL* q6f񘛕a"7);\PEGKHpj1kХ+ v-B _Jhô&FʹWU5\/3_4`Nuz!(ЖuoI , \" W%2*P|Aw3Vy&).C?=T o;.:6F?+vq)k#/ꃸbfg[oXZ4җJ l|@}Њatm&oT,İ5,kT^/2\ӥ/^d)C脰s,|EY޻Lv9ewmLf{4l8 u8"Z*:/Ç3SoT$eos {_MK MTپ˚D2F`J'kV!{rrܿx _׺Tl:]A2v :Tx̬GWNք"v=x!."H,kjC'X&s:{S;`zh]FwSe>32̿0psѺtLd/dRPmh;67f@Ė8s(K]snO9}~Mk_xu&$r+!Kch:BtKIJOQn%x8C g!,"%1s9X U-yTD{DUm4׈x?J׆lLǾ[Ga:m8̂%+vxhl˲t3Z\y( 6,=E̒au+O PUǫ 8|QlY0m2ݫ66 Hgk#A[K ,EJ׮ў+aZ[MǘS!itu $yLoȟѐi/V/k3%FoSs%%'tឺݶ^l X._MWj-Sby%rO}_x;_Z˒W|%L!\u2FLmFf`41ⷵFNBMX98i Md e#kH>fT*'X}BVm/@k4e_eq t{YQ<Bѫ6"qu,6Y{I<kS46*fkNmG(andJ~ΠD5pT @[=ԚL&wý:zt2P%ّV=/:T)hh?t1!F窽H4y` fJmV:$c ua:G2ں9HzGqYڪF1Q{co ƎObK+b\vVFs)fTj&N0ߦ8};Kw/_)9-t%U洪XF(t3֨< .NKkZwBOFƍ|rAs0u:|9v ,﭂6u2N9[-C{vL EB,qyhLkPW)^qfOimun\Uyu]>=ӫSCDC RڡAƆuX7n((Љ1+dO`h856l ?]zf\۬V__}RYVm;'r#=oYiV6RNKLd0iexײ}P?#8ɮP\F3&(ժ^GrUuSڴWo. 5lBPaO/"_}>(xV-\Aȼ {TG, $V[ۭ9{(5_Im ťrq%MSVzOO3c@LQvCsk_!9+Ohw~LKD[iL K.:f6*czym~5ڭU] sMQfY۽nA[*Jlbyt@}Ԝ'o-dD .YB׬hq 3ΩsW{2ْmGWnנLIxC"{/)]%fv\pR"-3OdwA_Lcp\@wmz!Kt]ɮ^@٥u''VM聆CafQϧ A/ޕ˘G%.EWKR '%FbH0z0GHzF.±gYZ .E 'O% DMyhill-NerodeRegular-Sets.Equivalence_Checkingdocument.tex7zXZִF! ໆ]A-MՋhvG"uIBm5}d_X; ѻl22fX#.SKE raڛXUgxoma\A.潾4zQ uMfY6_?^`VEԎY"!FK}gTYxqMEVq>f_].vlJ`pd3fIa|CmLkyD L:Kn'GH*ΐ o)-j,,T0vb$͍Hv`:?TՐY_|L?l gM Z I {2NqaST>kazF0G ڲ MszMm[0Z`RF46D@EE-)OUd;LE#O%w Xt9׻'#t5u,Vt2faNO}q3j2VDg&a ?2omq#Io*1n = E@% 8>yqD[t4V俼2Z%T4mnUƿ`cCMte" bye~|4ưΣn,ps0[{Rr2ı4}2s^da&;҄b/xcc6@FUn/'N90Tvy_-_b웇;M׀ꛓ"R5NUh_uWkCa1믤lR=n_f ³r Y'Te!!^ '9% \Myhill-NerodeMyhill-Nerode.Closuresdocument.tex7zXZִF! je]A-MՋhvG"uIBm5֝pʂ:1V:ƒ0,ЇfpJ9~P4` CGRS zb7,uS\<5^셥dgtA2LZ']}'zOR:E)9y7x]) cnY6'6"Z6IVyO(g@X9w^x7߸]1BsͩS}\jRj쭐Y1ۑJWgpF?[6uw~Õw5ڥCpA-<~uLqA9Ўuhl5X/_TS$qo4wja e 3DЖoLa֫ 5?M_#.D21yބr n Ђȭ=5;Iw iMW?EGA<%2͖A+`ˍe?cpPr)I Ձ.99,46Pٍͥ%kz(4rDwJ=`Yp=_J$g!̔*;@w9tIvdO3:9&뚣UITNAD0U3(堃朥ݥ%B}B0gCdkXd!LA6-xu ɯ y=E( 6Tmd:[G|F|Q4V3LDMפR_ zqJBb`dz=X֊dLL(sԬ x:zRyJP|^G^ op̱{:t vpa9NFwu>La+v,tmIJ #} s55ɗV߷$& x)˓+^ߕ.vA=?ܕ<w}zRy$ʎB W"· mCv'nBNhln* NɮwˑqNeCq8zܬ0x.Zgs? 5Zg@b \a1dM^ 4x|M:ۅ ~µYi/V(8=$Anl+A>fFƃ4ƟͶu0Fx,$*n52v$wWρlFl "Ձ1-7Uf֭Iz-ybZ{Ő5ܣ`'6-܌ k4@;nPO+@_Wp׃"sC^ꕦzkB_g0ya6Dw-n rsW@ /¨j?u>t$a6I}$7z `; (W{4+nڑ { -`QQDJ,=4R˘zgvJXHnJ% T TWյm.ð׳Sh!hU&)pQ=2O]#G]AGr H Nr+-nh]u,R9k6 |<*XE1bu p_fQD*H(s}okHl{i1 3®]4L09 %SaGU 6c.&uHED ^Rmcь]DiE'+#<^Y6d13ML  /,o}KFľmfF"@a}>%-3!\@6<>4G5wD `7H_ry\QYf~MYj.S 5{ RR\@5pĂX=E>caM3,:=pY7wv@](a6+BYpHELo 5"JXM:jqLިxX{tN?61~;p3?~xxAI,;~]k1C۲J-Ā8{yڕ2at}I=I [`ѕ'G {N?DX8'o qddWK&?&˷]r)Yo*P tGc|uo+v6;Y ~1PEĄ{A.Ro ! piǵF0" d]-FsFhEmovdݾO4r(O iQ"bl: y򝽆Tϼ*ļ:aTZ,76wq҉H_l(!/Nlz ;Bڵ/GUѬj5 %!I;g6: 5T$H+H/yz0}hI(K"F}2vImU'ѱ^-ulgn r$z"pG> _9/TP/å@}ǤnRQ(֋ChM.0OnmXęfKs(gXk8qI7@ G:*'EN\B(@ BF Z[Z1"2^}B=ةROSpqPΧF!~h'WzQFմx)t[U-pk7ؠj >ԟMujwa@v0wp5+FuJO, )Sy^u<ÇivimOː%qJ I$w%B_/8`UyP-i}O aoA{i Ñ(H߫~O3Ftro @`AŠSg]xC1BH?Չ;<3QdXEJh'\8r#+8čh֧pC^s]/%ѳ+X:qx4D;~",W\ ɗqKFmQq-m̋B]zYH;P7snvMb>L,2#z@2xדXiMyS zژdF.A؞o0t$1߄|a)T vԊ:l 6֣ob(}fE.^zkdԗ nԡ C~yE>9`qUksYBN} =iIB*}%.M8γ|cpj[6L \E-ҩw6=1TOױ+- s0 ?Y_V^`AȄ!4A7zN*0ݫ׭"Ј3=V$:\ɨU?yKp $X@N%#/c alfa«[m8-{ƿb`:$pu(V3Φ+lǍ\LV; _iÏBXlKIڑmuֲi `1nEo v5QqY=z!l"q]1uCHt_ !<`pg3WR (&o[ NIot40ih)a;4fYPg&Х-Yv$>',S sa7x; N0pdRZFWrɌkkMM T W a}T_6Q7';5Sml@(ԓAOo2ܡ ,*wq4bZbCЖ~4QOa!<@\fzȡۓ3һ~5rlzpD'4o ~Yt5Z(k ?Ըߴ>:EXI"%)r*@hF !Z~&MĴed!x#YMg7:9lm'NOHeTܵ%I=%w*6/_Mh8Mp %c&mX<1}J?njuZX"1[~sփRe6)+¸-=T6,J$ѓ@><_Y %E_^fqMwFOqa*)x/~-1 tX^yD7^M{LBLn>%=`UC`%Cj\h-0֧V~yQP1A)*bL𭌬nl a$Ёt}r\ʵzs݂%n:5"Nc%av:_g8LQV_U6v@w'9XmG H?"} .1%$4er@d]OÐ=f??5r/o{Yv̀{/U#jKΌt5Sz\X):ekvOHs=%6.6FR/ccy%4 gYZ"eH}p:xo&]P.(LjO(i#(=] ^2Z.rˈ"ǟI`SW ab[!Z%bf_Q=&ύ$L' a$pŏ}n"FqR8 5؆Oa+X.s~}qںe|һ-`ze.JvG騊w+yr?$ރfl ȩfG'@*z=߾&@ܹXF1( F31@$Gṛi y@w]b9`aaYU J\ > x|$bxEm1˭f<-%_Hjz nS6hFϷ) _t=oFH3cY~em5;uH?E`Y[NJlY%bJ"] CmQ'b۫qK|qY0HEay'v*\x L=ǀqLY<+ 0PBsy%q Zى`1#1QTk7`ULޕ̘cmVr|﯉ .եТa;QZBCC*.0#)& S<- S38tEO ($WN[v]ZKAs2BK䱐c6[T`2gnC+Ï+M?MϾؿlጮaI yRsN&-y,ܺs0F%}DF8E'QɿZd'*g> :.S=ʍ6% =ye1 @×8^>]Qyz#M. ( koWo#Iu >Z<,r 8_ɼG?ՙ9brȷ%^+F#>oѷ n@*$T0# #?￶ḅWച2%V&!-ЀcfdL͸j/(AlZDPP\ΊiFxSS`NWGBz6%:^o|e'ي~4~ @~V@<=*@"}<6頀U6>Xv5LղNl<f/x< \^4|)luJ@_е ic 9ML[\hhNB$8Cˢ\G2VйJԚI &hٹ@\@Qyߺ\)H!f/7NSY;H"(N]|z*5Le2/߸>K]%B[j'Fvx]ZelDn#HV@Kh*VPDXJO Ϫ"bo(gЮvdj<..$czЎmVT=w/WZ#+[|KژGaj$CJRm8BZP<>v}Y-OmMwF"y n)WBat@fb.ԻL'Q<7@3P128[;0E`788f{!J4԰iϥO"j0.G&?={}z[\Q |k"ԙ$ߥoaR*/ AF2X:эE6YDh)K~vTn{WnycjOf9c[?)*v7xHZX.AER`̦@}*c{V ߨ_`a@Ae{7:K0clh4M5] % ,cqv `'n,.lj;]Djb$ \ؖs9E<; h7M!vtxunމ8%Tkfd>xt66vʓ>?h7W2k P=@a}ˁ0hEu,|\[*_hr bZ5tCP]ۤ5b,=2ti~xc;m!]TqϫؗeI26?i9\MX fnq#1> t<&}d>u {R 3\`CRΛ;oRByѱr|RP3hsm6_%Hag7|uj 9-B MѲ !ng8]xb߲[j:}K:,_  3ku#UPC`_%|Pd_iVQL}q< %w$=6'L-2) q> Tx~vl"M0 Bea睦X*,x]œBףM"f׉]@OE"}9\.1s+wpAOoE˼창_C]I1xV@QfW4?VQȓIJ%_&g|]vyptl^5VMΝ>?+knD'qSCցP 2X] (}8iQzԩv+!QA"U N:o7kr77DNeWzj^HF b+O&jSPNpː(\~#Yh,hik:1L,$ JIpKᑎ<85ޫ l'{M=x&JRX)1.Z@ O($dұxh`ZX9fVZ+ֽpmyg >mCtL'#p>0 `󷫾ft]Br"7cR L7}M&^[;Hٜԇ^" m2O 5ARZ])92(ɔH\l*eYV1/̽&j쒀q0dީk@N6 Z(R`KH=b@wN~g^j>=TIs%&HU>,v^Q$޳#v+|n췗FQ$Gy)p,OӾLJ1j7O1:Wqh'Aͬ떣#ڻ~gM7OjE @}s(DZgYZ: sm&'JXղvuX/G6-$gK,Yfbdqn#x3iƖaT}(0bO>F*ɿm@ DjjQ.Z߸T;+xMjCxΏtXs[k6-_y3FiW3o:ġ1NWja Gr 7(/ViMwGu ؅ N? yJXד7V½eCbzym i$8ulSF BHyYFFRszZ@`ݡ񦎏,gvD"cU՚3J vC'EpiU__SkIx\ڷ~QnA@e[,aH> @aV/ h!e>.,Vbw5џ$_)'^4`VWbQ7Yvz(,/6WP۾1+ײ4y\cW8[o4<~VXIV5'f'auqS˶t0T$KXuI=D;O~譈WyV˄-fA%>&+^cBɐ`4( . i/SVqNVҼ攎cm$xI?LїnjE*mPOu*bv(_"yA($ZۏEZqnsХ5A_D=ϿźF~dE+޼gH5l)BI+P# )ԑysӜGա_Lu*M*hjRŜ_ %jkT{icrwFbJ= /ٲJR 뒟U~l SdI*錠 ȐcdWn9ƴdqK} BsUh$au T;p$ߨڸƢ)\_hjqGgMvs@,QVLLJ%Eg s§mi2$B̼@AvMn*S|&jvwk*4 &,R0D&ٻ'+.5,%V"6Dgd3CݽcFJ G 7b `vXbɡdmvר}[ 4+|46(,\jˏDbgOT-]Tj~IfE\٥ =F;:qP#9D~0 ||`%Ks 65 #TZܯ*~ynh0M\\C0A'zMmg ;KMo3@&/kWs#{CBw7kHw_& k AAyer|SFBVUbQEyNr8wHt^Fq![J90֨cN"\}N.׶dyW%/t&88|@Hwu*4"v!Q<]0<  WѽnBu0S4g-:j 9 X:\)y]R bA| `>@[q,+ZL19n1BPʈS֖]ha+ѥ|{**:\Zo7w) "&SJ;1X~V z{G/`E]viZܝ>2zÌKWJ3rH%hkLzO У[#vuW!" iq^>dYD]o5މ_%SwZT Sb(q޶؅#0nmIS$S$Om7֫SЈֻŦ J?K^`C$8nB83 G6ɾ@\`@ ֌,Y!J,`RD#t#ro*%_Agu&`}`Sej=AיtR/fLz c dz-+[B=א!ʸ;8a ("Ǝbtqpz'N3CD Si&`nmeLrZM5/hqS`,~/PlPP.DW3e(p2 |cS kP(A.zt:&RvZkFμFYu|lDd 3E,xCogDcBĬ8lPs>]ϥuxo/a}Cr&PpwM" mAM˭<6*NEbH$o.^UTµrjeƌ=\N,Ю<`Kאlt[1jӶ*"\^-2 s̔ !"窙d'4w*)OEx2(] <`c$A"xٷS-R ou=*}qxHpI[/6(( G'u3'+LtBR1ۺ#|]$0an(*")[06un"2QmEbh.|Wdf mL\QtdܶvG#B&xu6mG+XxueֵA{9In/`eh_ZfWpiz%lEvsL0ρ>@elj+'Cr% x|gVZ YԗoVWy/g- ;˶ 8g%ʦP%1ɽ5{u\`Rd=M`moɎ8q1qW-U4j 99ʼnnTmE bftξqTC&t/h>e25z$X%ŏݤVJ`Ic-G[DsNGij"YqDJ}5ڇCa*ttCֺ4*MSXVnξl `f^kcI=g 'S% TMyhill-NerodeWell_Quasi_Orders.Well_Quasi_Ordersdocument.tex7zXZִF! a]A-MՋhvG"uIBm5lQMB3)5 6(WZ*Cjsj}Ӳi䦺Qx8؍N}Xm F $`Fό7F9 B @: ۛ7w b2H?~7)J׿Bl'o*%lx+fH`u5IP^8"})͡)=NUuB RLc\nM)6#'ld'n4sՙpeiY4vS9 N.};mHLz[,E<*l߷ ; eЭa"yu4h@UD рRR~FѶ./oMhx3VFj ՌDOa1s4)o쾞t&(]0Ӊn˨i4Q9О10bƸѥkաTm[o/`!p4U~$0 Rf뿕׊@+YYd[O`YV 7 8-PMz8sޮ3Mw Ab ڄG~nE%EQt 1hCS5->V]$6G=$:U (: +3LE?V`-1y@ ڹMZ#$Lժlم9Sdn4:+=Fa(`Yn];lIRjB) ^< #82yiSH]Hg$p=ܭaP6B켹]^%^8)R'!0 _hOqjRI[A27ѯGc[:ng$FCSOHؤ-Qہo)sc9`j\_MRCcE{2׼?VX,r] ]GJ\S) Iua s&x [1;xU@6R=G:\ORveYzyVI|,vgޥmd(/;H9Rw$YGiHZFyp>0۪U+^o3BAmTpr:R&*$NFNFFoElxQ'qpȟLvdD=8mT{{Nu, RlfWbc1k0=B2蟾C׃"eSG̴&a yר,41ȩؚ֌\q5%%FB7(6bTwr9$;ƈLh0+*/S@4LgՏSl  #kˑ#98[d/@.3׷2vzA5kFV hB #jumov*Ud,õP[P~l=uHV< 3R`t3R}af{?8n-ؐ;8Mr_:@>/`$&Oy}RDPR2۞NV 5{FOA_58tC3<)\U|b-'t$)%6Fq>\[tGݑ_wb&JhbRaBX ƨ6"_mQMAT:fJYAP#.$p |j .)g@%j {p ,r78,dξrȥ !^]Df`<\4mBssq3|-,D6rJ4wj*,9&RnM0!+i7rq'"Iq آ&}R{P yst}֩~GfZE褅5?dz쑇ƒBLQ4v6ߧ8,*jҴR:)0PGS )ƪsFu2:B 9epK'/yfdl sYиʁE6 >w׉K=Po~#У`^^ihǥ$OD>!\,)Fymlʒ C`f]Zibe-|nR|JMHNxn ׹@l}$A@uX~4+b>Z;NcUm_wrl^$eD-%=9<钣^6fZq(e]vFnL[޷^'/GuO/Fzk ɆU4R tZL37,6dI4| ؔ=(`V嗊BgAGۢ~}6.Um?'elhեY؇媊"? '0욉igE-o\`;cG/lG!: UrTiH$ *ч(=Ze_V_ӈgJߖhX0kJWo'ZyJ5mnWm^A+)#'0m]2#JSJAD )VRMJSe1hbW. aP35j $TVy:xHHWh2a]. ϱ0ߢ{#E/Oc0)kݏ1 o /"$R83HctN墥~8ӨLPA :$|]: DPm :ek*^ɛׄ_61ŬQ]olXu]dV.wbݙ{r#-m57f!.ԃ $3yR6H'>~,$!?8?\PiVYUv!;ؼ"~o ?4ި.Nc3PnliY>֊"- 0u>Q}_Tcz&!Q\{W{gYZ ii'=% DMyhill-NerodeRegular-Sets.Regular_Expdocument.tex7zXZִF! ]A-MՋhvG"uIBm5>32 fyL 9_&QxuNEXS}_o+VLA5Ihǜ_^[9C"9lKQ}߰wDZnSC%.1~G@לBRrOKcg8X`bD>~.7$U 4C=}΁Y1~d996'HP!J;~dF|'xu|kKľ` }xR[`x2}Z /umȁADXT7lȉq#n<:ioKчPNiJeUlpgneVbE\骿)@Km`P~@8,J9/!;D;UJʴ4dBV' P3akEIVURd\x"M8"P (5ٙ%$9nm;b|ůKdXQ"-P7;`O[tlJTRbLq,bϿEܝ=rFA&̡knvU4p_CULOHؗSP,`tՂZDCBӏ3eʑQ_kIv3陽;5_~.QK9`^ޡ*{HZ[TP O'F-g K<74Qnɑp6tx۵f ^whFko1b6BBQѱf\,"x=ѥžWQSHh8Z}uw/]bL:ZѰ:E骕 Dz,xpk%+BY0J OBu}w.f2KLnoGeNRa.X"7<;#* ( ׮G:l|\xuW7=]zL%+Pg0皕Kz43'ͣH>/il}V;)E*!v\ck\<|yZӕpu|0u5}$R mqstw͐{%r稱eWpp7.VэyE֕ t8L\}VBywobt֮g5W}ѧcFeVȄḤQYAC4N.+j8_,X6PxWɲvAumzf7EK2!GgK釈05H"8_z8|pb鸎THý+d|J懒u6jrDHǥoY&g 74f:︗IS7fce8Jcĉ17_SCLڸBZuv(EC [Ggސ/n fCnLTj8V{ Xyl7xHkUcBBTBKQ b ̏(x߅֨=5΂S0vZs ݟOw2[a+3[ ^&y_R^!C+]K!.EbC(C*/x\ ,MڴbGؑV/s1܉Ϯ~!O'9ހ_ߝRg|"ƙb+15|ц.[ߖPp\t)txЋܥƸ3ecNO8g4o8OHӚ}s9aq!lU- U/\]j^>&3v[T%ѭSsշ@lGkUL >-v42"z aАMa.+Rwi?sinQ&Zx@lHd=)L޷(+V q L7_Y{;z՘mr ãm26 +OuMmX [ m(̅Uhʗp?D6ނMB [Oh(ZP xFPT|$E2ec YOtjEzz|i F2wKXѬiʚa(1BrEpz%?-)IH$ȔՂ|ӌBRg.sƖ ^\#ъ{6)95/vU`%^wp\.@r`Հm `w8Wbt9m#tQ2.{ƕ0ڳ†.x*pAbu7G BfV賑|Fc+e!jyA`4wT >$㙯oH^a3XF_&R,A9 ފ"RQRϾQ֊jbbr^]-Ry;PguhDu1kţDA_0rf_/MJ%ipOA˴1Z qOi쇏V#SCǵXxMc1ZjrQ5'F enS2ToT[wgʼnSty=NNU0m$&]FtE@rzL֑ZڧH{4 x]Q]fáR-*ݡa/77̆{J2Olm'By6HMjWCXےu7 *]+K],3|~d܄kYt5G$YK^P G J,:CܽP- tvNIDZ-&J+$ ubck6,= K@m76Kl4 WɊ K؈G[gVHlNӧFkNVrEWs#_)Hu<^ydB1^WቩA.F66NH72b'8cl߻dw]-Rx3w .JP䋞K|*+Dvw}Qm] *$mֺ`5AC( vr l[!,h\>/581,u2+s C=QJ%]EO|,2V$xKbdhus_^w˦^ I${2'?d8hrPvW `d Qr@y!I榦kG4Ei=om?ۧZs涹ܪZ)JzгNû܊/_mvN'}2K.jw<LrB>3 zXe <ʯ\_ȦŸv}uYPQ~[K h DMzs|e$p*'IC7'%u2̪q PՀ^{]TznUSmW;[n/:vOcK`'JZg䥇CEg[{5!&EPZ+LP/ɫf,G9>sT-9L{qa(|CqI}x;=bhr3Znb:AA UDH콪C{.%IP2 I~u@(5MF>xʬ~ks% P_T$ke^2BITBG|rȔ>U0=U?^;\ʊ.P2\+arp)LMM!NP4{yn0['3ۘ!V~+ʉ^\B6eYr)ei+('HW_ÀOi\--enL-P{cwuiHN>chT^슃V:, kSK7 CອuG#`ŰL7qji$K\)LO!Xe.h`(C7iOu;"8ud3n tn+VHUUwSN_g! ,0!3=5n?3D9\~ ˌX%ԍw/DS@?`F b0nH U+xm%E:V02fADX;δ ڮ:?ڎ2%I:u;Z [/LqM~?9 FL9șDΠ,H XCF˻|p8&P˺)CecY.{]xX~u ""kp'u -i?-nVZyu8κh?!A>,`bܜ^D j|Hy/1;qH GՆoQ'̍erW;EkH`DA)&o[2(3a%~?Y2-o &Ʒ4]W&;^NluS' <)wF{kS"wC:F,7|w"ixKӥΤE ºE:̫J`6_󦞘X`BWT;n4M GiJSJ Xy> 9; a!z/Bb%a)1w^I%aR)ǟ zZ*uRW _d/'|MbWPt|?c~^*SHl=]TdgMZC=ŰF<@@ 8Bmؼv mCPc1DHvQ]>h.tdoQ5!c+?qMtc_2Y c{iVe݆R9,wHM˖R~"GN_zu/ȝNӽRBo}27fe2AuP2[(zSh4QSqn7qtl-b3['ϴ Xzf%q~ Spo6H;=srO}&1o},sW~ý/*iEér`]Z[Kv?'h{ HK\d0 j-eg.1Fw&nvIL[*K@f<L:S]TJ|U2j`*[#]2g4|wXV/320k<0} Hs1TTO8[S7xm37r$iE|EQ`B]u zkdV~x"đ'[)冼?8=(,XΛ^:$|>w%SU&Y>2Kw2ЮR/saRdJ"yEV`JZ]5ʙ&JQ"a#k[c|bHiq^ `ԡPDĜBb\g_%ZΉKds2I.vbĚߟ%jʜp2'9V _w.`(od&93IJqfg|+G1÷ʝaCIsM>PD$DzO!GLK{;%=~z/gYZ d'U% LMyhill-NerodeWell_Quasi_Orders.Infinite_Sequencesdocument.tex7zXZִF! A`]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 2/Eak`uMtH~%NM;s]-@LJ%#M Б!_[f\@a=7TG3 p :ܴ,n{o79' hEC6MF")?m\D\]a7pʐ`0gx*f8@Qry _Ѥfh-Xkx!5ogќziRhAa V1rD[cQn1i)cN1@a\]W5J3Tnɥ|Ȫ5.v#{\UYWkY@rʹNB' ,U9@PL|lg^Sd]O-g<fC""["L=gP$)gvihsAOS#ƢmC#j*QP9PGtwDlkMuJH%b:v8o9< "iLa-2syB竘XaAYQ9ʂԢ|>:({~lt:+,莴Fvt?)r6bTqɪ@%%g"IU¦. H+X&9Q{HPS7T/=%}i<;1f+[}]xnO,dUrc,+ "LG "'`Si |#HsW}h7.lU\7ӭ &fDvenWVTnI.f,Pl|pԜ8W4PǩRL R8i;E6_} O4xH+1Y4f8&lT{m??:Dx vL,q54\WKhlyKG}~µSknPK- ҒoV?c`! G nPډv6.0}ǁi^*J<Ɩ}7Z.ü/z JK s) t8sTNGX/Cz&QMg<8AE*  L34|IJO]& ~ -H&zO(2.4{c8xYBy;vbnD5JH#Zs{ւ/b[{@[Kݱ{TB/rlV{yn2I #B c'QKO& w aAxndIP"Ꮋ1K5D wVVǐ25C7 jjEr;;Hc(yD:> TOX 6qK.䁧RUO)CHyCE<#f|v=w4~%tӦ"^ '3,u9NskV>ta !_ I3V>[$ؤ @khdAPah LS[~8‡A)˽,vą/wv|8D[~.MD؅wc* 30x~4OO]T#BEg8 @H%Xv7/@:6 uHNl;;jFJꩀ^o7P'6b46Qf;M#Yʳ {bQcm5_խbDhbŮoCӹӧr&}'1}(rT])B~ WPz 噰Ky,rWX+Glv*Ń`0E櫓W6mdm&~КÃMOu_gYZ gg'Q% 4Myhill-NerodeWell_Quasi_Orders.Minimal_Elementsdocument.tex7zXZִF! j ]A-MՋhvG"uIBm51dmrD|9?jv7ވS x_]ySq A׏@L9O‰JJBvuT( {{:Z?sROzAPCP9kJx\Kj@J"1˙ 丨*4k%$gS5GGD}NZGI-_4Z'lnRE SA+N%L#-b m9TLd(\O!T3$!Keݯ?iK[BÙ*n∈rcDH'nȦ{Ɛ[Hw/uYPǫ:9G`ȚFe͗rwN8'Vcyݸ0F\>;iy`j L$i8}71-HMW/cB?W+85l:CFj,#ZnnK`̐bYNtAy?efW^K)V+yMJ0$>)&ZC)QS;)i/Mp>gh2&3M)?1z0јyբLVbJZϽc5QY`dvy*mt&k7Vt$^ݫ Co4Jϼ7& /}(7n hv:Y5)}8Jφ1#_nyDk%]X͗l֌8L7׶k(oko_f,Fw4#;q:2̊y{{dUdR85HQFW./y)\FWLLYm=) s4؃o|Vz)oQ;B~-{r|@H4ZN$FX71XxyB+{ y[a+ tjGU8ݮr`En˟ MskU)/`'Wtr|C%9aƍh[k1 {j bAeKv0ԂjOdQh#?q!3]!pyjXFS>gq{e{5lq2Bیm{?I_I6`*39n~Na]3!0kmn'-"wMmy~NKksݛ!xqvT6f T lg r!Е*zRhb^oHMBQ"v !v2R|@a>,RZZ|yɣ";R#}WT\Up3`GEq?|f*H%JXuϾ)g!&2\EQI⇁}I6Ih 9Z0"K{,{ҷU|d CM. @3Ӳ^c.-wc c]z^04쁹ێ9]2ڕvO?YpIW/ c}QڨQP64bpﱴKbkȵUYa*[VFq%cWcg&kܳۢ\_}Y ܩZf0;U}U4oY qm8 #ݦWJjz0#- oN_oA9"*RQI3JLq=П֘jYrr>OAQyأT}BQҘn Y%M;!Lix뀩Umj/a@+4Wx)a %An Y6*|P q O:+ %+ jmP } 3_*qllƋ(vR~Ubs+@{CisNYKLb'Ly,% }mfB1몉tf#$kO|>( t5D.6. ?n<uhӢ<|8~=D%&HKh$I" {Xk*.~o͠!~Ʒ`(fAJt%}JDqC捘<%:Ӂ|ډ`m>y TS%| {nEh=`4c*~A➊;_m-mԖDS靜2"KH =]P)~܀Zt.ݱ3aŸoֺ`SԦNcDP)SK$5!Ά|P^/IO{G}T:Xͮ4֗O9d8Up|1es!,N +1=E(%y׉c͝J*w%͸jL dpp[|OJY#ҰYهt,JomضsuV`nT8$6~[D`dlZQ3ز86\ b;]nvR-N)"D*1DpHa̍l$l~Lac o̿A,`7rׇQ/~x\zB:f5ˆjVFkMߥtʿ.Yݦ7õQJL3j؅VbQ 2pjbDL*tqNIr|ȏ>w+&?p2կr)ܰr^ܾ![RLڿ~G-34xkm1egYZ $ 5$'A% 4Myhill-NerodeRegular-Sets.Regexp_Methoddocument.tex7zXZִF! ,X]A-MՋhvG"uIBm5 )gtbGW2bc/6"yJxw\t/KBoJIoj[1#i] [] x$&RBp7^Xڲ{,R)Vg]'`MKp"S+<`g0P Ln*Ι"᎑ͨvGHO QpyY2l?z>|^[ 1SsR=SOvݍ|p:K̎* d87ZƋDӱȅCbFg #;\(~_VyH/:RGZG[<1$N߫Ɯ.fG#2S m7 O9\auhAWLD) 8+wD=hHkMܡޅ0sVW (I[-[T|ʗ;XZߺདྷunz{Qޞpc B7X(Muh|J{ Cyx8dۺdls_&ЇTڴ%"dROXl"3N3A] ilj neKJC |}#`SL yu`&RFyea/=051w{e) O@yQ=^:v/0vKT$/MS.tbAo\YցR;@D$G_FJ]JI@j:敷){Ӿ^mrU'wnnLUE A8) ܈LN + kJ„X'A13ۖo͎GJ@OW.@AU)3` frA CQ_DN 0.d-fyDPFXtuߣ 7qT`ñ~#0CgXpε4ݩ~e:y:{ql.4N;yc:վØޙMFT@^ 31٩ Gۇvts3}"{~snj-ZW W:|BFCY9nxK8FvoRZif\V\!mN/{VK}0)Nчzn8Dk5Fx!/::v` &1N  IgiWE&Smo+(Iٰq&-@U=rWC GG},jL%UQ \7x!`0Os̶FS?z\AEյ ×^Fu])wW:yљ;y5M"#MY{WRS2 iT̩k z(X/XB ᷑_!r3{%ԍ!vzHb0\A^U+>WDPW?l50X[gYZH'=% ,Myhill-NerodeRegular-Sets.NDerivativedocument.tex7zXZִF! 6M]A-MՋhvG"uIBm5ģ!jRx@މynmAbD^"v$z`RW3?>l57,~uA]n%>KZ>^nV}bl!X[!BpU!z IJd4 J5NLCp{%mt>Qe՞8sọ렔Ni9"hjh"2fs ;]/؍qzɄ:]'U hu&` "Ӽ, أ0J+4AxeRSLR$QY0 WɊ;N3U^Wg'`KVQ}f~so&مT ҃< TuK}-$OzO -&Zlk.19NH֗/t;}1TH3(5Q,3ǻ?jk_=##V^jhkY|>fBmMڽg/A a?|6_#. 4Lf DžR=+WUr=ISM$5ltm$zqbB}sd9IlvRt`UuTz}ꂔBn,`Hb%8oj4c5:rX%GXCrnck ZaNu;$_ q" c(y[NՒx*Iq` l7fQ[ZNf !IjT ٹ0ǖ ɚgB+ns:'.P&AO2 9}85!Iwxkv#0WT&m}8:&V4^ei RA%]fhP#zTLY*n˃ـ^/P85q۔mX@ ($U[VQ0ĵBJJf/Pg#tod(d< .>/FoOV6}րOg24%;Y(:Kʕ<%3;#<>WK1ƅ0%oEǸ +C؂_n=tkm4 ?15|FUZ r){BdRZ{!~FDg1_IgAEbdd\ By7.>-`Rz~Ȫ.uTsm(Τ)maPs;ECfӰl5gql7 x5ȻOA+W| D%TQ@~LG˹q!]|;94g}?*. ]MU!p)X lhjagYZ > !>`'5% dMyhill-NerodeMyhill-Nerode.Myhilldocument.tex7zXZִF! #Fi]A-MՋhvG"uIBm5v0U6+cvB7=2LpLYjA<0P\/v͒ oC mUOfqZdMV"PY1%#ˏ%:RL+di*t6u,MyʻM@3Gw:Xֻ P҇ByNdP| xnGʺ4X/\XȭKWqM3 "oت =ѩ)RJgDuu`vEt'Y3Sn ;фX-G{9_O[U3<3Ҝ0u/e'Bc8rD-|$n{2, 6D w&0i`Sht£_7βߵCY?8ݴ:ߨ[EC>țMv%0 n&g})Q>85/SV on[׌CWFD&k z-fP8jShoө@/nm }kee}(c;NO>o8yiq +4U͞'ЖjP}4:ĥ&kgw?. )Sb^Q 0k(QOJj͗XوmBFkH޺9rU/XկJu(e-AYo;2+2#Ruz=-:&AM$&%u_$j=. J1x h*7 0ethc)w1J -Z!> .(5Å FNI N8B,x9MSzC/S73]\Ea^՜ 4%W'U>7X.k_ ^sސ1> )Ʌ0N];#8zHma^GL1rWQ3%yV}, n*#U$~{'#[ӤMRN4%ݟx,c hT>UdȚlYss9HB8tA l^VM.9,|7[S?Ql4Mn/=ҺX¸n[ذ-T!KHir/uDPC6%78 N ̂w?gPh&~4iI>Vԭop|d4سûcHA[;T/ ]ԇU-,b0?vÑDB:gu6PJ KHljU,0\hľ;Ňc5WH\_jmvyA4±/mI=֠({ƟA.E,=KI8h #|Y'P7V)M pmUĂR~_~oqsb[^UYD.Fǘ5 GX Im_LwK%6!,zP#/[j-fC`W,'zT;tE% xTs(Zn YHm"1~Ydyߟs.PDgD {g%><>Yz B;ZE{mx,9N Ylj,>_uyH%ŒXG?qt:r~jyI(UDSedZ"A:Wi2xMÌ݈t]x0+2Q?ʬ6Yϴx%ks?^"l4<̜\k[ &o4Y!W~%p/N \mAL2ۑp+Q9lG&# G͘i6o".Qk}k붽z#` OÇ qӉ9Bl퐐ڒVNpVC?K AsVTъhk ^{1{~Ҝpᇥ{yrɞ7éusF$}$8=Cw7%b+93V \PCݠ]>@y סHmLxQ%1/nnn7as@.Oȣ xip(56Na4+N Leh 'e@5Xvc@9D M߷#u i,!z_Pw=nE %=!"oBcZӎbH)tVm1w:Dl98 eNcgYZ w wS'3% LMyhill-NerodeMyhill-Nerode.Foldsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5nG oE#Ϫ݄UNI7TтL#0ߜ1xXl!S*Z6#mtFgO$MXLۖD_+GvAla?8[7 bO4ѹE 5%BaP' J+;%VeGx|\l}1u|$)Gԑ\?mi:.JTC5>2]޽UKI6m23h4GȇBNQ٨jv׫Jw_WShfGK_@hA+SC.r #{ ,/tnpbhrg+dxU޽Z{&dF*^"c{S7^w9P@=e=ʺO8 IB^ w-$V<_ kT%RqX`-975$h ᦄVo,4t??rfn}=%24sd2G@MYS g+ߖIbm׫xsqz|]*-o`κ׀mZn!.)2e3j涙-gFMZ/Ƞg(Yd$V-zJ#U߬TT{ Nz+W [2 'IVgYZ0'U% dMyhill-NerodeRegular-Sets.Relation_Interpretationdocument.tex7zXZִF! "]A-MՋhvG"uIBm5ť}(ܨȄ,l-Ixl0C6OÞV ]lS,g\Nr{xq6gz$mqCVʜ-~~ cV 0ޜjݝ 8 _PmuCDYWj Yo/:ѷ['|:24rLⲢsmV4}n W7lLU'9&Cs`LBy׍],8VKI2 q8-sqbEY.V'jzt;ЛYnwD'{g<_[8sEWcawjry&Ĥ sk.+vIAh7{ж JIHw AViK!{kҚE4uh::&#Uv 3rJr3ѽ3G4z?xb|( r' ZH14ć e{/x` nzeE? *Y=LʴW+6Z¯0PaoZg6~ aU_n{3?!젱2VC؁c7B2FOO4^k#Z6KCʳ5t䑺cٺFl1g9ߢ\j]Lle碔D:ASky?")0GjB9TjRʡny+kb,Rװf(㇡bE .nǡpw6 rj@6@_GF]_ooِKjz 4cep|q䖷 `ȱ mb.R{İM`ˈ 5:9I4Lcl<"(i B j'_V!L3 S;푁bBo*8ѭn׫IZŴ3OVp0ְ$6 ^1? d".|6iWB?GxjBx{}$L?unNFEEQf"~:5kҭX_D5g[AM:[ 栟~OvHPÝG$92` + G ݊溄ӣ/60pG|^"Sԩpb* 38Xt8z"f\v*P) EugYZ}ʶXY8īh^R_.T8".-|': qN2=Т%IvE)xOlTHQLrZ(c"f1h D{ @/vk &qr:> cBOz@ZB7iу'" {5=dsd v4V^|dmTNm!7ZuB-yZ$B~*9/y-;ȅC ԏ$uu]YKxӢZfI38͕d+s8?b=P~`\T_A̓HK!BE3brY$[:rkf1t]z1œ%KпFPnnpJ~:ȒUmsII>;x(zj1f[f5Cn ͜gOgsQ;y'p)h z뽀 #*wG۸ !T9,ga1QgYZ7zXZִF! N ]ŗXiɟCrhi^IxDY?Av|4sj!%=A!7͆ >9cwcr}J_6{lg8BF IW?@Zܽew3Z[ǿYO^S1xTnC;PrЇlXRb^9d|,p^:D十-UcNH?aflYq%\| #%V(}= 9UovCNàFc7yɷ~u?%U\da#So<9|d:&^NL&c mJ;B_~"D)3y-gH ;.¸?2̈cᏭ٥_wFtbgj婄 Eδ@w @`ay㔶1-MG݅چ>r3hP&c6@ӘOIƉ Ipc1)ܘ:ͱԶBػRf f6;-x:pXq7?Ai?+Tu\7:O?BdD͛j"2 "?ElM Pj־kurq--_+OjT a&2w$<$)'|,F{a &Mz >컴X&;Yܬbch_1]%֛ABZlG;^GףWo+Sr# Hʲm{qgC/~0{RʚpBY3iWqOc—-4BTWM[f7GS;VOV'_;dvwR@1<)ը\½>4>#-ݐbrLwˤ1d|Mxk eЇ!J⎱KI!ٗqJt_}TT7!:곭*/-ə .߉ $'+S2nm>ՏVo9A5MK>!7 ;71312b坝*Ϭ>}暪 / J* (58A]V!In*Jބ*3s!MTu·ިvq4 $ UD`itVR &8N ~y߽6;DEygvq cUulpb7_ ZHj`>x&u҆R8[}ҹz "곸J*`h#αWY'<+%FÄ(ak%͵{W H(#_b!IqXY\Xճf.Ư{%jgPLs<նH G`y-^\fГy"ߝ‚,t)g,5^ĥ1 e/`X!ۆWO̼еkjT J huSgQv3_ M{!Ӿݘ;1;҂q)^\m9:n"bJVY߬ޮ\r>W&nE%}cR Ȅ}w_~GM%5^sa& .=4&J?XW/{~UAk)K;P>jik5Tqt-?N,Un-}&uC{|V<跖_qAn F gYZf524bf6076d3ecc3eb91f618dedb4a4ab2b05e360a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176