(ASET1-SAFE
 (8087 657 (:REWRITE DEFAULT-<-2))
 (7263 120 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (6819 77 (:REWRITE RATIONALP-OF-ALEN1-WHEN-ARRAY1P))
 (6676 4691 (:REWRITE DEFAULT-CDR))
 (3400 850 (:DEFINITION ASSOC-KEYWORD))
 (722 142 (:DEFINITION LEN))
 (692 657 (:REWRITE DEFAULT-<-1))
 (488 98 (:DEFINITION TRUE-LISTP))
 (284 142 (:REWRITE DEFAULT-+-2))
 (164 164 (:LINEAR ARRAY1P-LINEAR))
 (146 146 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 (142 142 (:REWRITE DEFAULT-+-1))
 (101 101 (:LINEAR ARRAY2P-LINEAR))
 )
(ASET1-SAFE-BECOMES-ASET1)
