7
1(4) -> [2 2], [3 5], [4 1], [9 4], 
2(3) -> [1 2], [3 3], [4 2], 
3(6) -> [1 5], [2 3], [4 3], [5 1], [6 5], [9 4], 
4(4) -> [1 1], [2 2], [3 3], [5 1], 
5(3) -> [3 1], [4 1], [6 2], 
6(2) -> [3 5], [5 2], 
9(0) -> 
7
1(4) -> [2 2], [3 5], [4 1], [9 3], 
2(4) -> [1 2], [3 3], [4 2], [9 4], 
3(5) -> [1 5], [2 3], [4 3], [5 1], [6 5], 
4(4) -> [1 1], [2 2], [3 3], [5 1], 
5(3) -> [3 1], [4 1], [6 2], 
6(2) -> [3 5], [5 2], 
9(0) -> 
7
1(4) -> [2 2], [3 5], [4 1], [9 4], 
2(4) -> [1 2], [3 3], [4 2], [9 5], 
3(5) -> [1 5], [2 3], [4 3], [5 1], [6 5], 
4(4) -> [1 1], [2 2], [3 3], [5 1], 
5(3) -> [3 1], [4 1], [6 2], 
6(2) -> [3 5], [5 2], 
9(0) -> 
7
1(4) -> [2 2], [3 5], [4 1], [9 3], 
2(4) -> [1 2], [3 3], [4 2], [9 4], 
3(5) -> [1 5], [2 3], [4 3], [5 1], [6 5], 
4(4) -> [1 1], [2 2], [3 3], [5 1], 
5(3) -> [3 1], [4 1], [6 2], 
6(2) -> [3 5], [5 2], 
9(0) -> 
7
1(4) -> [2 2], [3 5], [4 1], [9 3], 
2(5) -> [1 2], [3 3], [4 2], [9 4], [5 5], 
3(5) -> [1 5], [2 3], [4 3], [5 7], [6 5], 
4(3) -> [1 1], [2 2], [3 3], 
5(3) -> [3 1], [4 1], [6 2], 
6(1) -> [3 5], 
9(0) -> 
10
1(4) -> [2 2], [3 5], [4 1], [9 3], 
2(5) -> [1 2], [3 3], [4 2], [9 4], [5 5], 
3(5) -> [1 5], [2 3], [4 3], [5 7], [6 5], 
4(3) -> [1 1], [2 2], [3 3], 
5(3) -> [3 1], [4 1], [6 2], 
6(1) -> [3 5], 
9(0) -> 
11(0) -> 
13(1) -> [11 4], 
14(1) -> [11 5], 
7
1(4) -> [2 2], [3 5], [4 1], [9 4], 
2(3) -> [1 2], [3 3], [4 2], 
3(6) -> [1 5], [2 3], [4 3], [5 1], [6 5], [9 5], 
4(4) -> [1 1], [2 2], [3 3], [5 1], 
5(3) -> [3 1], [4 1], [6 2], 
6(2) -> [3 5], [5 2], 
9(0) -> 
7
1(4) -> [2 2], [3 5], [4 1], [9 4], 
2(4) -> [1 2], [3 3], [4 2], [9 3], 
3(5) -> [1 5], [2 3], [4 3], [5 1], [6 5], 
4(4) -> [1 1], [2 2], [3 3], [5 1], 
5(3) -> [3 1], [4 1], [6 2], 
6(2) -> [3 5], [5 2], 
9(0) -> 
7
1(4) -> [2 2], [3 5], [4 1], [9 4], 
2(4) -> [1 2], [3 3], [4 2], [9 3], 
3(5) -> [1 5], [2 3], [4 3], [5 1], [6 5], 
4(4) -> [1 1], [2 2], [3 3], [5 1], 
5(3) -> [3 1], [4 1], [6 2], 
6(2) -> [3 5], [5 2], 
9(0) -> 
7
1(4) -> [2 2], [3 5], [4 1], [9 2], 
2(3) -> [1 2], [3 3], [4 2], 
3(6) -> [1 5], [2 3], [4 3], [5 1], [6 5], [9 4], 
4(4) -> [1 1], [2 2], [3 3], [5 1], 
5(3) -> [3 1], [4 1], [6 2], 
6(2) -> [3 5], [5 2], 
9(0) -> 
7
1(3) -> [2 2], [3 5], [4 1], 
2(4) -> [1 2], [3 3], [4 2], [9 3], 
3(5) -> [1 5], [2 3], [4 3], [5 1], [6 5], 
4(5) -> [1 1], [2 2], [3 3], [5 1], [9 5], 
5(3) -> [3 1], [4 1], [6 2], 
6(2) -> [3 5], [5 2], 
9(0) -> 
7
1(3) -> [2 2], [3 5], [4 1], 
2(3) -> [1 2], [3 3], [4 2], 
3(5) -> [1 5], [2 3], [4 3], [5 1], [6 5], 
4(4) -> [1 1], [2 2], [3 3], [5 1], 
5(4) -> [3 1], [4 1], [6 2], [7 3], 
6(3) -> [3 5], [5 2], [7 2], 
7(0) -> 
