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 ATdt ] Dependent_SIFUM_Refinement:threads=2elapsed=158.805cpu=284.692gc=10.544factor=1.797zXZִF! d]ŗXf1-/6vRZ᢯0G4lu,e=>M509G>30t~AU2p6fHs!#Zҽ/ӏ_.˃{!r}"tzwu@1*xhQxÅ,Qi)#}5s?A/]!WT51UaLUH,]w'd U2vH}dJ\W.-`~%OP #Ͳ0*փ!P^~$\Yq)xŢ77ɘ ɟ>CMɀwEBVӔӜ 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/<19`GR6M윗N}\&.^=pU=9h]xlt/?xu7o"T1͉ W&žƌ=N\:H0?v U\((jXS&UM DLbigsƙR_$ȅH5_Ǚ[Z1N{@ÞtC/L)86%6x"Bߏ[Iǩ~hF$, |50Q`cĊN1˩KR}RBC3dR<@NTaUv?ROQ cT!]XߴcNJҩk:S ;j/#ɻnkJ=eܛdmnɤ);;`05sXʘ1R\2S]m1|DC {:ڃ#.8ljpf 54U&fxou>7;&.>:cDuGB@Q~^>n[V,U +<G^D2i7-hÍ ղ^#KJJ-ӷ^vriH98aYc >ـ)GZjc@UzBH;תּv ~@.xS{!vsWc0`'N ]v vEe]f-gy\+ 7wrF05DHJAN=(EK5;X?~O>%CltK _ cdyiv&?3&m<NHtM6]AP姂,|]iR{v8oGgl=Ty Ry[9V/| F]]>A:)L9i[Qǥ^L:|=Pf~x89 :qJ| )f+h%,=ó^Pk?r)K:yl l7D7sAw/ !]ӄ'mk($E9#,32!ax#M񤞀uH2wMG ښGO5%ZZLhB9,|q$ƹU~to?u!^ߝIqQ(P p@k%Uff5C@\#uP\^K{Ln߲ѬΥ>tI?}AW\C~ԅz؅je/ <"w9˫tևiȄO֬AܚẸ{r2f[$~$r@ѽh{]%(r?1PvHЂǖ{Ai%@\;`0_V2І]/WICu-8`tڛF#ڛ{NkY4DtF |no\La~{TxlICe[mFw~ש7ڠ&'gahsޘX gh滋UCL*Pc=,fʑB>dei 2 K[Iѫt1->Q]6'\AvgYZ7zXZִF! ]ŗXiɟzJ&Wf:,™jC&%@ QWje5ZW{a(^dN֪lRG4/Æ)7K^QDHUv&6GrT܋1tP bj~i{u)y  5Ogt_ҾF+VΔ,팆Npy" eBe+֠BرgYZ7zXZִF! "s]ŗXi%;: n؄mkQvrW_%~Wv we|ft1_WYw]*ow{}l / \ksldG(}?i}Rz(gkx09c8XA{x:^~AU ͡gq}-%10 /vn^ R&z?huX$lt,Fi&۱- ԣj8M颯Yǎnome-wMWU_󞂔. Z~z n˅Q,[Ӻ<ϻu r{d?{TOY vı ˀHϷZhxɵ-#TaQe:U:-G]@?B BNe2D~"oUʋ^9ٴr{P|_|A1TRۨ$vV}9slkDX+q5SVGR0(q`2V̴ BNv @+)x%V; Y1F/lgn%%z jvAT M|ºx1191't'6i ºŸcN(!Z(-qԄƔͯdQ7#n/♠R\K|M`H>Ҕqd-}@>5ըu~;9{ .%% d0Qŧw|՗HY)ҪYxpa@Y қIRt,dըk*߽ynZCw/%~cCoW-^w% MVkL.3K"[DF9-}bY`i*eb%@\5{+6>{~e>ߎft1)eQA:?1BL&N3MhӲ ù?PnwVKgyQ@~C[s[%&'`%gll,#L1mфaZB6 Dz\9ܝ*Y\zv~w#xw(,^+'lNoU0%K Y͹v,[[vGba *Y51!5<Ů*q SJYp%AX~Zەp usRp[keЧť>EXʔH[XN464㒜|IyAt=3p1 ţ1'd*m栧/ψqm+_dHt;I[RN黋C_ע;H곷Ο AU3Y6˰;;}¹4odaϐS rL ֮=2`f1P2- \OYUY{N%2Q`##!D,`l3!$:oAhDӤvЙ :9[-X.'Jp:);nX}Ly&[^`vp[ Y{1w80B=9cs=Te>"dFƱH"x²UFJ{b^tbUE( ךmhy 4?Z܊,d@C%cFQVZlNP&pLR7sl&H>K, f/Ugxikz)rQ1?+duy%8d]KopWf?Ό3t Ԉ7zࢺ;2]/ x`!t=Hq? G"kFIa[v+ih (UNXM>*}v,"L+} a `CH훣l+mMDѦLa5TNB`6[۽=]ۂՙ:ar`Օm)\ϒiiX$PJ9:~rq+C%ѥÉK8j 6Ga }X)A5vM<<in|ذ5_i1ᙧWc^Wy~_Vw1IsҀ,ksqԣQɚ?˸R;SVr6dVi+yz_sYwi.hHʝᗉ#.Ҧ%YM Mٴ巣* Ѕ7riD◺ oVy6T<( 3HbBτf>Vn b1tI nO)ӂ|C'NDh,C 5zNUű -(+0p5!Aٱxh/39A7!6PțE=JH'^1*ϐ7.jn`v[Ul$8QeT"ޚUBePR#\pkr JY(Y9#gw2 2A^M7Ɲ.`}Dh W "!>x*cYJaͭ: dF4Xds9}0_0˼B2K: "SPbpL@pN" 2v-d.Eo?G6@Ό\%BρnFJ/E-)U9NmQ㠇,kwH]@v_pqX"\~DD+1 7Qù}rOMz1}ԋΤϸebPb}N9Pq|&ʑ b{j58b0W)3DcS ?G:diJ(aޣFi<:ø֍f;6MN hoxخ/$ð4g#WߨB4jٹ31}Tb=8+|Sdd KZs?Qah;bHD^z NW%Z>Fs'<:}?|{/m c_AK\=ꛫ'N璢Ӵj#5{jf21#̶؟PL P]XZGpGٔv-wYßsenYuxjAS7aS!KmVisB(RܝR[9X|Toanz "BRM:in=cDRWfc ΌY9?a:;;RQpP˹ 4V Ե˝ޑ9m7Qsgxzg3mNۧ-:dOڱfΠ0R+-  N޴_ ϐgJ}f ڀyhxx7i(%@ t4[u|xQ>VMq?sܪ)qm`j/Y*la`svr"j~5DbHpY1$(<^C4E]l n4Z )l@L^eNkK9<'G=A-ꋉqz`h*IhX{qJ-j%l9"~tOkm/by e^nIz1BnőZq P\0+%ccq7EO((b)-]G'B4cy{`HCoR-q: oT[@i(Nyν{䣏A"߮P2$$5Y ΉlzL_}ЪOz JǜQ]Im&ܦ#qGCh9Eg}VtB̻E'3}N.Hv"S;Kopnp<#AۃmTx =d\_:­zn+p~g1T ߫6΋ %֜@߯8.Nd7[ #nS5v=ϯvyvtq,F@dQGC _tC2T'a;>ר<1Qb6/Ff!_ #9t,*6O2rb.U/^I[jCBvw :8M֖'#]4i7SR4 Mf{ mM7!jpn\`:z d^X7l*uScI#xvX*=C|mGϢt$rA5WJhb/9-.< #G7R{<[Z x\\k46ߪ©!D$55ubI9n wgab:DQM$ <8s8G𶲧.3+f8ande]A+CI:x S+pOLo ,"Еw727DIk_4<1C#[#d.E ok:n1%P!i5ѬAk׾M 0LGrÛhF%1.n*5P~jg>XMQCl5HY0Qˉ#NqtqÞeD@ҽʏ:TJA#@jH5Igt_*U0 %_uo<쐌{L>>m(=Y;z Y1#-zFI8Ǖ7;ПmfA-vf}tKy$.#bz+PTpI=˃lHNB *Qp$upjm9ubU7(k,[qU)͆ם;z{ `.N+tۗ ,f8g/9\n6Wx o0hmUc|Ny:[$-2ggLf>a$Z::OB$xܐ󧃳R,BRZQrL@-mrșPD4QHͣsѲTR';#.O7ۺ6޻bz,N:3qbk@etamOEֶΫVh_=|}˭źA Q$pc|ԈK49ej,L4|d+d3KG S?5.|3Ca ζ܍q.Ϻ;FGi7 y uǘï  dNo;̔z=K{'|^I=bة6oh[·r7-]Ph@#;)NސSG>mʡYIB?)0uaNg qFM#bqUuj}0mj0OMT|dH!=ߋlKV5r?)PC~<8z41?!b z3/ڲ߃)% "7O޻( `1](VKopD T#x{)HE+JuLJofgXu"/ jrfP+bEoP8!*7ݽ`l싐KaOHj3w3gv^k4H{VpeړDiMV> %м@~|FmҧziJS;GF7:]j${e}bg2P;Ȋwl?r|tJ.r86ox&~Ȫ@\T!Z 4.ޕ G@]EHo.}۬]ۡ=kz%h1b;!>)ԧBUs|pacۆ038wO]Ke r1VrW% _C7fsF.j5=8kdC+P#.+'(jDE(A*6OϠJ=_h+tԻlw~Kpt4{xN/؞)|j=!¥Ͻ˹zt!eF}YH}ThFl*_'fzsIe[ZGX1ThPrWs'')nc puzω}=!;>,\ψsFL5/4 ;69% n<)P+UbV^;ezjSlypA\eyBޣMchd-L#rO &ճ^5`F\+ W'rx1rJQv$TǷ2_񒜻ҍ?G c{H  )woSQ$=VjE^~JH!&R눣 ~+ :bj'l< Lt9 5[[w![!UToE 9߱gYZb768db7d5b3d937eb7f3bec13b0dab00ff121688ea26063c7d2b9547d258649baebbcf2e91377bef 86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d a1eb83cf718bad339a379052f13dbb6c2216fcab