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