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