Intercambio de ALT a COQ| Convierte Altlayer a Coq Inu en SimpleSwap