#BEGIN: [Tue Sep 26 01:02:28 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance035_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance035_graph003_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_instance035_graph003.col /benchmark/random_instance/random_instance035_graph003_01.dat c /benchmark/random_instance/random_instance035_graph003.col c /benchmark/random_instance/random_instance035_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! s 294 242 400 165 105 17 333 192 361 9 181 358 243 157 167 45 76 5 69 172 452 60 419 322 59 199 327 209 95 408 259 19 331 151 375 233 387 170 240 296 258 250 62 396 216 34 444 275 282 194 269 125 234 121 329 140 189 271 404 402 335 190 128 414 356 349 270 437 203 40 318 3 85 137 174 75 447 313 334 370 292 390 328 48 171 179 307 168 251 332 229 217 6 381 25 50 267 4 110 314 395 255 316 180 15 409 166 123 182 355 1 87 435 415 438 264 155 139 261 38 21 285 35 211 162 280 449 102 436 43 266 107 236 253 134 354 385 429 286 t 86 266 184 222 279 341 68 337 44 403 325 239 36 428 153 85 415 131 143 212 198 57 238 207 154 163 436 142 77 181 234 435 308 71 117 152 373 146 227 315 318 380 187 316 355 100 363 406 290 165 306 401 213 173 199 88 343 183 409 307 215 419 416 269 253 313 305 14 113 389 322 429 82 384 317 177 200 236 282 258 324 205 94 126 289 394 256 6 169 402 95 202 249 206 334 201 1 447 335 449 300 302 344 195 261 358 255 160 251 104 30 336 140 276 134 110 298 371 397 5 277 92 395 345 59 444 125 228 180 418 399 40 192 167 19 164 432 9 66 a YES a 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 400 402 404 408 409 414 415 419 429 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 52 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 402 404 408 409 414 415 419 429 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 52 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 402 404 408 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 52 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 350 354 355 356 358 361 370 375 381 385 387 390 395 396 402 404 408 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 52 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 145 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 350 354 355 356 358 361 370 375 381 385 387 390 395 396 402 404 408 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 52 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 145 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 402 404 408 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 52 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 402 404 408 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 52 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 307 312 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 402 404 408 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 13 15 17 19 21 25 34 35 38 40 43 45 48 50 52 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 307 312 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 356 358 361 370 375 381 385 387 390 395 396 402 404 408 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 13 15 17 19 21 25 34 35 38 40 43 45 48 50 52 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 307 312 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 356 357 358 361 370 375 381 385 387 390 395 396 402 404 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 13 15 17 19 21 25 34 35 38 40 43 45 48 50 52 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 354 356 357 358 361 370 375 381 385 387 390 395 396 402 404 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 13 15 17 19 21 25 34 35 38 40 43 45 48 50 52 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 354 356 357 358 370 375 381 385 387 390 395 396 402 404 409 414 415 419 429 431 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 13 15 17 19 21 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 354 356 357 358 370 375 381 385 387 390 395 396 402 404 409 414 415 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 21 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 358 370 375 381 385 387 390 395 396 402 404 409 414 415 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 21 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 358 370 375 381 385 387 395 396 402 404 409 414 415 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 358 370 374 375 381 385 387 395 396 402 404 409 414 415 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 358 370 374 375 381 385 387 395 396 402 404 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 358 370 374 375 381 383 385 387 395 396 404 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 358 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 216 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 125 128 134 137 139 140 144 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 216 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 111 121 125 128 134 137 139 140 144 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 216 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 318 322 327 329 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 111 121 125 128 134 137 139 140 144 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 216 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 318 322 327 329 331 332 333 334 335 346 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 111 121 123 125 128 137 139 140 144 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 216 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 318 322 327 329 331 332 333 334 335 346 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 111 121 123 125 128 137 139 144 151 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 216 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 318 322 327 329 331 332 333 334 335 346 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 111 121 123 125 128 134 137 139 144 151 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 216 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 264 266 267 269 270 271 280 282 285 292 294 300 307 312 313 314 318 322 327 329 331 332 333 334 335 346 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 111 121 123 125 128 134 137 139 144 151 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 216 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 264 266 267 269 270 271 280 282 285 292 294 296 300 307 312 313 314 318 322 327 329 331 332 333 334 335 346 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 111 121 123 125 128 134 137 139 144 151 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 264 266 267 269 270 271 280 282 285 292 294 296 300 302 307 312 313 314 318 322 327 329 331 332 333 334 335 346 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 111 121 123 125 128 134 137 139 144 151 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 302 307 312 313 314 318 322 327 329 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 111 121 123 125 128 134 137 139 144 151 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 302 307 312 313 314 318 322 327 329 331 332 333 335 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 294 296 300 302 307 312 313 314 316 318 322 327 329 331 332 333 335 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 292 294 296 300 302 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 292 296 300 302 307 312 313 314 316 318 322 327 329 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 307 312 313 314 316 318 322 327 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 385 387 395 396 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 307 312 313 314 316 318 322 327 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 385 387 395 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 10 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 307 312 313 314 316 318 322 327 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 387 395 403 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 307 312 313 314 316 318 322 327 331 332 333 334 335 349 350 354 356 357 370 374 375 381 383 387 395 403 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 307 312 313 314 316 318 322 327 331 332 333 334 335 349 350 354 356 357 370 374 375 381 387 395 402 403 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 25 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 170 171 172 174 177 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 307 312 313 314 316 318 322 327 331 333 334 335 349 350 354 356 357 370 374 375 381 387 395 402 403 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 174 177 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 307 312 313 314 316 318 322 327 331 333 334 335 349 350 354 356 357 370 374 375 381 387 395 402 403 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 235 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 307 312 313 314 316 318 322 327 331 333 334 335 349 350 354 356 357 370 374 375 381 387 395 402 403 409 414 415 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 203 209 211 217 225 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 307 312 313 314 316 318 322 327 331 333 334 335 349 350 354 356 357 370 374 375 381 387 395 402 403 409 414 415 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 45 48 50 52 58 59 60 62 69 70 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 209 211 217 225 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 327 331 333 334 335 349 350 354 356 357 370 374 375 381 387 395 402 403 409 414 415 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 44 45 48 50 52 58 59 60 62 69 70 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 209 211 217 225 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 327 331 333 334 335 349 350 354 356 357 370 374 381 387 395 402 403 409 414 415 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 44 45 48 50 52 58 59 60 62 69 70 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 225 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 327 331 334 335 349 350 354 356 357 370 374 381 387 395 402 403 409 414 415 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 44 45 48 50 52 58 59 60 62 69 70 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 225 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 327 331 334 335 349 350 354 357 370 374 381 387 395 402 403 409 414 415 418 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 44 45 48 50 52 58 59 60 62 69 70 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 225 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 331 334 335 349 350 354 357 370 374 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 44 45 48 50 52 58 59 60 62 69 70 76 77 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 331 334 335 349 350 354 357 370 374 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 452 a 1 3 4 5 6 9 13 15 17 19 34 35 38 40 43 44 45 48 50 52 58 59 60 62 69 70 76 77 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 331 334 335 349 350 354 357 370 374 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 13 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 172 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 331 334 335 349 350 354 357 370 374 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 13 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 331 334 335 349 350 354 357 363 370 374 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 13 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 87 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 229 233 234 236 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 324 331 334 335 349 350 354 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 13 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 229 233 234 236 239 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 318 322 324 331 334 335 349 350 354 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 13 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 95 102 105 107 110 121 123 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 229 233 234 236 239 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 349 350 354 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 13 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 95 102 105 107 110 121 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 170 171 173 174 177 179 180 181 182 189 190 192 194 197 199 206 209 211 217 229 233 234 236 239 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 13 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 95 102 105 107 110 121 125 128 134 137 139 144 151 153 154 155 156 157 162 164 165 166 167 168 169 171 173 174 177 179 180 181 182 183 189 190 192 194 197 199 206 209 211 217 229 233 234 236 239 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 13 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 95 102 105 107 110 121 125 128 134 137 139 140 144 151 153 154 155 157 162 164 165 166 167 168 169 171 173 174 177 179 180 181 182 183 189 190 192 194 197 199 206 209 211 217 229 233 234 236 239 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 95 102 105 107 110 121 125 128 134 137 139 140 144 151 153 154 155 157 162 164 165 166 167 168 169 171 173 174 177 179 180 181 182 183 189 190 192 194 197 199 206 209 211 217 229 233 234 236 239 240 242 243 251 253 255 258 259 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 95 102 105 107 110 121 125 128 134 137 139 140 144 151 153 154 155 157 162 163 164 165 166 167 168 169 171 173 174 177 179 180 181 182 183 189 190 192 194 197 199 206 209 211 217 229 233 234 236 239 240 242 243 251 253 255 258 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 76 77 85 95 102 105 107 110 121 125 128 134 137 139 140 144 151 153 154 155 157 160 162 163 164 165 166 167 168 169 171 173 174 177 179 180 181 182 183 189 190 192 197 199 206 209 211 217 229 233 234 236 239 240 242 243 251 253 255 258 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 77 85 95 102 105 107 110 121 125 128 134 137 139 140 144 151 153 154 155 157 160 162 163 164 165 166 167 168 169 171 173 174 177 179 180 181 182 183 189 190 192 197 199 206 209 211 217 229 233 234 236 239 240 242 243 249 251 253 255 258 261 264 266 267 269 270 271 276 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 77 85 95 102 105 107 110 121 125 128 134 137 139 140 144 153 154 155 157 160 162 163 164 165 166 167 168 169 171 173 174 177 179 180 181 182 183 189 190 192 197 199 206 209 211 217 229 233 234 236 239 240 242 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 102 105 107 110 121 125 128 134 137 139 140 144 153 154 155 157 160 162 163 164 165 166 167 168 169 171 173 174 177 179 180 181 182 183 189 190 192 199 206 209 211 217 229 233 234 236 239 240 242 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 102 105 107 110 121 125 128 134 137 139 140 144 153 154 155 157 160 162 163 164 165 166 167 169 171 173 174 177 179 180 181 182 183 189 190 192 199 206 209 211 217 229 233 234 236 239 240 242 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 34 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 105 107 110 121 125 128 134 137 139 140 144 153 154 155 157 160 162 163 164 165 166 167 169 171 173 174 177 179 180 181 182 183 189 190 192 199 206 209 211 217 229 233 234 236 239 240 242 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 341 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 105 107 110 121 125 128 134 137 139 140 144 153 154 155 157 160 162 163 164 165 166 167 169 171 173 174 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 242 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 334 335 341 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 105 107 110 121 125 128 134 137 139 140 144 153 154 155 157 160 162 163 164 165 166 167 169 171 173 174 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 344 349 350 354 355 357 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 105 107 110 121 125 128 134 137 139 140 144 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 344 349 350 354 355 357 358 363 370 381 387 395 402 403 406 409 414 415 418 419 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 105 107 110 121 125 128 134 137 139 140 144 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 344 349 350 354 355 357 358 363 381 387 395 402 403 406 409 414 415 418 419 428 429 431 435 436 437 438 447 449 a 1 3 4 5 6 9 14 15 17 19 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 105 107 110 121 125 128 134 137 139 140 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 344 349 350 354 355 357 358 363 381 387 395 402 403 406 409 414 415 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 105 107 110 121 125 128 134 137 139 140 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 280 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 343 344 349 350 354 355 357 358 363 381 387 395 402 403 406 409 414 415 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 48 50 52 58 59 60 62 69 70 71 77 85 95 105 107 110 121 125 128 134 137 139 140 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 343 344 349 350 354 355 357 358 363 381 384 387 395 402 403 406 409 414 415 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 48 50 52 58 59 60 69 70 71 77 85 95 105 107 110 121 125 128 134 137 139 140 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 343 344 349 350 354 355 357 358 363 381 384 387 394 395 402 403 406 409 414 415 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 48 50 52 58 59 60 69 70 71 77 85 95 105 107 110 121 125 126 128 134 137 139 140 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 343 344 349 354 355 357 358 363 381 384 387 394 395 402 403 406 409 414 415 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 50 52 58 59 60 69 70 71 77 85 95 105 107 110 121 125 126 128 134 137 139 140 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 343 344 349 354 355 357 358 363 381 384 387 394 395 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 50 52 59 60 69 70 71 77 85 95 105 107 110 121 125 126 128 134 137 139 140 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 343 344 349 354 355 357 358 363 381 384 387 394 395 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 50 52 59 60 69 70 71 77 85 95 105 107 110 121 125 126 128 134 137 139 140 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 271 276 277 279 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 343 344 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 50 52 59 60 69 70 71 77 85 86 95 105 107 110 121 125 126 128 134 137 139 140 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 267 269 270 276 277 279 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 343 344 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 50 52 59 60 69 70 71 77 85 86 95 105 107 110 121 125 126 128 134 137 139 140 146 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 300 302 305 307 312 313 314 316 317 318 322 324 325 334 335 341 343 344 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 50 52 59 60 69 70 71 77 85 86 95 105 107 110 121 125 126 128 134 137 139 140 146 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 233 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 50 52 59 60 69 70 71 77 85 86 95 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 171 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 15 17 19 35 38 40 43 44 50 52 57 59 60 69 70 71 77 85 86 95 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 38 40 43 44 50 52 57 59 60 69 70 71 77 85 86 95 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 179 180 181 182 183 189 190 192 199 205 206 209 211 217 229 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 38 40 43 44 50 57 59 60 69 70 71 77 85 86 95 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 179 180 181 182 183 189 190 192 195 199 205 206 209 211 217 229 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 38 40 43 44 50 57 59 60 69 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 179 180 181 182 183 189 190 192 195 199 205 206 209 211 229 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 38 40 43 44 50 57 59 60 69 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 179 180 181 182 183 190 192 195 199 200 205 206 209 211 229 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 38 40 43 44 50 57 59 60 69 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 199 200 205 206 209 211 229 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 298 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 38 40 44 50 57 59 60 69 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 198 199 200 205 206 209 211 229 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 298 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 38 40 44 50 57 59 60 69 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 198 199 200 205 206 209 211 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 298 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 60 69 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 139 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 198 199 200 205 206 209 211 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 298 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 60 69 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 198 199 200 205 206 209 211 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 298 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 60 69 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 198 199 200 202 205 206 211 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 285 292 296 298 300 302 305 307 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 60 69 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 198 199 200 202 205 206 211 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 292 296 298 300 302 305 307 308 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 60 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 198 199 200 201 202 205 206 211 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 292 296 298 300 302 305 307 308 312 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 60 66 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 198 199 200 201 202 205 206 211 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 292 296 298 300 302 305 307 308 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 431 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 60 66 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 190 192 195 198 199 200 201 202 205 206 211 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 292 296 298 300 302 305 307 308 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 60 66 70 71 77 85 86 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 211 222 234 236 239 240 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 292 296 298 300 302 305 307 308 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 60 66 70 71 77 82 85 86 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 211 222 234 236 239 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 292 296 298 300 302 305 307 308 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 35 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 211 222 234 236 239 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 292 296 298 300 302 305 307 308 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 222 234 236 239 243 249 251 253 255 258 261 264 266 269 270 276 277 279 282 292 296 298 300 302 305 307 308 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 222 234 236 239 243 249 251 253 255 258 261 264 266 269 276 277 279 282 292 296 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 222 234 236 239 243 249 251 253 255 258 261 266 269 276 277 279 282 292 296 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 437 438 447 449 a 1 4 5 6 9 14 17 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 222 234 236 239 243 249 251 253 255 258 261 266 269 276 277 279 282 292 296 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 447 449 a 1 4 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 212 222 234 236 239 243 249 251 253 255 258 261 266 269 276 277 279 282 292 296 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 447 449 a 1 4 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 212 222 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 292 296 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 447 449 a 1 4 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 157 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 212 222 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 4 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 160 162 163 164 165 166 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 212 215 222 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 4 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 121 125 126 128 134 137 140 142 146 153 154 155 160 162 163 164 165 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 212 215 222 227 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 117 121 125 126 128 134 137 140 142 146 153 154 155 160 162 163 164 165 167 169 173 177 180 181 182 183 192 195 198 199 200 201 202 205 206 207 211 212 215 222 227 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 117 121 125 126 134 137 140 142 146 153 154 155 160 162 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 211 212 215 222 227 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 387 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 134 137 140 142 146 153 154 155 160 162 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 211 212 215 222 227 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 134 137 140 142 146 153 154 155 160 162 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 211 212 215 222 227 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 290 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 381 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 131 134 137 140 142 146 153 154 155 160 162 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 211 212 215 222 227 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 290 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 131 134 137 140 142 146 153 154 155 160 162 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 215 222 227 228 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 290 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 70 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 131 134 137 140 142 146 153 154 155 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 215 222 227 228 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 289 290 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 349 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 68 70 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 131 134 137 140 142 146 153 154 155 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 215 222 227 228 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 289 290 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 68 70 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 131 134 137 140 142 143 146 153 154 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 215 222 227 228 234 236 238 239 249 251 253 255 258 261 266 269 276 277 279 282 289 290 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 50 57 59 66 68 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 131 134 137 140 142 143 146 153 154 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 341 343 344 345 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 131 134 137 140 142 143 146 153 154 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 292 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 337 341 343 344 345 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 95 100 104 105 107 110 113 117 121 125 126 131 134 137 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 337 341 343 344 345 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 95 100 104 105 107 110 113 117 121 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 316 317 318 322 324 325 334 335 336 337 341 343 344 345 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 95 100 104 105 107 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 334 335 336 337 341 343 344 345 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 95 100 104 105 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 334 335 336 337 341 343 344 345 354 355 358 363 371 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 95 100 104 105 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 182 183 184 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 94 95 100 104 105 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 183 184 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 438 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 389 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 444 447 449 c Step: 126 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance035_graph003.col /benchmark/random_instance/random_instance035_graph003_01.dat" User time (seconds): 63.60 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:03.72 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): 326964 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 117840 Voluntary context switches: 21 Involuntary context switches: 343 Swaps: 0 File system inputs: 0 File system outputs: 888 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:03:33 2023]