*** Multfirst  1.3s -->
Input: \f -> f "" == "" && (f "a" == "a") && (f "ba" == "bb") && (f "cba" == "ccc")