queryCore computes the sum of Lemma 28 from the encodings and the trie of a tile (pruned encodings)

Initializing...

queryCore computes the sum of Lemma 28 from the encodings and the trie of a tile (pruned encodings) · Prove2Me