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