../ allvs4d1.dem 02-Feb-2002 17:21 2966264 allvs4d2.dem 02-Feb-2002 17:43 11581984 allvs4d3.dem 02-Feb-2002 18:00 4479498 allvs4d41.dem 02-Feb-2002 18:25 15419908 allvs4d71.dem 02-Feb-2002 18:43 9565647 allvs4d72.dem 02-Feb-2002 18:53 6322120