RCBDD synthesis.
Young subgroup synthesis.