\input zb-basic \input zb-ioport \iteman{io-port 70148163} \itemau{Cho, Soojin; Hong, Manpyo} \itemti{Proving a shuffle using representations of the symmetric group} \itemso{ICISC, 354-367 (2008).} \itemcc{} \itemut{} \itemli{doi:10.1007/978-3-642-00730-9\_22} \end