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   E!tt ]]]HOL-Proofs:threads=2elapsed=1149.391cpu=1938.152gc=421.020factor=1.697zXZִF! ^q]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbصW]IIM4$hiHSW^ywT9+hJ lXU9KMktk1Ac>0)% cr(Yܚӏ (.ޜ?~K]!`(wHeNbd^~P1mE;ʰ $Âf ҁ8e}YJ"1Q-y> fg>IOVI'=`>j=:G',ęrUjޣ- u9pzx,7wU#,en\e0 `׳)e xA $i`ѿ/9T{E\aǰo_Q-+ő쇧Sl-R-ONVH):"HAQݫFX"&q&U4xEHGunYV^8*,_}og* +Dщ#Op;;2m{E4m.BK|׿El7-|!Kxf a" Hgc#8f >[ * -2Ip_ɼ> $iy=N8]"Ήߖt}ګ j `пM20fψݩ<;_H w2 %7r & !O_pJ;kK4t/>lcBK76Z"$TNO- q2t~5;8ngZvoN[{s΍3L{oD(O ߼]['p8׮yUtPu0)26Yqk7"Ū z<N_K] J9b_I@!!z%V;K6pMsMtɻVRzk-n# %/YQJW ~. "/؎$s]KԇKQ#~y}hҁ|&1ND:, x[H  ! HOL-Proofs6p[|WqY0]3:'h9j|Cq5羸˨ޝqZX8@M_yn4܁eȫ4)7&C4ªʔor 2Rl.rO"3Y\1p?Wu%@+62`^I}9 p]Atm!듳GϔgGUXؒi1sE:P~߾!q}QV[0PKcJAOZk"}d%Ո,knP{[DoV-# 7s _>Eto3n>βHUc-_P9l\/`ºw O{MEgQ -OokSR{}LGBnT!߹/qasp>{SQkrMzb9'#ym`@`_[t99.5fzM֎{7g^xR H`r}ˡstG$f \tbt%{]C&8x>{ e!uG*D6h*P%p=#|g\YpMbr]H?h}/G,ub ߠa2Uݔ77.yZm$ ȵ^1 @g/T>N; R#aQY}G'+&5"hoR,Ayҍld ^_:wnE{Sa`+@ h[z\/H*iɆlӂJ$V[&K}?)*piˊ_+@3@4Bg&0_}PnKj^`Ge/Rbf] "7o$i|aIa4cO/jgx盌Zi*xϵ$[T&m'3%sCunc\SA^Mk~]!D5jIJ/':,p@7ZnVzACx*їFIɫcmJQ3_p(қ @Rz:ۆc3( mžUUI~;4R#N޿bn56m^r:Lҡo9pw x~٪-l߫jV4Z2qwCj`.$M.0EPG[YAt%NM]s<$W#)Ut9?°Y͹GZer:B$\%~zn[o2#N]~4Q.#`;7JwO`5cri1W'r#ꖴ7ˆ~txI&_wyKs<^rP Cۮs:29Ow5fÕBEĿ؅{tЂG¾8y$渱]%2y~8k GW~B&^[נ>'ǨkK\ػY3a'EpdMڀ*(8מՅ) wK-nP,e7Pw}m;27SI ]‹[2aӆӛյ Tn呦DiF QXb|v T+nX@/#1=ʗES7VP&7gh"9'7yA?RFuuOo%t?f+u F\R+e46閸FA'#y  Yplz(P$Z(I_ʴxa!+=CÇK~_2$DLsZӢ7;g@Kkq9hc6"K2< mX:dtP_HZ-Mʿ! Si$gP ~' 8Bʼn$+Y)~^^zWy+^WRb5qnq^כ.6]݄)tiR67ׇA)7smzsiO:n}7<`){nf{`:,f @`?xpg]<=OԻ 63f0Lꗊ\V8-E c7  $q+ӧA js{OGqv  KB55,lg H?ʨ_P ubꂚyƲy@;HJ d:DN:)F9>Wɟ'9~aQe70τɖU;l xݮ4Yeˊց:,(};ΧTFNj{'[z%O$ׯZE(\#`\*|%*m9y(^ZE7mTNJ' 4x=ܫoAZ7vdt3|&\lP > 4TN=݋M_>a<7M #R<s| Etj^W3"Ɯ@E3Hܥ.qB~ UF wi W|Ѽ4D $]C.tUzd#@IWN<(.B|Dyȭ WVwķ'ɓO1{_̰Kyt_ހ+@_$V ft@U#D=[q&ŚJDh?o4E(#¸(-CZ Խ!Q?5 4旣[6np,<Ch8lƆ`ʘr7Xv8kL- 捯1q6^j١]bUbR&&%F`s5`NaWخ!fH 3reJT<@DH^p؂$&J9F4+ ,8%7m| +Q컣t$(ٖDA& IXeҜާ {0jl ,#v-M)1;?bq{x#QMN"%dzw:twjoS*ܠaFch@}r-9~5J'I0AJC@u^HMcrium:܉#m EQ`d!oKlfK[b~_ɀ&8PYb*):@-+& ob[ը6,9P8uzMs FvٹdDLfBeDÚ X:]=V9eh X3bU1ص1I35Tp Y@ZZ k<J`PT _8!r4ՂJ1ċn D{zm"N^YLgjHܤt9gE]xA @AOic|kFUHLSm9og紶}쁁~|\i7׋YϏZNV]T=U@kTO֡vA=GRiH EM!!*X/ۦ'yCX~f?? }QVc2=%M''*QKߑsw`x R,lY֍WU4;dޔdW T5K5x36_jsfLRs#N~h0YPm;)O=ree- .88q.r%i7 { P-iyh!{{K``#`ω`t!Hd:IRB扛@< aB!Xr nՀ,͆Wmv!$0DB|nrDt*ez />zVFüf9f~)u+H[KBoU(* (9.l. ܮjXSTntCFjpU7߆g̭r갚gYtEL'bU+Api\c0A=?@aơiY~9&M"Wd:;)~X`g54͌=&R<T4}z԰){zbhs&p7ݨF!GA&-H&toֆ2cׇ:ÞQܽ܈"gNaS Ueh9ϽSæ|)hw f5vb+ggdԘdy2SW:rɯ9I ykh L ]+lo* X0*pI:ݸAn yf~t%~4u 2uȱgYZ7zXZִF! VԴ]ŗXi%96@gOz!e(] d\G_)U~3*AdSA[SwG7\Hi:-:ߝlP5RxrqA OY)mvXH'45q}^Gݽv\e5;IOw`J0 MK͡Ϗ*&[۬%)D9A8{.XKƭ(NIgT`d4p6MH>rz™ hpB*ݣ#G&Yp[]!xUqYޅ, xDX'yFl2smg%Ǻmio;xeU&iy~p(E/K6]pnu$Iz"Hkayx:+ڬjQog\Ay)~e8%_ e90'TEcaRq*/(Y v*BtL"y".J\830\OE9.!nã?T~؂?QZ+,^R5x oq"]rڇ "FH S!VT)M4h 9+qu6ӓ}4 =mѦRn|};>L@Yo9ׯ<\ByHGWMY1ϿvK-J$C:iwrMŅ E 0z|Z6@nOϏ!<3$LTUQSIvȻTmz#$\! >S6)~fگjgM!N BnnB`pkpb5:WajF,|Fuǝ\!<팔m'!dWRgX @1)JoE{3)uk+pF%P5&;??l-?0`[WߙzRkl=tZIPҮ ah?I6E*繪)æ2JX?(Nˉ2u4w-d~WFF*[Ou* $OS8FྮR2"tSV^ 5>ɒ&cU%8ɧh JBJUc}M}Kr;uUabL1lPi32}j&ȃarPfD]H9IIϟյ#^@TkbF3<Hc{]{:KӶP&饕zw< ` ]2X-ɀi&yh\'͖ɸbKS|,('C]Y` :7#8YV 0ɬSh`` pO=or`S-eC%87B>FRֶBc'y?H :,)z ul(#;{qO6C+iQy S(,Y!^Qj{dLHR_fTAP?a smu 9YE/T/Knw~^3E]˔4&t'"7H#s 4t=G+] MGSM2b `ifSiyf1U^w/^$2DsgQ}e2RٹD3\SCe&&M5l'QOV} ?8#%<gdt.Xi8 (GPy=`@f!.P]5!KfXyn**] @Fb"Rzg ~d'!F#ؾ{;1ZQӸ{ U~,7D,>ұqV}#0!CSZ.N6wZv|DV \^A8M##, 8ƕX2GJO$ofݚl#"Y\P\A@3d 1g;>>h؇]/Z6e1WETk8ɖm+sǬG7X+p$$b [pٝ &Stu4v qM\' 0DP[ݸ8;`=z+&cO9i2Z(aN FFg4q_ƝNQ &ՙGdt(0)D_4ǗK©\f<p~nyA䔓ƿF ܿ4c (ydșa>>CnKw6#x+N'7aT/II-S=X\O9MU3WxlS.YaΒyAD-kw[=>4ej@4 ge5URوR~ֹ`$ y>wA* ˽G܎.h^2Z{")O>c+Z|<1)G6^ja{U^&5ddm݆L@ּҲ (:? "E냜W$hpMr1l`K4%ȢExdeO`l>mcɊ15ƋU Zz*Ap"*YfE`=U~c.pa.cJR̓5ߺ8Y RXb ?FzCJΰV:WxIψŷ-lԬ~@SFřw>z۠1IJ0EAs:zcTܪ&7XWB @8l kc!:ҤDzޡҲS:閚9!!OGtN4B斡o톶,h.s')' j *j8ʥbh^_1;v ",&7\Wpj3ٙ8.\4'wyMV.АJ߂4ZMgWK8HǤ:FiBPW-EMF8| kn9PliX*u Qr_tXO! F$~9~%S^Tkw wAݐj!]C @5ULGyPE,c&o{ <{J<T@[6.zv1g(?Ep)dv-FfkP 3Z#8f_VyzH#/ !O.Zx_3ńz-}^gsW,Ly;hBH{w ?9e*ޑOZ] -\ ʒsϢm׳ٛ$q5~)C_=L*:Qw^ > 5A]!.RF lX$\)Myk/k[[Ӛb#=(?^SfC"9םCB~urmvV9$S$AE^F}\qZO{p|pvRU9W) ` m.[N&ϓ$𲄬i<3P^X̲U#c"1+;Zx QTT(~Ws9rUuʤ!SG85.ݔ7ԑtPCdbe~0p `BExڹͅ6B1:lnJ`^ !+{t$>.-Ru$k9eQs^َVB!Lo=x:@0vGQ48ka+MMJē8b;ٯ; 02܍Ԟ.NnRz7yo&|`J2kbѺN RA\ejl9?*j0^O\ηQB߽3۽uk)0ym61$A|j֐2`~#"J@n+wHONIၼW(xVz@CLLZGFw+ ra+t76޽`@b FrQ4Ko6#q!H\8 H,> 5$' ʏ#Gl0 ]1k*hEES{JJ唵p IDv:Fڤ{GZroުШiTU<תIɅS>ʿWjwdjQ^x |*?֥[E$FGM ZYu>xέj{mCСlۧ Y4usCPK.زb,0uN™C[5l:7+aFD'7 C"{JQЪ^ƒXAxtЅd5m8VEcY 3s^LN(Fgf0SB2hOlL6žĮn90Mkq$3Bl Fx9$wi1A4Qhx7>jXH`-?Qkz8 2v5nXm^Uk7:l!D_sYEb0t%LG;gܻAIk;ġ$? V_5}Д?u >acDg7%t>v5ԅY=|z9ΰ l.mR̴WUpg;d]O=銛냨)lV)Ɍȉ\ $%ѨUZ DZǤq(_6B3ӬA/wxײzə"t\M ƢG[w7DlN!ly6 xj?]Ι &P S&rkxAXn:' &V஼27eThx=`kvT i-=t/<+ajW.IȼJ+i|_mߔ'TgL1+guXaxy, ` na&3Nޱ̘xC@D݉hҀ2U뙝^@5}m\GFB1Wzw\X6뜛i֮%F[ƂFH}*ڿhtdν EM9t苋jwD[$eb j(Gq>k2a^XCkdNAw)_|z$22[:;]H(+2uOHNDAOMm'Ė?=QP`$36(,1\4sm+Yl{H$`VJ%Y`fwCZq^@Wʢl訁?ꉽOsF I0hapI.e{u۔c(~7rو&-K_pŎ/guhBgvqT!tf_DLuӰ KJOn[rO* `&E8>갰}IM$*4$N@ z'STvqG>[sSlԗIX\I0ܱ \m 0mMT1Vx , Ћ$* st$͗!լJ8_D$J&ȳqs}O!ft#c\=d /2i|iUuF0d~dToo~I^):V:z"uPҶ  Coyɦj(O Xٔ# bn@RI(r{FdGrNL6BqdOgC#>ة)J>^8׿R /.4<_fA%zh G6AZrU\O$ UzPb @%^x:;% Fbqn tQu$$m̄QĮ]]Q<N.ī= :mL=; se>D +RA] Ӭ*F1!I _jV8+'JSL y C"skq9-^(H̒ᢲ\t3*93Ck=r 3hUtdGC{ k"o8l[kqi$2ƬU1n3Afꯄ`%2SX4>Tt_̏D3%"}f>oR鼂ogǨgC'ǜa1nry7ќ%W\;Q!yUzKrthuNE`Տi nc Bo .^wI9^kPC&\V,('t@_ xpz3dF̨%A%DbȾ#V*OuP0RAʦ*%A-_<~~uE7GRO2q9U 5eNk nv({\y\IuwQFVCٟ% >iV2ϒo%`􄶼)uRx ]{z,~ 3uoNvo5eIsxÎ0{N*Bpt9eތ}f#t)kJy.H':E`*ȳezc{"Gy2sY̥J" '%𻷼>dDrӔo!}}ѣ&ys1#&>~+Q<{3kmKvW?pugQ;m>D3|e~NriNhU5YjۊK>D(&uc_,t{[p$i9;yRQ.ޭPb?}o8,ld]/IvD3+b_&b˕T&8t4dLPGB^&@I#}B-=O m8i3+䠤3>%7@8IG)zt`}"/el_@r &R4V؎*;UrAjN^*@( MH&8gPpƳn i& `VNϜ>cl?9ċz [8 ?E^P?*!apC*4ZeXߦŧ* y |x  A!Rz| ~TR89sz&"PȚ2ca%xӧFg4brg;Kڭ2-ZKJ!O]"#3BNrFÛ,Guqp`XϵѨX`ML)sm4%op0u4g+^5X㳌tVBp"I\SW٦ 3=HR;E _&0 I9SUFr, 66 FʇC}Eb_#߸+}S΁m\nT>jP3rHE?k>DHY\, X90k-Q*hJ%zXp'm) =*' ;Dv_?5ZZAUe=P._j tV6?CH4›N rGVH³ f"ZWHMuf`!-a9WWo=.'PAvL1XQcz/f(w1jLÐ6߉ZG<\끎K˄3cx/Ogar{5N@60}} lm`),ѷ@O17!i¥\{33y&ûix사X]5e0uM#P H[W$}z_ V R{uO $sO;x]2޸8S S#UjRI:(o{Q1ٲzg ?Gx -2CYXڹ4􌬽/]PhBD9y =WhqIGIUؼ-?q8sbcyfK0䬎X[UQ*=Pcxb}awFP^ˋ)ha)`/rRPp5٫<$İa|rs@;x\H DJ8^_ӥX&)pNM^2K}BrlL>ƝƚTJB3`?}az JקAvi 7GIfCם,YݿNx.~"xイ1+u F%] K{c.&D/5ͪޘd ɁX0Tt+v f5i@% zة 5i910rlJ|N,>K_3skPFiOEljrnBnw;oڄqP) Mي@}];H[U30PM;渷JbP R+Hd+ 6v"MZ9 %qԉOka!30B SMj)O"/7nܓ>FuV0FIl15?:l'X;Q'ZBaEm[2cƎH}*lr`l %?qaWJ_Нihle< QK8%:{Z3ω8DZCzWT/DsLJ TvLM'\ [ڰf5*١bἆ˞g4P*9@PU ΚYL#w?[/(zksm@pQ@ 5 OEuGY$vmkD~N{ {1:kkhZu1+{XDw߄,ʮ=b68vI ,FR~lxA1d[}v? u؀JSdiFئް1xs'W5x-!ԙo4(["E<]T%ݯ[HQҶ7ͱͬs1vfkOCa3B)\cSd9WA6V%McbP_I`k 3OJU"rP(CRVUGt#8X2άTNkM4 nBA iG~k-̽pkj Sr|Gu[u8Du 5fG?\ 8#ǀ/AWo]y;8"J ?ųzѬW+6w)U`ۛ 2 ,n)C3nߍtB&ȜŃkSBkshպҿpէWfC)[DEoIB/ >Q%+_ʉҔ|F5zʽ:Rp@yye NDsL,K RaZzhk90  L @2Yɕ 8F&➳{G#*/-j9:Vfs'f93wd]roLzﺵ<0Y\G[xonl̛/O+#$?'P"~{ȏyC)չ=_!;Tw KNP5Jdɽ_..}Y>Ώے#dCa)\!P]1M?Da Z> m+[݃;),T 24ge}ʓiȜÁw%s;T=u +S/GR waŸplB ]F,gp4't"XmqQ[3m=O=6z[p}{F (׃nW\ݹ416a\7h"?Vp1=좡5OtLz##TXf4WCj8Uh=q&[:4"\l E/sLyz-qH0ީh=c|ݐ ?ByH?oH4+9`_B B(]}L2gglco7A{n΋+e PC$c6oi]a*/yL7\A'_}Ұ֒uq]8tw2)gs?`9Pu#d/_`B茏#j9*83{8nr& e:r[U#Ĕ" ON.\irKwZu꜌WI;ffNI.Vܯ2U*U Vxea) i+ҍD]I1"\d ,Xe'5TԽLBF;DV8ӁY@*ʜof0G9mIR]'GuDM7b،bL~8}5WERw{:<{ ת*$txBBOGT]+ztύvZq:94P2 `$.WK$I,vR L _"',SNMQY g49sM'wF1{rϢ5Gr{@);0%$=*el+fĘ+2A(3.99)䕑?3igm1j Q?>G3YTqtv}hE^_bd$,Lun! ~եxhv|nr(_FjKS^^[JvsW('wF':r Y/Vr~h/.rz"o +$]%3J_I-VCJw .uӘ*!Ks%@2x^m0k'2A]AώeDbbPt[zZt6Z"mЭ[^-ǚd =`f=NpA3}|z6lW뷀w KxROҤm5#OzAЌhkj\6`8)NLőۡɝ0Ɠh_0N MrgX!"2go؅)Z_xωG^x˧  `fUzzS=+Q jje9aXcIjrr2?eP oNSyL}#~U eVj6"xrEZA>>tƚ79l7Z"i)y<^Eue3U(wwGOPOCfJr 6"-JuwF*~c?Bhjn55'AZhIxoa.Z]g#o3 ˗ڟ0۞{V/br)OE5+=z|8'v?>v`]A"`X@g~iA*HO qbq a4!<%mQ[z7aRH6B0Y@mSA&f! 7HC9 ayr3nf!,2ZSe4ymu3_AAra1{[|(,]i@,ƾpLb"{8Y"[[05px2u_*P'q?,#]}}ȇfw>sf<>SϢ$ 6"X'oҘPƀ|ZO-oKQ~Aqr4pmouq A=!}",R0E^b%ʒG>éC!7o ڶ5hHԏy l@ZnWȊ]9J3)œ|D1K\ @=Q &W&\dL[2)DjŸKޘ9u4V92vQx&(ƺĊևȳ@Җu Zc?C ,aƦ<T+ } RNG*gƶKht 􉔤Q,牣,1cËp_7a%HBi4`2[AgӼ@:[2/ rs(t{;а+|Hz fgXM{Ǯ^ ˨1#8{f`BȋU ,Ӝ&e+"yp?>꾲#4?6Nrj*E` lKN'5I0KEiO4|Šix$0C ~~%dT2!tYo QoSfW4c u>ZxH&mKgFUǽij}8u֍TOneXXxa&i6Oxɧa1A3&C˵HF51{jj4Ǥϛ~%䑋UŠR8 g4PdK,1e%s,ZE4AbR*;Ba GXR!&y}@8~> 9Z*BrC4iE ^EW)Pp7MZhǍbgFl܊ \.% /Ov6}_d"6oSN_EqEnU?HST-"N(+ 13LI@tԑv[֘kVTD(| !K}(S6 mnuaxR٠{AAGu={njGDbHfw_*c-ho"8H^}8 GRo>.K{W6+L*ci&G"3@ |!|~_ʺkv VEvn(^h'rl)u3qBmGKLz+NٗʊuSJy;HL}[Ucp Yv4WF^.v1O)g)u2 fQCbS:R=40^ײaԅw~z3:ƒ>ppF)| 3,_%lU]& ]PI$3"|׭57%B)C3c$HR)LUn+|_[5nZML s,ڒ893iP 1V葽gdzƙcށҋkp]O+C –U9 \Jlk r-MWr}5+̈́ .<]qw {`i6҇3^F`yTt?%P'WP 14R_u9[gi\³6A8+s!p" qcYmMBJ;3c)BUDȕB]PAǐ|OJ! P}Ax/M_$nZ,x\c$@Yb9!r ă&MhE@BYfK,.IߪC0PN Ͷك Jϔ2:yKjٙҿ7xJQLQ ػ ##aԻAm#~N!!20~q{Ӭg}^>dpo[R%1=1ϼVM%\e?U3?䅮[XH|@R9Z)уoܤ;!}Nhg2e##Rރq=_ Oxf w).u $włˇE(mt\h ,JLoZ(gr#3lѶίRSEh4?eS ,$ JW]tMT| !Kӽ4ݶVɢr~dq\HX-g4Aݯ+3nXqq'dF& :W]z޾ˑ&*.WRH h_OK # nzUK2Ms,KBW{Bߎ% 8 9s8q' jӆUÙcF4M IV(q+[ %BxdXYl;jrb:e9< @ ی#qJ>K8 e6GEΎNS:u S(oGy8qr?KPkV-:w[\]C0!L{.Ԧy,gHl9nHjzqq7ۏ'= 5+qsXW=ekTײŸ8o!`{)&cJIi M+fR[Br k{c%/E-o]F6P38 R= spRQm\1ρ__iՀ6|\""r' .I!\S~3=x,&YYӋtFǭ1ݳC;rDFLl~\vecrm7}YE5N>KEԴjFLDBцaPqhK:SHTM STy kJ`D/Ao&$<sxsHS;olmҪpvaF$B%=4Z70<= iک/PH{B,b@q Η!C!o5rv&@Ol}u՚kGZ qCmƹ9K{{&2D׃q Pt=F' F1Ȟ E@g?h@R2 $w cfo#7y0MSʤH?o9f2PJܴI"_C\ ۨ@[3TThs#&Da4?+w\#n$A\l7Ɛ%UwhXMf cb>zx9|G--e_47p3G # B3A۝*Jk[,+FyRX*&C|f;]8t$hYxN{ l&N)lKؤ\> IGLy:;ig*Cjα!"mq)M& S]V ?Qv5;c@SA~Cf]0U$>>gJAqVV z`Yt"O/ EF 'KƷh2`ٜmD|b gI\Ėw\ɆT6)"=P2ap,4I{?,tem!'izNq/% ͂0DvPtB A}4iCsRe.9Kpn..?y ejEpU+1H/0HB!OM6lZ8 6T7Lr|,d-!rT<+ȦzJ= TI{Iȣid$MIsaKT\R,>a%~u8=)OGU]`9+Wn"/=h SuS*$zemq"~I18?9qpVE[iI`ل!zoobX-p\I(PU@cFYg}ռ%ʁÈy\;|5տu%~B\ "jVP<PvtJVr>$ "׆7):ME'}'74gC՝XkDPLgGSZYaVNMg.WQ: ~Q ungFLKS0S^BAƉx4Ct+ zfGiYa\li_p6^u.G=d[38zjwI<kQpGMV.~}<]ZI|ro3#T“2+xJY:Ⱥ(>h[0Zio-% Ƌ!~W} .n!RX@3µ Mu;iU2k8А3c;y0S) Eo)VLo{Wxj,:4r>mDiᛥLds$sbյANfv|lGt&>M !|o DtD,'䟢AДhKB J(k\2 I)=ao+@cd*ka5ׂZl"GZA )$Rè+@Jd(rfj6h}dQ M9,yN9WxXnLIR,,dlH0%E.@sD%Kmæ\ު%D]}dma?+*`oö̗mKzRdtoP>Iq'8 v?v},GR31ݨf4S6{5W@8.ts29~cicl>ϧ*pGڲZM]Io__/RBHq,V]L <)F w18J$Un(q́"/Uh@tL9rtXbwb\9kKBG,/%!iݟ▱f4x0I5gݷ:8}*Ld5+S0n 2LÇ\eYZ>@J,?P GcΥ^f鈳gBGC`Y@< r)4ブ e^S@X`ǽ%9? m[=+P6%|3Ldi#!Zo>ޅN:9u=EeJVQiGOKDq&2/.ZD7C e`$P[Z)mʡ"^T\:61/늰q۸ @+AWk&a+v~sJ>v#U?B(@Wo$A.SQS{ɂ^ dΩ/[ Lbc!q\ C*}\PalQ8ďbt@ۅ8?rD"}<(, Q.9*4=;:3F u/ d?(P2<q<ķtz|!P9@ޤӦv I[ZiX͙ 'جG|L0i/#6'hqf_FBByh^ĥ+:#S)C>FehδBJ{Eם^`5dKgHA_6 ]t}'@W] cyF:2"Z*7Eo$S6jD#)UrR*=en1,ӵvp(Oq y"g{g0iYD>c(K@(slw s y^?:WAV!sc-VJx yJ?*:܁c GhM>ڳ./cG9Lp Ȋúv!K.qTY\ Z+ÛQa.]f & *(h >?mXV#8[k3[%:?]`>HE_1r)c O}^c2v~s^$ͤz) XO5'$޲q1oF^7~uWԀsA5̾hڵ7E86CF`/cfEi9^îdJQ:<~OI:vdnJ|p>+:#_̕0њJ h=gb.]Սl=UY`ʩzljyRe0A ]@t;hsKVhsd8{Ko3RLHcknSD8j3#m5 N0[xg`aCULH-2ioHݍ R͈J`F=|*,>QJOa.D)=3+tVY8eŀFt\gHHDw%ѥT @r]${_ދ3RX=7.)& W0k;J .Pqw( HiZOB|M?XD]} 'aqfJ&2nOw?dp\1LMfebZ2Xٵ& 9E*k.Ý˧8JCz>R:}ҬňSz*꼗'cJ)!+Nע:3eNeփ4zaӼ !wrB,%5d~75ǹ˜HW6DD6[5XM"46\cڎ}`nq@Ho8hCrÞ"2r' s&W1\Z'o뼩4dxarc͍CXl (碹k8'JюgCF MtԶ'ԔɖV]>|##@Fu}.jsbViWwjR"'`ֆ]= RfBhgUL &5n/PȧTLS169n`. /NGz Q!4~kh7~(3I"/5b>M]?N]xքDS2 7 g>@uKtͩM}jf6=X,9`.ȝ慤FCSKQ&Uu; 0dQ 5v#0҃כRWVBޗS~W4!n95%}a|A( (Y筐](guuVH\lKk0 )Ѭއ5GU$yBhŏiPQ7N* bMYvQKo %0GVal!v}eJ#qzŀ~f0yoT{6dgRX -֔k\ r:iywc&2_ Sxw#\f^6:!1sAEZ:Nau47K- ]ɉcg3}(W"(I_ lAHaIbdy{ xCaBks?Upɒ' _',q% .1+d^ހv)O* INq6z«?6vs^ؿ5,FQ01obki(ROi?E'EA<4+ ڵdc6*:St[풉9,Cy H5I;"nuВ/K*r0 (m<')Ux:y9+XԒ7KesaQ=辏I={4ҏRY P/wIA+DXIhuE=U!]11a3RtG454r>kqR)ɶ# zdfU0A9Rg?-'(o`菸] '<z% kƬ [2_k9?@{*/a*+>bu+{!!ȡMKU㑘\_+J}xOqxu/Kl!4iD0.,;2 ħ:㹐rKwzH>xIˎN$MBR& %ts" )rYMqG9E.9-bP(6`H+IqpQ&Q?WFppd3>vǎwyfTK-ii V}3)-#F|OsIHnYq yqӎy͚|&Zdُݺ!oRITPcGZR{!$d BC[ MH%J砽J5V2N1$]4 1R Xh:|"=̉K 4(DnPq<<_1%/ReyftG_Q%N¿55JTՆP^}J2Q "?0\G3DGڅ#֝% C. #vV 퉟u$ Wp}R|2%zcF|!ߟQ.]I^}@UltyLzN ii*Gy*>,|V1:<.=&oB6<8Q8~PA gza:aly~Egit =[MUn!)Ŕn2ARe~$KCQ^m)~)%:ܕD.O'8, ^ǶY!RDdeOO#=hda%a9 ԏ !!枬(mE-] qbl'yc58C+7jGLs. k;ΨTL,̢mF;27{*yv2Zu>E=lRPV*6Aw68*CaDQ3HY TbՠD} E\'+-̄w=t[*I#lrW:ި[OYk,8Gzx?]3icId퓠īG ҫ5|B:`OCmVmVɺ[4DƱ mmG]ʤvsbaQ@SXhYq~Tӕm|-^@0+y}QV^88 BWKKsQ2U؉2<ýNl.>ߞ_I#.Rad=mpyn`EO(CַJ!tgIkx t\fxȘ@mrאʿΤcU˨zM@{P/'Q`ku2Tа&<8轏~@3VpVs1#my'(zNS-B qx/dC-\pPQ2Dѻ⚺4əSik.F؇ ^u]AM.؄;'Q`PZ!4#x|"͒VTCo#wZz&UyVv8 ~_[+[d;QmDtӀ27-R2lR( w\J_JYnErPEʱ%1}לG2ٖܶץ/mi+C黙T~ilV,rz#ևt!00fnelsKlFTǍ) rAug L.7U:;pdrQ{oVIAwySTH,;G2@)]ySUkdBP1 =9*JB! ]1tWZ6}̏*@k?5{oh;5Jab]^<0$=[AʞY,qE@J'|~2A>~i^^!@]PN Kq ҭJܨ08B7f$ز-G@Uh$uʠnq7"] V,u92>ӡЃ^_A>{\[x#ey|/a˓.63i~LLYn/7zBw]At1Q$ y EMO0,?;$|3K plZW6%N%٫n]mMKKȗ",r4Ooo앦rX_N)K&DÇ0'e)fX!5ǝ88ܯ}ĉخ-32D1Ї'D-*Ȋ|iGvoۘ j;t| :_ *&9"h聾 iȺ[GOC&-GGew,SE=8בo kYPeDkCNL;JM6-1ԟcGo.CMc)H^6\PqOR!1JUqױ_:iQ ۹d54 *oB9Lv?6vf Ϳk!{ۃԷ- (C(M}"S ISu+pkNXq:/X$hPs܌|Fٳf8nEx> !<.!s5k?G^ڡ1]g[rhbÝ3<_l~2 ϰ7PKAtŁ릢q*VwlBPYM*_c[n $&7GP2}]\;ݵvat%KeBTf ŏG6j潤KĠ7%T^R%˦P:e?mŦiYu屑MjN"չci 96|{ϺdDnkzţuq6lBP8'76{!1U}3eiJea-؝sRh7TLWHF ]qBSdGZL<͒1+&q;*#9wtj6m+.^f=HTkq1 +|n8:sA~ 5PU ,@ WZYOpW9c[*B&Q606ʩV3~uvvхE$΂X|0C_-.Ģ8J?s%ot$6 vo9} :uQG6hP@'$BE(~/ Jqc1Cu{2BiBMmu 叒D7["5\{\pI@vCW <çj[d$?ڹdZS&QtLucަEB_$Ca^G0D )lPM?Va#q83jNY@ק{ *kVðof'2WgTΙrQ@-' ٘9 vZ%ajoywۍB:VY_)Vet[gwi02h&_eO W;L2Ƚ ?{ALJkG#dm}A*q7 %_3g49صo_ p@"ErΟ6{D$iQkFi-4|6D *%PmU _H*̰R(.XoR֤`ymɴ3@۩&uU-20S?._wv}o6  d*| |uٛpwՐkHZ-qti6Y-R0%NQpPm׌|Hz|!,&hi0dTm7 bOĢEZhmɛ{%$r૦CɁyr >f¯5N&(N qmNNZyR7$Lo9ڹGӣM&N9 diM}ªg85}޴%Nl,\bX]?NU%79%m!D ~{\뢆 j #;Ml|FR3e`ɊA4\voȅ>_\%&׵m+ɓ͗Ӏٶn=Kʹk[,8Q{Kwtom1DC@:Pg,t;aB7AL'EԬAdTC8=Pyl)T?q2Kj5yՖEް}HO #8t j Izx 6עYfA>eo4q5I9c&y5!gh{m+"@tmaqh`FD:itSe+ A (vKrrd+2WC?LKL3T+_TA|֨zg] Kxǣ4o [8`DOݺ`,^![ V/ΈEz'W}5#u n;#ڜ#Gny/ /K `W?n,-rff9ک)ƞHaܠyD(yĢmGzHIhYְՙ Ά=Π8cNd5݈egnKU:l8-љZ[^<agF­ S]z$*{).V u%.[Hj}?JNlPW`OM[8QuBCQ'@ƨVU%嵋3s}%uǤp@Wx/:Ҫ/-[]5^"Po+ @|<6,6cf,/ߜ#v :AD6Ʉr$(w_ Svu^MRv+}nc!.']tR)%RAnN+0Sfk;V_rϘ.w=$/I 0 Y،z jֆ?\g'sGo j^fːD=T}ezVΞX; > _h}Iޢۮ(o2!zȕ\2I FUWctqۥ Pg9xDjm^H:6}n+b.dgls#pB >Λڊόx!v$AQRWgNWzn.oߗ&L F"9Ki6̡ &W!M>H&M=@D&-Dw-E^BKD5 ,wwxvxӌuّˣ'&NJ?҈h3(n[-'.bMEĽ0qb.h޲-/\BP71kiK5$^ T0tI%FPsAP|Se6Ӧ2?IڶJsEEԳz7Iw z]5Y&F:<$__T~rڢ^6γV>7%i#EFaUATqT#l}IFw P,|POj +.nyby /$a|ÕaXJL͏ M?W2yR ;A8szWBp `+X,ۋp[>Rrt~|h+er`m:2ӍcQ᥋Hy "j#>45d'u]7a477| ge\@|-ÓRvYi(R. E!3zb7iɴŧ9Xqg[-['FCK-]G;^ Yw 'IP{u#Ďt:fD-KJg8Sx 4O!VK`Şm9/&G3Ww_z[LKUvvL7P#-7>a?"J$I[PH\FZ nP !Ǔts$3%zFҊbc: -RN^O£P۷bYP=3 TZ^R8Y=Li7Le)g=.y/Y"%Y{} k:RA@Wc:^&M@, 4Vne RyA/6`)[ov;ׂ,h(ʂOUZ LwNP LI\74D7 Q;Σ_] u"=ϣVݎ]6b&<^NaHݪ.9:0Γw'06 d3lKrQlaߘj"1'ޣ'Ŀ\MFi  q9fU>74&`%PC]]]nANCٕjm Nt9:h RfD&> R`. pמFxu-٪[)NBIcxpuPbAM/rۓzMZ?ɖ3T\X7qy#TFb #ߡ1ڬZV7z \p9)G/"tefczj, ?6۰x v_"7 V: F=&‡w摝,!y7бjiVLQw6Y i#S8}tl"N1 LMdLcj eO'.:Wu.NmZ+dYҜwmO7G2ȮրigzlQyw)QzFC^x=4!؍ 3):*PSJ]NzA@"e. O>oaGwv׭ &'۱0uM[LbK`Rz>*" Z4jd{Qk@fZ:O$ҾJmF#ePS6MIp^G6#4k:B;Ze ssie(t泀X:6QIG('`h@ٟ\Xhw}[é׽ԙ>%s`v{0$AU )RƢ[π#f$#S}UѝֶO*KH4)2Ȯc󟾆FVBk 'i |vE|-LPTS[)rȜe&bE4礆aEhm(`#$!j6qI)1j`?aD}ԡN5O`f䶯poob4h^kh`!e=~?Iϫ,t|6|Ձf%=ƟI]~g2Rb0~,O mcm1";oӓ=INTӧ-A-*GLܱ⟸2Y_J2!`] ]Fi!Qmg;>39cdKF9N~(4~M5Ml2ŻYX!vbp6,-Aͨpy}h.P{v b~z>ZgGE&;9 \_H?Ph;+aIeae}ܙzKv'Mz nD%!O5g[3T/:?*r0<%KtV DCn>G?1'rUȴt/ 0emiytR̚R*؜80}zwSlR?NmY=@b{q&]ȚQp>j4鿥EiX³kN g䊃^x: @)FyFOYv\NY L |RԞj?3W14nXmP̸,3Kx+,w*| yIM =ʝW b t _euPUIARADպSgW/՛՛cL/A ѓ!Q&_sJ{'x`)޻-˴ mEYb=b# EZ05sm* eK ?MkR >9ޮyS,{"GOtQ"LfJýEot^N@/_2LA2Ps ynpp.0ORMV=2iNu<cKv-~9,EOcul/1PgՉ U#eizs0{JiF!#d}%96 Qn:~.#HHL%MC)<DdsSao.}F%zqe}ξ AF\<ϳ0'uϗ꓃@^Qd2ItG17ֺse y!gFzkD- gjp,UH򿗯KdΤ&$бV1AӲy $Ԛ{IZ kKdL oz(a6.'ҾS^x7NGfL˪Nt&90b͎^5m~@@L3ܷ rvv.PGl\q5DbQS!8VLjƳx Ȇ ϓ,KzcfxuՉδPf@␖%ZQ\vqfAᑛ#avǮuyӟ& V)0 olP0Un)KEHOP!9g`Ywbeny%2-OL`&;('DXI MMW*(@?+N)Ic3X }E=NZ⇿nc>5K[cot]fP[Ά ,-%۵܅JC+~0eMc:l4\Ue  KY_Sr_zD j8O;6hO C㰫!zEC\-4j<p }|Nh!l!.3YU+7Ng7 X!c+[PҪxDIjI hPm:,'reT`*j_/Vw첅  4Z2d g>"WeoHkwϕ`#8^' jRt 'G瞚Ff4ҽ|`;ޜ\!3Ygst[u&Y,x;uRCA3je6'S! B`/ل+hxGflbr KlVWyrɕLsn0(>22}<%Qd+]O-4Ss+k7֓ Zu3)څ*0 a)[d<)ߩaRYPЗ΄Fn4F9W2&Ts4C-,FF6SÁ t?FYf߽-;6Sw,@MG| 2'n]G]evImo?9!?igߥ#y0^U(3}ڀ:HvRJU[bRtڶ߷VqfLv2L1[6]шFM}oBBOD=!D1"zFy)q' akLݞ":RfRm^Ҡvo֠|Ӌ?0X>@=WQ71Pڏ-/j_F_0ˠ"%kC=)t [KFz݊^3ΎF8XRigo_e'焞XسK\@6h`Cy8zyV0@TtNק X <>|i:y~'8J"#;q.*9hJrb0\&Ќ.0YީGZY:#(r Y{k%'Fj+."j>h2ӨW|\ְy$ *^W]Z1-gHDf Hت C1 guX[,;2~׿)9b+G2^!V@$ r%6WxE݆I*kM"D ֣<Ú%+qωD:ݾZ8. ok>4|0$)MXߙ+E?<Δ)>DJH#cm琘5&0VH m-~Hgåe~ @z6mQ󦼐Z5n悮?YgU6/6-OGj`}UV`zN@0p߶o-xMzqgķ/ʺ}Oa|37a4m1皋؃!oNjW" aT&#`=yǮ3y0ڈ.IJt mZmׁ ;Ȃ^#iq,S_'hpD<'L^`-p.4"ߊq}.}ɄYʓݭyj{;_B C_ǣxx5mNh4WUmϾ X !&Ǡ䯦{tYڙK>ʑ U$Ԯ!A'}/nbKw bVAEت[IJWI{x dL 27Ə8%_ᷔ|Dݲz'E$Rf@oDŽ%(A.a}Kst4z'p8RRLJx?n9i^@B@x>!X&'^c~39 rYEժK0]^hWDgV%' uMǺU (h R1!ͣ)zJވ+_R.(dX]E͛?-]mrȣ~-\`?<A)X&]EYͺ)-xABԹST>[.5o4|>`$W H`.ڮy.{gi-eQYPݘeƯλZҫPt毢}ƍhtkmͻ N"a<0b{vVV(HŐ3ObӾD㊙'IV:(ƿy֣59y lgLU qePiU;>;N,+Gs\UQ#H)eBx}x&F(␦ &]edj`V3$d 4[FnYmpD]Oҷ'8zr d7bFYEwCsnS"Qoo&԰Jm AЇL!nPVUh8 ]0kw ~/aQaDXn `󁎋!lnp-iF }9yF7(0yBaB,[q9F\#K!˨!ң_>с(SPĿ7͑׽_nVn#)2s$wIdq)ɫt:c''iG{/$Siڪ;6M8ޘJ{׏~;/FKf:\Tg?b{+&:?#=\jy@X[нJdcZ[^Njmpe$;;aDS[5WZxFr@j T&5å|Cdۗ:s?wGMû" e=s t]lPix/QߔLbN^h+W$*> U89އBΎ#0K{eq1>ƍbuS TքzgH1/1}r@.q ibhDևYJ_h`Qig} %dcHI,6qT) ɄC"s-ћE~VnS.|_í$A]J*ZTlx%H,00 |9`Y]Z>vEAa";HH[{n0e?c>]((ֳF]j=7 Dܛ,JP9kzZ} Z>1! rw* Ni eX+}nvӰ~\ >Ѝ+ g~5bdQӗu&9u̹\nGz]aU哅#Xy1p%*79_ņ̣*Ae[!x#i`䪝2Ơr ^G5vTHbj}GX&BLU[% Y()`|@Pdgҿ8d _X'xD9:ɾ&^E^ Pv85]k}ޛry^YKXeq] +7 Ko=HTsWf哃'U~*e ,KBC)9D^}`]e#>G yŢ~ ;4/8Ҧʱ{%yCx+&mR;=L:h%F)"l4ӆhӽ9d'Q{1e^Z(%WbG\oCT/^Kj0Bt9VuF8P,[h}/7|/B {{r2d[r'e]2l ;[ҵP>/jpuOvE1J+7/mF*U \V]ol21B福]%+Sb8\*\~Η۶ilMe+o7OQ_S̷ClV"=R^!&ί%!^E .a7}p\X؇ճƿ"Aoh.ϒ%/SlfD25xԼN0WNRo z,:/ R{(ڼyIXSRN2X)j) NMkv}gIs[r IaGXu