#BEGIN: [Tue Sep 26 01:54:36 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance033_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance033_graph002.col /benchmark/random_instance/random_instance033_graph002_01.dat c /benchmark/random_instance/random_instance033_graph002.col c /benchmark/random_instance/random_instance033_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 163 312 74 213 415 245 315 301 406 413 365 248 256 140 23 2 56 359 39 64 201 356 9 358 35 318 206 200 283 276 349 317 267 310 378 348 221 305 390 116 157 375 421 60 228 139 411 86 187 69 396 142 89 54 404 209 52 306 15 360 347 303 204 91 263 226 295 195 45 426 108 322 154 111 80 329 275 217 234 429 43 232 251 215 137 162 33 269 342 336 387 130 19 81 227 351 321 412 352 181 129 38 239 174 41 373 17 287 282 184 101 409 197 104 333 3 78 188 254 391 44 255 331 316 395 289 145 369 212 355 7 182 133 260 147 t 311 150 138 60 213 218 275 254 278 250 270 228 418 168 386 92 308 374 25 28 114 197 219 406 115 283 32 245 53 169 143 64 273 327 279 289 45 375 189 410 76 182 134 130 93 290 293 354 224 37 427 404 38 269 5 120 10 356 229 325 248 411 216 282 46 41 388 232 380 344 260 428 75 133 422 184 81 127 397 129 141 355 105 303 251 34 195 190 307 272 317 342 108 295 74 359 11 217 199 352 66 258 101 52 207 131 364 50 343 391 1 296 96 135 348 301 333 72 86 206 299 302 201 223 208 357 255 125 192 174 171 117 384 389 276 a YES a 2 3 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 23 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 260 263 267 269 275 276 282 283 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 45 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 259 260 263 267 269 275 276 282 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 259 260 263 267 269 275 276 282 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 259 260 263 267 269 276 282 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 254 255 259 260 263 267 269 276 282 287 289 295 301 303 306 309 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 78 80 81 86 89 91 98 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 255 259 260 263 267 269 276 282 287 289 295 301 303 306 309 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 2 3 7 9 15 17 19 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 78 80 81 86 89 91 98 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 255 259 260 263 267 269 276 282 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 3 7 9 15 17 19 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 157 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 255 259 260 263 267 269 276 282 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 3 7 9 15 17 19 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 3 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 226 227 228 232 234 239 245 248 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 306 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 3 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 415 421 426 429 a 3 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 129 130 133 137 139 140 142 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 421 426 429 a 3 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 129 130 133 137 139 140 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 421 426 429 a 3 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 130 133 137 139 140 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 421 426 429 a 3 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 130 133 137 139 140 142 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 318 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 130 133 137 139 140 142 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 130 133 137 139 140 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 321 322 327 329 331 333 336 342 347 348 349 351 352 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 421 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 86 89 91 98 101 104 108 111 116 130 133 137 139 140 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 321 322 327 329 331 333 336 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 421 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 130 133 137 139 140 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 321 322 327 329 331 332 333 336 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 421 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 137 139 140 145 147 154 162 163 174 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 321 322 327 331 332 333 336 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 421 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 137 139 140 145 147 154 162 163 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 317 321 322 327 331 332 333 336 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 421 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 317 321 322 327 331 332 333 336 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 421 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 317 321 322 327 331 332 336 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 421 426 429 a 3 5 7 9 15 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 315 316 317 321 322 327 331 332 336 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 421 426 429 a 3 5 7 9 15 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 336 342 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 421 426 429 a 3 5 7 9 15 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 336 342 347 348 349 351 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 421 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 336 342 347 348 349 351 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 245 248 250 251 255 259 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 336 342 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 336 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 215 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 342 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 303 305 310 312 313 315 316 317 321 322 327 331 332 342 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 421 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 303 305 310 312 313 315 316 317 321 322 327 331 332 342 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 421 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 342 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 421 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 415 416 419 421 422 426 429 a 3 5 7 9 15 17 19 27 33 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 416 419 421 422 426 429 a 3 5 7 9 15 17 19 27 35 38 39 41 43 44 51 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 416 419 421 422 426 429 a 3 5 7 9 15 17 19 27 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 416 419 421 422 426 429 a 3 5 7 9 15 17 19 27 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 333 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 331 332 333 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 402 404 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 108 111 116 124 130 133 139 140 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 108 111 116 124 130 133 139 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 347 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 108 111 116 117 124 130 133 139 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 105 108 111 116 117 124 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 244 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 105 108 111 116 117 124 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 342 348 349 351 355 356 358 359 365 367 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 105 108 111 116 117 124 125 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 390 391 395 396 397 404 406 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 105 108 111 116 117 124 125 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 273 275 276 282 287 289 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 390 391 395 397 404 406 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 56 60 64 69 74 76 78 80 81 89 91 96 98 101 104 105 108 111 116 117 124 125 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 273 275 276 282 287 289 293 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 390 391 395 397 404 406 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 96 98 101 104 105 108 111 116 117 124 125 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 273 275 276 282 287 289 293 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 413 416 421 422 426 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 96 98 101 104 105 108 111 116 117 124 125 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 273 275 276 282 287 289 293 295 301 303 305 310 312 313 315 316 317 321 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 413 416 421 422 429 a 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 116 117 124 125 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 273 275 276 282 287 289 293 295 301 303 305 310 312 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 413 416 421 422 429 a 1 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 116 117 124 125 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 273 275 276 282 287 289 293 295 301 303 305 310 312 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 416 421 422 429 a 1 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 116 117 124 125 130 133 140 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 267 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 416 421 422 429 a 1 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 116 117 124 125 130 133 140 141 143 145 147 154 162 163 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 259 260 262 263 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 416 421 422 429 a 1 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 116 117 124 125 130 133 140 141 143 145 147 154 162 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 239 245 248 250 251 255 258 259 260 262 263 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 416 421 422 429 a 1 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 130 133 140 141 143 145 147 154 162 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 209 212 213 216 221 224 226 227 228 232 234 245 248 250 251 255 258 259 260 262 263 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 416 421 422 429 a 1 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 130 133 140 141 143 145 147 154 162 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 207 209 212 213 216 221 224 227 228 232 234 245 248 250 251 255 258 259 260 262 263 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 416 421 422 429 a 1 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 127 130 133 140 141 143 145 147 154 162 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 207 209 212 213 216 221 224 228 232 234 245 248 250 251 255 258 259 260 262 263 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 378 387 388 390 391 395 397 404 406 409 411 412 416 421 422 429 a 1 3 5 7 9 17 19 27 38 39 41 43 44 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 127 130 133 140 141 143 145 147 154 162 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 259 260 262 263 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 387 388 390 391 395 397 404 406 409 411 412 416 421 422 429 a 1 3 5 7 9 17 27 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 127 130 133 140 141 143 145 147 154 162 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 259 260 262 263 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 387 388 390 391 395 397 404 406 409 411 412 416 421 422 429 a 1 3 5 7 9 17 27 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 127 130 133 140 141 143 145 147 154 162 164 174 177 181 182 184 187 188 195 197 199 200 201 203 204 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 259 260 262 263 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 387 388 390 391 395 397 404 406 409 410 411 412 421 422 429 a 1 3 5 7 9 17 27 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 127 130 133 140 141 143 145 147 154 162 164 174 177 182 184 187 188 189 195 197 199 200 201 203 204 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 259 260 262 263 269 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 387 388 390 391 395 397 404 406 409 410 411 412 421 422 429 a 1 3 5 7 9 17 27 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 127 130 133 140 141 143 145 147 154 162 164 174 177 182 184 187 188 189 195 197 199 200 201 203 204 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 259 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 349 351 355 356 359 365 367 369 373 375 387 388 390 391 395 397 404 406 409 410 411 412 422 429 a 1 3 5 7 9 11 17 27 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 127 130 133 140 141 143 145 147 154 162 164 174 177 182 184 187 188 189 195 197 199 200 201 203 204 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 259 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 351 355 356 359 365 367 369 373 375 387 388 390 391 395 397 404 406 409 410 411 412 422 429 a 1 3 5 7 9 11 17 27 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 127 130 133 140 141 143 145 147 154 162 164 174 177 182 184 187 188 189 195 197 199 200 201 203 204 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 351 355 356 359 365 367 369 373 375 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 3 5 7 9 11 17 27 38 39 41 43 44 46 52 60 64 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 124 125 127 130 133 140 141 143 145 147 154 162 164 169 174 177 182 184 187 188 189 195 197 199 200 201 203 204 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 351 355 356 359 365 367 369 373 375 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 3 5 7 9 11 17 27 38 39 41 43 44 46 52 60 64 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 125 127 130 133 140 141 143 145 147 154 162 164 169 174 177 182 184 187 188 189 195 197 199 200 201 203 204 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 310 313 315 316 317 322 327 332 333 342 348 351 355 356 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 3 5 7 9 11 17 27 38 39 41 43 44 46 52 60 64 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 125 127 130 133 140 141 143 145 147 154 162 164 169 174 177 182 184 187 188 189 195 197 199 200 201 203 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 308 310 313 315 316 317 322 327 332 333 342 348 351 355 356 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 3 5 7 9 11 17 27 38 39 41 43 44 46 52 60 64 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 125 127 130 133 140 141 143 145 147 154 162 164 169 174 177 182 184 187 188 189 195 197 199 200 201 203 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 308 310 315 316 317 322 327 332 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 3 5 7 9 11 17 27 38 39 41 43 44 46 52 60 64 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 125 127 130 133 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 308 310 315 316 317 322 327 332 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 5 7 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 125 127 130 133 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 205 206 207 209 212 213 216 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 308 310 315 316 317 322 327 332 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 5 7 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 125 127 130 133 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 205 206 207 212 213 216 218 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 308 310 315 316 317 322 327 332 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 5 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 125 127 130 133 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 205 206 207 212 213 216 218 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 287 289 293 295 296 301 303 305 307 308 310 315 316 317 322 327 332 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 5 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 78 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 125 127 130 133 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 206 207 212 213 216 218 219 221 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 287 289 293 295 296 301 303 305 307 308 310 315 316 317 322 327 332 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 5 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 80 81 89 91 92 93 96 98 101 104 105 108 111 114 116 117 125 127 130 133 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 206 207 212 213 216 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 287 289 293 295 296 301 303 305 307 308 310 315 316 317 322 327 332 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 5 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 80 81 89 92 93 96 98 101 104 105 108 111 114 116 117 125 127 129 130 133 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 206 207 212 213 216 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 287 289 293 295 296 301 303 305 307 308 310 315 316 317 322 327 332 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 422 429 a 1 5 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 80 81 89 92 93 96 98 101 104 105 108 111 114 116 117 125 127 129 130 133 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 206 207 212 213 216 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 301 303 305 307 308 310 315 316 317 322 327 332 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 80 81 86 89 92 93 96 98 101 104 105 108 111 114 116 117 125 127 129 130 133 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 206 207 212 213 216 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 301 303 305 307 308 310 315 316 317 322 327 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 111 114 116 117 125 127 129 130 133 135 138 140 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 206 207 212 213 216 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 301 303 305 307 308 310 315 316 317 322 327 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 111 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 206 207 212 213 216 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 301 302 303 305 307 308 310 315 316 317 322 327 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 27 38 39 41 43 44 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 206 207 212 213 216 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 38 39 41 43 44 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 162 164 169 174 177 182 184 188 189 195 197 199 200 201 203 206 207 212 213 216 217 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 38 39 41 43 44 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 162 164 169 171 174 177 182 184 188 189 195 197 199 200 201 206 207 212 213 216 217 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 32 38 39 41 43 44 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 162 164 169 171 174 182 184 188 189 195 197 199 200 201 206 207 212 213 216 217 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 395 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 32 34 38 39 41 43 44 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 162 164 169 171 174 182 184 188 189 195 197 199 200 201 206 207 212 213 216 217 218 219 221 223 224 228 232 234 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 32 34 38 39 41 43 44 45 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 162 164 169 171 174 182 184 188 189 195 197 199 200 201 206 207 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 32 34 38 39 41 43 44 45 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 164 169 171 174 182 184 188 189 195 197 199 200 201 206 207 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 344 348 351 355 356 357 359 365 367 369 373 375 380 387 388 389 390 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 28 32 34 38 39 41 43 44 45 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 164 169 171 174 182 184 188 189 195 197 199 200 201 206 207 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 344 348 351 355 356 357 359 365 367 373 375 380 387 388 389 390 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 28 32 34 38 39 41 43 44 45 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 164 169 171 174 182 184 189 195 197 199 200 201 206 207 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 262 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 343 344 348 351 355 356 357 359 365 367 373 375 380 387 388 389 390 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 28 32 34 38 39 41 43 44 45 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 164 169 171 174 182 184 189 195 197 199 200 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 322 327 333 342 343 344 348 351 355 356 357 359 365 367 373 375 380 387 388 389 390 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 28 32 34 38 39 41 43 44 45 46 52 53 60 64 74 76 81 86 89 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 164 169 171 174 182 184 189 190 195 197 199 200 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 315 316 317 327 333 342 343 344 348 351 355 356 357 359 365 367 373 375 380 387 388 389 390 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 28 32 34 38 39 41 43 44 45 46 52 53 60 64 74 76 81 86 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 164 169 171 174 182 184 189 190 195 197 199 200 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 311 315 316 317 327 333 342 343 344 348 351 355 356 357 359 365 367 373 375 380 387 388 389 390 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 74 76 81 86 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 164 169 171 174 182 184 189 190 195 197 199 200 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 310 311 315 316 317 327 333 342 343 344 348 351 355 356 357 359 365 367 373 375 380 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 74 76 81 86 92 93 96 98 101 104 105 108 114 116 117 125 127 129 130 133 135 138 141 143 145 147 154 164 169 171 174 182 184 189 190 195 197 199 200 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 311 315 316 317 327 333 342 343 344 348 351 355 356 357 359 364 365 367 373 375 380 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 17 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 74 76 81 86 92 93 96 98 101 104 105 108 114 117 125 127 129 130 131 133 135 138 141 143 145 147 154 164 169 171 174 182 184 189 190 195 197 199 200 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 311 315 316 317 327 333 342 343 344 348 351 355 356 357 359 364 365 367 373 375 380 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 74 76 81 86 92 93 96 98 101 104 105 108 114 117 125 127 129 130 131 133 135 138 141 143 145 147 154 164 169 171 174 182 184 189 190 195 197 199 200 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 311 315 316 317 327 333 342 343 344 348 351 354 355 356 357 359 364 365 367 373 375 380 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 74 76 81 86 92 93 96 98 101 104 105 108 114 117 125 127 129 130 131 133 135 138 141 143 145 147 154 164 169 171 174 182 184 189 190 195 197 199 200 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 311 315 316 317 327 333 342 343 344 348 351 352 354 355 356 357 359 364 365 373 375 380 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 72 74 76 81 86 92 93 96 98 101 104 105 108 114 117 125 127 129 130 131 133 135 138 141 143 145 147 164 169 171 174 182 184 189 190 195 197 199 200 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 311 315 316 317 327 333 342 343 344 348 351 352 354 355 356 357 359 364 365 373 375 380 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 72 74 76 81 86 92 93 96 98 101 104 105 108 114 117 125 127 129 130 131 133 135 138 141 143 145 147 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 311 315 316 317 327 333 342 343 344 348 351 352 354 355 356 357 359 364 365 373 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 72 74 76 81 86 92 93 96 98 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 147 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 305 307 308 311 315 316 317 327 333 342 343 344 348 352 354 355 356 357 359 364 365 373 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 72 74 76 81 86 92 93 96 98 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 147 150 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 307 308 311 315 316 317 327 333 342 343 344 348 352 354 355 356 357 359 364 365 373 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 147 150 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 307 308 311 315 316 317 327 333 342 343 344 348 352 354 355 356 357 359 364 365 373 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 43 44 45 46 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 147 150 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 307 308 311 315 316 317 327 333 342 343 344 348 352 354 355 356 357 359 364 373 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 44 45 46 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 147 150 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 263 269 272 273 275 276 282 283 289 293 295 296 299 301 302 303 307 308 311 315 316 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 373 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 44 45 46 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 147 150 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 263 269 272 273 275 276 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 316 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 9 11 28 32 34 38 39 41 44 45 46 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 147 150 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 263 269 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 11 28 32 34 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 147 150 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 263 269 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 10 11 28 32 34 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 150 164 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 263 269 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 10 11 28 32 34 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 150 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 263 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 387 388 389 391 397 404 406 409 410 411 412 418 422 429 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 150 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 263 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 387 388 389 391 397 404 406 410 411 412 418 422 429 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 125 127 129 130 131 133 134 135 138 141 143 145 150 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 387 388 389 391 397 404 406 410 411 412 418 422 428 429 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 145 150 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 388 389 391 397 404 406 410 411 412 418 422 428 429 a 1 5 10 11 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 145 150 168 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 388 389 391 397 404 406 410 411 412 418 422 428 429 a 1 5 10 11 25 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 388 389 391 397 404 406 410 411 412 418 422 428 429 a 1 5 10 11 25 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 375 380 384 386 388 389 391 397 404 406 410 411 412 418 422 428 a 1 5 10 11 25 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 195 197 199 201 206 207 208 212 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 25 28 32 34 37 38 39 41 44 45 46 50 52 53 60 64 66 72 74 75 76 81 86 92 93 96 101 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 195 197 199 201 206 207 208 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 25 28 32 34 37 38 41 44 45 46 50 52 53 60 64 66 72 74 75 76 81 86 92 93 96 101 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 195 197 199 201 206 207 208 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 278 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 25 28 32 34 37 38 41 45 46 50 52 53 60 64 66 72 74 75 76 81 86 92 93 96 101 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 278 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 315 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 428 a 1 5 10 11 25 28 32 34 37 38 41 45 46 50 52 53 60 64 66 72 74 75 76 81 86 92 93 96 101 105 108 114 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 213 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 278 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 427 428 a 1 5 10 11 25 28 32 34 37 38 41 45 46 50 52 53 60 64 66 72 74 75 76 81 86 92 93 96 101 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 150 168 169 171 174 182 184 189 190 192 195 197 199 201 206 207 208 213 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 270 272 273 275 276 278 279 282 283 289 290 293 295 296 299 301 302 303 307 308 311 317 325 327 333 342 343 344 348 352 354 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 410 411 418 422 427 428 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance033_graph002.col /benchmark/random_instance/random_instance033_graph002_01.dat" User time (seconds): 546.17 System time (seconds): 4.33 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.87 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): 12244144 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4311193 Voluntary context switches: 162365 Involuntary context switches: 2102 Swaps: 0 File system inputs: 0 File system outputs: 880 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:00:42 2023]