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  L D ]S PCF:threads=4elapsed=53.746cpu=128.524gc=3.388factor=2.397zXZִF! H`]ŗXiɟH)0%o<{j q nvB2Q9rRj弍/aQ=c`UOڏnOK¬I8/ld?M_xo+h3Ngh;fel6^3N;g x5d$Q)a8MPYg6LB@ Mq XT9`DR~ܥ.H3X4 c8xc}T7k$;b 8X{؇*4|=܆y D7ϢSRxSr>& iŴ F E]]H씷"+PC^dX⍴s^q|kY,Pǁn>*ySuR.:%0F~|p65e1 :j)6T?lCi+ !Aξ#P,|rD/("-FΏjpZ" b~VL%ʥv&}TO7qo=| fo8:HR6#orQ\,&4^?L2քGwH=$&>i%#"v# 6eɣ2j5춏=;SI݂!G U-Yߡ7%˛ jEN9ݞ0ޡ" ,0 59f&nI℅PPB2 ,b,PgFjҳq)瞝@s-ryjҥDe^rI&ч$6YBuJKj%  PCF    DX}P>E e'D0mw]VE0 8= k5JSDvJ0}9ɎvAn v (>?DĻ<[$QN;0{i &mإ`Q.q' M @ߧqkiqbHetκwoT83}z[N~w̹0j;% |$ګ, 2|_CE)OF@Kc.. |JߑYxi,HOLlv'炑*i{UVXF|n*0QT_Kv mrqEޙj  ))Hë#?}֫Nlnnxj5վݰ#)\Pb0Yv[>re(4ґzg8rpo9Bp~&rT:t֫ N] x|MY$HYe9 *RrbF!M`xB8Gxz, c-,ʸ@!TRW bKbڔ7_,dJ(9ڱhyL?x;DXvǫ$yjWqþx+@c,GK W <7Z`dz7G%p97oz$)+ JV^ISah:Lu2tn&\\}KBUDHֺ%cٮSS˚꥟g1$BT} _pi @CFe=[q0 4tX4  ^_H+a"`\2z KdzW h3,lkMB:AQ*P%I^te}Q_8+[=K͞8 ȊQb+&I!nbחXJ~VnmPj_Ob歝C~uL?[j3\y֞g-`\7yLF W#}(S|ʜ#\C+m@B<73Y\3l9irg3HIPV>b_K3(L}x:BZ*\"?9 ;/c8mJ2#atPG梙X3ITXk,0mG%7<6(ޠ$F)r!2 2@ɝ흭gԁ:Re-cQi1nGi: F@c.$œ[+m?Qy &fZK]"Ɩu% `viE+uЯJyL5.T튯_$r@4Q^.SHעCj|qd%6& l.c@/#Tf,\V9_<|r }O.}Am>&[F]-Qd"\`GJU-hM}Y=~2 +p_zQA~1cd e Ss&[T-i{dKҍE_'tp4wvSkOwY\)5ω PN[-Ɖi\%UNtka,fv(( Kw76.b?ll ^J0 ^y$= JC9auBeb73&a*etbh@i2YLLjoZ:1*w<+ݻ=)`C (w%rDD@X.]Zi˾Ԏ}e^];oZZW%JfF!Vh jZ4 Nē"ur~݊.׍ibUH9 .='sxf`k뺞SS6w^D ,t=zV#j̺ %:f1fAc^&5Ɵ~2_o@Pȗǡ6Ӱ䙲CZ#.(Ӟ"D{7h8"!S:2r"dhc4iՍ% ȁ.ibht{kL2ۇA6R]|ܻm<'' ۀ}}gmNp =Co&ZbT~q.2N%rcʿ&_NZDIˢ}mTOZ",0ф<H'^ FOk`QҲs" 㯸Y+rԳकK7(TĩQ=!ȵC^4ܻ?"RzLݳ#L5MyVC~{6iFTܦ5";xiM=sΖ9Gاwb۶R# P5fD^lbѲ$Pd-$+.Iu%cV>vk!QϸĤT! /STGJ>=NsY.I׭ِD-rF0Aq=ղݖ6<ԆA{2RFʁrR+EVx:T!;-:z;Eict ӅTnmERz9"P5'k$ڰ]-U'E8lQ1_Rʟ pɖ1.OޥqBn~ٯuPڌ@ůCY*6 hzQkD Ha9X |+΍~>һ}nc10PwGh#*] ߾{2|_'G~l?jdp9NY{-݄m`Frro U6G4saj }n1 ;+`4QwªoCJd$N+~bwiiZ 8)fJڌ9_GD)Š҄F[mٍ $6ZCe:,a9ҪA} rxƢuccH6<;NyzKF/~vwZO+9l>Ý#̣G+NHbGg=pfW. !F U{gh w7pLu <:%VjÄKjhՎ;on68@E1޸Oȑٶ|l0p ц ӆEr=87býk>6JU/!=ƺ@s; 併eUp_@ mnQ@gYSlcoS >Ƣmމ5KzgGgNB -N23 0=> np:=Ts,⿀#8 Hd?64࣍߷ g|B!K5ꃒK˕6E񎼋ں8y%s蒍I $0΃kuk,%g,W8z`=^U._Cf-G3:8y\ݘu p+1wp_`[NY %+Jd_bK>fs6W~Ia$o*Ż]`c{N7fQ3^ȳlaRipr,Q cکF0`GHض3Fy4@\5ٰgִxpV͢fd-şy$ЇqX1"v__U_E˲3%;=G4:t>7^2D@63`Rr.3PExk6@:)ꅃ|+zbM!uGػ)β6ZXMIHscN#X6mUGcʾ : AQn0)<[n")*gM|,۱k%N)kBLKBLLt`ڲ) %Ob؞nU!,S cy~x(qe^?ͺN'0f^.U0;j!`q㮢x10#V|șBkkCEXcu&%*3Bae-XX*Jɀ:iKZkC!|7m |wp2>bdAEEqdwWw;YJD/\ == ^嗪dYf<ڬN+?H6$UnON~H.EN.ǹStڴe9KkR gJrQkzAD|"Z<DHVp];؇'fWUrnʻ7&unhGH&`6;΂\'[_whR|ma*?=NWwu$hU]-U0Z (r_niĘeZhto˟QpCќcrY]}o_EJ!%f d݁f1Y8ZFti!4$Ky29gs 2N oByJhe reh'w3>F oqj!jŝu&-^I)-7L-_YvODb0.ِ 1_'~Fk@8*F?CAӶ*EAR`e?[pwn-|mZqp+*)>[GSq wӯ=hG'QQLVޖ Ǫ$K~lj>O'*ӧjIĽвЕQvݻmj]e[4'ڂ=zK;p1 F=b&eXrcUMd߯JRBGNkt/c߷ Ud~*?H%3L.3%d,iURB'{ "hnnyOh-gIp:s&JD4k!1k{Jg;XrsF@*V\'x5BIx2^s,ğd< XBsRhD9K_gZ=SwRw'h53}ST)i4 0B }v8>EA|}u})2n1s|G8 [l14 0iu l0!x79YF3dD4-1IGԕݕ` |EHJ?Ffǀ^B|> 'TS+$tk;YeYW:黃oR  HF2 gYSP|IU,Ę"NWyݥEK{+a8hAz.ͤtm-k̤sqy^\!rE$#_-(OkQ t2pY=Sf8%"ſͯJ3w|]̕' \s@(B5yfp}wM!9vRwec{l9+M.\F[c0/H"G\ܪBXions㄁i&\l L-YM[X0~+znڌ媸bGfW}zw<~o ]m;z eF/ġQU ?>e _ůk5j%9'$ ՐPPS5_E+JxN;Yg:/^]_ tq!^ Ds_#)[Tfs\w=)]ѿ6GØ@ʵ h*[{$Kpɒx.s}e`3y.qKI:BCWEsml$}O/? Úr/.sn3;0:ƪwdƕ2 v5Y9AzMn4J:R`>LWs,ذD?vLWuNQnmO4U^Bg,břa?J:m5 i,ŀ|ⱪ^N)>ا&{]=mFrUv,Yi,ne #О$t0$-8]͑*zd/ݿ# 'FhMMzlY+bO}#YylCI{j$^g.HTpz>Uq|cMW?'*&1i[#RG-}q_t*l'RҲ@ic y3 ,%.^E|<%ejz!a.(i\CvDr x[mduaQ nKeJpˆ|)4avh6ҳ5=p'myz]J-}\=+{S"ZIſeTD_yQmm{n[@[>kh{u! -Z9.ŃF]ϯ5Ve/c^8⹾rlJvqY" b&~3Ii<\Z {z,2V{BnQxzl7=HM˗;1‘s6,0S0Ǩ 6ztq f즮<"M^t[N=ׄO,D3RR or&u QtNt p+$`+~n}Ɲ*t=`a͠ZDdaAg5.GWyйX5qʮ=l%M[Rn>EE90q{3n_N]<LH AOl3_lݼzsmÁ -V|+Us{嘧4DHݍݦ>!J/Ry+O:U؉*7)L2)-AbH+8WgH c0 xȏ2~&1 05N>ziD&FA"rSSv[,}3v Qʼn}˕Զ6'{eQgޢl1{YEOXGg2X>)CBtL!2RAHMon[dْ݉bѼoYGr^̥3 B8B#@>dž̘ܛ'RЃ{k@Y R+8ђWDOP"9SAoA&RL4ArIVRK),6h-F6tjߛP\,xԲ 0clW_Dh{+fU@})}ڼ& [2!ڔ݄I.)G U"H)  ~_V|. bf ]?m}iw BhéԌj{%Rj AJʙ C]j%2'j3PZLHFR x;@PA !՘IO4AZYAX1L)OK.ImUиGlj:*?_0)dsL?;& Lzal*ϩP".8RԷQ9J 1Ds>d8!Ɣz5Ӳ$QB5*0.Q,Ƃv>;"eܧeK{!bmSo'r‹{.{3Jַ6(zaR\G[DҢxY*.h>e/v˪?s݃f__eޖ/_p_?O(gxXIHx$ʎSS=3ٗX:(̥U}#MaWd2W a]LG+ ag3̪*3J=Rlyj'N)DҮQ3~QgAąxmh STq6>5sP&ٹey)2؋0F T"'8o<{;22M{)d1*ض#x2ڵh /RޡĖe3s'\TA˛,o!?'v|_A{XkI9Bl*D+;,邎A%/x'Lm f|Ou=RL[>%YGߦ|kⅷ5;2 aV=m0@rhO! ]kтz1Vk\W/KFhkOa2s'l)wOx͇‘`‘.ho߶`h= BiH6ټʼna;4f=hpY9C9aOy>zkK&0 ]6Ѣ #C/:G OBnOl7h[eE[Ԕ"E?Omu #1oVJ1|_EZ_ęMoոZ,nvRPl2Gi"n>iL5Ḅh^x%=K}4J|M2~0x:^4AZKL V;:A I y31n{w0'eh%E/Tŷ{o[ۑ89;kUvI>-*OQ )? P6n!jp6PpkW裱tn'uK)+E{o}XNyUB 56sFaA;mQ8U 49"DڸNm2g/x))~Rm2!=3f5y̴ʆCiRAov> պ:˻#-(w/mxLi\-_왵:PV5${S8+CJJgxu hʩ#9wx(,]̄{aM 3`5œKߨ6gP-~LL HauZ"<IA>Y"5r 0zzJ:zB$Ա6)iaC5Y0, Io-]M~߮/߱466-N%7˯47D1<4tEӉ9aOG4(" d9a}P?#* dybxS4lI[O!sV@*4*˾x|,.3[Mdpb\LIcF\ᬜB7Bڔ։`* KPҤR]3'}6WQ9!4f ܁c"1yphtEb{N_g2NcW"'aPűiؽ?/oWzS=ۊ|NV*JwH+k|*)[ &wF^DMzg) 5>CAaKF2C0'}3fIng*O8ŗV}3zf))[ 0SE% s&ODHZŻ J|! ŭQ>n++)RƲq *ћLlwZwmRaOC%|Bcm~1XӛyO ̧Il\1(-aCt۱lMs$Jm :}l$URB oW]2vYejh%} {0 N}'r4e/w jyHpg"6֫[Qod,m>1M(0v1y҇`+we:g8.@>rÛ 1= m<"*A9X5Sm(59.+[KVv FJc;?T ʪ: E2a/a22y`^ B@k~5`1TY4ц*wԼ>`Ae@2^2G_n JA1)X6qS%#U]nk *? @JbRmĢ|u U04ctDZm>l'.EmDak)zV=NKV Ѐn?GӺѮ`=,dч]_.(!L[,mVk>92uf|:T\tEzq.V˕~]8Ub͵&FeġMѠ@S>Lͯv wk.6 26qB}#vd:6c1$ǃ0BG]FK]tyf²ZgAs-' '/ ^P[zt6 iE'sfJ[=~sEH]LՐ,UF)0X2=zƳZp8oKYP <)lez` p;ZTSǽ5hQ ӱ? \wM59CQ Z{0NR0?WeY7DŽ)5lYF. "M;놶S)u+RDWɎ4 !TE2Lx/lR#0=6d)5*[.u.\Һ= hLc,OWM)&SUhxُ0hA8'y`.!&\tV`]%14$SgiB)O]2Om]VЄkGOLI=ӹމ-^1uF v#H\ B<0'aE>N)Ih@Vο 7x9b a ?I\\JL%"EL0)x\~]5H,͌tT2F뗘&6 mP7h/4 1`zvKi R?ox%FG:\nSL~ _GˠK gL ,<߯jkJuk|z)deϭS -t ܠjBM b@q* g;nfuvt, _wMW`I5<"`uKs(<ōF̤;wOiQ~'08؁ crK0AQ;#m`6=^<}P$,dߡdzqlfߣ{ɝ ~ f#j =cx(6W&.k'L2$5t0~SVY;T9 ᦦxl?XE K]İweföK8A\V)-)#Q]l1hw ݑc)y`qp+Ylw$2W +7-~ ڗCdadfIT*?Y$G3SWa\N la0y{ƘQ=)=+:=ձwXm#ض, A,O6rS@l*1pfo:P&k܎ubh TI >֩K*\[%9lZQP~)< 0 -ţ3ãH58VlV7vNe@:|ej9a yHdjU!k `/lk:4>F78ÌlrY﬘zfcCtJ_/]CXӌ\ qI aRW.( q P_3s:'ӚK~oO 1WvATGCʢĨGsIOrvK+ C-][T:ë|<{孉ʋI&. 䱚9viL3P@oTLjw-Vgu]t|9r0xKh#5; M&r2} 5.ckޏ^ =C-tG~h;,=C>;4/,ЎﳰZ* iFGju-yw%^kW =5|T2ve}L_%Fr.ÑOiίRbgQ(0$YʖENve{٠` Tf!N^&RՒ?-r9R yz5٨;(= +roCAo_=:ABZΩ_9;Vi7ҷsT `A5iԗ\m :O&Cu,ӌDTK(pVƗh+O_S \'4x+*#%FS@KU[ZtylcE"⢾j-4@8dŏoO)5ݾ^ibY=~zR74edrܥAm94EpPˢE[VzhR7ZjϷa;cD^JT2 *WNeyC؃ʻ9mR52D,̆<ˬQgSܙM -㽃-zKaUX ?L|$IpMAn)fZsu8)z2 :*& 4$W [l8l0N.,F/7=Rm˪h"2l0j5b/6,^ (eYK ܧ23qq!x8>10ᢜ0Ay|`wy鰗S|nC~J7|KFrpP~"fT1W yTRœkbȫwdG C[$2?^ȮW  &HgRٲ)oCZoUko;鼔EqÃ.AY0KMQ\ٲZ٭@ :̻"\9v{V~v&v5!8@K&P: 'OK4˨[:b|D=+w8SI8#찑m>_%L|u{/["ۋ;>~BG֐׌GG_h-"#$fxvvMCkdʠ7Fc7(ߚ/4Mҏ X)YPI.L/M*=GJER v4a|.Ϩn7EzE/DE-mW[>/Q6XI|fʺR.=smi#!*/5\|(@=|8~Jleη3Ybqy{"|NF`2N5 ݷVc:$!A恅R!cTD T`\F8t$' i : 'm lbih` 1%H8FHOP*x4KNO@ Wsxf~S^`t I9Xڀ>12㪈[YSNթX;)~n:qC~Ѹ yWa5 PuJ7t^s_X<2ϒ4Ǡp`bb aX?#͌3mB)o჋Xv ZDfu?SMwj&2B )x*;'Fdt#PyKcDы0#pB̫fNH袆,v0{Ge&IhK@ԋPKkyy(;<}·}z& "fyJ>Y8__GKqHHCyi>Ɲ%yRQm[6_!Z5_ Y؀Kbp (U]tfNw64?~2if^S;,tK,j"WzKQ:gtmIYH|0Dʑ4[aq)b!jk%F9sL7:dMȴQ/90f-g,OQ\-'u%8/ %lȆYbψa k0#:STѳFV2T%s=d3^*+?}Q<5{ SԋnNJG׵_s59+U7#dpʞ.Ũ@ `-ꌻN;c y)]"[mx8 땧eB|KbSU+Xe/h7vYl^DZ4m(b ^&.aӛWhiIa݂#[WxvSaE[ܝ,E"?\ޗEǻ 3e)RHz* LHdI:݋iqt[heVL|PU&Pon ZВ%s tmtSY&ݫi98tѢZcww~ [SJebI&TyrHԭOY6 "97rnaS)%oewLCe s2:^rub 2;'='FmM~ 6 2k1"0SBɘq)v=ۧT P=2@+'!ޫn HbQzeV] &{Qtv=MSEFHƢI%w#Nb̈!Mߑ,aXa%թ2BsI@*A*VEVb"`D4@mqI9#a\Y->pDg nV3WN^.q`4?i`@k@^7jpS ,IԚ뗇zUqr(~]wu3B4b#MQҬ}\uB J c|zўԥheIho,Ϋ]U9lCL1C }oj1mخf/4U/.zo>uA./E~z3qO)hl.J8 ^SE=1HC1' Ar/fQpyH_INM5([Fgfv|8ձWcˊ\SZ+k'6)LϨnPrRf׽'fGk%޻MA@ W0PlܻSTY/g9{ jI8Dok+Ï9#1afu݁|^3 404[ Sw۩t ^ pbDGf9h/C_YX+pb] E!lkB(x1plUJ]xW+x,~TtU 0d b&pPR: ݞΗv8ivK -a]NGI+EZfHy'nQâ,jAe 42"UE,ZR 7,2=ȉQq ^yWl΃AtF\ G nXOJ)as6J4W  BN0Nfػ`Ȕ=0~ n@30Uyd&pMM`x\UdU2f4IW'1BIGRYD_Y39n[Pu6V}֭ݯلo`$URAOQ!GIYzkD5)i7"|wثԄu; m%~QigB /bz7摝}z[#-e IPŐ|41z JdOS,G̙YTBFQtV w N{Zo@Cbpw1dVfejX`&jC_@{KelK+ H%|UXA䟻5mrc}vD!ŏZATͨS<}mb߈:c$NE^BL  mVyvUĢ]޻uDE${JV6Vp Kꟓ}զIØjؿJt1ܹ\b%I~| mՙD?768qi;A\Ǹ3D`yؖݍ ho@@ȍ  ў'4ݚS7DI> uN5qy8*^U)a%l<3SA*d>̒ezא(;>I H`):mRDNl{]4ZZ 눴~.GbNfź=`hF_NݿkU~"[ez戅 WXJ$ץĔe2TP!7: 7&U|I/:8D|ST]7'Yq*Ɠ0$.gtIv۰dw~!7*E#[J Ad|Z?Swo]Dnѝ.Y1H+gC(:K~ꍃ\-pZN$pGIX hM=p@Gzfx赻 ̒ gM8@nj Xzk&wN^'z{HW*?+C\tnTwr~apnGߑUq"<E([Y , M'tԜBWt1'+oR/9,sF#IZ<d`YZMbUYCnZ廕@p4ʹY_VpAkp{ ؞Z85>;z ,y1ZvJBQߜLr:6YN`=Pi0dĂ%ms!RnlrF@ik寰4|]kθdx/_cmmWWzl>-vOHjJR*YID2!1~a RWI&f92J`o`.Ec sb>hv^ ]y_Fki؂=^]?+@ Ne޶+0U2] \j)XJglP2.u}s(!фq%õ $% :NIZ\V<AǻqoLx[%<9j#tmdf/P(dPp|Xz+XVWʇrJuW0 7EI72Bk*g.@AgL8KbX CF IoY}:N%ʶ2DT ?B1kdԃAZP_LC~ڈ"ir<N)>Ūs,!Yj h Vj5|ޏ=l%*^~d&e#]fbctuQLgJvFЙRP*ʵ/200l|gW/׭y^wCl&Yky]i o'I<֫Es44G%G.C8RJv'<:ၱhg^&MŠ |7X&ek3[V>BKb@dqCALY֐1@B[vUg]fIWĞEF=\;|k:6*:z"tey 8oMEgcx<~dűd_,r,T~Of,>ޓ|D|tT}h'wUJ,Fua]mEc EJD;2qmvP)z6;1t҈ķQ\eNKm "ߓ S ҷ <8O7cd7P5pN;9_pū+y~D ?H6S7uB9&w7k݉?֤+?{O㖰pFHa"GgS嵠X~@G!?&|C5w;fۂJے)K;_9ag/QH@7 <$I%wA.hg|.f, +7E/\џ}z}g ORtˉRbyϹ#@Q;} ̕D#p*Ὡ !;K5wmk_'|E@De{,G2wg1CO(Kt]3sb<Ԯ ;S؇\C4wb a$AJfx }kI}N N ThW}%34ROMxgL혭24M!T=*gw 4+CF L *jw'$P7yoU aM]W@{ٶp~} ִ˂(y߯{rZm?R95s]T9鷔n4exiEX&!KvJ5Թ9妆]݋4aPC-'ۭY%%nHqꢶ4x~Zd -aC;@h6.1i`[·x•<^nmËj˒[s%kgZ8 -9j6T ,T(LaSNH9o홊 iD(LȦ5Z_]Fq݁_E]nwl^aj7滷ǩ+Fnd9(*3cףj-ɤR(I;D8+y}J$F1>쑢ބt&>WpÙ~fJW$ Q h(YAe=zUJJDo)̗qJ,|3[mؽmKXWaEsoFۯV{KyHjm?NW2`zk44{&m M‹ʕOeg`ٵvIlAm1=qkE I!psΜ+r Tfci|+jku)FQ1[<^`jW9c.Z 64&/6%9k#?mL;(O\nP`IaTZxw)<~0ěY8M}rPc;hf2E3QN7.5YTSM%@}.%ic$S #-0cqrVX^q?6(zzF"n1ǥQg^ɛVp+T7RAf4}Aѷ:Kf+نz`J.0 nNhO 9np%YL:҂ B{CVFVEPr)qd J,wEwȏnj} ˆYo I/R!oN*d4H`:@u:joy OD"8Yi||-1ר PqA`x!)yԁ2x=/غmeX^ 0< ۀamYMU,?l꾙]FjGހŜ _rjUe D}(EjNΚgd[s@@FoRk02ǚ=ꬨlNK15 YE6K*5!m-dBr|+z¢@A7#c xzhKE.X鈰Hs`9_qHPY{ج\}1APJ}]o?IZ^@~?mAB0!M1C@6B:H$|r В) ɆrOzn8t9~'d)_>}a%ю{,3<1P08m5獴BL-חWt?Y='{WXȝCQޣ0+e])Y&48wLWIha?N7y!0X7V0Y7#lkŌyߍ(ac% :l=%46NF=#aH! 'r 0tdK]h߇R!2Z)unP|s`ݗ^ZX6GUԹEI A$7dThW!I2C%Z VeH'@*,h7(4251)B=^VRTo&*ˌ :n+e䡏469LgXh1-$;[@5>rTDv7v@ؿ<8 nΔ2nؓǥgC + w OFYZĐ;TpU@K ~vj M] `}6 ۹`ݪ*wP2F:2?񱹮J h1!uIB >ҙ>cWD8^.]d_A7MZ{h|xS,f mИ.f$zy> ; s 9)$Bg|tkZQQ $bEfܘ) շ{Q:-`Ls'"hCFh+\=-kuϬ";E9[1.m8-`vڀBGXaT^9t?c籘ҋ`Y4U@0K 譩=YA}M>1Qv؈ Zt;f8XOFo3-s8ʔ)M\24ۼ1 u"<6z;1;nzG]aH`Y)Og\'fQ' ?Rk;/j\snzTSڲ2 M.CPpZ_fl{Q3W-z1WJ#vQ!s*qIUq jv|iU?A$AARi\9Chۄ4p2*xqn \jK+$U zkAM혖V5ze 4HVW Rn%X@ߍQpem+#OYhff=O6w-W3ZP;g|¢@[tu6[,pYxڟ nǶ^A:FRV0NQ2Wi_p Z%[/(6r34FPH?U&rR,?PH=>ѕ|`/?>5ZLFw[,{(h珷4M[#”]ǙNaH)6W HaC.zazALЪ?odYM(TYo#٢!fqψvUUkm]x,-C Rm~WpsTXthrY#z0Ǚ@yk.g–L,q>3 O.\Bגr3SW.o gҎ;R=JXo:1q+Kz0)1=6mE$ #/:pF*ie($GͣRCwq0 Б VVu¸H=Sa=Cg>FrO5uHP:O \Y%^HqVL/xƩZ95GU⫬ @ѾO vA9ѓhC|oth{zJ\DZi-;[`21RQ?DՅ f{:5XՄe!$ql8n,9Wx t;*ph~t*F]\TH3^Zbca[o[dgB2 37hj<_Yye ۛܠU9BH]p2OV~1ه!PȚ,gpqzg񾧛r@M=s _ł~x,_Ӱ} 'J"o)ZÒt A FvK<'z݄}!weR inrMY{쥆yz'& YMKu 9-3cl_<'zfD@a+@,;G.^[x؋pj kS cv+mN#}j9z'Oh~4?i@Ehn[s_Yfou8)G_a?GJ[PJfCUNUBD5;2/`nY8 Bcw+G~f4R [{O6?渪...L4]NhVW*vYczgq*A`~=Do-N(Oa5;WܩHj|B8U *U^dYR$?6⠓ԝ̤Smmz- OԺI뢪vOb'1 ~ͻ o3YEP2B^F Cp0(z{=3ɦ/Gg]E`ZtG* s1; [rCm3momX|I*،QЊE:PnimC60IQI|iw.HIq߅S؞5ֶa!ꁾ*92di)GZ}uVR. LsdQ|dD)P: Rk; $JX93G@c ZiʠK?Tw?\*]Ik/0.^Ӎ?7_oDvrU%k<ZO̗Ba\ļ,dul0Z.f҃ [`erт|>TB[epz(:s {4B-#? K ĝ` 4㠝kY>!Ũf)* 4u▭.^%3LDb94~WQ) a tb~UfQ"YMU*ʣkE_OV0 Wk[*?3'On'Tuhm|{[f'T`U :=[?s+1zje 4 ۹edu:Z!ꀜ܁1$^aGһtDrB; l38*jSuǐ-RK!:߃Da<(a,\X&c4!j<|y+W-:x͹`= \nܙ-eP}"r;@ s6!F? xe{%4sWmp{w(0%);mƣLU5I e WS!t H*?U3`YI )  Q5CT2;fkXc1ٌ7¦i(9%BkrՓ܃vcr'وMl;O^¶LRhFQ^8&u'l{&UK4G`iJY(L*SIM[fuA,xYց$4 BʃOM &]Q#}p\pWPfwÕ*N r=x]٨bܭ-b2##A|UOϜ~[2@W-B ?dҌ2$OÂtOݳWLlɺ6PCnP̃T0\+.e.UR.Y3s| 2>ĐӮxJHAtb0%mJ2_SQ:wfg=!TmdIM ݚfxE}SSpHP߸x\ u%l5+7`xN.dP/A1 s\yV ڂ۝sXʢN[aZbU^7dFo J_)}DJZB]AeKdy=uyp(>H„ ~lQe3:]*ly #YmwD3dᏧ/1z7Ǭ!<`Zhk&TfwSR- ̹n0mڠ{rZ<<U@=@ ļ9[!xߒr ^_UÕĜDy,KY49hZ}ZjbK Ӈfѓf/V#SwWQnud$NjbUJ~A'sj/Gxa-/Q\*{g;`>gqF ZLsQ`/:GoYlk[,ЫjVw* XC0Ժh]UYdȺƈdoD@&rCoi7:aR7-,"OAX)1 (1@6ADdFu_pm  Qu=zLfm\ P$VWtPh78b<8zsglw[\FihM4Pu^Yq !C%i׬1C;$A"@ CDD@`B[}^H}d!ImRg@lfiHH*f%d4#YɒtF`rK\MvB`⩟6wyGAgμ]Yb l `_7j<6UETH%U !Q[-eg9LV*ޢ.K̻9|?aW{u0+gYZ7zXZִF! |]ŗXiɟ1˦r*E$O @zֲ_}@u%Hd&B;iDIi" 0kɆA3NE80i™1gijRT(,{F^ˊӓD0,<1 kcf vMTo./4s^pw;ž4[QѠ6 UǑIs[ذ >TD>O@<,{eZÕ+җw^&&7[GE̯^ ѯ*ErIA ʋ5 Ei:\%C)PgK})60?=عn0R0T9~I-K`cӘ452h5׉%Ie$ w:jhoҶu ԰ұnd++n'4]f JW|g3lt2@WMW }îI&lPZf`þ6kPϝI?"g_GXA{U~:25dܛ1Gj6 m 7U'F:,F2>4j7躳%bѭab~9Xeõ؂ċX7Ȩ{z A,pz!M*-6VM`# l=voO0!ǂ#FP5Fӿlq'}5ȑgѴ* p ۲ݼJ#YE@2rlISA6S:8HDH:hK+0jbα\C+l2x 8` /@+A]ޟ%&tjyK^/a>$T}:%@Y#)WǘOaruM?aT:%#0'mF.s%[]B@\f%m6EG}ڇyDQqLmD&<CO n,m>^xfjb_!8︘ {d ՏCHNv\yVRx>|VVG!}])ʩš+c,OU5j:zf^~D/n++@l(//4E͂DaN(wG)G2pve&>:s4y&tȵ+JU}#(`5~vBy`dV?E_dۉبQ[>HW0k&\/KlJR[ I8ntȕ;PmF|2NlkCa9^Vq|Ɯs`BW:y`YlrbgnDڷ>J u\v9dF5e z9FŖ+ٳ`c*<;M) `Ju\~"XmߒX :{զ1 a风>1;u#A:>s_jXCrC{u:  -ikĹ?UXB-+d~3z=ע)G@^j n]uX;7ѫTC8F9Ev6zSB|]4uz@oщ|m*v?jt`bOIBG;?(udwŴPv>6^A4|a BJ`׮ T?`07jzp2)P̼ ]U\.7XWn >;*0;>U%zJ{Z3D_7'hzm̉EeL:ShRuҰ&bW0 _H}F[, v:=^AmnT4;"R>c BO1P MqqrMO=#YB}k|\; 9~8L* Jk7W`9-pFф.A`fh?+C݀  uH{fBk/Nd k2PL;.kw^+ HYiڿ՟$y(0Ho+&fmy3| +x!VIscU XquiO*g>T5k5: oɠE5WקkF_|zCu2uqb ѹl=2^p17}ӂZEhi)e\7j&͹e"_K-e'kUg xO>s7[i(Ǒ- M6 W %oK:Fv, `MUrGXC~[ Ky{쳙D]*XH*THG)guxy~;HG{*fC+nc^-.ah7qa49$HCMg J\;#!`dӭʶ }vo|ws{YVM古|x;VFJx),P Q 7>alҽ^ dwv>TiG拑 ^W*02WtNWd)@5 ]s  Z o}B]e4hL\JWrߨUR D_WZaﮧ?S#dcn%Sيhy ՔNm.NenhQ 5Ӈ7~T|_;jfȲ7 r4' Hl:j"I'vP!K3~ڂ"d-BP_܎ sF9l]~gn X[},Kwh:Z6