c This file was generated with the constraints_to_cnf module in this project.
c Starting from file './ImageNet/compilations/100p.sympy'.
c There are 271 variables present in the constraints, and 271 total variables, given by the shape [271].
c
p cnf 271 442
101 -238 0
101 -42 0
101 -43 0
102 -47 0
103 -48 0
104 -105 0
104 -240 0
104 -246 0
105 -106 0
105 -62 0
106 -63 0
107 -247 0
108 -68 0
109 -108 0
110 -64 0
111 -110 0
112 -113 0
113 -44 0
114 -12 0
115 -116 0
115 -118 0
116 -117 0
116 -3 0
117 -11 0
118 -20 0
118 -10 0
119 -9 0
120 -13 0
120 -21 0
120 -7 0
121 -119 0
121 -120 0
121 -17 0
122 -114 0
122 -115 0
122 -121 0
122 -6 0
123 -14 0
124 -122 0
124 -123 0
124 -125 0
125 -8 0
126 -5 0
127 -1 0
128 -129 0
128 -65 0
129 -66 0
130 -67 0
131 -132 0
132 -15 0
133 -4 0
134 -16 0
135 -18 0
136 -19 0
137 -2 0
138 -179 0
138 -184 0
138 -215 0
138 -71 0
138 -75 0
139 -187 0
139 -26 0
139 -27 0
140 -50 0
140 -51 0
141 -73 0
142 -95 0
143 -142 0
143 -146 0
143 -162 0
143 -195 0
143 -86 0
144 -33 0
145 -168 0
146 -151 0
146 -81 0
146 -90 0
147 -23 0
148 -192 0
149 -31 0
150 -94 0
151 -82 0
152 -84 0
153 -213 0
153 -256 0
154 -149 0
154 -164 0
154 -175 0
154 -32 0
155 -160 0
156 -59 0
157 -92 0
158 -218 0
159 -61 0
160 -211 0
161 -150 0
162 -80 0
163 -174 0
163 -99 0
164 -144 0
165 -196 0
165 -87 0
166 -40 0
167 -153 0
167 -191 0
168 -140 0
168 -208 0
169 -53 0
169 -54 0
170 -53 0
171 -143 0
171 -165 0
171 -181 0
171 -183 0
171 -190 0
171 -193 0
171 -216 0
171 -85 0
172 -39 0
173 -138 0
173 -167 0
173 -171 0
173 -209 0
173 -255 0
174 -170 0
175 -34 0
176 -56 0
177 -197 0
178 -70 0
179 -29 0
180 -25 0
181 -148 0
181 -163 0
181 -210 0
182 -88 0
183 -158 0
183 -169 0
183 -185 0
183 -199 0
183 -201 0
183 -203 0
183 -204 0
183 -207 0
183 -60 0
184 -141 0
184 -74 0
185 -156 0
185 -58 0
186 -24 0
187 -28 0
188 -139 0
188 -180 0
189 -172 0
190 -154 0
190 -214 0
191 -161 0
191 -177 0
192 -26 0
193 -182 0
194 -41 0
195 -188 0
195 -198 0
195 -29 0
196 -194 0
196 -202 0
197 -89 0
198 -30 0
199 -145 0
199 -155 0
200 -205 0
201 -189 0
202 -166 0
202 -41 0
203 -159 0
204 -57 0
205 -178 0
205 -69 0
206 -195 0
206 -217 0
207 -49 0
208 -52 0
209 -152 0
210 -147 0
211 -22 0
212 -186 0
213 -157 0
214 -93 0
215 -72 0
216 -206 0
217 -212 0
218 -176 0
218 -55 0
219 -97 0
220 -76 0
221 -77 0
221 -78 0
222 -220 0
222 -266 0
223 -35 0
223 -36 0
224 -223 0
225 -100 0
226 -91 0
226 -96 0
227 -261 0
227 -265 0
228 -152 0
228 -233 0
229 -224 0
229 -37 0
229 -38 0
230 -83 0
231 -230 0
231 -239 0
232 -228 0
232 -271 0
233 -173 0
233 -231 0
233 -267 0
234 -253 0
235 -101 0
235 -107 0
235 -236 0
235 -251 0
236 -102 0
236 -103 0
237 -104 0
237 -109 0
238 -112 0
238 -241 0
239 -235 0
239 -237 0
239 -243 0
240 -111 0
241 -45 0
242 -124 0
242 -133 0
242 -245 0
243 -122 0
243 -126 0
244 -126 0
244 -127 0
245 -244 0
246 -128 0
246 -130 0
247 -137 0
247 -242 0
247 -248 0
247 -250 0
248 -131 0
249 -134 0
249 -135 0
250 -136 0
250 -249 0
251 -234 0
252 -46 0
253 -252 0
254 -191 0
254 -257 0
255 -254 0
256 -214 0
257 -200 0
258 -226 0
258 -260 0
259 -227 0
259 -258 0
260 -262 0
260 -79 0
261 -225 0
262 -219 0
263 -98 0
264 -222 0
264 -224 0
265 -263 0
266 -221 0
267 -229 0
268 -232 0
269 -259 0
270 -263 0
270 -264 0
271 -269 0
271 -270 0
-101 -107 0
-101 -236 0
-101 -251 0
-102 -103 0
-104 -109 0
-105 -240 0
-105 -246 0
-106 -62 0
-107 -236 0
-107 -251 0
-112 -241 0
-114 -115 0
-114 -121 0
-114 -6 0
-115 -121 0
-115 -6 0
-116 -118 0
-117 -3 0
-119 -120 0
-119 -17 0
-120 -17 0
-13 -21 0
-13 -7 0
-121 -6 0
-123 -125 0
-124 -133 0
-124 -245 0
-128 -130 0
-129 -65 0
-133 -245 0
-134 -135 0
-136 -249 0
-137 -242 0
-137 -248 0
-137 -250 0
-138 -167 0
-138 -209 0
-138 -255 0
-139 -180 0
-140 -208 0
-141 -74 0
-142 -146 0
-142 -162 0
-142 -86 0
-143 -183 0
-143 -190 0
-143 -193 0
-143 -85 0
-145 -155 0
-146 -162 0
-146 -86 0
-148 -163 0
-149 -164 0
-149 -175 0
-149 -32 0
-151 -81 0
-151 -90 0
-156 -58 0
-158 -169 0
-158 -185 0
-158 -199 0
-158 -201 0
-158 -203 0
-158 -204 0
-158 -207 0
-158 -60 0
-161 -177 0
-162 -86 0
-163 -210 0
-164 -175 0
-164 -32 0
-165 -181 0
-165 -190 0
-165 -193 0
-165 -216 0
-165 -85 0
-167 -209 0
-169 -185 0
-169 -199 0
-169 -201 0
-169 -203 0
-169 -204 0
-169 -207 0
-169 -60 0
-171 -209 0
-173 -231 0
-173 -267 0
-174 -99 0
-175 -32 0
-176 -55 0
-178 -69 0
-179 -215 0
-179 -71 0
-179 -75 0
-181 -193 0
-181 -85 0
-183 -190 0
-183 -193 0
-183 -85 0
-184 -215 0
-184 -71 0
-184 -75 0
-185 -199 0
-185 -201 0
-185 -203 0
-185 -204 0
-185 -207 0
-185 -60 0
-187 -27 0
-188 -198 0
-190 -193 0
-190 -216 0
-190 -85 0
-20 -10 0
-193 -216 0
-193 -85 0
-196 -87 0
-199 -201 0
-199 -203 0
-199 -204 0
-199 -207 0
-199 -60 0
-21 -7 0
-201 -203 0
-201 -204 0
-201 -207 0
-201 -60 0
-203 -204 0
-203 -207 0
-203 -60 0
-204 -207 0
-204 -60 0
-207 -60 0
-213 -256 0
-215 -71 0
-215 -75 0
-216 -85 0
-220 -266 0
-226 -260 0
-230 -239 0
-231 -267 0
-235 -237 0
-236 -251 0
-237 -243 0
-238 -42 0
-238 -43 0
-240 -246 0
-242 -248 0
-242 -250 0
-248 -250 0
-261 -265 0
-262 -79 0
-35 -36 0
-37 -38 0
-42 -43 0
-50 -51 0
-71 -75 0
-77 -78 0
-81 -90 0
-91 -96 0

