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  | |@% t ]/]HOL-Analysis:threads=2elapsed=695.225cpu=1219.672gc=89.624factor=1.757zXZִF! ";]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjV9+ j4ϽZV g#f zkMu%:J, j##}~>R5׎BKջ541:ΉJE'2V 6̥\zVNLPƱX= p^ƞ8k v%>gqM b3GaRsc? &i$œ$IEH`!~C #` j_aAGz:YQt-RiN!i9d t>"Miߨ>R2u rBbd b@<- #f )SP(#LV_cͬ~s/e˗g/?\sl0QPwɎa  x4Xլa]މt5@EA9.wSl"\*}5?ƭ0 k ѩ4^/@?L"Nc2$g]ߓw1FB*+;v{)5v_1;~w & i~J sp.\>˲Fe$H!a Vr Ww_qWxuznhY.pu>Ep bTTM4EݬB"[D!O4S>aKԛʴ[GV.,xSQ_`qs';d]AK|'74B#>l{{)48)s#G޶CϛN?y,&P{ \.qߟmE z8RiN E#d!(u}.;uY'DKg=e[mMMKR\qʁ=R- pV:<>%8@5 fƓ;p&u [VbQ P9w:ȿ\挶=Thn/78~9kng(#^$Ė?FIq6?1YNi@Vߕ|bV|v$6\Nbύ@H_ϓvdVT}}mgծ=6T 2Hx&ƭ)62[A*m?K;2Sv(uuZ'3q0fc lq%ye"f]E9PG<lGHڕ3?AI]ΤdrԤ -TRdmFVҫdn{$!Z{P 5}Y':tyn3q "qQtw=`_}A{;t"*flSe_>ta09C'*2H>o">THEqwa( }?1ǂ83N*bI-L (-+dԮF{^>]m, k.?J7A53z(Q 2DR`"9S v>X6܈(Rl$0Tr$-x#ޢ0, w|e_>4Ԓ̚~LbH.;U:1\y)A~7m}d36ȨZe^).y]"&?>9bfi3sC:|ޓ2./ZԳz~$0`NdC>.n t<i ֗ͣ3c@b˶vD%T8G2\0?һd0aIg\*u(haטU a)<qd"K M*e7^ڎJVjSҫ! C>Sfe^Fs ѵ :`&u8N{xϒ>yAGS,i=$̔][c<׊zDWdqIҔ$ion{/uNEa{aGJ0)O#Q?LjbQe\V i4~*!")ؒ[5i95e{UQ.N9T ; *CI4* /y_vbN Ό2Y`?Bn\T!;ɡ$sQ,>9c/,kd0HSkݜY\ ~ k!+Tg2GK:UyT[We{>j rdqّy #h*!5ն ~4ҋM>) u'?$z#mB|Y#}X8&."_9P)~h/OleCGr*qig$Ss()eg3 KlJj)y{F,cs3frGvǒhZC#''@gqı8n&.LZU?c$x_rL'ÕUe0rJp>3N rf*+1\MѢ~Z8 D)va=N՛[A昘}#=XxJjkBt &JMah2}H YDi?DX#WToz1U+`^*w[ܧ@,f( ھTj&7Dz:@ WlDz/.at;L6.JOxVr{$eގ(0.K7 CcYVF=9? *ᕌnXsefAGxS,0 hl[Mt^tw9~q(PC?+)L6ȹ^љ3>/KԵK1#ZcňS1SɵbgꠑrCg Q̬ن2-2E:!FԔP:' G4n$^3;̢Y=nlnjud%_R ce12(f͐Q,yI(zc3ͫwEa q,ރ y tGS0qE83"ѴMG\T|Ddv;Ȭ`WS:P *<'; zf-PUSV_gdh Y0ET\&{ Bm*rvp2P'Si*C{ۜ#oF=Ͽ̭/3"cmށ@vZQn{ ׆.7yKiUܭs4hm_(~ncLp Y'W$!X5N0l`/>+h당sYWjx?S쇭l}:bNrBtRΔRd[joWoЖdY$T!m'g8ge.9^x9{JOuXsKW*a?ln󱂉 @27ca: -t*H4 tu *OE$|q[\! _"LYD̎7ur/jVZ?m|Y S#V+J #jPTU?D@ @w{)UPMuߐ߸]ȝ{ T~^:϶Dn\*.lU2y|j&+Tp祉djk K=eɀ&o:c-_rYזB(j+ ?u#:T幫mFFq#9 D:p{I(#'=eK%,9#9T︬T'ŵK.YCb}2 qښJYA|Y3DkA~pIDҘ;ra,ci6 ^=Hsf[U_+x*4lrV琁'.ѱx[4Tw}{a?9/pPKS5^Xe؊Sn Íuc{7wdjNEOWuK[`TZC<N|dpx-xIU1@?`OD 4;"8>0 DuNʴp=A }/!+0.ԛ@;"mG2O[#T<ųZS8KlriHqosWۭ+}iRb: AX jA]MKxmkT/~PΌ}܎y9ptwC3/GZ/u-sXfTsx:W aƽtyGOo׉ VM|ޞCt'r; fUyЙh|y_׆H`7Gf/EBxpŌ>s-,Ma S LX°Fpn1wq3mx ZbQ x8n\SS9s m nBw_O=c7Xjg{hl/E;zVB׽b”#^4V IW .N7tWp2roixHwEt~`iQ]_t0C:d7[] 􋞟G}r2qL|IL {/m DP193*E *о&q3@D40x3@#2gI^"^lHoM};ԁs&̵ۚf7#ihQq*B>WI œ>4ƣe^?О}썤24R~PKHwOg=( p8@֔Pi'2(y/w` sTJr]̥^Vf||` IDצTBb_ Sm̮tvja'4I瓊+pxĦPD oC;x΍y6YfrІ|KE튃rSR$Js=ZqGGc:ڟܢc"?t3\J{HM w~9a$]ϸ<Ž=Wla.5pM~YjF@4ubosѓ3:yȤ l]XWD`Rd9 oFA#~|,~/L$3U)oSE)7޶5<:WCu?jۼt/sgl:>ЋW{,#3WXL$T~觎`" IOE1{Wo& e*uXa(m5WX|T뮖Qtw VRZuҪ(%>fsNJTmEODںQ5cu jG(FdL <=/3Z:VAB7[G9 B tsZI$%k.hdՄ[CV[_}yfQ T8"nonJ;k۱tc-īZBcw ~2:QˑT .Ǐo6e?Yym䩃>HNDʑ ȫPm.drˠEzJMLUO ,KhW' Kd;J5- )ɧ ×BbfØ215w=޼)%=Jm$ 'QtG>.}<۷ qh>3)JTF0_ԕvVBQx_2{ Bso^ٝ@v9T,B $k'``LJGe+Yy'fcA8MVoY_aѱ'&_, +QP/a ]:yC#+~˒wv)!xD?'3BÑ֓7z^q4:31^Jr;FIڷy eZ`ޗT}MGޫa] =ǩdձz-i\K=)\L M8]ѹ4B8")~| *-]( s7k0.CqRE lRx ΍({s GBLɛ_6R'ٮƪD{BB!wNy Z FXLvNY\o؁Ϩ݊2>/\pJu {Wz!wXٙ< \˖?){VY^؅ Zwt`]?Lx`Rv=X<.9g7Dm`*>F/ Y_s"9.[쑏t+.&~6aQ[)kR`9 q!paS_# >'awhk 5$m#ZS7M,l['R vŦgFSjտ2|*A' $hx&`z<[iM:01FQy־27 ;N|,[?߂;*()kfAv7@S^֨x)]e֭uhOX쁢@vҷw66&=7Ͼ)znzFRq5/(9GFȲ23Dk[)$dS!v\| .-[]K,[{C2AC A0$-&ݴ;%V+yhjj2ǏR%&#gEyyEge(L>7X)â Iu7 *}Ea3wƹ3bFbLXW<U+ ̟TB>m0\TE}/RZJuqङ\g %|d } 0mh*/_CuPB{?b̔Jf~l;ȣLKn(SD+-ldꁘ>Ywo\?u&p\1Lk w (#}<|\ju^>Rbe N %I `z4-` #״Zy$M(c.[MM4j[ 1@ލ?n9Y23:YMISJ]AC!wfHZVlk6Q"TerKٓxis/-1.a3OzV!q+Dv\lGh?^-^G|S5z Dv`T˩#GY/jM8]v:$C<)>Āq5w&}ϫND(˹p_C`&&`ĆYsـb\*m IZOkJi=,A"!>qѺ4ys.*JvEh^UNS@i8l%:bg8_b_7cy*ھj>ծ(EhpzׂNa9Rz~:`( d*:%vHQoNszʺe>9qn Yr>Ai^@tC @3?|9ȧXvR1\__ؤY 1BP&PI;2i،(ZEn{ p `zreʴX*ߕegfA.PT|Юi@~F4QT@+\omȜ-s(T} N⨲*xݑ7Pv>zqpG-aEW!f۟yᜟA7{ lӨR܊w݅h3}G؅'qm NBuԫ,"f@xT$fq{>HDcRt)#w>h:׌OVjmT<90zlkӣ(x³St.:3zdt"ԋV#$O\5w\Z -R5+X^(x%16| bPLDdB^JY7+1] vohh1@YU@?&"Y(HElQ+[봩vL`Q3zw f4H__c(ˊwʺv@h+B?aQ=6H&H!tKgk?tsu]·i w4=PѰ0ٌ]h2IC3(xoxo_7pvL(6&:_`;Ųx4ϐMWk-+u }|Hx_N%-LjuB0a[٫܏ TgNтR2p4'a7S=Pl Ǡ;(,l!k~?Of1 ;@1cHkD gq1V  9t+$)s!enklAZ bλuYBZ& %2OSU6u5j&?ꑄG鏂LYA_\c#(,J44բY&I|X!x(,v564sl Nц^3ԣRlJWoJ|dcθ4v1|QDg_ƢLs$(v"{`+EƘڈO aMk-l. 9G}D`)Jp׊Ma38Zwb5hdРIr. {cӔSօr&1p~nss'x +Yϯq g=&E‌i4821hS^Jd2,Ɨӛ_| Cf ip~'Z]DGl^Xצ1QPi`S!)C+uL7hY/$U}8b*NͶ6ާߐ!W;Lv.f:yik,86xbϞ๥Ł /'^KXKk SV=*?< 4G9Gd뼥;? F+ d9rs: Rlm`TE.H}Yۖ>J3BW.z(!T[ JIrմMh}Y m2 W#M߇ص1K!aru`9z(|5ʤb.a|0f0vS0W5@-7Q 6:MڞY5?-3MW(w4>RG{5N,\j߹^o`lwF YG-FsHE8]i1?AMU|RfUp(4^ix7#biJ*'O|0n1:ZAJu"7Z1MڹD!dOgFahIB6=O[F# _wM&G)Bύ8#W]N6Şێ?n*`aG2>&"U0!c:VxBR [ލ*s2 SDsꥆ;" ߶ F!^nt|~6Ms=;M|Ojg(AO[&) #L/b̺jt場h',v*ϢG^>lz ))mKY?G~2Z> v&Chcq,kQJ!$ ɥ@Ps<~(aQq#E6e]rBkwo'KRJ)aI(_5F-!~F_xTte,pf瘰UKOƶWHKbaȦ|rEHuN6;m;J&C|B/_tzsֹ hwq3sLە-+lA5Շ]O cU8D'_R:YItETJހΤ9P篨XGTz., Jz'N/# ۍVD"54Zz^Z筍 gbW`9!mY[oQ'/MiV=O@Ф6-4a6.@a;1u3&'[{KHzB2tMZE6'-,t`'9:.H G X_Jѵ·3% }jX./M)KCM#z/{Q5EAi3S>Me1y/ JK8kzv*sA5c`@P@!*[pWGJD96͚2hgJ+a>%UK8(jx{&VRDД-?  E8Y`n4ؼ) '.?kST7]+[KD{b(>,c_KcL8~C m-fUR8sQ=|rɐ=jTfi,.&R:pmTKW Me8@d9j<mo6k/5JiMf>"{S&^֚IVʼ 4fYMj֗P|yG!(ؽoT{ qzGɞ VߥON!l6To.42QziӮ [LPy p pK9gzwEYܷɂ #__Dd".yPjmY}n4>M*kf./i teB2~ڽ8Q+ς>S}< l)ABpnMG[8"{MHU2K!5\)LOm_jZ[KV3\~z&~別Koe\ C{8 :Z_Oh@&_0!PkK$lTBFqHH{o*oOTa8yBA~u8Ym6P$Y^#XpǸ6M"y&=Q6K _hUnqbɧo8SPm|Ȉ1tƻB".VğZPq{dq W^LpBfַ0w$Obaf~6Fz]MFH 7jpChq&r#DM%>j`B2X [ޱ h@ ZXS2נlQ);v8m5#t6UPdE^'CQ\Ig9tbCp@_B^9Υ"/@48?VIi|`׊Xg$}^RyƬŷh廉N ꈖӮE .H{4.8+"kypͺХlVu#d9thՇ]ҰMٲMUMז*D-}6 LXE([ZGq0[XYXҌ"3{i`ݥt\13"l ZAa,/aWg#9ū/}P[(-N=NVX1^s磰V'.}ʧll]wOJ83Ej# 7 ?߶k67swUF''F~FullMX,#EIG¶bs\io4[Pb4rNǨGn9rt¬hc[9TRqfWT?oI(raOկc!!B{khTՂqJt!S'ǰoVVR2MM؅Nlm+"/@N?5`n ?å1ɕq"޴ZMNwFMP9DRa#[C;h~.wc;=U2u[ ,OQ6Y&V84;w w?JI|\1!_| 8Ll_bƭoȫ%z `HPxڽ`Z֡ey? "+6"뙭Jܷ:/ oe"ٻA=x3t>YC-h&X-F BXo oSj=~Bi, 6#껴e`Fh/̌[Y,X{ q}{Y]=hʫyʆc:2Kì)qW. b2Wс kq]ǃ=<M{dv&.٤;zυcǷV6q؍H U2" `}_)DΪtEksVaiр!\+$sI|~(nv'q*^}w+q@Y 0娗]uuO)^6 13~dD :mMyFPͽ3 [ujEp3{C~,Ϋ<,tcPo#"a蜧*A_LJyq׮9hK| okXB .%&~ YKMRiZ* b4`[3/븮հ`;(4aGk@PG`ŐqUbV7WjZ.w4f!Lj1&OϧB >hنGX 9XZ(&U;L|ПYd/j2*n$Q3Fa\t.X[K^fjD5ހr:Yd1T$oKr6&˪p-(/1H7CK8;8]Ӿ5SC#t5Z󲅹<炈_[HC Nqf*C3ZkK٨óՋ&_ePedA6L鞻CӻM~ _l1g0ˀM :DP7>V1c@=mSTw1DŌU ~*%n36e!Q.rԆuTʋpobzCOk\0n} w! ip Jr HNmRԮ+BvSKmnۡ.ip.O?Px߫<8A=Z6%=J}ɡZ~=VFhgȈ XկG cTf#Eot#\쥭r(cB5Ҥcx*!G`z7j2KYQv{[a[`Rn:=/0M⛾v[7?%ܹ31O O)Dy= tDpk/ٞIO<EzsO^&Uֆ=XODxHR[mNj(Fp(yDԖ1.o;szw! wRsA(?/4S/_$mXE)_,M[N$Zh71K)6ZɁ&nUJ yaX-w {ܰ3kFly!J89؈?n{>Er\ }[ |:zk}%O>̩ePps'M9HݽS](&FKDz>]`<H٪;(M)ְi `_#UMK@iJ_u\JKŭD5؏+`(Iv wr4ɜI+ڐE\ʅ[=ӾJ{l9@Σڷ[$d-RttpJ\NxAQ]1(97J&"572O0ly,#6I= ",hxWbJX;U#8` 4pG =hJ(6(9Ԯ^0bJH>ˡ86ǤG&m_ie)}(^Kɣ_?seOJlKTf0"<ĭQ!--f5+i)_~z!|N!j7|߂V-hA=q ?v$(8[G:Pd8薸C =4,1Y< ru2>. P4zhd dU2QMDۀ^.XdDa/iS'Jн98R\^/~jI3נfSy`vW|5y# b_Wpӱl+҅,^ևqʫ65jTO'CC ėROb\h3G3hZsQ}j"qrcP/̈kyeKing{XwMkA5ٵo#"#Y#WڐHz9Bh"WǴ^~K@Dk1#'R:Jُlr*ikHaNmFOlG%.o(,WBնVNr>82^bB^gq~jeA<ڐţZ& L'4g0-0ɉ]8Ӕ8`2Z%%:KPV fy#u+؋D!8?"7@(ؒ`3ECАczYxbW)FKI*u*h}qX +p)RW\ԪOØ<-A7$F!1e'X0gX|)3vy}xډ|U4!(܁PsY?1#$!5n7]RQGkJ/ )7Pxnz#~GV[> tfvx!!3 kC@-|D#o!vi$J(X0ɅʫWS #;߹+'eRh!JAi*T vJE7Mw%w60J~ #4Go^/+1X>I6DK_v`ڐ{IV*b3jXFs ~ }>4b!ԫޝӚ2 `Եj8b*~5آhՎyS_f'CG 낀4C6Tw}Vs<1)Eղv*GGHnz5? Zĝ3`ǵ6[ӾddrV $ɑuSSEq.r2 !x*߯d8|M mh;3#nŠlo=EK irDϥD7b$ >X(t mJB :_83A瓆F>!9t?؃{LR-~IjUuD\~I7&VAof8_q r5SҴ_;~2Sf)|zwWn),N܌M<켷-/4ϋr];kA[2]);}z 5"i[)TOɈJ5!Ch,FhFq .;̜vۇ[D[6b"E8fdk)1|:`ek ذ )~*3HVxsq|v13(F >UX" rN\1 ,(#4y&7գ1YEUDiPφc_W޾NSW| ,1[|R$7Qu_ D/b-Єnw< $\X=Pu$Sca+`r婿=;ziņ/KǸصD7e晋Z1?2A2FKs:a'ìx)zkh$:j7[f%<]_qHdM{8"fOhҬ}LȴV"ghϽIx:y'ص_#%?p&8B/dC\ ua}Z`Ex$G$]>!.m6|.{/P{F,Qz,&%C"X_}*XEvA9}X0)'Fk׉XT̖D[ôy5gUͧ9 /C(>|9eon~ssr5JQ:`Q rkDĘYP10a%}y,v~>'K XOG+Wbe"EQAףٰ>N{U/iEO'JKù{Ph9ŗV.sސ ;֚rNC;Trl fwm;cق@t"l/w3C|غ=Xa7L'IGۓ8Mn:^nQs#,?T k?l):>իf^t҂UeJ4:}3fo<AћTwNuW[B,=L?[h!L ԶZ)bT%е^;PtvP=PRH|'~xsU*4SN1y—ĻX4K>//?p45{*2CQ F[P) cʔ]6z㘅G ni~2P)U#CP*]Yϝ|Xw6'=FVAI$\mq+(9/r8W_8}Э6y* x}ϒkā?gBn.Tف/ߔ 5@#wGQs}2Ϲ[|5Jţ ajXFyGriA#Ud8lII1Q)h6#@OZv&F~2D`:UQ4 GV;n΍+e:ޱ3kX>_20'4e7n4D#g-c9Zhr2>wܡQGB)͓tBUhi#s_]L1Hn/14╡[X5aA5ʏ. 5mX."0?PoъъF P^)f,D8r  ]?il]cc+gB @-8n+q܆ iz4m[BGf _e .ړepJ'ASn*S#$>2yqNwbU]~!u*@*!^mZ!K !*S*":T|ڱm͂ A!@LQ0I2/ϫBVA,a@ fOCȭjBM㓔4l|VA<Ǩhn!nѮ ):Yee ~_i;dt me\?݆0 ,%lv|$I0[hϣf)~->z !'Ð&n`OO3Fad6g ,^L譱D ̏p1Xu6#>HJ1qRE09q5{*fXb TBYJR *oxb/Wցv.yf0T ƓLk>Sͫw>nkF&(U키̟h9,V+22Κ eƬ]W 7(ztj[tƪ/Dw0hz1(`1Oâ8gC핉mꨐ,T1q@^N)(.gbR*JZX6XܬN^\`SZ Oy%#cz>+ۻ4mZ e#Zr@k_FGΡb|9c5([ ky'[uĈUS#3E8{P e D6;&QCj ټ̓szK+ʼ ngC)GF$U^\ooUηlZHg@Ʃq PJH\Y6 uRSɯmJ}b~Ԫ+ۨK "*G75N 4,$ ǝu4fwEZ).mZjUU#&O`y4Te6N$uT&<Ԃش-x:$0aL5ZFP6pV@B(TnuF>HgԊk}枦E7E<0r-L<7MU+|G 0~$i!1,\s8$mX .2萚}{ d] ^*ٵ\msZIƈ LhO|̄"Nq@I|T^~,T}fC}#7g}Vӯ@63PA 4Trs/9\r|Xsw7QWkޏ&rJkìcvE)E/7@6{@9M&Q8ZTCtԧލ(O &5CM90 z7qf&d-ZaMXln|0Hv%~֙wdk/vYbic7h-tQ.%8 (q kcىʹ5Lz(LrIcnpjPܶZ ןle埳;w%wo#d&D 6 PG"*J+:Q?SU+[AqQKWb }X UƋGn\E-5bٱu[֭L]߼5c0]mQ4)ʉ"n.1}R>E#]K>}qy{1@lاk4f]|.6hnYI1H6?Uر,6J9ˆesv'=`x bݠGryG"Kk½~AP UWEVIz=*QFqI6F"~زZ2!O)-  只:St3-rK|Vx150a m&WjK&&^CFnҐN eM1mMlĢ+*=0;~_Ξhb"O7u΍{(?~vp zF}m4ږxH'BC>V\?JjE>ilW5@V]8{As$;n(0jh2=}m;o]w/-O12ۣ]C85@yvnP-tg.IP|JRݜMk3VsSqVg`7}8q?+x YrFJUU17dP?~Ho$'bd- xW _7q\F#g*Ŏ< uy" @`!TN S*>v8p~)@1wA*Y{=Ϭ1nv\ACcU :u}ڊ.vNJ*xHS6|T!G,0&n*wHhjҹ;S-Ȧ5kĩ,?ܰSSF l5p|f`zsESi4H\;_\Nπu)Jz \PB˵9vRu1og 1Y.}%(Ŝज"Vr|,T,EJ@vRD_YKe.øz뮤`4M}}Z,09“~N= 8MՕ6 ":˷0~~DVٷr4hWeS iM#sT.i1mDGV| ꠶f3" (}FE,na 2V$ ?2|kx8ȍ2/Pcꃿ{F:2 lhrxUmo٢3^C:76Z%iT?~G$OtbDslE~a" .Js=V(؆մ+)7#b_n;u]Τx?/T(sw[~%ST\\Ӧ,0cakC@ƕPoxy3!4A}/]v CBt^{`5)!j&&Z)U0ق ʹQr%tqM[ρоܖ8X.19IUpdVLn{E]~YᒘbiӵXF{kpPhնA)W𛙎#y,%>- PNdT0|{#>2ۓ'T疨줬ly2N"@ (ޯ_i[aF B&ZE:TfME+߳JIzN+<.PE:P"NLa 5֔65B:W}no\=obM"6`P;y<HOWS%;&'u?\@d2g+Og;ڊy&b =TVf[N( Nh$%RN^ك"xdmႮcns{Fޫ?ަT偓#;]rayR*lg櫄OH)xC/oRD̖tw`^ `Za#!' 9?}0v. jBFɈnשsc%=gJga3qXs]gbGrg(-RȞ|; anTة$UN7MR?~'#{|!RG3ͅsEU*Ae{Pkao1@::o$P8^gV-Ȏ!=}"Q!]? +j2oYɗpzkMGPO{uJWōFs ::XV#0)uG\ +`]B.:;Ѱ,C<$x:3tLDO$mX jC1ZW/N8$3-`=!/_SMo׿?[XEV+cI?G2iãLad`FHK%U{[<8v|ܑM7Kڒw[h!sܘ[qpt;.SkAiיTθI'U!-o?ҐbCYW2R Pѧmgb{ ֒[7 n)=L)5c%UƜ;$+c֓Wmgf2Xb|8"T xD<+}s˹"Ll-tSA߷ց;GW+#>A$6vDeV3{lb5NT$jܝ6ousQ^Ck3i<Jwx)q@K5 i-Z7 *Ob fJkRXoI r %I/hZ4t@)/P,oc&9%l42s?Ue0P }Ff >2V׼ $EC ?46ܒv[i '4><>h =)Br*2PSo3~ vBOzpI.|= _pݖ):Zcslݓ m[-ESA&wx];ê0 0J)}ҽTMm޻4YQX~ m#L%sYɾЌͺ2.ɛ$ fV.­ίW5,MWb&* NI*B][Pg8<\i0 J*ۃ/;ArKc#>t5*p(5#N|@g' X6K紛<@Mt=D YRNQs+xLB'4-7='f땚e߶Rܨo$JV{Fu|٥dhV Nlmo+F1%rrHEvv[ z(y\X=%RPRZiE[U!3X&`% rP_1DKI4sxhS-y+筪@0W+ex_i֏DY{f:Ļ?o6m.nZtSxR5mK7ՙ@\?*us<:ݧ{.2p(Ä;L@5?y]t|> ֵM{ N2#uA #wvb4h/^~&z#]@uoNqH՞*cSkj`tn@R^خ!M15񹁂ٸ U5SM/X3- cf <ݜ3V&!g׬VL&{Q0m :9 F?9*Gm!~PEދç9;`CL=8ogzyU$-GK-J2]TͫL>١3Dyg& ZbkBhԏ5j3aa񗛂rw+^>ydkQ%J-JlAώy\`'YlmVS2tQY̛֑5E?1||/b|1f&\Vc^TQ <lQx& ]؅2\髖C2 F 7/˜lZCK Š, cwJQc_^YH$U!d wozhķm;ׇpٷ:p_ۅ)<ԚN52dުz`5m D&"(w?]cF`\;۠@VHJ9(* JZ^ջL.,sQ[6Zy}'6#h,ٸü#ɶ0ݧ<DnHU \ͫ<*gR$⿻pO8VmV2 WHT! 秜ook:2 BCɍs;8^z)ĮSȃ; :?OG2x6eR ._i]g^ WN% Kahg0Oܭ>gds/q,/ǗS@[jV{ M:t!cnːᚔj0ōzbUF="6wƲ2\Κ) (.Dp ^=W~;Qňӧ@ef%E1.4K:vwH١aMY#>j.JSK@δP e*ez3uxǼ'GG,_)R{*dN \/$:PI`;6F: {^11ǥ+ilT~8J5*' ɑf@yjto,l_u`;Si.^f(Z]5-Kk 4&RjXYZn|3Nk@Zq2&[+վ(C9lJ7__  QKmh 3L*hY}HsN%\ސ.POWZE_c* RڔfE&H^a_譴#UJSjq(tbQ-Zo.Н#[ONKKEmYɿfuzoƔB+yrhZ e?G xx]3[j{lh&JE1S,hxҲhnG3ehרQQ&CxE787X# e:یځnfu)!Q ?Ԙ:f(7"0 ,sb{?p&Od 1)!9fjJq7@?:%A_8$3a"lxY@~' 0T/L3RxiHGt()de{BhRVpZul2W%X+v̜VGN"g_3":zJhmUYabXh؋ݠJk^hr#@t8\vXDݕp'tg# XV8EV Hr܏kxxMY<8\6 k= 4#gM̢z  ]5,e&f2O*1ϼzLH*w*p`ȍM/;sX02"A 9KY}[>`R\lYHXy"H.|n;DfP,&#}_Rwʠ{{a[i,rkBBX2 B/fۚlc `f/ elכee62̟rU/U=L#YV'=ϣjQ+ mJ*:갟F=]"r&{eIm쐓GÐ3cs1** 1P~=U:r $Is%ҕ w!V#/! jQj9U.QGF;$ǕR "Sfųc2;|"0 aGeŠ&!vYz"l7JfjDDdi|1J?9ݗAEJ+}yCw]DY] U\C9rOۇu?tEƕ=W0 &.7GV~_ sJ.0M U׼C'^5uwE% w7 |TS%oQ$dJC,IʁÐ[W6@fY嬲.+lL%QIĬSpEs˥m}aQ^$ϊdטrsZ(ܧLم߯ŀjus?%۠9Q.?>e`T;4BRov<`|NJṉz_#Py[6:P)$1Pt+ mgp }ДMU.5SYG99;ҥ,+;Gm{5| sllYНZw5>}2TT۪T$[p1^O,%rhR`fFȅV@1.?$G\z9n,{yҸ!+46'1D Wo&8W,jv~n[#O_}Ti)RVbe3Iكz!U60'O ).@rמkU Z[ny̠ffEms]Jt jXur%a-D/[wqUঃxO37R5/]o֫u]oAq )$]^ |KVCH~r(2T-2re.2QciR~iQ+u7["F^D($,RB\i}G m! 5%dM >r#1֖ S7Z1+c-J_ƜBh]Est7sdFzP 0 R!bblY#J)[nJ3,8|?F`{W1ǃBZ2K?!Xy ~sc*{mqkᲦk҉(Ő@(橦2'c31'%WaqwZ>>hfA);tq y!-0Za+D=j恦/x!.50D۪3Wrȷ o_pcx?7|6R_e0hBdhPsr?fVLj7PoEwςL݅zΘiHjYf֠/e" yM.XL!!Mĕ$K5i>1B}79sKu$X5Q_2$Ր;mbck9#XuL1*C>254 YgB `?زyI|yX$9 GU8QދlL,L\Ul'0ڍ-50 26y 3[Ԇgr\h 0+fI6xRKXv2D>pͩ uV7D*̧z D]S2Q}JɎ݈5@~R7Dmc'nFl–Žj'i^w󂘇qY8m,{]̮Awj6WdH$Ujd h;ŜfI4@4{ d;Gu/8 $<áͯP5r 3/`!"S[蛚I2MCFP"`<_$4Q'>Cz9NX&aLﺞ;(%p9 ;Ml$kÖmF(=>pl؇]`ё~:%SJ`W1^Nn1,e .5*?Ç24J' vC݇ aMIGJeI`%9 y1K ؆zf9HJ*a!FA3ytMTF`|] wӤͼ@9 eE(iCdmj}=iaZҦf]|^A>E-#%I?e~oR7j˃xNzI,٭RHQݷc=H76:;.-z~ V PM%~D<4*$봺:nM,*S筝j g6*9`8q> ^4UsE*痈ۚnddL>>>*$s|?3· ]' ~ }$ks)}xTd@.>3j]&,}}Kx.'8 ghBkS"&w p+pOs-* #MÚWxL{FY^ Óp9] vi^cGSth"T0K 4`8Tߟ.zu󔫢 >eB V&N(ו6 bhW#0kgibvT2X4\2R z 32o"3@p`-&| 5S|Z`h Ⱦ ߵY@xy;k~NVɛX<mgwCTaQ2v+n\qɣv=i :ILZBZ^X ?A?cX7ufTd2+R J򡎖Q1NA0Øaxk)NJX pw"5Ym! pd{6kE|7p1&+~4}D%4D9&%+iMUj/*T-vp@7)9{H/hdnHeg3*yڏZE8V~rC(A]ww d%."CzS_?HՌR3ˋ&/h1I`S.-%se#}p(7TW:B7jF; 'r3Ƹu#K1N8:]}OR!yC_Yhݶ~o\y/Ҕf߭Xʺgrw%}_Th;NeW>zѻ6.܉oOz=+4VI+JE>>oJjC-9#.poԟ!8Jʡ @`J-]7Ԅf[FY{V+%T^u.)uB2F8Ԍ4%Wwyʃ&Feu3d ڞɺK5Q\XiQ_6 )zR$uk Qu-xt6"OIF7ULck(t#s׍xˆ=M:..ܫ26nyR#~C+; G5{N(3=~D+L5jvB0񍪑6^g D 5~IbVɗFPH0&@4IgED%XUz$ %rB}+&wR (C]ϔaq?S5#@3̊&!l /ūm!t6% =PqoQ@bPv,B,xz֕ D ͥVJn & 7 L?+܁b yktJS%kʙ[6OV7|۷߄msǸD:f#߭kQ,*\,@F]'dz$ OD+zYDoreEZMG2oRN==n´=8䀘k5߮e FCXvr41GSjjeH)t4k5{ߙ{FFXgpEEY, EX€bթm`o6@\PqE|̫ykbQJUK-I E;s/B`TLUoڡ›G+l Dm]Bml=`:lסutF1ܤ1{MmvMXO~`. ь\b>(Fd޲4k*hn?l-1/Ns:R~?p[f@ 1M8fk6?y#B 9[ӧN/ JBz H_\ ⹟8;Mեr M-b&i}S$0A+x70NV}9碪Fw&w .d~=.C MTZc ξ3Eex(PP4&j0DOdF#As0vO9 Ϳ'7@D; y8'z_H=4d@/4,'# dcC\p6s~9|6S6yQ0MYHY6fRN}tE4i)w{F@4 D<]1/`."GÚ8>hm"r9}y\w YjU=i ui2 B.$MSuzBD8A8 7 }+ f ~T[;"sW^KYnbE@˂|?ИIY}ɮ(;$FH4͢ȔG nN͐#$FI!JMf E_^L݄$1&F P=t30o)C¸ 4N?k?*虚P~(5 @:C@$ڒmDw=f@q:J뀻|U$&;Pi!q^ӘȜD+0BGpYFF W19̣ĥd{πbWk 1bwG21Soʼߧº4h2B^$ԸHͣN$U dn//$+aw4>\_I8 -%nO̙hTfS0q-q\WMik0]쾣E3b/Px6< )Ey"wPڊlaʄSEYv<0u)xH#]D]~W-y+^I} "O>V{/M@ÜV>5'L۫8IYAn~*I`<z9u4&Q4d^Z;Y6G̠f16#,ᅨfwI)sE{)A0/2]8+lj\9= NH=<;b ƴ KOۘ볺Ђ8jc iL{)s, &lb-(pt)p #u;2F(9$1- Jx8祎=-/X(P.͟\\kJ0#Y^HaZŬQ!@de9{W܇;tT\i_v')m)|komx&GN ˶MEUTAWЧz]yf}>,}>$(O=E-c " 'v!}%V#SmYMSi] &C5ЈJ'T:z+j1617T6!:RmcA[:W8U_%Ô8$+N='T"a~" nCBid+3ڴLcEI{ l Za*ԅ0VLs8{  7SuvV_FY5+WxAsLc.뀃d\g2E]PFߤm|@;.[K /qsZl+Q!%uU3 %Nn4 G0btK9YJٓ{1F}/~;%f†PAI T,Pp`0Ly,jXNWG<Ǡ% G˨rݮ?⎀5ٝ܃մñ\DXF|Oű=2- IMUĬxEz⋬8=[FxCOu]Μ]Xzb@ ¾}{4_bcuflox R])GFՔv՜bbԿuzƖr|ګG5^8偶:*دiv!!/!N]ƬM}+IuF6C`&8,*X kv@WҖR!W &1 =8c)ԩP LL?3|qw\SϘZMR-ڱ&rR\t-q @2꠾8Pyy{ah\kW*JyU_,1T3d}+ cnhe5E҃_y]H?<<BF @2\^.JMy|:CDzA&xK)]]( |"8]%~p/cQ.iTqV1$,nt*οOh;6),{Rn w% azq"8Fj.a`ɘu*R{EYg$VM5$)INC7x&6!nd9-0 b蹆Â&otҗəRaҟ༶—w_S80jw(} ^W})=UD:I"bT\j DlgozQ 0#!\f&jdg4q'?o5|dP5<]%Ь$K+CMˁwjWV׿a&+–n!-?RȄk]Li "U+%oHg򙭚'cKړ)YkNji,eܟ/HqFr-8#v ,*].9 (YkDG7S<)TGP ,I!W/冊p'>Rt5Zn/@G~GTT6Ýhe9PU7g;c\% ;k Uv M'PmD5GZ%/^` hoo&ɑuu1W#&ԾwȝN%=7CU{0v"CiydKtM֘Igjz,pJ<6F=h?$B~R.$6Z[Oӂ##K304NO@R?`?\OGMmVhC=\i#Z7-խ歝̲]6BNc2)KY6ˣ4F6]CC|)D,]$J?MAQmT vI;I_)<^hp}-ɟm;QS~F>$_̴Z-xA g:h^ {vG[XuX;@%Ka=/uކOg@1Ď K<{kbx&Ri&V A G!jďf j|6Z#Jt41>:'ޟ"mb䰜Cɷ%|uJ^W:g!j_0xr2 SXvaJow nt]0с:t\7M}0hΧɦᅖn2 SvkU+d$%^Ų\V~Dt,}jh%rԒL6G-S2sGzܤS7:32:JmZv^J }+0i(`S*]\gDľ&WS b,fPw d sS @s>vEvS@%_ N"`PiE&1;HNVyڇjx'M*l{/A{1=pWEd\;_C8V+;qaM@[r?Xff$ "CJLu1hBJ7N8I03C IPn2 $8#6M!MpHQ1(bͱ cK]z̟[?wO2sȵ$x)orv(|M^ |O-y `'Pibt{txhL0R@H):Sl6k, %7ABK$|U){Yu(;E=WJ0LVǕB.pߠw马,Z%J8y7!X\ Ov$ ,o"K,VZ";0 3rr9Gr]zA>t2/; !h}W@[ /*3\,\]״EԺQG3GJb=^VX|?u;22"R8+M4͛k Q5SSqbs; 0jވmm[Om3~Q_D*Wp0M$1o׼O8Io8+,s[jejۿͦݤ@fB25T)e(lZgԣG%ŽYܽ-0U3UUwpOe%O& ȷ>$5 f3sa%#]QC7a h-ʽnomlBV~K2[v!x*5Y9~ ['J\퀽u7YH+)в,ԟ)ۙxczEzK-_OhԋlÂKS ;?7sO"mٛ- 6Jrn_,gބxGsI7y@ iѪ*瀒zk=-bCo5ǞD2*gLcEneYq'lTb|CYm{&AޤrǥӯgZͼ<=[rvF*?v9v]c+&~u:={){q]FiAp<CS)T}&mf&O*3Vl/K!JJ*>֛!]-i$Pa(l&uMMRRx'{ V υw؉?[oY`3 *tRd=<h! +&f "NYL+qZ9_ⵄ MGIwp5"R2dwJ3`ʈ x !`;kɍLM\UfM+LoYأGW}mqt7؄Kk`Q]^}Q9ֻ*K`aN< %<2^3gPrb uEs d:}HZT}J֫FM)V56P|h51 _pэv@.Tqɍxf^Kf=j Q"2볫37N:Uأ^%d]XvVkLyw6]a%L2gC)v#g\K`%NJ|k)l0;ac'+:f `çz ~iiQlf UJVHVtv5 *d*ld7廍iOϧ $UPoLDS2$+!63 #ő|J|0(%n>K7&IW@_6KLHǶ,bxKӺ} )s5[80  yPGhg"vlD~CÖ{.5ZLMH8BPƌR t|wd+kғg1I{㙗]L;ż UmOi"7g͌ Pxt\9ka^('TE DGq^۬ }4,Η1!{E23YQ-'T^;=zgZ6$ݜPlY$w4"ʧP cą[k2H^nѹ qIoDοBhEϊL݉.odFZ[ZP*]Ȉg^=Áz6Fp0 Ht hQ)Wf^!8׭wĵ>h>kx1m4LIO3Vx2ǹ%'/g%˒Qߥ:ܜ%QX~ ;zd&8."2r${ Cm !Jq.¬{RAN"֐߾:>Qd\41[OcҒt%[ەKD[ M̝.o&dž_)W~SX,ED[>4]S1caSq_<.Gb_h zLFO}PﺟWzx>nEVvfɚ a+iSC؍-PTJT螗5?" /0W% IcHf̓A봕!GP -_z$GZ ˿ҹiUvoPviFAe̵3:fJS6kT9UbSs>x0tbMV<@$3p&঻M7W;Y #'1$|i[\]"-*lذPAifGwYˬ>iWHr K`actB#[ G&U;^Z%+.&_#քqS%܁rnD Β<,: sgxs 6R0ЂjcUZո'\9G[?gjD'ni3ՍF#Tg!ZHxH$? oڨTt"r0`WYrٵ,!-jѵ)*nG%:LמyTRlVS,n+bx}]j$Z,݊QU,L9;/hpb2/="(<O}^fSUnw/lZd0*&"l_+~)t}Krf9zrJ*1XQBAC< SG+h6|eqs [rG>NǕp8 nOؽ?ZJ>1ب!;7~.'RA: h:N=.9 <{ !3}}% Vtg3FA0c,Q65<BRڲYcH+«4fVSI [, KQwC8kpц˯J,ݒW։ >hO#6 XgZy5SxAT}5/pDh])'{>38?`7$EބG}qLe O"8v]'tVʲAT rI>5o5s+R tHLѓ_j _` !?M9;UŜY|o̪i&Μl2[з~ tc'l#!Co*+zD hn_Um9(ݘ;Sy ^^㘎cO9'e*pD1Bʯ_ ?Yd=v' ؆t]--y7&iStՏYݸ ?A5jfimd$X̋*,0(~YH_ SL 1f9_BFy*fFC@dK?8&(:X3sxoU49X)/dX_g8'g Mv0P,~u|iLjvKh̘J qG$HMX4{,2V=S/_SyneZR-5},0ܾPKX;Q2䘽(  hp?(΁sxzBpա@cҞG> 7yFb?dz]O fSS_ la75m^GIv@hilӢqwOQuzaoWb*!ˍOAI4dM)+eJM֌k>tu}ˊAew]?hZiZ,c/Y,󬍷[c}^x|44>*s-qճAS%惙/UAfޗLp UšV^Ad[ aT7PHՏk!lYTB)UD3TERP3CZ&Ȣu'Wt>W(C~2IS' tyYX.X #rSC0s(҆ѬEoյiy s5SEK~--IPLղ"qXb`>Yc\^SPpnN*03E>"נYhf jvZߚi6w]](YU~rlLJhM?@ch`glYj_Հ"}۩B)2 )\ 2m5/kf% Em8U? 9x2]-GDIHr|"/#Z>])`6Zx7犎/d} [uw |vb@+9nS?kP]O(3K̊-K"$gT9׽PzPCp"T#ӛ^ƉQim*& ܉@fhӓ=4ޯ^a~AV({ғʸ<ՄFIťtX&aڭU,WOƃ_Aڨ8{DŽJ;Yiɤ7mv\1PܢQ҅(k őo*s?qRO2_}4rՎ#ո61ZWoC*Z{zw(K 2T\CӼ'ɈW :eFkp㟥$sV:m%nq^L $g93|w +]b8;rIC!n,M!eKvDޱ4,&|x&;hߒaO{Rd߭k.qN8mPxZ׍YZؽo>E!:vY2u[^1nh HJ|X0I''5$D.7yCd6fJf{ VsUQNwwԁA/JLh$0+}x25"]> }>MIWfWJ{5imc%uWa(YYW6G;G?gtF7 / Eqbcqp0-l\q;BnʉPy;<eo]՚/kÇ_L_^>kSF&?tooQRE]zk:Xib -t?q7}.|Rif?ilJ/zu9"w"x|'xB6#N@:Z);E"Ӱy\vhYr=!,:T˾V\NzI mcj.,ӱb9V+زf0}81 R4A ]{'~&0M!wݚ0(]q?)FLKրm-!~c> sNX|wV^m `g.A7zyu8"#H*MK] 6"͹1uwO@gƑz/*/H}oIVJ]7u |skɊ.d"z2A@RE} wm2]pj߾1$AH'MY$F>>;OS}vqgf'=dq{$c`c,(FImK'1Ϝpr2v®,Ld$C WOQH:  g2h։g>rH%߻o%zͪ*9^×/$SO6 Hq+dWӓHe(,R(}V'- 6wC+9GL0v_ !ϡآ&= 9MGV? QO4(KװQU%0`x}%3HpH/ [Pс/K&~TE-%.Agec#+An(;’$SAݡAfI35޽BT"y87( ax=1Fv*N1n0nxNڽ4<&>qP/~ dsM<^ԡX+Bح:F1KG6X=[|3|[?ż12-ۅ{qMӉplvN˝y'02BVb[/&=q;uj)⫶#9\ҨMP-Y6jR2C9]Cg c&ZDCuM6#ĈzXZe1,"~bo)9O*uj)p AT~zD | vX~]Qq`->bbcL&dWr=%0nGe[턩1/,b!t|ݦ|GrTruI{\mEqt0t+ 8%g;5[oU>'sxu&*_S?xCh[CjA, ɃfyA2Ӵ)# %h08 Ma;*fN—I}` x(D~k)sF#\WwC($ |g/O8&c6]z n7xj6IVoћGqyևdٔ3{oZ{]<)T0@ո)\|Tg_pJ* C Q>&מd<ե;e=ۅ0$^"2X p.$1&y'1% =薃Ԍ'C&VNq4? ?QT8NF=A$Ǝm +lv|-wY|0'^®٪/)&3seS㪅 n1 D=,y%57"72f 6ۈd6p?F.Yz [1r@3[`н"Ljg~bdFdHl8-!lc1 /9ot=LoׂxV \5M/IJ[+ë&Bx}HƭeDv]X WCS&w ӄfH_>eJ&܆ QkDSPw-F2uߞcl0F[Oj)M&v {O}v*TMAՠŬR2΂ø=}zp(@c2Z/Y$8?S }} Am <STv\/kH-YU :Ӵ~vQP4!r0? .X0ߗE#ns{2p$;ԗ֢bc_k n((HߵyDbp3pWaаx%vr*yJ*ݝh@(@ ꛽ ?Xpq]Mё"LTBB?S zdosm襔OsRڧg?8r` cIfQ$8UJ)R$a/V% l x.^&6쀋XZ՝zN4עPfo+Crx8Zz% %6&\$QD>t^.b8okjbߒD(҅l:9gK(pѾȠiv=ru%?Hv:#!G̃ MǩT{ fa}x` [>eHq/\Cʼn*L2(m;O;9Ѳvc~^IAˆ%CZG! P?`Y!-X|;C[ҸP(,C*?hcq=Gׄg֎涣~ GyOsJP JSTG ??0S~]vLY8S2̂GʌTO$p!`/E9Ȟ ?Uւ-8E1 CIќZAwOKwIj&Zvk+<.΍L . y^,O]sXWc8< ﯔGe/BQOw$= IiJA5|ϮH.{1iMy-OUTk\BQaf}'foRc${+g|M7P "ӝK;TB?ȷUŠG__Nl*|5K,bտco{?FT Jp+[L怡id݌C*luvH"׳јj2U1O^|`хRk#sGz<6fG@Q{4xs;:ggνRtbn\ K:hhr46ɪVBEt9)&c \uz&$5aMM5tܾm&;u[h.pYFO;9Uv*A+ 1?7[o|=S ,S F|&xWKk}=[B fQ#kXdO5_tUaUS#U1eyfYB~Kϭw馯պؙN!4`;3uO,h{׊FTcxNg-:e:ևg/Z }+>!̴0L}e3YDa郕Q*׏\[T1c~:tiUtz>+<>LuѾƐMZ珀::4hg>6Dml12Z!^S K ?(Z*CNzA؍(p:GXhVu"<  Co 8;껿^D'ܖTV>p)]ݡn^BQ~SZ׳8DHWʗ_."hڧ>0]&,#lK2V+#K=uqeyTG+,xc)70z?[cɑ: 39" ӾRKs9B0㘚Z]@l&i.FyL;\.MaL֭R Eܵ&onh|Jn1Zͦ Qw?z~eMT086ݖǒ5vh}8B?a,Dsr{7-Y`t)F9SPvĊ[7dQ;7M96"@ix~rj-{zF* %ϓT:nPoSjŅ˔^p[ aZ.A.Di:bLnư1ޫ0ApK|GEǕ#ǃ5+%gYZfebc9e5ede3d9d01bb4fa074c5d06b90375dc99c047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb16773acbe664dd70f246bab0a75e9266dc3b55b5542