dim2.trs

(VAR x y z)
(RULES
m_1_1_1(m_1_1_1(x,y),z) -> m_1_1_1(x,m_1_1_1(y,z))
m_1_1_2(m_1_1_1(x,y),z) -> m_1_1_2(x,m_1_1_2(y,z))
m_1_2_1(m_1_1_2(x,y),z) -> m_1_1_1(x,m_1_2_1(y,z))
m_1_2_2(m_1_1_2(x,y),z) -> m_1_1_2(x,m_1_2_2(y,z))
m_1_1_1(m_1_2_1(x,y),z) -> m_1_2_1(x,m_2_1_1(y,z))
m_1_1_2(m_1_2_1(x,y),z) -> m_1_2_2(x,m_2_1_2(y,z))
m_1_2_1(m_1_2_2(x,y),z) -> m_1_2_1(x,m_2_2_1(y,z))
m_1_2_2(m_1_2_2(x,y),z) -> m_1_2_2(x,m_2_2_2(y,z))
m_2_1_1(m_2_1_1(x,y),z) -> m_2_1_1(x,m_1_1_1(y,z))
m_2_1_2(m_2_1_1(x,y),z) -> m_2_1_2(x,m_1_1_2(y,z))
m_2_2_1(m_2_1_2(x,y),z) -> m_2_1_1(x,m_1_2_1(y,z))
m_2_2_2(m_2_1_2(x,y),z) -> m_2_1_2(x,m_1_2_2(y,z))
m_2_1_1(m_2_2_1(x,y),z) -> m_2_2_1(x,m_2_1_1(y,z))
m_2_1_2(m_2_2_1(x,y),z) -> m_2_2_2(x,m_2_1_2(y,z))
m_2_2_1(m_2_2_2(x,y),z) -> m_2_2_1(x,m_2_2_1(y,z))
m_2_2_2(m_2_2_2(x,y),z) -> m_2_2_2(x,m_2_2_2(y,z))
)