198.37/50.81	MAYBE
198.37/50.81	
198.37/50.81	Problem:
198.37/50.81	 b(a(a(b(a(b(a(a(a(b(x1)))))))))) -> a(b(a(b(a(a(a(b(a(b(a(a(b(x1)))))))))))))
198.37/50.81	
198.37/50.81	Proof:
198.37/50.81	 Open
198.63/50.81	EOF