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