Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Lexe *
•    - function allowance(address account, a ...
•    - function approve(address spender, uin ...
•    - function balanceOf(address account)
•    - function transfer(address dst, uint25 ...
•    - function transferFrom(
•    - function delegate(address delegatee)
•    - function delegateBySig(
•    - function getCurrentVotes(address acco ...
•    - function getPriorVotes(address accoun ...
•    - function _delegate(address delegator, ...
•    - function _transferTokens(
•    - function _moveDelegates(
•    - function _writeCheckpoint(
•    - function safe32(uint256 n, string mem ...
•    - function safe96(uint256 n, string mem ...
•    - function add96(
•    - function sub96(
•    - function getChainId()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-02-10
*/

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;

contract Lexe {
    /// @notice EIP-20 token name for this token
    string public constant name = "Lendexe";

    /// @notice EIP-20 token symbol for this token
    string public constant symbol = "LEXE";

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

    /// @notice Total number of tokens in circulation
    uint256 public constant totalSupply = 1000000000e18; // 1000 million Lexe

    /// @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 => uint256) 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,
        uint256 previousBalance,
        uint256 newBalance
    );

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

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

    /**
     * @notice Construct a new Lexe 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 (uint256)
    {
        return allowances[account][spender];
    }

    /**
     * @notice Approve `spender` to transfer up to `amount` from `src`
     * @dev This will overwrite the approval amount for `spender`
     *  and is subject to issues noted [here](https://eips.ethereum.org/EIPS/eip-20#approve)
     * @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, uint256 rawAmount)
        external
        returns (bool)
    {
        uint96 amount;
        if (rawAmount == uint256(-1)) {
            amount = uint96(-1);
        } else {
            amount = safe96(rawAmount, "Lexe::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 (uint256) {
        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, uint256 rawAmount) external returns (bool) {
        uint96 amount = safe96(
            rawAmount,
            "Lexe::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,
        uint256 rawAmount
    ) external returns (bool) {
        address spender = msg.sender;
        uint96 spenderAllowance = allowances[src][spender];
        uint96 amount = safe96(
            rawAmount,
            "Lexe::approve: amount exceeds 96 bits"
        );

        if (spender != src && spenderAllowance != uint96(-1)) {
            uint96 newAllowance = sub96(
                spenderAllowance,
                amount,
                "Lexe::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 {
        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,
        uint256 nonce,
        uint256 expiry,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public {
        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),
            "Lexe::delegateBySig: invalid signature"
        );
        require(
            nonce == nonces[signatory]++,
            "Lexe::delegateBySig: invalid nonce"
        );
        require(now <= expiry, "Lexe::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, uint256 blockNumber)
        public
        view
        returns (uint96)
    {
        require(
            blockNumber < block.number,
            "Lexe::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),
            "Lexe::_transferTokens: cannot transfer from the zero address"
        );
        require(
            dst != address(0),
            "Lexe::_transferTokens: cannot transfer to the zero address"
        );

        balances[src] = sub96(
            balances[src],
            amount,
            "Lexe::_transferTokens: transfer amount exceeds balance"
        );
        balances[dst] = add96(
            balances[dst],
            amount,
            "Lexe::_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,
                    "Lexe::_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,
                    "Lexe::_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,
            "Lexe::_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(uint256 n, string memory errorMessage)
        internal
        pure
        returns (uint32)
    {
        require(n < 2**32, errorMessage);
        return uint32(n);
    }

    function safe96(uint256 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 (uint256) {
        uint256 chainId;
        assembly {
            chainId := chainid()
        }
        return chainId;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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":[{"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"},{"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":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":"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"}]

60806040523480156200001157600080fd5b5060405162001bd038038062001bd08339810160408190526200003491620000bd565b6001600160a01b03811660008181526001602052604080822080546001600160601b0319166b033b2e3c9fd0803ce800000090811790915590517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef916200009b91620000f7565b60405180910390a35062000136565b8051620000b7816200011c565b92915050565b600060208284031215620000d057600080fd5b6000620000de8484620000aa565b949350505050565b620000f18162000119565b82525050565b60208101620000b78284620000e6565b60006001600160a01b038216620000b7565b90565b620001278162000107565b81146200013357600080fd5b50565b611a8a80620001466000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea571461025f578063c3cda52014610272578063dd62ed3e14610285578063e7a324dc14610298578063f1127ed8146102a057610121565b806370a08231146101fe578063782d6fe1146102115780637ecebe001461023157806395d89b4114610244578063a9059cbb1461024c57610121565b806323b872dd116100f457806323b872dd14610181578063313ce56714610194578063587cde1e146101a95780635c19a95c146101c95780636fcfff45146101de57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461016457806320606b7014610179575b600080fd5b61012e6102c1565b60405161013b919061173b565b60405180910390f35b610157610152366004611204565b6102e4565b60405161013b9190611691565b61016c6103a1565b60405161013b919061169f565b61016c6103b1565b61015761018f3660046111b7565b6103c8565b61019c61050d565b60405161013b91906117d5565b6101bc6101b7366004611157565b610512565b60405161013b9190611683565b6101dc6101d7366004611157565b61052d565b005b6101f16101ec366004611157565b61053a565b60405161013b91906117ac565b61016c61020c366004611157565b610552565b61022461021f366004611204565b610576565b60405161013b91906117f1565b61016c61023f366004611157565b61078d565b61012e61079f565b61015761025a366004611204565b6107bf565b61022461026d366004611157565b6107fb565b6101dc610280366004611234565b61086b565b61016c61029336600461117d565b610a54565b61016c610a86565b6102b36102ae3660046112bb565b610a92565b60405161013b9291906117ba565b604051806040016040528060078152602001664c656e6465786560c81b81525081565b6000806000198314156102fa575060001961031f565b61031c8360405180606001604052806025815260200161199360259139610ac7565b90505b336000818152602081815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061038d9085906117e3565b60405180910390a360019150505b92915050565b6b033b2e3c9fd0803ce800000081565b6040516103bd9061166d565b604051809103902081565b6001600160a01b0383166000908152602081815260408083203380855290835281842054825160608101909352602580845291936001600160601b0390911692859261041e928892919061199390830139610ac7565b9050866001600160a01b0316836001600160a01b03161415801561044b57506001600160601b0382811614155b156104f357600061047583836040518060600160405280603d8152602001611956603d9139610af6565b6001600160a01b03898116600081815260208181526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104e99085906117e3565b60405180910390a3505b6104fe878783610b35565b600193505050505b9392505050565b601281565b6002602052600090815260409020546001600160a01b031681565b6105373382610ce0565b50565b60046020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600160205260409020546001600160601b031690565b60004382106105a05760405162461bcd60e51b81526004016105979061176c565b60405180910390fd5b6001600160a01b03831660009081526004602052604090205463ffffffff16806105ce57600091505061039b565b6001600160a01b038416600090815260036020908152604080832063ffffffff60001986018116855292529091205416831061064a576001600160a01b03841660009081526003602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b0316905061039b565b6001600160a01b038416600090815260036020908152604080832083805290915290205463ffffffff1683101561068557600091505061039b565b600060001982015b8163ffffffff168163ffffffff16111561074857600282820363ffffffff160481036106b7611114565b506001600160a01b038716600090815260036020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156107235760200151945061039b9350505050565b805163ffffffff1687111561073a57819350610741565b6001820392505b505061068d565b506001600160a01b038516600090815260036020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60056020526000908152604090205481565b604051806040016040528060048152602001634c45584560e01b81525081565b6000806107e483604051806060016040528060268152602001611a2260269139610ac7565b90506107f1338583610b35565b5060019392505050565b6001600160a01b03811660009081526004602052604081205463ffffffff1680610826576000610506565b6001600160a01b0383166000908152600360209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b60006040516108799061166d565b6040805191829003822082820190915260078252664c656e6465786560c81b6020909201919091527fd0a472230cbfb15e1fccfdb48024f61ba749a2e97ea5dc2b03943fb77a429b676108ca610d6a565b306040516020016108de94939291906116eb565b604051602081830303815290604052805190602001209050600060405161090490611678565b60405190819003812061091f918a908a908a906020016116ad565b6040516020818303038152906040528051906020012090506000828260405160200161094c92919061163c565b6040516020818303038152906040528051906020012090506000600182888888604051600081526020016040526040516109899493929190611720565b6020604051602081039080840390855afa1580156109ab573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166109de5760405162461bcd60e51b81526004016105979061175c565b6001600160a01b03811660009081526005602052604090208054600181019091558914610a1d5760405162461bcd60e51b81526004016105979061174c565b87421115610a3d5760405162461bcd60e51b81526004016105979061178c565b610a47818b610ce0565b505050505b505050505050565b6001600160a01b039182166000908152602081815260408083209390941682529190915220546001600160601b031690565b6040516103bd90611678565b600360209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b8410610aee5760405162461bcd60e51b8152600401610597919061173b565b509192915050565b6000836001600160601b0316836001600160601b031611158290610b2d5760405162461bcd60e51b8152600401610597919061173b565b505050900390565b6001600160a01b038316610b5b5760405162461bcd60e51b81526004016105979061179c565b6001600160a01b038216610b815760405162461bcd60e51b81526004016105979061177c565b6001600160a01b038316600090815260016020908152604091829020548251606081019093526036808452610bcc936001600160601b0390921692859291906119ec90830139610af6565b6001600160a01b03848116600090815260016020908152604080832080546001600160601b0319166001600160601b03968716179055928616825290829020548251606081019093526030808452610c3494919091169285929091906118d790830139610d6e565b6001600160a01b038381166000818152600160205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ca19085906117e3565b60405180910390a36001600160a01b03808416600090815260026020526040808220548584168352912054610cdb92918216911683610daa565b505050565b6001600160a01b03808316600081815260026020818152604080842080546001845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a4610d64828483610daa565b50505050565b4690565b6000838301826001600160601b038087169083161015610da15760405162461bcd60e51b8152600401610597919061173b565b50949350505050565b816001600160a01b0316836001600160a01b031614158015610dd557506000816001600160601b0316115b15610cdb576001600160a01b03831615610e8d576001600160a01b03831660009081526004602052604081205463ffffffff169081610e15576000610e54565b6001600160a01b0385166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b90506000610e7b828560405180606001604052806028815260200161192e60289139610af6565b9050610e8986848484610f38565b5050505b6001600160a01b03821615610cdb576001600160a01b03821660009081526004602052604081205463ffffffff169081610ec8576000610f07565b6001600160a01b0384166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b90506000610f2e828560405180606001604052806027815260200161190760279139610d6e565b9050610a4c858484845b6000610f5c436040518060600160405280603481526020016119b8603491396110ed565b905060008463ffffffff16118015610fa557506001600160a01b038516600090815260036020908152604080832063ffffffff6000198901811685529252909120548282169116145b15611004576001600160a01b0385166000908152600360209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b038516021790556110a3565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600383528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600490935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72484846040516110de9291906117ff565b60405180910390a25050505050565b600081600160201b8410610aee5760405162461bcd60e51b8152600401610597919061173b565b604080518082019091526000808252602082015290565b803561039b816118a7565b803561039b816118bb565b803561039b816118c4565b803561039b816118cd565b60006020828403121561116957600080fd5b6000611175848461112b565b949350505050565b6000806040838503121561119057600080fd5b600061119c858561112b565b92505060206111ad8582860161112b565b9150509250929050565b6000806000606084860312156111cc57600080fd5b60006111d8868661112b565b93505060206111e98682870161112b565b92505060406111fa86828701611136565b9150509250925092565b6000806040838503121561121757600080fd5b6000611223858561112b565b92505060206111ad85828601611136565b60008060008060008060c0878903121561124d57600080fd5b6000611259898961112b565b965050602061126a89828a01611136565b955050604061127b89828a01611136565b945050606061128c89828a0161114c565b935050608061129d89828a01611136565b92505060a06112ae89828a01611136565b9150509295509295509295565b600080604083850312156112ce57600080fd5b60006112da858561112b565b92505060206111ad85828601611141565b6112f48161182c565b82525050565b6112f481611837565b6112f48161183c565b6112f46113188261183c565b61183c565b60006113288261181a565b611332818561181e565b9350611342818560208601611871565b61134b8161189d565b9093019392505050565b600061136260228361181e565b7f4c6578653a3a64656c656761746542795369673a20696e76616c6964206e6f6e815261636560f01b602082015260400192915050565b60006113a6600283611827565b61190160f01b815260020192915050565b60006113c460268361181e565b7f4c6578653a3a64656c656761746542795369673a20696e76616c6964207369678152656e617475726560d01b602082015260400192915050565b600061140c60278361181e565b7f4c6578653a3a6765745072696f72566f7465733a206e6f742079657420646574815266195c9b5a5b995960ca1b602082015260400192915050565b6000611455603a8361181e565b7f4c6578653a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747281527f616e7366657220746f20746865207a65726f2061646472657373000000000000602082015260400192915050565b60006114b4604383611827565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b600061151f60268361181e565b7f4c6578653a3a64656c656761746542795369673a207369676e617475726520658152651e1c1a5c995960d21b602082015260400192915050565b6000611567603c8361181e565b7f4c6578653a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747281527f616e736665722066726f6d20746865207a65726f206164647265737300000000602082015260400192915050565b60006115c6603a83611827565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6112f48161184b565b6112f481611854565b6112f481611866565b6112f48161185a565b600061164782611399565b9150611653828561130c565b602082019150611663828461130c565b5060200192915050565b600061039b826114a7565b600061039b826115b9565b6020810161039b82846112eb565b6020810161039b82846112fa565b6020810161039b8284611303565b608081016116bb8287611303565b6116c860208301866112eb565b6116d56040830185611303565b6116e26060830184611303565b95945050505050565b608081016116f98287611303565b6117066020830186611303565b6117136040830185611303565b6116e260608301846112eb565b6080810161172e8287611303565b6116c86020830186611621565b60208082528101610506818461131d565b6020808252810161039b81611355565b6020808252810161039b816113b7565b6020808252810161039b816113ff565b6020808252810161039b81611448565b6020808252810161039b81611512565b6020808252810161039b8161155a565b6020810161039b8284611618565b604081016117c88285611618565b6105066020830184611633565b6020810161039b8284611621565b6020810161039b828461162a565b6020810161039b8284611633565b6040810161180d828561162a565b610506602083018461162a565b5190565b90815260200190565b919050565b600061039b8261183f565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b600061039b8261185a565b60005b8381101561188c578181015183820152602001611874565b83811115610d645750506000910152565b601f01601f191690565b6118b08161182c565b811461053757600080fd5b6118b08161183c565b6118b08161184b565b6118b08161185456fe4c6578653a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734c6578653a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734c6578653a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734c6578653a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654c6578653a3a617070726f76653a20616d6f756e74206578636565647320393620626974734c6578653a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734c6578653a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63654c6578653a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473a365627a7a72315820aa92bdfa343fb7e7194e1c236f5362884648eca5afbc3f968d3b4a12e1f121db6c6578706572696d656e74616cf564736f6c6343000511004000000000000000000000000046f2b80e1f1a864f53c3c65a9622db51d03836ea

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea571461025f578063c3cda52014610272578063dd62ed3e14610285578063e7a324dc14610298578063f1127ed8146102a057610121565b806370a08231146101fe578063782d6fe1146102115780637ecebe001461023157806395d89b4114610244578063a9059cbb1461024c57610121565b806323b872dd116100f457806323b872dd14610181578063313ce56714610194578063587cde1e146101a95780635c19a95c146101c95780636fcfff45146101de57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461016457806320606b7014610179575b600080fd5b61012e6102c1565b60405161013b919061173b565b60405180910390f35b610157610152366004611204565b6102e4565b60405161013b9190611691565b61016c6103a1565b60405161013b919061169f565b61016c6103b1565b61015761018f3660046111b7565b6103c8565b61019c61050d565b60405161013b91906117d5565b6101bc6101b7366004611157565b610512565b60405161013b9190611683565b6101dc6101d7366004611157565b61052d565b005b6101f16101ec366004611157565b61053a565b60405161013b91906117ac565b61016c61020c366004611157565b610552565b61022461021f366004611204565b610576565b60405161013b91906117f1565b61016c61023f366004611157565b61078d565b61012e61079f565b61015761025a366004611204565b6107bf565b61022461026d366004611157565b6107fb565b6101dc610280366004611234565b61086b565b61016c61029336600461117d565b610a54565b61016c610a86565b6102b36102ae3660046112bb565b610a92565b60405161013b9291906117ba565b604051806040016040528060078152602001664c656e6465786560c81b81525081565b6000806000198314156102fa575060001961031f565b61031c8360405180606001604052806025815260200161199360259139610ac7565b90505b336000818152602081815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061038d9085906117e3565b60405180910390a360019150505b92915050565b6b033b2e3c9fd0803ce800000081565b6040516103bd9061166d565b604051809103902081565b6001600160a01b0383166000908152602081815260408083203380855290835281842054825160608101909352602580845291936001600160601b0390911692859261041e928892919061199390830139610ac7565b9050866001600160a01b0316836001600160a01b03161415801561044b57506001600160601b0382811614155b156104f357600061047583836040518060600160405280603d8152602001611956603d9139610af6565b6001600160a01b03898116600081815260208181526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104e99085906117e3565b60405180910390a3505b6104fe878783610b35565b600193505050505b9392505050565b601281565b6002602052600090815260409020546001600160a01b031681565b6105373382610ce0565b50565b60046020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600160205260409020546001600160601b031690565b60004382106105a05760405162461bcd60e51b81526004016105979061176c565b60405180910390fd5b6001600160a01b03831660009081526004602052604090205463ffffffff16806105ce57600091505061039b565b6001600160a01b038416600090815260036020908152604080832063ffffffff60001986018116855292529091205416831061064a576001600160a01b03841660009081526003602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b0316905061039b565b6001600160a01b038416600090815260036020908152604080832083805290915290205463ffffffff1683101561068557600091505061039b565b600060001982015b8163ffffffff168163ffffffff16111561074857600282820363ffffffff160481036106b7611114565b506001600160a01b038716600090815260036020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156107235760200151945061039b9350505050565b805163ffffffff1687111561073a57819350610741565b6001820392505b505061068d565b506001600160a01b038516600090815260036020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60056020526000908152604090205481565b604051806040016040528060048152602001634c45584560e01b81525081565b6000806107e483604051806060016040528060268152602001611a2260269139610ac7565b90506107f1338583610b35565b5060019392505050565b6001600160a01b03811660009081526004602052604081205463ffffffff1680610826576000610506565b6001600160a01b0383166000908152600360209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b60006040516108799061166d565b6040805191829003822082820190915260078252664c656e6465786560c81b6020909201919091527fd0a472230cbfb15e1fccfdb48024f61ba749a2e97ea5dc2b03943fb77a429b676108ca610d6a565b306040516020016108de94939291906116eb565b604051602081830303815290604052805190602001209050600060405161090490611678565b60405190819003812061091f918a908a908a906020016116ad565b6040516020818303038152906040528051906020012090506000828260405160200161094c92919061163c565b6040516020818303038152906040528051906020012090506000600182888888604051600081526020016040526040516109899493929190611720565b6020604051602081039080840390855afa1580156109ab573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166109de5760405162461bcd60e51b81526004016105979061175c565b6001600160a01b03811660009081526005602052604090208054600181019091558914610a1d5760405162461bcd60e51b81526004016105979061174c565b87421115610a3d5760405162461bcd60e51b81526004016105979061178c565b610a47818b610ce0565b505050505b505050505050565b6001600160a01b039182166000908152602081815260408083209390941682529190915220546001600160601b031690565b6040516103bd90611678565b600360209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b8410610aee5760405162461bcd60e51b8152600401610597919061173b565b509192915050565b6000836001600160601b0316836001600160601b031611158290610b2d5760405162461bcd60e51b8152600401610597919061173b565b505050900390565b6001600160a01b038316610b5b5760405162461bcd60e51b81526004016105979061179c565b6001600160a01b038216610b815760405162461bcd60e51b81526004016105979061177c565b6001600160a01b038316600090815260016020908152604091829020548251606081019093526036808452610bcc936001600160601b0390921692859291906119ec90830139610af6565b6001600160a01b03848116600090815260016020908152604080832080546001600160601b0319166001600160601b03968716179055928616825290829020548251606081019093526030808452610c3494919091169285929091906118d790830139610d6e565b6001600160a01b038381166000818152600160205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ca19085906117e3565b60405180910390a36001600160a01b03808416600090815260026020526040808220548584168352912054610cdb92918216911683610daa565b505050565b6001600160a01b03808316600081815260026020818152604080842080546001845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a4610d64828483610daa565b50505050565b4690565b6000838301826001600160601b038087169083161015610da15760405162461bcd60e51b8152600401610597919061173b565b50949350505050565b816001600160a01b0316836001600160a01b031614158015610dd557506000816001600160601b0316115b15610cdb576001600160a01b03831615610e8d576001600160a01b03831660009081526004602052604081205463ffffffff169081610e15576000610e54565b6001600160a01b0385166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b90506000610e7b828560405180606001604052806028815260200161192e60289139610af6565b9050610e8986848484610f38565b5050505b6001600160a01b03821615610cdb576001600160a01b03821660009081526004602052604081205463ffffffff169081610ec8576000610f07565b6001600160a01b0384166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b90506000610f2e828560405180606001604052806027815260200161190760279139610d6e565b9050610a4c858484845b6000610f5c436040518060600160405280603481526020016119b8603491396110ed565b905060008463ffffffff16118015610fa557506001600160a01b038516600090815260036020908152604080832063ffffffff6000198901811685529252909120548282169116145b15611004576001600160a01b0385166000908152600360209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b038516021790556110a3565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600383528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600490935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72484846040516110de9291906117ff565b60405180910390a25050505050565b600081600160201b8410610aee5760405162461bcd60e51b8152600401610597919061173b565b604080518082019091526000808252602082015290565b803561039b816118a7565b803561039b816118bb565b803561039b816118c4565b803561039b816118cd565b60006020828403121561116957600080fd5b6000611175848461112b565b949350505050565b6000806040838503121561119057600080fd5b600061119c858561112b565b92505060206111ad8582860161112b565b9150509250929050565b6000806000606084860312156111cc57600080fd5b60006111d8868661112b565b93505060206111e98682870161112b565b92505060406111fa86828701611136565b9150509250925092565b6000806040838503121561121757600080fd5b6000611223858561112b565b92505060206111ad85828601611136565b60008060008060008060c0878903121561124d57600080fd5b6000611259898961112b565b965050602061126a89828a01611136565b955050604061127b89828a01611136565b945050606061128c89828a0161114c565b935050608061129d89828a01611136565b92505060a06112ae89828a01611136565b9150509295509295509295565b600080604083850312156112ce57600080fd5b60006112da858561112b565b92505060206111ad85828601611141565b6112f48161182c565b82525050565b6112f481611837565b6112f48161183c565b6112f46113188261183c565b61183c565b60006113288261181a565b611332818561181e565b9350611342818560208601611871565b61134b8161189d565b9093019392505050565b600061136260228361181e565b7f4c6578653a3a64656c656761746542795369673a20696e76616c6964206e6f6e815261636560f01b602082015260400192915050565b60006113a6600283611827565b61190160f01b815260020192915050565b60006113c460268361181e565b7f4c6578653a3a64656c656761746542795369673a20696e76616c6964207369678152656e617475726560d01b602082015260400192915050565b600061140c60278361181e565b7f4c6578653a3a6765745072696f72566f7465733a206e6f742079657420646574815266195c9b5a5b995960ca1b602082015260400192915050565b6000611455603a8361181e565b7f4c6578653a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747281527f616e7366657220746f20746865207a65726f2061646472657373000000000000602082015260400192915050565b60006114b4604383611827565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b600061151f60268361181e565b7f4c6578653a3a64656c656761746542795369673a207369676e617475726520658152651e1c1a5c995960d21b602082015260400192915050565b6000611567603c8361181e565b7f4c6578653a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747281527f616e736665722066726f6d20746865207a65726f206164647265737300000000602082015260400192915050565b60006115c6603a83611827565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6112f48161184b565b6112f481611854565b6112f481611866565b6112f48161185a565b600061164782611399565b9150611653828561130c565b602082019150611663828461130c565b5060200192915050565b600061039b826114a7565b600061039b826115b9565b6020810161039b82846112eb565b6020810161039b82846112fa565b6020810161039b8284611303565b608081016116bb8287611303565b6116c860208301866112eb565b6116d56040830185611303565b6116e26060830184611303565b95945050505050565b608081016116f98287611303565b6117066020830186611303565b6117136040830185611303565b6116e260608301846112eb565b6080810161172e8287611303565b6116c86020830186611621565b60208082528101610506818461131d565b6020808252810161039b81611355565b6020808252810161039b816113b7565b6020808252810161039b816113ff565b6020808252810161039b81611448565b6020808252810161039b81611512565b6020808252810161039b8161155a565b6020810161039b8284611618565b604081016117c88285611618565b6105066020830184611633565b6020810161039b8284611621565b6020810161039b828461162a565b6020810161039b8284611633565b6040810161180d828561162a565b610506602083018461162a565b5190565b90815260200190565b919050565b600061039b8261183f565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b600061039b8261185a565b60005b8381101561188c578181015183820152602001611874565b83811115610d645750506000910152565b601f01601f191690565b6118b08161182c565b811461053757600080fd5b6118b08161183c565b6118b08161184b565b6118b08161185456fe4c6578653a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734c6578653a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734c6578653a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734c6578653a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654c6578653a3a617070726f76653a20616d6f756e74206578636565647320393620626974734c6578653a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734c6578653a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63654c6578653a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473a365627a7a72315820aa92bdfa343fb7e7194e1c236f5362884648eca5afbc3f968d3b4a12e1f121db6c6578706572696d656e74616cf564736f6c63430005110040

00000000000000000000000046f2b80e1f1a864f53c3c65a9622db51d03836ea

-----Decoded View---------------
Arg [0] : account (address): 0x46f2B80e1F1a864F53c3C65A9622DB51d03836Ea

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000046f2b80e1f1a864f53c3c65a9622db51d03836ea

63:14446:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;63:14446:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;134:39;;;:::i;:::-;;;;;;;;;;;;;;;;3862:448;;;;;;;;;:::i;:::-;;;;;;;;434:51;;;:::i;:::-;;;;;;;;1364:155;;;:::i;5476:812::-;;;;;;;;;:::i;335:35::-;;;:::i;:::-;;;;;;;;818:44;;;;;;;;;:::i;:::-;;;;;;;;6436:102;;;;;;;;;:::i;:::-;;1243:48;;;;;;;;;:::i;:::-;;;;;;;;4513:111;;;;;;;;;:::i;8924:1290::-;;;;;;;;;:::i;:::-;;;;;;;;1820:41;;;;;;;;;:::i;234:38::-;;;:::i;4888:278::-;;;;;;;;;:::i;8258:235::-;;;;;;;;;:::i;6972:1085::-;;;;;;;;;:::i;3213:171::-;;;;;;;;;:::i;1613:126::-;;;:::i;1106:68::-;;;;;;;;;:::i;:::-;;;;;;;;;134:39;;;;;;;;;;;;;;-1:-1:-1;;;134:39:0;;;;:::o;3862:448::-;3951:4;3973:13;-1:-1:-1;;4001:9:0;:24;3997:176;;;-1:-1:-1;;;3997:176:0;;;4103:58;4110:9;4103:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;4094:67;;3997:176;4196:10;4185;:22;;;;;;;;;;;-1:-1:-1;;;;;4185:31:0;;;;;;;;;;;:40;;-1:-1:-1;;;;;;4185:40:0;-1:-1:-1;;;;;4185:40:0;;;;;4243:37;;4185:31;;4196:10;4243:37;;;;4185:40;;4243:37;;;;;;;;;;4298:4;4291:11;;;3862:448;;;;;:::o;434:51::-;472:13;434:51;:::o;1364:155::-;1415:104;;;;;;;;;;;;;;1364:155;:::o;5476:812::-;-1:-1:-1;;;;;5677:15:0;;5595:4;5677:15;;;;;;;;;;;5630:10;5677:24;;;;;;;;;;5728:95;;;;;;;;;;;;5630:10;;-1:-1:-1;;;;;5677:24:0;;;;5595:4;;5728:95;;5749:9;;5728:95;;;;;;;:6;:95::i;:::-;5712:111;;5851:3;-1:-1:-1;;;;;5840:14:0;:7;-1:-1:-1;;;;;5840:14:0;;;:48;;;;-1:-1:-1;;;;;;5858:30:0;;;;;5840:48;5836:377;;;5905:19;5927:162;5951:16;5986:6;5927:162;;;;;;;;;;;;;;;;;:5;:162::i;:::-;-1:-1:-1;;;;;6104:15:0;;;:10;:15;;;;;;;;;;;:24;;;;;;;;;;;;;;:39;;-1:-1:-1;;;;;;6104:39:0;-1:-1:-1;;;;;6104:39:0;;;;;6165:36;6104:39;;-1:-1:-1;6104:24:0;;6165:36;;;;6104:39;;6165:36;;;;;;;;;;5836:377;;6225:33;6241:3;6246;6251:6;6225:15;:33::i;:::-;6276:4;6269:11;;;;;5476:812;;;;;;:::o;335:35::-;368:2;335:35;:::o;818:44::-;;;;;;;;;;;;-1:-1:-1;;;;;818:44:0;;:::o;6436:102::-;6498:32;6508:10;6520:9;6498;:32::i;:::-;6436:102;:::o;1243:48::-;;;;;;;;;;;;;;;:::o;4513:111::-;-1:-1:-1;;;;;4599:17:0;4572:7;4599:17;;;:8;:17;;;;;;-1:-1:-1;;;;;4599:17:0;;4513:111::o;8924:1290::-;9033:6;9093:12;9079:11;:26;9057:115;;;;-1:-1:-1;;;9057:115:0;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9207:23:0;;9185:19;9207:23;;;:14;:23;;;;;;;;9245:17;9241:58;;9286:1;9279:8;;;;;9241:58;-1:-1:-1;;;;;9359:20:0;;;;;;:11;:20;;;;;;;;:38;-1:-1:-1;;9380:16:0;;9359:38;;;;;;;;;:48;;:63;-1:-1:-1;9355:147:0;;-1:-1:-1;;;;;9446:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;9467:16:0;;;;9446:38;;;;;;;;:44;-1:-1:-1;;;9446:44:0;;-1:-1:-1;;;;;9446:44:0;;-1:-1:-1;9439:51:0;;9355:147;-1:-1:-1;;;;;9563:20:0;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;9559:88:0;;;9634:1;9627:8;;;;;9559:88;9659:12;-1:-1:-1;;9701:16:0;;9728:428;9743:5;9735:13;;:5;:13;;;9728:428;;;9807:1;9790:13;;;9789:19;;;9781:27;;9850:20;;:::i;:::-;-1:-1:-1;;;;;;9873:20:0;;;;;;:11;:20;;;;;;;;:28;;;;;;;;;;;;;9850:51;;;;;;;;;;;;;;;-1:-1:-1;;;9850:51:0;;;-1:-1:-1;;;;;9850:51:0;;;;;;;;;9920:27;;9916:229;;;9975:8;;;;-1:-1:-1;9968:15:0;;-1:-1:-1;;;;9968:15:0;9916:229;10009:12;;:26;;;-1:-1:-1;10005:140:0;;;10064:6;10056:14;;10005:140;;;10128:1;10119:6;:10;10111:18;;10005:140;9728:428;;;;;-1:-1:-1;;;;;;10173:20:0;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;-1:-1:-1;;;;;;;;10173:33:0;;;;;-1:-1:-1;;8924:1290:0;;;;:::o;1820:41::-;;;;;;;;;;;;;:::o;234:38::-;;;;;;;;;;;;;;-1:-1:-1;;;234:38:0;;;;:::o;4888:278::-;4956:4;4973:13;4989:96;5010:9;4989:96;;;;;;;;;;;;;;;;;:6;:96::i;:::-;4973:112;;5096:40;5112:10;5124:3;5129:6;5096:15;:40::i;:::-;-1:-1:-1;5154:4:0;;4888:278;-1:-1:-1;;;4888:278:0:o;8258:235::-;-1:-1:-1;;;;;8364:23:0;;8323:6;8364:23;;;:14;:23;;;;;;;;8418:16;:67;;8484:1;8418:67;;;-1:-1:-1;;;;;8437:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;8458:16:0;;8437:38;;;;;;;;;:44;-1:-1:-1;;;8437:44:0;;-1:-1:-1;;;;;8437:44:0;8398:87;8258:235;-1:-1:-1;;;8258:235:0:o;6972:1085::-;7155:23;1415:104;;;;;;;;;;;;;;;;7284:4;;;;;;;;;-1:-1:-1;;;7284:4:0;;;;;;;;7268:22;7309:12;:10;:12::i;:::-;7348:4;7205:163;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7205:163:0;;;7181:198;;;;;;7155:224;;7390:18;1668:71;;;;;;;;;;;;;;;7435:57;;7467:9;;7478:5;;7485:6;;7435:57;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7435:57:0;;;7411:92;;;;;;7390:113;;7514:14;7584:15;7601:10;7555:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7555:57:0;;;7531:92;;;;;;7514:109;;7634:17;7654:26;7664:6;7672:1;7675;7678;7654:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;7654:26:0;;-1:-1:-1;;7654:26:0;;;-1:-1:-1;;;;;;;7713:23:0;;7691:111;;;;-1:-1:-1;;;7691:111:0;;;;;;;;;-1:-1:-1;;;;;7844:17:0;;;;;;:6;:17;;;;;:19;;;;;;;;7835:28;;7813:112;;;;-1:-1:-1;;;7813:112:0;;;;;;;;;7951:6;7944:3;:13;;7936:64;;;;-1:-1:-1;;;7936:64:0;;;;;;;;;8018:31;8028:9;8039;8018;:31::i;:::-;8011:38;;;;6972:1085;;;;;;;:::o;3213:171::-;-1:-1:-1;;;;;3348:19:0;;;3316:7;3348:19;;;;;;;;;;;:28;;;;;;;;;;;;-1:-1:-1;;;;;3348:28:0;;3213:171::o;1613:126::-;1668:71;;;;;;1106:68;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1106:68:0;;-1:-1:-1;;;;;1106:68:0;;:::o;13687:196::-;13792:6;13835:12;-1:-1:-1;;;13824:9:0;;13816:32;;;;-1:-1:-1;;;13816:32:0;;;;;;;;;;-1:-1:-1;13873:1:0;;13687:196;-1:-1:-1;;13687:196:0:o;14121:199::-;14241:6;14273:1;-1:-1:-1;;;;;14268:6:0;:1;-1:-1:-1;;;;;14268:6:0;;;14276:12;14260:29;;;;;-1:-1:-1;;;14260:29:0;;;;;;;;;;-1:-1:-1;;;14307:5:0;;;14121:199::o;10605:822::-;-1:-1:-1;;;;;10747:17:0;;10725:127;;;;-1:-1:-1;;;10725:127:0;;;;;;;;;-1:-1:-1;;;;;10885:17:0;;10863:125;;;;-1:-1:-1;;;10863:125:0;;;;;;;;;-1:-1:-1;;;;;11037:13:0;;;;;;:8;:13;;;;;;;;;;11017:136;;;;;;;;;;;;;;-1:-1:-1;;;;;11037:13:0;;;;11065:6;;11017:136;;;;;;;:5;:136::i;:::-;-1:-1:-1;;;;;11001:13:0;;;;;;;:8;:13;;;;;;;;:152;;-1:-1:-1;;;;;;11001:152:0;-1:-1:-1;;;;;11001:152:0;;;;;;11200:13;;;;;;;;;;11180:130;;;;;;;;;;;;;;11200:13;;;;;11228:6;;11180:130;;;;;;;;:5;:130::i;:::-;-1:-1:-1;;;;;11164:13:0;;;;;;;:8;:13;;;;;;;:146;;-1:-1:-1;;;;;;11164:146:0;-1:-1:-1;;;;;11164:146:0;;;;;;;;;;;11326:26;;;;;;;;;;11345:6;;11326:26;;;;;;;;;;-1:-1:-1;;;;;11380:14:0;;;;;;;:9;:14;;;;;;;11396;;;;;;;;11365:54;;11380:14;;;;11396;11412:6;11365:14;:54::i;:::-;10605:822;;;:::o;10222:375::-;-1:-1:-1;;;;;10325:20:0;;;10299:23;10325:20;;;:9;:20;;;;;;;;;;;10382:19;;;;;;10412:20;;;;:32;;;-1:-1:-1;;;;;;10412:32:0;;;;;;;10462:54;;10325:20;;;;;-1:-1:-1;;;;;10382:19:0;;;;10412:32;;10325:20;;;10462:54;;10299:23;10462:54;10529:60;10544:15;10561:9;10572:16;10529:14;:60::i;:::-;10222:375;;;;:::o;14328:178::-;14454:9;14328:178;:::o;13891:222::-;14011:6;14041:5;;;14073:12;-1:-1:-1;;;;;14065:6:0;;;;;;;;14057:29;;;;-1:-1:-1;;;14057:29:0;;;;;;;;;;-1:-1:-1;14104:1:0;13891:222;-1:-1:-1;;;;13891:222:0:o;11435:1221::-;11574:6;-1:-1:-1;;;;;11564:16:0;:6;-1:-1:-1;;;;;11564:16:0;;;:30;;;;;11593:1;11584:6;-1:-1:-1;;;;;11584:10:0;;11564:30;11560:1089;;;-1:-1:-1;;;;;11615:20:0;;;11611:506;;-1:-1:-1;;;;;11675:22:0;;11656:16;11675:22;;;:14;:22;;;;;;;;;11735:13;:102;;11836:1;11735:102;;;-1:-1:-1;;;;;11772:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;11792:13:0;;11772:34;;;;;;;;;:40;-1:-1:-1;;;11772:40:0;;-1:-1:-1;;;;;11772:40:0;11735:102;11716:121;;11856:16;11875:150;11903:9;11935:6;11875:150;;;;;;;;;;;;;;;;;:5;:150::i;:::-;11856:169;;12044:57;12061:6;12069:9;12080;12091;12044:16;:57::i;:::-;11611:506;;;;-1:-1:-1;;;;;12137:20:0;;;12133:505;;-1:-1:-1;;;;;12197:22:0;;12178:16;12197:22;;;:14;:22;;;;;;;;;12257:13;:102;;12358:1;12257:102;;;-1:-1:-1;;;;;12294:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;12314:13:0;;12294:34;;;;;;;;;:40;-1:-1:-1;;;12294:40:0;;-1:-1:-1;;;;;12294:40:0;12257:102;12238:121;;12378:16;12397:149;12425:9;12457:6;12397:149;;;;;;;;;;;;;;;;;:5;:149::i;:::-;12378:168;;12565:57;12582:6;12590:9;12601;12612;12664:811;12827:18;12848:113;12869:12;12848:113;;;;;;;;;;;;;;;;;:6;:113::i;:::-;12827:134;;13007:1;12992:12;:16;;;:98;;;;-1:-1:-1;;;;;;13025:22:0;;;;;;:11;:22;;;;;;;;:65;-1:-1:-1;;13048:16:0;;13025:40;;;;;;;;;:50;:65;;;:50;;:65;12992:98;12974:425;;;-1:-1:-1;;;;;13117:22:0;;;;;;:11;:22;;;;;;;;-1:-1:-1;;13140:16:0;;13117:40;;;;;;;;;:57;;-1:-1:-1;;13117:57:0;-1:-1:-1;;;;;;;;13117:57:0;;;;;;12974:425;;;13246:82;;;;;;;;;;;;;;-1:-1:-1;;;;;13246:82:0;;;;;;;;;;-1:-1:-1;;;;;13207:22:0;;-1:-1:-1;13207:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:121;;;;;;;;;-1:-1:-1;;;13207:121:0;-1:-1:-1;;13207:121:0;;;-1:-1:-1;;13207:121:0;;;;;;;;;;;;;;;13343:25;;;13207:121;13343:25;;;;;;;:44;;13207:121;13371:16;;13343:44;;;;;;;;;;;;;12974:425;13437:9;-1:-1:-1;;;;;13416:51:0;;13448:8;13458;13416:51;;;;;;;;;;;;;;;;12664:811;;;;;:::o;13483:196::-;13588:6;13631:12;-1:-1:-1;;;13620:9:0;;13612:32;;;;-1:-1:-1;;;13612:32:0;;;;;;;;;63:14446;;;;;;;;;;-1:-1:-1;63:14446:0;;;;;;;;:::o;5:130:-1:-;72:20;;97:33;72:20;97:33;;142:130;209:20;;234:33;209:20;234:33;;416:128;482:20;;507:32;482:20;507:32;;551:126;616:20;;641:31;616:20;641:31;;684:241;;788:2;776:9;767:7;763:23;759:32;756:2;;;804:1;801;794:12;756:2;839:1;856:53;901:7;881:9;856:53;;;846:63;750:175;-1:-1;;;;750:175;932:366;;;1053:2;1041:9;1032:7;1028:23;1024:32;1021:2;;;1069:1;1066;1059:12;1021:2;1104:1;1121:53;1166:7;1146:9;1121:53;;;1111:63;;1083:97;1211:2;1229:53;1274:7;1265:6;1254:9;1250:22;1229:53;;;1219:63;;1190:98;1015:283;;;;;;1305:491;;;;1443:2;1431:9;1422:7;1418:23;1414:32;1411:2;;;1459:1;1456;1449:12;1411:2;1494:1;1511:53;1556:7;1536:9;1511:53;;;1501:63;;1473:97;1601:2;1619:53;1664:7;1655:6;1644:9;1640:22;1619:53;;;1609:63;;1580:98;1709:2;1727:53;1772:7;1763:6;1752:9;1748:22;1727:53;;;1717:63;;1688:98;1405:391;;;;;;1803:366;;;1924:2;1912:9;1903:7;1899:23;1895:32;1892:2;;;1940:1;1937;1930:12;1892:2;1975:1;1992:53;2037:7;2017:9;1992:53;;;1982:63;;1954:97;2082:2;2100:53;2145:7;2136:6;2125:9;2121:22;2100:53;;2176:865;;;;;;;2363:3;2351:9;2342:7;2338:23;2334:33;2331:2;;;2380:1;2377;2370:12;2331:2;2415:1;2432:53;2477:7;2457:9;2432:53;;;2422:63;;2394:97;2522:2;2540:53;2585:7;2576:6;2565:9;2561:22;2540:53;;;2530:63;;2501:98;2630:2;2648:53;2693:7;2684:6;2673:9;2669:22;2648:53;;;2638:63;;2609:98;2738:2;2756:51;2799:7;2790:6;2779:9;2775:22;2756:51;;;2746:61;;2717:96;2844:3;2863:53;2908:7;2899:6;2888:9;2884:22;2863:53;;;2853:63;;2823:99;2953:3;2972:53;3017:7;3008:6;2997:9;2993:22;2972:53;;;2962:63;;2932:99;2325:716;;;;;;;;;3048:364;;;3168:2;3156:9;3147:7;3143:23;3139:32;3136:2;;;3184:1;3181;3174:12;3136:2;3219:1;3236:53;3281:7;3261:9;3236:53;;;3226:63;;3198:97;3326:2;3344:52;3388:7;3379:6;3368:9;3364:22;3344:52;;3419:113;3502:24;3520:5;3502:24;;;3497:3;3490:37;3484:48;;;3539:104;3616:21;3631:5;3616:21;;3650:113;3733:24;3751:5;3733:24;;3770:152;3871:45;3891:24;3909:5;3891:24;;;3871:45;;3929:347;;4041:39;4074:5;4041:39;;;4092:71;4156:6;4151:3;4092:71;;;4085:78;;4168:52;4213:6;4208:3;4201:4;4194:5;4190:16;4168:52;;;4241:29;4263:6;4241:29;;;4232:39;;;;4021:255;-1:-1;;;4021:255;4630:371;;4790:67;4854:2;4849:3;4790:67;;;4890:34;4870:55;;-1:-1;;;4954:2;4945:12;;4938:26;4992:2;4983:12;;4776:225;-1:-1;;4776:225;5010:398;;5188:84;5270:1;5265:3;5188:84;;;-1:-1;;;5285:87;;5400:1;5391:11;;5174:234;-1:-1;;5174:234;5417:375;;5577:67;5641:2;5636:3;5577:67;;;5677:34;5657:55;;-1:-1;;;5741:2;5732:12;;5725:30;5783:2;5774:12;;5563:229;-1:-1;;5563:229;5801:376;;5961:67;6025:2;6020:3;5961:67;;;6061:34;6041:55;;-1:-1;;;6125:2;6116:12;;6109:31;6168:2;6159:12;;5947:230;-1:-1;;5947:230;6186:395;;6346:67;6410:2;6405:3;6346:67;;;6446:34;6426:55;;6515:28;6510:2;6501:12;;6494:50;6572:2;6563:12;;6332:249;-1:-1;;6332:249;6590:477;;6768:85;6850:2;6845:3;6768:85;;;6886:34;6866:55;;6955:34;6950:2;6941:12;;6934:56;-1:-1;;;7019:2;7010:12;;7003:27;7058:2;7049:12;;6754:313;-1:-1;;6754:313;7076:375;;7236:67;7300:2;7295:3;7236:67;;;7336:34;7316:55;;-1:-1;;;7400:2;7391:12;;7384:30;7442:2;7433:12;;7222:229;-1:-1;;7222:229;7460:397;;7620:67;7684:2;7679:3;7620:67;;;7720:34;7700:55;;7789:30;7784:2;7775:12;;7768:52;7848:2;7839:12;;7606:251;-1:-1;;7606:251;7866:431;;8044:85;8126:2;8121:3;8044:85;;;8162:34;8142:55;;8231:28;8226:2;8217:12;;8210:50;8288:2;8279:12;;8030:267;-1:-1;;8030:267;8425:110;8506:23;8523:5;8506:23;;8542:107;8621:22;8637:5;8621:22;;8656:124;8738:36;8768:5;8738:36;;8787:110;8868:23;8885:5;8868:23;;8904:650;;9159:148;9303:3;9159:148;;;9152:155;;9318:75;9389:3;9380:6;9318:75;;;9415:2;9410:3;9406:12;9399:19;;9429:75;9500:3;9491:6;9429:75;;;-1:-1;9526:2;9517:12;;9140:414;-1:-1;;9140:414;9561:372;;9760:148;9904:3;9760:148;;9940:372;;10139:148;10283:3;10139:148;;10319:213;10437:2;10422:18;;10451:71;10426:9;10495:6;10451:71;;10539:201;10651:2;10636:18;;10665:65;10640:9;10703:6;10665:65;;10747:213;10865:2;10850:18;;10879:71;10854:9;10923:6;10879:71;;10967:547;11169:3;11154:19;;11184:71;11158:9;11228:6;11184:71;;;11266:72;11334:2;11323:9;11319:18;11310:6;11266:72;;;11349;11417:2;11406:9;11402:18;11393:6;11349:72;;;11432;11500:2;11489:9;11485:18;11476:6;11432:72;;;11140:374;;;;;;;;11521:547;11723:3;11708:19;;11738:71;11712:9;11782:6;11738:71;;;11820:72;11888:2;11877:9;11873:18;11864:6;11820:72;;;11903;11971:2;11960:9;11956:18;11947:6;11903:72;;;11986;12054:2;12043:9;12039:18;12030:6;11986:72;;12075:539;12273:3;12258:19;;12288:71;12262:9;12332:6;12288:71;;;12370:68;12434:2;12423:9;12419:18;12410:6;12370:68;;12621:293;12755:2;12769:47;;;12740:18;;12830:74;12740:18;12890:6;12830:74;;13229:407;13420:2;13434:47;;;13405:18;;13495:131;13405:18;13495:131;;13643:407;13834:2;13848:47;;;13819:18;;13909:131;13819:18;13909:131;;14057:407;14248:2;14262:47;;;14233:18;;14323:131;14233:18;14323:131;;14471:407;14662:2;14676:47;;;14647:18;;14737:131;14647:18;14737:131;;14885:407;15076:2;15090:47;;;15061:18;;15151:131;15061:18;15151:131;;15299:407;15490:2;15504:47;;;15475:18;;15565:131;15475:18;15565:131;;15933:209;16049:2;16034:18;;16063:69;16038:9;16105:6;16063:69;;16149:316;16291:2;16276:18;;16305:69;16280:9;16347:6;16305:69;;;16385:70;16451:2;16440:9;16436:18;16427:6;16385:70;;16472:205;16586:2;16571:18;;16600:67;16575:9;16640:6;16600:67;;16684:211;16801:2;16786:18;;16815:70;16790:9;16858:6;16815:70;;16902:209;17018:2;17003:18;;17032:69;17007:9;17074:6;17032:69;;17118:320;17262:2;17247:18;;17276:70;17251:9;17319:6;17276:70;;;17357:71;17424:2;17413:9;17409:18;17400:6;17357:71;;17445:118;17529:12;;17500:63;17700:163;17803:19;;;17852:4;17843:14;;17796:67;17872:145;18008:3;17986:31;-1:-1;17986:31;18025:91;;18087:24;18105:5;18087:24;;18123:85;18189:13;18182:21;;18165:43;18215:72;18277:5;18260:27;18294:121;-1:-1;;;;;18356:54;;18339:76;18501:88;18573:10;18562:22;;18545:44;18596:81;18667:4;18656:16;;18639:38;18684:104;-1:-1;;;;;18745:38;;18728:60;18795:106;;18873:23;18890:5;18873:23;;18909:268;18974:1;18981:101;18995:6;18992:1;18989:13;18981:101;;;19062:11;;;19056:18;19043:11;;;19036:39;19017:2;19010:10;18981:101;;;19097:6;19094:1;19091:13;19088:2;;;-1:-1;;19162:1;19144:16;;19137:27;18958:219;19266:97;19354:2;19334:14;-1:-1;;19330:28;;19314:49;19371:117;19440:24;19458:5;19440:24;;;19433:5;19430:35;19420:2;;19479:1;19476;19469:12;19495:117;19564:24;19582:5;19564:24;;19743:115;19811:23;19828:5;19811:23;;19865:113;19932:22;19948:5;19932:22;

bzzr://aa92bdfa343fb7e7194e1c236f5362884648eca5afbc3f968d3b4a12e1f121db