198.89/50.90	MAYBE
198.89/50.90	
198.89/50.90	Problem:
198.89/50.90	 b(b(a(a(b(x1))))) -> b(a(a(b(b(x1)))))
198.89/50.90	 b(a(a(a(b(b(b(x1))))))) -> b(b(b(a(a(a(b(x1)))))))
198.89/50.90	 b(a(b(a(a(b(x1)))))) -> b(a(b(b(a(a(a(b(x1))))))))
198.89/50.90	 b(a(a(a(b(a(b(x1))))))) -> b(a(a(b(a(b(x1))))))
198.89/50.90	
198.89/50.90	Proof:
198.89/50.90	 Open
198.89/50.91	EOF