This is a generated file for the l3build validation system.
Don't change this file in any respect.
theorem-nameless=shown
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-after-first=1
theorem-named=shown
theorem-counter-after-second=2
lemma-unbound=shown
done