(ALL-SAME)
(BOOLEANP-OF-ALL-SAME)
(NTH-WHEN-ALL-SAME
 (300 150 (:REWRITE ALL-EQUAL$-WHEN-NOT-EQUAL-OF-LEN-AND-1-CHEAP))
 (152 152 (:REWRITE DEFAULT-CDR))
 (150 150 (:REWRITE ALL-EQUAL$-WHEN-NOT-CONSP-CHEAP))
 (70 44 (:REWRITE DEFAULT-+-2))
 (44 44 (:REWRITE DEFAULT-+-1))
 (32 19 (:REWRITE DEFAULT-<-2))
 (24 15 (:REWRITE ZP-OPEN))
 (19 19 (:REWRITE DEFAULT-<-1))
 (2 2 (:REWRITE CDR-CONS))
 (2 2 (:REWRITE CAR-CONS))
 )
(NTH-WHEN-ALL-SAME-CHEAP)
