SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ``Az l, ] Dependent_SIFUM_Refinement:threads=4elapsed=210.514cpu=502.220gc=14.9687zXZִF! 5]ŗXiɟH)0!h_A KmKxTs)*>&Q OInrge<벎qc|rz0Xx;xF2oM{PԖ呩_+tkkGs31C cxω~&+[n=01^zCg9ʶ(CV.P0/y),"}{ TL&?LM9G>8jQ+\Sԉ6oiϛNLPb\hOCԒ Ѻ٥/,bq&yg7|0(v> (WD[&^q. x.oϾF eƛO#edVk)-t^ȺpO _)fgdSmeuU?\,Z{.@dF\M"21s~!ai]΀ "_MXDdϾ&xye{?/:E# %s :#@_70D߳,pZg)oC;ѕ {v!DFxNĊ~Ƀ( g@ѓdqq;W7\jܢ4T,-Il˩$1 < 1LgbDŬc}5 Z[Yvl޷Y Ӡ\WNiM`+#e`Z'fE!zVP3XU0 A)<V׶ԨAhTΔǜ8sK]>om!LW恚^>v ݒܶ;!^|@ _^X9IJ5D/Uri \k c@ypA7>ʣ)\':鐐-u)d"84[EE3qll@wfgb`lg|ѝtAZg c{)gpekV#/d@X09)"֮vHSҌ:,[c0R7ƚ߀>!ܚ18oHl'ͣqF!.0]Y;Pi#{"e5ng׆o$<4ZRk*Z銪E!U"Xےlr.1t2퇉9S:êTV^nF{4Hoݓ9 NIFg c fZb#һ408l>.ßΔnwϙm^1_lzzNaUHݛcZˊ;= j0nF>بMGZt_qW@$ g>ZoA/ktF_.$Rw&g:x=a_t\58"Rw6Je2wUבeO UfyS#A|o$-;❏wD?kxB>W^tuɴblPUlsFgi~cX:s*|9_ lf6\ӘpLP##lɮ`aXͬ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?&LS伣 #g3Y:O`Ǜ@0q5-z9Yv:e_Dotꑂ ʲkvF!EJfyf2+X/K@W+e.6*Hʈ}DԳsV$qPjušX맥Jɺɕ ȨԲ{}ϐr)otX'haE@;E@sޅ^jTTLsOA^x")Yhk9.C߈ۦQǓF`9C@jcs:=yl-WC{-ʖ}3E#ؐWq@04/j*oTVګXJ ݗ5*"}ն.GwKɠ~Fb rih`8Rb*t=Z~Hne-{J8I Si E#>Jv|pi3ޡslX[%h8{I&T/$r <7}aٟ9~\çl Et| WNdYeۣkG.1ezwa}RCGu\5%\6lӾǻS='ۉ~ N_\5gfR@rQT4SUtoUt4 lxZєxI=CT-5lDQ6r;䠂D~k:ȷݢsGX|uV]˞ki2@o38dz}gk׹ d k+90*|){tPvYb;1Amz07$$w'4-i|rqk-0vY|1SK'0|QY;zeӚ [^\ 0~ s6e`Ŭgp|='⸓ͱAK:p#+%߂(S;q8^e.nV9b'|&þ HQYlβ}`5 ŗI!q23r)1{#kob)"5~5W,LZ92ȇ匂֓Yc#V?SM1FWn:S60AuM~l-g:=m M[ESR1#0EONk>ҭ*$f>&I5;lZ8-mwrOĊ@ٲkkⲬan`Lbj=߂boq=KdްePuZRt*jͺDVRX 7wj?_~7ц2B#d2^ ӯuhh8NjLpˉ*[ŷ>I*7.Ѽ- ?.LD+[(h&>w98I ʎ,ر ĆWpƹW)Rk P[Nٻ×Ǵ4 FKP\H0=nGv#G9 'tgBjBNjfWvXP-|-xI#/>w-п,*_4N%\Lk[ƫqgu6=#) G% !{ύ>$)n3~`eI$q&aLGeН@%?$XYal'UJ٧tÇgH*B_WJGo cÅ>0!JW]&t!tAX7P ûM%5"8&tX}Dc: G>2:-DaL00:o/ ]dŝ8HWrGFΏ*DW=H|ʥh E lf)*98'D GO@DŸwwwCxxХDx o#Pj0kC]Q/x973=n+ ]nd$V͊ <-r~)[ŹA5O] |0A\2E ;na6C:7~a 2CL> )YTCRK*~Gu| Nw~zQ,NlDgf5@Hx;ًt⮡0)G{IKI>zyV"]v/H+htyyG<Im0d!Rڤ zS 1a.^Ѥ¬>KzQ. lEoz3l벙_˵s3!E 8EBa4>^d'lWկrudg <xҸ{vm- + ,ߙg@y7J p_2::ǫHGDjc DMWBCm!'֗ǝ7~Tt(Q Cل5lppٿր&@1HӦB)z4q\ <쵋3Iqj! ǤU%G[b7w` iTypPJa~aixW2ݼ0a=lP)d 4d$Y) -r>^Mn+$l&jr] <Lû +m^oڙ 1F6uڮ_ XRgg~c$7^IuEvOR#K#<3 95PՓACD<p҇ NHLrz'*(} :HkAlMoZ鸵5ChOģޘʀR,"gVRe^D{D㡓5e7UҌzԑ0@ƏU^| G^}EPpN'~zfnӉ4VTCqvl4 >]"Fؐ )<,9*BD˿K1uaiG."/m ;BGSEG҂&#xJs1(ɃK5 G[?,7g}'`#2Kq' D´UG;*%1"CUnܿe\8z5N=.bnj5srsٱH&Hw`Qdڞƨ~sџ+ʤ?fUM`r {J,1uYSlIi r|" wy=\̈́0T99S[쏔cȹLQ456>[x$_hV)N/\TOBC:NDS wBw7vs+ftA_n*AFث#R}xB ,w",u*Q5%ig\2R$C`2Rb1cīQ 8{I?UF.H&dvFs[h5Uhe| a.qRQ)q$NJ;ʲV6e4 Ɣdw ٘`|jN-̬~ ;v}KXf YS*KN fm s&&j#yRQzdQ1ؔ x`h}CO=NhiȀVёJ TN^#P`Wc!Yo  \n[OcBػc-+oAFZp(u?D9;Q A1 5q RcEwE~ W?f34R{5tD)]qYWi[ZE U[~c`xU6rlfunBsplA* 9's:)6w0jfd}ZJ6 5ڕ_ҽb 3KW0Sx4E ]3G6~7TAcfIY"Yz Yщ9L KX- ^qs7 >($cyj"&k_)D=*F<8]8TV5U H0.c52Gs?Vlm5sm--Ɔ/WwB戉:*tR2>DU`lRUC@qb.w2B'=QVەƥwƝZa7wN.4%/3'5VEx5EhEVJHE<켇zo +X¦bЂp1KicPHנłm?R*+vSA*$l$N4+[U<5iyEhz,obi8#ONvv R^V:SLPʦց?FJdyP_'EHo܇8L-?`"wv4#؟j|%e93X*:G2EwV'`|fM$_@ۓ +O?/Cg-!Ù>V3mAr6%MWUK^2Šgtר#sǃȷn`o6m,ꗍVIP}9"ZF2==z%]u1 4f]1y ?ȇ,YX-L縭Ɠ D!ݎOPgm90I݂hnEGIT` Rv1y{ܟdl]e֏Ep'"a[l8 %ʜ^ĢRX1ݵ=yk.!h?j-ІH6ۇ~d_X[6dRaFo5ʅ3AHTH\QPޞlŏ"Tetb伥gkz\cφ =׻ݕd6h dS)8̊m!.;|34gvEqRZ%gA uS%`*؛/a,lTbCdU3$$q!HD尪_"U˭1j4y+Z(zZ`DK^v!YF@5/59DA{{+azg*, Fbjih&.lc3Km)F6}GWTRP9XAD|]!dFIVWtO?[XF;J,&SE\lnmF\@OK0 |d5^-e r6% J喇X?awLY(gvYD5>u`v@8^:0 !&Z*B9!00}! vmu3{dz0(LQ_.S#ۻÅ cpA6 q+co"OKxQ@xRW_!\|8 c6}oWu0$w~yՋu&/̄CK ":4:wyw3s:jCȕ\rJmI?yE7O39x&Xqn2֫/W~3 k! Ddg~ҾU)%4JcJT8q\c*WADDkчwІE4ȕfZ/Oa^ hϒ|A[rW#S(%VYIz ,^ nq(h`4Ҹ,{ -Ո/tL۵x<ۀ_JeDr3AˠmHY~ 48(ieuXmM[#g#18.o  M  '"h6fozL/ \m|O2OL")+kiP%C/7FQ}j+S9QSeat A$z=g**j)v[ ůLh͹arA 8]L8= "' |@}'V۸d:t=E;1] 6Ge@)G9ũoW,jCWu4 T&W(4 @Oو @v ۑDdOAU\DY%ކdt%R.͎boMhkJq:ސtkHYŀb }YO1 ereGb$ߩ7ޮڙnLLjW>͜l,'4Zh# #cnRx3UHOY>_c0o׭8, H T/2<_J35Ah% ǻt16`G$Ç+8qv=`<ڵ I:H o T 7kFDQyy3'κPحntfٞ_,?؆x{a{E_{5HHzB>DD,蒵(%BYA6dA3< DֻZǽZ`t <3:#O;1}$-YcDc[jJ#:je Ήl =jiMF WYhpfid6 ,xpIq؊NֻF}wO*< mSAjH䄨#>:ik^zdjpE1hr@LakO4pb~B}yO5h`Z^^i ? JhT Ax ɮ ТU;?EK"=链NU+v n{n$D/@b Ecr1dHުԚA&:ܙڛHyj-cC ٻ Gzl~w4*UqIp)@xeiթa!h3ctyOe2|՟%o4[x@iV+aL(nDnʜ' ǻ n&oƣe+x}])艾BمA>+n9Ւ40r#vRl&v6Q3Yi35&is"qm+Qbn^'@ %zЩ1[r3ol7(zʔIW t9bf&j&SuDu?D:J -:^J)vwٰ)+/|8];yE1)R(p@pd?6tǝE}]VedJQۘ]0|CJԴ&Eu['~%r>@ Fk#1fu?o:6S )(߶ׇ*2OcΛO(B_ Yo xK#Ftm4e7!(pPc{)IZKI_3n:+\<4kN)QQG yJЖ L7 d9,UG~ ^4q݉!iz8Ha5=!v;&)*49ţ2ZEƴ_|YUU=Tˌ|(Fm~M]{܍y Ղ@Vy嘘< l n#Çߔ} B*%@*1Ae_}&5^ l4{O7N-siOb.8%tپM<0O.V6_>G)1oЍ2?\Zg}|\G2)T1w6'ѩCv r0Y|Vet2Y 0H^CF[Ψ+V2sucd `,lkeM|&?cnhlD']db,vȻUW DNûGxayͭjWL3n6xWtV/t.%2M' <&)| *d-z' D߰pŀTzE|-j a4LNXFfJ^?n2bˣ-0l?Ւ-ޑ3=kF3fhG_D%Ʀ#n h MmJ w 0nyA՗J(Ht[׿v[Putk[ Q1+SPiAkp8i ovlJu*} JrlLA-J!v4obAJm?R!jhQ[gj;_ai$_9`kH/g(,8R[P(<7GӋ.z(=!.wqG}'w$`vڗavcr}}Im >Bw j^7NE'j׶0yL/wK#~}A Y;Rxhfe۲]hk.Ŗbk#4l)2f~5';Iq2t@[B}gӱ eX#.-펿=$)^Ae)5J ۉ|]s~jn&f1Ś~KD!v䀠a(iNI8}jBu?tƽ\ V׾:y7X lqww.Pʧg8\@?zїД$mV\|3  usS zg\,ٛCXR<{>jċNXf>!,.ROL>\jDr{(wmYS"la?8p߸"4TQ^)<)8'y65F ?K^bd5j_=9Ů*^ !'9'T'l&6+!ȗdGސqӞ|2g->o"S0m g EP~U5sUC&gl.^_缯k$eBK=nEu#ZP=i?X-w]I))i,ĠHw \z!.`8cd~AQHХd)I>u` Kr,0ōleƲl.$#qoVzyd\ =%x>W=b%,^!_/X K,lMךR0Z8(~ѱ<]$*lrsM\8n)s)Ƨ(.p6* Bgh~;f2C*M6]?@_fXcjÛG6#:4IEXj;UX[2.A @#%v TTPK+pFv+) 8!,ʱFqyl6? 1p/yJMjGP!݅vA¯٠|%ZoKa ==7´qW 8yV(M!7$+ yS>GZ ["W j+v(,ӟ7CGy.aHt mKŲ Ӳ x "E?UXūǡp;5vqv}to u x HǬb}>j^ EP(>_tTy5*=BA`ʲGqu݆/k찏iQ?3j> yGk>?@NJPtc HilƞE9)Vr%'8ϽrbuҘdy)@d,fU 党͒vFllRX~(uʯ 4 /Ͽ] Qhۥekv}CȚpۄܶ j;Nu?$iQ{s[(I傧psÔd >[+%2P9:OBWtBJP@Є׳h+qXge?ig*~]FvլWՖs(iC]j_L}˞BES@* /AC:TkrOjY#.e[4drsj4XAg~KuU J%5և[ Kmނ1Wf:xX~HzN,J Mi0x X\ <YrYx:]n]8,@ 4K8)ܣT=%j"<uNBT? dWuM{.[mCxd" JƓbڋ?_ZmVsF.|dxQFԌTl8?||@p9%y=r gB ^V}.g|sbiyEWQp888_^3*@8.u1#"~C:}645DVI+]̒sA ,攕s쪩w׵$qrwhc7NgtG'=,";C`-):K ~wcy;<@,UNs>e.7QN|?Fh"7;)cn/fï@U^1yPlX|}NZ|L4E tK Tof.)o?A8߾tnQpI%vzKc3ˉ.T=)bLX`(pa RIܙ"\_ hG+}U/*+":hҐ&Lgntd,b`$Mk'AnUZ\3Pjc8=6pc=5\u`^3G9GZ6I5|yۻ~kiW  |:# wg|kA˓:cܛ,K"(Q%v~ǥ>b&9h)pb@2[n&#v1m"5]Ӿ=CxӋ(Z$ځ$ôֆ~Av!cx=SwˉR^653z SK2+@8kŏYr*OEk-XHS8fn<;;{aA^o8}o VE׈=z |*,5vAS܃8HkaF Uk#LpG+YFUcq;]{oz.daL4 kX7(e 1v2n TdbRkqDoa\KSip55yEv եx[ip|7ֲ.CO +~ov.-А M>B Õ(f%- I򱱕JAq:]/:v阧UI!u!N1NrnmBKI뺎J0.')%v0$Ź ΆFzn0 v=P9SvD뚨1)Jڨk@=_!r ls&vz^z nqXvbF/~? i#S6\KY\h˾Р{tbvDAh D5>xRyʄ­f!X܎iSp0PY"g-m[W }sdx[/|1B) V$YL'J #6X6l5c;X8̿\4Ĕh|Aݖ<N~'P #*^C }8OBt>*Qq5M4W*ЩVmk@"{t6߾k?pq6LD%k0<g^2Q־v6y7ϷE#7u7B"Z5"N&fO#QXPFE8w^nL>f U(-W]Q/< )}XW u94{?lIJfz?v5hg+zEJW/Y0::240V^ 61V!ENdz[Ch yЯr9 6@T 5]0ѱK91m{&Dg+(p2U^ƈv7ڗyą'd |(lOiOl}*_M*P@ZsYT 9!?YWΩv-/Ҝ͠^y#қ{>P@.ȵNwXoobg= Cprjt1#-tdDVOrEܤIQOjYm|8rҪ{ {"Ia)ZQ2ّr?e4Bi6aIcOqX6 Y^FYHMqq|.È4,-o`oDջfЙ2~u&hE!Ke ?[.׍!u'8`OiI-|Cۈ(t#V!˅ Llh5ߡ'[8t/3?F̽P'^@=wP ]=. p (|_v7yDmp P LAhEl"3ȸ$J=̥ B``zJm,[Q>5aC24Gp+0fy?JnXD{oVqR_и#ȄœIc% 2܉*Ѽ<;M m&'ʠ1 i)Ir߰D ݸ^:QEngW7_: ^>َS8c !d֎پs m=)F^qEPLpVT<:WLxAqLgz)ёpƤaNԼR<oL7_c/89j}f mJ!FX㖔^ȶǩD_0\PeWܥI  03V2cO:'KF۷QX@ 6*m]ab]Wl 'A/i J]BaxJ vjis=>=l[|_ Q~nDb&xCAdEv(9C]#-,.ԁ)t}4f~m\ur{:HB!{ b8*,LwԸmi?8$_1*ql'ՠ Ʌ0OC?|2NPseK?Ѩ_ϖz,Fs 2vS6uZt.8~|Dܤ2tސ{QSx3:O,+! /ot"A*d2X;4 ͬܐ8l,M\Z Li>4eMBihXL X;VJ?qS}9)&F%+N8Sz;|8SḮ5딘oym+9 d"tr=8˜jOa]{Tj~md.uAΫ/ 32ӞlىnD= \w]mjY,nN͐TŰ\}OyAlMoΨ>n OnB] 'DCg =l{vX2&%hBBy8 #P}!׉H0Gݠ*v1G4|]hOnۮj^|w*t1x?)&\0Z=OsQ|̷ +dz&UQ $TjrϞ;hRP/.CNIX;Hh9ž\ujrG-lg'Lj%WI{-+!~e6Neh@#ʚnkAf&z{1e\"Bd[/as!Ɇp_$CP̄s"1{g mܟ%#sWfxVc99"lsj:i]+a/CMC~$xwKAڔJ2 G=0y*#mI]z^tN룲ֽtHƃR%9q<&ڂ}_NVJ%T&ެ/7kW @AѼ^u(X3S楐aMҁ86X5x5N2}$lXe'J>Iq~J;!mf7{G)ΒC0WiNBTEHRZ_^AjR AO55Z(;=Iۧ*x&N)ǟ|X0#kgfkqRQ];m82n%LI{I!LP5jarImEM^ b+oߺ!5|?{o!Ph SNb],[U.ID[SKuLId^?c1m3[ote6d\BUgY#o56Z [{{iņ]LB}( Fn(n.US01&H,ڣD[9< Y.{?hQ-j O[|ټrxx"aj3 sD4Q.\E]hC~_Ng1=ł uuZ3ؓI7@dc'F˧Ul:`mJo;W=HN&4 <'ÓwG >{`@Ot Q)&yzPa6$>QDyA7Q/U4n$`#фIy8EG:Up-4uJc=ZJM! wr$3>AnۨhaV=7;A1V_N(V}Ud 'nAw--N즥B-dQY7|18PDŽX+}trggfD2`QH[#Kr%=狛]"VՅ\N4=\|{h~FA[> 1jJA ă`(X?i0~tjԨ⫭ #P32 c)T(Co&j֩V7߶7I[/s&wDzq=B \Ya>(+MX@>Qޫm/?Dp HmkYDi֋4buǝ ʢDžg؉݂\jLyJ C5@v4?Mp;B8.Vҥo ^F@.eSX,f"H\ 8Av70+F҆? 78C:(-x/6O#XBk3.rI_,@آ#؋iل? MƋlF NEZ8H/\OzDn-'Em*\!KfQpJFs2窎hKED\rp)mBo^i-1} 3`w>7%E" = 0EM+Aˑяt`Dq!?,GJ{?z&'۾enʭX=_ZrS6Ͻ&~p׻w} baJr Vc# 2pz#xA(PlGDG+0.[Cbh*[3~lꥬS$ܫ]i@혗 ռ=%-5Z RCXnyAyڸo.+&{vP#<^k RF^0K/WrČF#`GH0K.w2ޓ_I]ouB Ш!NV9H@佮yނe?PrRk쪭nà/nӹ "dpS n%Lc{eB b)~B?ؐ}8@ N{-i:K>Ms~jOT6s@Z &IApkFA_Ͻ$9^  ҘiΙ;0gbOU3"Eܓ؊:0^gI˟Q?/.$BYw#: (3)J ("sJez bD JE \mm!}]Zog[g_Pڠ8!YBa_Ӯa7rl#Zh>]9z;U@E7Қ>e hDS'fc~/#khz ?M5О>>ċR]'p.?4~b<1XջCB>w ThWZj6)4DhDΧ}-y6taBWo@\=y1&{Y h#E)BÙ n lx"}#e]νygVne֫Qbah'FN&G:\;ۚv<&-U"П9M"gs,2NxIa YBcwf ?J]AggeEh{?/™%p20FùƥbǕ$Cha-kK 2tcJ|UCFRy ',~2ĿY$בo9eb]&0R Gcc 8|ǁ1%ś ك5I:.8%QE}Qml*ѤE BH!AB|}9^csvQ*K4}M+*ֆFeTN.Zr#}9Cǿc;M_L:57gd^&ax?Iz,hj%_r,7ܐnjD"uʓECJ2M1XʳIL8WN u3պs-mlwKj]iq7dzݾF"ZLCL˛L^+s?eZ z&|4pxt؄-4ÿ&91 ~<'cՇXB,QmNUqd.pu{oioFdQ^mA.؅\)el\{v|6ҝOAc_Gnkg #2O_/Z 2A(sXiVcg|ni˾l,\K6Q!A bk|o]q(B:bHezg&S<Ahk#TC RCټ֨yqϦ {Y_t7YHIsh? m񭨷[lxجDmp3֋f"~iۿ[nW @Y8i@D{Ge^s<h{Bێd  `ˡUveϻ%MMxTQ 3,7ԓ6jBG򹟱%~CԊNc[lz/(ِY{! 1m[-uX0cGѬ%&c<%m[p3ӶS Oo`6⇮/Mk85uSڌ2"{G6tiR?ϯ-vW!e%=xХOVZ|dw%r5 JmK> eQD.ꀊ|Q+~q7iuU Fi-B_ N j w`Z21F%v{\{\7 j@m% *˒[ iKK~3r㯌Kz %9riCr'5̬^ts9ll/\}φ6VPs|E7} dLHAE"u d.1ÓV5A6upH=b`҃MׯUѳBI3l͆H)$R?ktB7!R+p˝Ce?G9G4`nZ~;Z }H6]6vE\I7ҮzXn \eml . * c[ʯh4l\􈮯~xnVYQjE*f`3N7qo%j?&_OkQ(3=IصYt0*]8"dmtZ ɀAvD_ % 6~GmdAdKUW~"=`A{zmSOyb^27eQ:~5oZ+kkYnJN`0OƮ AA6ƖH!4o7]^^\&R ݻ8zHPhTWGb Mi8OȎr|ɼk)dBqŦ3Em(vTڼi ם_&pucؖ,hChXB,Ȫ"}tHg!Yj)ԢG=FD9/[k ,ԟүߔ[[ʐҹ{x;嫘S:M[pa`C|>uc#AA-G8!Y')т6SnJi]P|1O| 7MAdd>VlCHWDF H%l\Uj\?r5ƚ6bӟ_^ "$o!R\*M3[a~-6SA40K\`cG1|$d>&4{?p Ms¾kV!ﶅ9t}Zf,>Hz6*^Mpwޙ7*AAhF@#[֜K1|zѸ2DSY7|Qǵ\.49 SLj=Yr}>-+rYC4wG3 QA*HrԛۣPgP6i,ؘeTl9hx͗ny3Z`m|䩞k&!x's0f;Q[5xDf<Ẵqt-@l>kG zZ~.ru}Wsk l ~~k0b9I췡/šUD[qr9rUqd!LJQgGsС|0]G,p0.8YSQٴY܆ x[59}95  A[_}ā6x,fg wVhDO7#*fvcԃD#0,}qi^8nnM GfI,K k/\ga8Q#H>ة As'1"=cn|ف-DDOt[SYjCU-\6Ut11:n ET0^"\brˎ=0\"":o\ʵTz56F6F{]akتVI+[/h6I@]XJO|v7~y>~r;I{F\ڗOnqHBRBv`,m:*[:Y"O5oUxLndb-'WNPCGzuazj h#o'7> 8Nh"CSE.@<#dH&C9c)Ů ըsQ#vVaI1;Y _;u-xD_W\ls^%ݒ"  '=tTOs4:5"Aɕi KA׀w0n-_eL{D3jc!:ᶼ Tv-8L&KՃg5/zkٝ?0DŽʧ:A4&oRc^H/a.<ϋX Y?c8bXt?Kށ)!=Hx^)`da#8"N{׌TPIvHw ,T #Lqn9Ӗof6ܗA`[y妚[cnjr ACu9+[UJ7h=P tIK{w7J rlFZ}տ_ҵ~B^m{S`ћFAqAʇ?*zwh㞳_:\cy`A&Վ>5s p=7r/>ݓ\ƶ|w9d< _˧t]ڏ/G{zϙW1݄::r3I!֨E!2 h[}PʎP?J|Z5HC[/QUC6j PTžgt!b&-` $-a9G^O_E˨b $im$cNz@#T[r,XwƟNH3o2VJϋb$ˊ3 r,܅@? F7!גơߣ:ea ~ ˕Osl*(QÃZk:R;W% N4a-??ΰMY+Gymg&{ QRr0YI`a%H|cyN%2Ve0ViRkiC<<'+1J;bs#BjeduKd섁²2?q:٣}9=!puoZ=bbMIZσzX(* \>|.ZP Oi;6AMq'}mG++0|O7Kxiꨁq6 pCVmdvѸ.&!'­[*/-;# d*"`S Ǵ ba7,ML #̮!/EpGf ٮD6c]ꖱK>|g;m[AgfLtzKmVsOv;w7-F*n1x  F=jHjk:f`aЦ8 KwYQŐ$ \ Hٷjݻt$n ceRo# `n. P萺C+3w3SDhf_B+K^#N.$ #u@K-r*J{CoPاW#Aʵ !<܍!̵-?juz!6ED}T7Bȷr7;odJBƈ}t e8Q˟ҶϮs WP|O j!Jf_Lkmk_OTMj *-ҘtdQW!i;{(NꜺ*A>CeplV,>6һ!cw +%.Lks7iPkάٔ:Ow L`iAäeva6M!}10m\膓Ze*=jr&L\qq8kZ1?ZsVB#\LQH 4m&D2 q{J ߢ<{ tG[gn5hExi3>2C a%sDZc=U!}\^D|Y+8hGKnp!{ȹPT ї4rOiFW:՝:m%{\,(!b'1H)xMleԒA W:|Phy ;#@aeK++vo#EޯD{/}(|kCxԚD/ͩyoe{k=*ë )U ~l̄QTylc&Rպ;P MI+hwNfQpF2+&cĔ. COqHVS1Sĝ7$XSH$/x>, Ɯ iol~wTfUϪػN%3K i&xp bd-`j`x'%Q" #D"tMMH!r,j08B*}"gYWn-9Hpܬ*'&Ya3ܻ42W1=h٘u"()@i&7kt`P3ptW‹),juW+uB湫ʵ7{j5d$~Ƞ:'dr"lU%al!Ľ=g!1o.eфE}Jv>ҩWrnJgc_Z)'25r{AdMWuHw$6#1(?R+G̾>\iBwΘOXWtCs?WtՃ\GE!%bc --|[uX3fQv#vl ]VD!-ߏT6VGKHJ}5qg䠘(c&hǹI1`^&Sq<Ο2"&6yu^ި|}f@SV/μu(q+ rXD .YƲn U?Nx6:zu "öS60k/WY֫י` Uny85Vq7XRٵYWѕ-jpRQ%Pщ-H4 _GLmH(Wz("&ˁ>P?v4rva6^Lş7C&H3Ka\>!~t: W&BU_W$0t{s0HntW*ۗ_]I7X9qEJ CBu:eiGEK*~eƵVb WeF 08hP1n '96#hBE R*~t E:zW: -Tlj@+H'q6| pH8,mEyIv~. 2=Ķ?"H;/+I`K⭮S1{Tɞ{p4AiYB@#4>9:B66j\я;S(ل˘Oż fn6ؓWv>(۪F̸.7$G / Rԓ&[ͣ됖Yx viQ7쬽2ƨuڍ?D,gx6+x^;|4ӏ/{CeZNHG ^]94{aNߘ'c!)9$w8yw8\ftcv+q6Xy~٤[j{Ugy("}ƒ`o*u|tC^wKX.7 墭u$. a,iЛLϪUm.Jpfâ2K_TNl p.:+BuN毘jmDUC Hm\P!tL.TN@jk ʞqY&*˒D̼{jx 7~PJ|_TSKvFէ#zZ}G/gxIBi`ά+U+0iBMk<2$qh f5-2d%~w>)^«x5:JQO|&tDmps08GMH:M*3%, Бt@.bn N5Igg: ,uTE$3"|  ;RH̷8~ngH-bCҽ//{݈(%Eѵw~x> [}WKE3أwZ1s["=,epAWyDnt$d" n.9xdmp.hk?MvYdt4 .V3&y)ZG=%~;+tI{y:ޛ_U> u0˸. \ hi ~P.d"}.-:H#Rc~;Lwrl \2#`"!LCʤ'x__?}rӿb:5:o!Aݾӝ),Yr[j,5V!1^Cm#J L5%eizlzE c, -nRI )CKD,2N^Ht5жGg5+(8XLɛ6bmQx?&`1Fr=d]ARL$'ҞA M2k PjhVVz\|?1U7\F-F6W۰c8d?XR Br![_W7 H/\9<aQT8 ğĝ3YzRI7/(Ԩ2ax~}VaobZ\8#k d0kdeuP+4F.bȗ[0G~RN@ o1t쭟[TA륫/kqgoL6~rڏh . C:j~ jdhMUG-5egf7뜱/d;3٢o+sɓwJ9 }9(,gYZ]zhw -b5sQ0M|õaoAr:OxyƎ@;2\*95dWW3(g! x!/pB&;)}>^+۟Dk!mWȹ?# )Yq(X&FF(KnIw̯K/,=#mtV;z2yrŧegH92;j۫_G]՘MK6"6}![Q9G!`(oR&ޑS+{Fz &n֕1g?U98FZpe_aEWD,(f1,` #2lMWa&6 $Ey@{ý~y+JL;mne{p^ +k/ߪ4lbzFvjit urtFxBq؜.F)aؕOd0dfdɫ @ڃxfRoΈ0!嶲*lJ4Vxy?(cIЀwɑH@jIz*FYwBin~Dͨ?6Ȣ=3`K]ɄernJEm9#6JV偍Ճ &j v5"3[N~9NpmV0Ton߈ʉAayZ`_Luq9p,ȹ+ CH5!cJ'OGK[Tb+\ӶN6Lˇ̲iiZHz !FhH ʽ|ozZCx4`c̀=1 W3w4/ufA]X>-Ӊ ]eH<:@!TUOͯۘ&L[ jH7x V`67/8f+nYQsܸi f^t8%]e{z*AT4yüRAi݄0-F oi梗ݪ&i2asȳ]ɏ!\v3)m9*Ryy-aZ`Ҽ_ %{n6]&ٚ~ئ;@ךܲNr'JDc ΛV^Lz>8+jx ӅL–[]X! ؅j[DZ5ij/fjbLV8RV=L7XorHy;:~P*7LVG`0[!.t.>u7]^FN*p&!b_=Ԥ=j.3iOF),j^#+2̸]#R?ͤWAV.~U~S-4)]j=x][3߻@ZK-y/bh#tIMaԻB'DY n9JNV [xz8S"W{I5oudC.e-Q5k+]+9f:4|$Z)V{u_r4s[J癎> ܱx*e& .OɾBGS{mɇ/)ہ]<~(rrmI5/l`C폟~~̙xNuX?0Ӿ Uc%ESi[ h.Lfhybq]v (>,Բ< ( >we[suGZy:q>V#^2ijCJ;p1tAilޞŠ ɑ[NIdlJu}M{G~7ͷ ݀ i4)ѡW z~(f#],rUܹ\HgKlkմ~; GϛO5j+F5lP֗{szK =|n諌itd06K@Q!LTQdvU[d[. tlL^$B[hIzN-v®a0Өliۯ2B|UYTLS-Y~3fq{0e!yÆ='f⬑IrZz+ a0gd&OQ\8c5JL4UjO885W5@0LgUPk]@*xs!* ML:D V'\{ Cc{kqIy\6zA'J[!n{Ee^(,$o?Δ-f_v5V{ U`$:6;h;LtR&Rq5KSnO AO*#ƪߟ6JJcOj^`I>] XplO'rזu)kȭ|J8^'J!Bja{ rQdӺ~|RY>xR[ʢH,n5'jR(g.g9QTrӨo>}\" s9r07$car[tMoQ˛_sP,d"z'a>$1C2rU,8wl B'Huvu\AhѠ_j`4ېd( j ?+ rg0 ujA"E*AL͜YlgҏQRrj:'][ZkZ?{Gs Bn ~[Sx}>Cm6L-˓W0ƟƏuRMad[B‹ *2R0ת BuA wYuJDŽl!N/œseo)Rmq) 7yT6HT Y_݇J߼ۡ=8@W9{r%X[Ev5>l1*6öOK)zvXB8, 3ؖ V۪\*&XZ %Sc/`Im /;[½ڵr(faGY2+CIB`:ΥVmí ]sO"i)1/^ nĔwCڢN*$ܓk1d0ؑKW*q|STq$۷ǿe(z-QGNI'g%9"'X?CkCNԯShЎDtNeT1ORFU{`z1ry>a2d7|hq79.9"kEw/'Xʑ|S%Wja+s&)rԊaG'Rګ`E=E,p]28L1cf~ 44fCj9,,  KF'آ[#U_" ,-gwC'hZ h"kil(zޅtiֺƕY$CGQwu(DƏ~SܱY$j+ f?2J2Q^ `ͧjh򾹉;-#kzoÇ`}qXgJ$Kdxż|"U0wDŨ!kHkMQL٭vAEr)lckc[b!k3Ga6M tվ*ש,D'5d2?1NDWH xOW`%n,x8#96@- )< 68qgp}4su-5ey| ع,᠕_6{W"xc dVQ愷6) Ʃ:GN}i ܨΰxHѶ]7]%H,XM5Xm+bV*? R ?x'<6>'[2xi9׃XLvt9Gk!0 [$| "i~%X?FxwQ[u.IRRtوF4޼6Zv؁ V;oUc4s$$ U}QTA@)ZtUd}J>`"0uB(yVS'[YCN\`pX Rm_u5eaY;<ɳt-BuhD?n= t%6RO WF_VKl? \똘Ј?_ɐ/w2 iM9I?ca"Lv!\6'o3"J<;h]YZyI dt*~w%Rc/z X,6C9$om~pSH0}j~-<RaSVs\2盠xjԞlp*zbO0,׳%kYv0cZiWYP6z 4 kv!]tZR=Eŷ-& dE*N!j+"aK\( wş5#PTbTK1&ldb/; 3@ L[߁'4+bV)xHĭR!&b[>fv;(xlPn}˗Egs,lXvYS6ɩ BZA9U'V,}`g-W9q-?%HL~n<~[Vgaʞźwh4j.#[fGٿsC3ˡwY+g4#w_ګYBŃgui |I:+ҨYޡcy* -3Jؽ#8 xZ!v/v`*°>{KBtSt5V{_rq }"eF⺮W֐vNDҔ3oR_2 ٙHhx*&C- R`a/1P!zTbFNLY3NOz)I,#u2:$-K=l4M*N4dp! *2ݡ|Rx?> HƸO4O-ђ~KGwZ ^,!׺]靶 , LybO9ƍƈ'0ylbpZNoB!t=ax8܂+G@uUyE\ :F3^V=Nq`aZEx"ff\*t|EkIcN'KGɩޒOI4ƷlJ;܎d}OIw~n'.wnJLs~YMFf 2($M0ozIf}y/2zafڀI!Sі(R&O%1a^9'SI!7q"jcLwe|ҋf3hէQثЙ~dwWWVi DX\ dhȜSG'Ŝ>,s fL,Z;E-db&YJiZXA_zƙZyH#ݔb$` ArqΝte%ּ70_ /L6(_Ī5m S/뢆z4Bč锭>̿(kDSc.oRLFjn>MF9(?,KvC%>#u[GjAڙ7m lx76c8n#qL]>J "x nѡD!'QC,:M+wc2\:[RWVCբk;*w|bJR_K; AF RK-8 '.>7@r06lW7@jP*㵓W W@"Pw!FZ+g2fК ǜ-$p5T-mvvAoUd ,YZqh$d+/g!]#o1lp%u5# <^<{R., %zbˍdJ)t{^.[`ou`\B4sdAx+ʈePB.,t\#R:0ɢHn`. 腲~g^i;܅G0* zfƂ$᣺~g10(5R)bަ ڕ0.PP.z2/T?yA `vF^:ge,2:}Gdʱ) JJ4WJ #V{% T?cX@MSBi&M$p.vS.w]Z}j}K#KVB29kfSƃ1UZ\:G&&6p@J;/Z?I*8Gd> =i[w?R܈s;lru ĝD[EĴcUv?<'yk(T7m#$ɺ"\FU,9i)&z;{b5 `mkYir4]k2ҷILb_:sB^.jgGw oa{XWDjkvn Anm7ZAM<1%{Ѳn+ۺ#ԁ^~e!&\$댾ڟ{K[6ѷ/x}-ǽ{D^U +f6/ldl<7 WnwELmVIQVY]u2_((.ҁĕC&'YׂH޻LȬD%>?Ӕ¥XQ"YAAB "?xUd@ w)>Tj@"}?)M.6_Fjazw%R՞#4 ͜2\4d=LϢ"w1%'4.ܦ }L69&Z8C.›=^oRĀ;ܽnǥ^i°IqLC-TÕ};Ax o4*@9@M6>Ylokv?ic@h zY҂#4!qM|G|+ 8m`06W3 QX( bufٹ 8y#dWחyAe3#|(iI$|=+)'5*ci[5$xQ?wEF`!P\((-&RđA)Vhqhn_jo֓VwpmZoÅOeC|MSB _VK˗Ab;)$J8} M޻ $VktЄ9Ke8!>eXQ4m1w!)+qT:20 dJTmr;-.oRRFEłliZJu_qL}W,y_ΰzTo*j*gC(syl|Jm,2vOngd^*l8 . ~i-ʷo]R|̸+Qg ~ ż =.G8>:DB BK59zKҢ;c̏o>p>ɍCPa ކ/{jc4~F˷2d!Pr{'Cګb"g8& BVٷĦZs8B Y$!cX (/N(`Haˆ (ܰ ͫRsf=F᳨ЎҾYSs]^eB4P>O UvR̪{l<=TgGW7jϒK滪'A6TAlu^jpc F!T0abd`L͛~QNhtiM=N09a=0bʒg[u64{Ltk;H?BED,Ar&/tg=:vgKNDZW&?1dxRM*0*˷9 +ͼeM|շ]$ڵߗ]X`Xmu1/.4ztR\ Њdnp-&rRr5`/s54cNaBė {GM`CufYa}jNW,f)5+5wA$Ėw'X+Q_i f.\C&jiW```<.`~ڤ-> vy>> *'5Tۆ[FY}ޢKL>veS[ov$?9>ZdV"Yz`Պ-m%(7K1kt˳fJ6~OIHֆKyi9b*aM#z`֗MBg 6 ^nW]$AcA={+r+q!We2jP[x <\@r[;fEa9T4"woB VbOl4*]E4kSRH|MNTR=sX(:ٕg#bse\gG%#ܖl[mT8ăM]lCʦWs !/D87l@֘H!&1M@j>$*XWi4lC7Z_fr3<3 X#:W *gSǞ,+6~&+kM4[%R8r{W*Q5ߣ[*Dp{;r_9JkCՋ|&Ѯt{xA%UKa`tzU\sdCeQz pIjc ('* A `4)FKE݅$si` {t m<XÐ< 4+!# 45e5Aj1XkrxnJx0vZfg1GVDQQTE'hڷ$xDFҍf?+kT=fWd06SK5a@FjVv\XXD6f/Oȸ5恵hQk7uJؑ:is$%&a!mU-eE 3@RT:%Vgn_XPLAb(uk9`xj4UBGxS28d_y/W$}MAsا#MboMu>GaBI'hKV R;~I0 Z^/ |8C21)i93f^hŨ^^e| >rF@"3p]ʰhY)֐yjO§?cOXUUxyPA'?[:HS 7[F ?e&cɀ D&r@ MF~46[B*RL|aJԁ0S? @e'ؐ6YЁiUH&9H[GV)zNVMws0^ vV&Yݬ(Ω:ݔT΋R|$YH[; TYePJiLRE"&Aidp:V dfìۅ7'q]|k~3گ^Z)۲K fJ֞&d 2Yr#Oze؁菮ֲJ>⦧0Qoz/[n [Ym5y}M)V&8h ٶO~vzٔy^YK㖛"Jp$?b{,i2+1?y{SL 3?[VD>KCyΪOr4LF SR%c%nJ-ɋ(ѧUQƲ":i #_ĥrO.L7 )*@߁hu XxpT Nd϶E0K|5_Ę% բ!AAM/MRX5c]b8$ <$YVTzx7+<̑"TѴsDŽSY'u'H~Z?ʨOTxTq0Er342hBSöTg,u>0*1z b锨ma"&&g'6Fj/Z^[PA{m*ЃPw;[\D Qp*AGaG&?0dg+L2L>)tB1I-G>B0ۑQLQEtDmRa#3DNԤ/|vKW9΢j5!\A*SJT)ŗH{a41*Ty) Ii!_`]{NkU.|߁c%MaG?a$̦R`aJY5ù\Uj˱W:4CuOaz_:3/zBHdg/T8g?Af'e|),I+ɳuL1]F2|~P\Q{+6gF@<.F@Y F7l}U =*l_W\6vQp +.>QZ̖ 9Ú8ök{!S0g6Ck ݄(Al@]|;$ÞG(yW+ɇKPw$oP'G ~-9.9TՀb2'?w~OPaL,Kk=bG5Ⱥ7PۅR]i*m H^\fa#Vjx^lnoU} eD@gl8aԒC}Jħ`X~ĊEm@;gd2l֗ J?O `B rƫ-nۿ:P9m*P7BrT DćiɃ9b3w7S@m G qeb*gɽб Vu^LJ;"2 )/3 }p5RFn5'wC|a'|];.xjXf%+}: W?)8[ %\!*L μ0Ϋ֡ ƏX֨GMNwZܬ>f">a;|tJUŲTKp=ЙAx")6C BlZx2S%X rT)68ic'44GeR&*ϑQ0).zG Q&=[< _aD2'R ڨ7INuEYs AG _q邀xSArx ec*OS-FWna9"DX9w+dE ?rT'[{P:snY1VT_n3#?U.&YAE}jym|\m.$TF^tG6;2Fd7<;垰ިqffF5 7xEr; (?~]㍿3(+GaL({ Gשd=Fv| uۨ: Q<8.0^Hho*;} rZJvbR\UЇo0uYv"R!vH?o¦s6{oZN%>SNU<] F x:Q92᭿ȳs| `-0 8d,#LЌ}>({3d,z"K h TE2@LAED<xd$:7>XI`وEd0 zKrQ+m%>O Ԑ7^+f#[]>R R>Л|]Oig_,sIug&,AZIftAsbi*#Q辚 qRia~uBqBEh3ŨabFW:sx\S*( 6D՗0+p3jp*]%B1%lm[up ʷTnL܃u͙'O7e[$D<{[IEN9RK] zY!ߟ 9_Hb㰣qZߝln?t]o=+Pa1\޲TyݷX~\hC( \ŞLӍQڢ^/WڕAz͘voG^ ](Xi-na(evIHoI[` ַsڠ$ϨMF0'Yqygc  =#_ ]ПNŦ(ɪ詽mr{d%=+9wX驧 Hq!OH%i2)pBkSϵp.t,XRt\I~Ma~zB;=WBǴձǤ_qIߝ*%5EaF:tktis} z*,V wZuȬu;VBuFpS>i`pT3@ۏ {۠J7]tahr<CWj{H!npQ9/)G ݱ6|w50R0Lky6Z*c~r(ڵ9^|GXg\{8ԐSN` ; ~M)w2k"8f֊ AiBeH#oyܻ,;^4ZM=#N>0`9:W~,]op%B"JN(*ׄTlV-[[2wN5#`Ш; LY,r=BVrա_rnnJ, FeSoyK}dL|ALM4ͽJ1jqCsD{ wcbЯqh.7ʀKl#~J,J~,6UXm]S`+4&(\1TXL5ɤc݈3:n* _x6gZdQ_.̰{1 ߾rf;@=Y X}PuLy2HG Qi!,;Y1|QLtEIeRwB/l >VK-2!}+QD/SY{"HO&T>o;~z +(3N1|\wh %I v[PAO$al>RNixg+Gm'\5nicȂe\EV=CHu.S-7Ư(d#3$5HI)T;zUSdJW[>i/ݎCQ.|D`˷Y:A{DHxZ|VD4 Һ}d yoC&f ygeV1D Ƽ5#*[=hhLrQ8F/tZg{!q5d䛤dʻ'}:WqJQF"Pzab=֣3.2DLU-3֛qM+Qg/R[i٘ ?ơe@)jX1GLx.!Cݩ^jcqܪ*^P!&,o;pD$jq"a/䖧} ጳ"9AI>I2&u5,$1TUkaau|Xg1;X"5Zcd^9!>3<_b[E1vJa