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