(COLLECT-WHEN-SIZE-IS-AT-LEAST-CUTOFF
 (194 9 (:REWRITE INTEGER-HALISTP-HALISTP))
 (171 11 (:DEFINITION INTEGER-HALISTP))
 (54 12 (:REWRITE TIP-P-NOT-INTEGER-GIVES-SYMBOLP))
 (42 6 (:REWRITE TIP-P-WHEN-NOT-CONSP))
 (41 41 (:TYPE-PRESCRIPTION INTEGER-HALISTP))
 (36 9 (:REWRITE GOOD-TAXON-INTEGER-LISTP-ALISTP-GEN))
 (34 34 (:REWRITE DEFAULT-CDR))
 (29 29 (:REWRITE DEFAULT-CAR))
 (21 21 (:REWRITE REMOVE-WEAK-INEQUALITIES-TWO))
 (21 21 (:REWRITE REMOVE-WEAK-INEQUALITIES-ONE))
 (18 18 (:TYPE-PRESCRIPTION GOOD-TAXON-INDEX-HALIST))
 (17 17 (:REWRITE REDUCE-INTEGERP-+))
 (17 17 (:REWRITE INTEGERP-MINUS-X))
 (17 17 (:META META-INTEGERP-CORRECT))
 (14 14 (:REWRITE SIMPLIFY-SUMS-<))
 (14 14 (:REWRITE SIMPLIFY-PRODUCTS-GATHER-EXPONENTS-<))
 (14 14 (:REWRITE PREFER-POSITIVE-ADDENDS-<))
 (14 14 (:REWRITE DEFAULT-<-2))
 (14 14 (:REWRITE DEFAULT-<-1))
 (14 14 (:REWRITE |(< (- x) (- y))|))
 (12 12 (:TYPE-PRESCRIPTION TIP-P))
 (9 9 (:REWRITE GOOD-TAXON-INDEX-HALIST-WHEN-NOT-CONSP))
 (9 9 (:REWRITE ALISTP-GEN-OF-NOT-CONSP))
 (7 7 (:REWRITE SIMPLIFY-TERMS-SUCH-AS-0-<-A+AB))
 (7 7 (:REWRITE |(< 0 (- x))|))
 )
(VALID-BDD-LIST-THROUGH-COLLECT
 (284 80 (:REWRITE VALID-BDD-LIST-WHEN-NOT-CONSP))
 (126 126 (:TYPE-PRESCRIPTION STRIP-CARS-GEN))
 (78 78 (:TYPE-PRESCRIPTION COLLECT-WHEN-SIZE-IS-AT-LEAST-CUTOFF))
 (72 72 (:REWRITE DEFAULT-CDR))
 (72 72 (:REWRITE DEFAULT-CAR))
 (60 60 (:REWRITE REMOVE-WEAK-INEQUALITIES-TWO))
 (59 59 (:REWRITE REMOVE-WEAK-INEQUALITIES-ONE))
 (50 14 (:REWRITE VALID-BDD-LIST-GIVES-VALID-BDD-CAR))
 (45 45 (:REWRITE SIMPLIFY-SUMS-<))
 (45 45 (:REWRITE SIMPLIFY-PRODUCTS-GATHER-EXPONENTS-<))
 (45 45 (:REWRITE PREFER-POSITIVE-ADDENDS-<))
 (45 45 (:REWRITE DEFAULT-<-2))
 (45 45 (:REWRITE DEFAULT-<-1))
 (45 45 (:REWRITE |(< (- x) (- y))|))
 (21 21 (:REWRITE SIMPLIFY-TERMS-SUCH-AS-0-<-A+AB))
 (21 21 (:REWRITE |(< 0 (- x))|))
 (14 14 (:REWRITE VALID-BDD-WHEN-NOT-CONSP))
 )
(GOOD-DEPTHS-THROUGH-COLLECT
 (126 126 (:TYPE-PRESCRIPTION STRIP-CARS-GEN))
 (104 72 (:REWRITE REMOVE-WEAK-INEQUALITIES-TWO))
 (81 57 (:REWRITE SIMPLIFY-SUMS-<))
 (81 57 (:REWRITE SIMPLIFY-PRODUCTS-GATHER-EXPONENTS-<))
 (81 57 (:REWRITE PREFER-POSITIVE-ADDENDS-<))
 (78 78 (:TYPE-PRESCRIPTION COLLECT-WHEN-SIZE-IS-AT-LEAST-CUTOFF))
 (72 72 (:REWRITE DEFAULT-CDR))
 (72 72 (:REWRITE DEFAULT-CAR))
 (71 71 (:REWRITE REMOVE-WEAK-INEQUALITIES-ONE))
 (69 57 (:REWRITE DEFAULT-<-2))
 (69 57 (:REWRITE DEFAULT-<-1))
 (57 57 (:REWRITE |(< (- x) (- y))|))
 (48 12 (:REWRITE GOOD-DEPTHS-CONSP-GOOD-DEPTH-CAR))
 (24 24 (:REWRITE DEPTH-WHEN-NOT-CONSP))
 (24 24 (:REWRITE BALANCED-TREE-OF-CONSP))
 (24 24 (:REWRITE BALANCED-TREE-HELPER-GIVES-DEPTH))
 (21 21 (:REWRITE SIMPLIFY-TERMS-SUCH-AS-0-<-A+AB))
 (21 21 (:REWRITE |(< 0 (- x))|))
 (8 8 (:LINEAR CONSP-GIVES-DEPTH<0))
 )
(COMPUTE-CONSENSUS-HELPER
 (285 1 (:DEFINITION COLLECT-WHEN-SIZE-IS-AT-LEAST-CUTOFF))
 (212 1 (:REWRITE |(< (if a b c) x)|))
 (207 2 (:REWRITE |(< x (if a b c))|))
 (82 2 (:REWRITE |(< d (+ c x))|))
 (46 2 (:REWRITE INTEGER-HALISTP-HALISTP))
 (40 3 (:REWRITE |(< 0 (* x y))|))
 (40 2 (:DEFINITION INTEGER-HALISTP))
 (35 10 (:REWRITE SIMPLIFY-SUMS-<))
 (35 10 (:REWRITE SIMPLIFY-PRODUCTS-GATHER-EXPONENTS-<))
 (35 10 (:REWRITE PREFER-POSITIVE-ADDENDS-<))
 (34 10 (:REWRITE DEFAULT-<-2))
 (28 7 (:REWRITE BTREES-TO-FRINGES-WHEN-NOT-CONSP))
 (24 6 (:REWRITE SUBSET-LIST-WHEN-NOT-CONSP))
 (18 18 (:REWRITE REMOVE-WEAK-INEQUALITIES-TWO))
 (18 4 (:REWRITE TIP-P-NOT-INTEGER-GIVES-SYMBOLP))
 (18 1 (:REWRITE CANCEL-FLOOR-+))
 (17 3 (:REWRITE DEFAULT-+-2))
 (16 16 (:TYPE-PRESCRIPTION FLOOR-ZERO . 2))
 (16 16 (:TYPE-PRESCRIPTION FLOOR-ZERO . 1))
 (16 16 (:TYPE-PRESCRIPTION FLOOR-POSITIVE . 2))
 (16 16 (:TYPE-PRESCRIPTION FLOOR-POSITIVE . 1))
 (16 16 (:TYPE-PRESCRIPTION FLOOR-NONPOSITIVE-2))
 (16 16 (:TYPE-PRESCRIPTION FLOOR-NONPOSITIVE-1))
 (16 16 (:TYPE-PRESCRIPTION FLOOR-NONNEGATIVE-2))
 (16 16 (:TYPE-PRESCRIPTION FLOOR-NEGATIVE . 2))
 (16 16 (:TYPE-PRESCRIPTION FLOOR-NEGATIVE . 1))
 (14 2 (:REWRITE TIP-P-WHEN-NOT-CONSP))
 (14 2 (:DEFINITION LEN))
 (13 1 (:REWRITE |(equal (* x y) 0)|))
 (12 2 (:REWRITE NOT-MEMBER-NIL-INTSYMLIST))
 (12 1 (:REWRITE FLOOR-ZERO . 4))
 (11 11 (:REWRITE NORMALIZE-FACTORS-GATHER-EXPONENTS))
 (11 11 (:REWRITE MEMBER-PERM-GIVES-MEMBER))
 (11 11 (:REWRITE DEFAULT-*-2))
 (11 11 (:REWRITE DEFAULT-*-1))
 (11 10 (:REWRITE DEFAULT-<-1))
 (11 8 (:REWRITE MEMBER-GEN-WHEN-NOT-CONS))
 (10 10 (:TYPE-PRESCRIPTION INTEGER-HALISTP))
 (10 10 (:REWRITE SUBSET-SAME-MEMBERS))
 (10 10 (:REWRITE MEMBER-DIFFERENCE-MEMBER))
 (10 10 (:REWRITE |(< (- x) (- y))|))
 (9 9 (:REWRITE PROPER-SUBTREE-MEMBER-GEN))
 (9 9 (:REWRITE DEFAULT-CDR))
 (8 2 (:REWRITE GOOD-TAXON-INTEGER-LISTP-ALISTP-GEN))
 (8 1 (:REWRITE FLOOR-ZERO . 3))
 (7 7 (:TYPE-PRESCRIPTION NOT-INTEGERP-4C))
 (7 7 (:TYPE-PRESCRIPTION NOT-INTEGERP-3C))
 (7 7 (:TYPE-PRESCRIPTION NOT-INTEGERP-3A))
 (7 7 (:TYPE-PRESCRIPTION NOT-INTEGERP-2C))
 (7 7 (:TYPE-PRESCRIPTION NOT-INTEGERP-2A))
 (7 7 (:TYPE-PRESCRIPTION NOT-INTEGERP-1C))
 (7 7 (:TYPE-PRESCRIPTION NOT-INTEGERP-1A))
 (7 7 (:REWRITE REDUCE-INTEGERP-+))
 (7 7 (:REWRITE INTEGERP-MINUS-X))
 (7 7 (:META META-INTEGERP-CORRECT))
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 6 (:REWRITE |(* c (* d x))|))
 (4 4 (:TYPE-PRESCRIPTION TIP-P))
 (4 4 (:TYPE-PRESCRIPTION GOOD-TAXON-INDEX-HALIST))
 (4 4 (:REWRITE SIMPLIFY-TERMS-SUCH-AS-0-<-A+AB))
 (4 4 (:REWRITE |(< 0 (- x))|))
 (4 1 (:REWRITE VALID-BDD-LIST-WHEN-NOT-CONSP))
 (4 1 (:REWRITE GOOD-DEPTHS-WHEN-NOT-CONSP))
 (3 3 (:REWRITE NORMALIZE-TERMS-SUCH-AS-A/A+B-+-B/A+B))
 (3 3 (:REWRITE NORMALIZE-ADDENDS))
 (3 3 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE STRIP-CARS-GEN-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SIMPLIFY-TERMS-SUCH-AS-A+AB-=-0))
 (2 2 (:REWRITE SIMPLIFY-SUMS-EQUAL))
 (2 2 (:REWRITE SIMPLIFY-PRODUCTS-GATHER-EXPONENTS-EQUAL))
 (2 2 (:REWRITE PREFER-POSITIVE-ADDENDS-EQUAL))
 (2 2 (:REWRITE NOT-INT-SYM-MEMBER-NOT-INT-SYMLIST))
 (2 2 (:REWRITE INT-SYMLIST-WHEN-NOT-CONSP))
 (2 2 (:REWRITE GOOD-TAXON-INDEX-HALIST-WHEN-NOT-CONSP))
 (2 2 (:REWRITE ALISTP-GEN-OF-NOT-CONSP))
 (2 2 (:REWRITE |(equal (- x) 0)|))
 (2 2 (:REWRITE |(equal (- x) (- y))|))
 (1 1 (:REWRITE SIMPLIFY-TERMS-SUCH-AS-A+AB-<-0))
 (1 1 (:REWRITE FLOOR-ZERO . 2))
 (1 1 (:REWRITE FLOOR-MINUS-WEAK))
 (1 1 (:REWRITE FLOOR-MINUS-2))
 (1 1 (:REWRITE FLOOR-COMPLETION))
 (1 1 (:REWRITE FLOOR-CANCEL-*-WEAK))
 (1 1 (:REWRITE |(integerp (* c x))|))
 (1 1 (:REWRITE |(< (- x) 0)|))
 (1 1 (:DEFINITION RFIX))
 )
(COMPUTE-CONSENSUS)
(COMPUTE-CONSENSUS-BRLENS)
(COMPUTE-FREQUENCIES
 (24 1 (:DEFINITION FAST-ALIST-FORK))
 (14 2 (:DEFINITION LEN))
 (12 2 (:REWRITE NOT-MEMBER-NIL-INTSYMLIST))
 (8 1 (:REWRITE NOT-MEMBER-NOT-CONSP-ASSOC))
 (7 7 (:TYPE-PRESCRIPTION MEMBER-GEN))
 (7 1 (:REWRITE MEMBER-STRIP-CARS-GOOD-TAXON-BDD-ASSOC))
 (6 2 (:REWRITE REMOVE-WEAK-INEQUALITIES-ONE))
 (4 4 (:REWRITE SUBSET-SAME-MEMBERS))
 (4 4 (:REWRITE MEMBER-PERM-GIVES-MEMBER))
 (4 4 (:REWRITE MEMBER-DIFFERENCE-MEMBER))
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-CAR))
 (4 2 (:REWRITE SIMPLIFY-SUMS-<))
 (4 2 (:REWRITE SIMPLIFY-PRODUCTS-GATHER-EXPONENTS-<))
 (4 2 (:REWRITE PREFER-POSITIVE-ADDENDS-<))
 (4 2 (:REWRITE DEFAULT-<-1))
 (4 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE REMOVE-WEAK-INEQUALITIES-TWO))
 (2 2 (:REWRITE NOT-INT-SYM-MEMBER-NOT-INT-SYMLIST))
 (2 2 (:REWRITE NORMALIZE-TERMS-SUCH-AS-A/A+B-+-B/A+B))
 (2 2 (:REWRITE NORMALIZE-ADDENDS))
 (2 2 (:REWRITE NON-TIP-TREE-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE INT-SYMLIST-WHEN-NOT-CONSP))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE ALL-SAME-NUM-TIPS-WHEN-NOT-CONSP))
 (2 2 (:REWRITE ALL-SAME-NUM-TIPS-ATOM))
 (2 2 (:REWRITE |(< (- x) (- y))|))
 (1 1 (:TYPE-PRESCRIPTION GOOD-TAXON-BDD-ALIST))
 (1 1 (:REWRITE PROPER-SUBTREE-MEMBER-GEN))
 (1 1 (:REWRITE NOT-MEMBER-SUBSET))
 (1 1 (:REWRITE MEMBER-GEN-WHEN-NOT-CONS))
 )
(COMPUTE-FREQUENCIES-BRLENS)
