cust-u200-01.cnf

p cnf 200 850
-90 53 145 0
184 60 -192 0
75 -122 -97 0
1 -30 -98 0
192 -153 161 0
24 -141 95 0
126 147 33 0
67 -44 191 0
-25 82 122 0
-200 -54 -84 0
186 -75 115 0
17 -164 6 0
89 -12 161 0
10 -115 -23 0
-182 -99 117 0
-179 -130 89 0
-119 -42 153 0
-120 -191 128 0
-113 -90 -57 0
124 26 59 0
73 -190 -54 0
-1 -138 2 0
183 -120 -48 0
-63 -175 183 0
82 76 -57 0
-41 -29 -103 0
-148 28 58 0
158 28 187 0
-16 59 -102 0
-14 161 36 0
17 120 181 0
194 -50 -34 0
129 -99 119 0
149 -163 30 0
-6 60 -46 0
-69 -137 -124 0
-198 156 -53 0
-24 -180 -20 0
62 195 -2 0
-104 -3 185 0
40 155 -153 0
118 68 126 0
195 -128 -36 0
-85 -60 -200 0
-152 197 92 0
150 82 105 0
134 -50 -43 0
-31 -156 138 0
145 103 -97 0
138 93 -158 0
160 -130 -193 0
-59 36 -180 0
35 -92 -152 0
-73 69 38 0
169 97 124 0
37 -114 123 0
75 95 72 0
-46 -23 -25 0
29 8 149 0
155 -144 -70 0
-1 -47 -36 0
-122 134 -182 0
102 78 17 0
87 112 -173 0
38 -76 -98 0
29 -110 166 0
139 -106 93 0
-24 -172 183 0
-157 103 -53 0
-33 5 -114 0
4 199 25 0
-122 -93 186 0
173 -179 138 0
76 169 36 0
44 63 162 0
-55 -137 -50 0
35 -1 -48 0
83 -36 -131 0
-2 187 193 0
-56 -79 -102 0
-152 -129 -134 0
79 -60 -87 0
-148 -193 -59 0
73 165 -123 0
32 44 160 0
63 30 192 0
43 -90 -154 0
185 -32 138 0
-118 82 -148 0
-164 -167 -172 0
-83 -164 -195 0
26 76 -188 0
-83 -163 -150 0
-34 -140 180 0
45 -177 -122 0
120 -51 57 0
-86 -158 58 0
32 89 188 0
-39 139 42 0
-180 161 182 0
-137 106 160 0
-28 -89 -108 0
39 132 69 0
125 -120 45 0
-182 -78 4 0
160 41 154 0
176 6 133 0
42 90 -29 0
73 154 81 0
-40 147 -60 0
138 17 159 0
-135 -63 -176 0
80 150 -126 0
-186 -192 82 0
-138 -6 68 0
177 27 127 0
-122 52 -194 0
-121 -51 -109 0
161 181 -60 0
124 -146 172 0
-150 81 -48 0
53 -117 -49 0
9 190 29 0
-112 102 168 0
72 129 26 0
-180 -146 30 0
-58 -91 168 0
-12 122 195 0
-31 -116 -5 0
-93 146 84 0
-99 69 159 0
-173 -128 -44 0
-79 105 128 0
-13 -149 -138 0
-13 12 29 0
194 -34 87 0
139 -178 130 0
102 -56 -198 0
181 19 -65 0
11 6 -137 0
-65 -103 199 0
-94 156 116 0
-108 49 -185 0
33 -152 118 0
-5 -173 171 0
42 -143 182 0
49 -22 -165 0
139 1 85 0
-160 -137 -183 0
-166 -186 67 0
190 -140 -157 0
50 5 82 0
-133 114 88 0
38 165 -69 0
81 141 148 0
-98 116 102 0
-58 167 132 0
-133 -105 -122 0
3 -10 -92 0
81 16 150 0
-138 109 -195 0
89 -132 -162 0
177 148 -157 0
193 42 93 0
96 -157 198 0
144 117 -46 0
159 -56 67 0
67 153 99 0
92 104 196 0
48 36 -63 0
-121 -75 -90 0
157 70 -15 0
-127 -34 -73 0
-117 -111 -189 0
38 62 127 0
189 101 -81 0
-14 169 -6 0
-62 -174 -28 0
-75 113 -33 0
169 -110 -117 0
22 80 -200 0
170 189 -182 0
-57 -17 -137 0
-2 159 34 0
-182 -7 -63 0
112 -120 -147 0
-93 -170 37 0
-114 -154 197 0
-46 -75 51 0
-1 7 181 0
94 189 -126 0
29 -18 -171 0
-45 -160 90 0
-126 84 -150 0
-17 18 -111 0
96 -142 -65 0
-183 152 1 0
177 87 -35 0
130 -125 166 0
173 -98 -82 0
1 80 94 0
-136 42 -105 0
-100 -90 37 0
-144 -172 -118 0
-121 -132 -1 0
-141 -74 182 0
103 -129 114 0
-181 106 -132 0
38 126 88 0
46 111 32 0
105 -49 6 0
119 163 70 0
-20 86 -105 0
36 -195 -58 0
147 -151 -108 0
107 180 -176 0
-163 178 -150 0
195 -47 38 0
152 172 -44 0
-156 143 164 0
-27 -76 86 0
174 88 -139 0
-130 90 25 0
107 -169 -103 0
-150 133 -101 0
-164 -145 19 0
-130 4 -10 0
122 -144 -67 0
-139 -12 192 0
49 -111 104 0
37 -25 -159 0
-126 -16 -98 0
89 -158 -144 0
-83 162 -45 0
-172 -100 143 0
-70 -177 101 0
-47 -2 -178 0
-169 200 -166 0
-98 -6 104 0
-68 200 -181 0
135 164 40 0
83 -89 53 0
167 163 25 0
-39 50 -95 0
-25 173 -45 0
183 128 -45 0
185 -9 86 0
84 180 -188 0
-35 -175 -76 0
-132 -19 -49 0
-56 15 -29 0
-157 -144 -63 0
111 -72 -5 0
-71 -200 -1 0
160 175 -173 0
-129 -146 -170 0
1 65 23 0
-56 82 -185 0
-3 -186 22 0
-56 170 103 0
166 78 -13 0
-156 -49 -176 0
152 -173 187 0
-111 -198 65 0
-20 96 114 0
127 -123 66 0
112 173 -91 0
140 104 -34 0
-200 121 -131 0
156 116 163 0
74 -64 42 0
150 -109 -123 0
-176 -35 106 0
-69 165 12 0
29 139 10 0
-53 81 62 0
63 19 -81 0
199 60 -154 0
-99 -31 84 0
156 33 -134 0
74 114 -177 0
-90 -97 67 0
-84 66 -190 0
-184 -8 -58 0
-96 72 122 0
66 149 74 0
-170 171 76 0
60 48 9 0
69 -36 28 0
-9 -59 77 0
111 159 43 0
-22 120 -160 0
101 145 -161 0
142 -24 -133 0
149 -11 165 0
-99 163 -63 0
-103 -38 -74 0
77 156 -21 0
-139 79 -99 0
124 -157 93 0
17 -162 -153 0
-13 48 75 0
-5 128 100 0
122 177 62 0
-128 -135 -154 0
79 109 -6 0
175 -150 99 0
41 92 9 0
-90 183 -78 0
29 -71 79 0
-156 -85 188 0
-159 -32 43 0
-163 129 150 0
-118 200 -46 0
-174 -194 -45 0
59 -180 -197 0
190 -66 -196 0
-142 -57 -141 0
169 -193 -77 0
100 -39 137 0
-120 166 -58 0
-156 175 -110 0
52 178 132 0
19 -104 -12 0
23 -133 7 0
-63 82 -28 0
94 -106 150 0
-33 18 -180 0
101 -17 -48 0
192 -120 29 0
74 22 -183 0
-112 46 -162 0
-33 46 149 0
175 106 -25 0
-21 152 -34 0
-24 81 -183 0
-190 69 72 0
-96 -97 64 0
132 -20 -35 0
168 194 130 0
72 8 139 0
-91 -1 180 0
56 -17 112 0
66 158 36 0
-176 -195 56 0
86 165 -59 0
36 50 -168 0
-129 -90 -99 0
155 198 -84 0
-36 146 -47 0
47 -72 135 0
167 -34 -180 0
184 53 -46 0
116 79 164 0
57 27 116 0
16 62 -154 0
154 -112 164 0
121 -155 101 0
41 79 -6 0
100 -98 90 0
25 -149 -9 0
137 105 171 0
188 180 80 0
-181 49 -13 0
11 184 -51 0
-62 189 -17 0
-113 -195 -32 0
-137 -151 87 0
-105 -177 174 0
-32 131 -89 0
31 -46 119 0
122 71 64 0
-114 -161 -101 0
-44 18 200 0
4 124 27 0
-51 -160 131 0
184 74 -55 0
117 193 -180 0
-173 -76 193 0
52 192 78 0
88 105 163 0
19 67 -177 0
-41 -3 16 0
37 -190 -64 0
-25 -69 -83 0
-146 12 52 0
-12 116 180 0
66 -69 38 0
-37 39 34 0
-104 22 -156 0
-160 144 -63 0
99 157 185 0
162 -169 192 0
-25 -183 198 0
84 -65 30 0
-104 -59 189 0
121 -22 193 0
-116 168 -2 0
15 9 52 0
98 77 119 0
-114 -5 90 0
197 182 54 0
-14 38 -18 0
83 -198 143 0
146 -153 -160 0
111 -121 -84 0
24 -103 -47 0
-40 46 16 0
165 128 -117 0
-53 -135 -180 0
-109 -113 148 0
-192 -160 -1 0
-48 191 -128 0
66 53 -26 0
-19 28 -168 0
-58 12 -168 0
-190 38 68 0
-182 158 -195 0
-39 -17 103 0
67 133 -44 0
-114 41 150 0
3 -169 -124 0
-135 122 22 0
118 -32 76 0
97 -28 84 0
-33 -57 45 0
74 -66 194 0
131 13 -136 0
-14 9 -196 0
-14 -93 9 0
173 193 3 0
-36 -134 16 0
-57 80 66 0
51 92 106 0
166 121 187 0
-35 -84 -155 0
123 79 117 0
48 15 -187 0
-47 -96 -121 0
-65 156 -160 0
-98 -161 -4 0
-84 110 -4 0
-161 156 -53 0
-111 -143 -151 0
62 -147 -15 0
190 98 42 0
81 146 175 0
161 -65 -115 0
123 -81 96 0
187 17 -22 0
7 37 -138 0
-91 151 182 0
51 -200 63 0
98 116 -128 0
176 -159 156 0
45 68 168 0
-93 -110 162 0
-102 164 94 0
-191 59 -13 0
98 -75 47 0
-168 -82 -164 0
73 188 -11 0
-81 -69 189 0
128 135 -165 0
-118 124 -161 0
112 -107 -22 0
2 -31 47 0
170 137 -134 0
38 84 -158 0
54 126 39 0
169 151 135 0
67 -50 -114 0
23 138 -148 0
27 112 -77 0
-74 29 133 0
5 154 95 0
-65 -186 -131 0
4 -27 -12 0
22 -121 171 0
177 -143 89 0
159 150 -41 0
-181 80 -153 0
-126 -46 -5 0
198 -48 36 0
189 -63 -124 0
35 -108 -56 0
173 53 190 0
-169 154 63 0
121 -27 -24 0
-122 -157 119 0
191 78 47 0
-93 -63 -62 0
-52 -82 -190 0
-162 19 -137 0
66 173 -132 0
123 35 -140 0
-161 -15 -86 0
108 177 -71 0
84 108 -194 0
76 -104 192 0
-174 133 -73 0
-123 176 -107 0
-42 58 -16 0
7 39 195 0
61 95 157 0
-49 -46 -112 0
3 91 197 0
200 100 154 0
135 -166 -36 0
-154 -116 119 0
-193 92 -132 0
-160 -28 -3 0
-153 -69 90 0
-48 179 31 0
112 -40 23 0
124 77 -92 0
-94 89 181 0
-84 -40 64 0
94 31 45 0
-19 -32 -20 0
62 -66 -56 0
21 -127 187 0
-6 108 131 0
88 -39 93 0
142 53 -141 0
23 -100 -177 0
-83 -95 113 0
-67 -195 39 0
150 166 -118 0
-191 -91 57 0
-107 -63 -3 0
127 -1 142 0
42 -111 -61 0
31 146 -54 0
72 127 89 0
-103 82 148 0
175 -55 -70 0
-61 19 18 0
-1 -62 -165 0
-158 139 96 0
-127 -134 24 0
-68 -35 -83 0
55 -68 199 0
113 -7 -67 0
124 73 -143 0
137 -58 -193 0
-188 -144 64 0
21 -121 -84 0
125 -129 200 0
175 98 -7 0
-81 136 -111 0
-23 -156 -53 0
79 -22 -159 0
132 34 149 0
-190 170 -195 0
52 82 43 0
39 -37 43 0
-98 -105 179 0
-66 -60 135 0
90 -2 -145 0
-150 -89 -80 0
-194 -146 76 0
61 -28 77 0
-119 -130 -53 0
-180 19 -165 0
-126 -84 -144 0
39 -27 -89 0
-90 136 -185 0
-139 -24 -149 0
149 -36 -122 0
-155 -174 -2 0
-174 195 -16 0
158 28 177 0
-70 -199 -29 0
92 -9 187 0
-109 -170 -134 0
-29 -147 2 0
-199 181 -81 0
101 13 151 0
62 -33 45 0
-32 -55 -183 0
-174 -172 152 0
132 -163 142 0
-29 6 5 0
20 176 -160 0
-85 100 165 0
195 162 13 0
164 84 -66 0
-66 102 -84 0
-65 -10 -105 0
-142 -10 134 0
31 66 -94 0
-70 -99 -100 0
59 129 -28 0
-91 -199 -180 0
151 176 139 0
3 -101 -1 0
-115 -187 -154 0
58 -133 142 0
-7 -109 161 0
134 -21 180 0
161 -20 -65 0
152 149 -130 0
122 119 -1 0
65 -22 -44 0
173 -120 12 0
-163 88 71 0
-133 -48 -100 0
-182 -66 46 0
-75 13 -113 0
-27 162 -50 0
-102 128 137 0
129 -157 -128 0
-126 122 -148 0
109 152 -191 0
-75 112 -22 0
-51 136 158 0
19 115 144 0
45 -115 46 0
27 -152 171 0
-138 143 76 0
162 121 115 0
197 70 82 0
-163 34 175 0
-62 159 -131 0
64 170 -175 0
-111 -30 -118 0
-5 -121 -130 0
114 41 18 0
-28 -186 15 0
122 -137 -1 0
-64 52 129 0
166 24 -107 0
68 -98 152 0
23 -63 -71 0
-9 -160 135 0
-47 -68 -19 0
85 99 -198 0
45 -156 112 0
174 28 145 0
140 104 33 0
-159 -180 -142 0
-6 -7 193 0
-38 184 -188 0
17 -71 57 0
185 143 161 0
-160 -195 5 0
25 133 111 0
-131 119 129 0
-36 90 -134 0
183 -46 -119 0
104 30 200 0
129 71 -128 0
128 -100 180 0
8 -129 26 0
101 13 39 0
-49 -199 -140 0
71 27 92 0
-180 67 177 0
110 -177 32 0
-40 -5 -91 0
-19 10 86 0
-60 -151 -46 0
-23 -180 17 0
-48 69 -181 0
-54 -57 -8 0
-143 146 36 0
76 178 -75 0
-113 166 128 0
-35 134 -32 0
-173 -61 -66 0
-197 -195 118 0
125 -129 51 0
-105 83 -25 0
12 -135 -53 0
119 138 130 0
156 153 85 0
24 -74 -160 0
-128 65 -143 0
101 -42 -64 0
72 -61 -198 0
-92 28 165 0
54 177 -46 0
140 161 -90 0
-93 -174 -125 0
76 -3 79 0
77 -188 -179 0
-52 18 42 0
162 33 -4 0
-37 -168 -65 0
-71 91 121 0
-53 31 38 0
33 -3 97 0
-95 156 -47 0
-34 -54 60 0
-45 98 30 0
-63 -127 62 0
197 189 -83 0
-179 190 86 0
27 48 -171 0
176 30 5 0
99 114 91 0
-129 -111 -188 0
141 39 166 0
-22 -108 126 0
27 -199 49 0
179 -64 7 0
17 130 -117 0
-66 -68 -2 0
-32 -127 60 0
-125 -141 174 0
130 -44 -153 0
177 160 189 0
193 147 99 0
-93 57 -120 0
99 90 116 0
189 -88 -28 0
30 38 181 0
77 174 -52 0
-125 -51 48 0
-153 -46 -6 0
157 2 155 0
-45 181 131 0
40 -108 159 0
29 -200 50 0
58 131 168 0
109 -74 160 0
119 -159 -109 0
-37 -142 56 0
23 152 123 0
71 -1 -51 0
63 57 -106 0
87 174 94 0
-116 -135 -8 0
130 82 177 0
12 -153 163 0
114 -193 164 0
62 -56 -129 0
74 58 15 0
173 -186 -51 0
196 -11 -140 0
107 123 101 0
1 -59 196 0
-113 -78 70 0
128 46 94 0
64 41 -163 0
-155 -150 -122 0
-156 -184 151 0
-183 74 153 0
-119 -159 -187 0
172 167 -132 0
-24 -122 -144 0
129 -42 191 0
-193 -39 131 0
-136 -114 -172 0
-28 128 33 0
-22 -41 -144 0
79 -10 -175 0
133 -120 -142 0
61 -183 5 0
-9 -55 -133 0
-110 -89 190 0
-40 139 -79 0
47 -64 182 0
157 -140 -153 0
94 -41 -13 0
48 197 181 0
-71 -10 113 0
16 129 200 0
-193 169 25 0
190 -90 -149 0
160 -179 39 0
138 23 -16 0
42 168 5 0
28 -74 188 0
61 41 126 0
-146 90 57 0
-53 26 -140 0
-61 99 170 0
173 -39 -123 0
-151 -48 102 0
157 -4 191 0
-81 -93 31 0
25 178 128 0
-68 9 -115 0
-34 25 157 0
-181 -141 136 0
-86 -176 170 0
-183 137 50 0
191 185 -64 0
-42 -136 112 0
8 82 -94 0
140 -143 77 0
-116 -78 84 0
-200 126 21 0
-90 -58 68 0
190 -35 -125 0
124 -45 -198 0
157 163 -65 0
-115 80 83 0
-113 -185 76 0
102 -57 15 0
170 -103 128 0
86 -23 4 0
156 -4 107 0
150 3 14 0
-144 -46 149 0
122 174 -2 0
-184 16 175 0
-164 143 123 0
116 -56 93 0
-19 25 114 0
135 47 62 0
180 -81 -176 0
-35 53 148 0
-184 -193 -35 0
-59 30 -100 0
-174 -62 -116 0
-110 -83 -160 0
117 -197 -5 0
182 57 113 0
-23 97 16 0
-73 58 -165 0
-35 -153 45 0
-187 -23 -197 0
175 -41 5 0
98 35 -114 0
-114 -93 68 0
13 -99 -18 0
-113 -191 -188 0
18 -114 128 0
-24 11 -27 0
-91 66 102 0
18 -177 -37 0
11 36 -38 0
-54 -38 -5 0
4 -72 97 0
-147 44 129 0
84 51 -154 0
-81 186 103 0
137 6 -92 0
79 -133 -100 0
127 -82 -182 0
157 -33 -66 0
-10 174 -36 0
197 -12 -134 0
133 162 -99 0
131 -8 -108 0
65 -71 -67 0
-50 172 10 0