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 ]AdD ] Dependent_SIFUM_Refinement:threads=2elapsed=160.714cpu=286.876gc=11.436factor=1.797zXZִF!  ]ŗXf1-/6vRZ᢯0G4lu,e=>M509G>30t~AU.;KҊ.B7p /7~JUٖʛ"7& 7*;~l3vpۧiQv=GU~2bClyk9MVoHp?A[sN0>z|2Q Md}*Fc}؀ E$uQ}ڸ\ OMd˶;.E{/˼T@<{An1BևԠ(W喠 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,AmIrx=ZszfII-;.7. }FҹɀFg*lO6$qx{C%*^kkr@~|V5 CTܖVY?(bب74;=bQ2DnLw x?"+Swb): [dSIuI4.kg,;L?4}}x!1eqOm?߀tݙ R}0R`L+cpIWZe $Zn[&ﵑr5hŊܠ2#Cg+Ԏ*ԷZy-OI ;F-߽mLJ=$%z&9UtT8#C*AK1!ppD̥'(5۪ 6gtek<((G|O I'8E\y.dp>8X]?tHBQwA`msyͭ  \z,+}HL%֖8(ųgU<q}0^K月R63J`Z7eǖ.꒣d"6FlGG5/t CL}qJFܩDLe3ΦPGY!fb Y#GC9tߛ }ЊRw7~&`dЊB<.z;?#fWct2Kхw4DQ\g!/$HKZ)W|Dopm%~=YpD"ütUɪj{!qnk ί;z$_7GNW7z3UA{Y8 }.*D=vsɄ˿T CrbA,4h@Jgn8ApBS˷]M/"lKT/B> ?擥9u,I0H@x~K 3QB2 GU68E}! fF9Sî'f*J)[( Te-vӦgz\ )/fC.AͺD -=(Ft$d~Rinx$SĘn"YMxex1Qus Vu*\ vK]ItyQa^v'o .?W'?Ʌ}B06Y٨%lqtfqszV58pQDo齻s &vN^0M:^f88k Zqc3u< ayB!;lB{♦M߷SNx/xss=HO+<"|r2?8#H<9Mӿw\{te ++N/l ?;<.2ڌ(B!ސ'T 9aS:nEMVcfX܃|4t&|JʚiI OshF:r3B_"LIյ$EއV{:[iXQ) FD0 ټuN:^w,:y✅b"nLwA姂5k+ i/F5OԝgM3[7cY=Q}54VѢ]٣Mu̠r~ô]lO(S^sIsj,!MgɎGJD>~ s֛RW{EaC$ލǕ/W_EaA -rBr>?a>$]$AW$x'О3;ֺ_ QRi>j[kM\&AMb@wa=Lۨo`s~8EX @MPS]Skujw.u%sͯW4CsǷ鸞 yRy)b華c1^o~uIA2O$x;6r fNP$zU i āHkhS ~BCZO˾dqǞ. ȟ*İL swZ0n1Pn|uwVaƣL.fo @uE)=Kي׿¾<[r=f8C2fU\6rF"Ɋm eפRD7 WA[sD.3&é5aZ;Qi}Olիx$RczTTÅؼF;դl} i_t"Ӭ.ۘ ՇbG ҺЬ\,Й~ӽfth*S:6HQvG~ l)68hxiqXe^g]\ri֯R҆MX++GAy6*OE:Xa+;2&#,@'8$(rYU'͂Y%D`301FF4&G!mTǶHhq@\-5#e}#t !xcY^cr,!Uנ%+CSഭ:.b],vǹWB{o"&=y z.Q>{OU ^5|;ZNb7#U]//nf#%P¬ed,@K:D=HZ>FmZ WTSMK9aD2NWL1-#+l3ƴ}4#h&dok%[wT5Y&mxm'wDWPe^H"K4zV:7R_čЛj*iYz-lFjRFH}6}Yjt!KT*-REt6oZ^f[p+K!pF/!QzuJF?- }8LO*/6Џ>@uR?7[M%bPGWq,$ifF+sBɕyUNMw4M'Cy.0Rd,ֽր;͖媽  6Y&nZ"i";Ln\K`$@ \Ð~;FiitX֒гbʄi"hhTy$iFYԝ2؝֎Iwp-]Jm 9&f.-߸$(,{ t_H4S~-Αeu`ծ fq?[r¸aKT\Fa^VVFY;{ld1#|sr@ˍgQg(&C檐f{ A1n @oP]xohSTUV":Aff];_9'_.Ƹ) *HW[BJ^Ul96SGցկ#4= M_lurHA6p7.XზETk4ihCf9PDhW5*"x젟ipysG2?l}bه:,x~ۧUǔB;@Y,(Xg0hݘqnGp|u9>=/ 5fKk d]N%cD QrCN(L:=9Q5ųuϛ jvU\͊@r` Lo[{JI^'p0a4ݏ6u|R mB§zҢuȉ!@G?>Վ@> +؈K;Q!ɾL8qVx2|l?=5y}=9$izu1Wq5 f',>ݷm"n˦w8>ؘW$Afz.bs) n;ev_g/Xa&/c;8"1-hQRXN<=kRӧk{<:Aj(,q3X #:Wa4Aq>EEWKStiu}%XR[uzw~ 70=ynqLUq&0AbIza7p#× -wDg'qO@哗?2I m>s F-vy.g)"kq ~s |(w(6qN+9ƆUP(=lpaptSa 'K˰j]wPpusˏț0vїG_U Vknj 1om\4ò HֆtLqnU4@lρ}QG (8_~ibS'?黩xL[wtakޭTnP@3<Β:DBC2>gXS61S-֩Ɂ^vHyr[J⺽O%KҳTK_G^Kebb?7+ty*\bk !cF;(3@-}'.)MC ^ HGZSm0&yO;U~GWRkc9LO!w8 ͝OL6..`N3$2 JBQhRVv؋9J1~yr}&C5) [6:FX0u> (DL^* B~Ue?+Ј0N _S^&̕/3dW^Ra[UMHAvO jOs$V| bxc֩"{$҅[7EH#Rjd8O˲U I|C+[}ug3A,rS[fKw1F`˟DHY%Vs>=&30ZaFKmS?Ϯ8upQMn^< Jx&•=I)l[稃<8|yfM`g:QzK؆Jf%OA@)Ί |#w5I̩fyX5$*狓|-˘d:gmWt6Lp5C-[iŞ|ӵC`T[BmMk@\]Hp[ yaM~AkU{ \b;ꑩ]jGM=T GTGP϶^< OXk\ G;R&Z %q#ѶӒ@|Q`㸆f򁬄8s`!k5#;4kc/XV|975YP Ɠ{ 3 yh@&jzK4ܹb[z ^0BC<7evrW Fј=cT[n=E.b$Q}#ez{/ՎH$mP~X&# 2%}Y*Fo01|[P'bHJ0Ǯ]U{ކ}TJE+Б  녲lI+uky>f27@)ݦ `&㠫a T5+A+,IԒ@Á_(T~})z\jebKTM0-O@&xViBk(ݽ8M7q`$+tȡm2DMmǛĞGZ4?5P[rQ"ܺ}dg /\MаI6m#`= w~jp9k2p*X,MmO(+׃h$ ed2fy1!EӟƳFuwܝœSyJIwi YD*ܲxb” |1̒=^;)]"eyN P7roL|h3Ë +J$R >N)Wg w㠩AOt/2qݟ-/+%r Lmp%sx}QBx[68+gѩڒ"ICO+Kx8k&( t*qƃ}fSS>1534Psri1QUͧg=13J?}@.\bYgQ(l >o/!eYEH!/| euІ(~OV\HvϬ,s<؆ &o%^k1G־)02ޕ,aXo6LUIMHFH96L!i6_ M ᑴq5]o2@Z\Ln _e1?@3&%fEF%YM2hЕPO8_H4xD__Å/5p@!GRg 0J ?"aGbAB%Y-TN\{ ؙ1~rd].3bW[mEwG%25G;U;6vΫNz!L>_ Kjt lڳK0.R֜Oh2SCHnnڙM@GM> ;f1y潞'uč.p 3hg)1_ԧT7|Op$_jJzy'[2 giEz RD׵; {屌<ߠ ^"Jh4ؼK|Ί iHbW)=}Y/ {[*>+uVgމLK|f}{a %+uͦl~ #&ݵPbz2>!jsqVX0#HD,ÿГt/MJXFcd7+ iRUwV9Oȩ-1` Wky`LafwD_D.6}c b,( qdeQ'6zX~ s7 s+dz#4\uN!!3fs'|mKXr@5?TkDo mOd7WYuy=}XꐣKl׭J; gU|@@aS" f܁\.8q&76 I SG|]f?oGH+KGFGᨍj\K,s3jYK8j5_yB<|b3%w*Ռ& Y< [2vrnu2:%~ ڻ*a'_`%@gxUwc}񬨚A5Q^r?u언<Ї|#'EmZh4nx w~Ldl#Zp301i#%6H|e'SK~nUl6J҉Ҕxe=Oh.|; k("Y]m(4m[Ab{_:X~p,C!cWA)nS 0 8|dvLdXj3GJrl|JhY~ai(˻\wui-it?!}BBnp]⭦rrpY;!T{Uc$-,^a\LJq dѱfSD5 6ia d}5GƦ|mW",,Mœ wS@7e!3; ӈ?#b`z|V։-vI_' \9IvjXiU4iE 0gYZ61cf57d76938a8e08be858f2ff54bce6ee396c170a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300b 2bbca84761abb05d5ec59a765cde2350d7e718ae