c SAT09-Contest Parameters: unif k=3 r=4.25 v=360 c=1530 seed=1293537826
c Uniform UNKNOWN KSAT Instance k=3, nbc=1530, nbv=360, seed=1293537826
p cnf 360 1530
-75 120 -64 0
-186 350 -216 0
103 95 322 0
90 23 195 0
337 -313 286 0
-281 348 107 0
-266 285 289 0
-257 80 49 0
92 212 155 0
-235 -191 -67 0
-212 -117 28 0
251 156 -189 0
316 -116 76 0
-77 -301 281 0
334 226 341 0
281 280 31 0
261 241 97 0
-141 -154 -88 0
-60 36 92 0
-96 111 -229 0
-255 -283 -186 0
122 -235 143 0
71 25 -180 0
-93 -277 241 0
-85 -73 -298 0
-286 91 7 0
-162 3 -130 0
-8 -68 -64 0
145 126 -286 0
-69 343 206 0
-83 113 -340 0
90 -248 177 0
-236 217 -216 0
-190 -78 60 0
322 14 270 0
224 351 -166 0
-95 111 -347 0
-359 -110 -165 0
137 325 -311 0
-217 153 -89 0
55 56 -49 0
115 -133 -85 0
-323 348 160 0
122 337 -148 0
345 -63 2 0
281 230 276 0
-127 -77 -131 0
31 356 220 0
-142 279 -54 0
311 -7 240 0
164 -64 -137 0
311 10 163 0
188 -232 -211 0
-338 -73 -110 0
-323 -165 74 0
-337 205 -270 0
20 244 248 0
-169 -239 -258 0
-131 -81 132 0
329 -251 -63 0
-179 -201 81 0
4 -331 130 0
-294 292 -338 0
-262 65 311 0
172 -291 -54 0
26 34 -254 0
336 -214 146 0
-164 280 252 0
-286 -5 134 0
-187 -236 -8 0
111 -160 -260 0
-258 -312 182 0
93 -176 82 0
270 219 -357 0
-230 -299 -301 0
-33 340 195 0
246 116 -203 0
294 -283 308 0
176 10 -131 0
28 189 -105 0
273 181 -330 0
132 -108 53 0
184 245 96 0
110 49 307 0
126 180 -300 0
-84 60 -105 0
279 -245 123 0
336 283 -54 0
-53 291 283 0
281 211 2 0
23 -3 349 0
-112 343 293 0
292 -53 -128 0
-234 269 -282 0
-41 240 -302 0
-41 -327 -47 0
-150 222 -155 0
-238 62 301 0
-35 -10 -338 0
-135 -133 269 0
-256 39 -352 0
-177 244 -273 0
-193 -124 -79 0
84 -239 -58 0
-25 233 -207 0
231 -90 324 0
355 -223 -178 0
276 285 -264 0
-104 118 81 0
198 8 -262 0
-212 316 42 0
23 59 274 0
20 -245 -228 0
308 -135 -313 0
-240 319 220 0
-102 353 -12 0
-337 69 279 0
270 171 -242 0
-302 -10 -255 0
-290 112 22 0
109 42 182 0
-135 88 192 0
186 304 -255 0
-35 -15 272 0
-7 -44 90 0
89 -189 300 0
185 167 -278 0
-278 100 99 0
-46 -191 178 0
330 304 -302 0
78 233 161 0
-277 247 257 0
-82 267 -35 0
177 139 141 0
110 141 -123 0
86 -112 108 0
-130 -258 -107 0
179 329 10 0
-91 82 194 0
-187 -333 -355 0
49 -296 38 0
-74 66 183 0
126 1 -87 0
96 197 -47 0
41 -333 200 0
108 -48 49 0
86 -253 -93 0
-324 76 313 0
-335 -340 226 0
-202 260 -279 0
143 -348 -68 0
276 158 -304 0
-242 109 -231 0
121 -109 -17 0
-127 241 -34 0
126 -184 6 0
-149 44 88 0
196 255 288 0
4 -331 -149 0
-86 -207 302 0
-124 55 180 0
199 -341 274 0
230 -38 52 0
250 14 167 0
208 77 218 0
-294 -86 -288 0
48 -233 9 0
-97 -255 -3 0
-100 1 114 0
-275 -59 -15 0
9 -256 297 0
-359 311 13 0
18 -197 243 0
-219 -93 -95 0
-26 167 360 0
-359 -130 103 0
-79 50 334 0
348 -171 -265 0
24 -36 -342 0
322 -140 91 0
309 148 345 0
-144 353 -92 0
-255 319 -264 0
118 345 44 0
284 333 132 0
-202 -153 158 0
241 -200 134 0
-200 -11 93 0
20 -202 5 0
331 -249 350 0
7 100 -182 0
297 199 295 0
-68 1 293 0
353 -305 317 0
78 236 231 0
346 58 -37 0
343 -300 -109 0
-153 -10 -255 0
246 -254 80 0
-138 -137 -123 0
240 -244 -194 0
175 -253 -356 0
-350 -177 -301 0
301 319 -17 0
-45 -196 -168 0
-189 67 -344 0
352 75 -273 0
245 -220 262 0
133 -347 36 0
129 157 262 0
283 12 162 0
248 153 38 0
34 -328 343 0
-53 70 206 0
-42 187 299 0
163 -178 -209 0
-169 134 -59 0
-26 -92 -345 0
222 190 76 0
-37 9 -315 0
-312 -168 -292 0
109 -112 61 0
-53 263 -80 0
218 -285 -232 0
82 117 132 0
38 -189 212 0
-221 -220 -203 0
-144 7 -39 0
-294 26 304 0
-217 -166 116 0
44 -19 359 0
353 191 192 0
-133 289 -21 0
226 -224 -172 0
-149 192 2 0
250 -102 278 0
139 319 123 0
-3 125 35 0
-258 -101 152 0
-288 -301 -253 0
67 349 51 0
-268 177 159 0
16 -195 91 0
-287 -130 -109 0
-299 221 155 0
-183 -257 29 0
-77 136 -162 0
-193 -94 -319 0
-257 -173 272 0
-308 317 -91 0
282 -332 84 0
-125 296 54 0
194 276 -274 0
-113 -119 197 0
207 -241 312 0
274 244 52 0
246 128 76 0
279 -69 197 0
68 153 234 0
216 -132 243 0
68 318 43 0
-279 -185 110 0
229 169 -222 0
279 -314 115 0
-60 267 -67 0
275 307 86 0
241 -276 -51 0
325 53 216 0
139 -204 -206 0
279 -289 96 0
-334 -130 242 0
269 -219 -186 0
-210 -188 284 0
177 178 -153 0
-339 -288 -256 0
263 33 150 0
248 -35 242 0
-15 11 353 0
246 356 189 0
-87 220 -74 0
-36 344 8 0
342 -191 1 0
-237 162 219 0
-182 -322 168 0
327 -318 -267 0
-301 -7 10 0
-57 270 -7 0
318 -286 131 0
-273 -248 131 0
-26 309 282 0
-14 157 146 0
35 157 -90 0
214 -47 167 0
-283 -130 -314 0
225 357 -322 0
28 -140 356 0
352 128 -335 0
-312 -265 -328 0
-176 151 61 0
206 -84 -99 0
119 21 312 0
184 47 -91 0
-169 -210 40 0
-144 -68 -161 0
39 53 -207 0
-168 -278 224 0
-204 -171 358 0
-272 -302 239 0
299 197 -317 0
-133 2 -118 0
-337 174 -113 0
122 84 207 0
193 -248 -241 0
-116 -149 -185 0
-309 -101 144 0
160 -143 13 0
10 -211 67 0
175 177 -34 0
-188 -236 102 0
81 -18 -2 0
-39 -281 134 0
-76 68 -236 0
345 34 -113 0
218 217 -277 0
154 -8 178 0
-333 170 -38 0
186 86 40 0
29 -12 -185 0
130 -65 -136 0
304 -337 -101 0
320 12 -325 0
72 163 44 0
118 -227 -134 0
-254 93 -249 0
298 -158 -143 0
69 -330 -232 0
-130 85 -101 0
135 201 348 0
52 -238 -198 0
13 318 50 0
67 204 199 0
332 19 -261 0
-185 -337 -35 0
-360 -204 231 0
4 -177 52 0
-62 -344 155 0
340 -150 -182 0
116 85 32 0
56 -205 -269 0
301 318 233 0
-343 -128 -199 0
148 48 176 0
347 236 -23 0
190 -300 -338 0
-110 -119 35 0
76 -285 342 0
-125 -302 66 0
-42 -48 -123 0
-185 149 -346 0
332 -44 163 0
-82 -94 81 0
130 204 -17 0
-187 -321 335 0
-305 35 284 0
-219 116 -346 0
340 -156 -73 0
149 -81 -272 0
262 -155 333 0
306 289 -10 0
-1 -108 131 0
-35 -160 -184 0
67 -74 -325 0
-244 84 90 0
-168 -332 15 0
-310 210 132 0
-151 -91 -357 0
182 -247 211 0
-241 -78 -133 0
-19 202 -36 0
-332 232 -42 0
161 -170 -143 0
-166 230 220 0
263 -174 63 0
147 245 -72 0
-205 -266 224 0
79 140 275 0
54 -246 -132 0
3 205 15 0
-122 -349 -150 0
287 -103 70 0
140 350 -35 0
201 345 -12 0
-191 -151 302 0
327 318 351 0
111 -77 -59 0
328 136 312 0
92 62 -52 0
118 287 8 0
-260 159 92 0
-103 243 -23 0
35 -348 352 0
-146 -236 -187 0
99 -130 -252 0
-254 112 -10 0
202 -45 291 0
25 -57 135 0
-312 -131 -127 0
114 -261 251 0
-21 305 -197 0
-335 -66 122 0
86 321 158 0
191 16 -296 0
-278 9 294 0
332 -43 86 0
-229 277 -79 0
-290 185 307 0
346 -92 -98 0
-145 -78 195 0
-52 -324 81 0
333 -109 -244 0
288 -351 64 0
94 -74 -51 0
-213 188 -348 0
-301 187 133 0
314 -217 -355 0
248 -273 34 0
-177 26 -313 0
-62 -271 96 0
271 297 301 0
-4 175 316 0
-320 -90 -82 0
-209 251 -148 0
310 10 -99 0
-118 142 105 0
-124 -337 -328 0
-106 -135 159 0
-319 -114 241 0
-54 111 -50 0
-168 -218 -222 0
-32 71 -284 0
299 324 225 0
289 -130 -34 0
304 -200 -149 0
-264 57 -266 0
83 -264 305 0
191 -216 317 0
277 -265 288 0
56 -24 285 0
-144 130 -309 0
118 -333 184 0
-208 161 -169 0
144 3 131 0
345 161 -80 0
-182 -273 -63 0
346 252 201 0
236 89 111 0
154 -342 302 0
87 298 295 0
332 241 67 0
-105 -123 -11 0
-72 11 283 0
58 -15 233 0
-152 -242 206 0
107 -292 -62 0
291 51 164 0
16 307 -35 0
148 -306 -132 0
118 -137 13 0
176 -160 -107 0
-105 -29 -91 0
215 66 -133 0
31 -193 -82 0
-154 -247 199 0
273 18 -121 0
295 162 -20 0
154 -358 -36 0
-320 -51 -42 0
-116 333 126 0
-261 186 112 0
42 -171 9 0
-95 -65 22 0
-224 -168 -133 0
-47 45 250 0
191 210 -68 0
322 7 -313 0
-323 -177 140 0
129 179 277 0
-145 199 -343 0
-360 -238 -188 0
169 54 -282 0
-190 -53 -272 0
204 195 336 0
333 75 310 0
260 229 158 0
-82 -206 -142 0
-142 11 -337 0
-26 -324 -201 0
-331 60 -345 0
102 -319 22 0
28 -83 -239 0
360 -196 213 0
293 -352 98 0
-196 6 -114 0
264 235 187 0
-339 358 -87 0
-286 256 96 0
293 -346 285 0
-117 -152 15 0
-112 -122 141 0
241 -162 181 0
115 -333 -227 0
-118 97 85 0
187 -142 -323 0
-244 74 -60 0
313 -334 180 0
2 260 305 0
-42 286 166 0
-160 211 -331 0
-97 247 220 0
-25 -248 287 0
152 -2 261 0
177 -8 81 0
-113 -166 -182 0
-136 351 88 0
-330 -23 111 0
-285 -236 313 0
-232 79 -53 0
-40 308 354 0
-139 -106 -194 0
339 293 -165 0
351 -143 177 0
72 -254 -55 0
-287 -163 -316 0
-317 141 -321 0
139 -191 29 0
-288 35 323 0
85 -106 -337 0
283 254 -137 0
242 -304 157 0
-357 205 5 0
182 -253 -3 0
-66 249 -64 0
331 -127 72 0
74 -357 -336 0
282 88 -160 0
-360 25 -197 0
-107 113 -74 0
-219 -163 268 0
249 188 -359 0
-39 -136 46 0
-218 276 -297 0
-269 15 37 0
-198 131 -240 0
-234 20 14 0
225 298 179 0
-297 -29 279 0
-325 -7 -209 0
66 -299 47 0
235 -307 343 0
-272 14 -208 0
194 -229 357 0
187 -335 -299 0
237 -230 -200 0
353 197 -328 0
261 26 -90 0
106 -18 -145 0
121 334 164 0
-278 -276 215 0
64 -190 -148 0
79 37 -321 0
-339 -50 40 0
-10 -165 255 0
256 8 320 0
287 -70 -283 0
273 -265 107 0
-76 -292 81 0
-319 131 73 0
91 197 -141 0
320 179 -183 0
247 -103 -45 0
16 294 245 0
-278 104 326 0
73 145 154 0
65 352 143 0
344 269 -179 0
296 -73 -141 0
-243 -161 106 0
-162 -183 87 0
231 -89 -34 0
37 -259 104 0
-258 -272 269 0
289 111 137 0
216 -34 245 0
14 271 338 0
-334 322 -319 0
310 106 -187 0
-274 166 205 0
-240 -99 33 0
-239 -215 -249 0
-229 -60 -277 0
-44 -230 -36 0
346 -167 143 0
-251 -318 -147 0
101 -295 -241 0
143 -34 296 0
212 -332 -209 0
224 -209 25 0
-75 -15 -264 0
24 185 -320 0
142 -174 305 0
126 -89 237 0
105 132 -131 0
-306 72 239 0
-120 -339 221 0
9 -41 -178 0
-292 -141 -40 0
-318 -118 -98 0
-246 94 2 0
-291 -233 -65 0
209 -96 -257 0
234 215 -209 0
33 38 -255 0
-38 -177 97 0
-102 299 297 0
-68 -77 34 0
-76 -161 -283 0
183 175 105 0
355 210 273 0
-348 334 350 0
-290 56 221 0
-339 -357 226 0
-150 -233 268 0
-34 119 73 0
190 46 -346 0
-74 -93 281 0
218 249 -40 0
132 162 153 0
-341 -332 -71 0
129 -104 64 0
210 5 -267 0
-256 186 338 0
258 54 113 0
-129 34 191 0
144 -4 135 0
-337 -205 286 0
267 -235 325 0
318 321 -281 0
218 -166 -148 0
-355 317 -178 0
66 -75 136 0
-22 181 -135 0
-108 -7 -103 0
-142 335 211 0
304 54 203 0
351 26 -179 0
65 -204 96 0
-31 -70 -272 0
325 133 -360 0
63 188 -203 0
348 299 -257 0
-175 -317 207 0
-356 256 -276 0
-238 220 -180 0
354 162 358 0
212 197 -358 0
-266 -55 -190 0
-274 140 252 0
-336 295 -140 0
54 -356 -315 0
-219 338 -316 0
-149 147 83 0
-106 163 166 0
299 184 336 0
-348 97 244 0
-335 217 -158 0
-287 -33 151 0
50 112 140 0
-267 58 312 0
54 -63 282 0
-202 -49 -209 0
231 153 -209 0
19 -199 111 0
-48 -57 -108 0
-139 307 312 0
147 125 -212 0
-41 -108 -346 0
-137 215 135 0
-313 342 288 0
-17 250 266 0
192 354 -247 0
289 288 -122 0
353 -279 233 0
-172 -236 -194 0
-243 229 173 0
333 -186 -320 0
172 -1 285 0
13 -20 -125 0
-345 -77 -90 0
-23 -120 104 0
-24 -296 -42 0
-283 -143 313 0
45 -345 -257 0
-317 46 101 0
304 -108 13 0
355 287 247 0
-185 182 -93 0
-35 101 -201 0
-129 -239 190 0
-310 102 197 0
268 -151 121 0
-163 207 -274 0
119 -75 -328 0
217 73 -270 0
74 36 -276 0
290 -63 -16 0
-117 -130 163 0
-262 -351 141 0
253 55 93 0
228 183 -342 0
-135 -280 351 0
22 -115 -71 0
-194 -198 -309 0
143 -336 166 0
161 235 296 0
82 127 269 0
-298 -225 -81 0
328 269 -99 0
-145 -58 79 0
189 -256 224 0
279 263 -307 0
162 100 296 0
-323 95 69 0
88 75 334 0
8 34 225 0
95 202 -188 0
-168 -32 16 0
-88 230 209 0
16 -152 81 0
-244 -287 -352 0
174 -294 84 0
-164 110 160 0
163 -104 70 0
332 249 -175 0
-249 -58 -336 0
326 136 165 0
20 -112 164 0
-256 -158 359 0
312 93 169 0
-185 -156 275 0
309 -22 270 0
-81 171 291 0
211 -65 -315 0
-179 -215 32 0
253 -249 -15 0
-170 -213 -75 0
233 142 -40 0
-110 161 99 0
190 20 188 0
67 -267 -129 0
-118 -244 130 0
91 114 -45 0
-306 -43 -328 0
-220 59 201 0
291 327 -223 0
-118 33 -310 0
319 -164 -274 0
-226 3 -324 0
-51 127 63 0
-355 235 -189 0
-56 79 307 0
250 69 339 0
-261 201 113 0
-233 347 -272 0
-327 -41 227 0
-300 176 10 0
46 28 -312 0
-96 210 116 0
-100 -126 -348 0
135 -304 156 0
45 92 112 0
-343 -360 270 0
17 -164 -301 0
189 267 127 0
353 208 76 0
106 -98 341 0
299 -6 -334 0
250 281 -217 0
332 -262 1 0
133 289 -288 0
344 125 -232 0
290 70 -109 0
210 34 52 0
352 295 -262 0
-282 -288 -15 0
-214 249 78 0
-84 -291 -302 0
196 39 -282 0
-119 -114 -166 0
349 -50 -297 0
-131 -62 -129 0
-141 -147 5 0
-111 -240 -70 0
-239 -73 242 0
-9 -326 -146 0
-123 -53 297 0
324 -34 148 0
199 -239 -47 0
238 -138 -278 0
190 250 344 0
-58 -312 290 0
-292 -324 -5 0
3 9 -281 0
191 341 -110 0
-347 -184 95 0
271 -274 263 0
109 -97 -159 0
184 304 -43 0
-247 -23 -201 0
-125 -72 63 0
116 318 -195 0
-232 -55 -16 0
69 -14 -32 0
237 290 -145 0
-32 -317 -217 0
-268 352 -2 0
86 130 202 0
353 -344 283 0
64 293 -58 0
-122 346 192 0
98 -176 -325 0
-275 -50 190 0
189 -161 190 0
188 242 245 0
-197 29 85 0
-25 320 -271 0
17 335 -230 0
-317 348 231 0
-201 -69 -178 0
-22 -320 197 0
-271 -227 -62 0
-156 -323 -144 0
295 -251 218 0
-98 -179 140 0
-119 -10 211 0
-123 67 353 0
126 -207 -278 0
282 -91 133 0
293 6 -37 0
-107 -306 -234 0
322 278 -345 0
157 58 -200 0
-353 186 -292 0
31 -189 -335 0
180 -21 -197 0
281 250 -186 0
109 -346 345 0
-142 306 -60 0
286 102 126 0
340 157 -71 0
-253 151 -191 0
18 -319 106 0
187 281 214 0
-9 70 254 0
-187 -141 233 0
-336 203 268 0
104 332 -287 0
-7 324 -246 0
267 -318 5 0
172 84 -174 0
163 -81 -277 0
-38 -273 83 0
-86 314 -16 0
227 93 -259 0
-35 -288 22 0
75 251 190 0
143 187 236 0
256 359 -11 0
-47 296 -61 0
-237 264 214 0
266 -109 83 0
-324 165 282 0
-60 2 25 0
73 -249 -211 0
-203 -45 -252 0
-31 187 -314 0
77 135 -67 0
-282 232 -185 0
-294 327 -266 0
-132 -263 -215 0
74 312 -24 0
169 181 -342 0
-358 -14 186 0
125 -97 -302 0
-268 111 249 0
325 -209 -223 0
180 -333 334 0
-248 218 201 0
101 -163 -56 0
-200 177 -133 0
275 27 12 0
356 -280 -192 0
-283 -225 341 0
183 29 -279 0
-89 -47 -68 0
-330 277 -106 0
-246 -120 -70 0
-59 -31 133 0
347 93 -301 0
-100 129 -295 0
326 -178 -261 0
-171 -25 312 0
241 -87 -292 0
-283 175 294 0
26 -144 180 0
350 343 -28 0
-91 30 128 0
-210 -350 280 0
-156 -200 218 0
-85 -166 -37 0
-308 131 194 0
173 -356 -40 0
-183 -132 186 0
94 254 312 0
-67 -353 266 0
217 -56 143 0
-144 173 158 0
-262 102 152 0
84 269 -180 0
-88 258 -117 0
110 16 -320 0
54 114 242 0
-80 -250 -176 0
109 288 237 0
-238 352 -45 0
-298 81 320 0
112 -143 241 0
135 168 -141 0
66 -244 -267 0
100 85 -279 0
-199 284 -170 0
320 256 145 0
127 -96 -304 0
278 -126 -2 0
281 -175 193 0
-134 310 -312 0
-300 40 -14 0
-333 -104 75 0
-304 -56 -154 0
-101 -159 -79 0
9 -22 -271 0
-78 -244 -46 0
301 38 86 0
-91 105 99 0
203 332 114 0
-351 -263 81 0
345 23 -275 0
126 -87 -260 0
276 -202 136 0
-278 139 338 0
299 -15 -342 0
-15 -253 195 0
107 24 124 0
6 274 58 0
148 -27 224 0
179 333 -4 0
-288 281 -56 0
-347 -75 355 0
-294 237 208 0
-256 269 281 0
-286 -294 -292 0
213 -316 38 0
-248 173 -35 0
-161 -168 -175 0
331 -9 -352 0
12 -28 176 0
243 -178 -161 0
-209 -240 11 0
189 243 -208 0
-11 -129 -58 0
-309 -38 -14 0
-296 -242 95 0
328 90 -325 0
-122 271 151 0
63 297 180 0
311 62 105 0
201 332 153 0
124 9 -328 0
-314 128 -95 0
343 78 347 0
-273 -26 -285 0
-49 -171 -207 0
86 -84 -183 0
-67 141 -1 0
-112 32 -263 0
-87 -316 148 0
-242 5 217 0
-15 180 35 0
149 139 296 0
-165 -123 236 0
214 -200 -74 0
-50 185 -8 0
265 -342 -121 0
87 -118 199 0
-5 -101 -199 0
-153 298 222 0
-340 327 -324 0
-204 -357 312 0
202 27 263 0
13 -229 35 0
-90 -119 -179 0
-38 -251 -321 0
339 -83 -350 0
92 -73 150 0
344 -243 276 0
279 103 32 0
-18 -79 -74 0
122 204 -28 0
-239 24 238 0
286 -336 -73 0
84 -255 -29 0
-108 -356 -314 0
225 -122 280 0
261 -268 108 0
-97 6 201 0
322 -70 -111 0
-144 -143 -43 0
209 -172 -335 0
119 249 160 0
-170 30 328 0
-254 -155 146 0
60 123 -69 0
-299 -73 246 0
-202 283 30 0
86 338 -15 0
-345 -234 230 0
-44 309 133 0
-332 294 -182 0
-92 184 113 0
-97 52 -314 0
-19 -334 77 0
272 -133 -287 0
237 -337 -303 0
-349 -181 -49 0
25 133 219 0
-141 -24 129 0
-318 -221 260 0
355 -46 -306 0
-129 23 106 0
243 217 206 0
-101 312 -225 0
120 147 233 0
-155 -112 267 0
34 190 360 0
270 88 291 0
-101 -312 322 0
259 262 -100 0
187 -53 354 0
-179 248 -167 0
81 104 191 0
357 -277 132 0
125 320 -76 0
160 -314 201 0
-172 -334 -28 0
-308 216 -277 0
86 -337 -221 0
241 138 11 0
-261 -115 23 0
-161 -335 -254 0
-275 -111 252 0
-176 301 -339 0
260 146 61 0
251 -327 174 0
321 -183 -109 0
-298 276 153 0
-75 -144 121 0
177 342 -59 0
-119 -2 315 0
-74 -150 211 0
331 -282 196 0
53 43 286 0
318 184 -64 0
-342 -192 268 0
159 62 236 0
207 -60 93 0
203 -165 341 0
-49 192 -239 0
-115 -78 -203 0
-92 325 310 0
-66 -47 -285 0
-20 -284 12 0
274 204 -292 0
-360 -301 353 0
-61 -144 -238 0
226 250 69 0
51 -300 272 0
239 -11 290 0
-163 349 -6 0
-247 -65 91 0
-124 -246 227 0
-187 42 -251 0
77 -138 211 0
-29 -356 -117 0
-357 -67 -33 0
4 -113 170 0
-203 257 122 0
197 277 285 0
41 140 -329 0
38 259 27 0
261 88 -280 0
-353 -253 7 0
37 -212 -177 0
80 -89 -255 0
116 23 36 0
305 81 310 0
290 123 -191 0
-197 -332 -181 0
185 -7 -121 0
330 193 249 0
43 -165 226 0
123 56 -337 0
-14 -115 -221 0
134 -196 -318 0
-42 -192 280 0
102 -274 -84 0
21 -294 -91 0
323 83 90 0
-12 -349 -4 0
164 -233 279 0
-75 114 -287 0
128 43 -23 0
332 238 62 0
358 190 -281 0
-292 239 79 0
316 177 143 0
-266 50 -331 0
82 -57 357 0
-286 193 -341 0
-309 198 -76 0
-343 70 -101 0
262 122 -315 0
24 35 355 0
-199 -25 35 0
-144 -277 -170 0
256 -25 312 0
-177 132 -165 0
30 123 268 0
95 -38 -136 0
125 56 -260 0
-34 18 -121 0
184 182 235 0
-42 175 329 0
282 188 183 0
31 -243 -348 0
311 -297 80 0
297 355 218 0
106 -134 -63 0
2 -166 -303 0
153 295 60 0
177 305 -339 0
-171 -287 -34 0
-35 -42 58 0
271 -88 -248 0
-64 4 75 0
281 -74 4 0
-248 -327 339 0
-318 -138 -181 0
104 255 -167 0
223 182 -229 0
-289 147 13 0
-55 324 -76 0
21 -314 -33 0
354 -226 329 0
30 -263 -56 0
-108 280 348 0
43 194 63 0
-307 -302 -242 0
-36 111 -124 0
-294 -269 5 0
328 310 -5 0
181 339 -53 0
283 124 -261 0
198 241 -26 0
-158 328 260 0
274 -183 146 0
326 16 166 0
19 161 -295 0
215 306 179 0
-183 -267 138 0
-85 -15 329 0
269 -285 -313 0
-222 -19 -250 0
-21 -128 157 0
-298 -282 130 0
10 110 120 0
-184 13 -313 0
-198 297 -197 0
168 291 184 0
-241 -67 -326 0
-222 -50 -359 0
-50 198 -290 0
29 324 -343 0
151 18 -86 0
-170 -322 129 0
73 263 -321 0
291 83 -73 0
-279 -140 66 0
-42 272 299 0
260 -323 345 0
-149 82 -179 0
-312 53 238 0
48 -227 -38 0
310 -149 139 0
-219 -196 -259 0
-273 -236 -99 0
-36 163 -86 0
213 196 -321 0
-12 -313 -132 0
247 -129 171 0
-262 75 76 0
-191 225 199 0
34 -84 -131 0
-104 -314 -302 0
147 75 -271 0
-302 -327 309 0
-191 -154 -133 0
5 -44 -37 0
-132 -317 196 0
171 87 257 0
129 169 -216 0
-138 257 -101 0
283 196 -193 0
141 -13 -50 0
356 191 105 0
79 -286 330 0
-5 -188 39 0
290 34 -288 0
-358 -191 166 0
-218 101 -244 0
-136 80 -210 0
203 157 -115 0
318 157 -170 0
217 -153 178 0
288 120 84 0
-235 325 -280 0
4 29 -152 0
356 -188 -100 0
-237 -166 -4 0
348 -19 320 0
-110 322 -149 0
-250 -3 -314 0
61 -264 -101 0
246 319 -6 0
34 -254 100 0
-155 -48 -284 0
-357 -350 -91 0
154 -252 -39 0
59 329 335 0
340 326 -60 0
-86 275 329 0
330 12 325 0
-262 253 174 0
145 -215 -250 0
-86 197 -102 0
-117 109 -321 0
230 43 -250 0
343 125 -305 0
167 -171 -202 0
211 -290 -339 0
302 219 126 0
-128 -110 -236 0
178 152 94 0
-240 -186 -282 0
110 315 179 0
71 29 -171 0
109 -149 219 0
-244 -228 107 0
-237 157 320 0
290 -306 207 0
-228 306 29 0
-336 273 -203 0
11 -141 63 0
-345 179 97 0
-47 -52 -134 0
8 -134 -39 0
-7 -340 99 0
49 -268 -346 0
76 269 -110 0
-33 -148 -343 0
168 109 -278 0
-221 -34 -80 0
67 273 317 0
22 -243 -232 0
288 360 71 0
232 -98 84 0
-96 -273 -263 0
213 339 21 0
-113 -162 175 0
271 297 -178 0
-252 -244 30 0
6 -272 255 0
-271 -143 232 0
-185 206 -340 0
-19 122 -159 0
322 350 41 0
173 145 324 0
-258 146 124 0
203 2 -295 0
68 -231 268 0
-130 -80 -74 0
138 -166 -331 0
-321 -4 -267 0
-124 76 -157 0
-107 323 -54 0
6 99 -301 0
-205 -60 -360 0
141 257 67 0
-272 -316 -358 0
292 -39 190 0
-167 -129 102 0
-186 -344 -191 0
147 268 -251 0
44 -167 -230 0
62 124 -146 0
-143 243 60 0
245 146 -72 0
352 -64 70 0
80 -117 113 0
51 148 273 0
-128 -245 -327 0
355 191 -79 0
-116 119 331 0
134 302 297 0
-236 -228 -161 0
316 196 298 0
145 13 72 0
-236 -163 8 0
184 -31 -179 0
-106 -289 -186 0
-194 85 183 0
-64 204 286 0
324 74 221 0
-112 -22 164 0
49 247 176 0
221 93 141 0
174 -110 340 0
-96 124 -274 0
67 -29 168 0
289 -101 -193 0
247 286 -359 0
-254 -271 -189 0
-39 -194 -93 0
147 133 247 0
-6 156 -350 0
-23 42 -215 0
-14 212 -112 0
-174 -324 312 0
-114 216 -273 0
-186 -278 25 0
331 144 355 0
-52 107 -292 0
303 -7 -112 0
323 -57 111 0
-280 -247 -279 0
104 -318 261 0
245 -321 -216 0
-208 -358 -65 0
174 -334 -205 0
-198 22 321 0
355 -189 312 0
266 42 -187 0
119 -57 -250 0
225 -148 292 0
283 -116 -214 0
244 141 161 0
162 -289 -293 0
100 150 166 0
-277 101 229 0
-57 -161 -96 0
-249 222 -52 0
123 89 -56 0
-165 72 -312 0
352 267 -293 0
125 -287 162 0
-299 1 -81 0
184 264 -253 0
-294 115 -12 0
-242 294 -96 0
284 -215 145 0
-231 67 -245 0
283 350 -340 0
-146 301 -277 0
-325 315 -307 0
124 270 80 0
355 138 182 0
209 -90 290 0
81 342 336 0
333 -56 199 0
337 233 -300 0
-301 -262 356 0
101 -187 -43 0
258 192 -144 0
137 108 43 0
-195 -268 266 0
19 142 285 0
3 340 -214 0
305 146 350 0
-304 -46 -319 0
-356 -108 -221 0
-111 -219 -159 0
-28 -168 -350 0
-30 -132 71 0
-104 -248 65 0
238 360 324 0
358 -99 326 0
-360 -58 188 0
342 -205 81 0
67 97 -175 0
-193 319 35 0
-231 173 -30 0
-188 339 135 0
218 125 168 0
10 -173 -6 0
-80 -162 354 0
354 329 60 0
-338 -86 -76 0
122 335 -354 0
-91 -17 109 0
-251 -220 226 0
249 77 24 0
-216 23 -317 0
161 -31 325 0
-278 -28 -319 0
316 324 -262 0
28 -49 7 0
-240 74 163 0
1 -109 99 0
-56 128 -311 0
219 296 -82 0
12 347 214 0
-132 214 356 0
-236 340 28 0
-56 95 -166 0
270 -311 207 0
-43 -142 279 0
21 -88 -256 0
251 80 114 0
-309 -191 354 0
87 -21 -109 0
-70 86 180 0
-206 55 -75 0
16 -82 195 0
-203 5 186 0
30 262 -310 0
278 163 231 0
-8 -182 9 0
13 -220 119 0
289 -198 356 0
293 296 -75 0
206 -265 -355 0
349 -212 -65 0
-65 -243 172 0
-340 -324 34 0
201 -344 -161 0
21 -50 -13 0
-61 -46 -171 0
-131 188 161 0
-16 -99 318 0
-299 99 -294 0
340 264 239 0
-73 277 -212 0
-229 323 356 0
-55 -262 -351 0
286 17 211 0
-282 264 -218 0
101 82 -49 0
104 275 -333 0
188 282 -180 0
309 -202 -129 0
-275 -242 -235 0
320 -29 -352 0
-334 354 -160 0
158 -353 77 0
352 -278 -351 0
-246 97 83 0
-226 306 84 0
331 32 -305 0
-291 179 -182 0
-96 281 -8 0
-60 176 19 0
-128 301 -138 0
-10 -81 -73 0
232 -128 -286 0
306 124 35 0
138 -24 -251 0
212 -286 -91 0
175 172 141 0
281 247 -64 0
-358 -194 -236 0
-252 -322 327 0
317 230 -329 0
-306 -61 -40 0
-2 214 8 0
-61 287 126 0
-121 176 292 0
-295 -320 131 0
-125 -73 -194 0
26 -71 83 0
157 83 -37 0
-247 225 240 0
205 45 -339 0
-93 252 -288 0
278 280 -193 0
67 146 73 0
357 -340 21 0
19 -33 30 0
239 -114 288 0
216 -354 -193 0
138 175 -48 0
106 -207 266 0
304 -93 347 0
348 -244 356 0
-142 17 347 0
321 -108 48 0
23 200 238 0
97 30 158 0
-311 242 -246 0
-6 -88 162 0
-230 199 -258 0
133 -41 150 0
78 100 75 0