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