#BEGIN: [Mon Sep 4 12:42:13 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance038_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance038_graph004_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_graph004.col /benchmark/random_instance/random_instance038_graph004_01.dat c /benchmark/random_instance/random_instance038_graph004.col c /benchmark/random_instance/random_instance038_graph004_01.dat s 420 241 227 476 27 89 54 162 325 455 133 218 143 446 33 158 144 369 368 300 472 240 382 178 438 242 220 70 20 130 248 316 376 250 340 292 238 418 485 285 350 323 398 448 95 336 266 295 10 137 363 26 478 417 296 2 299 407 324 74 466 83 344 42 199 471 494 278 175 151 304 243 244 361 479 454 121 51 379 236 393 449 77 4 120 9 269 337 15 276 226 389 57 134 346 156 322 237 359 415 25 32 205 78 357 34 210 328 107 453 355 21 202 372 3 174 406 104 24 229 159 360 298 115 493 255 233 421 197 36 293 81 126 46 132 110 259 155 436 195 401 245 329 272 186 190 212 317 67 142 287 463 391 58 486 116 428 395 384 88 319 128 t 99 333 209 28 9 375 107 207 225 138 280 36 179 416 473 332 17 292 188 41 464 244 91 252 455 2 331 287 203 349 82 115 32 4 92 276 389 148 201 251 386 30 110 421 160 192 285 170 182 254 381 348 307 390 240 342 318 1 488 423 96 93 46 136 341 100 357 475 48 65 272 190 364 322 303 368 189 90 229 144 206 313 21 283 198 295 72 80 288 155 291 472 393 422 187 378 186 121 474 233 39 3 88 404 447 309 470 69 300 51 476 130 463 180 234 398 109 211 360 411 134 151 49 25 311 119 376 241 356 258 106 388 352 24 143 439 486 197 417 480 371 363 493 149 374 78 11 55 213 358 40 428 57 459 16 243 104 105 485 492 490 324 a YES a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 329 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 488 493 494 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 329 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 488 493 494 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 329 331 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 57 58 67 70 74 77 78 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 329 331 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 57 58 67 70 74 77 78 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 329 331 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 57 58 67 70 74 77 78 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 311 316 317 319 322 324 325 329 331 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 57 58 67 70 74 77 78 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 311 316 317 319 322 324 325 329 331 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 311 316 317 319 322 324 325 329 331 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 438 446 448 453 454 455 463 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 446 448 453 454 455 463 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 92 95 104 107 110 115 116 120 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 336 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 446 448 453 454 455 463 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 92 95 104 107 110 115 116 120 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 406 407 415 417 418 420 421 422 428 436 446 448 453 454 455 463 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 92 95 104 107 110 115 116 120 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 446 448 453 454 455 463 471 472 476 478 479 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 104 107 110 115 116 120 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 446 448 453 454 455 463 471 472 476 478 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 104 107 110 115 116 120 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 446 447 448 453 455 463 471 472 476 478 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 446 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 382 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 30 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 2 3 4 9 10 15 20 21 24 25 26 27 30 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 319 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 2 3 4 9 15 20 21 24 25 26 27 30 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 318 319 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 2 3 4 9 15 20 21 24 25 26 27 30 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 178 186 190 192 197 199 202 205 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 318 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 2 3 4 9 15 20 21 24 25 26 27 30 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 156 158 159 162 174 175 186 190 192 197 199 202 205 206 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 318 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 2 3 4 9 15 20 21 24 25 26 27 30 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 158 159 162 174 175 180 186 190 192 197 199 202 205 206 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 318 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 368 369 372 376 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 2 3 4 9 15 20 21 24 25 26 27 30 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 158 159 162 174 175 180 186 190 192 197 199 202 205 206 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 318 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 376 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 15 20 21 24 25 26 27 30 32 33 34 36 39 42 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 158 162 174 175 180 186 190 192 197 199 202 205 206 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 318 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 376 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 15 20 21 24 25 26 27 30 32 33 34 36 39 46 51 57 67 70 74 77 78 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 158 162 170 174 175 180 186 190 192 197 199 202 205 206 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 318 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 376 384 386 389 391 393 395 398 401 404 406 407 417 418 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 15 20 21 24 25 26 27 30 32 33 34 36 39 46 51 57 67 70 74 77 78 80 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 158 162 170 174 175 180 186 190 192 197 199 202 205 206 210 212 218 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 318 322 324 325 329 331 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 376 384 386 389 391 393 395 398 401 404 406 407 417 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 15 20 21 24 25 26 27 30 32 33 34 36 39 46 51 57 67 70 74 77 78 80 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 158 162 170 174 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 316 317 318 322 324 325 329 331 332 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 376 384 386 389 391 393 395 398 401 404 406 407 417 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 15 20 21 24 25 26 27 30 32 33 36 39 46 51 57 67 70 74 77 78 80 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 158 162 170 174 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 325 329 331 332 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 376 384 386 389 391 393 395 398 401 404 406 407 417 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 46 51 57 67 70 74 77 78 80 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 158 162 170 174 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 325 329 331 332 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 376 384 386 389 391 393 395 398 404 406 407 417 420 421 422 428 436 447 448 453 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 77 78 80 81 83 88 89 90 91 92 95 100 104 107 110 115 116 121 126 128 130 132 134 137 138 142 143 144 148 151 155 158 162 170 174 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 325 329 331 332 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 376 384 386 389 391 393 395 398 404 406 407 417 420 421 422 428 436 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 77 78 80 81 83 88 89 90 91 92 95 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 151 155 158 162 170 174 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 325 329 331 332 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 376 384 386 389 391 393 395 398 404 406 407 417 420 421 422 428 436 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 77 78 80 81 88 89 90 91 92 95 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 151 155 158 162 170 174 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 325 329 331 332 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 417 420 421 422 428 436 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 77 78 80 81 88 89 90 91 92 95 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 174 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 325 329 331 332 337 340 342 344 346 350 355 357 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 77 78 80 81 88 89 90 91 92 95 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 325 329 331 332 337 340 342 344 346 350 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 77 78 80 81 88 89 90 91 92 95 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 325 329 331 332 337 340 342 346 350 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 78 80 81 88 89 90 91 92 95 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 190 192 197 199 202 205 206 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 325 329 331 332 337 340 342 346 350 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 78 80 81 88 89 90 91 92 95 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 190 192 197 199 202 205 206 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 292 293 295 296 298 299 300 303 304 311 313 316 317 318 322 324 329 331 332 337 340 342 346 350 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 78 80 81 88 89 90 91 92 95 99 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 190 192 197 199 202 205 206 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 292 293 295 296 298 299 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 350 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 70 74 78 80 81 88 89 90 91 92 95 99 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 292 293 295 296 298 299 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 350 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 220 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 292 293 295 296 298 299 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 350 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 291 292 293 295 296 298 299 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 350 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 291 292 293 295 296 298 299 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 291 292 293 295 296 298 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 349 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 254 255 258 259 266 269 272 276 283 285 287 291 292 295 296 298 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 349 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 470 471 472 474 476 478 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 251 254 255 258 259 266 269 272 276 283 285 287 291 292 295 296 298 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 349 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 470 471 472 474 476 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 251 254 255 258 259 266 272 276 283 285 287 291 292 295 296 298 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 349 355 357 358 359 360 361 363 364 368 372 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 470 471 472 474 476 485 486 488 493 a 1 2 3 4 9 11 15 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 245 248 250 251 254 255 258 259 266 272 276 283 285 287 291 292 295 296 298 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 349 355 357 358 359 360 361 363 364 368 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 470 471 472 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 248 250 251 254 255 258 259 266 272 276 283 285 287 291 292 295 296 298 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 349 355 357 358 359 360 361 363 364 368 374 376 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 448 455 463 470 471 472 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 199 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 248 250 251 254 255 258 259 266 272 276 283 285 287 291 292 295 296 298 300 303 311 313 316 317 318 322 324 329 331 332 337 340 342 346 349 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 455 463 470 471 472 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 202 206 210 212 225 226 229 233 236 237 238 240 241 242 243 244 248 250 251 254 255 258 259 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 342 346 349 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 455 463 470 471 472 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 202 206 210 212 225 226 229 233 237 238 240 241 242 243 244 248 250 251 254 255 258 259 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 342 346 349 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 455 463 470 471 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 137 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 202 206 210 212 225 226 229 233 237 238 240 241 242 243 244 248 250 251 254 255 258 259 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 342 349 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 455 463 470 471 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 70 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 198 202 206 210 212 225 226 229 233 237 238 240 241 242 243 244 248 250 251 254 255 258 259 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 342 349 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 455 463 470 471 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 198 202 206 210 212 225 226 229 233 237 238 240 241 242 243 244 248 250 251 254 255 258 259 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 342 348 349 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 455 463 470 471 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 198 202 206 210 212 225 226 229 233 237 238 240 241 242 243 244 248 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 341 342 348 349 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 455 463 470 471 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 158 162 170 175 180 186 189 190 192 197 198 202 206 210 212 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 417 420 421 422 428 447 455 463 470 471 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 162 170 175 180 186 189 190 192 197 198 202 206 210 212 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 416 417 420 421 422 428 447 455 463 470 471 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 162 170 175 180 186 189 190 192 197 198 202 206 210 211 212 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 395 398 404 406 407 411 416 417 420 421 422 428 447 455 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 175 180 186 189 190 192 197 198 202 206 210 211 212 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 398 404 406 407 411 416 417 420 421 422 428 447 455 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 202 206 210 211 212 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 340 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 398 404 406 407 411 416 417 420 421 422 428 447 455 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 202 206 210 211 212 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 398 404 406 407 411 416 417 420 421 422 428 447 455 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 202 206 210 211 212 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 316 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 398 404 406 407 411 416 417 421 422 428 447 455 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 89 90 91 92 99 100 104 105 106 107 109 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 202 206 210 211 212 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 398 404 406 407 411 416 417 421 422 428 447 455 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 90 91 92 99 100 104 105 106 107 109 110 115 116 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 202 206 210 211 212 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 376 378 384 386 389 391 393 398 404 406 407 411 416 417 421 422 428 447 455 459 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 67 69 74 78 80 81 88 90 91 92 99 100 104 105 106 107 109 110 115 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 202 206 210 211 212 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 359 360 361 363 364 368 374 375 376 378 384 386 389 391 393 398 404 406 407 411 416 417 421 422 428 447 455 459 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 65 67 69 74 78 80 81 88 90 91 92 99 100 104 105 106 107 109 110 115 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 202 206 210 211 212 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 360 361 363 364 368 374 375 376 378 384 386 389 391 393 398 404 406 407 411 416 417 421 422 428 447 455 459 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 26 27 30 32 33 36 39 40 41 46 49 51 57 65 67 69 74 78 80 81 88 90 91 92 99 100 104 105 106 107 109 110 115 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 206 210 211 212 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 360 361 363 364 368 374 375 376 378 384 386 389 391 393 398 404 406 407 411 416 417 421 422 428 447 455 459 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 49 51 57 65 67 69 74 78 80 81 88 90 91 92 99 100 104 105 106 107 109 110 115 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 206 210 211 212 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 407 411 416 417 421 422 428 447 455 459 463 470 472 473 474 476 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 49 51 57 65 67 69 74 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 206 210 211 212 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 407 411 416 417 421 422 428 447 455 459 463 470 472 473 474 476 480 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 49 51 57 65 67 69 74 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 206 210 211 213 225 226 229 233 237 238 240 241 242 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 407 411 416 417 421 422 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 49 51 57 65 67 69 74 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 206 210 211 213 225 226 229 233 237 238 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 355 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 407 411 416 417 421 422 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 49 51 57 65 67 69 74 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 206 210 211 213 225 226 229 233 234 237 238 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 407 411 416 417 421 422 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 74 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 206 210 211 213 225 226 229 233 234 237 238 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 296 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 411 416 417 421 422 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 74 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 128 130 132 134 136 138 142 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 203 206 210 211 213 225 226 229 233 234 237 238 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 411 416 417 421 422 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 74 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 128 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 186 189 190 192 197 198 201 203 206 210 211 213 225 226 229 233 234 237 238 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 411 416 417 421 422 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 128 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 210 211 213 225 226 229 233 234 237 238 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 411 416 417 421 422 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 210 211 213 225 226 229 233 234 237 238 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 337 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 210 211 213 225 226 229 233 234 237 238 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 492 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 391 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 207 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 266 272 276 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 33 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 207 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 15 16 17 20 21 24 25 27 30 32 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 207 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 15 16 17 21 24 25 27 30 32 36 39 40 41 46 48 49 51 57 65 67 69 78 80 82 88 90 91 92 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 15 16 17 21 24 25 27 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 15 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 162 170 180 182 186 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 303 307 311 313 317 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 384 386 388 389 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 303 307 311 313 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 381 384 386 388 389 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 188 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 303 307 311 313 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 381 384 386 388 389 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 188 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 311 313 318 322 324 329 331 332 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 381 384 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 188 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 311 313 318 322 324 329 331 332 333 341 342 348 349 352 356 357 358 360 361 363 364 368 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 250 251 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 311 313 318 322 324 329 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 132 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 251 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 210 211 213 225 226 229 233 234 237 240 241 243 244 251 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 226 229 233 234 237 240 241 243 244 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 226 229 233 234 237 240 241 243 244 251 252 254 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 57 65 69 72 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 226 229 233 234 240 241 243 244 251 252 254 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 55 57 65 69 72 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 226 229 233 234 240 241 243 244 251 252 254 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 55 57 65 69 72 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 240 241 243 244 251 252 254 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 c Step: 101 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance038_graph004.col /benchmark/random_instance/random_instance038_graph004_01.dat" User time (seconds): 12.60 System time (seconds): 0.40 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:13.01 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): 213552 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 295229 Voluntary context switches: 20 Involuntary context switches: 55 Swaps: 0 File system inputs: 0 File system outputs: 816 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:42:27 2023]