tests/lp/subset.sol

2 p(1) p(10) p(2) p(3) p(4) p(5) p(6) p(7) p(8)
3 p(1) p(10) p(2) p(3) p(4) p(5) p(6) p(7) p(8) p(9)
4 p(1) p(10) p(2) p(3) p(4) p(5) p(6) p(7) p(9)
5 p(1) p(10) p(2) p(3) p(4) p(5) p(6) p(8) p(9)
6 p(1) p(10) p(2) p(3) p(4) p(5) p(7) p(8)
7 p(1) p(10) p(2) p(3) p(4) p(5) p(7) p(8) p(9)
8 p(1) p(10) p(2) p(3) p(4) p(5) p(7) p(9)
9 p(1) p(10) p(2) p(3) p(4) p(5) p(8) p(9)
10 p(1) p(10) p(2) p(3) p(4) p(6) p(7) p(8)
11 p(1) p(10) p(2) p(3) p(4) p(6) p(7) p(8) p(9)
12 p(1) p(10) p(2) p(3) p(4) p(6) p(7) p(9)
13 p(1) p(10) p(2) p(3) p(4) p(6) p(8) p(9)
14 p(1) p(10) p(2) p(3) p(4) p(7) p(8)
15 p(1) p(10) p(2) p(3) p(4) p(7) p(8) p(9)
16 p(1) p(10) p(2) p(3) p(5) p(6) p(7) p(8)
17 p(1) p(10) p(2) p(3) p(5) p(6) p(7) p(8) p(9)
18 p(1) p(10) p(2) p(3) p(5) p(6) p(7) p(9)
19 p(1) p(10) p(2) p(3) p(5) p(6) p(8) p(9)
20 p(1) p(10) p(2) p(3) p(5) p(7) p(8)
21 p(1) p(10) p(2) p(3) p(5) p(7) p(8) p(9)
22 p(1) p(10) p(2) p(3) p(6) p(7) p(8)
23 p(1) p(10) p(2) p(3) p(6) p(7) p(8) p(9)
24 p(1) p(10) p(2) p(4) p(5) p(6) p(7) p(8)
25 p(1) p(10) p(2) p(4) p(5) p(6) p(7) p(8) p(9)
26 p(1) p(10) p(2) p(4) p(5) p(6) p(7) p(9)
27 p(1) p(10) p(2) p(4) p(5) p(6) p(8) p(9)
28 p(1) p(10) p(2) p(4) p(5) p(7) p(8)
29 p(1) p(10) p(2) p(4) p(5) p(7) p(8) p(9)
30 p(1) p(10) p(2) p(4) p(6) p(7) p(8)
31 p(1) p(10) p(2) p(4) p(6) p(7) p(8) p(9)
32 p(1) p(10) p(2) p(5) p(6) p(7) p(8)
33 p(1) p(10) p(2) p(5) p(6) p(7) p(8) p(9)
34 p(1) p(10) p(3) p(4) p(5) p(6) p(7) p(8)
35 p(1) p(10) p(3) p(4) p(5) p(6) p(7) p(8) p(9)
36 p(1) p(10) p(3) p(4) p(5) p(6) p(7) p(9)
37 p(1) p(10) p(3) p(4) p(5) p(6) p(8) p(9)
38 p(1) p(10) p(3) p(4) p(5) p(7) p(8)
39 p(1) p(10) p(3) p(4) p(5) p(7) p(8) p(9)
40 p(1) p(10) p(3) p(4) p(5) p(7) p(9)
41 p(1) p(10) p(3) p(4) p(5) p(8) p(9)
42 p(1) p(10) p(3) p(4) p(6) p(7) p(8)
43 p(1) p(10) p(3) p(4) p(6) p(7) p(8) p(9)
44 p(1) p(10) p(3) p(4) p(6) p(7) p(9)
45 p(1) p(10) p(3) p(4) p(6) p(8) p(9)
46 p(1) p(10) p(3) p(4) p(7) p(8)
47 p(1) p(10) p(3) p(4) p(7) p(8) p(9)
48 p(1) p(10) p(3) p(5) p(6) p(7) p(8)
49 p(1) p(10) p(3) p(5) p(6) p(7) p(8) p(9)
50 p(1) p(10) p(3) p(5) p(6) p(7) p(9)
51 p(1) p(10) p(3) p(5) p(6) p(8) p(9)
52 p(1) p(10) p(3) p(5) p(7) p(8)
53 p(1) p(10) p(3) p(5) p(7) p(8) p(9)
54 p(1) p(10) p(3) p(6) p(7) p(8)
55 p(1) p(10) p(3) p(6) p(7) p(8) p(9)
56 p(1) p(10) p(4) p(5) p(6) p(7) p(8)
57 p(1) p(10) p(4) p(5) p(6) p(7) p(8) p(9)
58 p(1) p(10) p(4) p(5) p(6) p(7) p(9)
59 p(1) p(10) p(4) p(5) p(6) p(8) p(9)
60 p(1) p(10) p(4) p(5) p(7) p(8)
61 p(1) p(10) p(4) p(5) p(7) p(8) p(9)
62 p(1) p(10) p(4) p(6) p(7) p(8)
63 p(1) p(10) p(4) p(6) p(7) p(8) p(9)
64 p(1) p(10) p(5) p(6) p(7) p(8)
65 p(1) p(10) p(5) p(6) p(7) p(8) p(9)
66 p(1) p(2) p(3) p(4) p(5) p(6) p(7) p(8)
67 p(1) p(2) p(3) p(4) p(5) p(6) p(7) p(8) p(9)
68 p(1) p(2) p(3) p(4) p(5) p(6) p(7) p(9)
69 p(1) p(2) p(3) p(4) p(5) p(6) p(8) p(9)
70 p(1) p(2) p(3) p(4) p(5) p(7) p(8)
71 p(1) p(2) p(3) p(4) p(5) p(7) p(8) p(9)
72 p(1) p(2) p(3) p(4) p(5) p(7) p(9)
73 p(1) p(2) p(3) p(4) p(5) p(8) p(9)
74 p(1) p(2) p(3) p(4) p(6) p(7) p(8)
75 p(1) p(2) p(3) p(4) p(6) p(7) p(8) p(9)
76 p(1) p(2) p(3) p(4) p(6) p(7) p(9)
77 p(1) p(2) p(3) p(4) p(6) p(8) p(9)
78 p(1) p(2) p(3) p(4) p(7) p(8)
79 p(1) p(2) p(3) p(4) p(7) p(8) p(9)
80 p(1) p(2) p(3) p(5) p(6) p(7) p(8)
81 p(1) p(2) p(3) p(5) p(6) p(7) p(8) p(9)
82 p(1) p(2) p(3) p(5) p(6) p(7) p(9)
83 p(1) p(2) p(3) p(5) p(6) p(8) p(9)
84 p(1) p(2) p(3) p(5) p(7) p(8)
85 p(1) p(2) p(3) p(5) p(7) p(8) p(9)
86 p(1) p(2) p(3) p(6) p(7) p(8)
87 p(1) p(2) p(3) p(6) p(7) p(8) p(9)
88 p(1) p(2) p(4) p(5) p(6) p(7) p(8)
89 p(1) p(2) p(4) p(5) p(6) p(7) p(8) p(9)
90 p(1) p(2) p(4) p(5) p(6) p(7) p(9)
91 p(1) p(2) p(4) p(5) p(6) p(8) p(9)
92 p(1) p(2) p(4) p(5) p(7) p(8)
93 p(1) p(2) p(4) p(5) p(7) p(8) p(9)
94 p(1) p(2) p(4) p(6) p(7) p(8)
95 p(1) p(2) p(4) p(6) p(7) p(8) p(9)
96 p(1) p(2) p(5) p(6) p(7) p(8)
97 p(1) p(2) p(5) p(6) p(7) p(8) p(9)
98 p(1) p(3) p(4) p(5) p(6) p(7) p(8)
99 p(1) p(3) p(4) p(5) p(6) p(7) p(8) p(9)
100 p(1) p(3) p(4) p(5) p(6) p(7) p(9)
101 p(1) p(3) p(4) p(5) p(6) p(8) p(9)
102 p(1) p(3) p(4) p(5) p(7) p(8)
103 p(1) p(3) p(4) p(5) p(7) p(8) p(9)
104 p(1) p(3) p(4) p(5) p(7) p(9)
105 p(1) p(3) p(4) p(5) p(8) p(9)
106 p(1) p(3) p(4) p(6) p(7) p(8)
107 p(1) p(3) p(4) p(6) p(7) p(8) p(9)
108 p(1) p(3) p(4) p(6) p(7) p(9)
109 p(1) p(3) p(4) p(6) p(8) p(9)
110 p(1) p(3) p(4) p(7) p(8)
111 p(1) p(3) p(4) p(7) p(8) p(9)
112 p(1) p(3) p(5) p(6) p(7) p(8)
113 p(1) p(3) p(5) p(6) p(7) p(8) p(9)
114 p(1) p(3) p(5) p(6) p(7) p(9)
115 p(1) p(3) p(5) p(6) p(8) p(9)
116 p(1) p(3) p(5) p(7) p(8)
117 p(1) p(3) p(5) p(7) p(8) p(9)
118 p(1) p(3) p(6) p(7) p(8)
119 p(1) p(3) p(6) p(7) p(8) p(9)
120 p(1) p(4) p(5) p(6) p(7) p(8)
121 p(1) p(4) p(5) p(6) p(7) p(8) p(9)
122 p(1) p(4) p(5) p(6) p(7) p(9)
123 p(1) p(4) p(5) p(6) p(8) p(9)
124 p(1) p(4) p(5) p(7) p(8)
125 p(1) p(4) p(5) p(7) p(8) p(9)
126 p(1) p(4) p(6) p(7) p(8)
127 p(1) p(4) p(6) p(7) p(8) p(9)
128 p(1) p(5) p(6) p(7) p(8)
129 p(1) p(5) p(6) p(7) p(8) p(9)
130 p(10) p(2) p(3) p(4) p(5) p(6) p(7) p(8)
131 p(10) p(2) p(3) p(4) p(5) p(6) p(7) p(8) p(9)
132 p(10) p(2) p(3) p(4) p(5) p(6) p(7) p(9)
133 p(10) p(2) p(3) p(4) p(5) p(6) p(8) p(9)
134 p(10) p(2) p(3) p(4) p(5) p(7) p(8)
135 p(10) p(2) p(3) p(4) p(5) p(7) p(8) p(9)
136 p(10) p(2) p(3) p(4) p(5) p(7) p(9)
137 p(10) p(2) p(3) p(4) p(5) p(8) p(9)
138 p(10) p(2) p(3) p(4) p(6) p(7) p(8)
139 p(10) p(2) p(3) p(4) p(6) p(7) p(8) p(9)
140 p(10) p(2) p(3) p(4) p(6) p(7) p(9)
141 p(10) p(2) p(3) p(4) p(6) p(8) p(9)
142 p(10) p(2) p(3) p(4) p(7) p(8)
143 p(10) p(2) p(3) p(4) p(7) p(8) p(9)
144 p(10) p(2) p(3) p(5) p(6) p(7) p(8)
145 p(10) p(2) p(3) p(5) p(6) p(7) p(8) p(9)
146 p(10) p(2) p(3) p(5) p(6) p(7) p(9)
147 p(10) p(2) p(3) p(5) p(6) p(8) p(9)
148 p(10) p(2) p(3) p(5) p(7) p(8)
149 p(10) p(2) p(3) p(5) p(7) p(8) p(9)
150 p(10) p(2) p(3) p(6) p(7) p(8)
151 p(10) p(2) p(3) p(6) p(7) p(8) p(9)
152 p(10) p(2) p(4) p(5) p(6) p(7) p(8)
153 p(10) p(2) p(4) p(5) p(6) p(7) p(8) p(9)
154 p(10) p(2) p(4) p(5) p(6) p(7) p(9)
155 p(10) p(2) p(4) p(5) p(6) p(8) p(9)
156 p(10) p(2) p(4) p(5) p(7) p(8)
157 p(10) p(2) p(4) p(5) p(7) p(8) p(9)
158 p(10) p(2) p(4) p(6) p(7) p(8)
159 p(10) p(2) p(4) p(6) p(7) p(8) p(9)
160 p(10) p(2) p(5) p(6) p(7) p(8)
161 p(10) p(2) p(5) p(6) p(7) p(8) p(9)
162 p(10) p(3) p(4) p(5) p(6) p(7) p(8)
163 p(10) p(3) p(4) p(5) p(6) p(7) p(8) p(9)
164 p(10) p(3) p(4) p(5) p(6) p(7) p(9)
165 p(10) p(3) p(4) p(5) p(6) p(8) p(9)
166 p(10) p(3) p(4) p(5) p(7) p(8)
167 p(10) p(3) p(4) p(5) p(7) p(8) p(9)
168 p(10) p(3) p(4) p(5) p(7) p(9)
169 p(10) p(3) p(4) p(5) p(8) p(9)
170 p(10) p(3) p(4) p(6) p(7) p(8)
171 p(10) p(3) p(4) p(6) p(7) p(8) p(9)
172 p(10) p(3) p(4) p(6) p(7) p(9)
173 p(10) p(3) p(4) p(6) p(8) p(9)
174 p(10) p(3) p(4) p(7) p(8)
175 p(10) p(3) p(4) p(7) p(8) p(9)
176 p(10) p(3) p(5) p(6) p(7) p(8)
177 p(10) p(3) p(5) p(6) p(7) p(8) p(9)
178 p(10) p(3) p(5) p(6) p(7) p(9)
179 p(10) p(3) p(5) p(6) p(8) p(9)
180 p(10) p(3) p(5) p(7) p(8)
181 p(10) p(3) p(5) p(7) p(8) p(9)
182 p(10) p(4) p(5) p(6) p(7) p(8)
183 p(10) p(4) p(5) p(6) p(7) p(8) p(9)
184 p(10) p(4) p(5) p(6) p(7) p(9)
185 p(10) p(4) p(5) p(6) p(8) p(9)
186 p(10) p(4) p(5) p(7) p(8)
187 p(10) p(4) p(5) p(7) p(8) p(9)
188 p(2) p(3) p(4) p(5) p(6) p(7) p(8)
189 p(2) p(3) p(4) p(5) p(6) p(7) p(8) p(9)
190 p(2) p(3) p(4) p(5) p(6) p(7) p(9)
191 p(2) p(3) p(4) p(5) p(6) p(8) p(9)
192 p(2) p(3) p(4) p(5) p(7) p(8)
193 p(2) p(3) p(4) p(5) p(7) p(8) p(9)
194 p(2) p(3) p(4) p(5) p(7) p(9)
195 p(2) p(3) p(4) p(5) p(8) p(9)
196 p(2) p(3) p(4) p(6) p(7) p(8)
197 p(2) p(3) p(4) p(6) p(7) p(8) p(9)
198 p(2) p(3) p(4) p(6) p(7) p(9)
199 p(2) p(3) p(4) p(6) p(8) p(9)
200 p(2) p(3) p(4) p(7) p(8)
201 p(2) p(3) p(4) p(7) p(8) p(9)
202 p(2) p(3) p(5) p(6) p(7) p(8)
203 p(2) p(3) p(5) p(6) p(7) p(8) p(9)
204 p(2) p(3) p(5) p(6) p(7) p(9)
205 p(2) p(3) p(5) p(6) p(8) p(9)
206 p(2) p(3) p(5) p(7) p(8)
207 p(2) p(3) p(5) p(7) p(8) p(9)
208 p(2) p(3) p(6) p(7) p(8)
209 p(2) p(3) p(6) p(7) p(8) p(9)
210 p(2) p(4) p(5) p(6) p(7) p(8)
211 p(2) p(4) p(5) p(6) p(7) p(8) p(9)
212 p(2) p(4) p(5) p(6) p(7) p(9)
213 p(2) p(4) p(5) p(6) p(8) p(9)
214 p(2) p(4) p(5) p(7) p(8)
215 p(2) p(4) p(5) p(7) p(8) p(9)
216 p(2) p(4) p(6) p(7) p(8)
217 p(2) p(4) p(6) p(7) p(8) p(9)
218 p(2) p(5) p(6) p(7) p(8)
219 p(2) p(5) p(6) p(7) p(8) p(9)
220 p(3) p(4) p(5) p(6) p(7) p(8)
221 p(3) p(4) p(5) p(6) p(7) p(8) p(9)
222 p(3) p(4) p(5) p(6) p(7) p(9)
223 p(3) p(4) p(5) p(6) p(8) p(9)
224 p(3) p(4) p(5) p(7) p(8)
225 p(3) p(4) p(5) p(7) p(8) p(9)
226 p(3) p(4) p(5) p(7) p(9)
227 p(3) p(4) p(5) p(8) p(9)
228 p(3) p(4) p(6) p(7) p(8)
229 p(3) p(4) p(6) p(7) p(8) p(9)
230 p(3) p(4) p(6) p(7) p(9)
231 p(3) p(4) p(6) p(8) p(9)
232 p(3) p(4) p(7) p(8)
233 p(3) p(4) p(7) p(8) p(9)
234 p(3) p(5) p(6) p(7) p(8)
235 p(3) p(5) p(6) p(7) p(8) p(9)
236 p(3) p(5) p(6) p(7) p(9)
237 p(3) p(5) p(6) p(8) p(9)
238 p(3) p(5) p(7) p(8)
239 p(3) p(5) p(7) p(8) p(9)
240 p(4) p(5) p(6) p(7) p(8)
241 p(4) p(5) p(6) p(7) p(8) p(9)
242 p(4) p(5) p(6) p(7) p(9)
243 p(4) p(5) p(6) p(8) p(9)
244 p(4) p(5) p(7) p(8)
245 p(4) p(5) p(7) p(8) p(9)