SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 `%$$ ]/]HOL-Analysis:threads=6elapsed=323.849cpu=1675.928gc=99.352factor=5.187zXZִF! aRJ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼ 0 ~`V ?˃H87j'ZKv/^/6u?3ssZ~b\rh|NHYx`ߗݿ4Mʶli ɉpᅍ @Ю&NɂT9"p~L+'r1"se<|6vx9gǏwo1i?HVAaQI%Pc?; 2!}?ymmBOc'y}ޤ2? h-@k2d:9nRzSX*KF[ʖƟ]D͑zE揟 Y(F7-+fhkX٬bLjn{~ xڏ'bMFH.jr^MGiΘJ1o@bT)}{d 4t bKc"c4$ۡFZQ!&Y%<Iv4=;۹nd3 J۲IVΚC 7޲r-5"/AeM1{c"({3k3Ɓp_8Ӑ"&.!ݲ[d~.&\F |N%W%lbO,Kb ӯP u߸ewă#ͭ $X,q> =K~^GK|iSw7_hLW[nJ~#*yگrTBl8:{?=e0X.įOt7J}oO8SQ1)"N 7lwz` !b%LR[U5ajk*ѓP\;OHi[X(^inn,oJl-TyuqN?<Ζs>F{ΰ[B,)1a̠n:lDE m̞;$H"CRG78k?ڭ͙ MD~E&5&k7- cKC\+1 YpD5) /`k"c9$msLaˌbOf~ FϠr)2]A6ay8Be]1(ƹ';P;v;Ȩ~&{blXgk&.5$W_,$U #y#6V& he7xBw {@7YEM;`LY^xH.{ڹ=05L\|L u`~t{9Tr1PS=(u>uo[29c\1J1McLAُ= Zy#xGi8~ۉ$ q&{vdk԰pVcd'E9 xNh%7fuѭi,:)m+.ۏ9T!;ח /`ДAצb0Qv[Ȟ2c"F[4eOܖݴ+ɭtt3~RࢤP?XOq`>#8Koӷ0{,ʿE4O2^xp{#aW2ۥ(C@u}΁3edǽt+Y&a3ajdZctc;׍HW=ml,sF2(٬(s4}{m㘸Vbv1|͔MAf w}Xd\9:̈́ϏˊB-ؾ D" kϻH@1L%ɰ%pȷI0+bySK$:]&-B 0F7$!녵-t~e kOC>6TA1_zF,H`h)l#XM$v\JPvE%0}jYԛHSlUT: s_o~5= m]8 ooX% ɖI^Ɖ %cg bTWt~qv\Tk+#EK Xݥ\wTR9[AR OX& G$W#b&f㬔K3=_Cې7Ǎ0O`̓"k IzX "ây\ZS7𯺦F}W/,wEM` yN7kݣ(^7GYEVx mDc#uMZgFqêdmjT-aH{{)^tKm&WӇ \R[@pmΉ I(0M.5Wǎ%UN % HOL-Analysis  E&.Vi,g9mXU)}t28gMY`^0u݌r{U (㒑_-3}ΩΙ恩̾:18-X_ͻW7,Z:?61CxOM2̄k-NQReAĞpLFOE]!aDX*|jTMдC5ף; i$cGwg9W ClNpb?!e4ek?a]ƈ@<]a`LAL7,?y#QL6Z3g7?/5/s4)9їaf\A3f AmWyn>H|('؊b&n<tBg$RB̻|gEjQ1،X+W m6Q' mcwB$"%qZ/gȻ}`m D|\LHRby}gz?@g.MH,2y+:Uɽy lMef{%)X<'.g3Ífob~zfVq'؜iBܡV5~In=F%_E Yό{y# Pfòsʷe>GfLaXʒ B XYpgt] &q1Pa+F;-0(w2G$. 5U6Ŗٛz 6zlFLo[sX°4a[I\jJ/lgc_f>?(FE)˗"w0U:<k"As%Ȕ=?S<Ig6{ .oT(H7v]E>ZplX혪g#KbvANKUoo a[hER0ʹ n1H`F G+_PB-$ƈѥp^pٶ¡4x$<{E \fI}M,>2NU/za?JC1[ %s c[l%c9d'.rG`+&1o ܌#鷃}ssDǃXq`{%y<Ā{vE 6V\idKIM{Cޒ;Ǟ-D[O,~ebU8F0f2Tsi@swr)v)F~Rݖ D]P#Tç^$jjph&&-/vaY-IA7n<UJ!oh"URbF ^L:B@ȑ;\7'>e% J's#Ӓ$$' H)ۋ tXgy;N}(9/vP {0w>39: I`/?&/ ܄B,Q{}v#Ξr kլ"AKXk8b /2<Yp&L HR6 JwJv*ÌDFR碶؀#LkNx3|A8t|z{B}Xg[5N[cA?y kd/^sVO%eJĦoawbܓ.Z !A_(p l ar0}?_z% zˌޙ(I[},aղ<U ³G&@7-^B9OɅ^+@H&zs ;`̍kBWD*0@בox~U\\":ӐcsjI:l%UֽR{8C̮a6>Gux٠`nʈ Wot1[TۿWO OUl ž:$W%| H5m`j ImZ̘3{vөs!TrR`d_E=femaj-t~(|̃{Pf,`rs e<ܳD+ W-Z[^zΌMV/G5B+:ޯ3TLTל2&x6{gkG'wvkv L]\ҬW %gNiKNN0,4`3my)7} '@cL ;ֆ ~DE&I%cjL=ykyC`UOH/H5K9 <-ebCTv]t]8l r4 t|Pӗǿ{SDRa")\%?֤t-Gq%`4U` CqGwF F.SG^s"+½'#\?NQ9B0FIgRs܌8Z4~'ǒKWZm'xҋ䩏.9q$Əf:  o; qwD[UKр&ФB 9^G{[4>Ig{Tl`gREC۱O׋ U՜`N=Z1G:^R*k\5prVrDcqe{mf"'#Ŷ / Bi~@?.2[-)+Uo6<ײ7I6ܵ"ȡG^. ,oE@( ATSYA>܋f_b+>{M痪r'S}ʂ szn $tHz TS-c=iu4z(jA5^S(]‹:~7>Kg4ORSD 7= \ƒ%VT:Qo%^9H(/$ .7|o=1,NfR'9 0_lck" ʿS )b,2bkA(ǔB0Y7T5>*u3B鍖cW &)OAE%6ө9 R> 0vA-]BHL";8/7˛_(?(h!L+['55BbB|AxXxjdbbraU6I0E@{O@T14EAmR`Eޱa)J[m限2l(;d{|f9P"Wk\R(nd>]]A{Z~ \ o:|E7NRS:]/t9L6aKBDb{bQUԴǓpj}A}73 vL.ÌFc 7%!%6ajXwgI\E^#=&(e+>:l J*%;f> J]D7S*7j}L)ՀuD"GP.G*M֤ _ohr]J3@Ol*AdYNy2W^O$lWce4 g}Pz /`$vx\ƣɉC9i"io*=z8|_WPo}V~f5~i$ Ęi:񸽮!T6-VV-'̔OA7DCJOk{kW[,.t@L0`S w/r[ƛ(n۫)Q&D*'/Q"UWC*o |`g;Aɟ_ӸKVsa !Γ+|ڰ\' žlE A;''X 3rR!WpTVm7TMo(YӜ+~$2;W_. \~ f(^nnsaϓ5ʲMl!,z/[PD௃P咂rH̑b;RoSlf{,<Pvҵ 2Cĸ7M/ENS(wj$L̹ug[("),`y5t6AfWb]G-M6s0Ǡ|Vz"@>tR8ʌaw8%eQNt줜4>XMA!Oq̀k1bM '$NU<&Ef* :OP5%Z ?9*Gx>𱽔_ M1icIo!WW)GyVfu3`1#UG0 Aq A;R,[{j I,0aWL|"P}@e>| +~hxzR/ONjkSjvV€=9 b}W5G) /;NyV P{GL7:-(5xrWdw!A"b ݢN)h$,:+ 7r,uɅ ?®'{*Y,Z\5d`|xQJE;K占~vS9;V{BƎAQ& MR6>m1l{/zd|',3 RS_ 3=rHj]n|tzHQDK&BxC]`96ms#&=)mq~qrzZ\ǾPxIcd +-58%TVS꜇CA !b)fi4|f-ǚ'j ¶HnziqY[^ASwz}*!Y:ZƇ`5$qsp[?"T0AKW`Mc_;h@&$rΰ x_Kۇ)]ƆE"_sq?Av̳?4ͪ.[z$B|P|dEk7*pDtQk QxwH/Fl(w-ErQlDԛ~>Rc Hƅ!#7LQf. 塿SI;z37Wc.ˑmmO~ebX0ƘiԵ@awQnby)crD˿׋2;2Xɴ Ɔ #Wxx7V6b5LI3HdUS^RO2MSû_:{\Ӳ]f1tNoD85uNwr;^ Jfs\ⲄX?'8%h8Tc" "$33jv\b}ߎvCy wg)#X[xqhy oQ[EA%m1dG;t7WcU)gy:Kм+;ܳg_ ۛeaXn׍{N7, dv7R%T;T?E5DN [n{ 1pnGH%6jarˬ6b6R|3Q.is =ou(応n3T)\ (pbVl&3#cӭg # +u0 fJ%2Gj¤ioLXmGxGSW[w?9C5C/4pr]/ZQlȣav$i ٥nj*B;q'1 Ijc vi2?3Z,X㽵}2“;%.}iσ{) }0xWkV=@mle zKB-{oJUy!~-A^}(bVOmHU[peƕm4snJɿx),gQ^R6L1uka%G/T` $t YѪ8K`䈩}'s/.Xm_hĶ2J &ٍKvb=־h 9n_79bɔyX mD2G1 OOb-T7`^=3.~Uqhn>%Fi +Ruf=FE:\5UxU9D #H_<PDTbxd35>.^eTⱊ_7h[NsVLpA8͑gM5Z*@,~u)0 J ֪KFzBsF4h>-ˉY6z_G;wGF^g廹jq/X_rbIy:%H@ǫ˾K@jv$0tb( @`O ݑ<࿃]H7D_zi;k K? f057 8 x`2z]/CeW+ڱ`m̎l5gXyH'`~IϻۿV:4qmQ"}`0  lQJpQ.H9>c|θ6ad;eCs{Ox1KʵvB(:tNBf005PL6ˈ%+i2ZY "ͰnEц AROV{lYWMt_ H"lhyj;^;#d ; }:[n4ԃ5S:άLl $>_a*L|ύ mh^&iE3 6sᯘDs[K3,lveĬ\~z [GjhkX@GyN}T)' .Fԁu*(csl?dJ5)=`l>MQqf jNYggLl} 9nu:Z}OD͠Nw%l?W0B74H:NB?;YS^x(! oK3DIB{+Q^O]N . }6{+I-(34* |T}],n{jf.JxltIѼ+E{,$նQuuRuXS7-cbh dLyIǽoʐ4ﺒ-F|[^rC#֌% oNP YEZN"ekϤ2Yg49 J؋RVt^_93\a! NqXiZH+\FMxyj(.恫FAA})%Oq0ɜ=` נ >_ptӨa1m^#nqm(\-&uAQ0h/>;BW"ЋRݗY2WfGR%q~QgŜ+m@^"4%Ʒ&A?sTm0Kٷ!х6d"D<(cꇜϤʖ`r|OU#m|Ŭo|r, ˻ݫa۟BW#@UG6ܱMEB\c%~T=N 2<OY=%"wP(Τ~)pR,B9@1!XGvbѩ\nw XO[ 8` 0 1#mxnv}+>3 zK47;ȇ?̇Gc(ސ@*;%wy ~y~P!c56R1"T\Q=R"~بTJ| K-%Jp!bnNBКZIK-Y|=p4;gM5U>o8Sl PmwKx/bzDD#[2PlJD淬`;eP`Ck<&msjoՕ3#׆Rs[2Axbjc(p[kE k\Hlw6 i1ƄNsb s9둨ݠtbB8ϧz-O20 Fb+Êx![ҖE&fx*IL%-bSGv|o .Ruc5]Hb'&)-.vy8;,.klzEh䀳5ħ\<|j/͡( nEeO,}&6NjX 5+p^zGDnҳrF8f5f_N vtBFݡ.2W~h/#UIxI6Q69 C`GG82Zq}G* "&c݌WQJƏL-/]г܏Ay$Z%W@UU 4@Im{@1rJI[>=5$,<|uC<^Uk:SߥLڭȉ>VVɩlLv:LQ`=&6n6ƥa 7wΛVX\'鍀2]#lӥ6^Pb? &o<\?lru0~[ɝtJ[FӶ>,IE>[4Zw}Mgc5҄EuzER#i2 K @cyF݅* sJ".mduug"PZ6m ;Ix:}WhzX+҇ F buƏN$!laOZ"_1_R ՔIH}&YtSyM25$*&6`C4cF88G I H[JN;0]_LұCUcE{([^C E3ev{j EhYo4#i =u.^r} b`MԂI;@s`W;Bn^r|`4o<1&N~y%(~4a!Ĩ ÐYey7"%χ8M-7]w!NȻ_] Źzw̭;')h Po/$hjT.EU D'hDRwR" U\҇ž؋ϧ9[/UM lgiT:%:%#//7GwEzV*M}4N|UW: MH$t1ZV@x~_{@qn^v%؇SDrXQjy eH-5# w;qkcO5Є(% a&Ndz00h%%X0*Bq@َ\Eapɬ"S!/3WkR5^02 F;q%((Gc߭l~ e"{~ D 6>Yxq̣zv%"P]">qT/wŘ\ݝbxrWuɋ[˨? RN?>rz&&)]d=r$Y F":#< Ed5oBV An`M'h5q Tib9hMqXU8n!:AX uW]' 2 8 W) jK%ݩdjJ*B ls:SUQ&f48I%lޑ}Ti`%y_HCp3* rr+9d3ڼJ}EDMoer9 kMz6X<댮in-a6VJvc4m p5egs(rXkbW2TYSr=攡Ϗj}/*(UփXEaˍ=Mx@} /,7|c*|R1s\[>MKpDHTH4Sа.Y@W+سB ׊ЬH$(O2_E4ӾQ?xe@ H/!r[>Uo Ru/D~2t l˧zyRXֿju.E$KK@Kdebd`(`x$/n*4:cH؞밥ac޲χJ.#w IvVSt}qXc, dERb>4ƧoZk%UCCcS|P}졸Mst}%.NW*{sJIfQj0pM#/x*CWZ5ޝ=~.^%UZ^ -Vr`0i(&<Ǡ̞ Ajw'|m!tsȱo] 7#_x4L۩*vQ.3 E]tz;6EQx'(u\\]) v3:vY}kv4[srĭ?ڨbm^[“wD^OԲJ&ٵ$+ YA|y-s$SݖCuA/Biɶ]6J8OY=dRfUDC媯L6RCbtlVYE';h(Jݴo8-DJ#dax>EAh oV Ht3WD[q%zB3o#Bjr)X@Ѧ:+- JFN:oEf"I|ӫwf8wYC7 yn'oWƙ K?dmpN ,T [a SV4?0.`q`\oFSj;XÏOYVG>r! Ot`Ԥ[w`{DriFC/n~_1Ts1)(R쨚4^'֕OYI׵\dW"%r^𱩢O7xq󞇳U*WJ'ouNm,)^&3o`׳E&o|R+t :L,fUn1b5y?K剒޾x}fl&t 9L~{-P / a槓 ٠쓊O@s߬rj~=}I nj~"I ] E /+6%J$skdB1hY0mT<C4׮!73/451G! Y ![ЂHE(K} 6%XIpo@+{uDB:j$=,?t }с+xLzPLQ"yd,οV l . {z$mxv-`yl{Rmdf?)*h^oRP*:E{;qU/ֳЁ޴=?cY#G#ۙx!T'xi4cQzF(Lr堑,?w=!. jVP-s g(fUYP(ClXVi]5zq=Wn^TaU^|}JTD@XX ::qu$:qBYyL$@l< GkU$AJ$ix_H>ü$v:}KCg$/$J/ @ķ^l:=^ ɓ勖h~Ÿޯ:WVo./.4 GO%-ΞV#EiݸNP gA4's?V="JyXICxɜ`u7\w"rޡ׫gwD%\rE8o6-}pg}Eo·]Y_ '~zPŻM]6Qc2r?/\0z} kF̫zom Y=dޠ&WUns*d3%L=<`3̥R1Eµl HiT;`#1eiQ6\ʶ~76{+{dTֽDI<5.kh([dqWsr,?I݁P Bw4|$)HLDIsŲ[0ʣ9#aq{}s5aoiiBBdX† >_\c}N|&?Ey35֑<'ǻ@zl<ږ¼]6V Xe|,2+q I#}D!w>@]Zc'2t20͜\/M{:.bTKMp*:JdgvU&hXR9]7SDjwZ|}x#xve6)\]Faw"`!%qd[ :"XJ>`K2:v={ ?)*jV"na,ooVq8WXC>\[ } m0m!ԿpS PZRZ&/p 1P"9ܺ)S\o`l oe_Ҕ֌,8%dy΄땚bz'2o 6iL\>:E u )QQb;Bހ$!-Ch y96<5Wu\-ʙ;3Τ;bf:]|ߦ$8P1;%u! \Oۈ*zgaݡ-n88)Nϥ3esMxoQ#6 xH r||5ц]O9%)'BMTz/4|`lW^=GZt|̍첯y&b,MDĉ/Pv=#(zYs&dFU5JҚ" ј +Ɖ3ՀܠyN3{,^|dg4EU 34R;FFv!t=qeJ8EiUz޼x2ώW))ݷ|*%1+3#tUQnr!ҧル}#t\qrx4}2#f;+>Q%HB}C Q*r*hw'*"McK;q;\mWu.``kbi;Ԫ"kuk7 ԺVy汚-k*+[wZk,;z`sry:~@@29Xe"2k2̃O"d#&}Qc{9yjR9,Z\O[Dɀ"#HKL2;&;rRJ sKv`Bw5DAf[񜥦@su:,H" %Eb= I:,R`fɷLs@ JS3;R2Ai9f-!. v&%2dz4G͠#JHОF=IRMO {1ƵIsD"2Xa'lkI?֧[:rM PUe9/DR4 @L~9,ZqQT]ašuH? `l} T;]hˑ#?5`ƶnZVT0" djʣ/b)DM10S_@cCw^ rrk@"x]T4wA}Y³woZ7.ӕ4xaB4󋊲6m=2sqBa'zYB0|'B8Xd|>5Gga%[WݢE,Aϟm]j$.D M\xd'aƝ.h ,\-.gM,dǹr$WAA~`ޕyɿh݇# HqU*MϖԿNٳk$3sn-}BuHog=$4G{|c5Eb}{A._LȯYH"LZQ[rՑ}w Nl PKLQ5xO+CD/[Ъ,"H(%i{Em&բX*Sqܦx¦/09anK>\5tQ ZQnaz %$rO5dѶC'O[,r@3!860OnUL{O j nO9h7s[0J53\*bA<cPϡ0C'xHG~wW'5vf)ӭG:A3DZGPWyVPnN98A qҊ1WT ۜ}\[ F6Zeiz1M߾u Xɏ@1s+?-zvFw܄~0!wE` PC T6; pR߱f1Iթ8B>%#W][1NSsHy>i{nu|PfɹdGv yh. vTv܇1D*voVCF@3v'} 7Ì1Νl!{P.~tǂp}k+8v5z=G ?ߙr(SUQ<+$G(b_RCT>6S*>:=)ɿ9'#6. K;l,6Ϋc[I^,`M_e"м(W,'ἄlj¦g"{yVҍ} Cf{ N@WuaH7Mݱ[NgOP˔D&g2K5(]6էȰ+K4:{Ϥ&Hvn4TXw_N R%3.W\iCb:w78{}#-ZFoDLGܺ2=H]6 תёD*Z"/IFlZ@Xzwu"?b'tMZ}u,04؊ )^۴ X9wdR3KcXD>}U7 vC FQZJhYMa҃\=dah )+;:$`St_%Xi:evB$' ?.65fgοjBGix%YUrFb፥؟4Ӝ0OJ$bD.]09؏#(rq LFbh%z* w|&.P@ƱgYZ7zXZִF! n]ŗXi%JxʸsvׂsO(f9_f8'z*"ug.~Pm֝30ﳁ6|FS0 SUߋKͰjޥF0휅nnlԎ˺S〿eOk leIsE@ҜTȻnHj0ZOOtDi8S45U ky q#ڤB]8WMM'_xVGK D"lU"<- {S=zc7>Ftu o`ٙ DD)z CDA]0(ʊƅ. Sv$vpM;< 8-Ip1>kt?TD6$YjS) UWKݯJZe$ߖk@S]ٷstfݿsOfX.'6iPDKRJNžcHA*n/0TsQ`lt׾\*`Wڮ~2X?zTo=~`J>[IjN}OJ(ó'VQQx-ƺ>ZהE/u5.0H 1OQ /Cҏ0 0vuXGvb|"壟cs8ݨci~_Fv_ %/1Zr,sHW5DC9=Н,Ϸkm@y MțJK l6{iqyr^ 0& );C^[/NavUc}uCbP𐑕} q4#Z}}9kr[q81M5192&LxnG~*&j7;!F(u_Gެ U m%7ʟj?V*mԶ:xk_z#:͡!cvCU-RdZ9g^e߃=<¥L'OmEj Q5/bJa~/  ɹ. )Pmу+;-0]m})wu<\:SW\¬]Xg"dW8Tj\Vg]{oRaedH l~K9bQ򯊥yS;uc?rW~ ueNrY)9ZȾwǬt-Bfn:K2 {W׌Kɸ素ó%KܨX=a`+!/|mxZ6F浍R8n Jɟ.^E6#`"vBj ˽&G{7p?z&ÀYlqaܙV~bo8^DD`xmwc Czab6~ 4ϥSw)hAAIG93a[wۂΫB |FWq8z:9y#|i$kݖ̊AH6$/jhOp۱f^/8[Q\-i9k ckQ I~m dWp"f6S0ƙX ~fI"RhW`vRO6҄MiYg]azlgۘBo}M [3.AjOu8\3}VH8#oځpTX\V.Q*+ {%|z@"N'^qv =~Hsca-(ȏ ;d6 E؃憴e[krSǹP{WfSV JB Bv=|rjY>x )=&r%o)TCੱݷI\'☚Pf[1n?Bͱ|)Ks WMD>1 ܆ڲށ\,%c?煿o2¨ GLCƂ_{R.3J`>_YhYcM|$ͻctU'DN_,E3;GuLKFcp!goiul-ObpJQDHϝZh~9\``\36{Vr6b=!U<@@0 K+89]< N8yL:et݋?oe*T\T0ykTp8 &nkO0Z#%ͼ_RĹptc?c}(SXC@r O(p}h6HHP mg!Vy<C?9$b'N3 {qJ?W)elZ6qnWJTzt[c/DVEvnϵKzc%|+.q'3Alkf;G^~ep:.sBN*4`d{O|d}qcJCpc [yqDqzG( ?׬sXs}iZO *Nл)RRy׌ÈdJ(a89{BbX9|w،kK0m@;ipJH|i*}Sg~j2V1n$|&.<׾v*V̊mlZArW-dސ9ĉڄ\PbI }c8p^} (_8E օc˚h6=QZ,Ն_dʴm_bwb+yxZQ-!u5q ֏;쭘ہ8q_&z<8EP17[%#dOS_ >Y CU9"rysaɅtog|;I O~!ZX}r%rx? %LԿi wZGYV@7hXyA ʀvVr s3 @am~WmӍm'3e.4nP ָnf:[^,q^01,ئcj `wY`$>׉ r(7|F~ĨskrA,tш`ZR/E,87휽o֬*l#:hꀼD lnRڕ-O S9FhƔ@H+ہL K%V$(&(i@o BOymاRiX| =U?q"0IFmsiw:Tx@[^oZg@Qa#^䇁.DҘzfsP1s=Rl4EEdF2}1G%ZSf@}3:Z8@_֍^1Ɗ &B+Y1G#S,xhB 7:Zyg D27sS;O{CԤ2xk̵{(tث]Q?9YRb.#!CΪ@j]e܉\-73=xZ}pƠBC)P{$LD;;ѮG.>sxC'ج iNG=9/bT5E. Q7F}{d6WBfwŰ[X>8|)v-<4Y*h.*S%0N^ '~BSޯGIEk1M8ZVI#VR %Vq _,nn}U( &e>S3[E:OR6WݍKQ34e%? 5sơfuI&mn1 qt>P?J(z2sLE7T+ Le2a:)Bؖ8\e?V>OnYPasc# C*A2h4 ڠY)aI F`?i wHhJ^zkWö!T d= Z ˌn3nz!/Z.-t\Ҫh7i> `n3 WY$F Dtןΐk9æYLT%jդQv癴m.֟`~2U#~]jCL^ c)K~!Ѽf<3Q x {T 0$ K{%jLޝc+0cX-xu@ĕ DD=%YU@ՆB6p ArgN0M}`ݢF}Fg|D:ww8@TߜbGJ_jv0fjP M\]}y&}Tf ܪGb? YV5KLj̐gl9UQ u'KT1>} I,nѸVW7|YfBU̟9/"orȷdA$܏udxf>Į, [n?Rc~x&nk9Xj#Jq7S3pƄ!~]]„h58Pw]C7&_z潀kG}ѡ0 EN. }(Fa1!ѽE`6cB>%)H6qRr& @ vh)Zr;[Se0Ͼ?"Cgԃ-~J5~y.c~,P6wCί)9t:I¬R&mGF5 Lu~]J@ VC|ߓRMx*/SH N!{`- 2rf59`|Ɛزpg f1;SSkOQ-,;0pX9DBXn!>_Tiǽ+n4<,cvW^k2X Բ?Z9jxY&ξ ˥!\nIGqK %#+E,sA Ƞx,irLV1ds!늚p[@s^Nm u.Ǭ#Ս#]TY墺R 1Ro}Bpq.7mۀpEI̲0R+_7E)gtLq$K_n u2Ƕ09ٚicg֟_;{ZsZ 9gNgS[)Ovly-LmɵĘoFo}ދIǭ8iQb4"N;8Lf=UDC=&V6s1wk0:.X3Ii#x/ L^pn pXW!3ԐTWmPhwLӍ,k࢝F"%K&oR[/+RmĈ!QJPwC\C3&M7J=E|YXPӶz \('m"b(aN٥QD"(Q'۷U~!?w؁UFOGoD{ـ-Nq;/l!cyTdz.ﲁ^1O&cB@ەȊzx)C t_ڭĢdͻhG{^OQ[FG D@JV%'nHD=o2zƏvS@a6.Hq8)c#0v)QYu+7C 35xWH)s/l@SlĨ1t'dPuV%\0( Dqr` ͉oJ[.]$3? `hl䉋"lL.I+`JAcK >:v'^\SSgv`TLk)AO 5HYN_h"٫:Wpb+貭LN(WV#|M'Ws+SʹEh $SB+4*Pʫ9K8|_lPЄhnߩk v)I[6qyr*d/Yq$l,;C8+L5 3k%ꏉ18"߻f3_tYG5p `ѫf/?)88;0r9wC{ќ,? AGJ@,ȁ{N m^p-9~sj*% HE0fj̒*?$| ΒLsmwk%lVDc-P ~$%pЯțsQ DN$ev鵡j>gؑц8,GZ0Q~4Yϱ(u&KEf *ɚzD|/) Hc׵ ;W꥘C&]UZ;+!94 (ysȩJLDf^Ƒ&Sr0iH$s>J+"VF+Z:v߼T[IΚ WkϖBOU,Eݵ~ A{Q+~zcIu4UK2NJ'P 勭%  OF XLĦt.˿#߿*1?6w7qȿ9bnq/BiY;&j*7= Ih I,2!0`,-þS+@j:kTaojH5b4IO޸8Wa=d hd$D8\c_Z;AN5_&ިY+nh}y2|p_bcPlJ X,s@OwGQ05M.^$X;54Oݛ)S+5I%Pwlhq<ԳINj&{G2DY'Wϊ"* =&LHm2r]ɐi@d6MFZ/尿TfUޫB>Ze|җ`nR%bU.8 {RtgASI6c!pY@x-f{}0{(hny{][!>Iћp[OFˠ:SO `E2dKCnD9*z|2&73$~|;4hҢ:誩Qu-7xԈH'zDNW-1]##`,c*&6+ʽU"PQte*)HR|sژeEfdn‰|,*qr#.jj,g3 ګ*7O<쌛;ק(r&( &sM`}vK DzW _n# &hbFXHMO<(T -4Zk7γ& C!\5jNurfI&_¦#O )X'1*;SM=6ӨHy^t NsH_Ue!.|V5U=_`Hy8-"5ea0y 2h ct=7]> 0fUPFY6fi1`F3? ppXJj}G@r3L 쳏́ݲ$hHml0L<|l9}(+L k)YDL|"仩Y}+D;"yJR C$ʞWu?c~C..bMc9<9b.MlF#D!ܼ?V>(%x7ЌdbdB9tXruq W:Zj8/h3:?(ÀQb~ o}7~NOPan - %D(4^ݢycrJhEV?GV]$hd*k9 wܻH7c  cنbbum);0 UKR,IH\,O`;Tǣ'.⨘3Y2Zնd  LR =RG9flKj:춮-{riFHtj3A0R\5qy06N ua֯zؔCVr"hExhy`KΡIUcXad'=\X7Ec6Hpw&O' qs.ߟiS$At`H*ǤԔ}&'T@!ULQتn ۠MT*YhP:#$gъ~zͣJ͟#!owMk-7uVfjK]\X(!\Ut#x*ϋ@:xе J"bn9MViVء7c >Am Z=QD,! ~ED'&EcsݚC>w琑-}'Eu]N&hI]Fl@gzTܽ4>D껚 9SҾ1@Ѳ"hk Jg_xvo:qK%&&37AYo!#Iex.)|#*mkgml;ꃜ$moy gKƏo6Cj"B>?ȷ[_Ѡ-:ph 筯Uk1a:K3`y 7Mr^%;5ty=“6$ OGAգ TY~zVlN}gI Lt{sm'ZV!Ȭ=l%`Pq3tWg}xy\-[qx^ jʄohg}E$`=6}`9y&~lV;mJuOI;B<u^V) 4_: 80c6vQp`5GyÖTpE%Һ|R]4CS83A˕ #wui`-h.C t4'=^N*>/Qͅ{.$uنWF,v/ %1k ŕD0Xp\1vnb*]"[$:2e:W&JŬ4yC55~zLs%hлkgcj#{ hNYw CȏݻUorN]B`PUXZ.ԕv`ŕʢ*E5Wķߑw$3*szdRo+?n052|UoL&t&= .1Qӄ,q,u>1H;,'ٞD`6c tl)J@ 8 /NhKʱ"m9G ФFtm[w.Gl|ӴMSeGg2mgo3UDToEa5s06RC.󌐤pKMwV-(~9>S3xUKiԖm1:V2٪SJߒIp9"S–hEoRmH?%%г_V]PwWl^yC[EKQrnk…&/lI_P;=5ä4偧u1o ڴrKA V01 b>CODPk@TZ%oϬ @\Z˳qF[*:܇.Dz0NSZ`x試 EKc\&@mB˜Q"1`ZH_U߭F6]TJR &*Ưll/T*X|@E}H.}?꼊Ėr0z_bZR^?'E63G1g.`_Ni;Ȳ0Sk X BQ|y۽ޜH/cZUeR#t c-rltAc@aSh5u:Jl$Y6EώW3ݖ[{ AtTtɪA'L(+(̝͒y!yFV,^X,d;j=x,"}o}N{V}<ֱ$}But)ѩi{^|'чǓڛbEkNכ[ʝb !C lfs j.Vik)ABqL1 '?\Ȇ*6# zG@$N:O%*LO=X -|;e=TV$8Gp0 8{&&})$!v4?pXnD*wքTң+ #J]B~T=f+,HH썝oh}RFq]HQ+E("D'OQ'L%]EÆ( [j柙~ NT!AD2NꒅbQ/}Vś:j9>[ >DHFcX6Q]̕1ޠH3I.|~xϼ;YǑ;WOqYk{o?W\A7 ?re!,r2'lXzɢ4?hL´f1OXWG4x#؍"pξiqTs`ݳp |F\1Gi_ddM\\(6pq5H=6d{v`ѧb]=HRXr3R0SM\$Gu#ΗeU#.J9iɘ~z>=;Ѝ]垄 O r^/am& B#{>05jVrtWb0d 8NR0ղ#񋣆PflC9񉬨 SxC8P/@On>hgG#QB =ByH 46e=|Sˁqa:.α>&_Y/1ʉBbѨxWTi'[5[|ًu[߆gIu|9TJ&?J CFꂗ%.ix##> d_k=v2A>l KM=ZG_ͯ:$ɥb!ŌC_$vP\e1A,=!݈!BD*a0ic،#l[qa)j4-4QlFI={|AЀo5>f(L_JeIzTs9?\{)Kf?mBL fh0LW?JI;h 9С|iep:0RӇ<^o`S$;oL84^FWTfrb{̻I=,!GX |0Y]M{>R50æwS=a-+޵Ma X)J 2*C) ήdcxW$,ML@7%[hDSL>[ɻBeW|%źv3@f |'o.NqvѺ2r4_wL\C>2+`0Q{xT5EP6'Y 0qF8ӹz_߃PDۢrTG2#V3 ~4)ooP{倔kz {5v-#ŭcl…K+|fESa3 jJ6$T?. ^Zt}BNA٨\͇H!󪊗dԑ<%m#OBpggg,cr-naѤ^\M)|4s.*'$XNpVbcT B{*B-8J><dS2(  d/ZOVG@1fxgR9ޑ@ll"VbDfp@?&K==E٢8y[jk*R%ƚNJS7hC54w]t(RXn(dkuUsx7d;Ӭѱ5,*لcSľtivedԐF5@Lw:ɗ6<X4^BowP<΅xN%ΆTn|Fxsf!1nLlVՐorhZ$[];v)KPm?57E)@d1 6ļ"Gt9&ڤg`J,$A yqgm5oPQLjlGmSSR,IhXEK9櫲ECK EbÎ<Pt^zxP.\#1w~m>U2]Fd XY)"y@-2?2b: Ǿ@'bAnOV=au#CQs81HH,A1*чSC?>it yEe~~ L-^Xx̿/c]Mf[;j_[B?j2HAkiyN85:s2pЏO*rMy(;} k)4_w %IF)](ٟx333؟0;Ժ]ÃN'8%m$Rm |T>_LX2`B涷f;N'y詷`xIV&b̤Z=#%#~r4%lߝ(Tn)Z ˚>}*;TGH㮲9"\sqX1s (f*4Ƈ}K,jW$Nog:I02m搦>a<*+av&S;B4<1 HJ(!LJ F7ΏW!p˛lj, }rz` &[wבjLSeQo~˩66k-/?.Y0xC.@s$ZEPP8@^O5B:Ig՚ %oNXzs1oԆs]57ּ >^iJV|.)ȧUv=Ӆ\vjS}(+F(1NIP'xSR͘&Z d5"V٬@_ mDf `".L] &"I&Z0ng7 [裧ӏ^;E :C'&2aEWIh0tsWl;DË#s=fl Z2RjϨh}.Ij2~T2Y1!{mbn>'|HlY\sJ >K L?cv⃶0l"aDH 4.PbC^o1 1x*Y{YFαkل-X`XzQAS$0Wt-\vNx!%~&ŶbCT\ מ>dDL'>]־N(7 E݃vk1 톥Ԛou.w-ar%*]53&hBۄ&K 2GB@R4/`$?Ӏ < ơD҉aC)>YXńc#ČH2*u9OgɎ=nhcT9̘XsN%+2mQ<ox&Y4nX<9k}t`,) /v.F1 jOoS4$GVuk1/r˯}: dWIgW?L*/:aHft)׾Q9u!->|WãM:"0+anئ*>7gcj(O%N^jmw 3[kA!dy?-a`U'_yL7*0_O4l̸#R@MLXS-.TӰRL:FeiDX}&sY/м=݁J!`Rh`-  >^C:![xT? Wo: و3NԐQy=FQx"/TUMUfW/tIV0y(nk/)3c@Ԝ/ۀ=7.8ND~o80Qp?g\҄WҦ)ƣG.8`;KȮWA ^֩\ꍜ6iGanmљ8\)j sg]æ,>IF"0pyh+dU d; )2 %ǃ?%~\8`B2VȅąLg0溷qZx;0h u0lD =3GfܹͼV'9fW?B- S7'-P2Z?8b ߪE&gx-=!28ҕC+/~EA{ϯ7J } UNJ Ej:pV,.<PO Z{S~\diu5'-؆|ysgzcXhJqyN˻M`!O8|urKK+"CC97G_("qKĬǫۥ7 toӚfgQ=296ʣUQllx2Xu׸ڱڽ۱^&5Zo)́bBo>M[ZG8Q9Q\+Q#0b՞sO]yf-?5|VUCd,*sqgMg)>W_vQV uq`GT+-tN1bF\ s B`R SH\(à~?Lڥ(CΊ[: 9i_]MSB}W+G'2_#U:ܷ7(,ˢHyڈmVQvI sj!W⪳h,B~-h?ҹ߽Kakv+J2.x؟·Brɧ-M6B YyҬ;r$7M8qr?}L0=#,hӆ襯%ޮRngEO6O~4E?(}M5n7biﶪj*fs:OlKn%P5FْBr^-?3{a=L]]aPޓB7sbTk3'S?v~.MfpB \s9ua6+d9 [2[lSd-GCsP];Y[rO *Ii|kBp1sޑe])GSJ ˾S In/-*x+jŅTwmw_#q4_eT˼Xzc)rP?gFͥbɉeMC#Ns軷jK_(l_3-HӋ p+qɶ+/ RNO?z9Ms89wV5f׹QNy5wUI8scPA`XnOS`Z[%(KH|5]y){.:wڀJ'gE<[Bx=Zk[RN87bIjkiuY@AoՕv"p@5}&J0ס-'ע:z ozЉg$0;"Gnk 3SaWe/E1Ym쉬ݱf7|ɜa'OXmbCfLqdgH}ɫUXInLm;zBD4ʉ ǣ}fhp w ׾` 3xํƏWK!qjMsW-[/H3r0>kR7rzg~B&\f}zds6Q%K7f?Q=7(p^ T )aܘ!a7ņr63;V pq?Em.LeFj!,/ &$Ŧ:X;SXu>¦;Js8 .*$y[M7HcV*MpuC~K@ 5|٠w4=LelU&P۽70U}aEi~}PkAqXf$7eSÖC]ƍ-`eP@y,#aF" #u 3YQ+!9oO,S3ަ6 't}uXO;{/}TW29toJ0B,^\Rﱺc;Ѩfv)9S2=UAR2F (5TVdP0TqE!5k_3Moě+iQ$\mQX|5PggdU(Kϖ(V} |)uGO*=-ghM`mD Lb"?e 8af3{|9ھx&ְoĈt_[QVuMKI7\ B\|@k<gu7Lpv[t?:x~>>N Zs]$ ie0WsH(R3 $`D'(0j7$uESMd{F_{Ƒ{F3,LNRr sItm*bL`>~;RQp[ }5-¥4B6' (Om0v_/{QE3̫љhueFmY0VqH*](4SD/Йlaf-i!̀ʴH{jYh`_K*&opypl-1P/<7kǝqn}L5^IBlOVVB7*XWܳt>lOXG'뱕^Q6*dL Q0vr]$dG=0 ] YhQE]y1OfyynfU hΏ7򁟖)WD(= Bw_3lE6h̸X&$|ɕ_ct|`^^ (Ɲ?!i- ͗n/VT\h@ .Ra;2x@@bZ-_a|N JլJݗ7ՄPQɸsn ɄiNdfԳ:/̻ 񾫘_[~1b/D/m̀p5iiQ. :~<>kpj0w?oTar$Fq{m=|q DO#eVR2kWzS` ,i9mt-KwE<M[I^F|Eݕ&+-l}B7KJ #>HB=-1zëd:˨Z>/"r@CB_Aj_lB܌X'~o h+?@Gć% p5 %3?eyV0w@7c sӢ\(piGi $ݯPWqKѠt;8?{ʶY l-;si:3͛x=xOJ}Ԁ7mRw(L?{G?5DZ]y>NW'fHZs;mZ%}b9^kxRdGKVqN;"lWWզ`$V@E~T%F7:(`Vn+ꠇ}p64X 4ř^]?n`vEQZ2J%c#bc pDGqmq5|3%zhc<M%cT^yʏyx'zSb6nݶ xoN3d&ؐ #ב/͹p-Ռ,+bV@U" kQ Ϧ{ obka ӛdOv 3D/1g?t-;r,H*co{w/g{'pB_^Ǯ lj̈́PƤ:RLijd&`cI̐.wIZbrRU8Cs@,85j`Zd0slxGwsuasbeXSGb]qANG\>j&ws0b5pFjo6qfەf(5f?S wR[(z60E-YYRoHe#8 Ti>q9'St,aYM pT!b [ucW38%C*HWDFݔ m2sӋ 4huޑTPoϋQԨ`v;:Wp2t}d,<)?()DF${2 #<<*Ӛ@7ᜐ A9T=|sJ|T@A*g] Ϛџ>`yiOzKBc[Ois+EmcͪN \|6g7})EZ,vǖ(GTa4ꀘRKGw{=9U[aPyMϓh8b[8FX:y$T{~P5U+y3HivB|V|hpʧ}Db+45Bq/u!d\)~YpgA5EV!5ݍ/ȝ'oB+KNrˈo"5s xKJ',x]+R/N;ti ?s!<łԖ8h1z-}dW4IFTx0o6b SxA1t 2eߙw&c2)nYoniYԈul&*c98;VS-dw_[ֲ!Kh ڬ]sZg {y*#>r~ox:x5@k+$])ǺW-N!2FZv*9DZ t"ޟ:xma/BWƿWцş8 =NҐ,\. ?ݳ7$G|Y"]K; O3'+d 6~DA4yU}pX8](~K+.:d) "M~X04 Mm}y^" fG5=N'}0K S ߱$r͸^y2\M\-  fY0xc脧 RK8&S"fNwa<^IXf'U4)坂ƾ1,Dd#3IQA!sd9qNk fDDX ~b5v Ny-='#KW>aG `K,)V &CzWPN$B(լkQABʂ &J6%%iWNN|!0=g/!_OL}lJqxmx9'-J8ٿk偡V t<&ȕ'*;SGդ+M[Ђ)Kl\[cz"vg!1~zrQ $7krB\CWJ5'S+?- 7=B-7D_&Gi^%#)έ6Of'>WQCED"g8rV'aǞh\3HZtǬ‡\v]|w=jI0ўjKq:o"'v$`R|q|׺H85gqJAgYA'MrjW e`Bկ ]f#:!6͌9Z?u O4@Q3Z=)S️bfCM15IIŦ{X^v2=H6{ ]d!Osz $+z#L,졔+[Ge X}˛;0KU[V N8zrb+.U.ԽzI$>É鳰ދ cO:*,d#iC9 b#w R?z3댾NN?[G2 Ŋ0BŸٵɛ? ̥Y&]M?>ާR41Lbީ޷2qWM8DvSKL݌7e.G^n Rws癜wmE;V5+ {Rӊ@ύfwr00[sڀ6> "%BBzyig%wsB{Нq` g e-KnEa`gyJK2WZ^l0$:q$-x7-VsqxS"xb 0O:H|,n8f ϫ2C @ 0l1E$A^^$2~//ߨp'əLua\I+C !S H.&$#tGcˢM)֛w)Th]DޏYl%:8gȂΘt!ITwiXHs2͢6!\N]&qz,(h#&7N.j C%{ u0GþJf1'qy lH, Z ^xU[i\JfQ? ?)`2ܽί{=LkEYXMQ\Q!V"mgYZ39115878ec7c3ce9a2bd5b2e4cee7796ea61bd3e5d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c 99522e89eae0e0595207e8a2cb989772370d8b37b268b541d0e6725dc012e27c120a1bbe590726d6