#BEGIN: [Mon Sep 4 15:10:22 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance037_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance037_graph003_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_instance037_graph003.col /benchmark/random_instance/random_instance037_graph003_01.dat c /benchmark/random_instance/random_instance037_graph003.col c /benchmark/random_instance/random_instance037_graph003_01.dat s 233 121 112 244 235 62 94 95 210 80 340 217 435 347 456 319 224 89 205 65 27 170 463 115 321 322 50 428 354 76 323 478 377 457 293 53 381 304 24 385 37 75 241 28 156 297 226 302 369 63 208 343 368 17 479 357 148 453 316 42 182 216 100 196 144 109 305 103 55 311 278 314 209 99 88 93 155 177 384 73 400 202 449 303 39 475 352 157 184 324 137 445 56 455 84 3 247 330 16 44 380 171 11 221 68 8 274 25 279 20 461 71 147 281 92 242 424 423 160 64 78 32 280 98 474 480 212 257 49 437 57 215 443 275 60 398 434 320 66 458 1 317 312 175 14 308 169 426 309 287 325 180 195 294 364 9 30 45 166 277 t 28 385 136 224 186 143 156 226 218 53 23 147 83 146 152 99 303 396 148 278 67 162 358 481 285 316 30 281 77 169 364 7 331 109 110 141 95 362 151 137 189 40 426 473 402 203 38 261 247 112 339 32 105 401 158 84 460 182 88 272 257 462 392 170 356 73 429 15 66 1 94 260 390 291 295 269 347 92 118 81 308 163 381 413 475 241 157 273 37 44 284 280 302 300 343 348 427 115 294 4 9 472 263 377 246 405 107 287 440 154 415 16 217 478 404 465 75 412 172 286 297 100 161 165 63 106 403 442 471 46 20 134 357 25 51 319 461 90 184 320 437 199 326 59 175 10 145 31 315 436 355 434 424 335 49 171 78 414 423 457 a YES a 1 3 8 9 11 14 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 155 156 157 160 166 169 170 171 175 177 180 182 184 195 196 202 205 208 209 210 212 215 216 217 221 224 226 233 235 241 242 244 247 257 274 275 277 278 279 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 357 364 368 369 377 380 381 384 385 398 400 423 424 426 428 434 435 437 443 445 449 453 455 456 457 458 461 463 474 475 478 479 480 a 1 3 8 9 11 14 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 160 166 169 170 171 175 177 180 182 184 195 196 202 205 208 209 210 212 215 216 217 221 224 226 233 235 241 242 244 247 257 274 275 277 278 279 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 357 364 368 369 377 380 381 384 385 398 400 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 463 474 475 478 479 480 a 1 3 8 9 11 14 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 205 208 209 210 212 215 216 217 221 224 226 233 235 241 242 244 247 257 274 275 277 278 279 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 357 364 368 369 377 380 381 384 385 398 400 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 463 474 475 478 480 a 1 3 8 9 11 14 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 205 208 209 210 212 215 216 217 221 224 226 233 235 241 242 244 247 257 274 275 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 356 357 364 368 369 377 380 381 384 385 398 400 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 463 474 475 478 480 a 1 3 8 9 11 14 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 205 208 209 210 212 215 216 217 221 224 226 233 235 241 242 244 247 257 274 275 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 356 357 364 368 369 377 380 381 384 385 398 400 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 474 475 478 480 a 1 3 8 9 11 14 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 205 208 209 210 212 215 216 217 218 221 224 226 233 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 356 357 364 368 369 377 380 381 384 385 398 400 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 474 475 478 480 a 1 3 8 9 11 14 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 205 208 209 210 212 215 216 217 218 221 224 226 233 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 356 357 364 368 369 377 380 381 384 385 390 398 400 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 474 475 478 a 1 3 8 9 11 14 15 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 208 209 210 212 215 216 217 218 221 224 226 233 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 356 357 364 368 369 377 380 381 384 385 390 398 400 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 474 475 478 a 1 3 8 9 11 14 15 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 208 209 210 212 215 216 217 218 221 224 226 233 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 356 357 364 369 377 380 381 384 385 390 398 400 405 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 474 475 478 a 1 3 8 9 11 14 15 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 208 209 210 212 215 216 217 218 221 224 226 233 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 343 347 352 354 356 357 364 369 377 380 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 474 475 478 a 1 3 8 9 11 14 15 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 208 209 210 212 215 216 217 218 221 224 226 233 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 465 474 475 478 a 1 3 8 9 11 14 15 16 17 20 24 25 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 203 208 209 210 212 215 216 217 218 221 224 226 233 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 465 474 475 478 a 1 3 8 9 11 14 15 16 17 20 23 24 25 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 203 208 209 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 465 474 475 478 a 1 3 8 9 11 14 15 16 17 20 23 24 25 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 141 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 203 208 209 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 465 474 475 478 a 1 3 8 9 11 14 15 16 17 20 23 24 25 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 203 208 209 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 465 475 478 a 1 3 8 9 11 14 15 16 17 20 23 24 25 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 78 80 84 88 89 92 93 94 95 98 99 100 103 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 203 208 209 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 465 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 78 80 84 88 89 92 93 94 95 98 99 100 103 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 202 203 208 209 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 465 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 78 80 84 88 89 92 93 94 95 98 99 100 103 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 209 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 453 455 456 457 458 461 462 465 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 103 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 209 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 443 449 455 456 457 458 461 462 465 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 209 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 440 443 449 455 456 457 458 461 462 465 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 352 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 428 434 435 437 440 443 449 455 456 457 458 461 462 465 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 427 428 434 435 437 440 443 449 455 456 457 458 461 462 465 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 107 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 427 428 434 435 437 440 443 449 455 457 458 461 462 465 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 107 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 322 323 324 325 330 343 347 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 427 428 434 437 440 443 449 455 457 458 461 462 465 471 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 107 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 322 323 324 325 330 343 347 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 427 428 434 437 440 443 449 455 457 458 461 462 465 471 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 343 347 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 427 428 434 437 440 443 449 455 457 458 461 462 465 471 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 121 137 141 144 147 148 151 155 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 335 343 347 354 356 357 364 369 377 381 384 385 390 398 400 405 413 423 424 426 427 428 434 437 440 443 455 457 458 461 462 465 471 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 335 343 347 354 356 357 364 369 377 381 384 385 390 398 400 405 412 413 423 424 426 427 428 434 437 440 443 455 457 458 461 462 465 471 475 478 a 1 3 8 9 11 14 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 335 343 347 354 356 357 364 369 377 381 384 385 390 398 400 405 412 413 423 424 426 427 434 437 440 443 455 457 458 461 462 465 471 475 478 481 a 1 3 8 9 11 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 50 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 400 405 412 413 423 424 426 427 434 437 440 443 455 457 458 461 462 465 471 475 478 481 a 1 3 8 9 11 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 247 257 260 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 400 405 412 413 423 424 426 427 434 437 440 443 455 457 458 461 462 465 471 475 478 481 a 1 3 8 9 11 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 400 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 8 9 11 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 53 55 57 60 62 63 64 65 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 8 9 11 15 16 17 20 23 25 28 30 32 37 39 42 44 45 49 53 55 57 60 62 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 274 277 278 280 281 284 287 293 294 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 8 9 11 15 16 17 20 23 25 28 30 32 37 42 44 45 49 53 55 57 60 62 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 274 277 278 280 281 284 287 293 294 295 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 8 9 11 15 16 17 20 23 25 28 30 32 37 42 44 45 49 53 55 57 62 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 274 277 278 280 281 284 287 293 294 295 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 8 9 11 15 16 17 20 23 25 28 30 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 121 137 141 144 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 274 277 278 280 281 284 287 293 294 295 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 8 9 11 15 16 17 20 23 25 28 30 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 121 137 141 145 147 148 151 156 157 158 160 161 166 169 170 171 175 177 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 274 277 278 280 281 284 287 293 294 295 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 4 8 9 11 15 16 17 20 23 25 28 30 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 121 137 141 145 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 274 277 278 280 281 284 287 293 294 295 297 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 4 8 9 11 15 16 17 20 23 25 28 30 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 121 137 141 145 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 287 293 294 295 297 300 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 4 8 9 11 15 16 17 20 23 25 28 30 31 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 287 293 294 295 297 300 302 303 305 308 309 311 312 314 315 316 317 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 475 478 481 a 1 3 4 8 9 11 15 16 17 20 23 25 28 30 31 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 287 293 294 295 297 300 302 303 305 308 309 311 312 314 315 316 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 384 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 473 475 478 481 a 1 3 4 8 9 11 15 16 17 20 23 25 28 30 31 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 195 196 199 202 203 208 210 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 287 293 294 295 297 300 302 303 305 308 309 311 312 314 315 316 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 195 196 199 202 203 208 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 287 293 294 295 297 300 302 303 305 308 309 311 312 314 315 316 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 89 92 93 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 195 196 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 305 308 309 311 312 314 315 316 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 45 46 49 53 55 57 63 64 66 68 71 73 75 77 78 80 84 88 92 93 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 189 195 196 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 305 308 309 311 312 314 315 316 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 45 46 49 53 55 57 59 63 64 66 68 71 73 75 77 78 80 84 88 92 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 189 195 196 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 305 308 309 311 312 314 315 316 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 443 457 458 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 45 46 49 53 55 57 59 63 64 66 68 71 73 75 77 78 80 83 84 88 92 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 189 195 196 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 305 308 309 311 312 314 315 316 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 457 458 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 45 46 49 53 55 57 59 63 64 66 68 71 73 75 77 78 80 83 84 88 92 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 175 180 182 184 189 195 196 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 309 311 312 314 315 316 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 55 57 59 63 64 66 68 71 73 75 77 78 80 83 84 88 92 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 195 196 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 309 311 312 314 315 316 319 320 323 324 325 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 55 57 59 63 64 66 68 71 73 75 77 78 80 83 84 88 90 92 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 195 196 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 309 311 312 314 315 316 319 320 323 324 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 55 57 59 63 64 66 68 71 73 75 77 78 80 83 84 88 90 92 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 195 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 309 311 312 314 315 316 319 320 323 324 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 398 403 405 412 413 423 424 426 427 434 437 440 442 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 55 57 59 63 64 66 68 71 73 75 77 78 80 83 84 88 90 92 94 95 98 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 195 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 309 311 312 314 315 316 319 320 323 324 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 403 405 412 413 423 424 426 427 434 437 440 442 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 55 57 59 63 64 66 68 71 73 75 77 78 80 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 195 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 309 311 312 314 315 316 319 320 323 324 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 403 405 412 413 423 424 426 427 434 437 440 442 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 55 57 59 63 64 66 68 71 73 75 77 78 80 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 309 311 312 314 315 316 319 320 323 324 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 403 405 412 413 414 423 424 426 427 434 437 440 442 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 57 59 63 64 66 68 71 73 75 77 78 80 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 309 311 312 314 315 316 319 320 323 324 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 57 59 63 64 66 68 71 73 75 77 78 80 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 330 335 343 347 354 355 356 357 364 369 377 381 385 390 392 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 57 59 63 64 66 68 71 73 75 77 78 80 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 343 347 354 355 356 357 364 369 377 381 385 390 392 396 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 11 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 59 63 64 66 68 71 73 75 77 78 80 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 343 347 354 355 356 357 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 59 63 64 66 68 71 73 75 77 78 80 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 343 347 354 355 356 357 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 458 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 53 59 63 64 66 68 71 73 75 77 78 80 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 160 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 343 347 354 355 356 357 358 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 51 53 59 63 64 66 68 71 73 75 77 78 80 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 343 347 354 355 356 357 358 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 3 4 8 9 10 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 51 53 59 63 64 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 343 347 354 355 356 357 358 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 8 9 10 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 51 53 59 63 64 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 277 278 280 281 284 286 287 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 339 343 347 354 355 356 357 358 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 8 9 10 15 16 17 20 23 25 28 30 31 32 37 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 277 278 280 281 284 286 287 291 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 339 343 347 354 355 356 357 358 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 189 199 202 203 212 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 278 280 281 284 286 287 291 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 339 343 347 354 355 356 357 358 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 189 199 202 203 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 286 287 291 293 294 295 297 300 302 303 308 311 312 314 315 316 319 320 323 324 326 335 339 343 347 354 355 356 357 358 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 189 199 202 203 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 323 324 326 335 339 343 347 354 355 356 357 358 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 186 189 199 202 203 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 323 324 326 335 339 343 347 355 356 357 358 364 369 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 186 189 199 202 203 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 323 324 326 335 339 343 347 355 356 357 358 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 186 189 199 202 203 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 324 326 335 339 343 347 355 356 357 358 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 186 189 199 202 203 215 216 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 355 356 357 358 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 154 156 157 158 161 166 169 170 171 172 175 180 182 184 186 189 199 202 203 215 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 152 154 156 157 158 161 169 170 171 172 175 180 182 184 186 189 199 202 203 215 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 68 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 152 154 156 157 158 161 169 170 171 172 175 180 182 184 186 189 199 203 215 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 152 154 156 157 158 161 165 169 170 171 172 175 180 182 184 186 189 199 203 215 217 218 221 224 226 235 241 242 244 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 152 154 156 157 158 161 165 169 170 171 172 175 180 182 184 186 189 199 203 215 217 218 221 224 226 235 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 17 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 180 182 184 186 189 199 203 215 217 218 224 226 235 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 473 475 478 481 a 1 4 7 8 9 10 15 16 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 180 182 184 186 189 199 203 215 217 218 224 226 235 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 8 9 10 15 16 20 23 25 28 30 31 32 37 40 42 44 46 49 51 53 59 63 66 67 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 137 141 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 180 182 184 186 189 199 203 215 217 218 224 226 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 8 9 10 15 16 20 23 25 28 30 31 32 37 40 44 46 49 51 53 59 63 66 67 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 136 137 141 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 180 182 184 186 189 199 203 215 217 218 224 226 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 312 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 8 9 10 15 16 20 23 25 28 30 31 32 37 40 44 46 49 51 53 59 63 66 67 71 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 136 137 141 143 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 180 182 184 186 189 199 203 215 217 218 224 226 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 8 9 10 15 16 20 23 25 28 30 31 32 37 38 40 44 46 49 51 53 59 63 66 67 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 136 137 141 143 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 180 182 184 186 189 199 203 215 217 218 224 226 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 314 315 316 319 320 326 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 8 9 10 15 16 20 23 25 28 30 31 32 37 38 40 44 46 49 51 53 59 63 66 67 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 136 137 141 143 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 182 184 186 189 199 203 215 217 218 224 226 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 314 315 316 319 320 326 331 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 9 10 15 16 20 23 25 28 30 31 32 37 38 40 44 46 49 51 53 59 63 66 67 73 75 77 78 81 83 84 88 90 92 94 95 99 100 106 107 109 110 112 115 118 134 136 137 141 143 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 182 184 186 189 199 203 215 217 218 224 226 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 314 315 316 319 320 326 331 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 415 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 9 10 15 16 20 23 25 28 30 31 32 37 38 40 44 46 49 51 53 59 63 66 67 73 75 77 78 81 83 84 88 90 92 94 95 99 100 105 106 107 109 110 112 115 118 134 136 137 141 143 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 182 184 186 189 199 203 215 217 218 224 226 241 242 246 247 257 260 261 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 315 316 319 320 326 331 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 415 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 9 10 15 16 20 23 25 28 30 31 32 37 38 40 44 46 49 51 53 59 63 66 67 73 75 77 78 81 83 84 88 90 92 94 95 99 100 105 106 107 109 110 112 115 118 134 136 137 141 143 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 182 184 186 189 199 203 217 218 224 226 241 242 246 247 257 260 261 263 269 272 273 278 280 281 284 285 286 287 291 293 294 295 297 300 302 303 308 315 316 319 320 326 331 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 402 403 404 405 412 413 414 415 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 9 10 15 16 20 23 25 28 30 31 32 37 38 40 44 46 49 51 53 59 63 66 67 73 75 77 78 81 83 84 88 90 92 94 95 99 100 105 106 107 109 110 112 115 118 134 136 137 141 143 145 146 147 148 151 152 154 156 157 158 161 163 165 169 170 171 172 175 182 184 186 189 199 203 217 218 224 226 241 242 246 247 257 260 261 263 269 272 273 278 280 281 284 285 286 287 291 294 295 297 300 302 303 308 315 316 319 320 326 331 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 401 402 403 404 405 412 413 414 415 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 a 1 4 7 9 10 15 16 20 23 25 28 30 31 32 37 38 40 44 46 49 51 53 59 63 66 67 73 75 77 78 81 83 84 88 90 92 94 95 99 100 105 106 107 109 110 112 115 118 134 136 137 141 143 145 146 147 148 151 152 154 156 157 158 161 162 163 165 169 170 171 172 175 182 184 186 189 199 203 217 218 224 226 241 246 247 257 260 261 263 269 272 273 278 280 281 284 285 286 287 291 294 295 297 300 302 303 308 315 316 319 320 326 331 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 401 402 403 404 405 412 413 414 415 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481 c Step: 88 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance037_graph003.col /benchmark/random_instance/random_instance037_graph003_01.dat" User time (seconds): 19.75 System time (seconds): 0.28 Percent of CPU this job got: 266% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:07.52 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): 457092 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 284962 Voluntary context switches: 18672 Involuntary context switches: 57 Swaps: 0 File system inputs: 0 File system outputs: 704 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:10:30 2023]