let header   = "# Decision Procedure for Regular Language Equations" ^        
  "\n# Copyright (c) 2008-2009, University of Virginia"