Intercambio de COQ a REQ| Convierte Coq Inu a Request en SimpleSwap