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 @Azt ] Dependent_SIFUM_Refinement:threads=4elapsed=133.561cpu=394.464gc=15.7127zXZִF! =]ŗXiɟ,|!ʏ+BS+?aM,wu8OtJ!ta'L}e"P.ᘩD[[(;הTYP{4⦺O0}a{\?#ε^NfSnK0`P%;@,;JebcXď4&T-n^s֓zْ^i&;L/d s;Sw-kB'b  j=7rT-LS3+zSt.0an0|^1ݟB!| +)x?s"qԚm{gK׼uۅ ڂ)N^b;Tnޅ} 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(,gYZ'< ){L{>$R$l䟧:rhuDmF`Ez}w6n7Bu>FN3+v2)i YEfn }Dnqӑp>70֜CIX>_ʼn5[Óf%h7Q`42>$ `Lws(U>Wt|RHh jN\'AQG+ ̈́OZ"u9(jF^;&R @c?y7 s{WOl8DhKd ~l'y!Y=x ؀iAuxFOCߏ(zvQhe ToS>MܳG7GJฮa%X86\ܗ6MH g© if.G :m夒yE?u_Vic;XyCaLᬂNHU6NY'Ns%EHRΦYS)w$FDؠT{,n‰o*ezCA&BT:{lݻFutkm3D9Y7*Ra+;׫drtW`\9/^YosF{'ј͎"lAZB9H)佄[uhnaZz+V[Nk Xnb l}:r[@A^MDxz2/֤vbpuT#$F+ZuЇU!_x>VZ$Nf]Qjw*oЁ^ 2J.OqzayueE=(ںl ?w]qT[B[OfCf9v[Įw3U+d$AafuT"]kX%NT⤻f_"vte!6LV33Qx/:U} λW#}U;Yc@8>~WԥtO;lWɰ mHT$aNGc!f;e6#\{DdO7%ܾ,Ac BԯX rˊJ֣BQ 7Hn&ըA a*pcs I ֨MG'/":(œb=:w 7*Ei ^藎AX%^dujwns=a-!]6BJR_ߡ1"EaaxzYqvnTZI$,_>Iiܹk!/0q/CF9U[CwqPh#6a-#A,j!0p]$EM= -C!Ok!n%Sǜ9 Dd&88kй}1Q4>F;폣؂|d-D Es&AYN0vNف^8SaIxP^kU1O(Ca<܆#@V%Y:  %Y0;ό;ZY}|Z+iH9㦈J/-H l_YjȽluwU.B*y^i>ߜ +7^71fTRFg,(}hujuoM#5[K@vѕL,xm||P_ƃ%3zdZ+! ޞwŜ:"H$ uK؋hƚkwxy/ H9pW `į G55I:SAcgOyLǿmQ[ q+W^"RVw`ntQ[ 5'qx!}ӡ7G~V-ww<ImPL S&;s⬂ʵ1S@B/j5!]c=dL> .h`?WY Y8":;Dv}F}JcI`(YgP*D:OS9%Ri`[p j+ןv(駲~St + =XYQMgj5vO4&wOgm8A(IB0e^n,Kɩ oQq֬Tq+h}&0Jh: - Yf/5+UluLv7nxTD3Uhr< KCgYZ7zXZִF! ]ŗXiɟzJ&Wf:,™jC&%@ Q׶#.8я4 u$)%+c;9({̖V1z lkaj۟]蕁戏˶) tTSW>, 鍕ՃQfxU0O9IX5p3;ُ@nw@y%Y3g>#졞zI0oMUYşHS M=gYZ7zXZִF! z.}]ŗXi%BzOEwmcX\U7Fn}3+`zdRHX˺˭ʏx_,ļpiWw\+1/QWI'j @ (\b@ϥ,ߺd:ƞ8m,K-3|)(B]T쟱aEiȘ-E#9`[+Lrvx+Q2HZɴ^ 4*Wp["y0O#0jnE [|3"r P'>N?`?'uElj-w|1 {u| WWFKOӷy̝n C+H*8e!QC3N"T@p\R)3xOUx5W]tO1:PI%g;̒%a?kpg R+ngcp +"~,ȸwP+i5'!z4K,ڵujmvNCad*o{ ZL t0f4=&ffg )?,!`ʵ:2Z2PosIi|-m0ȦJLmn'pB0{~YRmzqTBP\`NMli> sk2r̃?t";qANMevg /1`8YLkx J~:<!9vafiiUHIEMQ vP(! WwJ֯?ͺtaMAX@fXLEP( 7X :;X&-k"tp#MzR sVkhŪT*DZY4B<9+8xoY( LX07GۼVi[ꪨ>x/Q^⎔ޑ0n YQCZFƛsY! 8rhx*ߥX?uNpHGP3s-&mb) [r=,F'OjZuo 䴳hMRIZc0; rTBJm тuo"xT+zF]&zudu)-ģyJH^0ہ)9 W&  /']g-g(/WL>W@-3܌%M˃|p\,#{UZ zDhgy=*KaN\|p{0\:o~znUis2^ځp2S3CXL*yj!YSi>֡\HI/֗0Mrrx&JY)oKd_ql@fͥݕW'a?Ju5'2` r0drԞWtt#C*C i]|\8yx+wa[XՇ,KF%rkaZW$z1>Σ; :qWDSHoMFx>}ykE"@NM ET 0 PO\eEAbFld]L:: XXH[j9wA'% UU]?FiݡA:ږ|&9vHFOyhn 5 '[0bzO#l-M:{sz$vV Qy@W8P7; ~!F9oRb|*gz[}OuQ;B?2m/OX@6ӻ!Jd? HPr{A/VK{,Ġ}ٌ}DuzcT?2u[~@Fms6 hǽ[{S3KȰ rT4,Tu:8# ƛh=da}]HH&rj+ j,+k:lu+c̞LrDq&, OZ'6):Q,'ExVC)Ӣy>_oz<;ծu!-d$p|VDn@ǩumeȆ2Aa ~)Q3 !VL/=-݃F4漏 t}&ISWԺk{GÐt.BH&+Հݒj ș~vcWpnZOǸ9#W X%ڮb)4OE5gBK}fٷ\wwψ az;:]FI]H/]Vg?bIKr8/EsʓźnWx,~"sL/ 4kA #5~zx} YvL[R,|}tmy>%MNgp' à.0Un#gCr`@K=~,nwoq{&AkVXe*6CD#]I`؇[ekP A3;i %#YQ.꽂7}IlggŸC1[G'tmr'Єci1 ð |lIm֧yQFeq.a$Ƞ*(2"d!V8R ݔ&֢) >CyLʨOu"M _ϦON&m|UWþ1Qd|e5c saT!K#O;l ˣ0/Y37kqk>1T>|Tib#pxҍa*BnD7d `FK t]U\T (t(SCw$} PЎ:B'T*}SzZ ~g۲Wq?#ʌa,T`PC9^M_Fdm8v@~aوri"y>T7  V~q= C{8y->faZsdJە瓻w42`Y7MQ`.|ԕaV26U1+ sq}}+wy 7uxZNO'5#Iw﯑vfx|wqy,+8P1ן)+ C(YN;? +2Hmg\xoP<6Zgnd?gEXD-,^Db jk !UX9-c-%%(.}SUd=e6V@Vk{ӻ?ca8&D͔%$bL>|#dm<7T%ivi$,~..*^Zَk4% ˧yL #zh_r@+'D\#a2ne{T$3m5\  nKl^Ǿ_!NTx 'HZPp2$6D&>qwNZѫۣ, jʎ 6."nbחLY1@xhB!y}$(j3ɟ]d64ӗik`0Lvz_֚;FSŪoڔG{o,DOqyAw Sg974;-" &Z1Lap/=n IXQ&c_s{`m/8ΔrB­H$1Ŭ'ت)[֑IS"grZИL_{KI9D Z"-Fb$}Trs j~ee-S1mniA8O4(B *(nLX(Dwv[Xiyc[b4@)/՞q P-6P@WȡKh],VEP%e?Ş[SylNRhC`b6,@{av~"ӳ 8F,l/r8=~2 xEg)W壶逫ƪ[Tyb4`12DȆr.Bմ瀾BB)5~9=5\$㢡ܘ!o5FcI;eDQ|\_D5 ^Zsذ@Zq1Ymuy+-Vdi+Ov(I=`(􉌲=~OeF_<[(E:pao&d@ 3AݾvτFhЬH)!3}iM;)Ҁ7O=<^H=>71d=L~0'S<ӁVF&%|"bvg*l:dd~.oTm.:b^5U9ga 9;Uttί/`4lSkL_pfn۹V^CdgDS`C^E`RFv,uUK:O K.WӮm9 䛟x1Nn?q-@Yv4Y)BYܹХUfu>|Ec MjT\8" hhUD-Z=9/glD4uS?tp2F|I€G4RGax5Uޭ9d 7YתCh4E|hmBa$X_Wwsl|~YL,H ~{ke61QTϱ8zM{%ϲlEG|)tU쯻' ۪ V_XaO⧫kQ ^&#-џuj5㊇OmQБ]~H('|Z ]X ;e+.h^|0- U'N4و;v1QuNGNBۀ+ⰪnӭG,'CwĶ_gV Eʮ[UKjYʟ#W!,q*'GzӇ-:Dy\gF!9zn O@` &mQʠ@K{]S$2'i:t6H(]$rV:ef:MZwqpAˠ8u"°q6P8a)tGh)>_`\kA[m%RSz\S)WVw;a:@X FP6%%2RtOkqe"&v7"qrO:?+E`-Sp[DMG|!U5Nz>ΒQI#%#4F,[Ўն7疂5+7`X7T\z,9pS6x[})\i&`_$TSiUk /yݕs),D6roA=I D4Ě3gORNc)^/EJ3PwM7ާJgw 4V"1pA~Msd@ kHgq~Q|Y:Z!B*Zh {'䇤YIٱ}< yzHSE[ ylxzMhJ}.D߸qQ Q3@.ijU2EGeY3ӠWo-lp霍e~.G-)U57w p-jȢ!J2R֩N\ïFBbv~ ˖* n$fwv; ,>\Sf =s~p asXWp2QiR ubdDD5nt*mH(eg<]iR4[cFkO uIoFeTl4Wb@J(*t-kyxouJTpCgC$t9F(s^||;F IDiE` }o{\GqWJ|42K߾!WO<4g@zJjQSbBWS %wz{_kqRDTj>1±anYbkvAK]>w8eYYNNSu=)]43<(Ǒ%K8PQ{&REpi_UjI5 #X\ ad5P. Qd*Z}x}g>EYM&)Rqѓ? O/)X9oZ P;hQ-8SLnLc-f3ǹv[cZ_4DP'v&>uD컟d y8\d6|auG59/ _B8}8IH՜1aRS[=Xt'rM\"M$觊QR2lSQDުgefErĉT"(~z0GC,Īx*U'HF}Λw0} :R1-(CX8`ሊ)1.KkN_k:r-8ǻ 3/ ͹ @qo{oI &zMrMQUW<im^wsthѾQ{Dtaհp()I7F4z|4FQuw<3rEHcLEd[DBVr;8D4`|zfV8-a~ڋxI])g*@dW,؂$m+/?-lͩI;K?q c~45뙡Hf# ihWFnoqlx{.4]T۟c(v]'><@[ya/SCOc,k|R 0f%̖<C,HgTwsJ=sDCSEۍŮu&)GzL I A ^"&JEɺ;V”)6 fcYyUP mf^Qj=UU$P|L6 4at/R'< _r-c &dL!|õP:7Cl_r+U^%; Ԫ=_qPܬP DhI^0A%gތr8hKR4د`HGʧQ6sgt:Yf1Qt)-0xWK.\L3bnKu:Zܼ̦ $疇'.0)QfcOw0hQ m衱6@+ _傡Hϼ>a/ČN(m oW~wo u}3By=ےT~%I"=ݠ듪{Lt sʥQi.x%oMW刺H @XLFsPCt {NlGI=/M)tJ:x2\/ Ϟ=8wx X HYͰlAl13@!kA w(N&dirS-rʽŁu*rSIG):ͪcu"'0m,NJ6cY޺U5}=id__ylvzϿ}8;b{_a.w5rgSAg30A 2 Jm )] r"A<}`|iruƥ-n6?; }a\U6d:ÿ[",)E|8z\μ Lwj S}L䀤\\'!/ukN,!֎| .Uvo@3ޢ5-yҿٶL&;;#%)yd哭~oPhgv `zr=j[}L h'z-f%@1hbR*㗼&)z@gjc-ʄTSL/\"WN=Sl6m$G;C[_fQ0g}$u]NuG>ۖm7k[1tw7/_z 4'zD9gQA}#홵2'ֶg|Jp1"2)|q J<9S{y+YI]%\y:>8}BܙKZHp{Kit)d =͌ Uma1zAa1itsSE.*?č}S"} dRMc(W+0I0i!iX8|(~IWoI 'X+̴$/XV i4_v`R7s7Vj諁k ࣆpM?;"] TggYZece6e5cbc2cdaf5d9a4f479ff06c5c612853e15996398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 b5a12b9b143cc6517cae4db0dd038d766585b4c4