simsun_perm_exc_aexc_fix
SimSun Permutation, in cycles, with $exc, aexc, fix$ (back to Data page)
定義：
- SimSun Permutation of [n]： A permutation $\rho \in \mathbb{S}_n$ is simsun if for all $k \leq n$, the subword of $\rho$ restricted to [k] does not have three consecutive decreasing elements.
- $exc$($\rho$) = # $\{i \mid \rho(|\rho(i)|) > \rho(i) \}$
- $aexc$($\rho$) = # $\{i \mid \rho(|\rho(i)|) < \rho(i) \}$
- $fix$($\rho$) = # $\{i \mid \rho(i) = i \}$
目錄：
總數
| n | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| total | 2 | 5 | 16 | 61 | 272 | 1385 | 7936 | 50521 | 353792 | 2702765 |
分項
| n |
total |
numbers | $exc$ | $aexc$ | $fix$ |
| 2 |
2 |
1 | 0 | 0 | 2 |
| 1 | 1 | 1 | 0 |
| 3 |
5 |
1 | 0 | 0 | 3 |
| 2 | 1 | 1 | 1 |
| 1 | 1 | 2 | 0 |
| 1 | 2 | 1 | 0 |
| 4 |
16 |
1 | 0 | 0 | 4 |
| 4 | 1 | 1 | 2 |
| 3 | 1 | 2 | 1 |
| 2 | 2 | 1 | 1 |
| 1 | 1 | 3 | 0 |
| 4 | 2 | 2 | 0 |
| 1 | 3 | 1 | 0 |
| 5 |
61 |
1 | 0 | 0 | 5 |
| 7 | 1 | 1 | 3 |
| 7 | 1 | 2 | 2 |
| 5 | 2 | 1 | 2 |
| 4 | 1 | 3 | 1 |
| 13 | 2 | 2 | 1 |
| 2 | 3 | 1 | 1 |
| 1 | 1 | 4 | 0 |
| 11 | 2 | 3 | 0 |
| 9 | 3 | 2 | 0 |
| 1 | 4 | 1 | 0 |
| 6 |
272 |
1 | 0 | 0 | 6 |
| 11 | 1 | 1 | 4 |
| 14 | 1 | 2 | 3 |
| 10 | 2 | 1 | 3 |
| 11 | 1 | 3 | 2 |
| 37 | 2 | 2 | 2 |
| 6 | 3 | 1 | 2 |
| 5 | 1 | 4 | 1 |
| 49 | 2 | 3 | 1 |
| 31 | 3 | 2 | 1 |
| 2 | 4 | 1 | 1 |
| 1 | 1 | 5 | 0 |
| 27 | 2 | 4 | 0 |
| 48 | 3 | 3 | 0 |
| 18 | 4 | 2 | 0 |
| 1 | 5 | 1 | 0 |
| 7 |
1385 |
1 | 0 | 0 | 7 |
| 16 | 1 | 1 | 5 |
| 25 | 1 | 2 | 4 |
| 18 | 2 | 1 | 4 |
| 25 | 1 | 3 | 3 |
| 88 | 2 | 2 | 3 |
| 13 | 3 | 1 | 3 |
| 16 | 1 | 4 | 2 |
| 155 | 2 | 3 | 2 |
| 100 | 3 | 2 | 2 |
| 7 | 4 | 1 | 2 |
| 6 | 1 | 5 | 1 |
| 142 | 2 | 4 | 1 |
| 228 | 3 | 3 | 1 |
| 65 | 4 | 2 | 1 |
| 2 | 5 | 1 | 1 |
| 1 | 1 | 6 | 0 |
| 61 | 2 | 5 | 0 |
| 221 | 3 | 4 | 0 |
| 160 | 4 | 3 | 0 |
| 34 | 5 | 2 | 0 |
| 1 | 6 | 1 | 0 |
| 8 |
7936 |
1 | 0 | 0 | 8 |
| 22 | 1 | 1 | 6 |
| 41 | 1 | 2 | 5 |
| 30 | 2 | 1 | 5 |
| 50 | 1 | 3 | 4 |
| 183 | 2 | 2 | 4 |
| 26 | 3 | 1 | 4 |
| 41 | 1 | 4 | 3 |
| 400 | 2 | 3 | 3 |
| 262 | 3 | 2 | 3 |
| 16 | 4 | 1 | 3 |
| 22 | 1 | 5 | 2 |
| 494 | 2 | 4 | 2 |
| 811 | 3 | 3 | 2 |
| 231 | 4 | 2 | 2 |
| 8 | 5 | 1 | 2 |
| 7 | 1 | 6 | 1 |
| 362 | 2 | 5 | 1 |
| 1262 | 3 | 4 | 1 |
| 799 | 4 | 3 | 1 |
| 129 | 5 | 2 | 1 |
| 2 | 6 | 1 | 1 |
| 1 | 1 | 7 | 0 |
| 131 | 2 | 6 | 0 |
| 886 | 3 | 5 | 0 |
| 1177 | 4 | 4 | 0 |
| 479 | 5 | 3 | 0 |
| 62 | 6 | 2 | 0 |
| 1 | 7 | 1 | 0 |
| 9 |
50521 |
1 | 0 | 0 | 9 |
| 29 | 1 | 1 | 7 |
| 63 | 1 | 2 | 6 |
| 47 | 2 | 1 | 6 |
| 91 | 1 | 3 | 5 |
| 344 | 2 | 2 | 5 |
| 48 | 3 | 1 | 5 |
| 91 | 1 | 4 | 4 |
| 896 | 2 | 3 | 4 |
| 601 | 3 | 2 | 4 |
| 35 | 4 | 1 | 4 |
| 63 | 1 | 5 | 3 |
| 1376 | 2 | 4 | 3 |
| 2343 | 3 | 3 | 3 |
| 651 | 4 | 2 | 3 |
| 19 | 5 | 1 | 3 |
| 29 | 1 | 6 | 2 |
| 1370 | 2 | 5 | 2 |
| 4868 | 3 | 4 | 2 |
| 3112 | 4 | 3 | 2 |
| 497 | 5 | 2 | 2 |
| 9 | 6 | 1 | 2 |
| 8 | 1 | 7 | 1 |
| 858 | 2 | 6 | 1 |
| 5681 | 3 | 5 | 1 |
| 7130 | 4 | 4 | 1 |
| 2500 | 5 | 3 | 1 |
| 248 | 6 | 2 | 1 |
| 2 | 7 | 1 | 1 |
| 1 | 1 | 8 | 0 |
| 273 | 2 | 7 | 0 |
| 3172 | 3 | 6 | 0 |
| 7408 | 4 | 5 | 0 |
| 5197 | 5 | 4 | 0 |
| 1348 | 6 | 3 | 0 |
| 111 | 7 | 2 | 0 |
| 1 | 8 | 1 | 0 |
| 10 |
353792 |
1 | 0 | 0 | 10 |
| 37 | 1 | 1 | 8 |
| 92 | 1 | 2 | 7 |
| 70 | 2 | 1 | 7 |
| 154 | 1 | 3 | 6 |
| 598 | 2 | 2 | 6 |
| 83 | 3 | 1 | 6 |
| 182 | 1 | 4 | 5 |
| 1807 | 2 | 3 | 5 |
| 1247 | 3 | 2 | 5 |
| 70 | 4 | 1 | 5 |
| 154 | 1 | 5 | 4 |
| 3302 | 2 | 4 | 4 |
| 5844 | 3 | 3 | 4 |
| 1616 | 4 | 2 | 4 |
| 45 | 5 | 1 | 4 |
| 92 | 1 | 6 | 3 |
| 4094 | 2 | 5 | 3 |
| 14985 | 3 | 4 | 3 |
| 9775 | 4 | 3 | 3 |
| 1490 | 5 | 2 | 3 |
| 22 | 6 | 1 | 3 |
| 37 | 1 | 7 | 2 |
| 3500 | 2 | 6 | 2 |
| 23493 | 3 | 5 | 2 |
| 30007 | 4 | 4 | 2 |
| 10484 | 5 | 3 | 2 |
| 1026 | 6 | 2 | 2 |
| 10 | 7 | 1 | 2 |
| 9 | 1 | 8 | 1 |
| 1946 | 2 | 7 | 1 |
| 22290 | 3 | 6 | 1 |
| 50870 | 4 | 5 | 1 |
| 33032 | 5 | 4 | 1 |
| 7360 | 6 | 3 | 1 |
| 468 | 7 | 2 | 1 |
| 2 | 8 | 1 | 1 |
| 1 | 1 | 9 | 0 |
| 559 | 2 | 8 | 0 |
| 10475 | 3 | 7 | 0 |
| 40496 | 4 | 6 | 0 |
| 47320 | 5 | 5 | 0 |
| 20810 | 6 | 4 | 0 |
| 3639 | 7 | 3 | 0 |
| 197 | 8 | 2 | 0 |
| 1 | 9 | 1 | 0 |
Data
n=2, Total: 2
1. [[1, 2]] {'exc': 1, 'aexc': 1, 'fix': 0}
2. [[1], [2]] {'exc': 0, 'aexc': 0, 'fix': 2}
n=3, Total: 5
1. [[1, 2, 3]] {'exc': 2, 'aexc': 1, 'fix': 0}
2. [[1, 2], [3]] {'exc': 1, 'aexc': 1, 'fix': 1}
3. [[1, 3, 2]] {'exc': 1, 'aexc': 2, 'fix': 0}
4. [[1], [2, 3]] {'exc': 1, 'aexc': 1, 'fix': 1}
5. [[1], [2], [3]] {'exc': 0, 'aexc': 0, 'fix': 3}
n=4, Total: 16
1. [[1, 4], [2], [3]] {'exc': 1, 'aexc': 1, 'fix': 2}
2. [[1, 2, 3, 4]] {'exc': 3, 'aexc': 1, 'fix': 0}
3. [[1, 2, 3], [4]] {'exc': 2, 'aexc': 1, 'fix': 1}
4. [[1, 2, 4, 3]] {'exc': 2, 'aexc': 2, 'fix': 0}
5. [[1, 2], [3, 4]] {'exc': 2, 'aexc': 2, 'fix': 0}
6. [[1, 2], [3], [4]] {'exc': 1, 'aexc': 1, 'fix': 2}
7. [[1, 3], [2, 4]] {'exc': 2, 'aexc': 2, 'fix': 0}
8. [[1, 3, 4, 2]] {'exc': 2, 'aexc': 2, 'fix': 0}
9. [[1, 3, 2], [4]] {'exc': 1, 'aexc': 2, 'fix': 1}
10. [[1, 4, 2], [3]] {'exc': 1, 'aexc': 2, 'fix': 1}
11. [[1], [2, 3, 4]] {'exc': 2, 'aexc': 1, 'fix': 1}
12. [[1], [2, 3], [4]] {'exc': 1, 'aexc': 1, 'fix': 2}
13. [[1, 4, 3, 2]] {'exc': 1, 'aexc': 3, 'fix': 0}
14. [[1], [2, 4, 3]] {'exc': 1, 'aexc': 2, 'fix': 1}
15. [[1], [2], [3, 4]] {'exc': 1, 'aexc': 1, 'fix': 2}
16. [[1], [2], [3], [4]] {'exc': 0, 'aexc': 0, 'fix': 4}
n= 5, Total: 61
1. [[1, 4, 3, 2, 5]] {'exc': 2, 'aexc': 3, 'fix': 0}
2. [[1, 4, 5], [2], [3]] {'exc': 2, 'aexc': 1, 'fix': 2}
3. [[1, 4], [2], [3], [5]] {'exc': 1, 'aexc': 1, 'fix': 3}
4. [[1, 5], [2], [3], [4]] {'exc': 1, 'aexc': 1, 'fix': 3}
5. [[1, 2, 5], [3], [4]] {'exc': 2, 'aexc': 1, 'fix': 2}
6. [[1, 2, 3, 4, 5]] {'exc': 4, 'aexc': 1, 'fix': 0}
7. [[1, 2, 3, 4], [5]] {'exc': 3, 'aexc': 1, 'fix': 1}
8. [[1, 5, 4], [2], [3]] {'exc': 1, 'aexc': 2, 'fix': 2}
9. [[1, 2, 3, 5, 4]] {'exc': 3, 'aexc': 2, 'fix': 0}
10. [[1, 2, 3], [4, 5]] {'exc': 3, 'aexc': 2, 'fix': 0}
11. [[1, 2, 3], [4], [5]] {'exc': 2, 'aexc': 1, 'fix': 2}
12. [[1, 5, 3, 4], [2]] {'exc': 2, 'aexc': 2, 'fix': 1}
13. [[1, 2, 4], [3, 5]] {'exc': 3, 'aexc': 2, 'fix': 0}
14. [[1, 2, 4, 5, 3]] {'exc': 3, 'aexc': 2, 'fix': 0}
15. [[1, 2, 4, 3], [5]] {'exc': 2, 'aexc': 2, 'fix': 1}
16. [[1, 2, 5, 3], [4]] {'exc': 2, 'aexc': 2, 'fix': 1}
17. [[1, 2], [3, 4, 5]] {'exc': 3, 'aexc': 2, 'fix': 0}
18. [[1, 2], [3, 4], [5]] {'exc': 2, 'aexc': 2, 'fix': 1}
19. [[1, 2, 5, 4, 3]] {'exc': 2, 'aexc': 3, 'fix': 0}
20. [[1, 2], [3, 5, 4]] {'exc': 2, 'aexc': 3, 'fix': 0}
21. [[1, 2], [3], [4, 5]] {'exc': 2, 'aexc': 2, 'fix': 1}
22. [[1, 2], [3], [4], [5]] {'exc': 1, 'aexc': 1, 'fix': 3}
23. [[1, 5, 2, 3, 4]] {'exc': 3, 'aexc': 2, 'fix': 0}
24. [[1, 3, 5, 2, 4]] {'exc': 3, 'aexc': 2, 'fix': 0}
25. [[1, 3], [2, 4, 5]] {'exc': 3, 'aexc': 2, 'fix': 0}
26. [[1, 3], [2, 4], [5]] {'exc': 2, 'aexc': 2, 'fix': 1}
27. [[1, 3], [2, 5], [4]] {'exc': 2, 'aexc': 2, 'fix': 1}
28. [[1, 3, 4, 5, 2]] {'exc': 3, 'aexc': 2, 'fix': 0}
29. [[1, 3, 4, 2], [5]] {'exc': 2, 'aexc': 2, 'fix': 1}
30. [[1, 3], [2, 5, 4]] {'exc': 2, 'aexc': 3, 'fix': 0}
31. [[1, 3, 5, 4, 2]] {'exc': 2, 'aexc': 3, 'fix': 0}
32. [[1, 3, 2], [4, 5]] {'exc': 2, 'aexc': 3, 'fix': 0}
33. [[1, 3, 2], [4], [5]] {'exc': 1, 'aexc': 2, 'fix': 2}
34. [[1, 4, 3], [2, 5]] {'exc': 2, 'aexc': 3, 'fix': 0}
35. [[1, 4, 5, 2], [3]] {'exc': 2, 'aexc': 2, 'fix': 1}
36. [[1, 4, 2], [3], [5]] {'exc': 1, 'aexc': 2, 'fix': 2}
37. [[1, 5, 2], [3], [4]] {'exc': 1, 'aexc': 2, 'fix': 2}
38. [[1], [2, 5], [3], [4]] {'exc': 1, 'aexc': 1, 'fix': 3}
39. [[1], [2, 3, 4, 5]] {'exc': 3, 'aexc': 1, 'fix': 1}
40. [[1], [2, 3, 4], [5]] {'exc': 2, 'aexc': 1, 'fix': 2}
41. [[1, 5, 4, 2], [3]] {'exc': 1, 'aexc': 3, 'fix': 1}
42. [[1], [2, 3, 5, 4]] {'exc': 2, 'aexc': 2, 'fix': 1}
43. [[1], [2, 3], [4, 5]] {'exc': 2, 'aexc': 2, 'fix': 1}
44. [[1], [2, 3], [4], [5]] {'exc': 1, 'aexc': 1, 'fix': 3}
45. [[1, 4, 2, 5, 3]] {'exc': 2, 'aexc': 3, 'fix': 0}
46. [[1, 4, 2], [3, 5]] {'exc': 2, 'aexc': 3, 'fix': 0}
47. [[1, 4, 5, 3, 2]] {'exc': 2, 'aexc': 3, 'fix': 0}
48. [[1, 4, 3, 2], [5]] {'exc': 1, 'aexc': 3, 'fix': 1}
49. [[1, 5, 3, 4, 2]] {'exc': 2, 'aexc': 3, 'fix': 0}
50. [[1], [2, 4], [3, 5]] {'exc': 2, 'aexc': 2, 'fix': 1}
51. [[1], [2, 4, 5, 3]] {'exc': 2, 'aexc': 2, 'fix': 1}
52. [[1], [2, 4, 3], [5]] {'exc': 1, 'aexc': 2, 'fix': 2}
53. [[1, 5, 3, 2], [4]] {'exc': 1, 'aexc': 3, 'fix': 1}
54. [[1], [2, 5, 3], [4]] {'exc': 1, 'aexc': 2, 'fix': 2}
55. [[1], [2], [3, 4, 5]] {'exc': 2, 'aexc': 1, 'fix': 2}
56. [[1], [2], [3, 4], [5]] {'exc': 1, 'aexc': 1, 'fix': 3}
57. [[1, 5, 4, 3, 2]] {'exc': 1, 'aexc': 4, 'fix': 0}
58. [[1], [2, 5, 4, 3]] {'exc': 1, 'aexc': 3, 'fix': 1}
59. [[1], [2], [3, 5, 4]] {'exc': 1, 'aexc': 2, 'fix': 2}
60. [[1], [2], [3], [4, 5]] {'exc': 1, 'aexc': 1, 'fix': 3}
61. [[1], [2], [3], [4], [5]] {'exc': 0, 'aexc': 0, 'fix': 5}
n= 6, Total: 272
1. [[1, 6], [2, 4], [3, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
2. [[1, 4, 2, 5, 3, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
3. [[1, 4, 3, 2, 5, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
4. [[1, 4, 3, 2, 5], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
5. [[1, 4, 3, 2, 6], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
6. [[1, 4, 3, 6], [2], [5]] {'exc': 2, 'aexc': 2, 'fix': 2}
7. [[1, 4, 5, 6], [2], [3]] {'exc': 3, 'aexc': 1, 'fix': 2}
8. [[1, 4, 5], [2], [3], [6]] {'exc': 2, 'aexc': 1, 'fix': 3}
9. [[1, 4, 3, 2, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 0}
10. [[1, 4, 6, 5], [2], [3]] {'exc': 2, 'aexc': 2, 'fix': 2}
11. [[1, 4], [2], [3], [5, 6]] {'exc': 2, 'aexc': 2, 'fix': 2}
12. [[1, 4], [2], [3], [5], [6]] {'exc': 1, 'aexc': 1, 'fix': 4}
13. [[1, 5, 4, 3, 2, 6]] {'exc': 2, 'aexc': 4, 'fix': 0}
14. [[1, 5, 4, 3, 6], [2]] {'exc': 2, 'aexc': 3, 'fix': 1}
15. [[1, 5, 6], [2], [3], [4]] {'exc': 2, 'aexc': 1, 'fix': 3}
16. [[1, 5], [2], [3], [4], [6]] {'exc': 1, 'aexc': 1, 'fix': 4}
17. [[1, 6], [2], [3, 5, 4]] {'exc': 2, 'aexc': 3, 'fix': 1}
18. [[1, 2, 5, 4, 3, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
19. [[1, 2, 5, 6], [3], [4]] {'exc': 3, 'aexc': 1, 'fix': 2}
20. [[1, 2, 5], [3], [4], [6]] {'exc': 2, 'aexc': 1, 'fix': 3}
21. [[1, 6], [2], [3], [4], [5]] {'exc': 1, 'aexc': 1, 'fix': 4}
22. [[1, 2, 6], [3], [4], [5]] {'exc': 2, 'aexc': 1, 'fix': 3}
23. [[1, 2, 3, 6], [4], [5]] {'exc': 3, 'aexc': 1, 'fix': 2}
24. [[1, 2, 3, 4, 5, 6]] {'exc': 5, 'aexc': 1, 'fix': 0}
25. [[1, 2, 3, 4, 5], [6]] {'exc': 4, 'aexc': 1, 'fix': 1}
26. [[1, 6, 5], [2], [3], [4]] {'exc': 1, 'aexc': 2, 'fix': 3}
27. [[1, 2, 6, 5], [3], [4]] {'exc': 2, 'aexc': 2, 'fix': 2}
28. [[1, 2, 3, 4, 6, 5]] {'exc': 4, 'aexc': 2, 'fix': 0}
29. [[1, 2, 3, 4], [5, 6]] {'exc': 4, 'aexc': 2, 'fix': 0}
30. [[1, 2, 3, 4], [5], [6]] {'exc': 3, 'aexc': 1, 'fix': 2}
31. [[1, 5], [2, 6, 4, 3]] {'exc': 2, 'aexc': 4, 'fix': 0}
32. [[1, 5], [2], [3], [4, 6]] {'exc': 2, 'aexc': 2, 'fix': 2}
33. [[1, 5, 6, 4], [2], [3]] {'exc': 2, 'aexc': 2, 'fix': 2}
34. [[1, 5, 4], [2], [3], [6]] {'exc': 1, 'aexc': 2, 'fix': 3}
35. [[1, 6, 4, 5], [2], [3]] {'exc': 2, 'aexc': 2, 'fix': 2}
36. [[1, 2, 6, 4, 5], [3]] {'exc': 3, 'aexc': 2, 'fix': 1}
37. [[1, 2, 3, 5], [4, 6]] {'exc': 4, 'aexc': 2, 'fix': 0}
38. [[1, 2, 3, 5, 6, 4]] {'exc': 4, 'aexc': 2, 'fix': 0}
39. [[1, 2, 3, 5, 4], [6]] {'exc': 3, 'aexc': 2, 'fix': 1}
40. [[1, 6, 4], [2], [3], [5]] {'exc': 1, 'aexc': 2, 'fix': 3}
41. [[1, 2, 3, 6, 4], [5]] {'exc': 3, 'aexc': 2, 'fix': 1}
42. [[1, 2, 3], [4, 5, 6]] {'exc': 4, 'aexc': 2, 'fix': 0}
43. [[1, 2, 3], [4, 5], [6]] {'exc': 3, 'aexc': 2, 'fix': 1}
44. [[1, 6, 5, 4], [2], [3]] {'exc': 1, 'aexc': 3, 'fix': 2}
45. [[1, 2, 3, 6, 5, 4]] {'exc': 3, 'aexc': 3, 'fix': 0}
46. [[1, 2, 3], [4, 6, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
47. [[1, 2, 3], [4], [5, 6]] {'exc': 3, 'aexc': 2, 'fix': 1}
48. [[1, 2, 3], [4], [5], [6]] {'exc': 2, 'aexc': 1, 'fix': 3}
49. [[1, 5], [2, 6, 3], [4]] {'exc': 2, 'aexc': 3, 'fix': 1}
50. [[1, 5], [2], [3, 4, 6]] {'exc': 3, 'aexc': 2, 'fix': 1}
51. [[1, 5, 6, 3, 4], [2]] {'exc': 3, 'aexc': 2, 'fix': 1}
52. [[1, 5, 3, 4], [2], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
53. [[1, 6, 3, 4, 5], [2]] {'exc': 3, 'aexc': 2, 'fix': 1}
54. [[1, 2, 6, 3, 4, 5]] {'exc': 4, 'aexc': 2, 'fix': 0}
55. [[1, 2, 4, 6, 3, 5]] {'exc': 4, 'aexc': 2, 'fix': 0}
56. [[1, 2, 4], [3, 5, 6]] {'exc': 4, 'aexc': 2, 'fix': 0}
57. [[1, 2, 4], [3, 5], [6]] {'exc': 3, 'aexc': 2, 'fix': 1}
58. [[1, 6, 3, 4], [2], [5]] {'exc': 2, 'aexc': 2, 'fix': 2}
59. [[1, 2, 4], [3, 6], [5]] {'exc': 3, 'aexc': 2, 'fix': 1}
60. [[1, 2, 4, 5, 6, 3]] {'exc': 4, 'aexc': 2, 'fix': 0}
61. [[1, 2, 4, 5, 3], [6]] {'exc': 3, 'aexc': 2, 'fix': 1}
62. [[1, 6, 5, 3, 4], [2]] {'exc': 2, 'aexc': 3, 'fix': 1}
63. [[1, 2, 4], [3, 6, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
64. [[1, 2, 4, 6, 5, 3]] {'exc': 3, 'aexc': 3, 'fix': 0}
65. [[1, 2, 4, 3], [5, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
66. [[1, 2, 4, 3], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
67. [[1, 6, 3, 5, 4], [2]] {'exc': 2, 'aexc': 3, 'fix': 1}
68. [[1, 2, 5, 4], [3, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
69. [[1, 2, 5, 6, 3], [4]] {'exc': 3, 'aexc': 2, 'fix': 1}
70. [[1, 2, 5, 3], [4], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
71. [[1, 2, 6, 3], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 2}
72. [[1, 2], [3, 6], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 2}
73. [[1, 2], [3, 4, 5, 6]] {'exc': 4, 'aexc': 2, 'fix': 0}
74. [[1, 2], [3, 4, 5], [6]] {'exc': 3, 'aexc': 2, 'fix': 1}
75. [[1, 2, 6, 5, 3], [4]] {'exc': 2, 'aexc': 3, 'fix': 1}
76. [[1, 2], [3, 4, 6, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
77. [[1, 2], [3, 4], [5, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
78. [[1, 2], [3, 4], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
79. [[1, 6, 4], [2], [3, 5]] {'exc': 2, 'aexc': 3, 'fix': 1}
80. [[1, 2, 5, 3, 6, 4]] {'exc': 3, 'aexc': 3, 'fix': 0}
81. [[1, 2, 5, 3], [4, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
82. [[1, 2, 5, 6, 4, 3]] {'exc': 3, 'aexc': 3, 'fix': 0}
83. [[1, 2, 5, 4, 3], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
84. [[1, 2, 6, 4, 5, 3]] {'exc': 3, 'aexc': 3, 'fix': 0}
85. [[1, 2], [3, 5], [4, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
86. [[1, 2], [3, 5, 6, 4]] {'exc': 3, 'aexc': 3, 'fix': 0}
87. [[1, 2], [3, 5, 4], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
88. [[1, 2, 6, 4, 3], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
89. [[1, 2], [3, 6, 4], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
90. [[1, 2], [3], [4, 5, 6]] {'exc': 3, 'aexc': 2, 'fix': 1}
91. [[1, 2], [3], [4, 5], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
92. [[1, 2, 6, 5, 4, 3]] {'exc': 2, 'aexc': 4, 'fix': 0}
93. [[1, 2], [3, 6, 5, 4]] {'exc': 2, 'aexc': 4, 'fix': 0}
94. [[1, 2], [3], [4, 6, 5]] {'exc': 2, 'aexc': 3, 'fix': 1}
95. [[1, 2], [3], [4], [5, 6]] {'exc': 2, 'aexc': 2, 'fix': 2}
96. [[1, 2], [3], [4], [5], [6]] {'exc': 1, 'aexc': 1, 'fix': 4}
97. [[1, 5], [2, 6], [3], [4]] {'exc': 2, 'aexc': 2, 'fix': 2}
98. [[1, 5], [2, 3, 4, 6]] {'exc': 4, 'aexc': 2, 'fix': 0}
99. [[1, 5, 6, 2, 3, 4]] {'exc': 4, 'aexc': 2, 'fix': 0}
100. [[1, 5, 2, 3, 4], [6]] {'exc': 3, 'aexc': 2, 'fix': 1}
101. [[1, 6, 2, 3, 4, 5]] {'exc': 4, 'aexc': 2, 'fix': 0}
102. [[1, 3, 4, 5], [2, 6]] {'exc': 4, 'aexc': 2, 'fix': 0}
103. [[1, 3, 5], [2, 4, 6]] {'exc': 4, 'aexc': 2, 'fix': 0}
104. [[1, 3, 5, 6, 2, 4]] {'exc': 4, 'aexc': 2, 'fix': 0}
105. [[1, 3, 5, 2, 4], [6]] {'exc': 3, 'aexc': 2, 'fix': 1}
106. [[1, 6, 2, 3, 4], [5]] {'exc': 3, 'aexc': 2, 'fix': 1}
107. [[1, 3, 6, 2, 4], [5]] {'exc': 3, 'aexc': 2, 'fix': 1}
108. [[1, 3], [2, 4, 5, 6]] {'exc': 4, 'aexc': 2, 'fix': 0}
109. [[1, 3], [2, 4, 5], [6]] {'exc': 3, 'aexc': 2, 'fix': 1}
110. [[1, 6, 5, 2, 3, 4]] {'exc': 3, 'aexc': 3, 'fix': 0}
111. [[1, 3, 6, 5, 2, 4]] {'exc': 3, 'aexc': 3, 'fix': 0}
112. [[1, 3], [2, 4, 6, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
113. [[1, 3], [2, 4], [5, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
114. [[1, 3], [2, 4], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
115. [[1, 6, 2, 3, 5, 4]] {'exc': 3, 'aexc': 3, 'fix': 0}
116. [[1, 3, 6, 2, 5, 4]] {'exc': 3, 'aexc': 3, 'fix': 0}
117. [[1, 3], [2, 5, 6], [4]] {'exc': 3, 'aexc': 2, 'fix': 1}
118. [[1, 3], [2, 5], [4], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
119. [[1, 3], [2, 6], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 2}
120. [[1, 3, 6, 2], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 2}
121. [[1, 3, 4, 5, 6, 2]] {'exc': 4, 'aexc': 2, 'fix': 0}
122. [[1, 3, 4, 5, 2], [6]] {'exc': 3, 'aexc': 2, 'fix': 1}
123. [[1, 3], [2, 6, 5], [4]] {'exc': 2, 'aexc': 3, 'fix': 1}
124. [[1, 3, 4, 6, 5, 2]] {'exc': 3, 'aexc': 3, 'fix': 0}
125. [[1, 3, 4, 2], [5, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
126. [[1, 3, 4, 2], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
127. [[1, 6, 4], [2, 3, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
128. [[1, 3, 6, 4], [2, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
129. [[1, 3], [2, 5], [4, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
130. [[1, 3], [2, 5, 6, 4]] {'exc': 3, 'aexc': 3, 'fix': 0}
131. [[1, 3], [2, 5, 4], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
132. [[1, 3], [2, 6, 4, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
133. [[1, 3, 5, 2], [4, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
134. [[1, 3, 5, 6, 4, 2]] {'exc': 3, 'aexc': 3, 'fix': 0}
135. [[1, 3, 5, 4, 2], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
136. [[1, 3], [2, 6, 4], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
137. [[1, 3, 6, 4, 2], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
138. [[1, 3, 2], [4, 5, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
139. [[1, 3, 2], [4, 5], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
140. [[1, 3], [2, 6, 5, 4]] {'exc': 2, 'aexc': 4, 'fix': 0}
141. [[1, 3, 6, 5, 4, 2]] {'exc': 2, 'aexc': 4, 'fix': 0}
142. [[1, 3, 2], [4, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 0}
143. [[1, 3, 2], [4], [5, 6]] {'exc': 2, 'aexc': 3, 'fix': 1}
144. [[1, 3, 2], [4], [5], [6]] {'exc': 1, 'aexc': 2, 'fix': 3}
145. [[1, 6, 2, 4], [3, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
146. [[1, 4], [2, 5, 3, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
147. [[1, 4, 3], [2, 5, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
148. [[1, 4, 3], [2, 5], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
149. [[1, 4, 3], [2, 6], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
150. [[1, 4, 3, 6, 2], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
151. [[1, 4, 5, 6, 2], [3]] {'exc': 3, 'aexc': 2, 'fix': 1}
152. [[1, 4, 5, 2], [3], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
153. [[1, 4, 3], [2, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 0}
154. [[1, 4, 6, 5, 2], [3]] {'exc': 2, 'aexc': 3, 'fix': 1}
155. [[1, 4, 2], [3], [5, 6]] {'exc': 2, 'aexc': 3, 'fix': 1}
156. [[1, 4, 2], [3], [5], [6]] {'exc': 1, 'aexc': 2, 'fix': 3}
157. [[1, 5, 4, 3], [2, 6]] {'exc': 2, 'aexc': 4, 'fix': 0}
158. [[1, 5, 4, 3, 6, 2]] {'exc': 2, 'aexc': 4, 'fix': 0}
159. [[1, 5, 6, 2], [3], [4]] {'exc': 2, 'aexc': 2, 'fix': 2}
160. [[1, 5, 2], [3], [4], [6]] {'exc': 1, 'aexc': 2, 'fix': 3}
161. [[1, 6, 2], [3, 5, 4]] {'exc': 2, 'aexc': 4, 'fix': 0}
162. [[1], [2, 5, 4, 3, 6]] {'exc': 2, 'aexc': 3, 'fix': 1}
163. [[1], [2, 5, 6], [3], [4]] {'exc': 2, 'aexc': 1, 'fix': 3}
164. [[1], [2, 5], [3], [4], [6]] {'exc': 1, 'aexc': 1, 'fix': 4}
165. [[1, 6, 2], [3], [4], [5]] {'exc': 1, 'aexc': 2, 'fix': 3}
166. [[1], [2, 6], [3], [4], [5]] {'exc': 1, 'aexc': 1, 'fix': 4}
167. [[1], [2, 3, 6], [4], [5]] {'exc': 2, 'aexc': 1, 'fix': 3}
168. [[1], [2, 3, 4, 5, 6]] {'exc': 4, 'aexc': 1, 'fix': 1}
169. [[1], [2, 3, 4, 5], [6]] {'exc': 3, 'aexc': 1, 'fix': 2}
170. [[1, 6, 5, 2], [3], [4]] {'exc': 1, 'aexc': 3, 'fix': 2}
171. [[1], [2, 6, 5], [3], [4]] {'exc': 1, 'aexc': 2, 'fix': 3}
172. [[1], [2, 3, 4, 6, 5]] {'exc': 3, 'aexc': 2, 'fix': 1}
173. [[1], [2, 3, 4], [5, 6]] {'exc': 3, 'aexc': 2, 'fix': 1}
174. [[1], [2, 3, 4], [5], [6]] {'exc': 2, 'aexc': 1, 'fix': 3}
175. [[1, 5, 2, 6, 4, 3]] {'exc': 2, 'aexc': 4, 'fix': 0}
176. [[1, 5, 2], [3], [4, 6]] {'exc': 2, 'aexc': 3, 'fix': 1}
177. [[1, 5, 6, 4, 2], [3]] {'exc': 2, 'aexc': 3, 'fix': 1}
178. [[1, 5, 4, 2], [3], [6]] {'exc': 1, 'aexc': 3, 'fix': 2}
179. [[1, 6, 4, 5, 2], [3]] {'exc': 2, 'aexc': 3, 'fix': 1}
180. [[1], [2, 6, 4, 5], [3]] {'exc': 2, 'aexc': 2, 'fix': 2}
181. [[1], [2, 3, 5], [4, 6]] {'exc': 3, 'aexc': 2, 'fix': 1}
182. [[1], [2, 3, 5, 6, 4]] {'exc': 3, 'aexc': 2, 'fix': 1}
183. [[1], [2, 3, 5, 4], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
184. [[1, 6, 4, 2], [3], [5]] {'exc': 1, 'aexc': 3, 'fix': 2}
185. [[1], [2, 3, 6, 4], [5]] {'exc': 2, 'aexc': 2, 'fix': 2}
186. [[1], [2, 3], [4, 5, 6]] {'exc': 3, 'aexc': 2, 'fix': 1}
187. [[1], [2, 3], [4, 5], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
188. [[1, 6, 5, 4, 2], [3]] {'exc': 1, 'aexc': 4, 'fix': 1}
189. [[1], [2, 3, 6, 5, 4]] {'exc': 2, 'aexc': 3, 'fix': 1}
190. [[1], [2, 3], [4, 6, 5]] {'exc': 2, 'aexc': 3, 'fix': 1}
191. [[1], [2, 3], [4], [5, 6]] {'exc': 2, 'aexc': 2, 'fix': 2}
192. [[1], [2, 3], [4], [5], [6]] {'exc': 1, 'aexc': 1, 'fix': 4}
193. [[1, 6, 3, 5, 2, 4]] {'exc': 3, 'aexc': 3, 'fix': 0}
194. [[1, 4], [2, 5], [3, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
195. [[1, 4, 6, 3], [2, 5]] {'exc': 3, 'aexc': 3, 'fix': 0}
196. [[1, 4, 2, 5, 6, 3]] {'exc': 3, 'aexc': 3, 'fix': 0}
197. [[1, 4, 2, 5, 3], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
198. [[1, 4, 5, 2, 6, 3]] {'exc': 3, 'aexc': 3, 'fix': 0}
199. [[1, 4, 6, 3, 5, 2]] {'exc': 3, 'aexc': 3, 'fix': 0}
200. [[1, 4, 2], [3, 5, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
201. [[1, 4, 2], [3, 5], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
202. [[1, 4, 2, 6, 3], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
203. [[1, 4, 2], [3, 6], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
204. [[1, 4, 5, 6, 3, 2]] {'exc': 3, 'aexc': 3, 'fix': 0}
205. [[1, 4, 5, 3, 2], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
206. [[1, 4, 2, 6, 5, 3]] {'exc': 2, 'aexc': 4, 'fix': 0}
207. [[1, 4, 2], [3, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 0}
208. [[1, 4, 6, 5, 3, 2]] {'exc': 2, 'aexc': 4, 'fix': 0}
209. [[1, 4, 3, 2], [5, 6]] {'exc': 2, 'aexc': 4, 'fix': 0}
210. [[1, 4, 3, 2], [5], [6]] {'exc': 1, 'aexc': 3, 'fix': 2}
211. [[1, 5, 2, 6, 3], [4]] {'exc': 2, 'aexc': 3, 'fix': 1}
212. [[1, 5, 2], [3, 4, 6]] {'exc': 3, 'aexc': 3, 'fix': 0}
213. [[1, 5, 6, 3, 4, 2]] {'exc': 3, 'aexc': 3, 'fix': 0}
214. [[1, 5, 3, 4, 2], [6]] {'exc': 2, 'aexc': 3, 'fix': 1}
215. [[1, 6, 3, 4, 5, 2]] {'exc': 3, 'aexc': 3, 'fix': 0}
216. [[1], [2, 6, 3, 4, 5]] {'exc': 3, 'aexc': 2, 'fix': 1}
217. [[1], [2, 4, 6, 3, 5]] {'exc': 3, 'aexc': 2, 'fix': 1}
218. [[1], [2, 4], [3, 5, 6]] {'exc': 3, 'aexc': 2, 'fix': 1}
219. [[1], [2, 4], [3, 5], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
220. [[1, 6, 3, 4, 2], [5]] {'exc': 2, 'aexc': 3, 'fix': 1}
221. [[1], [2, 4], [3, 6], [5]] {'exc': 2, 'aexc': 2, 'fix': 2}
222. [[1], [2, 4, 5, 6, 3]] {'exc': 3, 'aexc': 2, 'fix': 1}
223. [[1], [2, 4, 5, 3], [6]] {'exc': 2, 'aexc': 2, 'fix': 2}
224. [[1, 6, 5, 3, 4, 2]] {'exc': 2, 'aexc': 4, 'fix': 0}
225. [[1], [2, 4], [3, 6, 5]] {'exc': 2, 'aexc': 3, 'fix': 1}
226. [[1], [2, 4, 6, 5, 3]] {'exc': 2, 'aexc': 3, 'fix': 1}
227. [[1], [2, 4, 3], [5, 6]] {'exc': 2, 'aexc': 3, 'fix': 1}
228. [[1], [2, 4, 3], [5], [6]] {'exc': 1, 'aexc': 2, 'fix': 3}
229. [[1, 5, 4, 2, 6, 3]] {'exc': 2, 'aexc': 4, 'fix': 0}
230. [[1, 5, 4, 2], [3, 6]] {'exc': 2, 'aexc': 4, 'fix': 0}
231. [[1, 5, 6, 3, 2], [4]] {'exc': 2, 'aexc': 3, 'fix': 1}
232. [[1, 5, 3, 2], [4], [6]] {'exc': 1, 'aexc': 3, 'fix': 2}
233. [[1, 6, 3, 5, 4, 2]] {'exc': 2, 'aexc': 4, 'fix': 0}
234. [[1], [2, 5, 4], [3, 6]] {'exc': 2, 'aexc': 3, 'fix': 1}
235. [[1], [2, 5, 6, 3], [4]] {'exc': 2, 'aexc': 2, 'fix': 2}
236. [[1], [2, 5, 3], [4], [6]] {'exc': 1, 'aexc': 2, 'fix': 3}
237. [[1, 6, 3, 2], [4], [5]] {'exc': 1, 'aexc': 3, 'fix': 2}
238. [[1], [2, 6, 3], [4], [5]] {'exc': 1, 'aexc': 2, 'fix': 3}
239. [[1], [2], [3, 6], [4], [5]] {'exc': 1, 'aexc': 1, 'fix': 4}
240. [[1], [2], [3, 4, 5, 6]] {'exc': 3, 'aexc': 1, 'fix': 2}
241. [[1], [2], [3, 4, 5], [6]] {'exc': 2, 'aexc': 1, 'fix': 3}
242. [[1, 6, 5, 3, 2], [4]] {'exc': 1, 'aexc': 4, 'fix': 1}
243. [[1], [2, 6, 5, 3], [4]] {'exc': 1, 'aexc': 3, 'fix': 2}
244. [[1], [2], [3, 4, 6, 5]] {'exc': 2, 'aexc': 2, 'fix': 2}
245. [[1], [2], [3, 4], [5, 6]] {'exc': 2, 'aexc': 2, 'fix': 2}
246. [[1], [2], [3, 4], [5], [6]] {'exc': 1, 'aexc': 1, 'fix': 4}
247. [[1, 5, 3], [2, 6, 4]] {'exc': 2, 'aexc': 4, 'fix': 0}
248. [[1, 5, 3, 6, 4, 2]] {'exc': 2, 'aexc': 4, 'fix': 0}
249. [[1, 5, 3, 2], [4, 6]] {'exc': 2, 'aexc': 4, 'fix': 0}
250. [[1, 5, 6, 4, 3, 2]] {'exc': 2, 'aexc': 4, 'fix': 0}
251. [[1, 5, 4, 3, 2], [6]] {'exc': 1, 'aexc': 4, 'fix': 1}
252. [[1, 6, 4, 2], [3, 5]] {'exc': 2, 'aexc': 4, 'fix': 0}
253. [[1], [2, 5, 3, 6, 4]] {'exc': 2, 'aexc': 3, 'fix': 1}
254. [[1], [2, 5, 3], [4, 6]] {'exc': 2, 'aexc': 3, 'fix': 1}
255. [[1], [2, 5, 6, 4, 3]] {'exc': 2, 'aexc': 3, 'fix': 1}
256. [[1], [2, 5, 4, 3], [6]] {'exc': 1, 'aexc': 3, 'fix': 2}
257. [[1, 6, 4, 5, 3, 2]] {'exc': 2, 'aexc': 4, 'fix': 0}
258. [[1], [2, 6, 4, 5, 3]] {'exc': 2, 'aexc': 3, 'fix': 1}
259. [[1], [2], [3, 5], [4, 6]] {'exc': 2, 'aexc': 2, 'fix': 2}
260. [[1], [2], [3, 5, 6, 4]] {'exc': 2, 'aexc': 2, 'fix': 2}
261. [[1], [2], [3, 5, 4], [6]] {'exc': 1, 'aexc': 2, 'fix': 3}
262. [[1, 6, 4, 3, 2], [5]] {'exc': 1, 'aexc': 4, 'fix': 1}
263. [[1], [2, 6, 4, 3], [5]] {'exc': 1, 'aexc': 3, 'fix': 2}
264. [[1], [2], [3, 6, 4], [5]] {'exc': 1, 'aexc': 2, 'fix': 3}
265. [[1], [2], [3], [4, 5, 6]] {'exc': 2, 'aexc': 1, 'fix': 3}
266. [[1], [2], [3], [4, 5], [6]] {'exc': 1, 'aexc': 1, 'fix': 4}
267. [[1, 6, 5, 4, 3, 2]] {'exc': 1, 'aexc': 5, 'fix': 0}
268. [[1], [2, 6, 5, 4, 3]] {'exc': 1, 'aexc': 4, 'fix': 1}
269. [[1], [2], [3, 6, 5, 4]] {'exc': 1, 'aexc': 3, 'fix': 2}
270. [[1], [2], [3], [4, 6, 5]] {'exc': 1, 'aexc': 2, 'fix': 3}
271. [[1], [2], [3], [4], [5, 6]] {'exc': 1, 'aexc': 1, 'fix': 4}
272. [[1], [2], [3], [4], [5], [6]] {'exc': 0, 'aexc': 0, 'fix': 6}
n= 7, Total: 1385
1. [[1, 6, 3, 4, 5, 2, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
2. [[1, 6, 3, 5, 2, 4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
3. [[1, 6, 7], [2, 4], [3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
4. [[1, 6], [2, 4], [3, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
5. [[1, 7], [2, 4, 6, 3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
6. [[1, 4, 6, 3, 5, 2, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
7. [[1, 4, 7], [2, 5], [3, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
8. [[1, 4, 2, 5, 3, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
9. [[1, 4, 2, 5, 3, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
10. [[1, 7], [2, 4], [3, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
11. [[1, 4, 2, 5, 3, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
12. [[1, 4, 7], [2, 5, 3], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
13. [[1, 4, 3, 2, 5, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
14. [[1, 4, 3, 2, 5, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
15. [[1, 7, 6], [2, 4], [3, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
16. [[1, 4, 2, 5, 3, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
17. [[1, 4, 3, 2, 5, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
18. [[1, 4, 3, 2, 5], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
19. [[1, 4, 3, 2, 5], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
20. [[1, 7], [2, 4], [3, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
21. [[1, 4, 2, 6, 5, 3, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
22. [[1, 4, 7], [2, 6, 5, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
23. [[1, 4, 3, 2, 6, 7], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
24. [[1, 4, 3, 2, 6], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
25. [[1, 4, 6, 5, 3, 2, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
26. [[1, 4, 7], [2], [3, 6, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
27. [[1, 4, 3, 6, 7], [2], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
28. [[1, 4, 3, 6], [2], [5], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
29. [[1, 4, 3, 2, 7], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
30. [[1, 4, 3, 7], [2], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
31. [[1, 4, 7], [2], [3], [5], [6]] {'exc': 2, 'aexc': 1, 'fix': 4}
32. [[1, 4, 5, 6, 7], [2], [3]] {'exc': 4, 'aexc': 1, 'fix': 2}
33. [[1, 4, 5, 6], [2], [3], [7]] {'exc': 3, 'aexc': 1, 'fix': 3}
34. [[1, 4, 3, 2, 7, 6], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
35. [[1, 4, 3, 7, 6], [2], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
36. [[1, 4, 5, 7, 6], [2], [3]] {'exc': 3, 'aexc': 2, 'fix': 2}
37. [[1, 4, 5], [2], [3], [6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
38. [[1, 4, 5], [2], [3], [6], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
39. [[1, 7, 5, 3, 6], [2, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
40. [[1, 4, 2, 6], [3, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
41. [[1, 4, 3, 2, 6], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
42. [[1, 4, 3, 2, 6, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
43. [[1, 4, 3, 2, 6, 5], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
44. [[1, 4, 3, 2, 7, 5, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
45. [[1, 4, 3, 7, 5, 6], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
46. [[1, 4, 6], [2], [3], [5, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
47. [[1, 4, 6, 7, 5], [2], [3]] {'exc': 3, 'aexc': 2, 'fix': 2}
48. [[1, 4, 6, 5], [2], [3], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
49. [[1, 4, 3, 2, 7, 5], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
50. [[1, 4, 7, 5], [2], [3], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
51. [[1, 4], [2], [3], [5, 6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
52. [[1, 4], [2], [3], [5, 6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
53. [[1, 4, 3, 2, 7, 6, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
54. [[1, 4, 7, 6, 5], [2], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
55. [[1, 4], [2], [3], [5, 7, 6]] {'exc': 2, 'aexc': 3, 'fix': 2}
56. [[1, 4], [2], [3], [5], [6, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
57. [[1, 4], [2], [3], [5], [6], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
58. [[1, 7], [2, 5, 3, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
59. [[1, 5, 3, 7], [2, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
60. [[1, 5, 3, 2, 6, 4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
61. [[1, 5, 4, 3, 2, 6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
62. [[1, 5, 4, 3, 2, 6], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
63. [[1, 5, 3, 2, 7], [4, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
64. [[1, 5, 3, 6, 4, 7], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
65. [[1, 5, 4, 3, 6, 7], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
66. [[1, 5, 4, 3, 6], [2], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
67. [[1, 5, 4, 3, 2, 7], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
68. [[1, 5, 4, 3, 7], [2], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
69. [[1, 5, 4, 7], [2], [3], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
70. [[1, 5, 6, 7], [2], [3], [4]] {'exc': 3, 'aexc': 1, 'fix': 3}
71. [[1, 5, 6], [2], [3], [4], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
72. [[1, 5, 4, 3, 2, 7, 6]] {'exc': 2, 'aexc': 5, 'fix': 0}
73. [[1, 5, 4, 3, 7, 6], [2]] {'exc': 2, 'aexc': 4, 'fix': 1}
74. [[1, 5, 7, 6], [2], [3], [4]] {'exc': 2, 'aexc': 2, 'fix': 3}
75. [[1, 5], [2], [3], [4], [6, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
76. [[1, 5], [2], [3], [4], [6], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
77. [[1, 6, 4, 5, 3, 2, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
78. [[1, 6, 4, 7], [2], [3, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
79. [[1, 6, 7], [2], [3, 5, 4]] {'exc': 3, 'aexc': 3, 'fix': 1}
80. [[1, 6], [2], [3, 5, 4], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
81. [[1, 7], [2], [3, 5], [4, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
82. [[1, 2, 7], [3, 5], [4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
83. [[1, 2, 5, 3, 6, 4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
84. [[1, 2, 5, 4, 3, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
85. [[1, 2, 5, 4, 3, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
86. [[1, 7], [2], [3, 5, 4], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
87. [[1, 2, 5, 4, 3, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
88. [[1, 2, 5, 4, 7], [3], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
89. [[1, 2, 5, 6, 7], [3], [4]] {'exc': 4, 'aexc': 1, 'fix': 2}
90. [[1, 2, 5, 6], [3], [4], [7]] {'exc': 3, 'aexc': 1, 'fix': 3}
91. [[1, 7, 6], [2], [3, 5, 4]] {'exc': 2, 'aexc': 4, 'fix': 1}
92. [[1, 2, 5, 4, 3, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
93. [[1, 2, 5, 7, 6], [3], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
94. [[1, 2, 5], [3], [4], [6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
95. [[1, 2, 5], [3], [4], [6], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
96. [[1, 6, 5, 4, 3, 2, 7]] {'exc': 2, 'aexc': 5, 'fix': 0}
97. [[1, 6, 5, 4, 3, 7], [2]] {'exc': 2, 'aexc': 4, 'fix': 1}
98. [[1, 6, 5, 4, 7], [2], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
99. [[1, 6, 7], [2], [3], [4], [5]] {'exc': 2, 'aexc': 1, 'fix': 4}
100. [[1, 6], [2], [3], [4], [5], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
101. [[1, 7], [2], [3, 6, 5, 4]] {'exc': 2, 'aexc': 4, 'fix': 1}
102. [[1, 2, 6, 5, 4, 3, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
103. [[1, 2, 6, 5, 4, 7], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
104. [[1, 2, 6, 7], [3], [4], [5]] {'exc': 3, 'aexc': 1, 'fix': 3}
105. [[1, 2, 6], [3], [4], [5], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
106. [[1, 7], [2], [3], [4, 6, 5]] {'exc': 2, 'aexc': 3, 'fix': 2}
107. [[1, 2, 7], [3], [4, 6, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
108. [[1, 2, 3, 6, 5, 4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
109. [[1, 2, 3, 6, 7], [4], [5]] {'exc': 4, 'aexc': 1, 'fix': 2}
110. [[1, 2, 3, 6], [4], [5], [7]] {'exc': 3, 'aexc': 1, 'fix': 3}
111. [[1, 7], [2], [3], [4], [5], [6]] {'exc': 1, 'aexc': 1, 'fix': 5}
112. [[1, 2, 7], [3], [4], [5], [6]] {'exc': 2, 'aexc': 1, 'fix': 4}
113. [[1, 2, 3, 7], [4], [5], [6]] {'exc': 3, 'aexc': 1, 'fix': 3}
114. [[1, 2, 3, 4, 7], [5], [6]] {'exc': 4, 'aexc': 1, 'fix': 2}
115. [[1, 2, 3, 4, 5, 6, 7]] {'exc': 6, 'aexc': 1, 'fix': 0}
116. [[1, 2, 3, 4, 5, 6], [7]] {'exc': 5, 'aexc': 1, 'fix': 1}
117. [[1, 7, 6], [2], [3], [4], [5]] {'exc': 1, 'aexc': 2, 'fix': 4}
118. [[1, 2, 7, 6], [3], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
119. [[1, 2, 3, 7, 6], [4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
120. [[1, 2, 3, 4, 5, 7, 6]] {'exc': 5, 'aexc': 2, 'fix': 0}
121. [[1, 2, 3, 4, 5], [6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
122. [[1, 2, 3, 4, 5], [6], [7]] {'exc': 4, 'aexc': 1, 'fix': 2}
123. [[1, 6], [2, 7, 5, 4, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
124. [[1, 6], [2], [3, 7, 5, 4]] {'exc': 2, 'aexc': 4, 'fix': 1}
125. [[1, 6], [2], [3], [4], [5, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
126. [[1, 6, 7, 5], [2], [3], [4]] {'exc': 2, 'aexc': 2, 'fix': 3}
127. [[1, 6, 5], [2], [3], [4], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
128. [[1, 7, 5, 4, 3, 6], [2]] {'exc': 2, 'aexc': 4, 'fix': 1}
129. [[1, 2, 6], [3, 7, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
130. [[1, 2, 6], [3], [4], [5, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
131. [[1, 2, 6, 7, 5], [3], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
132. [[1, 2, 6, 5], [3], [4], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
133. [[1, 7, 5, 6], [2], [3], [4]] {'exc': 2, 'aexc': 2, 'fix': 3}
134. [[1, 2, 7, 5, 6], [3], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
135. [[1, 2, 3, 7, 5, 6], [4]] {'exc': 4, 'aexc': 2, 'fix': 1}
136. [[1, 2, 3, 4, 6], [5, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
137. [[1, 2, 3, 4, 6, 7, 5]] {'exc': 5, 'aexc': 2, 'fix': 0}
138. [[1, 2, 3, 4, 6, 5], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
139. [[1, 7, 5], [2], [3], [4], [6]] {'exc': 1, 'aexc': 2, 'fix': 4}
140. [[1, 2, 7, 5], [3], [4], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
141. [[1, 2, 3, 4, 7, 5], [6]] {'exc': 4, 'aexc': 2, 'fix': 1}
142. [[1, 2, 3, 4], [5, 6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
143. [[1, 2, 3, 4], [5, 6], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
144. [[1, 7, 6, 5], [2], [3], [4]] {'exc': 1, 'aexc': 3, 'fix': 3}
145. [[1, 2, 7, 6, 5], [3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
146. [[1, 2, 3, 4, 7, 6, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
147. [[1, 2, 3, 4], [5, 7, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
148. [[1, 2, 3, 4], [5], [6, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
149. [[1, 2, 3, 4], [5], [6], [7]] {'exc': 3, 'aexc': 1, 'fix': 3}
150. [[1, 7, 4, 2, 5, 3, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
151. [[1, 5, 3, 7, 4, 2, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
152. [[1, 5, 7, 4, 3, 2, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
153. [[1, 5], [2, 6, 7, 4, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
154. [[1, 5], [2, 6, 4, 3], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
155. [[1, 5, 6], [2, 7, 4, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
156. [[1, 5, 6], [2], [3, 7, 4]] {'exc': 3, 'aexc': 3, 'fix': 1}
157. [[1, 5, 7, 4, 6], [2], [3]] {'exc': 3, 'aexc': 2, 'fix': 2}
158. [[1, 5], [2], [3], [4, 6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
159. [[1, 5], [2], [3], [4, 6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
160. [[1, 5], [2, 7, 4, 3], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
161. [[1, 5], [2], [3], [4, 7], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
162. [[1, 5, 6, 7, 4], [2], [3]] {'exc': 3, 'aexc': 2, 'fix': 2}
163. [[1, 5, 6, 4], [2], [3], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
164. [[1, 5], [2, 7, 6, 4, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
165. [[1, 5], [2], [3], [4, 7, 6]] {'exc': 2, 'aexc': 3, 'fix': 2}
166. [[1, 5, 7, 6, 4], [2], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
167. [[1, 5, 4], [2], [3], [6, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
168. [[1, 5, 4], [2], [3], [6], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
169. [[1, 6], [2, 7, 4, 3], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
170. [[1, 6], [2], [3, 7, 4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
171. [[1, 6], [2], [3], [4, 5, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
172. [[1, 6, 7, 4, 5], [2], [3]] {'exc': 3, 'aexc': 2, 'fix': 2}
173. [[1, 6, 4, 5], [2], [3], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
174. [[1, 7, 4, 3, 6], [2], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
175. [[1, 2, 6], [3, 7, 4], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
176. [[1, 2, 6], [3], [4, 5, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
177. [[1, 2, 6, 7, 4, 5], [3]] {'exc': 4, 'aexc': 2, 'fix': 1}
178. [[1, 2, 6, 4, 5], [3], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
179. [[1, 7, 4, 5, 6], [2], [3]] {'exc': 3, 'aexc': 2, 'fix': 2}
180. [[1, 2, 7, 4, 5, 6], [3]] {'exc': 4, 'aexc': 2, 'fix': 1}
181. [[1, 2, 3, 7, 4, 5, 6]] {'exc': 5, 'aexc': 2, 'fix': 0}
182. [[1, 2, 3, 5, 7, 4, 6]] {'exc': 5, 'aexc': 2, 'fix': 0}
183. [[1, 2, 3, 5], [4, 6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
184. [[1, 2, 3, 5], [4, 6], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
185. [[1, 7, 4, 5], [2], [3], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
186. [[1, 2, 7, 4, 5], [3], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
187. [[1, 2, 3, 5], [4, 7], [6]] {'exc': 4, 'aexc': 2, 'fix': 1}
188. [[1, 2, 3, 5, 6, 7, 4]] {'exc': 5, 'aexc': 2, 'fix': 0}
189. [[1, 2, 3, 5, 6, 4], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
190. [[1, 7, 6, 4, 5], [2], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
191. [[1, 2, 7, 6, 4, 5], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
192. [[1, 2, 3, 5], [4, 7, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
193. [[1, 2, 3, 5, 7, 6, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
194. [[1, 2, 3, 5, 4], [6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
195. [[1, 2, 3, 5, 4], [6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
196. [[1, 6, 5], [2, 7, 4, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
197. [[1, 6, 5], [2], [3], [4, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
198. [[1, 6, 7, 4], [2], [3], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
199. [[1, 6, 4], [2], [3], [5], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
200. [[1, 7, 4, 6, 5], [2], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
201. [[1, 2, 7, 4, 6, 5], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
202. [[1, 2, 3, 6, 5], [4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
203. [[1, 2, 3, 6, 7, 4], [5]] {'exc': 4, 'aexc': 2, 'fix': 1}
204. [[1, 2, 3, 6, 4], [5], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
205. [[1, 7, 4], [2], [3], [5], [6]] {'exc': 1, 'aexc': 2, 'fix': 4}
206. [[1, 2, 3, 7, 4], [5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
207. [[1, 2, 3], [4, 7], [5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
208. [[1, 2, 3], [4, 5, 6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
209. [[1, 2, 3], [4, 5, 6], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
210. [[1, 7, 6, 4], [2], [3], [5]] {'exc': 1, 'aexc': 3, 'fix': 3}
211. [[1, 2, 3, 7, 6, 4], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
212. [[1, 2, 3], [4, 5, 7, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
213. [[1, 2, 3], [4, 5], [6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
214. [[1, 2, 3], [4, 5], [6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
215. [[1, 6, 4, 3, 2, 7, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
216. [[1, 6, 4, 7, 5], [2], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
217. [[1, 6, 4], [2], [3], [5, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
218. [[1, 6, 7, 5, 4], [2], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
219. [[1, 6, 5, 4], [2], [3], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
220. [[1, 7, 5], [2], [3], [4, 6]] {'exc': 2, 'aexc': 3, 'fix': 2}
221. [[1, 2, 7, 5], [3], [4, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
222. [[1, 2, 3, 6, 4, 7, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
223. [[1, 2, 3, 6, 4], [5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
224. [[1, 2, 3, 6, 7, 5, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
225. [[1, 2, 3, 6, 5, 4], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
226. [[1, 7, 5, 6, 4], [2], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
227. [[1, 2, 3, 7, 5, 6, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
228. [[1, 2, 3], [4, 6], [5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
229. [[1, 2, 3], [4, 6, 7, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
230. [[1, 2, 3], [4, 6, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
231. [[1, 7, 5, 4], [2], [3], [6]] {'exc': 1, 'aexc': 3, 'fix': 3}
232. [[1, 2, 3, 7, 5, 4], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
233. [[1, 2, 3], [4, 7, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
234. [[1, 2, 3], [4], [5, 6, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
235. [[1, 2, 3], [4], [5, 6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
236. [[1, 7, 6, 5, 4], [2], [3]] {'exc': 1, 'aexc': 4, 'fix': 2}
237. [[1, 2, 3, 7, 6, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
238. [[1, 2, 3], [4, 7, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
239. [[1, 2, 3], [4], [5, 7, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
240. [[1, 2, 3], [4], [5], [6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
241. [[1, 2, 3], [4], [5], [6], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
242. [[1, 7, 3, 6], [2, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
243. [[1, 5, 4, 2, 6], [3, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
244. [[1, 5, 7, 3, 2, 6], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
245. [[1, 5], [2, 6, 7, 3], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
246. [[1, 5], [2, 6, 3], [4], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
247. [[1, 5, 6], [2, 7, 3], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
248. [[1, 5, 6], [2], [3, 7], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
249. [[1, 5, 7, 3, 4, 6], [2]] {'exc': 4, 'aexc': 2, 'fix': 1}
250. [[1, 5], [2], [3, 4, 6, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
251. [[1, 5], [2], [3, 4, 6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
252. [[1, 5], [2, 7, 3], [4], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
253. [[1, 5], [2], [3, 4, 7], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
254. [[1, 5, 6, 7, 3, 4], [2]] {'exc': 4, 'aexc': 2, 'fix': 1}
255. [[1, 5, 6, 3, 4], [2], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
256. [[1, 5], [2, 7, 6, 3], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
257. [[1, 5], [2], [3, 4, 7, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
258. [[1, 5, 7, 6, 3, 4], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
259. [[1, 5, 3, 4], [2], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
260. [[1, 5, 3, 4], [2], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
261. [[1, 6], [2, 7, 3], [4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
262. [[1, 6], [2], [3, 7], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
263. [[1, 6], [2], [3, 4, 5, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
264. [[1, 6, 7, 3, 4, 5], [2]] {'exc': 4, 'aexc': 2, 'fix': 1}
265. [[1, 6, 3, 4, 5], [2], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
266. [[1, 7, 3, 6], [2], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
267. [[1, 2, 6], [3, 7], [4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
268. [[1, 2, 6], [3, 4, 5, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
269. [[1, 2, 6, 7, 3, 4, 5]] {'exc': 5, 'aexc': 2, 'fix': 0}
270. [[1, 2, 6, 3, 4, 5], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
271. [[1, 7, 3, 4, 5, 6], [2]] {'exc': 4, 'aexc': 2, 'fix': 1}
272. [[1, 2, 7, 3, 4, 5, 6]] {'exc': 5, 'aexc': 2, 'fix': 0}
273. [[1, 2, 4, 5, 6], [3, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
274. [[1, 2, 4, 6], [3, 5, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
275. [[1, 2, 4, 6, 7, 3, 5]] {'exc': 5, 'aexc': 2, 'fix': 0}
276. [[1, 2, 4, 6, 3, 5], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
277. [[1, 7, 3, 4, 5], [2], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
278. [[1, 2, 7, 3, 4, 5], [6]] {'exc': 4, 'aexc': 2, 'fix': 1}
279. [[1, 2, 4, 7, 3, 5], [6]] {'exc': 4, 'aexc': 2, 'fix': 1}
280. [[1, 2, 4], [3, 5, 6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
281. [[1, 2, 4], [3, 5, 6], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
282. [[1, 7, 6, 3, 4, 5], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
283. [[1, 2, 7, 6, 3, 4, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
284. [[1, 2, 4, 7, 6, 3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
285. [[1, 2, 4], [3, 5, 7, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
286. [[1, 2, 4], [3, 5], [6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
287. [[1, 2, 4], [3, 5], [6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
288. [[1, 6, 5], [2, 7, 3], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
289. [[1, 6, 5], [2], [3, 4, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
290. [[1, 6, 7, 3, 4], [2], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
291. [[1, 6, 3, 4], [2], [5], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
292. [[1, 7, 3, 4, 6, 5], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
293. [[1, 2, 7, 3, 4, 6, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
294. [[1, 2, 4, 7, 3, 6, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
295. [[1, 2, 4], [3, 6, 7], [5]] {'exc': 4, 'aexc': 2, 'fix': 1}
296. [[1, 2, 4], [3, 6], [5], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
297. [[1, 7, 3, 4], [2], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
298. [[1, 2, 4], [3, 7], [5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
299. [[1, 2, 4, 7, 3], [5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
300. [[1, 2, 4, 5, 6, 7, 3]] {'exc': 5, 'aexc': 2, 'fix': 0}
301. [[1, 2, 4, 5, 6, 3], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
302. [[1, 7, 6, 3, 4], [2], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
303. [[1, 2, 4], [3, 7, 6], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
304. [[1, 2, 4, 5, 7, 6, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
305. [[1, 2, 4, 5, 3], [6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
306. [[1, 2, 4, 5, 3], [6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
307. [[1, 6, 3, 2, 7, 5], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
308. [[1, 6, 3, 4, 7, 5], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
309. [[1, 6, 3, 4], [2], [5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
310. [[1, 6, 7, 5, 3, 4], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
311. [[1, 6, 5, 3, 4], [2], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
312. [[1, 7, 5], [2], [3, 4, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
313. [[1, 2, 7, 5], [3, 4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
314. [[1, 2, 4, 7, 5], [3, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
315. [[1, 2, 4], [3, 6], [5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
316. [[1, 2, 4], [3, 6, 7, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
317. [[1, 2, 4], [3, 6, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
318. [[1, 7, 5, 6, 3, 4], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
319. [[1, 2, 4], [3, 7, 5, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
320. [[1, 2, 4, 6, 3], [5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
321. [[1, 2, 4, 6, 7, 5, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
322. [[1, 2, 4, 6, 5, 3], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
323. [[1, 7, 5, 3, 4], [2], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
324. [[1, 2, 4], [3, 7, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
325. [[1, 2, 4, 7, 5, 3], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
326. [[1, 2, 4, 3], [5, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
327. [[1, 2, 4, 3], [5, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
328. [[1, 7, 6, 5, 3, 4], [2]] {'exc': 2, 'aexc': 4, 'fix': 1}
329. [[1, 2, 4], [3, 7, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
330. [[1, 2, 4, 7, 6, 5, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
331. [[1, 2, 4, 3], [5, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
332. [[1, 2, 4, 3], [5], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
333. [[1, 2, 4, 3], [5], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
334. [[1, 6, 4, 5], [2, 7, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
335. [[1, 6, 4, 7, 3, 5], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
336. [[1, 6, 7, 3, 5, 4], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
337. [[1, 6, 3, 5, 4], [2], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
338. [[1, 7, 3, 5], [2], [4, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
339. [[1, 2, 7, 3, 5], [4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
340. [[1, 2, 5], [3, 6, 4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
341. [[1, 2, 5, 4], [3, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
342. [[1, 2, 5, 4], [3, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
343. [[1, 7, 3, 5, 4], [2], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
344. [[1, 2, 5, 4], [3, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
345. [[1, 2, 5, 4, 7, 3], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
346. [[1, 2, 5, 6, 7, 3], [4]] {'exc': 4, 'aexc': 2, 'fix': 1}
347. [[1, 2, 5, 6, 3], [4], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
348. [[1, 7, 6, 3, 5, 4], [2]] {'exc': 2, 'aexc': 4, 'fix': 1}
349. [[1, 2, 5, 4], [3, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
350. [[1, 2, 5, 7, 6, 3], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
351. [[1, 2, 5, 3], [4], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
352. [[1, 2, 5, 3], [4], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
353. [[1, 7, 3, 6, 5, 4], [2]] {'exc': 2, 'aexc': 4, 'fix': 1}
354. [[1, 2, 6, 5, 4], [3, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
355. [[1, 2, 6, 5, 4, 7, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
356. [[1, 2, 6, 7, 3], [4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
357. [[1, 2, 6, 3], [4], [5], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
358. [[1, 2, 7, 3], [4, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
359. [[1, 2], [3, 6, 5, 4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
360. [[1, 2], [3, 6, 7], [4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
361. [[1, 2], [3, 6], [4], [5], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
362. [[1, 2, 7, 3], [4], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
363. [[1, 2], [3, 7], [4], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
364. [[1, 2], [3, 4, 7], [5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
365. [[1, 2], [3, 4, 5, 6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
366. [[1, 2], [3, 4, 5, 6], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
367. [[1, 2, 7, 6, 3], [4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
368. [[1, 2], [3, 7, 6], [4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
369. [[1, 2], [3, 4, 5, 7, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
370. [[1, 2], [3, 4, 5], [6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
371. [[1, 2], [3, 4, 5], [6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
372. [[1, 7, 5, 4], [2], [3, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
373. [[1, 2, 6, 3, 7, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
374. [[1, 2, 6, 3], [4], [5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
375. [[1, 2, 6, 7, 5, 3], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
376. [[1, 2, 6, 5, 3], [4], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
377. [[1, 2, 7, 5, 6, 3], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
378. [[1, 2], [3, 7, 5, 6], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
379. [[1, 2], [3, 4, 6], [5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
380. [[1, 2], [3, 4, 6, 7, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
381. [[1, 2], [3, 4, 6, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
382. [[1, 2, 7, 5, 3], [4], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
383. [[1, 2], [3, 4, 7, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
384. [[1, 2], [3, 4], [5, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
385. [[1, 2], [3, 4], [5, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
386. [[1, 2, 7, 6, 5, 3], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
387. [[1, 2], [3, 4, 7, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
388. [[1, 2], [3, 4], [5, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
389. [[1, 2], [3, 4], [5], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
390. [[1, 2], [3, 4], [5], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
391. [[1, 6, 3, 2, 7, 4, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
392. [[1, 6, 3, 5], [2], [4, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
393. [[1, 6, 3, 5, 7, 4], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
394. [[1, 6, 7, 4], [2], [3, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
395. [[1, 6, 4], [2], [3, 5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
396. [[1, 7, 4, 6, 3, 5], [2]] {'exc': 3, 'aexc': 3, 'fix': 1}
397. [[1, 2, 7, 4, 6, 3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
398. [[1, 2, 5], [3, 6], [4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
399. [[1, 2, 5, 7, 4], [3, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
400. [[1, 2, 5, 3, 6, 7, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
401. [[1, 2, 5, 3, 6, 4], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
402. [[1, 7, 4], [2], [3, 5, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
403. [[1, 2, 5, 6, 3, 7, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
404. [[1, 2, 5, 7, 4, 6, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
405. [[1, 2, 5, 3], [4, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
406. [[1, 2, 5, 3], [4, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
407. [[1, 7, 4], [2], [3, 5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
408. [[1, 2, 5, 3, 7, 4], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
409. [[1, 2, 5, 3], [4, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
410. [[1, 2, 5, 6, 7, 4, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
411. [[1, 2, 5, 6, 4, 3], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
412. [[1, 7, 6, 4], [2], [3, 5]] {'exc': 2, 'aexc': 4, 'fix': 1}
413. [[1, 2, 5, 3, 7, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
414. [[1, 2, 5, 3], [4, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
415. [[1, 2, 5, 7, 6, 4, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
416. [[1, 2, 5, 4, 3], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
417. [[1, 2, 5, 4, 3], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
418. [[1, 7, 4], [2], [3, 6], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
419. [[1, 2, 6, 3, 7, 4], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
420. [[1, 2, 6, 3], [4, 5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
421. [[1, 2, 6, 7, 4, 5, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
422. [[1, 2, 6, 4, 5, 3], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
423. [[1, 2, 7, 4, 5, 6, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
424. [[1, 2], [3, 7, 4, 5, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
425. [[1, 2], [3, 5, 7, 4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
426. [[1, 2], [3, 5], [4, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
427. [[1, 2], [3, 5], [4, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
428. [[1, 2, 7, 4, 5, 3], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
429. [[1, 2], [3, 5], [4, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
430. [[1, 2], [3, 5, 6, 7, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
431. [[1, 2], [3, 5, 6, 4], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
432. [[1, 2, 7, 6, 4, 5, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
433. [[1, 2], [3, 5], [4, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
434. [[1, 2], [3, 5, 7, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
435. [[1, 2], [3, 5, 4], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
436. [[1, 2], [3, 5, 4], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
437. [[1, 7, 4], [2], [3, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 1}
438. [[1, 2, 6, 5, 3, 7, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
439. [[1, 2, 6, 5, 3], [4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
440. [[1, 2, 6, 7, 4, 3], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
441. [[1, 2, 6, 4, 3], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
442. [[1, 2, 7, 4, 6, 5, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
443. [[1, 2], [3, 6, 5], [4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
444. [[1, 2], [3, 6, 7, 4], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
445. [[1, 2], [3, 6, 4], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
446. [[1, 2, 7, 4, 3], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
447. [[1, 2], [3, 7, 4], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
448. [[1, 2], [3], [4, 7], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
449. [[1, 2], [3], [4, 5, 6, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
450. [[1, 2], [3], [4, 5, 6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
451. [[1, 2, 7, 6, 4, 3], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
452. [[1, 2], [3, 7, 6, 4], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
453. [[1, 2], [3], [4, 5, 7, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
454. [[1, 2], [3], [4, 5], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
455. [[1, 2], [3], [4, 5], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
456. [[1, 7, 5, 3, 6, 4], [2]] {'exc': 2, 'aexc': 4, 'fix': 1}
457. [[1, 2, 6, 4], [3, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
458. [[1, 2, 6, 4, 7, 5, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
459. [[1, 2, 6, 4, 3], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
460. [[1, 2, 6, 7, 5, 4, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
461. [[1, 2, 6, 5, 4, 3], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
462. [[1, 2, 7, 5, 3], [4, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
463. [[1, 2], [3, 6, 4, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
464. [[1, 2], [3, 6, 4], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
465. [[1, 2], [3, 6, 7, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
466. [[1, 2], [3, 6, 5, 4], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
467. [[1, 2, 7, 5, 6, 4, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
468. [[1, 2], [3, 7, 5, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
469. [[1, 2], [3], [4, 6], [5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
470. [[1, 2], [3], [4, 6, 7, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
471. [[1, 2], [3], [4, 6, 5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
472. [[1, 2, 7, 5, 4, 3], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
473. [[1, 2], [3, 7, 5, 4], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
474. [[1, 2], [3], [4, 7, 5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
475. [[1, 2], [3], [4], [5, 6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
476. [[1, 2], [3], [4], [5, 6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
477. [[1, 2, 7, 6, 5, 4, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
478. [[1, 2], [3, 7, 6, 5, 4]] {'exc': 2, 'aexc': 5, 'fix': 0}
479. [[1, 2], [3], [4, 7, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 1}
480. [[1, 2], [3], [4], [5, 7, 6]] {'exc': 2, 'aexc': 3, 'fix': 2}
481. [[1, 2], [3], [4], [5], [6, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
482. [[1, 2], [3], [4], [5], [6], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
483. [[1, 7, 2, 5, 4, 3, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
484. [[1, 5, 4, 3, 7, 2, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
485. [[1, 5, 7, 2, 6], [3], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
486. [[1, 5], [2, 6, 7], [3], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
487. [[1, 5], [2, 6], [3], [4], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
488. [[1, 5, 6], [2, 7], [3], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
489. [[1, 5, 6], [2, 3, 7], [4]] {'exc': 4, 'aexc': 2, 'fix': 1}
490. [[1, 5, 7, 2, 3, 4, 6]] {'exc': 5, 'aexc': 2, 'fix': 0}
491. [[1, 5], [2, 3, 4, 6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
492. [[1, 5], [2, 3, 4, 6], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
493. [[1, 5], [2, 7], [3], [4], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
494. [[1, 5], [2, 3, 4, 7], [6]] {'exc': 4, 'aexc': 2, 'fix': 1}
495. [[1, 5, 6, 7, 2, 3, 4]] {'exc': 5, 'aexc': 2, 'fix': 0}
496. [[1, 5, 6, 2, 3, 4], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
497. [[1, 5], [2, 7, 6], [3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
498. [[1, 5], [2, 3, 4, 7, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
499. [[1, 5, 7, 6, 2, 3, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
500. [[1, 5, 2, 3, 4], [6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
501. [[1, 5, 2, 3, 4], [6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
502. [[1, 6], [2, 7], [3], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
503. [[1, 6], [2, 3, 7], [4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
504. [[1, 6], [2, 3, 4, 5, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
505. [[1, 6, 7, 2, 3, 4, 5]] {'exc': 5, 'aexc': 2, 'fix': 0}
506. [[1, 6, 2, 3, 4, 5], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
507. [[1, 7, 2, 3, 6], [4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
508. [[1, 3, 7, 2, 6], [4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
509. [[1, 3, 4, 5, 7, 2, 6]] {'exc': 5, 'aexc': 2, 'fix': 0}
510. [[1, 3, 4, 5], [2, 6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
511. [[1, 3, 4, 5], [2, 6], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
512. [[1, 7, 2, 3, 4, 5, 6]] {'exc': 5, 'aexc': 2, 'fix': 0}
513. [[1, 3, 4, 5, 6], [2, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
514. [[1, 3, 7, 2, 4, 5, 6]] {'exc': 5, 'aexc': 2, 'fix': 0}
515. [[1, 3, 5, 7, 2, 4, 6]] {'exc': 5, 'aexc': 2, 'fix': 0}
516. [[1, 3, 5], [2, 4, 6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
517. [[1, 3, 5], [2, 4, 6], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
518. [[1, 7, 2, 3, 4, 5], [6]] {'exc': 4, 'aexc': 2, 'fix': 1}
519. [[1, 3, 4, 5], [2, 7], [6]] {'exc': 4, 'aexc': 2, 'fix': 1}
520. [[1, 3, 5], [2, 4, 7], [6]] {'exc': 4, 'aexc': 2, 'fix': 1}
521. [[1, 3, 5, 6, 7, 2, 4]] {'exc': 5, 'aexc': 2, 'fix': 0}
522. [[1, 3, 5, 6, 2, 4], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
523. [[1, 7, 6, 2, 3, 4, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
524. [[1, 3, 4, 5], [2, 7, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
525. [[1, 3, 5], [2, 4, 7, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
526. [[1, 3, 5, 7, 6, 2, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
527. [[1, 3, 5, 2, 4], [6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
528. [[1, 3, 5, 2, 4], [6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
529. [[1, 6, 5], [2, 7], [3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
530. [[1, 6, 5], [2, 3, 4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
531. [[1, 6, 7, 2, 3, 4], [5]] {'exc': 4, 'aexc': 2, 'fix': 1}
532. [[1, 6, 2, 3, 4], [5], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
533. [[1, 7, 2, 3, 4, 6, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
534. [[1, 3, 4, 6, 5], [2, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
535. [[1, 3, 6, 5], [2, 4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
536. [[1, 3, 6, 7, 2, 4], [5]] {'exc': 4, 'aexc': 2, 'fix': 1}
537. [[1, 3, 6, 2, 4], [5], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
538. [[1, 7, 2, 3, 4], [5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
539. [[1, 3, 7, 2, 4], [5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
540. [[1, 3], [2, 4, 7], [5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
541. [[1, 3], [2, 4, 5, 6, 7]] {'exc': 5, 'aexc': 2, 'fix': 0}
542. [[1, 3], [2, 4, 5, 6], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
543. [[1, 7, 6, 2, 3, 4], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
544. [[1, 3, 7, 6, 2, 4], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
545. [[1, 3], [2, 4, 5, 7, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
546. [[1, 3], [2, 4, 5], [6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
547. [[1, 3], [2, 4, 5], [6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
548. [[1, 6, 2, 7, 5], [3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
549. [[1, 6, 2, 3, 4, 7, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
550. [[1, 6, 2, 3, 4], [5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
551. [[1, 6, 7, 5, 2, 3, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
552. [[1, 6, 5, 2, 3, 4], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
553. [[1, 7, 5], [2, 3, 4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
554. [[1, 3, 4, 6, 2, 7, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
555. [[1, 3, 6, 2, 4, 7, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
556. [[1, 3, 6, 2, 4], [5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
557. [[1, 3, 6, 7, 5, 2, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
558. [[1, 3, 6, 5, 2, 4], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
559. [[1, 7, 5, 6, 2, 3, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
560. [[1, 3, 7, 5, 6, 2, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
561. [[1, 3], [2, 4, 6], [5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
562. [[1, 3], [2, 4, 6, 7, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
563. [[1, 3], [2, 4, 6, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
564. [[1, 7, 5, 2, 3, 4], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
565. [[1, 3, 7, 5, 2, 4], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
566. [[1, 3], [2, 4, 7, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
567. [[1, 3], [2, 4], [5, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
568. [[1, 3], [2, 4], [5, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
569. [[1, 7, 6, 5, 2, 3, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
570. [[1, 3, 7, 6, 5, 2, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
571. [[1, 3], [2, 4, 7, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
572. [[1, 3], [2, 4], [5, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
573. [[1, 3], [2, 4], [5], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
574. [[1, 3], [2, 4], [5], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
575. [[1, 6, 4, 5], [2, 7], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
576. [[1, 6, 4, 7, 2, 3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
577. [[1, 6, 7, 2, 3, 5, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
578. [[1, 6, 2, 3, 5, 4], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
579. [[1, 7, 2, 3, 5], [4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
580. [[1, 3, 5], [2, 7], [4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
581. [[1, 3, 6, 4, 7, 2, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
582. [[1, 3, 6, 7, 2, 5, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
583. [[1, 3, 6, 2, 5, 4], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
584. [[1, 7, 2, 3, 5, 4], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
585. [[1, 3, 7, 2, 5, 4], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
586. [[1, 3], [2, 5, 4, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
587. [[1, 3], [2, 5, 6, 7], [4]] {'exc': 4, 'aexc': 2, 'fix': 1}
588. [[1, 3], [2, 5, 6], [4], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
589. [[1, 7, 6, 2, 3, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
590. [[1, 3, 7, 6, 2, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
591. [[1, 3], [2, 5, 7, 6], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
592. [[1, 3], [2, 5], [4], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
593. [[1, 3], [2, 5], [4], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
594. [[1, 7, 2, 3, 6, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
595. [[1, 3, 7, 2, 6, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
596. [[1, 3], [2, 6, 5, 4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
597. [[1, 3], [2, 6, 7], [4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
598. [[1, 3], [2, 6], [4], [5], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
599. [[1, 3], [2, 7], [4, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
600. [[1, 3, 6, 5, 4, 7, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
601. [[1, 3, 6, 7, 2], [4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
602. [[1, 3, 6, 2], [4], [5], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
603. [[1, 3], [2, 7], [4], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
604. [[1, 3, 7, 2], [4], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
605. [[1, 3, 4, 7, 2], [5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
606. [[1, 3, 4, 5, 6, 7, 2]] {'exc': 5, 'aexc': 2, 'fix': 0}
607. [[1, 3, 4, 5, 6, 2], [7]] {'exc': 4, 'aexc': 2, 'fix': 1}
608. [[1, 3], [2, 7, 6], [4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
609. [[1, 3, 7, 6, 2], [4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
610. [[1, 3, 4, 5, 7, 6, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
611. [[1, 3, 4, 5, 2], [6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
612. [[1, 3, 4, 5, 2], [6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
613. [[1, 7, 5, 4], [2, 3, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
614. [[1, 3, 7, 5, 4], [2, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
615. [[1, 3], [2, 6], [4], [5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
616. [[1, 3], [2, 6, 7, 5], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
617. [[1, 3], [2, 6, 5], [4], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
618. [[1, 3], [2, 7, 5, 6], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
619. [[1, 3, 7, 5, 6, 2], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
620. [[1, 3, 4, 6, 2], [5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
621. [[1, 3, 4, 6, 7, 5, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
622. [[1, 3, 4, 6, 5, 2], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
623. [[1, 3], [2, 7, 5], [4], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
624. [[1, 3, 4, 7, 5, 2], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
625. [[1, 3, 4, 2], [5, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
626. [[1, 3, 4, 2], [5, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
627. [[1, 3], [2, 7, 6, 5], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
628. [[1, 3, 4, 7, 6, 5, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
629. [[1, 3, 4, 2], [5, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
630. [[1, 3, 4, 2], [5], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
631. [[1, 3, 4, 2], [5], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
632. [[1, 6, 2, 7, 4, 5], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
633. [[1, 6, 2, 3, 5], [4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
634. [[1, 6, 2, 3, 5, 7, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
635. [[1, 6, 7, 4], [2, 3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
636. [[1, 6, 4], [2, 3, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
637. [[1, 7, 4, 6, 2, 3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
638. [[1, 3, 5], [2, 7, 4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
639. [[1, 3, 6, 2, 5], [4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
640. [[1, 3, 6, 2, 5, 7, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
641. [[1, 3, 6, 7, 4], [2, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
642. [[1, 3, 6, 4], [2, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
643. [[1, 7, 4], [2, 3, 5, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
644. [[1, 3, 7, 4], [2, 5, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
645. [[1, 3], [2, 5, 7, 4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
646. [[1, 3], [2, 5], [4, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
647. [[1, 3], [2, 5], [4, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
648. [[1, 7, 4], [2, 3, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
649. [[1, 3, 7, 4], [2, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
650. [[1, 3], [2, 5], [4, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
651. [[1, 3], [2, 5, 6, 7, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
652. [[1, 3], [2, 5, 6, 4], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
653. [[1, 7, 6, 4], [2, 3, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
654. [[1, 3, 7, 6, 4], [2, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
655. [[1, 3], [2, 5], [4, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
656. [[1, 3], [2, 5, 7, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
657. [[1, 3], [2, 5, 4], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
658. [[1, 3], [2, 5, 4], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
659. [[1, 7, 4], [2, 3, 6], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
660. [[1, 3, 7, 4], [2, 6], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
661. [[1, 3], [2, 6], [4, 5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
662. [[1, 3], [2, 6, 7, 4, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
663. [[1, 3], [2, 6, 4, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
664. [[1, 3], [2, 7, 4, 5, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
665. [[1, 3, 7, 4, 5, 6, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
666. [[1, 3, 5, 7, 4, 6, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
667. [[1, 3, 5, 2], [4, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
668. [[1, 3, 5, 2], [4, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
669. [[1, 3], [2, 7, 4, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
670. [[1, 3, 5, 2], [4, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
671. [[1, 3, 5, 6, 7, 4, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
672. [[1, 3, 5, 6, 4, 2], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
673. [[1, 3], [2, 7, 6, 4, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
674. [[1, 3, 5, 2], [4, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
675. [[1, 3, 5, 7, 6, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
676. [[1, 3, 5, 4, 2], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
677. [[1, 3, 5, 4, 2], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
678. [[1, 7, 4], [2, 3, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
679. [[1, 3, 7, 4], [2, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
680. [[1, 3], [2, 6, 5], [4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
681. [[1, 3], [2, 6, 7, 4], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
682. [[1, 3], [2, 6, 4], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
683. [[1, 3], [2, 7, 4, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
684. [[1, 3, 6, 5, 2], [4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
685. [[1, 3, 6, 7, 4, 2], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
686. [[1, 3, 6, 4, 2], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
687. [[1, 3], [2, 7, 4], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
688. [[1, 3, 7, 4, 2], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
689. [[1, 3, 2], [4, 7], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
690. [[1, 3, 2], [4, 5, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
691. [[1, 3, 2], [4, 5, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
692. [[1, 3], [2, 7, 6, 4], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
693. [[1, 3, 7, 6, 4, 2], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
694. [[1, 3, 2], [4, 5, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
695. [[1, 3, 2], [4, 5], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
696. [[1, 3, 2], [4, 5], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
697. [[1, 7, 5, 2, 3, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
698. [[1, 3, 7, 5, 2, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
699. [[1, 3], [2, 6, 4, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
700. [[1, 3], [2, 6, 4], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
701. [[1, 3], [2, 6, 7, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
702. [[1, 3], [2, 6, 5, 4], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
703. [[1, 3], [2, 7, 5], [4, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
704. [[1, 3, 6, 4, 7, 5, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
705. [[1, 3, 6, 4, 2], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
706. [[1, 3, 6, 7, 5, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
707. [[1, 3, 6, 5, 4, 2], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
708. [[1, 3], [2, 7, 5, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
709. [[1, 3, 7, 5, 6, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
710. [[1, 3, 2], [4, 6], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
711. [[1, 3, 2], [4, 6, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
712. [[1, 3, 2], [4, 6, 5], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
713. [[1, 3], [2, 7, 5, 4], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
714. [[1, 3, 7, 5, 4, 2], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
715. [[1, 3, 2], [4, 7, 5], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
716. [[1, 3, 2], [4], [5, 6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
717. [[1, 3, 2], [4], [5, 6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
718. [[1, 3], [2, 7, 6, 5, 4]] {'exc': 2, 'aexc': 5, 'fix': 0}
719. [[1, 3, 7, 6, 5, 4, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
720. [[1, 3, 2], [4, 7, 6, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
721. [[1, 3, 2], [4], [5, 7, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
722. [[1, 3, 2], [4], [5], [6, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
723. [[1, 3, 2], [4], [5], [6], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
724. [[1, 6, 3, 4, 5], [2, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
725. [[1, 6, 3, 5], [2, 4, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
726. [[1, 6, 7, 2, 4], [3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
727. [[1, 6, 2, 4], [3, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
728. [[1, 7, 2, 4, 6, 3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
729. [[1, 4, 6, 3, 5], [2, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
730. [[1, 4, 7, 2, 5], [3, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
731. [[1, 4], [2, 5, 3, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
732. [[1, 4], [2, 5, 3, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
733. [[1, 7, 2, 4], [3, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
734. [[1, 4], [2, 5, 3, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
735. [[1, 4, 7, 2, 5, 3], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
736. [[1, 4, 3], [2, 5, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
737. [[1, 4, 3], [2, 5, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
738. [[1, 7, 6, 2, 4], [3, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
739. [[1, 4], [2, 5, 3, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
740. [[1, 4, 3], [2, 5, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
741. [[1, 4, 3], [2, 5], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
742. [[1, 4, 3], [2, 5], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
743. [[1, 7, 2, 4], [3, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
744. [[1, 4], [2, 6, 5, 3, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
745. [[1, 4, 7, 2, 6, 5, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
746. [[1, 4, 3], [2, 6, 7], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
747. [[1, 4, 3], [2, 6], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
748. [[1, 4, 6, 5, 3], [2, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
749. [[1, 4, 7, 2], [3, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
750. [[1, 4, 3, 6, 7, 2], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
751. [[1, 4, 3, 6, 2], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
752. [[1, 4, 3], [2, 7], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
753. [[1, 4, 3, 7, 2], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
754. [[1, 4, 7, 2], [3], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
755. [[1, 4, 5, 6, 7, 2], [3]] {'exc': 4, 'aexc': 2, 'fix': 1}
756. [[1, 4, 5, 6, 2], [3], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
757. [[1, 4, 3], [2, 7, 6], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
758. [[1, 4, 3, 7, 6, 2], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
759. [[1, 4, 5, 7, 6, 2], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
760. [[1, 4, 5, 2], [3], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
761. [[1, 4, 5, 2], [3], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
762. [[1, 7, 5, 3, 6, 2, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
763. [[1, 4], [2, 6], [3, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
764. [[1, 4, 3], [2, 6], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
765. [[1, 4, 3], [2, 6, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
766. [[1, 4, 3], [2, 6, 5], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
767. [[1, 4, 3], [2, 7, 5, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
768. [[1, 4, 3, 7, 5, 6, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
769. [[1, 4, 6, 2], [3], [5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
770. [[1, 4, 6, 7, 5, 2], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
771. [[1, 4, 6, 5, 2], [3], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
772. [[1, 4, 3], [2, 7, 5], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
773. [[1, 4, 7, 5, 2], [3], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
774. [[1, 4, 2], [3], [5, 6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
775. [[1, 4, 2], [3], [5, 6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
776. [[1, 4, 3], [2, 7, 6, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
777. [[1, 4, 7, 6, 5, 2], [3]] {'exc': 2, 'aexc': 4, 'fix': 1}
778. [[1, 4, 2], [3], [5, 7, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
779. [[1, 4, 2], [3], [5], [6, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
780. [[1, 4, 2], [3], [5], [6], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
781. [[1, 7, 2, 5, 3, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
782. [[1, 5, 3, 7, 2, 6, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
783. [[1, 5, 3], [2, 6, 4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
784. [[1, 5, 4, 3], [2, 6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
785. [[1, 5, 4, 3], [2, 6], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
786. [[1, 5, 3], [2, 7], [4, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
787. [[1, 5, 3, 6, 4, 7, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
788. [[1, 5, 4, 3, 6, 7, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
789. [[1, 5, 4, 3, 6, 2], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
790. [[1, 5, 4, 3], [2, 7], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
791. [[1, 5, 4, 3, 7, 2], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
792. [[1, 5, 4, 7, 2], [3], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
793. [[1, 5, 6, 7, 2], [3], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
794. [[1, 5, 6, 2], [3], [4], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
795. [[1, 5, 4, 3], [2, 7, 6]] {'exc': 2, 'aexc': 5, 'fix': 0}
796. [[1, 5, 4, 3, 7, 6, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
797. [[1, 5, 7, 6, 2], [3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
798. [[1, 5, 2], [3], [4], [6, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
799. [[1, 5, 2], [3], [4], [6], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
800. [[1, 6, 4, 5, 3], [2, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
801. [[1, 6, 4, 7, 2], [3, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
802. [[1, 6, 7, 2], [3, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
803. [[1, 6, 2], [3, 5, 4], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
804. [[1, 7, 2], [3, 5], [4, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
805. [[1], [2, 7], [3, 5], [4, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
806. [[1], [2, 5, 3, 6, 4, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
807. [[1], [2, 5, 4, 3, 6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
808. [[1], [2, 5, 4, 3, 6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
809. [[1, 7, 2], [3, 5, 4], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
810. [[1], [2, 5, 4, 3, 7], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
811. [[1], [2, 5, 4, 7], [3], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
812. [[1], [2, 5, 6, 7], [3], [4]] {'exc': 3, 'aexc': 1, 'fix': 3}
813. [[1], [2, 5, 6], [3], [4], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
814. [[1, 7, 6, 2], [3, 5, 4]] {'exc': 2, 'aexc': 5, 'fix': 0}
815. [[1], [2, 5, 4, 3, 7, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
816. [[1], [2, 5, 7, 6], [3], [4]] {'exc': 2, 'aexc': 2, 'fix': 3}
817. [[1], [2, 5], [3], [4], [6, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
818. [[1], [2, 5], [3], [4], [6], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
819. [[1, 6, 5, 4, 3], [2, 7]] {'exc': 2, 'aexc': 5, 'fix': 0}
820. [[1, 6, 5, 4, 3, 7, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
821. [[1, 6, 5, 4, 7, 2], [3]] {'exc': 2, 'aexc': 4, 'fix': 1}
822. [[1, 6, 7, 2], [3], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
823. [[1, 6, 2], [3], [4], [5], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
824. [[1, 7, 2], [3, 6, 5, 4]] {'exc': 2, 'aexc': 5, 'fix': 0}
825. [[1], [2, 6, 5, 4, 3, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
826. [[1], [2, 6, 5, 4, 7], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
827. [[1], [2, 6, 7], [3], [4], [5]] {'exc': 2, 'aexc': 1, 'fix': 4}
828. [[1], [2, 6], [3], [4], [5], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
829. [[1, 7, 2], [3], [4, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 1}
830. [[1], [2, 7], [3], [4, 6, 5]] {'exc': 2, 'aexc': 3, 'fix': 2}
831. [[1], [2, 3, 6, 5, 4, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
832. [[1], [2, 3, 6, 7], [4], [5]] {'exc': 3, 'aexc': 1, 'fix': 3}
833. [[1], [2, 3, 6], [4], [5], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
834. [[1, 7, 2], [3], [4], [5], [6]] {'exc': 1, 'aexc': 2, 'fix': 4}
835. [[1], [2, 7], [3], [4], [5], [6]] {'exc': 1, 'aexc': 1, 'fix': 5}
836. [[1], [2, 3, 7], [4], [5], [6]] {'exc': 2, 'aexc': 1, 'fix': 4}
837. [[1], [2, 3, 4, 7], [5], [6]] {'exc': 3, 'aexc': 1, 'fix': 3}
838. [[1], [2, 3, 4, 5, 6, 7]] {'exc': 5, 'aexc': 1, 'fix': 1}
839. [[1], [2, 3, 4, 5, 6], [7]] {'exc': 4, 'aexc': 1, 'fix': 2}
840. [[1, 7, 6, 2], [3], [4], [5]] {'exc': 1, 'aexc': 3, 'fix': 3}
841. [[1], [2, 7, 6], [3], [4], [5]] {'exc': 1, 'aexc': 2, 'fix': 4}
842. [[1], [2, 3, 7, 6], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
843. [[1], [2, 3, 4, 5, 7, 6]] {'exc': 4, 'aexc': 2, 'fix': 1}
844. [[1], [2, 3, 4, 5], [6, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
845. [[1], [2, 3, 4, 5], [6], [7]] {'exc': 3, 'aexc': 1, 'fix': 3}
846. [[1, 6, 2, 7, 5, 4, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
847. [[1, 6, 2], [3, 7, 5, 4]] {'exc': 2, 'aexc': 5, 'fix': 0}
848. [[1, 6, 2], [3], [4], [5, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
849. [[1, 6, 7, 5, 2], [3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
850. [[1, 6, 5, 2], [3], [4], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
851. [[1, 7, 5, 4, 3, 6, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
852. [[1], [2, 6], [3, 7, 5, 4]] {'exc': 2, 'aexc': 4, 'fix': 1}
853. [[1], [2, 6], [3], [4], [5, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
854. [[1], [2, 6, 7, 5], [3], [4]] {'exc': 2, 'aexc': 2, 'fix': 3}
855. [[1], [2, 6, 5], [3], [4], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
856. [[1, 7, 5, 6, 2], [3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
857. [[1], [2, 7, 5, 6], [3], [4]] {'exc': 2, 'aexc': 2, 'fix': 3}
858. [[1], [2, 3, 7, 5, 6], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
859. [[1], [2, 3, 4, 6], [5, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
860. [[1], [2, 3, 4, 6, 7, 5]] {'exc': 4, 'aexc': 2, 'fix': 1}
861. [[1], [2, 3, 4, 6, 5], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
862. [[1, 7, 5, 2], [3], [4], [6]] {'exc': 1, 'aexc': 3, 'fix': 3}
863. [[1], [2, 7, 5], [3], [4], [6]] {'exc': 1, 'aexc': 2, 'fix': 4}
864. [[1], [2, 3, 4, 7, 5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
865. [[1], [2, 3, 4], [5, 6, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
866. [[1], [2, 3, 4], [5, 6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
867. [[1, 7, 6, 5, 2], [3], [4]] {'exc': 1, 'aexc': 4, 'fix': 2}
868. [[1], [2, 7, 6, 5], [3], [4]] {'exc': 1, 'aexc': 3, 'fix': 3}
869. [[1], [2, 3, 4, 7, 6, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
870. [[1], [2, 3, 4], [5, 7, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
871. [[1], [2, 3, 4], [5], [6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
872. [[1], [2, 3, 4], [5], [6], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
873. [[1, 7, 4], [2, 5, 3, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
874. [[1, 5, 3, 7, 4], [2, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
875. [[1, 5, 7, 4, 3], [2, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
876. [[1, 5, 2, 6, 7, 4, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
877. [[1, 5, 2, 6, 4, 3], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
878. [[1, 5, 6, 2, 7, 4, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
879. [[1, 5, 6, 2], [3, 7, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
880. [[1, 5, 7, 4, 6, 2], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
881. [[1, 5, 2], [3], [4, 6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
882. [[1, 5, 2], [3], [4, 6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
883. [[1, 5, 2, 7, 4, 3], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
884. [[1, 5, 2], [3], [4, 7], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
885. [[1, 5, 6, 7, 4, 2], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
886. [[1, 5, 6, 4, 2], [3], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
887. [[1, 5, 2, 7, 6, 4, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
888. [[1, 5, 2], [3], [4, 7, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
889. [[1, 5, 7, 6, 4, 2], [3]] {'exc': 2, 'aexc': 4, 'fix': 1}
890. [[1, 5, 4, 2], [3], [6, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
891. [[1, 5, 4, 2], [3], [6], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
892. [[1, 6, 2, 7, 4, 3], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
893. [[1, 6, 2], [3, 7, 4], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
894. [[1, 6, 2], [3], [4, 5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
895. [[1, 6, 7, 4, 5, 2], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
896. [[1, 6, 4, 5, 2], [3], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
897. [[1, 7, 4, 3, 6, 2], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
898. [[1], [2, 6], [3, 7, 4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
899. [[1], [2, 6], [3], [4, 5, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
900. [[1], [2, 6, 7, 4, 5], [3]] {'exc': 3, 'aexc': 2, 'fix': 2}
901. [[1], [2, 6, 4, 5], [3], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
902. [[1, 7, 4, 5, 6, 2], [3]] {'exc': 3, 'aexc': 3, 'fix': 1}
903. [[1], [2, 7, 4, 5, 6], [3]] {'exc': 3, 'aexc': 2, 'fix': 2}
904. [[1], [2, 3, 7, 4, 5, 6]] {'exc': 4, 'aexc': 2, 'fix': 1}
905. [[1], [2, 3, 5, 7, 4, 6]] {'exc': 4, 'aexc': 2, 'fix': 1}
906. [[1], [2, 3, 5], [4, 6, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
907. [[1], [2, 3, 5], [4, 6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
908. [[1, 7, 4, 5, 2], [3], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
909. [[1], [2, 7, 4, 5], [3], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
910. [[1], [2, 3, 5], [4, 7], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
911. [[1], [2, 3, 5, 6, 7, 4]] {'exc': 4, 'aexc': 2, 'fix': 1}
912. [[1], [2, 3, 5, 6, 4], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
913. [[1, 7, 6, 4, 5, 2], [3]] {'exc': 2, 'aexc': 4, 'fix': 1}
914. [[1], [2, 7, 6, 4, 5], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
915. [[1], [2, 3, 5], [4, 7, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
916. [[1], [2, 3, 5, 7, 6, 4]] {'exc': 3, 'aexc': 3, 'fix': 1}
917. [[1], [2, 3, 5, 4], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
918. [[1], [2, 3, 5, 4], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
919. [[1, 6, 5, 2, 7, 4, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
920. [[1, 6, 5, 2], [3], [4, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
921. [[1, 6, 7, 4, 2], [3], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
922. [[1, 6, 4, 2], [3], [5], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
923. [[1, 7, 4, 6, 5, 2], [3]] {'exc': 2, 'aexc': 4, 'fix': 1}
924. [[1], [2, 7, 4, 6, 5], [3]] {'exc': 2, 'aexc': 3, 'fix': 2}
925. [[1], [2, 3, 6, 5], [4, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
926. [[1], [2, 3, 6, 7, 4], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
927. [[1], [2, 3, 6, 4], [5], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
928. [[1, 7, 4, 2], [3], [5], [6]] {'exc': 1, 'aexc': 3, 'fix': 3}
929. [[1], [2, 3, 7, 4], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
930. [[1], [2, 3], [4, 7], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
931. [[1], [2, 3], [4, 5, 6, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
932. [[1], [2, 3], [4, 5, 6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
933. [[1, 7, 6, 4, 2], [3], [5]] {'exc': 1, 'aexc': 4, 'fix': 2}
934. [[1], [2, 3, 7, 6, 4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
935. [[1], [2, 3], [4, 5, 7, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
936. [[1], [2, 3], [4, 5], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
937. [[1], [2, 3], [4, 5], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
938. [[1, 6, 4, 3], [2, 7, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
939. [[1, 6, 4, 7, 5, 2], [3]] {'exc': 2, 'aexc': 4, 'fix': 1}
940. [[1, 6, 4, 2], [3], [5, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
941. [[1, 6, 7, 5, 4, 2], [3]] {'exc': 2, 'aexc': 4, 'fix': 1}
942. [[1, 6, 5, 4, 2], [3], [7]] {'exc': 1, 'aexc': 4, 'fix': 2}
943. [[1, 7, 5, 2], [3], [4, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
944. [[1], [2, 7, 5], [3], [4, 6]] {'exc': 2, 'aexc': 3, 'fix': 2}
945. [[1], [2, 3, 6, 4, 7, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
946. [[1], [2, 3, 6, 4], [5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
947. [[1], [2, 3, 6, 7, 5, 4]] {'exc': 3, 'aexc': 3, 'fix': 1}
948. [[1], [2, 3, 6, 5, 4], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
949. [[1, 7, 5, 6, 4, 2], [3]] {'exc': 2, 'aexc': 4, 'fix': 1}
950. [[1], [2, 3, 7, 5, 6, 4]] {'exc': 3, 'aexc': 3, 'fix': 1}
951. [[1], [2, 3], [4, 6], [5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
952. [[1], [2, 3], [4, 6, 7, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
953. [[1], [2, 3], [4, 6, 5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
954. [[1, 7, 5, 4, 2], [3], [6]] {'exc': 1, 'aexc': 4, 'fix': 2}
955. [[1], [2, 3, 7, 5, 4], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
956. [[1], [2, 3], [4, 7, 5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
957. [[1], [2, 3], [4], [5, 6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
958. [[1], [2, 3], [4], [5, 6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
959. [[1, 7, 6, 5, 4, 2], [3]] {'exc': 1, 'aexc': 5, 'fix': 1}
960. [[1], [2, 3, 7, 6, 5, 4]] {'exc': 2, 'aexc': 4, 'fix': 1}
961. [[1], [2, 3], [4, 7, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 1}
962. [[1], [2, 3], [4], [5, 7, 6]] {'exc': 2, 'aexc': 3, 'fix': 2}
963. [[1], [2, 3], [4], [5], [6, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
964. [[1], [2, 3], [4], [5], [6], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
965. [[1, 6, 2, 7, 3, 4, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
966. [[1, 6, 2, 4, 7, 3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
967. [[1, 6, 2, 4], [3, 5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
968. [[1, 6, 7, 3, 5, 2, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
969. [[1, 6, 3, 5, 2, 4], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
970. [[1, 7, 3, 5], [2, 4, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
971. [[1, 4, 6, 2, 7, 3, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
972. [[1, 4, 7, 3, 6, 2, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
973. [[1, 4], [2, 5, 7, 3, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
974. [[1, 4], [2, 5], [3, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
975. [[1, 4], [2, 5], [3, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
976. [[1, 7, 3, 5, 6, 2, 4]] {'exc': 4, 'aexc': 3, 'fix': 0}
977. [[1, 4], [2, 5, 6], [3, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
978. [[1, 4, 6, 2, 5, 7, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
979. [[1, 4, 6, 7, 3], [2, 5]] {'exc': 4, 'aexc': 3, 'fix': 0}
980. [[1, 4, 6, 3], [2, 5], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
981. [[1, 7, 3, 5, 2, 4], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
982. [[1, 4], [2, 5], [3, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
983. [[1, 4, 7, 3], [2, 5], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
984. [[1, 4, 2, 5, 6, 7, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
985. [[1, 4, 2, 5, 6, 3], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
986. [[1, 7, 6, 3, 5, 2, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
987. [[1, 4], [2, 5], [3, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
988. [[1, 4, 7, 6, 3], [2, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
989. [[1, 4, 2, 5, 7, 6, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
990. [[1, 4, 2, 5, 3], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
991. [[1, 4, 2, 5, 3], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
992. [[1, 7, 3, 6, 2, 4], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
993. [[1, 4], [2, 6], [3, 7], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
994. [[1, 4, 5, 7, 3], [2, 6]] {'exc': 4, 'aexc': 3, 'fix': 0}
995. [[1, 4, 5, 2, 6, 7, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
996. [[1, 4, 5, 2, 6, 3], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
997. [[1, 4, 5, 6, 2, 7, 3]] {'exc': 4, 'aexc': 3, 'fix': 0}
998. [[1, 4, 5, 6, 2], [3, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
999. [[1, 4, 6, 2], [3, 5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
1000. [[1, 4, 6, 7, 3, 5, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
1001. [[1, 4, 6, 3, 5, 2], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1002. [[1, 4, 5, 2, 7, 3], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1003. [[1, 4, 7, 3, 5, 2], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1004. [[1, 4, 2], [3, 5, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
1005. [[1, 4, 2], [3, 5, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1006. [[1, 4, 5, 2, 7, 6, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1007. [[1, 4, 7, 6, 3, 5, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1008. [[1, 4, 2], [3, 5, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1009. [[1, 4, 2], [3, 5], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1010. [[1, 4, 2], [3, 5], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1011. [[1, 7, 3, 6, 5, 2, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
1012. [[1, 4], [2, 6, 5], [3, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1013. [[1, 4, 7, 3], [2, 6, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
1014. [[1, 4, 2, 6, 7, 3], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
1015. [[1, 4, 2, 6, 3], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1016. [[1, 4, 6, 5, 2, 7, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1017. [[1, 4, 7, 3, 6, 5, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1018. [[1, 4, 2], [3, 6, 7], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
1019. [[1, 4, 2], [3, 6], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1020. [[1, 4, 2, 7, 3], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1021. [[1, 4, 2], [3, 7], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1022. [[1, 4, 7, 3, 2], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1023. [[1, 4, 5, 6, 7, 3, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
1024. [[1, 4, 5, 6, 3, 2], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1025. [[1, 4, 2, 7, 6, 3], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1026. [[1, 4, 2], [3, 7, 6], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1027. [[1, 4, 5, 7, 6, 3, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1028. [[1, 4, 5, 3, 2], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1029. [[1, 4, 5, 3, 2], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1030. [[1, 7, 5, 2, 4], [3, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1031. [[1, 4], [2, 6, 3, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
1032. [[1, 4, 7, 5, 2, 6, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1033. [[1, 4, 2, 6, 3], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1034. [[1, 4, 2, 6, 7, 5, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1035. [[1, 4, 2, 6, 5, 3], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1036. [[1, 4, 6, 3], [2, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
1037. [[1, 4, 7, 5, 2], [3, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1038. [[1, 4, 2], [3, 6], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1039. [[1, 4, 2], [3, 6, 7, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
1040. [[1, 4, 2], [3, 6, 5], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1041. [[1, 4, 2, 7, 5, 6, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1042. [[1, 4, 2], [3, 7, 5, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1043. [[1, 4, 6, 3, 2], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1044. [[1, 4, 6, 7, 5, 3, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1045. [[1, 4, 6, 5, 3, 2], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1046. [[1, 4, 2, 7, 5, 3], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1047. [[1, 4, 2], [3, 7, 5], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1048. [[1, 4, 7, 5, 3, 2], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1049. [[1, 4, 3, 2], [5, 6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1050. [[1, 4, 3, 2], [5, 6], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1051. [[1, 4, 2, 7, 6, 5, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
1052. [[1, 4, 2], [3, 7, 6, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
1053. [[1, 4, 7, 6, 5, 3, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1054. [[1, 4, 3, 2], [5, 7, 6]] {'exc': 2, 'aexc': 5, 'fix': 0}
1055. [[1, 4, 3, 2], [5], [6, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1056. [[1, 4, 3, 2], [5], [6], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
1057. [[1, 7, 3, 6, 2, 5, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
1058. [[1, 5, 4], [2, 6], [3, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1059. [[1, 5, 7, 3], [2, 6], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
1060. [[1, 5, 2, 6, 7, 3], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
1061. [[1, 5, 2, 6, 3], [4], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1062. [[1, 5, 6, 2, 7, 3], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
1063. [[1, 5, 6, 2], [3, 7], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
1064. [[1, 5, 7, 3, 4, 6, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
1065. [[1, 5, 2], [3, 4, 6, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
1066. [[1, 5, 2], [3, 4, 6], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1067. [[1, 5, 2, 7, 3], [4], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1068. [[1, 5, 2], [3, 4, 7], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1069. [[1, 5, 6, 7, 3, 4, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
1070. [[1, 5, 6, 3, 4, 2], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1071. [[1, 5, 2, 7, 6, 3], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
1072. [[1, 5, 2], [3, 4, 7, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1073. [[1, 5, 7, 6, 3, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1074. [[1, 5, 3, 4, 2], [6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1075. [[1, 5, 3, 4, 2], [6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1076. [[1, 6, 2, 7, 3], [4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
1077. [[1, 6, 2], [3, 7], [4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
1078. [[1, 6, 2], [3, 4, 5, 7]] {'exc': 4, 'aexc': 3, 'fix': 0}
1079. [[1, 6, 7, 3, 4, 5, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
1080. [[1, 6, 3, 4, 5, 2], [7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1081. [[1, 7, 3, 6, 2], [4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
1082. [[1], [2, 6], [3, 7], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
1083. [[1], [2, 6], [3, 4, 5, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
1084. [[1], [2, 6, 7, 3, 4, 5]] {'exc': 4, 'aexc': 2, 'fix': 1}
1085. [[1], [2, 6, 3, 4, 5], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
1086. [[1, 7, 3, 4, 5, 6, 2]] {'exc': 4, 'aexc': 3, 'fix': 0}
1087. [[1], [2, 7, 3, 4, 5, 6]] {'exc': 4, 'aexc': 2, 'fix': 1}
1088. [[1], [2, 4, 5, 6], [3, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
1089. [[1], [2, 4, 6], [3, 5, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
1090. [[1], [2, 4, 6, 7, 3, 5]] {'exc': 4, 'aexc': 2, 'fix': 1}
1091. [[1], [2, 4, 6, 3, 5], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
1092. [[1, 7, 3, 4, 5, 2], [6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1093. [[1], [2, 7, 3, 4, 5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
1094. [[1], [2, 4, 7, 3, 5], [6]] {'exc': 3, 'aexc': 2, 'fix': 2}
1095. [[1], [2, 4], [3, 5, 6, 7]] {'exc': 4, 'aexc': 2, 'fix': 1}
1096. [[1], [2, 4], [3, 5, 6], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
1097. [[1, 7, 6, 3, 4, 5, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1098. [[1], [2, 7, 6, 3, 4, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
1099. [[1], [2, 4, 7, 6, 3, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
1100. [[1], [2, 4], [3, 5, 7, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1101. [[1], [2, 4], [3, 5], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1102. [[1], [2, 4], [3, 5], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1103. [[1, 6, 5, 2, 7, 3], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
1104. [[1, 6, 5, 2], [3, 4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1105. [[1, 6, 7, 3, 4, 2], [5]] {'exc': 3, 'aexc': 3, 'fix': 1}
1106. [[1, 6, 3, 4, 2], [5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1107. [[1, 7, 3, 4, 6, 5, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1108. [[1], [2, 7, 3, 4, 6, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
1109. [[1], [2, 4, 7, 3, 6, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
1110. [[1], [2, 4], [3, 6, 7], [5]] {'exc': 3, 'aexc': 2, 'fix': 2}
1111. [[1], [2, 4], [3, 6], [5], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1112. [[1, 7, 3, 4, 2], [5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1113. [[1], [2, 4], [3, 7], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
1114. [[1], [2, 4, 7, 3], [5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
1115. [[1], [2, 4, 5, 6, 7, 3]] {'exc': 4, 'aexc': 2, 'fix': 1}
1116. [[1], [2, 4, 5, 6, 3], [7]] {'exc': 3, 'aexc': 2, 'fix': 2}
1117. [[1, 7, 6, 3, 4, 2], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1118. [[1], [2, 4], [3, 7, 6], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
1119. [[1], [2, 4, 5, 7, 6, 3]] {'exc': 3, 'aexc': 3, 'fix': 1}
1120. [[1], [2, 4, 5, 3], [6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1121. [[1], [2, 4, 5, 3], [6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1122. [[1, 6, 3], [2, 7, 5], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
1123. [[1, 6, 3, 4, 7, 5, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1124. [[1, 6, 3, 4, 2], [5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1125. [[1, 6, 7, 5, 3, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1126. [[1, 6, 5, 3, 4, 2], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1127. [[1, 7, 5, 2], [3, 4, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1128. [[1], [2, 7, 5], [3, 4, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1129. [[1], [2, 4, 7, 5], [3, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1130. [[1], [2, 4], [3, 6], [5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1131. [[1], [2, 4], [3, 6, 7, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
1132. [[1], [2, 4], [3, 6, 5], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1133. [[1, 7, 5, 6, 3, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1134. [[1], [2, 4], [3, 7, 5, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1135. [[1], [2, 4, 6, 3], [5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1136. [[1], [2, 4, 6, 7, 5, 3]] {'exc': 3, 'aexc': 3, 'fix': 1}
1137. [[1], [2, 4, 6, 5, 3], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1138. [[1, 7, 5, 3, 4, 2], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1139. [[1], [2, 4], [3, 7, 5], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1140. [[1], [2, 4, 7, 5, 3], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1141. [[1], [2, 4, 3], [5, 6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1142. [[1], [2, 4, 3], [5, 6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1143. [[1, 7, 6, 5, 3, 4, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1144. [[1], [2, 4], [3, 7, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1145. [[1], [2, 4, 7, 6, 5, 3]] {'exc': 2, 'aexc': 4, 'fix': 1}
1146. [[1], [2, 4, 3], [5, 7, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1147. [[1], [2, 4, 3], [5], [6, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1148. [[1], [2, 4, 3], [5], [6], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
1149. [[1, 7, 3, 6, 4], [2, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
1150. [[1, 5, 2, 6, 4], [3, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1151. [[1, 5, 2, 6, 4, 7, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1152. [[1, 5, 4, 2, 6, 7, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1153. [[1, 5, 4, 2, 6, 3], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1154. [[1, 5, 2, 7, 3], [4, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1155. [[1, 5, 2], [3, 6, 4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1156. [[1, 5, 4, 2], [3, 6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1157. [[1, 5, 4, 2], [3, 6], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1158. [[1, 5, 4, 2, 7, 3], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1159. [[1, 5, 4, 2], [3, 7], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1160. [[1, 5, 4, 7, 3, 2], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1161. [[1, 5, 6, 7, 3, 2], [4]] {'exc': 3, 'aexc': 3, 'fix': 1}
1162. [[1, 5, 6, 3, 2], [4], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1163. [[1, 5, 4, 2, 7, 6, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
1164. [[1, 5, 4, 2], [3, 7, 6]] {'exc': 2, 'aexc': 5, 'fix': 0}
1165. [[1, 5, 7, 6, 3, 2], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
1166. [[1, 5, 3, 2], [4], [6, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1167. [[1, 5, 3, 2], [4], [6], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
1168. [[1, 6, 4, 5, 2, 7, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1169. [[1, 6, 4, 7, 3, 5, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1170. [[1, 6, 7, 3, 5, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1171. [[1, 6, 3, 5, 4, 2], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1172. [[1, 7, 3, 5, 2], [4, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1173. [[1], [2, 7, 3, 5], [4, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1174. [[1], [2, 5], [3, 6, 4, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1175. [[1], [2, 5, 4], [3, 6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1176. [[1], [2, 5, 4], [3, 6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1177. [[1, 7, 3, 5, 4, 2], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1178. [[1], [2, 5, 4], [3, 7], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1179. [[1], [2, 5, 4, 7, 3], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1180. [[1], [2, 5, 6, 7, 3], [4]] {'exc': 3, 'aexc': 2, 'fix': 2}
1181. [[1], [2, 5, 6, 3], [4], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1182. [[1, 7, 6, 3, 5, 4, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1183. [[1], [2, 5, 4], [3, 7, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1184. [[1], [2, 5, 7, 6, 3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
1185. [[1], [2, 5, 3], [4], [6, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1186. [[1], [2, 5, 3], [4], [6], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
1187. [[1, 6, 5, 4, 2, 7, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
1188. [[1, 6, 5, 4, 2], [3, 7]] {'exc': 2, 'aexc': 5, 'fix': 0}
1189. [[1, 6, 5, 4, 7, 3, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1190. [[1, 6, 7, 3, 2], [4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
1191. [[1, 6, 3, 2], [4], [5], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
1192. [[1, 7, 3, 6, 5, 4, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1193. [[1], [2, 6, 5, 4], [3, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1194. [[1], [2, 6, 5, 4, 7, 3]] {'exc': 2, 'aexc': 4, 'fix': 1}
1195. [[1], [2, 6, 7, 3], [4], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
1196. [[1], [2, 6, 3], [4], [5], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
1197. [[1, 7, 3, 2], [4, 6, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
1198. [[1], [2, 7, 3], [4, 6, 5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1199. [[1], [2], [3, 6, 5, 4, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1200. [[1], [2], [3, 6, 7], [4], [5]] {'exc': 2, 'aexc': 1, 'fix': 4}
1201. [[1], [2], [3, 6], [4], [5], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
1202. [[1, 7, 3, 2], [4], [5], [6]] {'exc': 1, 'aexc': 3, 'fix': 3}
1203. [[1], [2, 7, 3], [4], [5], [6]] {'exc': 1, 'aexc': 2, 'fix': 4}
1204. [[1], [2], [3, 7], [4], [5], [6]] {'exc': 1, 'aexc': 1, 'fix': 5}
1205. [[1], [2], [3, 4, 7], [5], [6]] {'exc': 2, 'aexc': 1, 'fix': 4}
1206. [[1], [2], [3, 4, 5, 6, 7]] {'exc': 4, 'aexc': 1, 'fix': 2}
1207. [[1], [2], [3, 4, 5, 6], [7]] {'exc': 3, 'aexc': 1, 'fix': 3}
1208. [[1, 7, 6, 3, 2], [4], [5]] {'exc': 1, 'aexc': 4, 'fix': 2}
1209. [[1], [2, 7, 6, 3], [4], [5]] {'exc': 1, 'aexc': 3, 'fix': 3}
1210. [[1], [2], [3, 7, 6], [4], [5]] {'exc': 1, 'aexc': 2, 'fix': 4}
1211. [[1], [2], [3, 4, 5, 7, 6]] {'exc': 3, 'aexc': 2, 'fix': 2}
1212. [[1], [2], [3, 4, 5], [6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
1213. [[1], [2], [3, 4, 5], [6], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
1214. [[1, 6, 3], [2, 7, 5, 4]] {'exc': 2, 'aexc': 5, 'fix': 0}
1215. [[1, 6, 3, 7, 5, 4, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1216. [[1, 6, 3, 2], [4], [5, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1217. [[1, 6, 7, 5, 3, 2], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
1218. [[1, 6, 5, 3, 2], [4], [7]] {'exc': 1, 'aexc': 4, 'fix': 2}
1219. [[1, 7, 5, 4, 2], [3, 6]] {'exc': 2, 'aexc': 5, 'fix': 0}
1220. [[1], [2, 6, 3, 7, 5, 4]] {'exc': 2, 'aexc': 4, 'fix': 1}
1221. [[1], [2, 6, 3], [4], [5, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1222. [[1], [2, 6, 7, 5, 3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
1223. [[1], [2, 6, 5, 3], [4], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
1224. [[1, 7, 5, 6, 3, 2], [4]] {'exc': 2, 'aexc': 4, 'fix': 1}
1225. [[1], [2, 7, 5, 6, 3], [4]] {'exc': 2, 'aexc': 3, 'fix': 2}
1226. [[1], [2], [3, 7, 5, 6], [4]] {'exc': 2, 'aexc': 2, 'fix': 3}
1227. [[1], [2], [3, 4, 6], [5, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
1228. [[1], [2], [3, 4, 6, 7, 5]] {'exc': 3, 'aexc': 2, 'fix': 2}
1229. [[1], [2], [3, 4, 6, 5], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1230. [[1, 7, 5, 3, 2], [4], [6]] {'exc': 1, 'aexc': 4, 'fix': 2}
1231. [[1], [2, 7, 5, 3], [4], [6]] {'exc': 1, 'aexc': 3, 'fix': 3}
1232. [[1], [2], [3, 4, 7, 5], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
1233. [[1], [2], [3, 4], [5, 6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
1234. [[1], [2], [3, 4], [5, 6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1235. [[1, 7, 6, 5, 3, 2], [4]] {'exc': 1, 'aexc': 5, 'fix': 1}
1236. [[1], [2, 7, 6, 5, 3], [4]] {'exc': 1, 'aexc': 4, 'fix': 2}
1237. [[1], [2], [3, 4, 7, 6, 5]] {'exc': 2, 'aexc': 3, 'fix': 2}
1238. [[1], [2], [3, 4], [5, 7, 6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1239. [[1], [2], [3, 4], [5], [6, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1240. [[1], [2], [3, 4], [5], [6], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
1241. [[1, 7, 4], [2, 5], [3, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1242. [[1, 5, 2, 6, 3, 7, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
1243. [[1, 5, 2, 6, 3], [4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1244. [[1, 5, 7, 4, 2, 6, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1245. [[1, 5, 3], [2, 6, 7, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
1246. [[1, 5, 3], [2, 6, 4], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1247. [[1, 5, 2, 7, 4, 6, 3]] {'exc': 3, 'aexc': 4, 'fix': 0}
1248. [[1, 5, 2], [3, 6], [4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1249. [[1, 5, 7, 4, 2], [3, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1250. [[1, 5, 3, 6, 7, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1251. [[1, 5, 3, 6, 4, 2], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1252. [[1, 5, 6, 3], [2, 7, 4]] {'exc': 3, 'aexc': 4, 'fix': 0}
1253. [[1, 5, 6, 3, 7, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1254. [[1, 5, 7, 4, 6, 3, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1255. [[1, 5, 3, 2], [4, 6, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1256. [[1, 5, 3, 2], [4, 6], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1257. [[1, 5, 3], [2, 7, 4], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1258. [[1, 5, 3, 7, 4, 2], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1259. [[1, 5, 3, 2], [4, 7], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1260. [[1, 5, 6, 7, 4, 3, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1261. [[1, 5, 6, 4, 3, 2], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1262. [[1, 5, 3], [2, 7, 6, 4]] {'exc': 2, 'aexc': 5, 'fix': 0}
1263. [[1, 5, 3, 7, 6, 4, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1264. [[1, 5, 3, 2], [4, 7, 6]] {'exc': 2, 'aexc': 5, 'fix': 0}
1265. [[1, 5, 7, 6, 4, 3, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1266. [[1, 5, 4, 3, 2], [6, 7]] {'exc': 2, 'aexc': 5, 'fix': 0}
1267. [[1, 5, 4, 3, 2], [6], [7]] {'exc': 1, 'aexc': 4, 'fix': 2}
1268. [[1, 6, 3], [2, 7, 4, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
1269. [[1, 6, 3, 5, 2], [4, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1270. [[1, 6, 3, 5, 7, 4, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1271. [[1, 6, 7, 4, 2], [3, 5]] {'exc': 3, 'aexc': 4, 'fix': 0}
1272. [[1, 6, 4, 2], [3, 5], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1273. [[1, 7, 4, 6, 3, 5, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1274. [[1], [2, 7, 4, 6, 3, 5]] {'exc': 3, 'aexc': 3, 'fix': 1}
1275. [[1], [2, 5], [3, 6], [4, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1276. [[1], [2, 5, 7, 4], [3, 6]] {'exc': 3, 'aexc': 3, 'fix': 1}
1277. [[1], [2, 5, 3, 6, 7, 4]] {'exc': 3, 'aexc': 3, 'fix': 1}
1278. [[1], [2, 5, 3, 6, 4], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1279. [[1, 7, 4, 2], [3, 5, 6]] {'exc': 3, 'aexc': 4, 'fix': 0}
1280. [[1], [2, 5, 6, 3, 7, 4]] {'exc': 3, 'aexc': 3, 'fix': 1}
1281. [[1], [2, 5, 7, 4, 6, 3]] {'exc': 3, 'aexc': 3, 'fix': 1}
1282. [[1], [2, 5, 3], [4, 6, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1283. [[1], [2, 5, 3], [4, 6], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1284. [[1, 7, 4, 2], [3, 5], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1285. [[1], [2, 5, 3, 7, 4], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1286. [[1], [2, 5, 3], [4, 7], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1287. [[1], [2, 5, 6, 7, 4, 3]] {'exc': 3, 'aexc': 3, 'fix': 1}
1288. [[1], [2, 5, 6, 4, 3], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1289. [[1, 7, 6, 4, 2], [3, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
1290. [[1], [2, 5, 3, 7, 6, 4]] {'exc': 2, 'aexc': 4, 'fix': 1}
1291. [[1], [2, 5, 3], [4, 7, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1292. [[1], [2, 5, 7, 6, 4, 3]] {'exc': 2, 'aexc': 4, 'fix': 1}
1293. [[1], [2, 5, 4, 3], [6, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1294. [[1], [2, 5, 4, 3], [6], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
1295. [[1, 6, 3], [2, 7, 4], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1296. [[1, 6, 3, 7, 4, 2], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1297. [[1, 6, 3, 2], [4, 5, 7]] {'exc': 3, 'aexc': 4, 'fix': 0}
1298. [[1, 6, 7, 4, 5, 3, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1299. [[1, 6, 4, 5, 3, 2], [7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1300. [[1, 7, 4, 2], [3, 6], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1301. [[1], [2, 6, 3, 7, 4], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
1302. [[1], [2, 6, 3], [4, 5, 7]] {'exc': 3, 'aexc': 3, 'fix': 1}
1303. [[1], [2, 6, 7, 4, 5, 3]] {'exc': 3, 'aexc': 3, 'fix': 1}
1304. [[1], [2, 6, 4, 5, 3], [7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1305. [[1, 7, 4, 5, 6, 3, 2]] {'exc': 3, 'aexc': 4, 'fix': 0}
1306. [[1], [2, 7, 4, 5, 6, 3]] {'exc': 3, 'aexc': 3, 'fix': 1}
1307. [[1], [2], [3, 7, 4, 5, 6]] {'exc': 3, 'aexc': 2, 'fix': 2}
1308. [[1], [2], [3, 5, 7, 4, 6]] {'exc': 3, 'aexc': 2, 'fix': 2}
1309. [[1], [2], [3, 5], [4, 6, 7]] {'exc': 3, 'aexc': 2, 'fix': 2}
1310. [[1], [2], [3, 5], [4, 6], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1311. [[1, 7, 4, 5, 3, 2], [6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1312. [[1], [2, 7, 4, 5, 3], [6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1313. [[1], [2], [3, 5], [4, 7], [6]] {'exc': 2, 'aexc': 2, 'fix': 3}
1314. [[1], [2], [3, 5, 6, 7, 4]] {'exc': 3, 'aexc': 2, 'fix': 2}
1315. [[1], [2], [3, 5, 6, 4], [7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1316. [[1, 7, 6, 4, 5, 3, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1317. [[1], [2, 7, 6, 4, 5, 3]] {'exc': 2, 'aexc': 4, 'fix': 1}
1318. [[1], [2], [3, 5], [4, 7, 6]] {'exc': 2, 'aexc': 3, 'fix': 2}
1319. [[1], [2], [3, 5, 7, 6, 4]] {'exc': 2, 'aexc': 3, 'fix': 2}
1320. [[1], [2], [3, 5, 4], [6, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1321. [[1], [2], [3, 5, 4], [6], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
1322. [[1, 6, 5, 3], [2, 7, 4]] {'exc': 2, 'aexc': 5, 'fix': 0}
1323. [[1, 6, 5, 3, 7, 4, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1324. [[1, 6, 5, 3, 2], [4, 7]] {'exc': 2, 'aexc': 5, 'fix': 0}
1325. [[1, 6, 7, 4, 3, 2], [5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1326. [[1, 6, 4, 3, 2], [5], [7]] {'exc': 1, 'aexc': 4, 'fix': 2}
1327. [[1, 7, 4, 2], [3, 6, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
1328. [[1], [2, 6, 5, 3, 7, 4]] {'exc': 2, 'aexc': 4, 'fix': 1}
1329. [[1], [2, 6, 5, 3], [4, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1330. [[1], [2, 6, 7, 4, 3], [5]] {'exc': 2, 'aexc': 3, 'fix': 2}
1331. [[1], [2, 6, 4, 3], [5], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
1332. [[1, 7, 4, 6, 5, 3, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1333. [[1], [2, 7, 4, 6, 5, 3]] {'exc': 2, 'aexc': 4, 'fix': 1}
1334. [[1], [2], [3, 6, 5], [4, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1335. [[1], [2], [3, 6, 7, 4], [5]] {'exc': 2, 'aexc': 2, 'fix': 3}
1336. [[1], [2], [3, 6, 4], [5], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
1337. [[1, 7, 4, 3, 2], [5], [6]] {'exc': 1, 'aexc': 4, 'fix': 2}
1338. [[1], [2, 7, 4, 3], [5], [6]] {'exc': 1, 'aexc': 3, 'fix': 3}
1339. [[1], [2], [3, 7, 4], [5], [6]] {'exc': 1, 'aexc': 2, 'fix': 4}
1340. [[1], [2], [3], [4, 7], [5], [6]] {'exc': 1, 'aexc': 1, 'fix': 5}
1341. [[1], [2], [3], [4, 5, 6, 7]] {'exc': 3, 'aexc': 1, 'fix': 3}
1342. [[1], [2], [3], [4, 5, 6], [7]] {'exc': 2, 'aexc': 1, 'fix': 4}
1343. [[1, 7, 6, 4, 3, 2], [5]] {'exc': 1, 'aexc': 5, 'fix': 1}
1344. [[1], [2, 7, 6, 4, 3], [5]] {'exc': 1, 'aexc': 4, 'fix': 2}
1345. [[1], [2], [3, 7, 6, 4], [5]] {'exc': 1, 'aexc': 3, 'fix': 3}
1346. [[1], [2], [3], [4, 5, 7, 6]] {'exc': 2, 'aexc': 2, 'fix': 3}
1347. [[1], [2], [3], [4, 5], [6, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1348. [[1], [2], [3], [4, 5], [6], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
1349. [[1, 6, 4, 2, 7, 5, 3]] {'exc': 2, 'aexc': 5, 'fix': 0}
1350. [[1, 6, 4, 2], [3, 7, 5]] {'exc': 2, 'aexc': 5, 'fix': 0}
1351. [[1, 6, 4, 7, 5, 3, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1352. [[1, 6, 4, 3, 2], [5, 7]] {'exc': 2, 'aexc': 5, 'fix': 0}
1353. [[1, 6, 7, 5, 4, 3, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1354. [[1, 6, 5, 4, 3, 2], [7]] {'exc': 1, 'aexc': 5, 'fix': 1}
1355. [[1, 7, 5, 3, 6, 4, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1356. [[1], [2, 6, 4], [3, 7, 5]] {'exc': 2, 'aexc': 4, 'fix': 1}
1357. [[1], [2, 6, 4, 7, 5, 3]] {'exc': 2, 'aexc': 4, 'fix': 1}
1358. [[1], [2, 6, 4, 3], [5, 7]] {'exc': 2, 'aexc': 4, 'fix': 1}
1359. [[1], [2, 6, 7, 5, 4, 3]] {'exc': 2, 'aexc': 4, 'fix': 1}
1360. [[1], [2, 6, 5, 4, 3], [7]] {'exc': 1, 'aexc': 4, 'fix': 2}
1361. [[1, 7, 5, 3, 2], [4, 6]] {'exc': 2, 'aexc': 5, 'fix': 0}
1362. [[1], [2, 7, 5, 3], [4, 6]] {'exc': 2, 'aexc': 4, 'fix': 1}
1363. [[1], [2], [3, 6, 4, 7, 5]] {'exc': 2, 'aexc': 3, 'fix': 2}
1364. [[1], [2], [3, 6, 4], [5, 7]] {'exc': 2, 'aexc': 3, 'fix': 2}
1365. [[1], [2], [3, 6, 7, 5, 4]] {'exc': 2, 'aexc': 3, 'fix': 2}
1366. [[1], [2], [3, 6, 5, 4], [7]] {'exc': 1, 'aexc': 3, 'fix': 3}
1367. [[1, 7, 5, 6, 4, 3, 2]] {'exc': 2, 'aexc': 5, 'fix': 0}
1368. [[1], [2, 7, 5, 6, 4, 3]] {'exc': 2, 'aexc': 4, 'fix': 1}
1369. [[1], [2], [3, 7, 5, 6, 4]] {'exc': 2, 'aexc': 3, 'fix': 2}
1370. [[1], [2], [3], [4, 6], [5, 7]] {'exc': 2, 'aexc': 2, 'fix': 3}
1371. [[1], [2], [3], [4, 6, 7, 5]] {'exc': 2, 'aexc': 2, 'fix': 3}
1372. [[1], [2], [3], [4, 6, 5], [7]] {'exc': 1, 'aexc': 2, 'fix': 4}
1373. [[1, 7, 5, 4, 3, 2], [6]] {'exc': 1, 'aexc': 5, 'fix': 1}
1374. [[1], [2, 7, 5, 4, 3], [6]] {'exc': 1, 'aexc': 4, 'fix': 2}
1375. [[1], [2], [3, 7, 5, 4], [6]] {'exc': 1, 'aexc': 3, 'fix': 3}
1376. [[1], [2], [3], [4, 7, 5], [6]] {'exc': 1, 'aexc': 2, 'fix': 4}
1377. [[1], [2], [3], [4], [5, 6, 7]] {'exc': 2, 'aexc': 1, 'fix': 4}
1378. [[1], [2], [3], [4], [5, 6], [7]] {'exc': 1, 'aexc': 1, 'fix': 5}
1379. [[1, 7, 6, 5, 4, 3, 2]] {'exc': 1, 'aexc': 6, 'fix': 0}
1380. [[1], [2, 7, 6, 5, 4, 3]] {'exc': 1, 'aexc': 5, 'fix': 1}
1381. [[1], [2], [3, 7, 6, 5, 4]] {'exc': 1, 'aexc': 4, 'fix': 2}
1382. [[1], [2], [3], [4, 7, 6, 5]] {'exc': 1, 'aexc': 3, 'fix': 3}
1383. [[1], [2], [3], [4], [5, 7, 6]] {'exc': 1, 'aexc': 2, 'fix': 4}
1384. [[1], [2], [3], [4], [5], [6, 7]] {'exc': 1, 'aexc': 1, 'fix': 5}
1385. [[1], [2], [3], [4], [5], [6], [7]] {'exc': 0, 'aexc': 0, 'fix': 7}