Robinson-Schensted-
Knuth correspondence

Put your favorite number here