added k-clique encodings; added sum circuit, changes to logic.