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