A Set of Challenging TAMP Problems#