(i "THP-3")
(r 0 1)
(p 0)
(c 0 1 '(o3AC))
(c 0 1 '(o3BC))
(c 0 2 '(o2AC))
(c 0 2 '(o2BC))
(r 1 1)
(p 1)
(r 2 1)
(p 2)
(r 3 1)
(p 3)
(r 4 1)
(p 4)
(x)
