Skip to content

Commit 7e23c02

Browse files
ceenaaceenaa
committed
Initial project
1 parent d3e0490 commit 7e23c02

File tree

7 files changed

+743
-0
lines changed

7 files changed

+743
-0
lines changed

‎board_generator.py

+171
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,171 @@
1+
def board1():
2+
temp = [
3+
['#', 'c1', 'c2'],
4+
['c3', 0, 0],
5+
['c4', 0, 0]
6+
]
7+
constraints = {
8+
'c1': {'down': 11},
9+
'c2': {'down': 3},
10+
'c3': {'right': 3},
11+
'c4': {'right': 11}
12+
}
13+
14+
return temp, constraints
15+
16+
17+
def board2():
18+
temp = [
19+
['#', 'c1', 'c2', 'c3'],
20+
['c4', 0, 0, 0],
21+
['c5', 0, 0, 0],
22+
['c6', 0, 0, 0],
23+
]
24+
constraints = {
25+
'c1': {'down': 19},
26+
'c2': {'down': 12},
27+
'c3': {'down': 7},
28+
'c4': {'right': 20},
29+
'c5': {'right': 10},
30+
'c6': {'right': 8}
31+
}
32+
return temp, constraints
33+
34+
35+
def board3():
36+
temp = [
37+
['#', 'c1', 'c2', '#', '#'],
38+
['c3', 0, 0, 'c4', '#'],
39+
['c5', 0, 0, 0, 'c6'],
40+
['#', 'c7', 0, 0, 0],
41+
['#', '#', 'c8', 0, 0]
42+
]
43+
constraints = {
44+
'c1': {'down': 17},
45+
'c2': {'down': 23},
46+
'c3': {'right': 15},
47+
'c4': {'down': 6},
48+
'c5': {'right': 20},
49+
'c6': {'down': 16},
50+
'c7': {'right': 17},
51+
'c8': {'right': 10}
52+
}
53+
return temp, constraints
54+
55+
56+
def board4():
57+
temp = [
58+
['#', '#', '#', 'c1', 'c2', '#', '#'], # 0
59+
['#', '#', 'c5', 0, 0, 'c3', 'c4'], # 1
60+
['#', 'c6', 0, 0, 0, 0, 0], # 2
61+
['c7', 0, 0, 'c13', 0, 0, 0], # 3
62+
['c8', 0, 0, 0, 0, 0, 'c12'], # 4
63+
['#', 'c9', 0, 0, 0, 0, 0], # 5
64+
['#', 'c10', 0, 0, 'c11', 0, 0], # 6
65+
]
66+
constraints = {
67+
'c1': {'down': 17},
68+
'c2': {'down': 28},
69+
'c3': {'down': 17},
70+
'c4': {'down': 17},
71+
'c5': {'down': 27, 'right': 16},
72+
'c6': {'down': 11, 'right': 27},
73+
'c7': {'right': 3},
74+
'c8': {'right': 34},
75+
'c9': {'right': 30},
76+
'c10': {'right': 3},
77+
'c11': {'right': 16},
78+
'c12': {'down': 17},
79+
'c13': {'down': 14, 'right': 19},
80+
}
81+
82+
return temp, constraints
83+
84+
85+
def board5():
86+
temp = [
87+
['#', '#', 'c1', 'c2', 'c3', '#', 'c4', 'c5'],
88+
['#', 'c6', 0, 0, 0, 'c7', 0, 0],
89+
['c8', 0, 0, 0, 0, 0, 0, 0],
90+
['c9', 0, 0, 'c10', 0, 0, 'c11', '#'],
91+
['#', 'c12', 0, 0, 'c13', 0, 0, 'c14'],
92+
['#', 'c15', 'c16', 0, 0, 'c17', 0, 0],
93+
['c18', 0, 0, 0, 0, 0, 0, 0],
94+
['c19', 0, 0, 'c20', 0, 0, 0, '#'],
95+
]
96+
97+
constraints = {
98+
'c1': {'down': 20},
99+
'c2': {'down': 3},
100+
'c3': {'down': 23},
101+
'c4': {'down': 12},
102+
'c5': {'down': 16},
103+
'c6': {'down': 5, 'right': 12},
104+
'c7': {'down': 24, 'right': 16},
105+
'c8': {'right': 41},
106+
'c9': {'right': 3},
107+
'c10': {'down': 24, 'right': 13},
108+
'c11': {'down': 11},
109+
'c12': {'right': 17},
110+
'c13': {'down': 23, 'right': 10},
111+
'c14': {'down': 16},
112+
'c15': {'down': 14},
113+
'c16': {'down': 5, 'right': 16},
114+
'c17': {'down': 17, 'right': 11},
115+
'c18': {'right': 42},
116+
'c19': {'right': 10},
117+
'c20': {'right': 22}
118+
119+
}
120+
return temp, constraints
121+
122+
123+
def board6():
124+
temp = [
125+
['#', '#', '#', 'c1', 'c2', '#', '#', 'c3', 'c4', '#'], # 0
126+
['#', 'c5', 'c6', 0, 0, '#', 'c7', 0, 0, 'c8'], # 1
127+
['c9', 0, 0, 0, 0, 'c10', 'c11', 0, 0, 0], # 2
128+
['c12', 0, 0, 'c13', 0, 0, 0, 0, 0, 0], # 3
129+
['#', 'c14', 0, 0, 'c15', 0, 0, 'c16', 0, 0], # 4
130+
['#', 'c17', 0, 0, 'c18', 'c19', 'c20', 0, 0, '#'], # 5
131+
['c21', 0, 0, 'c22', 0, 0, 'c23', 0, 0, 'c24'], # 6
132+
['c25', 0, 0, 0, 0, 0, 0, 'c26', 0, 0], # 7
133+
['c27', 0, 0, 0, '#', 'c28', 0, 0, 0, 0], # 8
134+
['#', 'c29', 0, 0, '#', 'c30', 0, 0, '#', '#'], # 9
135+
]
136+
constraints = {
137+
'c1': {'down': 17},
138+
'c2': {'down': 19},
139+
'c3': {'down': 7},
140+
'c4': {'down': 44},
141+
'c5': {'down': 3},
142+
'c6': {'down': 37, 'right': 17},
143+
'c7': {'right': 10},
144+
'c8': {'down': 23},
145+
'c9': {'right': 20},
146+
'c10': {'down': 6},
147+
'c11': {'right': 15, 'down': 3},
148+
'c12': {'right': 5},
149+
'c13': {'down': 3, 'right': 25},
150+
'c14': {'right': 8},
151+
'c15': {'right': 3},
152+
'c16': {'down': 10, 'right': 15},
153+
'c17': {'down': 13, 'right': 3},
154+
'c18': {'down': 7},
155+
'c19': {'down': 5},
156+
'c20': {'right': 17},
157+
'c21': {'right': 9},
158+
'c22': {'down': 10, 'right': 3},
159+
'c23': {'down': 16, 'right': 6},
160+
'c24': {'down': 11},
161+
'c25': {'right': 38},
162+
'c26': {'down': 3, 'right': 17},
163+
'c27': {'right': 7},
164+
'c28': {'right': 12},
165+
'c29': {'right': 4},
166+
'c30': {'right': 3},
167+
}
168+
169+
return temp, constraints
170+
171+

‎domains.py

+175
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,175 @@
1+
import copy
2+
3+
domains = {
4+
2: {
5+
3: [[1, 2]],
6+
4: [[1, 3]],
7+
5: [[1, 4], [2, 3]],
8+
6: [[1, 5], [2, 4]],
9+
7: [[1, 6], [2, 5], [3, 4]],
10+
8: [[1, 7], [2, 6], [3, 5]],
11+
9: [[1, 8], [2, 7], [3, 6], [4, 5]],
12+
10: [[1, 9], [2, 8], [3, 7], [4, 6]],
13+
11: [[2, 9], [3, 8], [4, 7], [5, 6]],
14+
12: [[3, 9], [4, 8], [5, 7]],
15+
13: [[4, 9], [5, 8], [6, 7]],
16+
14: [[5, 9], [6, 8]],
17+
15: [[6, 9], [7, 8]],
18+
16: [[7, 9]],
19+
17: [[8, 9]]
20+
},
21+
3: {
22+
6: [[1, 2, 3]],
23+
7: [[1, 2, 4]],
24+
8: [[1, 2, 5], [1, 3, 4]],
25+
9: [[1, 2, 6], [1, 3, 5], [2, 3, 4]],
26+
10: [[1, 2, 7], [1, 3, 6], [1, 4, 5], [2, 3, 5]],
27+
11: [[1, 2, 8], [1, 3, 7], [1, 4, 6], [2, 3, 6], [2, 4, 5]],
28+
12: [[1, 2, 9], [1, 3, 8], [1, 4, 7], [1, 5, 6], [2, 3, 7], [2, 4, 6], [3, 4, 5]],
29+
13: [[1, 3, 9], [1, 4, 8], [1, 5, 7], [2, 3, 8], [2, 4, 7], [2, 5, 6], [3, 4, 6]],
30+
14: [[1, 4, 9], [1, 5, 8], [1, 6, 7], [2, 3, 9], [2, 4, 8], [2, 5, 7], [3, 4, 7], [3, 5, 6]],
31+
15: [[1, 5, 9], [1, 6, 8], [2, 4, 9], [2, 5, 8], [2, 6, 7], [3, 4, 8], [3, 5, 7], [4, 5, 6]],
32+
16: [[1, 6, 9], [1, 7, 8], [2, 5, 9], [2, 6, 8], [3, 4, 9], [3, 5, 8], [3, 6, 7], [4, 5, 7]],
33+
17: [[1, 7, 9], [2, 6, 9], [2, 7, 8], [3, 5, 9], [3, 6, 8], [4, 5, 8], [4, 6, 7]],
34+
18: [[1, 8, 9], [2, 7, 9], [3, 6, 9], [3, 7, 8], [4, 5, 9], [4, 6, 8]],
35+
19: [[2, 8, 9], [3, 7, 9], [4, 6, 9], [4, 7, 8], [5, 6, 8]],
36+
20: [[3, 8, 9], [4, 7, 9], [5, 6, 9], [5, 7, 8]],
37+
21: [[4, 8, 9], [5, 7, 9], [6, 7, 8]],
38+
22: [[5, 8, 9], [6, 7, 9]],
39+
23: [[6, 8, 9]],
40+
24: [[7, 8, 9]]
41+
},
42+
43+
4: {
44+
10: [[1, 2, 3, 4]],
45+
11: [[1, 2, 3, 5]],
46+
12: [[1, 2, 3, 6], [1, 2, 4, 5]],
47+
13: [[1, 2, 3, 7], [1, 2, 4, 6], [1, 3, 4, 5]],
48+
14: [[1, 2, 3, 8], [1, 2, 4, 7], [1, 2, 5, 6], [1, 3, 4, 6], [2, 3, 4, 5]],
49+
15: [[1, 2, 3, 9], [1, 2, 4, 8], [1, 2, 5, 7], [1, 3, 4, 7], [1, 3, 5, 6], [2, 3, 4, 6]],
50+
16: [[1, 2, 4, 9], [1, 2, 5, 8], [1, 2, 6, 7], [1, 3, 4, 8], [1, 3, 5, 7], [1, 4, 5, 6], [2, 3, 4, 7]],
51+
17: [[1, 2, 5, 9], [1, 2, 6, 8], [1, 3, 4, 9], [1, 3, 5, 8], [1, 3, 6, 7], [1, 4, 5, 7], [2, 3, 4, 8],
52+
[2, 3, 5, 6]],
53+
18: [[1, 2, 6, 9], [1, 2, 7, 8], [1, 3, 5, 9], [1, 3, 6, 8], [1, 4, 5, 8], [1, 4, 6, 7], [2, 3, 4, 9],
54+
[2, 3, 5, 8], [2, 3, 6, 7]],
55+
19: [[1, 2, 7, 9], [1, 2, 8, 8], [1, 3, 6, 9], [1, 3, 7, 8], [1, 4, 5, 9], [1, 4, 6, 8], [1, 4, 7, 7],
56+
[2, 3, 5, 9], [2, 3, 6, 8], [2, 4, 5, 8], [2, 4, 6, 7]],
57+
20: [[1, 2, 8, 9], [1, 2, 9, 8], [1, 3, 7, 9], [1, 4, 6, 9], [1, 4, 7, 8], [1, 5, 6, 8], [2, 3, 6, 9],
58+
[2, 3, 7, 8], [2, 4, 5, 9], [2, 4, 6, 8], [2, 5, 6, 7]],
59+
21: [[1, 3, 8, 9], [1, 4, 7, 9], [1, 5, 6, 9], [1, 5, 7, 8], [2, 3, 7, 9], [2, 4, 6, 9], [2, 4, 7, 8],
60+
[2, 5, 6, 8], [3, 4, 5, 9], [3, 4, 6, 8], [3, 5, 6, 7]],
61+
22: [[1, 4, 8, 9], [1, 5, 7, 9], [1, 6, 7, 8], [2, 3, 8, 9], [2, 4, 7, 9], [2, 5, 6, 9], [2, 5, 7, 8],
62+
[3, 4, 6, 9], [3, 4, 7, 8], [3, 5, 6, 8], [4, 5, 6, 7]],
63+
23: [[1, 5, 8, 9], [1, 6, 7, 9], [2, 4, 8, 9], [2, 5, 7, 9], [2, 6, 7, 8], [3, 4, 7, 9], [3, 5, 6, 9],
64+
[3, 5, 7, 8], [4, 5, 6, 8]],
65+
24: [[1, 6, 8, 9], [2, 5, 8, 9], [2, 6, 7, 9], [3, 4, 8, 9], [3, 5, 7, 9], [3, 6, 7, 8], [4, 5, 6, 9],
66+
[4, 5, 7, 8]],
67+
25: [[1, 7, 8, 9], [2, 6, 8, 9], [3, 5, 8, 9], [3, 6, 7, 9], [4, 5, 7, 9], [4, 6, 7, 8]],
68+
26: [[2, 7, 8, 9], [3, 6, 8, 9], [4, 5, 8, 9], [4, 6, 7, 9], [5, 6, 7, 8]],
69+
27: [[3, 7, 8, 9], [4, 6, 8, 9], [5, 6, 7, 9]],
70+
28: [[4, 7, 8, 9], [5, 6, 8, 9]],
71+
29: [[5, 7, 8, 9]],
72+
30: [[6, 7, 8, 9]]
73+
},
74+
75+
5: {
76+
15: [[1, 2, 3, 4, 5]],
77+
16: [[1, 2, 3, 4, 6]],
78+
17: [[1, 2, 3, 4, 7], [1, 2, 3, 5, 6]],
79+
18: [[1, 2, 3, 4, 8], [1, 2, 3, 5, 7], [1, 2, 4, 5, 6]],
80+
19: [[1, 2, 3, 4, 9], [1, 2, 3, 5, 8], [1, 2, 3, 6, 7], [1, 2, 4, 5, 7], [1, 3, 4, 5, 6]],
81+
20: [[1, 2, 3, 5, 9], [1, 2, 3, 6, 8], [1, 2, 3, 7, 7], [1, 2, 4, 5, 8], [1, 2, 4, 6, 7], [1, 2, 5, 6, 6],
82+
[1, 3, 4, 5, 7], [2, 3, 4, 5, 6]],
83+
21: [[1, 2, 3, 6, 9], [1, 2, 3, 7, 8], [1, 2, 4, 5, 9], [1, 2, 4, 6, 8], [1, 2, 5, 6, 7], [1, 3, 4, 5, 8],
84+
[1, 3, 4, 6, 7], [2, 3, 4, 5, 7]],
85+
22: [[1, 2, 3, 7, 9], [1, 2, 4, 6, 9], [1, 2, 4, 7, 8], [1, 2, 5, 6, 8], [1, 3, 4, 5, 9], [1, 3, 4, 6, 8],
86+
[1, 3, 5, 6, 7], [2, 3, 4, 5, 8], [2, 3, 4, 6, 7]],
87+
23: [[1, 2, 3, 8, 9], [1, 2, 4, 7, 9], [1, 2, 5, 6, 9], [1, 2, 5, 7, 8], [1, 3, 4, 6, 9], [1, 3, 4, 7, 8],
88+
[1, 3, 5, 6, 8], [1, 4, 5, 6, 7], [2, 3, 4, 5, 9], [2, 3, 4, 6, 8], [2, 3, 5, 6, 7]],
89+
24: [[1, 2, 4, 8, 9], [1, 2, 5, 7, 9], [1, 2, 6, 7, 8], [1, 3, 4, 7, 9], [1, 3, 5, 6, 9], [1, 3, 5, 7, 8],
90+
[1, 4, 5, 6, 8], [2, 3, 4, 6, 9], [2, 3, 4, 7, 8], [2, 3, 5, 6, 8], [2, 4, 5, 6, 7]],
91+
25: [[1, 2, 5, 8, 9], [1, 2, 6, 7, 9], [1, 3, 4, 8, 9], [1, 3, 5, 7, 9], [1, 3, 6, 7, 8], [1, 4, 5, 6, 9],
92+
[1, 4, 5, 7, 8], [2, 3, 4, 7, 9], [2, 3, 5, 6, 9], [2, 3, 5, 7, 8], [2, 4, 5, 6, 8], [3, 4, 5, 6, 7]],
93+
26: [[1, 2, 6, 8, 9], [1, 3, 5, 8, 9], [1, 3, 6, 7, 9], [1, 4, 5, 7, 9], [1, 4, 6, 7, 8], [2, 3, 4, 8, 9],
94+
[2, 3, 5, 7, 9], [2, 3, 6, 7, 8], [2, 4, 5, 6, 9], [2, 4, 5, 7, 8], [3, 4, 5, 6, 8]],
95+
27: [[1, 2, 7, 8, 9], [1, 3, 6, 8, 9], [1, 4, 5, 8, 9], [1, 4, 6, 7, 9], [1, 5, 6, 7, 8], [2, 3, 5, 8, 9],
96+
[2, 3, 6, 7, 9], [2, 4, 5, 7, 9], [2, 4, 6, 7, 8], [3, 4, 5, 6, 9], [3, 4, 5, 7, 8]],
97+
28: [[1, 3, 7, 8, 9], [1, 4, 6, 8, 9], [1, 5, 6, 7, 9], [2, 3, 6, 8, 9], [2, 4, 5, 8, 9], [2, 4, 6, 7, 9],
98+
[2, 5, 6, 7, 8], [3, 4, 5, 7, 9], [3, 4, 6, 7, 8]],
99+
29: [[1, 4, 7, 8, 9], [1, 5, 6, 8, 9], [2, 3, 7, 8, 9], [2, 4, 6, 8, 9], [2, 5, 6, 7, 9], [3, 4, 5, 8, 9],
100+
[3, 4, 6, 7, 9], [3, 5, 6, 7, 8]],
101+
30: [[1, 5, 7, 8, 9], [2, 4, 7, 8, 9], [2, 5, 6, 8, 9], [3, 4, 6, 8, 9], [3, 5, 6, 7, 9], [4, 5, 6, 7, 8]],
102+
31: [[1, 6, 7, 8, 9], [2, 5, 7, 8, 9], [3, 4, 7, 8, 9], [3, 5, 6, 8, 9], [4, 5, 6, 7, 9]],
103+
32: [[2, 6, 7, 8, 9], [3, 5, 7, 8, 9], [4, 5, 6, 8, 9]],
104+
33: [[3, 6, 7, 8, 9], [4, 5, 7, 8, 9]],
105+
34: [[4, 6, 7, 8, 9]],
106+
35: [[5, 6, 7, 8, 9]]
107+
},
108+
109+
6: {
110+
21: [[1, 2, 3, 4, 5, 6]],
111+
22: [[1, 2, 3, 4, 5, 7]],
112+
23: [[1, 2, 3, 4, 5, 8], [1, 2, 3, 4, 6, 7]],
113+
24: [[1, 2, 3, 4, 5, 9], [1, 2, 3, 4, 6, 8], [1, 2, 3, 5, 6, 7]],
114+
25: [[1, 2, 3, 4, 6, 9], [1, 2, 3, 4, 7, 8], [1, 2, 3, 5, 6, 8], [1, 2, 4, 5, 6, 7]],
115+
26: [[1, 2, 3, 4, 7, 9], [1, 2, 3, 5, 6, 9], [1, 2, 3, 5, 7, 8], [1, 2, 4, 5, 6, 8], [1, 3, 4, 5, 6, 7]],
116+
27: [[1, 2, 3, 4, 8, 9], [1, 2, 3, 5, 7, 9], [1, 2, 3, 6, 7, 8], [1, 2, 4, 5, 6, 9], [1, 2, 4, 5, 7, 8],
117+
[1, 3, 4, 5, 6, 8], [2, 3, 4, 5, 6, 7]],
118+
28: [[1, 2, 3, 5, 8, 9], [1, 2, 3, 6, 7, 9], [1, 2, 4, 5, 7, 9], [1, 2, 4, 6, 7, 8], [1, 3, 4, 5, 6, 9],
119+
[1, 3, 4, 5, 7, 8], [2, 3, 4, 5, 6, 8]],
120+
29: [[1, 2, 3, 6, 8, 9], [1, 2, 3, 7, 7, 9], [1, 2, 4, 5, 8, 9], [1, 2, 4, 6, 7, 9], [1, 2, 4, 6, 8, 8],
121+
[1, 2, 5, 6, 7, 8], [1, 3, 4, 5, 7, 9], [1, 3, 4, 6, 7, 8], [2, 3, 4, 5, 6, 9], [2, 3, 4, 5, 7, 8]],
122+
30: [[1, 2, 3, 7, 8, 9], [1, 2, 4, 6, 8, 9], [1, 2, 5, 6, 7, 9], [1, 3, 4, 5, 8, 9], [1, 3, 4, 6, 7, 9],
123+
[1, 3, 4, 6, 8, 8], [1, 3, 5, 6, 7, 8], [2, 3, 4, 5, 7, 9], [2, 3, 4, 6, 7, 8], [2, 3, 5, 6, 7, 8]],
124+
31: [[1, 2, 4, 7, 8, 9], [1, 2, 5, 6, 8, 9], [1, 3, 4, 6, 8, 9], [1, 3, 5, 6, 7, 9], [1, 4, 5, 6, 7, 8],
125+
[2, 3, 4, 5, 8, 9], [2, 3, 4, 6, 7, 9], [2, 3, 4, 6, 8, 8], [2, 3, 5, 6, 7, 8], [3, 4, 5, 6, 7, 8]],
126+
32: [[1, 2, 5, 7, 8, 9], [1, 3, 4, 7, 8, 9], [1, 3, 5, 6, 8, 9], [1, 4, 5, 6, 7, 9], [2, 3, 4, 6, 8, 9],
127+
[2, 3, 5, 6, 7, 9], [2, 4, 5, 6, 7, 8]],
128+
33: [[1, 3, 6, 7, 8, 9], [1, 4, 5, 7, 8, 9], [2, 3, 5, 7, 8, 9], [2, 4, 5, 6, 8, 9], [2, 4, 5, 7, 8, 8],
129+
[3, 4, 5, 6, 7, 9]],
130+
34: [[1, 4, 6, 7, 8, 9], [2, 3, 6, 7, 8, 9], [2, 4, 5, 7, 8, 9], [3, 4, 5, 6, 8, 9]],
131+
35: [[1, 5, 6, 7, 8, 9], [2, 4, 6, 7, 8, 9], [3, 4, 5, 7, 8, 9]],
132+
36: [[1, 5, 6, 7, 8, 9], [2, 5, 6, 7, 8, 9], [3, 4, 6, 7, 8, 9]],
133+
37: [[3, 5, 6, 7, 8, 9], [3, 4, 6, 7, 8, 9]],
134+
38: [[3, 5, 6, 7, 8, 9]],
135+
39: [[4, 5, 6, 7, 8, 9]]
136+
},
137+
138+
7: {
139+
28: [[1, 2, 3, 4, 5, 6, 7]],
140+
29: [[1, 2, 3, 4, 5, 6, 8]],
141+
30: [[1, 2, 3, 4, 5, 6, 9], [1, 2, 3, 4, 5, 7, 8]],
142+
31: [[1, 2, 3, 4, 5, 7, 9], [1, 2, 3, 4, 6, 7, 8]],
143+
32: [[1, 2, 3, 4, 5, 8, 9], [1, 2, 3, 5, 6, 7, 9], [1, 2, 4, 5, 6, 7, 8]],
144+
33: [[1, 2, 3, 4, 6, 8, 9], [1, 2, 3, 5, 6, 7, 9], [1, 2, 4, 5, 6, 7, 8]],
145+
34: [[1, 2, 3, 4, 7, 8, 9], [1, 2, 3, 5, 6, 8, 9], [1, 2, 4, 5, 6, 7, 9], [1, 3, 4, 5, 6, 7, 8]],
146+
35: [[1, 2, 3, 5, 7, 8, 9], [1, 2, 4, 5, 6, 8, 9], [1, 3, 4, 5, 6, 7, 9], [2, 3, 4, 5, 6, 7, 8]],
147+
36: [[1, 2, 3, 6, 7, 8, 9], [1, 2, 4, 5, 7, 8, 9], [1, 3, 4, 5, 6, 8, 9], [2, 3, 4, 5, 6, 7, 9]],
148+
37: [[1, 2, 4, 6, 7, 8, 9], [1, 3, 4, 5, 7, 8, 9], [2, 3, 4, 5, 6, 8, 9]],
149+
38: [[1, 2, 5, 6, 7, 8, 9], [1, 3, 4, 6, 7, 8, 9], [2, 3, 4, 5, 7, 8, 9]],
150+
39: [[1, 3, 5, 6, 7, 8, 9], [2, 3, 4, 6, 7, 8, 9]],
151+
40: [[1, 4, 5, 6, 7, 8, 9], [2, 3, 5, 6, 7, 8, 9]],
152+
41: [[2, 4, 5, 6, 7, 8, 9]],
153+
42: [[3, 4, 5, 6, 7, 8, 9]]
154+
},
155+
8: {
156+
36: [[1, 2, 3, 4, 5, 6, 7, 8]],
157+
37: [[1, 2, 3, 4, 5, 6, 7, 9]],
158+
38: [[1, 2, 3, 4, 5, 6, 8, 9]],
159+
39: [[1, 2, 3, 4, 5, 7, 8, 9]],
160+
40: [[1, 2, 3, 4, 6, 7, 8, 9]],
161+
41: [[1, 2, 3, 5, 6, 7, 8, 9]],
162+
42: [[1, 2, 4, 5, 6, 7, 8, 9]],
163+
43: [[1, 3, 4, 5, 6, 7, 8, 9]],
164+
44: [[2, 3, 4, 5, 6, 7, 8, 9]]
165+
},
166+
9: {
167+
45: [[1, 2, 3, 4, 5, 6, 7, 8, 9]]
168+
}
169+
170+
}
171+
172+
173+
def extract_domains(length, value):
174+
result = copy.deepcopy(domains[length][value])
175+
return result

0 commit comments

Comments
 (0)