7

17
0: [0, 2]
1: [0, 3]
2: [0, 4]
3: [0, 6]
4: [0, 7]
5: [1, 5]
6: [1, 6]
7: [1, 7]
8: [2, 5]
9: [2, 6]
10: [2, 7]
11: [3, 5]
12: [3, 6]
13: [3, 7]
14: [4, 5]
15: [4, 6]
16: [4, 7]
0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0
0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0
0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0
0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0
0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0
0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1
0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0
0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0
0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0
0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1
0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0

12
0: [1, 5]
1: [1, 6]
2: [1, 7]
3: [2, 5]
4: [2, 6]
5: [2, 7]
6: [3, 5]
7: [3, 6]
8: [3, 7]
9: [4, 5]
10: [4, 6]
11: [4, 7]
0 1 1 1 0 0 0 0 0 0 0 0
1 0 0 0 1 0 0 0 0 0 0 0
1 0 0 0 0 1 0 0 0 0 0 0
1 0 0 0 0 0 1 0 0 1 0 0
0 1 0 0 0 0 0 1 0 0 1 0
0 0 1 0 0 0 0 0 1 0 0 1
0 0 0 1 0 0 0 1 1 0 0 0
0 0 0 0 1 0 1 0 0 0 0 0
0 0 0 0 0 1 1 0 0 0 0 0
0 0 0 1 0 0 0 0 0 0 1 1
0 0 0 0 1 0 0 0 0 1 0 0
0 0 0 0 0 1 0 0 0 1 0 0

12
0: [1, 4]
1: [1, 5]
2: [1, 6]
3: [1, 7]
4: [2, 4]
5: [2, 5]
6: [2, 6]
7: [2, 7]
8: [3, 4]
9: [3, 5]
10: [3, 6]
11: [3, 7]
0 1 1 1 0 0 0 0 0 0 0 0
1 0 0 0 0 1 0 0 0 0 0 0
1 0 0 0 0 0 1 0 0 0 0 0
1 0 0 0 0 0 0 1 0 0 0 0
0 0 0 0 0 1 1 1 0 0 0 0
0 1 0 0 1 0 0 0 0 1 0 0
0 0 1 0 1 0 0 0 0 0 1 0
0 0 0 1 1 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 1 1 1
0 0 0 0 0 1 0 0 1 0 0 0
0 0 0 0 0 0 1 0 1 0 0 0
0 0 0 0 0 0 0 1 1 0 0 0

12
0: [1, 5]
1: [1, 6]
2: [1, 7]
3: [2, 5]
4: [2, 6]
5: [2, 7]
6: [3, 5]
7: [3, 6]
8: [3, 7]
9: [4, 5]
10: [4, 6]
11: [4, 7]
0 0 0 1 0 0 1 0 0 1 0 0
0 0 0 0 1 0 0 1 0 0 1 0
0 0 0 0 0 1 0 0 1 0 0 1
1 0 0 0 1 1 0 0 0 0 0 0
0 1 0 1 0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0 0 0 0 0
1 0 0 0 0 0 0 1 1 0 0 0
0 1 0 0 0 0 1 0 0 0 0 0
0 0 1 0 0 0 1 0 0 0 0 0
1 0 0 0 0 0 0 0 0 0 1 1
0 1 0 0 0 0 0 0 0 1 0 0
0 0 1 0 0 0 0 0 0 1 0 0

15
0: [0, 2]
1: [0, 3]
2: [0, 4]
3: [1, 5]
4: [1, 6]
5: [1, 7]
6: [2, 5]
7: [2, 6]
8: [2, 7]
9: [3, 5]
10: [3, 6]
11: [3, 7]
12: [4, 5]
13: [4, 6]
14: [4, 7]
0 0 0 0 0 0 1 0 1 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 1 0 1 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 1 0 1
0 0 0 0 0 0 1 0 0 1 0 0 1 0 0
0 0 0 0 0 0 0 1 0 0 1 0 0 1 0
0 0 0 0 0 0 0 0 1 0 0 1 0 0 1
1 0 0 1 0 0 0 1 0 0 0 0 0 0 0
0 0 0 0 1 0 1 0 0 0 0 0 0 0 0
1 0 0 0 0 1 0 0 0 0 0 0 0 0 0
0 1 0 1 0 0 0 0 0 0 1 0 0 0 0
0 0 0 0 1 0 0 0 0 1 0 0 0 0 0
0 1 0 0 0 1 0 0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0 0 0 0 0 0 1 0
0 0 0 0 1 0 0 0 0 0 0 0 1 0 0
0 0 1 0 0 1 0 0 0 0 0 0 0 0 0

15
0: [0, 2]
1: [0, 3]
2: [0, 4]
3: [1, 5]
4: [1, 6]
5: [1, 7]
6: [2, 5]
7: [2, 6]
8: [2, 7]
9: [3, 5]
10: [3, 6]
11: [3, 7]
12: [4, 5]
13: [4, 6]
14: [4, 7]
0 0 0 0 0 0 1 1 1 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 1 1 1 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 1 1 1
0 0 0 0 0 0 1 0 0 1 0 0 1 0 0
0 0 0 0 0 0 0 1 0 0 1 0 0 1 0
0 0 0 0 0 0 0 0 1 0 0 1 0 0 1
1 0 0 1 0 0 0 0 0 0 0 0 0 0 0
1 0 0 0 1 0 0 0 0 0 0 0 0 0 0
1 0 0 0 0 1 0 0 0 0 0 0 0 0 0
0 1 0 1 0 0 0 0 0 0 0 0 0 0 0
0 1 0 0 1 0 0 0 0 0 0 0 0 0 0
0 1 0 0 0 1 0 0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0 0 0 0 0 0 0 0
0 0 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 1 0 0 0 0 0 0 0 0 0

19
0: [0, 2]
1: [0, 3]
2: [0, 5]
3: [0, 6]
4: [1, 4]
5: [1, 5]
6: [1, 6]
7: [1, 7]
8: [2, 4]
9: [2, 5]
10: [2, 6]
11: [2, 7]
12: [3, 4]
13: [3, 5]
14: [3, 6]
15: [3, 7]
16: [4, 7]
17: [5, 7]
18: [6, 7]
0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1
0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0
0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0
0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0
1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0
0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0
1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0
0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0
0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0
0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0