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 7% |< ]]Regular-Sets:threads=2elapsed=50.043cpu=83.496gc=4.020factor=1.677zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'k Z3(/WL`Զ72D[wI 5Oqhm=fpSI.qE|.ll{evn:T~%w|=Gfnej@1yjJUlо?ځ+ `71㟴{Fr.^he6-ϦR DloZm91 1`;R~[ث*H5MB Iv.cGTDY-tS*VǜQ % 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٦kB`.=ISC{їE|e/Xbo|'bjń[̘YFgD'P±8&Z0(hx<(>Ev9M8۬QdJ%`u=}m38 j$LB3;ūp[0{庺'<5"}i`#a!Rq]e,(XYIZBZ c:B>9N[YrXPn9Qh;я.I 7Z<6,mըU)e1ZM-"^;I1^Qrbf -ioppc_:#v#W`}W< H9j3=>I=w$kTbSO;oՆfj^ rߟ:k3gzAP~ܨw!n»mo8jn57e~Ag'|L~,Cػ#q1b2y2cN )"N%%de'P'%J.E[㿕@2{@$ v`8=2=~L X%cO(|45}1ޟDkbdCFbPHy $lѳ2 {vuj9vVg/l_S=A^p#?#[KߑL7!d+ hV p/%wq_e%;0,lp j< hFåH`4ܠ)7UwD5ToSsd2'y]*! ohWwJ# ./f#0u^e K|<,CR1y狄q4I;3oOq} ^i^\ƺR!V10r+T&UX_V$n%L{:\Vn&0U/_ؚ$!#UR 1T)[~xԘ IOsrv6lrէ+ wFx?ӫ6Kt)5TD{?}|xЂHh S& PAO/̬C19"+.F ՝ky}rAչ`/vgaQغ*>B&QZͬ *=厌 cRS8H;+Pո Y+#{$mk ~Y2Q MM Afߤ:64i9[`C=7u+mܬ+8Gs^h9z0W6lþA~#06{īmx1 ͧrJz^hsZp% ;J !fƥɥLWVL6jP<8[l<z N|eadPiF.W䆎6T4k }q#Sr*."ѫɚ;OPu nSELL$hӎHI>f D 䛡rhZ8O. nq) dG}8g${w^5b~=7 Z6K bؘ%I]Bs "H+U)Zl[!=3:Xiym65kBPv<MҾ}[.KfP³u>6 `^3'ujc,=!2, SmI) ԶX/js?ĭ!+MthI.< Y{?PH(e4°[+d2Xʃ?v_/VR5p_=|RWDaSM٥ǝ6M;}/oXҁW\6*0`i`FS o= ٺ2A=#ݳ<'[uT{/}lzӝj?|'YO>8(u XhOܦ^X<0QbYL8wnVRpz5Q.vZe8؎Vh$A,`KaAto"Oon J!ޙydpr6 -ylȔ⟿>T2,Tӕ 6YCU`$AתLC=8lS?py% +pcLVd@8 %ι?l,_n` *j$qu𕖢Qjk&QO¬k6A TUtdx>_45^.ą{~ ;cFs {Z#M #eRn8-b! 7}ΨIXN] a§uI *$Dʞv3: +:MȻ5$eUYfSO+I;O-  wQًϞ;~l)%7C&n(Iը!s [E+^MVaUoơ' 2Ht IWq K> Uq۔UNqfԐ aRz.?Ôa@ S^\RD˵qsrIU4E,]Oqˇo1gq{Bz QT26w@EQg*'M}KZ0舔HtH7J;َ˿qP3&3Sw2;\Cm}Tߖ- l0)90qyRa+0=b4O٬7bo LVE J3C"ugYZ ((%%Q% TRegular-SetsRegular-Sets.Equivalence_Checking2document.tex7zXZִF! K!]A-MՋhvG"uIBm5}d_X; ѻl22fX#.SK5s@C2)kYކzKgc+QaEjrus;a]sDeZjmb_3ygr{PX1U4yf k?-J(-[o^ >8f5xZ+{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% DRegular-SetsRegular-Sets.pEquivalence_Checkingdocument.tex7zXZִF! 5]A-MՋhvG"uIBm5 GeWBWJ j̒Z`?״4X8@Va|y[a=31`J+5M ަk‘-V8GϷW;(J-/z3nW 'PO5bkA*)hۦAE.EWp5rxUn:Ԗۏ$ȂhQ:<87fQ^ avt4@`/ZS N5,oZEw"*9ɏ}o峮M)MX[RTTztl~I gX?%^ۘyV9/+ET@!sC繀&h4"#@.IMp % U*3a%ƴz@/ GU34>Xa/e2XK_> [ ql7˲,˨eϷQDySf%TB3x]פ P˜X0zI'{~=ŞL S>b_;z0VJb}>M[a&?8aPRBsdM[?8YuE_>ݢ9nbj~PgŪ"R AN ==N]6 킳Wj0q?z~GBso/]rFCZ? E 9I 4h \W>Ԅ  >FfU{rB5p%3z źݨ]yV[EvtSⰇHF~R`T9ctMS8bCu@2ʳ7a+m.8bxA'V޳;y@F=^^]Cܧ,ٴ\$@ aLd^bx cks}KIN36P{omSC`P%{}Fdz1tbɐNA'-x݈6oFs { MCohA!<.Cy>`FįdvmR fWd#v BԐ)7Rm"ꋆ\$\&6蛸?t'Q "ɘ|xC,&+@o=䏸k(OjKC?#@_ sOcFasp L p3A@vƛ}L=tk)yAH*|,5t'4SbCv>~' L@nW`d-pK`$RIY_pX#EJ?iꎶ[S]tHӯ?nw `[oD?0HGK +Э~~@XlƠfaW=i.rsܽP7_dM+q88N8-\Q+AEvU{im/ADNl*&oh:!Ӣ鞉S^(j^cM/Dw;D$a!]Yɿ2W\,VɖU_A) ɔZ12ptƷm%htp.VmGqciUzHk=L~@̰s&d[{kA Z ( ϙ ̮(ZAouTЯi3ǫc*y( 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  Y Y%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|^[ 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[gYZG%=% ,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  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/ %U% dRegular-SetsRegular-Sets.Relation_Interpretationdocument.tex7zXZִF! "]A-MՋhvG"uIBm5ť}(ܨȄ,l-Ixl0C6OÞV ]lS,g\Nr{xq6gz$mqCVʜ-~~ cV 0ޜjݝ 8 _PmuCDYWj Yo/:ѷ['|:24rLⲢsmV4}n W7lLU'9&Cs`LBy׍],8VKI2 q8-sqbEY.V'jzt;ЛYnwD'{g<_[8sEWcawjry&Ĥ sk.+vIAh7{ж JIHw AViK!{kҚE4uh::&#Uv 3rJr3ѽ3G4z?xb|( r' ZH14ć e{/x` nzeE? *Y=LʴW+6Z¯0PaoZg6~ aU_n{3?!젱2VC؁c7B2FOO4^k#Z6KCʳ5t䑺cٺFl1g9ߢ\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*BP1w_%Q/KA}7s&X4 䐥` ancJl,LTIއsp)Z40ꈝJP'U@#وmB[]+!!]}i` a䁔ym3L ?5[E!8O (H, nq&(#y֚3Rّ@ϴ46[.LH~p1v;YFRV ;Pkq/mE JJV?|.vәQ+im|;?wX!;k pe]E+ v-A@ c>yכGq 3n-ee2gYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~94g|pA`_e9IurXM14)zJj; tmo)<H?g"{>1 QgP1>L] L_Uv[FyoC#:ɼ\%}b$^b¸iXIrW՗j 4'z׊"kqO0W@>|pGTjT ;3HW!/I`zj;az!C6"m UՅe~!*=dmF1/[YlZKHw]{ma 6nGyf2i(4Hw燣lȗ$ kT N{@ ڂ,f| !el|8}U1W'1bUOdHJ@!^rI\2 -֫Ȱ3a7 rfAᝇ}U(QoZU@)G5lA\}:L̴$OG<"+5Kӯ.:1|YC䋤d|.(+ `4y6٪ASz4{F} [҈Ӽ#&r|NЦ@+zͧ.BC#ȝRgiBm?R"Ry ӵ]t^ kL f_?/8VBQQؖЎbw3W*5U62F£3{,Ըf:jvhrO>}-R3r¾ĥ3U7(=c!#^`KT$lȝU5n9Md(+?(\^0>rJi_Y.jĵç LG%"Ե&ZKLi岓*>yѰy{И>#9Z:O-pt+G p!h+A^qHe{2~H  |w^O]:^3i=ǧ4Jۧ p|>Jq~kA.̐|6W Ƀ4:'$dO&vQm~/U' -+Y{jqrKnydO(!~D⻤O&ť mՏ=pCt|o"[yoV:k