bench.cnf

c Result of efficient AIG-to-CNF conversion using package CNF
p cnf 727 2585
-2 592 609 0
-2 3 -592 0
-2 592 -710 0
2 -3 -592 0
2 592 -609 710 0
-3 -487 544 590 0
-3 4 544 590 0
3 -590 0
3 -544 0
3 -4 487 0
-4 5 486 0
4 -5 0
4 -486 0
-5 6 406 0
5 -6 0
5 -406 0
6 -7 -404 0
-6 7 0
-6 404 0
-7 -8 403 0
-7 298 403 0
7 -403 0
7 8 -298 0
8 -9 12 0
-8 9 0
-8 -12 0
9 -10 -11 0
-9 10 0
-9 11 0
10 -717 -726 0
-10 717 0
-10 726 0
11 -718 -725 0
-11 718 0
-11 725 0
-12 13 20 0
12 -13 0
12 -20 0
13 -718 -726 -15 0
13 -718 -726 -14 0
-13 718 0
-13 726 0
-13 14 15 0
14 -717 -725 0
-14 717 0
-14 725 0
15 -16 -19 0
-15 16 0
-15 19 0
-16 14 18 0
-16 17 18 0
-16 14 17 0
16 -14 -17 0
16 -17 -18 0
16 -14 -18 0
17 -716 -726 0
-17 716 0
-17 726 0
18 -718 -724 0
-18 718 0
-18 724 0
-19 -10 -11 0
-19 10 11 0
19 10 -11 0
19 -10 11 0
20 -21 -296 0
-20 21 0
-20 296 0
-21 22 45 0
21 -22 0
21 -45 0
22 -23 -44 0
-22 23 0
-22 44 0
-23 24 31 0
23 -24 0
23 -31 0
24 -25 -29 0
-24 25 0
-24 29 0
-25 26 28 0
-25 27 28 0
-25 26 27 0
25 -26 -27 0
25 -27 -28 0
25 -26 -28 0
26 -715 -726 0
-26 715 0
-26 726 0
27 -718 -723 0
-27 718 0
-27 723 0
28 -717 -724 0
-28 717 0
-28 724 0
29 14 -30 0
29 -14 30 0
-29 -14 -30 0
-29 14 30 0
30 17 -18 0
30 -17 18 0
-30 -17 -18 0
-30 17 18 0
31 -32 -43 0
-31 32 0
-31 43 0
-32 33 37 0
32 -33 0
32 -37 0
33 -34 -35 0
-33 34 0
-33 35 0
34 -716 -725 0
-34 716 0
-34 725 0
35 28 -36 0
35 -28 36 0
-35 -28 -36 0
-35 28 36 0
36 26 -27 0
36 -26 27 0
-36 -26 -27 0
-36 26 27 0
37 -38 -42 0
-37 38 0
-37 42 0
-38 39 41 0
-38 40 41 0
-38 39 40 0
38 -39 -40 0
38 -40 -41 0
38 -39 -41 0
39 -714 -726 0
-39 714 0
-39 726 0
40 -718 -722 0
-40 718 0
-40 722 0
41 -717 -723 0
-41 717 0
-41 723 0
42 34 -35 0
42 -34 35 0
-42 -34 -35 0
-42 34 35 0
43 25 -29 0
43 -25 29 0
-43 -25 -29 0
-43 25 29 0
44 -16 19 0
44 16 -19 0
-44 16 19 0
-44 -16 -19 0
45 -46 -295 0
-45 46 0
-45 295 0
-46 47 81 0
46 -47 0
46 -81 0
47 -48 -80 0
-47 48 0
-47 80 0
-48 49 59 0
48 -49 0
48 -59 0
49 -50 -58 0
-49 50 0
-49 58 0
-50 51 55 0
50 -51 0
50 -55 0
51 -52 -53 0
-51 52 0
-51 53 0
52 -715 -725 0
-52 715 0
-52 725 0
53 41 -54 0
53 -41 54 0
-53 -41 -54 0
-53 41 54 0
54 39 -40 0
54 -39 40 0
-54 -39 -40 0
-54 39 40 0
55 -56 -57 0
-55 56 0
-55 57 0
56 -716 -724 0
-56 716 0
-56 724 0
57 52 -53 0
57 -52 53 0
-57 -52 -53 0
-57 52 53 0
58 38 -42 0
58 -38 42 0
-58 -38 -42 0
-58 38 42 0
59 -60 -79 0
-59 60 0
-59 79 0
-60 61 70 0
60 -61 0
60 -70 0
61 -62 -69 0
-61 62 0
-61 69 0
-62 63 66 0
62 -63 0
62 -66 0
63 -713 -726 -64 0
-63 713 0
-63 726 0
-63 64 0
64 -721 -65 0
-64 721 0
-64 65 0
65 -717 -718 -719 -720 0
-65 720 0
-65 717 0
-65 719 0
-65 718 0
66 -718 -721 -67 0
-66 718 0
-66 721 0
-66 67 0
67 68 -64 0
67 -68 64 0
-67 -68 -64 0
-67 68 64 0
68 -713 -726 0
-68 713 0
-68 726 0
69 56 -57 0
69 -56 57 0
-69 -56 -57 0
-69 56 57 0
70 -71 -78 0
-70 71 0
-70 78 0
-71 72 75 0
71 -72 0
71 -75 0
72 -716 -723 -73 0
-72 716 0
-72 723 0
-72 73 0
73 74 -67 0
73 -74 67 0
-73 -74 -67 0
-73 74 67 0
74 -718 -721 0
-74 718 0
-74 721 0
75 -717 -722 -76 0
-75 717 0
-75 722 0
-75 76 0
76 77 -73 0
76 -77 73 0
-76 -77 -73 0
-76 77 73 0
77 -716 -723 0
-77 716 0
-77 723 0
78 62 -69 0
78 -62 69 0
-78 -62 -69 0
-78 62 69 0
79 50 -58 0
79 -50 58 0
-79 -50 -58 0
-79 50 58 0
80 32 -43 0
80 -32 43 0
-80 -32 -43 0
-80 32 43 0
81 -82 -294 0
-81 82 0
-81 294 0
-82 83 121 0
82 -83 0
82 -121 0
83 -84 -120 0
-83 84 0
-83 120 0
-84 85 95 0
84 -85 0
84 -95 0
85 -86 -94 0
-85 86 0
-85 94 0
-86 87 89 0
86 -87 0
86 -89 0
87 -714 -725 -88 0
-87 714 0
-87 725 0
-87 88 0
88 -715 -724 0
-88 715 0
-88 724 0
89 -90 -92 0
-89 90 0
-89 92 0
90 91 -76 0
90 -91 76 0
-90 -91 -76 0
-90 91 76 0
91 -717 -722 0
-91 717 0
-91 722 0
92 93 -88 0
92 -93 88 0
-92 -93 -88 0
-92 93 88 0
93 -714 -725 0
-93 714 0
-93 725 0
94 71 -78 0
94 -71 78 0
-94 -71 -78 0
-94 71 78 0
95 -96 -119 0
-95 96 0
-95 119 0
-96 97 110 0
96 -97 0
96 -110 0
97 -98 -109 0
-97 98 0
-97 109 0
-98 99 101 0
98 -99 0
98 -101 0
99 -713 -725 -100 0
-99 713 0
-99 725 0
-99 100 0
100 -716 -722 0
-100 716 0
-100 722 0
101 -102 -107 0
-101 102 0
-101 107 0
102 103 -104 0
102 -103 104 0
-102 -103 -104 0
-102 103 104 0
103 -712 -726 0
-103 712 0
-103 726 0
104 105 -106 0
104 -105 106 0
-104 -105 -106 0
-104 105 106 0
105 -715 -723 0
-105 715 0
-105 723 0
106 721 -65 0
106 -717 -721 65 0
-106 717 -721 0
-106 721 65 0
-106 -721 -65 0
107 100 -108 0
107 -100 108 0
-107 -100 -108 0
-107 100 108 0
108 -713 -725 0
-108 713 0
-108 725 0
109 90 -92 0
109 -90 92 0
-109 -90 -92 0
-109 90 92 0
110 -111 -118 0
-110 111 0
-110 118 0
-111 112 115 0
111 -112 0
111 -115 0
112 -113 -114 0
-112 113 0
-112 114 0
113 -718 -720 0
-113 718 0
-113 720 0
114 -714 -724 0
-114 714 0
-114 724 0
115 -116 -117 0
-115 116 0
-115 117 0
116 102 -107 0
116 -102 107 0
-116 -102 -107 0
-116 102 107 0
117 113 -114 0
117 -113 114 0
-117 -113 -114 0
-117 113 114 0
118 98 -109 0
118 -98 109 0
-118 -98 -109 0
-118 98 109 0
119 86 -94 0
119 -86 94 0
-119 -86 -94 0
-119 86 94 0
120 60 -79 0
120 -60 79 0
-120 -60 -79 0
-120 60 79 0
121 -122 -293 0
-121 122 0
-121 293 0
-122 123 160 0
122 -123 0
122 -160 0
123 -124 -159 0
-123 124 0
-123 159 0
-124 125 130 0
124 -125 0
124 -130 0
125 -126 -129 0
-125 126 0
-125 129 0
-126 127 128 0
126 -127 0
126 -128 0
127 -105 -106 0
-127 105 0
-127 106 0
128 -103 -104 0
-128 103 0
-128 104 0
129 111 -118 0
129 -111 118 0
-129 -111 -118 0
-129 111 118 0
130 -131 -158 0
-130 131 0
-130 158 0
-131 132 153 0
131 -132 0
131 -153 0
132 -133 -137 0
-132 133 0
-132 137 0
-133 134 136 0
-133 135 136 0
-133 134 135 0
133 -134 -135 0
133 -135 -136 0
133 -134 -136 0
134 -716 -721 0
-134 716 0
-134 721 0
135 -715 -722 0
-135 715 0
-135 722 0
136 -712 -725 0
-136 712 0
-136 725 0
-137 138 139 0
137 -138 0
137 -139 0
138 -711 -713 -724 -726 0
-138 726 0
-138 711 0
-138 724 0
-138 713 0
139 -140 -150 0
-139 140 0
-139 150 0
140 141 -147 0
140 -141 147 0
-140 -141 -147 0
-140 141 147 0
141 142 -143 0
141 -142 143 0
-141 -142 -143 0
-141 142 143 0
142 -714 -723 0
-142 714 0
-142 723 0
143 -716 -144 0
-143 716 0
-143 144 0
144 -715 -720 -145 0
-144 715 0
-144 720 0
-144 145 0
145 -714 -146 0
-145 714 0
-145 146 0
146 -711 -713 -720 -722 0
-146 722 0
-146 711 0
-146 720 0
-146 713 0
147 148 -149 0
147 -148 149 0
-147 -148 -149 0
-147 148 149 0
148 -718 -719 0
-148 718 0
-148 719 0
149 -717 -720 0
-149 717 0
-149 720 0
150 151 -152 0
150 -151 152 0
-150 -151 -152 0
-150 151 152 0
151 -713 -724 0
-151 713 0
-151 724 0
152 -711 -726 0
-152 711 0
-152 726 0
153 -154 -157 0
-153 154 0
-153 157 0
-154 155 156 0
154 -155 0
154 -156 0
155 -142 -143 0
-155 142 0
-155 143 0
156 -141 -147 0
-156 141 0
-156 147 0
157 -133 137 0
157 133 -137 0
-157 133 137 0
-157 -133 -137 0
158 126 -129 0
158 -126 129 0
-158 -126 -129 0
-158 126 129 0
159 96 -119 0
159 -96 119 0
-159 -96 -119 0
-159 96 119 0
160 -161 -292 0
-160 161 0
-160 292 0
-161 162 183 0
161 -162 0
161 -183 0
162 -163 -182 0
-162 163 0
-162 182 0
-163 164 167 0
163 -164 0
163 -167 0
164 -165 -166 0
-164 165 0
-164 166 0
165 116 -117 0
165 -116 117 0
-165 -116 -117 0
-165 116 117 0
166 154 -157 0
166 -154 157 0
-166 -154 -157 0
-166 154 157 0
167 -168 -181 0
-167 168 0
-167 181 0
-168 169 173 0
168 -169 0
168 -173 0
169 -170 -172 0
-169 170 0
-169 172 0
170 136 -171 0
170 -136 171 0
-170 -136 -171 0
-170 136 171 0
171 134 -135 0
171 -134 135 0
-171 -134 -135 0
-171 134 135 0
172 140 -150 0
172 -140 150 0
-172 -140 -150 0
-172 140 150 0
173 -174 -180 0
-173 174 0
-173 180 0
-174 175 176 0
174 -175 0
174 -176 0
175 -713 -714 -722 -723 0
-175 723 0
-175 713 0
-175 722 0
-175 714 0
176 -712 -724 -177 0
-176 712 0
-176 724 0
-176 177 0
177 178 -179 0
177 -178 179 0
-177 -178 -179 0
-177 178 179 0
178 -714 -722 0
-178 714 0
-178 722 0
179 -713 -723 0
-179 713 0
-179 723 0
180 170 -172 0
180 -170 172 0
-180 -170 -172 0
-180 170 172 0
181 165 -166 0
181 -165 166 0
-181 -165 -166 0
-181 165 166 0
182 131 -158 0
182 -131 158 0
-182 -131 -158 0
-182 131 158 0
183 -184 -291 0
-183 184 0
-183 291 0
-184 185 207 0
184 -185 0
184 -207 0
185 -186 -206 0
-185 186 0
-185 206 0
-186 187 201 0
186 -187 0
186 -201 0
187 -188 -200 0
-187 188 0
-187 200 0
-188 189 192 0
188 -189 0
188 -192 0
189 -711 -725 -190 0
-189 711 0
-189 725 0
-189 190 0
190 191 -177 0
190 -191 177 0
-190 -191 -177 0
-190 191 177 0
191 -712 -724 0
-191 712 0
-191 724 0
192 -193 -198 0
-192 193 0
-192 198 0
193 194 -195 0
193 -194 195 0
-193 -194 -195 0
-193 194 195 0
194 -717 -719 0
-194 717 0
-194 719 0
195 196 -197 0
195 -196 197 0
-195 -196 -197 0
-195 196 197 0
196 -715 -721 0
-196 715 0
-196 721 0
197 716 -144 0
197 -716 -720 144 0
-197 -716 -144 0
-197 716 144 0
-197 -716 720 0
198 199 -190 0
198 -199 190 0
-198 -199 -190 0
-198 199 190 0
199 -711 -725 0
-199 711 0
-199 725 0
200 174 -180 0
200 -174 180 0
-200 -174 -180 0
-200 174 180 0
201 -202 -205 0
-201 202 0
-201 205 0
-202 203 204 0
202 -203 0
202 -204 0
203 -715 -721 -197 0
-203 715 0
-203 721 0
-203 197 0
204 -717 -719 -195 0
-204 717 0
-204 719 0
-204 195 0
205 188 -200 0
205 -188 200 0
-205 -188 -200 0
-205 188 200 0
206 168 -181 0
206 -168 181 0
-206 -168 -181 0
-206 168 181 0
207 -208 -290 0
-207 208 0
-207 290 0
-208 209 231 0
208 -209 0
208 -231 0
209 -210 -230 0
-209 210 0
-209 230 0
-210 211 220 0
210 -211 0
210 -220 0
211 -212 -219 0
-211 212 0
-211 219 0
-212 213 216 0
212 -213 0
212 -216 0
213 -714 -721 -214 0
-213 714 0
-213 721 0
-213 214 0
214 215 -145 0
214 -215 145 0
-214 -215 -145 0
-214 215 145 0
215 -715 -720 0
-215 715 0
-215 720 0
216 -716 -719 -217 0
-216 716 0
-216 719 0
-216 217 0
217 218 -214 0
217 -218 214 0
-217 -218 -214 0
-217 218 214 0
218 -714 -721 0
-218 714 0
-218 721 0
219 193 -198 0
219 -193 198 0
-219 -193 -198 0
-219 193 198 0
220 -221 -229 0
-220 221 0
-220 229 0
-221 222 223 0
221 -222 0
221 -223 0
222 -711 -713 -722 -724 0
-222 724 0
-222 711 0
-222 722 0
-222 713 0
223 -224 -226 0
-223 224 0
-223 226 0
224 225 -217 0
224 -225 217 0
-224 -225 -217 0
-224 225 217 0
225 -716 -719 0
-225 716 0
-225 719 0
226 227 -228 0
226 -227 228 0
-226 -227 -228 0
-226 227 228 0
227 -713 -722 0
-227 713 0
-227 722 0
228 -711 -724 0
-228 711 0
-228 724 0
229 212 -219 0
229 -212 219 0
-229 -212 -219 0
-229 212 219 0
230 202 -205 0
230 -202 205 0
-230 -202 -205 0
-230 202 205 0
231 -232 -289 0
-231 232 0
-231 289 0
-232 233 248 0
232 -233 0
232 -248 0
233 -234 -247 0
-233 234 0
-233 247 0
-234 235 237 0
234 -235 0
234 -237 0
235 -712 -723 -236 0
-235 712 0
-235 723 0
-235 236 0
236 224 -226 0
236 -224 226 0
-236 -224 -226 0
-236 224 226 0
237 -238 -245 0
-237 238 0
-237 245 0
-238 239 242 0
238 -239 0
238 -242 0
239 -240 -241 0
-239 240 0
-239 241 0
240 -713 -721 0
-240 713 0
-240 721 0
241 714 -146 0
241 -714 -720 146 0
-241 -714 -146 0
-241 714 146 0
-241 -714 720 0
242 -243 -244 0
-242 243 0
-242 244 0
243 -715 -719 0
-243 715 0
-243 719 0
244 240 -241 0
244 -240 241 0
-244 -240 -241 0
-244 240 241 0
245 246 -236 0
245 -246 236 0
-245 -246 -236 0
-245 246 236 0
246 -712 -723 0
-246 712 0
-246 723 0
247 221 -229 0
247 -221 229 0
-247 -221 -229 0
-247 221 229 0
248 -249 -288 0
-248 249 0
-248 288 0
-249 250 259 0
249 -250 0
249 -259 0
250 -251 -258 0
-250 251 0
-250 258 0
-251 252 253 0
251 -252 0
251 -253 0
252 -711 -712 -722 -723 0
-252 723 0
-252 711 0
-252 722 0
-252 712 0
253 -254 -255 0
-253 254 0
-253 255 0
254 243 -244 0
254 -243 244 0
-254 -243 -244 0
-254 243 244 0
255 256 -257 0
255 -256 257 0
-255 -256 -257 0
-255 256 257 0
256 -711 -723 0
-256 711 0
-256 723 0
257 -712 -722 0
-257 712 0
-257 722 0
258 238 -245 0
258 -238 245 0
-258 -238 -245 0
-258 238 245 0
259 -260 -287 0
-259 260 0
-259 287 0
-260 261 266 0
260 -261 0
260 -266 0
261 -262 -265 0
-261 262 0
-261 265 0
-262 263 264 0
262 -263 0
262 -264 0
263 -712 -714 -719 -721 0
-263 721 0
-263 712 0
-263 719 0
-263 714 0
264 -711 -712 -720 -721 0
-264 721 0
-264 711 0
-264 720 0
-264 712 0
265 254 -255 0
265 -254 255 0
-265 -254 -255 0
-265 254 255 0
266 -267 -286 0
-266 267 0
-266 286 0
-267 268 275 0
267 -268 0
267 -275 0
268 -269 -272 0
-268 269 0
-268 272 0
-269 271 -264 0
-269 270 271 0
-269 270 -264 0
-269 -270 -271 264 0
269 270 -271 264 0
269 -270 271 264 0
269 -270 -271 -264 0
270 -712 -721 0
-270 712 0
-270 721 0
271 -714 -719 0
-271 714 0
-271 719 0
272 273 -274 0
272 -273 274 0
-272 -273 -274 0
-272 273 274 0
273 -711 -722 0
-273 711 0
-273 722 0
274 -713 -720 0
-274 713 0
-274 720 0
275 -276 -285 0
-275 276 0
-275 285 0
-276 277 281 0
276 -277 0
276 -281 0
277 -713 -719 -278 0
-277 713 0
-277 719 0
-277 278 0
278 279 -280 0
278 -279 280 0
-278 -279 -280 0
-278 279 280 0
279 -712 -720 0
-279 712 0
-279 720 0
280 -711 -721 0
-280 711 0
-280 721 0
281 -282 -284 0
-281 282 0
-281 284 0
282 283 -278 0
282 -283 278 0
-282 -283 -278 0
-282 283 278 0
283 -713 -719 0
-283 713 0
-283 719 0
284 -711 -712 -719 -720 0
-284 720 0
-284 711 0
-284 719 0
-284 712 0
285 269 -272 0
285 -269 272 0
-285 -269 -272 0
-285 269 272 0
286 262 -265 0
286 -262 265 0
-286 -262 -265 0
-286 262 265 0
287 251 -258 0
287 -251 258 0
-287 -251 -258 0
-287 251 258 0
288 234 -247 0
288 -234 247 0
-288 -234 -247 0
-288 234 247 0
289 210 -230 0
289 -210 230 0
-289 -210 -230 0
-289 210 230 0
290 186 -206 0
290 -186 206 0
-290 -186 -206 0
-290 186 206 0
291 163 -182 0
291 -163 182 0
-291 -163 -182 0
-291 163 182 0
292 124 -159 0
292 -124 159 0
-292 -124 -159 0
-292 124 159 0
293 84 -120 0
293 -84 120 0
-293 -84 -120 0
-293 84 120 0
294 48 -80 0
294 -48 80 0
-294 -48 -80 0
-294 48 80 0
295 23 -44 0
295 -23 44 0
-295 -23 -44 0
-295 23 44 0
296 13 -297 0
-296 -13 0
-296 297 0
-297 718 15 0
-297 726 15 0
297 -15 0
297 -718 -726 0
298 -299 402 0
298 -399 402 0
-298 -402 0
-298 299 399 0
299 -300 398 0
299 -393 398 0
-299 -398 0
-299 300 393 0
300 -301 392 0
300 -383 392 0
-300 -392 0
-300 301 383 0
301 -302 382 0
301 -371 382 0
-301 -382 0
-301 302 371 0
302 -303 370 0
-302 303 0
-302 -370 0
-303 304 361 0
303 -304 0
303 -361 0
304 -305 360 0
304 -354 360 0
-304 -360 0
-304 305 354 0
305 -306 353 0
305 -315 353 0
-305 -353 0
-305 306 315 0
306 307 -314 0
-306 -307 0
-306 314 0
307 -308 311 0
307 308 -311 0
-307 308 311 0
-307 -308 -311 0
308 -103 309 0
308 103 -309 0
-308 103 309 0
-308 -103 -309 0
-309 713 310 0
-309 725 310 0
309 -310 0
309 -713 -725 0
310 -135 -142 0
-310 135 0
-310 142 0
-311 312 113 -114 -313 0
-311 -312 -113 -114 -313 0
-311 312 113 114 313 0
-311 -312 -113 114 313 0
311 312 -113 0
311 -312 113 0
311 114 -313 0
311 -114 313 0
312 -717 -721 0
-312 717 0
-312 721 0
313 100 -105 0
313 -100 105 0
-313 -100 -105 0
-313 100 105 0
314 208 -290 0
314 -208 290 0
-314 -208 -290 0
-314 208 290 0
315 -316 352 0
315 -346 352 0
-315 -352 0
-315 316 346 0
316 -317 345 0
316 -321 345 0
-316 -345 0
-316 317 321 0
317 318 -320 0
-317 -318 0
-317 320 0
-318 725 190 319 0
-318 711 190 319 0
318 -319 0
318 -190 0
318 -711 -725 0
-319 716 194 196 0
-319 720 194 196 0
319 -196 0
319 -194 0
319 -716 -720 0
320 249 -288 0
320 -249 288 0
-320 -249 -288 0
-320 249 288 0
321 -322 344 0
321 -340 344 0
-321 -344 0
-321 322 340 0
322 -323 339 0
322 -333 339 0
-322 -339 0
-322 323 333 0
323 -324 332 0
323 -329 332 0
-323 -332 0
-323 324 329 0
324 -325 328 0
-324 325 0
-324 -328 0
325 326 -327 0
-325 -326 0
-325 327 0
-326 711 279 283 0
-326 721 279 283 0
326 -283 0
326 -279 0
326 -711 -721 0
327 282 -284 0
327 -282 284 0
-327 -282 -284 0
-327 282 284 0
328 -326 327 0
-328 326 0
-328 -327 0
329 330 -331 0
-329 -330 0
-329 331 0
-330 712 273 0
-330 721 273 0
330 -273 0
330 -712 -721 0
331 276 -285 0
331 -276 285 0
-331 -276 -285 0
-331 276 285 0
332 -330 331 0
-332 330 0
-332 -331 0
333 334 -338 0
-333 -334 0
-333 338 0
-334 240 335 336 0
-334 -240 335 -336 0
334 -335 0
334 -240 336 0
334 240 -336 0
-335 712 256 0
-335 722 256 0
335 -256 0
335 -712 -722 0
336 337 -243 0
336 -337 243 0
-336 -337 -243 0
-336 337 243 0
337 -714 -720 0
-337 714 0
-337 720 0
338 267 -286 0
338 -267 286 0
-338 -267 -286 0
-338 267 286 0
339 -334 338 0
-339 334 0
-339 -338 0
340 341 -343 0
-340 -341 0
-340 343 0
-341 215 218 225 342 0
341 -342 0
341 -225 0
341 -215 0
341 -218 0
-342 712 227 228 0
-342 723 227 228 0
342 -228 0
342 -227 0
342 -712 -723 0
343 260 -287 0
343 -260 287 0
-343 -260 -287 0
-343 260 287 0
344 -341 343 0
-344 341 0
-344 -343 0
345 -318 320 0
-345 318 0
-345 -320 0
346 347 -351 0
-346 -347 0
-346 351 0
-347 726 136 348 0
-347 711 136 348 0
347 -348 0
347 -136 0
347 -711 -726 0
-348 716 349 350 0
-348 721 349 350 0
348 -350 0
348 -349 0
348 -716 -721 0
-349 718 149 0
-349 719 149 0
349 -149 0
349 -718 -719 0
-350 -135 151 -142 0
-350 135 151 142 0
350 -151 0
350 -135 142 0
350 135 -142 0
351 232 -289 0
351 -232 289 0
-351 -232 -289 0
-351 232 289 0
352 -347 351 0
-352 347 0
-352 -351 0
353 -307 314 0
-353 307 0
-353 -314 0
354 355 -359 0
-354 -355 0
-354 359 0
-355 68 93 356 357 0
355 -357 0
355 -356 0
355 -68 0
355 -93 0
356 -308 -311 0
-356 308 0
-356 311 0
-357 -149 88 358 0
-357 -149 -88 -358 0
-357 74 88 358 0
-357 74 -88 -358 0
357 88 -358 0
357 -88 358 0
357 149 -74 0
-358 716 91 0
-358 723 91 0
358 -91 0
358 -716 -723 0
359 184 -291 0
359 -184 291 0
-359 -184 -291 0
-359 184 291 0
360 -355 359 0
-360 355 0
-360 -359 0
361 362 -369 0
-361 -362 0
-361 369 0
362 -363 366 0
362 363 -366 0
-362 363 366 0
-362 -363 -366 0
363 39 -364 0
363 -39 364 0
-363 -39 -364 0
-363 39 364 0
364 52 -365 0
364 -52 365 0
-364 -52 -365 0
-364 52 365 0
365 -88 -358 0
-365 88 0
-365 358 0
-366 -56 367 -368 0
-366 56 367 368 0
366 -367 0
366 -56 368 0
366 56 -368 0
367 -717 -721 -113 0
-367 717 0
-367 721 0
-367 113 0
-368 717 40 0
-368 723 40 0
368 -40 0
368 -717 -723 0
369 161 -292 0
369 -161 292 0
-369 -161 -292 0
-369 161 292 0
370 -362 369 0
-370 362 0
-370 -369 0
371 372 -381 0
-371 -372 0
-371 381 0
372 -373 378 0
372 373 -378 0
-372 373 378 0
-372 -373 -378 0
-373 26 374 375 377 0
-373 -26 374 -375 377 0
373 -377 0
373 26 -375 0
373 -374 0
373 -26 375 0
374 -363 -366 0
-374 363 0
-374 366 0
375 34 -376 0
375 -34 376 0
-375 -34 -376 0
-375 34 376 0
376 -56 -368 0
-376 56 0
-376 368 0
-377 717 27 0
-377 724 27 0
377 -27 0
377 -717 -724 0
-378 379 380 0
378 -379 0
378 -380 0
379 -52 -365 0
-379 52 0
-379 365 0
380 -39 -364 0
-380 39 0
-380 364 0
381 122 -293 0
381 -122 293 0
-381 -122 -293 0
-381 122 293 0
382 -372 381 0
-382 372 0
-382 -381 0
383 384 -391 0
-383 -384 0
-383 391 0
-384 385 -386 -388 0
-384 385 386 388 0
384 -385 0
384 -386 388 0
384 386 -388 0
385 -373 -378 0
-385 373 0
-385 378 0
386 -18 387 0
386 18 -387 0
-386 18 387 0
-386 -18 -387 0
-387 716 14 0
-387 726 14 0
387 -14 0
387 -716 -726 0
-388 389 390 0
388 -389 0
388 -390 0
389 -34 -376 0
-389 34 0
-389 376 0
390 -26 -375 0
-390 26 0
-390 375 0
391 82 -294 0
391 -82 294 0
-391 -82 -294 0
-391 82 294 0
392 -384 391 0
-392 384 0
-392 -391 0
393 394 -397 0
-393 -394 0
-393 397 0
-394 10 11 395 396 0
-394 -10 -11 395 396 0
394 -395 0
394 -10 11 0
394 -396 0
394 10 -11 0
395 -18 -387 0
-395 18 0
-395 387 0
396 -386 -388 0
-396 386 0
-396 388 0
397 46 -295 0
397 -46 295 0
-397 -46 -295 0
-397 46 295 0
398 -394 397 0
-398 394 0
-398 -397 0
399 400 -401 0
-399 -400 0
-399 401 0
400 -718 -726 14 0
-400 718 0
-400 726 0
-400 -14 0
401 21 -296 0
401 -21 296 0
-401 -21 -296 0
-401 21 296 0
402 -400 401 0
-402 400 0
-402 -401 0
403 9 -12 0
-403 -9 0
-403 12 0
404 -299 405 0
404 299 -405 0
-404 299 405 0
-404 -299 -405 0
-405 399 402 0
405 -399 0
405 -402 0
406 -407 -485 0
-406 407 0
-406 485 0
-407 408 413 0
407 -408 0
407 -413 0
408 -409 -411 0
-408 409 0
-408 411 0
409 -300 410 0
409 300 -410 0
-409 300 410 0
-409 -300 -410 0
-410 393 398 0
410 -393 0
410 -398 0
411 -298 412 0
411 298 -412 0
-411 298 412 0
-411 -298 -412 0
-412 8 403 0
412 -8 0
412 -403 0
413 -414 -484 0
-413 414 0
-413 484 0
-414 415 418 0
414 -415 0
414 -418 0
415 -404 -416 0
-415 404 0
-415 416 0
416 -301 417 0
416 301 -417 0
-416 301 417 0
-416 -301 -417 0
-417 383 392 0
417 -383 0
417 -392 0
418 -419 -483 0
-418 419 0
-418 483 0
-419 420 423 0
419 -420 0
419 -423 0
420 -409 -421 0
-420 409 0
-420 421 0
421 -302 422 0
421 302 -422 0
-421 302 422 0
-421 -302 -422 0
-422 371 382 0
422 -371 0
422 -382 0
423 -424 -482 0
-423 424 0
-423 482 0
-424 425 428 0
424 -425 0
424 -428 0
425 -416 -426 0
-425 416 0
-425 426 0
426 -304 427 0
426 304 -427 0
-426 304 427 0
-426 -304 -427 0
-427 361 370 0
427 -361 0
427 -370 0
428 -429 -481 0
-428 429 0
-428 481 0
-429 430 433 0
429 -430 0
429 -433 0
430 -421 -431 0
-430 421 0
-430 431 0
431 -305 432 0
431 305 -432 0
-431 305 432 0
-431 -305 -432 0
-432 354 360 0
432 -354 0
432 -360 0
433 -434 -480 0
-433 434 0
-433 480 0
-434 435 438 0
434 -435 0
434 -438 0
435 -426 -436 0
-435 426 0
-435 436 0
436 -315 437 0
436 315 -437 0
-436 315 437 0
-436 -315 -437 0
-437 306 353 0
437 -306 0
437 -353 0
438 -439 -479 0
-438 439 0
-438 479 0
-439 440 443 0
439 -440 0
439 -443 0
440 -431 -441 0
-440 431 0
-440 441 0
441 -316 442 0
441 316 -442 0
-441 316 442 0
-441 -316 -442 0
-442 346 352 0
442 -346 0
442 -352 0
443 -444 -478 0
-443 444 0
-443 478 0
-444 445 448 0
444 -445 0
444 -448 0
445 -436 -446 0
-445 436 0
-445 446 0
446 -321 447 0
446 321 -447 0
-446 321 447 0
-446 -321 -447 0
-447 317 345 0
447 -317 0
447 -345 0
448 -449 -477 0
-448 449 0
-448 477 0
-449 450 453 0
449 -450 0
449 -453 0
450 -441 -451 0
-450 441 0
-450 451 0
451 -322 452 0
451 322 -452 0
-451 322 452 0
-451 -322 -452 0
-452 340 344 0
452 -340 0
452 -344 0
453 -454 -476 0
-453 454 0
-453 476 0
-454 455 458 0
454 -455 0
454 -458 0
455 -446 -456 0
-455 446 0
-455 456 0
456 -323 457 0
456 323 -457 0
-456 323 457 0
-456 -323 -457 0
-457 333 339 0
457 -333 0
457 -339 0
458 -459 -475 0
-458 459 0
-458 475 0
-459 460 463 0
459 -460 0
459 -463 0
460 -451 -461 0
-460 451 0
-460 461 0
461 -324 462 0
461 324 -462 0
-461 324 462 0
-461 -324 -462 0
-462 329 332 0
462 -329 0
462 -332 0
463 -464 -474 0
-463 464 0
-463 474 0
-464 465 469 0
464 -465 0
464 -469 0
465 -456 -466 0
-465 456 0
-465 466 0
466 -467 0
-466 467 0
-467 468 0
467 -468 0
-468 325 328 0
468 -325 0
468 -328 0
469 -470 -473 0
-469 470 0
-469 473 0
470 -461 -471 0
-470 461 0
-470 471 0
-471 472 0
471 -472 0
472 -711 -712 -719 -720 0
-472 720 0
-472 711 0
-472 719 0
-472 712 0
473 456 -466 0
473 -456 466 0
-473 -456 -466 0
-473 456 466 0
474 451 -461 0
474 -451 461 0
-474 -451 -461 0
-474 451 461 0
475 446 -456 0
475 -446 456 0
-475 -446 -456 0
-475 446 456 0
476 441 -451 0
476 -441 451 0
-476 -441 -451 0
-476 441 451 0
477 436 -446 0
477 -436 446 0
-477 -436 -446 0
-477 436 446 0
478 431 -441 0
478 -431 441 0
-478 -431 -441 0
-478 431 441 0
479 426 -436 0
479 -426 436 0
-479 -426 -436 0
-479 426 436 0
480 421 -431 0
480 -421 431 0
-480 -421 -431 0
-480 421 431 0
481 416 -426 0
481 -416 426 0
-481 -416 -426 0
-481 416 426 0
482 409 -421 0
482 -409 421 0
-482 -409 -421 0
-482 409 421 0
483 404 -416 0
483 -404 416 0
-483 -404 -416 0
-483 404 416 0
484 409 -411 0
484 -409 411 0
-484 -409 -411 0
-484 409 411 0
485 7 -404 0
485 -7 404 0
-485 -7 -404 0
-485 7 404 0
486 -298 -403 0
486 -8 298 0
-486 -298 403 0
-486 8 298 0
-487 488 489 0
487 -488 0
487 -489 0
488 -13 -21 0
-488 13 0
-488 21 0
489 -12 -490 0
-489 12 0
-489 490 0
490 -491 -543 0
-490 491 0
-490 543 0
-491 492 493 0
491 -492 0
491 -493 0
492 -397 -401 0
-492 397 0
-492 401 0
493 -494 -542 0
-493 494 0
-493 542 0
-494 495 496 0
494 -495 0
494 -496 0
495 -391 -397 0
-495 391 0
-495 397 0
496 -497 -541 0
-496 497 0
-496 541 0
-497 498 499 0
497 -498 0
497 -499 0
498 -381 -391 0
-498 381 0
-498 391 0
499 -500 -540 0
-499 500 0
-499 540 0
-500 501 502 0
500 -501 0
500 -502 0
501 -369 -381 0
-501 369 0
-501 381 0
502 -503 -539 0
-502 503 0
-502 539 0
-503 504 505 0
503 -504 0
503 -505 0
504 -359 -369 0
-504 359 0
-504 369 0
505 -506 -538 0
-505 506 0
-505 538 0
-506 507 508 0
506 -507 0
506 -508 0
507 -314 -359 0
-507 314 0
-507 359 0
508 -509 -537 0
-508 509 0
-508 537 0
-509 510 511 0
509 -510 0
509 -511 0
510 -314 -351 0
-510 314 0
-510 351 0
511 -512 -536 0
-511 512 0
-511 536 0
-512 513 514 0
512 -513 0
512 -514 0
513 -320 -351 0
-513 320 0
-513 351 0
514 -515 -535 0
-514 515 0
-514 535 0
-515 516 517 0
515 -516 0
515 -517 0
516 -320 -343 0
-516 320 0
-516 343 0
517 -518 -534 0
-517 518 0
-517 534 0
-518 519 520 0
518 -519 0
518 -520 0
519 -338 -343 0
-519 338 0
-519 343 0
520 -521 -533 0
-520 521 0
-520 533 0
-521 522 523 0
521 -522 0
521 -523 0
522 -331 -338 0
-522 331 0
-522 338 0
523 -524 -532 0
-523 524 0
-523 532 0
-524 525 526 0
524 -525 0
524 -526 0
525 -327 -331 0
-525 327 0
-525 331 0
526 -527 -528 0
-526 527 0
-526 528 0
527 327 -331 0
527 -327 331 0
-527 -327 -331 0
-527 327 331 0
528 -282 -529 0
528 -711 -719 -529 0
-528 529 0
-528 711 282 0
-528 719 282 0
529 284 -530 0
-529 -284 0
-529 530 0
-530 712 531 0
-530 719 531 0
530 -531 0
530 -712 -719 0
531 -711 -720 0
-531 711 0
-531 720 0
532 331 -338 0
532 -331 338 0
-532 -331 -338 0
-532 331 338 0
533 338 -343 0
533 -338 343 0
-533 -338 -343 0
-533 338 343 0
534 320 -343 0
534 -320 343 0
-534 -320 -343 0
-534 320 343 0
535 320 -351 0
535 -320 351 0
-535 -320 -351 0
-535 320 351 0
536 314 -351 0
536 -314 351 0
-536 -314 -351 0
-536 314 351 0
537 314 -359 0
537 -314 359 0
-537 -314 -359 0
-537 314 359 0
538 359 -369 0
538 -359 369 0
-538 -359 -369 0
-538 359 369 0
539 369 -381 0
539 -369 381 0
-539 -369 -381 0
-539 369 381 0
540 381 -391 0
540 -381 391 0
-540 -381 -391 0
-540 381 391 0
541 391 -397 0
541 -391 397 0
-541 -391 -397 0
-541 391 397 0
542 397 -401 0
542 -397 401 0
-542 -397 -401 0
-542 397 401 0
543 21 -297 0
543 13 -21 0
-543 21 297 0
-543 -13 -21 0
544 487 -545 0
544 -5 486 -545 0
544 5 -486 -545 0
-544 545 0
-544 -5 -486 -487 0
-544 5 486 -487 0
-545 547 548 0
-545 487 -546 548 0
-545 487 -546 547 0
545 -487 -548 0
545 -547 -548 0
545 -487 -547 0
545 546 -547 0
545 546 -548 0
-546 12 490 0
546 -12 0
546 -490 0
547 407 -485 0
547 -407 485 0
-547 -407 -485 0
-547 407 485 0
548 -549 -551 0
548 -549 550 0
548 550 -551 0
-548 -550 551 0
-548 549 551 0
-548 549 -550 0
549 414 -484 0
549 -414 484 0
-549 -414 -484 0
-549 414 484 0
550 491 -543 0
550 -491 543 0
-550 -491 -543 0
-550 491 543 0
551 -552 -554 0
551 -552 553 0
551 553 -554 0
-551 -553 554 0
-551 552 554 0
-551 552 -553 0
552 419 -483 0
552 -419 483 0
-552 -419 -483 0
-552 419 483 0
553 494 -542 0
553 -494 542 0
-553 -494 -542 0
-553 494 542 0
554 -555 -557 0
554 -555 556 0
554 556 -557 0
-554 -556 557 0
-554 555 557 0
-554 555 -556 0
555 424 -482 0
555 -424 482 0
-555 -424 -482 0
-555 424 482 0
556 497 -541 0
556 -497 541 0
-556 -497 -541 0
-556 497 541 0
557 -558 -560 0
557 -558 559 0
557 559 -560 0
-557 -559 560 0
-557 558 560 0
-557 558 -559 0
558 429 -481 0
558 -429 481 0
-558 -429 -481 0
-558 429 481 0
559 500 -540 0
559 -500 540 0
-559 -500 -540 0
-559 500 540 0
560 -561 -563 0
560 -561 562 0
560 562 -563 0
-560 -562 563 0
-560 561 563 0
-560 561 -562 0
561 434 -480 0
561 -434 480 0
-561 -434 -480 0
-561 434 480 0
562 503 -539 0
562 -503 539 0
-562 -503 -539 0
-562 503 539 0
563 -564 -566 0
563 -564 565 0
563 565 -566 0
-563 -565 566 0
-563 564 566 0
-563 564 -565 0
564 439 -479 0
564 -439 479 0
-564 -439 -479 0
-564 439 479 0
565 506 -538 0
565 -506 538 0
-565 -506 -538 0
-565 506 538 0
566 -567 -569 0
566 -567 568 0
566 568 -569 0
-566 -568 569 0
-566 567 569 0
-566 567 -568 0
567 444 -478 0
567 -444 478 0
-567 -444 -478 0
-567 444 478 0
568 509 -537 0
568 -509 537 0
-568 -509 -537 0
-568 509 537 0
569 -570 -572 0
569 -570 571 0
569 571 -572 0
-569 -571 572 0
-569 570 572 0
-569 570 -571 0
570 449 -477 0
570 -449 477 0
-570 -449 -477 0
-570 449 477 0
571 512 -536 0
571 -512 536 0
-571 -512 -536 0
-571 512 536 0
572 -573 -575 0
572 -573 574 0
572 574 -575 0
-572 -574 575 0
-572 573 575 0
-572 573 -574 0
573 454 -476 0
573 -454 476 0
-573 -454 -476 0
-573 454 476 0
574 515 -535 0
574 -515 535 0
-574 -515 -535 0
-574 515 535 0
575 -576 589 0
575 -459 475 589 0
575 459 -475 589 0
575 459 -475 -576 0
575 -459 475 -576 0
-575 576 -589 0
-575 -459 -475 576 0
-575 -459 -475 -589 0
-575 459 475 576 0
-575 459 475 -589 0
-576 -577 578 0
-576 -464 -474 -577 0
-576 464 474 -577 0
-576 464 474 578 0
-576 -464 -474 578 0
576 577 -578 0
576 464 -474 -578 0
576 464 -474 577 0
576 -464 474 -578 0
576 -464 474 577 0
577 521 -533 0
577 -521 533 0
-577 -521 -533 0
-577 521 533 0
578 -579 -580 0
578 -580 588 0
578 -579 588 0
-578 580 -588 0
-578 579 580 0
-578 579 -588 0
579 470 -473 0
579 -470 473 0
-579 -470 -473 0
-579 470 473 0
580 -581 -582 0
580 -582 587 0
580 -581 587 0
-580 582 -587 0
-580 581 582 0
-580 581 -587 0
581 -461 471 0
581 461 -471 0
-581 461 471 0
-581 -461 -471 0
582 -466 -583 0
582 -583 585 0
582 -466 585 0
-582 466 -585 0
-582 583 -585 0
-582 466 583 0
583 -471 584 0
-583 471 0
-583 -584 0
584 711 -530 0
584 719 -530 0
584 -711 -719 529 0
-584 711 530 0
-584 -711 -719 -529 0
-584 719 530 0
-585 327 529 0
-585 -282 -529 586 0
-585 282 -529 -586 0
585 -327 529 0
585 -282 -529 -586 0
585 282 -529 586 0
586 -711 -719 0
-586 711 0
-586 719 0
587 527 -528 0
587 -527 528 0
-587 -527 -528 0
-587 527 528 0
588 524 -532 0
588 -524 532 0
-588 -524 -532 0
-588 524 532 0
589 518 -534 0
589 -518 534 0
-589 -518 -534 0
-589 518 534 0
-590 7 591 0
590 -7 0
590 -591 0
591 -5 -486 0
-591 5 0
-591 486 0
-592 8 -403 0
-592 8 593 0
592 -8 0
592 403 -593 0
-593 -399 402 0
-593 402 594 0
593 -402 0
593 399 -594 0
-594 -393 398 0
-594 398 595 0
594 -398 0
594 393 -595 0
-595 -383 392 0
-595 392 596 0
595 -392 0
595 383 -596 0
-596 382 597 0
596 -382 0
596 -597 0
597 371 -598 0
-597 -371 0
-597 598 0
-598 370 599 0
598 -370 0
598 -599 0
599 361 -600 0
-599 -361 0
-599 600 0
-600 -354 360 0
-600 360 601 0
600 -360 0
600 354 -601 0
-601 353 602 0
601 -353 0
601 -602 0
602 306 -603 0
-602 -306 0
-602 603 0
-603 -346 352 0
-603 352 604 0
603 -352 0
603 346 -604 0
-604 -317 345 0
-604 345 605 0
604 -345 0
604 317 -605 0
-605 -340 344 0
-605 344 606 0
605 -344 0
605 340 -606 0
-606 -333 339 0
-606 339 607 0
606 -339 0
606 333 -607 0
-607 -329 332 0
-607 332 608 0
607 -332 0
607 329 -608 0
-608 -325 328 0
-608 472 328 0
608 -328 0
608 325 -472 0
-609 -487 610 707 0
-609 610 700 707 0
609 -707 0
609 -610 0
609 487 -700 0
610 553 -667 693 0
610 -611 -667 693 0
-610 -693 0
-610 667 0
-610 -553 611 0
611 -612 615 0
611 612 -615 0
-611 612 615 0
-611 -612 -615 0
612 -613 614 0
612 613 -614 0
-612 613 614 0
-612 -613 -614 0
-613 417 596 0
-613 -417 -596 0
613 -417 596 0
613 417 -596 0
-614 405 594 0
-614 -405 -594 0
614 -405 594 0
614 405 -594 0
-615 616 619 0
615 -616 0
615 -619 0
616 -617 -618 0
-616 617 0
-616 618 0
-617 422 598 0
-617 -422 -598 0
617 -422 598 0
617 422 -598 0
-618 410 595 0
-618 -410 -595 0
618 -410 595 0
618 410 -595 0
619 -620 -621 0
-619 620 0
-619 621 0
620 -617 618 0
620 617 -618 0
-620 617 618 0
-620 -617 -618 0
-621 622 624 0
621 -622 0
621 -624 0
622 -623 -613 0
-622 623 0
-622 613 0
-623 427 600 0
-623 -427 -600 0
623 -427 600 0
623 427 -600 0
624 -625 -626 0
-624 625 0
-624 626 0
625 -623 613 0
625 623 -613 0
-625 623 613 0
-625 -623 -613 0
-626 627 629 0
626 -627 0
626 -629 0
627 -617 -628 0
-627 617 0
-627 628 0
-628 432 601 0
-628 -432 -601 0
628 -432 601 0
628 432 -601 0
629 -630 -666 0
-629 630 0
-629 666 0
-630 631 633 0
630 -631 0
630 -633 0
631 -623 -632 0
-631 623 0
-631 632 0
-632 437 603 0
-632 -437 -603 0
632 -437 603 0
632 437 -603 0
633 -634 -665 0
-633 634 0
-633 665 0
-634 635 637 0
634 -635 0
634 -637 0
635 -628 -636 0
-635 628 0
-635 636 0
-636 442 604 0
-636 -442 -604 0
636 -442 604 0
636 442 -604 0
637 -638 -664 0
-637 638 0
-637 664 0
-638 639 641 0
638 -639 0
638 -641 0
639 -632 -640 0
-639 632 0
-639 640 0
-640 447 605 0
-640 -447 -605 0
640 -447 605 0
640 447 -605 0
641 -642 -663 0
-641 642 0
-641 663 0
-642 643 645 0
642 -643 0
642 -645 0
643 -636 -644 0
-643 636 0
-643 644 0
-644 452 606 0
-644 -452 -606 0
644 -452 606 0
644 452 -606 0
645 -646 -662 0
-645 646 0
-645 662 0
-646 647 649 0
646 -647 0
646 -649 0
647 -640 -648 0
-647 640 0
-647 648 0
-648 457 607 0
-648 -457 -607 0
648 -457 607 0
648 457 -607 0
649 -650 -661 0
-649 650 0
-649 661 0
-650 651 653 0
650 -651 0
650 -653 0
651 -644 -652 0
-651 644 0
-651 652 0
-652 462 608 0
-652 -462 -608 0
652 -462 608 0
652 462 -608 0
653 -654 -660 0
-653 654 0
-653 660 0
-654 655 657 0
654 -655 0
654 -657 0
655 -648 -656 0
-655 648 0
-655 656 0
-656 472 468 0
-656 -472 -468 0
656 -472 468 0
656 472 -468 0
657 -658 -659 0
-657 658 0
-657 659 0
658 -471 -652 0
-658 471 0
-658 652 0
659 -648 656 0
659 648 -656 0
-659 648 656 0
-659 -648 -656 0
660 -644 652 0
660 644 -652 0
-660 644 652 0
-660 -644 -652 0
661 -640 648 0
661 640 -648 0
-661 640 648 0
-661 -640 -648 0
662 -636 644 0
662 636 -644 0
-662 636 644 0
-662 -636 -644 0
663 -632 640 0
663 632 -640 0
-663 632 640 0
-663 -632 -640 0
664 -628 636 0
664 628 -636 0
-664 628 636 0
-664 -628 -636 0
665 -623 632 0
665 623 -632 0
-665 623 632 0
-665 -623 -632 0
666 -617 628 0
666 617 -628 0
-666 617 628 0
-666 -617 -628 0
-667 -553 668 692 0
-667 668 611 692 0
667 -692 0
667 -668 0
667 553 -611 0
668 559 -669 690 0
668 -669 -670 690 0
668 559 -670 690 0
-668 669 670 0
-668 -559 669 0
-668 -690 0
-668 -559 670 0
669 -625 626 0
669 625 -626 0
-669 625 626 0
-669 -625 -626 0
670 562 -671 0
670 -671 -672 0
670 562 -672 0
-670 671 672 0
-670 -562 671 0
-670 -562 672 0
671 630 -666 0
671 -630 666 0
-671 -630 -666 0
-671 630 666 0
672 -673 -674 0
672 565 -674 0
-672 674 0
-672 -565 673 0
673 634 -665 0
673 -634 665 0
-673 -634 -665 0
-673 634 665 0
-674 -568 675 689 0
-674 -568 676 689 0
-674 675 676 689 0
674 -675 -676 0
674 568 -676 0
674 -689 0
674 568 -675 0
675 638 -664 0
675 -638 664 0
-675 -638 -664 0
-675 638 664 0
-676 -571 678 0
-676 -571 677 0
-676 677 678 0
676 -677 -678 0
676 571 -678 0
676 571 -677 0
677 642 -663 0
677 -642 663 0
-677 -642 -663 0
-677 642 663 0
-678 -574 679 0
-678 679 688 0
-678 -574 688 0
678 -679 -688 0
678 574 -679 0
678 574 -688 0
-679 -589 681 0
-679 -589 680 0
-679 680 681 0
679 -680 -681 0
679 589 -681 0
679 589 -680 0
680 650 -661 0
680 -650 661 0
-680 -650 -661 0
-680 650 661 0
-681 -577 682 0
-681 682 687 0
-681 -577 687 0
681 -682 -687 0
681 577 -682 0
681 577 -687 0
-682 -588 684 0
-682 -588 683 0
-682 683 684 0
682 -683 -684 0
682 588 -684 0
682 588 -683 0
683 658 -659 0
683 -658 659 0
-683 -658 -659 0
-683 658 659 0
-684 -587 686 0
-684 -587 685 0
-684 685 686 0
684 -685 -686 0
684 587 -686 0
684 587 -685 0
685 -471 652 0
685 471 -652 0
-685 471 652 0
-685 -471 -652 0
-686 -585 656 0
-686 583 -585 0
-686 583 656 0
686 -583 585 0
686 585 -656 0
686 -583 -656 0
687 654 -660 0
687 -654 660 0
-687 -654 -660 0
-687 654 660 0
688 646 -662 0
688 -646 662 0
-688 -646 -662 0
-688 646 662 0
689 565 -673 0
-689 -565 0
-689 673 0
690 -556 691 0
-690 556 0
-690 -691 0
691 -620 621 0
691 620 -621 0
-691 620 621 0
-691 -620 -621 0
692 556 -691 0
-692 -556 0
-692 691 0
693 -550 694 0
-693 550 0
-693 -694 0
694 -695 697 0
694 695 -697 0
-694 695 697 0
-694 -695 -697 0
695 -618 696 0
695 618 -696 0
-695 618 696 0
-695 -618 -696 0
-696 412 593 0
-696 -412 -593 0
696 -412 593 0
696 412 -593 0
-697 698 699 0
697 -698 0
697 -699 0
698 -613 -614 0
-698 613 0
-698 614 0
699 -612 -615 0
-699 612 0
-699 615 0
-700 701 706 0
700 -701 0
700 -706 0
701 -702 -705 0
-701 702 0
-701 705 0
-702 703 704 0
702 -703 0
702 -704 0
703 -618 -696 0
-703 618 0
-703 696 0
704 -695 -697 0
-704 695 0
-704 697 0
705 -592 614 0
705 592 -614 0
-705 592 614 0
-705 -592 -614 0
706 -403 593 0
706 -8 -593 0
-706 8 -593 0
-706 403 593 0
-707 708 709 0
-707 -546 706 708 0
707 -708 0
707 546 -709 0
707 -706 -709 0
708 550 -694 0
-708 -550 0
-708 694 0
-709 702 705 0
709 -702 0
709 -705 0
710 -487 700 0
710 -546 700 709 0
-710 -700 0
-710 487 -709 0
-710 487 546 0
-727 0
2 0