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  /,,, ]/ HOL-Proofs-Lambda:threads=2elapsed=153.758cpu=175.836gc=5.592factor=1.147zXZִF! ]ŗXf1-q恈͐7ӺV -fw0w]BjZjf7gpY׀BӇ0M?K`…$1+l9TWP:J+xlj τfB񎫟PF*$(_OC].HШs x{_Z_V)#6` ufX9>_KOQ oY(Ұ!:Ϧ+Rn {htdO1|.Ԇ=(h׀N"IM(JX's>!՝ Q UܠlHJKmB=k 6|_'c%yH7C&ee?Sue:E"xob.eҕ؋ϓUOV1 #C >~ށX߄5A?u;x1D8p=!(0 mx(_X, Qh_B_VM d7莍ϴ`j9)):Z ,rY>uIa:(jrzUhΨS?őOgYZ7zXZִF! M]ŗXi%; ?OcTZ&EA.:̶`}ՐØMvqj ygU`$] "Fs(K>|VUFU6իJv x߄XF -M\ X t0(rr@de,%jy8b!'U -,BuȼNU`{h!wEJvcL)Y+!R1;޽u|%j&{D28ӊ=Y,bȼ< h`(9lX~4;_5{&7Y7tb]=hd6Js6_lIDL?Y9X+癥z~^]ѷZ 7,WH`˼0)S9pa\AU5vG@ ܱ`cfw댺@ j/vzsQvď- UX"vNxal=lʊ#JaNnw o4ZXf4r*TlWDb^2>""=E([b)%MMaXj@<OSl{]qLA;C#mh\CPL>zay4B U}\zLa%2ȵI%SvHw'c_~7]u;)k6¡7FhpNeW/i,vZ[Q$etۙkC8֒|>c:B8UW SxgK,%Kk& Ԃ2˳B/e``X3Z~\ % ]o>x+w"2N-\"t5L`qcB.Q5Lx@5<U8mAϪT<2ЖbvRͼ,I Ȯ:h[<킆n{d4,>LP k`">7R<عjשFħ Oՠt9ٻl8aeܣuuv#}& Ɏ6# B#r.E+vv,JHJJB왱-Z3XL\[s7:keUOgR5f秴J)Q*-WBbU,)?jE# $^I6;tQou6&Z:WRϔ=fP,/}?Y~͐Sz`,qTqܚJ?kOR,E9~#iᓫjw+JvhL'+09\2GPoR:InyL).!l+] E|ktj!A͸2t ͸aBh&JRY\m '-\6j;PK[Y04 H ֕-'Xn )jӧRκ׼kT8֊܉uYΒכ0)X8[eӁpYp06+&yP m?0|@ (T'c6|6zf1FUyO֮_MR?5"0Ȗn*ԥT ԭPwcai򮩩 ӑxCÎ@v} }_i /VьFP E&6f+Ddg ee>'[8(OC D є) tF#:TxQ_խQ*%J.˻~fQd}$ު>hMjŦ.(C5,yMz5/=- EC{†[Rd`T7a͖zDERIF#4qXI@ DEKn"tơ#1NV63={gߤ03Jd|6FJGeX(}e50_ECg@r\(PPB yHFr\5?Wst>i64K-ϰցkRLuVXi 9$2hR/^czfA)clLmixbRւ 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 )(%           FC  E =/A%HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument.tex=/A%HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument.tex >/C%HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument.tex ;/=%HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument.tex @/G%HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument.tex >/C%HOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument.tex D/O%HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument.tex;/=%HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument.tex?/E%HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument.tex@/G%HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument.tex?/E%HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument.tex?/E%HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument.tex8/7%HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument.texC/O% HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument.texSjzǾ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`+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@EubRւ 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 EEL/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@ Y/7% LHOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument.tex7zXZִF! <]]A-MՋhvG"uIBm5~CO Z(3**ej&oR܋E8݃j4;k#Qx8F uw+}s"ja.ՎoDn^B4_\m2L\2P;ڗ<{$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Ô' <^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&ə׃&Ɉ%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&IkgYZ  ] ]/E% 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, {}Y~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>-_Ӹ5ogYZ |/=% 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 # /C% THOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument.tex7zXZִF! i8 ]A-MՋhvG"uIBm5T6Y)AEŘmUٛնW6U[2\Wt}7;qj\!rNĊ0[ezs7ymJK[dPp ;\ЁUIؘm4q-VӦl4.2j,E}C@E4 Aڀ}[€V0;)ug-/eIӗ 7 ^fs'N=.EJ3HT!uchܲO(1gӆ8pUx_A}X&%QnX\$3_&EK4RKXAtʶmVQg8N$eHΟ1Зmީv=1 ?`Jy!W$R'; B]HS%$Qt_&xj M#2r'c 'FeGtm,I/GG/1ćN;̞(竞pXĹEDZO`d$9>}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 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 yy /=% HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument.tex7zXZִF! D]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-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 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?: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ũ ^}fzuC[#+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^p35\|u—hQ.8^ub%A:S#F)Q$ S[/s f蛩 Q`Q8<_ ǐ.K64kE ~(e/$n S>ЇzRDno(*X(3a::/~QG(BNk %[vVU{N\ rͦ 28l? E#|<^},[X )k_ÄB6wnqGת@^ٲ^̉ZZۥՍִ r1ލjG M BBhd8dd.RdzVKy&\~b}4h6_#HZ[{0ÏEǞU" ]MQLGm6U(QO>ˬsi 5P>aA :qЙ\-Zo؆t %|\]J>*GqQIka-vpDsK5 MTa`04H\;fM?4ksYAV8Jnƿ94D@{Qb oaj8IPbuL/I vb8?p.=;e;3H`3?s;2'q7]{L);; 5Crэ0::P֝XWH"omOmop ]hE/"/4w;<8g[nEB娾>f$Ywk}jG CUpQUWɛ6GM :przf߾L($ɝoaYh̢+Ke5EO]>}7{:TwKs*3V쉉@Zu8ľ:bD̩*sk6V]Dp@g*% {E'09>8K ZB3]OŖ:(Z2RsP6Zv֎ u'qs]9}׵bq?wTt ps5u)h _HWR:JX nx{D܋vrg7)rvU XS^E\f<ٽax(0 #?2EzPD5M6WoLP3ƌRlJ YK e8&48VH(H},0bbMD^p>+I@?X?;$+^(w)FGb)dEC#ݣ|h@Uz6d$ǣ//eO29)ꍟҞ20ׄ+Ӕ9gStuLK!%&.xp ,"UVbj62Ə~V j AI JYqEm1X j]ײlda BlG*%;uNX[Eʽ ٍ@P^ `2 +". 7BEc\^Wl$g lEb~ ty^B m;9Cks\;L,A PJNd`` @9-0CaqL<75&hѣy:vm1. x2mf>sq(dł"0M?p/& 63R`+(5K|Zg<1M,H]>Nmo2Һ1tAP|deCk$:wLB2/j@\ ŗ EΦwdF{J.kǎ6BU:&fVI#ִ'.A¨<_?ܔ%8]*ƌ+2af 3l|acN I\ogǡUn `Ka q@Hm\լ[gԷXŦ]OqQU[mr䝸mTiP'{.3 rnpo=ſM y˵ݴ,\i |F/>Ci\dZnє(ίM-}XcئeTM3,sK ]xNz9ju*"_kYjbh}@BOa~Z99׭`1SrUB9%w{܆2:`J7fUb/M`-ƅ/gK3?ΚMHV e5:Q('.8z,$b j@SӑVgSE#@])G¡OfÚ64p˩2>ifƾe"yM_Ę4d^c"\"T!j/|jT6nЄ:CrGWfA-c8;Srf0)Q3wOHjD.}mԳ0&1gt?NJz%ҭ\PFP"VmǵQ%z;Kx O7vIw tgeNv_q˚8 $SفL&5nL/lDZK?Wl0:/L900 ѵ^4_ܹo`::d[z}-a390E72-oCGZ:;H`j6VGXp"ƽҫ>)9CK pU>U-=V| A;CLOP=ܵ(k3v RũNU yYv 4C\g?N]5L& CoThƒmXK+?~]?`Wkm0j,; ">0 igYZffbce64344261a71c8c9ed0452fbfaac03b6d51a408130f68e215ede7936ca4ab0eafec3d85e645c 1a60810730e70fc0060bb9055082b58a91a2aae2