;;; this file contains configuration information

;; heuristics:

;; options:

;; simplifier:

;; configs:

