#BEGIN: [Mon Sep 4 15:10:11 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance035_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance035_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat c /benchmark/random_instance/random_instance035_graph005.col c /benchmark/random_instance/random_instance035_graph005_01.dat s 247 287 454 339 220 442 177 413 342 240 120 318 409 90 261 392 160 368 33 331 153 129 102 135 130 415 212 150 29 105 27 372 296 98 148 273 350 117 448 383 31 80 311 45 14 401 88 242 52 281 229 32 151 40 233 149 434 30 46 243 352 400 316 265 386 48 422 56 89 162 340 180 445 306 22 317 360 113 87 439 115 314 77 196 449 355 208 75 335 337 11 44 225 312 347 18 23 387 310 195 55 63 72 133 259 4 61 421 344 275 237 395 101 183 201 249 207 84 17 125 154 412 278 235 66 437 356 12 107 388 222 285 405 263 277 131 215 96 198 142 91 443 330 236 86 435 t 233 260 309 181 72 331 341 160 247 315 434 442 97 244 84 428 11 263 79 430 75 344 144 318 452 212 302 164 158 279 83 295 455 123 449 325 425 206 352 28 190 286 358 135 328 345 174 272 59 30 169 300 448 199 365 202 395 29 128 227 215 327 101 320 74 234 96 435 297 256 249 241 376 177 369 346 303 159 290 299 270 116 156 228 176 139 56 173 417 304 427 70 137 141 218 55 373 145 130 441 356 287 26 370 200 189 143 408 252 109 384 25 273 125 387 222 121 36 433 80 355 381 232 278 406 46 17 359 47 188 16 69 437 195 86 237 440 317 334 277 316 338 149 275 383 337 a YES a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 177 180 181 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 177 180 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 177 180 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 358 360 368 372 383 386 387 388 392 395 400 405 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 177 180 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 358 360 368 372 373 383 386 387 388 392 395 400 405 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 177 180 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 285 287 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 358 360 372 373 383 386 387 388 392 395 400 405 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 176 177 180 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 285 287 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 358 360 372 373 383 386 387 388 392 395 400 405 412 413 415 421 422 434 435 437 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 176 177 180 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 281 285 287 306 310 311 312 314 316 317 318 327 330 331 337 339 340 342 344 347 350 352 355 356 358 360 372 373 383 386 387 388 392 395 400 405 412 413 415 421 422 434 435 437 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 176 177 180 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 285 287 306 310 311 312 314 316 317 318 327 330 331 337 339 340 342 344 347 350 352 355 356 358 360 372 373 383 386 387 388 392 395 400 405 412 413 415 421 422 430 434 435 437 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 244 247 249 259 261 263 265 273 275 277 278 285 287 306 310 311 312 314 316 317 318 327 330 331 337 339 340 342 344 347 350 352 355 356 358 360 372 373 383 384 386 387 388 392 395 400 405 412 413 415 421 422 430 434 435 437 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 265 273 275 277 278 285 287 306 310 311 312 314 316 317 318 327 330 331 337 339 340 342 344 347 350 352 355 356 358 360 372 373 383 384 386 387 388 392 395 400 405 412 413 415 421 422 430 434 435 437 442 443 445 448 449 454 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 265 273 275 277 278 285 287 306 310 311 312 314 316 317 318 327 330 331 337 339 340 342 344 347 350 352 355 356 358 360 372 373 383 384 386 387 388 392 395 400 405 412 413 415 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 327 330 331 337 339 340 342 344 347 350 352 355 356 358 360 372 373 383 384 386 387 388 392 395 400 405 412 413 415 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 327 330 331 337 339 340 342 344 347 350 352 355 356 358 360 372 373 383 384 386 387 388 395 400 405 412 413 415 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 327 330 331 337 339 340 342 344 347 350 352 355 356 358 360 372 373 381 383 384 386 387 388 395 405 412 413 415 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 327 330 331 337 339 340 342 344 347 350 352 355 356 358 360 372 373 381 383 384 386 387 388 395 405 412 413 415 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 23 27 29 30 31 32 33 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 327 330 331 337 339 340 342 344 347 352 355 356 358 360 372 373 381 383 384 386 387 388 395 405 412 413 415 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 23 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 347 352 355 356 358 360 372 373 381 383 384 386 387 388 395 405 412 413 415 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 23 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 347 352 355 356 358 360 372 373 381 383 384 386 387 388 395 405 406 412 413 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 195 196 198 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 412 413 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 195 196 200 201 207 208 212 215 220 222 225 229 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 91 96 98 101 102 105 107 113 115 117 120 123 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 195 196 200 201 207 208 212 215 220 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 96 98 101 102 105 107 113 115 117 120 123 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 188 195 196 200 201 207 208 212 215 220 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 96 98 101 102 105 107 113 115 117 120 123 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 188 195 196 200 201 207 208 212 215 220 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 96 101 102 105 107 113 115 117 120 123 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 188 195 196 200 201 207 208 212 215 220 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 443 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 96 101 102 105 107 113 115 117 120 123 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 188 195 196 200 201 206 207 208 212 215 220 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 96 101 102 105 107 113 115 116 120 123 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 188 195 196 200 201 206 207 208 212 215 220 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 131 133 135 142 148 149 151 153 154 160 162 169 173 176 177 181 183 188 195 196 199 200 201 206 207 208 212 215 220 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 131 133 135 141 142 148 149 153 154 160 162 169 173 176 177 181 183 188 195 196 199 200 201 206 207 208 212 215 220 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 445 448 449 a 4 11 12 14 16 17 18 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 131 133 135 141 142 148 149 153 154 160 162 169 173 176 177 181 183 188 195 196 199 200 201 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 445 448 449 a 4 11 12 14 16 17 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 131 133 135 141 142 148 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 445 448 449 a 4 11 12 14 16 17 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 131 133 135 141 142 148 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 430 433 434 435 437 442 445 448 449 a 4 11 12 14 16 17 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 131 133 135 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 425 430 433 434 435 437 442 445 448 449 a 4 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 131 133 135 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 425 430 433 434 435 437 442 445 448 449 a 4 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 133 135 137 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 310 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 425 430 433 434 435 437 442 445 448 449 a 4 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 48 52 55 56 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 133 135 137 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 425 430 433 434 435 437 442 445 448 449 a 4 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 133 135 137 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 372 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 425 428 430 433 434 435 437 442 445 448 449 a 4 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 63 66 72 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 133 135 137 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 425 428 430 433 434 435 437 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 63 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 123 125 129 130 133 135 137 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 225 233 235 236 237 242 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 425 428 430 433 434 435 437 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 63 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 115 116 120 121 123 125 129 130 133 135 137 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 225 233 235 236 237 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 425 428 430 433 434 435 437 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 63 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 225 233 235 236 237 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 373 376 381 383 384 386 387 388 395 405 406 408 412 413 421 422 425 428 430 433 434 435 437 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 63 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 225 233 235 236 237 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 373 376 381 383 384 387 388 395 405 406 408 412 413 421 422 425 428 430 433 434 435 437 440 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 63 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 154 156 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 373 376 381 383 384 387 388 395 405 406 408 412 413 421 422 425 428 430 433 434 435 437 440 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 63 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 373 376 381 383 384 387 388 395 405 406 408 412 413 421 422 425 428 430 433 434 435 437 440 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 63 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 365 373 376 381 383 384 387 395 405 406 408 412 413 421 422 425 428 430 433 434 435 437 440 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 160 162 169 173 176 177 181 183 188 195 196 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 261 263 273 275 277 278 285 287 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 365 373 376 381 383 384 387 395 405 406 408 412 413 421 422 425 427 428 430 433 434 435 437 440 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 45 46 52 55 56 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 160 162 169 173 176 177 181 183 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 261 263 272 273 275 277 278 285 287 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 365 373 376 381 383 384 387 395 405 406 408 412 413 421 422 425 427 428 430 433 434 435 437 440 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 46 52 55 56 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 160 162 169 173 176 177 181 183 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 260 261 263 272 273 275 277 278 285 287 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 365 373 376 381 383 384 387 395 405 406 408 412 413 421 422 425 427 428 430 433 434 435 437 440 441 442 445 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 46 52 55 56 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 159 160 162 169 173 176 177 181 183 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 260 261 263 272 273 275 277 278 285 287 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 365 373 376 381 383 384 387 395 405 406 408 412 413 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 46 52 55 56 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 360 365 373 376 381 383 384 387 395 405 406 408 412 413 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 46 52 55 56 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 365 373 376 381 383 384 387 395 405 406 408 412 413 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 46 47 52 55 56 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 312 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 365 373 376 381 383 384 387 395 405 406 408 412 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 22 27 29 30 31 32 36 40 44 46 47 52 55 56 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 129 130 133 135 137 141 142 143 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 365 373 376 381 383 384 387 395 405 406 408 412 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 22 26 27 29 30 31 32 36 40 44 46 47 52 55 56 66 72 74 75 77 80 84 86 87 88 96 101 102 105 113 116 120 121 123 125 130 133 135 137 141 142 143 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 365 373 376 381 383 384 387 395 405 406 408 412 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 22 26 27 29 30 31 32 36 40 44 46 47 52 55 56 66 72 74 75 77 80 84 86 88 96 101 102 105 113 116 120 121 123 125 130 133 135 137 141 142 143 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 365 373 376 381 383 384 387 395 405 406 408 412 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 22 26 27 28 29 30 31 32 36 40 44 46 47 52 55 56 66 72 74 75 77 80 84 86 88 96 101 102 113 116 120 121 123 125 130 133 135 137 141 142 143 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 342 344 345 346 347 352 355 356 358 365 373 376 381 383 384 387 395 405 406 408 412 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 27 28 29 30 31 32 36 40 44 46 47 52 55 56 66 72 74 75 77 80 84 86 88 96 101 102 113 116 120 121 123 125 130 133 135 137 141 142 143 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 341 342 344 345 346 347 352 355 356 358 365 373 376 381 383 384 387 395 405 406 408 412 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 27 28 29 30 31 32 36 40 44 46 47 52 55 56 66 72 74 75 77 80 84 86 88 96 101 102 113 116 120 121 123 125 130 133 135 137 141 142 143 144 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 341 342 344 345 346 347 352 355 356 358 365 373 376 381 383 384 387 395 406 408 412 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 27 28 29 30 31 32 36 40 44 46 47 52 55 56 66 72 74 75 77 80 84 86 88 96 101 102 113 116 120 121 123 125 130 133 135 137 141 142 143 144 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 341 342 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 27 28 29 30 31 36 40 44 46 47 52 55 56 66 72 74 75 77 80 84 86 88 96 101 102 113 116 120 121 123 125 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 341 342 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 27 28 29 30 31 36 40 44 46 47 52 55 56 66 72 74 75 79 80 84 86 88 96 101 102 113 116 120 121 123 125 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 341 342 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 27 28 29 30 36 40 44 46 47 52 55 56 66 72 74 75 79 80 84 86 88 96 101 102 109 113 116 120 121 123 125 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 341 342 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 28 29 30 36 40 44 46 47 52 55 56 66 72 74 75 79 80 84 86 88 96 101 102 109 113 116 120 121 123 125 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 235 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 341 342 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 28 29 30 36 40 44 46 47 52 55 56 66 72 74 75 79 80 84 86 88 96 101 102 109 113 116 120 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 340 341 342 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 28 29 30 36 40 44 46 47 52 55 56 66 72 74 75 79 80 84 86 88 96 101 102 109 113 116 120 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 164 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 330 331 337 339 341 342 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 28 29 30 36 40 44 46 47 52 55 56 66 72 74 75 79 80 84 86 88 96 101 102 109 113 116 120 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 164 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 337 339 341 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 422 425 427 428 430 433 434 435 437 440 441 442 448 449 a 11 12 16 17 26 28 29 30 36 40 44 46 47 52 55 56 66 72 74 75 79 80 84 86 88 96 101 102 109 113 116 120 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 164 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 337 339 341 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 52 55 56 66 72 74 75 79 80 84 86 88 96 101 102 109 113 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 164 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 339 341 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 52 55 56 72 74 75 79 80 84 86 88 96 101 102 109 113 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 164 169 173 176 177 181 188 195 199 200 201 202 206 207 208 212 215 218 222 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 339 341 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 55 56 72 74 75 79 80 84 86 88 96 101 102 109 113 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 164 169 173 176 177 181 188 190 195 199 200 201 202 206 207 208 212 215 218 222 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 339 341 344 345 346 347 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 55 56 72 74 75 79 80 83 84 86 88 96 101 102 109 113 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 164 169 173 176 177 181 188 190 195 199 200 201 202 206 207 208 212 215 218 222 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 339 341 344 345 346 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 55 56 70 72 74 75 79 80 83 84 86 88 96 101 102 109 113 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 164 169 173 176 177 181 188 190 195 199 200 201 202 206 207 208 212 215 218 222 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 55 56 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 153 156 158 159 160 162 164 169 173 176 177 181 188 190 195 199 200 201 202 206 207 208 212 215 218 222 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 55 56 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 190 195 199 200 201 202 206 207 208 212 215 218 222 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 285 287 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 55 56 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 190 195 199 200 201 202 206 207 208 212 215 218 222 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 287 290 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 55 56 59 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 190 195 199 200 201 202 206 208 212 215 218 222 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 287 290 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 421 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 12 16 17 26 28 29 30 36 40 44 46 47 55 56 59 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 190 195 199 200 201 202 206 208 212 215 218 222 232 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 287 290 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 12 16 17 26 28 29 30 36 44 46 47 55 56 59 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 190 195 199 200 201 202 206 208 212 215 218 222 227 232 233 234 236 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 287 290 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 12 16 17 26 28 29 30 36 44 46 47 55 56 59 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 142 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 201 202 206 208 212 215 218 222 227 232 233 234 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 287 290 297 299 302 303 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 12 16 17 26 28 29 30 36 44 46 47 55 56 59 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 201 202 206 208 212 215 218 222 227 232 233 234 237 241 243 244 247 249 252 259 260 261 263 272 273 275 277 278 287 290 297 299 302 303 304 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 12 16 17 25 26 28 29 30 36 44 46 47 55 56 59 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 201 202 206 208 212 215 218 222 227 232 233 234 237 241 243 244 247 249 252 259 260 263 272 273 275 277 278 287 290 297 299 302 303 304 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 12 16 17 25 26 28 29 30 36 44 46 47 55 56 59 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 201 202 206 208 212 215 218 222 227 232 233 234 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 287 290 297 299 302 303 304 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 12 16 17 25 26 28 29 30 36 44 46 47 55 56 59 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 201 202 206 212 215 218 222 227 232 233 234 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 297 299 302 303 304 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 101 102 109 116 121 123 125 128 130 133 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 201 202 206 212 215 218 222 227 232 233 234 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 297 299 302 303 304 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 133 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 201 202 206 212 215 218 222 227 232 233 234 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 297 299 300 302 303 304 306 309 311 314 315 316 317 318 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 133 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 201 202 206 212 215 218 222 227 232 233 234 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 297 299 300 302 303 304 309 311 314 315 316 317 318 320 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 133 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 297 299 300 302 303 304 309 311 314 315 316 317 318 320 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 297 299 300 302 303 304 309 311 314 315 316 317 318 320 325 327 328 330 331 334 337 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 297 299 300 302 303 304 309 314 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 243 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 297 299 300 302 303 304 309 314 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 297 299 300 302 303 304 309 314 315 316 317 318 320 325 327 328 330 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 44 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 314 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 102 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 260 263 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 314 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 314 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 c Step: 94 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat" User time (seconds): 25.24 System time (seconds): 0.43 Percent of CPU this job got: 273% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.38 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 453576 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 306363 Voluntary context switches: 16551 Involuntary context switches: 73 Swaps: 0 File system inputs: 0 File system outputs: 696 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:10:21 2023]