%% Do not edit this file; it is auto-generated from input/new
%% This file is in the public domain.
-\version "2.13.0"
+%% Note: this file works from version 2.12.0
+\version "2.12.0"
\header {
lsrtags = "paper-and-layout"
texidoc = "A table of contents is included using