SQLite format 3@ .0:  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 @%4 \ ]/]HOL-Analysis:threads=6elapsed=356.408cpu=1813.220gc=86.220factor=5.097zXZִF! V]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmyb‚$8NbB '+qVMɊdpzyCű9y{-+^ފ ./٫A[ƵI/(0Ǧ`H#iE=r-/H9U[?1c,t{ n`/#}r/6S11AA7 S@\aUԤ|n0}?:1Xakt jZ`~#rν6w>(XBmk$fYɩPa[ࠥ7ڇfg!դ}6S[~%7!@y /LI#-Pl->-PQ2z:lD[Biw YuԨ"J :3('4 uٍ󑝊k]@?nz4TeE$ݟӮup|Dl"n'9z**tx_ΰ%e:gTrZXwR|1:(rؗ(وӮB%}̺iLߋv!Onb1/Mw1S QL+i fvXV <1VCXs.{ ϓaKM[#}xhR}!͝<`*צ`,fc-GkH%kPvHH B |&>E;+ Wt &J.ӊDaTݠ޷tQg=+*G1/Tjm-K[U9*3r8Lѧ elB("vh? AP"q0/O4oœ~h&br!1w~"/HFA'od}F+b!I#½,_QQ=LsD4gDXe:mNT:P?/.pF5JkCk&UV'Iu41Ps87b-r&"yg,8\=H$R~ߵ:ZO#ӆu S};\" tvf.~6YCFF5;]=ZU:黧x]n,%GV oo~3$Ew( ^KAr6[P E <@]^euxFC+ƥIW{+8f'4z2)j% K$:ܱAv]BB* /s@Ơ_|ѷwJG"nyc z76-HL_ߡp0 @reo*G3| &qHT7i`hp עOd"#XJJ(tC߲*pnwY .fYEXiqW*PgOї8-wb~.Pj2;K&\<{^cvȣ%L 䘑h'q7ck5Lޤ:"ֻ&tj U};>3RZilYtx{[pΓh%n*Jz}hqHY )萯; :4}2 y_<{ruOdi_n?( b~\;2 ~wB5/*tIwk߸ L ?&ĞپFCWYMr]X CMgI;N9|.)5|ߪ?ZM\Na8&<rG.tҵKh;c); {Ga@ƣK~n5ީT~=x P6 zg1 S\{G0x7DKX Y^{z@9m. c\KN\CZ ̧LIF lsB0ζŬz!I|TO mĖc8AcLbϟ(FZ+x8y]2x[^upo s@[#cT'o-YR7,sHl.=̩ .M=fMRcxT<ÿlKD1XK zەBk3 h>&}XeRzx-M8#ug S"bVdwr % HOL-Analysis  }BU`x= I(Wt"t§-HվpMQ=#x"AFBJb`ADȊYQGCkq4D-` >/QMmïNčh9<oV^9Տ$(Pȥ7p'uQ-&ZX݈áTUJXm/wbhԱ~}g`[._i^MJwI9@7'O#ϼa~` ζ'; *uUPQ=&=uEpZ('5T/.h/ ګ+ǜ[w<:hp+ģf|`''ݤQ(.e瀴7H|,B]d2=7j?EK(Alc%. TFԇ7=Bݢz*,)BLvHP ]kǠK1a/ Ne<vC5&֩ :>~{|G'SXTME*rKZEXek)ȭ5HMB#,F8!rlX {*L55|-22uZe<|(bz$Md\iSvDo&* Bg 9f8r[4ֈLJPY Ul^Fp WK ɿQlޢ(7L{ |8nxL x~({ѥ(]#XwE1 j_uUd|o@މb(IPKp̄\xQIji ,%.]Q( Ml~4KY@T6B'i ds1D:_.J ̰bkv{̄,1E/s.өQ_?2k)7آ:?zh/(K.@emmySXhN{db]fhkGs6ro)\CG8Q-Y3 {ݏLPMTn_"n Q q't\Q_/YG@f?n-eĬ1" {̳,x ^SXT@`ژYϲvj~lA-֧' m˞A$Ly8Wcԁpp{P4]^@˦=ԛ|b,׽9Kl}<#_0CcL"@HUp8uNiVrl=,aI-(43&3 `[) m+ +iرlL;ϣã4q߇D4E9½-$%7&|񖙰dh>ˀ:%ԋ:hQ|Ek/]\hD$LmNeL \؞])A˘"ji>d@o={xbt/?*7ۨ?gKE`Vgİ&+Ly; [Wz; Fބ^njrʉd ,DKBe3l׎!OPʹuL<k~E|RPU6ؙ{DX4JMP.=Д -&‡%V3MHqϯLLq*K{`gn^JiRpbifѓ4`{8%"O!?zr)@V{Qgf\L'EjVP3 4)$K/FamG1[>_K @ |u U !MXG2d)aRl-Z]a:1|1DuF#;^w! -;CA$gu-?7IeR]S7zP1v@`в}:B5ŁFfh׿'F׀*#D<)7f 'ˌ{* v;7E':pRK@82_fӎuB2wcA8xY2t%u]#}dcxOaiu 0'i= !hj~5G;ɇu`XuiD'QcF=ŭXIE(vr<28{ޥۯ=J/]{)aVKIx4N:>8Z[Sy^pmi+h!IIF+[_եp҃zQ!|Gx(]\cϢ8vX">~S%uss2"Ǫ&Z>%c[l;]dg]Lpfj_r*rLewU&ߋd_~)<#-0-_IttE;u-Hx i$8MgA#l}avyY9KqV@v.#56L:[oXɤH>ߗ&vCaGϡrrB=:{9{p`k%!BiUkGzGu Hl'3I}82'8\ '-{* zBի&濏#H<5-@Ϩ??|`DJ &Y\ f$swYcum]*7u7iw]M@95qt{Rr߅mFeHjy'L"rl^0XOKX ,?yB|8,/pL8(d5YlȮj|6m| d5Uɷ\B!+da2@:r'7pˡr}dD$,Z9MIǏ]n4 Og:O+2NN(q@ͧYm_+s]鈜\Gj7U"Mg lnIZ3 1HX SyrV=H+ɔy=rUojXī|G>knI=C@OMrb{o{4U\W}:NNIy5[i+hfgAɤ㲰+DAq0)+ xV"UZ9iwͽ+bh I@6mvOGk ŦKf` 3Q!HMUH" 7yHa5tX%>sT L4v Au--im|{j ^n7 XݦSi>#tPcʁkfRւmX1K"E(]cҕq>wR$}N#/;l9p"5)59ZМv^^Z3rlBN3SG1V\m3moZV83c@t`e)_hv34/@{0 `A勌* &+~ \*7~Yeg^0jNZ>G[TFV- wݩg:0g]Ǔ4V6:th B3QOYe,e@IX9|*d?! Sw|n`Rc-e|ȯ t?*}Rs l$ 1)sTr3gn<X3]O)x_@aӥE G,/<n['TB-G$ ,.6F@Iawq<3̰0 zڭ4m4qNe-` -LX1Q6\ƧCl<5PEQ9dK48uIb< ŏOvߑg6@aw>BH #m/RpW:u-n#K% c8CШHqmK;Q!vPGTCqkB$)NO8QءW.#iu{nNP?B+8rM>k6З=c6]Rd~EwbDQ JiX5F&ѩr2Cmv!msuiT"i-ո͖&LsԶ/_`uWPQ„ΌF<(\Xkugu2\>pRkĸK sW=$ ѥɑeɏ6,o!rZve3 ]  @̔єVq3]偸պa^WBNJR?±v3 ^x޳@"*4$U a4vEtSCw,QbPT)gyBaRIZX|OO*ҊJGj6 k՞\n"Y8aqFG4zN_K`vBY-ON\uە^a6~$%ԗ;}:X8&VvW2s ٴ ÅUf/yEZj lq}=#!nQ}s42cb+s&u"]oqKٮY@qJ]fЛ!M}&'IdOiEb\ *B/0 NxZr]lqcID p$֕ 4&C;CzOVLQ~hWV-hO˺gv邴HSTxbޟEU]X)Xp5;82)%Q2v`|j|Dq WYdeccNۏ,4tƆ(<+m/ZXwUx˭xFVJzbM.mġ ~W-ʤs!:t"sK\׮aщ+D. hL;viZn"F.g!*x4zwg: n.s G*zH`FLNMwWln×U568x-ZYf3jܩI'*H#įjSsii+c /l;h8B9~(4'77T)P,cQ'&W x/XX+Cr^aY`¦7A MmIbZknV4#g`c!Qe,=L#18eDA GC@*jVwvN7 pǦ*jr 05C/'WTCBoo7.+;F|j.']>@qn-̠V5)[ nI^ 2[;>ӽr ŧ%Y~AK'͒G}q,6L0S!=|'Ot,8N1])@QOUSS*|WGzruxضȝ@W/V  ۧ91~LۡOZe;lH^`ECN>R6 'd9.J'?TB54T4}'4cQ Ƴ"r2 4Wqק ]5~6PZ&HcNRz2&`|{614P%Dp'&To@H,M#2c缨go-ak!C˩$,ũ$+ڸ!f|yz%v.DN4ơ=XaokwwXA8~Lj/rª'*0]/hG!svkay 5\1C&oи;WV[7{0Fj~z@j;ʳ\Kp߬TMwsH 4Qt 8G}Ju7hoxUDK cX;7 IvCNw0c/j6MpJ zP,8"I%M) Ļ/|-^[aW_E!> O%0s//X56ɋA 8x)y3q!c̾&Z$v`Q7Y-Nd>WEk{6B9Ǝc "꽉‹C6BƇy&KgyL2S^Gf&') D~}uU̿TiS%@Yx𬭖udLF'zA raũȵP9IWl #CE5$|yQhnsʡ/ dX&ơZqڔ*n#ؒ1Hy—6pu U٥fևdž)1Ga6zB_@R9ϑ:>lCZw53dYnB#S!ut?Ց}c7.NUQo c矠:N繿l!A'_jϬ_:6&dscf ;D@^=IpyS%uZ<*nMgS<(츨5H5N D_Zi'Pq:xn_qTsS{x="$J7HHq{ ([!|% #̶Di9ϣ/~pQ\>cVK"//ij} [ptOx5π~cf\w*ɹCqKL-oб=:`{fjK}0 B(U1;- (j.~.^C_T^Q1 /M\`9~cxºa}fvsD;?&V'[H$;g̫by20yqOWw}*dž@׀4ƆLE{vhf??M_8bxA`r V3!41r^SiG)DFzF_YERm3xOWCLMVbBmz[:IpZX lPBN=k!y d_vgZZɰTp#>X۸>.I_V^W fui6%XL en_vX.{. ?} +odAy_ȀFܷor/S O{sTe!_g3~Y>yyS?c"y> zi_k]>؛JWO#3fV@ĺ\M౯|Ѐh-S@/Q xKٺYi4WE'RY@ËՅ`/ Hd;0VM8!mMdI'l&J_*歷͇hlm۞݋b`~iAqun+P=9UESMg?v c#oaAYQOl~q'A0YbgigΖ=fAFv ㋛y9_l#[,ħL] jT /tD7.oisc btK.+Y-|K&ũen>_ Y_+N Oб_'nPtXi*xpQ] 7W Rwݢ*Ѹ8 Woݹ2 ՚tPV P*T_/XMu ^]F9E@=['Q(*1NH]b_{]trE0a]NʭHQ)ycr3Dl^y0w=j㶟qhL*Ae0WlVP>J|2[z-be~E~ /S;G) Ř2;W |XK˹T"nBaE늋 [\ғ{x;ܪ8'u=i)%3s`=LT 33rk@PЖ,Uk{Ϝ6N[ `FketpLۨ[?!X)Cs+ $ w mk'&c\UJ#h<ԇi2dXejډ Oobu *NsV+'R;1 A7 [P),re HՆƗjD^iΤ)񫑕)OԷ Vn4Íbd>N c~ɮIX\>bBs ɂzKLjO% "9+|_m~,C)xpGϞ\u q)ޏ®ת$tD9$DSXѠ 3 52_JYrXQl*#Kx> ;6'}wKBXA΄hPXϖG:?WqoFEEÎYgĠanfքBdX.= ʕ-z^ qKbcK7yfcG&1n,pVd=NP`ai}2Lh!efI;E uh/U" BJS@ITS7N|EOzysO'hZUr‘+ICfv$E؞Tq+!x5fvݰ$%91>دXCKK a󍐜U1$?QH&?8.A9:E$ȖnMơ}?*vS%MzopXvt7Ԑ(W7塸6v`ǟoJUTYʎ NM45#G]aԗRybhy^$mMxv+ʰROJ $ nSMB&I;s}BQANq!NB^{].'Rro+G>OQ\c yy^pvW\BKқʃY鉽SrngnS`9rFiEKSNð>-A `Z}KDY3t.|2ԮFep;[jv%.;&5&O, xr?1E}3@ߵFŵﴏ(Na-yLV#,&AU# |hb)ny n|:.;SVa4Lmq) 9tΠ#+邓NTAymus't2D/]ӳ!$JaS9/$mri)l+-+q"':>]ktX[qGY6mS@5ȴ槃ᶯBk88=hqCiMyy\ ?[byO( '[WZk4rrs]`42HXGIj~f36Ifk)䖮 E'~ t&R b:,"J*bgy u[v_$ 9¬ݹC:U,'%Lc/tSu1z`;1AǺCCVOLA>-MTҀkќ&z~,rV@Qgd#"֫`5?wC)U2Q*Te-s;m/kHdA%.n*cehEQkTaCekSki!ygu,|~`ÊٵU'DEY&ZK$N-%WDӎGL td|@5츒K OA;D~dN8@IC"|Ị>k*\] GuEI/U}fx&%w(*$G;!YboXU"0mcOq^vZz7?ln"Cd]Q9|hxU~ܡbG6bM\mnp3o/w}|F*aCz)5{pu}%NRO$4TAXK]]*QWJiHw#7Dk4i0 M&$;a|4||xw yOgPӛz@P5Kj,Qlo{GaZ ]Jvsç |+l}Yˈw kC-<_uFJm̞cZP}$uY[澜/b _5E=its>АGnJ2J^umOX|!B+yQP]ŌqnPI`KW.W$8ሄ>9g+%stdk[mqܚ* Ty쏨IJVz{~$ ZDP,1{*-<x_>$h;c/Iz23s k;E@@dكx\1@+Wˮ,Z,QzIʆg  Q+wi ͰSE\4bVՌ܍:gZZ,M;Au'\Sy0-4*d#9O;іNbWʬS&a2?O*au Mӏ n^Q.A>g/׾> l @bhs]gc]=}OkjygWr;u⽏*&*BPРN>sv8rGVҧw=]Qb,,S䆦UM=ß^ x&Ai@Un cDZ!= v S–Z5nPLM_E-JAL={@>CRW#pfjTf\lTT^'_*xϓ]:9sFT 8 ^pƍmÃhh<'S7~<fLEˑ|(iU6dp\+?2SEK{Seح; ܤf(_ƌg*a\#X`y`.S+]*-{0$ɮ fTL4^XΔ; _¹4`W>>y k4*+4kkՑ|i-,}; O~ ĵpxOfm:8,3c[ G,v0ZIu/|:&(: Jàڱc1 cl'x&1R0R;uO v zRpݩۭԽJuy mD@+lBUtvlC*zȅ>hLvE7{>2&qRBPzK\"-P/9D=R x;Ys~eHy6ʹ 5dhbOh!\ k.,_O &>o:=ѕsu(Ӭd>X)dKS})2 ݤ6~8f' hL'zdѭ6C!NӈOvKv~ m6E1YRIA,'9&]*G b2Ej ^[/}4ix0Z@e[ Ϧ*7|ȶ0=}.G·`5\,_˿͟Eo" d\oɦF٫nK r[EwL5˺haɜ+=oH/-&$Sv9O]BKFTGJQ? hSH4,G!UQ'X, R!3H˛ "6̙7 C=\$̖`H\\^?B xVLz6(k^ջH:oj;4k?Up3x߉V'RiAy^"GTeJsf~\x6(:ro/R>xf׬VKnb:D̪]dR XDMS@pN8^92kPQKAǫ2WNw.DN #yZA8wԜe~EVe$!#x3Opڿ"#1>+TNOB)MMZ{Os@|-tyA ҝ,=AzRqV+;҄[O&KޓymzSTm`w xnEyxT[}6do,܍>BJޕPM UvܪPdPV–B{-}4JieaL h5JG9+Phl%"9%db&n!\[z}H.^!6 OiHy')@ҐPXȈ_ Z0?chE',ӝ+$ś >]DN|]MvLLE`(ȤxI:vע8LnSVuZMu`Vqzȩ~>.vVcI2;̳^j:a7qSnW<hO4@dm/famD[ۑbS:&$CI']"Q3QIQŅ;sL&K?熵i DB*+ڀgk'LjXN~Yds@qoVWU>_!QÃ.N3-KSA /TFҢ(SFb8xV8d4ynؑ3BBq@Fy6@"|4$ " p$=RҮWm3/6I(Z>#ґD: rͽA#$&{n<4HW]yRՔ{h|S4½$SS;hduס1](TN9s`@}+ѹ%|Z.V–j<)cKe3*'򗝡Dl2ZyjzE^$$\j 0d[]2%1Â}1b:_Iea^0Ar*Oq/"r$_럳!#L\rUZj߁)·ztǬ%.#xcb:ckzaT<[ɌNo#`b}ς>pS9}jy)oQr\ Z sgYZ7zXZִF! (]ŗXiɟ1˦r!cHkMeBd4>c1ƂIʪ}5|\!5t^ ܱ=|U4Fۀ~V)ѽy&ZY hWn{t j3v\ݯxS vYAd;D,w,nȥCS*>~ ai) k͝=\2W;>o:VĉJ:tb;\+bYS%eQ"2Umk0 ,E( VGS>@znu'Vp.L%f.ƒD3"\|*]ruu,%5c1~t N. #ɉe; [' Lx+' q>u '1wte {Ѿy+'_6DN8nD.[L[!]ArgcJ0p1e3ꖖON}8BK=;}|2_^nu"_~I[bK?n21 *Ǒ;$0>"L< G1F 0jrt+K0ܜ ĒP }e U_U M:3r<jwYc!JC[ԁf?Gc@ݐ5TN$/;`+ Ŧ1ϵ ,՘C.;Ol1PjSba,%[G[4enI]g#yJ݃!pUXȌyJbghL3=Pޠ4s\Uʐ E|,*@펠brkL۶wk7hUo2yq-晚m Ntdue^0;F85^u °tЫ*{Vn䦬*SHXd'f C x](K5ˆ@^t54q^3ͩaXPXkb4) T #F|Wu;t@Z2_q\QKprD^EFMWG=UᨹWb_ u^32|h$qIQ|[%X>F>IW!\ 1kg=qM^*;WKKV.˗WEnMauHrA*w6v4U`CZkIQʟo:?ztb7A %E{Vo?{Х{rEfyI@\\ĂLl;E1Dp nRJ-#>-O.n > 6{'.A۷Uqup<ǟ?ħV 2.9꾒zk#6f<-!n Uߝ45+ taؗ&RDj}pma_hDQ;8 {1X:+WLqdsO]{ uY{Ub x֌ `xX4^.Rw=<~ܣ\FS_s$* [RЈwGt,r ./Bw8 |ߙ?CRSbox7IEZbTA\V+}퍞9BoSMWux#~ډWd<%cWxӕ1,&H#D |NI1˲-t׿,zM{scRSzr*kÄEq wmd!f1YG'%K|{ W\]!}EW!QJ@UrdGyMo5"懪awleiC׫X ~S4hh4݋f;NQ*TZ;R&3^ZٴrA#̀/_ҫ~,M8#vVt}k2f:Ѣl#"תыQ˞ɛUgx :CBW3X]#yN1vKS;D}FCgMlsnVv"8bO@Q/P)K'gYZ7zXZִF! {]ŗXi%Ggy @&Yf4b_CjFӡU vKcI3R$];_;|]ޫ( Dk<ƤI7:k -v=H1EYMX6tQ"7(=Z$yʑHm7,@+/@A%$xq8Vyb[NXN)b J%׽'S̷BwpU?җD-} r} $ ʗy"ì3 `#MFz 74Y,@I'[[0h)͵g:VqcH?$,%r|%­Fߋ-/?* ъBCƐ3P(c~EQ PN.rjtJϊ8)d";ԡh3vl8wgR&bQ)Z۪|WՍn.,{Nr}q:\Sd-m 7<6rNgjb7_|<&22eۿ6at}ʘ)/-Xb?Pk+Z-@ qSs&pӒq羋3VھGaljcŹ&qB`i2],`ݛ 7UiRjw\4KNBoZOfD}s-IMF1Yz vV D.PXF.flTl&K@H:0f=_5/k3ΠɌ+7Bw oNG( K)2D+Ek?9BM3҄ 74ZС0z\UC CBd0l&&dt\LPwCIB{7@7لV aHoxBX5 0"ȍ7D7U7X8MQ4љ+ ジ5@So̚iKgJ<5}!<4w $TZNG88>Xb'Ã|sQ( |xgcEܑay'"&|Iܑc #dLd |itav^~3_Vdx*sH+QӾ)S(vYں_55.\\75pY">l8{2>yrpl(;c-LwV~oj 12,Mi0&BySP"vz[Fa) {\dw8J~J^faE2j)XzF+7p@0z:SyL!&1C`)4wU x݁CO7,^>ˆGĔ8c20{8Xƶ(xoQL0]hwDBzgֹ(nl?G|l ~nLg]5d]ɖr*xB2d.7TH=<_>!{blGͥ GGw۠x^5PCyt{-T\(u)l% PljtCVU'BQ} 5Os|h D&9A+ iMQnC~*]K п54|wHRecibI؁Rf~Ƅ7Y6di?H{CR<(B?U'IQYg49ycC7'Ȋ$|"=1hur*sS0ڴ:8lU96.wF>"sp 9Rrj8scyQmˆt-TxE܁8w`HڪT1 h:PnZѽEЗоZ25uAz!N0=JzS*w8 "Nj.|F : ]P5ٵDR}PGI>M#s]6‡4 (}:7,5 χ2B`ɍ/k)R'zdJoOiiE{i{~X#UbvaMv Lҧ0>&$[sAvAtw_:ZH[ۛCބE@ڠO!O[ `o[)NË{s v:Il rtljҿ&R(gll$IBX+<͂ eT` &})G]2$ݟBQ\C@P,c~ T(=hebtu9x.,TЕ<u M"6\7K$%DW9)rg^c359~+WU3W36̓k@B L2AQA0 jܩ|2ܠWʬlE] ؔF9An"a 4GhrϼËPgc?5x drxJn] ENSi3OJ{I*Xc򷗹_ƾq#G <9qz\W]~RΈ< Cmε vFftiCep|>O@=(tV@zo˦llALOo v'%Dp-wJ󥺁7n *p*F̨? ҃URw,=K O̧@9Ą"x)Qqq d1pB5c ,D m! B%P}J"ANZVj3qQ6h-`r?kEfj(xtlج&_pqձ)/~ލ:OGj,QsEo$x l7]cu=Č|ua{t:/׻/<E kfLqj27ܘ?|pLj>ZvT']h5TRz(B尫1S1qE՝`2- Rp au5 Zdn4[?pXabqݦ6 B/ىCyQbNW@ObMJ.@O?F#U'3ToANM3-ci:Ho{#\:Ѹ 4eG1C)}fLh[(LY;WFG )2uxoPv[랴},gФz *1҆Op)iMF*Y/9"j1(\V끳׷>-dAW@ݺN[ؐ*cf{cbDmYWFr[[dT+VwœjѦ4kp=Dkan$E8K~aw$ˋW! }%JFd20~LֵsġeAL]El}z#OObh ,o\{^Jw*| USCѓL+ MOl=7溝= s0K=D4'XH9UTK!{NAu3ɨgD~3<} <3yv Z(bl8X0]]*^'2d(1Syж0mB0L <\YňQ9{"A9E% 9; G9Tog3΍MuXPm -\euPz5~aֻ಩cxM a6*w Tmx&$/b,i{,WU_4h=O0LPMI&;qvry2Vmr厦aC3},z^G`Xā/ )i9 X{o4.Mأ&쳍n~H dӆ߻+=?d;MįaM[7o1wFTv::wAS Moq[½ۓv=bQ%2L:muf`ߛc+hqgβ5)# :=3PdpGZ}"MQr"ĭ>RkF dL.g$\xV`4ϑbb/$Pp1/G_z"0>LɄ~3^/4ZDYR^[yZ,ByO8p7oT,,}XL&\'էwqLJݴ01N8WAE5 OxAeLP^{ mx tтr;LQcpF$!T1#HVtsn[]_},z7iN[Ik1oX wy9[س{=;CΫ}Y7jҰh$uҡ9cqj9soPSOFd8IIX:[7Ĕ.uL~v&bhT"!<#CZ1Gо] gPkZrFP}NF8=#{0 ^ƺ (hW |VewK'U KcUOiӝ,ӹs;dqx]$Sf Z!g33"Xy:f^z6sN%麣A5RGj.Hz!I:,}j &׬HhOʐAl B2/ڞs#BH3U/V]єyuJlRy+PWx#qz;YsRRS-%P@>J4%vi~ ꠚK:ݓ/P%49.p#u7q<9ZЕo[_g6g'X8dC$+vFI+s(0e}`-#f!C}Wj:~C-eS(/Ót,D7^6HOW Z@'w:$O2(PϢli ΃0X7۬% 3Pn?~3ˊ2YBEm< >%2moSXB} ߓL=Rn$BQ ;5sEB. 0SzDnp>'А&",hGȊKre-f~MVYg9XwM)$4/< !9aJ?ȚcehVGV kA3ngf!' _)#CS<`$=b_Es@и4- Be9D5{>p9lkßL,?sG5™t"T>oԧP秊sD/LRp_@oؗv}f\ "$gzX٬S3 wӱV~Zt'QJ z}uX)unex4 VgYԵU2ĦΘ}w}9$o]&Y|N.矻`Q4, xy.[)jVFP⻳#Rd !OGyKݟ]d<p2>Ez6Gzs}5gOkivLy/5\610'4o"@Jx9L]fg#~"1240{ߡE0mqDp)/hSl|v#g-J棡4S#fH6Qf Y-\8@P4ꬴMg4m"6^0Ⅼ#R٢ʢTwu ї |rV޲dpme# b`v Ć6Z/ZX!\ΦЁΝOĸm %\Zel8eGA"&H2Ղ 9Șuya.Z p5g0nTS+ 1688×<:d}֫SXs6t<}dz;Hob(`%-!gta1۟2𧌅h2W]3W[hmkؓ*>hD*=ƔMOZ/(6e r 6sșQ~%0X0"롂ԓ=iK .E% 6t]Rv"N- U& }?&P'NSG'&j9;?DNPg'UMtVOt!Uw^4[q`]_=7yF~yZ\%iA[ `g_إZg.'r>߲tENx( 4eV+uCFgH %`sq <*O@rLubYG%{pd>Kdk]E=ȷEÏr w'P6)7Dtsw=)kK878 9[:}PC%IیMQ3kF-'=ҷUx(: ܮR/KBwB}̤$z p'x&NQ,qH Q+owY ^ᆕr&)Ґ^×mG-[H&7}$2Vb(ؙN(&9@ V0S]vg^wg ~ w0OW,"qF FdC|Lx,vŦ*عS0H ),eYG_55B,:"@hޑ=ƉZsr9R ~qp “C`⥥OuwLAn8xyZH?=t`NL4&4ǜ|n/s QT5BEԔWVjv1#YGNzKӊA`x 3) >$^a?-z?ufD<R{Aj骂g S=[ɝ^t A*S5tt,_!\3 a\+08vK03om*CC?H!R[ws ftIᴥJؓҐKZ;JtZ_Jaq`A @e tnJI NevZ~$RxT[(LrOžX*ԾĩY*Y h0,%4𦍮9 *()'11ijX5-xiY==jI6o8Q.+աkG4M|\HUeScW'rv9#iCyD}A1DA"' {ȳj 4} D# OʛYc=4=`o"QZIkʃpL6cm`!۫ #DJch6ȡF34!m ǐݟp^֔`95g)+>˷sjI\t՘DU[21/$u?G0 {$xJWއz$.;+"QHJyk#0~S&Ajvͭ*2 ggKqN>?/VEd%1%bs]#zkf 1ؗstR7n~ +ԺѷFzE9"x[#0gJ1#mL]9Q *ǒldwh27jE|:t͓ 5C8fKW/9y08|xg/Zʟ1C )lY잨7MPm[xO$#U%a{ 47HVw)>Ǽjs!FX]5A[+CP?J,f7Z)̔z81{1]|n)~.g; aW>٩{X5)vJ(~^rm|!ga+8C=?%."x{n\!M Е-2)똁*QOsH$@/vL6&ğFѷ:jf`Vỵ~JUKQ+l0.5\1a̯MN܎7ؤ*4U15\La%KKWj@>ݕTB,"5O5:ݶ@ɡغx2ʴ@?ݣԸCv ` 32tyld e;pױ5e= e݂oP_`: -d|eEoV[4{1"mh~>!L7VBW4D`Y1:ΙrYE)k2ɥa\-Rҿo3Bz0ݭ@ 䃹dʐ|]=9e.M#}v*FGRhY*=O؝VC^B>+]{IylL{wZ,Q"me2ߌu@1z^p'r̠j=ڒT7WmZ5MpNj4F]I&&MYٳP#Ŀ{4xg6[^l~h &-89>d>pbj\oO-|8C6NbAs;HDŨ0^M"}rGJ*ߜN'kWZ2ۋ iJM(F0.Ƹ#2|?hXؽtYG8v@TstqrLsygoI~`?9@\m]/XN(`sy5Fs@fSHf} C+zCI(Ϧ {mW̿ܔ0\۷F>E#o 5݅Π)w b?fvqy[NtNDhLXHOd7H}K͝li)->pYTSP$z 'R0. jF Up1rO-IJWdmՇՖj9^Es.ǔ蠌Wn(aj Aϵٿ<~d'$zwr7{/ 4@Ul0 iŚ hV\ KB Dl "g"˩[L تHZ8%4nWh{0%f $]3ϦE_įmELӣM)s&LSȸ˰mvJ(n]pufFD \$6LaOס{+s{߰-p]%@nfB!FsɂXmT`2`>$tDfn 840qnjsdaٖAm L\"eq\$]LM y7% Jں]jVrx#M <=0sQ0I\roỿ&BAIS&jhwQx`δgA XjS\pl=H*{ѭ AĐxZ?=7;ݳ Q,mzD܊:yG:C,[Okw*xf+Yx}*us=5ykBhG}i+Vh wr^#:[/IţKFA5:@}&yd l@%Fs7m,JO'GEwEes+GA!yU^|UuӝW^S156}j1iԍJ\ЩeXkz'߄=%CT@4 q"ʿ Gڋ GU"?vX̩.ưg\m}|]uM+ キ"&b`{/Yx oG돧>]a7( x+@%$5z|WRX>+|&) L2[(ח+}Wk2]ͳ]S?-e|׸H c 0ځǧcQ}~kfp<۠AL$jWH SLM$eciGzwù]SxXKB;[ݐs0MWKnm*dS( ,hKiq2쒣!a5Ēx)83 E:^rڰ G3qEJCu!{X`g~"dڥma׽-ث!kp[Gt;WNQyC s }@ӰRP)nq_vLӌ35"+hj-:pg<BO"}{`2;|C,cQe(G|<Ӥ򹡋Pj6wwhl}6} cr(KM9DeN`PtY :XjQ6{‚Zblv l^SR+'!޾FYk/]Mdc3<:\cN;JoOgލ~uΚLH-Dy<7ҙkw?nZ%5Fyk \b:y,NPZ4JfZSᓔxxgPxPܝmÙ/a;PQ( Ejnep jI\m1*#'?z ~J"d &ϳP^B*g&Zr8}A9YmEwKo :~E4yFi_lqֺH!MoΝ'jMTu6ICo_ Y{) ;evc}"WX) [u5_z-s$8MqGp{e*i?cZn+/z&7u3w{ "i4z 4s|u-i11z4TK##hb_iF|2%j ţ'ܿza >{1zBEo U܍䏝zaEF#uZiV_g1P/K-ԵvyPl?Ä C}۪i=}@!G83SZ1CSkDh,Y1-D+,q-d(sI;2oUSM{SV!.k;$%^S-ydȼ-G<(梢 \`u 0f#=s凜Q6BXCkEq5 Ə:$ N{U;}}ZZh@M2yJqB2r0W$n2 T^ijIΦhr8)d7Pd* ^m8ݹ11dc_ʈ}N"jG?A C١f3Hn֓4 7lNmjltl/Ƶ9P!@2f侌1{VMs{K3dF*:8IGb= 0 Sv=54X$gnV0):VQW=ʘH9G}2kĹMHj[?b0-L֛ģկc L[z_ l0(5IU͑SJTI00?eRf4?ZZ0k3hYD­9g(+,$!im~bMSÖsM4fL92eϣ *f0L.g1;be8 m'OU;NDj~VEnN?[$c%Yٻ_9M m ==ſeJG(GB7ۑPFkŊm eɇ.9]h> ,Y),ۭ76?k;gMbB93/wE& th<J%X VA9QV{K莐c4KnB'M\r_Tđ&S0,{r:0]w`po/G̳Yȓ*0?ԆYd֡17Ϙ #--*nʱ8sjvEGJXZږgBz[@d5(VHHbnCQ!ҷ\BUVDj1^Ѹ`JM;C3CBn_ b7c?@@M.&7ݫԹο/eA_N%BTQY 2Ft\ <p+| , H[@ݙg<Z,Z?KzLLq"S% !!btdV>kvCeHUTl3$;3܎-s12OUEhM-KABgPCCoWZK`+8Y/̰2Y6 [{;rh:U}_Z=se.[A:bz H yrlY"D 6 h|u_͸ӅBȥ~X_gq mp֞j`$rbl4d)P#"MNN4Z~FiE;%nWj@ь؜x+$nŢ-Bpa Dc2^E+XSt"&1 j|^/*jJ3 yfڥ:8211|OƓby5"q{b= huD)PHtMPyѰ!ђ6] 9|حPMNlir1R7KYi2zqcO҆{y^q}Yh%luaE%+1 qO==ԖE48@5[f$ KB-b]gy;-8ͻbTˢvW'Rx1Ebk[di. 3+#چ ~3 oVCM.4W"#þ. ĦaDEV=K_v}?'ykν "5|d&4*ZTKm= l"Z3 ]§JݸWM(,f:-h <g&S c;Y@$j }#3y%ߖA\L04+ddko@d%欈3'e rQ̄d>h2d9@gLQ˥ k_[@.N-+"tT D8Tj0u$HԞ8~G9h/Tcļ t,6M-?W{V=4S p֛4I+_Bԏd: Yc SQzW>N]v Q8eW zk0Z|[?]ZnG&23Dɯ>^L;T0Q8㢧R&:Q2*|$SGs:a:{ILܢr)HFAM^|FY1 R !O[V~Vzy/A<|KKLG 'vϘC: Odv* ݏc>5UZ%!{“ڍ^b3m)1/TϨRm5pEl c I/ہOE*pq(f%* W( [3lDdѨm _>6cYDK*=t>X{#`̹Q#עb}i K^zR~C;wzVy?~8ƵݚbP~2r`~޺/ GFESN5R`Y+ؾi +ZƵ({~DvBWXqr 7C!ivs .cg9#l]u~z2/8n(?y>ck^ {GeeDHcgqirr>d̩㱒umϒTEe=LZF!s͢5⤥N!O{\CDѭ vK̰[V.zVzqޯkbC+D% %JQJcI0fFv%CSTTco*o 3-~(ad+#y*fŗOx8KSLQ硣U'*'Q}C eRbSz _՚eh<?bV}L]bcbP2u԰etA&bDcQxЧ <ƐN *rft@V&`ĪӒ@"c6ʇ$@$KLOt[Es60YT*JV4H9hDw 󚶢a4CQ<7P(meu-CwF؄gG3okkIrRؘ |o$,KoG 9S' Ĝ-[ ɥՏfK/GӚ):LeRzǛβkp GcG@''̜=vezj jENM_4쁷-IljEѿ&R wdR+ $!p'.[)v.`'rdAV8pbRkwe~!}k*t/ns ɐLU0(x !%X0tJDSxj K/+Ftg nQH6H4J6v] $'(R+ty D:aA}gGPGiCn!@gx%E۾yɎry煚f:'{{S{?\mZn*:R(8m[hR*o.O V Gn`L4K:|9gD 4z8pՌO^B\N/2>ec*V2;6P/ilS9;wXhiIKAۖM`MK;fO8۱U,-O$"CW: { Tܹ$ pRٻμ-dSeu'H^j׺InJj^\%K/~>d^ .bRKe@gҋ=9SJN"p)& FEPvl%>:wHGs0N=y!m[89O>Cl^$B H䡎v޻}+Őz5M$聿kd&pT\~^H#ۤEEr?a  +? 7xw>`$61zsTOE;BFWm{zSBB~2:]Z";I uR@-r#g?V/P2`آћ%=ȳ0b! z=+8EHNh#[۟:I]p06; ]гYč5sߊV4OFwhn:kЩ뢌ϓ$Gwoه+DQ]3b'^#{0E1rݕ;7OREN*JCZvutr7!JS>RgDk ط_.1[gn {h3a>M'Ex"Xq_I{= k[^oXH&pTvG~՟ siG "ѵkP 1hj"X vݜ8u\Kc0WkN-Tku˝Is?`8C|*-@Yig|IEТ2$o"ag=OmWo8#. ,6Aa/C{;!V0#x74OSMI<7@.a9=)R/V(e<􍰷%P”/3kxD m]PQɻG!WC >Ǧ.|eK `}`.i}{{B'{jiN3r y zSt>ax%ht}~PWzUx}Ҋ)εȕ`( HH1)=lKk4Ŭv=NhT!d6*Oභpma<]? fe1"`@!᧲0ΕsMƖ_4H3tU0?u9q/Yw*olf9c,?$YӳvmxQ:{[|]oZ rWfڂޘzP }׏ŗl̥L>p܌9F8]NsKX~]aX:tб'n7  !\c!;,t:,t{=.+S|8*RaeKe 㡣=L :d.UM rVl(^w$zi7t;jϨHfs7Zfs/;F%V7:i t΅q#N>rD'ScWZ*FU>[psBhJMǛunS ;2Y5ێlGS7~w.ojDe:D8dj d4]D[Y{% Cya3+*β [`LeGˏ&_ W#zR=kS 0"F)}Ča ?u" ]Rnܱr5)95G=et#}w=Vl(qu$Wt!mj] bJ.NY5HQY)KDS:qLh$mS.bVj?dfXr6enS APNpmn )(bq6꾱>K=# @^=*VHCRw2kWrMŷ Sw~#M~+1uA4޷TDPqrx2uCxtsg-v@ާ]%twViOvdF叼"M -/ |\:7"wMp<3qH*DN쇷]I4@#c.HIJV\2M=XlDFO4.uDw5Wɺǔzy$=65TykDiWq_ɖ*H:/;"߻&j  ? nXpLK?[)IEW}9+P rKVǞ`\fڰ_1*&DcX|+!sK bMTe:/˴<473c ӻKX>{ˁ MGı$eiti5 أ$,AsoM .jCFz~x5"Fȣ8htOc1Ai|ԖaeD+BUO/CZiv4z}xh|Bz Z@heH^nAr4 cπfPIDwjx6_8#I'}ߞ 6n >'VlX fYfjef% ;8HK<ҳoCR >Mhe [Ϟ gY0pגz*+NW'ծrz/].>g^^V'yBtOtԄT0[Atjr3Ih(^f`oSFRZ \|[ r*2 /h_z}D|!QOYrԽw#Uka=0MM2KɻYP \7疧M7 wn:i|\C H4$o`0ޥ>rUT`Sq ~uRӺZU=l>{b7=ž.ʝk|ldA$ ƑCY'`S#r^PJ0xrZsQ%}Ww`uF og;㺺 u?/dWn3-RtYIKILq2؜[`ր7刑6I*V BA[AOC#N_+LUY3J%1sYs=  y+{eS^A.O{XT Er^4UmX}:J5+H1ϩmDEGb;{Z"ͥa^͵}uʗ>]'-7f6 i#`3o'-K[/t;RsLS_]cftN ^[gfa[  PLgjߨTCä7 FDU5DB(uxxhF ƛbH_BRT!w 쎘H Ή{sxٻ㔗ܶ<(| etXx;AVf=zD_7jXuz7‚)D*}/Z2L;xY"#Csyx\+Uh_ȡ'XSA_[](v3n.2jz%VΊ]}Hvʼx5OdqPZA01$v8KKyG~QDl=Q;-e@jtDanFy|UvMY-[ϫY҃|^ۤ  v Pfho k$Ba֟[0U5DS|.gb~}hwOh]C3+?6ahZظ8Y: f[0w;R- F΄^+gF#&)"Tf7XPUfV[6<<k->1a14WKDuN~ǥ1ɳjbSzRw܇ t-k!I (,k~mN2إl.ؖɉ` )3.lfje~^pza6~ڨa!_Gm}Jdì @sh,彠)<|&ytnI3G/y'6ݏ:Z;NAS頬F](EWNQC.l:ZF]$+8=o/Za s /RW (Ldx߈럴@YjVDrAkMF!F] uqt8F~#׊=Nn i-@]}ϰ[6j`4:~uENGĤ5I<hէaډCЃ\.D2Z''.wBw/q{2J˗$8V,ez+KႭbd2J`iJ/>ȶad&C@YS8^OC>D~I(Bw[iKNBIV09,m[!gqeߗ;hi ]aoZZE5ㇱl . fӚ3/ĸ7Շki@^ȸ1J+V "1oaD~.D@= Ms ΡOߑ. Cvhy5g.8|(23#x dSoڹlP:Dn-;UL_l2K1RZUǎUS&4>xlpCP!.`H!_6V_bh_]T^Yf_d3f=ǻWA BG}Nۗ_G] A[% vCf#s}IU]MUE}5uY8K#a%爞MlS~"-aQj64n!khx/L(Z/֌7I"=8B0nQ?*E:Z=I6ܑ(=7q?:@;|{} X>x.mE%$s¿ڒ{ %=:!Ə-* 䔕m; y5zw343PbWtگa_s?zxSjQ%̦](UPoݒ:'0ߏh.C.{SIb z/Uq\OQGH{)8s-D|wEG?9#;-Uzݥ:pNm`t`(a*leuo??>WOvش'f-[Og Z. ճd{Z!¼2w(= ލ#b8ExY8ENYb`1P gns/or;WLm9BǮU1/k\ `Q]*+BOT=i%0;w>Z f2:e6P~j̇Z4LW) w>ç^hy Y.ODvފ~ȳ4)^$%/gj羿3J~-1b\bvP]2h=[ {f=Ye q^ӂ1p> qen h1@!BmmA-6i1 'Vrҽ=i(fG̗,SI)챂sCsl ydgjtoGb ,kdHpF[g}qSƋፀQ5M ͝u5|`ustp,0IBF$p?qr&/QB&x cXoP[{}4q8)#:FpnCTjg‹hEʥ뫕V3qV# c{UkPU"浡b7:7sUkco$ڧ@~bOk8[_˽nO=h6VCWxHq1_-xtQRr FyYv٫K ; _܅ZP,`q$瞫ˡ[kGb?\~PAЕ8o3f<_j*\WJ 9o7*yDp;1@_赒p,O3'ot%Y]2z&d|ETQR~܆^|ZWqIyB9zXN*.lk$7靛Vr$z K_?͉S+{BD;3W:/-4[& {_ w^uD"pqFœdzUEODp m˳ڭYKvNdO{jW+T/ThxVvPr;T`g0-ʼ1uV;re#:Fd󖆮=w-3-Clx7Tne V`!Ɵzxqf)-^-Kw@=!.W3!6dOx@;KѾpPq'~4ϟGNʉ{ϮUC4 k ɟLk ,G) H`QVgk %JS*Ԋn_U( ]< #M g^j&pj2DG 5ʓu-B'^b{-W%m:wYD n(IFRPmSُR+{ ^9O 0s3hAO18zj5|Rk.c wBr=gV^@N/bX3ɂ }>Ӳ-1~s9ZIàhvQ`rꍃYx]lѬ95U8 %Ggg ;?N1Lh,XP냳_zZK3A&ۣ7h|CըLJ~jy4|+gv?ٕ͐~ ZSJ& 'd6fk%HhR*=-ңqd$.,b CÒ,7i|vm쐛gd/$S_|>R@斨sPm"}ԇG.xJk.r9xSMXӴ`=-UVm9wƔ2J ʕՅwOMxKXٯ:+YBغ/^0xH&JZ*o8 .ϭ.+*Yؙ/NҾW UȦ $vk.Y1uǟd!e.[:V BT{Xt- *cb||bP{fjDyqʡ5 0k?9ls4e5D-x8! YAF9b$Ô[+JA,gYZeb5169df56bc5a8ba0a9c25c9f9609d04f36bee2ee6ad39af305f89937086a6f882fd17679ba7ecb e3caa21a0f45527522c83927bef2cff3e9ca2831955c8ecb94ffaaeb5ef33641864c4f5365709ac8