(F*PI*)
(F*E*)
(F*H*)
(F*H_BAR*)
(F*E_C*)
(F*K_B*)
(F*DELTAV*)
(F*PHI0*)
(F*ICFACT*)
(FILE-EXTENSION-IS-LISP
 (9 5 (:REWRITE DEFAULT-<-1))
 (5 5 (:REWRITE DEFAULT-<-2))
 (5 1 (:DEFINITION LEN))
 (4 3 (:REWRITE DEFAULT-+-2))
 (3 3 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE DEFAULT-COERCE-2))
 (1 1 (:REWRITE DEFAULT-COERCE-1))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
