aut2fa
