Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b) library Roles    - function add(Role storage role, addre ...    - function remove(Role storage role, ad ...    - function has(Role storage role, addre ...  contract Ownable    - function isOwner(address account)    - function transferOwnership(address _n ...    - function acceptOwnership()  contract PauserRole is Ownable    - function isPauser(address account)    - function addPauser(address account)    - function removePauser(address account ...    - function renouncePauser()    - function _addPauser(address account)    - function _removePauser(address accoun ...  contract Pausable is PauserRole    - function paused()    - function pause()    - function unpause() interface IERC20    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ...  contract ERC20 is IERC20    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address from, addr ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _burnFrom(address account, u ...  contract ERC20Burnable is ERC20    - function burn(uint256 value)    - function burnFrom(address from, uint2 ...  contract ERC20Pausable is ERC20, P ...    - function transfer(address to, uint256 ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract AQT is ERC20Detailed, ERC ... *    - function balanceOf(address owner)    - function transfer(address to, uint256 ...    - function freezeAccount(address holder ...    - function lock(address holder, uint256 ...    - function transferWithLock(address hol ...    - function unlock(address holder, uint2 ...    - function upgradeTo(address _newImplem ...    - function _lock(address holder, uint25 ...    - function _unlock(address holder, uint ...    - function _autoUnlock(address holder)    - function _setImplementation(address _ ...    - function ()

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-24
*/

pragma solidity ^0.5.17;

library SafeMath {
    /**
    * @dev Multiplies two unsigned integers, reverts on overflow.
    */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    /**
    * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
    */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
    * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
    * @dev Adds two unsigned integers, reverts on overflow.
    */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    /**
    * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
    * reverts when dividing by zero.
    */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev give an account access to this role
     */
    function add(Role storage role, address account) internal {
        require(account != address(0), "Roles: account is the zero address");
        require(!has(role, account), "Roles: account already has role");

        role.bearer[account] = true;
    }

    /**
     * @dev remove an account's access to this role
     */
    function remove(Role storage role, address account) internal {
        require(account != address(0), "Roles: account is the zero address");
        require(has(role, account), "Roles: account does not have role");

        role.bearer[account] = false;
    }

    /**
     * @dev check if an account has this role
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0), "Roles: account is the zero address");
        return role.bearer[account];
    }
}

contract Ownable {
    address public owner;
    address public newOwner;

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

    constructor() public {
        owner = msg.sender;
        newOwner = address(0);
    }

    modifier onlyOwner() {
        require(msg.sender == owner, "Ownable: caller is not the owner");
        _;
    }
    modifier onlyNewOwner() {
        require(msg.sender != address(0), "Ownable: account is the zero address");
        require(msg.sender == newOwner, "Ownable: caller is not the new owner");
        _;
    }
   
    function isOwner(address account) public view returns (bool) {       
            return account == owner;
    }

    function transferOwnership(address _newOwner) public onlyOwner {
        require(_newOwner != address(0), "Ownable: new owner is the zero address");
        newOwner = _newOwner;
    }

    function acceptOwnership() public onlyNewOwner returns(bool) {
        emit OwnershipTransferred(owner, newOwner);        
        owner = newOwner;
        newOwner = address(0);
        return true;
    }
}

contract PauserRole is Ownable{
    using Roles for Roles.Role;

    event PauserAdded(address indexed account);
    event PauserRemoved(address indexed account);

    Roles.Role private _pausers;
    uint256 internal _pausersCount;

    constructor () internal {
        _addPauser(msg.sender);
    }

    modifier onlyPauser() {
        require(isPauser(msg.sender)|| isOwner(msg.sender));
        _;
    }

    function isPauser(address account) public view returns (bool) {
        return _pausers.has(account);
    }

    function addPauser(address account) public onlyPauser {
        _addPauser(account);
    }
   
    function removePauser(address account) public onlyOwner {
        _removePauser(account);
    }

    function renouncePauser() public onlyOwner {
        _removePauser(msg.sender);
    }

    function _addPauser(address account) internal {
        _pausers.add(account);
        emit PauserAdded(account);
    }

    function _removePauser(address account) internal {        
        _pausers.remove(account);
        emit PauserRemoved(account);
    }
}

contract Pausable is PauserRole {
    event Paused(address account);
    event Unpaused(address account);

    bool private _paused;

    constructor () internal {
        _paused = false;
    }

    /**
     * @return true if the contract is paused, false otherwise.
     */
    function paused() public view returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     */
    modifier whenNotPaused() {
        require(!_paused, "Pausable: paused");
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     */
    modifier whenPaused() {
        require(_paused, "Pausable: not paused");
        _;
    }

    /**
     * @dev called by the owner to pause, triggers stopped state
     */
    function pause() public onlyPauser whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

    /**
     * @dev called by the owner to unpause, returns to normal state
     */
    function unpause() public onlyPauser whenPaused {
        _paused = false;
        emit Unpaused(msg.sender);
    }
}

interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

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

    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function totalSupply() external view returns (uint256);

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

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

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) internal _balances;

    mapping (address => mapping (address => uint256)) internal _allowed;

    uint256 private _totalSupply;

    /**
    * @dev Total number of tokens in existence
    */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param owner The address to query the balance of.
    * @return An uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address owner) public view returns (uint256) {
        return _balances[owner];
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param owner address The address which owns the funds.
     * @param spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowed[owner][spender];
    }

    /**
    * @dev Transfer token for a specified address
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param spender The address which will spend the funds.
     * @param value The amount of tokens to be spent.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        require(spender != address(0), "ERC20: approve from the zero address");

        _allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev Transfer tokens from one address to another.
     * Note that while this function emits an Approval event, this is not required as per the specification,
     * and other compliant implementations may not emit the event.
     * @param from address The address which you want to send tokens from
     * @param to address The address which you want to transfer to
     * @param value uint256 the amount of tokens to be transferred
     */
    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);
        _transfer(from, to, value);
        emit Approval(from, msg.sender, _allowed[from][msg.sender]);
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when allowed_[_spender] == 0. To increment
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param addedValue The amount of tokens to increase the allowance by.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        require(spender != address(0), "ERC20: increaseAllowance from the zero address");

        _allowed[msg.sender][spender] = _allowed[msg.sender][spender].add(addedValue);
        emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     * approve should be called when allowed_[_spender] == 0. To decrement
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        require(spender != address(0), "ERC20: decreaseAllowance from the zero address");

        _allowed[msg.sender][spender] = _allowed[msg.sender][spender].sub(subtractedValue);
        emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
        return true;
    }

    /**
    * @dev Transfer token for a specified addresses
    * @param from The address to transfer from.
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0), "ERC20: account to the zero address");

        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }

    /**
     * @dev Internal function that mints an amount of the token and assigns it to
     * an account. This encapsulates the modification of balances such that the
     * proper events are emitted.
     * @param account The account that will receive the created tokens.
     * @param value The amount that will be created.
     */
    function _mint(address account, uint256 value) internal {
        require(account != address(0), "ERC20: account from the zero address");

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

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account.
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0), "ERC20: account from the zero address");

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

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account, deducting from the sender's allowance for said account. Uses the
     * internal burn function.
     * Emits an Approval event (reflecting the reduced allowance).
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burnFrom(address account, uint256 value) internal {
        _allowed[account][msg.sender] = _allowed[account][msg.sender].sub(value);
        _burn(account, value);
        emit Approval(account, msg.sender, _allowed[account][msg.sender]);
    }
}

contract ERC20Burnable is ERC20 {
    /**
     * @dev Burns a specific amount of tokens.
     * @param value The amount of token to be burned.
     */
    function burn(uint256 value) public {
        _burn(msg.sender, value);
    }

    /**
     * @dev Burns a specific amount of tokens from the target address and decrements allowance
     * @param from address The address which you want to send tokens from
     * @param value uint256 The amount of token to be burned
     */
    function burnFrom(address from, uint256 value) public {
        _burnFrom(from, value);
    }
}

contract ERC20Pausable is ERC20, Pausable {
    function transfer(address to, uint256 value) public whenNotPaused returns (bool) {
        return super.transfer(to, value);
    }

    function transferFrom(address from, address to, uint256 value) public whenNotPaused returns (bool) {
        return super.transferFrom(from, to, value);
    }

    function approve(address spender, uint256 value) public whenNotPaused returns (bool) {
        return super.approve(spender, value);
    }

    function increaseAllowance(address spender, uint addedValue) public whenNotPaused returns (bool success) {
        return super.increaseAllowance(spender, addedValue);
    }

    function decreaseAllowance(address spender, uint subtractedValue) public whenNotPaused returns (bool success) {
        return super.decreaseAllowance(spender, subtractedValue);
    }
}

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

    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

    /**
     * @return the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @return the symbol of the token.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @return the number of decimals of the token.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}


contract AQT is ERC20Detailed, ERC20Pausable, ERC20Burnable {
   
    struct LockInfo {
        uint256 _releaseTime;
        uint256 _amount;
    }
   
    address public implementation;

    mapping (address => LockInfo[]) public timelockList;
    mapping (address => bool) public frozenAccount;
   
    event Freeze(address indexed holder,bool status);    
    event Lock(address indexed holder, uint256 value, uint256 releaseTime);
    event Unlock(address indexed holder, uint256 value);

    modifier notFrozen(address _holder) {
        require(!frozenAccount[_holder], "ERC20: frozenAccount");
        _;
    }
   
    constructor() ERC20Detailed("Alpha Quark Token", "AQT", 18) public  {
        _mint(msg.sender, 30000000 * (10 ** 18));
    }
   
    function balanceOf(address owner) public view returns (uint256) {
       
        uint256 totalBalance = super.balanceOf(owner);
        if( timelockList[owner].length >0 ){
            for(uint i=0; i<timelockList[owner].length;i++){
                totalBalance = totalBalance.add(timelockList[owner][i]._amount);
            }
        }
       
        return totalBalance;
    }
   
    function transfer(address to, uint256 value) public notFrozen(msg.sender) notFrozen(to) returns (bool) {
        if (timelockList[msg.sender].length > 0 ) {
            _autoUnlock(msg.sender);            
        }
        return super.transfer(to, value);
    }
   

    function freezeAccount(address holder, bool value) public onlyPauser returns (bool) {        
        frozenAccount[holder] = value;
        emit Freeze(holder,value);
        return true;
    }

    function lock(address holder, uint256 value, uint256 releaseTime) public onlyPauser returns (bool) {
        require(_balances[holder] >= value,"There is not enough balances of holder.");
        _lock(holder,value,releaseTime);
       
        return true;
    }
   
    function transferWithLock(address holder, uint256 value, uint256 releaseTime) public onlyPauser returns (bool) {
        _transfer(msg.sender, holder, value);
        _lock(holder,value,releaseTime);
        return true;
    }
   
    function unlock(address holder, uint256 idx) public onlyPauser returns (bool) {
        require( timelockList[holder].length > idx, "There is not lock info.");
        _unlock(holder,idx);
        return true;
    }
   
    /**
     * @dev Upgrades the implementation address
     * @param _newImplementation address of the new implementation
     */
    function upgradeTo(address _newImplementation) public onlyOwner {
        require(implementation != _newImplementation);
        _setImplementation(_newImplementation);
    }
   
    function _lock(address holder, uint256 value, uint256 releaseTime) internal returns(bool) {
        _balances[holder] = _balances[holder].sub(value);
        timelockList[holder].push( LockInfo(releaseTime, value) );
       
        emit Lock(holder, value, releaseTime);
        return true;
    }
   
    function _unlock(address holder, uint256 idx) internal returns(bool) {
        LockInfo storage lockinfo = timelockList[holder][idx];
        uint256 releaseAmount = lockinfo._amount;
        timelockList[holder][idx] = timelockList[holder][timelockList[holder].length.sub(1)];
        timelockList[holder].pop();
       
        emit Unlock(holder, releaseAmount);
        _balances[holder] = _balances[holder].add(releaseAmount);
       
        return true;
    }
   
    function _autoUnlock(address holder) internal returns(bool) {
        for(uint256 idx =0; idx < timelockList[holder].length ; idx++ ) {
            if (timelockList[holder][idx]._releaseTime <= now) {
                // If lockupinfo was deleted, loop restart at same position.
                if( _unlock(holder, idx) ) {
                    idx -=1;
                }
            }
        }
        return true;
    }
   
    /**
     * @dev Sets the address of the current implementation
     * @param _newImp address of the new implementation
     */
    function _setImplementation(address _newImp) internal {
        implementation = _newImp;
    }
   
    /**
     * @dev Fallback function allowing to perform a delegatecall
     * to the given implementation. This function will return
     * whatever the implementation call returns
     */
    function () payable external {
        address impl = implementation;
        require(impl != address(0), "ERC20: account is the zero address");
        assembly {
            let ptr := mload(0x40)
            calldatacopy(ptr, 0, calldatasize)
            let result := delegatecall(gas, impl, ptr, calldatasize, 0, 0)
            let size := returndatasize
            returndatacopy(ptr, 0, size)
           
            switch result
            case 0 { revert(ptr, size) }
            default { return(ptr, size) }
        }
    }
}

• Certik - September 21st, 2020 - Security Audit Report

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"},{"indexed":false,"internalType":"bool","name":"status","type":"bool"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"releaseTime","type":"uint256"}],"name":"Lock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Unlock","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"bool","name":"value","type":"bool"}],"name":"freezeAccount","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"frozenAccount","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"implementation","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isPauser","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"releaseTime","type":"uint256"}],"name":"lock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"removePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"timelockList","outputs":[{"internalType":"uint256","name":"_releaseTime","type":"uint256"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"releaseTime","type":"uint256"}],"name":"transferWithLock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"uint256","name":"idx","type":"uint256"}],"name":"unlock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newImplementation","type":"address"}],"name":"upgradeTo","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b50604080518082018252601181527020b63834309028bab0b935902a37b5b2b760791b60208083019182528351808501909452600384526210545560ea1b9084015281519192916012916200006a9160009190620003d2565b50815162000080906001906020850190620003d2565b506002805460ff191660ff92909216919091179055505060068054336001600160a01b03199182168117909255600780549091169055620000c190620000f1565b600a805460ff19169055620000eb336a18d0bf423c03d8de0000006001600160e01b036200014316565b62000477565b6200010c8160086200023360201b62001f211790919060201c565b6040516001600160a01b038216907f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f890600090a250565b6001600160a01b0382166200018a5760405162461bcd60e51b8152600401808060200182810382526024815260200180620026b06024913960400191505060405180910390fd5b620001a6816005546200030760201b620018071790919060201c565b6005556001600160a01b038216600090815260036020908152604090912054620001db9183906200180762000307821b17901c565b6001600160a01b03831660008181526003602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b0381166200027a5760405162461bcd60e51b8152600401808060200182810382526022815260200180620026d46022913960400191505060405180910390fd5b6200028f82826001600160e01b036200036916565b15620002e2576040805162461bcd60e51b815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b60008282018381101562000362576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b60006001600160a01b038216620003b25760405162461bcd60e51b8152600401808060200182810382526022815260200180620026d46022913960400191505060405180910390fd5b506001600160a01b03166000908152602091909152604090205460ff1690565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200041557805160ff191683800117855562000445565b8280016001018555821562000445579182015b828111156200044557825182559160200191906001019062000428565b506200045392915062000457565b5090565b6200047491905b808211156200045357600081556001016200045e565b90565b61222980620004876000396000f3fe6080604052600436106101ee5760003560e01c806379ba50971161010d578063a9059cbb116100a0578063dd62ed3e1161006f578063dd62ed3e146107a5578063de6baccb146107e0578063e2ab691d1461081f578063e724529c1461085e578063f2fde38b14610899576101ee565b8063a9059cbb146106d2578063b414d4b61461070b578063d26c4a761461073e578063d4ee1d9014610790576101ee565b80638456cb59116100dc5780638456cb591461065a5780638da5cb5b1461066f57806395d89b4114610684578063a457c2d714610699576101ee565b806379ba5097146105a057806379cc6790146105b55780637eee288d146105ee57806382dc1ec414610627576101ee565b80633f4ba83a116101855780635c975abb116101545780635c975abb146105105780636b2c0f55146105255780636ef8d66d1461055857806370a082311461056d576101ee565b80633f4ba83a1461046d57806342966c681461048257806346fbf68e146104ac5780635c60da1b146104df576101ee565b80632f54bf6e116101c15780632f54bf6e146103a1578063313ce567146103d45780633659cfe6146103ff5780633950935114610434576101ee565b806306fdde0314610260578063095ea7b3146102ea57806318160ddd1461033757806323b872dd1461035e575b600a5461010090046001600160a01b03168061023b5760405162461bcd60e51b81526004018080602001828103825260228152602001806120606022913960400191505060405180910390fd5b60405136600082376000803683855af43d806000843e81801561025c578184f35b8184fd5b34801561026c57600080fd5b506102756108cc565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102af578181015183820152602001610297565b50505050905090810190601f1680156102dc5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102f657600080fd5b506103236004803603604081101561030d57600080fd5b506001600160a01b038135169060200135610962565b604080519115158252519081900360200190f35b34801561034357600080fd5b5061034c6109c1565b60408051918252519081900360200190f35b34801561036a57600080fd5b506103236004803603606081101561038157600080fd5b506001600160a01b038135811691602081013590911690604001356109c7565b3480156103ad57600080fd5b50610323600480360360208110156103c457600080fd5b50356001600160a01b0316610a28565b3480156103e057600080fd5b506103e9610a3c565b6040805160ff9092168252519081900360200190f35b34801561040b57600080fd5b506104326004803603602081101561042257600080fd5b50356001600160a01b0316610a45565b005b34801561044057600080fd5b506103236004803603604081101561045757600080fd5b506001600160a01b038135169060200135610abe565b34801561047957600080fd5b50610432610b16565b34801561048e57600080fd5b50610432600480360360208110156104a557600080fd5b5035610bc4565b3480156104b857600080fd5b50610323600480360360208110156104cf57600080fd5b50356001600160a01b0316610bce565b3480156104eb57600080fd5b506104f4610be7565b604080516001600160a01b039092168252519081900360200190f35b34801561051c57600080fd5b50610323610bfb565b34801561053157600080fd5b506104326004803603602081101561054857600080fd5b50356001600160a01b0316610c04565b34801561056457600080fd5b50610432610c5a565b34801561057957600080fd5b5061034c6004803603602081101561059057600080fd5b50356001600160a01b0316610cb2565b3480156105ac57600080fd5b50610323610d5d565b3480156105c157600080fd5b50610432600480360360408110156105d857600080fd5b506001600160a01b038135169060200135610e4e565b3480156105fa57600080fd5b506103236004803603604081101561061157600080fd5b506001600160a01b038135169060200135610e5c565b34801561063357600080fd5b506104326004803603602081101561064a57600080fd5b50356001600160a01b0316610eff565b34801561066657600080fd5b50610432610f29565b34801561067b57600080fd5b506104f4610fd7565b34801561069057600080fd5b50610275610fe6565b3480156106a557600080fd5b50610323600480360360408110156106bc57600080fd5b506001600160a01b038135169060200135611046565b3480156106de57600080fd5b50610323600480360360408110156106f557600080fd5b506001600160a01b03813516906020013561109e565b34801561071757600080fd5b506103236004803603602081101561072e57600080fd5b50356001600160a01b0316611197565b34801561074a57600080fd5b506107776004803603604081101561076157600080fd5b506001600160a01b0381351690602001356111ac565b6040805192835260208301919091528051918290030190f35b34801561079c57600080fd5b506104f46111e5565b3480156107b157600080fd5b5061034c600480360360408110156107c857600080fd5b506001600160a01b03813581169160200135166111f4565b3480156107ec57600080fd5b506103236004803603606081101561080357600080fd5b506001600160a01b03813516906020810135906040013561121f565b34801561082b57600080fd5b506103236004803603606081101561084257600080fd5b506001600160a01b038135169060208101359060400135611263565b34801561086a57600080fd5b506103236004803603604081101561088157600080fd5b506001600160a01b03813516906020013515156112dd565b3480156108a557600080fd5b50610432600480360360208110156108bc57600080fd5b50356001600160a01b0316611365565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156109585780601f1061092d57610100808354040283529160200191610958565b820191906000526020600020905b81548152906001019060200180831161093b57829003601f168201915b5050505050905090565b600a5460009060ff16156109b0576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6109ba8383611419565b9392505050565b60055490565b600a5460009060ff1615610a15576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b610a208484846114b5565b949350505050565b6006546001600160a01b0390811691161490565b60025460ff1690565b6006546001600160a01b03163314610a92576040805162461bcd60e51b815260206004820181905260248201526000805160206120d7833981519152604482015290519081900360640190fd5b600a546001600160a01b03828116610100909204161415610ab257600080fd5b610abb8161156c565b50565b600a5460009060ff1615610b0c576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6109ba8383611594565b610b1f33610bce565b80610b2e5750610b2e33610a28565b610b3757600080fd5b600a5460ff16610b85576040805162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604482015290519081900360640190fd5b600a805460ff191690556040805133815290517f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa9181900360200190a1565b610abb3382611662565b6000610be160088363ffffffff61173d16565b92915050565b600a5461010090046001600160a01b031681565b600a5460ff1690565b6006546001600160a01b03163314610c51576040805162461bcd60e51b815260206004820181905260248201526000805160206120d7833981519152604482015290519081900360640190fd5b610abb816117a4565b6006546001600160a01b03163314610ca7576040805162461bcd60e51b815260206004820181905260248201526000805160206120d7833981519152604482015290519081900360640190fd5b610cb0336117a4565b565b600080610cbe836117ec565b6001600160a01b0384166000908152600b602052604090205490915015610be15760005b6001600160a01b0384166000908152600b6020526040902054811015610d56576001600160a01b0384166000908152600b602052604090208054610d4c919083908110610d2b57fe5b9060005260206000209060020201600101548361180790919063ffffffff16565b9150600101610ce2565b5092915050565b600033610d9b5760405162461bcd60e51b815260040180806020018281038252602481526020018061213b6024913960400191505060405180910390fd5b6007546001600160a01b03163314610de45760405162461bcd60e51b81526004018080602001828103825260248152602001806121d16024913960400191505060405180910390fd5b6007546006546040516001600160a01b0392831692909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35060078054600680546001600160a01b03199081166001600160a01b03841617909155169055600190565b610e588282611861565b5050565b6000610e6733610bce565b80610e765750610e7633610a28565b610e7f57600080fd5b6001600160a01b0383166000908152600b60205260409020548210610eeb576040805162461bcd60e51b815260206004820152601760248201527f5468657265206973206e6f74206c6f636b20696e666f2e000000000000000000604482015290519081900360640190fd5b610ef58383611911565b5060019392505050565b610f0833610bce565b80610f175750610f1733610a28565b610f2057600080fd5b610abb81611ab2565b610f3233610bce565b80610f415750610f4133610a28565b610f4a57600080fd5b600a5460ff1615610f95576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b600a805460ff191660011790556040805133815290517f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2589181900360200190a1565b6006546001600160a01b031681565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156109585780601f1061092d57610100808354040283529160200191610958565b600a5460009060ff1615611094576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6109ba8383611afa565b336000818152600c602052604081205490919060ff16156110fd576040805162461bcd60e51b8152602060048201526014602482015273115490cc8c0e88199c9bde995b9058d8dbdd5b9d60621b604482015290519081900360640190fd5b6001600160a01b0384166000908152600c6020526040902054849060ff1615611164576040805162461bcd60e51b8152602060048201526014602482015273115490cc8c0e88199c9bde995b9058d8dbdd5b9d60621b604482015290519081900360640190fd5b336000908152600b6020526040902054156111845761118233611b75565b505b61118e8585611bfc565b95945050505050565b600c6020526000908152604090205460ff1681565b600b60205281600052604060002081815481106111c557fe5b600091825260209091206002909102018054600190910154909250905082565b6007546001600160a01b031681565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b600061122a33610bce565b80611239575061123933610a28565b61124257600080fd5b61124d338585611c54565b611258848484611d53565b506001949350505050565b600061126e33610bce565b8061127d575061127d33610a28565b61128657600080fd5b6001600160a01b03841660009081526003602052604090205483111561124d5760405162461bcd60e51b81526004018080602001828103825260278152602001806120b06027913960400191505060405180910390fd5b60006112e833610bce565b806112f757506112f733610a28565b61130057600080fd5b6001600160a01b0383166000818152600c6020908152604091829020805460ff1916861515908117909155825190815291517ff022c1fbc00daf4d2e6cdc62e0338b967bd3be38ccc3d7f8e0168bd668c7bcfe9281900390910190a250600192915050565b6006546001600160a01b031633146113b2576040805162461bcd60e51b815260206004820181905260248201526000805160206120d7833981519152604482015290519081900360640190fd5b6001600160a01b0381166113f75760405162461bcd60e51b81526004018080602001828103825260268152602001806120196026913960400191505060405180910390fd5b600780546001600160a01b0319166001600160a01b0392909216919091179055565b60006001600160a01b0383166114605760405162461bcd60e51b81526004018080602001828103825260248152602001806121ad6024913960400191505060405180910390fd5b3360008181526004602090815260408083206001600160a01b038816808552908352928190208690558051868152905192939260008051602061215f833981519152929181900390910190a350600192915050565b6001600160a01b03831660009081526004602090815260408083203384529091528120546114e9908363ffffffff611e1816565b6001600160a01b0385166000908152600460209081526040808320338452909152902055611518848484611c54565b6001600160a01b03841660008181526004602090815260408083203380855290835292819020548151908152905192939260008051602061215f833981519152929181900390910190a35060019392505050565b600a80546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b60006001600160a01b0383166115db5760405162461bcd60e51b815260040180806020018281038252602e81526020018061217f602e913960400191505060405180910390fd5b3360009081526004602090815260408083206001600160a01b038716845290915290205461160f908363ffffffff61180716565b3360008181526004602090815260408083206001600160a01b03891680855290835292819020859055805194855251919360008051602061215f833981519152929081900390910190a350600192915050565b6001600160a01b0382166116a75760405162461bcd60e51b8152600401808060200182810382526024815260200180611ff56024913960400191505060405180910390fd5b6005546116ba908263ffffffff611e1816565b6005556001600160a01b0382166000908152600360205260409020546116e6908263ffffffff611e1816565b6001600160a01b0383166000818152600360209081526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b60006001600160a01b0382166117845760405162461bcd60e51b81526004018080602001828103825260228152602001806120f76022913960400191505060405180910390fd5b506001600160a01b03166000908152602091909152604090205460ff1690565b6117b560088263ffffffff611e7516565b6040516001600160a01b038216907fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e90600090a250565b6001600160a01b031660009081526003602052604090205490565b6000828201838110156109ba576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b0382166000908152600460209081526040808320338452909152902054611895908263ffffffff611e1816565b6001600160a01b03831660009081526004602090815260408083203384529091529020556118c38282611662565b6001600160a01b03821660008181526004602090815260408083203380855290835292819020548151908152905192939260008051602061215f833981519152929181900390910190a35050565b6001600160a01b0382166000908152600b6020526040812080548291908490811061193857fe5b600091825260208083206001600290930201828101546001600160a01b0389168552600b909252604090932080549394509092909161197d919063ffffffff611e1816565b8154811061198757fe5b9060005260206000209060020201600b6000876001600160a01b03166001600160a01b0316815260200190815260200160002085815481106119c557fe5b60009182526020808320845460029093020191825560019384015493909101929092556001600160a01b0387168152600b90915260409020805480611a0657fe5b600082815260208082206002600019909401938402018281556001019190915591556040805183815290516001600160a01b038816927f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1928290030190a26001600160a01b038516600090815260036020526040902054611a8d908263ffffffff61180716565b6001600160a01b03861660009081526003602052604090205550600191505092915050565b611ac360088263ffffffff611f2116565b6040516001600160a01b038216907f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f890600090a250565b60006001600160a01b038316611b415760405162461bcd60e51b815260040180806020018281038252602e815260200180612082602e913960400191505060405180910390fd5b3360009081526004602090815260408083206001600160a01b038716845290915290205461160f908363ffffffff611e1816565b6000805b6001600160a01b0383166000908152600b6020526040902054811015611bf3576001600160a01b0383166000908152600b60205260409020805442919083908110611bc057fe5b90600052602060002090600202016000015411611beb57611be18382611911565b15611beb57600019015b600101611b79565b50600192915050565b600a5460009060ff1615611c4a576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6109ba8383611fe7565b6001600160a01b038216611c995760405162461bcd60e51b81526004018080602001828103825260228152602001806121196022913960400191505060405180910390fd5b6001600160a01b038316600090815260036020526040902054611cc2908263ffffffff611e1816565b6001600160a01b038085166000908152600360205260408082209390935590841681522054611cf7908263ffffffff61180716565b6001600160a01b0380841660008181526003602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6001600160a01b038316600090815260036020526040812054611d7c908463ffffffff611e1816565b6001600160a01b038516600081815260036020908152604080832094909455600b8152838220845180860186528781528083018981528254600181810185559386529484902091516002909502909101938455519201919091558251868152908101859052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a25060019392505050565b600082821115611e6f576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b6001600160a01b038116611eba5760405162461bcd60e51b81526004018080602001828103825260228152602001806120f76022913960400191505060405180910390fd5b611ec4828261173d565b611eff5760405162461bcd60e51b815260040180806020018281038252602181526020018061203f6021913960400191505060405180910390fd5b6001600160a01b0316600090815260209190915260409020805460ff19169055565b6001600160a01b038116611f665760405162461bcd60e51b81526004018080602001828103825260228152602001806120f76022913960400191505060405180910390fd5b611f70828261173d565b15611fc2576040805162461bcd60e51b815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6000611bf3338484611c5456fe45524332303a206163636f756e742066726f6d20746865207a65726f20616464726573734f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c6545524332303a206163636f756e7420697320746865207a65726f206164647265737345524332303a206465637265617365416c6c6f77616e63652066726f6d20746865207a65726f20616464726573735468657265206973206e6f7420656e6f7567682062616c616e636573206f6620686f6c6465722e4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a206163636f756e7420746f20746865207a65726f20616464726573734f776e61626c653a206163636f756e7420697320746865207a65726f20616464726573738c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92545524332303a20696e637265617365416c6c6f77616e63652066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f20616464726573734f776e61626c653a2063616c6c6572206973206e6f7420746865206e6577206f776e6572a265627a7a72315820f56c893ba9b1851bfc08c366c250bae164d60dd02c395a0437946c0b31c64c5364736f6c6343000511003245524332303a206163636f756e742066726f6d20746865207a65726f2061646472657373526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373

0x6080604052600436106101ee5760003560e01c806379ba50971161010d578063a9059cbb116100a0578063dd62ed3e1161006f578063dd62ed3e146107a5578063de6baccb146107e0578063e2ab691d1461081f578063e724529c1461085e578063f2fde38b14610899576101ee565b8063a9059cbb146106d2578063b414d4b61461070b578063d26c4a761461073e578063d4ee1d9014610790576101ee565b80638456cb59116100dc5780638456cb591461065a5780638da5cb5b1461066f57806395d89b4114610684578063a457c2d714610699576101ee565b806379ba5097146105a057806379cc6790146105b55780637eee288d146105ee57806382dc1ec414610627576101ee565b80633f4ba83a116101855780635c975abb116101545780635c975abb146105105780636b2c0f55146105255780636ef8d66d1461055857806370a082311461056d576101ee565b80633f4ba83a1461046d57806342966c681461048257806346fbf68e146104ac5780635c60da1b146104df576101ee565b80632f54bf6e116101c15780632f54bf6e146103a1578063313ce567146103d45780633659cfe6146103ff5780633950935114610434576101ee565b806306fdde0314610260578063095ea7b3146102ea57806318160ddd1461033757806323b872dd1461035e575b600a5461010090046001600160a01b03168061023b5760405162461bcd60e51b81526004018080602001828103825260228152602001806120606022913960400191505060405180910390fd5b60405136600082376000803683855af43d806000843e81801561025c578184f35b8184fd5b34801561026c57600080fd5b506102756108cc565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102af578181015183820152602001610297565b50505050905090810190601f1680156102dc5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102f657600080fd5b506103236004803603604081101561030d57600080fd5b506001600160a01b038135169060200135610962565b604080519115158252519081900360200190f35b34801561034357600080fd5b5061034c6109c1565b60408051918252519081900360200190f35b34801561036a57600080fd5b506103236004803603606081101561038157600080fd5b506001600160a01b038135811691602081013590911690604001356109c7565b3480156103ad57600080fd5b50610323600480360360208110156103c457600080fd5b50356001600160a01b0316610a28565b3480156103e057600080fd5b506103e9610a3c565b6040805160ff9092168252519081900360200190f35b34801561040b57600080fd5b506104326004803603602081101561042257600080fd5b50356001600160a01b0316610a45565b005b34801561044057600080fd5b506103236004803603604081101561045757600080fd5b506001600160a01b038135169060200135610abe565b34801561047957600080fd5b50610432610b16565b34801561048e57600080fd5b50610432600480360360208110156104a557600080fd5b5035610bc4565b3480156104b857600080fd5b50610323600480360360208110156104cf57600080fd5b50356001600160a01b0316610bce565b3480156104eb57600080fd5b506104f4610be7565b604080516001600160a01b039092168252519081900360200190f35b34801561051c57600080fd5b50610323610bfb565b34801561053157600080fd5b506104326004803603602081101561054857600080fd5b50356001600160a01b0316610c04565b34801561056457600080fd5b50610432610c5a565b34801561057957600080fd5b5061034c6004803603602081101561059057600080fd5b50356001600160a01b0316610cb2565b3480156105ac57600080fd5b50610323610d5d565b3480156105c157600080fd5b50610432600480360360408110156105d857600080fd5b506001600160a01b038135169060200135610e4e565b3480156105fa57600080fd5b506103236004803603604081101561061157600080fd5b506001600160a01b038135169060200135610e5c565b34801561063357600080fd5b506104326004803603602081101561064a57600080fd5b50356001600160a01b0316610eff565b34801561066657600080fd5b50610432610f29565b34801561067b57600080fd5b506104f4610fd7565b34801561069057600080fd5b50610275610fe6565b3480156106a557600080fd5b50610323600480360360408110156106bc57600080fd5b506001600160a01b038135169060200135611046565b3480156106de57600080fd5b50610323600480360360408110156106f557600080fd5b506001600160a01b03813516906020013561109e565b34801561071757600080fd5b506103236004803603602081101561072e57600080fd5b50356001600160a01b0316611197565b34801561074a57600080fd5b506107776004803603604081101561076157600080fd5b506001600160a01b0381351690602001356111ac565b6040805192835260208301919091528051918290030190f35b34801561079c57600080fd5b506104f46111e5565b3480156107b157600080fd5b5061034c600480360360408110156107c857600080fd5b506001600160a01b03813581169160200135166111f4565b3480156107ec57600080fd5b506103236004803603606081101561080357600080fd5b506001600160a01b03813516906020810135906040013561121f565b34801561082b57600080fd5b506103236004803603606081101561084257600080fd5b506001600160a01b038135169060208101359060400135611263565b34801561086a57600080fd5b506103236004803603604081101561088157600080fd5b506001600160a01b03813516906020013515156112dd565b3480156108a557600080fd5b50610432600480360360208110156108bc57600080fd5b50356001600160a01b0316611365565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156109585780601f1061092d57610100808354040283529160200191610958565b820191906000526020600020905b81548152906001019060200180831161093b57829003601f168201915b5050505050905090565b600a5460009060ff16156109b0576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6109ba8383611419565b9392505050565b60055490565b600a5460009060ff1615610a15576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b610a208484846114b5565b949350505050565b6006546001600160a01b0390811691161490565b60025460ff1690565b6006546001600160a01b03163314610a92576040805162461bcd60e51b815260206004820181905260248201526000805160206120d7833981519152604482015290519081900360640190fd5b600a546001600160a01b03828116610100909204161415610ab257600080fd5b610abb8161156c565b50565b600a5460009060ff1615610b0c576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6109ba8383611594565b610b1f33610bce565b80610b2e5750610b2e33610a28565b610b3757600080fd5b600a5460ff16610b85576040805162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604482015290519081900360640190fd5b600a805460ff191690556040805133815290517f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa9181900360200190a1565b610abb3382611662565b6000610be160088363ffffffff61173d16565b92915050565b600a5461010090046001600160a01b031681565b600a5460ff1690565b6006546001600160a01b03163314610c51576040805162461bcd60e51b815260206004820181905260248201526000805160206120d7833981519152604482015290519081900360640190fd5b610abb816117a4565b6006546001600160a01b03163314610ca7576040805162461bcd60e51b815260206004820181905260248201526000805160206120d7833981519152604482015290519081900360640190fd5b610cb0336117a4565b565b600080610cbe836117ec565b6001600160a01b0384166000908152600b602052604090205490915015610be15760005b6001600160a01b0384166000908152600b6020526040902054811015610d56576001600160a01b0384166000908152600b602052604090208054610d4c919083908110610d2b57fe5b9060005260206000209060020201600101548361180790919063ffffffff16565b9150600101610ce2565b5092915050565b600033610d9b5760405162461bcd60e51b815260040180806020018281038252602481526020018061213b6024913960400191505060405180910390fd5b6007546001600160a01b03163314610de45760405162461bcd60e51b81526004018080602001828103825260248152602001806121d16024913960400191505060405180910390fd5b6007546006546040516001600160a01b0392831692909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35060078054600680546001600160a01b03199081166001600160a01b03841617909155169055600190565b610e588282611861565b5050565b6000610e6733610bce565b80610e765750610e7633610a28565b610e7f57600080fd5b6001600160a01b0383166000908152600b60205260409020548210610eeb576040805162461bcd60e51b815260206004820152601760248201527f5468657265206973206e6f74206c6f636b20696e666f2e000000000000000000604482015290519081900360640190fd5b610ef58383611911565b5060019392505050565b610f0833610bce565b80610f175750610f1733610a28565b610f2057600080fd5b610abb81611ab2565b610f3233610bce565b80610f415750610f4133610a28565b610f4a57600080fd5b600a5460ff1615610f95576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b600a805460ff191660011790556040805133815290517f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2589181900360200190a1565b6006546001600160a01b031681565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156109585780601f1061092d57610100808354040283529160200191610958565b600a5460009060ff1615611094576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6109ba8383611afa565b336000818152600c602052604081205490919060ff16156110fd576040805162461bcd60e51b8152602060048201526014602482015273115490cc8c0e88199c9bde995b9058d8dbdd5b9d60621b604482015290519081900360640190fd5b6001600160a01b0384166000908152600c6020526040902054849060ff1615611164576040805162461bcd60e51b8152602060048201526014602482015273115490cc8c0e88199c9bde995b9058d8dbdd5b9d60621b604482015290519081900360640190fd5b336000908152600b6020526040902054156111845761118233611b75565b505b61118e8585611bfc565b95945050505050565b600c6020526000908152604090205460ff1681565b600b60205281600052604060002081815481106111c557fe5b600091825260209091206002909102018054600190910154909250905082565b6007546001600160a01b031681565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b600061122a33610bce565b80611239575061123933610a28565b61124257600080fd5b61124d338585611c54565b611258848484611d53565b506001949350505050565b600061126e33610bce565b8061127d575061127d33610a28565b61128657600080fd5b6001600160a01b03841660009081526003602052604090205483111561124d5760405162461bcd60e51b81526004018080602001828103825260278152602001806120b06027913960400191505060405180910390fd5b60006112e833610bce565b806112f757506112f733610a28565b61130057600080fd5b6001600160a01b0383166000818152600c6020908152604091829020805460ff1916861515908117909155825190815291517ff022c1fbc00daf4d2e6cdc62e0338b967bd3be38ccc3d7f8e0168bd668c7bcfe9281900390910190a250600192915050565b6006546001600160a01b031633146113b2576040805162461bcd60e51b815260206004820181905260248201526000805160206120d7833981519152604482015290519081900360640190fd5b6001600160a01b0381166113f75760405162461bcd60e51b81526004018080602001828103825260268152602001806120196026913960400191505060405180910390fd5b600780546001600160a01b0319166001600160a01b0392909216919091179055565b60006001600160a01b0383166114605760405162461bcd60e51b81526004018080602001828103825260248152602001806121ad6024913960400191505060405180910390fd5b3360008181526004602090815260408083206001600160a01b038816808552908352928190208690558051868152905192939260008051602061215f833981519152929181900390910190a350600192915050565b6001600160a01b03831660009081526004602090815260408083203384529091528120546114e9908363ffffffff611e1816565b6001600160a01b0385166000908152600460209081526040808320338452909152902055611518848484611c54565b6001600160a01b03841660008181526004602090815260408083203380855290835292819020548151908152905192939260008051602061215f833981519152929181900390910190a35060019392505050565b600a80546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b60006001600160a01b0383166115db5760405162461bcd60e51b815260040180806020018281038252602e81526020018061217f602e913960400191505060405180910390fd5b3360009081526004602090815260408083206001600160a01b038716845290915290205461160f908363ffffffff61180716565b3360008181526004602090815260408083206001600160a01b03891680855290835292819020859055805194855251919360008051602061215f833981519152929081900390910190a350600192915050565b6001600160a01b0382166116a75760405162461bcd60e51b8152600401808060200182810382526024815260200180611ff56024913960400191505060405180910390fd5b6005546116ba908263ffffffff611e1816565b6005556001600160a01b0382166000908152600360205260409020546116e6908263ffffffff611e1816565b6001600160a01b0383166000818152600360209081526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b60006001600160a01b0382166117845760405162461bcd60e51b81526004018080602001828103825260228152602001806120f76022913960400191505060405180910390fd5b506001600160a01b03166000908152602091909152604090205460ff1690565b6117b560088263ffffffff611e7516565b6040516001600160a01b038216907fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e90600090a250565b6001600160a01b031660009081526003602052604090205490565b6000828201838110156109ba576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b0382166000908152600460209081526040808320338452909152902054611895908263ffffffff611e1816565b6001600160a01b03831660009081526004602090815260408083203384529091529020556118c38282611662565b6001600160a01b03821660008181526004602090815260408083203380855290835292819020548151908152905192939260008051602061215f833981519152929181900390910190a35050565b6001600160a01b0382166000908152600b6020526040812080548291908490811061193857fe5b600091825260208083206001600290930201828101546001600160a01b0389168552600b909252604090932080549394509092909161197d919063ffffffff611e1816565b8154811061198757fe5b9060005260206000209060020201600b6000876001600160a01b03166001600160a01b0316815260200190815260200160002085815481106119c557fe5b60009182526020808320845460029093020191825560019384015493909101929092556001600160a01b0387168152600b90915260409020805480611a0657fe5b600082815260208082206002600019909401938402018281556001019190915591556040805183815290516001600160a01b038816927f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1928290030190a26001600160a01b038516600090815260036020526040902054611a8d908263ffffffff61180716565b6001600160a01b03861660009081526003602052604090205550600191505092915050565b611ac360088263ffffffff611f2116565b6040516001600160a01b038216907f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f890600090a250565b60006001600160a01b038316611b415760405162461bcd60e51b815260040180806020018281038252602e815260200180612082602e913960400191505060405180910390fd5b3360009081526004602090815260408083206001600160a01b038716845290915290205461160f908363ffffffff611e1816565b6000805b6001600160a01b0383166000908152600b6020526040902054811015611bf3576001600160a01b0383166000908152600b60205260409020805442919083908110611bc057fe5b90600052602060002090600202016000015411611beb57611be18382611911565b15611beb57600019015b600101611b79565b50600192915050565b600a5460009060ff1615611c4a576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6109ba8383611fe7565b6001600160a01b038216611c995760405162461bcd60e51b81526004018080602001828103825260228152602001806121196022913960400191505060405180910390fd5b6001600160a01b038316600090815260036020526040902054611cc2908263ffffffff611e1816565b6001600160a01b038085166000908152600360205260408082209390935590841681522054611cf7908263ffffffff61180716565b6001600160a01b0380841660008181526003602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6001600160a01b038316600090815260036020526040812054611d7c908463ffffffff611e1816565b6001600160a01b038516600081815260036020908152604080832094909455600b8152838220845180860186528781528083018981528254600181810185559386529484902091516002909502909101938455519201919091558251868152908101859052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a25060019392505050565b600082821115611e6f576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b6001600160a01b038116611eba5760405162461bcd60e51b81526004018080602001828103825260228152602001806120f76022913960400191505060405180910390fd5b611ec4828261173d565b611eff5760405162461bcd60e51b815260040180806020018281038252602181526020018061203f6021913960400191505060405180910390fd5b6001600160a01b0316600090815260209190915260409020805460ff19169055565b6001600160a01b038116611f665760405162461bcd60e51b81526004018080602001828103825260228152602001806120f76022913960400191505060405180910390fd5b611f70828261173d565b15611fc2576040805162461bcd60e51b815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6000611bf3338484611c5456fe45524332303a206163636f756e742066726f6d20746865207a65726f20616464726573734f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c6545524332303a206163636f756e7420697320746865207a65726f206164647265737345524332303a206465637265617365416c6c6f77616e63652066726f6d20746865207a65726f20616464726573735468657265206973206e6f7420656e6f7567682062616c616e636573206f6620686f6c6465722e4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a206163636f756e7420746f20746865207a65726f20616464726573734f776e61626c653a206163636f756e7420697320746865207a65726f20616464726573738c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92545524332303a20696e637265617365416c6c6f77616e63652066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f20616464726573734f776e61626c653a2063616c6c6572206973206e6f7420746865206e6577206f776e6572a265627a7a72315820f56c893ba9b1851bfc08c366c250bae164d60dd02c395a0437946c0b31c64c5364736f6c63430005110032

16820:4985:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21306:14;;;;;-1:-1:-1;;;;;21306:14:0;;21331:65;;;;-1:-1:-1;;;21331:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21448:4;21442:11;21488:12;21485:1;21480:3;21467:34;21575:1;21572;21558:12;21553:3;21547:4;21542:3;21529:48;21603:14;21654:4;21651:1;21646:3;21631:28;21693:6;21713:28;;;;21777:4;21772:3;21765:17;21713:28;21734:4;21729:3;21722:17;16412:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16412:83:0;;;:::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;16412:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15529:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15529:140:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15529:140:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;7493:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7493:91:0;;;:::i;:::-;;;;;;;;;;;;;;;;15361:160;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15361:160:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15361:160:0;;;;;;;;;;;;;;;;;:::i;3653:114::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3653:114:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3653:114:0;-1:-1:-1;;;;;3653:114:0;;:::i;16728:83::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16728:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;19381:177;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19381:177:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19381:177:0;-1:-1:-1;;;;;19381:177:0;;:::i;:::-;;15677:175;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15677:175:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15677:175:0;;;;;;;;:::i;6399:118::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6399:118:0;;;:::i;14732:79::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14732:79:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14732:79:0;;:::i;4620:109::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4620:109:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4620:109:0;-1:-1:-1;;;;;4620:109:0;;:::i;16984:29::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16984:29:0;;;:::i;:::-;;;;-1:-1:-1;;;;;16984:29:0;;;;;;;;;;;;;;5608:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5608:78:0;;;:::i;4840:97::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4840:97:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4840:97:0;-1:-1:-1;;;;;4840:97:0;;:::i;4945:87::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4945:87:0;;;:::i;17606:392::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17606:392:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17606:392:0;-1:-1:-1;;;;;17606:392:0;;:::i;3970:211::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3970:211:0;;;:::i;15070:95::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15070:95:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15070:95:0;;;;;;;;:::i;19016:219::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19016:219:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;19016:219:0;;;;;;;;:::i;4737:92::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4737:92:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4737:92:0;-1:-1:-1;;;;;4737:92:0;;:::i;6188:116::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6188:116:0;;;:::i;3061:20::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3061:20:0;;;:::i;16562:87::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16562:87:0;;;:::i;15860:185::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15860:185:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15860:185:0;;;;;;;;:::i;18009:268::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18009:268:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;18009:268:0;;;;;;;;:::i;17080:46::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17080:46:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17080:46:0;-1:-1:-1;;;;;17080:46:0;;:::i;17022:51::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17022:51:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;17022:51:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3088:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3088:23:0;;;:::i;8245:131::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8245:131:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8245:131:0;;;;;;;;;;:::i;18775:230::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18775:230:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;18775:230:0;;;;;;;;;;;;;:::i;18496:268::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18496:268:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;18496:268:0;;;;;;;;;;;;;:::i;18290:198::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18290:198:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;18290:198:0;;;;;;;;;;:::i;3775:187::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3775:187:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3775:187:0;-1:-1:-1;;;;;3775:187:0;;:::i;16412:83::-;16482:5;16475:12;;;;;;;;-1:-1:-1;;16475:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16449:13;;16475:12;;16482:5;;16475:12;;16482:5;16475:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16412:83;:::o;15529:140::-;5845:7;;15608:4;;5845:7;;5844:8;5836:37;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;;;;15632:29;15646:7;15655:5;15632:13;:29::i;:::-;15625:36;15529:140;-1:-1:-1;;;15529:140:0:o;7493:91::-;7564:12;;7493:91;:::o;15361:160::-;5845:7;;15454:4;;5845:7;;5844:8;5836:37;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;;;;15478:35;15497:4;15503:2;15507:5;15478:18;:35::i;:::-;15471:42;15361:160;-1:-1:-1;;;;15361:160:0:o;3653:114::-;3754:5;;-1:-1:-1;;;;;3754:5:0;;;3743:16;;;;3653:114::o;16728:83::-;16794:9;;;;16728:83;:::o;19381:177::-;3364:5;;-1:-1:-1;;;;;3364:5:0;3350:10;:19;3342:64;;;;;-1:-1:-1;;;3342:64:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3342:64:0;;;;;;;;;;;;;;;19464:14;;-1:-1:-1;;;;;19464:36:0;;;:14;;;;;:36;;19456:45;;;;;;19512:38;19531:18;19512;:38::i;:::-;19381:177;:::o;15677:175::-;5845:7;;15768:12;;5845:7;;5844:8;5836:37;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;;;;15800:44;15824:7;15833:10;15800:23;:44::i;6399:118::-;4549:20;4558:10;4549:8;:20::i;:::-;:42;;;;4572:19;4580:10;4572:7;:19::i;:::-;4541:51;;;;;;6044:7;;;;6036:40;;;;;-1:-1:-1;;;6036:40:0;;;;;;;;;;;;-1:-1:-1;;;6036:40:0;;;;;;;;;;;;;;;6458:7;:15;;-1:-1:-1;;6458:15:0;;;6489:20;;;6498:10;6489:20;;;;;;;;;;;;;6399:118::o;14732:79::-;14779:24;14785:10;14797:5;14779;:24::i;4620:109::-;4676:4;4700:21;:8;4713:7;4700:21;:12;:21;:::i;:::-;4693:28;4620:109;-1:-1:-1;;4620:109:0:o;16984:29::-;;;;;;-1:-1:-1;;;;;16984:29:0;;:::o;5608:78::-;5671:7;;;;5608:78;:::o;4840:97::-;3364:5;;-1:-1:-1;;;;;3364:5:0;3350:10;:19;3342:64;;;;;-1:-1:-1;;;3342:64:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3342:64:0;;;;;;;;;;;;;;;4907:22;4921:7;4907:13;:22::i;4945:87::-;3364:5;;-1:-1:-1;;;;;3364:5:0;3350:10;:19;3342:64;;;;;-1:-1:-1;;;3342:64:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3342:64:0;;;;;;;;;;;;;;;4999:25;5013:10;4999:13;:25::i;:::-;4945:87::o;17606:392::-;17661:7;17690:20;17713:22;17729:5;17713:15;:22::i;:::-;-1:-1:-1;;;;;17750:19:0;;17778:1;17750:19;;;:12;:19;;;;;:26;17690:45;;-1:-1:-1;17750:29:0;17746:206;;17800:6;17796:145;-1:-1:-1;;;;;17812:19:0;;;;;;:12;:19;;;;;:26;17810:28;;17796:145;;;-1:-1:-1;;;;;17894:19:0;;;;;;:12;:19;;;;;:22;;17877:48;;17894:19;17914:1;;17894:22;;;;;;;;;;;;;;;;:30;;;17877:12;:16;;:48;;;;:::i;:::-;17862:63;-1:-1:-1;17839:3:0;;17796:145;;;;17978:12;17606:392;-1:-1:-1;;17606:392:0:o;3970:211::-;4025:4;3475:10;3467:73;;;;-1:-1:-1;;;3467:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3573:8;;-1:-1:-1;;;;;3573:8:0;3559:10;:22;3551:71;;;;-1:-1:-1;;;3551:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4075:8;;4068:5;;4047:37;;-1:-1:-1;;;;;4075:8:0;;;;4068:5;;;;4047:37;;4075:8;;4047:37;-1:-1:-1;4111:8:0;;;4103:5;:16;;-1:-1:-1;;;;;;4103:16:0;;;-1:-1:-1;;;;;4111:8:0;;4103:16;;;;4130:21;;;4111:8;3970:211;:::o;15070:95::-;15135:22;15145:4;15151:5;15135:9;:22::i;:::-;15070:95;;:::o;19016:219::-;19088:4;4549:20;4558:10;4549:8;:20::i;:::-;:42;;;;4572:19;4580:10;4572:7;:19::i;:::-;4541:51;;;;;;-1:-1:-1;;;;;19114:20:0;;;;;;:12;:20;;;;;:27;:33;-1:-1:-1;19105:70:0;;;;;-1:-1:-1;;;19105:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;19186:19;19194:6;19201:3;19186:7;:19::i;:::-;-1:-1:-1;19223:4:0;;19016:219;-1:-1:-1;;;19016:219:0:o;4737:92::-;4549:20;4558:10;4549:8;:20::i;:::-;:42;;;;4572:19;4580:10;4572:7;:19::i;:::-;4541:51;;;;;;4802:19;4813:7;4802:10;:19::i;6188:116::-;4549:20;4558:10;4549:8;:20::i;:::-;:42;;;;4572:19;4580:10;4572:7;:19::i;:::-;4541:51;;;;;;5845:7;;;;5844:8;5836:37;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;;;;6248:7;:14;;-1:-1:-1;;6248:14:0;6258:4;6248:14;;;6278:18;;;6285:10;6278:18;;;;;;;;;;;;;6188:116::o;3061:20::-;;;-1:-1:-1;;;;;3061:20:0;;:::o;16562:87::-;16634:7;16627:14;;;;;;;;-1:-1:-1;;16627:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16601:13;;16627:14;;16634:7;;16627:14;;16634:7;16627:14;;;;;;;;;;;;;;;;;;;;;;;;15860:185;5845:7;;15956:12;;5845:7;;5844:8;5836:37;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;;;;15988:49;16012:7;16021:15;15988:23;:49::i;18009:268::-;18071:10;18106:4;17390:22;;;:13;:22;;;;;;18106:4;;18071:10;17390:22;;17389:23;17381:56;;;;;-1:-1:-1;;;17381:56:0;;;;;;;;;;;;-1:-1:-1;;;17381:56:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;17390:22:0;;;;;;:13;:22;;;;;;18093:2;;17390:22;;17389:23;17381:56;;;;;-1:-1:-1;;;17381:56:0;;;;;;;;;;;;-1:-1:-1;;;17381:56:0;;;;;;;;;;;;;;;18140:10;18161:1;18127:24;;;:12;:24;;;;;:31;:35;18123:104;;18180:23;18192:10;18180:11;:23::i;:::-;;18123:104;18244:25;18259:2;18263:5;18244:14;:25::i;:::-;18237:32;18009:268;-1:-1:-1;;;;;18009:268:0:o;17080:46::-;;;;;;;;;;;;;;;:::o;17022:51::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;17022:51:0;-1:-1:-1;17022:51:0;:::o;3088:23::-;;;-1:-1:-1;;;;;3088:23:0;;:::o;8245:131::-;-1:-1:-1;;;;;8344:15:0;;;8317:7;8344:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;8245:131::o;18775:230::-;18880:4;4549:20;4558:10;4549:8;:20::i;:::-;:42;;;;4572:19;4580:10;4572:7;:19::i;:::-;4541:51;;;;;;18897:36;18907:10;18919:6;18927:5;18897:9;:36::i;:::-;18944:31;18950:6;18957:5;18963:11;18944:5;:31::i;:::-;-1:-1:-1;18993:4:0;;18775:230;-1:-1:-1;;;;18775:230:0:o;18496:268::-;18589:4;4549:20;4558:10;4549:8;:20::i;:::-;:42;;;;4572:19;4580:10;4572:7;:19::i;:::-;4541:51;;;;;;-1:-1:-1;;;;;18614:17:0;;;;;;:9;:17;;;;;;:26;-1:-1:-1;18614:26:0;18606:77;;;;-1:-1:-1;;;18606:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18290:198;18368:4;4549:20;4558:10;4549:8;:20::i;:::-;:42;;;;4572:19;4580:10;4572:7;:19::i;:::-;4541:51;;;;;;-1:-1:-1;;;;;18393:21:0;;;;;;:13;:21;;;;;;;;;:29;;-1:-1:-1;;18393:29:0;;;;;;;;;;18438:20;;;;;;;;;;;;;;;;;-1:-1:-1;18476:4:0;18290:198;;;;:::o;3775:187::-;3364:5;;-1:-1:-1;;;;;3364:5:0;3350:10;:19;3342:64;;;;;-1:-1:-1;;;3342:64:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3342:64:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;3857:23:0;;3849:74;;;;-1:-1:-1;;;3849:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3934:8;:20;;-1:-1:-1;;;;;;3934:20:0;-1:-1:-1;;;;;3934:20:0;;;;;;;;;;3775:187::o;9334:284::-;9399:4;-1:-1:-1;;;;;9424:21:0;;9416:70;;;;-1:-1:-1;;;9416:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9508:10;9499:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;9499:29:0;;;;;;;;;;;;:37;;;9552:36;;;;;;;9499:29;;9508:10;-1:-1:-1;;;;;;;;;;;9552:36:0;;;;;;;;;;-1:-1:-1;9606:4:0;9334:284;;;;:::o;10091:299::-;-1:-1:-1;;;;;10216:14:0;;10170:4;10216:14;;;:8;:14;;;;;;;;10231:10;10216:26;;;;;;;;:37;;10247:5;10216:37;:30;:37;:::i;:::-;-1:-1:-1;;;;;10187:14:0;;;;;;:8;:14;;;;;;;;10202:10;10187:26;;;;;;;:66;10264:26;10196:4;10280:2;10284:5;10264:9;:26::i;:::-;-1:-1:-1;;;;;10306:54:0;;10333:14;;;;:8;:14;;;;;;;;10321:10;10333:26;;;;;;;;;;;10306:54;;;;;;;10321:10;;10306:54;-1:-1:-1;;;;;;;;;;;10306:54:0;;;;;;;;;;-1:-1:-1;10378:4:0;10091:299;;;;;:::o;20947:97::-;21012:14;:24;;-1:-1:-1;;;;;21012:24:0;;;;;-1:-1:-1;;;;;;21012:24:0;;;;;;;;;20947:97::o;10905:373::-;10985:4;-1:-1:-1;;;;;11010:21:0;;11002:80;;;;-1:-1:-1;;;11002:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11136:10;11127:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;11127:29:0;;;;;;;;;;:45;;11161:10;11127:45;:33;:45;:::i;:::-;11104:10;11095:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;11095:29:0;;;;;;;;;;;;:77;;;11188:60;;;;;;11095:29;;-1:-1:-1;;;;;;;;;;;11188:60:0;;;;;;;;;;-1:-1:-1;11266:4:0;10905:373;;;;:::o;13598:309::-;-1:-1:-1;;;;;13673:21:0;;13665:70;;;;-1:-1:-1;;;13665:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13763:12;;:23;;13780:5;13763:23;:16;:23;:::i;:::-;13748:12;:38;-1:-1:-1;;;;;13818:18:0;;;;;;:9;:18;;;;;;:29;;13841:5;13818:29;:22;:29;:::i;:::-;-1:-1:-1;;;;;13797:18:0;;;;;;:9;:18;;;;;;;;:50;;;;13863:36;;;;;;;13797:18;;13863:36;;;;;;;;;;;13598:309;;:::o;2827:203::-;2899:4;-1:-1:-1;;;;;2924:21:0;;2916:68;;;;-1:-1:-1;;;2916:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3002:20:0;:11;:20;;;;;;;;;;;;;;;2827:203::o;5170:138::-;5238:24;:8;5254:7;5238:24;:15;:24;:::i;:::-;5278:22;;-1:-1:-1;;;;;5278:22:0;;;;;;;;5170:138;:::o;7800:106::-;-1:-1:-1;;;;;7882:16:0;7855:7;7882:16;;;:9;:16;;;;;;;7800:106::o;1476:179::-;1534:7;1566:5;;;1590:6;;;;1582:46;;;;;-1:-1:-1;;;1582:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;14306:259;-1:-1:-1;;;;;14409:17:0;;;;;;:8;:17;;;;;;;;14427:10;14409:29;;;;;;;;:40;;14443:5;14409:40;:33;:40;:::i;:::-;-1:-1:-1;;;;;14377:17:0;;;;;;:8;:17;;;;;;;;14395:10;14377:29;;;;;;;:72;14460:21;14386:7;14475:5;14460;:21::i;:::-;-1:-1:-1;;;;;14497:60:0;;14527:17;;;;:8;:17;;;;;;;;14515:10;14527:29;;;;;;;;;;;14497:60;;;;;;;14515:10;;14497:60;-1:-1:-1;;;;;;;;;;;14497:60:0;;;;;;;;;;14306:259;;:::o;19884:476::-;-1:-1:-1;;;;;19992:20:0;;19947:4;19992:20;;;:12;:20;;;;;:25;;19947:4;;19992:20;20013:3;;19992:25;;;;;;;;;;;;;;20052:16;19992:25;;;;;20052:16;;;;-1:-1:-1;;;;;20107:20:0;;;;:12;:20;;;;;;;20128:27;;19992:25;;-1:-1:-1;20052:16:0;;20107:20;;20128:34;;:27;:34;:31;:34;:::i;:::-;20107:56;;;;;;;;;;;;;;;;;;20079:12;:20;20092:6;-1:-1:-1;;;;;20079:20:0;-1:-1:-1;;;;;20079:20:0;;;;;;;;;;;;20100:3;20079:25;;;;;;;;;;;;;;;;:84;;:25;;;;;:84;;;;;;;;;;;;;;;;-1:-1:-1;;;;;20174:20:0;;;;:12;:20;;;;;;:26;;;;;;;;;;;;;;;;-1:-1:-1;;20174:26:0;;;;;;;;;;;;;;;;;;20225:29;;;;;;;;-1:-1:-1;;;;;20225:29:0;;;;;;;;;;;-1:-1:-1;;;;;20285:17:0;;;;;;:9;:17;;;;;;:36;;20307:13;20285:36;:21;:36;:::i;:::-;-1:-1:-1;;;;;20265:17:0;;;;;;:9;:17;;;;;:56;-1:-1:-1;20348:4:0;;-1:-1:-1;;19884:476:0;;;;:::o;5040:122::-;5097:21;:8;5110:7;5097:21;:12;:21;:::i;:::-;5134:20;;-1:-1:-1;;;;;5134:20:0;;;;;;;;5040:122;:::o;11798:383::-;11883:4;-1:-1:-1;;;;;11908:21:0;;11900:80;;;;-1:-1:-1;;;11900:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12034:10;12025:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;12025:29:0;;;;;;;;;;:50;;12059:15;12025:50;:33;:50;:::i;20371:430::-;20425:4;;20442:330;-1:-1:-1;;;;;20468:20:0;;;;;;:12;:20;;;;;:27;20462:33;;20442:330;;;-1:-1:-1;;;;;20525:20:0;;;;;;:12;:20;;;;;:25;;20567:3;;20525:20;20546:3;;20525:25;;;;;;;;;;;;;;;;:38;;;:45;20521:240;;20673:20;20681:6;20689:3;20673:7;:20::i;:::-;20669:77;;;-1:-1:-1;;20719:7:0;20669:77;20498:5;;20442:330;;;-1:-1:-1;20789:4:0;;20371:430;-1:-1:-1;;20371:430:0:o;15221:132::-;5845:7;;15296:4;;5845:7;;5844:8;5836:37;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;-1:-1:-1;;;5836:37:0;;;;;;;;;;;;;;;15320:25;15335:2;15339:5;15320:14;:25::i;12403:300::-;-1:-1:-1;;;;;12491:16:0;;12483:63;;;;-1:-1:-1;;;12483:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;12577:15:0;;;;;;:9;:15;;;;;;:26;;12597:5;12577:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;12559:15:0;;;;;;;:9;:15;;;;;;:44;;;;12630:13;;;;;;;:24;;12648:5;12630:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;12614:13:0;;;;;;;:9;:13;;;;;;;;;:40;;;;12670:25;;;;;;;12614:13;;12670:25;;;;;;;;;;;;;12403:300;;;:::o;19569:304::-;-1:-1:-1;;;;;19690:17:0;;19653:4;19690:17;;;:9;:17;;;;;;:28;;19712:5;19690:28;:21;:28;:::i;:::-;-1:-1:-1;;;;;19670:17:0;;;;;;:9;:17;;;;;;;;:48;;;;19729:12;:20;;;;;19756:28;;;;;;;;;;;;;;;;27:10:-1;;39:1;23:18;;;45:23;;19729:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;19811:32;;;;;;;;;;;;;19670:17;;19811:32;;;;;;;;;-1:-1:-1;19861:4:0;19569:304;;;;;:::o;1206:184::-;1264:7;1297:1;1292;:6;;1284:49;;;;;-1:-1:-1;;;1284:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1356:5:0;;;1206:184::o;2469:264::-;-1:-1:-1;;;;;2549:21:0;;2541:68;;;;-1:-1:-1;;;2541:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2628:18;2632:4;2638:7;2628:3;:18::i;:::-;2620:64;;;;-1:-1:-1;;;2620:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;2697:20:0;2720:5;2697:20;;;;;;;;;;;:28;;-1:-1:-1;;2697:28:0;;;2469:264::o;2131:259::-;-1:-1:-1;;;;;2208:21:0;;2200:68;;;;-1:-1:-1;;;2200:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2288:18;2292:4;2298:7;2288:3;:18::i;:::-;2287:19;2279:63;;;;;-1:-1:-1;;;2279:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;2355:20:0;:11;:20;;;;;;;;;;;:27;;-1:-1:-1;;2355:27:0;2378:4;2355:27;;;2131:259::o;8547:140::-;8608:4;8625:32;8635:10;8647:2;8651:5;8625:9;:32::i

bzzr://f56c893ba9b1851bfc08c366c250bae164d60dd02c395a0437946c0b31c64c53