[
  {
    "type": "constructor",
    "inputs": [
      {
        "name": "migrator_",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "xmpl_",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "stsyrup_",
        "type": "address",
        "internalType": "address"
      }
    ],
    "stateMutability": "nonpayable"
  },
  {
    "type": "function",
    "name": "migrateAndStake",
    "inputs": [
      {
        "name": "receiver_",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "mplIn_",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "stsyrupOut_",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "nonpayable"
  },
  {
    "type": "function",
    "name": "migrateAndStakeWithPermit",
    "inputs": [
      {
        "name": "receiver_",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "mplIn_",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "deadline_",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "v_",
        "type": "uint8",
        "internalType": "uint8"
      },
      {
        "name": "r_",
        "type": "bytes32",
        "internalType": "bytes32"
      },
      {
        "name": "s_",
        "type": "bytes32",
        "internalType": "bytes32"
      }
    ],
    "outputs": [
      {
        "name": "stsyrupOut_",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "nonpayable"
  },
  {
    "type": "function",
    "name": "migrator",
    "inputs": [],
    "outputs": [
      {
        "name": "",
        "type": "address",
        "internalType": "address"
      }
    ],
    "stateMutability": "view"
  },
  {
    "type": "function",
    "name": "mpl",
    "inputs": [],
    "outputs": [
      {
        "name": "",
        "type": "address",
        "internalType": "address"
      }
    ],
    "stateMutability": "view"
  },
  {
    "type": "function",
    "name": "redeemAndMigrate",
    "inputs": [
      {
        "name": "receiver_",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "xmplIn_",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "syrupOut_",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "nonpayable"
  },
  {
    "type": "function",
    "name": "redeemAndMigrateAndStake",
    "inputs": [
      {
        "name": "receiver_",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "xmplIn_",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "stsyrupOut_",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "nonpayable"
  },
  {
    "type": "function",
    "name": "redeemAndMigrateAndStakeWithPermit",
    "inputs": [
      {
        "name": "receiver_",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "xmplIn_",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "deadline_",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "v_",
        "type": "uint8",
        "internalType": "uint8"
      },
      {
        "name": "r_",
        "type": "bytes32",
        "internalType": "bytes32"
      },
      {
        "name": "s_",
        "type": "bytes32",
        "internalType": "bytes32"
      }
    ],
    "outputs": [
      {
        "name": "stsyrupOut_",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "nonpayable"
  },
  {
    "type": "function",
    "name": "redeemAndMigrateWithPermit",
    "inputs": [
      {
        "name": "receiver_",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "xmplIn_",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "deadline_",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "v_",
        "type": "uint8",
        "internalType": "uint8"
      },
      {
        "name": "r_",
        "type": "bytes32",
        "internalType": "bytes32"
      },
      {
        "name": "s_",
        "type": "bytes32",
        "internalType": "bytes32"
      }
    ],
    "outputs": [
      {
        "name": "syrupOut_",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "nonpayable"
  },
  {
    "type": "function",
    "name": "stsyrup",
    "inputs": [],
    "outputs": [
      {
        "name": "",
        "type": "address",
        "internalType": "address"
      }
    ],
    "stateMutability": "view"
  },
  {
    "type": "function",
    "name": "syrup",
    "inputs": [],
    "outputs": [
      {
        "name": "",
        "type": "address",
        "internalType": "address"
      }
    ],
    "stateMutability": "view"
  },
  {
    "type": "function",
    "name": "xmpl",
    "inputs": [],
    "outputs": [
      {
        "name": "",
        "type": "address",
        "internalType": "address"
      }
    ],
    "stateMutability": "view"
  },
  {
    "type": "event",
    "name": "MigratedAndStaked",
    "inputs": [
      {
        "name": "sender",
        "type": "address",
        "indexed": true,
        "internalType": "address"
      },
      {
        "name": "assetSent",
        "type": "address",
        "indexed": false,
        "internalType": "address"
      },
      {
        "name": "amountSent",
        "type": "uint256",
        "indexed": false,
        "internalType": "uint256"
      },
      {
        "name": "receiver",
        "type": "address",
        "indexed": true,
        "internalType": "address"
      },
      {
        "name": "assetReceived",
        "type": "address",
        "indexed": false,
        "internalType": "address"
      },
      {
        "name": "amountReceived",
        "type": "uint256",
        "indexed": false,
        "internalType": "uint256"
      }
    ],
    "anonymous": false
  },
  {
    "type": "event",
    "name": "RedeemedAndMigrated",
    "inputs": [
      {
        "name": "sender",
        "type": "address",
        "indexed": true,
        "internalType": "address"
      },
      {
        "name": "assetSent",
        "type": "address",
        "indexed": false,
        "internalType": "address"
      },
      {
        "name": "amountSent",
        "type": "uint256",
        "indexed": false,
        "internalType": "uint256"
      },
      {
        "name": "receiver",
        "type": "address",
        "indexed": true,
        "internalType": "address"
      },
      {
        "name": "assetReceived",
        "type": "address",
        "indexed": false,
        "internalType": "address"
      },
      {
        "name": "amountReceived",
        "type": "uint256",
        "indexed": false,
        "internalType": "uint256"
      }
    ],
    "anonymous": false
  },
  {
    "type": "event",
    "name": "RedeemedAndMigratedAndStaked",
    "inputs": [
      {
        "name": "sender",
        "type": "address",
        "indexed": true,
        "internalType": "address"
      },
      {
        "name": "assetSent",
        "type": "address",
        "indexed": false,
        "internalType": "address"
      },
      {
        "name": "amountSent",
        "type": "uint256",
        "indexed": false,
        "internalType": "uint256"
      },
      {
        "name": "receiver",
        "type": "address",
        "indexed": true,
        "internalType": "address"
      },
      {
        "name": "assetReceived",
        "type": "address",
        "indexed": false,
        "internalType": "address"
      },
      {
        "name": "amountReceived",
        "type": "uint256",
        "indexed": false,
        "internalType": "uint256"
      }
    ],
    "anonymous": false
  }
]