["a1","--","a2","+RTS","-RTS","a3"]