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 MM0- D\< ]S]Relation_Algebra:threads=2elapsed=26.960cpu=52.228gc=2.600factor=1.947zXZִF! Y]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn yeT|6j"_9YOP Zɔ U *u5NkUfS!,%K/Jx(Vl:πQޣ;d@3~@L`Qmײj p8݋j!U(c\vRmShLsv+")hҒQy`n_>:C9|TC6CC8NQ6l}B_\˷t4̟]Vߏ!lJw'6v ]zsVصUo!}~<@YYiyz}t"bTjMHoժPHi s{? 4[|_@rJD$hWڽ:ocr@gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%֎M]8!@Bd~=tSt99AwmU]K/boo9lqEvnyb Ssu>gYx-i$Æ/Գ⣾$/: A;8F\jz9wDH `)K}:f #BE@/wNB65ܲl5S51vtQE$E,A.Bg`hG9\\ÔYh-BPoLVG~ ,%.&{$}Crljdf(܄ e60<հK,LXB%`_/b9Lz'0P 7*H$;u1a'/ b#ui8VG agN򛪪V ͰRQu;%ǚgpE `}#As_:w\B^ B[ީ"5(Rp}<^a ET KS4#m&x>Xc {?^1]zȻF-Rw#y<ÂXG]u>[JcIr2ub]MvзBn}*^,"Ice#2۠*7}Bw5uZ&WTmr 3qv4̏Zz,:aR^yފH02nFJF#@k[2ǥص !-k2B]< +g*RU@{>Dp"8}* WJPy\H3 })iFQy_A@5+)@]fgM^>VEoE}J` xӲ Hl^yK`86zڿHBJ8hiuY?[Ps`(:_JDMbyu3?(naJFGMef U_Yzrfݺ=$ LGX}/2 7C0gA{%73U@!V6L~g< 2}S_dWÚ]:㱰?t|˛['Ggqt)5$(n(N:aFoDJYZ3̐ZG52/=3>[cp5[@k$p)}l`6R6l/m1=0:lۄ_Ї,6>TЗ J;&EqPYyGq ͂n˯VjSNۅVxO$R)XgZި>QͯԒC>P?kOaѵ{Qcﱸ &]P}r.r T]!@5D޼U`xA p`]{lN..=h\- ڶo)d9rKړ6@q3m/dgs&]}K۾ {CSt+۽RgܔGᘩN>4mW'4@T9fkvY4t26|)#D ?gYZ5ccbf5d7b482aeb436e18aaa22b09abd3306b3040a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 d6eb13e4ff6aaa8ef44fb02e2f473957fa623823 b4247c28cafe7078445bd7e51da75260d92440fcedda32bab0b71ab5eda087639086ac4dc0349e13 - Relation_Algebrah-W% LRelation_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"7x-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]n6~ŭ[O:#@#{q gG"L&Lji^8.ŧiԖ7-=/kes-Ỹ'SmSog ?8 ;!!D7:yԿ4uѫ2azu#hQڎ=*3X> @b,rqfsR:qg|rBk! 係-;A;ٷU*J-nVЗkmP7 oMG ?D[\Q7ƺ ccrǰ02^aܮ$#fȲ0iÊ}dU.anٖBcZlXn.b(ji"hm#޽_0(Bw{yzm)7G%߷B&EB`}}p@C/&)d&:7P; [dS&EԝvWq>Z:tOȽ$ D6 A 9AaCcÜ>>us}Mˬ!(y> g,c4J o51Vv؁9-(]/l_ȚԐzEGAVB.e2 Ӕ -^z% r U)D;gMRÎ?C>֐e6>x(<       u' A K-_%Relation_AlgebraRelation_Algebra.Relation_Algebra_Vectorsdocument.texJ-]%Relation_AlgebraRelation_Algebra.Relation_Algebra_Modelsdocument.texG-W%Relation_AlgebraRelation_Algebra.Relation_Algebra_RTCdocument.texI-[%Relation_AlgebraRelation_Algebra.Relation_Algebra_Testsdocument.texS-o%Relation_AlgebraRelation_Algebra.Relation_Algebra_Direct_Productsdocument.texM-c%Relation_AlgebraRelation_Algebra.Relation_Algebra_Functionsdocument.texG-W%Relation_AlgebraRelation_Algebra.More_Boolean_Algebradocument.texB-O% Relation_AlgebraRelation_Algebra.Relation_Algebradocument.tex[h 㢞8 !{Gxm'Itl|FCZth|H$uzN˒S Oq-_(nj7  bY;qMC[bnڗZNBpb0ߞ/^CͣC//yĭ9 #%J e++d\$20p  I6LQ;wF ѐVb7\A< ɹ="`M(O9^iH[s}$4Ej8L($=? BxͽN_7=f7,TX#s-8f=v2.Sѻ)#~(bO]~ far<3/哄mèneISN[YYୱI)lqw JDyaw4o1 (Ry/ a){2;C][CİY^c{Ge4wuH. /SOHFw]1SYA_oԷpwn7]ea%cNP Z^!cD_jW9):N U)w^|ZR5lH~)1vrso;pFLFN, j&(XXǹ;uN96s8% .:ʺсSnm0w [ PsO/" X?'êa3gEu4tԠZWB8r][4z!œ2/TX $|ofMVnee+)ߜVRמk,+TG|X̋(3G xE W eޞ6L&®G,lU`6ؠVQĆV;NۅAD ~OGm\y;.B.,1YU{9.MX6׹Ka'a_dΩRep2 &4./\&S*xD0;)`9v$I~DZy-42op;mEB#$լ $ྌ#TY[ʶ ž|ƻܗD<9$n=8 :)v˙Oyǜ GjLVJhb+Z]N2N.cO(!| Skoƨ3FXun'Tbā[>GZQ.47N5H [U mW1#~~*o=ww /4_:'<`B^Ym)\󨊎\ U TSGlgAz"2!Ҕt!'岲c4wxS 6f-zgw.Zݗe,Խr!/`>ߥR!報N}h +Wv<g͘\&+gB*v(u٦E|ї$l7%߻CMNURD$2?0ēst9tc-<|=X` :;Gok)ۋetΝ ./W!ݸ9& >"4L׵-][ .nہA+qOR!I5\bD ݥu%a@\XP.œkArV: ffd[02UjM}Pz-#IAv20H*&lFO{Cʡ͒;["ySat ;)2by TOVvcgp!=Iۄa"VVc`bvuq?I_T2=+2liU2$$ݭYԂ r EW|e9UAQ^/Xȵp#0$u)^"g/?,4V)D+B"R(Pj85-גYoW,9  A@Ƭ;ֳhҘUz2vMfRzOA0Dgax G@Mr1Eue14=Ex$h/ #yM Ѳn:Շ;☔U#=Us-QAz9em=Ȇ.-|"TmTu₸>>D}d)ɣD6RAkӛe^t fz|]خP?r2y= [ä~gt='յFt,]ɟ~n0}9;)ͤ}R-يZFNfGI~Ͱ{"v=jqtTV(cH:#۪1uf@UWc`6S&C1 1@ <wg8Lrxz@\j-|RAtY96TW̙x5-P&P%}.-D ao{9੽WBj!,gYZB'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 _KezK bF N=Vכ@+u2v۵ɎE7K՞n Mf3VHGr5qmA)2mc%, |nzVN13q.S`~!O AD7l0SKLy=i[c7DX#YO "I yGgXl#,lFvӂrDx\HkvB@m"0zJ1bo&s~` f.<|[ps4SYZHͲ8ih1sR+錽2Cmͷ ME nћݽ8\0|rB&?#macҮ+DZ{k)QOTxꐜϖb) ʍ^De$8g](ȚQ&LFo< ; z rEbT$9P؆leU0)=3I9y>U@됙Ú0sM:\a$"=BD3y m# :Q , 8`Ey"'n5,_Уݱ1G{xߠYc+FA^ah_ k(b8@"%nZbyxd )~gHG;sjBV#`a`֠Sa[Ag+Oi-Fg{"4iֲȌ3͍y vsR;f6y,KH{vpa`cd⺻+YEE^v{n`41FDRx.j&~+9 h3 avx|Wioj+ʂ9x;̳: K HRVauk8A%g*8Q=Rnufr6>˽}uoʬO!o˴&ϭbzC!fP &\,DmGgsV ŐZ*!\N0>x#`n9Ty%oxj} mӽsU'L^$U$~Qpg:ɷeh9; f&6jȣiQ/ʍZEϙ@JF6>\\( B4QX/]gWUk9’6IEk.%YeUD';tY(;m|rBuY̅nyi|֢E~= DBM&Y:1b=zLt#eC- Okm- dds}&T>#ͻ(1J }b3ggb {~sS;2Gj#IȬU!`Ŵ*9tE{l40fo|*†iZGyav&`5Ke$I2fELDGKsjL$&@S\ľ4 < =&_2(ݢћklS83PSezwiLɮTт(c2gn+`êhZW(enWI4|\ @Paf]ˎbCw^{YCQܵx&MNPWe4:7xqpznbr͏bpE[\-by!g)F0n |d.gIbx˨\?c@ x  jk "݇0k.r[\}cҸ~:Um_>-qD~]T&I5gKPѩp33LT9 ^4>s6ӏ)fvmxIJf ʤ^q_k{=zz>YRSl=[><cʛ(gpQ$ >|xHpw@PԍX8洮_l3=UN5x]֟+<$N֟ h]T ? (ihɦt|:0~ta<mZ"h1rf: g7rՋKU,LЖq|WBlu3.@ eh6O+o>Y&\w;FFPtDڎiԺk6`z 4O9M|oمʀXOU|\IA&Fa|'x{{SƊ^xfIKKmX LNC9%m$WC-]Gy(7<֬(&wz)4fi4ytᩉ 6xEB@b<ƳRv%䷝ɲ)%|h/s9{Ob& uȢc,䚍q$(Y22ߎGz`hH|yM 24*/*Jg-M}B2lW1td/3 0}y"qq%@Y Qd\;|O "W\_l+ VFYz83+ʁYt pO&  nh?@gLَOsW/tnh# -hN_FSgS& F1J9\cp%/ i#ĩ6>P]`LX!cih?RkJIc9&5iѬ?/#\2ZB ʦo/c4=LM`^]6wh:k"(<B$2iØa= pmtCS nTMx Ŕ8 ӄX%AoN@}b!533]2Lyn@@O;jĽMEyv2̞=w{ORl#h]9'ct#F]XL2x BOs;nLwO2;D];_:xH*5!DvUP8v#{͟;BFQve2Lq0uVHRyE"waRA:9e90pGn{ Sѽ27~QG(PS0 uJ֧S-mg١?ƣm ļeUqLaUh/u`s{U x_@7X Ԧ5JԲzMŬ>A㲗awΉ[ԫpHCZ05 ׹!6M `%޿E.SgYZ  } h-W% LRelation_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"7x-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]n6~ŭ[O:#@#{q gG"L&Lji^8.ŧiԖ7-=/kes-Ỹ'SmSog ?8 ;!!D7:yԿ4uѫ2azu#hQڎ=*3X> @b,rqfsR:qg|rBk! 係-;A;ٷU*J-nVЗkmP7 oMG ?D[\Q7ƺ ccrǰ02^aܮ$#fȲ0iÊ}dU.anٖBcZlXn.b(ji"hm#޽_0(Bw{yzm)7G%߷B&EB`}}p@C/&)d&:7P; [dS&EԝvWq>Z:tOȽ$ D6 A 9AaCcÜ>>us}Mˬ!(y> g,c4J o51Vv؁9-(]/l_ȚԐzEGAVB.e2 Ӕ -^z% r U)D;gMRÎ?C>֐e6>x(<4'kq~!\257< ^-c% ,Relation_AlgebraRelation_Algebra.Relation_Algebra_Functionsdocument.tex7zXZִF! ,O]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{ڊsjLo;%T|Lx}FVN $-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ךHnݙӶ KldžUKAfYhkL:=H~"^m4H3Rq-~/B[Ou'< &0˖$iN1kW5ؕ1f%{4F0V 3u◦GWuD56pje<7ĝO1䄴$XZ#Z]hgopX3'nܑC4^ia í+JEOMS/9(/fK 2NY}>N,ȝ`T׈2%w\HʼZII °٩qeFtg]`KL)w%y) ;hpά/2"YX=Ll&Ikx,)B\Y qfP3_a$wQzҷmloZ9Pv=A2Jl؆j~f`j\C` lQh'u4*v7?rT69^n w7lmşN#C;@C3UB$5F/8/)_1=$g5 E,&=#J<&MCLiZ׫XtڅKt2vbvjfA(D0d$Y"C۔&ϛ]v{/t*Y,dPvP;>#gYZ ;;B-[% |Relation_AlgebraRelation_Algebra.Relation_Algebra_Testsdocument.tex7zXZִF! }I 5]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 ZNk81*~ cyC8uT%xڸnQ:)tgi8 "M,Xq:l)0t:,hAHx`9ҰlR}8*":]:R<0\ \Q%7X9%؞BsZA-@rJzgFQy* P; bpRϹs;UMɑDb' %n[uQ׳hKJQA0I{ pcdT&^[x9LU44^-x 1o'?$-+!d Xɼ?$5DZ;KgePcHaCxh&͌{Egv)8`,R"OUhԤvn `8\0Fje', "0%оM! < +hM޳kdJ.;훺$Vhmy&ǂ&oH KceSPeTġڒX e__\f\{ }<= LH a5=9l̞ /hBx>Rs~ZE nUh}LQD.̈RUD>r( =VWѽux^·=F֩ h1Rr> G5Y1̓Bw-\ER}IG&t_vs.w덬4=[.'AamlУwJv{u( )1N@A .{t?? V/wG-z`mv"B-ƧfG>39+)6Q.Œgu@*3U!F!-2==La@Vi/I(#woW׵Ic l7UkT"=F/[{j_L+Gb%(yP/MgYZ  1 1L-W% Relation_AlgebraRelation_Algebra.Relation_Algebra_RTCdocument.tex7zXZִF! C]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ܿB4AήoD>u h~Bs2^`&<]XposHbhO-$aO$nd5*WC7]7:EQNd}Fޯ? rl}khLx\=Dr)Cz O^ICP|zeY,ɉ}6Bl, be 4 J =VbgYZ ::C-]% |Relation_AlgebraRelation_Algebra.Relation_Algebra_Modelsdocument.tex7zXZִF! ru 6]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ͷL?4J~A+kQx, bP]F|X/GK Gojg{f*`+{Vi /OJ/Q&e,C Y.)b3)a=:G>qzH>u - F6^k@)镹u@;|O+(.wKi xP"|Paw)v¥ݞ 2&n:0y>& ƚGp0p^V~;FZodfE|)7.Ф2툏 :|ԃl wx@UXC}#y&U_g0 J>!.tԢ_hB'u2ѿ3RJm+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_YB0?hPK(_6U RRaxgYZ