SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  V#\ S]Collections:threads=2elapsed=385.913cpu=673.864gc=46.896factor=1.757zXZִF! 6u]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,~6"C j&M#JKD! 'WtS!Ryb Uڎf>4m@>ns;i3MWgOqYxpXu+/s&tLHFۂ 4y$6yL5P wX]?-٣ %ZX GX ^akɠPڻbY"F>cvԃK_sW'P{IH|~h6Ь_`8=`=thAԚsu@W,N%\vU@B!^tw(<ώ ob2'5e688nOZ# B[{v¥4E8yGI+=lwnx2bK)IP҆~x.-ewC&S X +&¢Gr18J01}E-t3'%%T E*5}M=KTv|+߳ ջ7Weƶ+VDR0*^`4G aqu?^{Hk(@p! W pPyu8m N;_&Æwg0d}"ϤG" p5@@G@߇s=o+s pс:01ƎxẂ76s q U-yaxLg~ :UB~f"eʢީb+'%3&z_~~<.%{j>kYr=+ 708G-~L3n߸) x_U Fdنۃ@ҼA}xL Xq(<[nz+Ŋ ` @Dg7ċ)̦#xV'#09K}5T+c,= *CiT!ؽ#M磕elRef;uTJ>wARpR|ci0]ًs"U|4|{I^ 44k A[BQ&3yNA~嫷rYJhݎ_D'*[m{ =,3m[G_̌tQTSL7[q}Fb.Lʄ5 @\BV1U*Yf%YtX3c-~O&f#vmB@ZDaw!~apQ ڤw)bGP.Q'1VPAs+6ܺF$8"j* =B؁H*'/>\DRT2'%<S%_~0=|ݻ"z;[zC$tw) S$ϼQ!8}m:k,,чBPx,F' >j!AqZYBDQ0=r568ѕFad3d-c B0+Α=\]JrQ_${')Xr5?=U/VD=ZvH`n>EB[k}V dzX &~#"7аV@mB f1()^K-H9c4T[*U[}f>fԍp/8sPne&›t)_EQ:ꢝ☭7LqIBi*ҸM3TUSq*Z6Q =@R< sK;Bt_NIjJLPhYNcIT+azn褥A%jsgK33bs/$`4ÿ1u-wb] շ 'S1M,/޻AbѻEg>RqJ`Kh_H'rJM`!\IQ,Y }U TM ;Ȏ? HPBѱQ"H>t #xR_I|nhb3a41[.x#?EsR"{guWz]$*-ʚ{bXCk]I¤u;Y}`L"o$XyH;] Q嫧+LYMJAOE+w ,*Bο#_#%+?hn:5b_1*d@6 fԳ*Af6$㡾T&)d=z9GQ S|>r5U%H^CRsw \]!TK gͨT_DC_'mPK(< aLLMe0*LfT/yCҐI#M3W.ݼ8N`laᒙ} )$NsƃMh|JZa%C6*|HtV38-KWۖ)A]ȲW:yfݟ]ˍFιs9&G3c<h@ k? NFol ^`$",H_qckYrK7f=cdI`9LYFLY,~Zc^ 2TS=T59x=F ?WV)ƅ?.h7 Rc|K#.oQO .MÜ<@6r;!2Bj3ous"kw5*\_NV1)g^%%QdV.̕ ƕ+e^i)i[ɼ:n4guɓohz0wj4p>ER_tL&m:*\t{~0{OHE 8wIwTYcg3n߀˂ɔtf7 @h<3.13z Z2F1ЀYX pSuU\pUɉ$! ,ky՟*0M C0bwo& d{&p+TO RO-Af睕5}"R 5L庾MҊJgeYQ65B3bl C%nA~1WcST0fU§Y7U$k0c03D|w$rrGlC#s;w'd=Xsgg WEҋl7@q 8;Jnlp;9Os rwQj-AuuQ7#D:I7rltc},+;?&>0@HVI #țK8 o-19߭d3;A;Dc? +D):^D8 g\+mY<>)e\ evoIבԙP إh_yzO?3=W"}Tk2q4/j:e(fzR%ظ{%0D bA#`DgGgX[Mlw:~;nsR=w,A> h%.ĎW^xiֿ,y շA%Dڼ`zKsg1Na14;uw&u 3߻^ZQ[EF7FXMIKzկQue y}8 o/>|$ 5,^ȫJ{VyI4֗m^T(@ț}z~[><8^cs 6FO-vȸ,H< _C⦦<1gEX!3Fd!X,BԜY"&ܢQ "aWe57g81Uv[h}xeO|P[v}SCW:$i0UsH!gnLJGL:W:9لv$ef0W!Oށ tٴ3a? śJ>#SN2?_%PR|܇FbGv5 Sl] FAy*p($G q lF3!ꍈ.vFN6 i02e< /QPv# &*z ׭aq_NbGw,QU2nghv jC]ėh&!nRoпJx5_.__-vkF`Xƌ3՚aDM}?3댸ӹЙi.ۄdP4iӽb$$m7sC[VIr>-Q#X[M 6 -cIwٲwn!o3_"j grF}BI Sؑvdz6 XFn3jVa^X:M![!!)Q_^L$ l;ۀ^3~N:Ax|lRl\ү/c 1x%#Pjbۛ( \."-,+`4˦"<~MxPR8ub~휃eqdbI_aXԳ/߫L+,Ngx1[Nj%B銦j  m Ҧ}MAQ 7fz ~+lw|.TR?T"/*6'.z?ݏ~VƪH}ibpݢbyK?>Xt޸vaIpdorKRNdahŻ ͋g @oWm_`F,EVs ء|JA4}Y&gIֆMNh!|lg~3֢i=Ggw#6,x7ݯK6ڤ8qB0)Un^OOyz|7!u:H΂WF'R{#jg]Uprt9 Dyj'O6)-|$ A~`']vZQ*;Zh &{`'Ȅa% X({3y#.˵񊮌LcN ,Z4@y!{ˁ  "A*zʦ8 c(Rs"͋Y;Fu_Ko=-jԑST_nꃩ>v D?s/LT=lL]bЂ#Bc}X蒃DuNcxn NR `4!Np#r ߚ#%K$-bSfNKb~nz030<2E(&'Ά6v@ Jʢ/A/Yf1@VdIU&n#JnbE"q1%Kⷶ{vhFp% 6`ۙx6D[ ۱ѐR'YoɮZ%] Xz^m0*yCfOl#3l >T c.b6I Niȑ|y!ϬzNl+OkZR*|7;}0$"#2Oκ9Z2B>0})Q U1C߈`BcڱUjdfPE]+Jm8JD[3^]prYBgGJ[c >i߆13rKK.`^fY2jPM-G},z5IU~#$c2kEw*>XЦӲ8cbG\`h=wr$IBC%[=TVa=\zCaT?x܅Hb|>NK5g8G+U≇hhN%o 7ނ˾W^pjQRq5rz :Мu32<.e4J2+?<NJtA6|H:CkI71F\Sͩ`6H}t^Ys9_'8 忁MCrm *DvJ 9d}0E͓yP1ڋ.e^C DU2z̿fugcjDrjҗ0vlIbHgN tJ n OPFu\Ԋ3z̒~cg"( GY tej1,qhٴ0xxCl ԼR^XQw=po)&lS^b(v|ŭs C nQX/Yk:x^X XOܪ˒ӵHփY*ZӖڿoVJsMyGU,|$E%^0w!j>,#~owªJ;Ga91bJd0V4oL1} i6>QӆDp;:v̘xl Q}Tos?$H^ji 7hY2J GqT*A PϹj'R0{fR6c+ XH([jjq7W%;FƇ[nlf!D:@gti}gkoZv%T\&$3 >Pv0?jgͥ4Hq_L]#%F&]+⯦oM|wD}ey*GWkTA}!sbF >kjާp9@8+tz.34?SCjZtQ 3%[vj/Lp[l6)r4#PE r9׷Vi4pB!W0M6G)ޝҺm A򶶶CW|A7dM~4FgUsz2 ysRKvaUq i,DI9:hL9-n]M8PbL`gHϒYH7]mzekf*hZL;D,IĘӺ{Di`"ح[}kr Iׄfqa1eKYз*Zk~IVS1S6Waz%1Z(CtJ ҒNϧkx^CCWN&o1t" ;>NaH dz9kDhOӶg$.p,f-V"` P|fakƙ3z v2G6ޤ]QOrmXox~UsS,N)$ul9\+]ɒ`!ݾY{?</4,m?kj(Uomh{gw*zP`R5\aTx)$ sŝa]g:}w|3Yr\0V)3 G +XeR5НZoBz5k*gw%(̆]ʨ= HSJDI#Sbn%#\`Maag[5*[1mp`Lm Īym7\!s.\8&ZQFSܦ[טuY*ئ")~qOqGi.pMxF\3']g~,9{3 wfeOau𑆬@^B1͓ޓޱxl)EyCIevGEMJxMv!l)-_9y\lƬ: ~qD<ɲJڀu j_p)Բ 9$2],YU;e kuntɓ<b]iF\ڻOrVDq;}#6J.q?*n5wt pmO 0]^6Jh*,Bz\-){9d#Jl]P\%Z#4S޵<.gO_6igP{_nutX``ū۔L DkT,QnQK1DЂ}/Rxwa;T{nEKH[xx_8D:X^o`AUؕTH9t;NUa>v-WZ8$K;JL.*]\L[=4:QhqYG'[H.w>;4]fALow|Zi HOҠHh mGV!hL ` Ztb5ym*UojnJ%.hJ-:25 (s~Tte׷8Fd\"*؜t֏K"e-sV';naE w '"NxHH%6Yb@rmb ^&k)66Ex,H ?>X65WC*}Z쌘Sؼ#i _q5TZ=a- KodJ}%jQR! eͭH0{^2I'T迴+}඄7_3X&hG[G@71 PY̊_q`@ްqU#9(`yE4Qg'"Xp29j9'tX) -l.v"}A) A(lYx Td!i㦌5T`\0`tVN;!wɱ/OK&g9J{t/ lu;wc;4$` fI;t%'Maz`&&5ӬVPmG=AHyg_G磻gxijqbp(BVN2Qk9{TO阱Sa)ϰmq-VmaYxw8XKjgMNڶYjl[@~p}EC~Lqhx4 jHxDUUpO~ Dn'w~zKmV.U!""͂ ,_7bT!_zSv`DϤ+>Wa/z@,uƯg`vNXkE =-{lpdgOОX7ۖV-p)mO бBz/ y"qێ ӖuI(pu.}9̓>E@LI`Cu2 #7.nK5lc$x,AMAdx<ɾr+E"'{])J8ffFg@:iCKhv,<>9 mў^=wNLG݊f h2M)ީ1Ll3\3o_.CˬRN݅ ~GǤl lRǚ!+jIeҢpnuC`!4x{v )bW՝rx6 Jػ] 2)o- y ~x]䎑eg L3{x`AB^Ŝ@ŊIh}Q&ߦ`vxܑԴrVNILꌡ&%"`5c,DvvGNE)T[#.kc\ tG4[*ub >* \={T5B;LӂMK ?"Z,s^4qG}ѻ5^^<Lc:6xp&-`pa7Ǥ G1u2EW0C_0ݿ/\riR2ü-O;NkmFA|:ES)@:(oN0;>^Gc,ݨ[;K/,V0$ⲛ8?wpYC>e.2Sx ö|&~fgsP 2=&eؿDsK5pO7lR Cfq:I#vjxr>=2mTo 0:K9^BX,vG[pݞ5щ=V@OO|@*C]B& \l-TqZgHn @Y3;)L2ׄ/1AesQзLы#Thѣt7ۄ7'CA]ο^'߅Rm4)*jg4'OCM [V:ROӘ,kq4Z#07~<dWeSq{ Y9'}32.gv:0 p[>5LT1Y;bU רqňvCw0im[U<%u@`CYE8uHΜ;H vTk;aQ`y6C񈍟rDҳl%7bʙ/b*o;U}% Hd,RnװD[/)*թz_=DϷ^ܒ@ bt86vgc.Z4' ~kvdU<[%JJ􎍑br8[%>O>M& M dq> H.c|q!Òŏ>/֌5<6l%i={n` \pUWusSZL.TOsD祝F_ bM{ks.,O;+90YT SQç,g_xG`nIpvf7&ލo@8ϧRhVEfLCL~Qhָ34+9Z)[ `JI]_T yL5]T\, ep䵆q}QqP* Mm|`$B@bC ¿/qsB v8f72TJy+Ssv| [F#!p稺_$:p2UTW4?"c"Ҷ unWYBqZ;._)0}0VZ oZ|%.!c 2-ƥ|Kd1\ GohyBh70*y=lvqit[@2) h:0"0ټz0 BN,kkV 6 86IN`{#' i`j*dQDkE =Hv`D%%i ԰+7`3$q%kˉ/Rdd8pSoWNRӶil`NL$ILYu 6yozu],M'.AS* O( |UPO,t`M ֪0h5 qu:yyĖ (5,>Z~U8w_ɬr) ]^zFg@&).=f^$T(F;_:^pi-l%R lN<0cwxp =h>~8>ќrKsB@jRP@e*r3q^U9:t)7{tRe@d,p8t¾hk ߸WML{0k&wwjvCJu/o|,# x$-e-5ҕ~"ptϬxKN.'y^tAɜyaBb#Gl9)$ƝL¾ikS(@xU"O.N-g]banOMA(sh*F/ֹDC)Fr.Ĝ8TFq2؝6:yY iXңfH1c`MK8I諎KoEV;@s}qR`D2!軿Ѕn[0Їu!]ZBx"1tl\.YDd`=?Qi?[ʷx$xvҘt<@E Eip{Cz$/bCʽރDRѩ9Qǰ$ Hd"ؿޫNLBP_-GU- T&pO'<,R Щl.=h+OaVp9 Ww<2> h-ճXXFieb>ڗèDT&ɾ/xAŗkwť#C̀Ʃl;eyl\R"&#Yꧯ.Ax,mTݹ&b@H=s|&1D P`.|:'A~2F' Y+g<R|;ܻI9\]@ssU/ v]so|=B9ROuui\kY "t1l/Mw,%#c&7}"7ʧ7C3g_ H74Zb/-*5ۣIhv,SϘanw)O-v`G^W[XeMaK!_ (ltE!G{Z@"*sf~=-,Hbv#_ikO`.AO+E wؙ(/"fvEqǩo0R Zn>ɞvbTcY rm u_+2v BNTmm!@)|@Z/GaRXӗ>sĴ3! -{p(/<v͐TƖ~F"?ҾP D'۩IFptxlG ~QU; ꩋe.Nє<,SXEVK69w[K늵:=Sh )vVlV=e 7ҞA2F ;؁bH![ [|n->\cH+Dl%VmHa 4)t7ԎR}%O=V4Uk^|A%$=of6k06w hi6d+}"Ge& _xM ba:"e׮_mZ"dQ /Bs8Qd~MYhF]Zz;ӊvojo<t+ƵNvV?m,&]I+u~lP@Mh'+7%@̓8?-/Pmg ydeFIoo(CK3e}ގHo$y2+V+EFQ<Y/8 E9sPt`s0#^V-9#J˞#zeϒ'I7 =qQ"xL((R-袂kMFtD_wkGIh ,1;fX\/ԌmЕZ,"GjH`P`um->).Y{.w}#v= q$C+JÕMk^nƗ8id#@o C2QQ'P"}Ej^ EʐRW^ZLU`Qhi w):̒dDž=դݍ5jZL{G.RWIvD-g94ҩ6+ibVlZ lG(-H$FO9-=tb@DC}0[8TvdǑ?uC־2n] ICF\ yVjq^J윐jj~۩Kvip/& mz *D@hz -)S/|W3pmf1Œklv&b$8F|}-ℙiFv˟g.VXPB8bكQ!VຟzEPGN- J${oJ-=)n XG| @;h^Խ*ϕWCۉ-h߶;F!)i<1H5vN>N? B Ql%&d!$ēAg>j Pdsᨻ{ (~&Y"c^j=[xHd]ZŇva: pVSğcy8EngALj D`1XA=GCOB n0Jbcg 4ŗG9(E ?%\#W.}5-A|Of c}f &KS+p:=g\ 8(iRm2=]M|;P3+ڌ&Ϥr-UZox d~TZ&OgKN]"]D:vڭG|Yɋ4$0;4 q ͸F5 sXUYsLEˏ65AߤLܤסn`=uN5:U~rr 6ӵԉ5F~my/'n>ekg'hl r;sb5`Ukn,Hx5}JP$1uA6BӥC| J5FD"FCN#Іhm;>x|[ {Lghr`_`75!qa]jOQzON-UK>trG<.c?]d iЇ<}5uapq+&^af| 씩W; M acrK6B!\1ykpt #F keeD0EQ.wHz[#(r4srq|}e|$Ei1#^TVguُj{Tj `abeUk dtԔS|H`%U ] Lزގ#b]kgND7L(2rd_o_ 5pbå1Y:_ϖR1x#!8gD5/nD?ٸ$0Hb>n|?[E!Q#’\$4&i?*c8D1b+L+K.Jε^@}k}~K@Fዮlij߷,P%/)UJ*q[laY\OA =K|qӥ@'6{7 ":_&@Se$&ܫ5rf}MхxoCɡ anȐ?/wctx y 2/6W2[5_EĄVܠ/UKL'Ƞ) %̏ HhIrBzżpx[ 0LA;R~Exg5&J]̈́?+5mv5O_p1?J\chpR66:LJ$Ԫ}g{BaZ8\'ǃfGs-.z~(=< *K|D"'9v@u*_`x8y!Avn1]ÌDk BN{ Fz#jLHёH˵A0n vڐ4>^:KنI5ud [pz}iT^Ej,^b݌$>&ģC ,hr95OV'7;ij6VDO-=9wz5Lh=CnA3dƹS+;*3qtށg)$bJA>v/]VS⬶-5;oqܧѰPOluh CڪE?a cbZ`*#}n8޳_Q 8X:fZsx4gJ/wM(Y }+mKX#*l pN䠉 2 $>SC[e l WZ=¨sȞAj[;#v_kd$|BA=> v!%ڀ Vy_vCɰexۋQ~מfҏ9!!ĺ\ 0QF(~E~YQӅ(P_:^@8(Ym[kUd_;pf/ _lR>8.zBf[A_Vq,mr <'RX.7 9;$\eD FT:F;ec=$?Ɍî(y%-IU{LtWUƖKGSfk-{[0波A6 Y`Oyl#/c_Ͱ'ChYH?ސ<.##99DQK>&DFxI`41sxq?X^yD?ŧ-{&o } 0c|$p:-!%2#J 'A-0\iQpٖ4G9KQ]aF}@t Bq]gah>>{LEonPLs ZXJN*~w{}aFrB EiT`WsJrJOwxSrHKEoîc iބ  -Ԝe LMIK2Z2NdEhM?{9q@.Mwoo=eȃyf!Y/c/# aa+ub{$ٲB.?n^Nc6UxMƯ X%TaO5cUBԹ6k$FWi=ڞbC4LkG'<_p}5|,"UВ@%܁Z@1VwcrZ(E<O d5#Q>"4ο=(Fs sR4\;u$.h/*-&&h(yd5 e_rB@a-Ԝ"LA;|BC/I}z@'崥9# ~I3ܔ1\e? 2:~D:(n}Tr$Wݚ%zvw-oqouTF2uI`|[ Yinj !8?DTܑyF[fLJ$A*s!' #S+TM[C׹oukmC/}he'N$, w~/9;BLo%OU=" OXNEi/bwRJY^57[*Jd~P3Kzaҟ$T9L T1h Zy?¡WIˆ"wRם ? 3u|n:!{ݫU0񚎲qO-k{؟()r3:)Zf"OFOr:?_j3_GjX-YMhmYv7 .3{\F2_o6sɰZUPkvFn#ŜX:zSe/U(fmhtPCľr8S4'DmJ5Tǔ&\z8>Sư'sB'XH7RC3q}ً6A.1B\>R6--Q﨤MVm 0@ < 螻H!Ȇ'+萂QkNh:[`LL"V cLBi{9Ж.C;0 y)S3N&'f k"B+ 7:PѤMXw=,=pU=Up(5Swk. 3J9; j9Kɐ~x, CwtX+:gg2{EI~}+ UC7[<ꄚF8|{LlZD8?S i >U AM!P{0%*vϮ>/nh{Wп ъևpJ=SwõiO%<kNm $/}ob6k;ctwDOVԪݻ+oKjI$#/y4EeF}p+!_;3m#٤HSV.yy[JdAheK^S)#_‡8z믯:8Փ kƺ moP,9oOT:L9i64%^ 'mj6uxvVnOL9k  ~yZHdf=MB6fL;nB޲_Π@ot+Ӡw}p*U i%5Y^QÕB"# p 6uSݕ7:;)(UTӳ%PhkubD 瑸eB")ܜ_wŸ&ad,5wwQOGzaCk׹P;e FQ2fGP ؈/jɏ"S ߸|r,vFEޝk )V·#ZܘfsOrԼ?ٜ9 w6r.$`־olYC.d)zݏ  Z9t-vvz @(`'%ݖаA@L2- wwHpg4]kol6I)e]}꿮%qY@eTM^^ct GRR6CifHg3O3A믐?F6Cu=!8۹sc.wGfr|4; }̴I&0t(c Yx|{t`B|$UG%.?;af"ZPcZ݄OLf/0v$\ []K~r~jX8 >ho(k#ϧ۸V{ w5ޭpXn dÿ;8 `jC- `cGFxOۛ )gP*Pq/1م2͂cwW9SNIocg#ls ~`$e&8U{uTJZ!\lc`\F|,^bN ųYX?I$70YwaT8QHTTj‘@3 m0GcvQϳUq>DtQ1*Xϣ|f&2^ '̪@5? hէWK0Gi2)BV^C\c[s t1q]XTj m+ƶ@ DW© o.t{yA ‡"işf=p43Jđ:4;Q=KL =-j䦊ݒ];E6oM=x8d,wU"1k>p6J\4/wOPF4Wzci'㛩q ].= 맶r0d֍rg]mkT/#?9h|bn_̼{/Rlב޽OS.H5N3e̶L-0cR" s̮uC.w4ܣ.3&Xw8X*o*J=r\yjZEޕDA"=*!|?.`W7x<S {u:ygV+zܕsڅ&x{iR0)XJL|rnW4D Sw搷a>+*-]蔥!k+}7_v͜F%ALA$O$0B Y5 ~)$Q ړO/5y`8-IuIG*.N#8w+x X H qvl6SzV Iů-NgO>Dp}5Qۖь'9?wJ~h جCtOGj/]Ʈ"lW/<6s;Ls:|!Ik85wxd~1$-IQ deѺ""G)_#J#bMT?F+R(I_L\AdI-Aq\鬫敚>E'+R1mK.m3] Ibr.U\hh $"@/GU&wHXT T@]΋qD&puJU5mrC&YS4jxm*63y%񥉭Pt2/;(LZg@rq-38&s>w=\Y&9(&X6orsZb;V` ,8˹ƴ {|1$\Ze; 29,Q+7Ҕg@UQOMA>#7쥴W:;CBn=xJ.eúWvl 'n!K5}xPJSv5>4q ȍ Q fٝ8V+̕uoD{`n?ׁ{ %ʄiYB'Mr 6ȄX+J5 'ugbM%oX%v'/CP)Kdnfp51 ~"q{G6`JE\Nw+9AW t"R W)ad\d'YI1#z,[; o0DĠ_nuN4чCuUIakNз~G Ц#BYL4?k n#|ߎ)8'{\6ۺrn$uMxǖAIZo*sܻhDanES)rZX z"K\fWS֥L[HǺ i] EX6t rpi r 3|ڒѝ@UN6(E)B2pa9Vl?taU/[+2EG[EbzGL*gn;9h ,iێ,tl2rԎG_K^7EtJh@=WPP Ҫ{R4N܎Fl=)I~!Pi}(`>sCH͋V`?~_kvj(*~BR`6ӑiƻ 5 !]:MC/{,-(Mܠh-OI"./m:6~QnFIx],ԓ8=f1lW$l3Jt)|O>{ܩ!Bd~}?jh\ۢ]rjnttb)|,j>R;^^ԶLnF[|.#inO4M}-20U,(-j},'Hx 3C&a]zi_t0Q27" Z!+;Q[Vo2(Ng("Yu-|֩-ډ'>e7@]YY;A}E?_bO\.>c)JlIX|$O'`XZaL`u)x3LwUE/=V570Rq):?Jw}J("1|)FAZz )pNsQE7N"(S%5DP .8VI[[FBؿg;?I#ʷ=Yq'WKNn[/}BVJʥTW3'%ŜY|:cU+r@= L Vg?"3?ϑjBWu*Hu0W4Ӟ'n=x]-'mT uӶ; ϳXۼh#|?,g6Pƕ3 GdL`irnђsEb=cuN5*v2cy%?z  y)1^35<}zuvu.?BLOL+ {ZsJ9:%-lG@+SeM< ~5ZE X0z}30] }PNUdz 0~e骲,{FoG84poT?Zun0П6re3̐*1SiVWۄK =Eˤbg&vM8k*d' X0J Rh#\lP23J2vc5Κqf W<_O+쀯d߿笚^?uo/jۧk1"1 Jm]ǫ0fu;e9n(59umgY$aq*.tD7rO,Fvw^Y@;+Qšg"9"3JmÆZ~zo62A<MCъNc]~)wXsde[{K׽zx,v,)9 6jxb"v-v(?@rZPiIPKӠ\^;ݷn o6ܽJ=/j 5-,*R [m7qw.#͌ZLx, h#91Ael\2S,CZ)LU#)6G@o*~)0\BwΝ'IՎqOBrtq"qYFI 7ctuWd[z7<bD޽zŸgEpd6~>~:M %;ep`hνc>7T R4YUӅzsQm ra#Uc;PLvZS,g iBT-+5tMr}c_N&MU#wOԻY.J<\*Xmt_S0!4KH]mB p IU]1{/?,e%18Oblb*tj0#~ldCA }i߸r/8T5$w\qvgjQ $7=^Qn$ɬ`j~|E!/Gcҽ;N /wW0iF,-Otgv=UK[$yꩩ5Y} !XWyܼwu`'12qJD%T&Xypfҙ Řͦ4pCXp/IxM_j7/_3~\Y rU\ W۷5OOY 豀2*c6\;-`b#RJ^u?BމUX= lWW &'W -^04" ~4B{A/d_[,eeT@=cRkub?l ״OdOFK  e` Y9-u䏲=HѴW{Skd z4B:+FA%.FoeЖSp:60U%3NIIK I$&O7Pu!!/~jۤsꋦɝ*LT WeR__D%֫B]:Y}|4AUZ#'_U ܔxH'A?0sl6h?_48-;˽o^n+9w#0T6Z6S[ثG qRʕ/&k+*w3gx%)-6W۠*-5SXn !Tɛo"4҄1]=j 'W+hjx}Z7\I;6ϒaځ➕1<;cY-K"[f7#WtN6IL)⑵U?;> Gܩ~:ۀF7oLj H*D? ZU0\K$W N~c N'hGVEQ֨eI6Q{+ݳOmnxFPYpLy$FŃ@]\ OܭM C`1]MB8Mj]ZN1~w؀wq[xʆvP^ &juOe$;fy Dy)WQqǰDn|HB\H: ŋ;R3oFY%'z&d =)f4Y`) }G{ XW ]ZH0dUF$lI\gLK+IItf,J0%* U7%4f+&] qkSЎI1W;5_/L11I9>@Cxi=p?V yp1exPt9(ɃɔM%OWvgǙrI"ЛNl9-?W=eXZj=1o4c5T7E4YI=Crzyo8qp/Ϸ!xHV -L3sډdeypsC"חr(qҘcǢeneS_x("އG`*OHf @mCiuSNrx VS6>JȞ+e@T]oq-.dI&?߹˕RW +PoܱG O+ L8X#^BG;al. 8`6^2}f'10k}%ey<C"PxmP꼄i!D #TC * dˏE>}PgZֹ=3јzp>ToHc*hMm|3)E/~a{+0Lr#"PccG"DGOVZ},m5~Gݕ2CG@sDm挾 Ci (;>\*#'a0xÛ?IsM_ z6; X-)|>e=<Awy+S6=4[zx'WCkA chO|GO2}#8;ueIELG+,H1L L+h 1{(ÅOpVw"g.ۧ+HA0;& H=EE;?d ݵ!hMa2u=P]i . A/߉x6 ;U_x<þBC~R6B/L`ns,ij{D(a3|܃׉M~TGbfeZm yB"faUYͫVY t%5nۚ(0աQK22g\K({4e*E?e͚H`5qD.wڔ)kif_gjA.:"qܱ];qۍ 7犎x 9iNTIw~)Mr?_h~AfT@ 됺;;: xՊ;+A4@>e0'\co|[1%\\^>yG"CqhW4K7~6\-_Td.OfhP=ҥS0ATKtD盌v>~W!XF j#l%JHZ̲Q^/_cP{?3 m/)a~:'-4-\kLͷFv7ihӛ<+R6^Pv~;bSUe jtptq(>q,bMן^Z/+lkU>\mA*ops~\p6#lgnK5hLtfQfi*.5H](0vQp$pKUɿ\5| pv)zFum0r+ĕee®5P8QM'13 (ǬxSu)KqVtJv{/pZ= ~h0#."inL:PkN39̢(_e?r(yQ8i\3.k&|h~.F}u5Zr} 2>U7&)*Nobi.vwib@2'?l4 {?"Fe)m|Sj1,;`ퟲKf;61 *h'TWEsn&q/ 8_A*D^FⱝQCMa#؀mU}|76(wTr\Tkݫi=#[$})|,U-QSŐ7O3>&Q4i;Vqe_]1~`0r~<t %6Q:YP;|d$Վ6VKi8$p Q|ceԽ]W@wY,U|H [>_&Ip Qԅg?HSB@l(7VeH‰ 7,A@ b;Wa\]Ky(9 lL5!t#3yQ? Nd$w;@cUe]HA2QynҎ)rUdCEHCVKQkY;η  hemK$>xIQ\jSV3`>~CJj?9 b;Y ^> #TM?B+<[.8f+3uҴ{hF9#K5o:PۡX&#̡$0oڡL+ +] b^XLi;}2 ،T?\8 ݃.Yi\kxumOy8W y̡@9p hfh{MJ>iT{̲ /|&Iv KkT$-߇ d0 b+ET5w˨8[y"ǵ):~i`bEUp:zM 3Xl3\/FgX-\ JIB;q(++ƟE>gūm p\5`%ʄn;q޻e]8`3}Rz؛?-aolG2!5e Zu`T`Z%DG~Z2<1Ri06i흼ɛ\W `DZh\Wћ'aMBDw#fP, ^ 8|Υ }z*KJhN&O%/oljge%_2ڰIUNQV#_LNpjRo_VCe+#Ǫ.8GqŻMb^ϰC,L%ou}e(`(%4l~=Y~~`|>9mcd5/jgWWK"NsOjR>îhԪ?,EY7 vG|Nu{d x -_?Q=8l;ՏK#` VahG7Jmn`+MTstt_T!t}S"iďDt/L[~\Fϔ͋_5?䷴;,`Iv}3_ZΓ2SҫnfsjŠ1LjUI7izݳaJ.~mϯ{'K֎IΟ6BZ*4,.Ī̭R~*L5x1UA`񖸡Y[+覬A xXhFXu]8،3l̬ *hw+B ba^.[L޳H% ٙ:r/1nXz q%>bPQ8o͇͘伥)SoD"|om,[wqfKiysY|-A!E=ttd2.r Y3wre;zO5_eB) iDP3@Ne]M&M`V:Iu:;S9?V~> KY`se@eYɤ4V]IIȕĖP h5GY̢QC۞-ЌԪ5դʃ]'8PN B!m3 Jm jŁ$ccyHbɈGRrUL*pbd)vS$:*0̏W_O\fN˔{I峰 }uH]QJN#q"),ǟ+  \Ǝ78NɯghZz|c|/;{C[ dp֚NЄbowy{q< &{V{̍#x+u~R!?J]u֖ 筮wc0vGcP@O){]ħ}۴1_h9IowTssRF]+v;o~bH|~a 4֫7CF =vJѭ"]tnz21\"D )4~'u.k_'ΒX7z Hg²UMʅ(:bjktCmwVYv褔Lp?ﳑi_2KG񙮾`_Eɲ9Q E4wmnLF$=Q`̭;( >Z[eFWNz TvErLPM&QP"_l<|OX!R)lVw>Azs W^w\ZwTFrDrC%S[c /5Wa 5|eJ<[ZH>p#g&uw_ ]B@GD]Bi@w$So0)bYX W H_%T9E.b9Tdw-[*R2d\+'[Ĭ$$@\/6#^cC]++bf*Oފ|m˥*z{ P1y[eR-ᢴ̊,w\u#"WWWIZ@;F?`>} DFJ\Ei%)Ȫz^Qj,gFyڿ2}VCmxf~Ygr"F~Ĵ*scWo`oe{]h<@ I!!h䰑!!hJw\yxMɅ,Qz5DC DZ /VRDz-`ղsStg`k퉤"Kvr iUZuXFR:gQoBHQ( jb8uYw' FodAٔ:zfRǰK]%qIfNfWg1Vm˦{+~hUR]db^ZDGEyEy!ʇ>26R xxVz+v#?*g$*\pGՉMaߴm/ʂ7:BfcZ )+U9#?8k& E/{om 6GPɌ)ء4qRJ:Ri%*b/1#O&|2桕+*do;y0!Y 'g82<$;<1eJᠸu= [\uWW y:Aև8;* һq>w?EBt|p }}B*% =8;}8gSoOr&}EQ!#f7n4!.<&1RC+ExjCʾAO|HK\2Jj.R)yv5GE4,}r!)=5XEc=}A>VNY@] 7ְ<+Ra >ށbN7 ޅn~q5o睔H/G-z$)Ź vg ޓۭ>в4D)%\{so6,O|={U&'Gn˚c j\Y^\KuV^:( #qӿ-dz۸8iȄpT9m?Β,OZwyϓDZ-WUŠP,:CH\^i岔,MDcR+_;^{~V^_~-;n^v s#q'} e1\ִau5H#Va3InqmC?F2OY55u9f<ht4 %A;(l퓻xʓ^v9.Dʵ_a`FW[mt@e4Py'Yhl+pDOUlDJ_hۆnv ΓXyO%ֽ4vœfߡό'RPߡN&`SO9X\X d}DU V_zv7C|#-F.D%g+dCrb)ND|pL,݀y!nFTIEXpgt |W/Z@:d5'8d7F5:gd p#x`*"T Ar-Y PKSlϹ+"ua"i~/TG"Jv` K^&gX_; rB&/hH!mts6' PWk_߽6=p@8rC BSbS:-uՈaEbUEN_\h_Q g)_vUʀ2'Եxd`#mؚE%JnWbG9 x$,D桷fEb谳:kg"H3oq^ZSUT-=r< ~݆ _;cşsn*6ãHf…&S0 R~XE;Mou*d"4HLPf/rxtx^pZ%G";U(Bb2ڪakׅL=kO^i>$t2iF*I 4qXry!iĉ9_J>I M5FydEi*Ki1E}2,2l1gB,ghKK&=DG$|AU1o(xc u!þoN z*_Eqi@\D&Z7Dl3=%vXAr耒Fd&D,:<$3Q۵brq}=,1#j ww1}Z[NǪU w(w"炪,/˧Lڭ'CI_tIL8B[+ X1!&z HKWz"M7tkgF߹6S_rQQIyNhi($:>ꎕ+351H%e4X00'ϹI 3+z*`M%0T}5O]w,4&wi nnvd^ i}Z~@7kDljt܃'mN^(»~KS$ʏ B{עy`]OXRzK(Vp sY@o?T1gٵ<~!zvOx`ClL34]M\vWԮp`!_TĘ^r{N(P O7\J-hoQ(=RY2JTz2eߡf^e8r7&yr6)xyȬbfsjLZ@٪O: <.`-/GYGA%f G.RH" ƙdpO P)) _ސ ǯdVȚCɉeHE}7j&|ItWQ/@a(91OxDi1:emLo.9@^LVo'yҳnQNv䵰14Fί5"E< b|B_Zύ3JkI6`iцAђcdJ/~ sQd ˠ]Ò\J˪-`As8dEC/6),J RQG8@ "EP~}MȜJ~7