197.64/50.53	MAYBE
197.64/50.53	
197.64/50.53	Problem:
197.64/50.53	 a(b(b(a(b(b(b(b(a(b(b(x1))))))))))) -> a(b(b(b(b(a(b(b(a(b(b(b(b(a(x1))))))))))))))
197.64/50.53	
197.64/50.53	Proof:
197.64/50.53	 Open
197.64/50.53	EOF