*** Shiftr  4.93s -->
Input: \f -> f "" == "" && (f "1" == "1") && (f "12" == "21") && (f "123" == "312") && (f "1234" == "4123")