^^ ( 0^13 , 020X2 ) ^ ( 0^13 ,020X2