#! /bin/sed -f
# Last edited on 1999-01-31 08:18:27 by stolfi

# Reads the output of factor-line-OK
# Removes two "K" elements from the beginning and
# one from the end of each line.

s/^{[^{}]*}//
s/^[^{}][^{}]*//
s/^{[^{}]*}//
s/[^{}][^{}]*$//
s/{[^{}]*}$//
s/[^{}]*$//