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