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