~ ( X3 a ao1=3