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 lT ]/ Transitive-Closure-II:threads=2elapsed=13.908cpu=22.384gc=1.084factor=1.617zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyU<=^Q~} S)hOvцOQZ>PzmUn{P^3´/jqYQfV O5XF%9iu `D fEs) @KK{fV\ %fKz$y%- fbbng߫Ylx AlgYZ7zXZִF! ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#\Kcʒ5̾ͧV|1JmS\A #95 P[L!Z7_9oVpg_ I]1qי]A3NOmG<<\=Mu<`jދtYnkcQ?rmPh:>[23u* pLæ dz7@L; :?`&|&gkgñgYZ7zXZִF! S"]ŗXi%; !ժxrAIj'B^Qx宱i&5T0aXfH M8*[,"@&grC6v.\:2P_%@:ee5'08K15T"WL$:#vo?IP@s/ƽW]<KkEGДF VbeH=-ļ,%Soͭ㦮沍n@(?eg0"|030bVǷw٩OrUAК阫ρ&TmOAҖF+VX H,xl8F}dˍ0&E Q/ ˆQyY M>{ת^Kfk/;Md{7k*\kf}7(=ۛÒGuBp rUݳ({פ~8m:?7Mb'c饩2^դkKl E Jz~͵7Þѡoi#!_!Ҝ7sydBud@Uj+"pg d[Bȁ4,xOciߐyؿ*UB+Wy3s<>+M@DPoQYkH̲Gg.;+K,>+W+W6iO:6)uC5p R"1T|cym]8y [9ټ8Cw+PD~%Ї,EFwN`J2#+=vhd7 KkJwϋ~ڗ+eE1PX ?TX(?aT+QɦMlRO[RV0D 'Hcp B-W5"2v ]GWӅםڅH|oxH8v6;ca$ ~@ӕ~0#.d s-ΘDE "gGf@-g3M@Hq'\2kt߈"X`<r8w'[BpXڂz 57Ingf }A8d϶HY 9CSjh|o9^~1e驯eֽCOV9 d⒦&r>  mgYZ3a398e8aae3dd78b77bbe37c7a740f6fde980f5f0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 7 Transitive-Closure-II]7E% ~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZ |F=j%_ixrh] ,quw'_Vq7Wz~_@lhvBJ Õip>VXMY5˧?jmo*+! CEr76F҆\ZaS૽b11e|3گK *gdhК~ڪmsE,i D(3AlHd|0/2gDW ė̻L!}2|C^3‰;#E㡮7,@0cPiE>pB"\xw4m]Xp&gnȻnpbZM sC!Qƃn| 'A-:hp1o48ktm_Y_<j 3+#鞓S)Ln)r$U~6R@c"d*bNꁢdF&d 9LpC㮁m۟%>t FcbK3?q0l_ MB)3EC. Щp{P^5_wZTCsqr+;TVN_N4c|o(`pB\bqؔK_^]ur |H-٣U=u6tR<9kH8 [KEz_DP!Aqi2>ij4_ +(iP02KV*[[悕zOyS\201j,Μ8tmX"Nt@cy > ^Ds/ꊦs كEfvi q֝rKDM>HGd+P'- N&Dm`kXQC"^Vɚ^D|uaJ~u)hRCG%YaɲӬǗ$ +ݽ$JT|b*:mc[w,iJX+Z;AYqɢN 2>VZL],j M&Urr^aSyEF%Źb5 ӏl)H7!V; !K\GW*% <>h@Qpu|#W` I&Rn͕]P,"mבm$aۡYu;,ǂ:k]~u1nRnnJ߾S(j5>O UZcc0ceK\ɠǕƁE^kkg %'Kᆺ:䶜*RO)sr E[t U'(1AxbukZV34`eo'W Qx8*Ȱm9 괢o|[vDz+Fۤ%HxiF'Ugd)B 'ovp#z;n`imuBtg*߽ƥikz\mԒ(lF5|uIw}̵,:P-D> FcW&By$tG 1Λ&J;5btZ4޻Lܸ7rq+&Uߎ(i?iԪRP~KmJ B>UYCsT[H,r9AZ9oHh@43I/dWXdh9#(yk BF{3KQTKrэIvx'LI% #G*y%Xx'ݶW;,w_UJL\ۼ4e>/*}Wn)KU_[G#јDۜtV;-pFX_k-m~ +q6PydR<ƃ(-xMP?IcFq }U}\jBSc8B57sp85@6^il PT,e(GnJ!yb"QA~COל*:c B9٧hl-KWݚtp>Em0T6b~Ob`(=ͯRvR۷U1>a9Yjs](DHlJ7ַd Eck۫/rZm,c`R¼q:ZT%`+$&F!PuVn Ehs}٣_E]b`QT<AfDnƅoԑaeU r_S l@dDž]ORբUqU f$m`?t#޳5wLqqdhnz1|.LҔT+~LfHsd\]?qD+0N{[k7Y^Ugs5,u[rI+]D^5N7UjV^%3R 4F )xT߀| 6R˄B"dDJrhv*wծ3Iu2[jg4^O/5@^*o__zuAMZGe _زʱgSBj6]`5]y"5(23A$ '&YZ)}b:o!cp$|W!/~lY|8ELľvB IP\Dur n T:ԣ(7V]_F!T~ǃY3`cZNg0}&V\^s^>sn-Q0hC>V:VO[+> ]f,4|_7ao/XЀ']7~>t՟׍=q\ A@<5C .IG$J%%;L ʃWр$빦, `"mj~sՆ)smn[0[o~d;En #sÍ#?L\:F \0r.kD:zN~m),Ԩf&+Hm l9(KKCx%:->@fح,w|>4"-+տ?: ~,--dbPLa:v%9-jzb4}LOr/vMŸo%E]+S=ﮱgYZ ]7E% w}J>Y g&zEk)I%IGζ+ -B #(&ًǰʠ\:Wo jn~pwM9g$:F6藍 sQV*Pg OG".|Z%;V:ܵs◷Nm/q/SnO!y:~+"7HJtٝԇ;sҗcBr n"|9nzdlN)'x 7 dfw 0vpVkT]݅\úfp3 `FeFus6G2F P~ a瀀umq M%uytވI!!ѫFa()%TCNxa@,#lqJkZ;Zkt3,)T% œvpvH־:8'W\sno.}nq1dwo"l!4h4Vp&>M3=w9'Rs9Ѫ~ЙՏGf+xv-5>wr/#z1Wx--' =%HJ7 On.ެ#YI(8V2HGB-jb SP$_Jڧ<`ZQMNbG.a-^u,t%‘UnA`{6Vw3SŵV Afu}WIlLMsp#jܔ k9.NaGTOm]1? yhi1 ;EY@"7NM8˿Ԁ7pm|aGlRk@:jg; ޞf 4֖CXY7Z18}x,f9:10Nʲ Kx*!$GsDkw9Z8E}LB߳k3AeOxT4;lQᛕXHEUOsaE@ ã %%[ 4ch~]9:T!$rO#SV8+ok߮ҁ#Z2_?-X;Z2҈ώFFBO1٩x%QD3=Y؝wb` mX ~!je0#R>Ұ@#kSv[g{SgxcL''~*>+'(j~!o'diF<=8VfA^} v+c&S2PSF u}|k`2>TxoӰgrHCh\eԒ[Z9 )*&锉soSG\cDgN(x!`opQgv f4?5nӳ.WQ;k:KX,d7"DoRĞ~8И8>SEXMs۵m>zM|iw8g,lvarl 1  ȒODBļ-x&k9 =eG\esZPh)a?)^%@ mfAESCMNn殺xSk/u)벤Bww[_ /Tw_lTԆ?:NmA;g38*ۻխuuNȐ1 rukh*XmӞ+b{\v({RJ`+\o{jhķ-ݳ0H7U˂5r/@%&2:Kʜ"#zyj%iLcu.; &L>=_^ⴀd ?u(:>mQH,QB$~DAr܀K"acwgb Oh"Zy9F7uv/ fYoޠ2SbͷXfiXu*Cf͞h9?y_W)@% ɻPzI*߅faw1 iP|m'ZiFdM`g 0Hn<^D̯/sf?w %^ OsuE wǰnèB]mzrUe/)+-tIh/MT-fS{?`JdgJ7n!Z.L8IaBWλ"s6A!nۑq2NqRg(`{FPSw3:B2O8y)jIuĤ=-"Ξh3{ D~BwV{w"2Rr J֝~Q94]x'~}#.ad.0/S'F10WSCq`ƣR8Q=2!#]*BX˖XIPm£QKAU܋R69%Z:G´e&g>{.˯0 Dk+?0n+G틳y@@-u'sN~ 8>L;ls_L?73(nX es"9;? vǙe%0 fGGNWw#8ys覸~\rsh/ +}U#жC"s@D[!/ :T_OJ>.NjykCpv>Jݐ<4.K<\N]#qP{ ֭ƍyl#$#>ÛvdyKzllK~U|c $q-rYQuyxM5 8Q9+!읻Q Nv]>-#g@_9@*r8n ѣdw k٧ϣl(RR/SCj>f."bl \vǼ-laA+߃D$Kuwq!LZ tC.ّк8'[}mNZ4II2*} 53(ݸ}g[mR͇L ǂB"*YɲYhj}7R|+yJPmS,q/ 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  P P%7O% DTransitive-Closure-IIRegular-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!! fP8$'.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 (7=% \Transitive-Closure-IIRegular-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 aa7=% DTransitive-Closure-IIRegular-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[gYZP7=% ,Transitive-Closure-IIRegular-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  87U% dTransitive-Closure-IIRegular-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