(defmacro rloop (clauses &rest body)
  (if (null clauses)
      `(progn ,@body)
      `(loop ,@(car clauses) do (rloop ,(cdr clauses) ,@body))))


(defun run-with-all-optimizations (expression)
  (unwind-protect
       (rloop ((for compilation-speed from 0 to 3)
               (for debug from 0 to 3)
               (for safety from 0 to 3)
               (for space from 0 to 3)
               (for speed from 0 to 3))

              (let ((optimize `(optimize (compilation-speed ,compilation-speed)
                                         (debug ,debug)
                                         (safety ,safety)
                                         (space ,space)
                                         (speed ,speed))))
                (proclaim optimize)
                (terpri)
                (prin1 optimize)
                (princ " ")
                (prin1 (multiple-value-list (eval expression)))))
    (terpri)
    (proclaim '(optimize
                (compilation-speed 0)
                (debug 3)
                (safety 3)
                (space 0)
                (speed 0)))))

(run-with-all-optimizations
 '(flet ((%f () (string #\a))) (let ((x (%f))) (setf (char x 0) #\d) (list x (%f)))))

(optimize (compilation-speed 0) (debug 0) (safety 0) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 0) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 1) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 2) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 0) (debug 3) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 0) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 1) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 2) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 1) (debug 3) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 0) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 1) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 0) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 1) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 2) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 3) (speed 0)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 2) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 0) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 1) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 2) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 0) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 0) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 0) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 1) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 1) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 1) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 2) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 2) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 2) (speed 3)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 3) (speed 1)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 3) (speed 2)) (("d" "d"))
(optimize (compilation-speed 2) (debug 3) (safety 3) (space 3) (speed 3)) (("d" "d"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 0) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 1) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 2) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 0) (safety 3) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 0) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 1) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 2) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 1) (safety 3) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 0) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 1) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 2) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 2) (safety 3) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 0) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 1) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 2) (space 3) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 0) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 0) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 0) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 0) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 1) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 1) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 1) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 1) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 2) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 2) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 2) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 2) (speed 3)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 3) (speed 0)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 3) (speed 1)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 3) (speed 2)) (("d" "a"))
(optimize (compilation-speed 3) (debug 3) (safety 3) (space 3) (speed 3)) (("d" "a"))
nil