Haidora and number theory (#12296) - Basecamp