while(0<1)println(readLine.replaceAll("(\\d)( \\1)*","[$0]"))