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 -t\Td ]S]Relation_Algebra:threads=4elapsed=16.898cpu=52.888gc=2.0647zXZִF! (]ŗXiɟ fftb:u t`$pbKTE[sY_/;; k!|C\i@?K;~&~JL(g#ZKo&Ah-4,!z7z"Љ=6\~ާ3 W({g9aM/Efоp#kIU3WHZֲ <>`&4*O@ |l63k5NZ꺼%jXv)9yȍ2d|Ocow'vE ٠,A;ğJRM7jf)^K =QH۹@6>Z_hv+/pg= K;̋- - Relation_Algebray-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ݣ$SR|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|M       'o H I-[%Relation_AlgebraRelation_Algebra.Relation_Algebra_Testsdocument.texS-o%Relation_AlgebraRelation_Algebra.Relation_Algebra_Direct_Productsdocument.texG-W%Relation_AlgebraRelation_Algebra.Relation_Algebra_RTCdocument.texK-_%Relation_AlgebraRelation_Algebra.Relation_Algebra_Vectorsdocument.texJ-]%Relation_AlgebraRelation_Algebra.Relation_Algebra_Modelsdocument.texG-W%Relation_AlgebraRelation_Algebra.More_Boolean_Algebradocument.texC-O%Relation_AlgebraRelation_Algebra.Relation_Algebradocument.texL-c% Relation_AlgebraRelation_Algebra.Relation_Algebra_Functionsdocument.texC{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.ذmgYZo/+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 -#' 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Ȗ&#PgYZ 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ݣ$SR|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 fc  e-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 ==@-]% tRelation_AlgebraRelation_Algebra.Relation_Algebra_Modelsdocument.tex7zXZִF! rn 2]A-MՋhvG"uIBm5ť}(ܨȄ,l-I^ƅ)7~|1Lᑢo{J93|;Q/ׇ3J'Q0s老O91BЮ]f[eqއ?-rѷ%Qa4YIhƙ'>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  I-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;m+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 RLAegYZ !-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 >>?-[% 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{IKx5aoe^8-"Ț&g޹`kQZqlj8/Si<˘.E5SLhN K84pK 9ţ-V+ǚýv3elw$w6_`i67ED~Y|,VQVZG>o}2$A=2*gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%֓ b}G.:2KLQ܂HIof0$OL=GۧR|q{(͙,&F@M9fh O;)ŧs:$&zH6c6\ H'j0 Go_/iWO l M|ϫr6KD='Gh:,gYZ7zXZִF! ] ]ŗXi%BzOتUqYxUyY=)O}~F>RՁ7 #{KW/>U$g_*[[ymPɱg!B|#fª+C\6fI,}vMH/X~|^Bl\KT1Nge2ncn>[t\X~WZkURO|w8gqN$.=F*Y_ĸUvflzun2HE\I'NB+*RE^ І9;{EDc1O.lD>(A[\jFgW=wX_#u ^ pOrQ2biH;Oلr/qh Sy'Nm#dMmޫMIvMu, ," fwc&a-?{gmlh}.$l4x[o|N_TLR~T菗 p;H\WWEPmƓg7)[]4̾]]hj@DfGX'W^({ ) ,eEe<7 D/ j½&lW5Ift}qq~ǰ';sՁ `bki.' `#\mpI{yWEDb2Ms) x_r,y7S;jAͼp2U_ZCz-Zr+Afb؜Z)ƻ~KFm+R w|HxKuSeF3|>՘cQR9Vv0*i Ւ*ue Uh5UE+U~ȆL|:^?.i+%HWʄ^ܙ'W5#݂/@Ɲ x7b`N6#%ja3fA<'UWqw!#_XilJ3tgn'n/2ZF"m IbO'E;c*q8eRJ [kK E{tՂY_cƑ3Tb/ҦMaQ?\WMK ~C7^MPs=#7RV}Ljڧ9Tߖ[ c;0sY1C%N"ɘ:٭bGya [˅1y^Ep!a(ղJg-.mW MUUs-Vtׯlo4+Ĺ;Wvvt^ŋ6?-{Mhsiy%C\s!fuY֘O޶ue1=EcJCW B+Cٲw2{xsQU9y (%HGA+i᤿Zi2gRae{B&\o^ z_T+y'; }Z]hY<$CMGNN)J~=!NPM3Eޥu; v.ᮮW·? gYZ8e3ebbf685f70898e629cb42842a83bfd589d5d896398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 a62f3578bc606d22406323ac6305318410d08961 9aa1cb5802f7a11344caa96edc9269cc653253480aecfaab81b38ed98d0e2463aa3f3c49f0ff2c2e