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   P!d ]]]HOL-Proofs:threads=6elapsed=590.568cpu=1415.196gc=195.344factor=2.407zXZִF! ߴ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV{(͛>)36NzET)^S&d>e\ORO R .w0{ iq+4Un]N E'̅( |3䰃cTkS(zGd,-'.;9Sy}TKssuDn^cXj*[Ŵ@Rݴ,0 ~IH L60p.YщZ%4Rƽ*T fgLA8([_)Ph~Ye~髬4[l) n(8=%S5k2ߵ1ޘ.dI-f}a"G;wDmI܍M;ݞ!]8 8;EZtX0݊ @ݗM|ܱZ?m%?h嚉mK NGF1ο"tJK%rx./(iMF=\XX5Ft+5}/6wϐإ'mkILL' 4,IT2DŽB0Nbs7-E KUg]  ! HOL-ProofswIo !웎ʵi\GSI"qxzQ;)3_ U/]m\J DaJͻn3BpdM &B_V/v|y{ܿr8W0G6MERisHL}뒜8Өf8ƥ ꁾ<] T6Q Y7ViPy^w%/C|!]2F僒SBjd:V;Q1 o#b9i?cT0o-;^ XV*r0)%dq1nwՁ$D]h P@߅K+vgHM|Ղ) RO"[78HA q?pR](#v:Сz 3ae. Z 7qۖѪ䀲$\[!~4"vX!1_xOSJ4bTCRm\3tP28l "S3=;nTtRnh8D=Yp(\dX~+]gn[[hfD3Qwʲ 0%af1(DeX*83{!bW6TkΩ]oqR#=^#89ZT+ʉf*1?EXĎ`Xk-je]\`Pmn σg䒇KH{UI2ܝ(%Wh,rv+A',w!􂓉\hF<&]Eb,"=Η5GB[UrǡmjE,~}rtOxA{@ rm =: i:kyK`5hkYw rr}mgCC0.Z&;@!m,IOd+wKWtC?MV~fڃ){}6dIcgu1%2IZ6Pcm%I1;P *:2?m {On&y*0^d [fe3U7?I8a_b^2MڙO ݣfvu-*2,+rk&zm bcXA'"&ч$kG9_dD"oIۈl)uNSΌ/J7SY}0"1R]5Cta b 0D}n-QO2SS4w$#i8j[d0]ېԂl5z=ʠY L}fڣw:k~,YZ TPɄҬ@O i1wLY#OYqҬM5B)NW㪁>Xx}Nƭ%!k f^SXP:{@$JQ?zm2f;]qc΢My:c"Cfg tNAY" 2Inb m)d S t(~C#aoSj)ʩ _Q!CpH~*qn=Jg R 6}T |" k$3qLI g4㼧T]+n|Zd?yA /ǐXdMg ra)zp8obFwsc]L*E!N*S^[w=4}h1a離۶n}1Z Q;;'o}UkSy(5 0Ri58;a'~,:j+c=IW0z]PxR2hf"SeZB.$W2ߔ0t'*]Ϊ9P$rhx%3OQ^.p5 Q~P;oq2h{u&U O,ZǺAPɒ 4uͲ+Fϳrb+c>eG?)%9lZ>KgpM+a;po&Y6c q?c5+. mma}g$8//bYBg_)>kru!I;vaUF^V88F [si%ZPߓ8˂7%HK.V, #f7sl & !K= _*p +0DsAӖTو#2\*L?PLZ)C.B.)H:㬁!T<{|lZϘC *с¾`0@R8Y~GR]vY8;[lM[[߃{mj͗ɗ9b,z261EN`t`E35d_p4ASќȕog-f"CsrZ7Ƈ@/YPO]br)^Y~iI%+`۰]q(w D6,AHYtB9Ef4gwh@,B V1:Zv`1α%lREvl 1{^OtO*cTu@RTK;nkN"@$2ܝ/ezd#тG!rTy >]n(.g, 70 Pg١/ fFd?l2hf8ԓw:OЁP7tve[WNc:V9R/{d{8 S[4*.p 9].q ;JpIaC{sSLc< ~9%W=Q7wC#6U]ݣ [_ p6d ́Dʝ6"dᠰ^2D2hUF{ \̻ZNVvٍ$"2׎dh#GVX.$.W.½,iTdiYܑc$Β$趔J]~PbsUv!4WfSQ'1{?RcQh-r$`%M"b>19:(V*;gՔ-+$07]M?? ݲi8ӈے#R|OGK'ǵ4n0c?ͺ;jKu`8l> TZiPc3)=X `O6 C"Dr ʕƑˆN&Gö,n#hэuSh % Ql5N:T >`>,˃\CU޶EcG{NA,ăBtk^QYC#*䉣&"n~%9>QRLejKA- ?3XQv`aUwT=vdgh0)^ e}Q`ը :h`\sᩁE٤~-ULh<)V Ꮼp~6^'vߋ 153Էڱz׎ʂrŵϐ Y߽4=ə~ig#9œtC ('x >@aL(5 p>үk&8kfvZAß/:Wo\>po@{ee愍c?:^"vrYBF%wKh6 0Xf@\YH.a [$}K\Hol1A?wn')9m0Z4>l/-,"~1]a/ˮ|8 #d?*+Sn rnUG MNuQ{L-,Ĕ!ᡎl<48]L!WrUU٣tD7m1&%%HpcD@U=>`% xLvEOSTq =0!T |k&NKJ{яD.CV3)d9,- #eF6/G {bZC+.[ Ԙ"0Gr0܇WZZXN|nJ@G8ͬ/F8'I=x]q4&.=*OYR,?$kx[&;FJ;8EΊ!Sß xlE|-Mp܎eg޻4˨ހJi2ۙ;UY7rxlM0?,St!"~nRgҊj=۶5A]w4QPD4"hOѥL7/gªKw *k%0jOI;|tu% C ZQY}׮_ɾI~?ՔT |[V3r߻{6"/7l[u8;нIw@A+I~+'OfnN^G$z-q#tr'~Ⱥn2e0C[ !؃/fD-1< WK!ڍ(;F@4Zw RD_sv uc+ m>ȖX>c*d/Fu N a0t<2\6F75$F1q k, 3^/ ݽhCh;^,HEC&G#YZ`6!2s3E7(E1 ZQy{P^R?c5H'Ύ)Z j|ӔRd0Ozg2tX1)t"ߥm"&==-nZ<\~b Aa dsy]@dv|EM!!B/@ Eڅ2z5&N&Gj 45GCX&&6ib>bZZR6ЏRθ@N>d(*j{ceVpXjxrOv-C?kX3F+s$;kK_D~X&'B jɅÏ~Da,84+j/\ym`(>Y $EYڰOA<ݪΉę 6Vl$=tsn#}KT*T{DpS:;fx%v` PQy"KEas`JfExK;jԣkEfN ?K#N_ s}ޝ P0 \\g2J$S*!zf4SL؝Zx[j/Wr{N@b{HD] 3w6P- 6m_nY7) B +WACR~ ]cў{AWK/bɁ d tťft4" $s4<\G=܈#OG͉ud h Zspe 0QkBqT|1s$; 'F0d+]= h7;_tLx iwo)I3I#Z(V ̭:&E'y5@Cm?Xט ~EU!/-:\biM,+oy0W䯚tPD`HuFG\>b7j;8vx|bHď29@^FzOhOd:Ȏxoe>̊(= ';ڈ9o,1}]umT vv}g8al^HQu;i0aƾGV}/2\`98f*SdԡqB4YI0ąRC$J i<,Hѳ`L)ct-qsRD%-}m4xFKOv} QT^mkUR"bIᮈ5?IE\nS"?O N%3.^[dbbFJ`7=F 0=8O;_M?ҥfVy "0x1+z GJJ Q&})ct=? /2 gYZ7zXZִF! Fq]ŗXi%9(RoQÉ bj AGlP,3 "P\!T-V`cJG+1b8\ ͭ`Z-7> 4LSp6EuAYaz]GTXjoW6B.:qEc$o_?'~p?w.2*2Xc#SK8K\*OdJ2ǢcgʿB%B͎1a-yR!?asGĖ5+R`[@EE"V)}N-; { r6Yx.DL+:}.I,asHfCm oowm W{Bc∁)@@~Q% ͕uR87F$Q;UTدm1q>X&:\c#ՙv`7+;9E02r*T۬ȏԁnPUdD>'8_z {S)dj `r_q͞! (TH "K(f;NH3J'v ٔQ㺡w,>w- Rȍ꓃ F]"SL4v9Ҟ]=:۷\RӔnWyI^/)?neXFv!9Z!?ipCrD/O;@Łq0>ѭ "64M3۰V|cA j9-cސ:TQ5ULzp fD+-o )ݨ;™*2hJI9+yL5jmįx N%HJXnuW;5wixmp\j3*N̥8I躓Xz#F͠=ͽ(Fks"鎺Sl -VpENZ0 w6u9!v`N \4֋*_6aqD| p%_K¼hfJ1v=oHhg]&m-Ot vߐ~v76|Tv 4Hu?vۯ`Y#MxF}0/WwzqٹE\D'CEXv߁<{Ņ(%:Ʌi?p!rt)#+ _Ĵ0&Y!@Eg@ȴRKwdASӱI&h{BdJs+>Lp}NS7's^Y(\zQ[;@Ñ;HYfv;Bט8#\oЛF[OP#[1 -9M),0/S}0yUIȿmZ2C1!aUgs7l XY5mffJ?AEhRh.pEԣlތ37fwq]&B-eR>||͍e0e,xD?(#Gy|9 ~IUz![BJ̥rU"LmY#EvwP~"b[`ֳ%^ⵑY s-PR˟j1r&.<575GFRN@8yl>+de`k-}_IT3V{)/MV(*IR2Ts%:'Ē!PןK1Z(]E+}s^=H2~zPzmy-`?|b^$t:4fFޢ@UcFWXs`RAl)1Px`J#B$[ۆ"SE:<rC~XNqT| )+*"g-`jܯ^SJ!+BQ6dnhҝ@2jb`9i!gid $Q|{T$ױdʇ-4~i,E+7P^T~?\;B~ɗ9j?ωY2}ݚ.° loƹ-ݪj|)5T jԼve"-wv<R&XЗ.4V9&m?Zi-J8 o!$0W:~7rQčtB䁉CﮗmjT5ܹR~&3\Uһ"÷`BL]X~ncR0~;zWJ\JaLP:;$#c|C#[f-0ahyWj؆)?eQHM3nɅ;_ Y (4YIu 7{gԨk"/Vsbk*ܛMtKEwcn:HFah:j@11Q?E0gCrpQ'e8hV^XH. %ոsS0+0J[{z?>J' VI*prr:]<ԆQno71yd%AEzr9GnJ\۫b#})WL&UuƱ(LhCIk}g}f5ܠN/rf(0B`F!7Y/Yl0on(FpqR{G]i:jDyⲈ11.IvͽLKc8PS- D =:=q7Ow)?H QKȚRyX`@+$ g^uZo7?~F6ޮfab1M\:F@ilk!o(!i=xx7d r;ʆ3- GIDŽ8٦-52QmXHt{@Js>g3kVގ[dKʶ!/g%:y `N6n2x-deIQUf7-]C. [ 9y.M-a)K0&QRN>by-fyS,/bAaD49*x|xkj͚Ʈp Oi$[n#t,||B4J`H+C& Mw;" j!jFqKHY`H Ǫ>L eI8f 4H FG(@zCѦ15= Fc0,HO1ſYOJI"=usH4oټ~C~~;?Yn$hP=s@]5On%&(ghdxE{H F:I*&* F׌jSmdo_;V\bX+rԬaK3r^"beS̆^o6VEbqm{6V cER!5|_u;܁y.Yʭ5>amC㡊JC.~jo$&_L;3[=|XK=cQ#Ĥ͌kMKK| )GEg^'[*t R!(WSS)k/MUO4t=}1X)Iud0=jpΎ;!N.c&hZ:yvG}krC *<ǎg%Qپ!q:=h^99q`.rpMG%6uDzmA ql$?v%9. @qHVdoѮ.h4z5G@2Yb蜸 掌mCyyHmp8{Hæeϣ%耾dN[ӚEFjʐM(O!9$ j|ʢv[^ҚnQxS!KSR㚠:`V?|^Uj_\]ܥt16A|n*MuV)(+1B2;,ǒÕFΆy%N'ީ2!SqWY/Ӯ^n)P8(@7q}=OyeqOL^ZrjRykWͿ ?jMId2`5a8YOP;2S,T"c0ӘI0bKU:DR ͡'jǭ@ѕJ W8:٪)38y"!0.!ǡ9m%/ .}2?3qhE!9wK4IZNGvy~UUoɼif*^\iC2H앿Y!.~6~N|C1-^mXlC\Uu]RhsEKwr9@ p3`$^hU/vZް7a2bEUu¾OzUb,vR:;S|`&ļoa zH/LIOR߭W6z;Ԩ5HvPd|g/޲\/ S*9+kŸоu0;jPZTb" Dc{LՖxRLHヨbDOT] 1 йD.gk5 TN^ҝz}'ѣ]H:mv*ke^UݕkRM,0An@ qF҆y{WgSV4ŨŸF 8 D]5-թșmqA f{KNQCd҃!*࿇\_(V곡xWWEa׋FP5%7uN$Lnנ a-7oؿQI tB,ŢRvpHcq=ʄS؅!&Y䝗Ąm); %~2ZY'Mׂٔ茺Q~eH=#Jt-Bp)G7\"D(vCCVж :|~nW%ғWtJ@OծMbA}T=('F An`FHE^b@# Sw=@2(bλ+1HA2hgv$ B:V|[-gzcVH,5܅|.N_'=lLEjۭeЅ,QRKI*#*6j[6Pަ sReOvN\Qga=]_lRQI$a`Dm?MP4O~x AQzb+, yK(/Y1-$ʷ9<sZPHtN3-h#3L5p_A8;=PBFQ?/]qhπBL,cFLeZu4Elk9y{2cxsç-4>4uΰ(ԞuE^!*]Z`mw5xH ^TRcƢXy`#%[|7? BU%/"澥4Fާg`S7O:^6gwBdcE <ہc#}:|M!|xvRo2'9<0.G\ g"q,VsA7O<]OP)~<"e;Ҩ{ѷaD 8\\aA'a/BZQu`r+_#8Mz 5Q)+Wf?z/o}\*R ~ב7s1W zafyw)$qA1&3m@x9#K9>IjYC$*H bI>)A xUbN oQe9TF8f2n -M8%53bll׽Jӯ˸璅YL'WKY4ER+mUŐ=JG}~a$usb rEϝB}Oa\ikፕ{p[‚ xZM圼/ޘ#c-INXhR.YC˃8  )f3!NΑ[{Ŀ?UN z*O#iEcȓN쬱N%:fB2;j!p>:٘^I nv8Hm:^ >QKU#?Rr`3YjjKY~]h{} krLmej}}whI=vm391p_p=]'z̑C;fkֶ}[BQF׀o+2>&9ld-jkH^@j/_rza}͕7;:NŬ4L7>V2bRٳqTM"ڦU,v?zAFJ f"ѷB H{<΅P\a>{0ij*%K *iqRGԱQvٻ]cXšk  CPB4r]e'D7`V(\|I#llSXx[y4jwTˣg y($6#-< ]t2~inTUrfv ,I{( @V U_S#l$*J>XXb 6B^;whŞ}GSq˵1ZH NE 90"cTLA|J)&Ճ E FR~Q\ҩhX- H;j+ SrB)&ba(m-'-ʥH%ư4)*~G 7[j/`ĝu@jBBͤ2:<ggzL?J G&!j\_X{BexdmH?"N Y`Zokko"'B[[&c#Iagk0?iaHx <+;{Z]G닚 MIs ŝ>gR&2X xvv qT  -ݺ>ss+*#6+<,@05u::5I$4JD ?ŎRi13ГZ1ܮ6g1B0+6=&$Vu^>TY6PTuP~,Rl0n?]As4|8 FᗿMtm{ k<iaeP&Jە ^M۰̮<,nxΫ%<[;l7GLlz;5X]^mCmtqN^wfhC]l[_K6Ee&__b9t1qY\#Fj;@ʻ'gL-8=\Wx*-a)8|ui>`59,93i`ivrה)p =)-2Gx1 I Rʀglݦc;X% 8PJ(:.Ck<:ԹFp[?iLlŅd$<]ƒ5xHeU+_qɜ^cG qQ: gU}gvsX[aͲt°*`:+yC١:1XYN{HҹT\QI`v4lPSV8ޓg-Z$W,6wL$$lMyh$0}sB6*d" f\"J);Ҹ8jkj'IG!3M6`UJ'Y' I Mhi2k+^:߾H(U^(+d@9_mTVↀeboɴuwԿ5`@3"=9.RLuS{zAY>Jx`sP}/KUei--LRqMiY~'@W&uF 9v,S2_e#yw0h!Pݎx_]3X EAMM}c+=n"P3DG&CL!D(T7A hb&fE5jBǶ/𿋨$mTxҘ{QHLW Db '<333qGՀ-_-g6D39lFN)b%AlϚ"5"R*ab-V˷31Bч\`im4Cv ![z@tLb<8tN 7`j /#ir E,DYc$CΩK#/vGrMd"+@]- ˚}jlxL$5_6EK )cϗ.6ت^mr7Weh-&gHj jrs"gJ(S<|+HXkksRzuJ:l]Q xb(¶Gpb|#$uBڱ琲oGab!NUG{|/b::-`ԊP^`4/pFĈ24uı )moӧX +XNj.V.&iD6s\;M$F)h(b }»2å6TUdD@ˌlç%Fb.tOE)#Amg.B&SHN]ih>+Ѕ$xs]X5*kY\.&t\ڍ¿ x9\0CBbo8J݁#(94/f-k˼^q t +.x˷mXӟv-rI0͠i`_"# wTP#`"`u陸KiT@*o;^WseⲛP3gouf_g5ExTˮjV,G6C+I B+r) ɇiĜCVFXCB\ (/1Def7nCGG3Z[ޖ=t0 u&g/A򹰡>Z2>9d?'J>1K{6DŜyFR7=k}.q48ی!{9 $mϧCgnΪ _T݋ZL7q ,v:9i (> matIt=s:-ҋp/hz;pP+2"ׁp}­ 7ďq]Dh)ɇ?7y 6P`$sQ[ZiX;R1ATzp,57 PT6ޗRB.:5XWe/MDNYv h 34t[[=`D?ܙ[/kz'+;bϮp]bdlWazd̍0<ݎō;ei[d274~*:e3znOjxkAm / q?UDV&z;"sVǧgO^V(Y } =<1(W(ݸ<5r PrRE3!7*|*?K_Zt)>iK "´}5Ʀ'# ,' `+voJ~dx曰%Q^7LP! j }> q3KB!@T!]},4 u_Ј(l]a HƢP_p&ڠ.X`DGvSJ " RPqs@ a´y?’UB2PI+ 俒45G6ݕ}Ssm~w~妕.4CHx-rL 5 jP.=z`^:EDƒ _:Z  I"͸+BSaVK/>p@k՝2'Gl3LJ |e~7 1E \ݦy8W_a@jL,<)<=G_JGlظ(ZNe!q&b]XaF<.}N`ٓV$0ͧD XB76mQލL9(3SL/ӟ$| ,+ ҿ 9uR:⽂'λTz fWg _f9Gfn<4vPLvRFiGhہ04A;`6-K-noͧkаB1~n /ۿ3B0soעm⛜bOQ: F;`LcӾ\r=! أlv6R 5WmAۼ*R8p\pҨlhDY D*۟W9lSc2h>߷5eΟp :*ʒBܔB/}hmLvsl<4I_\!y]E7UhDQ|uͶ+0KIE]ӰU돌Һ8WCsgX!.>{hah-&?j .yղU#ߟ 1x@'~hy+nrp]X2_NQ>GNgqpj޸SC j>M0j/̻0xFۦgZkB2v%R,N2U~|}E?#"K8J7w=pWɈd2)LT%;֔3byzޕc`Ie6\~%ɆTua-w'z03䅇/`0H%0ӰqQcl1Jv{KdQ&]37c(@Qq)+$8g2dd)Ae(hg .1%@ں֗1_ &`q1$!'Xn/.IC mgk\(sS/|q8ɹD{C{r@lu`Evia̕E`B"vN'qVE\HJlfb}hǏ{'SA`L,;j*AٱZ--E ]p[|  D*j6*U]rPPg@ ]]✴ɻx*A?i4↡í:@jOC~8Z\>Z2|^W uuzY< "A!FX*օfRf~UPWǪF4藺DzyG!j`_j3n0Λ2ԟwO̓0ߟ/ߧk=ZU/ pJLbnPA~}j㫀][Npˤ^Ev/(H{Agx:G+h6bQ5vgC}rb|S) #bx.,^fݍ RFՒ+6UF$KKs"! j[lWӠ;UyՑMZiN Bn`LMk^ܑ59~NGsT7 ݔ;$ј [=/h=1Mg'$l--R}rM8>bqc<UAXP>M~Ozr5P`hƇbKߩI^ϭ@LTWtLu|efdɿn{~"(BgeO!–L~UlH'8oý?{Q!z?뺽F岕5I;!.=?a3X|ʺj9ka?JFQχV Xٝ`8 *Ǹ_T(I<< A͘=s{T++7۹rY]wƣلhh/V~J\h 1B)U[RބG$p_!Q]YKꆕٲh&iFu?shMV')m8bf8^LcwX.re1RD1: hP)r=? e֪msDn=m=t^ë7mk3q˧fyv:uNX%uAQz[|kw0:/ApwgĻ'|vlfۂt|"Q~K]/`+6# 1l5dj;w L͢d&&/GRtXLIoFр^9 51XVզ9@src4c@D#!my\Sw'R븬$ޟ3+a.ȌuBudZ;O$,/fL܀4ǛdwGi U*Л& k,dN60vrTKGyiwo5Wuq^E;R(w<)_##yypY+&W_5 8kKp@H%ʩ's'0^7 rת McTfvy1'iI?Ial"E*/Q'jB!Qr q-׆.He78VY Q*]aWtjkG M54#FYѩ&@d:mD?$raaWQ*x2Dv*ΝY<ɠ_ƲACL:¥2`P9. ǵ 90"! 2ǂ5]Xj:?uy_C{X"pS č=+=Ф~h$r셐$:n@ r.i:Τ(glKɳs׵Ohxj\=l:Ɩ%jS[.CGcی[@Mjʆ|.6%CeډRKnmS5|"So;^| _hN<Ag,uNb->Z&>%*A GmU z}Uݏ'4rs "SA^@eGr<>uRaaQVu\m]⣠/XN̂j!hӫ%eƒi˹sc~a98 ' AB5 NQz,iTtvCƪ3[M<&p6$O 'b4ob< {R/BO[ͥ9JP]IBPt,eg}zH]4}nwDR=kF%/%e4ycHgAԆxz> :Pc}4w&4g=c~՜튐/nzY9J x#1OXc0Ȯ,y*CP s]׭`_2<#8)ԥ8(>t]Cxbb9DMD'ui#225}2].=z윮):%QSVpxFH(G_ٟG/T؆M?n?)[ RVEf:-w'%|6ΓVt/)bA/FYӉrG{dJNT.IF iM;}R "Lqqk.A"FA]|voRKӒҥ5MJeׇ&Pf:"~e^A Yn4t!_^̳LT:$ȴdjykKިFJeU 4-+S)Fnq4[L,Sڳ19/Y(u၀ )< Uճxa=Y]#z7b7bl+DY$W1(@] b)YUTwsV.4*v*%7Lث4s@ڡ-7Ccm궟ÅjjZ2R NN=5nľk2}w]3 {|ʘAWKq#kf之1W L79H_' ]cWD l rtńbgB9đ!c~~bkҝz P4ӃhAd=s+P5i8.*f|c!H"+[he嗯},:4HuۋI8x%{wMƄNw|AdO LߡW&~S񿚆f>}G%B&ƋyVc ,B(={:d[ЇU6ЫږT9 RzCڧh Jz</m[,}T!#mM~js?U踋S-ۦl-Ɣ:kǤ|%FI }v%E #(?+P`$F¶LqK(OfɆ;V ?0OY#p7m%ѻ*9hEܟ~1 .]í+zQ,q~#mКcqqGGй+w$LX܊;]?uۤQWKVAp&uU\'wl|:Dc5_΁@cOD$;u9d6I.YH\|m03{(o!Ga*CSYV%K( X./u|5%CI= K.Uӛ}2Wv%mY1PQ;db|W]#Pc0 8Q7S}W\DO4X d5>IWү.Gf!]NgFk+̎IeΐA ˓J72^&2}v3 ֥/3&t+|ȟ7z5*"ë7E}3'_<?.fIC= ,Ƴ79rp'M`NJ; &z'jg97fu#FY(_ǒ/,Q&!2z *glLՉ/;e Om0:-a fSg_g:ǕbHl)t?U!U'D+A @|zN2iR|#m|`\f22 u-WP0U7QYחUR:TX /h.>%PGSË΢䌓[wpG^tA|ڹHv6%ksX$Zɑ|F $r/JFKF,#m9f3\æ 8Bwլi e5 NjJ+]}FQ=pyhJi8|9gxJldH^p4/83OpQ+g^,~9Ӓ}f ̒y޼xKk< K{MK$e6 _XJ;HWzw86WOCDCg&:y H8lb~z%_:觶ۺEqKc?7qQ ɃjA!]bb "P3 U],D[岇GBj@r2CuOAB6 I&V@p8[Ҷ-i2A|F;o=0OFjr?fn*uTV,Qx).A)vg1K+OΪZHUBז0%b#0:%frBfĐ+Z8% tHL/=1HUǔ!=i 'gRaHb|j}/#Xᕒ9_ _:˄.V0u AՈZ۝`قE p-S-O.yh) (?vNN x^E/_vpê-CІqӊQbŴmn  k!́fջs1Gxܽf02DD^ H3Nhڿ9XNfO3&Y `33E^/-PcBB㉂oj!,x?\ PT8ŶǴْq9;>#瀉/G>P9 6,cx0}}E |. :J("BOO&czF E CֹV sd]I:/7>Pwe[S|*DPb^E5<teG*b*\Kkb7R/wZ޽4q]glQPS*تvX?;SBA $M\y۲k!][ɹ>_+DPAWP|XjS_AU*ǿ Z@ECY5JG(U#όda+l w*ʉI. ۲Q iH0 2ڽK5C7tȴ~ن6@Dt垆!$^N`iFD㇊Ϋ>I;iA3Kw֓WUP0BxChKǞuIp^$UeMjI r由%Rw ]Lfkt+"D!JFVaȏ>MA%g'@'wk%1h̳D^}Gtݭ'0)2fD:;bhG 6Ed5SȍlV7ށ7*R8*()I-?Jc!~~TÑ)e!xѥs8Ma[uGG+npU5fdHK=-w%w rk[&yGf7/뺞>R_"BۥW-QNjDh<9ځk,/di/MB \QoJKاrx&t݊ Q=?iB탮giM P @OYJ[9#+24 *7 j6a_\dhQzX~ {ѵmkW1m}([P'ʞ!w|iT-4qEB?m_:#ٷw9|M*+}F-"dQ7 @t+ݻ[s\Q6X?TEW@HgkseClV-1?Y:QPx_C,Ddrђ8i᜶a8Ϡf< }nZ|poНеtսxžo@~ 3wD'dV; WQgw C`ڠ)!9_yf=WiίKFlL,q.7N2)Xڒ3\93t [rorp9CB.&}Hd`J= ͝Z]"RlۛA1fOf ۃŗ~7,+aU7<ي[U%M8thQ*V n:nl^\k }L=tm H|]RfIyСllt̹kdYamM>b:~r t,,mT]0uSv566/v`c:>)$BܾZ*q+\S "b*/<j]w:Tv#}IֱG>w_' LaV xNJ׫CYݮ\E\m ͗RFɪ1p{O\2Y; jKKx9ca9. Q-I^~6zxJs=1odcѳuJ$v$D"2Ҩݲ1ʀLiNu8R;3e쟚yI= GCvy4L4@ 2+SwV.W+%tBU &d%8 DC:}'M7M!p%AaʾUN:Gݭ_b<3{P%3;Od^fK-T2L0cŸ0zn\Pm6\0\m`Uʛ6Dd6cV%"uS~rϫU t?`-|h^]xѣBliϲGՃ6E.S_pA0\?놶>LYY Q?ޔfjXy,9 ;R񐞆U-e`)"kB]mDkxONi_ܮcy.I]Z>:ht#6ӟKm>e+b*=B[5*ݸʔ%iFs*d2ƥ.LR:5Eǻ֛v$h?G8lӧLk.'8?x[cyďʗ8ΣJfS3CT ֎q&-;bpzޗl Je5 &,Լ9IIDS_dZ3 Ia:c4ҀB4.5XNjyjNA6LY0j<[CWV!q}̇0ns'_T"+04>_q# QB }OVgV(,ð 诡LLZ^3iMW=L5WCF'aڦWl`B3DX*Q}$8/GD= :ۇEIyzxH:U,S\$_&eGCp5a|6i[R)5Š modGQj/n4̹ܛTӳ6k{pߤUw.< t$5 +^ycU>3;s oqd3 6F2dJ 1KZ 4SADs`3ٲR޾btFUmn縺zbԽK5u:!L>I3xhBH+r5bl졧zȜh 47j+?^7ﰂ e##9?/$j U|7?:?bґfR )$x sN4Fs/9>mlO Rv"\RWd oAhwMF9i(8Дɯ?V`8t[dZcloi'B +l1ꚑCf {yYsUr煱w`3GH{~Cgʎ3?ߊ2MljJjr9:x쥽L[!84LQ˥9YW6.RL݃hKdYNv|.x9+ar/נBhZyqlZSABL^|\n(?"{jۤ(y&c9PF=]cfkzM-& tNGRNWWib%D Q` "wQAO lu CҬp~<.VX-ШL{VtY՛8^:5$, ùWM6 #_N#{M^5vA`1J+v-6x#"Yu-tm/ّm`@i`am" Dc ϐ0iϱ+2ɧCaJDٜ]u=Zz,8Wub]v-l(KE!W:$oaI}Ch#\szRIH@ =!oO 3;_](p! Y+ݿ}c&'~#ˈOzf^)08A ݜ >+1]1rX}f(uM^B>y컺Y>*6ͤHIui0~A;Pa`[FcD];ԭdi~R+{-ҽlF 16pskޥvRC"DB6Gәihd:<.K=ΧBdzLOQߩC)#JєWpvj]'9BGrb'6 !Wfd"I% XC?8@! cGWF:.'U2y|G\K O $pUF%u }׎& 2ځO  uid#Ѫt+r=fٱ rX^Xsr 1./WsD6Jf> k5iJ==D#6H*ɨ/' L?%pzPO !.3-8_w&ϐ)Wou{̅H~*[{ojzG/ؖeʳYNTSP~k?9vA'LZc DLWu\PtIZ&rN: nsZ_̥3TN;Ҵ䎮/{̸RjivNf46ZPZv:w ]( @SɐW7սVWZo:6uvTĢn:“X?GYpEA=qbFxA CzqcA+5=c tT -㘣ZzOqyn#pw hl"{jmI L&*ѹ܉.&E ̮)j@rk8E$l9__(ʈYs3eb` .{wn*"~h@WB!rH8[x.d'/q=CISR޴l?CigfbaHaSȢ#=_ǭ.պ甠dz,"M G;Wi7Y!"۱t,땘Cs>h8ovSRm͊?[oH?II> Z@dq-+ZbeZ0U kR5e3C޲hu[pD ߥKYgqo@HSS#wiͧKrt,_C&yW{ʈ[W%/.tt!XECݎaD)Gu"ES& >RT$ùs%&#d(W&wW_\g&S~^lUn q)%D0wЂW?y\ӝmrN5 h\Eu{t_@9*X{H*!eEO@ ^/:ri*90 YCP'?.bx#'_/ WP|~R|,~KZECwghZXhQ5]7\ 5Srؽ&)Ůmın\h ֵzEJ6 5Fn{_3ɷ{ڨgI9? RoBz/i_-+9/B/H],K~X["R"rtr#.o2B ǒ(7+gYZ889d3eed3a894a74e3832f730a745eb43393e1b25bc7b8609748a10319dc3892a3dee59fdc4e228cfd65379df7a6aa7100ca4201ef04767a03b84362