Code for exploring the Robinson–Schensted–Knuth correspondence