(i "MOD-3")
(r 0 1)
(s 0 1)
(m 0 1)
(r 0 1)
(s 0 1)
(s 0 2)
(s 0 3)
(r 0 3)
(m 0 3)
(r 0 3)
(s 0 3)
(s 0 4)
(s 0 5)
(s 0 6)
(m 0 6)
(r 0 6)
(s 0 6)
(s 0 7)
(s 0 8)
(x)
