[math-fun] lifted partitions