c 1 = x@0 c 2 = x@1 c 3 = x@2 c 4 = x@3 c 5 = x@4 c 6 = x@5 c 7 = x@6 c 8 = x@7 c 9 = x@9 c 10 = x@8 c 11 = y@0 c 12 = y@1 c 13 = y@2 c 14 = y@3 c 15 = y@4 c 16 = y@5 c 17 = y@6 c 18 = y@7 c 19 = y@9 c 20 = y@8 p cnf 989 2908 -21 -9 0 -21 -10 0 9 10 21 0 -22 -8 0 -22 21 0 8 -21 22 0 -23 -7 0 -23 22 0 7 -22 23 0 -24 -6 0 -24 23 0 6 -23 24 0 -25 -5 0 -25 24 0 5 -24 25 0 -26 -4 0 -26 25 0 4 -25 26 0 -27 -3 0 -27 26 0 3 -26 27 0 -28 -2 0 -28 27 0 2 -27 28 0 -29 1 0 -29 28 0 -1 -28 29 0 -30 -19 0 -30 -20 0 19 20 30 0 -31 -18 0 -31 30 0 18 -30 31 0 -32 -17 0 -32 31 0 17 -31 32 0 -33 -16 0 -33 32 0 16 -32 33 0 -34 -15 0 -34 33 0 15 -33 34 0 -35 -14 0 -35 34 0 14 -34 35 0 -36 -13 0 -36 35 0 13 -35 36 0 -37 -12 0 -37 36 0 12 -36 37 0 -38 11 0 -38 37 0 -11 -37 38 0 -39 -29 0 -39 -38 0 29 38 39 0 -40 1 0 -40 11 0 -1 -11 40 0 -41 1 0 -41 12 0 -1 -12 41 0 -42 2 0 -42 11 0 -2 -11 42 0 -43 41 0 -43 42 0 -41 -42 43 0 -44 -41 0 -44 -42 0 41 42 44 0 -45 -43 0 -45 -44 0 43 44 45 0 -46 3 0 -46 11 0 -3 -11 46 0 -47 1 0 -47 13 0 -1 -13 47 0 -48 2 0 -48 12 0 -2 -12 48 0 -49 48 0 -49 -43 0 -48 43 49 0 -50 -48 0 -50 43 0 48 -43 50 0 -51 -49 0 -51 -50 0 49 50 51 0 -52 47 0 -52 -51 0 -47 51 52 0 -53 -47 0 -53 51 0 47 -51 53 0 -54 -52 0 -54 -53 0 52 53 54 0 -55 46 0 -55 54 0 -46 -54 55 0 -56 -46 0 -56 -54 0 46 54 56 0 -57 -55 0 -57 -56 0 55 56 57 0 -58 4 0 -58 11 0 -4 -11 58 0 -59 1 0 -59 14 0 -1 -14 59 0 -60 2 0 -60 13 0 -2 -13 60 0 -61 -47 0 -61 -48 0 47 48 61 0 -62 43 0 -62 -61 0 -43 61 62 0 -63 47 0 -63 48 0 -47 -48 63 0 -64 -62 0 -64 -63 0 62 63 64 0 -65 60 0 -65 64 0 -60 -64 65 0 -66 -60 0 -66 -64 0 60 64 66 0 -67 -65 0 -67 -66 0 65 66 67 0 -68 59 0 -68 -67 0 -59 67 68 0 -69 -59 0 -69 67 0 59 -67 69 0 -70 -68 0 -70 -69 0 68 69 70 0 -71 3 0 -71 12 0 -3 -12 71 0 -72 71 0 -72 -55 0 -71 55 72 0 -73 -71 0 -73 55 0 71 -55 73 0 -74 -72 0 -74 -73 0 72 73 74 0 -75 70 0 -75 -74 0 -70 74 75 0 -76 -70 0 -76 74 0 70 -74 76 0 -77 -75 0 -77 -76 0 75 76 77 0 -78 58 0 -78 77 0 -58 -77 78 0 -79 -58 0 -79 -77 0 58 77 79 0 -80 -78 0 -80 -79 0 78 79 80 0 -81 5 0 -81 11 0 -5 -11 81 0 -82 1 0 -82 15 0 -1 -15 82 0 -83 2 0 -83 14 0 -2 -14 83 0 -84 -59 0 -84 -60 0 59 60 84 0 -85 -64 0 -85 -84 0 64 84 85 0 -86 59 0 -86 60 0 -59 -60 86 0 -87 -85 0 -87 -86 0 85 86 87 0 -88 83 0 -88 87 0 -83 -87 88 0 -89 -83 0 -89 -87 0 83 87 89 0 -90 -88 0 -90 -89 0 88 89 90 0 -91 82 0 -91 -90 0 -82 90 91 0 -92 -82 0 -92 90 0 82 -90 92 0 -93 -91 0 -93 -92 0 91 92 93 0 -94 3 0 -94 13 0 -3 -13 94 0 -95 -71 0 -95 -70 0 71 70 95 0 -96 55 0 -96 -95 0 -55 95 96 0 -97 71 0 -97 70 0 -71 -70 97 0 -98 -96 0 -98 -97 0 96 97 98 0 -99 94 0 -99 98 0 -94 -98 99 0 -100 -94 0 -100 -98 0 94 98 100 0 -101 -99 0 -101 -100 0 99 100 101 0 -102 93 0 -102 -101 0 -93 101 102 0 -103 -93 0 -103 101 0 93 -101 103 0 -104 -102 0 -104 -103 0 102 103 104 0 -105 4 0 -105 12 0 -4 -12 105 0 -106 105 0 -106 -78 0 -105 78 106 0 -107 -105 0 -107 78 0 105 -78 107 0 -108 -106 0 -108 -107 0 106 107 108 0 -109 104 0 -109 -108 0 -104 108 109 0 -110 -104 0 -110 108 0 104 -108 110 0 -111 -109 0 -111 -110 0 109 110 111 0 -112 81 0 -112 111 0 -81 -111 112 0 -113 -81 0 -113 -111 0 81 111 113 0 -114 -112 0 -114 -113 0 112 113 114 0 -115 6 0 -115 11 0 -6 -11 115 0 -116 1 0 -116 16 0 -1 -16 116 0 -117 2 0 -117 15 0 -2 -15 117 0 -118 -82 0 -118 -83 0 82 83 118 0 -119 -87 0 -119 -118 0 87 118 119 0 -120 82 0 -120 83 0 -82 -83 120 0 -121 -119 0 -121 -120 0 119 120 121 0 -122 117 0 -122 121 0 -117 -121 122 0 -123 -117 0 -123 -121 0 117 121 123 0 -124 -122 0 -124 -123 0 122 123 124 0 -125 116 0 -125 -124 0 -116 124 125 0 -126 -116 0 -126 124 0 116 -124 126 0 -127 -125 0 -127 -126 0 125 126 127 0 -128 3 0 -128 14 0 -3 -14 128 0 -129 -94 0 -129 -93 0 94 93 129 0 -130 -98 0 -130 -129 0 98 129 130 0 -131 94 0 -131 93 0 -94 -93 131 0 -132 -130 0 -132 -131 0 130 131 132 0 -133 128 0 -133 132 0 -128 -132 133 0 -134 -128 0 -134 -132 0 128 132 134 0 -135 -133 0 -135 -134 0 133 134 135 0 -136 127 0 -136 -135 0 -127 135 136 0 -137 -127 0 -137 135 0 127 -135 137 0 -138 -136 0 -138 -137 0 136 137 138 0 -139 4 0 -139 13 0 -4 -13 139 0 -140 -105 0 -140 -104 0 105 104 140 0 -141 78 0 -141 -140 0 -78 140 141 0 -142 105 0 -142 104 0 -105 -104 142 0 -143 -141 0 -143 -142 0 141 142 143 0 -144 139 0 -144 143 0 -139 -143 144 0 -145 -139 0 -145 -143 0 139 143 145 0 -146 -144 0 -146 -145 0 144 145 146 0 -147 138 0 -147 -146 0 -138 146 147 0 -148 -138 0 -148 146 0 138 -146 148 0 -149 -147 0 -149 -148 0 147 148 149 0 -150 5 0 -150 12 0 -5 -12 150 0 -151 150 0 -151 -112 0 -150 112 151 0 -152 -150 0 -152 112 0 150 -112 152 0 -153 -151 0 -153 -152 0 151 152 153 0 -154 149 0 -154 -153 0 -149 153 154 0 -155 -149 0 -155 153 0 149 -153 155 0 -156 -154 0 -156 -155 0 154 155 156 0 -157 115 0 -157 156 0 -115 -156 157 0 -158 -115 0 -158 -156 0 115 156 158 0 -159 -157 0 -159 -158 0 157 158 159 0 -160 7 0 -160 11 0 -7 -11 160 0 -161 1 0 -161 17 0 -1 -17 161 0 -162 2 0 -162 16 0 -2 -16 162 0 -163 -116 0 -163 -117 0 116 117 163 0 -164 -121 0 -164 -163 0 121 163 164 0 -165 116 0 -165 117 0 -116 -117 165 0 -166 -164 0 -166 -165 0 164 165 166 0 -167 162 0 -167 166 0 -162 -166 167 0 -168 -162 0 -168 -166 0 162 166 168 0 -169 -167 0 -169 -168 0 167 168 169 0 -170 161 0 -170 -169 0 -161 169 170 0 -171 -161 0 -171 169 0 161 -169 171 0 -172 -170 0 -172 -171 0 170 171 172 0 -173 3 0 -173 15 0 -3 -15 173 0 -174 -128 0 -174 -127 0 128 127 174 0 -175 -132 0 -175 -174 0 132 174 175 0 -176 128 0 -176 127 0 -128 -127 176 0 -177 -175 0 -177 -176 0 175 176 177 0 -178 173 0 -178 177 0 -173 -177 178 0 -179 -173 0 -179 -177 0 173 177 179 0 -180 -178 0 -180 -179 0 178 179 180 0 -181 172 0 -181 -180 0 -172 180 181 0 -182 -172 0 -182 180 0 172 -180 182 0 -183 -181 0 -183 -182 0 181 182 183 0 -184 4 0 -184 14 0 -4 -14 184 0 -185 -139 0 -185 -138 0 139 138 185 0 -186 -143 0 -186 -185 0 143 185 186 0 -187 139 0 -187 138 0 -139 -138 187 0 -188 -186 0 -188 -187 0 186 187 188 0 -189 184 0 -189 188 0 -184 -188 189 0 -190 -184 0 -190 -188 0 184 188 190 0 -191 -189 0 -191 -190 0 189 190 191 0 -192 183 0 -192 -191 0 -183 191 192 0 -193 -183 0 -193 191 0 183 -191 193 0 -194 -192 0 -194 -193 0 192 193 194 0 -195 5 0 -195 13 0 -5 -13 195 0 -196 -150 0 -196 -149 0 150 149 196 0 -197 112 0 -197 -196 0 -112 196 197 0 -198 150 0 -198 149 0 -150 -149 198 0 -199 -197 0 -199 -198 0 197 198 199 0 -200 195 0 -200 199 0 -195 -199 200 0 -201 -195 0 -201 -199 0 195 199 201 0 -202 -200 0 -202 -201 0 200 201 202 0 -203 194 0 -203 -202 0 -194 202 203 0 -204 -194 0 -204 202 0 194 -202 204 0 -205 -203 0 -205 -204 0 203 204 205 0 -206 6 0 -206 12 0 -6 -12 206 0 -207 206 0 -207 -157 0 -206 157 207 0 -208 -206 0 -208 157 0 206 -157 208 0 -209 -207 0 -209 -208 0 207 208 209 0 -210 205 0 -210 -209 0 -205 209 210 0 -211 -205 0 -211 209 0 205 -209 211 0 -212 -210 0 -212 -211 0 210 211 212 0 -213 160 0 -213 212 0 -160 -212 213 0 -214 -160 0 -214 -212 0 160 212 214 0 -215 -213 0 -215 -214 0 213 214 215 0 -216 8 0 -216 11 0 -8 -11 216 0 -217 1 0 -217 18 0 -1 -18 217 0 -218 2 0 -218 17 0 -2 -17 218 0 -219 -161 0 -219 -162 0 161 162 219 0 -220 -166 0 -220 -219 0 166 219 220 0 -221 161 0 -221 162 0 -161 -162 221 0 -222 -220 0 -222 -221 0 220 221 222 0 -223 218 0 -223 222 0 -218 -222 223 0 -224 -218 0 -224 -222 0 218 222 224 0 -225 -223 0 -225 -224 0 223 224 225 0 -226 217 0 -226 -225 0 -217 225 226 0 -227 -217 0 -227 225 0 217 -225 227 0 -228 -226 0 -228 -227 0 226 227 228 0 -229 3 0 -229 16 0 -3 -16 229 0 -230 -173 0 -230 -172 0 173 172 230 0 -231 -177 0 -231 -230 0 177 230 231 0 -232 173 0 -232 172 0 -173 -172 232 0 -233 -231 0 -233 -232 0 231 232 233 0 -234 229 0 -234 233 0 -229 -233 234 0 -235 -229 0 -235 -233 0 229 233 235 0 -236 -234 0 -236 -235 0 234 235 236 0 -237 228 0 -237 -236 0 -228 236 237 0 -238 -228 0 -238 236 0 228 -236 238 0 -239 -237 0 -239 -238 0 237 238 239 0 -240 4 0 -240 15 0 -4 -15 240 0 -241 -184 0 -241 -183 0 184 183 241 0 -242 -188 0 -242 -241 0 188 241 242 0 -243 184 0 -243 183 0 -184 -183 243 0 -244 -242 0 -244 -243 0 242 243 244 0 -245 240 0 -245 244 0 -240 -244 245 0 -246 -240 0 -246 -244 0 240 244 246 0 -247 -245 0 -247 -246 0 245 246 247 0 -248 239 0 -248 -247 0 -239 247 248 0 -249 -239 0 -249 247 0 239 -247 249 0 -250 -248 0 -250 -249 0 248 249 250 0 -251 5 0 -251 14 0 -5 -14 251 0 -252 -195 0 -252 -194 0 195 194 252 0 -253 -199 0 -253 -252 0 199 252 253 0 -254 195 0 -254 194 0 -195 -194 254 0 -255 -253 0 -255 -254 0 253 254 255 0 -256 251 0 -256 255 0 -251 -255 256 0 -257 -251 0 -257 -255 0 251 255 257 0 -258 -256 0 -258 -257 0 256 257 258 0 -259 250 0 -259 -258 0 -250 258 259 0 -260 -250 0 -260 258 0 250 -258 260 0 -261 -259 0 -261 -260 0 259 260 261 0 -262 6 0 -262 13 0 -6 -13 262 0 -263 -206 0 -263 -205 0 206 205 263 0 -264 157 0 -264 -263 0 -157 263 264 0 -265 206 0 -265 205 0 -206 -205 265 0 -266 -264 0 -266 -265 0 264 265 266 0 -267 262 0 -267 266 0 -262 -266 267 0 -268 -262 0 -268 -266 0 262 266 268 0 -269 -267 0 -269 -268 0 267 268 269 0 -270 261 0 -270 -269 0 -261 269 270 0 -271 -261 0 -271 269 0 261 -269 271 0 -272 -270 0 -272 -271 0 270 271 272 0 -273 7 0 -273 12 0 -7 -12 273 0 -274 273 0 -274 -213 0 -273 213 274 0 -275 -273 0 -275 213 0 273 -213 275 0 -276 -274 0 -276 -275 0 274 275 276 0 -277 272 0 -277 -276 0 -272 276 277 0 -278 -272 0 -278 276 0 272 -276 278 0 -279 -277 0 -279 -278 0 277 278 279 0 -280 216 0 -280 279 0 -216 -279 280 0 -281 -216 0 -281 -279 0 216 279 281 0 -282 -280 0 -282 -281 0 280 281 282 0 -283 10 0 -283 11 0 -10 -11 283 0 -284 1 0 -284 20 0 -1 -20 284 0 -285 2 0 -285 18 0 -2 -18 285 0 -286 -217 0 -286 -218 0 217 218 286 0 -287 -222 0 -287 -286 0 222 286 287 0 -288 217 0 -288 218 0 -217 -218 288 0 -289 -287 0 -289 -288 0 287 288 289 0 -290 285 0 -290 289 0 -285 -289 290 0 -291 -285 0 -291 -289 0 285 289 291 0 -292 -290 0 -292 -291 0 290 291 292 0 -293 284 0 -293 -292 0 -284 292 293 0 -294 -284 0 -294 292 0 284 -292 294 0 -295 -293 0 -295 -294 0 293 294 295 0 -296 3 0 -296 17 0 -3 -17 296 0 -297 -229 0 -297 -228 0 229 228 297 0 -298 -233 0 -298 -297 0 233 297 298 0 -299 229 0 -299 228 0 -229 -228 299 0 -300 -298 0 -300 -299 0 298 299 300 0 -301 296 0 -301 300 0 -296 -300 301 0 -302 -296 0 -302 -300 0 296 300 302 0 -303 -301 0 -303 -302 0 301 302 303 0 -304 295 0 -304 -303 0 -295 303 304 0 -305 -295 0 -305 303 0 295 -303 305 0 -306 -304 0 -306 -305 0 304 305 306 0 -307 4 0 -307 16 0 -4 -16 307 0 -308 -240 0 -308 -239 0 240 239 308 0 -309 -244 0 -309 -308 0 244 308 309 0 -310 240 0 -310 239 0 -240 -239 310 0 -311 -309 0 -311 -310 0 309 310 311 0 -312 307 0 -312 311 0 -307 -311 312 0 -313 -307 0 -313 -311 0 307 311 313 0 -314 -312 0 -314 -313 0 312 313 314 0 -315 306 0 -315 -314 0 -306 314 315 0 -316 -306 0 -316 314 0 306 -314 316 0 -317 -315 0 -317 -316 0 315 316 317 0 -318 5 0 -318 15 0 -5 -15 318 0 -319 -251 0 -319 -250 0 251 250 319 0 -320 -255 0 -320 -319 0 255 319 320 0 -321 251 0 -321 250 0 -251 -250 321 0 -322 -320 0 -322 -321 0 320 321 322 0 -323 318 0 -323 322 0 -318 -322 323 0 -324 -318 0 -324 -322 0 318 322 324 0 -325 -323 0 -325 -324 0 323 324 325 0 -326 317 0 -326 -325 0 -317 325 326 0 -327 -317 0 -327 325 0 317 -325 327 0 -328 -326 0 -328 -327 0 326 327 328 0 -329 6 0 -329 14 0 -6 -14 329 0 -330 -262 0 -330 -261 0 262 261 330 0 -331 -266 0 -331 -330 0 266 330 331 0 -332 262 0 -332 261 0 -262 -261 332 0 -333 -331 0 -333 -332 0 331 332 333 0 -334 329 0 -334 333 0 -329 -333 334 0 -335 -329 0 -335 -333 0 329 333 335 0 -336 -334 0 -336 -335 0 334 335 336 0 -337 328 0 -337 -336 0 -328 336 337 0 -338 -328 0 -338 336 0 328 -336 338 0 -339 -337 0 -339 -338 0 337 338 339 0 -340 7 0 -340 13 0 -7 -13 340 0 -341 -273 0 -341 -272 0 273 272 341 0 -342 213 0 -342 -341 0 -213 341 342 0 -343 273 0 -343 272 0 -273 -272 343 0 -344 -342 0 -344 -343 0 342 343 344 0 -345 340 0 -345 344 0 -340 -344 345 0 -346 -340 0 -346 -344 0 340 344 346 0 -347 -345 0 -347 -346 0 345 346 347 0 -348 339 0 -348 -347 0 -339 347 348 0 -349 -339 0 -349 347 0 339 -347 349 0 -350 -348 0 -350 -349 0 348 349 350 0 -351 8 0 -351 12 0 -8 -12 351 0 -352 351 0 -352 -280 0 -351 280 352 0 -353 -351 0 -353 280 0 351 -280 353 0 -354 -352 0 -354 -353 0 352 353 354 0 -355 350 0 -355 -354 0 -350 354 355 0 -356 -350 0 -356 354 0 350 -354 356 0 -357 -355 0 -357 -356 0 355 356 357 0 -358 283 0 -358 357 0 -283 -357 358 0 -359 -283 0 -359 -357 0 283 357 359 0 -360 -358 0 -360 -359 0 358 359 360 0 -361 9 0 -361 11 0 -9 -11 361 0 -362 1 0 -362 19 0 -1 -19 362 0 -363 2 0 -363 20 0 -2 -20 363 0 -364 -284 0 -364 -285 0 284 285 364 0 -365 -289 0 -365 -364 0 289 364 365 0 -366 284 0 -366 285 0 -284 -285 366 0 -367 -365 0 -367 -366 0 365 366 367 0 -368 363 0 -368 367 0 -363 -367 368 0 -369 -363 0 -369 -367 0 363 367 369 0 -370 -368 0 -370 -369 0 368 369 370 0 -371 362 0 -371 -370 0 -362 370 371 0 -372 -362 0 -372 370 0 362 -370 372 0 -373 -371 0 -373 -372 0 371 372 373 0 -374 3 0 -374 18 0 -3 -18 374 0 -375 -296 0 -375 -295 0 296 295 375 0 -376 -300 0 -376 -375 0 300 375 376 0 -377 296 0 -377 295 0 -296 -295 377 0 -378 -376 0 -378 -377 0 376 377 378 0 -379 374 0 -379 378 0 -374 -378 379 0 -380 -374 0 -380 -378 0 374 378 380 0 -381 -379 0 -381 -380 0 379 380 381 0 -382 373 0 -382 -381 0 -373 381 382 0 -383 -373 0 -383 381 0 373 -381 383 0 -384 -382 0 -384 -383 0 382 383 384 0 -385 4 0 -385 17 0 -4 -17 385 0 -386 -307 0 -386 -306 0 307 306 386 0 -387 -311 0 -387 -386 0 311 386 387 0 -388 307 0 -388 306 0 -307 -306 388 0 -389 -387 0 -389 -388 0 387 388 389 0 -390 385 0 -390 389 0 -385 -389 390 0 -391 -385 0 -391 -389 0 385 389 391 0 -392 -390 0 -392 -391 0 390 391 392 0 -393 384 0 -393 -392 0 -384 392 393 0 -394 -384 0 -394 392 0 384 -392 394 0 -395 -393 0 -395 -394 0 393 394 395 0 -396 5 0 -396 16 0 -5 -16 396 0 -397 -318 0 -397 -317 0 318 317 397 0 -398 -322 0 -398 -397 0 322 397 398 0 -399 318 0 -399 317 0 -318 -317 399 0 -400 -398 0 -400 -399 0 398 399 400 0 -401 396 0 -401 400 0 -396 -400 401 0 -402 -396 0 -402 -400 0 396 400 402 0 -403 -401 0 -403 -402 0 401 402 403 0 -404 395 0 -404 -403 0 -395 403 404 0 -405 -395 0 -405 403 0 395 -403 405 0 -406 -404 0 -406 -405 0 404 405 406 0 -407 6 0 -407 15 0 -6 -15 407 0 -408 -329 0 -408 -328 0 329 328 408 0 -409 -333 0 -409 -408 0 333 408 409 0 -410 329 0 -410 328 0 -329 -328 410 0 -411 -409 0 -411 -410 0 409 410 411 0 -412 407 0 -412 411 0 -407 -411 412 0 -413 -407 0 -413 -411 0 407 411 413 0 -414 -412 0 -414 -413 0 412 413 414 0 -415 406 0 -415 -414 0 -406 414 415 0 -416 -406 0 -416 414 0 406 -414 416 0 -417 -415 0 -417 -416 0 415 416 417 0 -418 7 0 -418 14 0 -7 -14 418 0 -419 -340 0 -419 -339 0 340 339 419 0 -420 -344 0 -420 -419 0 344 419 420 0 -421 340 0 -421 339 0 -340 -339 421 0 -422 -420 0 -422 -421 0 420 421 422 0 -423 418 0 -423 422 0 -418 -422 423 0 -424 -418 0 -424 -422 0 418 422 424 0 -425 -423 0 -425 -424 0 423 424 425 0 -426 417 0 -426 -425 0 -417 425 426 0 -427 -417 0 -427 425 0 417 -425 427 0 -428 -426 0 -428 -427 0 426 427 428 0 -429 8 0 -429 13 0 -8 -13 429 0 -430 -351 0 -430 -350 0 351 350 430 0 -431 280 0 -431 -430 0 -280 430 431 0 -432 351 0 -432 350 0 -351 -350 432 0 -433 -431 0 -433 -432 0 431 432 433 0 -434 429 0 -434 433 0 -429 -433 434 0 -435 -429 0 -435 -433 0 429 433 435 0 -436 -434 0 -436 -435 0 434 435 436 0 -437 428 0 -437 -436 0 -428 436 437 0 -438 -428 0 -438 436 0 428 -436 438 0 -439 -437 0 -439 -438 0 437 438 439 0 -440 10 0 -440 12 0 -10 -12 440 0 -441 440 0 -441 -358 0 -440 358 441 0 -442 -440 0 -442 358 0 440 -358 442 0 -443 -441 0 -443 -442 0 441 442 443 0 -444 439 0 -444 -443 0 -439 443 444 0 -445 -439 0 -445 443 0 439 -443 445 0 -446 -444 0 -446 -445 0 444 445 446 0 -447 361 0 -447 446 0 -361 -446 447 0 -448 -361 0 -448 -446 0 361 446 448 0 -449 -447 0 -449 -448 0 447 448 449 0 -450 2 0 -450 19 0 -2 -19 450 0 -451 -362 0 -451 -363 0 362 363 451 0 -452 -367 0 -452 -451 0 367 451 452 0 -453 362 0 -453 363 0 -362 -363 453 0 -454 -452 0 -454 -453 0 452 453 454 0 -455 450 0 -455 -454 0 -450 454 455 0 -456 -450 0 -456 454 0 450 -454 456 0 -457 -455 0 -457 -456 0 455 456 457 0 -458 3 0 -458 20 0 -3 -20 458 0 -459 -374 0 -459 -373 0 374 373 459 0 -460 -378 0 -460 -459 0 378 459 460 0 -461 374 0 -461 373 0 -374 -373 461 0 -462 -460 0 -462 -461 0 460 461 462 0 -463 458 0 -463 462 0 -458 -462 463 0 -464 -458 0 -464 -462 0 458 462 464 0 -465 -463 0 -465 -464 0 463 464 465 0 -466 457 0 -466 -465 0 -457 465 466 0 -467 -457 0 -467 465 0 457 -465 467 0 -468 -466 0 -468 -467 0 466 467 468 0 -469 4 0 -469 18 0 -4 -18 469 0 -470 -385 0 -470 -384 0 385 384 470 0 -471 -389 0 -471 -470 0 389 470 471 0 -472 385 0 -472 384 0 -385 -384 472 0 -473 -471 0 -473 -472 0 471 472 473 0 -474 469 0 -474 473 0 -469 -473 474 0 -475 -469 0 -475 -473 0 469 473 475 0 -476 -474 0 -476 -475 0 474 475 476 0 -477 468 0 -477 -476 0 -468 476 477 0 -478 -468 0 -478 476 0 468 -476 478 0 -479 -477 0 -479 -478 0 477 478 479 0 -480 5 0 -480 17 0 -5 -17 480 0 -481 -396 0 -481 -395 0 396 395 481 0 -482 -400 0 -482 -481 0 400 481 482 0 -483 396 0 -483 395 0 -396 -395 483 0 -484 -482 0 -484 -483 0 482 483 484 0 -485 480 0 -485 484 0 -480 -484 485 0 -486 -480 0 -486 -484 0 480 484 486 0 -487 -485 0 -487 -486 0 485 486 487 0 -488 479 0 -488 -487 0 -479 487 488 0 -489 -479 0 -489 487 0 479 -487 489 0 -490 -488 0 -490 -489 0 488 489 490 0 -491 6 0 -491 16 0 -6 -16 491 0 -492 -407 0 -492 -406 0 407 406 492 0 -493 -411 0 -493 -492 0 411 492 493 0 -494 407 0 -494 406 0 -407 -406 494 0 -495 -493 0 -495 -494 0 493 494 495 0 -496 491 0 -496 495 0 -491 -495 496 0 -497 -491 0 -497 -495 0 491 495 497 0 -498 -496 0 -498 -497 0 496 497 498 0 -499 490 0 -499 -498 0 -490 498 499 0 -500 -490 0 -500 498 0 490 -498 500 0 -501 -499 0 -501 -500 0 499 500 501 0 -502 7 0 -502 15 0 -7 -15 502 0 -503 -418 0 -503 -417 0 418 417 503 0 -504 -422 0 -504 -503 0 422 503 504 0 -505 418 0 -505 417 0 -418 -417 505 0 -506 -504 0 -506 -505 0 504 505 506 0 -507 502 0 -507 506 0 -502 -506 507 0 -508 -502 0 -508 -506 0 502 506 508 0 -509 -507 0 -509 -508 0 507 508 509 0 -510 501 0 -510 -509 0 -501 509 510 0 -511 -501 0 -511 509 0 501 -509 511 0 -512 -510 0 -512 -511 0 510 511 512 0 -513 8 0 -513 14 0 -8 -14 513 0 -514 -429 0 -514 -428 0 429 428 514 0 -515 -433 0 -515 -514 0 433 514 515 0 -516 429 0 -516 428 0 -429 -428 516 0 -517 -515 0 -517 -516 0 515 516 517 0 -518 513 0 -518 517 0 -513 -517 518 0 -519 -513 0 -519 -517 0 513 517 519 0 -520 -518 0 -520 -519 0 518 519 520 0 -521 512 0 -521 -520 0 -512 520 521 0 -522 -512 0 -522 520 0 512 -520 522 0 -523 -521 0 -523 -522 0 521 522 523 0 -524 10 0 -524 13 0 -10 -13 524 0 -525 -440 0 -525 -439 0 440 439 525 0 -526 358 0 -526 -525 0 -358 525 526 0 -527 440 0 -527 439 0 -440 -439 527 0 -528 -526 0 -528 -527 0 526 527 528 0 -529 524 0 -529 528 0 -524 -528 529 0 -530 -524 0 -530 -528 0 524 528 530 0 -531 -529 0 -531 -530 0 529 530 531 0 -532 523 0 -532 -531 0 -523 531 532 0 -533 -523 0 -533 531 0 523 -531 533 0 -534 -532 0 -534 -533 0 532 533 534 0 -535 9 0 -535 12 0 -9 -12 535 0 -536 535 0 -536 -447 0 -535 447 536 0 -537 -535 0 -537 447 0 535 -447 537 0 -538 -536 0 -538 -537 0 536 537 538 0 -539 534 0 -539 -538 0 -534 538 539 0 -540 -534 0 -540 538 0 534 -538 540 0 -541 -539 0 -541 -540 0 539 540 541 0 -542 3 0 -542 19 0 -3 -19 542 0 -543 -458 0 -543 -457 0 458 457 543 0 -544 -462 0 -544 -543 0 462 543 544 0 -545 458 0 -545 457 0 -458 -457 545 0 -546 -544 0 -546 -545 0 544 545 546 0 -547 542 0 -547 546 0 -542 -546 547 0 -548 -542 0 -548 -546 0 542 546 548 0 -549 -547 0 -549 -548 0 547 548 549 0 -550 455 0 -550 -549 0 -455 549 550 0 -551 -455 0 -551 549 0 455 -549 551 0 -552 -550 0 -552 -551 0 550 551 552 0 -553 4 0 -553 20 0 -4 -20 553 0 -554 -469 0 -554 -468 0 469 468 554 0 -555 -473 0 -555 -554 0 473 554 555 0 -556 469 0 -556 468 0 -469 -468 556 0 -557 -555 0 -557 -556 0 555 556 557 0 -558 553 0 -558 557 0 -553 -557 558 0 -559 -553 0 -559 -557 0 553 557 559 0 -560 -558 0 -560 -559 0 558 559 560 0 -561 552 0 -561 -560 0 -552 560 561 0 -562 -552 0 -562 560 0 552 -560 562 0 -563 -561 0 -563 -562 0 561 562 563 0 -564 5 0 -564 18 0 -5 -18 564 0 -565 -480 0 -565 -479 0 480 479 565 0 -566 -484 0 -566 -565 0 484 565 566 0 -567 480 0 -567 479 0 -480 -479 567 0 -568 -566 0 -568 -567 0 566 567 568 0 -569 564 0 -569 568 0 -564 -568 569 0 -570 -564 0 -570 -568 0 564 568 570 0 -571 -569 0 -571 -570 0 569 570 571 0 -572 563 0 -572 -571 0 -563 571 572 0 -573 -563 0 -573 571 0 563 -571 573 0 -574 -572 0 -574 -573 0 572 573 574 0 -575 6 0 -575 17 0 -6 -17 575 0 -576 -491 0 -576 -490 0 491 490 576 0 -577 -495 0 -577 -576 0 495 576 577 0 -578 491 0 -578 490 0 -491 -490 578 0 -579 -577 0 -579 -578 0 577 578 579 0 -580 575 0 -580 579 0 -575 -579 580 0 -581 -575 0 -581 -579 0 575 579 581 0 -582 -580 0 -582 -581 0 580 581 582 0 -583 574 0 -583 -582 0 -574 582 583 0 -584 -574 0 -584 582 0 574 -582 584 0 -585 -583 0 -585 -584 0 583 584 585 0 -586 7 0 -586 16 0 -7 -16 586 0 -587 -502 0 -587 -501 0 502 501 587 0 -588 -506 0 -588 -587 0 506 587 588 0 -589 502 0 -589 501 0 -502 -501 589 0 -590 -588 0 -590 -589 0 588 589 590 0 -591 586 0 -591 590 0 -586 -590 591 0 -592 -586 0 -592 -590 0 586 590 592 0 -593 -591 0 -593 -592 0 591 592 593 0 -594 585 0 -594 -593 0 -585 593 594 0 -595 -585 0 -595 593 0 585 -593 595 0 -596 -594 0 -596 -595 0 594 595 596 0 -597 8 0 -597 15 0 -8 -15 597 0 -598 -513 0 -598 -512 0 513 512 598 0 -599 -517 0 -599 -598 0 517 598 599 0 -600 513 0 -600 512 0 -513 -512 600 0 -601 -599 0 -601 -600 0 599 600 601 0 -602 597 0 -602 601 0 -597 -601 602 0 -603 -597 0 -603 -601 0 597 601 603 0 -604 -602 0 -604 -603 0 602 603 604 0 -605 596 0 -605 -604 0 -596 604 605 0 -606 -596 0 -606 604 0 596 -604 606 0 -607 -605 0 -607 -606 0 605 606 607 0 -608 10 0 -608 14 0 -10 -14 608 0 -609 -524 0 -609 -523 0 524 523 609 0 -610 -528 0 -610 -609 0 528 609 610 0 -611 524 0 -611 523 0 -524 -523 611 0 -612 -610 0 -612 -611 0 610 611 612 0 -613 608 0 -613 612 0 -608 -612 613 0 -614 -608 0 -614 -612 0 608 612 614 0 -615 -613 0 -615 -614 0 613 614 615 0 -616 607 0 -616 -615 0 -607 615 616 0 -617 -607 0 -617 615 0 607 -615 617 0 -618 -616 0 -618 -617 0 616 617 618 0 -619 9 0 -619 13 0 -9 -13 619 0 -620 -535 0 -620 -534 0 535 534 620 0 -621 447 0 -621 -620 0 -447 620 621 0 -622 535 0 -622 534 0 -535 -534 622 0 -623 -621 0 -623 -622 0 621 622 623 0 -624 619 0 -624 623 0 -619 -623 624 0 -625 -619 0 -625 -623 0 619 623 625 0 -626 -624 0 -626 -625 0 624 625 626 0 -627 618 0 -627 -626 0 -618 626 627 0 -628 -618 0 -628 626 0 618 -626 628 0 -629 -627 0 -629 -628 0 627 628 629 0 -630 -542 0 -630 -455 0 542 455 630 0 -631 -546 0 -631 -630 0 546 630 631 0 -632 542 0 -632 455 0 -542 -455 632 0 -633 -631 0 -633 -632 0 631 632 633 0 -634 4 0 -634 19 0 -4 -19 634 0 -635 -553 0 -635 -552 0 553 552 635 0 -636 -557 0 -636 -635 0 557 635 636 0 -637 553 0 -637 552 0 -553 -552 637 0 -638 -636 0 -638 -637 0 636 637 638 0 -639 634 0 -639 638 0 -634 -638 639 0 -640 -634 0 -640 -638 0 634 638 640 0 -641 -639 0 -641 -640 0 639 640 641 0 -642 -633 0 -642 -641 0 633 641 642 0 -643 633 0 -643 641 0 -633 -641 643 0 -644 -642 0 -644 -643 0 642 643 644 0 -645 5 0 -645 20 0 -5 -20 645 0 -646 -564 0 -646 -563 0 564 563 646 0 -647 -568 0 -647 -646 0 568 646 647 0 -648 564 0 -648 563 0 -564 -563 648 0 -649 -647 0 -649 -648 0 647 648 649 0 -650 645 0 -650 649 0 -645 -649 650 0 -651 -645 0 -651 -649 0 645 649 651 0 -652 -650 0 -652 -651 0 650 651 652 0 -653 644 0 -653 -652 0 -644 652 653 0 -654 -644 0 -654 652 0 644 -652 654 0 -655 -653 0 -655 -654 0 653 654 655 0 -656 6 0 -656 18 0 -6 -18 656 0 -657 -575 0 -657 -574 0 575 574 657 0 -658 -579 0 -658 -657 0 579 657 658 0 -659 575 0 -659 574 0 -575 -574 659 0 -660 -658 0 -660 -659 0 658 659 660 0 -661 656 0 -661 660 0 -656 -660 661 0 -662 -656 0 -662 -660 0 656 660 662 0 -663 -661 0 -663 -662 0 661 662 663 0 -664 655 0 -664 -663 0 -655 663 664 0 -665 -655 0 -665 663 0 655 -663 665 0 -666 -664 0 -666 -665 0 664 665 666 0 -667 7 0 -667 17 0 -7 -17 667 0 -668 -586 0 -668 -585 0 586 585 668 0 -669 -590 0 -669 -668 0 590 668 669 0 -670 586 0 -670 585 0 -586 -585 670 0 -671 -669 0 -671 -670 0 669 670 671 0 -672 667 0 -672 671 0 -667 -671 672 0 -673 -667 0 -673 -671 0 667 671 673 0 -674 -672 0 -674 -673 0 672 673 674 0 -675 666 0 -675 -674 0 -666 674 675 0 -676 -666 0 -676 674 0 666 -674 676 0 -677 -675 0 -677 -676 0 675 676 677 0 -678 8 0 -678 16 0 -8 -16 678 0 -679 -597 0 -679 -596 0 597 596 679 0 -680 -601 0 -680 -679 0 601 679 680 0 -681 597 0 -681 596 0 -597 -596 681 0 -682 -680 0 -682 -681 0 680 681 682 0 -683 678 0 -683 682 0 -678 -682 683 0 -684 -678 0 -684 -682 0 678 682 684 0 -685 -683 0 -685 -684 0 683 684 685 0 -686 677 0 -686 -685 0 -677 685 686 0 -687 -677 0 -687 685 0 677 -685 687 0 -688 -686 0 -688 -687 0 686 687 688 0 -689 10 0 -689 15 0 -10 -15 689 0 -690 -608 0 -690 -607 0 608 607 690 0 -691 -612 0 -691 -690 0 612 690 691 0 -692 608 0 -692 607 0 -608 -607 692 0 -693 -691 0 -693 -692 0 691 692 693 0 -694 689 0 -694 693 0 -689 -693 694 0 -695 -689 0 -695 -693 0 689 693 695 0 -696 -694 0 -696 -695 0 694 695 696 0 -697 688 0 -697 -696 0 -688 696 697 0 -698 -688 0 -698 696 0 688 -696 698 0 -699 -697 0 -699 -698 0 697 698 699 0 -700 9 0 -700 14 0 -9 -14 700 0 -701 -619 0 -701 -618 0 619 618 701 0 -702 -623 0 -702 -701 0 623 701 702 0 -703 619 0 -703 618 0 -619 -618 703 0 -704 -702 0 -704 -703 0 702 703 704 0 -705 700 0 -705 704 0 -700 -704 705 0 -706 -700 0 -706 -704 0 700 704 706 0 -707 -705 0 -707 -706 0 705 706 707 0 -708 699 0 -708 -707 0 -699 707 708 0 -709 -699 0 -709 707 0 699 -707 709 0 -710 -708 0 -710 -709 0 708 709 710 0 -711 -634 0 -711 633 0 634 -633 711 0 -712 -638 0 -712 -711 0 638 711 712 0 -713 634 0 -713 -633 0 -634 633 713 0 -714 -712 0 -714 -713 0 712 713 714 0 -715 5 0 -715 19 0 -5 -19 715 0 -716 -645 0 -716 -644 0 645 644 716 0 -717 -649 0 -717 -716 0 649 716 717 0 -718 645 0 -718 644 0 -645 -644 718 0 -719 -717 0 -719 -718 0 717 718 719 0 -720 715 0 -720 719 0 -715 -719 720 0 -721 -715 0 -721 -719 0 715 719 721 0 -722 -720 0 -722 -721 0 720 721 722 0 -723 -714 0 -723 -722 0 714 722 723 0 -724 714 0 -724 722 0 -714 -722 724 0 -725 -723 0 -725 -724 0 723 724 725 0 -726 6 0 -726 20 0 -6 -20 726 0 -727 -656 0 -727 -655 0 656 655 727 0 -728 -660 0 -728 -727 0 660 727 728 0 -729 656 0 -729 655 0 -656 -655 729 0 -730 -728 0 -730 -729 0 728 729 730 0 -731 726 0 -731 730 0 -726 -730 731 0 -732 -726 0 -732 -730 0 726 730 732 0 -733 -731 0 -733 -732 0 731 732 733 0 -734 725 0 -734 -733 0 -725 733 734 0 -735 -725 0 -735 733 0 725 -733 735 0 -736 -734 0 -736 -735 0 734 735 736 0 -737 7 0 -737 18 0 -7 -18 737 0 -738 -667 0 -738 -666 0 667 666 738 0 -739 -671 0 -739 -738 0 671 738 739 0 -740 667 0 -740 666 0 -667 -666 740 0 -741 -739 0 -741 -740 0 739 740 741 0 -742 737 0 -742 741 0 -737 -741 742 0 -743 -737 0 -743 -741 0 737 741 743 0 -744 -742 0 -744 -743 0 742 743 744 0 -745 736 0 -745 -744 0 -736 744 745 0 -746 -736 0 -746 744 0 736 -744 746 0 -747 -745 0 -747 -746 0 745 746 747 0 -748 8 0 -748 17 0 -8 -17 748 0 -749 -678 0 -749 -677 0 678 677 749 0 -750 -682 0 -750 -749 0 682 749 750 0 -751 678 0 -751 677 0 -678 -677 751 0 -752 -750 0 -752 -751 0 750 751 752 0 -753 748 0 -753 752 0 -748 -752 753 0 -754 -748 0 -754 -752 0 748 752 754 0 -755 -753 0 -755 -754 0 753 754 755 0 -756 747 0 -756 -755 0 -747 755 756 0 -757 -747 0 -757 755 0 747 -755 757 0 -758 -756 0 -758 -757 0 756 757 758 0 -759 10 0 -759 16 0 -10 -16 759 0 -760 -689 0 -760 -688 0 689 688 760 0 -761 -693 0 -761 -760 0 693 760 761 0 -762 689 0 -762 688 0 -689 -688 762 0 -763 -761 0 -763 -762 0 761 762 763 0 -764 759 0 -764 763 0 -759 -763 764 0 -765 -759 0 -765 -763 0 759 763 765 0 -766 -764 0 -766 -765 0 764 765 766 0 -767 758 0 -767 -766 0 -758 766 767 0 -768 -758 0 -768 766 0 758 -766 768 0 -769 -767 0 -769 -768 0 767 768 769 0 -770 9 0 -770 15 0 -9 -15 770 0 -771 -700 0 -771 -699 0 700 699 771 0 -772 -704 0 -772 -771 0 704 771 772 0 -773 700 0 -773 699 0 -700 -699 773 0 -774 -772 0 -774 -773 0 772 773 774 0 -775 770 0 -775 774 0 -770 -774 775 0 -776 -770 0 -776 -774 0 770 774 776 0 -777 -775 0 -777 -776 0 775 776 777 0 -778 769 0 -778 -777 0 -769 777 778 0 -779 -769 0 -779 777 0 769 -777 779 0 -780 -778 0 -780 -779 0 778 779 780 0 -781 -715 0 -781 714 0 715 -714 781 0 -782 -719 0 -782 -781 0 719 781 782 0 -783 715 0 -783 -714 0 -715 714 783 0 -784 -782 0 -784 -783 0 782 783 784 0 -785 6 0 -785 19 0 -6 -19 785 0 -786 -726 0 -786 -725 0 726 725 786 0 -787 -730 0 -787 -786 0 730 786 787 0 -788 726 0 -788 725 0 -726 -725 788 0 -789 -787 0 -789 -788 0 787 788 789 0 -790 785 0 -790 789 0 -785 -789 790 0 -791 -785 0 -791 -789 0 785 789 791 0 -792 -790 0 -792 -791 0 790 791 792 0 -793 -784 0 -793 -792 0 784 792 793 0 -794 784 0 -794 792 0 -784 -792 794 0 -795 -793 0 -795 -794 0 793 794 795 0 -796 7 0 -796 20 0 -7 -20 796 0 -797 -737 0 -797 -736 0 737 736 797 0 -798 -741 0 -798 -797 0 741 797 798 0 -799 737 0 -799 736 0 -737 -736 799 0 -800 -798 0 -800 -799 0 798 799 800 0 -801 796 0 -801 800 0 -796 -800 801 0 -802 -796 0 -802 -800 0 796 800 802 0 -803 -801 0 -803 -802 0 801 802 803 0 -804 795 0 -804 -803 0 -795 803 804 0 -805 -795 0 -805 803 0 795 -803 805 0 -806 -804 0 -806 -805 0 804 805 806 0 -807 8 0 -807 18 0 -8 -18 807 0 -808 -748 0 -808 -747 0 748 747 808 0 -809 -752 0 -809 -808 0 752 808 809 0 -810 748 0 -810 747 0 -748 -747 810 0 -811 -809 0 -811 -810 0 809 810 811 0 -812 807 0 -812 811 0 -807 -811 812 0 -813 -807 0 -813 -811 0 807 811 813 0 -814 -812 0 -814 -813 0 812 813 814 0 -815 806 0 -815 -814 0 -806 814 815 0 -816 -806 0 -816 814 0 806 -814 816 0 -817 -815 0 -817 -816 0 815 816 817 0 -818 10 0 -818 17 0 -10 -17 818 0 -819 -759 0 -819 -758 0 759 758 819 0 -820 -763 0 -820 -819 0 763 819 820 0 -821 759 0 -821 758 0 -759 -758 821 0 -822 -820 0 -822 -821 0 820 821 822 0 -823 818 0 -823 822 0 -818 -822 823 0 -824 -818 0 -824 -822 0 818 822 824 0 -825 -823 0 -825 -824 0 823 824 825 0 -826 817 0 -826 -825 0 -817 825 826 0 -827 -817 0 -827 825 0 817 -825 827 0 -828 -826 0 -828 -827 0 826 827 828 0 -829 9 0 -829 16 0 -9 -16 829 0 -830 -770 0 -830 -769 0 770 769 830 0 -831 -774 0 -831 -830 0 774 830 831 0 -832 770 0 -832 769 0 -770 -769 832 0 -833 -831 0 -833 -832 0 831 832 833 0 -834 829 0 -834 833 0 -829 -833 834 0 -835 -829 0 -835 -833 0 829 833 835 0 -836 -834 0 -836 -835 0 834 835 836 0 -837 828 0 -837 -836 0 -828 836 837 0 -838 -828 0 -838 836 0 828 -836 838 0 -839 -837 0 -839 -838 0 837 838 839 0 -840 -785 0 -840 784 0 785 -784 840 0 -841 -789 0 -841 -840 0 789 840 841 0 -842 785 0 -842 -784 0 -785 784 842 0 -843 -841 0 -843 -842 0 841 842 843 0 -844 7 0 -844 19 0 -7 -19 844 0 -845 -796 0 -845 -795 0 796 795 845 0 -846 -800 0 -846 -845 0 800 845 846 0 -847 796 0 -847 795 0 -796 -795 847 0 -848 -846 0 -848 -847 0 846 847 848 0 -849 844 0 -849 848 0 -844 -848 849 0 -850 -844 0 -850 -848 0 844 848 850 0 -851 -849 0 -851 -850 0 849 850 851 0 -852 -843 0 -852 -851 0 843 851 852 0 -853 843 0 -853 851 0 -843 -851 853 0 -854 -852 0 -854 -853 0 852 853 854 0 -855 8 0 -855 20 0 -8 -20 855 0 -856 -807 0 -856 -806 0 807 806 856 0 -857 -811 0 -857 -856 0 811 856 857 0 -858 807 0 -858 806 0 -807 -806 858 0 -859 -857 0 -859 -858 0 857 858 859 0 -860 855 0 -860 859 0 -855 -859 860 0 -861 -855 0 -861 -859 0 855 859 861 0 -862 -860 0 -862 -861 0 860 861 862 0 -863 854 0 -863 -862 0 -854 862 863 0 -864 -854 0 -864 862 0 854 -862 864 0 -865 -863 0 -865 -864 0 863 864 865 0 -866 10 0 -866 18 0 -10 -18 866 0 -867 -818 0 -867 -817 0 818 817 867 0 -868 -822 0 -868 -867 0 822 867 868 0 -869 818 0 -869 817 0 -818 -817 869 0 -870 -868 0 -870 -869 0 868 869 870 0 -871 866 0 -871 870 0 -866 -870 871 0 -872 -866 0 -872 -870 0 866 870 872 0 -873 -871 0 -873 -872 0 871 872 873 0 -874 865 0 -874 -873 0 -865 873 874 0 -875 -865 0 -875 873 0 865 -873 875 0 -876 -874 0 -876 -875 0 874 875 876 0 -877 9 0 -877 17 0 -9 -17 877 0 -878 -829 0 -878 -828 0 829 828 878 0 -879 -833 0 -879 -878 0 833 878 879 0 -880 829 0 -880 828 0 -829 -828 880 0 -881 -879 0 -881 -880 0 879 880 881 0 -882 877 0 -882 881 0 -877 -881 882 0 -883 -877 0 -883 -881 0 877 881 883 0 -884 -882 0 -884 -883 0 882 883 884 0 -885 876 0 -885 -884 0 -876 884 885 0 -886 -876 0 -886 884 0 876 -884 886 0 -887 -885 0 -887 -886 0 885 886 887 0 -888 -844 0 -888 843 0 844 -843 888 0 -889 -848 0 -889 -888 0 848 888 889 0 -890 844 0 -890 -843 0 -844 843 890 0 -891 -889 0 -891 -890 0 889 890 891 0 -892 8 0 -892 19 0 -8 -19 892 0 -893 -855 0 -893 -854 0 855 854 893 0 -894 -859 0 -894 -893 0 859 893 894 0 -895 855 0 -895 854 0 -855 -854 895 0 -896 -894 0 -896 -895 0 894 895 896 0 -897 892 0 -897 896 0 -892 -896 897 0 -898 -892 0 -898 -896 0 892 896 898 0 -899 -897 0 -899 -898 0 897 898 899 0 -900 -891 0 -900 -899 0 891 899 900 0 -901 891 0 -901 899 0 -891 -899 901 0 -902 -900 0 -902 -901 0 900 901 902 0 -903 10 0 -903 20 0 -10 -20 903 0 -904 -866 0 -904 -865 0 866 865 904 0 -905 -870 0 -905 -904 0 870 904 905 0 -906 866 0 -906 865 0 -866 -865 906 0 -907 -905 0 -907 -906 0 905 906 907 0 -908 903 0 -908 907 0 -903 -907 908 0 -909 -903 0 -909 -907 0 903 907 909 0 -910 -908 0 -910 -909 0 908 909 910 0 -911 902 0 -911 -910 0 -902 910 911 0 -912 -902 0 -912 910 0 902 -910 912 0 -913 -911 0 -913 -912 0 911 912 913 0 -914 9 0 -914 18 0 -9 -18 914 0 -915 -877 0 -915 -876 0 877 876 915 0 -916 -881 0 -916 -915 0 881 915 916 0 -917 877 0 -917 876 0 -877 -876 917 0 -918 -916 0 -918 -917 0 916 917 918 0 -919 914 0 -919 918 0 -914 -918 919 0 -920 -914 0 -920 -918 0 914 918 920 0 -921 -919 0 -921 -920 0 919 920 921 0 -922 913 0 -922 -921 0 -913 921 922 0 -923 -913 0 -923 921 0 913 -921 923 0 -924 -922 0 -924 -923 0 922 923 924 0 -925 -892 0 -925 891 0 892 -891 925 0 -926 -896 0 -926 -925 0 896 925 926 0 -927 892 0 -927 -891 0 -892 891 927 0 -928 -926 0 -928 -927 0 926 927 928 0 -929 10 0 -929 19 0 -10 -19 929 0 -930 -903 0 -930 -902 0 903 902 930 0 -931 -907 0 -931 -930 0 907 930 931 0 -932 903 0 -932 902 0 -903 -902 932 0 -933 -931 0 -933 -932 0 931 932 933 0 -934 929 0 -934 933 0 -929 -933 934 0 -935 -929 0 -935 -933 0 929 933 935 0 -936 -934 0 -936 -935 0 934 935 936 0 -937 -928 0 -937 -936 0 928 936 937 0 -938 928 0 -938 936 0 -928 -936 938 0 -939 -937 0 -939 -938 0 937 938 939 0 -940 9 0 -940 20 0 -9 -20 940 0 -941 -914 0 -941 -913 0 914 913 941 0 -942 -918 0 -942 -941 0 918 941 942 0 -943 914 0 -943 913 0 -914 -913 943 0 -944 -942 0 -944 -943 0 942 943 944 0 -945 940 0 -945 944 0 -940 -944 945 0 -946 -940 0 -946 -944 0 940 944 946 0 -947 -945 0 -947 -946 0 945 946 947 0 -948 939 0 -948 -947 0 -939 947 948 0 -949 -939 0 -949 947 0 939 -947 949 0 -950 -948 0 -950 -949 0 948 949 950 0 -951 -940 0 -951 -939 0 940 939 951 0 -952 -944 0 -952 -951 0 944 951 952 0 -953 940 0 -953 939 0 -940 -939 953 0 -954 -952 0 -954 -953 0 952 953 954 0 -955 9 0 -955 19 0 -9 -19 955 0 -956 -929 0 -956 928 0 929 -928 956 0 -957 -933 0 -957 -956 0 933 956 957 0 -958 929 0 -958 -928 0 -929 928 958 0 -959 -957 0 -959 -958 0 957 958 959 0 -960 -955 0 -960 959 0 955 -959 960 0 -961 -954 0 -961 -960 0 954 960 961 0 -962 955 0 -962 -959 0 -955 959 962 0 -963 -961 0 -963 -962 0 961 962 963 0 -964 955 0 -964 954 0 -955 -954 964 0 -965 -955 0 -965 -954 0 955 954 965 0 -966 -964 0 -966 -965 0 964 965 966 0 -967 -959 0 -967 -966 0 959 966 967 0 -968 959 0 -968 966 0 -959 -966 968 0 -969 -967 0 -969 -968 0 967 968 969 0 -970 963 0 -970 -969 0 -963 969 970 0 -971 -950 0 -971 970 0 950 -970 971 0 -972 -924 0 -972 971 0 924 -971 972 0 -973 -887 0 -973 972 0 887 -972 973 0 -974 -839 0 -974 973 0 839 -973 974 0 -975 -780 0 -975 974 0 780 -974 975 0 -976 -710 0 -976 975 0 710 -975 976 0 -977 -629 0 -977 976 0 629 -976 977 0 -978 541 0 -978 977 0 -541 -977 978 0 -979 -449 0 -979 978 0 449 -978 979 0 -980 360 0 -980 979 0 -360 -979 980 0 -981 -282 0 -981 980 0 282 -980 981 0 -982 215 0 -982 981 0 -215 -981 982 0 -983 -159 0 -983 982 0 159 -982 983 0 -984 114 0 -984 983 0 -114 -983 984 0 -985 80 0 -985 984 0 -80 -984 985 0 -986 -57 0 -986 985 0 57 -985 986 0 -987 -45 0 -987 986 0 45 -986 987 0 -988 40 0 -988 987 0 -40 -987 988 0 -989 39 0 -989 988 0 -39 -988 989 0 989 0