Rational points on hyperelliptic Atkin-Lehner quotients of modular curves and their coverings

We complete the computation of all Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {Q}$$\end{document}-rational points on all the 64 maximal Atkin-Lehner quotients X0(N)∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$X_0(N)^*$$\end{document} such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the classical Chabauty–Coleman, elliptic curve Chabauty, quadratic Chabauty, and the bielliptic quadratic Chabauty method (from a forthcoming preprint of the fourth-named author) combined with the Mordell-Weil sieve. Additionally, for square-free levels N, we classify all Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {Q}$$\end{document}-rational points as cusps, CM points (including their CM field and j-invariants) and exceptional ones. We further indicate how to use this to compute the Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {Q}$$\end{document}-rational points on all of their modular coverings.