convert dot to smiles