SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info <<5/x <$ ]/ HOL-Proofs-Lambda:threads=4elapsed=140.420cpu=159.820gc=4.5647zXZִF! 2>]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯TB/Zks&D,=&`m=~1~mbʮ [;(9@+%-;A`aYԇҬO3\aa]2_ uWCuRCˊжaEx1YN>8AQɐh7WY@Еraa2fJ^ ݑʻHo'\: `LR#{׺\THfbZ @Ff1/"H s61y6 qVpk-VגΓl99\]Vi/N n%,Rm>5eG?LtyR2ꌁdS'9R)ۗqIЍżR:էO >K< ^M |)& | bWsfc*J444M!_b"A&^G$\@QW8a/HxhT5[QB K.]6|$~68#(+a ox`(po ]gYZ7zXZִF! iX]ŗXiɟ11bu)]>_ws[Ɋ brJl(1ڕkNPD4fk+6G @)cВN"1= qm놋#(Y I(Sx ,af雺 {]Pa%v0BHRcT(K:$+lB#M-{d?]*_:.iͥЫyJqw`*?IRm|I#H>cqXgYǼQ*iQEqd ¡ 6yq=fb4+HNypȰ捒 %!4o1<%ۉЦ_;iLźY3 =J3X=@OT{9_~jOM&'b2X|sWxɢX[t`|tFjo%GD!~EXÑ'6%4wzf|sol HْTSh Q=ʅxeh[O X遴6ðS="u=ܙ`'K{XJPωX$KKDMiBcYr5*py ƸT$MRQ9R섆 \feuE|]ju޾cJ2oA跖a3`K37vB7bM4⣮Ӡ59ՕpڙӴhbL o¾kp p;*yzSmvjq(z+dWdxt! DA2nR/Nd(~SX12sK &0n됨Oz:'k>yPn%r te>\C6}؛XE= qJa)S6ŞMʘÙDz~R.}<PT*i6ZRcZwk\,YxgV0g}c{q ՚ePlI5]l v\|\7il,!ɩ?jܾ(` "fv-dE5;tȉO v+xK|R5k +%b_Ba!-\#6]ܝg / HOL-Proofs-Lambda R/O% $HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument.tex7zXZִF! 5]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>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/E% HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument.tex7zXZִF! []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@' <^0$VV+yO-jaFMq{JؐFͽwgCiL FzQNFÒ;-ʖ@ -`V?<Ygh.hdOu^ҪPOns           C A}  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 ?/E%HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument.tex @/G%HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument.tex >/C%HOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument.tex;/=%HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument.texD/O%HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument.tex?/E%HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument.tex@/G%HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument.tex8/7%HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument.texD/O%HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument.tex>/E% HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument.texRDiYqr &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 % )U~5 Q znq$@ͿڻBI !T6%VUm_VH&sUlѿ+ ªZz 癿 hWmR5xA dob lKFH?%?m,R+zg rVCaXּiÏOܻ1 \H ʭYDɂ4BMy0i1T5wB"l]3f`qԗ^$J ^13`17C߰C?% w=  5GG||ێQqbz""}m5m+I"ѪADx rd.Ѳ P*~#²(tg5 6=H9@hyժNCEiE^#i!_%nI=<ތkU֚Fk3[|H^*H+@!M:XհrԂp(0 WK)6(z;m콧 :IC<.~[%z6Q漭w8_( _jE-Ԩ5% z2L!8lƲel _ : AZGyqAtwS \wƣR5$ x1sMN \9׵T0G' gEsWm,)a/"M#M#( Jl7?q}4'k*eg&8 @A0/-y? A[^W1lUd0/NWfg2Bq]zEs_Q"4k[rn] K&kv@iόW\rV+, ' ~-?R7y}X~ymj?EزI3XusF6Bc]#82nͪ埔kМh MDB6njj-a1m~0Q뎩lp/pu!e"*JXPE4E%%E ;`ȑX,9`)QՓ]|+b#MQUwC7T {g8C~hc6Rz6lo5Y>N#P z,X?! f?H5,&/ܖ2)$Fꈺ"'[,in :tͼfzEFo" ~,zPkX."vUce?RFb4,M0Ȃ$F}ہ}` ý_n^OfZoT/G Cc{%1;}(5*;5RiJAך&0?0V%L09]s"0Fk {_*51ŶձHpצ n!]|*}͑AZC 4&#%2;>TԹOrTw4z+n4mil<86X]_MiD= &d0O'Έ6911+:9 bI횸-R׻3򪀲43ъ1]MEC&99 M Q&I>Dϻ0_ϗUL#Z!H;=DV 6(:oEͰ ٬eZ:vD~>gWSjgh!k<Ö1S%n}[l0rG}T@yI}p\4oo:\h}hgML4N%&` z8w.j;D֝50omgҚ=͍6W7OI1oZU@H/܍%` IGں|D5;OH*)hg6"K9yo"q2 `6EHA,Rܦ-Nyn _?^Sэ/n5z_~!^7$M',w/eqkQ#&j7?:ҢUQ( ˆkӧΥΔ7Ch.f|֛LcX3w?P~{wb >!؉HYELCBoˢu/ P{R)qo(&JgYZSjzǾ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/E% HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument.tex7zXZִF! []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@' <^0$VV+yO-jaFMq{JؐFͽwgCiL FzQNFÒ;-ʖ@ -`V?<Ygh.hdOu^ҪPOnsVR"UlC>(aRuARN]99Z=F?-[S Z/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Ô ~/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 %hڤ P cV:D ߏůS>Vb53nţ{Bkǝ0~+!ELVhZSy_zo=PUp}yֲh .eqL8F*-0z[H''f3ÿzx;|+%c/mN0ǮdnjC2s둄s! e(V,=К"+ߤI'h+f[čx nb,M.MDdkgN1[UJ)&WݮH'M!~ \ li V^7r҂ Y"¦mt>XK;y.{P> ^lSY7Edbʱ Z/8j* Dvܱ!8Z>s_>&^qVeNq/O9st$ݔM6k 3ex0StVJX'w)mxmټEVF9o$FQ$[7PUaDzʅc?0:ZFNs[wxHpn9t OFg!6H4@afa\\5:r#VnD/SjL2S{|c"  X =$H lHYF oG/ F<n9f'eAuxb9g%w2! R\kcW #qo(HĎo(Hm5ON aPQ֐-o?>-lu!1+=?fv!x2Ů+^_ '͓?XܩW? ȷ0h`sL!)U7m@| #rQdX73*5_h"Ǧ}tOWǛ%fM]#bXp0KV]܎$C˳K]FJxố l Ě{ 3|1jm?3`TP?mg>F |L]8(@;B$wa[D ǚzVB^@9*~vOL/~nqmf{(\e)7eWC.Jmw\S߃`ӹ='V/abY*+Ŷmd[T|N(:6R T7DqbT=PZ /SJgYZ0Df+ 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&IkgYZ  \^/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/E% 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 $/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 B /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 U /E% 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument.tex7zXZִF! t]A-MՋhvG"uIBm5ĸJ>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`R3Hqs 2K$u|_< ` LSż TSJcEJSB#DdCb51&V #bWz}gk9>jNߎcE@y:ܳ 0ƩՔ}VZTt| s˽0bj=WVGUF&ww4v D[XA@[bI[V74ČUTVk벽zUDoćrsJ=r/+yAFJnhVMb0I'*rH F\{14<V$4u-Hdػ+3wը+S1]ZݦWth 3eAӱLh [=]?jFyݍ zO ڣiIA !ǹƴ `NoRbb|L@.%0(n`N8$EgXKܦH=8V` c4+;$ׅnjC5q&>E;u4ZsCaw˷,Q(lҲʆbsD/}i[#+ [eQp@26 <=:j 5G0XN%Z{@pʪFFw2q}qɴ< 9o "J (@ Eel$$}v㉱e. pD[S1JߗH|.$#4,XɌܯZ>[z oN e|h`%D }uٟ3?yRy/[eB3 i(v-YF' ?Tt駃+XY4 r) p]YgEF<C ,]zM"UV] MXu5\])8+%![O>ErQ;`&}S^_<~ X:`kikI)i "9:o^` WtE2C1 +`_Rw^ڎ {n':?AH9"|G!fhK)HOi{'naضt)$b[BfRS쨔gʡk {~Lz%iy{|4=~a"z{Uf1!빫׼itW%aKo'_23 Q;]EMcIR*W)Radz)%UvJ }GOki,ddC0w~#>' 'Vᛯ"dE#ňa[!\y/!]_w7QazS?rYaNi{psʆwMtN0g4G[WdmбЌT}f%$ 30B1LۃHҁ&M#7ax'u9BsQR0.>h0 6ܷy4CXA3Ċ;7%yF*r-z,㼹4dˍoۚ*gE,,hq}_3݇H^|ct~TF}c.$XsM,H| qz-7>wz LKt96ՌoN@k'=u'O+;E+'8=NӑϮ v;JOut4B:կ7%B>Ȣ?wն8}Pr'񞥭O9-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 d /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/}:V7݄x0؎(8̮Cx9E $f:tvoR]zAYF#AAXAfpwCwn[Щ6&cqܪY$+;]uzeFd6G 2'$jqFEdwhvXEnjIkvtHx=v %gOuv" + y}o0ݙT/7p~9{@mjmơgH=]N10JԼrXG* ^[Lr_C;9*;"gx*oFp] J,ڢuP&r;gVľk#$W:dWy\BY:-E?XąbW^5T\" Z!li@3%zgtn>ׄlE >ҟPI>˱WkX Su{dID .`jI $9RBrhLC@6eoDw̾V4۔d%XpYJ sXr"{qr Hm/LWU[Ĕ/eժuO&MMG=E7BWG7`q␻g}&1acVͿVLf,F{.AhAM+cp`)OR~z6ۗAl0RC,v }M uۓKPCy 0H6&> 3u|EDs9. ـ9R(qɶAiU>ތu7{v*ʹ_%Im=^ߨ QIGs9q<쳘ZXn*>;|wruqzvWBLSXc*4]:MynK8ܘ-yb|EW=B:Z۔,TAWÌ"cwI&"H,>46* .)#sS#/vCVsx$ }p]Xh;EcVj_Xh"`EɯM%- h,j+t|"`;R=Q@i8jjYU9+HEmPF"톹a%juۻF_5my=tP"\. B]zf9MdB}{^sBiWj7ؖo^ڀM?"ﶧVr;0)NǢ!GKnc=7+klvsO\kS\<]낎}oa?Cfǀ#HkǿwM:nóP͕1ΰ|vVoYzA^" yt\xO3F2KLp9>D8UHKo X4]y3ad<,c勽ˣA+?@ߛ F55*ė^9?J)"_Fr+\̛k9->,Y׹jB!(A8@:?OD\NSY+S2t׵ƖpКȂW:zQsQC%GZɲay6 :1zlb3<Kx@_# 4ZKMٳ0݁"9\KTyҤ5 xWq#BnroX q;Ďٮ^K)9~l6Jû| WE !}a'be%oa%@+NB2(삕◯d"DJ9 G!`~pH?!)>O*oDz9;`蟞o0 cY$@\>QN x9>P˽(,?1g&t+D|Ae~d O<2My/oL(BscV}@o\ƣ D:EC T3vg>sH2SAﲋNCuzwԛ\W ۾YP@RD(^9݅--ܒ~a2S\\sd;Lo[Dl>;>MIt}Q>NR'Dnivĸ/ɿN6k|[O.SL[.Mn\mhts`t|A%MkP(6J0 b&(J>orl{~MڠB]}E(ꄾ1u@\simOi)Kh?$TŃ07nWX`XsK=J/ b7WbYKlRtֳ y(/axŃ .Rzn Jb8 KWw!ѥ}\ݣ>BlaC:m_w_U"&l, Tϣac1lD"|sW:Prk ;ߚ=( 8ȸZ%/qn|N@1>hq\n*7v2hT?4Xâ8ix/`nٟOW#$~Vw^w:P:F3fKj'rC^TSӕ߱jf`e#]~wK`g.ʗ^j6o2HmLfʖs;Ä\e n>Jfcqޕ9$ިVTKq h&)sZSXn@<6$0ȸ{WBfUO 2]'5$$M|LKQ8wQw17N;b![DK:XZx ĵ#\m펞|k9 u0K`ë#ޣF.5;HFjUVNzoXVYDZV!V񷁝cxR*r8u3Ϲ䈎נ^߅+E1*MSzeKk8(0e쬋H)}dfTu{v"|Hxijt!`)'͵B4 ;Y\յ=f}_S ~-~`^yTbr-a&C&X$(<ۭ#az Mtup~B/in +Wu)uN/} zl_p*X<4H,8U+D0Է˼  !e[ 9lv–t'z}u!~Φ%4ݭdc8d: O$KpO*nݞ3r+Ie p.D)/3Tv*Q  -|%]!먨db*"W|M*y"3IA]x;"^QC$9H6_K*% %ZpK{k-[y})M^ܵcPα#rrwnEYjea6YϸJ)C(z ;]EτA&)#?yܠ6Zƻ23E6٣~J}8ʼKS$s2ά)ԩkCZZ!!lM-'6r15pL@8P8k8tlZ`zꣾ#a1!kZfG@ϣY 9(%[l 7`^d#~X9ҢvtlkJioڔc{ԽyH$͂P.s%].7a$ٮ'P% <ۣcqAa2D5 R:%y<ѥIiPXuO֌jA:>0|ʑ0|4ewI6׭`oJO gu -6hjjtơi$߫'# 6p ȿ](>ZFj3\sЖ+e/k g*},%*3ط%&Z$jjp|`6`[`M  Va>wa$ ʖpmE d4i r>c{5;td/h1YeO&#,2+`gAzThh`0?5nK5굩 BZ{نvE\?H)b,"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^p3E8D?ӂbO Sk-e#u՝ijC׃nNSdZ" sV[ҋJbZb}ʧwPXǭ/Lxs̬XQbZh#gYF⫥ )}ByzaH1~k:jEiJMi/5nzC_'ܦ }Uޫ m\9$õ0|>`Cꂾ ~I`_# =YE:߿"JfM'cVuT7DŚX?{q-bM[t_v/<_ZJq ~Mwfat")Ãs, ӡDGVsSA^>N(`E ru2xcq6e~o\YB%sB 8>+hQXDXaGxxz՞gw`" X.m]k4+kB.Ӝ6¦_ MtrőJLě1HS`zzBb dF5B#F fu5'P:i*ŠO T!#Ÿ rK'G84Ч Yo:}02*k{km06v.[ ; ff#@z*)gz4d ȽRJfrc. v$#]:B-pGOi1GP}lha0*%nF+78r;ϗ/S*9.;{(S5)<0S,dm1iG`ne"IPfri~l` |4|YT n D/PK MWTE9 dsV\`Z0+A+z*W'=sZGhX_(\C, F^28uj[hY .SMgy#. X]^l)2Se/B"GeB9`3OJBʓ|++c{uQ,E(׃e?"|R0 jO&>B#b=K85teQx0$wE4$Ҙ OtD$;VV@L¼I9n򋍈[pcm""aof30'VVl l (c{Ģ.~g;ϸJLV9,gaHG-1}0Ÿ Ynu, a¦v_rr % +Re͒pgr39n5u@]ȌKI!O?hx# ,3y f`L@u)+QEst Jy\lU]%h~)s|,}("]˱ӟNx h}$$H#TӢq(}Q坻x(ꢓ5LWphb%18Y:kX$|Jc|]HNz@$_gbwGv`dO%;%;"vsHڿ#셮L 9ԉyt"߈/jDH|68BDW(є׀ HĦ;]X{x"w(9/D1fP\#?W]-~K xLhH  &-!͔ԱH8#l6}IkfGu-0v݈wߜe%DK=*VM!L(7 \cUyi[!ve7>}4PCi Y#+}6o|g{AΙHLK8|6`4  ,NbJ2٪U1d.ECTMW{עH;! p{>+ѓҤ|DaIK=[m\Ylr:3kp*AC)C'фB;"cȦ$G.J{So=S!eaHxQ `M=QPC1+cPh7RSrscd=mgaknԖu&l7)Ղ"7 7tuPTʶ#t]ڹo^B28c( -ڍ8З"h|Ɨlj7(S1qNՔO74|l.Rp6'd^p2ˍYKيxlsI3 ;xYa*S`XKJ k 2kMP^#*e7v6?Yd 2>tBo9Iјg)Ҿ$#M2\y]P Ѳ]E֮ʴZLהᝌW(!w9;%}&hp# V:T;b)'hq!tIx\[ϑ:}i+ Q2M$URXj-R@N#)7p+ڂ+lO.ܮQBnnQ{tHotd&*V;yE?[|9vJ] d j] zӀnRyLJBҠGʵRsŲb2OWD?*2-\{ݶc Y׶$ʈ$_rk ̚&t,3yHt"HQ/~eF_+\κ 6tfB8G%=Ccq!f O)yb)]m_–NzOӁa <CLW$n3[[N^V7w(q G\y@A֕BH%*, W?}tP>WX>Ѡ&8 )vkI'!l=ū:BGw(ܰ=.^@_kVvYx  =pl)c1kPY(Pŗ!"ůvwɰqZ'a޷o2|v+W) Q0`(=d!R.oZfTR勲oIPP_vi*{^,“>8H4A;{̴K-J8|ܻSUZ{> n?"wKbm돥m ok|dذ pD:lZQzG@L73Qp8S)Cecm @e z(qv8 "uKÒ[a >:ya2!i8 ,⏤QM5κWXFT_S:K\ps;Ma"wnEQZe>AVס QFB YP_@_/[#8Ȋ]O\hYMԔ D6 BiZ@:/ˬX_@_)F^sAh)Pzo㴨ivB8QʯJ}^tTRgҹ7\A"B"Hb 2Y'tú:`"@\N6-{ h{o5I_/d ϐmxLǗ6iwoPDVa*̩ĖiAP7Jp5)@ fR<(Gք Hx)-dkSSv.1uW| |N֎Uԣ '1!PlBqP% d"oll, 1u,aٔ2vz (rԛyu>P|D%~4zJFIDqӝ7:Se8|B2޶{9IތdS/ 7i}’qHBȊohқ2yZ5xۥxL ^]΢ߣpd aj{^6+U`lr0fRT 10FWBBǚ?#$,,BXX149 @!1Qb] z# k#ȐI-|z@DT`8x ճ 1`DBn@0fRi;޳nH= 5Mz 4 Y~AY3s Ҙ,F|+^^Ou|t˰ [םZ +9+زs&lL:+oyЧğ{2~bEctl5Ze}o@\=e?Vpi8 䚳 >BUu' o`v!.~?G8Q2pV9"t%NdG{ 1l?cOgC黪$(D[D?JXxrK^:/U1jvwL h[ pZ^ȳ5yIE  nx@q*hHOŧ0+>dy:Ȇ#ƼF G~,D+!).b]78\۷Ӿ&QFXKlioU-2(zeqAnyaY&H@2;vF0Î8;9XN7h-n iiz,9ܐ-Rͧ*8YocaYj".P 6Xv5!"&5gCIޱOFBl\Vf+.uwdF zyb*[ה4sľhH;1JUJt, )<:CmflHi+G?qсԨ_HD,@9lOipAHOň?B.&o8g|a (l} g+D:v0RV9r'MB_fK!?n9"-)kA e?[Fń~}߾YF3MX߰F= "]N}.Zmh-N5WeZ10 jᕥ(<%^į~u^V!J]G.$ T`^+=YhhEL(O)>Rwgͽ#a8՛*K[߬(uJW1"634)j31J,WMIh>t*kPc_VD4s&4̺Fs)2JZq?aYN~'ymb {*) =]»p$,\J$gԺՔ7y\ q8\.^ڐq!#.sh%X8R>2 &֚<IHKX/a7&OFN/ h& t,Q@|zxXte }_~A(Q5^C16ǖJ!c*^z;EiiR`:d]u7a`[BREqfCKOK~S$:dUOۙ_\gD/Wb iP \(V8ZVBJѧ#5:o{[6n,(;&:uQ[5X9̃O,wR:D&y"Vs8SlZ3hRR)(eI g*gYZd52480a73dea6bc36bff30cecf5a6fefe98190c396398ab8ee2f74c06c97a344c3a66be619380746 a7beca3fe678831b6008f952b141cfe1cbdbe8b3