SQLite format 3@ 8- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info o5oI W'7Ys'.,.nq9ĥ9o_x8}.r7,: *B Xّ*TUn(QFʹ, չh˘ͭ{#9#ӭq5Ej؏K &"zVȤۊ6&MCvdt^ jOn<.{%垣C]X_d9Xv&$ 4]-wb+bj}~ZtuDzKj`Jn(qomoiʞfȞD$ItA,Ctۯ#,_7j%Up5>V~WT7b\W0Gv?G͏#/8d=x; s0\vp7ұCm[fȝquKˊM˪c-GNw)U_v>~C Zr7p2l,X;M%qE9t=jK7M݁Uҝ $=\ Er;--yO)MgCiYQjc~I &SD8.6SAV KEI H]رߜ:8h"{9D=> Y~6 \ͤc []D rc^G"wh-xS& gnw}ykM}`VW2 +*;_u=L+6Xz ѳ+|-gi9nSK (y=BZI^RM*$&rB'a.Hu_ަY $K?,^~-(ƲtSY^"Q@!\7[41M*ebPb>ևwiZXm"z2y=k`B"e!juvQ3x G.Q)9x}]`W'fUfwt ɭG9<(=7R)Gb-mMvM3]]WQQvx"[xxBơ|,Q^*T&q3BeP2ګF*yt9'`W> ?Um?(d9_og a"%vZVq /GfD'-ʹC=P 2aށkP#;^)7#c*@/t !#b!Yٜo*[u^C%c߿ 0{ ÏHF699JN]J/ĕ/%8o!L[@RYpK$z)/`u>cv bñ\MQZ2˝kDpIE!dkRryQ'v)e7@՚HHeyţM哸1`ǨșY fc đ!P1#ջfu4Q%!ƞgX-1zڏdss.7g ґ>v#}\#o [58@S0+rtuT,ZɎGS{6Jwg AؽM/eh S3MR͙ox痊[љL' IuM &0;R4!nL2KWƜŽtƜ,ʼ֐Sik/}HjǼ  !&Շ!0&[ FR?ɒ"R-⮝;q&҅-/qucUuz?9r ucss|/om_ќ\7Kt3RRdDbeWu2W0VwTcdt~+؎`>馚+aA#?yo,RrA6*2i纙aH#jMMAKqDٜQ?ĵlT[&-`VQM>?B>+j2Zm>l9+pZ&U]I*~$ig1[PAi<\_RKFzJ Jԡſc_T›a\sk&լnpO!Af='гthYO -`iw[c9i+XUո9rѻB5LήfJ<ـ!W I'D  +n߱$9ZoNf88WR ._Tذ6=:"Z9? 6$%O,t(T w Gtz HZbT`5T 6`eřu2- {qsp$Oދweqi-{tK7FxZӼ>+NꕆXA0FةWVor{#-ӗκ\e8uˎNx9zKh_j,?&qGTd:jV3  1 giq LUOeV?>0C|пB{S?Z@G#L ء]|e3~~M}^^K+m*Lݰe ؇C\ Ւfc~V# *ET^@F6E>s\P ߂O,u߫ɔ˕Xq #žA[t3HݢIႤ'$2** M֫B,S"~(zڞ!zY1EIf:sW'rk12{ 8YL1yYc0 $*I D/)~)/\ٕAM AA֠$f&\ z@]*ILRK7GÉ<3y.(GͼX0phaVML3i44m(qzzn%5U<. ?c]ә2RuNQĆ5=22loo3$ $`E3qβaI؍X4~k*/fRk6&rM=l0: '&eR:XM;ϜՀC9н=KN{><]lx%8%k(4t]!iuP޿CnR֧o`br܈Muף= Ci[Q/g$2> 7^!'=]FW6ϧ1b6\h, S=R /|%fy=Ŷ!.7tۣaBcȠQ`3g1m;tX'4V VT/C(:Va6;azab,{} /ՆTz Ë%n⃂/f?eF0VTSiׁz2M=zq{?xaw#lvB3nؾzy z:4?iiһ3 c :N ߞ}5,o}b3w?LsSc:Lfxms4`BՋ %=^WY uKDcQ[^bɃCp 0 *7#D:11%kɧxG,Ql' FOںf! cK/V>,ܜLA5%f\V< r˃C r7 ,R^j[ <"=^߃YF΢Z{9\ B4!Q}jQ)q6tB"A"bg$+x@Q܄|`WZ6"=cH~ B409(2? mgyrUM|pN8h7vڥIǶ_ 1/ :W['~GKrz lmeqEmrin{n'@M@a'S5W]#X=eY@הX~vKO#?|DzOW;>5Z=cv.$Q/!ee=~~kE˩z -!?;LU"3-\uFK2N'ћ@`"9]_N, n9j<> \F ?YaYmUL$WcwKRL K/$(#d(j.Ҕ$l^ ff'{4yOQ`l#T",--ź_Cϊێr.P_6qW,:o+ ͆ '1KT~ȕ-u_ %0 z]i8@9e<*Rx1StL瘚q%C`D7.i_;뙯fS&j.A"; ﶲ4?Y'1›_ۍ iZ,ZF6dSa| :p D*CD`oi9F4ȗ0\)"OF;mOQ b4ׅU;yG VքOͱL--WA8Ezx$QuZ鹫>+B12)bPqqb诗:pq'N?З:ã΁aS+\oJ r⵹Pfx!#-ʂZJ;r D ød2 E] rpHrr{(Jpcj.ПH%9?A4n!<̉ 1O0.9Ɉ!pJ1.u,um]J [C6i:x@=C&1w| He'#[Ӂ%KSAaW+#h DݮRdzk-ZXzgCQ֠gVnemN_$#|1pgŮ`-N5s>̟k{Y3Q ACi 4A@uRN A@%Lҕ{)3|fԄ}-& V0QdUd^Jw9lB!ڀfrI@Kfs aE\8Gwcn &I$IS[!E)UO*^kUEU3A2Dී=83NfZmdFnGTDGzs\健iQU(XLp-眞,` Q;p gj|veRtV^G!UfiΞ=(߇ycMJrYaڐ::@M +QN-(`ðs^LH| \Vu'io!KvZrnU #raq)U? pJ .ݹ@H7OX瀻Rd5ꖃSB?xt؊G$ 駲$iL2Rg{dm,gCuC]T OprUf6ꁳS !EGȷ ٛe7=+RJNYgM39́s $TdV&mGIK O2u"|<6/50 ~ Wq$J(8*z[p1\\*#q#id!EF%yj֍m,TaD.PlmxP!? 5;3~\4>k_՞\mu:vTVD2Ez{XSoD&-l:AҸmZ*=H *\P/ {rz0s; oP,Я&30ڶ6q52YcZU9QH}r`:K뜆^+"6sKw8|VvӾ# £iy}:?@Sv!t R{ cxrvӕՂiAc*StaqK5:;_49~zY}bŠݖ_#%|˂7\U3--:Buk4[2_Qm^`ީգ#(|nO' եLvGY,:  1 abj=w_=AfdDzf h;FzSgZCL! @P46.Ik9}uw9d n-rN}/"ZfYcKPT0Y  _i35%Dn,AfoX72OZ@ =9q8GMx'0)Yn(_dM/<%6op;G QMX~?!.i[曯SSB X[vt=6}=9j(ROտ\éA}d=K01ic-lvjG S;7ƧK|k޲>'FLI/jxJxJ&Bn ħ K[')?G̎1$'tfnǀOr3;sV7,xVG3Dܺ+YNQ<{U[fY$Xњ"!hu|!%Ld]>r˵i(e8%p(_'M<@H.Aq>CrvvSݵրFfq7nGe¹7jEh#VCo$;Y |iD 溗`hZ2O/vՉƪ'O rr!iG(@a5JJւ?ѭ5@Y0EyޥݫoƇ]wɍs"{JCL;̛x- $gU{cWsm:$̐SU ِhBy{N'wbT (Tc^W>_|iFD+--Ҋ,lq?i4$G1PAS ', en:_O-ϒD"տ%pT,3X-a@ p)rc"{59"q7l daW@Wq\=Xr@r~LoC WJn}H|,".D񢮪T,|S0GWT8̨֦͊ Z0lM+^j>ooTE!?*v 5YlRa5жqDU?m33K#Y~>.o1btF.+N0BfWQǤ-gDv/\Us]r`[>v& hq(v[.|wGP"c^̑8vhY4Iۧҿv"8rpۻ0Fڍf,؎cy#ZS-``$9T(o"HXspƿ7 DQHz+n $kqέr{lh:`uϦUCYLmasσy<_L?RΧmH2b)4LR:g*yxߓ%O*YH`'BB四yǘMY])nDq#>ؘ&r@kJw;H#k`I`ٺ\{deS2WY(7Sy SC!v!'^X%{j>, Sw#17"o48*pUR(}܏P );AÚ2gV~xQw_W:lp_[hĊ4Ҁa6O6KB@$w!d]l"rS lmXǿo,;=8|Bur t>7`9Gb *l+]qC?Se⛏ʞ8:C)Wѝyu +-N" ݵΨ $ٲ񬽨W0Q1s5!_;@ zԷI5~ +`NArSAJ1@Ϝ{wj`T~L>QU(@erEm)8AeXăPmT'USD#iSGAFGp~~j.^uG }LV-Aķ=j";9qFKΚJlZAqk3i!1GϢB@5{n.EldP-ܓb# 8}#eCƟ|]W. HLa7 #*\jw9$q1Hdk ,VU>KmG+T1pvպJWtgfɉkA :zAӌa<^p655I7x4VPy5{9,f1ݪ00l vْӣ.X)j #wZJj踾TԹ D>)RZI9Uu20-lVRhT*:%D9,|7 'ѝ̚VvP&f<>H?G JFVĄwYK. xvql,;ij; U.fslg]56mj5݅ND5 2- lx0O'Mve jwWv@(1-Lx+F;sm!\r:nGuR|3G[wh¡a%{=]Li: 2#t-Lohտj}Z6 ywF=@7]{\V 'ETmT%Ii,X[͏6-kpf^ƘiAlnI9hQGVċ_SH*ZQZ(;FѩAGpZ^=} RhT}ۦYgaV~G瓭| t{|?ZX; q+砳`ϟ~D3I#=9#LE!*CR3\I" k3OIu@{X%Q)'ދ%9 ]CDATeBbʓ# M[C,J!6|Yc\Hs0c_%1~L8SMt˓E5Ka$-L4f_UV>#t<)Akc{Tvf-$IK>>Mm{es=`b,~~X/Eks@+] 6, `!z^2*,icް N+H2*Zk)eC/!◴>'B$xU)|G~:#qdWB.{#+n^$tBkU`'J`d%\{i7` NG&FK1fZ)> .=MI_N5 usU~*l>|2vW(YZ>qPрnKn*U1ZY rgߑU4~@6z!0eSP 5{>Y`S^3r^~ĥ`oa'Q%Sa% >ժcZ`\FD /'$:mRuHb &nܞߺ{#?e$J#ĀʚIO t\ ́0c 27oGͅ#(l p`j;Hig=1wޅǴFFT~fK؅M`+9;|J6)ij\, 2Afe&-+zeC lX1S(Zp,eiR3<8փc_*Q#qk1P1E-)MN7FeWI ~ ńY כj9b}sI./:m(Nib1$q_!nJ yW㿜`&2A"%f#G_`Q<6KZwLt W->UM,D_e Lg6'W&f KVlvqE5xC^6 0MmrɁtf^pE.^Q@NXu#aKΩW\db%lѶ^zALQj'aP~QdѾT?_l}%)SsvűCJAOӴJ֊+%@Akc*d(Ϣ!EP0 #(otLJI{ 6s瘜,d#{21P<*Iy**'nLNa"8y_.OG[ 3.Rl/Fxu85)C ?Nwj7%n'š|!fui ni qD3vKưKJzrZ ټh{{er)$ Tnraa(I#ro~1(XTqP;ˡغ&RkTUb)B\pH\MXnRFژFWBX0Z5Gߞ5=ĐPY('3lOfWX4IFoZm\1@D؇@BT|G$.7lq" Tg]#ƥSC9t_޿,e+doC۽vci{H3d3Ë /_#X%j$VHk14 OW8)ȡˍbX@#a qpU <~Aωgk>2 _] )S.a.;6]7EOOI~w/ CW*.&tnj oYV)%q?f$5sͳPme]xV0R? N/vM:|Un6GoD<Ǭ1UXϩPc/˯?rwx3;lJ{YJH1< gP!e;s(nw-vv `&{Tnu5aXo_i&VRE[)e*M9!.hxUc]9bD~N .!{ރ"9X5j.FwvږP +=o}l!QC.}/F\S$_/ھ|gS[?;WTK7&_9&&%"WxO$q4oاZ(fO4{B;dwx Yi"} d*_)5_K)N{$LHIB^ lxj g!jm14$գ32l+%"WRIY 83%Ә=DE޼ V򄤴"iЎàd+2˗V B6#KhcVEȻ㻓D{q0BX5Z%1_K#V ]tASytfkj]Jg^E2G 3Ueګ>KrQj .]XVMIhylX9 YlI@iYGro4]}Wk5_2%5H7r ^}t ѧdJBm 8Fw>‚h,S@J´gTLRZ}:E UVV"q܌:"U\>9d rGbn82&lN6 <m r=CwDYYe{6ZHӋ8{Z8n KsoIQ5RFbؖI2P.}Nn'TLOܽ'4$np_uEXɜ)Rh5*ZJhPD7A ޿ "VBTT@b,L d8?L ar&tNab¿*/eŊ>D -ujxhY"l/_0(zČulV.7MW174m뭑\6]`qW5o=B=֪81ǰs~Y2#ok㚛9@^VT9zi뽭S%Fa׺?@A_kxzL0 y4^Jjex( #E ߭j9 IJkJB*YP6҂#|ΉzPesZkxsX5YoAaM tQRCg+= M~g-X/c\ a2 8<4Mym~G $7q,'Im|~Wrb>;+%B,P/A1"HTUژv勞q@\"t3Jze%38CK}Q!@랓P3a_J86?9no_0~M_VcM:̥=3[W:N)rqAKxM!l-'`Mތx5_ m mb),' v,WQjVg\֋ǍZe8UG7+HbwenGY{dwHa 2 7뺎xLXdmfBHvM:=uz{s9p2ܼm~to*‚:fXD`f?wj^fDH6>Kq [f: bm0’b]>AȂQev`X:[@bu}2-,(rMGOą+C)7_1LF)k݂?D{J/8>A1^bE?Hה_f9}cN[*&B5M:5l;w9+E {˚ʄ]CuRo=/9ٰ|Bh@t^}E_ۗ}ɍK)N];vl.?-D#O͊aZoYeʑ~IPPb2r9A vy﬷cǹƌz"$l@a  ~)!5a8*e{now" x)O*I}æAM@郣a$0ߗ|Ӥ Nm]Fja+W3|g;WO 0 a>aCЗU@'/^&gMFEC,ܡsKТ̤GzT l$VtIM?-xRġ7CzAbRxZCfϊ9RS@˪ԈŖڒK'f{w~T:Agۣ-6AwL?ZM+# Z4s5tci !%M&]Oc5[3x:Fs$~T “%T b4/9fX΂GU̩  d4}{a h+SfUhaUg8UČԼZi ez)dA*jNːHS3ӿo96 YCi_m݉*kgxVF%ѐ$T{@&ew_XL4.ZG2JDVTb>gG/I\W9[w5CQ, F~M2<>]h&y*Ra8FבI卙SaP:<(3|!s"4ZYOrŇ*1] :ΘsodىG0_ôZU7 V^[&Ig?sTJխY>D˟%JtʒqCX/GU\:ffW&£TcCAo##(o$mÉ(y;mXkiPP;9["ݵr}*]C &i'p%/~&H1~=)KwrX,6 (2bG;͒W_4k; Kpݰq9W _sov ZֵE[;p1m`$h'a.)BY^W2czKV(a4"1A2*9!:+*i,Hye3#< 9v\~cP5R _U"./aQ\;g'ϕ%|i'kP`:,ߓePY*MeKøgo빴3 koL~n=G0Ro 0Q謔e9ɏH/m755QiAj[d.P峓%LgD2(Injrdk[p˂C?cvDynY$Su@E;Ϧz|{vĩ@+`/7 Gnj) "~|frf#19rH#(퓒EV^cKW¼ӓHץc VN N$ ބVfxFնL$&@X M+\>1}h\ąޣcHŴ*M9P lF6DL]%.2ڜؼ$ڪM'He؜,!rf"98~*\5] q`S/J ~cT-I"yX]U+J0s샯xDB&R@ʛ_с~l-jZCZC!zjf#{òӔ`J aYa9)M9oydp|LpҼo٠Ud}Di"dG[/xb.ۊ?"2el>?_ &F<@]Z<.1X7@Y[vvɓ7G!K.= aKH㽺$aeklyӘ~^)`f_J $$ }GJ ~W%:4D45'[>gn0M+~f2& 6#o>٦Rk[Iba?[A}i_`V6Ƹ]D~NќB2+Aarw5l`|2rq/YMo6OXhTQbsJK|kԭOH^h膶!} &*4.dRv.L{6XkgXGhMxI)XI5#9p/64*AWcU@9湫I(&G3 Q8*]I5-"wV\8L5K"Qjh33ϣ!ۼkQvC$&QR?i ni&F+q~+3-, 59Kb=9i'}H7a>w3Q]X"$srյS]ychL,FPM5j0ѿl}N:t˃q3|1ن2x0Նa &k0z\*$[ϺsgfM랔/qsk!=s{OEcd 1z! :Q9I8LlfkZ"aLXӉRf:5nuKU'>–#w]Wg RC!2-EQh 6kC#?. #V- V ڝidD9y.k!*}4/np2w! \,yBu+X^?LFFFg9% ƭ%xE8{.@JWQ[a gȍYBrm{TQJ_ rRLqT \c 6ʘ$mcTW'˒ָ~P#P9ˊɈInd!V&La^a&03/AR# f>ϕևWgN,5=F󿕀:.vohINgTE|>@(snyCL%9Tl! d>O+Q/`'o#tyT/P"INuQy$)k};TVvRq= Y+HY6"Jki3 EF(؏k}M-VOv"׃Jx}_=v X4ujSBš<* -Ӡc%w$ro:En= W#,o"8INqT()է(jb\9?$ ߙE=W ǩpJͽ" oƲoKe3ŀ4zG }pzt(*j`.p#]bdp|)4 ރ|W9)-K\::noXOеqvi;.QGZ&m=l)IZQ+Ny/T!5˘TUƯaO?IM@!LXd9x,R:6x5i2x m2'PG 0?QRN ~nӶH19Ϟo`?9|ɕ8Yt%rZ``(ַx)l7=g?Nٺs6)HvLb.iN`TfV8 `vWXɍH-q_(qA@IB_[ !SGbQ·~O*,۸OL3?IA3(ЙfXTHA$Зgza2Cc=mC^efgAz,KJi0 ;pDs։iW48fw&_d0Oceνfhx8 4{Op]NBCiKD])wt!{-".m*Rg?0&WǤt8ȃSf29IHН]]fͩ=Woغ,d<~ ˭21C=9oxGAcݮ=?G7jtTLlp+(IG SMl*!TBD1.ц:1;Yc08'\H}8LX,$Ov<<(" *E??0)`#!Hy9i!>@ӽֺyV(o5db& % \ nNJ4@Ok;WAiBn-=Gҋ?DJ~nH86_J/uNA֓ p?="h ',Cx6 d%Lbx$ջ׊MH"-xzLf*>ᅕ"z.,(mPdkprr%Of4{)]πh3 ?P['&ʙ,vuLg!{Iq,@iGgÖ\>mg-΃t%d 9-.jTȷk6W1ψ~&?kL x*X >)] G> ;4gv7᝕A-{2CdroG?wFuZ;1Ljh(y3$z^"M7(UvA>0\K>(K'7Frx9$]@6XN -Hjz&Җn!:ך-Xvf{,O|\.G+2Z]a@pż^ѡӐ䄮Pa@Eu9;m(z6؏XQ ze|C=4WYu(H(!f\\d#0xwO3. ,p<#e-V50Y#a]V&2Ĉ3jpP@|(f @"^i!˝klHúSDWMb䶕ںh~cMcA@_HFu~a{iӇ-E!R!DŔsHvg 닯\N^5F_Rk+PFOr156 -K/c ,| UB}ckL =u;vN95 fLpOYQ~wn !`Li>n 5#5p[O(krx("/G]M\~2b*d+!#9ϙ> J&&"-:vS,_ OÆWHTŐ-LûhHɔ&%Ks\Yxĝ \ûfQHG\6owB[KSZ%mBm1#J  1[X3 3I#a>YX/Ię_Rr u5f c fbE3?z h>AQˋP%pK6_"oes}Xٚ T7BHTzB8kTH}o%~_ HѺ@c\xJ ,0j* -ͷ!]7.ݡܝҦh@Q2-.FΫ"#g R,#h 1מyꚴS=sy"z}$32K/@s1 㸔 (ޏO'%Z{߭G;~/J/;G:S !;L酫IV EOadJ2@jt $^v&`m?Sj씦V᠀)Ww;EH=sCeY^iWyk@McHIH9+֢(;)Nhqbv\[ˈȶQjx@ubY=F9Ѥ 1F-yUt<8LM9>7 r fEx8fCM;se]>B0$QN[u"ej  C`[G.tJA1\ Z9>}Va4 +CGt T|- B5 c jeIY\3jq|$7l['ulIŻDjM}Pb6FG ARݢ9[ l2+a2r3 , /î(ULvq2w1em5B diX'xS%.۞-7 x@y ogSr1IېtH^W8i 'y%[(]&n6|~F)DF6'd$~O*`0fn,_r%ԕ7G&W(ǩ,8)c"해/n74X#b%VAe? ±HTΆGzrc,_&&%%5Tr~%ʩL@X2eYV-J+<֌£)z҄~z4%䘆!dq,4H-M8 '\)MS>NYSl<Ц; ֩ҡՎt3w`C1Nи cB%=0ǴGH3K|^ؿJm` t#U1P+,MUy0'A"DaՑRtR[իbJ;b~j@l8-Z_[% +Yxni7A0o|N4I4Xؘ9 ۔gxhRa F ^صʻj%S{Xjku\neDHifD^^'Y#03]II3@Ga/(OjdZwf ՝JQmq rbm;?zUgK ہʻW/tGg4J:Z HTAK质e\C|4,{y󞻨JLX.o! kv@\6!qOLK}o4!q7}PuSGvOSR=[,0PnRb+#|R t~J5A@5sʂ%z"g@PM.H-oouK6Ah#c=cQ& @bjn>ͫh6K4/ۧʬAQp]5J L"l>`z9 ̬<81 Ԭ +0N-Ǹ`T[oFbn4#Mbtł3[܌UQZ8Dh"=17Ri+)F6J"2qCks-=|sP~ʈik;5x_q@HI. ]Ze dJ^d< "dĔHg )O ^Rt_JUQL~%Z~@"q,qqw 1N6. > Tn}gV:Vۈ']`ߣ=M#4$o{tN:ahA{_}|o}g*C0om݁6RtxpO z{j(13zmu/p΋ Bʮ f9\˒3~KqOT3dG93c2TMeZ;LT+[h@v/M,'?vpjh.ˬlҝt0aN~cCi]@:v6&:b{( gɤn(;7~La؈J`۔XIf)4 IK755=}4nUc'J|lԸjd3H ;0(MatZ{yV1Z^ >maa|q#@},=K:@N?uvsJtįKb@%V$dJjE{zJVnƽV~]Hk?4wͶL 0Y4\ۖCь ƴz}pwSE)LLݓKӞ%/c~g~%|&^hWdJy# 5,wN ENx5uYygDfO (^jJf1wZHI֊I8$}\nN:uc"z.Cvnӫ䔁#k5ʷ)ZZF3Nz 3;נ%bVP%ݘw9S/\SR5V~0omJ(g0.DqVcBulm'Dt#~ %ĒqSd^NٻĨLK ev7-<#x ,C02(ޥ$#WavF:DAi?r$2ŝ~96ܹ  /?3"yzuѭ鰿 `=*S2㿘7acA| j[[YBxnӛv;sލsYk %aye1c 9c3QNy;gYZ7zXZִF! zU]ŗXi%aN{] e.1I W145LU:^\m 8B7̢ ]W.WBÅh|dK/$|Si3A) \F{}-QZl"`]A$mz/Ӎ#{y_]onkz ;VJ@yVw6+#QFn[x4# A4L ׶PYsQ(gʿy٪Pv]#11>Rp0)!q2UPj02b/KwXEݕ(WS]/3|3frK) X|=UW9trx>~ya7PSG(<8^eDZG q_B UZU M/U^V)6OJP4z̤k*;H3(lQUF$@#˾vńPK?$݋@hm=8Rqۼ`& [`R݋4l-L\x$-]eb Fvt,fBTݳ$*LA=#V"e ^vZk,G0$1nzޔ%+\WTG;h{!S4i>G{WY%G-Qw-&:xS3 McB3rk(EhAS-1D~vv?-+3U9Y0_i E "/̤ǮfGOY.Ŋ.9ZG  oP.u71vyg:]yxӑ_ ZI4U{]P#ub[]0da \_sd9#."c{a"@K^q+ygq #%f 5M >%XWa;0'|fݎ"^/~2kc`h>B+5ߨ.R]~as rgq Ja ``<גf}ٳ&j³ Ʉa%B(࿧|fiOcL`m3I0Mq~J_)TM]Ϯ*mZ,хl&]߅63;e\ŕr+y= ?VY9g?YMGmV10 U?YrƘ ?;9O]GEsz3pE2վU[gBc30C8[fak/[8+'C|#<39L"e i+[^I-ܾ$ߓ`oCQ5FpުGgɧ QbhR@}Lv+#B&3dK/ xø\T+qckK+^o^:KruL3&HGYH.W~0WYz6\u͘}%g1ۘlZ"54>y4]5"qGr"4k6KUN['Af/,82Eu s_ .m&Q:}x7 %9U.7ʏ *Q ̶x>PIeP' up_MIo)&T% MXkMj# Dk:`!b6cHk|VZA7~ϣ2J5%~G@}yC0cxℬ/]m[7 #k(?@蝛Rv1|޲L9fXWgeO&T*'"%iˏWOebLC )e#dm&i`M_@siWɻ=mKToT^_Cz%/Fc }|hZӃ5~Q=9$5P?:/SydQ;cCNS^Rv,i(ȩy?B[\mnR$1+^+OqZn(_C 4Q>0ʇQ*_' 0r vQs0ٶ)A*Zpo{*Pk\3Hw/k fm`OU%/w{nړ!㚗/ޚvb"ŨF(po'n䋩yؿuu c6Qmؚrv7_Y5!W` e_`L}:8aE0[Lۉ>"϶9wFdI/m:I=R4)=oIܦ&ϟBN M,CQ1a 2bubNyܐxCN\UֺN9:lptĝsw$i9b@TMJ&i,ҐS-SU`GSoS[M/AwF,XIŗюlH tnR; EA0zH l>8K*|N Z d=ߎ ӌGN|:]zJxX"#LŖ0 *67h2*Wtzz `.sHUƎ"gzCs @@7p{}h\P1I-N):yŊU2rlq ֌Ӏ LL Xlc >v ܥW [p/4ڶAS!U} Zm)*Iw!˅uڒ̈́wG?Av}Ci:=$lԄJXF V-nI)9ǰ~ҖQ5U{G ğ7OhZ_xEP ]ϤspLQ#K -Pœ'9y.9hۃn$ybf˦S1OirG*BYA0{dt@(,W,0Xu(d= 胧FKZ.+yC MX cG(Gu vܦ[#J%%{A e}2 bk\5PVʄ --)%bG^gƼ5^c˦DV]>8_Ě5Qǝ>5 uB"Gz88St xՖW.-;+ A5~p6"L̎ Kbqsgc RN^] ] tf"bGA=^pSY5lG_if|m$Q>rE8ʰ-;Wsa8S2LcJc>̹&z3b)Hܯ7ylrN4B\lJêWǚ">{+&ŪDKkX|dN(2Jbf6D.;ȋ'#lakAO]?AS2d!ph8aJL0չ||KdM-LV:w9h/{rZ1m0ښơp)Cpen;†C9z\RrggÙ7IЧ;$m߃F,/vJtl0v &Z*Ab@:];Hz$<Hf P㖝dˠ(m毕ً-)pVMaujDI),éq/n& mu,|u%ȑ⺳|bཔ:^ukjj~_YʾFRDk*t1 邭)fi2MD<ز%$B!hw+-D;)*1I|r4Ŕls%SxB6_\&5.dj& c~3%|oMcO`G>>c|qˡ^zTu[HfPx+dΦj'nc`zgl,{h4zSymԢJ@7%ѩpBȷUŮ)^h,yo,ljp޳vSM1Zh=Y,e!yG}f}fc b8-&z^׶po-_@wdmI)w8{ںG8-ee-) $(Z^.eƬˮ>Y`Yh@}qE`̢o UjjG^ubA4<6.'㉂.Kua ruu.fO8iwV8;wQ̶˫"|hlS 'PٲJ![4Vb?A*"Al9\̿J4n↏f~IFg?|ee:HG+֚&s~z =4#עiu,@'iVj>_ )2gȢWE̔K|hi]&20%{d]dA2]`p5/p\ό;{q|:;91'Ev9@Ѣ´nk{̗bss_uG`tGa/ZǒY0}iIۏC@RF'Wba5柼UD}]&uUy`'&f)Wߎm~ȵ)LϊKI5'܆غ 1J+E+w}sm4|5&L1rMf< LjOVyeH6tOFQ !JM;EX=MΧy[>L j[*xأSnwglOcXlМl! ĞG8i"h/q%!T<% C ̚BL ώHu49x&vfgBM[6*d)W5iU@6 :"ܥcXp7cMmlcpt:Y l=YRT;4LlOSV4ŋmS*7wynE>qrinq˲s:dCha﨓 W>7 փ7c43"96VUXzw:Ro!Oreŕr B,g+UCR 8=HoҔQ LP^μRu#2PK0 Ť/JDBĎ^hTm~^H7sKHa]ZH+2RzԵ8T_&Ra$H}%$>J;vod㰥i}{4i6wX0IuGȼhS T}NGL YZ>VC;SŻ^ mMƟ RX2BH1 j-DѠv{Yyn5) I$lMv3] 8`+Q WX8uЎNNHyNsDDd 02ϛUd#Z}r,+P7!6L Cוg8akz#[}_BVz쉶+Z0%]s&)0*2|!Xl_NJ2ZJ#d K!MKļ=Gy ÀcDZ不ZSaʜBPys7އ}AF^qք苆%ֲqnJ.4|/E)p"9J=TI̘g߃Y1xh[#jiz<}4~.m#Bނܼ'cWB;MjG,8UU+ob[d~t5`$_ 'tuUq wĦa~VB l~`_7Y {I_EY ̄5T[ ]iW"Ik)jA4'n~QN!JҪ lɜ\aBOUm ̜NfX?ԅmqrJ8ʳ~5:Py;MMž6|T3/6@/ȶU^:WmOKia1w[ٱ$Bv)RPyY{h;ۛX.!pL&%vlt) Ccw&HvͿnLwG޵"wHtyvk/4GcC2 cXx g=cZ&#%@YJjHDYDM.dY?oΒ)jr X~GĠ1ٜJNv >jOt\sF1kLj4s*%,+bNB:)I?(ٚ-㼊(^uwX= rkٹj^hJ=]H#kNQcƀ*PWuB&k/zr>tQ}`8zq[xD RnX/,4D"@ 'Zve#@nnsAf1݊F6{aLe$iG&${Sgx&=4M8\?Rۀ[pMD;H5-#$z.\?/ ¬n#@8}M ;: 7#A [^Mfg.l<} Oe-z\ J{]soh%^zC<ҟtet[seI$ĂxIJ;m_]j0\ED#H|!/|X $G_l]^?1SD:C{Xɕq#0Cs0{ AG.Ei3o7پ t]_f(L;-Ԧ^Go_o2GC?K*K;+-'xLMPȇ @ٚn ^rXFPd8nIa\w +3T-7 Ksɗ $4nYBj`iaUդ{1oNrS-*5p$Ѡ貤+Kف,ю.L)ɒzUeݔ(43|&м:3XpgG`W+T~;~C0waކ9:HQ?FYm7ڤwBq0H$RuT/J!aUŦHeÛUШF.rѓ˸3i{RU]W;Ga^7-6gb,&!^ !8iGzӚNk7OͅDHDnhq FtN`*ԽFP:ۘoo[Ϛ=%)gdGU-#oěfP܏gآT+qdC\]c>\ПL^َL(xih9^VVB$ jk@Vd"ck&޳,3_81|6bqφ0D8EJMF-jF˹PntbV/.|? Zn ^IX#PU G I-j,>KUn.pr&ؽ鲭d`5CZ %)hyq[GЦz{4=OAtÌJm!Bh uKāи]rEQ- )9w A䜫K/~ ps3Nma$TSڒܝ+iHZyǏb|}襅-& BK:bnՆbʶ bliv>u?]IY ^}V] `G<_I`;9Tɂeѭ-LV/4Uz2ic؍WIh \, $a=ji@$sҨp' 3YчOO.G3L2[cNsm0mT~45^(Q(/tG ZܘwIG(m7uJ}E KGLn.UYOgL۲SN.N9XٻP3T',3Ѫ4t8cu=ZOw*>gn"Bա8B"Avj]ouNLc,&k)c'VkTX,hLUZTkQ;ι'  @Z>4n/t}Z Kw1,ѩ;S~%udiU$LBxĞX햠HL59ޖ&M#'Az8H"Eq7·kp&w'-RI<7b-yviݮ k{?Tp PaiiTR=D?bnGov1pʕ!d ~)Iu^m20fFʓyM0X|- DY(<5B?Egk@Q_tΗQsgdK\&0Z+eT/4(dD6 ;`w~ s>Dx@dLц0#O/r;{('==`z0P6FɿYơĈQבX!e>VRz1.Zjo%L}( DŽ`Vz#jZ W˴>7䃻Ԁ7oweN3}6 }1 6,֕J4_(&ONz }xmS #~xhܒߧ`y?/wAzMUoYx??X{]E[F<0j Je3mCޮ&Ow,U7[R3a9 eyB\kHAKlo]EML^ËGfQDVⅾX'ݼ1QF'/}E"9u57_5>[)ĐHjPxDpxj5+5P6Cz 'ј/`2i7^V09 8kiXQX`Pꈾ8SDgNUU!Vį׾K-B0R3E˫䡲sp`cڱy6!pK'LAآvi2ţSBu$B0-:&7EC; QWf2m~PnH0.GʀH#URUÀ㇥p&)pr8\X"<$>U[&:ޒJ!" ZnDV}qN?vg(`ȹJb=a}|2Fvy&9*mISMt(,"ؙ K1o[Sa/uNaSyxEjHDFAL̻#B֊Ug،RW|[ 9sPIv?~mb頶~+&f*C8a0vǡ3M$~TևHO6hv>emm˝䯀86!e"TzSʴauws+fK""DIqwTdg/qѴډ%좬vJ>9@4|a2ˌ"^~qO3HUk{{r)%k4Q ƯtG g nhP Xi)!G̑֨ []RK }8IZjZs]kH}Z2j;`UGhr3+;BuO2{uP.YFC:j)*Rb*(Rn+`c^hsBg+c.'%@ؼK]jez(DWMwpgYXOI;FQ:k06Ͼ+߯@>^_Sh#p(s7)HZlb]Iae`abD&uIhO*׶̆>cՠXDHD0ɓMoS0F%)DPv1s9,@M@nCA&Vc7i؈NawiK8SgvvM;JTtFslA0t f܂y$Kp~˩%xN2H%04R߂iK Vspw4t9aǹ*wv&~ثm6a}KaIO6$ 2mՉ\AGJ)+!EڿPI݃+3Z@'Y@Oph˝8?7O8>jQ5>4e&.)j!{>xdCZ$eb.53<8Kvdt˃Az@{i7)-٨o2Y>[/lŮj'q Ǽrv^މef 1b8|]rq-5-㊞܀;E[j{~Tk?~v):"B+Gc]g.\KK Vqmґ◍-Jp3: Q'd7.O4nؔ,bJ mܐHSBx;45t'Jbs 2G1-@2z_˧GHI("-VY\E3 {4co~ ?Z3MSn &sCF,ZoAp36K Fw -˖p"L@ׄM^j=T=eWHJR12-8{' <\;u|~P(Y.!RڞU-3Ji*u۱7M qkŔ|rl~3&ts&z@X΢bV1ߨ, YYǍa6D Z6O2"#[!4=% 0O20=@_G.co+-W&d gpd1?=1xGd^zj8LH.;"K4jUA-[2V1q %o~F$ spUu!%)o2 %dVD,HYxbAS~. P@:l Jv ߱Pbzܗ?Hɷ8.et̅D$Sh_ղٷ&0ZyŪqxDrj/̨n|Ih8ݘvWR&jN|>h{Pd[{9O-oo +VFDleX^rA#2nu}*L#Ĩ @}d l[435YUے (l?y_s1 'nϩ)U BafBڋ&+y`f[daO4S{ *uP?s ~/Bz&rhy=n:Xp eIԴ=n鲧:FꎃAj\#r ;N lww C96rtgOSD`.`mK/gP$`KvCV{B+1;AFݕ7y"67r!Ɲs= OGhj˰$P uBw+5o|)V A< /M];qg]9(K".36Jie| y-(;/nsԹ{4fVL :`t$zhhjY-y&R MŻ3n " jJ]ƽ v۞UӾ8͓fϨr f\95 oZHfee ~@'1 T8֦\L)'͇V}"(\჻&].)N+|ūI( ֝ʣVV%c5w[0'7L GR%BlMHY>CeĻ\u LPs!yߣb[ny0u-qу4<2Z'vNdJ?B:*S ǐC嶣D2^F h}]E\ۈ>9d}pR,N7K0tnιO4!+N9CJrp7R&~TC2&j7|c9(- S]= @-x@ GT 5VHЦ:Di-0.J2,LM _mԔʉ9bܛ3]AQ$mJڱH,[ՀGte!×!Ԃo&Xx }UQÔWAU~]k:eߑO Nщf#QP >_yaᬊ SfD),mi4`ǰLѻܝr|?)}٧hs P) %3 Eў3[jsB1P (-ɾ\,2 |kq.CKwb'XBBUIP Ǧ3Kϵ[>ީ̅w^j]z?7gMc7ƩP@ Tݰߟ^钃bDF5_IB  5eveȾ,BYշV46x}P@ꯝկVNFzq$Qў!ޣϪ^`?ѿæƆRUIUϟ/P+Q:ymDYV9SS 2NQv/w綷TU ] 30OЬ#3<%m!g}:]gLWmxw"^p~.vyA)>Ap.5=«wGjąxML[_)8j1ŏ82v~= 3J df7&$/Pwl)ūCX `v, tNzopuO0a-ǿ A짮`Zz=+Fr9i' rx2i&?HM6!G5kgaa'w:Oۄpl\eb4&kf'S2wl)@ご}BфzhА{uB^u$k"[Yb6k"O'Y( Pg;(4[ĜlhӱIW 8muI|S ]وsΠ:]P.n4'xV$6mPi8E@(7BM(r\=qGcU榓E^|HBȪmg@VJс*{Hǖx'V.k<\A` բ%ưc?^LZEc0:Y`ubmq͟ G6e{%1XyzC |g5IEDZ -P-g zjD$wclC'=LeO4 Aw ^.q!LGJ˲vcTm>F g" *q_4s`u8P|>}?+$f$j*5ߕw? X12g>߭;ߙZr݃E jhSS{ixH)qkWGi2 -/ˆ@<޶T&>=^|Z~\DOlE^+x#qvI&/ d技LZзLM+mCp2?٪b /2+A(V3mDOx`]QWe!6Wp2%%=^ʔXKBF^^6qV@4ۦTv7WdZ'Qj6>QWX<vC=?f Nu{uIn%P 5W|MﴈZ+aPD~Aj>-iį.q 9( 0ܲtL|_ U+,:Kl'Ns^XN=]%Oi6`2Mw7Ѫ'w~{ŽȞ=23a:s3ڭ(\N5%_akv d{\Z$sğAaۉ/dPf(1e-(&5#|cQGh+=kX:h/8\ v sq9!7k_Ab}ϴ`^Eѱ Kٽw_U pkOO|]z N!lM9:!(G a bյ$qOI:9 R !@0Ti{g@Z }G&ɨY^q ^YtjUʷ3(cwcGZrOťHT~Lny/#*b1& H2a_=2$4 ٕP8wK01`tckzN?&T*{aK4ʑH^ Vo9e٤@;!-@fI,˼f~PTl*#.0_]yJ?OrJL Â\`7O#N28sLk '1!:I 6?$.-ՠIw -sKwK.P.9$![ї=5pӗaHt/dn"dbfadRW؏@*{@yO4A;/|4%( jL