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 MicroNFT 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-06-07
*/

// ----------------------------------------------------------------------------
// MicroNFT Contract
// Name        : MicroNFT
// Symbol      : MNT
// Decimals    : 18
// InitialSupply : 1,000,000,000 MNT
// ----------------------------------------------------------------------------

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 MicroNFT is ERC20 {
    string public constant name = "MicroNFT";
    string public constant symbol = "MNT"; 
    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"}]

60806040523480156200001157600080fd5b5062000036336b033b2e3c9fd0803ce80000006200004e602090811b620016bc17901c565b600380546001600160a01b03191633179055620001e5565b6001600160a01b038216620000c457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b620000e0816002546200016960201b620012d51790919060201c565b6002556001600160a01b0382166000908152602081815260409091205462000113918390620012d562000169821b17901c565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600082820183811015620001de57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6118ca80620001f56000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c80637eee288d116100ad578063dd62ed3e11610071578063dd62ed3e146103ca578063de6baccb146103f8578063df0345861461042a578063e2ab691d14610450578063f2fde38b146104825761012c565b80637eee288d1461031a5780638da5cb5b1461034657806395d89b411461036a578063a457c2d714610372578063a9059cbb1461039e5761012c565b8063378dc3dc116100f4578063378dc3dc1461025c578063395093511461026457806342966c681461029057806346cf1bb5146102af57806370a08231146102f45761012c565b806306fdde0314610131578063095ea7b3146101ae57806318160ddd146101ee57806323b872dd14610208578063313ce5671461023e575b600080fd5b6101396104a8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017357818101518382015260200161015b565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101da600480360360408110156101c457600080fd5b506001600160a01b0381351690602001356104cf565b604080519115158252519081900360200190f35b6101f66104e5565b60408051918252519081900360200190f35b6101da6004803603606081101561021e57600080fd5b506001600160a01b038135811691602081013590911690604001356104ec565b61024661050a565b6040805160ff9092168252519081900360200190f35b6101f661050f565b6101da6004803603604081101561027a57600080fd5b506001600160a01b03813516906020013561051f565b6102ad600480360360208110156102a657600080fd5b5035610560565b005b6102db600480360360408110156102c557600080fd5b506001600160a01b038135169060200135610678565b6040805192835260208301919091528051918290030190f35b6101f66004803603602081101561030a57600080fd5b50356001600160a01b03166106f1565b6102ad6004803603604081101561033057600080fd5b506001600160a01b03813516906020013561078b565b61034e610a39565b604080516001600160a01b039092168252519081900360200190f35b610139610a48565b6101da6004803603604081101561038857600080fd5b506001600160a01b038135169060200135610a6a565b6101da600480360360408110156103b457600080fd5b506001600160a01b038135169060200135610aa6565b6101f6600480360360408110156103e057600080fd5b506001600160a01b0381358116916020013516610abb565b6101da6004803603606081101561040e57600080fd5b506001600160a01b038135169060208101359060400135610ae6565b6101f66004803603602081101561044057600080fd5b50356001600160a01b0316610d45565b6102ad6004803603606081101561046657600080fd5b506001600160a01b038135169060208101359060400135610d60565b6102ad6004803603602081101561049857600080fd5b50356001600160a01b0316610f11565b604051806040016040528060088152602001600160c21b67135a58dc9bd391950281525081565b60006104dc338484610f6e565b50600192915050565b6002545b90565b60006104f784611060565b610502848484611283565b949350505050565b601281565b6b033b2e3c9fd0803ce800000081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104dc91859061055b908663ffffffff6112d516565b610f6e565b6003546001600160a01b031633146105b15760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6003546105c6906001600160a01b0316611332565b81111561061d5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b600354610633906001600160a01b03168261134d565b6003546040805183815290516001600160a01b03909216917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59181900360200190a250565b6001600160a01b038216600090815260046020526040812080548291908490811061069f57fe5b600091825260208083206002909202909101546001600160a01b0387168352600490915260409091208054859081106106d457fe5b906000526020600020906002020160010154915091509250929050565b600080805b6001600160a01b03841660009081526004602052604090205481101561076a576001600160a01b0384166000908152600460205260409020805461076091908390811061073f57fe5b906000526020600020906002020160010154836112d590919063ffffffff16565b91506001016106f6565b506107848161077885611332565b9063ffffffff6112d516565b9392505050565b6003546001600160a01b031633146107dc5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902054811061084b5760408051600160e51b62461bcd02815260206004820152601460248201527f4e6f206c6f636b20696e666f726d6174696f6e2e000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902080546108ad91908390811061087457fe5b60009182526020808320600160029093020191909101546001600160a01b0386168352908290526040909120549063ffffffff6112d516565b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061090157fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061094c57fe5b60009182526020808320600160029093020191909101929092556001600160a01b038416815260049091526040902054600019018114610a0b576001600160a01b0382166000908152600460205260409020805460001981019081106109ae57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b0316815260200190815260200160002082815481106109ec57fe5b6000918252602090912082546002909202019081556001918201549101555b6001600160a01b0382166000908152600460205260409020805490610a34906000198301611674565b505050565b6003546001600160a01b031681565b604051806040016040528060038152602001600160ea1b621353950281525081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104dc91859061055b908663ffffffff61141716565b6000610ab133611060565b6107848383611477565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6003546000906001600160a01b03163314610b3a5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038416610b985760408051600160e51b62461bcd02815260206004820152600d60248201527f77726f6e67206164647265737300000000000000000000000000000000000000604482015290519081900360640190fd5b600354610bad906001600160a01b0316611332565b831115610c045760408051600160e51b62461bcd02815260206004820152601260248201527f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000604482015290519081900360640190fd5b81421115610c4657604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186d6032913960400191505060405180910390fd5b6003546001600160a01b0316600090815260208190526040902054610c71908463ffffffff61141716565b600380546001600160a01b039081166000908152602081815260408083209590955588831680835260048252858320865180880188528981528084018b815282546001818101855593875295859020915160029096029091019485555193019290925592548451888152945191949216926000805160206117e3833981519152928290030190a3604080518481526020810184905281516001600160a01b038716927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b928290030190a25060019392505050565b6001600160a01b031660009081526004602052604090205490565b6003546001600160a01b03163314610db15760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b81610dbb84611332565b1015610e115760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b80421115610e5357604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186d6032913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610e7c908363ffffffff61141716565b6001600160a01b0384166000818152602081815260408083209490945560048152838220845180860186528681528083018881528254600181810185559386529484902091516002909502909101938455519201919091558251858152908101849052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a2505050565b6003546001600160a01b03163314610f625760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b610f6b81611484565b50565b6001600160a01b038316610fb657604051600160e51b62461bcd0281526004018080602001828103825260248152602001806118496024913960400191505060405180910390fd5b6001600160a01b038216610ffe57604051600160e51b62461bcd0281526004018080602001828103825260228152602001806117c16022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60005b6001600160a01b03821660009081526004602052604090205481101561127f576001600160a01b03821660009081526004602052604090208054429190839081106110aa57fe5b90600052602060002090600202016000015411611277576001600160a01b038216600090815260046020526040902080546110ea91908390811061087457fe5b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061113e57fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061118957fe5b60009182526020808320600160029093020191909101929092556001600160a01b03841681526004909152604090205460001901811461124c576001600160a01b0382166000908152600460205260409020805460001981019081106111eb57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b03168152602001908152602001600020828154811061122957fe5b600091825260209091208254600290920201908155600191820154910155600019015b6001600160a01b0382166000908152600460205260409020805490611275906000198301611674565b505b600101611063565b5050565b600061129084848461153e565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546112cb91869161055b908663ffffffff61141716565b5060019392505050565b6000828201838110156107845760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b031660009081526020819052604090205490565b6001600160a01b03821661139557604051600160e51b62461bcd0281526004018080602001828103825260218152602001806118036021913960400191505060405180910390fd5b6002546113a8908263ffffffff61141716565b6002556001600160a01b0382166000908152602081905260409020546113d4908263ffffffff61141716565b6001600160a01b038316600081815260208181526040808320949094558351858152935191936000805160206117e3833981519152929081900390910190a35050565b6000828211156114715760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b60006104dc33848461153e565b6001600160a01b0381166114e25760408051600160e51b62461bcd02815260206004820152600d60248201527f416c7265616479204f776e657200000000000000000000000000000000000000604482015290519081900360640190fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661158657604051600160e51b62461bcd0281526004018080602001828103825260258152602001806118246025913960400191505060405180910390fd5b6001600160a01b0382166115ce57604051600160e51b62461bcd02815260040180806020018281038252602381526020018061179e6023913960400191505060405180910390fd5b6001600160a01b0383166000908152602081905260409020546115f7908263ffffffff61141716565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461162c908263ffffffff6112d516565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716926000805160206117e383398151915292918290030190a3505050565b815481835581811115610a3457600083815260209020610a34916104e99160029182028101918502015b808211156116b8576000808255600182015560020161169e565b5090565b6001600160a01b03821661171a5760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025461172d908263ffffffff6112d516565b6002556001600160a01b038216600090815260208190526040902054611759908263ffffffff6112d516565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391926000805160206117e38339815191529281900390910190a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373546f6b656e54696d656c6f636b3a2072656c656173652074696d65206973206265666f72652063757272656e742074696d65a165627a7a72305820d488a1d5071129c7b84e3381f1751c4ef41107ecb8eae4a3cf61ef1d778414c70029

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c80637eee288d116100ad578063dd62ed3e11610071578063dd62ed3e146103ca578063de6baccb146103f8578063df0345861461042a578063e2ab691d14610450578063f2fde38b146104825761012c565b80637eee288d1461031a5780638da5cb5b1461034657806395d89b411461036a578063a457c2d714610372578063a9059cbb1461039e5761012c565b8063378dc3dc116100f4578063378dc3dc1461025c578063395093511461026457806342966c681461029057806346cf1bb5146102af57806370a08231146102f45761012c565b806306fdde0314610131578063095ea7b3146101ae57806318160ddd146101ee57806323b872dd14610208578063313ce5671461023e575b600080fd5b6101396104a8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017357818101518382015260200161015b565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101da600480360360408110156101c457600080fd5b506001600160a01b0381351690602001356104cf565b604080519115158252519081900360200190f35b6101f66104e5565b60408051918252519081900360200190f35b6101da6004803603606081101561021e57600080fd5b506001600160a01b038135811691602081013590911690604001356104ec565b61024661050a565b6040805160ff9092168252519081900360200190f35b6101f661050f565b6101da6004803603604081101561027a57600080fd5b506001600160a01b03813516906020013561051f565b6102ad600480360360208110156102a657600080fd5b5035610560565b005b6102db600480360360408110156102c557600080fd5b506001600160a01b038135169060200135610678565b6040805192835260208301919091528051918290030190f35b6101f66004803603602081101561030a57600080fd5b50356001600160a01b03166106f1565b6102ad6004803603604081101561033057600080fd5b506001600160a01b03813516906020013561078b565b61034e610a39565b604080516001600160a01b039092168252519081900360200190f35b610139610a48565b6101da6004803603604081101561038857600080fd5b506001600160a01b038135169060200135610a6a565b6101da600480360360408110156103b457600080fd5b506001600160a01b038135169060200135610aa6565b6101f6600480360360408110156103e057600080fd5b506001600160a01b0381358116916020013516610abb565b6101da6004803603606081101561040e57600080fd5b506001600160a01b038135169060208101359060400135610ae6565b6101f66004803603602081101561044057600080fd5b50356001600160a01b0316610d45565b6102ad6004803603606081101561046657600080fd5b506001600160a01b038135169060208101359060400135610d60565b6102ad6004803603602081101561049857600080fd5b50356001600160a01b0316610f11565b604051806040016040528060088152602001600160c21b67135a58dc9bd391950281525081565b60006104dc338484610f6e565b50600192915050565b6002545b90565b60006104f784611060565b610502848484611283565b949350505050565b601281565b6b033b2e3c9fd0803ce800000081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104dc91859061055b908663ffffffff6112d516565b610f6e565b6003546001600160a01b031633146105b15760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6003546105c6906001600160a01b0316611332565b81111561061d5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b600354610633906001600160a01b03168261134d565b6003546040805183815290516001600160a01b03909216917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59181900360200190a250565b6001600160a01b038216600090815260046020526040812080548291908490811061069f57fe5b600091825260208083206002909202909101546001600160a01b0387168352600490915260409091208054859081106106d457fe5b906000526020600020906002020160010154915091509250929050565b600080805b6001600160a01b03841660009081526004602052604090205481101561076a576001600160a01b0384166000908152600460205260409020805461076091908390811061073f57fe5b906000526020600020906002020160010154836112d590919063ffffffff16565b91506001016106f6565b506107848161077885611332565b9063ffffffff6112d516565b9392505050565b6003546001600160a01b031633146107dc5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902054811061084b5760408051600160e51b62461bcd02815260206004820152601460248201527f4e6f206c6f636b20696e666f726d6174696f6e2e000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902080546108ad91908390811061087457fe5b60009182526020808320600160029093020191909101546001600160a01b0386168352908290526040909120549063ffffffff6112d516565b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061090157fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061094c57fe5b60009182526020808320600160029093020191909101929092556001600160a01b038416815260049091526040902054600019018114610a0b576001600160a01b0382166000908152600460205260409020805460001981019081106109ae57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b0316815260200190815260200160002082815481106109ec57fe5b6000918252602090912082546002909202019081556001918201549101555b6001600160a01b0382166000908152600460205260409020805490610a34906000198301611674565b505050565b6003546001600160a01b031681565b604051806040016040528060038152602001600160ea1b621353950281525081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104dc91859061055b908663ffffffff61141716565b6000610ab133611060565b6107848383611477565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6003546000906001600160a01b03163314610b3a5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038416610b985760408051600160e51b62461bcd02815260206004820152600d60248201527f77726f6e67206164647265737300000000000000000000000000000000000000604482015290519081900360640190fd5b600354610bad906001600160a01b0316611332565b831115610c045760408051600160e51b62461bcd02815260206004820152601260248201527f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000604482015290519081900360640190fd5b81421115610c4657604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186d6032913960400191505060405180910390fd5b6003546001600160a01b0316600090815260208190526040902054610c71908463ffffffff61141716565b600380546001600160a01b039081166000908152602081815260408083209590955588831680835260048252858320865180880188528981528084018b815282546001818101855593875295859020915160029096029091019485555193019290925592548451888152945191949216926000805160206117e3833981519152928290030190a3604080518481526020810184905281516001600160a01b038716927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b928290030190a25060019392505050565b6001600160a01b031660009081526004602052604090205490565b6003546001600160a01b03163314610db15760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b81610dbb84611332565b1015610e115760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b80421115610e5357604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186d6032913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610e7c908363ffffffff61141716565b6001600160a01b0384166000818152602081815260408083209490945560048152838220845180860186528681528083018881528254600181810185559386529484902091516002909502909101938455519201919091558251858152908101849052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a2505050565b6003546001600160a01b03163314610f625760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b610f6b81611484565b50565b6001600160a01b038316610fb657604051600160e51b62461bcd0281526004018080602001828103825260248152602001806118496024913960400191505060405180910390fd5b6001600160a01b038216610ffe57604051600160e51b62461bcd0281526004018080602001828103825260228152602001806117c16022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60005b6001600160a01b03821660009081526004602052604090205481101561127f576001600160a01b03821660009081526004602052604090208054429190839081106110aa57fe5b90600052602060002090600202016000015411611277576001600160a01b038216600090815260046020526040902080546110ea91908390811061087457fe5b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061113e57fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061118957fe5b60009182526020808320600160029093020191909101929092556001600160a01b03841681526004909152604090205460001901811461124c576001600160a01b0382166000908152600460205260409020805460001981019081106111eb57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b03168152602001908152602001600020828154811061122957fe5b600091825260209091208254600290920201908155600191820154910155600019015b6001600160a01b0382166000908152600460205260409020805490611275906000198301611674565b505b600101611063565b5050565b600061129084848461153e565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546112cb91869161055b908663ffffffff61141716565b5060019392505050565b6000828201838110156107845760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b031660009081526020819052604090205490565b6001600160a01b03821661139557604051600160e51b62461bcd0281526004018080602001828103825260218152602001806118036021913960400191505060405180910390fd5b6002546113a8908263ffffffff61141716565b6002556001600160a01b0382166000908152602081905260409020546113d4908263ffffffff61141716565b6001600160a01b038316600081815260208181526040808320949094558351858152935191936000805160206117e3833981519152929081900390910190a35050565b6000828211156114715760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b60006104dc33848461153e565b6001600160a01b0381166114e25760408051600160e51b62461bcd02815260206004820152600d60248201527f416c7265616479204f776e657200000000000000000000000000000000000000604482015290519081900360640190fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661158657604051600160e51b62461bcd0281526004018080602001828103825260258152602001806118246025913960400191505060405180910390fd5b6001600160a01b0382166115ce57604051600160e51b62461bcd02815260040180806020018281038252602381526020018061179e6023913960400191505060405180910390fd5b6001600160a01b0383166000908152602081905260409020546115f7908263ffffffff61141716565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461162c908263ffffffff6112d516565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716926000805160206117e383398151915292918290030190a3505050565b815481835581811115610a3457600083815260209020610a34916104e99160029182028101918502015b808211156116b8576000808255600182015560020161169e565b5090565b6001600160a01b03821661171a5760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025461172d908263ffffffff6112d516565b6002556001600160a01b038216600090815260208190526040902054611759908263ffffffff6112d516565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391926000805160206117e38339815191529281900390910190a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373546f6b656e54696d656c6f636b3a2072656c656173652074696d65206973206265666f72652063757272656e742074696d65a165627a7a72305820d488a1d5071129c7b84e3381f1751c4ef41107ecb8eae4a3cf61ef1d778414c70029

5232:4986:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5232:4986:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5266:40;;;:::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;5266:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2787:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2787:148:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;2264:91;;;:::i;:::-;;;;;;;;;;;;;;;;6451:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6451:236:0;;;;;;;;;;;;;;;;;:::i;5358:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5401:78;;;:::i;3207:206::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3207:206:0;;;;;;;;:::i;6753:200::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6753:200:0;;:::i;:::-;;8379:185;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8379:185:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7241:335;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7241:335:0;-1:-1:-1;;;;;7241:335:0;;:::i;9075:516::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9075:516:0;;;;;;;;:::i;5607:20::-;;;:::i;:::-;;;;-1:-1:-1;;;;;5607:20:0;;;;;;;;;;;;;;5313:37;;;:::i;3421:216::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3421:216:0;;;;;;;;:::i;6241:202::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6241:202:0;;;;;;;;:::i;2645:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2645:134:0;;;;;;;;;;:::i;9599:610::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9599:610:0;;;;;;;;;;;;;:::i;8257:116::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8257:116:0;-1:-1:-1;;;;;8257:116:0;;:::i;8572:495::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8572:495:0;;;;;;;;;;;;;:::i;5908:111::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5908:111:0;-1:-1:-1;;;;;5908:111:0;;:::i;5266:40::-;;;;;;;;;;;;;;-1:-1:-1;;;;;5266:40:0;;;;:::o;2787:148::-;2852:4;2869:36;2878:10;2890:7;2899:5;2869:8;:36::i;:::-;-1:-1:-1;2923:4:0;2787:148;;;;:::o;2264:91::-;2335:12;;2264:91;;:::o;6451:236::-;6583:4;6605:18;6617:5;6605:11;:18::i;:::-;6641:38;6660:5;6667:3;6672:6;6641:18;:38::i;:::-;6634:45;6451:236;-1:-1:-1;;;;6451:236:0:o;5358:35::-;5391:2;5358:35;:::o;5401:78::-;5441:38;5401:78;:::o;3207:206::-;3313:10;3287:4;3334:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3334:32:0;;;;;;;;;;3287:4;;3304:79;;3325:7;;3334:48;;3371:10;3334:48;:36;:48;:::i;:::-;3304:8;:79::i;6753:200::-;5861:5;;-1:-1:-1;;;;;5861:5:0;5847:10;:19;5839:41;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;;;;6845:5;;6829:22;;-1:-1:-1;;;;;6845:5:0;6829:15;:22::i;:::-;6819:6;:32;;6811:66;;;;;-1:-1:-1;;;;;6811:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6896:5;;6890:20;;-1:-1:-1;;;;;6896:5:0;6903:6;6890:5;:20::i;:::-;6931:5;;6926:19;;;;;;;;-1:-1:-1;;;;;6931:5:0;;;;6926:19;;;;;;;;;6753:200;:::o;8379:185::-;-1:-1:-1;;;;;8487:17:0;;8450:7;8487:17;;;:8;:17;;;;;:23;;8450:7;;8487:17;8505:4;;8487:23;;;;;;;;;;;;;;;;;;;;;:35;-1:-1:-1;;;;;8524:17:0;;;;:8;:17;;;;;;;:23;;8542:4;;8524:23;;;;;;;;;;;;;;;;:31;;;8479:77;;;;8379:185;;;;;:::o;7241:335::-;7298:15;;;7362:146;-1:-1:-1;;;;;7385:17:0;;;;;;:8;:17;;;;;:24;7381:28;;7362:146;;;-1:-1:-1;;;;;7467:17:0;;;;;;:8;:17;;;;;:20;;7449:47;;7467:17;7485:1;;7467:20;;;;;;;;;;;;;;;;:28;;;7449:13;:17;;:47;;;;:::i;:::-;7433:63;-1:-1:-1;7412:3:0;;7362:146;;;;7525:43;7554:13;7525:24;7541:7;7525:15;:24::i;:::-;:28;:43;:28;:43;:::i;:::-;7518:50;7241:335;-1:-1:-1;;;7241:335:0:o;9075:516::-;5861:5;;-1:-1:-1;;;;;5861:5:0;5847:10;:19;5839:41;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;9159:17:0;;;;;;:8;:17;;;;;:24;9155:28;;9147:61;;;;;-1:-1:-1;;;;;9147:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9265:17:0;;;;;;:8;:17;;;;;:20;;9242:52;;9265:17;9283:1;;9265:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;;-1:-1:-1;;;;;9242:18:0;;;;;;;;;;;;;;:52;:22;:52;:::i;:::-;-1:-1:-1;;;;;9221:18:0;;:9;:18;;;;;;;;;;;:73;;;;9326:8;:17;;;;;;:20;;9310:45;;9326:17;9344:1;;9326:20;;;;;;;;;;;;;;;;:28;;;9310:45;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9366:17:0;;9397:1;9366:17;;;:8;:17;;;;;:20;;9384:1;;9366:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;:32;;;;-1:-1:-1;;;;;9420:17:0;;;;:8;:17;;;;;;:24;-1:-1:-1;;9420:28:0;9415:33;;9411:136;;-1:-1:-1;;;;;9488:17:0;;;;;;:8;:17;;;;;9506:24;;-1:-1:-1;;9506:28:0;;;9488:47;;;;;;;;;;;;;;;;9465:8;:17;9474:7;-1:-1:-1;;;;;9465:17:0;-1:-1:-1;;;;;9465:17:0;;;;;;;;;;;;9483:1;9465:20;;;;;;;;;;;;;;;;:70;;:20;;;;;:70;;;;;;;;;;;9411:136;-1:-1:-1;;;;;9557:17:0;;;;;;:8;:17;;;;;:26;;;;;-1:-1:-1;;9557:26:0;;;:::i;:::-;;9075:516;;:::o;5607:20::-;;;-1:-1:-1;;;;;5607:20:0;;:::o;5313:37::-;;;;;;;;;;;;;;-1:-1:-1;;;;;5313:37:0;;;;:::o;3421:216::-;3532:10;3506:4;3553:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3553:32:0;;;;;;;;;;3506:4;;3523:84;;3544:7;;3553:53;;3590:15;3553:53;:36;:53;:::i;6241:202::-;6345:4;6367:23;6379:10;6367:11;:23::i;:::-;6408:27;6423:3;6428:6;6408:14;:27::i;2645:134::-;-1:-1:-1;;;;;2744:18:0;;;2717:7;2744:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2645:134::o;9599:610::-;5861:5;;9702:4;;-1:-1:-1;;;;;5861:5:0;5847:10;:19;5839:41;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;9727:17:0;;9719:43;;;;;-1:-1:-1;;;;;9719:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9807:5;;9791:22;;-1:-1:-1;;;;;9807:5:0;9791:15;:22::i;:::-;9781:6;:32;;9773:63;;;;;-1:-1:-1;;;;;9773:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9874:12;9855:15;:31;;9847:94;;;;-1:-1:-1;;;;;9847:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9983:5;;-1:-1:-1;;;;;9983:5:0;9973:9;:16;;;;;;;;;;;:28;;9994:6;9973:28;:20;:28;:::i;:::-;9964:5;;;-1:-1:-1;;;;;9964:5:0;;;9954:9;:16;;;;;;;;;;;:47;;;;10012:13;;;;;;:8;:13;;;;;10045:30;;;;;;;;;;;;;;;;27:10:-1;;9964:5:0;23:18:-1;;;45:23;;10012:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;10111:5;;10102:28;;;;;;;10012:13;;10111:5;;;-1:-1:-1;;;;;;;;;;;10102:28:0;;;;;;;10146:31;;;;;;;;;;;;;;-1:-1:-1;;;;;10146:31:0;;;;;;;;;;;-1:-1:-1;10197:4:0;9599:610;;;;;:::o;8257:116::-;-1:-1:-1;;;;;8341:17:0;8314:7;8341:17;;;:8;:17;;;;;:24;;8257:116::o;8572:495::-;5861:5;;-1:-1:-1;;;;;5861:5:0;5847:10;:19;5839:41;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;;;;8706:7;8678:24;8694:7;8678:15;:24::i;:::-;:35;;8670:69;;;;;-1:-1:-1;;;;;8670:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8777:12;8758:15;:31;;8750:94;;;;-1:-1:-1;;;;;8750:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8886:18:0;;:9;:18;;;;;;;;;;;:31;;8909:7;8886:31;:22;:31;:::i;:::-;-1:-1:-1;;;;;8865:18:0;;:9;:18;;;;;;;;;;;:52;;;;8928:8;:17;;;;;8965:31;;;;;;;;;;;;;;;;27:10:-1;;39:1;23:18;;;45:23;;8928:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;9023:36;;;;;;;;;;;;;8865:18;;9023:36;;;;;;;;;8572:495;;;:::o;5908:111::-;5861:5;;-1:-1:-1;;;;;5861:5:0;5847:10;:19;5839:41;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5839:41:0;;;;;;;;;;;;;;;5982:29;6001:9;5982:18;:29::i;:::-;5908:111;:::o;4702:335::-;-1:-1:-1;;;;;4795:19:0;;4787:68;;;;-1:-1:-1;;;;;4787:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4874:21:0;;4866:68;;;;-1:-1:-1;;;;;4866:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4947:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;4998:31;;;;;;;;;;;;;;;;;4702:335;;;:::o;7584:667::-;7648:9;7644:600;-1:-1:-1;;;;;7667:17:0;;;;;;:8;:17;;;;;:24;7663:28;;7644:600;;;-1:-1:-1;;;;;7719:17:0;;;;;;:8;:17;;;;;:20;;7755:3;;7719:17;7737:1;;7719:20;;;;;;;;;;;;;;;;:32;;;:39;7715:518;;-1:-1:-1;;;;;7823:17:0;;;;;;:8;:17;;;;;:20;;7800:52;;7823:17;7841:1;;7823:20;;;;;7800:52;-1:-1:-1;;;;;7779:18:0;;:9;:18;;;;;;;;;;;:73;;;;7892:8;:17;;;;;;:20;;7876:45;;7892:17;7910:1;;7892:20;;;;;;;;;;;;;;;;:28;;;7876:45;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7940:17:0;;7971:1;7940:17;;;:8;:17;;;;;:20;;7958:1;;7940:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;:32;;;;-1:-1:-1;;;;;8002:17:0;;;;:8;:17;;;;;;:24;-1:-1:-1;;8002:28:0;7997:33;;7993:178;;-1:-1:-1;;;;;8078:17:0;;;;;;:8;:17;;;;;8096:24;;-1:-1:-1;;8096:28:0;;;8078:47;;;;;;;;;;;;;;;;8055:8;:17;8064:7;-1:-1:-1;;;;;8055:17:0;-1:-1:-1;;;;;8055:17:0;;;;;;;;;;;;8073:1;8055:20;;;;;;;;;;;;;;;;:70;;:20;;;;;:70;;;;;;;;;;;-1:-1:-1;;8148:3:0;7993:178;-1:-1:-1;;;;;8189:17:0;;;;;;:8;:17;;;;;:26;;;;;-1:-1:-1;;8189:26:0;;;:::i;:::-;;7715:518;7694:3;;7644:600;;;;7584:667;:::o;2943:256::-;3032:4;3049:36;3059:6;3067:9;3078:6;3049:9;:36::i;:::-;-1:-1:-1;;;;;3125:19:0;;;;;;:11;:19;;;;;;;;3113:10;3125:31;;;;;;;;;3096:73;;3105:6;;3125:43;;3161:6;3125:43;:35;:43;:::i;3096:73::-;-1:-1:-1;3187:4:0;2943:256;;;;;:::o;1039:181::-;1097:7;1129:5;;;1153:6;;;;1145:46;;;;;-1:-1:-1;;;;;1145:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2363:110;-1:-1:-1;;;;;2447:18:0;2420:7;2447:18;;;;;;;;;;;;2363:110::o;4398:296::-;-1:-1:-1;;;;;4471:19:0;;4463:65;;;;-1:-1:-1;;;;;4463:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4556:12;;:23;;4573:5;4556:23;:16;:23;:::i;:::-;4541:12;:38;-1:-1:-1;;;;;4609:16:0;;:9;:16;;;;;;;;;;;:27;;4630:5;4609:27;:20;:27;:::i;:::-;-1:-1:-1;;;;;4590:16:0;;:9;:16;;;;;;;;;;;:46;;;;4652:34;;;;;;;4590:9;;-1:-1:-1;;;;;;;;;;;4652:34:0;;;;;;;;;;4398:296;;:::o;1228:184::-;1286:7;1319:1;1314;:6;;1306:49;;;;;-1:-1:-1;;;;;1306:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1378:5:0;;;1228:184::o;2481:156::-;2550:4;2567:40;2577:10;2589:9;2600:6;2567:9;:40::i;6027:206::-;-1:-1:-1;;;;;6102:23:0;;6094:49;;;;;-1:-1:-1;;;;;6094:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6180:5;;6159:38;;-1:-1:-1;;;;;6159:38:0;;;;6180:5;;6159:38;;6180:5;;6159:38;6208:5;:17;;-1:-1:-1;;;;;;6208:17:0;-1:-1:-1;;;;;6208:17:0;;;;;;;;;;6027:206::o;3645:429::-;-1:-1:-1;;;;;3743:20:0;;3735:70;;;;-1:-1:-1;;;;;3735:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3824:23:0;;3816:71;;;;-1:-1:-1;;;;;3816:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3920:17:0;;:9;:17;;;;;;;;;;;:29;;3942:6;3920:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;3900:17:0;;;:9;:17;;;;;;;;;;;:49;;;;3983:20;;;;;;;:32;;4008:6;3983:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;3960:20:0;;;:9;:20;;;;;;;;;;;;:55;;;;4031:35;;;;;;;3960:20;;4031:35;;;;-1:-1:-1;;;;;;;;;;;4031:35:0;;;;;;;;3645:429;;;:::o;5232:4986::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4082:308;-1:-1:-1;;;;;4158:21:0;;4150:65;;;;;-1:-1:-1;;;;;4150:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4243:12;;:24;;4260:6;4243:24;:16;:24;:::i;:::-;4228:12;:39;-1:-1:-1;;;;;4299:18:0;;:9;:18;;;;;;;;;;;:30;;4322:6;4299:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;4278:18:0;;:9;:18;;;;;;;;;;;:51;;;;4345:37;;;;;;;4278:18;;:9;;-1:-1:-1;;;;;;;;;;;4345:37:0;;;;;;;;;4082:308;;:::o

bzzr://d488a1d5071129c7b84e3381f1751c4ef41107ecb8eae4a3cf61ef1d778414c7