bench1.cnf

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