ports/84859: New Port: math/isabelle

Timothy Bourke timbob at bigpond.com
Sat Aug 13 04:30:21 UTC 2005


>Number:         84859
>Category:       ports
>Synopsis:       New Port: math/isabelle
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Sat Aug 13 04:30:16 GMT 2005
>Closed-Date:
>Last-Modified:
>Originator:     Timothy Bourke
>Release:        FreeBSD 5.4-RELEASE i386
>Organization:
University of NSW
>Environment:
System: FreeBSD blipblop 5.4-RELEASE FreeBSD 5.4-RELEASE #1: Sun Jul 3 14:15:31 EST 2005 root at blipblop:/usr/obj/usr/src/sys/C6651 i386

Note: depends on Proof General 3.5, currently submitted as ports/84788.

Isabelle is a generic proof assistant. It allows mathematical
formulas to be expressed in a formal language and provides tools
for proving those formulas in a logical calculus. The main application
is the formalization of mathematical proofs and in particular formal
verification, which includes proving the correctness of computer
hardware or software and proving properties of computer languages
and protocols.

begin 644 isabelle-2004.tar.gz
M'XL(`!UT_4(``^V]:WOC-K(NNKZV?X4FE[TF*_&MKTEF99V19:E;B6PKEKJ]
MIO?LHX$HR.*8(A5>?,E,_ONI`DB*E$1<"IJ99YW=>F*[([YO`00*A0)0`/R$
M37D0\'_[!WY.3D[>O'K5 at K^G;UZ=5O^6G];IR?,W;YZ_>7YR^KIU<OKBS>F;
M?VN]^D=FJOAD2<IBR$HZC;+XKKD<;GG(8Q8T/L_?H_S[/^3CY_5_//<#GOQC
MTC"O_Y>GK]Z\@?I_=?+B]%/]_S,^]?H_7K'46QSRU#M,>)KZX>T^5`+*X_7+
MEXWU__K-F]>R_D]>OCD]?=XZ>7[RZN7K?VN=["%M[>?_\OH_/#QL074?%]5]
M%,7^[;-QQEL_9F&K]2U4S/?/O_O^Y7>MYR<G+P^^_OKK&OQ9+_9;[>RV!=5V
M^N;[Y\^_?W&"R%<'?_QCZ_#TQ3>O3UM?PQ]X_,<_'K0^;TW]D,4^3XY:K?.H
M%49IRP_O>9BV0O[0NABTDJ<DY<M6R)8\:64AZ&32>HJRUET8/;0>%BQ%(?@%
MBWEK%D$>0-)5&#RUHI"WHGDK7?!6PKW4C\*D!:H-M&019<$,_J?%X/M[EO+9
MT4'KX/#@\/-6&C^UYGXX`T&"NHI`U(IY=^P6,C"/HZ7XNI\WDU;BIQRR++[,
MDHP%K57`/)X<'`ZO!G^Z&$S>75UT?_CB]]XBBA(N^'\^.&RU/ONB/VJ?=0>#
MKD`<>U&8QO[T&--;!I_M!AT=;3P_SI+X.%G`N^]Z$$0>"S8?1*NT^.HK?&5_
MWOK?K<,0TJID^+/6(6L=\OJ7QU!7.?7PGL<)E.AGK?_S!WSU$&5_W at JBZ"YI
M!?Y=I8!J!8 at PD#;ZTVC<O8!2T<M__E_',WY_'&9!T/K[WUL<RK$E,5_EPH:#
M]KAW=:T4!W62SJ-XN5M>%J(VA26JD"RJKB[SBTJ"G^6PJ^&X?W4Y^N&SPT4+
M>JJ3$WC``UFNO"5JHLA*7JRR=O+:KA?ADCVA7H*.QGYX=_ at 0L]6*S_)7!IUN
M/7[[^C#PP^RQ=71TA!6(K"$\/H;6\O+HY!OX=2I^'3W*AW[H!=F,M_(R;879
M<LKC;Z"%\1F(AC=N">U$E8?&ODA;H"/87.JUE1<E"G[1 at H\4OHHCT/8DBH^O
M1JWT:<4W:Z7,K\0_+#@TU#02C:QL_=4"+PIL%UXTYI2%,Q;/6C.6LBE+BA3/
MS]JCG%T4+13)9%9`/B]>"Z6M6"+_`DI1C7-?6H51D2:4,=B42[!-/T)I\J?6
MZ>E)"PH0-(?'@%P75[(,PK\>PF/Y;:Y+6^U9P/!U/Y.X,A=_'%T,9GR:W?Y0
M*FP.J2@\OP>#@WI?Z.<1BZ&_#@^C%1C.FK9_]0>I[)]]\:[;'DY&[WN]_G]+
M$_`YO-9-%$/3?7YT4GN)9?"`WZM?(0?M>HG-'.,7(KTH\2)AWR'%=0&V?L\?
M5SSVE]`!L.!W7]7S$D%9:7*"D$H^:NEN9DQ=KR='W[W849_KK]>Z*LUL,/.3
M]/B\?XU5*G#'2>R9E,?7G[>^_!*^[5Q=7'0OQU]^>?#U.EGQ1/X[?R`2%E_C
MO_(OBQ3$]_G_Y(]J+7&:S,27LK$(M/@G8%O0DW[^N?C5ZD3+E0]5 at N:B:#5H
M)\`[3*,H@)Z.S_Q8].EOOOOF3>OK%R??O,Y[=,1%8&MB7W2B8""@9*/I7Z$/
M3K"G?'<U:/E+Z`T.\)^3X?7556]R=?9CMS,6)80=\3HGYY&7H3J`'+YBL<B2
M?"P<BE>O,/73$_PCDD<>_+DIS`9V22)+L\A+6K]?9D'JKZ!;@NPGX!<(D6`$
MIT^M?__^W[\"@UHJU?E59[2E9"#ELX.O-S!??CF\[D)K^O++O"\&U''A2'\F
M\C,&PS6[]UOH5;?N??X`UJ)U_J$_^=#OWG2O?WB$A_*-OCU%YPA\I-/\E;!,
MAZ(0WTJ7$XQ7NOA&OAF4)VO=HPU-GU"#<^>C5>:P?SGN7O?:'1L?1*26)X;O
M$1_[(;3..8AN=DP,2!5OQ10MVY8)&OT:NSSP)?,2'>=KX%3J5W3DR,C=?X2T
M:N51%CC85E%W5]N]3ND<>=%R"18(>[FP-7P+[0MT,H"6`BK)L+7D.9&J\=WK
M;YZ?@&J\//WFN[RQH;OZ*%X$5"M.TF]:/$AX2WQS(/KCUB&J2P&J>S^B[;WM
M7G:OV]7^;R7YK2]V/?^L\)3_^W#TM)R",?!#Z)*#W%I at A8E__!X;74UOOP$K
MD$0!!X=9/'O;^J\?6B^.7H&9_^_1GR[.KJR=Y<?#1&2A62LW$97JW_E(ZMO6
M(U2NS2]%WPE5T'WD7B9L"(?7XD5)/_A0ZE7EPLH%X8$8;'S>NN:_9'Z<^U\Q
M7T:B6$*PD1&,7A!2%$K_<C1N#P:]JTLTD(\PU&K-5U^W4F^%^BHX1WZ(CBN4
M_-U1FATN,QYZH%)',_[]F^?"DZF9]^XCZ%4(68HY2Z)0C'7`K"<'6^/_"W;'
M\5]['6-JQO^GK]X\S^=_7K]\_>:T=7+Z^M6K5Y_&__^,S^=BM'[R^N2[UOCH
M3!3!P>>MOFSB:\,EVB:J.'1`O9CSL]$Y^-(Q:.+!P7EW-`8_Z(<O_B;-YF]Y
M at RM4ZV!TW8'GHQ_`F+;RIHR3"#!PG+;`9VHM.%LE!P>0X/<'SXZ.IYD/HW4<
M.4T/#G)C`P^6=]"'@W5K??&W/,7?#IY]\3?(2=%B)N?M<?NW5N=J^*?K_MMW
MXPKR>#?TLGLSTJ.NN^WSBZX>U[Z\O'I_V5$B1YWK_G#\6TN^I`$0"FSNWV9@
M:&K at PWB)Y7<\QG:,#HB8N#EXAM9ECF["%W_+B_VW/X`!>_9L%@G+<XO/_B(&
M5X>0_A?SUJ'H-69_^<,SA$'G!L@=97W\Q1>W?WA68.`C#,8/4A0\`W%\!2;P
M-!<X;_WYS[\#$1PR^G7V]>-:/GS$8/DS2!UE?-;ZW0]@7HMQ<6M'T0KJLQR_
MF2G(B7Q%*3OQ8G^5*G.V.U=%IG(!ZFSEU5-D+.>HLC:+0BY3PW\='/RK6[[\
M;-C_*9LMV>,L\7_=8QH:^__\Q7K^]_7)"US_>7/Z^ODG^__/^/QN+Y^#W[5P
MQ)-/WN9S1&+"!OS;6S&>NV=!QM$G`L\#O,:'W[6V/BAF#Q\4\SZ<\1C;+3C'
MGA_#F!*GD2!7]=E<:86+_*)]#*);'[RY7$R2>0MTS'$,^^!#AX at 3UN!++?T0
MAI'?X$1&!`+C!Q_2F3,_./I'OI0H8CGQCO.&.*$MAI8P=@!+MXQF_MR'_Q&>
M*+YF/MI(OM_,3;*`K[+`7_IIZ_#=C):;5LM#.;F4A:AML!O<6HSS!\7TTZ)(
M0HZ5R6"@A-,!_CP590%6S5]F2YG=H]95R%L/3`RAQ2)"(08<G$0J:8O-H%P!
M'XIYA>-I%*4P7&"@5T?8)XLR%QT#/(TY6A&9DM`;T1"^UV7<H&SNP'$_RDWR
M#Y]]^]WKB\\H8EP_4OV at 8*"M3`-HXSAH:;'Y7,SRY-/11^N&A77!@B3""BD]
MF)DLX at BGDUJCB\'QY8^MW\LF*'3VIC]^-X'O+W_\X8DG7VVWI4IN]F.V_M76
M]U__V;G^"X[EH7`L#\&Q=$]CW?\7761]_?_%Z<OZ^C\,29Z_^2?W_S!R3U6X
M_Y_V_[C^NSV.4"\`U_#/1BR5*\`O$/KRS?<O*RO`+YY_\[KU-?PNYC;1P_[\
ML]8A6-63UB$N3YQ?=3YK@:=]^/^`K]WZ7_\+K(.8+#[X&I[\\!?^N(H+U/>M
M?_]__W?KV?_YCS___N at __OS5O_]%SG*`M?%#^.>_NBS_)W[*]H_+&3BK]`](
M0^/_G[R$- at _M_]7IF]<O7[W&^9]7KUZ]^.3__S,^%^>O6K\ONFULX4=0'$>W
MOWX%3?);SEY_]^VK^8Q_]^;%RU<O3KX[85/&7G_+&/OVY<O7!Z/^QVXC^]7K
M5R???OO=P58*$[`?,?AG%>SS4P:)L1?\NRG[]O3YJY>O3J9\=G+"7W_[<LJF
M)SM2VB$%AHW0E;QXM2/)U6Q>?;'Y_,TI>SU_\^K5_.4KSOCKYR_??/?\Y?S5
MJS>G\_GIKN3J$B"#)Z]>OOF?;W+*]O\/F?F5'TW[?_GZM(C_>_WZ]8M7V/Y?
MOCK]U/[_&9_/Q2*XF,H%1ST(9.04]*A2&W!,C,.8<B[W\]8YC'Q;7LQQ';4<
MX9Q\BSX`E*7L^C]OW2RB[?'/V%_"</FI)>>96_^9^LMI-/WCU+]=1>$,AE7+
M_SKX',A?Y%/,7\#_'0ROKL>7[8ON#\_*3.!7'[K7H_[5Y0_/A%O2:8^[;Z^N
M^]W1#\^6+%T<7+1'X^[U9-0?XU>+-%U]?US.2!_YX5&:+8]FLMLKUY?$5%V.
M?7AX./*"(X\MCYAWE-T=7_.$8[3%\;L/;X_[U6YS)W_IQW$$0\6$'V5A\G#$
M9]D1RXY7V;3,1LD[..^/\G>LVIR#(W_>^MT,*B+DL]]?7N%KXPKT5P+?ZP_P
MU7987Y$-A:W<?KXV;@='/)SY\P,HP/[E&'ZZUS\\VZZG at SQXX8=G[99H&;Z7
MK_RS)/%QKB4]$-DO<K\>VWUUL(Y]^.&98:3-.D#BV3K0I at B.>+9>>4#7%.,Q
M9(S-0252XMF.`)N#,C("7CM(4+N;(JNJ>59 at BDQ6@Z>:\BDQQ[5,%K%(ZYSM
M)I6!3D5UO1]U)\/N]>#5#\]@['SPKCV"_%[V^F_?7W?E5V?O^X/SR7EWV+T\
M'WW]PS. at +[X'X:!4(S%AG2Q`'W`*.%D<7+^_K$"K*^`U"C:UVOJX;*XB3.)9
M![2;AR((9,8?CQ;I,FC]QQ&H&OSFJP3_C;\P$J)1538S#75;RT#`PMN\PC?R
MK$+*RMZ4C46[39$%OED@*FA1)9=7Y6K!1?MRV'X+S14KXF`5)>DA?TQCYJ7?
M'SS[XQ=_ZPQ_:WWQ-]&BA;BB,X8O;ZY_&EUW?LM98GPN.1<??EL_/JX&Y39\
M?;2*P83-!'G4/?^M]5GR]WH at TM]!:OF_O_T]7QO)4450D at 3)_T-,#21#E"0$
M_[T%*&.5_O[GSP0J_^*W/W^VD5X>IR1EB?^I"RMB-/Y>-I"_?R8?*U^_]5\-
MQ2/*Y?JBJ5"KI3>^>M]Y5P46AOSHCO,55%7,#\6\UO=U$U[5[&=_A"<@JCL:
M_];ZRWHR]B^MPR!M?0<>TLE+N?*4OQ-T<74E6:_5Y,7"'T'$*?S/,_'_<[]4
M1:$[ZZ74=<8QOJ4(\OKB;[FZ_B:6!AM6<^6J8/$,C6QC+P7I7/R$6<5E,?A&
M+-D>B15*U&VQ2%F at Q5IN?3EUG4N,K_KB;TBJBX*W`VD'SW[OS=9HL>`F"NKR
M7+S)-(X>$AY/<'1;K':VH/UQK[4C@\=_^ZWUYS^T3*3,2RGUC/]M6]Y7954<
M%>&Y_SE-9D?H>!TM[_[K7S:0*'V1U=WMX8PG7KS_-'3Q'V^>/R_7_UZ_$./_
MUR<O/_G__XQ/.6/O)RW6Y,H=X?(*F`YH`2WL\CE&'GG0VV,04A8PL5XRY2V<
MJ^,)&ED1IRA"E((6]HT9N^5BQ00DW_LSGN0!2&@,Q%=B^T64B`&'%"E$B.4X
MD`$_7A9DR9%8!,/YOA9;K0)?!I\=^')=3R;H_YH'LLYKF94OE8A<`'W%8O@:
M4HISVL$]O/H\E_A-ZV'A>XLBECZI9!(7-.(8QDDAKAE"(N`.KS)T4L%.SAYP
M7PJ\5!+-4_'O\J5E;.R*0[*\QBL+*#G(P6D$0S$,K<&X7!87:WH)]!&87U%T
MWY2++?^>M.3DW6WF)PM,9PZ#,XP8\9,#'_RO>0`]P]0/_/3I"$.QT\WZ3<1N
M&NRQH)KC*`MQY0OW!\!8*Z_$H@*^P2!#+,[@J;7P;Q<\/HQB7&L5-559`5HP
M42<''ELQ#U(62VJ>QU=I/8*U)M^7]8NO`]TI1MD=%+L8DFPE1ZG;J4+.4[G:
MQ![]2%0WKI-B\E'\)`HUX?<B)D^LUA9ZDBQ!GT:<%XN^J(Q+#.F;\93YH at +J
MS>.OD2\BDR,,;@:%3Q\X#UL#]A#ST..MSE%KR#+(1]CZ_?O0%SE/GP[@)3ML
M.8W]V2W_IO7^IZ^$3HRCJ0]%=.FO[J*'UN_'W%N$0DW73"R>BPR^77QS\)9#
MEL.GKR!/-S<WW[<:1[26/4G-_N<>PKYMC"[^X_GS5X7]?_'BU7.,_SO]M/_O
MG_/Y_'?"!X0AWT$>__1<K,8,KT;CP]RM6>_Z>@:8E(,!43JLX(J"%6W]YW_"
M:&E?*[7_<P),:FO@&"\RST(YJ1;SP&?3X$G$C4 at QB,&X$=$98*AT\-2\[-V<
MFSV]U*<`DV8QGP),&L7LIX6CL<`Q*_SWKS:*_Q=]:OT_.-2), at B"]E'V_Z]/
MWCP7H0-R_>?5\^=B_/=I_>>?\\'.O^BQ#O+9H.W_.5SO3*I]G7?$!Y5II(/Z
M=-%Q$12_^7T9I;_Y`&/R-[^3$?B;WXHIMLTORVBS+73U37<\\PV>5<I!A2J*
M93=F5RG5)Q`W'N(T9'62O3R;XXAO"4(L[FH[O.-/#S!&2 at X_]DQ at S1A=:N7\
MZ8YG60(CM9*?,/1Q5#+D)H8-`"Y[^%!`R;J`EW[H'SVNEGIH$RJ?SCM^&[/5
MXBS_GP\P..>/1W]E]\R8TYXF8B*_!S5XP:$2O<1.P%EDF6('WB^"-[,BG?,Y
M#$WIN3SW<<H#AM.6M&RY?*(4J_@?`B7_'SJS%[.E9=F*__D`CK(=[5+,0E`*
M9\CBA'?%^K(5[YK?PCC$CC-:H8=JQQGC\CVE(I!X&<TLDVO?C&WTFCVD[U.<
M#?-Y`JT/YY'L.!?H_M_R<Y\%T:T==<P?4S,-*Y8`34L!!,:[L&*_J/Q]Q&#\
MN66G-T&XT;\14GQU^O)H.IOK<<\;<;@<?+Q>&6Z&%(;<V^Y0UX&H^2QA,P`Z
M!<"DS8!9Y"D?BE,)FA'\<84CX46D2 at -WI,FY1A7FT0M at G+O<<@-J&!P,B^-7
ME*`H5:=T&[&=);\&0(.\4R(2_HOZ>;149/*6ISR\;WZ>ST at V`S`\Y%'Q.+J-
MFI]BE)/ZJ3)ML4NR^7$6R at WD_J^*1/*3-1J?YTU]%P#?K?QF\NL<@RJTN,,$
M^IR at R2NJ0\$E>S)"'MWZ.]MX/8<,I)ED<;*(`C.)`/3F9E#PT<($UU+"U(SP
MJYE@\S<R`J)/KD8J+6:^#;6J>D<K);)BMS3(.1X?%>M`I?72`PL39H`$.Z9'
MH3$S0*%%T\/`K!F`P+9I4&#@F at 9(59C<=Y/_WY$(P5*@\\[,J,)4"!S=R:-#
M%*`X"P^+<Z%T,'%DDP:41TEI4"+*SP at DSVA2($&Y'U)_=R\$G8<?KK**QW*4
MI$]F2&AB>O!J-H?ZSU:[D$GL'0\Z/6B#Q]=75^.CBX$"T7T\/4H7*AG=Q^<Z
M$<^U(E[H1+S0BGBI$_%2*^)4(:*?L";?N(#`CT(`/E5D0,XU[32Q)41=6V`9
M-$\5R:^8'RO8XK&"CJ87#6N#B,YXK%&W',$#?ZE!_)*!O55"DJ<P7:@AV`%X
MBSL%J!W[2B'R>4.1(.`,'"D%7SQ6T.%'P<:G"K)&61%RP7#MOEF$1A\%1%V=
M,7]H>II-N4X?<@AOTND*H.DM$''&$JZ2()ZK!'0Z*CH\59+AEQ*@JRC$#)KL
M:_%4E<!@J"0/-61UTD-=VN"HW#;:A"I$*48OQ52(^G5RB$J,KE4(3+-6]ZX&
MJ+/%N/X8=_\>[1A)5K`]/&]M<H7319.!"'9JR%^.[\^U@/E5S+R at J5ELP33B
MPC3S,<X`8\%TF1L`2)VL0&B$X.%I',^*T@`OF28Q!&A%-.E,%:$6T at DPY`TR
MK4],0/6P+&;!Y%(<L*M##^,(IPN5[Y!CU(+T:CW'$+Y0C?%#39T at 0)T10,21
M6HA8J%$B,"92C0`_0Y?7LL*:4<9-O0^_%'+$8T6YX/-)P)=+ILJ-IKM!B,;"
M"8A:$Z90)*G"&40,C-8UB'DD0SN;$8NG59)-M4F!NF`@+&]R;Q&C<5\1HBE_
M=>VM*Z=IB`&(H8'6#;4F?JBU?$.]Z1N:6(ZAD>D8ZFV'@(!&:!`Z\S+4VI>A
M@?D8ZJU#40D*`/[2/E<56E\GH:\7H6WL0VW%>&77I0`5#5&%,6B%0]$,=<\5
MS?0=M+1W$7P]9#&>@!J86=]MFEP%;BC;;?A%%DS>LGC2B8+&+GZ;=?46"$LK
M?/=1A#(T=OD[2>(+*\8(QL^L<5BUDS+&*RX\BXS9E]?/693R23M,_5_P7^;$
M:\N"OJ84]+5U05_;%S10QC%K'+;O(#0W[]W5J)%^S9E%HQ+H=VP1GK&0>8L-
MXM2?TH at 6*9YAEZ&LQ4U&+X^:QB@)"D\,U&R(ZW_26-W'="#=/A+=A3O*5O;T
M=J94^$TXU at .?C5;,4S:M39K&B]U)4;>53?@(>CS;7'T0L4S6+_,QBD-1T#:D
M at 1]R%L]-U-AT1J(DX"^M5/QUSAM=U1IN&#UH<3%+)TPQ*;L&PB\SY-#L13KY
M)@DM<@`ZH1=GJ)HF^G at M=@VJWP$5-3U^'_KS)SVLK9I_6<,T>9. at D<(GW$3I
M\S_F<=/*P";*J##\1E=T&V=8NCIQ;<7TET!UQX?#?!NF>8NLL;IXJ1E\H\QR
ME7#!8V\!0\X)!NEA2"DJE`5;A*39)-AA\6P1!3B=24IRF&&&FR?MMP at Z7:T+
MGP:^IWF=\:!]?);-YQA$*_XHI&]CS02?VT@^MQ*M*0]$]D,/?PQ1FF01-O3`
M$5.V\@)ID+L+OHSBI^/K80==UR48YN9)T`W.!8R)YTT3WYM8ONP$/&Y:(VQ"
M&V8DAU?>P"H9^S<7?XP30:R-X#[VD.(^+=&8+9+98-HD2BB\.LLLL2%NJYAE
M,>\7NS#,DMO!,TO0J at V8`PT3'W8JY61:1O7&:%8;??.:,/"9!$Q?<*-TGNGT
M4V(T68(?C1A$:(2T/1.E[X>^RFVH"-(9;-_`!J<\3*13J9.V1BJ$#EB:^AXW
M'_SO)B@<H(*@'^P7R,*AS__?A&(!%5,`1OG0Z.O[R_[X3^;E(.'X;L=C?\GC
M=APSI16O$-I!$"E[\DVL*FYB%Q[-O"&^$_A<[2Q4P>A8J'V?;;3IF[X3,:KL
MSO1-A[$?Q7C<B1U<,R528T2W>-2-(=S`;&[I@$X=1SZVG>-Q=,>5AJN&!OE+
MM9VKP<\YFT%>E,Y4C3#PYP8*DX,OLK0Y:&@+?3D:3L[8S!S/4PQ:-<8;UU&!
MYYJIPFTTRP_A,:XM&!"&W*"YOLV80<O#RIFLXN95PBHT2;4SJ!(Z'%Y?G1O`
M\A8SXJE!JQG*,W;,FI<>963?KSG>.FY0.3B'T#907)S$3W#B3],+2;3X;0B;
MJ((&-[%IOB2D>__WH<8%DK";GB($M5*:YB8OQ+D'/S0HHW/P%3P3_>D.E#,'
M.>@1'"<#@])K7-ZM8")Q/)H2&/J;\[L*[VL'6N5R(%JGY8C!7ZI,WIR8)PI8
M at UI&E#IC at +@Y467*.$=;$^B*`K:9;`>LT7HGX,Z4BH<`/^PJJ\`D4"W'=1_Q
M0#6\;E8#?"<.33.)7BP)P93'Z<0T)_UPA%N(=*!9!K;H'@;B>`(<4SN7.PD3
M;K`B;!P-F8,'[!9,]:VN:F6\HR[E"Y6JR^<:`3R^Y0:E>1&%D3][&T>9L@=$
M)-Z";:*\P^ZU!G')TE&FG-D7L4@\F6;P%K%6T\'U7L9<5T'#[-=?FP-@<]#/
MB;[,?LY\[\Y;<._.*+0`(Z;T%DX=5U4 at N#?C<VUJW!.G<>A0<W"=3=]@]*$S
M408:;^,T`J&<_5#I12(JC0&D58`QBY,[7P?*5MI<+7F"!XXGC7'"A2&?:=Q:
MW+C"=8J4W'L3/-A-Y5;E,,R3(<KX#17`SGBSPU1T at MM@12^(8/C1):YI"^TL
M78@!R^SX3VS!`G5$4`4MW+5$U]E5".*W#?8G&_!$KE%944:(,\T2CL$F%XFR
MG57 at ER.['%VE#^SIFJO-1P4_;-Q_N`E4JF<5B*M]AE@#,UQ!MT,6_*J5;*SX
M`ITOL6JEFM=#B=3-:Q1H0_4QK]D2.6E?6H!-LFM8!AT\#QE/E>PN\?I4'=S$
MMD`?FBD-O$`9EN5X,-)B;J)HP/16S-3:Y3A]*\J!1M7Q<1%E;V&,NF2A<HPO
M2]"PL8D@!ZVTGW@,0XDHZ7\PAD[.-/KX*,8E/*G.]>-&)+7*ERRMT[R&@I'"
M,8 at 9V*3 at UF"-+I?`$5_ZMYACY=N=L<`W-VD"W7[,74BMW/8C9,($A4L_6MP9
M2WS]NW2B4!<U)W#GW%,:CA($`G&XK$_Y'"^S\%/>AJ'O;;C4*'D#I2-/B=<R
MN_?JP74)4K9;B3*N3;'PIL5I-%1 at 1BE3#RL%:LRF!OG2!8U)$,ZJZE%XL(@)
MZ%H]OU[B1ABOH at -^P#.HM:@;^*IGHMD(-'J12\W$M5QG?;2:\ZIP+D<X3.>J
ML<XNM%F&1K_$Z60DSNHP9&C4LH+4SK5MY,,$VAGXRIHK<2,>^V:ET!FEZO6;
M$BC_6D#/U.L$&VCMND*!OQQUE#$5%9QYEB]'<K[/!&O0TY90M;ITY45<,*XT
M'S8W<A3MJ<)YY]\NU?L[*F#<;G.M[GPK:/.7O6$Q@`PV_APO\'=[BK-KFBTL
M\C`.I><J<<;[>DJD3%\+?\>9TK%;HPSW_%2PIEDPVGXD?QN*'$;BX&'S[5!;
M#+N$$N5RC(0:M,`<:+#WZ7CD+<!?NF&^P88R<(A7@^C6K*H!R_21S15%-]7Q
M9IC<BJMU07(8;E at R@+V[>O=.GZ9`Z849U%V!5%=>\:KJ*<XJ2I\Y46Y:8:+8
M%%4%0F+<@(*;8HTVHJP9/;"0YD"55JV1?I`JH\BWH$9BWPW4P1P5I-X;J8"%
MC^WQ<(;AP.H>8DW"?RD/8]J!U^Q+VD`K]LKO0&OV,FV at 8\T.I#6\'Z:]((H,
MJPBC,V]C733V;KQ1`AIWM`(TU94+Y at U8%OMF&5ZCC81?CI2.8P7(4IU;O`:/
MNC\;9?8R75P+/\U$*-[S:X8TZ0MK>35[*8LF:UY4&VW;I-0HYF">-9W+4,?A
M'.+53#EGU+\8FKOFVV"%3XY@'";X@=KB5G%*UPB!YSR,])LH$&GBSDG<RB1[
M. at BTU(4?ZI/+SS72P32N`4*$XO at F1?%!N2T"$5JW&D`FF3(IJF&IEAI19MI;
M9%XCS.P-+_Q$Y?BL,3I!135K9)EIP]#$!I:EKTCRJGT\BH)[=3D`J)WXRNX,
M,?"C20H1&B$F[W6EW?*R?B\U1KR68K^'.!0<#\V<\?EDQ;P[7)+4X8N3EB<L
M:SK%<0?8BV;\EBOWLM0)UME1G.ZS`XW=A?^K>B_F)F,UD;>^:CE^$6EF_-IK
MANE[KQG&KR)"/K2H$'H[/(@ND5,:.OA*QEP9YQNK::(Z!&P-C464D[%D@,^S
MT+C(8Q'W9"(UBF<6F1#15#X>O:['/L`(1QSH+C5+RTA8.DFPX>N%)RONE3<0
M&V<_605^.HDS97C7IAV8)OJ&(2=C+9PIB=?UKB5J:@`;Z$?#!5)W8$*.N\A2
M=9Q!CKN*9W[(`K6S)*%#:!^:P56.;)_Q1^6<58XSZ7-RI*;;D:B18>&,S+(W
MPOGK23NXY=-8>19*CM>MZQ6PF*N[?0G[.8O.09%UTVMB('W\B^(@ZS6J^TOF
MW^N%P6_M!$>)U$QMK'&&*0-N(H^2U[T->&R:99\2AQN-XDA]7I@$#YEN0UV.
M*V-_]5 at OPOO0)S.N=&BK4)W-E6`_S$^H:3KDL0Z=,SP-:)(49:'CA&C23<&K
M=7GHH+I*@PZJ#']?FV59)`W7"RAXVH&T at J;J!7;3('\8`&#*Z[`0JD158KO@
MQH6'`VJC<7^-U?.G4<@\3QFM7*=H`XWJ</T(<!NN7N"N$S#PQM-N_ZAS1(?)
M4C[K8-@\CZ>1)JJV3K_D"7#/B[M>C'E#[L?J;=X;>.T6 at 3K>I(NM$S0];0T\
MRI9+_110C?)3R*"D8GT\_(`MIS-FLX]_!UZYC5_ at NZFR:\]1LD_&#MXDS_*/
M"1#\E?8*/%M/6XH5QADWRK/1YM8<BQNF,_UL7HXV4*H"J=:F'#5*XRB\U1V!
MF(-U#E$.N^'LSE`B]/G7FAA9Z0,>XZ4^8K[\7;14AW17"0-X.8W[LSL!1=3D
M+OF&<!0?1DM?/=E5H[P/_7NDJ9:#&P@&2;#\;MEC>4FE/HF2T!,N#8%ADZN>
MSP,C[2 at 9_1E73C@V$&R2&/:5F]&W\->XD\DB1]>:G4\["89*N\VQ2:BXB=B$
M9+[U(2=<1+-,W;T6R#/_KR8P7?1S#AL]!>IEW`)8-"P3+&Y,4QQQ7<NF041W
M#NV8JD8GTNPO*X#@ID:A+L0^Q_9$^+%)M'I.T,?`YT"3$W=\`,9/Y5]SWT1)
M5#DI&T1=?YK#.E&8^F&F&<D6:(PQ&:FK:B,?9M`DG<`P67$16!4N-N]J%*;`
MPHA^J#F=H0*=]$,1M&Z4:^G'3[KAO0\^B2XFOF"U/8\GB3\-^`2<"2.*/GBX
M0&)DI.Z$HE(_##RS''JS@&$AGE0^]6&DK^X32TZD'A,5.#Q!V`3W@!/8NMF>
MLL3`^S;P42]8&OMXL4\XU)P!DR/E'V/@6QYRS4)ACM<TU at O?BZ,?V3WT)1_0
MJP6S.A&79N-Y/A,>*VND1C[[8+`E8H-Q&:$C+6]7-V>-5NI-[#O@)KL*:C2#
M'24U?'<^MX?CJ0+F%(NZ^%$W/JFC/US88*UD_^0',TW@<PT_./M@<O+T-L>N
MNH!B\]8#2Z7#;D=M'ZKH*_5NC!K6P.FHX7$_6Z`.Y=N%!W_$F+)I-<C$B4V5
MM'&MRK",Y?&`H+;0"5LP4*ET9UXU4,8VI',^3RS3Z8NKJ<WQ\LH"RT3PIB\6
M1KI#U#?+&>.0`LNDUB2KDFMGC_K+&-:<'XUV>57QNOV.5:QN<V$-:]-5_FAX
M]E"5\:-VWV<-C0;+,D\_VO6I/^IW+];`3^`"+_-=N:8DW=IG#6NA!09[%ZMP
M[<[$38W4;5"LX at UVZE;@'R[PI_O(/=RQ;>A`E"Q+I5LG9D4`\X=GC:C#T+98
MXGTRSSY_]JHN>1;J6XZLQ;5KLRP_\+AYA+V#JAO--U&,4M$-"J(9#\3)3<?+
MS+OCDTAWI%&%T?7#V2*ZYV%1R#26JJ!WT$9/JI"F)H99(A=9AP5>%F2J%>C=
M>-,$H)#S%U<MHS=2[)-13:(W4BR2,:Z/$FTFW&!NH8HVUG/-64N7X`?9M<\&
MAJ)YE at R=TU$"12 at -"WBHGC%<X_5MJ\1>K32G4)1([7D5)5)K0DNDKB=?`_5=
M<XG5:(.\6GB\X)'-Y&B-U1$Q_^I7K.*[F28H8AO=@Y)1C^?J''W0?`TOEZ;\
M7[4S7'66KPPPW,#BY+G2F-3P;UFF/ON[AC[S\2QCR+M.*:HDW&6F6<S9Q.MG
M3FN,GS,VPXUFWN2:>SY&,VFF at FML&\6]YHD_RRRR=N,'211J5I)V,*YMJ at 5*
M3%GC_>4JBE/Q3S$=&V;+(W^Y,H##STO=N?P;\&$<J>-AZW#=?6D;\`]J]W<#
MC9/9+TR+1G9^)D!-_,P:*4+WEAS/;34K[ZF?)J;0*`HLH)R%DX3_DHGNS)`F
ME$7N-K9AP$M$*RN&N4)Z8C'#$#SS[_T9-RW0!9 at 08RAJK1D6/.*)"!@S at V.0
MKRDR,<WODL5WT!6:@4-NK(/F]99O[#!$1Z%I<6$LK5C:,H6+GM<,O,(%2$,H
MKM>;0A\2X[I8Q5RLGAG#_>4$#R$VAYL6]`K-NCETPO*8>@N*A].A- at 2.9\#8
M$*`M<E/+)`BKA&>SR(:1A;Z803*C6- at 1A+)'8W#`+#0]YLGDEXP9PWUO,;$P
M/]#OF")Q##-)U]=-F/*,#1%T37CJAFEK%5DQ;4\/TMTP!T^FZ%O9X"VZ5G2`
M#%P?N=B=\D/\#O['PN7;135T_W91#5W!750SMW`7T]A%K)'-7,`+=L>[T*Y,
MWLI,XB(*7L;\0;E90R)]\<=@[UT=K]UXF</%7HT).!5XJX\6'?-5P%171>:X
M9)'-YX%Z at TFIX"]'(JK$R+E_B0M:ZH%]5;#V0*WKPKX:8";#Z$'Y2AM`E4A<
MT67 at 4&H#5C'8JSE%32 at 8/!873-XK0URK*)6P;#G1'(140A1BB@,8[OFD$T1)
MICR$8"RWE5O*4Z!Q'6F.)\*".R9.94[4I^"(0=,$=ZFJ;HO9*=0X%U)I5*9@
M-UZ1P#1 at 2:K)=;D!IAFRB'1[K,5N\$D at 5Y>;81C:JLD.O(W>:'D!,WTK1>D4
MF`E&Z/(X417!-E8E.!^G*B#KXPY5*#G[-U$W_ at I()4I]7^G;N2J>#Y\JR/"C
M.E'G2KE8`#]ZQ2DO_5E$FH#?.E(ON;S(1]F7R'!4;2'W$X8^PMP/>!-DH"SH
M@;J at -;?#Z_92BS-4%0L\ZE,+=2>PXAEHBFE7S30\RS<P*R5H]SA?YM,2"HBV
M4Q[&7%>0>5R9KA^LP51N@'Z93N-.RCM\U-Z+IXD$EG?W&'E)C1GI](Y[5YWW
M(]P?QMERPF:JA:D2K;V=?@,IY.HS40$;B!:_#:1*G(G`1!2"B<@<:2!4K0B[
MRM^TG)1`<4I0&L4P]CC6!'=NH+476&_@\^#4$.^P-<U1E6.<4!\/FC=-H:\^
ME7X#K:VD'06D at R]YRB:I7"#R(X9.DA6GV(1E5!DUHO+ at IR:"71)9&BV5#IV*
M9)44#APCC+K2:U<#S3ZYD;?@,T)Z.<\^01@,>:I#\34\^P3E47I,W"%LG6J5
M;)5T>0FT39(&-T?O8"D/;&O`6R4PP+LD+1,I.%8)#=67"^U at C/@O5MD"1\+&
MB"NH5MD$+GBP&"1OG6;)LRX76X)<K[7)7DFR2VH1Q2G:JTPSJ6#`M4O87U(K
M?X-JFVRFG4#1\*P2'"N&O+OAEN+5KN at NO%T"]ET$I7=`3T4[9ZWQ5G0\[4T:
M:]PX]N^[BIFE+:3V94NH(D9T&ZH56PW+!,OTPHK1@>YMY:M&L-N<B\RD]]DB
M6">AN^]53;,J-Q.=V"IG"T)1S#I*^VQH.&9")&B^MV!AR(.)G'0RI!EZ]H at 5
MYR499=O&E&_BC;+2#56'K%2`9 at .P`FE5=`/-'.$VU$CL$,R><KJP at C7250$$
M[W6R;)I=K`$]CC/59NF/\`AU0^Q:0?7XR[&IZB/25K*ISB/61I,W\48)&$TG
ME$`CD8:*68$:B2W/;3`1;'#(0P6=Z[R)8-/F at 5BCYB&`)LU#`O/F82;5M"T)
M?9=MR42P:;/;:!PZT4;%I9]T!B"X+$$$G87:90+4.;M-TFRA46P$ALJ%``GJ
M^1IWJL!H!45>EDRX-OLE3B=0<UQ^%:03-8A49XQ7,#I!VNJ6=][KIJ+7*%V"
M\C:J]#$U4PFE)EK<H+$3WKS9)(>O+[U0K at OE:/W!E3G0J/GH+Z,`T"Q:,C\\
M9H]^M%0;^QS)\;IYG8G)L>+2M#G3S#GDX"`_*L@`JENB7R/%@(YKWJRSBJ.9
MVOG.(<J*.?<3+^:J@]BK("-1)T:R5%>O5&"*[8HUE'H=R%>7>T]Y, at X"LE"=
M$0'0B5`;:`'0B5!7N``H18C?2AD2H6[,VC5[``W\N=JK$0!E.E>A6BWQN5+`
MT%LICNHK`&H1FN,:UQ`#,>J646"4 at HR,J-:`CM`RJ'.30Y29$1AUP\@A>C'J
MQI%#]&+4#61D8!''ZMH>)=E24W("H<XJ0-3E-M8HE)2 at A6A*52"40MZO-/4+
M(C1E+A#JG`HG2C,6PYQH`-IW4><4GRL%Z&(#O"A,)_`K2=5]]R(*O+GN%I;\
MC90=_%S7+TF$\J40HD]&4[0(T3 at C<VWGA`<ZJF5$R@,""Y='4R0&%JFCMT@=
MI47J=`;ZT4$.Z at 6L<?$_ARBBV*H(M9#F:+,*0"U"T;'4WUB)$2_<C(`?S5-%
M)IM=O>*I at MP<TED\59#?<5PF;J;+YPH!&K<*(<VAD,53A7Q-Y36'S!9/%;+%
M>0K-;-5Q"^)YS$*O:=A;`:A$-`<6EH\5])NYJN[PJ8+L1?EU8(U+;T+S<1^,
MG_J-:X@"U+SC`!_?\C!NO&$%`4L\\K'Y<9)-FZ<Q$8`1VYYBL6,81QC,+2_.
M/IZS))T$?JB\D+E.*8ZXGN3[89L*8X.5))$WF4=!4RW5X1YH"P\F,_]^LHRL
M*'/58>L[&<6%;62F60GD''"F#/%BFSBW2X3+&'OP89:@2).TN55O5BID3>90
M at Q?[*S08#S!^XXG>553B>XW-I<`MGE:H];I$H07K$1B:O.3I0JM3S2<I%`C5
MN++`X(;4U)_[/&YR:0JD07DA)!#"=$"\A*[YAO,")BZN-$AW"7W:1'%SUS"#
M;\:+IV(?BPZFZ,9*#`Z/=1B\!Z?)5RA!>.,3;_1**UE?BJU.8C.K"9:O&AMD
MM3C\<-YDS6NX(&*-&EG%K5CSGIUZ/4!CUE9$LXXC)#]"^OA1714%3%>M!6ZJ
MBKRN(=&1,L'=QFS5V'=5 at 0O.&I6]A at -?/&J<%*Y!`_:KOK#KX,;0PAHV9$L^
M25;-T]@U=#3%4XU,D"O6W,_7<'F,JA$VYFEC%&P-:5I2AH641%EL5D!)EAA5
M??*TG$9&^@[&PDP]L]BL_:A;(PPN8MSY'_#[YCZZ!.H:HP!AW_1+%C6N'520
M<6.`:064IK$_U<.R-)I,%;UUB?3$(8FJ[3<5;!1";R"O7M5G-?<$#'/L-U]&
M6P=-O*7^K00PRM)5IFRO:ZRF2UT#P>YK at 4$$I:JO<+6/5,)";EKBTD`II\RJ
MX+1YVUX%EH&3,PG43D`%J>T\*UCE8M\:K+H"<P,UR574$*W8[+L)->BN!!IK
M"IS\Q*"Z$KPHQ*#9)7?^2GD/:,5V at 5<"';#":5Y;+[4IO!@<RM.?P=5=!N%?
M5?(J6&^5':8^#*8.;Y4J6*$L`SQV7EE<5724J%VE"A9/6UH&AR^.E#JV13`$
MBV(Y/#GZKFE*=S=ABD>"'WKRG`D;HE=<WVE#6JT.0_Y at 2U',(#36MW at O%6N(
M&JSM-"6*/VJBM"M8V3Z+>\JUEK)*TAN@"MJ3MX'JT7@;>WXNM at HL3P\1(\2)
MQF3E4%W9Y3#%W$$%!2;=]]3EFR.7_N.\<<*X"A2V7UE`!3`6\2,&2*@AP\)!
MI#B%R0RKJ?>B<J([;BY68U+%/@3]!`-"P\;I1_$83(>X=T,%$0I^F]]0I`.J
MYK`$J/D<E?*YSC5*.(L]Y;`H\6^5[Y1$<>.:H0"D:#.4_4Z*`'6!Z,I"[B31
M([3>1;I0I],\5U\^Q[D/M2;I=/*N\5$FKAQ1NQ&JI1B9O,9DL4<Q0ZF":#L6
M+YIQ4'0U1.L6SOQ$<?B4A&#GH@)PO"M.!<#I;W&ZH-+XW$:*J6@$^-"]L""8
MK)3#;778G80HA at IR@V":'`]^4JR*;J(:%H"J,(5.5&'P=";F=@VP8,2:BJ(*
M,Q+7'PSP9W(7<+">ZI->MDAX$"<4JBU<5VJ(-RDVQ#VP9-%\Q>M.J"[YBVBF
MGGS<0(Y>O@#CIBVT`FR.'1M#FZ*/-E&Z5]>$DJUQ!H4S>FF`T&4(RE8OI3&&
M9(W)_Z$%:M]JK!6QQ*+6B5F)E1`=2G/25U6[]8U*W7_59&EMBX'ATZHD0AK$
MC'N#XRSU&[L%?+Z*&AU_?*P:&>'S=-Y41^)I<\.3CQL[&I%UI<>-B)FG\+L^
M]H['410D^<)[T[)["9L5IZJIMPB7>#Q[6S5G4P7BG";XF890/#?0,!/%$KFR
MJ$HTGLD,`TU3X1Z+4XS%:L89[YC8B6W8+I%C.U%C8,O'S=T4&J"X;46#T=CL
MC]H-%(@0U6?^EA)^YH?@<4W&,6_>T%Y!QU&F.#1L#<2K>?6HXBQ!@Y1[43!3
M!"NM at 1@Q=ZF':;;^[0!J1;:]QMV=:]!E"B6MAPUE8S$!1JM!LS^V!AHIS_6R
M^>2[-4H5]E5!P8M.>E',FR,8JZ4,784"UNX<WUR]GMQ<-49X2E"[<XJH1J>D
M@@J4&T5+X)L)_-*BOD74=SH8RM*")CJ#`:@.C#2 at X083EC5&/DKD>4?]_-T[
MS7,PPTKU`HS>>B%(J7^B?D^A>'0Z<`JU^T8'>HZU\5I;::]`E at J%AP#?XF_E
M:8LE4-2;N'K21*86<]9\R&15SKFZ<Q$P/TR5H7PE,'V($HP2:]S`_5%$:^=7
M*$[A2]/NILXZ'T8/$S9-HD!QT.(VJW"2K)EX4V86-!Z0MH47QS_C05R_FJ<Q
MF.0;%TT)%SQEW4<_:1[2;%$NX3V:-V]NP?4-<P.O;*,;6!8VGARV$SP9\16+
M=1[3!@_\11)M'G#ED0@[*!A2T'SX[19A!/!D[O/$7AL);W33LT_FIJ?V(.IH
MZ'C\<-(X!MV6#H]$L*/JN#!@O;_LC_\$><$K9W2H-HCT5*="E,A.X(/1,8,J
MKI2N@/#=F-^X:K(+J1-Z#FT[]J<9Q at _KL+VA'A)!\3SHDWW+PV',FQ?`=@"U
M(C.F?X5^Z,6<)8KIN1)ZP>-;E2+GJ`B&6%'HJRZ]6X-S/WV4*<;DVU"]V.9P
MT at V03I3:NDJ,\JK+-0H#G]O:;!4PG3CQ6X\*U0:KVM`U&1/M7'45R\>>L6/!
M<;DW4=DY0'0BR+W*Y1*8Y3+3CNAQ3Y9J4U8.\9>ZY"Z91O\`H[XM4F+T?;QZ
M at U<.8,N$JQH98,`A;3X/`B#B"DGX/5.VA1RES76.4V9<8O!J\T!Y,F0U<YG.
M+RB0>!\FKFKID**5^6FF[<_]<";O>%?[>PCK=JZUF`$+;S.F-*,2J#C-OL28
M>(H"I_$0$8,VS%<['@@;:R9^).K\*61+I30#55)F6MT*U3O4`'#3>*H"//RH
M?!C%*H71WK2"K7*]]ZQ9T#P+5>6'4\FZ&=R5VGO3K'$`(M5=9@*83),*7CBB
M'-.K'FI&\.+YR%=ZBF=X+ZE"7_,Y&0.(+C?E]([RG33WU501S4*ZJ\0/E(:K
MISQ`4``>^6REG-!0KUM]+*8!<?REF:)4#]'ZX=S at G37]M^)RD.*IFCSYV.NH
M!0A$LQ!%6`(\O8IG/XNP`"5$.4M_I555(4&GIP*DVH(+F*%ZLOCGH;K1_ZQJ
M]>/VV]'F][B;IPRD?7ET>O1B\OCMZ\-I,L/8D?4J\NVOELS>U<">A-O:[4GC
M,8&433GII8;VK'>4HI`G$%G32*2/!`Z&%]FQD&$!A[*V0(/FV*#'8QLTZ(I=
MQH<6\'=6[RG4P@)OARZ:NP7E8^_ at CS,_CI>M#<[4#QN>8+!>[$\;GO+4:W at 2
M^--C#&E.%,^GL;A6^?@M;F<\D_]C`&</Z?O4E[ZA'JY`S",LON;GPN]N?BP6
M\Q7/H>5%BL>)%_LK9?HI?_3#5:;"-#S!'D2>T*@&*)Y"LU/3L5TJGD([U/"Q
MI38_AI:)(_-BKD2+U`#,Y*B?#K7)#!6/W^'%=7CRY)#%#+X,3/*T1=)@\3I>
M4[D"^XXMPC,6,F]!I)F at S>JQ`C=`:2!BZD*'Z8X/AW&41EYD7&A5C at 8Z'K3S
M6[<,@/VPR9)641=\&<5/>J`&,6!IZGO<])USN`8EYS\-1:[7+XR`.'P-C#*@
MPX2^L2XB5 at .Y.3$5=G.B`1C*,6]*VE;4&1NG"E`-HIVE"[&6,C,!&B:+6!WD
M480E\,102TN\!G?&`M\TFXC5%2`&'D#=F5??FF$&U*#6=]&:9F#-,.F?-!@P
MF>`.Z03!<#N.];:]&O&HA^H16LB5SJ"J7,%22CV(T0BM!:5<5ZA]W"C/'QDJ
M26*<>I6D[1V6TQDS[TL0K6NDP2V?QDP,8 at RAQ2%=AG!3`R3ANG>2>WO*OZ9%
M4:>9H36H"P:C-9TMN/"]./J1W;/CLP_&4(.^>@W^T1SYX<(8:UBN)4&'*V_Y
MT0`O66B5 at 0*O at V7+*8_'\BXL4]$5CJX-+U=1G(HI"R.@/)8EY8>F##5(_;23
M7TNK154N437"5NX7,\+K.L[.YHU01O#VF:9/6=_Y88+38DS>PKC3E&`M1A[]
MKX.I)@`Z&B<5YPF;G];.\]/C5(C\?#`=)#^X2`?#SE.'69_:H$.*8PQT(+GG
M78-2/*[L>C)!]0>JBJGOZC,`*B#CGBJECSVMY_716/,_ZM2^7*@SE:9SX<3*
MKDZ&VL/;BETTRUJ-HX;J1M65>"8U2MG4BY`37;;]4`UI?MCP1+UR8DU2$78_
M._CRR^'5]?C\JC/Z$C[X][Q__>67Q?RU.%&Q-FMSE)]5=,QQ:A[\<[J$5<P/
MQ0YX>QD!PSA',45NS<W_$MF%NAVM9G-[MMSP3TMYR6=^MB22DR4+`B)7CO%3
M[E9PA<H=>0E!::JK-$=_A2[.6L)9E(6SA)AYL2!/)1>G>XF#,\WI]>EZ>KMK
MD$-H?75)5V\GLN>W+):ZE.NWDVX^U'>5LX?<P#N-Q<DQ;IGY&8]YG+3+`Q]=
M9%%,W?9+Q2QTE8%;=QUKR%4$S?C695!,<%T"R1#715#,\5:%[*7=7&3!Y"V+
MH6H<,T2S[ULJ(F\V=,D(O:O8D+./4A&9<:UH]S*YWH,)H'9C5X/#8CDAG^QQ
MZ,L4PB@=VK8XDKG=%A/S_`@I=U&+*'@9\X=D+\)(UF];#,T$;LLAV<%M,?E^
M#O?2H=FP;4$.-FA'KL2?=9CW'MY32ER?&+*'FEQD\[D\D]1=&'SU<L33;+4?
M41UYQ*JS+'F2XAV/Y17)[@(Q>+N+6PWV5&0D!WA'7;I;^OV8^'W9]KUE:+]Y
MNASEALM)EZJ"G*2X=GV5\`)+![TNQ+6/PIV+KOT3_.?:-^'M;K^`E1V)4$LW
M0?NH7O?.#>^B$[<V^;_*[9Q.^=E/'XF%P^-R at ZE;C;O;O;S2W?(A-X32153"
M*O=C]G8)=#1_%9&]+!21/G@(QW[>&G<`#O`8HOV(<S6,.\)<Z0:R(LS54%9$
M.1O,BBQ7PUE]0V>;51&V'X-3$;C^YRA;#>2Q5WMY[>K6V_UELON8[C.31;.5
M>^+V(I(T1]\@"V.PQ7U.>R[%_<C[P+$?'>TO at P,_Y"R>[\V$MK,]698]=*H5
M:=A'\-D>RVW]3_>V`4.P?76X-5&N72T*PU_#.)JZOE]^BCQ=@'-GBD+V,;TF
M!.UG<DV(<NZ-48A[/XQ2G'M@%.(\YI"EXMZ#%^HK#K9QS`[^NHGBV8OG^Y"$
M6X%<Y>S)*Q%EO;^)PO(5H:-R5H$]SC:6^7)N(GN9KRRSXSI;60IRGJL4DO8W
M4RG$[6.><EU4KK.4LO[<W8K+='&-9V#1<](9I<S%];T6DQ9.Q>J8`^=.J]@U
MXR`#CUFFLYU[3-?.\G+4:;M48/=GMQ:Z>%IA!90'T;KH8Q'JY;*&@$&CL>ML
MG+O;,,_F;H71&7%TX%T4VW?1RPOF#5 at 6^R[%Z.B@[,<WR?].Q`D_],R(8[WV
M49QN_:&;M<+Y<U=S>^FVEEEIGTXE<3F2,>8NZNDZSY7_=2N.7A!%3KTX-+)A
M].!:K?)0*`?5\H/4:2(.W^.<SQTD8(Q1XG'P*<#%<S$\&X*<]+1[S\.KV<Q!
MPKZZUW=[*Y^AHV'?@_<,)F0?90+>DW,;'F13EV[Z<N3BOW7<>GD\KM;-A1==
MBIM>HOEQM&#.SE)NOIQ>Q#D3HB3<;.`P"IX<Z*[3HSB<H+,Q<!T/@+<4L3X'
M at S[]O4,&8=Y[+852D&LV95R\9I/&I&LZ942Z9 at _CB."655Z=-/1:\^F#AK4,
MDF-8S4)D/1NW9H_XTK]%";:6I%*#M/[UYL2A`57)A)93.4W(+C@!B)36`K2;
M$WL.J6D!C]*F\,U(C0&(]%8`9)+Z`X]B\[!L:-HJ#E-R,/@U.L76HP#PG\1)
MMY8M%:D_\7C*XRB9G+4O*?QK[F6DA+N/*0_QK:T-3'G.U62830/?=FE&EMC(
M at 7R5/K"G:V[M9`GRG]B"!='2=NE-<$G=>2W'DS-F.P at 4`CXNHNQM%`1+%MK.
M/PG^!6 at XH^6=9I`%M</CU)_[?-9=,M_:F4`))!<(B7@,^.0BL9TF$]SA*8E%
M4BF:EX9,DH.&Q!'NOB=IX5J-:<:*Z-4AM1VRX%>RI?K)Q33W/]`M)+VL'3Q8
MI-]$T8"1]`I,LT.N\:U)W=$]8<0G.D"2EU[I"1RH5&L^'HQ(+=[!12H[7&J>
MQ9&O)"*EGZ^?V4?W[QKD$!R]NB2*)U"7T&%A:CWCO_LH0[N>N2Y#W,W+4C[K
MX-%>8/$B^P9<ETCILNL2?@I9DO)XS.+DSG>21.I=ZR(H^Y[K$BXYO,VLO+K$
M112ESZ]+(`74;50PJ1>OR^CYTRADGN=6O6<L\;U!=.MH7NA=[<XF;3U[O%%#
MV:^_!FYJ(G36>O=.7<8H6RXI`10;+\/]V#I*NBZ"U,'7170?5S'.+ON!]=KD
MIJ;8S^G5)2R$.7%4$:(C@`?]NO2E-3JE"T4!'6N/2]!('2X2BY57^R)']B5+
ML]AZE5-0WQ%K&KFD/K2:7UJRM.ZRJ%5:FJ3^%8FDOE`4+JW_0NH%7D9*2-*A
MAT$ZS016M9]`%>]*JU.B?1)7$]#M4YU.L$]"@/36)MWPWH^C<&D_*A52*.:J
M=C.#G4\OJ!2C(8BD9B^8E#8H\TIJ at X)*;TN"+B8&\YNQ"1G'7Z22HC4)[M(@
MN%MS$-%8WHS/;8<+ at CC/4DX]'0P$4,^MPR".+/1&W+;9BL`#W[L31UP[9'R<
MK:R]=PSZ\(,IC].)6+SU/6N7 at QBU`;2'*)Y-$K%UQ-K:8ZS'A\[D*F8>Y:63
M>V^"%]@2=KYQJJFL9YF2KKC??A19'[!`W.G`Y<D;L?4>*,SJV)Y#Z at V`=T9(
MRT';*5V/"+7-+YKMA_<L]IEU]XZV:6:_V5P4;!*%*;@7M at M%Y*T(0G5X,LU`
M86/K^0`,6WWT^"HE+!)C0"2#OBZD6"1Z#R\V\H`Z40SWQ9AD#4C3-75MH"3[
M<T(R0!=1&/DSRC2&"- at EI$B:Q:6&Y>>QK!3SA1MR">69!60_I1^FF8^-"SQ2
MZQE,[N+)BL1I/1AXA%!0A.9%=X`QHWYHNY*_T]:74V at 4!^UV`5^)@T8FE#EG
ML4\RAA>A&&+J:4S%;4]N)T)L22$>!E'(N<;J)`59%Q)H/GY- at CA$S$$`-4BZ
MX--.LJ])B,+;<__>K23IAT%M9H.>ATYDW[54^=0-Q`5_]!20-AX4?/+VWT)`
M?T;;2E/P+Z)99NV$5`50]Q\7?/(Y'563\"Y:1BY:0-ZN6TAX'_KWQ*T3FR((
M7EU5S)G_5W?;YI0#?(DP6OI.>NFV=W=+-YQ?R%'#R%M%"P'M_(Y&%UMY;>\+
M;?6]^]!ONHSNXRH*[2?6:Y79/W=22_OQ3\U:TG<NUBW^?A3:S9/R0S_EM/TZ
M53GHV2;^DC")6,\-#RB[9`M^),X!M,X"7 at 1-=Y%K;()K7+V&VLX-0R;%^4$>
MR6E!(L57$!DE]<_(I'<CR(8?0FXI[KTH'7)LAEMHAFMD!BTPXY@:5G-!#NF@
MQV10`R8KKVF[60RYQ&".XW,>1J03I9%,#>6 at QF-0PS&./W0H14H-X3 at F+NPA
MU2F(`X]^6?@A*6$,7R/0Q$$//E%_7.Z+<[TGSOU^N+*:VU/[64XI003J2;J]
M1R,DB+-4*.-`P29?N78\\A91'-\PGW;IV_&(KP;1[3O.K%UD02??;584&(5*
MOPZ-9/`DDWR!VC$6KCR"D*Z@#G>=4:V@)`\C/TSA:_<VMBX&$MWQDC7YFYY[
MVFQ`M0 at 36W>B;*",=KA=6>HT?7?I$XB!S[M5SE((C&Z#Z-:A6]H40.B7<A&X
M<$'+_;NK=^_LRR\G4WJ3G$JQYSEUC/M=J%D6[TMBDCJ#G$NQZ<7;\L36D!1%
M3#+E.9EN!:LJ2:TEDA&LJ@>]J*E9)IJQ`5M.9RXKJ9L"2%>/"Q&TF\<%E7IU
MN"#3;@X75`Q6...I[64X.9MX[;C at TFX=E^]+O"Y<D%UN"Q<".M&2>*544>;B
M#XT[2N,HO"7<AI3S27:AHBN4"UTJ]/9J%?B>0]EUJ:I*,&HY4X:KC'F\M`V7
M*C3=R;"U/0_YTX!/ALS:)<Z%`//:^N2`"]^+HQ_9O8MQW2&#8%_74CZP(+.M
MQS7[QP\7J(6YNTH6(V^#P;E'EYSTPR2-,X\2QEF3TWWDGI!%%H)MXYK;&N-:
M)LA<2I^Y9I]]&*VL`[#7=#S-+6!I.[!=>JV4';<VQ6MRG]!Q5]005-G6C-8J
MC6`3UWR:Q[+F=Z(X=FI"-^`".+U!&P\5I1<@Q>O:?OTQO0"Z]]:K+6OR3WXP
MLW?`UGR2ZU<S.7YX.^G%;,D?HOANPF.Z_<J-()E/<44K1N0I2?DR/]V1+ at 4\
M2KHJT^($*KI,\J at KU8EK&H&C/E]9WX2KT">7/JF=/9(N?*LTS?F<>RE&]=-%
M4/=X5'O'RP at M9#>.K4-JZW:V9S_ at J#1/)RM-'Z]5>DI'/P&4Z9S/\5S&>_J+
M2)V at 5\/"AR$`-+&I'S+[$.G:R[@9FQ_Q?!>Z5F+/YU(0PMH[MPU0"1<3T8E"
MPGV:%65PZ.ZP.?5#VW/(U_QS[M%[.R at WXD5`FUX[OL:(S>EBG,S*C_L8"&[V
M.FZEZM8LB+,,6X,A![6:NXV)UTZ$0Z?I5J%G'UPE_$A4ZS,6^`[S+'4Z88I%
M"*!-!`@J91POT[0?0$L>FUI7DR""GHK8VC:4U2WE)!$AA3;\%53BP%5PVX\C
MO`>;0J6,5P61,,X4/-(043`I`S)!I#@VLG!(`R!!O03C3ZM*FJW)E=@#2QFB
M&V3K`Y4Z2'#J!9?ND1<JS$GI4MS.AA9/ZVR%,)KGE[^Y<)VH]4VRDMBGDHA$
M`^72_1%=&&FDZ&V)LJ90&D;K^<-HQ at -QF(W+JLH.(91EE;68B\R[XZ,GPK5_
M%2&DN?PUO0O97T3W/,1\D*60IF77=-J\YII/FDNLUD.'!5X69-8CVTH)T";S
M=B@#.0L.DS9K(?8;1"IDTD)WDS*Z-(I*C;J(H0[O&)@6E\/*- at 50S(P4,?##
M86Q]06I.)ID6295_WO*0V^].R460;(JDTNR)Y))L29YCF at V09(?66RURXDO3
M%'W4'1^*L_"]*'!0]]UB"$I?$T2[B*@F(K\I!KYSD4)I1C4!M&%O3<0PB[T%
M2YRR06F0-0&D9EF30&F<&S6*Y1"FDVM^Z^/^<T)45+U02&V^)J+#8NCU`CQ+
M9U^YHAN3FAAQ$8FC]LLK+QR%4#>2BB at RE[VD&P(HVTFE"'B5E?U-Y3F9M#M4
M4 at DS?3ESA)/U-.J`=/5U3B9N3)7D]AE_M#Z47E)_SB*\EX(P!L\%D/:V2JJX
M>81&I6UNE5S2/M6\BNG:,?)OEVR2GU)`+&K:GE=)QN5<8L[)RN6P7U8*N(IG
M?L@"ZRVSDDT[-#VW(#$G- at BBU;YDH6L$[+8(@N4NA5#,;TDF&."22S.%)9UB
MD$HRR:Z4;(IE*<G=7S+_G at 4\M#X1KA1!69-8EQO)NI3TJY7]7'M)IAN*4 at 1E
MKK\D$^:\UY7NV-YI*Z%KM2'-1K^_[(__Y'+30IU/N6I!2&@'060;+%5A]NW7
M.'*VTU8'*6/L+WG<CF-F>UJ<I(O?DY1YJ4\Y_EP*N>;,6Y"8P^'UE>T)6I+9
MB3+<BDNK-M*U&#+#<?17^X4TR;T<#0FW'A9%'-HONTHJ[<[=BGZ?V4]>Y"GC
MJ<3V1VI*,O$&$L'M#4E)#OPY+:^D*T\J[>^"^;9S#E7+16RVM/M6JJV/Q"5=
MUB)37;`PM.ZD)/><LQF4E6W(6M'J_2CV4YJ)Q46`&-K at B%N'+N3:1;ND1G#?
ML7"6+-@=K0&+U71<_><Q+>LW/?MIX+QAA/;S<.M6/%G9K[Q(ML.U/H(O[K.G
MV?AQ=,=IKRPZ8#;U`ZJ.BM_$=I5"?TC3#LIERX7]L0Z:S$N*,AHOTUP25;*P
M'^V,UDM0=R+GO6$$O<0#L8H&MI/'16&%.)GN6P?CY'T$\>8V01YETR1MTTKZ
M(DN)/?DE3PDAT7EI!3ZU)>!-YS2=I-R'31^K.:TM8H6Z+'+6^>0<D%83!9.T
M?B>8M(4[026MV`GF>S%S9NU6YN30G]OV0I+9%A/;Q&2)JX&"Z[!F5WEE8L;%
M;P<F,=DV816AJAU4U?"M>[$ZE_BZU$,I_&G,XB>7XW8V)5#.V\EEY'\M"Z!@
M.YZLD4MQOIBT$$0Z/2CG_IQ%*:'++. at N=PT6,HB3&P6=>`!2S@;W*O7#S-[=
M+P20CE#*N;13D'(RZ1BDG$NZW:-\8]HA2H76LW32#T58/;7('0YBRB4X;HDM
MBQ',-_%`IR(C]I>4K4T8];:P2E40 at LM*_2.&LURU76)9JFQ*(`OP28$HP".%
M1@!O%`76F[^11PN*`&([\:UC=(`&/P06*?P"2Y,6_9#GT_X:<R`ZQ"\4I4I*
MEQ:X4&H.*4UBZQP/VL<7?!DY.6J[A!#::D7,!1Z3PN,[^[*H"+D>=L!;8TN>
MVD_"-HIQS!"=7!3)GO(B_^`"+$=G2O9I[@)=16R^(EG6,(X\/LMBWL?EECGS
M".VJ(H[2AVP5SIZJCM(O[6I;9`FDCJK"IW0A&\UH#YI*+W]23U9_ at 8I"."CY
MSD9,ED;O+M7M;G^MAJYQ]-[1K5MT[0_/LOF<QXZ9V!3BEA?YAU`7=3ZI!><B
MJ-8XIU,-:$XGF[^<3S5_1>[)YB<7<.Y:@VZ&8B,7+GK at T*S[H>?8JFH2B$T*
M90P]#`DA%`*2J:J,W+[U108%D]P"D$Q5?_&Z9-U'MIO>%D5&4E at D4ZV6*#2Z
MIH_2>49T[=T*#'Y(;YOB\7E12+E=<_V^]CS,+BE!TG`?B4[F:UU*E#+V*0:G
M[1$=3*KF4ZT;V3Y1;5->,B3U<;%I/F$1\S);3GD\7G"W29_=8B@[5JJ"2+M6
MJ@*(NT^J(D@[4*H":+M0JA)(.U&J`D at +/C4)8&%Z]A==UPN2MB6E*N+&#Y(H
MM+],O2:DFP4\[O%X:7UF84W,6Y8E3D4J;W7W?Z6,T^LYH>^WV2[<:\>W at LKA
MPOP1=L'45):\N%83<\T3?Y8YZ[[M+8;UBA:'B#F*L-WNN?D&[B8`HTRO9K;K
ME75#1MQ=597Q<\9F>+J`-[GFGK^*(\]^*7G;'K@(Z(B+8&W[J>YC&C/14ARZ
MW5U"")UN10RMQZP(H/27%3JIMZSP*7UE-?>D3JHB@&Z,*T(H?D^U#*B;&-,S
MZ_TS,P9&^FG%)VR:X&Z!:$Y8SBB%>-&,WW*"ZPQY%]?-VJZ5ANDYMST1&WHV
MX at +9.S\`LY%..HO(MY\*AP*:66=6;$2VY$`UKB9!=.L3IC?$%BQKEB]VV_OW
M?+)BWAWNLK,6<>[?^S/K'B[F#Z`V?+*(`JF]A(1SY25$5/)4K(O<4R8W0I9.
M$G^)'2"AQ4$'1CC6K&RG,5^1&WMQCSE4=B>(DLSZMF:B>7L[)T0IPH\E8Q@]
M6+L3E7)E@?\K91Z\,$H3F;XU/^8>!G.2F]]&^I8-(5M.R(?6V-^ML;8VY/ZF
M[`.LU6D2R"MB2*I(,,>V^[M*7<1>@-01CPJK9-T74[KP=66Z-![//A(3WM3-
MY-LQ!W/;FDRPA\`8,D*)>%&T at O\G=HEX2O@<SYOGLTG14FS508Z:)U!@%&,V
MSX`+SCSAU9-5X*>3&$:%]MRWUI64W\!%,7]NHP1;];/?Y3)DA+W>T`_-LY!N
MF(<Q)V2UHFRVUB>=S,5$GH,SADPTN_;,)4^@RZ7V*#,O)>U/6\7^$NJ)[BS0
M)AG2.<5-EH[N)'D*4_9(-H0S3KI3G2?3#!JIK3^T6A,=QYADW2#MM+1N/J39
MGE]XX!.T-J.J`&5*J1 at 43MZ'X)K$":&18`]$J+AT08F[Q8D0_YZZERN54Q-T
M at T`XN*6<\;%7;=(<7]VG\;(XL>]$I5^R+W_*WI8%C-;-].6.+4H'N8HH6VNO
M\7HT%LXF/9\'UEND*`-]/+W49>:2903+(KIORD[<?+AL[Y_2K^"Q;J#EO!C%
M$ME[C4[VYUKP"=T=P2>H^/MT=2._*3JLZ)<O3NVYTX`E*<V"B"0G-.YV7VK;
M(RX)+9MVAL*E=5!!SSH\+5EQSY_[GIQO(VO"[@YM'].Y]LV/$C-W+3M3<U*G
M0SUXI<:T7%]%+J?>I+))IJ7="YCEWL6<:#O#D-,L!^`YRW;$D=.LAQ`YS]:K
MSVFC-.;,<O11O*"UWYD3:;UVM3(HV;4S9555LZ\+^Q6=2B8I+Y=7HQW/;@H6
M&7;S@<B at -#G+<V20`C^6#$KSQ%2L:\?>,T*6W<@$&23#0;$:/=]R:""*FV0L
MK(<^0DG)YL7:`T;2S7QF3WK'8TZ at 85J$MD3364L*^$V>Y82FT$":K;1>_:[D
MD5)5]DW$@C$>4_VI*M/6F0(NW9';(-/2MK;!DF9OZ23/VMCEN;0W79)(-$22
M;-UQYN](:$[`I-0$J1HH=7`61;84PE0JTBSG;47)D;3#-C(`.71ULAZ/(@E^
M;.N6IGL431<J85V]^$I6I-X5=8A=8UI:1^22+?,FF99V?SZ_BIEG&S-0LNTY
M,/+I!"RQG-G:)%.8U!0S7(>5D?.$A(=Q%$26TQ at YU;;!Y#3+:8R<9;^VG1-M
MNY1UP3XGE8IU=Y3SA.+XGE4`4TZU[<R*DK'N,K9:)57=K'FT3J>J<<361;`Z
M89KY.(<,J5J=8%W5//M6%8'J\'Y(:5L]/T[2B3C!?3(0\>GV*FC?Y_8(X1`]
M2G`#DOH]8HAHCQ"IT".MAO>H2\E([-E&L?;(RY9%<=JG)UAV%.+:6%$D=@QK
M_Q1)BZ=5 at D<XDS.9JZ7EPJ'02UJCFT>$32BRM::K.+(.?.T1 at BI[Y/B]'BD0
M;L1_R8"0'/<'5%=[MPA+O[<FQ+;0:F1;TUHC6]O8&MO67M;S;6TX:W2:3:N)
M>&#)P@]MG)2=="NMK4F`GPGHS<S:,6^40JU(>P-3\@<_N;:CJ at 1J,P(9Y%8$
M7'(C`BZ]#0&9W(0PT_06!&S'!@02[+SF329-X;'(')3U(IJQP%5?-X1055:*
M(6N>I-.53_+)^I?GGJZ"4H"C%DHAY):?EX&#0CFJDK,2N1B?$PJ-K#`.JK(/
M)2&]K/5`H62.7A(-'!"IBGQ"3O(%V1I3TW1I<^"QD/-+*I_\'T3OBD*S7#>H
M\`@DLODD]UVH<>:T0:='M+,UIJ6)12YY56233$O;MGQS6O?1<D8[YUGW)3G/
MMDLHWLZZ0RC?S]*XYCQ:-U(F>DJK"0+)<HJHY-DVJKPL[2O<WGCG3%M34WDU
MZR*AJ*7==4#(H&GQ"F\.LGXC^"$PK).AMY.5W85(2+%VL8IJLM<'FM925)9B
MN*VM[\?><?]B2.R at -LF6'51.MRV;G&8_;9L3;<LUIYWS,+(^"S'G4JO%UOH4
M;VAM3G(BK='F9.M&F/-L3\?*:9V(4J#VS?<CU6_\2'<;/SIXC1^=G,:/I![V
M(\G3_$AS&#^2_$7)LCZ!4](&EF$H'XF^Z4<'%U-R\6)W^R-;)?>:+1-N<U9(
M3B.T>QFY,"+4>R=Z;W=4^D>JMYFKIY_81#CD^N(O"7D\\\.N9?L11^O2#<4&
MW=Y62`$$<R&)UUR<&V6KJY),,#>22+$XDMF)PGF0\=#JW,B233!993'1WE2>
MO,P"2XN7ER_%?$DJV8+EV298%,D4]V/[:4;5*9J9D&?@.3C1&WR"'RTE#.-H
M-;!:P5US+].8V[KADEG>'FTUFEKS*0,`R;3<=+<CRQ0R;>0AN93!1U&WXL`G
MXNNFONTX0C))(Q=)A>Z,Q4^3,:B5I?W)!5!&/Y)YO;0Z<K%2/:21D^3B7=:D
M1.FCKKR at XRBS.^]SS47']I+$+$Z$H-4M:L6D%\7<UJ_.^;THF-EM-UUSVQZM
M%=$ZATX$;9[>-VS0[;L&*>`#"^QN8"B9!.LLB2,<AEB6M&02C*0D4JR59!)L
M39Y7BL60U&[GFI+BV+[122+9SDCZ^5/(EK0*';#P-F,T-:(X at Y)I=^[N6A5(
MS;S=H;?Q*M>^@0/['8M36[</:.W.Z;<3^/4=@?D&B/:\FZM3X%G3"#8(6`0S
M(EYM0IB1!"+%^`"-8'GR at KRY>D.I\E=`?$TAOB[V1%A7!,5&HEJ_(Y3+:W@]
MFU56R2/;QJ)H;JYLUD`ED6+:@'9NWX`Z+)Z!.QZ((_*L-91J$&^NGJ-Y(2D;
MVA?+:NQ$89+&.*$T#;B+Q[53#,7SJ at H:@3>4S"$C>$M+%-@=F[4E[:9G/1:L
M"S@?1@][R<DU"VTNKM_F<V\RXBL6$R:MZY+$H>ZA.'_>1<Q at PA[]R.H2^"T9
M)*>Y7K][J1S25$5=!,D9KPJ at .>55"23GO"H`^G0_G%C.3FT4`\W/KS6YRC5-
M[LV.SP-.F#NO2W$8$E3%7/"4=1_]Q"J\<?N52)Y^5<)E%"^M]D1O2>B!A"Q@
M+B+V8\RHDPUU'<%CBJVN9MEIWO=DG_&PRPCW#?OAK:6BO+_LC_]$[](WZ/9=
MN11@/7&4T^"UO?YR9:F8DGP!=L(R3JGD]D,OYBRQVYY6LM_R<!ASNV"V2K:)
M:P*23N at _)5$L`+6I!5;D&A>F:1+6A4;C"UTY8U;GZVX7.H';&U)8G<"'MDC5
M;8)K(8D4ET(R":Y$KEC0=Y,JA>0X2.HY]*BQ/\W2R')R7])O>M8!HAM<`O%]
M:-U+Y"V'ZHKDNL^)%D/V4<RW/<Q__<;XFY;RTG*",F^J$1B)!U(/6C5P;F5%
MR[?]FDV>[RB,TBCT+>\97C=[DC=5[U(H.ITQ4B.2G;[EK(D=WO)\.F!8GC/W
MD1+6#J1Y%EIZ63_CF?26CFD^'V99QI8'X%42LI[UAKYQXH$?8&^5^J%E$R-;
M7FLK8G>!!1`^1K$EX\9F=P/@"3=DR#*VNR`#.!Z+\404RQ-T@>AVX026HF69
MH.Y1+FH"*O6.B8_6^SZ`87=V0&[")A][EDVQ:,.$YL]_R5C at I[Y]E,2<IIB4
M.13[ZZ*ECKC<%@T2Q!%BA#*EW?6,_<306L-*A2&]G.6)U!])VXN*?@EO?+5+
MK.<_\MG*L at D-K4/N['OG\GX<8D2A]927J"T[BO6QW++7(.@[9.[GC-EVZH09
M%/M-#K1#MX`H5MAM3S\MK<XD9;97?`(7;8:WN'/0*>L>S>6.3NSX*:LW+I=M
M"J.`E\Q9:ZB],TV8_,GL703*3%%WE?B![22&]1GAV92Z1EVGVIYBCV3Z$?J;
M;&+JUD>WYSP2R?[,]W5J=L=UYSR2+M`.[<^9Q&/6<[;U8>;%>Q+.3D?J8&AS
MHD%.L6607FH0+?DMLSSY0C!)&BV3LV5U+-U10:(U`I(F8_42"I"F_)9K)7D&
M2>7NT,CP%Z&:+1GV5R:(TK!OC)3ZI1L+65GV*8+-()!R"T!KR?;I"?VUO:R1
M?);1!M>R]Y9L^GD1._CD'*R/8[!R/-<";/N'-3._1H'$M7?IUUS"=?`=XOD3
M:RKAXO4BNY0KOCLN!U&L^>\B%G.KS=1K+N4BU`[E3(I*(=O;1DGN777>CYQ:
MXX8$4GN4,N1UCA,VLXR=J,HXR^9SJYF8'61RXC2+(+F=*$S],+-;GJP*H#5N
MR24V;TFF-?`\T\0F7JTOH3"TY%VLA)0@?KNJJYO*5YH-L0+=C(<L`EK2O81P
M$^\N`=9&\ZI]?#EV]$,V9=!\D5Q*VS86MTX?\7!&LUV%A$X4Q]Q+0VXUIUJ7
M08O:J\L@^E4[WL(A$P/"Y2T-14&NT975!HTZF>CJY6S+>+PZF>HKYG2BOUB\
M-]5GS/G7W./^/<&#*`0,F7?G4.E.?FMA2::)MV!AR"TO"VR4XFB3J/2R+AS>
M at MRWU9J"NR%Q5"=B!EQ[-_>>C;Q0L%N$2S[&L7]/&=%)-MV at 4A80:FRZ120M
M"=3HKO:H+'?+&;]=-4<7X&0%".L;.]^?0A^E4<QNJ>M\"CGDAE1(<O46"SGT
MHMV5$Z**%*+(+E<A@&XE"@EDUZL0X&!K"A%T at U-(R`<SCM7A8KL*&:X&K"P3
M%Q.R42S.^D$LU_:9^X"W)H-L15"*0V$@'0MB,K<--JG+<#5B*(-NP#9SX%"K
M;L-5E-`-;6+LZERZU2LJDDQVL'9(IULZ\=X.]@GY3H--%.`PV$2ZJVT4K;@<
M)KHV1L<!)XIP&'!66A%9F5RZB(MHQ at -OP;T[9Q.]2Q394E>$760=%GA9D)$-
M34T8J.[HB>PC5$31+7!%"-V&580X6*.*%+I1VEU9KB7C8.5J&8(OK"]R5^N.
MHQQ7^[?Y=GMI%NM2VI,T9W5T,6MC>!7;+6 at 5IU=<U65U6/::[.(:)+[-B0<[
M,DQ\86IU.8S8%E&<=A^Y)XZ\)M?4.6>S(/)L#G):DW$?<X1Y("=_S><7;+6R
M/!=D9PXH=!<3Z6`W1*Y'T$IG]!;F+_<P!'$>9/MX9HY40')[=2G$Q)>!8!A^
ML8?*(*DP,6H(J,.8STC$L>45EK4&YSIXSKL&)VOC4E=N7=-X8!_S("RUTSQ2
MI9WL2]V)W1QYKB%+HZ7UCJ_=EMZAZO9C+IT*@$2>XO$93I.K`_^>._0YU1SL
MP]^@R*`/^*H-WZ7PB,9V#Y:6[DG3/!O2L-AQU==YQ1<$]"(O2R:V&[!*^B"*
M;#9#ESR::@+QG-TF:;:P=^*!*X*5B2]*KN">3UO3I2^'EV]*(-(&2`[KYXYK
MYT4!4RJFT'P7+71H-33J>6AU%L>Z8JG^U"C)EO;EBRR;"XXEZ_W*YB1JR3GW
M$R_F*;>\AGF=31+Q_<J^3(;B3$Y*:F/[N?KW*_OB[\RSD&2K!O[<7BEI%G6$
M)_M8WB]=R22!1[3"-$LJVPTAEU*Y3NA4:UHO"^U;ZU5(ZH![J)C6)-O#0?,J
MH(?:9Z%]HZ-VG&@K*97MK2(RC]183VBU3<CC)4LG_5`LK]J/UT5>[16Z(VD4
M/4,FH6>5!M"6YN)D85]"?4&21>J0C?R8U+\6/@292'I+M/6TXIFCZ75X3_LF
MN?:R;)G$^=J\=5!*)PI)_;PL59K/1&'9MV'QV\4YH&@HK0Z(QE04"S4]0C70
M;"E]+$7;A"<TFN2>$8H2/32:8E+&4"[&FNS;V<]I]MSTDN)+6ET'4.U0:&-@
M6Q9M`F]$\)9Z5P-J.&Z=:CE%*LCD&=HM-C%U/'K5OK@(,ZP%SW987O"LA\D%
MT7:@7&;4>N!4,&F^<+5&"&]IWV<4U/Z<D!Z0[-6FC[]M2;2*)]4ZL<K%6]F7
MAH.:4&N;4OZDAMXGEHFM=;#&%S5\Z]>/[?GCS(_C94O5OQP/6)KZWGKW%E6`
M-4\LMPQ9#"K-`WKR-3'V[*O!(:[;!MCZEZLH3AURLB7+2<1>\K$_.4[T=VP1
MGK&0>8O]9&<MSTW,U>#EGC($DEP$6'/;C^*`8I[0\U^*L&;>G-!3O3FQSVB6
M.N at -LJU)_83%$_[(L'(<BK at FQIY],1PZI`UL:]+[T'>P&,BV)KF8**)9:@>W
M?!HSMZ:?"['F=L8#>L)`IBB"DQ;1NF3''MV:-8RC(+JEIRKY!.]G.9TY:)+D
M6],N?"^.?F3W#BF7(JR99RSPZ>DBVSZSV]O.'&384UD:NQA&R;>FC;KC0]#+
M-/(B!P^Y*L6^_8O[!1SLA^!;TRY9Z*C>A03[3JQV'2N-;LVB5R[>_^9(MS=:
M/G1\\9.#U9,"[+7IJNV at BE=M:\YXT#Z^X,O(Y677,DA4IW3E&9#[D$&B]D//
M+6T00.'96XML.>7Q>,&=:KHJQ9K<?2QBW^D96,NPI5KA.QVBQ4(BU=^77%N*
M'7X\)N8-B.3W$EQ;BA6^1^UA>@[CLY[]^*QGJ8=R1VR:'/<'Q!>L2J`1!S\Y
MICSXB<8#=Y81O<*Z#!K5*6$K$JZ!DE+;V.Y!X-I2K/!X>Q=U:"ZYMA1J4M1"
M_&A=AGA))$_\&3D]P;8N2H=!3DFW974B/Z2_IV#;DMH=<GKMCGT.PR2-\7*Z
M:4"<#=J48DMV&,H5;$N273=>O2K-GDEV."39FF/K4E+-MJ2ZS%IV[*UC'D!4
MNV^"*H"2W:OZ<>]T$42F8\(.D_BE!")Q\_A1-S%$=O7D0KH((G,/DZ-;DF@"
M""PWS:%HC>V0A%BSF\%L%+(UQX9P\&^?/I\^GSZ?/I\^GSZ?/I\^GSZ?/I\^
LGSZ?/I\^GSZ?/I\^GSZ?/I\^GSZ?/I\^GSZ?/I\^GSYNG_\/_\QM^`!P`P``
`
end


>Description:
>How-To-Repeat:
>Fix:
>Release-Note:
>Audit-Trail:
>Unformatted:



More information about the freebsd-ports-bugs mailing list