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 ll\%DLD ]/]HOL-Analysis:threads=6elapsed=332.598cpu=1711.280gc=99.296factor=5.157zXZִF! ٩R]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`c%V|R+>ԮfP*}gjGu=e "ZHYPMЭ&g=[[;tc:TFM\[_YѡGQ:w9 0@, οc $ T^8M9wX9lZ~-׃ⴅ\L(b 0 ̀ x6̟[.Z5_=VR7,w~pE2U>_IY(Fa!ء &1.*@d*U.tb)_ aژhDQ' @I8w$>9a'qͪ_3wSa$ts@wGsIB['*|fe8 siD"Vq/Y#ztR 8j0^Fg2 C{w[5N`ᚙϯWl\ћ|rJ\ 27&ZQk`?M@ŝ=ʃ@=' *D;By j9Rѿ ⿈ ]E:Y /:Fc2.EX_Ó@ *n4@Hz(x6_M )irԓdYe8_ W4!p .!w+xGiTv5ɂ=I[)4@zVNG ۇE wjNX3Cl@-B?3Ipߘ4Gz) ªp6&P.uȱ`╌S5An屔SƺCWO02HXޣ9ATT9Œ1f/q=Gg_ ,0oöq2]kF mTaX _4aX,xKʻR.;%f 2FBY) ȢQuT3ߙ1>&g_;TϾ'%[Kh(\ܙ7=>x͎F.+ _aLQ8izoܧuz0JHDObgz->dKPX&U'Q =rKW@N_E5*@ zLX>A&ڞJ4@0((ORWD %P{q>? E.ԓϬ3SHq uw+F~ &Bn95~:QE7f1HG}\?c?f8WHĒd_-;4}]`!ID+QQ\e͂0ُ~FayD' ;Kඝ= pI>]d(aĭ gYDymje[Oϻ(]Z5>7WcUFQ#tX8HrKZީ y[dGl[>&K[WMԭ}5*4|ow v57(;:2{^cd&tA^ r#!ܰ[XV zlX}P \$f+xD:x T^CCj"? ++m.xuQ!uh(ZFyMxA!Fۼa"X;7I2R9@B)Xhv Ap{,Sa,VnG/E ] )k3j!&vi .B<-i2xV3e2i5+N)\K:hڥURC{YKǂ _,MslrD%=6[?~ 8uumAt0J mi#ֶ飉E%UjB`P8^=[y=G!Kt w'xS}6o*Ѷtqzr2;_l)kbr;ҪJR^|Wm>`?f# @>A=v֦ppm˽ GRs:wt\ť"b{"m}[ѓm܁4^icbI*O b8,4<8ܵ+t%-|F;vaJ_HrQJ `o8:JRl~_mؑX֭q BӅaH'=fYH&Q3ЀBe(nJJ9DIS^ݻ*uBjEҏٷ-Пgx`U?uw;[kv`Da@/ɨp23j?Y(r!qnǑ9np{3Dm?nX8Cclz]-'y&;spD2&7)0ΖGNl=?>U9 u…k88|SK Qc=d/DzfqPҞ{m4|1t&RހOO懄o l%><؁R{Cϖ5(;䀫%r*#w~?K(SVϏ :Brwx \9|FR cTYaʬ-[yH[{r/2SfDwJk%rJT)q(NƢax11 SfYfls;!N>nQ_k^4QXau {-Ig[pB'0oȘlP`, Oi6:˛KY?I@kU!GsS;6@$t78黽›LSS^$n~ ےv j%yko!7Ba 1/ts,=|; M!+6,f xM㉚rHގ;aXP!@ύbQ 25a_;)O/mNS$2 % HOL-Analysis  z% awmj L\2#N#u6zsp[`%*7W%{מ5}k/Jq5+1%6qAbDaoGa޸H̆@sgtA٪ E9a7mSn uIH{!̉ y#Tt!r "L?zx!-sgXؔZ䅢x+mv\|w8w,g7wqZS`}mxG6=kOdc~k Q] g]DWse`:o0sw+jG="~K euKI: \}4r0)&[sy(慟XՖ(>]ssp Mn,נ^4_0I*@!ˆӚ:D!Io#)_NGyU>δGyPPV>yb#9~R VϓU/{M12wR0GQ?>ļQ*X- Ā!w &*<OPK p#l\sOɩE|P$W(Ou H梥8W U\'}얢ԥh|y ±w%zB"F]n}gk+wi?s>by!Bk=NMTl8Rb(B;8e;l>DF,L^tBYeª1W^Fة3ʥ@lW ma'%l*!G6˚%;(^5Bn>dڞ<۽̋8lu.^ wW{Psڲyqkͽ#JBk@=+ gTy_4~+A6w-*xK d>2fYGLkϟ(XF:8[dx)W Z=\S¨B)^׿_)C*8h39MzSě͏Qq*G'| 5M8 &_>{Q{^ :"$Wq kgJ?9pNwnYh>wԈON0:TƄjJ:֎FHI.M9߳5KT2 DJOf"'c_ 8}ɡSt1[fТ"jPt I Rgbz م,& |lBǾC YC,|5oxP%1.UsF>Q!nt 1ޒFj3w| _+y>1OarֺtiS[,WJrU,2׾(2P0(Yuaqf|K:!3J+.Y&~j~kq7}u'ߢ}b79OSRPPU Y/ª[@[B!D.ݲ`/'K˽W2{s;b؛1[\$_nc(d>`k8>سHw,.Cۃ9 u.~Ť![HΒuP\REgQO\.}T\Er5d=ޕ~n%F[qUgmr^BQyg1B| ^$F $\2zD\q;/cGzơ&`+] XE: H=7GfF|Za E!pU](n$|/H ?VYh?̆m6!|u B#h#\ A(b ɀYa Q雵%^WH|2=mE>+;L:щҙ 퐾IUWC/dCchonOE M,p%^E]˟QKj"v~ ?@PqZ5־%X^@nX ; ҙO;WL\n'iK @E}9{0,uM>ţ?C$k7l*Jel R$g˄T{Yr@!|Sni߅[4ĵ0#߰V65brSYϥgt~=TVJbtq~02re! jQOvOf-\,H9 K#%m}U'" W=Zh~wTY4g' o1saίkvS I N]*:fwW$OĉZ0ҾȆoLBU4]XyDvY#7,'8ԸHXΉ\ѤQX$4Rnk V:xMf[z>mKda}`逧,R4cN)?E[p#OTճ+af~ [6HK`N,ܬdEU.YF]d#6b'%(>SxRGR2D$U[WUĴbPFliXk7('l۱C-ÏR7Ǣs’2q;[Yj/[]m Lڿ|x^*EK/KY!Wq'صߞ 0*lFQ @mڨ8~7CjtƧD0/~Z19/8L#\GtPb4Ʌq'xLGއɬܚV`[CjC 5pwPEm,$HjgW 7Dlt^#`Gh& &2|;w&f)% QY!oJH(fCRj jhX.xcj#w 6<<\*~z({-oAosy({U݊/r: h}F?d qܞ`"q[ow0iɈu=DHW G&VcwSImAP~Qj|TLa?ChBf CV8zNϴXoqrni례oOҒKQ f>O o[6) WxC%b%ܖG*ú`"*7D;Md<Td(yOǏ#9C+Х!L|Q3 77۠WG|@fmC_mp#09,.Vb$Z:yKA?v2BٺKt:^Ӈ)8G,2ɀa<`ǚ5Y9}24;KB89oP3urT3g֗+잽g/s7, D0hh*J 1ddR<5H_ܙ%zc6a;JO]bӞtal@0qCmw߹@XҼyq#7|SM_3ݑ~/sD BͭVkϲ1 8ak[L~G,T抙eMW1.bkcy rA*,[I{xmvm'B @8c1uCH/+VkE^_҄z;4I5e.8o}J0`CB$b C9 _1A$HyO6{ֿV4b.wLpcZ |9,&7€h*A6 LꝂ+K ;|W"?gc/{DFAwY9:ض— $Ȣ5׬-Le(sP;e+lgp"yŹo`rhImyl I#$+4IfdCIxnY @xo;s.f;޴1+z=;Ew O>2v.}ΰhID5e|?´Vfik.;Fwh6Sz +QpYwٿt˟9 QGF\JxXߟyJu3Fj2+ 0 |1 >Tf.s*c`>L48=ü8بxIgv;x˱:fu/&/dAPY7*?r]0fZ?RXqII 5]9\"'c/կ֦yAj[G ⴷrQ)+9Aߴ^RM ǦEח KZ[g)eK.qZ+Tnnus,vx\D=ܻT4 / 6ˆFbW!.8|:l"L=\g|*Ox34:k}=9ܘ.G!(ɵde̞'ryNy|i  Xִ̦0` O -Ad;WPZ+@x+-+._71.:g %dcP>"A`Lj3ǘWFU.d0L e17W=.0s Ʌ Ny+ķ@W/KKt\K52)+bta$'SVߩ jWE1sy2;#29W{ۊ|P%/=0z$~$yC}Ǿ94;U\vhL̵2݀Xcn6{{Zs8$8k׻^ꪗnl/j!$evMZ[Ǒ_hHt#m³OBЯbR.zzC wn(.a/d<̬]rٖjWm.o>Lp zh1a4[򆑖m]U_lkC"` !7ӷ)gȸ ֽѕvqCEF%@M1@7RheEMxq'nX)2^vפ?1g$cEϟZ-bӐ[Ƚ<,: P".׬Εf*!Tl{tL$T d/!m 3.|/'z>x/Y|C>h% e7 En ħ?ŭIMC*]a}KHM͓): ,RƮ*<_*w.8JXQXg>٘+H@yUp^;:9M9J:^@ 1<0HБ=xݛ9)yb7٭,t3:ٖC^e}f$m1f."`zwB}tT/Lpk,|hѤj<E$mm;nYiߎFp42BCS 1#""Hp* Ա&[ RPIVd7u*/`&"谂AJ:(ȝݩ+t;# YC3}5Cu~$-4iLB;.׀ ǻݒubQRSz#1w_v<Ü&Y>gdThk{Tv( Q;m2OMǾ-6 w=.I2\c{>_IC"ڝ2B%D[0MLG`s]LR#v:]Nsֻv> ݡ\<9c (-`e xX~Wx;38zjQ4% Nq |d+|2u\RNnl mu2MRbd{?)O8^'S;ϘV!ɐȲjr(`2"B_{י8@*O ٥R zwL0 O<%63^37Cɵ$˿"dيE_DDG<czo*Ab`>̰2 E*1oG &/7’uk5vOI&[!d"-ً?Ð"S7Ga=)L\Z KHYH";=q%K iSTH~LW,fkY/`gΊ_iW  a:ߜӪj_R RivLӞ^f[~[!g>zGaL0B/5@0=HjyځQڴ/s("}@tݻH8VA2ybTnqeRɓ#`r: *='(O\F+;k_;hGv>e=gpဆG/0)/h|bo̴`Rv?(ʎts#>ԺD.XeQ 6BiOdM1 %RHjq݋ ےo.`H15{'/z9xWSIaluc.0;P>6* m*3*א9< G*7;kY7;N[:>AfA$c?Xq)b{1 \qi6: Y jFdT4veaWW",蝋A|AU=6=A @gL`X#)]YآjlD-xZΠd~q?S1o܊JJM\0opjW!BbU5 7H 6`JǦ|u&ex-qr:?\+]jJirtCB;?V+$DTMr1uP֣*lxW INM;S`r;؀ "Y ܀"xqL-jD[R묗ms3F:]0+@~%Z~Ez2 ĶN89 ^CȮ`!;Uh?Gv=O4_7۾W؛cVo#L&Rsc\I2W\q >( 4cowcn|}{VLٷY"b/GdC\ }h/LAmxB{֒Ӱ o?lj52F *׿=fe7 ?bvUtE#]h~ Vm~WamQal&$lGp"a6~MPS{?S֬C]#nBM$dGBYү`j ^c)cE(GL~)}='n3ZPmޓ%j\nvnf dF1hÆ wNx& ?Qgw_]`HZH84|s]LGd=td+D݉qW D"Hr҆-ENBho^[o9AWDT-U>[{BKۙC Wmlg{yJKDv?G?Z)8yY?>?~%M,P' a.kbwŊR/W/K]J{ND؞۵PyF`vapj%SNeoLע'&+.c3IeQHQڗdVр8[B,7Nס@{|0LjJ$X1CjI8  V+Rk.HhЈԻӡnh![cucx~/1"niTQn b:NXxUZx89 ?\۴ z0HKTzv͂9HyX5O:O\o2-n\{z[K&?Qs[`Gpϭ˟,ߵ ȵdmr+@P7loS>b؆0p[7TW|ӷ@Y(-ld/mz5"drj p N$5:LrwVSnң?2N"0:ohP򚪥6vRwN 6YN%͞MX{'ij8ƚ!Q3Yd2 =$-v8si36qjZ[i=km_؋#,QJcAx9HV˲]:4BKcUDɂʳVoOeҸA󡏞TiYJL"w#}dϥ>Zp78Ť\@A_Zj~>d u 5DW"ɴ(E24P]26w|RU "CFooժSXΡL{~ޖ|I\H䁝P*9_@IdF 2xbCpwyo d)\]mFOh\"Iwl>vxj\>vagCJ \T y| bjˏ'A_&HM=X~FEan1'^bp3DG/dM-M螋/dѰyʲL珀|R_49&˝1hZ'v{+!39I%5G.Ge/e@[,TyPWoU/zr.T~" 2Z6W=/DeZtq%V T;)%5Js^&ABM*]0XM R 5⠽.(wJO #1PMpw0Glr6E@/`m}ZmA^Z IN);m19'j5.͖N-Z0'xY ^J/&s*H^'5㆜eOt@q]]Zj6gMRG7+MD1Qx'sͪD}*_~kxc{A] H c9R<QL7}جGǺp7̾'&ȁk]8}u=/ܫM~rB`o'dM"r$, v¹1.wQcz5+\\T(Rk% !OE'y~ͰvUs|+eJDZ#y1b}-IOc,j=Β0Š_k߼D˃M>M#y? /yAo'>o[1>FRhy]I^)%UR[WոS QwqؠwTC6 +&aKHntJwc )ñ S$RְDY@zp hq$ekNk:}vzn Zp+_tSd|z S*dRZ+D4RV/o]!3ei31B,EkWu l]!Az괮 LӲ*:K5PIBQ+AW㵂S $V!^oػq҆1fqC&'c hI]?[IQG' Db.M֦4l@PIC= *A)CKOAU˿XqjowY31W_A<=cڍiQR2gQэndP=5a @ڈ`tErSPC|l`l. L$C+7xa}w7%?Q6E-if$!+bAXcxM CH7v)\gRihNX`c+.$}F x#&eή8zMSplсA,:gPF1R!!}ZX֌I%l6b%if]"6|kk9;*&'~:Uzmi@lx̨^vV*C8@t'pd_``,c",RlVM 81FK3'v@Ժ Tk+JQHw?&mҵsru+`kky:\6Z"V@w 6D4hN;wO>&%*BPFc*򼌲0BR_Oja5_:.}VCyNշ35C-/u0FMeg,@vHS&{ "Kژo AԜc]̓>Id2+3X Jd A:{y&mdt^T6S@>\3I0?TVfiLz `@۠!3D9ѐapϙ1-׋ O(7fNu#8|ό. qB %;6j@ H#8XKJX)[ѽ?d9|!/hyȗ?/xN4YiTѻ|}]TS$[ ;s'S:z3~2K`ףzRStVJݐz4 :&Œu=4v0ps%vݯcw6"~֖$:ִR_V33?ADDj Yd~6,]^KHe>㴲gvӴon ?yJUV2 :$.҆:ZG2&0b[>Qt)Қ(kIZ."ˤ]3Jb]bvǫ~_O}X\\}C5bcnqBcZ)z |25:HH5c!>ဧxFGbP1 V<@Q8$ԙgʉi^{ݲ >c1Z-(-nH6eGiC:|,'Ǹg$X݀}9 8Pnt~sƪ; QWe3%3 NsQ9@D;qrȠ**ݓ:[Gx-AϲP,r9i$ՙ|P&a[B8LOet*HI$'  Vp}, ބcvNrw߮7u:βЫ\q%[n lW~%k&g7[3Zws#V*ZTupaB}xba%l^Ff^A{B[kܑ5µ)OC>԰ v[]&4I::iF'2T5;b!min0et]'xڅA#{ :+2.ӥ_%‚D4 JQUO`)?G?'+>*eЊBs9 צxKBk,/yЮ7Ѽ=|#d}>acAJJ{77XG|rstv5o~7F~G3 fq{*ǫ6tmf ,\0MR0LD(sv0llw]_1S}(VoI`8l$ + Y/ @YaP?QLo4N9|XrFH+NPR\ ?-3"t??K_gQExu|~:/˭Jɲhx?zg m翧_@"VַQhܹ{1aW J߆-EbܿH+ȷ&X>8$7'`FL#)#:"R/dVY*0&+:;6JOy),6w$Fhk\2#lv dm02A,&~7`!K= D)/ōK j㏊GeSj?St:7{ Ag.RORaٞwkE|ʼn̳ y?Iŷ<[]gJ )f%g Xg,y?r|:leCxl® 8~rަjŭ {.BJPh/߷gDi Z]FbԫnkR# .VJZ>plyؽX25d.aMπVozZȓgl/FfyČ>]e&CxZ`瓧вn!x}w\g}ã-&XUOJY'0ܨ/;v ^\V^〈:FRQh-VOcA)1ö['8A')]o-Xy\P>FW^(l(&#k!e` ƺy*4 q ʄ]&gJHF2cr(I(_qy(vbȵoM R]t[|XЀ@יJq8g[կIx:6+0`B}; Q;|jޢ5p 1sئ#/ag1V'""|g^קu2VK2q%㠹` @c6@"bS D@ RV,0HӅ)<7<͞]8nhFG;t_(X tj ?3Z!/Dv&+U#b3SѶ$̌$lq ]i^=6a<\-,.¸LGێq3?xiF̋O$Y7qQfQ EcS2=(4uƊ, pc_I)-'.ϸYOgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4ba''n "kU rtwv䊅1o~S'qUN˨$6u^TL$*T,1%D jOF\V>@TbL u<15Ԓ)JLv}H!S?6BQ=Z& )3ʎrc832*boKP0ˊZL@8>꩘2J#a'|ymkJiaOc՟iekd4@baH]B"|1*Y0Eŏiiߛ}f/+I]>! DVnIsg"\ EڙBV.e$ZkD{eee\'SL};~7V(栀*OOt%Iuvem0£_;˒,Eh&Z,XG<5'Ǭ fbSKiK GJBO p{vԴ21Q LL}Nz>:a}^@wf-^pdݸ9'*b)zw pnZ5 KzYx*b 3]H|z>3_Pu1#GI澰Othl)۶fjLj'lGz;rҩe8ilESf{J  ]("Mr8^ocL 8,Q.?L5 ڈ6B$gʁʲmxJoy|Ӛf"7զ?uaF~akbG=Vًam{Nfg)T}Gw:g=vJ/IxǑ kI._b#[)# WsD;)W#ۋ*+Vx?*ըP oK@$ݗ`爳^EԚ"Srܡ?"Lf'p.xO07;7 HDLΛ{gݬ6YOe n+Ssi6zLg NG<8i8=%e4\, W}lTĸuLe A`¼m^Vʁf pAn&_Oz!\cMؿW eճ9[;oy#J#90םxBƽUxw0z)#\-j5dMHyJ ==&Xs7֨ԋk&9^_n:f܋ L&k߯53խt#V@\+aOBg(N",\h1z\?&R#kϸUMdJQlvL+1?ثBEaA9 \oP7uARr]E8W?9&jl6$]4t (?aWy~aK |4W*rW4wfӄcich"a.y&Eܶ]6wR^AdFXL5Z#S nBg87w7)Q6L)>Q "WltR@rZ?q? s`<afRf!!'t6mކ7 qgPf|K & C܅q^u.r晀HX"b,MP"R>qE4馚6)ՠYV5,3ᛏrʅ ధ+Jkst JN'=#A1f_,!9qYU[<{HOoe:|Ѹ̔]اe? cXx[p%`]܇O۩T[+o6t>*;H4xM:B3ƹv7˹Ϧ'*e/.zo.†M:H; ꧽF~G7?2/< zV8>rujKƂ$~?@| ?j9U{Ԉ27 aZ3p_ _s?4sr}@5Xpn5ԓ>"Ku#ͼ#P$UgYZ7zXZִF! 1q]ŗXi%IJ#"$2g9ev|p(YT;.\D~C^`1X]j  D|n-K\Fm`X0b0Ε+v'# }<F84k|؃}V:e[kaU(<ಲ,k au;z0+ׯxF.t7Y[:L~}ox80[ k ekvP!GΆ<*? 3ebHeXrL@ a:>\πHQ\ \@{7On9eu; { +EZ1PRⶁFŽ .2ۄ~f8ߎӣ^#$|ojiuQ/eUs]l*4њN҃H?XE+Z-D!u92&4x{Pڃƴo˱Ӏ=4'R{*DL9z/ǺV](N |%,[AC5&#Og$) a&{eQLg@I_;FSow D81\,H^37ϋOSUj/hH!^[6p)R2G\eXGJʈpzvf.X}0+%}eR#Dl=U[~qAZ|\ #`~ 4l#rɺs*ȑY+VR==sɣ;V+o" 5~FkӨDTྉEd%C2 nzd"Á:Q'C, /u-5`\ѕ,q`A1`8^'E "c+ٓonJ2H4K,ÿw;3S\)1gO10G#3FZ~8jk39?p k 0qWْ>@e]$ d<zd߬·T`gcDCXKf;R$WbNz!hؓi%AV}5JpV?,ZeIC*C`:3o չe6 .A6*l&2nZVۆ 1#矦 xϮ*{-K{|Z䆋90>s2VH]&s=1V妼\f!dQd$܊}=ee$cT0#H!$t1лNM](ag!6aukj|^#%j'5 lGDzHڕsGݯlàr4310i[`yf+S(W)e8neY0M<CK״h&IV= bK[Vʣ%88IB xX0>K6Vc]#1`X3>Ej-hYlqi\OY2ElZG%3i曡kY9{]D1+j3U# ׁ>EԎ;x hq2(*ۑ@3Q +b]DU>!yđ7MF/=v0LC/A*dX0o<իw\`EUϩxEYa`*$Ԣ-~mx|us϶:zU098e 6pCPASo^h<X¡.T))͋1魳Cw:vwЇA<񮆨=!-ӗڀN$ cXdn!v1sTKCُQo%*ΨSIK74DOPOna$jRC[{?a_l菚yѳg2|^`2P(Mfɛ( ݰ!o}z/viØ,GZ9x0gh=fq%X!ZT?= %~^xy;N2h(晷SJ۪ʗ>R|}an54R$ݨ6yy9E `__+G4gvI 2%.sj`B* VM=p,+MxZ`UjE:f·tC1?HCKrzRlr`Plx0iE2Cg5u3m6|go||x?{\pȟt>>39)k=),NLԌ dye^Y4"_%>$IMήUX뒕ƫ39;I 9`dLl d*^3v as V΄xu)I9Ѻ6M(ֶbE&71w E3}ea|cA''ځEB"EՏ-'L?gH(M=È4- *3]HWa#e@Vnؠj`0 cKpH{cdT$|΂v,Zn-\+ )ҥe}%A}GM39S` H.{+~_-Qɸ嗼$K2zr4"GAm/JhW")=z\S 1J3hXq},M$zRI& , |!ޤ?oQFfb<Ԓn+ Ɛj1MmC F80F;) g,1|߈,b::oC?L&baܕwڎ @þdycA̜%HTG%XY㈻>5doep{'𴋅vIieBJ  HbX:9o(fĕgaL /G6Za~=O4(QP@QǸT{i)`R%HwU!;!*B~G.S7#B, >Y?C% 3Pͩ w ]jx_ l].Q)mI\Z0e>#!=PRM)t=5lM9(ԣ*q0ub&F68b]Lg37Vv# !#N4j'o}PޘWqS ' x2A8iKA'׵&`}H/#^ɡ$|HYl '|%2!lH\H _$÷_]etfN_?C]\L*9v7 NlX|l~ImXp=4au%_Ss"8>}uѨ!Gj1N".dTB3V~ʫEJY 11ΞT _B &OO1y#$ށۮY3>T{OڧϤ{ 617?/Q aq_N9 v4eFiҞ^?wM@i~1}cǘYcZ,aҙE>8x{T'iŊlAX6x' $q1@a G{!{ڪ~ccBv]>_*޿g֡Fygt: JtFagxėOU97L '峵q77ydŁFmg, 94e`ݓc%X*p˖~ KlV#Hak#.?in?&X`:g XIۀt=3i1Tin<,p`o:ZU LwPED^HBzg 9d31|=KWE(?z7o- ]; a0lǮ$:'sIy1}ooqoA-G|Ȭ)ǰETۂm2"Ÿ|ƧR:DwcAJn@jf?[ gi$9 V~jLpLQFXz` 2ds*&ry9.p.AZB/=੮gu[zlsGxHÎ\8a|Hu=49 OGQ䵟VT/:I?#bй$*8_ɧ DgGt~Fc)0|>m4zv4+$ܞ<16奯9C._ hٟw7y [m٦^+ta؟Ely9cN8\!fbg}]B%>A3 sCU\]c x >gLݚ ~@ (QEJڪ:/kҗͦa4q@ -`1b;u)%5nBQg1fe$lME`r_Vd ?God 4\Δs55ay*aa!G>ԜkڬBGHq66=r0'Bꝁ8+)YC:Ĕ0e\h$$33 o\럝bw􏧻GY3̲گ>{LV@ {` WhTXBm&G7c &۝ 2{47; ;}ޢ3۞lk"I_ܜ,NA0r~Rt$Y5IXΌ-19\3gv]arZDQ?0DZQ.-S`#e$ȅp*%ckT*,߲*Fի|A[rlcDEҌ<;&P e .=Ņ*B4'^S&"ճwv']O5sǽ.q,|W\\ .h9IhBǮpKŞLf ŝ3BIxxd:Xrb$/=8v$;PB®@c9>Ŷ4oY2r2^lsDE)+Q<' ,O up_J_#Z-QsS‹|DՎGe0E;ߨVca`ܚձF]뼷$23҈L^C$^O:UG rn+0oi,ϋTmlTs[L)4i3m=;gKa*fD1^?Z쫥) QWuJYuWo𾶊 :N..zrm2nPS5WIS=L yye V@>aEㅿԻuLC>xx3C民Cr:|Ũ~XOhll HVU TBi/T_ȳ_OKV=@VˮCnD!`"Ɋ(}dD ˓PZfCu4(v?2yu ]WT P?&jMkg XeyneGZH|u*`j{xTiUm+i39Lٳ y} mD˾jcR*-骎PtDR#E!jZp#@qw'RvFQ=JV\/>M >~N'y!;81h(9u#p~ֻ7zUG6>:fuV;1n? zZgnNwF=w }Ǐ!ՌjTíi qͫ0h+JZ ڛ@v B/7pUy J+Jo{Q2HS]O+:{©J'^ ]e%@NBr'Zqh=5!u|" 7p y柸yln:p-3 Ԋj3pG kҤ 8Ao0Uԗh97^?oEԛ}=%FC.[/m }MaY֮%T^1x6&R)\V 6G*n%r.n!,aBWtLv3:I/, &DEs&U>n-21rw§#2:ϽxK.5,CcwQq5W>~ymYP!61\%\ȃhU S;h0"0{[@'B9DԖߠ3,5LS  Ք,=ҕ1 *P9G o6Yǁ 0[Uk]iV˲`6vI7׈LI8a38FaUpCDwm#2Ш %1, IASIı;@h i5rEQ7,ٍӶЉJIQ@"xSC vQIote|ڙ ?F L)4&NC7C]kN>4{S6aw.'4NoHىbek .iJTf2'KޚzZ~)9(H5OXTk^w1gFxVPؐv`N )Ak:5ug5Q65)0<"<3}6z :l-vѢl,c5 2A< GYp91~dVQaA9O6U)`nv~p+ma {K n l\^cAQ,>1^pV^ߴK5a8ۺヤR8|J:Ӯ kE=u$4jENgPY8c$aL1=Uxosq慲bsǩ!Fi"n,ЮpNBgي]OQ,PpAɷ_̾y65Gej| 19\.NagG('wV}0jKk_?P賻坰fx.YY QadD5ޝnFVۜR+muc񼨒6%A_. ҫW2ګ rn:m%iiKӐLָ7jC09LJnCƙ5'%bjxS|t N#lōN03GÑ>cľL]T=ѷ9-^W ~Rm EW\%憠?5?oOowlڐ(;f?m9s mex<2Ԯͽ,cKd!/h^q=dO겍\rb-{q*$h2<2Roͦԟni0S=!XsK>{,ptwcu}]%^4e"Ĕ!Q1RW%b/psז+X+7#yA'8~ # yH D$ p ? _ g]6F@D# a(]x=3xehϏ5UWKJ# 5q4ڸA!z_+jQHPK1`tq bR]'x%,fVK=j9Gո?|^:YhjKp/)P';HLL~!d\@C e sG77Y?pcied畸P k$c;juj9At]<[`obo6u'H)"+*UP1B潒wEhaF_4 X:?ɸŸ3M ܪ ,ۇm-ľ"q\:RwD*Z%VEhs@LvgKY䈟*%~&hov'A ެ,ݸ:?nWJC.O"v<1l\ $[Wy1b֡nҚ# <"00p~`-G^»E"?u,ґu?SorJSs϶1ǵ0aw*RP^ qp=M=koj9RHs-ds4qijj j|^4ŵ*rQU>L]Q \Y>-ʙ *7N\Q˛w3I[rwvZ=~\bW|[8ڹIثvR=9Pbӟ +ND2T 9 0MC"cP8?]ؤ/ Cճ*p|J%jz鎝Oa\* Xjs)/7a Q`R=OҎ! ts)a4KU{e=* G"~cvmh޻9NT!Gϻ?7 n@ Х ڟ cQUKnb!$p _]%7wlz10.= ]D8rG2Qocv>\V }0e<0qb捦9hC&i=5+v"!>11*H(2#ˀ!4|aS~&W9G !r(O\E`W]fX"ql?3ud2 1,[ CJElηMH SP`9B%:?{4 _E1ͤ\,6 4‰ma(Y"  ˾R?)Lx2K ,?1mlj;?ug`=O2>2ʳG݀Ěynxwo"g&,3*`Rb$0X Yr*@EBuu82>oHM5kҖ~&& -\2Zdx3U k@#SO;̺sEI}kO+Yz,6lׅR[6`#"C e/@M^=~}#<@I Y3NNH'] X\oZʠ~9,9d:)Jg!hhR FSwq ~ܕk3~GLKYyj%4+l/aitp*'-ss KG0޶AHwQx!Ř[h 7uqʠVo1~ w7CHIXC&K&uepHxLxu4 W:1DqF%u){7Q!V}Scy 2@\oq W{J }PE;qJ.V8͝=mFjT %g[RJ=i(/}%fzVToLolUO9{]gچWa g %-wUGQ dfED,d8Zeۻ웒#{%v=Ȅ}Os%,ۜtx%(F>g&l,bޏxe`۾&ѷt KHR݁HJ-bb#*}MaĬFi'=g& ޅ߸c*ܿbbKZq?b.vAPir[$mgF?UQ!*pB}/m ~ !WEy>on#1^]bhR%6va,/BƏ9uNF_N  LIr~rVa2ၠK P!ٰUȞn7CTI%G#h-&jژ[W%%h@ۈ/)1 °O1O;fm;@Wd<:jaHaYu&g*6kѥ8ɗ:}|H hYWפCB kQ !-hpQ1sO86w c7`( 1W(:Noŝ޹Q7tXw78 tUd<r[$^"]t @GJ̒'ש1"Vci8,snQ _aq16(AZ`ޢo[(_:qsɳڳv< ̭. `Fl63,w~"$d9kG4dT$x'&}U!8N@j|8D%@&Dv`e8Nॅ#O Dlq]#kc{`ޘs\bΑ o{<=a LPy~/9@>4_]Q,tMxF_ˋ!Bwm -jr{^h2 k>}gBw1vC/K)HQs`Jᶥ[=panoJe0pH6j9v2rV{uٵ_=0Vx!(O7& 졶M׌E%?S|E/ju/d-r$kC&Az\X?vaboƔfХs`\AŌ^ 7&+J Njw'~$in^,I4lZ5{Ʈbʝ2MlhqN,:x%64v W'vPM !AnG?:"cӪڼNiڰzv!2$hW2)؃1LCBZ$2\" kuX &,2nK tD6~Zlzn N޵\& Ui}SZ,:AVgrjШ[_>"ᓢ.9a"̔k];+W]ɸ}:ԢxmˬUc/&LTmk~Su.Ysm[(eg8&]7kz:o<"2c5VWyY $\*ē(JЕat$σ~7C4MzpwF3QU*3GoK|G># ~FRio"?(?k/Il4+q~.)hrxxTr4}jI;!lC\օB\k^:л}@j` gX NЂ8H|@'M@fTNzNXx0)83TSW]("ϙ*fGtxl!Mi-YBл~Fع[& &s aRoFwvo88m H[EQ4 =%yS% "[kCH!(#znzj?JteUA HiTEJ51%lh]f7|c:zܿ?1jܝq*gZDg VK;@䙶LMNq]2>$L_dZikc8!WKShPקQD} =]\MTFP\cpX:V/}gV3[)U4UZVQG%uer<-.D@+QH,-mktIH?llQ>V@ou*c[_N-.xlb iu(A6uN)Y书>.<׀lGEqXCOIU9YʹF4 ))!pRK {?]&YG;fjNW{~]`|&p‘biaeeoϊAQɕu!0,'+$"0%xpy^BPH-ųš,KzܟF/OԞ_QE)Nk@@ZFjωB`$^SchK '¨_"6[qWӱoNPA*>{ M.߲esڃj}خN-D(4+m*A5!:jFg&(M_>!ü#Qwb4$%+ihO+OČ:>/|M;>-ٌ[8HwWڸbaryU1R4U(z^Sh>76XKizf-h"g4fk{;ł'҃SJW`Ie3*4_h%9[9Y]$E#O7΢xOO%.X#k]ϣo?O6\Dka7ÊtQ>h(Nѳqqentz1CW6u<\(+m*h[ wӲ5j˃O5\'G|$ u :Tz RQ%wjmzL^hɍN 2 sB0S Ucկ!W, X0'^pe]yWL%_# 1&eo_ Mb=mfђȤa??v0j6Fx|_`] ä}_bjF Ʋ̞ϔ._I/ a =J13Ȓ^F" nAD$~B-(t9@M>wtt!RvK)d35͏A8J27 9 db}/.0VIR^UAWaWSp;y3ƜfU$%R4.WDٰwS $%v5R,1~~U > \+ˈM<̲ SMr , f!KXa\=uk:Y`R޽m@:EBWD"+3qr$rdbZjk@+@R$Sb;QPy%L;-|&g{vA<^ʞ*PK.)tlԚܴ JLv[:<Å 򵒐J{JĎZc7@h>R8 qD .Qi}(M;^ڱ_?|qoY(:i|##Ivjh}q3ׄ- ws)F]x ERy F @Χ[hރ:?ou\GBI$Y514×Kks<&ЏhW3K D-[2nI+{=jA ӈne%տ5"sjCw>4qԾ.y'YuꚊfGđ0!8ktk $w"CnMcᾀmخD1T +:Lp&) aWa٬}3Ӽ{ǿAg7 8%0~GUleGǬ9ni=?SEKQ6foqq6 τu# DrC'kۘi Pz!޿K f@\ 8fu1ALE_ބ{¥)!-]G.b|).?|-q^}ޙPjb#/"os"La@oU,YsruRm{m!A+tSxʍ;9r=kp& ѹ|R{Xw0vuӵ͗zfLW_r^j.<^=OqH*:"w{xϕi~;Zs!Ad~K_ F`I?!z)co}l #ՉLM$Q ggR>e4L?)%g/ ֹ6#{($2z9 xLj%=^n&+k_ozr޶h(DY s bK8#QClK~#QUaSJ賔<,hXFz>j߸Pז7l41?K@8~xj^)&㐯OՒ/~6&jP貂xq,KQcƐ!+4uf릯bxxQ5$e-_ eL ka&7llK$tS B]I8#i6~7?;AuĊf$l7=IאcGŰq줓* }I Rz_x+=#+)G/-/|T~f"6]hAu%aYf"xUU[!;WS^ȏF!W0C 3]]NZCNpH9i%-$֦_ydaKZNc xw[`4$ Cűq0p +23D؜Ũ{|M{#"&~kFP(?WxduJ[cM^!4K5Crwƺ3^hLI׿q¶)n ZP`C](C'mr VnWFҏy9iTM51|-*0C3Z=|3V!}S$ |*GCz˽lCZDT y`O[Iw!2(t0G*`:yYDaGvro Kx/m4As&dhQ_^Md >U.ݱd@.hBv: RuY4Ir_ DlI?kTwo1Z&o%g:Y|%+o̡A?Y\Lvz4gyDWI%B% Bg_\錼z +èq \&[^`{xD-:f YPt&3"#ǕwyR,SB* #@@`vgEq4HSO*C<{-1?NkQ%^1?ŭuitp| G|z&_[XCm7t`ax"j81+aPș5,Xd=DQrӞg 5[ Hx;H&+>Z+}@ a 42}dCCBt!~H޼e0 J%Q텼dƸ)iſgv/()2z!z[wEC{KQ Dl;F9o}_Pjz,#Glb{ g$ 戬lԈMǨFӧ|(39A*`Ccj'@8OKp@XgYBPvV`Q7_>$ x©J9QzE1~ QH4&o"ȩJ%ٲUiIh|1B5{ mC5d4%M҆΅ʄIOzۿp!etoeL40 zz3MI6Q/RO{O6H?K#77B~)>wdTO{l/jyj ]}>-(u&?p,6#-?T#qÕWDS} +{Jw $+B0@ nd{bxybvxz897Gn5)qפjJ%x|/!t.:߼sGXs>}WM?$҂_ ?]}BQ\/('@T"&z ;H݀V으aL.xA`ـX.e9X!Q+GU[*\l1OQPk?H> 8VQn\t_^s([iU/SF0\O㿬DDDbB's+|2ir_=|QPgUp-5[cogg6Z|WSdpu.?sw'/FPp悠R2e`kSxm|=^m31bI蛍NȧnLkaV`V ',ĽCyli~N2[ɌL)Ln1SE&nn^~s=# _Y-x^5Kz~d穀WZK>WhG<0ק<_j@F'ih&0(O@?_  G)XKѧ,1V7Mz5֨Ad'U|:Vx…2zSvхųu|LE/mݴqe(Qib) LR%V%ۛ`ĸ{iaQtCM8Sq^VQ",{QcтY>XpQ3/QS~P-6rs%nTǂKM"!qP-^Ps c nE aeabS\߇ ldm^ "Ũ ezW&-w AFXa뢣Y(K!,8T.vă 6 W's!An^6Xk'y4Cj^>n %{,l5/rه Cc'.FBR) R{!Jnh0jy"?$ F!w+AUu'Z`$κnYgY'4\`qB;Z3c'qf#ezɿզ?"cŸ4۔Cwo6I3+ngEk,HCV:~߃ͅ7h]Jr@[ 3aߞCH0a0 3I' q*^(C03Gq:nn5dϧdB)Tj;d.XyGG-<_ 꼕<,ܞsde{y׿Yvzn:;SAX~k",wo?Q,tN#]nG8N喉hr{7F8904ZM1wB`C@PJpX<-㲱ՙ%֓D9yG=Ώ: |> T]rOėC5$ߣמ+oxuR(SMgqץB#ePԉAAY-NҸ48"S6* 9.$>jY̙>zA 6Sy5i&hC|${Y?PE_3vkcɁOR-Lܝ&GQǂR=NLWم/>h~sƷ iaس?wKo%qF*D;E&*V~ܰIS땈"cȌW6\hYAIC"Plk[ٻAIhmBn]͏6ש_2(5gRDwT̾5H:8R`j o\ {L %ȸF+yP|!shnVVSJH`&Vb =e7DgF,EqPF4(0KY-HxwbZDd"[ū4gجE4g^~aWrJfAD$ "~H،C 27 LڔMx!e 9k؍Ngs\Y8݌q?FdަH~j`b:}&9@cĻk6ˋp,ogQ17aj 4MIN2| 4}NFuu}6x/ɤ@ʏQ]w='kƄ;"ѕLGFgwX'g@bܢހ)~zS7j4F>53|ȊGM5!PBLDZFMvf6b zz}:UAx{iJIW(֋uMh~s cElcN\1#3qHZ.um%da >.1PjJJPdw%Eǽk{uM9c-:sˌLjEQ7{Ȳ~b+[r|#NGT Pۮqc.L=V5%3:Ʋ)!Ut8 >c/;() U)a :z&ꇃ ~I1M#\ ;g^lA0/YGjj`CwQz$Cߝ]^7fn_L@5Pw$ ggǃV#h\w<1[MЂ5uXv[Nξ!Gix7ڦ ^F~EP,gZ# )542Gö=<ڱٳcWqQ+qE:\Lp EWrI,jf?)jg3|Ŭo C oLjxbU%2Ɗ ΁o?ߒb\aPyba&U$% `^ޕ I;~GlSrӮ9+L@\oyy)Y>"vw-+}`9O0c, t琭޿.)hȖsM-hM@4,IcLp.d7#fky q &TeJ4僌f5vӡj77ckh`zجb?U~k f'O|`bcmB%TxYJrEɃn*U:z3{m0d$Dj5FeM&.*Cn!n#CDTZҭȳ[:<PʅBPVxƨ #PdmXM'#@ i &$qaۥb(zo T!FU@ UT&~+/O 8ei-C $roM(;dĕdj㏦m+&p*]QX>ؗORBEkm9f <=I> l-@0|kɯr*P2Nx`INu#ϰ0R=m_<3r7u>c%]|^1-[䍿~rBT[-c+7*YW%#}5GY u /[];4 X;!M8o]-ćVZ3D{Dq y/iY }th=&. ܝ E|EG)g'G٤..iŠDz yJt$ r9H-fgy3nlE; %ǏE*sKЪҿA8YWNk^R|Q=r~xB?^]xٱC1bښaWHitZ4cEcDLz sv7eK(Fΐ}{JJjo i9%ޟ( k7Vw\AZۺi7ȼa>AhhFx[JaKt~ATff&k4$>K84Q7R\;kk::wܑ"\AM{2DFjh0!JA- 6f$ ?*Gh[+etIBעլ"sm+n%t/ֽSo% F1m{eETcv q=?}w-eLXIyf۝ܘO=!?<"4vٔ^a*P$ 1P]*{6gh2[f0x |I}awb^>:e-B 3 B}! BɜU^3!ϧ9E^ydM!!3S<BƉI`mZsƾ*;qpw ҌˋrUt1؎w?%Pz|ۗd5HrM?ˈft?2x#ƹJ,f M;|6k4Wڳ""p >}X ID͚M^@OaJf tSu@'͚S.yG? >J<х'@&c9 n2,i %*6ւ  yf5 'h !9^6w&3}^Lq;CO`Ql_Zt[~.LD ŦRgJ;LI66 @.t;3Re4:䭷.3\;$ d$Ҽfy*aڳ $S",3S0*{69|cJcր׷65q~0g%5QVS اBet^B%|Q0~:!Ǯ8, Hp>2t%s8= P0?z &UKռop`Q=?f