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 [["7t,,l ]/ Transitive-Closure-II:threads=4elapsed=14.280cpu=27.268gc=1.0047zXZִF! ]ŗXiɟO}M:; At׮}vF|D { }tX{ Vr 3C cZ[<ߺxaq*ʆʆ= .aV4OR'w돈1 +K%h$X|TQT+ۖC{c >Vk|?23yч \p^!dAv!O ) /hĺp죗\.VPB(П}4JΙÜ I#(RߎֆWL"Cڍ\x:7)ŗ¤O2>?=&h\pJ@ّp&k1U6|¢(}D548aOu:V0;#SKx%>x"yC zpӃ* o:p8M}gڣgYZ7zXZִF! ]ŗXiɟ1˦rXs=>HXU0Q-/ri@}Uv1U8]ǣpt;a2wy$q-;|g~& U 8k&,7 tpLgb_\l9?_4XLQ R'- q=)ÄB&݉<+k>| AlxL~l;#\c}z5lQTN$X1#t`oSHiN/hv#\G-$|,Dg?LGyBpPU SG ~t`0^,IIޘɍFﻡ%jF#,\XhNOdjYo;w\M8H'kpU?j'L:_8FN]]5ъt8&2A] &D]^* vȔܖR+}wPA$ow?5m2gm⽸N߫FܝΩNӃh[ FSieP޷8m %8hܨ]&$i)}fD^(/W2EJHhp&|g'Z<Fi x.kFe=hzRm'Cv&߼ ] kDC%̍]KΎ1WkBwȞ]j7ʺ]5M/gb4v;2TbM[.V/Ch=)4^ /9'<ᦱ4I/jE]GkdjO9{ޕd\p[a&jf]sXtckz`F|Ϛ$;_okj 2#s\5O"mY),S4̅dph%:Jߏf[i4Fs nQ"rz=ZvMH07a4Dfl(/Gr/bh\8Tw}{*Fd7W_k%~h"̪r}M1ں[P_k'S[jMnx8aN8Iu&y$p ٴß3X V"GrG2-棞ps*Dzfe Qogx֎C}ZX:5Cb pw) T$mEn^.bA^ٽ2ҭcԻ0ڋr<NH@I Ouj:2h}Wz9N'X 0B63lJ&#p3cI8#6械7D 6q1[7ԃK΅7J8آŴ67qkTI]t9*|Cj;LoNz2|s[eFsѝEX-@ԴZ488TNT"Ur>**]AbI٧('_H'ɐ5}i^:r]BCʎpcws*Њ=_4r fn_3gKR7&s.8=fAђCOU2›$ƿ#9bٞ](XlD :CH% r9o~ggk0|W,(שEC͖G'mYw*W|gyqc g;`EУCB @rd'#h~a\T2/P6]Ul+|o~CB/4!2j:7nuܲYE`uf%Jc^`,sH⩤ya«# te_di/E_IUgYZa1d61e39515bedf77f544c1a872f094a32544a0b96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 7 Transitive-Closure-II"7O% EԎ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     4rx& D7G%Transitive-Closure-IITransitive-Closure-II.RTrancldocument.texK7U%Transitive-Closure-IIRegular-Sets.Relation_Interpretationdocument.tex?7=%Transitive-Closure-IIRegular-Sets.NDerivativedocument.texA7A%Transitive-Closure-IIRegular-Sets.Regexp_Methoddocument.tex?7=%Transitive-Closure-IIRegular-Sets.Regular_Expdocument.texC7E%Transitive-Closure-IIHOL-Library.While_Combinatordocument.tex?7=%Transitive-Closure-IIRegular-Sets.Regular_Setdocument.texG7O% Transitive-Closure-IIRegular-Sets.Equivalence_Checkingdocument.tex"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+w_{Ck{mwІj)z.яAtk0e5̽Z'^ klÂ2!&IukXć@/5DYOXiX˱>]JD~[S6(9&1"03PHP\.WE,\w{GU AV'mɠ7^g+NB ;j)'ȩ:60OվKfGR;pfF`_0άAnT0rpc%KLdf,`i؀JhPRzAy{6hsk6nsU} Q!>YEƴճ3<{Smw;ggǑ?6>T[jIz!fS}V˜@F&Ƅ+I`b7`2M5n=ZEБH '9&6;塳)RZ9yY3kD{`102c˸>KƖ|N~f2W+,o] bgR F z>kAf0g}\^kT!yDF}9¶an;>0\9q= X݄  qec1HBm3qIo j .@.ۑQfB.=t=7{F._y_԰(`1c{Ը$IJ5cc@xNiFaF}Zg\{FW"KA@T$N5dR#zm[D&{R96Be<ݕt(sXzwSFI($gYZ(: 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  S S"7O% EԎ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!! 57=% tTransitive-Closure-IIRegular-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 BMQ疀22;Y~*شd뱙 DF8G~a^<"LZD^`R=*17&}"o5iÐ^JjH} Aq۱td$}Q@gk؞,Y|\QeP&0 m&ɦϞ@T,S&5x+g^2 y1XuiaiS @z(JPH,xUW  M IUs o >~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 tt7=% 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^ 7E% 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;#<|^[ 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 G<59hcjџˠFYD藥Be V$pOӶ~t>y{g.j\oК*U@6z;*/gj/=Xߗd+9;2쿕f/h?Wo("\ۓb;a-aeGlQBJ(`Vbaѿ%X/hR:G @z$"P=-:X0 䑱gYZ  57U% \Transitive-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?unNFEyN$xFGlS80X{6 E.agYZCa?gfЏ'!Vo Q 6|'Hj׳4; :tHgֱnѦ|{>٘^W6RT0f(ADiJ3 D!ǿIrm?Yl)g jG7Uy;e|Z1֊ t0k!u0I_rvjմȒK^HHΕ0s'K7P^JB%Dz9 P~SeX䰣1,B[:%C2!nVդ(db}ǎ]Plg3 yԓd[OH݌ZA:)΀MjvD^afȐ"m;G9/ʮ#әj4*az_ʗ0-}s94}93WwpngY S'0'< an_U k0n0:O})7e(t7U~$@ -Kg?pO+`y#z4==A9jn"D$3 @J_%=E5q}闈K]|{PXNno8ѻ7d}=6wInΟ4&J,qP~P/E-+/L=A(]KK^L 4Vy9ó HJL op*> -;1_>=={5b AlRl?56qiN;ÉlRy]--ѕZnw-2!9 und,5T"5J< o63b:v6&FpG R<ᬱδC<.S&?0;P9gIGi9*/`>!'hJqӠNQkg{ 2bO/.P@-R1 eƖ\P9ȘӰlG\x^UZCD k.f ֠#buպ?/e0Âl. ^،( &FY˼}?o$e,m&{ Dy]1j񂨙nqW5:Lus"%?$Y%ۄlSvf>COGnLPeaD,-VPzl?ph)^kZ <-&oMe6(E{4]̼+:ӹQY#ItHemom@>= H[LG.>#/u 揀A*:?5w=⏄w0\zWmzĊm^P/*[V7XƆ%1-aC3ڶ\?8]<2Br.U~fZ7S2+XuoV6MmSKf?)xI81) ¸fC6RTyT,|r2LX^[c>u*)ԡV)8g9=+&1@Eg4tiƐ4 Q+$Ծs?]}kD>JMyP6E.;&b]9r`kf=2MTdxk6!دMwcrďY'h!u^@w܋w';"9u""V3zykL0Zwd5׷bsZ_ܵ8\ %6jԦ!rh@%Se\1`'2(ޓ8fG<%/) DE^bQd7 P !ԕrԜFl[䲨cGO Xx`6r3W0~BB;M{Q;DJTZb)ꦕc+y 㪟36V5@7" zlQ ƥ6vzǛ>@7ZdZOf|mSKN*8U|@3x;| @u?Ü}f$JD bwrK*,Izo==*?;pJ?Mɬր, .n)`E컑kԺ򵦐 ȃIw2A"^8C׽}WjMiC}Tހ1muHO :{[Y/FUSHrFs{?EZEM,,XBiүTS63ADu/93`T`C O7\]w G-w#ER M=+>Ѣnb/>.1Rp˭D1#%d[OB]ds8*T)Ψe  mziD$mDNJ Fmܥi z_"-DFDӘ&I HY̓Qߓ͍u:8%WU73Xƥ2j,D:Z~1Xx WSLWˏG2fsobΗv0-F 4{KIp{Mk็lX+Ĵv~.  %;y+$98 k഑q,XaX3 ~%MnDjAeB[ۜDȭ#tb`=JG R2&*m5.{S]S9 2(} *¶K[ T{'а#i}Bu萸&ˇÞ? xkљ Le=O]TIєۍ? }A hVVNMtKҨ98R0k jJiLD =J|m'4>(+WHQfQFlds%rX̠7g n N٥dJ"? IAٮ"F Mrc*8o%\b*$pTE?RwaCd!!7aM~.IT}z5 Wn~F G+?6IaRTPY<XP;,p\Ke7xP麇)˃9>;EXdL2.Hm7P ԕDX2.i\>M̰Y;ql}a@Q^l8%?!2# S}>\^4 Zu C" 5#bFX:=xӗr -S›tZۚ(8+sٿ*.yQtF~!O(}dy7YP͈@z~Þ&nj910E|yʄSz_ 8qY _#LWt*Z+ː@>Ds8l&T7Pl M#9%" >-#f {A" =a)5`Īx,юIYˬ9t !g =q,>s?߭Já @p/Ml8ӠeC=o4TQ5+@n@^d 2q I"˜V؎3hw|T 2 MIb^es\|H3 P=vCZ2~_Fq?GmwYkW':BnGлBv(S?JZE vH00 %]9*= ʺdgYZ 7G% Transitive-Closure-IITransitive-Closure-II.RTrancldocument.tex7zXZִF! D}]A-MՋhvG"uIBm5wáGk8jx>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(~`S%_sKP뵼!)Ze7}1= t@YH!#9 2T'rJ{)')7kܣP5L qƈvakp#R"gL#C|є̕/4[%^*-^ޤe4j