/**
 *Submitted for verification at Etherscan.io on 2023-06-15
*/

/**                                                                                  
        ,--.          ,--.                 ,--.                               ,--. 
 ,---.,-'  '-. ,--,--.|  |,-. ,---.      ,-|  |,--.  ,--. ,---.  ,---.  ,---. |  | 
(  .-''-.  .-'' ,-.  ||     /| .-. :    ' .-. | \  `'  / | .-. || .-. || .-. ||  | 
.-'  `) |  |  \ '-'  ||  \  \\   --..--.\ `-' | /  /.  \ | '-' '' '-' '' '-' '|  | 
`----'  `--'   `--`--'`--'`--'`----''--' `---' '--'  '--'|  |-'  `---'  `---' `--' 
                                                         `--'                      
**/

//stake.dxpool.com eth2.0 batch deposit contract

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}


/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
abstract contract Pausable is Context {
    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state.
     */
    constructor() {
        _paused = false;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        _requireNotPaused();
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        _requirePaused();
        _;
    }

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

    /**
     * @dev Throws if the contract is paused.
     */
    function _requireNotPaused() internal view virtual {
        require(!paused(), "Pausable: paused");
    }

    /**
     * @dev Throws if the contract is not paused.
     */
    function _requirePaused() internal view virtual {
        require(paused(), "Pausable: not paused");
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

// Deposit contract interface
interface IDepositContract {
    /// @notice A processed deposit event.
    event DepositEvent(
        bytes pubkey,
        bytes withdrawal_credentials,
        bytes amount,
        bytes signature,
        bytes index
    );

    /// @notice Submit a Phase 0 DepositData object.
    /// @param pubkey A BLS12-381 public key.
    /// @param withdrawal_credentials Commitment to a public key for withdrawals.
    /// @param signature A BLS12-381 signature.
    /// @param deposit_data_root The SHA-256 hash of the SSZ-encoded DepositData object.
    /// Used as a protection against malformed input.
    function deposit(
        bytes calldata pubkey,
        bytes calldata withdrawal_credentials,
        bytes calldata signature,
        bytes32 deposit_data_root
    ) external payable;

    /// @notice Query the current deposit root hash.
    /// @return The deposit root hash.
    function get_deposit_root() external view returns (bytes32);

    /// @notice Query the current deposit count.
    /// @return The deposit count encoded as a little endian 64-bit number.
    function get_deposit_count() external view returns (bytes memory);
}


contract BatchDeposit is Pausable, Ownable {

    address officialDepositContract;
    uint256 private _fee;
    uint256 private _max_validators;
    uint256 constant PUBKEY_LENGTH = 48;
    uint256 constant SIGNATURE_LENGTH = 96;
    uint256 constant CREDENTIALS_LENGTH = 32;
    uint256 constant DEPOSIT_AMOUNT = 32 ether;

    event FeeChanged(uint256 previousFee, uint256 newFee);
    event Withdrawn(address indexed payee, uint256 weiAmount);
    event FeeCollected(address indexed payee, uint256 weiAmount);

    constructor(address officialDepositContractAddr) {
        //set default _max_validators to 100
        _max_validators = 100;
        //set default fee to 0
        _fee = 0;

        officialDepositContract = officialDepositContractAddr;
    }

    
    function batchDeposit(
        bytes calldata pubkeys, 
        bytes calldata withdrawal_credentials, 
        bytes calldata signatures, 
        bytes32[] calldata deposit_data_roots
    ) 
        external payable whenNotPaused 
    {
        // deposit checks
        require(msg.value >= DEPOSIT_AMOUNT, "BatchDeposit: Amount must bigger than 32 ether");
        require(msg.value % 0.001 ether == 0, "BatchDeposit: Deposit value not multiple of 0.001 ether");
        
        uint256 count = deposit_data_roots.length;
        require(count > 0, "BatchDeposit: You should deposit at least one validator");
        
        require(count <= _max_validators, "BatchDeposit: validator count max limit reached");

        require(pubkeys.length == count * PUBKEY_LENGTH, "BatchDeposit: Pubkey count don't match");
        require(signatures.length == count * SIGNATURE_LENGTH, "BatchDeposit: Signatures count don't match");
        require(withdrawal_credentials.length == 1 * CREDENTIALS_LENGTH, "BatchDeposit: Withdrawal Credentials count don't match");

        uint256 expectedAmount = (_fee + DEPOSIT_AMOUNT) * count;
        require(msg.value == expectedAmount, "BatchDeposit: Amount is not aligned with pubkeys number");

        emit FeeCollected(msg.sender, _fee * count);
        for (uint256 i = 0; i < count; ++i) {
            bytes memory pubkey = bytes(pubkeys[i*PUBKEY_LENGTH:(i+1)*PUBKEY_LENGTH]);
            bytes memory signature = bytes(signatures[i*SIGNATURE_LENGTH:(i+1)*SIGNATURE_LENGTH]);

            IDepositContract(officialDepositContract).deposit{value: DEPOSIT_AMOUNT}(
                pubkey,
                withdrawal_credentials,
                signature,
                deposit_data_roots[i]
            );
        }
    }

    //withdraw the fee
    function withdrawFee(address payable receiver) public onlyOwner {       
        require(receiver != address(0), "You can't burn these eth directly");

        uint256 amount = address(this).balance;
        emit Withdrawn(receiver, amount);
        receiver.transfer(amount);
    }

    //change the max_validators
    function changeMaxValidators(uint256 max) public onlyOwner {
        require(max != _max_validators, "max validators must be different from current one");
        require(max > 0, "Max must bigger than 0");
        _max_validators = max;
    }

    function maxValidators() public view returns (uint256) {
        return _max_validators;
    }

    //change the fee
    function changeFee(uint256 newFee) public onlyOwner {
        require(newFee != _fee, "Fee must be different from current one");
        require(newFee % 0.001 ether == 0, "Fee must be a multiple of 0.001 ether");

        emit FeeChanged(_fee, newFee);
        _fee = newFee;
    }

    //owner can pause the contract
    function pauseContract() public onlyOwner {
        _pause();
    }

    //owner can unpause the contract
    function unpauseContract() public onlyOwner {
        _unpause();
    }

    //returns the currenct fee
    function fee() public view returns (uint256) {
        return _fee;
    }
}

• Quill Audits - Sept 19th, 2024 - Security Audit Report

[{"inputs":[{"internalType":"address","name":"officialDepositContractAddr","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"previousFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newFee","type":"uint256"}],"name":"FeeChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"payee","type":"address"},{"indexed":false,"internalType":"uint256","name":"weiAmount","type":"uint256"}],"name":"FeeCollected","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"payee","type":"address"},{"indexed":false,"internalType":"uint256","name":"weiAmount","type":"uint256"}],"name":"Withdrawn","type":"event"},{"inputs":[{"internalType":"bytes","name":"pubkeys","type":"bytes"},{"internalType":"bytes","name":"withdrawal_credentials","type":"bytes"},{"internalType":"bytes","name":"signatures","type":"bytes"},{"internalType":"bytes32[]","name":"deposit_data_roots","type":"bytes32[]"}],"name":"batchDeposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newFee","type":"uint256"}],"name":"changeFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"max","type":"uint256"}],"name":"changeMaxValidators","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"fee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxValidators","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pauseContract","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpauseContract","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"receiver","type":"address"}],"name":"withdrawFee","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561000f575f80fd5b506040516110da3803806110da83398101604081905261002e916100c6565b5f805460ff191690556100403361006e565b60646003555f600255600180546001600160a01b0319166001600160a01b03929092169190911790556100f3565b5f80546001600160a01b03838116610100818102610100600160a81b0319851617855560405193049190911692909183917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35050565b5f602082840312156100d6575f80fd5b81516001600160a01b03811681146100ec575f80fd5b9392505050565b610fda806101005f395ff3fe6080604052600436106100a5575f3560e01c80638da5cb5b116100625780638da5cb5b14610155578063a1dc1e2a14610189578063b33712c5146101a8578063c82655b7146101bc578063ddca3f43146101cf578063f2fde38b146101e3575f80fd5b806308ac5256146100a95780631ac3ddeb146100cc578063439766ce146100ed5780635c975abb146101015780636a1db1bf14610122578063715018a614610141575b5f80fd5b3480156100b4575f80fd5b506003545b6040519081526020015b60405180910390f35b3480156100d7575f80fd5b506100eb6100e6366004610ce2565b610202565b005b3480156100f8575f80fd5b506100eb6102e7565b34801561010c575f80fd5b505f5460ff1660405190151581526020016100c3565b34801561012d575f80fd5b506100eb61013c366004610d04565b6102f9565b34801561014c575f80fd5b506100eb61040e565b348015610160575f80fd5b505f5461010090046001600160a01b03166040516001600160a01b0390911681526020016100c3565b348015610194575f80fd5b506100eb6101a3366004610d04565b61041f565b3480156101b3575f80fd5b506100eb6104df565b6100eb6101ca366004610d60565b6104ef565b3480156101da575f80fd5b506002546100b9565b3480156101ee575f80fd5b506100eb6101fd366004610ce2565b610a80565b61020a610af9565b6001600160a01b03811661026f5760405162461bcd60e51b815260206004820152602160248201527f596f752063616e2774206275726e20746865736520657468206469726563746c6044820152607960f81b60648201526084015b60405180910390fd5b60405147808252906001600160a01b038316907f7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d59060200160405180910390a26040516001600160a01b0383169082156108fc029083905f818181858888f193505050501580156102e2573d5f803e3d5ffd5b505050565b6102ef610af9565b6102f7610b58565b565b610301610af9565b60025481036103615760405162461bcd60e51b815260206004820152602660248201527f466565206d75737420626520646966666572656e742066726f6d2063757272656044820152656e74206f6e6560d01b6064820152608401610266565b61037266038d7ea4c6800082610e48565b156103cd5760405162461bcd60e51b815260206004820152602560248201527f466565206d7573742062652061206d756c7469706c65206f6620302e3030312060448201526432ba3432b960d91b6064820152608401610266565b60025460408051918252602082018390527f5fc463da23c1b063e66f9e352006a7fbe8db7223c455dc429e881a2dfe2f94f1910160405180910390a1600255565b610416610af9565b6102f75f610bb1565b610427610af9565b60035481036104925760405162461bcd60e51b815260206004820152603160248201527f6d61782076616c696461746f7273206d75737420626520646966666572656e746044820152702066726f6d2063757272656e74206f6e6560781b6064820152608401610266565b5f81116104da5760405162461bcd60e51b815260206004820152601660248201527504d6178206d75737420626967676572207468616e20360541b6044820152606401610266565b600355565b6104e7610af9565b6102f7610c09565b6104f7610c41565b6801bc16d674ec8000003410156105675760405162461bcd60e51b815260206004820152602e60248201527f42617463684465706f7369743a20416d6f756e74206d7573742062696767657260448201526d103a3430b71019991032ba3432b960911b6064820152608401610266565b61057866038d7ea4c6800034610e48565b156105eb5760405162461bcd60e51b815260206004820152603760248201527f42617463684465706f7369743a204465706f7369742076616c7565206e6f742060448201527f6d756c7469706c65206f6620302e3030312065746865720000000000000000006064820152608401610266565b808061065f5760405162461bcd60e51b815260206004820152603760248201527f42617463684465706f7369743a20596f752073686f756c64206465706f73697460448201527f206174206c65617374206f6e652076616c696461746f720000000000000000006064820152608401610266565b6003548111156106c95760405162461bcd60e51b815260206004820152602f60248201527f42617463684465706f7369743a2076616c696461746f7220636f756e74206d6160448201526e1e081b1a5b5a5d081c995858da1959608a1b6064820152608401610266565b6106d4603082610e7b565b88146107315760405162461bcd60e51b815260206004820152602660248201527f42617463684465706f7369743a205075626b657920636f756e7420646f6e2774604482015265040dac2e8c6d60d31b6064820152608401610266565b61073c606082610e7b565b841461079d5760405162461bcd60e51b815260206004820152602a60248201527f42617463684465706f7369743a205369676e61747572657320636f756e7420646044820152690dedc4ee840dac2e8c6d60b31b6064820152608401610266565b6107a960206001610e7b565b86146108165760405162461bcd60e51b815260206004820152603660248201527f42617463684465706f7369743a205769746864726177616c2043726564656e746044820152750d2c2d8e640c6deeadce840c8dedc4ee840dac2e8c6d60531b6064820152608401610266565b5f816801bc16d674ec80000060025461082f9190610e98565b6108399190610e7b565b90508034146108b05760405162461bcd60e51b815260206004820152603760248201527f42617463684465706f7369743a20416d6f756e74206973206e6f7420616c696760448201527f6e65642077697468207075626b657973206e756d6265720000000000000000006064820152608401610266565b336001600160a01b03167f06c5efeff5c320943d265dc4e5f1af95ad523555ce0c1957e367dda5514572df836002546108e99190610e7b565b60405190815260200160405180910390a25f5b82811015610a73575f8b8b610912603085610e7b565b906030610920866001610e98565b61092a9190610e7b565b9261093793929190610eab565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284375f9201829052509394508b92508a915061097c9050606086610e7b565b90606061098a876001610e98565b6109949190610e7b565b926109a193929190610eab565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284375f9201919091525050600154929350506001600160a01b03909116905063228951186801bc16d674ec800000848e8e868d8d8b818110610a0b57610a0b610ed2565b905060200201356040518763ffffffff1660e01b8152600401610a32959493929190610f29565b5f604051808303818588803b158015610a49575f80fd5b505af1158015610a5b573d5f803e3d5ffd5b5050505050505080610a6c90610f8c565b90506108fc565b5050505050505050505050565b610a88610af9565b6001600160a01b038116610aed5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610266565b610af681610bb1565b50565b5f546001600160a01b036101009091041633146102f75760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610266565b610b60610c41565b5f805460ff191660011790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258610b943390565b6040516001600160a01b03909116815260200160405180910390a1565b5f80546001600160a01b03838116610100818102610100600160a81b0319851617855560405193049190911692909183917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35050565b610c11610c86565b5f805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33610b94565b5f5460ff16156102f75760405162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b6044820152606401610266565b5f5460ff166102f75760405162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b6044820152606401610266565b6001600160a01b0381168114610af6575f80fd5b5f60208284031215610cf2575f80fd5b8135610cfd81610cce565b9392505050565b5f60208284031215610d14575f80fd5b5035919050565b5f8083601f840112610d2b575f80fd5b50813567ffffffffffffffff811115610d42575f80fd5b602083019150836020828501011115610d59575f80fd5b9250929050565b5f805f805f805f806080898b031215610d77575f80fd5b883567ffffffffffffffff80821115610d8e575f80fd5b610d9a8c838d01610d1b565b909a50985060208b0135915080821115610db2575f80fd5b610dbe8c838d01610d1b565b909850965060408b0135915080821115610dd6575f80fd5b610de28c838d01610d1b565b909650945060608b0135915080821115610dfa575f80fd5b818b0191508b601f830112610e0d575f80fd5b813581811115610e1b575f80fd5b8c60208260051b8501011115610e2f575f80fd5b6020830194508093505050509295985092959890939650565b5f82610e6257634e487b7160e01b5f52601260045260245ffd5b500690565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417610e9257610e92610e67565b92915050565b80820180821115610e9257610e92610e67565b5f8085851115610eb9575f80fd5b83861115610ec5575f80fd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b5f81518084525f5b81811015610f0a57602081850181015186830182015201610eee565b505f602082860101526020601f19601f83011685010191505092915050565b608081525f610f3b6080830188610ee6565b8281036020840152858152858760208301375f60208783010152601f19601f870116810190506020838203016040840152610f796020820186610ee6565b9150508260608301529695505050505050565b5f60018201610f9d57610f9d610e67565b506001019056fea26469706673582212207478d4f84b78100c96712ec5aa3364d0fada7de7f9065adcb74bb26712092cf564736f6c6343000814003300000000000000000000000000000000219ab540356cbb839cbe05303d7705fa

0x6080604052600436106100a5575f3560e01c80638da5cb5b116100625780638da5cb5b14610155578063a1dc1e2a14610189578063b33712c5146101a8578063c82655b7146101bc578063ddca3f43146101cf578063f2fde38b146101e3575f80fd5b806308ac5256146100a95780631ac3ddeb146100cc578063439766ce146100ed5780635c975abb146101015780636a1db1bf14610122578063715018a614610141575b5f80fd5b3480156100b4575f80fd5b506003545b6040519081526020015b60405180910390f35b3480156100d7575f80fd5b506100eb6100e6366004610ce2565b610202565b005b3480156100f8575f80fd5b506100eb6102e7565b34801561010c575f80fd5b505f5460ff1660405190151581526020016100c3565b34801561012d575f80fd5b506100eb61013c366004610d04565b6102f9565b34801561014c575f80fd5b506100eb61040e565b348015610160575f80fd5b505f5461010090046001600160a01b03166040516001600160a01b0390911681526020016100c3565b348015610194575f80fd5b506100eb6101a3366004610d04565b61041f565b3480156101b3575f80fd5b506100eb6104df565b6100eb6101ca366004610d60565b6104ef565b3480156101da575f80fd5b506002546100b9565b3480156101ee575f80fd5b506100eb6101fd366004610ce2565b610a80565b61020a610af9565b6001600160a01b03811661026f5760405162461bcd60e51b815260206004820152602160248201527f596f752063616e2774206275726e20746865736520657468206469726563746c6044820152607960f81b60648201526084015b60405180910390fd5b60405147808252906001600160a01b038316907f7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d59060200160405180910390a26040516001600160a01b0383169082156108fc029083905f818181858888f193505050501580156102e2573d5f803e3d5ffd5b505050565b6102ef610af9565b6102f7610b58565b565b610301610af9565b60025481036103615760405162461bcd60e51b815260206004820152602660248201527f466565206d75737420626520646966666572656e742066726f6d2063757272656044820152656e74206f6e6560d01b6064820152608401610266565b61037266038d7ea4c6800082610e48565b156103cd5760405162461bcd60e51b815260206004820152602560248201527f466565206d7573742062652061206d756c7469706c65206f6620302e3030312060448201526432ba3432b960d91b6064820152608401610266565b60025460408051918252602082018390527f5fc463da23c1b063e66f9e352006a7fbe8db7223c455dc429e881a2dfe2f94f1910160405180910390a1600255565b610416610af9565b6102f75f610bb1565b610427610af9565b60035481036104925760405162461bcd60e51b815260206004820152603160248201527f6d61782076616c696461746f7273206d75737420626520646966666572656e746044820152702066726f6d2063757272656e74206f6e6560781b6064820152608401610266565b5f81116104da5760405162461bcd60e51b815260206004820152601660248201527504d6178206d75737420626967676572207468616e20360541b6044820152606401610266565b600355565b6104e7610af9565b6102f7610c09565b6104f7610c41565b6801bc16d674ec8000003410156105675760405162461bcd60e51b815260206004820152602e60248201527f42617463684465706f7369743a20416d6f756e74206d7573742062696767657260448201526d103a3430b71019991032ba3432b960911b6064820152608401610266565b61057866038d7ea4c6800034610e48565b156105eb5760405162461bcd60e51b815260206004820152603760248201527f42617463684465706f7369743a204465706f7369742076616c7565206e6f742060448201527f6d756c7469706c65206f6620302e3030312065746865720000000000000000006064820152608401610266565b808061065f5760405162461bcd60e51b815260206004820152603760248201527f42617463684465706f7369743a20596f752073686f756c64206465706f73697460448201527f206174206c65617374206f6e652076616c696461746f720000000000000000006064820152608401610266565b6003548111156106c95760405162461bcd60e51b815260206004820152602f60248201527f42617463684465706f7369743a2076616c696461746f7220636f756e74206d6160448201526e1e081b1a5b5a5d081c995858da1959608a1b6064820152608401610266565b6106d4603082610e7b565b88146107315760405162461bcd60e51b815260206004820152602660248201527f42617463684465706f7369743a205075626b657920636f756e7420646f6e2774604482015265040dac2e8c6d60d31b6064820152608401610266565b61073c606082610e7b565b841461079d5760405162461bcd60e51b815260206004820152602a60248201527f42617463684465706f7369743a205369676e61747572657320636f756e7420646044820152690dedc4ee840dac2e8c6d60b31b6064820152608401610266565b6107a960206001610e7b565b86146108165760405162461bcd60e51b815260206004820152603660248201527f42617463684465706f7369743a205769746864726177616c2043726564656e746044820152750d2c2d8e640c6deeadce840c8dedc4ee840dac2e8c6d60531b6064820152608401610266565b5f816801bc16d674ec80000060025461082f9190610e98565b6108399190610e7b565b90508034146108b05760405162461bcd60e51b815260206004820152603760248201527f42617463684465706f7369743a20416d6f756e74206973206e6f7420616c696760448201527f6e65642077697468207075626b657973206e756d6265720000000000000000006064820152608401610266565b336001600160a01b03167f06c5efeff5c320943d265dc4e5f1af95ad523555ce0c1957e367dda5514572df836002546108e99190610e7b565b60405190815260200160405180910390a25f5b82811015610a73575f8b8b610912603085610e7b565b906030610920866001610e98565b61092a9190610e7b565b9261093793929190610eab565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284375f9201829052509394508b92508a915061097c9050606086610e7b565b90606061098a876001610e98565b6109949190610e7b565b926109a193929190610eab565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284375f9201919091525050600154929350506001600160a01b03909116905063228951186801bc16d674ec800000848e8e868d8d8b818110610a0b57610a0b610ed2565b905060200201356040518763ffffffff1660e01b8152600401610a32959493929190610f29565b5f604051808303818588803b158015610a49575f80fd5b505af1158015610a5b573d5f803e3d5ffd5b5050505050505080610a6c90610f8c565b90506108fc565b5050505050505050505050565b610a88610af9565b6001600160a01b038116610aed5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610266565b610af681610bb1565b50565b5f546001600160a01b036101009091041633146102f75760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610266565b610b60610c41565b5f805460ff191660011790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258610b943390565b6040516001600160a01b03909116815260200160405180910390a1565b5f80546001600160a01b03838116610100818102610100600160a81b0319851617855560405193049190911692909183917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35050565b610c11610c86565b5f805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33610b94565b5f5460ff16156102f75760405162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b6044820152606401610266565b5f5460ff166102f75760405162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b6044820152606401610266565b6001600160a01b0381168114610af6575f80fd5b5f60208284031215610cf2575f80fd5b8135610cfd81610cce565b9392505050565b5f60208284031215610d14575f80fd5b5035919050565b5f8083601f840112610d2b575f80fd5b50813567ffffffffffffffff811115610d42575f80fd5b602083019150836020828501011115610d59575f80fd5b9250929050565b5f805f805f805f806080898b031215610d77575f80fd5b883567ffffffffffffffff80821115610d8e575f80fd5b610d9a8c838d01610d1b565b909a50985060208b0135915080821115610db2575f80fd5b610dbe8c838d01610d1b565b909850965060408b0135915080821115610dd6575f80fd5b610de28c838d01610d1b565b909650945060608b0135915080821115610dfa575f80fd5b818b0191508b601f830112610e0d575f80fd5b813581811115610e1b575f80fd5b8c60208260051b8501011115610e2f575f80fd5b6020830194508093505050509295985092959890939650565b5f82610e6257634e487b7160e01b5f52601260045260245ffd5b500690565b634e487b7160e01b5f52601160045260245ffd5b8082028115828204841417610e9257610e92610e67565b92915050565b80820180821115610e9257610e92610e67565b5f8085851115610eb9575f80fd5b83861115610ec5575f80fd5b5050820193919092039150565b634e487b7160e01b5f52603260045260245ffd5b5f81518084525f5b81811015610f0a57602081850181015186830182015201610eee565b505f602082860101526020601f19601f83011685010191505092915050565b608081525f610f3b6080830188610ee6565b8281036020840152858152858760208301375f60208783010152601f19601f870116810190506020838203016040840152610f796020820186610ee6565b9150508260608301529695505050505050565b5f60018201610f9d57610f9d610e67565b506001019056fea26469706673582212207478d4f84b78100c96712ec5aa3364d0fada7de7f9065adcb74bb26712092cf564736f6c63430008140033

7718:3979:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10933:96;;;;;;;;;;-1:-1:-1;11006:15:0;;10933:96;;;160:25:1;;;148:2;133:18;10933:96:0;;;;;;;;10349:288;;;;;;;;;;-1:-1:-1;10349:288:0;;;;;:::i;:::-;;:::i;:::-;;11391:69;;;;;;;;;;;;;:::i;5518:86::-;;;;;;;;;;-1:-1:-1;5565:4:0;5589:7;;;5518:86;;773:14:1;;766:22;748:41;;736:2;721:18;5518:86:0;608:187:1;11059:288:0;;;;;;;;;;-1:-1:-1;11059:288:0;;;;;:::i;:::-;;:::i;3190:103::-;;;;;;;;;;;;;:::i;2549:87::-;;;;;;;;;;-1:-1:-1;2595:7:0;2622:6;;;;-1:-1:-1;;;;;2622:6:0;2549:87;;-1:-1:-1;;;;;1149:32:1;;;1131:51;;1119:2;1104:18;2549:87:0;985:203:1;10678:247:0;;;;;;;;;;-1:-1:-1;10678:247:0;;;;;:::i;:::-;;:::i;11506:73::-;;;;;;;;;;;;;:::i;8517:1800::-;;;;;;:::i;:::-;;:::i;11619:75::-;;;;;;;;;;-1:-1:-1;11682:4:0;;11619:75;;3448:201;;;;;;;;;;-1:-1:-1;3448:201:0;;;;;:::i;:::-;;:::i;10349:288::-;2435:13;:11;:13::i;:::-;-1:-1:-1;;;;;10439:22:0;::::1;10431:68;;;::::0;-1:-1:-1;;;10431:68:0;;3489:2:1;10431:68:0::1;::::0;::::1;3471:21:1::0;3528:2;3508:18;;;3501:30;3567:34;3547:18;;;3540:62;-1:-1:-1;;;3618:18:1;;;3611:31;3659:19;;10431:68:0::1;;;;;;;;;10566:27;::::0;10529:21:::1;160:25:1::0;;;10529:21:0;-1:-1:-1;;;;;10566:27:0;::::1;::::0;::::1;::::0;148:2:1;133:18;10566:27:0::1;;;;;;;10604:25;::::0;-1:-1:-1;;;;;10604:17:0;::::1;::::0;:25;::::1;;;::::0;10622:6;;10604:25:::1;::::0;;;10622:6;10604:17;:25;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10413:224;10349:288:::0;:::o;11391:69::-;2435:13;:11;:13::i;:::-;11444:8:::1;:6;:8::i;:::-;11391:69::o:0;11059:288::-;2435:13;:11;:13::i;:::-;11140:4:::1;;11130:6;:14:::0;11122:65:::1;;;::::0;-1:-1:-1;;;11122:65:0;;3891:2:1;11122:65:0::1;::::0;::::1;3873:21:1::0;3930:2;3910:18;;;3903:30;3969:34;3949:18;;;3942:62;-1:-1:-1;;;4020:18:1;;;4013:36;4066:19;;11122:65:0::1;3689:402:1::0;11122:65:0::1;11206:20;11215:11;11206:6:::0;:20:::1;:::i;:::-;:25:::0;11198:75:::1;;;::::0;-1:-1:-1;;;11198:75:0;;4512:2:1;11198:75:0::1;::::0;::::1;4494:21:1::0;4551:2;4531:18;;;4524:30;4590:34;4570:18;;;4563:62;-1:-1:-1;;;4641:18:1;;;4634:35;4686:19;;11198:75:0::1;4310:401:1::0;11198:75:0::1;11302:4;::::0;11291:24:::1;::::0;;4890:25:1;;;4946:2;4931:18;;4924:34;;;11291:24:0::1;::::0;4863:18:1;11291:24:0::1;;;;;;;11326:4;:13:::0;11059:288::o;3190:103::-;2435:13;:11;:13::i;:::-;3255:30:::1;3282:1;3255:18;:30::i;10678:247::-:0;2435:13;:11;:13::i;:::-;10763:15:::1;;10756:3;:22:::0;10748:84:::1;;;::::0;-1:-1:-1;;;10748:84:0;;5171:2:1;10748:84:0::1;::::0;::::1;5153:21:1::0;5210:2;5190:18;;;5183:30;5249:34;5229:18;;;5222:62;-1:-1:-1;;;5300:18:1;;;5293:47;5357:19;;10748:84:0::1;4969:413:1::0;10748:84:0::1;10857:1;10851:3;:7;10843:42;;;::::0;-1:-1:-1;;;10843:42:0;;5589:2:1;10843:42:0::1;::::0;::::1;5571:21:1::0;5628:2;5608:18;;;5601:30;-1:-1:-1;;;5647:18:1;;;5640:52;5709:18;;10843:42:0::1;5387:346:1::0;10843:42:0::1;10896:15;:21:::0;10678:247::o;11506:73::-;2435:13;:11;:13::i;:::-;11561:10:::1;:8;:10::i;8517:1800::-:0;5123:19;:17;:19::i;:::-;8041:8:::1;8807:9;:27;;8799:86;;;::::0;-1:-1:-1;;;8799:86:0;;5940:2:1;8799:86:0::1;::::0;::::1;5922:21:1::0;5979:2;5959:18;;;5952:30;6018:34;5998:18;;;5991:62;-1:-1:-1;;;6069:18:1;;;6062:44;6123:19;;8799:86:0::1;5738:410:1::0;8799:86:0::1;8904:23;8916:11;8904:9;:23;:::i;:::-;:28:::0;8896:96:::1;;;::::0;-1:-1:-1;;;8896:96:0;;6355:2:1;8896:96:0::1;::::0;::::1;6337:21:1::0;6394:2;6374:18;;;6367:30;6433:34;6413:18;;;6406:62;6504:25;6484:18;;;6477:53;6547:19;;8896:96:0::1;6153:419:1::0;8896:96:0::1;9029:18:::0;9073:9;9065:77:::1;;;::::0;-1:-1:-1;;;9065:77:0;;6779:2:1;9065:77:0::1;::::0;::::1;6761:21:1::0;6818:2;6798:18;;;6791:30;6857:34;6837:18;;;6830:62;6928:25;6908:18;;;6901:53;6971:19;;9065:77:0::1;6577:419:1::0;9065:77:0::1;9180:15;;9171:5;:24;;9163:84;;;::::0;-1:-1:-1;;;9163:84:0;;7203:2:1;9163:84:0::1;::::0;::::1;7185:21:1::0;7242:2;7222:18;;;7215:30;7281:34;7261:18;;;7254:62;-1:-1:-1;;;7332:18:1;;;7325:45;7387:19;;9163:84:0::1;7001:411:1::0;9163:84:0::1;9286:21;7906:2;9286:5:::0;:21:::1;:::i;:::-;9268:39:::0;::::1;9260:90;;;::::0;-1:-1:-1;;;9260:90:0;;7924:2:1;9260:90:0::1;::::0;::::1;7906:21:1::0;7963:2;7943:18;;;7936:30;8002:34;7982:18;;;7975:62;-1:-1:-1;;;8053:18:1;;;8046:36;8099:19;;9260:90:0::1;7722:402:1::0;9260:90:0::1;9390:24;7951:2;9390:5:::0;:24:::1;:::i;:::-;9369:45:::0;::::1;9361:100;;;::::0;-1:-1:-1;;;9361:100:0;;8331:2:1;9361:100:0::1;::::0;::::1;8313:21:1::0;8370:2;8350:18;;;8343:30;8409:34;8389:18;;;8382:62;-1:-1:-1;;;8460:18:1;;;8453:40;8510:19;;9361:100:0::1;8129:406:1::0;9361:100:0::1;9513:22;7998:2;9513:1;:22;:::i;:::-;9480:55:::0;::::1;9472:122;;;::::0;-1:-1:-1;;;9472:122:0;;8742:2:1;9472:122:0::1;::::0;::::1;8724:21:1::0;8781:2;8761:18;;;8754:30;8820:34;8800:18;;;8793:62;-1:-1:-1;;;8871:18:1;;;8864:52;8933:19;;9472:122:0::1;8540:418:1::0;9472:122:0::1;9607:22;9658:5;8041:8;9633:4;;:21;;;;:::i;:::-;9632:31;;;;:::i;:::-;9607:56;;9695:14;9682:9;:27;9674:95;;;::::0;-1:-1:-1;;;9674:95:0;;9295:2:1;9674:95:0::1;::::0;::::1;9277:21:1::0;9334:2;9314:18;;;9307:30;9373:34;9353:18;;;9346:62;9444:25;9424:18;;;9417:53;9487:19;;9674:95:0::1;9093:419:1::0;9674:95:0::1;9800:10;-1:-1:-1::0;;;;;9787:38:0::1;;9819:5;9812:4;;:12;;;;:::i;:::-;9787:38;::::0;160:25:1;;;148:2;133:18;9787:38:0::1;;;;;;;9841:9;9836:474;9860:5;9856:1;:9;9836:474;;;9887:19;9915:7:::0;;9923:15:::1;7906:2;9923:1:::0;:15:::1;:::i;:::-;9915:44:::0;7906:2:::1;9940:3;:1:::0;9942::::1;9940:3;:::i;:::-;9939:19;;;;:::i;:::-;9915:44;;;;;;;:::i;:::-;9887:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;::::0;;;-1:-1:-1;9887:73:0;;-1:-1:-1;10006:10:0;;-1:-1:-1;10006:10:0;;-1:-1:-1;10017:18:0::1;::::0;-1:-1:-1;7951:2:0::1;10017:1:::0;:18:::1;:::i;:::-;10006:53:::0;7951:2:::1;10037:3;:1:::0;10039::::1;10037:3;:::i;:::-;10036:22;;;;:::i;:::-;10006:53;;;;;;;:::i;:::-;9975:85;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;::::0;;;;-1:-1:-1;;10094:23:0::1;::::0;9975:85;;-1:-1:-1;;;;;;;10094:23:0;;::::1;::::0;-1:-1:-1;10077:49:0::1;8041:8;10168:6:::0;10193:22;;9975:85;10262:18;;10281:1;10262:21;;::::1;;;;;:::i;:::-;;;;;;;10077:221;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;9872:438;;9867:3;;;;:::i;:::-;;;9836:474;;;;8761:1556;;8517:1800:::0;;;;;;;;:::o;3448:201::-;2435:13;:11;:13::i;:::-;-1:-1:-1;;;;;3537:22:0;::::1;3529:73;;;::::0;-1:-1:-1;;;3529:73:0;;11528:2:1;3529:73:0::1;::::0;::::1;11510:21:1::0;11567:2;11547:18;;;11540:30;11606:34;11586:18;;;11579:62;-1:-1:-1;;;11657:18:1;;;11650:36;11703:19;;3529:73:0::1;11326:402:1::0;3529:73:0::1;3613:28;3632:8;3613:18;:28::i;:::-;3448:201:::0;:::o;2714:132::-;2595:7;2622:6;-1:-1:-1;;;;;2622:6:0;;;;;1338:10;2778:23;2770:68;;;;-1:-1:-1;;;2770:68:0;;11935:2:1;2770:68:0;;;11917:21:1;;;11954:18;;;11947:30;12013:34;11993:18;;;11986:62;12065:18;;2770:68:0;11733:356:1;6114:118:0;5123:19;:17;:19::i;:::-;6174:7:::1;:14:::0;;-1:-1:-1;;6174:14:0::1;6184:4;6174:14;::::0;;6204:20:::1;6211:12;1338:10:::0;;1258:98;6211:12:::1;6204:20;::::0;-1:-1:-1;;;;;1149:32:1;;;1131:51;;1119:2;1104:18;6204:20:0::1;;;;;;;6114:118::o:0;3809:191::-;3883:16;3902:6;;-1:-1:-1;;;;;3919:17:0;;;3902:6;3919:17;;;-1:-1:-1;;;;;;3919:17:0;;;;;3952:40;;3902:6;;;;;;;3919:17;;3902:6;;3952:40;;;3872:128;3809:191;:::o;6373:120::-;5382:16;:14;:16::i;:::-;6442:5:::1;6432:15:::0;;-1:-1:-1;;6432:15:0::1;::::0;;6463:22:::1;1338:10:::0;6472:12:::1;1258:98:::0;5677:108;5565:4;5589:7;;;5747:9;5739:38;;;;-1:-1:-1;;;5739:38:0;;12296:2:1;5739:38:0;;;12278:21:1;12335:2;12315:18;;;12308:30;-1:-1:-1;;;12354:18:1;;;12347:46;12410:18;;5739:38:0;12094:340:1;5862:108:0;5565:4;5589:7;;;5921:41;;;;-1:-1:-1;;;5921:41:0;;12641:2:1;5921:41:0;;;12623:21:1;12680:2;12660:18;;;12653:30;-1:-1:-1;;;12699:18:1;;;12692:50;12759:18;;5921:41:0;12439:344:1;196:139;-1:-1:-1;;;;;279:31:1;;269:42;;259:70;;325:1;322;315:12;340:263;407:6;460:2;448:9;439:7;435:23;431:32;428:52;;;476:1;473;466:12;428:52;515:9;502:23;534:39;567:5;534:39;:::i;:::-;592:5;340:263;-1:-1:-1;;;340:263:1:o;800:180::-;859:6;912:2;900:9;891:7;887:23;883:32;880:52;;;928:1;925;918:12;880:52;-1:-1:-1;951:23:1;;800:180;-1:-1:-1;800:180:1:o;1193:347::-;1244:8;1254:6;1308:3;1301:4;1293:6;1289:17;1285:27;1275:55;;1326:1;1323;1316:12;1275:55;-1:-1:-1;1349:20:1;;1392:18;1381:30;;1378:50;;;1424:1;1421;1414:12;1378:50;1461:4;1453:6;1449:17;1437:29;;1513:3;1506:4;1497:6;1489;1485:19;1481:30;1478:39;1475:59;;;1530:1;1527;1520:12;1475:59;1193:347;;;;;:::o;1545:1477::-;1691:6;1699;1707;1715;1723;1731;1739;1747;1800:3;1788:9;1779:7;1775:23;1771:33;1768:53;;;1817:1;1814;1807:12;1768:53;1857:9;1844:23;1886:18;1927:2;1919:6;1916:14;1913:34;;;1943:1;1940;1933:12;1913:34;1982:58;2032:7;2023:6;2012:9;2008:22;1982:58;:::i;:::-;2059:8;;-1:-1:-1;1956:84:1;-1:-1:-1;2147:2:1;2132:18;;2119:32;;-1:-1:-1;2163:16:1;;;2160:36;;;2192:1;2189;2182:12;2160:36;2231:60;2283:7;2272:8;2261:9;2257:24;2231:60;:::i;:::-;2310:8;;-1:-1:-1;2205:86:1;-1:-1:-1;2398:2:1;2383:18;;2370:32;;-1:-1:-1;2414:16:1;;;2411:36;;;2443:1;2440;2433:12;2411:36;2482:60;2534:7;2523:8;2512:9;2508:24;2482:60;:::i;:::-;2561:8;;-1:-1:-1;2456:86:1;-1:-1:-1;2649:2:1;2634:18;;2621:32;;-1:-1:-1;2665:16:1;;;2662:36;;;2694:1;2691;2684:12;2662:36;2732:8;2721:9;2717:24;2707:34;;2779:7;2772:4;2768:2;2764:13;2760:27;2750:55;;2801:1;2798;2791:12;2750:55;2841:2;2828:16;2867:2;2859:6;2856:14;2853:34;;;2883:1;2880;2873:12;2853:34;2936:7;2931:2;2921:6;2918:1;2914:14;2910:2;2906:23;2902:32;2899:45;2896:65;;;2957:1;2954;2947:12;2896:65;2988:2;2984;2980:11;2970:21;;3010:6;3000:16;;;;;1545:1477;;;;;;;;;;;:::o;4096:209::-;4128:1;4154;4144:132;;4198:10;4193:3;4189:20;4186:1;4179:31;4233:4;4230:1;4223:15;4261:4;4258:1;4251:15;4144:132;-1:-1:-1;4290:9:1;;4096:209::o;7417:127::-;7478:10;7473:3;7469:20;7466:1;7459:31;7509:4;7506:1;7499:15;7533:4;7530:1;7523:15;7549:168;7622:9;;;7653;;7670:15;;;7664:22;;7650:37;7640:71;;7691:18;;:::i;:::-;7549:168;;;;:::o;8963:125::-;9028:9;;;9049:10;;;9046:36;;;9062:18;;:::i;9517:331::-;9622:9;9633;9675:8;9663:10;9660:24;9657:44;;;9697:1;9694;9687:12;9657:44;9726:6;9716:8;9713:20;9710:40;;;9746:1;9743;9736:12;9710:40;-1:-1:-1;;9772:23:1;;;9817:25;;;;;-1:-1:-1;9517:331:1:o;9853:127::-;9914:10;9909:3;9905:20;9902:1;9895:31;9945:4;9942:1;9935:15;9969:4;9966:1;9959:15;9985:422;10026:3;10064:5;10058:12;10091:6;10086:3;10079:19;10116:1;10126:162;10140:6;10137:1;10134:13;10126:162;;;10202:4;10258:13;;;10254:22;;10248:29;10230:11;;;10226:20;;10219:59;10155:12;10126:162;;;10130:3;10333:1;10326:4;10317:6;10312:3;10308:16;10304:27;10297:38;10396:4;10389:2;10385:7;10380:2;10372:6;10368:15;10364:29;10359:3;10355:39;10351:50;10344:57;;;9985:422;;;;:::o;10412:769::-;10689:3;10678:9;10671:22;10652:4;10716:45;10756:3;10745:9;10741:19;10733:6;10716:45;:::i;:::-;10809:9;10801:6;10797:22;10792:2;10781:9;10777:18;10770:50;10844:6;10836;10829:22;10898:6;10890;10885:2;10877:6;10873:15;10860:45;10951:1;10946:2;10937:6;10929;10925:19;10921:28;10914:39;11009:2;11005:7;11000:2;10992:6;10988:15;10984:29;10976:6;10972:42;10962:52;;11074:2;11062:9;11058:2;11054:18;11050:27;11045:2;11034:9;11030:18;11023:55;11095:37;11128:2;11124;11120:11;11112:6;11095:37;:::i;:::-;11087:45;;;11168:6;11163:2;11152:9;11148:18;11141:34;10412:769;;;;;;;;:::o;11186:135::-;11225:3;11246:17;;;11243:43;;11266:18;;:::i;:::-;-1:-1:-1;11313:1:1;11302:13;;11186:135::o

ipfs://7478d4f84b78100c96712ec5aa3364d0fada7de7f9065adcb74bb26712092cf5