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 J+t$ ] Catalan_Numbers:threads=4elapsed=13.119cpu=45.016gc=1.6647zXZִF! L]ŗXiɟH)0%oo#^9 ?|@wok͊n5ZRۜ2ބНAb7Nڅ~`+a H` %p'V"s7ZN)sk\0#vu,D]n޷ [[$z41UwkMߥx-R< 9dBQ`B_T`5llp~"^A~ނ %xTkp'\f*m/nBLI+ޒ)G5u~ #Љu0>!p)cs狇HӇu!ba8Q-h5~1suʍE6]QwS7lEo) '%+K02= NJ{{0ptV@8ΑVxƦgZ!ɩ H黣7$ݝмlcݲr:7_٫>5v׮0]'We4ۦV2wiyZV._3.] 34_:|jtEBY,+yd9f"qp ˪cFEKOtLZʍ/m"6ؿ"I|O긞('X5,-@2>:XzX޹*ߣʰq fd-ϗ$pYG>u8آq֜B\7s>'S/Eum֘5U1wG|fQ4q/ Kh`OC|3 Fky`eЬF#)w^N djV.,gLK *ʅ%l[ 럌Hfآ~朱2g-s? n!2(_| i,P]ʫW)miŎ3QȾ?y[>bgj5M:VBh5`^|*ϱ_9jK{]s.,Ъy:ʎ]`lpꩆy4rg?8|#t4 ?pjQ _=h]aF^M9kqT zurI9(SY|AۄI\z^2zjɧs?|HCo &¼OʡT~,dof6 jVBmQ˜iG<$ΆO & qbIM %!MC=+!&OԠLW߳Sq>o); ֵ)-r HZ(t>?xgR%PqT%dp>HZP߶>i*`Ltw+<Q!yfrO֭ۆTqJi a6اURIzy}j,ȪAZ *D 5}kMROr1sCEt"k.I^G*:F§hwȪp;[>k{X %:HcT>la[ b>.OwJ3BV*:@  LI5?U,;zI|`h$:%QZBqY0Idեܘ7WHg&C ~tGoi6C+Flt7yђ<^&NML RC['pF-&XS_ȏK$]tВX@@ƃ e(5g"=n]2,ւ,вa6p*)-4D!FFw* sDOFZUT,/.tSb#^KֻH=oIe=Yd])Oh";uz({~Cs[ϏSv Ek#1m!ۊ(u[ZdA%V"È@[Dp< #Y,2qqԱK# :H Y[r- ;:GQT9bX3Fy}m.{.chciZ34ٺŞBFd#]"k䗡y~S=RQHVM|>N3Cݶ4|+N)E`AKc@FHW! *=ت&?5=h =;.#LƿF'dZg!{0 R$s>Y^R)Aj" + Catalan_Numbers  MW8ydmtۊJp  waq1¹P * Ki ľ<ڤi=7i8x偀y-U][_U? F╲pB( ,G߇а[^w|( :?R13!7=ؘɚdptfbȺ04㍲(>.h 2m:0 q-6ڐYeܣ~brvi*BhˈaqѥyeQٍ?Tt9U<P+M9cڏ)1^ ;g.Kt}"R˂"GрwupIZxb45n֎l 9v0@;bRf "PSpkts /{_ɃVXM8ϻkab# =u۔x`k%Ȱ!e¾lCpvgDd371 `MAqgz&сяhO^ӕ~XՔ~]|e(Zn->/CVIz؋xKr'1ot\. L7DVoz:(|q t~)ca`>1+Ě4D˟E伆 ;!%Ya[-lλQ%^{?p\΂9PAx?H2j0LOE`.Y:f pT)Ҏ<]&meϢ(w šF9!}FӑG +Nt- y &ѩ \phF@RFaskտ-/@YsmC;e ArG*->ň-a{OPP6EmH)*pga5mM[6=Zl&Ӿ .hd&J$u(vDnkR{T"Z69G , АVo"QHfz G} ̠mrQ{ZMp1R;m>y=ܰN-1\Jـ:.KeꃦHp(X:D.Ms]Np%%{kϣJKcVMݕ\Rsf K;` ó <2Lbr 1.20I,$S1aˠ3(JOCTaȐe7PCK$$ ke&XEbWjC;m0|gsp ɊyIFz=?ҭ*)cr0+Yiʊ@FPE`M:rfb,*HCg>{[Hjד̸^/ `pf:a|C&/r>2!t ^_2'Jq|v+\~u-G!<K7@i9 Z/K70)TmM c]S}ǥ&w,MyOJ_1Sj3X;Nk DKœ˛6J6mJ^fQ:2Af}U )p.} AqdwF@$&Z Dڄߜ8ڂmJ]?6>Ů" l5`YwM]/ Xpɋp :s 6q%Tm#M]sg=^m})d|Wibîiת!^aQg: 1kVnQBQ42i~HD5iGGyuEp*v0M5}2 v&Yظ$gkBVj.C)K,;|wyT!D~(.\_ZٚnY]V*~{40|JHVޖxo=1tPª$<Ǯ,C$W}&|$.އ0Ѫ-0LQ.D}dT6&_oWM(m11hS ֶq xy>8 1g߲;*=CXZr׶Խ]I<^W\931Ɣ  m "L$Pee`eR<[_d,4Ƥ \췲` 4ȭ'Q _ h|vLp6VXwGz$&.`;u&Fy AqK@,% kT=ďl>s*[40?u)m?Ɛ$kRf(QiLUԀ˴J9j~Ek@{ Z@߬Hbrf 2eذ0[i@wؖ1!-RO6[=z5G7|H͌0>dvKG O"EHl O\o+?(,ٰYHU%bW{{KldW> vb'GxMe:[|g+bo W)p'o ɯ.mw-ީ#9"b~s){2o%=&D>޴2?HPZ::#<*5O=?!>C~#Ѽԏwv'P-u]tD 'Xe*ZU1Wd7:6Ǵ_䷱dS aup&qc= ,Ol.@)*}5GP."s+uh"[,%)p. Bpd;$\EKŸ]*Ml64P#ʜK}sK1rYtGT- RҊV ?$d"AAC"sgU拹 <ҙw2SpŤ2D<N mW^/6S^Q{GFJk ̠?t?*Xd:(+a-F5xMd 8`&j3TU@!$"Sw#i{JMN BV|e픚e e^o~֩iP_sS'j~M۱&XG`!W1 >ߙa-9Tnȳ8u+i'wxڜ5a8d-[Pvm@)08^FqߝAkH,t=FnUvG[_MZ* l* ez|*\9JcK.G9B? 7R4͟6N3;+5N .C%z1i8ͦݘc[D59c_ N{SvB3pASe0BAbm!i;=b>KD׿_`PhRv㱯WMD9[mG'f^R5Z a(^L'6~'Knj Tx+A#/^p6EwW*R|^d fhkDB9B+۞Ael6[ 损 Kk̚#qq'k'T؂XΪ׺MbMuf ɐ,PI⪥_ܖtmmvkzn9.j$H#K}4C$O saFyB\Z)Ո` 8jolLcmGJZG+a "f?=r*fVݱ.؈n.n*(Sr;@5 ^`oX TC*b8K[g|3z҅IMh֕s<J09DR , 9!٠g\5f4,}Ƽ x4}nC1Qs},f'J[% ۣw?ɑI_ YcX])G!5*Hp 4i|7b0PU# V\di:Yqƿz  /_:;)`A\E2@P-[T/>߽-]ǦE~_(ĕ_:V-W'Vݒ \׍lMʑ6AK8fgOYƔ83'ߏvC-=cmN 20ʖyTf)Y@e16ws*% 4ʵJr vHju 0uk>}xՃ.L($Uz4N$B[ Kk],]cViU{,į}̵kpL1ɹw?o*eS`ែJiB:;cC,8}!z%ìsj''Umh@aiA̷Mn tT^ Sl5?\>l9;om rE,m65+ NV/|4HEתZ_Ξ@ZV{\[TqZhĜ;vI&JȔo엊Tժo}N E('I% *e+ =w14 NWdBM v=T\ uExy,B)*-hOjK/ e'>]1萠*xlsmD+\L1fVD8˦ 77N)Mf\b27D=SpAa1MAe?GOty(7 mQˆ8R~bv^5hϓm#E3Dn]mP%gR؍j߰†ڸILcƓל-x'! 7~k=J~:xqf!PHB;LviĠڀ%5=TNzawƷ= 8 3E#*L& N0쭒 das vώ&՝?nި4X7mavt&ݵ?hI@1w) U &"jP  }=;Y<&/UۡҐ#+闊x"Rb#qܛ1}PwnF'm;.;87\ -'v;|5ivw޵0˙3e3}ڏ?늗|8MX3e#ˮiSi7\ ȍu=yG./YN,Iv4u ;u&p;IjuhJz(veiZh(lGz>a“شR8:GN65#p![+dm2րR`K3iJ),!vC ;Q92xAU=2\h|+m6nz;Md8ˏиΔMMV V &C]~.7:IbU*J Eb.(Ki}ϘRFߌPOD"P d-#>חyd$_y frt䧓:=jnjIsˆCk< ܃}' RݎVI~>e+)à41_M)\~hnm>pY?MbZL_,IMlsxlpب0?Bs_LE&|A8BfpCBJc=D5T+ N3+HЁGP1^?&#Z((ª|2뚌2gAŪZT{Uy2U'\[[hLAןRWqN̠Hqw{]W=v e wQdXPIʬ_N}K'sAONCFRГh4X1RP @ ^2jC!T^ j!1|$Y>-(I|euhSP<0 !+L˃,$A̳ym8,Wg,ƎDdYkҐvsyf,LΆ`ܵ-iJڢLʻ/7RnEQ >5 G=f&߻g; N+߀Sa^gͭ5˲!XfˆL\I*VRj=t 9LL'\ܗ޼`{2ȟmN V.HMN.ZǡQkYh3l2)O K7W͞f"OKz?T~gxݸ}O!2P%6XOQ?~c|xB}]n[SF{lZ2p}`w]}|x)ٛ(HqA~,w+.DTԇיE5柸kLz*oD$N)1tt{{Yl`W|S?~j]t%zU~ 6F*9Ɉb.'SY7:WH-B6ݨnAC:Sg$2^ϒ6I =q0|=kC'Bi2[>a%)'8J<MQN+O +ܮ Z1"C`vib =""uan^|<UU]\z4@m S\p)NG<˓?u"<'CVK^&m9wlAV W aOqXH=3qWJU0nhn#!b}f51cOs%zW (k_/k{'Žm ?fOSS q:Il 0+_ ]Muw9F{cerwďrF_/,1i:(oP:CID볲=,2;+XZ0п[<-<#SBaz{ /%+9#~vC8-˗Vc=#5/!-M_3<'nhةѺ&++σZgSr )N܅3"cݨUL'f簕 L>omtJN:T`8~p~g},PZƒA)@VNCwtKV!x׊@k2qw-)K fH}~/I FwB5Il g??Q&Uä /E^H]_QqKg8,cQ_d;*nN\hS{#%I(tlrH \''E #7]:c+8L)-0 BJ33*6U9%yN6dC$RydDJ!NDBu7&~Y膏N[(fco<HE4p".X@~zZXb=̌ I9."PK [binS x\M"/|/eHtaRnvEcT9|ԇoIlNX}*Q?TI%lUth n#$xbZ; 0#AOO'q43<2oF M(c_j1EIc ”c["3cKe9gh{ bTo-no5Jna *J(OjpgF;U0Z7Pdv l 12wr\=C@`="OdRW3"@=Rg7ejsmH|5#@ʠE:HmBOkb\O94i > k#CU+ժߍZD YnÆyqўON;#oiǧr;6C'Р¹N;=4 b;j][Jj#>ݝĊSJ?4׳Q]n~n4sƒ2 V Q- v솘vL@#Yfy- 6a>< p}Ǿ+$bYoxML=q !+Uӕk@oYt&{GԵ7h\*Q3=Ilf連vU@ֲ%jIq҃ZѼDR=T(ko+15F(y‹='EX)D-ds%#AԈ ťȠzo8G3,T`+ mrTfGM oQ 0#tt{LU-Ѱ&dS|?@Ր& Udd{8Ȃڜ)@x>ʥ욡ZbI|UkL+? (v,3˞di]Xzl?mS680&R?PW P./)4\jUthaYL~r:;dPՏs*"(ٓrPB G}$Vrʬ|Z}^d)wm68[-QzP]4T1Y×2Zqq8p"t@w?;BF =}sH+6nDAG$h"ȵ; .Ҍmd(`+("Y xeLioK5Cˤ+c+b\ZL^ Y^|o]-N~U+iT~h0zZtjW H Y Uˠ֢JQmRGR LW.eYluH"ml\sD=QeGi/<:;ݝZyT r{ +P;L2 Olӳ'_CM~;]JWL ]PHVٛfykhJ9W? {|~cK\ 3#oRjI^%}RN'E%D鷵9vcxHITZ^"qF:%0<9fk\0!$0-C-}m)AnBM<'C^]E>c hjGZ4{ׁH U]Gg${]^ΐ҇{\w]1VYٝM/H`'b$g{fȣzBo5,N,%$ti^[QFX5 t4u?h 4{!gć==T$ٵ PRљ (<5VEVTӇ~{)n@jF"Ѓ7G![ t:tp?l mN`#jEV"{:ԥ698/('ŋTYm2Sɶ, D)T)8ɯRzM?B^R({T|~424mӐEwN5ҍ./`g%%@E oKz<4BOe!*)te<iW1.9õ)?+Akpدwm&\in$Ђa/Uy7n} Τ?rs~ul'%[?gF|%E7d"j7|u*ydI`䓇ؕ>v &)0^vGۼ,D.Dׁ{gwF[U$?fMwΖEp#_Y\ҏZ#l.WW,/B݆] kx@Ǡ粪;!R`ks%TIL40OGd_h CKxX$9rFO 3. ޔc @h!m,S>ؤQ[Gh,_&@rNx޷u7~B\- 22E^NqM]F9_0[c@Ef2rt4́lKm\1ڤN)qZoi៴~^ol>O27"?'G,m꺌N#jk6~h g cos7`da$UԪFV`|b`Dx[Kc3ܩ@z5xc|Wj{1ȥffpڝaQ3im Z>'Hd u9ZʝnUqjXq\` f}+&ӏ{YuKVP5pt+ݗe`U*гllu?`]!Pq9bpC6Q6ΒB#i1Hh:&oBuKr` ~B#C!ES"X'OQiBDj@ڥ(2A?} TT|E.LAYz.EqKAy+dhPLd avl=`V: ]Fn (p+\A--_aֻG:^<÷i\| z TPsZoFfp3~W//cU(⍱:[p``JKO?p3]a=m^Ugt |Cģ>/ꈍpVybT FlOyKoؚWG8]Y8AvE?93҈_LΈ;=;@!l5'~I4t]SvOJ>7Y77h1(z?\'ٖã>¦jzJ/P6( nݖK3#N֡fG RXF$gU*mQၚ)'FGzkiI(V)䙍f[(jSuDbT2Hd(tN:gf=$#Wb(F&́&BG" "l, ý^37(PH$L*LJv#a$QL~fVR: ]+pK,+7 W O$%Ů58)"%e=Z%|l3Yv? 9!NExxt%hz||f5wL+̋p6,5]TC 9Wq!O{+~^ۯx,`~{yՍj7e/P`_guj'6If/Lbd9*B11%uXjcRD7 >Z; px$Lf+C[0F+*wq-n~bS.%z!$Ж?뤳^gɁX[!6Sߟ/ *d \EШ#=@dv?!RgxrINd珹Z]=ìl"eUO~%`B4 Ҡ=fFvII  <;^te"Dh 39BEUqi:|\V]deׂ|ld;u">@lְmC-#WXgn]:2鶝U=B\gԬH,}J[W#S7ܓmLZsaZ,wVGT_sMYԛ?ևޗgzα:B 3|Ca̡]@Y8]hX^8_C}/ #PCҜ6hj! ᘦ7|SyIn%V6Lח@ײZ(TMY|4,]!JVbh9OU?>]mͅ&x,k@@b҃d=s)*5+_:y_E 9!a[`$4y4mIːfz(aG%ue}R6xmo*.lnkW4f7;B<7XCO Z%Չ&& BV>JBٸ4"2Yx`d>ٯg)jG3E8n8&nHIxC1 ?Ƈ̸3`:v o<7sf-I#'+?Iవ5W$ 7WHzq-7tTqc6~]){kxEWtDJ>,X6=PfNb 1A eij) }z|$,Ŷm_6.?x"qg@vfˋdV;jRFocu-YiW6\ 0fs\%'Abp,B+r΃+IZv;пBy EG:,+׎]Α7ZEGym])[ Gݟp'+<]G~ŌhoE[f_W=x$VDSHDKA|V\$(xН ܢPz _#TαJ$C,Wxn1·9?z *S*5gTd"1'3xdOs:=鈎k/ׯT^xDP>Z=,s@W#oψR[ q՘8a8' (Z&>7 =>D_RȪԝA\ k+=g#ż|*dYB] /tdh+O!(._r<`k nk@sܧA|~S,@w< Pi]FwTq9UZQn_@uk6Ki8 hY“"w\ZD!u/ ;ko3~U īݱKգWvW?˙ޗ_,rB;Uxh!ugݰBw $ d)Ze$ŴBcJc:&ML^(F蚩d7K5uD-L A~d-)BNK6jVW> J2;xRn;+cj@\`UIp=m7aqu ;pg`tP emq'sT2o[t]] M'y>UGjz(R^5+Z Oװki9S;bu\p9`^<Ɖ>&V82tM KB6 $ rFzcГWp*np5)7"PP Õqt@H7աb7_qML/n IIhYi~w*L#g<2}@V9.&yw<qx`9?n*uYs$3U+zvc.`W+)i&_[W"Z'I ʞ3Dd A>b@ɸs?Lqkh79QB RpSXX ~U؆ZPz&F}~-8/+̨7SXH0T ͛F]ɜ'tt E5Z1Q1ԤKC kĔз&;z磂{rH`_6k֚6tҺ&ҥ>31@h-BSփWwwLlx^t3}~nWV8|WBӣ PmgpXo (I ek~nئCc;;`03c Y@u_IR>Χ1A7E3SsFl  a˽&T 5 W o_ ᅬB,V d4YAWz p$Gb.FI^m6u~$n4m=!DT71t.SClKeX^qBhGAppҗGtS 0os ;G[h6ܥmͮ{ q16zhfP%f*z{ٯΪc/j@$wݪr$G@ xȗg# w}I7,ϔ- i= rUW1|,jQʞ~fez. z.lR+|ל=0z}!mBr %#):l?-p/G[4 yH7OEw4EóTl;4a:m 䫃,U8-:" |E ogqKٞr%*yAKA3;0V'Dq>S/ XcBcyl/2o%Ɍ ڠ!3TvAɚDR)YCrfei1B>JNlR?yvfjxNmE"kJؠ|BM~QW,7'i޴CZUҊVF}[;lݽ)~fEXX a]7_I}z|5ʯ>* CNJV㼭_,pE0aƱJI>窠iko ə Z\ӑ>Ӫf6j*A(,4-#+3f}FuqwmP7H ,~_$Cd~$?:, |u!șI]]65_ g\ 'VBɡEiM`0N$N$V{c']vHISF|sÀ lxLOCzm!_$7zZO%MItcE,z(۸2c{ dK21H>% ?A)92E$@rW!0!;?b{ҧ\6화R\<}2*?x,]ow8 H*];hei/-Xm Pn1mlfwo0躽(9]'87NMoLU+*r93F^O^7gP|l`ʯDUpܩ) _MQK08l E0abƗujkv}@>7&L r@ҭœL.>4*k:?kXݜK]T!! ea6K9΅nMCBr-[v4\!]ЗW̾%< D 3kmiaL8#cTiY^($9m04#gVM/|]* ґ՗ Xi}.'չ ߣZc#^|dqֱvL">'}uͳ(U8SjVVE T=*e>:SU2ϣbP˙[ *{pzO`{GZ njƙ!ɃJ_f $h6أd"A~2?D C{j1%|.IsY7Uf5@c0w Aý`1M.djK8[o2o2ҴF=V̼/MZ mC}iBCZE9wfk^)Ae:4h[<"I|s;=(f7X/{Hlr9zq>%U[aT`(ƗRojߌ' Ix;`nY>u]}ҝ\4786~ȝ j=}:8v>څwƈA w]J3U0ֵ+0l߿_7P6BMde5%lS|;)_H_a#zgEY+,9f|z$1ͮ'caf3z]*CVM&.3u̘ M>yXa9 B8>|;ƍp$U_e㸾hi.|Twpt1X5fE9@&I嚘&T{Z`_Z:ladG¦>6u8 FdjǙٵ8>qHop )~['6> So540- ~Kf#0Cf$')ʥVj $uam{|A/  YVσzByAisk&_!>It6 pg*_DNٝN]2@ʕ9!".2浫 )`8 up/1, .1IS PYsAi? Ŭ"Hz:Lty;b7B%b [F%ĜSFf hF3_yGϝN'&<4L,kB*2iS 7cu1ˑ*^nKn;MwvۃzcE.Jx9ie$s@6=5F\ Ӿ֯yC% (R,pI)+!.V,/:pؼ RbwDOs*#njynGAQp +4Ar jl ޢ2畷r5+TB(ğŽ,u"r^C A T/e')|FI[ Ϡ~s?P=j"HqR-"+E^7&Pw8f2Û2%l1'"*en].s+:=*r~1(>D@GiYki[̀˹ބk$#z5KbwL {Dls\E !{hڕ&].tcMcbt*NjD`D*w{/|1-# S^E:m7ih+"XD<mVv*'Vb8s;%PNMD,S|FcBĪU\A;%cx gn XRbZRH!EWIT 7E?Y6/6_𪓡ϔ ;N~4Е%},jΤ^z;E:%wEfXv|W3to鹬ADKlf:_@gPYҖFFzT*$0gZno(LeFF>wa-0 (³CO 7ʰu$ Vy)Gm[Njw1GQɆ+(. 0 cGhvX# \,jhy m1Vis Aynꂖf8u,n/F-HG=4Zޖ0<ɭC@TsޓweM44G|S;ϫ;{HͻԌRgIH.wҵ1F2~(-2 4K* T0lR/R28Y5 JI7V}ץ7:Ϳĺ;z/I=Q(Tx \B: V)_Ly!Ձ񨮖@v#A1^v!os{D F@i! O1VV9L$cAۃP'' .Cpckë_b㥲KV"DdNΥwG_酇{dXf"59W;\_rGǡٍŷ_CV2d7_VkL|c ؁P Mu :z&j3Qn˓hh P:(MzvnTsS>EPzk¤둦%qyOZvTsuLM*s1\2(瞻` r/;d/`4U^5sQ,8DՆ-OeJ%Jgcnh*&ħԮxWEI!ݲXS"b[Q[DQC\|O)1zro@ 9*}X~tqY#@H: F#f-]k_Jlw$MR'ݿW^6lf$htM-Tp~N'Ef 5-pNk.ѰJ^u E&¯^}*<'[(R_*= TM:9`{m3H^x'[Ĉv]G©qbW*UDJV#ej_ :TM)vb"ߩ\P<6I)w3ȱ8!?:  Qo`mPIj Ws"ۇpJB͚RzKx^plW M}\a!4GҤ]Zjlicέ J}z8*S:1,hQ)7C g+ ȅWMiʽ+)SBH9@"x}  ه?64QkHqa]1v:fKMx)*38ڄ&iQ6>`GB1C!ܚx|Bڅ7p^*)@xjzazSrqiJhy%AXZw_<0n.X9#׿ }ly~^SLfKEM]AC@!7(<׭ck]:Wy;3C7:ϙq0߱'a>^-+0a:zR.*?~;|ܸD#K=h.Mo "v{l `.x13vvw+G2a6f1{8 hU,X^AO1Otх2&ixnYX /->p34U \4Xf_ʩoq;BqTo;x;n+,@:VnITxt`kTYꃲ;qbBܜ;EEIfi~-:S8Y@`K(lU:UzHp_+,y_8ZiϛSඝ;n9=5vK6܎&7_v~g\+M/IiSFBuOCц_jb75v;+`;uJi|8;kwF'e,Z 4~*k7v>yړ (438X"=įrW ~΃HZK T\n6#'W_%el:Hӛ֛ػDecDt!n){.VVD<1#6Tډ"<#`jlIC8[}TbTJM(`+\N,Q-ZН0eWӿZ2_B+T Le .b5-B x6`(dKEA|#$F_],Ga .UC3= F+PLoJ:C m}eҪ峉;'VICjDmDܿM%NÄeg M5Y.Tw\kƶioEeE[LZ j^ih -W-t~ԫsH9pޱ/^vA&`m x&,NҢ߅8<*o4,s#-v[&SY_pzʑbRy g6u!90waIP#FRCH$~_Qy6 :?Emuo\wSg;mRa;7X{%|>rG!2K RuJ Z9{Vt`_7Tjr+[s 2rumP0EwS3%JuZ:::ᖤ탔Ղ|Ԅ<,X;:)YR7a^̓"NtNcʄ(Jm|5g2%tC`xi6qc+ƶYy5}X4z xbYCޕ\Vhմ{\TzL!pq^' HQ86c9s){JZfeFYlmJYӳ5i[Ԭ3l"8>:f`uT>eUP_n%Q΀3BbWiT(K0m"LÖu]o A2'E'Y3 Hox>|{sH!Y'[ /b|1*;"*:{9aT3OU)ڼ<6FZl0_Y`#nR2SWL-M߂Vֻv>R>Cn2Zr" Q!! ;ol;IvN,H41+֍a6&r*t`J'ҭ@ؙas !HU4, #OzbHNt$gopG$<,vtBj`"["$全St閆gHp҆?rI#׉"'Pk7/`97+CM=BOvxx3y-D: sS+!RzƵ'lF_^늷1@\Z|(ߒ!9vu?9F*Hjc5 vcc@,4&X +۽Hq^vD-.NPVFx!jiD AmƓlR5}exy%~L (ŋ 1Dsp=qkR,u"wD+m 9+ ZIGLq9ivȀ[X.s6B}sZX4j Mc@@qs >=̽`AkW_{ۤR?Ί-sQ5aazL@=88_ S|&΍uH/Jn_ ¨J@=mRt8 ɻϮ"j !ֹ}+GtPW=^݇.dtz4__E m4undg\00Gg#_'~@(rt=_߬BUݷY^rD ɮd8$Q@D'~e!G<ٲPbΈujj^GjM 7hYH%uTB9 Vm\%:^@Y#+LPQӨUAJ ^*쎞Lv1> ,%lz5WX2+}o"c?W0o9zʹCfDoBW|pMS`d9 BvUq=!qֹ43Ui5a#-iI`P֤çqS51KqF]Fc_ E/1}"xk'5ty~ u|}8К 4HTu2Q&Ǒ#MiCd"Cbx[Ff`Np 2m?J滅ƵbQ'K;sQ'~ݓ 6hbP c83cRsdn.w#]1i{ozեX{m vܝ2u*T2Ek.ͬ,G?g "|/YPP>H>euϔc22,H3S-kN";"IxegkSκܣ/|AuxƝ{J"S^&Ml~PN dzp^EBE:+ ש%n7 o6+H[t6pA_/kAƉpB#B`"?8b|>-zIUDHT߼ 8Aa"mmMHݑREqN&~fi2RT])Q ۑv<|x}1ʇ2`MicrBknjK{ HdkZk7tO+1fwXD%:@r#6 .VSrI> R7ւ xVz .:EE:V,Q#-E|''D^ň-e=8{ތB}p7}Mq˘d3.#CX=LƼ'|!llx19ּN> i6?M0nv!42[˘7Ӊ,ڏ%MU'H9I]o6u`ةζbݾf/լG(,.}SݲdWAiUmֿuaMpraKU.{N_-0pcgU]v.@O*}W76'^.gh0hT$~MϚK;T X}a﷧xc[;O{r!ܕ_z*^%XC=컩 ӹĆ=Z濅rv@՞l is_欯B=|Aƭ$đ'B*Ϳpr$4m[O83sH#;v 5ہE w;o ?Ek Qaig~Ń0xK# \M[j⺎nuϺ|0Ӻj QQd>lF%S2:~$'w-(|,Zx&%TM-n?q;Y Y"T;U+M;X,D5ṸL'}2Ћmy4?|ޘȿ|nNcxWm?97 fr|9R ,dT1WQ7XD, AܓDt[:و>u,oGu\^r9*ڕT?=~rȈx: S3H-P`n5ߢCOmtlPmo+O3U&.OtD~?숄0!j?T9ֈMZl 6w7Fj .+2GJ=cٽ#I}_㢟L|H|~%L~w{) 1N؎;?Lk0]#ybZW daYI8B1E6Z9iV.7!:xnO$X&ДIIGT2upi‰T%=aϤ0Ȑ͂0|5uh"w8&:ф ^gbg*&:6v .Tں0cMsh>5ޮsd x@}k@Z#j* QwqגFc'-ĎT@jE &+SR]Bڧ|U+^ٻӚީ,+oǷ+n΄, LAǼNGp<@h />a3:"yXg ;G@x̩!wEѪX>|A4̌d82􂁞@2&Wtg"f8TX%_b֧sQ|0! RDnX:=Z>(C]z0Mq10#W1e*u@n SѴfC)bfxG۟EӀy\5٦\ sD8x[7}^+5.ϨV:Y!IO!Gx<,DBPеG)DsbrɁiqhiztKJC`=غkAyEZ)U׌L(!p*Ku2Dk 7}p]^^X9p ?IաmWz[ `SF,®dW~ W_sDhrDkۮ ucQCI ((:_6zj/6"8WQ %L)3wo-DgPgՐ B˗hxGu_GJVȏ]:UMiulȥ9nĩCDKR\1o. emgCvXw (z\2$m{5- dg`d(WnєvG@8dX#2*kGY M_Tj2͋\qROhj`4TS{OM-]qHľ󸢪ӁIyCU^g+?=Xl+D <*ʕG-!g)0ibm{}r327Q.vDrHK&gs D30S*7Ov-TQT?T@ܧ !vXЪ&\.%(&$)yႃbM5–7:ޥwkt}fOQVkDv'6 mg@|׃cJUՊ_<<[},2JHώk13tzs5=ŽέƋt_@MaRvp`逯.hh-5[3\4 U9w}2v0aucV>7.dvRRz[7?^TۺImT"ŹwBcJ.' dw}$KHStAf_iѾ٭h'"Ƒx b>uىWHa bf3t%xI+aŁfm888 l*_*gEF%mct}H#_M. kt31hOry$A VnGxUmLG;ur9TNaJ {B7_yKS}۰:\NV2fȻm3M:Yri71:l##O-DP6 / 0$EI,밺90'g3vj,#elMxU{P=&Z\HDs71(2q~;st6&%:mlx*+G-Ԟ6VT&X7~zά"%(o;8e6f.t *TFi@|!8/H{Ou ϶Z c8ݲb! QNWؠu@%}j* (ښJ >Qj<T%ȿ`a2 .lJ3>si1W'7ck3”vV`ZQ/' xZV9<.2:CKq2Lٓvඎ1m9h-<**R @MZuK`#H1p:)_+PSCIaݕiʣް;fhZ.mvO)" gW D7ক+޽>~D3|?6m{FQDa[([d:l( ΍(6X[t6KzG.K% 1oFn9:ƼT4m;䀭B[Ifᖁ'ӨRطp%dȓ5s>o$.daHKgV~l#?!5>N2 oPۧ'{jY;jKi,ЌXcma!#,:hx?%/PbImX%HLg'rK?)V`)-[CWP#?BLɸr慃qOd+diJ겗pC[7 هU85Yդͮ`-ѓ+Xp:m@6.(>m D! xΤVQmx` BVҙк2KJ-#ᨬf*b?Jpu3z+fNm TuM%,u1(4ؖ0pO0@H{&ImcM7vKVa4INbƞr9iO"dN IPkdLhʵBÍHɜ==RԴZNf@!wr?eZY~#9nwK%_IsDr0]QWFcUVCEl]ODrBV\Tp)޷k1Ι:ڄ\Jh.-l~l8Q8\B ]b[H%!sbJ ֭Cs[ yُv?梒dAgA OvG)C`REWc;s ">C~Z}ߤn]BDR1sI[GJ2@:Ŷ L x(Ls5-E,o*K013PSת|%T ugZYTd}ini%ă oLPrfğpF\DGбW@UK "]\bxSl4N_\*[IGٲu!,c-|ŤRܦ? H`M  }WԯvfeRstG?busR+C  0ؽ\Qn$ J\y<{'QWYOprS67Q"iX憝)RptKB:ɥ ҙ,1Qt5 t0.A:)a>я: h Wg|P1Äj2>@1| b<4Xݻk84nH@p.Ty?V0KMF,eUP]U)w'Q$]6K {O)$9Oz35 "rr~բANDxY@,t́My§ :G0s|d55OR|,7YN?`6@DGʌڗ}5v)zN{[ecb5y>l_8.T1 m&7i:CYZ)˚2"+C`4laxR}alJlkBΣ' 0ܫZ3r; AwMʡ0[錊 lroM2>znv3/"/u)g ]\K$K( SZj'99Izؑq}cEy\x52B%(ۮA$B ny|tq(O _fʊR-,~&Ϳ|u&C4m&0Kh0Iс$ER,fKSha øF nHw1_#jnOϤ4iR-!7Nt/ʴj|iBzϲqy.m3EK<]t.|~tx%+Om'k`8Q!v]X>YG#A+tbzcV,*Ti]X ~Z+hClB# "T8IJ7Elos3 fd$ALU $\taV)>~2Wt&Z/adF>Fҕ 0sf_z,`-qt?+IrT R@ ]~PgEAGbF8АZ^,( :: V^$ N ;3WĵLK(׃{q0 [V7->.(đKmr]}zɮIAFUY oo:0M]6yǟX"rٸSN@>t)uH > ~ua{/Rw nץt KZG8("X4-+G{hF+L\vu c, VrP՝)6I^{0M 0^]2\.9376o `ydiAbC!hQ;I(O ED f;TEʃط:$Vw‡ς`nw` 6 rYi kuh ])G_Drwn3@'{̃XCWwT+˽T6etMZX #4csEysގl!0. l`{esqZY'$Frš!qkǗ}oǬS|/ Ǟ_@EէuʭηAT>GvXxvhYU,c=䨝-llMFn+*܀vջ$Q(ˡyXE W S;]sʬ$5VYBlR8H}B&i7?Hjc~D;I3eA+Ӟ C&/u Qh0f|`*eF-f8ǻ$]{Y'tdPnW=-PI-0 ̂mq,.@Pl.ɓmS.QcFU "DcB5X2TO!jݺas_|*' A[fњMu;o +a(FV4(R~=;x׽XDc%%f@d- ǺN:V]W4K#3[ZTSϽL*Y Q4F 3x; r#"tT]6ʏsYtk8V}H}P랖$鶊u3>Z-pՊA!%(iD07QutX4To5\A9(Ih(Sڌz-R qHwY(hquy59.4Q>;LR$,U $^'øۮ7Oxb\'+R !WsF.Q)Z4XӡMDي^ Zyu&Fd$9: L||긼^{@TjV^Ik l<%WhV/Eu?ȺLZ4yv&SM:j-:Rd5~XԜ0YA&s*/vANA tCX7}N|G%p%vR=mqR8=5Zݫ.~N9@\1hPf܀ۖRr{;~2DK|EX7Ag}пx$%FK*=s8\0*`{R['v{PkJH9VH}??uJbSm#R:N |kڎAK+֨ "uޠd1E^AMRFM& !:s00 ^a\BFy1L*N0b^asH `C֡*H/Ъ |UGܡͪ(ѫCsx @Dqڢ~痰N,hlrfAU57F0Ķؘ4AOՋO74_ѽ6A>v~ =bEM i[Dt&Neмr=ZCsmJ[]@U\rOEZWnf\"+0K8 {V1fG:1q8&@^N9'= @[&Om-$N>WH<2f{8zUDd6y=r~'h 4sc p:!I]q36s#>Rw+Z#sMgYZ7zXZִF! ]ŗXiɟy>W&Jq*|.G@AMa^ Q?P%Fxq߅\弽E4щɖ m|} b9rF"RJ'\{ٰr]=(2gNf-QUq*T-6xƫsDQU[(?tIv>f3 `MxV`22u~Σ8V~sO rF=b3*-0av\9CgYZ7zXZִF! KA]ŗXi%L&H61nhg=*|ێhE/A$zO*APN] h8/-Vߠ'`qնXCKC&_zHk+cC_Ǐ{R } Da/#ӟ@13G1HT-O` /k7u"JDvpf+Xe@d +Uy~y/b&cW>$U3Ah5|ɹ뇁AZm+_z8twx? (#ѻߨ_ON|ֽQ܂֭.63DE?$Ps%OXUndفtR{gZΉ0 kqc; sǑRR~IlTN{wcCj$@]XgZz0i-W B]!Vx9hy`;$֌&Xbk&tyQN%qEe(_`{nr$ћY!ӽI [[$:GbKnܟ՘bpP S{I=-v+,Mt,|J_۾ 䰤AM# SIV^^c~̞]2j9teĞsOzrx֑Պ0kٰ̺y 2/g,t,޾n:̤vCQyg%~A,sbIοjy *,e|KǗTT!_q5H5`,)95[ ],FS̼_!F,%"5. QtfEszξ^ ߱sDvkh0unpO tt2JDsZ#rPwYe7VE3a/qVwݍm~Uk-GKRtJQBWU\gW aa+7TXI F4BDGU{bΫXXC,u F˰ ^! Η,0߱gYZ402c7ebfdfda5ab3ebb0536adcc88dfffa0350fb9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d