{"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},