*** Reverse  0.08s -->
Input: \f -> f "" == "" && (f "1" == "1") && (f "12" == "21") && (f "123" == "321")