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 I+  | ]% Euler_MacLaurin:threads=4elapsed=14.227cpu=53.928gc=2.020factor=3.797zXZִF! 8º]ŗXiɟd)&]hS.J}+%$#$8qle"\;UL;;sOc܋WVOHcMkPXi@: ܷͮA\A"c/B$kX3yd*:?9OGUYنc;ɨd?n)?Zwp﹟[⁒4i*6oQ^ -V#JbH8}e&F.xS-}ܗFϜ3v HCyY?S9R]TC=Bu מztc;? TufsfxmO Uk o|z=M,,ʥ+U?58Eotlﴅ%/ei:wx3J9nkXX !9ϝd˞ËC/-;%ƫyٔ#Br9>2{ "t}Ql3Q_YN)_|맰kO t.n_'!% Q"66daNGl GʠpI .NtX ^>ZUUƐ j.aj*3' 6{s9=ǿp$ڨQRNѹ@V\׫ eY־f흦/+ހb ̫qI/vzH|!.隼@9/2뇗#qꞑ{?lnL6̯Ҳ .Q No[J@6:>a> !o(QIE+QE .`񻳄'aU-֡MfFbT"UۦQx6}AlSxUd{yJ9Sii}hQ&/P5'!xo6♽G b[q e͜5Vg T[}{:`s֒P_D8DC:]nX%8?*I",vB>4eqN  rvh>3 Y'X s`oG=m38o4D:*I'.x):wCAq%nb`1=K;HV6>87!=%:vfĝo\ j./0?ܢo%B}lR3LaN-Q0ʸD2Eo`Q5V;#H"z:kEDya?9yV ɑY<Ā};6kLV{+*; jU@V SƢ-@?ҿ3 BZgjXYlGd#8 w Rzq7U0Yc}3nlO澭l'acN>!?G*%@HçIYaQO,2>Y!n UrA*ip?2+>ь q01h |U|t>φQ>u`l YHDvzG{'g_v7{϶],W̃QSIg+%i'S9 IQtSoVp.TCtTxӱ]3M ~32 v7"l4y{0I3#v$旟LoRCc?nBƙ}IDs||i1m<᥊@;S u8X> 1È) !v PwbM4đaŸ= B!"U#-``jUXiH\~Ӗ (65}{Bu(Aңy@c.䠾3@M3)b` +}'Ϭ%Ph?eilt"`nʹ;Xx[ ۝hI<'QA&/8g8F7bC2IMfhG aviNکJ-5c?Q7aݺD;|H}sE+Aaӑ[{9' 2^|!qs.NΫ, 8s-e91Euㅔt8'Uh E)A nm)kZ؇]jw `C#h"vsD`PHxMż^X.Kf5[0%"!ojL$ej~>?{ ie=δJr{ y)pD7Sg؇ëtTxtpi~3%* "Cuv ypT\@/x8w8pg yQx ``u&_HJu"VФ#_Un1 W˴Kf\ 0P B27NHv-,%/#GuE!,\fGA㘲739!#*]NeK_s|(@MW, OB,nEu9.VW1={lJ-s(ڏ]vWz<؝^V. E"OD" -T$2W4agOmDel ΒqH"=>O 콞&Nx#3BS# d<Jv (-6rOmtpd[FG C(#-$myP30~RBYrU߮.3{jToR0:?;E>\*lƗ(\\>4:0H*S%Yƻޞnh6Ϙ޶!,!ʆ|SN\ JF*`)4dSϧPGQṷ)0Wj{ÄW 5@JrHAF:*inc' )6vu + Euler_MacLaurin  Jz;H)e.;ُw^Q"cjľmMd_9˜q}Z6nr($~^St$;Ϙob̝b$CWYe#:Ij;5OPyD( hQkt (~)}jwhOn jM3:tbI`lX71>s:pk$VT]A;hd_(Ûe*FTsq0qA Iv`T %r_*!.ա ǦT_6uN6|D[3S[ Sk L&hoԶݘ w/Xf [V~kW2hcQݘry=Ǯ)Z4 "4^sꒆ<#'n+:Cv_XǒnZDR,$_8m؇ż(MA++;f[ؔ#eM=I <ό7v f:)-!vJGjI𣮁F޲&+ކhrb ZJOGUҙ2sG>_|ZgIGk2>,KZN孩* &#&- Ѵ̮la 7oyLیDGS;j(4H L"[p_6Y0e|G&NT_$nADtYCϢ_'%xkN cؘ1I;6Qc:ߖ7{vE63U њ, D)2 7-zwDOA׎s[& nρ^zCUDHh!2?Fp3H·wŷ~Ȁ8A4*T<0 OqRr,&ֺOA(vLxYgLMHW.BbkvTΚ(?E5ʳ[*SU~6rqCSq\2voOg ѷ9N/'.K5-&l`DH'A766`!`$E6t)5>/.gosj3q2OA䩔F Bq%]Žzdq9.i5Up%GZql>6'G&<4?L(:vh,n'bJ4.W0D^^wk5 w>I^l[^bREDЋ P4N I%AxYQC7k +0.LF:'r̸6Hcfqߚ|ZmJ>FQun|+{!B5@(NF0y. yIJ9G"@q¹{ŏ {b0 &. t 3x9x$+.}^ppnP.*_pQ{da-0{GX}o 7xcj|T1Z'5..8XjX@xDOOz.F Hn#U"#Sik'Ys'T>kQnP ҆X't1kwDX=yѴΤ8Ybs}Xe LJ,,ߕ-fC "Zy'<dއ=xhHtD;td` Kʻ8]̦HNA&=-QGs3Yӣiy,ѡ628=@.;*;|`'N5~t *a]j;dY,[ߎl}B#ŷC c߈{̅o6O@drBzm8z1 q[![+llӒA1:taY)4܅Nڏe33MϐފuK% ^eh$&he^,(ldCGPeS?Y#b\pʧJ?<Mb4JJc8ϯ:*}TJXZ-qmASS7>! qX0ЦZ1pCj>\!XITכ@?hqEJGʥ4^}_ut#>lx|ുy(qsfVh-(=~Idc>$LVDз?~Z_@ux _ 8c!\J"MgI#vZ"KBK;1JR:p߂x)cS(EVsy dl}S9(?"ӑi'{ֲ5j.?@̰ -LoPTxT~ W=re$`㮜}|ME:py@ei.~smXxNշsz&ٔ;Wx_b'A=WQm[4ʁF1?[! 6ʹ+icP1E -Ө֔3 ]==)5\ALiR52RPNZl4BI7tV n{[Ajvot„-Tf3S03. jS*P=͕y*21s9{e  3`;>JV£O>Ո`ի4{<2ܞ(!%P\ P5 ;cv1 2+g)7/hGP8s'] -: \zW(U`_VEf!U<Iw)dr:5L"jR'S/T9X.1P$lAK" ͹(xez8d+m S!<* s'n770A,g`n:CꤝD|Fy񔓼6Bs=bP˻Hn/݃+`^)2 *}`?;I+xD#ޒ[qͱL'75٧ӧ;gL@oC HxzῙX5,T7F~yԷ.]2_h&b 0W#f1CU 2ZtYnl–)FbZiX$&Gq xsIbB?Æ\~gC-R%CFU/0oh|:]LJ13LCR7rHdVac{\T5aɆfyU1;+:D"! >M}~n׃eGLpMElg\*@Ԑwlp Qx fۋOAeMc;4gvM濛^$^d򤍅h/sK3{m*Ak_.] ߯hLp 0jy=)0vW0jT~U鋌UlL7&Wm@E%@u6#+ڭb(kuh94P.8W*/Q6<oh;w P ʰ lpD:wn׵p){fZ ~rO"ߊڄ/%j]rH5]t r"LDϝpU3"j U<5[܊ AQ_ gNp&EL@NMl■xz=~P+!G_wo/8 zU% D I~^QٴD0* ׵/6"x2x-x/ <$||"O~p-n{DH 36g2^Wit=ʹ?b$Y -Hs#1ا2*_j@+$goqp9˫_H0_TGs;_ߦ;tu+xT!P9>D 7..`u~z ?P^*e&^2 KMEߑHLHd_'5vV"޶E $+=59V8ע`8Yk}|̩^MIqf,b5{3+sWj/?ѫ(amm UN'U@;svy{țx&#ª6<̆Y/I|6/P<bYL^(':ćPQ{^T ݺYea$܇pFn 3{@U)_ 7#mqj @U2A Zu9vp~q5F/ߙf_ňmlVq;q]H᝛@sR-zĵ%NZ/&d$q^kZH8Ax;WusR[Qc".; eIv >M}kSͿtNjmHDy^,W< e Zo㦡e#W!:,#xtݍ$܆?rHZ'S pc[@l8+h 0O ԫW=_uyQtш 1pni/뎪KťW7>t.Rَ }= {%m+ۙ>ؔDD˒[Vv+#CM~1Ed>"kd_{a?S ۵G! Nwa-;Ȁ88]Ed ~x?:pS= L#/vIRP.e%D]ᨮDS2!2r+Zl;BB ~hq_Kt]8 dԗ[ `|J}oصVh!3"8d}l fSRE)q1ΨX skߜѳD2}6qHIELydIdq?2-EÏ|Y0]>V\#՘B] #cCn#$ QEYD\3W˾S;StIB $$|f+o=d钰n7g4"9>oP/2ųV}9FmSSٹI_4W=阼Ӯ<{/D|JѕS[![%gQc_<,9TSe2j,iAHln %w-q0L3 A\B1]K[ }1YI Wѐ.7l `UF-^-Nx8mRRQE3":\`\sT˞ 7ug$lZMi|q*ppGӇMLS[V&^AVY4)s+% Ҡխԝ:YGˊoyC|YGU. @\-bQL%$?kө58.ZwNzXz .`|CZ"fa0{lk;v865״e<9hb Y_fzKăؕ6H- Rkq C7,di`Wf럎qyQu (VotmvQ%V!b/\ˋT4ޒ o[7X.q{i:9Bhw zV9G 7&>|sm?n;:3%+퐠08ˠ GQ8>(ᱎ1:n+iN8 ?@.s? `,A VNfg) 7K릖:,ixӹ-Խ:Ӛ2LCL9.bIL4L{!^_U.fx^+'BS܀3Gv K9/t3h;@q@`!%)q4Lp#QErqrP)C-H<&#8qRpg{Zs\fw"Agm Gg8I:dzn7)y\Rx4,N̚vt^el5߅wR bz;Dk\U;!bR4br'p)G)$#NW6aS1IEq-o:~r-L%F1$?tf,'zbɶ b6sGzapd^42!< K\P=o64 "dZnƂSԗo__(6 w9 >Vj@M2nJ;{y}8yF~hs!0"3{*PSpЃKUJo++:2l" J:@P(8Mr\|F\KAT ^ I#P{`;D>pE:myبѱpq@.4 %K(G\5(̡ͅKC` \;CEJ3W8EX,7wTtulh Loi&Wn`crDy$*A6hAqgō٥4h[S &?r~m)y!G0ۉYePOcʒ.sN;-'nر*\-vw$ͶӝiMm} ( Z /qq0V:v mu%6;$P7 7,H s J p,AM*nԫդ7̽Ym/D ܺh= G/S}K/OCW֮%]M>~CwH$&3SV9dm+ne Y4|P\1TO ׁ\'q+aEygDg2J# Fx&ib`gNㅺd疹p ke .OwfDaW/ v'EHCMm@U5#]W,!yRS]( baYr0el W,\NԑQ:.{'agk0c +}(?Smj3a(Uu'=~SiJ ]W= ήnLI5DEߚ|.K_%"f}y%!̩ئs]9&k,/Zgh?^ZǪ* g&Io w~|:1>K6Fp!I&,pX.N<"kٗzcjşبOm OzxTR!kI߈`{Bq \IM¹꺢XÜ)jP6c by)6r *-T^g PtT% M@jw}@SMƄˈa(c(?116 22@^Y:8k5Շsv.kqv?Ze.\mND4LxðiXDڏv3θC:wg=$A?R浼\p,v uwj5!~SaM6JGwW8xzrIaS9_RJ؆bO@&=2Ȋ6RY?>L = l3F:_ms",Du J-s>#EAxs&m4cyo(yDs@4o]0*0*ԵDF{K-XP.gvټ)I94e*EOŹa%؍2 DՑ"ۇ"L0A)c 5C';ʧ6@nԡYi- _)4`P"N:gaTu9|u&tE]T-<8eTnӗGk^dk1Q}i;+S~uW^uS0mm@HڅXȉvW'lsaQ+ qaKZnĸ^H)_޷5G3PFI3-xx5(_zC?ܟL‹} &7 [+ &g#i?^c$@c5,;+4ϋu,NTEh߉KLS} #z->\&+b˿21 -eoXiOډb$Aӱ!:^VAFX" yω]W2Uq rCl|:X v:c6g!t훽D2o)"0fDl%Uwzrhtn |#?Pz,眉9SU˲ k=L 9BM/? c-@4]$*I|,F85[ ͷ&xq1A lS^~qm66 y*܊K&z,o.-oWa&ԕz_|np%(aPO&  EGȐ(ڤNB~@"6,-aLaXrI0`o_G!X`h#JXBbVL뇻igsZ&-LJʳW7Y\kAWEP)+KhO*-ϗ٩81>ߟ]hA"T@ L9.%k4X /¿]_7J_9g=?SuNWh5{tсB>ݮ9"E2PQl5?~~ sTd-|WSqhh}01Lx*$t̃ʈ^b[Y Oes2@ϣ5! GN}G !Yլ&zfCA=my&Pϧ4NĨ<_a m-њƣ)΋FQo .D] n{8T*B6aVS%^˅vJ. fx8G/Fd2ʣOG,,̾EMS|GkPs{<&{ ( 5SӺ.u^٢E-X.jsŒ\S 34@qx^N8Ld[5IJFmG{T*SDs^Iѐ>j_Heo /hy5ZH iEaNiIW}'x*#eǑ޺Z/;n>q9m&%GiɶDJrไ%?OO%%ό, OGr%[C~p/>)Qg7M,]V|pRwq!ȝwGT h47Ўx.ӆڿa=JB],\n|}fj5ݾX $;{s06W=tu^ӇXus9 | #c>Aٯ|iĬdf?lIxF=<ކ{TP9B(bW/ A])I+$5[}Fş?s=6]^N2Yv1ÞVXL|j#|sұJ{}R'wCjKq+FlB,lQ͓}T&TOgpu9dȟT)QD_wo Rv_a I!޿R׍*Yn4RXQJobuv שD4A(<6Umpcbpḿaq|m9͐DjX^k8}b~V,u1vx(,i51Sq'<#LΎwx#U,-J\u4Ca)˹=e,$旘R[y8=p=׎[4_rBH}pW[B]w)slogʶ[` ƞ vor\zW{Sd` Ɔe -Vx!)=TωP˘&Օ&p$b!nx-Is't&ʽ]IV"P\HHnuiTgOb#u~u3?OTF?aBaj̞ևHxmO1іD[M:p\yE?goE9\5PN7!w`NEt@1y15YIǺv/}{{vL[3٣GT ^Gy\ػe)̙H|&Cv [xvi3qL?,X;V]ͼnǽt;YhGC9k~3JKȣ;`nlCI޴颛R-I\榵 +{!e CpL@6ut/jb̼žeeGÕ}yY}G*l盕H|]4>1wp3,T`~ϡ m\P&ZHx!zh!SgcSW@LS*xNRUoidGj-"k[_ "5(OuVI/qfgStE\X6W<)w&AP l8̴/8.g7ׅ٤6ڗ,O' "̸+!.Ty3tJm^ĘBx3UiUSn\&Ku_P03VXw]4Æ{gVWwӆ#/9q)S]x)SS$F ho E“S!gfU`7ծنVmfO."հnO|KNf6x˙Ύo<[pn`aC$+zl0o!AVϖ)C:ΐDҼĝyv JHS9JlsHxq'wߎ/&' }D((5JɺbHOBFCe0vd 8!2ZRyaZݕܔVccZd o.Iw1:LKrVI>ICBEL:ڒ01sP"/F꧱ӤHfFbݸ`Aw,!OJ{soq>h%3Xoo0{!>)4CLEXb1Dv_ (g/9,!6x~S-{# Q 40Z\~$&΍.LͥUCv={Y6T0$ {˛61lcξ|]L\l W f'A/6vR!՗^X5㥳w(}$fwc;/m (l/"{ 6z^}3ֽ}"Kv1 klbTU3Sҳ`2n-cXϘ#Dd7i R)cG͖smpwZuٮi[w24NdR䬤A&FIGtS?uɴW?ʵ <Rõ;7 駥q S E4w)zO.f?Z.g3=vo&7,CanZD,LS5j";2~0eT{qܨVޒ!9&8Q׆eJ  #79qw|KQNQ :z]%X [L3@|6w~v!Ò$hK ;m6|zyBBNy=P =H:)JW1q._ۻ+Ʋ? !P5Ĵ 4nш&SՉ*5|N< ?.ap`R"n(Հ⼂,ǀil`W~l8GO1|AtPCj™]ЅU! xd3~xN9$ l ޸g}C XgQٸP=lyp[ɚ"3aBsŸ~-Tٌ |;c2vNl6<bbMQpWJxRe􌀦O'Hu @D;UkfL#12ZE׸NEsfyn`_W'W"{R8qĺ 3b4B o A 3 .YiA51 АTqI=9To )r$uyrun2V6BV(*}~+#GǑic%paE`3߄ T{pN.iQRZ cB[ =ciz+ptu!d7 lY H/e~i:YvA)O8 A.:Mnij/7:j`WI.N:rtCd&ݚ X9bkAM6`VpsBAv6Ît,k~]njFܑ ·}]l 85l!'DX9%rJL&NLsE[7|?ԍ*-r2_ ]qsw#FVmCmI3Ա6lZs鋝vƂ[ʔ]~KЕ8_2v[xZV51gF6J8=zi*wH_IC M.$8 __V~= Fk|;6pS8}R`tM'[1T,h3KXlo.kı? ܣXu_qۡ"3Mx0lZ+R%Buu5wDQ ]Ư»`7+ˍC3K1*V ƥ6"ȥ:\A#O&hsָk,lrA0")={*{78}bYgzͳMUIk!Oj:tV8''R*Ŏשxu04B2L8PcTq$3f]&b߄eX$nԸmU>ߥNR N.*9xmD#%N5/Ũ PG˸{9kE :I7zEm"=*>5$uһ{>Ċp_z(!Xz+ YIȍTµu~>T42nJ[gBl4xבuNe#MN)`:U5]yXe%sv9#56LZ/h8k03*RAY肩x()+?g-Yk.MRO&| @CFwD<լJRȢ[7\ʋމ2uTJ|>%é''t/ToG'8gGLV܌)fsWlS޶f ^| )81hN4]¨.y>|Hv)Q=0G4TJ;z7Qy5,o- U^)95ԁ}IPAșk ыpkI$b#!4֖..(Q #P<yaZ(p`':EQ~ZaG!sE8+g(lhj䙢7۾Zzw[84\WheG>8SؙcWf4+vR1E:6@iIw̽"ág"'ј.TIءIΣF>ׯNgS+ TrY@-B҂_1|%3w> ee|Coojq`ufw+ihh758avW``9KQd @u/*0YjGv½.F iˡ j}kkkK!]Iaeb#N4ws6Ї4Ptݷ(jFc\8~UzwE1_Ԕ1t쪰"cP8' 4Ը، Yu4ֆA8o8BPo!9k.2 ~HM*x#*0"QNtL၁ġU5ebMd^`3;d*hqB#{([7cMO11`vb~EqluJdīUW4nڿ)UGh>P^=@8`Ӌj@r#IQ}^Ηde0JAjĬ6{ ?Px7DV 3c /wBhP_CcGt;<~ Lۏ{X Z?1Y5:QMo!GT))Y'I&* R 0@'plrOϥXRgq{b(5 k-eil5#/{Niԅ܌voqǷz +I^.f(-.;2H㽅׿Rs݂ł0Ҽ<pn{YtB~7mFiod,:53ƲW0- BZة"=rw(Bo g:M ghlϙ3ȸ!9GHwB=<˒r> Q5N{f&9꫱M݊8ubw|P}GflN$RZ7? #1LJ{8kNVDi\2a'K(. W4cf7׊T MZS+?DR4G4/<Fkf,|Cӂcb&3gu<ůbpnn32b35U f,2Ⱥv' <9kYl<fjcƌJܦWug c.`,RVrC!#ZڴΓuU_jOWK,5Z,j2/*+> A&Dzn[s4^E$O)ڏ0;\e4{R65d/Uu50{a47aaS#RUcׁ$I摆t(qpFJ.ilڦ%YA%fG>4DNHD\) 6oУY'< ҕǞqJK.RFwݜbE*עB'{r2/iF&RVZ T~h#{pE?<&bP%n jlx#.S8`M&^W X0zLUrEI -&-KNFF[OJcҾ\*,K?}׶"4'6&wn(- ÷XLEÊ(=' :>"}Q!PfɺYޢ*Lʕ+_)OIoaNc#=AE!^UYQC/H͗XST$ww#=?Jy]aeއ*Ř/4'>z7Y]n_-K1|Bp޸@i3W/Nf35M@iJѭ;[gD7JqZZW:pG}`qcrfnٟ̦UrTdv*|Pd25cmQP:wCF(wAI:(mCe|,w2¸3^YU*),7T'YB0ӓ%vƿk^g$oz@dgps0P:@ ¿yg +Rk:[zW'C,]ds+M1lJ_li~oV'Q1Nqw*=4_ċuk}wM6!}ɏ-[pR7ye% ]0La:qV (e}C.ug jԻ{FAWw*O.4& fBV;ĴNW;V <)Z.<@K>P\!Bwʝ=XY|rb#R/NV2m!`^<ܳ>5Ps-qRԖ6/\ە[) Z4d5g"nX%Brgt[ ꢲWdㄴJhd=ST;Ln8F)I<0O毾bbQB2{L2{9*0q=^Xїi kW;8h Պ!s!y{>i}hbmZ[>jo5͔!H]AXϻqH@p_M˘FZ =o;X|32(mKlj=遞G"<֥;u̲_ zyT'gAsI#2૨Da/_G G[f._Qtb?^zQ-fqR׶ʒdSϬx YK>¶ЕVW;vVDO-pBUǕKecnGk1} M`$r^٤n2ȼF xMcyz:Yس}dk0+a?-;~ yltΞo0o) S"'x_12C_ofa L}it2Wעa9Hs#)ipSR =`,_pclRCoZ|6<}s- ?a)g^ W O ɋ+8Q쌲3 Cğ )X.uԸe#Ժ`io61LfەZ27cxnjvN\W,|JꡠzN.G]BwG3RYa>*Ĩ;j0EQ#!h붌-FtN҃wЈTeXZ%YWEHw/C |9Ah=3m e!5LPȨi>ZX_#L ʇ9 aSX3IM}U9~3\ ~φWoŹķf t2o)8wb"$6݆ V=a7[d/t+K(n{yұS<>Ӱ q1l<0j"+ħMHXh8MUH_= ߷7xj46]wY>0:s} NxL>V0I?ξ4 ;\J߅ _a9,ta(0'5<m$G;Y04,@/ V!b x4(J%Q8 ^x<Yc174aR d$uBg)-UŴS YzzS?jZ;igzk[?~tU8I~YV"V2n321 2?{dN%r*x5]T|qIxyU/Æ%Jy%$˨(Dz z`ROt۞yAf_6؉Yr!F<_S?IM(P'8p5~2  S +'uPβgL?RL|]a&(pezGCL>km[KSv][M@_YaIHbB灯r>=w设̵d5BU H44$-Wh'^j15=q).ӸA'f|0$KIV:Ɯ8_yV0Vxi4a*zY|λ cڹ Ո<+)a6 =uhܷ-G7?9@Sj iSCTͰ䳢qya#ɚԤu0CSC`g'c7{qV/,li}-Nhf6M?(L̲^h6WjVّ&lQ'h&iQ6)p&$&Xh0"4L9d<@,Z6Scˆ25tȈBerl&9M7dh!vkxCYBޒx:ňޕ'ـK& "% v~US i Ҝ L+׆uX >BŊiUP? ֲ7蹫뾥7*)*):ء9 ˨6LI6/vmYL.Ķ.|ㅛs,9فn muS%Rˆ JN|eEw}̚w9[!ܵMsEI"#]7G) mbց:'%k%?'KF#,g޺-&Iٕ.1p[oa0y̌վUȿ2`-9fʙ"L*x݉FYbhomOG[տ rwP,T_6#_p7nM9 ^6v 5dLF.U_3 # X%εQگsUpRVe^jb 9o" z'jF3 aV\tJ%dj? $PPM!PKXxR&|t ei&^wp]r.X(3ο)Qa;gQxɅi_rJ;yf+iZ{2_:rxjV=j]fZ"5*F'BC'MZ6?)AC|fњm|E.٣s-%iSg e^`f76wJt8\ڦ0EnAmCpTr;^#4o͝ P!O -'3ڬjAڨqx$ti+H'˨|' 0 :=q L)I1RH%jFԹHچ9WHÉBo'jȦ!E\ tLbvʂ8@,Ebnfi̗ߓQH6I `5I:r4ruÅn_*I TIloR(j|,zcT1Q6e׾G<} ?p%oL2jNP>y6ㇽ cWXuxķ5-ɐT˶b]V2T]^.ӂrrKu:35)Š%6&hcaz{',L:+a;_~󸮈f鲣6iQ#!",;(# @#g-cǔbJ6ˇmfe}םok#2Rgee5l;wnIfO8~ۛQ{rAIp%*b'la:X 2n;Nz m.dsr s(vO8qWZ}/'Ѳ%>O'5B.M2I_Y//jqM ]c^Ɉ&l/v>TZ8q*SٲV)A2[ ybϪ69frWͪvނ4ʁE;w)g~ʯB^0$ilr]ô'y3P\&tia,b*DĞ8>|-]V 8;_KJ%njJ5Z2GFrL/fȖ&&Q/^dt^&Q!'ϛLV5تccXDUC-rA a^-+X}*F$ѕ^:X#Zc69 p iן$@r<7[v.G EܦQ3 AGeksnOȳ5a==k ^]hmAlc'_m "sJ| IW؁r OzB 3 s0 <6*hZ Q¹qnNrkٷ^-nj"O>538,&E}@ ړ(LJ( ci"╇mbRM]}RwHc$6 ]&X,d72шw|ky07 ;H|?, DCś\P^KeC*ϨCS=1wLLvPD7aYW3d_Paˁ<&|=#>d1t04%POE2 :@972`yZ=Yc?k:MYSe RwmCﭠ?yqpdȖԏ"T[\ul+e=;[7rLDâQ=27`#P |8V:ݲ~:oI8+1šhQ<%ĜcjA.Ok_yHCmЉ RC>*w0gqhG49vK9NJQn{O/8|Vnawwv8HOFUa5 ю.I:}Rp95B;SN`:RZ6\؊<~H$LszPȻќHW|+*qn-ׂ/@YOWE%A\$ s@-<BFk r(yry:~9cq(B2=?VT KCrs6<043ָ_ٛY,b]Kr`>%ƣ%lǘ`㟦@nL.V#l⩽ 9)ԼJ2bUoeb!4,)W=)߱W $ct`[T͔]jiA*~ ϊBě5LhXJTaf=&qkČ'gY+o[#a^Ij%bj/R :ee̯2*QQ_Ŋ)P4co)56 `hQaȮn]+36v p)Y  >'UGGJUJ7+21#4@ :~s(ZsF%{ x;H<,}KM}t"VԪ/W}YI q{J!`EcpnŤ* oFb8tđC,†ifMx Cqo:ʇb q,p&v(=9$DM(9&ToqQLx,"\[6 pIҹQpU2g봋'$ ۺ#倾ɷ댔W808H~Vl~.}3~omu׸LC`n54ID}$O*Pm< }o?:FYU@ Ի8=Ķg+˼+^# !;ƶ *6 >){/z}_ٓhUIMbJwa;=VG]%/x۸ڭ5fMLpaG3^ ;9 &D}d2|G vP;^Fۂ] _ed._&֕RNn7)yhy#bN@7ߋC"E%21G݅ׄJߺ2Z4 yߧ#L[쁦syeY&/f,(Jm[#X< V~¹Sk`Lҁ-=3}|nG_'Y7aSb$lG&П'lݬ_{1o"ҘNtE#DA/sF{ir+Ф1eME?62+qrA B6fGbErjʴ8=}\AX,& ^Lާʻei+O ةJk;[˂SIޓBxvvp]R"w[ TEYa}^w긢7:q `#I{=VqK4>@]zCӑG#/\Qʄqa=EtS 9rzt,/Ѵ44ϏY9~B#" I+ dΉ*ygm$j0|emo򂓓1@*ڱ$04>Մ* mu03Hm d] Gre=+LP>ƮXg`YW7X`NaPƍݒ N؀D\u"y uw ^1r`SsĐ)Ë;JChadqBg?2Iw?k[-Zf7bZA嗀`݄y0qb0BnWbf ;W %"9<X ݒ6 =$ZyV  {Z%)d>go}t x=; ˭}Yi `XFm`:9rS0(j4 E$S h$D VAzGb1ܯ6\1T(u+תk&d?Bď=_/|9Ȯ;>;(j|VXkW[DtR#·T®j ~cA߫}aG!]>%<&0ԟ5u;HT m5GЮMVC+sK,l'e]4r_LMh}x-W}T^SI7HÉ%-4Q:gfWOZh/|c!,߀+*att>T&([Ʋ;V-; 1!r˥tuA:b_C'!(C6]}!j*\O C: W(i SN.ҕMqOHϳTU#OJ!m|dޙW/f D!lNϧz}Ky67h(IŸ<$KMP~M(3ؤ $ aNb|"}kFyS7ذBfE SsL,t$O6 D m b;ꪁ9H&w0RWW4ݍߢ2J\r 舤"cڎFK(C?UΣ ؃wYT ʳ[x<bFpXʼn#'FVMenMUݻf΅(b\MtvvP@nl,^{E <_%i";sU0ν71Fa xVC͒;c\zkP%6,.HByd91»OȋK{y^_dV<oVmH|`NZ X6:z"}, X$nZOUx)Qi0QU"GE2"<yx ̫|&NoP4A ccuz_/ ޛ8;-~ks@i`GrZBG//(0Ȧx{DVFTrGE}#3S+&qi5NT@ޚMnZ'{EHK}>(CsJuVghГ}Q'ؿE{툉mH4fwG3hd3L&l!Gb~?87VtILʫ }T2PN_@rDUO|*3 Zd0GkFsKptǒXVoF_QdRîh>mc123A+ l֙WO6?-ܢMͰ~40Zh.bip1\( ޓ$f.ZWE{K[n[fxz{kk~ {Y Ι'h$nY27_b' hؘkNWqW>n3rJ؎ U$ ׀qt A|kLCM+FB)655M'ABQX_V#C`ʃz` a0&|2-kn)"_:KU\8L~PcxfR:,:FAfr()za!*yip_WuK!ԕSI?,Jf# + ۏҴzrCQ0H6=3$asvu6d'9U!!ȗK' l5v8s@i8{e vAcǜ`X͹ףtIlEz !̜2)H%jMWD aWC$W4Z=m#qj Ɂ9i3HN#&mS>?NH 7&H~ET& Վӗ0Y!4kir^ڥy fO5IsX4pzDBݵw0al|bX%4bX_N):`wY 9k+^`Xk:1̉ $Bs P% Th'g(ɰgu_# uƬu\=^(rb݉4)I|3@[ą%m}b)""Z[*!!i6Q3[x7L-ب[> VL҄;}PjV>ږLQo\|~q6 pxchNN:ʡIs`XbDĝ{Ɲ)]BZڥN 3M[Ik7&7idVŮT7ר ]$Uۭcj\5Z62J-uSH΋]܈ pn, #ɉ,=dn{|]67I\=1Ȳm~n/jStg5q֤1F&Qc̖H@P Tm>QBQh/Ʒ1\䕳 rJ!ngtg%ѭZC\7Ѕk3w/(([Lm⍻ E*;9= 0Gqd}UꤞA~p? {c :ٓG2$/n'AŦ>ZXuCd@т/ˇo pXrUW 8uZHw|93trH~fc)dD+x u\hW# ŁVgg9;xjN,KD`ͭ>h9[!.5WN! jd3[$ afJ|+ًLabT}aL~O 5#&!7/inaI!{ s6‹,:=@bj?c eLg{!\ԓ âZ<ob‘}R%xDopw|O@ 75cj|ɢo1jl,O0yi[W{3F4W-`3j 4:R\",,d\,/nRОV3 j.Ad~X_ Q7_g2zWCqoR}hTiz Y]@БMu/p X\q6N}kXeOib kd@nO;MUKY2Y.VfxT\badG̻-,QcLi+.m$,R=*F%[!Pe:\Z>T1W [64 ` mrJ 9/m?~'n}~NJ (,&-gA紧r2d"|1GVcoDbV,iky9ȒwB6pRԭi˥xJ TB \_>)JO5: 6ԇ]\8̰ ȽU3)) 1^і@;Djd9r?i[$WaM9:RQ=c^k]9յ:Лa֌hyply"h-eY:Vuw ?DSfKM߅:>dً0  cHf,`5hކS!0/>t0:1E/0]V,b] IY7qhlc~IHkG WڔAU0&IA:VVz.C}&KVLYM1{ϩrtOY W64]nZ QY^JOw/L! =\!qAsF*G, -8yΫ`G?!5E:%Ĵ*EKvO/\QDxti}[앗А%2l2?³Tg6~ҳV/į)LNc&8.Y(~` l<)*6 ;ʬGs#h&g>'Bc2 Z0:Y'+4 0L9I Z2½6;|,Jlη D-8r$K;}u}WD"q2d̫Ԅޚ*$Tѩג jl"Bu qQ@m{JE:-kgD*ZW-@{1@Vu f\w6nt]XnG5k=0[fu虹}PX[3"L6fy}y ;FXK'K&}.a h%)б̊˶3eϸ &Pq< }S@MBE=I(̅\^._q'KHswr%0ѨA2M5 M½T+[5mykJhÛ<_G@>b&t ݃ZSNAG,ݢqY_5G_厛NUJs1^7XvoH0`{0psS^[mu z{슗)Aӳ6Kպ/ۑkfbBdy^6KS\:[gsB8&e,fʵ-Y?ފQU}i=5;_pު7#l\yj!h=C®Hύ7ͧD5B⻭q >qC$x\iVXQP|JiM˖/ۇS#rBAKNd2Bp\bY4C,O1RY90B I_`fkPL[G4~-w(zCan 2h ?DHhc JC6A7l$,$ P M~YA̠WKw|OCUսz2KsajA퉓rrz΍Rr+NfY1M+g>"a!IELM;급^apS*Wf} Xq9 LبbyFPe]N2}gۇ]/$7#I@ rKVD7ԄZ51GYZ‚tq f;<@S*r7Gj}.Dِؤf%P u QΦd$G $^?Ѿ9_S(mR5zZ8̥y?jg8J 4a*@;p+ ^O^bYݳ}asp.[ m F#[O0kGU?&́R"bC:.@fՉآNS6% gP-J#EGSUln[̒xZB4CҦ~ W Bl\1O_,kA:^X[wI" A9{ush#y $+V%{ &cia=R_\qm$ubWג#4:hN5)iX`].GkJ2C a\2Q݃J XWxOsOWcQH+QW[-ک?zp22^zs ֧ȉr_}amxkC424¦ކE^vx K+ #7hT8Vs1Bok31^T$%;4VxF74bm%l ;kS uwb+YV9P D~mIAN,bp|@i(NS/E3=P|`DG%2\@؇TVyK7 DϜ@B@\sqrCF* \ƱP? >?aA[*璮 ɳtRe[z=k -f]Fs}Xt(3\U]Dij=fy|JZ`)rJ9Si4MxgEd#I&WV =vdRzh;:g8AXs4[ȴ-rxNZUAQCޅV^O0 I5c_]nAo"pY j^;^jѳm bUݛ{`>ﰣtOT$^[URh:c+kzGZNXHH)! &QGoFL5fUT|neK5U% sWL"Z#"P^Դ4~{ ˘V9ةVG,'5Z"$F{Q tfT 0ܺ!{32{w2=.l:UYEPP22_6 N"Ksy57&PiN'n/pe͆A|KT{Oѡ:o_[(2薖]_f6ROq 022"~E+qqk]oVtʁ-n!T{-!A H10q9n&(NrԾmA @mAhy5Y.-L1 0M}ۦssuE8Yh樃?i8a֏9MG+zHJ8g&Si^ٵ%{ yx!oS G,d.! iMYvIY ץǒBL`Q07n3a`t ̒{ }X@dCa|tт}`KS$XBUa dɿO!I!`גV/cs~W&kS3͒5gl}P+ 4jg+.&.Gj*ҩ% Ii? QL 饔sdSk8 KכL${У8UB\XD֮\>Z|@@tk6eʠ5#;b?Bk"]U}s60Hqp&%}1z \P"FtEeOUْ4:|kA(D! QPMqkU< FV[ u-YY"AH zUP ֕kCB⬭|Qq6} r_y1eo E_/e\ OB0&t7cZ `ɲą/(4kT^% \TXl+@v$yrQ)9%za\a-[ΆB m*puQE1BCx?N Es)~\v|~*tĄxxtDRbʞJ (dη͊GO~MfE7~ s>6(~`qҋaujs*}-;|WeBD*yX xU>tl8ͷJ4{]S>A#zfc1iZ.IKͺ YRdw[ήV-+}FE1rѯ4e bs%r "7*AjC9~>5~3MJ$u!!C̶urj8A䆋%;<@~Pg|'[Iu?kPP-jo!'jPP|'9W7E ?_ uP/@-C*}7PItvn ITa)Rz)/R9Y4Cz8" o`PXyԛ#Y~*aT#J/_鬥\XKD.uݣ%!0TTB6/N&2cH1Z󞠤ݨ:u:@r|*(D2.B9gbngGD+Pun"a5D8m3Ô'ث {7K /'?&+T&/.2xcɑFogגeū72?BY0KAsHh9t)5-]' (ðY1SQԧp=[:mka*Ѓkp|J)Qp`ԄW2k1ʽIqٮeϺU^Fk7l z./0\ n$+wή &:~cb׼w(K>6a][E5P/!+*H}(ECt~̙M~hΒ>tثVt;-x}iD*`YU;y2#YRvNzfȂrAdB|uؓq(=lGԒ¶U\MΣPy=,LVql@ݢu,kФ*䛽jq1TuIƮZ/+p(. o>TBpEidȐg68(q2+qh~NSSv1 έLD,i dYe7/yc.뜥w$h>qN,Z%k_,ΊxM30Q#6KV#󜷠Dr8d~hun>sGs>l:$nMS>]Ukyկaco@M@2Ά",<'(Fv1XhT ސ7YbN@ԎV渏>'6p nd)SbKf93?5pNngYbۭݹ d,#F8bo<1(v% ׌AY K>V3;hדF=T-dAvFF)Wd yhO&wu᰺'*[ԕo: SړہP] eo7S9 !}j1X OPèa༲l9<ۑbX'2j*HABzr;T<-ض,@Űh[SJPU0eGg8C~f t3Yg/W:J ҂qߕ@UUg^+A*2e#048sw@0@V-D=Ep2Rpµlkf w@T)9l SC,>rrc7tZbIPMC#Xڐ[ N@;5RސT-0 7DgvCsmMٔT x*=9(2 iYaxR#@u$ ; +Y3z}(k0 Mѧ >$nAlli&KrNJ &(,F\b,;f ΋ac6uPܰcva{_р\_W5ZN1`>q7[Uǵ|8@)A !SFm})4s%TE|Gu,Ԩ!%ސΖd72Je:,@әi]YUpI}wU\Za]}qk`6ץ߱~(#)<<$.uB\H-UTE1ٟTs0aU?zBLb ai \ohbL`8RRٗ"7Q$7qS$D_I8< %jPyls4@ug a"$઺P xH++|^pX[w0-!pab8\~TI,qDV5L6iwh!'t+?:)= \@ Y$+}5&j&mgi% *Xn O |5GɷZG iO7 1}/xx4\U/vM+>#) ~0)^\IVhrJr@Iɰ 㓁&6\+@t:"L4Z5vEp>M_^ 4:UM5{.4,aĊo*5p?YKFRm\x?a:دօ'1 gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $78 Am K"S0a_ L6Kk Ȯ=۩:G*$a6a5!Ε$CJN(5z:-;Q ׬]N*5D)A[3䤅{Nq!oX]?)dywAV3aE.G?- %HR@AӋfCL``T4}9igYZ7zXZִF! d]ŗXi%L!3XT*< `+Y.'šA/Gu|0"Њb {@àCO} d;&Ӏm":rf2nmT0U 7LP?hMbCMP@7bɯOql_K8M0=ﻒ䡧{q.,Cq'?GzŚkXps5]¼1x=3 q_ʈV|>.|abD;\xթP2P}+(ƀJ l@cBȭ#Z;H',W5LОv@7WBUr#q6Bﺽ^;Um熌jxk'-ԥv1ʋ^ ,=D4ǡ!)քꐺ*O$\HWPJY~gAH"qw :\4Ui=o<#Oĸ\O \7u`K hf̥7 ܂ M/,U#sB^T8Vi1в3.oz'*/n͋:EF.b uZ ]PupRP- 'F99eMgp}|W %;ƳLY&GvphP2[j ÞBtsN"I>n`8q*_ȆWr{*nռ#ig %Dh{Z8?#DLw;vVh =yZrPfo>ȠΪ"nt(7NZio>B)z=#.w"3BA C|5rX3VQ@/g4;ʫ?~$tZ. k ,Ve[8|| /l"BRZM@EF>~v*ޒa ?[,;GAjPដ'mthW/ VVGJd+ńV 64!אĺ@m|Ō8B^idZun#+'L[vQwk*S8]}0'VN#!-Rw '"Y'`4x()Nn]EH 쎗WY߄[*oeA$h /O5cvp)ֳԿ)؇v dl Ff,s 2PUjc}VЌv@|J 웭¦M< _yzpz_8[h(oXn~q l g(@ӭ|2b zg.nh&Nl 0 $%tmgYZda508412f172ba770656b3688083d5e0f9d7645c8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 6315853b64493c859b913fbb0abe43dd0f01a9a4 2e494460e0c80839fbdda8ae7efa4482dbe94107