#BEGIN: [Tue Sep 26 01:28:10 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #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 /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): INTERRUPTED by signal! 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 250 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 305 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 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 250 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 305 308 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 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 308 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 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 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 308 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 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 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 123 129 130 133 137 139 140 142 145 147 154 157 162 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 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 123 129 130 133 137 139 140 142 145 147 154 157 162 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 306 309 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 123 129 130 133 137 139 140 142 145 147 154 157 162 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 306 309 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 123 129 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 306 309 310 312 315 316 317 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 123 129 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 306 309 310 312 315 316 317 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 414 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 306 309 310 312 315 316 317 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 414 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 250 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 309 310 312 315 316 317 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 414 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 221 226 227 228 232 234 239 245 248 250 251 254 255 256 260 263 267 269 275 276 282 283 287 289 295 301 303 309 310 312 315 316 317 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 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 306 309 310 312 315 316 317 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 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 306 309 310 312 315 316 317 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 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 306 309 310 312 315 316 317 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 402 404 409 411 412 413 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 285 287 289 295 301 303 306 309 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 285 287 289 295 301 303 306 309 310 312 315 316 317 321 322 327 329 331 333 336 342 347 348 349 351 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 281 282 283 285 287 289 295 301 303 306 309 310 312 316 317 321 322 327 329 331 333 336 342 347 348 349 351 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 281 282 283 285 287 289 295 301 303 306 309 310 312 316 317 321 322 329 331 333 336 342 347 348 349 351 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 285 287 289 295 301 303 306 309 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 2 3 5 7 9 15 17 19 23 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 203 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 285 287 289 295 301 303 306 309 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 2 3 5 7 9 15 17 19 23 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 203 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 285 287 289 295 301 303 306 309 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 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 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 285 287 289 295 301 303 306 309 310 312 315 316 317 321 322 329 331 333 336 342 347 348 349 351 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 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 285 287 289 295 301 303 306 309 310 312 315 316 317 321 322 327 329 331 333 336 342 347 348 349 351 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 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 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 285 287 289 295 301 303 306 309 310 312 315 316 317 321 322 327 329 331 333 336 342 347 348 349 351 355 356 358 359 360 365 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 221 226 227 228 232 239 245 248 251 254 255 260 263 267 269 275 276 282 283 285 287 289 295 301 303 306 309 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 402 404 409 411 412 413 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 181 182 184 187 188 195 197 199 200 201 204 206 209 212 213 215 217 221 226 227 228 232 239 245 248 251 254 255 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 309 310 312 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 402 404 409 411 412 413 415 421 426 429 a 2 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 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 281 282 283 285 287 289 295 301 303 306 309 310 312 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 402 404 409 411 412 413 415 421 426 429 a 3 5 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 123 130 133 137 139 140 142 145 147 154 157 162 174 178 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 281 282 283 285 287 289 295 301 303 306 309 310 312 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 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 23 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 123 130 133 137 139 140 142 145 147 154 157 162 174 178 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 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 309 310 312 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 402 404 409 411 412 413 415 421 426 429 a 2 3 5 7 9 15 17 19 23 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 123 130 133 137 139 140 142 145 147 154 157 162 174 178 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 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 309 310 312 316 317 321 322 327 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 2 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 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 281 282 283 285 287 289 295 301 303 306 309 310 312 316 317 321 322 327 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 2 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 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 281 282 283 285 287 289 295 301 303 306 309 310 312 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 396 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 309 310 312 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 396 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 309 310 312 316 317 321 322 327 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 23 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 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 251 254 255 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 309 310 312 316 317 321 322 327 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 23 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 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 251 254 255 256 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 309 310 312 316 317 321 322 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 251 254 255 256 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 309 310 312 316 317 321 322 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 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 54 56 60 64 69 74 78 80 81 86 89 91 101 104 108 111 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 281 282 283 285 287 289 301 303 306 309 310 312 316 317 321 322 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 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 281 282 283 285 287 289 301 303 306 310 312 316 317 321 322 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 402 404 409 411 412 413 415 421 426 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 187 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 321 322 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 402 404 409 411 412 413 415 421 426 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 321 322 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 402 404 409 411 412 413 415 421 426 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 256 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 321 322 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 402 404 409 411 412 413 415 421 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 101 104 108 111 116 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 321 322 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 402 404 409 411 412 413 415 421 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 89 91 101 104 108 111 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 321 322 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 402 404 409 410 411 412 413 415 421 429 a 3 5 7 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 123 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 321 322 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 402 404 409 410 411 412 413 415 429 a 3 5 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 123 129 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 321 322 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 402 404 409 410 411 412 413 415 429 a 3 5 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 123 129 130 133 137 139 140 142 145 147 154 157 162 174 178 181 182 184 188 195 197 199 200 201 203 204 206 209 212 213 215 217 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 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 402 404 409 410 411 412 413 415 429 a 3 5 9 15 17 19 23 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 123 129 130 133 137 139 140 142 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 217 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 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 402 404 409 410 411 412 413 415 429 a 3 5 9 15 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 123 129 130 133 137 139 140 142 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 217 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 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 410 411 412 413 415 429 a 3 5 9 15 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 101 104 108 111 123 129 130 133 137 139 140 142 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 216 217 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 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 410 411 412 413 415 429 a 3 5 9 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 137 139 140 142 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 216 217 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 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 410 411 412 413 415 429 a 3 5 9 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 137 138 139 140 142 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 216 217 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 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 410 411 412 415 429 a 1 3 5 9 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 142 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 216 217 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 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 410 411 412 415 429 a 1 3 5 9 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 142 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 216 217 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 267 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 397 404 406 409 410 411 412 415 429 a 1 3 5 9 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 142 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 216 217 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 378 387 390 391 395 396 397 404 406 409 410 411 412 415 429 a 1 3 5 9 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 142 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 216 217 219 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 269 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 387 390 391 395 396 397 404 406 409 410 411 412 415 429 a 1 3 5 9 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 216 217 219 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 387 390 391 395 396 397 404 406 409 410 411 412 415 429 a 1 5 9 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 204 206 209 212 213 215 216 217 218 219 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 358 359 360 365 367 369 373 375 387 390 391 395 396 397 404 406 409 410 411 412 415 429 a 1 5 9 17 19 33 35 38 39 41 43 44 52 54 56 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 209 212 213 215 216 217 218 219 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 375 387 390 391 395 396 397 404 406 409 410 411 412 415 429 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 54 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 209 212 213 215 216 217 218 219 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 375 387 390 391 395 396 397 404 406 409 410 411 412 415 429 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 295 301 303 306 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 375 387 390 391 395 396 397 404 406 409 410 411 412 415 429 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 227 228 232 234 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 293 295 301 303 306 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 375 387 390 391 395 396 397 404 406 409 410 411 412 415 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 234 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 293 295 301 303 306 308 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 375 387 390 391 395 396 397 404 406 409 410 411 412 415 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 234 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 293 295 301 303 306 308 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 375 380 387 390 391 395 396 397 404 406 409 410 411 412 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 127 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 293 295 301 303 306 308 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 375 380 387 390 391 395 396 397 404 406 409 410 411 412 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 127 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 293 295 301 303 306 308 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 80 81 86 89 91 96 101 104 108 111 123 127 129 130 133 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 293 295 301 303 308 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 111 123 127 129 130 133 135 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 256 258 260 263 269 272 275 276 281 282 283 285 287 289 293 295 301 303 308 310 312 316 317 322 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 111 123 127 129 130 133 135 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 263 269 272 275 276 281 282 283 285 287 289 293 295 301 303 308 310 312 316 317 322 327 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 111 123 127 129 130 133 135 138 139 140 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 287 289 293 295 301 303 308 310 312 316 317 322 327 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 428 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 111 123 127 129 130 133 135 138 139 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 287 289 293 295 301 302 303 308 310 312 316 317 322 327 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 428 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 111 123 127 129 130 133 135 138 139 141 145 147 154 157 162 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 301 302 303 308 310 312 316 317 322 327 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 111 123 127 129 130 131 133 135 138 139 141 145 147 154 157 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 301 302 303 308 310 312 316 317 322 327 329 331 333 342 347 348 349 351 355 356 357 358 359 360 365 367 369 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 17 19 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 111 123 127 129 130 131 133 135 138 139 141 145 147 154 157 174 178 182 184 188 189 195 197 199 200 201 203 206 208 209 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 301 302 303 308 310 312 316 317 322 327 329 331 333 342 344 347 348 349 351 355 356 357 358 359 360 365 367 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 17 19 28 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 111 123 127 129 130 131 133 135 138 139 141 145 147 154 157 174 178 182 184 188 189 195 197 199 200 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 301 302 303 308 310 312 316 317 322 327 329 331 333 342 344 347 348 349 351 355 356 357 358 359 360 365 367 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 17 19 28 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 123 127 129 130 131 133 135 138 139 141 145 147 154 157 174 178 182 184 188 189 195 197 199 200 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 327 329 331 333 342 344 347 348 349 351 355 356 357 358 359 360 365 367 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 17 19 28 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 145 147 154 157 174 178 182 184 188 189 195 197 199 200 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 327 329 331 333 342 344 347 348 349 351 355 356 357 359 360 365 367 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 35 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 145 147 154 157 174 178 182 184 188 189 195 197 199 200 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 327 329 331 333 342 344 347 348 351 355 356 357 359 360 365 367 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 143 145 147 154 157 174 178 182 184 188 189 195 197 199 200 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 327 329 331 333 342 344 347 348 351 355 356 357 359 360 365 367 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 143 145 147 154 157 174 178 182 184 189 195 197 199 200 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 327 329 331 333 342 343 344 347 348 351 355 356 357 359 360 365 367 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 43 44 46 52 60 64 69 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 143 145 147 154 157 174 182 184 189 195 197 199 200 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 327 329 331 333 342 343 344 347 348 351 355 356 357 359 360 365 367 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 143 145 147 154 157 174 182 184 189 195 197 199 200 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 331 333 342 343 344 347 348 351 355 356 357 359 360 365 367 373 374 375 380 387 390 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 143 145 147 154 157 174 182 184 189 195 197 199 200 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 331 333 342 343 344 347 348 351 355 356 357 359 360 365 367 373 374 375 380 387 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 143 145 147 154 157 174 182 184 189 195 197 199 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 331 333 342 343 344 347 348 351 355 356 357 359 360 365 367 373 374 375 380 387 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 143 145 147 154 157 174 182 184 189 195 197 199 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 331 333 342 343 344 347 348 351 355 356 357 359 360 365 367 373 374 375 380 386 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 143 145 147 154 157 174 182 184 189 195 197 199 201 203 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 290 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 331 333 342 343 344 347 348 351 355 356 357 359 360 365 367 374 375 380 386 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 135 138 139 141 143 145 147 154 157 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 290 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 331 333 342 343 344 347 348 351 355 356 357 359 360 365 367 374 375 380 386 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 134 135 138 139 141 143 145 147 154 157 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 290 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 331 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 386 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 134 135 138 139 141 143 145 147 157 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 290 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 331 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 384 386 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 72 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 134 135 138 141 143 145 147 157 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 290 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 331 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 384 386 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 69 72 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 134 135 138 141 143 145 147 157 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 290 293 295 299 301 302 303 308 310 312 316 317 322 325 327 329 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 66 69 72 74 76 78 81 86 89 91 93 96 101 104 108 123 125 127 129 130 131 133 134 135 138 141 143 145 147 157 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 290 293 295 299 301 302 303 308 310 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 66 69 72 74 76 78 81 86 91 93 96 101 104 108 123 125 127 129 130 131 133 134 135 138 141 143 145 147 157 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 281 282 283 285 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 66 69 72 74 76 78 81 86 91 93 96 101 104 105 108 123 125 127 129 130 131 133 134 135 138 141 143 145 147 157 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 285 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 66 69 72 74 76 78 81 86 91 92 93 96 101 104 105 108 125 127 129 130 131 133 134 135 138 141 143 145 147 157 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 285 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 428 a 1 5 9 11 17 19 28 33 38 39 41 44 46 52 60 64 66 69 72 74 76 78 81 86 91 92 93 96 101 104 105 108 125 127 129 130 131 133 134 135 138 141 143 145 147 171 174 182 184 189 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 285 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 33 38 41 44 46 52 60 64 66 69 72 74 76 78 81 86 91 92 93 96 101 104 105 108 125 127 129 130 131 133 134 135 138 141 143 145 147 171 174 182 184 189 192 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 285 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 365 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 33 38 41 44 45 46 52 60 64 66 69 72 74 76 78 81 86 91 92 93 96 101 104 105 108 125 127 129 130 131 133 134 135 138 141 143 145 147 171 174 182 184 189 192 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 285 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 44 45 46 52 60 64 66 69 72 74 76 78 81 86 91 92 93 96 101 104 105 108 125 127 129 130 131 133 134 135 138 141 143 145 147 171 174 182 184 189 192 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 44 45 46 52 60 64 66 69 72 74 76 78 81 86 92 93 96 101 104 105 108 125 127 129 130 131 133 134 135 138 141 143 145 147 168 171 174 182 184 189 192 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 44 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 125 127 129 130 131 133 134 135 138 141 143 145 147 168 171 174 182 184 189 192 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 360 364 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 44 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 120 125 127 129 130 131 133 134 135 138 141 143 145 147 168 171 174 182 184 189 192 195 197 199 201 206 208 212 213 215 216 217 218 219 221 223 224 226 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 364 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 44 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 120 125 127 129 130 131 133 134 135 138 141 143 145 147 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 221 223 224 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 316 317 325 327 329 333 342 343 344 347 348 355 356 357 359 364 367 374 375 380 384 386 388 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 44 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 120 125 127 129 130 131 133 134 135 138 141 143 145 147 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 221 223 224 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 317 325 327 329 333 342 343 344 347 348 355 356 357 359 364 367 374 375 380 384 386 388 389 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 44 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 221 223 224 228 229 232 239 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 317 325 327 329 333 342 343 344 347 348 355 356 357 359 364 374 375 380 384 386 388 389 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 44 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 221 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 317 325 327 329 333 342 343 344 347 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 44 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 115 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 317 325 327 329 333 342 343 344 347 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 395 396 397 404 406 409 410 411 418 422 428 a 1 5 9 11 17 19 28 32 33 38 41 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 115 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 317 325 327 329 333 342 343 344 347 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 395 396 397 404 406 409 410 411 418 422 427 428 a 1 5 9 11 17 19 28 32 33 38 41 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 312 317 325 327 329 333 342 343 344 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 395 396 397 404 406 409 410 411 418 422 427 428 a 1 5 9 11 17 19 28 32 33 38 41 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 299 301 302 303 308 310 311 317 325 327 329 333 342 343 344 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 395 396 397 404 406 409 410 411 418 422 427 428 a 1 5 9 11 17 19 28 32 33 38 41 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 308 310 311 317 325 327 333 342 343 344 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 395 396 397 404 406 409 410 411 418 422 427 428 a 1 5 9 11 17 19 28 32 33 34 38 41 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 308 310 311 317 325 327 333 342 343 344 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 396 397 404 406 409 410 411 418 422 427 428 a 1 5 10 11 17 19 28 32 33 34 38 41 45 46 52 60 64 66 69 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 308 310 311 317 325 327 333 342 343 344 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 396 397 404 406 409 410 411 418 422 427 428 a 1 5 10 11 17 19 28 32 33 34 38 41 45 46 52 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 311 317 325 327 333 342 343 344 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 396 397 404 406 409 410 411 418 422 427 428 a 1 5 10 11 17 19 28 32 33 34 38 41 45 46 52 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 169 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 215 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 311 317 325 327 333 342 343 344 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 409 410 411 418 422 427 428 a 1 5 10 11 17 19 28 32 33 34 38 41 45 46 52 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 169 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 311 317 325 327 333 342 343 344 348 352 355 356 357 359 364 374 375 380 384 386 388 389 391 397 404 406 409 410 411 418 422 427 428 a 1 5 10 11 17 19 28 32 33 34 37 38 41 45 46 52 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 147 150 168 169 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 216 217 218 219 223 224 228 229 232 245 248 250 251 254 255 258 260 269 272 273 275 276 279 282 283 289 290 293 295 296 299 301 302 303 307 308 310 311 317 325 327 333 342 343 344 348 352 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 17 19 28 32 33 34 37 38 41 45 46 52 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 150 168 169 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 216 217 218 219 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 310 311 317 325 327 333 342 343 344 348 352 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 17 28 32 33 34 37 38 41 45 46 50 52 60 64 66 72 74 76 81 86 92 93 96 101 104 105 108 114 115 117 120 125 127 129 130 131 133 134 135 138 141 143 145 150 168 169 171 174 182 184 189 192 195 197 199 201 206 207 208 212 213 216 217 218 219 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 310 311 317 325 327 333 342 343 344 348 352 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 17 28 32 33 34 37 38 41 45 46 50 52 60 64 66 72 74 76 81 86 92 93 96 101 104 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 212 213 216 217 218 219 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 310 311 317 325 327 333 342 343 344 348 352 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 17 28 32 34 37 38 41 45 46 50 52 53 60 64 66 72 74 76 81 86 92 93 96 101 104 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 212 213 216 217 218 219 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 310 311 317 325 327 333 342 343 344 348 352 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 17 25 28 32 34 37 38 41 45 46 50 52 53 60 64 66 72 74 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 212 213 216 217 218 219 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 310 311 317 325 327 333 342 343 344 348 352 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 17 25 28 32 34 37 38 41 45 46 50 52 53 60 64 66 72 74 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 310 311 317 325 327 333 342 343 344 348 352 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 310 311 317 325 327 333 342 343 344 348 352 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 /benchmark/random_instance/random_instance033_graph002.col /benchmark/random_instance/random_instance033_graph002_01.dat" User time (seconds): 360.83 System time (seconds): 3.36 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.24 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): 12244296 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4219523 Voluntary context switches: 26 Involuntary context switches: 1218 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 01:34:14 2023]