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