#BEGIN: [Mon Sep 4 12:28:47 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance036_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance036_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance036_graph001.col /benchmark/random_instance/random_instance036_graph001_01.dat c /benchmark/random_instance/random_instance036_graph001.col c /benchmark/random_instance/random_instance036_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Queueing signal... *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 463 392 229 349 336 118 241 348 441 387 278 435 43 106 291 149 124 339 224 409 202 467 330 89 214 71 464 115 9 146 305 168 366 78 209 275 32 150 319 320 156 211 75 263 230 245 432 337 398 136 163 199 138 166 86 57 304 274 194 207 197 247 54 446 240 418 23 173 208 103 112 468 94 374 421 273 443 375 48 417 171 458 427 454 64 352 413 321 85 298 228 178 322 261 77 450 302 307 388 361 201 317 20 130 72 424 440 347 397 30 328 162 188 335 371 114 234 204 329 128 367 310 256 46 193 412 306 445 25 81 237 452 2 1 286 200 342 385 309 3 254 11 40 26 135 324 287 389 19 175 134 111 191 239 381 236 t 69 455 438 441 244 82 401 104 391 229 370 458 237 264 335 120 64 435 424 90 59 206 348 188 10 57 124 371 266 72 119 433 3 279 133 187 143 321 465 347 100 98 345 204 158 320 368 211 403 14 96 202 20 462 216 341 11 268 440 192 319 190 255 122 322 111 73 463 174 310 181 387 56 367 460 265 298 343 448 29 277 307 309 12 153 205 332 105 328 287 338 22 331 203 305 410 337 208 48 262 106 296 25 396 390 301 394 276 393 102 383 449 313 231 432 139 134 230 207 36 92 225 8 94 429 385 467 21 30 78 86 389 54 193 378 99 364 178 172 169 365 382 329 40 91 46 175 366 431 233 375 395 163 464 147 85 a YES a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 130 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 209 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 321 322 324 328 329 330 335 336 337 339 342 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 432 435 440 441 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 209 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 321 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 432 435 440 441 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 209 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 432 435 440 441 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 405 409 412 413 417 418 421 424 427 431 432 435 440 441 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 366 367 371 374 375 381 385 387 388 389 392 397 398 405 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 365 366 367 371 374 375 381 385 387 388 389 392 397 398 405 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 365 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 366 367 371 374 375 381 382 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 366 367 371 374 375 381 382 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 366 367 371 374 375 381 382 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 124 128 134 135 136 138 146 149 150 162 163 166 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 366 367 371 374 375 381 382 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 150 162 163 166 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 366 367 371 374 375 381 382 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 462 463 464 467 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 150 162 163 166 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 349 352 366 367 371 374 375 381 382 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 462 463 464 467 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 150 162 163 166 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 304 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 349 352 366 367 371 374 375 381 382 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 150 162 163 166 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 349 352 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 349 352 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 409 412 413 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 146 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 349 352 365 366 367 371 374 375 381 382 385 387 388 389 392 397 409 412 413 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 146 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 347 348 349 352 365 366 367 371 374 375 381 382 385 387 388 389 392 397 409 412 413 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 146 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 348 349 352 365 366 367 371 374 375 381 382 385 387 388 389 392 397 409 412 413 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 348 349 352 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 424 427 431 432 435 440 441 442 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 463 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 118 122 124 128 134 135 136 138 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 463 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 118 122 124 128 134 135 136 138 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 424 427 431 432 435 441 443 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 106 111 114 115 117 118 122 124 128 134 135 136 138 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 424 427 431 432 435 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 106 111 114 115 117 118 122 124 128 134 135 136 138 139 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 424 427 431 432 435 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 106 111 114 115 117 118 122 124 128 134 135 136 138 139 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 118 122 124 134 135 136 138 139 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 118 122 124 134 135 136 138 139 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 118 124 134 135 136 138 139 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 118 124 128 134 135 136 138 139 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 467 468 a 1 2 3 9 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 118 122 124 128 134 135 136 138 139 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 118 122 124 128 134 135 136 138 139 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 118 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 454 458 462 463 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 454 458 462 463 468 a 1 2 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 468 a 1 2 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 a 1 2 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 118 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 a 1 2 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 178 184 188 191 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 a 1 2 9 11 19 20 23 25 26 30 32 40 43 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 188 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 a 1 2 9 11 19 20 23 25 26 30 32 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 188 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 244 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 a 1 2 9 11 12 19 20 23 25 26 30 32 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 188 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 236 237 239 240 241 244 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 a 1 2 3 9 11 12 19 20 23 25 26 30 32 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 112 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 188 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 237 239 240 241 244 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 a 1 2 3 9 11 12 19 20 23 25 26 30 32 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 237 239 240 241 244 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 412 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 a 1 2 3 9 11 12 19 20 23 25 26 30 32 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 237 239 240 241 244 247 254 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 413 418 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 a 1 2 3 9 11 12 19 20 23 25 26 30 32 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 413 418 421 424 427 431 432 435 440 441 443 446 452 454 458 462 463 464 467 a 1 2 3 9 11 12 19 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 413 418 421 424 427 431 432 435 440 441 443 452 454 458 462 463 464 467 a 1 2 3 9 11 12 19 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 413 418 421 424 427 431 432 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 9 11 12 19 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 413 421 424 427 431 432 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 19 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 193 194 197 199 200 201 202 204 207 208 211 224 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 317 319 320 322 324 328 329 330 335 336 337 339 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 413 421 424 427 431 432 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 19 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 193 194 197 199 200 201 202 204 207 208 211 224 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 322 324 328 329 330 335 336 337 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 388 389 392 397 398 401 409 413 421 424 427 431 432 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 19 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 193 194 197 199 200 201 202 204 207 208 211 224 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 322 324 328 329 330 335 336 337 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 388 389 397 398 401 409 413 421 424 427 431 432 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 19 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 193 194 197 199 200 201 202 204 207 208 211 224 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 322 324 328 329 330 335 336 337 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 389 397 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 193 194 197 199 200 201 202 204 207 208 211 224 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 275 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 335 336 337 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 389 397 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 192 193 194 197 199 200 201 202 204 207 208 211 224 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 335 336 337 342 344 345 347 349 352 361 364 365 366 367 371 374 375 381 382 385 387 389 397 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 192 193 194 197 199 200 201 202 204 207 208 211 224 229 230 234 237 239 240 241 244 247 254 255 256 261 263 273 274 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 335 336 337 342 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 397 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 192 193 194 197 199 200 201 202 204 207 208 211 224 229 230 234 237 239 240 244 247 254 255 256 261 263 273 274 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 397 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 102 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 149 150 162 163 166 167 168 171 173 175 178 184 187 188 190 192 193 194 199 200 201 202 204 207 208 211 224 229 230 234 237 239 240 244 247 254 255 256 261 263 273 274 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 397 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 102 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 150 162 163 166 167 168 171 173 175 178 184 187 188 190 192 193 194 199 200 201 202 204 207 208 211 224 225 229 230 234 237 239 240 244 247 254 255 256 261 263 273 274 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 397 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 22 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 102 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 150 162 163 166 167 168 171 173 175 178 184 187 188 190 192 193 194 199 200 201 202 204 207 208 211 224 225 229 230 234 237 239 240 244 247 254 255 256 261 263 273 274 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 22 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 102 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 150 162 163 166 167 168 171 173 175 178 184 187 188 190 192 193 194 199 200 201 202 204 207 208 211 224 225 229 230 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 57 64 71 72 75 77 78 81 85 86 89 94 100 102 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 150 162 163 166 167 168 171 173 175 178 184 187 188 190 192 193 194 200 201 202 204 207 208 211 224 225 229 230 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 150 162 163 166 167 168 171 173 175 178 187 188 190 192 193 194 200 201 202 204 207 208 211 224 225 229 230 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 150 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 390 398 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 103 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 390 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 390 401 409 413 421 424 427 431 432 433 435 440 441 452 454 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 344 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 390 401 409 413 421 424 427 431 432 433 435 440 441 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 390 394 401 409 413 421 424 427 431 432 433 435 440 441 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 301 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 349 361 364 365 366 367 368 371 374 375 381 382 385 387 389 390 394 401 409 413 424 427 431 432 433 435 440 441 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 240 244 247 254 255 256 261 263 273 278 286 287 290 291 298 301 302 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 349 361 364 365 366 367 368 371 374 375 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 240 244 247 254 255 256 261 262 263 273 278 286 287 290 291 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 349 361 364 365 366 367 368 371 374 375 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 105 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 240 244 247 254 255 256 261 262 263 273 278 286 287 290 291 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 361 364 365 366 367 368 371 374 375 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 105 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 291 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 361 364 365 366 367 368 371 374 375 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 105 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 166 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 291 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 26 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 105 106 111 114 115 117 122 124 128 133 134 135 136 138 139 147 162 163 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 291 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 105 106 111 114 115 117 119 122 124 128 133 134 135 136 138 139 147 162 163 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 291 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 105 106 111 114 115 117 119 122 124 128 133 134 135 136 139 147 162 163 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 291 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 94 100 102 105 106 111 114 115 117 119 122 124 128 133 134 135 136 139 147 153 162 163 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 291 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 94 100 102 105 106 111 114 115 117 119 122 124 128 133 134 135 136 139 147 153 162 163 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 77 78 81 85 86 94 100 102 105 106 111 114 115 117 119 122 124 128 133 134 135 136 139 147 153 163 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 77 78 85 86 94 100 102 105 106 111 114 115 117 119 122 124 128 133 134 135 136 139 147 153 163 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 330 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 77 78 85 86 94 96 100 102 105 106 111 114 115 117 119 122 124 128 133 134 135 136 139 147 153 163 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 254 255 256 261 262 263 273 278 286 287 290 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 77 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 122 124 128 133 134 135 136 139 147 153 163 167 168 169 171 173 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 254 255 256 261 262 263 273 286 287 290 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 77 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 122 124 128 133 134 135 136 139 147 153 163 167 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 255 256 261 262 263 273 286 287 290 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 77 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 255 256 261 262 263 273 286 287 290 298 301 305 306 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 77 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 255 256 261 262 263 265 273 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 255 256 261 262 263 265 273 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 247 255 256 261 262 265 273 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 207 208 211 224 225 229 230 231 233 234 237 239 244 255 256 261 262 265 273 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 342 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 205 207 208 211 224 225 229 230 231 233 234 237 239 244 255 256 261 262 265 273 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 427 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 205 207 208 211 224 225 229 230 231 233 234 237 239 244 255 256 261 262 265 273 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 30 32 36 40 46 48 54 57 59 64 71 72 73 75 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 205 207 208 211 224 225 229 230 231 233 237 239 244 255 256 261 262 264 265 273 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 29 30 32 36 40 46 48 54 57 59 64 71 72 73 75 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 204 205 207 208 211 225 229 230 231 233 237 239 244 255 256 261 262 264 265 273 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 431 432 433 435 440 441 448 452 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 29 30 32 36 40 46 48 54 57 59 64 71 72 73 75 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 225 229 230 231 233 237 239 244 255 256 261 262 264 265 273 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 29 30 32 36 40 46 48 54 57 59 64 69 71 72 73 75 78 85 86 90 94 96 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 409 410 413 424 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 29 30 32 36 40 46 48 54 57 59 64 69 71 72 73 75 78 85 86 90 94 96 99 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 410 413 424 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 71 72 73 75 78 85 86 90 94 96 98 99 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 135 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 410 413 424 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 71 72 73 75 78 85 86 90 94 96 98 99 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 136 139 143 147 153 163 168 169 171 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 410 413 424 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 71 72 73 75 78 85 86 90 94 96 98 99 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 136 139 143 147 153 163 168 169 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 410 413 424 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 75 78 85 86 90 94 96 98 99 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 136 139 143 147 153 163 168 169 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 317 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 9 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 75 78 85 86 90 94 96 98 99 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 136 139 143 147 153 163 168 169 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 395 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 75 78 85 86 90 94 96 98 99 100 102 105 106 111 114 115 117 119 120 122 124 128 133 134 136 139 143 147 153 163 168 169 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 361 364 365 366 367 368 371 375 378 382 385 387 389 390 394 395 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 75 78 85 86 90 94 96 98 99 100 102 105 106 111 114 117 119 120 122 124 128 133 134 136 139 143 147 153 163 168 169 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 361 364 365 366 367 368 370 371 375 378 382 385 387 389 390 394 395 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 94 96 98 99 100 102 105 106 111 114 117 119 120 122 124 128 133 134 136 139 143 147 153 163 168 169 173 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 361 364 365 366 367 368 370 371 375 378 382 385 387 389 390 394 395 396 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 94 96 98 99 100 102 105 106 111 114 117 119 120 122 124 128 133 134 136 139 143 147 153 163 168 169 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 361 364 365 366 367 368 370 371 375 378 382 385 387 389 390 391 394 395 396 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 94 96 98 99 100 102 105 106 111 114 117 119 120 122 124 128 133 134 139 143 147 153 163 168 169 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 268 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 361 364 365 366 367 368 370 371 375 378 382 385 387 389 390 391 394 395 396 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 94 96 98 99 100 102 105 106 111 114 117 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 200 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 268 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 361 364 365 366 367 368 370 371 375 378 382 385 387 389 390 391 394 395 396 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 94 96 98 99 100 102 105 106 111 114 117 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 268 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 361 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 394 395 396 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 94 96 98 99 100 102 105 106 111 117 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 268 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 361 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 91 94 96 98 99 100 102 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 268 276 279 286 287 290 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 361 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 91 94 96 98 99 100 102 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 268 276 279 286 287 290 296 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 413 424 429 431 432 433 435 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 91 94 96 98 99 100 102 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 268 276 279 286 287 290 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 336 337 338 341 343 345 347 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 413 424 429 431 432 433 435 438 440 441 448 458 460 462 463 464 465 467 a 1 2 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 91 94 96 98 99 100 102 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 268 276 279 286 287 290 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 413 424 429 431 432 433 435 438 440 441 448 455 458 460 462 463 464 465 467 a 1 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 85 86 90 91 92 94 96 98 99 100 102 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 261 262 264 265 268 276 279 286 287 290 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 413 424 429 431 432 433 435 438 440 441 448 455 458 460 462 463 464 465 467 a 1 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 262 264 265 268 276 279 286 287 290 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 413 424 429 431 432 433 435 438 440 441 448 455 458 460 462 463 464 465 467 a 1 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 262 264 265 268 276 279 286 287 290 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 455 458 460 462 463 464 465 467 a 1 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 262 264 265 266 268 276 279 286 287 290 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 455 458 460 462 463 464 465 467 a 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 158 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 262 264 265 266 268 276 279 286 287 290 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 455 458 460 462 463 464 465 467 a 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 158 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 256 262 264 265 266 268 276 279 286 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 455 458 460 462 463 464 465 467 a 3 8 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 158 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 244 255 256 262 264 265 266 268 276 279 286 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 a 3 8 11 12 14 20 21 22 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 158 163 169 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 244 255 256 262 264 265 266 268 276 277 279 286 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 a 3 8 11 12 14 20 21 22 25 29 30 36 40 46 48 54 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 158 163 169 172 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 244 255 256 262 264 265 266 268 276 277 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 a 3 8 11 12 14 20 21 22 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 158 163 169 172 174 175 178 181 187 188 190 192 193 201 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 244 255 262 264 265 266 268 276 277 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 158 163 169 172 174 175 178 181 187 188 190 192 193 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 244 255 262 264 265 266 268 276 277 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 c Step: 127 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance036_graph001.col /benchmark/random_instance/random_instance036_graph001_01.dat" User time (seconds): 555.69 System time (seconds): 6.59 Percent of CPU this job got: 152% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.69 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): 23384028 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7563924 Voluntary context switches: 253184 Involuntary context switches: 2204 Swaps: 0 File system inputs: 0 File system outputs: 1008 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:34:55 2023]