Câmbio de COQ para ONT| Converter Coq Inu para Ontology no SimpleSwap