Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function ceil(uint256 a, uint256 m)    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function findBurnAmount(uint256 rate, ...    - function _modifyWhitelist(address adr ...    - function _checkWhitelist(address adr)    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-10
*/

pragma solidity 0.7.0;
 
interface IERC20 {
  function totalSupply()                                         external view returns (uint256);
  function balanceOf(address who)                                external view returns (uint256);
  function allowance(address owner, address spender)             external view returns (uint256);
  function transfer(address to, uint256 value)                   external      returns (bool);
  function approve(address spender, uint256 value)               external      returns (bool);
  function transferFrom(address from, address to, uint256 value) external      returns (bool);
 
  event Transfer(address indexed from, address indexed to, uint256 value);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}
 
 
library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);
 
        return c;
    }
 
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;
 
        return c;
    }
 
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b);
        return c;
    }
 
 
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0);
        uint256 c = a / b;
        return c;
    }
 
    function ceil(uint256 a, uint256 m) internal pure returns (uint256) {
        uint256 c = add(a,m);
        uint256 d = sub(c,1);
        return mul(div(d,m),m);
    }
}
 
abstract contract ERC20Detailed is IERC20 {
 
  string private _name;
  string private _symbol;
  uint8  private _decimals;
 
  constructor(string memory name, string memory symbol, uint8 decimals) {
    _name     = name;
    _symbol   = symbol;
    _decimals = decimals;
  }
 
  function name() public view returns(string memory) {
    return _name;
  }
 
  function symbol() public view returns(string memory) {
    return _symbol;
  }
 
  function decimals() public view returns(uint8) {
    return _decimals;
  }
}
 
 
 contract HIGH5 is ERC20Detailed {
 
  using SafeMath for uint256;
 
  mapping (address => uint256)                      private _balances;
  mapping (address => mapping (address => uint256)) private _allowed;
  mapping (address => bool)                         private _whitelist;
 
 
  address private constant _router  = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
  address private          _owner;
 
  string   constant tokenName     = "HIGH5";
  string   constant tokenSymbol   = "HIGH5";
  uint8    constant tokenDecimals = 18;
  uint256  public   burnPct       = 10;
  uint256  private  _totalSupply  = 1_000_000_000_000_000_000_000_000_000;
  uint256  private  _txCap        = 5_000_000_000_000_000_000_000_000;
 
  constructor() ERC20Detailed(tokenName, tokenSymbol, tokenDecimals) {
      _owner = msg.sender;
      _balances[_owner] = _totalSupply;
      _modifyWhitelist(_owner, true);
      _modifyWhitelist(_router, true);
 
  }
  function totalSupply() external view override returns (uint256) {
    return _totalSupply;
  }
 
  function balanceOf(address owner) external view override returns (uint256) {
    return _balances[owner];
  }
 
  function allowance(address owner, address spender) external view override returns (uint256) {
    return _allowed[owner][spender];
  }
 
 
  function findBurnAmount(uint256 rate, uint256 value) public pure returns (uint256) {
      return value.ceil(100).mul(rate).div(100);
  }
 
  function _modifyWhitelist(address adr, bool state) internal {
    _whitelist[adr] = state;
  }
 
  function _checkWhitelist(address adr) internal view returns (bool) {
    return _whitelist[adr];
  }
 
 
  function transfer(address to, uint256 value) external override returns (bool) {
    require(value <= _balances[msg.sender]);
    require(to != address(0));
    if (_checkWhitelist(msg.sender)) {
    _balances[msg.sender] = _balances[msg.sender].sub(value);
    _balances[to] = _balances[to].add(value);
 
    emit Transfer(msg.sender, to, value);
    return true;
  } else {
    require (value <= _txCap || _checkWhitelist(to),
            "amount exceeds tx cap");
    uint256 tokensToBurn     = findBurnAmount(burnPct, value);
    uint256 tokensToTransfer = value.sub(tokensToBurn);
 
    _balances[msg.sender] = _balances[msg.sender].sub(value);
    _balances[to] = _balances[to].add(tokensToTransfer);
 
    _totalSupply = _totalSupply.sub(tokensToBurn);
 
    emit Transfer(msg.sender, to, tokensToTransfer);
    emit Transfer(msg.sender, address(0), tokensToBurn);
    return true;
  }
}
 
  function approve(address spender, uint256 value) external override returns (bool) {
    require(spender != address(0));
    _allowed[msg.sender][spender] = value;
 
    emit Approval(msg.sender, spender, value);
    return true;
  }
 
  function transferFrom(address from, address to, uint256 value) external override returns (bool) {
    require(value <= _balances[from]);
    require(value <= _allowed[from][msg.sender]);
    require(to != address(0));
    if (_checkWhitelist(from)) {
      _balances[from] = _balances[from].sub(value);
      _balances[to] = _balances[to].add(value);
 
      emit Transfer(from, to, value);
      return true;
    } else {
      require (value <= _txCap || _checkWhitelist(to),
              "amount exceeds tx cap");
 
      _balances[from] = _balances[from].sub(value);
 
      uint256 tokensToBurn     = findBurnAmount(burnPct, value);
      uint256 tokensToTransfer = value.sub(tokensToBurn);
 
      _balances[to] = _balances[to].add(tokensToTransfer);
      _totalSupply  = _totalSupply.sub(tokensToBurn);
 
      _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);
 
      emit Transfer(from, to, tokensToTransfer);
      emit Transfer(from, address(0), tokensToBurn);
 
      return true;
    }
  }
 
 
  function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
    require(spender != address(0));
    _allowed[msg.sender][spender] = (_allowed[msg.sender][spender].add(addedValue));
    emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
    return true;
  }
 
  function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
    require(spender != address(0));
    _allowed[msg.sender][spender] = (_allowed[msg.sender][spender].sub(subtractedValue));
    emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
    return true;
  }
 
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"burnPct","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":"uint256","name":"rate","type":"uint256"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"findBurnAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","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":"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":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

6080604052600a6007556b033b2e3c9fd0803ce80000006008556a0422ca8b0a00a4250000006009553480156200003557600080fd5b506040518060400160405280600581526020017f48494748350000000000000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f484947483500000000000000000000000000000000000000000000000000000081525060128260009080519060200190620000bc9291906200025a565b508160019080519060200190620000d59291906200025a565b5080600260006101000a81548160ff021916908360ff16021790555050505033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060085460036000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550620001d2600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166001620001ff60201b60201c565b620001f9737a250d5630b4cf539739df2c5dacb4c659f2488d6001620001ff60201b60201c565b62000300565b80600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200029d57805160ff1916838001178555620002ce565b82800160010185558215620002ce579182015b82811115620002cd578251825591602001919060010190620002b0565b5b509050620002dd9190620002e1565b5090565b5b80821115620002fc576000816000905550600101620002e2565b5090565b611a6d80620003106000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806353f9963f1161008c5780639618b31c116100665780639618b31c14610409578063a457c2d714610427578063a9059cbb1461048b578063dd62ed3e146104ef576100cf565b806353f9963f146102e257806370a082311461032e57806395d89b4114610386576100cf565b806306fdde03146100d4578063095ea7b31461015757806318160ddd146101bb57806323b872dd146101d9578063313ce5671461025d578063395093511461027e575b600080fd5b6100dc610567565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561011c578082015181840152602081019050610101565b50505050905090810190601f1680156101495780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101a36004803603604081101561016d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610609565b60405180821515815260200191505060405180910390f35b6101c3610734565b6040518082815260200191505060405180910390f35b610245600480360360608110156101ef57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061073e565b60405180821515815260200191505060405180910390f35b610265610dd1565b604051808260ff16815260200191505060405180910390f35b6102ca6004803603604081101561029457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610de8565b60405180821515815260200191505060405180910390f35b610318600480360360408110156102f857600080fd5b81019080803590602001909291908035906020019092919050505061101d565b6040518082815260200191505060405180910390f35b6103706004803603602081101561034457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611060565b6040518082815260200191505060405180910390f35b61038e6110a9565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103ce5780820151818401526020810190506103b3565b50505050905090810190601f1680156103fb5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61041161114b565b6040518082815260200191505060405180910390f35b6104736004803603604081101561043d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611151565b60405180821515815260200191505060405180910390f35b6104d7600480360360408110156104a157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611386565b60405180821515815260200191505060405180910390f35b6105516004803603604081101561050557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611880565b6040518082815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156105ff5780601f106105d4576101008083540402835291602001916105ff565b820191906000526020600020905b8154815290600101906020018083116105e257829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561064457600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600854905090565b6000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561078c57600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561081557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561084f57600080fd5b61085884611907565b156109f5576108af82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061094482600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050610dca565b60095482111580610a0b5750610a0a83611907565b5b610a7d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f616d6f756e74206578636565647320747820636170000000000000000000000081525060200191505060405180910390fd5b610acf82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610b206007548461101d565b90506000610b37828561195d90919063ffffffff16565b9050610b8b81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610be38260085461195d90919063ffffffff16565b600881905550610c7884600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050505b9392505050565b6000600260009054906101000a900460ff16905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610e2357600080fd5b610eb282600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000611058606461104a8561103c60648761199c90919063ffffffff16565b6119d790919063ffffffff16565b611a1190919063ffffffff16565b905092915050565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111415780601f1061111657610100808354040283529160200191611141565b820191906000526020600020905b81548152906001019060200180831161112457829003601f168201915b5050505050905090565b60075481565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561118c57600080fd5b61121b82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156113d457600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561140e57600080fd5b61141733611907565b156115b45761146e82600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061150382600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905061187a565b600954821115806115ca57506115c983611907565b5b61163c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f616d6f756e74206578636565647320747820636170000000000000000000000081525060200191505060405180910390fd5b600061164a6007548461101d565b90506000611661828561195d90919063ffffffff16565b90506116b584600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061174a81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117a28260085461195d90919063ffffffff16565b6008819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050505b92915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b60008282111561196c57600080fd5b600082840390508091505092915050565b60008082840190508381101561199257600080fd5b8091505092915050565b6000806119a9848461197d565b905060006119b882600161195d565b90506119cd6119c78286611a11565b856119d7565b9250505092915050565b6000808314156119ea5760009050611a0b565b60008284029050828482816119fb57fe5b0414611a0657600080fd5b809150505b92915050565b6000808211611a1f57600080fd5b6000828481611a2a57fe5b049050809150509291505056fea26469706673582212204a451db667b30024c877e6e7d72d30394455ef6c51ea5213da6ac111cadf973d64736f6c63430007000033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806353f9963f1161008c5780639618b31c116100665780639618b31c14610409578063a457c2d714610427578063a9059cbb1461048b578063dd62ed3e146104ef576100cf565b806353f9963f146102e257806370a082311461032e57806395d89b4114610386576100cf565b806306fdde03146100d4578063095ea7b31461015757806318160ddd146101bb57806323b872dd146101d9578063313ce5671461025d578063395093511461027e575b600080fd5b6100dc610567565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561011c578082015181840152602081019050610101565b50505050905090810190601f1680156101495780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101a36004803603604081101561016d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610609565b60405180821515815260200191505060405180910390f35b6101c3610734565b6040518082815260200191505060405180910390f35b610245600480360360608110156101ef57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061073e565b60405180821515815260200191505060405180910390f35b610265610dd1565b604051808260ff16815260200191505060405180910390f35b6102ca6004803603604081101561029457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610de8565b60405180821515815260200191505060405180910390f35b610318600480360360408110156102f857600080fd5b81019080803590602001909291908035906020019092919050505061101d565b6040518082815260200191505060405180910390f35b6103706004803603602081101561034457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611060565b6040518082815260200191505060405180910390f35b61038e6110a9565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103ce5780820151818401526020810190506103b3565b50505050905090810190601f1680156103fb5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61041161114b565b6040518082815260200191505060405180910390f35b6104736004803603604081101561043d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611151565b60405180821515815260200191505060405180910390f35b6104d7600480360360408110156104a157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611386565b60405180821515815260200191505060405180910390f35b6105516004803603604081101561050557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611880565b6040518082815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156105ff5780601f106105d4576101008083540402835291602001916105ff565b820191906000526020600020905b8154815290600101906020018083116105e257829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561064457600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600854905090565b6000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561078c57600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561081557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561084f57600080fd5b61085884611907565b156109f5576108af82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061094482600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050610dca565b60095482111580610a0b5750610a0a83611907565b5b610a7d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f616d6f756e74206578636565647320747820636170000000000000000000000081525060200191505060405180910390fd5b610acf82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610b206007548461101d565b90506000610b37828561195d90919063ffffffff16565b9050610b8b81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610be38260085461195d90919063ffffffff16565b600881905550610c7884600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050505b9392505050565b6000600260009054906101000a900460ff16905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610e2357600080fd5b610eb282600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000611058606461104a8561103c60648761199c90919063ffffffff16565b6119d790919063ffffffff16565b611a1190919063ffffffff16565b905092915050565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111415780601f1061111657610100808354040283529160200191611141565b820191906000526020600020905b81548152906001019060200180831161112457829003601f168201915b5050505050905090565b60075481565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561118c57600080fd5b61121b82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156113d457600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561140e57600080fd5b61141733611907565b156115b45761146e82600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061150382600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905061187a565b600954821115806115ca57506115c983611907565b5b61163c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f616d6f756e74206578636565647320747820636170000000000000000000000081525060200191505060405180910390fd5b600061164a6007548461101d565b90506000611661828561195d90919063ffffffff16565b90506116b584600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461195d90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061174a81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117a28260085461195d90919063ffffffff16565b6008819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050505b92915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b60008282111561196c57600080fd5b600082840390508091505092915050565b60008082840190508381101561199257600080fd5b8091505092915050565b6000806119a9848461197d565b905060006119b882600161195d565b90506119cd6119c78286611a11565b856119d7565b9250505092915050565b6000808314156119ea5760009050611a0b565b60008284029050828482816119fb57fe5b0414611a0657600080fd5b809150505b92915050565b6000808211611a1f57600080fd5b6000828481611a2a57fe5b049050809150509291505056fea26469706673582212204a451db667b30024c877e6e7d72d30394455ef6c51ea5213da6ac111cadf973d64736f6c63430007000033

2252:4562:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1994:76;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4875:238;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3223:96;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5120:1051;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2164:76;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;6181:305;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3590:139;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3326:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2077:80;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2803:36;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6493:315;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3951:917;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3444:136;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1994:76;2030:13;2059:5;2052:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1994:76;:::o;4875:238::-;4951:4;4991:1;4972:21;;:7;:21;;;;4964:30;;;;;;5033:5;5001:8;:20;5010:10;5001:20;;;;;;;;;;;;;;;:29;5022:7;5001:29;;;;;;;;;;;;;;;:37;;;;5074:7;5053:36;;5062:10;5053:36;;;5083:5;5053:36;;;;;;;;;;;;;;;;;;5103:4;5096:11;;4875:238;;;;:::o;3223:96::-;3278:7;3301:12;;3294:19;;3223:96;:::o;5120:1051::-;5210:4;5240:9;:15;5250:4;5240:15;;;;;;;;;;;;;;;;5231:5;:24;;5223:33;;;;;;5280:8;:14;5289:4;5280:14;;;;;;;;;;;;;;;:26;5295:10;5280:26;;;;;;;;;;;;;;;;5271:5;:35;;5263:44;;;;;;5336:1;5322:16;;:2;:16;;;;5314:25;;;;;;5350:21;5366:4;5350:15;:21::i;:::-;5346:820;;;5400:26;5420:5;5400:9;:15;5410:4;5400:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;5382:9;:15;5392:4;5382:15;;;;;;;;;;;;;;;:44;;;;5451:24;5469:5;5451:9;:13;5461:2;5451:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;5435:9;:13;5445:2;5435:13;;;;;;;;;;;;;;;:40;;;;5507:2;5492:25;;5501:4;5492:25;;;5511:5;5492:25;;;;;;;;;;;;;;;;;;5533:4;5526:11;;;;5346:820;5578:6;;5569:5;:15;;:38;;;;5588:19;5604:2;5588:15;:19::i;:::-;5569:38;5560:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5678:26;5698:5;5678:9;:15;5688:4;5678:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;5660:9;:15;5670:4;5660:15;;;;;;;;;;;;;;;:44;;;;5716:20;5743:30;5758:7;;5767:5;5743:14;:30::i;:::-;5716:57;;5782:24;5809:23;5819:12;5809:5;:9;;:23;;;;:::i;:::-;5782:50;;5860:35;5878:16;5860:9;:13;5870:2;5860:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;5844:9;:13;5854:2;5844:13;;;;;;;;;;;;;;;:51;;;;5920:30;5937:12;5920;;:16;;:30;;;;:::i;:::-;5904:12;:46;;;;5991:37;6022:5;5991:8;:14;6000:4;5991:14;;;;;;;;;;;;;;;:26;6006:10;5991:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;5962:8;:14;5971:4;5962:14;;;;;;;;;;;;;;;:26;5977:10;5962:26;;;;;;;;;;;;;;;:66;;;;6060:2;6045:36;;6054:4;6045:36;;;6064:16;6045:36;;;;;;;;;;;;;;;;;;6118:1;6095:40;;6104:4;6095:40;;;6122:12;6095:40;;;;;;;;;;;;;;;;;;6154:4;6147:11;;;;5120:1051;;;;;;:::o;2164:76::-;2204:5;2225:9;;;;;;;;;;;2218:16;;2164:76;:::o;6181:305::-;6261:4;6301:1;6282:21;;:7;:21;;;;6274:30;;;;;;6344:45;6378:10;6344:8;:20;6353:10;6344:20;;;;;;;;;;;;;;;:29;6365:7;6344:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;6311:8;:20;6320:10;6311:20;;;;;;;;;;;;;;;:29;6332:7;6311:29;;;;;;;;;;;;;;;:79;;;;6423:7;6402:60;;6411:10;6402:60;;;6432:8;:20;6441:10;6432:20;;;;;;;;;;;;;;;:29;6453:7;6432:29;;;;;;;;;;;;;;;;6402:60;;;;;;;;;;;;;;;;;;6476:4;6469:11;;6181:305;;;;:::o;3590:139::-;3664:7;3689:34;3719:3;3689:25;3709:4;3689:15;3700:3;3689:5;:10;;:15;;;;:::i;:::-;:19;;:25;;;;:::i;:::-;:29;;:34;;;;:::i;:::-;3682:41;;3590:139;;;;:::o;3326:111::-;3392:7;3415:9;:16;3425:5;3415:16;;;;;;;;;;;;;;;;3408:23;;3326:111;;;:::o;2077:80::-;2115:13;2144:7;2137:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2077:80;:::o;2803:36::-;;;;:::o;6493:315::-;6578:4;6618:1;6599:21;;:7;:21;;;;6591:30;;;;;;6661:50;6695:15;6661:8;:20;6670:10;6661:20;;;;;;;;;;;;;;;:29;6682:7;6661:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;6628:8;:20;6637:10;6628:20;;;;;;;;;;;;;;;:29;6649:7;6628:29;;;;;;;;;;;;;;;:84;;;;6745:7;6724:60;;6733:10;6724:60;;;6754:8;:20;6763:10;6754:20;;;;;;;;;;;;;;;:29;6775:7;6754:29;;;;;;;;;;;;;;;;6724:60;;;;;;;;;;;;;;;;;;6798:4;6791:11;;6493:315;;;;:::o;3951:917::-;4023:4;4053:9;:21;4063:10;4053:21;;;;;;;;;;;;;;;;4044:5;:30;;4036:39;;;;;;4104:1;4090:16;;:2;:16;;;;4082:25;;;;;;4118:27;4134:10;4118:15;:27::i;:::-;4114:751;;;4178:32;4204:5;4178:9;:21;4188:10;4178:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;4154:9;:21;4164:10;4154:21;;;;;;;;;;;;;;;:56;;;;4233:24;4251:5;4233:9;:13;4243:2;4233:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;4217:9;:13;4227:2;4217:13;;;;;;;;;;;;;;;:40;;;;4293:2;4272:31;;4281:10;4272:31;;;4297:5;4272:31;;;;;;;;;;;;;;;;;;4317:4;4310:11;;;;4114:751;4358:6;;4349:5;:15;;:38;;;;4368:19;4384:2;4368:15;:19::i;:::-;4349:38;4340:86;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4433:20;4460:30;4475:7;;4484:5;4460:14;:30::i;:::-;4433:57;;4497:24;4524:23;4534:12;4524:5;:9;;:23;;;;:::i;:::-;4497:50;;4581:32;4607:5;4581:9;:21;4591:10;4581:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;4557:9;:21;4567:10;4557:21;;;;;;;;;;;;;;;:56;;;;4636:35;4654:16;4636:9;:13;4646:2;4636:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;4620:9;:13;4630:2;4620:13;;;;;;;;;;;;;;;:51;;;;4696:30;4713:12;4696;;:16;;:30;;;;:::i;:::-;4681:12;:45;;;;4762:2;4741:42;;4750:10;4741:42;;;4766:16;4741:42;;;;;;;;;;;;;;;;;;4824:1;4795:46;;4804:10;4795:46;;;4828:12;4795:46;;;;;;;;;;;;;;;;;;4855:4;4848:11;;;;3951:917;;;;;:::o;3444:136::-;3527:7;3550:8;:15;3559:5;3550:15;;;;;;;;;;;;;;;:24;3566:7;3550:24;;;;;;;;;;;;;;;;3543:31;;3444:136;;;;:::o;3839:102::-;3900:4;3920:10;:15;3931:3;3920:15;;;;;;;;;;;;;;;;;;;;;;;;;3913:22;;3839:102;;;:::o;986:151::-;1044:7;1077:1;1072;:6;;1064:15;;;;;;1090:9;1106:1;1102;:5;1090:17;;1128:1;1121:8;;;986:151;;;;:::o;826:::-;884:7;904:9;920:1;916;:5;904:17;;945:1;940;:6;;932:15;;;;;;968:1;961:8;;;826:151;;;;:::o;1523:171::-;1582:7;1602:9;1614:8;1618:1;1620;1614:3;:8::i;:::-;1602:20;;1633:9;1645:8;1649:1;1651;1645:3;:8::i;:::-;1633:20;;1671:15;1675:8;1679:1;1681;1675:3;:8::i;:::-;1684:1;1671:3;:15::i;:::-;1664:22;;;;1523:171;;;;:::o;1146:209::-;1204:7;1233:1;1228;:6;1224:47;;;1258:1;1251:8;;;;1224:47;1281:9;1297:1;1293;:5;1281:17;;1326:1;1321;1317;:5;;;;;;:10;1309:19;;;;;;1346:1;1339:8;;;1146:209;;;;;:::o;1367:147::-;1425:7;1457:1;1453;:5;1445:14;;;;;;1470:9;1486:1;1482;:5;;;;;;1470:17;;1505:1;1498:8;;;1367:147;;;;:::o

ipfs://4a451db667b30024c877e6e7d72d30394455ef6c51ea5213da6ac111cadf973d