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   g ll\ ]S PCF:threads=2elapsed=51.914cpu=83.464gc=2.936factor=1.617zXZִF! ]ŗXf1-/6vR[1Iq@>=s(qKgsohvʯlӦ cΎݘ'#:F`ژ iE'@1aG #>]KsF=(dsG͝#1XTE I}! I}d]v_'4S_$-Ըt+ uV̼/e\60Fh˯)L VV[iNnP{5,GK$_:u/{6jJ:_wɰO>>=NҺNjEIW3 d_NͰĢ8|1 xr[ s.WܿY&\y̑  ޗ#8V-)ԗ@ B<35XVz3RY1M<%Ȁ5YCa+G;F6怛P<#e}q<4ȋuH9.O3Rț.vؘJi`F3cy@5W0#}13&m^_\֊0t  PCF % PCFPCF.PCFdocument.tex7zXZִF! ]A-MՋhvG"uIBm55Yv柛:6ӍJnd|79G5Iyz8bS{22uVox$ mrZ`љiL#~g?RN$A;)^/zט+wgJW "cX;Baϳ=")P{֑ē?2Ԑz.B.FFb-N\9d1O?2닣Lw8+{Y-{)C2%P ;/TfanW'#g.Ȝ# y X=.PI -LaQɊmgvX<{pqQXA?9KBR,`ɇ#H9'EsdA>LgF \Xoly>[|PF..[ q"}̮?"{3g<վM(#HܰShohlnR[QtM 4l0:`s gE|-*y )'j %G5䳴?ǣĠ]u42Ir\T,Vje8@6S; uXZi=e,O* lm1rʇG8s_X8,}x{! пd*Z}%Ϣ su6e`Thc5\x) RD pskwHPW xʫvKumZD؃2K'J9֏'E52`3d:?`/ *. fwJc?Wfڗ; "9@hRd;3<%/7N@=ϬRK{Ҝ-~Up2ĥ*fZp"avg;ɝdsWe# S _\7K#)CAI2яj*B ee.@Zk?O^)%MjI_ c *BiE4'pJˍSH^od[~zҔ$kA% o<1Q^w93l` +5`_Z B/͏ E Dqxpv`g.d!4Xz=; "ئu2ǽ>2O$:0vXTs*|oOaҦJ 5Cg2C9Fwh =]/=  q'#2!_O7 pI`ltJdʙ-,08M dY'#q̐w0yځ-z|lvs8F)| @;h7RJ!hR>pc܇2˗zycR1I%LN1Y^AIh>6Kqvfl'7XǯgUݮ7@%oY*Hn+ŕ^5;wvild:z\~3IAp!$_ju-l:bmxYAv}ͦ&3C.0OY+hZ0!Cc35n <ޮlPFk㘸h4Mph+VCϼ ; i;Dg؈fgnkXpT6S uG&X8+asԚY(}vs@7X7WyW[0U͸8LS#F&Fh򟨪_*$0ysqh?uzNNCwAkubpG[oEb8y(PnTB4O~pqV)L0iUZTuCp˷s]a ʀ&,{AwT?҄L+Vc*k@zvi,2d*4i:}H9{ DkUF+<@cXx*@=FMLyBӌ^MHu^Sfbfqa3) f)ogyv-I[|UI׬..`k;6KeJ$0:hnQbF,܋2¦%w0Tx'P} B{1f@7N0}"r9Xъ\]}lfY_tᡭ f<} g4xm -Esh(ځ[%o&_} ]jt^Xw'Tdo~T(ndXF0VfA.RԚ* !ׇ ~R% *lpp57*z0: *Өǐjv&y0 8;yD3O,ӤE:22SaNM|EJI4NdADpA}߬zd&ATU]eLs#s/+Vnm 1_iK)E.J,l.i~i*eEtfŜo/]qLu8"͛ Ueщ^Ɋb P(VQ*,q~&ڢxph?"vԹ!ê\}9bnb=ZCj)4C1jeR"~ܵoDẺiĊ}sQV|HY:;)ʔaRjHPЭ-g(h2ռ5Nk\ 6,+*f*|_tLh8{Z{fW:?ײũsvqQQ }:aFkX Epn|5I\hиE+e$Pt9c""ӆEkܯ[J??~:vOk^~F#5g^i3ZXK!S~>U\&~)15D0׃F /e{e"*'Ӂ>#YA)P꾏qmm? a|*_#*`b%yƢE%|S9 %-_TcVcuOIH Y,Ж4Ue<'E9u,@,6cSUPf࢏V_LX&bwrZZe"^6*bj)Pn4}JHĀꯌ|x'&尅\^slY=)=XjSLV{9b̩On`?&A@(gee)!\sPey _NNj- lnrj# (ZGþW΅5=̚N^޼I Dj-}VK|$-:з볳%("\yA+W G'`ϰݫ늳R,ϑSvXE')=;Q!nE~n1^Rr&e[Xñ39dLB-K5 psuSgz;fK9Y d Tp4m|OFG=gVVG6l~j$$8 y=[P?o_YEUtM)oճ0U-O  8Vq:A''0[C}+sbupq,x* 8 YjLv%~kjL%ֳdO 7[ ?^sKP ̃&@Vn*K#9c%~5|uѤVhJrQt. nx#o3Tg g,d$f;jHhڡ=-Ef\5,5$z!)X-šh%A6_n\C5jP [r [XvrԡDN! ,+rDH#Y4]b5| H=UXy,e`i\ xLn~3'mK?jK%ĥ_ ?63qk Q|6BбzR4O0d-u0I{0EYQƼshۍR-ji?ݕp 2k" 7= p >`kj9vҜinz8زbp8oMa}Q(3;dqS:Bt?1ޫ!PX 8 zR[P7 \-R䯏Y Ӯ lyiqPS%L%.wz ފQ8dl@P[ ;Huƨ;j/w#c g)z8mȔ=nBaZ(UlZC?XY}$i]qh1ꆐ<ԟJ9G!ej?h$%ށkRin6oI7\+qq5nby)(]5fS>$uem7{ILD'Pv0{ ].wܷrn쏄󣭖߶\#‡K&=Aăߍ/9Q5aMFZQ0[(; 2-nbN fFG" 9ݳ4~K|`wv9eSF4Sh7Ӭ@|TZT.,x4F|? xEwh9 H>1DKDxF#2$,.=6?,;+muf.yv}ш8{;},{Mj7#\mxqlT{PO_vSKwY ~[<|HZ$SC2(^J*yg J[xi ~U^$W10!_zbPn#Z'k^ʨc.ьE<঱Ln+3c/#9߱j8 g_ Ih{DُUT?܌D/o]œDK4`m3{앬&\f3SUv٘Pf3J@ j('Cߌ/p__z9-IBix98 /?Jj7ߣcc:e{3hW a9+ PHs8+T ƈ ݍ|d:j-e,/~؁OgUe݃%G%V,ؾyŹE&M+BIVNP7yJyUC^?LSèfe[+=Ĉ9&E=##|׳FK[dkYc73ٟD3fL_2x ^J׉lGy$ƣK}: cZɫ|AwXع.tZJ8nq'V0o8xȠWMgYZS8ޗ9 ̵b)D "wZ1m-,Ly'.{{9[gx~Y$%DqHv6"=mKNxOm1*W Gۇ?5@LF \v]"b/jEi`dw>!{h:-e]f\m,\[tqϒ/S6 h6@ݐ[o`=bSO^<߬OnlMQR{P. 6ܯaX ^^ktXG1&G``x垙f&2rGu`p{E(̶FÔǍw r` uS`iMe_6> p@=3l!hC 8' _+s*CcܦseĻFA6ekÙtX)'۩B.Q.7..iΣ9ZXF E-oܽY`FN" XBEko q}.)>0̱ 3]@8C+uj)$i, éBo*orĔӮ0 $T $btN `+J_] T7YOgFWh#_\^<9p]Pü#=D@&CCsLCDθUmoYzr_ߤ!c1jbc{[`(YMdwԟ!?2-`??p'>c2.taʈE1`/o AA6Ug[txVT>Oʞ^!;O,`Ozt5ڋ"Ő> g-;J8]|OO+ͱ ya] 4>8 SCBH1AsܢNӶYVHLk۝єxX {LҼ͐W "Fyv1mwPWp<&;R*1^Q-@֧ևb#(PF@Aۼ`t66>>φ .VKp:֪<5Z Ңi_ e^JKsZqFR悧14%>,CG1%C$͢S$BChqs8E)i$z  OV9$4$%ynJ:~0FK˽cוQ졏D4 Pgȩ]_NncE=et1 ܿA}nQ C q[rQwQ}bM^egF8)lMkn.2ר5(|X_c&{J#vEc'Ŝ,[y3 S\isB&b7g Lt]KJ~քB#]mWs̈́|xo>|HKTKω?F_R4~T9f0A<p)ZHUGmQj$-z0:Sj5-H? !%l:?NR6n] ثd/ۨՃ3" M%zsXYYS[P,8XFxy63cN ։oEw ۷S-f7<Hn=G 06Ę{R}fiwe*2%šgHV _zC`VAl[ jHBOÅ9y1œcTK}3M@-@C Y`%^"57J׃ǦT{O%v 47H瘙* Cu/ȮGɀ9HMek%P[Y*c‘pW~B^t'5==&$e[mJYz@S!/Tr?LH m1[`?N%t /=rcH׵0s5~e1CVIJ~wih/=&,L;C,KxeKs{tvtAUO)C}-ĴL.GB jElQ,8@ЗƒnFP|ۻer}X| bu4w%߆;,_2jz(mCA'OcxȽnA9p|HP(ķesɾ#Δ+B9;+ 5th6JjL\6F ))z1r0$ڬ2#:p#k>LlzR6S~=+ؔY1`8|!qFDk1O6YAMVTbUT,d'6k| 5X=o=6Q$7\k:o4, ğhcѿk # S2t0IPV< O }%utnJȼSGC=n+CR`'6ntgI-jj:9r3ʷRVG*USC((oLTKut6/ s=iˀFّ v7F?!TWaiZ;) M`vTPX@hL7uSxW=+Snݩ՛jb p?c\rr=| sORHzʁ"\㧪DM*Ve"!g0;Z6. !ǩ]]OՓFHA{bH\:k;!B  R-?_laW0\#_3&WIڃlD s #NDoW(R78,nWZZkz(ךh>rZjRdžY敄UЛќ-)%1e1{4- =8=ͦj!t~#d7 ~`&j*ɐ2>s2wD9CNRsp!$-*01wR}2>F͖5i7ڀ KuQ8@~r*w8zS&46r]ܵԳ[B[,aM\*) oIcrMWO5X]azthLBI 9'H 6a?L)o8)~1!;&VXM`:g/yQpبGaC,-?I6rCT:R܇ oRG,?q-z,MѨ4BIjW$sSdb1BSbV3KOk6F[]22Xaps5ge{Mdi~ĺ]#QhCB_T׃i [/qXs|:~{wK{"Q)$.a7@{뉋}rH(9B-/[.c\Q֠PNc{Bܩ-R$LA8q!7eQ<:1vZZEODSrlARbGɆPpIfkjDPP?Ce.%!HWO+؅Ur*۾BH3RP٦IGic\hpXXY{: K=*#!u:6^bmCUH]8-^0]n堻aMmy,LSTq#Z9:|3QizXxHsb/hd X6r}.Uͻ-2Pfhj!Y8"qܑ>)Pp@Vw-$'.3A}ie- od?V)H9 b1ze= Fd@'h1 H6tw,'7& n-UccT;ONG&x'0b:*Zq_JPր]C 笝+w1c?Y߯d"}2.-/Ũ9”PWoꤒOti,mgd,҇c->H+.{CzK5Mٍ &^M(ddf.wZ]NCInPtjRt0D\5-7FIH->,`ꀑ//~-5Ы3lYAq3z2Cp8珰pX\2opᾀշL#FLB<$hYCrьD$d :!O 7U\;d)wZK7;/m͓vNFgdRſkE h/Z$ZOs d'd@Ý+h@&%߯b-[CtK(V4ҟ%qě M#FQ. O-51j#?k(]N=8-K-Fb""\O@, N5mpk8:zMo$=5r}T=Ȳ܊P:^@fv&z1K!J1S&2ޔ2_!ߋiɭz_!$L+1~x+7[P{g#5=~ec6?-]+O2sLxh(n(.J[c0$PxIfyy a½NeՏz󋌇#~Xdo7Vxʻ/_j4#`8.Wc`}\3:uC@ϊ8JfPu UTamI@-"FJH] 8a)[ÊXCR+gPol~7BpȸOrH1tt腚Jfv |oTxB V:1?(6@}ۮN0Cdgu4ěR[puv頣t"u|0%PȧCSIn1K;kO P:hl"0(~̦C~dayKp$4_,_}߰"Rg@ͨe^~a|{ )e"BNk\8fWtẄkUSß[=n;^eLP Kl빯ct )o0ItP AӃ9^~ !>а25D,G^E&d{vh Azf^ДE0$=lKCṆUfYre]6W̴MڍҺFOٻp0CU0un)Gf}w[7MLg`>}V.,+Q5LY㊷/7;$`Kһ ݅rɕHb䧻DGGqrz0NF"[#ܑ]V"~mCWE[~da3L'@۞Ϭȱ[++aRvdq)M;)ɉ%{.ⅾ7;aU<%xaKLYL#~g?RN$A;)^/zט+wgJW "cX;Baϳ=")P{֑ē?2Ԑz.B.FFb-N\9d1O?2닣Lw8+{Y-{)C2%P ;/TfanW'#g.Ȝ# y X=.PI -LaQɊmgvX<{pqQXA?9KBR,`ɇ#H9'EsdA>LgF \Xoly>[|PF..[ q"}̮?"{3g<վM(#HܰShohlnR[QtM 4l0:`s gE|-*y )'j %G5䳴?ǣĠ]u42Ir\T,Vje8@6S; uXZi=e,O* lm1rʇG8s_X8,}x{! пd*Z}%Ϣ su6e`Thc5\x) RD pskwHPW xʫvKumZD؃2K'J9֏'E52`3d:?`/ *. fwJc?Wfڗ; "9@hRd;3<%/7N@=ϬRK{Ҝ-~Up2ĥ*fZp"avg;ɝdsWe# S _\7K#)CAI2яj*B ee.@Zk?O^)%MjI_ c *BiE4'pJˍSH^od[~zҔ$kA% o<1Q^w93l` +5`_Z B/͏ E Dqxpv`g.d!4Xz=; "ئu2ǽ>2O$:0vXTs*|oOaҦJ 5Cg2C9Fwh =]/=  q'#2!_O7 pI`ltJdʙ-,08M dY'#q̐w0yځ-z|lvs8F)| @;h7RJ!hR>pc܇2˗zycR1I%LN1Y^AIh>6Kqvfl'7XǯgUݮ7@%oY*Hn+ŕ^5;wvild:z\~3IAp!$_ju-l:bmxYAv}ͦ&3C.0OY+hZ0!Cc35n <ޮlPFk㘸h4Mph+VCϼ ; i;Dg؈fgnkXpT6S uG&X8+asԚY(}vs@7X7WyW[0U͸8LS#F&Fh򟨪_*$0ysqh?uzolI "3LVXϐ0:[z oIF!9%ң aR~؆]1QEn=YB!vʌHkhxϣJ6-aw(va94j¾NW>Hok:tEx^#WXN~V{gtM9?se<6~OhE[JT~$%uhx:x;L[qiHPf6sՍE ᠤX(Ѵw/nQYɵ*WAHwȠ HCMiR4gu I(( bOvZ4L7 Gu[Jmj/Vr Sέ$_0 t 5vё`\0}{:,$bQZ8* !:% VqRd-]·&|VF\Va>u4=?Ljo]$SkԊ)CPQ̋eM =Q.9Ԃ} +3]~Uqk՛BzV VGHtBʐȤnm;rV_.cl]x$W e5A! 4~d;L S89%j4ԣ+ïWA=<CˡNߣ7/"Eu" 1f2‘ bwk5 Y"| % |PCFPCF.OpSemdocument.tex7zXZִF! #"7]A-MՋhvG"uIBm5łVqOƚ]7vX B^LJ mm.' 4nG)t1/${&>dYS?Ox,TvZD ^юV]'muGUQDous/2{ HL8)|եCF.p"a<_Q9lwb*Ig4UngL&½-Z:?DiWf6ѸDIr$x5R)K'H,Poʀ)[ 'GxcE->x3{mdgy)Ij?zO&Kd5)IQr\kc 1SEy7S?Q@ǫyYྸ;ʜfo %x@Nyb?R3W_~x¿P~ǏSҲ.0%~Ϫ ĺ,E ~FYFtWK'uZ&5os~f&0!D&k9faPrndz"H=eyEQJ<=`aUh,|XJ#sgE)}zm#Ryv;# zKoZ^XnhblYwYlI-ް+HR"EwY3 ѣ7܇诮0}SoQO.}' _x#fS?I@!Snǚtc7" luݲ;{N|jΩKg8Y@dITVR +8݋}J^AZĦOux H^ăP7gDv5 V+ 8<#llpWט. ٻ"ӨkߔKȎG ,c84^WTV|[.eZ86j~z_]7g`mJt( yr# LdVjSf"rj맿Dwn7LޮA* 河փX5[?\A\Gc#?r 0<~:V3l,g+6ŘG؅E6]΃a _!5. ),ˁN\ z+՜s6}J*"`N1 @;iӀvE uЛ/{boJt>1{3`z!MDHy3!loxRܓAt|MTڨvf{&AJL{cPV3? /V(Ko-^~&DIH㒦I)e$^AnE@ap9ဓ?L\,BeF2ϿhӦ>9=ֱ rv*eQ:} ("LJ|;KN(VTBqcr l᛿1^%x29A2 jlx=qRc+aU6q*W&B9L(C"BڦeId;6G^`Wrm*qXUA'T 9eVJ^3ݐ^^`pyԠHlwi4%RJE%kˠu?.~I Ә\$6Vӏ(Hy#5$FFkqLf MzJ3QE6;h/Eh/X`FdYD-0E AL;؄dR%"KmwA{-a N1%na7ϫo`,ޠ* @r:`4-7}-̔\>a/g{8XC^3TЅ t%*2JTC.4%!@izgIB <9so%ҚoV Yw5Pw驚hHsِck ⵟJP.sv7A #\f`,ͣOCK8mK nA:3g jNwvY!9Or\N"3X'pR_9_&h`>p,)HcyJW =uC{M2ʃJ&׋HhɩX_Nn_%$2P.Qu~>D+Yf Vs/-ksI? ul]@uʨ2덥}өx\l|ob~_sW_@O|rC\-봛b.ukYZ;B1DQIEg {bhP7b3|F Z@lDlY_qs |dcH;نvۿ't()~H`ZgJlTUs!g/8/ qKaFFl tGm\vbO~ȼ-r\c<5`d k͔m Z@v{#ӜʣR y9"ފYdaB38*_!i[XM d)u(?v?`\un8(_lg0ap}wF+/#[|`==Cr)nϪP}&_ i>X]MW{ʄzY.N~ sg%7Itñ&)7˃M-V[GRi`&w3 ٛfA}neB59KzfMļץ%tw) AKPO_߲ sǹmL{CPds'Ϩ *1q5C^i"i&)!Hѧ+9(tRC9;)-FYn|=%b$q9~KT@)< ~}M*H=\/CT8JѾ-dTg6䫶+@H&ف||\*Ä%=}7f[ti-Dh"F:V[_ IxDUkPRDz47jLIOJEt.7a Dsa5oH%Tg vMn)=ޮȿ1M޽@En%EuUZF"163z~(NXf$Mm~KH忰`~.j$Zş 2s}D_h/JBS0%>q zG8H^igjnϺ`9%Q4n0*kHcEO"}S&&~ E3: wuJDqI M[W.Tfr]fE)}P0 ^_S7q"(l_Ȋu9S꜕..\Mڲ<(zL0XW;l"rfk Ӂ#u#E:aOɢhR1OL%; cʇu (%kQ bf1rO[co 8jK\'@(Xxs#%/DNt48EĻ#Na?>M~R@+ Uۊu-E|=vN}Va `zEja=?G 1bt_a ;E/ȡ N52ɇd@k^:)tގP n&FL$;ǨET\@?ڞrcB0sh_!u@rFEbC!½(脳kR9-IӤl,E(k(NTQ,!,`m3;,bԺ=&{9{-"ɾ~O*Fa6Z,U8Ċ⃏ 2,Z^?[ uw{=oaAGm7.t1ҶAj;Fvo;pfSӓ 5/7/K) TTS]gI#: Fav>ɚW͇vH!}1Agmɸް>Wq`XT%rVl Uݳ3qfAiD_P\L W'% tPCFPCF.SmallStepdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5ȦI%|x'FwinNPXW$Ep~V_^涀! ] 2 MA#I)Y֥[3;oU7[;s.!5Y7>5ЉpSA6S,q)-6nJY&A Hx *'1F3 }oq{%w3ˉs&ǂ(֓pe9tHPX"1S R7HMblW"7J#z廖g{o]Y'0z8iR3E~ ȎeЕU9 'u 7~f @Yx݂sUZn$i2j/CPeO]g02b2L@s]eHnh3gjag2&1WAr gvYRb.b^4pa ( ;٨h=MIWM3>VT܆S(٨R`:Ԩ*),L'd|R kj\=1&9[G'7 X`]\. WG>}¦P77+ !5€Xin\y>. M_ 脯%/ŏ>q t>ww#XhkOwHz]1 \)OX)'`!/5 |,nOMv=؎X *~'>w-0 ZK:zSäٛ1;1w=GYɩ# .D2+~Z?m|ƔDV8{&mxbuU3P8GH)!.Q>R|MxG{E_lK5{b'kqD 4l?Ԇ/'MQ]VZ\ۜ 'U TW󺛞BǮܹ ۇ-x^2a"Ɓ7v\Yh|a+|TJ)Qoc~^Gko {懖JuFS7MMz."Z$bK3&Ţj^UU ~i+~<5uҙ bff ʁr+~XFP&'OdMK^*/(e‡beL 58?MjҼ$gŰ䰐OQ(zvHY]&x{ϽO5a4i{VȺπ8Xy  pt]Hk.naf?28QO 9t0 S$ ¯?#Ϊ%6^3~:^k#j;bN*PGiC<-q% *}nir(٧"dB%!G\p(r.-d<6"vNkCSP2Po2dH-. 7nuG= })QnIp*Dma 8 O猻"}|y}V]: d-M5. ~x+B[z? 2e " :.=*T\8yɼ<qeqznę_sg^gYZOYol댻,1E䙩u?IfYHIp~Iēf42 "썊ϗD9gdƮ}Y׽v(^EUu~u}4,ğJR\.L~ ,<\y,VC)a+7K0Zj<#-դF=$܋j+!ah6e-IIT)E*tpt{A\R+Hkjڵ= X4"64gFA60aOzbH:;a8?e5>նc?8jک)i wju;i "-\77!T`K=؁˳2)omjY Q05Vpy1d6^m? &"d>s{ RXKpK G ^qmb{,2q[CnNERs# ܺ@e4ސ~K0sLuI+q m~:x^;}B_@ D ᐱZ)$X`GҪ4>#5=YvB>d-XNGOu ydyk[H 1u">Tnd ,zJw/"C6G|{{,2y?*f:*~'&=ExV FH6hC ,CNQvъ:vi/w+RXTvv;73%4:oteb"4SVgnyQ-f늴1f:m ]8!(&aPH'CSbuuj' bn?~ t}P>B8ҭc2ӍKvM6 R]M%) v7tBa/FM0'1v^E?;U. z|w?~Y˝*:|9x3ҭg[T**~E vD;xgibRJj;X L\:\c^|GOU޴ԜؙӌJ!,,"g'/ @8y<oħSAK$WJvS!c}<;F2K뀯xCotlUnDN}D;v+X}U͕Ǣ4Tk^{NX _$,A G3N !4=1 $-c<_ځd:̒"_?E mW,BHot+;;dREZɹ/Eamݦ - kkΚQxʩ :qk Sۛi~%.^?6|P 2n:]hǁJJbTwGR i*yy;KwL2VVEʵ!"%q/aЦBI^97Bb$ NGhO./;B%'GCA=H0; I%<)j,.oOD&&qyߧl}r^͕Q] ,' ti8INF B*53?=\6fak(:K9~($@7"% #>aFʈX@4.:3}_x9G(zx_J Nd^PJU/WmF!-#-uMFWv7*̺ 0P'h|t*!\Gvȹnk"a;!;GC#o+z4jE);}n轳1K~ԠږcgCS,ngT{B >\ޮ;/m(K\]Π>&)i_i܊IfrOɆwY̸ 7ʲb)C`UL6wnZx[&yn\V&rpCE(ZuZ8k-cZ$nhj?F4U'dviV[PFhzӘNA0&F.f_Լhtiok^/P /Fvc;={kz D!4&bϱ/Ǫ{S͛"0Q[alNIiؠyzeue;{P0Xҫ/Q }(Wwj&%W ~mr{ba41: ̏) _m!wΦ 7+eށE3ΜxdlQ!gQ[j<$ Ȟ׃fIc&鳜ʿA֝P%D V|p^@ U'*FhAH  TCU^=%@i_6.6 ^P4JwblHgj+t<% IlAr96#@./3奆=7/kQ )2q+/+?U{T540"As<7]SĖ+ٲJCϢMIdnO֒`d~&EeƩPx0N X *-gCil+Lj~V#dS\~ӷ59pfm- ~\r>YtT9?tW28<ArZH>v=ZFx:@ t4 +[^c߂9XfҒs2rBZb6ՎC7ܽ!{Ea_סw!0BuB`6- "[4OiOY>f2Q] y,ت~I]3ms _ RJRPq?u$~CI;=\Kɟ17 t4L إ [Ɨ }%"fq?q>zyd{ 2vgYZHm]E$IDz1%; !@e*bos6bg~?-BM؀ntiq`ƀIKʼn7NB)׈mztOpjÚs%H8#o{^,b/ T55BVgYZ7zXZִF!  h]ŗXi%; &`ւ/,[5 >nI:B@'Xه汪_wLYs+VnBbj~LAJ3j0nh\Dit_B2@K>܄:!s-P80TÜK"[9OX{2Ƶ3#(u6Gס/ᗂ-(֛qS0jEҡ ' XX@-{|lVEst.c|e5OP h kȰ"gu;Z/E2#wkW=WGLPW*aidm$%\&'$PڋES]=nĉB0=1*oj7X|N(?6 B-i)T\zF:OYqtT>ZԺzF4ߛeZBm/ؐa`,8b935+a%$ 3i1 g?c~P̽T]#>6Uۿ~|qk˦ PxlHh!sEhܢj e0Y@- eHgE 7 nW4dcjET~`,:ěBXȚmHP4Br*.Կ֡,9 x7IT%^2 ̢>j)yt"WN2A WwrnV2d|t`Dz(bJyI-lLŖǃ] 81!W)@RQL6@ܵjX"qWۥS#Zj" kl1XV![><^人v7|PE;@(Sn~98Wড়$Q3M?0lMڤ6â"@~n? g+le{Fvnz-|}*<8ķa|`OޅT?,~*ojpDjQTn(!dGɔ5b[J ϴ /`ҤspܵP4mD[vi^? @9)f6l| K¤ڢg&cfù7Mi0Zﺕ^iO;DNQ3Wn REv9 hUN_cZ3$[=7%}|~Nt"Y\r?X`XyhKjEtLWz3up?d`?/ٶ_>-=6;2fA]c7zP̪wV"NeLYL݂<$Vg3?TAά}KjCf95?]X2g:%idxxxbVtiM#5ZZ~E< zF~ݟʌL|zE}lqšK\HNJcf9Xn1Ӝc2lL <]*fJxY~=[.|#;{Ғp*8uT XSL͎2܇ŠTȃ֦YH YBe kl Gow]g*4`G=m5V8iX*HU_3{f 9>gL#?zJ~ ܇,֟ވTE Wc%haެ" :Hdkj΀Ov5Iݭ%o3U&<] ;?;nx|`E *T3rǏBqN pgX`Ơ_ia ID#%fٌҫ ol%/qlpSlG[.Gި5`y,v.j< \B@+!k Y)o^qakGgx!0=P25_pKwMT9/ [gjg-2 D5$@SAϧ>)6gs)գI uxRTQzZʬ̥'迚* aƥg`'v]Tq#ѪyQ(TSUe#$QT<+&MO8[+@