RCBDD synthesis.
Simple simulation.
Young subgroup synthesis.
RCBDD synthesis.