while(0<1)println("[A-Z]".r.replaceAllIn(readLine," "+_)toLowerCase)