From: sater@cs.vu.nl (Hans van Staveren)
Subject: Salso db11rst (3/3)
Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
Date: Thu, 10 Sep 1992 19:08:08 GMT

M!U$7@)MWMKEFMFV69G=%MH1,>7@+P$Y8IU%.KF>AZ98.@UMUMHOK<R"UD4QT
MES&D)'74OX6_',##K\,6#< _9)BO-X/SOIQLN7#Z;\>F674:P-6_-9.Z3<MV
M'4ZK4/641+6V?QNVRWCSEK"5*\"I5O438@"R4:Z_9Z&)AIM^=G+TMSA3<*X-
MM!H X  M  I43'_[=H( ,@ P-DD)]FP! %:\'@#!6R9+0@ 9 +0C&0$/'W' 
M9;Q$!9(9-+SJ;KJ6WGV31Y=\?*[3LG>H.+*,K)4#>[4+N'^T^)Q ON6V%(O5
MM9R!@Y^2?)BUEI\4M56$!;;"B3>W'99:MQ*=^[:;M)"!6[YTN.:,7KXJ>T-O
MH[7%M$:J#:I(M[L%(K?<FY^G+X1KH^&U58JQM)"/\[3%M6*=;[XR?!1\"475
MB=:UJ<#MM:O ]:E#MUV4K+10%,*U^;6ZM6&=1Z/\@ >JQ,!"JLRUTK0,;E:=
M):K>?;\ Q,!ZA\C I;0OJK&URWQT ')LWGU: :C T;3CM<+ WGUU (RT)YTJ
MH^JU\;0HG+? [8]'HRJC%'PU1>/ P[7ZM6J*C:<NHU6J_K6^E "VLKX"MI:=
MZ&H+D&.W''R8M2R-F+50BD%F:3\;M9F@5H*#L@)_24ZR=NAZ,, (>0-P(T[(
MD?-_NK;&1:9V%YZMM^Q_%!15P/>N]7DL=0FB*)<OC->DR' 84-Y0169X<HFO
M$%-ZI&6TDP;!O\=/9W3XBRQ024YLC"'!YG1?>&J_]'>-=RA2GJ0IH=NN?Y'M
MD&R1U7%9<<.J3QBKJ<E2 *6M>/F"QG(CFZ6W\86\BQ5RLZ=(JV).J:[DCC N
M2:!9B?-_I7B!NMRN)*&4#/N=4!B>OY%1<;27GG)2J[PE4_RD-L"IHM]V7'_.
MA6&I?%)+KNX3X:(_D01/SZ+;<=R9:4XNO@I3""X)D3&5O@,?EUB[Z;BT>J=W
M5+%"<V%X+)'LBW6AEK'Z3]EE)QBKGJ%TO;^NO9*I#7? JQ1/W@"V2<2KVZ7Z
M7=4 ;8BOEG UN  N !D!>!:1@^<4+DU7%^@ @%BAMH"2X&YQP'/ - !UP'? 
MMQ)ZP 0\?, DM#6\7VG&:(90<:),O'@&B #K&3).6DVT(Z6]\JNSO?2KDZ A
M3AZLK%I=<R6890"RO<."!+/[ ^\89&@" &9H&&\>;^T*%VH=;]O!$!/[8-B9
MQ&E[P69/%5";4\=ZQ%(33AN5K%JVIZ].=Z5:D]B[0ZS <B=3C\' 4KYQ@7.7
MI5=80DWP%#FE#$U"3:P[5)%X<JBFX+>5O1)0SL%[=0V78I?C?Y.X?W52E:M.
MBZ;LH-MXUY$7@[N:J$UXBPT 7+OC4NFZ1K!+3L2>&GK2G E39;/P<RRO):[H
MBR.,?I<=ODF7JKV=AFYXN4V?D2<#Q)7*=P]W;[^VD7J7(HQN=]6"U;>^<)2]
M.(/!3^"5QW" E2J/0DWH2<Z1P@!(J1A[S,$8KF"TWG>64BFA4HZL3]FOAH8*
M$YRZW%"K=%NV([[,N:E-0'&%=15W[I\/4YU3YG:84L$650#F=JF1,I+8=3VB
M9[30A4YWK /13X*L_'HA3M91K[UBDD7!Y76\=\)U!J"]84I3]96X?VR6?J9T
MK%UWVT_WA4B_<HN0?.."U*""=JRE)%/>4(811E'Z?OFA)X\P3[=M#7A(O_I^
M- "J +UF7D[Z?N1A[TUX *D  H-0C,".0DX9@'M!09YA3LMVGG)3FZ&5<+]-
M3J #0:PLK.?!-5.PGI-.WDA-4Q(43U,8@%)3 KXHE8EOU$]B3L.%:I9&K\IZ
M&\(G4YAOB79(C#%OQG.XGA:RVP"^/<Q^0DVL ,["2,)T&893]*8RMG#"5765
MCFB_.(,$B;Q1[;TW9Y-.&I@B%).ZR%+Q3VU.%[ZM>B( 9;!W>$Z;(Y5\4GBQ
M+Y'UO<:>E0SNO>'"\TV3NN.=Y7DG ^K"9)C2@H5S9$[UPB+!'Z3;JLM,U9U2
ML(>IQG)0LZJEA+$X4'+"DJF-<!-2G'FJ=*U-O)5V<@##+!2TI5QV8KN)=C!V
MF&^.MV%4]XA,O=Q2,7D7P<A-LKMQPEO"MX8Q>:T )<-9<&23"X#I>J]P=G7]
MPFJ17GAO>#A1%\,O=]:87U$(<,G",V\-P^QF*$ZT>/65O$PJ><AYTZZM>/F:
MCG=5I*J1 8]\4W^.GG*4!HO"9<%)B8%1)9<3P#ER-*!ZK[BE;L+"=@T 7TY<
M=39Z\TU0M@F/A@!00L2K$K1,:=( H)=ZKK-=/(YPI N76T^+3JUU"G)'&,%/
MT[C4B_:@>8GA4H1V\8MM<NJ0#W_?<9M/A@9S?W'#LZ[KNR&/7S?N?_U_D0,;
M<MC"',+@HJ!UU(ALEOT9N77W?[ZV[G$K T[#9Y$[97EY)P-1L%F&?&^@L!:2
M2L+:P@"E-75GC#-BR['*<DZ7;+4_=991?4[5ET>8KZ?BE2V1:$]>3_25Q&4^
MFP)/ZD[53EI0DW;L3TK"=,)9H UY5U!Y5()_XX+8GL^3,I[BE51155C:(4"P
M6P$W2N]G]V2524.7U<)UPFRFI6]BKBMY39@'4?N]:95;4TNPR5))D<2.\L%S
M?Q;!):DA@QA)&<(.GRO"IG:N=1Q. X8%3D%UK+T4B6:VSD]\.^&_A;OPI[A_
MXX(_PN7#<YB>4:/#_%(14$+#2G=NL=K#X:[63W^&TG44<JR.+0.QPBG#[7:Z
MKG.FQ\(]PV)OV%&6L@<!2  >;<&JQU&2L!,,VJ#<K7+#STWZN0=Z_+D+OLR[
MJE,828AU9)LY4^<3K+(\4GV5XW,87U=8=ZI]M%"?E .? !< KH"S@+V WH"A
MFY>-]ISV8)"NNP4# #S$/,23 $(7A[C1>OM/F*8=>^H3(L,#KLQY#0"\4:P 
MI*;9=5I0O%'G4'E/\7E#3BT#VZKB>9BYM4RK0"-;Q$\Q?WM,CG%+4F8 #J+=
M>MRYX9X/3]VPTH6NAC^AI)P>4C6A*5,9<NN9#TX,+NZ6K+'-8J":N$PWMH!,
M)I$MNMFN*D[[CO64-9*: .YO%X#^GR=Z_I#1N]2N.9AAI;.FP7K]PEVZ:TWG
MF@2)^GII4BX Q@!033S$3Q-L<K..6J@DAH/"UFQ=<6^F:9/5$N-CR[HX<<YV
M3G8GP%^7A$S5AD=TLU+5D12[* ,IPQA)),,LNKZ5L(:R=J86LHZEL0EPAU+H
M3LNA%\&ZD[YP>E-:PGY3^W.]O[W$8W1O+B"^4GFVI7ARUZ^B T!.BTXBOJIX
MI7,ZH368.!.F34K#ZZZ <55Z9L..ET0%BX-,:5PA/FE> -U#L!_@9^*2XP:R
M  ( ;  &;^>EFF>"4.UN(HNM1@P!\,0,L!1[]V2= (J7^&[B3(Z2F)DH<*P^
M@**VDH@&D4<HI90#ZL0@L#"EZ:ND !X G+GLJT%HEE!\DFMK\:LSL*B](1.Y
M8J^]%\-[%!'".P&TCC( *0#2P0&+V9)TF=N26F@$K*B9!JQE3$$8\TUS<4-/
MADQ'&,Y2VW8^K/T2(@!-4S*)E0R_?NR7\[LUFSX8];L* $9</,0^Q!L 0,0=
M $+$HIN5 UY+XH8[OB^MAP/V8*B;YA)E  ( 7DM>2R$!P@#=0#.8&ZD]GBYE
MB'9@NQ6KAIOYGNZFQ@#0/EY+_!*Y0#AZ![0DDU2T37+M37C#];N*?OZ?F@!X
M5"=32BZA<UR#/\6_N&ZE;Y<&P_"='WN>3<JE:;4-@Y]W; #X4'F#Y:K.K@  
M7,5>Q04 8,4B ,V2-)O(=S933RYD ,FJ9H,UFP]Z U#"K\YVI7C9INM.Y:IM
MQ1( ;\4* "( $8;M39*1)P-]K)2]4J &ES#$T'XW=I=TN)ZJ.:W%@[+$95FD
MP';8@JZF6E#EIP%U[J?VEB.>[)[&3%N8$;W<=JNFD'?;3V4 Q<1X=-JP*B[D
M=86D2$[S$RJL?YO#<7%YR:]OC(!/KE%CM(Z.@+:V3T)^CJ1+&.I0ODVD%?2Y
ML9@BH(1_.%%+HHYRMG4PQ-P5KGC-F?V\_I\SMAG#90 >;-4 +0 3Q>6P^W;>
M .^81 5?HMH#K#[!6\M3[0Z/.N,&/%^L/A#%DA,)Q6RB!;'$:),903S#<8T#
M9,%O=Z9-UJ9CL(139U'IG3:LSD\?42S#"%+CP]3"6))K<@JAZI;\ID)Y(!1:
MCM23?+&O>=F5>TX_D9*<ZW'1Q>QQ*8,ZK%Y1QT\TF&)1IG[X4!^VH+I[3EY1
MJF6]3H^; )Z\KTG%&\3F'A:8_L'W9'4 4,9F&2@ E 9SIAZVQ+;[<S].)U,&
MH/!O0)4?49",,BX34M.VC'<9OA_!34YM<R7%Q$]S?MF_+ ,-J$[&S@#0D85;
M]V2? '/&#$V\IO=SJ; IE>V7.5.:E5 8;F^'<Q]Z*HR_BV:O?G3GI+2PVKMU
MM7FQ"; ' >$ B4D=I0:K0 @N !&PGB'RJA0 &D\-Q2I4?@:51RIPP@H!QH>B
M(;#9659,P![1P]"Q+P!M" 5-,':A>1<N&L'H3L)N9F4E>@.NV+&B \4^K<70
M8@DN6;,DDQVHX)C$A8"53<9" )Z]T&Z<=TT 2F^4H0./4!@,+O9Z"J@0H?RA
M?6]HK\9%*HF:N@@I$;P: -<  ,:=P<QND@!YKC<!'3\N .,&>!9#<I\A(0#C
M!J\ !T'DL&AZWF[_F-Q<"<8<1>H#G  -QBUL$,;41!+&NL$-F2:E&D_C9(T 
M2P&< .\&XP86F9C&^UX, )[&!0 ?5D&?1KP(IDB\DQGF8$J\F)+ P7:9_[M"
M<!,/U@"64+EI"S2FO="RKKI7I/-CGA>6NGI17'-/>1:/UV]"42S%.(Z">@*L
MRU RQ2-<-,5"L=TF1Z:@A0"C?[)P3/  YY($0@VL67/+3&"V#2X5N9NWC$Y!
ML4.!W0#9M@:,KK%CID9<5,50>U;%/+Z' XK  [B"M06X$8L'N.>V_9RTF_V3
MVXXN.^84(@ 9 ((  \=/ 2EW+P&J5@8 "@%9QUO'30$* 06R$4^C1&126L=<
MQ\LWJE8( %C':\?@'H0Z7\?VL6+'<<>(:06RC+9IQV/';,=[$V['<,=DQUW'
MYA0( &#'=L>!QV;'U !X,KXXAL=]Q]M<UZQ#@?M*LHDCI\&'#) QA)NGRY1F
MGPV<9[=JGY_ (I:CP*"UI<!' >4 "K<?BH^^M:SRK J%(#)GOMQ[+XTQN 2$
M-II^OE:XO'R?G=Y]FP"NP.R;1;=<N*C'MHCV +?')YT6EO:,8[B0ODR:E9])
MIVR!%'Q=1R^WP\=$?(B^.[@T 4][HY]IOF*^5;@3G%*-5\=JQX''N0B#QX7'
MV,=]QV?'B\?=QV7'?L?7QWS'<L?;QW7'X<=XQTU6X,?EQXAIVUSDQW?'VL=T
MQV''Z<>(QXK'>\=WQVW'B[7QANG VZR$OGV^5;@4?&( _<>DA$&GR8!CN&6X
M0[AGN*B4%'R] /W'T\>COHRGJJRXQX2!KK[]P+"^D9V3IV*W8)\LMWFX\,?9
MQT (Y\?TQ^W'B,=HQXS'XL?OQV_'Z<?D+B+()\CJQWK'+LAMQQ_(7,?RQX3'
MZ,<DR"L-B<<FR/7'?L=KCR>G^GOBJ7ZX40 SR. >7L<VR"/(^<<YR#O(.,@I
MR(#'-,A0'BW(/,AYQ^S'2<A-R"O((<CSQS'(.<CWQUK(CL==CZL S;2FG;NJ
MT+H!FM:^Y+;SJRRM";B.K$W'W;[8LM^^VK+AOC6M1XO]1[>I6P&A ".04<9;
M 7( >,A!LK.SXK+EOD6RY;)P?9^01XN)/X*(*7I*41,,2:V. R(#3Q'WA&6T
M+!03B+JM+TZ^K6%]P*WTLG^MWGTI %60);]Q?=.M37W B+6-06:^%0S!O*K[
M T[&M#C.D<@ =73,?KM,/G*QH+MQB<C9B_Y_%I5I3M.>3*]2DO9OSK;$KW@R
M88PF PBE17FQI#ZOGJD%F$F;N761=6AY1WDPM:5/L;?QFHI[N;B:!G:58:1=
MDM.3NYTTQ&=U:XGME?"?.7D=E7Q2OJ\IC,IWY*%Y3LN+)(\B%+?(:G0;J&=T
M#6$B%*[&(8:.J=IQ6)+C>A50ZH6X3CJUQ$,$B=I[F[BWL&%3K$\5=Z=^JKAA
MB3]/98Q/J+NN=<(>KJ&8YJ]?P%]VTYSWMPF/0@#X/6C#S&Y< /IH;<,BF4>+
MK@!"QRQAA<"*K-FR.87OD_ZWB\#_6_:3QJF.P&C("Y;_G)&:IKXJ>Y''>WP4
MEI"TWI^9P&F/W9L(P6BXG<#DJ9W'%J.BP"*XI,#VLI64H\?UP,G IK2[M:G'
MOL=\?"^:=IVSP(V/TH"NM>_ R\ SG37)"H6VQT#)V\"FM=Y]O<>FC[V^VL#-
MM=S QK74G_I$WGW)Q[[ 2<G=K/; (ZK4P/2)%'S0Q]*UFULPN.^TXK78M:O 
MVK7LK$H %'Q215/)6\E5R4.! \AWHU:G;LE5BNNU\K3$M?# 2:I0R;:(#LAW
MR=+ ><G\M8R=_, :AW:X ,&=EI*U+H2->P;!;7ND:Y:T;,E!9F#(I<ADR%:"
MH\8%J]V,0DW" %M /V.$MXFXWW8EN<ZWX$KZR'R.29&ZN(-^S[>.M]!\IVTQ
MNXQ,0RY7= A/=*1KH3.7"960N'U.VGMP/X&D"9\V=Y%,M'[PE1VN=W:ZB/Q.
M='\.@\1#%68S4M:+$J^=>)C#; !P<<1OJDV2E2(4N+CI4OV4!)C&N,61K7H2
MH :)=V)AJ9_)T,,IB^X & "08;C&AHFPR*$#LL@)>6>.1$[_?HC#]TV(3-2%
MG+JVMVC$%+XB !V3TW3:<7C"*)>U<,,-C0:Y0 ^N>8MO+JM3Y'5#D69EIA:%
M>+9_]XA_?B;#(A3&R"^U-7=?P4>L8<&%40*EN*:\=\QO$J%&?VE0/@ 0R>!3
M[,2:9[LZ/FD: /H\L!^LP2<!O#[0JU( K<'ZQ)R#[&[GJA1/$T:1Q@VP("(=
M !&PYB$*Q>9,MP".DGV@+'#:$I@ >FC:$E!A%,7F&.UAS%-@ !D &<7^NQO%
MX1(]"!]$G*+8"1X ?[(EL>6VKKH($213:P#M31W#+ ,EQQV0@GK@DEA@LP"$
MC7.9@1$>7*:9*L<C8:-Z[*N/9$FF,&V2>I1ZN4SKDLM,F'J:>B@3G'I]!)YZ
ML:*NN5UH+,>TH;>::X-^%R$ N0!(L7Q2Z5HJ>HQO<77\4 >;;1GAE?=07ZA!
M@%5VQ1+JA:*AO7]-9=1VF;$B%("9='@,=A$4:P <46H4-J"Y3:D 8F)Y=!I.
MI7A>F!,4CK<A _B+L<4;D4IWT7%A#*VR_W/"3J2+0DV[ "0 ?[*8RG9R0[O#
MHPK"M:Y7J.E-;JLS<HRADP:@3CIWHG6:I96.[<-[C)E1H*^,N7JLK6]Q31+"
M6W\D4IBEW(M4=6ZTZ):UA6P UH:(ABP#Z:%#KY>>\W4&?_5Q=(XCD=0 E*E0
M&/*.1+05OLBW2K_[<Z]1YLH'H-11Z<H[?GF_^YY4KN>0:[]]H0P529&2AC).
M(@ B=&JIBW=V<OR04(:%<PFAQ$]%?]M^Z)PJ>TE%=<@' 44 *@!_LCC$#;A7
MQ88#3,=^M#V^X[8ILH_ 0KX4H_R3&\A 9$3(@L=9R%+(U !+R%7(?\=7R'/'
M1\A:R%/(^,>'Q^/'*LCMQS7(W,<XR 6R7,@\R-M<?9HJR4<!7P 2EMU-79]C
MCTV^1825G9>GVI_&@-6,Q)OZ>^. -LGZMA^X_+9:OHW)&X>AQS0!WP#KFVRX
M#[?+Q[O'1XLZ )JS K(NA[N?4[ALO@K(;KZ%R4>+ CFIOBNXWGWP &;+SHPJ
MRSS+-\A)R-_'-\N-QS'+.\M0R"S+/LOKQWS+*,A^R_''6,@TRRW+0,M,R/['
M!+>&O@:WY9O4C@2V78]+ ""<2KB/RU::S<>LP*8 ()Q%@G?+B,L]RWK++LM4
MR#C+5LA_RS/+H<LXRS;+7<B&RR#(1LBIR]['.LBDRWW++H<RFO_'NL=NIS>-
M2:>">T3+- $! -2SC<L<MP#($<BLP+41GKZ:3Z"^38ULR\*?(IQQC5V/MP# 
MRQ#(!K?YMJ9\7+=:RP.0&,A:JG>XXK39GY3'5+Z5M#_(+X0.D'ZX2I2]?!YL
M[@ M $G*CQ2>P3)?;0 X *>6!\8" $'*P5O& (\ZG "$%?LP/%]!RD;*VB'[
MN_;&N9;UJ J%' ".M3^_MKH989^SU[XDR]F^:L@YQ ZX-K*&P-6RX+[VG)RM
MN:,_D*2M,(N(@KZCZ;Y#@=, CK5A8=2*G,J]NYBJ)XBBRF< I,K!<2VQ +^V
MB(H :[BIAUB0RXU>??"CP9 UB-*M)GWYLD6,$H5PD*QE<I!!9O@ W8UVL@.S
M HN^H%"1PI:&EP/%6P%Z1HN78L7 N*^WW,,(>;*:<HM!?U'!7[_2Q<*:+@-A
MF!.83LS>IHQQ29?QB'".Y%"CJY]U<K4F=%BI2GEDEX1QP;S=392;ZYT13H^X
M,<!HJ9+"@U,ILYY-JZE) &&8#:%X!CB)17DF3I!^%5!!DK*.VLJRN&W,5IMH
M=;Z:WTCSEFNT((!%>?.+G+@_><VWPZ_JL/J1YY>FD47,NKU; 7T (:4_8X">
MS;@TF^F=TK!T>&"O+*AM>R2U$!4WH-S$R)&[4]&=)94SD>Y_59MED6)V>+=,
M44?!,*Y-S-5WJLR,D2B>(K8&M 51\4]JM1"H+G7YI"^U,9&XAAF>[Z0G42RT
MXJ<X4#FUCV*N%IS,$)MW?R938!5US&&88Y&IR4B&&5 13DJD1:0&E4\.!1JK
MI=^<'TG,ROZYKZ=$P.A0N[D&0(6C\FYLBD)-PP P (N7@\5'M<6:=!F[N5^H
MPK9^3YNAZI?);T%FN@!BBWUERU18BY:(S7*DQNO,]V31 #( J<8:LG09(@"0
MPH1SHLR;6]:J#GI_C.&+?7Z-MAH X@#IRWZ+3&E3 !6T[7)>>OLP)2:*&0/,
L^S : "( .0#JR^G&_9CQR_/+(P#UR^T.^,LM;/O+1\J'%C[*%,:QMN>K"\?,
 
end