diff --git a/books/bookvol13.pamphlet b/books/bookvol13.pamphlet index 3c49d1e..6bd18e2 100644 --- a/books/bookvol13.pamphlet +++ b/books/bookvol13.pamphlet @@ -92,7 +92,7 @@ formally proven ``bridge'' to primitive-recursive versions of those functions operating on lists. \end{quote} -{\center{\includegraphics{ps/LLVMtoACL2.eps}}} +{\center{\includegraphics{ps/v13llvmtoacl2.eps}}} Hardin \cite{Hard13} describes the toolchain thus: \begin{quote} diff --git a/books/ps/v13llvmtoacl2.eps b/books/ps/v13llvmtoacl2.eps new file mode 100644 index 0000000..be5d2d5 --- /dev/null +++ b/books/ps/v13llvmtoacl2.eps @@ -0,0 +1,1176 @@ +%!PS-Adobe-3.0 EPSF-3.0 +%%Creator: GIMP PostScript file plugin V 1.17 by Peter Kirchgessner +%%Title: LLVMtoACL2.eps +%%CreationDate: Sat Jun 14 20:24:38 2014 +%%DocumentData: Clean7Bit +%%LanguageLevel: 2 +%%Pages: 1 +%%BoundingBox: 14 14 297 208 +%%EndComments +%%BeginProlog +% Use own dictionary to avoid conflicts +10 dict begin +%%EndProlog +%%Page: 1 1 +% Translate for offset +14.173228346456694 14.173228346456694 translate +% Translate to begin of first scanline +0 193.50000000000003 translate +282.75000000000006 -193.50000000000003 scale +% Image geometry +377 258 8 +% Transformation matrix +[ 377 0 0 258 0 0 ] +% Strings to hold RGB-samples per scanline +/rstr 377 string def +/gstr 377 string def +/bstr 377 string def +{currentfile /ASCII85Decode filter /RunLengthDecode filter rstr readstring pop} +{currentfile /ASCII85Decode filter /RunLengthDecode filter gstr readstring pop} +{currentfile /ASCII85Decode filter /RunLengthDecode filter bstr readstring pop} +true 3 +%%BeginData: 53498 ASCII Bytes +colorimage +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcCE'#6*l;daQe6N;nD~> +JcCE'#6*l:dF-V4N;nD~> +JcCE'#6*l:daH_5N;nD~> +JcCN*%Gd+I-oO^n:.[5m>aOQ6s*t~> +JcCN*%Gct;,:b]53B&E7;j?C*s*t~> +JcCN*%Gd"@,VVMP6pN@Q=I&!0s*t~> +JcCT,"m'>SK>QsOp''ZmHnod3P5g%~> +JcCT,"m')A:1nnMIKat,9.=`GP5g%~> +JcCT,"m'2ICn/39` +JcD#8#Q2N'I!^OOj8T&\h`Q_]p%ALPI7EQ%rs.>\JT5Ua\b;WpJ,~> +JcD#8#Q2K"F)l`6ir8r[hD7oPomR!f90MV?rs.;ZH>$oC\FuNoJ,~> +JcD#8#Q2N%GBSPAir8r[h`#Mgou.$FB0kk_rs.;ZI;EYP\FuNoJ,~> +JcGECs7QTddDWrrrjE.3]=,0;e'HhAr3lV7\NioCT;%Ne3_Yt5>FP*U%>/`hO@;ETQ`@'F<]R"K +s*t~> +JcGECs7HNcd)3`orj3"1]!Sj6da$Y?r3lV7[l6<@='/EV' +s*t~> +JcGECs7HNcdDWoqrj<(2]!\s8da$Y?r3lV7\3!)pJ:i)P1e +JcGcM&Fe>_ij3N)Un]CiF3dZhJFEJR'E*&iCu^+F7D!pr31@BoK=14#pqct3R6eXcp'(*,D)Ns: +nb*+H.Pl=oqXt!?:jSf7J,~> +JcGcM&Fe;]iNd6!US0"^ER%9_Id[2M'E)rdC?'h?6+V=f1mkdfJ[=jtpqct3PVQkJIKb.474fj6 +nU:Ua,V)H%qL/Ka3HUqoJ,~> +JcGcM&Fe>^iNd9#US0%`ER%9_Id[2M'E)ueC?'h@6FqIi24:shJ[Fpupqct3QT:Q4`VR\F +n\kX?-8/l)qS`N97 +L&V\RrM4dFfP=E%bK[E9kP=l>rsnhgnDggFZcuB$?0Q^4d`;@h]0YEMp&Wjhn+He"iV3$Im7sXS +s*t~> +L&V\RrM"R?f4e&rb0735k5"c=rsnhfnDgdCZHQ&o>3U=.dDu7g\heL'IK=G'msY:MFSC4cH8qap +s*t~> +L&V\RrM"R@fP+2tbKR<6kP=l>rsnhfnDgdCZHQ)q>NpF/d`;@h\iR7n` +M>mnArH1@VjHlUXo%O*NrpK6KH=l_7FfYDarrW*__q"G^b<5]ss*t~> +M>mn@rGk%LjHcITo%O*NrpB-GG\$A0EiT#]rrW*WB@VG4C,>a]s*t~> +M>mn@rGt.OjHcLUo%O*NrpK3IG\$A0F/o,^rrW*[T%1d]Uc84Gs*t~> +NW0:Wq0+\\o +NW0:Vq/e>Ro<-^Cci4:Kf;3lh3,u1udJj6e4O\`[2q"H#J,~> +NW0:Wq/nGUo<6gEci4:Kf; +OT,O^XC=$[Yi*M##2Ge]p1pVpeGfQ7L"#_rBsj]8J,~> +OT,O^X'[USY2@4u#2G_Yok:5ieGfQ5;q$0r7^JihJ,~> +OT,O^X'd[TYMdD"#2G_YokC>leGfQ5DpuZ+>-t%(J,~> +P5b^.EUeFcpV6_3qmL,op=@gp!J$`ip&Sm9UAo`~> +P5b^-DXi"\pV6_3qm9lgp=7ao!Ie2#IK;mEUAo`~> +P5b^-Dt/.^pV6_3qmBuip=7ao!IfUK`;s,LUAo`~> +Q2gm_"'\0ep::2+q<:+@^=`GdI\,$^!CGJ6s*t~> +Q2gm_"'@g\p::2+q<9t9^"E>cHs>'K!ArH's*t~> +Q2gm_"'Ip_p::2+q<:":^"E>cI=fqe!BSo.s*t~> +QN%*59"j +QN%*48%dp][JpC.]S#1igA_2>=O_d$D)D3cs*t~> +QN%*48%n!^[JpC.]nG@lgA_2>F4A/1V`=XLs*t~> +Qi@/e5.:Eorr^J*K(n(#!PV_5p'.%2GC>4AnF-&PX+IqWp&T,uU&TW~> +Qi@/c3jejirr^G&JG7k!!PLquIKie@77^*TI.)Lc>tSW$IK;s$U&TW~> +Qi@/d415$krr^G'JG7k!!PM>+`EMJJOP`;s;/U&TW~> +RK!BQOQl> +RK!BPNp6,:rrVV(\(pubodG+_IKk0T,COJR5Oa+(A0=T)pjN9W1\ROBJ,~> +RK!BPNp6,:rrVV(\(pubod[TN`pr*<)2tisFJ,~> +Rf[LpRel_!<\a=A2E]^;jMT17m(C1+p@dIPde;[?/\:,tYg_e6p&a25`1[-\~> +Rf[LmAbpis2C3g$-Rs+OG%YQ=H":N8IXZEID16Uo,\)%;?>aucIKFUE_k@$[~> +Rf[LnK_iY/7k;Qt0/Kf-\"0>6^6bA-`Po6IWPu8N-^M +RfUHBl2LqCoDdZ8g@5+DMI$2;rrUS3n,)f"<\MU`-C2Fo +?!K)<32(e&n?b'h~> +RfUHAl2LqCoDdZ4g$o"CLg'c6rrUP)Hi&752C*$:+]Dtq +3B8C+.9K,!Hse=62,/-T,@4t?B0'K"IKEk;qk3t>~> +RfUHBl2LqCoDdZ5g$o"CLg0i7rrUS._#)(l7k(3\,'o_& +:/!.A0nO%0_3$@?7rYb3-]XZfT21^M`<))`qk3t>~> +S,WQ;kPb>Y#-K2Vs8SG!mf*;d1&:hMr(?5R"`2rnmX49grrW.)gYMl1Boi/b*`al+_rLIa1K`VN +J0sp/,HFCAp5^KYKJE2$-!#f[r:U/"Q_=A/~> +S,WQ:k5G5X#-8oOs8SCtmf*;a/c#DIqa]oN"_uckm2c0An:df*]>9SB6J`Q-T?0Z +8KiLr+'gQ\IS_,/9-o$m+>ul7r-eZ2PG%r+~> +S,WQ;kPb>Y#-B#Qs8SCumf*;b0)>MJr($#O"_uckmX"*drrW.'g>2c0B79Zr*_.TGS[QMV/4m7< +Bd1Hf+Gr?V`H +S,WLi^&.gFYTpUVs/+!>^4r3"s3HXjnCEu9YCuWKs#!k6s1OfBU4qk#B./Z&qP&n\s/DC:KX^ZI +LR.E/r2P[Or.H>?d@cles5oQ(cMt&7d?T^`qu6]jeD:-+dOjb^p&S2Kr:Up`HM7&[-M5S.VaXnb +Q6Y:?1%rVM?n.H>p&`u+o:c27~> +S,WLf]_h^EY91.Os/!m<]nDlqs3?LenCEo6Xb-6Fs#!b0s1=T=TS)IrA0curqOiYUs/215J[Y9C +Kp;'+r2GLJr.6&7d%6Q_s5oK#c2Xl2d$'C[qu6]je(t$*d3s;Qr-fG/7XfeV+an/K>:qpb +;]g'R-%9N*4!IT#IKFO@o:c27~> +S,WLg^&.gFY9:7Qs/!p=]nMrrs3?OfnCEr7Y(QEHs#!b1s1F]?TnMXtAL3/tqOrbXs/;:7K!tBE +Kp;'+r2GOKr.?/:d@Zcbs5oN%c2Xo4d?BO]qu6]je(t$*dODj,`;rIZr5BI(AAuN!,/^6"Lc\>M +H6BP0/&e-):aLGc`<*7to:c27~> +S,WLCn,*,#YTpUVs/*uq3pjDFb9c&/;"e-XOX8TXs#!k6s6_F.YqLA"KIlWjCM!E"ZcjY%DdSqt +r'Yo3E)uBS[':k%q6qTbm5:Qq-,\=Z=fWd7qu6]]0])g2r`t9Vp&i&l-E@(=(sjdAg\05XWddh3 +Xu=F"IHG#ga-UGg?+Tq,!HFX's*t~> +S,WL?med#"Y91.Os/!lo2sn#?as#W':%_XMO!3*Rs#!b0s6V7'YUakoJgp3eBk$rnZHF=qCg<>i +r'5Q-D,]gHZ`kOsq6hB\m4k3j+i;hQY-_t +?70JE89R->Bi@363Fhr8!D&TOs*t~> +S,WL@med#"Y9:7Qs/!op3:4/Bb9Gi+:%_[OO!<0Ss#!b1s6_@*YUjtqK.?BgBk$upZHF@sD-WJl +r'>W.DH-$LZ`kRtq6hE]m4tj +NA%%pB":ebTR'V=9pY[q!FM7gs*t~> +S,WLpp\Xt*Z6QdWs..O$0-j66IO0kl:\8Q[rUKjd2-2U6s#><(;e>uf/cYJi;i4\?kp)>cq!j], +3bJ"1MZ'aK]-H)1e0Df6,L6 +S,WLmp\Xt*Yog=Ps-qC!.j.C)HQe2a9_<-QrUKjd2,l:0s"ns":h0N_.f],a:l&,5kT>l\q!jZ) +2e;P(M#FIG\f]Z+diZB/+3jg9D=ep:s"K-'rrLh?hZ!Y_21>CO!-%pQrdGZ'CMS'AIX5L:I=?We +?u:@ +S,WLnp\Xt*YopFRs-qC!/0RU,Hm4Ac:%W9TrUKjd2,l=1s##$#;.KWa.f]/c;2A88kTGu^q!jZ) +3+VY*M#FLH\ff`,dicH0+O0p;DY,'=s"T6)rrLh@hZ!Ya5f +S,WNRh#%*ba!6uOs)I>OWM`X0OsKMr_>J4Aqu8NR1B7A6K)\e]s,JVe]eO^1pVlAAWrN*K47YjP +q^cael,UI^f:g\=_8mk +S,WNRh#%*b`ZLNHs).,KVkm1&O^].J+(pVc8;W;lmG3:]FG +q^HF_l,L=Wf:UM6^rIP5q^7-j+/&WgK_tcMOEo^_!CUDIIKFpJk+_m+~> +S,WNRh#%*b`ZUWJs)72MW2 +S,WPr5rI@o(c4gY+e2l/_pO1[>P]g>B>]d@(M[52rEj-MN:iW"-R +Jn[$cYqg`Lo&DH#bCq]orJb9 +S,WPq;uZ^p'`SYe:%Ea^7tXX~> +S,WPq<;ugq'`b"J7C^%#&lH_/e^3jS_a2l&SkNOprH]K\s7]d$bGZnQQ=ifu02i;[sL +J7gR[YV1?Do&;8rbChNirJY-7@e$-FA\0Zui;ETUXkhn7!oGiPeAVGd^7tXX~> +S,WQf=HE=Y!r;?_rVlohr;Q`rp?_e`p\b'krp]j^rs/&ls7lWorUTsf!W2]irrN&mp&>*hC>IbH +!OZUip&TE8UAo`~> +S,WQf +S,WQfuV5"!?~> +RfrndYUVg-\a!I:N9s*t~> +Rf +Rf +R/[5"Epp.1"6n'arS@JS\7="]!FWU8s*t~> +R/[4uDsjb-"6n$^rS@JS[mSVn!CFGns*t~> +R/[4uE:0k."6n$_rS@JS[oChq!E6\+s*t~> +R/[9_Ld(U +R/[9_L-#+6rr_eI3V2#*!q%L^eU@RH/*N`-J,~> +R/[9_L-,17rr_eJ3qM,+!q%YOe\qU*0Bf/1J,~> +QN%*QcVD"L[JpC(p/cD*g&D)$G1H9eT3n;lJ,~> +QN%*Qc:bYG[JpC(p/H)#g&D(r8C`.i=BD3rJ,~> +QN%*Qc:k_H[JpC(p/H,$g&D(u@b&EuJQniJJ,~> +Q2_$e\P@J=n@AQ%ieKJ(pt,NJoM'l+p\"^YXB).dp&`--Xnq_mbr4.Hs*t~> +Q2_$e\4_)6n@AQ%iIs(upt,NJoL)B#pO33l>s)H_IKF.C?M]*PCFn&1s*t~> +Q2_$e\4h/8n@AQ%iIs,!pt,NJoLWi7pVd6NMbAip`<)SuN;CKpUbLAns*t~> +P5b[YYVB_,^AeB(UqiFUk1'D6mqP%Rf_tLKn'%V?0O@kDnb*CK6'Fl@Y35NPkE[m4T`9N~> +P5b[YY:X8$^AeB(U;*(Nk1'D6mp\"OE;b4jHYZeO-rj5DnU:mf1Qapb??^jIG>p'!T`9N~> +P5b[YY:a>&^AeB(U;*+Ok1'D6mq"J*Y5Q +OT,OUWk=m1TB!oj"kq_'1NUphrsm7l2(q0Y4XrfdJa39-B_(j*YrSW[rOH;k5!(<4fq8:p~> +OT,OUWOeR)S`7Wg"khV#06,=arsm4c/LN;/0dJeCJ*R'(6LoR6?7qoNrO>lX0eXkbfUr1o~> +OT,OUWOnX+T&R`h"khV$0QGFbrsm4g0If(C2^UaRJ*R'*=RsE>O#3R1rO?)a3&N*tfq8:p~> +NW07OY]6;=F/@a=rs8MOh5*,$ELZdHrseGVimN*#..dK=p.'Jjp\"aQW_l7,r;QlsioBp,s*t~> +NW07NYATo5EMVI:rs8MNh4uqqDOL=CrseGUiR)ip,kM'9ofl)mpO36h>WP!fr;QlsiT'g+s*t~> +NW07OYA^#8EMVI:rs8MNh4utsDjgFDrseGUiR)iq-1h0:og +M>mqIX`^/:9mF/?j8@X2%cbBuf8MC\\*!#Vl"3lLb5VY8MC]ts?iC!9np`N"NN0\*\#5XD:G$.e +r0./2~> +M>mqHXE'c28p.T7ir%O1%cb?rf8;+S[cZoUl"!WGb5VY8LaaDf>lF[6nou]L:g@OA@9Z])3@A+? +qih&1~> +M>mqHXE0i496Rc:ir%O1%cb?sf8D4U[cZoUl"!ZHb5VY8LajMi>lF[6npE,cFGcKSP_a^$6n)QQ +r0./2~> +L&V\Wc(hA^4"4_-Jt'(Gf')tsrso"V`3B#k?UN"_?%(;pr;6KrrhDEqbPqb@esT2VT_n`sotQE' +?!Ur]KV6T`OT0h~> +L&V\Vbb;)Y3$i##J=3\Bf&unrrso"U_licf>X6GV>'e`iqtpBqrh2-jbPqb@es8iKT)8NqoY-)n +<)Qh6J"FmXOT0h~> +L&V\Vbb;)Y3$r,%J=sQSX>C4okr;6Krrh20lbPqb@esArNTDSWrotH8u +=BAgHJY10[OT0h~> +JcGcM-hlZiSqM@d9K=K_?UR]7S8<#S[VTcUa^/.mhE*5=r_Zp=m(0sdqXa^ge2kRlrrhOGX!ZqZ +s8N%K~> +JcGcM-hlZhSUkq\82_^T>X2!,RVHTKZta?MaBM_dhDcl3r_?U4m('jaqXa^gdl54grrhLCW[$VV +s8N%K~> +JcGcM-hlZhSUu%_8N.pW>X;*.RVHTL[;'HNaBMbehDco5r_?X6m('jaqXa^gdl>:hrrhLDW[$VV +s8N%K~> +JcGBB''A$!oZahQUTq89dHnflh#$7-kl1_63lTAD"SkuUs+\Pn"SV?Gio9mb"kqtqm-t"qs*t~> +JcGBB''A#uoZX\LU9Cr2d-SZig\^.,kl1_52oNu@"SklPs+JDl"SV?GiSj^_"khknm-t"qs*t~> +JcGBB''A#uoZX_NU9Cu4dHnfkg\^.,kl1_535j)A"SkoRs+SJm"SV?GiSj^_"khknm-t"qs*t~> +JcG-;!G?0'rrU\2`QnJdF_1OOp='$RrTVbCU5j>$9/nOQ,:G)t1,Abg&N2C"/M&.m/i#^lBn)MR +a5-I=s*t~> +JcG-;!G#j!rrUY.`6SAcEao"Ip!`pQrTV_@TT+/(9fO[P+!rNq3&ph(&O&06/hA+g/29LnCk.hR +`ng@ +JcG-;!G,s#rrUY/`6SAcF(5+Jp!`pQrTVbBTo3km7PcM@+=& +JcG0<"6q3Zgthu3e2kRqrrSudo[a$SlGfWK=#_N[2a'Ak7SHZ\>@$`*&medF<)6(S5g])d~> +JcG0<"6q*SgYMl2dl54lrrSo_o[a$SlG]NJ=u[][6<%H7J<6A(\@h=K'#D)bVO!!`Bj=7k,qDQ& +P-ij;g])d~> +JcG0<"6q*TgYMl2dl>:mrrSo`o[a$SlG]NF;_oUH0/+q+.kE;+0er/Qs"P'=0.e_).5*>+,Ul&l +P-rp +JcG0<".g_^HeeW&e2kRsrrU7uhV.u;hlVK10JY[R6VUTefj>+k;Fj);3%I:1R)SdWs*t~> +JcG0<".UGTH//E$dl54nrrU4qhV.u;hQ2<20/Z@1G`f&Afu"3+SqV#]5Uf* +JcG0<".UJVH//E$dl>:orrU4qhV.u:hlMB).k<8*.P3@,1(,fh.k<;,-9Pq-`:`'gJ,~> +JcG0<"ALp:/+)-l!n99MeGfU12T";M#i)+b1GD'^:0YnK#ZOA_3[m[S^@pXfJ,~> +JcG0<"A1U1-gf^h!n0*HeGfU01;VfH#httb1G`0XQF>#T$,EEmBh'RFKt[0?s*t~> +JcG0<"A:^3..,gi!n0-IeGfU01VqoI#hu"\/h8Y,/MP@'#VR_^0d]>?^%LIdJ,~> +JcG3="kS(k,IFQ,rrU>#j4=53p.U_/rs/8,F>bsB93B&<#@11q4tT[!gZSTe~> +JcG3="kS"i+1&$&rrU:sj4=53p.:G*rs/8+FuDBoMm:.:#JQaS;(P_5g?8Kd~> +JcG3="kS"i+LA-'rrU=uj4=53p.CP,rs/8+E%rps/24pr#;Ie\1+5n`g?8Kd~> +JcG3="8Mor,M<"sQXJDE!ci/Wj8T>Z]P/r]7Td6/#$k"k1.%5blMlA~> +JcG3="8Mor+5$SoQ!Mu@!cMlRj8T>Z\nWcpJ?HK$#/6F>2FNbflMlA~> +JcG3="8Mor+P?\pQ!W&A!cVrSj8T>Z]4EEG.knOi"u.__.m/sQlMlA~> +JcG*:!$g.r!r>Buf`)#D9(h9F"lP%f4%NP]?Nj=o/l]7TmJh\~> +JcG*:!$Bkn!r>6pf`)#B8+bmB"lG"e9S9g]_ZmuLBJ +JcG*:!$Kqo!r>9qf`)#B8+ksC"lOq^0J"oa1B/s/.8R>ImJh\~> +JcG*:!$g+q!lR7qgA_5i2rj$""PRB<6<:6r"^Xe^1o'm8s*t~> +JcG*:!$Bhm!lI%kgA_5h1ZRTs"PIE?CTFVU"i#sf2P^*:s*t~> +JcG*:!$Knn!lR.mgA_5h1um]t"PI02/241]"=u2[UA=9XJ,~> +JcG*:!$g(p!GdeOrrV.:`9.(&gg`!+?)_06<'3%4r:0f;~> +JcG*:!$Bel!GRSKrrV+5_rgt%ggr +JcG*:!$Kkm!GRSKrrV+6`9.(≫K\0rZo2/hJcMr:0f;~> +JcG*:!@m`nrrV49n(n!Fp.Ln +JcG*:!@IHjrrV14mbRmEogbG5rri4^/UG.-_ZQc.9\8k8J,~> +JcG*:!@RNkrrV15mbRmEogkP7rri4].4m9N1'90^8([>3J,~> +[f6m:nF6A3e'mdJe'mLUnF6+krrHo>f)GbmRbn&Grb6T>rr_^g4'84a"("MMYOhdE~> +[f6m:nF6A3daIRGdaI:RnF6(jrrHf9f)GbkR,7iErap98rr_[g9s15."2TL?YOhdE~> +[f6m:nF6A3daIRGdaI=SnF6+krrHi;f)GbkRGRrFrb$B:rr_[b0/0(T!\Gk(oDa=~> +^],MOc`O&0A5Y_M0eb;hCI^jbJ4<"aOY8CqZo(0qY8J +^],MOcE*i-@8B&B/h8HZBLG4VI7$AUN[lVcZS=gZl@"o(qY8J,rnm_WPYV#;rr_4C +D8Dj^!i@o;o`'F~> +^],MOcE*i-@Sf8E/hAQ\BLP=YIRHSYN[u_eZSFm\l@"o)qY8J +`W$GElHjKG@(A^3FMEm,W5%l=&&,e=j\r`=Q.0OrR_&Np+u9jrrG^3i;Wkl39BB(!qJQG +S6l>%18smGJ,~> +`W$GElHa?@?+E:)EkRI$W4qf;&�AS@El[ +`W$GElHa?A?F`F,F2!X'W4qf;&�AS@Nu]=4&WXJ,~> +ao;\Ak/:=PD6S\`[,8\,^TEd5DEohp]ZpB.rrHo>f)GcCDrL]tgG@(:rrHatj^/'k-X6RW$;8`F(Y +ao;\Ak/1.ICT`5WZerP*^8mL0Ccj2e]?L3,rrHf9f)GcACuPBqg+^_5rrHhDjhh/).D#Mr&Zf#N +EFO0N5W)WP_o'?BBPOpD_ZF@"LuQ;RW@lcqs*t~> +ao;\Ak/11JCp&>YZerP*^8mL0Ccs;h]Zg<-rrHi;f)GcBD;kKrg+ge6rrHU]jY?lk+YisO$83_T +.46Sr,U4Wir\=R+-n$e=1'/jI/)i;c0.GKGs*t~> +bPqdpCbU4)?NO=S8)[eU7Uu/lJ,~> +bPqdoBe4P1QFPG[#I;!`752sEr8%ARZXhYe!q@l/j8T2O6(mE@!nK*=jhhUG++;&E[Oc(/_fBS2 +>T^?P_ZYR!_FHu__ZI(bK]0fLH=cgMJ,~> +bPqdpC+Xb4QFPG[#I;!a75<$Fr8%ARZXhYe!q@o0j8T2O6Dq+=f3&0d.r#1+=V, +-Qk,B1'B*T1*e.71'0-P/)`5a.pr#MJ,~> +cMn'uEHeI:[EQGjYIn+!K^@Ur!q\/Af)GbmRcOJMr*Xj5rrImBj^/R)3@QLd?U>u5?XI#+?TKE8 +ra,dm,@*)UrEg7=5sJ:T=[PDM?XHSk7jCN2=[>;Ok$J-p3qiT(~> +cMn'tDfr%1[*6;hY.IgmK'_Cp!q\#=f)GbkR,n8Kr*=R0rrImojhhYD=tr%S_fHof_o'$2_d=Lo +rkekU+M1<'rPK>HE,D>eZ?9uO_o%jQJKKQ_Z>slYk/.545kb5.~> +cMn'tDfr(2[*6;hY.IjoKC%Lq!q\&>f)GbkRH4ALr*FX1rrIg(jY@B%-R'cj1+FCu1,:R61++2! +r\=U*+>P5erA#'?.4Hl)0I\D%1,:F/.j->t0I\D&jtZrl2"ps"~> +d/O7D\hnW=`k_eZC<`"1i;WgRdFS=!btj?e#Y7ZU,>VZ,,?+MI!]hQ0ra,e6 +;beQ/ra-F?,YpWU>:DsC,>1lZ8k1*r>:E$=-!9>;!F@e[s*t~> +d/O7D\M/04`kV_WBZu\-i;WgOd+83ub!,gdrrS0[qr[nZ@?BTg#_nO^+.:#L+/AbO!ad%XrkelN +Tp?mYrkfMI,+31)[Oug0+-)p9Mh)t'\hJT)-*cXN!Ph+ss*t~> +d/O7D\M866`kV_WC!;e.i;WgPdFS=!b#>r+>3RI![f*FrA"I. +/KcSC1);Jb/LVet+t>8h/1r%r.j->s+t>2g0]k+j0_YNs~> +df0ILSO('(pV@?KS>O!(_82YX_7#i4\[1hB#IC>CUVO:3V";D)]k]L@iVrq*Ut,JG8]Tun!jt,T +jo5?g9BBLd1-.?>2d\`n:]=]0:1$%,>$kW/?W]!Z9E&9659jH7:eW*1?RRfs,@"@r7nY'd4YKUo +?NF4bpA]X~> +df0ILS3F^"pV79IR\[U!^qcGT^pKN.\?bY?#I:2?UVF..U[u8']P'%7iVrq(UXfAF7`OTj!jalO +jo5?jNoe.a7pf:?<5WDlRJt)4QG[&O[_p"?_lc@sNrHp3C*1-gRZ/DW__"f&+1ng#KT7-VB0_gH +_Z?i"pA]X~> +df0ILS3Od#pV79IS#*d$^qcGT^pKN.\?bY?#I:2?UVF1/U[u8']P0.9iVrq(UXfAF7`OTj!jjrP +jo5?c/EJVm,UXo]-8I"m/cIL6/M\[r0etL81,'t+/H.C?-m15t/M/(s1*Itm+>GPm.kDei-mUG. +1''$ZpA]X~> +df0Aq8$2L$%tHd$JieCs]iW$m5`^:NMXnRhN'oU5,G(DX=7O*.Rr/)_rrK$Bec,ZBDs.-%fJCk7 +rrJ!Dk$K!#5[RkS,?\%n5$qYm87+D&=^P/`>;&3.1&bMq6R,W=8l?m.?7%g&,?Rkh7oCR(?WC1j +?NE\mpA]X~> +df0An7'$$s%t-BnIlD\h]N)af4H4VAM=SFfM*Wq(+.SfN<:Ra*R;2ZZrrJs>ec,Z@D!1g"f.bM2 +rrIspk//(!DSs@c,-e*lBu@iSK>Ut:[)8b2\NaqS7/k(>Fs!d&Mk2#P_'il;+0_L^KUs9C_l0^# +_Z>HqpA]X~> +df0Ao7'$$s%t-EpJ2hnk]N)af4cObDM=SFfMEs(*+InoP<:Ra*RVVi\rrK!@ec,ZADGMl.5EY1.l&Ip0JY:,0dJ1t,lTP7.NgE#/1r%s0d.nn+>>Dj.kVqq1+t +e,KLDT=ag5'U^5(_81_I_30G0,FH<`FG7QI[($"M!Nj*6_$E>;K;OpJ_*M/k_#[c`j8T//9\'.E +mk4=urrVUQY2fN`gb2pr?PZTm0N2+0-Snt$/NGpW?;)t!3BeoO3;t9*0)f2n>rODr94't@4Yp;G +0JPa=2-E0n3B^^4?NOOd[eB`O~> +e,KLDS[nI0'UKr!^qbGA^lO&'+-s^XEeD0CZaThJ!Na!4^^*&2J>JLD^ck`d^]@Q[j8T/.8_*hB +mOIqprrVRLXQ0<^gb?A(_\T%-6)Cq[.S@:63*Kj,_2pc/>A#cl=T0cM55rG8]Mq+!Mo0R/B2#bC +6Ukf?;R1*k>\Ck9_ZIY;^%VJV~> +e,KLDT"4R1'UKu"^qbJC^lX/*+I9gYF+_9DZaThJ!Na!4^^*)4JYeUE^ctfe^]@T]j8T/.9%EqC +mOS"qrrVUNXlKE_gaOuA1);Je,VLht+XJip,:=lg1+XXn-7C&b-N5.g,Q9G50d\.m/2AY#-m^Q$ +,U=c],qpbl-Re.5!\kt+pA]X~> +eGfUK2mr=p'OW/b_83aR_-jZK,IbM*[%tOS?[2Oc!A:AM_%22K6\AuFUVT8u_5'tL?b?!I!Jt"? +rrW!Mj44/1=MsG(!rQASiVrpp5i#cJ>[Hi*!F9%2?NFJ=rEfP0r*KJ2>NT8o5Y1nJs*t~> +eGfUK1pckj'O;fZ^qdLM^g49A+1Au#Z_G7N>]p"\!@k&H^^kuC5_3HIsLC!Jab: +rrW!Ij44/1 +eGfUK273%l'ODo\^qdLM^g=BD+L])$Z_G7N?$?1^!@t,I^^kuD5_e9UD!Jae; +rrW!Jj44/1 +eGfR02Y=fe:*Zq?_$.MR_*K +eGfR01\AHa9-:;7^]hAN^cW^MrP/cBPtPJL[%EU2KU2SP%P;8-RNIj25?,BT?F;A/otUU6.cUI/ +Q!Mr?"-&3 +eGfR02"\Qb9H^J9^]hAN^c`gOrP/cBQ:tYO[%N^4KU2SP%PDA/Rin$45ZGKV?F;D0otUU6/)pR0 +Q!W#@"-&6=nEg/VL04?3rrVgW/=\Hs.k9rZs*t~> +eGfUD0#.(q)e^Ic_83R3P(USS,H/GpX,Vp&/i,kd@7)>)8,^760knIr,F?55=1'8HGB]8D_#]uq +ir9)V7_@=Q"miD. +eGfUD._YMj)eL1[^qd=,O+G)I+/lujWJZEp.kj2X?9]So7/an2/S2_h+-s],<3mZ+;R22IrrTDfmbe$Hk +eGfUD/&(\l)eL4]^qd=-OFk8L+K3)kWf)Ts/29D[?9f\r7K("3/nVnj+I9f.<4!c?F`ii>^]Bil +ir9)V6b:qM"miA,;mM>KrrTDgmbe$Hk +e,KI0VY.b>YqK1o^hfrW[_\mlAAQ#kZ,+7`Gl>GZ/uecb%PDA0SKjH:5uk`a9Y[BXp;$gC7B,8G +!lR7qf`)(o3@,oamf*@:1Y1C^"8#kW<2*_%=>W>/oDa=~> +e,KI0V"MM;Y:EVf^M0TO[(rOc@_fZcYJ@qYFoB)V.]E9\%P))*Ridm14ArsU8\UsQp:paA6E&lC +!lI%kf`)(l2Ba0Umf*@90\,"Z"8#qgVP:s1YtIXRoDa=~> +e,KI0V"MM;Y:N\g^M0TP[(rOdA&,ffYJ@qZG5]2W/#`B]%P2/+Rin!34]B-X9"q'Rp:paA6E&lC +!lR.mf`)(m2^0BXmf*@:1"G+["8#\H0;:3(0IAjGoDa=~> +e,KOH7!-6<_$6iI@;VRNErNlXUL7VMU]/(1L6__R!GSn=_%2T9Bq]WXE0t0JVQ4*/DS>e\"1PVC +ro!eWCQR3K"R.K_/,/N4!pi(Tg]%ETU+Si=VI'I36S+,mo)F4~> +e,KOH6#sa6^]p`F?Yc.GE;mWUTj;&@U]/%0KTuGN!G/S8^^lH5AtO*OD3eU@Uo@X%CV9DW"1GM@ +ro!eWBo^jG"R% +e,KOH6?Bp8^]p`F?Yc.GE;mWUTjD/CU]/%0KTuGN!G8Y9^^lH5B:s +df0C528WIJ,~> +df0C4;JEn]!g>X5hZ!Z:0A"kV!g+R/n,EIc;hWg'"Qje]Hb-5p"MKFD?eb)MJ,~> +df0C4;ea"^!g>X6hZ!Z:0\=tW!g4[1n,EIcMDS +dJj@IiItd@`5)PSVa%rOrrT8fo%F$EpHG)8rrR^[r7:lNhJ=`-;Qa@0=?nB;c0kU^~> +dJj@Hi.GI:`4uJRV*)KIrrT5bo%F$EpH"`2rrRXVr7:lNhJOiPTWZ08Y\Ypsc0kU^~> +dJj@Ii.PO;`4uJRVEDTJrrT5co%F$EpH+i4rrRXWr7:lNhIn8h0 +ci417MD:Bo\&uMj\T9o+r;>:K!Hr82rrKCVnG`Qh6L`J("m_F52FU]S?NjY*3A#O6m/MS~> +ci417Lb=mf[`ZAh\8aN!r;54J!HVu-rrK@UnG`Qf5Od/%"m_C46$TT?_ZdW+:G%"Om/MS~> +ci417M(b*i[`ZAh\8jT#r;>:K!H`&.rrK@UnG`Qg5Od/%"m_=-/hA]`1'KB_/1>Vtm/MS~> +c2S%Dp5(J(Upn.f_$@]EH;imYbPg)n!qo-Yrr9DOiVs,\\Q1(26r^a)#$48U.poaZlMlA~> +c2S%DonP(sUUIqc^^%QBG>R=Pb5Kum!qesSrr9DKiVs/][oOb2GGN*f_Zm5n<%DIdpZhd/~> +c2S%DonY2!UUIqc^^%QBGYmFRbPg)n!qf!Urr9DLiVs,\\5OY%/2"Lh"tqJX-X*qPlMlA~> +b5Vb@\(kUN<1L8(g;+',P]0dW:4gRceGf^+1XlC(,IkPi,NSk7r5=1P4bCeoJNYYP7T<^3?O'_+ +4u+^"Wq,?QJ,~> +b5Vb@[G,4C;4Fi"g;"!*P&==O97Y(]eGf^*0@Kn#+1T)d+6U0#_[!K* +A3)8SW:K-OJ,~> +b5Vb@[bG@F;Ok#$g;"!*P&FFQ9S(7_eGf^*0[g"$+Lo2e+QWP4r5=+L3e5>iJ2\o3.k`Wp1']Ka +.k2uSW:K-OJ,~> +`r?J0[G66^15qfOOfc=2lG3nBYFhGe@S0>GE$!^=q4YeQkQ-]Bhs*t~> +`r?J0ZeKmU/rH0ENiTh+lG*h@Y+D5`?Um]=;MVp`ci4-K54\^q\A/(dkPkbXXD0IgQJ)08$/V@m +3[d^=MlX_>_[3oEHX/T\?'W_5jSs`~> +`r?J0[+p*Y08l?GO/oq,lG*h@Y+D5a?q +_>b#/mDaQ]MkMITB"2#TCVg!o'Y90PGHQX;Dk`4i7":ad97uK,aQ^hH"*SJ[,IkPi,O5:5k+>s: +Cp*0trsS,(Na+Cj4$c2*;Hhd]$scq17RB +_>b#.mDXEWMP).J@^fHJBtsXh'Y'!KFKL44CnQ\_5^f+Y8:g$%a6C_G"*82V+1T)d+6rk1k+,^2 +C96gprsS,'NaO^n7pg:oTXNRl%)8j/IV;Y@/Q-qmebnA*J,~> +_>b#.mDXHYMP)1LA%,QKC;Bgk'Y0'LFfg=5CnQ_a6%,4[8V--'a6C_G"*A8W+Lo2e+R8t2k+5d3 +C9?mqrsS,'N)q\[0eb+/0/;-8$SX.^/M\n,8Tq#^r8@U*~> +])NTEl/D'p[%nmm)Z2`@6uOo +2*XGr77g9R='Al!?P-LE<`)O]6UX4%0.&VVGb`4?gAc[~> +])NTEkhtj7V60QLLkbFrH%t4bQBoqO^XMSdrr_p^THC\Z!$CY/#QDl%6oKS5p[%nmm)Q&[AOS-t +4]5g1I#4/aXgYn5_\0hrZ)O7TK6D$77ku;K=*gRXk1]ic~> +])NTEkhtm9VQT`NLkbFrHA:@dQ^?.R^XMSdrr_p_Tcgk\!$L_0#QDo&75ob8p[%nmm)Q&Z>s0V^ +/i,45.P!)'0/53O1(c5p0.ne+.PNV4.O-]CG+lk;gAc[~> +Y5\JH[Jp +Y5\JD[Jp +Y5\JE[Jp&T.aYKQ)+eGk%~> +Y5\JH[/U0L,IkPi,P;!?l)/)IAZ+V;rrW/gjo+0>Em+F@!UTO#s*t~> +Y5\JD[/U0K+1T)d+8#R;l(qi@@\r/6rrW/gjo+-=E6A. +Y5\JE[/U0L+Lo2e+S>[ +Y5\JHZi:"M\A8.irVllAr;QuMO\[ua^%TSJ!qIq'_>f#~> +Y5\JDZi:"I\A/(drVll@r;QuLO%_EV]Cj;G!qIh"_>f#~> +Y5\JEZi:"J\A/(erVll@r;QuLO%hNX]_0DH!qIh"_>f#~> +Y5\JHZi:"M\A8Y"s8Vk6MZ +Y5\JDZi:"I\A/Rrs8Vk3M#[=`GrnEMb5B9Z".pYiq83/^~> +Y5\JEZi:"J\A/Rss8Vk4M#[=aGs"NObP]B["/$blq83/^~> +Y5\JHZi:"M\A8Lss6EZ0Lh/;ITAmcg"TCk8,I52dJ,~> +Y5\JDZi:"I\A/Fns6EQ)KjlW +Y5\JEZi:"J\A/Fos6ET+L12c>T&ITe"TCe3+L/f`J,~> +Y5\JHZi:"M\A8Cpgd3518>bUdrrgIm,>;:Xs*t~> +Y5\JDZi:"I\A/=kgHQc%7A]1_rrgFh+%]PNs*t~> +Y5\JEZi:"J\A/=lgHQf'7]#:`rrgFi+A,bQs*t~> +Y5\JHZi:"M\A8@oDFuf3,F-%D"f:!!r1E,hs*t~> +Y5\JDZi:"I\A/:jCI^-%+-XJ>"f0lpqjlles*t~> +Y5\JEZi:"J\A/:kCe$9(+HsS?"f0lqr1<&gs*t~> +Y5\JHZi:"M\A8.irr3)skKih8rr=:Zs*t~> +Y5\JDZi:"I\A/(drr3)sk0EV5rr=.Vs*t~> +Y5\JEZi:"J\A/(err3)skK`b7rr=1Ws*t~> +Y5\JHZi:"M\A8.i\,QFQ_#Jo~> +Y5\JDZi:"I\A/(d\,QFM_#Jo~> +Y5\JEZi:"J\A/(e\,QFN_#Jo~> +Y5\JHZi:"M\A8.i\,QFQ_#Jo~> +Y5\JDZi:"I\A/(d\,QFM_#Jo~> +Y5\JEZi:"J\A/(e\,QFN_#Jo~> +Y5\JHZi:"M\A8.i\,QFQ_#Jo~> +Y5\JDZi:"I\A/(d\,QFM_#Jo~> +Y5\JEZi:"J\A/(e\,QFN_#Jo~> +Y5\JHZi:"M\A8.i\,QFQ_#Jo~> +Y5\JDZi:"I\A/(d\,QFM_#Jo~> +Y5\JEZi:"J\A/(e\,QFN_#Jo~> +Y5\JHZi:"M\A8.ih#Ff-jo9i~> +Y5\JDZi:"I\A/(dh#Ff)jo9i~> +Y5\JEZi:"J\A/(eh#Ff*jo9i~> +Y5\JHZi:"MkJ72(\GX/G]WAcO^](YA]&LO+,M`;!,Ih(\,N\rU~> +Y5\JDZi:"IkJ.,&\,=#E];iKJ^AbM?\`1C)+5Hkr+1T2g+6ENQ~> +Y5\JEZi:"JkJ.,&\,=#E];iKJ^AbM?\`1C)+Pcts+Lj0,+Q`WR~> +Y5\JHZi:"MkJ70jDZ7HZ[THgk>W&uq,=%[r_$#d7;K0G:_#P_8rr=:R?N;>4s*t~> +Y5\JDZi:"IkJ.*fD#V3WZrUCc=u!Hg+$Gti^]]U1:i3u4^]5J3rr=.N_Z1e?s*t~> +Y5\JEZi:"JkJ.*gD>q +Y5\JHZi:"MkeRe),r**L_,<2,_7DVBUa'gW_$.5"Vj\imlG3HFh#@@!\6f4\jo9i~> +Y5\JDZi:"IkeI_&+YC@B^ecf$^pu> +Y5\JEZi:"JkeI_&+tgOD^eci%^puA=UEFIR^]h(rV3iBflG*BBh#@?s\2"%,jo9i~> +Y5\JHZi:"MkeRL7FsDj[Yp3?L_$#h7V'BsY_$.G(J;5A?lG3HFh#@@!\6f4\jo9i~> +Y5\JDZi:"IkeIF3FWZCSYTHjD^]]Y3UE=@P^]h8!IY8f4lG*BAh#@?r\AJ:gjo9i~> +Y5\JEZi:"JkeIF4FWcITYTQpE^]]Y3U`aOR^]h8"IYAo6lG*BBh#@?s\2"%,jo9i~> +Y5\JHZi:"Ml+mY4A@a?`_4MrWr4rH2,B3Rs!jOOql+m?Eh#@@!\6f4\jo9i~> +Y5\JDZi:"Il+dS2@C[gT^muQNr4iB/+)Uqk!j=7il+d9@h#@?r\AJ:gjo9i~> +Y5\JEZi:"Jl+dS2@_!sW^muTOr4iB0+Dq%l!j=:kl+d9Ah#@?s\2"%,jo9i~> +Y5\JHZi:"Ml+mXI;cc4/UpMFBrkT%q\tpWj_82&'\l"WlNp=F\,M`;!,Ih(\,N\rU~> +Y5\JDZi:"Il+dRF;,o_#U9c"7rkJtm\YC6`^qbf!\PA3cN9\1Y+5Hkr+1T2g+6ENQ~> +Y5\JEZi:"Jl+dRG;,ob%U9c%9rkJtn\YL?b^qbf"\PJ +Y5\JHZi:"MlG4CE35NG',@A9!-`k.h@)8T_Cr*A=TiF?P5*"pE!$g;!!$f!\!$gV*J,~> +Y5\JDZi:"IlG+=C28I"u+'cTl,HAP_?,3-UBu$r3TMdmE4,iI?!$C"r!$A_g!$C>&J,~> +Y5\JEZi:"JlG+=C2Sd,!+C2cn,c\Y`?GN6WBu$r4TMn!G4,iI?!$L(s!$Jd,!$LD'J,~> +Z2Y",s8O>DrjDb+,O3)[Bifc"Ki_EC^Nl='p,W=,[&Z!E>l[_#P_8rr=:R?N;>4s*t~> +Z2Y",s8O2@rjDb++6pW[B2s>pKN2';]lI"cDmm#e +Z2Y",s8O5ArjDb++R6`\BN9JrKN2*=^2m4fDmm#e +Z2Y"(E7uPSIC9(T,IkPi,M`;!,Ih(\,N\rU~> +Z2Y"(D:p#JHF +Z2Y"(DV6/LHaWkR+Lo2e+Pcts+Lj0,+Q`WR~> +Yl=i`.RYSg[Jp4O\A8.ih#@@!\6f4\jo9i~> +Yl=i^-9r`Z[Jp4K\A/(dh#@?r\AJ:gjo9i~> +Yl=i^-UK#^[Jp4L\A/(eh#@?s\2"%,jo9i~> +Yl=jg-6kSL[Jp4O\A8.ih#@@!\6f4\jo9i~> +Yl=jg,9JlA[Jp4K\A/(dh#@?r\AJ:gjo9i~> +Yl=jg,9SuD[Jp4L\A/(eh#@?s\2"%,jo9i~> +YQ"Z;,E]A5!$f"i!$g;!!$f!\!$gV*J,~> +YQ"Z8+-3f/!$A_d!$C"r!$A_g!$C>&J,~> +YQ"Z9+HNo0!$Jee!$L(s!$Jd,!$LD'J,~> +YQ"[A-gA# +YQ"[@,O)T8!$A_d!$C"r!$A_g!$C>&J,~> +YQ"[A,jD]9!$Jee!$L(s!$Jd,!$LD'J,~> +YQ"Y&NO/Wb,IkPi,M`;!,Ih(\,N\rU~> +YQ"Y&MmNE`+1T)d+5Hkr+1T2g+6ENQ~> +YQ"Y&N3iNa+Lo2e+Pcts+Lj0,+Q`WR~> +mf+Hj,9pW\,9oU[,9nVZ,pOY?66d_>?m?n?Hm9k?R3Nq?[JhBca=AJ[X@OQ\O(BO\F+GP\>9'uMaN,Gn3\,Dp7],Ai2\,>k6],;d79,8IpO,9rm],9qk],9pi\,9oj],9nh]rZ_r`4X22@ +=sG8@G9\>AP9V=Crr=:R_#P_8rr=:R?N;>4s*t~> +mf+Hj+!4gO+!3eO+!2cM+s.o259Cu1>ot/2Gon,2QQI;2[Jh6_a!VrNX$n*PNFO%PE.8rO;k+pO +2S8r1'u;ID+/MUP+,=PP+)6KO+&/IO+#(M0*u2FE+!7+O+!6)Q+!5$O+!4"O+!2uPrZ;ZZ3?K?2 + +mf+Hj+p(85H6=>5QQRD5[Jh9`a!`&QX%"3SNFO(REI]/S;k+sQ +2nT&3'u;LF+JhaS+GXYR+DZ]S+AJRQ+>L\2+;MOG+<[:R+ +mf*:QK>@Oao)A\7\A8.ih#@@!\6f4\jo9i~> +mf*:QK>7I]o)A\3\A/(dh#@?r\AJ:gjo9i~> +mf*:QK>7I]o)A\4\A/(eh#@?s\2"%,jo9i~> +mf*:IK>@Pfo)A\7\A8.ih#@@!\6f4\jo9i~> +mf*:IK>7Jco)A\3\A/(dh#@?r\AJ:gjo9i~> +mf*:IK>7Jco)A\4\A/(eh#@?s\2"%,jo9i~> +mf*:IK>@O4o)A\7\A8.ih#@@!\6f4\jo9i~> +mf*:IK>7I/o)A\3\A/(dh#@?r\AJ:gjo9i~> +mf*:IK>7I0o)A\4\A/(eh#@?s\2"%,jo9i~> +mf*:ZK>@O4o)A\7\A8.ih#@@!pKn/24$5Ve4Zcg5?NNh[8GQTm>O,Vr,N\rU~> +mf*:ZK>7I/o)A\3\A/(dh#@?rpVR6M@:WhUB48(3_ZGWuKDECb[d1g2+6ENQ~> +mf*:ZK>7I0o)A\4\A/(eh#@?spG)t.-R^Aj-mpb91'0!R/,:q#1$^Rp+Q`WR~> +mf*:VK>@O@o)A\7\A8.ih#@@!pKn/./6X_U>r,@D?NDN:qHj8'4R6>S,N\rU~> +mf*:VK>7I;o)A\3\A/(dh#@?rpVR6A3OV7*^Ib!^_Z;;tqSN?5AF%,5+6ENQ~> +mf*:VK>7I +mf*:Ib/".^Pa9#!!6k$6!$f"i!$g;!!$h5F1fd+R0I^@'92ekl9j_*t93GV&;d*$m?XHu0;,^gO +4C;Ag93#>"1Gr*<>tn("?WC$/9iq'r!$gV*J,~> +mf*:Ib.n(\P*EYq!6as5!$A_d!$C"r!$CsQ1ol2F6S?9?Mk[8QPJXhiN3^@%U:-ST_S`d?S>F+X +@`,mBN2a^q8Q)5!^QXqp_ks0>P-+Jr!$C>&J,~> +mf*:Ib.n(\P*N_r!6as5!$Jee!$L(s!$M"k1b^F8,U+up/1rV1/2Aq2/2/h5/hnt11,:R8/h\t( +-o*M//2&b4,pb0!1+Y"41+t77/MHiR!$LD'J,~> +mf*:Ib/".a5s`3#!$h(7!$f"i!$g;!!$h,C0eb%`?W\s64!RQM76i5*9d;AS,=Yui;aWQP.Qh&m +4%CPr<[Tb'>qSB6.9K%a3AE>a?N;>4s*t~> +mf*:Ib.n(^5!6No!$Ce3!$A_d!$C"r!$CjN0gdS2_m)?g@3:piHYb.BO<6o"++:p\Tm0h[0k/$h +@tZ#'X"7/A]0:%e0s5pH>"2*X_Z1e?s*t~> +mf*:Ib.n(^5e+=f2k0.J;(+t,2m +-n?Go0Hh_p1*\4u+ttMi-R:#41&rHYs*t~> +mf*:Uah\!\61D\kQC#t7!$h(7!$f"i!$g;!!$h,C!AGu%?S"2`>Y\Tp9KXP"?R%dB.6Ll^.6(+1 +.Qh'28jags?R\*E80_)>,X#6S5?Cn[?N;>4s*t~> +mf*:TahRpX4Rg,ePa9\3!$Ce3!$A_d!$C"r!$CjN!CJL=_^o":]9^6\OCB<1^`RC1/n2F>/m"CW +0k/%YMKL##__G]>Kcd2++_Rr"D60`2_Z1e?s*t~> +mf*:TahRpY4n-5fPa9\3!$Lk4!$Jee!$L(s!$Lnh!@/lg1+Xap0eG.2/12Pn1*@u#+t,2i+snot ++t,2t/1D\n1*S,%.j-K"+=Jod.5*@K1&rHYs*t~> +mf*:ZcG:B?;HdGD=[Bld7;P&XUd\$]-YC2m6ZGCkK@%F7,P(j7,IkPi,M`;!,P5=D0.Hm-.QJtc +?WesD7jD#?,=>ff4Bk?<.55*Y4C9g#:a8V?.6C3o,?.tp4]`k!oj7\Djo9i~> +mf*:ZcG1<<:f^f9<]n0X6"r9LUHqOR,@eNc5]/b^JC)(3+7fF3+1T)d+5Hkr+8!GO68&8T.U4gJ +_mDF:KHI,.+*POW@^q�L +mf*:ZcG1<=:fgo;=$=?[6>8ENUI%UT,\+Wd5]/e`J^D14+S,O4+Lo2e+Pcts+S7Di,U34C.OH>p +1,'q$.j-K"+=],j-S[,"+s\of-o*%o/KcT"+Xell+>5Jm-nlbooeHLijo9i~> +mf*:IcbUK`,G9HD^f`t>G\"B;Cr'@)\7R5,BJ.+l9$bCu9dqA\?WSp/ +:g['E4?=`P:*V\r-8A@H:I70A-8AFD2*E9F?8*uk>V8--.9K(b4'D8a!$gV*J,~> +mf*:IcbLE]+.dd7^K*J4F^V^.Bu!js[ppc#Ah(Sa8'esN[.=4s+1T)d+5Hkr+8*N+P;+;?_llEY +RDYO:A6^9pPoj)#-qBd^Qulf2-V'pU;.q@W^dC4f]KTnR0sH3N@C5aG!$C>&J,~> +mf*:IcbLE]+J4!;^K3S6G%%p2Bu!jt[ppf$Ah1Yc8C,'O[.=4s+Lo2e+Pcts+S@KE/0Z2f1,'st +/M\q$-mp/e/KcAm+XAZ`/L`&"+XAZ_,q'o`1*e(k0dJ+r+ttMi-SY6L!$LD'J,~> +mf*:IcbUKD,HS_q_-'(?RT"A[Bu+.9_/gp=TJ1CBNR,E@3V*1M,IkPi,M`;!,P>Cu=]\[,?X-Z6 +=^PN6:0gb!=]\[.='&U/:/>2"='&X,9j:Us?Wp0.?XHW*?!g]8='bN,!$gV*J,~> +mf*:IcbLE@+0*,i^fES5R87lOA\_P.^i:R6Sh+h6MpK0=2Y-kJ+1T)d+5Hkr+8*N+Z)t.2_n3%Q +ZGXSQQ+N`kZE:7:Xf]1>QC,LrXf]79Og_6b_mb`9_n_\+]Yh"VXhFGG!$C>&J,~> +mf*:IcbLEA+KE5j^fN\7R87lPB#%\1^iCX7T.P"9N6f9>2tHtK+Lo2e+Pcts+S@KE0eY161,1F8 +0JYC:/M\q30J>(60/#%6/M/_40/#%5/MSn21,(:61,:F50etF90/ +mf*:QcbUKo-$Hn5]i@222c$P$>e!ur_/L^7EAN$(WmAK],P(j7,IkPi,M`;!,Ih(\,N\rU~> +mf*:QcbLEl,'CG-]MU])1eXkl=gqKg^hk7.D_HEsW6`6Z+7fF3+1T)d+5Hkr+1T2g+6ENQ~> +mf*:QcbLEl,'CG-]M^f+2,(%o>.7Wj^hk:/D_QNuWR&?[+S,O4+Lo2e+Pcts+Lj0,+Q`WR~> +mf*:`cG:Bh@UuR4D/GSp>'Z-=QYgSsD/Frb-nQYk[Eu_i,P(lC,M`;!,Ih(\,N\rU~> +mf*:`cG1 +mf*:`cG1:8mCMSKY,q:#_[*ZSg+S,Q@+Pcts+Lj0,+Q`WR~> +mf*:I]"nPFBss0]]$S7nT7[(C,Ih(\,N\rU~> +mf*:I]"eJBA[IRS\^8+lSV$kA+1T2g+6ENQ~> +mf*:I]"eJCB!d[T\^8+lSq?tB+Lj0,+Q`WR~> +mf*:I]"nNSLk:GmcbTTcK)Yfq\6f4\jo9i~> +mf*:I]"eHPKn"idcbKN`K)Yfm\AJ:gjo9i~> +mf*:I]"eHPL4G#fcbKN`K)Yfn\2"%,jo9i~> +mf*:KK>@O4K)Yfq\6f4\jo9i~> +mf*:KK>7I/K)Yfm\AJ:gjo9i~> +mf*:KK>7I0K)Yfn\2"%,jo9i~> +mJhgT!$d*q!$f!\!$gV*J,~> +mJhgS!$?gm!$A_g!$C>&J,~> +mJhgS!$Hmn!$Jd,!$LD'J,~> +mf*:IK>@P9K)Yfq\6f4\jo9i~> +mf*:IK>7J5K)Yfm\AJ:gjo9i~> +mf*:IK>7J6K)Yfn\2"%,jo9i~> +mf*:IK>@P.K)Yfq\6f4\jo9i~> +mf*:IK>7J+K)Yfm\AJ:gjo9i~> +mf*:IK>7J+K)Yfn\2"%,jo9i~> +mf*:IK>@O4K)Yfq\6f4\jo9i~> +mf*:IK>7I/K)Yfm\AJ:gjo9i~> +mf*:IK>7I0K)Yfn\2"%,jo9i~> +mf+d88L#InD^-KnPTqDn\g&Fni$0Hns!f6,9s(>,9qc>,9pF>,9o)>rZ`0D5U.MmAg8OlN?]ZnZ6LSmfHVUm +rr+,Hj%(C>]l#'Hrr=:R?N;>4s*t~> +mf+d87NW_aC`aaaOrkca\K;nah]Epas!Ag0gJ&b3ZZI92Ng_%3B>GZ35j/+g(&BO)+4F43+09f2 ++,?O3+(3/3+#r`g*u4?)+!8[2+!7>3+!6!3+!4V3+!362rZ;m@4WbcaA02naM]X$bYob&af,l(a +rr*uDj$b%3]PAU@rr=.N_Z1e?s*t~> +mf+d87N`hdD'0sdP9:ue\KE"di#j-es!Jp3gJ&e5ZumK6Ng_(5BYbf660J4i(&BR++Oa=5+K^#6 ++GZX5+CW>6+?Aoi+;OH++<\j5+<[M6+ +Y5\JHJcEXf!$f!\!$gV*J,~> +Y5\JDJcEXf!$A_g!$C>&J,~> +Y5\JEJcEXf!$Jd,!$LD'J,~> +Y5\JHJcEXf!$f!\!$gV*J,~> +Y5\JDJcEXf!$A_g!$C>&J,~> +Y5\JEJcEXf!$Jd,!$LD'J,~> +Y5\JHJcEXf!$f!\!$gV*J,~> +Y5\JDJcEXf!$A_g!$C>&J,~> +Y5\JEJcEXf!$Jd,!$LD'J,~> +Y5\JHJcEXf!$f!\!$gV*J,~> +Y5\JDJcEXf!$A_g!$C>&J,~> +Y5\JEJcEXf!$Jd,!$LD'J,~> +Y5\JHJcEXf!$f!\!$gV*J,~> +Y5\JDJcEXf!$A_g!$C>&J,~> +Y5\JEJcEXf!$Jd,!$LD'J,~> +Y5\JHJcEXf!$f!\!$gV*J,~> +Y5\JDJcEXf!$A_g!$C>&J,~> +Y5\JEJcEXf!$Jd,!$LD'J,~> +Y5\JHJcEXf!$f!\!$gV*J,~> +Y5\JDJcEXf!$A_g!$C>&J,~> +Y5\JEJcEXf!$Jd,!$LD'J,~> +Y5\JHJcEXf!$f!\!$gV*J,~> +Y5\JDJcEXf!$A_g!$C>&J,~> +Y5\JEJcEXf!$Jd,!$LD'J,~> +Y5\JHJcEXf[Njo6J,~> +Y5\JDJcEXf[NFW2J,~> +Y5\JEJcEXf[NO]3J,~> +Y5\JHJcD>A!LN;ls*t~> +Y5\JDJcD>A!L +Y5\JEJcD>A!L +Y5\JHJcDAB!r=mL_>f#~> +Y5\JDJcDAB!r=aF_>f#~> +Y5\JEJcDAB!r=dH_>f#~> +Y5\JHJcDAB"1'4>rke\c~> +Y5\JDJcDAB"0s"6rke\c~> +Y5\JEJcDAB"0s%7rke\c~> +Y5\JHJcDAB"'?cm`5;P)~> +Y5\JDJcDAB"'$Eb_nuG(~> +Y5\JEJcDAB"'-Ne`5;P)~> +Y5\JHJcDDC"PY1[/8W3'J,~> +Y5\JDJcDDC"POtR.;Ha"J,~> +Y5\JEJcDDC"PP"T.Vcj#J,~> +Y5\JHZi@HY\c2huXWutKl,3OO~> +Y5\JDZi@HU\c2hsX<6SCkemFN~> +Y5\JEZi@HV\c2hsX +Y5\JHZi:"M\6f4\\c2j2s!.RDr58Pb~> +Y5\JDZi:"I\AJ:g\c2j1ru_:@qnrGa~> +Y5\JEZi:"J\2"%,\c2j2ruh@Ar58Pb~> +Y5\JHZi:"M\6f4\\,QFQ_#Jo~> +Y5\JDZi:"I\AJ:g\,QFM_#Jo~> +Y5\JEZi:"J\2"%,\,QFN_#Jo~> +Y5\JHZi:"M\6f4\\,QFQ_#Jo~> +Y5\JDZi:"I\AJ:g\,QFM_#Jo~> +Y5\JEZi:"J\2"%,\,QFN_#Jo~> +Y5\JHZi:"M\6f4\\,QFQ_#Jo~> +Y5\JDZi:"I\AJ:g\,QFM_#Jo~> +Y5\JEZi:"J\2"%,\,QFN_#Jo~> +Y5\JHZi:"M\6f4\\,QFQ_#Jo~> +Y5\JDZi:"I\AJ:g\,QFM_#Jo~> +Y5\JEZi:"J\2"%,\,QFN_#Jo~> +Z2Y"(rVn,BppL,%,Ih(\,KB`jpug5IZ_s:QJobN%@/r^n@0pgsKp\X:^!5F&ci8L~> +Z2Y"(rVmu>ppL,%+1T2g+3+ +Z2Y"(rVn#?ppL,%+Lj0,+NFEgpug5HZDO(MIr8Zm>Q@%e>R>+eJsW13]Zf7#ci8L~> +Z2Y"+B?VU'HaWkR,Ih(\,L6<%l,TWYD,WSH-SIA>5!M7t6UscC9*.UP6N01X4ZG5J,VhntI[@Lp +q:P^t~> +Z2Y"+ABQ'rH+!YP+1T2g+3sm!kf0EUDcT(N,VhSX=^u/bG_(bHN"UelG&1_r;areu+Yu`"I[7@m +q:P^t~> +Z2Y"+A]l3uH+!YP+Lj0,+O:!!kf0EUC/-`8,:Y<"0.eV%.P(3Ds!nX0-nHr'0.\Fn/j`chQF5?? +f`-I~> +Yl=il-9NNe[Jp4O\6f4\eGg!E`1(U6.kEbK6V(!Q>N&ou=]%g\6U3LV3*:m=f_aP*J,~> +Yl=ij+ug[X[Jp4K\AJ:geGg!E_jYL9.P45$Ee]mY]&LU;^p0JkHYc\D,W].aYLi[.s*t~> +Yl=ij,<-gZ[Jp4L\2"%,eGg!E`0k=*-R^]).k<2)1#Xks0eP",/i,((1fK"0f_aP*J,~> +Yl=jo.O.@\[Jp4O\6f4\g&DEXfV`RF.m$!d;-VIU$=6_*5sI.R;N/B[ir=N~> +Yl=jn-6GMP[Jp4K\AJ:gg&DEXf;3CE.S40%S@6k`$G`[%EE>.H +Yl=jo-Qk_S[Jp4L\2"%,g&DEXfVW@<-87#%/hta/#qmhZ0e=SEM8&K=s*t~> +YQ"ZG,Fu4A!$f!\!$g;!#N;Ia.l0C\=2nSQ>u*dK.6rI%pu_U,~> +YQ"ZE+.KY;!$A_g!$C"r#N2=b.QUpkX2`$_]U +YQ"ZE+Ifb +YQ"[N/Fg+I!$f!\!$gD$#1eVn/O2s5^0_+O<(&_r?a04fs*t~> +YQ"[M..O\E!$A_g!$C+u#1eVo/maLF^;C2kUif-U@B]=fs*t~> +YQ"[M.IjeF!$Jd,!$L2!#1eSh-nm2+]eTdF/2/DTYP%/[J,~> +^]+H5n)DsDrknfSrO)^*rhfa5rhfatrjDg9rPSicg>h]#`;]f^\6f4\ir95NPs-oh;-p_="^4DY +.qZfes*t~> +^]+H5n);mBrke`QrNlR&rhTU0rhTUqrj2[5rPJcag#MT"`;]fZ\AJ:gir95MPX%*>SAD\P"h'"Y +.;6]ds*t~> +^]+H5n);mBrknfRrNuX(rh][1rh][rrj;a7rPSibg#MT"`;]f[\2"%,ir92MOub*G0"*M=0e4q* +@`@[5J,~> +cMnRUl.#7[O0IA,#4$lO;;>jYu@esU8@JsC.;%lJc3A;a.1-J3->\JABTsMhom/GK6 +!$f!\!$gS)"P.E@5#_De*_e==2d'Kp6nKoO?XH_a.lCU&/1rt6.oBYT.ks*t~> +cMnRTl.5$^'(S&;9a2-7Ti_ZHGm5PN%q +U$ol"^ngnG"h9(J6DXADs*t~> +cMnRUl.%Vr:TX)Vk +m/GK6!$Jd,!$LA&"P%06.k^cU*A&N]-8721.O-/d1,:I-,:,&p+s\N\,;(`*,9nQ21'0'Q,kj%o +0CCRq0)RI.0e4b6T_ImSJ,~> +fDcZdkK9icDcK1\-8e+d?>4P8NL$-2XL5au_%sYiXJ;8LNIZ(_>>7=:-8n@tFd0/XmG%X@,Ih(\ +,Nf"/d9SFq>P_\.4X4#+?NDi/rEg(,,=5aE107g:, +fDcZdk/jW^Cf3PP+u);V>@qo-MNjU*WjKFq^_XMfWhGiDMLKMU=@kV-+u2PfEg!ZQmG%X@+1T2g ++6NS+csSYX])';GB-42Q_Z<%RrPK/$+*5?;8?B]s+C)g,4s.0,_Z="#pqm->9^fk"Rq;E5"J8gQ +ReH7NJ,~> +fDcZdkK0`_D,WbS,;MJY>\8#.Mj9d,WjKFq^_XMfWhGlEMgfYW=@t_/,;V_iF-EiSmG%X@+Lj0, ++Qi\,d9.nL1& +p@/*4~> +h>\#ZbFsGp6Raf_?#bXgVR+(T_%48bUm6RM>"1.s87mXTebeA+!$f!\!$g_-"S6gj7U>dr!^7i1 +rEfR[./dK`>ph+.=$'br3\Vmd2``0era.$Y76X%B?TTc15#blj50.TFg6VU-9>u*^L;.![/ +5XAII.PXNi?NX4g3Q(CeJ,~> +h>\#Zb+F,h5UA'Q>Ao1^V6[kQ^^n,^UQg:E=@4Sf7:V%JeGJ8*!$A_g!$CG)"S6jlI(oBn!brgY +rPJY(/H*Hs^FV4XY@5>d>XU!R<*p`Urkg+sI;3l4_dGBYB;EGKD/P')5W3n\G*%Mp^R&kOT#8I? +CiHSF1.6ll_ZQ`63l:FeJ,~> +h>\#ZbFj;j5pe9U>Ao4_V6[kQ^^n,^UQg=F=@=\i7V%4MeGJ8*!$Jd,!$LM*"S6^a.l$fS![o0E +rA"C!+oF)*+X/Zq-SdG),U"lh-Qk/C1++e,-n-i*-R1/j/i#+0.4[%s,:P8q/Lr5)/gr,#1,:I2 +.53=t,V8^G""u5`_t!bW~> +ir9D`e"q4Y.n=/sO/0Cl_$dZDMg&Po.o1Yuh#6F9!$f!\!$gb."26Z[>kVM+4sO/-?NDl0r*Kps +,>LL'?XGi`,=+RV,?k(R-UfIj/NR6#,Y^?ig45pTAS:IHL6:Erh!10c7i>kVM, +:c*%\oDa=~> +ir9D`d\LqP-U_HgNha.h^^IN@M0*&e-qo&kg\p=8!$A_g!$CJ*"2-U-]_95EC*0PU_Z<.Vr50"X ++-pi@_o#`.+*):-+1D0d-[RSa3aBR1+d67\[6]bQ:qoRk\[t-dE$:nuQ?X[fQm/>/8A$Q_]Cs,E +RlbQ[oDa=~> +ir9D`d\LtR-q%QhNha.h^^INAM0*&f.8>5ng\p=8!$Jd,!$LP+"2-EB1%m@(-m12A1'&XDr%\a1 ++>"uo1,:4,+=S]d+>NjN-Rp;q,:>5o+=nl`0dA5&,r-bl0ejms.3L8d/Lhnu/KcYn,r$Sk1%m@) +/hCc/oDa=~> +k5Pbcb)T:N8S<[N^8/RO]:=:X682W4fDb+9!$f!\!$ge/!gYH9oNqkf,?J5Z8ma;$ra,h$?WA=0 +2u[.h3a3jT +k5Pbbac&qD7V%(D]qiFM\XRnO5:fp(fDb+9!$A_g!$CM+!gYR3oYV8U+0dbh#VdLUTrkg(pIr-r8_dG4:O<9T]+"hTO9M*.>;D5nt_i]+<+0euu_k*O=04jdn"28/0 +j7NA%~> +k5Pbcb)B(G7qI:G]qiFM\XRqQ5:p$+fDb+9!$Jd,!$LS,!gG)boJ-\#+>5K*/2AIor\=X.1+sas +-N5b*-SZ_d0..ksr\>fT.OcPf1++8$/0HMj+>,c1+k17+t*"<"#2;g +j7NA%~> +l2M"a[r*lnFJ$=:_$@Q:CdU./`r>E+!$f!\!$gh0!fSs;o3W(m,?J5R0OHL]?XHJg?XGQ58cE'% +2.&3n?TKE8ra.$9.9eD\?T9KA9-[D$9/e)$1bh^+2(r@1!0.6Bui?NNYRkk4t+~> +l2M"a[VIEbELje3^^%E7Bg4G#`W#<*!$A_g!$CP,!fT=Ho>;P]+03;]6,Q&@_o%OC_o"tdLVq$H +;8Z3m_d=Lnrkg-t0"F)<_ce\1M]\g7N`R@<9h(5J;F/4 +l2M"a[VRNeEh0q5^^%E7C-OS&`W#<*!$Jd,!$LV-!f8E]o.gn++>>Q(,VgVg1,:C.1,:*t/H.C0 +,r-bk1++2!r\>iL+u(;g1+"2#/0HSo/1)Jp,pY&r,pP0#/g2_p+>G8f0et:8+t+u51'0$^kOnk*~> +li..WPrVNeZg5F-Q2Z@F^VRaAJqB'"_4lO5Lr#/NJf03U_6JTDMS[-6P.-Cd_5Dd8]7P77L:rJS +rkSlMLQnp#_2EZ9jhV,#F?rEsq=+Ca,OJh<;>s&e92f0G?N;>;rrTS]=n>uk:bX7Y5V+`_.k!\I +.6h0H8gdnO?T]c-9LMW/-Tk^B?T]Vt2()0X3^>>_?S4N.3aY0!2c;7Y94(OB2*E9K=YDKl9j]e, +54W%^6V.%Hs*t~> +li..WP;PpZZKo:+Pl?.B^;.O;It*Hn^n?1,L;8iJIi3dM^or6;M86p2O1'n\^nlF/\US_.KY3/N +rkJfKKT`Eq^km<1jhM%uEBZdhq=+Ca+76rGSc40ANhsS@_Z1eFrrTM_Zh)(*R6iB2DDt7C1FmHX +/oAMDLb-\l`D_`hgU?,LV.<1c93Nl.A3:M(qaZp@/jOi(*L +BC`qAF@uB&s*t~> +li..WP;Pp[ZKo:+Pl?1C^;.O#g.3p>t,Ub)h1+=@n/gDPk1+j[r-m9um,:"Zh1+".m +nhL7t6i$HUJ,~> +m/I0n2e&`L_*"b_,bDff_4`/;W56GO.3k+oF"Af9_81plQ8-4l[7i]tF!IM-VCn:Q +_8&HL-!W%:R3R:B_#p0*7EtT,!;cWn!$gl<#$E`,9hm#qdpE)"oD\ger;Qio2,iLA!FB(%?O0kB +?X7#E?X6t:?iOF2?N=C.?NXP=?X +m/I0m1gd0E^c\SY+Ip3^^n;l3VSL!M5p(s!SgT#G-6JGeE%!',^qb[ePV'\dZq33iE$(huV(.hI +^qW0E+^->/QQL_:^]U!$6Ho3(!;cWn!$CUG#-g`APEdP!e&)/-oD\ger;Qio25&sH!PuD<_[*fh +_nEt$_nEe`_uIFL_Z7=F_[*og_nO"*_n3_`_Z7==_ZI\QUA"V;~> +m/I0m2.3?G^c\VZ+e6<_^n;l4VSL!M66M-#Sg])I-QnVgE@E9/^qb[ePV0beZq<J,~> +mJd6D6`&n\!Db-A_#Z)[rP8u+,At?%?,Q!$gi;#s';7?SNg3?WpV1?NjY>?X-`?ra,Y.r*KJ/>jYku +,P1p?iE!,Ys8T&]QsTkn5kb5.~> +mJd6B5GR>U!DFd:^]>iSrP/o'+)AZp>JRIE+^)TZ6S8;Q"/Ar$8cHLC>;s?V+/h<87^KnGXWNOi +]sYY_++M)A\?k83!g5@Eq#:DuC;^&N!$CRF$""d^_abl`_mZlK_[ +mJd6B5c!MW!DOm<^]>lUrP/o(+Deis>JRIF,$Mc]6n\JS"/Au%9)cUD>WBNX+K.H:7^KnGXWWUj +^9tb`+Fh2B\?t>4!g5CFq#:E!C;g,O!$LV`#q$iM1*dts1,1K\1'B +mf*@M3jn%b!Db-A_#Z)[rP8uY1GcdeT>@dM8h$BP7PXnY"21#:PQ&B(?9H&`,H-gBP5`9.?mAa. +4=.hO,D![I;.EhFjhV"n0Br<4#5qFE:8dh2lsChq,?e.r0O?Ir2)/E&,>?b=/QY+\ +4=rAV?N;>Ars"B+3/Zp>8!dQ_5kb5.~> +mf*@M2m_S\!DFd:^]>iSrP/oV0JC+YT"qRF7OF^F6S8;Q"2'l6OoE-%>;s?V+/k=;OoE-,>p!%! +3?c2F++M(?:1.29;VA)m)'oP+18:'7);?%:IW':+(75sO]Q][\s,7&4KiB> +A3!6K_Z1eLrs"<%1l1=8JsX@T9_SL:~> +mf*@M34.b^!DOm<^]>lUrP/oW0eg=]T"qRG7jjmH6n\JS"2'o7OoE-%>WBNX+K1FGPo,VgVn-7(Dr+=ABZ/LDqk0eFV",;:Mg +-mL&*1&rHfrs"?'22LF4/!i!k2tm9%~> +mf*=JCu`>4:FQ4Y(:M%19>SH[\&!&/N`Ep3Z#51=5,^q*pV@#>4Md"%W;FCAUa)#_b=X,q%9'p!T,6]>;,;r+g +QsTl"1%tWt~> +mf*=JC#cu09I0VQ(:Cq+8AN$U[_Qc&N)@C+Y\J\13i57rpV6r:2o(@oW;F@@UE>T5E$<$(++Kh' +Fb:d&jhLo0+S-ZU:`o&A+($+.G)!ZG=IF@TX1TNPRtb0.EIbbV:mWtLZl`G:MXA=N*sEc/+#6HR +R)8s>3;3B&~> +mf*=JC#cu09dTeS(:Cq,8\i-V[_Qc'N)II,Y\Se44/PCupV6r;35CIqW;F@@UEG]7E?`3*+Ffq) +Fb:g'jhLl/nfRs1+RCj*-Qjfe.krb*/Lhks0d%bp.jlPj.PW+n/g;Ys+=A`lm5"/R"X,!21IEa\ +1&rfts*t~> +mf*@O2mMG[)c%lu_73ad/5*gqRsDiQ,r:4j_6Igb-UGR<1&A]l^U_0e4Md"%W;FCAUa)#5hkF>ra`+,?A(p6!mto1F=AG,W8Fo;d1J8lX'W: +o)AoC,>G?9F@MX)!EM/Qs*t~> +mf*@N1p>uU)b_Nm^pdI^-qM.hRT5EZr6* +++K.iGEnDrjhLnE9)/Djqa;ZD_u1\D_ZF0e[Jn&[]j+st!NS?Vs*t~> +mf*@O1p>uU)bhWo^pdI^.7q=jR5Gl.5EY1,p=Ea+X[1@!\kfIlS8G_ +o)AoB+A8j3E%@;2s"O0HJ,~> +mJd6R4e1ZN*OS6\Xf>9(Y9uQAT0.Y?_,)bq_7th%[T7RZ4=[W5_$FF+]i?o$Jg6f__%2nXL:q=I +[\tEoZS5XeBrU:3"2B";i;! +mJd6Q3h,9I*OJ$SXJeltXs6'8SN2/7^eH;h^qPRs[8V4S2^bg+^^+7$]MUDoIik0W^^l_QKY1t@ +[&>'gZ7K.\AuOn."2/b3ht[3QXH2TErr=/._]QNh+/-Ng_j) +mJd6Q3h,9I*OJ'UXJo!!Xs?-9SN;58^eQDj^qPRs[8_:U3%(p,^^+:&]M^JpJ0:?Y^^l_RKY2"B +[&>*hZ7T7^B;k"/"28h5i;!<^L(G-a[-m1#o+=K!#-7gnr0.%ns/1W@r +.I/_h+S5U7fmD0HrrK;VQne[l +m/I1(4B7a3_#TbuJcV?rr.5KY_82b$_83^7Jt8dFP_+LEqnWQ1LoGuXRY$-LqnWbsJqBqQJs21G +K"A(,DP?:1"MKIO@H7+^!<)iq!$glsgnW7ncWI7oitm7m^'[>Xq"N?V +m/I1'3E)7-^]9VsIfYsjr-o9V^qcLs^qdI0J"*7>P(.t6ofY[d%1=GmrJ,~> +m/I1'3`D@.^]9VsJ,u*mr.#?W^qcLs^qdL2J=EC@P(8(>qnNK.LT#`RR"0^DqnN\pJ:OSKJ<>e@ +J@Vb%CnU"-"MB=I?fUn\!<)iq!$LYa!%n1#)_j*'0e+V*.kN>'.ki_1.k*)+0e4Y'1+Xq+0^LOp ++S5U5rVZZsr&$(W1&rrr1&roY1'00Wd.[Ki~> +li..^UdI@gX-:@'^RAXf@E7j:!$f!\!$gk1!l$BifO"YV3UpGW=Y\T:!a[m,p&BO~> +li..]UH^h\WKY+$^6rC^?cMR7!$A_g!$CS-!kpCmfY[`]>OfT3Zp`Tb!l7`Vp&BO~> +li..]UHgq_Wft4%^6rC_?cMR7!$Jd,!$LY.!kp- +kl1k7JiH#2PIR't#-`kh1eO%imJd/2\6f4\li.$T0idLG1e^(u9LLs-;EI<45>aO-?;;q#5[R/K +3_`sG4$Q+p9OD.+/gi_Z5=e4(>?=$Q;I +kl1k6J2KK&Oggdp#-NV`01V5_mJd/.\AJ:gli.$S2lQ#Z23;NjO*G)NSmctaCn+sO^m$Q4Do7TO +?^&BE@;:'rO2Jl24=jp6Ckd=B\u]X]T#8 +kl1k7JMfW)Oggdp#-W_c0M%DamJd//\2"%,li.$Q.kg0C1b:((/1N"r/gi+s-nZkr1+aXn-o*>% +-S.#%-R^Dk/2At6,9\Ee-n?bp0eXq'/i#13-nFO;!\-_:p&BO~> +jo5V>SR40:?$VgHUqm>@OE+>Y4E%FhlMgi/\6f4\lMgp_/PYS=+'Bsk;F=M34^U*M9d;\f,>DMr +3F?&;:.HO5<@9Lg7K$R+2_SNF2(1m>:a\b3-!32^?S=b4?NXFh>k[giJ,~> +jo5V=Rp7U->'?4?Uqd8=O)IlM3GknalMgi+\AJ:glMgp]/sGY>+0d8mT67=^B>[`VO<7_S+-FH$ +>Jn&rP^amgW@UG\IJq%r<'\@::Fpf;ROj,c,d(KB_``)-_ZR8:?hO'kJ,~> +jo5V>Rp@^0>BcCAUqd8>O)IoO3c2%clMgi,\2"%,lMgp^-nO^?+#+ol/h&Is-o*)&/KcDj+>#>n +-8I>!/Lhkt0-VYk/,_49-6t?%-6Xi^/KlVt+YY8h1*\:81'93Z=7u4cJ,~> +iVs;I\W'oQ4BlcYR]sT5_$duXQ%3[M1c8^(_!^@b!$f!\!$gb."3Wkm=mfW<>UgsI94'h.<'t"i +,>MAd87*o.?XHGj2'Z41:a@jp?P5:N?XGf@?=$8L3'K,q-S7P@5j_n\8hc>(oDa=~> +iVs;I\;OQG3E^6PRBF<1^^IiTP^[=D0JQmp^[:1`!$A_g!$CJ*"3Nf2ZgP^P].kB\N5K6TUijSH ++-j/SKu5oT_o%FJ:`lpZRNYB&_\,p6_o#Y,_8)'Q=D(9r.6D?ED!f+BLGP%ioDa=~> +iVs;I\;OTI3a$BRRBOB2^^IiUP^[@F0f!'s^[C7a!$Jd,!$LP+"3W\Y0^^\;0d7_a/2AUr/h&P. ++>#8i.l&=r1,:C/,p4ls/KlG<1(koZ1,:4#1,:C'-7C,l+X8B^.IAkm/LuhYoDa=~> +h#@lI[uk]02CLglC42/5W49a]&&>NKRYlB';EH6h>'cOFjl-4>,Ih(\,O#.1pkLIi>ju)B_Mf87*r.78P7'73bl@5WL&XrEg0r025D+/RMj`,=u6@<\H17?;'`o"&:^Fg[Y;o~> +h#@lH[Z>B(1*et\B6oQ+W40[[&&5EHR#,ut:H0RZ=*U%?jl-4>+1T2g+6`_-pkLMC](!TZVgFJ# +9#J"_1q(;n+.BMXKu5uSH^Q%:HloQ0Dd"60rPK7K4d2aH3Q&b.+,@b.X$&tj^lIm$"-c,Gg@>2n~> +h#@lI[Z>B)1F51`B7#W-W40[[&&5EHR#-#u:cTd^=Ep.@jl-4>+Lj0,+R&h.pk1(J1%6q?0.JM" +,r..t+ttc)+>#8i.l&=r.P2eq.NgE#-mp,erA#!4,:kJq,;M#-+=o9#0I%hu1+_lL""c&lg@>2n~> +f)HQ[fXdW&A5b`F-oXRo?tt">N09X'XL#Lr_&'VdWM,Z@M1Tnc?Vs-I-8IqgBn`A!htl+-!$f!\ +!$gY+"Qjh[6 +f)HQZf=@Au@8K*9,W%hb?"eG3M344!Wj9.m^_aJ`W1]H:LOXAW>>@C:+tl2ZB7lqohYQ",!$A_g +!$CA'"Qjn^Cp*?H+K.\I?^&CFCM1Q&AMn4P2-IM).r(h-95H.fBgIh@2N%LO&qVH5UddJ(_o$IK +=_>I@3D +f)HQZfX[K"@So9<,r@te?"nM5MNO="Wj91n^_aJ`W1]H;LOaGY>Y[L<,;2>]B8!"phtl+-!$Jd, +!$LG("Qj_S/MQ`N+>4uh-S.#.-n$i+-R1#h,:>2p+t,&e,Ujla.3gDh,:rgL&h>+Q/gMYm1,::& +-R^`&,:+ZinhLA'/1s&jrUBi;~> +c2SFOk0^oER=f`t?W9Z]1b0e)2a@:2!(Zub!*T/%!*B.s!)WV`&j8*(,:tf=93>V=G_hrq_Un&L +df0:l\6f4\jSoDDKJ,Ma?LV>$5lb'-?NjP#10;-emf.e~> +c2SFOk0UfBQ[sZ"$Q0IS"n1HYS'!(?c\!*8qu!*&qm!) +c2SFOk0^lCR"BKn>uF6U0e"4r1HbV(rD!>oqH*_trD*;Z&iqct+=]328QK25G(uNj_:RoJdf0:i +\2"%,jSoABJh&Q-mkXkk!&;JK"Y_P[;nN"rs*t~> +^Ae<7nE/O*df@eo_uR:C[K*r=_uRdTdfSFko>:M-,Ih(\,NA_-p8(G65YYPU?NN\P9upZF +^Ae<7nE/L)dK%Ym_Z7.AZiI]:_Z7XRdK8:ho>:M-+1T2g+6*;)oqbG9?BMqm_ZG9YOiYEDWHLT^ +I+dicJ,~> +^Ae<7nE/L)dK%\n_uR7B[/df:`;S*chrs[Krr=1O1&rHVrs&.l816,C1%R.%.O?[f1'K<]0._;" +li2J~> +JcFX-!$f!\!$gD$#3;1F.6Bsu^0_+L9Kt9eF2Rq?s*t~> +JcFX-!$A_g!$C+u#NV7F-Vo&c_S +JcFX-!$Jd,!$L2!#3;.@,qg`$^+opJ/1`;&E5MP;s*t~> +JcFX-!$f!\!$g;!#k#$;2(Up[;I.=M#['he2CVFde,AG/J,~> +JcFX-!$A_g!$C"r#jnp:2(hmUTYJOb#dKA%5q#Wpdf&>.J,~> +JcFX-!$Jd,!$L(s#O\m50IJP(0?,aQ0J+h.-;'HLrT=-1~> +JcFX-!$f!\!$g.r$0SaH8h;kd6qp_1?OBt784,Nk2e8K*qVqO*~> +JcFX-!$A_g!$Bkn$Ke^F9e&>2GEJrAe&)O%SqC`O/NII7cMHQ#J,~> +JcFX-!$Jd,!$Kqo$0S^D740`D.kNI'1(#]f.k`\,1LHZtqVqO*~> +JcFX-!$f!\!$g"n%fG(cK3(#[2F0`"92SbqjBiC'>#\3e6pa!g.S"?F`phgaJ,~> +JcFX-!$A_g!$B_j%fG%`K3:/Z5$2NGMk.&ajMMJD[\f7@EahZo.7nEF`UM^`J,~> +JcFX-!$Jd,!$Kek%fG%aJl=HM0/G:3/1iP1j"_&u0.\V)1,:7)6YW".nD4+p~> +JcFX-!$f!\!$feh%JJA[Rt5*D2(9q.2`s;'5la:G7hJ-T6pO"#3]/K700iW[OJ]tYfDg@~> +JcFX-!$A_g!$BMd')'k^R=JmF2C9b-5u1WlB5MgApONp%Ec#;k<(T/(+>6&bEfR!6k1BW`~> +JcFX-!$Jd,!$KSe')'k^RXSX80I7to0/,%5/M&A$pFH7m%k]Ff0/+t++Y,ZSDiU[4k1BW`~> +JcFX-!$f!\!$fJ_$hi]3_R?J;Q\p-6GPlLjFa&%_O-liM]?B!srQkLo~> +JcFX-!$A_g!$B2[$h`W1_6g/4Q&'d2GPlX`G6rn]QDLgsb1l=^ci8L~> +JcFX-!$Jd,!$K8\$h`W1_6p56Q&'^,F8TnaEH?2QNL-NH]$&jqrQkLo~> +JcFX-!$f!\!$d'pp&BO~> +JcFX-!$A_g!$?dlp&BO~> +JcFX-!$Jd,!$Hjmp&BO~> +JcFX-!$f!\!$d'pp&BO~> +JcFX-!$A_g!$?dlp&BO~> +JcFX-!$Jd,!$Hjmp&BO~> +JcFX-!$f!\!$d'pp&BO~> +JcFX-!$A_g!$?dlp&BO~> +JcFX-!$Jd,!$Hjmp&BO~> +JcFX-!$f!\!$d'pp&BO~> +JcFX-!$A_g!$?dlp&BO~> +JcFX-!$Jd,!$Hjmp&BO~> +JcFX-!$f!\!$d'pp&BO~> +JcFX-!$A_g!$?dlp&BO~> +JcFX-!$Jd,!$Hjmp&BO~> +JcFX-[NgA'p&BO~> +JcFX-[NC)#p&BO~> +JcFX-[NL/$p&BO~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +fDbmNr.=qLo)/:_"oS&ns8;f7rrMuqo)Aair6tZHqYp9i!;c +fDbmNr.=qLo)&4^"oS#ms8;f7rrMuqo)Aair6tZHqYp9i!;c +fDbmNr.=qLo)/:_"oS&ns8;f7rrMuqo)Aair6tZHqYp9i!;c +iVs>#Da?p7E*5JRs(asth#@HTc*6g>"i#%75BNn(rsZY^2*Z2^s8Sm#2GBG9rs39uB\C@F0f@\_ +rreZB8TOb+rrCR9rrW*aP5G7hpm4llIWD2g`P6CM5BNn&rri&!NhGG-rrCR.rr^S4,Q.<9!7^uI +!c(.!lMgk6mf*C85U64'rrUD.-M.6=CI7mRs*t~> +iVs>"Cd(:+D,riGs(O^oh#@HTbc^R;"hnk/4E@A!rsZVZ0g'KSs8Sit1.d`0rs30oA_=q>/MYrV +rreW=7W85%rrCO8rrW*^OSf%fpm+]eHZ5Z]`4g+D4E@@trri%tN1T))rrCO-rr^P0+8bg4!7UoH +!bjmqlMgk5mf*C74WjRtrrUA),4kg9Bg;IMs*t~> +iVs>"D*LL/DHB&Js(O^oh#@HTbcgX<"hnn14`[M#rsZV[1-KZVs8Siu1J3o2rs33qB%b+A/i),X +rreW>7WA;&rrCO8rrW*_Oo,.gpm+`gHuPc_`4g.F4`[M!rri%uN1]/*rrCO-rr^P1+T2!6!7UoH +!bjmqlMgk5mf*C74s9e"rrUA*,P1p:Bg;IMs*t~> +i;WlO,=VV3"hRJ.H;OOqrr\($/QqZE!qdd,qu6`j,=VP1"6_*mq>UBpgL^?`!`LmsrVluiIj947 +rrN*qmJd:%,<5Purr_j^8E'RJ#,EK^s7IU*qu6lr8=A=Y-FWdN!WGpSrrS`9r:p9mr_WRn!d[]@ +li."b;!n8aSKn(.rrJE4oD\l<;#K/LJ,~> +i;WlN+$oo+"hI8)GYS(krr\!t.TZ-?!q[R#qu6`i+$oi)"6Umdq>UBpg1($\!`1OjrVluiI33Y/ +rrN*nmJd:#+#Nimrr_j[7H"1F#,<9Xs7@C!qu6lr7@2kQ,..4H!WGgPrrSZ3qtU0lr_<@k!dIH: +li."b:$qr^RihP'rrJ?.oD\l::&EcHJ,~> +i;WlO+@?)-"hI;*GYS+lrr\!u.Tc3@!qd[&qu6`j+@?#+"6Upfq>UBpg1($\!`:XlrVluiINWk2 +rrN*nmJd:$+>s#orr_j\7c=:G#,< +i;X)U,=VY-gAbOZf`(t@=n;Rooclp&rrVj<7Jm)dFX*sdrrIAdrVlt*OXB5irr\bA,C'(b!OXlR +rrZ\5,IIFL!dGs/r;Qpu`;fKT7Jm)hi$3LHp*E9+rrKMdiVrtN,Q.?:!OXlIrrKMdmJd6Z,Q.B; +!LG.Ws*t~> +i;X)T+$or%g&G=Vf`(t< +i;X)U+@?,'g&G=Vf`(t==7Z@mocQTurrVj96MpcaF!.L^rrI>brVlt(O!Efdrr\_@+F!\^!OO]N +rrZV1+LD%H!d5^)r;Qpr`;fKQ6Mpcei#m7Doccm%rrKJ`iVrtM+T2$7!OO]ErrKJ`mJd6Y+T2'8 +!L=tSs*t~> +i;Y8!,=VXTI/hUC=%<,fs1r`2DMVDQUNh +,=VM0!qdd,qu6oQ,=hb5l7q68")1^EeFD&;1,H\VuN!'IUBYcbZ.`kO_0:Fs7VGBQWrDJ +Sg415P]V@]\c;\u1+@6rs417@r;YSrKRJ^Ks3+JEd#hpnrVZ[(RPH=4KE(u-G(b:#oD\b@h0+I" +M=^b=,Q.TAic96cH2O!Ud>hdkrVr+(IUBYcs417@r6//Bd#hpnrT4'0~> +i;Y7u+$oqKH2l7><($Q_s1iQ,CPGiG;FC'G>=QF.\5%=MBVka\D1?8qrqZQp6!!sa!i:&UNg ++$of(!q[R#qu6oQ+%6,.l;[c]rsDrs-\DBupjr&ZG5M:JQnB\'JcGc+F+S^noD&=ghI4bQl^!HsF2]b>MJnJpN4Ds3";>c];UgrVZ[(QnB\'JcGc+F+S^noD\b@h/e0o +L\(P:+8c* +i;Y8!+@?+MHN2C@<(-Zas1iT-CkbrI;ag6I>=QF.\5%@NBr:p^DLZArrqZQp6q>UNh ++@>u*!qd[&qu6oQ+@Z;0l;[c]rsDuu."hR"pk&/]GPhCKR4fn+JcGc+FG"pqoD&=ghI=hSVBdO(>Q?c];UhrVZ[(R4fn+JcGc+FG"pqoD\b@h/n9r +L\(P:+T29>iG`p\GPmaOd>VRfrVr(%I9jA_s4((:r6&# +i;WuR,;3pjI/a-gQm;P/jsIA5O#,&?OX'DrbTjUss*6W\,$%)79TTh!a6u@q>UNh +,=VM0!qdd,qYp_,,JX8<[J^%3?2oI,n,K?8ocn_XrrI7$rr35f0V\UH?![I*rsFCns%jrls8V@/ +1&1bMoclp"rrSN:_>=04FZ9:!.=!qeK3/",MuTt+h#EKfT`;ePbQ"\erVr)@s.1J5rA'<2Y9_p' +s)g:!rt:\Dr95o0s8H;0rr8*3T`;ePbPV;?FZ9="2X)ois8H;0rr;4:UAt3u?2gE?r;Z4BJcE&$ +jHh*as1fl&rA'<2Y9_p's-P&/s,ek*s1fl&jo9i~> +i;WuQ+"M+[H2dgdQ66#(js.,1NA/T8O!!olb9+.ls*$B6JQ1\ZR/ce7[JBh'6!!sa!`pW9q>UNg ++$of(!q[R#qYp_)+27c5Zi'h1>5s($n,K95oH/8QrrI-rrr35e/>3%B>$Cq$rsF=ks%OTes8V@+ +/bo>IoH-BnrrSH4_#"'3E\m[o.qrfT(s8H2*rr8$-T)ZPIb5;2>E\m^p2Wu]bs8H2*rr;15T`>!p>5k'7qu?+>J,cer +jH^mZs1]Yur@Wp+XWZF!s-=c(s,SS"s1]Yujo9i~> +i;WuR+=q=_HN*peQQZ5+js.,1NA8Z9OUNh ++@>u*!qd[&qYp_*+MRl7[/Bq2>Q91&n,K<6ocSJTrrI0trr35e/YW4D>?h+&rsF=ks%OWfs8V@, +0)5GJocQTqrrSH5_#"'3F#s_%h#EHbTDuYKbQ"YbrVr&>s.(;1r@a$-Xs)U# +s)U$qrt:Y@r9,`+s8H5,rr8'/TDuYKbPV;?F#Q109r;Z4?J,ces +jH^p\s1]]"r@a$-Xs)U#s-Fl+s,\\%s1]]"jo9i~> +i;WuR,=VXGI/a-gSg415j!2)6Q7Me2QQu&#dNc7$s*lHmrqr-.T>\ZEIJNmD79TTh!VGIJrrVj< +7K3;jo!AAh,=VV3$1bG&s26-dp/(\brsW35j!L&hJ,f0dGlO94L'-<4FZ9="#b<3cs8Rm"i1'_# +&)R?dogIZpP9YGSs8=MrrVZ[!m.C>N,=VV3!V3SqrrU)'e+s"EFZ9:!.=WcArquf_e?"9I])S*A +k5WjS\,XZ!1Lm]hs.1J5s6S7:K-Ru-s)g:!rt:nJr1,(Xs8Rm"i;],gk5WjS\,61+FZ9="2Ou)< +s8Rm"i;]>mcN!p#,N,. +i;WuQ+$oq=H2dgdSKIb/iZGZ0PUH;,Q65Ysd3#drs*Z0grqr'(S\r?>HMRRA6!!sa!VGIJrrVg7 +62plfo!8;f+$oo+$1bD%s2,p\ohG>]rsW*2j!']bIK/p]G5n!0KEL*2E\m^p#b)p\s8RfqhjOIs +&)R?doK_9jOWSlKs8=DkrVZ[!m.C>M+$oo+!V3PprrU&#deWnDE\m[o.=EK;rquf_e#S$A\c7s; +k5WgN[K"Do04;$`s.(8/s6S48JKMH&s)Kport:kEqjS\Ps8RfqhuAuak5WgN[JTt)E\m^p2Obf5 +s8RfqhuB/fc2[fu+5`V2qu +i;WuR+@?+@HN*peSKRk1iZP`1PUQA-Q6>_tdNH!us*c9irqr**T#AQAHhm[B6N+@?)-!V3PprrU)%deWnDF# +i;WuR,=VY)b5VDVSg415s)Mt7?G6C=QQu&#d3H.#s*m<5rrSH1WrCEHkkY5Z79TQg!<)]m!qdd, +rr3/:PlLD$7K3;m^Qecur_+P\UAOs!?2sqE2R(."ocn_]ErK)MdJn>Js4d70,L?DiMBgSjr`00L +s8Sp2rfIFA/Fic?D^33urrn)4s7IU*rr3#6PlC[c_J8Q>DYjA +i;WuQ+$or!ao;;USKIb/s);b0>J'q8Q65Yscl][qs*['0rrSB+WW(9FkP>,Y6!!p`!<)]m!q[R# +rr3/9P5k.r62pli^68Nrr^\,QT_n`t>6"V?19\UqoH/8VE;icHd/S,Bs4[1-+3sodL`b&ar_isH +s8Sm/rf7:;..R?;C`gRmrrn#2s7@C!rr3#5P5bIa_.W39C\n&9E\maLpA]P(rr5(B95)en+1_E; ++7]BY+1;.FfT9,WZN$I;qrUObe&s8R*qs4[2HSKI`i+3sodL`b(FQ65Ysd3#dnru?&8s4[1- ++3sodL`b(FNuu[Is+hcFSKIb/U*$uFru.1Fnc-uY[H:+qe&s8SW3qu;s(nc-uY[Jp1+rTX?4~> +i;WuR+@?,#ao;;USKRk1s);b1>J1"9Q6>_td3,mts*d02rrSB,WW(,Y6Q=_A1U"asocSJYE;ifIdJn8Es4[1.+O:#eL`k,br_s$J +s8Sm/rf7:<.ImH[ZN$I_tdNH!qru?):s4[1. ++O:#eL`k.GO +i;WlO,=VM0(7lcKs8PpIkjA&YTkstr;R0(?2srU,?OmEocn_XrsX?3s*3hW-*.(GAjQ7irrW0tnc&Oo +M'JVls6`!Fn,E>#g2m8noclp*s70!gs8ThfBk^pZqYpeL1B2Uas*m?6s#ZPlmJj[@\c8!@nc.#^ +\,V_ts8S(Is.1J5QQtnt\0JQas*ca'Gj>=#,Q,t9X8i3362CPI,Otf^,IdRM5^kKgGj<^'X8i33 +62CQ/-*.(GAjQ6a,Q.T$.Z"-)`Qjepnc.#^\!J?,s0s;as8SZ8r;W*.nc.#^\,ZJP5PFCBJ,~> +i;WlN+$of((7cQEs8PgFkO&3Is.1>"s/mHNs8RL2rr32T,Fnf6gp$VS!C9cbrrR:(pA+_"oH-C! +s7/mcs7@C!s8VXaXT&5%Y9,Fjr;R0(>6"WR+&r7>oH/8QrsX6,s)mVS+fbSBA3ThdrrW0pnc&Oo +LEE)es6Vd>n,E>#fl@#koH-C!s7/mcs8TeaAnG:NqYpeI0)p(Zs*[*1s#ZMgmJjX;\Gqj:nc-uY +[JuGns8S"Es.(8/Q65Mo[i`-[s*HBuFmB!t+8aG/WrN*055G5E+7]BY+1;"G5^P-`Fm@?tWrN*0 +55G6++fbSBA3Tg[+8c)s-AMR#`6FSinc-uY[?_p%s0j)[s8SW3qu;s(nc-uY[K$8K48.t>J,~> +i;WlO+@>u*(7cTGs8PgFkO&3Is.:G$s0!QQs8RO4rr32U,b4o7gp$VS!CBldrrR=*pA+_"ocQU$ +s7/mcs7IL$s8VXaXT&5%Y95Olr;R0(>Q=`S+B8@?ocSJTrsX9.s*!\U,-(\CA3]nerrW0qnc&Oo +LEN/fs6_mAn,E>#fl@#kocQU$s7/mcs8TebB4kLRqYpeJ0E64\s*d33s#ZMhmJjX<\Gqj;nc.#[ +[f;Pps8S%Gs.(;1Q6>Sp[ii3\s*QL"G3]*u+T0Y3WrN*05Pb>F+S#K[+L_1I5^Y6bG3[L"WrN*0 +5Pb?-,-(\CA3]m\+T28u-\h[$`6FSjnc.#[[[&''s0j,\s8SW4r;W'*nc.#[[f?AM4SJ(?J,~> +iVs(rE[itiWW)o%cr2EQs8QU.,7ZDaroHsuP)U\Zik7o@GlI^H_GYZ4GOGA.$Cl8t5'<\$s+!Z7 +qYq/AD'LZR@PB%H^25)IEag^I`r>u>q`^,>rsm"`3H=?aBXn)WE[jS#r;?R&cp)l'rr9H,Jp(MV +qu7hU@5`B1s2\Uu5BHPunqB_XN-gKSs1W=p/okDT,KBcC./b@jHM[Y3cp)l'rk1l\GlRg#;IZ&i +=\P)X.Wt8l.U1nt=bi8_lHiHZK&0C7RA\<;_!b+[o@s&?ek\,;(?_YA1CgCr;R/O +5C7_Us0ksZG$j&(s"Uu^Jp(MVcr2EGs8Tu1Ee0%j;(?_YA1Cg&;IZ&i=\Qi^;_!aO;(?_YA1CgC +s+!Z7lMlA~> +iVs(qD^I5[VuH]#cql'Hs8QL+*tBiWroHjpOGb2NiO_Q6G5hLF_,#9+FRAu*$CZ#k3c_"qs*dE2 +qYq/@CEG$E?S!;<]k\]>DdP%;`W#l=q`9c8rslt]2/_^ZA[h]RD^Iklr;?R&cocSurr9E(J9+uN +qu7hT?8?^(s2SFm4)srnnq0GPMKt$Ls1N1i.W8ZF+3"9=,lJebGl%G1cocSurjtWSG5qU!:1'?^ +<_/EL-?AWb-8:aV)"[S_Qr>hoA(:*t#O@4#+8r;R/O +4F)2Ns0bdTF'RN"s"UrZJ9+uNcql'>s8Tr,Dh!Ma:*t#O@4#*p:1'?^<_13V:aV(E:*t#O@4#+8 +s*dE2lMlA~> +iVs(qE$mG_W;cf$cqu0Ks8QO,+:]uYroHjpOc1DRiOhW8GQ.UG_,,?-Fmf/,$CZ&m4*.1ss*dH3 +qYq/@CEP-H?nEM?]k\`@E*t7?`W#l=q`Bi9rslt]2K.m\B".fSE$n(or;?R&colZ!rr9E)J95&O +qu7hT?Scp+s2SIo4E:&onq9PRMg:0Ns1N1j.r\lJ+N=B>-2eqdGl%G1colZ!rk(]UGQ7^":LKQa +=%STN-Zefe-X#Dl=+uiWlHiBUJDO(0R%dYR`W+:JH$K>8;(%;%[ShWt>hoA(:+(,Q@OG=;r;R/O +4aD;Os0bgUFBmW#s"Ur[J95&Ocqu0@s8Tu.E. +e,Krd;UUKmr;-Enq"Xjiq#'R[!;QKl!VlThrrMomp\t9hqtC$jqu#"EJ,~> +e,Krb:X7M9V'4Lks8)Wjo(i:[rrMrmdJj7-ks7lEc +s8VumrrDihrrMommf*:^r;Qfmr;-Eoq#'md!VlQcs8VuHs*t~> +e,Krc:sRV:VBX^ns8)Wjo(i:[rrMrndJj7UKmr;-Enq"Xjiq#'R[!;QKl!VlThrrMomp\t9hqtC$jqu#"EJ,~> +e,KZ^7cOIH^,G>/s+13as*t~> +e,KZ\6fJ(D]e\r*s+13as*t~> +e,KZ]7,e1E]ef#+s+13as*t~> +df0L#P)4sdl%/kcs1SG_~> +df0L"OGAO\k^ibbs1SG_~> +df0L"Ob\X^k^ibbs1SG_~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +JcC<$M#Vu~> +%%EndData +showpage +%%Trailer +end +%%EOF diff --git a/changelog b/changelog index 46f122e..8a9f23c 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20140615 tpd src/axiom-website/patches.html 20140615.03.tpd.patch +20140615 tpd books/bookvol13.pamphlet, ps/v13llvmtoacl2.eps file rename 20140615 tpd src/axiom-website/patches.html 20140615.02.tpd.patch 20140615 tpd books/bookvol4, ps/v4architecture.eps add Baker's graphic 20140615 tpd src/axiom-website/patches.html 20140615.01.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 85e17d1..6553573 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4462,6 +4462,8 @@ books/bookvol4 rescale Baker's architecture image bookvol10.2 bug 7255: BinaryTreeCategory remove finiteAggregate 20140615.02.tpd.patch books/bookvol4, ps/v4architecture.eps add Baker's graphic +20140615.03.tpd.patch +books/bookvol13.pamphlet, ps/v13llvmtoacl2.eps file rename