#BEGIN: [Mon Sep 4 10:36:10 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #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 /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! 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 68 69 70 73 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 65 68 69 70 73 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 413 414 416 418 419 420 421 423 424 425 429 a 6 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 65 68 69 70 73 76 79 81 86 91 93 95 103 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 413 414 416 418 419 420 421 423 424 425 429 a 6 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 86 91 93 95 103 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 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 86 91 93 95 103 105 109 116 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 353 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 15 17 25 29 31 33 37 41 43 44 45 46 47 53 54 57 58 59 65 68 69 70 73 76 79 81 86 91 93 95 103 105 109 116 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 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 353 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 15 17 25 29 31 33 37 41 43 44 45 46 47 53 54 57 58 59 65 68 69 70 73 76 79 81 86 91 93 95 103 105 109 116 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 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 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 86 91 93 95 103 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 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 86 91 93 95 103 105 109 116 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 353 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 15 17 25 29 31 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 86 91 93 95 103 105 109 116 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 233 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 353 357 366 370 372 375 378 381 385 387 390 391 392 398 400 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 68 69 70 73 76 79 81 86 91 93 95 105 109 116 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 233 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 353 357 366 370 372 375 378 381 385 387 390 391 392 398 400 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 68 69 70 73 76 79 81 86 91 93 95 105 109 116 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 226 228 232 233 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 353 357 366 370 372 375 378 381 385 387 390 391 398 400 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 68 69 70 73 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 226 228 232 233 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 398 400 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 68 69 70 73 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 226 228 232 233 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 396 398 400 409 412 414 416 418 419 421 423 424 425 429 a 6 7 15 17 24 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 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 226 228 232 233 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 396 398 400 409 412 414 416 418 419 421 423 424 425 429 a 6 7 15 17 24 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 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 226 228 232 233 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 398 400 409 412 414 416 418 419 420 421 423 424 425 429 a 6 7 15 17 24 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 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 226 228 232 233 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 388 390 391 398 400 409 412 414 416 418 419 420 421 423 424 425 429 a 6 7 15 17 24 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 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 226 228 232 233 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 388 390 391 396 398 400 409 412 414 416 418 419 421 423 424 425 429 a 6 7 15 17 24 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 184 186 187 188 190 193 200 208 210 213 214 218 226 228 232 233 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 388 390 391 396 398 400 409 412 414 416 418 419 421 423 424 425 429 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 184 186 187 188 190 193 200 208 210 213 214 218 226 228 232 233 236 237 238 239 240 241 242 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 388 390 391 396 398 400 409 412 414 416 418 419 421 423 424 425 429 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 184 186 187 188 190 193 200 208 210 213 214 218 228 232 233 236 237 238 239 240 241 242 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 388 390 391 396 398 400 409 412 414 416 418 419 421 423 424 425 429 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 57 58 59 65 68 69 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 184 186 187 188 190 193 200 208 210 212 213 214 218 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 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 388 390 391 396 398 400 409 412 414 416 418 419 421 423 424 425 429 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 59 65 68 69 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 184 186 187 188 190 193 200 208 210 212 213 214 218 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 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 388 390 391 396 398 400 409 412 414 416 418 419 421 423 424 425 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 69 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 163 165 166 169 175 182 184 186 187 188 190 193 200 208 210 212 213 214 218 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 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 388 390 391 392 396 398 400 409 412 414 416 418 419 421 423 424 425 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 69 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 208 210 212 213 214 218 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 398 400 409 412 414 416 418 419 421 423 424 425 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 69 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 212 213 214 218 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 398 400 409 412 414 416 418 419 421 423 424 425 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 69 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 212 213 214 218 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 398 400 409 412 414 416 418 419 421 423 424 429 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 212 213 214 218 219 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 297 303 307 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 398 400 409 412 414 416 418 419 421 423 424 429 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 212 213 214 218 219 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 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 388 390 391 392 396 398 400 409 412 414 416 418 419 421 423 424 a 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 128 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 212 213 214 219 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 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 388 390 391 392 396 398 400 409 412 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 212 213 214 219 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 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 388 390 391 392 396 398 400 409 412 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 219 228 232 233 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 398 400 409 412 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 56 57 58 65 68 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 127 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 88 91 93 95 105 109 118 119 121 122 127 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 398 400 402 409 412 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 88 91 93 95 105 109 118 119 121 122 127 129 130 133 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 388 390 391 392 396 398 400 402 409 412 413 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 88 91 93 95 105 109 118 119 121 122 123 127 129 130 138 142 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 388 390 391 392 396 398 400 402 409 412 413 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 88 91 93 95 105 109 118 119 121 122 123 127 129 130 138 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 388 390 391 392 396 398 400 402 409 412 413 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 88 91 93 95 105 118 119 121 122 123 127 129 130 138 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 388 390 391 392 396 397 398 400 402 409 412 413 414 416 418 419 421 423 424 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 88 91 93 95 105 118 119 121 122 123 127 129 130 138 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 397 398 400 402 409 412 413 414 416 418 419 421 423 425 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 88 91 93 95 105 118 119 121 122 123 127 128 129 130 138 143 146 150 163 165 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 397 398 400 402 409 412 413 414 416 418 419 421 423 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 88 91 93 95 105 118 119 121 122 123 127 128 129 130 138 143 146 150 163 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 397 398 400 402 409 412 413 414 416 418 419 421 423 429 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 88 91 93 95 105 109 118 119 121 122 123 127 128 129 130 138 143 146 150 163 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 398 400 402 409 412 413 414 416 418 419 421 423 429 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 123 127 128 129 130 138 143 146 150 163 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 400 402 409 412 413 414 416 418 419 421 423 429 a 5 6 7 13 15 17 24 25 29 33 37 41 43 44 45 46 53 54 56 57 58 65 68 70 73 76 79 81 88 91 93 95 105 109 118 119 121 122 123 127 128 129 130 138 143 146 150 163 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 400 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 65 68 70 73 76 79 81 88 91 93 95 97 105 109 118 119 121 122 123 127 128 129 130 138 143 146 150 163 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 400 409 412 413 414 416 418 419 421 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 65 68 70 73 76 79 81 88 91 93 95 97 105 109 118 119 121 122 123 127 128 129 130 138 140 143 146 150 163 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 400 409 412 413 414 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 65 68 70 73 76 79 81 88 91 93 95 97 105 108 109 118 119 121 122 123 127 128 129 130 138 140 143 146 150 163 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 323 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 400 409 412 414 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 97 105 108 109 118 119 121 122 123 127 128 129 130 138 140 143 146 150 163 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 219 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 400 409 412 414 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 97 105 108 109 116 118 119 121 122 123 127 128 129 130 138 140 143 146 150 163 166 169 175 182 184 186 187 188 190 193 200 210 213 214 218 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 385 387 388 390 391 392 396 400 409 412 414 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 97 105 108 109 116 118 119 121 122 123 127 128 129 130 138 140 143 146 150 163 166 169 175 179 182 184 186 187 188 190 193 200 210 213 214 218 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 392 396 400 409 412 414 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 97 105 108 109 116 118 119 121 122 123 127 128 129 130 138 140 143 146 150 166 169 175 179 182 184 186 187 188 190 193 200 210 213 214 218 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 392 396 400 409 412 414 415 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 68 70 73 76 79 81 88 91 93 95 97 105 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 179 182 184 186 187 188 190 193 200 210 213 214 218 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 392 396 400 409 412 414 415 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 70 73 74 76 79 81 88 91 93 95 97 105 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 179 182 184 186 187 188 190 193 200 210 213 214 218 228 232 236 237 238 239 240 241 242 247 248 252 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 392 396 400 409 412 414 415 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 70 73 74 76 79 81 88 91 93 95 97 105 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 179 182 184 186 187 188 190 193 200 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 255 258 259 260 262 263 264 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 392 396 400 409 412 414 415 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 70 73 74 76 79 81 88 91 93 95 97 105 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 179 182 184 186 187 188 190 193 200 210 213 214 218 228 232 236 237 238 239 240 241 242 245 247 248 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 392 396 400 409 412 414 415 416 418 419 423 424 429 a 5 6 7 13 15 17 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 70 73 74 76 79 81 88 91 93 95 97 100 105 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 179 182 184 186 187 188 190 193 200 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 392 396 400 409 412 414 415 416 418 419 423 424 429 a 5 6 7 13 15 17 19 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 70 73 74 76 79 81 88 91 93 95 97 100 105 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 179 182 184 186 187 188 190 193 200 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 396 400 409 412 414 415 416 418 419 423 424 429 a 5 6 7 13 15 17 19 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 105 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 179 182 184 186 187 188 190 193 200 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 396 400 409 412 414 415 416 418 419 423 424 429 a 5 6 7 13 15 17 19 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 105 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 210 213 214 228 232 236 237 238 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 308 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 396 400 409 412 414 415 416 418 423 424 429 a 5 6 7 13 15 17 19 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 105 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 210 212 213 214 228 232 236 237 238 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 372 375 378 381 387 388 390 391 396 400 409 412 414 415 416 418 423 424 429 a 5 6 7 13 15 17 19 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 210 212 213 214 228 232 236 237 238 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 378 381 387 388 390 391 396 400 409 412 414 415 416 418 423 424 429 a 5 6 7 13 15 17 19 24 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 210 212 213 214 228 232 236 237 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 400 409 412 414 415 416 418 423 424 429 a 5 6 7 11 13 15 17 19 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 210 212 213 214 228 232 236 237 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 400 409 412 414 415 416 418 423 424 429 a 5 6 7 11 13 15 17 19 25 29 33 37 41 44 45 46 53 54 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 129 138 140 143 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 210 211 212 213 214 228 232 236 237 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 416 418 423 424 429 a 5 6 7 11 13 15 17 19 25 29 33 37 41 44 45 46 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 138 140 143 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 210 211 212 213 214 228 232 236 237 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 416 418 423 424 429 a 5 6 7 11 13 15 17 19 25 29 33 37 41 44 45 46 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 138 140 143 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 210 211 212 213 214 222 232 236 237 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 416 418 423 424 429 a 5 6 7 11 13 15 17 19 25 29 33 37 41 44 45 46 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 211 212 213 214 222 232 236 237 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 273 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 416 418 423 424 429 a 5 6 7 11 13 15 17 19 25 29 33 37 41 44 45 46 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 211 212 213 214 222 232 236 237 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 416 418 423 424 429 a 6 7 11 13 15 17 19 21 25 29 33 37 41 44 45 46 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 211 212 213 214 222 232 236 237 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 275 276 277 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 416 418 423 424 429 a 6 7 11 13 15 17 19 21 25 33 37 41 44 45 46 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 193 200 211 212 213 214 222 232 236 237 239 240 241 242 245 247 248 250 255 258 259 260 262 263 265 267 269 270 272 275 276 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 416 418 423 424 429 a 6 7 11 13 15 17 19 21 25 33 37 41 44 45 46 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 211 212 213 214 222 232 236 237 239 240 241 242 245 247 248 250 255 259 260 262 263 265 267 269 270 272 275 276 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 416 418 423 424 429 a 6 7 11 13 15 17 19 21 25 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 211 212 213 214 222 232 236 237 239 240 241 242 245 247 248 250 255 259 260 262 263 265 267 269 270 272 275 276 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 418 423 424 429 a 6 7 11 13 15 17 19 21 25 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 211 212 213 214 222 232 236 237 239 240 241 242 245 247 248 250 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 331 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 418 423 424 429 a 6 7 11 13 15 17 19 21 25 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 211 212 213 214 222 236 237 239 240 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 331 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 412 414 415 418 423 424 429 a 6 7 11 13 15 17 19 21 25 32 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 211 212 213 214 222 236 237 239 240 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 331 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 94 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 211 212 213 214 222 236 237 239 240 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 331 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 409 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 94 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 211 212 213 214 222 236 237 239 240 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 331 332 333 342 350 357 366 370 371 372 375 377 378 381 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 94 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 211 212 213 214 222 236 237 239 240 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 94 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 211 212 213 214 216 222 236 237 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 331 333 342 350 356 357 366 370 371 372 375 377 378 381 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 94 95 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 211 212 213 214 216 222 236 237 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 296 297 299 303 307 309 311 316 318 321 324 331 333 342 343 356 357 366 370 371 372 375 377 378 381 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 73 74 76 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 211 212 213 214 216 222 236 237 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 316 318 321 324 331 333 342 343 356 357 366 370 371 372 375 377 378 381 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 37 41 44 45 46 50 53 54 55 56 57 58 59 65 74 76 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 211 212 213 214 216 222 236 237 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 316 318 321 324 331 333 342 343 356 357 366 370 371 372 375 377 378 381 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 53 54 55 56 57 58 59 65 74 76 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 143 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 211 212 213 214 216 222 236 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 316 318 321 324 331 333 342 343 356 357 366 370 371 372 375 377 378 381 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 53 54 55 56 57 58 59 65 74 76 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 211 212 213 214 216 222 236 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 316 318 321 324 331 333 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 53 54 55 56 57 58 59 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 205 211 212 213 214 216 222 236 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 316 318 321 324 331 333 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 53 54 55 56 57 58 59 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 205 211 212 214 216 222 236 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 316 317 318 321 324 331 333 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 54 55 56 57 58 59 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 205 211 212 214 216 222 236 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 316 317 318 321 324 331 333 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 54 55 56 57 58 59 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 205 211 212 214 216 222 236 239 241 242 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 317 318 321 324 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 54 55 56 57 58 59 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 205 211 212 214 216 222 236 239 241 245 247 248 250 251 255 259 260 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 315 317 318 321 324 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 54 55 56 57 58 59 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 166 169 171 175 178 179 182 184 186 187 188 190 192 193 200 203 205 211 212 214 216 222 224 236 239 241 245 247 248 250 251 255 259 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 315 317 318 321 324 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 54 55 56 57 58 59 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 166 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 211 212 214 216 222 224 236 239 241 245 247 248 250 251 255 259 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 315 317 318 321 324 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 3 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 54 55 57 58 59 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 166 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 211 212 214 216 222 224 236 239 241 245 247 248 250 251 255 259 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 309 311 315 317 318 321 324 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 3 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 54 55 57 58 59 62 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 166 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 211 212 214 216 222 224 236 239 241 245 247 248 250 251 255 259 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 311 315 317 318 321 324 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 3 7 11 13 15 17 19 21 25 32 33 35 37 41 44 45 46 50 54 55 57 58 59 62 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 166 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 211 212 214 216 222 224 236 239 241 245 247 248 250 251 259 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 3 7 11 13 15 17 19 21 25 27 32 33 35 37 41 44 45 46 50 54 55 57 58 59 62 65 74 79 81 88 91 93 94 97 100 108 109 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 211 212 214 216 222 224 236 239 241 245 247 248 250 251 259 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 3 7 11 13 15 19 21 25 27 32 33 35 37 41 44 45 46 50 54 55 57 58 59 62 65 74 79 81 88 91 93 94 97 100 108 109 112 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 211 212 214 216 222 224 236 239 241 245 247 248 250 251 259 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 311 315 317 318 321 324 330 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 3 7 11 13 15 19 21 25 27 32 33 35 37 41 44 45 46 50 54 55 57 58 59 62 65 74 79 81 88 91 93 94 97 100 108 109 112 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 211 212 214 216 222 224 236 239 241 245 247 248 250 251 259 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 311 315 317 318 324 330 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 414 415 418 423 424 429 a 3 7 11 13 15 19 21 25 27 32 33 35 37 41 44 45 46 50 54 55 57 58 59 62 65 74 79 81 84 88 91 93 94 97 100 108 109 112 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 211 212 214 216 222 224 236 239 241 245 247 248 250 251 259 262 263 265 267 269 270 272 275 277 280 281 283 288 293 294 295 296 297 299 303 307 311 315 317 318 324 330 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 19 21 25 27 32 33 35 37 41 44 45 46 50 54 55 57 58 59 62 65 74 79 81 84 88 91 93 94 97 100 108 109 112 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 206 211 212 214 216 222 224 236 239 241 245 247 248 250 251 259 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 307 311 315 317 318 324 330 331 333 341 342 343 356 357 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 19 21 25 27 32 33 35 37 41 44 45 50 54 55 57 58 59 62 65 74 79 81 84 88 91 93 94 97 100 108 109 112 116 118 119 121 122 123 127 128 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 206 211 212 214 216 222 224 236 239 241 245 247 248 250 251 259 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 307 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 19 21 25 27 32 33 35 37 41 44 45 50 54 55 57 59 62 65 74 79 81 84 88 91 93 94 97 100 108 109 112 116 118 119 121 122 123 127 128 134 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 206 211 212 214 216 222 224 236 239 241 245 247 248 250 251 259 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 307 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 19 21 25 27 32 33 35 37 41 44 45 50 54 55 57 59 62 65 74 79 81 84 88 91 93 94 96 97 100 108 109 112 116 118 119 121 122 123 127 128 134 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 206 211 212 214 216 222 224 236 239 241 245 247 248 250 251 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 307 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 18 19 21 25 27 32 33 35 37 41 44 45 50 54 55 57 59 62 65 74 79 81 84 88 91 93 94 96 97 100 108 109 112 116 118 119 121 122 123 127 128 134 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 190 192 193 199 203 205 206 211 212 214 216 222 224 236 239 241 245 247 250 251 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 307 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 18 19 21 25 27 32 33 35 37 41 44 45 50 54 55 57 59 62 65 74 79 81 84 88 91 93 94 96 97 100 108 109 112 116 118 119 121 122 123 127 128 134 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 192 193 199 203 205 206 211 212 214 216 222 224 234 236 239 241 245 247 250 251 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 307 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 18 19 21 25 27 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 74 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 121 122 123 127 128 134 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 192 193 199 203 205 206 211 212 214 216 222 224 234 236 239 241 245 247 250 251 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 307 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 18 19 21 25 27 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 121 122 123 127 128 134 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 184 186 187 188 192 193 199 203 205 206 211 212 214 216 222 224 234 236 239 241 245 247 250 251 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 18 19 21 25 27 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 121 122 123 127 128 134 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 186 187 188 191 192 193 199 203 205 206 211 212 214 216 222 224 234 236 239 241 245 247 250 251 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 18 19 21 25 27 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 121 122 123 127 134 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 186 187 188 189 191 192 193 199 203 205 206 211 212 214 216 222 224 234 236 239 241 245 247 250 251 262 263 265 267 269 270 272 275 277 280 281 288 293 294 295 296 297 299 303 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 429 a 3 7 11 13 15 18 19 21 25 27 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 74 77 79 81 84 88 91 93 94 96 97 100 108 109 112 116 119 121 122 123 127 134 135 137 138 140 145 146 150 152 162 169 171 175 178 179 182 186 187 188 189 191 192 193 199 203 205 206 211 212 214 216 222 224 234 236 239 241 245 247 250 251 262 263 265 267 269 270 275 277 280 281 288 293 294 295 296 297 299 303 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 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 169 171 175 178 179 182 186 187 188 189 191 192 193 199 203 205 206 211 212 214 216 222 224 234 236 239 241 245 247 250 251 262 263 265 267 269 270 275 277 280 281 288 293 294 295 296 297 299 303 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 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 169 171 175 178 179 182 186 187 188 189 191 192 193 199 203 205 206 211 212 214 216 222 224 234 236 241 245 247 250 251 262 263 265 267 269 270 275 277 280 281 288 293 294 295 296 297 299 303 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 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 169 171 175 178 179 182 186 187 188 189 191 192 193 199 203 205 206 211 212 214 216 222 224 234 236 241 245 247 250 251 262 263 265 267 269 270 275 277 280 281 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 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 169 171 175 178 179 182 186 187 188 189 191 192 199 203 205 206 209 211 212 214 216 222 224 234 236 241 245 247 250 251 262 263 265 267 269 270 275 277 280 281 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 396 415 418 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 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 169 171 175 178 179 182 186 187 188 189 191 192 199 203 205 206 209 211 212 214 216 222 224 234 241 245 247 250 251 262 263 265 267 269 270 275 277 280 281 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 415 418 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 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 169 171 175 178 179 182 186 187 188 189 191 192 199 201 203 205 206 209 211 212 214 216 222 224 234 241 245 247 250 251 262 263 265 267 269 270 275 277 280 281 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 415 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 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 169 171 175 178 179 182 186 188 189 191 192 199 201 203 205 206 209 211 212 214 216 222 224 234 241 245 247 250 251 253 262 263 265 267 269 270 275 277 280 281 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 415 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 65 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 169 171 175 178 179 182 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 241 245 247 250 251 253 262 263 265 267 269 270 277 280 281 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 415 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 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 169 171 174 175 178 179 182 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 241 245 247 250 251 253 262 263 265 267 269 270 277 280 281 288 293 294 295 296 297 299 311 315 317 318 324 330 331 333 341 342 343 356 357 359 366 369 370 371 372 375 377 378 381 383 387 388 390 391 393 396 415 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 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 182 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 241 245 247 250 251 253 262 263 265 267 269 270 277 280 281 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 415 423 424 426 429 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 45 50 51 54 55 57 59 62 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 182 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 241 245 247 250 251 253 263 265 267 269 270 277 280 281 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 a 3 7 11 13 15 18 19 21 25 27 30 32 33 35 37 41 44 49 50 51 54 55 57 59 62 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 182 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 241 245 247 250 251 253 263 265 267 269 270 277 280 281 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 a 3 7 11 13 15 18 19 20 21 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 62 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 182 186 188 189 191 192 196 199 201 203 205 206 209 211 212 214 216 222 224 234 241 245 247 250 251 253 263 265 267 269 270 277 280 281 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 a 3 7 11 13 15 18 19 20 21 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 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 182 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 277 280 281 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 a 3 7 11 13 15 18 19 20 21 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 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 182 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 281 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 a 3 7 11 12 13 15 18 19 20 21 25 27 30 32 33 35 37 41 44 49 50 51 54 55 59 61 62 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 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 281 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 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 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 281 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 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 /benchmark/random_instance/random_instance033_graph001.col /benchmark/random_instance/random_instance033_graph001_01.dat" User time (seconds): 67.51 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:07.63 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): 304276 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 111198 Voluntary context switches: 24 Involuntary context switches: 126 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: [Mon Sep 4 10:37:18 2023]