/Fish_lines.hs/1.1/Mon Jan  8 20:04:41 1996//
/Fun_geom.hs/1.1/Mon Jan  8 20:04:42 1996//
/Main.hs/1.1/Tue Nov  2 16:16:02 1999//
/Vector.hs/1.1/Mon Jan  8 20:04:43 1996//
/fish.stdout/1.1/Tue May  5 11:34:47 1998//
D
