a3def2