PTY -> CNF - Smiles - Lista Completa