Contract

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 Haechi 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 2022-04-20
*/

// ----------------------------------------------------------------------------
// Haechi Contract
// Name        : Haechi
// Symbol      : HAC
// Decimals    : 18
// InitialSupply : 1,000,000,000 HAC
// ----------------------------------------------------------------------------

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 Haechi is ERC20 {
    string public constant name = "Haechi";
    string public constant symbol = "HAC"; 
    uint8 public constant decimals = 18; 
    uint256 public constant initialSupply = 1000000000 * (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"}]

60806040523480156200001157600080fd5b5062000036336b033b2e3c9fd0803ce80000006200004e602090811b620016ba17901c565b600380546001600160a01b03191633179055620001e5565b6001600160a01b038216620000c457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b620000e0816002546200016960201b620012d31790919060201c565b6002556001600160a01b0382166000908152602081815260409091205462000113918390620012d362000169821b17901c565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600082820183811015620001de57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6118c880620001f56000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c80637eee288d116100ad578063dd62ed3e11610071578063dd62ed3e146103ca578063de6baccb146103f8578063df0345861461042a578063e2ab691d14610450578063f2fde38b146104825761012c565b80637eee288d1461031a5780638da5cb5b1461034657806395d89b411461036a578063a457c2d714610372578063a9059cbb1461039e5761012c565b8063378dc3dc116100f4578063378dc3dc1461025c578063395093511461026457806342966c681461029057806346cf1bb5146102af57806370a08231146102f45761012c565b806306fdde0314610131578063095ea7b3146101ae57806318160ddd146101ee57806323b872dd14610208578063313ce5671461023e575b600080fd5b6101396104a8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017357818101518382015260200161015b565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101da600480360360408110156101c457600080fd5b506001600160a01b0381351690602001356104cd565b604080519115158252519081900360200190f35b6101f66104e3565b60408051918252519081900360200190f35b6101da6004803603606081101561021e57600080fd5b506001600160a01b038135811691602081013590911690604001356104ea565b610246610508565b6040805160ff9092168252519081900360200190f35b6101f661050d565b6101da6004803603604081101561027a57600080fd5b506001600160a01b03813516906020013561051d565b6102ad600480360360208110156102a657600080fd5b503561055e565b005b6102db600480360360408110156102c557600080fd5b506001600160a01b038135169060200135610676565b6040805192835260208301919091528051918290030190f35b6101f66004803603602081101561030a57600080fd5b50356001600160a01b03166106ef565b6102ad6004803603604081101561033057600080fd5b506001600160a01b038135169060200135610789565b61034e610a37565b604080516001600160a01b039092168252519081900360200190f35b610139610a46565b6101da6004803603604081101561038857600080fd5b506001600160a01b038135169060200135610a68565b6101da600480360360408110156103b457600080fd5b506001600160a01b038135169060200135610aa4565b6101f6600480360360408110156103e057600080fd5b506001600160a01b0381358116916020013516610ab9565b6101da6004803603606081101561040e57600080fd5b506001600160a01b038135169060208101359060400135610ae4565b6101f66004803603602081101561044057600080fd5b50356001600160a01b0316610d43565b6102ad6004803603606081101561046657600080fd5b506001600160a01b038135169060208101359060400135610d5e565b6102ad6004803603602081101561049857600080fd5b50356001600160a01b0316610f0f565b604051806040016040528060068152602001600160d01b654861656368690281525081565b60006104da338484610f6c565b50600192915050565b6002545b90565b60006104f58461105e565b610500848484611281565b949350505050565b601281565b6b033b2e3c9fd0803ce800000081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104da918590610559908663ffffffff6112d316565b610f6c565b6003546001600160a01b031633146105af5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6003546105c4906001600160a01b0316611330565b81111561061b5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b600354610631906001600160a01b03168261134b565b6003546040805183815290516001600160a01b03909216917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59181900360200190a250565b6001600160a01b038216600090815260046020526040812080548291908490811061069d57fe5b600091825260208083206002909202909101546001600160a01b0387168352600490915260409091208054859081106106d257fe5b906000526020600020906002020160010154915091509250929050565b600080805b6001600160a01b038416600090815260046020526040902054811015610768576001600160a01b0384166000908152600460205260409020805461075e91908390811061073d57fe5b906000526020600020906002020160010154836112d390919063ffffffff16565b91506001016106f4565b506107828161077685611330565b9063ffffffff6112d316565b9392505050565b6003546001600160a01b031633146107da5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b03821660009081526004602052604090205481106108495760408051600160e51b62461bcd02815260206004820152601460248201527f4e6f206c6f636b20696e666f726d6174696f6e2e000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902080546108ab91908390811061087257fe5b60009182526020808320600160029093020191909101546001600160a01b0386168352908290526040909120549063ffffffff6112d316565b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f19190849081106108ff57fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061094a57fe5b60009182526020808320600160029093020191909101929092556001600160a01b038416815260049091526040902054600019018114610a09576001600160a01b0382166000908152600460205260409020805460001981019081106109ac57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b0316815260200190815260200160002082815481106109ea57fe5b6000918252602090912082546002909202019081556001918201549101555b6001600160a01b0382166000908152600460205260409020805490610a32906000198301611672565b505050565b6003546001600160a01b031681565b604051806040016040528060038152602001600160e81b624841430281525081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104da918590610559908663ffffffff61141516565b6000610aaf3361105e565b6107828383611475565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6003546000906001600160a01b03163314610b385760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038416610b965760408051600160e51b62461bcd02815260206004820152600d60248201527f77726f6e67206164647265737300000000000000000000000000000000000000604482015290519081900360640190fd5b600354610bab906001600160a01b0316611330565b831115610c025760408051600160e51b62461bcd02815260206004820152601260248201527f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000604482015290519081900360640190fd5b81421115610c4457604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186b6032913960400191505060405180910390fd5b6003546001600160a01b0316600090815260208190526040902054610c6f908463ffffffff61141516565b600380546001600160a01b039081166000908152602081815260408083209590955588831680835260048252858320865180880188528981528084018b815282546001818101855593875295859020915160029096029091019485555193019290925592548451888152945191949216926000805160206117e1833981519152928290030190a3604080518481526020810184905281516001600160a01b038716927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b928290030190a25060019392505050565b6001600160a01b031660009081526004602052604090205490565b6003546001600160a01b03163314610daf5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b81610db984611330565b1015610e0f5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b80421115610e5157604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186b6032913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610e7a908363ffffffff61141516565b6001600160a01b0384166000818152602081815260408083209490945560048152838220845180860186528681528083018881528254600181810185559386529484902091516002909502909101938455519201919091558251858152908101849052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a2505050565b6003546001600160a01b03163314610f605760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b610f6981611482565b50565b6001600160a01b038316610fb457604051600160e51b62461bcd0281526004018080602001828103825260248152602001806118476024913960400191505060405180910390fd5b6001600160a01b038216610ffc57604051600160e51b62461bcd0281526004018080602001828103825260228152602001806117bf6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60005b6001600160a01b03821660009081526004602052604090205481101561127d576001600160a01b03821660009081526004602052604090208054429190839081106110a857fe5b90600052602060002090600202016000015411611275576001600160a01b038216600090815260046020526040902080546110e891908390811061087257fe5b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061113c57fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061118757fe5b60009182526020808320600160029093020191909101929092556001600160a01b03841681526004909152604090205460001901811461124a576001600160a01b0382166000908152600460205260409020805460001981019081106111e957fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b03168152602001908152602001600020828154811061122757fe5b600091825260209091208254600290920201908155600191820154910155600019015b6001600160a01b0382166000908152600460205260409020805490611273906000198301611672565b505b600101611061565b5050565b600061128e84848461153c565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546112c9918691610559908663ffffffff61141516565b5060019392505050565b6000828201838110156107825760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b031660009081526020819052604090205490565b6001600160a01b03821661139357604051600160e51b62461bcd0281526004018080602001828103825260218152602001806118016021913960400191505060405180910390fd5b6002546113a6908263ffffffff61141516565b6002556001600160a01b0382166000908152602081905260409020546113d2908263ffffffff61141516565b6001600160a01b038316600081815260208181526040808320949094558351858152935191936000805160206117e1833981519152929081900390910190a35050565b60008282111561146f5760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b60006104da33848461153c565b6001600160a01b0381166114e05760408051600160e51b62461bcd02815260206004820152600d60248201527f416c7265616479204f776e657200000000000000000000000000000000000000604482015290519081900360640190fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661158457604051600160e51b62461bcd0281526004018080602001828103825260258152602001806118226025913960400191505060405180910390fd5b6001600160a01b0382166115cc57604051600160e51b62461bcd02815260040180806020018281038252602381526020018061179c6023913960400191505060405180910390fd5b6001600160a01b0383166000908152602081905260409020546115f5908263ffffffff61141516565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461162a908263ffffffff6112d316565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716926000805160206117e183398151915292918290030190a3505050565b815481835581811115610a3257600083815260209020610a32916104e79160029182028101918502015b808211156116b6576000808255600182015560020161169c565b5090565b6001600160a01b0382166117185760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025461172b908263ffffffff6112d316565b6002556001600160a01b038216600090815260208190526040902054611757908263ffffffff6112d316565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391926000805160206117e18339815191529281900390910190a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373546f6b656e54696d656c6f636b3a2072656c656173652074696d65206973206265666f72652063757272656e742074696d65a165627a7a72305820d6e2aca519ad34af25bf6285e22c1b9f7b2623bc3fb9e16395b6467f37b82e350029

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c80637eee288d116100ad578063dd62ed3e11610071578063dd62ed3e146103ca578063de6baccb146103f8578063df0345861461042a578063e2ab691d14610450578063f2fde38b146104825761012c565b80637eee288d1461031a5780638da5cb5b1461034657806395d89b411461036a578063a457c2d714610372578063a9059cbb1461039e5761012c565b8063378dc3dc116100f4578063378dc3dc1461025c578063395093511461026457806342966c681461029057806346cf1bb5146102af57806370a08231146102f45761012c565b806306fdde0314610131578063095ea7b3146101ae57806318160ddd146101ee57806323b872dd14610208578063313ce5671461023e575b600080fd5b6101396104a8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017357818101518382015260200161015b565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101da600480360360408110156101c457600080fd5b506001600160a01b0381351690602001356104cd565b604080519115158252519081900360200190f35b6101f66104e3565b60408051918252519081900360200190f35b6101da6004803603606081101561021e57600080fd5b506001600160a01b038135811691602081013590911690604001356104ea565b610246610508565b6040805160ff9092168252519081900360200190f35b6101f661050d565b6101da6004803603604081101561027a57600080fd5b506001600160a01b03813516906020013561051d565b6102ad600480360360208110156102a657600080fd5b503561055e565b005b6102db600480360360408110156102c557600080fd5b506001600160a01b038135169060200135610676565b6040805192835260208301919091528051918290030190f35b6101f66004803603602081101561030a57600080fd5b50356001600160a01b03166106ef565b6102ad6004803603604081101561033057600080fd5b506001600160a01b038135169060200135610789565b61034e610a37565b604080516001600160a01b039092168252519081900360200190f35b610139610a46565b6101da6004803603604081101561038857600080fd5b506001600160a01b038135169060200135610a68565b6101da600480360360408110156103b457600080fd5b506001600160a01b038135169060200135610aa4565b6101f6600480360360408110156103e057600080fd5b506001600160a01b0381358116916020013516610ab9565b6101da6004803603606081101561040e57600080fd5b506001600160a01b038135169060208101359060400135610ae4565b6101f66004803603602081101561044057600080fd5b50356001600160a01b0316610d43565b6102ad6004803603606081101561046657600080fd5b506001600160a01b038135169060208101359060400135610d5e565b6102ad6004803603602081101561049857600080fd5b50356001600160a01b0316610f0f565b604051806040016040528060068152602001600160d01b654861656368690281525081565b60006104da338484610f6c565b50600192915050565b6002545b90565b60006104f58461105e565b610500848484611281565b949350505050565b601281565b6b033b2e3c9fd0803ce800000081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104da918590610559908663ffffffff6112d316565b610f6c565b6003546001600160a01b031633146105af5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6003546105c4906001600160a01b0316611330565b81111561061b5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b600354610631906001600160a01b03168261134b565b6003546040805183815290516001600160a01b03909216917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59181900360200190a250565b6001600160a01b038216600090815260046020526040812080548291908490811061069d57fe5b600091825260208083206002909202909101546001600160a01b0387168352600490915260409091208054859081106106d257fe5b906000526020600020906002020160010154915091509250929050565b600080805b6001600160a01b038416600090815260046020526040902054811015610768576001600160a01b0384166000908152600460205260409020805461075e91908390811061073d57fe5b906000526020600020906002020160010154836112d390919063ffffffff16565b91506001016106f4565b506107828161077685611330565b9063ffffffff6112d316565b9392505050565b6003546001600160a01b031633146107da5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b03821660009081526004602052604090205481106108495760408051600160e51b62461bcd02815260206004820152601460248201527f4e6f206c6f636b20696e666f726d6174696f6e2e000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902080546108ab91908390811061087257fe5b60009182526020808320600160029093020191909101546001600160a01b0386168352908290526040909120549063ffffffff6112d316565b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f19190849081106108ff57fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061094a57fe5b60009182526020808320600160029093020191909101929092556001600160a01b038416815260049091526040902054600019018114610a09576001600160a01b0382166000908152600460205260409020805460001981019081106109ac57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b0316815260200190815260200160002082815481106109ea57fe5b6000918252602090912082546002909202019081556001918201549101555b6001600160a01b0382166000908152600460205260409020805490610a32906000198301611672565b505050565b6003546001600160a01b031681565b604051806040016040528060038152602001600160e81b624841430281525081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104da918590610559908663ffffffff61141516565b6000610aaf3361105e565b6107828383611475565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6003546000906001600160a01b03163314610b385760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038416610b965760408051600160e51b62461bcd02815260206004820152600d60248201527f77726f6e67206164647265737300000000000000000000000000000000000000604482015290519081900360640190fd5b600354610bab906001600160a01b0316611330565b831115610c025760408051600160e51b62461bcd02815260206004820152601260248201527f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000604482015290519081900360640190fd5b81421115610c4457604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186b6032913960400191505060405180910390fd5b6003546001600160a01b0316600090815260208190526040902054610c6f908463ffffffff61141516565b600380546001600160a01b039081166000908152602081815260408083209590955588831680835260048252858320865180880188528981528084018b815282546001818101855593875295859020915160029096029091019485555193019290925592548451888152945191949216926000805160206117e1833981519152928290030190a3604080518481526020810184905281516001600160a01b038716927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b928290030190a25060019392505050565b6001600160a01b031660009081526004602052604090205490565b6003546001600160a01b03163314610daf5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b81610db984611330565b1015610e0f5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b80421115610e5157604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186b6032913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610e7a908363ffffffff61141516565b6001600160a01b0384166000818152602081815260408083209490945560048152838220845180860186528681528083018881528254600181810185559386529484902091516002909502909101938455519201919091558251858152908101849052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a2505050565b6003546001600160a01b03163314610f605760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b610f6981611482565b50565b6001600160a01b038316610fb457604051600160e51b62461bcd0281526004018080602001828103825260248152602001806118476024913960400191505060405180910390fd5b6001600160a01b038216610ffc57604051600160e51b62461bcd0281526004018080602001828103825260228152602001806117bf6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60005b6001600160a01b03821660009081526004602052604090205481101561127d576001600160a01b03821660009081526004602052604090208054429190839081106110a857fe5b90600052602060002090600202016000015411611275576001600160a01b038216600090815260046020526040902080546110e891908390811061087257fe5b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061113c57fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061118757fe5b60009182526020808320600160029093020191909101929092556001600160a01b03841681526004909152604090205460001901811461124a576001600160a01b0382166000908152600460205260409020805460001981019081106111e957fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b03168152602001908152602001600020828154811061122757fe5b600091825260209091208254600290920201908155600191820154910155600019015b6001600160a01b0382166000908152600460205260409020805490611273906000198301611672565b505b600101611061565b5050565b600061128e84848461153c565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546112c9918691610559908663ffffffff61141516565b5060019392505050565b6000828201838110156107825760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b031660009081526020819052604090205490565b6001600160a01b03821661139357604051600160e51b62461bcd0281526004018080602001828103825260218152602001806118016021913960400191505060405180910390fd5b6002546113a6908263ffffffff61141516565b6002556001600160a01b0382166000908152602081905260409020546113d2908263ffffffff61141516565b6001600160a01b038316600081815260208181526040808320949094558351858152935191936000805160206117e1833981519152929081900390910190a35050565b60008282111561146f5760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b60006104da33848461153c565b6001600160a01b0381166114e05760408051600160e51b62461bcd02815260206004820152600d60248201527f416c7265616479204f776e657200000000000000000000000000000000000000604482015290519081900360640190fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661158457604051600160e51b62461bcd0281526004018080602001828103825260258152602001806118226025913960400191505060405180910390fd5b6001600160a01b0382166115cc57604051600160e51b62461bcd02815260040180806020018281038252602381526020018061179c6023913960400191505060405180910390fd5b6001600160a01b0383166000908152602081905260409020546115f5908263ffffffff61141516565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461162a908263ffffffff6112d316565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716926000805160206117e183398151915292918290030190a3505050565b815481835581811115610a3257600083815260209020610a32916104e79160029182028101918502015b808211156116b6576000808255600182015560020161169c565b5090565b6001600160a01b0382166117185760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025461172b908263ffffffff6112d316565b6002556001600160a01b038216600090815260208190526040902054611757908263ffffffff6112d316565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391926000805160206117e18339815191529281900390910190a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373546f6b656e54696d656c6f636b3a2072656c656173652074696d65206973206265666f72652063757272656e742074696d65a165627a7a72305820d6e2aca519ad34af25bf6285e22c1b9f7b2623bc3fb9e16395b6467f37b82e350029

5228:4982:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5228:4982:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5260:38;;;:::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;5260:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2783:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2783:148:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;2260:91;;;:::i;:::-;;;;;;;;;;;;;;;;6443:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6443:236:0;;;;;;;;;;;;;;;;;:::i;5350:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5393:78;;;:::i;3203:206::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3203:206:0;;;;;;;;:::i;6745:200::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6745:200:0;;:::i;:::-;;8371:185;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8371:185:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7233:335;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7233:335:0;-1:-1:-1;;;;;7233:335:0;;:::i;9067:516::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9067:516:0;;;;;;;;:::i;5599:20::-;;;:::i;:::-;;;;-1:-1:-1;;;;;5599:20:0;;;;;;;;;;;;;;5305:37;;;:::i;3417:216::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3417:216:0;;;;;;;;:::i;6233:202::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6233:202:0;;;;;;;;:::i;2641:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2641:134:0;;;;;;;;;;:::i;9591:610::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9591:610:0;;;;;;;;;;;;;:::i;8249:116::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8249:116:0;-1:-1:-1;;;;;8249:116:0;;:::i;8564:495::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8564:495:0;;;;;;;;;;;;;:::i;5900:111::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5900:111:0;-1:-1:-1;;;;;5900:111:0;;:::i;5260:38::-;;;;;;;;;;;;;;-1:-1:-1;;;;;5260:38:0;;;;:::o;2783:148::-;2848:4;2865:36;2874:10;2886:7;2895:5;2865:8;:36::i;:::-;-1:-1:-1;2919:4:0;2783:148;;;;:::o;2260:91::-;2331:12;;2260:91;;:::o;6443:236::-;6575:4;6597:18;6609:5;6597:11;:18::i;:::-;6633:38;6652:5;6659:3;6664:6;6633:18;:38::i;:::-;6626:45;6443:236;-1:-1:-1;;;;6443:236:0:o;5350:35::-;5383:2;5350:35;:::o;5393:78::-;5433:38;5393:78;:::o;3203:206::-;3309:10;3283:4;3330:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3330:32:0;;;;;;;;;;3283:4;;3300:79;;3321:7;;3330:48;;3367:10;3330:48;:36;:48;:::i;:::-;3300:8;:79::i;6745:200::-;5853:5;;-1:-1:-1;;;;;5853:5:0;5839:10;:19;5831:41;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;;;;6837:5;;6821:22;;-1:-1:-1;;;;;6837:5:0;6821:15;:22::i;:::-;6811:6;:32;;6803:66;;;;;-1:-1:-1;;;;;6803:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6888:5;;6882:20;;-1:-1:-1;;;;;6888:5:0;6895:6;6882:5;:20::i;:::-;6923:5;;6918:19;;;;;;;;-1:-1:-1;;;;;6923:5:0;;;;6918:19;;;;;;;;;6745:200;:::o;8371:185::-;-1:-1:-1;;;;;8479:17:0;;8442:7;8479:17;;;:8;:17;;;;;:23;;8442:7;;8479:17;8497:4;;8479:23;;;;;;;;;;;;;;;;;;;;;:35;-1:-1:-1;;;;;8516:17:0;;;;:8;:17;;;;;;;:23;;8534:4;;8516:23;;;;;;;;;;;;;;;;:31;;;8471:77;;;;8371:185;;;;;:::o;7233:335::-;7290:15;;;7354:146;-1:-1:-1;;;;;7377:17:0;;;;;;:8;:17;;;;;:24;7373:28;;7354:146;;;-1:-1:-1;;;;;7459:17:0;;;;;;:8;:17;;;;;:20;;7441:47;;7459:17;7477:1;;7459:20;;;;;;;;;;;;;;;;:28;;;7441:13;:17;;:47;;;;:::i;:::-;7425:63;-1:-1:-1;7404:3:0;;7354:146;;;;7517:43;7546:13;7517:24;7533:7;7517:15;:24::i;:::-;:28;:43;:28;:43;:::i;:::-;7510:50;7233:335;-1:-1:-1;;;7233:335:0:o;9067:516::-;5853:5;;-1:-1:-1;;;;;5853:5:0;5839:10;:19;5831:41;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;9151:17:0;;;;;;:8;:17;;;;;:24;9147:28;;9139:61;;;;;-1:-1:-1;;;;;9139:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9257:17:0;;;;;;:8;:17;;;;;:20;;9234:52;;9257:17;9275:1;;9257:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;;-1:-1:-1;;;;;9234:18:0;;;;;;;;;;;;;;:52;:22;:52;:::i;:::-;-1:-1:-1;;;;;9213:18:0;;:9;:18;;;;;;;;;;;:73;;;;9318:8;:17;;;;;;:20;;9302:45;;9318:17;9336:1;;9318:20;;;;;;;;;;;;;;;;:28;;;9302:45;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9358:17:0;;9389:1;9358:17;;;:8;:17;;;;;:20;;9376:1;;9358:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;:32;;;;-1:-1:-1;;;;;9412:17:0;;;;:8;:17;;;;;;:24;-1:-1:-1;;9412:28:0;9407:33;;9403:136;;-1:-1:-1;;;;;9480:17:0;;;;;;:8;:17;;;;;9498:24;;-1:-1:-1;;9498:28:0;;;9480:47;;;;;;;;;;;;;;;;9457:8;:17;9466:7;-1:-1:-1;;;;;9457:17:0;-1:-1:-1;;;;;9457:17:0;;;;;;;;;;;;9475:1;9457:20;;;;;;;;;;;;;;;;:70;;:20;;;;;:70;;;;;;;;;;;9403:136;-1:-1:-1;;;;;9549:17:0;;;;;;:8;:17;;;;;:26;;;;;-1:-1:-1;;9549:26:0;;;:::i;:::-;;9067:516;;:::o;5599:20::-;;;-1:-1:-1;;;;;5599:20:0;;:::o;5305:37::-;;;;;;;;;;;;;;-1:-1:-1;;;;;5305:37:0;;;;:::o;3417:216::-;3528:10;3502:4;3549:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3549:32:0;;;;;;;;;;3502:4;;3519:84;;3540:7;;3549:53;;3586:15;3549:53;:36;:53;:::i;6233:202::-;6337:4;6359:23;6371:10;6359:11;:23::i;:::-;6400:27;6415:3;6420:6;6400:14;:27::i;2641:134::-;-1:-1:-1;;;;;2740:18:0;;;2713:7;2740:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2641:134::o;9591:610::-;5853:5;;9694:4;;-1:-1:-1;;;;;5853:5:0;5839:10;:19;5831:41;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;9719:17:0;;9711:43;;;;;-1:-1:-1;;;;;9711:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9799:5;;9783:22;;-1:-1:-1;;;;;9799:5:0;9783:15;:22::i;:::-;9773:6;:32;;9765:63;;;;;-1:-1:-1;;;;;9765:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9866:12;9847:15;:31;;9839:94;;;;-1:-1:-1;;;;;9839:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9975:5;;-1:-1:-1;;;;;9975:5:0;9965:9;:16;;;;;;;;;;;:28;;9986:6;9965:28;:20;:28;:::i;:::-;9956:5;;;-1:-1:-1;;;;;9956:5:0;;;9946:9;:16;;;;;;;;;;;:47;;;;10004:13;;;;;;:8;:13;;;;;10037:30;;;;;;;;;;;;;;;;27:10:-1;;9956:5:0;23:18:-1;;;45:23;;10004:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;10103:5;;10094:28;;;;;;;10004:13;;10103:5;;;-1:-1:-1;;;;;;;;;;;10094:28:0;;;;;;;10138:31;;;;;;;;;;;;;;-1:-1:-1;;;;;10138:31:0;;;;;;;;;;;-1:-1:-1;10189:4:0;9591:610;;;;;:::o;8249:116::-;-1:-1:-1;;;;;8333:17:0;8306:7;8333:17;;;:8;:17;;;;;:24;;8249:116::o;8564:495::-;5853:5;;-1:-1:-1;;;;;5853:5:0;5839:10;:19;5831:41;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;;;;8698:7;8670:24;8686:7;8670:15;:24::i;:::-;:35;;8662:69;;;;;-1:-1:-1;;;;;8662:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8769:12;8750:15;:31;;8742:94;;;;-1:-1:-1;;;;;8742:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8878:18:0;;:9;:18;;;;;;;;;;;:31;;8901:7;8878:31;:22;:31;:::i;:::-;-1:-1:-1;;;;;8857:18:0;;:9;:18;;;;;;;;;;;:52;;;;8920:8;:17;;;;;8957:31;;;;;;;;;;;;;;;;27:10:-1;;39:1;23:18;;;45:23;;8920:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;9015:36;;;;;;;;;;;;;8857:18;;9015:36;;;;;;;;;8564:495;;;:::o;5900:111::-;5853:5;;-1:-1:-1;;;;;5853:5:0;5839:10;:19;5831:41;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5831:41:0;;;;;;;;;;;;;;;5974:29;5993:9;5974:18;:29::i;:::-;5900:111;:::o;4698:335::-;-1:-1:-1;;;;;4791:19:0;;4783:68;;;;-1:-1:-1;;;;;4783:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4870:21:0;;4862:68;;;;-1:-1:-1;;;;;4862:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4943:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;4994:31;;;;;;;;;;;;;;;;;4698:335;;;:::o;7576:667::-;7640:9;7636:600;-1:-1:-1;;;;;7659:17:0;;;;;;:8;:17;;;;;:24;7655:28;;7636:600;;;-1:-1:-1;;;;;7711:17:0;;;;;;:8;:17;;;;;:20;;7747:3;;7711:17;7729:1;;7711:20;;;;;;;;;;;;;;;;:32;;;:39;7707:518;;-1:-1:-1;;;;;7815:17:0;;;;;;:8;:17;;;;;:20;;7792:52;;7815:17;7833:1;;7815:20;;;;;7792:52;-1:-1:-1;;;;;7771:18:0;;:9;:18;;;;;;;;;;;:73;;;;7884:8;:17;;;;;;:20;;7868:45;;7884:17;7902:1;;7884:20;;;;;;;;;;;;;;;;:28;;;7868:45;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7932:17:0;;7963:1;7932:17;;;:8;:17;;;;;:20;;7950:1;;7932:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;:32;;;;-1:-1:-1;;;;;7994:17:0;;;;:8;:17;;;;;;:24;-1:-1:-1;;7994:28:0;7989:33;;7985:178;;-1:-1:-1;;;;;8070:17:0;;;;;;:8;:17;;;;;8088:24;;-1:-1:-1;;8088:28:0;;;8070:47;;;;;;;;;;;;;;;;8047:8;:17;8056:7;-1:-1:-1;;;;;8047:17:0;-1:-1:-1;;;;;8047:17:0;;;;;;;;;;;;8065:1;8047:20;;;;;;;;;;;;;;;;:70;;:20;;;;;:70;;;;;;;;;;;-1:-1:-1;;8140:3:0;7985:178;-1:-1:-1;;;;;8181:17:0;;;;;;:8;:17;;;;;:26;;;;;-1:-1:-1;;8181:26:0;;;:::i;:::-;;7707:518;7686:3;;7636:600;;;;7576:667;:::o;2939:256::-;3028:4;3045:36;3055:6;3063:9;3074:6;3045:9;:36::i;:::-;-1:-1:-1;;;;;3121:19:0;;;;;;:11;:19;;;;;;;;3109:10;3121:31;;;;;;;;;3092:73;;3101:6;;3121:43;;3157:6;3121:43;:35;:43;:::i;3092:73::-;-1:-1:-1;3183:4:0;2939:256;;;;;:::o;1035:181::-;1093:7;1125:5;;;1149:6;;;;1141:46;;;;;-1:-1:-1;;;;;1141:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2359:110;-1:-1:-1;;;;;2443:18:0;2416:7;2443:18;;;;;;;;;;;;2359:110::o;4394:296::-;-1:-1:-1;;;;;4467:19:0;;4459:65;;;;-1:-1:-1;;;;;4459:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4552:12;;:23;;4569:5;4552:23;:16;:23;:::i;:::-;4537:12;:38;-1:-1:-1;;;;;4605:16:0;;:9;:16;;;;;;;;;;;:27;;4626:5;4605:27;:20;:27;:::i;:::-;-1:-1:-1;;;;;4586:16:0;;:9;:16;;;;;;;;;;;:46;;;;4648:34;;;;;;;4586:9;;-1:-1:-1;;;;;;;;;;;4648:34:0;;;;;;;;;;4394:296;;:::o;1224:184::-;1282:7;1315:1;1310;:6;;1302:49;;;;;-1:-1:-1;;;;;1302:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1374:5:0;;;1224:184::o;2477:156::-;2546:4;2563:40;2573:10;2585:9;2596:6;2563:9;:40::i;6019:206::-;-1:-1:-1;;;;;6094:23:0;;6086:49;;;;;-1:-1:-1;;;;;6086:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6172:5;;6151:38;;-1:-1:-1;;;;;6151:38:0;;;;6172:5;;6151:38;;6172:5;;6151:38;6200:5;:17;;-1:-1:-1;;;;;;6200:17:0;-1:-1:-1;;;;;6200:17:0;;;;;;;;;;6019:206::o;3641:429::-;-1:-1:-1;;;;;3739:20:0;;3731:70;;;;-1:-1:-1;;;;;3731:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3820:23:0;;3812:71;;;;-1:-1:-1;;;;;3812:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3916:17:0;;:9;:17;;;;;;;;;;;:29;;3938:6;3916:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;3896:17:0;;;:9;:17;;;;;;;;;;;:49;;;;3979:20;;;;;;;:32;;4004:6;3979:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;3956:20:0;;;:9;:20;;;;;;;;;;;;:55;;;;4027:35;;;;;;;3956:20;;4027:35;;;;-1:-1:-1;;;;;;;;;;;4027:35:0;;;;;;;;3641:429;;;:::o;5228:4982::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4078:308;-1:-1:-1;;;;;4154:21:0;;4146:65;;;;;-1:-1:-1;;;;;4146:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4239:12;;:24;;4256:6;4239:24;:16;:24;:::i;:::-;4224:12;:39;-1:-1:-1;;;;;4295:18:0;;:9;:18;;;;;;;;;;;:30;;4318:6;4295:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;4274:18:0;;:9;:18;;;;;;;;;;;:51;;;;4341:37;;;;;;;4274:18;;:9;;-1:-1:-1;;;;;;;;;;;4341:37:0;;;;;;;;;4078:308;;:::o

bzzr://d6e2aca519ad34af25bf6285e22c1b9f7b2623bc3fb9e16395b6467f37b82e35