MAYBE
230.86/58.48	MAYBE
230.86/58.49	
230.86/58.49	Problem:
230.86/58.49	 b(b(b(a(b(x1))))) -> b(a(b(b(a(b(x1))))))
230.86/58.49	 b(a(b(b(x1)))) -> b(b(a(b(a(b(x1))))))
230.86/58.49	 b(a(b(a(a(b(b(x1))))))) -> b(a(a(b(a(a(b(b(b(a(b(x1)))))))))))
230.86/58.49	
230.86/58.49	Proof:
230.86/58.49	 Open
230.86/58.49	EOF