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 ppt-zt$\ ]% Relational_Paths:threads=4elapsed=194.160cpu=411.944gc=27.0207zXZִF! 0]ŗXiɟH)0!h^h))p hVXH5vWjɖ1?X`n\ʓh͝'iaBGYc͗2%FYvl%;%Oo+3`WÍ!ͺD jyrݞo5tAoît{hS haByΩ_U/۸'SYC? Qij+A;^jCC^FUyIN>šW.%bKb#Be1GrB˂8 ArVԿayl^S6 Q jv#BDU&}rm0rdlE WX*{mIYSUE[p/3I;޲aEs*eW{mTBq y䐰h{@R~IC, ΂ "GY4/L8VX'v[^ Rpw;{[;v "%ؾi=Fא@XS}ǜm ҝE_%P9s_>rLpk \uM*#Oh|In%#LvDKDW-VWB@lkXՖŹl%yO}Ӛ\GFц/HT1o1. y98Pg&!%6JZ~YtMAlOn)͂{g-Ǘ"vuEt?qNrif?xaj 4 ?sv2C)I-Hw My ̟?TWxܳ'+ᏬVPrt%¦K1E ibaS% A?{ V/N -:& -WZd#UsܔMB rtZͼіѶ .v Pф[@,v+˩Jasш2p'M S|e"Zyif۲u"Doq ѐ3j[4ThQ \?)8S gu &ÛR~l>:ŝF`[ݷ/o%+e 5yq ~$\_32MHaRtt(턻f3r M,BqU7>?c .[ !GM2&`ό, 3YH?qe Σ ;Mnˎߏb5`r. C QU r,4C V]]޿mǰe&J5\[h}xo~ajV^\=H%$0$% cact޺ 8Tuz++9L)A.=C[jܕkႹI5?`X4 REHf ; %\|Cj>eEyVU<fiT7\0KFtoD6/UhK*zvQ6)Jۘ劶'q˚ܻ1縚y? k ނƹ][hiԡmsb:&X+fa^Yy髂?S* "~Ȩg|sλ_A&;`zHƄ1MMK,7* byi5w)/YkM~iqQM1@rQv߬Kb!ݨw_  BA-EɚkAi(ί2Zh͒[MNk爫iMdu^pW80Av'|2-mWF+w;Z?+ _ʑÐbmX[T^g&^mD=(A}>-.Vw:XodӈbZ7 !Ųv*![͝QG]}ݾQ":ij]i`݃W'*6SgW~aoHg~d6*㤕s#1JN, )~@A9T8Њ*:GcVE3cؽ1==̺^> 6aZVz32'UḢjbX6Ug<[{o`'WӓZy]4[]Qj7ZP !.T}`|"K,Z9r%W(6H$Q?+(6!ICRrǖIRZD?lU`*}B 2* *?f B!wo٭X+oȜȺ7eͫRZ m+@S`û̫4Is0^8RmJ$ɟ[Q;AR͝6F1*b/Rs9Xߗ=^o\N1TkٯA@*&;W-]˫Јgd g}rs޼i܅Λ8`ιo8tn`[z4:񝅰F^ɡ%]sjIZ@43_|Oy8O*O*'}WKf6VPq,變d7srDa8Zƴ\rկȯl L\ V5eduzko~rjf^@g)T㟞o|m}Q r⤅dm2+ʃϢΪ 0' PT̝+?=+XYu wF!}mE"Q^Kވ,8Z |Q껿(%@-`7ԋe[:BKd='`)G1vd{hZ7˄CgM֎$ .e ?hVO=+ǖˀ1\U5V嫱~쒉<{kiji/>- $6'!|l.6aX[wu k*s'M@ekT7l_kK|@>I77Ov; [mn1,o"=z}`݄k.bpo>g &x2HIkHF3xvjo{ƺ'f5~`vu͚i`=5(ƵZIQDQ=Udl·-I|#gL4&"5R?pcۤWCV 4w4$ȟ7.͉l|&faۀT_@-cO|lIdA5ɇ$QG UBpŷ|$і[7tΞ)&1G(o> kUDȠ,+ n$IK ϰ=WUw% }?L8Du}ZY7R3iW\025=w ;ʼ}Vnbݔ]^% \lx-1Cg=_E ߸<^ݴd~dzFIܝҸ ZcN\# Ӗ .LC΋ 2>qyȤҡ"ZPUCoM3#ݡ\VNKH@p 4ڂC`}7zOy:ՆΐA5a5E^(䡗2S w] 1.}Jˀ*jK ßMZl F'X~SoW!rt6wd$:qVOA'^ УcIfϊ^g7)}Ǯ>Ex2좉{wC`G(^]Y%mā5EK6<[lJOMdXה y~\ae*QW -}TթJ^ ՝G+hg?{%E"9h%[8{W\s#ۂqDF,,4 D$AΰjlBZ 8] ^şsb/Fdt?g ٭R#¨sp2tJJN6B9{}˰xtt1]Rmliளm:lSȪ@kry)ȑKCڈEG,x._P?ypw݈X?=Yٲɒ3,I7l?j0o[+c)̩V#U@hC(Ed6}F֫H[o=yg )R>hЧ♱7h\9ft\$eqtUuީd)˖ɈA\8bz]4 ghR}Mڒ1 dsrNAY}>±Sld*Ci&/tXPTEk tOl^?36zሇEzB`cBeǛyCq 6'ɀ1{:J25հO+-$F0PM.<͏x 0+0HtLw]gQF~֝8 9 ¥Ze(z9!"abϽ2C1_ˏLM݀*w EDAf5a$ϨYVAs=5M+٘T7|$w W*d4_\q~r90@ ;X<<>UNd)bSۀp i1Я9O)E K0[M`t,0+8*t ݓq-,2m@QԪ]}4_2{Ȫ}j:nJzh֋!UI@kb. O(!%MC+emEx|XV-ij6ء-).+xD^ [SIm\'Yovo}/?:v}8%*E[*QLxRܾ >688KOw,E]\[v~(G2 i݅jعQ@{W|HUR_mj|'>+nW"r)Ҙ&jKzd~CK^efh|(E+lQ},q  u28-9%Relational_PathsRelational_Paths.Pathsdocument.tex?-G%Relational_PathsRelational_Paths.Rooted_Pathsdocument.texB-M%Relational_PathsRelational_Paths.Path_Algorithmsdocument.texB-M%Relational_PathsAggregation_Algebras.Hoare_Logicdocument.texG-Y% Relational_PathsRelational_Paths.More_Relation_Algebradocument.texf`hbuKcO4ūGg$& X.W\xFpGKώb×2 zmIg`u/xJ-8S "pQ3h˞S4S=@PJAzp2YR(?m>Bj[%f NG{ 0W04SZ#`\sӹ("5U/ > S@G3&к+òO}'~4df#IU ya'NbL)}kj)׹d,+-𗒫Ѱx ain(f&sQtcPO˪hog 6ZJ侐tyAᨶ^c>(k%d ҇UHJPz`%59iXpSE|FIp2#Is2-`;,>ʁ ``Z&XX_vS*ۦU:lV?;)(]Φp 1 ~=1?c@Wl'qrl^6g8؇3W/o^̓ Cu2{k*A B24|SMP۫h@@Só+i6շjV {a=:DdN.Ct#d/i 䵇&(“SnfD*K1ko 1doq3P HwqBtTDq@ӳcZƣ?"]OaX{ݣ:'~ #^k~.2r -N1*5fLK5H6c"XL&k!!KB)A mDZ}rVyXVL~4*6x‚p|QgIA\Lp\SHHp߄50[@*$gO(LȨ> ->RJ;43'mlI.#5BM8@6 w6 qN5@ڼDŻ1%B45#LA>VںED{H5[_ߛ UK?'kAa~٬LH>:(y5<%K"Ng.r&{ql!t)0 j򵝚.C3yBJ?C局$jDNAzv=v>3aX+ ۨebc}7xeQ NI.S * ?3J6_-bp?o  TqWA9#a 4+!8Qu>W>uL5đH,pdBq\tV d =VQAmJ< k2-ʶ9Ɇ' ;?KފBmSX,<(؜xmx lͫf$)[ൠKkU1y'{PAon!P&{ Kd\!h4Lw)1-9/ĸSޢVjz6ZLL'wa ej\JΩZ_MŷW_~-Ln6$驍#,ٮ]M {\="8` 40CF$fFZ ˶R 4PnJ"ԚkkɥdcYfv;[-ݡsRRȯi{ !6bp,۵$R\Ԩ.AZO.hR!;˓X6?֝fP-Cl%@ o:pMcW~Ƣ?4[P#A[%- 8II 1Uc/Z|ܹGesU<ɪp1<7u=3}IcFdjG;6혈{g12h?Ks-j+DZaϸi7X]&_W`ʥ{@GbUe{6Cq jYݭr͏j|;[KZgAw+Y0#1V' BMSn МdZvׇĒeq73(aŕ&#_xslMfqD!ໂqp^4SR3vz0|.5Vj< (K\0K&!EutjsXyy͑x TQkv%7V o2Wzw&[w0N aNxL<`!T;qvo7e)kK:x:~ m@2g1s|ś`Y~1v9WV#B5׊u@nC_YFƕaRG.>pa=ys|oˑaJ=XM&41p1@}X"ώo#bIhį='saA&[C9R{c#*jW7[C`r])ȟUr]V ȽP/]*V@IaEW\;+j$>0Ѥӵ?sǷ.d8uOlDa\7Zg3yp_5T炮:є ӏK< uיGLKơ_{ZQ3.DH`b}Jh[cBhڢw (**9@ u9^ "XQP@xaI,43+:\b.؏=cbP&s9qnj5X *-w@5n$с/}[4:o0sШk|Y؇Rp@Tޛ+ v }1VQ\NvXb :TKLg]fü01mԿ Hn1B%ZXrA1lls_evޏsf~R֪hk@S<8I t+_wc,n"p.KRD$d ac٧6X)H AXWF׈-J a6g#~͝j X&U4Z?%%MW:KmcCl9?|jhk5dՀXuSLPYA-W)R xp}w0-qLc= ѣC6m$\Ma-~n Bܞ:̰ 3+)#B~9P;^|/mc|%lKXT@ QwFEe'KX#GF5ю_şH qyDž$gnVX|i̒ȹHJ`ݤ(_^0(e>Rp85etl)=♁E-H)vQo7>vj3VmpD^sCd~/<5 p|Bt!@(+H_'گXSOZ^gW>HBUMl |hY\jW W$Olq{+& H$%aJIl\1)d.Ev"`\mtx>ΏML{jF?-Uwc@$$jF,T:mٙ!9H,L |3攢kGX\wϨ5d8.Y¸8 i62c;NTQ ,ՉSDV22+c\*uǰr&m-[qu'9+bF,7ShF(7\TjeU#֪ۚ>mWd kwʁQeJFYyү`wC}T CόMmPe1zX7)k^K._@HMAD'!a!\-P? ^*;E6NHr6`BpMLE5v}GFF˖ ~8Rŵx? ]lJM` 6$æd\~z )%fc/W1wV^ͩ֍<i0]aR Y }&^e8O< v;zf9&k(ޭo#4=)xϵIaE.Y0ЍLuq>4 AEeo/2' ?s55inU  /'rrE㥴xFxsXG]g{B}eeH)9肃c=:0}'A;"Px)sNܶ^2].+uu*{0&bJ>G{ E/L1 -%n/Lm@:5=)}jQt΋t֠P}V7KSlٕ(oyB/ s ,km'٪(EzD( ()8է1jXsX ~\dۼTW4!H:^Vw-ytـ3\OA^ лI<[F2Ta=yzVv Dm Ҁ1BKUN~S-ٙ9rUwQ@,U'Nׄ bufB`5?wѴ!{cTTAmzr-.gJM4S[ݡrD@y^U!EOxwn f(%g&R Dž%iVhdNoa+PP sG:p5ԆfדҦ&k5Xm2 6}1߲şm6٪zO08 K71Կ-[\ɻ']IcSrߖ?\D,A~% i%q"ؑUݿÄ.HX6[q&Ɗ!-VmaQ~Se"K2˝>*6\W([佀 I< P=REbIx1mGË>%sOSrF֒1W4#M 0H ,=t*d. ]4-kg_ 3+ȏklT4Fgڽ!=A4eZ>z=fBƏZ=+$\}sOzH`dCv1lgaؑrj-'U_rIK-]bw>|_?7$Q!NmXY -?vouI2 .Kz kS24X5-zDsZ/o  ':&Qm B`&RzIdI)Ǔ4~Cu7=PGBj-RTyK\OiM'Ӂ?3/6řDӐJTX/evۉ5#YUe|J7`1wM_DԟAȠoy8҇ΊZt+T_en kцOr{+.nhֲ-g<sJ!O ,Z㓏ߛՈa D$ / v܄ ~ <9t L?FZt-Znތ[ٴD,ו2J[^ wÉ;z %$*>7@ؖjъ hʨI&$ɰMpJJQE3DzauO{<> O\}$:.,t]!&U4ۇ9T lOv%i7̃N3g)&QkopS)'oYn|a LWMͪ!}p $QRxpmRɿ_/8"%fe{6NPUN [9t*IE#KzG MI? 8 ζ}2F ɕ> AIJ\[Bv buĂC2<٬p7"#lo*I%tB1ʙUwBtQlZ#{2%z݁UbhKAn,a?x ΞSaR P x9Ѩs`sc'0D@*#օguNYXzts0#V53U9<”șNƯ!N)$M8L\'=F㟅ʿ0ؤ b'I+Tmq6D:,U8=5a>Y𸛅߇>Ge+TOHFe upL ܗQ/}<:P qΝ5DJ9k}mS=aayy^.H+Lad#ю-~g׽[<;l3],U-*};oM \ET@<)Ziw6]6+@ZŐU(L1 ݅ FNdDaXXZ`]HO,/(H4^3΋ܪ\EFUB JZ/sDW~g6ca%uh.tЦBө?, wٳjC*t[+8)CNrfd'7Ek V\cYU0j*!\lCn'r,ofXZ3@͵0")۰JaxCW!؍I  cs:Ӯߎ (eCc莙P:O-ϐ` #R{%ejU>1vOr A12aZAHJP\qiHxVJ:Ӵ+q./e0z8$9ò1^lM4J̮FU<:ros&t!x*%_0̴N`t |ެbi^t=L$ꜺUW޴uCa+vٽ)B cEs%%s!;/^F>ZǃpvZ3#3j7%51?2xկj h#ρ#vY(. U{{f jI )'!8H~}~CK=ߪbD?δ/_RTmO/Sڱڤ{\QWsyyU7t:agyRԌ=ֶayJUV=7lM_}d™_:Bҕ3Fk3fl&{zhMCnӦNkYӑi{ej ;w1R* ܜE1jJyZ==WprHWr*J m(r tu YYφ#'k]&{Mۘ=k. T6G>LWѪ[2'P_"1BKVFU|&V+HΈ^_f"Z}Vw:Kj =*cuй2)cBS.L F\zmJnWcGkQZlruL>^OA`cR9)7ߤ _5B/)Jd7u:6S?Tpy +3̙ ZN7n-)a2* `RF17*4ZfZ/@h>>0a/Y?b6D"URV0oMrQj2,2{G唑_o;;aFq2"k1b ю/-edMTgWr#&|Z" _e-9'S3D+-Yp݅ Q¼FsA^K)Hj%Bm=T1`Q,hyL2܄o/l{^7^}_{u^ 4Vl+A0RBn\ _HY)A8\6Ǧ &;Y[(Q;7RpՅ%IWI+.?B;˟+S&5Qih'`/]QLWPJ]J ZFO"e@gF C8“o棘ymWecˆA&6H ܼ4C9lɦ#.Q׳gނTщ|87{q/n|u[gQ2e>\6$Y6'a+ZGHɆy{ nٗZk c}M-hoS4')3't>n ʅalj^lJs",2 |!v=?Hp.7dYg?z˹F-|Aɽgϔ8gU[+6!ǐWCF[DpKL4d"kiZמ.F giP;HDQQ['DZ~S($LWgnw:ՄkE  .̲^r7]K΁}ښ(:bh(`",eم*Y6b4$\ZZlNHA`vDR:.Ή`ҨH'6hۘؐvaj!)o7 3jc QD|0˺(GC 6leyf`fx,(seDd %2@TC}D&Wշul=L~Lܝu5lnk:7 g{ڝW.RroJ\ZBЎ7I Չ}jTf U f3.VJE;S2_NjfjUYWI)8,&Eט6`Y^7 @,'""R?#&Wۖ=ȾB.Zk]+%5xS `X<1 .ҥWWf7>Xq _b.jLCr6, f=ޞy%(J#((y fŭM1ݩEq8c|rQUzB}O!^y?5+?}i!feղ EWQB$iyJ[{D;廬KGVK/utp nq\cPMM˯w_(?m.I ^ tJ@3rۿ8^:OSv?BL1Wa؀iT'}"ZR_Qn0Wu{dA?) ǮRiSAtqKDTk+5@2ܭvH2#SAV˟[~z_CT&G 4)KY0DַKp֓o6]f}uʯ Z)khSrЙul2|J<{yu s)UEM#c/o[XJTJhmn@{Id S[6l%fյv%g4]9˟_ eN¼,rvQ#%k.Iv!ܲ\Tx^(WCl2D꩷ ?>3B~p_y9kFױFփ [N38<_7{3#}7d.=%O~5J8!h޿#sLA O:٦p6K!H,ΛB!#L&-M-cJlZI[C'u116޼Hv2*m9J+]gHZgW"FG"Ep&AT[$OFVJ[Ejlw,\W drgjD"#a1S]M:3ɾ^Z{]]hrӏw@is/87NjREK8;Me? h?(˾Wv2fy98uiG- efdI]_p!be4l%ː"AQ%LybKe>HTi:MOz*-5zlkZy5 4bzwηvnɽtLmHrs+ZtXH*ѻzpґ$ɩTEMӒlǤL21O4;%8;{AHPwP *tVK*'`TJtGNڈļW@Z|YI:EHnh;C< ֓m0$Qm:ݽ;#1XڲU ?7;f^mx#sbG#.؏@yA FthäG0$* pc *.WtR%y`ysAgEc@8F?4% Pth49 F-ˊEh*)k A+)JowS3ZT[}Q}ΉvVpK8^]BGnFF7)d~bxn`.xB?ACfTO[V|߮f-͌e,1`\rA%8EVV=G%NiNW8夆˴ x>0!4tq:2R!=%Lx$':XrA*<6eY|»2Jj*I߆HvVe#n-E2Ca {=pj(vtN1 lPCX"0q&֜ W !%xgYZ <(|wfuXEdNZ[cn'~/wӀ)'рn@O&V:?[CE4 G, /(u١p30{N+KiHz~bp ~ _dQo MbsV Z~rH &Ff=ٛ~ב)>Q}HI 5җV6pv\SRkAōZf'R*=)JS[%n֌b#]$,zE)Ofϲ)_ -^}WHf$$[ǀv-f0H}eY<_>%`jk7Hoۮfe]8.0ǁ/#<@MBmyI'dbdARզzgpgeҮP7DO %Z m#+[^D'oӵè/G&J,4j Lp[}%!\5Ɯ??1I=ƣ[^}'+fD2 {JT!{7mܨj ;a5Zt<;dOpo#d')Rv8"Bә#Cԗ0]?X:ZiMMea] =6NPcyr++rku fy8{v-"8sH쾘KM@$}}+eI=LWM:nC)#.0?j=kO6\ny6}G{dѿ"mX]=l1d /yW~ &>,c(}i hS~wO u~d,! |!;z]_Tf*AՀ(h5#$!L#E8-UYJx"q/d̆k;t*(B)nK .m~6ɵ5L3꺏h1O>rGxš'[OX@e*3U9)KZȘ⇤dcdAyzaɾ 8J"Ǟl`j+NsD%'#w[F=CпB5zhwi6S& @K.ꍼ .}f/Zkk=7_y/BQ}iNp${jedL$OSO|?[)uK0 ] tJ:Ldk(ek%Q!-ri"k-Y A47ؕVe$WImitnͧ=.7ܶP3*w% ؜ay4zN_T|oPU?wyH @Z͟ɤ vIRKw7)n[m* {x6CvMd׋=7pvR a^5.NR`(G?)chPP{<OGABR.y~tg vWkZ/I4nvpmڥR32ńálgwA&!AX6H.R vj`І{@1I2灹,!EV>,b}Ru9[-nZTnKx *K@pLd< BG[C9+n~ap/nO~\REM՗^ Y2ME%X Ǧ/ǀWseH^ݭs<3mK^oM/ha3Mm" xn-m6d!"/UQWn9¬ T9 5MŶЍֻ4IC-BC#Ղ`|)⇼>+x ]D<\|M^.Ü&da*{nw<+ qvjj[X^{R.{iṶ}NړZR <Q;K'>yFTP tt-/ 5ji֎1/+) }׃3v4g&HfZ69uq^kx /lیSmjsOKA]TQ~K\geq_oŏ!i4j#7J1 a6}FR`s9w{ʎٺQBvapPXkS$}]%eL| QMƹʎK'ɗGt,KTaI !|+qT:d:uFS7ܵìWGthV3-N'Υsbp̑2u7$'lPlmk$;Q"\ò|XxZe JfÂ74A+[8o?%GRCŤC+Jm1)^U%k1=;t*2DPRwAclk9܉ <ȼcY63 U|=v8L׿adp #ɯ ~ jnUoB&Ea ܸ*hm?kbUMѩUBOa4$NT]7tk,?TwBr꾸3E|ʳ<a{Ǖ $;^@t[_@{7?jm=Nn}1Kg*X#_s~>lrʈRGjhU擶:iU7M:B,~'0'#W]}cvOPfkMdPI~( ̀$ri/eJ))pn;|ؽYKg*8g2Qr) ] wCm-+`EEL@duwR@j!f]ftOf&v`\wN:WsUefT-C \ʍ2dpB#Iո`@j_1/;*t/)|-+]zgu`>aP*^ 9{tb \[S0tf~L%^SqHhbۛ!$c!2Xf,s\e(!ԋ ٦:ރDe]Ff9ߔ7J`mowvXtiD]ƎI=)?2i9ٛX @ƃ@0,#IB~_lEUbk (bKsT| z9<+ܐxۦ5Em-uƊD_"!f~>j~õMč)Aչ٠8*׮ߊI"aYg nIf-eXPl:羰4G5K|ҙρ礯؞otsdB0b^e[*9@P&+Jƃ}7t19sॣ<9e9tA0Gg*SJkkW*_qMud#iBA(7 4לll]>9)VSDUV)k!l&~@GnK)En2'7ܬcAs|߹g5[,G@NF9 /S3HŞP5ꅌ |1cT#kٕn[2`38i ŤD!ݮwygQY5]yk&q F/ e:n_4Ϻ k,p> roi'NNw7ZJ^ku-VL4*}e@Rip*'B4uӭ?d͋F%aKaA 9+tŚdѸ21q")Tkf/.~c;C70Z@RaIdexˬ58%DQY\J2WƑ|@I>ը~ڗIQ<+qu?TR~)*ET6E+"b2`7KZX1Ϩߓ&,\CU. WHŵ ԫ@)^Hx'ǀ-À*zL7ͨD"w ܛҐܴsr.j<v0q^P>j}>Sheף?|h}2]e֮W^jR@>k$O 0JPvg'+Py {nD Asr9vCZdီl:GUܐomnp 0 ͌ű+ !{wz BmXU%|R(ڣPG_gg|;a ig႗{K+;{!VXrf_NU:4=8 lF>X; Xm1Vϯlr*9!ヺIFa}]j{̧ZD+6K@, ! vHB0#[ʂNq w]ͅ5,UBgA3r+LpݛHG &fpQ,ӊ!v /([ ֩5<W@F2w~VĔ4Z BE\H9.F4C7 !Tl{@J ߎsTS|'pȬ~-${9XJM1bk'=k\z0ٌhgꂀ󖅚]_p&8xn0#ζ n/ t\fIT>G2%ɖb_6kǁ/B31Y큝Ӛ I3$s#wQQi9gpu;bd5,X̏%V >L۬ (&r1k|hQD}P"Sw뛁8~phqx |0'dm*A:q؎TMŞp0 X}M}8rOKuHe0 R.Ͳs%l3Cby`mZj 2oUe k Ӆ"TG!˧4ZDP[|=aBϱQi p Eйݠ'kCMPXI=ɥt淋> 1WG$bjc&w̵\+]0fKwQE'&^bpߐ=Z,h1v]z3dʛ ̃\̲7PѶkS5:gn'Fn(`DxzυSDWvwV 㴫bj76N矖f_?5ՋK}y8*s8, - C^Pf6@8E jpKy hDĖ+&H/ %Zs9vj*9{|GP5u]/WBԴq!kQ 1gmn|{h"Wy I%,ßG[y/0j"Ϗ_H#8I17 Ɩ[nѦNw lLkq5+e."DC1?~ kq7?r]ګGU1G~(s Um{kdE40oVh-؎Zh; 㵸FșrRثe$:7˖q`9K[Y\g2a:YeTpHjtlM6v>Ł8SSVc'"0mpbtaz\ITUECmQC,nŴoeoˈQK7bLtveNk9%hlMGA<8eD/VSXJ h- ހ߽GjlJbj]䗖>[ڂ\>w&C;a6. dxq(_fSg[pBzOpv27QmiVK2DȹԭR4'~X(v[dլ\{Px^Q}?c9@=t5l; uNDv$[i4u\X@~keS[UD5Gv͙G.z= C vYJ* &ͦ9s=Od_\sb+<>p Wϋ5 DK r }yH w)L-&{ff2iΈ&Abd[n8=V]j(l&~zˡUoLh)k1KH1FHc]xr8_9l}\m.pjP}T lT߸/倪{Q X#H5'iyJ\hZ!1j94"CW5cS :CrrS|ZY5g(*wgc t!h}fRv|[;nQ"sSF*Zַ_fmzZ4\@13-+Kl#bǣ|B˨p[*@r[:377&]i `%xݭ{gZ#T9ޒD"_Qz#S HF\ѧu;"/nPn9zSA.E+,uƥ_-q S(ޯ@90-8 .IgadxЪDQf;8OEzH/ϝ `W֜&"RDϧxI`ImZUA=%dט2zoa7%׈ [dzݭS򇕨xJXUh:7_\=y0KB>Fu32D+đ6%궙Qzߚ,it}ţ1G}VPsw4*s1ڂt~+"Mxpgdq&*&oϼƇR.9OyG^r#}@Sfc*{ˎ-x]f_\R߰r/vXuiiUw{>Q7ºkh Pn)99fe#TtýelA*ZO)>VTj!-ER:Gy&R,r!|hs:oL699C;_Unĉ#I ?/4p.SXqwf-='KwJj'Wkɼ=ɔadoBn`b 2S *;pe9Bb%sVL,|W7θЇ X)AHsQ̑/35E7ϟ } P%͋qs2~߄ໟPfW'Q9ۭUЉ+J^V*Q9%ːN`Mnrj6ʣuܝ5jLWwE_B4/=3*ߑ0C+kFknwMk`JdOe]1"P$Ze|k_ʬ3,%|U2!Wv=ro.֣u!6AhGs%uU|-D o~Zw? kC8XQȥ:`V4I ';a(<%eZ$V!m5W!ޣUא&s36(QViqfN ,.UH]y g21|{"m 8?|gYZ B2BD-M% Relational_PathsAggregation_Algebras.Hoare_Logicdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ۙ,H`&Š$o@aJʮ5x` Ts弨:#x31m}r|{.Ew_ iǥՖ{_ݰD1i&Nx }@-'Y6!!})Cvvچqc7g.C~0[!0m5l+d4r9".#KmOa$yN#PzRRt{ #J$eS ~9=3 ;R6Lr<.|VvJYM }ѩmZouTjK55:D/lԸK ,Iq`?T7#(\G{ ; -Y% lRelational_PathsRelational_Paths.More_Relation_Algebradocument.tex7zXZִF! B#;/]A-MՋhvG"uIBm5}<͐>TkٯA@*&;W-]˫Јgd g}rs޼i܅Λ8`ιo8tn`[z4:񝅰F^ɡ%]sjIZ@43_|Oy8O*O*'}WKf6VPq,變d7srDa8Zƴ\rկȯl L\ V5eduzko~rjf^@g)T㟞o|m}Q r⤅dm2+ʃϢΪ 0' PT̝+?=+XYu wF!}mE"Q^Kވ,8Z |Q껿(%@-`7ԋe[:BKd='`)G1vd{hZ7˄CgM֎$ .e ?hVO=+ǖˀ1\U5V嫱~쒉<{kiji/>- $6'!|l.6aX[wu k*s'M@ekT7l_kK|@>I77Ov; [mn1,o"=z}`݄k.bpo>g &x2HIkHF3xvjo{ƺ'f5~`vu͚i`=5(ƵZIQDQ=Udl·-I|#gL4&"5R?pcۤWCV 4w4$ȟ7.͉l|&faۀT_@-cO|lIdA5ɇ$QG UBpŷ|$і[7tΞ)&1G(o> kUDȠ,+ n$IK ϰ=WUw% }?L8Du}ZY7R3iW\025=w ;ʼ}Vnbݔ]^% \lx-1Cg=_E ߸<^ݴd~dzFIܝҸ ZcN\# Ӗ .LC΋ 2>qyȤҡ"ZPUCoM3#ݡ\VNKH@p 4ڂC`}7zOy:ՆΐA5a5E^(䡗2S w] 1.}Jˀ*jK ßMZl F'X~SoW!rt6wd$:qVOA'^ УcIfϊ^g7)}Ǯ>Ex2좉{wC`G(^]Y%mā5EK6<[lJOMdXה y~\ae*QW -}TթJ^ ՝G+hg?{%E"9h%[8{W\s#ۂqDF,,4 D$AΰjlBZ 8] ^şsb/Fdt?g ٭R#¨sp2tJJN6B9{}˰xtt1]Rmliளm:lSȪ@kry)ȑKCڈEG,x._P?ypw݈X?=Yٲɒ3,I7l?j0o[+c)̩V#U@hC(Ed6}F֫H[o=yg )R>hЧ♱7h\9ft\$eqtUuީd)˖ɈA\8bz]4 ghR}Mڒ1 dsrNAY}>±Sld*Ci&/tXPTEk tOl^?36zሇEzB`cBeǛyCq 6'ɀ1{:J25հO+-$F0PM.<͏x 0+0HtLw]gQF~֝8 9 ¥Ze(z9!"abϽ2C1_ˏLM݀*w EDAf5a$ϨYVAs=5M+٘T7|$w W*d4_\q~r90@ ;X<<>UNd)bSۀp i1Я9O)E K0[M`t,0+8*t ݓq-,2m@QԪ]}4_2{Ȫ}j:nJzh֋!UI@kb. O(!%MC+emEx|XV-ij6ء-).+xD^ [SIm\'Yovo}/?:v}8%*E[*QLxRܾ >688KOw,E]\[v~(G2 i݅jعQ@{W|HUR_mj|'>+nW"r)Ҙ&jKzd~CK^efh|(E+lQ},q3EcĽx Y -M% 4Relational_PathsRelational_Paths.Path_Algorithmsdocument.tex7zXZִF! <6]A-MՋhvG"uIBm5D${4+-i7Uꙁx$+U<g,{rmfJlx(1W%%ҁԍr_&%-jWkz?8LW¶*Fpa*$GF/Nk$EBPy ;w |r/ueeBy$<ՉΪnUO:b']e8yx?¾NYT鯎2Yѻx?E5jL}~5cµAغͣFiWm3O紆AW ؋"9$ǩLc2HJ1` rȯn{|B/I DŧZ*yW$<}.#FV7OE|߉׮Z1Zz% cپυSNi~yHCUcUhݿRf׹m* scʪղ.1;cO?~0KOҐq.B*TGL*ˏ)Z@O=+-{ Jej fBt(Vf{JsO0s y!r[W嶱OzLniBPpzDX3r.!TBY/ZzJC H_#ltaTS#hu,+bb*!+7wPU/]ɕ[H|ӵOtrQ6^:Vlluj"l>74mXo@QNA+hj0"Kq} l鴣/ڔ/UNx92@ZK'DRgw Ow- h-fT:%#džSRnVW`rd|'"8MJDDk5ŷKp@2`/0o ]ݓK=nqs(R)JZe`=טfCbdj>ߢ܆3DHX.! Y7/%kWΏ/_"yKS9WO<53hm9RcL,bu[u XU%O2u$EIX3 O&?EE5d$$|7 )QD<*ev΀EƹLtnY@FD蜳T%7&cj. 6.l*BhBvT8 ˟d% \5=JٯYS X"˵(&Wĝ1[c_{ܜ\hQ Je?Z5*$ץ T?47fOEK+@t*QS!ܫ_[Y?P"[;~i BDK``LȆפh#&˒md_KԺMdZX 4^7Zq|jX6 Sd ^s9޷ᮋ_̷lM|Sރ=X\8~J4QEnwRFg|5 ʮGuU_DZcb,۷LE1拳1Z2s _'tXQ2R9#KC f84v\%Bo@:.2cSWNXs,&j""4nYz3 (ZT__IG3$tkJDg;gS jԛkL2X6pШf]Y5߇;=Gbrb7'iiZsqѶy2ixu,Q %n] ҃ ^sByy&]>AdCTiݻ{CF iI| a@Id97JDq_w}1E9hI؎&b` Og#ꪺ%$noA F*'MR0JLwp;3Qq9e& '9( WXQpDw-O~F/aɃ]iL\K~uev{ 棁Z%?Uve 1kM4p; = ^x ZNzz N*Y^Qߢ$ /,S4ѦEj|PkۆX^|)튏B71fQoZӹ͊*h)3[7Ǩ ArCο śǩlp#Zl_m[cժΔ?QaA0 I'K8T/yxJ40Fi7Un %{ylJiwF3 G#RiV̠=TeZ b,u~Ba7k9{ծ,ڭ|z37þ@]Zn[\ 9|*,Q)J \4La2k%9HTT KAPʈu''wׂu@/ZVݹW30@ȆNXG2mJ>\?!J *tn8ymsBu95@ۮY}|3`Ђ`o~WU#V4A)HFüF]Ai A*ч*g}@כdy w*eewʔ.[CY&vɵ %.P jX:_eKDHC;'מWuP? *,(1*ߙ"!#Rb(ID q 8ᇜDL0Ɂ3M$c6hg 睴ED} W6n:RL/#[}ʂouGG8ÝqU1qSчj"*Cl߰)F:YlNTo" pCɰNW)9_e EUk~*y2@)j\OpVdm9#9!,TQ'+O):H`i* CzK2@,Lȋu%^v1l׉#ɠPP'PW_$OO) z,E])~ :9ݙw*vFs:P(}?o ɩ~XnӺ=-FoB#B>+ptXifgR]AϠYκy"+o=Z)S v[b*k\lq۫'%E“˟DD 2Ѷ"SθnjuJTu#Rv%z54X=d'sv`d пݗIn.ml6Py`( xwskj#}]$^xXu#y13 ;VRC͋-ǥqw9<ۙ\ڌ={;@#2d&D!ԛ LMLar&Ϣou^~V*ŗ?.~S:G@ s¦k.mW׀$EXIjǽ:H/_hmw{AI:/31GkQk}{Ӟȫž)& ! KԄ>+gf#Hx!4݌.Aa{iս~%h-50 1Þ35ʻ6Ǽ4T?+H+śz Q {V 6-hDZqIT; US 4#cu-Z^1ᣂ. Gu dIK\̠e˭QR?לݹ7,OE&6AeĘ6HrOjHt(fdh\t_7{ʢ)S_gSҧ˼r@CIHHsl7tAѤkVۢ#>S6:sAlK nfr-=P+԰SG&e\>ٿeӯ?pid1P2B[NR}% %:zvFzZp0w@#X\#B|Qy1+d7Vuf#W-x8n `9hj XUSPGx52A#S#"EVH3H%bK`qae( u-W71y@Ȟi_=.ȦLf$ "ᯣC>q C65 4eE(mȮPBg]m L.`;'X%7"!UTڈ)vMO|uPXMl7S!;Na ;4}ѷvk#qV >/\+onNX:Sa/Yʄg #) Q_A*R*vcN(03`(b]dCLr:CXhf"DNSP)H":.C[u5QCRS@ I,2{fe"mχ!uF{t΁eʳqT3B_+_Cx4 mk 3SɖW2jv[ 2SYU.DN+Йޗki*lVD ԙC߻f2ա)LT:.3b CT|L $T;;)w3W9^׍俁n@MGT{#BCO"dO.}(Ftc npahZK`<=>'(S}L& +@pE32*5-4-Z_Bߡ/jƺFnS}Z W2es_3ocnsX] PL@*`yvMTrl]M_sK-_(ZJ] Yq\Ұ09N7yTmf$ 4?"E; *kCkOZ F߫|ƒNH񋊞W BQAOPWq<,XGˁm0 gIiרNbIzj2 GjzwM9Sl6nr ߺ)WAV:T~3n~V6ԇ/З ]Ȣvoݟ1GrN:zAo_ow.i[_̅m4ڛb3 M)jQV! 1n6rl+ƻ[}޵S}QHq<ؘ>Ģdyg?)'򍶃vņ ZbOFa!wo sA db\)՝} wĢ{<x?q&fXkiu9F4"w\$BWB/x"XyMu2 N2"=oA۷Pbm_CyIƢuTY)>o/YqP:_n?:zo@ pg ˦$IY>bJTbPW`_ե"$dPX|۸٤I ӭO:f!a0A79Y{ʿb] T[w{.?>h. tnt+ԯMgwہ@6p ȭD4V[2eK|D7V Ipмq su -: c ʍU'8,~IfXjTb~ @>9U[8Ϭ\C=0jb+ .X4 :#|՛nuݪq0-u'ƇL|8|q޻OT=M|ikUUEw{BOAXȲyyQD既έo̸ß",QVy6voi㝜ՔY5jDxeՈV.lK;^tɧVP1 bݻ"o{m4fܾ3tR7h;yl7DVdĦS2֘D.1iN% Ч,>@sNq-QOCB}ubuy=$ALfѼk1rBcd^Z2uh `l``Dj3kv1C`1)γoy:1cL>}9cĿu&&E?,)e:4`*e%7,x-:_Sn@7' S7i"xFex 0 -!~rӸ:(K+N d yN&*oA8]c濫KG!A.A?2`آ5r*3C/8䯀@(Ae3+ VcX)y,W}hzˏ5=+MPÕ}i%8ڹ=kH#SƯ~ n D7à >b&ܜfv93.Q|mk!fa"e}Y:>Kt,qN|VɟGV v5z &s |'fn/c }"*&3Hq)N*ei t%!"քXNozrz¶>4v;xk>31(&Kk[?Ͷj~3bbbߡ^iXtg\N]Ɩ)Sf׽% m|7H_ZUcK5Ԋv :bQLLZ"!$A;-Oʥ`Iط"KevǜvH/!JTaL*į)٢ٶe#>E{ Dt-B_nw=_폒vFp/v S` UP5W:+g )|rP.dn!! Oti#ֆv `*ZjQҸ&⅘~ÑG߲D [~_(]gv+c L|vrTNaU~ Κ6};/MuJ6IepS~W|Ū3[t/{8zL^8͟ĻqXzG>*2:z˞ߴcb@]wːUz[$5E3VjY@,JdPFA{ j "?`ye?ɵI ڗ2"xyY#?>?Hå9lAzP(quy1&m|6PDU]fUhpҷh",?FRsrnA'{[ef\.va(f>YQd*5QhG޴kkES)CLM-pW#1;vꗈlpT< (ߦWͫf HgxDRE@a |R_Ak$F nySpxb=AZq1:Wg(2E :LlݺsAC% ݀%U4Oc"4j'OΕbE1+?rԁ)V0Awݾm:u {L탱#%({STUR"Z;uA[.cSWD})LBKAafip9D$bG-q*Vr̓D6261_; o-'PL@| Uaw9шC1l9t*?!`>e|~C}rwrF$ze"_|)'Mִ~W8"LKveѤ8߾A6<` QEN Ct[h pOo;-% Qǚ~l;b#W ~iΝ7a~ Ke>Ҁ|!W"XmafI3^1L!6JӃL$W]ݎˡ3bǥ:P4+7Y{. >.|p+ka|pvk_3w|yUj6^5xUJH\6=::?d6S>#nI@ D+]T`5ydw ̒?T5[\tO ~JO)M:*@, I/Vm,ɿikƵ!omZ_DG[%U׏YlLrPlD]ʟu.k'U }NPIVlE+ .))0ݗA5OF&{%Cx-%[)ǡOY~PYP;%E56r]eΉy )R6) &{xBJ3ټ`Z./SЩnvp&m+8Fr5LU{ה jDyUfi*Hp5P[dm:Y@\lD3ɑ+nS rT\VQsY_ÛUVWfp·^0V>hh+g&q{<>&KradE+ͦwWdg #[CDg FD&lr@ R;rSDW;-ZL<lfZׯl^&Enj=hH:̴m_ 7A JQHYv<:Őt</8>|AԶY)m>&Gaذ 2CI!j*Vī7p5͏$b5\& @1!8)nItEJKZ_Of9{k0EW9e#uI]%ݵ)ߔIQ?Zodrr>( x>[Zd3L:kU9Img͒:?=Җ=ї_.i?b)yj6? I*~?0#)r2&WK;r/%FǕ j ׃(7NyXZ^]Z}4gLPPrXBQpi/H`l\/sh̰+[G i}ځ\ubki@@ ƭk;%Ξu[4P10KIНrT9֥%5{ӵW1ƍ4G1ޅ֞/Ј4`nQiBlI_E pp\Òι G~&/:%MDB L XkWr(O49"/j448jIDvGFt 1=Fa846MA??f.bŤZGŚlz@ 'mvI|e ^O75ű'#n7=]^z̈B]X¬2&$a NJFU$O68S@"07Ess$yt6~^YG/2}:idH?/%$YTp$AbG@WN]3ȹ뇊}*w'<|lbI&T#3Űbʋ8PpBA+ tJ88]lfDm{%+d*v~({o0y%Q'Q Z@brKұbL; J/w/T9ؿE!WDX{Z^SE|e^ѥeҫ C[BmػboٜWtGDlvO d"&,zh8fTj!P\%Vh"BXi\E>MQdV5(-0هz_2n+h|*5`=)Ct2 4sG[+ w@`򤵉JY&*%󵍨KٻqCl|0r³.i͍FUPwCOqLe?)r^E]KFg Ѱv]m7|:?c(dK^2_h#1=NFR>s˃vvw4i%XmTH^=J4(i}e|MU? u%o]K{ːx.EFVdҨP|oYQҾ ?\{3\V./SpT i:q }7];F΢oz΃<\p0O+fϋ, l,jd\%m0zUM>t)3NcS/Twh(|.rMD_ E| ^b=VMUP_VWǾ6 ~Rqg\})4|9)PW=tW~FZXvVdñgYZ N -G% $Relational_PathsRelational_Paths.Rooted_Pathsdocument.tex7zXZִF! 8 ;K]A-MՋhvG"uIBm5 `Xěsoϩ0mTU:.uPe}sؙƔzdSi5׾oŪT IK\ao#@LJ0#+ X.'W*#8!Qv{(&!_>*S&l*`zO$PV7|j䁳֩$uy/V}YL03AykJΡBVs=g`4ڡ.8t.. S:bnb9ėb w@mimm`դ2q_,Q}kQ2M,Aa89:eg𶀻 eaE1f(34dIc_(q7zQ[*wpr1O$|Lе[؈FvsraD33kwj'*^tPão\ߔ`,NA-]W|*F<2s֐鱈-Nć7|hbu mFI'գ(B+ D u2 =nk:E*fhK8Jt1 ]vTQ>~NAe<1NG հ{ A&B @ƪ\^s3R_U[R%A$odzHVS c3I32ss"GI/9_&~ב2Z~m3/2шy"'GoU3+ oRmph⧂]!ODX9 0'6$xi5g. Xhk-b' ?b'-KUHtF<=`5ET31~ Q8=ҁS$1PhvUp<ہ9WUR@ZivR76,~RԔ0$&5hN)b+d0b߹*,c "ȫy\TOOܤ[oYᒇ9+} 7h^#lj̷xxRV6uTp(RKPK6E`PoQ؛f :'//vZo 79ъj:Ѧ62)JB$KZԙGcDkuutA\ԢK'ClY$iw:! !I MQ?L\\!L* 87fi؆=~3c6Ydn̼zs8H啤"+& 3`G) |ٽ@/|cd4KL0R}t10Zk Xff_W·vvc<"P 0Csh6ǣN~EX0H/rʖl1 #K\'l| d|lW>\aMynG}<.9 95ΘkJҨ9fMٱ( fv{Oo8Y#s$eR|=C֨JoRܮWdA*"kG! X l"#-OFsNw U ~v9@߹J(Y zӦ4W+tGđ^0O)ac,Rmr#i sм 6vcXA˚{~v\M\C xK1g=j\! I}3~D@%8兼 ~ҘKX u*˼XBWŜjKFIޑ  R @rnGU=B~眃E|i7W5e/AK[D;պR*'*:8C4F6]ֈl+߃9a5s!I$2k\n9Q]v'Pk8) Oy@=4eSa iLUa \5G6߼x'C[  vg;%w*&Px95H} U'TBS}.5%9)qJ 8GԄ)EF?!U>SvOalg!L۝)eQC~8dS &_OY~ݙȸn=|͖'] zHoDM*5 2!8:!j߱wsi6fBZJ;u+08b9XD)* X "5::#}ڛjAj OΘƒ* ПkDi9_F-QtqO4{@WBKcI)z5XhK͔M=Uk jV ZgYHX<{)Pu]d +u+O"u2mą.1ȮFeЗ䋓\Kk,-0@7֘fcL"\>Tb26Ȉ4 lWhE鷑ΡZO;yd7vB,2H)0RSRiQ^j|gd'W•bKQQ |NG&dtxsl\GpL 6tv懦Dd2)ɘsfF"W9UVSnP y%F8 څ`ft$?S%iJ1#erilHbm{B\[pk.Td8so.|FjG1Ao1kˌEPWC~)c^"}YQӽB2UQDEs).xKwed_K(':[+[hbuG.;NkBcmm}+#%#;(hQZbP&:#Rvī~Bi%JR,0gV2H*G0&ς}{SC]s ([PBEQ!NUËx6? gH B ȎIwm3k!+!=<Ь h*_ܟ 'B(i_.6<g vV~_Aڱ%І>QN &_ek'?u*XFПYԩ<,T>RܓȞ|G,.@tr^$&e$ 7VaӪldzi%u;z<ܒgW>v {t3q,tͿ]'16Ӻ? Co\s-ѷmwv$.}i2s>ݸdҁM\]Jjubxy,_+du EX;D(w(Dz*μ ,\^ u>=RjqP|{ s>ր'k]xYPOӠhhQr! 4O akNzBbu{ƑqX8:*,%wQfÄ>ykяJQƤ4M@ Gߗg7uc~}No)+4R![%F]j " g)#@˛iחv(P;  WEe@&5%YklB$+i`u\k-\M1ooBug x ٵǑ-A6,E٦7tckyu)5N%6!fwHح6*OJUyH_A:q!6Nʾ;/!UnΒ); FBR h  ,s"$*+| !/߷ėķ,MNi alhCL'X∩rZ '-I3Op]\Z#Nwrս7vB ?XTCo~VDu,_0{j'El5Eǣ~wfCQHe!FZ5lA+{ +e Bz"0iԈf I= Eb3h%Ĭ2gpI"cU=hMwEU=_p3|D1>fe?;\mgy^rb.*q T2ڧ ZzT6RZd@ZDKWd񓶵ԆK 7/0f鯘6dlܟ&OP?;g3;WjTx Y ˢ6 cJ賽^_Z5Tpt2PE:paJ l#u!H><8L$. WG:S`'H6.[v͹z3ij7 @|WP7FQzzRWW*d|vnMX =r:Z ґDž#+)gDd0՘UfdDST.H4 urڀq0zֻMlgnVD4iFEۡh@wxvɽ\~&޳<6}Q+U0E ;凹ϙNG$9.~#Ǔ"%_tgNYF|`JlD[t:Dhg ֯qAm  EѾ@Br3 T6[Yy~-R<>o]TD?csk{E}YZ&u HL@ 530Y$.Ίt:GeҔH>t쯢Q YI1g`On{f:]2rS ⩛k##x*e▶hQ)0l!8ohP=nC>ޓCC'_YNoA ߉r[|}uͶ&O n\/XTmq6:HD ,Q(+z3l>at3f39ԞfN7vL5AR2JDK>cƅ AoWFC߅΃!\ft+ }%;H CpB @B=?k"f'bF< Uc<Tg AfF%7 :IHImÏ裻2aXQ&={P;o2,u>g<y/AYU`0h#~;剾/كxoPӆnBk`amn?=vu`Fh,"Z:|NuԠOA,d+|o 976UÍ3gT= u RBs#AKE6`Y)Na)Mak 'S,&Np&JGs M`A%?1C*k=L_LM`l{IR6xе}n 5Fe#1ĸ~xP"8j=-~N7Ԏ |QUUNEND\1-ɉ¤yXB3^L^$7 _ڠ}$2ӂ y~ly8e UѮ)0#ě`]h+X1FcԻz⳺>'SeK6Q_+MzmJE}$\TCHvme ߠ53eB;y6ٛ|>߆vw!b9Na涔aa[n2!尪P1vM &Q_;3T*9e@EYndcl ovG0~hV"u@R*|EshH [ du뤲x7ƨe]:G^&zaehF2ueI@Wp:@R-;%t  V~Q(brMYw/LxnClJuԚ , LDf i_DV 1k)5eF!YkUVmo ̌`XSKu_;u/T:M&݉߬{ 9x\8rjȣ^gvZx,ko,"y?];~WT5n~M?;Z] 91{k,TjY;?fC ?}f6#߱c? 18+#͖T `3LPCX8WNg;FD훇:$YSzsYF?~C؁Щ,1p];LpH绱i1Ӭ24<k?E6Y%ՒGܞMjtwiAz}11N/w,PgO9+ IsP:%fG&ͯ{#VDn\i+&o]0s%[Aq7jaĒkя&9Q%4tOuJa7tĚR~NlgaѶ}g3`@ }_]ȗ@?C_ڭ§R'UIqe/58,T>6N;FEi(g}^>dYNG5&7Hc]Vc-@JTeEPH-kD[ Fk fǵ@1,m1)lE{`'>l8|d7s MMVx׺M&+!r+=K3?=BeLxu u7VN@ߞٮn&<{;H)bDgR̖!q SӀ:G9UeoU~X )GA2IVW)؉8-,w24!$^tBr->{x9c:*;4%E޳eKC]IK `54? 6oqLЇ8HE)¡d΂ae?thڃO7 lmيk,?pZoyMyepݸҭ(k!=28HWדMxX0p =-8=*" PelLqNʖe|{<GbQo}V>jeۥS"U;ZE"! 3~u^&#,ha۵ݸm'̢=ş"LW4\jimn4`WH{0RQd.;-Vn*eI͍,RO2y#X?"B>&-vi$jOI.Fy 4ӓpLuWZ z̴ZKG_)CAVR^.8 L]~c_ȞIP7QH {1ՍC!ѻҴ|ۖ9o\F(x4'y۩+ğQ FqTor/㞴XX9P"QTA%7]S?쌴v#5طDEǸб@`҉٭pt ̥#W7&Y]@(74˥'b& p畿ZyʶjU8y& 9}R>XMR_<`C]*)`Eio}@4̸慝<&r϶QK6͋G$Ne bOwV*mO<-7u_OS$~y@]NTv? 0ȯlr_m DP,OIOi0;+lSX>Q;7ߤEΗ#q$*@m i5ŧ%u *}h$D|G;&nfM#^g&{uN5 #݃"tk̔ߞ7b &|QqV+Fy8B4'SyҠĆ+.4+W%40Tov\]88T>L޲70[ *S2 ]@7e Yէ?ء+E[NSgn+3Kw=5ͳ"rݿ!MqFSlY^rፄ)WrB05} HPo! zņrT4h[WD"{y-&թ) (5zj֕L&+ٝ9xR 7$Gl=i#dr|s@/cmO;pXunf,BAs k$dq[Tcߥrw_&;ߔMJf(’ʊP__xDZ%/'b}+ڢ %7~}A{_M=i:̒lToʒ0Zd3bn;yC X7W;&\x YvjЮfQO-jff1;tk%תuCi/}FkL\wӮY>W/{6Oi&z9ԛE1C@uaiek'[Ik]w(f2K2ȡD8T; ς25*u2ͱ쥃"wLBQnJ>XmnNCTyv0Ph{mz:+8ntcg qh>5妰63^Fc:WtO`9A@Q$r$b_VU|fx7u⩰߉b_†p´=Hq~'9y/[ l]]kXzqO>'>`zvᙑ# tWxdzbEJNru"7 ݨ?LW {l QT҆IUcn=V$5լH2n=h+3^sg´K\$C(8ۀ;a!P@䦗쌤-!}YSd-ϗ/=C5=-Z/Cy(ڂ$Z:ҌYR!Q8>|IŔY ۪C0O\ 41lvL7՚jYsfy3|5*kb\<#2DNa]Uk^ 3!b( %\cvG4iz1M *ѨnѤq+oV@I^`~xeL;Y{60#/$J $g{[b^[("жN#Վ[3C͏GŎU;om\մ;]?q٧ѧYӒO47u"vd;VC mǧ_6V\N?w3 ‡ ?ȁ:h'$'b#)"t̫l_\$VPU_гicQ?21YUݫ$픭 zF^szVw7-?xDq$&ӃP`gC /_ <@M;^D!h+>uW3y|ߛϡF'%z&(;O ,h)ך:2m= 珞,< 1g š /E i{- $ ע :oyzNCq4 VR @CS#-*^QX9_P?s= 9l'v%'A=LpQS 1t_m0sV&ZJPa4Tտ'MX9(/PmsyH} s?,mԮu ~w2Ы wܞoPG4k=TWv}0fhKƙ %2dVr mtAO-8lY:|Չj6dD#@oyeW E|hl%ՍoF^H=pGF-{;AM}7g"S3.][naMf6\=9=؆/)X~>j꨽l&Z!Y*ZX|l$dY> RӣB6m|صwg:E26eFϞ7xPL/" ";D [al/ gYm0P?4D?ZwJ ^'+6a9^XnYC$e5hKBP$0oduyLT$D℻.DΩeŭrS&#; bIe2Dl&%˂tP![R8:EJ+| FIVj`x?LsMZcbEhP`DC1 5WǗтI3ofCbazt?)6IFT'xPH2?`13eBe$o}5؆kVPڄw~pO+xO03+yX>HE4` GB$r\xĂ׋͔_zqR ܥ -<1qǙBa C,-2P,TPKnm `8|Ų;aBAqZ_K}S]9"T@B pOI.EcglF 8_ [o[mD[2|vA*-g_뜛Ws{[DkOǹUsU;B;ms#ji}){вjN5KAk_w?&aXeAu*UlX⒤<[̦ ReGCAHQFܱa$$\T=pCG2V;(4<&g$} {ql+pp~p< *8GO,"wù|}ݶ?:^(Q9!rp HQ:) 7GèuBtTo쒤Tj\f ϵ.wE8)3Bu j{!!*B٥gS%R]j$;l|jt]xC7ܝb e 0S.UIԶUz\M(EŶTM̯>LLIVͣ=T %G:=Y>|lڻi OnC}kP02kגF)nJuTH/ۨ=^)j J6#r!-a~4q.zd^<2ksCM4[_(A.hܿk (Njgy҃d;hL+I?2N' HǭXY{ǞAwݣkbkDps/ŵ?3zuHtCm~,.ivE<4МLsM#N} ,,s+ܖ(V+)bO0)u'3ѧ=),!?C-Jl֭7ZFPgNr@mR%|.d6š6l`;`J5Äa?L5J1Щ4fz?j!1AOLjwM,ߘLΪ^k{;=NL;oϭ|XӊwhEnsTQl?~sdR`5`F%4Joi|( QdhR6JbRy&Y lF<:6ƋBݭ'TK +׽DMBGS(b5?3^W١DG&"dDf hb@59.U I3IH @ /ȶNnoWuH>*]7܏Z%.w?0T^@Ѕ:vş+4A- _5NtdiL Q2͔t]C(r3ZM`_BCwô҇'6ͳ e%_HiWFT2_Bpd8y ,?^=m kIOߞ8l8- r?N1Yj,j㷬PԬx 5rؔ"ӠFԊ즛笚dj^#PW^ӧh(#@"90*>9ȷ~Z4 lwƝoY0V%Rn/^Dq7RBdk\ng8B$ɂ{Df\4*}n#ݡpwP,IIhpF]_HEX1sH/Fv"1=)pXk.'jKH oDNvdz3Ъ7JwF@$P5vLqf)>9ZHaÈR-^KRK/{С"?SMs~y%[K\G-<'uɘY ՛&/g>naiy<*ϋGlĥ4lH) mS*ͫ})ɚ\ {0q[=PKb_3coفHn҆d!~eQo~9c1TLi2Ӏ*ms۞.-Y8}?#w(_n?0xܦ6ٓs*%.}^4c!mr};ZFTia7DΜ[%lع,w?8Q]ҖOs=T@G1 }lEola; pmQH'oZ"ܟB\C`cRSPm:F?aY)du͏!d3jSc4Jzsg` N[ohBFȺ꺾z'$d+MoxcYH\ 8.FMYjO/Wr}GrTN-zqC &;h: yưӁ(J*14 94\\l&d#U0e]؝9s TΥ?`wk `:| ? G>ƕHhعq`J"Bጻ?. y 2}y.b[<}ѳ[!?LEqƵw6^0'%4<eIĐZ VeB%kOྏ:ڒ1SP0570> E1"CCD18=+.L5v:ay0e#Ӎ!NY_5'G]kEd<L@uʉ,o+ >B8,A<,GKAh=⃃-]$Y"iSΚw5(k #_A74VxybaMs\S(/E.&eבCО5z9w 8:7`cc{JhgtN(鰌:Ru`_ 3 ,apbޛ܎|^J?DOVG^‚̤$#~.I[G σp@de[ y&äjzm{?r$zJFMB}o>&ҡsxvJw?܎*  7km+_1ukV1J@LͼiI?Ps{8 L`X~ix*jJaFVF -.UMA -WaGqZ޿t UBTP U44|!g'ot=~awI'HŧLI4䘞kwV  nZJ|ݒڐ!:'p֛ 4A6ֽiR}|WPDdV}GUEs<_zTmJv2h!HklqAjd5J41 U)ZMu.& 71Q~_}gjچXՁfF ! ¾A3jwyj%Ѿ7 Á9TccWؖo܊R/\LȮ>A2/n<ļ8Z/9y:Y0V8Q}& !$e*Z!a{~aj,t.?1?xGkt͜F f^\^W&ݡAs(Go8D''_2&*Ho T1o Ht6@7b4ueZRR)w怊Ega`Z}%cŒ<]A4}݄#5vka&ڑ*~~}+,OFygkKFIFM2?V\3M!?/Ȧ6١j* B#@Ɔξɤ E Nr gquNzg9<1~ӕi[RRP05])Ju1TvQ\\~?64;p9;1ب' #"9Lʾgh#X>Rm>ꋢqXRR%xBG'nl5,Bչ]okߙMpW}ǔ1JzN 0-'77Zs[7h Lc-pWǢNV'' 2N^53nBncMw5s*uDVܺ붐phXgABRKw(d.;ne!pPvl *}$T6{X&̮U AU'gE-&0. 4F^tǻr.θ杋gꇶY7Bʏxham#+}r^6? .t9m4[6%)@oj9VC'o/ 6.oa nr:lSWM@:& c~¹ط V e(Y6a K"~b_"I5$((^`2 8vŽVt7^3bD6;9# I{%^[^YcO=xFȉ 'mj-\`-z3B_{9|pԏ:$> w؇}Xbd,ގʒ*()B06ބRmG?k%} ߲HE+F錠E7'Y}װàRrcWJI3S5SL6dxiHsw^b6g.Zm tԸ<Af6ZtٱR(i9=(B3Zo~;i} ʪk}+֌t~'X7Q^ r!I`V19"kRw b R9|ivBӌ,)$\dgf ԁ(93ܡHzkwao\ Zo֝&knUXޝ} IҫHwi>+m-^nk)7Ab:]i,@J ͶuM,3M#dBƙYllϴ ++UE3Fgd-cᩇkr=l + i䱜RP5OlW،-V' 3+ȱBQ ;G&U._zI-*7? r~ A8*K< Ƣ&̿Vj"]e<1oƞ`9eIG%g2AcwxQXɀT?!b;ޖ& -ƫU}ţ-fRlYzRZ5uSa[F:_ ^ͤAxDyz =#^egяa;{-7=Yڶ$ \ޠ<'Ȇ3v F<'XẦc_@N#,. pu.(CFPqp U\gq4y a|㼠-v`ԋړ|ǹ;$ !>ݖVQ 5{H]/8ܬ~ٞlIcRB;AH6h;j< {{&XBlx'VlwU9|s V;ꭳAƷ? aڥ3FtYZ:_]rSAԷX{+Y5CO.7q uwCrQ݉bTJ>U FK^IT[14&Qt19/#C'*P/sv:xɊk'Tզ ,ZK66-7̦)PuZvOJ[q& RCAwj EpwwIeY!2Z}lCR*!k,~kFZ9B8|Xh19Prm2>{k@R|^hLL81=W0iŨDkDgczm֡Ipڟ2Jhm6%Wf$ >Hv8 kW}|IyΞw>@ـɖP!`"`rF\Pʍ)<ż%Mcl'7f )#mqbV[~ MĈ%mOT8nx8) &a$!T zVsRϟAҳv !cMf.>BrVbkL1gM &C0Pq -BqH6Z1Ybg7&~>*\@ .6}oj-W&D(@R7# 7|a"S.sn,:l$zzhە'buN)F'z5<|NǯS/|7 }t= Ud,O CLP[ܦTšH=:[+&S+w՝B _vƦ"}7l`6֦7@>s)TYB=WfhWFT23%|5 L՞ȑ;Kg"E?WroS"{Cneɖ\֒#譳r]pnVHjfDt 1TQCQX'!ꈩg L} ]3qQZ/S_ /͐xS b[S$OyLa {XخȔ.9ic@3Bm$nO hT-$䓒V|4I/ӣNZT[&ľ(tG*ψ[\$C3uOLQ ,foD~vP8+}rr[83\^Hiأ td< *u ;֊LӡvåA/)UU$NT!{)M4]d ƫUZٔ(ǃ=Fk cDaINV#1Ф^^U.a²u–i7\ ,ܓ%x[*]YEBH (P'3L+ƚ 1.y;7tY%aE!@δoQ\Kb|/Ղsq2FS}]DHc2t0V ݱMB( ndudh܈E+s}t4fp\鉕Uh,uIᅳ?0'ĵ"T_ס*k#L-7foJʝ%j8fz@Lbl15UT$`)ךE6]9#JLKbk"l`E8C3 ۴vfMÝLܺeLhk(MF+O$++?~t> LbmFbϬyp6?anu;dnћ~㕓z-qBA>ۚ3,ֱxPAfK䯶y]dg4GhcJwIDhHUX(-TtHg]4\[[ynͪlqvq>!Lݶé?R4^y`s͚l+dF:m· Y6dg+?Kᮋn*?pSV ;loG,u+Q{V > ch]qqX)H^͗ko{fgΊ (̈<˛ S\I_؛9Ny\ƖIYuVNvgHN)<ɮ@z5}S/*}%ӫ R5_Ie`LJT₱Cs0uN>Md $AH^ZW/7 z[KlIa+)qcG {ջb/Ě ېCՋߚMl[Qu;h,0̀44CkVR6A` Eh؀sא4<$/!tw}uЙ/.YuUM4T\`¨fg=SxN] m< fU,Lcь<xx4(J*pM];M/LJI̤,nF:pc~x {m^!J x) 蕶v_I65"É^u X=tvAO& EhP тzYG6Q$EaB/O%YIWpCԱ$ʿ =e΅vf샞Ɨk yөAɀ+;>XPt^z< B}H&<{G+"O6QܴAF0{KlA~}g$\ԝi*y6xru)+ǂsJcA*0Ģ-hJC.hUiLsC9'9 u8 KՆ&3ԱvQ'p" ȧO0tY$2}s-hߤx7JoTaQW?ݫ+i}D}FyWWjX]6\gًX9Hjeb$nw7ŕ`:x?0JB/)%5,3 =;fx py&`cun tl%,27N. ܈xeww!qi0MfD؀bk{=I'-GF-琤_u]sY܁Tqj &)* !+c^_+O09XQn`GQov%V1J ^9բl/%ΡD!c"U;g~lSqWFgi-=gKrh=`'MDrRŕ;Vp;8=>An)QUcɐT$pYw|MgGBqH0rDs U#5`bqL[M~?PCĢqDž32F+^L8aa^!B9+] N!27ĐLݠ7j"DW̱lU&Kn8c~nH0pd5<6 ?鉉"ORr4:K)$$!X~=?4dn/V+z¯* si}EZ\Y~9eXDqWH7ywA ]/M( :y7^*[[-hv5A(jbs@.<; }t<+̃^.=J Uvh'UZߨ{=x5Wll>p lܹ4JۯIc#v/dѼ piǜI36 ˣZvxˑq&aӻy_C<1vy2C\ Z["׵v*~>"5{)0@U;\/keXEsR_Nj~ጫo(w&*M7ͯE@pXIJefD̗f!cCk(sȓ 8}-ǤT@E?I%tR#x|f?#XD 舨 .) 9hS;2=k@E܆y~HSvg@st}9)F~;0lyy=%\U^cL>Xq۟fx__$7ԣۡ3yh&@/6¸y*o+3kӢ|*@;뱪%}_u@HzӴ@pƭ폃8Vi/C8lA8n{P ZB[b"HgYZ   W -9% DRelational_PathsRelational_Paths.Pathsdocument.tex7zXZִF! j[]A-MՋhvG"uIBm5D${%UTfYhMiѽA;?;jc:l9E/:ҹ۫e=絢qE2~ږj,mh(ʛ{llA\u|k.M/lXFm ʾZ>ɷQٚzz`n]Y,N+hj+ cUQO꬜Bl3dg!9EVEn|C;&B黮0D0nl`jsH۳(ޜ${OZ-2.*•kw`n j&Y SXطaCeKF}xJgTyn))Z@ZG^!U٠91m0JEp5 lS 691[nҭ5xߨ,RU d0v 0!oxWX'j |v~9q;kp-'uRmfܿ4«Q)d@+LT3"\} UCM߲}:9_Y{D%܄J4z&,͋)6j%j! U82 [WqMm"bWER~GΝqE뺙> }gAE ]6i ˠ\.HH#'j2ˍ-tźYkq4GǦW[~v?lM![7l/R6"0Vol^*҄B?slWXhE&]jD'uԠt/Bj)2sy$|$ՐJv J*=dsl`2}m eV<D߶Y3-d0\lhC~15nW/J>f?G׌%7M($qL4odg`ǁط^K)# EJZ)i1ts>|=rIePJ1wZm3r5_"1ͻ+fWwet ??)It~B9z@v<:N|McD} [ $GNaS{I >g촽=s`6T },R߶尾B!JRXJe>KLr\B]G#yo5wKdrֶ8?6O|y=$& Vg0 hLyejaí_=A'2 >UCp TӗUxܚS^˓Oc uOtۏ:tkihQ2<.KPa[ xNCY"ҞIH4֏ƜcC_!!6&f;٢\éNsIZ&ALIlV4Fp#u2) 7aT#>7y-<ڒ\z}goZjC(f> C [&[p<T㤱^8ykDvh鸊[q/d'8Yk dݯf1(PF8FU0S7ʱ)=Q̩nzNPyL~!<4!w(#29gaiz5/_Q1t kqñ[&"!tW;-:sPBT߬6zdBTmPhtY-1KQ(_<2"h`RJ1CN #&& l2k]R-kJ[ONȥ+n,P?p2>X&ȧxwV^9_ =_W"Ԍ/]to ץ_yT.#GgvoY٤zK#RL5wK%aP,w:cHz>3?Hُ@v {.ŊFyt|ͼ:YśX/pVjDžpCx|vGw<:Ht_ Xf/}Lbfډ8XY83ZJ_K>~z6C^ P*0-‘E=(wC ]z+3!Ap;F\48׿3@nDDLzX#B|P~~R^+y8[Rγjd K?~ʄ`],ymQe9Ӷ >L&< )O\ kQF"<#-\ _7ZTmpωǛʿx;(J"_@U7u1޻P\V7}:@Ø~Lnwd*nOx> ͺL0" Ƀ6؊M&1<z`e%=>GkYXCK?T]!Jr_>N[D24Yk.ɺޘQ!x#&xL 6n&ΎD^N˙y*`;u(^{) nT9?&r'_ZQK+82=e`3Y3}(>?b3c:Nƨȫt"a :ffy.#\ Swd*o 43!GcRi܅ikܡKfY;9, M&qax=YI<8 S  nBHb3 2L#R_>!*|NL8ҦhDgX'=ރ+K$g)o*J2ضt0Jd&D>EO04J KvhmiT#jɡBC%5+_:m]@jWFN':W96ttb )I#DL o[^ٗhDBY$i$n=v;oaIHZ4'AD[DO ~mLj-Ӗpۼi7:,O@:(EOx1U%zAk!I6c:.24cѝfVvlL1u_Ϲ2jT*5z6&eAXL( $Â0Gj&TÐ/fHh\}]4Q/iuz`dҼiΧ^Q> ,&7$^tOQLp*wZH9WtرrCH U>Tk:rc#:ۅѼqG69d\ (^jNDib1.^UHХ [; q?dL?#,5Y7xX`i.;8x)gUn! cwBx6~[&h%lG{{d'Ktw0uZ ?P QrTqc48?}3[GHst !ql( | |?嵩X8]ו[^*ɾB]yǧzW jɁG;U1 q:O#Hة񞚅-d. ,c yps>kYw s]MV18 ͷW qkdA,䁜CjzҙOVyNfYae7YMjۚJ%uwȑc "_xtCOLK !iW:\ʼ+6p'#ؓ!fu<bb%LR u&FfUPܢj-5H)?EoߧB_`v5J6ItlzD +]TM(o.X;5,.$F196qƶصIPhG oTjz( w+mgһӐ 6̬C&"xe;ibU,B wҮv CRºȮ_?%^,g !Ȇ_5TZHV_Rޚ8U(mFŎN/AEd~a^ysIMf~fŢGtf 菻d68&}ߌ= R\hQ>FD&Q z>k?7\CއrD1 ,u a;|}-O䨬D} b?ͯtn:矹"`~D~s-bw(8;&g-kYxѻDcƟg˗w pfN݄IS6@+ʜ[O6;/8[}I;NSL)cD?:9\O?~7)ӝ> K.lUw)ɻ}I=}H N<h:W`Qap, ,}1&gxk2lL:Iaaj;rshps} zݜ9j{a=z6zH=e_7ӣ[2$vA. ^ "#&kBAMð|ѮS6"94IU{Ƹٹ00S&Ii. QB\#eR6WU gL.@i*:^.ì^RHCd8ѥ,$;FJ4 yLv_YF<ѰM|qװ@Blc42aXƱhRΉM.U;o0du DBc]b]?} %ɻOZ;%Cz KQDU{u&vHk_!1i,+\AȚ)Bni+7TAb(fE "fh^;HAxJFFZYo=ʸ)xzN6㠉39K!.#ѬAz|2k:mG˕h-9q%F;^NX2D6! }m<|t Hтio+g-Ey HRA} -f(R5ZK(RYiO) 6E'BB\_7}㫮Gf[2# 7<^lx;+}xsg| O#TS C.t^A2hLDK[rӕ.XA;CAܐ}T@s 8j (l`#!Z 2TI |Y`#o*ǮCR46.#"Ljg_ʓSA%l| J UՌC(?>+u`9Ťq8ؤ1+Kl *+9I=*n:Ŧ2B i>|ڐUPmi j.D M.;մ=롍,8 <ГƆJ*(eTtsz2Fl7bPQ=n.' }2F3fߠP-}Vg4 KL'2ߚoVr벀Wž2btP޵v5Y% V0[mѳm2 0@hiSí! Pf7koĔk.ϤB&p1R7-.Y9!q3>Y=I)%5((-}fi?$rJ f"L@N8mpOwRg-tSʼnp6-iqi&oV kLS&c'{ݏzv<<5|\SH=,X6u#n`3NppNH7ɍٻx,N'ǟ8oz*@Jt썽 i.D4WǣfabzV)UWE~UP?g Y#ڎU0Jcg+'L$*I]O Ze2CV|{jdK@i~-hWi땤\i}KȲ_T:QBnAifn2T;W`ygl!=yނMCs6vIATMq/$ØML%~rwU0-FFג#h4yPXlM} AP^?"*} ld *Da,/ ` djM_h2t 9\/a("CQ0bwP꥕#6 {7i6ziD@Pvwqs)aW/].৫,|6 GKHHl\]ߛ m 6(ZX4;8==BNwA04 aH @WlQ &ZX}7pR}j۪م3{=]䫜 RloQp=ړʌ=I+030Uybˮ Y ~^I94Ts*@΀aU_8]~*WrMP/w,(s{͔aآ,Fnfj8~1I;8 WsZKr'-0}4.,!󱭗5 ӷڢ]|aKIR*|ir!X/kWrn΄GM3ue,XZ(S{Ř%1P/9mCڠ0hK36?v`,-lN)pcdpY(CIm^#OaEAƂBxpS vZSo&@ Csn n~ Ck vqESv;ٍncP ΣQ9+[wGfK5Rdd`h5;nex'G=Q#LHXftjOP^&A-z@xSCf>p1ŐIE]K*[A_pnz@c"0"X Ĩ:&@&%i/"%{BݮrB3 RbSGX(G5kA/ŗD;6%J bsq⢻-ZUq4ߑkW!:RG݊$bӰN4FU]`&S0rYmAY* "gq+ׅVV Sߡ؉ &O0O9 pXk@] P"(%؞q{*l0۾2K}.$o?g9E-3Z; v0>Gf(>pNSW!q7354J e%t 6k]RwB*kcMj?Uh]}prDž7XY{FZxZRmYymdX 5A29?/6~试a^k3IoCEf_$%)iK^9 Mg {{2.bmRq#3 ¦ԾppoedwbNX,爊q0bj?H +!ʐ!U ^>]CioiC[Q{d;$Zzm%ZK|=La'wCZG4$ԉم/,Z\A Rs*"b WCHxg[-NւہI)m^/fʟϫ6CQA*]f þx ~[UZ &3m WDc(A>h\@[wqTbja~352:M ,BeOc}Kf|ա\b駛tlsDvPb7~e_ vLe{3]Gg0BҦMtY'Me4@9).y%&Y@!)œI@[4؇3]%M۟HϽD\ ]4ڢUM< S`ck/pI.EC2)̫g߸TVJi%z"}W9d/ F nQ'wcUl^c T2Z وr\M _F8yؾJuWb]HwQ5Xu{Yn+a 1jݚ=lӳ##_wV(~T;Zf#^N-;J7$K17 a2{e[VvW/' %ov9$7,2&Ӟ^NSW.&TLȗ[.F|y5Y VouڎW5ۚkQϣ=PSu9ܭo͏1/ &k`oG/\PVl'*>3a>a]Z# '8ukB1!kqjm6CroP2x@f|dr±1l}Xs #HPW_̃BP{ :-|@vIeo//y2=+T.?QbķX=c3H£SsA(Hro9H֖| [^TFHԁY+Ǹ%BA1K Z+Hsk9r!r(ڙg2yd}>W "yW-H,Q@YV1wa _ ZWZ>'>ԥDU͑a +(/n:# Lϸs#[A ave|[*TRY\iB_ rpՒȦAvRQ\v[ʖc^؀-o,^,/H>KgHƣf|ݗbUI"NUBu1^.|ζXTrԑd9H ްn+LėGqIwFj3F4deY_ïF?s#h,,qIW;؆Ct ۄ:4=h]kx4>6qNPryvv)а71V{-wNؑy՚8K2WsCQ"_)w5nQxpJx.W*-_*9 @ }!zQpMvDҵ %ӎĄ7olG捊3 6"-z.vi PJR %$`:Kmڜiw|qۀ}r^1^]i0A/& i(fTBaXbIOy9v?jQ~YQ7Jv*$kj& 9,A,fxi-ƑOhPM۫y˾`n`s;eYSwyD餁/h4gxP!” ]V0v`-#)vӡd;c4R7~wDMqڶA/νӰ.SOnV:nKQxEލ<`ܪZa6#Ⱦ1Q&^1ƶ1J)Vx;:nB/DW[̰^jhܰk(ZA4; IA`5 <-b1C wUPR G%l3K (Շ$tC3,ȓX*ᐖd{SGT(ېM[ؕ74-F l2yeM}q|rh~gXaǽ# A?M54}ҝm>9e hHF>IьU}SʜlO\Թ4 /^Oewm>_ 8a w P1"J/}7!\N ^i1zWO H!qڧZk5Tiխ7Yf{N#HD}XӲ!*|/%:q w`%L-?t$qjr Y 쫲l>6Ð@G|53ȿ4Y{ǏI>{)-_HlX; ReIYAu @ RQVw&;)S$⭥as2G\bQ"|Է.d%I:&5g3KLׂ8`g*RWc,1WڔIi8'' Yuz![%pO1UMFuOy*goPn&2Hi79ċ\3fXv*:{ &AʨzbZ/Ux좺\@py?Y>)|]lR 7QŊ?"PiSƹ׷6.K%KٓjsB~8woJaFDwδ6\$e S4 'O0FY@F8U<e" i8ϗ$ٓ ggs$A4VUQ-!'&GA`(YBƷ fI ǘ$gJ[_\Z=-c7;6 +@E[|:qF\«4\YØCɩ}[.`S(Ļi”6*M%}U'ɱ-Br1Hذiy:p1r:qC~̝,/˜G(/}:][yܫ_$m ;VE\u<Μz=X<р`d(Q 'm[) <`algIWzIc ]yC裤kvo$wwZ(>4|[\Sj'crvçqAȑs'~e}溮r#B^<]thX}\FP1~O ~#mPƜ~`AS\q{3[sZ>GŬ˽ux0rArʖ W8U?{"',~Oc \Gۃqβcm{~&NId{HFZs&9,CzB 37y9~r;C>c|NM]z'˒T2k@Lʏt 'M| z&}]*ǕXB$7]Y,c:@>ΫNFiP&+GvshYS$r+!ѧ&B&)B" Un"vO&=DA+Jϧw.b\eQkg`+ݣRٟy[10 TXAHNb)2R4ܛ<{]-Qh?uT5IaIƅD;hp<D8s-!b0f51/`76PL^00_,McTy&6|} o sUƽS"DO!`謭oMU 0az!FW,hE28kmNDTGGahWnXs 9X5c=$?z1!QDm99uEV&wO +/)HYg$E<<ic1l 0(l=M*wؗ9Hˎ<=U!0qߛ[v}K1gu:oe]i2МWn!Cs#neUYA^^Z Ds0J^ʰ9qWhwFJú~ZMx4[ 7l ViOO߬$HȪWm^Ø V(͜{K8ypzmgUu-ke('S~o/(u'I[[~Sh)(UРXkk$G3ًHu;k&71aAڊI۸nJ2Tν4yɛ1hf$J2\|{[ÑOT9$NTj1y-Oy 0즍 yK⩬W7 Taz!˶౟p)a]˔BQH<aX!4@(ZTƽ+1ó킙 j7:V *HމA81#\ PI-I'ōDgpڝVK5x]WD\Sj(\NL|rj =Q2XXq>H@EvCÁ2[c;+?sa J$GY%偘Qo84>gWI%<1\D(D+ }f؇o 8J?1I[_ZqMXsTrhO@}ve,$v@N{ޜ)(-e"j3ٙo ?alʼn6:V%34?,0+Qpz7R$_vRuE >![Dbn_TJg0O4Rs&9;srw%l |bZC38|HBAPnP~sNQ:Qtſ/±^ȗ>gvdU:zpaOMQUW%^<9Y˿pS9ژΨɊ.IxQ[^(իؾGK*a]HM@}`;p@-7%y-Zc'KI7hvJ!*Tp?^f8g&"a!|NLLIcsn3uu RWS2"F[Md jS~8嫆BJ WJausBr˅GOtR렺M9'h1"@dtRk@P^>;Y _/R˝ Lu [Рy[B9fgsVAg::6;z{G0x V!cNZ8޶ ciOץK _6X<{[/͖ܨ_'LSa'w)!~!j2ls}ZE6C=iwY% F"dB.cFݲ;JN_Wqj`rmـ+XY" a+}GzG½T9fo&ьZE>`&-S[tJP|M5wSo0 sy}nϳ}7O鋲<0Ev?YgƆ!U6_t&Nb֍ 5$T/!)۴ʒ H&qbt[ƣ0lug>UG3S.K6c`a7r')rֻ`R_K$%/J&n}_^}g a,_1*$6V `e) r_f*qw4W)K'1]q‰.vv/OȧIFxL~!UZb&}%Gf`/VH>` ̝Ƭr>X6?&~Qs53;Z<ȕ|Ή5wk#v $| 7hWxΏc"Pb倚qA3TFTeM%#k5ُsD=u#3@AlAyxVũ |e"epo`^kR@)Iw! 2' ].j훎njs'1&TS}}.KRLkWQ;>9MOؤ2]`k1 A\j9z]W:_(1{lo0Y2- 3Xw+%|:2awtqfSj ^r#A}m%)y|{ &vTtTv7 ˝آF[q8SQCtv~7dE]сt]`+Jf9aeM0>}AAВ \&[e3:be\ZW qSfAdXx S+)k7[w%#bMP) 5]ރ=w" bG7ZhU%m'y],M\^|9yqA[Dt"?]l{>)MCrmuOA_(<,8 YrLв9GOA(gu*(taDC{C->( ċP[?X#Zu; o oy(ҝbt-<D kM@'YD9p֫ͅKE~ yi\Qh57- z-dot.׉йP]]{2VdD]%pQ}"JgH@C6]qw>i-FFD"$( @qzw5vrTf@prEwӋ1|X:TT¸ȇqߥ0V"8#!{(~۾y>SCn,f5:*:Ds1"2c5,pta쟂yi)FnI}{{P Ŀ\`.p?MvZSSsB  qG$ t'byyutN)Za|7bރye I'B$K=2m6oJ4GQmD4LnIbeP1fls5oWzH Z{Z>RK_i߀ b`N(U3K={)q4+_IY?'@.Pg;p"cmPgppW3Y^ܤ6qepNYQТYQ|wit&K!~j>0ޡae';IZO9Um>GF3>)PK8Nw=$hՕ-BF^\#hJ6~P/}ay2ڷlXC0q*y2ʤ>nH˴9Q!;sV(2j\qR FyiSԨ hd`MJGV?d8Ⱦk6]-<_84( d.fp,܃>WF+|jvי$2QSM6~# ثW6ՐC)In[]D\FT7Rt`֤₞.)rt;77oȅjɚm) זwv8RMr6lKL²m H"w/1lG^~8B*[ݸXK;| +XReB]Pkd` ,~Wi1oK>8Ol,>kա2R&,EUJG0RkY6gOuBsABp` Oݒ'wb&ZGWo?=G໙/t p@%xZ̹B_?-`ZUCF\3‹)Oų/x 7A ;C!@UߢxC:\-G{D" UQf' @oUcРJ!rh3S)΂rڴϾ{•L|540 IH&Zr57 ŭ\hg#SG( B+ ǀv񛳏͐84OXbQB0 O}=+7h/幮(AfٚQ܍Xjp#)؊DcT#b~ɑ LǟQAwc ծFY7.vB`|jn.kVy6~p\} T7T脯F-?D2;}Xbx5z3 exˬDvچz4a#MRXqŹy ( g!$iﴠU*)ߙaqoXzzu6 ^486m%t^*!5! o|U.y,Rh,x%nT_@YƬKM'eJEw{8bH@/aygda1a ufD<_zPsMJC<+vf>Qduk5 ɐCwOG|UJzGZ C'V*uQ E}O6Ā5l$"\p+u[R+#>̗8Z7שKHZu\rdn  7 v¼{ACn: hZhU8 0+%b24;[]NBy'gH$19BBc$# D}R0 f<&4^7j3WnЛ҃rj>h{ T0K ot:q'kiG?s6vs iZ#{sIFh_F|OU_OT^ȾT '~Ivyа"__҂%O}Et&=(Wq{>`?SHxI7#%g]|i1UibqsmW'0/SB --'yx*m1++dUzyWxF?>,%n\dl؜}Q64Ħ^qhs]IqW?Wr%١iiTt> M#jl%(9'>XzPh|Bɀu6ʼtsW7&ev !$Mޮ:S[_Qˆ$c dͺLE5AdXXGj'\qxİ&s,AۆLd5O|)2:`3nJ ]E]ej͐)WԔe$QVwTה-N0CDo/hAl2Ea1z \=6JG^oRpA;oфgJ ֺkd7 ;<, ƆjǸn鞥3#z fL w#$J t0[Bz\F ̬6`cϓJS5`kk6wStqcvETdM0bsmWfƮO3tJGh\Y\5^n>uuG;H{6 .B[T$hK ۾Pc̊\CV CU[1dɁ%/5p5@ӈk-֯uFCS?E-M5du L֏Ѻh7asW^(4s5(0Ӵ"UҊ-  %?5Í(gYZ3805778910977bb27b84351002fec2792e1cac47c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 3a506b6c9a8b73e1e3ac1c2e749103fdcfc01d32 c0f7a29826da7705d728a81fd941f28b329f00d3 3943813a165e9b5e14b01bc7bfcb93eb39be0bac