m_1(0).
not m_1(1).
not m_1(2).
m_1(3).
not m_1(4).
not m_1(5).
m_1(6).
m_1(7).
m_1(8).
