SQLite format 3@ +- 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 Y7LY3E48 IjXc$Dzf_jiHo 7t`pjwtғi{_MEChŐpΥrek(0ɳ~2$atx@oLjtIy+JVix˾0_u8ONM V7I,Qqj7QP>Ƴ}k@KPbNhdҳ\)ítwI4u,$oHN^/FHd&6z{V\Qx ?ePRYulq"R ]$)Y}&I}oS[qa;h.tCērKq5:i,RvNL+"sSf ٹFgJl#} Xt%.+?А~z| 4JCr6G8,!; @,d#E=mƕ٪teGBs JCDWi EPW`aX~n'!3U3D$kYPNppi) @kv.3zZUL@XLvS&5%* z`7m{  %` QsOkk9 "마.=d3u.nj!7$ִzC{lz ~'7".a;>9_a+;1ҏo`]FwqA2$@Q;? !-i({җw@"@Ri:5GWRΌ1R w zOb{e,FpӖN@Ig_\=m ur9/7׳[a޾$֢J|5@: Z}9) ;*&!}5{e"3ZkTxקTcYjk&@[[eSWss{|i \}chIwCm+&h `ǃz \rٽ٭0?:7WtG1` DdZs[ w\˃wj}oD_ȳH|'pATmVK'X̒_ =SXR+5X%hTKC>ߦyFR }=5MhOKQ`H2̀]uOl1]9ɍHB߶`b%FAQ䉌4haNcM0eP-6wiס`WC8dK@*|]a_>%)rӻ̌%E#CٍL@Jb ^n7sy+2ϕo0U3B\ljV+(h޹.BP ogHMvJKe2%HN/W|aT/?c」R ˟&yKEA_@PjQ;ʊ"[(= {n >wXEDhs.S|1M;RLWcв[do3EV~;:5rURwi_7^ƲB $S MpP(LB(w\ =^vYctz$ ˷o5Ų]KpB*?Jk"3q/Xcb:py?{z 6~G68uBDu\l4΋ Ǔ+x'Jᒪr:یS&,exa47$f=k#ZD Ӛ yp6p/cO隄[mȣ]ʀ|j*p2rHl ,qɡܦXc9iMK#}:ei3 dvL)݁ pV+}՚ +tM~_c1ԗx&xIhx ߶gT1fz6.+AѦ㸼9eͪFrp~h(,Z5h^"ɴED=M HT^vӁIUU2IDz$ܭë $)q_U*@LH.5ܔy!Xxy e(x&y|hyprix 8mmXEQ$c =gtSz̮,X.ff $\ga'wlq$ QC6xGί4#٣LO#n\`/Ъޡ[6 s(VP4 \ :yp쐎8i?na~S#oѧ&r`^.  i_E xA<9Iȣmo]!`ʢ>$ׯ- 3xs:hG,\}{w:I>lI]hy936CIo`pN%rHq"G_TbG'%MX*czd0p;Б~vhX v׾ RM[L\C-2ַXtm:Je`_-PH E\_¨Uy#'b+[*?yU}daކ\LëD;j_%9DL45sؗm~.SKmQZ&J}c^_Yq'~W𤎖 ti 5gpY+)؂m2p"SܼE_Q9Qp) zͭ2L:'D E;rɜ $_mxE_/؟mY/-J 2!̇QrB&* D+kiM٧Hz3VNOF90s#ix2EWM !k;z#_R0쳫k07=%~[Yg#5~1qӛ%`p8ǘTBjW8iz"hrga>$ ؾ1ܵMҞW;19lO[A5Y}YV3 8~t_+ٟ9ER&Fg9z_k>pP WK=@(C4H4L th9YC7maM)eakd*շ:563{wcҡ F xh٤vϟan:kFM&-c-#,w >TﭢJ/gjLrV;DrM>Ң7yC&W^tLR&1\6pAS8G%@[WShD7ōGriQ\M-䲞_ J3!'tǞS)Z=#u}rMV@]ɮ]V ^B?;u[O9SggPz+4& *M^_aVMe7~^)Jdn>kH04uڰEX.Ό,*񚰓WtU٣)@uN|CjPqkZK¢h_*a|8:٭hvg,X7 Bhd.h':|[.٭joI\IxUlxm#R1ɠ|`+C4$'`>2=\+{-s% L/+~Ǯ|"%Hcu~5pG ޑ&TV R=Pk--< 08iP'#1DzEV5d)iXD+\*]6N6nu=*G\r}1<O$tx~#n>B~rKiSMfq@-3W fP_WcߥJ?B0.e NI)1b8$$И4dU KWx2~piCbYt`tRH>ދ~S?X{1 "e}Z0*Sa{a7`_Obmhr Ψ@[lN0øX \m(Q͆.l.O)1KZ +AE%Q FTז/ڂĭvgvD^c5M =Ib^ I%u.{#Am-B=Vu忒 57Xm:la4ԉޟazPqA]A~U8;dMG|Ƨ}CzBiPR%<lIr)F.Ɂ;R֪@m@\J}po6cRdB6P>NwELWm#pкMyW7JE6}# H ˺7jI܈#uܹ?>u714Vq ߠn #maEQKipoy #1Uq("=YxY|RB#,3l͜W|S̠ g` nwht35uQ1CÎ6K6NlY Kmّ`qG&ri0NXh:D~MrgD3G%u=/sj?m0^aOɉ<cѴ30s!i4yڤvv& Y= ڨ?@,~x!x3_?~k?D&~uHe8~_P5E ف.Q^#h8 WXQ0zj5"ĎHyr^U`q^p}RH|MrK."MBʱ΄Wqg=jek[U󏑷@vKVV5ѹ7R hUA- 9`XN˕إO.]=0z/;BoH!07<;ѣbsh<߭9<* F&Sn/Х?w| HR^B$KkY@:aŅk(ȇJݒ %yK)}f4GISx8eN<֞j e&1k`p# ?/#WX[{℈IRup s4^(%L1ݑ 8 Yag McmiD!2 3 :ba' l0[d_zK4iYh-.O$ B˒v* M 0~7l,5+]VygfRKA<&`8Q@307G 4l+6~. ro0WR .Z *^([PHHJhH^s#zeʃ_Ιd?p Ff^Qz[P4m (-+sLZ `ĸ-[\Dˬi Q+ KsE M OU{ڮtcqoiR};O-[CYDp :z睡_אR/B~NŨ`bp }%:Ӕ'䤌%VtSG]L8|삡HJӰ8v+/0h5)&L&Ӫ?Pj, 5\5c\Kz^=TVhG }cLm?iziO6Ӫ`AM?,IpC/$qٺѦw|ך2dlG~+tLq _E 8z@˷-[!Fؓ 1x6Ol"(xJf^ d% ȿ)\,Э + :-R҆lO,$ȒBf[|Pp>c)=ÇQC\38-l@k{u%s3#P$TN$\?,osUsm9͎=* 1'EqܷYL=QD)SvkfIzI"u&Mb230WmPkk<=.KGp;`h Qvp6ZnvAUqzuǒtu&>i8%SEI/e\irzraWvͷhA]RdG>==Cڋ]܏ KX09eg g02I5U޾&5[lPDjյ&L@jiGwn= 7-w%4/0©Ν]ig:4Pm`br]"f!:d&*:3~,΂m٬գq[h RQM%Mm1^OXAUN6IAE"^1q*{yfd* W㣮ԏw81\3u@u#W[L5S[,qͅ0`U6rNo>A@-G_˚-Ê s'hxaƨ`becͬI%MdD /zxmA) $uǑҮQjQ;8 DC-ສ B 0AL5W%4RHL6zpn=.4r48ۘoqL}rCQmݏR@޸s."mR_JP(>`"5쟞K8  %F^ΨSP*G{TU hMyj2%)oeڕy4x8!eELo}jPpoч 3釟"o)f7"ۤbpwݖg 6Tg=HbcE^[3Zv=R9#a\[V`9hHwshx 5MrWZ\:I@:U޸*MbƊ# PBNۤ;ny{ ԭ{ ?-+6zQ3t̘;]z%@#VYyqO$- 䗌?2^;4P SX!{f)Eޣ 2@j-M0ZgwVjwݞ>uq1 %h8N"7ğ 0'曈ǠǰsLr@Rrt ,5tce1տuxv2Z@CSz@m+fSp*Z/_-cKq#Bw5_@0W&I)Nyeŧ i4g9|O,hb.` FnHc,o02H)E@'Tpͱ@K-a}:uDzl,9Vo0BV'iP CƪIp\ñN,fF+XT&^j֡R[Y!]l:.\1,g$8Si <~IW$tH 7a!zUgmؿ{/spz*opNy;(|Tv'm^VScyf[!Jj5@U+'AUZiodlԡts#\aZ-bx_I k@]o~ĵ5|՞Lځk+UGy':-ql-͵C(nFsL Mؼ0G@U}&#I)8s}pQ]_[g$)j7G@!HlK>$T֣$yZ9x\F.0q : ~@y3umF{#)3H3(U|!]tٵ37 YX=-/ovdApJ؜*tGr iҘZv8FH“`z ^=nl9'<ؠi h$(c .pg!ۑiMP1./5M ֩=|]' "#e~*r]!AlW:E!`eF!ַS`?q}!3f* e'ZBV) >LI5\=Z\1]ۧƁ0Q!s=>纪'Xb6$&00g"bq?=8Fra>4BZjnYS$$:.]~Vv*Bl> OFi䍡o$}J嬫=MWT{X6ⴧyVO^wxwƌ4?%O0] ' b dg1ic ٌbcU"Je!JKMSj9CS&-!g jeܙ4rIOE<0iNl:bqhs_Slrr|2Zd`#Lꑗq۴ϧ`wsd |i )UFoR 4ucUvEWu5x%G0} KL|㸁E}0H\Wa3ty%957x`'!+Fgנ%_| Se% ;qHu)Q5y@z[ hvGP]qk]aFo Q6- qhƿJAĂF⺕0dQtp1_z*Poj>1ڡtwz"ESmSؾ.(U.}(CG:]qhNE}DZ|> ӭ`)h0Leg;y3K&xҿ8)rrK* z{K ۩:{tibK gJp 4P\s?H,;޺W ':!zc6Eb=?cDD}=TtdZܞ|gsʼn?oI*@ Ώˇ՗9 a?%)?rWVC4z2Z:ǞH e&(gFzMQ ˉt/PJlj]@e\Nm^i[]AY7K [ņy~?V1,sS W+!ӪN@ozzJwI(i Ё\jeuwlʼ=T(Nt8e EP`yܕ[PF}StG1]n%wIE%v Ena,rTJďOxŬr &'QRDžY"-̨=aO~ujʼ8H 5H I=<;]vU .a'#nRr*c)Jl~ ^cGT|t}U1tnϭbmV$|'fHJ<)DRG-A*r-A*gF/kX^Pj~>rg^l%+Ll/dmw+!Xtl9k޺us\V3 Hg~5xc05Q{pD'+gzC+o؋_PhrA/tw6hDh*@"$PBC1[Dl>?Ubǚɬ=1셌IQ9uׄ>s=S$e' n.f~I8'. \:x(6E=w(5;bXDN\.9ͮ&5:tXO2Iu景t*Rx:Rg:.B$ .9-Tt1F:Fá1č&TQ}"*X|f]Th ;8ẺޟгAE(!CVxTf:yDm;IܠDnQsV`t?JgNG7,;H ~7zʗh^+T9&IImYǀg{] Q*."H/3o,R(|_aߢi|M=9hc]y!6^W*.FriU@ZOl\ AzGF 67vkt#?N9\(ڃ7yǰw]B#g4cH]J?024˟CubʼBf,ڰmjU_7cYJd~v"jZ&um`}-7N%cXp}4gP!6iʹS#H_o# R!mQP̀q'yqcRuSq;zHh> ->Xr?uszPTF V[LJ5~}Kôr{acHr*Ʃ_#]B*=)F9ފ| |.aŖ6 ]tͷ\U=Y<t$Mq!a@4$o_918xnpbLY]𒣝gp! !m(>'h^CgU {X )Ff5V!.K8K\xlmY&(4.GWşU+A.Ss}H(FO;6U `u O7wP-rA0# )?؜[i) raڼɭڙBckr0ǹ6Hs:B7n7$T_`Xg#z@ʦdb$5Tԧb-:(;p]3vcH6 oEdsN2;-Z c`sb8ja(sʻnxfhӨ LAb {y$,^|I\w/" ʲh{H"u뻀-tr "Ѵ}1p0G2Ht8d. ϷޘecE{>IU| n<ٵ;?(0lB0}VK`}89>uo1Q'p)ytS?M%[&<0PuO8*互&r;]t#/ ֣D0ude \=)Fh{dq ; ( y+8WFVMzIqnMWuɥ_?GVջ\rKo Xbe :vG+N :r ]{7'[O1?G(ŶJ 's|Nf[l-e M6-& N=33N?v$·e;Xk ޘݕTdC+r D:7b<43N0 ݧnbUiIk_<0zLvM>ȫCZ )TqN|?J4&vmK#>7B{bIҴvVrN!w2ϛ_"kuIG&Hӵ780؉W 7xn,Oc/aˆK5Mo@_(٥G$}q<1ҝ*^@ =#FgB:'S6N:t,t?ЊK"UB&14NzMAtLddn}xAU::W!xݯ ;WFxG~1M"PȮam5߭зfk|*⌻hCAW>`'.!xE t(呀Gٕ9*rUl6hӫVbHy0(<=d oO&f;o$U D7fݸ ds;}-&BG8|Cs~VYW!p7{%5nM@6zyusrwrj@FUdAz<1سe( '_ՇQ^=(_+=Jl932dlmS59wz[o,qO$ {ļ`D`ZƲ:y coSL^(V&W2Pz}=9Ww]~h.(%i&zrg IrtcET#uĚ R/`Ԝ:aj* 2QщF}3E &qu݋?t¤: )IQA:qJ\r+bfA汸m߬42Wt[ D.g+͙A|Q;/QF+ ,|ɄtHpgSTVDpc}bFOÑp a<+Y8lnJ8$tkyF"߁IF Ijm7D W9vIzr&neCmp|+&#;\,gY^~$FZgG~LşPuө\}ügq5e =3 Qň~ I_3'-CB58U&>%#]Pd%QMFѵyq^3QJF Fn$HDrezqb?&G#-" }'$[>Fg@'rV2ڋL QGE=5liOI\eVb0g{޿'I9WܵQQ\bY+ba{NIѾRDW4_ݓ¯BX#qI}"ALCgݷŸ[YS)M|xjハ)pVS MYdoXX4TK z"p*81OLȏ yM[I*Nj>Q0R T7ýtqu&۪*o6``5ѹa 9kEٱX|`zAUUL=<;N$;>bu;Ë Npp?U,Zm>so6yG9./כ.  '[CGd!Eb̵>s&ۤc<~i @-" Y9NB vԿUlpﭠr.63oe)ߺVպr:WKe[q8LU+hmEYt2s{3[E\!l̋,JeCΝE7  O4J~wlku_^)V$c%(O2zrJean:HhF2mD(:Y{u|˔Iܼ_[*o)8cS~G5 x`1) j/s0hÄ ǧwo0ۗ%gz'}^<+ [tq@Jtl,\04,HWMKCO7zUzt]~;9[tZ;g4WPrj9 (m>%YXVŏref?6+82Ok#:Hu8 6)@j\T֝7o.6g398]̎l$P5K tXGJkPn|sͭOŰ1YJ oߝ*G[R|+fNB T]!kؠcL*^J:Y3-钦uTn1si[YEj )ЈL_ǿPB`Bp:Guxֻ4v"S]^=[vX8>.hvˈgPڱUD<_D30iكhzŒ`$݃) 7q5GטOSD%/n+?;`pDZO";}r:~Vrx12X`LlÉC!ɏT (s P6RA>{P7)&I 秎͖_%6ghnwRGI.{]~dmF>Դ݇NW㒦94r v>w Z;tD&ш˘έ ~%oھԝJt[2K!,.#>e$ך.I눸YbΖґW8.62dʂCH/36'EN~zWe(LQOML% C,i k|=wGB9(ԒXb.âέRVq$^\N-Z4a4ʣb\s8YT?|9֯>n RB%`3%6Y ş} -N rĬOՂnB MLc/~znn! =yHR$K]:Ltݘ\boŬ_gVXm%[3zz֦I W+V.MG*Ut擈aL frr_Ck,ң[6+ު׉9L:XI'va6|gρN[U&ħbqǩ](cOk9\[PvDԬ [[i^sjPi<4nk[248- GS& 7thѷuhXtR\0 |>=Sm:0ߤ5O$?!Rb>5AxUGsV.6kN7l:k4* 7xz],HA jєPF 9mgFw*TA RHwß{mu6|ѺYߗП==- '`)[3_S.~ɈE  d)B8IuR36VO;(.8oN\]  pC ԏ><,Eް$Vf^Mh359~aOZ $Un}X 8sD=/ +9Cz;S,N*͹ >n;㫵r)*x*EVKaWe&QIʤ4a Om,J 9rg rj5GcN%X:j#8 ?}et}">-p6Z; l+ $B<+nD p;V;'Wט-lb+KJ֠J,ϛ/Bkzx}^pO5C E[!gL)Qt_fGɸM>Z{)$¢"3*ۏ4 =N`>Zu ByHְUU޴Q~1+v,mRw ts[g%&pvhl0xtIh+FҢu3& Ӎߘr-F Jvh֥8HN8BzgQ'Z͊ebG%\ ~"ₜdӵBL,ݳ?@ch~_q;ԟ_ApUh+AY^܄w"gxQ֑ɿpFC87'+~2Ea3sBB]}z]\܌n<ğ`9FѨB HsRݟvpۮl4lRPئ Ցqg&;qjCB_*_V-SͶjӷAIpVKCnneZf7~d*ia198\q P2|B4Ć|#UM([hXZve;Esz->LymiJ>yB+?3_vaڴ(hm, >'Pyܐ\A^4jw'ff D Wqb߰}_73A;e]։:)`.l8ns K4d\hZ-+r C5# o<e%sv -L+u= \W%Ws |2^Am mBbd)(KZѱ{W\?QJd[D6E0- ^<nԺiGuӦ) nK ŏB ԏWohoe)$6\V$ͩ0my!u,t춢3dMx2dG .rsw{}yS{`R_% wn*Ux6{ҭLUbϳISk=榁c)hF&C%x f؇ZK`ꥣPjD߰HF&?b2f$!Oʽ(&<`!ٕ'5pFoG4+/CL>CoMO߂I]q3BM䮢);{Hؼ$V:'FfkQ#~5_fq,3NEK\Lǽf{mY5qx08t:tJEo0LǍ 'F@J/_t/VQa> MwNuvbh$_:]kqU@}SpnȐ,?1A17)Ril"{e;2<˅ '"z߄m";.qq'q h,/'ї31Ke/c,l >ے}rjI_L<>%~ƬVkϣ EB@z& W%1R=\sҠcD"c)7Ņ7JIDZdO8|Kf;- .Mig> }^t{s~4B2< eA!jK8 %s /Df+2p BG" *L9a٘eK,M3)f^DID; iY -m!IDŽ?y?&G)` ϒвh!уqbвJαgYZ7zXZִF! 媈8]ŗXi%:"KCo}yzOzjlsA2.{i¡ E`➵oX鲾1U$_@s5w;")G][Gg{DCϷ8aՈ_׭RgAvl*M85kfL_W:fUX'0\!d,]&ZZ5]$]'QR`N=:n!/?6i{!VoDWES\NFБ+vܳgdd{oɍR ?;⠸ o8l4/-%eu{]#k%D:& V^tjU-G}yRFf}ٟ* FR6iB+ a:-JU$Qp)uRq糋 '_"iߘ^~ǪG!U:0Xz-c6+R|綷)M _٨<6910Nd]9=KV>=|y芅ɨ#O7z)eehi-xmk퓝Z,9EM 1YH]fYg,CYJaX^÷r1ٹU? &R1[)=ec{FA&fyV!bۃxWVyUFl( ܼܖpۍəܳS{dHQr\^D MHNTg&4?ڠV=*QT+L$7hlW;Lwp٤YJ[ 9'XCxڛ<ȝpy(gp$ȿr?+!-.Vמc}rZ)R;S %?,GMU8'-SaGEEXx^ )<${mi2/&pmgYԩcd\~2#* آiS'b C ؖOHWej3kC?;S|So4.;[ܘZ|G0m9@Jd;ݫf~NKKdvi:pJ> *-n3!mL.ġK-gH2AϜ-ں'B_c  T&FIzL'D0kr]UVYp-joo2m\ ąQg>-h GЗTm+ 2ou_jS=-BB..ZOC7 &n9}:Y.R5unt3n]&i- چ ,OHSqWQnڇ:G `Hِ繷 1prT} y'8]8%C:(|v`6>d eŮ6R-I;(堐mT:O-_8 P!:}xy?9`n?Ū />@/Hh4{WkǨ-}Wƿ!)lfn\`_ yG%B`"EN"2p%K":r+rX?~6ɐÿ>*D(={} sEGxb}OT(l;آc;jO =~]7ۃ2iNIc7WZ{w}SC6/ $n_>4D`RVfo0QzhW џ&ö~璼~)7zI)wAN&`Iw(1+޽tT%ˉlHN??gD\n"fwJ Ė(Vk6X&-֚:;{ UZ# +X;k+VD:t$-[aWM%>صk VV$'(S@TDNҳb<_cC;ZC3kpglOA}FV:}ez[k+5eu\W"E ALw۔Z6!k(VHGk6nv4 /t@<"ѷjxHRdF.:M;M$բdLu;E`5^ q}E*c]zfVDq/i4D6v'fܔT_ikW:m3Yc{svB&qfq,dwH %" I} |=H6F} PMtuYfZټ?wV8JTΒƄ :jC*q 6-#HcаU5 b^V_6{|: ]pJȡ?RX|)-#kB'J*5q>1DV!)\S{غ#nh{ޘސQvƒSSCBG.[3A3ϸOfK#62!vi23yd NIz}gvUA7#V+ !;{x?1y]CjOk՞xH[cJ>$@i=`$H,@BW31&M^O2o^(){3#=Yc/DQr 4K$û P#2c Ih'd.ݺ㛀SS܃Qe)&A+ܣ3*ݘIW7٨WR/ZnI1Tvzeˣp|Xܧ2UD˵p #:LҩށFU2_枑}Cul6{\L6ZE/p8:ܡ|K@Zz$Zȷgt& v>0&ERGgK~ 'H0{Зyㄗ5m1^֓bDʮW SFpHWSJ (&ߚ ~C]y 4Riw6S`ߢ\vƄnmPX2d\mT)pDY3`Wo`Ƞ*]tg#jC L)-TlH|(H]H̠+뙯SǬ4+1hJ3k]!wpLQA,Q|@ Ydi.]yp۵{nwݻiw)#x:Tw2LcQJS@4푌yc}3B&V.} Q/v5-2nϚ?9_V.r7b`%u*ԁLڮDPhLUk`>Ȇ~{I=GH, ̳LF̤siO@|hʰSĴBCc6!-|v dD2IPPx'[(+qQӠ$*_Fyҽ^H:los@S4tBqJnjQFw0/JM8lPŖK@uPW\FyMO\pl199uȦH/xs X9@.CTlo?:2"m 4T["\>:iZB`a;Iu0܉a'CSM83qj7i{4wtQE-^)b*@2b w'Juȶ n_)74^V=aG8]o 4UlH/-%lJ^ܘ []+Ѻ }1E3WݽT}Hi}]q^]OZMT'옍.cc}@ӢX "TVS?Srat߂`OĂ$d$͋ËVy}ǘYk_,}SvWϻYWzҊ;2=gsҝ;c$Cn111eca%Aс~=|Huݤ$_xӗi(e_+  > Žc7h]^0D&B36ٶjUoWtɢ}ÔJx ǢLK}f0lo! ݸyg}L~:)J] &aQ'tגʖjM-KE,9fLjZ1(WK e|?7l ._xh9nDT ԗB"6I[}#~d ^XF>-{Gi4lq< 'Rn3v)9hLO¥zOT=6w$d\Z&ۡ<#4(F!cΎp6Hv>0` 9RoK0͆8'mԎ=:ZU7 ` -\rJ +0.N3}%z\rQ6L'=5kIvmpF@]&ߖ&cN%O9 g!G&?fjtI>U?[Uz A]Tϙ2Ԫw|L E'@x$ty1h24mLXwh!u"{xC)o. kLe#ZD J PeF(;ꤓ~n9[WlJr-)K ~%ԘZ(/گ- +;Ͻ{? S d 8 y҇As m{oAqnR+࠾<ֶ -SݱDx)g?Ѝf.h$޸궩 _ρ-a$Sp48< j⦌%(8,~HXN*zF9m&cQA-^Zd MkJ2,xn. KZye¾ :pNUXm-s% - ;C̀$02ͱAB[>:6.琱9B~xrx Kꓚ4{g'9eI#w^_BwxYzVVV:K_;L@ww1 ڷmD݇Ip6 :iUSo?qpW6p!-z[Xf l6ۍ+-nr]̔@,I487' e6M`z! OAJgl#KT\ YrKMz^ ٹ[A%qǩoU}@$GF?'j|Z:]I3h(gtnп˸X@e_APĐz!X,.7 -8mZivg$EӜVgRMgŶ Z~L>،}֮M<6(nb2'-Y>5M0} f9g& ;Q27nU)ᣈS6X2M/8+u.nU#ڤV޷`˴=`wZ.9VjtMYm"<PZ6ND)Ǝj10>|2~~} eMnPdwO:{kR#xl}Zq7/ I0nCտ[7n:AԖeeVL܉P+qH4@]jo+$lU?Ez|1BkX鲀3S/E l;B]!FohmLDhplϔF,5RtbxٕTT>qy:{1l?(%& "-e{ Ϊ$rngN&{bȺΛP%SDav=ZAr^ vڷh~Y$/Mh8b\&d7%./P>okm `9q!Th-Kq9(:c ;$hPeK`}r }V4Rm,U֞AHa >Z^5i-}W׭6ײ@c@M+ 2PZuJ[5{)?n>9|&{lJgL/"!hv N _2W4g]vl^Ģ$BU%2-RDχcB~̡ͺ+v`pw\j'DFCNnB+wf^tՍH2?%Tۜ TVp}S3u[]-03ۄֳRR{&㧫1l-~iCW͐d8Xu&/\Eb{ khFr2A>#c WgTtr5Dbb3qZ35hBmxuZo CdJa^ހуީ5mȮݣl@~;"_UXHsCK8s਍(-pҕ/׏pT\|eB)O5/YuEwORuO`#%*%#d4MQ+[5jӳ(xI;p+O+XPQk~PMS5_ KR!wm _<>=@Tp@N-ICG/AMoB X⟁NtDN8\S  CSXR}B;eMHǖr vW{O,whLq`$fzPF1&PEsB1(Uf$GаE䒟tk "y~6Pg=Yu&/>6t[yR%Z %q4#_/񧓨Ea.5+&a8I޼+6mZ\`xcCB3$[iISYk haMiu'0Ӗ簓,U o|>-$!PTXv07Q3MC:5tNe~/! q]`!j+tH"_C}Ez,W&Pk3EYѳ6\1b6O,!vD7UeX~G2OP_8-M\?H3y?*d=o:WAo>umRS;l"rAj~wY8HAT5LLFi/VTSˁ#spJmM9nfRۭ_S1\,ljX4k" g 8tPwǎŠj/֦N-Ҋ9E jZ fch${Rt;a#P PUIQh@3y]|.0|79B_+a2 :8& Ã^9@vl1'q9wbhj9G([$+΃r')CwGԎHv̰yOy9Q9랴b+r+0kA~*hPp߿vow# C:ali}IO-^bt@iC4e|;{BLu5xdUZ5xv O t"aiY ZPdoCV1)4KA:2i_zOB|T#N#u|R^Cr݉p3jP2k/+0tA)) (٦u[2ʣ_PaFlߎ@jN$;a-I>Z]'6΃)ݩ2U^Z\߱Ngt`, yn:(Ÿ LI%`wg3Ȳ6cǍ߹(/ Ut>4tym\,W(&>ն^]"L N"l(IC4z`DK Ƕ 7*ԗ=kfOf F )j8W<Т c B"h^)˱xYN?=(2jV,v EƉT YHd}[gA`>hA#3> ;gL"`Sq xHG৖0Ej84=orxNJܿwSbl9 N[]|v+ԙV0@{j- gE: Acm,P̘"{H U%pZ_6"2ftq+r&DzqĀ;# {;:5%0sW@p s(\{%s.ޡU% ..hkǖ/.p ݝUb2}4ۿ g ЩmޚeUVuG6g|P^5NKc\QEFDdVShItlj[\=[)%e8Xn@Y{)}3NB[@׉k~z6@ӂCk22Ps~&|zdH,USw V#K TX {5Wol WhJ%CYFsTC\pdĩ޽AߨV\Z۱xho43A8|0vPY, 0UC`?mRl-" O)mmcҎ2:$3GOަw3t9Ky swXtUDJ׳AtzߔLl dQ`Uz{|ulb>pkVF=cvYVUkkB cf746+  oXu1Xnlh֓ݢN0NioaC1⹸9Ke!7.6ȍ4-5 /hBe ejDDD9j 0 5 ː5s\+2VFߴ* A;\у GȦUV)4FYN>cٟeܴEp62~w1[vsry2>֝ U$ d_P[eM<2aa 孏A!gK6YY,* ;-Cҁ =V'@hG $a%rȬbC/RycaDAw-iP^ץ=ʺQf31,Ve5W6EL'{EIm'<|'"K{kJA5A$_;"$F٧U7mqkz:^ox}3gmn {Gn=JndJ }pO\I,T/6MKj1-Dd黐UPkk@7j6O|#h'e%v񶂾D~qm.ʋomgV=\L|>f'Os UI,k{(ƌ x+dF% odݼ-K΁[µG+zM 5mN-ދ1݉ѕ5S}p81_R"Md?rτ 0QDU*٩uT8U7/h뉺񭻁pq>[wA̫%Sb%Ľna3'{ppCMeJ0kRf1tdp<O*Gx m2lW 9:2C֎½zGȵˮ+\U {IyW ;v7س5sĦ!N*ӗ1QCEiFPq+VӬ\y21+Ȫ_C@ڮLRJuUDvUWTíG3rZ>ҭVcF>m[Vs} "ëÛ7A`P>{=_˶ŮLQp!2< <~+ m̤.6gWO) 7mQ$),΅"0a,5a`Zg,m~(q7]~ be6 (Oـe6ejڏaO6uFKğ8KI ұy\j 7rJfL== 0P\ŵVptP.(~VXNHWTe:v?E18{-3#I۰oL}L&xiC"4.ezp,j| 5