T = INPUT F OUTPUT = T DIFFER(DUPL(' ',SIZE(T)),K = INPUT) :S(S)F(F) S EQ(SIZE(K = TRIM(K) 1),SIZE(TRIM(T))) :S(T)F(S) T OUTPUT = K END