This is a generated file for the l3build validation system. Don't change this file in any respect. mastheorem-active=shown counter-after-active-and-inactive=1 maquote-active=shown quote-active=shown mastheorem-nomode=shown done