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  mADl, ] Dependent_SIFUM_Refinement:threads=2elapsed=164.180cpu=292.080gc=10.852factor=1.787zXZִF! & ]ŗXf1-/6vRZ᢯0G4lu,e=>M509G>30t~AU.J؄.?m|Ƈ75A-٢%LV7r3uqLMu mJbb\XrR; ̮wP~X璊];6ǘ"o!jpIE&N\8B=y7&wNұJ֤r'ۉHwhgԖ3}ͬ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,AmIrl#S};7f9+ \Ux[%/-N G3u!J&#u'M%>rkmwj`wZ'q*ћH|;!<)HRB3 b<5<&ﲽ32;V4rm*OՖ˨ԝ , e5QmM\EA^}wQGyr4;<)RqjJ_"$3{\fnZvbrD,o+o 0'JBP m f79ܩҗ~zMǒ$avs3ek6]8;{t՞}6ʱxJ2MM鹝2iqz}RnNd/_ɣËQ%@߱x'JpECr՝ D-}p)u>+}ݲAb@mP6wKB!;n?.:uDSH%Es%Dn*ꙙ|cJ!֠! gOYq^3/hK6*/$?8)65u8跘.FnZa-m2NPUK|TNAvQV'kP$_JJ$d)_$kP$E'&Vg(zRA%'<NI2r G(*G-&^.5,i}FV /H5$'p뢄ewEUa;& l )PflZ#S"[`3A `J,\i@i08ve3lBX&KPbKVX7jk4W91dIsQ0h% -jK8k 9D{?ӥJP0 _e/mMN=  g՘!EHґ#Q^!RtȢU6g /&9n3bOABg<`Bvĥbd"ZLn{7mlSp3lcc^T6^DqoJ;`@{}@&:g]j[K'k10{OH8ͦ9먂EBsd o w3;e; ex0QbQs]r# GPN@ҕ[%uT4G$&{(O;؄`}tS>gXjYШt[є Jl hslDqtS:#ߟrG,[%c\r DV=-?\K 8΂bי) OBSXFݲ0J&m06|6pL 2{M 09[`>>mٟ^s#zHT!iګ%lT |ZW(p.<:'=N̎-}b;g\6f]o˝_TlBLPb||{ ןH?l34Y;Ǻ>1}B ,v wʆ@nu2gLP۱yƤ!QII9g#bb)T.au"BmR:vz.E̷ˇ4 ? eh8ΓRd4bvi/F:p+>'CσJmeL>)5̯j1ibT5G$^_>3ѯm KB>RLvmgɔA% M 7Z"}%^Vt\WV~B,,{==cUie5XT?Ḳ[1zrʹpx; nuBEBoy|pe'EEVBUdl wmNZ>ÂiD۷-vqE~_h}V{i lC8U_a75 '7%v׮:]gYZ7zXZִF! ]ŗXiɟzJ&Wf:,™jC&%@ Q ~ٷbyTQ[Z! $ǺʑB̜:r{Uy?9`_Y;y2Uz OoX7^RD Yr{$E \/f)|e/{nn&JW >s N)gYZ7zXZִF! #]ŗXi%; g}9R*h&nuXSJΠM| -NKg#Q+-4A96mbtԦ-g?]b?WIRQxSėc Y`xʟla6,qgJC8OKٍRyL}*yR]?9vw+–7w7>B_%?Dرۄ%&Vt#lg}QT7E:*UG6cnj'.6F#={kD4 d qDx4N7$`2΍H" yM^VPv~.CHg6=~CL>JˣpZ "n(&bbc7A u jPڐyrZUvdO`e?nxF1ѩPr?YB\}(edK^231b6o"` bQ6 )|q"{.i]sx؀j)Ї6B꦳r{3 Ê[h1bG%T.jgJgr>R ς=-eK)MlJ~Th`쇽Q^=GNjn,]/˹Sr6| |OѤ%3 B@Qګ@H[ A?7ir|.dnٙzYQ7G=ӊ&0#dtFJ;f AVa)Q7HǴ"™nvc-Mwk g?UZQP>|7ֵ_6w <%Әj4x5w'+B}RL)f!aߤܲ#>#n޻vRK-wpbKP&\fP?mC;y 9g3]'&ʺ0vGGtl٣Yf3#|Lbp?tyAay5C-2a VdsgoLVN gYCxښ6D K'gCb)4+Q5EҊ>o՗L%'"D_oqHH^=ǒH>z*3%,Cwo8xzLlAQ+>/¥O2ç#B CDycqG۪ѩ]7G`1KhO-3uO3砉60YX[9$Od!ex:͎^1ɠ={v> g%acʻvD`fEe֮Dfmw0X)5@Q5j ΰlD Ô'1C{*0++c=8 {7|+p/̋pg*\zۃw#l|N~||GolӓyI\yUn9wQ-Q?ܔ N8u-.&~!#ݒ7 SqPF_ r_Q䎅Um9Q"0uBsoچ qPM2 WGnlP(r } wޟ \UG4Z^M |8pEQ˚N1QcF/ Hӽfr%ѺX҉٭+Unww.w&7Mܴβ*L ̚)@sdڽj֘EaCiH4[xv E~6v8!؏u dm-(%VAR2 kJwLopc|?AY==љ7`nCdw16{1uN\o1+T<1zT}HIE?hH`ٱCIġ:, 6:[})gsS@BN.xXwNϩ #>JvH5?X׎_AYxd?kAV]]K&RݏdToOLG ܚ$V@QR]ˏ7=עJ\&@?a 0X.?ös) 0}{,e y0:ͱQ9$I٭,]x?\C%U#Y*Qq{HWf:xַP妆c Ra+g;25z64!PhL!ؖrx:Tno0'=֏剠geE, 0-D.F^(S+bg~PNUӅq{*;cs/HZӡfub4 <4~^ahJ I2p=dX$o{XBWrs;_CJ(n'[@%NǢ!O%&l4:bi&jˣV]3r'c1):,4iuzQ\ÿj<FAF|x 4 ׿Va%[Rv`&mx4L Qj>Sg[zGF?!:;VDM fΉ%US|:Yb&uKB` ٠NI:9yQ&.mjߔ#czg uzLca*ሣxGi&\t7,Rf_@O3zj"lt0[}2摴Nw}{p͒AA'/gWF =F_bCho h^v!'L_ EVВ"ct0vnX; ;48.* s3k3OyPzC|G1;cJQۑh5.J@gւn-0.fhL˺uّ41SHy]2S\k}޻.k!@$`ݒ0 UZn1i5+ʵF)o6:0rr }6ظktݑ_R[QNR+#\H1,R$ksg"%[S㸉Vh N:%g|b⏾E;*w#ݨ)j.j!n\nٝҮ~ }[!w/H3p7`uh!7m sX/ ۞Ԍ̢0㉀(6,[^^ZN17ɒD'j(H#&u c,9ZkC h>cGtBSUZ>yʢ}E} J96aßCqf $ eAt}E)vA']%0ZEmA&t(;ԓc3O$#vZ5~ǛJ@U19{u>־Z N3`USb *cQW||z}D$$j+(i gTP,L^Ե<8׮ Us*2!& z 9ba'Rb$HBbV'}{,JB"Q%}s)@%䕿3S8RypP mM@x|$=p3^ cT)սtJRL$#M>sui+$A}T6> oբβ8pEL]Dҕp|6`olɝ %95I/Fp9$NaUk{}JVJ)9/'{?pS ^ln++;CV_w}?FP`o$6ʗ%9)fG¨QĆ9n`r&6w!k<7T=嫛'}2fbp'g/(6'K0EYM@kNNkln?Y{tGSGNeL&sXܿ0S ؙ$6ly},LjkrBcɌO⤝ jU>z,P?KkawQ9gSg[j4ԑK+9og ?H%䏄Uϳm0M{&ػ/%Ct׌s~}j'`!jWo{bCz۾ܠAf7v!qy5 icʝLY fX@=K-WϏ ᾑ~>ɖЎC!)dmx`}-E=o!*am\DJQÅʟڀrze뒩[gGe|uUWs7 ԅs_9L*Ryr{kR*^ l,"nc5L٠-kv'5_(.t/jͥS5`ěC/)ﳔ\CxWRh1VC]}ZHxB޻`) i+Ab5SF*{7 cV[r"oKQrs1M[m+fq^B_R}4)9󍾸gIRĈU%1TJ`ΖG3PPZ($!Ȏl 5E#p%w@ rɨ=iZ rO'o3S*ԗ{b+M84^чG5.Lkx{5?γ]CEѝ-vJ8qc.|CZn 8uڵу]pWkR7'ߩ 0틱x[F;ϫFwF׽kHϽvj+e7gy4: 5P¦#*d9*zR )-;.nN5zX5ۗx6j:cV&`҂FD _|YrGC+E"U5}Rw4iնFK_,o'ؼLF ޡfQG0x%Tz YRBJ'!N@&!{dExN @Vr*( DTפO>!7O'*9b{*{yzLdKU/E+[`(r:?7a?TuYemö-B=0ZN.'{Yv tHc\: #OliE30EF< A,`X%Å3^\_Њe!NGEU9⅍b{ +&^CO$" KJ~MASU۞ͭ] ~SK3$H-}(1cP;+k,>SUVɽʦ]mvlk80*-ڕ8(g37m9yz۠G*:l\,´nϡSP>TiD%8<,gn:;)FiI97ȴ;g u C/)miSe[2%Ω)(SH 2),4cAbAҚT1 QIn?E͂L$뺅OMߑ0l o͖36#]1е@k 8 +jȚ`ٹyrU$lLGwʩ24v:V*/0u> MD+7&HZe]c]vv){YJH5c@+CδHhc(n[13Y¯)]Q~ %ԓ4h׀ez| (zX\B<: dsrh2w㌑B"{B[Ǝ$9 ⪵%UR.|`%To'Ii_  Tb_q7?3n)#X6cӌso$k-lXz+|CE.YVϤS[Ԩ}Y=B#y;j o `6@\-)~% ޳}55{ wzdyFAќ|ZڹmW4ص3 uݢhMڝ;1XYj_ŴڛQo'[4RI8 PH^@{]?r*af.o I\BneU}w#v FY8֬{lʙq|}6䰊VtZ`7-ykRLh^c°'waȊ4EbEDroT1 NoPACs9T~wd),/nPvmPL]j_ǔ*Dv>,RdK|3#0+Go) `cȉ/jTj_5^.+Dpѝ_N*vyPc6(A[Yg׀z4Ԍ|⸖I[PKʿ1*sm\Ye1v]foq{}ўBTYؠ偒ckǯ&Mp)a[zk`{ĩNBƾEM3+3ģَ'*'VFNI;ާ1![I|6\!PI8CKo쵳G2HFdh]7Xޱzt Z㣭' A.tu`vvDa?\#(7# &RwZnAd=NSHOGChEn=LFΫDBl8 t}(qPV&Haa*8X\vsJT]wzG\=3 {`0[INE &Wd][82ϭ~XϔB1atBҔP^f0]д'4P̺GXa\CPV`_!BWլ>YcJ(5RJ\lkҕoArY$IA?((l\)nTtkm*puIӝ3d/OT3(fEG==[m~Ky'g̽:(tZYf1Y92嗀}E ^++k`Ƣb#BER0dn^JBG gYZ1ddb3e0f6b549880596bcd3b40faff5dba8d69ff6b223331e017a1273774b77ffd0c2fd583138aba bd202fc155acc97a2913afab427799291ff8d096 1d1840cc4307bea4adb0ebaf85a4cb4b0577c874