1fP(56)siiii5rt(l,20)1(((d(R2R1,23),2)p(1)t(i,12),3)((d(R2R1,23),2)p(1)t(l,12),3)((d(R2R1,23),2)p(1)t(k,12),3)((d(R2R1,23),2)p(1)t(j,12),1),12)5ArR4RASk::::::::::::==zZyyfxm