SQLite format 3@  . BBh77otableisabelle_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 PP! D4 ]]]HOL-Proofs:threads=6elapsed=543.697cpu=1230.536gc=179.140factor=2.267zXZִF! ֮~]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZb"Bp]S4s0*} v' 0 /߀32qtxH츛J2E[YGoyG(=u'X6ώzhAcG۸r|iMj赃-:ވ{Xhj*nIkhl^:[D=$l :c8ł`Z@<&n:Kt#d'9Dt[4VNJo+.ϫ1yGӄfI4WU#F?޲v?~n)`뵷_XVʌrPcJ"Rު"4|364gƳ7JmvZ\#l0B ڄ$Q״tg80}Iew*c ǽޘ+(& Ma+d)xɶ_7,|<_Bm@MH}^:#ȍDա h;Q(ᣓg){xBjrv'U Zd559F!,`xte@*:YJ4=[Z%7 7ww :@ӗ-mZdmQGA4< =~,oi@sݩpۋ 56uVAwQBCj`< xhsK|IYB6 eAh1)hش*SZFȑؠڈ`@pCgB RLݚ> OP%١ΕvgӲ޶K*TQ)DSUE9J=`-xZrnqV|~i3Ɗ cf "ۍh/xN-WCt\(NnIc5 Z X$3hj_&4Mnͮr@W$`g ȖX|YH?ޠ* o/ꖇr8ͼይ)\ZU=,[HNz y-"ԏZƞB9Wor~1nUAOip{<~d5k<|%Q *ߔ M"Gc> L9ֵfpMbP+_MU,ۈߠ"v<{,y5fGؠ/pp'|yQ9vfܟ:w'oi#TN6,q$qlQY/f_/YbWL,d1  ! HOL-Proofs9clu)dW6.ރ"^N \ӓ5oGBW:) r'2*.:hFxT‡ Z7Dn]lg R&5r1 O6K ק?}H"{Yq5Jϓx4rɑBPA *{3ƨ)`D-kAC@Q\3WN 0彙N8bWGr6ʟmص^PrĀpɧvpowH\A yԚUrJ GDl}`q ģT8f?Ǜl/y Lg\Ģ|NjXP*tTk:LP*p@_ypϱdD}Sf-8efuQP}Kf\hW{Bf @g@7(6:\QI;[DUi:ך&b&AG?v8SnM'DO۶5%:8G~r~M\pow H_ %3s ژ]4q[+&UP ʫ8w25F'g@ [j'~.mukQJv:|_/{u95*T@R'uWTŝu\ۆnµA pM"RJq` =K` S"ʃjTGkm~qǩ*gE~?dp+%T% q{~Gv6 Cn3xAɀN%sV=)ZAՒ]oex3Pl/u ~~b2͕8O P&k, s%ZΥ$~b`Kk˴Yh0cX8ko՞<ܮV]V6Cnð *ą/e~q|2p"$QZkz_4AD0ռoW^#~0#UOy\<͉l1!m39ـux^BmQmfD8<P.pyFM349OH [G_l^W6O2_N6Me^ba_ >V [ey%+^Xr𞤙NE>_4҃& Wa='ۇdP},Bg" tb'qdsTMMT%n˵ax,NH)EwN^r5K]l{ć ^ʲgNA+19YՎ a&>v³t Jn*/ ?"]Dk&8) Hm&rBMQAOֽu@^8bb?i8Yi&3۱|;A||j6JˏXbR䃣ᬒAβx0"{vz|B-ӻŝ@H#D~bDyEFm{O; zohmbRrzckzgrIt$z]_ey@Bm>n&jW4=3Ԙ{y|k"}-PX$n[|RS_[[02.>񇉆NgcC ?j$ҌvoPiDzc R[<99nNRn7H,U&k D"Ҫ~ѫ45 ,眯>ޜ~/*T.i:;n+6L/hFJX6+ Lw,Zjq;LJmbF9(~%, $ 򔠹:#,[r>kPŠMϓ; h^Ԁ?%!/T( 5$]a-"+7ĈWYM BH{lE2P S}x He5:yHVL0p zr FS쯩t 90*ow*b[~{o.ȭQxTOtVPk[8T-}2Aˍ;xC.nq"H~@Gq2 `.%X3.u>sx(kg& ā<FEyPTZ2@t < D\5YCiVsR/4{P[#=<|,U-S 8,p9K^+&/w*KNE%O\rP=C A"ڝF31ao.چxZBmx%1?Lf:Ѿd=h25 P-Nd.%gIxn{Ucx?Vtxd89|Q*K9n΍ `iDaR&~!T~A$V\_p'͇oP~볗]GrwՃb[yye͸u쏵[!jSoysUO:jr4fks+{"Edulgu A"O~N۩ P8qa>9r+'<1蓣bfw_0O@B=*q(S;JohW sWM?[رoH<8*~3##wF^}$|k*ݜ(kd;Bdu?_°Rٝyϝͭeb{1i(G.(+/Bva*S^_]pک y88x<_ Ko,n*#^bZ: uTWmDƈDߴhd*eGVG-/U^{jIlԞuVl"%įa'h)li!mNhi„ЪLdzgAA jJz\ ^Q2l tWMx%q61/ͼӱgYZ7zXZִF! a]ŗXiɟ29aoʼz[%U>EM!!BKi?@ kBJ}#o@Yt n=!#A40aJlnqP ڲ'%œ{i" %IbA:19XȮ44`bi.#{* hҰacR2aΛ7NE6oV6\N|0'He@/t\4E2D-*q98r1'+~z PU -!46= Y+bs5*2Y}vEI7RJ'pZϯǏ;Wb,4.oZk=!℃#eP0fs`tԪ Pxե_њζ6o+A/O->(KCK\JBZ%,BP+WX([R)'j_1h]Ž-~\%Ė.!mB3u憐P `xTQ5F` ԆixQE1h@rB(I+o{"5ɖ*mbbvBfm!2zxJD  0vD$e=eRJIeKDT*']c2{tDžO 4+u(b.>L+:EbSJTRK' [W&p}}&_*W,30E0R\ 2|bn%!G%M׺HexH.Б*'gdCuE/,AhaU:*&wiգCra:E zJ4qT.o\O"BY(_%m&f[sȖ1ٶP% j6yKwV8m1{ycuZLN&?%Ej 8'E ^86wXHO!\t'rܭveqY;q^ڞj"R,`^c3*>tƗU2Sfz=ԉD- q!Z(>W!=^n>>m /E΋hY0T0#SEqHDXA*q4)44yfѝ}NĜ (z讋mk_<قt4S̟DuB5CgǕkJdKN]0W0SLv;t^h. EFrM37 僣C&WuZQZ5;c$o>w;)4ƈpbsU7ޟk 5B3B,A%{5jS@_c= wHkk:wME[Ƅ\ Vu"rJ21# {T>TJ;OR ~dl`,̱#<(z`jnq4 %crPA;ˠfq`LV*xN/,`NX䤆Q=ĩxB f%F>X)gZ;0gU0o)d%08xkϨPhAY=O} D^d\%6w>n_zej"ܵ< d|3 n@`A-}޵2bݒ5>Z K}H ]}F<8"}SUiMLhÂ-V|/0[LPOn G"N 3‚&?Ls.hH^#Qt̲7:i-ix˱c ﯿ@Z^"=n2ufTmD='F /'(5g$l7=ђe=ҍ rt3Bd1i)PCL]A Z`|w;m#m"Cpœks4Of =dR\Р B"MD nԡkQy ̌YsץlcJc6nQscGQ|e!X !V%:guh*K2B"uܤ&V oM)g2ihX1GY$_ݾẩbE{`1cdZ  CMuF \]E;%t2_ZȿQ4Y ;Grg`"ꑏK2H CXrC„r_Q|W 12S?;uH|\ʏ<M" /Hfueܞ|&=qCY,ގ[Yu&<Cm`^f.5Cab Y*1B:hR߻W}|Qy1+Z?AQP9J{KQUEkl 543 Xh'$9D(0-o4]4JJږ v-_M't 6Q->c \>$ oe JvEV6_X[YLS'9` WO1< gr8om([bP1R=- !Pbat 9 ?A~_zGOq3}/c' p _fJ 'qaEK1Y nbn+?a䇳/.ӳ8T\4$'IVgܢ]PUq틯8xx lzmkAco Y DyE{5Q7ԓ\1@=:k}H4߮rw2Q:ٍ-d>8ɘñ\>j  }H̹}yTtJ $~VpraUzht^=GLZY4_i~_1'Å ;0f0B@S0䩾 Ewŋm1Т>pkz@tZ&tJyG] I \;d- BmǨ7a?T&wn`2Q`bdRB6r"t>] 1K7]ٙ %nť&H %J[\pNEPuS< CdXq Տ_1WTN[$-$|QLKQ~zwg.1'̎(iY c d [Ṳ^T6U~:4/yQE}e>Bl~Ҩ sQnR  tb#+ Gk2!M>~6תYbo˜67 B&6rI >!'öc eWs=pFw |!9G3IK'@FHO+eÞĖsx\5^LfA*/M2qNFmr9c~%xL,K2sB󉶹H ؚ$AZ$%|Gɶ\T ڮ8Ľ7rMcNWHQʽpg\+53NjZ2 Hę蔧GǻZX KWh4rQѿme q92Q>И6D{*= `:%fGjQ3ctxf9*seQoZ&HsfP8ۘcoO]ۧn͉ꄏ qifqߠy`h!Bt(@\7&-1,NP=`yxlnEÍ%0bP[i'z:H:Xg.|:e XqmtXA(\L.i|frW ATmV} {nzB} 'AXt 3x*ͨb"9UAMҋF0#n\٬ܪ%Vf(مptig&ps-yɁ뮈XiXleGFG"ȰZÔm>]Q6й$Zٹ9^ Em0OWy2`}.JW@[Od%.A"j|Aoww`eIgJQ5Rat1ȂyyѺuu ՙgj":λ:Wg}Poۮ7 \L' )vU lm`$X]H* g@R\'w.27V%l% 'sD\byz= _C÷.Fw:~KcOU=8('5HD/d LhmbnG ['eIEs56A|ӃhY~A,Qntout%<|\<xm)#W19 [!B}}+ΜJ</6P 1@#ٮtF=ʖ#3* ';_ n\<ޞ[{)VǾ }k4Y##b`(ASUQ*Mq# /vtF-Hf?zُC!H:`~S}Gk=DW&x #[y&5TKzLQY<Æ0[#TiPbq:H0|דGeU7GvZ*tѻCMix8sˍc^/'zI t`;KXtDʖ=,3g49 YYǕvuE_>h1'S%NtzIů8:@(X!4l ԘAeԼ3O636j$- ^J^t"s:ΦTܩD";c,cDzI}<3%e^O?) #Z:(fvBel.pZ8q%QKA>P4;6\;XB.&'C.ㆢ0[!*J2,ʖAcD95c,+ѝsHtQDj5ZAw=;@b+ďwᄆ/-CazRTۀ+!] $ zKGEmկbjlsZEW$`cHļD)EYCD#3uw̪¢.0zI^ބL(᠘ձK].l%᭣rDVg k h(+X.*9A_O\_G23~fѷamR%+_o[|i|}N qԞr%Ao}Y(+$eOt)neV79y(ryy]*kDcuruR ҃Jbd#݂4-ћɊ)D.y$M/Xxל'^\g7D \%eU}ό-nL>SB >RV("yLtxKԉd0帵!S<jTn7xEQ}-Y1m-VBte;Ӱh~o6Ac)xƪUq.1F䵍ZKՋuI"CVal”튛,qh#kRޞilhax> jCY?% ͫ88.LKJ:/܇J JZ<泍ٕ1 Q2O!ZwOS֐vgQUL>۞QE!UM, )% jIşbjÛzسL {+s!H[6$DCAܒa=Tԡ,꾁j޲kl͙W~\v͋l֌..tyOHC*x T"Rqך /o 4Y:vlBLF?L۸5dy䜱-!!jw˯L\{X]أ@2ԷeJ%XЇ)3E@ pk{A9{mm +6NYJ೥|L-[K-j'!{D&, Xa9:5r{G uȑs7Qf\I3*G0 =4(:F}Q*D9.=024v((׍Q,Q$\!lbK)w_Hр~[?D2!YFGSU2XVj,{)`wPtA;^i9= t؞&O\ٟq˦%:S$#BȧFu1yܰIg0@h% ,"7Y;L(㍀ڈ\S d_>P-R[Qñ5pbu26-^AdA"yrDHqKk-o '"} ߶pVd'>\\Цf]%ha_B|na?h'S*$H&LJ2Esub6E["7?S0yY;а(svnAm==:,_qbA I+]nEIΩBE3%q!tWw|eA۵ɳc^yH=.񪸇db/JY1LA7§|*C=0TۜWjj,rv/rygG{D戆T;SEGץ'EzRc">j=1&)^-rF 61>gHVl?QԡR hWT-ny!h>MKYr @HիI}}QeIFZh(wӈZog'v$gs1 JۦTnc4^sYl4o},}nK{l/̈́cK_;AY{kS A> ~GNA:Ps"7V18MK AWr,0]LKnPʷeo9Sk:cct^Y*3v~ҺJ*1I_,bѥ|_!>!4l!#MSfOY,I]ˋ߻!J쿜|41ъ:kCzvxmko 'W5O[ӵ uܱcD+PQO̧gjԹ3~um vɫw FĐv(k~fɲ (˜DNЮqaQTuͯNزMt=Zc?};ͤesmDb1{{;~'4HE>"gdphHmձwo5ҩnolzCB$^h3q)!2 ^چi+Kki{[iHp0!*5rX|H ^Iq ZW&iMbv1}| Wj}al,Nt՗.$nBQ#)jI^#  ~Dv]rE|Y:8]=2rM<+>]U7Y;7}t)οeM6 ZhA2&$?@&\%Ǵ$sᵙґ,JŚՉD_R)'w7m_R5Kd ;Ep&|?e4{.6#lRϻWK5)_$&ܙ̈VNlG_WzjC>3յ[mᕷ>M[̃=b5/6js*ErZ%-G%i6. 姎cJ}. Z'?jō8WZZC뱻,Ypvu]{a`^PGNaEq(n)FwΌsT"z=s'FTM霦 Xx-vD,qKNGm,X×X1( j.X駖!1K>Ynb8ωX=Fޯ',J`KXuA\I] Sm DA{*K i_{6uE;|?.vQW+R1OE󡒓`FB%ZLkpUlM'fE1UȺT0n+%8E'ұ4d$*:kS_-Lya\RFIPʬ|@zH)#fѷ`w*҈畟?6g ?H/ۆxhŎ22.r+MnT2"bg"NdYF`$vRY,cj-*AE㫽E;Ԅm#`8f|F x(q=5ePN|a;(j(ˑvGBPiJS2{y~r_[a֤Rrg{ٞ/+vYKHbqYREU 6o6@t; ymISe@,H"- h/.( hj;Lf1 .[1Fw9AzS%>>֧GZU|sIB̂:c1\2g^8OFm_yE9Ui5si,uP]<9Ykq/n=-mXQ!T=63`*,VVktߗ`$ yxR -`!:^Ӣ& 󂌃 bNǙɍDټ4y(˚zy).oz#F,™RkniA쨨EXc:ˮ%@apS'Z{ԮP'ڿ,Jd+!KZݍ0$[D#$Jjm`ोyFnM`7 *|Tלg8QEFeK[8TrD!h[DeHŠFl/vQn>j{*̡g"=8¬ܓt&wޘa}- d&}#SfWu+yXnhɦq*Q(}pjxWPmjOAvaH .աw&k%'[h+{ _&pvXRY8F[ >HrZ;W%aaGZS1T6CIb/Cv[ɼVLsM3+ K$ bjU'L3ug #zN}߈PiYc8an5RB4v 8bZKD.R \bޅ <*QS]biiu)W0=)lbvD'?ZWrI`FG j[9$RC)\~\Naj( dwW߯r2_?={]^(R tb6 sj wRZ[8[]eTSvG>11|,G,;n=Dˏ8&tfv,VzZ>YFVK֪W%<; zua4Cg9{m4){Twiy(ϜџnU<$DT/HHȕ s(5J咀g!YiElg6sv> gױ_L9,\&u>ӨF"V;d\ASƉ^rbgu3" 9Z ^P{OOϽ&Bsh?>0XR4&d.N0 84m78\gvBoQA."{W^*6*RsA"d 쏼ߑ @r48S2n<v-\/`ym,<U X1kZ/O6]z]mn]Yہ%W+IvY3 T1F'k=ڟGG:OD%YLF$ғ\m}M6VJ6 V}6QdvBΛG O!iڸ-*-6Vt0&Бlдb_3+Sg)x3`IBW##{)ۨ7֣ԇE*+\T{%Ƒc|j21A/<љx &#Fț\Dw}>Oi_Cw"Fs$ɀi N5Ɯ$aD%K!XS;bvSAJ`~ lcx- 5,~ȣFV{p~S@yukRXz;f~48C˼md5Տ/ }41{GaJ{c):IbJ‹U9$σu-῕BáA^ g1p)I뙴8ri8""`ːl"z~aw,56uެ)6;Uf)N!^-UHogkph` [;Q5pJeMd9:~r^bw-2IxP4mua.x{07\"N eVbOe]̞:uSDJs5qZ'}Zr \b- }ʘ vG )&RCĔܲKFWT"LIvy,z$e?$7nܤBUy26yIȪtnS0/gŏa &7nak/]2ܡry !.GJvޖCC}T"mٗt^f"qy$*UCT]T8fIK]5QTMo) " Ikͷ8*]w+֔9|@J8 L?Zg;gV ][-U \f SnMѩ*w2KWw8ϷFw%dgF p$aHqn}%Gժ}0 K+I&`.t$6tE&7pȂwS-. ޹E"6x2 0 coV*1zclm!UYeBv5uu[D 1qz?ן'@A/fwaehTC٭z49D>SH Wv7uUm䴪3dyӛmR lN@?\JqB%Q8~B{ێ֝j{65ԭbEH=K 4 Զyz j?3D;I:SvKS,p܎ӛZϱ,_AB>0%S#؊\rdr ^qmgBGt(GLl.ΔhzN,oP,_3ccwt,Tf~H7Vؕ]/h1v$s![CzyR"dy:Y[.ST2 @tm*52kΑP%hn" Q .< >SS67`fTTˏ- ljIΔ;#S9Vַ[E|Ua{yr C1SƍS )M t▙||~k$*V9*~HߟQ5}gjFL꧘3!D(_ӳUiBnED eI3yԲӗw_%B"}?~7A#'byɪ,׷LX_`@Ff ",ڳFNdҳ:Ypy 8eO炩FK݊ z9ޡ|0Ox3YZp|c44JaNT5pcgE8`wM^aI[{|wj ."DNTQF;*B[)rjM*&{zh"5"=ef gʼi[4'cq#N* N&5d]c/M 'vE-NR*Bp!N?-ׂt @*rdmbb; `r$* ("͗[頴u-P vB- (=-^NI %^#=Eb >g۔vVͰO~ԟ=:suꪾhst@f܏I*: )ho7fbytst8O}P_o^)wydְ >O}CfWf*pg~YqGD$GP^So f#!.} ӱş(?w /9&[;FpA=);qT?/]d&Ȇ xıR9?BkO9M<|˘Y Cý~GZNV|[.b@S++G5]ob` 5QFp-%7WMۜx'(v u[_ɦŜ8vʷ1+[՝ vcfd_gFQIG/`}`èhpKJ-?.7f"vPM"JzdFseU,%(D\/r#9Oě?^2h\"`?69+{ <1gzѩ v¤(QwdzmJ>枉5_)#C`Ïtc6_VB:?}iLTJ9E@!Wt Lr|6HrtY` MD@*Gﺚֽ:zXy3S9LtH5.+?#Mm"䪱b8{8RJJg_ 얷˳ٝyKN*ת.DkΙ5!}<¬er/E۰Fld6bGb@/"r%'K{Ѣ"kEɃj0k/Е4Bbr.[;gg"݀N}$$dbHSZjyTf7Z_xUpPIQݜԳ[[h9¬ hI3:'펍֙JNDYM *#_ko hD+y>ӘIX05!b\Cc\G˯v^p4UcԼniRIn9x3ÏϛL|Х sDKb=Th[&M2η|wH\W1hs”Gyky'B/ERߞ 1 wQJshju2 s'!Ѡr~9ANS{T %sO?a>1on \]Y$ e#2#1!LD4HD TyxJWM̑e Jv;|p:n\vغFjd㶛v'}$eO&9쉋35h( 6w5SE ~:PpDF:oo)q,.yǍn^`?Nٝ:_8Ra70# 8h5AClĈ\DY$Y+3 M-y;#I~Q@TWk2`w]4¹~`AAwzդs0FX~ķ,V,P vCM(H!Q *j4š>ceEIkDcIJ) /گAW>FFL =@%҄eD5njs<0$,JNKJh&gM|bX nS+6:;lfbM2UTD06ʟg.>nY+3jjL!b6A 0ri`#ׁSy - 2:{uDX: m<sphC]>׊&M`Rh4JB.u>`/nFV?p(X̟@'-v64FnjR2.RD~ ʹϾy!_ƃNˠ[W&z(2 7`Vh!'TTYi(w^NŷֱkdJ d}b1-S-&ɚroQ~9"ț̷vMo|33z HHQݼ(^u,|#`aHStO[)Cx7܉(]яsi~p' ߪnG`VO T=P.}*ƳA"UH*gb2GK"I)!_4&/!'qԹ.qxG4Xp9-_,$qFXZrE$Z/UM6_? k$VYcmoΖDy 4F"pA.,f-`SB݊ Z8A4'Ke)Ma?#1S{\b>*k-;&VMalOd=rfF3qyΡ&:!"P*mboJFh/[PJҢh\rAl=oi4/~%@'S{Ʒ;b`Ii%8po {k:~7~6^ #BM2edRKnYl!Sr!T-V #v\bf/JF =h*Tm% 6|fW7<ߘeoA,єT0K+!)JIT}"/of8:ϣ0Ff+Z4Iʹ]b<*91]4ЈʥdPCUJ;-ga[J,3.$ °+R|ISC@YB ݎpJwmN7SAPt\y$_>>/`]i?ӈyCH^(? ,T`XU2 @ ie#Iٚ%[CM)$*2"> N lV)sJ=e\+z}*Z B^oRKXcIj&lĻ<44A:kJyjR<-ΦZ1V}\%8S{#`42ُ79VAG,9}D3ֹKTG̰48| ũ8Tv9DO@Z pWʋC_vOß槁xrNejm?Hi3糌uZ`ҍ eCgݞ Mt6wգ;|t]o9 }'ro%Crӳb*F!jkŪK + w: 'x {hu쥡.{dO\gmpXR54nDHq[.㓑5/C-dzv}>=$!G)UuF9%F-Q00TөLy1yDS" ΜFg#l70cr{Ƴ= 1{Bec%{:ѝr=Oi= Cnj".ؕYyQCq'T$}wWŶ[e2̦@6}x%-NK<6bl?ww)\4~8T:C~G 8/y{ {M10<2-/n+1,'orY~ ]K-8'iلiݹssᣎE<+At*UF.2 <ӑ'sH5!"iTԈΩi(SWy:݄R|:|/N7Pf=t/sB<nD%vnK5OqCG$wHd dK<:kC] r/U[W3xH/^ m son~\+ޘ4pWR++gXߏà@!#NE(-0m3] YޜB--h_Q_249 cR#H^B2T`:pS%FJG":_Deɪdž.!͚FB'0 kU _L:Ih-^@g]1XsÍEZD`hKTz/+m_$3סY9%ȼ"pyqZhuޚޮ#(vL6PqJFWiײt'NN3-!.P#TYrZ_*F,RnyHA~U:PGR 1y("v0$Cm;Hbf}=8JZoHH.[O`H\ȭgZ!N֌<ա0}>Elz5oLbsi[ɚ%Z4(£_xzP7`HYE$ \Qߐk-x2HQ#xf߮Eb̷!F=OY{j$Zm@ghM YQR V|)"bkTl,jzMu2=ݼly.VNF12`'y)&spdiΩ#gPkEgGcD>#g7VXy_(6&~ǼxFT:)T-Ps`okxX"kl taҤ]kd۹zWw _ݮE[2P2>jQCm lbdpYyT;{ w&Jn_VMO D'+Ҁٺ`DyVnbKrU6)~B{tW)7LDKk2ԑD>:3ި7QeI3ȵZc卿PjWQɦOa=dѯm'󠆪 _c +<`c@gm༞ 4ZFU{s|Bf{7bG-ɔ*.%&+p%ȣV^u)pu FD-&F}qf{7l`)*LK$b5̙CkRmb<]=X㰁Ѻ ;(ڞ":-A??Trq$ e2ş6ԅŠU&{ةp 14|! D"6#$*6Wbf}$瞉ٿ =<]j|D  ʧ=B="4DŽ[sd77"E5Vl$QyCqϓ&Yc/&k*,aH( }xx/ſ8>.fVBuymcrtKjGv7pja9Mq!3'IB] TҢEk֨Csڅ`ni 2_ W\ޥL"fhi/8^8P'+:DK^wG#~8+4)/elpI1oS]S$|C|W%FA ͐0kmzzvh,Djs%Y嚒\In ]F?2h?,=O36덥 eK Qd~<[R;zqص1F+G|ݸPABR^gBРLtZҝUNt+]UQMZp MĹ:|DmZ=}a*H^Då3Bcœ,vSH-"[@>wq5z\A+yBj|<`V[o,I)L.hعE"ZOP/=tK&LNa8zTR\Az'NCSvɮ_ v+FѻPcʬA}C Xɦx½+=umZg+0J恟LX'T|߼ #_PSDamѷx[:_2 =uk)f"nS"-08^b|B8 %obt.MUJ (e㥱c2{EsZԽ&aQG[8M:s@b8$܉#1+w֭N0aZ=*ο%{iVgYZ2481313035ed92f1694bece42a41767437a212741667ce1fcb30adc5ce6fcdb5feb10204550c27ec1188990cdea42397b164cb4b3a390ff6f42133be