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 K% lD< ]]Regular-Sets:threads=2elapsed=50.216cpu=83.856gc=3.924factor=1.677zXZִF! x]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'Jj4u_gƺ3>o_n?Pkϙ"zW#R rMC=BgtoJj(_38^,O25.EDC0prEN(Af ĤE߂,~HH{o_˼ h~qhPB*60\s\g_xq<=Mm[I_BmŸz^'cұ'\ FVTF=_qG/Ct % Regular-Sets#%=% dRegular-SetsRegular-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ˬ",i(E:(䭯dB _U-V۪D/˗ K`4djkha)Q`GLLI+Չf\ctj@!?_٬<&,&zmQ-E4TLBĀ'X6O.!: Tܱ͕O%1D* xylZTn !A[> DҬ(+xq-!?Ә;z V|Yu}osrH%إY1l7DXN ћ *ᴉ(^'\N dW  iTh7_ϡvcf$4n%SH|+<6AIDScMzɳ$٥LM v?}i0=+@*(?L>T!LpUP}ݫX-QuQ_/Jڊk" 5*yˋgwi4mdzg {ǏƇL'wr4"'_<%NAD$y 6g|%O% Regular-SetsRegular-Sets.Regexp_Constructionsdocument.tex_%SewQ‹;3IGWz߰ E:ZO֍<9 Fo=<5|g'orD* S[oX;t)4+l].o .E9x8aɘ[_ -\5ufGOͻS de= <֯6[c{SM/|0)bËf<|-~p_n^9`tܠٌ`vVSy$a[H f( i(&؍gv'Ӿ)|I';GS|̯qb|2 *~-FFsiS`j(sV%ҳ=8XaO52̧l:6f{O΃[BҝYX#C+W$؆8]V.fɷF1UVlTeTDŽqGxXc1kA,8YRm̻83}E.0 .xA!%LKO*嗔u8Pi~^(?1G \: fD=H )O2&$v0vkugXLi1]G=OlHPP3:VP2n-ly36C}w2C +Lo3Q>{cuS2HUkYn]cU l"oŌPXaPjo'"ˋ"X>Qyt1T<97j"!@Up&eQ_Vqb{82)$ݥYSL4Y4}yʳ.׾4 ~y C"D[)_!& bR:z_w3\Q=sOnՆHXȖr?OS?~ӵ} LITAoVY&]tae!O~U)ꖢ\'`eb U[?ePAs7{6e;s 2μbTUa5,-}Rb!库0e)W@@Q `Le2zGq7Dm@?+Ht=~.+K'b‹'-h5gq2, ڙi*WAeUu,m7욎 t8Hm@CW%e.4Fی a92GR?\ }g߂\\y {ck<P>!S4^wŊܺ~,9 l4bD1+66K˭_ if]mkޒ$_SgSb{#X{Z*jś1`DIk,2>QL 1 CY@6GTfڋ}5ᵍ6xW?1_˶ս0ʲ6Nx)?z^vI`F-b, $!i<[,i)x3Bg߶)!go -JJNV\L^cÎWQDٚ_릶hcGTGf̘k3G7-h~+,&"r] WTiSe-oQz08n/xƤ{\"ZH:t?Xˮ r5^l5hG[,LO5W.HE.3xDA@PqɃUQEpz'WAP,Y~~2"zzYYqnl_%r൧lŒdnhv?'S6d JL>p  1ה~@|t`M}]埧C݂/u1S&cbF*kFzM#tZؗMdy^pY)HzհHɁͿH6h' s'Y'G*. ɼ/U᥀2%3dpc[cQܮ s: K\>?Xb~1kE7MٺulޛQ|ehc8*eB}h}GWtU"1O*g9OJ v{Q>w g@'_ķ&츽Fܬd(7l{poiIxRV8lD|~5 ,YEòN>=N qΨX&cR78qT?_^J˱n%̳p0ŸUAVXJmwzqmn#E+P&}N!,"}1} /PAUVQ˞NY<[OVMr'% ѷh OyI6d|KCr1Ϗ ܘG ibM^^BagSٵnԃRO^SB\FѐfS\vxbd% ~zBzg17Їwmeb W Yg+Y~#a=`3 "<㽂hůUZ|e27d>uzz0E8wȩ6:s5d5`TZ9OJaxʅ9^ETYTRx'Sw(6; 3ҹt}˜ 8"'`pn, +zPzzӉ :Z({&([D<c>SgP=W#> jy64 } ]8rr ">7忤L+cΩ']j"dq`ZrG dž~+A@}9N70Mb4'c}JIhC?q,5R_xwH<Ў=J; VrP1!!}Э D1anQ j@AvԀ%uϾC'pWEXEbG/ICڲygkkhtes_&4: u>[ŧ; 7uNXTWtHʱ@28̐Obۃž@q۱#-㵎uf "*E 37k WyGp VKMT*A ӠC7rFqvޝJu,ᆣjmP3spV@Ds6j}̓WOާZ\6)xޝo߷#덨U͜{0}uWĘ>*&t̖kW U@t"_e{1]>LH?BIGz+eX 4"\Po%Q><.ؒ,ˈBV-Bq>y?x6$]hoæys ="yu=Em9b% .jP wc܀#Ӟ414L56=SFL5.bl)A3φ@6P])DHdv MX7jsL2`ejkڞARG}kE3}18 [TzɅΈ _@B%ʇ noM9 fakܤxІi/B7<-`s1w  +D]v56g [PXeۊ{ƣVE^Y [>4=&^-lGp;].!X56Cl:e҇NMItB+;p\IYzLl}w98O! _XQgu%ͪw z2Z_[˜Tg5 r8|W?yZU'`1fӖ7/fqH% 3kρBq B |Myj[V+5Hg@?45;ݓp#:p${_*<#_TWi(z>}BKH9\c"*]=<*oK"*?Ir1̙ixׄۯbQןWYbk(ލi-a:iFj'tKu/D<{IsN:F?C|N!ձ2=q\8X܊׬@X"_кuk6nP;&2Z,H.G77_1K̜%$5cNZ4 O)ʠu>k$ {'Jyw<AQZ\w.&bg%k%MئR){cc(M1b,%W$>(]Y v8]Jj~ф$n<;?f|P<Ц 'Zqǝ#_Liv~#D VqVU2j'Ťjsx!Ï7˶UuwdFH -ł:r.@H[;hԐ8 ha!?2Qa'}K*-Y$ =TA^GL:Ո Y50tP3f>z FK9fi)Ck$Zr3jv 3ElI$0<Z䢄W.aeNeၘ. v分=x9Wq&AZ؇K076jCq^FP\pNo)=v/n܂(S, ~b;5< sY M_FЌo~aJQӤDzx,]V!YsOsON$ϝ.mz{ZvɡEu.&$^MY%hʓA Z [ >O %Hʧ<_.R+Fb)ˀ$ЎCˆ2 zmь%̆~ 4XK-!PƲon䝙bʹag}q"ߺ+sp?QHb6.6}*}sOLsVCy0bU}{EƓ`Κ6 nQcg;ZGH,1~Оfe-꫱D gA̘*kDe%vT#v<(I5jl؆6$#At_Yd15总%I!̸4% wgqsl;̔%whCkf:bdeQPRd<\&[hE=u3&~On8{P 2fUj#.GmC [7g:C1[;:qmAy~?F}o:$6~9òpjj>]UT8L,RnKF3i,ʶKN-hɚUzm~/6 \,?S=sy|o-V~H-) UÐILc@7:n~5cD(gڍz8B# {0Yk֙dnZ<8!M4N_+t 9l$ߋ_HZpy?68 )>v%մH5rvBC!Ō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  #%=% dRegular-SetsRegular-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ˬ",i(E:(䭯dB _U-V۪D/˗ K`4djkha)Q`GLLI+Չf\ctj@!?_٬<&,&zmQ-E4TLBĀ'X6O.!: Tܱ͕O%1D* xylZTn !A[> DҬ(+xq-!?Ә;z V|Yu}osrH%إY1l7DXN ћ *ᴉ(^'\N dW  iTh7_ϡvcf$4n%SH|+<6AIDScMzɳ$٥LM v?}i0=+@*(?L>T!LpUP}ݫX-QuQ_/Jڊk" 5*yˋgwi4mdzg {ǏƇL'wr4"'_<%NAD$y 6g|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٦kxE Z)7Dy-Y-xoGȢÇڦh"LzGnU~$[LW{b M3 ?/LNtuk*Ԗli X`FCB庮=9ie-}PB|Jt\ЂH-+\D Q0ysA/WN0N.JeedU01xi-6J>Y\l[h{i;]jEstF5KPM0=QYdzW8fp&[inYKЯ4LSbrև06;փVHMf|ȣ dz=?co ;ơKhҞEcbI ¹M?3uI$HՄQt{ݼĊ iF\l[G[NT bƀ(zD -W8 L͹P,k]HZZB-$F00o& LUW򭑯Jiu:cCYq}!-+<Еۋ &PzTƽnzÍ ЬJْOjkSxӈlPC >YzH0.N3p3>34!04⚨+|3bt pG| 9-`fd캐DV莠h4h{1eAW&QM 7&7Fe#"E( Cܖ`[f=&T`HQ9}U5]NӅsIz噅nj 7:3g#̿Itg5ʁHQ#XT FkGjoJr Vp=' #J\=0ƫ(7zc&  -1Ss X!8=_@lfAd <{ڡ̶35UuHyv~`Fs.˘^ :rj@hAHlYrӋeLø @$;-aַ4y<,d +\ v_L6KxFK,KN߂Zi_[,NZP7=TZ0hP(2a5i0#]̶dLwMdUɂQfVC6jtIdMpڪ#O,” g" 7 ~.%u\kd–Cp〉"WVf.{d=&ݚbp`Œ,⚡l;6tN\D0 |EAVDAX7peY*i;JU&hek;u;X#ڡ9oRV?.!\K//>s(Ut!o  ~mz2v|62N٫k F".Q 1C;d"AY/p@>%>Ws"syUMsKKjۘc]ȳ+c jKhJ J0nٱsgQP2gi_;E3U#yņ`0{c<[ UR.RQ5 kC|GSlF1_ؐ3Vc@(L>+v,=moK}mMծQ&O2Ыrf5CAW*CJ09~5Mʿ83D38,fn-A! D]5HxNMqeH]I7iR9h`m oq"b]̤qvN pR4l2;X[\[&L9; 0 fޖZn. w{ +8ŏh`٭gZ ܝ ւPJ\hNq=v#ԓ.~Xt*#-.nQ*F8ܗ 1834v{\d *3fc72-M[WBMl(Rי6`,Zj6O neg[[xu EIŦvMѨ=e=ě; i&WUFBc1[  zъkm68f5xZ+{t,ޢأ`S6䥘s{FgD0?xs@i`8fy)W E)g^:jl9_@D2Q^!/ -S9@ K)eʥT_qW.xQBvL VĚ@|kCxk|Tr7h,p)rނIVa$$SxШLX_Wȅ)aE7{#XZ{=:+ A".{kF4%/S0xU_%p~jȶI-ˆڶ4ܻmՃѶUT'0[ȃsm>&XmA=MCǜr56F{>S'6-?uc4}q>mW훁;8`Dm<95 +6I]ز\]\Mȧ:!Pu5PI5s #cz=r:qWFE3ؤ  Jepyz5f &itBw"4Hl$k}Q)?= m"~2߽__jlMzst[t 2LŽrѻnxW@ʧ g yVУ2z4Hh1i'+?4z %Q% 4Regular-SetsRegular-Sets.pEquivalence_Checkingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5 GeWBWJ j̒Z`?״4X8@Va|y[a=31`J+5M ަk‘-V8GϷW;(J-/z3nW 'PO5bkA*)hۦAE.EWp5r n-~ >cHN-ʪ4٫T)"b Mdѭ"95u|2Xu#_5tQSvH]ֆ |K`CK|=W%E 6^tz ѿnnb'MhUJglCmE3hh۰ ][p]:z\РG=`n,l! 5{KsJLΈuMEg?2̙$( ȓwkQ^hoE]7BGLYP'S5A\@K{Jr]?:Չ}]Dpws*pK&I7oW!B_W&->kY~OߺO;6)ywݜ\U#MZ&nt*k{兑@m~r gN_[+ݥI2_֤k7 WDs_SYdG;k՗  5vg5D$ul 9*m 3jՔK/ѭ|LKP[_{Xy#%cHɸ+^C{1Y>Q3셂`'XRL 258HJG3_AbYx))5@G$}ApPH}  Y# S?Go ݘfvZEN2ѨNyUN 7$TB^5u`TF:GgٔH&oK1)y|W5u@ C_U tZQ.ALlk2QK C_ƌ̵#|9w\j)E@U0޻[O{sƸԲ](X秴M2VHquv:/rp1YĝF $wh[ѣ!7/z(JAki1$ UR N=pONJͮiZʠb/qIq>ů>iӛMb @&/_2Y7&2$ Sƻ>U$؀A/ཀྵSqL'ŅzN&ߍ~BakrP&ǡOWTo""Qk)N oNga22QhiӍW&ʰ!f0#191W=s)Uy tez5B :.+ֱ;H>͛x {kR<~L -ycSmdVUrp]4<$kҹ :`T= i_xS؊ZO,x8Ck\b0gTIa2O~L & / ef°wgJnKUoLtWJh%GbɹIvB6on (tT))_hE` 4E,o|טd#M!4.G@եp?Em.jZk@W8w"Dqgbrf]:0.S?U&{#՘1v?vu5'&liy|[&Ud {{=I wȗ Aȹi[VͲ=sH$alH6XKK\w`1n|-=PZҍ#w4d[<3N3a.~9pST*aC.1\JkH),qԟʪG$0C#UCr-m8 DXMb=XQ^@Vz!>`SF n:>uBR<,I3"3ge؟3A$͋qNNg ȹzWɔqBV !sWwM:)ԢsSSy]뒆"oӊY뽤&ew_фr})}<%PA>s Z ='Ylɤ«%*X&6uGKfeSy m6`*JȜ>Tx N:4+B- .2zJy`e=*BL(1)W+Zdlf*5,J>j6*/4rڟA`8#e"@ ZĥUKEW"m35$y":ҕs=1 NnhN ?|iz=>D' A7+_Lj]DqqlD*..ךΣ΂`0[(Wt(D5В;rau ێyja$Ҝ-(cKi`FlȔ沊$M-ND;E0kfHiٲ-jΦKG-A=?c] o?햞D dG L ƹ*oۨ\DZ#| L];=?g_]yQy<&)Eܐ"+1,5?LሿsͺX!EPRhv&qm\iSVƴyw3~Nj?WSS;dx Ԣ]ni &"=ǐ3pJs\gƆUM (p㼵"]`Z;KCn&YLOhf̶"J1";$]W2O;S5;rժ1D~q[yh7M^O~=$O!U^!Mjr"uR-;Z2k -p 4it%Jo84B]ѱDҺզ6g?Yȋd u3'ޭF#?kNsHݪs,֎?1t1%e >`.)>ZІ>SC..N%(eV؈r-^_p^b T [-n b+:aWభɲX0]|ޠXCR="]wkshߖ0J GBqnT E=9[zF PeKt>tɸA4N>ys^z kJEݴ̮H}42vՔzVx]\"4c9JKZ>AJ﬙q7o$yn(gH ``$Dɚ É@k%el}ߍH?2-Y5_Kg5Qiyjcg9 3N7{񂋞o3+mF^z!Bq}_|o͖ @c.Dp+[q/aM{j9Ț4"_u~0 '.]c7Ì6&꼻zQKz=T^TLBIA];v膉kUGhCťYk4w *@\Z5~]4ׄjxW OuM{ cV +<ڢz#deem=i-ϊ hx+k O?1nN~dvn4%{Ŏ;qLv]o[tTMrem' &2;5[?>~;~'WkWT5ĿX D80e֓ļFsF)q?hz@ JC.SO/k $Ņ(In|֙$X 0xPjt< "IXFXĮ*wgYZ"eH}p:xo&]P.(LjO(i#(=] ^2Z.rˈ"ǟI`SW ab[!Z%bf_Q=&ύ$L' a$pŏ}n"FqR8 5؆Oa+X.s~}qںe|һ-`ze.JvG騊w+yr?$ރfl ȩfG'@*z=߾&@ܹXF1( F31@$Gṛi y@w]b9`aaYU J\ > x|$bxEm1˭f<-%_Hjz nS6hFϷ) _t=oFH3cY~em5;uH?E`Y[NJlY%bJ"] CmQ'b۫qK|qY0HEay'v*\x L=ǀqLY<+ 0PBsy%q Zى`1#1QTk7`ULޕ̘cmVr|﯉ .եТa;QZBCC*.0#)& S<- S38tEO ($WN[v]ZKAs2BK䱐c6[T`2gnC+Ï+M?MϾؿlጮaI yRsN&-y,ܺs0F%}DF8E'QɿZd'*g> :.S=ʍ6% =ye1 @×8^>]Qyz#M. ( koWo#Iu >Z<,r 8_ɼG?ՙ9brȷ%^+F#>oѷ n@*$T0# #?￶ḅWച2%V&!-ЀcfdL͸j/(AlZDPP\ΊiFxSS`NWGBz6%:^o|e'ي~4~ @~V@<=*@"}<6頀U6>Xv5LղNl<f/x< \^4|)luJ@_е ic 9ML[\hhNB$8Cˢ\G2VйJԚI &hٹ@\@Qyߺ\)H!f/7NSY;H"(N]|z*5Le2/߸>K]%B[j'Fvx]ZelDn#HV@Kh*VPDXJO Ϫ"bo(gЮvdj<..$czЎmVT=w/WZ#+[|KژGaj$CJRm8BZP<>v}Y-OmMwF"y n)WBat@fb.ԻL'Q<7@3P128[;0E`788f{!J4԰iϥO"j0.G&?={}z[\Q |k"ԙ$ߥoaR*/ AF2X:эE6YDh)K~vTn{WnycjOf9c[?)*v7xHZX.AER`̦@}*c{V ߨ_`a@Ae{7:K0clh4M5] % ,cqv `'n,.lj;]Djb$ \ؖs9E<; h7M!vtxunމ8%Tkfd>xt66vʓ>?h7W2k P=@a}ˁ0hEu,|\[*_hr bZ5tCP]ۤ5b,=2ti~xc;m!]TqϫؗeI26?i9\MX fnq#1> t<&}d>u {R 3\`CRΛ;oRByѱr|RP3hsm6_%Hag7|uj 9-B MѲ !ng8]xb߲[j:}K:,_  3ku#UPC`_%|Pd_iVQL}q< %w$=6'L-2) q> Tx~vl"M0 Bea睦X*,x]œBףM"f׉]@OE"}9\.1s+wpAOoE˼창_C]I1xV@QfW4?VQȓIJ%_&g|]vyptl^5VMΝ>?+knD'qSCցP 2X] (}8iQzԩv+!QA"U N:o7kr77DNeWzj^HF b+O&jSPNpː(\~#Yh,hik:1L,$ JIpKᑎ<85ޫ l'{M=x&JRX)1.Z@ O($dұxh`ZX9fVZ+ֽpmyg >mCtL'#p>0 `󷫾ft]Br"7cR L7}M&^[;Hٜԇ^" m2O 5ARZ])92(ɔH\l*eYV1/̽&j쒀q0dީk@N6 Z(R`KH=b@wN~g^j>=TIs%&HU>,v^Q$޳#v+|n췗FQ$Gy)p,OӾLJ1j7O1:Wqh'Aͬ떣#ڻ~gM7OjE @}s(DZgYZ  YG%=% ,Regular-SetsRegular-Sets.NDerivativedocument.tex7zXZִF! 6M]A-MՋhvG"uIBm5ģ!jRx@މynmAbD^"v$z`RW3?>l57,~uA]n%>KZ>^nV}bl!X[!BpU!z IJd4 J5NLCp{%mt>Qe՞8sọ렔Ni9"hjh"2fs ;]/؍qzɄ:]'U hu&` "Ӽ, أ0J+4AxeRSLR$QY0 WɊ;N3U^Wg'`KVQ}f~so&مT ҃< TuK}-$OzO -&Zlk.19NH֗/t;}1TH3(5Q,3ǻ?jk_=##V^jhkY|>fBmMڽg/A a?|6_#. 4Lf DžR=+WUr=ISM$5ltm$zqbB}sd9IlvRt`UuTz}ꂔBn,`Hb%8oj4c5:rX%GXCrnck ZaNu;$_ q" c(y[NՒx*Iq` l7fQ[ZNf !IjT ٹ0ǖ ɚgB+ns:'.P&AO2 9}85!Iwxkv#0WT&m}8:&V4^ei RA%]fhP#zTLY*n˃ـ^/P85q۔mX@ ($U[VQ0ĵBJJf/Pg#tod(d< .>/FoOV6}րOg24%;Y(:Kʕ<%3;#<>WK1ƅ0%oEǸ +C؂_n=tkm4 ?15|FUZ r){BdRZ{!~FDg1_IgAEbdd\ By7.>-`Rz~Ȫ.uTsm(Τ)maPs;ECfӰl5gql7 x5ȻOA+W| D%TQ@~LG˹q!]|;94g}?*. ]MU!p)X lhjagYZ%O% DRegular-SetsRegular-Sets.Equivalence_Checkingdocument.tex7zXZִF! ໆ]A-MՋhvG"uIBm5}d_X; ѻl22fX#.SKE raڛXUgxoma\A.潾4zQ uMfY6_?^`VEԎY"!FK}gTYxqMEVq>f_].vlJ`pd3fIa|CmLkyD L:Kn'GH*ΐ o)-j,,T0vb$͍Hv`:?TՐY_|L?l gM Z I {2NqaST>kazF0G ڲ MszMm[0Z`RF46D@EE-)OUd;LE#O%w Xt9׻'#t5u,Vt2faNO}q3j2VDg&a ?2omq#Io*1n = E@% 8>yqD[t4V俼2Z%T4mnUƿ`cCMte" bye~|4ưΣn,ps0[{Rr2ı4}2s^da&;҄b/xcc6@FUn/'N90Tvy_-_b웇;M׀ꛓ"R5NUh_uWkCa1믤lR=n_f ³r Y'Te!! jj%=% DRegular-SetsRegular-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ߢ\j]Lle碔D:ASky?")0GjB9TjRʡny+kb,Rװf(㇡bE .nǡpw6 rj@6@_GF]_ooِKjz 4cep|q䖷 `ȱ mb.R{İM`ˈ 5:9I4Lcl<"(i B j'_V!L3 S;푁bBo*8ѭn׫IZŴ3OVp0ְ$6 ^1? d".|6iWB?GxjBx{}$L?unNFEEQf"~:5kҭX_D5g[AM:[ 栟~OvHPÝG$92` + G ݊溄ӣ/60pG|^"Sԩpb* 38Xt8z"f\v*P) EugYZ %A% 4Regular-SetsRegular-Sets.Regexp_Methoddocument.tex7zXZִF! ,X]A-MՋhvG"uIBm5 )gtbGW2bc/6"yJxw\t/KBoJIoj[1#i] [] x$&RBp7^Xڲ{,R)Vg]'`MKp"S+<`g0P Ln*Ι"᎑ͨvGHO QpyY2l?z>|^[ 1SsR=SOvݍ|p:K̎* d87ZƋDӱȅCbFg #;\(~_VyH/:RGZG[<1$N߫Ɯ.fG#2S m7 O9\auhAWLD) 8+wD=hHkMܡޅ0sVW (I[-[T|ʗ;XZߺདྷunz{Qޞpc B7X(Muh|J{ Cyx8dۺdls_&ЇTڴ%"dROXl"3N3A] ilj neKJC |}#`SL yu`&RFyea/=051w{e) O@yQ=^:v/0vKT$/MS.tbAo\YցR;@D$G_FJ]JI@j:敷){Ӿ^mrU'wnnLUE A8) ܈LN + kJ„X'A13ۖo͎GJ@OW.@AU)3` frA CQ_DN 0.d-fyDPFXtuߣ 7qT`ñ~#0CgXpε4ݩ~e:y:{ql.4N;yc:վØޙMFT@^ 31٩ Gۇvts3}"{~snj-ZW W:|BFCY9nxK8FvoRZif\V\!mN/{VK}0)Nчzn8Dk5Fx!/::v` &1N  IgiWE&Smo+(Iٰq&-@U=rWC GG},jL%UQ \7x!`0Os̶FS?z\AEյ ×^Fu])wW:yљ;y5M"#MY{WRS2 iT̩k z(X/XB ᷑_!r3{%ԍ!vzHb0\A^U+>WDPW?l50X[gYZ  L %?% 4Regular-SetsRegular-Sets.Regular_Exp2document.tex7zXZִF! ]A-MՋhvG"uIBm5>32 fyL 9naxeʂI$h+%Gu_,ů5Y@g cy=ᰗ!*OԷ?#C(˾8BtjǢ`hM%i6EUJ[hB A3WS$erB4,kiin!V0IOvqs,蛃Vv9@ 9dg;uG44ד\忻%϶E ~LK[i!\* (e_4xۤ.2+<"v aQ;ЕT]n3LqXdI5 :gM ?DWMNL4g2@S%\`pUqRotk%5$MzQJsۆVN]ǫnJ>Z>FM9M^|/AЧc\?vjզ 6V>G;7w3Z?L|["|^L{ c$KjBa@61ZGMM3RNJo- rs?15*!>sH& [ j3Q ά+XغVL{@߱wju\T:YLWwt.ƆvDݫ:]`TX(]FEϨ+r3KTX).Q{B(U; Gv\q瀺ݓL`Bgn(H`Il!. іO(ecG -{[FAt2.*$/oe!d/hu,{d FWnȑ*iz"(R*VTz+A1wܤGw'T6]5ZK'lj;V{QвhL81\{J^-}}))@?V7,? IebGOx:H0 AV6gYZ)E> SwϜqFW934g!C9]4\_9Aj6jYy]M5v+9y zCc\R~`i.\IԎ"<“M1Ǧ+ *n4Z,|q.8E7Q {hYA?L;6($hO.p$݌:E$$<2iڳn_ro"!;)^|btN9ww8 >%YaMK\Ve#/ݑ(,,րqgYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~9ArRϲg0*q9- 51Ѵ\0sQ -3Nz{~VۍWe#YZ<3k*عlIWWHj0,%+b<5w%"d(\e- U]:G wڊdEc6k.mQj*(D?+aFE.kLsT_K){5^F>{{$ ydy+0Ԣ{gYZ7zXZִF! ]ŗXi%; GGˮ;m9߶/Q@6 Lk+TNvyCqyߡa(+`")lLf;Z=3> mRK(n"4ڳϫ&`RGj&Y ~toLq~ˮD0 .Xnf޹{Ĺ I'.w\Vǥ孷Vf<ɹs9r,I1q ghȏ6,+UC뺃l"?eGz@ bW1O )Q=F͵[' HK 'YFczTR) bAo|[BDg*ɚTO=m å2@e_W|HsMIg{ְ pa4'U*"QO ?@5Hv֯9!cv%9.XC1=?W|<4[ޛ,b"b31O, B / #Y@Gwo%V DB{Ir[ርfzwM /=VT n05)dN!r5˔#x Iiz&.T|[!+3Jv @"BRw\KEm"\Dy̭^rGWTCaT 乫H8$XA% ڊ^&@6lK1B>%HPfpZPp[&ʂ˲ٓ< VϏ X5xsBӐ8WS{?Gf.դpj ι&dsnzkF}l3*y-!{R7RH'AֿY&."07z%Z^Nl9n9}/feJKs bղ! "x}2, XP|}}W/`ؓrR,_K- Z@9`fX| }8.V>$ll'ԭRp64o;7O` sy. zK ͮ"pO34FH֠^(C{ہuV(HHpŅtdl!ٚ xۢW0g6mc$IڑL4. I(Bb7 غU׬[/1 jw^mg- 0 =fp?E/vZHcMUEC-m.&oo w0H4?7v D'/>p ՙ?|%HiL~)m'2H1S;JV]bRzn\j0f򊵂"Ue[ek\~ĉP؃7WuvM'U8m(wDB `XUn'E!N"a3Fvrn+BEN[ E[1*x,gUT)Jްܲ'KȘJ *3؞3, ~y9Kͥ3¥r0A]sʆ<;d1MfimZRh!I$KCɥ[@v0&j}DVVgFJژzrb@C931Pq.uc̪@&n!\Q]:6_k6S_3M2[N }+W7gVﯩvyAp#BF4o3nbq%oǒwl-h ?Yaمc˕:Fc5c/Yu1 rkS57j[o.\u褕xZ+/i^| NL}QT\ץ"!`gH R3_Js&N}:#\$ymz_T0gۦ%r5a")_${e_ST6iC,Z W =gmwT*rb2`!E-2G%241 RBSԐa!bSW8")K\i/U5#VD]*$ 5s`R~ӎچ6@#}9̈́3uD+0jkdw&_"3[Uk'&a`l;fP@wjyU\m(jS0=MQ}~ QڪE# s˯$e5ŰgYU9A)">'ԭ2OTq Q1 > ǭ#ܖn&+NZ\R $=.ae`btdI:qTmN?9B\ѾȦ/TacEN"dRORpAAZi͋>"Fz@+S"Q;S=䧴\ю