Referenced by:

• 43549745654591744007r
• 44392307899023707796r
• topology-fineness-via-bases