harvey/sys/src/cmd/postscript/g3p9bit/wtab

{"00110101",	 0},
{"000111",	 1},
{"0111",	 2},
{"1000",	 3},
{"1011",	 4},
{"1100",	 5},
{"1110",	 6},
{"1111",	 7},
{"10011",	 8},
{"10100",	 9},
{"00111",	 10},
{"01000",	 11},
{"001000",	 12},
{"000011",	 13},
{"110100",	 14},
{"110101",	 15},
{"101010",	 16},
{"101011",	 17},
{"0100111",	 18},
{"0001100",	 19},
{"0001000",	 20},
{"0010111",	 21},
{"0000011",	 22},
{"0000100",	 23},
{"0101000",	 24},
{"0101011",	 25},
{"0010011",	 26},
{"0100100",	 27},
{"0011000",	 28},
{"00000010",	 29},
{"00000011",	 30},
{"00011010",	 31},
{"00011011",	 32},
{"00010010",	 33},
{"00010011",	 34},
{"00010100",	 35},
{"00010101",	 36},
{"00010110",	 37},
{"00010111",	 38},
{"00101000",	 39},
{"00101001",	 40},
{"00101010",	 41},
{"00101011",	 42},
{"00101100",	 43},
{"00101101",	 44},
{"00000100",	 45},
{"00000101",	 46},
{"00001010",	 47},
{"00001011",	 48},
{"01010010",	 49},
{"01010011",	 50},
{"01010100",	 51},
{"01010101",	 52},
{"00100100",	 53},
{"00100101",	 54},
{"01011000",	 55},
{"01011001",	 56},
{"01011010",	 57},
{"01011011",	 58},
{"01001010",	 59},
{"01001011",	 60},
{"00110010",	 61},
{"00110011",	 62},
{"00110100",	 63},

{"11011",	 64},
{"10010",	 128},
{"010111",	 192},
{"0110111",	 256},
{"00110110",	 320},
{"00110111",	 384},
{"01100100",	 448},
{"01100101",	 512},
{"01101000",	 576},
{"01100111",	 640},
{"011001100",	 704},
{"011001101",	 768},
{"011010010",	 832},
{"011010011",	 896},
{"011010100",	 960},
{"011010101",	 1024},
{"011010110",	 1088},
{"011010111",	 1152},
{"011011000",	 1216},
{"011011001",	 1280},
{"011011010",	 1344},
{"011011011",	 1408},
{"010011000",	 1472},
{"010011001",	 1536},
{"010011010",	 1600},
{"011000",	 1664},
{"010011011",	 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},