header encodings divAndConquer