/convert.awk/1.1.1.1/Sat Oct 28 00:25:50 2000//
/iota/1.1.1.1/Sat Oct 28 00:25:50 2000//
/iota.sed/1.1.1.1/Sat Oct 28 00:25:50 2000//
/ostream.sed/1.1.1.1/Sat Oct 28 00:25:50 2000//
/repl/1.1.1.1/Sat Oct 28 00:25:50 2000//
/repl.sed/1.1.1.1/Sat Oct 28 00:25:50 2000//
/repl1.sed/1.1.1.1/Sat Oct 28 00:25:50 2000//
/replh.sed/1.1.1.1/Sat Oct 28 00:25:50 2000//
D
