{
  "_format": "hh-sol-artifact-1",
  "contractName": "EchidnaTokenFaucet",
  "sourceName": "contracts/test/EchidnaTokenFaucet.sol",
  "abi": [
    {
      "inputs": [],
      "stateMutability": "nonpayable",
      "type": "constructor"
    },
    {
      "inputs": [],
      "name": "asset",
      "outputs": [
        {
          "internalType": "contract ERC20Mintable",
          "name": "",
          "type": "address"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "burn",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "claim",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "dripAssets",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "echidna_total_dripped_eq_claimed_plus_balance",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "echidna_total_unclaimed_lte_balance",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "faucet",
      "outputs": [
        {
          "internalType": "contract TokenFaucet",
          "name": "",
          "type": "address"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "measure",
      "outputs": [
        {
          "internalType": "contract ERC20Mintable",
          "name": "",
          "type": "address"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "mint",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "to",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "transfer",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b5060405161001d906101de565b6040808252600b818301526a20b9b9b2ba102a37b5b2b760a91b6060830152608060208301819052600590830152641054d4d15560da1b60a0830152519081900360c001906000f080158015610077573d6000803e3d6000fd5b50600180546001600160a01b0319166001600160a01b03929092169190911790556040516100a4906101de565b6040808252600d818301526c26b2b0b9bab932902a37b5b2b760991b6060830152608060208301819052600490830152634d45415360e01b60a0830152519081900360c001906000f0801580156100ff573d6000803e3d6000fd5b50600280546001600160a01b0319166001600160a01b039290921691909117905560405161012c906101eb565b604051809103906000f080158015610148573d6000803e3d6000fd5b50600080546001600160a01b0319166001600160a01b0392831617808255600154600254604080516305e52ecf60e21b815292861660048401529085166024830152670de0b6b3a76400006044830152519190931692631794bb3c92606480830193919282900301818387803b1580156101c157600080fd5b505af11580156101d5573d6000803e3d6000fd5b505050506101f8565b61128380610afb83390190565b61188680611d7e83390190565b6108f4806102076000396000f3fe608060405234801561001057600080fd5b506004361061009e5760003560e01c8063a0712d6811610066578063a0712d6814610127578063a9059cbb14610144578063b107aea114610170578063de5f72fd14610178578063efa9a1ad146101805761009e565b80632879d7c7146100a357806338d52e0f146100c257806342966c68146100e65780634e71d92d146101035780636cd8b16d1461010b575b600080fd5b6100c0600480360360208110156100b957600080fd5b5035610188565b005b6100ca61025f565b604080516001600160a01b039092168252519081900360200190f35b6100c0600480360360208110156100fc57600080fd5b503561026e565b6100c06103fa565b61011361048c565b604080519115158252519081900360200190f35b6100c06004803603602081101561013d57600080fd5b5035610594565b6100c06004803603604081101561015a57600080fd5b506001600160a01b038135169060200135610691565b610113610812565b6100ca6108a0565b6100ca6108af565b60007da7c5ac471b4784230fcf80dc33721d53cddd6e04c059210385c67dfe32a082116101b557816101bc565b620186a082045b600380548201908190559091508111156101d257fe5b60015460008054604080516340c10f1960e01b81526001600160a01b03928316600482015260248101869052905191909316926340c10f199260448083019360209390929083900390910190829087803b15801561022f57600080fd5b505af1158015610243573d6000803e3d6000fd5b505050506040513d602081101561025957600080fd5b50505050565b6001546001600160a01b031681565b600254604080516370a0823160e01b815233600482015290516000926001600160a01b0316916370a08231916024808301926020929190829003018186803b1580156102b957600080fd5b505afa1580156102cd573d6000803e3d6000fd5b505050506040513d60208110156102e357600080fd5b5051905060008183116102f657826102f8565b815b600080546002546040805163b221095760e01b815233600482015260248101859052604481018690526001600160a01b039283166064820152905194955091169263b22109579260848084019391929182900301818387803b15801561035d57600080fd5b505af1158015610371573d6000803e3d6000fd5b505060025460408051632770a7eb60e21b81523360048201526024810186905290516001600160a01b039092169350639dc29fac92506044808201926020929091908290030181600087803b1580156103c957600080fd5b505af11580156103dd573d6000803e3d6000fd5b505050506040513d60208110156103f357600080fd5b5050505050565b6000805460408051630f41a04d60e11b815233600482015290516001600160a01b0390921691631e83409a9160248082019260209290919082900301818787803b15801561044757600080fd5b505af115801561045b573d6000803e3d6000fd5b505050506040513d602081101561047157600080fd5b50516004805482019081905590915081111561048957fe5b50565b60015460008054604080516370a0823160e01b81526001600160a01b0392831660048201529051929391909116916370a0823191602480820192602092909190829003018186803b1580156104e057600080fd5b505afa1580156104f4573d6000803e3d6000fd5b505050506040513d602081101561050a57600080fd5b50516000546040805163192de29760e31b815290516001600160a01b039092169163c96f14b891600480820192602092909190829003018186803b15801561055157600080fd5b505afa158015610565573d6000803e3d6000fd5b505050506040513d602081101561057b57600080fd5b50516dffffffffffffffffffffffffffff161115905090565b60008054600254604080516304d7f3db60e41b8152336004820152602481018690526001600160a01b0392831660448201526064810185905290519190921692634d7f3db0926084808201939182900301818387803b1580156105f657600080fd5b505af115801561060a573d6000803e3d6000fd5b5050600254604080516340c10f1960e01b81523360048201526024810186905290516001600160a01b0390921693506340c10f1992506044808201926020929091908290030181600087803b15801561066257600080fd5b505af1158015610676573d6000803e3d6000fd5b505050506040513d602081101561068c57600080fd5b505050565b600254604080516370a0823160e01b815233600482015290516000926001600160a01b0316916370a08231916024808301926020929190829003018186803b1580156106dc57600080fd5b505afa1580156106f0573d6000803e3d6000fd5b505050506040513d602081101561070657600080fd5b505190506000818311610719578261071b565b815b600080546002546040805163b221095760e01b81523360048201526001600160a01b038a81166024830152604482018790529283166064820152905194955091169263b22109579260848084019391929182900301818387803b15801561078157600080fd5b505af1158015610795573d6000803e3d6000fd5b505060025460408051631c9c790360e01b81523360048201526001600160a01b038981166024830152604482018790529151919092169350631c9c79039250606480830192600092919082900301818387803b1580156107f457600080fd5b505af1158015610808573d6000803e3d6000fd5b5050505050505050565b60015460008054604080516370a0823160e01b81526001600160a01b0392831660048201529051929391909116916370a0823191602480820192602092909190829003018186803b15801561086657600080fd5b505afa15801561087a573d6000803e3d6000fd5b505050506040513d602081101561089057600080fd5b5051600454600354910114905090565b6000546001600160a01b031681565b6002546001600160a01b03168156fea264697066735822122077127690c6553e47db55e4f2b81dd3f504325f68608c7b4b5fe86b9c787bd81664736f6c634300060c003360806040523480156200001157600080fd5b506040516200128338038062001283833981810160405260408110156200003757600080fd5b81019080805160405193929190846401000000008211156200005857600080fd5b9083019060208201858111156200006e57600080fd5b82516401000000008111828201881017156200008957600080fd5b82525081516020918201929091019080838360005b83811015620000b85781810151838201526020016200009e565b50505050905090810190601f168015620000e65780820380516001836020036101000a031916815260200191505b50604052602001805160405193929190846401000000008211156200010a57600080fd5b9083019060208201858111156200012057600080fd5b82516401000000008111828201881017156200013b57600080fd5b82525081516020918201929091019080838360005b838110156200016a57818101518382015260200162000150565b50505050905090810190601f168015620001985780820380516001836020036101000a031916815260200191505b50604052505050620001b18282620001b960201b60201c565b5050620004c9565b600054610100900460ff1680620001d55750620001d56200027b565b80620001e4575060005460ff16155b620002215760405162461bcd60e51b815260040180806020018281038252602e81526020018062001255602e913960400191505060405180910390fd5b600054610100900460ff161580156200024d576000805460ff1961ff0019909116610100171660011790555b6200025762000299565b62000263838362000343565b801562000276576000805461ff00191690555b505050565b600062000293306200042760201b6200066c1760201c565b15905090565b600054610100900460ff1680620002b55750620002b56200027b565b80620002c4575060005460ff16155b620003015760405162461bcd60e51b815260040180806020018281038252602e81526020018062001255602e913960400191505060405180910390fd5b600054610100900460ff161580156200032d576000805460ff1961ff0019909116610100171660011790555b801562000340576000805461ff00191690555b50565b600054610100900460ff16806200035f57506200035f6200027b565b806200036e575060005460ff16155b620003ab5760405162461bcd60e51b815260040180806020018281038252602e81526020018062001255602e913960400191505060405180910390fd5b600054610100900460ff16158015620003d7576000805460ff1961ff0019909116610100171660011790555b8251620003ec9060369060208601906200042d565b508151620004029060379060208501906200042d565b506038805460ff19166012179055801562000276576000805461ff0019169055505050565b3b151590565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200047057805160ff1916838001178555620004a0565b82800160010185558215620004a0579182015b82811115620004a057825182559160200191906001019062000483565b50620004ae929150620004b2565b5090565b5b80821115620004ae5760008155600101620004b3565b610d7c80620004d96000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c806340c10f191161008c5780639dc29fac116100665780639dc29fac146102d8578063a457c2d714610304578063a9059cbb14610330578063dd62ed3e1461035c576100ea565b806340c10f191461027e57806370a08231146102aa57806395d89b41146102d0576100ea565b80631c9c7903116100c85780631c9c7903146101c657806323b872dd146101fe578063313ce567146102345780633950935114610252576100ea565b806306fdde03146100ef578063095ea7b31461016c57806318160ddd146101ac575b600080fd5b6100f761038a565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610131578181015183820152602001610119565b50505050905090810190601f16801561015e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101986004803603604081101561018257600080fd5b506001600160a01b038135169060200135610420565b604080519115158252519081900360200190f35b6101b461043d565b60408051918252519081900360200190f35b6101fc600480360360608110156101dc57600080fd5b506001600160a01b03813581169160208101359091169060400135610443565b005b6101986004803603606081101561021457600080fd5b506001600160a01b03813581169160208101359091169060400135610453565b61023c6104da565b6040805160ff9092168252519081900360200190f35b6101986004803603604081101561026857600080fd5b506001600160a01b0381351690602001356104e3565b6101986004803603604081101561029457600080fd5b506001600160a01b038135169060200135610531565b6101b4600480360360208110156102c057600080fd5b50356001600160a01b031661053d565b6100f7610558565b610198600480360360408110156102ee57600080fd5b506001600160a01b0381351690602001356105b9565b6101986004803603604081101561031a57600080fd5b506001600160a01b0381351690602001356105c5565b6101986004803603604081101561034657600080fd5b506001600160a01b03813516906020013561062d565b6101b46004803603604081101561037257600080fd5b506001600160a01b0381358116916020013516610641565b60368054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104165780601f106103eb57610100808354040283529160200191610416565b820191906000526020600020905b8154815290600101906020018083116103f957829003601f168201915b5050505050905090565b600061043461042d610672565b8484610676565b50600192915050565b60355490565b61044e838383610762565b505050565b6000610460848484610762565b6104d08461046c610672565b6104cb85604051806060016040528060288152602001610c90602891396001600160a01b038a166000908152603460205260408120906104aa610672565b6001600160a01b0316815260208101919091526040016000205491906108bf565b610676565b5060019392505050565b60385460ff1690565b60006104346104f0610672565b846104cb8560346000610501610672565b6001600160a01b03908116825260208083019390935260409182016000908120918c168152925290205490610956565b600061043483836109b7565b6001600160a01b031660009081526033602052604090205490565b60378054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104165780601f106103eb57610100808354040283529160200191610416565b60006104348383610aa9565b60006104346105d2610672565b846104cb85604051806060016040528060258152602001610d2260259139603460006105fc610672565b6001600160a01b03908116825260208083019390935260409182016000908120918d168152925290205491906108bf565b600061043461063a610672565b8484610762565b6001600160a01b03918216600090815260346020908152604080832093909416825291909152205490565b3b151590565b3390565b6001600160a01b0383166106bb5760405162461bcd60e51b8152600401808060200182810382526024815260200180610cfe6024913960400191505060405180910390fd5b6001600160a01b0382166107005760405162461bcd60e51b8152600401808060200182810382526022815260200180610c486022913960400191505060405180910390fd5b6001600160a01b03808416600081815260346020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0383166107a75760405162461bcd60e51b8152600401808060200182810382526025815260200180610cd96025913960400191505060405180910390fd5b6001600160a01b0382166107ec5760405162461bcd60e51b8152600401808060200182810382526023815260200180610c036023913960400191505060405180910390fd5b6107f783838361044e565b61083481604051806060016040528060268152602001610c6a602691396001600160a01b03861660009081526033602052604090205491906108bf565b6001600160a01b0380851660009081526033602052604080822093909355908416815220546108639082610956565b6001600160a01b0380841660008181526033602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000818484111561094e5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b838110156109135781810151838201526020016108fb565b50505050905090810190601f1680156109405780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6000828201838110156109b0576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b038216610a12576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b610a1e6000838361044e565b603554610a2b9082610956565b6035556001600160a01b038216600090815260336020526040902054610a519082610956565b6001600160a01b03831660008181526033602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b038216610aee5760405162461bcd60e51b8152600401808060200182810382526021815260200180610cb86021913960400191505060405180910390fd5b610afa8260008361044e565b610b3781604051806060016040528060228152602001610c26602291396001600160a01b03851660009081526033602052604090205491906108bf565b6001600160a01b038316600090815260336020526040902055603554610b5d9082610ba5565b6035556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600082821115610bfc576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b5090039056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220bba429e69beb1bc8dd970964cb7c3f0feac9e9caed1b36200ec0d81408b6b54564736f6c634300060c0033496e697469616c697a61626c653a20636f6e747261637420697320616c726561647920696e697469616c697a6564608060405234801561001057600080fd5b50611866806100206000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c80638da5cb5b116100ad578063ca5baafc11610071578063ca5baafc1461034f578063d9772a251461036c578063e318613e1461038d578063efa9a1ad14610395578063f2fde38b1461039d57610121565b80638da5cb5b146102c25780639f678cca146102ca578063b2210957146102d2578063b6b55f251461030e578063c96f14b81461032b57610121565b80631e83409a116100f45780631e83409a14610208578063205c28781461022e57806338d52e0f1461025a5780634d7f3db01461027e578063715018a6146102ba57610121565b806301ffc9a7146101265780630ecc535f146101615780631794bb3c146101b6578063187f3334146101ee575b600080fd5b61014d6004803603602081101561013c57600080fd5b50356001600160e01b0319166103c3565b604080519115158252519081900360200190f35b6101876004803603602081101561017757600080fd5b50356001600160a01b03166103ff565b60405180836001600160801b03168152602001826001600160801b031681526020019250505060405180910390f35b6101ec600480360360608110156101cc57600080fd5b506001600160a01b03813581169160208101359091169060400135610425565b005b6101f6610583565b60408051918252519081900360200190f35b6101f66004803603602081101561021e57600080fd5b50356001600160a01b0316610589565b6101ec6004803603604081101561024457600080fd5b506001600160a01b0381351690602001356106f1565b610262610915565b604080516001600160a01b039092168252519081900360200190f35b6101ec6004803603608081101561029457600080fd5b506001600160a01b03813581169160208101359160408201358116916060013516610924565b6101ec610953565b6102626109ff565b6101f6610a0f565b6101ec600480360360808110156102e857600080fd5b506001600160a01b03813581169160208101358216916040820135916060013516610cab565b6101ec6004803603602081101561032457600080fd5b5035610ce7565b610333610daf565b604080516001600160701b039092168252519081900360200190f35b6101ec6004803603602081101561036557600080fd5b5035610dc5565b610374610ec0565b6040805163ffffffff9092168252519081900360200190f35b610333610ed3565b610262610ee2565b6101ec600480360360208110156103b357600080fd5b50356001600160a01b0316610ef1565b60006001600160e01b031982166301ffc9a760e01b14806103f757506001600160e01b03198216600162a1cb1960e01b0319145b90505b919050565b6069602052600090815260409020546001600160801b0380821691600160801b90041682565b600054610100900460ff168061043e575061043e610ff4565b8061044c575060005460ff16155b6104875760405162461bcd60e51b815260040180806020018281038252602e815260200180611773602e913960400191505060405180910390fd5b600054610100900460ff161580156104b2576000805460ff1961ff0019909116610100171660011790555b6104ba611005565b6104c26110b7565b6068805463ffffffff92909216600160e01b026001600160e01b03909216919091179055606580546001600160a01b038087166001600160a01b031992831617909255606680549286169290911691909117905561051f82610dc5565b60665460655460675460408051918252516001600160a01b039384169392909216917f10f27652c1015195ca7e6bc9b4c724cbf18e91c42117d92124703a3f49bb240f9181900360200190a3801561057d576000805461ff00191690555b50505050565b60675481565b6000610593610a0f565b5061059d826110c7565b506001600160a01b038216600090815260696020526040902080546001600160801b03808216909255606854600160801b909104909116906105f8906105f390600160701b90046001600160701b03168361126c565b6112ce565b606880546001600160701b0392909216600160701b026dffffffffffffffffffffffffffff60701b199092169190911790556065546040805163a9059cbb60e01b81526001600160a01b038681166004830152602482018590529151919092169163a9059cbb9160448083019260209291908290030181600087803b15801561068057600080fd5b505af1158015610694573d6000803e3d6000fd5b505050506040513d60208110156106aa57600080fd5b50506040805182815290516001600160a01b038516917fd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a919081900360200190a292915050565b6106f9611316565b6001600160a01b031661070a6109ff565b6001600160a01b031614610753576040805162461bcd60e51b815260206004820181905260248201526000805160206117c2833981519152604482015290519081900360640190fd5b61075b610a0f565b50606554604080516370a0823160e01b815230600482015290516000926001600160a01b0316916370a08231916024808301926020929190829003018186803b1580156107a757600080fd5b505afa1580156107bb573d6000803e3d6000fd5b505050506040513d60208110156107d157600080fd5b50516068549091506000906107f7908390600160701b90046001600160701b031661126c565b90508083111561084e576040805162461bcd60e51b815260206004820152601e60248201527f546f6b656e4661756365742f696e73756666696369656e742d66756e64730000604482015290519081900360640190fd5b6065546040805163a9059cbb60e01b81526001600160a01b038781166004830152602482018790529151919092169163a9059cbb9160448083019260209291908290030181600087803b1580156108a457600080fd5b505af11580156108b8573d6000803e3d6000fd5b505050506040513d60208110156108ce57600080fd5b50506040805184815290516001600160a01b038616917f7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5919081900360200190a250505050565b6065546001600160a01b031681565b6066546001600160a01b038381169116141561057d57610942610a0f565b5061094c846110c7565b5050505050565b61095b611316565b6001600160a01b031661096c6109ff565b6001600160a01b0316146109b5576040805162461bcd60e51b815260206004820181905260248201526000805160206117c2833981519152604482015290519081900360640190fd5b6033546040516000916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3603380546001600160a01b0319169055565b6033546001600160a01b03165b90565b600080610a1a6110b7565b60685463ffffffff9182169250600160e01b900416811415610a40576000915050610a0c565b606554604080516370a0823160e01b815230600482015290516000926001600160a01b0316916370a08231916024808301926020929190829003018186803b158015610a8b57600080fd5b505afa158015610a9f573d6000803e3d6000fd5b505050506040513d6020811015610ab557600080fd5b5051606854909150600090610adb908390600160701b90046001600160701b031661126c565b606854909150600090610b0090859063ffffffff600160e01b90910481169061126c16565b606854606654604080516318160ddd60e01b815290519394506001600160701b039092169260009283926001600160a01b0316916318160ddd91600480820192602092909190829003018186803b158015610b5a57600080fd5b505afa158015610b6e573d6000803e3d6000fd5b505050506040513d6020811015610b8457600080fd5b505190508015801590610b975750600085115b15610c0957606754610baa90859061131a565b915084821115610bb8578491505b6000610bc4838361137a565b9050610bd084826113a3565b6040805185815290519195507f7de59a92c9386255180c28ede4b61edb9b7b2ac96855ac634151489cef21bad6919081900360200190a1505b610c12836112ce565b606880546dffffffffffffffffffffffffffff19166001600160701b039283161790819055610c4d916105f391600160701b900416846113a3565b6068600e6101000a8154816001600160701b0302191690836001600160701b03160217905550610c7c876113fd565b6068805463ffffffff92909216600160e01b026001600160e01b03909216919091179055509550505050505090565b6066546001600160a01b038281169116148015610cd057506001600160a01b03841615155b1561057d57610cdd610a0f565b50610942836110c7565b610cef610a0f565b50606554604080516323b872dd60e01b81523360048201523060248201526044810184905290516001600160a01b03909216916323b872dd916064808201926020929091908290030181600087803b158015610d4a57600080fd5b505af1158015610d5e573d6000803e3d6000fd5b505050506040513d6020811015610d7457600080fd5b505060408051828152905133917f2da466a7b24304f47e87fa2e1e5a81b9831ce54fec19055ce277ca2f39ba42c4919081900360200190a250565b606854600160701b90046001600160701b031681565b610dcd611316565b6001600160a01b0316610dde6109ff565b6001600160a01b031614610e27576040805162461bcd60e51b815260206004820181905260248201526000805160206117c2833981519152604482015290519081900360640190fd5b60008111610e7c576040805162461bcd60e51b815260206004820152601c60248201527f546f6b656e4661756365742f64726970526174652d67742d7a65726f00000000604482015290519081900360640190fd5b610e84610a0f565b5060678190556040805182815290517f3d38e7cd2e029035006f9977a727c8724cd41dffb6d2a40d9f66bd4c26836a329181900360200190a150565b606854600160e01b900463ffffffff1681565b6068546001600160701b031681565b6066546001600160a01b031681565b610ef9611316565b6001600160a01b0316610f0a6109ff565b6001600160a01b031614610f53576040805162461bcd60e51b815260206004820181905260248201526000805160206117c2833981519152604482015290519081900360640190fd5b6001600160a01b038116610f985760405162461bcd60e51b81526004018080602001828103825260268152602001806117266026913960400191505060405180910390fd5b6033546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3603380546001600160a01b0319166001600160a01b0392909216919091179055565b6000610fff30611442565b15905090565b600054610100900460ff168061101e575061101e610ff4565b8061102c575060005460ff16155b6110675760405162461bcd60e51b815260040180806020018281038252602e815260200180611773602e913960400191505060405180910390fd5b600054610100900460ff16158015611092576000805460ff1961ff0019909116610100171660011790555b61109a611448565b6110a26114e8565b80156110b4576000805461ff00191690555b50565b60006110c2426113fd565b905090565b6001600160a01b038116600090815260696020526040812080546068546001600160701b03166001600160801b0390911614156111085760009150506103fa565b805460685460009161112c916001600160701b0316906001600160801b031661126c565b606654604080516370a0823160e01b81526001600160a01b038881166004830152915193945060009391909216916370a08231916024808301926020929190829003018186803b15801561117f57600080fd5b505afa158015611193573d6000803e3d6000fd5b505050506040513d60208110156111a957600080fd5b5051905060006111c16111bc83856115e1565b611602565b604080518082019091526068546001600160701b031681528554919250906020820190611206906111bc90600160801b90046001600160801b039081169086166113a3565b6001600160801b039081169091526001600160a01b03881660009081526069602090815260409091208351815494909201518316600160801b029183166fffffffffffffffffffffffffffffffff19909416939093179091161790559350505050919050565b6000828211156112c3576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b508082035b92915050565b6000600160701b82106113125760405162461bcd60e51b81526004018080602001828103825260298152602001806117e26029913960400191505060405180910390fd5b5090565b3390565b600082611329575060006112c8565b8282028284828161133657fe5b04146113735760405162461bcd60e51b81526004018080602001828103825260218152602001806117a16021913960400191505060405180910390fd5b9392505050565b60008061138f84670de0b6b3a764000061131a565b905061139b8184611646565b949350505050565b600082820183811015611373576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b600064010000000082106113125760405162461bcd60e51b815260040180806020018281038252602681526020018061180b6026913960400191505060405180910390fd5b3b151590565b600054610100900460ff16806114615750611461610ff4565b8061146f575060005460ff16155b6114aa5760405162461bcd60e51b815260040180806020018281038252602e815260200180611773602e913960400191505060405180910390fd5b600054610100900460ff161580156110a2576000805460ff1961ff00199091166101001716600117905580156110b4576000805461ff001916905550565b600054610100900460ff16806115015750611501610ff4565b8061150f575060005460ff16155b61154a5760405162461bcd60e51b815260040180806020018281038252602e815260200180611773602e913960400191505060405180910390fd5b600054610100900460ff16158015611575576000805460ff1961ff0019909116610100171660011790555b600061157f611316565b603380546001600160a01b0319166001600160a01b038316908117909155604051919250906000907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35080156110b4576000805461ff001916905550565b6000806115ee838561131a565b905061139b81670de0b6b3a7640000611646565b6000600160801b82106113125760405162461bcd60e51b815260040180806020018281038252602781526020018061174c6027913960400191505060405180910390fd5b600061137383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506000818361170f5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b838110156116d45781810151838201526020016116bc565b50505050905090810190601f1680156117015780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161171b57fe5b049594505050505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737353616665436173743a2076616c756520646f65736e27742066697420696e203132382062697473496e697469616c697a61626c653a20636f6e747261637420697320616c726561647920696e697469616c697a6564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f774f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657253616665436173743a2076616c756520646f65736e27742066697420696e20616e2075696e7431313253616665436173743a2076616c756520646f65736e27742066697420696e2033322062697473a2646970667358221220ca90e018c76dda1f3b271af212deb27b3e80278ba6dc894d44af423d3761577064736f6c634300060c0033",
  "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061009e5760003560e01c8063a0712d6811610066578063a0712d6814610127578063a9059cbb14610144578063b107aea114610170578063de5f72fd14610178578063efa9a1ad146101805761009e565b80632879d7c7146100a357806338d52e0f146100c257806342966c68146100e65780634e71d92d146101035780636cd8b16d1461010b575b600080fd5b6100c0600480360360208110156100b957600080fd5b5035610188565b005b6100ca61025f565b604080516001600160a01b039092168252519081900360200190f35b6100c0600480360360208110156100fc57600080fd5b503561026e565b6100c06103fa565b61011361048c565b604080519115158252519081900360200190f35b6100c06004803603602081101561013d57600080fd5b5035610594565b6100c06004803603604081101561015a57600080fd5b506001600160a01b038135169060200135610691565b610113610812565b6100ca6108a0565b6100ca6108af565b60007da7c5ac471b4784230fcf80dc33721d53cddd6e04c059210385c67dfe32a082116101b557816101bc565b620186a082045b600380548201908190559091508111156101d257fe5b60015460008054604080516340c10f1960e01b81526001600160a01b03928316600482015260248101869052905191909316926340c10f199260448083019360209390929083900390910190829087803b15801561022f57600080fd5b505af1158015610243573d6000803e3d6000fd5b505050506040513d602081101561025957600080fd5b50505050565b6001546001600160a01b031681565b600254604080516370a0823160e01b815233600482015290516000926001600160a01b0316916370a08231916024808301926020929190829003018186803b1580156102b957600080fd5b505afa1580156102cd573d6000803e3d6000fd5b505050506040513d60208110156102e357600080fd5b5051905060008183116102f657826102f8565b815b600080546002546040805163b221095760e01b815233600482015260248101859052604481018690526001600160a01b039283166064820152905194955091169263b22109579260848084019391929182900301818387803b15801561035d57600080fd5b505af1158015610371573d6000803e3d6000fd5b505060025460408051632770a7eb60e21b81523360048201526024810186905290516001600160a01b039092169350639dc29fac92506044808201926020929091908290030181600087803b1580156103c957600080fd5b505af11580156103dd573d6000803e3d6000fd5b505050506040513d60208110156103f357600080fd5b5050505050565b6000805460408051630f41a04d60e11b815233600482015290516001600160a01b0390921691631e83409a9160248082019260209290919082900301818787803b15801561044757600080fd5b505af115801561045b573d6000803e3d6000fd5b505050506040513d602081101561047157600080fd5b50516004805482019081905590915081111561048957fe5b50565b60015460008054604080516370a0823160e01b81526001600160a01b0392831660048201529051929391909116916370a0823191602480820192602092909190829003018186803b1580156104e057600080fd5b505afa1580156104f4573d6000803e3d6000fd5b505050506040513d602081101561050a57600080fd5b50516000546040805163192de29760e31b815290516001600160a01b039092169163c96f14b891600480820192602092909190829003018186803b15801561055157600080fd5b505afa158015610565573d6000803e3d6000fd5b505050506040513d602081101561057b57600080fd5b50516dffffffffffffffffffffffffffff161115905090565b60008054600254604080516304d7f3db60e41b8152336004820152602481018690526001600160a01b0392831660448201526064810185905290519190921692634d7f3db0926084808201939182900301818387803b1580156105f657600080fd5b505af115801561060a573d6000803e3d6000fd5b5050600254604080516340c10f1960e01b81523360048201526024810186905290516001600160a01b0390921693506340c10f1992506044808201926020929091908290030181600087803b15801561066257600080fd5b505af1158015610676573d6000803e3d6000fd5b505050506040513d602081101561068c57600080fd5b505050565b600254604080516370a0823160e01b815233600482015290516000926001600160a01b0316916370a08231916024808301926020929190829003018186803b1580156106dc57600080fd5b505afa1580156106f0573d6000803e3d6000fd5b505050506040513d602081101561070657600080fd5b505190506000818311610719578261071b565b815b600080546002546040805163b221095760e01b81523360048201526001600160a01b038a81166024830152604482018790529283166064820152905194955091169263b22109579260848084019391929182900301818387803b15801561078157600080fd5b505af1158015610795573d6000803e3d6000fd5b505060025460408051631c9c790360e01b81523360048201526001600160a01b038981166024830152604482018790529151919092169350631c9c79039250606480830192600092919082900301818387803b1580156107f457600080fd5b505af1158015610808573d6000803e3d6000fd5b5050505050505050565b60015460008054604080516370a0823160e01b81526001600160a01b0392831660048201529051929391909116916370a0823191602480820192602092909190829003018186803b15801561086657600080fd5b505afa15801561087a573d6000803e3d6000fd5b505050506040513d602081101561089057600080fd5b5051600454600354910114905090565b6000546001600160a01b031681565b6002546001600160a01b03168156fea264697066735822122077127690c6553e47db55e4f2b81dd3f504325f68608c7b4b5fe86b9c787bd81664736f6c634300060c0033",
  "linkReferences": {},
  "deployedLinkReferences": {}
}