#BEGIN: [Tue Sep 26 03:09:21 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: shortest-cpu-banbaralab2-shortest1
#INSTANCE1: /benchmark/random_instance/random_instance038_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance038_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance038_graph002.col /benchmark/random_instance/random_instance038_graph002_01.dat
c /benchmark/random_instance/random_instance038_graph002.col
c /benchmark/random_instance/random_instance038_graph002_01.dat
s 320 153 99 398 251 383 434 160 124 252 357 89 406 370 440 248 184 353 431 444 374 83 51 237 288 259 450 437 223 343 277 454 97 16 306 272 224 269 122 268 59 377 50 147 369 327 420 198 79 449 152 474 461 355 180 137 255 258 146 207 100 170 105 61 486 15 181 264 278 104 381 332 494 466 271 36 290 19 233 159 402 213 217 421 229 475 157 175 305 201 281 349 297 115 133 244 235 134 376 148 411 12 442 13 23 363 49 45 14 169 48 477 393 492 280 161 240 211 128 126 116 364 282 149 328 330 253 98 218 196 231 21 396 439 135 334 246 319 415 339 382 294 91 448 139 190 470 163 7 324 179 238 307 342 489 257 321 9 162 433 416
t 299 428 6 26 47 390 63 452 50 94 151 291 358 450 198 483 4 395 279 296 357 449 246 155 132 176 67 156 119 7 138 89 142 413 349 235 129 304 467 475 164 56 331 422 281 131 387 461 453 108 115 472 315 455 82 398 370 396 48 383 488 208 319 414 59 55 5 175 294 256 303 112 133 2 158 173 347 263 134 489 251 310 267 448 139 214 144 376 265 367 80 105 424 259 116 8 426 191 201 278 199 32 474 227 372 71 72 161 238 53 427 79 343 257 407 377 252 135 305 69 394 272 188 38 229 98 418 96 275 371 282 224 154 128 287 484 351 60 268 192 307 312 21 405 186 207 165 179 322 126 264 29 416 365 348 245 437 269 479 297 286
a YES
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 328 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 175 179 180 181 184 188 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 328 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 175 179 180 181 184 188 190 196 198 201 207 211 213 214 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 328 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 175 179 180 181 184 188 190 196 198 201 207 211 213 214 217 218 223 224 229 231 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 175 179 180 181 184 188 190 196 198 201 207 211 213 214 217 218 223 224 229 231 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 330 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 467 470 474 475 477 486 489 492 494
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 175 179 180 181 184 188 190 196 198 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 467 470 474 475 477 486 489 492 494
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 163 169 175 179 180 181 184 188 190 196 198 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 387 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 467 470 474 475 477 486 489 492 494
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 169 175 179 180 181 184 188 190 196 198 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 387 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 467 470 474 475 477 486 489 492 494
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 169 175 179 180 181 184 188 190 196 198 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 467 470 474 475 477 486 489 492 494
a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 169 175 179 180 181 184 188 190 196 198 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 36 45 48 49 50 51 55 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 169 175 179 180 181 184 188 190 196 198 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 36 45 48 49 50 51 55 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 169 175 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 36 45 48 49 50 55 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 169 175 176 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 36 45 48 49 50 55 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 175 176 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 411 415 416 420 421 431 433 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 36 45 48 49 50 55 59 61 79 83 89 91 97 98 99 100 104 105 115 116 119 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 175 176 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 327 328 334 339 342 343 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 415 416 420 421 431 433 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 36 45 48 49 50 55 59 61 79 83 89 91 97 98 99 100 104 105 115 116 119 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 175 176 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 415 416 420 421 431 433 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 36 45 48 49 50 55 59 61 79 83 89 91 97 98 99 100 104 105 115 116 119 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 175 176 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 415 416 420 421 431 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 29 36 45 48 49 50 55 59 61 79 83 89 91 97 98 99 100 105 115 116 119 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 175 176 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 415 416 420 421 431 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 100 105 115 116 119 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 163 175 176 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 415 416 420 421 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 100 105 115 116 119 122 124 126 128 129 132 133 134 135 137 139 146 147 148 153 157 159 160 161 163 175 176 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 415 416 420 421 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 100 105 115 116 119 122 124 126 128 129 132 133 134 135 137 139 146 147 148 153 157 159 160 161 163 175 176 179 180 181 184 188 190 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 237 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 414 416 420 421 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 100 105 115 116 119 122 124 126 128 129 132 133 134 135 137 139 146 147 148 153 157 159 160 161 163 175 176 179 180 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 229 233 235 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 280 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 414 416 420 421 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 100 105 115 116 119 122 124 126 128 129 132 133 134 135 137 139 146 147 148 153 157 159 160 161 163 175 176 179 180 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 414 416 420 421 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 100 105 115 116 119 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 175 176 179 180 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 407 414 416 420 421 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 105 115 116 119 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 180 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 355 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 407 414 416 420 421 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 105 115 116 119 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 180 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 407 414 416 420 421 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 105 115 116 119 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 357 363 364 365 369 370 374 376 377 381 382 383 387 393 396 398 402 405 407 414 416 420 421 424 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 48 49 50 53 55 59 61 79 83 89 91 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 255 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 357 363 364 365 369 370 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 420 421 424 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 79 83 89 91 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 357 363 364 365 369 370 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 420 421 424 434 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 79 83 89 91 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 357 358 363 364 365 369 370 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 420 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 67 79 83 89 91 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 181 184 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 357 358 363 365 369 370 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 420 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 67 79 83 89 91 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 181 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 246 248 251 252 253 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 306 307 319 320 321 324 328 334 339 342 343 347 349 353 357 358 363 365 369 370 372 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 420 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 67 79 83 89 91 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 181 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 244 245 246 248 251 252 253 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 307 319 320 321 324 328 334 339 342 343 347 349 353 357 358 363 365 369 370 372 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 420 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 163 165 175 176 179 181 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 307 319 320 321 324 328 334 339 342 343 347 349 353 357 358 363 365 369 370 372 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 420 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 154 157 159 160 161 163 165 175 176 179 181 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 258 259 263 264 268 269 271 272 278 281 282 288 290 294 297 304 305 307 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 420 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 154 157 159 160 161 163 165 175 176 179 181 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 258 259 263 264 265 268 269 271 272 278 281 282 288 290 294 297 304 305 307 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 154 157 159 160 161 163 165 175 176 179 181 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 278 281 282 288 290 294 297 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 374 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 15 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 278 281 282 288 290 294 297 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 278 281 282 286 288 290 294 297 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 382 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 63 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 188 190 191 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 278 281 282 286 288 290 294 297 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 7 9 12 13 14 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 63 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 188 190 191 192 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 278 281 282 286 290 294 297 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 6 7 9 12 13 14 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 63 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 188 190 191 192 196 198 199 201 207 208 211 213 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 278 281 282 286 290 294 297 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 6 7 9 12 13 14 16 19 21 26 29 36 45 47 48 49 50 53 55 59 61 63 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 278 281 282 286 290 294 297 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 223 224 227 229 233 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 278 281 282 286 290 294 297 299 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 233 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 278 281 282 286 290 294 297 299 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 275 278 281 282 286 290 294 297 299 304 305 307 310 319 320 321 324 328 334 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 383 387 393 394 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 83 89 91 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 275 278 281 282 286 290 294 297 299 304 305 307 310 319 320 321 324 328 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 383 387 393 394 395 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 454 461 466 467 470 474 475 477 486 488 489 492 494
a 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 275 278 281 282 286 290 294 297 299 304 305 307 310 319 320 321 324 328 339 343 347 349 353 357 358 363 365 369 370 372 376 377 381 383 387 393 394 395 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 486 488 489 492 494
a 2 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 275 278 281 282 286 290 294 297 299 304 305 307 310 319 320 321 324 328 339 343 347 349 353 357 358 363 365 369 370 372 376 377 383 387 393 394 395 396 398 402 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 486 488 489 492 494
a 2 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 148 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 319 320 321 324 328 339 343 347 349 353 357 358 363 365 369 370 372 376 377 383 387 393 394 395 396 398 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 486 488 489 492 494
a 2 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 319 320 321 324 328 339 343 347 349 353 357 358 363 365 369 370 372 376 377 383 387 393 394 395 396 398 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 486 488 489 492 494
a 2 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 154 157 158 159 160 161 163 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 253 257 259 263 264 265 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 319 321 324 328 339 343 347 349 353 357 358 363 365 369 370 372 376 377 383 387 393 394 395 396 398 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 154 157 158 159 160 161 163 164 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 319 321 324 328 339 343 347 349 353 357 358 363 365 369 370 372 376 377 383 387 393 394 395 396 398 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 12 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 154 157 158 159 160 161 163 164 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 319 321 324 328 339 343 347 349 351 353 357 358 363 365 370 372 376 377 383 387 393 394 395 396 398 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 154 157 158 159 160 161 163 164 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 319 321 324 328 339 343 347 349 351 353 357 358 363 365 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 146 147 154 157 158 159 160 161 163 164 165 175 176 179 181 186 188 190 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 319 321 324 328 339 343 347 349 351 357 358 363 365 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 144 146 147 154 157 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 319 321 324 328 339 343 347 349 351 357 358 363 365 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 421 424 437 439 440 444 448 449 450 453 454 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 144 146 147 154 157 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 319 321 324 328 339 343 347 349 351 357 358 363 365 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 424 437 439 440 444 448 449 450 453 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 157 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 312 319 321 324 328 339 343 347 349 351 357 358 363 365 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 424 437 439 440 444 448 449 450 453 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 271 272 275 278 279 281 282 286 290 294 297 299 304 305 307 310 312 319 321 324 328 339 343 347 349 351 357 358 363 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 424 437 439 440 444 448 449 450 453 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 13 14 16 19 21 26 29 36 47 48 49 50 53 55 59 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 271 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 319 321 324 328 339 343 347 349 351 357 358 363 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 424 437 439 440 448 449 450 453 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 14 16 19 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 271 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 319 321 324 328 339 343 347 349 351 357 358 363 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 424 437 439 440 448 449 450 453 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 14 16 19 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 97 98 99 105 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 319 321 324 328 339 343 347 348 349 351 357 358 363 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 424 437 439 440 448 449 450 453 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 14 16 19 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 98 99 105 115 116 119 124 126 128 129 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 319 321 324 328 339 343 347 348 349 351 357 358 363 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 424 437 439 440 448 449 450 453 461 466 467 470 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 14 16 19 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 98 105 115 116 119 124 126 128 129 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 319 321 324 328 339 343 347 348 349 351 357 358 363 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 424 437 439 440 448 449 450 453 461 466 467 470 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 14 16 19 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 98 105 115 116 119 124 126 128 129 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 319 321 324 328 339 343 347 348 349 351 357 358 363 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 422 424 437 439 440 448 449 450 453 461 466 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 14 16 19 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 98 105 115 116 119 124 126 128 129 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 248 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 319 321 324 328 331 339 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 422 424 437 439 440 448 449 450 453 461 466 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 14 16 19 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 98 105 115 116 119 124 126 128 129 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 321 324 328 331 339 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 414 416 418 421 422 424 437 439 440 448 449 450 453 461 466 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 14 16 19 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 98 105 115 116 119 124 126 128 129 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 321 324 328 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 453 461 466 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 9 14 16 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 211 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 321 324 328 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 453 461 466 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 8 9 14 16 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 321 324 328 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 453 461 466 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 8 9 14 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 79 80 83 89 94 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 321 324 328 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 461 466 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 8 9 14 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 71 79 80 83 89 94 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 321 328 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 461 466 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 8 9 14 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 71 79 80 83 89 94 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 321 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 461 466 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 8 9 14 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 69 71 79 80 83 89 94 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 321 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 461 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 8 9 14 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 69 71 79 80 83 89 94 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 461 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 8 9 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 69 71 79 80 83 89 94 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 486 488 489 492 494
a 2 4 6 7 8 9 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 69 71 79 80 83 89 94 96 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 154 158 159 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 486 488 489 492
a 2 4 6 7 8 9 21 26 29 36 47 48 49 50 53 55 59 60 61 63 67 69 71 79 80 83 89 94 96 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 154 155 158 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 486 488 489 492
a 2 4 6 7 8 9 21 26 29 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 83 89 94 96 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 158 160 161 163 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 486 488 489 492
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 83 89 94 96 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 158 160 161 164 165 175 176 179 181 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 486 488 489 492
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 83 89 94 96 98 105 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 158 160 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 427 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 486 488 489 492
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 89 94 96 98 105 112 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 158 160 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 290 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 427 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 486 488 489 492
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 89 94 96 98 105 112 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 158 160 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 217 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 427 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 484 486 488 489 492
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 89 94 96 98 105 112 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 160 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 427 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 484 486 488 489 492
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 82 89 94 96 98 105 112 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 160 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 427 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 484 486 488 489
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 82 89 94 96 98 105 112 115 116 119 124 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 291 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 427 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 484 486 488 489
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 291 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 427 437 439 440 448 449 450 452 453 455 461 467 472 474 475 477 483 484 486 488 489
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 427 437 439 440 448 449 450 452 453 455 461 467 472 474 475 483 484 486 488 489
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 393 394 395 396 398 405 407 413 414 416 418 421 422 424 427 437 439 440 448 449 450 452 453 455 461 467 472 474 475 483 484 488 489
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 218 224 227 229 235 238 245 246 251 252 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 395 396 398 405 407 413 414 416 418 421 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 483 484 488 489
a 2 4 6 7 8 9 21 26 29 32 36 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 395 396 398 405 407 413 414 416 418 421 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 483 484 488 489
a 2 4 5 6 7 8 9 21 26 29 32 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 175 176 179 186 188 191 192 196 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 395 396 398 405 407 413 414 416 418 421 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 483 484 488 489
a 2 4 5 6 7 8 9 21 26 29 32 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 395 396 398 405 407 413 414 416 418 421 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 483 484 488 489
a 2 4 5 6 7 8 9 21 26 29 32 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 395 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 483 484 488 489
a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 395 396 398 405 407 413 414 416 418 422 424 427 428 437 440 448 449 450 452 453 455 461 467 472 474 475 483 484 488 489
a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 390 394 395 396 398 405 407 413 414 416 418 422 424 427 428 437 448 449 450 452 453 455 461 467 472 474 475 483 484 488 489
a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 390 394 395 396 398 405 407 413 414 416 418 422 424 426 427 428 437 448 449 450 452 453 455 461 467 472 474 475 483 484 488 489
a 2 4 5 6 7 8 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 390 394 395 396 398 405 407 413 414 416 418 422 424 426 427 428 437 448 449 450 452 453 455 461 467 472 474 475 479 483 484 488 489
a 2 4 5 6 7 8 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 72 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 390 394 395 396 398 405 407 413 414 416 418 422 424 426 427 428 437 448 449 450 452 453 455 461 467 472 474 475 479 483 484 488 489
c Step: 99
	Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance038_graph002.col /benchmark/random_instance/random_instance038_graph002_01.dat"
	User time (seconds): 6.17
	System time (seconds): 0.31
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.50
	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): 203052
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 280982
	Voluntary context switches: 15
	Involuntary context switches: 40
	Swaps: 0
	File system inputs: 0
	File system outputs: 784
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 26 03:09:28 2023]