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  " "S't\DD ] Myhill-Nerode:threads=4elapsed=27.360cpu=74.184gc=2.6807zXZִF! (]ŗXiɟO}M:; Au8frF@W/ϓggOc08C~3gi-=VU$Pt_,xS3Y+&z[[Տky'^'ʥ\twEOI`$!Sb`5$@EY=i4 !fC{Y-j 6֐=3eZj\w2Q]De8 X>[ȍ2fDB\-YqqG*7QqQ.m7N,@ٶ"HduyO=h/"o&5Ҝ4c:}U&M"eFнLNZ}C"]hYgi Fn3He43%v:SZ㜌%yZJt a;[jZJEs3Ɓ^=*?~e ޲=E!ǫ9gJ:p' yWǛGe!noE%< k)*JlY7)Ť%o3Hbv?ؠ}4b>Cy8A盹Y#` Va>G並H.V UOd[H"U pۛzVx!oTgNuU4ڊ;Q_nu$S#&aV dGPQPkct~zZP\Gwi*qS-gU$s` ECdH!"9+IfpO}N!S?hgYZ7zXZִF! P]% ' Myhill-Nerode $~ 'U% |Myhill-NerodeOpen_Induction.Restricted_Predicatesdocument.tex7zXZִF! " &w]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=l#"!        Q  ` ( C_ w 5 F'[%Myhill-NerodeWell_Quasi_Orders.Minimal_Bad_Sequencesdocument.tex2'3%Myhill-NerodeMyhill-Nerode.Foldsdocument.tex3'5%Myhill-NerodeMyhill-Nerode.Myhilldocument.texC'U%Myhill-NerodeRegular-Sets.Relation_Interpretationdocument.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.tex6';%Myhill-NerodeMyhill-Nerode.Closures2document.tex5'9%Myhill-NerodeMyhill-Nerode.Closuresdocument.tex 7'=%Myhill-NerodeRegular-Sets.Regular_Expdocument.tex @'O%Myhill-NerodeRegular-Sets.Equivalence_Checkingdocument.tex B'S%Myhill-NerodeWell_Quasi_Orders.Well_Quasi_Ordersdocument.tex 7'=%Myhill-NerodeRegular-Sets.Regular_Setdocument.tex B'S%Myhill-NerodeMyhill-Nerode.Non_Regular_Languagesdocument.texF'[%Myhill-NerodeWell_Quasi_Orders.Almost_Full_Relationsdocument.tex5'9%Myhill-NerodeMyhill-Nerode.Myhill_2document.tex7'=%Myhill-NerodeRegular-Sets.Derivativesdocument.tex<'G%Myhill-NerodeWell_Quasi_Orders.Almost_Fulldocument.tex5'9%Myhill-NerodeAbstract-Rewriting.Seqdocument.tex5'9%Myhill-NerodeMyhill-Nerode.Myhill_1document.texB'U% Myhill-NerodeOpen_Induction.Restricted_Predicatesdocument.texz @.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(ÄX ڨR }|Gx3=@xq= TAPsk= V" 9?zQ2 ފk9GGY:EG'X^Ŗ+YNF1ĥO]-xUI*+QAĘehHCyiM%'3"=y+QktƱagFTz+gј6-PSB{h 45 q23j ]pnm!0:o!Ä2ύnk%29yf/Rc!/xe%~py$8-ƫB,"Jd#w;;K  "Qg+Ԇ#]Lu+o]* v 7XtVy Q",zTzG&J5KߞZ 7p6dRDhdTUF7[\dn9g )% }방7T]z^| ::yxLS~jZVvRY8AItt@hsL/w!r.&6kt%{Z˸;`Rj!1{GpFjyZd:E D Aѿ9K-JxwerJ*y:VcKb3J( G4@4_Mȫ i{k_OWVEoDj =AIBXܴo-YaijJGP7w'[{@mlNZe/k"mzp!Y 3bR RO#Pa|P{VHL /hR~ cs[)1 O"~K>$9H7ʑ|$!ӵWGQZԒH_=pR|ZAn&ay&2niw>?:roU cc+Y_rN>O SD1&-$Ԅ,{tI~j")Mi*-ԓji@. wFC]*iKjr^YW}//һoR`2We9DV[r&X`*ܯAS7"D@e^7pа Yf)hL=; 7*:#;qrj jR8 Ci;ՓH0+ 4c!`MD-qo"̂`qؓk [**R'E"` RJM3 ߔkUsV:Ǩ^s RF7\?'MC50+>ȉxkqQ-q/);~-ƫ@)K_uuPP 2.גgM{ da}Ȇ?BYJN@|[̨*&^8?vx?ԖZqhP7{XOA*Օ[Xgy[;QGFw $Uߥ!'8)S/+mS>de'| ѯ".{ߨrR}۸.'ƑYy4*F$7t;$p*A6ߡWf",^r؞ xf`|СB}KCG՟[:ϭUɹEP A ]»H&W| vڮUjyu+ZzzN'o(QR654%ŵfw>+cP(pD-@ eK= DeD J:0Vv33G==&5 no'^Zq/ʋ?Y [H`|T}+C,&c <;KE{oo @1/EgK~^x_M*:'dר~,IK0JC C7?ǂ`s&6E(n!NYώ]J瑀\q2ژ,ؘߎ6ޤOL,!%ˢxQf1[%Ox)N$JtҿOdv)B_4Csesn1*-!5WQ-.nA=#։+R8X2É~@h _foϣZaz_cㅘ\Dc%*[Ϊ*wFV'"N. p~& (`2S, tz5Z9sL/t-ĪȘ!5CeV^8SDh;”=p]2$PڱQG-g<;z^m^YYˊbI֮)0q(Y:q|#9~eNNN& 'uIJ(Xw)$%5d~5::ܕrɠnYے)[e$llOpyiBv:Ea8 |."uV]9^C|#eyW V6(6ٱsR쌩6Q#]HBY& b(P4voOvNpQ`@a k+g0`몭0ֹ4~ 4]d]sw@m:^LDvt^;^Sd"p, JxJ˞EW8 YVݙʫJ GldW&HƏ)BIzm27{v{&A@_@0!93ϊ&Epd/YꘀCPhǘz>ݍrS"Uow8@IS 8ܮ!;U7F~X0gp|/^yvY6D` D$cTA V4/nx+axz(q}o+'z' 5Zڔ!χ eB4X W4i՞'x"* *oHJ̴ uHtؓn.as,bfg1^+/n3BJhbm~yB8ksl SBY% @Z~ė1v)nK8}įn0C )k<G`I{kV sF&nw@؀!.ΖU)/ZDjOZ8,@t3YtD^l(P<ߝYW!#@n{+yGSrK7NBn/捄O8a%5'z8S&´%rs4FX–x%-4&.@[}1@Oj_cV=@ nUԋND&$pjdgAHG@cPPV웊Y{mClCܺB0]fwbk`x泂=&X%jC'ȁJytMMl>n A<| ci$ڌ-|oF;٠ZCम%8i -pv%#Je1`L[txs/e' i[- }yu)P%ޓ܁pT4;ؽA釻 ?}3GNq+@~T^}۵<8ۅv'yj NЁV 42ia[>IIk e[XW^1R j.]醪9 T| . W#c9}o.//u$A(׸Anl3grH5N9pa;:Mn09lĮj\ty&0AF!%r 4R"\Q4T=lTn/uֽANZ*v3:pjW~gMް>[ !Pngb;tq*fSEq~ńt1F+;coq720I\l`eS"̦Wzr9UlBp$pύprIP X4!ϭwrVҝ0EwHkQ)!ߕb`¢L{13ۊ3x0̤1.ڦU@ @ZP!XQĞްRuuyd2@Q/e3+RucɋoQ$ޜ/iG- +pajpK##OZH:.yb%mFN}d3ehIfI g.jJ_$0y,ʵۻMI^QZWaOp![*ow:$5 OjL<@iy= :! >E&{a8bgO5b۾̺['c59Ś>rd=D;C!T=beeas,619,Ȇ{0b|l"!tۯ{ٜG!BLokuX|q]8.)#SՖ|nZ pzmw:^]bt8JmPujؖO0ufBD&gRR6%yѤK5]J0Y'i 2.~quF|la>EW94,DӸAvFg;=A,r M.2j;1A HFȝÈ Ԫͳ#f / It7= ۃ4?]HPvk'ݘAp1yӂX4!\Q9Z:Wb>?I?P4s 9يgvOH6i=K/E z{`X] 7LW~6a9ѥD@ vJyu9B?M*^u@5G5>vXN'}}Bl ^;;o+-xﻅC-  `nƮ<(=c Ԛ.#\22IXBE;'4)ĊWS\*#zI_`aP;Q)c!Un4J0A7[jcWDVg\|[/{OFN|a%W!蕞O#;1Q}Ho.9V^#­a/ɻ5㋼|3 3TA}v@|{tCgC_,S%&(,nz\!o(Ȫٽ@Lvqϵzr˄U6GX#+V7kx/VyU@2z%y 5 С:-K 7{QiŁ?}C[ 2=rȞa*uFx mӝ~}9Wز^EafrGҘi+W9~@VL>$6% 3ھQ1Գ$ _iwyudrKeS%iF?Ö;Qo_|w`L}V .L.wن,r|EE/xiGdTiɡdyQגF/e^;E+/6 #ȷ~ Zrpr 6Owuufš@/\/QU?21:%? Â55ވ)n A/{ O~1Pn ߼Pg!w I<Ȟ6{E$,h&6e)Ɵ$[qP6ճl- '\z=ҐSjAQ$+9X.!ezzvs>@AfA+'}|rK^g#`:?S4 =_+iG峵/ѤiB-%A2'=&ky.QoPF4,iLkYA)O0=v -\j|y42"T-5Y4$zSsur?cLq;QsCEIT"xUݽ1e5-g22B`[xnfR4<[1ƢE'&;n똑GpsLu ,!^kvKQ:$JLg!pAbFV/bV % `j럭g4kd3|;IRh)ֱϋ"MWƛQGÙeo =Od"kunN,3koIiٻ{| `\dft/6خb5ݚ9O^a$Σc:'tՉ]UϒOU/g{0σdb:%0BQrĽAqOHw礅t0-ݠI)>g j y>7VwqO#׶F/C׋ c\LKfy4oeufe:tmEP:T:׻ cg uo/ E!hR8vxde1-:o @3yˋ2+Gf5:z>xԷu@e:b\Xp~AUukFN6Lo |KVydYT-GС~`?uJR=Eô}d^MJŊv2 i˫EqW^O{2ξ<;{緔]x"V(bpc(hm ~Ws̱.^Jprbņ}dj`WyR$:ēH՘ZirӔj樶V"U$T2ԭѧxW: ?ϬFh]g;RK&k ]3"H]4~eM%;nOw?U\GBmML7`S;줪Z1(gG$_u֭Q98z…򖑠9UI>@,x =Kuv 82׃}NJ+7+ CR"ra&m_b~&@޷ފ|ڽpj1Sa|ƫL'{)^mBA/lL%5me/o߬KI4l4SC:8Ib&QAj5fXH.՗ Vi4kR9o3 #r`˶i풓gi"U<[=my-m)' E·wv%r2wߧ0ֶl#ƈ}; RVSY l3J7m_C gWM~ pXZ)gc16mG/y;éi*"Pkۋj61U{PZ7~#y / &?1A%h\ÈզUŲ歠4%#@PםwR: 瑿kv0eRswq)zOj)ko 0[f<ؑIcLʃR}(i5D6e!#4H3W ^'lO$v}za(X*_&x,(NW $Thz/tQ lR^},mI 6ϡJ]5Ō..l^nAE,@\xIn#h<}853D6dLҳE|oi j^.zJ%e4_CXG[U9P oK4PB[r %IS*Hmx%@p?;O[Nƨ@Fx]b !!lXƷ:/H7ì4穒_l艡](ju-1W'1`3B}/9=_j` }n V*W?|lPܼWOؕ5p2 ܫ*i'ABe]ץPK1ߥt't(,\(+~*^)K*ҍ&aIr6iwnbA?w vxQsHtmqɦc ~Q//Ǭ_Y_&gUbeOߒ[ԧ{Jn]xSV"?ka+#`[E4GxV@1Oӯjkez}Y)yTJ9CsQFݭ12H[q~B@w0+ƒ7Ӗ0^cfI{0q~݅%vUh?*7ur^K!)+?ߎ140ޠ56;5IC|&2Z?LViܲ_b DGv^T~ +TgDjvke0 Q4 7u8V&7)kPֿL!Ne\GW6cKLZt6&)]ػNym9ې3/5躔k}F4Oq.t}[MzOt*jAHCx4( V* 2G]=d8 j!l8!@{apC#)ib[˜gXMV8$qbx08\_$0SW>7f$~j^#N;p !c-BrGWSlG2cNRӢJ`9:zO@gTxfIYb?-WP ʏBp7E]i TSI`$Oǃ[+>% ,ȷ/=aLؔJ5{~#wm.R |=28Ђv\s4V;OuԴ\eGuA*$]r޺i/# a^ύuȖP}MzޤS2M`pQKXr9ؒٷ:*< ,-/OW#3.%;w+Ӷ?3C/^~2^~\P5c ySk+Ƚ4{r](TV(1Gr1EVёde8-K˱|HnVćpesw̓t/UvZ$'8v0 κBÉ.oF,x]jאtsr6'HoNGQI+\e9I}L5WꋀۯM4YB7W.Or_0<(zTvLF Db{:'TNa o{@H̽?CPOpڽLJE&*߼(L3Z2 iek2;Yy`$;;Gӛd?B'-A[*hX@_ `Rz-5@ʟpAAN哰: ~[-w8<ᇭaef3x-O7(:੠2 &N8k_D2)C_isHAcW}6aE7bmA~.?cب,t%llJ&BVtGZy0 [VӬw\ UMrrg+HFmo 0΅7qE`4™2= s0xw$?ȕ#^QX8(( O_5H<><`tQ6w_)K̳MI٩~%O/r5"iLsnͮPc[u 07< |X;bAٛz*?X_Xu⅕W6PAS 9v)~e:C;n}L0DwPb@ 8_%Xm4RkHy)5DZ=Iό|$#N"o>x]Y 7~SH `G=b Asͨg3o0cnvMiI( dJ7NZ&?%cm/qyTδsZ]–1K<"ⳉ18yW&_2\HgNޘl†ŋ6=mpL:Z(su\Oy31 M ̗aj)NP7dh+{[yz놚YMbm5=3{jX?jfc7,67eAz /ߪӁfFO?h࠺SO: \mA],탶p7K ĝaܦ6dמL ᲂxBQkQt*z?pc塔r쨖4ΝheF+-s55S8ºpS v:L/ͮ\Yэou=~0 PSV*s98L@c[1c̠(v\yYvgzR~Hrp?D͆]!w3fN8hʽd:I[5=r ܖ=\nJ~"f=hyyNic r7Ѻ(>, I%欭)\.LN]FcUkαgYZ ~ 'U% |Myhill-NerodeOpen_Induction.Restricted_Predicatesdocument.tex7zXZִF! " &w]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  ( '9% lMyhill-NerodeAbstract-Rewriting.Seqdocument.tex7zXZִF! Ậ#.]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&c D '9% $Myhill-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!H~ݾZCl&$R]Gy8G] xh/³jrwy>@z'^4s8_5p̋#f=w;0bWibcP`U';@ h*_@vǵw鵈S!\ҜZvS~-^ z4\KR.:i Lo$lABӞwQ<4(HRl2]ql':VBb찾Ng0uLjnInB^5]%^JP2谷w[Q WD4P%)_zZh+ $;EJ՟H ]#|˟y:+A3vll2#uSVς{%D OyR0%#xByrpUHWrI  *MmkکcT٦v۟TNvOS)xg+i*R -!!V-)KauHᣠWWk5Qn ĻwM+`2NTL7MYXv aNO PgI1*7cT~c=0>(!`Ͳ$jyZ\T0c7cM횈Yw5 8>8{"08}'$UڵW7ʺ{T޿ArwޒjӆFIm] ,}_AYF{=*⭠v_ H!K.?t׶wQEXbRhZNx]CӟAi3dw߽DEj7hdYo@9pV5W!#khG/dJ`SLʶxgIccoeSe%4z[VVA*zERME f Zr'͓~ 27h{'FcaT&Nd35& ^U1*,%34W:,+)Zs+FnZByFMsU} gu W X@GGD53p{U{dpnk7jW){}9'ULmf# kGo~*8Š^]q)Nˮ7`mDY %/j\oG.bz CHz|(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(`_@aPƬO)fՃ=[f+nZ 邕v5 I1 `+}= r⍯-Ts$ڃP*"zl\,t]+Bk+.'.wP"Y%춟 O _8I/Ay})cIkXV(ja*/,k`MT%UQM]dޫq͛$} 7mFo[~;ZIs{pknX \lJyTqzJ1?: BSRlQ0R; -8GQW * ʗQd3kxt/2):=~H$Z H@.7/[HSs(qqzQeB}(6/]Nu$p7կ]ew&=QfCjӗMMD$n8{ 4dCڅ!u̡;~pd5FW:,RFB 3cIIDF/"iJf=:RT!KORS1ڈꈵz6c6w% ?Th$2[ܥ,m.jٲ'Ri:olίdS-pM3#wx?)J$Ivf7We޺4=]E`>GGĄR|s/`mG_7 >RRYs%?-lo>(fM33Uqȅ U%BI|s/V%&:0]x/OV:貦OPV=%BoN6~ lwDŽ+j&K1(887ba^y^8.5 Q LqݱjySj{D7ŠQ"PGW,T#Z\;\}߭G6*=D SWɈS=6 g-U:^͕MaC)*2'It ۚFgYZxhK_*+*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 Ը7B*u65SS+X.IܭO=)DqIXK W?qE MT?6h& ِ吏wȱQK茵.n6 T9bDbAxYbׯ6bD^֟ra2FTH|?!X֍RD =<5%kA7L[Ų<0 (8 w MNQ.Csf?}zw+x.Nl$P\+ c35?tFf/ҹH|'U&Y,4vgCDP%_̓"lK_0=~mWn*4&L~o,Y͇4}qA8dk)pW5"RKtp?ě{~ؑYRnxշ,5%l4W'S$LjO1gOBQ~F^֣Q#lM;Wi 10Q1`XdUBYyi.O]{}# #Իb6 lKӻvǪ:>8c߅B t7nWUb~Ak{7Au̬w]^yؠ4TslO rFZ'qnSs]F.:`bI~[fxB#{3(=sP;Spw tYt"0C\o-0Vo%5f뽟 [ac˫g11\K/NpOZ2}`g:YwwW0Yo޶<=zCEv3`y\"A= 1t"cW[_55:%Z MlYŶN ѷLqcķYgO|:Բ5 RATrxXz>\6O;R~L?';5ఫ' 8(}XvLHU.{3н=K[S} v{o1̂[g' t/%$󊈶XRȬkaH"5G_{i16,S\Z:<]3NT`j޸? "brIQP2,mELB^3qteKDz`ޱgYZ  !'=% \Myhill-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ˬ"ز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  8B[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, ~b0c" ",bwv7l [XveBk'xu3dϖ4J褊>Η1=qP^mDDy$vGϮG/k`d[Hs2)Tv^uof o_7q/I٠_z?c5-鵜x%a4 ;s "SdV_QSOQXڄѸ2:ѬˆEAF2?16@ &&!E[$;(7< hU'ZiLnW4x%`f73–Ħ33ccyb.=O# eD1&6* ҌqC:mRQun cG!9ʛt!IfZ2+2V;iTBm krrܣnw. vcб^l'|c;6;a~%)]2h,p76ʜ|(~s,痽ix sդP|ןk; R pEoKc~")|{0mt%Yu%D-?uf( ˯uf)vFy-c#b)@b Y%mvV20$AE1g䆩nQ\ܢ .10o+c~ C~g#\,1k< OR 'I@ $G+Q,c6q4L6ͩ=۰@G3感*X+P]Q2p4!LK_1F-P}ˀާ[=cfWpu70ꍖ x_ hY MOnp]2a"y]u%E7ɵr ˬ4wiJ gsBl#XsI΁QmOqy#J*F?&ժ.dlǿF^>-Keߧ&vCY<4)ѠCJ{GV][C⧘˙$^3sTP<ᙍ#2;QPskD=,a/Ccd@5w0ҹ;czUW !mK&Wdb~ekLds bWIUJU!eh$!ͻ5bU;FyK= @-^JgYZٲ*֪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"$q:KERl0DLnI4,:tjiɔ Ɍl=ϰ W \Y{!θ1KFE¡4+nfu %+7q+NcUÔM'/u ]:$A~ -uʳN/<:6 E~#69 3+ؿ߉g19n9y'Qygp1AdƬÂ-դ ) RENųػXvjw|7uFy(u,"`P8&:-bl= JY^UTLHL*ӆf>͂zɡa=-&2gֳNJMSząw[ǒ<& c2zl{kLѻ^Z)HY8.^ u6q̈lNekK%c}) THANamܼaqL7r?3GJAjUAl8@GGrJ_hCC;شI? E'SHp~mg0  LF$nDn3Y#[%U_q2^m!~˪xsgYSsLh\nko pCxA5+|qέ;"El<f*nj` k\н 3clC O4;^5ޮ Sr5W.ʼJ#(W_4M+VJ[`$Kr=rDh]hViПzG,PD ^p+K#{_x !ڀ iUm`p~_C`5Ӂp8Zv(u.F$] A.Q\j4kg5t ~ xw4f *@p9ܞRK3zLk(Fz=mew-PMe ,'QJ]2c=,?VU$sצ飪c'Y:C[16b8d!: ӳ'Wd[` oFm&ؼ'5Q\8܅>A쨰,BF)Y^.npʷ[sUtxR 8Vx+4VW0R.sݰ, ۈQHѤZm_i:)y_L] "yzh,0|P6,Vd'kqj u ނX=z2 q$*k7I(q@2شLlGƅ4tB_gYZ zz{'9% Myhill-NerodeMyhill-Nerode.Myhill_2document.tex7zXZִF! =]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{vQڮ Eu]/sm/oR-3 ESęs>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;b n܂߽KѤ'dq!CvzdCm} -%*t[ Clpџ+^;v8/Of٥dN D|n,n"܃KĿjovw*`d4$iQl{(De#yx5`ы4L񟙲`8b'k!mHR^CP uI].[P769) Z$2KLZБF\= x#ӂ/I!AݻF0f,a\÷/-fjgYZ D'S% Myhill-NerodeMyhill-Nerode.Non_Regular_Languagesdocument.tex7zXZִF! w>]A-MՋhvG"uIBm5t#3og&h{&结8]U&xs,*7cwFdq1Xdp0NS>[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+n0'[% \Myhill-NerodeWell_Quasi_Orders.Almost_Full_Relationsdocument.tex7zXZִF! "]A-MՋhvG"uIBm5~4?YT ;ޜo㋿MfCT&+I*A88~(f;O @{e>YX.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=ڑ*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窽H4 0?}GIZ>0U)-_YFE 'fףC ݏdSErK3g@=L(3k颗-cmYR)*d,,`Xibz~OV<.蟄'9ee⻇<=:5j;^|luʚBM!yJ"g+K5PD3VZЀɿ10dI1Cu{%,xH#ێ=#|kW2Vщ-&3`W*ڃ"t:h{új(oLRgw6"-&9={;SMmMLR Y˨%T$uIo$a‡?"e4ݣSp; ;~lim58xH FyT(XЅsyZU_5%1eIP~9Kn {'+by-ArnUS_y5#A[R f{%qeC0뫰|- !E-ڡPHi7ThH9/x-v/cGx{Ot|{JY kwyfb$9KtO|T; '!3Xlr/Xv5)g *>i#6@l1kD+MHsR܅+Qvh[Kw!̝,Dl;R:]'m=?Qq+%XgхjF̐ JTǃCҔB ?<"9'RC= 2twV.C'3J ÈVw _]J4 z!zREa--Y#=6Cp1Vm8 6H{g1A9ev01V;T3Nun7z1L[RO=$0 t8.gYZ(: z=,T ;||p HمNV2qI/9d] +~"(;ꥀUAT|E;Ѭ??&MVg6砩BKsi Mkv $WfSA j,V3o%!|'YGw@ɲNPyf^ne6iaYEAr `.J̓PjwޠuR)hu{G{ʭ#"><~'. m w1ˬL|܂L4\?_'5V']3pBSЬ8 lBm{Y_Wu)`PiB~eyeݚiH^ޔjS@IZ "hUR=(DSdJ:ƵrTHk XTS,Rq1QoNqbHJL@fE@s~T+ǓwKVR)Kա'C*R.{ x?XdfwWig_pV"_jkIy;%|\8.Ek g>a]Tb92w |"o[yH,X?Ůj9p0:* =P;U_ Od |kgnG'JP#A$;j``K? wd1BQMںơ<4ˁl>Uk6C@E_qO.FxNYmakzJC:.qb^r%|(U*Ҧ)=KEP%8b 7%O:LhI/"^6zdRco!\aے_KJO4(}AYj0\Ӽ-D]")}UNYD7qɁ{^k'S|fhSeX/ _,<֓zf mxY#8xhVt8Rc>tJVfG*Ť1@8?2qd]./ӛ2mZrF-D߷F!;ۥlЄfxa+Y@;* uʼnE!|**m d"(|恧N[s;ΊQhDjV|(WC(tB|0ױF\-|Q=pzb0$&b+ Ō9:`ɗ 3= Nq >:bvoO>`fMmT+ *Q& I1R{<f¯< ܭqv?b#!FT,-TZ rgS;T#+dvN#{[;e7>8s->nZ~+u\qԤ4馕D*gt/]^Ѻ #2u0%SiE+ )ೊ$%B{ mB*?u}ZZ0ehAW4ֲmA/ s/wwި} o&ӉvH5SV˒;Wտו/ti!p1^ҩ ʛcٹȋj2u_9BW䂚fO{J)"VYL` XWsV#*|]+.| &ꦉhw6m}І[;&n<+b/i{+۸Op5sgs{lh{M.cw1r$h*=H;c]cz":$ylK2,`OZoIH~?OQOKNB PhfhHwT6T׈o\aA|_@ n5;%d8N@SoհZze2? ,Y+"׶geshz@ϯaDu-񲗾aQ )!~:Hnm, (|~5X/:)j_E;*S‚?im `KV/[ ֗';zشapeP"{5L ඘"$:Rs8Ԉp~CB RݾFRg>: 5 t`UiL:9o״9c˪;F7*yDG4'%fq0CW1$?L\ r/P3)c3'toL[~0k&v{Cs١Nc@G$)dbQy riv DF qmAO +z4 2Qʙt4%L ށ.b8pdAښ4G '4.-jƎl)M#eY0s~4cwTޮ*ڋ ȋ_N0A`iAv^uTr΋FE2|7NM\W$J W nH ´lL[F Ɗ#_۳9B+R\{y2(hk](\DȮNʋmJԇ*uTdu)Ow_ '5+|4VyόC\H-{>5QҨBANi#ǻ5M"fLLwZbz9zc88 Hŧ*Vt^xh<5 u+IQ*a9]ǵVr{G#=3**PY*=rJr,m e6̲ò.?M W6{Nۋ헰p,z|_BΛ6ٍ6"_##-$ܔ><){Y-KWDK;M ey`bcH/%T08{BΗǴhRYc G_ѡ jt4a>Խ!h ]0ʦ)Li#e#J8mi 0ǎ9p_?B[ g a?["F0{䰻M0+* کk;9OVo3tsǿE$w֮XdF-^@,ф h'c~xzed69A`4@#'.Ci1U卌+{LVlpDG 5$/c q2vR-Us `De2 ƷjBS>>:'@ȗ]̢&4 c8cg:x\:N/ xOz3M+Ab}-؍r׺E?֒0]FDx#?apQRFrkU#pxg BK9'[V`Efz/ndSV@؅cUp3B;wNf29 %"ϾzXuݎtwR&FPl? [ji9a3իnZiykt\%)w9x%jiS>ƧM"EGs88S!Q V/ʋ;@WEviXb6՘;3q2C@8n ^>sѫKq_Ũ&%̟4qtxîg+L4OX N7why) lXvJ Plt}P]ɛ[#e.U!PC,ੇ2 @@`F@u+!zC3J3qswǏ=H|#gYZ - '=% tMyhill-NerodeRegular-Sets.Regular_Setdocument.tex7zXZִF! j]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ޗDEO՘xeyA'ĪnX/UMչu0We!_Ax.t.2 ʲ$ Jf ;[1[G| Gu@=?? K$46.{(BQMEmUP2xC:1J Ngpǹ֯?^ 8"o(&VJM8=^=>c{Pg?vf5NH~n/`׾ z[.Pe;Vnc M*G"?Ŕi ^08>9%*WHϘi)rHj{-7'fZ7 p zLUlUټR}.VuQ;AE)Wαv̑uT$ qӢL4Xha,3 ȵ>0︚@ 7!7۲C:hF$UDz[ܾDs쬞T,G 3[טh3g`NX0!*& f93oYo-#Q*3ou8O$TG.-IޥK6H 7u)dejC#H#j z #c}ԒUK[og)oKрD}DoVԱTܢLKl(P5.@,%`Kuc'IuD|Sp9H*gnmJ46,w㜊]}9àxXM&NmǸ)aOuXpt罌^艦xPV>;37xv0Gn <4$[ ˎp̘sQ3Բ^R& O|+łGL8OKs&&NYY咞P௃w/t#MoY^eyisQ&; Fn82c}YLm_`U`. ?9g4̙J*a/=2VozG|%!;V㱔n_+1R͉D` qޡ|5 #&Vy s𝺨gPHarAceӰuVv(&BCyi2yL+)iS "4purt9OaQZ^T~>h vl&'ۡqy/w 9Ae=ng!7EV@?vX$lsr8Iƒׄ[]4Sd&`sI\4߽M'rF_9čR|NO{UYFh"aβS{+ZjAZAӣXDAT'l: 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Ӷ*"\^-28$n(/2ӧ`@Sֆ.ԉx lqZQc.}Sidn%!OJ^|r(m(lDmk(^$=;\'+`k?t?c'4+M].[3$vNDE!iF{g1_?5'f^ }DsRbly]N;ݸ mnחa\-%00`41n,TmǠD 6{QlqȰ+sv&ܦ=m׮tM|+ %͗BuC.Q=XqVz}ZD7PGrm8M3Ѥ4h]ЌUZ3w < ѷEj4Y)XLOWt"ffN~',B-TewJ*4Y9lUo*{S*s7{^+ aj"R"Pv^|&2~v3Ќ..?SM+>uC>law&7i?`ð%M@\qT` Z-mkkjf f0=ž|̫l<>DV D(I䪉)~ #bfeAn44&}i"0Wy",߃C (i9N$?ζOp]e%x!E@ºwOTvk5b q"qm}h5(7i+gYZ p p 'O% EԎ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!!` 'S% DMyhill-NerodeWell_Quasi_Orders.Well_Quasi_Ordersdocument.tex7zXZִF! []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#"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+w_{Ck{mwІj)z.яAtk0e5̽Z'^ klÂ2!&IukXć@/5DYOXiX˱>]JD~[S6(9&1"03PHP\.WE,\w{GU AV'mɠ7^g+NB ;j)'ȩ:60OվKfGR;pfF`_0άAnT0rpc%KLdf,`i؀JhPRzAy{6hsk6nsU} Q!>YEƴճ3<{Smw;ggǑ?6>T[jIz!fS}V˜@F&Ƅ+I`b7`2M5n=ZEБH '9&6;塳)RZ9yY3kD{`102c˸>KƖ|N~f2W+,o] bgR F z>kAf0g}\^kT!yDF}9¶an;>0\9q= X݄  qec1HBm3qIo j .@.ۑQfB.=t=7{F._y_԰(`1c{Ը$IJ5cc@xNiFaF}Zg\{FW"KA@T$N5dR#zm[D&{R96Be<ݕt(sXzwSFI($gYZ ll '=% 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ޕP)O > Ԕ2ZcLVp樤<t?A#FgD^]e,[Qs>? 1VAA}HZrf;YFƟ\xvS020)c1]6Qt87 GUA-B||BVjJX ׃ ҇-M׹ BxQ|& 9V2ʄ4NU&\ӜiYMz/>SބՆ;ER@MFN0K^ڬ&͑!d}eӝwj]9xGGoaJ;J:LPM$s[5꼤Omd `4hA༞05yvSB |Α+g+7i }Fj$!GGVx[7rܵwesDK*Y{;FBH4MˆӯvFUBƖVB2$'t<npZXaHIfQNM6#`P}75P}7`q梃^[oTh01P8ol"HԊ8 ,tn <fAv?d܎WwJcew*L+ 1EgYZk萏z { -`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 9E4F+^:FNlc Ժn=ö]\/' -t/.Bpv)Hėv=S7>գ+YJi.NcFkߝ\AL5A \9UL݅uqn<ȿR]߭$+V`AXHrIS`e&Z=+T sSxQy P=P6ޝ!N:V-smٰm6{.|#5#0-u'vc5ϡݍ&P6Bo@y\,G(i=K𪡊D]koWLZ:ST; \4`G;kGL;g y_jh9j.O]ںzw$W((Q6Ogߺ?gz˷W¯.Di.ިl+2S0E/eƨ/7Pm57jQ9;Ńyˮoc!8dP yԁJAaT\joŌ M2 {~kjd3.x&9ڊAX}գS4&7{6|AP~lʋJ='5|$2MO`}<~czw8̐\ƌ&s8b:Z(X}z< >\ԷsA8DﵫVLIE ˷&Na[uTC_Ƣĉ@oz'%.NA.-oh)\7 E r_*TXLҹTW2׌<)̵@ҐuMUv!t%n\!E`$^ϒ A]G/#'ܬ3Ƿ;j b9 ]77PߕZ qJ]k"&i%|]?Oe3bȦe# 5ph׹W#̄"z6`yPq"v=m5q!oN96pǁqƐB+`$Ҵ(gYZ J  .Ja'U% DMyhill-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>[$ؤ @k*ttCֺ4*MSXVnξl `f^kcIW '9% LMyhill-NerodeMyhill-Nerode.Closuresdocument.tex7zXZִF! c`]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?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ǥ$OD6HrpB+9s0T?Pj۟D9nH[/c>I/Ň(ڻj :` 2d+ _[оCGO9IL§r4GRhF5,jAv_ S>͆c]ת~vhGy6?ȗa7MMj6/.=do'maXCA [@Zc*gnKi ip/4٦&5IA, ^]!Nڄr |.=ݴucw*vHM+=) srcX 8Gա&z3oqyƌWw6S2tĞ-H/x>VLţ_fYY*޲s29fDiK]=~l:4ɨt1ID *D[2DHIшQvmןo~U(+")iCޝ|r6 ۛo3|15p (wg!H|b]/ 31l"ߋl:(ϼ&'uQFS($|į/.c TOsWqn) ѳQFs@퐲Tg[A/ G}Z~WCxU 5I[j:: gzbd,Y'`ui]">#3څ )_2_ Acp:6jm#{ز58gYZ jj'Q% ,Myhill-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➊kf ժ~aQaw^ f2hn^ :L<?[^j! D^E ⭜7Ӄ : ڃJ`WJlv>z+M窜 #.@y>6>=Q/[85lK[6{p$Wj kk7kd58>>N1Aw~Q,ஶ(qљ-.Ҕ}y; ňFPՌì0M0m*WF/aL@۲Tl7$9нbzٌFQnc!&@fv43x_2ro- y8 5i,I޴k9U=qEz%)zl72WqQWhfָUzR&u[q`yLaɅec&bKb8ca)*owc]_ O׍dQ o]ADiCbלUlSo^ey11TBd4Wo )KO&n|^[ 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 G<59hcjџˠFYD藥Be V$pOӶ~t>y{g.j\oК*U@6z;*/gj/=Xߗd+9;2쿕f/h?Wo("\ۓb;a-aeGlQBJ(`Vbaѿ%X/hR:G @z$"P=-:X0 䑱gYZE'=% $Myhill-NerodeRegular-Sets.NDerivativedocument.tex7zXZִF! 6 I]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;#<ߢ\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?unNFEyN$xFGlS80X{6 E.agYZY'E% DMyhill-NerodeWell_Quasi_Orders.Least_Enumdocument.tex7zXZִF! 2[]A-MՋhvG"uIBm5!ͯSc"cNSs5|a'=^TTMW& kgog"$@%G{Ƿ-[aq,%ۈ6dgٻ5.F4~k3GR +Xb̨RԶL؈ԟaճ@5mO䂲v>{'#[Ӥ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퐅Jr0FS߶88^ è9M.:" "!Mi Ϫ|A|Ci%a>܍t]5Ө(UKnPHcL}82Ʃ"3f=󴑚ap'9ۭ~BVPꑲj-P&P9aVdy5cHf &W U-ȑ YƎ+Ut$AށMUҬOEitw}0BhF#NyPƏUhg'EGek0pVD]@x FS};2b*7{WHX?H;?) j/#ة;FQ e_gYZ  $P'3% DMyhill-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#UOfqZdMV"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 N3jE$Ąt ɷf%)J7Agm+> ᝏu3 \va!>ݩ ׁ-'H礝lw7yn"ff2+Ua\x>|hnUqq`GII0?GX( F`ogYZ H'[% Myhill-NerodeWell_Quasi_Orders.Minimal_Bad_Sequencesdocument.tex7zXZִF! |[ ]A-MՋhvG"uIBm51dmrD|9?jv7ØT`貍]d'|.+:/vL"iF $k^ lҫ"hWߜ.Fc X)i]B RyM吵I:אjTڒ2 -~̅8慡^DG.0Sh[=$cr;y%{er#u+RaOc:7%,Ka#F뚯uLaۺBԛ;{մoCaG ~}m W4'*.X /^}@>vN'}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Π+#'ASɼw ȥF( BյJګcann{^c q[Fo|RHԲzQX0')X b ^[Ĭح-ΒnCU#C<eoZ5_&X$++cl/Ucu`@Gx$֕tFmbm]J/`,smۄA*ͤUm фDњ,7GP5b94pgaF ^M<SnNІX`n v֙/!_ўG= 3iŨuq}+OqǨ񉽥i@H:Ǧ $N;!}ohY֖M* t $ 43GIIMGjp7Ī[M(vQgJHJNT-rN #Ȟ]دyix LtFdUbt'(B.п2{XhQBj4G4~r!v.,8n d ,;JG7C׹.|i >_{:/M-E!l CLN$} [kϻ !V3yb!GU?\GldL/ HWǚ \ft5pbQe#7vA%5kFw Вj{/ pZIҌKj(L@ʷ0uRo?B01"8&a,IӨ/5uV֖8r+r`̓ qnkbgYZŗXiɟ㶵fL4i=J|92ms;ә_t60=bK\C>a/+_3OxdSRDD+-jǪ^bѫG?fvޔe +W>J"H iMsNƧwqهg_ש___{k6.p._VRet&V uPkS#Q Ta@nFE9^jQQgsS4S'&SHd\. 2KˊX gJ^w|I9AX ur*'QglG֢Ӯ(Z?xET N@ON^N[mG68*ڐ5luWHzDzccOl!1]s}L[E!]g7Ⱥ&1aXj]hɡyۼcLmnG5* ʄ-:҈ qqׇɌJf%6B2 dȅjBæ?0w҇I`w[׀ͻ5q0ngYZ7zXZִF! ]ŗXi%D4 fI{L}rT}x[%*kpXPqXۖ?ፃ\OW~c1 Є{j]cni Kq- rhi%$#F=^#d CֿY"8}$#dTo%,ۯtD8;O虭Y#q w愇f|TIrF^Laa]"$`Ez̢rwT6G1h17+rfo(MzA)s*քXTЂ!^N'3i#Ck&כğoȥ Ԛq 1,;bGDA5tLXF-FPMhjgEF^l[35Zs*j8 f'mߤƭ9C)!bgЕƾ+(覯fBr'0[y#lژ6H_Ҿ@ę{59eN=U|pK%y;>;"4@Y6GBhO%úv =6UUd2E3H~}%WY=z+GE$pDA+0A7hR8$#}ɲ=$(#޵swIa}vH~.Qlji*XqmZ%7) ?09"KlsjALQ"c_IW5luJ5HG@m -P-Vp~H/kf'˞scpWߺ%;!~[pi@;xz3&i O p?P^c"cm˺ NʼvJ3zaΌ,}^+~)"q*!clՙm9/z&5Ug o3b$-ŝ&R4th `12|ƸCGZ4wgdg*MY #ٕ,o2@akղ-EJdyt-xe+>"*$8#{GH D\kq7?9DYc6#sr:\w<7^lXaNCX;\ޯS񏮈V5[NnGY0f65n#m=M{IU,Y 6R:.fxx]}\'Ypp+_xih+~6-%uߕR VX?dUt;jK&x L̰ǯz-\"mIh~-gLБ92{1~RKd^n 7vY&h6&蟑Kl"ݰmkڮNì.@06,cXo?4EZ,nsgL'cϚخ,>55:bdxɪ:1&KMe8E'[#3LjC҇#C",s}n@j7[b^%2gԖG]zOv{i=jiR5pNj(O-J9r+,I4nʕwINiեFL 8%uMa(NV&}sVy!*E+2Y0UqE$Z+aW5eFLYC,#t쯘M @h&*:;6R {\9+it#aSRԶoEehXy5(d7O%.RT0xj'V43kUoVE254Mp R:Bztuغq-.>V⿿{-n_ld4ӕ.Geu9Ѿs[Tz?p2)u U7T6 tpZ~9*~ #kj[YUś?^N'ML'?' Oe'Ll;A&Ҍ mwYQ \pt>7V>(rK5^Sŭ Y2W׶|bA{)]=oԆ5Qt߆=LCew 49WdEܿt.:\~ӎ,FYkIVpmFv5(8¤/fNl]p9 }cdZӰ'Pqȋ2aszg7Np)p'Z2kn;z)vR%qjzpumUG4)kBLz+!uticr[|E IﶉT5bzJdJGAm4NlA*MZU5l?cl;Qֺϑ{9+.W!,H1^v)_LTKh',"dbj> Y "|$(*oLaS6/aPJ Ѝ>kN*#}V ĮUP5W7M"6ގ\>Ύ`ДzW}2r M^NV姓]gYZc4a3955399a43c7d282326caa4e50d0dae0871eec3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3