Statistics

Problem Statement for "SortArray"

Problem Statement

Given is an int N and an algorithm that rearranges elements in an array of length N. The claim is that the algorithm correctly sorts each possible array of length N. Your task is to verify this claim.

The algorithm is a sequence of instructions described by the int[] commands. Each command has the form "sort these elements of the array". More precisely, each element of commands is some N-bit number C representing the instruction "sort the elements of the array whose indices correspond to the set bits of C".

For example, suppose we have the array A = {30, 40, 70, 20, 10} and we receive the command C = 11 = 2^0 + 2^1 + 2^3. This command rearranges the values A[0], A[1], and A[3] into non-descending order. Thus, after the command the new array will be A = {20, 30, 70, 40, 10}.

If the given sequence of commands correctly sorts any array of length N, return an empty int[]. Otherwise, return any permutation of values 0 through N-1 that would not be sorted correctly.

Definition

Class:
SortArray
Method:
verify
Parameters:
int, int[]
Returns:
int[]
Method signature:
int[] verify(int N, int[] commands)
(be sure your method is public)

Constraints

  • N will be between 1 and 15, inclusive.
  • commands will contain between 0 and 200 instructions, inclusive.
  • Each element of commands will be between 1 and 2^N-1, inclusive.

Examples

  1. 7

    {127}

    Returns: { }

    The only instruction is "sort the entire array". This program obviously works correctly.

  2. 8

    {85, 170}

    Returns: {0, 1, 2, 3, 4, 5, 7, 6 }

    The first instruction sorts the elements at even indices, the second instruction sorts the elements at odd indices. This clearly isn't sufficient. The return value happens to be the lexicographically smallest counterexample, but any other permutation that does not get sorted correctly would be accepted as well.

  3. 3

    {3, 5, 6}

    Returns: { }

    Sorting three elements using three pairwise comparisons.

  4. 10

    {255, 1020}

    Returns: {3, 4, 5, 6, 7, 8, 9, 0, 1, 2 }

    "Sort elements A[0..7] and then sort elements A[2..9]." This is not a valid sort yet. The permutation given as the example return value would first be rearranged to {0, 3, 4, 5, 6, 7, 8, 9, 1, 2 } and then to {0, 3, 1, 2, 4, 5, 6, 7, 8, 9}.

  5. 10

    {255, 1020, 255, 1020, 255, 1020, 255, 1020, 255, 1020}

    Returns: { }

    ... but doing the same thing multiple times in a row seems to work.

  6. 15

    { 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767 }

    Returns: { }

    The largest possible input, in some sense: a 15-element array and 200 instructions to sort the whole thing.

  7. 15

    {15}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  8. 15

    {16383, 1920}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  9. 15

    {32, 4095, 992, 504, 16376, 8064, 16383}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  10. 15

    {508, 4032, 192, 1023, 254, 32256, 16383, 128, 192, 24, 126, 16, 992, 2040, 16256, 8190, 127, 32512, 4080, 8190, 30, 32764, 252, 127, 4095, 30720, 32640, 2047, 32752, 384}

    Returns: { }

  11. 15

    {32766, 2016, 8184, 1984, 24576, 32512, 768, 511, 4080, 192, 16, 4, 16382, 496, 8188, 28, 6144, 2040, 128, 1536, 960, 256, 512, 6144, 14, 256, 32760, 14, 3, 14336}

    Returns: { }

  12. 15

    {7168, 126, 6, 16380, 4092, 510, 960, 896, 16320, 15872, 992, 992, 16128, 30720, 32766, 24, 1023, 1984, 1022, 2048, 2016, 8064, 15360, 1024, 124, 1023, 255, 896, 480, 1, 32764, 30720, 16383}

    Returns: { }

  13. 5

    {30, 2, 30, 15, 28, 8, 14, 2, 2, 14, 4, 1, 15, 12, 2, 7, 7, 31, 7, 6, 14, 1, 7, 31, 31, 31, 30, 12, 16, 7, 8, 24, 7, 12, 14, 14, 31, 8, 16, 7, 15, 8, 31, 6, 16, 2, 24, 3, 15, 3, 30, 16, 2, 4, 16, 6, 6, 8, 28, 2, 24, 8, 16, 3, 28, 28, 7, 2, 6, 16, 15, 8, 15, 14, 4, 16, 1, 1, 6, 8, 14, 3, 14, 15, 12, 31, 1, 4, 16, 7, 12, 12, 16, 1, 12, 2, 1, 31, 4, 14}

    Returns: { }

  14. 15

    {72, 65, 20480, 272, 96, 16512, 34, 516, 66, 16512, 8256, 16448, 9, 264, 160, 4100, 160, 130, 18432, 16640, 33, 16385, 2080, 24, 544, 516, 16392, 4608, 6144, 2049, 2064, 65, 8193, 8194, 36, 264, 16388, 9, 24, 520, 513, 384, 8448, 192, 3, 264, 129, 4160, 576, 16416, 80, 528, 24, 144, 1026, 1040, 514, 8224, 66, 10, 16512, 513, 2304, 33, 136, 24, 16416, 640, 16400, 4098, 1536, 514, 136, 20480, 576, 9, 4160, 4160, 16388, 72, 1088, 2056, 136, 33, 514, 16400, 144, 768, 8193, 514, 528, 36, 16386, 10240, 5, 8224, 3, 514, 65, 24}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  15. 15

    {4224, 320, 4608, 65, 513, 16388, 17408, 24576, 24576, 8196, 16640, 96, 16386, 40, 3072, 2304, 4352, 1025, 65, 8200, 130, 4128, 1056, 768, 8704, 384, 6144, 2176, 17, 36, 1026, 384, 2080, 8224, 16416, 68, 2304, 258, 4160, 2056, 16392, 80, 6, 1025, 6144, 72, 24, 2064, 16386, 2304, 3, 576, 4098, 96, 8196, 260, 8200, 129, 4224, 528, 16640, 2064, 6, 4128, 2560, 8448, 544, 144, 8196, 2112, 8320, 4160, 160, 520, 24, 1026, 10, 1280, 132, 1088, 640, 768, 514, 513, 16400, 18432, 40, 4160, 8256, 33, 160, 8196, 12288, 3072, 144, 17, 20480, 24, 3072, 16388, 264, 4608, 36, 132, 18432, 12288, 24, 2049, 1152, 16448, 16448, 4160, 8194, 2560, 192, 3, 160, 3072, 129, 6144, 1152, 288, 10, 8193, 4104, 8200, 514, 36, 129, 3, 516, 136, 4112, 2056, 129, 192, 8256, 4128, 8200, 4104, 18, 129, 514, 16385, 16392, 16416, 8193, 9, 8256, 10240}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  16. 15

    {24, 20480, 16416, 260, 1040, 144, 16392, 8256, 144, 272, 136, 260, 8208, 4224, 8256, 80, 8208, 66, 4608, 80, 2056, 4100, 16896, 260, 2560, 384, 9216, 257, 18432, 16640, 768, 17, 16385, 4112, 4098, 20480, 1026, 544, 18, 4097, 4608, 4098, 8256, 4160, 514, 4098, 4224, 1040, 2112, 33, 17408, 6144, 160, 528, 576, 16448, 516, 2052, 16385, 9, 16416, 516, 12, 544, 4352, 8224, 528, 640, 65, 2176, 1025, 513, 65, 4104, 3, 2560, 257, 4104, 8256, 96, 1536, 4098, 17408, 2064, 2560, 2560, 68, 24, 2052, 192, 6144, 4352, 8320, 5120, 4224, 2176, 24576, 80, 5, 10240, 68, 48, 8256, 10, 192, 16400, 16640, 4352, 4097, 16388, 16896, 1032, 17408, 10240, 24576, 264, 4128, 1025, 16386, 3, 520, 8256, 8208, 2176, 260, 16448, 17408, 2049, 2049, 320, 16386, 3072, 130, 1056, 20480, 2112, 129, 2056, 516, 5120, 1028, 1025, 4112, 16400, 18432, 576, 257, 2049, 258, 16392, 24, 1536, 544, 17408, 4224, 4224, 24576, 4608, 129, 16388, 8256, 5120, 257, 33, 12288, 2049, 36, 24, 6, 4352, 288, 1032, 5120, 4104, 5120, 2052, 640, 514, 2304, 528, 4160, 2080, 80, 16388, 40, 40, 96, 544, 18, 1056, 5120, 8193, 1028, 272, 1032, 36, 4112, 16640, 1032, 640}

    Returns: {8, 9, 10, 11, 12, 13, 14, 0, 1, 2, 3, 4, 5, 6, 7 }

  17. 3

    {5, 3, 3, 6, 3, 3, 3, 3, 5, 6, 6, 3, 6, 3, 6, 5, 5, 3, 5, 5, 3, 3, 3, 6, 6, 6, 3, 6, 6, 6, 5, 6, 5, 6, 5, 6, 3, 6, 6, 5, 5, 3, 3, 5, 6, 5, 5, 3, 5, 5, 6, 3, 6, 6, 6, 5, 3, 5, 5, 5, 3, 5, 6, 6, 3, 5, 5, 6, 3, 3, 5, 5, 3, 5, 3, 5, 5, 5, 5, 5, 5, 3, 6, 5, 3, 5, 3, 6, 5, 5, 6, 6, 5, 3, 3, 6, 6, 6, 5, 6, 3, 3, 3, 5, 6, 3, 5, 3, 6, 6, 3, 3, 3, 5, 3, 3, 5, 6, 6, 5, 6, 3, 5, 5, 5, 6, 5, 5, 3, 3, 3, 3, 3, 6, 3, 5, 6, 5, 5, 3, 6, 5, 5, 5, 3, 6, 3, 5, 6, 5, 5, 3, 5, 6, 6, 3, 3, 5, 3, 3, 5, 5, 6, 3, 3, 5, 3, 3, 6, 3, 5, 5, 5, 6, 6, 5, 6, 6, 3, 3, 6, 6, 6, 5, 5, 3, 6, 5, 5, 3, 3, 3, 6, 5, 3, 3, 5, 3, 6, 6}

    Returns: { }

  18. 3

    {3, 6, 6, 3, 6, 6, 5, 6, 6, 5, 3, 3, 5, 5, 6, 3, 6, 5, 3, 5, 5, 6, 5, 6, 5, 6, 3, 6, 5, 5, 3, 6, 3, 3, 3, 3, 6, 5, 3, 3, 5, 5, 6, 5, 6, 6, 3, 6, 3, 5, 6, 3, 3, 5, 6, 5, 5, 3, 6, 3, 6, 6, 6, 6, 3, 5, 5, 5, 5, 3, 6, 5, 5, 5, 6, 3, 6, 5, 6, 5, 5, 6, 6, 3, 6, 3, 6, 6, 3, 3, 6, 6, 5, 3, 6, 3, 3, 5, 3, 6, 6, 6, 5, 3, 6, 3, 6, 3, 3, 5, 5, 5, 6, 3, 3, 6, 3, 6, 5, 3, 3, 5, 5, 3, 3, 5, 6, 5, 3, 5, 5, 6, 6, 5, 6, 3, 3, 6, 6, 6, 6, 5, 6, 5, 3, 3, 5, 5, 6, 3, 5, 6, 6, 5, 3, 6, 5, 6, 6, 3, 6, 5, 3, 5, 3, 5, 3, 5, 6, 5, 6, 6, 6, 5, 3, 5, 3, 5, 6, 6, 5, 6, 6, 3, 5, 6, 3, 6, 5, 3, 3, 6, 3, 3, 3, 5, 3, 6, 5, 3}

    Returns: { }

  19. 2

    {3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3}

    Returns: { }

  20. 15

    {15, 16896, 24, 510, 1024, 7168, 8, 17408, 4088, 257, 16382, 1920, 260, 15872, 16320, 992, 2176, 1026, 768, 16392, 2044, 1152, 1026, 288, 992, 514, 16512, 16392, 16388, 2049, 8160, 992, 62, 3, 1025, 16376, 4098, 40, 1088, 8200, 48, 8200, 255, 3840, 2304, 18432, 4608, 512, 129, 10240, 260, 62, 60, 130, 2052, 4352, 4608, 4, 20480, 1984, 28, 2052, 258, 254, 257, 6144, 4095, 4112, 9, 127, 2032, 16352, 1056, 7680, 1536, 8224, 16400, 8191, 12288, 4112, 4104, 24, 4112, 72, 16392, 24576, 18, 20480, 8190, 896, 4352, 4032, 1056, 36, 513, 6, 320, 10, 2304, 8192, 4224, 12, 4160, 15872, 3584, 1792, 240, 258, 288, 960, 4098, 544, 24, 18432, 5, 4160, 5120, 4160, 80, 66, 130, 544, 4608, 24, 254, 8160, 4112, 33, 48, 1028, 18432, 6, 448, 7936, 16896, 4094, 8191, 16, 9, 4095, 516, 512, 4092, 1920, 2112, 16640, 17408, 4095, 528, 1020, 516, 16386, 17408, 10240, 4088, 255, 240, 264, 254, 8, 7936, 256, 9216, 5, 33, 896, 1152, 1920, 3072, 4160, 514, 64, 2304, 1023, 24, 8128, 257, 8184, 4080, 2046, 4, 3968, 2040, 16256, 3, 2560, 260, 1040, 248, 16400, 17408, 508, 124, 2040, 28, 16256, 1040, 2046, 12, 8200}

    Returns: { }

  21. 5

    {3, 3, 10, 15, 3, 7, 18, 6, 12, 7, 3, 6, 8, 8, 3, 2, 4, 24, 12, 6, 18, 6, 24, 17, 18, 15, 5, 14, 3, 14, 1, 4, 7, 8, 9, 20, 17, 12, 3, 8, 20, 7, 17, 18, 10, 7, 24, 12, 4, 3, 5, 6, 2, 1, 12, 14, 3, 15, 24, 4, 2, 17, 18, 12, 20, 1, 5, 1, 5, 12, 5, 4, 17, 10, 20, 12, 17, 24, 24, 1, 12, 5, 20, 6, 17, 12, 24, 9, 4, 12, 3, 10, 2, 1, 9, 5, 14, 17, 6, 3, 18, 6, 3, 15, 8, 12, 24, 6, 18, 8, 4, 15, 20, 17, 15, 15, 6, 6, 17, 17, 10, 18, 24, 9, 4, 9, 6, 18, 3, 1, 17, 7, 15, 18, 3, 18, 2, 18, 3, 3, 17, 17, 5, 6, 7, 5, 10, 20, 15, 8, 6, 5, 15, 7, 15, 4, 17, 6, 18, 1, 1, 3, 15, 15, 3, 15, 14, 1, 12, 9, 8, 9, 7, 6, 17, 8, 3, 5, 14, 24, 20, 12, 3, 12, 20, 1, 20, 7, 9, 6, 6, 14, 6, 12, 5, 7, 3, 8, 7, 12}

    Returns: { }

  22. 5

    {1, 6, 3, 18, 10, 9, 17, 6, 6, 20, 10, 6, 3, 1, 2, 17, 9, 9, 6, 12, 14, 2, 5, 20, 3, 15, 6, 10, 8, 2, 7, 4, 10, 1, 9, 6, 18, 12, 14, 2, 3, 24, 5, 3, 6, 12, 10, 12, 12, 8, 18, 18, 2, 24, 15, 8, 18, 2, 2, 1, 20, 4, 8, 17, 12, 5, 6, 2, 18, 7, 2, 4, 3, 4, 18, 7, 15, 1, 17, 5, 10, 6, 24, 12, 9, 3, 3, 12, 12, 8, 4, 2, 6, 15, 12, 18, 1, 2, 8, 17}

    Returns: { }

  23. 5

    {6, 1, 1, 12, 15, 2, 12, 6, 10, 3, 3, 12, 20, 3, 18, 12, 14, 15, 12, 8, 8, 4, 18, 12, 8, 3, 6, 2, 7, 3, 8, 1, 6, 10, 14, 6, 7, 12, 9, 8, 4, 20, 14, 6, 5, 14, 20, 12, 8, 1, 18, 6, 7, 10, 12, 17, 6, 3, 15, 5, 10, 3, 12, 18, 15, 10, 6, 1, 20, 1, 5, 24, 3, 17, 1, 9, 3, 15, 15, 5, 7, 15, 12, 12, 9, 4, 14, 12, 4, 8, 14, 15, 12, 3, 20, 9, 6, 8, 3, 14}

    Returns: { }

  24. 5

    {7, 12, 10, 6, 12, 6, 2, 20, 8, 17, 8, 6, 20, 6, 2, 6, 17, 14, 3, 17, 20, 5, 3, 14, 3, 17, 7, 10, 12, 6, 12, 4, 5, 3, 17, 17, 6, 3, 8, 8, 5, 8, 18, 20, 8, 17, 12, 4, 18, 6, 20, 17, 3, 7, 3, 15, 6, 3, 15, 17, 20, 18, 9, 14, 15, 17, 17, 2, 12, 3, 3, 4, 20, 12, 14, 7, 17, 17, 7, 6, 3, 1, 7, 6, 3, 6, 20, 3, 3, 12, 7, 6, 18, 2, 3, 6, 4, 9, 24, 17, 12, 2, 20, 14, 2, 6, 3, 14, 17, 14, 6, 6, 5, 20, 10, 6, 6, 3, 4, 12, 8, 7, 14, 12, 4, 1, 3, 24, 8, 6, 20, 10, 12, 17, 18, 20, 17, 17, 9, 17}

    Returns: { }

  25. 15

    {48, 96, 6, 6144, 3072, 12, 3, 384, 192, 1536, 24576, 24, 768, 12288, 768, 3, 96, 384, 6, 24, 24576, 6144, 48, 192, 12, 12288, 1536, 3072, 12288, 768, 12, 24576, 384, 1536, 24, 6, 48, 3072, 96, 192, 3, 6144, 1536, 48, 6, 384, 3, 192, 24, 12, 768, 12288, 24576, 6144, 3072, 96, 3072, 3, 12, 768, 24, 192, 6, 96, 24576, 48, 12288, 6144, 384, 1536, 768, 96, 384, 3072, 24, 12288, 192, 24576, 1536, 48, 12, 6, 3, 6144, 192, 12288, 768, 6, 24576, 384, 48, 3, 1536, 3072, 12, 24, 96, 6144, 768, 12, 3072, 24, 6144, 12288, 1536, 48, 3, 384, 192, 6, 24576, 96, 768, 12288, 1536, 3072, 24576, 96, 6144, 24, 3, 12, 48, 192, 384, 6, 3, 768, 6, 96, 192, 3072, 12288, 384, 1536, 24576, 12, 24, 48, 6144, 96, 24, 1536, 192, 768, 24576, 6, 12288, 384, 3072, 12, 6144, 48, 3, 12288, 384, 6, 3072, 192, 12, 6144, 768, 1536, 24576, 24, 48, 96, 3}

    Returns: {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 0, 1, 2, 3, 4 }

  26. 15

    {3, 6, 384, 1536, 48, 12288, 768, 24, 3072, 192, 12, 24576, 6144, 96, 3072, 24576, 12, 192, 24, 3, 48, 768, 1536, 6144, 384, 12288, 96, 6, 12288, 48, 192, 24576, 96, 6144, 3072, 3, 12, 384, 6, 24, 768, 1536, 24, 1536, 96, 384, 192, 24576, 12288, 6, 6144, 3072, 12, 3, 768, 48, 24, 12288, 3072, 6144, 96, 768, 12, 192, 384, 3, 1536, 6, 48, 24576, 6144, 48, 24, 12288, 768, 384, 3072, 1536, 6, 24576, 192, 12, 96, 3, 12, 96, 3, 768, 3072, 12288, 24576, 1536, 6, 6144, 384, 192, 24, 48, 96, 192, 3072, 12288, 1536, 768, 384, 6144, 3, 6, 48, 12, 24, 24576, 6, 96, 3072, 6144, 48, 384, 12288, 192, 1536, 3, 12, 24, 24576, 768, 3, 6144, 48, 24, 3072, 768, 6, 384, 96, 12, 24576, 192, 1536, 12288}

    Returns: {12, 13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 }

  27. 15

    {640, 10240, 2560, 10, 5, 1280, 320, 80, 40, 20480, 5120, 160, 20, 20, 80, 2560, 1280, 320, 10240, 5120, 640, 160, 20480, 5, 40, 10, 320, 20480, 160, 5, 2560, 40, 640, 5120, 1280, 80, 20, 10, 10240, 5, 80, 640, 40, 2560, 1280, 10240, 20, 20480, 5120, 160, 10, 320, 5, 1280, 80, 20, 320, 10240, 640, 20480, 40, 2560, 10, 5120, 160, 320, 10, 40, 160, 10240, 5, 20480, 2560, 5120, 1280, 20, 80, 640, 160, 10, 5120, 640, 2560, 1280, 320, 10240, 20, 80, 40, 5, 20480, 2560, 20480, 640, 80, 40, 1280, 10240, 320, 20, 5120, 5, 160, 10, 5120, 160, 10240, 2560, 80, 5, 40, 320, 20480, 10, 640, 1280, 20, 640, 160, 20, 1280, 80, 5, 10, 10240, 320, 5120, 20480, 2560, 40, 17408, 6144, 384, 1026, 1028, 272, 18, 1088, 528, 80, 4104, 132, 16512, 34, 514, 18432, 16896, 66, 264, 6, 768, 4097, 16392, 2049, 260, 80, 40, 8704, 288, 4224, 768, 24576, 1152, 8448, 20, 2049, 2049, 3072, 1536, 24576, 17408, 8200, 2176, 24, 4112, 24576, 10240, 16896, 260, 34}

    Returns: {13, 0, 14, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 }

  28. 15

    {9, 3, 5, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 6, 66, 130, 258, 514, 8194, 16386, 12, 20, 6, 34, 1026, 2050, 4098, 68, 132, 260, 516, 8196, 16388, 24, 40, 12, 1028, 2052, 4100, 72, 136, 264, 520, 8200, 16392, 48, 80, 144, 272, 528, 1040, 24, 2056, 4104, 8208, 16400, 96, 160, 288, 544, 1056, 2080, 48, 4112, 8224, 16416, 192, 320, 576, 1088, 2112, 4160, 96, 8256, 16448, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576}

    Returns: {0, 7, 8, 1, 2, 3, 9, 10, 11, 12, 4, 5, 6, 13, 14 }

  29. 15

    {9, 3, 5, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 6, 18, 34, 66, 130, 258, 1026, 2050, 8194, 16386, 12, 20, 36, 68, 132, 260, 516, 6, 4098, 1028, 2052, 8196, 16388, 24, 40, 72, 136, 264, 520, 1032, 2056, 4104, 12, 8200, 16392, 48, 80, 144, 272, 528, 1040, 2064, 4112, 8208, 16400, 96, 160, 288, 544, 1056, 2080, 4128, 8224, 16416, 192, 320, 576, 1088, 2112, 4160, 8256, 16448, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576}

    Returns: {0, 4, 5, 1, 6, 7, 8, 9, 10, 2, 11, 12, 3, 13, 14 }

  30. 15

    {9, 3, 5, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 6, 18, 34, 66, 1026, 2050, 4098, 8194, 16386, 12, 20, 36, 68, 132, 6, 258, 514, 1028, 2052, 4100, 8196, 16388, 24, 40, 72, 136, 264, 12, 516, 1032, 2056, 4104, 8200, 16392, 48, 80, 144, 272, 528, 24, 1040, 2064, 4112, 8208, 16400, 96, 160, 288, 544, 1056, 2080, 4128, 8224, 16416, 192, 320, 576, 1088, 2112, 4160, 8256, 16448, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 15, 32704, 15, 15, 15, 32704, 32704, 32704, 32704, 15, 15, 15, 15, 15, 32704, 32704, 32704, 15, 32704, 15, 32704, 15, 32704, 32704, 15, 15, 15, 32704, 32704, 15, 32704, 32704, 32704, 32704, 15, 15, 32704, 15, 15, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 15, 32704, 32704, 15, 15, 32704, 15, 32704, 15, 32704, 32704, 15, 32704, 15, 15, 32704, 15, 15, 15, 15, 32704, 32704, 15, 15, 32704, 15, 15, 32704, 32704, 15, 15, 15, 15, 15, 15, 32704, 15, 32704, 15, 32704, 15, 15, 15, 15, 32704, 15, 15, 15}

    Returns: {0, 5, 6, 1, 7, 8, 9, 2, 3, 4, 10, 11, 12, 13, 14 }

  31. 15

    {3, 5, 9, 17, 33, 65, 1025, 4097, 6, 10, 18, 34, 66, 130, 258, 3, 513, 2049, 8193, 16385, 1026, 4098, 12, 20, 36, 68, 132, 260, 516, 6, 2050, 8194, 16386, 1028, 4100, 24, 40, 72, 136, 264, 520, 1032, 2056, 12, 8196, 16388, 4104, 48, 80, 144, 272, 528, 1040, 2064, 4112, 8208, 24, 16392, 96, 160, 288, 544, 1056, 2080, 4128, 8224, 16416, 48, 192, 320, 576, 1088, 2112, 4160, 8256, 16448, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 32640, 31, 31, 32640, 32640, 31, 32640, 32640, 31, 32640, 31, 32640, 32640, 32640, 31, 32640, 32640, 32640, 31, 32640, 31, 32640, 31, 31, 31, 31, 31, 32640, 31, 31, 32640, 31, 32640, 31, 31, 31, 32640, 32640, 31, 31, 32640, 32640, 31, 31, 32640, 32640, 31, 32640, 32640, 31, 31, 31, 31, 32640, 32640, 31, 31, 32640, 31, 32640, 31, 31, 31, 31, 32640, 31, 32640, 31, 31, 32640, 32640, 31, 32640, 32640, 32640, 31, 32640, 32640, 31, 31, 31, 32640, 32640, 32640, 31, 31, 31, 32640, 31, 31, 31, 32640, 32640, 32640, 31, 31}

    Returns: {6, 7, 8, 9, 10, 11, 12, 0, 1, 2, 13, 3, 14, 4, 5 }

  32. 15

    {5, 17, 33, 129, 513, 2049, 4097, 8193, 16385, 6, 10, 3, 65, 257, 1025, 18, 34, 130, 514, 2050, 4098, 8194, 16386, 12, 20, 36, 68, 6, 258, 1026, 132, 516, 2052, 4100, 8196, 16388, 24, 40, 72, 136, 264, 12, 1028, 520, 2056, 4104, 8200, 16392, 48, 80, 144, 272, 528, 1040, 24, 2064, 4112, 8208, 16400, 96, 160, 288, 544, 1056, 2080, 4128, 8224, 16416, 192, 320, 576, 1088, 2112, 4160, 8256, 16448, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 32704, 32704, 15, 32704, 32704, 32704, 15, 32704, 32704, 32704, 15, 15, 15, 15, 32704, 32704, 32704, 15, 15, 15, 15, 15, 32704, 32704, 15, 32704, 32704, 32704, 32704, 32704, 15, 32704, 32704, 32704, 32704, 15, 15, 15, 15, 15, 15, 32704, 32704, 32704, 32704, 32704, 15, 32704, 32704, 32704, 32704, 15, 15, 32704, 32704, 32704, 32704, 32704, 15, 32704, 32704, 32704, 15, 15, 15, 15, 32704, 32704, 15, 15, 15, 32704, 32704, 32704, 15, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 32704, 15, 15, 32704, 32704, 32704, 15, 15}

    Returns: {5, 0, 6, 1, 7, 8, 2, 9, 3, 10, 4, 11, 12, 13, 14 }

  33. 15

    {3, 5, 9, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 6, 10, 18, 34, 66, 130, 258, 514, 1026, 2050, 4098, 8194, 16386, 36, 12, 20, 68, 132, 260, 516, 1028, 2052, 4100, 8196, 16388, 24, 72, 4104, 48, 80, 144, 24, 264, 520, 1032, 2056, 8200, 16392, 4112, 96, 160, 288, 48, 528, 1040, 2064, 8208, 16400, 4128, 192, 320, 576, 96, 1056, 2080, 8224, 16416, 4160, 384, 640, 1152, 192, 2112, 8256, 16448, 4224, 768, 1280, 2304, 384, 8320, 16512, 4352, 1536, 2560, 4608, 8704, 768, 16640, 3072, 5120, 9216, 17408, 1536, 6144, 10240, 18432, 12288, 20480, 24576, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 28672, 1023, 28672, 1023, 1023, 28672, 28672, 28672, 1023, 1023, 28672, 1023, 28672, 28672, 1023, 1023, 28672, 28672, 28672, 1023, 1023, 1023, 28672, 1023, 1023, 1023, 1023, 28672, 28672, 28672, 28672, 28672, 1023, 28672, 28672, 28672, 28672, 28672, 28672, 1023, 1023, 1023, 1023, 28672, 1023, 28672, 1023, 1023, 28672, 1023, 28672, 28672, 28672, 28672, 1023, 1023, 1023, 28672, 28672, 1023, 28672, 28672, 28672, 1023, 28672, 28672, 1023, 28672, 28672, 28672, 28672, 1023, 1023, 1023, 1023, 28672, 1023, 28672, 1023, 28672, 1023, 28672, 28672, 28672, 28672, 1023, 1023, 28672, 28672}

    Returns: {0, 1, 2, 11, 12, 3, 13, 4, 5, 6, 7, 8, 14, 9, 10 }

  34. 15

    {3, 17, 65, 129, 8193, 16385, 6, 10, 3, 33, 257, 513, 1025, 2049, 4097, 18, 66, 130, 8194, 16386, 12, 20, 36, 6, 258, 514, 1026, 2050, 4098, 68, 132, 8196, 16388, 24, 40, 72, 136, 264, 12, 516, 1028, 2052, 4100, 8200, 16392, 48, 80, 144, 272, 528, 24, 1032, 2056, 4104, 8208, 16400, 96, 160, 288, 544, 1056, 48, 2064, 4112, 8224, 16416, 192, 320, 576, 1088, 2112, 96, 4128, 8256, 16448, 384, 640, 1152, 2176, 4224, 192, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 32256, 32256, 32256, 127, 127, 127, 127, 32256, 32256, 127, 127, 127, 32256, 127, 127, 127, 127, 32256, 127, 32256, 32256, 32256, 127, 32256, 32256, 127, 127, 32256, 32256, 32256, 127, 32256, 127, 127, 127, 32256, 127, 32256, 32256, 127, 127, 127, 127, 127, 32256, 32256, 127, 32256, 32256, 32256, 32256, 32256, 32256, 127, 32256, 127, 127, 127, 127, 127, 32256, 32256, 127, 127, 32256, 32256, 127, 127, 32256, 127, 32256, 127, 32256, 127, 32256, 32256, 127, 127, 32256, 32256, 32256, 127, 32256, 32256, 32256, 127, 127, 127, 32256, 32256, 32256, 32256, 127, 127, 127, 127}

    Returns: {8, 9, 0, 1, 10, 2, 11, 12, 3, 4, 5, 6, 7, 13, 14 }

  35. 15

    {3, 5, 9, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 6, 10, 18, 34, 66, 130, 258, 514, 1026, 2050, 4098, 8194, 16386, 12, 20, 36, 68, 132, 260, 516, 1028, 2052, 4100, 8196, 16388, 24, 40, 72, 136, 264, 520, 1032, 2056, 4104, 8200, 16392, 272, 48, 80, 144, 528, 1040, 2064, 4112, 8208, 16400, 96, 160, 544, 4128, 8224, 192, 320, 576, 1088, 96, 2080, 16416, 4160, 8256, 384, 640, 1152, 2176, 192, 16448, 4224, 8320, 768, 1280, 2304, 4352, 8448, 16640, 384, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 255, 31744, 31744, 255, 31744, 255, 255, 255, 31744, 31744, 31744, 31744, 31744, 31744, 255, 255, 31744, 31744, 31744, 31744, 255, 31744, 31744, 255, 31744, 255, 31744, 31744, 31744, 255, 31744, 255, 255, 31744, 31744, 255, 255, 255, 255, 31744, 31744, 255, 31744, 31744, 255, 31744, 255, 255, 31744, 31744, 31744, 255, 31744, 31744, 31744, 31744, 31744, 31744, 31744, 31744, 255, 255, 255, 31744, 255, 255, 31744, 255, 255, 255, 255, 255, 31744, 255, 255, 255, 255, 255, 31744, 255, 255, 31744, 31744, 255, 255, 31744, 255, 255, 31744, 31744, 255, 255, 255, 31744, 31744, 31744}

    Returns: {0, 1, 2, 3, 4, 9, 10, 11, 5, 12, 6, 7, 13, 14, 8 }

  36. 15

    {3, 5, 9, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 6, 10, 18, 34, 66, 130, 258, 514, 1026, 2050, 4098, 8194, 16386, 20, 12, 36, 68, 132, 260, 516, 1028, 2052, 4100, 8196, 16388, 72, 520, 1032, 2056, 48, 24, 136, 264, 4104, 8200, 16392, 80, 528, 1040, 2064, 96, 160, 48, 272, 4112, 8208, 16400, 544, 1056, 2080, 192, 320, 96, 4128, 8224, 16416, 576, 1088, 2112, 384, 640, 1152, 2176, 4224, 192, 8256, 16448, 768, 1280, 2304, 4352, 8448, 384, 16512, 1536, 2560, 4608, 8704, 16896, 768, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 28672, 16384, 4096, 4096, 8192, 62, 384, 30720, 2, 7, 24576, 112, 24576, 504, 8192, 254, 127, 224, 508, 224, 240, 240, 28672, 28672, 56, 4, 60, 4096, 16384, 14336, 30, 12288, 16384, 32, 124, 28672, 14336, 14336, 30, 30720, 2048, 120, 24576, 24576, 12288, 6, 63, 384, 2048, 12, 12, 28672, 12288, 192, 6144, 30720, 96, 24576, 14336, 96, 256, 24576, 127, 448, 32, 480, 24576, 30720, 6144, 30720, 60, 14, 2048, 8, 14336, 4096, 14336, 16384, 28672, 4096, 2048, 2048, 448, 64, 3, 14336, 30720, 120, 8192, 8192, 8192, 7, 12288, 30720, 6144, 16384}

    Returns: {0, 1, 2, 10, 3, 4, 11, 5, 6, 12, 13, 14, 7, 8, 9 }

  37. 15

    {5, 3, 9, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 10, 258, 2050, 4098, 8194, 16386, 12, 20, 6, 34, 66, 130, 514, 1026, 260, 2052, 4100, 8196, 16388, 24, 40, 12, 68, 132, 516, 1028, 264, 2056, 4104, 8200, 16392, 48, 80, 24, 136, 520, 1032, 272, 2064, 4112, 8208, 16400, 96, 160, 48, 528, 1040, 288, 2080, 4128, 8224, 16416, 192, 320, 576, 96, 1056, 2112, 4160, 8256, 16448, 384, 640, 1152, 192, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 7168, 124, 24, 31744, 1536, 120, 12, 7, 2, 2, 24, 1536, 30720, 7168, 8, 120, 3072, 15360, 64, 16384, 512, 64, 3584, 30, 28, 7, 2, 28672, 16384, 28, 3584, 28672, 7680, 8192, 4, 96, 31, 1536, 30720, 512, 14336, 7168, 48, 16384, 56, 63, 16384, 64, 30, 8192, 3, 1536, 8, 31, 64, 3, 56, 6144, 126, 12288, 16, 3, 2, 64, 15360, 24576, 60, 12, 3072, 48, 4096, 3, 2048, 30720, 12, 15, 12288, 6144, 60, 30720, 24576, 24576, 1, 62, 1024, 12, 4096, 15360, 62, 2048, 15360, 15, 30720, 112, 14336, 8}

    Returns: {0, 8, 1, 9, 2, 3, 4, 5, 10, 6, 7, 11, 12, 13, 14 }

  38. 15

    {3, 5, 33, 65, 129, 513, 1025, 2049, 4097, 16385, 6, 10, 18, 3, 257, 8193, 34, 66, 130, 514, 1026, 2050, 4098, 16386, 12, 20, 36, 68, 132, 260, 6, 8194, 516, 1028, 2052, 4100, 16388, 24, 40, 72, 136, 264, 520, 1032, 2056, 4104, 8200, 12, 16392, 48, 80, 144, 272, 528, 1040, 2064, 4112, 8208, 16400, 96, 160, 288, 544, 1056, 2080, 4128, 8224, 16416, 192, 320, 576, 1088, 2112, 4160, 8256, 16448, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 1, 3, 15872, 7, 2, 15872, 7, 2, 7168, 16352, 2, 1, 3, 7, 7, 3, 28672, 1920, 2, 30720, 7, 16128, 6, 2, 32704, 7, 32256, 4, 6, 31744, 7, 4, 7, 4, 2016, 14336, 1536, 12288, 448, 7, 14336, 3072, 1, 4, 896, 3, 7, 3, 16128, 8192, 2, 1984, 3584, 992, 4096, 2, 96, 6, 64, 3, 1, 3, 1984, 1, 4096, 512, 6, 1, 7, 6, 31744, 7680, 32704, 7, 4, 32704, 256, 192, 1920, 32704, 256, 2, 4096, 2, 1, 2, 2048, 7, 16256, 7, 1, 256, 4, 7, 3, 2}

    Returns: {4, 5, 6, 0, 1, 7, 8, 9, 2, 10, 11, 12, 13, 3, 14 }

  39. 15

    {9, 3, 5, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 6, 66, 258, 514, 1026, 2050, 16386, 12, 20, 6, 34, 130, 4098, 8194, 68, 260, 516, 1028, 2052, 16388, 24, 40, 12, 132, 4100, 8196, 72, 264, 520, 1032, 2056, 16392, 48, 80, 144, 24, 4104, 8200, 272, 528, 1040, 2064, 16400, 96, 160, 288, 544, 1056, 2080, 4128, 48, 8208, 16416, 192, 320, 576, 1088, 2112, 4160, 8256, 96, 16448, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 7168, 32512, 3072, 63, 512, 15360, 8192, 1792, 2, 14, 4, 12288, 6, 16128, 14336, 768, 256, 16, 14, 63, 768, 30, 15, 6, 2, 3072, 32256, 30, 30720, 24, 31744, 768, 15, 16128, 62, 31744, 16, 28, 48, 2048, 28672, 1, 15360, 56, 31744, 3072, 1, 512, 7936, 62, 7680, 7, 7936, 4096, 7168, 1, 32, 16, 31, 16, 63, 4, 3072, 6, 62, 1792, 12, 7936, 63, 32512, 14336, 31, 24, 7680, 1792, 31744, 15, 30720, 7168, 32256, 3, 60, 8, 16, 28, 32256, 6, 1536, 28, 24, 2048, 30720, 24, 2048, 256, 16}

    Returns: {0, 7, 8, 1, 2, 3, 9, 4, 10, 11, 12, 13, 5, 6, 14 }

  40. 15

    {3, 5, 9, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 6, 10, 18, 34, 66, 130, 258, 514, 1026, 2050, 4098, 8194, 16386, 20, 12, 36, 68, 132, 260, 516, 1028, 2052, 4100, 8196, 16388, 136, 520, 2056, 4104, 8200, 16392, 48, 24, 72, 264, 1032, 144, 528, 2064, 4112, 8208, 16400, 96, 48, 272, 1040, 160, 544, 2080, 4128, 8224, 16416, 192, 320, 96, 1056, 576, 2112, 4160, 8256, 16448, 384, 640, 1152, 192, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 14, 62, 120, 15360, 14336, 112, 124, 32256, 12, 14336, 16, 1024, 14336, 7680, 15, 62, 126, 30720, 124, 7680, 4, 512, 6, 15872, 4, 6144, 14, 12288, 7168, 28, 6144, 30720, 4096, 15872, 6144, 7168, 15872, 7680, 4, 14336, 120, 4096, 14336, 127, 96, 3584, 16384, 32, 31744, 8192, 4096, 6, 28672, 63, 15360, 6144, 32, 16, 30, 63, 3584, 7680, 15360, 14336, 63, 31744, 14, 12288, 2, 15872, 24, 31, 15, 24, 127, 3, 24, 96, 96, 31, 3584, 4, 7168, 120, 12288, 15872, 124, 15360, 12288, 7680, 64, 2048, 31, 6144, 1, 7}

    Returns: {0, 1, 2, 8, 3, 4, 5, 9, 6, 10, 7, 11, 12, 13, 14 }

  41. 15

    {3, 5, 9, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 10, 6, 18, 34, 66, 130, 258, 514, 1026, 2050, 4098, 8194, 16386, 36, 68, 132, 516, 1028, 2052, 4100, 24, 12, 260, 8196, 16388, 40, 72, 136, 520, 1032, 2056, 4104, 48, 80, 144, 272, 24, 8200, 16392, 528, 1040, 2064, 4112, 96, 160, 288, 544, 1056, 2080, 4128, 8224, 48, 16400, 192, 320, 576, 1088, 2112, 4160, 8256, 16448, 96, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 3584, 8, 8, 48, 8, 24576, 6, 32, 2, 31744, 2, 3, 512, 6144, 24576, 6, 32256, 768, 56, 12, 1792, 1792, 3072, 32512, 28672, 16128, 1, 32256, 32, 12, 4096, 7, 512, 14336, 62, 16384, 2, 48, 768, 2, 2048, 31, 4096, 24576, 7, 24576, 3072, 62, 30, 16, 12288, 48, 32, 4096, 24, 31, 60, 63, 48, 15872, 15, 4, 62, 56, 3840, 62, 12, 1024, 16128, 12, 512, 60, 3, 14336, 1, 1024, 30, 28, 16128, 32256, 31, 60, 7, 6, 16, 7680, 6144, 768, 62, 32, 3, 512, 3584, 4, 28672, 12288}

    Returns: {0, 1, 7, 2, 3, 8, 9, 10, 4, 11, 12, 13, 14, 5, 6 }

  42. 15

    {3, 5, 17, 33, 129, 4097, 6, 10, 18, 34, 66, 3, 257, 513, 1025, 2049, 8193, 16385, 130, 4098, 12, 20, 36, 68, 132, 260, 6, 514, 1026, 2050, 8194, 16386, 4100, 24, 40, 72, 136, 264, 520, 12, 1028, 2052, 8196, 16388, 4104, 48, 80, 144, 272, 528, 1040, 24, 2056, 8200, 16392, 4112, 96, 160, 288, 544, 1056, 2080, 48, 8208, 16400, 4128, 192, 320, 576, 1088, 2112, 4160, 8256, 96, 16416, 384, 640, 1152, 2176, 4224, 8320, 16512, 192, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 7, 30, 63, 112, 15, 16, 48, 15360, 1024, 31744, 124, 6144, 56, 7680, 7680, 63, 12288, 2048, 8, 3072, 14336, 28, 120, 64, 4096, 8192, 4096, 14, 2048, 8192, 6144, 112, 24, 8, 64, 32, 31, 1024, 64, 7680, 12288, 48, 16, 1536, 63, 8, 8192, 6, 512, 96, 62, 30720, 96, 12288, 48, 32, 96, 63, 126, 1536, 32256, 96, 56, 14, 6, 127, 30, 24, 1536, 120, 62, 4, 16384, 1024, 512, 1, 4, 4096, 3072, 1, 124, 14, 30720, 60, 7680, 63, 3072, 3584, 12288, 4096, 31744, 24576, 28, 12, 3072, 56}

    Returns: {8, 9, 10, 0, 11, 12, 1, 13, 2, 3, 4, 5, 14, 6, 7 }

  43. 15

    {3, 5, 9, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 6, 10, 18, 34, 66, 130, 258, 514, 1026, 2050, 4098, 8194, 16386, 20, 12, 36, 68, 132, 260, 516, 1028, 2052, 4100, 8196, 16388, 40, 72, 520, 1032, 2056, 8200, 48, 80, 144, 24, 264, 4104, 16392, 528, 1040, 2064, 8208, 96, 160, 288, 48, 4112, 16400, 544, 1056, 2080, 8224, 192, 320, 576, 1088, 2112, 4160, 96, 16416, 8256, 384, 640, 1152, 2176, 4224, 8320, 16512, 192, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 3072, 15360, 4, 1536, 32256, 127, 30, 8192, 6144, 15872, 7, 8, 14, 60, 1536, 1, 6, 12, 1, 56, 2048, 15872, 6, 1024, 512, 6, 112, 15872, 124, 60, 96, 3072, 2, 30720, 127, 7680, 6144, 96, 24576, 56, 7168, 24, 15360, 63, 1024, 62, 3072, 126, 56, 14, 63, 1024, 6144, 1024, 24576, 15, 16384, 15360, 3, 112, 16384, 6144, 1024, 7168, 15872, 30, 14, 126, 7680, 16384, 2048, 4096, 32, 30720, 3072, 15, 12, 7680, 12288, 63, 8, 15360, 30, 126, 127, 3584, 14, 112, 16384, 120, 7680, 28672, 8192, 124, 12288, 8192}

    Returns: {0, 1, 2, 8, 3, 9, 10, 4, 5, 11, 12, 13, 6, 14, 7 }

  44. 15

    {3, 5, 9, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 34, 6, 10, 18, 66, 130, 258, 514, 1026, 2050, 4098, 8194, 16386, 12, 20, 260, 516, 1028, 4100, 16388, 24, 40, 72, 12, 132, 2052, 8196, 264, 520, 1032, 4104, 16392, 48, 80, 144, 24, 2056, 8200, 272, 528, 1040, 4112, 16400, 96, 160, 288, 544, 1056, 2080, 48, 8208, 4128, 16416, 192, 320, 576, 1088, 2112, 4160, 8256, 96, 16448, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 256, 3, 32512, 8, 2048, 30, 56, 7680, 16128, 15, 8, 31744, 62, 15872, 24, 32, 60, 7936, 60, 512, 31744, 32256, 3584, 8, 31744, 3, 24, 6, 48, 15, 32512, 28, 63, 12, 48, 1792, 63, 3584, 12288, 63, 30, 1536, 31, 48, 7, 12, 24576, 1, 1792, 7680, 12288, 32, 2, 16, 3840, 14336, 60, 15360, 32, 8, 256, 60, 4, 8192, 12288, 56, 31, 3840, 32512, 30720, 7936, 12288, 12, 12, 6, 1024, 4, 15, 32, 3, 512, 15, 7936, 7, 6144, 31, 8192, 6, 62, 6, 16384, 32256, 15360, 3840, 1, 28672}

    Returns: {0, 1, 7, 8, 9, 2, 3, 4, 10, 11, 12, 5, 13, 6, 14 }

  45. 15

    {5, 3, 9, 17, 33, 65, 129, 257, 513, 1025, 2049, 4097, 8193, 16385, 10, 18, 130, 258, 2050, 4098, 16386, 12, 20, 36, 6, 66, 514, 1026, 8194, 132, 260, 2052, 4100, 16388, 24, 40, 72, 12, 516, 1028, 8196, 136, 264, 2056, 4104, 16392, 48, 80, 144, 272, 528, 24, 1032, 8200, 2064, 4112, 16400, 96, 160, 288, 544, 1056, 48, 8208, 2080, 4128, 16416, 192, 320, 576, 1088, 2112, 4160, 8256, 96, 16448, 384, 640, 1152, 2176, 4224, 8320, 16512, 768, 1280, 2304, 4352, 8448, 16640, 1536, 2560, 4608, 8704, 16896, 3072, 5120, 9216, 17408, 6144, 10240, 18432, 12288, 20480, 24576, 28, 7, 7, 1, 12, 31, 768, 16128, 32512, 31744, 1, 32, 31, 6144, 28, 56, 24, 14336, 14336, 48, 3584, 16, 7, 16384, 3, 256, 2, 31, 14, 63, 2048, 15, 15, 3584, 12, 24576, 4096, 32256, 3072, 7936, 1536, 4096, 3584, 32, 512, 24, 16384, 15872, 32, 15360, 32, 1792, 28672, 12, 62, 12288, 3072, 30, 1536, 6144, 15360, 60, 512, 15872, 12288, 6144, 15872, 12, 15872, 7680, 6, 15360, 62, 24, 15, 32512, 56, 7, 62, 7, 2048, 15, 32512, 7680, 2, 512, 3, 4096, 60, 3, 1024, 768, 32256, 1, 3, 1536}

    Returns: {0, 7, 1, 8, 9, 2, 3, 10, 11, 4, 5, 12, 13, 6, 14 }

  46. 15

    {10240, 10, 1026, 2176, 18432, 528, 9, 10240, 1025, 18, 4112, 768, 64, 2080, 80, 528, 514, 2, 8320, 16386, 4128, 96, 516, 528, 1536, 128, 1024, 3072, 128, 24, 16512, 68, 3072, 24576, 160, 36, 516, 516, 24576, 384, 160, 16384, 65, 264, 65, 2304, 1026, 40, 288, 520, 514, 48, 24576, 4104, 256, 8208, 16386, 2050, 2112, 8200, 8224, 257, 64, 72, 2049, 65, 2112, 10, 1028, 16896, 16416, 4128, 2560, 12288, 4100, 96, 48, 4098, 4160, 1025, 1056, 18, 2064, 16385, 6, 129, 65, 4224, 4112, 4160, 66, 12, 260, 3, 16392, 40, 516, 4097, 640, 96, 8200, 4097, 16392, 96, 16640, 1026, 3, 1056, 24, 8320, 65, 2049, 1032, 136, 16512, 144, 1088, 4112, 4104, 260, 513, 528, 80, 128, 6144, 16392, 8704, 8208, 2050, 5120, 96, 528, 72, 1056, 640, 20, 2304, 3, 24576, 640, 3072, 4098, 2049, 17408, 2050, 8320, 1056, 20, 513, 136, 80, 10240, 4097, 1, 2050, 8704, 6, 6, 9216, 16640, 2052, 17, 4160, 1040, 17, 10, 320, 2304, 260, 132, 3, 1088, 8208, 1536, 1, 136, 4352, 10240, 10, 20480, 65, 8200, 65, 16388, 2064, 513, 4098, 9, 1280, 80, 514, 17408, 2176, 16448, 16448, 2056, 17408, 516}

    Returns: {13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 }

  47. 15

    {1577, 1052, 8537, 1198, 9859, 12416, 25680, 10448, 8281, 17120, 3075, 30720, 27905, 9346, 5381, 25156, 380, 2693, 1363, 8213, 18988, 547, 23042, 2582, 10056, 5266, 17952, 8353, 21129, 1731, 24604, 18721, 6292, 18564, 8199, 12440, 2581, 2945, 9441, 5520, 1563, 1233, 9634, 4138, 2848, 5417, 1000, 169, 2920, 6221, 10448, 27200, 12332, 16516, 4548, 10499, 1674, 28806, 13313, 10521, 8457, 16461, 16560, 1688, 794, 17284, 1712, 2273, 8802, 14608, 25617, 22808, 721, 1316, 6677, 16438, 5226, 3344, 16398, 16929, 17540, 23040, 4123, 4482, 18792, 357, 24643, 5191, 556, 22539, 1075, 13664, 21344, 21392, 614, 16720, 5168, 6760, 2573, 715, 2216, 161, 8524, 15504, 11288, 564, 12642, 3337, 1155, 4883, 2211, 10594, 8404, 2161, 24594, 9312, 7041, 5666, 6408, 604, 3238, 2228, 20522, 29200, 9448, 18753, 732, 5645, 16579, 1226, 14080, 16931, 12034, 8794, 13856, 570, 15393, 25602, 18454, 4707, 1929, 9793, 13322, 5928, 16744, 600, 1408, 1856, 18963, 21523, 9372, 30720, 518, 4873, 20494, 17185, 12904, 16404, 17640, 4306, 2648, 18064, 5161, 4420, 6544, 2772, 9861, 8593, 4300, 219, 2311, 1386, 6321, 9920, 4111, 1256, 29776, 3906, 402, 16800, 8644, 18476, 910, 14852, 9540, 14362, 14360, 25476, 2339, 622, 7520, 2758}

    Returns: { }

  48. 15

    {18070, 20484, 17354, 4961, 4032, 22672, 30776, 15457, 4576, 5198, 19408, 8533, 7749, 28965, 16627, 1489, 5554, 12425, 16850, 9930, 12469, 2388, 567, 4123, 2151, 18626, 1265, 10792, 28952, 6404, 10193, 17525, 3734, 15552, 31253, 17688, 23729, 10668, 20932, 18776, 15072, 5646, 5572, 4874, 4694, 28180, 8870, 6294, 6610, 18462, 18322, 30304, 18637, 20056, 23122, 2832, 18261, 13734, 31808, 21232, 1246, 26697, 13928, 8362, 20039, 31234, 20613, 17676, 14347, 10119, 11405, 24844, 1857, 9848, 2342, 8362, 11402, 8518, 7779, 2838, 4165, 19028, 24777, 14436, 4751, 3986, 463, 17592, 13765, 21155, 12429, 21036, 1859, 3251, 26054, 2739, 26848, 7826, 19344, 853, 19462, 18006, 28882, 13515, 21809, 5701, 6187, 19552, 4718, 25401, 2369, 24740, 5192, 3914, 4925, 10676, 4970, 28777, 18630, 2744, 31492, 25404, 18198, 4733, 18066, 23565, 16487, 10450, 25681, 19904, 21251, 18967, 4885, 4704, 7738, 3637, 14641, 31048, 4268, 1626, 10121, 15952, 25217, 27171, 17752, 13861, 12952, 9419, 17031, 23060, 6316, 5722, 21538, 8870, 14538, 9737, 7434, 24984, 18650, 24714, 10052, 1404, 17077, 20912, 26436, 24757, 19587, 4686, 17241, 990, 19501, 11801, 26694, 28008, 17319, 7553, 14672, 19296, 21894, 7239, 6796, 16012, 415, 4561, 19041, 27032, 5577, 12295, 17188, 20272, 8748, 18474, 24614, 1305}

    Returns: { }

  49. 15

    {4521, 1874, 9233, 27424, 5841, 25986, 23692, 5148, 1475, 18446, 6250, 29224, 30208, 24903, 22928, 25140, 8866, 21511, 8524, 29217, 8296, 6562, 23428, 10537, 13579, 18982, 4390, 10348, 6762, 11265, 12576, 27658, 9130, 9223, 3095, 2425, 19522, 30728, 13880, 15008, 1988, 25921, 25667, 22598, 14353, 2333, 31242, 8378, 4421, 10776, 9497, 17558, 18136, 22944, 2232, 15400, 3494, 19594, 1474, 7220, 3025, 22668, 6597, 13964, 10406, 9810, 930, 4689, 21078, 796, 2966, 10345, 6289, 24817, 9538, 15385, 29704, 2601, 25256, 27148, 3233, 16818, 5412, 1486, 27748, 24583, 9764, 2965, 1541, 9558, 17248, 15457, 12104, 4407, 8726, 20592, 18483, 8302, 6378, 10295, 5720, 8666, 22402, 10642, 19857, 2211, 7456, 12552, 8219, 26912, 6675, 26125, 11584, 13060, 23312, 16419, 2232, 4676, 3468, 1489, 678, 27042, 12388, 677, 27718, 7429, 17136, 16996, 2436, 6170, 7216, 5537, 118, 6226, 2754, 4688, 27168, 16689, 16796, 6283, 23568, 18511, 12096, 25360, 4180, 26960, 17459, 1619, 14369, 24660, 277, 29504, 16840, 11400, 1252, 7205, 16824, 11009, 16446, 4284, 19620, 4669, 22028, 26660, 2090, 9811, 8455, 8673, 6598, 9030, 8715, 1126, 30214, 5290, 2580, 6220, 25192, 20128, 10001, 20809, 17944, 12337, 11076, 15041, 12401, 16527, 11537, 25680, 5283, 17177, 5728, 6450, 11201, 21002, 4419, 17336, 3760, 3280, 26722, 10641}

    Returns: { }

  50. 15

    {12871, 27017, 18060, 11416, 26320, 31244, 28948, 9327, 20080, 4854, 20361, 554, 30339, 19312, 19000, 10976, 29010, 10538, 30470, 27525, 17732, 26310, 25218, 3365, 23116, 1693, 27294, 17966, 16445, 30870, 20071, 985, 21984, 18275, 23736, 8882, 3298, 11629, 30404, 687, 16828, 10097, 22196, 18801, 24605, 25155, 18534, 3560, 3891, 30859, 22585, 20969, 3194, 29787, 27592, 27157, 19041, 2071, 29845, 19545, 5774, 26637, 13875, 2937, 8764, 3742, 5265, 6746, 16542, 1821, 13956, 7237, 20700, 25988, 485, 22826, 28758, 20825, 15172, 4967, 15976, 24830, 4451, 9273, 18552, 28726, 3342, 31564, 28976, 13489, 19817, 28702, 9798, 8956, 15241, 18033, 26420, 10708, 30804, 25574, 28185, 21523, 16588, 22884, 28181, 32280, 25809, 14992, 13112, 23948, 25681, 12913, 20228, 25302, 30009, 8531, 24000, 31000, 26242, 19632, 14789, 19585, 15877, 7333, 6379, 24668, 28312, 5094, 21561, 14882, 32270, 24145, 27725, 15472, 15053, 5291, 17967, 11537, 14176, 7523, 1852, 1402, 27208, 5209, 5756, 11112, 3385, 19824, 4657, 14949, 9273, 27436, 18922, 20057, 30803, 29580, 29475, 21541, 2447, 13585, 14860, 12658, 29904, 1894, 17333, 23633, 25414, 12591, 31750, 27144, 5227, 15970, 25204, 23722, 13712, 14216, 19138, 5836, 19626, 25754, 9758, 23304, 23709, 27537, 10882, 11797, 18589, 22186, 7818, 27520, 8302, 937, 25773, 20887, 24258, 15629, 28554, 24789}

    Returns: { }

  51. 15

    {9314, 4548, 26704, 5762, 8298, 13058, 4690, 12340, 13572, 8204, 3008, 4384, 6673, 9288, 8528, 325, 19489, 1540, 19208, 590, 3140, 8456, 18454, 3844, 16436, 10784, 57, 4296, 3604, 5216, 51, 4552, 17184, 197, 16660, 16521, 9986, 2160, 1216, 2055, 20928, 15368, 902, 43, 21058, 9480, 9260, 17729, 593, 14624, 1585, 10761, 17444, 8404, 26689, 2370, 904, 25730, 18442, 8198, 4888, 4644, 25184, 1413, 19208, 8528, 2315, 19728, 2180, 29952, 13441, 2146, 2072, 16561, 19456, 16481, 1172, 101, 4193, 12488, 3201, 9492, 12368, 2376, 16418, 3152, 16459, 348, 2274, 836, 24581, 16391, 4166, 9088, 1154, 2150, 17030, 1052, 18952, 8388, 4615, 261, 6304, 836, 16522, 8396, 2881, 1188, 2232, 24641, 24577, 4276, 641, 18624, 786, 1248, 9152, 705, 2149, 90, 10516, 9228, 18561, 170, 8801, 14468, 16977, 141, 3008, 2948, 18437, 5121, 16913, 916, 2090, 2118, 5220, 16648, 912, 16920, 2211, 613, 15360, 25344, 18530, 4200, 16497, 10508, 3122, 805, 13072, 327, 1921, 4876, 6472, 17413, 28689, 8340, 170, 28832, 16688, 5185, 928, 1417, 20547, 17684, 13345, 9984, 9090, 16600, 12456, 530, 6277, 4613, 17537, 12481, 6920, 4162, 20490, 13318, 17409, 1232, 357, 27776, 6156, 8305, 108, 810, 17930, 10289, 5186, 16608, 4304, 322, 22536, 838, 106, 2202, 2736, 1540}

    Returns: { }

  52. 15

    {960, 368, 4673, 1091, 4241, 18689, 25120, 328, 424, 2337, 2592, 4872, 14344, 16389, 546, 8512, 9234, 18440, 8360, 6210, 9760, 20496, 20744, 816, 657, 6224, 4872, 9226, 720, 16772, 1285, 4098, 8976, 4480, 20576, 16913, 1792, 18560, 13344, 521, 10336, 16516, 14, 6688, 338, 1155, 99, 21, 10624, 4104, 896, 2563, 24580, 9504, 16905, 2115, 19, 16664, 19200, 4868, 8720, 674, 323, 16496, 12928, 774, 17538, 12417, 4928, 4098, 6288, 4362, 4132, 643, 1168, 3328, 18689, 9240, 4369, 2242, 20738, 2688, 6432, 4688, 17416, 3074, 4432, 8480, 24578, 10754, 97, 25089, 5200, 24, 9344, 24720, 12448, 1541, 193, 8576, 8720, 18, 16484, 456, 816, 17153, 9280, 18944}

    Returns: { }

  53. 15

    {3396, 25093, 710, 16525, 581, 2371, 3264, 2402, 4162, 25346, 17540, 8898, 2400, 24680, 2214, 1170, 4195, 778, 3352, 13072, 16659, 2188, 705, 9800, 4386, 550, 8206, 2308, 582, 8306, 17672, 5154, 4363, 24614, 23584, 4928, 21536, 1472, 3264, 553, 20674, 8738, 18529, 28676, 19648, 18816, 16394, 1441, 21508, 10259, 17937, 9745, 16680, 16428, 6785, 9744, 8258, 4273, 18944, 217, 12361, 354, 28160, 8354, 16530, 16460, 4249, 8707, 312, 16616, 17921, 4448, 16419, 4633, 8448, 8961, 21057, 1178, 17728, 16435, 2577, 18624, 2098, 24674, 2132, 1537, 20748, 75, 2624, 6148, 11584, 25744, 1543, 10764, 16391, 13060, 16912, 3008, 8709, 4864, 27652, 24590, 17040, 13440, 12880, 17029, 28736, 2272, 20784, 8272, 4881, 8390, 22018, 25633, 5664, 53, 12801, 2276, 1136, 17418, 16908, 3224, 20772, 16678, 16908, 13056, 13344, 5384, 16489, 21124, 18436, 14408, 1441, 16658, 9476, 3608, 8786, 354, 1304, 3616, 4617, 28816, 4646, 24596, 58, 21009, 1160, 1219, 5638, 16472, 12362, 17416, 330, 16434, 2218, 5378, 7712, 4265, 7184, 4688, 403, 408, 872, 27648, 9768, 8716, 6657, 24832, 2576, 25128, 18208, 14596, 1060, 2243, 18576, 7682, 13456, 10296}

    Returns: { }

  54. 15

    {752, 60, 16409, 2721, 1297, 20808, 24705, 2118, 205, 1410, 385, 8836, 5144, 9512, 6544, 434, 4120, 6157, 18432, 14464, 2338, 1064, 4374, 2100, 8199, 13060, 21760, 531, 4262, 538, 21120, 14340, 10504, 3600, 20625, 18441, 18516, 169, 1356, 4613, 1640, 3090, 409, 24600, 8340, 4496, 10769, 25617, 578, 324, 1288, 10688, 16500, 16482, 2118, 281, 12385, 10520, 1051, 550, 5264, 8745, 9368, 8470, 19024, 6424, 52, 2194, 1100, 4102, 24852, 4243, 17672, 218, 10289, 98, 24856, 18948, 21640, 7432, 2565, 9256, 8360, 8296, 652, 20673, 20553, 962, 2121, 8585, 16816, 3856, 3328, 1609, 4744, 8640, 101, 2336, 12834, 8532, 16905, 2100, 16936, 29440, 16398, 10277, 28740, 7440, 2822}

    Returns: { }

  55. 15

    {8576, 2064, 4130, 1041, 272, 400, 17024, 36, 9224, 3, 200, 1280, 1540, 3104, 2305, 16644, 4232, 193, 2176, 10240, 12296, 800, 328, 2180, 1028, 20488, 545, 2312, 8576, 276, 1088, 448, 9217, 580, 321, 513, 2058, 4232, 16641, 20736, 4099, 176, 16402, 7168, 162, 529, 16512, 134, 16432, 129, 2113, 3074, 22528, 40, 2568, 140, 2306, 4624, 3072, 12544, 12290, 137, 2308, 4116, 52, 24608, 13312, 24832, 16420, 16452, 4672, 1060, 12800, 16449, 2114, 17412, 8194, 4102, 12290, 13, 8258, 8450, 18560, 7, 3104, 2052, 28, 69, 4416, 16387, 3080, 320, 1538, 20512, 56, 16393, 16401, 16389, 272, 18496, 16416, 2081, 5632, 1044, 4352, 1036, 769, 4224, 4120, 193, 5121, 16928, 66, 552, 2096, 518, 17024, 608, 16408, 1168, 140, 576, 41, 8201, 18, 136, 4612, 2051, 560, 529, 8224, 16420, 2066, 386, 1408, 608, 16404, 194, 1552, 2056, 4097}

    Returns: { }

  56. 15

    {20496, 9280, 16520, 16393, 6160, 8704, 265, 52, 66, 16648, 2052, 4612, 578, 49, 22528, 18432, 272, 2308, 9217, 784, 8720, 1600, 544, 24, 19456, 8288, 14336, 3104, 8204, 4384, 133, 16672, 66, 322, 12288, 8452, 9220, 134, 1064, 200, 3074, 392, 33, 328, 261, 1120, 10, 88, 4736, 14336, 192, 5, 16424, 6656, 16672, 10244, 9217, 8197, 1028, 2049, 16424, 16641, 8197, 2080, 80, 14336, 8324, 6272, 1028, 8512, 16389, 16516, 20484, 97, 641, 8216, 276, 6160, 1600, 8228, 16898, 20512, 5376, 18440, 648, 8324, 5128, 8209, 5122, 97, 1537, 131, 16432, 1064, 8225, 8, 16420, 8264, 1027, 4612, 832, 160, 4224, 644}

    Returns: {0, 14, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  57. 15

    {16896, 8448, 384, 32, 68, 1280, 16640, 264, 192, 6144, 33, 8208, 520, 4224, 4104, 10, 1152, 576, 136, 33, 8, 2080, 768, 8192, 9, 2112, 8193, 768, 288, 288, 1056, 384, 4608, 513, 516, 4098, 10, 16400, 528, 576, 5120, 4097, 258, 4352, 1056, 18432, 80, 4128, 16400, 2052, 4224, 8448, 1024, 516, 4608, 260, 16400, 17, 576, 288, 4608, 2112, 4608, 1536, 5120, 4224, 16640, 8704, 2049, 16, 144, 4352, 3072, 8256, 12, 24576, 8256, 2112, 9216, 129, 16400, 130, 1280, 4112, 2080, 24576, 256, 8200, 514, 3, 20, 18432, 96, 10, 16896, 528, 40, 258, 4104, 20480, 4224, 8196, 130, 9, 8194, 33, 16512, 4098, 18432, 2304, 130, 20480, 6144, 12, 6, 8194, 8, 516, 20480, 3072, 16392, 16448, 2304, 16512, 65, 4352, 12, 4352, 513, 1056, 18, 384, 4224, 8256, 136, 24, 768, 1028, 12288, 4160, 528, 4608, 2052, 16896, 20, 1, 4352, 1280, 18432, 8, 514, 1088, 8448}

    Returns: {12, 0, 13, 14, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 }

  58. 15

    {16385, 268, 2240, 4354, 20480, 4353, 4608, 3076, 112, 8272, 146, 16400, 8832, 8706, 6176, 288, 137, 513, 2432, 1408, 16464, 1060, 1026, 4130, 16408, 24704, 2576, 10272, 16424, 8200, 24580, 16396, 672, 8212, 1120, 8768, 8194, 18496, 9, 1092, 3072, 1154, 1033, 11, 8256, 10248, 8712, 388, 4226, 20484, 1042, 17472, 4672, 8464, 1028, 296, 50, 1284, 24578, 536, 2208, 9220, 1408, 578, 2052, 261, 20608, 4624, 9728, 448, 1344, 320, 24576, 8456, 84, 16898, 6146, 4192, 72, 14336, 4101, 12290, 16900, 8224, 1104, 10752, 193, 10241, 18432, 4353, 2049, 515, 16642, 24578, 16648, 261, 8464, 131, 8960, 4864, 16912, 12416, 16396, 20488, 10272, 12290, 1536, 131, 1152, 129, 2184, 4610, 96, 20512, 14336, 8212, 5184, 648, 16528, 4192, 16656, 8768, 4256, 2053, 16904, 8232, 4114, 6146, 162, 97, 4360, 280, 6148, 1025, 532, 4480, 146, 2120, 98, 1216, 4116, 4113, 1536, 25, 16432, 641, 18496, 1040, 580, 1538, 16449, 5376, 2336, 1282, 2568, 384, 12544, 3072, 524, 4384, 5248, 96, 16464, 12, 416, 592, 12320, 8272, 8260, 4609}

    Returns: {3, 4, 5, 6, 7, 8, 9, 10, 0, 11, 1, 12, 13, 14, 2 }

  59. 15

    {384, 33, 16400, 3072, 4160, 72, 72, 33, 18, 258, 2560, 2050, 8256, 1024, 80, 96, 33, 4128, 20480, 1088, 1028, 260, 2112, 6144, 17, 48, 2049, 2560, 2176, 8200, 514, 8208, 1280, 4098, 192, 256, 16448, 288, 8200, 1536, 136, 192, 16416, 72, 272, 2112, 66, 33, 2049, 24, 4097, 130, 160, 2056, 4160, 24576, 8192, 513, 144, 96, 16388, 32, 8224, 12288, 16416, 40, 18432, 2064, 65, 6144, 24, 6144, 8448, 513, 16388, 66, 144, 3, 5, 528, 4100, 384, 9216, 320, 1024, 10, 16512, 2080, 320, 520, 24, 16400, 6, 1152, 10, 16640, 16384, 192, 320, 1032, 16400, 16400, 65, 576, 4112, 1280, 1280, 5120, 10240, 8196, 65, 4128, 6, 4112, 8256, 4, 2052, 136, 4104, 20480, 16640, 64, 8208, 16386, 16, 1152, 129, 8193, 9, 65, 258, 4160, 1028, 144, 16512, 2080, 4160, 128, 4098, 640, 16640, 24, 4097, 513, 16448, 1025, 1280, 4097, 1280}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  60. 15

    {516, 513, 136, 160, 2080, 160, 1026, 20480, 16448, 384, 18, 2080, 129, 768, 1280, 288, 130, 9216, 136, 8192, 10, 520, 1040, 4100, 2176, 136, 24576, 16512, 48, 2560, 260, 24576, 2176, 40, 257, 17, 132, 8196, 144, 260, 3072, 1280, 3072, 16512, 2048, 160, 5120, 2056, 4098, 3072, 72, 258, 2056, 1056, 1, 16640, 16384, 288, 3, 16896, 129, 288, 2176, 36, 8194, 12, 3, 24, 516, 12, 34, 96, 576, 64, 8, 64, 2064, 4608, 68, 1028, 3072, 136, 20480, 132, 6144, 4097, 2052, 1024, 1, 1024, 16385, 40, 9216, 6144, 2052, 2080, 96, 4104, 66, 36, 34, 66, 8192, 10240, 4352, 2056, 2050, 272, 272, 516, 1056, 16, 2112, 17, 513, 80, 20, 8194, 96, 128, 4352, 36, 1056, 2, 2052, 2048, 48, 1088, 8194, 3072, 514, 2560, 513, 384, 160, 260, 68, 2560, 24576, 6144, 544, 16388, 4160, 264, 9, 136, 16640, 4098, 16640, 34, 16896, 24576, 3, 264, 130, 4160, 1280, 516, 2080, 17, 288, 192, 16388, 4097, 514, 4112, 2064, 256, 3, 576, 24576, 2, 513, 24576, 1280, 18, 130, 4224, 1536, 40, 160, 2056, 36, 3, 5, 18, 16896, 136, 16512, 272, 4160, 9216, 20, 8704, 4128, 1088, 4112}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  61. 15

    {160, 8192, 4100, 16416, 33, 9216, 264, 1, 9, 272, 1536, 1040, 6144, 1026, 12288, 8193, 264, 4224, 1032, 72, 1088, 4128, 288, 144, 16, 528, 1028, 1040, 264, 768, 4097, 18432, 4112, 4100, 256, 16416, 4097, 8320, 2048, 3, 16896, 18, 1032, 3072, 8, 2050, 4098, 36, 256, 1040, 8196, 16400, 66, 8256, 2112, 18, 3, 264, 516, 8448, 160, 288, 96, 17, 16385, 544, 16385, 16385, 66, 8208, 192, 4160, 80, 1280, 2064, 8704, 20, 8, 2112, 2080, 16512, 128, 4224, 544, 4104, 33, 20480, 33, 4352, 8208, 2, 6144, 576, 384, 384, 272, 192, 1056, 256, 1026, 96, 8192, 18, 4352, 768, 132, 640, 2052, 5120, 288, 17, 8320, 132, 4608, 132, 6144, 9, 2304, 576, 4112, 17, 129, 8208, 4098, 260, 1536, 257, 160, 16512, 136, 65, 16448, 17, 40, 36, 640, 16640, 576, 1040, 544, 16416, 8448, 513, 128, 18, 9216, 132, 24, 257, 288, 48, 6, 40, 12288, 516, 68, 4160, 320, 136, 18, 36, 130, 20, 2064, 528, 18432, 4098, 96, 16388, 24576, 10, 16388, 2052}

    Returns: {0, 13, 14, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 }

  62. 15

    {4353, 4640, 8197, 19, 1057, 2561, 17, 16516, 40, 16448, 4112, 12290, 16386, 8321, 8212, 1030, 17152, 2082, 136, 4240, 2816, 49, 4161, 8232, 516, 578, 24704, 6, 770, 1184, 8449, 2576, 12544, 260, 129, 17410, 26, 1056, 9232, 4480, 138, 513, 194, 69, 18432, 2320, 8209, 17, 8194, 3328, 4240, 260, 134, 4353, 8480, 1089, 322, 8720, 5248, 9248, 50, 518, 16432, 12292, 17024, 1089, 4160, 448, 392, 10304, 9217, 1096, 193, 5136, 52, 1042, 8210, 5184, 2177, 24578, 321, 18433, 10244, 14, 322, 16417, 8200, 1156, 8324, 17, 2308, 260, 268, 4228, 2120, 264, 268, 4116, 16396, 416, 3073, 50, 16387, 168}

    Returns: {12, 13, 0, 14, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 }

  63. 15

    {1544, 11524, 2832, 570, 18962, 6241, 16453, 1190, 6914, 6680, 18977, 9508, 17220, 141, 7296, 12803, 25088, 16531, 8514, 27144, 30721, 16454, 25856, 228, 844, 5192, 1608, 11269, 17560, 10516, 1106, 16920, 2088, 14345, 8972, 537, 8369, 5536, 6424, 2946, 647, 808, 3105, 4290, 566, 1858, 5250, 14404, 3872, 1217, 4204, 16649, 602, 4208, 4368, 16586, 20632, 4265, 8386, 16905, 13330, 73, 24840, 1290, 16426, 21520, 18832, 484, 22657, 16816, 2226, 15360, 8848, 3392, 657, 9824, 9793, 17042, 18432, 8484, 3160, 24582, 10272, 17932, 515, 18049, 14339, 16522, 18584, 8472, 3144, 30208, 17410, 2132, 16780, 12818, 8579, 2314, 833, 533, 2404, 182, 1539, 4417, 4616, 2136, 1667, 24657, 21540, 16410, 4800, 6312, 8250, 25617, 16720, 21540, 9090, 16816, 5648, 16664, 20576, 8776, 25, 17460, 9504, 20614, 5393, 4882, 16408, 8722, 4300, 1039, 5640, 8236, 12294, 7744, 4528, 17088, 9104, 6156, 26176, 8964, 8726, 5378, 163, 16580, 8417, 4864, 833, 28736, 16411, 3138, 523, 18960, 906, 28804, 2136, 523, 45, 6288, 4617, 1608, 4268, 837, 20628, 8268, 29056, 10244, 20556}

    Returns: { }

  64. 15

    {6176, 1112, 18440, 16580, 70, 196, 8520, 7232, 1188, 8460, 4109, 202, 800, 70, 11328, 2308, 608, 864, 8260, 9344, 8458, 21508, 12416, 17442, 16944, 4768, 1050, 20486, 2177, 20500, 836, 13312, 800, 1060, 4641, 4192, 3104, 52, 4356, 17216, 49, 2055, 16436, 8259, 19200, 4130, 2182, 12801, 8392, 5392, 323, 2316, 11264, 19968, 4118, 1296, 8484, 19712, 1544, 76, 149, 18564, 3200, 12928, 8976, 4129, 8288, 8228, 1608, 8848, 1604, 16644, 8400, 4612, 8360, 17666, 2097, 77, 73, 4108, 2561, 8578, 616, 17411, 9222, 4116, 96, 2820, 8480, 6145, 9249, 2224, 5280, 16680, 2116, 7680, 2752, 1680, 259, 4641, 9232, 9226, 640, 6404, 2088, 4118, 209, 2067, 769, 12305, 275, 20512, 3584, 3092, 22529, 16457, 529, 276, 9284, 16552, 1569, 1537, 28680, 7184, 9729, 8360, 37, 8716, 3328, 1094, 19968}

    Returns: { }

  65. 15

    {5376, 784, 336, 16402, 2304, 50, 8260, 8450, 24832, 1280, 4100, 528, 296, 1568, 544, 8272, 1056, 608, 16456, 1057, 6208, 5376, 12304, 1032, 33, 8512, 2208, 4129, 10272, 4616, 2066, 8194, 2056, 74, 16896, 8456, 261, 16449, 521, 10248, 8456, 8210, 20488, 704, 9224, 4864, 4161, 17408, 16648, 17152, 522, 4288, 8216, 578, 68, 56, 193, 2568, 1600, 4114, 2177, 17024, 16514, 9344, 4164, 16648, 1168, 4368, 1041, 260, 24592, 4101, 3584, 516, 17408, 770, 2088, 6400, 1792, 1044, 768, 16640, 129, 4368, 17, 152, 9472, 4360, 1408, 24577, 16641, 73, 56, 16897, 288, 24608, 4168, 1048, 17410, 1048, 8193, 41, 2180, 1280, 16912, 4101, 20992, 656, 2053, 8576, 1044, 16704, 24584, 16900, 4101, 38, 18433, 1120, 2312, 8194, 4616, 1296, 160, 5152, 11, 88, 16514, 133, 18496, 16912, 16401, 2112, 4130, 258, 162, 14, 4616, 70, 1034, 16392, 10368, 10368, 5184, 2065, 8336, 4608, 280, 20482, 16389, 784, 4608, 2576, 24608, 4640, 136}

    Returns: {13, 0, 1, 2, 14, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 }

  66. 15

    {2820, 8202, 21572, 18712, 9288, 6164, 4932, 339, 2437, 2153, 4376, 25601, 2248, 16933, 16448, 388, 17670, 16721, 12362, 1162, 1556, 960, 17456, 26625, 4103, 28928, 8248, 403, 16500, 8458, 140, 4355, 10506, 3202, 16921, 11281, 4882, 2160, 594, 24706, 4194, 1556, 1664, 3208, 16596, 27680, 676, 25220, 16800, 329, 3331, 808, 570, 28936, 24850, 10306, 8489, 73, 2113, 17422, 21024, 14852, 4208, 5186, 1075, 18451, 197, 4304, 4174, 271, 16940, 4801, 12329, 16488, 1283, 1208, 10305, 17544, 1232, 4124, 785, 2256, 29192, 11282, 4720, 1640, 2452, 24707, 7682, 19459, 11424, 661, 10328, 6145, 8710, 9478, 18453, 5200, 331, 2436, 1095, 9745, 4489, 26634, 12361, 16469, 6659, 1353, 17938, 18624, 19528, 17156, 27649, 612, 11328, 1684, 13060, 17440, 87, 21280, 1232, 71, 10284, 11408, 284, 5378, 4169, 18457, 10820, 2274, 517, 16545, 1922, 3632, 16461, 29700, 4170, 16680, 20832, 230, 18504, 24595, 8293, 9730, 8305, 688, 2346, 8227, 24960, 108, 7328, 17490, 1194, 564, 6210}

    Returns: { }

  67. 15

    {3073, 904, 24578, 8840, 9240, 12290, 267, 2080, 800, 6209, 8962, 16672, 656, 5129, 12289, 68, 13824, 12300, 16403, 8209, 18560, 368, 8713, 592, 24579, 1065, 2104, 273, 6150, 8706, 2688, 136, 4676, 548, 1030, 526, 1032, 8353, 10756, 17665, 16769, 17664, 16576, 2434, 8292, 3332, 16404, 2370, 2067, 9536, 146, 5696, 1037, 416, 1097, 1169, 8448, 8460, 8292, 26752, 5186, 18562, 4103, 12545, 10760, 1033, 34, 324, 12801, 658, 4512, 4290, 9480, 16403, 16930, 897, 17424, 9218, 16451, 17664, 266, 5248, 12418, 10312, 16897, 2562, 12548, 16932, 40, 10312, 12384, 8450, 4481, 28674, 553, 2820, 8640, 18465, 16560, 21056, 616, 4137, 673, 1153, 6148, 16992, 19968, 6528, 769, 166, 9488, 8452, 1545, 16419, 4288, 18452, 12356, 8770, 18444, 17474, 275, 5377, 4418, 532, 4228, 12296, 578, 4184, 8212, 1666, 20485, 1172, 10560}

    Returns: { }

  68. 15

    {40, 17, 65, 6144, 4128, 528, 544, 272, 3, 2, 2056, 8320, 8320, 9216, 258, 8704, 8320, 8320, 2064, 640, 80, 9, 10, 2056, 2052, 384, 257, 16640, 16385, 1088, 2056, 513, 256, 192, 66, 36, 4104, 16386, 6144, 1040, 1032, 257, 4, 144, 768, 36, 8192, 1056, 130, 4352, 1026, 2304, 4352, 1280, 2056, 513, 129, 1, 160, 2064, 260, 8193, 10240, 2064, 16392, 8320, 8200, 16400, 24576, 8194, 2176, 16388, 4096, 20480, 132, 130, 1032, 4104, 1536, 16640, 9216, 36, 8448, 66, 768, 68, 68, 8704, 16896, 16388, 16388, 17408, 1056, 96, 8193, 4352, 40, 4104, 72, 272}

    Returns: {13, 0, 14, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 }

  69. 15

    {1664, 8450, 24608, 16544, 4116, 514, 20736, 24832, 1044, 8448, 16393, 3104, 544, 16420, 640, 322, 2336, 16704, 1090, 73, 522, 1544, 770, 2624, 40, 4610, 8193, 24, 1036, 8512, 1096, 388, 70, 4608, 1154, 8322, 2065, 5136, 22528, 129, 16390, 6, 18448, 12288, 2081, 1088, 608, 289, 400, 2192, 16528, 4164, 328, 3, 6160, 2065, 288, 6208, 16544, 12, 280, 16642, 2050, 16396, 2080, 4226, 2054, 2624, 17408, 521, 8201, 592, 2050, 16897, 1026, 8448, 1344, 17409, 16642, 776, 72, 6144, 97, 6208, 16640, 18433, 1026, 17409, 9728, 580, 8264, 13312, 5184, 1048, 17472, 656, 16528, 18, 2568, 9217, 24832, 1408, 1025, 9232, 2057, 196, 260, 4240, 16424, 1072, 2114, 1034, 136, 41, 25, 321, 22528, 146, 2068, 2184, 193, 10304, 576, 328, 2816, 580, 1088, 2561, 16450, 6176, 524, 10496}

    Returns: {11, 12, 13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }

  70. 15

    {129, 2052, 2064, 129, 8320, 5120, 1024, 160, 16385, 258, 8193, 2176, 2048, 528, 513, 10, 8256, 4104, 2049, 4608, 1088, 1280, 18432, 576, 320, 8224, 8448, 17, 1152, 5120, 34, 258, 8208, 16386, 66, 2056, 8200, 66, 48, 68, 384, 2050, 20, 2112, 9216, 1088, 520, 4097, 1026, 8320, 2064, 264, 17408, 24, 6144, 5, 8448, 16400, 3072, 8193, 16400, 2080, 516, 40, 32, 9216, 2176, 1026, 520, 2304, 2064, 8256, 8193, 8194, 8208, 17408, 17408, 3, 8448, 4104, 5120, 16400, 4100, 144, 65, 129, 384, 2049, 8193, 10240, 1026, 514, 16448, 4098, 36, 3072, 260, 12288, 34, 33, 544, 1028, 8196, 80}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  71. 15

    {16394, 8448, 656, 8204, 18560, 1168, 2054, 832, 5120, 4120, 515, 3584, 1664, 1056, 145, 18464, 12304, 1036, 4114, 1296, 20482, 8212, 8200, 521, 704, 776, 2562, 576, 48, 8195, 2624, 8202, 168, 1168, 16656, 68, 6656, 12288, 576, 5376, 65, 522, 1056, 10240, 1296, 328, 2305, 2057, 530, 17664, 74, 12, 16704, 33, 1153, 9280, 4136, 70, 52, 18432, 2306, 4736, 8704, 8256, 352, 272, 140, 324, 8456, 10272, 9472, 548, 2306, 1033, 4132, 3104, 2624, 2065, 2304, 16904, 4168, 69, 2304, 1296, 8450, 16642, 16408, 8480, 24578, 49, 528, 208, 16641, 16516, 1153, 136, 544, 1058, 10248, 17410, 8706, 524, 6146, 10368, 2184, 6145, 4120, 577, 8256, 25088, 16480, 133, 1281, 20482, 2113, 132, 528, 131, 8194, 3328, 280, 16644, 289, 20496, 18560, 2080, 97, 132}

    Returns: {13, 0, 1, 2, 3, 14, 4, 5, 6, 7, 8, 9, 10, 11, 12 }

  72. 15

    {10497, 35, 384, 16900, 1808, 2368, 14336, 1164, 289, 160, 20516, 9344, 771, 2564, 4744, 4140, 9280, 1030, 4738, 772, 1794, 300, 1472, 16388, 6400, 4361, 1600, 8776, 16395, 2696, 1568, 2596, 10304, 10752, 228, 562, 304, 1184, 2193, 9232, 5168, 166, 1796, 13, 21504, 784, 2564, 792, 4164, 10276, 1346, 4162, 12321, 1029, 269, 141, 224, 150, 13056, 616, 6672, 2593, 12294, 16913, 386, 2179, 7424, 20482, 9792, 12802, 2193, 554, 83, 8198, 17536, 17409, 656, 3360, 17536, 261, 531, 24832, 1666, 17480, 2084, 612, 4432, 9219, 8465, 14848, 4193, 16392, 19712, 6160, 515, 1376, 28672, 808, 1184, 1538, 8296, 2310, 11280, 304, 4416, 1792, 836, 8266, 1668, 4353, 4128, 25728, 5186, 1616}

    Returns: { }

  73. 15

    {8196, 2688, 1026, 8192, 14, 4176, 10752, 1538, 20512, 2144, 260, 8464, 6400, 5124, 260, 1282, 261, 7, 532, 1027, 530, 1036, 2144, 1034, 2051, 1792, 4480, 16642, 336, 4120, 800, 16520, 42, 8384, 7168, 17536, 129, 3072, 16396, 8450, 200, 18944, 9220, 4384, 1096, 770, 656, 4176, 8257, 4232, 3104, 36, 8704, 4130, 584, 16449, 4864, 8450, 20, 8464, 8456, 3088, 4097, 4112, 21504, 8320, 12416, 22528, 8736, 35, 84, 4640, 97, 16704, 800, 81, 320, 8324, 4736, 162, 24577, 272, 1296, 1089, 5122, 10240, 1025, 25088, 1216, 1600, 16387, 4105, 8228, 1664, 17416, 2144, 16896, 1216, 52, 1033, 16672, 8576, 6208, 385, 4100, 6145, 2576, 280, 4240, 17409, 1312, 16528, 1152, 4130, 17410, 5632, 9248, 5120, 2112, 4225, 512, 16960, 2308, 2114, 2560, 17410, 776, 140}

    Returns: {0, 11, 12, 13, 1, 2, 3, 14, 4, 5, 6, 7, 8, 9, 10 }

  74. 15

    {12296, 3073, 1032, 16389, 4616, 1168, 19456, 4609, 4160, 584, 528, 145, 72, 16396, 4609, 36, 584, 8336, 5152, 10240, 1120, 8452, 2112, 9216, 2053, 4129, 8324, 18432, 10256, 644, 35, 2084, 9216, 8202, 4136, 292, 1537, 584, 9232, 8708, 6160, 12544, 2072, 8264, 268, 12352, 2060, 2052, 8456, 6400, 530, 8450, 2082, 3080, 656, 266, 16672, 9, 4144, 12290, 73, 1540, 2688, 208, 2624, 6152, 640, 16420, 262, 2058, 1538, 1032, 1282, 4228, 1032, 16644, 17536, 4130, 8456, 16384, 24, 16514, 97, 193, 9224, 12800, 769, 4102, 1042, 1537, 4480, 8706, 20736, 48, 104, 17416, 1540, 4640, 16394, 8456, 2060, 1104, 68, 1056, 1216, 4356, 1027, 2144, 513, 18, 2180, 17409, 137, 1288, 4192, 2176, 8320, 2114, 336, 129, 4112, 17424, 8706, 304, 160, 2312, 768, 385, 34, 4100, 16408, 4100, 16928, 8322, 1600, 2564, 8212, 16672, 9, 4105, 5120, 272, 16640, 16516, 16672, 48, 385, 20512, 16656, 2058, 24640, 8352, 1312, 4616, 4480, 76, 524, 576, 70, 12320}

    Returns: {0, 12, 1, 13, 2, 14, 3, 4, 5, 6, 7, 8, 9, 10, 11 }

  75. 15

    {24576, 130, 2304, 257, 5, 1056, 129, 8194, 1, 16896, 16448, 4224, 768, 2052, 66, 1280, 8704, 4352, 8320, 516, 130, 96, 8208, 17, 4112, 1040, 8196, 8704, 1280, 4098, 8320, 4608, 96, 1536, 258, 3072, 24, 272, 17, 132, 8704, 132, 8194, 12288, 144, 4097, 1026, 16385, 34, 12, 72, 4096, 1280, 8, 4, 1025, 2049, 16416, 6144, 10240, 16388, 80, 20480, 257, 768, 6144, 3, 1025, 8320, 18, 4224, 16392, 72, 8193, 65, 513, 258, 514, 6, 48, 132, 16512, 8192, 9216, 18, 4128, 2560, 16448, 1025, 4096, 2052, 192, 4100, 520, 2, 264, 192, 1536, 16640, 2056, 4224, 257, 8704, 34, 6144, 130, 260, 4104, 2112, 516, 768, 16400, 17, 1152, 8196, 80, 10, 576, 1056, 6144, 12288, 1028, 128, 16386, 36, 2560, 8704, 8448, 17, 5, 2064, 16384, 68, 8194, 8208, 16896, 2050, 257, 8224, 1280, 8196, 4128}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  76. 15

    {3105, 26641, 9408, 18817, 16661, 537, 582, 19010, 19, 10280, 464, 1344, 14337, 21507, 2369, 17088, 1549, 2881, 8725, 8346, 16420, 2600, 1073, 4418, 417, 2435, 7264, 7168, 1132, 6337, 9256, 6273, 20624, 6468, 18467, 25232, 16769, 20536, 24581, 17000, 22530, 8480, 16908, 4168, 16489, 2314, 8388, 1697, 16969, 10513, 1792, 8864, 4193, 18467, 7744, 16976, 17960, 5250, 2311, 10761, 17538, 14354, 589, 1290, 5192, 393, 17414, 8289, 18458, 4142, 20488, 2850, 12310, 2578, 21000, 16833, 14345, 5392, 6214, 16672, 336, 8483, 29700, 4290, 2051, 2160, 452, 25106, 2200, 12580, 2097, 1153, 2497, 118, 26625, 1408, 517, 12802, 13840, 8243, 14408, 60, 2824, 10592, 1200, 16514, 17442, 3072, 1051, 6149, 12432, 1540, 24728, 20610, 18472, 139, 2690, 2148, 2588, 9320, 146, 115, 8234, 3077, 13088, 26648, 16682, 960, 18968, 9733, 2568, 178, 4166, 6464, 9504, 14400, 16833, 4308, 1418, 8221, 3396, 29248, 11288, 1168, 3460, 17156, 9412, 1857, 3592, 2225, 3842, 298, 5137, 26641, 18176, 449, 26656, 2402, 13328, 20624, 10245, 13825, 6168, 3393, 30784, 16481, 1549, 89, 268, 3083, 17154, 9744, 10625, 2118, 12362, 4227, 4744, 25345, 16556, 3649, 16676}

    Returns: { }

  77. 15

    {7312, 8227, 24880, 11040, 5650, 4208, 1349, 30, 2307, 896, 7177, 5472, 6226, 10800, 20740, 4402, 8243, 5158, 10496, 25352, 664, 4140, 3081, 4373, 19088, 10388, 4869, 4246, 5382, 10562, 108, 17953, 6218, 2625, 4320, 1557, 17956, 9380, 23808, 348, 8353, 2324, 21824, 18450, 21008, 18472, 8522, 1124, 184, 4498, 20896, 16688, 1120, 2216, 24844, 18468, 16387, 7248, 12340, 2054, 8472, 25632, 25617, 9284, 724, 22788, 3233, 12936, 4690, 26664, 12812, 4373, 13632, 27648, 26114, 10310, 724, 1680, 25088, 16945, 16898, 2098, 12834, 28992, 25121, 228, 4226, 17033, 568, 338, 8296, 14336, 24601, 8833, 18436, 18690, 110, 9257, 8972, 4620, 3338, 83, 19488, 2078, 16980, 8329, 29200, 2313, 8784, 8304, 1066, 2821, 18433, 10275, 1037, 1860, 16550, 2149, 432, 4900, 67, 16394, 20544, 18817, 9728, 12356, 24728, 4867, 5312, 20498, 4389, 9568, 16560, 8258, 17674, 12385, 8993, 344, 7312, 21760, 20640, 533, 8260, 1065, 16706, 720, 8500, 12832, 568, 9733, 11344, 2572, 4371, 20866, 8514, 8352, 880, 8714, 20000, 18564, 9226, 28673, 24596, 2183, 594, 1084, 18945, 16576, 1538, 840, 18754, 14400, 8780, 12552, 2353, 27776, 19968, 661, 10384, 6530, 659, 4235, 4142, 24848, 4544, 12354}

    Returns: { }

  78. 15

    {20, 17408, 4104, 6144, 16896, 16400, 16896, 36, 8448, 17408, 1028, 8208, 18, 5120, 72, 8194, 1056, 192, 2056, 16392, 4104, 24576, 544, 320, 257, 80, 68, 20, 17408, 3, 640, 2560, 4097, 288, 96, 512, 516, 128, 4104, 528, 64, 16384, 16896, 8704, 160, 24576, 288, 260, 257, 8224, 1536, 6144, 1028, 6, 130, 16386, 544, 576, 8224, 1280, 2064, 16400, 1088, 516, 129, 3, 1040, 16386, 2049, 2560, 4096, 130, 18432, 34, 16385, 33, 260, 8448, 24576, 1028, 2064, 24576, 520, 9216, 1040, 8194, 528, 8256, 8256, 8704, 4100, 520, 66, 8224, 384, 3, 4, 1056, 5, 129, 18, 17, 2064, 272}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  79. 15

    {8832, 10240, 644, 592, 4116, 52, 274, 641, 296, 4120, 560, 4129, 4226, 3080, 18464, 24608, 8336, 56, 522, 2560, 16960, 8202, 10248, 2576, 20992, 17024, 2576, 152, 3080, 82, 16544, 17410, 3080, 2081, 784, 5152, 8706, 2052, 1168, 2184, 1792, 137, 352, 16912, 24704, 2336, 8272, 17424, 84, 16898, 17152, 8202, 17152, 10256, 164, 24584, 8240, 17424, 3076, 16900, 16452, 264, 4132, 4616, 8322, 8224, 16644, 18432, 4610, 9220, 4130, 6148, 69, 1540, 4232, 17408, 1041, 1168, 10304, 4353, 10368, 8201, 8324, 2320, 24704, 8200, 18436, 4114, 352, 1156, 4100, 38, 1036, 16480, 224, 1027, 16388, 5124, 146, 273, 24578, 9232, 8258, 578, 144, 18496, 10241, 10240, 16672, 770, 16392, 416, 20608, 552, 10272, 388, 289, 2304, 4, 1057, 9248, 16648, 16904, 10244, 129, 19456, 8450, 16402, 24640, 81, 9232, 641, 8197, 9218, 9220, 8336, 16, 4161, 73}

    Returns: {13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 }

  80. 15

    {2305, 1029, 12800, 261, 18, 2208, 1184, 2568, 1544, 82, 34, 517, 2096, 12800, 2304, 8450, 20, 2336, 16384, 2240, 6152, 2816, 7, 16512, 137, 1033, 130, 12416, 520, 4164, 2057, 18432, 8480, 520, 8202, 1281, 8196, 130, 41, 12304, 648, 4224, 2564, 4416, 2816, 16387, 97, 10240, 8960, 1282, 4192, 17920, 268, 24580, 13, 5124, 2320, 20544, 16898, 17408, 516, 16512, 517, 8210, 9, 4384, 8264, 8257, 8960, 8228, 8225, 9217, 648, 2308, 137, 276, 513, 8960, 16516, 16386, 17416, 12288, 416, 8449, 258, 336, 18436, 18560, 4612, 4136, 17664, 8704, 16396, 8384, 16928, 16452, 8201, 35, 4624, 24832, 1540, 4161, 20608, 8736, 16512, 2056, 8232, 2114, 12352, 2112, 304, 1216, 98, 8449, 16386, 16420, 16416, 24584, 2561, 536, 2056, 2053, 3080, 328, 146, 16392, 8258, 14, 36, 65, 10752, 9224, 16960, 97, 16576, 5121, 16672, 16896, 2114, 52, 20, 49, 1153, 193, 22, 4105, 514, 16393, 16449, 4640, 20544, 73, 14336, 296, 2184, 9472, 4612, 4098, 1296, 4130, 144, 20544, 1096, 133, 1408, 8194, 8226, 5, 19, 8450, 268, 1281, 8336, 25, 4105, 1044, 24576, 12544, 524, 1568, 546, 4356, 8240, 16960, 16514, 8768}

    Returns: { }

  81. 15

    {2560, 6272, 8720, 24584, 4416, 81, 16704, 8193, 4225, 4608, 1042, 2306, 1060, 16416, 1344, 2113, 1088, 257, 24, 4100, 1792, 8336, 4864, 16394, 1184, 4098, 16641, 5121, 513, 8288, 577, 1090, 16404, 5152, 4176, 16404, 2208, 50, 2128, 4130, 1026, 18496, 17410, 9232, 2060, 2176, 3074, 5128, 16464, 17664, 74, 152, 16416, 2128, 12292, 22528, 1120, 1056, 144, 20481, 2688, 8448, 12292, 2053, 416, 17440, 164, 273, 4104, 6145, 1120, 9344, 265, 9, 25600, 322, 772, 4144, 544, 10241, 12800, 8240, 4240, 4120, 168, 49, 6400, 1058, 16456, 72, 1281, 416, 11, 49, 8232, 6146, 80, 16513, 24640, 672, 5121, 208, 17472, 12352, 2068, 2576, 5124, 261, 8705, 8706, 8320, 8240, 16544, 16432, 9, 16417, 12352, 140, 16897}

    Returns: {10, 11, 12, 13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }

  82. 15

    {}

    Returns: {14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }

  83. 1

    {}

    Returns: { }

  84. 1

    {1}

    Returns: { }

  85. 2

    {1,2,1,2}

    Returns: {1, 0 }

  86. 2

    {1,2,1,3,2}

    Returns: { }

  87. 6

    {42, 61, 17, 33, 43 }

    Returns: {2, 3, 0, 4, 1, 5 }

  88. 8

    {85, 170 }

    Returns: {0, 1, 2, 3, 4, 5, 7, 6 }

  89. 4

    {9, 6 }

    Returns: {0, 3, 1, 2 }

  90. 4

    {3, 14, 3 }

    Returns: {2, 3, 0, 1 }

  91. 15

    {4681, 1859, 15068, 24582, 25688, 7443, 489, 56, 29021, 3419, 15129, 18229, 24912, 14742, 20941, 17518, 18076, 1071, 18877, 2943, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384, 16384 }

    Returns: {7, 8, 0, 9, 1, 2, 10, 3, 11, 12, 13, 4, 14, 5, 6 }

  92. 15

    {10368, 9884, 29356, 282, 12516, 22907, 29191, 4229, 6585, 14009, 29650, 24768, 18004, 21370, 20535, 21388, 5149, 23629, 20848, 13439 }

    Returns: {0, 1, 10, 11, 12, 13, 2, 14, 3, 4, 5, 6, 7, 8, 9 }

  93. 9

    {166, 377, 176, 430, 12, 457, 336, 415, 69 }

    Returns: {0, 6, 7, 1, 2, 8, 3, 4, 5 }

  94. 15

    {3, 6, 3, 12, 6, 3, 24, 12, 6, 3, 48, 24, 12, 6, 3, 96, 48, 24, 12, 6, 3, 192, 96, 48, 24, 12, 6, 3, 384, 192, 96, 48, 24, 12, 6, 3, 768, 384, 192, 96, 48, 24, 12, 6, 3, 1536, 768, 384, 192, 96, 48, 24, 12, 3, 3072, 1536, 768, 384, 192, 96, 48, 24, 12, 6, 3, 6144, 3072, 1536, 768, 384, 192, 96, 48, 24, 12, 6, 3, 12288, 6144, 3072, 1536, 768, 384, 192, 96, 48, 24, 12, 6, 3, 24576, 12288, 6144, 3072, 1536, 768, 384, 192, 96, 48, 24, 12, 6, 3 }

    Returns: {6, 7, 8, 9, 10, 11, 12, 13, 14, 0, 1, 2, 3, 4, 5 }

  95. 15

    {4102, 1057, 529, 772, 2088, 529, 1057, 8204, 515, 16642, 16424, 656, 16452, 17664, 12296, 1160, 289, 10256, 2120, 4616, 16704, 1096, 12320, 4101, 2688, 2306, 164, 162, 280, 8258, 2088, 1057, 2305, 644, 1312, 8197, 26624, 8264, 134, 2308, 4192, 4353, 164, 4384, 4116, 2177, 20484, 193, 800, 265, 16644, 13312, 1060, 8720, 3074, 12544, 17416, 25600, 13312, 133, 644, 10248, 580, 1104, 1058, 18436, 16432, 273, 4102, 8480, 5136, 1408, 4616, 100, 8720, 2184, 6152, 10752, 259, 8288, 17416, 1036, 3328, 19456, 1544, 1120, 4356, 1027, 8216, 3088, 1344, 6400, 3328, 2312, 1664, 545, 6152, 8324, 8452, 648, 4168, 16544, 24584, 5124, 336, 896, 2432, 4368, 28672, 552, 8384, 16898, 8202, 8768, 8210, 2084, 50, 194, 16648, 168, 16656, 28672, 266, 1029, 18944, 2068, 20488, 4360, 290, 16544, 4225, 8576, 17410, 69, 2053, 16389, 41, 8260, 2568, 8202, 385, 16456, 517, 2208, 42, 11264, 896, 2306, 16912, 416, 6208, 6152, 16387, 5124, 16912, 12292, 20512, 176, 1552, 5124, 18496, 1544, 4609, 97, 24608, 133, 8384, 518, 25600, 546, 16450, 261, 8324, 1090, 328, 16900, 522, 16393, 2128, 592, 6152, 52, 648, 352, 16644, 8272, 134, 56, 6152, 4225, 8204, 20992, 289, 8197, 12304, 770, 2184, 208, 1284, 1184 }

    Returns: { }

  96. 3

    {5 }

    Returns: {0, 2, 1 }

  97. 15

    {32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767 }

    Returns: { }

  98. 5

    {29, 15 }

    Returns: {0, 4, 1, 2, 3 }

  99. 15

    {5194, 12052, 484, 5924, 152, 11936, 9406, 10613, 20992, 29056, 6105, 7536, 4867, 12724, 6157, 1434, 30791 }

    Returns: {7, 8, 0, 9, 1, 10, 11, 12, 2, 3, 13, 4, 14, 5, 6 }

This problem statement is the exclusive and proprietary property of TopCoder, Inc. Any unauthorized use or reproduction of this information without the prior written consent of TopCoder, Inc. is strictly prohibited. (c)2024, TopCoder, Inc. All rights reserved.
This problem was used for: