fact: Definition be2_som6 := Neg (Ors (Ands (Ors (Ands (Neg (Var (Npos 1)) :: Neg (Var N0) :: nil) :: Ands (Var (Npos 1) :: Var N0 :: nil) :: nil) :: Neg be2_cout5 :: nil) :: Ands (be2_cout5 :: Neg (Ors (Ands (Neg (Var (Npos 1)) :: Neg (Var N0) :: nil) :: Ands (Var (Npos 1) :: Var N0 :: nil) :: nil)) :: nil) :: nil)).