
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    L.~42: {\def\arraystrech{2}.  Delete the first open brace, or close

    it later.<br>

  </body>

</html>