#ignore + -
#axiom
C(5,5)A+A+AA-A-AA-AD(0)
#rules
#C(a,b) > A : b<5 -> C(a,b+1)
#C(a,b) > A : b>=5 -> C(a-1,0)
#B(1)<D(a) -> D(a+1)
#B(a)<A -> B(a)
#B(a) -> A
#end rules