fork download
  1. #include <algorithm>
  2. #include <cassert>
  3. #include <iostream>
  4. #include <vector>
  5.  
  6. void print(
  7. const std::vector<bool>& flags,
  8. const std::vector<std::size_t>& zeros,
  9. const std::vector<std::size_t>& ones)
  10. {
  11. auto it0 = zeros.begin();
  12. auto it1 = ones.begin();
  13. for (const auto& b : flags) {
  14. if (b) {
  15. std::cout << *it1++ << " ";
  16. } else {
  17. std::cout << *it0++ << " ";
  18. }
  19. }
  20. std::cout << std::endl;
  21. }
  22.  
  23. void displayMapping(const std::vector<bool>& orig, const std::vector<bool>& target) {
  24. // same number of one
  25. assert(std::accumulate(orig.begin(), orig.end(), 0)
  26. == std::accumulate(target.begin(), target.end(), 0));
  27. // same number of zero
  28. assert(orig.size() == target.size());
  29. std::vector<std::size_t> zeros;
  30. std::vector<std::size_t> ones;
  31. for (std::size_t i = 0; i != target.size(); ++i) {
  32. if (target[i]) {
  33. ones.push_back(i);
  34. } else {
  35. zeros.push_back(i);
  36. }
  37. }
  38.  
  39. do {
  40. do {
  41. print(orig, zeros, ones);
  42. } while (std::next_permutation(zeros.begin(), zeros.end()));
  43. } while (std::next_permutation(ones.begin(), ones.end()));
  44. }
  45.  
  46. int main()
  47. {
  48. displayMapping({0, 0, 0, 1, 1, 0, 1, 0}, {1, 1, 0, 0, 0, 0, 0, 1});
  49. }
  50.  
Success #stdin #stdout 0s 3432KB
stdin
Standard input is empty
stdout
2 3 4 0 1 5 7 6 
2 3 4 0 1 6 7 5 
2 3 5 0 1 4 7 6 
2 3 5 0 1 6 7 4 
2 3 6 0 1 4 7 5 
2 3 6 0 1 5 7 4 
2 4 3 0 1 5 7 6 
2 4 3 0 1 6 7 5 
2 4 5 0 1 3 7 6 
2 4 5 0 1 6 7 3 
2 4 6 0 1 3 7 5 
2 4 6 0 1 5 7 3 
2 5 3 0 1 4 7 6 
2 5 3 0 1 6 7 4 
2 5 4 0 1 3 7 6 
2 5 4 0 1 6 7 3 
2 5 6 0 1 3 7 4 
2 5 6 0 1 4 7 3 
2 6 3 0 1 4 7 5 
2 6 3 0 1 5 7 4 
2 6 4 0 1 3 7 5 
2 6 4 0 1 5 7 3 
2 6 5 0 1 3 7 4 
2 6 5 0 1 4 7 3 
3 2 4 0 1 5 7 6 
3 2 4 0 1 6 7 5 
3 2 5 0 1 4 7 6 
3 2 5 0 1 6 7 4 
3 2 6 0 1 4 7 5 
3 2 6 0 1 5 7 4 
3 4 2 0 1 5 7 6 
3 4 2 0 1 6 7 5 
3 4 5 0 1 2 7 6 
3 4 5 0 1 6 7 2 
3 4 6 0 1 2 7 5 
3 4 6 0 1 5 7 2 
3 5 2 0 1 4 7 6 
3 5 2 0 1 6 7 4 
3 5 4 0 1 2 7 6 
3 5 4 0 1 6 7 2 
3 5 6 0 1 2 7 4 
3 5 6 0 1 4 7 2 
3 6 2 0 1 4 7 5 
3 6 2 0 1 5 7 4 
3 6 4 0 1 2 7 5 
3 6 4 0 1 5 7 2 
3 6 5 0 1 2 7 4 
3 6 5 0 1 4 7 2 
4 2 3 0 1 5 7 6 
4 2 3 0 1 6 7 5 
4 2 5 0 1 3 7 6 
4 2 5 0 1 6 7 3 
4 2 6 0 1 3 7 5 
4 2 6 0 1 5 7 3 
4 3 2 0 1 5 7 6 
4 3 2 0 1 6 7 5 
4 3 5 0 1 2 7 6 
4 3 5 0 1 6 7 2 
4 3 6 0 1 2 7 5 
4 3 6 0 1 5 7 2 
4 5 2 0 1 3 7 6 
4 5 2 0 1 6 7 3 
4 5 3 0 1 2 7 6 
4 5 3 0 1 6 7 2 
4 5 6 0 1 2 7 3 
4 5 6 0 1 3 7 2 
4 6 2 0 1 3 7 5 
4 6 2 0 1 5 7 3 
4 6 3 0 1 2 7 5 
4 6 3 0 1 5 7 2 
4 6 5 0 1 2 7 3 
4 6 5 0 1 3 7 2 
5 2 3 0 1 4 7 6 
5 2 3 0 1 6 7 4 
5 2 4 0 1 3 7 6 
5 2 4 0 1 6 7 3 
5 2 6 0 1 3 7 4 
5 2 6 0 1 4 7 3 
5 3 2 0 1 4 7 6 
5 3 2 0 1 6 7 4 
5 3 4 0 1 2 7 6 
5 3 4 0 1 6 7 2 
5 3 6 0 1 2 7 4 
5 3 6 0 1 4 7 2 
5 4 2 0 1 3 7 6 
5 4 2 0 1 6 7 3 
5 4 3 0 1 2 7 6 
5 4 3 0 1 6 7 2 
5 4 6 0 1 2 7 3 
5 4 6 0 1 3 7 2 
5 6 2 0 1 3 7 4 
5 6 2 0 1 4 7 3 
5 6 3 0 1 2 7 4 
5 6 3 0 1 4 7 2 
5 6 4 0 1 2 7 3 
5 6 4 0 1 3 7 2 
6 2 3 0 1 4 7 5 
6 2 3 0 1 5 7 4 
6 2 4 0 1 3 7 5 
6 2 4 0 1 5 7 3 
6 2 5 0 1 3 7 4 
6 2 5 0 1 4 7 3 
6 3 2 0 1 4 7 5 
6 3 2 0 1 5 7 4 
6 3 4 0 1 2 7 5 
6 3 4 0 1 5 7 2 
6 3 5 0 1 2 7 4 
6 3 5 0 1 4 7 2 
6 4 2 0 1 3 7 5 
6 4 2 0 1 5 7 3 
6 4 3 0 1 2 7 5 
6 4 3 0 1 5 7 2 
6 4 5 0 1 2 7 3 
6 4 5 0 1 3 7 2 
6 5 2 0 1 3 7 4 
6 5 2 0 1 4 7 3 
6 5 3 0 1 2 7 4 
6 5 3 0 1 4 7 2 
6 5 4 0 1 2 7 3 
6 5 4 0 1 3 7 2 
2 3 4 0 7 5 1 6 
2 3 4 0 7 6 1 5 
2 3 5 0 7 4 1 6 
2 3 5 0 7 6 1 4 
2 3 6 0 7 4 1 5 
2 3 6 0 7 5 1 4 
2 4 3 0 7 5 1 6 
2 4 3 0 7 6 1 5 
2 4 5 0 7 3 1 6 
2 4 5 0 7 6 1 3 
2 4 6 0 7 3 1 5 
2 4 6 0 7 5 1 3 
2 5 3 0 7 4 1 6 
2 5 3 0 7 6 1 4 
2 5 4 0 7 3 1 6 
2 5 4 0 7 6 1 3 
2 5 6 0 7 3 1 4 
2 5 6 0 7 4 1 3 
2 6 3 0 7 4 1 5 
2 6 3 0 7 5 1 4 
2 6 4 0 7 3 1 5 
2 6 4 0 7 5 1 3 
2 6 5 0 7 3 1 4 
2 6 5 0 7 4 1 3 
3 2 4 0 7 5 1 6 
3 2 4 0 7 6 1 5 
3 2 5 0 7 4 1 6 
3 2 5 0 7 6 1 4 
3 2 6 0 7 4 1 5 
3 2 6 0 7 5 1 4 
3 4 2 0 7 5 1 6 
3 4 2 0 7 6 1 5 
3 4 5 0 7 2 1 6 
3 4 5 0 7 6 1 2 
3 4 6 0 7 2 1 5 
3 4 6 0 7 5 1 2 
3 5 2 0 7 4 1 6 
3 5 2 0 7 6 1 4 
3 5 4 0 7 2 1 6 
3 5 4 0 7 6 1 2 
3 5 6 0 7 2 1 4 
3 5 6 0 7 4 1 2 
3 6 2 0 7 4 1 5 
3 6 2 0 7 5 1 4 
3 6 4 0 7 2 1 5 
3 6 4 0 7 5 1 2 
3 6 5 0 7 2 1 4 
3 6 5 0 7 4 1 2 
4 2 3 0 7 5 1 6 
4 2 3 0 7 6 1 5 
4 2 5 0 7 3 1 6 
4 2 5 0 7 6 1 3 
4 2 6 0 7 3 1 5 
4 2 6 0 7 5 1 3 
4 3 2 0 7 5 1 6 
4 3 2 0 7 6 1 5 
4 3 5 0 7 2 1 6 
4 3 5 0 7 6 1 2 
4 3 6 0 7 2 1 5 
4 3 6 0 7 5 1 2 
4 5 2 0 7 3 1 6 
4 5 2 0 7 6 1 3 
4 5 3 0 7 2 1 6 
4 5 3 0 7 6 1 2 
4 5 6 0 7 2 1 3 
4 5 6 0 7 3 1 2 
4 6 2 0 7 3 1 5 
4 6 2 0 7 5 1 3 
4 6 3 0 7 2 1 5 
4 6 3 0 7 5 1 2 
4 6 5 0 7 2 1 3 
4 6 5 0 7 3 1 2 
5 2 3 0 7 4 1 6 
5 2 3 0 7 6 1 4 
5 2 4 0 7 3 1 6 
5 2 4 0 7 6 1 3 
5 2 6 0 7 3 1 4 
5 2 6 0 7 4 1 3 
5 3 2 0 7 4 1 6 
5 3 2 0 7 6 1 4 
5 3 4 0 7 2 1 6 
5 3 4 0 7 6 1 2 
5 3 6 0 7 2 1 4 
5 3 6 0 7 4 1 2 
5 4 2 0 7 3 1 6 
5 4 2 0 7 6 1 3 
5 4 3 0 7 2 1 6 
5 4 3 0 7 6 1 2 
5 4 6 0 7 2 1 3 
5 4 6 0 7 3 1 2 
5 6 2 0 7 3 1 4 
5 6 2 0 7 4 1 3 
5 6 3 0 7 2 1 4 
5 6 3 0 7 4 1 2 
5 6 4 0 7 2 1 3 
5 6 4 0 7 3 1 2 
6 2 3 0 7 4 1 5 
6 2 3 0 7 5 1 4 
6 2 4 0 7 3 1 5 
6 2 4 0 7 5 1 3 
6 2 5 0 7 3 1 4 
6 2 5 0 7 4 1 3 
6 3 2 0 7 4 1 5 
6 3 2 0 7 5 1 4 
6 3 4 0 7 2 1 5 
6 3 4 0 7 5 1 2 
6 3 5 0 7 2 1 4 
6 3 5 0 7 4 1 2 
6 4 2 0 7 3 1 5 
6 4 2 0 7 5 1 3 
6 4 3 0 7 2 1 5 
6 4 3 0 7 5 1 2 
6 4 5 0 7 2 1 3 
6 4 5 0 7 3 1 2 
6 5 2 0 7 3 1 4 
6 5 2 0 7 4 1 3 
6 5 3 0 7 2 1 4 
6 5 3 0 7 4 1 2 
6 5 4 0 7 2 1 3 
6 5 4 0 7 3 1 2 
2 3 4 1 0 5 7 6 
2 3 4 1 0 6 7 5 
2 3 5 1 0 4 7 6 
2 3 5 1 0 6 7 4 
2 3 6 1 0 4 7 5 
2 3 6 1 0 5 7 4 
2 4 3 1 0 5 7 6 
2 4 3 1 0 6 7 5 
2 4 5 1 0 3 7 6 
2 4 5 1 0 6 7 3 
2 4 6 1 0 3 7 5 
2 4 6 1 0 5 7 3 
2 5 3 1 0 4 7 6 
2 5 3 1 0 6 7 4 
2 5 4 1 0 3 7 6 
2 5 4 1 0 6 7 3 
2 5 6 1 0 3 7 4 
2 5 6 1 0 4 7 3 
2 6 3 1 0 4 7 5 
2 6 3 1 0 5 7 4 
2 6 4 1 0 3 7 5 
2 6 4 1 0 5 7 3 
2 6 5 1 0 3 7 4 
2 6 5 1 0 4 7 3 
3 2 4 1 0 5 7 6 
3 2 4 1 0 6 7 5 
3 2 5 1 0 4 7 6 
3 2 5 1 0 6 7 4 
3 2 6 1 0 4 7 5 
3 2 6 1 0 5 7 4 
3 4 2 1 0 5 7 6 
3 4 2 1 0 6 7 5 
3 4 5 1 0 2 7 6 
3 4 5 1 0 6 7 2 
3 4 6 1 0 2 7 5 
3 4 6 1 0 5 7 2 
3 5 2 1 0 4 7 6 
3 5 2 1 0 6 7 4 
3 5 4 1 0 2 7 6 
3 5 4 1 0 6 7 2 
3 5 6 1 0 2 7 4 
3 5 6 1 0 4 7 2 
3 6 2 1 0 4 7 5 
3 6 2 1 0 5 7 4 
3 6 4 1 0 2 7 5 
3 6 4 1 0 5 7 2 
3 6 5 1 0 2 7 4 
3 6 5 1 0 4 7 2 
4 2 3 1 0 5 7 6 
4 2 3 1 0 6 7 5 
4 2 5 1 0 3 7 6 
4 2 5 1 0 6 7 3 
4 2 6 1 0 3 7 5 
4 2 6 1 0 5 7 3 
4 3 2 1 0 5 7 6 
4 3 2 1 0 6 7 5 
4 3 5 1 0 2 7 6 
4 3 5 1 0 6 7 2 
4 3 6 1 0 2 7 5 
4 3 6 1 0 5 7 2 
4 5 2 1 0 3 7 6 
4 5 2 1 0 6 7 3 
4 5 3 1 0 2 7 6 
4 5 3 1 0 6 7 2 
4 5 6 1 0 2 7 3 
4 5 6 1 0 3 7 2 
4 6 2 1 0 3 7 5 
4 6 2 1 0 5 7 3 
4 6 3 1 0 2 7 5 
4 6 3 1 0 5 7 2 
4 6 5 1 0 2 7 3 
4 6 5 1 0 3 7 2 
5 2 3 1 0 4 7 6 
5 2 3 1 0 6 7 4 
5 2 4 1 0 3 7 6 
5 2 4 1 0 6 7 3 
5 2 6 1 0 3 7 4 
5 2 6 1 0 4 7 3 
5 3 2 1 0 4 7 6 
5 3 2 1 0 6 7 4 
5 3 4 1 0 2 7 6 
5 3 4 1 0 6 7 2 
5 3 6 1 0 2 7 4 
5 3 6 1 0 4 7 2 
5 4 2 1 0 3 7 6 
5 4 2 1 0 6 7 3 
5 4 3 1 0 2 7 6 
5 4 3 1 0 6 7 2 
5 4 6 1 0 2 7 3 
5 4 6 1 0 3 7 2 
5 6 2 1 0 3 7 4 
5 6 2 1 0 4 7 3 
5 6 3 1 0 2 7 4 
5 6 3 1 0 4 7 2 
5 6 4 1 0 2 7 3 
5 6 4 1 0 3 7 2 
6 2 3 1 0 4 7 5 
6 2 3 1 0 5 7 4 
6 2 4 1 0 3 7 5 
6 2 4 1 0 5 7 3 
6 2 5 1 0 3 7 4 
6 2 5 1 0 4 7 3 
6 3 2 1 0 4 7 5 
6 3 2 1 0 5 7 4 
6 3 4 1 0 2 7 5 
6 3 4 1 0 5 7 2 
6 3 5 1 0 2 7 4 
6 3 5 1 0 4 7 2 
6 4 2 1 0 3 7 5 
6 4 2 1 0 5 7 3 
6 4 3 1 0 2 7 5 
6 4 3 1 0 5 7 2 
6 4 5 1 0 2 7 3 
6 4 5 1 0 3 7 2 
6 5 2 1 0 3 7 4 
6 5 2 1 0 4 7 3 
6 5 3 1 0 2 7 4 
6 5 3 1 0 4 7 2 
6 5 4 1 0 2 7 3 
6 5 4 1 0 3 7 2 
2 3 4 1 7 5 0 6 
2 3 4 1 7 6 0 5 
2 3 5 1 7 4 0 6 
2 3 5 1 7 6 0 4 
2 3 6 1 7 4 0 5 
2 3 6 1 7 5 0 4 
2 4 3 1 7 5 0 6 
2 4 3 1 7 6 0 5 
2 4 5 1 7 3 0 6 
2 4 5 1 7 6 0 3 
2 4 6 1 7 3 0 5 
2 4 6 1 7 5 0 3 
2 5 3 1 7 4 0 6 
2 5 3 1 7 6 0 4 
2 5 4 1 7 3 0 6 
2 5 4 1 7 6 0 3 
2 5 6 1 7 3 0 4 
2 5 6 1 7 4 0 3 
2 6 3 1 7 4 0 5 
2 6 3 1 7 5 0 4 
2 6 4 1 7 3 0 5 
2 6 4 1 7 5 0 3 
2 6 5 1 7 3 0 4 
2 6 5 1 7 4 0 3 
3 2 4 1 7 5 0 6 
3 2 4 1 7 6 0 5 
3 2 5 1 7 4 0 6 
3 2 5 1 7 6 0 4 
3 2 6 1 7 4 0 5 
3 2 6 1 7 5 0 4 
3 4 2 1 7 5 0 6 
3 4 2 1 7 6 0 5 
3 4 5 1 7 2 0 6 
3 4 5 1 7 6 0 2 
3 4 6 1 7 2 0 5 
3 4 6 1 7 5 0 2 
3 5 2 1 7 4 0 6 
3 5 2 1 7 6 0 4 
3 5 4 1 7 2 0 6 
3 5 4 1 7 6 0 2 
3 5 6 1 7 2 0 4 
3 5 6 1 7 4 0 2 
3 6 2 1 7 4 0 5 
3 6 2 1 7 5 0 4 
3 6 4 1 7 2 0 5 
3 6 4 1 7 5 0 2 
3 6 5 1 7 2 0 4 
3 6 5 1 7 4 0 2 
4 2 3 1 7 5 0 6 
4 2 3 1 7 6 0 5 
4 2 5 1 7 3 0 6 
4 2 5 1 7 6 0 3 
4 2 6 1 7 3 0 5 
4 2 6 1 7 5 0 3 
4 3 2 1 7 5 0 6 
4 3 2 1 7 6 0 5 
4 3 5 1 7 2 0 6 
4 3 5 1 7 6 0 2 
4 3 6 1 7 2 0 5 
4 3 6 1 7 5 0 2 
4 5 2 1 7 3 0 6 
4 5 2 1 7 6 0 3 
4 5 3 1 7 2 0 6 
4 5 3 1 7 6 0 2 
4 5 6 1 7 2 0 3 
4 5 6 1 7 3 0 2 
4 6 2 1 7 3 0 5 
4 6 2 1 7 5 0 3 
4 6 3 1 7 2 0 5 
4 6 3 1 7 5 0 2 
4 6 5 1 7 2 0 3 
4 6 5 1 7 3 0 2 
5 2 3 1 7 4 0 6 
5 2 3 1 7 6 0 4 
5 2 4 1 7 3 0 6 
5 2 4 1 7 6 0 3 
5 2 6 1 7 3 0 4 
5 2 6 1 7 4 0 3 
5 3 2 1 7 4 0 6 
5 3 2 1 7 6 0 4 
5 3 4 1 7 2 0 6 
5 3 4 1 7 6 0 2 
5 3 6 1 7 2 0 4 
5 3 6 1 7 4 0 2 
5 4 2 1 7 3 0 6 
5 4 2 1 7 6 0 3 
5 4 3 1 7 2 0 6 
5 4 3 1 7 6 0 2 
5 4 6 1 7 2 0 3 
5 4 6 1 7 3 0 2 
5 6 2 1 7 3 0 4 
5 6 2 1 7 4 0 3 
5 6 3 1 7 2 0 4 
5 6 3 1 7 4 0 2 
5 6 4 1 7 2 0 3 
5 6 4 1 7 3 0 2 
6 2 3 1 7 4 0 5 
6 2 3 1 7 5 0 4 
6 2 4 1 7 3 0 5 
6 2 4 1 7 5 0 3 
6 2 5 1 7 3 0 4 
6 2 5 1 7 4 0 3 
6 3 2 1 7 4 0 5 
6 3 2 1 7 5 0 4 
6 3 4 1 7 2 0 5 
6 3 4 1 7 5 0 2 
6 3 5 1 7 2 0 4 
6 3 5 1 7 4 0 2 
6 4 2 1 7 3 0 5 
6 4 2 1 7 5 0 3 
6 4 3 1 7 2 0 5 
6 4 3 1 7 5 0 2 
6 4 5 1 7 2 0 3 
6 4 5 1 7 3 0 2 
6 5 2 1 7 3 0 4 
6 5 2 1 7 4 0 3 
6 5 3 1 7 2 0 4 
6 5 3 1 7 4 0 2 
6 5 4 1 7 2 0 3 
6 5 4 1 7 3 0 2 
2 3 4 7 0 5 1 6 
2 3 4 7 0 6 1 5 
2 3 5 7 0 4 1 6 
2 3 5 7 0 6 1 4 
2 3 6 7 0 4 1 5 
2 3 6 7 0 5 1 4 
2 4 3 7 0 5 1 6 
2 4 3 7 0 6 1 5 
2 4 5 7 0 3 1 6 
2 4 5 7 0 6 1 3 
2 4 6 7 0 3 1 5 
2 4 6 7 0 5 1 3 
2 5 3 7 0 4 1 6 
2 5 3 7 0 6 1 4 
2 5 4 7 0 3 1 6 
2 5 4 7 0 6 1 3 
2 5 6 7 0 3 1 4 
2 5 6 7 0 4 1 3 
2 6 3 7 0 4 1 5 
2 6 3 7 0 5 1 4 
2 6 4 7 0 3 1 5 
2 6 4 7 0 5 1 3 
2 6 5 7 0 3 1 4 
2 6 5 7 0 4 1 3 
3 2 4 7 0 5 1 6 
3 2 4 7 0 6 1 5 
3 2 5 7 0 4 1 6 
3 2 5 7 0 6 1 4 
3 2 6 7 0 4 1 5 
3 2 6 7 0 5 1 4 
3 4 2 7 0 5 1 6 
3 4 2 7 0 6 1 5 
3 4 5 7 0 2 1 6 
3 4 5 7 0 6 1 2 
3 4 6 7 0 2 1 5 
3 4 6 7 0 5 1 2 
3 5 2 7 0 4 1 6 
3 5 2 7 0 6 1 4 
3 5 4 7 0 2 1 6 
3 5 4 7 0 6 1 2 
3 5 6 7 0 2 1 4 
3 5 6 7 0 4 1 2 
3 6 2 7 0 4 1 5 
3 6 2 7 0 5 1 4 
3 6 4 7 0 2 1 5 
3 6 4 7 0 5 1 2 
3 6 5 7 0 2 1 4 
3 6 5 7 0 4 1 2 
4 2 3 7 0 5 1 6 
4 2 3 7 0 6 1 5 
4 2 5 7 0 3 1 6 
4 2 5 7 0 6 1 3 
4 2 6 7 0 3 1 5 
4 2 6 7 0 5 1 3 
4 3 2 7 0 5 1 6 
4 3 2 7 0 6 1 5 
4 3 5 7 0 2 1 6 
4 3 5 7 0 6 1 2 
4 3 6 7 0 2 1 5 
4 3 6 7 0 5 1 2 
4 5 2 7 0 3 1 6 
4 5 2 7 0 6 1 3 
4 5 3 7 0 2 1 6 
4 5 3 7 0 6 1 2 
4 5 6 7 0 2 1 3 
4 5 6 7 0 3 1 2 
4 6 2 7 0 3 1 5 
4 6 2 7 0 5 1 3 
4 6 3 7 0 2 1 5 
4 6 3 7 0 5 1 2 
4 6 5 7 0 2 1 3 
4 6 5 7 0 3 1 2 
5 2 3 7 0 4 1 6 
5 2 3 7 0 6 1 4 
5 2 4 7 0 3 1 6 
5 2 4 7 0 6 1 3 
5 2 6 7 0 3 1 4 
5 2 6 7 0 4 1 3 
5 3 2 7 0 4 1 6 
5 3 2 7 0 6 1 4 
5 3 4 7 0 2 1 6 
5 3 4 7 0 6 1 2 
5 3 6 7 0 2 1 4 
5 3 6 7 0 4 1 2 
5 4 2 7 0 3 1 6 
5 4 2 7 0 6 1 3 
5 4 3 7 0 2 1 6 
5 4 3 7 0 6 1 2 
5 4 6 7 0 2 1 3 
5 4 6 7 0 3 1 2 
5 6 2 7 0 3 1 4 
5 6 2 7 0 4 1 3 
5 6 3 7 0 2 1 4 
5 6 3 7 0 4 1 2 
5 6 4 7 0 2 1 3 
5 6 4 7 0 3 1 2 
6 2 3 7 0 4 1 5 
6 2 3 7 0 5 1 4 
6 2 4 7 0 3 1 5 
6 2 4 7 0 5 1 3 
6 2 5 7 0 3 1 4 
6 2 5 7 0 4 1 3 
6 3 2 7 0 4 1 5 
6 3 2 7 0 5 1 4 
6 3 4 7 0 2 1 5 
6 3 4 7 0 5 1 2 
6 3 5 7 0 2 1 4 
6 3 5 7 0 4 1 2 
6 4 2 7 0 3 1 5 
6 4 2 7 0 5 1 3 
6 4 3 7 0 2 1 5 
6 4 3 7 0 5 1 2 
6 4 5 7 0 2 1 3 
6 4 5 7 0 3 1 2 
6 5 2 7 0 3 1 4 
6 5 2 7 0 4 1 3 
6 5 3 7 0 2 1 4 
6 5 3 7 0 4 1 2 
6 5 4 7 0 2 1 3 
6 5 4 7 0 3 1 2 
2 3 4 7 1 5 0 6 
2 3 4 7 1 6 0 5 
2 3 5 7 1 4 0 6 
2 3 5 7 1 6 0 4 
2 3 6 7 1 4 0 5 
2 3 6 7 1 5 0 4 
2 4 3 7 1 5 0 6 
2 4 3 7 1 6 0 5 
2 4 5 7 1 3 0 6 
2 4 5 7 1 6 0 3 
2 4 6 7 1 3 0 5 
2 4 6 7 1 5 0 3 
2 5 3 7 1 4 0 6 
2 5 3 7 1 6 0 4 
2 5 4 7 1 3 0 6 
2 5 4 7 1 6 0 3 
2 5 6 7 1 3 0 4 
2 5 6 7 1 4 0 3 
2 6 3 7 1 4 0 5 
2 6 3 7 1 5 0 4 
2 6 4 7 1 3 0 5 
2 6 4 7 1 5 0 3 
2 6 5 7 1 3 0 4 
2 6 5 7 1 4 0 3 
3 2 4 7 1 5 0 6 
3 2 4 7 1 6 0 5 
3 2 5 7 1 4 0 6 
3 2 5 7 1 6 0 4 
3 2 6 7 1 4 0 5 
3 2 6 7 1 5 0 4 
3 4 2 7 1 5 0 6 
3 4 2 7 1 6 0 5 
3 4 5 7 1 2 0 6 
3 4 5 7 1 6 0 2 
3 4 6 7 1 2 0 5 
3 4 6 7 1 5 0 2 
3 5 2 7 1 4 0 6 
3 5 2 7 1 6 0 4 
3 5 4 7 1 2 0 6 
3 5 4 7 1 6 0 2 
3 5 6 7 1 2 0 4 
3 5 6 7 1 4 0 2 
3 6 2 7 1 4 0 5 
3 6 2 7 1 5 0 4 
3 6 4 7 1 2 0 5 
3 6 4 7 1 5 0 2 
3 6 5 7 1 2 0 4 
3 6 5 7 1 4 0 2 
4 2 3 7 1 5 0 6 
4 2 3 7 1 6 0 5 
4 2 5 7 1 3 0 6 
4 2 5 7 1 6 0 3 
4 2 6 7 1 3 0 5 
4 2 6 7 1 5 0 3 
4 3 2 7 1 5 0 6 
4 3 2 7 1 6 0 5 
4 3 5 7 1 2 0 6 
4 3 5 7 1 6 0 2 
4 3 6 7 1 2 0 5 
4 3 6 7 1 5 0 2 
4 5 2 7 1 3 0 6 
4 5 2 7 1 6 0 3 
4 5 3 7 1 2 0 6 
4 5 3 7 1 6 0 2 
4 5 6 7 1 2 0 3 
4 5 6 7 1 3 0 2 
4 6 2 7 1 3 0 5 
4 6 2 7 1 5 0 3 
4 6 3 7 1 2 0 5 
4 6 3 7 1 5 0 2 
4 6 5 7 1 2 0 3 
4 6 5 7 1 3 0 2 
5 2 3 7 1 4 0 6 
5 2 3 7 1 6 0 4 
5 2 4 7 1 3 0 6 
5 2 4 7 1 6 0 3 
5 2 6 7 1 3 0 4 
5 2 6 7 1 4 0 3 
5 3 2 7 1 4 0 6 
5 3 2 7 1 6 0 4 
5 3 4 7 1 2 0 6 
5 3 4 7 1 6 0 2 
5 3 6 7 1 2 0 4 
5 3 6 7 1 4 0 2 
5 4 2 7 1 3 0 6 
5 4 2 7 1 6 0 3 
5 4 3 7 1 2 0 6 
5 4 3 7 1 6 0 2 
5 4 6 7 1 2 0 3 
5 4 6 7 1 3 0 2 
5 6 2 7 1 3 0 4 
5 6 2 7 1 4 0 3 
5 6 3 7 1 2 0 4 
5 6 3 7 1 4 0 2 
5 6 4 7 1 2 0 3 
5 6 4 7 1 3 0 2 
6 2 3 7 1 4 0 5 
6 2 3 7 1 5 0 4 
6 2 4 7 1 3 0 5 
6 2 4 7 1 5 0 3 
6 2 5 7 1 3 0 4 
6 2 5 7 1 4 0 3 
6 3 2 7 1 4 0 5 
6 3 2 7 1 5 0 4 
6 3 4 7 1 2 0 5 
6 3 4 7 1 5 0 2 
6 3 5 7 1 2 0 4 
6 3 5 7 1 4 0 2 
6 4 2 7 1 3 0 5 
6 4 2 7 1 5 0 3 
6 4 3 7 1 2 0 5 
6 4 3 7 1 5 0 2 
6 4 5 7 1 2 0 3 
6 4 5 7 1 3 0 2 
6 5 2 7 1 3 0 4 
6 5 2 7 1 4 0 3 
6 5 3 7 1 2 0 4 
6 5 3 7 1 4 0 2 
6 5 4 7 1 2 0 3 
6 5 4 7 1 3 0 2