Package: hypothesis-auto