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 ``3t |d ] Functional-Automata:threads=4elapsed=13.560cpu=28.780gc=1.0647zXZִF! ]ŗXiɟO}M:; AuZrvl=$E_5\`:zlOawF,Kczo \#?g|yՈ|Pt̝2v!?ȧ7-%~@N7}~7O;s~c!8EԊXV^$2c~?%0Aw{tjg7|~jC]8:0O"R-ux(k92ALC )Fˀ_JR$Sz6εS7[P{ VrQb6VM]>a̎ZcB$pC]G$)P%^eA׮AI!)rՒwrD뿝 hՉg_45/t~h~YXNRRp{>'"6N6$xSAyNuH c\_6cW:޿@̑~oVɘFu-O@\1+xhKvP2D`Ll;m@{u^J۲\SgYZ7zXZִF! 8]ŗXiɟu𮓧xy:Áln~"p&l=@YPR!zmr/Ka vGHOCiEmd jKlg>'<.Zԯ'+t&mK Z^ Ԩ>/1V H|~2Smv4-\gv2JR55`9~;⛝+9řwS MsPe0_, K +X py^ 'Wr.DMHS_wh Q8gYZ7zXZִF! a]ŗXi%BzTM̘(%Cr?p$V[k#k"6.Zl ( ԷևB,xpkl0qfs0ME*'u ֟GzJMkeCT*(F0ԛiz);<cbDcpt=qܟBpHI(Rc,xvXg0|AwxbZA@0<ᒾRCiVq???).K%4 yl|*WsZ°c.Uш'Jcrf֭I5!>Ua95){B݇wHi3G.eK2o7njr}KE͹,3 eپ`Foz~4%E0%tJp5mv~;YcBBԻ}B7a̽n\+KQ"~3X0frOɔdpmV }f5wgafHh|[ t n3sd͎ˑcתB̃&+NR#G﭅(!ny֫~uTC単|i+' \Iyiuo@RM7EX~zfƺKrzu⤢<`D\Yyppgzr o=*ute]PMˢDYenW?7=ȟO7WV~%I0LNNJh G9rGI)2>gQ܋bxd8p˂:=] ސ+W_T{=E\ ִK#2b)# פF_ӄ,8$QE 4@CI+v'f] tn{͟ Y$aOOkW2=ѩ1&*1ffò:M69n)l ,`8K0(jLq@\'iθʁ}7J=8IgHE: VRZ+[߯d03?ͽ($pAu=i/j>PsiPgrH4+5{0aVWDsYƊpGp< %W+$O&m[Ney7%;q ҨepdmYb\vDm{q7끶 &v6.J38}qMfߦ.+cK\tu;:DTY-uTG| SRf BzO_ nG |qh|Y?hRNT-<:DR7T%u[[ݜɔp| J (\"ۡߟ\Qu=9pG9~?> icqY&v[$ `^6/33:W$'+Q˃F;ޡ#)[NJ6*|lH3wEdL|Tr+ >yn&_Q^6.&b#ˉrBQT,bۃf, v;,e$l0xU8 ܣF67߅l(v)klG}@ OQ- QlVC4neUx_'YnlC~!]unkݫH+֨5 ."ndoF%?#~?z+k`3҈ޏxZniy ])rdeԉ*%AM$(zw'k/H|d ~ҼgYZ8e38cbc00c65f0150386b86caf871cf3828318a096398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93 3 Functional-Automata 3U% Functional-AutomataFunctional-Automata.RegSet_of_nat_DAdocument.tex7zXZִF! 6]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+EgNJmMbA`7_g(\LZ]q|ɐ&yq̹g ۨ=Orl`[ Q4-Fayպ%tY|hæLQ0gz ION6H(W+Ǽ-XrVL ";WLPu,[plSeCns.8ӗW@ִ7NWU<K[F`nh1VCx2 $l%IK 34t TSf g@x 1'ΉL (sybtGH۰UԗIʹ (A!*Z]HQ7ZI$47pcu58SmKݹvP6ͲV3GV dϸqEPf\)K eTɱtb:S8oG_*fOR jrz>MW r% ,&J jɟED?IHi*K2zmm@6*1m* zoSh,pto{sf>"56(֞S:V!S_*L" FcA Z}h!OOྱn?:7c%rEڠJHɠ@{bAܹW8c7LMsL=* "JYHM)IoN8Hꛞ<$"86X6cY/sSrX6;R0zP(=fu^        2 b  n1tn6 =3=%Functional-AutomataRegular-Sets.Regular_Setdocument.texC3I%Functional-AutomataFunctional-Automata.AutoRegExpdocument.tex@3C%Functional-AutomataFunctional-Automata.Executedocument.texL3[%Functional-AutomataFunctional-Automata.Functional_Automatadocument.tex A3E%Functional-AutomataFunctional-Automata.AutoProjdocument.tex ;39%Functional-AutomataFunctional-Automata.DAdocument.tex ;39%Functional-AutomataFunctional-Automata.NAdocument.tex D3K%Functional-AutomataFunctional-Automata.AutoMaxChopdocument.tex A3E%Functional-AutomataFunctional-Automata.Automatadocument.tex<3;%Functional-AutomataFunctional-Automata.NAedocument.texC3I%Functional-AutomataFunctional-Automata.RegExp2NAedocument.tex@3C%Functional-AutomataFunctional-Automata.MaxChopdocument.texB3G%Functional-AutomataFunctional-Automata.MaxPrefixdocument.tex=3=%Functional-AutomataRegular-Sets.Regular_Expdocument.texB3G%Functional-AutomataFunctional-Automata.RegExp2NAdocument.texH3U% Functional-AutomataFunctional-Automata.RegSet_of_nat_DAdocument.texCaC~$&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*m՟48aGBˠ+.}g];8 n>k֢L1tಃ%;C7>w?_9;yZ y ׽H?H[/ϴPx"h~~@Bz6^jny˜<>էqh-eN0EP>+ Qޖ14#uwFƁrC¬劯MfC1c^+R |*͑&ެ5xkK6f|14g;Y9T-` vOO>5,L ~t{j $IoȿO2jKh|@Ep(.ʐ.gHrl{f qLTJO<:^P8F0hLhb˱U/n?J0ws- c_:B)Ha{S хs~ԓ>U#+?gT,{62:|Vfa<ñ׻v6hCpSㆾgk~t. _Y[Z9_ U?yQUW@䱇$h a}IZaeȽt2(:3,d70G{e]o4ߍ@6I,xZ:Qت ( ;]in ?@80%\e0ndN-{[ih\RM!QۘK yh}1#1=٦:4Uԣ^Ew撍;)VǾ.W\=PтQ}OV-Y2r+4kX]mS=bfUӘ3Kuߠ_z"T]b ޝùF3x_)\oy 5c*WM@kӖ Gع7#) ~(|oF c2u.x 73nA\1NCῘP26`iDȓ/߾xDhlt<zȄ(1K1wNbDytN(٣sfw~ݔz/S#}eU$,ICsX}Cm:!3F(,*gYZ 3U% Functional-AutomataFunctional-Automata.RegSet_of_nat_DAdocument.tex7zXZִF! 6]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+EgNJmMbA`7_g(\LZ]q|ɐ&yq̹g ۨ=Orl`[ Q4-Fayպ%tY|hæLQ0gz ION6H(W+Ǽ-XrVL ";WLPu,[plSeCns.8ӗW@ִ7NWU<K[F`nh1VCx2 $l%IK 34t TSf g@x 1'ΉL (sybtGH۰UԗIʹ (A!*Z]HQ7ZI$47pcu58SmKݹvP6ͲV3GV dϸqEPf\)K eTɱtb:S8oG_*fOR jrz>MW r% ,&J jɟED?IHi*K2zmm@6*1m* zoSh,pto{sf>"56(֞S:V!S_*L" FcA Z}h!OOྱn?:7c%rEڠJHɠ@{bAܹW8c7LMsL=* "JYHM)IoN8Hꛞ<$"86X6cY/sSrX6;R0zP(=fu^$Sl-5gYZ  = =83G% tFunctional-AutomataFunctional-Automata.RegExp2NAdocument.tex7zXZִF! 3]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 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+ 1EgYZ 11L3G% Functional-AutomataFunctional-Automata.MaxPrefixdocument.tex7zXZִF! DwH]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%]>)`|Xvd(9"VBL7l[(P`$)|_4U.~t^`']s+\2_-l8[3ܓܝ/_gYZ {{3C% Functional-AutomataFunctional-Automata.MaxChopdocument.tex7zXZִF! Oe]A-MՋhvG"uIBm58BDcO# %L|4Y]cpI Ns(ur{UgByؗa_"5J!gWG)gzAKR`:7I3A<ĿbnAo5hF܍;~Vk/!ap 겱K5O16#c&wS ZpS b<\:Y#?ߩ)ܣ"5꠫ݢ6'ԟ2D[NLUM1R+1khվyjY]V6#CUuMv/)Sm7gk:>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<؋“o%aC߭SJuu!b:=Ig \=c@#G>i g((hٶ|,&e"Qԯ+&8KzC{_9Sق6(uUSFM> X.HlsVHsGx>Z  j(}gQvɲ`|{ 7)5쏮jM1y;Jf-Em {o8_ ]CjO+De*Ž'8lvEv\ZE xgYZTna=;TuB4\ \xd]1<\]ɠ 1\?\8R% Oc"v[,jےGoE)4Ŧz0|M ,mt&/z[n2i_"OJ:: GӨ|. 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|&v00ش]A ~4IV@%]c3iCXaj o!]OM".\s3qƙ-#˩1]FȞl\Z4 =.:$S{s٭)P^ZRs/*= hQ <윞vW`\<:،y⃃V]f2w,)z#0@*>&F(_vNqvBΆiZ|[U"RL(kИ)c#i!paYy3t`6E'T;L'8S6kES|B='00s1It @)5 $`j-jY6ATI0,b4"=HD. pSpIG#pݹnhS5qM. 1j\=vKj66F%k~7~] G &}h_$Dyj $;edt԰SgJ]g ϙ'b:'.r OTlzq29m(u / r3xb%(ýzɀuX$GQsTիY z9a;2nb KW5I=$|s'[V+o|B/N/dy6'\O^4R?SC1I=|o7MR\&1qyEӠ;tkx֮9F: %Ba_%`R!d-J~כGDʂV]-t{uJR&$kGp%]4'zQq cS'z&΃^^p,nWZR:s&GB0vf̏J4"?B>)NѾI BIqeyPFlS H T8s'D" Lh8,U"9k,eY3WUxxi:t ?DbC`Tq,`i) pI2e|%3Am-Z'X5xBw#*.ntA~MsDȵ3҅IyMRCʒOWSlfػy ֡&rzbU&24Nqdǒ$"~9Mw痻\4`t@tVz)C\2Z Jaė>Ń*Sa#k=r6 7 J8BI$RU\Bskt8ָT(S$kxDǃ_En@d4f oڍ&4^!bl8 Z:rL\?r@(p0 J1u^db]Vm<fE1t)wT/ {WCҚ΋⾝u괒7qp~C>2D=3jLJbp:t{8n.L? ^Eox}N<s.Q2sPD!ݪ `uybXŖ I'J r~ѱ\ +G:BY0.C0CZݎhޫ(MQ:v梬Һ[o~¥xLnٹJ*2d%n $ZoO$sr+6e啩 #XW@ƔɠYq›Ҋ`Aפ.:T| ͑HF`:5( axOh߆^!·+^jWmι?.j'InP pکPR8[gYZ \\3I% 4Functional-AutomataFunctional-Automata.RegExp2NAedocument.tex7zXZִF! ]A-MՋhvG"uIBm5P-tKyֱvG.fgRi^Ux }'*UdnBNC.bU9f2J?!X9jMK|ӬOx΄ V4dۣWi]\ =8wMփYV.י)aFVAU_Q]sUk^4Ӛ40ÎBꔐôb` {1&}:*Y3;OE:M(@~4w#nԏgur^l2:O~y&.2m mXaE2~rŊ-U4d4>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~9A  _{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"jo¸lb42Tw %!1ianTdl@Gn6jX sf17'4KLB*lDC_! 4?*@u~7|Fi[sK,cN0u|م![ Cx՗[eh({EҿhM[X`iOHmm5c3Γ^x -yj|Uߧ _gL\c CgYZ3;% LFunctional-AutomataFunctional-Automata.NAedocument.tex7zXZִF! %F ]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[ERz8,2ܶ<gS6fMzmKWfdNX݌K&') Kj!=n9hJ+ln$FBk µ~ta'ћ$r(Ɛ(uD,d)"m(q_D{; JzrgYZ ? {? 39% Functional-AutomataFunctional-Automata.DAdocument.tex7zXZִF! j]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ݏl31K*ds7]x}@ȏhx52SDQ+;p&֭3H5X{t{Ou9'Y"Q)7NRzSP.r!Prr0ݫh2w—u, Tqa?'C͙ ʚ@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ι!#ܭ` ";AF_V\,ee鱪t|ȘnxhCU۪T'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[GSq-j_/#r&jd-7^u2O(\c5؝`hJ ds&匍r0IPR핇}=Y2`}_CyOhXRd-qVn0ĭ^~QN$+st2[tɹAT0 $0]?{E>M%Cj80 VXn5RTo7)AjÁ'/Yd7= DI gYZ  q3I% dFunctional-AutomataFunctional-Automata.AutoRegExpdocument.tex7zXZִF! i]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+.t=XXݔ ;S$CtBTqZAsl1$z5 "orВ~`6-( 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&jHe G|ٌR̨;mebW!@Qζ\̮(9hx͢H;NK*(ھ.kZ097F`,zhԃyz12[s0 DJagYZ(: 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 33=% tFunctional-AutomataRegular-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