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  IAd, ] Dependent_SIFUM_Refinement:threads=2elapsed=166.128cpu=297.796gc=11.816factor=1.797zXZִF! ]ŗXf1-/6vRZ᢯0G4lu,e=>M509G>30t~AU.J؄CXz%GY A Dependent_SIFUM_Refinement  h hlAq% $Dependent_SIFUM_RefinementDependent_SIFUM_Refinement.CompositionalRefinementdocument.tex7zXZִF! "]A-MՋhvG"uIBm5XJU)r{CRr8b{ji+~s`1:3L<]n!0Z"B'GL,TH d&o5>ͬX8u)] ׃eUV4t=fgا6bw z{cUg9\\S, XrxL۷`sS/Yv}.ƈ9vZZh`JOa:=Hf|-.Jb*:M4e(9'(W߳wGj %uYR:Kֈ3Sр锳uZZGTzK[079# Ty|,.V1|aԮ&(Cl N ux"3XNu`Pݨ7R[;Ը,BJW^@}w ڀi}qĝ3S0`I @[@LL}PE%Q{Z" 8_ȹB >§ ]Aq% Dependent_SIFUM_RefinementDependent_SIFUM_Refinement.CompositionalRefinementdocument.texF YsKLCX 3Pl!wCPbi$mA/t"ݩ٫$H? ZϽwjIsN[/W+\,57 "q?c[ ׃4,C1O~"JQXv{hlB9)$Y2ݙu%̉jTYb,o*w6?+%cIȘzƤ0UIZGJ7'Bkk3^P1c43H1s>XpB=)SG $Y<ZN~(<ގI=?u\i =ׄ=h"&ą/ Uyń !Y} o/V,K3DՎdJ/ .N.PQ8]#b}-OՅ ?I{茟8U|;3q"̷Ώ+ef >z8@K[=k>;.2tr¢1ԩ=3j[bIbOkW''d)P0]W;U%K!kToۯW`-jҭjx/+M#,͋f\>[4J^[E)oFki% 5x@?kR/(Nu@87?Yڹ8iqYUrhHqTVf7o >mk: OkUN( 2#[R[sf2VM\Hr PWa0X7P8x?~Tz8]w Rf#ᳱܫb( oֵ(dF>z M-lV^iMm4yV;Q 7b@YG!Y0Y!0j^EX*?1wBޚZ-S}1fq~~P$ 2dBtV&+ya%B1(hN 2Ƴy17r1K= hM&ؘ}He|7tm #[,K)gJf]W;[ reo17ml*< #+iNޒLt#q]GZ)C6, rNcKAXdS37iL݌ii k^k/zRiX,& |Ix_.oҥfгʅȍX \(DyB|~G].r^֌1xj>&9㮽\hb=n``t _6{|chg>J-1' f&m(5mYEʌw!m0yYZ *)y_VD|Ij+7:Wcw%^tUu-Fi0{-l6BpM&aӊHh mV\vpb{ѣ8Ƽf}>ce( J7\gE\8Ip;ċ}$ ?WD6Zaԋ|abϦK>0/W6~s0ݻ#hGXp3^)&N9ȚnX~ s$~Ism-͜b+ tNW'M"{w[Up?Č%wY +zi^?"_w&Rޢ85/Fmy[D$xp_2æUůC^h϶\kܠpޝzP|Q1n?LlnEZNdmXFm)1c)InFF?cjU@:Tk)7+QߍS2K Rn ca i+w-cx2T8}^p@6* ?Qogd7cIul&_Ψ9u v 8F#P @չ";tVҫc&fX/9O=I1PĆ@fyYO7 vn 1Ab^_+D?.b&B)0[=C,̮7,S55]A='tm<a4O:zڍHhcB1ȟѳPoJy'nII lu{rc<GGiu^/m,}hAe³{IGZ,pKc @eN%q 񫶾!f$Z jvl#4viIwiZY7b9ɗ_z57nt@RKs Xٺ^ͣe8i!H!7R?K&\Z:#@VqW҃~ۉm~q9[<\5P9xS?_((+_,~۴-Nt bTOJ8v}[D?d~hoRI^xA HŀJѡGøl.?aG##!,XB 5=TM}7i_<'B|X\ 257i nE$n|,,V"-ce_5ZNpH}cg|LeV_Cz L@Y^O=9?7b /9[cE嶰YΘV#zISmUy)+kރ<, `O1T<|m]}y[:|ה).Gn bAS(!^Tơm|1 Y,'b7Kȥ;fR *y@ !>,0_)|HbFY3$Xh;Rk\xB-w\Kls4a=uPpWGWvО|k6x{E}6G#b&7w;cіf=] * mnp1eW?PDk]=VoC+WPСj4+}SDr{"Ǯ6o[*A{2Ig[d{eKˋsDO@ai`hN.7VBY(" }KODG7Q5Z)[vhBAZ'jE0OqV.pf;~:f/w6 ݛ EUSCЫFgfkh^2 xGu|b|pB,)-@uc{ǜlу}8E16?ݕ6N4G/bԏD>{ f22ZJ#鰙x,\?$oOd`'\3rFs=ZA/iT=Ԑ.6}B,+7W6`{iڋp"Qoa!z9__@s ԑd3M YfK&D XQcX <`yU.Smwa $&Zǒ ئ ιa>3?-%pa% ^qjI⅌ʗqzu8ڿp.6; uI3 - Vo'~ @&(D t Zkp]p#{R$xknᮬzzCPp/5dʖy;/qqoܫKfEwMǒxt-$bN\/ҪYlňl`f& +SYv ѥ&f,_ۼ6KW?oiy_}gd`Mk8KL6&mԱW<`;*=Ƣz?.Lk_>ŃKlt|U<z &YKl%;UVBd~ajk+CpiV,Tp|,My&H0zEZB¿Z'A2eC( SU0)$LK0sM @rVrnBPI] hT<'K`".TĘw;U?d>5?An]̑_= G+)` -6 d%>Na?+ EY~_% /6!5;]r謪$^(vir"-0=\].T^ǎ%L2ќǮ;hI\4䬗ˆ9 쯊&4:}]n<މ_g:ysVR1vԃׅ3/湂D=7Mz4-FP:4F $@ӃðS!kj\xN7|U}Pf0&%akc` (%=qer}N!I B',h@I)2̥7yZxGNwƳ"UvH| v[+ 쇘1iBJe()K3!i^;=0uj ku Ihw-\Db](F5*W;=F_eF "ېURcN,akհ\ߛ'. +ɬvF$aݷM/1rk4!Z+"]l/-e<'UZ͑yCC_IjO'A312l0㥘:lgn=}v[6.޼eqDi>Aq&?{iAx΁_,9(<7 x}D,(qZ; Fw/^^˾Z?W:;gnVttG=дz4gu03jB,+Uyu%q,n;C&\b 씬j -yqDĕS9]kH!e&Ғ܂VD& VكU[`Q^2y Y# h]ګ> F?1)XuضUvus`؆+[.v4ssYxCRQ_Cz(|;ږr. ~ m!d[`OJu4'k[3zBz6 3iϝxcalmyS K[ ]7z.S@?1(YT(/7"n"Ř.J*eZc9~I]?!yt\.SNڊE2#u|M3ESg~|N}w_Ќ㼿8Oa*)ϑwcP-5,*7hS'.+gb5 t'KI,GYn'O fs+a$-1tHe T3̵6) Qc£ɮwyN"HK<2jU#"qRc"_W܄y0&XM?)T4qmhUN8;qoi27z{:THjpIp`z$5FNvr|<큢|fTsJmQۿ358:*̼U8sk=aG boBbzxi pn }h̫5]xcz,n]= O-\bv%Y-hU»N5WҡX'L3'C:u JvfKIF~6(q_nѥu+JUQ:o1sr0]R3U ]FMNmij$`8SMi7LN6Td)] ض `-"笓ǭoZkMG+c83S%*G:a-Eepaځܮs5և,tgxz R9ߎ"?dZN5'fݙ LWbPfa_,dLÃƌyt.drĚQaam*|FZ QcPMeCY?M-hޖEnji6xAKbLDWSa;OQHÿ*Bf>b'PC6lP[3S5VޖNQ)QM岃.%v̎R~!*pZ YP$jT\ytʖU$Ur|U%wipU`!bæ0\VG qBGNIK gbBI7w K3BЄYԭx du*rd5J= 8`+T$_%rrv4HUFV0'mZ<,/j lef D孪 8wG3&l5:k۟6+DpyWoNAA}I0!}}vU= a]_P<$zyOQJz1I9}yn3{=g41-&kR&X]0u_2B4NlYVPw$4s6#<\4 iޏu!rW9")~k{fJԘmlTU$vhjumwv58ҲX -q/~@7#dy ّ==3u_LΪ1싾΢QfǞDɋڕLJqs8iɔ5V5-&%e3prcʬl[c?y>տRPa`J&vcBe0;| UL|v6IW@j$ }UPv[^~~g@%Cik8d!м#(F慱bS\A_鴎 zǦ~Ut !WŠA`C@QFǶ {檫 fՍJʢ息Fq\ǿI· 5myݮL"fD[xMrSVcGL(Bxlti0oE%464} jo&#T me:lD(2kt$ xUkdt Oݧ h,Fǭ]ToϖUr?ۃг3qm#s1@YQh18dQfz}za%nlAtDN v@1p5nJ)@ /(Z=z8$"?Nŗf& q_u7+U(}XSԸ @ G^>K| k!>"^ʆ݆+,_xN"ن#G!m7u۵ӞVUp}L;A<+ CBIhw˷oZC/DPeܾ?o:F;/93iX Rc=^ Ź8%2Zx;5 Ą7D+w8!S)y NQЪ-8LPB$tۆT{羇ňJC@QiGʺ` T ;Zl@nkG$xZ칐'L-%'u!t rӹCNbu۾Wnrs$лA7 e>Ő (Yui6ҧf3lzjHET?[9;Vr(З&Մ@ĸ;ado_'AUACԽ;qO|ߩy}%!W~F㎡:AtXXϫĔUgGXlx5gs oţaAk_2XlXeǴ|b@]BuZ˷ f>2Wȣ]+:v4J=vh>}\Mxi]C76M1PMa:nљ{#| 4t %&[*f5%o}Ll8C$H\^*, Trv*)м |2z'nJЋWe+<U_Qirg7 v%SBOf W]OÛF4bI"\!uY~5AU^.[P^/uk)4tBiF:$U׾%R| HL[@' Ŀjs"1  r*y0#*h9-㛋`304D {4G|q.`v vaEIJT:y[9L k{+p>UV-V6lɟ: :qs<~1Ě6+>D6s{%O-,`IKyr6 O^충5!Xa]b>zp{2)s 9Bmc-i0ɡh${7;~` ̬(`|F=SMVkbG˄iUZH0 1GirMӪkbmx*D<-v%%Iݸ.cA&ȍM|^xގ'pO~EBޯ%!N+Z&,X 8F\&HHΙ,ֻrʈH!b9U5;} S/sy'gde*.|֨s&ztZus⠙ EC-H?HSI>s*}=BE_υ:c1UWivs$ PG"qw1,dź?g͠ZY@zVAT( 5cϖj!l3$oHH J5TCpBo3d&[aיUUvXVuRTjz?s@4ҙ)U5[(Xſcd8r^7_t|!|9QrǮK) J_{ARXD\[C4=1DH-cO l0e.udܾ"{V9g-[Z`r%c#X!EEwiF1 s:N:ѿuuvc{! {'w /YTEa K붃 pyn-L[xQ;:^\( '| + bV0%HmDҁ>0"L h' F9[KFw_ & sI?jAJyPؒ[~Ĭ[Ј*o;D8{SZM$q,ɺGH0={x"eQqqoGmKɢoׂΣ,Z6:ˑP[S^ipz7.HX:Im4Fnч/GS℉7{B΢?Zwa|s yZG&d%:?q{dKox}EG1(ߤgpVavP]e˶/>Qͭz2h Bqi Užj"ׯe6۳-nQmD<_th.o\#?9x&;wt|MmG&h'Z'OqnDْ eyl) H,<R e(DCqRbr>a@vAg!+oa[ۋ,aHEnxXr[k.>dQmb-US-w,H?O]y*H &,UWtdL=rWfW]Dm ή5%nndfI1 xۡ"5:נ^u)WR Z2JMP}&늗o9wg4}kkIƅ//Ahԍ@)dS\2gw> 8;!C\_ dr?sNٮ"!~rً"T0h{, չz1fi5-/sE*ÅiP3[>g{ĉ(mr.zEF07qO< ޟ>("|!siB6Eޟy)}NEk_-쓊K" uRz.au\Xu {*'aB/{g7d"95I9qv̺}=Neu @=d;o[Mh5+@xC4=U}"X9$u3C)S[z"gmyZqM/_"n0L܁ I$0N )ǃ4K\44@"g͛5/UN-@բPr(x0N:@\~3p_ +.4v 7󑣞{t زH-N`y<ސSWG& ETTG_߷Y\$i8rIok^p7|jVpLctuG t*ƅ  8,|0iP :/m*N0=X=S$-#hÏ+** L49cl,5 `-ḓ䤱2qZUc|-ŏD* 5}{jI㝲u:zS}%(\竮PAcO>l94=qdn &4?zg x}"{Ēf0ZgT vU'':`N'eB\7KјCa1u k5ɂ쀳U3%s~OV hFҔ#Ӱûk۟'PMbzs*mտݻ8qUݳwXBDUds+}ܒuJG aWjfp_AS.%xOvrq?(Ԉ px 6̞[P˧k"6X+S3]S?B^oCj_΂*Gv K—0j<< )Y:8r5 d1 <`Oೂ|o9@ZKO]7KuDž46U0:Nh={6ˤW-|/quY[Ϛ-%''Kƹ/pT6rr?9*qf4'f:jfS tz"Y3 & R&ㅁ#20v )Q+wil*/=Ӥa-B4܎n9X0\Đ k6YE 37Ee")b<YxϲW9| \۾0DKGav~/d/Z?F$S@rR)){󾝤zUOiO.y*~н- +U"CI;U=wrK4)c;]`m5TVT!-th>ebZӅ)J)uƸJ M=9}M^tc,|5&?+p1SX`/7 >Ly`Oi~Y'@y,/5XE\bEjTgՖNIG:}*o#x;;;Oiw2%~NQo& 5ޭ+!`W/? {+kTɂ]m=pi 6Kԉv,u,$"Z~݄I~H}"]Ȃ)ShࡌbDtw,IIˡޑ'@@z;V=O=G<&0ʊ qEB6 qP˷|mY}RdQbÒX!<~H!0KjXiǗ i'6,U1GGF$c@O'yG w-ђ?dq֚侬vpv|2 TÚt\(]5h9YY|~ͨ_^v23dw nUTS 趼Yw9- B%6ODdp$FbHpUzuKEfhu! ɷEn:^eF1L"<_&]ipsk}j$E Ζ3l%sh$|2\<u벌GUuzF0DUsP4癬VTq ЮUVHOOt5 [4}|ʿ@cGjcdt9ڟ$VIKIC>fmOܜ ``6!lʰEzy~)/u XB2oI#H#7pib Epi}\ظmݢ2|GI|b>5*bάdv׭r~F;_GnizW.'M\ #7o/RǬb f:^pˆ+19n*=z֡zn7KynJ ľ -Ï5$Q칲z]ƙ+&3Ø͒4t>1ze)w3LZ.p*"48I&K)[BmfA-KmQ ')[= l+71ql 8ZQ:<G:%S?LE#h7yIO}?2z?6&3,s 3H5%o?2 w2֟2 O)Ɇ#y =eHEt9EVA(a&e͒1m0^wBu'h?1L&g`Z.Bwz|t Wp;%r"݅ͪͬ} [Ђq✤Kgܹ\ۢ F\@/FyRzȶ+qdKSB@] E4r*{ FBGl7=힃Z*%#  ^Jy$+HYJ8J 9' i%T۞ZŠf' QGLG X<+SL}痶闐Ԙ^ xht\DޡeL"hBd\6vΐtKnцQCkX$M&L7.o 9Eׯ9(]gJ `tyd01f1ˤG HJ䖝+"uzz1sS+qWXrE TEezUO[al>g$(R;El?Z]M $:kOeoqu=UHJA|렄 9'`h5rHi$v-Br!lM*{+r.=ZS_/xIzHws 3O^(2Xp ]ym#|3JpvcS>aB@ƀT-TF)jFcK*F' WH}@r n1{#cRW03vҞBmil?_E-|VHxkB~2QŢ{.K hf 'JUy뙟}ZGMov#OM6͟lH "tlX7U8huyEXG@*PQ.YG㟕~AaN葉h;* Zu槟46U9"PH&3m T)j9xƅm&(Cg013Tf DꥑUZmCn@}15 ZQeCS_$s%l,7u\rAKl$$>O%.ˆe8Uq>&).y,*F>r!wSeF$?9I$TJJ-fz/(18 |/Ǧ )b5> Q@;(TːsjpQR3n%K;Y'<$nYSF-oAV oӨ.G)6e]& Qeb1Q~I*RA7 m:?;rLv(H-EW*݉j.6F>ؔ 5- c8 -zɼoðJZo"W%x3Onج=笍4iȚ%tҔ%,Վv=uMX JmUȌoxD0w$0_yX\_c hj*G#sǩ4{=ǐz ;bTduw2>QJj)-HRdVa.DRe#1?2YQԔw(H4KaAS֟;I^@f)\39N{ڒژ 7W oJf/><<[עӓ 4K{nM=~z2\ ME~Ut:~ Ϳ\LDuwΜtBwML  =%yr@As?u, W_tWa VC =~qؕڣNWjNy)s C^26?i3$c~UHB9cEk݁ȑ8{"ގ @<2ڗyZ\ݠ7hJA *(OxƋ~F9GNf=uүTiǵkEI ;Q{fmR{*ڬT VHBqM6 VJ~5_}g< TT_! O0vBpyL_᝛3m7b/غ_0B)p4pUTq07C ۘ8nZjxLՑQ^#Z\Zm5 `$E9.1ՁJ.kCEbD5ʢQjaŨn Wl>垛)WM(yFUT`@d)M җlDԟlYhK6 \zC?V{|=mR+s\MXQr$z(W}j3H|(G9 _! |H/sUhcU)[b o9 {$p HŦ˯'._l9^X[ЯqFvj>P`q)nW>x;9I0Χ[pIV2c]$:nb%orC@bU|Qo6qw4qXS0ȅ U=;47V}4UX!yѩXM E,_A?:Wl6X1r\Q 蝭īvMu9~/.:rY,"8g@$QV&5/d2<,=v9$ F5tuad!FJn>ݣbXAbF\#Vm'v1*]pþ /Dp{gjeSFT`ȞG>أݎZ@I͸ӜK|֒Ft#Jnϩ9~M^WdPN s:5" Tak3Oxqp&74Gn*iBwU@tQBp~Ij97&*Ζ`M?Kv0{ҡ5<{dQMo%nR"*%"em,6bA@obsL9P$mu AEP{8xhf6_rYlyئGyv}/QqBuӔcqs}gq+Ji0Jn-O}/& ۏS8iԮ$S@n6E3kvGL,s1ޠxF_T$ǒ~GY""kpz&#cR2sZZ!W:WA!oAyf~QYW$0$dMq[e(Wi֟bYwt!s/}r[cRh:T YUऎ&϶%.1/u:I'z8&MV+elpy56pZ;Cg` T3U4j=ϙIW<\y8+vLvfC)+M^~Pad uiOSgϴEbB(Cٙ-Ӭ,$w5كXt /GΆhf%QzrW,>QO6,^ݕ eo(['2 TF)x~wT{MYm{<#Y/Jh)׳N2꽣IX܇^MhBqSA_H4Bt̸Uf1ӪOޏܠrKK~7{9!;oԨ̮dJ xGv"amS%슻 R@ `fXiSI>&_aƁJ,6!NTrO~H@#gO5:O"wCF+)yW_zFRVS WKOxף&oZS~י,.^`:j6.kDᱻ\ uQ !mSqk~B\)Tڗ,b*6Xι Y c$}R a}k 9(gG_`zLwQ6ù[gIc,G$ʙ #9-VԷ`⎵\xIgM?(7 vW(oYPtaŊ'܈~eCbF* (Yc! $IHkk,FۂˆtU_^r-[Bh4Js-0fZ27ɍ' ;x6aW!Pʫ Ϻa xlK˯C2)S2WcGQk?b' .#µQѡ8 Rx+.I`lK"vyGTM5=sπnk,-jg"TdH*3 NP.=C(dQ n!/.q ewf4 *l׬:lĕZ#2Dz%I2(`wC8=X`8ѷs@=3FN9ent;WA<6mVG>zLiPV[jN%2va0j(V:NL^ Ib 5==|D_`w tIVzz؄rf5p>挪ZbN7HGa|t0F!h}D7ҙT." 4.hKjbk~OA75b_BE5oKǺf.i5z4I>%F]LdkC݀D Ant4=k$K E:A9_OrKAR_Έ\(ī.* G)4THFK]̀Y1pyOKy}=K:N܈jɷ׬hܩ+)_n-g'Pcq.Ì`:P!KlHʹCxtHNQ %Ir1+{G $llZ%e:GՁ@RO>Ҽyj ==vHqQ8Ftl֡v[LjSƏEne5{˖%:X p]_`-4%~AAA^#pDyr'^,,nM;*ҥj=ōDN" NBѐ NfIڮ27QDF'ZS/H]9.'gTmGѯUBq̓V!mNbxq%:3'G0x{m#~LEda;n%[WFJ}zS\gL<*( ߷lRIdkUcfbyDKSr)nL#njbc!Qcp{-t 7rJaF"B", OA k~z{\HhRG(ZJIj(dnEc^VԐV:#v#gL1@(rY ~eZKOBZg,HeWILΔUE"&IH4]g妈!i ݙZF͐^tV1lJfs'R& u,Ǹ^w<#>ćasf=bj./N-ю}Ԗ7/IH SӲ1@׷g {ϧ,ZR{7Ƭ׃zx ߪӆ,ZYQœ-PL~[z?^d,Ita+C#; ߆\!2~<%,$SK:4u|BƧec)QF}>LC%omFZmmqHu, 4ۨ5|~u> ěM{E3鰨u~uбMukxr\_IK+`vD(,zܶUJt_!?ߔ>>q==@I]fEJA +$;pA6nrθk@=U\:š?A.GtuD|mfVܹ%r"~w;Υo0.Ŀ#s,_Jm D`vKo sڵsM7!JTFϺ~s:s@:&y$b2Uz)c K2@c@'$ UTY?*tNWaHr&%;ڠ5Ic&oK_!U8}[.FKd{)ƺ@| WUI^d-𞜶nQ: g2(ҕ_ZG)>5O4ff#{/L)o⥮Dt9roUPXizLa,]:lʽl=64 0c%n55Qǜ/7=g8gpq+ E@?;CּD+@T&"]c95J* =lhYH@! izquqvM΍xMC N9 @Nsgy7FWX #.TdޜîA! KM@/tːM j31jK}[<8x+eZc9|V< Ȳ؅GYOj@kD'< PbgHZ'&tmo 0 &$|.)djEppoDc'1E"sU-f'dZ8ao$ ӄ4<"׮ #޹*B=21ޓH]r>B%6YCY'R mE6:7p.P 1cJˀlHUI>$Ӝ,zW;)9a^+D0*,SZ2QCTm!]f. ,2͞#YWβYec%1Y\`)Z m4 F N%5K36?s!@ctWےv$cj3R%`w)2]ǞAЯz j=2gYTC ׌CMtKdFo)UEg6UKm/DJ("aI?QM _?DӜFm:'K|oE/xԁO!f3b"Jiatt ʅҔUD,w,x#>/Zu0#Te#E8Zqx=sB ,=̈8'!uT)#5&&'54&ՋGL$H'bb|FW?x:ݪ+zR9voOs|@\82Y Mρ l<2X 0o]WUt"%ޚO)t_mr^G? :4m5pSDe#aSO,I(ة}r\HZ*P~O'a1<? 6dg]J?YGON _S"ZD쌢 }& ]NFM7SG/E=#Udl<Ԉeޡ!jrT"橖z*Tg=$L^K3&v)_weDjnk+4.]ZGU,:Rn"% N7̌eq gt"d쎣MP 9Zc7DTE T -_@܉4 &_}nu,2k[h4W!?;N/|3J'CZrHy!Z)'lkG'#Qp#ÿv2i eLҎm$ * t:Xz|#A3(_̙tzkK)R \ı]7=07 zYj".wLG%t:-Jj|>?.LL4Q'XC$|&vt ?9pYݘS:ǁR3ߡ%OYa!F4#kmĥ.{I=q'_/c1؝HSݑ-dʒ3\OZ{] };q|a3ESK|}cJe/iOIoM<ݨvzg:vI܇IMZyr ,݌FFހ4܂: ܂qD%UHEzCVe˶*Gjfw.E )Ngj潥ؚCuad<:Rs- t+1Mň/9ݹ+ *SDjtxoL}\i#%7)t:<N FD$̪oq!_7T|#IgH=%HPf&,QIpyMr <$ [;Sqk^s{>e.ڣ5V2T|;/RC䴍pfCrI-_hs. ZLWC]?3 i-- mRg7E'#-$#Tsʊ6+ 'v/8h"*UoTyg٠;/#|‎4;$'ꟻT&,d4f*FCL;QjR#t.C'\wyUY<<)m2N@Pam6;fq>jfhM7% Ҟr $K"*$,y>_ԺY8A/_Z%kG UJdAW;f< }\ Gi0}o!t6(q;q #~C2Ee[ڔ]"q<TgaXĥA-(.8iH.ږ|dCv& ͱ kxA<ܺ1VAk)6'ppuFשKa+.<->0\VP2upjl= ‚bD"^|'ѹ>UH2h7^ٻ¶rkvvhcdָc &/)NjqN2Q 7&|ۮca,/`֞3C30 7v[sgdYMzC齛'@g̛;VM9}T͢RxX\XcHc~7z[_j@њ<{=[ o2@FmwZbA$Rm^5uG.b{ iA!U[/yV12-ocXbLwsqEڼHDlׄXlDe+\) ,8NL6ZX6>kA ӚNkpu Lw8,u /Q)MyO,_,$Dr@pf7AoCW`pG̠mݠ(,b!K9`x4QjeL''i4Xkre>/*wws7凒i^ZL Yb!ː琓ٗ~$M@B"!8IBmR)gB`AMJрeR5 0_,L6,vd &vg}pr '㕦M^ L=`T+G--I E|z Y:46[P18$ F rc]o]Tx/ڌvQ(0c@.,h&p~q֨;:|70/GeHafKyu@Ļ!eR)/3"ZYM A$5g?H}Oe>W01E of9bO-?w%vZ=فlDi !3yqSszaM4y.t|Ƒb[~z,LI JTJ.>,^&X@Gf^ؚa6&2ծ.|A7LAZD} G݀$M&rX+B=pjC.3' 36+->+hoMoxlr)kQi fo(ǟ H%jgpt$[ ʍP}|[>m-$^j(PЧv}:XNS]#k]J7` QʲH'3BNlPprߡukU[Jqom/}Z߉ߌ ɦ( ,AXI,>gB2+luC 5I^&Wy|Nx~;ooKgOg潕X8UDCSb;мƥ+S6Qh)AD-ДL+|!6oᱛ9O0́cG'A!$fV$ ?4YB$Xk↑95d>͜i>(QχKh* HiKTKn9h _:Y:08:x x5Q^O$nU$"ke6gv ":tm N5 Ipg~tԒ~Vf۳yiK@ CqWlH+>fsՑdBl[&ik+^^?oP{USTCqV .Ӌv^oو#K'26 C/ 2ZAԝ42ҚƱ?kS01TXk a pp2L"b#}a0W]["R!`W# X(X¬ħXŏoB0YS6*;HS{ _ƽO庽0O֟NM(ELB{I1dŐK؏19+2W Ma`SDDaMJ β})P^ZFK X^?<=0&F7Du^:שRVObk ^2sNZ*N~H0+vc8&=}}g+KSjTڙ8 YďGLOǧhE+y i挋}{ـO lhl_Mfe^>dD${t,N.Y5xFu:xIAz}Bs%s#;U= Pg!8\v_@}GM N?7EB Ѵjk;E-..Rn w~툘)f 3I4{4h=I:&XnY9~[eh]\T)>䬦ܽ |V+.,X{Zm haOx|Le,"GpPl{#+;y7AOZބEL?FQcF*` MÊ-t!vi5nw.N3y6kKY|GX>,>Vxș=e52n랱m`m5LYg^z vf,-!8,C]侔91yv[\TG(EQzk~zhj(4*Om+*="򍶰]-0Uj ݦܴB'a~8(6Pi ̪heT‰Miɝ@ t&]rޗ>"= H:+eqmIzɵh_ɯQi/Ѩa.?YY;o![;2 +ܲ,z=} !cm}]GQ6b) Wbuܴu𴕭4N((*uc=)Z2֙G>xDGJě׼oTPWuZ,:ǫ +)vȎ= T) @@Y֊$o3!j%-.s;j|&i4ָ՚ whHC{!NSҚZ6zEU~zU5LufW(T-/K{ҧHV;O#'0ؕ3uQ%$ZJ&zt>cWn}nB\ܝw@{3NI$|,xUs3򘑢잀N2 -!]D >Sт^c k(`T>rY |aMoR,AmIrm!9C̗MK!QW;EQft_64akr/˖:4QdmNvzjǸW= }&%9Oe%o~#j5պv~K(IָX,ɉh!Ihe=t.vݰG@nNALW*^P24ƨe*)L~P|ko,(x,} @Ü@AAOfjЉ@Dg;zy,J,0J΁mK@]'>1[8s|N^ 2_S \Cu*eqH;*CͽrߒxU'.Z7KXZF rZ8΅Nk2,&V_h^fOQ1T,&msa&:4x!9;Tg8Sl~7 C m$0ZԶz^M4Oy&t@>ѧuA^ Geo_\E^eL*iC?IgMTe.bBt;eڸKt.OF"f"9dLBi"9AF\TX~plē":6 }l'IѾyMf2]EfM`+zS=Lx捊=oI;¢u/σm@+% Ĭ̫ޛ䢶k몜(*ڮR3~JxֵZ@ݣ u2<0#i*yjͼ~Ӷ2NAqS;/g\h„ԙ>B>06oR"JG q풧:CUʌ&DKhoYh~&:9ir T.H#Ś*E e SZg~Hтկ}'MKXc L H"h/} `?y/u"Iƚe[Hwxk7ѼXM0?6iiphDh%󕂚:G!Y|g.SrsK1:F=!EkeHy.cڶ(Oz ukO s,KCq8){'!ᗫ"1nVhQt<팚b| ݍmŶDJtxti݇]ƍRC\v+H lKn՞u' :*3SY\%|/%pUPEtK "%ۋ)a0i+oώL;KT䗂ytBoܮZ4rTeu5ef\buv&j>j" 9~ ֵEv~>Us6 .3O Mbujc픒oF{tK3A'@n,Qh.JEƳZ Z}u樂:-Ci#E vO<beSR\ @XQ`;f__( ?Eq-#ΒT-Ap 3얭vWjA1i415"]ltZVן(sۚ,|(NKpwn[hsv>Z1!i[K qڊx$ lQe-o:I0Jk&g; nM gĔ#w1avq.璓@Oca d:إ-jהKp /r9ul1G ?XL4gsv r 0Iw]T"$^9QO_iSSj %> .{<. v~j;|)J%uF58Rr fVCy&`q fܹ€%LOK;1űE99gS4ۄ }GPc7&֕N;KAӬeӾ kS29 !'c쐆+<ض6*8yՂ7! f4˙DvU&=B"5H*΄F8gyHpv)T:)+#NHigWX, t~E}+M<R=Mv엕\qpƳ ca+aW2 eZQwq.Ժ O&C.QLb6cY^_vFǙE!Gt\otw֑]gYZ7zXZִF! ]ŗXiɟzJ&Wf:,™jC&%@ Qi1dHʲω)"`qXXyx" ZMsȄL]fyd-Y9S^()}ڬ z& %)| :f$&m3V⼚0o<&S!}WI/Li I=DmK %0qK>b\2FcHgYZ7zXZִF! "#]ŗXi%;˰ X^Sqi0 '9/V(z>/1ק GwLuWngkXN^g W2tVw+Bl8O}1X&,Z( 4@Z$N`YCԖw)XV❈ tYT l3 [f_3\ر`1}ɭĬx֫VjBAbVYACJG⟙%dj~[D?\.0W$EtORWTu>Yo n; QE]gGuڲJv*|a*%_#ZO p걛e=YOFàVvBb[:58ҕtiJiO TVX]9k^;Y*6[M@$_9<ҟb`@VUa)aEzV& Lvcތ}P=>䎫K5?h`?0Rx[Sp="49}L^||0tF+\8m8nX1~q.Re)̵^twhCKpmNv|`:8f MvsLY`|5/9&_Qk!e!4O`|%D38[SQ-18ci$Y3 ?hN)K]EB8֜q V>KF 9M= k@f0N f^K̐taCQOw+hX3uO P'' G-Net>]6+ a+!}`0sdO[^v?)(,?({"1"#F2s*>M;FO D3lG+vm$^=؍T\&|@g!dMMO4Py#_U ghȠBEX"o=*,1j [Vmڸh. tǾݹW+5|Jjg[(17F+!!qѩ0giX nCEЏM <{C qc86w,51A_ŧ>ƺDCw2mR|`4:Fqe! Ïл$~"8˖;\Wt=92 Wmn$ d(%Lu&Idq)&̓1OHx؜KBR0[;u8QyIGZ3| +MlfmԍLd_طT/ .áUUKE)*Yqd}LuB8(DRqP431>qqn, &_2-cd>V8:wV]f8BFHʉC)*9OԩRuOad8!0oTIee[eWd|Ect 1Ss4!{3P=Ccx jirqtQO:%0#sa,:(o3qac N,=UdžT/}TD&2 jL$2tHB'f| Rx6];=`SuUG4KJWeFNy[@j$BRԾjр/۳fw _I@Ŭ: Y&RƴO@V=tiX7Ň*EY-H=pRWe: fv)#XJ' E6zPy'4 8s8v 'яg C-Z,j 2WSz4՝őOq V@?ӾӴ2FY0 RՔC ͵/kZO7ebfPn&4jy2j,.PHh(Flުs;U1 1تoLRR0+ۣ+_](W3K.36N+TԋZH+|#Or<|+?`cEvK&]l rO5OrZ9t<+W >]*Jmo=2@I *apOw]5N6;}҆"zXf_*%PΩEUCKcǝK9_9R ER4kUV97b/tQIvMCZqpzZXq@ڻcR וF`r^GJ-* 5 XVo{e?⪺jCt(jDE#}waa^Ff/™1,A4- Uvqt+̭L͑yt:Puru_fjP]aϿF9"PTD%B6\]*S@B&LS|Md%sR.&/ˣ/zQ`/v#;:ӭhuWDŗ"(u tUU7rXC}.iZx<*"=BpLFe޹kYW.͕4<)Ɍ_  H_ v &w{|!Fr Rf) pE=QCfхO r X\$2N(Qmo:2> KhzJI=V9@ePAl]*{9yqV4e4vM S!(1"!Kb.FPഃy·2[jwdG* éS`s$w&*X7{k #ns1Y2 2!4 W01NZƛJ'DX#?zʴh㛊<Z/,1G[CQ6DK w1+)1OLgGis5]gș l\&qs„2bNHݣ3^J.g ltP[d_cuݽ\DUt3dc؞\9A(1m=)9C땵B#dV '|ndj4eռ͑sG|τoKu<4:26^|y_Qx$8v{O(^ijf*&LIpEqE Bw ˆv?N`jr7k*fm{rG7pK޸rΎ6K+Nypxʎ3S~]d P Xv\|\Փ=̜t[6lW;p)piɠןMp$a: Ǔ-ջ[53ղgR"'FOpjxR9]}kw/|`/ s8CdKM>3tMѨrVJ 0k^Qh{;/{rLkbTRS.~\hAu|U䰕 ||js4Lh3~xεff[~dŜⰑ=`L߆9{9ikߑm{S%Ԇ3uDQZZ/SG"),֫9n9vx"O5XL ҂k~a>ۮMI|X~?t1hhvPIA[\Cft2S5A pϞ.I~?"#έiȩ';~d+r% $ *}^|p^{RmD48,R#tpVg#UXHi5Dz"x,h_DށpLrnܝj@I#&-fRHNL^z -8%yE\c3Cmeα e(N B&٘%3@ϭv(-bD~ʿ:U@Q`v~pIB q8hp9J₈a]*PJ3i;Yq݋Z:`Uċ? ȲrLUN62*07Gt3zݕE*0dˌ4oT78ǪbO׮LE\IC)A5i*ῊDni@ϱ29J0OǿM#|Jq`Q#YK1) %:Arj~H!`tBolvBfZȻ₍;HvQOh 3b`ފa-G#ڳ@&ô*sCҗI4mo1r>~#=-03 ?J`*繺 ,ueSCed=\ޠeg Ã/HV1d9iTj[KpP+(xleh/!?єư[ d=W)4hصUNFi8-8}ԔEsH_|qeWP&JRE CY3w:lTUJ,8h#N}Ģ&vb\r&ߒ%#y.)V+yha9>@S^ECex)UAycjs,ŧӉLEO9@V:|KpyX(~=q i3~ i$90R&.1tn-˘ m3GpmX.*O%8^*d laY5EOك5-ѣei8 M7XdhJ)}G^$J[YPO2(3\uѾ(QbxFAݹyS:>+oϗ@39}gXî-„#靎L.%UĬʗ#[|y~Osl@ -`\S|cưqњcpŹ&ӌ `|5l:]i7 y [Ac5c⛍ CwE؀y|nj2|Y;wJb|{&dGNK ՚|i; hqۄak=ȫU_RN|@-"UYoD~L^J@N֜L6ig?;'LȟӶ i*YyJ+G\)<Ne0=lГn=F[$vdDڎBx(dGe [O)pR׀-d ]'G|5) C3uH.MӺ-eIJX^Y׈p ҲL8V0 6`fDIX>n^Wi!Ą_Mm;WM?݀cأ~djԍ?P['N~A)#Sb0WͦY8/#5"<,-"]kn 0ϹMY&m ^4_פ-8 2d0W' TkODwe[ Yo]!6' dSɻC`kAٸ#cЭBԿJ`^s`syFB|DqeEsr-63)jt{TLk`1Q'M蛮.4{c.>\plFsQQi-b ^b0 Z7uOXm+˕];-AC p~0s˼:-ziUG p~_;wzZ/ι3YZUǵ8h1ϛ(NCγ!0mdȺ@KF8)>Pom7|AO3̐3ZT3VpEϭ,qژZsNx ROn?wZBSRRlpG8Ҵ!Ԝ* UZ!X/ҍC>tN,WL`if&/%Er%A=IvVү\CFuJ̇clR@q"d:7[9fO9eK?mqL2z9MH?FK}XRƍ6&cT;]@N<0L 7MhN }%F"uJܬN.Ѐém#?T:!eQB2W /O.@8u9y쥷.,Clo/(4"w 0'.D3lsHlgﯟI႟ޓrpDBcKaƈ ;hڳixt9%${|ƒ ݈o8]J dW?iV?u i WN|q[*<"/ w55>0 A=޾Fq@uay^J A崡..B Dms4=l3J!NX.MJo(aW71UX $y鍕fWSDm ݬ#%JOOSϫl*|"tM5^{mB;ُ |. а&HNdJ9%GhrG?U!Bɝ$'xGW{KIw$׫!IV\sgf[+D]d8 ,Zpiți;D5.2BB׼W{4ںS)Rz}=ϫ5YZUDGJ)heŨ>d@@v= 8lḱ|*B@qsdOR'N|Q7pj4RW1YhHWZves8 QWI ]N:4)k,tc}aHVdjR%Ek޴^Ѳi" ;̚KDhCyل|r# '5Qbɘn(ߢ"l:f("={||sV)d5?yZP Sɖ$謹,PBjY)|'c;<>=\-Cdm3` mI>5rAcBT]!G~g&V5\1xE nUDnB@s\YU/zTbSo:T Hazur nt_ Q0'J-P\|J< "Z~ge[G 񤅅gYZ75bfd73c4d8e6abe4a177c3cbba0e863056cf9bd6b223331e017a1273774b77ffd0c2fd583138aba 59a3a880bb4874f61b767c399786d7d8a5dca439 943b9a5f48644d3c20029fad8cd5ae0752c3240a