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 ,1 t,$ ]/ Finite_Automata_HF:threads=2elapsed=18.349cpu=30.812gc=1.384factor=1.687zXZִF! s]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU6N\[_ 4W mW=40b:$ZzO@ wƬI_={w&6:Q.;g#Sds]4rELGF6F6C?d $a}!OM+J7K(l Zi` !pDLo9f"4 r[ŻUZiFGr㺚3,[{|߸Ўݭ4&oZkld_c' R_bSs2_QTÆ2PYlҎdv~ ą_Y- k'Ә2B z4fQ$*ZW}<;4Hw]ʷan%xD2=jfŰ/kṕy}Dž~3h\8!㤘7Ush~7=OSMw$FW1Z}Dס81EW^~)qTgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{q4T4]SjV:NahG,-B\ut(:}؞$~с=Kjf.<^ſ`N0\ =x\['!DO<wbM@̿Lh/HEgYZ7zXZִF! jJ]ŗXi%; ޅf#26`"VD(߮@ )8j3jQQg(e@"k81qf]>L =[re{ry6UzLqc_X_qmVoNg'Adhh' d,$xL,H!_"lQ XddN@b:A-TMޡ*E=b8ܢT0 C'J%A糽JO%,;QR/~jf$@D:cNF!s݂z!dTS1/Z_*x+Ji[MqSu#~Z `gJ~Ybþ[XCCiL܆-D>gl^3*?L+ K>ڛާ.A!Qm4"Ikpf O@ڶ'[HGT/bjxʖrTȹek%LPNͥ InbGw% Ն eHMX<C?j)PvQpQ݃J>fNwNF<f<_{ᒡvLh2^u0c\'s*j+\w^yCdffDRtĖ DJViY}V^`lQvVȶ\bGIHoF/fsKęc X R0a5zk}ds'geKVId4ԱCI=V{Na|HsQM] ;[-5:ټI} =&q\C&3Mz{v<<|/ꚔZ~U5KYkYF$a)@PT5=m-  @Q|xUd5/_"?6\łc;3B==,vq89 ^qF"َ擢첓 ċYol^EmWI1<1\fCLJ-qT9 {$#O-^X }"ꃨQQ= xP`D apB7JZ~:qrS@燞>}w}"WhQ/E)PHX@xkcI3ͼHN K'chqZ$nG]ΖGyyh0v1?㲕TEk}t6>I܌΢K|0fyMeDRtQ^PTA _˸e~vNrVK+})aO!soo{߲B29IJ~µo(d֓**a@$:N%-6Unuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;01A% lFinite_Automata_HFHereditarilyFinite.Ordinaldocument.tex7zXZִF! |".]A-MՋhvG"uIBm5ŃubGޕ~wwWJH[:?1wݱ $\Ƭ{W7z RyʔO"l(S`To-n6׻8&O83d̀ʾTB+AoЫPN_vOGȐ̰}S'TWͧp&VQ.1"0) ?GMhk 7:UTi/إ:f.ދuk)©Is"$kq0jQ]Atԙ;kF*3Yǀo1W% TFinite_Automata_HFFinite_Automata_HF.Finite_Automata_HFdocument.tex7zXZִF! <P]A-MՋhvG"uIBm54"?&5HOȚ.+7:B{eB%9fʹKpP4·؆s ӆMĮdLߋ݅WiL@ȦN+N"bJ2d1N 17% Finite_Automata_HFHereditarilyFinite.HFdocument.tex7zXZִF! hA]A-MՋhvG"uIBm5Y=D1b(6iPԝOFa1]lݲpZIL'hΥROh-B69wil7O1ͬwv@<ٍŌw!+}ce @yY$ HezGO\&p8cNEN%ޗj:$O:3ڊ>fy^2}6Ќ#MmW~VX }><1=%Finite_Automata_HFRegular-Sets.Regular_Expdocument.tex<1=%Finite_Automata_HFRegular-Sets.Regular_Setdocument.tex=1?%Finite_Automata_HFHOL-Library.Nat_Bijectiondocument.tex>1A%Finite_Automata_HFHereditarilyFinite.Ordinaldocument.texI1W%Finite_Automata_HFFinite_Automata_HF.Finite_Automata_HFdocument.tex817% Finite_Automata_HFHereditarilyFinite.HFdocument.tex;`yKu?/Ze4 *:A&-XZ?Y:6/br;X!Jri҈# I _3;*KnɗMAbkN49![45*m&/yNCZ+eA(ȷry秽ܛǮ5L{% o%FjE "lK2 TWpBxug&|JHd!"wxGW J?'+Y 7R CYfA'hiV,_ET 7J /;GRഴac{Z`CWLi4SW`Wœ k9Ư.5OTKxyA7JMhgz~`+ Ogr] ~/-5FbۂڻOʹu@8r!ν}kBs+qmKfWhK${L iK {e !}#9Dfrea'C%vrkգ,-jX.6떻a:j?nRJ3N.ʻ1*Az_rƭ3i/C7U3:bmCIJk O)ËQ2Ke$GwW|fr{/moyC9"ҧH_cH`q@u*&YGF$5z-^H:C=]}ҿ.,ZAJΎ(`Zt JM!^*f9"ʰMɁu>l h2ם>ZP#Cb=HTP*(E=>gVVom}ܧ?= K/߽-PZ-=ݝ8Йj81{t#vw'y kT=g=G5gz.3o{9l8e$RhX!6̼<]%n12s STt[B9Yw=q f3q$[nlL>MctJ[ @_I Gk9-q4LR9_~Ę,ޑFK[imd0 Rʾn}dpǞi Z!V OČtaGXQrd'tbq8ia-zly…=^Rtg|mʄXUIQp:PogBɹʏe0 hntF'(QG1%ץ?'8$@-$kyfWj(8ѝ<%Ta쵇ێKw#xoet*1Q8r4od$m"un 1UX:Gg~˵ڋTv+7 P202~~lͫI^jf5b| u<Ij$gE2Wu*YNX*ZY`sn{y{H:E{"#kǁ<VC>%k=  Sj^7g+W3`9ݖ+?!LX.Esn7aU焹2,ij^!H0ZJⷎ_ҕ* ; ׂF5B؇+ُB[auNL mu WHʪ,Dr`:jK!&3XD(>v@"ܑjLc5Ĝ>֝mLSZKSw ߏ"b_!Z^mT)Tt"l;4M()KZރ&hn)ޔƕI۔|%dŴBȼ..x  g5 /X}yQ*tIDMzSi[NF_GQ!8zῴFxļ~Sug^MGV5UX"eP=xny3Om;˗0aʬھWk*pZ~&o9!NmЃm6'8\vvc}x Y^HIfKȃAӨ&J~[R+#asFw5Zܼ)$k3dVs43IEP/2/9;޽;{V<|K] J hF_YJcRUUG8f&BOUPW}/2aD_0쏅3 ~w Î7%K8`zz#ǃ]&yn 3I7붘E6" ؙ݆6GXV>A. F*%q v*z+ +=PD(Bና&.AjhPd)TD1 ٠WV.z'oN ;1X^~jG-J̈V$J&(@3%ki䘘ضܤVo O+4P2~ *p](5=5]I+pX.H &?<# Ų$Glr@-a%OzN Rb2wL;@05]^QqѼ<+Zs(t1U`|cB8*} O]o1_*PD>da*W>ل;2O!+߉a#]@g;M\~A'7# uD q˜ iWޯ7Af qї{F `V n I10 AA $T[csH8fÊŅ7H`ݖi5+Ne'm3 ]Im=4~}h[$z11syr3`7:H6VV:tqrav2&'!ȫ9yǯnOMއc}Hd598!W&Lvolаw, Ǣ2'5wo5įJpR)~]8aĘ4/{N"rcCBmYX*~*ԿSsW Hq>ΣCS[~,20 a3,V&\5|RI0&HqAv rߑVf*A@7%T  LA蠹(\gWCJ\0:*hmCDό`P;ˀ4xzp lH7ݼkue}qRtBJuR*ߵ׋.Q =dlא! ͩsa-FS,0NGKmW`3]ѓ]y?uݸ{+3ZPy8/s syl x+ð|Q9y͡獲 :SS,uN\-(چtEq@ƉLiWdBxP.̳osct%LؑZLjrᇵl+'S_3=rN27 `yWdm*d?n} x]0 f'K!NI4T6'̫7W9">z͘ #y0qZǝfB93\;6?shT>f/w:=Y;8v^ti+1e5YRw,[p/~kqh*r<@Fp`;46-sFxseQ߬j\HdXTyu F| yR7^#z% KCSlK6f(pgH{̈́ /EҙK]uۛ6Ȇށ͇o|_mθzI: n]>*4# =`4$`Fq (|vKB=k&Ev[W e@bFōu%bXB?- XFqK(G;>G d(!EhWbJj`7zY0NjW8J,F @hvwd<5w=hHI<\f> |F w>g‡xmvߔ'B,TS/G7Wjw|X=0 [<8[$!&09_<{̨o_z%)8V~[KpRFcj <8a}b3u΅2Os@h 9{-_.do˯dq@sjɹI@CͦYq9 >ո{Jl@vk5C00<|N"]Qd e4c>HeV7Ci]*@&g̓i:8(5|SRꏧKKEG&y{$zնhbMa35 &\ܞ%i[[/Mi\ߦnii6pjom8u՚]-?,P%%?к wht]. A`Ѡ&̛c<L榚|3Q㪭vJR")jLkvr/-zXH}*&XK19Qnt8īhfL}FO!eU6|Dd;uqOC Q͕m+qٵ( N7 ! %| M:q*> 5pEwZ9kws:bEWd]j+[2ԝ]Z$= tG$;@q/,B;y&>5jfM*7V-'jZ+gܕ@|a$"V4J U-;#oՈȔm\$QF}2[xߏ(M%RI&+ }SA9B|oM;Pl<[SI -ny*v;Yao/)+o7>#(Qu h@$ʈmZ=B;0=KD4:p7:dp,Yd4owc6?7N#`$;n~ |C%|Vm tf{VihVӟ4FNb`>;9HŠx#I*E`N;+[ sW03^`qznӊRrC r5">"dWU3bMU}RشE~Wɻ}z{/WnC9\}2Wqw҂S ~w*5,%B3+*Nj: o{?R*NN;r~m~'*97j[ DH:g͌A삁u'Y% V)#LijX39:*HP-! 4h!q3 *)$p0{7"D^y9D;ⅹϣ[~tA^z+WCZ}P Y+3pH<jhkNf=uWGI rgO*Ҿ kօVŅQjK[.|k_gR6r} (as*O -KbyAz|#FpGoHP|4=wup#uJmOzz\*`Έ)~}B?ʓBݳG^jIAzxkS[thSS(>8!DMu y <63QbS"A\YΣGyt 'Ç@UP8gB.W>;aʼn#`nTd4~0+UiBEŸwKDۮD"Ⱥ/k@ǣJA'RҘf* V&roɗE YuIb2:8KOTR$k5,Kۃ~}FjӼ $ë7M:@;מ\ݛ1a'\xXZQ (#|CrCiTQH@wږkURWNpBnM"N/b\YXXl/Hߓ܏88KϖNG~ t#FNTR9j 7cTd?vL<hh&( V$eFv{*&t<æ}5ؑer'} xuA mkL9~~wػc>Am'rچh hy߆4,i]!F]2Kbg4K'FfxĄBՐWLg{T)a2jq*Ĭ/Qd'>!_=LjEVig}g<_dkpH'"/V/L,}&;(񮓺>˕6_YD:Ki{DQH)#墟RBPg'=]p[f`M4zR*AH=<,eη;T(KŠ7~C鍮'?@ ^Cz;F-BfUMqX{V-=h"R{V -넳 =4$]Ha꽅%rpbI7tqn)=EF^ LG5?+/G䀓)j+5Ϙ;gƯ3p2@F B&6>#ыUߛ@ mFQ^/dA( G/cݞG.)6;ɳ [6m *0>S)8{WN=5(@PU/VvX <; 6n60_ Ln}o¯q13l,Ԭjk6 m;)F߆^o-+ @dM3M`?ßo|ED2L=_ u.ahZ?u#TJjP؊ c&{nZRDAa>ǹ!>{9z1CMẻT3.:Qϱk?b,PBz?wCX|N%"HI:.>0g ,40nRmC['H*.Kg&`9Rv߹* :b9 HE ٽJ ʸ}R ` ro2{v| _*: Mx`Z #vK HS{6JN7 Q%n B.LOI.$ _xImuTJFGrVn=M[-Z±?KzpZۚ@9~3KMB*V(t>'/^?tu3̉;Y__)v?%%/ x'8 %($@B Xjk3$| |@`A~x3<5n ڐ2!Ȩ ڨsN38ZdxsrԊB,gstzXnj:R*rf78V/$woqjVFbONz< ?y8e,DiDFp7JPb2|U٩3L4X+K6@>/&Fš@ֵF2EtVN܊CDۣr'Rzv5q֤īc] .)X[̡/"rQOPm^c6]tV GCЋ:@07OpsO:6@^XJVNBfB<7(Ӆ"m>? 5iu>GΟ'pHm8]!qY7;t. 1d+ S<ʪ)囹}CT ,Rל  Ϥ0 +$~?$-Ea cP1WS¤]@^'':V*ȣ奆Oיpo8h+cuX4 Q E1w6})< p]0= CYv޸5QGzSqѻ^M_CP2X @W;}AD;l\!5R@^߈ l: qKfl7"qX/YF _uCf0=1(b/*Va0X;7a49;9[*pI T9ׅCqdcTANt@?5/~ M{rZ_Rb}a)d'^vBmMT۹GO̠:8H8G-6̑g}/?mwMCxpBÕ2n8kDF&O庌C*J.ݞjz}^ fIL)~9 1{/R)E0,?JbV'5^^Xi|:!=WIK걬d g`wgMPq+e[@Gu(5hrwVއhzr'"{%C7$Fvb{vK^~3˲@5H RO-Kls,7D&LO$\l.8^kljqvU="DޣA D$(N5P ##=x"zXFÝXgwOθ![I5G \O:#+},d @Ч?J:5 P·@Eڛ N$/q8@HWԽCߙtm_:TR(<,igM? ի5jq˦?Insz&,SXX -UmZXH3>٩\R8 {j}Pd^Z"k[ cF<нEjJGVGk;]N:wò]\RrH[M:e-T淅QWxnٺ8MĠ%5#YLGtXW:%ncWW7Lb"v[o)ְ}!9o֏4^I/$T\Zsn!V@Ky?9R}8ucA08UԤ@3h;;n7#g;Rd j9 ,`>iP<U5KjC!JҖ)([d?AG$Tg#]o̰~enG}1?ИhsO"MR 6!o~ ﹃P:pl[6`lYP׃z$ދJ!tP9/i/OjILx ^|.O-8G P+n#"i"Jo/ RMl*cO$^zFIVl~Ay["g*bjxXӡ17``o#~t5Y.M=|++<@SR,'HR \ҠuW0Fޒ[yFZ5 XAzzNӡ5㠑BE;QIXz] Cٔ ԼCɇR@3,ҺLT%ě48;MչFF.z7ݯΟD86eͼpw *@ք<dȆW4Cb2ߗvyixY+kOA!DʜdD;̍ IV¤X"); X Bm4U.GG`|{[cK #S+#|'!v?|ڎV-IʞӞ~)ڤRStʙD93Lkf*Y BiP)׵"5WnȥUR1xh@,fjwQte}TD5BŸ8-O*sr)?iOUN2 jY`[ǤM1O1~զؐ{HHRܖDmPX"W)iWr1~\s}ؘŒIzrY 0:% 1H:1Iў*VѤYzz:S 7@VP]v#O:k_j_i\T.,G'[g͚%.prW Rk@@M;f D=Fm%& ZfAb C ݪ/ wDTǵ7X#CE^#}҅kM|jOd\F1p3f Z\r#BH"fN2 i|Fh;ps)$8u(705P1moL3A;"=d]%UHռt[*Fo5uuj}^n/X'cYLb4 }~3ƄFgL7 1GWj<.duTGVrD>^BdqNy0߃,hWFSkrA3-G>-: $'T ;WJ3n͐gn"+5,kw `4Koǀ9H` m:.Օ(dj#bC(^VkLMsz+T=E)?Le_Cgmu|NLg]<XVM,,@Π[!ޔPG >PM4|#eEdуct? M6]1|# Ќ}\dMu?7FʖTHfP`"&H$\㐕_8n :fB*}F BE%(z1: <N~"$k!. `&wZR֨$ɞA Hݑst5uwGX"AI.;r摭ީF!'X\{#]4(a3 4{Cïu#ކ~R%M0/sP7C=tzC2RWpMil.1alJQLTynxLAQSBYI`?E}|:&gGbJjk|v5ѣX+ ]/v-+ɷRvwҗ)\At!v)Jx<gtN1̝GތZd W;nI}tg[G\@S8$]-k*ad隩b &K ,v_.IdAevB]`iL j#@بk6-1$ 8U-; q)bS!Yϟ<1o& ѫf!aV"dYKfaAZ˻'Kq h3¤ɞunQ]/3|cH.jAe}LQ U [b)p}"S$݇UThN,%?,8݂R߄Ĉ,m˕'8!/n/I%bMA4AuRS`7ðiFߥj_@W$`?2Ϥit`L B2 wTX2R:34uէR`tkf_6ύӣ -$ pwm-G\ =?ң:U. BGrUmNm Y7ϖ8O-t6#()~ oIPeS 7^SCDEfH>^F;m㥟F{ c_G# gbH_f8 w̅ӇoR<_03pb^:&NZ Xq^U.b' P "77 Z`m3h2|B^]BC_mGߛo90MdD\ۡ}7dH {RDP HԳR~127dj 3=)gNR)vёhV!@{B&vF*%mL˭qf mPeQ'8AjD\ދzLck5U{ΆYZ9tU%MiNV!CTG6g@b3C¢ k ʽ Vl<0[C'߮ÌSs;;yfgt0S=|AV}a\ @Ml~c` 2cA>4{#M0n.tmVFS!w)~ ~upY9Og)O9W xl u}3'鈾h@ `˽BWu)2> .,ɖhV%ۺJXd״ᠵ˨O5WN)ۚcΈ X l0eX`c>]!mbrX28Nf P̕^ 1nGS6`Aٱ+yOV۴T> !KO>_[Ԧa Y%Huj7pf*d.m:XC{#eY&46=SD;-._wnI7&CzY2̩p&.'1([9N vT_;vu%X.N֎sp'->u0MM[B,K^/5~w$ p*fJ\Z.㽡OVD\3ˠ t.hT;{kT*籿5ٛ@J[х}WbAGﳠN'3@;wj?hK&{>}: e[a*䗍ƑiĂ,n]Q{4"?tee\p9-/}pI33` 1^PCRK%0)<@{յwCN&ᤥ4EIN7=r# g=*o}fKۓӡ~ 8:򝞡~#wf(\*-]&)/Z9ٟ1!6e޼\NQ_pv 87CY;ԛbG`f^5\I3Kjc#7>D٫yj 1 %D*4&[A:V#OkNÓwӿWPWr/vG(Cu>-}e]_SHaǨp@KGrqhLB'=7GB |FB / lI_l ץ)}q\+) 8 1cmpu+hGKFj`0gYg(q& 1Jm  {2N{!⎊e5":gnV)/ݙ|hZ_RhoL/`>r@P߼ja6-ıd| j^kD#p.a; nT&%]$>LqDQHFVk-*b x4V-tc qH%41[C5S9=bI6y/y rc,1, g!/t[agԉE9'CҒY *dA]ۊ!еMW E@haVR4"W@ bfbz)M)/W\ZKiVQ|uA(1@D J4D oX;K5HE-rbLܖYVD4@V1$T͡=Ԗ~fe5nm MM~~cv)gQ1+}ރY]mc2r'X)cle⫢99L.k Yi ߂!#<>Ho@?;gꨓ:&)? *0,EMXxSA_g?l= ~y3 /IlPHTqkG1諯hRƪ6dX!(Ǚ5觓 W #S.yjóm*%vaJmCS*f^1E'T@R͔ Y2PaX= }.vft2ϭpҾJ:0P`ٕ/UݡD7?9݉$NF`/| 3V%eǹbK\.S[8Ab/:wF\&w05vW@^,[3OH0Xb r)&}2z- Kj[ldHM!NeI`Pn_w^<笺 |ȫ;u6e=K} -EOi?_ iVC$eڅ7϶.+$k8k-xA'\ɴI#zE'u!-B]%5Vzt@쭖?e_8 1!Bj 52'h|(3?E wuU-r L55wCa>Mům:HHP .DYwX1CLll8B5l`wa6tM 42HY>C[&iu4K)[v Ԩ}cY:^b_Ύ?PW B!zc%2y1Qm ;Qzշ[3肾R^2GqX,Ҧ^dHq=b/%PPa6$J~|=줡6muz'2, . dy~Uh>2K9W %5E:u\t^H3y:9[esߎރd٨eP뿡d^~Q;)f! )յ6Y]%Dp41{%0RGBxE?|[E+WHbO~7aQ>% f8륬mw|Nz؊'[Yy=>s8٬-h-7O =ikYmFb&ܵ{WSr+-jnb튜E=!%悶63f ym dYW$&ZvP$=ZJ#`8-t17 ,ڇO9!/0|GhDЇD5qXI09|1kGۆnIFs9!h\S&0~*Z,0ȠUm⇧_/΋k(B{g$ÝJjMb=6m.9i_a">q⩵j|IA TPi.nlVV9H֖BJm6b''.n+i4` 2LeD 8%#ѹkO]ea9l- BS:":G HΠ{Gj{V`6^s[LjWQ7/ȇ*ͫx)Oq>V=ی ?L-9&;:Y j+H;9ִIesއL&": LB_/xsv1%R]&`B0Sws͝@ "XWڀ[)jr N+ E<r"TDWvk v;Anmov8cl1Jr[▝K'}]ηX _7u@ oeϒ7SJ#UѝTR|3:*Q"ӇEo>2WW:!{K38g4T[ g溜^ZHftm}mUtV~ټgV>+Q/rSQ/8E*gF61*JqY^s^p)R࡜ˇm8/?3pH+=\EE&VеM:I?3::K%N tg CđC<'8y3 6o{-Ǻ9ȶh[NnKczn y5c?Hulc̪;5r".{h!KV-lO DdvEo7no-k 3l@"9bC6Ҏo(+OE1_GgM_9sʙq'7gwr ? 9Ӆ-y v(>zU_d+V;;tZ ͹o_HI!;z:0ДB"à4_V<.J/Lzn_6 \HP ;u_\i=/_<E|N=!h@k4⿾6|oY"up .QG1*T>bUܑ^gq}p%q82t; BĿ`-2W-Ȍ R(."v%P.zm8҂F:G ·nĖL˒KchpS՜sx 1yC1;ߚDEMB*{ 5(wz8ZJAPZ%e_Jݟ K[ *Dy柩'$Zce$BCNI]jOX)7MSQ SN*6p+4E?pY{ t+3$a eYg^(Ð1xXLtI'=+X%話AGK8u_ WޒyfYQen8mg? UTd3!kj=>U@ƦǮ^hHlD=\ B4 &hq֛14+.|"/?#f_DF-uZ-+VnRE-IzhdmNʥ˵^—m CZ"sa^t,7mͅḠm=y&ZZm! ygCʭ9 ۪X!cxYըW"F,LOh%k;HrBn#ԼZ%\F:CF ݼqq2ӴiOY#;YJf.lm) ׌1wVi?*QHj!̎2nS}Ϋ˭Q?;,_V3P^ukJ]@èOvcG7.֖~8z.3.Q̊,} lRY~٬P5GqEEf# nЁL碉,Vjps^>Mb*D, rC1 dcܥdErnZPZݞ5ԞD e(3x+ӓSj ws~yTv/u R^Hra!.a X2'[3++aֲ*„jQqx!f?ީD|> "BZKd5Θ6aM`h8" pf'S9%ތ?HsmSA[UoT4\PVcMyIwKOV6>[KFZ;GIZ \J˞or}X.}^9ދCpFˮ݇k)rlhxG5·sre`mnz/~ ۯCdS/^t7)y%qGl=NP6^+ A)c~*@W+2چwXR˚H?V3'M(vpHGNեgWIn"_avoSn)u83DR:1}oIhK )kG)7}20utVj%YR>g|HUHo*[6/P&5MFE;[vA٣+ [`pIGIGbk:/+2ZA\`֫h@X/5b i-#~45?F"j%S㥞;,Qb4'~BS(EsәY/GZIQ(6^ݺFLȈE\htZU(tB2` 'WQ-z' Cv4訳_Hx?}C g%`^ٯyT1 ~5ӑ={υ3 db37RF4RUBR RIn]:Z]BhXrŐ{*\:疐 Px"~ ¸' SN3uMpגl3B0kTtETw9g,j쏔a 6`"1q`ɱ!:@Pz9בԃhP5IXtT"kݠ߅EZu6oZoOpE#cE_|5cQ$9zQ@PT{-R<Q{;TZ>Җ%<@}3QaXǧX"0|V ,ɮЩC:M=VSsfUrōԑ"NF(Sds uc=!FcM9=/1#tnL s0Ȉ95#""$A1W(F>s q$N-dg_&(Nl߽hsttǵTOt P*Y(pL8(N}g=w͗c V5`37Ki# ϲu?qMxQk0${=34Q' -ZOzy]jF>!9X{WYԡMA "7!N!r Ȍ+I6+~3DYF ܰ>g7Y[S+5~Ra.߰`!o\Fkt,>g:ht(fR- g3IG%9&Tw4s~&Td*yJ_zTvBXޛ^ŬIJڻݨ1rs¹b֬:f̬;{ l a@oSg6*mG$"5u֦}y1Y9E3H6Fn X2u2$5=S8bZ2r]*eA 3Vp" J~$<2g`C.\`q|F|M([&VS}c۩$FZMYp{6ٞo.,)Sn( RƊvߣ X282:!uz(А_/znA͵5.'T1{lV4ۙB7~hȺ֦b8 {ྻ . ;go^Pȶ}> aYHk aUuxR$-_~`%r1HA;[ȡL(1tkz RB4c775/rS7E >*=ERhH|h6xv|n+־[[Q8SB 4.S-q1zdjV'8_o>$UZ%U_-d4W񑆇ο€_Dl 61b{i}R$`B ۓ=V5v's|,ҭ/4\Z@*6IH7Бq3Yvx^=s@%-޷Bi^EfO& `-`87V QCJ>"@bӀ!n<ᕰ#7gVc{F`>!;$Yxy{p4"<ⰿ[0{}U yolV ( (#+m~)*`O٭E 㚴W]2w4ЕK~L^( B~:+"p>cy=n蕄ˡc~?T#TtJjAGfT@XPHh|.N N,\^|UrY"0Vk99N<\sqm2X?͑WeH3+urnX4eq2mbgܣv֗1F(pamd|L'=+86Gdɕx~G^*@Y֦]pP%^^-Y5.H{JUǃ_ hT0Fu_A_ع"W?kEb*djKF/̇78{1X]V#mK#%\]ܙr9k̆f 3s ܴAf7 >mU+5$7bHP&~ B1sILH #g-RyS8IG`na8?ry;q̥ #ΚW)'^Jdy[u7Ycd}{b ~t ( De`;&1= ʦF.eugہ97:VRouLyY77fI{ -!߻o.Nxϕ务[d[d @1ȇe2LQK48Vg;TH->u =PM"ߴeT{zߠEF#e3G@_)[Zti p<OkYaBVo?.pHo-U C˵eW_tRCi[nܮ{ݻ2*!}rѽ_/ +(r41Yl% }a", @SR[kB6h!s~+Vp }:{Ԅ[ZX;ce[_Љ| ܲ`x fX2sSa? IȚin.اN53o[zIFߒaU:F75IJ.Lɜvrs+"Ѣ)cB77y)tʮ}u d4񞰒fcƧwYVݔd8ߩ_4z 7e8iF=j+Pl'ݯ-iΖA7혤-,>rFf`ܪY)]^b$P.%zMpHi>b2@H E |1/.g](fie){갲֢7:'k/ ̲0wI!"gK#k6.EQR 'mm0o[YBDByZ1(ڧ6 rz o2ڑ<%KTc2 @/}82T6^5DCһ2#}UP˾" 2lqC<^xganfd/tdPwh ]TN{81pz-Z`AM=)GW!W3kO̶? (:flJ>T K?ϡ|rؗ=}xM ?Ϡh Nr]48]d I[$)wvj]VuY4M]8$ND&gxU* \kSY@PsUߕ>.xϖL :(o/CHs:1cʽ51.Tz?V13T F, jleo;:5hom"n\ u H|EG** |)hVD0z()/Q <˔M!*K; Ih몷#&KRF9ZO܇ͦ_o*YyKpeȌtȵ4: al)ц2‡dǘGDjz+Q@oix4Y;!%Z-N=?Ͽŀa6m"ɽ΅"\D#8A|,*g @3q}w ٘P}'3f`6M=bWl gKE/aҒ|GS3ԠI9lǚ_Jril dRwr>یO| È #;{ɊrPCFٔ<+L}O:MA̺3j> 8[E˔}_V }ZJ9A3P@75=b}QZ-J}Xי~ج(l myTD2XI>=N5-ꄸA˛}Xcd7!x;?M^HWHn -Ɉwn "===y-܊YRe,/ƄaSҪ(,03Jԁ너sԡnd9KNe4k^'ζ:j,@SWM&6u;< FG?!'Ծ.|.,z#c@4-L]\LC,aEcJs m2df_F~88 RYt./`r߮bɖ&[%gI~Cc$n] ~ng+XzعJ1L=E:wTK  )F,|*gN K粸 W<]JS2˨G5c:~ W@w_)ʒ~T u!3BJћ ;TtLNIJ@9I@L |<y{k6$92.XU@;(Β]"d.ko˄k*tQ_kf۠d\dL,@?CߟD H嬐p,LJƄ)].dzիKHi[ ͡Ȣv_cq/(2v=1ޢC!fW`Z+q!`X6^^2L=O Lj*̉zaީݣphM VŢS TWV E9U*㥜LvR_zh$YϥO׋<1(kJ]%;"]CUeY4qwe`Nq=Ym!± Vh9ys庎YA﬽F/(iKb`i%6ʽd)!@XsbQ4FtXϸ[ecvOOp]HWSR)J[z^O6U,LCu!E1'eF*0H9ړS$xC9K5V!o5)+OD+=,_-bfpeF6t5> T_ů_-Syz ]E:W/XW5(>TL3H,Ȯ/0.yFev[,S\~ĔO MԅjP -?)JFc0G3arƄEO֘Da7Q6 M[ i.)| OOk;^?6)Ԫ UyU2Z Bw#9Atm#j0G=[ƌM 1+=ܲFkRu&_oL)&X1Վ&#ܤ27 XV3qk 'Z@s(YA2 D}*Z'`+JVw\_ @< aT{ Tdmy[`oM%v'FS q pXY[$"qcsjlxhU/O6|WVBJە-Q̢P͞el?RsڵEI[nDcep8Z$a]|< MŬx5YT ATsޟ{ȃڱ]f~ ?ANq;E짶PEu72:5=:Jau&\ h0Cs5T&A߁QKڟf Y$ H H%X|UU?/9hxyAe"*مHX%uHҀ5xݽ)I 3C_h[̴c^? A͗˔|[X_ _Lv-az߅F:oꆰ|.ޞw-2! K}lb8"qp+%P5SDܴ1sm]ŋaqs[k0^} 8^@RrM =42Xߟ2iK&<)ɴ NI\n sMayKB#UG}US8MD65;nWzIRqt/fKH,RBd7Y i27 ",YPKɘ$'r% 08h=hL]atz5wqҮs("83KO2aSeG_2}!z)׳tP ZWWʑ 9=jjIj)u8iIJӒ W:n-)z{$z4G.{RĽG3,l~yf. B:@igZ:g =9֖c&wV(*('37౺7n`yGB\ ?WCr 4DdiB [5ZOӰ)hSa?eMi?aAwV.}cv 0O,"L.nJ3G^=ɟnm+n\QIbRQz-y ^v5}}I%vgNe*55nE_PH(`IƜ^eBzө}[ XXAMkW&.0|IB'"tPZ5-ϬNOu+DHv \ $ ֿRMfUUȨ<Am$3}F.ՌPCRQspif j!ؑ;8|rXC3OWcՐwf تOvtAفbμrY%s3{}+1og pAC"`+>O4罀ByB=g{grFkˡs" ã͚4vCmiol6Cr넝(t(l7v@%}I8PZ#pygwɺD韂@pBΣG 투ڐf0qGԙU0GA`|&.EEMH}xIɛW|9qMŕ. Nrt8RobvLߎKZUwc1l eRs3v62> 4 1c;Z!uADz="úcO)q NLcG0=qyl2ۻvvܼN@(}khClQck& i)Vh7ٴ?R:a'O4Qx=Gvti7@zT\@TۇahY `o]վZK LC K8(L2a8ƭj:"OXr_Y 4d7]ks[8Q>tzY"!,V94_uպhxڛVĒ1꫙&{(9Cl&)fn-:4\Vn}4~K f: Rv4!;"E 0a{7r2.bod 7Wd.o`婕Ab t/.=&|̗tӬ#A"L(2-R;!t,>'ù ׬$0vqcŰgXr\Yɣ1]Rh6JH>BPoծJPx|&56iR r#&okbh-0{:G7+Up[i@㸷r7j1j8ufHZTu7JX-%e]ErIU0®`apv|1<: / _̝a@  7R?}Y~0d`nڙc֘c a]SDs|i=~Q\/%[֗ѕ%W M Hr1~%|*,!L|u̾1t-PCY柉$Vݐy4+𬮆~p,+n@xʺ r>K|;o JCQAh0O1FFw,˱B=_}6V3o!ST lx-2~@g  'b_,* [ڐb~Qf.R}n;eVIĸ{٢IQKO`,&gPNml\S% Z»&Sc|. MV"&ߑk"vtĘ.. @u RӐȳ^NF^瓟lj$LY)G qjoNڿ*B.0„׉AJ\-eIeq+[;>a=m. mQ2}yC/& uQӮ'Yx{c^>>>,܉m+A"[$%ֹn [B* {#%),1,co稰-gu%O0aGr/"Y0zz@W)^*N('1Ti # ):Υ2NRm|0*gyU,A,A3DI7.[t& `,"Vg 2T6@N`PŒا-àx؜ct:dvH6!D$<|PX/(>Қʽf^\~19uz.zH[6RaXHdRetS/_ꥉ'Q "L _/r% 3E P] %`6-:\}], -ز z5t*d@y@xm +o9F25va6hE/٘xK}#ٜ{ٖL}SO;"uN€#4썟@@ ^/ 5Nּ㸰Ha:a ΡZ)Y؁F{$BAve(l&(GIw3+d H#,neq'Gw:(V7}nF9<nN3Y+u9q.u]fr[Qܙ#X`+ga;py^s(iΧ.Z<;D i!p~7xTTrAv?Pknܫck9#j Y燏zP5w~izPY+ٸpYIm5*rrd_=r4PV17X Ks&͏‚6C {=~"74x,zK[oO꼉;Z?u$M ]wd.};ݺOtbiv.;^ko220{je1Rf$Fe`7Y€, <50IDZs|Sӏ~8LQ-4^(|@e!%air٪ ]/Cu&R'L=i@3W2)"XآOGd(qJBeVjJ$9>$cPL,Dz0x[}"ȧ z1pZY%a_8: s8K'zos*Ь$1wr00-6Le62j|VOjIHyN:ÇJx|8 /q9'.~R Qc3x7/4}Zps6JOeFvJ0[OW2ޯɅ.m| ʷ"bZwԗ{fU| Vibk@:_19B8}'={klm4Re~oOqPrÑ>U_-ZƩeR!4qAQѹ#W;d{ }-%KMb(L:WS@]3"k[H?:⼾'C Nzفb5M`97)KYdw?t(庋xw#V=ήk^=wKVQ۝b\Rv[ot62:p??"-^ sR/ԠL${qb9E:kqފX rў=y -G>Va IGV4Px8"1ڭ(+a |"z*iw홟{-hI@z0#!Kh;vD݃{7J؇BϓkþЬ݊1)WU8܏aq8oܹ/|ءY5-`7)J9#hvJo:ߠ̙kD;~)RJʜl@ggxzC^"Pi<,ٕDBH)a'\.7;FQ5b/c,/٥%*6؜0<(<zL?[* :lgY*Jȅ6p| '!HdC\ B&#YyPUj8NAY/L {iޝ`3ҊyEk2pV#YmX4fF4;R~ϻPPexzOD6aW%cԂzo$\gkZ-t||':j.VWv!%6w;C:kAJjʲofj՟`ʝB\( ]^'$ MO޴@aQgsZ{S~/ yz¡l|!spf@I2%/F ro1J&ϙpFf(' *M C֥?O5kx9gM! 1z?{46)+~-OAHkTvz$mE6K5Bc, B[ڧ_v#ӬL6n?ۛ„-4 vW@&m5g>@L ~-yxGr!tTPCV55s)9ğ!J+莖rތ FӊL/iAk16%k _)[naִQ̗I;̮obt׆~.;+$JV195KYI8.rhO,5-ON0}遶잋THx'B喳C<x1j mT^vh!k1 *X*gH0 C2 ۂ$L{.hWLZ6CRszZCÝZmQpP{nn(yX6uuA%T(3σM(sU^wvx5" 6i!NuiwGaR<*JuX]/?0bKdӒ8YhgCTCfJDu87$m~BQmnxRG&`튐TYwz#}<В١ D㖋T%T7\Gs1_ٵѢ;t!`H!u?KyG5O+8xE"*bj Gn0އpwWieJ*Dز\LC^ވ[҇ $Jk4H䂾='(;Vx-y\k1;HTANW|E| tA8hk]DvDZE0KRύs|v:Eqn3z`J Y؊6sڸ,.a7m0A{K:J%(! զp*^o<+iCÚɧ8:j; dA`O)Lm58SA!Y9`<4_-\/|x3Id2 JRYyO,cyH3l*50GQSa#lV(ZY'^PCnp}p1N43%I)D|PDgYZNF撽}yldfE6w7>27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥ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  51?% LFinite_Automata_HFHOL-Library.Nat_Bijectiondocument.tex7zXZִF! )]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;01A% lFinite_Automata_HFHereditarilyFinite.Ordinaldocument.tex7zXZִF! |".]A-MՋhvG"uIBm5ŃubGޕ~wwWJH[:?1wݱ $\Ƭ{W7z RyʔO"l(S`To-n6׻8&O83d̀ʾTB+AoЫPN_vOGȐ̰}S'TWͧp&VQ.1"0) ?GMhk 7:UTi/إ:f.ދuk)©Is"$kq0jQ]Atԙ;kF*3Yǀo1W% TFinite_Automata_HFFinite_Automata_HF.Finite_Automata_HFdocument.tex7zXZִF! <P]A-MՋhvG"uIBm54"?&5HOȚ.+7:B{eB%9fʹKpP4·؆s ӆMĮdLߋ݅WiL@ȦN+N"bJ2d1N 17% Finite_Automata_HFHereditarilyFinite.HFdocument.tex7zXZִF! hA]A-MՋhvG"uIBm5Y=D1b(6iPԝOFa1]lݲpZIL'hΥROh-B69wil7O1ͬwv@<ٍŌw!+}ce @yY$ HezGO\&p8cNEN%ޗj:$O:3ڊ>fy^2}6Ќ#MmW~VX#h %1=% \Finite_Automata_HFRegular-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٦k dd1=% DFinite_Automata_HFRegular-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û܊/_m