In what follows, stand for instruction arguments selected according to probability distributions , respectively. They are used to address state components and module columns. For simplicity, instruction descriptions below use the following macros: