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   t1 l\ ]/ RefinementReactive:threads=2elapsed=12.105cpu=17.132gc=0.604factor=1.427zXZִF! ?]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1K1S{@ uz-uNiIwM܈DN5jڦb J}}UmM Bvvn#7c.DZrEXC!m;S|NmA/Pwc-"E!j;/DRX.F尧qg/ࡅ`Qb\mR(эO(WthB:DT^ H!'g߿DW4b;!,NcѱgYZ7zXZִF! p]ŗXiɟi%3wJ3Oуq;'>/=%'! :?,}KZׅV>OXMsn08򝌖 't[+fBgz;l6՝꺱gYZ7zXZִF! L]ŗXi%; &͟:앪'A$-ڍr:l;+'DW҄O85,l$PcJ'#apFE*T0V"26mk=HaGm&,Ae n\_yŌ Q;"8w/VfnX9]'ЫUY+$BeQYIR^@cيOL6ɔ"pANwvJ3bKcex6vtr}ct!דԊz,yzxd.`h t{5 2̶ 5mCB***oaĔ`YfEև_ŨƆղ6 VS6[x ժ^; jie$1:P'r9vU} a]A(% "o@Xn ]yl.> ǕH^stO{Tf73tJZb[M71??\}HoTVAK(U9ap6!4Wh=[HDaU7P<$$ >Sumèj|n|P"oQ 5+ZCiTo9m],غw% ߡGL1}sTX#_%;0YcClċ8SBgPwu#{u0Gx4y^u fr?eZAIjdٸ$3x< (ױWwIaqӾK<5q " va>>(MLelkoPuxnN0M3P,J U';gYZ6edd3b5a7d1dee75f51949b6c4ad97b19688d7a30a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 1 RefinementReactive ~1G% RefinementReactiveRefinementReactive.Refinementdocument.tex7zXZִF! ]A-MՋhvG"uIBm5N\f# ߃N$XrBփx1-n (}pCYнwKsM`BzBRbwTߢwwX=kD\wce(g.ʦlզf2!hC';F,MH׊'T!0Vk1 |}( BJһv^b>uP8uv22d f}f$Ң2fQ$xqhzv AfU=DtM?mgB׾("lJq 95+@ lO6GbDkXmϔM{iD<]X(g^ I6jqY845 VCG$ 8ܖnaZeI-=`oKksdUS~DbCBAAO~U㌰>ቃs@Jp0,~87-ـk$Td~Q'f ~ߦMeYP"Qo[x_‘g3D++%ŰOT :'4`B㆏oրYDǕ=*AS(%jYC+y>#3dwm!tۍas a@ah>\ I3Iz!8H!W,UqLfHrEYNJ;cw&Ŋ(j5q A> PMuzX뜘Q4_x kHEx3(Du&G+7f$t"FG!r-*j\^w`ɾ%|N<|dFX8n e6땐m+X62 h{}Dw0ٽo1lQ aQMFZ«txriy }~m64KC#|o +pmm)h<1T Cūi,fqбߚvu<ȹhdm=/yϷ'x8f,jL k.T{Go8^xE 4% n;j7ۗc 0|U\mGW~&p_P(1&§6%q$t>E.yP]pU| WO% 'Xeqq`ojS, 8_aڃ7nG|iJ*z dXU`{|'\6&Vݪn+BEs0ۆUɹ8q xbl;!Uˈee^HlԶ5BVG>}*;T"-.;ݣ;urmu7ڷ1+OO.veba٦tR>I}+}MGy)$heMUi{TM{[IY9 ~Z{.[w,]׋D@Dl*Y﫵fG}Q9a.wOg V%](2~F\~Z/V)֡F&,mka"9`fp~n%cE `5)Gf\8XHz5$zQ Ŭb30/f?dcd݂BHO6@=iq:u4 'sv4:gKT"VEkXt9Av2pvd 7aXȦ@ .В%rF_.cC<"%;׭dƵKRvmܺ ׅ*tSy0-NگeԠi%>JuأUPP3#1w I2O}JPUx)ACy{:!_GZ;RE龷 dU?ulٗG9 -#:,Xꉉ"om@2}ХRy45э;$A=I'ێ-벁 J eTUλ7JV`&u^L ?1HO<Ȏsf(/Kuc"+HT(ZC͒A6;z|3C$_ɒ/s&QˤT"zߙw=UwVŤЙIVj?M+Q1: <䢄^R-o7=2 OH@%r_<nT:OS,J 'xETgqF"HG2R9Û2CϢn_Uv FM{c\ʸ2߹ڟ f~o@ ny^`* 4v*[4\ GP+3~!EHa/^j7?NLIa~ I!τz T@kiU8ZwC73}+g"HjJ*Ɑ;a n F`OBK^8g9EJ/KDN.4#BqM[Kx GAݓEGܜdwΝNM:-mEu}QpNUNI#&{6=9}Bhiؠ6F_:k74*1(g(,6EEMHi&}@cW:8DiPB!O37i>  PBߪG19o@yz^k6ޤjfh3F ⯇㳚W|wOŹ@zؿ=~* ???1C%RefinementReactiveRefinementReactive.Reactivedocument.tex?1C%RefinementReactiveRefinementReactive.Temporaldocument.tex@1G% RefinementReactiveRefinementReactive.Refinementdocument.tex<>]]NCeeX2&+xnAmZ\uAQ')ChsJ|'l~_ٴ/.֙{ ^8upgV;٫9Lmc \eN7pxtMU߇Bv+2׵Ck*At=m CkI'kͿX:{b˂hB.DB R>J^TKTMPr*VWDnw O{dEX7(@F@wmXR= B(3Uxԟҳ{Ӷ?u4I_ѩRVki󽃆l}1̅K V$*dN`?ōa;zme5}"eC4J*TSQn?d/ b!Mu)rpoTr9""gfu\Zk:?ѿ|"iC{y\ÞHeޭc=o7D%y b$z[i a337J \7{X^T\)Ūb<k)7lʂ8^{f JU1bWf͍լM,!jR\9D=;r:f4\T6g` B>&S3C#'@ :nZdN2>V`MWaomb,3i%2Uoxa{'Ck7x=Ϗ:B [5?M KD8d08I *WMr$#SN K;?WYӈc36.۟-4Eɤ `? xZ \CWEnӱtM6bGXQrɫBδ^3h3lK=sώjPjFWsG.6( ^\yTyՑCUj{H"JQb{%!o$~7g;&R $ܴK٣n'(Ӫy<1Jtם !O k8p9zfףngk0EVbT&>IAM/jdbWl- Ny$`UP0_-޸|rl^4-\?o+D)ͦ|0u̪gIatX~:ڙ$NXL?crJ=.Gk#˔-eFs9 oy(V;Όaa03괴Slb$J@[4 ׷ 0K/#9OIC~4{N${dF)rkf'gx+!h?0Vm%c_8a7< 3n*n5ӼL5Ɔtfd2-p}ŢfݣΒf+B! S 쓔WV v,𵄫H]K4u]׉mAnpye2s|=5 ~ =7N|/Fe ǂIW2JxaY d5 uc_nVk%W²}԰j[#)>P T#g:bi`蔪'?]Fs,Ͱ _ 訏`KAH=BHKǰyfm|"+촮E[!/ni>s7HqS#] }@gjtߤ@HHWx1״Ȍ7{K&cpM=V6S|-KT rdBXj79ш}ߐf8)ȵy?Ɉeh ^p$ӛ2~.y'M..O+P׈&p+b*2)Y ^u2T J|@a4ޑl$ ~ĜI5?Y3%weT,#6'bzVYf<83,Kg sQb_D d[jvE:uiZC)̕f%)݇ZdZ}MFBCq37Zdo J88"H?.9q+9u P-o7Iu4v@p.JڧU4YIJ JD:U|JMjmJV\ G'>boQ~ϳp_wJǣ;;g p9wEF?qB_#P9WӀKݝ( Qt۶{}":k<[p>Ği~K o0gt,|:^ڥ\vBcf]ڑ,j7_VO3*7Zrb4.wwb$c;l줟g=@ |:Hpqr+qj6؂7Z2ίlOĿ5gT"(;d1}^L1HnCMS/v~m<[_tNQ;.SL?ܔ}:dJ=./ޚ;6@(/>b3<XgUF֨ Te",Z &C5favYT~4r^pȉAۢZ/n^t=ZY묊g|M; K|0 #&c;tV{(N9Q?lPIwϸ~6C8_r,o!=J]>fK0r:kIteR bZt^W&iƚ 7|VZU&.0cZO9Pzg~&f'sA h;SiiL6alͷzU7!f'܍ڟh6Dؼ0<yMgYZDr5r@ d 8WYoPZ>˳1x‡cEyjLa"ї%)2)V,g+qHݣ2=+6s C"ќ1%`B[Pw{^NJ aO}WsBImQyPEBJYdfX[^`僬:>pAOclj)i?S.ճ8X=H$X@+TO:L_C'vǗ)KsLOlqP85ٗZ w{ ;lȓx|A8degԵ꺟6 ='a.s&Gy˂Þu.cóa&˜g>-FT邭2}֯nJ)<߭:U8CPhB2O;@-:9t-GsԞh|nL;Dd=&1:$*S¯Mq:K!"Le_ |% l!b!52;ݯeAU6ʻo vius.C>Sei-_+o£_B?8@Nj_ I{5w7 @tfylD́4˚ϋES\$s(E]}1,Ζ8B$A3*P&2ܨoIrஂ :K6`<(a", 4p7SaucRxHOVŒagu0?1hζ{tUu[ &AFuXs=T_{0%;Xmq޹҃σ,%)>B0{#M׹06핟: 2,Ƣ? rPn^:TpGȻxZfI zbYo;e.c>r,-'$/W<&?lⓚ?9,W%*w>QpHKv&R>'uWh0x* Aa\-0EO4 frSM?THùͽM$gx]X/@52\7/+[0N œ8NfĻr`3̽@&% AuzY~JUV5%H^c-$eLt`\l6 y > o&i:ԗz&ɱ&H8~Q sf )C**@qƱv#wYOµVK| <喃zM&?PapnqHvӀJt*a}l|lƄ'kn5xrSbϻ(7{D@ .oK>+,7pCw枆^-yoJ{:BFvOW6l^%s~i JRU)}b-(N@V2ltӱ <\ru4J"l®YŸ^CKVatM8~9(Fw`&Ɉp?zfG>Şou4WI"mh`i",UZh;(BUcVzQlJ\27n=pC=uEt ?RgO&rORnT_G{ UZ}'7ewt`i ӣ>jqPܔ1?fc"`7&o,ũzJTR!&\P 8=?_M\u}~&(ͼ$j8)"^#smT$GT?O&d"3bMd >9QUpKObb|t& ${ cXomܭ64m:ϖ-5 Cѝ8`֢HrqNjp?C.Ъqe P_m^΀$΍7L H: [nȝ@:7g\ ^07(6\,=hEXAfI ٔW3-#٬m=C\镢V ʐc6K6.B|cյ :'&Ų W5%P*\R_"9w]Tnoo eH IQW"7 --hjޅ1tr2J':%?b2U/[ZF&5 V0lzp.w#~K 훽Rr6x$| ]bfUw+v)dקO;( CT4<L ?>+Gܰ4^&@_e )2V~pBֺJWH>N2! RY\lYk:,_n/@Vx f LKa~SMSi]Ӏ͝S`"S;kJE@֮Q{n| NC~u<0Ɵl0'xu$M?]ރyR,cQgYZ ww~1G% RefinementReactiveRefinementReactive.Refinementdocument.tex7zXZִF! ]A-MՋhvG"uIBm5N\f# ߃N$XrBփx1-n (}pCYнwKsM`BzBRbwTߢwwX=kD\wce(g.ʦlզf2!hC';F,MH׊'T!0Vk1 |}( BJһv^b>uP8uv22d f}f$Ң2fQ$xqhzv AfU=DtM?mgB׾("lJq 95+@ lO6GbDkXmϔM{iD<]X(g^ I6jqY845 VCG$ 8ܖnaZeI-=`oKksdUS~DbCBAAO~U㌰>ቃs@Jp0,~87-ـk$Td~Q'f ~ߦMeYP"Qo[x_‘g3D++%ŰOT :'4`B㆏oրYDǕ=*AS(%jYC+y>#3dwm!tۍas a@ah>\ I3Iz!8H!W,UqLfHrEYNJ;cw&Ŋ(j5q A> PMuzX뜘Q4_x kHEx3(Du&G+7f$t"FG!r-*j\^w`ɾ%|N<|dFX8n e6땐m+X62 h{}Dw0ٽo1lQ aQMFZ«txriy }~m64KC#|o +pmm)h<1T Cūi,fqбߚvu<ȹhdm=/yϷ'x8f,jL k.T{Go8^xE 4% n;j7ۗc 0|U\mGW~&p_P(1&§6%q$t>E.yP]pU| WO% 'Xeqq`ojS, 8_aڃ7nG|iJ*z dXU`{|'\6&Vݪn+BEs0ۆUɹ8q xbl;!Uˈee^HlԶ5BVG>}*;T"-.;ݣ;urmu7ڷ1+OO.veba٦tR>I}+}MGy)$heMUi{TM{[IY9 ~Z{.[w,]׋D@Dl*Y﫵fG}Q9a.wOg V%](2~F\~Z/V)֡F&,mka"9`fp~n%cE `5)Gf\8XHz5$zQ Ŭb30/f?dcd݂BHO6@=iq:u4 'sv4:gKT"VEkXt9Av2pvd 7aXȦ@ .В%rF_.cC<"%;׭dƵKRvmܺ ׅ*tSy0-NگeԠi%>JuأUPP3#1w I2O}JPUx)ACy{:!_GZ;RE龷 dU?ulٗG9 -#:,Xꉉ"om@2}ХRy45э;$A=I'ێ-벁 J eTUλ7JV`&u^L ?1HO<Ȏsf(/Kuc"+HT(ZC͒A6;z|3C$_ɒ/s&QˤT"zߙw=UwVŤЙIVj?M+Q1: <䢄^R-o7=2 OH@%r_<nT:OS,J 'xETgqF"HG2R9Û2CϢn_Uv FM{c\ʸ2߹ڟ f~o@ ny^`* 4v*[4\ GP+3~!EHa/^j7?NLIa~ I!τz T@kiU8ZwC73}+g"HjJ*Ɑ;a n F`OBK^8g9EJ/KDN.4#BqM[Kx GAݓEGܜdwΝNM:-mEu}QpNUNI#&{6=9}Bhiؠ6F_:k74*1(g(,6EEMHi&}@cW:8DiPB!O37i>  PBߪG19o@yz^k6ޤjfh3F ⯇㳚W|wOŹ@zؿ=~*  9!1C% LRefinementReactiveRefinementReactive.Reactivedocument.tex7zXZִF! +C]A-MՋhvG"uIBm5+{?I)&b'CKVv6ʹٯ'=%߼q9rlW4K`PGލSts4D60)Zg?R$VT2N F!7w.=硰il#``>f}Z++S%ﺈxB@_|勒M=( 'jukE9Dο6f]~gmMocE,d\mNhbvݕj}DCJiZy,>BB?0Ք(: {aq~5;]#L/w[nPr5{ @GSxHR`2'tI#aHbbw bFp[K 7+!!?l#$sujo±NEBqoFCQ!N rSYjӍAij{NH:c̘# v&oo}TXqOO]دYd6Ht_66"ya0f6I1yN5Ѕc[$wJ8Mt")IZ>;tp*ɽTLd&ޱZCd⻎l`ssҢZNޚds0Z{Qf!LS- wFDxDQ3EVՠũl;ߴv3OE "&o,ACDf=zLe݅7Wvxz*Ea2Y'اO/ dơÐբ֭G~I;yFK1A7*]V0g`FΏ'KN[> ;? #26^=Z%2Y \F恖@gm{]32cUr! q<+uX[)|KF~p}hp$'!GZNM$5p#,lĘ)fUT͏'-̌xttGkJ:6ZkXI!wFz*%`r%*:z}r/ŲZFp+p`C3l&$>okiȉ6)m-dDR.[X`iU,SA…k"nN4ŚMl(/:;uKW`?eg&MSDŽ IpS8@J;Z|ҷ\f 3Q\L< .d_cS`ޖqѼ9|m] ~Łc?aJ< ;Yv흒+7Ofncgn&&?}am%?On߲پKB^o[}vwdK®S!_DLpjC 0HcQ?z= u:)]Z|吆4/"#>XQ%l2zcLoC0LNrT& L$~޹Y^/!$T0mcppq Nt#ӎE_i_v0/I.cyxa~9 {Xyn}%Aj'.s{{g.&غхWa vPhףǍ x"HbBVL^J /X5sI"(<3Hs#8ށ:;:o  ~f blP-@TL@:Q1EHÿy._  4 bO. %sl#nŕo=bҚ~/bGs e7ó!vje, x$0s*#됒dyv-~ dduq5䫋.J5٭oSq]`2pS^SԆ:@ =:#F":rKoV)5Z-;qnE-=Wpuȍ{4Y+sz3['7%M,؅ܹ S!K(m+1Op{;4ei9+~縞an/sEyy'9ݨO0'2zq59(rO]f ]́YWq+I{jg Fݫ ?ѵmtI鲻ٙKi% 2K_!B;e^m=*[>kysAU!Vo+-RQ":T2α:dӰL(%Ӥմ OٲIho[*Ac跸>JAExtjYi2DNA[{E\~#OQ<ϡo}=IRBnKRVR ]yݒ[A@p3{z\'=EHܴmJexTA(ÌT^\tZeCOjsW{QOFO}UfȖlKpE033a gBL'4-q푳((4uʁhlkbDv`oE&7Eit`,;M΂T%7Lo# _ e[0eJ~_CGU S+[s%>7%.{HFsseB툗v}K{g~@4㌢a#v9LȅG!iԥ9 oi7_'=vG<N9o ^#̓s1E1n6-(xPE`$ޝp-hcZr4@H UƤ*hS~աY't$ wXDmҦ/&Bt\ ;_3oӑLaϺ'ӤC -$)(e!z^$` NEI9)ФWhzr^eT -Z[GY-E̻˾Xhw|yJL\PXwS݄4!e0W\!4zJBTy#jjȷ7y^Dso{+tRkMBt;av !T>5#r MtJ&O{Ī_>n^,wܖu*ſ^3SԉD9yLAH #MU4g_"Рy^r٦O3 閆chZqN٦ދTx'ix<\ <4e^{Di4.'pAI*'rz˘:Pra9ydYf7R3wSQ ˞՝44n/oNG!2or#smݠx{ nRI!4w)6GRby.Iq6<z[!)` '-TVb(Fmx;|BkՍpd맿w*얕y:wH쁑Jjc+KT>#[.Bfȿ\Ynzg(Qμb koשujB{# jF]]!5+sG/I$&1^ p4h)0{\lB@<"}B3/1Br m4I%U^dSPHT)0 S @}ZK>8oq5'#Jl6'1+q'(襛;-DL0vH\kT&cz`7xe6"p؛I>9՗d>#JNkd۾>#C!M\@Ĺ:!m` 6RbPn9o$b{ ,,(a[C5+?z(zs!e|1%**)ܤoMu:G%>7܁k0,c f{VD$mi+3OS3&رJ ڈNe7w>7-PmMYr1@mҰSStM]oQ,K lt$p.&\I,C'깽8DZePfM G%*-|aFen/)R>T娋dCjϕ؆X  >7Ao[ GppOkA~z dt.ڔ[lrI W'b "UDY>8i+ JbMwa\rfjb0D(e閟}·<3EI9 wpYk(wc SWiFB/wq& pZ">${c.R }S_?"0bb0O|M0Rd r!«Ak=~^lnc3YxYE:TD5/hy*5Z =-':_K ooiΤA X-y{p5PZ|~c$:MOKhLe(d@Q:gl?vB@d><28rf 6M?h [$Idݗ۸wC_jL(**LA" [lh%˧zCȮCiy=4THM*nec%5{Y 7X{ "}|srq!&MNaq%zҩ8M~:҉2<\N4Tb4{47IIKZt;9 3#N#=6&NX+ rHBE5.d8NlsBE!pE: %qd7Ycl\Ad˄{sL2!SE-v s~cSڷK-/`vfwE 6K:B%Iw-MN:NI, tJҗSB%yɗXʽ76Z aB%NO|AtxeSxfF\-OUqjT_L?Hvx,=Wa`Y[ p͸ laIRKR2;1Jn9.5^Ey/'>Igb)I'!>;5f{ߵ-=[\ՄLioړqUv0@yB;mA25z=5m 7!4Lcl77gVa]I溳8v?8s.V. ݱp%1'85aDgq4k!@,x6hPcH,3?*>WϩMbp`䨸e29{nsA >tV?iK AC^+`fhfj $HxN ;С6뗄܎HH!o4 _d-QvVL]W)Xyp`KMq8s-_=;B]SފsۼAm4gAPmb :[S[]JDICZ8g]3ym̽I DE[&&uqI5y(;VSd;5\|K4WT#9L\ [i5ݛBw"LreF˃|~\u#$8t"#kFcZ*qa GkAT_*nL!h;d|a_CEFC&O6icjaB.+;XB3 RP`\ޙ5qAf}?Cu﹖& ovdr=&V;g1N Y%30. Vܷn)!ύ8X@}ҿQaTcғ36Wnkl8!},SaE)u#WAh8CRRV>Gu0DyX%)I\. 2T;ۘ::\UB"Ґ>/ߠHH`綍]t}7T:[J9aOʹු"&(.>,x87JP#_'$Zx 'MӖjM_qX0gs]7}b 22JZH^%^Eܖ$gX+~:.9 Zu,WpX% C 'FtMD@>>֢=PB_ wn:]"`S9٢ņ3~"Cf>"LTgNXY cL``FrYd2湯Vp m/yDV č8f0B%.G qMSaCZ6lhQ°fyr,ߐ~GJyL{fk7 nA2Ԧl #h霧)~j_b>}j?\ $;|̬&tcfP=Jg:fhV%dv/{i+35W}NwbB2BC{Kkk WEİMKĀdR0gĻN巃W#H-LSr}w[\Q{{kD~K+:RR/6wn \%Qm:]Twz,[-"?}"#Ҋ c}g} xHNY%]ܱ怡2e&qa/R]Jp$%zG& n1֊'+ȩ nCc3GîSP@fU(UFfX+w-Rkoˆs祝lxW %$;XQvAkȍ-Ɍ9S/ipq:Xִ~(&F:.F31Mi~W҆;>}_{{tqk5F.Xw:w>ReB0N.nl#\w&4! d#GJ9}:AWYǿk9k.>OZ |;Q>EVMFGj ycw7*كjdTqhk]'r98}#KxN3zo7NݨA@b[iߥ]s.敫@Tu }ī ޥ p<P|ND?>%]%}KBGҲ0!1ѥ006]:?v0e:wݯxZ@ڴ.)@ڠKɉFy_O}N9AԷu)% hSu)",D_7lt/j51~LvB7ѹv >|f0CT8?z0jpQ==l}} TdnP+l*~0wA T"/"0 ⡹m7ܡgN&s$-렱jg`(> B1MSsAy4dqone=MhLB-~ΐ*T[ͩT1 AL N2Cdr۳ϑbfk3ՀPV 3eΑ?)!CNS^>L8 AnCMP&'.0! qU+o)ȿG!O͔c,c|pA6Oa \-8RV%4d_{=`njkb` .o!0XHL&'jƭ;PR/s dma=(4$QA<;,6(<. A`,J ب\aj־J:b91 LV 0cW}wߦg%mT ū ՈQ"j쾫leL 'wy ?_ EENpCCG hAs~X+Dg4k[MZיJhѬ'r}UT#zbD&\^ =K!P:po Sw[R'!ܾdqYDt$(Ke/W?F[' WҢ 1t>`7w2v{ i0/he>r,kQceD:hKGȓ~GS7dūzG p[ ֯e26UI+@t3yk9EE|BĤD*[F٨Fh 4r} <>PItG /G/ZBiSz%hҞ}H+PD Ik\oePBFhu:>vucᠶ@qE4a,Y+ ΅.q@&hpwpn WG8jo5>q1%MW"jka>:!g* `Ec muQ5PVzYna@"5bS*߾Rٵ =+mp~ć7֬ӏL'zg\)G372IQI;_n?,0:2JZ"~#a>XSɏ*F$6^s^4+Ȃޡd8`~\J&y d\`*HR!VVD,6.I?2;ըE5nf2DM`Z{>dObI~F3Oa_ԿS D[nOnGz@Adr|giL؟Sn?9oOۭ{$d MAkW}?:} ;wE6'4r'JcG㥿)fS,9 ߕ,6␧"uUѩIb5Ven0NjvKRc9 mƙG7Klm?#}NfϸQ CZ21+C난mO*7}NxD% >nDW]vv/tZGZYy z%G vSe[fV; ME'5~\٪SܟSg]|_%D1=㿧ћPeIrI^T*h"tVr8-Ǣ=*3sa[JD84тU|XVMw[N=\>*x18L 36nPka+W>sН>bv޺!òjaZ 6W~|oFbbMž^|ӗA~^ԋr;<?*UwGn>nƳw_g8&)+H0`53@{<&٩R6H`ڱW2˟P6|KT4M쑞zv81bV3LO V70מ 5bPOm uYfNMĮstg)M&Nx:%bMxADyX Rv\>]xSmgwcfbh2 յM!nj}ܗk sQfeJ|# D!=Gw)Z dm7q.ҸuɛR̩X@Ys>?i%xȩWǁ6xV@W>=xJ(n,@!+ sL g!p41!iX}/DjZ"a~WPҘ"½5dyG5'ɔ:"xqAZ4fV<@w7@bjAS[gJCDS ̃pN!׶FLĉ}s/+%0U=O(EnѬϗdL:Y߰>փ# sLyj(;Y+8j+ wn[j5GTrRbk:ϕLɚTq8xK% hew{utcNH~5ρ r0y LK'6o8k\9%wrظ:bsk[ wl=?a00"WfZ;;ODEcsE| Ӗ !Chu.+قG`_@,[$9A'V/|DI)V[KqR?2%U?/>a3 ixMxZG/JZu|g u5WEi4zem49XJAgźe-vu?Mg"C)g> -@&$1X\1+0hSrS8`!WKavҴ|!wwd^Ȉn 5=ƈ8z舙X`tJcl]pO&OvS/?x^VwmrAa՘X6srh+~Nsh(rA_]~a-!739]}gYZ