Blame | Last modification | View Log | RSS feed
{"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},