Guest User

Untitled

a guest
Nov 26th, 2019
115
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1.  
  2. (defmacro rloop (clauses &rest body)
  3. (if (null clauses)
  4. `(progn ,@body)
  5. `(loop ,@(car clauses) do (rloop ,(cdr clauses) ,@body))))
  6.  
  7.  
  8. (defun run-with-all-optimizations (expression)
  9. (unwind-protect
  10. (rloop ((for compilation-speed from 0 to 3)
  11. (for debug from 0 to 3)
  12. (for safety from 0 to 3)
  13. (for space from 0 to 3)
  14. (for speed from 0 to 3))
  15.  
  16. (let ((optimize `(optimize (compilation-speed ,compilation-speed)
  17. (debug ,debug)
  18. (safety ,safety)
  19. (space ,space)
  20. (speed ,speed))))
  21. (proclaim optimize)
  22. (terpri)
  23. (prin1 optimize)
  24. (princ " ")
  25. (prin1 (multiple-value-list (eval expression)))))
  26. (terpri)
  27. (proclaim '(optimize
  28. (compilation-speed 0)
  29. (debug 3)
  30. (safety 3)
  31. (space 0)
  32. (speed 0)))))
  33.  
  34. (run-with-all-optimizations
  35. '(flet ((%f () (string #\a))) (let ((x (%f))) (setf (char x 0) #\d) (list x (%f)))))
  36.  
  37. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 0) (speed 0)) (("d" "d"))
  38. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 0) (speed 1)) (("d" "d"))
  39. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 0) (speed 2)) (("d" "d"))
  40. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 0) (speed 3)) (("d" "d"))
  41. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 1) (speed 0)) (("d" "d"))
  42. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 1) (speed 1)) (("d" "d"))
  43. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 1) (speed 2)) (("d" "d"))
  44. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 1) (speed 3)) (("d" "d"))
  45. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 2) (speed 0)) (("d" "d"))
  46. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 2) (speed 1)) (("d" "d"))
  47. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 2) (speed 2)) (("d" "d"))
  48. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 2) (speed 3)) (("d" "d"))
  49. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 3) (speed 0)) (("d" "d"))
  50. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 3) (speed 1)) (("d" "d"))
  51. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 3) (speed 2)) (("d" "d"))
  52. (optimize (compilation-speed 0) (debug 0) (safety 0) (space 3) (speed 3)) (("d" "d"))
  53. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 0) (speed 0)) (("d" "d"))
  54. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 0) (speed 1)) (("d" "d"))
  55. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 0) (speed 2)) (("d" "d"))
  56. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 0) (speed 3)) (("d" "d"))
  57. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 1) (speed 0)) (("d" "d"))
  58. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 1) (speed 1)) (("d" "d"))
  59. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 1) (speed 2)) (("d" "d"))
  60. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 1) (speed 3)) (("d" "d"))
  61. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 2) (speed 0)) (("d" "d"))
  62. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 2) (speed 1)) (("d" "d"))
  63. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 2) (speed 2)) (("d" "d"))
  64. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 2) (speed 3)) (("d" "d"))
  65. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 3) (speed 0)) (("d" "d"))
  66. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 3) (speed 1)) (("d" "d"))
  67. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 3) (speed 2)) (("d" "d"))
  68. (optimize (compilation-speed 0) (debug 0) (safety 1) (space 3) (speed 3)) (("d" "d"))
  69. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 0) (speed 0)) (("d" "d"))
  70. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 0) (speed 1)) (("d" "d"))
  71. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 0) (speed 2)) (("d" "d"))
  72. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 0) (speed 3)) (("d" "d"))
  73. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 1) (speed 0)) (("d" "d"))
  74. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 1) (speed 1)) (("d" "d"))
  75. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 1) (speed 2)) (("d" "d"))
  76. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 1) (speed 3)) (("d" "d"))
  77. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 2) (speed 0)) (("d" "d"))
  78. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 2) (speed 1)) (("d" "d"))
  79. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 2) (speed 2)) (("d" "d"))
  80. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 2) (speed 3)) (("d" "d"))
  81. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 3) (speed 0)) (("d" "d"))
  82. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 3) (speed 1)) (("d" "d"))
  83. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 3) (speed 2)) (("d" "d"))
  84. (optimize (compilation-speed 0) (debug 0) (safety 2) (space 3) (speed 3)) (("d" "d"))
  85. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 0) (speed 0)) (("d" "a"))
  86. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 0) (speed 1)) (("d" "d"))
  87. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 0) (speed 2)) (("d" "d"))
  88. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 0) (speed 3)) (("d" "d"))
  89. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 1) (speed 0)) (("d" "a"))
  90. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 1) (speed 1)) (("d" "d"))
  91. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 1) (speed 2)) (("d" "d"))
  92. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 1) (speed 3)) (("d" "d"))
  93. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 2) (speed 0)) (("d" "a"))
  94. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 2) (speed 1)) (("d" "d"))
  95. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 2) (speed 2)) (("d" "d"))
  96. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 2) (speed 3)) (("d" "d"))
  97. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 3) (speed 0)) (("d" "a"))
  98. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 3) (speed 1)) (("d" "d"))
  99. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 3) (speed 2)) (("d" "d"))
  100. (optimize (compilation-speed 0) (debug 0) (safety 3) (space 3) (speed 3)) (("d" "d"))
  101. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 0) (speed 0)) (("d" "d"))
  102. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 0) (speed 1)) (("d" "d"))
  103. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 0) (speed 2)) (("d" "d"))
  104. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 0) (speed 3)) (("d" "d"))
  105. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 1) (speed 0)) (("d" "d"))
  106. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 1) (speed 1)) (("d" "d"))
  107. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 1) (speed 2)) (("d" "d"))
  108. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 1) (speed 3)) (("d" "d"))
  109. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 2) (speed 0)) (("d" "d"))
  110. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 2) (speed 1)) (("d" "d"))
  111. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 2) (speed 2)) (("d" "d"))
  112. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 2) (speed 3)) (("d" "d"))
  113. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 3) (speed 0)) (("d" "d"))
  114. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 3) (speed 1)) (("d" "d"))
  115. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 3) (speed 2)) (("d" "d"))
  116. (optimize (compilation-speed 0) (debug 1) (safety 0) (space 3) (speed 3)) (("d" "d"))
  117. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 0) (speed 0)) (("d" "d"))
  118. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 0) (speed 1)) (("d" "d"))
  119. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 0) (speed 2)) (("d" "d"))
  120. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 0) (speed 3)) (("d" "d"))
  121. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 1) (speed 0)) (("d" "d"))
  122. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 1) (speed 1)) (("d" "d"))
  123. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 1) (speed 2)) (("d" "d"))
  124. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 1) (speed 3)) (("d" "d"))
  125. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 2) (speed 0)) (("d" "d"))
  126. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 2) (speed 1)) (("d" "d"))
  127. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 2) (speed 2)) (("d" "d"))
  128. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 2) (speed 3)) (("d" "d"))
  129. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 3) (speed 0)) (("d" "d"))
  130. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 3) (speed 1)) (("d" "d"))
  131. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 3) (speed 2)) (("d" "d"))
  132. (optimize (compilation-speed 0) (debug 1) (safety 1) (space 3) (speed 3)) (("d" "d"))
  133. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 0) (speed 0)) (("d" "d"))
  134. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 0) (speed 1)) (("d" "d"))
  135. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 0) (speed 2)) (("d" "d"))
  136. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 0) (speed 3)) (("d" "d"))
  137. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 1) (speed 0)) (("d" "d"))
  138. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 1) (speed 1)) (("d" "d"))
  139. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 1) (speed 2)) (("d" "d"))
  140. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 1) (speed 3)) (("d" "d"))
  141. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 2) (speed 0)) (("d" "d"))
  142. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 2) (speed 1)) (("d" "d"))
  143. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 2) (speed 2)) (("d" "d"))
  144. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 2) (speed 3)) (("d" "d"))
  145. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 3) (speed 0)) (("d" "d"))
  146. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 3) (speed 1)) (("d" "d"))
  147. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 3) (speed 2)) (("d" "d"))
  148. (optimize (compilation-speed 0) (debug 1) (safety 2) (space 3) (speed 3)) (("d" "d"))
  149. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 0) (speed 0)) (("d" "a"))
  150. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 0) (speed 1)) (("d" "d"))
  151. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 0) (speed 2)) (("d" "d"))
  152. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 0) (speed 3)) (("d" "d"))
  153. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 1) (speed 0)) (("d" "a"))
  154. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 1) (speed 1)) (("d" "d"))
  155. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 1) (speed 2)) (("d" "d"))
  156. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 1) (speed 3)) (("d" "d"))
  157. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 2) (speed 0)) (("d" "a"))
  158. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 2) (speed 1)) (("d" "d"))
  159. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 2) (speed 2)) (("d" "d"))
  160. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 2) (speed 3)) (("d" "d"))
  161. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 3) (speed 0)) (("d" "a"))
  162. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 3) (speed 1)) (("d" "d"))
  163. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 3) (speed 2)) (("d" "d"))
  164. (optimize (compilation-speed 0) (debug 1) (safety 3) (space 3) (speed 3)) (("d" "d"))
  165. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 0) (speed 0)) (("d" "d"))
  166. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 0) (speed 1)) (("d" "d"))
  167. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 0) (speed 2)) (("d" "d"))
  168. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 0) (speed 3)) (("d" "d"))
  169. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 1) (speed 0)) (("d" "d"))
  170. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 1) (speed 1)) (("d" "d"))
  171. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 1) (speed 2)) (("d" "d"))
  172. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 1) (speed 3)) (("d" "d"))
  173. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 2) (speed 0)) (("d" "d"))
  174. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 2) (speed 1)) (("d" "d"))
  175. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 2) (speed 2)) (("d" "d"))
  176. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 2) (speed 3)) (("d" "d"))
  177. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 3) (speed 0)) (("d" "d"))
  178. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 3) (speed 1)) (("d" "d"))
  179. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 3) (speed 2)) (("d" "d"))
  180. (optimize (compilation-speed 0) (debug 2) (safety 0) (space 3) (speed 3)) (("d" "d"))
  181. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 0) (speed 0)) (("d" "d"))
  182. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 0) (speed 1)) (("d" "d"))
  183. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 0) (speed 2)) (("d" "d"))
  184. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 0) (speed 3)) (("d" "d"))
  185. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 1) (speed 0)) (("d" "d"))
  186. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 1) (speed 1)) (("d" "d"))
  187. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 1) (speed 2)) (("d" "d"))
  188. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 1) (speed 3)) (("d" "d"))
  189. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 2) (speed 0)) (("d" "d"))
  190. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 2) (speed 1)) (("d" "d"))
  191. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 2) (speed 2)) (("d" "d"))
  192. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 2) (speed 3)) (("d" "d"))
  193. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 3) (speed 0)) (("d" "d"))
  194. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 3) (speed 1)) (("d" "d"))
  195. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 3) (speed 2)) (("d" "d"))
  196. (optimize (compilation-speed 0) (debug 2) (safety 1) (space 3) (speed 3)) (("d" "d"))
  197. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 0) (speed 0)) (("d" "d"))
  198. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 0) (speed 1)) (("d" "d"))
  199. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 0) (speed 2)) (("d" "d"))
  200. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 0) (speed 3)) (("d" "d"))
  201. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 1) (speed 0)) (("d" "d"))
  202. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 1) (speed 1)) (("d" "d"))
  203. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 1) (speed 2)) (("d" "d"))
  204. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 1) (speed 3)) (("d" "d"))
  205. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 2) (speed 0)) (("d" "d"))
  206. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 2) (speed 1)) (("d" "d"))
  207. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 2) (speed 2)) (("d" "d"))
  208. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 2) (speed 3)) (("d" "d"))
  209. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 3) (speed 0)) (("d" "d"))
  210. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 3) (speed 1)) (("d" "d"))
  211. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 3) (speed 2)) (("d" "d"))
  212. (optimize (compilation-speed 0) (debug 2) (safety 2) (space 3) (speed 3)) (("d" "d"))
  213. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 0) (speed 0)) (("d" "a"))
  214. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 0) (speed 1)) (("d" "d"))
  215. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 0) (speed 2)) (("d" "d"))
  216. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 0) (speed 3)) (("d" "d"))
  217. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 1) (speed 0)) (("d" "a"))
  218. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 1) (speed 1)) (("d" "d"))
  219. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 1) (speed 2)) (("d" "d"))
  220. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 1) (speed 3)) (("d" "d"))
  221. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 2) (speed 0)) (("d" "a"))
  222. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 2) (speed 1)) (("d" "d"))
  223. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 2) (speed 2)) (("d" "d"))
  224. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 2) (speed 3)) (("d" "d"))
  225. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 3) (speed 0)) (("d" "a"))
  226. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 3) (speed 1)) (("d" "d"))
  227. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 3) (speed 2)) (("d" "d"))
  228. (optimize (compilation-speed 0) (debug 2) (safety 3) (space 3) (speed 3)) (("d" "d"))
  229. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 0) (speed 0)) (("d" "a"))
  230. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 0) (speed 1)) (("d" "d"))
  231. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 0) (speed 2)) (("d" "d"))
  232. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 0) (speed 3)) (("d" "d"))
  233. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 1) (speed 0)) (("d" "a"))
  234. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 1) (speed 1)) (("d" "d"))
  235. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 1) (speed 2)) (("d" "d"))
  236. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 1) (speed 3)) (("d" "d"))
  237. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 2) (speed 0)) (("d" "a"))
  238. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 2) (speed 1)) (("d" "d"))
  239. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 2) (speed 2)) (("d" "d"))
  240. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 2) (speed 3)) (("d" "d"))
  241. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 3) (speed 0)) (("d" "a"))
  242. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 3) (speed 1)) (("d" "d"))
  243. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 3) (speed 2)) (("d" "d"))
  244. (optimize (compilation-speed 0) (debug 3) (safety 0) (space 3) (speed 3)) (("d" "d"))
  245. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 0) (speed 0)) (("d" "a"))
  246. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 0) (speed 1)) (("d" "d"))
  247. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 0) (speed 2)) (("d" "d"))
  248. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 0) (speed 3)) (("d" "d"))
  249. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 1) (speed 0)) (("d" "a"))
  250. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 1) (speed 1)) (("d" "d"))
  251. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 1) (speed 2)) (("d" "d"))
  252. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 1) (speed 3)) (("d" "d"))
  253. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 2) (speed 0)) (("d" "a"))
  254. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 2) (speed 1)) (("d" "d"))
  255. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 2) (speed 2)) (("d" "d"))
  256. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 2) (speed 3)) (("d" "d"))
  257. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 3) (speed 0)) (("d" "a"))
  258. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 3) (speed 1)) (("d" "d"))
  259. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 3) (speed 2)) (("d" "d"))
  260. (optimize (compilation-speed 0) (debug 3) (safety 1) (space 3) (speed 3)) (("d" "d"))
  261. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 0) (speed 0)) (("d" "a"))
  262. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 0) (speed 1)) (("d" "d"))
  263. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 0) (speed 2)) (("d" "d"))
  264. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 0) (speed 3)) (("d" "d"))
  265. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 1) (speed 0)) (("d" "a"))
  266. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 1) (speed 1)) (("d" "d"))
  267. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 1) (speed 2)) (("d" "d"))
  268. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 1) (speed 3)) (("d" "d"))
  269. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 2) (speed 0)) (("d" "a"))
  270. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 2) (speed 1)) (("d" "d"))
  271. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 2) (speed 2)) (("d" "d"))
  272. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 2) (speed 3)) (("d" "d"))
  273. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 3) (speed 0)) (("d" "a"))
  274. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 3) (speed 1)) (("d" "d"))
  275. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 3) (speed 2)) (("d" "d"))
  276. (optimize (compilation-speed 0) (debug 3) (safety 2) (space 3) (speed 3)) (("d" "d"))
  277. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 0) (speed 0)) (("d" "a"))
  278. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 0) (speed 1)) (("d" "d"))
  279. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 0) (speed 2)) (("d" "d"))
  280. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 0) (speed 3)) (("d" "d"))
  281. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 1) (speed 0)) (("d" "a"))
  282. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 1) (speed 1)) (("d" "d"))
  283. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 1) (speed 2)) (("d" "d"))
  284. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 1) (speed 3)) (("d" "d"))
  285. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 2) (speed 0)) (("d" "a"))
  286. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 2) (speed 1)) (("d" "d"))
  287. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 2) (speed 2)) (("d" "d"))
  288. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 2) (speed 3)) (("d" "d"))
  289. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 3) (speed 0)) (("d" "a"))
  290. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 3) (speed 1)) (("d" "d"))
  291. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 3) (speed 2)) (("d" "d"))
  292. (optimize (compilation-speed 0) (debug 3) (safety 3) (space 3) (speed 3)) (("d" "d"))
  293. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 0) (speed 0)) (("d" "d"))
  294. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 0) (speed 1)) (("d" "d"))
  295. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 0) (speed 2)) (("d" "d"))
  296. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 0) (speed 3)) (("d" "d"))
  297. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 1) (speed 0)) (("d" "d"))
  298. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 1) (speed 1)) (("d" "d"))
  299. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 1) (speed 2)) (("d" "d"))
  300. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 1) (speed 3)) (("d" "d"))
  301. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 2) (speed 0)) (("d" "d"))
  302. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 2) (speed 1)) (("d" "d"))
  303. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 2) (speed 2)) (("d" "d"))
  304. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 2) (speed 3)) (("d" "d"))
  305. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 3) (speed 0)) (("d" "d"))
  306. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 3) (speed 1)) (("d" "d"))
  307. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 3) (speed 2)) (("d" "d"))
  308. (optimize (compilation-speed 1) (debug 0) (safety 0) (space 3) (speed 3)) (("d" "d"))
  309. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 0) (speed 0)) (("d" "d"))
  310. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 0) (speed 1)) (("d" "d"))
  311. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 0) (speed 2)) (("d" "d"))
  312. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 0) (speed 3)) (("d" "d"))
  313. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 1) (speed 0)) (("d" "d"))
  314. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 1) (speed 1)) (("d" "d"))
  315. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 1) (speed 2)) (("d" "d"))
  316. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 1) (speed 3)) (("d" "d"))
  317. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 2) (speed 0)) (("d" "d"))
  318. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 2) (speed 1)) (("d" "d"))
  319. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 2) (speed 2)) (("d" "d"))
  320. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 2) (speed 3)) (("d" "d"))
  321. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 3) (speed 0)) (("d" "d"))
  322. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 3) (speed 1)) (("d" "d"))
  323. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 3) (speed 2)) (("d" "d"))
  324. (optimize (compilation-speed 1) (debug 0) (safety 1) (space 3) (speed 3)) (("d" "d"))
  325. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 0) (speed 0)) (("d" "d"))
  326. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 0) (speed 1)) (("d" "d"))
  327. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 0) (speed 2)) (("d" "d"))
  328. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 0) (speed 3)) (("d" "d"))
  329. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 1) (speed 0)) (("d" "d"))
  330. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 1) (speed 1)) (("d" "d"))
  331. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 1) (speed 2)) (("d" "d"))
  332. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 1) (speed 3)) (("d" "d"))
  333. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 2) (speed 0)) (("d" "d"))
  334. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 2) (speed 1)) (("d" "d"))
  335. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 2) (speed 2)) (("d" "d"))
  336. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 2) (speed 3)) (("d" "d"))
  337. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 3) (speed 0)) (("d" "d"))
  338. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 3) (speed 1)) (("d" "d"))
  339. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 3) (speed 2)) (("d" "d"))
  340. (optimize (compilation-speed 1) (debug 0) (safety 2) (space 3) (speed 3)) (("d" "d"))
  341. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 0) (speed 0)) (("d" "a"))
  342. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 0) (speed 1)) (("d" "d"))
  343. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 0) (speed 2)) (("d" "d"))
  344. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 0) (speed 3)) (("d" "d"))
  345. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 1) (speed 0)) (("d" "a"))
  346. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 1) (speed 1)) (("d" "d"))
  347. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 1) (speed 2)) (("d" "d"))
  348. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 1) (speed 3)) (("d" "d"))
  349. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 2) (speed 0)) (("d" "a"))
  350. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 2) (speed 1)) (("d" "d"))
  351. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 2) (speed 2)) (("d" "d"))
  352. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 2) (speed 3)) (("d" "d"))
  353. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 3) (speed 0)) (("d" "a"))
  354. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 3) (speed 1)) (("d" "d"))
  355. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 3) (speed 2)) (("d" "d"))
  356. (optimize (compilation-speed 1) (debug 0) (safety 3) (space 3) (speed 3)) (("d" "d"))
  357. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 0) (speed 0)) (("d" "d"))
  358. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 0) (speed 1)) (("d" "d"))
  359. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 0) (speed 2)) (("d" "d"))
  360. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 0) (speed 3)) (("d" "d"))
  361. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 1) (speed 0)) (("d" "d"))
  362. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 1) (speed 1)) (("d" "d"))
  363. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 1) (speed 2)) (("d" "d"))
  364. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 1) (speed 3)) (("d" "d"))
  365. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 2) (speed 0)) (("d" "d"))
  366. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 2) (speed 1)) (("d" "d"))
  367. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 2) (speed 2)) (("d" "d"))
  368. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 2) (speed 3)) (("d" "d"))
  369. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 3) (speed 0)) (("d" "d"))
  370. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 3) (speed 1)) (("d" "d"))
  371. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 3) (speed 2)) (("d" "d"))
  372. (optimize (compilation-speed 1) (debug 1) (safety 0) (space 3) (speed 3)) (("d" "d"))
  373. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 0) (speed 0)) (("d" "d"))
  374. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 0) (speed 1)) (("d" "d"))
  375. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 0) (speed 2)) (("d" "d"))
  376. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 0) (speed 3)) (("d" "d"))
  377. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 1) (speed 0)) (("d" "d"))
  378. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 1) (speed 1)) (("d" "d"))
  379. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 1) (speed 2)) (("d" "d"))
  380. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 1) (speed 3)) (("d" "d"))
  381. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 2) (speed 0)) (("d" "d"))
  382. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 2) (speed 1)) (("d" "d"))
  383. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 2) (speed 2)) (("d" "d"))
  384. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 2) (speed 3)) (("d" "d"))
  385. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 3) (speed 0)) (("d" "d"))
  386. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 3) (speed 1)) (("d" "d"))
  387. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 3) (speed 2)) (("d" "d"))
  388. (optimize (compilation-speed 1) (debug 1) (safety 1) (space 3) (speed 3)) (("d" "d"))
  389. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 0) (speed 0)) (("d" "d"))
  390. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 0) (speed 1)) (("d" "d"))
  391. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 0) (speed 2)) (("d" "d"))
  392. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 0) (speed 3)) (("d" "d"))
  393. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 1) (speed 0)) (("d" "d"))
  394. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 1) (speed 1)) (("d" "d"))
  395. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 1) (speed 2)) (("d" "d"))
  396. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 1) (speed 3)) (("d" "d"))
  397. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 2) (speed 0)) (("d" "d"))
  398. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 2) (speed 1)) (("d" "d"))
  399. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 2) (speed 2)) (("d" "d"))
  400. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 2) (speed 3)) (("d" "d"))
  401. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 3) (speed 0)) (("d" "d"))
  402. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 3) (speed 1)) (("d" "d"))
  403. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 3) (speed 2)) (("d" "d"))
  404. (optimize (compilation-speed 1) (debug 1) (safety 2) (space 3) (speed 3)) (("d" "d"))
  405. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 0) (speed 0)) (("d" "a"))
  406. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 0) (speed 1)) (("d" "d"))
  407. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 0) (speed 2)) (("d" "d"))
  408. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 0) (speed 3)) (("d" "d"))
  409. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 1) (speed 0)) (("d" "a"))
  410. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 1) (speed 1)) (("d" "d"))
  411. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 1) (speed 2)) (("d" "d"))
  412. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 1) (speed 3)) (("d" "d"))
  413. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 2) (speed 0)) (("d" "a"))
  414. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 2) (speed 1)) (("d" "d"))
  415. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 2) (speed 2)) (("d" "d"))
  416. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 2) (speed 3)) (("d" "d"))
  417. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 3) (speed 0)) (("d" "a"))
  418. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 3) (speed 1)) (("d" "d"))
  419. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 3) (speed 2)) (("d" "d"))
  420. (optimize (compilation-speed 1) (debug 1) (safety 3) (space 3) (speed 3)) (("d" "d"))
  421. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 0) (speed 0)) (("d" "d"))
  422. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 0) (speed 1)) (("d" "d"))
  423. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 0) (speed 2)) (("d" "d"))
  424. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 0) (speed 3)) (("d" "d"))
  425. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 1) (speed 0)) (("d" "d"))
  426. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 1) (speed 1)) (("d" "d"))
  427. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 1) (speed 2)) (("d" "d"))
  428. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 1) (speed 3)) (("d" "d"))
  429. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 2) (speed 0)) (("d" "d"))
  430. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 2) (speed 1)) (("d" "d"))
  431. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 2) (speed 2)) (("d" "d"))
  432. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 2) (speed 3)) (("d" "d"))
  433. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 3) (speed 0)) (("d" "d"))
  434. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 3) (speed 1)) (("d" "d"))
  435. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 3) (speed 2)) (("d" "d"))
  436. (optimize (compilation-speed 1) (debug 2) (safety 0) (space 3) (speed 3)) (("d" "d"))
  437. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 0) (speed 0)) (("d" "d"))
  438. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 0) (speed 1)) (("d" "d"))
  439. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 0) (speed 2)) (("d" "d"))
  440. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 0) (speed 3)) (("d" "d"))
  441. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 1) (speed 0)) (("d" "d"))
  442. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 1) (speed 1)) (("d" "d"))
  443. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 1) (speed 2)) (("d" "d"))
  444. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 1) (speed 3)) (("d" "d"))
  445. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 2) (speed 0)) (("d" "d"))
  446. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 2) (speed 1)) (("d" "d"))
  447. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 2) (speed 2)) (("d" "d"))
  448. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 2) (speed 3)) (("d" "d"))
  449. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 3) (speed 0)) (("d" "d"))
  450. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 3) (speed 1)) (("d" "d"))
  451. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 3) (speed 2)) (("d" "d"))
  452. (optimize (compilation-speed 1) (debug 2) (safety 1) (space 3) (speed 3)) (("d" "d"))
  453. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 0) (speed 0)) (("d" "d"))
  454. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 0) (speed 1)) (("d" "d"))
  455. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 0) (speed 2)) (("d" "d"))
  456. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 0) (speed 3)) (("d" "d"))
  457. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 1) (speed 0)) (("d" "d"))
  458. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 1) (speed 1)) (("d" "d"))
  459. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 1) (speed 2)) (("d" "d"))
  460. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 1) (speed 3)) (("d" "d"))
  461. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 2) (speed 0)) (("d" "d"))
  462. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 2) (speed 1)) (("d" "d"))
  463. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 2) (speed 2)) (("d" "d"))
  464. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 2) (speed 3)) (("d" "d"))
  465. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 3) (speed 0)) (("d" "d"))
  466. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 3) (speed 1)) (("d" "d"))
  467. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 3) (speed 2)) (("d" "d"))
  468. (optimize (compilation-speed 1) (debug 2) (safety 2) (space 3) (speed 3)) (("d" "d"))
  469. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 0) (speed 0)) (("d" "a"))
  470. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 0) (speed 1)) (("d" "d"))
  471. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 0) (speed 2)) (("d" "d"))
  472. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 0) (speed 3)) (("d" "d"))
  473. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 1) (speed 0)) (("d" "a"))
  474. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 1) (speed 1)) (("d" "d"))
  475. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 1) (speed 2)) (("d" "d"))
  476. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 1) (speed 3)) (("d" "d"))
  477. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 2) (speed 0)) (("d" "a"))
  478. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 2) (speed 1)) (("d" "d"))
  479. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 2) (speed 2)) (("d" "d"))
  480. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 2) (speed 3)) (("d" "d"))
  481. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 3) (speed 0)) (("d" "a"))
  482. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 3) (speed 1)) (("d" "d"))
  483. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 3) (speed 2)) (("d" "d"))
  484. (optimize (compilation-speed 1) (debug 2) (safety 3) (space 3) (speed 3)) (("d" "d"))
  485. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 0) (speed 0)) (("d" "a"))
  486. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 0) (speed 1)) (("d" "d"))
  487. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 0) (speed 2)) (("d" "d"))
  488. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 0) (speed 3)) (("d" "d"))
  489. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 1) (speed 0)) (("d" "a"))
  490. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 1) (speed 1)) (("d" "d"))
  491. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 1) (speed 2)) (("d" "d"))
  492. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 1) (speed 3)) (("d" "d"))
  493. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 2) (speed 0)) (("d" "a"))
  494. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 2) (speed 1)) (("d" "d"))
  495. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 2) (speed 2)) (("d" "d"))
  496. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 2) (speed 3)) (("d" "d"))
  497. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 3) (speed 0)) (("d" "a"))
  498. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 3) (speed 1)) (("d" "d"))
  499. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 3) (speed 2)) (("d" "d"))
  500. (optimize (compilation-speed 1) (debug 3) (safety 0) (space 3) (speed 3)) (("d" "d"))
  501. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 0) (speed 0)) (("d" "a"))
  502. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 0) (speed 1)) (("d" "d"))
  503. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 0) (speed 2)) (("d" "d"))
  504. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 0) (speed 3)) (("d" "d"))
  505. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 1) (speed 0)) (("d" "a"))
  506. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 1) (speed 1)) (("d" "d"))
  507. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 1) (speed 2)) (("d" "d"))
  508. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 1) (speed 3)) (("d" "d"))
  509. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 2) (speed 0)) (("d" "a"))
  510. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 2) (speed 1)) (("d" "d"))
  511. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 2) (speed 2)) (("d" "d"))
  512. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 2) (speed 3)) (("d" "d"))
  513. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 3) (speed 0)) (("d" "a"))
  514. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 3) (speed 1)) (("d" "d"))
  515. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 3) (speed 2)) (("d" "d"))
  516. (optimize (compilation-speed 1) (debug 3) (safety 1) (space 3) (speed 3)) (("d" "d"))
  517. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 0) (speed 0)) (("d" "a"))
  518. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 0) (speed 1)) (("d" "d"))
  519. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 0) (speed 2)) (("d" "d"))
  520. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 0) (speed 3)) (("d" "d"))
  521. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 1) (speed 0)) (("d" "a"))
  522. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 1) (speed 1)) (("d" "d"))
  523. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 1) (speed 2)) (("d" "d"))
  524. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 1) (speed 3)) (("d" "d"))
  525. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 2) (speed 0)) (("d" "a"))
  526. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 2) (speed 1)) (("d" "d"))
  527. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 2) (speed 2)) (("d" "d"))
  528. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 2) (speed 3)) (("d" "d"))
  529. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 3) (speed 0)) (("d" "a"))
  530. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 3) (speed 1)) (("d" "d"))
  531. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 3) (speed 2)) (("d" "d"))
  532. (optimize (compilation-speed 1) (debug 3) (safety 2) (space 3) (speed 3)) (("d" "d"))
  533. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 0) (speed 0)) (("d" "a"))
  534. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 0) (speed 1)) (("d" "d"))
  535. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 0) (speed 2)) (("d" "d"))
  536. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 0) (speed 3)) (("d" "d"))
  537. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 1) (speed 0)) (("d" "a"))
  538. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 1) (speed 1)) (("d" "d"))
  539. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 1) (speed 2)) (("d" "d"))
  540. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 1) (speed 3)) (("d" "d"))
  541. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 2) (speed 0)) (("d" "a"))
  542. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 2) (speed 1)) (("d" "d"))
  543. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 2) (speed 2)) (("d" "d"))
  544. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 2) (speed 3)) (("d" "d"))
  545. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 3) (speed 0)) (("d" "a"))
  546. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 3) (speed 1)) (("d" "d"))
  547. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 3) (speed 2)) (("d" "d"))
  548. (optimize (compilation-speed 1) (debug 3) (safety 3) (space 3) (speed 3)) (("d" "d"))
  549. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 0) (speed 0)) (("d" "d"))
  550. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 0) (speed 1)) (("d" "d"))
  551. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 0) (speed 2)) (("d" "d"))
  552. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 0) (speed 3)) (("d" "d"))
  553. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 1) (speed 0)) (("d" "d"))
  554. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 1) (speed 1)) (("d" "d"))
  555. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 1) (speed 2)) (("d" "d"))
  556. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 1) (speed 3)) (("d" "d"))
  557. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 2) (speed 0)) (("d" "d"))
  558. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 2) (speed 1)) (("d" "d"))
  559. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 2) (speed 2)) (("d" "d"))
  560. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 2) (speed 3)) (("d" "d"))
  561. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 3) (speed 0)) (("d" "d"))
  562. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 3) (speed 1)) (("d" "d"))
  563. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 3) (speed 2)) (("d" "d"))
  564. (optimize (compilation-speed 2) (debug 0) (safety 0) (space 3) (speed 3)) (("d" "d"))
  565. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 0) (speed 0)) (("d" "d"))
  566. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 0) (speed 1)) (("d" "d"))
  567. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 0) (speed 2)) (("d" "d"))
  568. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 0) (speed 3)) (("d" "d"))
  569. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 1) (speed 0)) (("d" "d"))
  570. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 1) (speed 1)) (("d" "d"))
  571. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 1) (speed 2)) (("d" "d"))
  572. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 1) (speed 3)) (("d" "d"))
  573. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 2) (speed 0)) (("d" "d"))
  574. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 2) (speed 1)) (("d" "d"))
  575. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 2) (speed 2)) (("d" "d"))
  576. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 2) (speed 3)) (("d" "d"))
  577. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 3) (speed 0)) (("d" "d"))
  578. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 3) (speed 1)) (("d" "d"))
  579. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 3) (speed 2)) (("d" "d"))
  580. (optimize (compilation-speed 2) (debug 0) (safety 1) (space 3) (speed 3)) (("d" "d"))
  581. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 0) (speed 0)) (("d" "d"))
  582. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 0) (speed 1)) (("d" "d"))
  583. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 0) (speed 2)) (("d" "d"))
  584. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 0) (speed 3)) (("d" "d"))
  585. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 1) (speed 0)) (("d" "d"))
  586. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 1) (speed 1)) (("d" "d"))
  587. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 1) (speed 2)) (("d" "d"))
  588. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 1) (speed 3)) (("d" "d"))
  589. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 2) (speed 0)) (("d" "d"))
  590. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 2) (speed 1)) (("d" "d"))
  591. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 2) (speed 2)) (("d" "d"))
  592. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 2) (speed 3)) (("d" "d"))
  593. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 3) (speed 0)) (("d" "d"))
  594. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 3) (speed 1)) (("d" "d"))
  595. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 3) (speed 2)) (("d" "d"))
  596. (optimize (compilation-speed 2) (debug 0) (safety 2) (space 3) (speed 3)) (("d" "d"))
  597. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 0) (speed 0)) (("d" "a"))
  598. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 0) (speed 1)) (("d" "d"))
  599. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 0) (speed 2)) (("d" "d"))
  600. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 0) (speed 3)) (("d" "d"))
  601. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 1) (speed 0)) (("d" "a"))
  602. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 1) (speed 1)) (("d" "d"))
  603. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 1) (speed 2)) (("d" "d"))
  604. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 1) (speed 3)) (("d" "d"))
  605. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 2) (speed 0)) (("d" "a"))
  606. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 2) (speed 1)) (("d" "d"))
  607. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 2) (speed 2)) (("d" "d"))
  608. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 2) (speed 3)) (("d" "d"))
  609. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 3) (speed 0)) (("d" "a"))
  610. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 3) (speed 1)) (("d" "d"))
  611. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 3) (speed 2)) (("d" "d"))
  612. (optimize (compilation-speed 2) (debug 0) (safety 3) (space 3) (speed 3)) (("d" "d"))
  613. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 0) (speed 0)) (("d" "d"))
  614. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 0) (speed 1)) (("d" "d"))
  615. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 0) (speed 2)) (("d" "d"))
  616. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 0) (speed 3)) (("d" "d"))
  617. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 1) (speed 0)) (("d" "d"))
  618. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 1) (speed 1)) (("d" "d"))
  619. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 1) (speed 2)) (("d" "d"))
  620. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 1) (speed 3)) (("d" "d"))
  621. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 2) (speed 0)) (("d" "d"))
  622. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 2) (speed 1)) (("d" "d"))
  623. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 2) (speed 2)) (("d" "d"))
  624. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 2) (speed 3)) (("d" "d"))
  625. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 3) (speed 0)) (("d" "d"))
  626. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 3) (speed 1)) (("d" "d"))
  627. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 3) (speed 2)) (("d" "d"))
  628. (optimize (compilation-speed 2) (debug 1) (safety 0) (space 3) (speed 3)) (("d" "d"))
  629. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 0) (speed 0)) (("d" "d"))
  630. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 0) (speed 1)) (("d" "d"))
  631. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 0) (speed 2)) (("d" "d"))
  632. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 0) (speed 3)) (("d" "d"))
  633. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 1) (speed 0)) (("d" "d"))
  634. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 1) (speed 1)) (("d" "d"))
  635. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 1) (speed 2)) (("d" "d"))
  636. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 1) (speed 3)) (("d" "d"))
  637. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 2) (speed 0)) (("d" "d"))
  638. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 2) (speed 1)) (("d" "d"))
  639. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 2) (speed 2)) (("d" "d"))
  640. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 2) (speed 3)) (("d" "d"))
  641. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 3) (speed 0)) (("d" "d"))
  642. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 3) (speed 1)) (("d" "d"))
  643. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 3) (speed 2)) (("d" "d"))
  644. (optimize (compilation-speed 2) (debug 1) (safety 1) (space 3) (speed 3)) (("d" "d"))
  645. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 0) (speed 0)) (("d" "d"))
  646. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 0) (speed 1)) (("d" "d"))
  647. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 0) (speed 2)) (("d" "d"))
  648. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 0) (speed 3)) (("d" "d"))
  649. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 1) (speed 0)) (("d" "d"))
  650. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 1) (speed 1)) (("d" "d"))
  651. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 1) (speed 2)) (("d" "d"))
  652. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 1) (speed 3)) (("d" "d"))
  653. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 2) (speed 0)) (("d" "d"))
  654. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 2) (speed 1)) (("d" "d"))
  655. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 2) (speed 2)) (("d" "d"))
  656. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 2) (speed 3)) (("d" "d"))
  657. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 3) (speed 0)) (("d" "d"))
  658. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 3) (speed 1)) (("d" "d"))
  659. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 3) (speed 2)) (("d" "d"))
  660. (optimize (compilation-speed 2) (debug 1) (safety 2) (space 3) (speed 3)) (("d" "d"))
  661. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 0) (speed 0)) (("d" "a"))
  662. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 0) (speed 1)) (("d" "d"))
  663. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 0) (speed 2)) (("d" "d"))
  664. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 0) (speed 3)) (("d" "d"))
  665. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 1) (speed 0)) (("d" "a"))
  666. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 1) (speed 1)) (("d" "d"))
  667. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 1) (speed 2)) (("d" "d"))
  668. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 1) (speed 3)) (("d" "d"))
  669. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 2) (speed 0)) (("d" "a"))
  670. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 2) (speed 1)) (("d" "d"))
  671. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 2) (speed 2)) (("d" "d"))
  672. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 2) (speed 3)) (("d" "d"))
  673. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 3) (speed 0)) (("d" "a"))
  674. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 3) (speed 1)) (("d" "d"))
  675. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 3) (speed 2)) (("d" "d"))
  676. (optimize (compilation-speed 2) (debug 1) (safety 3) (space 3) (speed 3)) (("d" "d"))
  677. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 0) (speed 0)) (("d" "d"))
  678. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 0) (speed 1)) (("d" "d"))
  679. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 0) (speed 2)) (("d" "d"))
  680. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 0) (speed 3)) (("d" "d"))
  681. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 1) (speed 0)) (("d" "d"))
  682. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 1) (speed 1)) (("d" "d"))
  683. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 1) (speed 2)) (("d" "d"))
  684. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 1) (speed 3)) (("d" "d"))
  685. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 2) (speed 0)) (("d" "d"))
  686. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 2) (speed 1)) (("d" "d"))
  687. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 2) (speed 2)) (("d" "d"))
  688. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 2) (speed 3)) (("d" "d"))
  689. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 3) (speed 0)) (("d" "d"))
  690. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 3) (speed 1)) (("d" "d"))
  691. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 3) (speed 2)) (("d" "d"))
  692. (optimize (compilation-speed 2) (debug 2) (safety 0) (space 3) (speed 3)) (("d" "d"))
  693. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 0) (speed 0)) (("d" "d"))
  694. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 0) (speed 1)) (("d" "d"))
  695. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 0) (speed 2)) (("d" "d"))
  696. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 0) (speed 3)) (("d" "d"))
  697. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 1) (speed 0)) (("d" "d"))
  698. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 1) (speed 1)) (("d" "d"))
  699. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 1) (speed 2)) (("d" "d"))
  700. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 1) (speed 3)) (("d" "d"))
  701. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 2) (speed 0)) (("d" "d"))
  702. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 2) (speed 1)) (("d" "d"))
  703. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 2) (speed 2)) (("d" "d"))
  704. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 2) (speed 3)) (("d" "d"))
  705. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 3) (speed 0)) (("d" "d"))
  706. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 3) (speed 1)) (("d" "d"))
  707. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 3) (speed 2)) (("d" "d"))
  708. (optimize (compilation-speed 2) (debug 2) (safety 1) (space 3) (speed 3)) (("d" "d"))
  709. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 0) (speed 0)) (("d" "d"))
  710. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 0) (speed 1)) (("d" "d"))
  711. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 0) (speed 2)) (("d" "d"))
  712. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 0) (speed 3)) (("d" "d"))
  713. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 1) (speed 0)) (("d" "d"))
  714. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 1) (speed 1)) (("d" "d"))
  715. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 1) (speed 2)) (("d" "d"))
  716. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 1) (speed 3)) (("d" "d"))
  717. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 2) (speed 0)) (("d" "d"))
  718. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 2) (speed 1)) (("d" "d"))
  719. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 2) (speed 2)) (("d" "d"))
  720. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 2) (speed 3)) (("d" "d"))
  721. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 3) (speed 0)) (("d" "d"))
  722. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 3) (speed 1)) (("d" "d"))
  723. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 3) (speed 2)) (("d" "d"))
  724. (optimize (compilation-speed 2) (debug 2) (safety 2) (space 3) (speed 3)) (("d" "d"))
  725. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 0) (speed 0)) (("d" "a"))
  726. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 0) (speed 1)) (("d" "d"))
  727. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 0) (speed 2)) (("d" "d"))
  728. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 0) (speed 3)) (("d" "d"))
  729. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 1) (speed 0)) (("d" "a"))
  730. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 1) (speed 1)) (("d" "d"))
  731. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 1) (speed 2)) (("d" "d"))
  732. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 1) (speed 3)) (("d" "d"))
  733. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 2) (speed 0)) (("d" "a"))
  734. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 2) (speed 1)) (("d" "d"))
  735. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 2) (speed 2)) (("d" "d"))
  736. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 2) (speed 3)) (("d" "d"))
  737. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 3) (speed 0)) (("d" "a"))
  738. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 3) (speed 1)) (("d" "d"))
  739. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 3) (speed 2)) (("d" "d"))
  740. (optimize (compilation-speed 2) (debug 2) (safety 3) (space 3) (speed 3)) (("d" "d"))
  741. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 0) (speed 0)) (("d" "a"))
  742. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 0) (speed 1)) (("d" "d"))
  743. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 0) (speed 2)) (("d" "d"))
  744. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 0) (speed 3)) (("d" "d"))
  745. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 1) (speed 0)) (("d" "a"))
  746. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 1) (speed 1)) (("d" "d"))
  747. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 1) (speed 2)) (("d" "d"))
  748. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 1) (speed 3)) (("d" "d"))
  749. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 2) (speed 0)) (("d" "a"))
  750. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 2) (speed 1)) (("d" "d"))
  751. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 2) (speed 2)) (("d" "d"))
  752. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 2) (speed 3)) (("d" "d"))
  753. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 3) (speed 0)) (("d" "a"))
  754. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 3) (speed 1)) (("d" "d"))
  755. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 3) (speed 2)) (("d" "d"))
  756. (optimize (compilation-speed 2) (debug 3) (safety 0) (space 3) (speed 3)) (("d" "d"))
  757. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 0) (speed 0)) (("d" "a"))
  758. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 0) (speed 1)) (("d" "d"))
  759. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 0) (speed 2)) (("d" "d"))
  760. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 0) (speed 3)) (("d" "d"))
  761. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 1) (speed 0)) (("d" "a"))
  762. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 1) (speed 1)) (("d" "d"))
  763. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 1) (speed 2)) (("d" "d"))
  764. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 1) (speed 3)) (("d" "d"))
  765. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 2) (speed 0)) (("d" "a"))
  766. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 2) (speed 1)) (("d" "d"))
  767. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 2) (speed 2)) (("d" "d"))
  768. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 2) (speed 3)) (("d" "d"))
  769. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 3) (speed 0)) (("d" "a"))
  770. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 3) (speed 1)) (("d" "d"))
  771. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 3) (speed 2)) (("d" "d"))
  772. (optimize (compilation-speed 2) (debug 3) (safety 1) (space 3) (speed 3)) (("d" "d"))
  773. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 0) (speed 0)) (("d" "a"))
  774. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 0) (speed 1)) (("d" "d"))
  775. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 0) (speed 2)) (("d" "d"))
  776. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 0) (speed 3)) (("d" "d"))
  777. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 1) (speed 0)) (("d" "a"))
  778. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 1) (speed 1)) (("d" "d"))
  779. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 1) (speed 2)) (("d" "d"))
  780. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 1) (speed 3)) (("d" "d"))
  781. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 2) (speed 0)) (("d" "a"))
  782. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 2) (speed 1)) (("d" "d"))
  783. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 2) (speed 2)) (("d" "d"))
  784. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 2) (speed 3)) (("d" "d"))
  785. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 3) (speed 0)) (("d" "a"))
  786. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 3) (speed 1)) (("d" "d"))
  787. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 3) (speed 2)) (("d" "d"))
  788. (optimize (compilation-speed 2) (debug 3) (safety 2) (space 3) (speed 3)) (("d" "d"))
  789. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 0) (speed 0)) (("d" "a"))
  790. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 0) (speed 1)) (("d" "d"))
  791. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 0) (speed 2)) (("d" "d"))
  792. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 0) (speed 3)) (("d" "d"))
  793. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 1) (speed 0)) (("d" "a"))
  794. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 1) (speed 1)) (("d" "d"))
  795. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 1) (speed 2)) (("d" "d"))
  796. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 1) (speed 3)) (("d" "d"))
  797. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 2) (speed 0)) (("d" "a"))
  798. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 2) (speed 1)) (("d" "d"))
  799. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 2) (speed 2)) (("d" "d"))
  800. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 2) (speed 3)) (("d" "d"))
  801. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 3) (speed 0)) (("d" "a"))
  802. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 3) (speed 1)) (("d" "d"))
  803. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 3) (speed 2)) (("d" "d"))
  804. (optimize (compilation-speed 2) (debug 3) (safety 3) (space 3) (speed 3)) (("d" "d"))
  805. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 0) (speed 0)) (("d" "a"))
  806. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 0) (speed 1)) (("d" "a"))
  807. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 0) (speed 2)) (("d" "a"))
  808. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 0) (speed 3)) (("d" "a"))
  809. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 1) (speed 0)) (("d" "a"))
  810. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 1) (speed 1)) (("d" "a"))
  811. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 1) (speed 2)) (("d" "a"))
  812. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 1) (speed 3)) (("d" "a"))
  813. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 2) (speed 0)) (("d" "a"))
  814. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 2) (speed 1)) (("d" "a"))
  815. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 2) (speed 2)) (("d" "a"))
  816. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 2) (speed 3)) (("d" "a"))
  817. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 3) (speed 0)) (("d" "a"))
  818. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 3) (speed 1)) (("d" "a"))
  819. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 3) (speed 2)) (("d" "a"))
  820. (optimize (compilation-speed 3) (debug 0) (safety 0) (space 3) (speed 3)) (("d" "a"))
  821. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 0) (speed 0)) (("d" "a"))
  822. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 0) (speed 1)) (("d" "a"))
  823. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 0) (speed 2)) (("d" "a"))
  824. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 0) (speed 3)) (("d" "a"))
  825. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 1) (speed 0)) (("d" "a"))
  826. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 1) (speed 1)) (("d" "a"))
  827. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 1) (speed 2)) (("d" "a"))
  828. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 1) (speed 3)) (("d" "a"))
  829. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 2) (speed 0)) (("d" "a"))
  830. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 2) (speed 1)) (("d" "a"))
  831. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 2) (speed 2)) (("d" "a"))
  832. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 2) (speed 3)) (("d" "a"))
  833. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 3) (speed 0)) (("d" "a"))
  834. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 3) (speed 1)) (("d" "a"))
  835. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 3) (speed 2)) (("d" "a"))
  836. (optimize (compilation-speed 3) (debug 0) (safety 1) (space 3) (speed 3)) (("d" "a"))
  837. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 0) (speed 0)) (("d" "a"))
  838. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 0) (speed 1)) (("d" "a"))
  839. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 0) (speed 2)) (("d" "a"))
  840. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 0) (speed 3)) (("d" "a"))
  841. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 1) (speed 0)) (("d" "a"))
  842. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 1) (speed 1)) (("d" "a"))
  843. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 1) (speed 2)) (("d" "a"))
  844. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 1) (speed 3)) (("d" "a"))
  845. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 2) (speed 0)) (("d" "a"))
  846. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 2) (speed 1)) (("d" "a"))
  847. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 2) (speed 2)) (("d" "a"))
  848. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 2) (speed 3)) (("d" "a"))
  849. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 3) (speed 0)) (("d" "a"))
  850. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 3) (speed 1)) (("d" "a"))
  851. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 3) (speed 2)) (("d" "a"))
  852. (optimize (compilation-speed 3) (debug 0) (safety 2) (space 3) (speed 3)) (("d" "a"))
  853. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 0) (speed 0)) (("d" "a"))
  854. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 0) (speed 1)) (("d" "a"))
  855. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 0) (speed 2)) (("d" "a"))
  856. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 0) (speed 3)) (("d" "a"))
  857. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 1) (speed 0)) (("d" "a"))
  858. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 1) (speed 1)) (("d" "a"))
  859. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 1) (speed 2)) (("d" "a"))
  860. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 1) (speed 3)) (("d" "a"))
  861. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 2) (speed 0)) (("d" "a"))
  862. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 2) (speed 1)) (("d" "a"))
  863. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 2) (speed 2)) (("d" "a"))
  864. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 2) (speed 3)) (("d" "a"))
  865. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 3) (speed 0)) (("d" "a"))
  866. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 3) (speed 1)) (("d" "a"))
  867. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 3) (speed 2)) (("d" "a"))
  868. (optimize (compilation-speed 3) (debug 0) (safety 3) (space 3) (speed 3)) (("d" "a"))
  869. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 0) (speed 0)) (("d" "a"))
  870. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 0) (speed 1)) (("d" "a"))
  871. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 0) (speed 2)) (("d" "a"))
  872. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 0) (speed 3)) (("d" "a"))
  873. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 1) (speed 0)) (("d" "a"))
  874. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 1) (speed 1)) (("d" "a"))
  875. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 1) (speed 2)) (("d" "a"))
  876. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 1) (speed 3)) (("d" "a"))
  877. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 2) (speed 0)) (("d" "a"))
  878. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 2) (speed 1)) (("d" "a"))
  879. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 2) (speed 2)) (("d" "a"))
  880. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 2) (speed 3)) (("d" "a"))
  881. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 3) (speed 0)) (("d" "a"))
  882. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 3) (speed 1)) (("d" "a"))
  883. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 3) (speed 2)) (("d" "a"))
  884. (optimize (compilation-speed 3) (debug 1) (safety 0) (space 3) (speed 3)) (("d" "a"))
  885. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 0) (speed 0)) (("d" "a"))
  886. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 0) (speed 1)) (("d" "a"))
  887. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 0) (speed 2)) (("d" "a"))
  888. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 0) (speed 3)) (("d" "a"))
  889. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 1) (speed 0)) (("d" "a"))
  890. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 1) (speed 1)) (("d" "a"))
  891. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 1) (speed 2)) (("d" "a"))
  892. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 1) (speed 3)) (("d" "a"))
  893. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 2) (speed 0)) (("d" "a"))
  894. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 2) (speed 1)) (("d" "a"))
  895. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 2) (speed 2)) (("d" "a"))
  896. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 2) (speed 3)) (("d" "a"))
  897. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 3) (speed 0)) (("d" "a"))
  898. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 3) (speed 1)) (("d" "a"))
  899. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 3) (speed 2)) (("d" "a"))
  900. (optimize (compilation-speed 3) (debug 1) (safety 1) (space 3) (speed 3)) (("d" "a"))
  901. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 0) (speed 0)) (("d" "a"))
  902. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 0) (speed 1)) (("d" "a"))
  903. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 0) (speed 2)) (("d" "a"))
  904. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 0) (speed 3)) (("d" "a"))
  905. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 1) (speed 0)) (("d" "a"))
  906. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 1) (speed 1)) (("d" "a"))
  907. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 1) (speed 2)) (("d" "a"))
  908. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 1) (speed 3)) (("d" "a"))
  909. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 2) (speed 0)) (("d" "a"))
  910. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 2) (speed 1)) (("d" "a"))
  911. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 2) (speed 2)) (("d" "a"))
  912. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 2) (speed 3)) (("d" "a"))
  913. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 3) (speed 0)) (("d" "a"))
  914. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 3) (speed 1)) (("d" "a"))
  915. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 3) (speed 2)) (("d" "a"))
  916. (optimize (compilation-speed 3) (debug 1) (safety 2) (space 3) (speed 3)) (("d" "a"))
  917. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 0) (speed 0)) (("d" "a"))
  918. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 0) (speed 1)) (("d" "a"))
  919. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 0) (speed 2)) (("d" "a"))
  920. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 0) (speed 3)) (("d" "a"))
  921. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 1) (speed 0)) (("d" "a"))
  922. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 1) (speed 1)) (("d" "a"))
  923. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 1) (speed 2)) (("d" "a"))
  924. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 1) (speed 3)) (("d" "a"))
  925. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 2) (speed 0)) (("d" "a"))
  926. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 2) (speed 1)) (("d" "a"))
  927. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 2) (speed 2)) (("d" "a"))
  928. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 2) (speed 3)) (("d" "a"))
  929. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 3) (speed 0)) (("d" "a"))
  930. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 3) (speed 1)) (("d" "a"))
  931. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 3) (speed 2)) (("d" "a"))
  932. (optimize (compilation-speed 3) (debug 1) (safety 3) (space 3) (speed 3)) (("d" "a"))
  933. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 0) (speed 0)) (("d" "a"))
  934. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 0) (speed 1)) (("d" "a"))
  935. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 0) (speed 2)) (("d" "a"))
  936. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 0) (speed 3)) (("d" "a"))
  937. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 1) (speed 0)) (("d" "a"))
  938. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 1) (speed 1)) (("d" "a"))
  939. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 1) (speed 2)) (("d" "a"))
  940. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 1) (speed 3)) (("d" "a"))
  941. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 2) (speed 0)) (("d" "a"))
  942. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 2) (speed 1)) (("d" "a"))
  943. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 2) (speed 2)) (("d" "a"))
  944. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 2) (speed 3)) (("d" "a"))
  945. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 3) (speed 0)) (("d" "a"))
  946. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 3) (speed 1)) (("d" "a"))
  947. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 3) (speed 2)) (("d" "a"))
  948. (optimize (compilation-speed 3) (debug 2) (safety 0) (space 3) (speed 3)) (("d" "a"))
  949. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 0) (speed 0)) (("d" "a"))
  950. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 0) (speed 1)) (("d" "a"))
  951. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 0) (speed 2)) (("d" "a"))
  952. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 0) (speed 3)) (("d" "a"))
  953. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 1) (speed 0)) (("d" "a"))
  954. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 1) (speed 1)) (("d" "a"))
  955. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 1) (speed 2)) (("d" "a"))
  956. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 1) (speed 3)) (("d" "a"))
  957. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 2) (speed 0)) (("d" "a"))
  958. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 2) (speed 1)) (("d" "a"))
  959. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 2) (speed 2)) (("d" "a"))
  960. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 2) (speed 3)) (("d" "a"))
  961. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 3) (speed 0)) (("d" "a"))
  962. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 3) (speed 1)) (("d" "a"))
  963. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 3) (speed 2)) (("d" "a"))
  964. (optimize (compilation-speed 3) (debug 2) (safety 1) (space 3) (speed 3)) (("d" "a"))
  965. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 0) (speed 0)) (("d" "a"))
  966. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 0) (speed 1)) (("d" "a"))
  967. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 0) (speed 2)) (("d" "a"))
  968. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 0) (speed 3)) (("d" "a"))
  969. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 1) (speed 0)) (("d" "a"))
  970. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 1) (speed 1)) (("d" "a"))
  971. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 1) (speed 2)) (("d" "a"))
  972. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 1) (speed 3)) (("d" "a"))
  973. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 2) (speed 0)) (("d" "a"))
  974. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 2) (speed 1)) (("d" "a"))
  975. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 2) (speed 2)) (("d" "a"))
  976. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 2) (speed 3)) (("d" "a"))
  977. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 3) (speed 0)) (("d" "a"))
  978. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 3) (speed 1)) (("d" "a"))
  979. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 3) (speed 2)) (("d" "a"))
  980. (optimize (compilation-speed 3) (debug 2) (safety 2) (space 3) (speed 3)) (("d" "a"))
  981. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 0) (speed 0)) (("d" "a"))
  982. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 0) (speed 1)) (("d" "a"))
  983. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 0) (speed 2)) (("d" "a"))
  984. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 0) (speed 3)) (("d" "a"))
  985. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 1) (speed 0)) (("d" "a"))
  986. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 1) (speed 1)) (("d" "a"))
  987. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 1) (speed 2)) (("d" "a"))
  988. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 1) (speed 3)) (("d" "a"))
  989. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 2) (speed 0)) (("d" "a"))
  990. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 2) (speed 1)) (("d" "a"))
  991. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 2) (speed 2)) (("d" "a"))
  992. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 2) (speed 3)) (("d" "a"))
  993. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 3) (speed 0)) (("d" "a"))
  994. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 3) (speed 1)) (("d" "a"))
  995. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 3) (speed 2)) (("d" "a"))
  996. (optimize (compilation-speed 3) (debug 2) (safety 3) (space 3) (speed 3)) (("d" "a"))
  997. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 0) (speed 0)) (("d" "a"))
  998. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 0) (speed 1)) (("d" "a"))
  999. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 0) (speed 2)) (("d" "a"))
  1000. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 0) (speed 3)) (("d" "a"))
  1001. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 1) (speed 0)) (("d" "a"))
  1002. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 1) (speed 1)) (("d" "a"))
  1003. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 1) (speed 2)) (("d" "a"))
  1004. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 1) (speed 3)) (("d" "a"))
  1005. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 2) (speed 0)) (("d" "a"))
  1006. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 2) (speed 1)) (("d" "a"))
  1007. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 2) (speed 2)) (("d" "a"))
  1008. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 2) (speed 3)) (("d" "a"))
  1009. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 3) (speed 0)) (("d" "a"))
  1010. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 3) (speed 1)) (("d" "a"))
  1011. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 3) (speed 2)) (("d" "a"))
  1012. (optimize (compilation-speed 3) (debug 3) (safety 0) (space 3) (speed 3)) (("d" "a"))
  1013. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 0) (speed 0)) (("d" "a"))
  1014. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 0) (speed 1)) (("d" "a"))
  1015. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 0) (speed 2)) (("d" "a"))
  1016. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 0) (speed 3)) (("d" "a"))
  1017. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 1) (speed 0)) (("d" "a"))
  1018. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 1) (speed 1)) (("d" "a"))
  1019. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 1) (speed 2)) (("d" "a"))
  1020. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 1) (speed 3)) (("d" "a"))
  1021. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 2) (speed 0)) (("d" "a"))
  1022. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 2) (speed 1)) (("d" "a"))
  1023. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 2) (speed 2)) (("d" "a"))
  1024. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 2) (speed 3)) (("d" "a"))
  1025. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 3) (speed 0)) (("d" "a"))
  1026. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 3) (speed 1)) (("d" "a"))
  1027. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 3) (speed 2)) (("d" "a"))
  1028. (optimize (compilation-speed 3) (debug 3) (safety 1) (space 3) (speed 3)) (("d" "a"))
  1029. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 0) (speed 0)) (("d" "a"))
  1030. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 0) (speed 1)) (("d" "a"))
  1031. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 0) (speed 2)) (("d" "a"))
  1032. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 0) (speed 3)) (("d" "a"))
  1033. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 1) (speed 0)) (("d" "a"))
  1034. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 1) (speed 1)) (("d" "a"))
  1035. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 1) (speed 2)) (("d" "a"))
  1036. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 1) (speed 3)) (("d" "a"))
  1037. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 2) (speed 0)) (("d" "a"))
  1038. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 2) (speed 1)) (("d" "a"))
  1039. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 2) (speed 2)) (("d" "a"))
  1040. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 2) (speed 3)) (("d" "a"))
  1041. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 3) (speed 0)) (("d" "a"))
  1042. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 3) (speed 1)) (("d" "a"))
  1043. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 3) (speed 2)) (("d" "a"))
  1044. (optimize (compilation-speed 3) (debug 3) (safety 2) (space 3) (speed 3)) (("d" "a"))
  1045. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 0) (speed 0)) (("d" "a"))
  1046. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 0) (speed 1)) (("d" "a"))
  1047. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 0) (speed 2)) (("d" "a"))
  1048. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 0) (speed 3)) (("d" "a"))
  1049. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 1) (speed 0)) (("d" "a"))
  1050. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 1) (speed 1)) (("d" "a"))
  1051. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 1) (speed 2)) (("d" "a"))
  1052. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 1) (speed 3)) (("d" "a"))
  1053. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 2) (speed 0)) (("d" "a"))
  1054. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 2) (speed 1)) (("d" "a"))
  1055. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 2) (speed 2)) (("d" "a"))
  1056. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 2) (speed 3)) (("d" "a"))
  1057. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 3) (speed 0)) (("d" "a"))
  1058. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 3) (speed 1)) (("d" "a"))
  1059. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 3) (speed 2)) (("d" "a"))
  1060. (optimize (compilation-speed 3) (debug 3) (safety 3) (space 3) (speed 3)) (("d" "a"))
  1061. nil
RAW Paste Data