n′, number of synthesized arrays (n′≤n)