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  eAdT ] Dependent_SIFUM_Refinement:threads=2elapsed=165.516cpu=295.676gc=11.340factor=1.797zXZִF! ]ŗXf1-/6vRZ᢯0G4lu,e=>M509G>30t~AU.X~*-!(̖IPYG;x/{@@' 0`wA_X8C2zGc-+7!=|:,y/L T]]IaVpf<6=9.ߐ"&ߞ 7yt+x9##NMU9~?lFUNښg󘽃<ߐ0+N=AT.W4?[|Ş1]s#G' Mt% HƜГb9A2e}*mSg0@d_6^MҥQ5>y>r OeΞsf̩V)otdBu ZF]Bd)&sy{{א]ḣ-Hja\*d1lc w)̘B&wam;`.K_y82QI,6k@~ P,V9AB@;Q<_o9oraXu?< f߈5dLEv:B3[t'HFߕߓ bqx 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,AmIrN/~8XG8w?i;Z`C:+nN~:d} nL Ȭh"\y1eƆ/)nW -}H<"lxT>mMDG<0;q65="4v돺ŒI!+IyJ]v`07,' BȘ  /+Ԭ1 bbd&8|q! *8]ȍ<#R&Iu(pkq s _f##ƒͶCf#4DG4=VW߁sI׾+/C›*_YZgA> .X\3ѭjy$b="*-^n%J"K*Æһӡ'H} , sfWy2[0NH`?+pkZUF)o a.qɉJ$yo)9A/)[!g "Sy6. ݳK֛q |\ |D~~f`yP#W.v\'M=#_C˽cMq{EĂSq^@΂]OSnJ.N-|!zw:a3 ՜a?˓W:;(m|X8\04lU?LCJeNc_}=/py;pRLA}ŭ'uNG_¡hx'k4q-{IkTrFE%uﺩ/T7 R`@D1d"kSJ"]NR%8]Ê% d9&GFu=oF~qHhLdսcn6 Cu+ nHosbeC9{/:BzhCH%?/&*G.^ VdNw.D\0b&&P7$^.Tf/a5u!E8 C~ :7a$52=D,f#1ζ}fkŸaOB=u?+dJ( GMFoPHSTԢ$sZ+ 7JXK]^LJg#嵮@aFuz;xZߟ[0=F c,^m|JAeLJDd9{kfv!BjCzYB:=G|+ffב:ԱgYZ7zXZִF! ]ŗXiɟzJ&Wf:,™jC&%@ Qΐ}LLfV-9 @IVW,@cva&U^wO7L{_jsK%ªLUO!0sbB7+gR l7/㝔_zHDLL\qIi?/kVx!qOVc7bcr._P(z4Zxy¶F9lZVmF3ا: cW|ԌY~tkJ6\n*+y(?;yU/@@W@83JRLwKXiA&X'y5gmOVүPգ>tq~bDZ77ٹ1Q=6=M?hV$0Nd΅E]mk2w.ꂳ1Z\Qz׺SJ/uD(DQeNnoMlcw-nmW>`%tEbNpZOa'a\-K>q%`(?Er9T) p\AA]]1ac[{]i~֚PF*s1E&A: ;#^Kt9܅5ڽNchQ"lYlC&^D1ļg;DS>H Ἅ ast_,Ȗ]ߩsyfu[bim9@l]my}N}[Tca-ACK+q^UJDpVmcݐ!}]G-|6vؕ~>>a$6Faekp,(z[r`<s" jm!(hЋ$!e5vHe"\9&'3޿'x{yWB'Rh皛2PMVb(6j5@Ǜ^N|X+3@k?lِ'a Dȵ7cKP[:ݞ!Xwx$}%TN2;iaV*QI6ۯP;ŊoT{'gl7 BvSMps72+bu ~"}3FF5jC[)[Xzvhs9.B^;4e@P4obw?չL韘@:B7YNP-*N cӺ@5OJEUPBj"oBY w//%)M],wF+OCK&3"ҹ<{Xx]Am_YՐזvSq ;UpxY偏BHŧjQc%p[}lW)H]E^,`ǩ"UY4„Q֡u]>7 @u`/YO!/wmO돱: 2Ġ"1A>?9RYs!p) mK[Ξ ECu3CP7'go[8-CF׷R ] smHh`ylJTV5| oKXa*&qmyb3Dt7D&yjtfJs0E-msv=YS ;A΁B!a!d!lu^LM. y;=0ςP?b[Cqzx(o{/\*HRܾ"6̤)Ӧ<8EyE&<݌b^(uyŶ"d"bKGqׯQ$ՍӁBA ӎUôXhuV$$FoB(R)Dݗbj͛GuCmGv~^q4 !D$Qw7B0ϸ83m=x$a+$l1G ͷVƉSx5/&ƕYQU/=U؛b.gchC[ !g.%3-p;Xb q Th.O>vCd4q!= ͽ?edC ZdWYxWșm|7 8|tЕgΠsR %'}WS25tUBTY>[-C.Ans>l.s{KZ#M 7z֊̢ɡ3MPXeL1tpJDc~w5 =gEM}pm^Ipl+saiWA+ECD'*3Șik|K!2*p0Qn' Nrk_ˬQz!Bjr+fKy.1]4*Buwe/STRť\W972Ά烒cv'd ):5dps[,!qVG^^ }c~nPIa/yպ|Bd)霏:Px/ 8oF&xv:2rw%{ ^J}ۤJ ,bWqZ@ތ@S l*SI?gM>YZA%&yevb9#3m_|n=_ p! e_8̼bHJh&UrկrȸI{؈Wd1P#\՝Wxȭv 2 5[rTfzlHbD./s!3q KkD.8oAKkgR%}pZ.B"@p5#Ô8=SzJMJd"z:ϸ씗mitU+%jhSK2&1Dpvr-RI3'ϕ_C,½sWH HyQ^By`z朜0R2-h'̀9(y^\yD'Rӝg{RNWO(B4֔=.UߗZrE; xU͕ʬ'i2<Ƨ^L3vup+y?)t)&zWNi9~KR_dm'ꠎDG`)~SȢLAK$x3֌e!V: XZW2am&3y$oQ!@R) LW>Xf9ͨl֐.9VbL43or=_uTrMdsX@,!a[FI]awrר Bnh<:-uf N MȾeh,o4yi_ߕ7ea?tdcPGpLP+)k3گ,>pȋr? 3ޚJfBJk*aU:uCͶz.,.-B ̛34x6ȼ dmLsK1211*Zn.g51?J# Q)[5o#dUYO7'ώs(ˇ%W@V,BδN8=#+X4juJvMZ;zzMҳZq֭]!#YuOHOUz+?3J.ҡӊQ /+ | #qkD(u8?F-V±[f]e9fu J900xhƼ- g4i>)ҿøX}g}j}P3.$TyIX ;t+h_Gj ? -)8<FA|Wn 'NgVQ&!dћ~}"Yk=,3flQCj~R^&T v:B_y}8!/ a$JWc ?JZPVH\s]FF꛳EQ9z7ěnp%_irZhdM&UN"6~/m1&]S+\E44qp]rpYt @]D{?[Z>ٝgfS0=v bx5ʽX%k<ȴF6R,UOxmZ>k$(]WIiϣ,|5Yr2J~d%ÎXr^;|ַH։9`qe]ڐ!4KGBLYRZb@DGB\ADF\R5')Tvf?,vE{k @x: 89&,8T+Fm߀Yw.\dfӓӣH7}uIiWp=g+"%QV2 ΑbYn~qō\} ﰁ* |QkyG:3 G .Mv6.Hl JSTM>þ>Ttn3Fd9F^?ڍOf\^+7&3Uy,?m\!00m64r!Vw(!,LJ\7ur( a,xJ5n,VnE>cҎ=>h}o+t-Gv.x r 8f.M~fGY2 nm*E]2_jkI{pŰ)[+9tN%z%r8l4z"l2Z 8ayQcel-!%u_c`w]^u]+j `iMrMARaiQ1r&P{ R&"R? p!݆մ§fdnv{.vg&xΐl5,:66htfjkRXgɚ*_")fI b58L"WɩIy3$/{1;e+"?}>gͳї{o^\*^{qn8^hCzԇx^m+W~Oϥf1ʌe٦ @dM||^@7 C&pd N1^ 8CE|:̅ɮfЀL_)>;@9CjDr[5FAm.#m22pnG6W$$-[H8 Okc;-ٛᐆP]T)_] @E`Qjvx0J Z ׄyevﯷo;BhPSnWަװ0u/0fHlB^blXf՜k}8G ~m5}"TXV2i"Ϣe" R&L&)Aq8z`Jy^*'-)N<gmu7z⩠̈́_j-srQ¼+SC@USfMg/rF256ƜEZ$t:%ur/FPtl7<^͠Fr/ZCHjSm7$ctD`3DmnjʄHx }W\Q5fLe52fY?<5(wٮ6K=L}@b3UPcyH w33e{1}̩ ;ea D!mVGŲwQp2D=9 y{_oIi(gTO! rBj+2W'p=@עQTML"i?1zo,oW`|H+ȏ=ѣqEj1(Z,Ǽ>p&Ƿ=B3'`G,.M Kf wMt0z}NIp@cŠL%]W QjfcgȘKKVs8F畎OLv}g&>gxdd#E@ro/5s[P!~PߓAFi{VyX.,~;AW{~Z&&QN3Ic0P٩3p'nVl,SltR%֟+Z:( ]a뽡dڳW\\^wNұ"*$ɍ}i"/vX@"վ/eeFY @煑(ߚ%Ĵ=!䣫w:Vj5=&31 ũ>`񶧐U*p~[&&%2%dv;l# T<$BTUۋHI좥c]ލL$UrdRxmlp RQaNc8SEӎ}Gh &W<"76\2 bP(i'D@W˫, F~@k!aϗ{7^5f 4*.Oϔdi֙$1dGu'xK[H,үX+1_2*e8ɰҩaUz$/˯5v==&N[ Fٖ%yβc#Tb,o(&J>ă3Ƭ5Nm=m.Mz Rޮa=ҍCM"BlL&#o4[xqNY-ŧ tM kU@\}_{&OTZ?9Q&Ƙ5i*UFud 9%-nE !AR4~4a'͆t'nNHbՃtPG gYZ48e7eaa6f1524cd2a8b761d677695990036d0667e6f176688a4aaefe6d46dd50c332476ccfc258e7 b1373408ff8a4b672bcc15de0dcd755f3183d38c cc3ab17ab87185774557d39d37b0c0c19be9db33