#BEGIN: [Mon Sep 4 12:23:25 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance033_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph001_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_graph001.col /benchmark/random_instance/random_instance033_graph001_01.dat c /benchmark/random_instance/random_instance033_graph001.col c /benchmark/random_instance/random_instance033_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.011 seconds s 236 214 119 414 190 57 188 324 294 86 237 146 423 186 143 76 270 142 81 240 429 45 200 25 118 138 424 69 284 258 276 163 425 175 228 283 130 372 260 218 323 385 238 210 402 420 357 255 31 129 275 333 7 59 239 318 293 392 273 247 6 182 193 421 381 41 265 122 391 109 398 281 70 43 241 418 128 65 46 409 419 375 242 350 73 74 316 105 252 29 332 263 116 33 133 264 58 297 296 267 321 184 259 307 95 390 44 213 309 245 412 93 303 166 269 15 208 342 17 37 232 378 248 121 416 54 165 53 277 169 91 127 400 387 272 311 366 370 79 t 377 112 175 359 168 51 162 346 21 146 366 13 140 343 393 174 12 294 369 245 96 317 206 188 49 267 44 150 63 180 299 234 54 331 84 324 93 375 270 186 79 293 97 426 371 222 20 415 399 88 357 269 341 94 250 318 424 372 383 74 119 370 134 32 387 61 192 263 251 209 216 288 123 152 179 91 189 50 205 253 15 135 127 178 391 30 138 390 33 137 199 7 35 62 342 381 100 356 27 296 64 191 214 280 41 333 18 203 116 297 19 108 109 423 378 265 59 224 77 171 196 388 247 37 55 330 212 429 3 295 201 145 122 396 311 11 81 315 211 a YES a 6 7 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 424 425 429 a 6 7 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 424 425 429 a 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 73 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 357 366 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 424 425 429 a 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 357 366 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 424 425 429 a 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 74 76 79 81 86 91 93 95 105 109 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 357 366 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 424 425 429 a 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 74 76 79 81 86 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 357 366 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 419 420 421 423 425 429 a 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 74 76 79 81 86 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 420 421 423 425 429 a 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 74 76 79 81 86 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 293 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 420 421 423 425 a 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 74 76 79 81 86 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 252 255 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 293 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 420 421 423 425 a 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 74 76 79 81 86 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 293 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 420 421 423 425 a 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 74 76 79 81 86 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 291 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 59 65 69 70 74 76 79 81 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 291 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 65 69 70 74 76 79 81 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 142 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 291 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 65 69 70 74 76 79 81 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 288 291 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 65 69 70 74 76 79 81 91 93 95 105 109 110 116 118 119 121 122 127 128 129 130 133 138 143 146 159 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 288 293 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 65 69 70 74 76 79 81 91 93 95 105 109 110 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 288 293 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 53 54 57 58 65 69 70 74 76 79 81 91 93 95 105 109 110 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 184 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 288 293 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 47 53 54 57 58 65 69 70 74 76 79 81 91 93 95 105 109 110 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 288 293 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 47 53 54 57 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 288 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 47 53 54 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 213 214 228 231 232 236 237 238 239 240 241 242 247 248 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 288 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 41 43 45 46 47 53 54 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 213 214 228 231 232 236 237 238 239 240 241 242 247 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 288 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 362 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 213 214 228 232 236 237 238 239 240 241 242 247 252 258 259 260 263 264 265 267 269 270 271 272 273 275 276 277 281 283 284 288 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 362 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 247 252 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 288 294 296 297 298 303 307 309 311 316 318 321 324 330 332 333 342 345 350 352 357 362 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 213 214 218 228 232 236 237 238 239 240 241 242 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 284 288 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 352 357 362 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 228 232 236 237 238 239 240 241 242 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 352 357 362 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 222 232 236 237 238 239 240 241 242 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 352 357 362 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 56 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 222 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 352 357 362 366 367 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 222 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 352 357 362 366 367 370 372 373 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 222 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 367 370 372 373 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 222 232 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 367 370 372 373 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 57 58 65 69 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 222 232 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 367 370 372 373 375 378 381 387 388 390 391 392 398 400 402 409 412 413 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 219 222 232 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 367 370 372 373 375 378 381 387 388 390 391 392 398 400 402 409 412 413 416 418 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 219 222 232 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 373 375 378 381 387 388 390 391 392 398 400 402 409 412 413 416 418 419 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 219 222 232 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 352 357 362 366 370 372 373 375 378 381 387 388 390 391 392 398 400 402 409 412 413 416 418 419 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 219 222 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 298 303 307 309 311 316 318 321 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 416 418 419 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 166 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 219 222 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 416 418 419 420 421 423 425 a 5 6 7 15 17 25 29 31 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 219 222 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 419 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 169 175 179 182 188 190 193 200 208 210 212 213 214 218 219 222 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 392 398 400 402 409 412 413 414 416 418 419 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 169 175 179 182 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 398 400 402 409 412 413 414 416 418 419 420 421 423 425 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 291 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 398 400 402 409 412 413 414 416 418 419 420 421 423 a 5 6 7 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 398 400 402 409 412 413 414 416 418 419 420 421 423 a 5 6 7 13 15 17 25 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 169 175 179 182 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 398 400 402 409 412 413 414 416 418 419 421 423 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 398 400 402 409 412 413 414 416 418 419 421 423 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 110 114 118 119 121 122 127 128 129 130 133 138 143 146 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 400 402 409 412 413 414 416 418 419 421 423 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 110 114 116 118 119 121 122 127 128 129 130 133 138 146 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 400 402 409 412 413 414 416 418 419 421 423 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 114 116 118 119 121 122 127 128 129 130 133 138 146 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 400 402 409 412 413 414 416 418 419 421 423 424 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 114 116 119 121 122 127 128 129 130 133 138 146 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 303 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 400 402 409 412 413 414 416 418 419 421 423 424 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 43 45 46 47 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 114 116 119 121 122 127 128 129 130 133 138 146 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 399 400 402 409 412 413 414 416 418 419 421 423 424 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 43 45 46 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 114 116 119 121 122 127 128 129 130 133 138 146 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 362 366 370 372 375 378 381 387 388 390 391 396 399 400 402 409 412 413 414 416 418 419 421 423 424 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 43 45 46 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 114 116 119 121 122 127 128 129 130 133 138 146 150 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 366 370 372 375 378 381 387 388 390 391 396 399 400 402 409 412 413 414 416 418 419 421 423 424 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 65 70 74 76 79 81 91 93 95 105 108 109 114 116 119 121 122 127 128 129 130 133 138 140 146 150 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 366 370 372 375 378 381 387 388 390 391 396 399 400 402 409 412 413 414 416 418 419 421 423 424 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 65 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 127 128 129 130 133 138 140 146 150 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 352 357 366 370 372 375 378 381 387 388 390 391 396 399 400 409 412 413 414 416 418 419 421 423 424 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 65 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 127 128 129 130 133 138 140 146 150 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 352 356 357 366 370 372 375 378 381 387 388 390 391 396 399 400 409 412 413 414 416 418 419 421 423 424 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 65 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 127 128 129 130 133 138 140 146 150 159 160 163 165 169 175 179 186 188 190 193 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 275 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 370 372 375 378 381 387 388 390 391 396 399 400 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 65 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 127 128 129 130 133 138 140 146 150 159 160 163 165 169 175 179 186 188 190 193 196 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 370 372 375 378 381 387 388 390 391 396 399 400 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 127 128 129 130 133 138 140 146 150 159 160 163 165 169 174 175 179 186 188 190 193 196 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 370 372 375 378 381 387 388 390 391 396 399 400 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 123 127 128 129 130 138 140 146 150 159 160 163 165 169 174 175 179 186 188 190 193 196 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 260 263 264 265 267 269 270 272 273 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 370 372 375 378 381 387 388 390 391 396 399 400 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 123 127 128 129 130 138 140 146 150 159 160 163 165 169 174 175 179 186 188 190 193 196 199 200 208 210 212 213 214 218 219 222 226 232 236 237 238 239 240 241 242 245 247 252 255 258 259 263 264 265 267 269 270 272 273 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 370 372 375 378 381 387 388 390 391 396 399 400 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 123 127 128 129 130 138 140 146 150 159 160 163 165 169 174 175 179 186 188 193 196 199 200 208 210 212 213 214 218 219 222 226 232 234 236 237 238 239 240 241 242 245 247 252 255 258 259 263 264 265 267 269 270 272 273 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 370 372 375 378 381 387 388 390 391 396 399 400 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 123 127 128 129 130 138 140 146 150 159 160 163 165 169 174 175 179 186 188 193 196 199 200 208 210 212 213 214 218 219 222 226 232 234 236 237 238 240 241 242 245 247 252 255 258 259 263 264 265 267 269 270 272 273 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 369 370 372 375 378 381 387 388 390 391 396 399 400 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 70 74 76 79 81 91 93 95 97 105 108 109 114 116 119 121 122 123 127 128 129 130 138 140 146 150 159 160 163 165 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 218 219 222 226 232 234 236 237 238 240 241 242 245 247 252 255 258 259 263 264 265 267 269 270 272 273 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 369 370 372 375 378 381 387 388 390 391 396 399 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 53 54 56 57 58 70 74 76 79 81 91 93 95 97 100 105 108 109 114 116 119 121 122 123 127 128 129 130 138 140 146 150 159 160 163 165 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 252 255 258 259 263 264 265 267 269 270 272 273 277 281 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 369 370 372 375 378 381 387 388 390 391 396 399 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 51 53 54 56 57 58 70 74 76 79 81 91 93 95 97 100 105 108 109 114 116 119 121 122 123 127 128 129 130 138 140 146 150 159 160 163 165 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 369 370 372 375 378 381 387 388 390 391 396 399 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 51 53 54 56 57 58 70 74 76 79 81 91 93 95 97 100 108 109 114 116 119 121 122 123 127 128 129 130 138 140 146 150 159 160 163 165 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 323 324 332 333 342 345 350 356 357 366 369 370 371 372 375 378 381 387 388 390 391 396 399 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 25 27 29 31 33 37 39 41 45 46 51 53 54 56 57 58 70 74 76 79 81 91 93 95 97 100 108 109 114 116 119 121 122 123 127 128 129 130 135 138 140 146 150 159 160 163 165 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 324 332 333 342 345 350 356 357 366 369 370 371 372 375 378 381 387 388 390 391 396 399 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 39 41 45 46 51 53 54 56 57 58 70 74 79 81 91 93 95 97 100 108 109 114 116 119 121 122 123 127 128 129 130 135 138 140 146 150 159 160 163 165 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 324 332 333 342 345 350 356 357 366 369 370 371 372 375 378 381 387 388 390 391 396 399 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 39 41 45 46 51 53 54 56 57 58 74 79 81 91 93 95 97 100 108 109 114 116 119 121 122 123 127 128 129 130 135 138 140 146 150 159 160 163 165 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 324 332 333 342 345 350 356 357 366 369 370 371 372 375 378 381 387 388 390 391 396 399 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 39 41 45 46 51 53 54 56 57 58 74 79 81 91 93 95 97 100 108 109 114 116 119 122 123 127 128 129 130 135 138 140 146 150 159 160 163 165 168 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 324 332 333 342 345 350 356 357 366 369 370 371 372 375 378 381 387 388 390 391 396 399 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 41 45 46 51 53 54 56 57 58 74 79 81 91 93 95 97 100 108 109 114 116 119 122 123 127 128 129 130 135 138 140 146 150 159 160 163 165 168 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 324 332 333 342 345 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 41 45 46 51 53 54 56 57 58 74 79 81 91 93 95 97 100 108 109 114 116 119 122 123 127 128 129 130 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 324 332 333 342 345 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 412 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 41 45 46 51 53 54 56 57 58 74 79 81 91 93 95 97 100 108 109 114 116 119 122 123 127 128 129 130 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 193 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 324 331 332 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 412 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 41 44 45 46 51 53 54 56 57 58 74 79 81 91 93 95 97 100 108 109 114 116 119 122 123 127 128 129 130 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 309 311 316 318 321 324 331 332 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 412 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 41 44 45 46 51 53 54 56 57 58 62 74 79 81 91 93 95 97 100 108 109 114 116 119 122 123 127 128 129 130 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 311 316 318 321 324 331 332 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 412 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 41 44 45 46 51 53 54 56 57 58 62 74 79 81 91 93 95 97 100 108 109 114 116 119 122 123 127 129 130 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 311 316 318 321 324 331 332 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 412 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 41 44 45 46 51 53 54 56 57 58 62 74 79 81 91 93 95 97 100 108 109 114 116 119 122 123 127 129 130 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 253 255 258 259 263 264 265 267 269 270 272 273 277 283 288 294 296 297 307 311 316 318 321 324 331 332 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 31 33 37 41 44 45 46 51 53 54 56 57 58 62 74 79 81 91 93 95 97 100 108 109 116 119 122 123 127 129 130 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 253 255 258 259 263 264 265 267 269 270 272 273 277 283 288 293 294 296 297 307 311 316 318 321 324 331 332 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 33 37 41 44 45 46 51 53 54 56 57 58 62 74 79 81 88 91 93 95 97 100 108 109 116 119 122 123 127 129 130 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 253 255 258 259 263 264 265 267 269 270 272 273 277 283 288 293 294 296 297 307 311 316 318 321 324 331 332 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 33 37 41 44 45 46 51 53 54 56 57 58 62 74 79 81 88 91 93 95 97 100 108 109 116 119 122 123 127 129 130 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 253 255 258 259 263 264 265 267 269 270 272 273 277 283 288 293 294 296 297 307 311 316 318 321 324 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 33 37 41 44 45 46 51 53 54 56 57 62 74 79 81 88 91 93 95 97 100 108 109 116 119 122 123 127 129 130 134 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 253 255 258 259 263 264 265 267 269 270 272 273 277 283 288 293 294 296 297 307 311 316 318 321 324 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 25 27 29 33 37 41 44 45 46 51 53 54 56 57 62 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 129 130 134 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 253 255 258 263 264 265 267 269 270 272 273 277 283 288 293 294 296 297 307 311 316 318 321 324 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 33 37 41 44 45 46 51 53 54 56 57 62 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 129 134 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 226 232 234 236 237 238 240 241 242 245 247 250 252 253 255 258 263 264 265 267 269 270 272 273 277 283 288 293 294 296 297 307 311 316 318 321 324 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 33 37 41 44 45 46 51 53 54 56 57 62 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 129 134 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 226 234 236 237 238 240 241 242 245 247 250 251 252 253 255 258 263 264 265 267 269 270 272 273 277 283 288 293 294 296 297 307 311 316 318 321 324 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 421 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 53 54 56 57 62 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 129 134 135 138 140 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 226 234 236 237 238 240 241 242 245 247 250 251 252 253 255 258 263 264 265 267 269 270 272 273 277 283 288 293 294 296 297 307 311 316 318 321 324 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 53 54 56 57 62 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 129 134 135 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 226 234 236 237 238 240 241 242 245 247 250 251 252 253 255 258 263 264 265 267 269 270 272 277 283 288 293 294 296 297 307 311 316 318 321 324 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 53 54 55 56 57 62 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 226 234 236 237 238 240 241 242 245 247 250 251 252 253 255 258 263 264 265 267 269 270 272 277 283 288 293 294 296 297 307 311 316 318 321 324 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 53 54 55 56 57 62 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 226 234 236 237 238 240 241 242 245 247 250 251 252 253 258 263 264 265 267 269 270 272 277 283 288 293 294 296 297 307 311 316 318 321 324 330 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 57 62 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 210 211 212 213 214 219 222 224 226 234 236 237 238 240 241 242 245 247 250 251 252 253 258 263 264 265 267 269 270 272 277 283 288 293 294 296 297 307 311 316 318 321 324 330 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 57 62 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 211 212 213 214 219 222 224 226 234 236 237 238 240 241 242 245 247 250 251 252 253 258 263 264 265 267 269 270 272 277 283 288 293 294 296 297 307 311 316 318 321 324 330 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 57 62 64 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 211 212 213 214 219 222 224 226 234 237 238 240 241 242 245 247 250 251 252 253 258 263 264 265 267 269 270 272 277 283 288 293 294 296 297 307 311 316 318 321 324 330 331 333 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 57 62 64 74 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 211 212 213 214 219 222 224 234 237 238 240 241 242 245 247 250 251 252 253 258 263 264 265 267 269 270 272 277 283 288 293 294 296 297 307 311 316 318 321 324 330 331 333 341 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 57 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 211 212 213 214 219 222 224 234 237 238 240 241 242 245 247 250 251 252 253 258 263 264 265 267 269 270 272 277 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 350 356 357 366 369 370 371 372 375 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 57 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 196 199 200 205 208 211 212 213 214 219 222 224 234 237 240 241 242 245 247 250 251 252 253 258 263 264 265 267 269 270 272 277 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 350 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 57 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 192 196 199 200 205 208 211 212 213 214 219 222 224 234 237 240 241 242 245 247 250 251 252 253 263 264 265 267 269 270 272 277 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 350 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 409 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 57 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 159 160 165 168 169 174 175 179 186 188 189 192 196 199 200 203 205 208 211 212 213 214 219 222 224 234 237 240 241 242 245 247 250 251 252 253 263 264 265 267 269 270 272 277 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 350 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 57 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 152 159 160 165 168 169 174 175 179 186 188 189 192 196 199 200 203 205 208 211 212 213 214 222 224 234 237 240 241 242 245 247 250 251 252 253 263 264 265 267 269 270 272 277 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 350 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 29 32 33 37 41 44 45 46 51 54 55 56 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 152 159 160 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 208 211 212 213 214 222 224 234 237 240 241 242 245 247 250 251 252 253 263 264 265 267 269 270 272 277 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 350 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 32 33 37 41 44 45 46 51 54 55 56 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 152 159 160 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 208 211 212 213 214 222 224 234 237 240 241 242 245 247 250 251 252 253 263 264 265 267 269 270 272 277 280 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 350 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 32 33 37 41 44 45 46 51 54 55 56 61 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 152 159 160 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 208 211 212 213 214 222 224 234 237 240 242 245 247 250 251 252 253 263 264 265 267 269 270 272 277 280 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 350 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 17 19 25 27 32 33 37 41 44 45 46 51 54 55 56 61 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 116 119 122 123 127 134 135 137 138 140 145 146 150 152 159 160 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 208 211 212 213 214 222 224 234 237 240 242 245 247 250 251 252 253 263 264 265 267 269 270 272 277 280 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 19 25 27 32 33 37 41 44 45 46 51 54 55 56 61 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 159 160 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 208 211 212 213 214 222 224 234 237 240 242 245 247 250 251 252 253 263 264 265 267 269 270 272 277 280 283 288 293 294 296 297 311 316 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 19 25 27 32 33 37 41 44 45 46 51 54 55 56 61 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 159 160 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 208 211 212 213 214 222 224 234 237 240 242 245 247 250 251 252 253 263 265 267 269 270 272 277 280 283 288 293 294 296 297 299 311 316 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 19 25 27 32 33 37 41 44 45 46 51 54 55 56 61 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 159 160 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 206 208 211 212 213 214 222 224 234 237 240 242 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 316 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 19 25 27 32 33 37 41 44 45 46 51 54 55 56 61 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 159 160 162 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 206 208 211 212 213 214 222 224 234 240 242 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 316 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 5 6 7 11 13 15 19 20 25 27 32 33 37 41 44 45 46 51 54 55 56 61 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 206 208 211 212 213 214 222 224 234 240 242 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 316 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 3 5 6 7 11 13 15 19 20 25 27 32 33 37 41 44 45 46 51 54 55 61 62 64 74 77 79 81 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 206 208 211 212 213 214 222 224 234 240 242 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 316 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 414 415 416 418 419 423 424 429 a 3 5 6 7 11 13 15 19 20 25 27 32 33 37 41 44 45 46 51 54 55 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 206 208 211 212 213 214 222 224 234 240 242 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 316 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 399 413 415 416 418 419 423 424 429 a 3 5 6 7 11 13 15 19 20 25 27 32 33 37 41 44 45 46 51 54 55 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 206 208 211 212 214 222 224 234 240 242 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 316 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 413 415 416 418 419 423 424 429 a 3 5 6 7 11 13 15 19 20 25 27 32 33 37 41 44 45 46 51 54 55 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 192 196 199 200 203 205 206 208 211 212 214 222 224 234 242 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 316 317 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 413 415 416 418 419 423 424 429 a 3 5 6 7 11 13 15 19 20 25 27 32 33 37 41 44 45 46 51 54 55 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 191 192 196 199 200 203 205 206 208 211 212 214 222 224 234 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 316 317 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 413 415 416 418 419 423 424 429 a 3 5 6 7 11 13 15 19 20 25 27 32 33 37 41 44 45 46 51 54 55 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 191 192 196 199 200 203 205 206 208 211 212 214 222 224 234 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 413 415 416 418 419 423 424 429 a 3 5 6 7 11 13 15 19 20 25 27 32 33 37 41 44 45 46 51 54 55 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 191 192 196 199 200 201 203 205 206 208 211 212 214 222 224 234 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 413 415 416 419 423 424 429 a 3 5 6 7 11 13 15 19 20 27 32 33 35 37 41 44 45 46 51 54 55 61 62 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 191 192 196 199 200 201 203 205 206 208 211 212 214 222 224 234 245 247 250 251 252 253 263 265 267 269 270 272 277 280 288 293 294 296 297 299 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 413 415 416 419 423 424 429 a 3 5 6 7 11 13 15 19 20 27 32 33 35 37 41 44 45 46 51 54 55 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 191 192 196 199 200 201 203 205 206 208 211 212 214 222 224 234 245 247 250 251 252 253 263 265 267 269 270 277 280 288 293 294 296 297 299 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 413 415 416 419 423 424 429 a 3 5 6 7 11 13 15 19 20 27 32 33 35 37 41 44 45 46 51 54 55 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 191 192 196 199 200 201 203 205 206 208 209 211 212 214 222 224 234 245 247 250 251 252 253 263 265 267 269 270 277 280 288 293 294 296 297 299 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 419 423 424 429 a 3 5 6 7 11 12 13 15 19 20 27 32 33 35 37 41 44 45 46 51 54 55 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 165 168 169 171 174 175 179 186 188 189 191 192 196 199 200 201 203 205 206 208 209 211 212 214 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 419 423 424 429 a 3 5 6 7 11 12 13 15 19 20 27 32 33 35 37 41 44 45 46 51 54 55 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 168 169 171 174 175 179 180 186 188 189 191 192 196 199 200 201 203 205 206 208 209 211 212 214 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 419 423 424 429 a 3 5 6 7 11 12 13 15 18 19 20 27 32 33 35 37 41 44 45 46 51 54 55 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 168 169 171 174 175 179 180 186 188 189 191 192 196 199 200 201 203 205 206 208 209 211 212 214 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 419 423 424 429 a 3 6 7 11 12 13 15 18 19 20 27 32 33 35 37 41 44 45 46 51 54 55 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 168 169 171 174 175 179 180 186 188 189 191 192 196 199 200 201 203 205 206 208 209 211 212 214 216 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 419 423 424 429 a 3 6 7 11 12 13 15 18 19 20 21 27 32 33 35 37 41 44 45 46 51 54 55 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 160 162 168 169 171 174 175 179 180 186 188 189 191 192 196 199 200 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 419 423 424 429 a 3 6 7 11 12 13 15 18 19 20 21 27 32 33 35 37 41 44 45 46 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 169 171 174 175 179 180 186 188 189 191 192 196 199 200 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 419 423 424 429 a 3 6 7 11 12 13 15 18 19 20 21 27 32 33 35 37 41 44 45 46 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 169 171 174 175 178 179 180 186 188 189 191 192 196 199 200 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 423 424 429 a 3 6 7 11 12 13 15 18 19 20 21 27 32 33 35 37 41 44 46 49 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 169 171 174 175 178 179 180 186 188 189 191 192 196 199 200 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 423 424 429 a 3 6 7 11 12 13 15 18 19 20 21 27 32 33 35 37 41 44 49 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 169 171 174 175 178 179 180 186 188 189 191 192 196 199 200 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 423 424 426 429 a 3 6 7 11 12 13 15 18 19 20 21 27 32 33 35 37 41 44 49 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 178 179 180 186 188 189 191 192 196 199 200 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 346 356 357 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 423 424 426 429 a 3 7 11 12 13 15 18 19 20 21 27 32 33 35 37 41 44 49 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 178 179 180 186 188 189 191 192 196 199 200 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 416 423 424 426 429 a 3 7 11 12 13 15 18 19 20 21 27 32 33 35 37 41 44 49 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 94 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 178 179 180 186 188 189 191 192 196 199 200 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 252 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 21 27 32 33 35 37 41 44 49 50 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 94 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 178 179 180 186 188 189 191 192 196 199 200 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 21 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 94 95 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 178 179 180 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 288 293 294 296 297 299 311 315 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 423 424 426 429 a 3 7 11 12 13 15 18 19 20 21 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 63 64 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 122 123 127 134 135 137 138 140 145 146 150 152 162 168 171 174 175 178 179 180 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 245 247 250 251 253 263 265 267 269 270 280 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 346 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 399 415 423 424 426 429 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance033_graph001.col /benchmark/random_instance/random_instance033_graph001_01.dat" User time (seconds): 568.78 System time (seconds): 5.29 Percent of CPU this job got: 154% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:10.45 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): 12707500 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4444745 Voluntary context switches: 785926 Involuntary context switches: 2219 Swaps: 0 File system inputs: 0 File system outputs: 896 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:29:36 2023]