bench20.cnf

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