Contract 0xcf6bb5389c92bdda8a3747ddb454cb7a64626c63

/**
 *Submitted for verification at BscScan.com on 2020-09-27
*/

pragma solidity ^0.5.16;

contract Owned {

    address public owner;

    event OwnershipTransferred(address indexed _from, address indexed _to);

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

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

    function transferOwnership(address newOwner) public onlyOwner {
        owner = newOwner;
        emit OwnershipTransferred(owner, newOwner);
    }
}

contract Tokenlock is Owned {
    /// @notice Indicates if token is locked
    uint8 isLocked = 0;

    event Freezed();
    event UnFreezed();

    modifier validLock {
        require(isLocked == 0, "Token is locked");
        _;
    }
    
    function freeze() public onlyOwner {
        isLocked = 1;
        
        emit Freezed();
    }

    function unfreeze() public onlyOwner {
        isLocked = 0;
        
        emit UnFreezed();
    }
}

contract XVS is Tokenlock {
    /// @notice BEP-20 token name for this token
    string public constant name = "Venus";

    /// @notice BEP-20 token symbol for this token
    string public constant symbol = "XVS";

    /// @notice BEP-20 token decimals for this token
    uint8 public constant decimals = 18;

    /// @notice Total number of tokens in circulation
    uint public constant totalSupply = 30000000e18; // 30 million XVS

    /// @notice Allowance amounts on behalf of others
    mapping (address => mapping (address => uint96)) internal allowances;

    /// @notice Official record of token balances for each account
    mapping (address => uint96) internal balances;

    /// @notice A record of each accounts delegate
    mapping (address => address) public delegates;

    /// @notice A checkpoint for marking number of votes from a given block
    struct Checkpoint {
        uint32 fromBlock;
        uint96 votes;
    }

    /// @notice A record of votes checkpoints for each account, by index
    mapping (address => mapping (uint32 => Checkpoint)) public checkpoints;

    /// @notice The number of checkpoints for each account
    mapping (address => uint32) public numCheckpoints;

    /// @notice The EIP-712 typehash for the contract's domain
    bytes32 public constant DOMAIN_TYPEHASH = keccak256("EIP712Domain(string name,uint256 chainId,address verifyingContract)");

    /// @notice The EIP-712 typehash for the delegation struct used by the contract
    bytes32 public constant DELEGATION_TYPEHASH = keccak256("Delegation(address delegatee,uint256 nonce,uint256 expiry)");

    /// @notice A record of states for signing / validating signatures
    mapping (address => uint) public nonces;

    /// @notice An event thats emitted when an account changes its delegate
    event DelegateChanged(address indexed delegator, address indexed fromDelegate, address indexed toDelegate);

    /// @notice An event thats emitted when a delegate account's vote balance changes
    event DelegateVotesChanged(address indexed delegate, uint previousBalance, uint newBalance);

    /// @notice The standard BEP-20 transfer event
    event Transfer(address indexed from, address indexed to, uint256 amount);

    /// @notice The standard BEP-20 approval event
    event Approval(address indexed owner, address indexed spender, uint256 amount);

    /**
     * @notice Construct a new XVS token
     * @param account The initial account to grant all the tokens
     */
    constructor(address account) public {
        balances[account] = uint96(totalSupply);
        emit Transfer(address(0), account, totalSupply);
    }

    /**
     * @notice Get the number of tokens `spender` is approved to spend on behalf of `account`
     * @param account The address of the account holding the funds
     * @param spender The address of the account spending the funds
     * @return The number of tokens approved
     */
    function allowance(address account, address spender) external view returns (uint) {
        return allowances[account][spender];
    }

    /**
     * @notice Approve `spender` to transfer up to `amount` from `src`
     * @dev This will overwrite the approval amount for `spender`
     * @param spender The address of the account which may transfer tokens
     * @param rawAmount The number of tokens that are approved (2^256-1 means infinite)
     * @return Whether or not the approval succeeded
     */
    function approve(address spender, uint rawAmount) external validLock returns (bool) {
        uint96 amount;
        if (rawAmount == uint(-1)) {
            amount = uint96(-1);
        } else {
            amount = safe96(rawAmount, "XVS::approve: amount exceeds 96 bits");
        }

        allowances[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);
        return true;
    }

    /**
     * @notice Get the number of tokens held by the `account`
     * @param account The address of the account to get the balance of
     * @return The number of tokens held
     */
    function balanceOf(address account) external view returns (uint) {
        return balances[account];
    }

    /**
     * @notice Transfer `amount` tokens from `msg.sender` to `dst`
     * @param dst The address of the destination account
     * @param rawAmount The number of tokens to transfer
     * @return Whether or not the transfer succeeded
     */
    function transfer(address dst, uint rawAmount) external validLock returns (bool) {
        uint96 amount = safe96(rawAmount, "XVS::transfer: amount exceeds 96 bits");
        _transferTokens(msg.sender, dst, amount);
        return true;
    }

    /**
     * @notice Transfer `amount` tokens from `src` to `dst`
     * @param src The address of the source account
     * @param dst The address of the destination account
     * @param rawAmount The number of tokens to transfer
     * @return Whether or not the transfer succeeded
     */
    function transferFrom(address src, address dst, uint rawAmount) external validLock returns (bool) {
        address spender = msg.sender;
        uint96 spenderAllowance = allowances[src][spender];
        uint96 amount = safe96(rawAmount, "XVS::approve: amount exceeds 96 bits");

        if (spender != src && spenderAllowance != uint96(-1)) {
            uint96 newAllowance = sub96(spenderAllowance, amount, "XVS::transferFrom: transfer amount exceeds spender allowance");
            allowances[src][spender] = newAllowance;

            emit Approval(src, spender, newAllowance);
        }

        _transferTokens(src, dst, amount);
        return true;
    }

    /**
     * @notice Delegate votes from `msg.sender` to `delegatee`
     * @param delegatee The address to delegate votes to
     */
    function delegate(address delegatee) public validLock {
        return _delegate(msg.sender, delegatee);
    }

    /**
     * @notice Delegates votes from signatory to `delegatee`
     * @param delegatee The address to delegate votes to
     * @param nonce The contract state required to match the signature
     * @param expiry The time at which to expire the signature
     * @param v The recovery byte of the signature
     * @param r Half of the ECDSA signature pair
     * @param s Half of the ECDSA signature pair
     */
    function delegateBySig(address delegatee, uint nonce, uint expiry, uint8 v, bytes32 r, bytes32 s) public validLock {
        bytes32 domainSeparator = keccak256(abi.encode(DOMAIN_TYPEHASH, keccak256(bytes(name)), getChainId(), address(this)));
        bytes32 structHash = keccak256(abi.encode(DELEGATION_TYPEHASH, delegatee, nonce, expiry));
        bytes32 digest = keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));
        address signatory = ecrecover(digest, v, r, s);
        require(signatory != address(0), "XVS::delegateBySig: invalid signature");
        require(nonce == nonces[signatory]++, "XVS::delegateBySig: invalid nonce");
        require(now <= expiry, "XVS::delegateBySig: signature expired");
        return _delegate(signatory, delegatee);
    }

    /**
     * @notice Gets the current votes balance for `account`
     * @param account The address to get votes balance
     * @return The number of current votes for `account`
     */
    function getCurrentVotes(address account) external view returns (uint96) {
        uint32 nCheckpoints = numCheckpoints[account];
        return nCheckpoints > 0 ? checkpoints[account][nCheckpoints - 1].votes : 0;
    }

    /**
     * @notice Determine the prior number of votes for an account as of a block number
     * @dev Block number must be a finalized block or else this function will revert to prevent misinformation.
     * @param account The address of the account to check
     * @param blockNumber The block number to get the vote balance at
     * @return The number of votes the account had as of the given block
     */
    function getPriorVotes(address account, uint blockNumber) public view returns (uint96) {
        require(blockNumber < block.number, "XVS::getPriorVotes: not yet determined");

        uint32 nCheckpoints = numCheckpoints[account];
        if (nCheckpoints == 0) {
            return 0;
        }

        // First check most recent balance
        if (checkpoints[account][nCheckpoints - 1].fromBlock <= blockNumber) {
            return checkpoints[account][nCheckpoints - 1].votes;
        }

        // Next check implicit zero balance
        if (checkpoints[account][0].fromBlock > blockNumber) {
            return 0;
        }

        uint32 lower = 0;
        uint32 upper = nCheckpoints - 1;
        while (upper > lower) {
            uint32 center = upper - (upper - lower) / 2; // ceil, avoiding overflow
            Checkpoint memory cp = checkpoints[account][center];
            if (cp.fromBlock == blockNumber) {
                return cp.votes;
            } else if (cp.fromBlock < blockNumber) {
                lower = center;
            } else {
                upper = center - 1;
            }
        }
        return checkpoints[account][lower].votes;
    }

    function _delegate(address delegator, address delegatee) internal {
        address currentDelegate = delegates[delegator];
        uint96 delegatorBalance = balances[delegator];
        delegates[delegator] = delegatee;

        emit DelegateChanged(delegator, currentDelegate, delegatee);

        _moveDelegates(currentDelegate, delegatee, delegatorBalance);
    }

    function _transferTokens(address src, address dst, uint96 amount) internal {
        require(src != address(0), "XVS::_transferTokens: cannot transfer from the zero address");
        require(dst != address(0), "XVS::_transferTokens: cannot transfer to the zero address");

        balances[src] = sub96(balances[src], amount, "XVS::_transferTokens: transfer amount exceeds balance");
        balances[dst] = add96(balances[dst], amount, "XVS::_transferTokens: transfer amount overflows");
        emit Transfer(src, dst, amount);

        _moveDelegates(delegates[src], delegates[dst], amount);
    }

    function _moveDelegates(address srcRep, address dstRep, uint96 amount) internal {
        if (srcRep != dstRep && amount > 0) {
            if (srcRep != address(0)) {
                uint32 srcRepNum = numCheckpoints[srcRep];
                uint96 srcRepOld = srcRepNum > 0 ? checkpoints[srcRep][srcRepNum - 1].votes : 0;
                uint96 srcRepNew = sub96(srcRepOld, amount, "XVS::_moveVotes: vote amount underflows");
                _writeCheckpoint(srcRep, srcRepNum, srcRepOld, srcRepNew);
            }

            if (dstRep != address(0)) {
                uint32 dstRepNum = numCheckpoints[dstRep];
                uint96 dstRepOld = dstRepNum > 0 ? checkpoints[dstRep][dstRepNum - 1].votes : 0;
                uint96 dstRepNew = add96(dstRepOld, amount, "XVS::_moveVotes: vote amount overflows");
                _writeCheckpoint(dstRep, dstRepNum, dstRepOld, dstRepNew);
            }
        }
    }

    function _writeCheckpoint(address delegatee, uint32 nCheckpoints, uint96 oldVotes, uint96 newVotes) internal {
      uint32 blockNumber = safe32(block.number, "XVS::_writeCheckpoint: block number exceeds 32 bits");

      if (nCheckpoints > 0 && checkpoints[delegatee][nCheckpoints - 1].fromBlock == blockNumber) {
          checkpoints[delegatee][nCheckpoints - 1].votes = newVotes;
      } else {
          checkpoints[delegatee][nCheckpoints] = Checkpoint(blockNumber, newVotes);
          numCheckpoints[delegatee] = nCheckpoints + 1;
      }

      emit DelegateVotesChanged(delegatee, oldVotes, newVotes);
    }

    function safe32(uint n, string memory errorMessage) internal pure returns (uint32) {
        require(n < 2**32, errorMessage);
        return uint32(n);
    }

    function safe96(uint n, string memory errorMessage) internal pure returns (uint96) {
        require(n < 2**96, errorMessage);
        return uint96(n);
    }

    function add96(uint96 a, uint96 b, string memory errorMessage) internal pure returns (uint96) {
        uint96 c = a + b;
        require(c >= a, errorMessage);
        return c;
    }

    function sub96(uint96 a, uint96 b, string memory errorMessage) internal pure returns (uint96) {
        require(b <= a, errorMessage);
        return a - b;
    }

    function getChainId() internal pure returns (uint) {
        uint256 chainId;
        assembly { chainId := chainid() }
        return chainId;
    }
}

[{"inputs":[{"internalType":"address","name":"account","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegator","type":"address"},{"indexed":true,"internalType":"address","name":"fromDelegate","type":"address"},{"indexed":true,"internalType":"address","name":"toDelegate","type":"address"}],"name":"DelegateChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegate","type":"address"},{"indexed":false,"internalType":"uint256","name":"previousBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newBalance","type":"uint256"}],"name":"DelegateVotesChanged","type":"event"},{"anonymous":false,"inputs":[],"name":"Freezed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"}],"name":"OwnershipTransferred","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":[],"name":"UnFreezed","type":"event"},{"constant":true,"inputs":[],"name":"DELEGATION_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"DOMAIN_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint32","name":"","type":"uint32"}],"name":"checkpoints","outputs":[{"internalType":"uint32","name":"fromBlock","type":"uint32"},{"internalType":"uint96","name":"votes","type":"uint96"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"delegatee","type":"address"}],"name":"delegate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"delegatee","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"delegateBySig","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"freeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getCurrentVotes","outputs":[{"internalType":"uint96","name":"","type":"uint96"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPriorVotes","outputs":[{"internalType":"uint96","name":"","type":"uint96"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"numCheckpoints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unfreeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405260008060146101000a81548160ff021916908360ff16021790555034801561002b57600080fd5b506040516133863803806133868339818101604052602081101561004e57600080fd5b8101908080519060200190929190505050336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506a18d0bf423c03d8de000000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6a18d0bf423c03d8de0000006040518082815260200191505060405180910390a3506131ed806101996000396000f3fe608060405234801561001057600080fd5b506004361061014d5760003560e01c806370a08231116100c3578063b4b5ea571161007c578063b4b5ea57146106c2578063c3cda52014610736578063dd62ed3e146107af578063e7a324dc14610827578063f1127ed814610845578063f2fde38b146108dc5761014d565b806370a0823114610461578063782d6fe1146104b95780637ecebe00146105375780638da5cb5b1461058f57806395d89b41146105d9578063a9059cbb1461065c5761014d565b8063313ce56711610115578063313ce567146102fd578063587cde1e146103215780635c19a95c146103a557806362a5af3b146103e95780636a28f000146103f35780636fcfff45146103fd5761014d565b806306fdde0314610152578063095ea7b3146101d557806318160ddd1461023b57806320606b701461025957806323b872dd14610277575b600080fd5b61015a610920565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561019a57808201518184015260208101905061017f565b50505050905090810190601f1680156101c75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610221600480360360408110156101eb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610959565b604051808215151515815260200191505060405180910390f35b610243610b82565b6040518082815260200191505060405180910390f35b610261610b91565b6040518082815260200191505060405180910390f35b6102e36004803603606081101561028d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610bad565b604051808215151515815260200191505060405180910390f35b610305610ed7565b604051808260ff1660ff16815260200191505060405180910390f35b6103636004803603602081101561033757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610edc565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103e7600480360360208110156103bb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f0f565b005b6103f1610fa3565b005b6103fb6110af565b005b61043f6004803603602081101561041357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111ba565b604051808263ffffffff1663ffffffff16815260200191505060405180910390f35b6104a36004803603602081101561047757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111dd565b6040518082815260200191505060405180910390f35b610505600480360360408110156104cf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061124c565b60405180826bffffffffffffffffffffffff166bffffffffffffffffffffffff16815260200191505060405180910390f35b6105796004803603602081101561054d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611675565b6040518082815260200191505060405180910390f35b61059761168d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105e16116b2565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610621578082015181840152602081019050610606565b50505050905090810190601f16801561064e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106a86004803603604081101561067257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116eb565b604051808215151515815260200191505060405180910390f35b610704600480360360208110156106d857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117b0565b60405180826bffffffffffffffffffffffff166bffffffffffffffffffffffff16815260200191505060405180910390f35b6107ad600480360360c081101561074c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803560ff169060200190929190803590602001909291908035906020019092919050505061189e565b005b610811600480360360408110156107c557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cd6565b6040518082815260200191505060405180910390f35b61082f611d83565b6040518082815260200191505060405180910390f35b6108976004803603604081101561085b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803563ffffffff169060200190929190505050611d9f565b604051808363ffffffff1663ffffffff168152602001826bffffffffffffffffffffffff166bffffffffffffffffffffffff1681526020019250505060405180910390f35b61091e600480360360208110156108f257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611df8565b005b6040518060400160405280600581526020017f56656e757300000000000000000000000000000000000000000000000000000081525081565b600080600060149054906101000a900460ff1660ff16146109e2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f546f6b656e206973206c6f636b6564000000000000000000000000000000000081525060200191505060405180910390fd5b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff831415610a34577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9050610a59565b610a568360405180606001604052806024815260200161307260249139611f78565b90505b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405180826bffffffffffffffffffffffff16815260200191505060405180910390a3600191505092915050565b6a18d0bf423c03d8de00000081565b604051808061302f604391396043019050604051809103902081565b600080600060149054906101000a900460ff1660ff1614610c36576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f546f6b656e206973206c6f636b6564000000000000000000000000000000000081525060200191505060405180910390fd5b60003390506000600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1690506000610cf88560405180606001604052806024815260200161307260249139611f78565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015610d7257507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b15610ebe576000610d9c83836040518060600160405280603c8152602001612ece603c913961203b565b905080600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405180826bffffffffffffffffffffffff16815260200191505060405180910390a3505b610ec9878783612111565b600193505050509392505050565b601281565b60036020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060149054906101000a900460ff1660ff1614610f96576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f546f6b656e206973206c6f636b6564000000000000000000000000000000000081525060200191505060405180910390fd5b610fa0338261252c565b50565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611065576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f53686f756c64206265206f776e6572000000000000000000000000000000000081525060200191505060405180910390fd5b6001600060146101000a81548160ff021916908360ff1602179055507f962a6139ca22015759d0878e2cf5d770dcb8152e1d5ba08e46a969dd9b154a9c60405160405180910390a1565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611171576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f53686f756c64206265206f776e6572000000000000000000000000000000000081525060200191505060405180910390fd5b60008060146101000a81548160ff021916908360ff1602179055507ff0daac2271a735ea786b9adf80dfcbd6a3cbd52f3cab0a78337114692d5faf5d60405160405180910390a1565b60056020528060005260406000206000915054906101000a900463ffffffff1681565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106112a6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806130c96026913960400191505060405180910390fd5b6000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff16141561131357600091505061166f565b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161161141557600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1691505061166f565b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16111561149657600091505061166f565b600080905060006001830390505b8163ffffffff168163ffffffff1611156115f1576000600283830363ffffffff16816114cc57fe5b04820390506114d9612e9f565b600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff1614156115c95780602001519550505050505061166f565b86816000015163ffffffff1610156115e3578193506115ea565b6001820392505b50506114a4565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b60066020528060005260406000206000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040518060400160405280600381526020017f585653000000000000000000000000000000000000000000000000000000000081525081565b600080600060149054906101000a900460ff1660ff1614611774576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f546f6b656e206973206c6f636b6564000000000000000000000000000000000081525060200191505060405180910390fd5b600061179883604051806060016040528060258152602001612f6660259139611f78565b90506117a5338583612111565b600191505092915050565b600080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161161181a576000611896565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b60008060149054906101000a900460ff1660ff1614611925576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f546f6b656e206973206c6f636b6564000000000000000000000000000000000081525060200191505060405180910390fd5b6000604051808061302f60439139604301905060405180910390206040518060400160405280600581526020017f56656e7573000000000000000000000000000000000000000000000000000000815250805190602001206119856126ec565b30604051602001808581526020018481526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019450505050506040516020818303038152906040528051906020012090506000604051808061317f603a9139603a0190506040518091039020888888604051602001808581526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018281526020019450505050506040516020818303038152906040528051906020012090506000828260405160200180807f190100000000000000000000000000000000000000000000000000000000000081525060020183815260200182815260200192505050604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa158015611b30573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611bc2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612fe56025913960400191505060405180910390fd5b600660008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558914611c67576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612f8b6021913960400191505060405180910390fd5b87421115611cc0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061300a6025913960400191505060405180910390fd5b611cca818b61252c565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b604051808061317f603a9139603a019050604051809103902081565b6004602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611eba576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f53686f756c64206265206f776e6572000000000000000000000000000000000081525060200191505060405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350565b60006c0100000000000000000000000083108290612031576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611ff6578082015181840152602081019050611fdb565b50505050905090810190601f1680156120235780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff1611158290612104576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156120c95780820151818401526020810190506120ae565b50505050905090810190601f1680156120f65780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415612197576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b8152602001806130ef603b913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561221d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526039815260200180612fac6039913960400191505060405180910390fd5b612297600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060358152602001612f0a6035913961203b565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555061237e600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16826040518060600160405280602f815260200161312a602f91396126f9565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405180826bffffffffffffffffffffffff16815260200191505060405180910390a3612527600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836127d4565b505050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46126e68284836127d4565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff16101583906127c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561278d578082015181840152602081019050612772565b50505050905090810190601f1680156127ba5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561281e57506000816bffffffffffffffffffffffff16115b15612aca57600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614612976576000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff16116128c157600061293d565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b905060006129648285604051806060016040528060278152602001612f3f6027913961203b565b905061297286848484612acf565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614612ac9576000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611612a14576000612a90565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000612ab78285604051806060016040528060268152602001613159602691396126f9565b9050612ac585848484612acf565b5050505b5b505050565b6000612af34360405180606001604052806033815260200161309660339139612de4565b905060008463ffffffff16118015612b8857508063ffffffff16600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15612c235781600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550612d6b565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724848460405180836bffffffffffffffffffffffff168152602001826bffffffffffffffffffffffff1681526020019250505060405180910390a25050505050565b600064010000000083108290612e95576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612e5a578082015181840152602081019050612e3f565b50505050905090810190601f168015612e875780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff168152509056fe5856533a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63655856533a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63655856533a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77735856533a3a7472616e736665723a20616d6f756e74206578636565647320393620626974735856533a3a64656c656761746542795369673a20696e76616c6964206e6f6e63655856533a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e7366657220746f20746865207a65726f20616464726573735856533a3a64656c656761746542795369673a20696e76616c6964207369676e61747572655856533a3a64656c656761746542795369673a207369676e61747572652065787069726564454950373132446f6d61696e28737472696e67206e616d652c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e7472616374295856533a3a617070726f76653a20616d6f756e74206578636565647320393620626974735856533a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974735856533a3a6765745072696f72566f7465733a206e6f74207965742064657465726d696e65645856533a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e736665722066726f6d20746865207a65726f20616464726573735856533a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77735856533a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f777344656c65676174696f6e28616464726573732064656c6567617465652c75696e74323536206e6f6e63652c75696e743235362065787069727929a265627a7a723158202e8bc72bb2ac0f33883ab46dec5244fad755396d4e2c464f5cf0cfdbf645f27964736f6c6343000511003200000000000000000000000076afd2a963c081ba5ec2b9827a194d37df914d59

00000000000000000000000076afd2a963c081ba5ec2b9827a194d37df914d59

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000076afd2a963c081ba5ec2b9827a194d37df914d59

968:12779:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;968:12779:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1051:37;;;:::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;1051:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4493:428;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4493:428:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1348:46;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2277:122;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6053:680;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6053:680:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1249:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1727:45;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1727:45:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6881:112;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6881:112:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;747:101;;;:::i;:::-;;856:105;;;:::i;:::-;;2155:49;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2155:49:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5124:108;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5124:108:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9077:1217;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9077:1217:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2691:39;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2691:39:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;52:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1149:37;;;:::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;1149:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5496:247;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5496:247:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8424:222;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8424:222:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7427:796;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;7427:796:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3973:136;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3973:136:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2493:117;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2016:70;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2016:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;331:150;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;331:150:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;1051:37;;;;;;;;;;;;;;;;;;;:::o;4493:428::-;4571:4;694:1;682:8;;;;;;;;;;;:13;;;674:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4588:13;4634:2;4616:9;:21;4612:172;;;4670:2;4654:19;;4612:172;;;4715:57;4722:9;4715:57;;;;;;;;;;;;;;;;;:6;:57::i;:::-;4706:66;;4612:172;4830:6;4796:10;:22;4807:10;4796:22;;;;;;;;;;;;;;;:31;4819:7;4796:31;;;;;;;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;4875:7;4854:37;;4863:10;4854:37;;;4884:6;4854:37;;;;;;;;;;;;;;;;;;;;4909:4;4902:11;;;4493:428;;;;:::o;1348:46::-;1383:11;1348:46;:::o;2277:122::-;2319:80;;;;;;;;;;;;;;;;;;;2277:122;:::o;6053:680::-;6145:4;694:1;682:8;;;;;;;;;;;:13;;;674:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6162:15;6180:10;6162:28;;6201:23;6227:10;:15;6238:3;6227:15;;;;;;;;;;;;;;;:24;6243:7;6227:24;;;;;;;;;;;;;;;;;;;;;;;;;6201:50;;6262:13;6278:57;6285:9;6278:57;;;;;;;;;;;;;;;;;:6;:57::i;:::-;6262:73;;6363:3;6352:14;;:7;:14;;;;:48;;;;;6397:2;6370:30;;:16;:30;;;;6352:48;6348:310;;;6417:19;6439:95;6445:16;6463:6;6439:95;;;;;;;;;;;;;;;;;:5;:95::i;:::-;6417:117;;6576:12;6549:10;:15;6560:3;6549:15;;;;;;;;;;;;;;;:24;6565:7;6549:24;;;;;;;;;;;;;;;;:39;;;;;;;;;;;;;;;;;;6624:7;6610:36;;6619:3;6610:36;;;6633:12;6610:36;;;;;;;;;;;;;;;;;;;;6348:310;;6670:33;6686:3;6691;6696:6;6670:15;:33::i;:::-;6721:4;6714:11;;;;;6053:680;;;;;:::o;1249:35::-;1282:2;1249:35;:::o;1727:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;6881:112::-;694:1;682:8;;;;;;;;;;;:13;;;674:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6953:32;6963:10;6975:9;6953;:32::i;:::-;6881:112;:::o;747:101::-;278:5;;;;;;;;;;;264:19;;:10;:19;;;256:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;804:1;793:8;;:12;;;;;;;;;;;;;;;;;;831:9;;;;;;;;;;747:101::o;856:105::-;278:5;;;;;;;;;;;264:19;;:10;:19;;;256:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;915:1;904:8;;:12;;;;;;;;;;;;;;;;;;942:11;;;;;;;;;;856:105::o;2155:49::-;;;;;;;;;;;;;;;;;;;;;;:::o;5124:108::-;5183:4;5207:8;:17;5216:7;5207:17;;;;;;;;;;;;;;;;;;;;;;;;;5200:24;;;;5124:108;;;:::o;9077:1217::-;9156:6;9197:12;9183:11;:26;9175:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9265:19;9287:14;:23;9302:7;9287:23;;;;;;;;;;;;;;;;;;;;;;;;;9265:45;;9341:1;9325:12;:17;;;9321:58;;;9366:1;9359:8;;;;;9321:58;9491:11;9439;:20;9451:7;9439:20;;;;;;;;;;;;;;;:38;9475:1;9460:12;:16;9439:38;;;;;;;;;;;;;;;:48;;;;;;;;;;;;:63;;;9435:147;;9526:11;:20;9538:7;9526:20;;;;;;;;;;;;;;;:38;9562:1;9547:12;:16;9526:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;9519:51;;;;;9435:147;9679:11;9643;:20;9655:7;9643:20;;;;;;;;;;;;;;;:23;9664:1;9643:23;;;;;;;;;;;;;:33;;;;;;;;;;;;:47;;;9639:88;;;9714:1;9707:8;;;;;9639:88;9739:12;9754:1;9739:16;;9766:12;9796:1;9781:12;:16;9766:31;;9808:428;9823:5;9815:13;;:5;:13;;;9808:428;;;9845:13;9887:1;9878:5;9870;:13;9869:19;;;;;;;;9861:5;:27;9845:43;;9930:20;;:::i;:::-;9953:11;:20;9965:7;9953:20;;;;;;;;;;;;;;;:28;9974:6;9953:28;;;;;;;;;;;;;;;9930:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10016:11;10000:2;:12;;;:27;;;9996:229;;;10055:2;:8;;;10048:15;;;;;;;;;9996:229;10104:11;10089:2;:12;;;:26;;;10085:140;;;10144:6;10136:14;;10085:140;;;10208:1;10199:6;:10;10191:18;;10085:140;9808:428;;;;;10253:11;:20;10265:7;10253:20;;;;;;;;;;;;;;;:27;10274:5;10253:27;;;;;;;;;;;;;;;:33;;;;;;;;;;;;10246:40;;;;;9077:1217;;;;;:::o;2691:39::-;;;;;;;;;;;;;;;;;:::o;52:20::-;;;;;;;;;;;;;:::o;1149:37::-;;;;;;;;;;;;;;;;;;;:::o;5496:247::-;5571:4;694:1;682:8;;;;;;;;;;;:13;;;674:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5588:13;5604:58;5611:9;5604:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;5588:74;;5673:40;5689:10;5701:3;5706:6;5673:15;:40::i;:::-;5731:4;5724:11;;;5496:247;;;;:::o;8424:222::-;8489:6;8508:19;8530:14;:23;8545:7;8530:23;;;;;;;;;;;;;;;;;;;;;;;;;8508:45;;8586:1;8571:12;:16;;;:67;;8637:1;8571:67;;;8590:11;:20;8602:7;8590:20;;;;;;;;;;;;;;;:38;8626:1;8611:12;:16;8590:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;8571:67;8564:74;;;8424:222;;;:::o;7427:796::-;694:1;682:8;;;;;;;;;;;:13;;;674:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7553:23;2319:80;;;;;;;;;;;;;;;;;;;7633:4;;;;;;;;;;;;;;;;;7617:22;;;;;;7641:12;:10;:12::i;:::-;7663:4;7589:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7589:80:0;;;7579:91;;;;;;7553:117;;7681:18;2539:71;;;;;;;;;;;;;;;;;;;7744:9;7755:5;7762:6;7712:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7712:57:0;;;7702:68;;;;;;7681:89;;7781:14;7837:15;7854:10;7808:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7808:57:0;;;7798:68;;;;;;7781:85;;7877:17;7897:26;7907:6;7915:1;7918;7921;7897:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7897:26:0;;;;;;;;7877:46;;7963:1;7942:23;;:9;:23;;;;7934:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8035:6;:17;8042:9;8035:17;;;;;;;;;;;;;;;;:19;;;;;;;;;;;;8026:5;:28;8018:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8118:6;8111:3;:13;;8103:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8184:31;8194:9;8205;8184;:31::i;:::-;8177:38;;;;7427:796;;;;;;:::o;3973:136::-;4049:4;4073:10;:19;4084:7;4073:19;;;;;;;;;;;;;;;:28;4093:7;4073:28;;;;;;;;;;;;;;;;;;;;;;;;;4066:35;;;;3973:136;;;;:::o;2493:117::-;2539:71;;;;;;;;;;;;;;;;;;;2493:117;:::o;2016:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;331:150::-;278:5;;;;;;;;;;;264:19;;:10;:19;;;256:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;412:8;404:5;;:16;;;;;;;;;;;;;;;;;;464:8;436:37;;457:5;;;;;;;;;;;436:37;;;;;;;;;;;;331:150;:::o;13053:161::-;13128:6;13159:5;13155:1;:9;13166:12;13147:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;13147:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13204:1;13190:16;;13053:161;;;;:::o;13418:165::-;13504:6;13536:1;13531:6;;:1;:6;;;;13539:12;13523: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;13523:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13574:1;13570;:5;13563:12;;13418:165;;;;;:::o;10685:610::-;10794:1;10779:17;;:3;:17;;;;10771:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10894:1;10879:17;;:3;:17;;;;10871:87;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10987:85;10993:8;:13;11002:3;10993:13;;;;;;;;;;;;;;;;;;;;;;;;;11008:6;10987:85;;;;;;;;;;;;;;;;;:5;:85::i;:::-;10971:8;:13;10980:3;10971:13;;;;;;;;;;;;;;;;:101;;;;;;;;;;;;;;;;;;11099:79;11105:8;:13;11114:3;11105:13;;;;;;;;;;;;;;;;;;;;;;;;;11120:6;11099:79;;;;;;;;;;;;;;;;;:5;:79::i;:::-;11083:8;:13;11092:3;11083:13;;;;;;;;;;;;;;;;:95;;;;;;;;;;;;;;;;;;11208:3;11194:26;;11203:3;11194:26;;;11213:6;11194:26;;;;;;;;;;;;;;;;;;;;11233:54;11248:9;:14;11258:3;11248:14;;;;;;;;;;;;;;;;;;;;;;;;;11264:9;:14;11274:3;11264:14;;;;;;;;;;;;;;;;;;;;;;;;;11280:6;11233:14;:54::i;:::-;10685:610;;;:::o;10302:375::-;10379:23;10405:9;:20;10415:9;10405:20;;;;;;;;;;;;;;;;;;;;;;;;;10379:46;;10436:23;10462:8;:19;10471:9;10462:19;;;;;;;;;;;;;;;;;;;;;;;;;10436:45;;10515:9;10492;:20;10502:9;10492:20;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;10586:9;10542:54;;10569:15;10542:54;;10558:9;10542:54;;;;;;;;;;;;10609:60;10624:15;10641:9;10652:16;10609:14;:60::i;:::-;10302:375;;;;:::o;13591:153::-;13636:4;13653:15;13701:9;13690:20;;13729:7;13722:14;;;13591:153;:::o;13222:188::-;13308:6;13327:8;13342:1;13338;:5;13327:16;;13367:1;13362:6;;:1;:6;;;;13370:12;13354: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;13354:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13401:1;13394:8;;;13222:188;;;;;:::o;11303:937::-;11408:6;11398:16;;:6;:16;;;;:30;;;;;11427:1;11418:6;:10;;;11398:30;11394:839;;;11467:1;11449:20;;:6;:20;;;11445:381;;11490:16;11509:14;:22;11524:6;11509:22;;;;;;;;;;;;;;;;;;;;;;;;;11490:41;;11550:16;11581:1;11569:9;:13;;;:60;;11628:1;11569:60;;;11585:11;:19;11597:6;11585:19;;;;;;;;;;;;;;;:34;11617:1;11605:9;:13;11585:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;11569:60;11550:79;;11648:16;11667:67;11673:9;11684:6;11667:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;11648:86;;11753:57;11770:6;11778:9;11789;11800;11753:16;:57::i;:::-;11445:381;;;;11864:1;11846:20;;:6;:20;;;11842:380;;11887:16;11906:14;:22;11921:6;11906:22;;;;;;;;;;;;;;;;;;;;;;;;;11887:41;;11947:16;11978:1;11966:9;:13;;;:60;;12025:1;11966:60;;;11982:11;:19;11994:6;11982:19;;;;;;;;;;;;;;;:34;12014:1;12002:9;:13;11982:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;11966:60;11947:79;;12045:16;12064:66;12070:9;12081:6;12064:66;;;;;;;;;;;;;;;;;:5;:66::i;:::-;12045:85;;12149:57;12166:6;12174:9;12185;12196;12149:16;:57::i;:::-;11842:380;;;;11394:839;11303:937;;;:::o;12248:628::-;12366:18;12387:75;12394:12;12387:75;;;;;;;;;;;;;;;;;:6;:75::i;:::-;12366:96;;12492:1;12477:12;:16;;;:85;;;;;12551:11;12497:65;;:11;:22;12509:9;12497:22;;;;;;;;;;;;;;;:40;12535:1;12520:12;:16;12497:40;;;;;;;;;;;;;;;:50;;;;;;;;;;;;:65;;;12477:85;12473:329;;;12626:8;12577:11;:22;12589:9;12577:22;;;;;;;;;;;;;;;:40;12615:1;12600:12;:16;12577:40;;;;;;;;;;;;;;;:46;;;:57;;;;;;;;;;;;;;;;;;12473:329;;;12702:33;;;;;;;;12713:11;12702:33;;;;;;12726:8;12702:33;;;;;12663:11;:22;12675:9;12663:22;;;;;;;;;;;;;;;:36;12686:12;12663:36;;;;;;;;;;;;;;;:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12791:1;12776:12;:16;12748:14;:25;12763:9;12748:25;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;12473:329;12838:9;12817:51;;;12849:8;12859;12817:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;12248:628;;;;;:::o;12884:161::-;12959:6;12990:5;12986:1;:9;12997:12;12978:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;12978:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13035:1;13021:16;;12884:161;;;;:::o;968:12779::-;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://2e8bc72bb2ac0f33883ab46dec5244fad755396d4e2c464f5cf0cfdbf645f279