P
Initializing...
Greedy construction over the first `k` windows (`greedy`) · Prove2Me