permute %7Ba%2Cb%2Cc%2Cd%7D with (3%2C2%2C1%2C4)