197.87/50.64	MAYBE
197.87/50.64	
197.87/50.64	Problem:
197.87/50.64	 a(b(a(b(a(a(b(a(a(b(a(x1))))))))))) -> a(b(a(a(b(a(a(b(a(a(b(a(b(x1)))))))))))))
197.87/50.64	
197.87/50.64	Proof:
197.87/50.64	 Open
197.87/50.65	EOF