Knuth first proved that S_n(231) is enumerated by Catalan numbers.

• 42)和S_n(231,4(?)