1.1 --- a/src/test/Makefile.am Sun Sep 12 22:12:29 2004 +0000
1.2 +++ b/src/test/Makefile.am Mon Sep 13 10:50:28 2004 +0000
1.3 @@ -12,6 +12,7 @@
1.4 mincostflows_test \
1.5 minlengthpaths_test \
1.6 path_test \
1.7 + preflow_test \
1.8 test_tools_fail \
1.9 test_tools_pass \
1.10 time_measure_test \
1.11 @@ -31,9 +32,11 @@
1.12 mincostflows_test_SOURCES = mincostflows_test.cc
1.13 minlengthpaths_test_SOURCES = minlengthpaths_test.cc
1.14 path_test_SOURCES = path_test.cc
1.15 +preflow_test_SOURCES = preflow_test.cc
1.16 time_measure_test_SOURCES = time_measure_test.cc
1.17 test_tools_fail_SOURCES = test_tools_fail.cc
1.18 test_tools_pass_SOURCES = test_tools_pass.cc
1.19 unionfind_test_SOURCES = unionfind_test.cc
1.20 xy_test_SOURCES = xy_test.cc
1.21
1.22 +EXTRA_DIST = preflow_graph
2.1 --- a/src/test/dijkstra_heap_test.cc Sun Sep 12 22:12:29 2004 +0000
2.2 +++ b/src/test/dijkstra_heap_test.cc Mon Sep 13 10:50:28 2004 +0000
2.3 @@ -31,7 +31,7 @@
2.4 typedef Graph::Node Node;
2.5 typedef Graph::EdgeIt EdgeIt;
2.6 typedef Graph::NodeIt NodeIt;
2.7 - typedef Graph::EdgeMap<int> LengthMap;
2.8 + typedef Graph::template EdgeMap<int> LengthMap;
2.9
2.10 Graph G;
2.11 Node s, t;
3.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
3.2 +++ b/src/test/preflow_graph Mon Sep 13 10:50:28 2004 +0000
3.3 @@ -0,0 +1,2005 @@
3.4 +c LEDA maxflow problem
3.5 +p max 501 2000
3.6 +n 1 s
3.7 +n 500 t
3.8 +a 500 501 6000
3.9 +a 1 27 6
3.10 +a 1 18 5
3.11 +a 1 386 6
3.12 +a 2 326 7
3.13 +a 2 455 10
3.14 +a 2 84 1
3.15 +a 3 316 3
3.16 +a 3 290 6
3.17 +a 3 435 8
3.18 +a 3 380 2
3.19 +a 5 438 1
3.20 +a 5 389 6
3.21 +a 5 400 4
3.22 +a 6 89 9
3.23 +a 7 189 8
3.24 +a 7 259 2
3.25 +a 8 487 4
3.26 +a 8 239 4
3.27 +a 8 321 8
3.28 +a 10 221 8
3.29 +a 10 320 9
3.30 +a 11 129 6
3.31 +a 11 408 2
3.32 +a 11 206 1
3.33 +a 11 458 6
3.34 +a 12 443 8
3.35 +a 12 37 9
3.36 +a 12 233 7
3.37 +a 13 139 7
3.38 +a 14 229 7
3.39 +a 14 391 10
3.40 +a 14 165 7
3.41 +a 14 246 5
3.42 +a 15 264 1
3.43 +a 16 490 2
3.44 +a 16 188 9
3.45 +a 16 347 6
3.46 +a 17 294 6
3.47 +a 17 478 4
3.48 +a 17 270 2
3.49 +a 17 161 5
3.50 +a 18 403 10
3.51 +a 18 146 6
3.52 +a 18 48 8
3.53 +a 18 491 8
3.54 +a 19 334 8
3.55 +a 19 306 8
3.56 +a 19 465 2
3.57 +a 20 60 5
3.58 +a 20 115 2
3.59 +a 21 174 7
3.60 +a 21 380 3
3.61 +a 21 243 8
3.62 +a 21 69 3
3.63 +a 22 73 2
3.64 +a 23 188 2
3.65 +a 23 110 5
3.66 +a 23 421 7
3.67 +a 24 138 5
3.68 +a 25 338 9
3.69 +a 26 299 2
3.70 +a 26 302 7
3.71 +a 27 71 5
3.72 +a 27 51 2
3.73 +a 27 280 3
3.74 +a 28 258 1
3.75 +a 29 397 1
3.76 +a 29 61 8
3.77 +a 29 223 4
3.78 +a 31 154 8
3.79 +a 33 221 6
3.80 +a 33 113 5
3.81 +a 34 299 5
3.82 +a 35 268 10
3.83 +a 36 92 6
3.84 +a 36 121 7
3.85 +a 36 62 3
3.86 +a 37 44 7
3.87 +a 38 180 6
3.88 +a 39 176 3
3.89 +a 41 217 8
3.90 +a 41 47 9
3.91 +a 42 418 3
3.92 +a 42 286 5
3.93 +a 43 120 9
3.94 +a 44 93 5
3.95 +a 44 285 5
3.96 +a 44 229 10
3.97 +a 45 1 1
3.98 +a 45 422 1
3.99 +a 46 54 3
3.100 +a 47 300 6
3.101 +a 48 211 3
3.102 +a 49 124 2
3.103 +a 50 350 2
3.104 +a 50 490 4
3.105 +a 50 381 1
3.106 +a 50 234 1
3.107 +a 51 38 9
3.108 +a 52 92 8
3.109 +a 52 388 9
3.110 +a 52 258 4
3.111 +a 53 204 10
3.112 +a 53 174 5
3.113 +a 53 14 1
3.114 +a 54 295 2
3.115 +a 54 294 9
3.116 +a 54 75 2
3.117 +a 54 339 6
3.118 +a 54 474 5
3.119 +a 55 250 5
3.120 +a 55 43 1
3.121 +a 56 8 10
3.122 +a 56 155 10
3.123 +a 56 328 10
3.124 +a 56 127 4
3.125 +a 56 247 9
3.126 +a 57 100 4
3.127 +a 58 355 2
3.128 +a 59 248 5
3.129 +a 59 9 5
3.130 +a 59 408 4
3.131 +a 60 35 10
3.132 +a 61 220 5
3.133 +a 61 19 1
3.134 +a 62 384 3
3.135 +a 62 197 2
3.136 +a 62 400 6
3.137 +a 63 105 8
3.138 +a 64 235 3
3.139 +a 64 491 4
3.140 +a 64 492 8
3.141 +a 64 492 1
3.142 +a 65 182 8
3.143 +a 65 154 4
3.144 +a 65 477 10
3.145 +a 66 447 6
3.146 +a 67 67 4
3.147 +a 68 303 9
3.148 +a 68 408 4
3.149 +a 68 316 10
3.150 +a 69 345 7
3.151 +a 69 416 1
3.152 +a 72 470 6
3.153 +a 72 161 2
3.154 +a 73 30 3
3.155 +a 73 205 7
3.156 +a 73 260 9
3.157 +a 74 385 5
3.158 +a 74 452 2
3.159 +a 74 269 7
3.160 +a 74 280 2
3.161 +a 75 486 5
3.162 +a 76 488 10
3.163 +a 76 299 9
3.164 +a 76 357 5
3.165 +a 77 172 5
3.166 +a 78 186 4
3.167 +a 80 461 9
3.168 +a 80 406 7
3.169 +a 81 164 6
3.170 +a 81 441 7
3.171 +a 82 386 1
3.172 +a 82 345 5
3.173 +a 83 82 8
3.174 +a 83 378 8
3.175 +a 84 309 4
3.176 +a 84 16 7
3.177 +a 85 445 2
3.178 +a 86 99 3
3.179 +a 86 424 1
3.180 +a 87 248 1
3.181 +a 87 444 4
3.182 +a 88 327 8
3.183 +a 88 206 5
3.184 +a 89 92 3
3.185 +a 90 356 1
3.186 +a 90 410 2
3.187 +a 90 351 10
3.188 +a 91 228 4
3.189 +a 92 349 6
3.190 +a 92 107 6
3.191 +a 92 322 7
3.192 +a 92 82 3
3.193 +a 93 294 8
3.194 +a 94 166 3
3.195 +a 94 254 9
3.196 +a 94 479 2
3.197 +a 95 114 10
3.198 +a 95 147 4
3.199 +a 96 130 9
3.200 +a 97 42 7
3.201 +a 97 20 7
3.202 +a 97 474 9
3.203 +a 98 123 9
3.204 +a 99 398 9
3.205 +a 99 271 1
3.206 +a 100 139 2
3.207 +a 100 330 10
3.208 +a 101 369 3
3.209 +a 101 50 7
3.210 +a 102 65 9
3.211 +a 102 300 9
3.212 +a 102 376 6
3.213 +a 104 270 1
3.214 +a 104 391 9
3.215 +a 104 219 8
3.216 +a 105 167 9
3.217 +a 105 230 10
3.218 +a 106 447 2
3.219 +a 106 3 2
3.220 +a 107 336 8
3.221 +a 109 442 2
3.222 +a 110 324 10
3.223 +a 111 418 9
3.224 +a 112 223 5
3.225 +a 113 489 8
3.226 +a 113 159 4
3.227 +a 115 189 8
3.228 +a 115 91 3
3.229 +a 115 305 1
3.230 +a 115 318 5
3.231 +a 116 132 3
3.232 +a 116 325 2
3.233 +a 117 279 3
3.234 +a 119 255 10
3.235 +a 120 210 4
3.236 +a 120 37 2
3.237 +a 120 393 2
3.238 +a 120 27 9
3.239 +a 121 406 10
3.240 +a 121 442 6
3.241 +a 122 91 1
3.242 +a 123 193 1
3.243 +a 123 305 9
3.244 +a 124 361 2
3.245 +a 124 72 9
3.246 +a 125 11 6
3.247 +a 125 15 8
3.248 +a 126 301 3
3.249 +a 127 457 2
3.250 +a 127 18 4
3.251 +a 128 124 6
3.252 +a 128 386 4
3.253 +a 129 341 9
3.254 +a 129 29 7
3.255 +a 129 96 7
3.256 +a 130 318 9
3.257 +a 130 187 6
3.258 +a 131 284 6
3.259 +a 131 408 10
3.260 +a 132 492 3
3.261 +a 132 89 10
3.262 +a 133 27 6
3.263 +a 133 304 3
3.264 +a 133 368 9
3.265 +a 134 281 6
3.266 +a 135 1 3
3.267 +a 135 404 4
3.268 +a 137 161 2
3.269 +a 137 27 2
3.270 +a 138 297 6
3.271 +a 138 90 1
3.272 +a 139 117 2
3.273 +a 139 490 9
3.274 +a 139 394 9
3.275 +a 139 477 7
3.276 +a 140 49 1
3.277 +a 140 405 4
3.278 +a 140 492 10
3.279 +a 141 349 1
3.280 +a 141 349 10
3.281 +a 141 472 1
3.282 +a 142 223 2
3.283 +a 142 337 6
3.284 +a 142 318 9
3.285 +a 143 142 8
3.286 +a 143 175 9
3.287 +a 143 90 6
3.288 +a 143 37 4
3.289 +a 143 154 1
3.290 +a 143 178 2
3.291 +a 145 64 4
3.292 +a 145 457 4
3.293 +a 145 33 10
3.294 +a 146 344 1
3.295 +a 146 457 5
3.296 +a 147 437 7
3.297 +a 147 483 6
3.298 +a 148 221 7
3.299 +a 148 82 8
3.300 +a 149 88 5
3.301 +a 149 198 3
3.302 +a 149 476 4
3.303 +a 149 52 5
3.304 +a 150 246 5
3.305 +a 150 368 4
3.306 +a 150 31 3
3.307 +a 150 82 10
3.308 +a 151 204 9
3.309 +a 151 27 5
3.310 +a 151 42 5
3.311 +a 152 426 9
3.312 +a 153 364 9
3.313 +a 153 30 2
3.314 +a 154 232 8
3.315 +a 154 204 7
3.316 +a 155 321 6
3.317 +a 155 30 5
3.318 +a 156 358 2
3.319 +a 156 498 9
3.320 +a 156 93 1
3.321 +a 156 302 5
3.322 +a 157 19 9
3.323 +a 158 436 1
3.324 +a 159 247 8
3.325 +a 159 455 1
3.326 +a 159 428 2
3.327 +a 159 217 4
3.328 +a 160 163 4
3.329 +a 160 304 4
3.330 +a 160 361 2
3.331 +a 160 473 2
3.332 +a 161 356 1
3.333 +a 162 94 10
3.334 +a 163 328 5
3.335 +a 164 386 9
3.336 +a 164 176 4
3.337 +a 164 19 6
3.338 +a 164 413 9
3.339 +a 165 217 4
3.340 +a 166 445 4
3.341 +a 167 264 10
3.342 +a 169 246 4
3.343 +a 171 164 5
3.344 +a 171 256 1
3.345 +a 173 449 1
3.346 +a 173 484 9
3.347 +a 174 285 2
3.348 +a 175 294 2
3.349 +a 175 469 6
3.350 +a 175 377 3
3.351 +a 176 84 6
3.352 +a 176 487 8
3.353 +a 177 301 2
3.354 +a 177 330 8
3.355 +a 178 429 7
3.356 +a 178 216 10
3.357 +a 179 34 10
3.358 +a 180 80 2
3.359 +a 180 213 3
3.360 +a 180 338 2
3.361 +a 180 440 5
3.362 +a 180 173 8
3.363 +a 180 181 3
3.364 +a 181 21 6
3.365 +a 183 500 6
3.366 +a 183 54 3
3.367 +a 183 196 4
3.368 +a 183 7 5
3.369 +a 184 466 9
3.370 +a 184 412 5
3.371 +a 184 451 10
3.372 +a 185 217 5
3.373 +a 185 145 8
3.374 +a 185 102 4
3.375 +a 185 473 4
3.376 +a 186 82 6
3.377 +a 186 73 3
3.378 +a 187 245 7
3.379 +a 188 375 1
3.380 +a 188 29 5
3.381 +a 188 110 3
3.382 +a 189 458 7
3.383 +a 190 4 10
3.384 +a 190 410 1
3.385 +a 191 275 2
3.386 +a 191 432 3
3.387 +a 191 113 7
3.388 +a 191 309 6
3.389 +a 191 326 10
3.390 +a 192 134 5
3.391 +a 193 438 3
3.392 +a 194 498 10
3.393 +a 194 314 6
3.394 +a 194 459 1
3.395 +a 195 486 6
3.396 +a 195 367 9
3.397 +a 195 142 9
3.398 +a 196 492 6
3.399 +a 196 321 6
3.400 +a 196 42 4
3.401 +a 196 430 1
3.402 +a 196 25 4
3.403 +a 196 186 7
3.404 +a 197 19 1
3.405 +a 198 497 1
3.406 +a 199 267 1
3.407 +a 199 91 5
3.408 +a 199 230 6
3.409 +a 200 130 2
3.410 +a 200 119 1
3.411 +a 201 339 3
3.412 +a 201 75 1
3.413 +a 202 122 8
3.414 +a 202 236 1
3.415 +a 203 350 5
3.416 +a 204 42 2
3.417 +a 205 348 9
3.418 +a 205 146 9
3.419 +a 205 40 2
3.420 +a 205 161 8
3.421 +a 206 279 7
3.422 +a 206 478 3
3.423 +a 207 147 6
3.424 +a 207 80 7
3.425 +a 207 424 3
3.426 +a 208 120 10
3.427 +a 208 446 8
3.428 +a 208 53 10
3.429 +a 209 99 4
3.430 +a 209 254 10
3.431 +a 211 94 10
3.432 +a 211 16 6
3.433 +a 213 279 10
3.434 +a 214 280 9
3.435 +a 215 34 1
3.436 +a 216 263 9
3.437 +a 217 34 1
3.438 +a 218 124 1
3.439 +a 218 492 6
3.440 +a 219 163 8
3.441 +a 220 242 1
3.442 +a 221 318 5
3.443 +a 221 238 9
3.444 +a 222 364 8
3.445 +a 222 41 1
3.446 +a 223 75 6
3.447 +a 223 405 5
3.448 +a 224 389 1
3.449 +a 225 220 5
3.450 +a 226 444 6
3.451 +a 226 37 7
3.452 +a 227 498 6
3.453 +a 228 409 6
3.454 +a 228 183 2
3.455 +a 229 65 2
3.456 +a 229 320 9
3.457 +a 230 302 9
3.458 +a 231 373 2
3.459 +a 231 400 1
3.460 +a 232 252 9
3.461 +a 234 466 8
3.462 +a 234 415 6
3.463 +a 234 18 9
3.464 +a 235 233 8
3.465 +a 236 448 4
3.466 +a 237 280 3
3.467 +a 237 267 8
3.468 +a 238 59 9
3.469 +a 238 260 8
3.470 +a 239 429 6
3.471 +a 239 301 2
3.472 +a 244 65 3
3.473 +a 244 154 10
3.474 +a 244 152 8
3.475 +a 244 106 8
3.476 +a 244 228 7
3.477 +a 244 44 9
3.478 +a 245 494 9
3.479 +a 245 447 1
3.480 +a 245 487 10
3.481 +a 245 18 2
3.482 +a 246 432 2
3.483 +a 247 384 4
3.484 +a 247 201 7
3.485 +a 247 496 4
3.486 +a 247 191 2
3.487 +a 249 494 7
3.488 +a 249 51 9
3.489 +a 250 390 7
3.490 +a 250 233 4
3.491 +a 250 5 5
3.492 +a 250 292 9
3.493 +a 251 250 2
3.494 +a 251 237 4
3.495 +a 252 228 6
3.496 +a 252 17 2
3.497 +a 252 286 3
3.498 +a 253 276 4
3.499 +a 253 420 10
3.500 +a 253 74 5
3.501 +a 254 341 8
3.502 +a 255 61 5
3.503 +a 256 225 8
3.504 +a 256 446 7
3.505 +a 256 289 3
3.506 +a 257 268 5
3.507 +a 257 427 6
3.508 +a 257 223 9
3.509 +a 258 243 10
3.510 +a 259 444 10
3.511 +a 260 143 7
3.512 +a 260 114 2
3.513 +a 260 132 9
3.514 +a 262 126 5
3.515 +a 262 304 4
3.516 +a 262 122 4
3.517 +a 263 107 9
3.518 +a 264 355 2
3.519 +a 264 339 3
3.520 +a 265 359 2
3.521 +a 265 290 1
3.522 +a 265 76 10
3.523 +a 266 83 7
3.524 +a 267 5 5
3.525 +a 267 93 2
3.526 +a 268 74 2
3.527 +a 269 291 2
3.528 +a 269 368 10
3.529 +a 270 493 1
3.530 +a 271 364 3
3.531 +a 271 196 1
3.532 +a 271 41 2
3.533 +a 272 77 6
3.534 +a 273 129 9
3.535 +a 273 329 6
3.536 +a 274 344 1
3.537 +a 274 43 8
3.538 +a 274 40 2
3.539 +a 275 74 5
3.540 +a 276 487 1
3.541 +a 277 182 6
3.542 +a 277 187 3
3.543 +a 277 106 7
3.544 +a 277 307 4
3.545 +a 278 491 3
3.546 +a 279 227 5
3.547 +a 279 414 1
3.548 +a 280 333 4
3.549 +a 280 225 4
3.550 +a 280 240 1
3.551 +a 281 179 5
3.552 +a 281 3 1
3.553 +a 282 316 2
3.554 +a 283 261 9
3.555 +a 283 7 8
3.556 +a 283 408 9
3.557 +a 284 334 5
3.558 +a 284 297 4
3.559 +a 285 263 9
3.560 +a 285 314 2
3.561 +a 287 149 10
3.562 +a 287 459 5
3.563 +a 288 355 8
3.564 +a 288 225 8
3.565 +a 288 75 5
3.566 +a 289 171 7
3.567 +a 289 56 7
3.568 +a 290 118 8
3.569 +a 290 210 2
3.570 +a 290 130 3
3.571 +a 291 92 10
3.572 +a 291 391 4
3.573 +a 292 316 4
3.574 +a 293 197 6
3.575 +a 293 186 5
3.576 +a 294 294 3
3.577 +a 295 424 2
3.578 +a 295 87 9
3.579 +a 295 114 3
3.580 +a 295 136 2
3.581 +a 295 326 1
3.582 +a 296 292 9
3.583 +a 296 138 7
3.584 +a 296 129 5
3.585 +a 296 41 4
3.586 +a 298 145 3
3.587 +a 299 24 5
3.588 +a 299 374 5
3.589 +a 299 441 6
3.590 +a 299 287 3
3.591 +a 299 176 3
3.592 +a 300 77 5
3.593 +a 301 233 6
3.594 +a 301 18 8
3.595 +a 302 301 9
3.596 +a 302 307 4
3.597 +a 302 188 3
3.598 +a 302 357 6
3.599 +a 302 424 9
3.600 +a 303 398 5
3.601 +a 303 486 8
3.602 +a 303 3 1
3.603 +a 303 276 10
3.604 +a 304 289 2
3.605 +a 305 200 10
3.606 +a 305 461 10
3.607 +a 306 71 6
3.608 +a 307 111 3
3.609 +a 307 35 9
3.610 +a 309 184 7
3.611 +a 309 246 3
3.612 +a 310 361 9
3.613 +a 311 476 1
3.614 +a 311 384 9
3.615 +a 311 489 1
3.616 +a 312 4 5
3.617 +a 313 16 9
3.618 +a 313 1 1
3.619 +a 313 377 10
3.620 +a 315 456 8
3.621 +a 315 287 3
3.622 +a 316 40 5
3.623 +a 316 21 6
3.624 +a 316 7 8
3.625 +a 317 57 10
3.626 +a 317 321 10
3.627 +a 317 313 9
3.628 +a 317 245 6
3.629 +a 318 165 8
3.630 +a 318 225 5
3.631 +a 319 130 5
3.632 +a 319 138 5
3.633 +a 319 227 5
3.634 +a 320 405 1
3.635 +a 320 427 2
3.636 +a 321 426 5
3.637 +a 321 354 2
3.638 +a 321 497 1
3.639 +a 322 24 5
3.640 +a 322 388 5
3.641 +a 322 168 10
3.642 +a 322 270 7
3.643 +a 324 236 10
3.644 +a 325 131 8
3.645 +a 325 141 3
3.646 +a 325 213 8
3.647 +a 326 134 3
3.648 +a 327 156 1
3.649 +a 327 213 7
3.650 +a 328 99 3
3.651 +a 329 499 8
3.652 +a 330 38 8
3.653 +a 330 119 9
3.654 +a 330 95 6
3.655 +a 331 440 3
3.656 +a 331 305 10
3.657 +a 331 339 3
3.658 +a 332 92 10
3.659 +a 332 17 7
3.660 +a 332 468 10
3.661 +a 333 230 6
3.662 +a 334 244 10
3.663 +a 334 360 3
3.664 +a 335 144 5
3.665 +a 336 157 1
3.666 +a 336 201 5
3.667 +a 337 128 5
3.668 +a 338 181 10
3.669 +a 338 77 1
3.670 +a 338 295 4
3.671 +a 338 450 7
3.672 +a 341 312 9
3.673 +a 341 426 6
3.674 +a 341 78 4
3.675 +a 341 12 10
3.676 +a 342 47 3
3.677 +a 342 233 3
3.678 +a 342 224 7
3.679 +a 343 45 3
3.680 +a 343 331 3
3.681 +a 344 210 3
3.682 +a 344 83 2
3.683 +a 344 450 1
3.684 +a 346 202 6
3.685 +a 346 177 5
3.686 +a 347 377 1
3.687 +a 347 3 5
3.688 +a 348 468 9
3.689 +a 348 11 5
3.690 +a 349 470 8
3.691 +a 349 185 1
3.692 +a 349 254 3
3.693 +a 349 317 5
3.694 +a 350 328 7
3.695 +a 350 411 1
3.696 +a 350 6 1
3.697 +a 350 455 10
3.698 +a 350 79 10
3.699 +a 351 82 6
3.700 +a 351 238 4
3.701 +a 352 16 7
3.702 +a 353 393 6
3.703 +a 353 151 9
3.704 +a 354 93 7
3.705 +a 354 405 10
3.706 +a 355 197 7
3.707 +a 356 325 5
3.708 +a 357 116 1
3.709 +a 357 242 9
3.710 +a 357 143 3
3.711 +a 357 326 10
3.712 +a 357 324 4
3.713 +a 358 80 5
3.714 +a 359 15 10
3.715 +a 359 500 5
3.716 +a 359 456 3
3.717 +a 360 9 10
3.718 +a 360 412 8
3.719 +a 360 20 10
3.720 +a 360 459 10
3.721 +a 360 84 8
3.722 +a 361 273 8
3.723 +a 361 263 3
3.724 +a 361 412 7
3.725 +a 361 171 1
3.726 +a 361 268 9
3.727 +a 361 354 3
3.728 +a 361 249 2
3.729 +a 362 349 3
3.730 +a 362 79 3
3.731 +a 362 264 3
3.732 +a 363 230 6
3.733 +a 363 229 7
3.734 +a 363 356 2
3.735 +a 364 122 9
3.736 +a 364 426 5
3.737 +a 364 168 5
3.738 +a 364 237 3
3.739 +a 367 155 4
3.740 +a 367 311 10
3.741 +a 369 50 5
3.742 +a 371 478 5
3.743 +a 371 390 10
3.744 +a 373 65 7
3.745 +a 374 465 9
3.746 +a 374 334 7
3.747 +a 375 73 8
3.748 +a 375 454 7
3.749 +a 376 233 2
3.750 +a 376 92 9
3.751 +a 376 400 8
3.752 +a 378 316 3
3.753 +a 378 365 5
3.754 +a 378 150 9
3.755 +a 378 215 2
3.756 +a 378 23 4
3.757 +a 379 418 6
3.758 +a 379 57 7
3.759 +a 379 272 8
3.760 +a 379 254 8
3.761 +a 379 135 5
3.762 +a 380 23 1
3.763 +a 381 483 3
3.764 +a 382 364 6
3.765 +a 382 379 7
3.766 +a 383 92 1
3.767 +a 383 277 1
3.768 +a 383 34 5
3.769 +a 384 329 10
3.770 +a 384 431 7
3.771 +a 384 344 1
3.772 +a 385 378 8
3.773 +a 385 396 7
3.774 +a 385 222 4
3.775 +a 386 442 7
3.776 +a 386 348 7
3.777 +a 386 43 3
3.778 +a 386 3 4
3.779 +a 387 289 5
3.780 +a 388 275 3
3.781 +a 388 94 9
3.782 +a 389 176 1
3.783 +a 389 78 5
3.784 +a 389 458 1
3.785 +a 392 325 2
3.786 +a 393 293 10
3.787 +a 393 481 8
3.788 +a 394 230 10
3.789 +a 395 349 4
3.790 +a 395 240 4
3.791 +a 395 484 9
3.792 +a 395 483 4
3.793 +a 395 262 2
3.794 +a 395 454 10
3.795 +a 396 334 1
3.796 +a 397 128 4
3.797 +a 397 34 8
3.798 +a 397 98 8
3.799 +a 397 162 10
3.800 +a 398 362 7
3.801 +a 398 16 9
3.802 +a 398 227 5
3.803 +a 398 411 9
3.804 +a 399 214 3
3.805 +a 399 157 5
3.806 +a 399 246 7
3.807 +a 400 256 8
3.808 +a 400 159 6
3.809 +a 402 22 8
3.810 +a 403 18 1
3.811 +a 404 252 2
3.812 +a 404 197 2
3.813 +a 405 96 4
3.814 +a 405 198 1
3.815 +a 406 10 3
3.816 +a 406 388 4
3.817 +a 407 166 10
3.818 +a 407 239 3
3.819 +a 408 224 7
3.820 +a 408 405 1
3.821 +a 408 210 10
3.822 +a 410 194 9
3.823 +a 410 154 9
3.824 +a 410 152 1
3.825 +a 410 16 5
3.826 +a 411 282 8
3.827 +a 411 185 2
3.828 +a 413 113 10
3.829 +a 414 443 3
3.830 +a 415 34 9
3.831 +a 415 129 9
3.832 +a 415 435 10
3.833 +a 416 260 10
3.834 +a 416 27 10
3.835 +a 416 137 3
3.836 +a 417 416 6
3.837 +a 417 273 3
3.838 +a 418 392 8
3.839 +a 418 62 5
3.840 +a 418 294 8
3.841 +a 419 410 6
3.842 +a 419 314 7
3.843 +a 419 491 10
3.844 +a 419 500 3
3.845 +a 419 380 7
3.846 +a 420 164 10
3.847 +a 420 226 10
3.848 +a 421 91 2
3.849 +a 421 56 3
3.850 +a 421 436 9
3.851 +a 422 284 4
3.852 +a 422 209 2
3.853 +a 422 75 2
3.854 +a 422 299 10
3.855 +a 422 490 6
3.856 +a 424 259 1
3.857 +a 425 412 5
3.858 +a 426 420 3
3.859 +a 426 292 4
3.860 +a 426 28 9
3.861 +a 427 343 9
3.862 +a 427 39 6
3.863 +a 428 54 6
3.864 +a 428 479 4
3.865 +a 429 455 2
3.866 +a 430 326 1
3.867 +a 430 358 1
3.868 +a 430 4 8
3.869 +a 431 108 10
3.870 +a 431 255 10
3.871 +a 432 317 6
3.872 +a 433 86 9
3.873 +a 433 247 7
3.874 +a 434 315 2
3.875 +a 434 73 6
3.876 +a 435 114 4
3.877 +a 436 478 3
3.878 +a 437 298 7
3.879 +a 437 204 4
3.880 +a 437 21 1
3.881 +a 437 221 2
3.882 +a 438 488 4
3.883 +a 438 230 10
3.884 +a 439 295 4
3.885 +a 439 274 10
3.886 +a 439 207 7
3.887 +a 439 41 8
3.888 +a 439 173 2
3.889 +a 440 115 9
3.890 +a 440 332 1
3.891 +a 441 200 7
3.892 +a 441 457 4
3.893 +a 442 371 5
3.894 +a 442 254 3
3.895 +a 442 423 6
3.896 +a 443 313 2
3.897 +a 443 67 7
3.898 +a 444 268 8
3.899 +a 444 316 8
3.900 +a 444 174 10
3.901 +a 445 11 4
3.902 +a 445 121 4
3.903 +a 449 259 9
3.904 +a 449 257 5
3.905 +a 450 435 10
3.906 +a 451 331 8
3.907 +a 451 371 4
3.908 +a 451 401 1
3.909 +a 451 117 3
3.910 +a 453 62 3
3.911 +a 453 421 2
3.912 +a 453 337 10
3.913 +a 453 37 10
3.914 +a 453 138 3
3.915 +a 454 120 7
3.916 +a 454 311 7
3.917 +a 456 345 10
3.918 +a 456 160 9
3.919 +a 457 483 3
3.920 +a 458 459 2
3.921 +a 458 492 8
3.922 +a 459 171 6
3.923 +a 460 403 6
3.924 +a 460 350 1
3.925 +a 461 424 5
3.926 +a 461 313 10
3.927 +a 461 150 1
3.928 +a 462 490 10
3.929 +a 462 68 2
3.930 +a 463 465 1
3.931 +a 463 152 6
3.932 +a 464 78 8
3.933 +a 465 73 10
3.934 +a 466 410 8
3.935 +a 466 335 6
3.936 +a 467 229 1
3.937 +a 469 193 4
3.938 +a 469 396 3
3.939 +a 470 345 1
3.940 +a 470 254 4
3.941 +a 470 304 7
3.942 +a 470 169 10
3.943 +a 471 291 4
3.944 +a 471 442 8
3.945 +a 471 288 7
3.946 +a 471 89 6
3.947 +a 471 274 7
3.948 +a 471 448 1
3.949 +a 471 59 6
3.950 +a 472 220 7
3.951 +a 472 427 2
3.952 +a 473 229 3
3.953 +a 473 110 2
3.954 +a 474 264 5
3.955 +a 476 140 8
3.956 +a 476 422 6
3.957 +a 476 413 10
3.958 +a 477 118 4
3.959 +a 477 489 1
3.960 +a 478 365 5
3.961 +a 479 269 8
3.962 +a 480 55 8
3.963 +a 480 438 5
3.964 +a 480 166 5
3.965 +a 481 389 3
3.966 +a 481 433 1
3.967 +a 481 394 4
3.968 +a 481 69 1
3.969 +a 481 316 2
3.970 +a 482 226 1
3.971 +a 485 322 3
3.972 +a 486 107 4
3.973 +a 486 395 9
3.974 +a 486 100 6
3.975 +a 486 36 10
3.976 +a 488 170 2
3.977 +a 488 188 9
3.978 +a 488 309 6
3.979 +a 489 105 7
3.980 +a 489 247 2
3.981 +a 489 16 9
3.982 +a 490 19 8
3.983 +a 490 475 6
3.984 +a 491 125 3
3.985 +a 491 282 5
3.986 +a 493 103 10
3.987 +a 493 34 3
3.988 +a 494 182 9
3.989 +a 494 220 9
3.990 +a 495 11 5
3.991 +a 495 35 1
3.992 +a 495 488 7
3.993 +a 495 65 4
3.994 +a 496 472 5
3.995 +a 496 141 3
3.996 +a 496 453 1
3.997 +a 496 392 6
3.998 +a 497 23 8
3.999 +a 498 9 8
3.1000 +a 498 195 7
3.1001 +a 498 248 2
3.1002 +a 498 330 1
3.1003 +a 498 301 10
3.1004 +a 498 130 8
3.1005 +a 498 430 2
3.1006 +a 499 337 7
3.1007 +a 500 300 7
3.1008 +a 500 105 7
3.1009 +a 1 1 10
3.1010 +a 1 500 3
3.1011 +a 1 2 4
3.1012 +a 2 500 7
3.1013 +a 1 3 6
3.1014 +a 3 500 7
3.1015 +a 1 4 8
3.1016 +a 4 500 2
3.1017 +a 1 5 10
3.1018 +a 5 500 7
3.1019 +a 1 6 8
3.1020 +a 6 500 10
3.1021 +a 1 7 9
3.1022 +a 7 500 10
3.1023 +a 1 8 8
3.1024 +a 8 500 3
3.1025 +a 1 9 3
3.1026 +a 9 500 3
3.1027 +a 1 10 6
3.1028 +a 10 500 8
3.1029 +a 1 11 6
3.1030 +a 11 500 7
3.1031 +a 1 12 8
3.1032 +a 12 500 4
3.1033 +a 1 13 5
3.1034 +a 13 500 5
3.1035 +a 1 14 6
3.1036 +a 14 500 10
3.1037 +a 1 15 5
3.1038 +a 15 500 8
3.1039 +a 1 16 10
3.1040 +a 16 500 2
3.1041 +a 1 17 4
3.1042 +a 17 500 2
3.1043 +a 1 18 2
3.1044 +a 18 500 1
3.1045 +a 1 19 4
3.1046 +a 19 500 2
3.1047 +a 1 20 6
3.1048 +a 20 500 2
3.1049 +a 1 21 4
3.1050 +a 21 500 2
3.1051 +a 1 22 2
3.1052 +a 22 500 9
3.1053 +a 1 23 5
3.1054 +a 23 500 5
3.1055 +a 1 24 3
3.1056 +a 24 500 8
3.1057 +a 1 25 10
3.1058 +a 25 500 3
3.1059 +a 1 26 4
3.1060 +a 26 500 5
3.1061 +a 1 27 8
3.1062 +a 27 500 8
3.1063 +a 1 28 5
3.1064 +a 28 500 5
3.1065 +a 1 29 2
3.1066 +a 29 500 5
3.1067 +a 1 30 10
3.1068 +a 30 500 10
3.1069 +a 1 31 2
3.1070 +a 31 500 1
3.1071 +a 1 32 11
3.1072 +a 32 500 9
3.1073 +a 1 33 2
3.1074 +a 33 500 5
3.1075 +a 1 34 6
3.1076 +a 34 500 7
3.1077 +a 1 35 3
3.1078 +a 35 500 3
3.1079 +a 1 36 10
3.1080 +a 36 500 1
3.1081 +a 1 37 4
3.1082 +a 37 500 6
3.1083 +a 1 38 5
3.1084 +a 38 500 10
3.1085 +a 1 39 10
3.1086 +a 39 500 6
3.1087 +a 1 40 11
3.1088 +a 40 500 8
3.1089 +a 1 41 10
3.1090 +a 41 500 4
3.1091 +a 1 42 10
3.1092 +a 42 500 9
3.1093 +a 1 43 6
3.1094 +a 43 500 6
3.1095 +a 1 44 9
3.1096 +a 44 500 2
3.1097 +a 1 45 8
3.1098 +a 45 500 4
3.1099 +a 1 46 5
3.1100 +a 46 500 4
3.1101 +a 1 47 6
3.1102 +a 47 500 6
3.1103 +a 1 48 5
3.1104 +a 48 500 3
3.1105 +a 1 49 6
3.1106 +a 49 500 10
3.1107 +a 1 50 2
3.1108 +a 50 500 7
3.1109 +a 1 51 8
3.1110 +a 51 500 9
3.1111 +a 1 52 11
3.1112 +a 52 500 7
3.1113 +a 1 53 9
3.1114 +a 53 500 2
3.1115 +a 1 54 11
3.1116 +a 54 500 4
3.1117 +a 1 55 8
3.1118 +a 55 500 8
3.1119 +a 1 56 5
3.1120 +a 56 500 2
3.1121 +a 1 57 8
3.1122 +a 57 500 7
3.1123 +a 1 58 11
3.1124 +a 58 500 10
3.1125 +a 1 59 11
3.1126 +a 59 500 9
3.1127 +a 1 60 9
3.1128 +a 60 500 9
3.1129 +a 1 61 6
3.1130 +a 61 500 9
3.1131 +a 1 62 4
3.1132 +a 62 500 4
3.1133 +a 1 63 11
3.1134 +a 63 500 1
3.1135 +a 1 64 4
3.1136 +a 64 500 10
3.1137 +a 1 65 5
3.1138 +a 65 500 9
3.1139 +a 1 66 11
3.1140 +a 66 500 6
3.1141 +a 1 67 6
3.1142 +a 67 500 8
3.1143 +a 1 68 4
3.1144 +a 68 500 7
3.1145 +a 1 69 8
3.1146 +a 69 500 6
3.1147 +a 1 70 9
3.1148 +a 70 500 9
3.1149 +a 1 71 10
3.1150 +a 71 500 5
3.1151 +a 1 72 9
3.1152 +a 72 500 1
3.1153 +a 1 73 2
3.1154 +a 73 500 10
3.1155 +a 1 74 9
3.1156 +a 74 500 5
3.1157 +a 1 75 7
3.1158 +a 75 500 8
3.1159 +a 1 76 9
3.1160 +a 76 500 2
3.1161 +a 1 77 5
3.1162 +a 77 500 2
3.1163 +a 1 78 10
3.1164 +a 78 500 9
3.1165 +a 1 79 7
3.1166 +a 79 500 8
3.1167 +a 1 80 5
3.1168 +a 80 500 2
3.1169 +a 1 81 7
3.1170 +a 81 500 10
3.1171 +a 1 82 9
3.1172 +a 82 500 4
3.1173 +a 1 83 3
3.1174 +a 83 500 3
3.1175 +a 1 84 5
3.1176 +a 84 500 2
3.1177 +a 1 85 3
3.1178 +a 85 500 2
3.1179 +a 1 86 10
3.1180 +a 86 500 6
3.1181 +a 1 87 6
3.1182 +a 87 500 1
3.1183 +a 1 88 9
3.1184 +a 88 500 3
3.1185 +a 1 89 10
3.1186 +a 89 500 4
3.1187 +a 1 90 4
3.1188 +a 90 500 4
3.1189 +a 1 91 9
3.1190 +a 91 500 10
3.1191 +a 1 92 11
3.1192 +a 92 500 4
3.1193 +a 1 93 3
3.1194 +a 93 500 2
3.1195 +a 1 94 6
3.1196 +a 94 500 4
3.1197 +a 1 95 6
3.1198 +a 95 500 6
3.1199 +a 1 96 6
3.1200 +a 96 500 7
3.1201 +a 1 97 2
3.1202 +a 97 500 2
3.1203 +a 1 98 8
3.1204 +a 98 500 1
3.1205 +a 1 99 7
3.1206 +a 99 500 2
3.1207 +a 1 100 4
3.1208 +a 100 500 10
3.1209 +a 1 101 5
3.1210 +a 101 500 4
3.1211 +a 1 102 6
3.1212 +a 102 500 2
3.1213 +a 1 103 2
3.1214 +a 103 500 6
3.1215 +a 1 104 5
3.1216 +a 104 500 5
3.1217 +a 1 105 11
3.1218 +a 105 500 8
3.1219 +a 1 106 11
3.1220 +a 106 500 10
3.1221 +a 1 107 11
3.1222 +a 107 500 10
3.1223 +a 1 108 7
3.1224 +a 108 500 10
3.1225 +a 1 109 5
3.1226 +a 109 500 1
3.1227 +a 1 110 6
3.1228 +a 110 500 3
3.1229 +a 1 111 9
3.1230 +a 111 500 1
3.1231 +a 1 112 10
3.1232 +a 112 500 2
3.1233 +a 1 113 10
3.1234 +a 113 500 5
3.1235 +a 1 114 6
3.1236 +a 114 500 6
3.1237 +a 1 115 11
3.1238 +a 115 500 6
3.1239 +a 1 116 4
3.1240 +a 116 500 9
3.1241 +a 1 117 3
3.1242 +a 117 500 8
3.1243 +a 1 118 9
3.1244 +a 118 500 8
3.1245 +a 1 119 11
3.1246 +a 119 500 1
3.1247 +a 1 120 8
3.1248 +a 120 500 9
3.1249 +a 1 121 8
3.1250 +a 121 500 4
3.1251 +a 1 122 9
3.1252 +a 122 500 8
3.1253 +a 1 123 9
3.1254 +a 123 500 10
3.1255 +a 1 124 8
3.1256 +a 124 500 5
3.1257 +a 1 125 3
3.1258 +a 125 500 5
3.1259 +a 1 126 10
3.1260 +a 126 500 7
3.1261 +a 1 127 4
3.1262 +a 127 500 4
3.1263 +a 1 128 2
3.1264 +a 128 500 4
3.1265 +a 1 129 9
3.1266 +a 129 500 10
3.1267 +a 1 130 2
3.1268 +a 130 500 2
3.1269 +a 1 131 6
3.1270 +a 131 500 3
3.1271 +a 1 132 10
3.1272 +a 132 500 2
3.1273 +a 1 133 4
3.1274 +a 133 500 4
3.1275 +a 1 134 6
3.1276 +a 134 500 4
3.1277 +a 1 135 4
3.1278 +a 135 500 5
3.1279 +a 1 136 9
3.1280 +a 136 500 3
3.1281 +a 1 137 9
3.1282 +a 137 500 7
3.1283 +a 1 138 5
3.1284 +a 138 500 8
3.1285 +a 1 139 3
3.1286 +a 139 500 6
3.1287 +a 1 140 8
3.1288 +a 140 500 10
3.1289 +a 1 141 8
3.1290 +a 141 500 1
3.1291 +a 1 142 11
3.1292 +a 142 500 6
3.1293 +a 1 143 11
3.1294 +a 143 500 4
3.1295 +a 1 144 8
3.1296 +a 144 500 2
3.1297 +a 1 145 3
3.1298 +a 145 500 1
3.1299 +a 1 146 5
3.1300 +a 146 500 2
3.1301 +a 1 147 4
3.1302 +a 147 500 5
3.1303 +a 1 148 7
3.1304 +a 148 500 4
3.1305 +a 1 149 4
3.1306 +a 149 500 4
3.1307 +a 1 150 6
3.1308 +a 150 500 1
3.1309 +a 1 151 3
3.1310 +a 151 500 9
3.1311 +a 1 152 6
3.1312 +a 152 500 1
3.1313 +a 1 153 4
3.1314 +a 153 500 10
3.1315 +a 1 154 11
3.1316 +a 154 500 1
3.1317 +a 1 155 3
3.1318 +a 155 500 6
3.1319 +a 1 156 8
3.1320 +a 156 500 2
3.1321 +a 1 157 5
3.1322 +a 157 500 4
3.1323 +a 1 158 8
3.1324 +a 158 500 6
3.1325 +a 1 159 2
3.1326 +a 159 500 9
3.1327 +a 1 160 2
3.1328 +a 160 500 2
3.1329 +a 1 161 7
3.1330 +a 161 500 3
3.1331 +a 1 162 4
3.1332 +a 162 500 1
3.1333 +a 1 163 9
3.1334 +a 163 500 1
3.1335 +a 1 164 5
3.1336 +a 164 500 3
3.1337 +a 1 165 3
3.1338 +a 165 500 10
3.1339 +a 1 166 9
3.1340 +a 166 500 6
3.1341 +a 1 167 8
3.1342 +a 167 500 1
3.1343 +a 1 168 5
3.1344 +a 168 500 7
3.1345 +a 1 169 6
3.1346 +a 169 500 7
3.1347 +a 1 170 9
3.1348 +a 170 500 3
3.1349 +a 1 171 11
3.1350 +a 171 500 9
3.1351 +a 1 172 2
3.1352 +a 172 500 7
3.1353 +a 1 173 2
3.1354 +a 173 500 4
3.1355 +a 1 174 2
3.1356 +a 174 500 3
3.1357 +a 1 175 6
3.1358 +a 175 500 10
3.1359 +a 1 176 11
3.1360 +a 176 500 2
3.1361 +a 1 177 8
3.1362 +a 177 500 6
3.1363 +a 1 178 8
3.1364 +a 178 500 10
3.1365 +a 1 179 2
3.1366 +a 179 500 9
3.1367 +a 1 180 4
3.1368 +a 180 500 9
3.1369 +a 1 181 4
3.1370 +a 181 500 4
3.1371 +a 1 182 7
3.1372 +a 182 500 7
3.1373 +a 1 183 2
3.1374 +a 183 500 3
3.1375 +a 1 184 11
3.1376 +a 184 500 5
3.1377 +a 1 185 3
3.1378 +a 185 500 5
3.1379 +a 1 186 7
3.1380 +a 186 500 2
3.1381 +a 1 187 7
3.1382 +a 187 500 5
3.1383 +a 1 188 3
3.1384 +a 188 500 10
3.1385 +a 1 189 2
3.1386 +a 189 500 9
3.1387 +a 1 190 6
3.1388 +a 190 500 7
3.1389 +a 1 191 8
3.1390 +a 191 500 3
3.1391 +a 1 192 9
3.1392 +a 192 500 6
3.1393 +a 1 193 2
3.1394 +a 193 500 10
3.1395 +a 1 194 2
3.1396 +a 194 500 6
3.1397 +a 1 195 9
3.1398 +a 195 500 8
3.1399 +a 1 196 6
3.1400 +a 196 500 1
3.1401 +a 1 197 11
3.1402 +a 197 500 4
3.1403 +a 1 198 9
3.1404 +a 198 500 2
3.1405 +a 1 199 4
3.1406 +a 199 500 10
3.1407 +a 1 200 5
3.1408 +a 200 500 9
3.1409 +a 1 201 11
3.1410 +a 201 500 3
3.1411 +a 1 202 11
3.1412 +a 202 500 7
3.1413 +a 1 203 2
3.1414 +a 203 500 7
3.1415 +a 1 204 4
3.1416 +a 204 500 2
3.1417 +a 1 205 3
3.1418 +a 205 500 8
3.1419 +a 1 206 6
3.1420 +a 206 500 1
3.1421 +a 1 207 11
3.1422 +a 207 500 6
3.1423 +a 1 208 8
3.1424 +a 208 500 10
3.1425 +a 1 209 10
3.1426 +a 209 500 9
3.1427 +a 1 210 2
3.1428 +a 210 500 10
3.1429 +a 1 211 9
3.1430 +a 211 500 5
3.1431 +a 1 212 2
3.1432 +a 212 500 2
3.1433 +a 1 213 10
3.1434 +a 213 500 3
3.1435 +a 1 214 3
3.1436 +a 214 500 7
3.1437 +a 1 215 4
3.1438 +a 215 500 6
3.1439 +a 1 216 10
3.1440 +a 216 500 3
3.1441 +a 1 217 2
3.1442 +a 217 500 8
3.1443 +a 1 218 11
3.1444 +a 218 500 3
3.1445 +a 1 219 9
3.1446 +a 219 500 10
3.1447 +a 1 220 8
3.1448 +a 220 500 5
3.1449 +a 1 221 11
3.1450 +a 221 500 8
3.1451 +a 1 222 5
3.1452 +a 222 500 2
3.1453 +a 1 223 8
3.1454 +a 223 500 4
3.1455 +a 1 224 10
3.1456 +a 224 500 3
3.1457 +a 1 225 6
3.1458 +a 225 500 6
3.1459 +a 1 226 10
3.1460 +a 226 500 1
3.1461 +a 1 227 4
3.1462 +a 227 500 7
3.1463 +a 1 228 4
3.1464 +a 228 500 9
3.1465 +a 1 229 11
3.1466 +a 229 500 5
3.1467 +a 1 230 8
3.1468 +a 230 500 10
3.1469 +a 1 231 2
3.1470 +a 231 500 9
3.1471 +a 1 232 2
3.1472 +a 232 500 5
3.1473 +a 1 233 5
3.1474 +a 233 500 6
3.1475 +a 1 234 9
3.1476 +a 234 500 8
3.1477 +a 1 235 5
3.1478 +a 235 500 4
3.1479 +a 1 236 7
3.1480 +a 236 500 1
3.1481 +a 1 237 4
3.1482 +a 237 500 9
3.1483 +a 1 238 7
3.1484 +a 238 500 5
3.1485 +a 1 239 4
3.1486 +a 239 500 3
3.1487 +a 1 240 5
3.1488 +a 240 500 9
3.1489 +a 1 241 3
3.1490 +a 241 500 1
3.1491 +a 1 242 11
3.1492 +a 242 500 6
3.1493 +a 1 243 2
3.1494 +a 243 500 8
3.1495 +a 1 244 8
3.1496 +a 244 500 9
3.1497 +a 1 245 5
3.1498 +a 245 500 4
3.1499 +a 1 246 11
3.1500 +a 246 500 7
3.1501 +a 1 247 3
3.1502 +a 247 500 6
3.1503 +a 1 248 6
3.1504 +a 248 500 8
3.1505 +a 1 249 9
3.1506 +a 249 500 8
3.1507 +a 1 250 3
3.1508 +a 250 500 5
3.1509 +a 1 251 6
3.1510 +a 251 500 6
3.1511 +a 1 252 6
3.1512 +a 252 500 9
3.1513 +a 1 253 3
3.1514 +a 253 500 2
3.1515 +a 1 254 4
3.1516 +a 254 500 8
3.1517 +a 1 255 11
3.1518 +a 255 500 5
3.1519 +a 1 256 8
3.1520 +a 256 500 4
3.1521 +a 1 257 8
3.1522 +a 257 500 3
3.1523 +a 1 258 11
3.1524 +a 258 500 2
3.1525 +a 1 259 8
3.1526 +a 259 500 8
3.1527 +a 1 260 3
3.1528 +a 260 500 6
3.1529 +a 1 261 4
3.1530 +a 261 500 1
3.1531 +a 1 262 5
3.1532 +a 262 500 9
3.1533 +a 1 263 4
3.1534 +a 263 500 4
3.1535 +a 1 264 8
3.1536 +a 264 500 1
3.1537 +a 1 265 10
3.1538 +a 265 500 10
3.1539 +a 1 266 8
3.1540 +a 266 500 3
3.1541 +a 1 267 10
3.1542 +a 267 500 2
3.1543 +a 1 268 11
3.1544 +a 268 500 1
3.1545 +a 1 269 7
3.1546 +a 269 500 2
3.1547 +a 1 270 7
3.1548 +a 270 500 3
3.1549 +a 1 271 2
3.1550 +a 271 500 6
3.1551 +a 1 272 11
3.1552 +a 272 500 7
3.1553 +a 1 273 3
3.1554 +a 273 500 10
3.1555 +a 1 274 4
3.1556 +a 274 500 10
3.1557 +a 1 275 10
3.1558 +a 275 500 1
3.1559 +a 1 276 10
3.1560 +a 276 500 8
3.1561 +a 1 277 10
3.1562 +a 277 500 1
3.1563 +a 1 278 8
3.1564 +a 278 500 9
3.1565 +a 1 279 2
3.1566 +a 279 500 9
3.1567 +a 1 280 9
3.1568 +a 280 500 10
3.1569 +a 1 281 11
3.1570 +a 281 500 3
3.1571 +a 1 282 2
3.1572 +a 282 500 9
3.1573 +a 1 283 6
3.1574 +a 283 500 2
3.1575 +a 1 284 3
3.1576 +a 284 500 8
3.1577 +a 1 285 11
3.1578 +a 285 500 3
3.1579 +a 1 286 5
3.1580 +a 286 500 4
3.1581 +a 1 287 7
3.1582 +a 287 500 6
3.1583 +a 1 288 10
3.1584 +a 288 500 8
3.1585 +a 1 289 5
3.1586 +a 289 500 2
3.1587 +a 1 290 7
3.1588 +a 290 500 1
3.1589 +a 1 291 6
3.1590 +a 291 500 9
3.1591 +a 1 292 10
3.1592 +a 292 500 10
3.1593 +a 1 293 5
3.1594 +a 293 500 3
3.1595 +a 1 294 6
3.1596 +a 294 500 7
3.1597 +a 1 295 9
3.1598 +a 295 500 2
3.1599 +a 1 296 7
3.1600 +a 296 500 5
3.1601 +a 1 297 3
3.1602 +a 297 500 8
3.1603 +a 1 298 11
3.1604 +a 298 500 8
3.1605 +a 1 299 4
3.1606 +a 299 500 9
3.1607 +a 1 300 7
3.1608 +a 300 500 10
3.1609 +a 1 301 6
3.1610 +a 301 500 5
3.1611 +a 1 302 11
3.1612 +a 302 500 9
3.1613 +a 1 303 4
3.1614 +a 303 500 2
3.1615 +a 1 304 2
3.1616 +a 304 500 3
3.1617 +a 1 305 2
3.1618 +a 305 500 3
3.1619 +a 1 306 2
3.1620 +a 306 500 5
3.1621 +a 1 307 3
3.1622 +a 307 500 9
3.1623 +a 1 308 7
3.1624 +a 308 500 7
3.1625 +a 1 309 3
3.1626 +a 309 500 8
3.1627 +a 1 310 8
3.1628 +a 310 500 9
3.1629 +a 1 311 2
3.1630 +a 311 500 9
3.1631 +a 1 312 2
3.1632 +a 312 500 2
3.1633 +a 1 313 2
3.1634 +a 313 500 5
3.1635 +a 1 314 10
3.1636 +a 314 500 7
3.1637 +a 1 315 11
3.1638 +a 315 500 9
3.1639 +a 1 316 8
3.1640 +a 316 500 10
3.1641 +a 1 317 6
3.1642 +a 317 500 4
3.1643 +a 1 318 7
3.1644 +a 318 500 8
3.1645 +a 1 319 5
3.1646 +a 319 500 10
3.1647 +a 1 320 2
3.1648 +a 320 500 7
3.1649 +a 1 321 2
3.1650 +a 321 500 4
3.1651 +a 1 322 2
3.1652 +a 322 500 6
3.1653 +a 1 323 6
3.1654 +a 323 500 4
3.1655 +a 1 324 5
3.1656 +a 324 500 2
3.1657 +a 1 325 7
3.1658 +a 325 500 9
3.1659 +a 1 326 6
3.1660 +a 326 500 1
3.1661 +a 1 327 10
3.1662 +a 327 500 1
3.1663 +a 1 328 5
3.1664 +a 328 500 7
3.1665 +a 1 329 5
3.1666 +a 329 500 6
3.1667 +a 1 330 3
3.1668 +a 330 500 10
3.1669 +a 1 331 9
3.1670 +a 331 500 2
3.1671 +a 1 332 10
3.1672 +a 332 500 8
3.1673 +a 1 333 2
3.1674 +a 333 500 10
3.1675 +a 1 334 10
3.1676 +a 334 500 6
3.1677 +a 1 335 4
3.1678 +a 335 500 3
3.1679 +a 1 336 10
3.1680 +a 336 500 5
3.1681 +a 1 337 8
3.1682 +a 337 500 5
3.1683 +a 1 338 9
3.1684 +a 338 500 2
3.1685 +a 1 339 5
3.1686 +a 339 500 4
3.1687 +a 1 340 3
3.1688 +a 340 500 6
3.1689 +a 1 341 9
3.1690 +a 341 500 1
3.1691 +a 1 342 10
3.1692 +a 342 500 5
3.1693 +a 1 343 7
3.1694 +a 343 500 10
3.1695 +a 1 344 10
3.1696 +a 344 500 9
3.1697 +a 1 345 11
3.1698 +a 345 500 4
3.1699 +a 1 346 2
3.1700 +a 346 500 9
3.1701 +a 1 347 10
3.1702 +a 347 500 9
3.1703 +a 1 348 11
3.1704 +a 348 500 8
3.1705 +a 1 349 8
3.1706 +a 349 500 7
3.1707 +a 1 350 4
3.1708 +a 350 500 2
3.1709 +a 1 351 9
3.1710 +a 351 500 3
3.1711 +a 1 352 4
3.1712 +a 352 500 1
3.1713 +a 1 353 7
3.1714 +a 353 500 10
3.1715 +a 1 354 6
3.1716 +a 354 500 4
3.1717 +a 1 355 6
3.1718 +a 355 500 8
3.1719 +a 1 356 6
3.1720 +a 356 500 7
3.1721 +a 1 357 10
3.1722 +a 357 500 3
3.1723 +a 1 358 10
3.1724 +a 358 500 7
3.1725 +a 1 359 7
3.1726 +a 359 500 4
3.1727 +a 1 360 10
3.1728 +a 360 500 8
3.1729 +a 1 361 9
3.1730 +a 361 500 10
3.1731 +a 1 362 11
3.1732 +a 362 500 10
3.1733 +a 1 363 11
3.1734 +a 363 500 6
3.1735 +a 1 364 4
3.1736 +a 364 500 4
3.1737 +a 1 365 10
3.1738 +a 365 500 7
3.1739 +a 1 366 3
3.1740 +a 366 500 7
3.1741 +a 1 367 7
3.1742 +a 367 500 2
3.1743 +a 1 368 8
3.1744 +a 368 500 1
3.1745 +a 1 369 7
3.1746 +a 369 500 6
3.1747 +a 1 370 2
3.1748 +a 370 500 9
3.1749 +a 1 371 6
3.1750 +a 371 500 8
3.1751 +a 1 372 4
3.1752 +a 372 500 1
3.1753 +a 1 373 6
3.1754 +a 373 500 10
3.1755 +a 1 374 4
3.1756 +a 374 500 4
3.1757 +a 1 375 10
3.1758 +a 375 500 2
3.1759 +a 1 376 11
3.1760 +a 376 500 5
3.1761 +a 1 377 8
3.1762 +a 377 500 8
3.1763 +a 1 378 7
3.1764 +a 378 500 9
3.1765 +a 1 379 6
3.1766 +a 379 500 10
3.1767 +a 1 380 9
3.1768 +a 380 500 5
3.1769 +a 1 381 2
3.1770 +a 381 500 4
3.1771 +a 1 382 11
3.1772 +a 382 500 3
3.1773 +a 1 383 8
3.1774 +a 383 500 5
3.1775 +a 1 384 11
3.1776 +a 384 500 10
3.1777 +a 1 385 7
3.1778 +a 385 500 10
3.1779 +a 1 386 3
3.1780 +a 386 500 4
3.1781 +a 1 387 9
3.1782 +a 387 500 6
3.1783 +a 1 388 8
3.1784 +a 388 500 7
3.1785 +a 1 389 3
3.1786 +a 389 500 5
3.1787 +a 1 390 6
3.1788 +a 390 500 8
3.1789 +a 1 391 4
3.1790 +a 391 500 7
3.1791 +a 1 392 9
3.1792 +a 392 500 7
3.1793 +a 1 393 10
3.1794 +a 393 500 2
3.1795 +a 1 394 4
3.1796 +a 394 500 7
3.1797 +a 1 395 10
3.1798 +a 395 500 1
3.1799 +a 1 396 2
3.1800 +a 396 500 7
3.1801 +a 1 397 2
3.1802 +a 397 500 4
3.1803 +a 1 398 4
3.1804 +a 398 500 9
3.1805 +a 1 399 8
3.1806 +a 399 500 3
3.1807 +a 1 400 10
3.1808 +a 400 500 9
3.1809 +a 1 401 7
3.1810 +a 401 500 4
3.1811 +a 1 402 5
3.1812 +a 402 500 6
3.1813 +a 1 403 9
3.1814 +a 403 500 5
3.1815 +a 1 404 6
3.1816 +a 404 500 8
3.1817 +a 1 405 6
3.1818 +a 405 500 8
3.1819 +a 1 406 2
3.1820 +a 406 500 4
3.1821 +a 1 407 8
3.1822 +a 407 500 10
3.1823 +a 1 408 6
3.1824 +a 408 500 2
3.1825 +a 1 409 5
3.1826 +a 409 500 7
3.1827 +a 1 410 2
3.1828 +a 410 500 2
3.1829 +a 1 411 4
3.1830 +a 411 500 1
3.1831 +a 1 412 7
3.1832 +a 412 500 5
3.1833 +a 1 413 6
3.1834 +a 413 500 10
3.1835 +a 1 414 2
3.1836 +a 414 500 9
3.1837 +a 1 415 6
3.1838 +a 415 500 4
3.1839 +a 1 416 10
3.1840 +a 416 500 7
3.1841 +a 1 417 8
3.1842 +a 417 500 9
3.1843 +a 1 418 7
3.1844 +a 418 500 2
3.1845 +a 1 419 2
3.1846 +a 419 500 9
3.1847 +a 1 420 10
3.1848 +a 420 500 1
3.1849 +a 1 421 5
3.1850 +a 421 500 8
3.1851 +a 1 422 6
3.1852 +a 422 500 10
3.1853 +a 1 423 3
3.1854 +a 423 500 8
3.1855 +a 1 424 4
3.1856 +a 424 500 7
3.1857 +a 1 425 5
3.1858 +a 425 500 7
3.1859 +a 1 426 5
3.1860 +a 426 500 3
3.1861 +a 1 427 9
3.1862 +a 427 500 8
3.1863 +a 1 428 7
3.1864 +a 428 500 1
3.1865 +a 1 429 7
3.1866 +a 429 500 7
3.1867 +a 1 430 11
3.1868 +a 430 500 7
3.1869 +a 1 431 5
3.1870 +a 431 500 7
3.1871 +a 1 432 4
3.1872 +a 432 500 8
3.1873 +a 1 433 11
3.1874 +a 433 500 5
3.1875 +a 1 434 5
3.1876 +a 434 500 4
3.1877 +a 1 435 3
3.1878 +a 435 500 5
3.1879 +a 1 436 5
3.1880 +a 436 500 10
3.1881 +a 1 437 11
3.1882 +a 437 500 2
3.1883 +a 1 438 3
3.1884 +a 438 500 10
3.1885 +a 1 439 3
3.1886 +a 439 500 2
3.1887 +a 1 440 9
3.1888 +a 440 500 7
3.1889 +a 1 441 3
3.1890 +a 441 500 5
3.1891 +a 1 442 5
3.1892 +a 442 500 10
3.1893 +a 1 443 2
3.1894 +a 443 500 1
3.1895 +a 1 444 2
3.1896 +a 444 500 4
3.1897 +a 1 445 10
3.1898 +a 445 500 5
3.1899 +a 1 446 10
3.1900 +a 446 500 6
3.1901 +a 1 447 5
3.1902 +a 447 500 7
3.1903 +a 1 448 3
3.1904 +a 448 500 8
3.1905 +a 1 449 10
3.1906 +a 449 500 3
3.1907 +a 1 450 3
3.1908 +a 450 500 10
3.1909 +a 1 451 11
3.1910 +a 451 500 9
3.1911 +a 1 452 4
3.1912 +a 452 500 10
3.1913 +a 1 453 3
3.1914 +a 453 500 3
3.1915 +a 1 454 11
3.1916 +a 454 500 2
3.1917 +a 1 455 5
3.1918 +a 455 500 8
3.1919 +a 1 456 3
3.1920 +a 456 500 3
3.1921 +a 1 457 2
3.1922 +a 457 500 3
3.1923 +a 1 458 6
3.1924 +a 458 500 3
3.1925 +a 1 459 7
3.1926 +a 459 500 3
3.1927 +a 1 460 8
3.1928 +a 460 500 3
3.1929 +a 1 461 3
3.1930 +a 461 500 1
3.1931 +a 1 462 10
3.1932 +a 462 500 6
3.1933 +a 1 463 7
3.1934 +a 463 500 7
3.1935 +a 1 464 10
3.1936 +a 464 500 3
3.1937 +a 1 465 3
3.1938 +a 465 500 6
3.1939 +a 1 466 10
3.1940 +a 466 500 7
3.1941 +a 1 467 8
3.1942 +a 467 500 7
3.1943 +a 1 468 10
3.1944 +a 468 500 10
3.1945 +a 1 469 2
3.1946 +a 469 500 4
3.1947 +a 1 470 5
3.1948 +a 470 500 8
3.1949 +a 1 471 7
3.1950 +a 471 500 2
3.1951 +a 1 472 2
3.1952 +a 472 500 7
3.1953 +a 1 473 11
3.1954 +a 473 500 9
3.1955 +a 1 474 7
3.1956 +a 474 500 3
3.1957 +a 1 475 5
3.1958 +a 475 500 6
3.1959 +a 1 476 11
3.1960 +a 476 500 10
3.1961 +a 1 477 2
3.1962 +a 477 500 2
3.1963 +a 1 478 4
3.1964 +a 478 500 2
3.1965 +a 1 479 3
3.1966 +a 479 500 5
3.1967 +a 1 480 10
3.1968 +a 480 500 8
3.1969 +a 1 481 4
3.1970 +a 481 500 6
3.1971 +a 1 482 11
3.1972 +a 482 500 4
3.1973 +a 1 483 7
3.1974 +a 483 500 8
3.1975 +a 1 484 8
3.1976 +a 484 500 5
3.1977 +a 1 485 6
3.1978 +a 485 500 9
3.1979 +a 1 486 5
3.1980 +a 486 500 8
3.1981 +a 1 487 7
3.1982 +a 487 500 9
3.1983 +a 1 488 2
3.1984 +a 488 500 10
3.1985 +a 1 489 4
3.1986 +a 489 500 1
3.1987 +a 1 490 3
3.1988 +a 490 500 7
3.1989 +a 1 491 2
3.1990 +a 491 500 6
3.1991 +a 1 492 7
3.1992 +a 492 500 8
3.1993 +a 1 493 6
3.1994 +a 493 500 4
3.1995 +a 1 494 9
3.1996 +a 494 500 3
3.1997 +a 1 495 8
3.1998 +a 495 500 6
3.1999 +a 1 496 9
3.2000 +a 496 500 8
3.2001 +a 1 497 11
3.2002 +a 497 500 8
3.2003 +a 1 498 11
3.2004 +a 498 500 10
3.2005 +a 1 499 3
3.2006 +a 499 500 8
3.2007 +a 1 500 6
3.2008 +a 500 500 4
4.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
4.2 +++ b/src/test/preflow_test.cc Mon Sep 13 10:50:28 2004 +0000
4.3 @@ -0,0 +1,166 @@
4.4 +#include <fstream>
4.5 +#include "test_tools.h"
4.6 +#include <hugo/smart_graph.h>
4.7 +#include <hugo/dimacs.h>
4.8 +#include <hugo/preflow.h>
4.9 +#include <hugo/skeletons/graph.h>
4.10 +#include <hugo/skeletons/maps.h>
4.11 +using namespace hugo;
4.12 +
4.13 +void check_Preflow()
4.14 +{
4.15 + typedef int VType;
4.16 + typedef skeleton::StaticGraphSkeleton Graph;
4.17 +
4.18 + typedef Graph::Node Node;
4.19 + typedef Graph::Edge Edge;
4.20 + typedef skeleton::ReadMap<Edge,VType> CapMap;
4.21 + typedef skeleton::ReadWriteMap<Edge,VType> FlowMap;
4.22 + typedef skeleton::ReadWriteMap<Node,bool> CutMap;
4.23 +
4.24 + typedef Preflow<Graph, int, CapMap, FlowMap> PType;
4.25 +
4.26 + Graph G;
4.27 + Node n;
4.28 + CapMap cap;
4.29 + FlowMap flow;
4.30 + CutMap cut;
4.31 +
4.32 + PType preflow_test(G,n,n,cap,flow);
4.33 +
4.34 + preflow_test.run();
4.35 + preflow_test.flowValue();
4.36 + preflow_test.setSource(n);
4.37 + preflow_test.setFlow(flow);
4.38 +
4.39 + preflow_test.phase1(PType::NO_FLOW);
4.40 + preflow_test.minCut(cut);
4.41 +
4.42 + preflow_test.phase2();
4.43 + preflow_test.setTarget(n);
4.44 + preflow_test.setCap(cap);
4.45 + preflow_test.minMinCut(cut);
4.46 + preflow_test.maxMinCut(cut);
4.47 +}
4.48 +
4.49 +int cut_value ( SmartGraph& G, SmartGraph::NodeMap<bool>& cut,
4.50 + SmartGraph::EdgeMap<int>& cap) {
4.51 +
4.52 + int c=0;
4.53 + for(SmartGraph::EdgeIt e(G); e!=INVALID; ++e) {
4.54 + if (cut[G.tail(e)] && !cut[G.head(e)]) c+=cap[e];
4.55 + }
4.56 + return c;
4.57 +}
4.58 +
4.59 +int main() {
4.60 +
4.61 + typedef SmartGraph Graph;
4.62 +
4.63 + typedef Graph::NodeIt NodeIt;
4.64 + typedef Graph::EdgeIt EdgeIt;
4.65 + typedef Graph::EdgeMap<int> CapMap;
4.66 + typedef Graph::EdgeMap<int> FlowMap;
4.67 + typedef Graph::NodeMap<bool> CutMap;
4.68 +
4.69 + typedef Preflow<Graph, int> PType;
4.70 +
4.71 + std::ifstream file("preflow_graph");
4.72 +
4.73 + Graph G;
4.74 + NodeIt s, t;
4.75 + CapMap cap(G);
4.76 + readDimacs(file, G, cap, s, t);
4.77 +
4.78 + FlowMap flow(G,0);
4.79 +
4.80 + PType preflow_test(G, s, t, cap, flow);
4.81 + preflow_test.run(PType::ZERO_FLOW);
4.82 +
4.83 +
4.84 + CutMap mincut(G,false);
4.85 + preflow_test.minCut(mincut);
4.86 + int min_cut_value=cut_value(G,mincut,cap);
4.87 +
4.88 + CutMap minmincut(G,false);
4.89 + preflow_test.minMinCut(minmincut);
4.90 + int min_min_cut_value=cut_value(G,minmincut,cap);
4.91 +
4.92 + CutMap maxmincut(G,false);
4.93 + preflow_test.maxMinCut(maxmincut);
4.94 + int max_min_cut_value=cut_value(G,maxmincut,cap);
4.95 +
4.96 + check(preflow_test.flowValue() == min_cut_value &&
4.97 + min_cut_value == min_min_cut_value &&
4.98 + min_min_cut_value == max_min_cut_value,
4.99 + "The max flow value is not equal to the three min cut values.");
4.100 +
4.101 + int flow_value=preflow_test.flowValue();
4.102 +
4.103 +
4.104 + for(EdgeIt e(G); e!=INVALID; ++e) cap[e]=2*cap[e];
4.105 + preflow_test.setCap(cap);
4.106 + preflow_test.setTarget(++t); //the max flow value remains 2*flow_value
4.107 + //warning: ++t must be a valid node. In preflow_graph, it is.
4.108 +
4.109 + preflow_test.phase1(PType::PRE_FLOW);
4.110 +
4.111 + CutMap mincut1(G,false);
4.112 + preflow_test.minCut(mincut1);
4.113 + min_cut_value=cut_value(G,mincut1,cap);
4.114 +
4.115 + check(preflow_test.flowValue() == min_cut_value &&
4.116 + min_cut_value == 2*flow_value,
4.117 + "The max flow value or the min cut value is wrong.");
4.118 +
4.119 + preflow_test.phase2();
4.120 +
4.121 + CutMap mincut2(G,false);
4.122 + preflow_test.minCut(mincut2);
4.123 + min_cut_value=cut_value(G,mincut2,cap);
4.124 +
4.125 + CutMap minmincut2(G,false);
4.126 + preflow_test.minMinCut(minmincut2);
4.127 + min_min_cut_value=cut_value(G,minmincut2,cap);
4.128 +
4.129 +
4.130 + preflow_test.maxMinCut(maxmincut);
4.131 +
4.132 + max_min_cut_value=cut_value(G,maxmincut,cap);
4.133 +
4.134 + check(preflow_test.flowValue() == min_cut_value &&
4.135 + min_cut_value == min_min_cut_value &&
4.136 + min_min_cut_value == max_min_cut_value &&
4.137 + min_cut_value == 2*flow_value,
4.138 + "The max flow value or the three min cut values were not doubled");
4.139 +
4.140 + EdgeIt e(G);
4.141 + for( int i=1; i==1000; ++i ) {
4.142 + flow[e]=0;
4.143 + ++e;
4.144 + }
4.145 +
4.146 + preflow_test.setFlow(flow);
4.147 + preflow_test.setSource(s);
4.148 +
4.149 + preflow_test.run();
4.150 +
4.151 + CutMap mincut3(G,false);
4.152 + preflow_test.minCut(mincut3);
4.153 + min_cut_value=cut_value(G,mincut3,cap);
4.154 +
4.155 + CutMap minmincut3(G,false);
4.156 + preflow_test.minMinCut(minmincut3);
4.157 + min_min_cut_value=cut_value(G,minmincut3,cap);
4.158 +
4.159 + preflow_test.maxMinCut(maxmincut);
4.160 + max_min_cut_value=cut_value(G,maxmincut,cap);
4.161 +
4.162 + check(preflow_test.flowValue() == min_cut_value &&
4.163 + min_cut_value == min_min_cut_value &&
4.164 + min_min_cut_value == max_min_cut_value,
4.165 + "The max flow value or the three min cut values are incorrect.");
4.166 +}
4.167 +
4.168 +
4.169 +