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 XAzt< ] Dependent_SIFUM_Refinement:threads=4elapsed=133.682cpu=396.680gc=16.0647zXZִF! ]ŗXiɟH)0!h_A KmKxTs)*>&Q OInrge<벎qc|rz0Xx;눞";ShtbY),MrhF^{X2u2U 0D[y IDzښPǾj8bD!wy3l@hHm270Rm8$N>fh+^"tK\?6D߈/@TFPT&Ν`"l ' ^aN(= :l&^}R,[ڍF4y LE<8h[9klU A Dependent_SIFUM_Refinement  g gm Aq% $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?&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(,gYZLy %$xv\~3zwF<o~q1´r*<]>R%}"awQ)MsgXِk[)/F9~?O˨)' xHrH&քnXT쥘S`F=F@~{nohB9|ŰILH& LkIcH/\h8F9P,tۜ)5xNJ'%h\.8w|6~lB#Ut淚/\)d&>bp,Lqx cUߡSDU Ei5fƍB՟B6$UAėhcod6=` i5Pʅ N#ݳu>Iʄˮb7ܨsoʠoZ 8bѴ0bǔ+z(kT"AEN-k۶"eG.K$ Xb\-+&ۼxO751xÎ mqp=RAQR}&gsg+h00M8畈%bDՕ(pU\Ԭm3T]Wuvν.@LiI|IQn'2h"/jQwni|5 #)3x )Ve5ʪ\?}AdŚ1X\q}!ݴyԗOj#tEDY@;ŷAr&&Z9ʁۻL'U7&9o3r$hU 9]Lhǝ+͜*wJ^Kn9Eb#قw/i)Ϛ`L_;G%W3"Ay^1rlMCԈdS)u5MbP:eT1Pzf9e<- Iq !/V}(Ht Ȃ%*A b8(8 {b<-3)eʋ땳JvìfK)Dq TU{keG.X?wɊ^Gzب 3q_eqj\.*M4p dm%ؔ`nEr:}w'!9Pa9TKtf fm&OL~=îeWcjBnE,GGm%CcTDaE}2V+PӮ rn<3gѴrw)si{5>W]MP ZHW!R@Aa*r*'qׄ1g]7Uܖ 4Wfk'H ca6HaVJ̷ʮi.6Wg))Qx=|I9U)q$P0}8f**Gp˧hf'tă×ҽZTO0 Tj]7>v@vyO{hAD)iyPYZ6ԊY`}PIr$ ~UWAfzWi%qfC[,PON~gDT!qף0"tR֘ɽXlMjLcl/(X {nxYn0f1A]=V/ъHc6oNԠ2R@/ 88}w-EBKQY= [o='_Pì+>.NWa \2&v؃ό ~$Be`b:/~jrHY*S5 wɴT~x sKb{rIey$:sQ%YR!8.sF >4%UNqMoKu@A[޼yY ΋)Ԋqw@6 ι%|jWIp4X 挒ꍑ[3|TK^\ЗZ&tlƖJ>$V8%莎A 6MJzK>(vH1gwDBHjL>P][KI]#eL0x꽼_nnIovRu\ys8t2DSooT~ ٽ.`FīK~EULD}PS =Nx+-qGKf= z%!Sbcж=^.v |V_՟#Y *w )Gv̬Uèx2߉]>GhϜ^.e1|=\z*߾M\n[8>PZ%p۴2x U!,D ,K OZDKWW 4 #p͛)P%s<#0v"?KBA ˚;fMh"Q|i_OmK_BGvE5u|!vCɽ4KK (=^jD5وK0qN0mJOc_j>c,NեǚQޱgYZ7zXZִF! ]ŗXiɟzJ&Wf:,™jC&%@ Q׶ac;ǹf$h.\ 2k/j%*[! !H. - Vbx>=̕Og twݫ_)7XY8-̵EU?,]8fˤOMjNߌ \+?\>cms Q}V?`E՚kq|dXpO{8N>,H?|k5 tIBE1H;dZcT'!1 Oq^jVHcS=L^&1VIP$0$DTY1̔$ A~:ܻOafMƯb+=-2pKҦK6|JGo'v3YtkxIAfNW~p [3O[2r|5 Vhr^.SAz`]P!`h KK¾خ$S@ ,wG~c 6hKwm8One|򯠨-l#;)"6Lҍ9fsl}<{2,1RAemoj)t԰u81ُKpyizܮŤ 8h8#K<"zpz`oƏ]m.U83۴ ojXJԶsӕԾC.jf7A[0|Qr[Wӳ4"RMe'7JK:XnG|FMMAaU/*|rjg*K5_7ϴ$@W^RK¡ˤP*{!)D'JᧁZ-DDƀ E"b{5i}T\!/p;z@ߤ| X֡*)txh^ft1L< -:פ~C+k!u5@HYw>MmՔc4 ea9${8+˰y(6&^MʽEG}J|ac+!KQ LzEK,|90帪n:J{X #F UYK$+EOho+ܶbl`yӁJk,Zĺ:) t&mxy9*ȃQ'y-g}l8HeʁBt U`%?*l6RǺu 1iK]q,^uN%|㒸D ̩}p>W*'x bQS$V~ 6Ě2&zdf{XZ_=Ax&6j2"bUQE ڬ{0ɜsCt cki˦p=J${[x>Ԉ//vQm)\D9 ܔ{ \FrNPl]]Ȫ-g;jIP7[:$:(XҢyS߾aAwZ?Jpʼn(H2DžJMXb_D_UI" ⲔS^iP M-XxЛ(7!LO)OY}P\ܥv͘.9dϡUfljwSkI8<`=j/|&2&~"pak:p%5iͿ4É4{ҿ*#O743ާL7JP t0(1"cu"? /0zÛМ.7ȁ 8a{)x_4)jIBޣfA3ޏW}ّxAhoN3 RF89HX/*8KW*U|t &IK,dmJ!'Ϳpv[ؼx4K?e-WE P&2YJƣHžtu⟊(&#w]+%*ԋb+pqis/xB͝&Et?!ޠ/} inV8Nn8ߛꮹ_SY (()dJKسxu 5"m j!#z8 R|=0?MsEmt1q=!{rFp8wgzWUbӛw_oR%z஋ J͋Mvٶ #Bq7L-!t66mKͤ^w)V?UX ){G8R|emD471qrpy|Wf݄o[֗H*xƓf xViZ񦿻xmc*ȴ* 5}>]XS T T$B(eT-_$P⼫)hLR&xa:%5&?7K]/P=]"b,q5{<-ډ@zۦ9IC%l枂|r煏J-ftF ek]0L>BEmيMRw2;6-@:d}PFi0w-v`AXC'5>0X%RP@g3|YTTx$.#e6x$R̦mȆ4CQN9 mf?#!hB+DzU?z3򮆢*;ӒyFYM5 DlL .\s5 ʼ.ֿP /??acc _` A]zRIA9R/@ŕcbLx[8:-`sK8wV62 PsVi{je9K_ 0VnlP`Q#\LYBFino|Jr 2 v(ҬI+FZ|ο ;,Z;2OoD\h\͏м@+s*< D9;P@\GёK-$oܟtPKMy?σ<'^"pd }BOe<>fф["i 烏eߣoȌKc OD\o4$H@Oߢ5>rCə?"< !<#~[ώ`?E}k]c-D1<U ӼH2FJ8sµ"Q,'Xu*PN@E̖ ȿ.F #_ڀin@m]l`-b%ce30ƹ}#_\:n- c|f?U9XƁ|KR+j9 KYhN"h:)r IYolj~V 5$+.mg):hy}M 7VsE*A?K??* ~l=C^R(4qb\s;ϐz{xwP|toemF=©ʮqSN_„=)dih4VL,d?v@?$P3B,r H } .橪ium\h-v Cd@DF-s4` n"BY3jTOXD/LG,%œl),R:7r9s׍Un  ϤkV]W|VNw9lH "ih@N<{˶lLQp,&og!_)^PUE7'KZ8:s3cbUIww :V%V&/`՚َZ l L4L1#/U+wS.x!4V=gwsV$}2B+mzL: 1<ٌu~~tG1< Q13(QzM1$!SdVM[{ C; ͧ&,WVp:n"ABї0œtB f0:_ٞ)]ֽRa:90G'O꘏5KqrO/y 1cx<V1V#m3hC;Xb6fAc"< 4ՙ@ 2J|T4"<GX:iF##R33X]e9NM BfﺿD]VT#L+;(u!ѺsGh 0{'7sz$*`)a1A2eaO$b*Ph 3?]w@TulxWL~ |㡸w&[&}F7!i샗c倧b^k~ͱ;&Uo]&sy1uQ j+{\?y1^5ރn_]]d'@A1BMm8eԃ2k]Gה zB*uB8j3L:3D%TDFt5Zp.}g+ײDBݟ-wDN#U)R'a&]C&WƐjrO?h꬟v]o[!RcS T? VKT_~Nf#Ϛ c]5l-hj'_C+w|1 p]\sb6)az=7@g Q8zTA9Y2`Z_WI m8O{'P'$@}!$6e\vpPI҃S<eeGq_w1KȉBsd#bD;x/|rVYC<繻jDH3某Gp%rF m$@DV=82[n%q=t$o,Ɗݜ< ӏ:b?\rmiʙ`:AUaQ?Stƛh?׌l?)!_Q~/WLk=[М0RW~$wCF͍H$Gn<ؗBS;dgA#7@K)?J`(݉NT6_BBL,^%s‡ xix6&R>m,I=aٻ@^QeΈͽ`|ϲg1QqGQeVnږ@QLn}[%V'a2ҼlXM]*YU+$NeV)D7 j5;Qgڍ"R5J2Xgnj-$POa= ? 4krqBoZY.D 9 asA $r JTh Àƭ]΀eirTNCӑݥ&|!>=r[G'ݲX7̈́i %ɒ/` ݐ`x"XeξcTg=uV#D,4spQ=) dW/3IktǹDz=?Bc0ts cR#h7 C^JMnjKsO|ܠ2Ao!rg߳ (T&b BJkN@/$.mj"i 8+s_XZxYXp/ޠo!'*;K/~&.0ʞv..L<,ڢӁgۊPZuj MhurQI!}F 9y"-cW]>n@M%޺hVpX Dq磮&UvDFS>*[v܂=qa<4IVKIr6 thY{%׼Jm3O~Ȏ7"lʀ+= Q>*f^B#\ݰr`#;ng6;DBB~*?S*4Vt(ׯسFfZ캃rк d{M <&Y'*3Ni Y#r"ln+@>NMDg1s.Es囕o2ZȒ`TVulEdć5S$^ qަ9 %ũ#rDˡLf6k IWaI,ْwsnhІS)+FmɠGY!D-4zDl"f*ʵY2ӌ,?L]vC,5b=.~ [Z3 -yt VYC{ApU %t=XYqX%~k7E-D|Z?ћ5MдV ;eIG8%҇N!J|^.m9M0~Vi27Zq8d>oB43z規NYx+}ENSLOʒX}kYGӏ0?CXO)Xm/Fv*e,t,7ۓ"nZƹ5H1 >xWhߟm9}kk3 ;f&$;ZN[ȨwV:^[67$CURe A,Mfj5mNQ7vcKv:^ zt0\'ϗT@G6][8Ȁ 5;")xa:a%ĄĎ;3fR%zʆ?<Z'RI싖ݴ izՋ3ˆb ]{>,?Hg;A/XJV +ڋ0VKMi5 R^dƝ5 BjŸ W@M&bD jxL˗tjF^z0r#ZN?yMQWg KcW']߄,PRhBM8 O76 ymϊgQL-ʒZ.ZMtA.hmC`,8NRTC /T fPA]vF&ǸQ}ZC튌yd8Aɂd[axl$dD6frZ? b5a҅xT.&6y{{5 +M}-wp|⯽| 2\ KMmG썘'{ ހ 4x~U=)lաbێR&7$0]eR*}D_@TWemJx~&t&G0gei00>f,N4 zotRx~g4>MN,L]+;wx5Ƌvdao0cb̡,f_Эkf*R욀80s 0`&5wٲgG3ӄa1jYAzγ)"aV J\?[Lu5;Z|=BTJyKW'DM4U25io'i)b%J{FNŢa6\ 3Go,Ӄ(,[ +ɝH6ZD./Y](_7~E#W_]#tKK'Hpb0+ ;۝r$2ŢeΆm&Te@2TE!4FDʝN|HRBF&xo58'SӡeK ԁ#Dߣiꀜ"<Aui?U ](7WEG!TX(Y?ā"Y_rpj*OoPdA66U`(y4 )CpjEC0U>*+S .@%!ƨ\+ΏS }ڕN,?N:4<$Nʔ{xOk]=гPԢgsycd yxUP c:\ѲmԐ}Wj$x3M-5˜k*v} #:q8Zzȝ/YC68g!KY_Rv &$ײ#ꕰ+\*=*9٧iF+9+Q;:$BϺ]v^>ͨGe:-3<փQlڈt.3oQ|MrW,+g]VU,{}-zˍG͠o10!NbiSJQ^Ø(JѨ(6ߊJyJe&2v5Y&s53E$k+9 kp=k k50 ɍQ//P*mEShG1|W)(oߞdh`vm*p"!`Bi'r Gкt1Hlm ;z0g d?NoݖK-zl6) {y?qAZEsͰ=z}o}L7÷TƿgȂXIV=\+GFi*?z8:I 5 U2y1]cjɅ0omZ.ކ"OBd0+M\~ YJ0꠸}I1@D *ַWPC/18,l5~J:_Pc%׫9DvlZ`