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