f:permute
f:powerset
f:stirl1
f:stirl2
