Before revision:  Moreover, we generalize our s-workspace algorithm so that for any given K\in \{1, , O(s)
After revision:  Moreover, we generalize our s-workspace algorithm so that for any given K\in  , O(s)