ArrayList
int
Returns the list of valid IDs for level lvl, given that IDs for upper levels are already choosen in nip.