Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
•    - function _transfer(address from, addr ...
•    - function _approve(address owner, addr ...
•    - function _mint(address recipient, uin ...
•    - function _burn(address burned, uint25 ...
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function transfer(address to, uint256 ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract Ownable
•    - function owner()
•    - function transferOwnership(address ne ...
•    - function renounceOwnership()
•    - function _transferOwnership(address n ...
•    - function _lock(address from, uint256 ...
•    - function _unlock(address from, uint25 ...
•    - function unlock(address from)
•    - function releaseLock(address from)
•    - function transferWithLockUp(address r ...
•    - function lockInfo(address locked, uin ...
•    - function totalLocked(address locked)
•  contract Pausable is Ownable
•    - function pause()
•    - function unPause()
•    - function paused()
•    - function burn(uint256 amount)
•    - function burnFrom(address burned, uin ...
•    - function mint(address receiver, uint2 ...
•    - function finishMint()
•    - function isFinished()
•  contract Freezable is Ownable
•    - function freeze(address target)
•    - function unFreeze(address target)
•    - function isFrozen(address target)
•  contract CROS is *
•    - function transfer(address to, uint256 ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•    - function name()
•    - function symbol()
•    - function decimals()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-07-14
*/

// File: contracts/library/SafeMath.sol

pragma solidity 0.6.6;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * _Available since v2.4.0._
     */
    function sub(uint256 a, uint256 b, string memory errorMessage)
        internal
        pure
        returns (uint256)
    {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot 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-contracts/pull/522
        if (a == 0) {
            return 0;
        }

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

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function div(uint256 a, uint256 b, string memory errorMessage)
        internal
        pure
        returns (uint256)
    {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function mod(uint256 a, uint256 b, string memory errorMessage)
        internal
        pure
        returns (uint256)
    {
        require(b != 0, errorMessage);
        return a % b;
    }
}

// File: contracts/erc20/ERC20.sol

pragma solidity 0.6.6;


abstract contract ERC20 {
    using SafeMath for uint256;

    uint256 private _totalSupply;
    mapping(address => uint256) internal _balances;
    mapping(address => mapping(address => uint256)) internal _allowances;

    event Transfer(address indexed from, address indexed to, uint256 amount);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 amount
    );

    /*
   * Internal Functions for ERC20 standard logics
   */

    function _transfer(address from, address to, uint256 amount)
        internal
        returns (bool success)
    {
        _balances[from] = _balances[from].sub(
            amount,
            "ERC20/transfer : cannot transfer more than token owner balance"
        );
        _balances[to] = _balances[to].add(amount);
        emit Transfer(from, to, amount);
        success = true;
    }

    function _approve(address owner, address spender, uint256 amount)
        internal
        returns (bool success)
    {
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
        success = true;
    }

    function _mint(address recipient, uint256 amount)
        internal
        returns (bool success)
    {
        _totalSupply = _totalSupply.add(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(address(0), recipient, amount);
        success = true;
    }

    function _burn(address burned, uint256 amount)
        internal
        returns (bool success)
    {
        _balances[burned] = _balances[burned].sub(
            amount,
            "ERC20Burnable/burn : Cannot burn more than user's balance"
        );
        _totalSupply = _totalSupply.sub(
            amount,
            "ERC20Burnable/burn : Cannot burn more than totalSupply"
        );
        emit Transfer(burned, address(0), amount);
        success = true;
    }

    /*
   * public view functions to view common data
   */

    function totalSupply() external view returns (uint256 total) {
        total = _totalSupply;
    }
    function balanceOf(address owner) external view returns (uint256 balance) {
        balance = _balances[owner];
    }

    function allowance(address owner, address spender)
        external
        view
        returns (uint256 remaining)
    {
        remaining = _allowances[owner][spender];
    }

    /*
   * External view Function Interface to implement on final contract
   */
    function name() virtual external view returns (string memory tokenName);
    function symbol() virtual external view returns (string memory tokenSymbol);
    function decimals() virtual external view returns (uint8 tokenDecimals);

    /*
   * External Function Interface to implement on final contract
   */
    function transfer(address to, uint256 amount)
        virtual
        external
        returns (bool success);
    function transferFrom(address from, address to, uint256 amount)
        virtual
        external
        returns (bool success);
    function approve(address spender, uint256 amount)
        virtual
        external
        returns (bool success);
}

// File: contracts/library/Ownable.sol

pragma solidity 0.6.6;

contract Ownable {
    address internal _owner;

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

    constructor() internal {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), msg.sender);
    }

    modifier onlyOwner() {
        require(
            msg.sender == _owner,
            "Ownable : Function called by unauthorized user."
        );
        _;
    }

    function owner() external view returns (address ownerAddress) {
        ownerAddress = _owner;
    }

    function transferOwnership(address newOwner)
        public
        onlyOwner
        returns (bool success)
    {
        require(newOwner != address(0), "Ownable/transferOwnership : cannot transfer ownership to zero address");
        success = _transferOwnership(newOwner);
    }

    function renounceOwnership() external onlyOwner returns (bool success) {
        success = _transferOwnership(address(0));
    }

    function _transferOwnership(address newOwner) internal returns (bool success) {
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
        success = true;
    }
}

// File: contracts/erc20/ERC20Lockable.sol

pragma solidity 0.6.6;



abstract contract ERC20Lockable is ERC20, Ownable {
    struct LockInfo {
        uint256 amount;
        uint256 due;
    }

    mapping(address => LockInfo[]) internal _locks;
    mapping(address => uint256) internal _totalLocked;

    event Lock(address indexed from, uint256 amount, uint256 due);
    event Unlock(address indexed from, uint256 amount);

    modifier checkLock(address from, uint256 amount) {
        require(_balances[from] >= _totalLocked[from].add(amount), "ERC20Lockable/Cannot send more than unlocked amount");
        _;
    }

    function _lock(address from, uint256 amount, uint256 due)
        internal
        returns (bool success)
    {
        require(due > now, "ERC20Lockable/lock : Cannot set due to past");
        require(
            _balances[from] >= amount.add(_totalLocked[from]),
            "ERC20Lockable/lock : locked total should be smaller than balance"
        );
        _totalLocked[from] = _totalLocked[from].add(amount);
        _locks[from].push(LockInfo(amount, due));
        emit Lock(from, amount, due);
        success = true;
    }

    function _unlock(address from, uint256 index) internal returns (bool success) {
        LockInfo storage lock = _locks[from][index];
        _totalLocked[from] = _totalLocked[from].sub(lock.amount);
        emit Unlock(from, lock.amount);
        _locks[from][index] = _locks[from][_locks[from].length - 1];
        _locks[from].pop();
        success = true;
    }

    function unlock(address from) external returns (bool success) {
        for(uint256 i = 0; i < _locks[from].length; i++){
            if(_locks[from][i].due < now){
                _unlock(from, i);
            }
        }
        success = true;
    }

    function releaseLock(address from)
        external
        onlyOwner
        returns (bool success)
    {
        for(uint256 i = 0; i < _locks[from].length; i++){
            _unlock(from, i);
        }
        success = true;
    }

    function transferWithLockUp(address recipient, uint256 amount, uint256 due)
        external
        returns (bool success)
    {
        require(
            recipient != address(0),
            "ERC20Lockable/transferWithLockUp : Cannot send to zero address"
        );
        _transfer(msg.sender, recipient, amount);
        _lock(recipient, amount, due);
        success = true;
    }

    function lockInfo(address locked, uint256 index)
        external
        view
        returns (uint256 amount, uint256 due)
    {
        LockInfo memory lock = _locks[locked][index];
        amount = lock.amount;
        due = lock.due;
    }

    function totalLocked(address locked) external view returns(uint256 amount, uint256 length){
        amount = _totalLocked[locked];
        length = _locks[locked].length;
    }
}

// File: contracts/library/Pausable.sol

pragma solidity 0.6.6;


contract Pausable is Ownable {
    bool internal _paused;

    event Paused();
    event Unpaused();

    modifier whenPaused() {
        require(_paused, "Paused : This function can only be called when paused");
        _;
    }

    modifier whenNotPaused() {
        require(!_paused, "Paused : This function can only be called when not paused");
        _;
    }

    function pause() external onlyOwner whenNotPaused returns (bool success) {
        _paused = true;
        emit Paused();
        success = true;
    }

    function unPause() external onlyOwner whenPaused returns (bool success) {
        _paused = false;
        emit Unpaused();
        success = true;
    }

    function paused() external view returns (bool) {
        return _paused;
    }
}

// File: contracts/erc20/ERC20Burnable.sol

pragma solidity 0.6.6;



abstract contract ERC20Burnable is ERC20, Pausable {
    event Burn(address indexed burned, uint256 amount);

    function burn(uint256 amount)
        external
        whenNotPaused
        returns (bool success)
    {
        success = _burn(msg.sender, amount);
        emit Burn(msg.sender, amount);
        success = true;
    }

    function burnFrom(address burned, uint256 amount)
        external
        whenNotPaused
        returns (bool success)
    {
        _burn(burned, amount);
        emit Burn(burned, amount);
        success = _approve(
            burned,
            msg.sender,
            _allowances[burned][msg.sender].sub(
                amount,
                "ERC20Burnable/burnFrom : Cannot burn more than allowance"
            )
        );
    }
}

// File: contracts/erc20/ERC20Mintable.sol

pragma solidity 0.6.6;



abstract contract ERC20Mintable is ERC20, Pausable {
    event Mint(address indexed receiver, uint256 amount);
    event MintFinished();

    bool internal _mintingFinished;
    ///@notice mint token
    ///@dev only owner can call this function
    function mint(address receiver, uint256 amount)
        external
        onlyOwner
        whenNotPaused
        returns (bool success)
    {
        require(
            receiver != address(0),
            "ERC20Mintable/mint : Should not mint to zero address"
        );
        require(
            !_mintingFinished,
            "ERC20Mintable/mint : Cannot mint after finished"
        );
        _mint(receiver, amount);
        emit Mint(receiver, amount);
        success = true;
    }

    ///@notice finish minting, cannot mint after calling this function
    ///@dev only owner can call this function
    function finishMint()
        external
        onlyOwner
        returns (bool success)
    {
        require(
            !_mintingFinished,
            "ERC20Mintable/finishMinting : Already finished"
        );
        _mintingFinished = true;
        emit MintFinished();
        return true;
    }

    function isFinished() external view returns(bool finished) {
        finished = _mintingFinished;
    }
}

// File: contracts/library/Freezable.sol

pragma solidity 0.6.6;


contract Freezable is Ownable {
    mapping(address => bool) private _frozen;

    event Freeze(address indexed target);
    event Unfreeze(address indexed target);

    modifier whenNotFrozen(address target) {
        require(!_frozen[target], "Freezable : target is frozen");
        _;
    }

    function freeze(address target) external onlyOwner returns (bool success) {
        _frozen[target] = true;
        emit Freeze(target);
        success = true;
    }

    function unFreeze(address target)
        external
        onlyOwner
        returns (bool success)
    {
        _frozen[target] = false;
        emit Unfreeze(target);
        success = true;
    }

    function isFrozen(address target)
        external
        view
        returns (bool frozen)
    {
        return _frozen[target];
    }
}

// File: contracts/CROS.sol

pragma solidity 0.6.6;






contract CROS is
    ERC20Lockable,
    ERC20Burnable,
    ERC20Mintable,
    Freezable
{
    string constant private _name = "CROS";
    string constant private _symbol = "CROS";
    uint8 constant private _decimals = 18;
    uint256 constant private _initial_supply = 1_000_000_000;

    constructor() public Ownable() {
        _mint(msg.sender, _initial_supply * (10**uint256(_decimals)));
    }

    function transfer(address to, uint256 amount)
        override
        external
        whenNotFrozen(msg.sender)
        whenNotPaused
        checkLock(msg.sender, amount)
        returns (bool success)
    {
        require(
            to != address(0),
            "CROS/transfer : Should not send to zero address"
        );
        _transfer(msg.sender, to, amount);
        success = true;
    }

    function transferFrom(address from, address to, uint256 amount)
        override
        external
        whenNotFrozen(from)
        whenNotPaused
        checkLock(from, amount)
        returns (bool success)
    {
        require(
            to != address(0),
            "CROS/transferFrom : Should not send to zero address"
        );
        _transfer(from, to, amount);
        _approve(
            from,
            msg.sender,
            _allowances[from][msg.sender].sub(
                amount,
                "CROS/transferFrom : Cannot send more than allowance"
            )
        );
        success = true;
    }

    function approve(address spender, uint256 amount)
        override
        external
        returns (bool success)
    {
        require(
            spender != address(0),
            "CROS/approve : Should not approve zero address"
        );
        _approve(msg.sender, spender, amount);
        success = true;
    }

    function name() override external view returns (string memory tokenName) {
        tokenName = _name;
    }

    function symbol() override external view returns (string memory tokenSymbol) {
        tokenSymbol = _symbol;
    }

    function decimals() override external view returns (uint8 tokenDecimals) {
        tokenDecimals = _decimals;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"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":"amount","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"burned","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"target","type":"address"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"due","type":"uint256"}],"name":"Lock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"receiver","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[],"name":"MintFinished","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"currentOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[],"name":"Paused","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":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"target","type":"address"}],"name":"Unfreeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Unlock","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpaused","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"remaining","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"burned","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"tokenDecimals","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"finishMint","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"freeze","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isFinished","outputs":[{"internalType":"bool","name":"finished","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"isFrozen","outputs":[{"internalType":"bool","name":"frozen","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"locked","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"lockInfo","outputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"due","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"tokenName","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"ownerAddress","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"}],"name":"releaseLock","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"tokenSymbol","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"locked","type":"address"}],"name":"totalLocked","outputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"length","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"total","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"due","type":"uint256"}],"name":"transferWithLockUp","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"unFreeze","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unPause","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"}],"name":"unlock","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b5033600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3620000cd33601260ff16600a0a633b9aca0002620000d460201b60201c565b506200028d565b6000620000f2826000546200020460201b620025791790919060201c565b6000819055506200015182600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200020460201b620025791790919060201c565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008082840190508381101562000283576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6135e4806200029d6000396000f3fe608060405234801561001057600080fd5b50600436106101c45760003560e01c806383cfab42116100f9578063d1c4691611610097578063e4cc18be11610071578063e4cc18be146109bf578063e5839836146109e1578063f2fde38b14610a3d578063f7b188a514610a99576101c4565b8063d1c469161461088c578063d8fb9337146108e8578063dd62ed3e14610947576101c4565b80638da5cb5b116100d35780638da5cb5b146106f057806395d89b411461073a578063a9059cbb146107bd578063b2520a7c14610823576101c4565b806383cfab42146106165780638456cb59146106725780638d1fdf2f14610694576101c4565b806340c10f191161016657806370a082311161014057806370a0823114610514578063715018a61461056c57806379cc67901461058e5780637b352962146105f4576101c4565b806340c10f191461044657806342966c68146104ac5780635c975abb146104f2576101c4565b806323b872dd116101a257806323b872dd146102d05780632f6c493c14610356578063313ce567146103b257806338b82092146103d6576101c4565b806306fdde03146101c9578063095ea7b31461024c57806318160ddd146102b2575b600080fd5b6101d1610abb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102115780820151818401526020810190506101f6565b50505050905090810190601f16801561023e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102986004803603604081101561026257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610af8565b604051808215151515815260200191505060405180910390f35b6102ba610b95565b6040518082815260200191505060405180910390f35b61033c600480360360608110156102e657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b9e565b604051808215151515815260200191505060405180910390f35b6103986004803603602081101561036c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f06565b604051808215151515815260200191505060405180910390f35b6103ba610fde565b604051808260ff1660ff16815260200191505060405180910390f35b61042c600480360360608110156103ec57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050610fe7565b604051808215151515815260200191505060405180910390f35b6104926004803603604081101561045c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611091565b604051808215151515815260200191505060405180910390f35b6104d8600480360360208110156104c257600080fd5b81019080803590602001909291905050506112ee565b604051808215151515815260200191505060405180910390f35b6104fa6113b9565b604051808215151515815260200191505060405180910390f35b6105566004803603602081101561052a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113d0565b6040518082815260200191505060405180910390f35b610574611419565b604051808215151515815260200191505060405180910390f35b6105da600480360360408110156105a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114d0565b604051808215151515815260200191505060405180910390f35b6105fc61164c565b604051808215151515815260200191505060405180910390f35b6106586004803603602081101561062c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611663565b604051808215151515815260200191505060405180910390f35b61067a6117af565b604051808215151515815260200191505060405180910390f35b6106d6600480360360208110156106aa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061190b565b604051808215151515815260200191505060405180910390f35b6106f8611a57565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610742611a81565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610782578082015181840152602081019050610767565b50505050905090810190601f1680156107af5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610809600480360360408110156107d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611abe565b604051808215151515815260200191505060405180910390f35b61086f6004803603604081101561083957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d71565b604051808381526020018281526020019250505060405180910390f35b6108ce600480360360208110156108a257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e0b565b604051808215151515815260200191505060405180910390f35b61092a600480360360208110156108fe57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f25565b604051808381526020018281526020019250505060405180910390f35b6109a96004803603604081101561095d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611fb4565b6040518082815260200191505060405180910390f35b6109c761203b565b604051808215151515815260200191505060405180910390f35b610a23600480360360208110156109f757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612197565b604051808215151515815260200191505060405180910390f35b610a7f60048036036020811015610a5357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121ed565b604051808215151515815260200191505060405180910390f35b610aa161232b565b604051808215151515815260200191505060405180910390f35b60606040518060400160405280600481526020017f43524f5300000000000000000000000000000000000000000000000000000000815250905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610b7f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180613465602e913960400191505060405180910390fd5b610b8a338484612486565b506001905092915050565b60008054905090565b600083600760008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610c61576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f467265657a61626c65203a207461726765742069732066726f7a656e0000000081525060200191505060405180910390fd5b600660009054906101000a900460ff1615610cc7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b8483610d1b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610db2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806135026033913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415610e38576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806133966033913960400191505060405180910390fd5b610e43878787612601565b50610ef78733610ef28860405180606001604052806033815260200161328f60339139600260008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127b79092919063ffffffff16565b612486565b50600193505050509392505050565b600080600090505b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050811015610fd45742600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110610fa357fe5b9060005260206000209060020201600101541015610fc757610fc58382612877565b505b8080600101915050610f0e565b5060019050919050565b60006012905090565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141561106e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603e8152602001806131b8603e913960400191505060405180910390fd5b611079338585612601565b50611085848484612b47565b50600190509392505050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611139576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600660009054906101000a900460ff161561119f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611225576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260348152602001806132fa6034913960400191505060405180910390fd5b600660019054906101000a900460ff161561128b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613407602f913960400191505060405180910390fd5b6112958383612e13565b508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a26001905092915050565b6000600660009054906101000a900460ff1615611356576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b6113603383612f35565b90503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b6000600660009054906101000a900460ff16905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114c1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b6114cb600061308b565b905090565b6000600660009054906101000a900460ff1615611538576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b6115428383612f35565b508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2611644833361163f856040518060600160405280603881526020016132c260389139600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127b79092919063ffffffff16565b612486565b905092915050565b6000600660019054906101000a900460ff16905090565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461170b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611857576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600660009054906101000a900460ff16156118bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b6001600660006101000a81548160ff0219169083151502179055507f9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e75260405160405180910390a16001905090565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146119b3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b6001600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600481526020017f43524f5300000000000000000000000000000000000000000000000000000000815250905090565b600033600760008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611b81576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f467265657a61626c65203a207461726765742069732066726f7a656e0000000081525060200191505060405180910390fd5b600660009054906101000a900460ff1615611be7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b3383611c3b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611cd2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806135026033913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415611d58576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613367602f913960400191505060405180910390fd5b611d63338787612601565b506001935050505092915050565b600080611d7c61319d565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110611dc657fe5b90600052602060002090600202016040518060400160405290816000820154815260200160018201548152505090508060000151925080602001519150509250929050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611eb3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b60008090505b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050811015611f1b57611f0d8382612877565b508080600101915050611eb9565b5060019050919050565b600080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549150600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490509050915091565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146120e3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600660019054906101000a900460ff1615612149576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001806131f6602e913960400191505060405180910390fd5b6001600660016101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612295576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561231b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252604581526020018061356a6045913960600191505060405180910390fd5b6123248261308b565b9050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146123d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600660009054906101000a900460ff16612438576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260358152602001806135356035913960400191505060405180910390fd5b6000600660006101000a81548160ff0219169083151502179055507fa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d1693360405160405180910390a16001905090565b600081600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190509392505050565b6000808284019050838110156125f7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600061266f826040518060600160405280603e81526020016133c9603e9139600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127b79092919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061270482600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b6000838311158290612864576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561282957808201518184015260208101905061280e565b50505050905090810190601f1680156128565780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481106128c457fe5b9060005260206000209060020201905061292a8160000154600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461315390919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f182600001546040518082815260200191505060405180910390a2600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490500381548110612a4e57fe5b9060005260206000209060020201600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110612aa657fe5b90600052602060002090600202016000820154816000015560018201548160010155905050600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480612b1357fe5b6001900381819060005260206000209060020201600080820160009055600182016000905550509055600191505092915050565b6000428211612ba1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b815260200180613264602b913960400191505060405180910390fd5b612bf3600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548461257990919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015612c8a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260408152602001806132246040913960400191505060405180910390fd5b612cdc83600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060400160405280858152602001848152509080600181540180825580915050600190039060005260206000209060020201600090919091909150600082015181600001556020820151816001015550508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000612e2a8260005461257990919063ffffffff16565b600081905550612e8282600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000612fa38260405180606001604052806039815260200161349360399139600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127b79092919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550613015826040518060600160405280603681526020016134cc603691396000546127b79092919063ffffffff16565b600081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008173ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a381600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019050919050565b600061319583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506127b7565b905092915050565b60405180604001604052806000815260200160008152509056fe45524332304c6f636b61626c652f7472616e73666572576974684c6f636b5570203a2043616e6e6f742073656e6420746f207a65726f206164647265737345524332304d696e7461626c652f66696e6973684d696e74696e67203a20416c72656164792066696e697368656445524332304c6f636b61626c652f6c6f636b203a206c6f636b656420746f74616c2073686f756c6420626520736d616c6c6572207468616e2062616c616e636545524332304c6f636b61626c652f6c6f636b203a2043616e6e6f74207365742064756520746f207061737443524f532f7472616e7366657246726f6d203a2043616e6e6f742073656e64206d6f7265207468616e20616c6c6f77616e636545524332304275726e61626c652f6275726e46726f6d203a2043616e6e6f74206275726e206d6f7265207468616e20616c6c6f77616e636545524332304d696e7461626c652f6d696e74203a2053686f756c64206e6f74206d696e7420746f207a65726f2061646472657373506175736564203a20546869732066756e6374696f6e2063616e206f6e6c792062652063616c6c6564207768656e206e6f742070617573656443524f532f7472616e73666572203a2053686f756c64206e6f742073656e6420746f207a65726f206164647265737343524f532f7472616e7366657246726f6d203a2053686f756c64206e6f742073656e6420746f207a65726f206164647265737345524332302f7472616e73666572203a2063616e6e6f74207472616e73666572206d6f7265207468616e20746f6b656e206f776e65722062616c616e636545524332304d696e7461626c652f6d696e74203a2043616e6e6f74206d696e742061667465722066696e69736865644f776e61626c65203a2046756e6374696f6e2063616c6c656420627920756e617574686f72697a656420757365722e43524f532f617070726f7665203a2053686f756c64206e6f7420617070726f7665207a65726f206164647265737345524332304275726e61626c652f6275726e203a2043616e6e6f74206275726e206d6f7265207468616e207573657227732062616c616e636545524332304275726e61626c652f6275726e203a2043616e6e6f74206275726e206d6f7265207468616e20746f74616c537570706c7945524332304c6f636b61626c652f43616e6e6f742073656e64206d6f7265207468616e20756e6c6f636b656420616d6f756e74506175736564203a20546869732066756e6374696f6e2063616e206f6e6c792062652063616c6c6564207768656e207061757365644f776e61626c652f7472616e736665724f776e657273686970203a2063616e6e6f74207472616e73666572206f776e65727368697020746f207a65726f2061646472657373a2646970667358221220f4b980282f423807dc4a7851011cf9b37a1ed95d32a5fe3d3d72ce5ae88ccd2f64736f6c63430006060033

0x608060405234801561001057600080fd5b50600436106101c45760003560e01c806383cfab42116100f9578063d1c4691611610097578063e4cc18be11610071578063e4cc18be146109bf578063e5839836146109e1578063f2fde38b14610a3d578063f7b188a514610a99576101c4565b8063d1c469161461088c578063d8fb9337146108e8578063dd62ed3e14610947576101c4565b80638da5cb5b116100d35780638da5cb5b146106f057806395d89b411461073a578063a9059cbb146107bd578063b2520a7c14610823576101c4565b806383cfab42146106165780638456cb59146106725780638d1fdf2f14610694576101c4565b806340c10f191161016657806370a082311161014057806370a0823114610514578063715018a61461056c57806379cc67901461058e5780637b352962146105f4576101c4565b806340c10f191461044657806342966c68146104ac5780635c975abb146104f2576101c4565b806323b872dd116101a257806323b872dd146102d05780632f6c493c14610356578063313ce567146103b257806338b82092146103d6576101c4565b806306fdde03146101c9578063095ea7b31461024c57806318160ddd146102b2575b600080fd5b6101d1610abb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102115780820151818401526020810190506101f6565b50505050905090810190601f16801561023e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102986004803603604081101561026257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610af8565b604051808215151515815260200191505060405180910390f35b6102ba610b95565b6040518082815260200191505060405180910390f35b61033c600480360360608110156102e657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b9e565b604051808215151515815260200191505060405180910390f35b6103986004803603602081101561036c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f06565b604051808215151515815260200191505060405180910390f35b6103ba610fde565b604051808260ff1660ff16815260200191505060405180910390f35b61042c600480360360608110156103ec57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050610fe7565b604051808215151515815260200191505060405180910390f35b6104926004803603604081101561045c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611091565b604051808215151515815260200191505060405180910390f35b6104d8600480360360208110156104c257600080fd5b81019080803590602001909291905050506112ee565b604051808215151515815260200191505060405180910390f35b6104fa6113b9565b604051808215151515815260200191505060405180910390f35b6105566004803603602081101561052a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113d0565b6040518082815260200191505060405180910390f35b610574611419565b604051808215151515815260200191505060405180910390f35b6105da600480360360408110156105a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114d0565b604051808215151515815260200191505060405180910390f35b6105fc61164c565b604051808215151515815260200191505060405180910390f35b6106586004803603602081101561062c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611663565b604051808215151515815260200191505060405180910390f35b61067a6117af565b604051808215151515815260200191505060405180910390f35b6106d6600480360360208110156106aa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061190b565b604051808215151515815260200191505060405180910390f35b6106f8611a57565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610742611a81565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610782578082015181840152602081019050610767565b50505050905090810190601f1680156107af5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610809600480360360408110156107d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611abe565b604051808215151515815260200191505060405180910390f35b61086f6004803603604081101561083957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d71565b604051808381526020018281526020019250505060405180910390f35b6108ce600480360360208110156108a257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e0b565b604051808215151515815260200191505060405180910390f35b61092a600480360360208110156108fe57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f25565b604051808381526020018281526020019250505060405180910390f35b6109a96004803603604081101561095d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611fb4565b6040518082815260200191505060405180910390f35b6109c761203b565b604051808215151515815260200191505060405180910390f35b610a23600480360360208110156109f757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612197565b604051808215151515815260200191505060405180910390f35b610a7f60048036036020811015610a5357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121ed565b604051808215151515815260200191505060405180910390f35b610aa161232b565b604051808215151515815260200191505060405180910390f35b60606040518060400160405280600481526020017f43524f5300000000000000000000000000000000000000000000000000000000815250905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610b7f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180613465602e913960400191505060405180910390fd5b610b8a338484612486565b506001905092915050565b60008054905090565b600083600760008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610c61576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f467265657a61626c65203a207461726765742069732066726f7a656e0000000081525060200191505060405180910390fd5b600660009054906101000a900460ff1615610cc7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b8483610d1b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610db2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806135026033913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415610e38576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806133966033913960400191505060405180910390fd5b610e43878787612601565b50610ef78733610ef28860405180606001604052806033815260200161328f60339139600260008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127b79092919063ffffffff16565b612486565b50600193505050509392505050565b600080600090505b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050811015610fd45742600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208281548110610fa357fe5b9060005260206000209060020201600101541015610fc757610fc58382612877565b505b8080600101915050610f0e565b5060019050919050565b60006012905090565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141561106e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603e8152602001806131b8603e913960400191505060405180910390fd5b611079338585612601565b50611085848484612b47565b50600190509392505050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611139576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600660009054906101000a900460ff161561119f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611225576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260348152602001806132fa6034913960400191505060405180910390fd5b600660019054906101000a900460ff161561128b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613407602f913960400191505060405180910390fd5b6112958383612e13565b508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a26001905092915050565b6000600660009054906101000a900460ff1615611356576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b6113603383612f35565b90503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b6000600660009054906101000a900460ff16905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114c1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b6114cb600061308b565b905090565b6000600660009054906101000a900460ff1615611538576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b6115428383612f35565b508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2611644833361163f856040518060600160405280603881526020016132c260389139600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127b79092919063ffffffff16565b612486565b905092915050565b6000600660019054906101000a900460ff16905090565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461170b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fca5069937e68fd197927055037f59d7c90bf75ac104e6e375539ef480c3ad6ee60405160405180910390a260019050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611857576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600660009054906101000a900460ff16156118bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b6001600660006101000a81548160ff0219169083151502179055507f9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e75260405160405180910390a16001905090565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146119b3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b6001600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167faf85b60d26151edd11443b704d424da6c43d0468f2235ebae3d1904dbc32304960405160405180910390a260019050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600481526020017f43524f5300000000000000000000000000000000000000000000000000000000815250905090565b600033600760008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611b81576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f467265657a61626c65203a207461726765742069732066726f7a656e0000000081525060200191505060405180910390fd5b600660009054906101000a900460ff1615611be7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603981526020018061332e6039913960400191505060405180910390fd5b3383611c3b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611cd2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806135026033913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415611d58576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613367602f913960400191505060405180910390fd5b611d63338787612601565b506001935050505092915050565b600080611d7c61319d565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110611dc657fe5b90600052602060002090600202016040518060400160405290816000820154815260200160018201548152505090508060000151925080602001519150509250929050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611eb3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b60008090505b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050811015611f1b57611f0d8382612877565b508080600101915050611eb9565b5060019050919050565b600080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549150600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490509050915091565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146120e3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600660019054906101000a900460ff1615612149576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001806131f6602e913960400191505060405180910390fd5b6001600660016101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612295576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561231b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252604581526020018061356a6045913960600191505060405180910390fd5b6123248261308b565b9050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146123d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613436602f913960400191505060405180910390fd5b600660009054906101000a900460ff16612438576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260358152602001806135356035913960400191505060405180910390fd5b6000600660006101000a81548160ff0219169083151502179055507fa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d1693360405160405180910390a16001905090565b600081600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190509392505050565b6000808284019050838110156125f7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600061266f826040518060600160405280603e81526020016133c9603e9139600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127b79092919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061270482600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b6000838311158290612864576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561282957808201518184015260208101905061280e565b50505050905090810190601f1680156128565780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481106128c457fe5b9060005260206000209060020201905061292a8160000154600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461315390919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f182600001546040518082815260200191505060405180910390a2600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490500381548110612a4e57fe5b9060005260206000209060020201600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110612aa657fe5b90600052602060002090600202016000820154816000015560018201548160010155905050600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480612b1357fe5b6001900381819060005260206000209060020201600080820160009055600182016000905550509055600191505092915050565b6000428211612ba1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b815260200180613264602b913960400191505060405180910390fd5b612bf3600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548461257990919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015612c8a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260408152602001806132246040913960400191505060405180910390fd5b612cdc83600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060400160405280858152602001848152509080600181540180825580915050600190039060005260206000209060020201600090919091909150600082015181600001556020820151816001015550508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000612e2a8260005461257990919063ffffffff16565b600081905550612e8282600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461257990919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000612fa38260405180606001604052806039815260200161349360399139600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546127b79092919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550613015826040518060600160405280603681526020016134cc603691396000546127b79092919063ffffffff16565b600081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008173ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a381600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019050919050565b600061319583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506127b7565b905092915050565b60405180604001604052806000815260200160008152509056fe45524332304c6f636b61626c652f7472616e73666572576974684c6f636b5570203a2043616e6e6f742073656e6420746f207a65726f206164647265737345524332304d696e7461626c652f66696e6973684d696e74696e67203a20416c72656164792066696e697368656445524332304c6f636b61626c652f6c6f636b203a206c6f636b656420746f74616c2073686f756c6420626520736d616c6c6572207468616e2062616c616e636545524332304c6f636b61626c652f6c6f636b203a2043616e6e6f74207365742064756520746f207061737443524f532f7472616e7366657246726f6d203a2043616e6e6f742073656e64206d6f7265207468616e20616c6c6f77616e636545524332304275726e61626c652f6275726e46726f6d203a2043616e6e6f74206275726e206d6f7265207468616e20616c6c6f77616e636545524332304d696e7461626c652f6d696e74203a2053686f756c64206e6f74206d696e7420746f207a65726f2061646472657373506175736564203a20546869732066756e6374696f6e2063616e206f6e6c792062652063616c6c6564207768656e206e6f742070617573656443524f532f7472616e73666572203a2053686f756c64206e6f742073656e6420746f207a65726f206164647265737343524f532f7472616e7366657246726f6d203a2053686f756c64206e6f742073656e6420746f207a65726f206164647265737345524332302f7472616e73666572203a2063616e6e6f74207472616e73666572206d6f7265207468616e20746f6b656e206f776e65722062616c616e636545524332304d696e7461626c652f6d696e74203a2043616e6e6f74206d696e742061667465722066696e69736865644f776e61626c65203a2046756e6374696f6e2063616c6c656420627920756e617574686f72697a656420757365722e43524f532f617070726f7665203a2053686f756c64206e6f7420617070726f7665207a65726f206164647265737345524332304275726e61626c652f6275726e203a2043616e6e6f74206275726e206d6f7265207468616e207573657227732062616c616e636545524332304275726e61626c652f6275726e203a2043616e6e6f74206275726e206d6f7265207468616e20746f74616c537570706c7945524332304c6f636b61626c652f43616e6e6f742073656e64206d6f7265207468616e20756e6c6f636b656420616d6f756e74506175736564203a20546869732066756e6374696f6e2063616e206f6e6c792062652063616c6c6564207768656e207061757365644f776e61626c652f7472616e736665724f776e657273686970203a2063616e6e6f74207472616e73666572206f776e65727368697020746f207a65726f2061646472657373a2646970667358221220f4b980282f423807dc4a7851011cf9b37a1ed95d32a5fe3d3d72ce5ae88ccd2f64736f6c63430006060033

17329:2210:0:-:0;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;17329:2210:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12:1:-1;9;2:12;19177:109:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;19177:109:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18837:332;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;18837:332:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7706:100;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18174:655;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;18174:655:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11793:259;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;11793:259:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;19419:117;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12311:401;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;12311:401:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15265:510;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;15265:510:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14233:227;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;14233:227:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13953:80;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7812:119;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7812:119:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9868:130;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14468:457;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;14468:457:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16224:105;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16897:207;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;16897:207:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13625:155;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16719:170;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;16719:170:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9461:102;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;19294:117;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;19294:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17749:417;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;17749:417:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12720:252;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;12720:252:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;12060:243;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;12060:243:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12980:179;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;12980:179:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;7939:183;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7939:183:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15902:314;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17112:143;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;17112:143:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9571:289;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;9571:289:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13788:157;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;19177:109;19225:23;19273:5;;;;;;;;;;;;;;;;;19261:17;;19177:109;:::o;18837:332::-;18941:12;19012:1;18993:21;;:7;:21;;;;18971:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19099:37;19108:10;19120:7;19129:6;19099:8;:37::i;:::-;;19157:4;19147:14;;18837:332;;;;:::o;7706:100::-;7752:13;7786:12;;7778:20;;7706:100;:::o;18174:655::-;18377:12;18297:4;16643:7;:15;16651:6;16643:15;;;;;;;;;;;;;;;;;;;;;;;;;16642:16;16634:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13528:7:::1;;;;;;;;;;;13527:8;13519:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18345:4:::2;18351:6;10743:30;10766:6;10743:12;:18;10756:4;10743:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;10724:9;:15;10734:4;10724:15;;;;;;;;;;;;;;;;:49;;10716:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18443:1:::3;18429:16;;:2;:16;;;;18407:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18535:27;18545:4;18551:2;18555:6;18535:9;:27::i;:::-;;18573:223;18596:4;18615:10;18640:145;18692:6;18640:145;;;;;;;;;;;;;;;;;:11;:17;18652:4;18640:17;;;;;;;;;;;;;;;:29;18658:10;18640:29;;;;;;;;;;;;;;;;:33;;:145;;;;;:::i;:::-;18573:8;:223::i;:::-;;18817:4;18807:14;;13608:1:::2;;18174:655:::0;;;;;;:::o;11793:259::-;11841:12;11870:9;11882:1;11870:13;;11866:154;11889:6;:12;11896:4;11889:12;;;;;;;;;;;;;;;:19;;;;11885:1;:23;11866:154;;;11954:3;11932:6;:12;11939:4;11932:12;;;;;;;;;;;;;;;11945:1;11932:15;;;;;;;;;;;;;;;;;;:19;;;:25;11929:80;;;11977:16;11985:4;11991:1;11977:7;:16::i;:::-;;11929:80;11910:3;;;;;;;11866:154;;;;12040:4;12030:14;;11793:259;;;:::o;19419:117::-;19471:19;17556:2;19503:25;;19419:117;:::o;12311:401::-;12423:12;12496:1;12475:23;;:9;:23;;;;12453:135;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12599:40;12609:10;12621:9;12632:6;12599:9;:40::i;:::-;;12650:29;12656:9;12667:6;12675:3;12650:5;:29::i;:::-;;12700:4;12690:14;;12311:401;;;;;:::o;15265:510::-;15391:12;9352:6;;;;;;;;;;;9338:20;;:10;:20;;;9316:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13528:7:::1;;;;;;;;;;;13527:8;13519:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15463:1:::2;15443:22;;:8;:22;;;;15421:124;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15579:16;;;;;;;;;;;15578:17;15556:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15681:23;15687:8;15697:6;15681:5;:23::i;:::-;;15725:8;15720:22;;;15735:6;15720:22;;;;;;;;;;;;;;;;;;15763:4;15753:14;;15265:510:::0;;;;:::o;14233:227::-;14322:12;13528:7;;;;;;;;;;;13527:8;13519:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14362:25:::1;14368:10;14380:6;14362:5;:25::i;:::-;14352:35;;14408:10;14403:24;;;14420:6;14403:24;;;;;;;;;;;;;;;;;;14448:4;14438:14;;14233:227:::0;;;:::o;13953:80::-;13994:4;14018:7;;;;;;;;;;;14011:14;;13953:80;:::o;7812:119::-;7869:15;7907:9;:16;7917:5;7907:16;;;;;;;;;;;;;;;;7897:26;;7812:119;;;:::o;9868:130::-;9925:12;9352:6;;;;;;;;;;;9338:20;;:10;:20;;;9316:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9960:30:::1;9987:1;9960:18;:30::i;:::-;9950:40;;9868:130:::0;:::o;14468:457::-;14577:12;13528:7;;;;;;;;;;;13527:8;13519:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14607:21:::1;14613:6;14621;14607:5;:21::i;:::-;;14649:6;14644:20;;;14657:6;14644:20;;;;;;;;;;;;;;;;;;14685:232;14708:6;14729:10;14754:152;14808:6;14754:152;;;;;;;;;;;;;;;;;:11;:19;14766:6;14754:19;;;;;;;;;;;;;;;:31;14774:10;14754:31;;;;;;;;;;;;;;;;:35;;:152;;;;;:::i;:::-;14685:8;:232::i;:::-;14675:242;;14468:457:::0;;;;:::o;16224:105::-;16268:13;16305:16;;;;;;;;;;;16294:27;;16224:105;:::o;16897:207::-;16986:12;9352:6;;;;;;;;;;;9338:20;;:10;:20;;;9316:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17034:5:::1;17016:7;:15;17024:6;17016:15;;;;;;;;;;;;;;;;:23;;;;;;;;;;;;;;;;;;17064:6;17055:16;;;;;;;;;;;;17092:4;17082:14;;16897:207:::0;;;:::o;13625:155::-;13684:12;9352:6;;;;;;;;;;;9338:20;;:10;:20;;;9316:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13528:7:::1;;;;;;;;;;;13527:8;13519:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13719:4:::2;13709:7;;:14;;;;;;;;;;;;;;;;;;13739:8;;;;;;;;;;13768:4;13758:14;;13625:155:::0;:::o;16719:170::-;16779:12;9352:6;;;;;;;;;;;9338:20;;:10;:20;;;9316:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16822:4:::1;16804:7;:15;16812:6;16804:15;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;16849:6;16842:14;;;;;;;;;;;;16877:4;16867:14;;16719:170:::0;;;:::o;9461:102::-;9501:20;9549:6;;;;;;;;;;;9534:21;;9461:102;:::o;19294:117::-;19344:25;19396:7;;;;;;;;;;;;;;;;;19382:21;;19294:117;:::o;17749:417::-;17946:12;17854:10;16643:7;:15;16651:6;16643:15;;;;;;;;;;;;;;;;;;;;;;;;;16642:16;16634:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13528:7:::1;;;;;;;;;;;13527:8;13519:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17908:10:::2;17920:6;10743:30;10766:6;10743:12;:18;10756:4;10743:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;10724:9;:15;10734:4;10724:15;;;;;;;;;;;;;;;;:49;;10716:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18012:1:::3;17998:16;;:2;:16;;;;17976:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18100:33;18110:10;18122:2;18126:6;18100:9;:33::i;:::-;;18154:4;18144:14;;13608:1:::2;;17749:417:::0;;;;;:::o;12720:252::-;12819:14;12835:11;12864:20;;:::i;:::-;12887:6;:14;12894:6;12887:14;;;;;;;;;;;;;;;12902:5;12887:21;;;;;;;;;;;;;;;;;;12864:44;;;;;;;;;;;;;;;;;;;;;;;;;;;12928:4;:11;;;12919:20;;12956:4;:8;;;12950:14;;12720:252;;;;;;:::o;12060:243::-;12150:12;9352:6;;;;;;;;;;;9338:20;;:10;:20;;;9316:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12184:9:::1;12196:1:::0;12184:13:::1;;12180:91;12203:6;:12;12210:4;12203:12;;;;;;;;;;;;;;;:19;;;;12199:1;:23;12180:91;;;12243:16;12251:4;12257:1;12243:7;:16::i;:::-;;12224:3;;;;;;;12180:91;;;;12291:4;12281:14;;12060:243:::0;;;:::o;12980:179::-;13039:14;13055;13090:12;:20;13103:6;13090:20;;;;;;;;;;;;;;;;13081:29;;13130:6;:14;13137:6;13130:14;;;;;;;;;;;;;;;:21;;;;13121:30;;12980:179;;;:::o;7939:183::-;8040:17;8087:11;:18;8099:5;8087:18;;;;;;;;;;;;;;;:27;8106:7;8087:27;;;;;;;;;;;;;;;;8075:39;;7939:183;;;;:::o;15902:314::-;15979:12;9352:6;;;;;;;;;;;9338:20;;:10;:20;;;9316:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16032:16:::1;;;;;;;;;;;16031:17;16009:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16152:4;16133:16;;:23;;;;;;;;;;;;;;;;;;16172:14;;;;;;;;;;16204:4;16197:11;;15902:314:::0;:::o;17112:143::-;17196:11;17232:7;:15;17240:6;17232:15;;;;;;;;;;;;;;;;;;;;;;;;;17225:22;;17112:143;;;:::o;9571:289::-;9669:12;9352:6;;;;;;;;;;;9338:20;;:10;:20;;;9316:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9727:1:::1;9707:22;;:8;:22;;;;9699:104;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9824:28;9843:8;9824:18;:28::i;:::-;9814:38;;9571:289:::0;;;:::o;13788:157::-;13846:12;9352:6;;;;;;;;;;;9338:20;;:10;:20;;;9316:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13390:7:::1;;;;;;;;;;;13382:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13881:5:::2;13871:7;;:15;;;;;;;;;;;;;;;;;;13902:10;;;;;;;;;;13933:4;13923:14;;13788:157:::0;:::o;6569:249::-;6671:12;6731:6;6701:11;:18;6713:5;6701:18;;;;;;;;;;;;;;;:27;6720:7;6701:27;;;;;;;;;;;;;;;:36;;;;6769:7;6753:32;;6762:5;6753:32;;;6778:6;6753:32;;;;;;;;;;;;;;;;;;6806:4;6796:14;;6569:249;;;;;:::o;901:181::-;959:7;979:9;995:1;991;:5;979:17;;1020:1;1015;:6;;1007:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1073:1;1066:8;;;901:181;;;;:::o;6159:402::-;6256:12;6304:130;6338:6;6304:130;;;;;;;;;;;;;;;;;:9;:15;6314:4;6304:15;;;;;;;;;;;;;;;;:19;;:130;;;;;:::i;:::-;6286:9;:15;6296:4;6286:15;;;;;;;;;;;;;;;:148;;;;6461:25;6479:6;6461:9;:13;6471:2;6461:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;6445:9;:13;6455:2;6445:13;;;;;;;;;;;;;;;:41;;;;6517:2;6502:26;;6511:4;6502:26;;;6521:6;6502:26;;;;;;;;;;;;;;;;;;6549:4;6539:14;;6159:402;;;;;:::o;1830:224::-;1943:7;1981:1;1976;:6;;1984:12;1968:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1968:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2008:9;2024:1;2020;:5;2008:17;;2045:1;2038:8;;;1830:224;;;;;:::o;11413:372::-;11477:12;11502:21;11526:6;:12;11533:4;11526:12;;;;;;;;;;;;;;;11539:5;11526:19;;;;;;;;;;;;;;;;;;11502:43;;11577:35;11600:4;:11;;;11577:12;:18;11590:4;11577:18;;;;;;;;;;;;;;;;:22;;:35;;;;:::i;:::-;11556:12;:18;11569:4;11556:18;;;;;;;;;;;;;;;:56;;;;11635:4;11628:25;;;11641:4;:11;;;11628:25;;;;;;;;;;;;;;;;;;11686:6;:12;11693:4;11686:12;;;;;;;;;;;;;;;11721:1;11699:6;:12;11706:4;11699:12;;;;;;;;;;;;;;;:19;;;;:23;11686:37;;;;;;;;;;;;;;;;;;11664:6;:12;11671:4;11664:12;;;;;;;;;;;;;;;11677:5;11664:19;;;;;;;;;;;;;;;;;;:59;;;;;;;;;;;;;;;;;;;11734:6;:12;11741:4;11734:12;;;;;;;;;;;;;;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11773:4;11763:14;;11413:372;;;;;:::o;10857:548::-;10951:12;10995:3;10989;:9;10981:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11098:30;11109:12;:18;11122:4;11109:18;;;;;;;;;;;;;;;;11098:6;:10;;:30;;;;:::i;:::-;11079:9;:15;11089:4;11079:15;;;;;;;;;;;;;;;;:49;;11057:163;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11252:30;11275:6;11252:12;:18;11265:4;11252:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;11231:12;:18;11244:4;11231:18;;;;;;;;;;;;;;;:51;;;;11293:6;:12;11300:4;11293:12;;;;;;;;;;;;;;;11311:21;;;;;;;;11320:6;11311:21;;;;11328:3;11311:21;;;11293:40;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;11293:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11354:4;11349:23;;;11360:6;11368:3;11349:23;;;;;;;;;;;;;;;;;;;;;;;;11393:4;11383:14;;10857:548;;;;;:::o;6826:309::-;6912:12;6957:24;6974:6;6957:12;;:16;;:24;;;;:::i;:::-;6942:12;:39;;;;7015:32;7040:6;7015:9;:20;7025:9;7015:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;6992:9;:20;7002:9;6992:20;;;;;;;;;;;;;;;:55;;;;7084:9;7063:39;;7080:1;7063:39;;;7095:6;7063:39;;;;;;;;;;;;;;;;;;7123:4;7113:14;;6826:309;;;;:::o;7143:490::-;7226:12;7276:127;7312:6;7276:127;;;;;;;;;;;;;;;;;:9;:17;7286:6;7276:17;;;;;;;;;;;;;;;;:21;;:127;;;;;:::i;:::-;7256:9;:17;7266:6;7256:17;;;;;;;;;;;;;;;:147;;;;7429:119;7460:6;7429:119;;;;;;;;;;;;;;;;;:12;;:16;;:119;;;;;:::i;:::-;7414:12;:134;;;;7589:1;7564:36;;7573:6;7564:36;;;7593:6;7564:36;;;;;;;;;;;;;;;;;;7621:4;7611:14;;7143:490;;;;:::o;10006:193::-;10070:12;10129:8;10100:38;;10121:6;;;;;;;;;;;10100:38;;;;;;;;;;;;10158:8;10149:6;;:17;;;;;;;;;;;;;;;;;;10187:4;10177:14;;10006:193;;;:::o;1357:136::-;1415:7;1442:43;1446:1;1449;1442:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1435:50;;1357:136;;;;:::o;17329:2210::-;;;;;;;;;;;;;;;;;;;:::o

ipfs://f4b980282f423807dc4a7851011cf9b37a1ed95d32a5fe3d3d72ce5ae88ccd2f