{"0000110111", 0},{"010", 1},{"11", 2},{"10", 3},{"011", 4},{"0011", 5},{"0010", 6},{"00011", 7},{"000101", 8},{"000100", 9},{"0000100", 10},{"0000101", 11},{"0000111", 12},{"00000100", 13},{"00000111", 14},{"000011000", 15},{"0000010111", 16},{"0000011000", 17},{"0000001000", 18},{"00001100111", 19},{"00001101000", 20},{"00001101100", 21},{"00000110111", 22},{"00000101000", 23},{"00000010111", 24},{"00000011000", 25},{"000011001010", 26},{"000011001011", 27},{"000011001100", 28},{"000011001101", 29},{"000001101000", 30},{"000001101001", 31},{"000001101010", 32},{"000001101011", 33},{"000011010010", 34},{"000011010011", 35},{"000011010100", 36},{"000011010101", 37},{"000011010110", 38},{"000011010111", 39},{"000001101100", 40},{"000001101101", 41},{"000011011010", 42},{"000011011011", 43},{"000001010100", 44},{"000001010101", 45},{"000001010110", 46},{"000001010111", 47},{"000001100100", 48},{"000001100101", 49},{"000001010010", 50},{"000001010011", 51},{"000000100100", 52},{"000000110111", 53},{"000000111000", 54},{"000000100111", 55},{"000000101000", 56},{"000001011000", 57},{"000001011001", 58},{"000000101011", 59},{"000000101100", 60},{"000001011010", 61},{"000001100110", 62},{"000001100111", 63}, {"0000001111", 64},{"000011001000", 128},{"000011001001", 192},{"000001011011", 256},{"000000110011", 320},{"000000110100", 384},{"000000110101", 448},{"0000001101100", 512},{"0000001101101", 576},{"0000001001010", 640},{"0000001001011", 704},{"0000001001100", 768},{"0000001001101", 832},{"0000001110010", 896},{"0000001110011", 960},{"0000001110100", 1024},{"0000001110101", 1088},{"0000001110110", 1152},{"0000001110111", 1216},{"0000001010010", 1280},{"0000001010011", 1344},{"0000001010100", 1408},{"0000001010101", 1472},{"0000001011010", 1536},{"0000001011011", 1600},{"0000001100100", 1664},{"0000001100101", 1728}, {"00000001000", 1792},{"00000001100", 1856},{"00000001101", 1920},{"000000010010", 1984},{"000000010011", 2048},{"000000010100", 2112},{"000000010101", 2176},{"000000010110", 2240},{"000000010111", 2304},{"000000011100", 2368},{"000000011101", 2432},{"000000011110", 2496},{"000000011111", 2560}, {"000000000001", -1},{"000000000000", -2},
{"0000110111", 0},
{"010", 1},
{"11", 2},
{"10", 3},
{"011", 4},
{"0011", 5},
{"0010", 6},
{"00011", 7},
{"000101", 8},
{"000100", 9},
{"0000100", 10},
{"0000101", 11},
{"0000111", 12},
{"00000100", 13},
{"00000111", 14},
{"000011000", 15},
{"0000010111", 16},
{"0000011000", 17},
{"0000001000", 18},
{"00001100111", 19},
{"00001101000", 20},
{"00001101100", 21},
{"00000110111", 22},
{"00000101000", 23},
{"00000010111", 24},
{"00000011000", 25},
{"000011001010", 26},
{"000011001011", 27},
{"000011001100", 28},
{"000011001101", 29},
{"000001101000", 30},
{"000001101001", 31},
{"000001101010", 32},
{"000001101011", 33},
{"000011010010", 34},
{"000011010011", 35},
{"000011010100", 36},
{"000011010101", 37},
{"000011010110", 38},
{"000011010111", 39},
{"000001101100", 40},
{"000001101101", 41},
{"000011011010", 42},
{"000011011011", 43},
{"000001010100", 44},
{"000001010101", 45},
{"000001010110", 46},
{"000001010111", 47},
{"000001100100", 48},
{"000001100101", 49},
{"000001010010", 50},
{"000001010011", 51},
{"000000100100", 52},
{"000000110111", 53},
{"000000111000", 54},
{"000000100111", 55},
{"000000101000", 56},
{"000001011000", 57},
{"000001011001", 58},
{"000000101011", 59},
{"000000101100", 60},
{"000001011010", 61},
{"000001100110", 62},
{"000001100111", 63},
{"0000001111", 64},
{"000011001000", 128},
{"000011001001", 192},
{"000001011011", 256},
{"000000110011", 320},
{"000000110100", 384},
{"000000110101", 448},
{"0000001101100", 512},
{"0000001101101", 576},
{"0000001001010", 640},
{"0000001001011", 704},
{"0000001001100", 768},
{"0000001001101", 832},
{"0000001110010", 896},
{"0000001110011", 960},
{"0000001110100", 1024},
{"0000001110101", 1088},
{"0000001110110", 1152},
{"0000001110111", 1216},
{"0000001010010", 1280},
{"0000001010011", 1344},
{"0000001010100", 1408},
{"0000001010101", 1472},
{"0000001011010", 1536},
{"0000001011011", 1600},
{"0000001100100", 1664},
{"0000001100101", 1728},
{"00000001000", 1792},
{"00000001100", 1856},
{"00000001101", 1920},
{"000000010010", 1984},
{"000000010011", 2048},
{"000000010100", 2112},
{"000000010101", 2176},
{"000000010110", 2240},
{"000000010111", 2304},
{"000000011100", 2368},
{"000000011101", 2432},
{"000000011110", 2496},
{"000000011111", 2560},
{"000000000001", -1},
{"000000000000", -2},