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 5/4 ]/ HOL-Proofs-Lambda:threads=6elapsed=112.176cpu=142.120gc=6.300factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}z>9e#2bVX{B0(4܉g܀7Nh썷kpJ@ϱr2Гqhs ? oH)E$`AgD b` ؤNk(,n)v{PgV@magYZ7zXZִF! iQ]ŗXiɟ1˦r+g'^.e#M˶pFrG}>o:mA(̓A4|9%YrHfk_' w.~܂<w6Z\>2l#۩>Ig,3f d1D#݆m0={knd~Wkan-v6FQoVdy|qIуi0ݏ1]iH򉗼)# םغP]Ge]o"ڡ.=y7PԏhNI]cC>:C >mB4Y`QQM/kgYZ7zXZִF! ~]ŗXi%; ny`3c;;d4kgOV-Tģxutxe88#flٵLw|&a*ĕ/ExYc§IЄZ18(?ߢmXWaԩ6va=-4 ja/Ȅd؀|_f}Y3br9]DE՚ ae{aK' eXlevVwQ' tQg'LhhUhIk*䗺 _!fb_ =A>5ن?%\ɀ,Wu=-nr|C#`șPEE>mhJ(?x^SV5A|:%a8 #V `U]F@[B(pQn…Vra39k^ޮ^(̝y_]kR&j˿* V_Y0TXtI^P[a./n\w1˜V / HOL-Proofs-Lambda y/G% |HOL-Proofs-LambdaHOL-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, {}/C%HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument.tex >/C%HOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument.tex ?/E%HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument.tex@/G%HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument.texD/O%HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument.tex;/=%HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument.texD/O%HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument.tex?/E%HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument.tex8/7%HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument.tex?/G% HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument.texC^ZɅ#Ja1oP Ua9ҟd\%,jh:⤔w< :77Z?Yi)lAREŚeN4(õp7܎5xG")dV|=׎g}cڳ :5F2"e&nzO4*!rE}+WE>+Nq]>^\/sJBP8Cf9G7܁hE?q]MVa+F'AҼ'WTu\ ܮu阙hWoP>z/m$5;BpX, tp@f2o3l `ao5(3,,p|PNĭ K.:I^.~sLh^>ѥVwc'3~RPZc$c廒0py)ߠ$)@C˩ Y ʽ'w\M5Bk+JgLj]_҄B.z{ZQ xBʇvc}^z\a@tpH(VÍ\ ?DZb.9ˠPz^FR?x޹s*tpNHkۄr,02i:tπ]XUTU@˒Qإy| wǔ A}5BՌfs9uUY|B]3d8sHcxYp .yəG%}##CyGgwKS&òaD_ޡ7)3q?%&f:%.=g!.FM qyyك^LԀHN0 tj\PKT?̥֡[eVAekK+2W)G&C[ 4̇pvIg JNΎPx؈T5:> βgMQ@eA lAI|ߜ%wb}N`uߥZ+ Bg9F KOl~3@ǣD5c896Fss|!T_ѡoBZ̛Ms&n*\%=f7X. χ= K1KSCXUY$!Kk} 56((psnmWB%؆ѸK;i,*u|NaʴR[4qS ^XoB)|Ni+fk5坶>gv1(i8qLOo6<"]0@n&:3/IC} ;+XA6} ^wb Ap?Q4'1Á9\,&2xe nj|!.N^^Ӎ>*Q14)d&[Z]zHtchaKgBgRX{I:8ϔm\0(헕5˲'[vR/EDQj#Iv?ێGD T^N5A'oG=gupB &IvOMIӐ >u D{e^%Z1-C@@' f4_]=#Qڄ&_<-1-y&\N?2@7>pwKm݄[LQ`^UBQ%*YSETg{yn!#"p!f{^/ 'qdo充7'dݎ ۙW3Y-Xeg+Do%[Hr >qI~cMO^\Ŷnޱ"*'޸KNCÏFdafS}T oLK=>} J$KsY1>f.GB]J?|si)CބU&ZW~vnIĒccm&&Kb0\_K/!#h|ysƫr/c8`X!+pu0ތ]OG`Gʋm B`R#=c׬K$GQZ8OK{OVEO_!FG(jvsiA>G 0ڞ 3g÷Y 3 *zNVf:&X#!bٖA`͏ЈahK_vN-xbGҰ`Q郎f(ڸu1%a|iҁCPkS#% Ƃ:ox?zMꔭ) MdM™΂ Ga͆W-~+0.?k; ^5֣hJy Ѝb'qWiއwRqP^zM[$Ol!te&QNHV!|MUȍaMcs@eQ盨plA U0jl'MCJ}9IeqтVp/,@z{vvFZVf6ٲ:\.}m1ŀ$`)\mծr!yŲx<ktTib7} ͽO1*ywePЄ2/yj9o~4GCг{jIHjbz+Mw#57D@}ZGѭ-O]UH":)h]L|_-S1Zh>/r;26JjYɢ.Ptk)7.)V* (ݡKFj8ԥD"jywB|Tmq=mVO'0] *k>e=.[lYgz^@rp[XgvHE i=ԣ,/] ʌ ^i361KJ9"oD^,2\$-Oi91pmJf̌Nl.ZcJ<^Q2o!-&J HdjYsmoIGIߢQbe?Aj^$2,E 86lGT}6ұ;SĬg}2}Ohk@q21R9]X*yoǧ[1a%{97` i:MŊ’p)6?xqxNi=XפǵA@ [dzPLRP.HOoBExcxᵓڗ:y'l }Ht]\a\W!,XYSt]u/ _-`at>3Av\.[KTG$K@ޓ8 jet0<&s܆6njZ#?٥:x7&[pHd@ĖWXH᲻R$}X!\peFY j5&D7 OZF-Z#y &]d#\bm@Ea,k{aTK]$;e喺ӚcI)ϕͨHŇcmpTB^*k笧xoIya(EUV+=m,>pKtt0ayiBQ$t?AiŚjwm˙u©!Gr@-6B^؛] #0"=@WEs zn6}7,h vIdhE9"Zf!΋`^$>8`%h A^2r͟ңd/%S!M=r.{.'| ʮq[-іCOx(0N@Euf5o75c8 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, {};ڗ<{$nו_=RO/2#$xv0f| 1qQţO'V((hGG n,=Q-hpGwT-osdh ?0wԑ|Pt4} qkLX6+,OϠ`7 'z,q&ln'jLHp &p{4{rK [k|]7V/S:F55/nXM;y&bn'ivYu{(y*`J˂v6hxEh?uGar:P6 _7 T]!3/MPmkrt}~Na[KĝMG |Lfj=R^eޓ:T|{1UQn GˈMcfl :BGծGgud==Zy6s5h_*=39F\wxe%& aķ)\&*g.2Cpy688ѻwC5 A2B$Y vV >WR̖Tm&S"+EouDPeJd׫ j:"~W H3ǫ&: F"#Y0@9:L~·MH^ |_#xw؍꿜|%ߕh2A>q?TMER2zGbKQ:v,}j= |q>-?()QY(Zs9d" u{lck*1gt]/dt4^ˆCKW6_;KOH׎s;0^n_mB@%O %Q(77wR[o+sqh4G~S}|mWKsG4ϡPQ9+;-^y1.$R{2 Tc  F$<@-.P _G %hU=$gS4ڋK;uV琹o0JϚ0*E0QEzZ)v+1Vͻ@)!qa:D;hUwF/٪^Zh1w<=H.Ŧ{ qJZ|䛴_SYf=.Hi9_=Eh1z^/{JVH \SK4M?ģFTM>Oa*sl2~\M+#VК9ʾP%-)CcXepޯ'5@ɫ r,hFdo>m$\YI^* ʰdq5}6{"`; D.qR8pGZ(p.(dI,76ol`=Ta F x1eb܂3OfG. v &B$ -[Z f|Kڮ} hJ]7n"\ H(|Hj0A "@˂VP++Ry0> A]MAH`FJW9''5r0kyisin6=1IQ f8eMA[pYY)5XÔ0Df+ ytBlL1M9=3Ɉ%7(%MaA`9 }-jU5 jFِ+Ps9.+F%i-BT I¤nV';Z8gw ǍPQс"f2ze R/j!dFWQE(ֳ쩈'۶Ċ!$@`tUA@{kirmW ́,74u i*:#;TAb[a:_'Wp, WfOiiꄆ s!gt[7[+kNLN X}@t`GIݶx=˥* 7kxCpZm|,;.CԲF'O댄F qD!yebj)aŐ=T‹fa#$DJٴNbB%dVXPخPOz]9zͩ6ԫWUچcӜ,㋺/De#<̺)] Cboծj?^F<,Uӧ׳aU=?tV}_- pOr6)H_ Qfj_;$kQ\3X8!hgǮ%nҊDD(dv}ƍCp:{?"ʲM5 <.hM"Tղ|T#@ yw,EZRm]Th/9 >P9 {4@H(7 |EɌ:-a(q1LWJaf/Ϝ"}Jzo.1Zm^YzZ8_ҥvN3R^;2X76E2 f'[`~t!Ǐ.^ Wt31]si~Q?@dӦ%>dlz|PhΝ*t^NOLLTAǒR`` ڬkXRzdDW-@kXTx4P '@d:0!7ҜGD6=B^Tjwh\Yؕ2K+_S7dӃ{}8j}Z>La V|rcE#/@!-s%8Mճ Ht++9j"NT OSM?i#[yTWo]|/Qe~ҖDv>HU-KgKoRLHDn2#h* ܒǨ+YlžklH1,+(o,ZV1&,t%ĩ?cɕ&($C N!~0 %١ N(Y'lE*־ID:7H|[uT tl(9n~ D;ARf7 Ѫ9n М{(Ctc:8xHa%(Kf^L֢1Ua_UJ :u\:u]Q+a+HuWl21u@|R WPK9g |iK1X|*ou$0slOC]☮`Dڅj$Va>$p٦A01y:B*a6'\)2l3+BD'#]HTkT5,%ްf]ێ.ָ"4lto/yk+6< r|ٱY)}R@K|Sʿُ ^LWNPI;pIQ&20E(%d,MS9Nu,1X* >4cvR~9 ~w׌R\xRcnvP5 /R5A3oI b3mGcʘ&Vejg.}U;nYfJko8똜nY DD"K Ho/Cn1D: 9M,hWqUkDu5Hw0?o|$;ggOg1q R^ v#M08Ey`a(gU>3AxdyWea42\,Vb瞌Ta.(uh n ꯒ+tl${Ɨbĸ nPhxMzrWâ|rXla5'AbQ85[e)5+`Nٰpޓ@!"z}A~qwǪjXxB1@H5"YT!q妰uX[-WNtw=ma[TY"5 #Gsѧ6H?,L9BG΅=yOv!5,A7i@OE勮~~7$79>R`ir8Gn!r&L#oc< n#  Dq \C>LIAHO+k7 qU`FvH! p1ե1=q莵q.Nl[_54$s=KV2gksv!-YHƕ\dvYYK>:U>[9( ބh#D0޽f#񶊤LL9I9G]A}}sB(sP3IYi|vF3i2K@lE^j]ށ!YE O_{}( I0L~++K2S b}d JI5MP&IkgYZSjzǾT(VV'=K #hHs8 ؍94WM뙑:{oA:nVPk!VZ=fvHH癐~3ԓѽʏ#|-.r#*Rr _1utn N2C,:lk,H7R5U壳"AY,}@ϧ $.^jzԇ# UD œI8f zl7()[3zTh>Dj`!CyN J}ej >ewRJu7Qp R 9G|ta!r]i tEFH]ϼ<80a+"Rq e3+dkm0\EAE=WUi?$&,_KPO zwfk) SΒ]t]ޢ~uW"Hr N>7y-q~z-Lhw*iΟŦ J9/ErrҪt3eQ$_:TG3;n!*Z2Ji3137( {&4Uy \C+a/:t܀g_O>\y5Q `?b*?| 'oCezhwRZ+#z&@4( Nm}.x}\JN/C`d1!vP-\]wh9hs\gOnp.v_Wvg6} BDk) ӈZ<6Dz3p§RE0:1XfJX);#ESOѢ9R`;{e:Wh e.z9sGiȰϱ9k `Hlz )YuC n ʲ7MJN:~r 7ɀ_r?q+D(d nŖa;J(  ᦜ+ž,/ %wv 3OʼvQt5T#s:!3W?:V}ra*$jxDi),?}8egmME5re[L_Y.b]F ѩBPXknY{`W| H6ڳȬk|.Ac"2M_<Zuurh CLc#@ SmLl"m}=R9;R}JxK-j>yX[ -|2FҩGJƴ#d[̎1XFܴVtp1bw=pK<Ųe7zOg=5hi?GfĭIkzNrBJ9(2lƝ`Sƭj l7l?_:C@ i;,JAm0LIEzI9)ǻ69,,GCVeW74_ xt9uuCͥtY6UBF%*p7O[v|vq"0qQ<>EעW;G|nEl~8f9Xh*-`XmFt:GfKsMiƈg@nM(xx+lE$ss;A;@Z64(@<+Č) uȪ5"UuPZxƻFߝgwڦwn  àlG Tc^1İ>- N0BMx?vpU/E smZx"=*혁w˞Q(Gi6SUJēA_'2y;CZw}uWz9-Ep"DD59C&(Џ3a}HJ} 0қDH}@\@|T1]Cț%֤8Z" (IV *ɻVP(蕎%vv1cꕓNXE/[c/Ż|+cTH4x]nX]~Ѧi#VS&e_Z=~ЅPj ^p:Ndc0FcCߥe7]Ф퍽d&qև)`gmz\Ef[[ka. @"bD>Cdn3hU;A\`~Pt~O,Pm=#G$i@puD ؒwwRٖ$4}σG&LO&?xROxxHYzViTz'ޢr!I"aУ,,Q% "rGQn#-JĉUud jY q-ZE&"1֘zOulIGc¶!Ji)msޕhNslYnN`s#bF+EEbC$|55>*3# 8fZN.$͠PmibJ#x\Kn8Q(ل]v,88wsa<`,&IJ~ U[fCm 4.l!3+x ,LD? B\.ǣ B$Î0+cU"ux=rV뻐9`bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBOr֕}!R2`zYzɽ7hQnwةPMdJոrB[u1TZ6 E-]af*v}-k ૂr&T SVrqÞGg%2nX, ʕ܁URu]sx= dIJwGp~SCCxb%BlQMOZaYNuq{)XlX{Ѭ'7D䌱T,8Ct6">(y}+'08آ._.`sZj gE=:g y4'KkȣXu Y\ANzU49`[Iy?☻E'N;oŲw̍'TH(UIn9ͯ=ja[AOSP2Cm ?v~L֣"M1.U9⽹#FW bZasעRP`N"M# !azU))8mME m5hKK3 yB¿YRCDq?*M.1)c`&hmbYoEŚFȲQmӟl }cH,=A^jhN?Ce?hZMU,-pIЇϝ1[D\#a=*[yl.is l )(%wu]9aC$fO!bkpq δO V,*5GM6z Uf |/=% HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument.tex7zXZִF! ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=C,9[bgeY2;gۢ0k~Ǻ//jD[EJTpvm"!_P~I'7N2[j&=&`1R'_Y9ŸHe@dGZ4]Qّ'B=}*6a?f`?#:Z L >wTZ&]ӣ̢G?~9;..'RTXdGHojsJʋxZgm40Y/1 pxzDIO-Pc.PEkna,n, 1H{;UɧN.>9n  lB|1)9Vc}UK"rÔNާ*LR5 B.HɌ'ioT.ܹߵ??Nug2,*W ܍/JTxD#ʀO?>='HJh űXICMLSycܚ:݄c!TpTI}zSߨBqtV}hoKܡ]wv>2lGRO:Sogl =ϳ[V /z=İ&6G-cʴHQ+8`,[Ʈ@nL ,\8" !S@H~ -`W5Hܖr9T,;u3"^Zvbq昵2^V_io语s!ӕxBc @1)Y;y'UL8tҹ ЮhIf{}Em=0ۨNXe/]cO)x 7~W>:ZdMATǭƼyUeBR'me*^_`>Z |]2[ /l=ѳnaV1O\t ?G%f6)`)]6QkϏ'kEAܬIHK*- |}WY=9|[o'F Z~g5Zt꣓/pǍ6cV(EŸďϟ;{N5rPԪV  _òy}0$s^^7A}Ov ˳}3W"G5?zZA1be*C!r.1#UL< ?X{Z˫X"Kk*s՚4sKVIϤ%>4޽`)֖ H'p୎j4xNz Driy;,+:*)15]!?oB_xvnha饘LDu({%d)䵅d闷V/#ݫ]4n8!R'ye'A-f"#2?"$xNFo\"LF";槓'?coGP->v VV @&eedco8͑_OhWmt:-%Đ|j> 5 ▪+bSbQFL. z} V(A[$5oEaxS_*z IbKXx}L4 9pgCrK6I! l,7hIi'>_jX58Z܊IM:UG[s^@ӑ7P"CͷUʈ:FQ?(?(8{"Һd.H$n2}:Yv))q>;S?㒷D'~V\w=j:VfўW55wK(@|GFI鼈$"?Qݼ(j7ȶ&0'r#VsuڹHBq_Tۣk/aݳā# d'đO".S]F0on(V xݼDfk64>1-o;Q [C ⍦okb<%, klv6W]es{%qefA S68r^:u~'ğh mѢ+ ק FI>w߾NeZ=,N(7rCŪ`"mP, Q| ŝY 3'$} ?J#oG2cTeܹ e7"2LÎdM0]0债c<~A,|#@h ªw D"'|RSK'b$hA @RV5%f;=uɕ~gYZ ]/O% Rgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v!Zѵ'i2n`29'Sֈa5N'&tVܧ_y92m@+ê2"1xhBku ӯ ފ]IV޹E'׊!90JP|(]D)T#AK"(8BM f(31WCw2 ,А%'w1.?[&rU C)o Wл͵_4  rV[{jŢbeQL3H񞵨|Ur(DFb!+~( ͆vSꭜ|*]HF0ˈjlR\y8?!ŅQQ WJvh߷}i=7mOb=um8̵>M/ۼpᄣ "6 >~17, o!—3_ {{cWd s'`A{F/iېpK R:iWl,%M7ssBGq In*[V"<&? ,!Bx5gLXabԟ0$"SJ34&{dhoȧAH!H? nХlt?3 @Rѫ6)Ydi: A5=A 8(:mHIԱAu9DM6v|5M4ӹ^}s96hU; Y~<e]k.lsM1F>Bv!fs TeJg!ԫ9^d)@Y$B]9Z@Š1=+Jʽn%lG|!7㙺;=s_kͣǩcjz$ueNǣv=W)7*{eNv~G3j^kz/0HE8o O UP?aM`׏l2D qHD/y = ѹ3;;9x[>1VAx] 09PI2tjhߏjCu z }bt2!)NW?t߽;KiЫCCyxH@"䨱MHqMgYZ L/E% $HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument.tex7zXZִF! +K]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`EYJ~OJEÅI| 9)1BW) ˤc$aTBD]|)̤<n|숿6r}6 7鑒CCl1$-^ӯL),kՆj* N:f:if1zT]PpucP\l F~+n(ɕ W>ӸJnUD۟".5G?\VՠvD>GGiL? ZE<̜Z ,Nu=ߘ/Xe1 uA֒]n.ڸmn737̀M#`xzqfw)h6 | '㩍]vCҬ%@ {C8kYQTVN8wL}Tbqbf$p4@*VD@b"zII\L1?f%)D4햤1`.=+dvMl6!Wn}d ݏ؁:HoO,^Y;_YHٯb&o'JRb,t&*uadXꋤW@A/G% HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument.tex7zXZִF! @]A-MՋhvG"uIBm5ɭS+Glulbh""'^ YǵI#|;# Y%u*87 ~Dǘ5 J_7Pw::JaS p_E@O_t`P  e&R1 _.`X\EԜ2Gpv`;Z6*@ Ik#$,ymU K`QWR/K+4 5 ]v,`F띢ܫ P+1[NeO|͢) F`ۺB$"]li ~C]90b?A(CUQ:cʛ 7>Pkv zΆIe!8;k6,ɵbM9{3W W NJP=xJPOR.Eb^kMZ^OϽThȨ50Zd u@\?1LTSDI1= ~W|輯NLO3a"Ī˘@ۺN9HFgUπ*]͆Ϲ,썟;#ż%0tV|íN{݆=ψ&~H9o `$-L5V̾x~ȔQeE8BЍ8y 46a%nt~t.(/9 D)/ٍ.mNyyAr)fy_)lyNV]yzVA[@=A&?MAM`̐\zX{-XSuo +hU]j*,-RFSF. S!GYK %{'hlɾɂu٣%o\--Rvg^sCD"k@z@1ZNVrpķ\PjVebLX? 25.]ŸR51J2shePjԡ)H@"xlYź_iIՑENd:s`~*|=8蟄BrI [@ȍvh3U'2I=d7Q? HrM"FthLkF-" ZR=u8@&9PO߈ 8͑S+}d{ru]r%I[)wmur:{ٲO8 UMs;S~h7ƅQI/Eܮ >|uZz=Rըߋh9t|$%ߜ_'4fz5GKg+xKDA9ݸye8R#"6c!DimJI;m,wlXzQS7왇) u({H_#P$x0gkߍ g1epI k 7qB~5֠&um݆~ka(Mc͛z•ɈC44AY8lf9s[#K(,mß];SB56&݁:Z-z#cvGǠ xic(4ȈVGrV]D2?i :kc?LS.vb^Џ[jTBF'lWuDf Y5&IށgYZ' <^0$VV+yO-jaFMq{JؐFͽwgCiL FzQNFÒ;-ʖ@ -`V?<Ygh.hdOu^ҪPOnsVR"UlC>(aRuARN]99Z=F?-[SRDiYqr &oqАn]8 |CjK}lfXr u uh7UG9q.ٝ}Hv{ O[ V|w rQMO/P]43ˋGKr S{s6! *M9 +IH HRw6DVh:x-vt/d[G8gn԰{p>>)6B %9RxѺ&v+vF7cb.&1qP){?!&ޚ : @W_E=9䤎$J :s[Gջa1o49XY~~1q൜(:+,[XE%ʮU8Q4uV_y0%"q)"9ŠW($>0v$mO,4R9>qA!:l9݄[ 3SGy%7d % )UrL̂ _DyC&>TL+ALtsi".VdԵ&$PNQ#G4q qezȚF@"W{:Z3 3U8sUs5] gU#My8u)srѹX(>t;b'|e`a}&uӴJ}:D< 7 d׭+=2T8[f;XI ەjdP04z?d%!;x}9"(r${g!jTd '9AS'{U摴Qb*nLSrKnBKP*-cbJ-'~սQ/& ;`+!B?k$Axp߭obI|پawҜoXa?uG$TG^eF̿`[̷ C);g/%9n7|J$m?\Ʉo)aؠv0ۊ V&_@ezEuI$"U^*dGeX[ҧ{$C}z%A5"BHm i+ 8V\ w5q%hKQ遯M(WH]ۏKn[46\"P^ Tc9\d J `dX Xi[,:BTwI&i ЌmH_\ED_ΐ ڭX4Er(%E,%Vnl~)]jlhaԈúL7>(~a:b4}k_8!xk6#yQ]G.ۏ+N16qa"4r%Lɺ2R^/D$uvĜH_ SPVMȞ.iՖgq^6~jG;&}|F-'<ߛ3~#v^ۭKŕrQMtdcmxǶR,@Ǖ$,wij+;%KmN3c7GtV w%[~SW^}/nHUQV-q́ /OfX{3'y6Pņ yWJ#~>ED;|\VP! alL'確6R|ECދ3I/ Ym\BZfz.C1-6Rz( jr3,EKlhE< 7`}d$FTG{-vHJgt%صtAF = !гmqg#1f{j]d^f*Z#7Apo@>Krđ7(HNb ?V)]j*S@B^] /Bz(_=<>Ue9Hr܄v"n';Rqd׆Ki=(@+ _VeFP31'<5vS.0 lՇKcl5䑰*2F6+VGC*Kxol^s6RߞƬ׫BX4nu)*);A) 28<G% v%K&\Ewj'ܳbW"rfDb`;S 5o ni[aEh[rD esg9`4, iXhVX#;d>q: :)W83%4rZ:z iQDx-QC-˞,4׻ ZaT՛fiŅbtSCKfsi,E]qe.bm'wջ۞.*ՠ EA6*uy4r 8q% Z .㲜X:ZRM~< 0딷Z4p%.,!OWS?Mk71cd f.yf!8sgBorBj cTͭ*d-󑯈U&ə׃&}8 8# 햘#oTFE_3 z! S%\.κF*&rCR ; 73Yw En.ntZ{v %P#9c`sP t8 -0koeJ, 5tt=PȗMqM`ֿs'O&Y[OЈy.zDOG|I[3 ?Eʎ!. R;![OK:|A`"+_ Z݌-1=ݰϪwyXģFSP~ectIЌ5Zg8 { ءbr`t!A?<ۡ䨁ԎfP.09l]RI[؞|U\nnH23*bi}3@UVAigW%:Vgawyn+S^v?H yk Ϙ̄fuæBw%sS)tq7`Km(W~b₤1\.8>)RƋ$~q5b$'qu`F_h4jo,#UݾY`rޗ.\LJ*ʾc%eAG U0{oy5[KBs5b{S g-:\!]C*ܿ3Bl4gYZ c /C% THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument.tex7zXZִF! Id]A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:4hlu)cI Z|aM[y^ *6:+fx/bD.;]?귤ϫ߮zbe#jgz,g=pYtD7zի7U KL %N'w <6KE׿[ځq9'HvC f(iVZiW;Z}⌭2?{ʂs#'BF9s!4:g~ᓷi3uo;"YȒe2pщjS܁ߎ,۬wR},* t8|ȯJk4>WO|GVք[+U[ ̏hKN#@JW.9ح㜠Ygݑoo Aj }3{9cƅg& 5~e}35?:-R*{xUP0EK`b2Fz E:6uoBORp^38ήe$OQ|5>C}pE{ ]H}c'8pVY}]Q#2'濁74ҿl9† gJP8ҙB7U>vY%fOP#\Ys);,nQd3l1Q[1eU2?EaG; xLc}9w*4@PvĐHqd؆hWc٩6`v6%L.ێ!d`K'} M[NةiMr,LvYGn\R 4~Z|uk5DO"e5,~ޘ$O1ҲIVe6D,SUΤ'\UA  e燍_ĈӜ>*PL-Si`W"C3'/b4q⋿18&> BeӋ7!|MJӡD-XWAzyi.gYkM|J>Χf4zemfk4݌ƱRLb;iJ٪H.5`90[ Y0s~cn5n AaJ~f*}i&z/Ki\gU,[5>2WSWz**&܋9@ ^q[DA}T9H%wHM@U4:+#̎N)T}B %ib&_>3mݘT2`'JujDT=D_ý%XCJ!z(4!/lE3RY.?T`ködI_r˂tK QRnB{z,HFN[2=WJ`Jkzߩ9"s[_qES|q/aWBO jieX5=LT M,<^8Cy$YyD"H׻eD嵼rDb2!h q´ƭ "S+[pgѭs{]elt ƽ7l,̛4D8aݼn'1BhpGnIVo0ɺœ:\qY$ MV2U{  pBn䐖gpZޮ0>U.5ݯ&h‚MLX|QY< oB5P\W\γ}e>eqNȘL&/S.J/bqAB 7h8+WȣfrPōU6RXϙc>ydo-_ʗc 7QӔ˛;N.~o ke6WZ!{g…UiYpOiBs#R ݵ H!w)c5mgAO6Y¬-Ø;g񌽙|w*@#ʦqʰw "VoWӗEd5D !PňqīQp Tybh/6ҽ_>lIw.$I8hku:CifS^H M]a⪠ YIsT2vۨt!~(Mgw@Ml91H9B{Y07K~9-oЁEnVK.̱gYZ   r /A% tHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument.tex7zXZִF! :q]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIiwS>>*4>)o?+LpǦs8oײByɿOs;jxj+dL6_F8#M- :,5R#Ϲԋ)m3֞(|[`VigAn C c1'0ҡ4o@\}UO㱬wQЍs],Iwd$L)nNl>ey4ߚE0)C^bv7*m+b!p34WFjM^„2| "gzHcGCt遥v5E}3yr<$fۃ6RD ՝7cNUSZzL՞}\p DLu4>X.E 0FfkmkOm%Oj$4K(f71U7pd61 a>q{_9lH~_/˟\'E|lz &)Wؓ#-ׂ 뻍].lߪ(6e`:Ԅ,pv5~y Bݚir1$j) \qٓu}8wvR9P(:)6R~:vyn±]sx<r/֗jhE[C[rX6Oj)ʏ9U;>63%4 *3PhHCc?GO]"H[U$UpTF}K)GrNDK;Hn"%38S~J8mnpD^Z9Cv0."gGv} Bݷ:l}}SUSTֻKWEy@b!DIpVvD♸&軨AOlЕ4D*Ij+żAhFֲp2s]ԼkF,HqV-! - Y}¨업+́p9ؕ= [Jwd & )%(ܡm8ЍMq]*ٔ0+xtk'bbm|Vibu`m@n3xY2c_55%}K$:svb6z5U%2%@rՐ5ӻޞVr +ШK)Y8h,K~0{vwSʓظ49Kl1e-,:Yr+P,TfEL ܫ:`0Y3ě0Tn gn2ѱƳN,x#S֐wH+ C`^bW}VtPuGrٗ޷\<"%zũ ^}fzuY~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# AߴVX"6Z=h|o0 p.NQ0'-p}@@"CoY"‚-5:P;d[q p܈KORԔ^y Ctѩ C0}<37oą.A`9dI]qߍSKMm+Q)H^uޕEc4rrD%LoR!f]{4T&6z)o87DJo=sڝo;DIu˺#,y^OnLrwJI!ip3`Zv%E>_íOcC PA1y$rT" O)V#q_SbHMlGFOfV1CqKP"DФn9|,J&kȡ0H/fʫD;O![U,_ߕIVEy8;co(Y.δ|4aJBCRtq]=PlLb{ZA yQDښՂ.څt {;I#Gp?ڲ? V;۟ N=} D6j r[M4ifɮ.n,[w!xF}^FSY4S]{--05ȝ!+5jPjhid C'My qf (Xf-/l<@=@`~;Rb0Md14Ƕ{ W頚ta]t`R3H><6!Xg#+e=S=3g, ;@\ * *<ej[ҭ]- aR^a0/%nf7P_qkٔÜq\S5l̃a_[YdV[d?+'b /[Q#r`wł@F?"L|AT%e(A``Ҁ/ٛokzB& Gnj=/b79㪕\NӇˈi}O aӒ0ᮠ1*N784iWd/&6fcp |C^c#`-T,t+Kޡ7䌴' ,YV^Ά+FS&`X~Bз2 ^67WfPߚǩ W FfMI5/6u 6x=y.' s[ˣQZzm42CB4E7y3od-aӞݪC+š1}Ϲ#1+*;Av -:*#ma}3 mCnv@oPcHciRh=A~$5+2V8|Ҙ^ ,~ ~MJ[d[1AR m_C)T1[ 'K[`u* #X}uHfoFX'$#"I'Ѩ*NZ'k彭ԔSVIGх}oga-CAЯo,5T Y"#V*PYD }!-#&V):(W>[9Vطm2֖ӷ^?K)E+8TqYS'xe9,) 5z;֖]8ȇHB}(&2oy$mދ T xQ ;z9U+t>}\.sdrepćU7B-vȮq?H{*'9T%~R/ V)U0P~\w|SQ=ŸCQ 7D?{+KޤdGUFJҔwU#fЌDxTmX/zYPC6Gl(IQv4bF5xB5_ ^{ف_\q¸z} `u˜:J'}e@:{;/Hm|QMa.gffܕhiB Mɫ9*  Ù&sopd [d`r_]WdC@/I3d8 [xIjNy"yVhziZSlk \7@nTyl`]_c9 O'&^Y$ F_mvU ݣp}sM%K(3IUЫ)]=h,R[6g8e)47[JK m2m8Z]@MŪ?ƅ#/v?]0IUY퇢<+ gnlVE_K1w(&gA-+)G+ 1{RP勥!<0a hG@ef!Wq+W(OA`J~J(0>-_Ӹ5ogYZE8D?5x2$5;"zXU3P{XvZy׳UU]gARe͉ou}|#<"#E C{Ӳ{]ɜv' тX溃-O7Đ3:,޻ۄg0ݣ@U 䀤qWqCsDkZz"oJj\*HsGi=:<ޛ'|p"q#oVszC[#+ZXw\Z Cp\<ӓuf˫g$}慖* !5:$!$ZylI ÂZ&=lL_).W{E>p:w:`Oy 6CUT6pD[㽶%d:Ip7)%}V 1N]FuM|崍FЛH;=٦^5IOR!ܥ &1!Sӷ!^@a;#aHE!MIp/?Q0L@B/,}Њ P&oK/iBʕ0f&i0lj<v-c>aT\k.d6f+;DoGw$# ^E??:CBf Ko+>l gC`sb^g? @qT]]jX>Svkv>tb7b0.Ǩ5;ֱJXxߛ7rV6hRKXb3GIYԾksAr =BsIQwJvj͙>6Nr\lCX/w9ܨNU*lsvE7-,U?KӤ8Nݨ@s۾VZzI/7T %ੂaB(hEzcVb_ae7 6Fy{ ẙGW| ?l`|(aGG^(wVڶ8RWdY ي'~òid&vg1 JDlew9dBz6 jS/'Zvɒ2TE5p{9ٟ \i[RNl/酯F~1hHypu&| a >E֪ 7cz sx2Z%mm.Y6$.OfwN/Q-Vۈt硟E4!eQS/}:V7t1v3h>ppLpRS ۧ?ۙpK8Q{m9cOnJg Wzo z(7>D nV8XydаAa-GvE xi; uw]ájP?dgy8H/CH`1,@f3-Fϡį@&?[3t0!~nn\GyM}V0 `#I-Rӹ'J}egB~>h'#=%4DuDm6*یW}8gd5H#q^;M5Zow۳E+O wlAӤ'i-4ӌ]eF3I~60'?I}|OhAlZhOapB0&a<}|<muuCq&s /FA/ F.!ņz ҵϼVp_p^aUZg?Q<Y66zqcҺ/˾.`$p5t[Mڑߤf {(%0 ώ93u G#w?ᔷFX茑s9A:o3 4H݀ i:GsivSͽVɣZ41=unJ)(w;fӱ0>xeM*t^L9f?,Vn2-s ?nc67ROYv-&qEyTs_7MpH@σnЏZྫྷZ-r 3E^Yr͟JpuF+Kӟ(ܺlmhc9_Kgn7TLx* LH(j9Ҹb}r7d0I`!WRQ I'VHJc#_yXlUg7yZ ?(qMN"Oΰ>:dWT{ĶQhq\t'A&#ysH<:xiJy6%Vv~*0ﭥaY 2z/~;@G=%{;_CnM`xhϜ(/a~S 9)KNH S.E9)gp7*%%VnUm}9(VB<鄼؏.\Wy!ɼ?#F??\X T³-%Ïȟ͝UJ'6 GGg|aAw0uvƑX!2j)&psw1jAYLlX^;qSY nLyKׇ[| !augGxo gxV=)> ּG~xBE"YޤM„e~h;K]W-'@5}Xm?RM"*33W̜i?GQ"|:F7eaգ6nle!bK  &=rՓ8NVULf:}Pp<,4A(hD;,ѫ"*#:u3샥 B-JB Nl djA C)!RtZ{ivx;[uFΏt">Zv 8om\\G8 ~ oQ\h8x/ВUT#Zl@X$?"`kwx̀It"ہ*N7LNqaQD,Q}*mxpiݏq%Mlg%n,4=\uKD2)cnMik=k})y`7Xr2ƏhI3ĔJK%]fC_OyAEyp󓒣G$v)tԮT7%[9vǜ(M6>\ƾ;ZNHJ.U0fpfG#^xD%577y* ~Q->kݦ2 8Zn<Xm&-)hꊩf;XTg.DcXM2bTTꍽe4,ӻSB{)&u2"BAPӥa9Ռd.g=l5Se&n"G[!\Nhw)2 kK]1 > #0,Z[( .v+cW&`=/d#^/k x1Ad}L StĪ+KiiRj{.B>mbB[6Ta%Y+ﲬ 3b H* Yu3N7%?RCBwV ɷ8k9˥EFdh| qQ"p*]g{F)m| LSfc>nM1k>Xh/ItW J=m zE\(:=}APz/ VaFJӕJ[=Y/;]xtAtzqkȆ,=c*CAfD> ?Y"4lg*L)P˙>_c|(;bydջx1T+B1ηfWi'wx(~M;B>-۟ E_cg޻}ãymG=*YC¿64EF,gYqȽ|s?70n,N~06˛?VY륟x_V{aطqesA% }J{: y5mnF\,x~IOaXa*\83U!e8t% X_\g2uz'it6;=d!]?ƈXҠ>p%jSLYx|[CAhK)|b,`j@)=D?nNzF-Rs1:G-\ɻ' gZu~t1Ibs~3TG%"{+LeBbiZE* >?~8Xu$r^G]5%b3z![% sACK O5BqH&PA &¦[:V[*|UuΏ)8fa^TOsNgqFǎH]7V|IJT(=Z{آbSQu(M>s x~@ ֜ '< )!3wp Q:LRW<[h3+pǩxXS$ݪ7鴙t\Gmbs z7 $\BG$YbVM!ט Q@N d7̯s=kn05F)+ DjA3ȋ`Buo95-F-[xU6u MS!?DVۂ|M?X^lCn?aEA6(FQ/j 鑧2+]T}}v^Qh0OqD#Eo#s48ڌKPC<[>hDY28awx,.g^Yv^}SCf &. >Gkxl&zj%d&=_|rR3t6#9^U~{̠^8}Q RaH@Q@]B4ZXx<m-i1}yI²x錑:e[mS?%;% rZ,f:eP.P BPyL P p sZ4ƭZs>Dz`A 2^ ;BeD -J2je&(;/3b3-^g0mTc D#~ eoƤM(mdHڏcTa3LN ɚGn4Ѽ3O+4pơ-sE6m.Jsm?as4SS"קc@q#4=Ta&Zħ^r8#L ?I775P7INJo,=SaEl̰7korY$+9nA戳QL(O[gYZ /A% DHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument.tex7zXZִF! u']A-MՋhvG"uIBm5r{5"#ej0pUxacH^lС L_|lL^!ÃuM@d cuLq)͡袟Nҵ?0NOWMB3*oIOA [䬖^ڦ5F^t k)chS_F("w5cj`DuT.Y\-_ul|ʲ…=_1Ьqo gcj'jc?n0YT\iCgX` Ut oDm.'罃f"7ӥhsR8d6GZ`=!_Z-uU&uĦ "3MwZG[1ERg3 7,M_E><Pz9pmRkSl*/YPKŜWM{=`_BJe |)v29p'fw=aBagD:IQ~9q  $vI$)3w6y\j(cCb\FWjI1h5(֬b2i񾄱˘Yhύ팪4#IM7*C4 8(B0tԐBS4W*1J3'a,ŗ{<[Е4W9-.lF5{EJ>ؒv{4>p\љffe~ZyBe2Q80˨ ޮ5YE Q0  (Z< ^ J<׃G=X{BU6HFIovC&Re^}(t&aEpp֘IiiT%rXGsuˏYqC%a"P]vh^p3<@dq9D,gCLZWh\vD5ǓQ*2QT Z+DPIT\[Uprf32Ħ}~\·9c /E3ɐٍ%FjAG:Cpqp@I3\ cch^{ PDcO, UˀӹIY_KMƭ-v hN.`:nY::9Ne˱tN.''C YEeds_:њno. yyE8tFI8hGf^lAbu2xlàgU/S8'SrotTm1+'Nfjn!yo[L8͹"AVEMo'k6GFSF\o5w|U!tc=l :POPC <@#ub4 ,1E?+0pPߋlsS[ (TkX?rD?ؔX6tC\?B\l | ': f )dm::'5~MT1yyR:y}ƅFÀ@wco63h\nJfnb+jKݫ0@5ĞvŵyhݰSJxԡ' H ϵ\);(봤Un0.bO=:o|Ft5eP8R7N[3qbtIǔW/<]TXfWLG_ Xy NL 296="6=oB}G'鷹o63|<%m^` $\qx4A{Vrr22?5׹wy;Oβ̈`ՆT^(B01mQzO=,GK}6&0yʍe#3|#+@crI0NY|?l JWe yFto'G)kp=6Xu6ÂU[,xjlb}61{5Ifs({v+&-Ҁ9B6_eՅW<w:-4R8/І|ȔD,d 'T!Evv~s ͸C6.(eF"*mՠlȎ'6Tg_i/iy)f4TzB3 d8zd/R֛tѤ9׺?BQ\ M{Y;S] W]v\,,(ޭJ=զߏ'oFOQ*rJǙ- _  n#ƃXuM{ٽ $d͹`E<=E!㺁}tLvΰk5AH&*42hjjRVZ{?z!$'`:"6v٣12ys^ͤ+` J\. ܭQ̙t=N(D_$] hK6$.'E5FD~|_Ϯkó \2 hӧ(̆>KT7r*ccE2-Y-"@Ùg?ևKʏ#oA"RC:G{ao3e8[G@7BUĀie-֣jn}X0p!ձ' _'L.03?"ޮU X׏Fio){Q78X?{@| 7CڸͿ!#Fj&0Q/\mN#%@8M[3q6mG"oFWx۶נLBu?ϚA#cN-']\+.㠮OՐq[t &~"PfU_ |Y{>_w|tԟ^䱀~?Mа}^B^&qGl5 cVg'qleENzRm[ʠA3ON{ 2ZAy{?M'B^ ȾC2K\ +HocNrrLdX<"oQP/(^c<^K>)b+ `b{O[7֠l][nVԍ 19X5G(yvFfRDê\`;ݏϯ$Qh 0ڙm{jsX)A%Z^]1ٴw}w8YO<*l7GYB-G XXRafNߔZ]9#3ߘwn]D| jrEz%k l n J]-?b>ˈXֽ6d <Λ:`XK :Μu.kf~ie5IEme˱R_[Mx~((_v-Pp"<ٷsǬO7+#j~Zd(d!{ꨧfW<FGhL3t]IC 3'X,:9%߽Hwkӿcr>!j޾tK&O ʿ6]ugyC@Ad'&XMn 87}JN>e֢/J<~ ʒ=Q4oi 3.`{}CՀa_yF[H.@Xt.aFA≢Lj.v&WJʍ=ƛf.k-HQrgEewo*!O@ gTP^Ӊ{ga nȹV8E`u,.ΦAorl3^ʍ'k\V4#ga(ȇ:>@^K&ݝ(OÑbgy&`zZ(w1B+'Y<tJf}}]^׹/ʄn9&ɮ'M :+Z~j\)0\v(\ ըK9۷,,'ym}K梎Lع-D6̔p%B[T~TXQ9p*ұ{qd^hBz3>[$1q*Ю% i t`s/c4ٕ/BW2o7 ^,DtY̷>a2 ¶M;r{=|Zyaщ@p #m$3" duM{GʵC58愬fTO+\]`/r>Ŝx{*N$5(yQ@.`WZx e'* m@7pDda_PnU H GxG+lQY9nqK b9dA$46~@rKWN瞝?f][Iܛ3+Las\lX6O%MgYZ4eac48d12f7fe444e2a370189bbbf6552e2aaa1daf8291bc72d0c9bbf3c9bf1cd136a1b239d7b784 5ad1a7b0755b9073113c0f730f1f12c00adf84f7