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  -tT\ ]S]Relation_Algebra:threads=4elapsed=22.205cpu=66.908gc=2.7287zXZִF! F]ŗXiɟ fftb:u t`$pbKTE[sY_/;; k!|C\i@?K;~&~JL(Ϸ5&dgG AqRws+f\cǔ裉8Ufք#ɋ". B4eL?B>rNر(WZkPt~XƁtplCGȍ*򲾣Dz@p&-o]U`~Ӱ+_vh]@R \FgLn_/VNl pnGȟߩǞZ-+Y~.}8K\Z<`f]EN1dL$PiS%m5RL_ ܋ P x؂3{Isj[2EAMnYvhzRy1T zZӗ x<7~M^+BATdQ_V=X2}ꕃ@3ռբmxbFڦ؋0PHMW8{wYs^sP1zgm0ûe2rMOR}EpKM9{jl)Tnz2 uwVö9iAHw|JR]P9nѬEvoFV}074AckeBK'F/I.&(gf)>מ - Relation_Algebrac-c% 4Relation_AlgebraRelation_Algebra.Relation_Algebra_Functionsdocument.tex7zXZִF! ,vR]A-MՋhvG"uIBm5ť}(ܨȄ,l-I^ƅ)7}XZ6-}ʍYSYۡ VEf,˩'T@X! ljT m)a;E2$L՝ ʀChDHmxhSuL:^RIa-uhO/VS@峔SLKBj3}΃tf |[d\$rȨ5-T)F.nUGibk7LbF-S.ZAhLfNĿ)ί_ L)b~oa+?<%yǙ4(hbgΈX>|v(^S F8f\dVA,HC5Y~ƻ9\E\Ԍ} wZ/WؚXy[[=T-jp Jơ/p.B4MkN 0=5?ԥiwP%Z,0 "3{~t"^i$??1>#lWo(EMʖAI<Md{&!YU,Eƣz_0x mέ,!Z^Ԗq.m +LFAE|e< x*k3Ul.h5\ (q.ooQ@c7ܪjbc7dy$O-l6y в*W+b 7u~SBˆ`D-vd@<C.=%bޣ}l/$hG2{ڊsjLqO畹Z[-=E*?0Q~ٯh>ᐌ o:V&N-PGdƢC_zɅ:"4&$M'0M8;}JP[!oIW耋VW"bUWIU禦a>a?෎~_qCeA2ܬyR;H_p55@a]G9@PʿgrWȘOV?\6^ \,7ѫ /7,()DÝ$v9]VUZT8fW1dW+1~5i8:/q]ɏe_W:w}GBa,Ҳ?eXQy Dު6*w {2i#6ƒ {p*wo2Ȑ;M|MKD fce-W% DRelation_AlgebraRelation_Algebra.More_Boolean_Algebradocument.tex7zXZִF! ]A-MՋhvG"uIBm5}<͐>TkٯSv}{[ >Tɉ*P*Vomj<}HX  A^,C4w>j]_a<~'!d&38ZERZjvZ Wñy"lrI% Jx,k|pg7n':ʜ:l?sG`m&Q5 P&C(2Q/  a2Q"X 3zb.NX3~zy؞XL8CلQB_RzOfK 0Bhp!aIN[GN5~EPgS%/p&*ŧ/=7S({'DբF8}HZJ/o C!y8jn*>u>9PE}-O'R6a'Ԣb?G7 8=ETe4`r       k 8I-[%Relation_AlgebraRelation_Algebra.Relation_Algebra_Testsdocument.texC-O%Relation_AlgebraRelation_Algebra.Relation_Algebradocument.texK-_%Relation_AlgebraRelation_Algebra.Relation_Algebra_Vectorsdocument.texJ-]%Relation_AlgebraRelation_Algebra.Relation_Algebra_Modelsdocument.texG-W%Relation_AlgebraRelation_Algebra.Relation_Algebra_RTCdocument.texS-o%Relation_AlgebraRelation_Algebra.Relation_Algebra_Direct_Productsdocument.texM-c%Relation_AlgebraRelation_Algebra.Relation_Algebra_Functionsdocument.texF-W% Relation_AlgebraRelation_Algebra.More_Boolean_Algebradocument.tex"7B'q\> -#' 8di­sv̓j !0%MPNoqpfn`G:( ^>LT'5 tڊ'H[u5'I_t6Y]>(5~-=N&;N"'‚I #m_|jRKmy 7Ɂotc49p흛0+4La;8F-W'Q3}{ `2Uœ9WftU7/K<.*s`w鶂 KƹrXDk:gɷ:G7%Dޗd#az?+~ rcl5ת"HybXϿ5l)7#YFX5yhQF' >!9&P3&qءDݦ 1(q;۔쉱:}/ ԐJKaѝ#? Gݦc # &I( ۺ]jáL^_~)@Ð]> =b52]M^kF}sz˜Cл/9Џs8_H~HIk÷6Ã={ f`)o↮=ݟM/~Rя&1JUL:B3PPܧyS>n@K9Yg h[~> h%Eͅ!Y W7vCB%0$XOܰ)B~XeEܲ+rOKC5"!g4Xeu1ï &&Gedз }>]{{Vĝ0Vç!R%c Qz ~ ч: }I[)YـLW'KR{[i;Ʉ~N-uz lOP?P9rt$ac8.b\zutȾ8p[IY%HVg4z>_]nq:S=HZl~ѳW90 s=-@:4K.²?k<[!biG?P^ӦyF#y̯e}qRPh+l | .eWgI恂žAc'd/ ȓW-1só5|dw *c X2utun)ޏYٞBb+rOp AԱjt[F;G0Ф?! эXu>| ~x^DBSrpC<=M j!Oń36EWP3 qZ =,Lp3CQ@լCĺzڬ v7_ ~.y| j.eVҴ?ep$Ʀ yOs*b@hZFHhsT _ֆ*JM_g,CO>92["(RlQE”]B . ;QFl_J?@ 8VN->@Lg NigF 0+׶5Og nFT@men5~y/V73wVZK, [06сs 5Bfۤ F@X[!%/H1g\mΡ6@Ӳ@woƜt' 6ѬAvKomB(@2c%M)y[1>C*TDL NcFמ@ ob\9DZf^3;q{HmSE\Esvo#F8/ Bt 4PcSCDQwH!#_ffI/@Kq/C{e€ ؉["jV'~X}0?/cl:kƣ;P "TcdzޮOt=:1Ktl{Aݢh-ÊFzu hMTp7}Ap@?N8e}=># }}2y `'F& /[mA FJpJ52("E&B~qSy]$oY@wZk3W?!17!>1)lHހ,A4TI"H/': ۮROy4U+H\uyC;XqoC:D36@Gc0Xx1aC/@~rn = '@|.OxPF>@T?WM_L<֦6hU{y _̗zuVI+8 f#E{XooU>0? 8{|xޮCU~mʻo_b mǸpL<xʼܺ{=?#qp5yvnO)B|;j^6NHR~<-SPv{o=&2LTlPcɑ $aiZS Qk_}z#LRd|$ؚڠ=Ƈ̵`3(Z';#G LJ>*HI2wre߬u-V MlO5KW]1J-չh{OE(hl!8,IU%d" 6 c“!cd*d,3$}\.^JChYɧʈ ˣs&U P¡#'l(~V f-gn^O8|:2k~ |W\to@` K! oft ]+Fq\R]{E4%ŢCCD:Sl6Պn.5&Ӣ]R'NX؊NʍJ%3O-S&s".Dȣm/va2PDȖ&#PgYZC{FYzT&P y VLs፠?-wp]HkɈv9K@ƚ.P4q8u $JFzpe ^ >\uÓ'Mܳ׎P:8E1bۦLj/(2/3W2.4M;*j0u IU"j dmj_70KyC4?`UCK=9Ƴ;4uQEEn:*QVh@EރEyuhumn_u'zge= suf5'ȼ/%ߌ %v"5E?;L( >o?hK>é}ըp-+ 3/ttHz $"q,fZB.0eY&tƄ@J Ybee98(C 0AgF"҇?YtʕxRtv達'&a%huGVr ]s/wϲFe,[Fv{4MBny4vN2gBO$+KK 2q[ |=no)%KDڶs)@1v]ʡ\v?޲Q7}!cr?K<Mb:ǗR2O>Gٺ)IЄӬT"b ²M) PXZrGzh v#ɔj405SRg3i9oHi^ ڧP2T jHg:ek]` c Dʆ- $ܹU{ ٩Efc=E\)}GGe_dhNZе]ЃuѠerO˫aiq16ug5@:)q,+noh=7x-0}}U¨"E*F/]@21A: i-l֗Ht+LR>~Ԕ_2gD FuE*e~t޺zȖۦ',M\w@;Y*3L|?33= ,Pǥ+ײ.Kx,EVpRïu 7Joƍ^݁OWmK1-岨(z0ٞυ2R] IGQ?'?ô7γ:B;lDYrLkJrj+essC9tr2|J11Eu?z :sCQ0X3y҂ .oTNx!Xsp n KAWbQbbx*lqZ7%bGG[c~KGIz3sެX#m̤C2qK$Mh|xFTф/ƸM]qI|FO a%uVJkbp 7] WUBR;!>I¼ymXY!e]8$tSp '/uSף;-&HPsM+蚶IU*mmnhv6:"EZ&l n=mX9xi9s ۧ~=OE6D<J?3~iROm$]#F qQަiP2 gf>${=MJA< &oU&wW4AsIu9$+L=\o.ǩV\&zx][<;Cr!KUVlnMico)n{rEXz3rQ'q=0m =1r Lpl&,$%:4lzΫDcbU l T@~7HH^aŴP-dNyw#<I8 =HqxN0T&r߀~kZc:#HѦDk,s|$&k7/捊eV00vWs*졄jcn$BeIk3~S F^j'PVY0Vn+'!VrP;tU%?[F2[d[-GtK"zUW 3ٲ$XfFAvV^a1- Sk50;ZzGL3ӌɖiV$aߖ-3wB^OSЮiR("W B;/3 vP_XM礪"1v3C M%$)Bw<:03أ@e6:8E~h9F2ԴBeى8%@nG7tsbtl=5Db;b?|g6hs[}}bfIvrA;(*d}Kp/,(OjMbxrVdlLP+X6Jw.Éx2 ]X$ǿWHS F" d]TBf.MN.@q.iOӹ>}(wFPq5IX|k-'>f9cB=dIxs2ȳ/d%pDG.z&F*yݺ-ef'_qʉvK:7vaexC"a"ΖNAˏ wcFȠۨ^Ȫ>Df2Z8si b6ɜd/28DE`,Ou{4!9|"*³SZiE' =\}Ty _ݡQM`ұ$oUʙTZ޵ɷ  `1rA-2gX&LP8]STsLY䗾sє´ֈ0+ԺH) :x5MLA^9.x &ZĿ}Ko!T#rI#d 'I~3m\~QpynV侃#4u O p<Eb|ьxǘ'X6\u9J/rDp:ݏL Ǭ%]%}u =Y:tPs⎖0ӛiʖI.yQ 퍍 O/ SqBzQnި i}/X\TGPP(Ua~j)W3mcd.ذmgYZ  c-c% 4Relation_AlgebraRelation_Algebra.Relation_Algebra_Functionsdocument.tex7zXZִF! ,vR]A-MՋhvG"uIBm5ť}(ܨȄ,l-I^ƅ)7}XZ6-}ʍYSYۡ VEf,˩'T@X! ljT m)a;E2$L՝ ʀChDHmxhSuL:^RIa-uhO/VS@峔SLKBj3}΃tf |[d\$rȨ5-T)F.nUGibk7LbF-S.ZAhLfNĿ)ί_ L)b~oa+?<%yǙ4(hbgΈX>|v(^S F8f\dVA,HC5Y~ƻ9\E\Ԍ} wZ/WؚXy[[=T-jp Jơ/p.B4MkN 0=5?ԥiwP%Z,0 "3{~t"^i$??1>#lWo(EMʖAI<Md{&!YU,Eƣz_0x mέ,!Z^Ԗq.m +LFAE|e< x*k3Ul.h5\ (q.ooQ@c7ܪjbc7dy$O-l6y в*W+b 7u~SBˆ`D-vd@<C.=%bޣ}l/$hG2{ڊsjLqO畹Z[-=E*?0Q~ٯh>ᐌ o:V&N-PGdƢC_zɅ:"4&$M'0M8;}JP[!oIW耋VW"bUWIU禦a>a?෎~_qCeA2ܬyR;H_p55@a]G9@PʿgrWȘOV?\6^ \,7ѫ /7,()DÝ$v9]VUZT8fW1dW+1~5i8:/q]ɏe_W:w}GBa,Ҳ?eXQy Dު6*w {2i#6ƒ {p*wo2Ȑ;M|MKD fce-W% DRelation_AlgebraRelation_Algebra.More_Boolean_Algebradocument.tex7zXZִF! ]A-MՋhvG"uIBm5}<͐>TkٯSv}{[ >Tɉ*P*Vomj<}HX  A^,C4w>j]_a<~'!d&38ZERZjvZ Wñy"lrI% Jx,k|pg7n':ʜ:l?sG`m&Q5 P&C(2Q/  a2Q"X 3zb.NX3~zy؞XL8CلQB_RzOfK 0Bhp!aIN[GN5~EPgS%/p&*ŧ/=7S({'DբF8}HZJ/o C!y8jn*>u>9PE}-O'R6a'Ԣb?G7 8=ETe4`rJ S,! W8 !-o% $Relation_AlgebraRelation_Algebra.Relation_Algebra_Direct_Productsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ť}(ܨȄ,l-I^ƅ)7},S0KrW;Q ɬQrPӈMxVc' PVco%?A縕i;BG9[mL}48|Z`<:U;oo Rɭ%y5c >fҗҗpb5% [kZlVφ/1m+ ]Gn~ȢrmEZ45{OFr>[.DԌ?5M#K]lPsi5T^Oѷwtzz[e^d/ڡR'mh(IRrOe-ԴgBf9ga6ذ)!q`mL*dHuR/bk8yI ̑5.0bN]fFA0؏'z!X/LeK @Nm \nxmӮqZP8~>% ":'70l6;nNueٿJck?">p딅͸{,u& ICDy/J].O^84&Y|UFQa0}@WԪ{ZwJY|kdt[ߥ#`&Dv38b]CuAT"pWhg yFӔco9 1Zɖ<35~1j$+M8vYT렮%0i =a%)@wr,9]I*FuA;0 X'(ofVfۂ/Ĉlx8Ϩ1jt6NWqMUA'0lmWDCx]H>hM^P9 <9_x75bĪ(e9YWXS tu +\ۮ>"Ae1"=?N] d[J7< zTo( ѡRoڜ1+W 3eyޡ{tr/Nd(G-btm TB*=rA6P"fv3COwq#ƪR3@xP}uB(E/,5?ɭn5 . Z:<)pi50ڵ!%{_ ѨZ爗>6X\&/t@lGGUa=?qsidvd4>?@d )"nP/TPf~Q Ͻ1~׍,4Y1>_t̚^txKskȵ+MrALxF㤩2:n5FXqv|´D"tt>01Gµd{:+=ߌGG^H)5.WZrIP{0\48+ʾ ^zJ0n8~dmc:pZ5.Â+[5(:6v>! xevq6z q,p|ٗ P=rxwL/j7eWOَ.hbt"tnn:y.1F Ij8.jq HBu x~9bG"D^ *f_.l%ʭJ}k^ ]Xt%ar<ރ쬔{P[7wZhB7ݘ MumRO*P >QI`V+sgnK.#uV;CԵM-bԀA +1t/%|yq6˃"Ӹ ɉ;wzuryWtá0QMlAP7FvEmu$N}.P%],V MFqz~biEJښIAך*]<<֠'sSYd@qZW\!.N+f-7WڅDpC`uK^n3R䈸:D g;8 +@ܶaٯ`E'sg<ٽ]0~Nܦ%/:K;Hb@p$"|:fg {3R1})sCslIXle'`b -lW-#vIFdA=^v[:VT|1URϷEm2$$g9,BLMR\cZGO 1vV!cC1(" c>diohш?U+~b%SrpOr-lLT9ǘ"@[! 2ĩ_XF YJ]bʭhFUV89ʐ+(QE|"P~. -9i2):ԢwĐ`F'zX:R'֗Cx} N^] Yt|mh`*5&Z=5J9yֳ6hz"H`4'C SCtCi/a tf95T3 491T@UBLb(gYZ  4 4I-W% Relation_AlgebraRelation_Algebra.Relation_Algebra_RTCdocument.tex7zXZִF! >]A-MՋhvG"uIBm5ť}(ܨȄ,l-I^ƅ)7VX4&g$3xSa ]z10MY!w)Z./4\o-^Xz~>C`-jbr В3e|~ԫoZ$.]r[ENq: = tJi`uNڇc9 yפ?# MC`8.ʙѬeACW b+9](ewPׁx]b'4QJeOt%.%f4YYՊfeL0.2fPX.qXԛogU3>[_ \CS W>+!aTc?,\:yG5_g#qPׄn~]fYKcPGJѺ~}ֈ?KJج"du0k=VW+=|06}[2 c [~d”1^ t^}BBmUo,frCuZ@X{ {IcD3v 3:VYt@&zD="/8Zܚ#r)\i=>ՠq [ٸSQOGA&[eoS \RDQ*W'脖[g@񟇗VKRLm`+Tt`΃X}0ωV De f-$?09'졂*Q=$f?֪w1眮$W0;w5J.o6=.#DAJM ɀHzp #tʘE~!wMA)CPKw9]_p q9- Ua5# Hn<0=U^Ӿm݂oٱef-֑єp8/ӷpk8s*}Ï r6{oh*33ymn\>NWܿB4A3: GWk^<0y! asE;L'"?[=ƻM#e VZLrv5iy)Ild{Ĩw}[7zj j%FO.Yi(yd0g&5+h>)zE '#|kt~!Ys^>g*--6ŖCsB!+Frv*r<I)@{qhUQ{N:M \رtzDnkA4BlBs9;.L͔~G9O?lE E8Q Gg^UvSxBc|: E^Ed#ԒtEhP Aۇ"T\i F}fd un_k8R 4d+N 6s! `r& 6jHS}c0mşKGǥ'tuq$wqVlz-L$y OV x E9%9bvCd >HDt[$kdR01^ÌXܨ߯.a:1ClrRy}g|4U)sۑZ 9,yig~-|1~I1[K-Q{;R_]Ԍ¤ mxE|j ܱzQ7b9)ۡ$41̀ē]qW@Bj.R GF7\#&7=ɟ׫PY7ۧpRL}șsmz͠x%*JY,;^KtK&'X0V`b^n! 7qu_ľ|=H|E2dm_-:>@>WۻS4,?? c.:mc*m1՘~y ĕAoUݡ=CiR~ O'_}ͫAIws<5*~F RE0࠮uJt9Jo)^:#/WH/SDf˪ZPč3  ԑCGA_Wc^fHYILq߀Q|3r\鵪Tcjs !E-:PQQw y8YTn4.Vٷ8Ū8"oEs®OF)eW.WO Ets80}&5~⩞&~Skf9jEҕ -f{G+ ,)ۖ, MNolV@0T+sF|f?mUUz=1?HW;?}Aڤb{~9{F4|'l@oƷQUGteQUKbOcYޙt~U*Wb&LӯmZ#Dk c4.t~OC*2R;n,D2Q>.wrjqV6x1Lofٯ8tKWA?S$gF'p, b9\`+5g.O_B#qVplb(ʕ`Mr<1!kYfqA[UinØS'5Ӥ}"RZCw?cA A*?M>!p9MB?yMb+bRv)ӡBr) c(cpkR i< gYZ $ $y-O% tRelation_AlgebraRelation_Algebra.Relation_Algebradocument.tex7zXZִF! ]A-MՋhvG"uIBm5ť}(ܨȄ,l-I^ƅ'xik9V=0Qv9/č S;&c?7c,ߝ)KNK[9FgI OVWۻ-tlUQ&7ߒC5]dq"L] 3=\&(ߔ/J])-f_Yq u_IL6쑕lG^GPuĉth?A ;ncf&:@GxѦ\(z}:6/D=z4My2Ѷ~O ""?xLVh2>bnġfl}3'2p@ZBtGz:|'T #.y>[N`>Á4JNJPU b,w"mFVu#Wy5g^[Ty"q/#6Y =0M:%ӹz]m&̄1>r@ MZun Qov:t_&3[6$mP,&$xcg?0QbMtb'ޝw.lc2SR"p*Sye9qRTPHZO_ Yf2QqE"z;, u]iC yupl[P]D#ėa ( ^"].Z(w$ 0}X!m/%rgiyewZeIUz}.ef ]`.%CjrہT]"h)E?p,fx [aUY?p9AS"y^! ݞp]ώJt Z+Ӵ@&I*KXnX0$yx̆EL1Wxݣ$SRm+T9jؖx,sK9WNIc@p ֜(~fu2|2ٙ3iQ!AO7]xƤom[yGrgqu1Y[5B! 1(*/}s`Ќ~m\p\xl;nbӤ\N[T&k{K=?\}Uଓc Ity&ʽ@4^dk؆M^35;>@cu]ՅrHjFݖSe u%ۖ' TU硛$s\:M#~YSQLױz"wrfC1z?'p0p'NBmoUڅ(DѪ"97Mf=qi&eG" /_17{aV5%N`ICXo5 -lHÿk@oCq68yRVYo"R_qc?A@?p|miCg]֐7dnU_m?*hޏFYyhHR[ LPWg RLAegYZo/+s#O{BHoo)"G/A17[a1` Pa,Wwuj(7 UUDqQȀ( ='ɺ 1}+gܺkVA"id;' ӉTI9oe`-X}f?[I+nZflF =ؤk~L蹉;[w<}ڍa,IVζMѴҹ֩;GցlK}8Py,*ή!2SQ(ߣpMەMO. :qK@Y nM5Ev]DOMIfXQ(_Fy*]IZpl-prLf%Z^.CsS]rI+J]z䦒+6N'S~BwW x=Sg؜\[RĊ{H:BrE եz;xx6J^W[?&bb/pXŹ>@wr –A6uDU 26E34[0%r[`*ؿ    fЭCVO13W <[}&swaudbg|100h*q{RowG/Y7հn(rvr51 l-wb6*q p/ ۨlJ@%c)W#ׄfz$5t#|fq9g, F@߬{ɋ TI =D1]Er g5զ,L -+(wY$J:=RީD/[]ib Kã}4-gR>G =.Yd_Y8aqclDe$J.#\-^b]f8i#t2.q]+_ %yy4!vJ4ch.EA]s7lp٣/G',W & ߾(' Ss/㕰 }Ef''5}͒%i y.}&=:"HQXpjc@J7xw2i =3m`‡m>l4u)}e{wz&g_.r͌H9ԕe[ϗS$aEDan@L\̨U:8BOخb ܈/ ] ujv.}WJ+;4|YsYR_匧wLWіYeP1_m29ݞTrq_ZX;sfW?~Xml" 6T1Pa~4img㶪~#B1_Nhz6DGOu;Һ@⢿O3mLXxzsR$(H[ bbJxRc825qIze-! /Dx;S1F9c5NUxE,BҰ /z&q~&e[XK@ӫXcf>-o ܨ|q#~"Fqk"2RTNPZ o=(KǝG"`2 +u7~_4dx>f T\kK\,ӚDQ۰&F}lt~i|dZR8#P"0Xbˍ"HCͧ1ZR_g4VO»WP.9*֓VP"FJBjhMb KB$⾩ye_@Oqӫ~,{KҊo{(ƿk͛Z{Ǝ;6YfDm ?:*'SE@O;3?uJ4a2y7K i2y ^]gEp L\ _5]aPnѾ~--"ka{8?Bm6!:o SA8YZ(5q`u![oZrpXlJIZG"'ApRCTҷa2t7*o^¹F x~I_:1;N<m/r?_#dTɦH Zc^ܧ ٤59Qq ws1%3ay(zZ[,f۴eg kv|B?׬D]C >cKpb P_Oβ!B[Go%a~}Y`$?ƺXʭGd.ХSy;#i{\"hmF"H@)Q060rf Vg'KeN&8pT b93&Vg ݀ԟW(bRRP.qǷ$+Qgwȓ3eɺ4s3"r?cÊ^ẗ́NKL=S+(k {Ȇ\a 1k 0d N2?)ŧZ^jpþ>7wEЩmQ F,2h[v7d1r^Ձ 3B|cvnuLQ$ dc&֒KQQ񔇗F Q?}rhǠ0Lvbrm义#W~RmDP[恗L nI?zWB,Ie2̜ d4Zh";ᱝ4}HYy "<.ʾF({\NCdcF{fC ,0/J_d21XBih.+ 0ۇ2fW4}@˅@*"Y*NurPQF@ GΰV,/ڴ (C>fï^MzI+Zg 9#6x[ͬ8b0<dZVJjP ps(e ǟyqasDp*rW353js1UI{k>?-[% tRelation_AlgebraRelation_Algebra.Relation_Algebra_Testsdocument.tex7zXZִF! }* 2]A-MՋhvG"uIBm5ť}(ܨȄ,l-I^ƅ)7VNdJY]5oWȕB}J.]5mLJj_s吕}6! 슆:}y'w0ꥠq `ݼO+NCF|M'T#>7xv4 =/idC=K+0m{d͌؉2]I 2m}((%2DJ1 |xRq DuiD+Y9qЄ;0"$ovxFwL:g2aU,hJsg4r!T=ďPփEb 80'+tm:>t~&ͼiEVG@MBf٨@IaztSE KNW3K6$cV l2O/DYE.C$õo)ɯokh`u:>>[:y/kˍS5 .AYV+yyﻟp`)Š]I4l M=(E`Qi{"{A *oQY7z.4v}|:<0OM1Wd8@ywqQAܪuLS*V9s׳cQ@s勷'7` :A277MeGf&镴MBaT^o'p3$cSPA*09&=w!myႬ/ϻ8,)'CCRRc=7.wHD%ZӀ70ȴKl%hןx~H*Y9PK4S2[lM{۪-ͮ0Uzbɔ/fYamjpn:Ӯc6!>b-Z ~zpz ֒SyG_zrǂ@u0^ '|?yt8VFQD/ߨDx"e8DʢMYॠIoUV˾ ca8/_֝t1'a\HC$ V @@ ̭t/j'0;b ZN߹i";I%=3R[B9SRl9 5vYAV!)vyBL &o}pvz㈠/#,.%zxԌS' 7bd!6ﱶC>@KOm-B\bt͕g*rAAIoTլ&\*gxq@& 3 lASGl d>QO^ÌBLOdVj>:~GTr?%ƈdis@W'8ǃq[[w@85||(i{q|HO"]6:cA eQg)~~pP~3PS+pJD&8B6[kd-JKNc.$4.W ZVQ\&Lb y{\r[8Β*)(H:f<=!O?/!rL0YyV˚Y=IČ77.@n x*_G} J:cu4~?wCu)rD׊Eeŋ;]5s"*\Ϡ`D9GU:Aѽz'j^cj',$%[c- [`I.u8!2M6Q7H~Sv<; hžZe3!)'`n^htt75<;t!kcyu" 7-H7_l#7#,mXR90ADS٥+q̋([|u$H9Em6cS>?ࡏVƧ,g$?Tj9bˮ2{UY"n^Qz*Xksol%{Y)IW g$)"4R%1x ¯l޽ T'5W|1[Aɾ݂qF~V~"mLPZ% L˖ዄ'Uad4S?"%u Eq`U+N@oy[ZNMQXes[!n}U+f3cv/>}ʝNƷcx|V8CKYP2Һ| AA禨"dstoQl,H&RH_/7e".!>t)~$Y 7߷gMɸ_qȻXB# #İu>qP-% )"k<$: 㣋1ltqy"^h(Me =w9δ&O1DteYKdg (5T(dPWםcZ{赒' o0WC} Kx 鋂&C XwaЯACW&֑zlȉkK8Xi{IKx58z.3HwOK˙;ueMLFb+sҀϘfk2O5gYZ7zXZִF!  ]ŗXi%D3v*rP4G\a1Vg&2zmixCֽ1km@x{9If>x\ЕPq97Rw %t6#L,VR%km.(0[?n⾄]]=ۿ$ !h~(m؀$L΁8{h7.G<fb`B ~ {6 :ߵ}?? UA/n5U5|>uarz$Zh<o}<uҔVa9Cge,9VX}6!aClJ$Vqvy OHMQ So[򋘆O%VۍoJ̯hheH3?CEz.7 ז}?eZK2{Ng0agobHZFe[k}Tav$W9Cu%SB 3Hb2tOK0/a8RU\+"u! V,\Nt,1gqq@lts$ܧdo/B](QƼQx7&Ntek$.4K:OS'o]LOK c"8[6^Y$2 -=5U& ؜):5VbV\f2A¢{-nf!|Z"ǘ;6BuKon8SŅ. y^dׅ9l{\M^*E3-/)XbCQ"b*j 4(&Ty{?f9G/RjMewlY$ b"lC?_Iczϭؙ4zR1^MR  ߐܾ(~"]%7rR\nsDu9oٕ*5FCGgVU EH种SETY~٧(s9hx͢Z!PVaa5Fuו%V$=0P=C>37QDrX"~sJ6taLɞkDd'uj=:JFP:fgT2fr,_ p[:J+OC-G (:l/PX  u'pẚJ7z?~ep1+^+;r 7lU% @ 6h: ܙᴺT!4꣇.>V4˂!lfe7 ɀ^M *K?T ͋c-䷋SJ拇~mq]D 憋=ʢ&R9 !Լ׋:sNS!Zɐb!)Q{zK;}`nVTlA 65,<[fI Z =`]|BÑbޒn'`0{'p|71Yc&R9!F4%4aI<>&k۸RhYk $|̇^uPi<5'$S&F,4a^ .IW L\Gɞi#/Tzp-/ihOa@Bg $Zqv҄a.* ژC4T"yo.ɻ?dzԽ'hc?1swjB(RrML.11(7FZY2ýAk^%qlQX'DLAK<PBAH (X%P#狵eyFt&g?gM:%9C*fB$) kw,Xj_ CCx!so+VQװY#V_z%>*U{Î9\V0#7rSa\VQWd~g04M%,; ?C`!QVQuT60(Q Ѻ;Xg{:3 ZRi:NQZpAo嵐KǹĎ;vl,j#x϶\`Pf]J7B~LU}4B󵠧PH,A6`!TޚUY7vA rNN0\ )uަ=ezr(#^*!0W:X ciif pu8XnuB  FFج>4O Q-gȵv! ЁD0Ta86`2MIɪ؍Ko&,7T7IM{2 lbۄh M( LA ۬G%iw[`0ԷԼyv wR?)< `\2d%K&ki2҃#OaO/ ^$I6s Dk282 YmARo,8eLzbQPT#D:kT<_Ñh59^w`Qg4{'iuUKM~ C_hpidњ/!Z'B,2.·[27uV¾(` T!b\_3wKslG!JnӿO&fL8#Mݢݧu"ߧ8𨠝d¬"0 6gAдnJ+o-Ԕ?}KD{$`J+MG$oJ `au1H I<]@>F[ 7áv-Nַ۫Jp\2JTȑ)c)ldϴKwo0 i\ݕWRrÊnP%i Wɇ Jq*zb Xv[F=(FE@sqǵ%74bw L^Bl3BfVN1gdA~$X8S[#{eSnQh]ʚũ`PkdagwS?[ڸv3{IDuV?O56Hyrk gh] %\TYJW&H_7~B]xuTfl w7"rB^t[LS#+4KAjr̈E.NzR٩Ok 'uot|(-#a3>$(y XgYZ0a0b1594a53731d73a4c15d886ffe888f2a10b67c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 5d12d990b380916ae4d2a60382e76d44023d548e 31af6fbe992d84a9bd2fe141138885957eb04f525773173c57746701849ae568b43daa93b1258146