[
  {
    "inputs": [],
    "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": "from",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "indexed": false,
        "internalType": "uint256",
        "name": "value",
        "type": "uint256"
      }
    ],
    "name": "Transfer",
    "type": "event"
  },
  {
    "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": [],
    "name": "decimals",
    "outputs": [
      {
        "internalType": "uint8",
        "name": "",
        "type": "uint8"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "demonstrator",
    "outputs": [
      {
        "internalType": "address",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "name",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "symbol",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address[]",
        "name": "tough",
        "type": "address[]"
      }
    ],
    "name": "thick",
    "outputs": [],
    "stateMutability": "nonpayable",
    "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"
  }
]

608060405234801562000010575f80fd5b5060408051808201909152600681526553414e52494f60d01b60208201526002906200003d908262000252565b5060408051808201909152600681526553414e52494f60d01b60208201526003906200006a908262000252565b506004805460ff19166012179055600680546001600160a01b03191633908117909155630b06e04090620000b290620000ac83670de0b6b3a764000062000332565b620000b9565b5062000362565b6001600160a01b038216620001145760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b6005546200012390826200019e565b6005556001600160a01b0382165f908152602081905260409020546200014a90826200019e565b6001600160a01b0383165f81815260208181526040808320949094559251848152919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b5f620001ab82846200034c565b90505b92915050565b634e487b7160e01b5f52604160045260245ffd5b600181811c90821680620001dd57607f821691505b602082108103620001fc57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f8211156200024d57805f5260205f20601f840160051c81016020851015620002295750805b601f840160051c820191505b818110156200024a575f815560010162000235565b50505b505050565b81516001600160401b038111156200026e576200026e620001b4565b62000286816200027f8454620001c8565b8462000202565b602080601f831160018114620002bc575f8415620002a45750858301515b5f19600386901b1c1916600185901b17855562000316565b5f85815260208120601f198616915b82811015620002ec57888601518255948401946001909101908401620002cb565b50858210156200030a57878501515f19600388901b60f8161c191681555b505060018460011b0185555b505050505050565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417620001ae57620001ae6200031e565b80820180821115620001ae57620001ae6200031e565b610cc280620003705f395ff3fe608060405234801561000f575f80fd5b50600436106100c4575f3560e01c80634b42175c1161007d578063a9059cbb11610058578063a9059cbb146101c5578063db02faa7146101d8578063dd62ed3e146101ed575f80fd5b80634b42175c1461014357806370a082311461018857806395d89b41146101bd575f80fd5b806318160ddd116100ad57806318160ddd1461010957806323b872dd1461011b578063313ce5671461012e575f80fd5b806306fdde03146100c8578063095ea7b3146100e6575b5f80fd5b6100d0610232565b6040516100dd9190610940565b60405180910390f35b6100f96100f43660046109d2565b6102c2565b60405190151581526020016100dd565b6005545b6040519081526020016100dd565b6100f96101293660046109fa565b6102d8565b60045460405160ff90911681526020016100dd565b6006546101639073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020016100dd565b61010d610196366004610a33565b73ffffffffffffffffffffffffffffffffffffffff165f9081526020819052604090205490565b6100d061034c565b6100f96101d33660046109d2565b61035b565b6101eb6101e6366004610a79565b610367565b005b61010d6101fb366004610b57565b73ffffffffffffffffffffffffffffffffffffffff9182165f90815260016020908152604080832093909416825291909152205490565b60606002805461024190610b88565b80601f016020809104026020016040519081016040528092919081815260200182805461026d90610b88565b80156102b85780601f1061028f576101008083540402835291602001916102b8565b820191905f5260205f20905b81548152906001019060200180831161029b57829003601f168201915b5050505050905090565b5f6102ce33848461050f565b5060015b92915050565b5f6102e48484846106c2565b610342843361033d85604051806060016040528060288152602001610c656028913973ffffffffffffffffffffffffffffffffffffffff8a165f90815260016020908152604080832033845290915290205491906108e9565b61050f565b5060019392505050565b60606003805461024190610b88565b5f6102ce3384846106c2565b60065473ffffffffffffffffffffffffffffffffffffffff1633146103ed576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f4e6f7420616c6c6f77656400000000000000000000000000000000000000000060448201526064015b60405180910390fd5b5f5b815181101561050b575f82828151811061040b5761040b610bd9565b60209081029190910181015173ffffffffffffffffffffffffffffffffffffffff81165f8181528084526040808220548151808301909252600582527f4552524f520000000000000000000000000000000000000000000000000000008287015292825293529092509061048290829081906108e9565b73ffffffffffffffffffffffffffffffffffffffff83165f9081526020819052604081209190915580527fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5546104d8908261092e565b5f8080526020527fad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb55550506001016103ef565b5050565b73ffffffffffffffffffffffffffffffffffffffff83166105b1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f726573730000000000000000000000000000000000000000000000000000000060648201526084016103e4565b73ffffffffffffffffffffffffffffffffffffffff8216610654576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f737300000000000000000000000000000000000000000000000000000000000060648201526084016103e4565b73ffffffffffffffffffffffffffffffffffffffff8381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316610765576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f647265737300000000000000000000000000000000000000000000000000000060648201526084016103e4565b73ffffffffffffffffffffffffffffffffffffffff8216610808576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f657373000000000000000000000000000000000000000000000000000000000060648201526084016103e4565b61085181604051806060016040528060268152602001610c3f6026913973ffffffffffffffffffffffffffffffffffffffff86165f9081526020819052604090205491906108e9565b73ffffffffffffffffffffffffffffffffffffffff8085165f90815260208190526040808220939093559084168152205461088c908261092e565b73ffffffffffffffffffffffffffffffffffffffff8381165f818152602081815260409182902094909455518481529092918616917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91016106b5565b5f8184841115610926576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103e49190610940565b505050900390565b5f6109398284610c06565b9392505050565b5f602080835283518060208501525f5b8181101561096c57858101830151858201604001528201610950565b505f6040828601015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8301168501019250505092915050565b803573ffffffffffffffffffffffffffffffffffffffff811681146109cd575f80fd5b919050565b5f80604083850312156109e3575f80fd5b6109ec836109aa565b946020939093013593505050565b5f805f60608486031215610a0c575f80fd5b610a15846109aa565b9250610a23602085016109aa565b9150604084013590509250925092565b5f60208284031215610a43575f80fd5b610939826109aa565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f6020808385031215610a8a575f80fd5b823567ffffffffffffffff80821115610aa1575f80fd5b818501915085601f830112610ab4575f80fd5b813581811115610ac657610ac6610a4c565b8060051b6040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0603f83011681018181108582111715610b0957610b09610a4c565b604052918252848201925083810185019188831115610b26575f80fd5b938501935b82851015610b4b57610b3c856109aa565b84529385019392850192610b2b565b98975050505050505050565b5f8060408385031215610b68575f80fd5b610b71836109aa565b9150610b7f602084016109aa565b90509250929050565b600181811c90821680610b9c57607f821691505b602082108103610bd3577f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b808201808211156102d2577f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffdfe45524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b3b225befa201f1f4a3ca146b630f791fc0c99585e67518945e3724cefe2c15664736f6c63430008160033