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