static FrequencyTable readFrequencies(BitInputStream in) throws IOException {
		int[] freqs = new int[3];
		for (int i = 0; i < 2; i++)
			freqs[i] = readInt(in, 32);
		freqs[2] = 1;  // EOF symbol
		return new SimpleFrequencyTable(freqs);
	}