# This file was automatically generated with PreTeXt 2.32.0.
pretext == 2.32.0