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, ...
• 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 mod(uint256 a, uint256 b)
•  contract ERC20 is 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 _mint(address account, uint2 ...
•    - function _burn(address owner, uint256 ...
•    - function _approve(address owner, addr ...
•    - function _burnFrom(address owner, uin ...
•  contract HNBProtocol is ERC20 *
•    - function transferOwnership(address _n ...
•    - function _transferOwnership(address _ ...
•    - function transfer(
•    - function transferFrom(
•    - function burn(uint256 _value)
•    - function balanceOf(address _holder)
•    - function releaseLock(address _holder)
•    - function lockCount(address _holder)
•    - function lockState(address _holder, u ...
•    - function lock(address _holder, uint25 ...
•    - function unlock(address _holder, uint ...
•    - function transferWithLock(address _to ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// ----------------------------------------------------------------------------
// HNB Protocol Contract
// Name        : HNB Protocol
// Symbol      : HNB
// Decimals    : 18
// InitialSupply : 1,500,000,000 HNB
// ----------------------------------------------------------------------------

pragma solidity 0.5.8;

interface IERC20 {

    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(address recipient, uint256 amount) external returns (bool);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(address sender, address recipient, uint256 amount) 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, "SafeMath: addition overflow");

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        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, "SafeMath: multiplication overflow");

        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;

        return c;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) internal _balances;

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

    uint256 private _totalSupply;

    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    function _transfer(address sender, address recipient, uint256 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);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    function _burn(address owner, uint256 value) internal {
        require(owner != address(0), "ERC20: burn from the zero address");

        _totalSupply = _totalSupply.sub(value);
        _balances[owner] = _balances[owner].sub(value);
        emit Transfer(owner, address(0), value);
    }

    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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

    function _burnFrom(address owner, uint256 amount) internal {
        _burn(owner, amount);
        _approve(owner, msg.sender, _allowances[owner][msg.sender].sub(amount));
    }
}

contract HNBProtocol is ERC20 {
    string public constant name = "HNB Protocol";
    string public constant symbol = "HNB"; 
    uint8 public constant decimals = 18; 
    uint256 public constant initialSupply = 1500000000 * (10 ** uint256(decimals));
    
    constructor() public {
        super._mint(msg.sender, initialSupply);
        owner = msg.sender;
    }

    address public owner;

    event OwnershipRenounced(address indexed previousOwner);
    event OwnershipTransferred(
    address indexed previousOwner,
    address indexed newOwner
    );

    modifier onlyOwner() {
        require(msg.sender == owner, "Not owner");
        _;
    }

    function transferOwnership(address _newOwner) public onlyOwner {
        _transferOwnership(_newOwner);
    }

    function _transferOwnership(address _newOwner) internal {
        require(_newOwner != address(0), "Already Owner");
        emit OwnershipTransferred(owner, _newOwner);
        owner = _newOwner;
    }

    function transfer(
        address _to,
        uint256 _value
    )
      public

      returns (bool)
    {
        releaseLock(msg.sender);
        return super.transfer(_to, _value);
    }

    function transferFrom(
        address _from,
        address _to,
        uint256 _value
    )
      public

      returns (bool)
    {
        releaseLock(_from);
        return super.transferFrom(_from, _to, _value);
    }

    event Burn(address indexed burner, uint256 value);

    function burn(uint256 _value) public onlyOwner {
        require(_value <= super.balanceOf(owner), "Balance is too small.");

        _burn(owner, _value);
        emit Burn(owner, _value);
    }

    struct LockInfo {
        uint256 releaseTime;
        uint256 balance;
    }
    mapping(address => LockInfo[]) internal lockInfo;

    event Lock(address indexed holder, uint256 value, uint256 releaseTime);
    event Unlock(address indexed holder, uint256 value);

    function balanceOf(address _holder) public view returns (uint256 balance) {
        uint256 lockedBalance = 0;
        for(uint256 i = 0; i < lockInfo[_holder].length ; i++ ) {
            lockedBalance = lockedBalance.add(lockInfo[_holder][i].balance);
        }
        return super.balanceOf(_holder).add(lockedBalance);
    }

    function releaseLock(address _holder) internal {

        for(uint256 i = 0; i < lockInfo[_holder].length ; i++ ) {
            if (lockInfo[_holder][i].releaseTime <= now) {
                _balances[_holder] = _balances[_holder].add(lockInfo[_holder][i].balance);
                emit Unlock(_holder, lockInfo[_holder][i].balance);
                lockInfo[_holder][i].balance = 0;

                if (i != lockInfo[_holder].length - 1) {
                    lockInfo[_holder][i] = lockInfo[_holder][lockInfo[_holder].length - 1];
                    i--;
                }
                lockInfo[_holder].length--;

            }
        }
    }
    function lockCount(address _holder) public view returns (uint256) {
        return lockInfo[_holder].length;
    }
    function lockState(address _holder, uint256 _idx) public view returns (uint256, uint256) {
        return (lockInfo[_holder][_idx].releaseTime, lockInfo[_holder][_idx].balance);
    }

    function lock(address _holder, uint256 _amount, uint256 _releaseTime) public onlyOwner {
        require(super.balanceOf(_holder) >= _amount, "Balance is too small.");
        require(block.timestamp <= _releaseTime, "TokenTimelock: release time is before current time");
        
        _balances[_holder] = _balances[_holder].sub(_amount);
        lockInfo[_holder].push(
            LockInfo(_releaseTime, _amount)
        );
        emit Lock(_holder, _amount, _releaseTime);
    }

    function unlock(address _holder, uint256 i) public onlyOwner {
        require(i < lockInfo[_holder].length, "No lock information.");

        _balances[_holder] = _balances[_holder].add(lockInfo[_holder][i].balance);
        emit Unlock(_holder, lockInfo[_holder][i].balance);
        lockInfo[_holder][i].balance = 0;

        if (i != lockInfo[_holder].length - 1) {
            lockInfo[_holder][i] = lockInfo[_holder][lockInfo[_holder].length - 1];
        }
        lockInfo[_holder].length--;
    }

    function transferWithLock(address _to, uint256 _value, uint256 _releaseTime) public onlyOwner returns (bool) {
        require(_to != address(0), "wrong address");
        require(_value <= super.balanceOf(owner), "Not enough balance");
        require(block.timestamp <= _releaseTime, "TokenTimelock: release time is before current time");

        _balances[owner] = _balances[owner].sub(_value);
        lockInfo[_to].push(
            LockInfo(_releaseTime, _value)
        );
        emit Transfer(owner, _to, _value);
        emit Lock(_to, _value, _releaseTime);

        return true;
    }
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"initialSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_holder","type":"address"},{"name":"_idx","type":"uint256"}],"name":"lockState","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_holder","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_holder","type":"address"},{"name":"i","type":"uint256"}],"name":"unlock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"},{"name":"_releaseTime","type":"uint256"}],"name":"transferWithLock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_holder","type":"address"}],"name":"lockCount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_holder","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_releaseTime","type":"uint256"}],"name":"lock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"},{"indexed":false,"name":"releaseTime","type":"uint256"}],"name":"Lock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Unlock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040523480156200001157600080fd5b5062000036336b04d8c55aefb8c05b5c0000006200004e602090811b620016ce17901c565b600380546001600160a01b03191633179055620001e5565b6001600160a01b038216620000c457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b620000e0816002546200016960201b620012e71790919060201c565b6002556001600160a01b0382166000908152602081815260409091205462000113918390620012e762000169821b17901c565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600082820183811015620001de57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6118dc80620001f56000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c80637eee288d116100ad578063dd62ed3e11610071578063dd62ed3e146103ca578063de6baccb146103f8578063df0345861461042a578063e2ab691d14610450578063f2fde38b146104825761012c565b80637eee288d1461031a5780638da5cb5b1461034657806395d89b411461036a578063a457c2d714610372578063a9059cbb1461039e5761012c565b8063378dc3dc116100f4578063378dc3dc1461025c578063395093511461026457806342966c681461029057806346cf1bb5146102af57806370a08231146102f45761012c565b806306fdde0314610131578063095ea7b3146101ae57806318160ddd146101ee57806323b872dd14610208578063313ce5671461023e575b600080fd5b6101396104a8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017357818101518382015260200161015b565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101da600480360360408110156101c457600080fd5b506001600160a01b0381351690602001356104e1565b604080519115158252519081900360200190f35b6101f66104f7565b60408051918252519081900360200190f35b6101da6004803603606081101561021e57600080fd5b506001600160a01b038135811691602081013590911690604001356104fe565b61024661051c565b6040805160ff9092168252519081900360200190f35b6101f6610521565b6101da6004803603604081101561027a57600080fd5b506001600160a01b038135169060200135610531565b6102ad600480360360208110156102a657600080fd5b5035610572565b005b6102db600480360360408110156102c557600080fd5b506001600160a01b03813516906020013561068a565b6040805192835260208301919091528051918290030190f35b6101f66004803603602081101561030a57600080fd5b50356001600160a01b0316610703565b6102ad6004803603604081101561033057600080fd5b506001600160a01b03813516906020013561079d565b61034e610a4b565b604080516001600160a01b039092168252519081900360200190f35b610139610a5a565b6101da6004803603604081101561038857600080fd5b506001600160a01b038135169060200135610a7c565b6101da600480360360408110156103b457600080fd5b506001600160a01b038135169060200135610ab8565b6101f6600480360360408110156103e057600080fd5b506001600160a01b0381358116916020013516610acd565b6101da6004803603606081101561040e57600080fd5b506001600160a01b038135169060208101359060400135610af8565b6101f66004803603602081101561044057600080fd5b50356001600160a01b0316610d57565b6102ad6004803603606081101561046657600080fd5b506001600160a01b038135169060208101359060400135610d72565b6102ad6004803603602081101561049857600080fd5b50356001600160a01b0316610f23565b6040518060400160405280600c81526020017f484e422050726f746f636f6c000000000000000000000000000000000000000081525081565b60006104ee338484610f80565b50600192915050565b6002545b90565b600061050984611072565b610514848484611295565b949350505050565b601281565b6b04d8c55aefb8c05b5c00000081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104ee91859061056d908663ffffffff6112e716565b610f80565b6003546001600160a01b031633146105c35760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6003546105d8906001600160a01b0316611344565b81111561062f5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b600354610645906001600160a01b03168261135f565b6003546040805183815290516001600160a01b03909216917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59181900360200190a250565b6001600160a01b03821660009081526004602052604081208054829190849081106106b157fe5b600091825260208083206002909202909101546001600160a01b0387168352600490915260409091208054859081106106e657fe5b906000526020600020906002020160010154915091509250929050565b600080805b6001600160a01b03841660009081526004602052604090205481101561077c576001600160a01b0384166000908152600460205260409020805461077291908390811061075157fe5b906000526020600020906002020160010154836112e790919063ffffffff16565b9150600101610708565b506107968161078a85611344565b9063ffffffff6112e716565b9392505050565b6003546001600160a01b031633146107ee5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902054811061085d5760408051600160e51b62461bcd02815260206004820152601460248201527f4e6f206c6f636b20696e666f726d6174696f6e2e000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902080546108bf91908390811061088657fe5b60009182526020808320600160029093020191909101546001600160a01b0386168352908290526040909120549063ffffffff6112e716565b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061091357fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061095e57fe5b60009182526020808320600160029093020191909101929092556001600160a01b038416815260049091526040902054600019018114610a1d576001600160a01b0382166000908152600460205260409020805460001981019081106109c057fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b0316815260200190815260200160002082815481106109fe57fe5b6000918252602090912082546002909202019081556001918201549101555b6001600160a01b0382166000908152600460205260409020805490610a46906000198301611686565b505050565b6003546001600160a01b031681565b604051806040016040528060038152602001600160e91b622427210281525081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104ee91859061056d908663ffffffff61142916565b6000610ac333611072565b6107968383611489565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6003546000906001600160a01b03163314610b4c5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038416610baa5760408051600160e51b62461bcd02815260206004820152600d60248201527f77726f6e67206164647265737300000000000000000000000000000000000000604482015290519081900360640190fd5b600354610bbf906001600160a01b0316611344565b831115610c165760408051600160e51b62461bcd02815260206004820152601260248201527f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000604482015290519081900360640190fd5b81421115610c5857604051600160e51b62461bcd02815260040180806020018281038252603281526020018061187f6032913960400191505060405180910390fd5b6003546001600160a01b0316600090815260208190526040902054610c83908463ffffffff61142916565b600380546001600160a01b039081166000908152602081815260408083209590955588831680835260048252858320865180880188528981528084018b815282546001818101855593875295859020915160029096029091019485555193019290925592548451888152945191949216926000805160206117f5833981519152928290030190a3604080518481526020810184905281516001600160a01b038716927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b928290030190a25060019392505050565b6001600160a01b031660009081526004602052604090205490565b6003546001600160a01b03163314610dc35760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b81610dcd84611344565b1015610e235760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b80421115610e6557604051600160e51b62461bcd02815260040180806020018281038252603281526020018061187f6032913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610e8e908363ffffffff61142916565b6001600160a01b0384166000818152602081815260408083209490945560048152838220845180860186528681528083018881528254600181810185559386529484902091516002909502909101938455519201919091558251858152908101849052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a2505050565b6003546001600160a01b03163314610f745760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b610f7d81611496565b50565b6001600160a01b038316610fc857604051600160e51b62461bcd02815260040180806020018281038252602481526020018061185b6024913960400191505060405180910390fd5b6001600160a01b03821661101057604051600160e51b62461bcd0281526004018080602001828103825260228152602001806117d36022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60005b6001600160a01b038216600090815260046020526040902054811015611291576001600160a01b03821660009081526004602052604090208054429190839081106110bc57fe5b90600052602060002090600202016000015411611289576001600160a01b038216600090815260046020526040902080546110fc91908390811061088657fe5b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061115057fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061119b57fe5b60009182526020808320600160029093020191909101929092556001600160a01b03841681526004909152604090205460001901811461125e576001600160a01b0382166000908152600460205260409020805460001981019081106111fd57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b03168152602001908152602001600020828154811061123b57fe5b600091825260209091208254600290920201908155600191820154910155600019015b6001600160a01b0382166000908152600460205260409020805490611287906000198301611686565b505b600101611075565b5050565b60006112a2848484611550565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546112dd91869161056d908663ffffffff61142916565b5060019392505050565b6000828201838110156107965760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b031660009081526020819052604090205490565b6001600160a01b0382166113a757604051600160e51b62461bcd0281526004018080602001828103825260218152602001806118156021913960400191505060405180910390fd5b6002546113ba908263ffffffff61142916565b6002556001600160a01b0382166000908152602081905260409020546113e6908263ffffffff61142916565b6001600160a01b038316600081815260208181526040808320949094558351858152935191936000805160206117f5833981519152929081900390910190a35050565b6000828211156114835760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b60006104ee338484611550565b6001600160a01b0381166114f45760408051600160e51b62461bcd02815260206004820152600d60248201527f416c7265616479204f776e657200000000000000000000000000000000000000604482015290519081900360640190fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661159857604051600160e51b62461bcd0281526004018080602001828103825260258152602001806118366025913960400191505060405180910390fd5b6001600160a01b0382166115e057604051600160e51b62461bcd0281526004018080602001828103825260238152602001806117b06023913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054611609908263ffffffff61142916565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461163e908263ffffffff6112e716565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716926000805160206117f583398151915292918290030190a3505050565b815481835581811115610a4657600083815260209020610a46916104fb9160029182028101918502015b808211156116ca57600080825560018201556002016116b0565b5090565b6001600160a01b03821661172c5760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025461173f908263ffffffff6112e716565b6002556001600160a01b03821660009081526020819052604090205461176b908263ffffffff6112e716565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391926000805160206117f58339815191529281900390910190a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373546f6b656e54696d656c6f636b3a2072656c656173652074696d65206973206265666f72652063757272656e742074696d65a165627a7a723058204b0abbebdae4b1b90090c7f409709ccdb3b33e37e3ef596540ca2cd62a3672d80029

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c80637eee288d116100ad578063dd62ed3e11610071578063dd62ed3e146103ca578063de6baccb146103f8578063df0345861461042a578063e2ab691d14610450578063f2fde38b146104825761012c565b80637eee288d1461031a5780638da5cb5b1461034657806395d89b411461036a578063a457c2d714610372578063a9059cbb1461039e5761012c565b8063378dc3dc116100f4578063378dc3dc1461025c578063395093511461026457806342966c681461029057806346cf1bb5146102af57806370a08231146102f45761012c565b806306fdde0314610131578063095ea7b3146101ae57806318160ddd146101ee57806323b872dd14610208578063313ce5671461023e575b600080fd5b6101396104a8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017357818101518382015260200161015b565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101da600480360360408110156101c457600080fd5b506001600160a01b0381351690602001356104e1565b604080519115158252519081900360200190f35b6101f66104f7565b60408051918252519081900360200190f35b6101da6004803603606081101561021e57600080fd5b506001600160a01b038135811691602081013590911690604001356104fe565b61024661051c565b6040805160ff9092168252519081900360200190f35b6101f6610521565b6101da6004803603604081101561027a57600080fd5b506001600160a01b038135169060200135610531565b6102ad600480360360208110156102a657600080fd5b5035610572565b005b6102db600480360360408110156102c557600080fd5b506001600160a01b03813516906020013561068a565b6040805192835260208301919091528051918290030190f35b6101f66004803603602081101561030a57600080fd5b50356001600160a01b0316610703565b6102ad6004803603604081101561033057600080fd5b506001600160a01b03813516906020013561079d565b61034e610a4b565b604080516001600160a01b039092168252519081900360200190f35b610139610a5a565b6101da6004803603604081101561038857600080fd5b506001600160a01b038135169060200135610a7c565b6101da600480360360408110156103b457600080fd5b506001600160a01b038135169060200135610ab8565b6101f6600480360360408110156103e057600080fd5b506001600160a01b0381358116916020013516610acd565b6101da6004803603606081101561040e57600080fd5b506001600160a01b038135169060208101359060400135610af8565b6101f66004803603602081101561044057600080fd5b50356001600160a01b0316610d57565b6102ad6004803603606081101561046657600080fd5b506001600160a01b038135169060208101359060400135610d72565b6102ad6004803603602081101561049857600080fd5b50356001600160a01b0316610f23565b6040518060400160405280600c81526020017f484e422050726f746f636f6c000000000000000000000000000000000000000081525081565b60006104ee338484610f80565b50600192915050565b6002545b90565b600061050984611072565b610514848484611295565b949350505050565b601281565b6b04d8c55aefb8c05b5c00000081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104ee91859061056d908663ffffffff6112e716565b610f80565b6003546001600160a01b031633146105c35760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6003546105d8906001600160a01b0316611344565b81111561062f5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b600354610645906001600160a01b03168261135f565b6003546040805183815290516001600160a01b03909216917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59181900360200190a250565b6001600160a01b03821660009081526004602052604081208054829190849081106106b157fe5b600091825260208083206002909202909101546001600160a01b0387168352600490915260409091208054859081106106e657fe5b906000526020600020906002020160010154915091509250929050565b600080805b6001600160a01b03841660009081526004602052604090205481101561077c576001600160a01b0384166000908152600460205260409020805461077291908390811061075157fe5b906000526020600020906002020160010154836112e790919063ffffffff16565b9150600101610708565b506107968161078a85611344565b9063ffffffff6112e716565b9392505050565b6003546001600160a01b031633146107ee5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902054811061085d5760408051600160e51b62461bcd02815260206004820152601460248201527f4e6f206c6f636b20696e666f726d6174696f6e2e000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902080546108bf91908390811061088657fe5b60009182526020808320600160029093020191909101546001600160a01b0386168352908290526040909120549063ffffffff6112e716565b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061091357fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061095e57fe5b60009182526020808320600160029093020191909101929092556001600160a01b038416815260049091526040902054600019018114610a1d576001600160a01b0382166000908152600460205260409020805460001981019081106109c057fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b0316815260200190815260200160002082815481106109fe57fe5b6000918252602090912082546002909202019081556001918201549101555b6001600160a01b0382166000908152600460205260409020805490610a46906000198301611686565b505050565b6003546001600160a01b031681565b604051806040016040528060038152602001600160e91b622427210281525081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104ee91859061056d908663ffffffff61142916565b6000610ac333611072565b6107968383611489565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6003546000906001600160a01b03163314610b4c5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038416610baa5760408051600160e51b62461bcd02815260206004820152600d60248201527f77726f6e67206164647265737300000000000000000000000000000000000000604482015290519081900360640190fd5b600354610bbf906001600160a01b0316611344565b831115610c165760408051600160e51b62461bcd02815260206004820152601260248201527f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000604482015290519081900360640190fd5b81421115610c5857604051600160e51b62461bcd02815260040180806020018281038252603281526020018061187f6032913960400191505060405180910390fd5b6003546001600160a01b0316600090815260208190526040902054610c83908463ffffffff61142916565b600380546001600160a01b039081166000908152602081815260408083209590955588831680835260048252858320865180880188528981528084018b815282546001818101855593875295859020915160029096029091019485555193019290925592548451888152945191949216926000805160206117f5833981519152928290030190a3604080518481526020810184905281516001600160a01b038716927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b928290030190a25060019392505050565b6001600160a01b031660009081526004602052604090205490565b6003546001600160a01b03163314610dc35760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b81610dcd84611344565b1015610e235760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b80421115610e6557604051600160e51b62461bcd02815260040180806020018281038252603281526020018061187f6032913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610e8e908363ffffffff61142916565b6001600160a01b0384166000818152602081815260408083209490945560048152838220845180860186528681528083018881528254600181810185559386529484902091516002909502909101938455519201919091558251858152908101849052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a2505050565b6003546001600160a01b03163314610f745760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b610f7d81611496565b50565b6001600160a01b038316610fc857604051600160e51b62461bcd02815260040180806020018281038252602481526020018061185b6024913960400191505060405180910390fd5b6001600160a01b03821661101057604051600160e51b62461bcd0281526004018080602001828103825260228152602001806117d36022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60005b6001600160a01b038216600090815260046020526040902054811015611291576001600160a01b03821660009081526004602052604090208054429190839081106110bc57fe5b90600052602060002090600202016000015411611289576001600160a01b038216600090815260046020526040902080546110fc91908390811061088657fe5b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061115057fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061119b57fe5b60009182526020808320600160029093020191909101929092556001600160a01b03841681526004909152604090205460001901811461125e576001600160a01b0382166000908152600460205260409020805460001981019081106111fd57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b03168152602001908152602001600020828154811061123b57fe5b600091825260209091208254600290920201908155600191820154910155600019015b6001600160a01b0382166000908152600460205260409020805490611287906000198301611686565b505b600101611075565b5050565b60006112a2848484611550565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546112dd91869161056d908663ffffffff61142916565b5060019392505050565b6000828201838110156107965760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b031660009081526020819052604090205490565b6001600160a01b0382166113a757604051600160e51b62461bcd0281526004018080602001828103825260218152602001806118156021913960400191505060405180910390fd5b6002546113ba908263ffffffff61142916565b6002556001600160a01b0382166000908152602081905260409020546113e6908263ffffffff61142916565b6001600160a01b038316600081815260208181526040808320949094558351858152935191936000805160206117f5833981519152929081900390910190a35050565b6000828211156114835760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b60006104ee338484611550565b6001600160a01b0381166114f45760408051600160e51b62461bcd02815260206004820152600d60248201527f416c7265616479204f776e657200000000000000000000000000000000000000604482015290519081900360640190fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661159857604051600160e51b62461bcd0281526004018080602001828103825260258152602001806118366025913960400191505060405180910390fd5b6001600160a01b0382166115e057604051600160e51b62461bcd0281526004018080602001828103825260238152602001806117b06023913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054611609908263ffffffff61142916565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461163e908263ffffffff6112e716565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716926000805160206117f583398151915292918290030190a3505050565b815481835581811115610a4657600083815260209020610a46916104fb9160029182028101918502015b808211156116ca57600080825560018201556002016116b0565b5090565b6001600160a01b03821661172c5760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025461173f908263ffffffff6112e716565b6002556001600160a01b03821660009081526020819052604090205461176b908263ffffffff6112e716565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391926000805160206117f58339815191529281900390910190a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373546f6b656e54696d656c6f636b3a2072656c656173652074696d65206973206265666f72652063757272656e742074696d65a165627a7a723058204b0abbebdae4b1b90090c7f409709ccdb3b33e37e3ef596540ca2cd62a3672d80029

5240:4993:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5240:4993:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5277:44;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;5277:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2795:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2795:148:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;2272:91;;;:::i;:::-;;;;;;;;;;;;;;;;6466:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6466:236:0;;;;;;;;;;;;;;;;;:::i;5373:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5416:78;;;:::i;3215:206::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3215:206:0;;;;;;;;:::i;6768:200::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6768:200:0;;:::i;:::-;;8394:185;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8394:185:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7256:335;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7256:335:0;-1:-1:-1;;;;;7256:335:0;;:::i;9090:516::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9090:516:0;;;;;;;;:::i;5622:20::-;;;:::i;:::-;;;;-1:-1:-1;;;;;5622:20:0;;;;;;;;;;;;;;5328:37;;;:::i;3429:216::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3429:216:0;;;;;;;;:::i;6256:202::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6256:202:0;;;;;;;;:::i;2653:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2653:134:0;;;;;;;;;;:::i;9614:610::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9614:610:0;;;;;;;;;;;;;:::i;8272:116::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8272:116:0;-1:-1:-1;;;;;8272:116:0;;:::i;8587:495::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8587:495:0;;;;;;;;;;;;;:::i;5923:111::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5923:111:0;-1:-1:-1;;;;;5923:111:0;;:::i;5277:44::-;;;;;;;;;;;;;;;;;;;:::o;2795:148::-;2860:4;2877:36;2886:10;2898:7;2907:5;2877:8;:36::i;:::-;-1:-1:-1;2931:4:0;2795:148;;;;:::o;2272:91::-;2343:12;;2272:91;;:::o;6466:236::-;6598:4;6620:18;6632:5;6620:11;:18::i;:::-;6656:38;6675:5;6682:3;6687:6;6656:18;:38::i;:::-;6649:45;6466:236;-1:-1:-1;;;;6466:236:0:o;5373:35::-;5406:2;5373:35;:::o;5416:78::-;5456:38;5416:78;:::o;3215:206::-;3321:10;3295:4;3342:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3342:32:0;;;;;;;;;;3295:4;;3312:79;;3333:7;;3342:48;;3379:10;3342:48;:36;:48;:::i;:::-;3312:8;:79::i;6768:200::-;5876:5;;-1:-1:-1;;;;;5876:5:0;5862:10;:19;5854:41;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;;;;6860:5;;6844:22;;-1:-1:-1;;;;;6860:5:0;6844:15;:22::i;:::-;6834:6;:32;;6826:66;;;;;-1:-1:-1;;;;;6826:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6911:5;;6905:20;;-1:-1:-1;;;;;6911:5:0;6918:6;6905:5;:20::i;:::-;6946:5;;6941:19;;;;;;;;-1:-1:-1;;;;;6946:5:0;;;;6941:19;;;;;;;;;6768:200;:::o;8394:185::-;-1:-1:-1;;;;;8502:17:0;;8465:7;8502:17;;;:8;:17;;;;;:23;;8465:7;;8502:17;8520:4;;8502:23;;;;;;;;;;;;;;;;;;;;;:35;-1:-1:-1;;;;;8539:17:0;;;;:8;:17;;;;;;;:23;;8557:4;;8539:23;;;;;;;;;;;;;;;;:31;;;8494:77;;;;8394:185;;;;;:::o;7256:335::-;7313:15;;;7377:146;-1:-1:-1;;;;;7400:17:0;;;;;;:8;:17;;;;;:24;7396:28;;7377:146;;;-1:-1:-1;;;;;7482:17:0;;;;;;:8;:17;;;;;:20;;7464:47;;7482:17;7500:1;;7482:20;;;;;;;;;;;;;;;;:28;;;7464:13;:17;;:47;;;;:::i;:::-;7448:63;-1:-1:-1;7427:3:0;;7377:146;;;;7540:43;7569:13;7540:24;7556:7;7540:15;:24::i;:::-;:28;:43;:28;:43;:::i;:::-;7533:50;7256:335;-1:-1:-1;;;7256:335:0:o;9090:516::-;5876:5;;-1:-1:-1;;;;;5876:5:0;5862:10;:19;5854:41;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;9174:17:0;;;;;;:8;:17;;;;;:24;9170:28;;9162:61;;;;;-1:-1:-1;;;;;9162:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9280:17:0;;;;;;:8;:17;;;;;:20;;9257:52;;9280:17;9298:1;;9280:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;;-1:-1:-1;;;;;9257:18:0;;;;;;;;;;;;;;:52;:22;:52;:::i;:::-;-1:-1:-1;;;;;9236:18:0;;:9;:18;;;;;;;;;;;:73;;;;9341:8;:17;;;;;;:20;;9325:45;;9341:17;9359:1;;9341:20;;;;;;;;;;;;;;;;:28;;;9325:45;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9381:17:0;;9412:1;9381:17;;;:8;:17;;;;;:20;;9399:1;;9381:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;:32;;;;-1:-1:-1;;;;;9435:17:0;;;;:8;:17;;;;;;:24;-1:-1:-1;;9435:28:0;9430:33;;9426:136;;-1:-1:-1;;;;;9503:17:0;;;;;;:8;:17;;;;;9521:24;;-1:-1:-1;;9521:28:0;;;9503:47;;;;;;;;;;;;;;;;9480:8;:17;9489:7;-1:-1:-1;;;;;9480:17:0;-1:-1:-1;;;;;9480:17:0;;;;;;;;;;;;9498:1;9480:20;;;;;;;;;;;;;;;;:70;;:20;;;;;:70;;;;;;;;;;;9426:136;-1:-1:-1;;;;;9572:17:0;;;;;;:8;:17;;;;;:26;;;;;-1:-1:-1;;9572:26:0;;;:::i;:::-;;9090:516;;:::o;5622:20::-;;;-1:-1:-1;;;;;5622:20:0;;:::o;5328:37::-;;;;;;;;;;;;;;-1:-1:-1;;;;;5328:37:0;;;;:::o;3429:216::-;3540:10;3514:4;3561:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3561:32:0;;;;;;;;;;3514:4;;3531:84;;3552:7;;3561:53;;3598:15;3561:53;:36;:53;:::i;6256:202::-;6360:4;6382:23;6394:10;6382:11;:23::i;:::-;6423:27;6438:3;6443:6;6423:14;:27::i;2653:134::-;-1:-1:-1;;;;;2752:18:0;;;2725:7;2752:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2653:134::o;9614:610::-;5876:5;;9717:4;;-1:-1:-1;;;;;5876:5:0;5862:10;:19;5854:41;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;9742:17:0;;9734:43;;;;;-1:-1:-1;;;;;9734:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9822:5;;9806:22;;-1:-1:-1;;;;;9822:5:0;9806:15;:22::i;:::-;9796:6;:32;;9788:63;;;;;-1:-1:-1;;;;;9788:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9889:12;9870:15;:31;;9862:94;;;;-1:-1:-1;;;;;9862:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9998:5;;-1:-1:-1;;;;;9998:5:0;9988:9;:16;;;;;;;;;;;:28;;10009:6;9988:28;:20;:28;:::i;:::-;9979:5;;;-1:-1:-1;;;;;9979:5:0;;;9969:9;:16;;;;;;;;;;;:47;;;;10027:13;;;;;;:8;:13;;;;;10060:30;;;;;;;;;;;;;;;;27:10:-1;;9979:5:0;23:18:-1;;;45:23;;10027:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;10126:5;;10117:28;;;;;;;10027:13;;10126:5;;;-1:-1:-1;;;;;;;;;;;10117:28:0;;;;;;;10161:31;;;;;;;;;;;;;;-1:-1:-1;;;;;10161:31:0;;;;;;;;;;;-1:-1:-1;10212:4:0;9614:610;;;;;:::o;8272:116::-;-1:-1:-1;;;;;8356:17:0;8329:7;8356:17;;;:8;:17;;;;;:24;;8272:116::o;8587:495::-;5876:5;;-1:-1:-1;;;;;5876:5:0;5862:10;:19;5854:41;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;;;;8721:7;8693:24;8709:7;8693:15;:24::i;:::-;:35;;8685:69;;;;;-1:-1:-1;;;;;8685:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8792:12;8773:15;:31;;8765:94;;;;-1:-1:-1;;;;;8765:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8901:18:0;;:9;:18;;;;;;;;;;;:31;;8924:7;8901:31;:22;:31;:::i;:::-;-1:-1:-1;;;;;8880:18:0;;:9;:18;;;;;;;;;;;:52;;;;8943:8;:17;;;;;8980:31;;;;;;;;;;;;;;;;27:10:-1;;39:1;23:18;;;45:23;;8943:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;9038:36;;;;;;;;;;;;;8880:18;;9038:36;;;;;;;;;8587:495;;;:::o;5923:111::-;5876:5;;-1:-1:-1;;;;;5876:5:0;5862:10;:19;5854:41;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5854:41:0;;;;;;;;;;;;;;;5997:29;6016:9;5997:18;:29::i;:::-;5923:111;:::o;4710:335::-;-1:-1:-1;;;;;4803:19:0;;4795:68;;;;-1:-1:-1;;;;;4795:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4882:21:0;;4874:68;;;;-1:-1:-1;;;;;4874:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4955:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;5006:31;;;;;;;;;;;;;;;;;4710:335;;;:::o;7599:667::-;7663:9;7659:600;-1:-1:-1;;;;;7682:17:0;;;;;;:8;:17;;;;;:24;7678:28;;7659:600;;;-1:-1:-1;;;;;7734:17:0;;;;;;:8;:17;;;;;:20;;7770:3;;7734:17;7752:1;;7734:20;;;;;;;;;;;;;;;;:32;;;:39;7730:518;;-1:-1:-1;;;;;7838:17:0;;;;;;:8;:17;;;;;:20;;7815:52;;7838:17;7856:1;;7838:20;;;;;7815:52;-1:-1:-1;;;;;7794:18:0;;:9;:18;;;;;;;;;;;:73;;;;7907:8;:17;;;;;;:20;;7891:45;;7907:17;7925:1;;7907:20;;;;;;;;;;;;;;;;:28;;;7891:45;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7955:17:0;;7986:1;7955:17;;;:8;:17;;;;;:20;;7973:1;;7955:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;:32;;;;-1:-1:-1;;;;;8017:17:0;;;;:8;:17;;;;;;:24;-1:-1:-1;;8017:28:0;8012:33;;8008:178;;-1:-1:-1;;;;;8093:17:0;;;;;;:8;:17;;;;;8111:24;;-1:-1:-1;;8111:28:0;;;8093:47;;;;;;;;;;;;;;;;8070:8;:17;8079:7;-1:-1:-1;;;;;8070:17:0;-1:-1:-1;;;;;8070:17:0;;;;;;;;;;;;8088:1;8070:20;;;;;;;;;;;;;;;;:70;;:20;;;;;:70;;;;;;;;;;;-1:-1:-1;;8163:3:0;8008:178;-1:-1:-1;;;;;8204:17:0;;;;;;:8;:17;;;;;:26;;;;;-1:-1:-1;;8204:26:0;;;:::i;:::-;;7730:518;7709:3;;7659:600;;;;7599:667;:::o;2951:256::-;3040:4;3057:36;3067:6;3075:9;3086:6;3057:9;:36::i;:::-;-1:-1:-1;;;;;3133:19:0;;;;;;:11;:19;;;;;;;;3121:10;3133:31;;;;;;;;;3104:73;;3113:6;;3133:43;;3169:6;3133:43;:35;:43;:::i;3104:73::-;-1:-1:-1;3195:4:0;2951:256;;;;;:::o;1047:181::-;1105:7;1137:5;;;1161:6;;;;1153:46;;;;;-1:-1:-1;;;;;1153:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2371:110;-1:-1:-1;;;;;2455:18:0;2428:7;2455:18;;;;;;;;;;;;2371:110::o;4406:296::-;-1:-1:-1;;;;;4479:19:0;;4471:65;;;;-1:-1:-1;;;;;4471:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4564:12;;:23;;4581:5;4564:23;:16;:23;:::i;:::-;4549:12;:38;-1:-1:-1;;;;;4617:16:0;;:9;:16;;;;;;;;;;;:27;;4638:5;4617:27;:20;:27;:::i;:::-;-1:-1:-1;;;;;4598:16:0;;:9;:16;;;;;;;;;;;:46;;;;4660:34;;;;;;;4598:9;;-1:-1:-1;;;;;;;;;;;4660:34:0;;;;;;;;;;4406:296;;:::o;1236:184::-;1294:7;1327:1;1322;:6;;1314:49;;;;;-1:-1:-1;;;;;1314:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1386:5:0;;;1236:184::o;2489:156::-;2558:4;2575:40;2585:10;2597:9;2608:6;2575:9;:40::i;6042:206::-;-1:-1:-1;;;;;6117:23:0;;6109:49;;;;;-1:-1:-1;;;;;6109:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6195:5;;6174:38;;-1:-1:-1;;;;;6174:38:0;;;;6195:5;;6174:38;;6195:5;;6174:38;6223:5;:17;;-1:-1:-1;;;;;;6223:17:0;-1:-1:-1;;;;;6223:17:0;;;;;;;;;;6042:206::o;3653:429::-;-1:-1:-1;;;;;3751:20:0;;3743:70;;;;-1:-1:-1;;;;;3743:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3832:23:0;;3824:71;;;;-1:-1:-1;;;;;3824:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3928:17:0;;:9;:17;;;;;;;;;;;:29;;3950:6;3928:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;3908:17:0;;;:9;:17;;;;;;;;;;;:49;;;;3991:20;;;;;;;:32;;4016:6;3991:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;3968:20:0;;;:9;:20;;;;;;;;;;;;:55;;;;4039:35;;;;;;;3968:20;;4039:35;;;;-1:-1:-1;;;;;;;;;;;4039:35:0;;;;;;;;3653:429;;;:::o;5240:4993::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4090:308;-1:-1:-1;;;;;4166:21:0;;4158:65;;;;;-1:-1:-1;;;;;4158:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4251:12;;:24;;4268:6;4251:24;:16;:24;:::i;:::-;4236:12;:39;-1:-1:-1;;;;;4307:18:0;;:9;:18;;;;;;;;;;;:30;;4330:6;4307:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;4286:18:0;;:9;:18;;;;;;;;;;;:51;;;;4353:37;;;;;;;4286:18;;:9;;-1:-1:-1;;;;;;;;;;;4353:37:0;;;;;;;;;4090:308;;:::o

bzzr://4b0abbebdae4b1b90090c7f409709ccdb3b33e37e3ef596540ca2cd62a3672d8