SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 \9 2'MNRK$+) Ɉ+=˛ʰU៕e\mnf0<ԡW'@PQyܫr+{t#dZ֡]Z]nA`ƥ{m#Ȣjiz+vlG)a SKQtZ>{ 9.KEr@vZ[5a#Rf{pRZ-l`I8Y7q4_YVLv19]|DN*u(=_^QM1jU&p}Ӗ7$$ E9ԗ=pT!rN!,XXfQaw<Ε97͖.xD-_xhwNW;0qdg 9B B>z+Q,u|tƞtn ֟z(FF[9a؆4,6PjO>"l0 9yɯ'b_BږHKOY4'r˯ӟޔR'qDl5[YSk 1UhXLթDD2F8㛡0!+eUkȭ!bFwU2D~j)ּ(;^5 X^m.ooRÔx($PuRGJ++P,%xo ,dw;1֍w'Mn =6}63ȎX 13j4ӷ; 4`?XncJh2E#T"'LHc,huA@u|evfJn}"Œ@k(7bǬ 3dn[SG!s! y1ZERWdi:;R'R)mit-L"\ܖ +Qr b v oGyxtY݃0X0ķuNY yԢV?5L?nqe 0`ߔ",#Po^)n?a=I! _Ȃ–XN|%"K:w幅"i?ewQC#z.3ʦJ2w_ҔP%~Yy V>ݡһ(OٽhtA1mDQq750ϳڼbEZ3 C\qkQ?ՠ5M~G?n`@.IFcڡ):㗫.DV ~S&I-1/6?XFOO2K)z.N˜ʷ%vZ&s62 y2"%Yo?HNur8G  V v,F9I%Locally-Nameless-SigmaLocally-Nameless-Sigma.ListPredocument.texU9g%Locally-Nameless-SigmaLocally-Nameless-Sigma.Locally_Nameless_Sigmadocument.texK9S%Locally-Nameless-SigmaLocally-Nameless-Sigma.Environmentsdocument.texE9G%Locally-Nameless-SigmaHOL-Proofs-Lambda.Commutationdocument.texC9C%Locally-Nameless-SigmaLocally-Nameless-Sigma.FMapdocument.texI9O%Locally-Nameless-SigmaLocally-Nameless-Sigma.TypedSigmadocument.texD9E%Locally-Nameless-SigmaLocally-Nameless-Sigma.Sigmadocument.texD9G% Locally-Nameless-SigmaLocally-Nameless-Sigma.ParReddocument.texDJYtomMg ߓAvPޓPƊ@羨f S!ܬ+ͣeHwI mҮ̨p>J1O֖ 2IKBEֳj:X<󸆟T; %6%X)Uɠ1'Vs3<&ݻW}FJ̏V*|le&AwuTP(S}!_ B*f鮆Y"d-z4'%AG4Zۑ@ $@_qc'LBtWCi@$&tkRRXi7H1'h;B2pقq`rKV}a2ϠB3n0gq',:fb4ɞCEouɃVGMYR!VJfy@ʈLG1a-_ǮG쵌(0 l|"`qnB툏2gJ~ͯ|CwP=Z؉F[4nWI~R;21s,a!l6oY P078N%ku6u\PƒIp3O,LI EvsU,%]WefQ#"ףJ4T$!;x͟^b7Pe.dÌ6[k],HZ #m P#$~әn-慨GzYRӅSU2=i^,Otm>QlwZ7$6Mm!1<, $UERjR"Bj OR"[O;Q1b)~ O6~:? )eDN(Oiho*P)4>n6TIEW"iDU?!I(K:X6G]PՕc//մ~]N͡m|V\S+RZ4W!WgQZP d_vjZkK&sar Dw8Q`)NPg z[7foh"rYD6vDq+ ._a6_ye\1m}ĤM .X'):ezt 8KAf1"]YK{#`=)Bkv4oW\˭9&=?r[tfBM5PWfi`j̓ڱu4JrFQݱ}:V!Τj6n~Yʷgq7WQ$eub('Rs30޵&kY: "H`6q)I50 sYH iHz`vSDz 84G=H7Ԃ`צG|6j+9lG^dR9BFhd.(;;Xd¢qP$tT+My]1O}aQ!0fN$rb:iF%< CrB P~3umE:[;hͮ}e 5Xh}Zz NX#*w)x K`d2BN@4ngfdA,[zJ n>Tjcp=)R;܂rT0p9[8fߙB8 Nf30'X W;oj_Ӥ/;!txG.rJ 4b0Ho3A507qç=WqX8c,]pBFi?oN޼5B6tF|o\E3(_-`V-hmQS>bX ֜5;c- ǰނQ_-][J{ZV&=j2eHKsT%wʻ8ZH|pr7ϹU4".I߸< z-A+CuAC{9MCgZm>biH^"!oNqq.siX6<&>[ջ5$.m[x58qlo=NmaUl5ҿjFvU7 |c|)l]ms cµu2G2$7NFiۉP.j]X ^dhI^[N+tLxיl /YX<2V[.llʔt +.^}N_"+CfhW|q<%m($o%`Glm%CeKT! 0qc T+IRɓh>p.el'@ERL޸O%z\ -vʆT~ʾq^ q.~:ß4Q%zoH"y}F=USsr jp5|mR߄џoezϳڷ0mɽ'W_:04?[H80j!*~t\918eYEmyyE|_P@#uG0 ̇i]@1QLxBBo&ز M 'G!Z]B̆aKp'#){LLq[LK)~tť@űޔ/$fn\-7:7̬B sJPR=Yم9rTTl;@|i;#q$Qp3\ފ)I%q[R)z736EO,n"g5;yA` "DOÅ/S`J*z[- {?/YfCkprGXUfxu.M4jSnXc8#Rpt,`7+65 t+;z~QmF嗞\B2ǣg.n3,ߠ{KUBinnˤe̟)0\ÇϾ?*hx3- $YCK2;lKَxR_1<>ZOL4Z#E>}w::VpUq*iQCf&Zl aqI#*͙^e^f?=5 OsrF%+&Z `2.jߎҌ,o3JpH&L~~HjJPg'"|ܥLUN~[d8.F.In|^ 'moD6ј̸DWCuZCb0laX)2|m]@it֫Ixf2 E&QY}_] ^Jg8`g|b伫Z0P .$f_G옒+*N E3Uj{&z9|Bp!|^':MO]!<@3~rKumr! #o!&\:58A&hMٝ{*$㪒wvs3,nƇ.*DKӓ!qm+]AL1Ŷ^fxS[;$r"/QmP1K .ݼGpoӁȌJVv1|h7)s$o=g2@`+>h4i14 E*nmתHØQ\_nZdD}cOq%.'ב @bC J-{l G/ wE.;74EwRo5OΏF1^aJr#MpdOo =~=+b 2y[ֈջP G]tKnZc _,>O{WɾZ8^H5IyJaG#I=#*?ZNJ$ ?fbq$0.2FX:,TPV<up]z,rDUڟ^w*''1 C͊̆Mj[gCY)xZX2 Ut<(KJ}u@~\򖳷u.L2h)ܰ̎WB $/"=\Vp>TTA@ؕ;yJ&Jo'̖5Yx&rgbbd6 : \|gzJp Ǜ۸_)WgZ雘P(Q=DzܥkSDnk6zNES(Nc[^İzdUv+ .GeqfX8cY% it=ny7~3D8f4x6)i;I;%H9j|qܗ@<$EG jct%% DWpzFVp1+]:}caQ!pm@ $N<2{lZIM"Mb4Cq~%LϟUް Yi,t!}cnˣ)VNH5ҧ{v0q[<'k#nDڪ2pW4"d=0[:Gbt޲y;ഢ68/)oǡ$Mg0Ƹ!οK)k ~|bLyjEn3&(!pg({n4۟8D(h`U pXtUPg!P f31mOgWpRvjX?ޭ䬮[ j$`ivsYc#W+l5/nYg#~_rO͈㍍(^P9:s'j 5XDŤz0 y]}XøF=Hh=b& x6,o$hSgg*o"e_܀'+Gٮ@%Bu7f6G0ɱ6pTKVM]֌ej2R^݅=NSEdT.I1xi- qy Mɇg_P,.рbNmsyhmg6:>``gdN 8WGeF,ŗ$GB^/MP%g+rd, HBf£cu:^L)WXR )s;Bx c|^a>a%)HŇt^$>}jꂾ_t2`ktyQa~zմX Q8ȣࡳ vCQ% jc45l*%".hݟ:(9;؄iyz\ YZ`Yy}F݅cԽ[Sv 7"qok8^'O+$0.nMP2 dB%|I9)CeTt'xD2;Iz@Y/]CFpbdw#h[L2L:ưd0V:rXz/}|3e u$%|fsl .p7$]oj6qpS85iJn, z{6r͒@%XL5++s'G{2<:!U7#*Ze-r?ӻ4",%rC)y_]U` oVF2sI~W%;>t)e=~)Gh읤s A'A9-xs;x]P>aL=]Ơn?G2@FuՑ%#*: Ϲ;&ɴ9is8MjFKSZd4uk|r:9a$qk͑*V<A_ً Tx+)GWǟyRc@Rsw-꯱|Wd5xKm֐g 8[JG7}K jol@rg_Ķ&TXʥH.KBٕ'NS/xp;eĈW\Xc8sHZ]D@2E5 9{<ϣϒok~۵!pwKp* w1#"o^Gו=Fm kKdR{Y-7HU) 0Cm|LwWMVVM#FE8o8zm31DOWGe4ZZF ֩z7:6ȓw ۽U4=/;kn 鬈_a(r$Q.q1M¯Ka 9gbk?ȹKlql87j s}ꮪV(YYb]zͣOFxO2P9N,kTey)C& SPLL s#u` 4 Bs3|Z|>}/j3v7(Ryv"AuDV $/Ȳ!DT&;TRA6" L!*ÁI$j! n`QG*J`ͶtYH\DLuOQF돸TUW;T]FlJ0]K\>U 6`e/1raV<\8aR+>^.ɽ,|^`ҷ9Hp],+֢߼ *lMNw7f{ .U ۩jV$l+2,u f~ۑDHް bT5xKp"EѶc(P4}7\:bF!/iiX]F6[:XswƟ_ܑ>]rJ'UL F(Ŏ3݀ ():H1q}_s yx0.I\+ W'Ϲ\}n\uMYIƜɋX 1^n=&Fac7ᗌJSB1޷޷z9a7ǨthA:Ҿ[>Vyfn_m:r @uG27v-=xb#mL%S@w;Rz'v$ND d.N }$=ہ 2ꓩ2ɴ#j:§I 2;)*ވtr]x I~cT2${q6>. { ]S[B! W7=̀CSi.:ȇ l%]ofK!Zv %ƁY)/QYOB+ U,{`}d#f3q V165 'z'"nHk2 d) 9w'ּ5A֨q9t7 LfIKc_;P?@>]DwUP}o$zO$#.MdP :~O.(P~Uc&: ϣβ\(3HUEرnj005e=UtBئ{q cPz+F0( Id젟6"#3(XzԁNr&ʇuE轃l&5%2k }3zb--Ezc7xAS8p-SISvMܔ3kjg]s^5U8y6`I`J1c 8#YM=M}lV@{Xq0XHKyQJAަQg #ge,R k<4RGyY\c&?ѦLt8njD8SDE1הQe#'5aQh)X`X‹;Emo AѮqfԻW(YY@y~ i֦AF𬧃Pc0|}#F3}%T0&wasg^jEy5IW~{<|7>Q7鏿̥ )AICJT-KqXnv}Yo|D rPh [ DCjiΙXS,{a`k-LFs@>҉'M^(攆CT xOĄ%22w[hj8$>P5D|;@,'c5eWA_AݻH8o gʟ+u29l]MSJ'< N^ULxd~GDZbAMLD|mTL03@%h.OBZ_uGKNGn?+n)G/`7u;8Ǹy7n7۔> &{Kzev@)VK`pX~ȿ=AʻcG48CF]*rJ ZeN',gejnIX4zO97_<ߦܞ\׼Y|9ߞy9[7Zoe=C.o>ŶQ?~k_D-=?LFB]Ǿe(yLL? a?.+4k-mPBqv(؛n<^#(gV[>@c'ҷ ^@yTNWi}Q|sJPzKJb(،hUZyj25/,Ǎ:,׷څ܄"0{SF{J/SeVKHy-ſKd?c;T!\DeKT`:C_+rN\wU뗃:^ *TVV\+Z[QMF-GY@ {{a7w:!.f+D.eW"%5iH۟*A=pbrR"͹.So"e$/TmwXHF'b{J. d)ReS7-7tGZ~J|:g=SjCMkz=aXmҜ}n_mcZl7~kCm}P!ZztUcs@| L)B;x}0U5#**&?C2-ʝ7`v`P !98~ןLDYCa bE.YQUwCUxBqѤOg % > V('hkqD6]$JchnE)Vh%=݈sUC#nއUF򺗳MzKjn} *ZH[p\~lPB|b]ʱM3 ֟T<<@tj&wR\X"NM.ViZY0?nDyLS1i܎A?` ,Z{qH޷| –yhY=.1oih%%A\R 3Z l8{LA}{WoF]H/* $x$T|T(B#g*͎-2*y #,4]ʢJ%Wn8 q6N!%xk3 4UNTi1mmsŮZ[Ra4lSǫ X:i9_UiS&8`vٜȸ;^첖}95{wNJYJنonP@&bP ?uxBώIɂC8Cv{flPXƗp^9_j: Ě4oGbNW8?ZDvTG)Ѭ.TZ%bH*INL s/ q:@ PEĸ@}֠R _FCˀ`gA}Z}~f;9,Jb,ʌ }́Y٤;g\*=ޡTe+23ZKj0Of]2eO.T=&Wj{W&ś,vPKMl['Y)wsiz-'zϡ9p~]^.mHGqX T։@4EnS1=ׅ z@BX$LzγX8bÂk)\=_mAbQF`/ˮEl.uzdyꞫ1LwX=bd>&21BR{){=Fq';JuSE6g ȓJYYA⃊5!C?Wd+aw2QU z5gt?i%0]^g_@;^yXN]iQd2ɽ- Q榸j>7yZZ e2fIQXΔFbuM"f\B3N<=,\57@\'WMWr"ibōQ cl䚮pFmSGש;`j OnͪE]̚ ֎Y=%D;x +LBƻF`$.@{7=:Qp2=O'*0&USŜMIo_4l][8SJ|S 4l.%eeA׌&pZKs0b2BHz)s=]86o+ ArI4{WhЩJTfKrZANo]sO]}Aβx`j_&a4A$>ʊ+j:H@g^s6P7YD`o_?ų+GڷkV+ "0zC86'j?  ЪA?m1z#45tמ77?QiJT>8m9=m7cw^K]Zkc5xsf0\2߽-i+^ucwbt00r?Y@ ¥>$3O_s{*T&ԨYۑ%s1^[Dn0BxV"p/ܢ GyÕ~Ƶ'Vj&ĩ}~\E[f/'iJ=ڨ>뜆Npq(/\ Ѭ0;(1{7Yq)HSAYaua#U<7&,Z /''4o:m ?ïx;:?O"11֝q(W#{c&1[D 'z3;q+SXkٙ!4e m lWfզysX:{D>ٗhu"EXcG Y%JT!p*xZ; ϛq=umY [=`Gt9-n ns/Yc:&t&޽6܁Ve5ℍuԒ+hĊߎ!Nz' tl 9A+ =B)41x-,^:9e{wc W3Gg-u0sQdِZ'2sMPK_6~|P6!U=3vK"0gp̘hʤ-YR&,]̈<0&JIƕ|L +B\]͓ɄUk|Q18򍿓+uFH*KF\A>ų%#*jBy9&j se1IH  /Ar*C{AeC;$+V{C7(Ҷ_\ģs_6.勬VLgYZ 2ӜRL/{P"{ZVY|梧bmc/X(-dBeC>>6<̎D]=!NOs9ګ?U;;EF3VV{XHHXڡ?퍄bli$` k hf)P 6м&NH4.#j"3^B"xvsRim^(1(K,F)PMufi't$Uy , \gA]Q4+Vd{y' rPz--^-.$2γ&iXI*$ߔp 0Fm٢Je 'siM ۺ_xI +ڏ?lps~9acZC5~C2!Q{RDxckdCG [ԠZ~ljM^4nاo7ۢ`okaLv0|8=agu58ތՈ ʂ(h9hKFǙEؕ&w;Iב~MD2K }1~?:t|?g զdBɠ)ps _ j N߷eI5>`c ssџ$wH*n.l+$@^Qs-.66]އW.t~h4^ڌ+ԁ!"| n6?s%%Lᡁp |ஐ{36W$}(NK\é0kEb C03< J)Ʒ1|6Ǐp`p+, cv8 eyˮE-c tIe_}.~jƅoFB*yN&~ 1ty&TߟͿ*w Gr38p]Q⨳G0 ufՑ9(-ҥ_Gy Or=c {IC*O)_ҍQ qaRX+9"s=(y.շUwt|yZ9)M׉z/P]G:}8|+,PZ/ޠ#O`g=`B_Q[[1H>0ʄ`-WfᒴDV:mA߸OړpZ,*yԱ HJ6iy#)Ձ4,G;p`"Prl ၺBAӭx<-(6iulgI' {977`lab,9㬫KO]'^~q$HK }~qh \MJ5ޑԄ6/|C^G'x9-bk0% ãzӅœϛmrVOIc$vu+#o3j}gDѪclʃxηŜsOe` {Gg.JѷźȺm/E7'*%-Ǿ9Q-#jg n ьi$%-ׄ {I.*rS wҜ"FM AIcl#??<j-HAG& B VmΣJt+e>M]\jq]7wrr" wD$sKO8dZP 3t@84m)0d;bb0 H⹖0)b> fq 0ף {a 6m̴,+N]r35U"% }87>hlR}V!fvp΍2QHgI 3*ڒAlӔ/4<0CcT 3?7@#&3LFm|>.ӽ.Tx(L9*Lމk%Z ΫM!PyLY:W;}TxQ;l*ۅS)$'= *v8уmҢg8xˋbXVdI:ͅR`H=ȉ:G?i(ْZ-xgMp&)D˚E_ !qs#kXy9>2M"=yx-DHu\am l>KZ1bT +~V5q97 Qyx?PEwS G[ށ"n5#5\`9ʷQ2F,3. F<{V ". [hiOag5(@%GxY5N&/]k8o UOjR# {9_Nk ݃ K'5?F1*54aC RiW"[p^2 16V[u vΜCl" r-l~ HvUE }qM,ӈ5p;PCMyGql yp= .eGit&%?zrgp̍5 s8S7*BetJ]#Ԏ<r3t,1cN f3Rƣp -LU!md/:.V`=UB27=zq3jsm'mP3_C2 ,t- 2.>,yc]70%dA*'LSj@"6/(pԯ>(aZhn`@; /0 zI4Tj1L;po6CPy?Ӗ!ͅtr2(vo\n6#T #~Z:ƌ΀Dr|6sM5Mf S"'k.#`kLwl_ Eךȑ pЙ(IFFSt^g|ELg<,־<" J߯kr-eM]< Ҩ]Vs?)0daQ!j`zx,Y!)gkHpHN'A+}*lfv⋧&zR^9 Bt Ҫ,t NH>Dj|R]_X(F䆠p 9Z/6 }R(-߸ok0"f~9sYcn$} ZSf8Q`>W8`{^[uaTg~T b\^JQj̪vYcG@>=˷lC-qaHY@#ҴBzm xɠ%j]/QdO-RDLxx}ۨ\*3$<|ss8ªv-'ˡ'AT\8YuOTYmJǦ8QN/_.\|H5 ہH9$xu+ ~0s[);0αr$;հqLA\׎z}᳉L3-! ԚFxS]0^\qozԌ>d.!8Bb-^A AFMK Ω"OIQdr4xЈr_6o_Sj׻FLRu~6`\A&i 8@.yu1K)9׃p}ry;Y;ƪcL@g Jr jS^Q܍0, :Ym"cعWRPpȾޑ>hC] .Lb(eGa${u0E&*55v;B̓tzq1>.&E`;|-8 M Z,oJ ~ܶd~Ja Wgz=uBN3,p<,lĠRmKr]6F}Ȼ!.r#b9 |\_l& ZJ>o?_T60QP0`;OIYς|]mC {ioF]{}~Ƥ{rjpVM§ { ܿ2Hp~B!3}9ERI?VxYubQІHKMq3+Sp(5z>:baϳ]z|,W QYX荼ȨSw0FjT}oR #xU3fLcq@B;鍷Rؤk.GL@<GZܺ@K:bD\\qNƗn Mu52p{=CÖSZV`EST;x|Q"#4+Y>+Utl"O3нvkԈx9OkB"ᬩ|R_A<޺mRMTқa!ކ ʋQ!A+h% Wm-YNwhsps&8 eI'lPfѶ+LKƐ_Zd^["8N7OA%}1oz ݪ5L` Dy誕Or:\ Bdҋ#8yFM["1tpSG`ʣ&/~Q`r`oƛ=O8ϳZG FUBR_=am1l2M'MP N^qledCxZuLn)39PՆ06mוT[96&AWY~lN;פDV܀Nmmr@%hpaNm7 W 6D*YW^5Qmbνғ//p*!lԋ5Nv|<1#Dɶjѐ'Ec\v#|{ؔ-{y3Η(AeJw4 ܹmGЍ͑V„ZORp[.,YP '(q Tpz pQPѯ99edBTP 4DɼEap҈|-@*fF~U~'C9x7ArBU9~Bs >̠!mn8+RD̯_+Z+k><#Fauww EgjEe --1%l`)/W5lho2*3e$qV>; c:Q{RB7mj1O$(o/L.k׷p GU#GRLɴ핐DmWުJةF\o:u z8qժ[N3sZǏ\;5̆N7rY[ !hyTe LROx0hiCjk @轿%oS #ZN t- xHEe uZX9e'cH\ֱ0V]C/4N2-Q6'G|L(Sz2)dQo;p}"s HV\(zaDl!)TMk ~J6.*  :lɰ}2 "tC܄gX>C 4?ly;J1#ᚠB"P[u(n񃘯`f/_DR`tS|,r$2͘ĊXc[seVP}o:lTv⹼^a@ͮ#ASК4'wcLvߘZOCP/J;ŕk TGCDk%I۰wuh") +{]o1w;ÏOy-Zt#>qLZG@D} gk@*Jc<  6:W~־ 0m}Ѵ*NK@9cg"EHT>ttY#z,DqYggtɚ]4o_ꡋ[~!:zn3sJF@s >xiB3EiE ZCyѺiu@s PA% "%. 2Ϲʢ@BUK{DӄJ!EpN tc)zbNpn$ͫˍ(_29/K5hPԧVS,nN"Ӡɂ'X(d.p#)Sq>Jv'i=  D3vUZK73W`,Ӕ.*1&J'ޒym YR}g ̞Z@"Kʇ漛=BFٺ9lsa݈! ~g+2NTѫO]5 ˡ nr O|_0#I1q Yc#qaPJHbR¶\-yKF6SD$E֖CBwK 9H#?4t{.W4)j;9K,F3δ1 Uӟ+bX4w-Dx8ct~^6 ֢Gۨ{ ~A"o yD9WL7iL9}}&~NYhJ6֊pI_O`oKmrT3nYlo]!EL~0S̍}SC')P~i=;%Z(YM<^u![[~ ~~`'LOV,tLl5ur Uw{2 _f9<{%1- '5 k~%g3% ZRpD-02qh6[!茙T{ @M+l0Rld|\y.mDBAwUŋۦ˕<9)3.HztΟΉCl4TԐ'jP«^eT+Kz QǬP a_s5wKx† D*<'")LQUr0[4?N5Ƴ,p., RnFBeRL*] %/" $,j4]@RD&CNYd?w'RNΪ0~nbH5j.-Ӷm_kjb^ϯjz5ךd>\+FWg2?C&OVWe[UTڥXTϺNve,y9LjS@, ?72ަ~f/!"|_('# hDoRs.149v$78h <"ʂGKL(S-i en橑|b1]k j. t^W4r{O7/|.2h![G%5liTtzZSO2!Š%ċ}n%5$L3M2DLf]z34}mz9#E Hcwy|ZCbgXdt9(Ԕ90@ A׆ۙn s n{b'6s}B380O?*E*]\O'V^&dZB߁tAQ sɮ%f.mOWﮯk0[(ҧ b5:_`E'Rʃ;2`Lioas2:n`ިg̵jp<1(._oC> ˝o]X󛇴PhCV7Dt>xiC?_G7%~WL $~j qqBGSinFd@-}3v酲2 绢R^nW^E|wQ/`hw\yd,8`>{h( =vH?m&^*Bcv?VX%>OvVXUIGAC>~/.ڇͪ6 aK<Ĺ?x{)t(; P'9\$|+ݮٮf#e0 P$zx%Ao뻬,yv7qt s촻Y+FC `(hEǎ%&0EP ooq8 j:zyZx&- 5N=%?H QQ}eEB#@42R7MENs!YJBY0(xnqZWSpK܅i $ZKJ.Sh#3=H8ٻ>] 3P$O*ߚc๜6_>SjkI;܃Uu)m'=6){ʹ}h[c=Ofbʼn{%r(Ɛq@x,lKD\V8?+!d#xrߎ̃;u B"l629(XAJSHe=3ff݌[>-lr2ܶn7q]#aם1%/vD`Y7T݁7]Srxg퉼l+l}3#{SPy߿1]Z򢓸sˢ XgE-mdILmt`i\>cWu "=A2=d^^~'8G8?0M7RLjQt g0a*HБqLPM ^/MfZgvwJ8x9;QEG32o;8YcG+U䘈e]M\|TiQn'YAMVw$#&ɂ ?k~NwQΩ{\.M߱s{;NU_t5`sM/. $KfٛZF m'7 ZIr"IBH%tMUv,Af 5Ԩ! ADyuXG.Pn@untv~QqZ!'OA:6' Lݢ? 5$P9kvHyPz¶Du;NȏAFԧoA(Z2eYB T3` H$-ŠueIE.sv*K&&Ny#+ԯCRM.~{^34t腒Tdo.p [c*Evmo6Y{K V*KVi ڐ-S gxG?).cF[dC!sVd#_HKʦ",gAD-,(`[|DzĀоpp6I9Z[7\.-~٠V}ѣWV.Ke rw$MVǪK͔R(t*$e464^%&1leFLrͭ' _ ~}.?ƞ+U˂ZTv&lgkײ[x>Zt-yp^bF_5?1u,蠮nxr֏h[Lvx:kJ]gNŸ<$Iqh@L+y`8c4!I8Kw*zicugU 3 lcET8uf} n^tx um.I/A1x/ W%+Kާ]ٖßLk\KŮ_~< }ԏUNc:EKB!X7kEI`D ")N[ qcNGqXX%K)?O׀U. BqpTEǍ24E -akb-P[<- .U½*1v[r9l[>(ߔr xc2.Mdl:hgSn`naPr~<[7S,!qbKAѶSvR_CRBjޥ@򐓏){\˘FD&'uH(ܓ7 +Svu P˿OpΔ.Ao X7 B|ЅAep1f \ yi168&,sK3xGUn./7,lѲýtGr%-\!{d?8Hkov+M:ѿJCf&b[G,ںh|AIlX)@9r Ze:VYii50i&H:IőS^PCPo DFLF ~ݒ87?F :;8%Ɗ,g^mxi$t4`CE#GeR,EdK!޷h^&']P@VG-z ъFNocy7 $&><~L/zcB 7~!gG%J棿;F30vX`_z<Ċj:p`A/1"92D߈'x3Xܛq+B' ;u7Xu@;qs4Fub oA00֛2K'$wTG p?yp[Ξib]v U di8A$x̛6crӪG13 /-cPc=SLRÍWn:ѯQR_])۹ʞDXYoPU|e*?f:NFlR96 Й:i%&AԒ&p]M$VI-5` !s2:dbG) :g1*hi!'Y)9t>W`W\,G9H|g x ai4P{>vr\v Fr|MƒS0U^;Ŗ Nj A- ;ޡh$uj02π ;I04I2ҤP4Egy>=! +maY$%j{v31d)|2FpRzD>?-fB{FlD8\ EliC (C;g'|pl3tG!;,dqH1,mn54)@|n^Yof]uqd%A騨9Eh%@R&ihnb5ThRAǎT`{w0Ny.Ҷwo X$U~*8@ВeSܾ ׁ8iy5%4I2(^ʘ!E7o{[0Gy?Y@0򞡛i`i^d[Z6_#֬ /ހwLk;=0F|U0Pc~)w^ٶeXMhAndCy<4ZVi惛1QB>$iOƳ|{ n}svu[e<> :HnW\AQ>yhDxqEAd-/.)lvG>H s'\a/z2GcorE?$@-Ű߉_p h?jE9csJBmr6lH{ Kb&'VU .'b>2 "goTP:'SWz⓰E"J!8o6 4:ʀDA0uqK).ekXڂ}DVxGFd9ar-=C뻩M!z@zonȐ\Wyi3`R%##Gz4{&+H&ut yM$$pXխ}_kn9I.M0Zy0ӈ"Ud˖| ?6+&[4!U嫶bWMEfd-Mhk;* 5"xhŢd#-l721~iXH7m@1R[5Ԅ+gt "It,j笳x\htP[% @D!(j W GP.? }WS`|#QgA&l(ҵ8`O:Ɛ-Sr틛B r⌀-iBi ո %L2^D<,hUzk’x(&=YM)ڹ \Т>oRIuYVXnA/%K_Ĭ̛ෟ_o8Be} uÙQḤjqSO$2l`&Wsųs&Lͨswv<-#[Aie楮(r#!޽ Ґ!zEek&[Ғŭ5L |&okvP N̗ ܊>8 Z1sn"/F#[}ctGH* 濥S㕊4&-q.TzźZnqn%|:c%rڝe.ۖl-SҼz[=N5 ?сAHt1?g7ӱiRYj ʰFp\ k@D.siܣBx=W?_3IzP 7E[#0q2p(.tH2@w['qr-N%S#ًHCEղFxN@kg0 @í3HMlՙN\Ox2ix1(%BOQ? ^df21_-=gdq.iQKYK*x܆Zz+JgC;f6!o[~!܃4iA}F\.vׁPy/03Eg8T֠/mF [ h1V΅3t^N\1WPưa\1fSqQ_=ݐ!̒I,. Gwȏ˥HNBGFGFܰwWoMaeK\JDp8{ݳ8Xi9\tL^'UXxAAkA7‰.q F Pgzwj7OK1TzZe8O؛'xAK66q@&pTfS!XcqOfc8lυŁحkSco̗+%vrfg@hHY3n 3>14B*: xςUv d3 xx_O ᘖ\v/eW̔ݖ% 7хRlYn#)z1|>ǔm b֑!\yS ԨEfj5s ʯf:C"Lc {=TjևyX )I3 mD&]Ρ"_<iu5\]m،}h8C,_h9uYV-=MO>V$xҼ+wOKm+aBim\VlHU:lf\=>wghI6NWKϖ&%$ıψAWA@ DfL< Fb|Ȳ {9r M )Y6T[sQ^d#7]"5 /]민BRvڄ.¥`@"W5@\UntwC{t͈0˕$yO##V8=>Ktc͎wWu=ΟU`Lab@/)3cٝ(*P8p< fGKn i/f]JAȪÇI5D/gL{׊O5 rz-+@%d'#Nc4ۨ 6+iFWϖhXHs> 'Mr@JTǤQ<]]qKo9$ QHMylkYL|}Ith0g(dw0LHg*(vzrGw@gwE)ҶMж(>[)Q}&P,hf7@wH5mdFB{)e..o#3򵊝P\(h$w3g dgzHJf;8:wheJcib# <#[kT")1g6 }-نjҧ+o* 8A*c'dO _;"Ns+!FD15f#) ;?:6y k||>nPN~l'H_ M q=~U^4 ضmXn1 /8OmkէÒ1L~aLCes3Ȋ<gm@ݮ^l E,Br^긒jHWZV0ڧ9OhfVMPͨ !2Y?o FaUΕmϭA<5L e.Ovu&syz+ wr&|ն"/Trf p3 kGρAfZѮuE>AGgOa}y]~DCOEaݣw4zs1" Fh 6 GrLoDH]{qޅztF̒ƵW$H1w|ZU79`(A ~&e{=*`*{/;޸F|~:4ѾoO8ҹ!m@ },'05Zw.;K\6-gEUeRVj6# 5<ۃR;LwΎiW:_;<Vͮ}M S6Y!3uE+NՉ} 2X@w*@ڳZxds<ʣS}I 4\_O~EiIkS67< ፔ8E+4QE 6~R O<-%9pc8i fEZI&[EX?"uLjr.v#c|+A<p!$<ɠ@el"c[AΎ^ze(F6q:bnK2У/|DX@TblEO7AyQ?= K\S3BlғQ @V`-hp˛ {0lo(||sIRp#rnI;rdWs[CW>DGOvsywEzB*2>*V+IV[ϧYd.`!#H;dgG ;-Dy\)f9rUs7,]i$5gYw j30KhRR28fXx|п=nSu%VZԻ!=y#ڰJ??%ȏLjȮπ7g }K]JKml FM%.ͿQ ՏqvkUg1 XO͂϶di@%x]/c",~?3wU<3eIQn}&_MtX} )1R.e7@ mWuq?}:KŨ.PzC1,B,83ަ-SEVg$F"Dv,W,rM-_7$ :-Ҟ8f8VK2CvXeNQʦ(ʽ>,JQho]r)b$h NFLa XH`;џ&m"mϊܡy\#Ek'~ZtDЌ g>ktZ" 8- 9]kLHaʹ?J+EkZ >U<~ZzÁ,AY]FEmf7JQ;Mfvz)f(+l%JK-v\iqetJ:Q cX9mX[_+v9Hl-t8,Q&/PeJ}~(6Bs//f_-ڊ1Mi'i:VxHA{>‡'I C+CfN(ϲ=6grKشUIOҘ6hJ7tqi "Q7G3 ,Gמ:kpkn?#)fs46*^\+ Uif uP:  XNhϜlYv~^lG=uBz3@AuVb阳pgI`LM{Od8ެ)&N&+MiPDaTů_~+,VS[&Xf='vG5xNmHV8TanJCt1;buN6bvkےiȂ7W)l;U-2愨o1w\OZOpCl6}Mh~7i o\P,f;kr⚣+믚vN<^m \;Ccpau=/j$U /M:YDg!ĚDq3+%:]KH̲;Lƚ9z"ZPwa䌭 7 nQRУF/Ca9`1cB9 1\*ju2.8[?TD2r<Vm4#yTY-%IмqY./]cW"x#.0 @?·nfa:ƴDF$xovάTWna9Ny5"bCIIC(cg UZKU~I> @w"Kk|9nt6qQ{0hr>CT_?YiteO~B)d1BY2oTkgBU4|Cno\~o< )U9XRj9f[^|]&!׸mxL2wCWQ?Y 8";ߪ6)rIJ,_0!w[kjZvp2J7F#sɿN\ HD!ұ\ݞiw9@oǟbK)SWC3cCj='dVќݙkt.󿂬j@gKJ챜Ī ZC1ЖW^/ "H7+h:NEV]8aFye!r2m%ኀ F H\t؂~qdh>ȯ1C[;hώ~~ !") =(eL;\m3& u0]6L<֙IJHێbu8xܼdp k#ј|gblǥM{ R͍47r~RM\VzIp@΁X)pL@qXiT$ |z.V~nc}#S3zꃉCd>A ]^FGߒmY:Ky6g!!{N[ { `,o 8g=ƍK,%]C Q rkzD,?"3ˎMA szF9}$e:]c&īѻ>w< c/9o` :8I11c:xK%鉷f. D>#>z5)0MRs捕0 #=&(Ъtmnr4{ONWSqf>} ΁T5 ;om:;E}n]q 61嶻@ڵ.^%Zg\̯ˏ?ڃ(?{tF (HnT?]pq"G\<=yޠwѦz{C`&[nō׃ aI=y{|,(M['G`'{ lݼ!. e*r}MOH)"#+`M,ޕ<Iq}Gt̬Cmm% [ݧ3 Γى۹Þl\LS@Cm&4|Jŭ?٣֗H8O^8Z"6ӽ`pEj=9Oz+N3%rUGXY܆{ϳUGf}ña!B o%Ž<ߒݕo.}oG=8)>Cײrk8Fq@վocaHUW)<Qt2 ,rӪ4ChOJ?1D/-WT1?~ʾOw*6nG_ K 8w^A0q1 TTw^s`J=gspG޺Os17Vlu-C%H~XloĊj`s* \jG&?7A_Õ:qU 0|,>5F< /4hxi"^BdBb36Lgby8wW2c%=Ő``zIt&6~ 3a\g Ȍ+pg~E^n˩a{GcOOs1M fdkCSxH2 Hֹe2,VmL[wR}v|) υ/t4PPVǸ nmء n5~$d:N9O(R;$ etvgbDL{[qJA7^`VSŚBa3X($HK*oebe㑧8dJN,5s*?ww CZN^ß.TvI"5I޷Hd& uPώ(:)kM% x:Z"$V*QMNGǥ[bC0nBxH3ЂmJXr2 ֽd`b)^<lV~!)Y`gpD.,'|rv6f;/-޿&|ɫh8Pn @}X6?֥$[{"&8~Y/9#~5SmYhkFg:.%")(?ZLӍ&x5aFu5=/Ӎ9cu=8W{N-, ˿J8bR-PL3۔C1^aʼtUQj91;y₱qq\Q/К{f9uR JG4f#bH_e(b®bF\ "0,/~WQ`nw `L&zƶELssTE]P*SoJ9&ݕ} VzU[q4&r.ˆILpoSGd:"3 2"b+AF'BʥՀ GI889Cᾊ5U?fU׌cqaÜ ksmE{e6[{n!ݧqS7q2BR8+ U>+Uwqsytޒbց~/n 0ϋ稬qMR4~j.Ήh;|X)XEzkk4E#8~U !Ş{{Mim7R9n]F, qm$ڦ <4 zAG{"h㉸Tr qqo À/xh 2#D+y2SyOֻf.>ϨjaՇޢ-O? qM:rar6Uhk{[5i୦Ҷ铀sEqxjOJz7V\M@+1Zޗh% +#MpN>1}Lz|>5Kߤu nQ\p'"([\k1t񇿞Dvwػ8Go(T5kp,ҝ<wмҕ~.[ PăsVr Vvj uPԧ*N?YIHؕÎduYN!5ptU˰ds_E 8ڗ+p6yi)nSh>a1L3=m% xCGAkm5|TmqIUF\odڰ9[֍&كyT5#,}.ͯK]h8`8Ĭf hqQKILw^y}TMV5h)D2MUjּd𝙏wBɟ$ fPQ~æi㓟Z ]010WcG*ų'߃S_ ,̅5nk6VVq6ueT8ʺ)pU|VUu{uo_G̾$:OlBy!F7|LsOv}9HҹY )mf!mi=P0s4V"eGlԀPlp$pՂ*ܓ9JX l .>O,D$Nr_-[Ύ$o[](mR.dܓj_?{tN%J- X>ULryoB><Ǥ-7@%|a85Կ- p@ЁLe%=&/](,$Q34+:Ć ,mۨhG~6DH壀qҘ}fYhkU n8{WY6!׊>Jh1ܖCg0/!.fPos7T8X9MMݘXG-ʣVT DuiiQRvaDCP!q"1 z0ݻ; M];f~Nr yHH1BZ06ѱwM-`_ fYO_ak4VڕD b;_ `VBXxBDrkEXVB6%.S())$wmp`%2u-MO{錘&^Z@įgAU&Zd㧒+pij6& lψk(}BI.ZG6x.\CFHa+^ O9iВxV#N:dqu5~!*?[&D 蹱:N'E|{ "6zȊ!s@ki/Ŕz@}eNȝ >c+Ҁ(tVc{U78]84~U G[<MS)J@RES#NJm ${%OG/B&jXIJ&^g "ixQ^Dc*nW!_j똊4r SI$2BI),ǕR+9+=~cQ+ރjˤz нv=Y,6E^)}W^}Asl6(zkn?XH#>%#-(b{pvsfk뻯 8 !./-A3܆jVYoZ}XH|c3My_\_c:J:Tl&Vs<"tdmO(|‘A CSP)VfOĸc&OUUAc)T͞t#i<_a3)$`/ۄ&x'$L|䏫vAs#RUŝwM&vTs4suل(DEV@Lj &.Y-Uj;JI9D #YdwS~z`PZ0L5?ad'k7FYxT-Zx(^B]M52+yXo{s>Đ|Vo3k)ܟ96A*OEU06}QKW-vzK=^P=UXU#R9/"$P[gYZrXHdf/Ibf,OJvDՇ ͅ'G)3^pq8D5eju5yeV,C9JJƷ++:Kށ^q;j~Nm[ xHT< ͪ&ޫBV#oqudx辠APl %>U7MPBR3ϫ@DLu1< 4oUWMm#㞘 xS9ȕkzAߘ} PfHwi'Ygoeė&jsӊdlAam nh{|D-SB5C+7H]vGs8 Io!0=P?BnV~<2x>8ꏄE,˲⹂jXpmW›#iu^2`wtR_nZlv]gyl.AOʵS}(M82_)`*kheM(7]<.99;VCxDrdó# >FnhJ 9rZZ9rG:vO)qV=θJ;c|!5ԳC-)ib/L#\ - )| ժc*mAw+0Nvd:c%:xsb](?&6| ]W@%4uqL;7:`i%PvYY냆c13fJtr-[#,aW=`v)/p-7lS 2?yLժz߈Ql;eƋW"*5YgB]B"2<\5K@O~l/7>@.ݖ7 ɈaF6x*Jao]{w `?>o2}b;:SSiB + 4'-'MLl3 C;+NKIfkia.b5|5UULe@҈]Aݺ1r3jvgfi9wL i|M^Ft&;9e}I ?^lLڪ&rhκ3R Ctm&*U #a6qt꾶 z1 `+-yk;Ƕ+mvY`ߠ4aeĞrn%eZ"$9AY. Nܑ(Oni36 {؛+sy:l(yPTw (£|Ed\x47Đ $KJk2ߐmNZgY#m!xv.\foxP&:@[ DN¦dpuRzn!9#C{ Hv4X*aܔ΅\cJznx֏vɵS7lUV7YCl:dJ왡6ꬦ=ϝ 52.5Ul 3Wdb¦y W+K[ kwE U'B;},&v*/4lQŕQwSZ(&SڋA &d7çtWf +6ih ^DE:Թ7~+Jܨ: CA:^;K:Z@› wf\Y@'C=.p,\hP-%o "im{|{&I4TIXpdrFu@1ks.\ @́a*GwYEF0 &PJSHp8H8gb fyA/B;T.f,Rj#-f.eR=1@DqQ I#059q 7֘/فMsxU!iS"u@zMWtkKAʂ5ZyJԓ4ĆH/;a\CcHy $\Wy$cNAcޛcR"V0Hr+#A[ I7~M!~j/'+9]E l%#{gW_y6H8a SѴІ ['"@:>M5 Po5/vL3|yf)(<O,?.YR02Wxd{/GӔzagZ@X#|In=}tE]0$9u7ɥmrn,5[ܰz;^Mu5, Ի8JNܳލ`[0v!;+GUzGdã[Qh 9$m`.6 EަƔJ$m$G~jLm%fyL9{9CÂ;$g݅>d!E0|4*N3nkVAY #HHP۹$rW`Wi= L[]IHE&[@.C})f VYI?g X 02 \c.SCn 'Uץ 3Q~!RSmTWe a|/x} ;w)L\-J6~@R.抚ʺញK.}q8cڥ5I& D8^=" aIΔH<0Ϣ(TM.Ce5ur%C 4z {]fESk-9Kطp2&ls$D-Zki -R gI|Fth^t>Xg܅;?zճ%+ ,Nɥ /'Kk~[;p /-L1[Yʴdya]H9 !!b,$B:DȿF3Lw!~kh"BEBCrR 2Ha? `U>p%ɌZ5JAOEK}MevjhQ/яVJN 7m4;^N% .slVQx 9۔+mRJ So~Ck_w[T{ǙN29SS1ѝE9NԞih'gX jl7m?;$N-|!-N4oiBvcG&>P9)<&l g!T|n`6REPiUuz*n/ uUo+T1úhJ)ޑO BN,ծ"~஻T% .lwy~x]ADS|0:tjrn4&S,zxr `U6X3 Y|ZO G}t;/ z :fz?4E^Mͱ1?PJ>و)TSe6 4'ǵ-gd"ȬcL: bV~^xH>aT{s.v஭6uyY݊4E=:~7hXbA d'/'A S YV.Q0"Z 8Ǚj|Tl'a]zn?z~xN@n(iL=gt[Ʀ 'M1`}A3-K͝^. *vOi;+o&s%6gO9.< z6Wz~_Х 4q3EXXA;{k&&;}=V뀎%[U޽e[zLҽB_-&X,cϋ2S#OMnzoNW-_ }Ơ%TtVF:y6*aM_ؒݿ½&%,x|hN;1ϡ!r-н^-֤ۭznʕ`?g &:h!zEN&b0i%p%19]',ûj@mq"#SV[xCqy:F:o^e;mБ\!J`ZmKLF@B{Ǣ+)^4%mͅTY&vɇD40栆q o_`+z&-t".r~y٨J Haۑy\}" ۳L? ʀ?Uy۵٩4$NϹ"*MOBENFcq=ςvLL͉eNl}·0ˢOH:ƙd,w˫!e)kTAX*-ra>Id+)S,)KPK)haNo}959(qpT\?5X`qQ6VSFiwq2+OB0:(ϲd`u8?z^W鲤eӞK(tO=$yCdBPo? q83 y}QiPR"X';H@V̹kָo!xq-\ΠD˥s|C,h Yט}18=7M`Z=sQYpCKl]%4MF"@aZ'#D'})B&$q޴Ηp<`5%lē6VjG$u3i Ah9`t2*I %œ$~IFhDs`Վ¾`ٴZpR!1.[ܕCm?U2Mem|jބc`oY6m51CywRxM]L!,է]7YnH$2>*|,ca#S*Qu>&EbRzroA.P;x]c=7 't51!6]VݐuCu>RegŜ9i z>V 씫q'5nXԂwy-N U-8!  T{!))0a7y-!Η^YA`DtJ*+w^rJ -g*KIJT/luLWuN }%YY^C98̼1U8f^mDBzpc!GY10a* Ǧ~\[ζzoڔ@(0 &Jb%׭S騏۟bZqykjm ;mѩ=++Hݱ`v'xCKmM7Jd|8Eh6ir3wo5v'wC(EbA|˵x_[mlCT  !Ia{C/S6~Yoj@GUߗ+U#MX\9*7piburz#̈́Xs9!9G0Z~"tt~h'#zOHB.-_:9% _1PO[$PLq#^ BvSKdJo~De*Rf烢88̥ .FzV'N M{1LxF;c?Cuj K2;4IJ̴u?9I0GR+h/(dE]VHHVyɬ' %)Nſ$O$EtϗN礮kM/>HƁiRX1_LKm4cH?mmɍEC4`dbMB YY_(` =#cQSUx5=W5$ETY_.1ӛd(V)J.zSTI/v @x 2VIإx`([ըl65T6&۞8>]IP΋ qN 1pZvmcOƽA*9NΒg:m!Ab ȲBUK %o8D/>ք;~z( IwOua]BM=IA-"O Y9Lf|M} EY?e'+Iك!{#Z SvƷweOHHt/ W7-=g ] <$]3pF6:Z{pIm6o\NOeȥ_#(1ѳ>U=It- ' W{؉¬귳 qpy?Kht"BfB{CK-YMS"t1GҸB)_XYtIP :eIiu cLM(NcB# Ҕ ?y({yL (2BS) N5$lܡV30Eq MDn'& Iʸyj-)n^b^ᙟjDY UvS {r&tƱ1H_ ԙhXG?F;Mp@lpY]1GM ʘ]WL-7,%k_^A\CZsz)HN)+Pɑ--pTw[[BX5̿;(븸(5ߜF6ix3v1Z=bF˞⩌[C.a(n؉nzF@0l\U"n\7E:+^i#ȸGfO-NoJ%~bǃ阂 D5;Aץ3 v9qح\ -Gcw 4F?Lcgns lb{7,4G26#"ͪ槹HBgfR^R=aSrЇ-.n*&9l$M9`$#HM`iHZKƶ,-ýOJ'Q ޣ?Ov(9B)q|T ) Vii '+mXQ0PdM6C+kH֚DVBs|+!0qbWxۻp {W?нKB4eN Ɇ٩*f:Ğ+ AHD{6kb&Z2N]־' n`I r.92AbIJt FpF>>ۇq7HtdmX͊{Y-m<\De;՟R"ݍ /e–"\Dݍ$oʶcLD4hQg~3Df` "~\1'+1 <ޯOIahJτg#bWs@c㲍# 4, wf&%t^tVkS3 y_ٞHC#d}N+aQ |@l}B-89А"FDS{c2 Dydr(ЍxSfyo/ J!L*{vU  32 <2x1e.c-cƮ4Y: ղk8TwnQX4Rf7<#hK_"9I&wSGM] h]5ĭ0: 6VdwGtEJ;oH%ߤ6UYssa(寮?ERNK>;|Bd0 lk2u]rgk[H1M-ijZE6fZahރie"3 xntiPұB.z !bԳa1JDSU)0\!3a:/\ >P%8oD@~zOL)e6ڭ" Ο5" [>&MR[a'4 /BPą x_o/ȄѼ0hV+):؆WZu67@I6 /~OtKvƹ;nBtims|\1ܻ.ZH &ԕׯ֛'Wj׉wѳ4ĕSc:sP Co?Y kw20zrJy@p@.:U@7IGd`XZNde),#"ƅx`Q[McqSh8n[ᤉ$`5Gi30٤Yu`DE 0`dH?qcλwۃCAzm!b=~8dEw!uV]:r'y> o^( nS6_ H~sBIHi/ 7h?J=.`M_`Kp1Z:ը_@h`S9%hےL}ҰPkK]yI9f:dkD>߯󌾯l^֓^vC ܲE]+ sQ;AW1\Yq`-`OI#pϮP+t򂟿>+E՗ŪThllTI$XBwHuy: Ee`ݵab1Ὀ/4:h$2 2EQ$wq*~'Pt)zvV AH}QF( &e[\/US]mxb7IھQ%^@q::_ܦy=X׷J~fVJ;+ ḯZSJ_r2q樆bu0hi)ҍP[#Jݮ)Sasg)2d|ކdЊĶ@}q3RΠ7B taz&! U٨`Sp󜌕ӎb),},- 3hRFoTcо#-Cł}PPʶa-ڧ4ā1;q={(Ŕ,UGJ%}3bkW:{PoR/{zI]cW>"-p96Mv3Bi>s 5QhjiXwSQ]S`ku) M_@ c}˶`!N/OE9 "c|:HI%8,S4Ej;Ui2 @!wT<Έ릪x2?0$H +C 4\rY30eVD!#?G '=YYX(W}n_^ j,p5]l`hgg߇u4Ag ?$) +D m-D*gp ]Є \9 HrUY!`]wiMUT:|1vŲd rj.#Y@d~s$&dy5 /0q@TO L^ H `C\ AKZ(t>ņTc}g+V-LnןSZ[k]F"C6:Ʋp;L~5!.60T͂mqb°I `fTy]+w7u1ؖJфB)qχߢ1 X|w9ME׆Of ;ARĠ u[M^ JIwbETCU{K)!qˡa0Yf]-= qjJ)"nqn@y#lifi^Y7#[mTH[g=BM0Bm1%6% 9hyɬ! SHJP#{DծJÓdYj7l`^$s||If+mu#\T[l5:P=G9dM 兄W=)z%GmjQKu}p =)3sgb]es+DL΋m1Qm]f;bi m2.b=C%Pxr K٘ 72rE}|R?a(Tß0(?mfWtaR ª{Y"MhJRvnK-p + ;&,:Gݐ`1q32^}vݔ9,-&L@|/y HYt0]Pg=67~+J $L65zLyAӓ}z%QYh>:~6Wh1@r?,bPSBڏ5Rs AF<& `j[VǶ:}/ri꓀foL&{F (^y,`.vqI,}9"V׍O J跮zDttdktp2AM 5oncWClej? wP|5?Ը}KC~=iS15U.Zut?N\qʭ>*E)?n۴gw/S%WD!פ R/D][-IGwvhn,G?^;lNRQ{Ѥ1CID_YgWW&JOgYZ ~9E% |Locally-Nameless-SigmaLocally-Nameless-Sigma.Sigmadocument.tex7zXZִF! 7w]A-MՋhvG"uIBm5ȤJGrxqȬ~=*voŌY6759zU'Gc9f+F s7%'v+97%MwhstQZMQIe, [7#ߺoޘ*S+JN|ϨZmS3-Hfw@Gv{d}:dZP*ӳ v0Iو`V2D{AD|9B#`Zʪ~R"c)*[G޿"*+.oӥh,PʬO$zV .;3EE*L (Y=Nwz*az,JA  c9G% DLocally-Nameless-SigmaLocally-Nameless-Sigma.ParReddocument.tex7zXZִF! HY]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈JYhn >2'MNRK$+) Ɉ+=˛ʰU៕e\mnf0<ԡW'@PQyܫr+{t#dZ֡]Z]nA`ƥ{m#Ȣjiz+vlG)a SKQtZ>{ 9.KEr@vZ[5a#Rf{pRZ-l`I8Y7q4_YVLv19]|DN*u(=_^QM1jU&p}Ӗ7$$ E9ԗ=pT!rN!,XXfQaw<Ε97͖.xD-_xhwNW;0qdg 9B B>z+Q,u|tƞtn ֟z(FF[9a؆4,6PjO>"l0 9yɯ'b_BږHKOY4'r˯ӟޔR'qDl5[YSk 1UhXLթDD2F8㛡0!+eUkȭ!bFwU2D~j)ּ(;^5 X^m.ooRÔx($PuRGJ++P,%xo ,dw;1֍w'Mn =6}63ȎX 13j4ӷ; 4`?XncJh2E#T"'LHc,huA@u|evfJn}"Œ@k(7bǬ 3dn[SG!s! y1ZERWdi:;R'R)mit-L"\ܖ +Qr b v oGyxtY݃0X0ķuNY yԢV?5L?nqe 0`ߔ",#Po^)n?a=I! _Ȃ–XN|%"K:w幅"i?ewQC#z.3ʦJ2w_ҔP%~Yy V>ݡһ(OٽhtA1mDQq750ϳڼbEZ3 C\qkQ?ՠ5M~G?n`@.IFcڡ):㗫.DV ~S&I-1/6?XFOO2K)z.N˜ʷ%vZ&s62 y2"%Yo?HNur8G)^H7F _Ҏ)   [9O% ,Locally-Nameless-SigmaLocally-Nameless-Sigma.TypedSigmadocument.tex7zXZִF! eMN]A-MՋhvG"uIBm5u xZѹGF^Ly6sHX)kR+xsK檺U( 8p‰2Rk0_؜Q37+?5Ko5Ln밻~l㋥ZLVH>#K5uTAdp_'ފMoyr WH0ـΓH0RhGF5'M?b2ѻ2dm;b͘h`5 !) d+S6t_UU}mQ oe[oY:o6Gwvt?@z2|˜FDL4kpWURYYL2na$TFkoEv?s.KoQPhʣħ+-k/$=ѝF.W0!gO>^Oek*wDEfkek\6sDρ z76 #A/䜖aA'ΨZ}.I&Rtmྫ˛dxQ6?`ԂU*蒩43L9ܿ[fЪH&U҅usԄ^GlYl7Șrr;r5"A7Xb_l ƩT {/67Sz&-d+z:p8vB1;N"HQV[Jg>]6HlPjG;Q=hJ_j̝I>Y䉯\vCa> Gw`_}\`h.4fK]Uر.e@J|ۼfq@Bv ͪ"s\Z٬>kRk̅m|)j%?_9_O[:{Mwa@|H@T.4n-+ۄ'lkbxmU(ZͧKR&q!%,/>t߲P" o߫߶H|{(-MxάMGZ%Nu1Nŝ?6x]j؇:4 E!ԛVV#Ai9DpƷG`D_}o,Al\ \z}yB =,~wӒL_ %_i%{CzE$ ~b-{S@<)5&@=} ٓکo=*fH-ׯPv^mK{hl#˕{q+ƒ6zQ  u(qb4K6 D*~CycދwlLڎS٧N]SkHH=!xЈ|捱E6W.sbyeDi_6"ehBu뀋wcێJz' $0drkei#8!fx DX} ̕E՛ϯI\~XIDθ|Ò ܅T(bzej@0 \ 5LC]ʥ*(Mdi*tZ8@r q|Eр \.A1n.bE !jVĜhCу,jXu=Hb./־uOc%LˠϜHbF댫xM?,N-1խCG5 r(g,h_uxi7HY`em$uZW[Qq$Q GSAں-1>]Tl&o@ЍPo"Y ,K!g ղ̜N@ ٱͬȎYB 7?3Ky~ iv%U.D).pjcOÏ5>t I CIp"$k!R8\E*'2 m7^A5)9\]\ r[}y"@LH]:Cb$lB>Ԝ[udSK2 {6*V7vzX"=պ-HdhYf~J)dBh޽%-jЮ}юrھ-Kdx(XeGz~y|/\;B~( X0N PJS*,`FJ^>|lw-=7[NF[5l4Gld4dP Xx5`WlLJ,SfJ2m23d Sc2|k}:obپ\!P#o(TBI?l` 'h]ھőO " \1ł _^,X ϕR)d7/8 ƍw*7>kGJ oRWOm>SNa x >ŐKl, EAWH F la)r|bq1#Jk= k-M,.stUI9O1 9*˛Qn;t+ LDuUȣ[PbBtP=d=]By|[3g?j33WR$.oX5IՁ5SF-@K>! 7!Z[؈Dխ@eR˹bx?oZӘЫcB1[/$'/k['d*S) iJ&hpAqL`B(bM?_6'Q)9g0W"O9 ^{Ǧ$|0n7{,P瓾O B4A mF|%F-*hz<;}?MC}ZoYJ7h} vlVR񮡯7U'mgƹj/ P%l0缝T]xC.k6'nJ.vɦ:CQ iTKѣUGmuI16lbQM&Wjz%Kg,y?vI6a[0@TI B7υ_h| __RAP4Ԉi@J~sOOE0QC&s6$zEhr$l{Ƀ?uN>8/Qkw若krl/k/kOH$T"hΩ|]'jxACBѢj_B~@ㅥ2ļ-.Ғn (WH,TTb 3/JEzgs[_2E=Ux^X1' E 7rx^) O┰tbͷ aPqY36[=+dRG\r9I~mhnmsgU#\5X,y)*POiF!(=92t#}e%:)$#?+B'o;S)ŷ 5oCO ݴ MB5P -!˴۬ |thS\c% {䪖>sW,j/EMk-pAlE4/]gVk(櫨htd8-^ȥ@0kVx/ jfʨf#p^8EKh ['=c0QSss"u.ETۅwR[ ŖY`kL$Y o$;_|vuzkoc]9`kjX2MENkCbOo rfh>)&7#6VYM{zP,k4BjT#z|c= t-t]H qI'3fW.W\Tj{Xp.ixѧV0GDo&K!Ͷ aFifB885rm1 =*hW~l*qA<=i`RMR%&PDW$_< YB=Pե rzOAבaa =?,Q"F-r%Rʴ:~YZjoqz<5gZw /4n:dQB`7Z޻"u_sRi>&E ^rdp$qۥKʮ'DfR f,BirGƫ>5-gWYK%[tQ;{S3CXĸNh wbqwĄ=;PbxjXK;0pJ̠I@}buK'w;),-EH_!#RYپ6Nwicdɖ\BDPUWю>\0|r%5}P1jb& Y1*"lz(,2w_׳{Λ\\kẃ/؄tNtD[xpiRK>"Kۯ~3c^M % j fI!'-e}.S%r_G1rQEחS,!+;Pj?,J$ 7-\2ͧ}M>\ Pi1InUCU>*`̸ӳM38{Eit9#$F>U4jCӪN%qP#n&Z]]lL|oڂ&AqsX ks"Qɿ.#}q==}MzPg:Ҟ?nSi \KX8p=L'oD,jo뵿-cĮ_͚+p5\c `K PId%ArfMAjؠʕT8S$C(KІ PKlG(ҿJ B)Pt-[%$vfo7\#t<@7f_rIOdZD]K`n5K_/RW&.vl7((n#P/A;)$FN ,yOqVtTqg6 툦Kчe /Nw/oLZNYs+76s.gp-XALf^qz\:a$Ш_ΆGFLSoaXj(T5lO瞒㉻0q%~%_i5H2jT»he$5| k5B*CÏW8E- rllá|Ȏ/wÕʽl҆ܭC.W?T8*Gl?$cBoyl:_vM#b-ycV-~n>ǕAu9f{PAz]8Z^5eqCԥ(yU@*p.R`ju%dBra[j Zp3xa:"c»wlb2c| \=J6y0}ĶfČ֤b\1kCCǖSv5[w(.Z)}jJLa]å;?uE$GtЫi 'RzlB6IcD=@]גC*Wʧb݆LuQsXwE-O]e/P5-_BW=Y.`P cW(륜OKeAϡX`>F]E ,5#;q;w5Fr|<ɲ~ xvwj.O|!y_beX7BbVI9e09s$Gաn\_6@:_v}oJ:/]#'uT MN rǧa#u3.8ٝG͵FED~gn#j"G Y{V<f2ݿ,#*lM$xRpخ+wn| ~"M,䁼$Aֈ9mzc]ge'h->7?ttưs0&MIIF˫YYL՗o86N<}sSe,;IM5Zt-Q 讴>|f0į-|P[m&M ;3oyl0Lj_*knK*k_(W%&] ύNg C;u5E>L3dj'Nr92@Rks IP;sɬ&b(E7LIZ*hY6P*\,4;qHv.dR6qZ\RܶkQmU`N~wan" 4b%9.PX_-Y[FZGn 79/Fptφe3ho:H#u|dіriWBe"lY5WЊ7GV]Z Bd*%?Sa٥ #"fpwrp` HwɓxZÜ &<&az#2,|U*@*,s)pNԸs|ڪ[`iӁtHM2 \\/=-Zh$zT̊]%걍Ď2N{5V$; Bs~wY[5gWFR9j# Ske{lI<]ژ(fb}1_=Hh;qkL_}<BA}Er= ^m$ VYd[9>/ UKb{Gj=;k~ØxlM}i0NxcOҠ y(gF8}O&Juu껤5\DwOgɕpG6tRZ_|A´v#㥳ߏ;9׽/7bb^>!L&}<Ďy\of$MqvӹF^cmDLD#_ƍ+XsU_Sfw^[L Ԑ':bR6gI! wQl2hb'sDA[-wVHÄ gYZ  X X9C% 4Locally-Nameless-SigmaLocally-Nameless-Sigma.FMapdocument.tex7zXZִF! B$]A-MՋhvG"uIBm5]_u;{ὈW9w,2V`9j=-w_KWG-y2ղ}Ƕ3C :xJErAAXMJhnR]bqp[' #8FToyd G~h+dčtUG Rqn!PJCR셏k>pݜSP)G-wt}||ǯ/S5ߚL\~R 1_puR+܌A9)_ȉFiU|oyGѩAM]j4+tJ| 銚?Vm "'qpJ KҏRǭ^QQ6yH@bX5#*DloN~zck&Yddoh U{}<(:!*6iZ.# NKB?4i(f1GRߣ~"ݼ)8@ۘx>qQ #wwQ& Zo^"%%RCXYsTF+UG0 cZ9=LVKEj+rK`QÄ" ))Sf̣Riy05-oʊt M|;bċz0֒1VL\[vӋ5ɃX=z&$Jw Gk:{&Qiώ++yec IvN+ >t2T@6c @#eq~syݹ[j|tso>+1y)qShc"ٕjI q>z/|E ιAt=fv,Χ?OEAx@|]YJ^ߒsR}ϪNjSd͓EV{@@!L]( ,k$h y0UX+m` `|K ~9G% |Locally-Nameless-SigmaHOL-Proofs-Lambda.Commutationdocument.tex7zXZִF! ]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(n{* &03.rȴ=N2>>Ɩi-Z5]cjDFZ,bJQqBT`ʠM̦ lsS.00Kf_t!73~Mhws"p(DS,mCU`xZF݃ Gmh,15u_@b{+ py{~ASV&+ySM&3gQ' +5nQߩ J#;"ؐ25*߀$^E[K`dsC`ͩCb YMbP3w\=a+FcQ*=*DZA6}x\|fxwbPΐ,'ӡcC*tV|*1YcO1[JwU˄& }đVz`,PrW% .5(E,r,ߚ2 ́h2*q#VIiٶILWrŌ"gEŃ]k%wo3>;GjWRfmPѿFOHz}si/u{}~*xrymP'>Od h)xy3ɝ&F}mI U;DUl#K7DO&[Wk.:%A)4t]1n's:t Bj .'?0v,oHÃ峙;"t-(\ƩyXY6Ҙ'x] 1M>m)Dgg'U|v߃IR 8^T}*_wsJu]giqMA\Kje,>iJg#5gVe)ů=as C0džJ 8z?ÒD\4;70=*m($P4pn959HnjU+r,D9<% wDdRT^/ʐeL%W\, m f($7 DoqB׳Dȩ_P9Τ OϘա*%Sb}rv48:+0:k*~4O6DED[h\@1b}j'b_ i]pM*bs;"|M0ly t^4<\6}r<@V> 8Nw>ɴ=e!AQgEDT>(5RAoޣN[k?1 euhG0s/f18kv J6t-y5 @rHg$0Rd;잙^Mp"\ \]S1.|8\7J6 F$h[Ԉ_pǓW6~\.Y7iťv~&e!NXBPM>/Z5(3wډum-*i{6sӆyI`Œ]*J8߆|x8gT^h:3y6UѤN>zp"•ɊL_`e>[l319'LX^~0_kʴ@b"f4FC @ E c}G?i!Q ͧW??#lrI=[Gް0v߁t}>sr#sbe0`S}R>%/ɵu㙝r"`=|J<)K<`*Ϥh]%7Q`[A"݊GO%ǔ#lѽs;¯^>f~":阌_olgkߥz Ncp8{9!֚bYdKr (0n,_p:cz؁^{߉b{ZO B 0ڞMRFUa h%Tޘtq_]7P|zۅ`=q%Gg|ֹPS/iWWU՛D-{cU a;b C|:ޢ&RlIiZO(+Rחq)y{*27F<-o  =5v$:GƤݽtT\`1ǎ4A3%%sT.x?ܱH*΋؏Y, {}ZC&lmBq4h3U`e(ɰ9_Wਫ਼eG+S伝{i.EO،J9&4@ytoA6zz1K\]P%O]biO wvԭVB'{ 5ᢚXE.k=N3SQChJ⒛N0rc_T@( T !o#8c@궀Nn cnÔEL9\),a#sY!!is Z6DI2}mH_6Ƴ96zԎ 4iVW36 : LAQV (}LkÒGGW`F|'] +7iQq\+G#Syi ,-c[وތ-/'H|H  +MBdc @e8[DPR~ ~媐ZkC#9Kw!AjW bZ~;,0O8:O(42APE$?eK7_*u/&Gn/ QV_I iy‘d}+SVՅM"z]`>iim$uV& 8!_ _CaOuD}J/[johJ▚ݹB! yHwᘸ[>v沺܄Zd4d@X7Nȇ1dݍD[OwKhlCH%'ŲSޟ #:*0exت|LgtXVpO}<1F3lP]S[s-01oFm)G7a<ɶ -{n1߇I N~ZHb'u;[UH lOdW 1>y%b7HIi">Rr296ly4hO/'RG?PlH\x7@[ Awew!)rQʄ}G]=J㊙b͊udF.|Z-vN%Y3!*7{{qweLO.Ե D̕:v*I^T:}Cq3G|X˽|W(ZTw{_!/Sd.|RE1ҥDJE]E+A>VzرO@hP6`C~W?]{}0DqdksmE-XtP74C'& I.)B$ 'c9T`o݉RD9/MW\ *vVBHfGLH/{]#.\&1I+$Sް,0l`Me7fJ9|r/lbnkQ"#2B= * *B~MȲd圐f*RS/A<^`]#&5p)U'W̭Y%D8Ǎ>JagK'=&j#it5?_-OnEs#˄HMFWXtg5i?0k$T'~wGΗ!\uN dwӄ[BE96w+\kuc*u_22kNtҍ%rEH &6[!Г`ZT79w,b* ͂&(>y5M"{/|k\_Ɉaiq egl-+J?iER8x}֯$,!IyO]N(OLgTLgaC˦L7 ZCȸ,<&1UeG2:144IEAx7wsj5ą8S$ٗ5|A2fhcÀs&(/Bf޳R/ND: O@7Nt@cC 0Ud6E M NjSZS}LyxIkA\.OQO;<}(]|lcox_gRsRk |2Tb`TwLх #s[w`Ts@$Sf9g5R@`w]4E\P|W,4W]p]@޾jux#ƏE:Ur H@ϠK@WM 5b|C0BsO)Pͅ{%1=68``{^&fg!p iA_P"CJ&k~\(-'6eMfٗ]n؟lyW ax=&cVj% /#a67+,y}GUM;a<|U؝ y#sTxh8pCZM۷6p 53jg`%&<"'k,Ñcps^|p5J}^lbYSK}nsx5 ƟasB2ctZ C-_Uу'7n Xw#v"*@j|:qTaorc<ڲʾk8YxXa)G[ +"|>~fJE5 Ilg6S^8Swb:sf*Ó{p5&CJ q9+)Nk>Sۅ}] Kg>V@ITCDQJ\z}X>4;u9ƃ\惊ٵ#CWZ7-ed›ETX!=%_Έ ]溎urMA84t.cλb@X6RDGdWݠz%Ɉ|"i/z֯OLp4 YQu+1+#aL"w*pZyWM\8Xb Mv` y KD3@_R0D6TV6V+XGq$j_eF5:'~(Ҩ@L%,̋VYwQ|aī\ܑ? @j tdo{4kTм"Mzs@uJ!c#Z45~wTN쟼 g\ە@jrFz{OyGwfe1>ި&bc0IKd%H?# ݞt,q KfC+}z6gYPS~2'WvL DТ^bC#"tU,]d>-ݷ0pJ8Q.⹱gYZ DUD9g% |Locally-Nameless-SigmaLocally-Nameless-Sigma.Locally_Nameless_Sigmadocument.tex7zXZִF! v]A-MՋhvG"uIBm5&r/F,cAQb1t Xb&2zʊQ !PFT/ W9 Ff+WOm꺕-vƥCYx8εTm]$c(}VZ9c_J};a [01xomVwa}s^%kQp@:05^4aȿό7@9 )E3ږВPcVrY, ?mnE}9$Z 9Hea+@,&«WoZIW9Xs[xݒZH=ԋŞиu=vn3_FrgYZ 9S% 4Locally-Nameless-SigmaLocally-Nameless-Sigma.Environmentsdocument.tex7zXZִF! |4]A-MՋhvG"uIBm5E0ս#}UDZuy>EFZqI5p:a[Xdu?<ٿN烎Rgg1#ʓ0FC@$3qpcZjQer)5ml9I ! Bж,VG;iQzC#jmHC' h/IM[T^g[d},Md!8ߴMEb<}ԯ^e[xbJG ;X~s DdZ޹/Aak:z|877]%z`}lM7jJzГeO42;ds0Gb=VO6yjy34{رu:rU_EJ/]CQk43o*t*;Ȩ/ayr߅K,`W~8`A7՚M\2y +E;3 h~>ouG*{.L&Hb:WvxHݾRQmr`r21 3RnO9z!X$ X2RVCleFbL0e;[i7]o}zZ21GPPT>R!K*eٲt]tխ϶猑)vݧq`ZoM\I߰fh93S f˛Gk*8E XE5A,dx* ʵSeuDmGm2VҼ$@=U@C (4Sf{oA/ 4>V&KhC9](:}@oso1`I;:̮:EVY@g۠'G\X:3? ]_ä:3%HaQƆ[$kyJ2 ZS<|LHosE-qeB0Hq׫E_EE#ϯWg0a|wǸcfd)噂/,CLR\K{ʩ BB;9I% tLocally-Nameless-SigmaLocally-Nameless-Sigma.ListPredocument.tex7zXZִF! 4]A-MՋhvG"uIBm5grD~vvm»һ n[, .7]@G@P=p( 12c+;hy~cxoЪIUR~^80:f9ܞSss 6bnJw$l3Sż|>U>7!XkvS ^z-'ml~{Ԡ>A(mlsC+~LU jcٸ5z= qda90"e[1<耤, bYkn5y8R\DRrŌ/1,$ڜ?lH u節a'I ix[P\pe>}z }Iש^&fښXٺՙ mV4IΧ7x%QZQ#Q*m}ՍDm;_R_TEbcKa9\4Zd%`yF8״%y74lɺ8_ۮ)k.IWu`o,B?%٥HI\.OXN==Ce>4dQƀI |5hYpk$*^D]2 {#uE{+Πawe~eOaD?00ӂ7S(($7e[쑱"tH= unT`-V{)Cob|.N^GF'԰ˢF=LJ4!]0FYN>MXk:5@^yVS߷|.]8g7^H|A[M'@Sl4?דWUbO JW-ֈ8!q9b(qkЋ )~ vlջX L[vNS;W2*^pEfF(rG 1` _ ujWw!7*O= 0vWTIrEpȍCʛGܩ`Z4[ cIv!oyg1> kG"GN.7ʰkFmW  Q\B~ Fl硬߅vw2trt[>\!)d-4v Ut&rK|(GΫN/HLFPHN2˵\PaAZ'iš̘6Ȏ\$I]8 cҌϞwȓ߆EHˏd#fnYO4f3k0ab܉Zvs7{q _ vG>Ggt%7`O֬$Ssnk'j4UTI(qVt"00vf;i"ّ L o- (4 ֮ E̺I3&aڮ/1`1}/g,RB"􁇯EfwZniO^k zdEy܌^$iwBj^H۞3Xl̔hRፓɠÿ>ya24}wꔭTgA^M>#4craI:X5=' ' "Q%܏P/[>321 x+y{ !+sMcUE9(]e!?kW)fi|k,8 T?s)&LyCjhy}%@C;9|(.~ }b}nRq5}zdRØxU)bE &%Yr W} 5kIʼ_VZmPn*Ml9qaam6˷.[#*3/y` "  Th4rLP=YѳK e= zɦ_׀t'͢0sJf]{I#ܝUT0M%)  B?Yuj6njy8u_jiS;y1=%yP圂_LTd7Ts 0Df ֘WWژn~nWѰ>rujm2S`I>Dcp5sLgT,ᨒ'năꦓ[Af;sWMU:y0(3_ΩGKS,07Pz-|5*˦!k>"ݓ2ua e3mGidڥ>ʋ[qd/'h\~49:pP;Wќ&n6iK纽{a]'lrfWDJ¾ yҔ6g|_cNu`*BˌU:{ 90Nu9ڏzjd$3[pLJL:,oJ!krYlos|KH B0{Cs~j[ <75^ |} 4J5$YJ68s)FG ˬȄ$3ߦYÛbRQDu WbUz;vS;CF L;3zF 0E *6OEDX) {);!3tǣT&iRߎF$˧a k5pIm‹m_`6Wp E/^Ԏ7Q~yjĢ].z/Gɍdߙg:R9fta>G=őj-AIA c]\۪qٷ/)H͑{Hw>EW:gYZ5-r[Jv)/za-dɩR0WW<#qA;*sɭjX0k nT<.pWȊj ;~f(lE0oz8yMB~'nMrKZ|af `.cT@ttMc$g8UaLf00]Ѽ/ B?:vguq DICCNVɳ",>Q2 wgSn VMp|S;\fMi<^_y_]r҈/Z˹ u/dF,oD3NKMЈ]>^;_^K$_EHpvq;E(@ޕ))[G1zkePby1]>kror1~6`LrXfZH*6@.ӗ:Pl_bT tZlH &gȥ00MuLE{z\ApRA|V4p9-ZA0k_ Ei-4tHg8gYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmX=:LPrm]vт͢eMKxěy!z|wZGG̾\@[a M% )iʠ29eaX]]Ih5eKp4P_!3f ex1!t^@1jj(ES 5#*$dtHR*OygYZ7zXZִF! ҆ ]ŗXi%; `druP>d6na#.fﶉ[ |Sh\ w[FQowY'laDBsIEluUR|fg9Pw[WH rVB\ti#0o#8r1&Q< >ơ-@֨W4>9>kmc@+v2z#ڢO`` Iy-F㠁qg5w~D8K(j؞&ghhŋɪE"ֈ!.(v#cU9&س2 :VUCt"3Iap.}SC̲DɇRtɋHM֏\kN-VJY p3/6SQdpEL|F c(PY.XWRC?Ps_&Jދzr.G !9W|juZ 8r5R߭kRRCK(yO##Q̝x|Wq2^NajMxN>uUioV}AjVih5ZJ,;;މ@]h# wrhŚvIJzFz^g&s.,΋[lOM~*נN( `Vq3ǫ; ].ev?8q݌2k8G1 H+̩gӚy6velzEEž2&a<@UL5)+tJCuȜG@.wJll9_2kw`%ꩊ2s/:% E&((d%FN^$]0 fp|LG4RFʅS3 Y<7QիDEw!T%2F"Yx,mb}y;Z!m. h D9 +kAJĸG4(vS3䫃 0hS_[X5uhCJ7w8,I F>=OAd8Ã1 Qu4ŽDi?|遘ߒRgl=8MJ@Fkxύ.EmNi#y5\)AY}4 ZCYD/tE,àLꡇشgZDh{7gOտi9d5a9_u/ Kad5(XURq rw|Qb/6 DieH}:l(/:OaDN,ts'? (?vjcW9 \: RQ=E2'|A~&(y/-әr9+Rߣ0n/F~% 0rP:q.=}g$7en%P:<+Utʓ\O$.O?#-` \9*˱QJ!W lVIX N8 M.X3YJ:(d{gYZ3f644d9a8b174b2f10dff9e2cfe02251ab7d10200a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122