Contract Source Code (Solidity)

IDE

• Blockscan IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-05-10
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20 ^0.8.28;

// lib/openzeppelin-contracts/contracts/token/ERC721/IERC721Receiver.sol

// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC721/IERC721Receiver.sol)

/**
 * @title ERC-721 token receiver interface
 * @dev Interface for any contract that wants to support safeTransfers
 * from ERC-721 asset contracts.
 */
interface IERC721Receiver {
    /**
     * @dev Whenever an {IERC721} `tokenId` token is transferred to this contract via {IERC721-safeTransferFrom}
     * by `operator` from `from`, this function is called.
     *
     * It must return its Solidity selector to confirm the token transfer.
     * If any other value is returned or the interface is not implemented by the recipient, the transfer will be
     * reverted.
     *
     * The selector can be obtained in Solidity with `IERC721Receiver.onERC721Received.selector`.
     */
    function onERC721Received(
        address operator,
        address from,
        uint256 tokenId,
        bytes calldata data
    ) external returns (bytes4);
}

// lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol

// OpenZeppelin Contracts (last updated v5.1.0) (utils/introspection/IERC165.sol)

/**
 * @dev Interface of the ERC-165 standard, as defined in the
 * https://eips.ethereum.org/EIPS/eip-165[ERC].
 *
 * Implementers can declare support of contract interfaces, which can then be
 * queried by others ({ERC165Checker}).
 *
 * For an implementation, see {ERC165}.
 */
interface IERC165 {
    /**
     * @dev Returns true if this contract implements the interface defined by
     * `interfaceId`. See the corresponding
     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[ERC section]
     * to learn more about how these ids are created.
     *
     * This function call must use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) external view returns (bool);
}

// lib/openzeppelin-contracts/contracts/token/ERC1155/IERC1155Receiver.sol

// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC1155/IERC1155Receiver.sol)

/**
 * @dev Interface that must be implemented by smart contracts in order to receive
 * ERC-1155 token transfers.
 */
interface IERC1155Receiver is IERC165 {
    /**
     * @dev Handles the receipt of a single ERC-1155 token type. This function is
     * called at the end of a `safeTransferFrom` after the balance has been updated.
     *
     * NOTE: To accept the transfer, this must return
     * `bytes4(keccak256("onERC1155Received(address,address,uint256,uint256,bytes)"))`
     * (i.e. 0xf23a6e61, or its own function selector).
     *
     * @param operator The address which initiated the transfer (i.e. msg.sender)
     * @param from The address which previously owned the token
     * @param id The ID of the token being transferred
     * @param value The amount of tokens being transferred
     * @param data Additional data with no specified format
     * @return `bytes4(keccak256("onERC1155Received(address,address,uint256,uint256,bytes)"))` if transfer is allowed
     */
    function onERC1155Received(
        address operator,
        address from,
        uint256 id,
        uint256 value,
        bytes calldata data
    ) external returns (bytes4);

    /**
     * @dev Handles the receipt of a multiple ERC-1155 token types. This function
     * is called at the end of a `safeBatchTransferFrom` after the balances have
     * been updated.
     *
     * NOTE: To accept the transfer(s), this must return
     * `bytes4(keccak256("onERC1155BatchReceived(address,address,uint256[],uint256[],bytes)"))`
     * (i.e. 0xbc197c81, or its own function selector).
     *
     * @param operator The address which initiated the batch transfer (i.e. msg.sender)
     * @param from The address which previously owned the token
     * @param ids An array containing ids of each token being transferred (order and length must match values array)
     * @param values An array containing amounts of each token being transferred (order and length must match ids array)
     * @param data Additional data with no specified format
     * @return `bytes4(keccak256("onERC1155BatchReceived(address,address,uint256[],uint256[],bytes)"))` if transfer is allowed
     */
    function onERC1155BatchReceived(
        address operator,
        address from,
        uint256[] calldata ids,
        uint256[] calldata values,
        bytes calldata data
    ) external returns (bytes4);
}

// src/Pectra.sol
/**
 * ██╗     ██╗   ██╗ ██████╗  █████╗ ███╗   ██╗ ██████╗ ██████╗ ███████╗███████╗
 * ██║     ██║   ██║██╔════╝ ██╔══██╗████╗  ██║██╔═══██╗██╔══██╗██╔════╝██╔════╝
 * ██║     ██║   ██║██║  ███╗███████║██╔██╗ ██║██║   ██║██║  ██║█████╗  ███████╗
 * ██║     ██║   ██║██║   ██║██╔══██║██║╚██╗██║██║   ██║██║  ██║██╔══╝  ╚════██║
 * ███████╗╚██████╔╝╚██████╔╝██║  ██║██║ ╚████║╚██████╔╝██████╔╝███████╗███████║
 * ╚══════╝ ╚═════╝  ╚═════╝ ╚═╝  ╚═╝╚═╝  ╚═══╝ ╚═════╝ ╚═════╝ ╚══════╝╚══════╝
 */

contract Pectra is IERC165, IERC721Receiver, IERC1155Receiver {
    address public constant consolidationTarget = 0x0000BBdDc7CE488642fb579F8B00f3a590007251;
    address public constant exitTarget = 0x00000961Ef480Eb55e80D19ad83579A64c007002;

    // Constants for validator-related parameters
    /// @dev The expected length of a validator public key in bytes
    uint256 public constant VALIDATOR_PUBKEY_LENGTH = 48;
    /// @dev The expected length of an amount value in bytes for EL exit
    uint256 public constant AMOUNT_LENGTH = 8;
    /// @dev Minimum number of validators required for batch operations
    uint256 public constant MIN_VALIDATORS = 1;
    /// @dev Maximum number of source validators allowed in consolidation,
    uint256 public constant MAX_SOURCE_VALIDATORS = 63;
    /// @dev Maximum number of validators allowed in switch and EL exit operations
    uint256 public constant MAX_VALIDATORS = 200;
    /// @dev Minimum fee required per validator
    uint256 public constant MIN_FEE = 1 wei;
    /// @dev Maximum withdrawal amount as a uint64 (representing 2048 ether in gwei)
    uint64 public constant MAX_WITHDRAWAL_AMOUNT = 2048000000000; // 2048 ETH in Gwei

    // Interface IDs
    bytes4 private constant _INTERFACE_ID_ERC165 = 0x01ffc9a7;
    bytes4 private constant _INTERFACE_ID_ERC721_RECEIVER = 0x150b7a02;
    bytes4 private constant _INTERFACE_ID_ERC1155_RECEIVER = 0x4e2312e0;

    // Failure reason codes as enum
    enum FailureReason {
        INVALID_PUBKEY_LENGTH,
        OPERATION_FAILED,
        INVALID_AMOUNT_LENGTH,
        INVALID_AMOUNT_VALUE,
        FULL_EXIT_NOT_CONFIRMED,
        AMOUNT_EXCEEDS_MAXIMUM,
        FULL_EXIT_WITH_AMOUNT
    }

    event ConsolidationFailed(FailureReason reasonCode, bytes sourcePubkey, bytes targetPubkey);
    event SwitchFailed(FailureReason reasonCode, bytes pubkey);
    event ExecutionLayerExitFailed(FailureReason reasonCode, bytes pubkey, uint64 amount);

    error Unauthorized();
    error InvalidTargetPubkeyLength(bytes invalidTargetPubkey);
    error MinimumValidatorRequired();
    error TooManySourceValidators();
    error TooManyValidators();
    error InsufficientFeePerValidator();

    receive() external payable {}
    fallback() external payable {}

    /**
     * @dev Implementation of the {IERC165} interface.
     *
     * Returns true if this contract implements the interface defined by
     * `interfaceId`.
     *
     * This function call must use less than 30,000 gas.
     */
    function supportsInterface(bytes4 interfaceId) public pure override returns (bool) {
        return interfaceId == _INTERFACE_ID_ERC165 || interfaceId == _INTERFACE_ID_ERC721_RECEIVER
            || interfaceId == _INTERFACE_ID_ERC1155_RECEIVER;
    }

    function onERC721Received(address, address, uint256, bytes calldata) external pure override returns (bytes4) {
        return this.onERC721Received.selector;
    }

    function onERC1155Received(address, address, uint256, uint256, bytes calldata)
        external
        pure
        override
        returns (bytes4)
    {
        return this.onERC1155Received.selector;
    }

    function onERC1155BatchReceived(address, address, uint256[] calldata, uint256[] calldata, bytes calldata)
        external
        pure
        override
        returns (bytes4)
    {
        return this.onERC1155BatchReceived.selector;
    }

    modifier onlySelf() {
        require(msg.sender == address(this), Unauthorized());
        _;
    }

    function getConsolidationFee() public view returns (uint256 fee) {
        (bool readOK, bytes memory feeData) = consolidationTarget.staticcall("");
        if (!readOK) return MIN_FEE;
        fee = uint256(bytes32(feeData));
    }

    function getExitFee() public view returns (uint256 fee) {
        (bool readOK, bytes memory feeData) = exitTarget.staticcall("");
        if (!readOK) return MIN_FEE;
        fee = uint256(bytes32(feeData));
    }

    function batchConsolidation(bytes[] calldata sourcePubkeys, bytes calldata targetPubkey)
        external
        payable
        onlySelf
    {
        uint256 batchSize = sourcePubkeys.length;
        require(batchSize >= MIN_VALIDATORS, MinimumValidatorRequired());
        require(batchSize <= MAX_SOURCE_VALIDATORS, TooManySourceValidators());
        if (targetPubkey.length != VALIDATOR_PUBKEY_LENGTH) {
            revert InvalidTargetPubkeyLength(targetPubkey);
        }

        uint256 consolidationFee = getConsolidationFee();
        require(msg.value >= batchSize * consolidationFee, InsufficientFeePerValidator());

        for (uint256 i = 0; i < batchSize; ++i) {
            if (sourcePubkeys[i].length != VALIDATOR_PUBKEY_LENGTH) {
                emit ConsolidationFailed(FailureReason.INVALID_PUBKEY_LENGTH, sourcePubkeys[i], targetPubkey);
                continue;
            }

            bytes memory concatenated = abi.encodePacked(sourcePubkeys[i], targetPubkey);
            (bool success,) = consolidationTarget.call{value: consolidationFee}(concatenated);
            if (!success) {
                emit ConsolidationFailed(FailureReason.OPERATION_FAILED, sourcePubkeys[i], targetPubkey);
                continue;
            }
        }
    }

    function batchSwitch(bytes[] calldata pubkeys) external payable onlySelf {
        uint256 batchSize = pubkeys.length;
        require(batchSize >= MIN_VALIDATORS, MinimumValidatorRequired());
        require(batchSize <= MAX_VALIDATORS, TooManyValidators());

        uint256 switchFee = getConsolidationFee();
        require(msg.value >= batchSize * switchFee, InsufficientFeePerValidator());

        for (uint256 i = 0; i < batchSize; ++i) {
            if (pubkeys[i].length != VALIDATOR_PUBKEY_LENGTH) {
                emit SwitchFailed(FailureReason.INVALID_PUBKEY_LENGTH, pubkeys[i]);
                continue;
            }

            bytes memory concatenated = abi.encodePacked(pubkeys[i], pubkeys[i]);
            (bool success,) = consolidationTarget.call{value: switchFee}(concatenated);
            if (!success) {
                emit SwitchFailed(FailureReason.OPERATION_FAILED, pubkeys[i]);
                continue;
            }
        }
    }

    // Define the ExitData struct
    struct ExitData {
        bytes pubkey; // 48-byte validator public key
        uint64 amount; // Amount in gwei (or zero for full exit)
        bool isFullExit; // Safety flag requiring explicit confirmation for full exits
    }

    function batchELExit(ExitData[] calldata data) external payable onlySelf {
        uint256 batchSize = data.length;
        require(batchSize >= MIN_VALIDATORS, MinimumValidatorRequired());
        require(batchSize <= MAX_VALIDATORS, TooManyValidators());

        uint256 exitFee = getExitFee();
        require(msg.value >= batchSize * exitFee, InsufficientFeePerValidator());

        for (uint256 i = 0; i < batchSize; ++i) {
            if (data[i].pubkey.length != VALIDATOR_PUBKEY_LENGTH) {
                emit ExecutionLayerExitFailed(FailureReason.INVALID_PUBKEY_LENGTH, data[i].pubkey, data[i].amount);
                continue;
            }

            bool isZeroAmount = data[i].amount == 0;

            if (data[i].isFullExit && !isZeroAmount) {
                emit ExecutionLayerExitFailed(FailureReason.FULL_EXIT_WITH_AMOUNT, data[i].pubkey, data[i].amount);
                continue;
            }

            if (isZeroAmount && !data[i].isFullExit) {
                emit ExecutionLayerExitFailed(FailureReason.FULL_EXIT_NOT_CONFIRMED, data[i].pubkey, data[i].amount);
                continue;
            }

            if (data[i].amount > MAX_WITHDRAWAL_AMOUNT) {
                emit ExecutionLayerExitFailed(FailureReason.AMOUNT_EXCEEDS_MAXIMUM, data[i].pubkey, data[i].amount);
                continue;
            }

            bytes memory concatenated = abi.encodePacked(data[i].pubkey, data[i].amount);
            (bool success,) = exitTarget.call{value: exitFee}(concatenated);
            if (!success) {
                emit ExecutionLayerExitFailed(FailureReason.OPERATION_FAILED, data[i].pubkey, data[i].amount);
                continue;
            }
        }
    }
}

[{"inputs":[],"name":"InsufficientFeePerValidator","type":"error"},{"inputs":[{"internalType":"bytes","name":"invalidTargetPubkey","type":"bytes"}],"name":"InvalidTargetPubkeyLength","type":"error"},{"inputs":[],"name":"MinimumValidatorRequired","type":"error"},{"inputs":[],"name":"TooManySourceValidators","type":"error"},{"inputs":[],"name":"TooManyValidators","type":"error"},{"inputs":[],"name":"Unauthorized","type":"error"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"enum Pectra.FailureReason","name":"reasonCode","type":"uint8"},{"indexed":false,"internalType":"bytes","name":"sourcePubkey","type":"bytes"},{"indexed":false,"internalType":"bytes","name":"targetPubkey","type":"bytes"}],"name":"ConsolidationFailed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"enum Pectra.FailureReason","name":"reasonCode","type":"uint8"},{"indexed":false,"internalType":"bytes","name":"pubkey","type":"bytes"},{"indexed":false,"internalType":"uint64","name":"amount","type":"uint64"}],"name":"ExecutionLayerExitFailed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"enum Pectra.FailureReason","name":"reasonCode","type":"uint8"},{"indexed":false,"internalType":"bytes","name":"pubkey","type":"bytes"}],"name":"SwitchFailed","type":"event"},{"stateMutability":"payable","type":"fallback"},{"inputs":[],"name":"AMOUNT_LENGTH","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_SOURCE_VALIDATORS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_VALIDATORS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_WITHDRAWAL_AMOUNT","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_FEE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_VALIDATORS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"VALIDATOR_PUBKEY_LENGTH","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes[]","name":"sourcePubkeys","type":"bytes[]"},{"internalType":"bytes","name":"targetPubkey","type":"bytes"}],"name":"batchConsolidation","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"components":[{"internalType":"bytes","name":"pubkey","type":"bytes"},{"internalType":"uint64","name":"amount","type":"uint64"},{"internalType":"bool","name":"isFullExit","type":"bool"}],"internalType":"struct Pectra.ExitData[]","name":"data","type":"tuple[]"}],"name":"batchELExit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"bytes[]","name":"pubkeys","type":"bytes[]"}],"name":"batchSwitch","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"consolidationTarget","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"exitTarget","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getConsolidationFee","outputs":[{"internalType":"uint256","name":"fee","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getExitFee","outputs":[{"internalType":"uint256","name":"fee","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256[]","name":"","type":"uint256[]"},{"internalType":"uint256[]","name":"","type":"uint256[]"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"onERC1155BatchReceived","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"onERC1155Received","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"onERC721Received","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052348015600e575f5ffd5b506120a08061001c5f395ff3fe60806040526004361061010c575f3560e01c806376c7a3c711610094578063ecb0116a11610063578063ecb0116a14610359578063f1648f9914610383578063f23a6e61146103ad578063f9c6128c146103e9578063ff37d9a4146104055761010d565b806376c7a3c7146102ad578063a72815ce146102d7578063bc197c81146102f3578063bf8b8ad81461032f5761010d565b8063150b7a02116100db578063150b7a02146101c9578063302622c014610205578063422b2c661461022f5780635ed1f96314610259578063714897df146102835761010d565b806301ffc9a71461010f578063030cac801461014b578063058c8c2e146101755780630be796331461019f5761010d565b5b005b34801561011a575f5ffd5b5061013560048036038101906101309190611504565b610421565b6040516101429190611549565b60405180910390f35b348015610156575f5ffd5b5061015f61050f565b60405161016c919061157a565b60405180910390f35b348015610180575f5ffd5b506101896105ad565b60405161019691906115b5565b60405180910390f35b3480156101aa575f5ffd5b506101b36105b7565b6040516101c0919061160d565b60405180910390f35b3480156101d4575f5ffd5b506101ef60048036038101906101ea91906116db565b6105cd565b6040516101fc919061176e565b60405180910390f35b348015610210575f5ffd5b506102196105e1565b604051610226919061157a565b60405180910390f35b34801561023a575f5ffd5b506102436105e6565b604051610250919061157a565b60405180910390f35b348015610264575f5ffd5b5061026d6105eb565b60405161027a919061157a565b60405180910390f35b34801561028e575f5ffd5b506102976105f0565b6040516102a4919061157a565b60405180910390f35b3480156102b8575f5ffd5b506102c16105f5565b6040516102ce919061157a565b60405180910390f35b6102f160048036038101906102ec91906117dc565b6105fa565b005b3480156102fe575f5ffd5b50610319600480360381019061031491906118af565b610966565b604051610326919061176e565b60405180910390f35b34801561033a575f5ffd5b5061034361097d565b604051610350919061157a565b60405180910390f35b348015610364575f5ffd5b5061036d610982565b60405161037a919061157a565b60405180910390f35b34801561038e575f5ffd5b50610397610a20565b6040516103a4919061160d565b60405180910390f35b3480156103b8575f5ffd5b506103d360048036038101906103ce9190611986565b610a36565b6040516103e0919061176e565b60405180910390f35b61040360048036038101906103fe9190611a1c565b610a4b565b005b61041f600480360381019061041a9190611abc565b610d86565b005b5f6301ffc9a760e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614806104b9575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806105085750634e2312e060e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b9050919050565b5f5f5f71bbddc7ce488642fb579f8b00f3a59000725173ffffffffffffffffffffffffffffffffffffffff1660405161054790611b34565b5f60405180830381855afa9150503d805f811461057f576040519150601f19603f3d011682016040523d82523d5f602084013e610584565b606091505b509150915081610599576001925050506105aa565b806105a390611b8a565b5f1c925050505b90565b6501dcd650000081565b71bbddc7ce488642fb579f8b00f3a59000725181565b5f63150b7a0260e01b905095945050505050565b603f81565b603081565b600181565b60c881565b600181565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461065f576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f84849050905060018110156106a1576040517fd84acb7f00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b603f8111156106dc576040517f87bbd83100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b603083839050146107265782826040517ffbd8d71b00000000000000000000000000000000000000000000000000000000815260040161071d929190611c4a565b60405180910390fd5b5f61072f61050f565b9050808261073d9190611c99565b341015610776576040517f5b70fe4900000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f5f90505b8281101561095d57603087878381811061079857610797611cda565b5b90506020028101906107aa9190611d13565b905014610818577f72d2f8d8332e7ddf1022e97b12731929825f5e527c0644236b1e400b56d3aee65f8888848181106107e6576107e5611cda565b5b90506020028101906107f89190611d13565b888860405161080b959493929190611de8565b60405180910390a1610952565b5f87878381811061082c5761082b611cda565b5b905060200281019061083e9190611d13565b87876040516020016108539493929190611e53565b60405160208183030381529060405290505f71bbddc7ce488642fb579f8b00f3a59000725173ffffffffffffffffffffffffffffffffffffffff16848360405161089d9190611eb8565b5f6040518083038185875af1925050503d805f81146108d7576040519150601f19603f3d011682016040523d82523d5f602084013e6108dc565b606091505b505090508061094f577f72d2f8d8332e7ddf1022e97b12731929825f5e527c0644236b1e400b56d3aee660018a8a8681811061091b5761091a611cda565b5b905060200281019061092d9190611d13565b8a8a604051610940959493929190611de8565b60405180910390a15050610952565b50505b80600101905061077b565b50505050505050565b5f63bc197c8160e01b905098975050505050505050565b600881565b5f5f5f710961ef480eb55e80d19ad83579a64c00700273ffffffffffffffffffffffffffffffffffffffff166040516109ba90611b34565b5f60405180830381855afa9150503d805f81146109f2576040519150601f19603f3d011682016040523d82523d5f602084013e6109f7565b606091505b509150915081610a0c57600192505050610a1d565b80610a1690611b8a565b5f1c925050505b90565b710961ef480eb55e80d19ad83579a64c00700281565b5f63f23a6e6160e01b90509695505050505050565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ab0576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f8282905090506001811015610af2576040517fd84acb7f00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60c8811115610b2d576040517f2bb8575c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f610b3661050f565b90508082610b449190611c99565b341015610b7d576040517f5b70fe4900000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f5f90505b82811015610d7f576030858583818110610b9f57610b9e611cda565b5b9050602002810190610bb19190611d13565b905014610c1b577f1c69d865dfaa6d9c4b0186797ed8a8a86f032d455d69886a2a48de0a9f2a03bf5f868684818110610bed57610bec611cda565b5b9050602002810190610bff9190611d13565b604051610c0e93929190611ece565b60405180910390a1610d74565b5f858583818110610c2f57610c2e611cda565b5b9050602002810190610c419190611d13565b878785818110610c5457610c53611cda565b5b9050602002810190610c669190611d13565b604051602001610c799493929190611e53565b60405160208183030381529060405290505f71bbddc7ce488642fb579f8b00f3a59000725173ffffffffffffffffffffffffffffffffffffffff168483604051610cc39190611eb8565b5f6040518083038185875af1925050503d805f8114610cfd576040519150601f19603f3d011682016040523d82523d5f602084013e610d02565b606091505b5050905080610d71577f1c69d865dfaa6d9c4b0186797ed8a8a86f032d455d69886a2a48de0a9f2a03bf6001888886818110610d4157610d40611cda565b5b9050602002810190610d539190611d13565b604051610d6293929190611ece565b60405180910390a15050610d74565b50505b806001019050610b82565b5050505050565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610deb576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f8282905090506001811015610e2d576040517fd84acb7f00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60c8811115610e68576040517f2bb8575c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f610e71610982565b90508082610e7f9190611c99565b341015610eb8576040517f5b70fe4900000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f5f90505b828110156114a0576030858583818110610eda57610ed9611cda565b5b9050602002810190610eec9190611efe565b805f0190610efa9190611d13565b905014610faa577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c66745f868684818110610f3657610f35611cda565b5b9050602002810190610f489190611efe565b805f0190610f569190611d13565b888886818110610f6957610f68611cda565b5b9050602002810190610f7b9190611efe565b6020016020810190610f8d9190611f4f565b604051610f9d9493929190611f7a565b60405180910390a1611495565b5f5f868684818110610fbf57610fbe611cda565b5b9050602002810190610fd19190611efe565b6020016020810190610fe39190611f4f565b67ffffffffffffffff1614905085858381811061100357611002611cda565b5b90506020028101906110159190611efe565b60400160208101906110279190611fe2565b8015611031575080155b156110e1577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c6674600687878581811061106c5761106b611cda565b5b905060200281019061107e9190611efe565b805f019061108c9190611d13565b89898781811061109f5761109e611cda565b5b90506020028101906110b19190611efe565b60200160208101906110c39190611f4f565b6040516110d39493929190611f7a565b60405180910390a150611495565b80801561112257508585838181106110fc576110fb611cda565b5b905060200281019061110e9190611efe565b60400160208101906111209190611fe2565b155b156111d2577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c6674600487878581811061115d5761115c611cda565b5b905060200281019061116f9190611efe565b805f019061117d9190611d13565b8989878181106111905761118f611cda565b5b90506020028101906111a29190611efe565b60200160208101906111b49190611f4f565b6040516111c49493929190611f7a565b60405180910390a150611495565b6501dcd650000067ffffffffffffffff168686848181106111f6576111f5611cda565b5b90506020028101906112089190611efe565b602001602081019061121a9190611f4f565b67ffffffffffffffff1611156112d5577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c667460058787858181106112605761125f611cda565b5b90506020028101906112729190611efe565b805f01906112809190611d13565b89898781811061129357611292611cda565b5b90506020028101906112a59190611efe565b60200160208101906112b79190611f4f565b6040516112c79493929190611f7a565b60405180910390a150611495565b5f8686848181106112e9576112e8611cda565b5b90506020028101906112fb9190611efe565b805f01906113099190611d13565b88888681811061131c5761131b611cda565b5b905060200281019061132e9190611efe565b60200160208101906113409190611f4f565b60405160200161135293929190612041565b60405160208183030381529060405290505f710961ef480eb55e80d19ad83579a64c00700273ffffffffffffffffffffffffffffffffffffffff16858360405161139c9190611eb8565b5f6040518083038185875af1925050503d805f81146113d6576040519150601f19603f3d011682016040523d82523d5f602084013e6113db565b606091505b5050905080611491577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c6674600189898781811061141a57611419611cda565b5b905060200281019061142c9190611efe565b805f019061143a9190611d13565b8b8b8981811061144d5761144c611cda565b5b905060200281019061145f9190611efe565b60200160208101906114719190611f4f565b6040516114819493929190611f7a565b60405180910390a1505050611495565b5050505b806001019050610ebd565b5050505050565b5f5ffd5b5f5ffd5b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b6114e3816114af565b81146114ed575f5ffd5b50565b5f813590506114fe816114da565b92915050565b5f60208284031215611519576115186114a7565b5b5f611526848285016114f0565b91505092915050565b5f8115159050919050565b6115438161152f565b82525050565b5f60208201905061155c5f83018461153a565b92915050565b5f819050919050565b61157481611562565b82525050565b5f60208201905061158d5f83018461156b565b92915050565b5f67ffffffffffffffff82169050919050565b6115af81611593565b82525050565b5f6020820190506115c85f8301846115a6565b92915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6115f7826115ce565b9050919050565b611607816115ed565b82525050565b5f6020820190506116205f8301846115fe565b92915050565b61162f816115ed565b8114611639575f5ffd5b50565b5f8135905061164a81611626565b92915050565b61165981611562565b8114611663575f5ffd5b50565b5f8135905061167481611650565b92915050565b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83601f84011261169b5761169a61167a565b5b8235905067ffffffffffffffff8111156116b8576116b761167e565b5b6020830191508360018202830111156116d4576116d3611682565b5b9250929050565b5f5f5f5f5f608086880312156116f4576116f36114a7565b5b5f6117018882890161163c565b95505060206117128882890161163c565b945050604061172388828901611666565b935050606086013567ffffffffffffffff811115611744576117436114ab565b5b61175088828901611686565b92509250509295509295909350565b611768816114af565b82525050565b5f6020820190506117815f83018461175f565b92915050565b5f5f83601f84011261179c5761179b61167a565b5b8235905067ffffffffffffffff8111156117b9576117b861167e565b5b6020830191508360208202830111156117d5576117d4611682565b5b9250929050565b5f5f5f5f604085870312156117f4576117f36114a7565b5b5f85013567ffffffffffffffff811115611811576118106114ab565b5b61181d87828801611787565b9450945050602085013567ffffffffffffffff8111156118405761183f6114ab565b5b61184c87828801611686565b925092505092959194509250565b5f5f83601f84011261186f5761186e61167a565b5b8235905067ffffffffffffffff81111561188c5761188b61167e565b5b6020830191508360208202830111156118a8576118a7611682565b5b9250929050565b5f5f5f5f5f5f5f5f60a0898b0312156118cb576118ca6114a7565b5b5f6118d88b828c0161163c565b98505060206118e98b828c0161163c565b975050604089013567ffffffffffffffff81111561190a576119096114ab565b5b6119168b828c0161185a565b9650965050606089013567ffffffffffffffff811115611939576119386114ab565b5b6119458b828c0161185a565b9450945050608089013567ffffffffffffffff811115611968576119676114ab565b5b6119748b828c01611686565b92509250509295985092959890939650565b5f5f5f5f5f5f60a087890312156119a05761199f6114a7565b5b5f6119ad89828a0161163c565b96505060206119be89828a0161163c565b95505060406119cf89828a01611666565b94505060606119e089828a01611666565b935050608087013567ffffffffffffffff811115611a0157611a006114ab565b5b611a0d89828a01611686565b92509250509295509295509295565b5f5f60208385031215611a3257611a316114a7565b5b5f83013567ffffffffffffffff811115611a4f57611a4e6114ab565b5b611a5b85828601611787565b92509250509250929050565b5f5f83601f840112611a7c57611a7b61167a565b5b8235905067ffffffffffffffff811115611a9957611a9861167e565b5b602083019150836020820283011115611ab557611ab4611682565b5b9250929050565b5f5f60208385031215611ad257611ad16114a7565b5b5f83013567ffffffffffffffff811115611aef57611aee6114ab565b5b611afb85828601611a67565b92509250509250929050565b5f81905092915050565b50565b5f611b1f5f83611b07565b9150611b2a82611b11565b5f82019050919050565b5f611b3e82611b14565b9150819050919050565b5f81519050919050565b5f819050602082019050919050565b5f819050919050565b5f611b758251611b61565b80915050919050565b5f82821b905092915050565b5f611b9482611b48565b82611b9e84611b52565b9050611ba981611b6a565b92506020821015611be957611be47fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83602003600802611b7e565b831692505b5050919050565b5f82825260208201905092915050565b828183375f83830152505050565b5f601f19601f8301169050919050565b5f611c298385611bf0565b9350611c36838584611c00565b611c3f83611c0e565b840190509392505050565b5f6020820190508181035f830152611c63818486611c1e565b90509392505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611ca382611562565b9150611cae83611562565b9250828202611cbc81611562565b91508282048414831517611cd357611cd2611c6c565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83356001602003843603038112611d2f57611d2e611d07565b5b80840192508235915067ffffffffffffffff821115611d5157611d50611d0b565b5b602083019250600182023603831315611d6d57611d6c611d0f565b5b509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b60078110611db357611db2611d75565b5b50565b5f819050611dc382611da2565b919050565b5f611dd282611db6565b9050919050565b611de281611dc8565b82525050565b5f606082019050611dfb5f830188611dd9565b8181036020830152611e0e818688611c1e565b90508181036040830152611e23818486611c1e565b90509695505050505050565b5f611e3a8385611b07565b9350611e47838584611c00565b82840190509392505050565b5f611e5f828688611e2f565b9150611e6c828486611e2f565b915081905095945050505050565b8281835e5f83830152505050565b5f611e9282611b48565b611e9c8185611b07565b9350611eac818560208601611e7a565b80840191505092915050565b5f611ec38284611e88565b915081905092915050565b5f604082019050611ee15f830186611dd9565b8181036020830152611ef4818486611c1e565b9050949350505050565b5f82356001606003833603038112611f1957611f18611d07565b5b80830191505092915050565b611f2e81611593565b8114611f38575f5ffd5b50565b5f81359050611f4981611f25565b92915050565b5f60208284031215611f6457611f636114a7565b5b5f611f7184828501611f3b565b91505092915050565b5f606082019050611f8d5f830187611dd9565b8181036020830152611fa0818587611c1e565b9050611faf60408301846115a6565b95945050505050565b611fc18161152f565b8114611fcb575f5ffd5b50565b5f81359050611fdc81611fb8565b92915050565b5f60208284031215611ff757611ff66114a7565b5b5f61200484828501611fce565b91505092915050565b5f8160c01b9050919050565b5f6120238261200d565b9050919050565b61203b61203682611593565b612019565b82525050565b5f61204d828587611e2f565b9150612059828461202a565b60088201915081905094935050505056fea26469706673582212203545916e9481ea1821a57a47bcf37ed5e7bab3e7e773a880de0f2652878ea81164736f6c634300081c0033

0x60806040526004361061010c575f3560e01c806376c7a3c711610094578063ecb0116a11610063578063ecb0116a14610359578063f1648f9914610383578063f23a6e61146103ad578063f9c6128c146103e9578063ff37d9a4146104055761010d565b806376c7a3c7146102ad578063a72815ce146102d7578063bc197c81146102f3578063bf8b8ad81461032f5761010d565b8063150b7a02116100db578063150b7a02146101c9578063302622c014610205578063422b2c661461022f5780635ed1f96314610259578063714897df146102835761010d565b806301ffc9a71461010f578063030cac801461014b578063058c8c2e146101755780630be796331461019f5761010d565b5b005b34801561011a575f5ffd5b5061013560048036038101906101309190611504565b610421565b6040516101429190611549565b60405180910390f35b348015610156575f5ffd5b5061015f61050f565b60405161016c919061157a565b60405180910390f35b348015610180575f5ffd5b506101896105ad565b60405161019691906115b5565b60405180910390f35b3480156101aa575f5ffd5b506101b36105b7565b6040516101c0919061160d565b60405180910390f35b3480156101d4575f5ffd5b506101ef60048036038101906101ea91906116db565b6105cd565b6040516101fc919061176e565b60405180910390f35b348015610210575f5ffd5b506102196105e1565b604051610226919061157a565b60405180910390f35b34801561023a575f5ffd5b506102436105e6565b604051610250919061157a565b60405180910390f35b348015610264575f5ffd5b5061026d6105eb565b60405161027a919061157a565b60405180910390f35b34801561028e575f5ffd5b506102976105f0565b6040516102a4919061157a565b60405180910390f35b3480156102b8575f5ffd5b506102c16105f5565b6040516102ce919061157a565b60405180910390f35b6102f160048036038101906102ec91906117dc565b6105fa565b005b3480156102fe575f5ffd5b50610319600480360381019061031491906118af565b610966565b604051610326919061176e565b60405180910390f35b34801561033a575f5ffd5b5061034361097d565b604051610350919061157a565b60405180910390f35b348015610364575f5ffd5b5061036d610982565b60405161037a919061157a565b60405180910390f35b34801561038e575f5ffd5b50610397610a20565b6040516103a4919061160d565b60405180910390f35b3480156103b8575f5ffd5b506103d360048036038101906103ce9190611986565b610a36565b6040516103e0919061176e565b60405180910390f35b61040360048036038101906103fe9190611a1c565b610a4b565b005b61041f600480360381019061041a9190611abc565b610d86565b005b5f6301ffc9a760e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614806104b9575063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806105085750634e2312e060e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b9050919050565b5f5f5f71bbddc7ce488642fb579f8b00f3a59000725173ffffffffffffffffffffffffffffffffffffffff1660405161054790611b34565b5f60405180830381855afa9150503d805f811461057f576040519150601f19603f3d011682016040523d82523d5f602084013e610584565b606091505b509150915081610599576001925050506105aa565b806105a390611b8a565b5f1c925050505b90565b6501dcd650000081565b71bbddc7ce488642fb579f8b00f3a59000725181565b5f63150b7a0260e01b905095945050505050565b603f81565b603081565b600181565b60c881565b600181565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461065f576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f84849050905060018110156106a1576040517fd84acb7f00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b603f8111156106dc576040517f87bbd83100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b603083839050146107265782826040517ffbd8d71b00000000000000000000000000000000000000000000000000000000815260040161071d929190611c4a565b60405180910390fd5b5f61072f61050f565b9050808261073d9190611c99565b341015610776576040517f5b70fe4900000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f5f90505b8281101561095d57603087878381811061079857610797611cda565b5b90506020028101906107aa9190611d13565b905014610818577f72d2f8d8332e7ddf1022e97b12731929825f5e527c0644236b1e400b56d3aee65f8888848181106107e6576107e5611cda565b5b90506020028101906107f89190611d13565b888860405161080b959493929190611de8565b60405180910390a1610952565b5f87878381811061082c5761082b611cda565b5b905060200281019061083e9190611d13565b87876040516020016108539493929190611e53565b60405160208183030381529060405290505f71bbddc7ce488642fb579f8b00f3a59000725173ffffffffffffffffffffffffffffffffffffffff16848360405161089d9190611eb8565b5f6040518083038185875af1925050503d805f81146108d7576040519150601f19603f3d011682016040523d82523d5f602084013e6108dc565b606091505b505090508061094f577f72d2f8d8332e7ddf1022e97b12731929825f5e527c0644236b1e400b56d3aee660018a8a8681811061091b5761091a611cda565b5b905060200281019061092d9190611d13565b8a8a604051610940959493929190611de8565b60405180910390a15050610952565b50505b80600101905061077b565b50505050505050565b5f63bc197c8160e01b905098975050505050505050565b600881565b5f5f5f710961ef480eb55e80d19ad83579a64c00700273ffffffffffffffffffffffffffffffffffffffff166040516109ba90611b34565b5f60405180830381855afa9150503d805f81146109f2576040519150601f19603f3d011682016040523d82523d5f602084013e6109f7565b606091505b509150915081610a0c57600192505050610a1d565b80610a1690611b8a565b5f1c925050505b90565b710961ef480eb55e80d19ad83579a64c00700281565b5f63f23a6e6160e01b90509695505050505050565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ab0576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f8282905090506001811015610af2576040517fd84acb7f00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60c8811115610b2d576040517f2bb8575c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f610b3661050f565b90508082610b449190611c99565b341015610b7d576040517f5b70fe4900000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f5f90505b82811015610d7f576030858583818110610b9f57610b9e611cda565b5b9050602002810190610bb19190611d13565b905014610c1b577f1c69d865dfaa6d9c4b0186797ed8a8a86f032d455d69886a2a48de0a9f2a03bf5f868684818110610bed57610bec611cda565b5b9050602002810190610bff9190611d13565b604051610c0e93929190611ece565b60405180910390a1610d74565b5f858583818110610c2f57610c2e611cda565b5b9050602002810190610c419190611d13565b878785818110610c5457610c53611cda565b5b9050602002810190610c669190611d13565b604051602001610c799493929190611e53565b60405160208183030381529060405290505f71bbddc7ce488642fb579f8b00f3a59000725173ffffffffffffffffffffffffffffffffffffffff168483604051610cc39190611eb8565b5f6040518083038185875af1925050503d805f8114610cfd576040519150601f19603f3d011682016040523d82523d5f602084013e610d02565b606091505b5050905080610d71577f1c69d865dfaa6d9c4b0186797ed8a8a86f032d455d69886a2a48de0a9f2a03bf6001888886818110610d4157610d40611cda565b5b9050602002810190610d539190611d13565b604051610d6293929190611ece565b60405180910390a15050610d74565b50505b806001019050610b82565b5050505050565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610deb576040517f82b4290000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f8282905090506001811015610e2d576040517fd84acb7f00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60c8811115610e68576040517f2bb8575c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f610e71610982565b90508082610e7f9190611c99565b341015610eb8576040517f5b70fe4900000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f5f90505b828110156114a0576030858583818110610eda57610ed9611cda565b5b9050602002810190610eec9190611efe565b805f0190610efa9190611d13565b905014610faa577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c66745f868684818110610f3657610f35611cda565b5b9050602002810190610f489190611efe565b805f0190610f569190611d13565b888886818110610f6957610f68611cda565b5b9050602002810190610f7b9190611efe565b6020016020810190610f8d9190611f4f565b604051610f9d9493929190611f7a565b60405180910390a1611495565b5f5f868684818110610fbf57610fbe611cda565b5b9050602002810190610fd19190611efe565b6020016020810190610fe39190611f4f565b67ffffffffffffffff1614905085858381811061100357611002611cda565b5b90506020028101906110159190611efe565b60400160208101906110279190611fe2565b8015611031575080155b156110e1577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c6674600687878581811061106c5761106b611cda565b5b905060200281019061107e9190611efe565b805f019061108c9190611d13565b89898781811061109f5761109e611cda565b5b90506020028101906110b19190611efe565b60200160208101906110c39190611f4f565b6040516110d39493929190611f7a565b60405180910390a150611495565b80801561112257508585838181106110fc576110fb611cda565b5b905060200281019061110e9190611efe565b60400160208101906111209190611fe2565b155b156111d2577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c6674600487878581811061115d5761115c611cda565b5b905060200281019061116f9190611efe565b805f019061117d9190611d13565b8989878181106111905761118f611cda565b5b90506020028101906111a29190611efe565b60200160208101906111b49190611f4f565b6040516111c49493929190611f7a565b60405180910390a150611495565b6501dcd650000067ffffffffffffffff168686848181106111f6576111f5611cda565b5b90506020028101906112089190611efe565b602001602081019061121a9190611f4f565b67ffffffffffffffff1611156112d5577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c667460058787858181106112605761125f611cda565b5b90506020028101906112729190611efe565b805f01906112809190611d13565b89898781811061129357611292611cda565b5b90506020028101906112a59190611efe565b60200160208101906112b79190611f4f565b6040516112c79493929190611f7a565b60405180910390a150611495565b5f8686848181106112e9576112e8611cda565b5b90506020028101906112fb9190611efe565b805f01906113099190611d13565b88888681811061131c5761131b611cda565b5b905060200281019061132e9190611efe565b60200160208101906113409190611f4f565b60405160200161135293929190612041565b60405160208183030381529060405290505f710961ef480eb55e80d19ad83579a64c00700273ffffffffffffffffffffffffffffffffffffffff16858360405161139c9190611eb8565b5f6040518083038185875af1925050503d805f81146113d6576040519150601f19603f3d011682016040523d82523d5f602084013e6113db565b606091505b5050905080611491577f7e7758d91e404454da25efdf35ffa0c1a130edf01e83197671cf71c8ce1c6674600189898781811061141a57611419611cda565b5b905060200281019061142c9190611efe565b805f019061143a9190611d13565b8b8b8981811061144d5761144c611cda565b5b905060200281019061145f9190611efe565b60200160208101906114719190611f4f565b6040516114819493929190611f7a565b60405180910390a1505050611495565b5050505b806001019050610ebd565b5050505050565b5f5ffd5b5f5ffd5b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b6114e3816114af565b81146114ed575f5ffd5b50565b5f813590506114fe816114da565b92915050565b5f60208284031215611519576115186114a7565b5b5f611526848285016114f0565b91505092915050565b5f8115159050919050565b6115438161152f565b82525050565b5f60208201905061155c5f83018461153a565b92915050565b5f819050919050565b61157481611562565b82525050565b5f60208201905061158d5f83018461156b565b92915050565b5f67ffffffffffffffff82169050919050565b6115af81611593565b82525050565b5f6020820190506115c85f8301846115a6565b92915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6115f7826115ce565b9050919050565b611607816115ed565b82525050565b5f6020820190506116205f8301846115fe565b92915050565b61162f816115ed565b8114611639575f5ffd5b50565b5f8135905061164a81611626565b92915050565b61165981611562565b8114611663575f5ffd5b50565b5f8135905061167481611650565b92915050565b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83601f84011261169b5761169a61167a565b5b8235905067ffffffffffffffff8111156116b8576116b761167e565b5b6020830191508360018202830111156116d4576116d3611682565b5b9250929050565b5f5f5f5f5f608086880312156116f4576116f36114a7565b5b5f6117018882890161163c565b95505060206117128882890161163c565b945050604061172388828901611666565b935050606086013567ffffffffffffffff811115611744576117436114ab565b5b61175088828901611686565b92509250509295509295909350565b611768816114af565b82525050565b5f6020820190506117815f83018461175f565b92915050565b5f5f83601f84011261179c5761179b61167a565b5b8235905067ffffffffffffffff8111156117b9576117b861167e565b5b6020830191508360208202830111156117d5576117d4611682565b5b9250929050565b5f5f5f5f604085870312156117f4576117f36114a7565b5b5f85013567ffffffffffffffff811115611811576118106114ab565b5b61181d87828801611787565b9450945050602085013567ffffffffffffffff8111156118405761183f6114ab565b5b61184c87828801611686565b925092505092959194509250565b5f5f83601f84011261186f5761186e61167a565b5b8235905067ffffffffffffffff81111561188c5761188b61167e565b5b6020830191508360208202830111156118a8576118a7611682565b5b9250929050565b5f5f5f5f5f5f5f5f60a0898b0312156118cb576118ca6114a7565b5b5f6118d88b828c0161163c565b98505060206118e98b828c0161163c565b975050604089013567ffffffffffffffff81111561190a576119096114ab565b5b6119168b828c0161185a565b9650965050606089013567ffffffffffffffff811115611939576119386114ab565b5b6119458b828c0161185a565b9450945050608089013567ffffffffffffffff811115611968576119676114ab565b5b6119748b828c01611686565b92509250509295985092959890939650565b5f5f5f5f5f5f60a087890312156119a05761199f6114a7565b5b5f6119ad89828a0161163c565b96505060206119be89828a0161163c565b95505060406119cf89828a01611666565b94505060606119e089828a01611666565b935050608087013567ffffffffffffffff811115611a0157611a006114ab565b5b611a0d89828a01611686565b92509250509295509295509295565b5f5f60208385031215611a3257611a316114a7565b5b5f83013567ffffffffffffffff811115611a4f57611a4e6114ab565b5b611a5b85828601611787565b92509250509250929050565b5f5f83601f840112611a7c57611a7b61167a565b5b8235905067ffffffffffffffff811115611a9957611a9861167e565b5b602083019150836020820283011115611ab557611ab4611682565b5b9250929050565b5f5f60208385031215611ad257611ad16114a7565b5b5f83013567ffffffffffffffff811115611aef57611aee6114ab565b5b611afb85828601611a67565b92509250509250929050565b5f81905092915050565b50565b5f611b1f5f83611b07565b9150611b2a82611b11565b5f82019050919050565b5f611b3e82611b14565b9150819050919050565b5f81519050919050565b5f819050602082019050919050565b5f819050919050565b5f611b758251611b61565b80915050919050565b5f82821b905092915050565b5f611b9482611b48565b82611b9e84611b52565b9050611ba981611b6a565b92506020821015611be957611be47fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83602003600802611b7e565b831692505b5050919050565b5f82825260208201905092915050565b828183375f83830152505050565b5f601f19601f8301169050919050565b5f611c298385611bf0565b9350611c36838584611c00565b611c3f83611c0e565b840190509392505050565b5f6020820190508181035f830152611c63818486611c1e565b90509392505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611ca382611562565b9150611cae83611562565b9250828202611cbc81611562565b91508282048414831517611cd357611cd2611c6c565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83356001602003843603038112611d2f57611d2e611d07565b5b80840192508235915067ffffffffffffffff821115611d5157611d50611d0b565b5b602083019250600182023603831315611d6d57611d6c611d0f565b5b509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b60078110611db357611db2611d75565b5b50565b5f819050611dc382611da2565b919050565b5f611dd282611db6565b9050919050565b611de281611dc8565b82525050565b5f606082019050611dfb5f830188611dd9565b8181036020830152611e0e818688611c1e565b90508181036040830152611e23818486611c1e565b90509695505050505050565b5f611e3a8385611b07565b9350611e47838584611c00565b82840190509392505050565b5f611e5f828688611e2f565b9150611e6c828486611e2f565b915081905095945050505050565b8281835e5f83830152505050565b5f611e9282611b48565b611e9c8185611b07565b9350611eac818560208601611e7a565b80840191505092915050565b5f611ec38284611e88565b915081905092915050565b5f604082019050611ee15f830186611dd9565b8181036020830152611ef4818486611c1e565b9050949350505050565b5f82356001606003833603038112611f1957611f18611d07565b5b80830191505092915050565b611f2e81611593565b8114611f38575f5ffd5b50565b5f81359050611f4981611f25565b92915050565b5f60208284031215611f6457611f636114a7565b5b5f611f7184828501611f3b565b91505092915050565b5f606082019050611f8d5f830187611dd9565b8181036020830152611fa0818587611c1e565b9050611faf60408301846115a6565b95945050505050565b611fc18161152f565b8114611fcb575f5ffd5b50565b5f81359050611fdc81611fb8565b92915050565b5f60208284031215611ff757611ff66114a7565b5b5f61200484828501611fce565b91505092915050565b5f8160c01b9050919050565b5f6120238261200d565b9050919050565b61203b61203682611593565b612019565b82525050565b5f61204d828587611e2f565b9150612059828461202a565b60088201915081905094935050505056fea26469706673582212203545916e9481ea1821a57a47bcf37ed5e7bab3e7e773a880de0f2652878ea81164736f6c634300081c0033

5922:8399:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8482:254;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9510:236;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7046:60;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5991:88;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8744:165;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6673:50;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6294:52;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6548:42;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6814:44;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6914:39;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9980:1306;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;9142:249;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6427:41;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9754:218;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6086:79;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8917:217;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11294:989;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;12567:1751;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8482:254;8559:4;7204:10;8598:20;;8583:35;;;:11;:35;;;;:83;;;;7277:10;8637:29;;8622:44;;;:11;:44;;;;8583:83;:145;;;;7351:10;8698:30;;8683:45;;;:11;:45;;;;8583:145;8576:152;;8482:254;;;:::o;9510:236::-;9562:11;9587;9600:20;6037:42;9624:30;;:34;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9586:72;;;;9674:6;9669:27;;6948:5;9682:14;;;;;;9669:27;9729:7;9721:16;;;:::i;:::-;9713:25;;9707:31;;9575:171;;9510:236;;:::o;7046:60::-;7093:13;7046:60;:::o;5991:88::-;6037:42;5991:88;:::o;8744:165::-;8845:6;8871:30;;;8864:37;;8744:165;;;;;;;:::o;6673:50::-;6721:2;6673:50;:::o;6294:52::-;6344:2;6294:52;:::o;6548:42::-;6589:1;6548:42;:::o;6814:44::-;6855:3;6814:44;:::o;6914:39::-;6948:5;6914:39;:::o;9980:1306::-;9460:4;9438:27;;:10;:27;;;9430:52;;;;;;;;;;;;;;;;;10138:17:::1;10158:13;;:20;;10138:40;;6589:1;10197:9;:27;;10189:64;;;;;;;;;;;;;;;;;6721:2;10272:9;:34;;10264:70;;;;;;;;;;;;;;;;;6344:2;10349:12;;:19;;:46;10345:125;;10445:12;;10419:39;;;;;;;;;;;;:::i;:::-;;;;;;;;10345:125;10482:24;10509:21;:19;:21::i;:::-;10482:48;;10574:16;10562:9;:28;;;;:::i;:::-;10549:9;:41;;10541:81;;;;;;;;;;;;;;;;;10640:9;10652:1;10640:13;;10635:644;10659:9;10655:1;:13;10635:644;;;6344:2;10694:13;;10708:1;10694:16;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:23;;:50;10690:211;;10770:88;10790:35;10827:13;;10841:1;10827:16;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;10845:12;;10770:88;;;;;;;;;;:::i;:::-;;;;;;;;10877:8;;10690:211;10917:25;10962:13;;10976:1;10962:16;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;10980:12;;10945:48;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;10917:76;;11009:12;6037:42;11026:24;;11058:16;11076:12;11026:63;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11008:81;;;11109:7;11104:164;;11142:83;11162:30;11194:13;;11208:1;11194:16;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;11212:12;;11142:83;;;;;;;;;;:::i;:::-;;;;;;;;11244:8;;;;11104:164;10675:604;;10635:644;10670:3;;;;;10635:644;;;;10127:1159;;9980:1306:::0;;;;:::o;9142:249::-;9316:6;9347:36;;;9340:43;;9142:249;;;;;;;;;;:::o;6427:41::-;6467:1;6427:41;:::o;9754:218::-;9797:11;9822;9835:20;6123:42;9859:21;;:25;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9821:63;;;;9900:6;9895:27;;6948:5;9908:14;;;;;;9895:27;9955:7;9947:16;;;:::i;:::-;9939:25;;9933:31;;9810:162;;9754:218;;:::o;6086:79::-;6123:42;6086:79;:::o;8917:217::-;9064:6;9095:31;;;9088:38;;8917:217;;;;;;;;:::o;11294:989::-;9460:4;9438:27;;:10;:27;;;9430:52;;;;;;;;;;;;;;;;;11378:17:::1;11398:7;;:14;;11378:34;;6589:1;11431:9;:27;;11423:64;;;;;;;;;;;;;;;;;6855:3;11506:9;:27;;11498:57;;;;;;;;;;;;;;;;;11568:17;11588:21;:19;:21::i;:::-;11568:41;;11653:9;11641;:21;;;;:::i;:::-;11628:9;:34;;11620:74;;;;;;;;;;;;;;;;;11712:9;11724:1;11712:13;;11707:569;11731:9;11727:1;:13;11707:569;;;6344:2;11766:7;;11774:1;11766:10;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:17;;:44;11762:178;;11836:61;11849:35;11886:7;;11894:1;11886:10;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;11836:61;;;;;;;;:::i;:::-;;;;;;;;11916:8;;11762:178;11956:25;12001:7;;12009:1;12001:10;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;12013:7;;12021:1;12013:10;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;11984:40;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;11956:68;;12040:12;6037:42;12057:24;;12089:9;12100:12;12057:56;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12039:74;;;12133:7;12128:137;;12166:56;12179:30;12211:7;;12219:1;12211:10;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;12166:56;;;;;;;;:::i;:::-;;;;;;;;12241:8;;;;12128:137;11747:529;;11707:569;11742:3;;;;;11707:569;;;;11367:916;;11294:989:::0;;:::o;12567:1751::-;9460:4;9438:27;;:10;:27;;;9430:52;;;;;;;;;;;;;;;;;12651:17:::1;12671:4;;:11;;12651:31;;6589:1;12701:9;:27;;12693:64;;;;;;;;;;;;;;;;;6855:3;12776:9;:27;;12768:57;;;;;;;;;;;;;;;;;12838:15;12856:12;:10;:12::i;:::-;12838:30;;12912:7;12900:9;:19;;;;:::i;:::-;12887:9;:32;;12879:72;;;;;;;;;;;;;;;;;12969:9;12981:1;12969:13;;12964:1347;12988:9;12984:1;:13;12964:1347;;;6344:2;13023:4;;13028:1;13023:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;:::i;:::-;:21;;:48;13019:214;;13097:93;13122:35;13159:4;;13164:1;13159:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;:::i;:::-;13175:4;;13180:1;13175:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;;;:::i;:::-;13097:93;;;;;;;;;:::i;:::-;;;;;;;;13209:8;;13019:214;13249:17;13287:1;13269:4;;13274:1;13269:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;;;:::i;:::-;:19;;;13249:39;;13309:4;;13314:1;13309:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:18;;;;;;;;;;:::i;:::-;:35;;;;;13332:12;13331:13;13309:35;13305:201;;;13370:93;13395:35;13432:4;;13437:1;13432:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;:::i;:::-;13448:4;;13453:1;13448:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;;;:::i;:::-;13370:93;;;;;;;;;:::i;:::-;;;;;;;;13482:8;;;13305:201;13526:12;:35;;;;;13543:4;;13548:1;13543:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:18;;;;;;;;;;:::i;:::-;13542:19;13526:35;13522:203;;;13587:95;13612:37;13651:4;;13656:1;13651:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;:::i;:::-;13667:4;;13672:1;13667:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;;;:::i;:::-;13587:95;;;;;;;;;:::i;:::-;;;;;;;;13701:8;;;13522:203;7093:13;13745:38;;:4;;13750:1;13745:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;;;:::i;:::-;:38;;;13741:205;;;13809:94;13834:36;13872:4;;13877:1;13872:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;:::i;:::-;13888:4;;13893:1;13888:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;;;:::i;:::-;13809:94;;;;;;;;;:::i;:::-;;;;;;;;13922:8;;;13741:205;13962:25;14007:4;;14012:1;14007:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;:::i;:::-;14023:4;;14028:1;14023:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;;;:::i;:::-;13990:48;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;13962:76;;14054:12;6123:42;14071:15;;14094:7;14103:12;14071:45;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14053:63;;;14136:7;14131:169;;14169:88;14194:30;14226:4;;14231:1;14226:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;:::i;:::-;14242:4;;14247:1;14242:7;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;:14;;;;;;;;;;:::i;:::-;14169:88;;;;;;;;;:::i;:::-;;;;;;;;14276:8;;;;;14131:169;13004:1307;;;12964:1347;12999:3;;;;;12964:1347;;;;12640:1678;;12567:1751:::0;;:::o;88:117:1:-;197:1;194;187:12;211:117;320:1;317;310:12;334:149;370:7;410:66;403:5;399:78;388:89;;334:149;;;:::o;489:120::-;561:23;578:5;561:23;:::i;:::-;554:5;551:34;541:62;;599:1;596;589:12;541:62;489:120;:::o;615:137::-;660:5;698:6;685:20;676:29;;714:32;740:5;714:32;:::i;:::-;615:137;;;;:::o;758:327::-;816:6;865:2;853:9;844:7;840:23;836:32;833:119;;;871:79;;:::i;:::-;833:119;991:1;1016:52;1060:7;1051:6;1040:9;1036:22;1016:52;:::i;:::-;1006:62;;962:116;758:327;;;;:::o;1091:90::-;1125:7;1168:5;1161:13;1154:21;1143:32;;1091:90;;;:::o;1187:109::-;1268:21;1283:5;1268:21;:::i;:::-;1263:3;1256:34;1187:109;;:::o;1302:210::-;1389:4;1427:2;1416:9;1412:18;1404:26;;1440:65;1502:1;1491:9;1487:17;1478:6;1440:65;:::i;:::-;1302:210;;;;:::o;1518:77::-;1555:7;1584:5;1573:16;;1518:77;;;:::o;1601:118::-;1688:24;1706:5;1688:24;:::i;:::-;1683:3;1676:37;1601:118;;:::o;1725:222::-;1818:4;1856:2;1845:9;1841:18;1833:26;;1869:71;1937:1;1926:9;1922:17;1913:6;1869:71;:::i;:::-;1725:222;;;;:::o;1953:101::-;1989:7;2029:18;2022:5;2018:30;2007:41;;1953:101;;;:::o;2060:115::-;2145:23;2162:5;2145:23;:::i;:::-;2140:3;2133:36;2060:115;;:::o;2181:218::-;2272:4;2310:2;2299:9;2295:18;2287:26;;2323:69;2389:1;2378:9;2374:17;2365:6;2323:69;:::i;:::-;2181:218;;;;:::o;2405:126::-;2442:7;2482:42;2475:5;2471:54;2460:65;;2405:126;;;:::o;2537:96::-;2574:7;2603:24;2621:5;2603:24;:::i;:::-;2592:35;;2537:96;;;:::o;2639:118::-;2726:24;2744:5;2726:24;:::i;:::-;2721:3;2714:37;2639:118;;:::o;2763:222::-;2856:4;2894:2;2883:9;2879:18;2871:26;;2907:71;2975:1;2964:9;2960:17;2951:6;2907:71;:::i;:::-;2763:222;;;;:::o;2991:122::-;3064:24;3082:5;3064:24;:::i;:::-;3057:5;3054:35;3044:63;;3103:1;3100;3093:12;3044:63;2991:122;:::o;3119:139::-;3165:5;3203:6;3190:20;3181:29;;3219:33;3246:5;3219:33;:::i;:::-;3119:139;;;;:::o;3264:122::-;3337:24;3355:5;3337:24;:::i;:::-;3330:5;3327:35;3317:63;;3376:1;3373;3366:12;3317:63;3264:122;:::o;3392:139::-;3438:5;3476:6;3463:20;3454:29;;3492:33;3519:5;3492:33;:::i;:::-;3392:139;;;;:::o;3537:117::-;3646:1;3643;3636:12;3660:117;3769:1;3766;3759:12;3783:117;3892:1;3889;3882:12;3919:552;3976:8;3986:6;4036:3;4029:4;4021:6;4017:17;4013:27;4003:122;;4044:79;;:::i;:::-;4003:122;4157:6;4144:20;4134:30;;4187:18;4179:6;4176:30;4173:117;;;4209:79;;:::i;:::-;4173:117;4323:4;4315:6;4311:17;4299:29;;4377:3;4369:4;4361:6;4357:17;4347:8;4343:32;4340:41;4337:128;;;4384:79;;:::i;:::-;4337:128;3919:552;;;;;:::o;4477:963::-;4574:6;4582;4590;4598;4606;4655:3;4643:9;4634:7;4630:23;4626:33;4623:120;;;4662:79;;:::i;:::-;4623:120;4782:1;4807:53;4852:7;4843:6;4832:9;4828:22;4807:53;:::i;:::-;4797:63;;4753:117;4909:2;4935:53;4980:7;4971:6;4960:9;4956:22;4935:53;:::i;:::-;4925:63;;4880:118;5037:2;5063:53;5108:7;5099:6;5088:9;5084:22;5063:53;:::i;:::-;5053:63;;5008:118;5193:2;5182:9;5178:18;5165:32;5224:18;5216:6;5213:30;5210:117;;;5246:79;;:::i;:::-;5210:117;5359:64;5415:7;5406:6;5395:9;5391:22;5359:64;:::i;:::-;5341:82;;;;5136:297;4477:963;;;;;;;;:::o;5446:115::-;5531:23;5548:5;5531:23;:::i;:::-;5526:3;5519:36;5446:115;;:::o;5567:218::-;5658:4;5696:2;5685:9;5681:18;5673:26;;5709:69;5775:1;5764:9;5760:17;5751:6;5709:69;:::i;:::-;5567:218;;;;:::o;5806:579::-;5890:8;5900:6;5950:3;5943:4;5935:6;5931:17;5927:27;5917:122;;5958:79;;:::i;:::-;5917:122;6071:6;6058:20;6048:30;;6101:18;6093:6;6090:30;6087:117;;;6123:79;;:::i;:::-;6087:117;6237:4;6229:6;6225:17;6213:29;;6291:3;6283:4;6275:6;6271:17;6261:8;6257:32;6254:41;6251:128;;;6298:79;;:::i;:::-;6251:128;5806:579;;;;;:::o;6391:924::-;6508:6;6516;6524;6532;6581:2;6569:9;6560:7;6556:23;6552:32;6549:119;;;6587:79;;:::i;:::-;6549:119;6735:1;6724:9;6720:17;6707:31;6765:18;6757:6;6754:30;6751:117;;;6787:79;;:::i;:::-;6751:117;6900:91;6983:7;6974:6;6963:9;6959:22;6900:91;:::i;:::-;6882:109;;;;6678:323;7068:2;7057:9;7053:18;7040:32;7099:18;7091:6;7088:30;7085:117;;;7121:79;;:::i;:::-;7085:117;7234:64;7290:7;7281:6;7270:9;7266:22;7234:64;:::i;:::-;7216:82;;;;7011:297;6391:924;;;;;;;:::o;7338:568::-;7411:8;7421:6;7471:3;7464:4;7456:6;7452:17;7448:27;7438:122;;7479:79;;:::i;:::-;7438:122;7592:6;7579:20;7569:30;;7622:18;7614:6;7611:30;7608:117;;;7644:79;;:::i;:::-;7608:117;7758:4;7750:6;7746:17;7734:29;;7812:3;7804:4;7796:6;7792:17;7782:8;7778:32;7775:41;7772:128;;;7819:79;;:::i;:::-;7772:128;7338:568;;;;;:::o;7912:1569::-;8072:6;8080;8088;8096;8104;8112;8120;8128;8177:3;8165:9;8156:7;8152:23;8148:33;8145:120;;;8184:79;;:::i;:::-;8145:120;8304:1;8329:53;8374:7;8365:6;8354:9;8350:22;8329:53;:::i;:::-;8319:63;;8275:117;8431:2;8457:53;8502:7;8493:6;8482:9;8478:22;8457:53;:::i;:::-;8447:63;;8402:118;8587:2;8576:9;8572:18;8559:32;8618:18;8610:6;8607:30;8604:117;;;8640:79;;:::i;:::-;8604:117;8753:80;8825:7;8816:6;8805:9;8801:22;8753:80;:::i;:::-;8735:98;;;;8530:313;8910:2;8899:9;8895:18;8882:32;8941:18;8933:6;8930:30;8927:117;;;8963:79;;:::i;:::-;8927:117;9076:80;9148:7;9139:6;9128:9;9124:22;9076:80;:::i;:::-;9058:98;;;;8853:313;9233:3;9222:9;9218:19;9205:33;9265:18;9257:6;9254:30;9251:117;;;9287:79;;:::i;:::-;9251:117;9400:64;9456:7;9447:6;9436:9;9432:22;9400:64;:::i;:::-;9382:82;;;;9176:298;7912:1569;;;;;;;;;;;:::o;9487:1109::-;9593:6;9601;9609;9617;9625;9633;9682:3;9670:9;9661:7;9657:23;9653:33;9650:120;;;9689:79;;:::i;:::-;9650:120;9809:1;9834:53;9879:7;9870:6;9859:9;9855:22;9834:53;:::i;:::-;9824:63;;9780:117;9936:2;9962:53;10007:7;9998:6;9987:9;9983:22;9962:53;:::i;:::-;9952:63;;9907:118;10064:2;10090:53;10135:7;10126:6;10115:9;10111:22;10090:53;:::i;:::-;10080:63;;10035:118;10192:2;10218:53;10263:7;10254:6;10243:9;10239:22;10218:53;:::i;:::-;10208:63;;10163:118;10348:3;10337:9;10333:19;10320:33;10380:18;10372:6;10369:30;10366:117;;;10402:79;;:::i;:::-;10366:117;10515:64;10571:7;10562:6;10551:9;10547:22;10515:64;:::i;:::-;10497:82;;;;10291:298;9487:1109;;;;;;;;:::o;10602:581::-;10699:6;10707;10756:2;10744:9;10735:7;10731:23;10727:32;10724:119;;;10762:79;;:::i;:::-;10724:119;10910:1;10899:9;10895:17;10882:31;10940:18;10932:6;10929:30;10926:117;;;10962:79;;:::i;:::-;10926:117;11075:91;11158:7;11149:6;11138:9;11134:22;11075:91;:::i;:::-;11057:109;;;;10853:323;10602:581;;;;;:::o;11221:595::-;11321:8;11331:6;11381:3;11374:4;11366:6;11362:17;11358:27;11348:122;;11389:79;;:::i;:::-;11348:122;11502:6;11489:20;11479:30;;11532:18;11524:6;11521:30;11518:117;;;11554:79;;:::i;:::-;11518:117;11668:4;11660:6;11656:17;11644:29;;11722:3;11714:4;11706:6;11702:17;11692:8;11688:32;11685:41;11682:128;;;11729:79;;:::i;:::-;11682:128;11221:595;;;;;:::o;11822:613::-;11935:6;11943;11992:2;11980:9;11971:7;11967:23;11963:32;11960:119;;;11998:79;;:::i;:::-;11960:119;12146:1;12135:9;12131:17;12118:31;12176:18;12168:6;12165:30;12162:117;;;12198:79;;:::i;:::-;12162:117;12311:107;12410:7;12401:6;12390:9;12386:22;12311:107;:::i;:::-;12293:125;;;;12089:339;11822:613;;;;;:::o;12441:147::-;12542:11;12579:3;12564:18;;12441:147;;;;:::o;12594:114::-;;:::o;12714:398::-;12873:3;12894:83;12975:1;12970:3;12894:83;:::i;:::-;12887:90;;12986:93;13075:3;12986:93;:::i;:::-;13104:1;13099:3;13095:11;13088:18;;12714:398;;;:::o;13118:379::-;13302:3;13324:147;13467:3;13324:147;:::i;:::-;13317:154;;13488:3;13481:10;;13118:379;;;:::o;13503:98::-;13554:6;13588:5;13582:12;13572:22;;13503:98;;;:::o;13607:116::-;13658:4;13681:3;13673:11;;13711:4;13706:3;13702:14;13694:22;;13607:116;;;:::o;13729:77::-;13766:7;13795:5;13784:16;;13729:77;;;:::o;13812:154::-;13855:11;13891:29;13915:3;13909:10;13891:29;:::i;:::-;13954:5;13930:29;;13867:99;13812:154;;;:::o;13972:107::-;14016:8;14066:5;14060:4;14056:16;14035:37;;13972:107;;;;:::o;14085:594::-;14169:5;14200:38;14232:5;14200:38;:::i;:::-;14263:5;14290:40;14324:5;14290:40;:::i;:::-;14278:52;;14349:35;14375:8;14349:35;:::i;:::-;14340:44;;14408:2;14400:6;14397:14;14394:278;;;14479:169;14564:66;14534:6;14530:2;14526:15;14523:1;14519:23;14479:169;:::i;:::-;14456:5;14435:227;14426:236;;14394:278;14175:504;;14085:594;;;:::o;14685:168::-;14768:11;14802:6;14797:3;14790:19;14842:4;14837:3;14833:14;14818:29;;14685:168;;;;:::o;14859:148::-;14957:6;14952:3;14947;14934:30;14998:1;14989:6;14984:3;14980:16;14973:27;14859:148;;;:::o;15013:102::-;15054:6;15105:2;15101:7;15096:2;15089:5;15085:14;15081:28;15071:38;;15013:102;;;:::o;15143:314::-;15239:3;15260:70;15323:6;15318:3;15260:70;:::i;:::-;15253:77;;15340:56;15389:6;15384:3;15377:5;15340:56;:::i;:::-;15421:29;15443:6;15421:29;:::i;:::-;15416:3;15412:39;15405:46;;15143:314;;;;;:::o;15463:329::-;15584:4;15622:2;15611:9;15607:18;15599:26;;15671:9;15665:4;15661:20;15657:1;15646:9;15642:17;15635:47;15699:86;15780:4;15771:6;15763;15699:86;:::i;:::-;15691:94;;15463:329;;;;;:::o;15798:180::-;15846:77;15843:1;15836:88;15943:4;15940:1;15933:15;15967:4;15964:1;15957:15;15984:410;16024:7;16047:20;16065:1;16047:20;:::i;:::-;16042:25;;16081:20;16099:1;16081:20;:::i;:::-;16076:25;;16136:1;16133;16129:9;16158:30;16176:11;16158:30;:::i;:::-;16147:41;;16337:1;16328:7;16324:15;16321:1;16318:22;16298:1;16291:9;16271:83;16248:139;;16367:18;;:::i;:::-;16248:139;16032:362;15984:410;;;;:::o;16400:180::-;16448:77;16445:1;16438:88;16545:4;16542:1;16535:15;16569:4;16566:1;16559:15;16586:117;16695:1;16692;16685:12;16709:117;16818:1;16815;16808:12;16832:117;16941:1;16938;16931:12;16955:724;17032:4;17038:6;17094:11;17081:25;17194:1;17188:4;17184:12;17173:8;17157:14;17153:29;17149:48;17129:18;17125:73;17115:168;;17202:79;;:::i;:::-;17115:168;17314:18;17304:8;17300:33;17292:41;;17366:4;17353:18;17343:28;;17394:18;17386:6;17383:30;17380:117;;;17416:79;;:::i;:::-;17380:117;17524:2;17518:4;17514:13;17506:21;;17581:4;17573:6;17569:17;17553:14;17549:38;17543:4;17539:49;17536:136;;;17591:79;;:::i;:::-;17536:136;17045:634;16955:724;;;;;:::o;17685:180::-;17733:77;17730:1;17723:88;17830:4;17827:1;17820:15;17854:4;17851:1;17844:15;17871:122;17961:1;17954:5;17951:12;17941:46;;17967:18;;:::i;:::-;17941:46;17871:122;:::o;17999:145::-;18053:7;18082:5;18071:16;;18088:50;18132:5;18088:50;:::i;:::-;17999:145;;;:::o;18150:::-;18215:9;18248:41;18283:5;18248:41;:::i;:::-;18235:54;;18150:145;;;:::o;18301:161::-;18403:52;18449:5;18403:52;:::i;:::-;18398:3;18391:65;18301:161;;:::o;18468:686::-;18688:4;18726:2;18715:9;18711:18;18703:26;;18739:86;18822:1;18811:9;18807:17;18798:6;18739:86;:::i;:::-;18872:9;18866:4;18862:20;18857:2;18846:9;18842:18;18835:48;18900:86;18981:4;18972:6;18964;18900:86;:::i;:::-;18892:94;;19033:9;19027:4;19023:20;19018:2;19007:9;19003:18;18996:48;19061:86;19142:4;19133:6;19125;19061:86;:::i;:::-;19053:94;;18468:686;;;;;;;;:::o;19182:327::-;19296:3;19317:88;19398:6;19393:3;19317:88;:::i;:::-;19310:95;;19415:56;19464:6;19459:3;19452:5;19415:56;:::i;:::-;19496:6;19491:3;19487:16;19480:23;;19182:327;;;;;:::o;19515:467::-;19711:3;19733:103;19832:3;19823:6;19815;19733:103;:::i;:::-;19726:110;;19853:103;19952:3;19943:6;19935;19853:103;:::i;:::-;19846:110;;19973:3;19966:10;;19515:467;;;;;;;:::o;19988:139::-;20077:6;20072:3;20067;20061:23;20118:1;20109:6;20104:3;20100:16;20093:27;19988:139;;;:::o;20133:386::-;20237:3;20265:38;20297:5;20265:38;:::i;:::-;20319:88;20400:6;20395:3;20319:88;:::i;:::-;20312:95;;20416:65;20474:6;20469:3;20462:4;20455:5;20451:16;20416:65;:::i;:::-;20506:6;20501:3;20497:16;20490:23;;20241:278;20133:386;;;;:::o;20525:271::-;20655:3;20677:93;20766:3;20757:6;20677:93;:::i;:::-;20670:100;;20787:3;20780:10;;20525:271;;;;:::o;20802:469::-;20966:4;21004:2;20993:9;20989:18;20981:26;;21017:86;21100:1;21089:9;21085:17;21076:6;21017:86;:::i;:::-;21150:9;21144:4;21140:20;21135:2;21124:9;21120:18;21113:48;21178:86;21259:4;21250:6;21242;21178:86;:::i;:::-;21170:94;;20802:469;;;;;;:::o;21277:393::-;21370:4;21424:11;21411:25;21524:1;21518:4;21514:12;21503:8;21487:14;21483:29;21479:48;21459:18;21455:73;21445:168;;21532:79;;:::i;:::-;21445:168;21644:18;21634:8;21630:33;21622:41;;21375:295;21277:393;;;;:::o;21676:120::-;21748:23;21765:5;21748:23;:::i;:::-;21741:5;21738:34;21728:62;;21786:1;21783;21776:12;21728:62;21676:120;:::o;21802:137::-;21847:5;21885:6;21872:20;21863:29;;21901:32;21927:5;21901:32;:::i;:::-;21802:137;;;;:::o;21945:327::-;22003:6;22052:2;22040:9;22031:7;22027:23;22023:32;22020:119;;;22058:79;;:::i;:::-;22020:119;22178:1;22203:52;22247:7;22238:6;22227:9;22223:22;22203:52;:::i;:::-;22193:62;;22149:116;21945:327;;;;:::o;22278:575::-;22468:4;22506:2;22495:9;22491:18;22483:26;;22519:86;22602:1;22591:9;22587:17;22578:6;22519:86;:::i;:::-;22652:9;22646:4;22642:20;22637:2;22626:9;22622:18;22615:48;22680:86;22761:4;22752:6;22744;22680:86;:::i;:::-;22672:94;;22776:70;22842:2;22831:9;22827:18;22818:6;22776:70;:::i;:::-;22278:575;;;;;;;:::o;22859:116::-;22929:21;22944:5;22929:21;:::i;:::-;22922:5;22919:32;22909:60;;22965:1;22962;22955:12;22909:60;22859:116;:::o;22981:133::-;23024:5;23062:6;23049:20;23040:29;;23078:30;23102:5;23078:30;:::i;:::-;22981:133;;;;:::o;23120:323::-;23176:6;23225:2;23213:9;23204:7;23200:23;23196:32;23193:119;;;23231:79;;:::i;:::-;23193:119;23351:1;23376:50;23418:7;23409:6;23398:9;23394:22;23376:50;:::i;:::-;23366:60;;23322:114;23120:323;;;;:::o;23449:96::-;23483:8;23532:5;23527:3;23523:15;23502:36;;23449:96;;;:::o;23551:94::-;23589:7;23618:21;23633:5;23618:21;:::i;:::-;23607:32;;23551:94;;;:::o;23651:153::-;23754:43;23773:23;23790:5;23773:23;:::i;:::-;23754:43;:::i;:::-;23749:3;23742:56;23651:153;;:::o;23810:427::-;23976:3;23998:103;24097:3;24088:6;24080;23998:103;:::i;:::-;23991:110;;24111:73;24180:3;24171:6;24111:73;:::i;:::-;24209:1;24204:3;24200:11;24193:18;;24228:3;24221:10;;23810:427;;;;;;:::o

ipfs://3545916e9481ea1821a57a47bcf37ed5e7bab3e7e773a880de0f2652878ea811