This is a generated file for the l3build validation system.
Don't change this file in any respect.
counter-exists=yes
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line ....
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line ....
theorem-counter-value=2
done