Cleaned usage of BDDS;
Added a sixth permutation in initial state.