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  P+t ]% Euler_MacLaurin:threads=4elapsed=15.093cpu=55.916gc=2.3767zXZִF! #z]ŗXiɟd)&]4)nNMG xBO@gHi}fqPPhߦE6^d]MK/bEaٱk9,xL4o~N 7 mVhcڂ44c{pG?)ƲX$Mw`re[a;ۣ?{uˠȸ!~3EѺX ZnMM-xO"K/g#,QXAsܼ(!Ӭ4?N# Jv_@ 8g]+EYR~3*܌f *ФP D:C#eaf@u3*N{'*ؚz$sjʭ^/5x[[H_ ΀[":Gv΁dBt(2:||4M'-3{m"wpbbހ+)m9 .!f֕s1eSh?P9_B#a x䴑ik_C,|;$6eWǤmkF|O-2:iF҂L ߺgiK-EhMpݖ+-n>=~\BӶ<h{pSs \X^IGH>Hd"7A[HvSQkd/ iPuxjBmWux*To<7GQtߦ"?]9_|;pr޹[yMr&9y#psZ WVjԝ.˚ ;&&G9NS A%!PBwQX,J@{&}7Yd gU-5eZ܌m a_ `za`X/L~̔YlHx=P~VFU]DN6K=Kt-ʢܯ[z+qMaΚzFwrtxQ߬VZC(t-T'k!WY?,Ӂ^Rsm4qXůCQ3tOYѻm#G`t;E KR + Euler_MacLaurin  (W"%(i9qV$q&fCxE5WQ݂ hEAr2t[|8kf0 0qhd?;)SrNo6Ӿ=?-;4 /VVKv fM,'77g{i˹t TFby h\̐LfCJ=F*}-*K,;I9C9éY֭>?}(P8P^ ܩ{I 9aV [ڼ}B|N7](jc(h };8joX,kёyS ֦y sC%z;:'/6*_,m3+ĭ;Ԫφ[BхKsH&y!LIAĸYm XӛF**szB+?% MZN)G:1s`!h֦gd|8\nQrs3Qը&&n#@Tgs_jTxE^-4#`S|*X8 ض>߆*VJNBL^, ccx<^cA2I v$9Ү9)N|I_jx.&.:X5?ߞ؁MZ(AnhTn\3u!K!50!IBd\M;.YF2?, Y:cBya`0ѵØZ58BhŘ:E۷&{ NCspܘU7c|J.ed:%{} ~}~KI\cO:v-/P\{B7dȪ j:ڈ{ط-@jО{"t"WhLu2^_TY։Sõ]eDS%WJ9ҸIC#[۽@sBF"QuR}WqRmW ˀ=ʋA}1'E 1Ho)/ˢ#)xR: w8PL[ѻrǛ>jtyω?]= Ӭ3W9[Z+MgUCt59G3+C='\dA=3([] jCIhjnz&"2|oVAZ殖 /a |@,g +*~ޟ X\={T]=^RjD{ D$̹d#H9 0PJ|4}o %c^ӺDY+OuGK)>'7T9H.I HELrP["ѥ%PpOT!:A:/}pV䥭w?n{LFؕomcOboM 1lTSpАX-̷b<^Ӛb kXBE)~LUebr M\|ニVbܓon<*&Z4Rk$#ъ_F8/'`-DL^b9 vLhM[.U)g?l0KE'e |Hp=2C0\kVN'b$|4)P0Kd3x@W5M|NBP{3;hm HДkH)9ev3{1(փ+0йcj RqVߚ7K^j. +=c&c#|@aj$5!g$e@1vN48–Ƚ)_a_Ίro:g ͨn4O,O?}"//BL``=Ռԭ6_g>xW>M} ܚW4tr5LXv2"҇A9AVC3?1-[\CoR u՟dwOwUj)nEԄ|uag("M"GpC>CQ!lPQ-w ЎZ4c0+uJ*lhG sd`(~QW@"aݞ:޶(\( K .ma,3bdQg$qX4%ZȈ(D]yr.V2oaDC% _}.w[]G a#)Wy8xsPTCҕW:7ΦƤ} do= 8޿W*h5vV)Z} ~ ֠ +Ӿ*__F/Ƹҗ4K60k(XZܺI5)H/p+G|t 8hu9'lZnO(q>?aB+y3fR@3%LN1PJ7B$ O'O߱{dO*6MʢDKC3Stg(s8yp@=)V7TfTt %&z1LaHidG,zKYL`r,jl w{/l$-` X/\z殶Xi"2dHsg͵ h@o`xVQKn⍳f릲~@x/\¼ eKĢrgВb nQL Z #իcRa90tjZIq1RDi:K6N*{?} =ՇD-Ǒ-7+35 T36>[ ҙLUcG\KmwU 5AXg~J%l}@ˇ1l~1`ʬ[(TT!VV%"ϳV›|\ӈ&ׁP+So+Oʬ`d9g& H: )4 /I6GY26ɸHfFZDX+wVO}lͷ^MoaQ}'54ڻ)%qv8޹,}0r!*rD`W/٧;$:/xUGPVxٟ:D$:&r =>eFm| Gi!ܜCwE[/A_0;≎V&$BU !dXd9 e =yO#yIjH3sKtӂC^ҕ:ZJ+-ɦuwɤ HM yYES m1fN =[w97g[WI(yfmo ׇ̝')lk;-a<^vAtSf,~Iuv|{CQjHveo3rs]r6=*if̱Puyoxu6c1s&dӭ~k*`|ϰ Ur>I:DD_ &.DNIӔ%`fEEvfBA1EAz@ظY8t[/n5O F^M7V: 6gžµ4}~% &abP -}$nIdDl9$܊{` ;*վQK+"E o<[r8jNb̯Nhi΃66El5v#Bq$`R C!BIx [E[>BvLw#{hJ=ю uzȇ.>-KT60 Xqn: S%=1@:Z&[T*{*uMьXRƪݯk&j8Cv`lt.Sfg̩4`Kgl2̫turD WQ> ̱Oaq +|o2:s w$å"sN$+Qڼ>E (xM0l^L1:r`AXV zu7.5C뭭DRF")𢩎l=~e|YW^~bĝNo6=L6^J4F†B+[ưQ`I<͗lуujwGPcdyˠ})}Y-ȎD2s.*,CSO@۩!tklvҍG_rRo-[l{ayh&KjOL`OTۆmFo9^GQ V:KnGQ\aA&O )o4JSBBZMuYγ$8LW)u~qMcL`v4x^0v;"w1(Ӿl{#x%bUʶԉQg_3cu33vO("O`I$ /|,MB+])%Dj +VG٘t65jY ;!^dJwf>hL(]ku#d_E\CԽ c@"dD17/?ŭA ,/wH:2~dz*g(n-)3T 3ŷ/-qT[QAqZ>=4Ck0r 9[eA?FRˀ [AMk&E絒W^9PE~9 @B;RlOA:poPB4|c) p"/ֆ;qȁpDaש nͯ$Al\5d4ퟲdzĂhMz"m*XvOjZ=Bгa;SC Wϳyk9JBa/ʧX2FW&{xNZz~`뫛m){Yg.*'+9X$߱W7/_dݙNjoNe馴‚fd_IrLaAy^ aJ^,S"w{8v<0oQcޱap_(P"+rppOOqD%\M #ד CyCtMMVq\Z$5ɣ7Љ߹l: GwO}MIh9*-& `>VmZx:x.8hH.K8ARHu2:\{b|&Ԧ:3d Z` ~Fk2[DAhΨ&BuO<[Q|708pt͵ 1(Fl%T+T>,"6{85 ~NA֤l+Tl BY4~$mܙW \/# ɩAxFyn |/x5O4-[A!*48߬ (Bh,NjPwwC0kͶ0؋e ^g}o_V1@C{^8淦, )v{rݐpGIB F i*AT1ҵ,_K&M4`J5һ/Щ^ rO\:噾TM e?eQ;gϓu kD 7u6T|gY'LOYoWQ9N/O8>s P  1Rr=✬,D;+U oXIےf8լᲆɿk0㯥XbCҤ%f#8{\4kkE{#,*.D!W M@+l$9(AD qTޝ$ xP⪩6¼%7vz2,Ƚ誩6W/y'JN9VደvZ {Rܶb|D򗨒ϐ\lobFIq͌%DZGɠf^q<". JQ?ޚoRL@ޜ_I"!y%~5[*U`)y]^XtbyoH@mZۻJ>Tэѳ́BC>q2`<,} u&9K;}X9PH@g}N4ec '(y/Ɣ<"{q}؁Wn$Ny}}պsLQC2mG^M.Fc$NՃ5<[eVf*HJsp@ k<Sw ϰjm%vW U?B)^aE9q]lZ\W 쪸ԽWhBn%6eҚpiMF4(,\.,Ҁ0D:FJY "x3o-yɰ=auj] $EMrPm:{r 1a%Q (OD' jWHt_gd,`Ut@L .xA,cؕ.1U#~8>_fgJE\a=ΤmW6#j4\Xv.SxX M`xk\'NHiН[ȏUIܮQQtcc A{LjYvԚrү2Ndt$)/K,Tx-_^)6ˠY l:vd%`O,~ӟxŝ[_Rr9L].`b4?u툹{y}:͋);kj753 ZD>!qRd,X}>1@̎Ң++ p>fϓRltvg@Գ:Uˑwx@ 6i:G1] &?g0R)$Ԙ_Khd^-Ҹnla,?t>>ac0欥xjT1H@M*گjn }4C]aMqZ i/o6|0P]7aKC\'=c3L$joĄbMPj\)+s;܉VJ[01G cV[J}[%A x##@wo2~?6Exe:YltONGHS*dPSQK7xFE%/W5Ce Zy4kq*^Fe=I%u?.xryMw>wy;ăsV/H@P 8woUҍ\ɟz]5@xEYs}܏nPTW1Ӟj*~wlonMs3 F^α>~OIF%"D!u~7eҧc^)|¿DD.j4Ŋ/2vM'D2 k=20XPx60WRh&jڠ6=>S[\g j+A@⟕Xk*yF'[J| 3p|; /-p&73F?nʋf :]O K%_2]cD͠; Dp,cw* Gө`3_\Ck`0}ݭ56mVwrv z:>2R5E0"S c2|y;L?f8p`P ̓Tvc]b>5QG*Kk`ЀNk)a Яw~nw@}K:FBN"ǽI@LܩXX)6>ϧ xcexm&LOHa/[.{,Mqxj蹁 f:6OubBsз\@{[#kG7s_C{jj x\0)_H$1T{=NA\6sn 'O~| !ܻHҎg;&}]ȝ xb[{هK.6Ucc ߑ8m;, eeT))+GV~AuX\y9n2F="SE`qI89TXWw3Bb\4wvK'Z (d?L @nдT1rfrq2^Ɣo-5Su\s^#bP Qq6ŗ\aԀ)I1s)|i/+S&O5@7=87EGRN5#!tQ̍ pԻ̬r8.4ݴb0Q,qMo cDNRصCim@ReFgM*Fe];Y~T nʐ|a?Ɣ# uQ:Ƒ5 8) Aǝ!I!rf{!5A}^ dυ;rY ̾&>rZ*cV%6h4x¤i:u:Ql6%Zuĸ9o4)o[@<2ڮAk.n: 鎒|}K/$=zNHV뒪NY#HUU=t獇}5CTdu+/"4Co`{+z;fAh9hMۯh#? h}=%x^!_kj*dFBPį]SS@ج 0Fx#>`<\=bH c:\qzJAٽD3nR"u( #&a; {D#_5.a>EzM{ 6B( ~$]RǜTs.&!;ۧvum 4fy d?x-r!Z!W{MUL2WW9ꂰ,$8w4F4A&BL܀;ܻO [Y,)b׉Va"&H4kz2m(]y}0 Te̤ﴘɝ47bEPD`i C965\^9@]oLpUuތKdmWLR8Z Byq''ڭĻ"c _`uCs^Dz TgD>|u֍ nnq,>/'T#S*p:Χ3ɪb[j?WI ę%I!\2bۚwŶᡜd$"k&C`Mw_t’;͸l2|O8BZ7gR?# Ou>vؤh WI J,.wTJ4QC)k#e 9w"zqx2XO ~ņͦy2i=R}umwG)B\xY/|xCHHHVu&3P<4ڤ7!tj˕z"HVZ|TgvQaEa@Eil Dyƛzjߚu?Z!Nvaf3R&_`.=̡L يaih})V'ۮ)m Sv=B:yނIKyBhHPɁ}O NAý'#s*69y,q H-َ*sE XMiZW^Kj^QkVD8 <%\e>}½imlH QDQngwih<3CkisBi#.B Ϧ6[vPnf(X-(c?h|J\9Z_5#6C <-ti&|Be.1$a͐ɿa 5;&3#tŰ6 >f6d''ȹMxFlrIpA/r^t pwh,JDwNl%Wv;:{'^~>g!)QpmQb),bޢn_哥@. wfd΃x15~,"[?ְR۬aqap"c*4 bxhb(l5ёx";3VHK4^ej 釅$gD3ePzm/px=͊]Uק7e}LN!܇4 )Fd"\hgD`n:Ƨj!@Gr&ZRh'kfe>@#_͏4gq% ̽EZB59| |[iU$y3qG#i48cX; Q[=g Wz?- zHB}RJرmQdRΊtUE&Ktފ#5~d?ґCb]Z.`/vrHhU#$\U޸*g-eo#'(6m673 Bl H|lO75֎+3i)i1x]z%o7=V5:_\zDU2lR'q-6 #r¡#3!Tz nKz:K1:s”,L苷}i,~ʧdj? ݭXqȶL{ݿ+H>rCOWcG4tzqɄV.j~7w!DUV,Li٤-) 4ZYh8M“Omhe.$"`7&@Q%SBc|6HZY!6^=ëJڞ-@XFqup dFSr8 GXLsb 8z̆פW6CYԕM"FBs# </Vܘw!6\7GNv%&+7W#]/Y5ruğg([:mg,v8y^eBm9f-,y4wz0Efbr?O;5\;+r/q/,hcS*DYQCMmp XǤqi FX~rH."΂W.ç%[g#w`^&ط5#l՗z?jMǾW_bN'`v:_f61H9(T?l-O !a3| \V!g*CPtebE08{Nv褡ʈi0ރHk q%G[䡡9ђX|CnAunⱷ?Yjhx\>7d@zCh a_"퇄, v5L~S  `3 8U'Y/P!h)ׇ󫬃 .Ug>*˱-'hr1+c!נ|` zhʸ:npNBh)宏 7 baJch-5xJ_[hFmɽ\vv Ա&-*WR?LM3 mR,Q!s0f|k#!:*?{K;=Rlb_3)yDԐa@G%9lEV+=PYTCÕO`S[84~O Ea9C\cYe.PGpu(7~gygU* ݻU8ul(=pI#X2κX1|3zOXy֟ĭԤr5M{`/&0q!E,=V' */f3ymAj:oz ""D‹csybr hV`6 V ٍ>^E0,NS c; uQiUy-u[Ha@qθx&m4gyF"*B%Ӳ3yiCmX,ăhLgi768htRׅi/jqNOj ż%}>>>YFoZUCLL2O" >adm|Lk8GI}ᶠmԧAMĤ2Oyð7G?W$ ZOjҏq3(x%XPZp-Lea>X'. Ͼ/`ρ-j/<˯.*!]w4f|FyK!9xJ+vbi(C)ˋuR=3@r rK#֏B<Qu\wq#GD̞Z( ?l){; *{a"0jQh,_R_ X9kO3=EVtX7v$D⪤.il'c~S<;LǍwF<ݿ|a E'wIf]wιa0?tv^}l BVpO+GcT^|:aM@^+uѣeXFL5.'D7dzMik2줕@[`Jl>1}F+z]tY^ktx͘ 74V%"B o`U''gC7˽euL#hO3 {^?) {b:zO+}MjeIJ-FF];fk͈.d<&욷C1Ε\j6[`r  (_d|wLhMጴ?ѧ!,L%i+d^Ng3k2i ? f^f DdxfCfڿVYj_Tgpa"SK9֎.:;3R`gwK]kָY԰2x\Nѵo&>aKI:mGoTu|4P${#nh^CQO)͜ ۸sSPCn8;z !P>'t")y9ov~z3 Ŋ[A6gV$V".>e'`Asq =q/>񼎨ZJs?:)UaC; Xϴ;k?Vᾚ6Mh,:T4|Z#7N`H| wxn 2vj@@dVGHL2~HgF{F3O? |e(K׶+lf;^`p ~  nSZvnp͓PVJɎIqUʡٌ]2>P l掴fmbiyL7-; 6SLo_ BZkϸ4e nsb4Z4D]3~ΈQBE<U/ 98i\TXR1=cj|s0q[VO)sztYF-q7/sG+ך(ye/ԻgRa?=.\g` ,t_7ǝq(gb=ڏ 8_(ܻ)a)21&jcwxF7:ԕAY&h']G(xxDv/fߚ<&Kli#*ڱqٽ lm)6!A q4=ān~PzΔd<_ V`'scj>Jc糠dD_1pLix``\%H:.R=r[dJ.uˤȑkj).|>Zs7Pԫ1\_{к!s_ jDZSdh#.X-oW@ѢΨ;z@r@'zA%ߺU]-[7a . ˇ9#AM1m͈WZM9Z 6Ve(ZZg+'U"DL]1gl}UXW?XX Bea:tv} F8gᑮuh~4e[ڋkXu߸k$C4ZlR ؖT_^J Ytܓ&7xnYS|' @݄!ݐ~uJ%א%Trl*#Z5lʕ޸yOs^o:R'hFnO#䬲2J w*kB@⯵U|"sN ѱ96y m,kYj̝3>iC }k!<o5MW"N7Q.-+cڤmo8Anvrbb1_VVeo$xZYx#﵀ZF^w X%z+m);o[$Qa8(no4M$(A+EHN6LƑ|!)dt(Ӥʸμ3{PHZ} ;- nMր|;ŇsWD -UC8 dto.CMoSai"&Xk7WNt>lݙu+Ls.[K!R3 E..CyUyA)Q2r]d;<҈uP Y1L Kz"goߧ#O/6MJ:2:H\T 0_1rQƒڅA&Dz032 W$+pS!"Eﺡ}aC9G4t ի_!{\ `y]8G*GJ٥TefD#_Y\-:vW['c2R V=yJI  + ʒJMk|3t"<7:'ZHr5_yF˄x" xVi:p *?Aǭ]O,_'oeN/"{ǦhbAR֭evIOa5-+W-gz<)f5)k81jZv}pE?j>.TiM:S=l/N4skc2j>af:P,`uaiܾATNFM|Uz#>H?ѩ^.25!yh K=+RR+xp*"?0T9n72Or2~kG:P`6 ń-܋2!i^0}2kʭ;6py}O/5SE[7"x6%bQ0ץzkK q֪`C6b#+Ru. wmRXt6{vm>|?4)[[:u5^})lX.{kK&Sh#gu],SCʠ59,'6F{;8hqq,8(gx2}y1܈;o0JHOŠP&]qWe@gP%}2ĥBoPt.#CϷ|El(cG+ƼͰΗ>tC"z$I"ld_nZ٣Y n$yó[)jv•'?ƕA^BP?OK*̥I(^Ļ|L:Xz؜7i{b<Rb'&#{r .:&ytQ͡ykj~FdE`lKk{2uYa *{G. k|5_nyMbG b&JSL™#~Hu p~8oVw]ᾼ.!.H*( y?v!0 1s_<%AE.c&z#S |vdC;  "rU]YЉ:)q3S]]J0)GcHP+F AEڪ)"V-z ׭.At*[uS& >a6+ a{)/?^ykq@n}⸪B(zkc7[ #] }^*+L+ ݘ(Tbhd̵~qbq U@:YV#ī }H  䛻5"LhJ\4Ցt[<0 575f*VRfPR5#[)Ƕ/P:tK9tݜQkwu|?ړk!T\.>Vr21UvCoW& D &e([MqS+sC3ڍiɹ绨#ۇ F&n\th|lF!16+]4؎R݀6 BU]@ υDɎ&WCK?̭9V@E~if9`0 mYCLo#&5.:FBa6QLո>u΁ވP{HPZ萂[;ջZicunbMk ^Gz/at~ Fp^{w:: ]w͍ϹѝчUzY|\-%{$Zh8~9K'É }>D'nd[*r¤ F~}ƥ09y: 4*ǹ3)iBz]DECq_t`D ki6ϠmF >g}9M5I+L Ba+V4Wlen$r%W*H^-e{0֝h҃>yJ9('Ш6_hefKuRv`}ΚGk!"I|;7*ܔɧ΢$بҜPR~^nJd9{PvOLǪL6r2j_Lfl%P2tqے8E ѕV,:аV7l;-F wDP{&Z@( Nzy !ck#rٞX1:؍N,PcTǼ:iʈ8 p'h% QY˶yS Gg˺n4P߃lvkHwIi}A0" R[|[%ybcvָqTE6"u*l͖ 9M'؁6 \~۾*Cд^sd$X9$+zdɎ-;[S3[OwdR{Y?\49R&2S%;vCBLO_ T<ԂX?Fe3 =IKʒBq1_PoҨMϺX,:Y?)}2<S>URkG5[8[= Xd]0a,:Bo(] l;[t@I bEl>qTGlTn7f3O7LSVnSvsO%!&\~Yy(T;k|c*CQ*ms3.`B~R-~ ̃;z (C%ws_~tD}H|rBlka7=eF2UZO԰jX Xֺ0a+.FJ'^\6ey s-!WTO^|fG'R޳R*cT1iy^ ϯf!{@Vl&&FP}r+#] /L&`%dy' GMX+cu4bt\3ZrCJFүqs05W[,:g?+fk'dzL28u B珀 z2$Y:$sw1B' q0=Stqy/H)8xL7BBےH}sZ }7C/``Yd7z jG &;?ᰗ(G|NO)B9uՠE۾uAAndow--4=F}=B⑸GeHiDx4|n [rxhH1Ny5Kej5GuT.OXٵg[}3#wr+ }0eyj%(ܦ**wRCsa!p̩W6`FS r5Y}A֍*P$~HNz8H%Ps&Q&ۗAG7eD"seN`pM-Hp,6H2Fܫ *#llN'3,= 'iw_VޝJM,;r#/K[Cq"uT6F2^Vg;dQ. Ü}p4ָ3mRI B,>=ta),R2B%C)9w56"cr.LD5emux2^CˆKXHnH!,߾)Zo?Gt/WKjU16p3Hg{kx xb]CpC2ʐ-3HoQb*4.CL:2 4Zz.B!gM?-*Tړ\bLFAla-nTT {i }G?f3X|mn͆`oSizwxP|RKmSm.rJt/fUw#p$]׉,`(! P{cZH ތnϋP{tNJZʹLK"ǻuY_=%)o{NN^We0W(G_;;d,Mk|O*i{a~!qW)͘ h<õebdDVrΘmle[$I7 \@s_O0~RߣY5~i.Lsg>?iE\iHSu'ED*$$LYE _C݅=vVDa~wd'=CLNfu_E X`H.BKj6Z#aF0n^֐86OeGG⚏!|/?ۍrɢ A sB6J}K{ ؗ0^D-6 gl SA7S ҷ#>2CSµEIS/87= DT3U#)ib MKwտ[4 iF?f'i+Of~k˄^끑I2dR JF&Fċ_KԂF0'3 X L&(y} frS5R|}Vb5zReey:jއ,q؍0sS 26{3[YK6ݮB8A(Бk! tDp'>ʜiɘ1w\NOM*y*q6HVkV{.t WԊlU?w) 6hZ> 4 sV~n˜&߬؃~fTnK=dMh;mgCؑsK,lLаB/0IVrY)jQ=!f<ta K3ץ"!zUcLUjJ}C/UɤQBa2 i偄Ru+NInzRg!?w=Jd, #ZbꊀR2 f1Qj[w4oGU&<$}2ĩ~kiA-)WS^ye^=Oh1uzhkŬQjEOΟeCSNJR0/:ܥx+zuFqyh$?,I-jqtl \(MʗH{':DVLw?ű--pj7xn&n۩ma4Z?ƭv%NpY9-lؑP۩e4{.z%9ҜR΅ף魢+ (wƳoRj|&8 c`JiIH>u?@0c矗@ AYZ\T=.G"S, O+ʗ3G1*佽ܓcw^P@t"(p| n LgTyK95v 𲟐9d.I]LB\CVɂ;^mqw5kH\nj]y_rIzT= 1GYo<OtN~Cr KӪv$B;0 Ƒ$ @:\6j*v~U0(QEel#Oz0bVc*Cǭ-3~xX@΁>C4hNyHv8JdF/S$=0T'ƙ/f(#<fCc>&PasKAZ n"@;y2ka-0;sYq Pc0[J֖M]emv=֢ KUV:w wxnaG՘R <}/pD oU kc{$nP:]uf9H>]1bvR6W,7("Ӣ3޾OgoΕe2+ Mov>ϓ~[7SFہU#IIJZXhcc8Ru*9%IrJ6`f˼d#shY@=;[%.d..M} C"BJY0rD~| Ju=N$xgSE$MMi$Ԅb߾IĨ8R\ {^3¦ kpUQ tEm3jVMH4Ssdcy d>U'C)I&ϪD$TcC8|R a*8lilXhzҝѨ.H"]. %Q7;08|U]8 T5#T鱥N M Dͯ|[dZcżfHyWb%T,27yߠËC ,fxʻa% (eUNɗ}L%΅5>IfF;&ǥۊ31 Lp$# jQ#. %MNw)WZ]$9֖V~[MezES'pjI2?9L mEՅ./֣Ō'&& Zet }2A}] WA4pI4"zsm .Tʏjq<V5skN #9e,9"{B( Z]gT@eA@N5/u7C W37XrBh;&gDˊf ]Ǽ-4I0E\+MD`QZjC ,Í be$&02BN#Ho=LΎ@\NLDh+ԯ!+U*4mQ Ղr:_Oҋ tZe N)[n߉r}Vb|=VuKlԇZ>ץ S`L~$~W,c\K=")a$ Y~-qٗ3 ʓlMZkI!nM ̧Q<*S+S0Iҷ jm$4q뛛\dw1rRhx[}RRB5}b,ῳ1OA~ΆW422(߅"IзեHѩ$*{ˊ9rvL#pH.7 fEVz%#'B?fi*{(vAsݑ,Mrlscv<|F'@.౳55KaՓ ~AݷLx,tOrxc_ +#6ꧡtww"pEumUUeuA5wetެZL;L;X[Kf@ xm}aE9,6ȒB # X|bm("H`s1}}_T@{J\!}"8'4.B.n Inxd *BLqHǤ,tU{.X%@ܷY6OXYt8X\@mV*562%%K^C ޛ0;=d$}#9m8Ivg䃷!.S)詛?|zkx97&4j">LN7GnPWp_4>s'ݟR㢋,q+G7ɿrNQwavw:p.*Zy8Eq1j#sͻkZ7&UWdERc.j$=6ID_^egLz2_oz q>Ų"Gt=2Н1Eءae/uu&)$A^$o8 {V,l=tpi8TW+<%T}kvqPzK00h%Ͼ+4wD}"vRd l}:B̻'34lTǜ}qU[0KE7=pTXV2p?gGjҡ>[˝ː5, zbj.z/^xc E2vj*W h1՜ԷV.F)Q\QEUa[m(}W24RJd䗔GGbmw!zu"|ޫMPQ!G'µjp!fСB0:JXw̄LߊɅ\fg=6s1QNhIŬ.%9KvV"zw$"xܒn)&_w 6_]^vrUVaH &fLɳnM rK#~YKʈ,] $jNP- "@cץ5 \k;w_fj)ӈ=jif(yX73I; S]Cx1Jب{23ULB Ct>SǬ-%ѓ,ҳAА]m׷u7@MDC$ k_r1(a<*YOް^*6+<~0'b ۷?{0$S SP:6ΖP ؟)lHbJŬ:Q$ϿPP*AU2zxc%&",hMox3Tj-=FqH2LZ!*c8L#%bk 1@WG|^$կ MOWyq,$< :6Fb64|-T݇a?STrhWgݲ ~rN>{qߪ } \*qoEoO7Z<'l0)-QHqѬ**(~6Jfkf*FLTZ̈S0u ɧ :G¾4ZZ=s^0", d2A6c8Ir,@}gmsϢ"=yhmҕd}@W:C, 2"=8\:yGTg*)]=9S>٧Iڨjf)jܶ'\ҸZNQn G\2!.Zg-Bhc3껦#: ]/w;VO߆P{e E>%ңX㴱3=\3BP8Dg&KIZK|0^^n܉Kz=Vئ^(EBv\ӖvT(sZE 1%8:Fbz3="v+IĔj;yX]3#}sIr]C@]x'3߮U=23R+CN;5x7|uA 3ADsIՕx9\H[Ƴ>%2Ӵ{Kd'o)l]8ᲙM@UBx̀ ۲ 8ٻc.C$\, I< ~c Z ۀ~ )gH4D4 Anrm" Ƅ!yVP˜썿Ͳ0Q׈QVYm|6現ݥ#qXɱHQu3bN}J>u} ܳUp8ʺ%!Je/ifCoe* 3k5tɿSG\rq斸,F`Ra ;^!xG͔CIxg w5xΫRA}e~UGO_|FR_n(x>! .,Emh|],f1V78.wР2bwڷͲܶɮx@ 5Nv@8I@KɀlTky D9gyi'^-Iyi[mZon7"cL}|O^-j*c3",/aTԇPb=`uujn"B~ xY8M~H! VW~ZFuָC|>̓dUt(Ϫ-З~C3֎9"fNTL, hTN6˥'LPw0ؘ<ӲU\hNѿ*>u n!TP>%kC³>6T<6y`\ O{|FZ:ҙ낧JEuOosShz#)VY|rاv {Jj>4md-J4B&*VW@ZD;zk',-ř]W!`qc=71&:ܲ+yǑ$9*'#"#'eĨS4ˡ1οF@+T}yC:5*B\kvm9_cl;]mf%3DٍcL=yH]w6)g2Zҵ3evß!Z,ZkZMPd|71VÎcO Ct"S5p/lQxSنk,,+JxuɤN_(r Wj`TȎTΥ2S'ryrfd wG5V xz Gf~`v߈1O_䨗=Fu^uJ"XhbX j4Pn##6.9>#y+謧l2TMj|Vl7gR@F|w>cuəđܑZ %^rk-o`Eă0]*<戒; JSv U BUƀ^8y۵} ,D-e F~L½09.Ӝ uwjϢM~m4X[q@[ב{H`!Zi!u6YM}x+V=)AaI89c Yq%;|ׁÈ1Iҟ%Џ_"Rɮ˭{g>Wp݅ lY{v1jACRM̢Qg(}M/eBG nCvpHI6̀ <& V*ڱ=NUnjEĹke4/"8,02tTʪ_ei+=FZ5 PSlGzΨUϨ` #GC#&<̙aWއi8טaul(4w~ uO:z^k'ڍ ૂ2\]Ԫ$?=j;c+>ї(0eGxjLIBX>}. @LlqP~IƁGO:^RUi=@Q;-g7t%4+U@jdu> ^+#ҷRؕ|c]boȓ/R- DNGr5  ]cÄRlR<' a)xg_j,&wս&俭t~r[" c s/v>r!g­ s\Ow@c0-tjSL ƪm:}֛'E":9bJ:៚8Qأߑ", N_|}dKG;By߂1֮AK(me2`G0pDn %ۖt`|fO;S8i!H,6O\9cn{r0q4tU'{}ǣ0@Kxi |2^C%ZKHSLUc#ڮ4hG//H/, .$ .~UFY)]uEdÆ2bj:ʾC4"aXJ;ZqO$aAG+PCj4_3!K3le7p= h:D n 2 yCr9PfZMDńLͷ62Ah"؂K`J^YxZ8t`ukf';9կU>p]ɷ…yK";5EfW~iʶ_M NM1Zwp8VjӣA2K4W۝B]BH$?sO@Gi1GR*81g6O[u.uV1"/$-ׄQ#|yXf)NATcGV Gf;>zp~~&fEx_3Za|R}Boi<@S$p-q,M6HJ(Nax AL[,ݻ^ƀ.Xi1 jG4%::9v7fu_FjBKa PD= C.쭖*XgK+\Xz&ҽKf--yjQ08Y]LR'OC A6ίR[o0!)F]C]م<{l!!4 ϿqS4at)brfa|6.^}q`14,8,BREp"pLdŽzdr16k ?y.pԈpvͮmj+"q/ Ko$1պM T-;5qi3z+ɯI1ԙ޵ auÆ!i6 ҹl$|4lr$c(cl㽭ϫ |$d(,1o霋,2 hz%7צF{#y*Ɇc \;ibnWԬ0Mt 7(ŋk3pMTNO+1rt(qq$զ@9 0P^ ۿ'gij0p]3j谸ir[T(脴"R=/$!c. Nv?^nb3,.p+9cb<ج,{Yh a0ֶJC;O `` k6%ԷIט M3(‘mCv(r~uˀzNTC柚eN+tr4(\M8k\Q{e{Y rHy-vkP0?l8C_29C6$~$5xm[zdo$Suv \(_/W!y|z @?S`oPģǻe~?2_M/A紉PFR]['#=k짵Чvl -ݴr7񨠑Q>MfԼ}P{~\Ura (/DJ1LMk:7L2T{̙5I&C?ZՐ-[` f؇ /éED)g/%7qrGn5щup ]5O9&(Ids?S˛7k)1ֿŐs/'i[sRf}k _5%aW\?}%[EQY;/itُw9§W=:lo ZaHa,;Y`om\Qd˧6urp"Ex>(v<޶w҂CV`7N_D5}ɦQX׽Dn%WITr'Bi@.ख़/h>H&蔒ӝdE$:BTb ;{%lR8P?,aMZ#k-ҔkLb))|&1 p?Oy3${ 2ӋQ߄/'/|pr>at!s`l@[otpBJ3>i{ ҦLZ%}P@#K]Ulio.P<'P9'7Ў~H[&&bLLvuj _nό3&?QnSl->"uڼSfdʴ*1ݕkEJXfٍ*SY.lczT?ÒY<% '/uftF Ml܂ jBF Vj(< ,&BJıLhk[f6p Y,aj@*'f,ẓK@ iLzY=."-ذҷDbiǑR^a(󷕚<#sBGoO2+ش x&dQ*b[ %:S'd- gxǓߧ$j~}0*|$&(%[mN,|G㙲xpCy^qc]k֘rl^nձ-wAވoʏ)JaiI/ RNåvfF "C苿~9yȦUBU).h(K0`mqYYDrU\H1& D`~*Σ; AnZwAwvZ=Qot =P*GmŻ' r6;'!&}&%#0nG\Or ;=D~ Ƚ8j-%<!/ikh KA>~[º Aoސ;`ԥf:J+[OBPL$ f1{o9IfIa> ),ln`'`sz]Dy^tM U(At^b쨔}wݺE&.iˮQ۳ QT?s$Ȓ* z[K ~uv訢4y(5b HRB"yV˫57{%HwT'J$'fUw[U0Z">~InijhS"UrPx7w6V‹7mW'B.L!/hflՂp;CNgJʊma&QG%< ,oS)]:f/c/bwC- .>J躩%%1D_fM[QDZT93Ҟ%4Ϧ7f.͚; :^ % 0?qس'ʷz|-VYe+ Ltkj2ߏnx9wa9df^.`7Ze! ?{>0(a VDP[3:^I1֔k@0s Hs^nd_v31]i`$J.h:^vL-sKg{cLu`+l#֣^/*fk;Ǎ#=z3B=#s&vTV'-b_ yx#bA a[<0aWf)[Uxؔt0n]AՉlU =m{C0eځVܗ,td.;hن(t`T/}~#:*xYZLEf?u{TԬ푼 z_EPxss{%vh+I7URGSM Z6lPhqqLQ$Y7trHuuC _' ngmN*_*P П=;H?qujڟfg<s`N͈\jjt^f[KV0 jX &d s?mΰ t;똓 qWZ2pL[.d죝ZQ􈤦|,Zn/w:kX 5#kpCy`qnl"5U5ÑBFHC (Ѳ$R `G`oCζ|JFͻbb#ƀu,PRVUZ0ӔWixTj.iڕIcGqft`:)vZL:*ݳ9ܲln{ɠ3zQA;csb-JhP?2LVMs&}6TZj$[4@pgP zFOCc)X|Cg' $JY 1{C笧=aeR#ճ~.?m?{eH7ˢqWn'̈́xu._+gן)Jn74b8vN/@n <25Om`S +F4oGWCSm'WG0aB/G rsڋ)`dw+pCʢ.O^/>l% FZ\qs@r$dI,I(f(jkFlj1T)<Ś팣 []̼KR:@Y*77 SoߍH?\";7c+ztԝ<тmbΗ gݻPIp;Pg'Iםߞ9uEx_ `}DB8j&Җ8T2|jQ:e+п7'tK(fAȅS3/tԭoE%{ LJWg=˜@62at.ջD N:,e8M&ՍUcbZ}bV7tH"h(XV,?9"TG*L+WE?BhtoHB!WH\Asu+.]/2"l >\ PByg{7to%W nN JG:60XNI[R!XF?lg^ VSiS#\ܦ iIJmDǪ[W7. ,A}V`2<+e3Hx:o}9&"-iRKKos]>{AI]YZq>%O)JG$ c~,D!P. HdԷ/< gȶ\WT2+̙*P?iuܛi!UTn9OݟoVFǤ3x+|D"bM_!DQR@#(xYN@J=k~W8OVj,L"_y.,1$E $G0Ʒ~Uޝ1SYFkw~fW@Z .@V(ĞWk`~_Y;00w(vgqRyd/G)Rڤ%jG#;I#k@ FE!r!wx@zE>"szluusE&Ol@DXI99+QU-nN[ qWX~!9*-CYC +)5`KKU'#^o_ cj+Ut(gQ^or20 9פ+Jsz]WޮE^Aer5!Qձ# ,"뵫MlhK*%&h>^K?7(@5ӐV=F`)WKɯᅶD%|U@_I$Z=XE&ZRz2w ~RJhU9z` cCO4hgGiA<)taR("@?B8h5ON5?R@O,3C+,?g?Vd ZB#쮒J.'FT_.?ތ 7ЖRnW VM%k zab?YO?svg0JbTGqC4:TQHnVuAg$`-Q-g .]-q6@u#,H-~Lp]үjУP!MZm`>U+TB݌ȣmȳpr{c-(\-ux.̉2a[UTbWw;UR¡!n)H%zbYԿi2Ωz@|ͅw^TK9Wv!?fݹ&T5n9ӘjV1Ye-Ϟ3j5s5;xɽZڬȢe-qӊZl)0tڪ:`!wx@nfL!$Qט8ki-FRbs(( ea7Q淁)dћiӢe629ɗ D.ju,e<`F1{\bBNUtM`q̎J2uQ69u{ ?]V37+@T,Luht)x>[b6WDD:F/v2S4%6c__ó ,Y\wETƺ%H3@?`>ꡕoO*] m\@4F>_Hzyhz3GR}B01VS_zЮ9Y!U?Nru M-y=T8辷V'SzU$ "ɚEL1aegL҉Aloӧ\Pݠi$邏WeV.KŇg;)*nxqmRj$A|`D+g)LQYL+uwŲ7).@ UڣxK-70 э]e󸨺=j"r,:߄7d|b&= @oi`ׯȽ'}B`o{4%{wUGL4C dt Z.rs<,i &kPGn&U O9{>ߧKyr:] x >O T@dؙ+rG.Zgis?P݁H5wkPw0j{l*aJ0a6\rJma;/Jz䘸7)G]ꋬ;vףV[z,G !Wǜ?T3IƊAp<&fyg®? s| XvZEթg ^֐sձ wKD᭧, z`pF4n(߈dEFw7c?#n'1_̦AbK{u2D(5ç ?`_"ϱʥVk!k|jbg/U#J8NE*M($(Bq Fv?U}1_D$*e<@Ny-"dNe4 dM*bU"G¯ްkA`L )YAbz(COxr`3>F\5ڻIr+0oiGC~RK;z:2q1| 6:ދj?vRC hЇv|/c[a>b m \F+,&I}Gi^r`<.9"8"7逴n2nP$4o5NF'r(~Ջf$2IԈ%͎WTV@yO[y~8?، pkZ'!NOI_*&xh͑EcO`nGŖ֔Qœ@dz1syRSCh&7I=7.!OV< ۅE5Ϥφ{|t Zپ\KDjRv6O`>V*XgM \%)Nq~kˌ`2!/FM6҃w" aA1 րx$lT{'ql@LBw/ *U4b66FḎz8U1BuȢ96-ȳ3 :K<Kcܸ P>[$ AZ}Djk]ѶdjV. >v64LJUHq> GDmS)r*U:zZǼiGL1uXGүㇲzY~᠉g `F \kΕ}GҖRF_/ 7Z͏2IƤ.L 62X,OT;iVi!5gmG8R`%i%NI}4+=ÛԓxZR2Ș5J) M9ڬ #ya3ݫ6U]11|R8jTp<(&*4(^&W!4#!:Z*Pceo͇YQ׭XA(" bM׈Q!K*wKo>KFÂ)ʾ̆ʓL_Q36 at#^ykZ = %҅Wݵݳy-gYZ21c92945cf12bc34957bb088ceb20af09b7e81d09aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d e4af1b843f3d61605b87cbf8d90463da209d9e6a 3258f6985f47986c422a75cdefa475c4ed19db0e