199.02/50.93	MAYBE
199.02/50.93	
199.02/50.93	Problem:
199.02/50.93	 b(b(b(x1))) -> b(b(a(b(a(b(a(b(x1))))))))
199.02/50.93	 b(a(b(b(x1)))) -> b(a(b(a(b(a(a(b(x1))))))))
199.02/50.93	 b(b(a(b(a(b(a(a(b(x1))))))))) -> b(b(b(b(a(b(x1))))))
199.02/50.93	
199.02/50.93	Proof:
199.02/50.93	 Open
199.02/50.94	EOF