P
Initializing...
The concrete greedy procedure covers every target in logarithmically many rounds · Prove2Me