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 w+ L, ] Catalan_Numbers:threads=4elapsed=14.976cpu=47.728gc=1.976factor=3.197zXZִF! qť^]ŗXiɟDYK<;>Fb4e4!-Y. mYOWlϊa\@E6 Sm1F3Mx_lPMaVEzԮI 8~V IE]-^y-M pZiYˈ6=u;Po[>7BǬfX@ QGAcj]^9*~9zݩ)w ?Ckx7}<*|emMV*0\ x~c +#E:}.0![sR/ȥ/=&x{ s&#f6vi} Gt2 xwCt.ǂd8r:+l9J>i썇&Gaq8oB¼s/9ΓM>E hNZ/ *"aO_-8ƏGȊq&(@ ON &UpmK-&)s%yKW3\lLADb&2"-l%dۏovIzt/ʗ\A5ndRfL&1|]aDH26R ޲ju~MA[|u= ۖ3FSh` W|hZDewLRs m.YiuCZdGWώ̖?h {54 bIj"짳1KXt+ Πʗ8HFƙNL-9m/__B{."*s4f\ud?s-"n܆Zh>[Zs`z7yEq1A=+?BQ*ޅBMjvTk[3l6Rĩ ,A `4s"oVߟ,1^tRL󢮬JotZ\.7 *\ ۹^"}>t3_8xf{+T1>_ru_6i\1]Sn+UaOV}qXBNFy'Wj&ȍ( ՜͎mI<H$sZV\z&r_9y$^j,\1-cZbVBPΈ+3CNQ‹4QP-b@$n_%FJ*9tp ^Ij[܃`8p1I48g=2'hL` GTV`6 ^UX^CTCͬs`)G04 WC%=n]KuDW}#7p ҭAC}}~ye>I)Gm-*},&}V ;ZnnFs%BM{3UJ2U͂Uo8:`_%l~T_ Mĸ]AڠCO QKޚdٽk dcum( pkc(L`XGXoߜߌՄ rc֞ʚQ?TVѣA!;AcBđ>6&_hro.tx? EQoȂ8QےUL#,I_5qֻn6sp:40) TZ;G&C90{ _(O);:v.f}/^t 4]j0x^Ry_hL>,X\8GԳ&=uzoed*5u܍qpU< N[c1YRh2?Qw9w 8R pV6찄$zP?y_7';>jdN/&'Urf!XPOTHNЯxi-a;gf.kb@$v~ NZ lԶ$wk҂ɲcK-SLj؝$ŎЂrHzWGnO C0'Kd*@JlD:])RCy.><ܕ32UT"soh9!N@+\}~hPA;dvez>`ʜRY*0xqKrojQ_릫lmiͩʬ]|ŦӎWr$7l?g=ycC4 %4 sI7lre% Džl!L,jŸ>$tgT?H*B4Ū:;n?] +Dq"*jW礁L+4EWCp!ĒO7Uz ʞ&k-ZNMq8RIo]u^}p;z&8- S¦63 +?s(} jS@C|GΞ*W&n{BQ7.ALPϱ6&eV*b*n`K:nE(ŷ_ W0 "kKr"GX׆erFsT?n=)`awEFƫ5@rOHK rut#0eOyz'SL@H6 + Catalan_Numbers  rro8XhnޟA}پ;^^V#\!z4Õ򎓃8#i =6[.3 {ES(Y֏xaG2Gc0fd@3'wF(Gd~Z5C{/J`J1MI樓mIeT2 yq{h!sxbWѝ 5 e3.X[0vIi i- } e#Z:g?2Ȍe/Xgw?VХ1dOf+/Y+F*zȕ t_/. ϧ~YYIY=/{ ns}6 m- #b޶g:~o3Pd%d7awnaJ-g=4ll4%dWs> &%ݴfd.)9FcLI.ъyI£Ϡ?̒"ъ-nsAS|bYt=9!\o 7S|W{G'4Tvceo\`]h㺤~wZ`r!3 l#QC~qA.X^i?4.- 禭~|.TdYǓe lS'H8{o93$\OU;D;m"s_0Xn)v%j 6@T p[hxKl?HRKgeIh2w}Es6$>I>0A0U0&!h},;LhWR0:djQ *@9j*!ۆ;G0@Q7%oUfn.9$5тY')o)(RM\6M@9$~kIJ( E[\{7#d !;½}*9{M2bޮdأoHvS #_uD^o(V}nd/Fn3̦h9ĮQ+yt͛a_MCWiQ^)eJ%)V3ڳm::s=+WK^JyFs9o$C%əWUVq|xֹ:Kϝ+Af~OnkZ%ݜOr5K;?]o]ۗ#R՝VfVP5lQ6X:h g񶹧6uߓ-0gaFzU Dpm0bHk+̆$ħWrG7/`8e7U>Sn6En./bQS;J-/8qAfƜ%|qGhJI[!@=V`Z!O{M)K*;d!(?zL)̦f0 :`dcteЅS)jrҳW0Uʈ.$,,'hV<+sj>o/r'롰\nAbGAG^F6޵dOWȨ+ 6)Uq4yv [ϩYu, ^BU μ07Yz>;i:WHqcr4\پTNU":xB&uEτt?W6 xDpOIDOۓLBt{^gdYwU;ִ"mX~ނE[*rIB]Xgs }$/p4(rZ+rڄ<24+nWT0Ю$L쿙d!IG`5q Ylg}h1fh, %K`\FBo[؁Nuz[)|UjcU!7 ]B1:Ø ՜'HND[B[Aߍxb7K#ߺ;3}1Pp s[9xV=ͨPv1 m_mn>Ř|b#J:S|?_zH ٛ l29Xo]_%pEkVh[ÿV#ptjߪ&?A@f/,NoDt -+ 4nZt|R }T 4r`|uf57iPzTs)\'k.iTw]Ÿ.JH;]J};;u ՃؒTC̞"oN8m?%7# e%gŔ]o{H4+֒3vQ.~aM : FN}yw[GckKu^15 ~:|/ѭϳDLrӢy3Dqf,(i>bCPyF/i"3*hE:)((h9Z jʴZbtD 3'pd a+_Ur@n4yg1&Gu8'=Ѻ&ju yɅ* @964-xh[:ֈ!0({]L4]oRf$#V J+ mf"7هҘ#HY02a;<tū:|F҄;GClժ{#u˖j妜.UdOyѩ=S?A/"^WssJ݂-'|e]p q,PC;ޮ^ht1T|p,6G( Gb`QMk%tS)7Ѳem jlndglwHjuygcXWrf3e9X9Y_$tFUܽ־.Nځy۴n G9fE,!It-Yq 3tfMp]d8Hk_;4Yב>닩%1{ {hJmI!ޡԮKJuDMֽ6Rf6ټ+оUi&kO!%_IMmnGE%L.{.LPy o Q^zSi椇oFc?ZzNÒ*s*v&pIwJW] W0xS*E (RYZt\7SN8*[R4 !CCEņJQ<#{ bV _S,Ͱs"m֌ʰA {bbqPxLR/r/f= hdENTqR!>(\(?|8 y}HFht0ΈiAHw no`scvއ%fQn_AqV5 uBrh;][2Hr!nh5푂W^_&u^tMF´ͭ[oazu*pkZeEjQK N8Ҫq%"cMO2lޏ1%-* f'kFHqs/`"C@4z?pomLѓ LZ81Ia"@D!RDe IESHc ]]99. :l|<ë  Ti暏 *\7nY h]LgЭٿ;;ww<=Z"ek;uYǀB }]|(ٴpHsHu݀8Wnv*4 tCBpڢ휻gwrߊY4T(z㏃@su`dI\Mk~ShFR`BjugJܝѝCFS)򜶉#OuyśUiG` 6fcEyO}[<{Lѭ+"ϩ۞7|FJ.Gqh`ap Z0>?ҟC c%U;M}1qL(vݰ^fXMfҡɭF;B QB<\\s]x&3 :}.<Õxg9hd> 2~q8NhϊM*qc! A$%pT9E $0]XH=]!_ q qvnˆ$T!g?fj7D4g\qM\+o>fމj(f>y\yAv)ꉂ'ǤyȨ؀P *ZloU%5Ŋ?*["$S7M]!|n@ ޘf 1mLlcCZPAi^`zeO5^* -&Ӊ= ܣO|B eJAа R' 3m;exaϖeKw1ZW z)O};`xb rӟR(%֫,F=T.ˮd܃^mJG9\ ]/,.~Lcs VcϚNe4V\%2 }R]دϥ1=?^dV+Q(bעvF&I_ ƁzI[3$]4hmyZ,ШH,'$sʰ PZLtܖDMU5di\@lJA e,H*\gŤ{@ om [PhE!gmZo?Fl ?#EFS- $ L $|sqE`z@yH#uQdVF㚺{\CԈh5r 9N\,RUB +,lj-.>QN N'/`ЇpaD-K>I? Wmi=4[f 9WfZ?~S.پf$qdǚF.bG%%9h~7l\%J.d'xaD-uCvos+Py>0D|WqE!tKͩTೊq@@8̆ٓf?Q+!:<52_Qu3„OH#ݐ ŶGV[|O[(ᮽ}nwazfc};*j.pcQ选}$Z.v{=9S\f4Ò P; ;Rfۭ5ERA?@2ҍ5{%ԢAeNhUzx^eVFUT6?R`l_Y9©V5]C*CqҞC%%TR{.Ha).e=c7?^dPsc[*?1lILWt9@u%6˄V%ǏnW"ḠEhnT7 gܢ{ (gs5k;~4' -N[RJ2 c{@`_n5r0Z` ^)4{]}n3:UKIAUo[yItǛu0n3*Sv`QQ}t/Χ?7@߱#~nLڪ&(]yHH1"l%&H'JgM8L#{qBxj 4ݕA:C_ŸG?#|G.hQpsv e BdA6o8~oy jo6)?4Vj<;/W6㺜ku kJ͗_.ztowYTXhhxTz5 \vc`B)zq}6P?2(;c hOA'9W'^{WZJMr>o1N} n^9tl\{#’{}XE6k~vz' (-8a(i6eՆ*z[gwx6,%BM9ISf)t@NOWpKu"LDZ[ky޷4$t ]UQAB8){Y̓mg9<mEp8[<irm$[ "7VLSXME9PoʢeHMk2+WU/1)H-2[Cpip*t0æ3E7"HZq0I#ɣ$9g:gOntȣ7hv Ms_Z?{jÈ JRA.:PqP7(R❣TA&en)DˑSXrm«UWFG2}b A1,+R}f2;_lVXL7L \Qw~^6p,F! ȐfXbh~1‡-6I; ~D+eX# TC:XR XK³AJVLVΪ쫓3" nLs5Eg w*|`8vku!>?S0T.A"4/!ܐz/|>ޠ֖Y6gb^ \6iL-qoj~❧GI !FhϚ9S5Ht+?r SM^KYy=Dx=qZZrpxD:MxOsf/-nNAok*aFqQ췒mK y c< vi]ɀύk|->]ї"pqib#0ź{^M/*eC'$3?{I^ЗzذO=N|c5WA`CCÛQP΃].T_jYth :tx}C fXa;hteT4̉:[qZm'Y1%u Sano`474*VPx i?U,h.A޾ m׆m~]?(sQD0_M@8W"*w Ѣ+^_EygT 0{Ԉ.@u,2gbY>fh (!eSzTRŘCd)4uirC@DHjp-6dB{OU!aP.ѦLԝOcGk3ȻwˮLq%ip,B͌ҳG2<%FXLLƒz|mѦQee+]SUE+RK(Ȋp@=mhڥY)]$F'8s*3tnU4R`K"/loˇ8gbרjVW0H>6E=}صHzz|*_砷  ^ \#\# ["%dCndBx27ni%E9&(&[և%yؙޙ;{-m^o*akjS{!B/dM^LNttZb9e(|\Eԝ^cZb10W \麘IJg}@t$[$CB8'z(K 0W4Y4}`gTuZ+|wtvhou;EHתV9PlT2 JT^Sd} =o80ƪ+oYVDfJ$5Wݦ c@s0Sm)Kv'U5k  M\[Y+䜒#)/?[="Fl K!ES>;\ȷL9yNv~ӔiJV QӍ e}!Xp2&A7㧲y`'QR4~M_:̠TR6D.堀GO۠Qzxޚ0/Z'v<46%}G`D?5p}6h̾襸փO .NQǀZug`e٭詎P2ZVR%gL˫A I߳WEE+IR3bY|1e5oy,@ {>27 Ɏ)-3`_ FM2-O)ji)\U-&ŞX1n`^F'u<@:Ke$W͘K (B <)uP`% @ȴ%}ؼ={4e'Uq\ DQV^$ ׻&GYߋCMZrF?.UYzCa"҅W=euu~ JV#Afmpm4[fB?? cЄ ݧ5C;>~*#d\x뽅[+0yyn7‡_(WUԚ4_u_q~*m\q}w.iMgvJ4״>*c4#[ Wj//Wx=p̝`XEZNe$Q/{.#͔l}#5LBvۍ- ߨ0m$K5 3guaZT##+9x_+ ~GB$Z5Ji 8;֒Uqjkm}I:د˸srȅCyؼU=eBŢ2P=7hi$2s*,bX8a^:mPIHUoEh7Εz[\4tm{Ў 8 MAXz#/b}N Sہd) \ޘ=޲?xa\u$([D!L\RU]߰gȬ޽m߫V6uEĚ|?dͱ4'A#ӴnL Q6$A:pnkgh8?[.צҡY/Sn_ '[@Ev# 'c&MN_b<=S  ֥]vMV A=)odl;$)wBiАڗ_e'h aztα@JH|VHʹQaL3$N_ `qL@qr֊IEj2-^^:?},AUb:va-<,c B^d /k\]0_އlCZż2v _[6IJ&0d`뮆=𽕊#.tMQgH-Zrb P7j8 fՕgcg=6ۭ]ƈnL}H\w2}V8?wb@ϙN(eI9[ ~2ɆOO'Tgok p䰯Ask/ռ*}&?cJ2].cEBYL.x$y32E-m`*_+sZQ}zI3yM'bYMQ{\f֞Yd݉> ~z߃e1$Բ7@˩; ̮p/7izݜ}Q`0ʬJbO*y&՞v !3:"aV3jA_PY< "qDQ` - ˜@E=Q8E(>ay$Oءy' ȫL]Hj82ؾ !|י(<-L~$1hK9WZ[IV群{l5y2їTb6~3,ҵ:gGb\hO.|ʶx#n kIg͡md^%ebO>{CA*C{YO|APJ"޺Ж1[s90 f҆rT0a $hrwG}ȴO}{P8 ,XˆPe(Gz(,{oqᘼU7_Y "{=;[=)cёょ=Cd8A)- !]mߵrK=1L݄kJbz L]ù%c_*Ե,k4!E3\߂d52u~k{cVٜN% ;p'c\_;ג?0Ɲ\N̜kA5/*UEɱ3dtEj)&Xožai'20+ͫ8(N YP4f=)VOkx%El~kfVzj:|Gϥe|/2r-cD~C9"`M0WiP * ԭK0 T^tj"׉QѶ,JBfb|mf.; r 9O״⩘u{Jg1F(РTeG[Q0&ɂ!fv>UO * jaNhg(W]Mcؾ8>PID^4d!g_gaf Ms|}O!;hoz{Q)^>hZV޾IQo~pw][:0u`a[ JqZD;e|7SQ4Y(|CGiH[o`$%`^rCsjl8 &)ujLqEy}U ]gz QX5BlfVqۣ_U !#bF$N(E+ -t){`?[ŗ  ا:VKΉlCN,},cլ4-`$l2HFEyRRl5IMQBk/b': xn|r#i*>f_-жmXo_L:Uk#~J"-XӃiAR8Uc\㿰,:id]0p3Rnvke}G!CxUt@UIW*uUSK3H*7|WX /@Oِ30"T.QkqJ=:n oX"uzh/Յ zR[Fէ4E#5m۹80_\ò'P @={Vμ axcKg#wJ``,~l<fσ5jZ![瞀 'u%IyDŽ25KpuDDc;aB>$ͬ⬆Ź7e8T~^ "^173Qvds{G;֬(rɮb:&5}Z^"Wi1Myg 34S3`0OٓR0lO>1q9o|T 5X#/_`݄?8%42"krȘ3Cu.Ypt?`tGdpsERuք+ mC`)CO G2X)cIUp8TͿֺI2+sqb\YM'SJK0n%k/_PMJS@?. ˡoc7R-[aFPPյ`JL@|lĔ8%,Oza:5,4OiL3Sh{7`ׄєBIѢTQi$A.MAV`!Q次 {/W mcيA.Ztؽ?hy'_41 hR܈^]<˰ Uj ?'pb1mpO i9g94Qcx%˖Rr*!Hi_qKKz 1?vX U&Sê؛MeE1%4_/ S@_(Q ['nk#F12"]}+2G͙O7)"C\\1!$Ա}7q1 Y_nZi~} \dGCoK51J DIv$ 2]0P$w#AS sNE'w>2Cga}p4WyNfZm'V %+= 1@BMF2C5WDΨZWp;W:=̒HؓϬnġ8KnD159P0Z ̗F"w D ݼ9  [MLfɋ./rϕ9 cl!]"񂐶͕)C*8Y3eO80lnN+(C|Ej/ft2`c"R$fUv'^V^j"?ߙp)҃(d͐T5>2=*F;k4w9^:'t-eeґqʰIVEm5)Li_skU&B5f_ʻ{uBI)8 8/ڊNn9+7]_La${}B+HTq]иSFkRԐPbHzKJ1jdgA/jWKpÁD?GCR' olT:z`gUeşŊBE"жK*[ƊAfSXG ꛼Ɩ.'xU ;qo'0u :87^xnͩƱO7D䎘wbgņ&V{up;h<{brB֦^8o8~ӉXC⒥y!QSsgYWHLTQ<©ʝp#$g~P$&E_hhe`[r>ӤLQ&Ă}[>Avr}gUFJ?&8adAZF/A#9[O 5(|m-5NIkgA+tJQBH} VA?n 2f`lY s{u$)ov[Di GwLJQ?~DRQ# o0D&8@k?bk-`a u6Vctyҏ1̾oXF|GkCxYaƸ{5E>d$vkgǬ*OolZƈ1 Cx4[`Bɽ?)[ˡ…x_?T;>uؖ9 ՅSa!֨t9.a\; G̘z:ڲT'8ܸVi97L?*# /^rIG63ScOZo>\JD[+. Eӕ<i9.CKЏ/ =ܟPt§"p> qT{LYKn %Ʊ55!+ Pf3k*L/ Wxҹ 33&YN-aP v>L a-a6fh#ވ4|[E'6269TI^]D+.<,dz[l-cD/eKtGRԾrRdR߱M%9'0&KQ;@;:oUܰn6sT!"LIX_HD ƿW/p,w{ˬsχFv2k;A-*h%i?< H5,'#Jq\Ü(G1d9#ֹd~$ qE#!̘9/[9Č2+ 8/e^Q[8DƘ^mlsr碂MSʽ;fրTAšEY.^޲\K #FbO6g3?eXejP2krMP6g4 2:xx}+ DidFKҰɭ=҄;vuިZn7lCt/B;f{D[/;`3b`182#I͸\ۄС| < 4y{( D'mN+HWN^@:N2Zȟ5ϗ`*zZ0N8Fc=8LSO!T3uS?#shdBv.N BUMs?}3ěQUv}*`c2utL'EOFΧvKhZ2TO1U#ά rv!H1 Ú݇42E]4m~H*1 ηL j4T,lу"Bŧi!M*8$Dxn>{.JppȦ1L7H1 G5pC޻fJ;3]`q7͌.'7}D*?tȓm^5 *oE TfӳE Fl*DoFҠ˨Ѿ)oaW[6"ӯgsu:C 6Đu>VB𜙪U*9W ~ˈh .}|N#,SU8{Xg@vZot(O Xt,ۚ3s |kh裠 Yo2J"T$\@kuEQ1q^C&K~z8~q?^ HR Lx" 3'`fXNvo9,',˭uW"T0Fk}h ip9T_b@te6R=' M&Mss%u,4Lw6=Q Dp_C{)nnq7;gw^ϯY$>XZԎ)IsAfөmk=:ZiFoS֫^Iu襁Smq+(VǓ+sΟWī\,e2P0||F:)xSKdW;l%2&508Vh)i׻$T jfCi~)V^({B=OzGOFÅ_Ty59l|l^E,ORj:yr}J[5G5Fsh\W~>Fecrkx\-uWMoEQȩ}_lmq DPv(AkVaen]۪R+Y+% jb|sM"%e;-' rc!N{ȷ G?]])=포O^rn@7{1*C0Z-hLBI)8NfvJc%ov lW(m>hEUmjV"B.5.2̭I|[PnˬeNXx^dԬ4p3&hy-LcyCwtKfZ3\;@7}-2L*l4 6\)dڻ#©,A1lr @G,_U5[ pXj\¿r6fBJ 6p}M*<(q[:lr3ٷ i)'(5]y&UuI|uC&L}^(7ٴ8/3T|5M=˚[;57[IIm;+II!Xf8mZКa\d` /0Vci&9bDcCtR\C K&VL}hS1k1;o3ߌVzgfM3Ӊ{7dB&%ȆEJ֩li;osy E^-W0d/p8EYsWox[%z_ m8E-`L.h{+{Rp6)wRYg ~gRSuz7صc$@2Mifjl4t32qXdz b&'2HSӖ2.|)sPBUOZ(sA--E${K*BaP$AbMLxis-kkLmY/J'& Y2a[J|fLz_?i4h=UJ,Ks$?ԗ_?(IRa/pvfM コF6|{[:c_Rvs`!(6ų;!X0獘#JD;uo@ȇHP˳Cpg:=y w{UuO2I ;,`&m}9{~x{YP׼ =+>rU-jSNgHoP4eN~~]y+cCTE#BɛzeDaIJ,v[!1e#*4IoиݍG[xLpb_hTXנ&XNڊ'ҭϡQɃU7#HGƚ9}j_|OYpZa27=h}|EH2n>S`k"m H0I()%d*8(z 1 Mrj`sY ZN/r/7xx"weިC?}5[WR 8ryc{5 &Qe_9fP{Mj nKA%]HyŁR5rap2%`Aw^t[h#=i,%)%?_\t o|7Hzv.tuI~>}NIGߎ+/œ|*$m+$3/ I\Q}kq iHę.zܯL- ޅ3LC~m7Boyk'o>^k-gȦDO,WY1P_N1#{&&x.oz@̙qJoIrgWpIL]Q -pS&7FT CH߱ȓ;p4l Ćxp](P)d#]FD/ۂb+{~]K+Ͻy& ΜxIv]FfC&2iïSA~ n $gC>ٵo4Hb,lvIKd(ikmU((M tۏ-in@_wBDzHlsCBRQi0S`#e0 Rq5/>d$˵m Z1Rh$㭿a}7BB-O.3L/U߾ҋ2ј[dOZCp <ـtxuBٽr5+}ӲE[@, o,ΦkYt LI퀿.N\кUZd%!Fbm]XڒS-"Ƥjj}}Kt(H]R x?Wgڶvg|Oנ3KBlwu>>*Dxp5ɊC;b].;VEC~!y<׏jf;5@?$C0N"VVݰDh;ɳy~4Jnۋl%<1QAx5tJvۻB3M e䮛> wK&S:xiK6n:c*d=`DiA DLsF*1]QUg (( 5NW-.CiH_{;iB=5,[G˫DK{[38md:z 1tH*Jj͐Twh+R wKtL;'}jlj {'ĦլAتvyD[ 4SDZA}\"8 ->R &y޺mN2V~ИȽk"רq ^49A .6 #0 4t (% CNucOȸk9ucCud'l'R2_aNNMU_۟FyT+Tkt5JXQdhBܞH<~A`;<@"-LPBwb!CX*v* Wx@ i|U:VxKǒ%~={SH-\-{GtLނ9BBp!`>oN{>!Ɖf]LVUuw3߆`qIq笮OE S?xwX3e`3NLjv_✄4Y` gV`E|O&D`^CAɳDRӥe~K2V2Yh"?kV 0sk6$^2@4woZHg? k#4x3d!W5EfLRsb!_2R'DeÒiB64s!­vs^Q9ZX8aNo~/ґ.xvɇ8#iv5͒ž~% >2==>%e*&qVR!WJj ]p,l!ߞw90 s[>#j"mB:@kLP":峪[tf;nf Ժ\d @{ wi/CM_tiqX5k 8en $8c WS/Ajv7 ~LT q,$ YU) z,2=?2CƛgvbDڡثh;H>|Qf oJ,XRV:`(Ʌ>Уdq,4%]#[>`Ud 0X1~g%===)ՙn.+|}!Z=XEN6fJ Sֽ̊qW00ʇS@-{ SLC09Y LOjQys$VCbIe@O#JYbb ѳϭ<؝L6|ɓF`eyLFs5icULjK5 @ ŘkB/U%94t#[9#J}`:pUMeF#Cj7: \>|gxc=L{]5ƁOZoC:vK'\{h@'u R DuiCZݲBRԉ% vhQs,tEzȶ |02mw,e E9 ?[Q hCbwʼno 咏Tss5U䩃L"B^;^53KXueΠ.zry=ѕjXT5PD'v-G7 {"l+7|nh VJZԕ|:]c)9̖!ȩ^K_ӝP u/}VJxQ8[HZ˷ ҵUĄ <*o)3<)JuL7-BɌleMpwҐ/w %PyH9}0Nr~ǫX `qzfpŹH[u -}ٸRYpƔR1~r;(-F$/ވ/  oDTK{qa] d/Yf|ׄ;QWBy5 KlGlw/Ѥ~g .0\% MzV[NAkz\{V]/A:l 2܏~0#MS DEhXS=$5뒅{ܞ߯1oFh5.;wIj%ua..Lee7rc"";huV !V>Άo:) Ueamݏqum }7 $#2l$>(>>3$,ׂKɛ|{)Y~fEʚSP1b&!r|q@KI^u H^ ҵiŒO0Rc@ b$$2] yva)|r$d IscٗoOš¶NH?V.߅e./LYxC©ܴq(`>389.D@QfՑLB_IJe6y28;6&GtES o-'4u 6'8b^C[$|FWFL4>om",2z42+y-nAW,LB.ƚ- MD:ѮZX:2GI^#JDP>f@A7 'Z ݓ hyPRBwW^X=훊H44r.^ @I+}R3א@/:FǜU6Qcш,|lh>j@y3A5z *oXg ZAIcY xjHF<3K[~pq6Y%0p4y(Z-cj߻ςy$}QGUp?F]y בFJ|L5r0G?~;ﴮY%'cNJ Q;PH>л4sTq]ZuNEى4NwK9ž/]#kSOvx];.^r@'i8Lw?@iE[~u2~;cT7lv:Vn쬔VpՏE { #ƌ`{ |0|\cw?wzcpPR@Ǻ2)E! "MU\NY9`YZ?=r`iAzj4Q|tSLJ|1\&s#0_:mS`Y͎PxB 28Ҫ5P$yMV3ڃyEDi)f#ɟ胖݀Ll_m3mriWl[HAQm5Ѥ$][d⦭9%GySܿ.yZBC3~瀱g8LĴ ˇhʊLp$ZNҦ=D!7ti^<عsA7ē_ҫK3T1ʋk ˀZZX[|.BxҪMyPWEe\Cy Jnv$c6?&N$<2tҡUJUelL,r=o!4"G!'BcX{S^ 6T[̢OU:އkVhTTxkinavXC0_3 o|)yQ6F+ %0/WO+!پM]bx$YT?K&g 8FكO]le04 `ѱXz?z;|9 Պ} Üd$ܷr}߆_e;G"<+V[ ǠtJ+}^4KkE]Fџ"`!D'祂ŵOF"XKU(C'@%0՞37!{=i_@{9FKU)U*ڥo9WGu[nhp\mzjMlq2IDhvb!/xQIJ|P SƱBMs~MAZ"<7 lqFqVTyJTO&WcFVF(g|•)cP29Pr9= D~S> Ŭ3>&S5[|sa_GFsљzP[ Y\(v;~IHx6f_CM({ Bxq㷼s<>BY5r&G5Sp:{ B?G!ɝpco!a, 0f uܞ}ئokUmlG.:F:mnJyM%!uLd2~q~,kcֶ.F df\V`j)Qlq lօӡT.£:&+?I寠EX>?3c~Ǟ LjC~|1`ňA<6{RS[ڐHcC!)Vi [ b `(hb4'4$c&#̎G S$~1^{q* #Jve91ݹԀuɒpYy9S?H8w F׾}DL{27픳ҀLW0&ӑMkg> dئ--Tڅ{ai`K n,l(w։wvEQ"|9HdRΏ˭m~{s?:SNWxCi/ji!~ؤ4yı5FI+%=/0>XR޾Ӕ^):p"_[0 ?nBmPsZc~2n7 OvƗo BT&?(>k%C:egXf=E-f:nQg6}P*fWޞECr-!ޥz9ku]hv<5l؍Ҟ4Գݛp:}ڛ(^Z86@/DZ:ef)S}|e LEf+ޙG}ڴ[@|x+&AzT4glJjtZAƍQn 0+y LKAc*BBSEi7p g.'F1pwZ;j^t}Ѷ)T^04+l_ l'qBnItFƎfz ۢg:L2xFsQ~=`%h$̔G*LIE&wm=Gpt͍cv.v׈3T܈Ax b<GYQkkKZ=ơ)0s _M.ؒo'S8¢8 &߃&T4 Ѷ)m~KU޸a&KC)5^4ރQ§dmU"zqlEIdT_H_M$zs(8Abw}zg~A$jI|[9}멂dzͲD7ZG@0LJV7.tP|Fݾyx VENe/mPąeYEje#Yz2]]=^>$Bt ~N #r]6]LKLyW =(?K%Ck ˕Ճ˯ki"?p"o,/S(|MFqpȈ/إЅѩ.8"n~-j׾-lP$ 29ٯQi?zMqLsXVHA?F=aF狶PJ0IT( cb,껦%Fw'G6jV.o 2h.M@XvX y-tOZ|X9lԏ4ȵ@K־O'*;Gko7i%_G %?6v+@d'-=Ec bTL4QĺhRnD_1$ePA,^$gPXtnˬl'L9F\5q!ЌұgYZ7zXZִF! ]ŗXiɟy>W&Jq*|.G@AMa^ Q?P%Fv [ѿ+S>y~Vи`P^K| Q92Elmo{دcQO.COHmO7_B;jcO嚆g 4nlY7vU}X /J﫭 0aP>XjXلV"ĦJ@P5D F2MgYZ7zXZִF! g`]ŗXi%L!2$8.?バ#YIж*T`bW5.%e[CAg$^cb!c>m\PxbW(rb[.\Gov"_DszQ<=0 $Ը`1"bW:ʹdbqCkܬ7{8NB84B8"d|шs-^RddҺS!F!\%ߡV)Ğ xr ީH4I#U<ʧU==c0crK<2@(clH?eGTF- WL ={TAH. aݽ,h 1s$e\4n0g 0Mj;t 6e[6bU@S2,f8ÊaxYJN/p쎒G̒' 7D(@'TH>޼5*DvUG@ XD1NPg 4s,o@f!F%ay'Fп6UꩀjuzEAd?@2P]~y/^ I߇2@cdl=!sUTZK'=G\| SsIoIF {KF=rQ?:mKӫTdžX#rԞ fJd{=lil6}h{$# WH[V>$4^d