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 \D ]/ Locally-Nameless-Sigma:threads=2elapsed=38.702cpu=69.136gc=2.396factor=1.797zXZִF! #S]ŗXf1-/6vRZBh S,Xf³@2 4".%-p|0ɀǘ1vdzi(" șYl+ c%vU`8/'MJ8X qZ0L|=PS2G⾨)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.texE9G%Locally-Nameless-SigmaHOL-Proofs-Lambda.Commutationdocument.texK9S%Locally-Nameless-SigmaLocally-Nameless-Sigma.Environmentsdocument.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ᡁHb!/ {H<- AXHwNr 3$'`)~$C5tBg(bT=H]^t^ ;!F4ksf I98$ RDPu@@p/r\Mh꟢#&&%c4gR942҂36)0A&V K;xK˗}@zUs8𚮱#j=Y;vMvS$ J.?}8'WFNQAҫZvQ5I!;?"q>8'";@U3v氝͚YtGȝ{!g҃[8Z.nA4vaRG KEbT5$Jmzά LP!3X#~;fE>Rl(-DBkhdd1LlV\7sO-mn>'Q1p#U#K& φ#L&>n ?Oe&bΡ=>5 J0|`=DBE)'5'5esnc 5 YghWZUђkX, 5JҍۄDar ]\%3L3pWHa%C5r<`QewZ[JLp%ֺN/3;aKE ={ZI  o7"5"޳Z>/->' ئDY\twf% %1нkQuC/ߓQRt㨋eɣQ7-X H4ƘDc_;6+rؗ:rMT4S B;M4MbH1x~sY,*) bȂuO\>s^(pD"4SL>~ F:srėۧ\5']Bt)$ }'S6C+*_MǷ%n _Q%.#VBrL $WWg_lX) :KN4 τסyp"CcUglX t%E+8BWD:;\bN_n<:1ӭƲ45~HyM]Ր3 ?JmX$F~2C7E^I; _7=Jiz|zzNj_dF/۝ʅ+T(ΉrOG4dF7Vn$#;F exՈA&.X=+J$JZV `:_2N} E3_ 1q/Tl@c%MzVW:7c+DϪ^Y QfLin) g2"ō69S]ٖÐ2_ԅMۏPG߅'(2$OEdT58a5;SgUpډvrJTZ6d(+jD^E5 G?#XoNT%BnGf7WrWW;H.&'+8%Qr7*_HǟW3L3T@洋ߖծ Y10p5!A 0!➅0 $) d ,l; 3o|U!Vj'ܠ+>tf,SJ7Bf f;d^q&E9E| r|^ ’1 '>wwJ}H%ң4{Ʉ:9K Tv/\uqo [̓S}3K(!|7*ׄO}AJ쯼- 8BC s{2f j ;X\#ť{晙Q!`,Fccs"kQ(jM׏O3&RxCk̀Z3]oѢlZa^gE- =RƑ⟯ZCB4]LCW N¢ y-d0O楢7\D$̎^q'o#(‚9yy]4~hrXqpbq[Ou(x⵽sX-]jW:œ=idf-KvPGZd^0ǥm!gb4c8]:C99w=Un ʽ+o",A q&0,_tYֹ>?~LNm'ݺʋBhjDj?9y*KISxWBD*и9Z?"*B5!-lĄ)sB jo9/D.0-˙Q ˡe~ӥ&׶?А4fЄ.qIA)8f|5<Q񺻅XtPb.M1MkF2T%0賥oمYqWBZG}[k~y3F) sh<Ɇ{ ,K[xaqxB.) N//b,x|?"3#_I/ICkb /|W)< n(A=OJ]Wݙuk<S+~jy:ƒ4Ou1M^j&3[||}IMM}3?k'+HĂ32W0L߯RgEQ2s,꽌r;9266=Y_#%YlC$@NSd-Q&晷ߟ|>\/dž$k kdiow%sKQ<5  #kqw$3"@˦lB}_K.$4_a)F%f*h,iƪ)JL ߐ Y EÖ2y6&8bɔRiOc1n R?dDqo}_xkePa5ҁKE| ?#k;zwQ~z~ìD~e=AdJFx}"9vcE"+0i]rRKM+0/{5dzLjΡϨRX3&+BVCQT+Kv^zl3"L#SsYg&Ǟa c{^+LvFs/oc;m&JG, Y.g=}^+_l5W 0 2sYKu("GTtoRmɧs6k')8)/uxN.x Zx`JK@:=`咰AއѮ^R*INq]S e8gNi"3]DW>mfw= bZ_"`nA\#"(6!BG=LъXof߄N !:I:O2vY[X=2ub_)8\LJbEyJF[cq\9QNBj>u-iUVs.d=,2l[jx_MQix^z_~j4'aXHl5$;3 Uf,{3ңwKo,ý㵂b s18lx~6O; X5W]EyϩvŏRE3C|*_B+`TjHڊ9Ye[>mX$Uoyyq5<)=\@EI, ܌dǛw}/d.ΞW}k﷕faXC=JoĚ6 |!d I,+n:+CK΃#ԅܠPkJ"5+砛R Vi\]tkcV 4 - WO?7Q$**`MQcxnڱB&D| *j(p6F+e t K_]A~ ^5#Gv8'{˔P&fK@5PŰ>\K2m 4JgHy,aQ5Fyvu8pXt E+2QRڰNջYabZC:Z6M<{ɨeˋ;|L8 N&jè˨nr^6#ihC*f9Ԭx(FgVV/5⫸~wvNәTvVwaaCM0Co l W ٛy}ur-!Vb،HJ66Gʍo7MS7>gvw.RGL !3e$et y3*Dvsm-7H)7)TTVr)<6s)͋DFB;{=/9kZi)udY! g}NHJI*A(r=x^C'TB9`ӔX 5k?:CYH8vY/.〧wɪ J6ēXPoI GvALmgɋRDJC(v Rdn'Ȉ4֬6x3vљwa"|2b2XU_u' `yq6ɛtLMfȟu`oEN&_9k'j+,>sqNG7y@$  "# c.UKϸ!1SQ%LqV{;>m(OG3mYg֩[wv .wL{s{ @^jy]@$Foٞ;u+&~ RYvUP=z/DFO,jJLGDw`A ~9:D*Vc@H!6{dA`L^hH 3U{߾ҥ̿dڒS )D&_ :Q1mC'hŲ$Z/rK4: 7U.6Ltp (s ^ 7H1%~^Oºvmd*H6}_ly:^B>@Ed-_ '1&/ØŇ|0zhںP7 X6Q;p3096F &/GIPNhYEt,W*YԿ 7ÃDȘͨJ|75in .EiΧ4-tJ n>p4%o R0% *)<֐"E31%^v7$LkB<Îmyt$/nM@%as,-*eȩ:SxZފ^ʧ,`Iы^G4}l1JG9ID6'yˆƪP`IJc r-5 X$>)q%jH8Gp,?W?'=[CA5eеnӼŲcm[~_ӞrAY+9&+^+^} (:>W~`h\ 4p(KTv3t*il*/3&53D\b7ZQNKa%(x[+!O! gg]#Ӈ^5}/ W$A{GO7+WW`$科L J5@cF9C$Lҫ h_k9={L'XVMMQ!i}~3=|#]!syX^:!ɕSa2.33Dc=]O9>w70oSk{'GrAaoJ0ЦάB9׾v/[o}Hw Q36#1 B%j)з1#o3jfeptFu*3硨d~ C~!pfL >#=h4.^pmvWːjmȕ)SRn:y5_x?e#^5 N.~tNfudÛWL3)I*>#si-Ra4&bjXsm1E/Ưkz*9D?d@QNNv gHF/oPU;^aV]w=.xw7Iqi.Gdd`Ϗ# HOqgD?vX-+S ߀+]NVޟ}(Ѻq;'Kݽ[Ơ"eqSy|E6:S iQp, l[]wYxY1 =:7Tٌ.mD䱁~rdma+ CGְRc߉T&7t>%eۡYD 8HM!csEOQH!>JV@+-Y Ue,#Л"@vIs .J+tTz9+?ÖxfhoY:k5*{llJrK+9}wB*Z|ved'RG"t#ۻTTQc*ޚ?m8@+)!n%=Ww_JT;º"ZQEwJ2REfDP"t*&'\{=xPQw_uT7֤DhV˥Kg2qA;(ESԕuMTf Um&|"g,F](?ղ-|+S~kq_"BXA?+#t6Y?oE(LjWǏV-opwt T҇J02"=+Cief+%曱at0Ӑ(Smɨ7ł"/(B!7O+JoTwY.(=!X^xPvS.<_䟈?ne8n&GG~&^"yx9B܁%W9%YO" ²H?_S O=$-|&AA1EzO]ťz|& 'Ωp6 8-t~`bDPt}X{de4z\灞ON=Y„ɐB1q5;(0wgAYMH&`~˧46 SLDP~,H;^I?بDI&"DLeedˉwh+w+-FHXu, c1dǺns\F4ﱏvAC3% 7/LNu!t 6ƇgFTR(2|?(a' o!`sݲyHl=.Sz3 Az֡@_`**$m^Y ^yL< Y73}Aj#)]2ptktzāx@R) ޸?LYC mɿ&:>u7f۩&ťaZE,8QڠgWx$4X̺t+M;t<(~64s`p-gM+j'CM:-uX qI ot@̒  ^Q(HGY=R) ,:>DH8qyR/69gN:B \PYr@:wT#yWյD -n' rp0bxrUu=wӬ0`bg/I=$6qe_J+hLT#RwLh.{Lp™Ǧ9m}F#l$yZjy*«)@2G$?iLCcFrC=ӹ2 _L&.N]X9D˔ʄޓ ?0O:=űD8Gh]yux9 .UqH.eȰo¹-G9ga0+\J//rf蔋lIkaųcƐu1QuN;pFl ] Fp#*VceTH1,ʆR83H ܋9§EVЏ꿱n lT/oڿ' k$>u*W U-flȟƺe5i 3NfH-~1W4ć7{NN3;A_[t nP7Ԃy̱͌_0Y NctXcwt{F{"S ٞ"LJ1jD:IZ-KP+|yrH"/;M~3pOO_Q"U!+?5)<.6#m"7&n}uBYU0Hnm'.\kNWHA**(_o>{S@E&6P߮@BPsaTC>FZz"= PvމF?%ײ _zr{+G3-<<3n]B M^-mѕ+:*qK]ѼR";BuНQ #ٵZLxYY&7VǵR^9YW`7YK"2PqY2k;WJ2۾וE.SD4G[Sϲ{Θ>@|+&ep48^(Zm.*n"{5`!YLymGÝOh )nd7F׷d 6/i]74B17 EHG)^M |ٴEI9G O 78 ZPZf5WI7B٦0H'Cce# L̼t|E{}tsѸ'w} +Ҩ:V@ɖZfrhxˎHp]CKٔ@oq<}1`c\+kkk!'X:y;9rm|lUep\ X3M4>:%L$2kIDf@p!@C49;Qcck eKӏ3on. 5Tc(v[?Xs,sy8b9Rxl\:aZSh(湽ɷ0&ּ u r{^I gV=](ZIYVY nWfQdl!M'wԕX@w&jl{ qWVC8}ISre#;U1ne6*ћۦe4<,4T>'y|yYe "~yJzkӥN\vYA_U6ku*IcV"+m%#~{ -ljh9 ZKkAeYj:̣p.f}a>t@WY 1C؊'n"306ݝ!">tEEnIPa-@h")#;XQ=G!P9Qidh|HxDy60}矌sG#\D=`J`: )^LntӕL HqFeZQ B֠e Ebj3.n O Q1ʃgfh<%I2/Rz,&l\YeL -'iu !%@hŨOe ÙϷcY]Ԓ-H]3k3yɖĔ^.8J-òA$"%k?g y2"HQb JSj ec18^|3, cvӣ1SٺuR2;4Uz*(l,,zQ$\krM{Kށ8pͫwxRSb".;R T=ţb2N=u2ƒ v)b=I/Dn >R's bWD&.'?8->wץ4(ʾC}TwW~bBn=~8|LvNYօ 'EnɠjTӽEBYY-xr4op*S'Bl]|rP޺KO $*SƑ/]m꩛LCLū9 Oի$J{K 1Qñ@%d w'% RnȜT E$%̈́L7pA8FVݸ'2c<\p/jfQG7R.M1 \b AL &y(6M5%lIR"J7QTMyٮA&H mH{7(/nZxl$kA6%<z6-ׇDlTM'[W%ڃm464"Qrnu ߥ'48?〄y]\BJ?nkuvX"z{[+?Օu<{Rg]Zl'! 3qx39c;Kv$ntޮVeS~LRKPD8d%l8gcd7+Vyucwn#9^S-tEڊB|XXN?}if롗nY!#-n l3;'!;U] vBk^_iF-NpEİt^zyPR0IBōBL})/dBS! & -$2*h.,,O-N|CTsT" ͺ>ʾ2,Di486ui;J1ŹeOpk̂nfh䇵6י8bf])v7xGg-&r cf81Khtcc[ĈTdH5bMꡂ=@m9%>Wօv4j`PǝfmrQʸX{{lonإ+܍ē= K >]MXRpt $c.0Ke@ ܏@&${kP#]TE(ulMpfliئlQ(Z;;W(l|BeH= ,㔀qWp0tɛB0.mRޏ HF =%XbT+S jD(io V_gp f< ?T4!()TŴJsht-}p(p|D)hUn&\[?OF0Seő'Sk;c CZ1YawavN'}I[0@@s11|Ge;͊36{Aֻ~KEit_pk9s&,,4|cM|#OL ;Yx0}3LN(ُV,[]5M]"/L `M$O Q 膵1׭}C>yPWw,S%We?#U'\eaCG>vǹ^Ayك4 k`1JE*n-iNuo(pIW0FʬKwpL9LUA@7ɘ657 UpTp](sNʚWP:er\uZb t9L@,kyDz+0D$W:@"ŷ;x̒W;bp(R m~0j3r}%GkI~oV·ɛL(q"Pb%+ӏpuiG!۶e/!ǐMD}F|iZu(E=P*2HI]QDkvGG5)u +ؒ;lb晑ɈWѻ:HwyrFFe9+*Bs`"T})r3př{e+wLDa5{5&ۇ8aޭ?;V6bi孆xAfcOXB{fgPr3\5Y&Z\VZA?̧\TrIN*#TҦu^S@DP]kLZW_,/] ~ڲӮ9Zl.MR>qj tK]mby:l]Sm>zGb.kVJQ5 =JTmL\9+XQJw{+*u-kzDtLk\YnWᕏ prBuQVad_/{hA*t.gJp.(j! NbA&dm RƤqνTɴH6I=> ȧ4rz7-QiSâ_%29aj(DrgU^s[uXATav[>-:<.1>rPpH%ކذrź-]вٔ)!E^'[p6}]yƯRAlf ſw(4[36w;OR:q gfc竄-Kew 5 O4#B}bT<7.:VbmӮ]Vw#=TZZ]*D:s.6Ķ0k# xxpn ;AT<##%g$D ٗa(lX Pб suD9 |Y(obo픾c}T22`8qxKkJn(ܠN+0bBs(OzDn,,4\( -~`{h SKJ'@*SSԹeGn7 F9V  7p$ ӃZ\C2ضtc^P v7ʿ$t^2?] %XYK>  Sx;C;>תB,P|m'G-} vsM}'xU_z QH(O#=cQ-2( UIoPEめ Ͳ${G&Ǽ"}e =2^4BDXwke2##y,h ]vv4)aѧ0Xyx%]̕{r1Ox}h;@ALZL_{nOOՖDcl &([Z0iA<{ػsL@ZXTAj@BarL{Y+ ї)W\~*7hjv:>/2`_nJz%yUc=°s\sΞ"  \LJɽ𲥇/Gx/G()c,Ir$S wȊ.]GIFpTCgSXH|-d*NJlΪs!v| {iA9܅+,eΗv V,l9nGB;#6OL`e@:8Yjvd2 l9!Ӎ,4JVe{%K>4uu$/F!zb? qi?VЬZ=G34N[;S^->&ϗHkD% 0y&H*B.9{[gfc*U*׍}FdYQ.:03d!Y^W{$ɱ(eG\ږp/H95m! ZI$Xؚ w>fZ/CLLAH;e?#cQo[0{d4 "fP,Q 5lK :+XTEb-HW4,M%F0O)Uq3?Xb9c.[J+]AMՑ^[e]fp ȫS;t\ ow{@G󐚹ʧY%X&+}/k3̮la]KA)`G0S/ͮy8hJU.@6T[4I)D9L{;e-Ppԧ'*l!yeU2eWivFpؘ1Զg?NÔ1VƭWIɔNJ.^f`0o$M$;a?M#WpHy~>@˄<-l’:d,@x1 _W{_B) +8(N`nkk_៛D# 6fl\Cf!ݙѬëfAXCŠ/^QIv:}FVѹl/SREٽ~~%ze3 >wmJtfL*yby&!W*68jxByƘEH!?5ɺiq,t䝼 !eHst_]EZjݫtI:Z aǮ$7H%/EgU2t$]{F-䜪ץ?_j>HEW TA(-0:na*MWVLy:竀;H!VpPxu4wg `]ˋBal])JmֻAh#͚ł>E:͐$KW u8W틔5f{Q'Tg*C`M8`3_t_em ( QhH#/9ql"& 嬶Qxb|<+q#!|6%Xw 5!by--JjaO[?K:1VKGfݜ[r$֏@݆@]Z;<Sg[/-y ||{oqRAś]XBFCԫ2VZD%AΠ6T*xyDq[gu*PK7" ro#a]O-2$ڒiAM$kG};'ޡT?\`OZ-C 5 y&A-Ə5R{XTy Q 0G\>i4HNlQ$x0#s`% 6bА YF~߄#6TcUQAi--Cx޶` IIQ؇me^bP ؁{|;yȵǘ^\cah#K {].{3Q3l6 QyiPAuD$TFlgI9vCa͊ڣ`HtvٲK-ۀk5_]L_ O3Ko)/6NYO=e (7koG 50k?C;VRs`*;hH24Mw)UA^6ICCjqzթocX *ZfTY&v+Α@/){d rٙ~ŮbPQ-A1/ibq* pi+Ö?hs\B IQ Pİ:v}ɮ4*/;FI%ܒzq(Z:@hQ"K5 IjnV ] "OI[03+K$o|_tvll?R]q]8݂ )NRc3cF(pc _b}s,VhQ j"@5X#q{]Z8mXOpڈm=?Mc|dBwyO;+"8"Ac.Y}u8MJ[_=\%il%\Iͳ*ZD.]ׇ9] 3,^mQtrFsl?m {i7`{BЧ5"r1BH"2To,5d)/՚$n>E4.1~d!zqum{I݌&G̻).=Xß?xJ<-'KskSF̈́}C[ ?sw$"#0=f/zy#zqu3ˀ;5JZgaN~ (HE<Krю%>+\Vx9;ޢƏ9И[iVfQh94I˫X'vOi[k{kxEkb; Ѱ!#DrA*mTg4W7/ ԑ6  ߀˚U9+NQ[. i#"`EO>`bǖ3" <|ƭ f aaXMȵ.|hEm9-zkm4Y|K;N3x#ˇ7a8YFXf.ЕO|;[xH.z;ýU}+["Kb`J9%7|{OSSK6Wה% Q y7./h ތ 8 :ÌIG۰04h2~5zEX|t7r*7sG5\NGU)P51y-~V8JX t@@3m!3 nN/Z7Fb1ސq䎐B7d +hY(rY,?@ιT`8Fu< US''9*zJxlPu{[)'mUZR pCsl Շ9_ s V EV2x6>an5ո6 i vtA]JȬ U" mOP,d4:jQfٖ-򋆞~55Utʥνvᾔ9R9|;F/wLú`6wϖMK~tQ^S(۲]/^VX9!!MO]ĊI ݩ (%' Y0X}C$A4BB|2mpJj[M7 oF1?9;0C~d_Y&W4O]I4S{]`\_"Й'ljrFSd0^GKNRrxӬ[pf X`lܭ+Vn3lꀟuжvel04˼Cxvj vNB\tZŷ +Xqc7!3`:>8a^MkhO G|;ZmT4s9?Y;Z&_"[tڇHH\)?d giaͭ+Ųu0bPtjۭG@'`h<6ኬYY;Ow ԘgjV y6]61ě~A܊0s^i{1*` =6T2) NR:{Wu=(&RރFMj$3} mݚ'@[W!U1^}Q218Q&Q ) N'ԬmhKL9\7V@ ]K:.0hH}=%nOrdTmR=6",n߉Yz,[DZ͘w?s`(! > ~wOs[ էbw ;e~oBkf6˞4{ŭILNLB4Jî 3zc> ,;huG~.c5ꭐ&sY4? ?`&ǺIG9c+MRZ ,OJl_ޗR[(we1 LgS!_~(Sd$^|9OqX\ %4)&rLV%uT3TŠ\/=&'>‰~jp>\򹮢džKstcLm+aK4B / $sP%3 (ՙ!F>8l³VM6sȪ ^Gq)b61N{Oî9=Bze\%٪#]-voǦ`.kMg&x:"(.5[+uc) Ri!ek-7`9F=fX d0ʳ5e5zfm>mbɆ + $K̽!<18g1/"E-[Bq~ zs66% by#_4'Aqk8 [5suY{>1tY&~["梎ִU+IPؔzDFZo$xC^ }"<3c$oa~MS,Ke-R멼R0;<6;\4]G ܏g"sbX#II-!@"L/ٍ]jXRfilMd> =Y;#PitnnEA5ED$ g^HL3 ]hÊyϵ{^к%$k={"Q134.]19v+{BKv7R{swk"M/c9cnw QА+\0xO1>OjZQTSBͣ`^Gݶ*t:m^ܦ mZUÝ L%Uk^Nу-X/)@@\=0 ̊0؜dT(692^|\">x|H%qt܋mM~fb(oh#_/kݴq,o1z@jP+)qD ^'x9wճ1' 3 cq&:!tED[OTJ|%>1ҤsV+o:ci UtE= S0H;݌KzeD !nR&J"Zt۸:ߪ'j -"דHtW µWQvj9K);*v]0 rX lto}z#HDՐ{<!P8h]cE\[a<wX7E&b2Gq?]fR6͇s+iDN ۖqԸ2Ijm@zu ߓxӘ1Q vz傇 ]N1I>ӏ8ks`|dӯ]{UU3\X d3)=,tE67kDz\ZL{ʪsBP'b9e: y~gLqE43J"sƯZ}'@dQmNNW=-MH\  ?+z}+ }R+u) ϡMq=LeNob@l:zFs2ùB:۹oҿ\twN?Se ΖA/l3.~wIL=Ov`<" T>VqҿE37._qv :fJ@|DpkZnڽ+9Z"z.\0gk{v3%eB.잡džB03i7zqz%gk}"HL|N|ݘ'9)!c8 "rq)pgmKr97- nw$e²2 䞦p>4Z<|Lc0AqkhvfJ+BK(tr0s{Ş#䕙σW2ܣTaM<)d 0H4b[LZ|ȧo@!:l#JSQR%N_<*sZ*<9n0\a gfE;2ɦ3ZxL+b>H!Ý*>oY^e4d[&otE&|q-+L _4_UBNbY]IJ!K2HLNyKpԘA[H8>0K)m .5e(߹Grw'qoOr^F5 b_QE [Uu_5bmW0j~d3Q=dUqک,.3F}uI?siLa>T/K!cS$igmNՓQ%$85Q ~)h\[$`7)C=ϗޢmA 2ތ!/:F-LFlPaUGGl3+Mi#ه4> X$Hk(*G:,gY \(Cqrw9lfw ea4e$GޣH+>#FVxZ+R`e2)jr@lijVG`m -Z Uj:f1Yd [`4W{ۿB# XrDŽ?t{[)Eh%葢t?) u ^]2O,s cWU9zl`)hwYz1juZTxmu^f lATw enP@,yEM#\ہoD 4Tў'զMsgB5beIL)sǴ4& !4Z6hu:|%V^\4i 󓤲_Khce Ig-M!fЉ!P`p$H<@ax tF6ۈ0v]2) N$q,F20152,^1n/"JINNgBWp/pt\ifED#HlnZa-ǰQd?E`E 'HN40:P8DN6z^J՘%6|js]QҚ:pbmVZ {+LzY8M*2?tH}uF5l0Ap +Zϊiܭ'mVCγqi3бߟ# γt6 b?;bIEg>+=Nj Sh^Úʷ/~؏;#leZGo"?Lۤ ܲijJZgKS̆*jj+Ϻk(~dw6 x^vyM:K?}Y3/㫑;/:¸~o˭ GNIN%JB|CG^9)hhGnvn-0,s31?{_;~ Kb >c+ InܚnA.ߙDSawwU4o`Ç֌5NvTH 8**zkYJ|Qt"fKA:.LN: J.xCOjC5e3A5)Lq}1e7UXl360mwϢѐA,kqL!PC2eD"M+dYIt 7L},Du0 TVVF:5.>DϽe\PSWpl6HFq~S63* D ]EZ sp⎑M<>OGp)W7ښ; )`,^$|4D JnN xV,V,L)Q].Q@3$Vza,Z_<('ܴg׎t%s uaنpF ^euN̸ j$\yp myj&TPjMv3p.i]Q`+BJ|$-omĬ  z74x_-"fޑ@gYZG5 rrXHdf/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&&S_dD.*<8 ra{z,a-:`Ju5kcn]̬ǀMP"0{ˉQ}by'##قNRo&ʶ R?s$ׄ6z t&y E$ 8Goeۅ"szƆ]?Tჿ|lhM٦ũߩAחM<<"^0[Pctcrdiv67"k5f"i3TjRт0&yY2_蛈 Sވ-7D)56!U{Ұ!>`M8g8rEclfb &2ğ cr+%Poi dOVzp*<5keҏpXuJA>_C|5#mwUJ%R(n {3̖Oc(^[nA颼a ^4u$$a>ڵ#ܰyU{FN KAya}ؘf'z~Z1X$Lwϻt9$$e3]Ut;VF/NLLW2zYA_zf؎PGbcu.Y~S?j֏ L2LE/gqi^-h- AT_Km",|&̉O=MO!|%δ44%ew}?'s.aB'm|5: F#*_Åvjj%9ihuweHrD ;A J37_zCiJX< m%KTYiK2/T*([:-QZD(p EJJ2r1AfVIA690h7=xmu'NKNNjS[ ~ (bj'Lih&;#%( 9.k+u6d$tE: bp,,T{؟/$GzQU(wݭ)#|,>5oFƏV$S"IڱCle(DŽf̻qxRg2T)Upބq-'ϯٛ 2Pg6"}\h4]p@;I?4__ajwNo I*S)MEiC~IHt .Isgb,Xk06 }"p)=Wye1&נxn CGu<{vqƖ#k oθCLjf B9q3)o50n xMt!q} jOQd0ߕD(LbN_ө"?y.(y;ο5<C_m1kTGhboBHyw,>.lFn{Y-`B8zC")ߴK:YyNi+FPޏ~՛o =R~L΢@d+AMR0)h ν]_gOg TO5? a˫ۼx+ӳLi8o$;ѻCTjg1L1LE]J-\kۖj#aLYŔ!<33tפQV}v o+| 7ǜ`T.R48ՃM{v®Ltǰ?]3`ݬ hrsQer1SKjB[ML'ٔ2@Zl_pJ/+JZ0Jȁ *QX[`,/$~At AE-HZPA@(,RBK ؄ x(dz(._)F>WPg~@d̺e F).HG^4Vh[q")./ `Q!uC0yu>gg+mƻ\tj'@op 6ͱƆ+JA#hcͿN-5\JOts /ٖ$ x$.i7TIxxMf9'}h_A;|dTWWwݎcnͣ*-@[`د:-BM /X%v&&Pǽ@7w[H_HX^>Oo黤YG轜NXpgb I7wUOVyheHK!Q0bq79I L/eȐ~0F(Yz &1t`}3ױ g>Z>]eSB=lOgWn,;Xݓ\C81PhvN7=!m.n^vTPf3,~桚ǓS0K(25lP ۡ\3x&",COT LzCJ!&i#Zjl?nVɿ| KsWWtEi!PK}Ö4\\j xE0z*gNa?e7p(rm@دP}:3C姈pdUL4O4/Gɦi.O6x~JrːK? b<]kN4ۅ+X!xdq5PbeCƸHG2FաOeK6VR/0"Y75Pus) {BCJ6+I5>ѵҮа>ATjt挠.M+h kJ}3|cLzvI :fS~F_вJcC`Db[XWīz:|sem"1kDdv ܾj:"|zwW?s02c3~rs!=\o_ڏMhͳִr6Kw?A)$Bo# (‬F롲X/Q ^,*@DA ʠw?fOyy"`00wZhI]r'~tNQ`ܯ]F}!d >tx[+z[RHp<Îr seu]ʡ%e(;d?+Us(ew\ؔd#1(yӘ":gW,+ e8`|֊28:7"y[{XɔqHB7yMve͔7ԌCEG?)anIN÷s]9S[/g:ŷ+ _7(Jl~fn @`goWhڶB3#P_n"\{['1MY"%iTZK?9 %N&t_bm05B 7ܺ2"|z }:TV pl ![y^}/?(Liѕ8쥆R^/vcy(_5UrHsOD}##=|pc{-j(^`C2+}ő"x%ĐNtNCE&cA5PZpTzDǯ¼dm :neLyÎ3N9m=8Ґ^cTJYh`^zrW}R^R!QxRvWpC}A5>,D fjC ({3ZNٹ{bў2*Q {GFP-nyLzk7{Rf.Z*+\봬w#dU76z죕Pު"ԊlwQ̡SƳʖ\[z'eU "Yߘ{ X9:.\Yא(ɣi%BY?Ȼ 3k;o*4?NJt 5eNt,XlDؑ]T++SԛceҌ-% H5ȡ-~Q:gIYyz_qMnT@&WS=3EDӢ}}JYRVDJrD{:xB-7hFBPB餟+9*oBRr05ueǻ Hd mm REz]>i[n>U6NPp\WhӲFa}w? l^r(>\%he. Hj]jsW7m@_O_σnլHiʭtXH׆byD3aE5G5{"sutW[>.[+RHo["J Gx;7cl&Bғ#&[t0pgcl{s~P+G"u` >.C)L^䬔Xt<%1jZѡ|rbuq^iO[.N:ot3*F~ Z;n4Cnɑ 6Yz߲KS*?#Zf x ZiᓝfbhkYEcj.o'<=0VUu3 O#sKIIhrSP R`Hjv>h%N[9pFLtKQ95D3oLoؗJ9zТH r9mFI;ADi`9f/!X۾I3oJ 8яlf{YٗrLÏmp M#J-Tg}V|]CД1=A ލ4Z)?|OtƵi~gݷΗ pEn6ĄTӧUh kt# ft}"~f"u-+ف.MRe\lVӋl}1r9x 7OlU]W %v(ЄkUW*E#?MA0kUj8-|d^*p ^*:,oFO!bsjᚭDCo>\zcY7BVIQd`g rYUF۩t&CHs E[/3m*Z% O n(nk f.\T'*\Bl̀D]N ]o+^xQ~ IǪW:Ѽ^Ƞoe%$ 쾁8 2:7enn14=C%b2IX$="XGq䫸(Buh)-Z_,TeJh a򿥔US]b e@(3[+Pf{gIr`UԃsNDdJ$TM&%S I xdRCXb#XQƮIwg8EA"TGIO)Ґq7{d#Dc IOZD,4 {c) " ()Up`p* }+fc!2U)zDD X!d9ϟ7i~hҨi0o8sdl ̲kaG6-tVg$Xre~9&&gbV3nݯsCIcB!%Lȟo*fm\=2~^ZũziղQԲ-@_iRRΣHd*ِ\j{hʶShA,ykچt?,߳!B]#~Pl*JsH.ꈎT{`JXq* ~3WuL0LKD{d ,qްD懜 kGٹ=NkU(%-SBL1ujn%zUt9P]6furЮݒro/9 i'I:6GN%UyncCH0͵i}:y" 9 0Vnw ȍApk$yCgŖ({|s\㯭H=h繨jYˁD1 'jGxgƔ XlKوó1ƵS>BcAn%T6R$?@Ujݔ06uS)Oү(ÚhR CV"oTn8Pl%m/t@wC0e^ GU|S J>݂0C;% +A QIiDh&!"~Qs->_?3Z_# :WLŇ (Kz' YQeuR₴*=/"m DB|sQ#(U4,R|K1=`3]wvEUJFFaUhG w$ƣhG#@DzFm/x"Ú1l:JW+ʈytT}S{ \vJ@*le#mީ\\{S0, ,N4"UK9i 0!N|/ON,` ԛgIm6%EkP1vDYLe.wӽ&y͢=`B%tR{Hk"-xTfΡ [ml|(20xr$e|gxFx 7(KXԍB8N)џG(`nܴ4.PR( $rܚ[H+ϹW9ji􌦸\~Q5 ,B~ þf]ƉFͱ^ٚ*]:.6wqe/MA|I$&Y!Xl̶] כdls8*8a7 Z .2t-⊀N9z&YoTVDXΣ@$3]v旗:X(iIR!N\6.`ae63/U9dhA֎b{aMsaplӎپz;!7JP R-g2h| +`W7=`:=^&œK]&=~)B81앜Sd{x9\BxM C|PZ e pZQ0x@qhGu`ryGz^(VvRv\T%" $,jF4&-JJ+ ".S {h$+'MVDV2'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 _Ҏ) S9O% Locally-Nameless-SigmaLocally-Nameless-Sigma.TypedSigmadocument.tex7zXZִF! ME]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խCx(c$D0X'}Dۏ˧رs>)'}K-ENRl7Tw2RNӆD4:{r]lDaJc{Ӌ姗XHHXq[BAؘ`H"ŕRj~+IJ 73J:^pYcަҭpUG%%H/B#E40 abއx}\j?Pc ׵2;=ɏU^Ar9[*.HjPOC&)BceF_.=bܙGK%)Xr)b!~8:mqJϹVi4 ZR V/ "CA چuzzE1fYa䟑@ZNieT]3 ƗOmI]]Egb\㉭b89 =svA!,b%"?upw_`YzfdzʓTDS9c6sY"R {gX]кT/θDdW8cwAyOXdٛ)phMO;TO+&hOĹE,:-[r6Bil:N :;=>P%M3MM/j ; FDɕ9\S|&ځktQk*|v;Kr78<fU"LnNQX ;G QtTM!(meJB:vX]jp)vIւ;\mߓ ,H+{HgV;-ޤ ҫ:ױ#g>4Y㛕hJ^g83WXWpwXTr۟C̞p Uʊ2"O?=9W I\g5ME~۫OI 9p#r뻨Y+`)Q>Ub)f;_(VIwpyWIem3;LnQJ{]^􂩯)C - )Np& 7dC# >7r˩6}b{<3&v#Ë_[gPrPNW~}㗳CDc8OUz";jd~'nxqExSGf#@Xgu[Drpw=Jtcϳ ,j/To; K* aX^$pEuANJb5v4i#O.=mdǎ(ZTe(};m粗_d.FNd" ,+]5uC2sWZYK$qNǫS*DSH{f"jTvk)K{H!1Bl_WSƎAXf5J}"bMyg{̶hٯ -Yip-sZνfD\^g)#IGl_3//颗9p|~7+SbAxhJk\I>j0Xdݷ )fӉG3ŪuRV5)lIYپODC&Z8Ǐ*kNE˙Yev3[j;Gc\9.us_ B=DjKd( $j+]Xb.Q{f0DrLIxILm|{\[,4-gAD3$ 'CfVtFO 7ȿr`,љқz:Vō:Ҋ~ :b~ Hd+i:Gqe,X`oB E@KHݐVY>..R@ejO- Qz*:Q8&\N^O$0oy./2:ֈ{y:RVG (̅ ~2 unqRE.Ӏ^>~T ~gUV n`Mݏ1>]hE&j uۇ9[%ufvx-GBHaZ#>".ܲRcQ.DqRwB1W\|J;Mg'v7Omy-<hB Ŀz[%BV{$?QWJo ^X|Eg2Yr{vjqz z`l6D{9毰J@G%4.Аnb0 ESk'Qտ J o7Ly:ͭ#)l]k~f];-Ӆ"PQy]V^>()FHP cp^ZȘeː0@NBR>ڔ0ESߵafwdT=OHD.U JЄ:nEfП UqkY&&@s1ܯ...][Dٱo-TwvoPi]);/P0cW/jKJ:'^&+?y,5@wb PVF!`VRl2ւU Chg0-FM͛(,Z5cOjžLu5)ƕ#?8po5cfiN%\3 uUh::3VLAy qm[l k=\hғ>ۙw=`z)'Q_FܻcOlra@SnJ=h\1cGVnMmЇPwwZ-DWu':rYoy9M 6mrWMzu*f|6Bw٠Td*4Kog?P*Ce dl¯2O0D l̉jo2J=1a % ?< +_D!g%E\EdӴ3 sC~UCIU4(; q.-J_-Lw2*]ʫP Q8N/5v/-^ b}2QԀ5S_;9uҋ{$Q-5|9q|) $gL*|)Y[XA CB1W*sI'5)oZk׬gd1/avץb^F{RE,cp{ mN- ZȨP*(V 'tAzZ`dl[>eo ~bVݣ &) I< 5GtaYQʵ;Z!I MJ;V!*dz/֯鶤 $2;AzDMI.dq%>=K cPbkri m*O$&À&'p*_ֺtLm )E[/.:_{P1@s)7OЦTXg'Ӗfw&G2uo(􏁯(a{6ǭ%aS՜o+k|.5Nɦ5Iv5 _.4lFm"= &* 7~Ҏ {_vC8dV6 Rl]\UOEŌb7wcr+ȆC->ޑʈ /CV*S|evXn&F@[q@Qy&|19lM??&|%?ZaHd+Y][(\]Unf/YD=˭hj FiNG*-:zo6|?w+z$܄?H2Y隣ϴE`$gO*UhFϝb˼_ f֌K& ]CձZh pY6'❘QhoܪhTtb(4sG9jl oʤ#دzc ;|O:O@0Ũ'3tͿ3Q-˼ ˢPgS+y_c Uut`$TILNI,1U +ESq,a)<rN\TcVlppl]o7Pq=x-c]bd1-{:")J6<+% 㖴K>~>䠞oכu߉lVDJ-7H{r|H`4ELӐYAq^TY~ #fr d#ZnEI~^D9L,HFB3*[m^N{xC;,R ץ8oea+OyLK&MwʙSgyf[YHjͰ6*y^ EB.¢TGjo5?S;9 438j)8k F|4ؕfPJ d@:аӹg%\"?L* '<ԅ8$B1I21F+K5LZ+cS<2H6ّ5AB0y (81|.Q@H y٩ȹh$ @53` ^ɓIbI̪4[ja☩[_Cqw{ZLIx;\o>ypj92H idg*2! :eth¿Gۻ`t"V&1b ^$(B䕖#‘.rC;e82}ZñIF\S[ A]KD/UVš3`C9Ö c7Af({JoMrIG1(˕τb#`!u3Q1G*|T}tO`#" Ec3=k0j/MMarJ7yEAT6@ j\Ệk%ǔ.T_Hj&biRO<9'緰`/hB#ßgl6r! Cie} 77Լ) Ya%/Ƴwe"taw.Sce E ZQ2ZZݨ bm`Cik'rd_{۔l GPWZ].=P/`dËrb.\VSB]|hRNv2lM1>Z79Ioz;kpYCy[:E>X0'TOd3* m%)| 8Xv8 .z:G:}f*(jwȟ ע8i+"_¹W2n zrOtH 2U9 уƖ[Cw`qЂ^S[ҩ68F-v^7uHPy*)mmHqQ7|[$L3UB,ekr7$8\} rD.NJttOL]ȱxX*iZOW/xOJyM> `T@m_W8 X~2osB"rYXå:t߭*@-A-%`Ь<^_AبǬ(C0q[qc!\FsR.3aSwt\e1쏤ps@rѥzNq,,u{=Bhжzlw~=N:GakLӖ딂*m/)KJ6(̦ra)cތ;u~7Q |su$فGWBtݾ g gզePxm0}R^B鮥!iWYar@ԃDlߎxWY؂N[#!Mj0׸lK`b*N)- Jӝ^Cv+8=lרph4JLBO4|-SLYS :DK4.ҏV{,m^=a+WD(VE6odLF=<]W1R0,GE+]y4Ο;Sx晸ھsbDN`EqRxn^-M k" B|cƸ`@)\-ԉ^#:W0zoEX!#r0"JX,(ڡs20ͦ 䵜TS ŋJ4DDcp jnqعd/)DyX8sqaM^~g%fD)Ӊ}|2vXZwQ900y5lZZ~fHx[SlLB鏆7[287-pʍC~PEFZqI5p: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{ʩ9C% XMJhnR]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~syTeBb ) sL(;/HbÏ9;ga/pHs׊Gι9A3r 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 ~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, {}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:gYZ6&I/3}wn4a2sToEͽYKd1r!+ Þ!C>8']۳tvxݠBe-T )omz% xRP6G,v߯>4ExƥPF}4j讙C pI:y|P_z$#W4]h@U̅`s(|T¦6͚ؗ V9:|mbsD{O60 7ޢU+dgI6-a1RK7M0s>?:k![3Jɘ)M &OIVoҗKS盎@#eH"0e +vOB1T =Wrud.+ *+PM vX~uW*d,r'hZbҷ3Y:>ږA%sWʏ.z1 W±,vzT`'664>PJ)$zf3G?6v WFҬ gYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXI̒jCa:кɕ rSVo_k@UN•$Uj*wSV)1OEDvlp:1#*f!1~Q= H+u 6# 4î¸Odd9LXvϻ/H!KkEvV)^K4-FgYZ7zXZִF! ҟ ]ŗXi%;iv 2^7N)TDU&Cjjιj_L2*X/={]Wjalo#\C9o;y?`~rJ916V۩ a 9 A4س 58\[‡4ȉ#u?yS+5W}NbdWB'ڔh9_z4W,_2" `Oް17=~\Q=L( eC*  GgHH_9`LiHύ/V_4;OX1=1ޅF<+L8T}oxNMomVU6GtV7CYx?W~Zz< AIp_|_x6L:B1fn4c 6jbXLGmD  !kdt g'%WYF׳ 6\_Q3ߍeY7 :i>v"X7dD8A`,7foY{r<#x G, hbWۂTWP EV u)cYh3^"2[.zRJ3AY;Ӛ*tv^8rT86K"tЦԟ~J+YT:9/R]Ќ+g)񤉚!"cAy:Xϛ'8Ty#e#  ʣt0kNm솟a?\ÅEor^ hT-90TWR-4 ;; x>˜pX,jDHĕ.o4uZxAVԎ[^2:Mc} "[)P&p<6 `}VTOXXe ZQ/p]nŨmB礅X`3 -ț-7HE0G]oO-ͫJЩ|3U,Fq8yѡ>{ۧ8s l;urE>H$fqkH ,ӻ NZhf|,0\&SE -L# 擺o $:$gb,呆_;; yXgS3#~#; pvfy)iZIEcdQ-O^ʶ]!5<1nܑdỸqЁR߃C/MsGpV3ش/ly ҵ+^/ŎcxyNl.}S"xxB̿1#Sv^S~:610[bIz\ ,9G对l}u_Q3Wu Jjt+jTGc$ng@]Wqh$0D1[Z^Lmz@!^@koqb d$n0Wzvy%ŬVbhHyhZq 15>smz%J/i';X-*\EN`nq∡|G}>(蠿OtH`U41A`ȥ sGT{ v'.3pYGxjf{(9ΌBIZcᄑkj[2_B'!dH唴&?3\YX-UWokQS5f:nռ Ga k .}fV<}!rQ矑{ f 3y-ٯܢ 2