***************************************************************************** * www.FindStat.org - The Combinatorial Statistic Finder * * * * Copyright (C) 2019 The FindStatCrew * * * * This information is distributed in the hope that it will be useful, * * but WITHOUT ANY WARRANTY; without even the implied warranty of * * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. * ***************************************************************************** ----------------------------------------------------------------------------- Statistic identifier: St000289 ----------------------------------------------------------------------------- Collection: Binary words ----------------------------------------------------------------------------- Description: The decimal representation of a binary word. ----------------------------------------------------------------------------- References: ----------------------------------------------------------------------------- Code: def statistic(x): return Integer("0b" + str(x)) ----------------------------------------------------------------------------- Statistic values: 0 => 0 1 => 1 00 => 0 01 => 1 10 => 2 11 => 3 000 => 0 001 => 1 010 => 2 011 => 3 100 => 4 101 => 5 110 => 6 111 => 7 0000 => 0 0001 => 1 0010 => 2 0011 => 3 0100 => 4 0101 => 5 0110 => 6 0111 => 7 1000 => 8 1001 => 9 1010 => 10 1011 => 11 1100 => 12 1101 => 13 1110 => 14 1111 => 15 00000 => 0 00001 => 1 00010 => 2 00011 => 3 00100 => 4 00101 => 5 00110 => 6 00111 => 7 01000 => 8 01001 => 9 01010 => 10 01011 => 11 01100 => 12 01101 => 13 01110 => 14 01111 => 15 10000 => 16 10001 => 17 10010 => 18 10011 => 19 10100 => 20 10101 => 21 10110 => 22 10111 => 23 11000 => 24 11001 => 25 11010 => 26 11011 => 27 11100 => 28 11101 => 29 11110 => 30 11111 => 31 000000 => 0 000001 => 1 000010 => 2 000011 => 3 000100 => 4 000101 => 5 000110 => 6 000111 => 7 001000 => 8 001001 => 9 001010 => 10 001011 => 11 001100 => 12 001101 => 13 001110 => 14 001111 => 15 010000 => 16 010001 => 17 010010 => 18 010011 => 19 010100 => 20 010101 => 21 010110 => 22 010111 => 23 011000 => 24 011001 => 25 011010 => 26 011011 => 27 011100 => 28 011101 => 29 011110 => 30 011111 => 31 100000 => 32 100001 => 33 100010 => 34 100011 => 35 100100 => 36 100101 => 37 100110 => 38 100111 => 39 101000 => 40 101001 => 41 101010 => 42 101011 => 43 101100 => 44 101101 => 45 101110 => 46 101111 => 47 110000 => 48 110001 => 49 110010 => 50 110011 => 51 110100 => 52 110101 => 53 110110 => 54 110111 => 55 111000 => 56 111001 => 57 111010 => 58 111011 => 59 111100 => 60 111101 => 61 111110 => 62 111111 => 63 0000000 => 0 0000001 => 1 0000010 => 2 0000011 => 3 0000100 => 4 0000101 => 5 0000110 => 6 0000111 => 7 0001000 => 8 0001001 => 9 0001010 => 10 0001011 => 11 0001100 => 12 0001101 => 13 0001110 => 14 0001111 => 15 0010000 => 16 0010001 => 17 0010010 => 18 0010011 => 19 0010100 => 20 0010101 => 21 0010110 => 22 0010111 => 23 0011000 => 24 0011001 => 25 0011010 => 26 0011011 => 27 0011100 => 28 0011101 => 29 0011110 => 30 0011111 => 31 0100000 => 32 0100001 => 33 0100010 => 34 0100011 => 35 0100100 => 36 0100101 => 37 0100110 => 38 0100111 => 39 0101000 => 40 0101001 => 41 0101010 => 42 0101011 => 43 0101100 => 44 0101101 => 45 0101110 => 46 0101111 => 47 0110000 => 48 0110001 => 49 0110010 => 50 0110011 => 51 0110100 => 52 0110101 => 53 0110110 => 54 0110111 => 55 0111000 => 56 0111001 => 57 0111010 => 58 0111011 => 59 0111100 => 60 0111101 => 61 0111110 => 62 0111111 => 63 1000000 => 64 1000001 => 65 1000010 => 66 1000011 => 67 1000100 => 68 1000101 => 69 1000110 => 70 1000111 => 71 1001000 => 72 1001001 => 73 1001010 => 74 1001011 => 75 1001100 => 76 1001101 => 77 1001110 => 78 1001111 => 79 1010000 => 80 1010001 => 81 1010010 => 82 1010011 => 83 1010100 => 84 1010101 => 85 1010110 => 86 1010111 => 87 1011000 => 88 1011001 => 89 1011010 => 90 1011011 => 91 1011100 => 92 1011101 => 93 1011110 => 94 1011111 => 95 1100000 => 96 1100001 => 97 1100010 => 98 1100011 => 99 1100100 => 100 1100101 => 101 1100110 => 102 1100111 => 103 1101000 => 104 1101001 => 105 1101010 => 106 1101011 => 107 1101100 => 108 1101101 => 109 1101110 => 110 1101111 => 111 1110000 => 112 1110001 => 113 1110010 => 114 1110011 => 115 1110100 => 116 1110101 => 117 1110110 => 118 1110111 => 119 1111000 => 120 1111001 => 121 1111010 => 122 1111011 => 123 1111100 => 124 1111101 => 125 1111110 => 126 1111111 => 127 00000000 => 0 00000001 => 1 00000010 => 2 00000011 => 3 00000100 => 4 00000101 => 5 00000110 => 6 00000111 => 7 00001000 => 8 00001001 => 9 00001010 => 10 00001011 => 11 00001100 => 12 00001101 => 13 00001110 => 14 00001111 => 15 00010000 => 16 00010001 => 17 00010010 => 18 00010011 => 19 00010100 => 20 00010101 => 21 00010110 => 22 00010111 => 23 00011000 => 24 00011001 => 25 00011010 => 26 00011011 => 27 00011100 => 28 00011101 => 29 00011110 => 30 00011111 => 31 00100000 => 32 00100001 => 33 00100010 => 34 00100011 => 35 00100100 => 36 00100101 => 37 00100110 => 38 00100111 => 39 00101000 => 40 00101001 => 41 00101010 => 42 00101011 => 43 00101100 => 44 00101101 => 45 00101110 => 46 00101111 => 47 00110000 => 48 00110001 => 49 00110010 => 50 00110011 => 51 00110100 => 52 00110101 => 53 00110110 => 54 00110111 => 55 00111000 => 56 00111001 => 57 00111010 => 58 00111011 => 59 00111100 => 60 00111101 => 61 00111110 => 62 00111111 => 63 01000000 => 64 01000001 => 65 01000010 => 66 01000011 => 67 01000100 => 68 01000101 => 69 01000110 => 70 01000111 => 71 01001000 => 72 01001001 => 73 01001010 => 74 01001011 => 75 01001100 => 76 01001101 => 77 01001110 => 78 01001111 => 79 01010000 => 80 01010001 => 81 01010010 => 82 01010011 => 83 01010100 => 84 01010101 => 85 01010110 => 86 01010111 => 87 01011000 => 88 01011001 => 89 01011010 => 90 01011011 => 91 01011100 => 92 01011101 => 93 01011110 => 94 01011111 => 95 01100000 => 96 01100001 => 97 01100010 => 98 01100011 => 99 01100100 => 100 01100101 => 101 01100110 => 102 01100111 => 103 01101000 => 104 01101001 => 105 01101010 => 106 01101011 => 107 01101100 => 108 01101101 => 109 01101110 => 110 01101111 => 111 01110000 => 112 01110001 => 113 01110010 => 114 01110011 => 115 01110100 => 116 01110101 => 117 01110110 => 118 01110111 => 119 01111000 => 120 01111001 => 121 01111010 => 122 01111011 => 123 01111100 => 124 01111101 => 125 01111110 => 126 01111111 => 127 10000000 => 128 10000001 => 129 10000010 => 130 10000011 => 131 10000100 => 132 10000101 => 133 10000110 => 134 10000111 => 135 10001000 => 136 10001001 => 137 10001010 => 138 10001011 => 139 10001100 => 140 10001101 => 141 10001110 => 142 10001111 => 143 10010000 => 144 10010001 => 145 10010010 => 146 10010011 => 147 10010100 => 148 10010101 => 149 10010110 => 150 10010111 => 151 10011000 => 152 10011001 => 153 10011010 => 154 10011011 => 155 10011100 => 156 10011101 => 157 10011110 => 158 10011111 => 159 10100000 => 160 10100001 => 161 10100010 => 162 10100011 => 163 10100100 => 164 10100101 => 165 10100110 => 166 10100111 => 167 10101000 => 168 10101001 => 169 10101010 => 170 10101011 => 171 10101100 => 172 10101101 => 173 10101110 => 174 10101111 => 175 10110000 => 176 10110001 => 177 10110010 => 178 10110011 => 179 10110100 => 180 10110101 => 181 10110110 => 182 10110111 => 183 10111000 => 184 10111001 => 185 10111010 => 186 10111011 => 187 10111100 => 188 10111101 => 189 10111110 => 190 10111111 => 191 11000000 => 192 11000001 => 193 11000010 => 194 11000011 => 195 11000100 => 196 11000101 => 197 11000110 => 198 11000111 => 199 11001000 => 200 11001001 => 201 11001010 => 202 11001011 => 203 11001100 => 204 11001101 => 205 11001110 => 206 11001111 => 207 11010000 => 208 11010001 => 209 11010010 => 210 11010011 => 211 11010100 => 212 11010101 => 213 11010110 => 214 11010111 => 215 11011000 => 216 11011001 => 217 11011010 => 218 11011011 => 219 11011100 => 220 11011101 => 221 11011110 => 222 11011111 => 223 11100000 => 224 11100001 => 225 11100010 => 226 11100011 => 227 11100100 => 228 11100101 => 229 11100110 => 230 11100111 => 231 11101000 => 232 11101001 => 233 11101010 => 234 11101011 => 235 11101100 => 236 11101101 => 237 11101110 => 238 11101111 => 239 11110000 => 240 11110001 => 241 11110010 => 242 11110011 => 243 11110100 => 244 11110101 => 245 11110110 => 246 11110111 => 247 11111000 => 248 11111001 => 249 11111010 => 250 11111011 => 251 11111100 => 252 11111101 => 253 11111110 => 254 11111111 => 255 000000000 => 0 000000001 => 1 000000010 => 2 000000011 => 3 000000100 => 4 000000101 => 5 000000110 => 6 000000111 => 7 000001000 => 8 000001001 => 9 000001010 => 10 000001011 => 11 000001100 => 12 000001101 => 13 000001110 => 14 000001111 => 15 000010000 => 16 000010001 => 17 000010010 => 18 000010011 => 19 000010100 => 20 000010101 => 21 000010110 => 22 000010111 => 23 000011000 => 24 000011001 => 25 000011010 => 26 000011011 => 27 000011100 => 28 000011101 => 29 000011110 => 30 000011111 => 31 000100000 => 32 000100001 => 33 000100010 => 34 000100011 => 35 000100100 => 36 000100101 => 37 000100110 => 38 000100111 => 39 000101000 => 40 000101001 => 41 000101010 => 42 000101011 => 43 000101100 => 44 000101101 => 45 000101110 => 46 000101111 => 47 000110000 => 48 000110001 => 49 000110010 => 50 000110011 => 51 000110100 => 52 000110101 => 53 000110110 => 54 000110111 => 55 000111000 => 56 000111001 => 57 000111010 => 58 000111011 => 59 000111100 => 60 000111101 => 61 000111110 => 62 000111111 => 63 001000000 => 64 001000001 => 65 001000010 => 66 001000011 => 67 001000100 => 68 001000101 => 69 001000110 => 70 001000111 => 71 001001000 => 72 001001001 => 73 001001010 => 74 001001011 => 75 001001100 => 76 001001101 => 77 001001110 => 78 001001111 => 79 001010000 => 80 001010001 => 81 001010010 => 82 001010011 => 83 001010100 => 84 001010101 => 85 001010110 => 86 001010111 => 87 001011000 => 88 001011001 => 89 001011010 => 90 001011011 => 91 001011100 => 92 001011101 => 93 001011110 => 94 001011111 => 95 001100000 => 96 001100001 => 97 001100010 => 98 001100011 => 99 001100100 => 100 001100101 => 101 001100110 => 102 001100111 => 103 001101000 => 104 001101001 => 105 001101010 => 106 001101011 => 107 001101100 => 108 001101101 => 109 001101110 => 110 001101111 => 111 001110000 => 112 001110001 => 113 001110010 => 114 001110011 => 115 001110100 => 116 001110101 => 117 001110110 => 118 001110111 => 119 001111000 => 120 001111001 => 121 001111010 => 122 001111011 => 123 001111100 => 124 001111101 => 125 001111110 => 126 001111111 => 127 010000000 => 128 010000001 => 129 010000010 => 130 010000011 => 131 010000100 => 132 010000101 => 133 010000110 => 134 010000111 => 135 010001000 => 136 010001001 => 137 010001010 => 138 010001011 => 139 010001100 => 140 010001101 => 141 010001110 => 142 010001111 => 143 010010000 => 144 010010001 => 145 010010010 => 146 010010011 => 147 010010100 => 148 010010101 => 149 010010110 => 150 010010111 => 151 010011000 => 152 010011001 => 153 010011010 => 154 010011011 => 155 010011100 => 156 010011101 => 157 010011110 => 158 010011111 => 159 010100000 => 160 010100001 => 161 010100010 => 162 010100011 => 163 010100100 => 164 010100101 => 165 010100110 => 166 010100111 => 167 010101000 => 168 010101001 => 169 010101010 => 170 010101011 => 171 010101100 => 172 010101101 => 173 010101110 => 174 010101111 => 175 010110000 => 176 010110001 => 177 010110010 => 178 010110011 => 179 010110100 => 180 010110101 => 181 010110110 => 182 010110111 => 183 010111000 => 184 010111001 => 185 010111010 => 186 010111011 => 187 010111100 => 188 010111101 => 189 010111110 => 190 010111111 => 191 011000000 => 192 011000001 => 193 011000010 => 194 011000011 => 195 011000100 => 196 011000101 => 197 011000110 => 198 011000111 => 199 011001000 => 200 011001001 => 201 011001010 => 202 011001011 => 203 011001100 => 204 011001101 => 205 011001110 => 206 011001111 => 207 011010000 => 208 011010001 => 209 011010010 => 210 011010011 => 211 011010100 => 212 011010101 => 213 011010110 => 214 011010111 => 215 011011000 => 216 011011001 => 217 011011010 => 218 011011011 => 219 011011100 => 220 011011101 => 221 011011110 => 222 011011111 => 223 011100000 => 224 011100001 => 225 011100010 => 226 011100011 => 227 011100100 => 228 011100101 => 229 011100110 => 230 011100111 => 231 011101000 => 232 011101001 => 233 011101010 => 234 011101011 => 235 011101100 => 236 011101101 => 237 011101110 => 238 011101111 => 239 011110000 => 240 011110001 => 241 011110010 => 242 011110011 => 243 011110100 => 244 011110101 => 245 011110110 => 246 011110111 => 247 011111000 => 248 011111001 => 249 011111010 => 250 011111011 => 251 011111100 => 252 011111101 => 253 011111110 => 254 011111111 => 255 100000000 => 256 100000001 => 257 100000010 => 258 100000011 => 259 100000100 => 260 100000101 => 261 100000110 => 262 100000111 => 263 100001000 => 264 100001001 => 265 100001010 => 266 100001011 => 267 100001100 => 268 100001101 => 269 100001110 => 270 100001111 => 271 100010000 => 272 100010001 => 273 100010010 => 274 100010011 => 275 100010100 => 276 100010101 => 277 100010110 => 278 100010111 => 279 100011000 => 280 100011001 => 281 100011010 => 282 100011011 => 283 100011100 => 284 100011101 => 285 100011110 => 286 100011111 => 287 100100000 => 288 100100001 => 289 100100010 => 290 100100011 => 291 100100100 => 292 100100101 => 293 100100110 => 294 100100111 => 295 100101000 => 296 100101001 => 297 100101010 => 298 100101011 => 299 100101100 => 300 100101101 => 301 100101110 => 302 100101111 => 303 100110000 => 304 100110001 => 305 100110010 => 306 100110011 => 307 100110100 => 308 100110101 => 309 100110110 => 310 100110111 => 311 100111000 => 312 100111001 => 313 100111010 => 314 100111011 => 315 100111100 => 316 100111101 => 317 100111110 => 318 100111111 => 319 101000000 => 320 101000001 => 321 101000010 => 322 101000011 => 323 101000100 => 324 101000101 => 325 101000110 => 326 101000111 => 327 101001000 => 328 101001001 => 329 101001010 => 330 101001011 => 331 101001100 => 332 101001101 => 333 101001110 => 334 101001111 => 335 101010000 => 336 101010001 => 337 101010010 => 338 101010011 => 339 101010100 => 340 101010101 => 341 101010110 => 342 101010111 => 343 101011000 => 344 101011001 => 345 101011010 => 346 101011011 => 347 101011100 => 348 101011101 => 349 101011110 => 350 101011111 => 351 101100000 => 352 101100001 => 353 101100010 => 354 101100011 => 355 101100100 => 356 101100101 => 357 101100110 => 358 101100111 => 359 101101000 => 360 101101001 => 361 101101010 => 362 101101011 => 363 101101100 => 364 101101101 => 365 101101110 => 366 101101111 => 367 101110000 => 368 101110001 => 369 101110010 => 370 101110011 => 371 101110100 => 372 101110101 => 373 101110110 => 374 101110111 => 375 101111000 => 376 101111001 => 377 101111010 => 378 101111011 => 379 101111100 => 380 101111101 => 381 101111110 => 382 101111111 => 383 110000000 => 384 110000001 => 385 110000010 => 386 110000011 => 387 110000100 => 388 110000101 => 389 110000110 => 390 110000111 => 391 110001000 => 392 110001001 => 393 110001010 => 394 110001011 => 395 110001100 => 396 110001101 => 397 110001110 => 398 110001111 => 399 110010000 => 400 110010001 => 401 110010010 => 402 110010011 => 403 110010100 => 404 110010101 => 405 110010110 => 406 110010111 => 407 110011000 => 408 110011001 => 409 110011010 => 410 110011011 => 411 110011100 => 412 110011101 => 413 110011110 => 414 110011111 => 415 110100000 => 416 110100001 => 417 110100010 => 418 110100011 => 419 110100100 => 420 110100101 => 421 110100110 => 422 110100111 => 423 110101000 => 424 110101001 => 425 110101010 => 426 110101011 => 427 110101100 => 428 110101101 => 429 110101110 => 430 110101111 => 431 110110000 => 432 110110001 => 433 110110010 => 434 110110011 => 435 110110100 => 436 110110101 => 437 110110110 => 438 110110111 => 439 110111000 => 440 110111001 => 441 110111010 => 442 110111011 => 443 110111100 => 444 110111101 => 445 110111110 => 446 110111111 => 447 111000000 => 448 111000001 => 449 111000010 => 450 111000011 => 451 111000100 => 452 111000101 => 453 111000110 => 454 111000111 => 455 111001000 => 456 111001001 => 457 111001010 => 458 111001011 => 459 111001100 => 460 111001101 => 461 111001110 => 462 111001111 => 463 111010000 => 464 111010001 => 465 111010010 => 466 111010011 => 467 111010100 => 468 111010101 => 469 111010110 => 470 111010111 => 471 111011000 => 472 111011001 => 473 111011010 => 474 111011011 => 475 111011100 => 476 111011101 => 477 111011110 => 478 111011111 => 479 111100000 => 480 111100001 => 481 111100010 => 482 111100011 => 483 111100100 => 484 111100101 => 485 111100110 => 486 111100111 => 487 111101000 => 488 111101001 => 489 111101010 => 490 111101011 => 491 111101100 => 492 111101101 => 493 111101110 => 494 111101111 => 495 111110000 => 496 111110001 => 497 111110010 => 498 111110011 => 499 111110100 => 500 111110101 => 501 111110110 => 502 111110111 => 503 111111000 => 504 111111001 => 505 111111010 => 506 111111011 => 507 111111100 => 508 111111101 => 509 111111110 => 510 111111111 => 511 ----------------------------------------------------------------------------- Created: Nov 08, 2015 at 10:26 by Martin Rubey ----------------------------------------------------------------------------- Last Updated: Nov 08, 2015 at 10:26 by Martin Rubey