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 n3 \l, ] Functional-Automata:threads=2elapsed=15.872cpu=24.584gc=1.244factor=1.557zXZִF! I]ŗXf1-/6vRZ#գ9mB9c%:n'U]=wSz1 TTj}.B7>zڀ1(m"P'V}KZ ċ _AH#cM@7E\3igIPB_ÆT>I{;߫󼃢V͜u!2|uN1)i @묖PWIh|n`[=||@LέHyWMJ!81֕ti1D \hUD3j⻵{ڜoxY]B%4HG]@3_30^ߢ腁!7[5fZ(Ԙոi*hɉğtΒH a#[Q؜9gMgvdWD4ƢV.vq{b`tEF!3U8|egxwQ#pe2~QIgYZ7zXZִF! .]ŗXiɟu𮓧xy:Áln~"p&l=@YPBh/{r+8P tǟqKB2pk+j>e`O9't%eK/%!g|hQ4nNt-:gHbHW^luXO3FY^iHnbՁW-EV9k3;RGUhIaƺ|lN. ~a"p̱(9WoA+*_9P=|!-r=6ҪB}?=jV_˯c=;~OK xgYZ7zXZִF! [ ]ŗXi%; RsU^w ΙJ֗LP FAiز>8bC4)Gx2rtfkUO{OUq~m#:tm0_Qֻ~/lk81 P_KCMsӤ҃9 8W 3dz{gW~AnX[%~5d@~b-q@ 9g`mf4bO^,JtHL&=#ESIMZ9Mz&N-U- 2&^uD+^!"ϊ9EZ:LoLkzO~SCϙ!T5q[Y1?ՙ括LWfVm9MxCLm*Ra8^ .L6]ǯIdcX  et0fCڂAGyRH;2;ɥ7eA!kw3~W?cZ3-YFb׿1_ "] z_sv4ZTeOJ/ļ"us-2>5@ÔJOt%3~ϡة'[Y=wEcGH[Mi ;Y c3gYZ63e508ede8ad2cb9d2c611a9e459240eb791b0750a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 3 Functional-Automata &3=% \Functional-AutomataRegular-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^D        i l 0 n - <0L3[%Functional-AutomataFunctional-Automata.Functional_Automatadocument.tex;39%Functional-AutomataFunctional-Automata.NAdocument.texC3I%Functional-AutomataFunctional-Automata.AutoRegExpdocument.tex@3C%Functional-AutomataFunctional-Automata.Executedocument.tex A3E%Functional-AutomataFunctional-Automata.AutoProjdocument.tex ;39%Functional-AutomataFunctional-Automata.DAdocument.tex A3E%Functional-AutomataFunctional-Automata.Automatadocument.tex D3K%Functional-AutomataFunctional-Automata.AutoMaxChopdocument.tex <3;%Functional-AutomataFunctional-Automata.NAedocument.tex=3=%Functional-AutomataRegular-Sets.Regular_Expdocument.texB3G%Functional-AutomataFunctional-Automata.MaxPrefixdocument.tex@3C%Functional-AutomataFunctional-Automata.MaxChopdocument.texI3U%Functional-AutomataFunctional-Automata.RegSet_of_nat_DAdocument.texC3I%Functional-AutomataFunctional-Automata.RegExp2NAedocument.texB3G%Functional-AutomataFunctional-Automata.RegExp2NAdocument.tex<3=% Functional-AutomataRegular-Sets.Regular_Setdocument.texfP8$'.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~$&mĴղz_[XM|u4 ]#L\<0GAK߀ރ|k\K~F3%| Rax;K,:j~%4p;I"v6'ﴄluH+l>@[f^ݯ*7,,&rd]+{A thPFќ1nLhƒ U+-ҖD* (N>nx!IQ[:o/7T8ՅC;({^w;J53Inc,9d ϶'~waϏW#@\pq}]u 9f?rRpsA%wV?c$)H XޠT켹히ڞuJyS?zk8M^Fu?@X\{kE/*T\mw QF+jiՠԇZuܙ8cq .*E[Y ',qGQ^OH,lĊVA598pCXY[N:鉑`&AkQ`x,۞WO~Z)>){a=JK&`K/ud({w; AӍpdF__TfLE%~T 2B7N {3׫ ٩nj:Xc,b}r[mŊ_RX-߹ie+괦U7`F>#gPH`ix fļD`ġoop\8e\羅;}A^8D4X>غ-^2I(5Y$ sBCfho@ʹ}^ 5pxUwn#=HCV W4Zh_E܄@U_ *eaϟ +P7 :@*rvʆWog4=#%;p־\Ep?fF,> "`gXoa[hۺabg&} >5*4:7VM_S%6W"D/l`E'n~<[AUppc%U@3r5,19(tݱ=|uKH=',$Zmj)%W~hCםɭ"PU|WΩ t DI[Tr w+ndבn#_(ИI?&G}"5b0iK_V(%I91VA1Oo[-`Ojo8Qu-ZT`Dr >N$cO"^g<ޑop=8&5S&5[dv>~\ CPb dJ^);Ɨw? s@ӸZ8.Ox,]@\YrM*)jcmF'93Te!~4\#h`IĴ0ѳ(~B(ְd8Ҳ[L؇"+[WjCsJ&h6֡w#Y<$DZH!˿? WVDE텿,fD3]aE$5hJW#|,'-)EVؖFֳ+UfZ6M3ΡGPw81o=ݶwҭ~uDTꮓs*֨93ټfƑ6+PyU(CK 9(]0 9 79ϧ|TWV%쮃,~(fgYZ &3=% \Functional-AutomataRegular-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  6 6?3G% Functional-AutomataFunctional-Automata.RegExp2NAdocument.tex7zXZִF! 9]A-MՋhvG"uIBm5P-tKyֱvG.? #Lj|_<${AyU"E kp`rKNc$lge[| zB2-Z&&vIwIBwX;+EOaP7`yaAyowU|>>)IFn)Xe'tC"O#0+!4Rsˊ`45c6ep}i([ᴊ%1#S5'My9{b{8uϔd:RM-~0! ٗmhe q _pKw:eoPᙨǟ^z|C}l)q#|v)(l(=;q{:0?hiMUS0ށ줿@C.yn!W 2+&-2r ~MPcm zTTNO]x677%[jqy>ب"{~7(N7Ӿp |. q'wki5؀c{zp%I |Ҭ 4]۝20L|Olc'<8g=ZљT~yqz/B4AJy[J[,dyڏog3OYQ,hnRX*r%׸).m={9JV`؛Ph2UوFBfT!wTGnHL`ϡc#dPr@. [|Qz^H!]m$n(?2ݧ?wz^^&ksiP8_ [+N.x{* w =ASrUj 8]5HWdI 2( r,ִN92JQi,LL- %ԁh6&WZQC!~ UpO4IeԭG2[(U8i7ӗbv2[(:a׽cx s[0$٘q ?"1)Ψ*ƍONHJE48®jyI,=A#QF/repm33l۱h ncCu>Q"KVsro`3;{㽄߀-k`Uqk`*N'H&ͮrH+b !\BvK4HZUV,d2YqvxGq5$biF*@2)=S:?kAW5>kc1$c@ b{9 (6C F6|ۚc].g4yHQ_/o!A~y*20z,ʊװ;g1>*ǭ KR􁄢XΟs,,3_3cx}]'MwN3X cgO($&PLֶyL;$Ō|KߴJ o˘ɣuVX2q5e긠xTSqӽvjqt렟.8b>W RHC~k7ʕ*kN<*̂YK*^|?fX`XfO^E ˍj$85s3YV.( t*4 /qva~ln|eS LG(Ec$NYэL4GżC`&~@OMJs A8V&5əO2VemZ?bIݤ`h[/oh샂]8oe eijC2~'CtQ{a rJo22̧gJi?@;ڳ%~z~] c 9̨'##Yka=uajaG+T\mWˁZ"5o!I+ 9Y7Jm#iB/ A %lוҢ :9_R) 9lv{ft(Gg,wĵ)Xt,$'9"IGRWghkAeF[~PU%V VXX7Й9$)p̑vG.K_B\\g:`bl_"ٌKa>_мoCL3hBn2?O3.$rL]YWU]9%c5/0kS}:]'JhQ|>?TFO/+<?AcbcuL*)I}qB`Z b* {.!m"g &i/)Yڹ5ߋi?b"}p8 GOW$Wo{[Wz/(®tQAZ-qRRH&Njbt4|6`W̞X JOayd/ *!LD2{uVH' DKϼ/trFl6T[ܠW6p<[7 +.`P~'=FVvy.» Ukóa<_-='t:}_Cp$ k4A}$WٙK`B17\kqC ;>6! ڀm~d71zTCOdRƪ17L"*W}pCz[ d\(٥H^X6T C'v96y)hM07A $ӋJ|$^DD<e|^Dʄ abӹEQNwW*A+,ø׎@?WRLw ĕu- .ӕOǀzjF2~ vezguZ{m7EU%|h:YI?`鿠XnYwpjd)spf|VTO8!8 ~9{&֠aC&ѵF5Y_C̃nT\*H~bv妺m@~#l6AKOv/oŤ7-MIw@^) ?7k>toBXpxQ/ӬWmsm\*ɽɢ I(/,ڏ+ Rf3(b<t )). )@'p偑j"",," 6 ̚͡{􁂎Tҵd8{-9vǗky M>Oj7 uGϣ?սGxе8$VՃ!(_n"s<_>EZi>RO`JKd>YS8"8F\E AabNk$$' |li~bMzV1 KXk9>L X_`0k>6JC}r֏oD )EAQΟ//TTW^pA߈.>Q y28(gYZ YY3I% QEZuI왏$WkA!xo HBx:|Ca~zX-DE4~,+ה/C GT7$,AH*jTKh }>6'YJ`FrSzr;~E˦'~DSLV0gg_} }Up{:F ۢ.ǐElxU z5> ߭'H6Rdz)C 6!k *X ߢ6[*s ӳy 1$Lrsf Vh,Br Q ;r! .$)݅z[,M3;30]BRY; *zYR )DiA~<@UEy]6jy.Ega'O_rU+y!ؘb)޾Do!XTvUWTIac  Y#m 5Nfj ! 7TR7VB@ziH$?ɯ&2 4}~5\ :L>~53yh. ~ J?!/mY|ur(=iX[>^q][*`RMyfWStBeV2PB)+9*d*.-;m30/{'i2(XvKВe{֣FF 2t'k@IAgTnuN_Ti6hѳ?h *(K[2GIrO~|z`FQΨRx3~T\$ DRzf`y0sʹfWLS{Q^U/"ͧC-k$$,]Nd*RAO2y>{m^r 5Wہ8>pԕ):7GV{j`N,0wgv۰U!Mފ?Wic^  zMJC M$pw)Hjz9 >8[ꖋ *&,9abSC {Vعf,eHI 晐t6fO0)&8֋ q?8T'n9Dl 7!{M)pEjmzU |!Xޭ,|;5#e '7omg+z=A\X ,XRok}R ,1[s!*M!?L޲z ZҘ{w=Ҩo@AUnɳD+8yot⿇,4ml)(6q\ 3o_'jimtt{ГMc=en]/-;2xV-a_a"57z䴙vݻ8)ߟ Ws7Zgjg)Qg$^i5~sLyi AfZFkF'u9G)/t EXꀇ38Yd~9AT 3U% Functional-AutomataFunctional-Automata.RegSet_of_nat_DAdocument.tex7zXZִF! =]A-MՋhvG"uIBm5#Ko 50 x^q* (mmX"П K)kv2&Hq 7@lSY0[(w5U5?NbNFfu;F?ˁ K,Y8 Vfct1xuN2F wѿRTګ?Db4f;%#wJnORy `}}i_9eTrP~d|:EF /bY<'c WELP4\wѕpXKzê# 9 Wf[.Φ2?v rZ֥,S~!Dl& Rح ^*b+Bv!|O(T#c ,:;h]WC%ޜ@GqMYa ms/c)@VrY)? _<@hǤA m:B@ܙvw#J"=_5%N\"e9jl3ĩw=ӆGmE9DWo ߻#R }#ln|\%5ئG"WE5o>qb4cn"8fRLm:zE6Ɏ ! ]3q ?M'05Q&7J }vQz fϨsz]`dOH&͏zNBt'՟}XCR2"Y*yVwА&pE|6W#9-D#cͻ`EK×y}e ِvUكgrp02l鯲(D __ItpÈ4?B8(>>$RVfyzZ _1%~(Pbˉ}#8#{5'ŋni`\YF˭`n9yBϑS \ r#s6NiS2 :/qn=gx LbqC!`ak #(2zPĹ&Yf9 )A G6 L4D^ U3}d޶-svEp K:c N ~Ĉej53eD j3ꦛ޷,/&& [BpVN VѴW!ۖβe #C[F*1#"_k4 :qG)G)JSΏ MiKa\6 ¶ Yݯ8 mmڧ56mȮгGk8Ԙ7k;9>V, f;HYYµz$]QefhfnƍAAEP"bE.r6-:XebkQ2 =^oTlY ޶c&40`]'?:?p=0dE%lPx*ӖMׯZN#٦7Xr/=^qY{ syi'`F_w{VM)J TNkƦG*g~*prW;+,c{K,B5lX ư@7 uq(,dL>Mgmi ?ws ]ie[HI&k'p B݌k- tZl=gfT| R?1).ؗLP!1X94WhDFON*9&54]ݼ2BnS=HX{/vȖoe}ۑ=QF j X=M!5 +ܩMFnnF>L=]Zm<ޭ*G k\PG,?}VvRn§d^|6ɬYUTwdO?o&g;(D?P=g]QwEw"С=?T}#qSN/ԭINoQMa DA0¨p@ϥ͝z O2:RHfNl6݈ ӻ;Yp&,6tFĔ !60$͢Tu7e#$7]sDeEП;OkCu bMEh|}m8s*`&'J0 cmi? n:;]#](L7LZ_b xJ\\;)ӕЏX8neϊHRil O'IJC7UL;Q<8lè#@fh=f+P{ }L2eE ('ot!? 9|J-^O3R^;; P 4kƖ >t\Vӎ_IYY<~z1)3Yƕ(`PC$ușKC ZEb~q.RW+EgNJ 'ΞϝVK>qz q`Qi+ PȞ]@+8,.yqA(EpdZ ؏(p;5bOeܱi?k9 q @F'/1꯫@8i;6g{A{GG,SaPҽ["qb[Epju_@U?1Ok mJjk^U܏`1KQF9 GL:{25ܶ<T?_״p_ZfVIC n,'}zDD$\69 :,~BML(N JƜ/8eC9=R?GՍItه QKU'Q2Dx-Y|[2y\9(\mm%C9mzA/yCJmjJ,4<ؓ3>jz##I= XI.}_ PhQ"L`?҄@ޝrhSDCdB̓sjG&qronL,וujT4Ԣ)[N7`!Ҿ1.YH cav7=9)Q+oO)gap$J˨j>BWZ&!(4)':;/jI&f*{_/d_!hW+f@H cCWW/ݢ\YF((t@zB{' /-uU_?h+)t&q6~6yIآP(g,+V@wr 7*dLq2E_nJ̱!)Sq'D.@*_6^vqLƚt1hCy2jҴP>yXv5Pҳ"Ny }}1 u^J)ePߪS/ A =WND[x'dx]/zG]Z]/J )zyT)-L6_:ְk$Qj6 I0p }zߔ$eyܲ(3t}?Y + Zjnw1=]p:9q%R" ^)RnBUdB3VW=lr$D( J @(/fd킷8):޼ihkS[@fO h\QJhwīu9Ǭš]hjx>dBaWM&lDi"$A>~wR,oMμ'n=)t:+<ѧǞUC瞐qMqv{.go1"[׮އi@>? "lY1ѧ:kc]k\5qw֟K84cO@Ӊ 莲=uw.3gFOR,)gП&~5+_p:H{7㪄@f?LJ.}+C;@lЉ(e!i&|.ږ_O`CP[ټ +jA8j1V n$p}iևdy# _o'_o{0~U S&^ |YStTj[??J[>EмIPi sBwk*vYR~.SX;;ЯLd=U ScfۀٖuSµnя-g] ߹-gS& rި Ks. uߡ Wc}Px8.tpǻ`O_U2SD{WV m>0Ýc9j"> _ ',bs>1XTT$Ց8(K;G!+LŇ_Rׯͫ.IdGI2=}D vӑF, stigb\] .Hb}m(Rz1JRωI= " mȸsNޭuVM[qQf[;w!p_ mj[Z<؋–- yGZdfh$Yq52.%75;V9QVv]Z֡"{ x) VxVq" 3TE;1y {% ;&!B ِVN"vXgd>!23rIͶTUgl}U d32M|yК.5ym"<Rg,k[-1=gYex sz䛸}d**fAɼz4Lϛqq@!Y"9=ڳ1g/<큶t0-jo9сA]pmy9H,ш#D9}PV$0@퀙 :o 1!̩k-) pIhE5ky 3FI~RZ4gYZ **S3G% ,Functional-AutomataFunctional-Automata.MaxPrefixdocument.tex7zXZִF! D~M]A-MՋhvG"uIBm58LyICa149$#ǚ}[c1z|ik(yQtU#*iǩFly#}ap@*/; ">tuco0Ґ ֮-kgC`L70kf0jEwxs/.c*xQ0Zjwlчo{=;lY P&.!} >ѫO( C 8:t駕2¤|0k|*.>OA;&YuC`5WЗ@^6(*R}< V!o%,!Lp*"QׇࡿFf5vra-sX5KRGIuHh{jIaXIQxft8>سsۊ1(3jK {|Uz/!&@=WL[I:F֊.jKp >NHwCtb0;œX腺4MzEPY P 艝 jp"* F,6hhO\'DIR' g'_D0*tKɹۜXE\J_Y*G‡^q1u33>F_! \v5vwcJM_jzFQ:IDbz=С}> ͙z:ɞu\/;9hAHEhL $uc![V؟<7LԞ< ^ 7yQ1tȵBMsP8cwws۰N,ɏ6|#A޵80;Slj8ڏ#A41ذ|=sQ]"p@ZhcaͦzzI7Ni3﨏2w0JzeRƮ݂~g 4@)8p̋옘wM}^dp^f/·褒kGz5%MuahC,ˬFR{UU`!{HT' @,<w!_p2ۦ+iuE , %FH+ +:1\z1\v]dYxL#)wyM%=FWx?r9\diKg\;5TXSY-zEong ‹]>E? lo2<׫-W'-A%]>)`|XvdT P#AŷKޯַXBD*[}SWgl랿j#H@Qq8j\`Kp~޺1T/X."lBѭa9R XeWKkOVȵjD됗'xf:jH-\I"UI ӱm::"^b?bSףS'u̱jjW k1tƺgYZ cc3=% DFunctional-AutomataRegular-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û܊/_mT'l6ٺ"Ich+q7d!df}azy$A{ >1J% >[*E0ߜS]Ux7^oH(}~D+qO˥xo:Κb`89?_"|܏S>qBʻ&`yN#\6\C٭-vBobUtBaSXC `$'$DH}죴_-``j R ^m47Ҙ5#@?pa"l-DH%:1Tt ,׽e Y+QPh=ǐ;s%zbNgd N5ţJ}L_?$"@|,aV:U|,ԽuBxPO9 QPsQOPᔿf>kz>{m~PIG Cl.$TjP&Kx`5Z>@^.# -:qJ I +n ~6밿y[ 0f&L%a3/ Y[)F"vi"M'X"._Ş;џ9{;ȫz~ϰ^NFG^*m( f+%e[7:U@X#]UD_5h&%cjq]9!OM}=P=A:Hq%H02e^(qb[n-#rf~G#ZN^€ƇY"Z dt~C:tb ;z f$bd܃?z?AͤB/nkl1K^[R'򳣷T)߈n8$9v,N`6nۓ;LWq>KQ/讽^m`XfA)TXs77ĉ>9}H DV>gYZ%3;% \Functional-AutomataFunctional-Automata.NAedocument.tex7zXZִF! %M&]A-MՋhvG"uIBm5Ģ-WHqr&1HL :Z sX&P+'3Q;Oޒ%`w@ș>ܷKg.M-(eGFiJ0A!RTN!Vã.s8PGW;|K?2~3.܁RNq]8yշPc=z Tg=[ϲ)hgIlMMv<[Z+L2mdkNPFYv8(hW{]9kIm`.&Ԙ(G K?sc2J W UM8(Ցm9'VTtq^4sf>4ױ%w ]@0{F k+a G+A߉[s"`sQ>,1>PQ n,FMՂ$E YkP5bN✻fcgHH'|,ZY."E&Kyv)_âVA∁3X!}ch@kG^nX]°ll \+M (4dӣ85&iMHDV.;o·[׮*xI(ȃt@gG|v: ܃lpe:kq߽"olIe3^@;J?Mdx#ًʕ#w&4{8IP]nJ4ߌ+AOǫrIXӍrA&4$:g1TڒJ ;RVNs fW[ERS,PO쉮V 7YLn;Uc8G, Nn$awɒٸpXUAt l(.6T(5*'صJ"GSxKٍ[Ո*Y0L*7TIriܕ@Q"y;kd%_kۧkXPjOa sX2>19Vi!s5:4?RUNIq[ JZ>gYZ  F 3E% Functional-AutomataFunctional-Automata.AutoProjdocument.tex7zXZִF! ]A-MՋhvG"uIBm5,m[uFGMa;hz n5gFߥ W, ]qʾao[M@(\Aؐ 1{s_DԳ)DQΠ QFZ&^sFJW=(^ a2.}\9ޯq];͸!z$`Zg6`&FIK;5GWnc {[*1Oc)\ms_>N'b+[t`KQ3l`̕ϳ =M%eM4w-#No0iy]FQ=H5zCt\l! zihO2EI{a@+.J7[=$L9}'4kSmQ 7=wԟr6E)27![#?3 <H%tAk7XYI풥:i>5!2؃LQJ/]Zob٨ڶDU\lZQi\ڨƦ(][ta~MAT{8y' Ą p8}`Oy` M,1x2pD4IN[ngrd Ob9yN(q-؇5Q_YA&1|"O<|+2!F._pg~  N{xgYZ 39% $Functional-AutomataFunctional-Automata.DAdocument.tex7zXZִF! q ]A-MՋhvG"uIBm57:6 i1b(6iPԝOG|JE˙g^ƨ)79Vl$&G4~1qI3tMsB*{}y襋NuO'~JGBKaJj{b~9o]ܴ.y6+XI?0Iݶ?Ĝ'+P{r40] A.t۬9PNr¯ͱJ3cۉ}{@ieRЄA~ x K MugT?$4hQUAw2j͉;ELpCPܙʘ~ pdx2"rԩn;^ڥv45l{lst4RT4d`"¸6 /& Sd0s}l./iRK4KoB3w5 f,iht}1n ]l ߁^dD͓KH-qcZex^A- 0U[ei?p5Ik`c WYBOpm\ThW^X_ $Ȗ2K龴(逍} À4D|_|<{%Bןu< 6{u PH[Ft˘Z~uA0ZlP% 7MXR1t!%Kx[hܪ]e+wxpiuw I0as9( 9:Np%.㖪3[;Eelw1/*wJ wiC IZIxݏlû'|%xZװ9>;eM]9Ec2b.ABUY]Ɖ8Dy;8g{^`< YUԈ~=CUnK[$d ?N2Otu3c/;5q46~J5-ZcLkf 9a*#^*^E+0$gYZ~ 3E% Functional-AutomataFunctional-Automata.Automatadocument.tex7zXZִF! !]A-MՋhvG"uIBm5_/bYϙVcʍrDRʲ Ƿ9R|$tPt#j6s]ax$EXmKo{KT` P5Ə9[EZ@[De\6L}FS?dAſbƆLˮB 5U!mJd/߫ulE! bfpZ sg ޭ=k~4c˽bֻP45Ye%cT7GJ^Q<'9~ V@Yܳb GZm@*^&a )+Sģ/ѽxΰnI4lQܳ .1%1@F`IW""tHc $"0W?i?'/ۮm\%'ϺwЉ8:ҭ TA_=*PUU*L zSo `wA7~yșU% xy   L-KÜM_l)-:\ ZKWESW}# |2Ŭ&BM.Y)qB.BLj"sa2ߝYx˰L' p+ӭ>6ځj6!Muܱlm@hp[8悓@4I-fkp #l0ʿvF Im;ʈ*[h,&Tg)[%j}F WO\ZHߥ 4˵ "yGTE9a+z!KwTg6?/s qĘvIum3| ࢝80 Ⴋ;P#A!=gVk1nYpjм ]V/oP8RB#HAҸ6&'6אoi&? ,vu4}<ඟ UnCCrE&[1#>X@fnס3/ T|bX"E(#=>pq*N=T-JI䔎ڻOM"7 F狪p(RV$0se~IO)zO5OD v<(GUP*ַ_5^slq֩Rc)I*!ȵ -Bq)#xl ""W?9įhG;q6"TШ ͙ՄmHw}ya Bh>p? C[?egYZ v 2v93[% dFunctional-AutomataFunctional-Automata.Functional_Automatadocument.tex7zXZִF! *]A-MՋhvG"uIBm5q\:KW[4mfpQ;VT\A@l23qݠdo wcFztAd-BF Vmm'0IkGSc'ʾ犎Fu C7Cw,*ڳJDU"8|HH.I]!FZWM{R3B D{ 71lz0MIL>#寡!gy4YDXH5ieqq 'jd4BRgYZ<39% Functional-AutomataFunctional-Automata.NAdocument.tex7zXZִF! !=]A-MՋhvG"uIBm5ĢW:6 i1b(6iPԝOG|JE˜D#)k/uDNs]H/c`W K:u/:5pI488_$&$R=P2>ʚ@P oO0 N .Epαu|oO ޫ; {n$*,#ѧ+hKf x!zEs8=G_ڮ;,ȕ4 9$ j8ͭhUNYjhH8Ww J5vdܗ9@֭W6- = -?f\2%i @ث `Fh3<2toOk}e/RRnE*51  $eU+gU٨'o&W`,L֠#OG:7Lj2F樗;IҴd]j~+`\߁6FJe{/#FY.CY N!_Xo :(}T?&0M'G;g*y- jcL#:0bvzƎ9髯GL:%|O|*IVwid?* 婄oU*!8Sj}c3scS=SuгsoD s qCzk{8QR$!H݉+Jg,RT 1<0ƳQ]0!gl T!ް+lՠ"+.ZLuؑ\9jLOvkQs~=Jr|鮡"%-͗ ^X*F5s1Lڍ)~~(L b0ޜ&r__f3qld![Bp dRG$wpI-!sy '"Ig~BQitnι!#ܭ` ";-a]6B!+)UrF.ramUiTkG∯xw%srgUe/WJc{o*bcdhrL e7_M/@EF8/iLXdԊGep ^>,~bu7~JXVg4XP9jP'X_n]3>^_Omzk CǼgYZt3I% lFunctional-AutomataFunctional-Automata.AutoRegExpdocument.tex7zXZִF! n]A-MՋhvG"uIBm5ᱦ\~p',@e_!;H&#T\RN(QAQi%N.ϻI1*;^^ He)Xe~{Qxځ(5 ?0dk\/<ΡWhUC5 P`s[>웞#պnyM-5{X-4TŘ͎I@[y0NI jfG+ ժ xKơzEDKqc]@{kߤ<ezneU ۍ&VշcCwhnWJۃ5 WN嵬A6@OWw{N0D} =O\$AXY ;Nrg<+{RW"ghGaۦmH/X@**wrQâ@SVjrS`)F6X Я+xr6:zIOv2k!,yfdƹ.JtiS o_2PYk^TN|{O V8xWwT IVE-d7R4E\(!Ƭ fަX|$nVYx( bR?K&+h~~XлgYZ 3C% 4Functional-AutomataFunctional-Automata.Executedocument.tex7zXZִF! ,]A-MՋhvG"uIBm5k܋Pn\M -3moh5 ݏ&U&H\S2j=/os"ib\] FAKF{X}fnn@ң_d VcR`MY,:޲g'?b;xxE5)M7VɷK% :zN+'|t f BYW]]JoQe: #4KeS)_e JHqfR [o^8JJ.xxAA a/_8fQ7I۔1z0ocd]S?jy/nVe$"k#ucKvw+iT@.fb} ɻN!;NJz5 "orВ~`6-