32 See Brassard.