[
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "name",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "symbol",
        "type": "string"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "constructor"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "indexed": false,
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "Approval",
    "type": "event"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "previousOwner",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "address",
        "name": "newOwner",
        "type": "address"
      }
    ],
    "name": "OwnershipTransferred",
    "type": "event"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "from",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "indexed": false,
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "Transfer",
    "type": "event"
  },
  {
    "anonymous": false,
    "inputs": [
      {
        "indexed": true,
        "internalType": "address",
        "name": "from",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "indexed": false,
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      },
      {
        "indexed": true,
        "internalType": "uint256",
        "name": "eventSeqNum",
        "type": "uint256"
      }
    ],
    "name": "TransferEx",
    "type": "event"
  },
  {
    "inputs": [],
    "name": "DOMAIN_SEPARATOR",
    "outputs": [
      {
        "internalType": "bytes32",
        "name": "",
        "type": "bytes32"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      }
    ],
    "name": "allowance",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "amount",
        "type": "uint256"
      }
    ],
    "name": "approve",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "account",
        "type": "address"
      }
    ],
    "name": "balanceOf",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint256",
        "name": "amount",
        "type": "uint256"
      }
    ],
    "name": "burn",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "account_",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "amount_",
        "type": "uint256"
      }
    ],
    "name": "burnFrom",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "cap",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "decimals",
    "outputs": [
      {
        "internalType": "uint8",
        "name": "",
        "type": "uint8"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "subtractedValue",
        "type": "uint256"
      }
    ],
    "name": "decreaseAllowance",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "addedValue",
        "type": "uint256"
      }
    ],
    "name": "increaseAllowance",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "lastEventSeqNum",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "_value",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "account_",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "amount_",
        "type": "uint256"
      }
    ],
    "name": "mint",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "name",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      }
    ],
    "name": "nonces",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "owner",
    "outputs": [
      {
        "internalType": "address",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "deadline",
        "type": "uint256"
      },
      {
        "internalType": "uint8",
        "name": "v",
        "type": "uint8"
      },
      {
        "internalType": "bytes32",
        "name": "r",
        "type": "bytes32"
      },
      {
        "internalType": "bytes32",
        "name": "s",
        "type": "bytes32"
      }
    ],
    "name": "permit",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "renounceOwnership",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "vault_",
        "type": "address"
      }
    ],
    "name": "setVault",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "symbol",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "totalSupply",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "recipient",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "amount",
        "type": "uint256"
      }
    ],
    "name": "transfer",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "sender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "recipient",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "amount",
        "type": "uint256"
      }
    ],
    "name": "transferFrom",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "newOwner",
        "type": "address"
      }
    ],
    "name": "transferOwnership",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "vault",
    "outputs": [
      {
        "internalType": "address",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  }
]

6101806040527f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9610140523480156200003757600080fd5b5060405162001ab738038062001ab78339810160408190526200005a916200031d565b8180604051806040016040528060018152602001603160f81b8152508484816003908051906020019062000090929190620001c0565b508051620000a6906004906020840190620001c0565b5050825160208085019190912083518483012060e08290526101008190524660a0818152604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f81880181905281830187905260608201869052608082019490945230818401528151808203909301835260c0019052805194019390932091935091906080523060601b60c05261012052506200015593506200014f9250506200016a9050565b6200016e565b5050670de0b6b3a764000061016052620003da565b3390565b600680546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b828054620001ce9062000387565b90600052602060002090601f016020900481019282620001f257600085556200023d565b82601f106200020d57805160ff19168380011785556200023d565b828001600101855582156200023d579182015b828111156200023d57825182559160200191906001019062000220565b506200024b9291506200024f565b5090565b5b808211156200024b576000815560010162000250565b600082601f8301126200027857600080fd5b81516001600160401b0380821115620002955762000295620003c4565b604051601f8301601f19908116603f01168101908282118183101715620002c057620002c0620003c4565b81604052838152602092508683858801011115620002dd57600080fd5b600091505b83821015620003015785820183015181830184015290820190620002e2565b83821115620003135760008385830101525b9695505050505050565b600080604083850312156200033157600080fd5b82516001600160401b03808211156200034957600080fd5b620003578683870162000266565b935060208501519150808211156200036e57600080fd5b506200037d8582860162000266565b9150509250929050565b600181811c908216806200039c57607f821691505b60208210811415620003be57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052604160045260246000fd5b60805160a05160c05160601c60e051610100516101205161014051610160516116746200044360003960006104520152600061071201526000610c6001526000610caf01526000610c8a01526000610be301526000610c0d01526000610c3701526116746000f3fe608060405234801561001057600080fd5b50600436106101285760003560e01c806306fdde031461012d578063095ea7b31461014b57806318160ddd1461016e5780631d84c4d21461018057806323b872dd1461018a578063313ce5671461019d578063355274ea146101ac5780633644e515146101b457806339509351146101bc57806340c10f19146101cf57806342966c68146101e45780636817031b146101f757806370a082311461020a578063715018a61461023357806379cc67901461023b5780637ecebe001461024e5780638da5cb5b1461026157806395d89b4114610281578063a457c2d714610289578063a9059cbb1461029c578063d505accf146102af578063dd62ed3e146102c2578063f2fde38b146102d5578063fbfa77cf146102e8575b600080fd5b6101356102f9565b6040516101429190611504565b60405180910390f35b61015e6101593660046114c1565b61038b565b6040519015158152602001610142565b6002545b604051908152602001610142565b6008546101729081565b61015e610198366004611412565b6103a1565b60405160098152602001610142565b610172610450565b610172610474565b61015e6101ca3660046114c1565b610483565b6101e26101dd3660046114c1565b6104bf565b005b6101e26101f23660046114eb565b610533565b61015e6102053660046113bd565b610540565b6101726102183660046113bd565b6001600160a01b031660009081526020819052604090205490565b6101e2610595565b6101e26102493660046114c1565b6105d0565b61017261025c3660046113bd565b6105da565b6102696105fa565b6040516001600160a01b039091168152602001610142565b610135610609565b61015e6102973660046114c1565b610618565b61015e6102aa3660046114c1565b6106b1565b6101e26102bd36600461144e565b6106be565b6101726102d03660046113df565b610822565b6101e26102e33660046113bd565b61084d565b6007546001600160a01b0316610269565b606060038054610308906115bd565b80601f0160208091040260200160405190810160405280929190818152602001828054610334906115bd565b80156103815780601f1061035657610100808354040283529160200191610381565b820191906000526020600020905b81548152906001019060200180831161036457829003601f168201915b5050505050905090565b60006103983384846108ea565b50600192915050565b60006103ae848484610a0e565b6001600160a01b0384166000908152600160209081526040808320338452909152902054828110156104385760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b61044585338584036108ea565b506001949350505050565b7f000000000000000000000000000000000000000000000000000000000000000090565b600061047e610bd6565b905090565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916103989185906104ba90869061158e565b6108ea565b6007546001600160a01b031633146105255760405162461bcd60e51b815260206004820152602360248201527f5661756c744f776e65643a2063616c6c6572206973206e6f74207468652056616044820152621d5b1d60ea1b606482015260840161042f565b61052f8282610cfd565b5050565b61053d3382610d6f565b50565b60003361054b6105fa565b6001600160a01b0316146105715760405162461bcd60e51b815260040161042f90611559565b50600780546001600160a01b0319166001600160a01b03831617905560015b919050565b3361059e6105fa565b6001600160a01b0316146105c45760405162461bcd60e51b815260040161042f90611559565b6105ce6000610eb7565b565b61052f8282610f09565b6001600160a01b0381166000908152600560205260408120545b92915050565b6006546001600160a01b031690565b606060048054610308906115bd565b3360009081526001602090815260408083206001600160a01b03861684529091528120548281101561069a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b606482015260840161042f565b6106a733858584036108ea565b5060019392505050565b6000610398338484610a0e565b8342111561070e5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e65000000604482015260640161042f565b60007f000000000000000000000000000000000000000000000000000000000000000088888861073d8c610f37565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e001604051602081830303815290604052805190602001209050600061079882610f5f565b905060006107a882878787610fad565b9050896001600160a01b0316816001600160a01b03161461080b5760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e61747572650000604482015260640161042f565b6108168a8a8a6108ea565b50505050505050505050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b336108566105fa565b6001600160a01b03161461087c5760405162461bcd60e51b815260040161042f90611559565b6001600160a01b0381166108e15760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161042f565b61053d81610eb7565b6001600160a01b03831661094c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161042f565b6001600160a01b0382166109ad5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161042f565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a725760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161042f565b6001600160a01b038216610ad45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161042f565b6001600160a01b03831660009081526020819052604090205481811015610b4c5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161042f565b6001600160a01b03808516600090815260208190526040808220858503905591851681529081208054849290610b8390849061158e565b92505081905550826001600160a01b0316846001600160a01b031660008051602061161f83398151915284604051610bbd91815260200190565b60405180910390a3610bd0848484610fd5565b50505050565b6000306001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016148015610c2f57507f000000000000000000000000000000000000000000000000000000000000000046145b15610c5957507f000000000000000000000000000000000000000000000000000000000000000090565b50604080517f00000000000000000000000000000000000000000000000000000000000000006020808301919091527f0000000000000000000000000000000000000000000000000000000000000000828401527f000000000000000000000000000000000000000000000000000000000000000060608301524660808301523060a0808401919091528351808403909101815260c0909201909252805191012090565b610d05610450565b81610d0f60025490565b610d19919061158e565b1115610d655760405162461bcd60e51b815260206004820152601b60248201527a10dcdd115490cc8c151bdad95b8e8818d85c08195e18d959591959602a1b604482015260640161042f565b61052f8282611038565b6001600160a01b038216610dcf5760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b606482015260840161042f565b6001600160a01b03821660009081526020819052604090205481811015610e435760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b606482015260840161042f565b6001600160a01b0383166000908152602081905260408120838303905560028054849290610e729084906115a6565b90915550506040518281526000906001600160a01b0385169060008051602061161f8339815191529060200160405180910390a3610eb283600084610fd5565b505050565b600680546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b600081610f168433610822565b610f2091906115a6565b9050610f2d8333836108ea565b610eb28383610d6f565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b60006105f4610f6c610bd6565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b6000806000610fbe8787878761110d565b91509150610fcb816111f0565b5095945050505050565b610fe3600880546001019055565b600854826001600160a01b0316846001600160a01b03167febf4e2acf0deb5cb995e1905cd9be5a9e8388a9f08b1473a730437de1eba79968460405161102b91815260200190565b60405180910390a4505050565b6001600160a01b03821661108e5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640161042f565b80600260008282546110a0919061158e565b90915550506001600160a01b038216600090815260208190526040812080548392906110cd90849061158e565b90915550506040518181526001600160a01b0383169060009060008051602061161f8339815191529060200160405180910390a361052f60008383610fd5565b6000806fa2a8918ca85bafe22016d0b997e4df60600160ff1b0383111561113a57506000905060036111e7565b8460ff16601b1415801561115257508460ff16601c14155b1561116357506000905060046111e7565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa1580156111b7573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166111e0576000600192509250506111e7565b9150600090505b94509492505050565b600081600481111561120457611204611608565b141561120d5750565b600181600481111561122157611221611608565b141561126a5760405162461bcd60e51b815260206004820152601860248201527745434453413a20696e76616c6964207369676e617475726560401b604482015260640161042f565b600281600481111561127e5761127e611608565b14156112cc5760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e67746800604482015260640161042f565b60038160048111156112e0576112e0611608565b14156113395760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b606482015260840161042f565b600481600481111561134d5761134d611608565b141561053d5760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b606482015260840161042f565b80356001600160a01b038116811461059057600080fd5b6000602082840312156113cf57600080fd5b6113d8826113a6565b9392505050565b600080604083850312156113f257600080fd5b6113fb836113a6565b9150611409602084016113a6565b90509250929050565b60008060006060848603121561142757600080fd5b611430846113a6565b925061143e602085016113a6565b9150604084013590509250925092565b600080600080600080600060e0888a03121561146957600080fd5b611472886113a6565b9650611480602089016113a6565b95506040880135945060608801359350608088013560ff811681146114a457600080fd5b9699959850939692959460a0840135945060c09093013592915050565b600080604083850312156114d457600080fd5b6114dd836113a6565b946020939093013593505050565b6000602082840312156114fd57600080fd5b5035919050565b600060208083528351808285015260005b8181101561153157858101830151858201604001528201611515565b81811115611543576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600082198211156115a1576115a16115f2565b500190565b6000828210156115b8576115b86115f2565b500390565b600181811c908216806115d157607f821691505b60208210811415610f5957634e487b7160e01b600052602260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052602160045260246000fdfeddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa26469706673582212206e8921d57d532327c72c8b43c3e08bc96320a4fd2965ef610288f67b0eea52d464736f6c6343000807003300000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000001843727970746f537465616d20504c4159455220746f6b656e00000000000000000000000000000000000000000000000000000000000000000000000000000006504c415945520000000000000000000000000000000000000000000000000000