cc.redberry.combinatorics