(SIG
   (a1    -> o)
   (b1    -> o)
   (c1    -> o)
   (b2    -> o)
   (c2    -> o)
   (a2    -> o)
   (b3    -> o)
   (c3    -> o)
   (a3    -> o)
   (b4    -> o)
   (c4    -> o)
   (a4    -> o)
   (b5    -> o)
   (c5    -> o)
   (a5    -> o)
   (b6    -> o)
   (c6    -> o)
   (a6    -> o)
   (b7    -> o)
   (c7    -> o)
   (a7    -> o)
   (b8    -> o)
   (c8    -> o)
   (a8    -> o)
   (b9    -> o)
   (c9    -> o)
   (a9    -> o)
   (b10   -> o)
   (c10   -> o)
   (a10   -> o)
   (b11   -> o)
)
(RULES
   a1 -> b1
   a1 -> c1
   b1 -> b2
   c1 -> c2
   a2 -> b2
   a2 -> c2
   b2 -> b3
   c2 -> c3
   a3 -> b3
   a3 -> c3
   b3 -> b4
   c3 -> c4
   a4 -> b4
   a4 -> c4
   b4 -> b5
   c4 -> c5
   a5 -> b5
   a5 -> c5
   b5 -> b6
   c5 -> c6
   a6 -> b6
   a6 -> c6
   b6 -> b7
   c6 -> c7
   a7 -> b7
   a7 -> c7
   b7 -> b8
   c7 -> c8
   a8 -> b8
   a8 -> c8
   b8 -> b9
   c8 -> c9
   a9 -> b9
   a9 -> c9
   b9 -> b10
   c9 -> c10
   a10 -> b11
   b10 -> b11
   c10 -> b11
)