(NAT-<)
(F1)
(F2)
(F2-GUARD-DEBUG)
(F2-GUARD-DEBUG)
(EVENLP)
(EVENLP2)
(F3
 (16 16 (:REWRITE DEFAULT-<-2))
 (16 16 (:REWRITE DEFAULT-<-1))
 )
(F3)
(F4
 (1 1 (:TYPE-PRESCRIPTION F4))
 )
(MY-LEN-TRY1
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(MY-LEN-TRY2
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(MY-LEN)
(F5
 (1 1 (:TYPE-PRESCRIPTION F5))
 )
(F6
 (1 1 (:TYPE-PRESCRIPTION F6))
 )
