diff --git a/aws-batch-comp-infrastructure-sample b/aws-batch-comp-infrastructure-sample new file mode 160000 index 0000000..7ce41ac --- /dev/null +++ b/aws-batch-comp-infrastructure-sample @@ -0,0 +1 @@ +Subproject commit 7ce41ac33c32c6221b754c1a385380028f635a70 diff --git a/docker/files/class_1_easy_10_0.cnf b/docker/files/class_1_easy_10_0.cnf new file mode 100644 index 0000000..dc324e5 --- /dev/null +++ b/docker/files/class_1_easy_10_0.cnf @@ -0,0 +1,5633 @@ +p cnf 1728 5632 + 96 -129 0 + 89 -129 0 + -96 -89 129 0 + 95 129 -161 0 + 95 -129 161 0 + -95 129 161 0 + -95 -129 -161 0 + 97 161 -193 0 + 97 -161 193 0 + -97 161 193 0 + -97 -161 -193 0 + 193 1 -225 0 + 193 -1 225 0 +-193 1 225 0 +-193 -1 -225 0 + 257 -65 0 +-257 65 0 + 65 -130 0 + 90 -130 0 + -65 -90 130 0 + 96 130 -162 0 + 96 -130 162 0 + -96 130 162 0 + -96 -130 -162 0 + 98 162 -194 0 + 98 -162 194 0 + -98 162 194 0 + -98 -162 -194 0 + 194 2 -226 0 + 194 -2 226 0 +-194 2 226 0 +-194 -2 -226 0 + 258 -66 0 +-258 66 0 + 66 -131 0 + 91 -131 0 + -66 -91 131 0 + 65 131 -163 0 + 65 -131 163 0 + -65 131 163 0 + -65 -131 -163 0 + 99 163 -195 0 + 99 -163 195 0 + -99 163 195 0 + -99 -163 -195 0 + 195 3 -227 0 + 195 -3 227 0 +-195 3 227 0 +-195 -3 -227 0 + 259 -67 0 +-259 67 0 + 67 -132 0 + 92 -132 0 + -67 -92 132 0 + 66 132 -164 0 + 66 -132 164 0 + -66 132 164 0 + -66 -132 -164 0 + 100 164 -196 0 + 100 -164 196 0 +-100 164 196 0 +-100 -164 -196 0 + 196 4 -228 0 + 196 -4 228 0 +-196 4 228 0 +-196 -4 -228 0 + 260 -68 0 +-260 68 0 + 68 -133 0 + 93 -133 0 + -68 -93 133 0 + 67 133 -165 0 + 67 -133 165 0 + -67 133 165 0 + -67 -133 -165 0 + 101 165 -197 0 + 101 -165 197 0 +-101 165 197 0 +-101 -165 -197 0 + 197 5 -229 0 + 197 -5 229 0 +-197 5 229 0 +-197 -5 -229 0 + 261 -69 0 +-261 69 0 + 69 -134 0 + 94 -134 0 + -69 -94 134 0 + 68 134 -166 0 + 68 -134 166 0 + -68 134 166 0 + -68 -134 -166 0 + 102 166 -198 0 + 102 -166 198 0 +-102 166 198 0 +-102 -166 -198 0 + 198 6 -230 0 + 198 -6 230 0 +-198 6 230 0 +-198 -6 -230 0 + 262 -70 0 +-262 70 0 + 70 -135 0 + 95 -135 0 + -70 -95 135 0 + 69 135 -167 0 + 69 -135 167 0 + -69 135 167 0 + -69 -135 -167 0 + 103 167 -199 0 + 103 -167 199 0 +-103 167 199 0 +-103 -167 -199 0 + 199 7 -231 0 + 199 -7 231 0 +-199 7 231 0 +-199 -7 -231 0 + 263 -71 0 +-263 71 0 + 71 -136 0 + 96 -136 0 + -71 -96 136 0 + 70 136 -168 0 + 70 -136 168 0 + -70 136 168 0 + -70 -136 -168 0 + 104 168 -200 0 + 104 -168 200 0 +-104 168 200 0 +-104 -168 -200 0 + 200 8 -232 0 + 200 -8 232 0 +-200 8 232 0 +-200 -8 -232 0 + 264 -72 0 +-264 72 0 + 72 -137 0 + 65 -137 0 + -72 -65 137 0 + 71 137 -169 0 + 71 -137 169 0 + -71 137 169 0 + -71 -137 -169 0 + 105 169 -201 0 + 105 -169 201 0 +-105 169 201 0 +-105 -169 -201 0 + 201 9 -233 0 + 201 -9 233 0 +-201 9 233 0 +-201 -9 -233 0 + 265 -73 0 +-265 73 0 + 73 -138 0 + 66 -138 0 + -73 -66 138 0 + 72 138 -170 0 + 72 -138 170 0 + -72 138 170 0 + -72 -138 -170 0 + 106 170 -202 0 + 106 -170 202 0 +-106 170 202 0 +-106 -170 -202 0 + 202 10 -234 0 + 202 -10 234 0 +-202 10 234 0 +-202 -10 -234 0 + 266 -74 0 +-266 74 0 + 74 -139 0 + 67 -139 0 + -74 -67 139 0 + 73 139 -171 0 + 73 -139 171 0 + -73 139 171 0 + -73 -139 -171 0 + 107 171 -203 0 + 107 -171 203 0 +-107 171 203 0 +-107 -171 -203 0 + 203 11 -235 0 + 203 -11 235 0 +-203 11 235 0 +-203 -11 -235 0 + 267 -75 0 +-267 75 0 + 75 -140 0 + 68 -140 0 + -75 -68 140 0 + 74 140 -172 0 + 74 -140 172 0 + -74 140 172 0 + -74 -140 -172 0 + 108 172 -204 0 + 108 -172 204 0 +-108 172 204 0 +-108 -172 -204 0 + 204 12 -236 0 + 204 -12 236 0 +-204 12 236 0 +-204 -12 -236 0 + 268 -76 0 +-268 76 0 + 76 -141 0 + 69 -141 0 + -76 -69 141 0 + 75 141 -173 0 + 75 -141 173 0 + -75 141 173 0 + -75 -141 -173 0 + 109 173 -205 0 + 109 -173 205 0 +-109 173 205 0 +-109 -173 -205 0 + 205 13 -237 0 + 205 -13 237 0 +-205 13 237 0 +-205 -13 -237 0 + 269 -77 0 +-269 77 0 + 77 -142 0 + 70 -142 0 + -77 -70 142 0 + 76 142 -174 0 + 76 -142 174 0 + -76 142 174 0 + -76 -142 -174 0 + 110 174 -206 0 + 110 -174 206 0 +-110 174 206 0 +-110 -174 -206 0 + 206 14 -238 0 + 206 -14 238 0 +-206 14 238 0 +-206 -14 -238 0 + 270 -78 0 +-270 78 0 + 78 -143 0 + 71 -143 0 + -78 -71 143 0 + 77 143 -175 0 + 77 -143 175 0 + -77 143 175 0 + -77 -143 -175 0 + 111 175 -207 0 + 111 -175 207 0 +-111 175 207 0 +-111 -175 -207 0 + 207 15 -239 0 + 207 -15 239 0 +-207 15 239 0 +-207 -15 -239 0 + 271 -79 0 +-271 79 0 + 79 -144 0 + 72 -144 0 + -79 -72 144 0 + 78 144 -176 0 + 78 -144 176 0 + -78 144 176 0 + -78 -144 -176 0 + 112 176 -208 0 + 112 -176 208 0 +-112 176 208 0 +-112 -176 -208 0 + 208 16 -240 0 + 208 -16 240 0 +-208 16 240 0 +-208 -16 -240 0 + 272 -80 0 +-272 80 0 + 80 -145 0 + 73 -145 0 + -80 -73 145 0 + 79 145 -177 0 + 79 -145 177 0 + -79 145 177 0 + -79 -145 -177 0 + 113 177 -209 0 + 113 -177 209 0 +-113 177 209 0 +-113 -177 -209 0 + 209 17 -241 0 + 209 -17 241 0 +-209 17 241 0 +-209 -17 -241 0 + 273 -81 0 +-273 81 0 + 81 -146 0 + 74 -146 0 + -81 -74 146 0 + 80 146 -178 0 + 80 -146 178 0 + -80 146 178 0 + -80 -146 -178 0 + 114 178 -210 0 + 114 -178 210 0 +-114 178 210 0 +-114 -178 -210 0 + 210 18 -242 0 + 210 -18 242 0 +-210 18 242 0 +-210 -18 -242 0 + 274 -82 0 +-274 82 0 + 82 -147 0 + 75 -147 0 + -82 -75 147 0 + 81 147 -179 0 + 81 -147 179 0 + -81 147 179 0 + -81 -147 -179 0 + 115 179 -211 0 + 115 -179 211 0 +-115 179 211 0 +-115 -179 -211 0 + 211 19 -243 0 + 211 -19 243 0 +-211 19 243 0 +-211 -19 -243 0 + 275 -83 0 +-275 83 0 + 83 -148 0 + 76 -148 0 + -83 -76 148 0 + 82 148 -180 0 + 82 -148 180 0 + -82 148 180 0 + -82 -148 -180 0 + 116 180 -212 0 + 116 -180 212 0 +-116 180 212 0 +-116 -180 -212 0 + 212 20 -244 0 + 212 -20 244 0 +-212 20 244 0 +-212 -20 -244 0 + 276 -84 0 +-276 84 0 + 84 -149 0 + 77 -149 0 + -84 -77 149 0 + 83 149 -181 0 + 83 -149 181 0 + -83 149 181 0 + -83 -149 -181 0 + 117 181 -213 0 + 117 -181 213 0 +-117 181 213 0 +-117 -181 -213 0 + 213 21 -245 0 + 213 -21 245 0 +-213 21 245 0 +-213 -21 -245 0 + 277 -85 0 +-277 85 0 + 85 -150 0 + 78 -150 0 + -85 -78 150 0 + 84 150 -182 0 + 84 -150 182 0 + -84 150 182 0 + -84 -150 -182 0 + 118 182 -214 0 + 118 -182 214 0 +-118 182 214 0 +-118 -182 -214 0 + 214 22 -246 0 + 214 -22 246 0 +-214 22 246 0 +-214 -22 -246 0 + 278 -86 0 +-278 86 0 + 86 -151 0 + 79 -151 0 + -86 -79 151 0 + 85 151 -183 0 + 85 -151 183 0 + -85 151 183 0 + -85 -151 -183 0 + 119 183 -215 0 + 119 -183 215 0 +-119 183 215 0 +-119 -183 -215 0 + 215 23 -247 0 + 215 -23 247 0 +-215 23 247 0 +-215 -23 -247 0 + 279 -87 0 +-279 87 0 + 87 -152 0 + 80 -152 0 + -87 -80 152 0 + 86 152 -184 0 + 86 -152 184 0 + -86 152 184 0 + -86 -152 -184 0 + 120 184 -216 0 + 120 -184 216 0 +-120 184 216 0 +-120 -184 -216 0 + 216 24 -248 0 + 216 -24 248 0 +-216 24 248 0 +-216 -24 -248 0 + 280 -88 0 +-280 88 0 + 88 -153 0 + 81 -153 0 + -88 -81 153 0 + 87 153 -185 0 + 87 -153 185 0 + -87 153 185 0 + -87 -153 -185 0 + 121 185 -217 0 + 121 -185 217 0 +-121 185 217 0 +-121 -185 -217 0 + 217 25 -249 0 + 217 -25 249 0 +-217 25 249 0 +-217 -25 -249 0 + 281 -89 0 +-281 89 0 + 89 -154 0 + 82 -154 0 + -89 -82 154 0 + 88 154 -186 0 + 88 -154 186 0 + -88 154 186 0 + -88 -154 -186 0 + 122 186 -218 0 + 122 -186 218 0 +-122 186 218 0 +-122 -186 -218 0 + 218 26 -250 0 + 218 -26 250 0 +-218 26 250 0 +-218 -26 -250 0 + 282 -90 0 +-282 90 0 + 90 -155 0 + 83 -155 0 + -90 -83 155 0 + 89 155 -187 0 + 89 -155 187 0 + -89 155 187 0 + -89 -155 -187 0 + 123 187 -219 0 + 123 -187 219 0 +-123 187 219 0 +-123 -187 -219 0 + 219 27 -251 0 + 219 -27 251 0 +-219 27 251 0 +-219 -27 -251 0 + 283 -91 0 +-283 91 0 + 91 -156 0 + 84 -156 0 + -91 -84 156 0 + 90 156 -188 0 + 90 -156 188 0 + -90 156 188 0 + -90 -156 -188 0 + 124 188 -220 0 + 124 -188 220 0 +-124 188 220 0 +-124 -188 -220 0 + 220 28 -252 0 + 220 -28 252 0 +-220 28 252 0 +-220 -28 -252 0 + 284 -92 0 +-284 92 0 + 92 -157 0 + 85 -157 0 + -92 -85 157 0 + 91 157 -189 0 + 91 -157 189 0 + -91 157 189 0 + -91 -157 -189 0 + 125 189 -221 0 + 125 -189 221 0 +-125 189 221 0 +-125 -189 -221 0 + 221 29 -253 0 + 221 -29 253 0 +-221 29 253 0 +-221 -29 -253 0 + 285 -93 0 +-285 93 0 + 93 -158 0 + 86 -158 0 + -93 -86 158 0 + 92 158 -190 0 + 92 -158 190 0 + -92 158 190 0 + -92 -158 -190 0 + 126 190 -222 0 + 126 -190 222 0 +-126 190 222 0 +-126 -190 -222 0 + 222 30 -254 0 + 222 -30 254 0 +-222 30 254 0 +-222 -30 -254 0 + 286 -94 0 +-286 94 0 + 94 -159 0 + 87 -159 0 + -94 -87 159 0 + 93 159 -191 0 + 93 -159 191 0 + -93 159 191 0 + -93 -159 -191 0 + 127 191 -223 0 + 127 -191 223 0 +-127 191 223 0 +-127 -191 -223 0 + 223 31 -255 0 + 223 -31 255 0 +-223 31 255 0 +-223 -31 -255 0 + 287 -95 0 +-287 95 0 + 95 -160 0 + 88 -160 0 + -95 -88 160 0 + 94 160 -192 0 + 94 -160 192 0 + -94 160 192 0 + -94 -160 -192 0 + 128 192 -224 0 + 128 -192 224 0 +-128 192 224 0 +-128 -192 -224 0 + 224 32 -256 0 + 224 -32 256 0 +-224 32 256 0 +-224 -32 -256 0 + 288 -96 0 +-288 96 0 + 256 -289 0 + 249 -289 0 +-256 -249 289 0 + 255 289 -321 0 + 255 -289 321 0 +-255 289 321 0 +-255 -289 -321 0 + 257 321 -353 0 + 257 -321 353 0 +-257 321 353 0 +-257 -321 -353 0 + 353 1 -385 0 + 353 -1 385 0 +-353 1 385 0 +-353 -1 -385 0 + 417 -225 0 +-417 225 0 + 225 -290 0 + 250 -290 0 +-225 -250 290 0 + 256 290 -322 0 + 256 -290 322 0 +-256 290 322 0 +-256 -290 -322 0 + 258 322 -354 0 + 258 -322 354 0 +-258 322 354 0 +-258 -322 -354 0 + 354 2 -386 0 + 354 -2 386 0 +-354 2 386 0 +-354 -2 -386 0 + 418 -226 0 +-418 226 0 + 226 -291 0 + 251 -291 0 +-226 -251 291 0 + 225 291 -323 0 + 225 -291 323 0 +-225 291 323 0 +-225 -291 -323 0 + 259 323 -355 0 + 259 -323 355 0 +-259 323 355 0 +-259 -323 -355 0 + 355 3 -387 0 + 355 -3 387 0 +-355 3 387 0 +-355 -3 -387 0 + 419 -227 0 +-419 227 0 + 227 -292 0 + 252 -292 0 +-227 -252 292 0 + 226 292 -324 0 + 226 -292 324 0 +-226 292 324 0 +-226 -292 -324 0 + 260 324 -356 0 + 260 -324 356 0 +-260 324 356 0 +-260 -324 -356 0 + 356 4 -388 0 + 356 -4 388 0 +-356 4 388 0 +-356 -4 -388 0 + 420 -228 0 +-420 228 0 + 228 -293 0 + 253 -293 0 +-228 -253 293 0 + 227 293 -325 0 + 227 -293 325 0 +-227 293 325 0 +-227 -293 -325 0 + 261 325 -357 0 + 261 -325 357 0 +-261 325 357 0 +-261 -325 -357 0 + 357 5 -389 0 + 357 -5 389 0 +-357 5 389 0 +-357 -5 -389 0 + 421 -229 0 +-421 229 0 + 229 -294 0 + 254 -294 0 +-229 -254 294 0 + 228 294 -326 0 + 228 -294 326 0 +-228 294 326 0 +-228 -294 -326 0 + 262 326 -358 0 + 262 -326 358 0 +-262 326 358 0 +-262 -326 -358 0 + 358 6 -390 0 + 358 -6 390 0 +-358 6 390 0 +-358 -6 -390 0 + 422 -230 0 +-422 230 0 + 230 -295 0 + 255 -295 0 +-230 -255 295 0 + 229 295 -327 0 + 229 -295 327 0 +-229 295 327 0 +-229 -295 -327 0 + 263 327 -359 0 + 263 -327 359 0 +-263 327 359 0 +-263 -327 -359 0 + 359 7 -391 0 + 359 -7 391 0 +-359 7 391 0 +-359 -7 -391 0 + 423 -231 0 +-423 231 0 + 231 -296 0 + 256 -296 0 +-231 -256 296 0 + 230 296 -328 0 + 230 -296 328 0 +-230 296 328 0 +-230 -296 -328 0 + 264 328 -360 0 + 264 -328 360 0 +-264 328 360 0 +-264 -328 -360 0 + 360 8 -392 0 + 360 -8 392 0 +-360 8 392 0 +-360 -8 -392 0 + 424 -232 0 +-424 232 0 + 232 -297 0 + 225 -297 0 +-232 -225 297 0 + 231 297 -329 0 + 231 -297 329 0 +-231 297 329 0 +-231 -297 -329 0 + 265 329 -361 0 + 265 -329 361 0 +-265 329 361 0 +-265 -329 -361 0 + 361 9 -393 0 + 361 -9 393 0 +-361 9 393 0 +-361 -9 -393 0 + 425 -233 0 +-425 233 0 + 233 -298 0 + 226 -298 0 +-233 -226 298 0 + 232 298 -330 0 + 232 -298 330 0 +-232 298 330 0 +-232 -298 -330 0 + 266 330 -362 0 + 266 -330 362 0 +-266 330 362 0 +-266 -330 -362 0 + 362 10 -394 0 + 362 -10 394 0 +-362 10 394 0 +-362 -10 -394 0 + 426 -234 0 +-426 234 0 + 234 -299 0 + 227 -299 0 +-234 -227 299 0 + 233 299 -331 0 + 233 -299 331 0 +-233 299 331 0 +-233 -299 -331 0 + 267 331 -363 0 + 267 -331 363 0 +-267 331 363 0 +-267 -331 -363 0 + 363 11 -395 0 + 363 -11 395 0 +-363 11 395 0 +-363 -11 -395 0 + 427 -235 0 +-427 235 0 + 235 -300 0 + 228 -300 0 +-235 -228 300 0 + 234 300 -332 0 + 234 -300 332 0 +-234 300 332 0 +-234 -300 -332 0 + 268 332 -364 0 + 268 -332 364 0 +-268 332 364 0 +-268 -332 -364 0 + 364 12 -396 0 + 364 -12 396 0 +-364 12 396 0 +-364 -12 -396 0 + 428 -236 0 +-428 236 0 + 236 -301 0 + 229 -301 0 +-236 -229 301 0 + 235 301 -333 0 + 235 -301 333 0 +-235 301 333 0 +-235 -301 -333 0 + 269 333 -365 0 + 269 -333 365 0 +-269 333 365 0 +-269 -333 -365 0 + 365 13 -397 0 + 365 -13 397 0 +-365 13 397 0 +-365 -13 -397 0 + 429 -237 0 +-429 237 0 + 237 -302 0 + 230 -302 0 +-237 -230 302 0 + 236 302 -334 0 + 236 -302 334 0 +-236 302 334 0 +-236 -302 -334 0 + 270 334 -366 0 + 270 -334 366 0 +-270 334 366 0 +-270 -334 -366 0 + 366 14 -398 0 + 366 -14 398 0 +-366 14 398 0 +-366 -14 -398 0 + 430 -238 0 +-430 238 0 + 238 -303 0 + 231 -303 0 +-238 -231 303 0 + 237 303 -335 0 + 237 -303 335 0 +-237 303 335 0 +-237 -303 -335 0 + 271 335 -367 0 + 271 -335 367 0 +-271 335 367 0 +-271 -335 -367 0 + 367 15 -399 0 + 367 -15 399 0 +-367 15 399 0 +-367 -15 -399 0 + 431 -239 0 +-431 239 0 + 239 -304 0 + 232 -304 0 +-239 -232 304 0 + 238 304 -336 0 + 238 -304 336 0 +-238 304 336 0 +-238 -304 -336 0 + 272 336 -368 0 + 272 -336 368 0 +-272 336 368 0 +-272 -336 -368 0 + 368 16 -400 0 + 368 -16 400 0 +-368 16 400 0 +-368 -16 -400 0 + 432 -240 0 +-432 240 0 + 240 -305 0 + 233 -305 0 +-240 -233 305 0 + 239 305 -337 0 + 239 -305 337 0 +-239 305 337 0 +-239 -305 -337 0 + 273 337 -369 0 + 273 -337 369 0 +-273 337 369 0 +-273 -337 -369 0 + 369 17 -401 0 + 369 -17 401 0 +-369 17 401 0 +-369 -17 -401 0 + 433 -241 0 +-433 241 0 + 241 -306 0 + 234 -306 0 +-241 -234 306 0 + 240 306 -338 0 + 240 -306 338 0 +-240 306 338 0 +-240 -306 -338 0 + 274 338 -370 0 + 274 -338 370 0 +-274 338 370 0 +-274 -338 -370 0 + 370 18 -402 0 + 370 -18 402 0 +-370 18 402 0 +-370 -18 -402 0 + 434 -242 0 +-434 242 0 + 242 -307 0 + 235 -307 0 +-242 -235 307 0 + 241 307 -339 0 + 241 -307 339 0 +-241 307 339 0 +-241 -307 -339 0 + 275 339 -371 0 + 275 -339 371 0 +-275 339 371 0 +-275 -339 -371 0 + 371 19 -403 0 + 371 -19 403 0 +-371 19 403 0 +-371 -19 -403 0 + 435 -243 0 +-435 243 0 + 243 -308 0 + 236 -308 0 +-243 -236 308 0 + 242 308 -340 0 + 242 -308 340 0 +-242 308 340 0 +-242 -308 -340 0 + 276 340 -372 0 + 276 -340 372 0 +-276 340 372 0 +-276 -340 -372 0 + 372 20 -404 0 + 372 -20 404 0 +-372 20 404 0 +-372 -20 -404 0 + 436 -244 0 +-436 244 0 + 244 -309 0 + 237 -309 0 +-244 -237 309 0 + 243 309 -341 0 + 243 -309 341 0 +-243 309 341 0 +-243 -309 -341 0 + 277 341 -373 0 + 277 -341 373 0 +-277 341 373 0 +-277 -341 -373 0 + 373 21 -405 0 + 373 -21 405 0 +-373 21 405 0 +-373 -21 -405 0 + 437 -245 0 +-437 245 0 + 245 -310 0 + 238 -310 0 +-245 -238 310 0 + 244 310 -342 0 + 244 -310 342 0 +-244 310 342 0 +-244 -310 -342 0 + 278 342 -374 0 + 278 -342 374 0 +-278 342 374 0 +-278 -342 -374 0 + 374 22 -406 0 + 374 -22 406 0 +-374 22 406 0 +-374 -22 -406 0 + 438 -246 0 +-438 246 0 + 246 -311 0 + 239 -311 0 +-246 -239 311 0 + 245 311 -343 0 + 245 -311 343 0 +-245 311 343 0 +-245 -311 -343 0 + 279 343 -375 0 + 279 -343 375 0 +-279 343 375 0 +-279 -343 -375 0 + 375 23 -407 0 + 375 -23 407 0 +-375 23 407 0 +-375 -23 -407 0 + 439 -247 0 +-439 247 0 + 247 -312 0 + 240 -312 0 +-247 -240 312 0 + 246 312 -344 0 + 246 -312 344 0 +-246 312 344 0 +-246 -312 -344 0 + 280 344 -376 0 + 280 -344 376 0 +-280 344 376 0 +-280 -344 -376 0 + 376 24 -408 0 + 376 -24 408 0 +-376 24 408 0 +-376 -24 -408 0 + 440 -248 0 +-440 248 0 + 248 -313 0 + 241 -313 0 +-248 -241 313 0 + 247 313 -345 0 + 247 -313 345 0 +-247 313 345 0 +-247 -313 -345 0 + 281 345 -377 0 + 281 -345 377 0 +-281 345 377 0 +-281 -345 -377 0 + 377 25 -409 0 + 377 -25 409 0 +-377 25 409 0 +-377 -25 -409 0 + 441 -249 0 +-441 249 0 + 249 -314 0 + 242 -314 0 +-249 -242 314 0 + 248 314 -346 0 + 248 -314 346 0 +-248 314 346 0 +-248 -314 -346 0 + 282 346 -378 0 + 282 -346 378 0 +-282 346 378 0 +-282 -346 -378 0 + 378 26 -410 0 + 378 -26 410 0 +-378 26 410 0 +-378 -26 -410 0 + 442 -250 0 +-442 250 0 + 250 -315 0 + 243 -315 0 +-250 -243 315 0 + 249 315 -347 0 + 249 -315 347 0 +-249 315 347 0 +-249 -315 -347 0 + 283 347 -379 0 + 283 -347 379 0 +-283 347 379 0 +-283 -347 -379 0 + 379 27 -411 0 + 379 -27 411 0 +-379 27 411 0 +-379 -27 -411 0 + 443 -251 0 +-443 251 0 + 251 -316 0 + 244 -316 0 +-251 -244 316 0 + 250 316 -348 0 + 250 -316 348 0 +-250 316 348 0 +-250 -316 -348 0 + 284 348 -380 0 + 284 -348 380 0 +-284 348 380 0 +-284 -348 -380 0 + 380 28 -412 0 + 380 -28 412 0 +-380 28 412 0 +-380 -28 -412 0 + 444 -252 0 +-444 252 0 + 252 -317 0 + 245 -317 0 +-252 -245 317 0 + 251 317 -349 0 + 251 -317 349 0 +-251 317 349 0 +-251 -317 -349 0 + 285 349 -381 0 + 285 -349 381 0 +-285 349 381 0 +-285 -349 -381 0 + 381 29 -413 0 + 381 -29 413 0 +-381 29 413 0 +-381 -29 -413 0 + 445 -253 0 +-445 253 0 + 253 -318 0 + 246 -318 0 +-253 -246 318 0 + 252 318 -350 0 + 252 -318 350 0 +-252 318 350 0 +-252 -318 -350 0 + 286 350 -382 0 + 286 -350 382 0 +-286 350 382 0 +-286 -350 -382 0 + 382 30 -414 0 + 382 -30 414 0 +-382 30 414 0 +-382 -30 -414 0 + 446 -254 0 +-446 254 0 + 254 -319 0 + 247 -319 0 +-254 -247 319 0 + 253 319 -351 0 + 253 -319 351 0 +-253 319 351 0 +-253 -319 -351 0 + 287 351 -383 0 + 287 -351 383 0 +-287 351 383 0 +-287 -351 -383 0 + 383 31 -415 0 + 383 -31 415 0 +-383 31 415 0 +-383 -31 -415 0 + 447 -255 0 +-447 255 0 + 255 -320 0 + 248 -320 0 +-255 -248 320 0 + 254 320 -352 0 + 254 -320 352 0 +-254 320 352 0 +-254 -320 -352 0 + 288 352 -384 0 + 288 -352 384 0 +-288 352 384 0 +-288 -352 -384 0 + 384 32 -416 0 + 384 -32 416 0 +-384 32 416 0 +-384 -32 -416 0 + 448 -256 0 +-448 256 0 + 416 -449 0 + 409 -449 0 +-416 -409 449 0 + 415 449 -481 0 + 415 -449 481 0 +-415 449 481 0 +-415 -449 -481 0 + 417 481 -513 0 + 417 -481 513 0 +-417 481 513 0 +-417 -481 -513 0 + 513 1 -545 0 + 513 -1 545 0 +-513 1 545 0 +-513 -1 -545 0 + 577 -385 0 +-577 385 0 + 385 -450 0 + 410 -450 0 +-385 -410 450 0 + 416 450 -482 0 + 416 -450 482 0 +-416 450 482 0 +-416 -450 -482 0 + 418 482 -514 0 + 418 -482 514 0 +-418 482 514 0 +-418 -482 -514 0 + 514 2 -546 0 + 514 -2 546 0 +-514 2 546 0 +-514 -2 -546 0 + 578 -386 0 +-578 386 0 + 386 -451 0 + 411 -451 0 +-386 -411 451 0 + 385 451 -483 0 + 385 -451 483 0 +-385 451 483 0 +-385 -451 -483 0 + 419 483 -515 0 + 419 -483 515 0 +-419 483 515 0 +-419 -483 -515 0 + 515 3 -547 0 + 515 -3 547 0 +-515 3 547 0 +-515 -3 -547 0 + 579 -387 0 +-579 387 0 + 387 -452 0 + 412 -452 0 +-387 -412 452 0 + 386 452 -484 0 + 386 -452 484 0 +-386 452 484 0 +-386 -452 -484 0 + 420 484 -516 0 + 420 -484 516 0 +-420 484 516 0 +-420 -484 -516 0 + 516 4 -548 0 + 516 -4 548 0 +-516 4 548 0 +-516 -4 -548 0 + 580 -388 0 +-580 388 0 + 388 -453 0 + 413 -453 0 +-388 -413 453 0 + 387 453 -485 0 + 387 -453 485 0 +-387 453 485 0 +-387 -453 -485 0 + 421 485 -517 0 + 421 -485 517 0 +-421 485 517 0 +-421 -485 -517 0 + 517 5 -549 0 + 517 -5 549 0 +-517 5 549 0 +-517 -5 -549 0 + 581 -389 0 +-581 389 0 + 389 -454 0 + 414 -454 0 +-389 -414 454 0 + 388 454 -486 0 + 388 -454 486 0 +-388 454 486 0 +-388 -454 -486 0 + 422 486 -518 0 + 422 -486 518 0 +-422 486 518 0 +-422 -486 -518 0 + 518 6 -550 0 + 518 -6 550 0 +-518 6 550 0 +-518 -6 -550 0 + 582 -390 0 +-582 390 0 + 390 -455 0 + 415 -455 0 +-390 -415 455 0 + 389 455 -487 0 + 389 -455 487 0 +-389 455 487 0 +-389 -455 -487 0 + 423 487 -519 0 + 423 -487 519 0 +-423 487 519 0 +-423 -487 -519 0 + 519 7 -551 0 + 519 -7 551 0 +-519 7 551 0 +-519 -7 -551 0 + 583 -391 0 +-583 391 0 + 391 -456 0 + 416 -456 0 +-391 -416 456 0 + 390 456 -488 0 + 390 -456 488 0 +-390 456 488 0 +-390 -456 -488 0 + 424 488 -520 0 + 424 -488 520 0 +-424 488 520 0 +-424 -488 -520 0 + 520 8 -552 0 + 520 -8 552 0 +-520 8 552 0 +-520 -8 -552 0 + 584 -392 0 +-584 392 0 + 392 -457 0 + 385 -457 0 +-392 -385 457 0 + 391 457 -489 0 + 391 -457 489 0 +-391 457 489 0 +-391 -457 -489 0 + 425 489 -521 0 + 425 -489 521 0 +-425 489 521 0 +-425 -489 -521 0 + 521 9 -553 0 + 521 -9 553 0 +-521 9 553 0 +-521 -9 -553 0 + 585 -393 0 +-585 393 0 + 393 -458 0 + 386 -458 0 +-393 -386 458 0 + 392 458 -490 0 + 392 -458 490 0 +-392 458 490 0 +-392 -458 -490 0 + 426 490 -522 0 + 426 -490 522 0 +-426 490 522 0 +-426 -490 -522 0 + 522 10 -554 0 + 522 -10 554 0 +-522 10 554 0 +-522 -10 -554 0 + 586 -394 0 +-586 394 0 + 394 -459 0 + 387 -459 0 +-394 -387 459 0 + 393 459 -491 0 + 393 -459 491 0 +-393 459 491 0 +-393 -459 -491 0 + 427 491 -523 0 + 427 -491 523 0 +-427 491 523 0 +-427 -491 -523 0 + 523 11 -555 0 + 523 -11 555 0 +-523 11 555 0 +-523 -11 -555 0 + 587 -395 0 +-587 395 0 + 395 -460 0 + 388 -460 0 +-395 -388 460 0 + 394 460 -492 0 + 394 -460 492 0 +-394 460 492 0 +-394 -460 -492 0 + 428 492 -524 0 + 428 -492 524 0 +-428 492 524 0 +-428 -492 -524 0 + 524 12 -556 0 + 524 -12 556 0 +-524 12 556 0 +-524 -12 -556 0 + 588 -396 0 +-588 396 0 + 396 -461 0 + 389 -461 0 +-396 -389 461 0 + 395 461 -493 0 + 395 -461 493 0 +-395 461 493 0 +-395 -461 -493 0 + 429 493 -525 0 + 429 -493 525 0 +-429 493 525 0 +-429 -493 -525 0 + 525 13 -557 0 + 525 -13 557 0 +-525 13 557 0 +-525 -13 -557 0 + 589 -397 0 +-589 397 0 + 397 -462 0 + 390 -462 0 +-397 -390 462 0 + 396 462 -494 0 + 396 -462 494 0 +-396 462 494 0 +-396 -462 -494 0 + 430 494 -526 0 + 430 -494 526 0 +-430 494 526 0 +-430 -494 -526 0 + 526 14 -558 0 + 526 -14 558 0 +-526 14 558 0 +-526 -14 -558 0 + 590 -398 0 +-590 398 0 + 398 -463 0 + 391 -463 0 +-398 -391 463 0 + 397 463 -495 0 + 397 -463 495 0 +-397 463 495 0 +-397 -463 -495 0 + 431 495 -527 0 + 431 -495 527 0 +-431 495 527 0 +-431 -495 -527 0 + 527 15 -559 0 + 527 -15 559 0 +-527 15 559 0 +-527 -15 -559 0 + 591 -399 0 +-591 399 0 + 399 -464 0 + 392 -464 0 +-399 -392 464 0 + 398 464 -496 0 + 398 -464 496 0 +-398 464 496 0 +-398 -464 -496 0 + 432 496 -528 0 + 432 -496 528 0 +-432 496 528 0 +-432 -496 -528 0 + 528 16 -560 0 + 528 -16 560 0 +-528 16 560 0 +-528 -16 -560 0 + 592 -400 0 +-592 400 0 + 400 -465 0 + 393 -465 0 +-400 -393 465 0 + 399 465 -497 0 + 399 -465 497 0 +-399 465 497 0 +-399 -465 -497 0 + 433 497 -529 0 + 433 -497 529 0 +-433 497 529 0 +-433 -497 -529 0 + 529 17 -561 0 + 529 -17 561 0 +-529 17 561 0 +-529 -17 -561 0 + 593 -401 0 +-593 401 0 + 401 -466 0 + 394 -466 0 +-401 -394 466 0 + 400 466 -498 0 + 400 -466 498 0 +-400 466 498 0 +-400 -466 -498 0 + 434 498 -530 0 + 434 -498 530 0 +-434 498 530 0 +-434 -498 -530 0 + 530 18 -562 0 + 530 -18 562 0 +-530 18 562 0 +-530 -18 -562 0 + 594 -402 0 +-594 402 0 + 402 -467 0 + 395 -467 0 +-402 -395 467 0 + 401 467 -499 0 + 401 -467 499 0 +-401 467 499 0 +-401 -467 -499 0 + 435 499 -531 0 + 435 -499 531 0 +-435 499 531 0 +-435 -499 -531 0 + 531 19 -563 0 + 531 -19 563 0 +-531 19 563 0 +-531 -19 -563 0 + 595 -403 0 +-595 403 0 + 403 -468 0 + 396 -468 0 +-403 -396 468 0 + 402 468 -500 0 + 402 -468 500 0 +-402 468 500 0 +-402 -468 -500 0 + 436 500 -532 0 + 436 -500 532 0 +-436 500 532 0 +-436 -500 -532 0 + 532 20 -564 0 + 532 -20 564 0 +-532 20 564 0 +-532 -20 -564 0 + 596 -404 0 +-596 404 0 + 404 -469 0 + 397 -469 0 +-404 -397 469 0 + 403 469 -501 0 + 403 -469 501 0 +-403 469 501 0 +-403 -469 -501 0 + 437 501 -533 0 + 437 -501 533 0 +-437 501 533 0 +-437 -501 -533 0 + 533 21 -565 0 + 533 -21 565 0 +-533 21 565 0 +-533 -21 -565 0 + 597 -405 0 +-597 405 0 + 405 -470 0 + 398 -470 0 +-405 -398 470 0 + 404 470 -502 0 + 404 -470 502 0 +-404 470 502 0 +-404 -470 -502 0 + 438 502 -534 0 + 438 -502 534 0 +-438 502 534 0 +-438 -502 -534 0 + 534 22 -566 0 + 534 -22 566 0 +-534 22 566 0 +-534 -22 -566 0 + 598 -406 0 +-598 406 0 + 406 -471 0 + 399 -471 0 +-406 -399 471 0 + 405 471 -503 0 + 405 -471 503 0 +-405 471 503 0 +-405 -471 -503 0 + 439 503 -535 0 + 439 -503 535 0 +-439 503 535 0 +-439 -503 -535 0 + 535 23 -567 0 + 535 -23 567 0 +-535 23 567 0 +-535 -23 -567 0 + 599 -407 0 +-599 407 0 + 407 -472 0 + 400 -472 0 +-407 -400 472 0 + 406 472 -504 0 + 406 -472 504 0 +-406 472 504 0 +-406 -472 -504 0 + 440 504 -536 0 + 440 -504 536 0 +-440 504 536 0 +-440 -504 -536 0 + 536 24 -568 0 + 536 -24 568 0 +-536 24 568 0 +-536 -24 -568 0 + 600 -408 0 +-600 408 0 + 408 -473 0 + 401 -473 0 +-408 -401 473 0 + 407 473 -505 0 + 407 -473 505 0 +-407 473 505 0 +-407 -473 -505 0 + 441 505 -537 0 + 441 -505 537 0 +-441 505 537 0 +-441 -505 -537 0 + 537 25 -569 0 + 537 -25 569 0 +-537 25 569 0 +-537 -25 -569 0 + 601 -409 0 +-601 409 0 + 409 -474 0 + 402 -474 0 +-409 -402 474 0 + 408 474 -506 0 + 408 -474 506 0 +-408 474 506 0 +-408 -474 -506 0 + 442 506 -538 0 + 442 -506 538 0 +-442 506 538 0 +-442 -506 -538 0 + 538 26 -570 0 + 538 -26 570 0 +-538 26 570 0 +-538 -26 -570 0 + 602 -410 0 +-602 410 0 + 410 -475 0 + 403 -475 0 +-410 -403 475 0 + 409 475 -507 0 + 409 -475 507 0 +-409 475 507 0 +-409 -475 -507 0 + 443 507 -539 0 + 443 -507 539 0 +-443 507 539 0 +-443 -507 -539 0 + 539 27 -571 0 + 539 -27 571 0 +-539 27 571 0 +-539 -27 -571 0 + 603 -411 0 +-603 411 0 + 411 -476 0 + 404 -476 0 +-411 -404 476 0 + 410 476 -508 0 + 410 -476 508 0 +-410 476 508 0 +-410 -476 -508 0 + 444 508 -540 0 + 444 -508 540 0 +-444 508 540 0 +-444 -508 -540 0 + 540 28 -572 0 + 540 -28 572 0 +-540 28 572 0 +-540 -28 -572 0 + 604 -412 0 +-604 412 0 + 412 -477 0 + 405 -477 0 +-412 -405 477 0 + 411 477 -509 0 + 411 -477 509 0 +-411 477 509 0 +-411 -477 -509 0 + 445 509 -541 0 + 445 -509 541 0 +-445 509 541 0 +-445 -509 -541 0 + 541 29 -573 0 + 541 -29 573 0 +-541 29 573 0 +-541 -29 -573 0 + 605 -413 0 +-605 413 0 + 413 -478 0 + 406 -478 0 +-413 -406 478 0 + 412 478 -510 0 + 412 -478 510 0 +-412 478 510 0 +-412 -478 -510 0 + 446 510 -542 0 + 446 -510 542 0 +-446 510 542 0 +-446 -510 -542 0 + 542 30 -574 0 + 542 -30 574 0 +-542 30 574 0 +-542 -30 -574 0 + 606 -414 0 +-606 414 0 + 414 -479 0 + 407 -479 0 +-414 -407 479 0 + 413 479 -511 0 + 413 -479 511 0 +-413 479 511 0 +-413 -479 -511 0 + 447 511 -543 0 + 447 -511 543 0 +-447 511 543 0 +-447 -511 -543 0 + 543 31 -575 0 + 543 -31 575 0 +-543 31 575 0 +-543 -31 -575 0 + 607 -415 0 +-607 415 0 + 415 -480 0 + 408 -480 0 +-415 -408 480 0 + 414 480 -512 0 + 414 -480 512 0 +-414 480 512 0 +-414 -480 -512 0 + 448 512 -544 0 + 448 -512 544 0 +-448 512 544 0 +-448 -512 -544 0 + 544 32 -576 0 + 544 -32 576 0 +-544 32 576 0 +-544 -32 -576 0 + 608 -416 0 +-608 416 0 + 576 -609 0 + 569 -609 0 +-576 -569 609 0 + 575 609 -641 0 + 575 -609 641 0 +-575 609 641 0 +-575 -609 -641 0 + 577 641 -673 0 + 577 -641 673 0 +-577 641 673 0 +-577 -641 -673 0 + 673 1 -705 0 + 673 -1 705 0 +-673 1 705 0 +-673 -1 -705 0 + 737 -545 0 +-737 545 0 + 545 -610 0 + 570 -610 0 +-545 -570 610 0 + 576 610 -642 0 + 576 -610 642 0 +-576 610 642 0 +-576 -610 -642 0 + 578 642 -674 0 + 578 -642 674 0 +-578 642 674 0 +-578 -642 -674 0 + 674 2 -706 0 + 674 -2 706 0 +-674 2 706 0 +-674 -2 -706 0 + 738 -546 0 +-738 546 0 + 546 -611 0 + 571 -611 0 +-546 -571 611 0 + 545 611 -643 0 + 545 -611 643 0 +-545 611 643 0 +-545 -611 -643 0 + 579 643 -675 0 + 579 -643 675 0 +-579 643 675 0 +-579 -643 -675 0 + 675 3 -707 0 + 675 -3 707 0 +-675 3 707 0 +-675 -3 -707 0 + 739 -547 0 +-739 547 0 + 547 -612 0 + 572 -612 0 +-547 -572 612 0 + 546 612 -644 0 + 546 -612 644 0 +-546 612 644 0 +-546 -612 -644 0 + 580 644 -676 0 + 580 -644 676 0 +-580 644 676 0 +-580 -644 -676 0 + 676 4 -708 0 + 676 -4 708 0 +-676 4 708 0 +-676 -4 -708 0 + 740 -548 0 +-740 548 0 + 548 -613 0 + 573 -613 0 +-548 -573 613 0 + 547 613 -645 0 + 547 -613 645 0 +-547 613 645 0 +-547 -613 -645 0 + 581 645 -677 0 + 581 -645 677 0 +-581 645 677 0 +-581 -645 -677 0 + 677 5 -709 0 + 677 -5 709 0 +-677 5 709 0 +-677 -5 -709 0 + 741 -549 0 +-741 549 0 + 549 -614 0 + 574 -614 0 +-549 -574 614 0 + 548 614 -646 0 + 548 -614 646 0 +-548 614 646 0 +-548 -614 -646 0 + 582 646 -678 0 + 582 -646 678 0 +-582 646 678 0 +-582 -646 -678 0 + 678 6 -710 0 + 678 -6 710 0 +-678 6 710 0 +-678 -6 -710 0 + 742 -550 0 +-742 550 0 + 550 -615 0 + 575 -615 0 +-550 -575 615 0 + 549 615 -647 0 + 549 -615 647 0 +-549 615 647 0 +-549 -615 -647 0 + 583 647 -679 0 + 583 -647 679 0 +-583 647 679 0 +-583 -647 -679 0 + 679 7 -711 0 + 679 -7 711 0 +-679 7 711 0 +-679 -7 -711 0 + 743 -551 0 +-743 551 0 + 551 -616 0 + 576 -616 0 +-551 -576 616 0 + 550 616 -648 0 + 550 -616 648 0 +-550 616 648 0 +-550 -616 -648 0 + 584 648 -680 0 + 584 -648 680 0 +-584 648 680 0 +-584 -648 -680 0 + 680 8 -712 0 + 680 -8 712 0 +-680 8 712 0 +-680 -8 -712 0 + 744 -552 0 +-744 552 0 + 552 -617 0 + 545 -617 0 +-552 -545 617 0 + 551 617 -649 0 + 551 -617 649 0 +-551 617 649 0 +-551 -617 -649 0 + 585 649 -681 0 + 585 -649 681 0 +-585 649 681 0 +-585 -649 -681 0 + 681 9 -713 0 + 681 -9 713 0 +-681 9 713 0 +-681 -9 -713 0 + 745 -553 0 +-745 553 0 + 553 -618 0 + 546 -618 0 +-553 -546 618 0 + 552 618 -650 0 + 552 -618 650 0 +-552 618 650 0 +-552 -618 -650 0 + 586 650 -682 0 + 586 -650 682 0 +-586 650 682 0 +-586 -650 -682 0 + 682 10 -714 0 + 682 -10 714 0 +-682 10 714 0 +-682 -10 -714 0 + 746 -554 0 +-746 554 0 + 554 -619 0 + 547 -619 0 +-554 -547 619 0 + 553 619 -651 0 + 553 -619 651 0 +-553 619 651 0 +-553 -619 -651 0 + 587 651 -683 0 + 587 -651 683 0 +-587 651 683 0 +-587 -651 -683 0 + 683 11 -715 0 + 683 -11 715 0 +-683 11 715 0 +-683 -11 -715 0 + 747 -555 0 +-747 555 0 + 555 -620 0 + 548 -620 0 +-555 -548 620 0 + 554 620 -652 0 + 554 -620 652 0 +-554 620 652 0 +-554 -620 -652 0 + 588 652 -684 0 + 588 -652 684 0 +-588 652 684 0 +-588 -652 -684 0 + 684 12 -716 0 + 684 -12 716 0 +-684 12 716 0 +-684 -12 -716 0 + 748 -556 0 +-748 556 0 + 556 -621 0 + 549 -621 0 +-556 -549 621 0 + 555 621 -653 0 + 555 -621 653 0 +-555 621 653 0 +-555 -621 -653 0 + 589 653 -685 0 + 589 -653 685 0 +-589 653 685 0 +-589 -653 -685 0 + 685 13 -717 0 + 685 -13 717 0 +-685 13 717 0 +-685 -13 -717 0 + 749 -557 0 +-749 557 0 + 557 -622 0 + 550 -622 0 +-557 -550 622 0 + 556 622 -654 0 + 556 -622 654 0 +-556 622 654 0 +-556 -622 -654 0 + 590 654 -686 0 + 590 -654 686 0 +-590 654 686 0 +-590 -654 -686 0 + 686 14 -718 0 + 686 -14 718 0 +-686 14 718 0 +-686 -14 -718 0 + 750 -558 0 +-750 558 0 + 558 -623 0 + 551 -623 0 +-558 -551 623 0 + 557 623 -655 0 + 557 -623 655 0 +-557 623 655 0 +-557 -623 -655 0 + 591 655 -687 0 + 591 -655 687 0 +-591 655 687 0 +-591 -655 -687 0 + 687 15 -719 0 + 687 -15 719 0 +-687 15 719 0 +-687 -15 -719 0 + 751 -559 0 +-751 559 0 + 559 -624 0 + 552 -624 0 +-559 -552 624 0 + 558 624 -656 0 + 558 -624 656 0 +-558 624 656 0 +-558 -624 -656 0 + 592 656 -688 0 + 592 -656 688 0 +-592 656 688 0 +-592 -656 -688 0 + 688 16 -720 0 + 688 -16 720 0 +-688 16 720 0 +-688 -16 -720 0 + 752 -560 0 +-752 560 0 + 560 -625 0 + 553 -625 0 +-560 -553 625 0 + 559 625 -657 0 + 559 -625 657 0 +-559 625 657 0 +-559 -625 -657 0 + 593 657 -689 0 + 593 -657 689 0 +-593 657 689 0 +-593 -657 -689 0 + 689 17 -721 0 + 689 -17 721 0 +-689 17 721 0 +-689 -17 -721 0 + 753 -561 0 +-753 561 0 + 561 -626 0 + 554 -626 0 +-561 -554 626 0 + 560 626 -658 0 + 560 -626 658 0 +-560 626 658 0 +-560 -626 -658 0 + 594 658 -690 0 + 594 -658 690 0 +-594 658 690 0 +-594 -658 -690 0 + 690 18 -722 0 + 690 -18 722 0 +-690 18 722 0 +-690 -18 -722 0 + 754 -562 0 +-754 562 0 + 562 -627 0 + 555 -627 0 +-562 -555 627 0 + 561 627 -659 0 + 561 -627 659 0 +-561 627 659 0 +-561 -627 -659 0 + 595 659 -691 0 + 595 -659 691 0 +-595 659 691 0 +-595 -659 -691 0 + 691 19 -723 0 + 691 -19 723 0 +-691 19 723 0 +-691 -19 -723 0 + 755 -563 0 +-755 563 0 + 563 -628 0 + 556 -628 0 +-563 -556 628 0 + 562 628 -660 0 + 562 -628 660 0 +-562 628 660 0 +-562 -628 -660 0 + 596 660 -692 0 + 596 -660 692 0 +-596 660 692 0 +-596 -660 -692 0 + 692 20 -724 0 + 692 -20 724 0 +-692 20 724 0 +-692 -20 -724 0 + 756 -564 0 +-756 564 0 + 564 -629 0 + 557 -629 0 +-564 -557 629 0 + 563 629 -661 0 + 563 -629 661 0 +-563 629 661 0 +-563 -629 -661 0 + 597 661 -693 0 + 597 -661 693 0 +-597 661 693 0 +-597 -661 -693 0 + 693 21 -725 0 + 693 -21 725 0 +-693 21 725 0 +-693 -21 -725 0 + 757 -565 0 +-757 565 0 + 565 -630 0 + 558 -630 0 +-565 -558 630 0 + 564 630 -662 0 + 564 -630 662 0 +-564 630 662 0 +-564 -630 -662 0 + 598 662 -694 0 + 598 -662 694 0 +-598 662 694 0 +-598 -662 -694 0 + 694 22 -726 0 + 694 -22 726 0 +-694 22 726 0 +-694 -22 -726 0 + 758 -566 0 +-758 566 0 + 566 -631 0 + 559 -631 0 +-566 -559 631 0 + 565 631 -663 0 + 565 -631 663 0 +-565 631 663 0 +-565 -631 -663 0 + 599 663 -695 0 + 599 -663 695 0 +-599 663 695 0 +-599 -663 -695 0 + 695 23 -727 0 + 695 -23 727 0 +-695 23 727 0 +-695 -23 -727 0 + 759 -567 0 +-759 567 0 + 567 -632 0 + 560 -632 0 +-567 -560 632 0 + 566 632 -664 0 + 566 -632 664 0 +-566 632 664 0 +-566 -632 -664 0 + 600 664 -696 0 + 600 -664 696 0 +-600 664 696 0 +-600 -664 -696 0 + 696 24 -728 0 + 696 -24 728 0 +-696 24 728 0 +-696 -24 -728 0 + 760 -568 0 +-760 568 0 + 568 -633 0 + 561 -633 0 +-568 -561 633 0 + 567 633 -665 0 + 567 -633 665 0 +-567 633 665 0 +-567 -633 -665 0 + 601 665 -697 0 + 601 -665 697 0 +-601 665 697 0 +-601 -665 -697 0 + 697 25 -729 0 + 697 -25 729 0 +-697 25 729 0 +-697 -25 -729 0 + 761 -569 0 +-761 569 0 + 569 -634 0 + 562 -634 0 +-569 -562 634 0 + 568 634 -666 0 + 568 -634 666 0 +-568 634 666 0 +-568 -634 -666 0 + 602 666 -698 0 + 602 -666 698 0 +-602 666 698 0 +-602 -666 -698 0 + 698 26 -730 0 + 698 -26 730 0 +-698 26 730 0 +-698 -26 -730 0 + 762 -570 0 +-762 570 0 + 570 -635 0 + 563 -635 0 +-570 -563 635 0 + 569 635 -667 0 + 569 -635 667 0 +-569 635 667 0 +-569 -635 -667 0 + 603 667 -699 0 + 603 -667 699 0 +-603 667 699 0 +-603 -667 -699 0 + 699 27 -731 0 + 699 -27 731 0 +-699 27 731 0 +-699 -27 -731 0 + 763 -571 0 +-763 571 0 + 571 -636 0 + 564 -636 0 +-571 -564 636 0 + 570 636 -668 0 + 570 -636 668 0 +-570 636 668 0 +-570 -636 -668 0 + 604 668 -700 0 + 604 -668 700 0 +-604 668 700 0 +-604 -668 -700 0 + 700 28 -732 0 + 700 -28 732 0 +-700 28 732 0 +-700 -28 -732 0 + 764 -572 0 +-764 572 0 + 572 -637 0 + 565 -637 0 +-572 -565 637 0 + 571 637 -669 0 + 571 -637 669 0 +-571 637 669 0 +-571 -637 -669 0 + 605 669 -701 0 + 605 -669 701 0 +-605 669 701 0 +-605 -669 -701 0 + 701 29 -733 0 + 701 -29 733 0 +-701 29 733 0 +-701 -29 -733 0 + 765 -573 0 +-765 573 0 + 573 -638 0 + 566 -638 0 +-573 -566 638 0 + 572 638 -670 0 + 572 -638 670 0 +-572 638 670 0 +-572 -638 -670 0 + 606 670 -702 0 + 606 -670 702 0 +-606 670 702 0 +-606 -670 -702 0 + 702 30 -734 0 + 702 -30 734 0 +-702 30 734 0 +-702 -30 -734 0 + 766 -574 0 +-766 574 0 + 574 -639 0 + 567 -639 0 +-574 -567 639 0 + 573 639 -671 0 + 573 -639 671 0 +-573 639 671 0 +-573 -639 -671 0 + 607 671 -703 0 + 607 -671 703 0 +-607 671 703 0 +-607 -671 -703 0 + 703 31 -735 0 + 703 -31 735 0 +-703 31 735 0 +-703 -31 -735 0 + 767 -575 0 +-767 575 0 + 575 -640 0 + 568 -640 0 +-575 -568 640 0 + 574 640 -672 0 + 574 -640 672 0 +-574 640 672 0 +-574 -640 -672 0 + 608 672 -704 0 + 608 -672 704 0 +-608 672 704 0 +-608 -672 -704 0 + 704 32 -736 0 + 704 -32 736 0 +-704 32 736 0 +-704 -32 -736 0 + 768 -576 0 +-768 576 0 + 736 -769 0 + 729 -769 0 +-736 -729 769 0 + 735 769 -801 0 + 735 -769 801 0 +-735 769 801 0 +-735 -769 -801 0 + 737 801 -833 0 + 737 -801 833 0 +-737 801 833 0 +-737 -801 -833 0 + 833 1 -865 0 + 833 -1 865 0 +-833 1 865 0 +-833 -1 -865 0 + 897 -705 0 +-897 705 0 + 705 -770 0 + 730 -770 0 +-705 -730 770 0 + 736 770 -802 0 + 736 -770 802 0 +-736 770 802 0 +-736 -770 -802 0 + 738 802 -834 0 + 738 -802 834 0 +-738 802 834 0 +-738 -802 -834 0 + 834 2 -866 0 + 834 -2 866 0 +-834 2 866 0 +-834 -2 -866 0 + 898 -706 0 +-898 706 0 + 706 -771 0 + 731 -771 0 +-706 -731 771 0 + 705 771 -803 0 + 705 -771 803 0 +-705 771 803 0 +-705 -771 -803 0 + 739 803 -835 0 + 739 -803 835 0 +-739 803 835 0 +-739 -803 -835 0 + 835 3 -867 0 + 835 -3 867 0 +-835 3 867 0 +-835 -3 -867 0 + 899 -707 0 +-899 707 0 + 707 -772 0 + 732 -772 0 +-707 -732 772 0 + 706 772 -804 0 + 706 -772 804 0 +-706 772 804 0 +-706 -772 -804 0 + 740 804 -836 0 + 740 -804 836 0 +-740 804 836 0 +-740 -804 -836 0 + 836 4 -868 0 + 836 -4 868 0 +-836 4 868 0 +-836 -4 -868 0 + 900 -708 0 +-900 708 0 + 708 -773 0 + 733 -773 0 +-708 -733 773 0 + 707 773 -805 0 + 707 -773 805 0 +-707 773 805 0 +-707 -773 -805 0 + 741 805 -837 0 + 741 -805 837 0 +-741 805 837 0 +-741 -805 -837 0 + 837 5 -869 0 + 837 -5 869 0 +-837 5 869 0 +-837 -5 -869 0 + 901 -709 0 +-901 709 0 + 709 -774 0 + 734 -774 0 +-709 -734 774 0 + 708 774 -806 0 + 708 -774 806 0 +-708 774 806 0 +-708 -774 -806 0 + 742 806 -838 0 + 742 -806 838 0 +-742 806 838 0 +-742 -806 -838 0 + 838 6 -870 0 + 838 -6 870 0 +-838 6 870 0 +-838 -6 -870 0 + 902 -710 0 +-902 710 0 + 710 -775 0 + 735 -775 0 +-710 -735 775 0 + 709 775 -807 0 + 709 -775 807 0 +-709 775 807 0 +-709 -775 -807 0 + 743 807 -839 0 + 743 -807 839 0 +-743 807 839 0 +-743 -807 -839 0 + 839 7 -871 0 + 839 -7 871 0 +-839 7 871 0 +-839 -7 -871 0 + 903 -711 0 +-903 711 0 + 711 -776 0 + 736 -776 0 +-711 -736 776 0 + 710 776 -808 0 + 710 -776 808 0 +-710 776 808 0 +-710 -776 -808 0 + 744 808 -840 0 + 744 -808 840 0 +-744 808 840 0 +-744 -808 -840 0 + 840 8 -872 0 + 840 -8 872 0 +-840 8 872 0 +-840 -8 -872 0 + 904 -712 0 +-904 712 0 + 712 -777 0 + 705 -777 0 +-712 -705 777 0 + 711 777 -809 0 + 711 -777 809 0 +-711 777 809 0 +-711 -777 -809 0 + 745 809 -841 0 + 745 -809 841 0 +-745 809 841 0 +-745 -809 -841 0 + 841 9 -873 0 + 841 -9 873 0 +-841 9 873 0 +-841 -9 -873 0 + 905 -713 0 +-905 713 0 + 713 -778 0 + 706 -778 0 +-713 -706 778 0 + 712 778 -810 0 + 712 -778 810 0 +-712 778 810 0 +-712 -778 -810 0 + 746 810 -842 0 + 746 -810 842 0 +-746 810 842 0 +-746 -810 -842 0 + 842 10 -874 0 + 842 -10 874 0 +-842 10 874 0 +-842 -10 -874 0 + 906 -714 0 +-906 714 0 + 714 -779 0 + 707 -779 0 +-714 -707 779 0 + 713 779 -811 0 + 713 -779 811 0 +-713 779 811 0 +-713 -779 -811 0 + 747 811 -843 0 + 747 -811 843 0 +-747 811 843 0 +-747 -811 -843 0 + 843 11 -875 0 + 843 -11 875 0 +-843 11 875 0 +-843 -11 -875 0 + 907 -715 0 +-907 715 0 + 715 -780 0 + 708 -780 0 +-715 -708 780 0 + 714 780 -812 0 + 714 -780 812 0 +-714 780 812 0 +-714 -780 -812 0 + 748 812 -844 0 + 748 -812 844 0 +-748 812 844 0 +-748 -812 -844 0 + 844 12 -876 0 + 844 -12 876 0 +-844 12 876 0 +-844 -12 -876 0 + 908 -716 0 +-908 716 0 + 716 -781 0 + 709 -781 0 +-716 -709 781 0 + 715 781 -813 0 + 715 -781 813 0 +-715 781 813 0 +-715 -781 -813 0 + 749 813 -845 0 + 749 -813 845 0 +-749 813 845 0 +-749 -813 -845 0 + 845 13 -877 0 + 845 -13 877 0 +-845 13 877 0 +-845 -13 -877 0 + 909 -717 0 +-909 717 0 + 717 -782 0 + 710 -782 0 +-717 -710 782 0 + 716 782 -814 0 + 716 -782 814 0 +-716 782 814 0 +-716 -782 -814 0 + 750 814 -846 0 + 750 -814 846 0 +-750 814 846 0 +-750 -814 -846 0 + 846 14 -878 0 + 846 -14 878 0 +-846 14 878 0 +-846 -14 -878 0 + 910 -718 0 +-910 718 0 + 718 -783 0 + 711 -783 0 +-718 -711 783 0 + 717 783 -815 0 + 717 -783 815 0 +-717 783 815 0 +-717 -783 -815 0 + 751 815 -847 0 + 751 -815 847 0 +-751 815 847 0 +-751 -815 -847 0 + 847 15 -879 0 + 847 -15 879 0 +-847 15 879 0 +-847 -15 -879 0 + 911 -719 0 +-911 719 0 + 719 -784 0 + 712 -784 0 +-719 -712 784 0 + 718 784 -816 0 + 718 -784 816 0 +-718 784 816 0 +-718 -784 -816 0 + 752 816 -848 0 + 752 -816 848 0 +-752 816 848 0 +-752 -816 -848 0 + 848 16 -880 0 + 848 -16 880 0 +-848 16 880 0 +-848 -16 -880 0 + 912 -720 0 +-912 720 0 + 720 -785 0 + 713 -785 0 +-720 -713 785 0 + 719 785 -817 0 + 719 -785 817 0 +-719 785 817 0 +-719 -785 -817 0 + 753 817 -849 0 + 753 -817 849 0 +-753 817 849 0 +-753 -817 -849 0 + 849 17 -881 0 + 849 -17 881 0 +-849 17 881 0 +-849 -17 -881 0 + 913 -721 0 +-913 721 0 + 721 -786 0 + 714 -786 0 +-721 -714 786 0 + 720 786 -818 0 + 720 -786 818 0 +-720 786 818 0 +-720 -786 -818 0 + 754 818 -850 0 + 754 -818 850 0 +-754 818 850 0 +-754 -818 -850 0 + 850 18 -882 0 + 850 -18 882 0 +-850 18 882 0 +-850 -18 -882 0 + 914 -722 0 +-914 722 0 + 722 -787 0 + 715 -787 0 +-722 -715 787 0 + 721 787 -819 0 + 721 -787 819 0 +-721 787 819 0 +-721 -787 -819 0 + 755 819 -851 0 + 755 -819 851 0 +-755 819 851 0 +-755 -819 -851 0 + 851 19 -883 0 + 851 -19 883 0 +-851 19 883 0 +-851 -19 -883 0 + 915 -723 0 +-915 723 0 + 723 -788 0 + 716 -788 0 +-723 -716 788 0 + 722 788 -820 0 + 722 -788 820 0 +-722 788 820 0 +-722 -788 -820 0 + 756 820 -852 0 + 756 -820 852 0 +-756 820 852 0 +-756 -820 -852 0 + 852 20 -884 0 + 852 -20 884 0 +-852 20 884 0 +-852 -20 -884 0 + 916 -724 0 +-916 724 0 + 724 -789 0 + 717 -789 0 +-724 -717 789 0 + 723 789 -821 0 + 723 -789 821 0 +-723 789 821 0 +-723 -789 -821 0 + 757 821 -853 0 + 757 -821 853 0 +-757 821 853 0 +-757 -821 -853 0 + 853 21 -885 0 + 853 -21 885 0 +-853 21 885 0 +-853 -21 -885 0 + 917 -725 0 +-917 725 0 + 725 -790 0 + 718 -790 0 +-725 -718 790 0 + 724 790 -822 0 + 724 -790 822 0 +-724 790 822 0 +-724 -790 -822 0 + 758 822 -854 0 + 758 -822 854 0 +-758 822 854 0 +-758 -822 -854 0 + 854 22 -886 0 + 854 -22 886 0 +-854 22 886 0 +-854 -22 -886 0 + 918 -726 0 +-918 726 0 + 726 -791 0 + 719 -791 0 +-726 -719 791 0 + 725 791 -823 0 + 725 -791 823 0 +-725 791 823 0 +-725 -791 -823 0 + 759 823 -855 0 + 759 -823 855 0 +-759 823 855 0 +-759 -823 -855 0 + 855 23 -887 0 + 855 -23 887 0 +-855 23 887 0 +-855 -23 -887 0 + 919 -727 0 +-919 727 0 + 727 -792 0 + 720 -792 0 +-727 -720 792 0 + 726 792 -824 0 + 726 -792 824 0 +-726 792 824 0 +-726 -792 -824 0 + 760 824 -856 0 + 760 -824 856 0 +-760 824 856 0 +-760 -824 -856 0 + 856 24 -888 0 + 856 -24 888 0 +-856 24 888 0 +-856 -24 -888 0 + 920 -728 0 +-920 728 0 + 728 -793 0 + 721 -793 0 +-728 -721 793 0 + 727 793 -825 0 + 727 -793 825 0 +-727 793 825 0 +-727 -793 -825 0 + 761 825 -857 0 + 761 -825 857 0 +-761 825 857 0 +-761 -825 -857 0 + 857 25 -889 0 + 857 -25 889 0 +-857 25 889 0 +-857 -25 -889 0 + 921 -729 0 +-921 729 0 + 729 -794 0 + 722 -794 0 +-729 -722 794 0 + 728 794 -826 0 + 728 -794 826 0 +-728 794 826 0 +-728 -794 -826 0 + 762 826 -858 0 + 762 -826 858 0 +-762 826 858 0 +-762 -826 -858 0 + 858 26 -890 0 + 858 -26 890 0 +-858 26 890 0 +-858 -26 -890 0 + 922 -730 0 +-922 730 0 + 730 -795 0 + 723 -795 0 +-730 -723 795 0 + 729 795 -827 0 + 729 -795 827 0 +-729 795 827 0 +-729 -795 -827 0 + 763 827 -859 0 + 763 -827 859 0 +-763 827 859 0 +-763 -827 -859 0 + 859 27 -891 0 + 859 -27 891 0 +-859 27 891 0 +-859 -27 -891 0 + 923 -731 0 +-923 731 0 + 731 -796 0 + 724 -796 0 +-731 -724 796 0 + 730 796 -828 0 + 730 -796 828 0 +-730 796 828 0 +-730 -796 -828 0 + 764 828 -860 0 + 764 -828 860 0 +-764 828 860 0 +-764 -828 -860 0 + 860 28 -892 0 + 860 -28 892 0 +-860 28 892 0 +-860 -28 -892 0 + 924 -732 0 +-924 732 0 + 732 -797 0 + 725 -797 0 +-732 -725 797 0 + 731 797 -829 0 + 731 -797 829 0 +-731 797 829 0 +-731 -797 -829 0 + 765 829 -861 0 + 765 -829 861 0 +-765 829 861 0 +-765 -829 -861 0 + 861 29 -893 0 + 861 -29 893 0 +-861 29 893 0 +-861 -29 -893 0 + 925 -733 0 +-925 733 0 + 733 -798 0 + 726 -798 0 +-733 -726 798 0 + 732 798 -830 0 + 732 -798 830 0 +-732 798 830 0 +-732 -798 -830 0 + 766 830 -862 0 + 766 -830 862 0 +-766 830 862 0 +-766 -830 -862 0 + 862 30 -894 0 + 862 -30 894 0 +-862 30 894 0 +-862 -30 -894 0 + 926 -734 0 +-926 734 0 + 734 -799 0 + 727 -799 0 +-734 -727 799 0 + 733 799 -831 0 + 733 -799 831 0 +-733 799 831 0 +-733 -799 -831 0 + 767 831 -863 0 + 767 -831 863 0 +-767 831 863 0 +-767 -831 -863 0 + 863 31 -895 0 + 863 -31 895 0 +-863 31 895 0 +-863 -31 -895 0 + 927 -735 0 +-927 735 0 + 735 -800 0 + 728 -800 0 +-735 -728 800 0 + 734 800 -832 0 + 734 -800 832 0 +-734 800 832 0 +-734 -800 -832 0 + 768 832 -864 0 + 768 -832 864 0 +-768 832 864 0 +-768 -832 -864 0 + 864 32 -896 0 + 864 -32 896 0 +-864 32 896 0 +-864 -32 -896 0 + 928 -736 0 +-928 736 0 + 896 -929 0 + 889 -929 0 +-896 -889 929 0 + 895 929 -961 0 + 895 -929 961 0 +-895 929 961 0 +-895 -929 -961 0 + 897 961 -993 0 + 897 -961 993 0 +-897 961 993 0 +-897 -961 -993 0 + 993 33 -1025 0 + 993 -33 1025 0 +-993 33 1025 0 +-993 -33 -1025 0 +1057 -865 0 +-1057 865 0 + 865 -930 0 + 890 -930 0 +-865 -890 930 0 + 896 930 -962 0 + 896 -930 962 0 +-896 930 962 0 +-896 -930 -962 0 + 898 962 -994 0 + 898 -962 994 0 +-898 962 994 0 +-898 -962 -994 0 + 994 34 -1026 0 + 994 -34 1026 0 +-994 34 1026 0 +-994 -34 -1026 0 +1058 -866 0 +-1058 866 0 + 866 -931 0 + 891 -931 0 +-866 -891 931 0 + 865 931 -963 0 + 865 -931 963 0 +-865 931 963 0 +-865 -931 -963 0 + 899 963 -995 0 + 899 -963 995 0 +-899 963 995 0 +-899 -963 -995 0 + 995 35 -1027 0 + 995 -35 1027 0 +-995 35 1027 0 +-995 -35 -1027 0 +1059 -867 0 +-1059 867 0 + 867 -932 0 + 892 -932 0 +-867 -892 932 0 + 866 932 -964 0 + 866 -932 964 0 +-866 932 964 0 +-866 -932 -964 0 + 900 964 -996 0 + 900 -964 996 0 +-900 964 996 0 +-900 -964 -996 0 + 996 36 -1028 0 + 996 -36 1028 0 +-996 36 1028 0 +-996 -36 -1028 0 +1060 -868 0 +-1060 868 0 + 868 -933 0 + 893 -933 0 +-868 -893 933 0 + 867 933 -965 0 + 867 -933 965 0 +-867 933 965 0 +-867 -933 -965 0 + 901 965 -997 0 + 901 -965 997 0 +-901 965 997 0 +-901 -965 -997 0 + 997 37 -1029 0 + 997 -37 1029 0 +-997 37 1029 0 +-997 -37 -1029 0 +1061 -869 0 +-1061 869 0 + 869 -934 0 + 894 -934 0 +-869 -894 934 0 + 868 934 -966 0 + 868 -934 966 0 +-868 934 966 0 +-868 -934 -966 0 + 902 966 -998 0 + 902 -966 998 0 +-902 966 998 0 +-902 -966 -998 0 + 998 38 -1030 0 + 998 -38 1030 0 +-998 38 1030 0 +-998 -38 -1030 0 +1062 -870 0 +-1062 870 0 + 870 -935 0 + 895 -935 0 +-870 -895 935 0 + 869 935 -967 0 + 869 -935 967 0 +-869 935 967 0 +-869 -935 -967 0 + 903 967 -999 0 + 903 -967 999 0 +-903 967 999 0 +-903 -967 -999 0 + 999 39 -1031 0 + 999 -39 1031 0 +-999 39 1031 0 +-999 -39 -1031 0 +1063 -871 0 +-1063 871 0 + 871 -936 0 + 896 -936 0 +-871 -896 936 0 + 870 936 -968 0 + 870 -936 968 0 +-870 936 968 0 +-870 -936 -968 0 + 904 968 -1000 0 + 904 -968 1000 0 +-904 968 1000 0 +-904 -968 -1000 0 +1000 40 -1032 0 +1000 -40 1032 0 +-1000 40 1032 0 +-1000 -40 -1032 0 +1064 -872 0 +-1064 872 0 + 872 -937 0 + 865 -937 0 +-872 -865 937 0 + 871 937 -969 0 + 871 -937 969 0 +-871 937 969 0 +-871 -937 -969 0 + 905 969 -1001 0 + 905 -969 1001 0 +-905 969 1001 0 +-905 -969 -1001 0 +1001 41 -1033 0 +1001 -41 1033 0 +-1001 41 1033 0 +-1001 -41 -1033 0 +1065 -873 0 +-1065 873 0 + 873 -938 0 + 866 -938 0 +-873 -866 938 0 + 872 938 -970 0 + 872 -938 970 0 +-872 938 970 0 +-872 -938 -970 0 + 906 970 -1002 0 + 906 -970 1002 0 +-906 970 1002 0 +-906 -970 -1002 0 +1002 42 -1034 0 +1002 -42 1034 0 +-1002 42 1034 0 +-1002 -42 -1034 0 +1066 -874 0 +-1066 874 0 + 874 -939 0 + 867 -939 0 +-874 -867 939 0 + 873 939 -971 0 + 873 -939 971 0 +-873 939 971 0 +-873 -939 -971 0 + 907 971 -1003 0 + 907 -971 1003 0 +-907 971 1003 0 +-907 -971 -1003 0 +1003 43 -1035 0 +1003 -43 1035 0 +-1003 43 1035 0 +-1003 -43 -1035 0 +1067 -875 0 +-1067 875 0 + 875 -940 0 + 868 -940 0 +-875 -868 940 0 + 874 940 -972 0 + 874 -940 972 0 +-874 940 972 0 +-874 -940 -972 0 + 908 972 -1004 0 + 908 -972 1004 0 +-908 972 1004 0 +-908 -972 -1004 0 +1004 44 -1036 0 +1004 -44 1036 0 +-1004 44 1036 0 +-1004 -44 -1036 0 +1068 -876 0 +-1068 876 0 + 876 -941 0 + 869 -941 0 +-876 -869 941 0 + 875 941 -973 0 + 875 -941 973 0 +-875 941 973 0 +-875 -941 -973 0 + 909 973 -1005 0 + 909 -973 1005 0 +-909 973 1005 0 +-909 -973 -1005 0 +1005 45 -1037 0 +1005 -45 1037 0 +-1005 45 1037 0 +-1005 -45 -1037 0 +1069 -877 0 +-1069 877 0 + 877 -942 0 + 870 -942 0 +-877 -870 942 0 + 876 942 -974 0 + 876 -942 974 0 +-876 942 974 0 +-876 -942 -974 0 + 910 974 -1006 0 + 910 -974 1006 0 +-910 974 1006 0 +-910 -974 -1006 0 +1006 46 -1038 0 +1006 -46 1038 0 +-1006 46 1038 0 +-1006 -46 -1038 0 +1070 -878 0 +-1070 878 0 + 878 -943 0 + 871 -943 0 +-878 -871 943 0 + 877 943 -975 0 + 877 -943 975 0 +-877 943 975 0 +-877 -943 -975 0 + 911 975 -1007 0 + 911 -975 1007 0 +-911 975 1007 0 +-911 -975 -1007 0 +1007 47 -1039 0 +1007 -47 1039 0 +-1007 47 1039 0 +-1007 -47 -1039 0 +1071 -879 0 +-1071 879 0 + 879 -944 0 + 872 -944 0 +-879 -872 944 0 + 878 944 -976 0 + 878 -944 976 0 +-878 944 976 0 +-878 -944 -976 0 + 912 976 -1008 0 + 912 -976 1008 0 +-912 976 1008 0 +-912 -976 -1008 0 +1008 48 -1040 0 +1008 -48 1040 0 +-1008 48 1040 0 +-1008 -48 -1040 0 +1072 -880 0 +-1072 880 0 + 880 -945 0 + 873 -945 0 +-880 -873 945 0 + 879 945 -977 0 + 879 -945 977 0 +-879 945 977 0 +-879 -945 -977 0 + 913 977 -1009 0 + 913 -977 1009 0 +-913 977 1009 0 +-913 -977 -1009 0 +1009 49 -1041 0 +1009 -49 1041 0 +-1009 49 1041 0 +-1009 -49 -1041 0 +1073 -881 0 +-1073 881 0 + 881 -946 0 + 874 -946 0 +-881 -874 946 0 + 880 946 -978 0 + 880 -946 978 0 +-880 946 978 0 +-880 -946 -978 0 + 914 978 -1010 0 + 914 -978 1010 0 +-914 978 1010 0 +-914 -978 -1010 0 +1010 50 -1042 0 +1010 -50 1042 0 +-1010 50 1042 0 +-1010 -50 -1042 0 +1074 -882 0 +-1074 882 0 + 882 -947 0 + 875 -947 0 +-882 -875 947 0 + 881 947 -979 0 + 881 -947 979 0 +-881 947 979 0 +-881 -947 -979 0 + 915 979 -1011 0 + 915 -979 1011 0 +-915 979 1011 0 +-915 -979 -1011 0 +1011 51 -1043 0 +1011 -51 1043 0 +-1011 51 1043 0 +-1011 -51 -1043 0 +1075 -883 0 +-1075 883 0 + 883 -948 0 + 876 -948 0 +-883 -876 948 0 + 882 948 -980 0 + 882 -948 980 0 +-882 948 980 0 +-882 -948 -980 0 + 916 980 -1012 0 + 916 -980 1012 0 +-916 980 1012 0 +-916 -980 -1012 0 +1012 52 -1044 0 +1012 -52 1044 0 +-1012 52 1044 0 +-1012 -52 -1044 0 +1076 -884 0 +-1076 884 0 + 884 -949 0 + 877 -949 0 +-884 -877 949 0 + 883 949 -981 0 + 883 -949 981 0 +-883 949 981 0 +-883 -949 -981 0 + 917 981 -1013 0 + 917 -981 1013 0 +-917 981 1013 0 +-917 -981 -1013 0 +1013 53 -1045 0 +1013 -53 1045 0 +-1013 53 1045 0 +-1013 -53 -1045 0 +1077 -885 0 +-1077 885 0 + 885 -950 0 + 878 -950 0 +-885 -878 950 0 + 884 950 -982 0 + 884 -950 982 0 +-884 950 982 0 +-884 -950 -982 0 + 918 982 -1014 0 + 918 -982 1014 0 +-918 982 1014 0 +-918 -982 -1014 0 +1014 54 -1046 0 +1014 -54 1046 0 +-1014 54 1046 0 +-1014 -54 -1046 0 +1078 -886 0 +-1078 886 0 + 886 -951 0 + 879 -951 0 +-886 -879 951 0 + 885 951 -983 0 + 885 -951 983 0 +-885 951 983 0 +-885 -951 -983 0 + 919 983 -1015 0 + 919 -983 1015 0 +-919 983 1015 0 +-919 -983 -1015 0 +1015 55 -1047 0 +1015 -55 1047 0 +-1015 55 1047 0 +-1015 -55 -1047 0 +1079 -887 0 +-1079 887 0 + 887 -952 0 + 880 -952 0 +-887 -880 952 0 + 886 952 -984 0 + 886 -952 984 0 +-886 952 984 0 +-886 -952 -984 0 + 920 984 -1016 0 + 920 -984 1016 0 +-920 984 1016 0 +-920 -984 -1016 0 +1016 56 -1048 0 +1016 -56 1048 0 +-1016 56 1048 0 +-1016 -56 -1048 0 +1080 -888 0 +-1080 888 0 + 888 -953 0 + 881 -953 0 +-888 -881 953 0 + 887 953 -985 0 + 887 -953 985 0 +-887 953 985 0 +-887 -953 -985 0 + 921 985 -1017 0 + 921 -985 1017 0 +-921 985 1017 0 +-921 -985 -1017 0 +1017 57 -1049 0 +1017 -57 1049 0 +-1017 57 1049 0 +-1017 -57 -1049 0 +1081 -889 0 +-1081 889 0 + 889 -954 0 + 882 -954 0 +-889 -882 954 0 + 888 954 -986 0 + 888 -954 986 0 +-888 954 986 0 +-888 -954 -986 0 + 922 986 -1018 0 + 922 -986 1018 0 +-922 986 1018 0 +-922 -986 -1018 0 +1018 58 -1050 0 +1018 -58 1050 0 +-1018 58 1050 0 +-1018 -58 -1050 0 +1082 -890 0 +-1082 890 0 + 890 -955 0 + 883 -955 0 +-890 -883 955 0 + 889 955 -987 0 + 889 -955 987 0 +-889 955 987 0 +-889 -955 -987 0 + 923 987 -1019 0 + 923 -987 1019 0 +-923 987 1019 0 +-923 -987 -1019 0 +1019 59 -1051 0 +1019 -59 1051 0 +-1019 59 1051 0 +-1019 -59 -1051 0 +1083 -891 0 +-1083 891 0 + 891 -956 0 + 884 -956 0 +-891 -884 956 0 + 890 956 -988 0 + 890 -956 988 0 +-890 956 988 0 +-890 -956 -988 0 + 924 988 -1020 0 + 924 -988 1020 0 +-924 988 1020 0 +-924 -988 -1020 0 +1020 60 -1052 0 +1020 -60 1052 0 +-1020 60 1052 0 +-1020 -60 -1052 0 +1084 -892 0 +-1084 892 0 + 892 -957 0 + 885 -957 0 +-892 -885 957 0 + 891 957 -989 0 + 891 -957 989 0 +-891 957 989 0 +-891 -957 -989 0 + 925 989 -1021 0 + 925 -989 1021 0 +-925 989 1021 0 +-925 -989 -1021 0 +1021 61 -1053 0 +1021 -61 1053 0 +-1021 61 1053 0 +-1021 -61 -1053 0 +1085 -893 0 +-1085 893 0 + 893 -958 0 + 886 -958 0 +-893 -886 958 0 + 892 958 -990 0 + 892 -958 990 0 +-892 958 990 0 +-892 -958 -990 0 + 926 990 -1022 0 + 926 -990 1022 0 +-926 990 1022 0 +-926 -990 -1022 0 +1022 62 -1054 0 +1022 -62 1054 0 +-1022 62 1054 0 +-1022 -62 -1054 0 +1086 -894 0 +-1086 894 0 + 894 -959 0 + 887 -959 0 +-894 -887 959 0 + 893 959 -991 0 + 893 -959 991 0 +-893 959 991 0 +-893 -959 -991 0 + 927 991 -1023 0 + 927 -991 1023 0 +-927 991 1023 0 +-927 -991 -1023 0 +1023 63 -1055 0 +1023 -63 1055 0 +-1023 63 1055 0 +-1023 -63 -1055 0 +1087 -895 0 +-1087 895 0 + 895 -960 0 + 888 -960 0 +-895 -888 960 0 + 894 960 -992 0 + 894 -960 992 0 +-894 960 992 0 +-894 -960 -992 0 + 928 992 -1024 0 + 928 -992 1024 0 +-928 992 1024 0 +-928 -992 -1024 0 +1024 64 -1056 0 +1024 -64 1056 0 +-1024 64 1056 0 +-1024 -64 -1056 0 +1088 -896 0 +-1088 896 0 +1056 -1089 0 +1049 -1089 0 +-1056 -1049 1089 0 +1055 1089 -1121 0 +1055 -1089 1121 0 +-1055 1089 1121 0 +-1055 -1089 -1121 0 +1057 1121 -1153 0 +1057 -1121 1153 0 +-1057 1121 1153 0 +-1057 -1121 -1153 0 +1153 33 -1185 0 +1153 -33 1185 0 +-1153 33 1185 0 +-1153 -33 -1185 0 +1217 -1025 0 +-1217 1025 0 +1025 -1090 0 +1050 -1090 0 +-1025 -1050 1090 0 +1056 1090 -1122 0 +1056 -1090 1122 0 +-1056 1090 1122 0 +-1056 -1090 -1122 0 +1058 1122 -1154 0 +1058 -1122 1154 0 +-1058 1122 1154 0 +-1058 -1122 -1154 0 +1154 34 -1186 0 +1154 -34 1186 0 +-1154 34 1186 0 +-1154 -34 -1186 0 +1218 -1026 0 +-1218 1026 0 +1026 -1091 0 +1051 -1091 0 +-1026 -1051 1091 0 +1025 1091 -1123 0 +1025 -1091 1123 0 +-1025 1091 1123 0 +-1025 -1091 -1123 0 +1059 1123 -1155 0 +1059 -1123 1155 0 +-1059 1123 1155 0 +-1059 -1123 -1155 0 +1155 35 -1187 0 +1155 -35 1187 0 +-1155 35 1187 0 +-1155 -35 -1187 0 +1219 -1027 0 +-1219 1027 0 +1027 -1092 0 +1052 -1092 0 +-1027 -1052 1092 0 +1026 1092 -1124 0 +1026 -1092 1124 0 +-1026 1092 1124 0 +-1026 -1092 -1124 0 +1060 1124 -1156 0 +1060 -1124 1156 0 +-1060 1124 1156 0 +-1060 -1124 -1156 0 +1156 36 -1188 0 +1156 -36 1188 0 +-1156 36 1188 0 +-1156 -36 -1188 0 +1220 -1028 0 +-1220 1028 0 +1028 -1093 0 +1053 -1093 0 +-1028 -1053 1093 0 +1027 1093 -1125 0 +1027 -1093 1125 0 +-1027 1093 1125 0 +-1027 -1093 -1125 0 +1061 1125 -1157 0 +1061 -1125 1157 0 +-1061 1125 1157 0 +-1061 -1125 -1157 0 +1157 37 -1189 0 +1157 -37 1189 0 +-1157 37 1189 0 +-1157 -37 -1189 0 +1221 -1029 0 +-1221 1029 0 +1029 -1094 0 +1054 -1094 0 +-1029 -1054 1094 0 +1028 1094 -1126 0 +1028 -1094 1126 0 +-1028 1094 1126 0 +-1028 -1094 -1126 0 +1062 1126 -1158 0 +1062 -1126 1158 0 +-1062 1126 1158 0 +-1062 -1126 -1158 0 +1158 38 -1190 0 +1158 -38 1190 0 +-1158 38 1190 0 +-1158 -38 -1190 0 +1222 -1030 0 +-1222 1030 0 +1030 -1095 0 +1055 -1095 0 +-1030 -1055 1095 0 +1029 1095 -1127 0 +1029 -1095 1127 0 +-1029 1095 1127 0 +-1029 -1095 -1127 0 +1063 1127 -1159 0 +1063 -1127 1159 0 +-1063 1127 1159 0 +-1063 -1127 -1159 0 +1159 39 -1191 0 +1159 -39 1191 0 +-1159 39 1191 0 +-1159 -39 -1191 0 +1223 -1031 0 +-1223 1031 0 +1031 -1096 0 +1056 -1096 0 +-1031 -1056 1096 0 +1030 1096 -1128 0 +1030 -1096 1128 0 +-1030 1096 1128 0 +-1030 -1096 -1128 0 +1064 1128 -1160 0 +1064 -1128 1160 0 +-1064 1128 1160 0 +-1064 -1128 -1160 0 +1160 40 -1192 0 +1160 -40 1192 0 +-1160 40 1192 0 +-1160 -40 -1192 0 +1224 -1032 0 +-1224 1032 0 +1032 -1097 0 +1025 -1097 0 +-1032 -1025 1097 0 +1031 1097 -1129 0 +1031 -1097 1129 0 +-1031 1097 1129 0 +-1031 -1097 -1129 0 +1065 1129 -1161 0 +1065 -1129 1161 0 +-1065 1129 1161 0 +-1065 -1129 -1161 0 +1161 41 -1193 0 +1161 -41 1193 0 +-1161 41 1193 0 +-1161 -41 -1193 0 +1225 -1033 0 +-1225 1033 0 +1033 -1098 0 +1026 -1098 0 +-1033 -1026 1098 0 +1032 1098 -1130 0 +1032 -1098 1130 0 +-1032 1098 1130 0 +-1032 -1098 -1130 0 +1066 1130 -1162 0 +1066 -1130 1162 0 +-1066 1130 1162 0 +-1066 -1130 -1162 0 +1162 42 -1194 0 +1162 -42 1194 0 +-1162 42 1194 0 +-1162 -42 -1194 0 +1226 -1034 0 +-1226 1034 0 +1034 -1099 0 +1027 -1099 0 +-1034 -1027 1099 0 +1033 1099 -1131 0 +1033 -1099 1131 0 +-1033 1099 1131 0 +-1033 -1099 -1131 0 +1067 1131 -1163 0 +1067 -1131 1163 0 +-1067 1131 1163 0 +-1067 -1131 -1163 0 +1163 43 -1195 0 +1163 -43 1195 0 +-1163 43 1195 0 +-1163 -43 -1195 0 +1227 -1035 0 +-1227 1035 0 +1035 -1100 0 +1028 -1100 0 +-1035 -1028 1100 0 +1034 1100 -1132 0 +1034 -1100 1132 0 +-1034 1100 1132 0 +-1034 -1100 -1132 0 +1068 1132 -1164 0 +1068 -1132 1164 0 +-1068 1132 1164 0 +-1068 -1132 -1164 0 +1164 44 -1196 0 +1164 -44 1196 0 +-1164 44 1196 0 +-1164 -44 -1196 0 +1228 -1036 0 +-1228 1036 0 +1036 -1101 0 +1029 -1101 0 +-1036 -1029 1101 0 +1035 1101 -1133 0 +1035 -1101 1133 0 +-1035 1101 1133 0 +-1035 -1101 -1133 0 +1069 1133 -1165 0 +1069 -1133 1165 0 +-1069 1133 1165 0 +-1069 -1133 -1165 0 +1165 45 -1197 0 +1165 -45 1197 0 +-1165 45 1197 0 +-1165 -45 -1197 0 +1229 -1037 0 +-1229 1037 0 +1037 -1102 0 +1030 -1102 0 +-1037 -1030 1102 0 +1036 1102 -1134 0 +1036 -1102 1134 0 +-1036 1102 1134 0 +-1036 -1102 -1134 0 +1070 1134 -1166 0 +1070 -1134 1166 0 +-1070 1134 1166 0 +-1070 -1134 -1166 0 +1166 46 -1198 0 +1166 -46 1198 0 +-1166 46 1198 0 +-1166 -46 -1198 0 +1230 -1038 0 +-1230 1038 0 +1038 -1103 0 +1031 -1103 0 +-1038 -1031 1103 0 +1037 1103 -1135 0 +1037 -1103 1135 0 +-1037 1103 1135 0 +-1037 -1103 -1135 0 +1071 1135 -1167 0 +1071 -1135 1167 0 +-1071 1135 1167 0 +-1071 -1135 -1167 0 +1167 47 -1199 0 +1167 -47 1199 0 +-1167 47 1199 0 +-1167 -47 -1199 0 +1231 -1039 0 +-1231 1039 0 +1039 -1104 0 +1032 -1104 0 +-1039 -1032 1104 0 +1038 1104 -1136 0 +1038 -1104 1136 0 +-1038 1104 1136 0 +-1038 -1104 -1136 0 +1072 1136 -1168 0 +1072 -1136 1168 0 +-1072 1136 1168 0 +-1072 -1136 -1168 0 +1168 48 -1200 0 +1168 -48 1200 0 +-1168 48 1200 0 +-1168 -48 -1200 0 +1232 -1040 0 +-1232 1040 0 +1040 -1105 0 +1033 -1105 0 +-1040 -1033 1105 0 +1039 1105 -1137 0 +1039 -1105 1137 0 +-1039 1105 1137 0 +-1039 -1105 -1137 0 +1073 1137 -1169 0 +1073 -1137 1169 0 +-1073 1137 1169 0 +-1073 -1137 -1169 0 +1169 49 -1201 0 +1169 -49 1201 0 +-1169 49 1201 0 +-1169 -49 -1201 0 +1233 -1041 0 +-1233 1041 0 +1041 -1106 0 +1034 -1106 0 +-1041 -1034 1106 0 +1040 1106 -1138 0 +1040 -1106 1138 0 +-1040 1106 1138 0 +-1040 -1106 -1138 0 +1074 1138 -1170 0 +1074 -1138 1170 0 +-1074 1138 1170 0 +-1074 -1138 -1170 0 +1170 50 -1202 0 +1170 -50 1202 0 +-1170 50 1202 0 +-1170 -50 -1202 0 +1234 -1042 0 +-1234 1042 0 +1042 -1107 0 +1035 -1107 0 +-1042 -1035 1107 0 +1041 1107 -1139 0 +1041 -1107 1139 0 +-1041 1107 1139 0 +-1041 -1107 -1139 0 +1075 1139 -1171 0 +1075 -1139 1171 0 +-1075 1139 1171 0 +-1075 -1139 -1171 0 +1171 51 -1203 0 +1171 -51 1203 0 +-1171 51 1203 0 +-1171 -51 -1203 0 +1235 -1043 0 +-1235 1043 0 +1043 -1108 0 +1036 -1108 0 +-1043 -1036 1108 0 +1042 1108 -1140 0 +1042 -1108 1140 0 +-1042 1108 1140 0 +-1042 -1108 -1140 0 +1076 1140 -1172 0 +1076 -1140 1172 0 +-1076 1140 1172 0 +-1076 -1140 -1172 0 +1172 52 -1204 0 +1172 -52 1204 0 +-1172 52 1204 0 +-1172 -52 -1204 0 +1236 -1044 0 +-1236 1044 0 +1044 -1109 0 +1037 -1109 0 +-1044 -1037 1109 0 +1043 1109 -1141 0 +1043 -1109 1141 0 +-1043 1109 1141 0 +-1043 -1109 -1141 0 +1077 1141 -1173 0 +1077 -1141 1173 0 +-1077 1141 1173 0 +-1077 -1141 -1173 0 +1173 53 -1205 0 +1173 -53 1205 0 +-1173 53 1205 0 +-1173 -53 -1205 0 +1237 -1045 0 +-1237 1045 0 +1045 -1110 0 +1038 -1110 0 +-1045 -1038 1110 0 +1044 1110 -1142 0 +1044 -1110 1142 0 +-1044 1110 1142 0 +-1044 -1110 -1142 0 +1078 1142 -1174 0 +1078 -1142 1174 0 +-1078 1142 1174 0 +-1078 -1142 -1174 0 +1174 54 -1206 0 +1174 -54 1206 0 +-1174 54 1206 0 +-1174 -54 -1206 0 +1238 -1046 0 +-1238 1046 0 +1046 -1111 0 +1039 -1111 0 +-1046 -1039 1111 0 +1045 1111 -1143 0 +1045 -1111 1143 0 +-1045 1111 1143 0 +-1045 -1111 -1143 0 +1079 1143 -1175 0 +1079 -1143 1175 0 +-1079 1143 1175 0 +-1079 -1143 -1175 0 +1175 55 -1207 0 +1175 -55 1207 0 +-1175 55 1207 0 +-1175 -55 -1207 0 +1239 -1047 0 +-1239 1047 0 +1047 -1112 0 +1040 -1112 0 +-1047 -1040 1112 0 +1046 1112 -1144 0 +1046 -1112 1144 0 +-1046 1112 1144 0 +-1046 -1112 -1144 0 +1080 1144 -1176 0 +1080 -1144 1176 0 +-1080 1144 1176 0 +-1080 -1144 -1176 0 +1176 56 -1208 0 +1176 -56 1208 0 +-1176 56 1208 0 +-1176 -56 -1208 0 +1240 -1048 0 +-1240 1048 0 +1048 -1113 0 +1041 -1113 0 +-1048 -1041 1113 0 +1047 1113 -1145 0 +1047 -1113 1145 0 +-1047 1113 1145 0 +-1047 -1113 -1145 0 +1081 1145 -1177 0 +1081 -1145 1177 0 +-1081 1145 1177 0 +-1081 -1145 -1177 0 +1177 57 -1209 0 +1177 -57 1209 0 +-1177 57 1209 0 +-1177 -57 -1209 0 +1241 -1049 0 +-1241 1049 0 +1049 -1114 0 +1042 -1114 0 +-1049 -1042 1114 0 +1048 1114 -1146 0 +1048 -1114 1146 0 +-1048 1114 1146 0 +-1048 -1114 -1146 0 +1082 1146 -1178 0 +1082 -1146 1178 0 +-1082 1146 1178 0 +-1082 -1146 -1178 0 +1178 58 -1210 0 +1178 -58 1210 0 +-1178 58 1210 0 +-1178 -58 -1210 0 +1242 -1050 0 +-1242 1050 0 +1050 -1115 0 +1043 -1115 0 +-1050 -1043 1115 0 +1049 1115 -1147 0 +1049 -1115 1147 0 +-1049 1115 1147 0 +-1049 -1115 -1147 0 +1083 1147 -1179 0 +1083 -1147 1179 0 +-1083 1147 1179 0 +-1083 -1147 -1179 0 +1179 59 -1211 0 +1179 -59 1211 0 +-1179 59 1211 0 +-1179 -59 -1211 0 +1243 -1051 0 +-1243 1051 0 +1051 -1116 0 +1044 -1116 0 +-1051 -1044 1116 0 +1050 1116 -1148 0 +1050 -1116 1148 0 +-1050 1116 1148 0 +-1050 -1116 -1148 0 +1084 1148 -1180 0 +1084 -1148 1180 0 +-1084 1148 1180 0 +-1084 -1148 -1180 0 +1180 60 -1212 0 +1180 -60 1212 0 +-1180 60 1212 0 +-1180 -60 -1212 0 +1244 -1052 0 +-1244 1052 0 +1052 -1117 0 +1045 -1117 0 +-1052 -1045 1117 0 +1051 1117 -1149 0 +1051 -1117 1149 0 +-1051 1117 1149 0 +-1051 -1117 -1149 0 +1085 1149 -1181 0 +1085 -1149 1181 0 +-1085 1149 1181 0 +-1085 -1149 -1181 0 +1181 61 -1213 0 +1181 -61 1213 0 +-1181 61 1213 0 +-1181 -61 -1213 0 +1245 -1053 0 +-1245 1053 0 +1053 -1118 0 +1046 -1118 0 +-1053 -1046 1118 0 +1052 1118 -1150 0 +1052 -1118 1150 0 +-1052 1118 1150 0 +-1052 -1118 -1150 0 +1086 1150 -1182 0 +1086 -1150 1182 0 +-1086 1150 1182 0 +-1086 -1150 -1182 0 +1182 62 -1214 0 +1182 -62 1214 0 +-1182 62 1214 0 +-1182 -62 -1214 0 +1246 -1054 0 +-1246 1054 0 +1054 -1119 0 +1047 -1119 0 +-1054 -1047 1119 0 +1053 1119 -1151 0 +1053 -1119 1151 0 +-1053 1119 1151 0 +-1053 -1119 -1151 0 +1087 1151 -1183 0 +1087 -1151 1183 0 +-1087 1151 1183 0 +-1087 -1151 -1183 0 +1183 63 -1215 0 +1183 -63 1215 0 +-1183 63 1215 0 +-1183 -63 -1215 0 +1247 -1055 0 +-1247 1055 0 +1055 -1120 0 +1048 -1120 0 +-1055 -1048 1120 0 +1054 1120 -1152 0 +1054 -1120 1152 0 +-1054 1120 1152 0 +-1054 -1120 -1152 0 +1088 1152 -1184 0 +1088 -1152 1184 0 +-1088 1152 1184 0 +-1088 -1152 -1184 0 +1184 64 -1216 0 +1184 -64 1216 0 +-1184 64 1216 0 +-1184 -64 -1216 0 +1248 -1056 0 +-1248 1056 0 +1216 -1249 0 +1209 -1249 0 +-1216 -1209 1249 0 +1215 1249 -1281 0 +1215 -1249 1281 0 +-1215 1249 1281 0 +-1215 -1249 -1281 0 +1217 1281 -1313 0 +1217 -1281 1313 0 +-1217 1281 1313 0 +-1217 -1281 -1313 0 +1313 33 -1345 0 +1313 -33 1345 0 +-1313 33 1345 0 +-1313 -33 -1345 0 +1377 -1185 0 +-1377 1185 0 +1185 -1250 0 +1210 -1250 0 +-1185 -1210 1250 0 +1216 1250 -1282 0 +1216 -1250 1282 0 +-1216 1250 1282 0 +-1216 -1250 -1282 0 +1218 1282 -1314 0 +1218 -1282 1314 0 +-1218 1282 1314 0 +-1218 -1282 -1314 0 +1314 34 -1346 0 +1314 -34 1346 0 +-1314 34 1346 0 +-1314 -34 -1346 0 +1378 -1186 0 +-1378 1186 0 +1186 -1251 0 +1211 -1251 0 +-1186 -1211 1251 0 +1185 1251 -1283 0 +1185 -1251 1283 0 +-1185 1251 1283 0 +-1185 -1251 -1283 0 +1219 1283 -1315 0 +1219 -1283 1315 0 +-1219 1283 1315 0 +-1219 -1283 -1315 0 +1315 35 -1347 0 +1315 -35 1347 0 +-1315 35 1347 0 +-1315 -35 -1347 0 +1379 -1187 0 +-1379 1187 0 +1187 -1252 0 +1212 -1252 0 +-1187 -1212 1252 0 +1186 1252 -1284 0 +1186 -1252 1284 0 +-1186 1252 1284 0 +-1186 -1252 -1284 0 +1220 1284 -1316 0 +1220 -1284 1316 0 +-1220 1284 1316 0 +-1220 -1284 -1316 0 +1316 36 -1348 0 +1316 -36 1348 0 +-1316 36 1348 0 +-1316 -36 -1348 0 +1380 -1188 0 +-1380 1188 0 +1188 -1253 0 +1213 -1253 0 +-1188 -1213 1253 0 +1187 1253 -1285 0 +1187 -1253 1285 0 +-1187 1253 1285 0 +-1187 -1253 -1285 0 +1221 1285 -1317 0 +1221 -1285 1317 0 +-1221 1285 1317 0 +-1221 -1285 -1317 0 +1317 37 -1349 0 +1317 -37 1349 0 +-1317 37 1349 0 +-1317 -37 -1349 0 +1381 -1189 0 +-1381 1189 0 +1189 -1254 0 +1214 -1254 0 +-1189 -1214 1254 0 +1188 1254 -1286 0 +1188 -1254 1286 0 +-1188 1254 1286 0 +-1188 -1254 -1286 0 +1222 1286 -1318 0 +1222 -1286 1318 0 +-1222 1286 1318 0 +-1222 -1286 -1318 0 +1318 38 -1350 0 +1318 -38 1350 0 +-1318 38 1350 0 +-1318 -38 -1350 0 +1382 -1190 0 +-1382 1190 0 +1190 -1255 0 +1215 -1255 0 +-1190 -1215 1255 0 +1189 1255 -1287 0 +1189 -1255 1287 0 +-1189 1255 1287 0 +-1189 -1255 -1287 0 +1223 1287 -1319 0 +1223 -1287 1319 0 +-1223 1287 1319 0 +-1223 -1287 -1319 0 +1319 39 -1351 0 +1319 -39 1351 0 +-1319 39 1351 0 +-1319 -39 -1351 0 +1383 -1191 0 +-1383 1191 0 +1191 -1256 0 +1216 -1256 0 +-1191 -1216 1256 0 +1190 1256 -1288 0 +1190 -1256 1288 0 +-1190 1256 1288 0 +-1190 -1256 -1288 0 +1224 1288 -1320 0 +1224 -1288 1320 0 +-1224 1288 1320 0 +-1224 -1288 -1320 0 +1320 40 -1352 0 +1320 -40 1352 0 +-1320 40 1352 0 +-1320 -40 -1352 0 +1384 -1192 0 +-1384 1192 0 +1192 -1257 0 +1185 -1257 0 +-1192 -1185 1257 0 +1191 1257 -1289 0 +1191 -1257 1289 0 +-1191 1257 1289 0 +-1191 -1257 -1289 0 +1225 1289 -1321 0 +1225 -1289 1321 0 +-1225 1289 1321 0 +-1225 -1289 -1321 0 +1321 41 -1353 0 +1321 -41 1353 0 +-1321 41 1353 0 +-1321 -41 -1353 0 +1385 -1193 0 +-1385 1193 0 +1193 -1258 0 +1186 -1258 0 +-1193 -1186 1258 0 +1192 1258 -1290 0 +1192 -1258 1290 0 +-1192 1258 1290 0 +-1192 -1258 -1290 0 +1226 1290 -1322 0 +1226 -1290 1322 0 +-1226 1290 1322 0 +-1226 -1290 -1322 0 +1322 42 -1354 0 +1322 -42 1354 0 +-1322 42 1354 0 +-1322 -42 -1354 0 +1386 -1194 0 +-1386 1194 0 +1194 -1259 0 +1187 -1259 0 +-1194 -1187 1259 0 +1193 1259 -1291 0 +1193 -1259 1291 0 +-1193 1259 1291 0 +-1193 -1259 -1291 0 +1227 1291 -1323 0 +1227 -1291 1323 0 +-1227 1291 1323 0 +-1227 -1291 -1323 0 +1323 43 -1355 0 +1323 -43 1355 0 +-1323 43 1355 0 +-1323 -43 -1355 0 +1387 -1195 0 +-1387 1195 0 +1195 -1260 0 +1188 -1260 0 +-1195 -1188 1260 0 +1194 1260 -1292 0 +1194 -1260 1292 0 +-1194 1260 1292 0 +-1194 -1260 -1292 0 +1228 1292 -1324 0 +1228 -1292 1324 0 +-1228 1292 1324 0 +-1228 -1292 -1324 0 +1324 44 -1356 0 +1324 -44 1356 0 +-1324 44 1356 0 +-1324 -44 -1356 0 +1388 -1196 0 +-1388 1196 0 +1196 -1261 0 +1189 -1261 0 +-1196 -1189 1261 0 +1195 1261 -1293 0 +1195 -1261 1293 0 +-1195 1261 1293 0 +-1195 -1261 -1293 0 +1229 1293 -1325 0 +1229 -1293 1325 0 +-1229 1293 1325 0 +-1229 -1293 -1325 0 +1325 45 -1357 0 +1325 -45 1357 0 +-1325 45 1357 0 +-1325 -45 -1357 0 +1389 -1197 0 +-1389 1197 0 +1197 -1262 0 +1190 -1262 0 +-1197 -1190 1262 0 +1196 1262 -1294 0 +1196 -1262 1294 0 +-1196 1262 1294 0 +-1196 -1262 -1294 0 +1230 1294 -1326 0 +1230 -1294 1326 0 +-1230 1294 1326 0 +-1230 -1294 -1326 0 +1326 46 -1358 0 +1326 -46 1358 0 +-1326 46 1358 0 +-1326 -46 -1358 0 +1390 -1198 0 +-1390 1198 0 +1198 -1263 0 +1191 -1263 0 +-1198 -1191 1263 0 +1197 1263 -1295 0 +1197 -1263 1295 0 +-1197 1263 1295 0 +-1197 -1263 -1295 0 +1231 1295 -1327 0 +1231 -1295 1327 0 +-1231 1295 1327 0 +-1231 -1295 -1327 0 +1327 47 -1359 0 +1327 -47 1359 0 +-1327 47 1359 0 +-1327 -47 -1359 0 +1391 -1199 0 +-1391 1199 0 +1199 -1264 0 +1192 -1264 0 +-1199 -1192 1264 0 +1198 1264 -1296 0 +1198 -1264 1296 0 +-1198 1264 1296 0 +-1198 -1264 -1296 0 +1232 1296 -1328 0 +1232 -1296 1328 0 +-1232 1296 1328 0 +-1232 -1296 -1328 0 +1328 48 -1360 0 +1328 -48 1360 0 +-1328 48 1360 0 +-1328 -48 -1360 0 +1392 -1200 0 +-1392 1200 0 +1200 -1265 0 +1193 -1265 0 +-1200 -1193 1265 0 +1199 1265 -1297 0 +1199 -1265 1297 0 +-1199 1265 1297 0 +-1199 -1265 -1297 0 +1233 1297 -1329 0 +1233 -1297 1329 0 +-1233 1297 1329 0 +-1233 -1297 -1329 0 +1329 49 -1361 0 +1329 -49 1361 0 +-1329 49 1361 0 +-1329 -49 -1361 0 +1393 -1201 0 +-1393 1201 0 +1201 -1266 0 +1194 -1266 0 +-1201 -1194 1266 0 +1200 1266 -1298 0 +1200 -1266 1298 0 +-1200 1266 1298 0 +-1200 -1266 -1298 0 +1234 1298 -1330 0 +1234 -1298 1330 0 +-1234 1298 1330 0 +-1234 -1298 -1330 0 +1330 50 -1362 0 +1330 -50 1362 0 +-1330 50 1362 0 +-1330 -50 -1362 0 +1394 -1202 0 +-1394 1202 0 +1202 -1267 0 +1195 -1267 0 +-1202 -1195 1267 0 +1201 1267 -1299 0 +1201 -1267 1299 0 +-1201 1267 1299 0 +-1201 -1267 -1299 0 +1235 1299 -1331 0 +1235 -1299 1331 0 +-1235 1299 1331 0 +-1235 -1299 -1331 0 +1331 51 -1363 0 +1331 -51 1363 0 +-1331 51 1363 0 +-1331 -51 -1363 0 +1395 -1203 0 +-1395 1203 0 +1203 -1268 0 +1196 -1268 0 +-1203 -1196 1268 0 +1202 1268 -1300 0 +1202 -1268 1300 0 +-1202 1268 1300 0 +-1202 -1268 -1300 0 +1236 1300 -1332 0 +1236 -1300 1332 0 +-1236 1300 1332 0 +-1236 -1300 -1332 0 +1332 52 -1364 0 +1332 -52 1364 0 +-1332 52 1364 0 +-1332 -52 -1364 0 +1396 -1204 0 +-1396 1204 0 +1204 -1269 0 +1197 -1269 0 +-1204 -1197 1269 0 +1203 1269 -1301 0 +1203 -1269 1301 0 +-1203 1269 1301 0 +-1203 -1269 -1301 0 +1237 1301 -1333 0 +1237 -1301 1333 0 +-1237 1301 1333 0 +-1237 -1301 -1333 0 +1333 53 -1365 0 +1333 -53 1365 0 +-1333 53 1365 0 +-1333 -53 -1365 0 +1397 -1205 0 +-1397 1205 0 +1205 -1270 0 +1198 -1270 0 +-1205 -1198 1270 0 +1204 1270 -1302 0 +1204 -1270 1302 0 +-1204 1270 1302 0 +-1204 -1270 -1302 0 +1238 1302 -1334 0 +1238 -1302 1334 0 +-1238 1302 1334 0 +-1238 -1302 -1334 0 +1334 54 -1366 0 +1334 -54 1366 0 +-1334 54 1366 0 +-1334 -54 -1366 0 +1398 -1206 0 +-1398 1206 0 +1206 -1271 0 +1199 -1271 0 +-1206 -1199 1271 0 +1205 1271 -1303 0 +1205 -1271 1303 0 +-1205 1271 1303 0 +-1205 -1271 -1303 0 +1239 1303 -1335 0 +1239 -1303 1335 0 +-1239 1303 1335 0 +-1239 -1303 -1335 0 +1335 55 -1367 0 +1335 -55 1367 0 +-1335 55 1367 0 +-1335 -55 -1367 0 +1399 -1207 0 +-1399 1207 0 +1207 -1272 0 +1200 -1272 0 +-1207 -1200 1272 0 +1206 1272 -1304 0 +1206 -1272 1304 0 +-1206 1272 1304 0 +-1206 -1272 -1304 0 +1240 1304 -1336 0 +1240 -1304 1336 0 +-1240 1304 1336 0 +-1240 -1304 -1336 0 +1336 56 -1368 0 +1336 -56 1368 0 +-1336 56 1368 0 +-1336 -56 -1368 0 +1400 -1208 0 +-1400 1208 0 +1208 -1273 0 +1201 -1273 0 +-1208 -1201 1273 0 +1207 1273 -1305 0 +1207 -1273 1305 0 +-1207 1273 1305 0 +-1207 -1273 -1305 0 +1241 1305 -1337 0 +1241 -1305 1337 0 +-1241 1305 1337 0 +-1241 -1305 -1337 0 +1337 57 -1369 0 +1337 -57 1369 0 +-1337 57 1369 0 +-1337 -57 -1369 0 +1401 -1209 0 +-1401 1209 0 +1209 -1274 0 +1202 -1274 0 +-1209 -1202 1274 0 +1208 1274 -1306 0 +1208 -1274 1306 0 +-1208 1274 1306 0 +-1208 -1274 -1306 0 +1242 1306 -1338 0 +1242 -1306 1338 0 +-1242 1306 1338 0 +-1242 -1306 -1338 0 +1338 58 -1370 0 +1338 -58 1370 0 +-1338 58 1370 0 +-1338 -58 -1370 0 +1402 -1210 0 +-1402 1210 0 +1210 -1275 0 +1203 -1275 0 +-1210 -1203 1275 0 +1209 1275 -1307 0 +1209 -1275 1307 0 +-1209 1275 1307 0 +-1209 -1275 -1307 0 +1243 1307 -1339 0 +1243 -1307 1339 0 +-1243 1307 1339 0 +-1243 -1307 -1339 0 +1339 59 -1371 0 +1339 -59 1371 0 +-1339 59 1371 0 +-1339 -59 -1371 0 +1403 -1211 0 +-1403 1211 0 +1211 -1276 0 +1204 -1276 0 +-1211 -1204 1276 0 +1210 1276 -1308 0 +1210 -1276 1308 0 +-1210 1276 1308 0 +-1210 -1276 -1308 0 +1244 1308 -1340 0 +1244 -1308 1340 0 +-1244 1308 1340 0 +-1244 -1308 -1340 0 +1340 60 -1372 0 +1340 -60 1372 0 +-1340 60 1372 0 +-1340 -60 -1372 0 +1404 -1212 0 +-1404 1212 0 +1212 -1277 0 +1205 -1277 0 +-1212 -1205 1277 0 +1211 1277 -1309 0 +1211 -1277 1309 0 +-1211 1277 1309 0 +-1211 -1277 -1309 0 +1245 1309 -1341 0 +1245 -1309 1341 0 +-1245 1309 1341 0 +-1245 -1309 -1341 0 +1341 61 -1373 0 +1341 -61 1373 0 +-1341 61 1373 0 +-1341 -61 -1373 0 +1405 -1213 0 +-1405 1213 0 +1213 -1278 0 +1206 -1278 0 +-1213 -1206 1278 0 +1212 1278 -1310 0 +1212 -1278 1310 0 +-1212 1278 1310 0 +-1212 -1278 -1310 0 +1246 1310 -1342 0 +1246 -1310 1342 0 +-1246 1310 1342 0 +-1246 -1310 -1342 0 +1342 62 -1374 0 +1342 -62 1374 0 +-1342 62 1374 0 +-1342 -62 -1374 0 +1406 -1214 0 +-1406 1214 0 +1214 -1279 0 +1207 -1279 0 +-1214 -1207 1279 0 +1213 1279 -1311 0 +1213 -1279 1311 0 +-1213 1279 1311 0 +-1213 -1279 -1311 0 +1247 1311 -1343 0 +1247 -1311 1343 0 +-1247 1311 1343 0 +-1247 -1311 -1343 0 +1343 63 -1375 0 +1343 -63 1375 0 +-1343 63 1375 0 +-1343 -63 -1375 0 +1407 -1215 0 +-1407 1215 0 +1215 -1280 0 +1208 -1280 0 +-1215 -1208 1280 0 +1214 1280 -1312 0 +1214 -1280 1312 0 +-1214 1280 1312 0 +-1214 -1280 -1312 0 +1248 1312 -1344 0 +1248 -1312 1344 0 +-1248 1312 1344 0 +-1248 -1312 -1344 0 +1344 64 -1376 0 +1344 -64 1376 0 +-1344 64 1376 0 +-1344 -64 -1376 0 +1408 -1216 0 +-1408 1216 0 +1376 -1409 0 +1369 -1409 0 +-1376 -1369 1409 0 +1375 1409 -1441 0 +1375 -1409 1441 0 +-1375 1409 1441 0 +-1375 -1409 -1441 0 +1377 1441 -1473 0 +1377 -1441 1473 0 +-1377 1441 1473 0 +-1377 -1441 -1473 0 +1473 33 -1505 0 +1473 -33 1505 0 +-1473 33 1505 0 +-1473 -33 -1505 0 +1537 -1345 0 +-1537 1345 0 +1345 -1410 0 +1370 -1410 0 +-1345 -1370 1410 0 +1376 1410 -1442 0 +1376 -1410 1442 0 +-1376 1410 1442 0 +-1376 -1410 -1442 0 +1378 1442 -1474 0 +1378 -1442 1474 0 +-1378 1442 1474 0 +-1378 -1442 -1474 0 +1474 34 -1506 0 +1474 -34 1506 0 +-1474 34 1506 0 +-1474 -34 -1506 0 +1538 -1346 0 +-1538 1346 0 +1346 -1411 0 +1371 -1411 0 +-1346 -1371 1411 0 +1345 1411 -1443 0 +1345 -1411 1443 0 +-1345 1411 1443 0 +-1345 -1411 -1443 0 +1379 1443 -1475 0 +1379 -1443 1475 0 +-1379 1443 1475 0 +-1379 -1443 -1475 0 +1475 35 -1507 0 +1475 -35 1507 0 +-1475 35 1507 0 +-1475 -35 -1507 0 +1539 -1347 0 +-1539 1347 0 +1347 -1412 0 +1372 -1412 0 +-1347 -1372 1412 0 +1346 1412 -1444 0 +1346 -1412 1444 0 +-1346 1412 1444 0 +-1346 -1412 -1444 0 +1380 1444 -1476 0 +1380 -1444 1476 0 +-1380 1444 1476 0 +-1380 -1444 -1476 0 +1476 36 -1508 0 +1476 -36 1508 0 +-1476 36 1508 0 +-1476 -36 -1508 0 +1540 -1348 0 +-1540 1348 0 +1348 -1413 0 +1373 -1413 0 +-1348 -1373 1413 0 +1347 1413 -1445 0 +1347 -1413 1445 0 +-1347 1413 1445 0 +-1347 -1413 -1445 0 +1381 1445 -1477 0 +1381 -1445 1477 0 +-1381 1445 1477 0 +-1381 -1445 -1477 0 +1477 37 -1509 0 +1477 -37 1509 0 +-1477 37 1509 0 +-1477 -37 -1509 0 +1541 -1349 0 +-1541 1349 0 +1349 -1414 0 +1374 -1414 0 +-1349 -1374 1414 0 +1348 1414 -1446 0 +1348 -1414 1446 0 +-1348 1414 1446 0 +-1348 -1414 -1446 0 +1382 1446 -1478 0 +1382 -1446 1478 0 +-1382 1446 1478 0 +-1382 -1446 -1478 0 +1478 38 -1510 0 +1478 -38 1510 0 +-1478 38 1510 0 +-1478 -38 -1510 0 +1542 -1350 0 +-1542 1350 0 +1350 -1415 0 +1375 -1415 0 +-1350 -1375 1415 0 +1349 1415 -1447 0 +1349 -1415 1447 0 +-1349 1415 1447 0 +-1349 -1415 -1447 0 +1383 1447 -1479 0 +1383 -1447 1479 0 +-1383 1447 1479 0 +-1383 -1447 -1479 0 +1479 39 -1511 0 +1479 -39 1511 0 +-1479 39 1511 0 +-1479 -39 -1511 0 +1543 -1351 0 +-1543 1351 0 +1351 -1416 0 +1376 -1416 0 +-1351 -1376 1416 0 +1350 1416 -1448 0 +1350 -1416 1448 0 +-1350 1416 1448 0 +-1350 -1416 -1448 0 +1384 1448 -1480 0 +1384 -1448 1480 0 +-1384 1448 1480 0 +-1384 -1448 -1480 0 +1480 40 -1512 0 +1480 -40 1512 0 +-1480 40 1512 0 +-1480 -40 -1512 0 +1544 -1352 0 +-1544 1352 0 +1352 -1417 0 +1345 -1417 0 +-1352 -1345 1417 0 +1351 1417 -1449 0 +1351 -1417 1449 0 +-1351 1417 1449 0 +-1351 -1417 -1449 0 +1385 1449 -1481 0 +1385 -1449 1481 0 +-1385 1449 1481 0 +-1385 -1449 -1481 0 +1481 41 -1513 0 +1481 -41 1513 0 +-1481 41 1513 0 +-1481 -41 -1513 0 +1545 -1353 0 +-1545 1353 0 +1353 -1418 0 +1346 -1418 0 +-1353 -1346 1418 0 +1352 1418 -1450 0 +1352 -1418 1450 0 +-1352 1418 1450 0 +-1352 -1418 -1450 0 +1386 1450 -1482 0 +1386 -1450 1482 0 +-1386 1450 1482 0 +-1386 -1450 -1482 0 +1482 42 -1514 0 +1482 -42 1514 0 +-1482 42 1514 0 +-1482 -42 -1514 0 +1546 -1354 0 +-1546 1354 0 +1354 -1419 0 +1347 -1419 0 +-1354 -1347 1419 0 +1353 1419 -1451 0 +1353 -1419 1451 0 +-1353 1419 1451 0 +-1353 -1419 -1451 0 +1387 1451 -1483 0 +1387 -1451 1483 0 +-1387 1451 1483 0 +-1387 -1451 -1483 0 +1483 43 -1515 0 +1483 -43 1515 0 +-1483 43 1515 0 +-1483 -43 -1515 0 +1547 -1355 0 +-1547 1355 0 +1355 -1420 0 +1348 -1420 0 +-1355 -1348 1420 0 +1354 1420 -1452 0 +1354 -1420 1452 0 +-1354 1420 1452 0 +-1354 -1420 -1452 0 +1388 1452 -1484 0 +1388 -1452 1484 0 +-1388 1452 1484 0 +-1388 -1452 -1484 0 +1484 44 -1516 0 +1484 -44 1516 0 +-1484 44 1516 0 +-1484 -44 -1516 0 +1548 -1356 0 +-1548 1356 0 +1356 -1421 0 +1349 -1421 0 +-1356 -1349 1421 0 +1355 1421 -1453 0 +1355 -1421 1453 0 +-1355 1421 1453 0 +-1355 -1421 -1453 0 +1389 1453 -1485 0 +1389 -1453 1485 0 +-1389 1453 1485 0 +-1389 -1453 -1485 0 +1485 45 -1517 0 +1485 -45 1517 0 +-1485 45 1517 0 +-1485 -45 -1517 0 +1549 -1357 0 +-1549 1357 0 +1357 -1422 0 +1350 -1422 0 +-1357 -1350 1422 0 +1356 1422 -1454 0 +1356 -1422 1454 0 +-1356 1422 1454 0 +-1356 -1422 -1454 0 +1390 1454 -1486 0 +1390 -1454 1486 0 +-1390 1454 1486 0 +-1390 -1454 -1486 0 +1486 46 -1518 0 +1486 -46 1518 0 +-1486 46 1518 0 +-1486 -46 -1518 0 +1550 -1358 0 +-1550 1358 0 +1358 -1423 0 +1351 -1423 0 +-1358 -1351 1423 0 +1357 1423 -1455 0 +1357 -1423 1455 0 +-1357 1423 1455 0 +-1357 -1423 -1455 0 +1391 1455 -1487 0 +1391 -1455 1487 0 +-1391 1455 1487 0 +-1391 -1455 -1487 0 +1487 47 -1519 0 +1487 -47 1519 0 +-1487 47 1519 0 +-1487 -47 -1519 0 +1551 -1359 0 +-1551 1359 0 +1359 -1424 0 +1352 -1424 0 +-1359 -1352 1424 0 +1358 1424 -1456 0 +1358 -1424 1456 0 +-1358 1424 1456 0 +-1358 -1424 -1456 0 +1392 1456 -1488 0 +1392 -1456 1488 0 +-1392 1456 1488 0 +-1392 -1456 -1488 0 +1488 48 -1520 0 +1488 -48 1520 0 +-1488 48 1520 0 +-1488 -48 -1520 0 +1552 -1360 0 +-1552 1360 0 +1360 -1425 0 +1353 -1425 0 +-1360 -1353 1425 0 +1359 1425 -1457 0 +1359 -1425 1457 0 +-1359 1425 1457 0 +-1359 -1425 -1457 0 +1393 1457 -1489 0 +1393 -1457 1489 0 +-1393 1457 1489 0 +-1393 -1457 -1489 0 +1489 49 -1521 0 +1489 -49 1521 0 +-1489 49 1521 0 +-1489 -49 -1521 0 +1553 -1361 0 +-1553 1361 0 +1361 -1426 0 +1354 -1426 0 +-1361 -1354 1426 0 +1360 1426 -1458 0 +1360 -1426 1458 0 +-1360 1426 1458 0 +-1360 -1426 -1458 0 +1394 1458 -1490 0 +1394 -1458 1490 0 +-1394 1458 1490 0 +-1394 -1458 -1490 0 +1490 50 -1522 0 +1490 -50 1522 0 +-1490 50 1522 0 +-1490 -50 -1522 0 +1554 -1362 0 +-1554 1362 0 +1362 -1427 0 +1355 -1427 0 +-1362 -1355 1427 0 +1361 1427 -1459 0 +1361 -1427 1459 0 +-1361 1427 1459 0 +-1361 -1427 -1459 0 +1395 1459 -1491 0 +1395 -1459 1491 0 +-1395 1459 1491 0 +-1395 -1459 -1491 0 +1491 51 -1523 0 +1491 -51 1523 0 +-1491 51 1523 0 +-1491 -51 -1523 0 +1555 -1363 0 +-1555 1363 0 +1363 -1428 0 +1356 -1428 0 +-1363 -1356 1428 0 +1362 1428 -1460 0 +1362 -1428 1460 0 +-1362 1428 1460 0 +-1362 -1428 -1460 0 +1396 1460 -1492 0 +1396 -1460 1492 0 +-1396 1460 1492 0 +-1396 -1460 -1492 0 +1492 52 -1524 0 +1492 -52 1524 0 +-1492 52 1524 0 +-1492 -52 -1524 0 +1556 -1364 0 +-1556 1364 0 +1364 -1429 0 +1357 -1429 0 +-1364 -1357 1429 0 +1363 1429 -1461 0 +1363 -1429 1461 0 +-1363 1429 1461 0 +-1363 -1429 -1461 0 +1397 1461 -1493 0 +1397 -1461 1493 0 +-1397 1461 1493 0 +-1397 -1461 -1493 0 +1493 53 -1525 0 +1493 -53 1525 0 +-1493 53 1525 0 +-1493 -53 -1525 0 +1557 -1365 0 +-1557 1365 0 +1365 -1430 0 +1358 -1430 0 +-1365 -1358 1430 0 +1364 1430 -1462 0 +1364 -1430 1462 0 +-1364 1430 1462 0 +-1364 -1430 -1462 0 +1398 1462 -1494 0 +1398 -1462 1494 0 +-1398 1462 1494 0 +-1398 -1462 -1494 0 +1494 54 -1526 0 +1494 -54 1526 0 +-1494 54 1526 0 +-1494 -54 -1526 0 +1558 -1366 0 +-1558 1366 0 +1366 -1431 0 +1359 -1431 0 +-1366 -1359 1431 0 +1365 1431 -1463 0 +1365 -1431 1463 0 +-1365 1431 1463 0 +-1365 -1431 -1463 0 +1399 1463 -1495 0 +1399 -1463 1495 0 +-1399 1463 1495 0 +-1399 -1463 -1495 0 +1495 55 -1527 0 +1495 -55 1527 0 +-1495 55 1527 0 +-1495 -55 -1527 0 +1559 -1367 0 +-1559 1367 0 +1367 -1432 0 +1360 -1432 0 +-1367 -1360 1432 0 +1366 1432 -1464 0 +1366 -1432 1464 0 +-1366 1432 1464 0 +-1366 -1432 -1464 0 +1400 1464 -1496 0 +1400 -1464 1496 0 +-1400 1464 1496 0 +-1400 -1464 -1496 0 +1496 56 -1528 0 +1496 -56 1528 0 +-1496 56 1528 0 +-1496 -56 -1528 0 +1560 -1368 0 +-1560 1368 0 +1368 -1433 0 +1361 -1433 0 +-1368 -1361 1433 0 +1367 1433 -1465 0 +1367 -1433 1465 0 +-1367 1433 1465 0 +-1367 -1433 -1465 0 +1401 1465 -1497 0 +1401 -1465 1497 0 +-1401 1465 1497 0 +-1401 -1465 -1497 0 +1497 57 -1529 0 +1497 -57 1529 0 +-1497 57 1529 0 +-1497 -57 -1529 0 +1561 -1369 0 +-1561 1369 0 +1369 -1434 0 +1362 -1434 0 +-1369 -1362 1434 0 +1368 1434 -1466 0 +1368 -1434 1466 0 +-1368 1434 1466 0 +-1368 -1434 -1466 0 +1402 1466 -1498 0 +1402 -1466 1498 0 +-1402 1466 1498 0 +-1402 -1466 -1498 0 +1498 58 -1530 0 +1498 -58 1530 0 +-1498 58 1530 0 +-1498 -58 -1530 0 +1562 -1370 0 +-1562 1370 0 +1370 -1435 0 +1363 -1435 0 +-1370 -1363 1435 0 +1369 1435 -1467 0 +1369 -1435 1467 0 +-1369 1435 1467 0 +-1369 -1435 -1467 0 +1403 1467 -1499 0 +1403 -1467 1499 0 +-1403 1467 1499 0 +-1403 -1467 -1499 0 +1499 59 -1531 0 +1499 -59 1531 0 +-1499 59 1531 0 +-1499 -59 -1531 0 +1563 -1371 0 +-1563 1371 0 +1371 -1436 0 +1364 -1436 0 +-1371 -1364 1436 0 +1370 1436 -1468 0 +1370 -1436 1468 0 +-1370 1436 1468 0 +-1370 -1436 -1468 0 +1404 1468 -1500 0 +1404 -1468 1500 0 +-1404 1468 1500 0 +-1404 -1468 -1500 0 +1500 60 -1532 0 +1500 -60 1532 0 +-1500 60 1532 0 +-1500 -60 -1532 0 +1564 -1372 0 +-1564 1372 0 +1372 -1437 0 +1365 -1437 0 +-1372 -1365 1437 0 +1371 1437 -1469 0 +1371 -1437 1469 0 +-1371 1437 1469 0 +-1371 -1437 -1469 0 +1405 1469 -1501 0 +1405 -1469 1501 0 +-1405 1469 1501 0 +-1405 -1469 -1501 0 +1501 61 -1533 0 +1501 -61 1533 0 +-1501 61 1533 0 +-1501 -61 -1533 0 +1565 -1373 0 +-1565 1373 0 +1373 -1438 0 +1366 -1438 0 +-1373 -1366 1438 0 +1372 1438 -1470 0 +1372 -1438 1470 0 +-1372 1438 1470 0 +-1372 -1438 -1470 0 +1406 1470 -1502 0 +1406 -1470 1502 0 +-1406 1470 1502 0 +-1406 -1470 -1502 0 +1502 62 -1534 0 +1502 -62 1534 0 +-1502 62 1534 0 +-1502 -62 -1534 0 +1566 -1374 0 +-1566 1374 0 +1374 -1439 0 +1367 -1439 0 +-1374 -1367 1439 0 +1373 1439 -1471 0 +1373 -1439 1471 0 +-1373 1439 1471 0 +-1373 -1439 -1471 0 +1407 1471 -1503 0 +1407 -1471 1503 0 +-1407 1471 1503 0 +-1407 -1471 -1503 0 +1503 63 -1535 0 +1503 -63 1535 0 +-1503 63 1535 0 +-1503 -63 -1535 0 +1567 -1375 0 +-1567 1375 0 +1375 -1440 0 +1368 -1440 0 +-1375 -1368 1440 0 +1374 1440 -1472 0 +1374 -1440 1472 0 +-1374 1440 1472 0 +-1374 -1440 -1472 0 +1408 1472 -1504 0 +1408 -1472 1504 0 +-1408 1472 1504 0 +-1408 -1472 -1504 0 +1504 64 -1536 0 +1504 -64 1536 0 +-1504 64 1536 0 +-1504 -64 -1536 0 +1568 -1376 0 +-1568 1376 0 +1536 -1569 0 +1529 -1569 0 +-1536 -1529 1569 0 +1535 1569 -1601 0 +1535 -1569 1601 0 +-1535 1569 1601 0 +-1535 -1569 -1601 0 +1537 1601 -1633 0 +1537 -1601 1633 0 +-1537 1601 1633 0 +-1537 -1601 -1633 0 +1633 33 -1665 0 +1633 -33 1665 0 +-1633 33 1665 0 +-1633 -33 -1665 0 +1697 -1505 0 +-1697 1505 0 +1505 -1570 0 +1530 -1570 0 +-1505 -1530 1570 0 +1536 1570 -1602 0 +1536 -1570 1602 0 +-1536 1570 1602 0 +-1536 -1570 -1602 0 +1538 1602 -1634 0 +1538 -1602 1634 0 +-1538 1602 1634 0 +-1538 -1602 -1634 0 +1634 34 -1666 0 +1634 -34 1666 0 +-1634 34 1666 0 +-1634 -34 -1666 0 +1698 -1506 0 +-1698 1506 0 +1506 -1571 0 +1531 -1571 0 +-1506 -1531 1571 0 +1505 1571 -1603 0 +1505 -1571 1603 0 +-1505 1571 1603 0 +-1505 -1571 -1603 0 +1539 1603 -1635 0 +1539 -1603 1635 0 +-1539 1603 1635 0 +-1539 -1603 -1635 0 +1635 35 -1667 0 +1635 -35 1667 0 +-1635 35 1667 0 +-1635 -35 -1667 0 +1699 -1507 0 +-1699 1507 0 +1507 -1572 0 +1532 -1572 0 +-1507 -1532 1572 0 +1506 1572 -1604 0 +1506 -1572 1604 0 +-1506 1572 1604 0 +-1506 -1572 -1604 0 +1540 1604 -1636 0 +1540 -1604 1636 0 +-1540 1604 1636 0 +-1540 -1604 -1636 0 +1636 36 -1668 0 +1636 -36 1668 0 +-1636 36 1668 0 +-1636 -36 -1668 0 +1700 -1508 0 +-1700 1508 0 +1508 -1573 0 +1533 -1573 0 +-1508 -1533 1573 0 +1507 1573 -1605 0 +1507 -1573 1605 0 +-1507 1573 1605 0 +-1507 -1573 -1605 0 +1541 1605 -1637 0 +1541 -1605 1637 0 +-1541 1605 1637 0 +-1541 -1605 -1637 0 +1637 37 -1669 0 +1637 -37 1669 0 +-1637 37 1669 0 +-1637 -37 -1669 0 +1701 -1509 0 +-1701 1509 0 +1509 -1574 0 +1534 -1574 0 +-1509 -1534 1574 0 +1508 1574 -1606 0 +1508 -1574 1606 0 +-1508 1574 1606 0 +-1508 -1574 -1606 0 +1542 1606 -1638 0 +1542 -1606 1638 0 +-1542 1606 1638 0 +-1542 -1606 -1638 0 +1638 38 -1670 0 +1638 -38 1670 0 +-1638 38 1670 0 +-1638 -38 -1670 0 +1702 -1510 0 +-1702 1510 0 +1510 -1575 0 +1535 -1575 0 +-1510 -1535 1575 0 +1509 1575 -1607 0 +1509 -1575 1607 0 +-1509 1575 1607 0 +-1509 -1575 -1607 0 +1543 1607 -1639 0 +1543 -1607 1639 0 +-1543 1607 1639 0 +-1543 -1607 -1639 0 +1639 39 -1671 0 +1639 -39 1671 0 +-1639 39 1671 0 +-1639 -39 -1671 0 +1703 -1511 0 +-1703 1511 0 +1511 -1576 0 +1536 -1576 0 +-1511 -1536 1576 0 +1510 1576 -1608 0 +1510 -1576 1608 0 +-1510 1576 1608 0 +-1510 -1576 -1608 0 +1544 1608 -1640 0 +1544 -1608 1640 0 +-1544 1608 1640 0 +-1544 -1608 -1640 0 +1640 40 -1672 0 +1640 -40 1672 0 +-1640 40 1672 0 +-1640 -40 -1672 0 +1704 -1512 0 +-1704 1512 0 +1512 -1577 0 +1505 -1577 0 +-1512 -1505 1577 0 +1511 1577 -1609 0 +1511 -1577 1609 0 +-1511 1577 1609 0 +-1511 -1577 -1609 0 +1545 1609 -1641 0 +1545 -1609 1641 0 +-1545 1609 1641 0 +-1545 -1609 -1641 0 +1641 41 -1673 0 +1641 -41 1673 0 +-1641 41 1673 0 +-1641 -41 -1673 0 +1705 -1513 0 +-1705 1513 0 +1513 -1578 0 +1506 -1578 0 +-1513 -1506 1578 0 +1512 1578 -1610 0 +1512 -1578 1610 0 +-1512 1578 1610 0 +-1512 -1578 -1610 0 +1546 1610 -1642 0 +1546 -1610 1642 0 +-1546 1610 1642 0 +-1546 -1610 -1642 0 +1642 42 -1674 0 +1642 -42 1674 0 +-1642 42 1674 0 +-1642 -42 -1674 0 +1706 -1514 0 +-1706 1514 0 +1514 -1579 0 +1507 -1579 0 +-1514 -1507 1579 0 +1513 1579 -1611 0 +1513 -1579 1611 0 +-1513 1579 1611 0 +-1513 -1579 -1611 0 +1547 1611 -1643 0 +1547 -1611 1643 0 +-1547 1611 1643 0 +-1547 -1611 -1643 0 +1643 43 -1675 0 +1643 -43 1675 0 +-1643 43 1675 0 +-1643 -43 -1675 0 +1707 -1515 0 +-1707 1515 0 +1515 -1580 0 +1508 -1580 0 +-1515 -1508 1580 0 +1514 1580 -1612 0 +1514 -1580 1612 0 +-1514 1580 1612 0 +-1514 -1580 -1612 0 +1548 1612 -1644 0 +1548 -1612 1644 0 +-1548 1612 1644 0 +-1548 -1612 -1644 0 +1644 44 -1676 0 +1644 -44 1676 0 +-1644 44 1676 0 +-1644 -44 -1676 0 +1708 -1516 0 +-1708 1516 0 +1516 -1581 0 +1509 -1581 0 +-1516 -1509 1581 0 +1515 1581 -1613 0 +1515 -1581 1613 0 +-1515 1581 1613 0 +-1515 -1581 -1613 0 +1549 1613 -1645 0 +1549 -1613 1645 0 +-1549 1613 1645 0 +-1549 -1613 -1645 0 +1645 45 -1677 0 +1645 -45 1677 0 +-1645 45 1677 0 +-1645 -45 -1677 0 +1709 -1517 0 +-1709 1517 0 +1517 -1582 0 +1510 -1582 0 +-1517 -1510 1582 0 +1516 1582 -1614 0 +1516 -1582 1614 0 +-1516 1582 1614 0 +-1516 -1582 -1614 0 +1550 1614 -1646 0 +1550 -1614 1646 0 +-1550 1614 1646 0 +-1550 -1614 -1646 0 +1646 46 -1678 0 +1646 -46 1678 0 +-1646 46 1678 0 +-1646 -46 -1678 0 +1710 -1518 0 +-1710 1518 0 +1518 -1583 0 +1511 -1583 0 +-1518 -1511 1583 0 +1517 1583 -1615 0 +1517 -1583 1615 0 +-1517 1583 1615 0 +-1517 -1583 -1615 0 +1551 1615 -1647 0 +1551 -1615 1647 0 +-1551 1615 1647 0 +-1551 -1615 -1647 0 +1647 47 -1679 0 +1647 -47 1679 0 +-1647 47 1679 0 +-1647 -47 -1679 0 +1711 -1519 0 +-1711 1519 0 +1519 -1584 0 +1512 -1584 0 +-1519 -1512 1584 0 +1518 1584 -1616 0 +1518 -1584 1616 0 +-1518 1584 1616 0 +-1518 -1584 -1616 0 +1552 1616 -1648 0 +1552 -1616 1648 0 +-1552 1616 1648 0 +-1552 -1616 -1648 0 +1648 48 -1680 0 +1648 -48 1680 0 +-1648 48 1680 0 +-1648 -48 -1680 0 +1712 -1520 0 +-1712 1520 0 +1520 -1585 0 +1513 -1585 0 +-1520 -1513 1585 0 +1519 1585 -1617 0 +1519 -1585 1617 0 +-1519 1585 1617 0 +-1519 -1585 -1617 0 +1553 1617 -1649 0 +1553 -1617 1649 0 +-1553 1617 1649 0 +-1553 -1617 -1649 0 +1649 49 -1681 0 +1649 -49 1681 0 +-1649 49 1681 0 +-1649 -49 -1681 0 +1713 -1521 0 +-1713 1521 0 +1521 -1586 0 +1514 -1586 0 +-1521 -1514 1586 0 +1520 1586 -1618 0 +1520 -1586 1618 0 +-1520 1586 1618 0 +-1520 -1586 -1618 0 +1554 1618 -1650 0 +1554 -1618 1650 0 +-1554 1618 1650 0 +-1554 -1618 -1650 0 +1650 50 -1682 0 +1650 -50 1682 0 +-1650 50 1682 0 +-1650 -50 -1682 0 +1714 -1522 0 +-1714 1522 0 +1522 -1587 0 +1515 -1587 0 +-1522 -1515 1587 0 +1521 1587 -1619 0 +1521 -1587 1619 0 +-1521 1587 1619 0 +-1521 -1587 -1619 0 +1555 1619 -1651 0 +1555 -1619 1651 0 +-1555 1619 1651 0 +-1555 -1619 -1651 0 +1651 51 -1683 0 +1651 -51 1683 0 +-1651 51 1683 0 +-1651 -51 -1683 0 +1715 -1523 0 +-1715 1523 0 +1523 -1588 0 +1516 -1588 0 +-1523 -1516 1588 0 +1522 1588 -1620 0 +1522 -1588 1620 0 +-1522 1588 1620 0 +-1522 -1588 -1620 0 +1556 1620 -1652 0 +1556 -1620 1652 0 +-1556 1620 1652 0 +-1556 -1620 -1652 0 +1652 52 -1684 0 +1652 -52 1684 0 +-1652 52 1684 0 +-1652 -52 -1684 0 +1716 -1524 0 +-1716 1524 0 +1524 -1589 0 +1517 -1589 0 +-1524 -1517 1589 0 +1523 1589 -1621 0 +1523 -1589 1621 0 +-1523 1589 1621 0 +-1523 -1589 -1621 0 +1557 1621 -1653 0 +1557 -1621 1653 0 +-1557 1621 1653 0 +-1557 -1621 -1653 0 +1653 53 -1685 0 +1653 -53 1685 0 +-1653 53 1685 0 +-1653 -53 -1685 0 +1717 -1525 0 +-1717 1525 0 +1525 -1590 0 +1518 -1590 0 +-1525 -1518 1590 0 +1524 1590 -1622 0 +1524 -1590 1622 0 +-1524 1590 1622 0 +-1524 -1590 -1622 0 +1558 1622 -1654 0 +1558 -1622 1654 0 +-1558 1622 1654 0 +-1558 -1622 -1654 0 +1654 54 -1686 0 +1654 -54 1686 0 +-1654 54 1686 0 +-1654 -54 -1686 0 +1718 -1526 0 +-1718 1526 0 +1526 -1591 0 +1519 -1591 0 +-1526 -1519 1591 0 +1525 1591 -1623 0 +1525 -1591 1623 0 +-1525 1591 1623 0 +-1525 -1591 -1623 0 +1559 1623 -1655 0 +1559 -1623 1655 0 +-1559 1623 1655 0 +-1559 -1623 -1655 0 +1655 55 -1687 0 +1655 -55 1687 0 +-1655 55 1687 0 +-1655 -55 -1687 0 +1719 -1527 0 +-1719 1527 0 +1527 -1592 0 +1520 -1592 0 +-1527 -1520 1592 0 +1526 1592 -1624 0 +1526 -1592 1624 0 +-1526 1592 1624 0 +-1526 -1592 -1624 0 +1560 1624 -1656 0 +1560 -1624 1656 0 +-1560 1624 1656 0 +-1560 -1624 -1656 0 +1656 56 -1688 0 +1656 -56 1688 0 +-1656 56 1688 0 +-1656 -56 -1688 0 +1720 -1528 0 +-1720 1528 0 +1528 -1593 0 +1521 -1593 0 +-1528 -1521 1593 0 +1527 1593 -1625 0 +1527 -1593 1625 0 +-1527 1593 1625 0 +-1527 -1593 -1625 0 +1561 1625 -1657 0 +1561 -1625 1657 0 +-1561 1625 1657 0 +-1561 -1625 -1657 0 +1657 57 -1689 0 +1657 -57 1689 0 +-1657 57 1689 0 +-1657 -57 -1689 0 +1721 -1529 0 +-1721 1529 0 +1529 -1594 0 +1522 -1594 0 +-1529 -1522 1594 0 +1528 1594 -1626 0 +1528 -1594 1626 0 +-1528 1594 1626 0 +-1528 -1594 -1626 0 +1562 1626 -1658 0 +1562 -1626 1658 0 +-1562 1626 1658 0 +-1562 -1626 -1658 0 +1658 58 -1690 0 +1658 -58 1690 0 +-1658 58 1690 0 +-1658 -58 -1690 0 +1722 -1530 0 +-1722 1530 0 +1530 -1595 0 +1523 -1595 0 +-1530 -1523 1595 0 +1529 1595 -1627 0 +1529 -1595 1627 0 +-1529 1595 1627 0 +-1529 -1595 -1627 0 +1563 1627 -1659 0 +1563 -1627 1659 0 +-1563 1627 1659 0 +-1563 -1627 -1659 0 +1659 59 -1691 0 +1659 -59 1691 0 +-1659 59 1691 0 +-1659 -59 -1691 0 +1723 -1531 0 +-1723 1531 0 +1531 -1596 0 +1524 -1596 0 +-1531 -1524 1596 0 +1530 1596 -1628 0 +1530 -1596 1628 0 +-1530 1596 1628 0 +-1530 -1596 -1628 0 +1564 1628 -1660 0 +1564 -1628 1660 0 +-1564 1628 1660 0 +-1564 -1628 -1660 0 +1660 60 -1692 0 +1660 -60 1692 0 +-1660 60 1692 0 +-1660 -60 -1692 0 +1724 -1532 0 +-1724 1532 0 +1532 -1597 0 +1525 -1597 0 +-1532 -1525 1597 0 +1531 1597 -1629 0 +1531 -1597 1629 0 +-1531 1597 1629 0 +-1531 -1597 -1629 0 +1565 1629 -1661 0 +1565 -1629 1661 0 +-1565 1629 1661 0 +-1565 -1629 -1661 0 +1661 61 -1693 0 +1661 -61 1693 0 +-1661 61 1693 0 +-1661 -61 -1693 0 +1725 -1533 0 +-1725 1533 0 +1533 -1598 0 +1526 -1598 0 +-1533 -1526 1598 0 +1532 1598 -1630 0 +1532 -1598 1630 0 +-1532 1598 1630 0 +-1532 -1598 -1630 0 +1566 1630 -1662 0 +1566 -1630 1662 0 +-1566 1630 1662 0 +-1566 -1630 -1662 0 +1662 62 -1694 0 +1662 -62 1694 0 +-1662 62 1694 0 +-1662 -62 -1694 0 +1726 -1534 0 +-1726 1534 0 +1534 -1599 0 +1527 -1599 0 +-1534 -1527 1599 0 +1533 1599 -1631 0 +1533 -1599 1631 0 +-1533 1599 1631 0 +-1533 -1599 -1631 0 +1567 1631 -1663 0 +1567 -1631 1663 0 +-1567 1631 1663 0 +-1567 -1631 -1663 0 +1663 63 -1695 0 +1663 -63 1695 0 +-1663 63 1695 0 +-1663 -63 -1695 0 +1727 -1535 0 +-1727 1535 0 +1535 -1600 0 +1528 -1600 0 +-1535 -1528 1600 0 +1534 1600 -1632 0 +1534 -1600 1632 0 +-1534 1600 1632 0 +-1534 -1600 -1632 0 +1568 1632 -1664 0 +1568 -1632 1664 0 +-1568 1632 1664 0 +-1568 -1632 -1664 0 +1664 64 -1696 0 +1664 -64 1696 0 +-1664 64 1696 0 +-1664 -64 -1696 0 +1728 -1536 0 +-1728 1536 0 + 33 -1 0 + -33 1 0 + 34 -2 0 + -34 2 0 + 35 -3 0 + -35 3 0 + 36 -4 0 + -36 4 0 + 37 -5 0 + -37 5 0 + 38 -6 0 + -38 6 0 + 39 -7 0 + -39 7 0 + 40 -8 0 + -40 8 0 + 41 -9 0 + -41 9 0 + 42 -10 0 + -42 10 0 + 43 -11 0 + -43 11 0 + 44 -12 0 + -44 12 0 + 45 -13 0 + -45 13 0 + 46 -14 0 + -46 14 0 + 47 -15 0 + -47 15 0 + 48 -16 0 + -48 16 0 + 49 -17 0 + -49 17 0 + 50 -18 0 + -50 18 0 + 51 -19 0 + -51 19 0 + 52 -20 0 + -52 20 0 + 53 -21 0 + -53 21 0 + 54 -22 0 + -54 22 0 + 55 -23 0 + -55 23 0 + 56 -24 0 + -56 24 0 + 57 -25 0 + -57 25 0 + 58 -26 0 + -58 26 0 + 59 -27 0 + -59 27 0 + 60 -28 0 + -60 28 0 + 61 -29 0 + -61 29 0 + 62 -30 0 + -62 30 0 + 63 -31 0 + -63 31 0 + 64 -32 0 + -64 32 0 + 65 0 + 66 0 + -67 0 + 68 0 + 69 0 + 70 0 + 71 0 + 72 0 + -73 0 + 74 0 + -75 0 + -76 0 + -77 0 + -78 0 + -79 0 + 80 0 + -81 0 + 82 0 + -83 0 + -84 0 + -85 0 + -86 0 + 87 0 + 88 0 + -89 0 + 90 0 + -91 0 + -92 0 + -93 0 + 94 0 + -95 0 + 96 0 + 97 0 + 98 0 + 99 0 +-100 0 + 101 0 + 102 0 + 103 0 +-104 0 +-105 0 + 106 0 +-107 0 + 108 0 + 109 0 + 110 0 + 111 0 + 112 0 +-113 0 +-114 0 +-115 0 + 116 0 + 117 0 +-118 0 + 119 0 + 120 0 +-121 0 +-122 0 +-123 0 + 124 0 +-125 0 +-126 0 +-127 0 + 128 0 +1665 0 +1666 0 +1667 0 +1668 0 +-1669 0 +-1670 0 +-1671 0 +1672 0 +-1673 0 +1674 0 +1675 0 +-1676 0 +1677 0 +1678 0 +1679 0 +1680 0 +1681 0 +-1682 0 +-1683 0 +1684 0 +-1685 0 +1686 0 +1687 0 +1688 0 +-1689 0 +1690 0 +1691 0 +-1692 0 +1693 0 +1694 0 +1695 0 +-1696 0 +-1697 0 +-1698 0 +-1699 0 +1700 0 +-1701 0 +1702 0 +1703 0 +-1704 0 +1705 0 +1706 0 +-1707 0 +1708 0 +-1709 0 +-1710 0 +-1711 0 +1712 0 +-1713 0 +1714 0 +1715 0 +-1716 0 +1717 0 +1718 0 +-1719 0 +1720 0 +1721 0 +1722 0 +1723 0 +1724 0 +-1725 0 +-1726 0 +-1727 0 +1728 0 diff --git a/docker/init_leader.sh b/docker/init_leader.sh new file mode 100755 index 0000000..2d08ef2 --- /dev/null +++ b/docker/init_leader.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +/usr/sbin/sshd -D -f /home/ecs-user/.ssh/sshd_config & \ No newline at end of file diff --git a/docker/init_worker.sh b/docker/init_worker.sh new file mode 100755 index 0000000..2d08ef2 --- /dev/null +++ b/docker/init_worker.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +/usr/sbin/sshd -D -f /home/ecs-user/.ssh/sshd_config & \ No newline at end of file diff --git a/docker/leader.dockerfile b/docker/leader.dockerfile new file mode 100644 index 0000000..fb8b255 --- /dev/null +++ b/docker/leader.dockerfile @@ -0,0 +1,6 @@ +FROM satcomp-infrastructure:leader + +COPY --chown=ecs-user ./light /competition/light +COPY --chown=ecs-user ./init_leader.sh /competition/init_solver.sh +COPY --chown=ecs-user ./run_solver.sh /competition/run_solver.sh +COPY --chown=ecs-user ./files /competition/files diff --git a/docker/light b/docker/light new file mode 100755 index 0000000..fe1b96e Binary files /dev/null and b/docker/light differ diff --git a/docker/run_solver.sh b/docker/run_solver.sh new file mode 100755 index 0000000..76e0d23 --- /dev/null +++ b/docker/run_solver.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +mpirun --host worker1,worker2,worker3 light -i ./files/class_1_easy_10_0.cnf \ No newline at end of file diff --git a/docker/worker.dockerfile b/docker/worker.dockerfile new file mode 100644 index 0000000..b1e22d9 --- /dev/null +++ b/docker/worker.dockerfile @@ -0,0 +1,5 @@ +FROM satcomp-infrastructure:worker + +COPY --chown=ecs-user ./light /competition/light +COPY --chown=ecs-user ./init_worker.sh /competition/init_solver.sh +COPY --chown=ecs-user ./files /competition/files diff --git a/light b/light new file mode 100755 index 0000000..fe1b96e Binary files /dev/null and b/light differ diff --git a/light-master b/light-master deleted file mode 120000 index 2263418..0000000 --- a/light-master +++ /dev/null @@ -1 +0,0 @@ -./src-light-master/build/light-master \ No newline at end of file diff --git a/light-solver b/light-solver deleted file mode 120000 index f4bb3d2..0000000 --- a/light-solver +++ /dev/null @@ -1 +0,0 @@ -./src-light-solver/build/light-solver \ No newline at end of file diff --git a/src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri-0.0.20140914.so b/m4ri-20140914/.libs/libm4ri-0.0.20140914.so similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri-0.0.20140914.so rename to m4ri-20140914/.libs/libm4ri-0.0.20140914.so diff --git a/src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri.a b/m4ri-20140914/.libs/libm4ri.a similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri.a rename to m4ri-20140914/.libs/libm4ri.a diff --git a/src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri.la b/m4ri-20140914/.libs/libm4ri.la similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri.la rename to m4ri-20140914/.libs/libm4ri.la diff --git a/src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri.lai b/m4ri-20140914/.libs/libm4ri.lai similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri.lai rename to m4ri-20140914/.libs/libm4ri.lai diff --git a/src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri.so b/m4ri-20140914/.libs/libm4ri.so similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/.libs/libm4ri.so rename to m4ri-20140914/.libs/libm4ri.so diff --git a/src-light-solver/preprocess/m4ri-20140914/AUTHORS b/m4ri-20140914/AUTHORS similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/AUTHORS rename to m4ri-20140914/AUTHORS diff --git a/src-light-solver/preprocess/m4ri-20140914/COPYING b/m4ri-20140914/COPYING similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/COPYING rename to m4ri-20140914/COPYING diff --git a/src-light-solver/preprocess/m4ri-20140914/ChangeLog b/m4ri-20140914/ChangeLog similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/ChangeLog rename to m4ri-20140914/ChangeLog diff --git a/src-light-solver/preprocess/m4ri-20140914/INSTALL b/m4ri-20140914/INSTALL similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/INSTALL rename to m4ri-20140914/INSTALL diff --git a/src-light-solver/preprocess/m4ri-20140914/Makefile b/m4ri-20140914/Makefile similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/Makefile rename to m4ri-20140914/Makefile diff --git a/src-light-solver/preprocess/m4ri-20140914/Makefile.am b/m4ri-20140914/Makefile.am similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/Makefile.am rename to m4ri-20140914/Makefile.am diff --git a/src-light-solver/preprocess/m4ri-20140914/Makefile.in b/m4ri-20140914/Makefile.in similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/Makefile.in rename to m4ri-20140914/Makefile.in diff --git a/src-light-solver/preprocess/m4ri-20140914/NEWS b/m4ri-20140914/NEWS similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/NEWS rename to m4ri-20140914/NEWS diff --git a/src-light-solver/preprocess/m4ri-20140914/aclocal.m4 b/m4ri-20140914/aclocal.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/aclocal.m4 rename to m4ri-20140914/aclocal.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/compile b/m4ri-20140914/compile similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/compile rename to m4ri-20140914/compile diff --git a/src-light-solver/preprocess/m4ri-20140914/config.guess b/m4ri-20140914/config.guess similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/config.guess rename to m4ri-20140914/config.guess diff --git a/src-light-solver/preprocess/m4ri-20140914/config.log b/m4ri-20140914/config.log similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/config.log rename to m4ri-20140914/config.log diff --git a/src-light-solver/preprocess/m4ri-20140914/config.status b/m4ri-20140914/config.status similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/config.status rename to m4ri-20140914/config.status diff --git a/src-light-solver/preprocess/m4ri-20140914/config.sub b/m4ri-20140914/config.sub similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/config.sub rename to m4ri-20140914/config.sub diff --git a/src-light-solver/preprocess/m4ri-20140914/configure b/m4ri-20140914/configure similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/configure rename to m4ri-20140914/configure diff --git a/src-light-solver/preprocess/m4ri-20140914/configure.ac b/m4ri-20140914/configure.ac similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/configure.ac rename to m4ri-20140914/configure.ac diff --git a/src-light-solver/preprocess/m4ri-20140914/depcomp b/m4ri-20140914/depcomp similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/depcomp rename to m4ri-20140914/depcomp diff --git a/src-light-solver/preprocess/m4ri-20140914/install-sh b/m4ri-20140914/install-sh similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/install-sh rename to m4ri-20140914/install-sh diff --git a/src-light-solver/preprocess/m4ri-20140914/libm4ri.la b/m4ri-20140914/libm4ri.la similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/libm4ri.la rename to m4ri-20140914/libm4ri.la diff --git a/src-light-solver/preprocess/m4ri-20140914/libtool b/m4ri-20140914/libtool similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/libtool rename to m4ri-20140914/libtool diff --git a/src-light-solver/preprocess/m4ri-20140914/ltmain.sh b/m4ri-20140914/ltmain.sh similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/ltmain.sh rename to m4ri-20140914/ltmain.sh diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_cache_size.m4 b/m4ri-20140914/m4/ax_cache_size.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_cache_size.m4 rename to m4ri-20140914/m4/ax_cache_size.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_cache_size_tune.m4 b/m4ri-20140914/m4/ax_cache_size_tune.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_cache_size_tune.m4 rename to m4ri-20140914/m4/ax_cache_size_tune.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_check_compiler_flags.m4 b/m4ri-20140914/m4/ax_check_compiler_flags.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_check_compiler_flags.m4 rename to m4ri-20140914/m4/ax_check_compiler_flags.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_cpu_vendor.m4 b/m4ri-20140914/m4/ax_cpu_vendor.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_cpu_vendor.m4 rename to m4ri-20140914/m4/ax_cpu_vendor.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_ext.m4 b/m4ri-20140914/m4/ax_ext.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_ext.m4 rename to m4ri-20140914/m4/ax_ext.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_func_posix_memalign.m4 b/m4ri-20140914/m4/ax_func_posix_memalign.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_func_posix_memalign.m4 rename to m4ri-20140914/m4/ax_func_posix_memalign.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_gcc_x86_cpuid.m4 b/m4ri-20140914/m4/ax_gcc_x86_cpuid.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_gcc_x86_cpuid.m4 rename to m4ri-20140914/m4/ax_gcc_x86_cpuid.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_guess_path_header.m4 b/m4ri-20140914/m4/ax_guess_path_header.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_guess_path_header.m4 rename to m4ri-20140914/m4/ax_guess_path_header.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_guess_path_lib.m4 b/m4ri-20140914/m4/ax_guess_path_lib.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_guess_path_lib.m4 rename to m4ri-20140914/m4/ax_guess_path_lib.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ax_openmp.m4 b/m4ri-20140914/m4/ax_openmp.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ax_openmp.m4 rename to m4ri-20140914/m4/ax_openmp.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/libtool.m4 b/m4ri-20140914/m4/libtool.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/libtool.m4 rename to m4ri-20140914/m4/libtool.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ltoptions.m4 b/m4ri-20140914/m4/ltoptions.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ltoptions.m4 rename to m4ri-20140914/m4/ltoptions.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ltsugar.m4 b/m4ri-20140914/m4/ltsugar.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ltsugar.m4 rename to m4ri-20140914/m4/ltsugar.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/ltversion.m4 b/m4ri-20140914/m4/ltversion.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/ltversion.m4 rename to m4ri-20140914/m4/ltversion.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/lt~obsolete.m4 b/m4ri-20140914/m4/lt~obsolete.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/lt~obsolete.m4 rename to m4ri-20140914/m4/lt~obsolete.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4/pkg.m4 b/m4ri-20140914/m4/pkg.m4 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4/pkg.m4 rename to m4ri-20140914/m4/pkg.m4 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri.pc b/m4ri-20140914/m4ri.pc similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri.pc rename to m4ri-20140914/m4ri.pc diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri.pc.in b/m4ri-20140914/m4ri.pc.in similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri.pc.in rename to m4ri-20140914/m4ri.pc.in diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/.dirstamp b/m4ri-20140914/m4ri/.deps/.dirstamp similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/.dirstamp rename to m4ri-20140914/m4ri/.deps/.dirstamp diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/brilliantrussian.Plo b/m4ri-20140914/m4ri/.deps/brilliantrussian.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/brilliantrussian.Plo rename to m4ri-20140914/m4ri/.deps/brilliantrussian.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/debug_dump.Plo b/m4ri-20140914/m4ri/.deps/debug_dump.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/debug_dump.Plo rename to m4ri-20140914/m4ri/.deps/debug_dump.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/djb.Plo b/m4ri-20140914/m4ri/.deps/djb.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/djb.Plo rename to m4ri-20140914/m4ri/.deps/djb.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/echelonform.Plo b/m4ri-20140914/m4ri/.deps/echelonform.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/echelonform.Plo rename to m4ri-20140914/m4ri/.deps/echelonform.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/graycode.Plo b/m4ri-20140914/m4ri/.deps/graycode.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/graycode.Plo rename to m4ri-20140914/m4ri/.deps/graycode.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/io.Plo b/m4ri-20140914/m4ri/.deps/io.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/io.Plo rename to m4ri-20140914/m4ri/.deps/io.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/misc.Plo b/m4ri-20140914/m4ri/.deps/misc.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/misc.Plo rename to m4ri-20140914/m4ri/.deps/misc.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/mmc.Plo b/m4ri-20140914/m4ri/.deps/mmc.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/mmc.Plo rename to m4ri-20140914/m4ri/.deps/mmc.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/mp.Plo b/m4ri-20140914/m4ri/.deps/mp.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/mp.Plo rename to m4ri-20140914/m4ri/.deps/mp.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/mzd.Plo b/m4ri-20140914/m4ri/.deps/mzd.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/mzd.Plo rename to m4ri-20140914/m4ri/.deps/mzd.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/mzp.Plo b/m4ri-20140914/m4ri/.deps/mzp.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/mzp.Plo rename to m4ri-20140914/m4ri/.deps/mzp.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/ple.Plo b/m4ri-20140914/m4ri/.deps/ple.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/ple.Plo rename to m4ri-20140914/m4ri/.deps/ple.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/ple_russian.Plo b/m4ri-20140914/m4ri/.deps/ple_russian.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/ple_russian.Plo rename to m4ri-20140914/m4ri/.deps/ple_russian.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/solve.Plo b/m4ri-20140914/m4ri/.deps/solve.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/solve.Plo rename to m4ri-20140914/m4ri/.deps/solve.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/strassen.Plo b/m4ri-20140914/m4ri/.deps/strassen.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/strassen.Plo rename to m4ri-20140914/m4ri/.deps/strassen.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/triangular.Plo b/m4ri-20140914/m4ri/.deps/triangular.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/triangular.Plo rename to m4ri-20140914/m4ri/.deps/triangular.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/triangular_russian.Plo b/m4ri-20140914/m4ri/.deps/triangular_russian.Plo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.deps/triangular_russian.Plo rename to m4ri-20140914/m4ri/.deps/triangular_russian.Plo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.dirstamp b/m4ri-20140914/m4ri/.dirstamp similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.dirstamp rename to m4ri-20140914/m4ri/.dirstamp diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/brilliantrussian.o b/m4ri-20140914/m4ri/.libs/brilliantrussian.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/brilliantrussian.o rename to m4ri-20140914/m4ri/.libs/brilliantrussian.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/debug_dump.o b/m4ri-20140914/m4ri/.libs/debug_dump.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/debug_dump.o rename to m4ri-20140914/m4ri/.libs/debug_dump.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/djb.o b/m4ri-20140914/m4ri/.libs/djb.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/djb.o rename to m4ri-20140914/m4ri/.libs/djb.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/echelonform.o b/m4ri-20140914/m4ri/.libs/echelonform.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/echelonform.o rename to m4ri-20140914/m4ri/.libs/echelonform.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/graycode.o b/m4ri-20140914/m4ri/.libs/graycode.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/graycode.o rename to m4ri-20140914/m4ri/.libs/graycode.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/io.o b/m4ri-20140914/m4ri/.libs/io.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/io.o rename to m4ri-20140914/m4ri/.libs/io.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/misc.o b/m4ri-20140914/m4ri/.libs/misc.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/misc.o rename to m4ri-20140914/m4ri/.libs/misc.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/mmc.o b/m4ri-20140914/m4ri/.libs/mmc.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/mmc.o rename to m4ri-20140914/m4ri/.libs/mmc.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/mp.o b/m4ri-20140914/m4ri/.libs/mp.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/mp.o rename to m4ri-20140914/m4ri/.libs/mp.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/mzd.o b/m4ri-20140914/m4ri/.libs/mzd.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/mzd.o rename to m4ri-20140914/m4ri/.libs/mzd.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/mzp.o b/m4ri-20140914/m4ri/.libs/mzp.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/mzp.o rename to m4ri-20140914/m4ri/.libs/mzp.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/ple.o b/m4ri-20140914/m4ri/.libs/ple.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/ple.o rename to m4ri-20140914/m4ri/.libs/ple.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/ple_russian.o b/m4ri-20140914/m4ri/.libs/ple_russian.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/ple_russian.o rename to m4ri-20140914/m4ri/.libs/ple_russian.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/solve.o b/m4ri-20140914/m4ri/.libs/solve.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/solve.o rename to m4ri-20140914/m4ri/.libs/solve.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/strassen.o b/m4ri-20140914/m4ri/.libs/strassen.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/strassen.o rename to m4ri-20140914/m4ri/.libs/strassen.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/triangular.o b/m4ri-20140914/m4ri/.libs/triangular.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/triangular.o rename to m4ri-20140914/m4ri/.libs/triangular.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/triangular_russian.o b/m4ri-20140914/m4ri/.libs/triangular_russian.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/.libs/triangular_russian.o rename to m4ri-20140914/m4ri/.libs/triangular_russian.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/Doxyfile b/m4ri-20140914/m4ri/Doxyfile similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/Doxyfile rename to m4ri-20140914/m4ri/Doxyfile diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/brilliantrussian.c b/m4ri-20140914/m4ri/brilliantrussian.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/brilliantrussian.c rename to m4ri-20140914/m4ri/brilliantrussian.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/brilliantrussian.h b/m4ri-20140914/m4ri/brilliantrussian.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/brilliantrussian.h rename to m4ri-20140914/m4ri/brilliantrussian.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/brilliantrussian.lo b/m4ri-20140914/m4ri/brilliantrussian.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/brilliantrussian.lo rename to m4ri-20140914/m4ri/brilliantrussian.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/brilliantrussian.o b/m4ri-20140914/m4ri/brilliantrussian.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/brilliantrussian.o rename to m4ri-20140914/m4ri/brilliantrussian.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/config.h b/m4ri-20140914/m4ri/config.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/config.h rename to m4ri-20140914/m4ri/config.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/config.h.in b/m4ri-20140914/m4ri/config.h.in similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/config.h.in rename to m4ri-20140914/m4ri/config.h.in diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/debug_dump.c b/m4ri-20140914/m4ri/debug_dump.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/debug_dump.c rename to m4ri-20140914/m4ri/debug_dump.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/debug_dump.h b/m4ri-20140914/m4ri/debug_dump.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/debug_dump.h rename to m4ri-20140914/m4ri/debug_dump.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/debug_dump.lo b/m4ri-20140914/m4ri/debug_dump.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/debug_dump.lo rename to m4ri-20140914/m4ri/debug_dump.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/debug_dump.o b/m4ri-20140914/m4ri/debug_dump.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/debug_dump.o rename to m4ri-20140914/m4ri/debug_dump.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/djb.c b/m4ri-20140914/m4ri/djb.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/djb.c rename to m4ri-20140914/m4ri/djb.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/djb.h b/m4ri-20140914/m4ri/djb.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/djb.h rename to m4ri-20140914/m4ri/djb.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/djb.lo b/m4ri-20140914/m4ri/djb.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/djb.lo rename to m4ri-20140914/m4ri/djb.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/djb.o b/m4ri-20140914/m4ri/djb.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/djb.o rename to m4ri-20140914/m4ri/djb.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/echelonform.c b/m4ri-20140914/m4ri/echelonform.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/echelonform.c rename to m4ri-20140914/m4ri/echelonform.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/echelonform.h b/m4ri-20140914/m4ri/echelonform.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/echelonform.h rename to m4ri-20140914/m4ri/echelonform.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/echelonform.lo b/m4ri-20140914/m4ri/echelonform.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/echelonform.lo rename to m4ri-20140914/m4ri/echelonform.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/echelonform.o b/m4ri-20140914/m4ri/echelonform.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/echelonform.o rename to m4ri-20140914/m4ri/echelonform.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/graycode.c b/m4ri-20140914/m4ri/graycode.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/graycode.c rename to m4ri-20140914/m4ri/graycode.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/graycode.h b/m4ri-20140914/m4ri/graycode.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/graycode.h rename to m4ri-20140914/m4ri/graycode.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/graycode.lo b/m4ri-20140914/m4ri/graycode.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/graycode.lo rename to m4ri-20140914/m4ri/graycode.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/graycode.o b/m4ri-20140914/m4ri/graycode.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/graycode.o rename to m4ri-20140914/m4ri/graycode.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/io.c b/m4ri-20140914/m4ri/io.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/io.c rename to m4ri-20140914/m4ri/io.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/io.h b/m4ri-20140914/m4ri/io.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/io.h rename to m4ri-20140914/m4ri/io.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/io.lo b/m4ri-20140914/m4ri/io.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/io.lo rename to m4ri-20140914/m4ri/io.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/io.o b/m4ri-20140914/m4ri/io.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/io.o rename to m4ri-20140914/m4ri/io.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/m4ri.h b/m4ri-20140914/m4ri/m4ri.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/m4ri.h rename to m4ri-20140914/m4ri/m4ri.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/m4ri_config.h b/m4ri-20140914/m4ri/m4ri_config.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/m4ri_config.h rename to m4ri-20140914/m4ri/m4ri_config.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/m4ri_config.h.in b/m4ri-20140914/m4ri/m4ri_config.h.in similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/m4ri_config.h.in rename to m4ri-20140914/m4ri/m4ri_config.h.in diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/misc.c b/m4ri-20140914/m4ri/misc.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/misc.c rename to m4ri-20140914/m4ri/misc.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/misc.h b/m4ri-20140914/m4ri/misc.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/misc.h rename to m4ri-20140914/m4ri/misc.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/misc.lo b/m4ri-20140914/m4ri/misc.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/misc.lo rename to m4ri-20140914/m4ri/misc.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/misc.o b/m4ri-20140914/m4ri/misc.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/misc.o rename to m4ri-20140914/m4ri/misc.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mmc.c b/m4ri-20140914/m4ri/mmc.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mmc.c rename to m4ri-20140914/m4ri/mmc.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mmc.h b/m4ri-20140914/m4ri/mmc.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mmc.h rename to m4ri-20140914/m4ri/mmc.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mmc.lo b/m4ri-20140914/m4ri/mmc.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mmc.lo rename to m4ri-20140914/m4ri/mmc.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mmc.o b/m4ri-20140914/m4ri/mmc.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mmc.o rename to m4ri-20140914/m4ri/mmc.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mp.c b/m4ri-20140914/m4ri/mp.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mp.c rename to m4ri-20140914/m4ri/mp.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mp.h b/m4ri-20140914/m4ri/mp.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mp.h rename to m4ri-20140914/m4ri/mp.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mp.lo b/m4ri-20140914/m4ri/mp.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mp.lo rename to m4ri-20140914/m4ri/mp.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mp.o b/m4ri-20140914/m4ri/mp.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mp.o rename to m4ri-20140914/m4ri/mp.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mzd.c b/m4ri-20140914/m4ri/mzd.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mzd.c rename to m4ri-20140914/m4ri/mzd.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mzd.h b/m4ri-20140914/m4ri/mzd.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mzd.h rename to m4ri-20140914/m4ri/mzd.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mzd.lo b/m4ri-20140914/m4ri/mzd.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mzd.lo rename to m4ri-20140914/m4ri/mzd.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mzd.o b/m4ri-20140914/m4ri/mzd.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mzd.o rename to m4ri-20140914/m4ri/mzd.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mzp.c b/m4ri-20140914/m4ri/mzp.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mzp.c rename to m4ri-20140914/m4ri/mzp.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mzp.h b/m4ri-20140914/m4ri/mzp.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mzp.h rename to m4ri-20140914/m4ri/mzp.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mzp.lo b/m4ri-20140914/m4ri/mzp.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mzp.lo rename to m4ri-20140914/m4ri/mzp.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/mzp.o b/m4ri-20140914/m4ri/mzp.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/mzp.o rename to m4ri-20140914/m4ri/mzp.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/parity.h b/m4ri-20140914/m4ri/parity.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/parity.h rename to m4ri-20140914/m4ri/parity.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/ple.c b/m4ri-20140914/m4ri/ple.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/ple.c rename to m4ri-20140914/m4ri/ple.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/ple.h b/m4ri-20140914/m4ri/ple.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/ple.h rename to m4ri-20140914/m4ri/ple.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/ple.lo b/m4ri-20140914/m4ri/ple.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/ple.lo rename to m4ri-20140914/m4ri/ple.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/ple.o b/m4ri-20140914/m4ri/ple.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/ple.o rename to m4ri-20140914/m4ri/ple.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian.c b/m4ri-20140914/m4ri/ple_russian.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian.c rename to m4ri-20140914/m4ri/ple_russian.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian.h b/m4ri-20140914/m4ri/ple_russian.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian.h rename to m4ri-20140914/m4ri/ple_russian.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian.lo b/m4ri-20140914/m4ri/ple_russian.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian.lo rename to m4ri-20140914/m4ri/ple_russian.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian.o b/m4ri-20140914/m4ri/ple_russian.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian.o rename to m4ri-20140914/m4ri/ple_russian.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian_template.h b/m4ri-20140914/m4ri/ple_russian_template.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/ple_russian_template.h rename to m4ri-20140914/m4ri/ple_russian_template.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/solve.c b/m4ri-20140914/m4ri/solve.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/solve.c rename to m4ri-20140914/m4ri/solve.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/solve.h b/m4ri-20140914/m4ri/solve.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/solve.h rename to m4ri-20140914/m4ri/solve.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/solve.lo b/m4ri-20140914/m4ri/solve.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/solve.lo rename to m4ri-20140914/m4ri/solve.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/solve.o b/m4ri-20140914/m4ri/solve.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/solve.o rename to m4ri-20140914/m4ri/solve.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/stamp-h1 b/m4ri-20140914/m4ri/stamp-h1 similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/stamp-h1 rename to m4ri-20140914/m4ri/stamp-h1 diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/strassen.c b/m4ri-20140914/m4ri/strassen.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/strassen.c rename to m4ri-20140914/m4ri/strassen.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/strassen.h b/m4ri-20140914/m4ri/strassen.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/strassen.h rename to m4ri-20140914/m4ri/strassen.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/strassen.lo b/m4ri-20140914/m4ri/strassen.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/strassen.lo rename to m4ri-20140914/m4ri/strassen.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/strassen.o b/m4ri-20140914/m4ri/strassen.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/strassen.o rename to m4ri-20140914/m4ri/strassen.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/triangular.c b/m4ri-20140914/m4ri/triangular.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/triangular.c rename to m4ri-20140914/m4ri/triangular.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/triangular.h b/m4ri-20140914/m4ri/triangular.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/triangular.h rename to m4ri-20140914/m4ri/triangular.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/triangular.lo b/m4ri-20140914/m4ri/triangular.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/triangular.lo rename to m4ri-20140914/m4ri/triangular.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/triangular.o b/m4ri-20140914/m4ri/triangular.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/triangular.o rename to m4ri-20140914/m4ri/triangular.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/triangular_russian.c b/m4ri-20140914/m4ri/triangular_russian.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/triangular_russian.c rename to m4ri-20140914/m4ri/triangular_russian.c diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/triangular_russian.h b/m4ri-20140914/m4ri/triangular_russian.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/triangular_russian.h rename to m4ri-20140914/m4ri/triangular_russian.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/triangular_russian.lo b/m4ri-20140914/m4ri/triangular_russian.lo similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/triangular_russian.lo rename to m4ri-20140914/m4ri/triangular_russian.lo diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/triangular_russian.o b/m4ri-20140914/m4ri/triangular_russian.o similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/triangular_russian.o rename to m4ri-20140914/m4ri/triangular_russian.o diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/xor.h b/m4ri-20140914/m4ri/xor.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/xor.h rename to m4ri-20140914/m4ri/xor.h diff --git a/src-light-solver/preprocess/m4ri-20140914/m4ri/xor_template.h b/m4ri-20140914/m4ri/xor_template.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/m4ri/xor_template.h rename to m4ri-20140914/m4ri/xor_template.h diff --git a/src-light-solver/preprocess/m4ri-20140914/missing b/m4ri-20140914/missing similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/missing rename to m4ri-20140914/missing diff --git a/src-light-solver/preprocess/m4ri-20140914/test-driver b/m4ri-20140914/test-driver similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/test-driver rename to m4ri-20140914/test-driver diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_colswap-test_colswap.Po b/m4ri-20140914/testsuite/.deps/test_colswap-test_colswap.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_colswap-test_colswap.Po rename to m4ri-20140914/testsuite/.deps/test_colswap-test_colswap.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_elimination-test_elimination.Po b/m4ri-20140914/testsuite/.deps/test_elimination-test_elimination.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_elimination-test_elimination.Po rename to m4ri-20140914/testsuite/.deps/test_elimination-test_elimination.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_invert-test_invert.Po b/m4ri-20140914/testsuite/.deps/test_invert-test_invert.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_invert-test_invert.Po rename to m4ri-20140914/testsuite/.deps/test_invert-test_invert.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_kernel-test_kernel.Po b/m4ri-20140914/testsuite/.deps/test_kernel-test_kernel.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_kernel-test_kernel.Po rename to m4ri-20140914/testsuite/.deps/test_kernel-test_kernel.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_misc-test_misc.Po b/m4ri-20140914/testsuite/.deps/test_misc-test_misc.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_misc-test_misc.Po rename to m4ri-20140914/testsuite/.deps/test_misc-test_misc.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_multiplication-test_multiplication.Po b/m4ri-20140914/testsuite/.deps/test_multiplication-test_multiplication.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_multiplication-test_multiplication.Po rename to m4ri-20140914/testsuite/.deps/test_multiplication-test_multiplication.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_ple-test_ple.Po b/m4ri-20140914/testsuite/.deps/test_ple-test_ple.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_ple-test_ple.Po rename to m4ri-20140914/testsuite/.deps/test_ple-test_ple.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_random-test_random.Po b/m4ri-20140914/testsuite/.deps/test_random-test_random.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_random-test_random.Po rename to m4ri-20140914/testsuite/.deps/test_random-test_random.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_smallops-test_smallops.Po b/m4ri-20140914/testsuite/.deps/test_smallops-test_smallops.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_smallops-test_smallops.Po rename to m4ri-20140914/testsuite/.deps/test_smallops-test_smallops.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_smallops-testing.Po b/m4ri-20140914/testsuite/.deps/test_smallops-testing.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_smallops-testing.Po rename to m4ri-20140914/testsuite/.deps/test_smallops-testing.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_solve-test_solve.Po b/m4ri-20140914/testsuite/.deps/test_solve-test_solve.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_solve-test_solve.Po rename to m4ri-20140914/testsuite/.deps/test_solve-test_solve.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_transpose-test_transpose.Po b/m4ri-20140914/testsuite/.deps/test_transpose-test_transpose.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_transpose-test_transpose.Po rename to m4ri-20140914/testsuite/.deps/test_transpose-test_transpose.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_trsm-test_trsm.Po b/m4ri-20140914/testsuite/.deps/test_trsm-test_trsm.Po similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/.deps/test_trsm-test_trsm.Po rename to m4ri-20140914/testsuite/.deps/test_trsm-test_trsm.Po diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/Makefile b/m4ri-20140914/testsuite/Makefile similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/Makefile rename to m4ri-20140914/testsuite/Makefile diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/Makefile.in b/m4ri-20140914/testsuite/Makefile.in similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/Makefile.in rename to m4ri-20140914/testsuite/Makefile.in diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_colswap.c b/m4ri-20140914/testsuite/test_colswap.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_colswap.c rename to m4ri-20140914/testsuite/test_colswap.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_elimination.c b/m4ri-20140914/testsuite/test_elimination.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_elimination.c rename to m4ri-20140914/testsuite/test_elimination.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_invert.c b/m4ri-20140914/testsuite/test_invert.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_invert.c rename to m4ri-20140914/testsuite/test_invert.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_kernel.c b/m4ri-20140914/testsuite/test_kernel.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_kernel.c rename to m4ri-20140914/testsuite/test_kernel.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_misc.c b/m4ri-20140914/testsuite/test_misc.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_misc.c rename to m4ri-20140914/testsuite/test_misc.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_multiplication.c b/m4ri-20140914/testsuite/test_multiplication.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_multiplication.c rename to m4ri-20140914/testsuite/test_multiplication.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_ple.c b/m4ri-20140914/testsuite/test_ple.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_ple.c rename to m4ri-20140914/testsuite/test_ple.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_random.c b/m4ri-20140914/testsuite/test_random.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_random.c rename to m4ri-20140914/testsuite/test_random.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_smallops.c b/m4ri-20140914/testsuite/test_smallops.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_smallops.c rename to m4ri-20140914/testsuite/test_smallops.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_solve.c b/m4ri-20140914/testsuite/test_solve.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_solve.c rename to m4ri-20140914/testsuite/test_solve.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_transpose.c b/m4ri-20140914/testsuite/test_transpose.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_transpose.c rename to m4ri-20140914/testsuite/test_transpose.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/test_trsm.c b/m4ri-20140914/testsuite/test_trsm.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/test_trsm.c rename to m4ri-20140914/testsuite/test_trsm.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/testing.c b/m4ri-20140914/testsuite/testing.c similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/testing.c rename to m4ri-20140914/testsuite/testing.c diff --git a/src-light-solver/preprocess/m4ri-20140914/testsuite/testing.h b/m4ri-20140914/testsuite/testing.h similarity index 100% rename from src-light-solver/preprocess/m4ri-20140914/testsuite/testing.h rename to m4ri-20140914/testsuite/testing.h diff --git a/src-light-solver/makefile b/makefile similarity index 71% rename from src-light-solver/makefile rename to makefile index 0223723..223cd8a 100644 --- a/src-light-solver/makefile +++ b/makefile @@ -1,5 +1,5 @@ # 定义源文件列表 -SOURCES := $(wildcard *.cpp) $(wildcard preprocess/*.cpp) $(wildcard utils/*.cpp) $(wildcard workers/*.cpp) +SOURCES := $(shell find ./src -type f -name "*.cpp") # 将源文件列表转换为目标文件列表 OBJECTS := $(addprefix build/,$(SOURCES:%=%.o)) @@ -8,12 +8,12 @@ OBJECTS := $(addprefix build/,$(SOURCES:%=%.o)) CXX := g++ CXXFLAGS := -O0 -Wall -Wextra -MMD -MP -g -LIBS := -lkissat -L../kissat-inc/build -I ../kissat-inc/ \ - -lm4ri -Lpreprocess/m4ri-20140914/.libs -I preprocess/m4ri-20140914/ \ +LIBS := -lkissat -L kissat-inc/build -I kissat-inc/ \ + -lm4ri -L m4ri-20140914/.libs -I m4ri-20140914/ \ -lpthread -pthread -lz -lm -lboost_thread -lboost_date_time -lboost_system -static # 默认目标，编译所有目标文件 -build/light-solver: $(OBJECTS) +light: $(OBJECTS) $(CXX) $(CXXFLAGS) $^ -o $@ $(LIBS) build/%.o: % | build diff --git a/run_docker.sh b/run_docker.sh new file mode 100755 index 0000000..589216a --- /dev/null +++ b/run_docker.sh @@ -0,0 +1,24 @@ +#!/bin/bash + + +make -j 8 + +cd ./docker +cp ../light . + +DOCKER_NETWORK="mallob-test" + +docker build --no-cache -f leader.dockerfile -t light:leader . +docker build --no-cache -f worker.dockerfile -t light:worker . + +docker stop worker1 +docker stop worker2 +docker stop worker3 + +docker run -d --name worker1 --network $DOCKER_NETWORK --entrypoint bash --rm -t light:worker -c "/competition/init_solver.sh; exec bash" +docker run -d --name worker2 --network $DOCKER_NETWORK --entrypoint bash --rm -t light:worker -c "/competition/init_solver.sh; exec bash" +docker run -d --name worker3 --network $DOCKER_NETWORK --entrypoint bash --rm -t light:worker -c "/competition/init_solver.sh; exec bash" + +docker stop leader + +docker run -i --name leader --network $DOCKER_NETWORK --entrypoint bash --rm -t light:leader -c "/competition/init_solver.sh; exec bash" diff --git a/src-light-master/light-master b/src-light-master/light-master new file mode 120000 index 0000000..1c0e689 --- /dev/null +++ b/src-light-master/light-master @@ -0,0 +1 @@ +./build/light-master \ No newline at end of file diff --git a/src-light-master/master.cpp b/src-light-master/master.cpp index 8c8b442..68856d9 100644 --- a/src-light-master/master.cpp +++ b/src-light-master/master.cpp @@ -1,12 +1,38 @@ #include +#include +#include #include "master.h" #include "paras.hpp" +#include "preprocess/preprocess.hpp" int main(int argc, char* argv[]) { + // read command line arguments paras::parse(argc, argv); opt->print_paras(); + std::stringstream ss; + + auto pre = new preprocess(); + + if(OPT(simplify)) { + char *filename = const_cast(opt->instance.c_str()); + pre->do_preprocess(filename); + + ss << "p cnf " << pre->vars << " " << pre->clause.size() << std::endl; + for (int i = 1; i <= pre->clauses; i++) { + int l = pre->clause[i].size(); + for (int j = 0; j < l; j++) + ss << pre->clause[i][j] << " "; + ss << "0" << std::endl; + } + } + + const auto& str_ref = ss.str(); + const char* cstr = str_ref.c_str(); + + printf("%s\n", cstr); + return 0; } \ No newline at end of file diff --git a/src-light-master/utils/paras.cpp b/src-light-master/utils/paras.cpp deleted file mode 100644 index 377cb9e..0000000 --- a/src-light-master/utils/paras.cpp +++ /dev/null @@ -1,64 +0,0 @@ -#include "paras.hpp" -#include -#include -#include - -void paras::init_paras() { -#define PARA(N, T, D, L, H, C) \ - if (!strcmp(#T, "int")) map_int[#N] = D; \ - else map_double[#N] = D; - PARAS -#undef PARA - -#define STR_PARA(N, D, C) \ - map_string[#N] = D; - STR_PARAS -#undef STR_PARA -} - -void paras::sync_paras() { -#define PARA(N, T, D, L, H, C) \ - if (!strcmp(#T, "int")) N = map_int[#N]; \ - else N = map_double[#N]; - PARAS -#undef PARA -#define STR_PARA(N, D, C) \ - N = map_string[#N]; - STR_PARAS -#undef STR_PARAs -} - - -void paras::set_para(char *name, int val) { - map_int[name] = val; -} - -void paras::set_para(char *name, double val) { - map_double[name] = val; -} - -void paras::set_para(char *name, char* val) { - map_string[name] = val; -} - - -void paras::print_change() { - printf("c ------------------- Paras list -------------------\n"); - printf("c %-20s\t %-10s\t %-10s\t %-10s\t %s\n", - "Name", "Type", "Now", "Default", "Comment"); - -#define PARA(N, T, D, L, H, C) \ - if (map_int.count(#N)) printf("c %-20s\t %-10s\t %-10d\t %-10s\t %s\n", (#N), (#T), N, (#D), (C)); \ - else printf("c %-20s\t %-10s\t %-10f\t %-10s\t %s\n", (#N), (#T), N, (#D), (C)); - PARAS -#undef PARA - -#define STR_PARA(N, D, C) \ - printf("c %-20s\t string\t\t %-10s\t %-10s\t %s\n", (#N), N.c_str(), (#D), (C)); - STR_PARAS -#undef STR_PARA - - - - printf("c --------------------------------------------------\n"); -} \ No newline at end of file diff --git a/src-light-master/utils/paras.hpp b/src-light-master/utils/paras.hpp deleted file mode 100644 index e48eea8..0000000 --- a/src-light-master/utils/paras.hpp +++ /dev/null @@ -1,53 +0,0 @@ -#ifndef _paras_hpp_INCLUDED -#define _paras_hpp_INCLUDED - -#include -#include -#include - -// name, type, default, low, high, comments -#define PARAS \ - PARA( DPS , int , 0 , 0 , 1 , "DPS/NPS") \ - PARA( DPS_period , int , 10000 , 1 , 1e8 , "DPS sharing period") \ - PARA( margin , int , 0 , 0 , 1e3 , "DPS margin") \ - PARA( pakis , int , 0 , 0 , 1 , "Use pakis diversity") \ - PARA( reset , int , 0 , 0 , 1 , "Dynamically reseting") \ - PARA( reset_time , int , 10 , 1 , 1e5 , "Reseting base interval (seconds)") \ - PARA( share , int , 0 , 0 , 1 , "Sharing learnt clauses") \ - PARA( share_intv , int , 500000, 0 , 1e9 , "Sharing interval (microseconds)") \ - PARA( share_lits , int , 1500 , 0 , 1e6 , "Sharing lits (per every #share_intv seconds)") \ - PARA( shuffle , int , 1 , 0 , 1 , "Use random shuffle") \ - PARA( simplify , int , 1 , 0 , 1 , "Use Simplify (only preprocess)") \ - PARA( threads , int , 32 , 1 , 128 , "Thread number") \ - PARA( times , double , 5000 , 0 , 1e8 , "Cutoff time") - -#define STR_PARAS \ - STR_PARA( config , "" , "Config file") - -struct paras -{ -#define PARA(N, T, D, L, H, C) \ - T N = D; - PARAS -#undef PARA - -#define STR_PARA(N, D, C) \ - std::string N = D; - STR_PARAS -#undef STR_PARA - - std::unordered_map map_int; - std::unordered_map map_double; - std::unordered_map map_string; - - void init_paras (); - void sync_paras (); - void print_change (); - void set_para (char *arg, int val); - void set_para (char *arg, double val); - void set_para (char *arg, char* val); -}; - -#define OPT(N) (opt->N) - -#endif \ No newline at end of file diff --git a/src-light-solver/light.cpp b/src/light.cpp similarity index 100% rename from src-light-solver/light.cpp rename to src/light.cpp diff --git a/src-light-solver/light.hpp b/src/light.hpp similarity index 100% rename from src-light-solver/light.hpp rename to src/light.hpp diff --git a/src-light-solver/main.cpp b/src/main.cpp similarity index 100% rename from src-light-solver/main.cpp rename to src/main.cpp diff --git a/src-light-solver/network.cpp b/src/network.cpp similarity index 100% rename from src-light-solver/network.cpp rename to src/network.cpp diff --git a/src-light-solver/network.h b/src/network.h similarity index 100% rename from src-light-solver/network.h rename to src/network.h diff --git a/src-light-solver/paras.cpp b/src/paras.cpp similarity index 100% rename from src-light-solver/paras.cpp rename to src/paras.cpp diff --git a/src-light-solver/paras.hpp b/src/paras.hpp similarity index 100% rename from src-light-solver/paras.hpp rename to src/paras.hpp diff --git a/src-light-solver/preprocess/binary.cpp b/src/preprocess/binary.cpp similarity index 100% rename from src-light-solver/preprocess/binary.cpp rename to src/preprocess/binary.cpp diff --git a/src-light-solver/preprocess/binary.o b/src/preprocess/binary.o similarity index 100% rename from src-light-solver/preprocess/binary.o rename to src/preprocess/binary.o diff --git a/src-light-solver/preprocess/card.cpp b/src/preprocess/card.cpp similarity index 100% rename from src-light-solver/preprocess/card.cpp rename to src/preprocess/card.cpp diff --git a/src-light-solver/preprocess/card.o b/src/preprocess/card.o similarity index 100% rename from src-light-solver/preprocess/card.o rename to src/preprocess/card.o diff --git a/src-light-solver/preprocess/gauss.cpp b/src/preprocess/gauss.cpp similarity index 100% rename from src-light-solver/preprocess/gauss.cpp rename to src/preprocess/gauss.cpp diff --git a/src-light-solver/preprocess/gauss.o b/src/preprocess/gauss.o similarity index 100% rename from src-light-solver/preprocess/gauss.o rename to src/preprocess/gauss.o diff --git a/src-light-solver/preprocess/preprocess.cpp b/src/preprocess/preprocess.cpp similarity index 100% rename from src-light-solver/preprocess/preprocess.cpp rename to src/preprocess/preprocess.cpp diff --git a/src-light-solver/preprocess/preprocess.hpp b/src/preprocess/preprocess.hpp similarity index 100% rename from src-light-solver/preprocess/preprocess.hpp rename to src/preprocess/preprocess.hpp diff --git a/src-light-solver/preprocess/preprocess.o b/src/preprocess/preprocess.o similarity index 100% rename from src-light-solver/preprocess/preprocess.o rename to src/preprocess/preprocess.o diff --git a/src-light-solver/preprocess/propagation.cpp b/src/preprocess/propagation.cpp similarity index 100% rename from src-light-solver/preprocess/propagation.cpp rename to src/preprocess/propagation.cpp diff --git a/src-light-solver/preprocess/propagation.o b/src/preprocess/propagation.o similarity index 100% rename from src-light-solver/preprocess/propagation.o rename to src/preprocess/propagation.o diff --git a/src-light-solver/preprocess/resolution.cpp b/src/preprocess/resolution.cpp similarity index 100% rename from src-light-solver/preprocess/resolution.cpp rename to src/preprocess/resolution.cpp diff --git a/src-light-solver/preprocess/resolution.o b/src/preprocess/resolution.o similarity index 100% rename from src-light-solver/preprocess/resolution.o rename to src/preprocess/resolution.o diff --git a/src-light-solver/solve.cpp b/src/solve.cpp similarity index 100% rename from src-light-solver/solve.cpp rename to src/solve.cpp diff --git a/src-light-solver/utils/check-sat b/src/utils/check-sat similarity index 100% rename from src-light-solver/utils/check-sat rename to src/utils/check-sat diff --git a/src-light-solver/utils/cmdline.h b/src/utils/cmdline.h similarity index 100% rename from src-light-solver/utils/cmdline.h rename to src/utils/cmdline.h diff --git a/src-light-solver/utils/hashmap.cpp b/src/utils/hashmap.cpp similarity index 100% rename from src-light-solver/utils/hashmap.cpp rename to src/utils/hashmap.cpp diff --git a/src-light-solver/utils/hashmap.hpp b/src/utils/hashmap.hpp similarity index 100% rename from src-light-solver/utils/hashmap.hpp rename to src/utils/hashmap.hpp diff --git a/src-light-solver/utils/parse.cpp b/src/utils/parse.cpp similarity index 100% rename from src-light-solver/utils/parse.cpp rename to src/utils/parse.cpp diff --git a/src-light-solver/utils/parse.hpp b/src/utils/parse.hpp similarity index 100% rename from src-light-solver/utils/parse.hpp rename to src/utils/parse.hpp diff --git a/src-light-solver/utils/vec.hpp b/src/utils/vec.hpp similarity index 100% rename from src-light-solver/utils/vec.hpp rename to src/utils/vec.hpp diff --git a/src-light-solver/workers/basekissat.cpp b/src/workers/basekissat.cpp similarity index 100% rename from src-light-solver/workers/basekissat.cpp rename to src/workers/basekissat.cpp diff --git a/src-light-solver/workers/basekissat.hpp b/src/workers/basekissat.hpp similarity index 100% rename from src-light-solver/workers/basekissat.hpp rename to src/workers/basekissat.hpp diff --git a/src-light-solver/workers/basekissat.o b/src/workers/basekissat.o similarity index 100% rename from src-light-solver/workers/basekissat.o rename to src/workers/basekissat.o diff --git a/src-light-solver/workers/basesolver.cpp b/src/workers/basesolver.cpp similarity index 100% rename from src-light-solver/workers/basesolver.cpp rename to src/workers/basesolver.cpp diff --git a/src-light-solver/workers/basesolver.hpp b/src/workers/basesolver.hpp similarity index 100% rename from src-light-solver/workers/basesolver.hpp rename to src/workers/basesolver.hpp diff --git a/src-light-solver/workers/basesolver.o b/src/workers/basesolver.o similarity index 100% rename from src-light-solver/workers/basesolver.o rename to src/workers/basesolver.o diff --git a/src-light-solver/workers/clause.hpp b/src/workers/clause.hpp similarity index 100% rename from src-light-solver/workers/clause.hpp rename to src/workers/clause.hpp diff --git a/src-light-solver/workers/sharer.cpp b/src/workers/sharer.cpp similarity index 100% rename from src-light-solver/workers/sharer.cpp rename to src/workers/sharer.cpp diff --git a/src-light-solver/workers/sharer.hpp b/src/workers/sharer.hpp similarity index 100% rename from src-light-solver/workers/sharer.hpp rename to src/workers/sharer.hpp diff --git a/src-light-solver/workers/sharer.o b/src/workers/sharer.o similarity index 100% rename from src-light-solver/workers/sharer.o rename to src/workers/sharer.o