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 y14Dd ]% HOL-Decision_Procs:threads=2elapsed=625.690cpu=1196.032gc=115.444factor=1.917zXZִF! j]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#Ppu_'X;s}q؈]jjι}6#YM!*4(,v摠PNnw>X(5F\"*7*.IXhQ>y5Tayr,2u}֮:fW$p}{a=1xBڛdz73>V؃2awݢU'DNKN3Ch*[֩2U ;.VYXzA)#W>O58V)Hu={>n 1 HOL-Decision_ProcsOjj:h0:qoK>_(Z4{xgCbw+,.@"sF7\}BSLʘ޷ʹ$4!i?t2bj3(5ao)ٝ;e80AUwRnSpPO&T ӄ"F ؎ hmEkff&ocdKս#G_`]0>&.(B$ H`m-Q򯑪BLbL27 FieƇ`r ќvku"C+19C6FyR3iI=R)؟i@(N Ŗo%Vg Tׄ"A\%E% lQ%&1<v"!8kRz/.2&"~<)ˆT7dz DeʋDACXs#Q igDȣ~mSv'@EUxWb?B,j:apz D{D;%2 ?'L'[#+3奚Oe-Z҂ 3ZYԛ%٘&5sۅY҇-`-@R*z($EZOYmg0;Hi "Ml{ghzr#*.<"6Rs\}V61ྪ-fHpR.0@ uj䩄M3w˝1YR>T:GUr];P;Cl؛"?}x8$12Cf;ºFa7-B)ZT.?hlԁJ h=SC*d$޳ILǶP؂7|Wu5aӂE6PR{r.۹Ÿ#J1N!O\{U" F^cⅽ:O=ncL*)Ns~bȆ\⢃> +(0tו>siæ^'G{E"[RRaUp_Q^ud^oa\bk뒮'z1h1n0;dZj1MnYKWRLBԫJt:ҚRb'؟5H7-qhOB::QDD#NSuYk,_H݋TC[NBHI{YPKt{7uյ/w\e&=sUCT];Op2֫.ӱVA LZa^lMuVbD.Yv$$ Sa?=EZ#7ET4GP ]7vgOu|MSu06yPɎk/?#";!D^𬰈"J-訞}aI-t_ө7*z~C/h$E"VVOs$Iq`w\)gus)\b|0o,vNK vZc'%s-%A`wStuRJ . {6| +<~*y`ΜBs FgqÐаwE4V(I|VK7Նâ+1xf#u@FȉT =_h~a'uspU$_!^ĤƑJA /Qsx*\TELNavBu=hV3iDbX#rYu4I% C7(r<-&Z3?GДg6> JY[_#l.K]p%| T[v7A,SzNgW<^5 _LPڝEU-³'4i:FQ]n.zAW$D':h409h/ʕ-~w6l<9%y֠B+r6?lY+HdT4U[BZ;앁Xp6 f67+%ϻ l2t\T;ТReBE U"f2$iW}\ Ab2~5u @j_=_N= >?pƭ:y#mr*{%r q߼f+zPݪ F_\XOe)V =>9B0kE&^FGyAYR:TZg^n" _̹;8pǒ QYGFH/ar{eC9"_Vڋ_sToħq =;+F KS.y,]bO MA3C2vňWZ;yS0zcf$S >Bhr[#eBׂbk˜c8{\{~Nl0*S|W%?_)P,# K^[ͱ5 "ਛUoRX/`5VN4I`gT!s~P{G'Eߠd.>+(Աr|~@پ\pc%d4 `$._Xz@5! ʯ 6@P/c[ w< QOyz%Ac<C}ᶣXM63qCcAu)y+d#F56c&z"ydИEɦax&n=x1`%VI@]gPx0W m$_qf $i=;bjms(OZw|\Uui1Ågxڶ Wf"@ S^CߐQ{gB <,${qV ΢s~`EΊ(w[$-5b;WϒT5J/ѩlEc0 YgWICsS@ l9w(mR #XWiQPl]KI|\")5͹4\/\ծRX{ .$^.oicNL#lOK;{F|ݯ%w?Dfi\i(W zmID?zPgJ9dξ,i$Mʿ(ouv-(ɮ77%ɨ)4+72+#&A5%BZN($aIfٺdWa@”k&z-1#4MFi]*rҡZ\/͢WaٰKNQh4Fe#7.HF;m1#Bܟ7!SL%ȻFr:?3gpWik/*¡v{N,ǔ(>W҃D ,8řfC尚z 5Sؒy4 ^4ۙv^z Z[]%XUngdה%a.r:IgYZ7zXZִF! Ow,]ŗXi%;ߢx[~ءxn^p]}6H"=P#"a%3[n1?G=D%`}Olm2'g&0n!Rӟ1|3燤ajac(|A}XJo;\@םt$tX;Z5s^Oam73Z_܁Q@\ԀSwdwX$DLVY-W3  4b)y)bQ ؽ$@ DOd,Bg>_2j#ZEͮ{a1voF EfJ>lAnFH*)&10D(xBcg*-a)o.^2]Wq9h&QA 1{F5_#g{L4>V+Qtrj/|t!Gu)xn) !+ IuF ⭗J<4h_6 ^ށ`eHHr:g7y)H0] 5k<'C[cك]$ڝNA4^m8tyetDqr 9f~H$B]rٔ715Or6@åz(\>n$p2:$G,%%T8 P'j+ U hE'{Ȯ r,g vbL+'+eBv /[*\p, C.tԁ9+OLEֲŒ-2KVi',Ȕ)I_}>#$Q:6:鹯/ʫ%Ŧ AIsW~*/k L_$hnm~B gS@:+J ju ?A&@ʓyѿ1Z:ƶ0`ȧvG%}UȰY!CO -~C`-5L?=x%{gaŶ%2t5X3GI1IxJ'+D k+5pHiL&Xd9,NC =ONIڗ4ۅsm _4h/ޓ[b%?nHMD_uZ>RRcE^ jCwrwT&33MV"5oXh"Ҫ5ItS:YQ_,:pG-iP7H']7=dwvCo< .#~C2WO#M)*a ]hs'QEQܰBGϪ)94تvZ}Í1i6E{BᬆR2{Tlmgo ٺv _~:B,26#jLv{7_Sh^UVrzGI=w! xhxZ{C{{Ⱥ7Ո\Ti7<5;t̎3AD8+/$8Q`3`. BSe}Bs>M[#h_+o/7싷Йm !>U#j76v5Cdio^⠣?]6ӿ.~w;A̠MzM\=O_e;8s q7AW3v+2j"ざܳՍ߁VK.t*UѾҗYz:)^l!'(ѼP7x!?Z?q5WW|[! XpH׀k.GS@s7h m59%ՒCwiO-ޟw>L;8lMq, qh$K9@5pN~_e3݀nJ'٦UʚDPIJ`MٝԻգqR}3mڢ*1-MHvk;Uܲ7©PyR^ BqjsPKe80иfQ~DSO D@w{}m?z8( :1&'KbہAht̔(s 2l,C _Lu2qaWS:"SN{x"#4Fs;el0o$.mE~%c/ޔj)Q6.NI4`VĈyť򰺾0q5Ӯudwd-+<%ƻ~X&ó4mP&O$0Ǹtk$$&ݓ`QՑ(SwU"tceD:9H4o+JY-f}XŔۍtqW̧8!ԮJGSJ6^Q0ՕNK>z_xfzbSU O]oJ='0K“<"RD.ɿ]eEn-KKM52OdDXl+1DRgQm;1p3 !Wjtq9Iх؈26(>WWP95Y4v`0:+۰ I y7+ ڐpʼn,30+5ԣ?/O„F9Օ%8A[Jԁ7ړ `f4'5 U_3rW4h62Yo D@R'RqյR{.Y٠ f7YIٷyP6N|i*&e )8Ć?bM0J. Xt34⵿cC@i$|f8!>{pm61/eՖ.-٘Sz@pz%tz|ŻYЀxw 99<`KbF(cIS0_JSesY1mW镅t"=!(b RpĘGi:ŏ4fD)f.h$3`?AWВ,lA2w*[š0 yȉ+fZwܔEz[֥g9 gɨ[Mn1P佰&9 0V-8E=>&@PgRP!$2TiQV^Ƈfxf#TEziq{sQ-XRz!G!I+%W߰ۈb#)eH>a{I"DE? TW"}-dt-1+֟ʹ(ąCdOx)C1 [5 1zF;f DvQ!Y<᪍:Իٷ|ǁaJ#DkpJ7Do"Y%Ό,87.P->ߔ*Mx r6k5}):#Sx 며3:!ϖ?^g31q߮)yabֲl:s[+Lg9N#ҽRNGfO]w_΂h|6׳>Ѽ3WZϫ⯱q"l$n6'̖NqtKí9|[[[WܳEuy8M; NY<_y3 #L+g.p^C|{*AS l|M<'Ęd赹/zu2^8up% 'Ѧij _#+n4p- eRq~tŐID"ᴖ>4>?Y ,iq11?FzM5IA3RrFYcbq6TX=ᢟzű孍'XMUӵ۳~i褏SžK?f{Cns\-8Qܺg ɐ*?6f0 b>}h&CȒE!h5l7 t` H|#Kk*i(ܢPOqZlEjz7&P%'-^PpnШ+#eyL+bBk!$AP6# xpbdZOB*AtNL,˄l?k|D{73CJp}- ;e\Va g]8]&Kaytڭ &j!TƋc:mPAշBN5opD^Ral<-s &Z>zR=|fHsM9i YdNZDZpGA|cl,5ȕ,c*b`Dl7Dž TN }D)`u[T}ﺥ=՝Xgj^ -DZ: @]c&čV НK`ҵ7RDh' jUN;$Jt,6gg܇w`M3$lxTlX nxU\ L˺og+KRLl݇grUJuOˣHq mI2>GDR#SWFZ,g+SSHp=p!@?QuB>[p2PNBQg^IޔҝhZ$F93i>#1[Hn"_2=}X,.p;pk,:O&tsnYcm䲤օcL$G[.އEG{ju&v"B1FbvhGS3=^.jre~@hLgp T1?qOۚj- ^B[i4sX HIFj 괼D`bLxr$S%AS`(O>?YIMAI]|UO(n}Qi[/FkSd gW[抖 M'0p"`mp E`}NX*Ъ2Dk&B(^|u/5ʗd(z~ojY/@vɒcy "tbji KL1 6 ėݬ;`%"f_)AhdF#׊Ц@h= 6ͪk  i9n߼OW432ݫk$K朙MdM. Tgeoſ7kϞ )ԾEj9%c1PMkmRˋp_3MoᣂS@qe =4vrLXA/tT͘^؞YP[jG2G`cqgYU}~u ln<^:sFbQ(1β*R_Dޞ0 ][䣋6)fc7}8PaR( B)Ř y,&/Db50إy/ Ik֐gnX{niDPZX֏8Y4*^ۛʙ2WBH݅4MBwOF%`aԫ!Nz q$BB 4gxT .lCѬ.R|[Al |n*aZM[zz' q;ϺHϬ}uݨckih@Wi] (8YDG_si,/<2le,"| hPz3j6|JzӉ~CۑƊ ":d/ .Qc =p]!^경Q%s#7)6qW7Ҡ+wHlP0LpIѥOK|?d\_lLJgUn ?jⰐwV3̧zyf>)fpY5T< ,Z0ʫ⪚|;( ):,@20!JkX''uQnKbJ@}[gg7QDʠQAAۣt S@1Hjyұc $Bca?}ͬaSL|K8>d&xkOh y;ŽidhQs+8< N$d˔IJ5oYuI{j9si`:wEkzPx81g_))O?B%^YxMILdm{~Mԅ[c1oZKݶNq S1E$':r;X}`gJ$A7%1mz9M8){;AT c Y@d8]>I۳SkS[;˧F1NDyZjhIշt܂s=.-.~̞m\E=DG}"\?~PU`~..~tоfPIft}FZn)2xAJ\HQe3Akc­ô8I7$7xb0)c;0!, ksשc )R?ܰqy,&=?}һ.vٜ5:{uF] )8:$rçWV :#yL՟:.Ӂ$~R%R} ftd9ߦr,ڌ gf5+4$}5*?pj^+'NW)3R^˫\WTY ^asKu m4)4׳tUtp z('9$1'lJڛmgj.SBZ!;Y.QzlrD-(b  W+ #;;tt*fCyLv;>stƔm'NIqGp':p Ruj2QRW ttfXĕНJӦyVd6l%;=n8mѝ[Ђ&P IEZѓɛKMY]E`th㫹}_m:ϣHFe6Nv&IuKuZzu'$ RTX '9<\@M. s%Me?.Y($F ^ gPH#vSM޹Xy_bCxX ];4<+VdƓM$%R^6IҲ@<| 藍 g=Nh0HlLVR*|9l7_莘xFB\Hk͡70~ w {b8ŐM w $AŨ\kc.+6?xQdw[򀍕'@vWM;nu3kL_Etġ˪g& t*uy=շxvԬy#uh3-9!X59{/+J$>Hg)vBdk."+Y/""=W G!XZ>`xTY '5U|T@ 2xn*۰ڊ',%\6>4z?`)H͏A*kz1˔65p:=Ϙ TfWd=_s'%F{Ul$;@)D=$AXDƒɹԀ5օ=^)_Z~j$ufd'D-7}ǽ ]⑞a.1;c\^hox { k=<t>D$-Ju!/t]`'8B +L=#]mՆ{%?N/pU CvoqQ -/E^7+(jh{;{DO'@}oM,P%($eޟZ3\ӧ^Pu$ 0(u)˚q+Vo%y4Q@Һ ?f^M5)V}"-OW6 <:i 6y1CBDɀzi&Pfkf36wRYZӄ=S'7r*H q ̮K&zm5%'>\ f۪*f8Mq[TC, ^̘;jxoī c*KXj胍]">MkN{-"j<9LWCD{.LY|;׎د[)z$[=`CdSA> }8RMn|bZw0XU*\xd|5\W-`PiY:,p)x( > XIB *@ɀ M}Vb@FԨdx+>]t!&!K.uXqG";dE¡.tTiVSN>~ ǧ遂KLy=N3lLMy`8{&߅ggHZ#=NVϡqG3\QDcD`% NWs#|TvБ/`\v(/b$gPq)T+ޤ XwȺ2 =Ixѻ o^Zk QR~}Fz컥--ZP+z"]R=SE0jaګ+緬?i,ۯĮm]&)uš?M/nw?uhF D5l{ P 86HV[^}jz{F(HK`cFĥoA7?0qB6OCm"]4쎤MЬ u5aU㫻wVQ 襤j>Uhcp3ܖԝLy!3:9sr֫((d P d`eE5f,g#Q+$ {ެb^1ꮒ_k2`ؔ֐ oD&܌VOGu,>,7Hoo䆏=rr;|؋cY@M <񮗾r i{F<-Q%Cv^m2Lx4 )b"([9~,cc4b8euu'j\`v%/SI{z1BC#sCZC-wud{l+[\Y>r Kf0rI~*V=I3V[0W;gwyUbtxFAvo49u^K%WCuIzf\opU !7V3"v%OlCn*KWG#ތUP \ JiL{mln!s4N7BLW|p\Q3rg[=pF0?!:.yikfX!Z* !>${`BXܯO) *!KG`&o mxF*i[aץ.9[`|>32"ɨzV`dc |H@E6JS>u[Šq+^EA}h3u АGYe 9|S\'`%RƉq g.ןr:/E\!D<$V>OPv fF-dƢB8~mB֞gwn1E2-Bæi@:ur-Gr #OB)"KGD B"WUZ ?DyLxYYd qTvj3ƅoY,|0dU5١ÖQ>!_}1LTPosD}̘sefdÃ9hP]BP%%L ӣ2Y(5d(.I8on+c g*M$Go&< %Kz ;@Yv,M5`ǿBLZ?ODz"s>\6=OL31Tc̋X1}WCxBׅXZÌE [ +;q#b8'Kt`G5tP0C!|N 1 gŤ 3јa<'% H OڹbHrr}Q91k ̠*fI 訄r0P0%Zpj}ө9@Q~3lM` :8&L![]~r@!3R V{(amMRPgTma_`@A煤z+Yk'Fhd\<@L@P:Fs=S18Q'mn[e0B2BM?pmglGRP-G.x8kK.* 'VvT`A~IH[Iq AeKhd ]v>?"l:do;Acv!^`Dz5+3S ݲ\]s׼/t>JVȷZ:L7 U]jE;}A!'wQ8^a15ar5f1/ 'Ę9^]hϢ&OYe}lK]Vۂ}D,yi}|ZCj_A`f+8ə=y^|{tmh5, t~ u9  ld)3c{کnl*qoF#Pbed͍#*ޤWfԿ\L4@y8d(-uZݲ}jV6/uх=UAgv[Njr{M3&cZJ 1] rbZ+ZQr⾬H!9P{.t,daљ0R.Ukg2(;֫>Qf>G1摒Xj1]J9YHfu{bBOX13-%b)z휨ث֔ӄ|rL ѣ<50pz sC4q.EˏC:,-f^7-spHZ]qoKNd\:ړDrdfn(Ԉ7KՕR~ƕ]*hlr>g[h2^ awMEwöxZ wQ-BohCcc%u45w?A{9RSۜO-XЏT9bup Ѿ:ڪo <7BWIV6js`oƩ G=`+\j~GXwv[dVu6Ra2l Zr4&MwiJY{g(y@v/UR˙A]0GdD3EiN(a9RgQKJ,@h `Lǣ͓J2?p#YxO>`HqF‹D67}]~ȴs@ș;慰+ΨA; C%oQ=VDIyT聠Wǁ}JuT}'nHgAڡ;Т;t#% Z>?ŲkM=*_CIJ^T/>9+Dۚ~e dA]xGVF 2d$YyޔQYK3{_,uǡHkr^k/L8PXV??Z,=!";^{lfnWԲ8qp(b6k%ME ɣ;YJ \.X0ZcRr۽gyf͙g8M}9,zO30S*Zi_ kԟHb r}]60|;9^祭O&G.g<4 Z_6+m~TFٓps|ZX xG0xKM ob+r%J Vv'/=~~ck)WXj5 ^Q~N 5m 5Hge%j,+~ EHʒb[[`Ȫ6%ݣh7k,i,ā\\6g5u܎>4Y/ l{WA~ @u#^hRݰ0D]~Ė1 !Us+Z'Ĭ+N7g1tX߾[$DŎACyE%#֧Aak $TkĎ`]e5BP)a2(k_sې2yIq4tx@S A+V:W.ѹ*>xE4%Vsi@ܰXZ*)ڬI粼Wy D &lrWܑBlt7+d! bwߐ&ܟ 6n%]v%bK˲]ǻҒ MjT,\RA :%&) E4#:[kM TC;̃3pu[dx$>p92[F^Crl>EI!FQoZ1b05'F'~^0,VB>?na¤rύċ}Q+ !rEWؒJ 1M^e즕{{3o5z31¦~nS(olIqD3U ?!Fgr uDx&G$/Cj!lޣa+P{h\jpV p;v֝ޑz!+"/rH;kg7I}{\l6"m5P-QDüYc~_/'=3J$_EI8WBH(N ϛ߇#Ut^; 2%ij"extˀz?[ D~ ªmP"m^I5rγ;eBR8n;V=dM3 Ң\XUQ!k/6f6Hwm#%4kٺd>&i7$i¹Ԙ'=QKˣ=R6IY-Q,4 ,)_&R:XeQkKV\(֮ף4ng%v:`_ #^T52ѹ,orG-xWY\ * '+ׁ fBi/ՈJؐq W|E]f*l_vpu X@p !Uy_e_X-`X 2k9D7)3$ł@)&-XbGEd߯(/%1yp3U BA31!K:m*<>=\XZ k N7V."IT)kgW[74ӭnBz#̾;UR7)J#KtQ/5SW^ աZ| /汢Ju/ςbL b CcZi3M.,w;])*ɑ`ی'-jH*v111f?LxW7dG` Ii,y?KnK6+L'nFPu/&Ǐhe𽼨5l''! ">u]:h40Yd(g/Sj[t}kKls/Σatʑ$Ө)X*&w?{C&j̉颡U3PJM# |wqٳWO/u{EP*,`64hr{ʮ=7)IN ϛ'Ւ]¥1k7W0RTN6˂g;2bή/* 53|zb;[z=K5J^2*S=q kF)t/,o7b[K i!o-|;)xEp 8vfzYc}^чUڙ*p~hH՚[@yLeOaf` xwsy+Xq3&.k[ Hrr;0t/МiTiHXԻg5;)@glgmU[Wx>رyIsn0iC j7;,;Y.*E2IXF4!69@?Yp3ZImrU=Pju}Hw7!n{2#l`*8&G58hE&$&I0{"ϐ0+SDJs`VǖG<%Gl,ۂXK슼sߥ}귈u!;jg89l d2PNe~Sr0 a dhKNt b@V\1 Ԗ |ҍŞ7 4qS?I~lhVJ P:8_ՂtUf# nb۫Wn&sk6gqԦxX6G`D#d @.[E;rS7QnS8etfI'6xf4 >84)>&UJV("ղ03.\8 s|o3BywϷJ9c3oi?6=cҲoPyŃr_6~(pwsU`,+A 3Ÿ(9:M민рpAYK`@ okF^hFn C/CY^:^ci]ixdl9[x: RH>y.kCrn' _M?XgwPh1tXdc|5|z:ճ1i* ,q&b<&a%3DtEYLRe[#5'[LD:ٳR dTRV26C`6(q5E1]Lo;y<ۨ|'7tB 9{=y $,kL=AqElNӍXv StK;ǁ^9NS`XjD#z.츎ӳ?d\y2%GJ8rAA> KAo3V|"jRpI"`E,󏗢BO$YoLߒ^X~\o !@W' nGiAa7)k 䩤 K͕C=H.%KzY?Z&LK |s(!ZF:9l!b'(4NCHȏG -C>д¼<cw Y QzS^fwfՖQ޽ ò`7:Aը6>U*#2a̳>#V416:6PDj@r|N9Cu+=/ضf76"_2%cy ŕ %۸M1o /ѫXWXszΓ^r⟤D ܻ\-61:F3DOO}K*9r|@ DkH3״oWeB$4]O3 j:v&RsbX/HD|tr9jb V 0U, 1d͢A|DU(QFΡNT[9#mvE >kr8k;n21I#ګ ڵk=!ࡢEUPۄ|c--q ]wo%_XzPs"\ôіPqgun?X[ 2SCՌYe{xHa6^]82sALl~WLTh3hpW(+j57ۖ1O ?Bd Ff9դ. ]rwc W3-']HU3 4lu^'bqd9Džf%zvlaeCGgycd2,n6 ,S ?lg;bED/nY~ȝjQGY'M\ ?Wufh%psO!woMo|2 !,f]|w ԙo"}g զ7QlD;6sh9LG(rd^`WGz䪉h`Pj|Ƶ&-qܰAh/ ϛ[j{#,r!2ܺdRLu!, GΒ5aX)p-0]vDz->'y'J% t&fnfWuSv-X EJ'D]4*NZPnb6V"QЙ`|<+iD( ejц' ˝mm2"1ʌzvَN+I SJ)M`ZGGUBELq`G~=bvڄa8&t;^1jُ|ªUa\W|ĕ3CQ(9v$z:,"e $_F'h8 |jU8^>xn>$V٦>q%Jo[䋲5jN1U"WHsahEe n72z(.BwX0Z ܏h>C?>EpA7:+oE]P#?S%JFtw-|7!EEYn,+.m49 ,]^S援HTaZx?w@X|'/Z;/ѫC T/(mQ=MhN ڃ\0bӹ%2̄ U9VIJ b|9tuT]x!UI%#PCu!)yJTF~w塲/^aMn75 w#)jI+eJ,]\`($ nqg4_IV?'^q+ |;qMzd+q\Cj[jN[Bieie  s.zOn$Y/ڍ=)?WAvY L 8rp(e "4Aaq.{,P[+U1TdllL̹g6h>F^H~IZ;$u\, lr.$936plR3l%/3c }Dt?ucR\tc!+ZėaKs((v2r1=V0azmY;*8(>c7JmtJ&1qU][PYTW+ny ;Ap,>+DԂLfZ zG^i5UR2P9pJpo\k[ TP_} ۳5txeVW}!TgxU2p9[)s $$fzҪ&ΖFYg3F:ˢpI^X0$ s\q&rR kVkfҩԭR`" wxK#HA%!6NV]2:Vm9e:(-#r/lDUK4VÔ֙O֧:®d\!_0Hg-w{ ObLphAҪo'j1- F6lGwb ͜9nkp A|}7snxEa*_Iʲܓ,9v'Bm͠ކM :"{ o#//汴ix72lVAIaA߮rHF'-=R_Ġ'w;%t*(NG .ԕN䌄CA;.wAv&)R=Đ@~rǣv8ޣ~W<]cڐU;$TVߍ8lK!%c{.UqoZӣ<dmʬ}+#ҢˌQJ(T_T.mIs]bc ,?"6uRqρ` HGZثM4;N,CMn A` ,CW?a>g9OEmF2*}ޕV GWD *?%Ԫaַ%1?kL/]Dj"M,&qCrC5dp߆~,-YV#cUsE8@h_2?d3&[VDT6 又3bt1\ aU\^K ,'}I&4֐CvIDdܔ{K.#"x?zBp5{4Fv i9X 6vk IF 3x8uh`:ed[8!mme-ΟI!SNe "՚$V.]oAAwS7=A#kM')a~^HMXEs-H֛k3"8"bSV\2Nu+Ggتxp=KF@ Bë15or^ fSj3gNGi{^qNjf 4 S{TނtwwCX9!iNɷ 5:.?P?s;E4py֌}nV!%F@)')Ō3ڙ'.{X"? h D Fڥo KhwZvءʥwSx,oIy I 27ё1#FeqH5-P@Z=ąz .خjP(# yBHoo“e9^RKmj% qGKnvNǫ{g}'X%`KIjլ&GaO}磑M(H@)4{hoJ|)3 IJLi.jI4A#cۍ͏ ϹiKbFkUҟvou{N[q=џl0L}+cbQ]bmeJŁ_scpo=IjeE zwҬNt-F"Q~cg'ZX NZgqb .c<$f,{8/vZOJ'ÏV{3#B68I>r!> Hml B陒qGLAMu;_ -(Ps /[9]5F+}On>Vk;N /޷"_ծ/#BP0R+51W{\<Ľf*Nn]مa 6tGUv, ǶơԪAo/Ȇj;lQXԭG!~ݽ lb}؄{, ajv6o*aڕB JN+Ka!^ ;Nж;u2z-c KI-"RO[s|nbyVUe,zԶgWHJhWT);h7LE#qCwBDR<&43|itLH^²|,/"/L*W"L%Efg^L?9iõY7|^(nЉ`Kݛiӻ\ E{صUW*:Y qtn@umA3y/fMG*J rQ{:"cKǭ~2Wrg\ W_e2Y)=>d^u\Cu&VyJɥxkibls&ZCi$PPY%6:TgN&-Ȅgggs2&3JNyu̝ Z)OaXemw T %$LqS#q*K^F J1"pt?,qowRf>:)*cBs7`RiNe#Tg䦎_9|S:7}j:{E7_޲KVլ&DW#{<VjL?Rt#` .K8 mX2B(B:"M30&:t-yF[93# -G p -ًhaBqy3mqWϦHߢgdWܼA~Zn]Jytri{zV G;ܳXIU8L\PtA!>rs[mi$آ0$ZGa*3? K7=j+? IaߐTM{%Zb[Ao\;e.9$-cTDŽ ydcSa* {ybI]T)K>5f<~;QljQ8%wPBԠ񡅧!mqEAG 39:Be.JJ7+.Ch_>$>l lYVgIzCgH*oϷPN#+.2o /g],i}n)CS A:M5t0zWe^̻DзK5M(r*!Xy#+h"70ш2`{pn=4[9:^VµFQ#{k] ?L~9*eQவ'x(B,&+ZvXHf& =?WOViLLMvmgOVz#OZI ʯjZ١L)%9aRT3:)K1!sC(OKXWP.%X7FYY@kv8AوפI09Ol'޴<5Z^)L SC2=]c1 Jhl9ҋN)te NJ&Ngo$)DgH$A[ƷfȘCiO=q"X[+#hjg¢ֳ\%[<RM[ݎDשƒ;?ZH!W(pu6CBr%4yY,4{.HKX% 'G/!5vE w@7BQ#xrA1 1xDY 4nvi N-qH!/wEv˧PFFԧ?dx-ёp=K-'A 5\MɃٰ#r-8=icY&#Qe0-%⽴"| 攠k:+EHʞ@Q#1 c-4av[CUBCy?P''Gi^j .< 9e)R4)3-gP^]pgc}Iץ${4rgWt|TCFQFGg^liufqZ&>b;J7ؐ,"*DPt?q_C~im*z&uPC!#M̞DtN,u)h {X85\[ A !"zy2]] eJM;ZDI\%ӓؿgRŵ>@Ъ*ZlgYZ31a9ea9a7f8ce1c1d329f2adc728cf714d4609e6848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486 fad2f45fca798bbffd26499118f0c486c00b4db0 f0738c56aa8106524ebe0c85b9974a074efd8a0d