induction n; intuition; simpl in *;
destruct ls; simpl in *; intuition; try omega.
apply in_or_app.
destruct b; [left | right];
eapply in_map_iff; eauto.
Qed.

(* Specifications: *)
Lemma getAllBlists_perm : forall n,
Permutation (getAllBlists n) (getAllBlists_app n).