#! /bin/sed -f
#
##	triplespace READS FROM STANDARD INPUT OR FROM FILE(S), AND
##	TRIPLE-SPACES THEM ONTO STANDARD OUTPUT.
G
G