Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IKEY3
•    - function setRecord(
•    - function setSubnodeRecord(
•    - function setSubnodeOwner(
•    - function setResolver(bytes32 node, ad ...
•    - function setOwner(bytes32 node, addre ...
•    - function setTTL(bytes32 node, uint64 ...
•    - function setApprovalForAll(address op ...
•    - function owner(bytes32 node)
•    - function resolver(bytes32 node)
•    - function ttl(bytes32 node)
•    - function recordExists(bytes32 node)
•    - function isApprovedForAll(address own ...
•  contract KEY3Registry is IKEY3 *
•    - function setRecord(
•    - function setSubnodeRecord(
•    - function setOwner(bytes32 node_, addr ...
•    - function setSubnodeOwner(
•    - function setResolver(bytes32 node_, a ...
•    - function setTTL(bytes32 node_, uint64 ...
•    - function setApprovalForAll(address op ...
•    - function owner(bytes32 node_)
•    - function resolver(bytes32 node_)
•    - function ttl(bytes32 node_)
•    - function recordExists(bytes32 node_)
•    - function isApprovedForAll(address own ...
•    - function _setOwner(bytes32 node_, add ...
•    - function _setResolverAndTTL(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-12-12
*/

// File: IKEY3.sol


pragma solidity ^0.8.9;

interface IKEY3 {
    // Logged when the owner of a node assigns a new owner to a subnode.
    event NewOwner(bytes32 indexed node, bytes32 indexed label, address owner);

    // Logged when the owner of a node transfers ownership to a new account.
    event Transfer(bytes32 indexed node, address owner);

    // Logged when the resolver for a node changes.
    event NewResolver(bytes32 indexed node, address resolver);

    // Logged when the TTL of a node changes
    event NewTTL(bytes32 indexed node, uint64 ttl);

    // Logged when an operator is added or removed.
    event ApprovalForAll(
        address indexed owner,
        address indexed operator,
        bool approved
    );

    function setRecord(
        bytes32 node,
        address owner,
        address resolver,
        uint64 ttl
    ) external;

    function setSubnodeRecord(
        bytes32 node,
        bytes32 label,
        address owner,
        address resolver,
        uint64 ttl
    ) external;

    function setSubnodeOwner(
        bytes32 node,
        bytes32 label,
        address owner
    ) external returns (bytes32);

    function setResolver(bytes32 node, address resolver) external;

    function setOwner(bytes32 node, address owner) external;

    function setTTL(bytes32 node, uint64 ttl) external;

    function setApprovalForAll(address operator, bool approved) external;

    function owner(bytes32 node) external view returns (address);

    function resolver(bytes32 node) external view returns (address);

    function ttl(bytes32 node) external view returns (uint64);

    function recordExists(bytes32 node) external view returns (bool);

    function isApprovedForAll(address owner, address operator)
        external
        view
        returns (bool);
}

// File: KEY3Registry.sol


pragma solidity ^0.8.9;


contract KEY3Registry is IKEY3 {
    struct Record {
        address owner;
        address resolver;
        uint64 ttl;
    }

    mapping(bytes32 => Record) records;
    mapping(address => mapping(address => bool)) operators;

    // Permits modifications only by the owner of the specified node.
    modifier authorised(bytes32 node_) {
        address currentOwner = records[node_].owner;
        require(
            currentOwner == msg.sender || operators[currentOwner][msg.sender],
            "you're not the owner of this did"
        );
        _;
    }

    /**
     * @dev Constructs a new KEY3 registrar.
     */
    constructor() {
        records[0x0].owner = msg.sender;
    }

    /**
     * @dev Sets the record for a node.
     * @param node_ The node to update.
     * @param owner_ The address of the new owner.
     * @param resolver_ The address of the resolver.
     * @param ttl_ The TTL in seconds.
     */
    function setRecord(
        bytes32 node_,
        address owner_,
        address resolver_,
        uint64 ttl_
    ) external {
        setOwner(node_, owner_);
        _setResolverAndTTL(node_, resolver_, ttl_);
    }

    /**
     * @dev Sets the record for a subnode.
     * @param node_ The parent node.
     * @param label_ The hash of the label specifying the subnode.
     * @param owner_ The address of the new owner.
     * @param resolver_ The address of the resolver.
     * @param ttl_ The TTL in seconds.
     */
    function setSubnodeRecord(
        bytes32 node_,
        bytes32 label_,
        address owner_,
        address resolver_,
        uint64 ttl_
    ) external {
        bytes32 subnode = setSubnodeOwner(node_, label_, owner_);
        _setResolverAndTTL(subnode, resolver_, ttl_);
    }

    /**
     * @dev Transfers ownership of a node to a new address. May only be called by the current owner of the node.
     * @param node_ The node to transfer ownership of.
     * @param owner_ The address of the new owner.
     */
    function setOwner(bytes32 node_, address owner_) public authorised(node_) {
        _setOwner(node_, owner_);
        emit Transfer(node_, owner_);
    }

    /**
     * @dev Transfers ownership of a subnode keccak256(node, label) to a new address. May only be called by the owner of the parent node.
     * @param node_ The parent node.
     * @param label_ The hash of the label specifying the subnode.
     * @param owner_ The address of the new owner.
     */
    function setSubnodeOwner(
        bytes32 node_,
        bytes32 label_,
        address owner_
    ) public authorised(node_) returns (bytes32) {
        bytes32 subnode = keccak256(abi.encodePacked(node_, label_));
        _setOwner(subnode, owner_);
        emit NewOwner(node_, label_, owner_);
        return subnode;
    }

    /**
     * @dev Sets the resolver address for the specified node.
     * @param node_ The node to update.
     * @param resolver_ The address of the resolver.
     */
    function setResolver(bytes32 node_, address resolver_)
        public
        authorised(node_)
    {
        emit NewResolver(node_, resolver_);
        records[node_].resolver = resolver_;
    }

    /**
     * @dev Sets the TTL for the specified node.
     * @param node_ The node to update.
     * @param ttl_ The TTL in seconds.
     */
    function setTTL(bytes32 node_, uint64 ttl_) public authorised(node_) {
        emit NewTTL(node_, ttl_);
        records[node_].ttl = ttl_;
    }

    /**
     * @dev Enable or disable approval for a third party ("operator") to manage
     *  all of `msg.sender`'s KEY3 records. Emits the ApprovalForAll event.
     * @param operator_ Address to add to the set of authorized operators.
     * @param approved_ True if the operator is approved, false to revoke approval.
     */
    function setApprovalForAll(address operator_, bool approved_) external {
        operators[msg.sender][operator_] = approved_;
        emit ApprovalForAll(msg.sender, operator_, approved_);
    }

    /**
     * @dev Returns the address that owns the specified node.
     * @param node_ The specified node.
     * @return address of the owner.
     */
    function owner(bytes32 node_) public view returns (address) {
        address addr = records[node_].owner;
        if (addr == address(this)) {
            return address(0x0);
        }

        return addr;
    }

    /**
     * @dev Returns the address of the resolver for the specified node.
     * @param node_ The specified node.
     * @return address of the resolver.
     */
    function resolver(bytes32 node_) public view returns (address) {
        return records[node_].resolver;
    }

    /**
     * @dev Returns the TTL of a node, and any records associated with it.
     * @param node_ The specified node.
     * @return ttl of the node.
     */
    function ttl(bytes32 node_) public view returns (uint64) {
        return records[node_].ttl;
    }

    /**
     * @dev Returns whether a record has been imported to the registry.
     * @param node_ The specified node.
     * @return Bool if record exists
     */
    function recordExists(bytes32 node_) public view returns (bool) {
        return records[node_].owner != address(0x0);
    }

    /**
     * @dev Query if an address is an authorized operator for another address.
     * @param owner_ The address that owns the records.
     * @param operator_ The address that acts on behalf of the owner.
     * @return True if `operator` is an approved operator for `owner`, false otherwise.
     */
    function isApprovedForAll(address owner_, address operator_)
        external
        view
        returns (bool)
    {
        return operators[owner_][operator_];
    }

    function _setOwner(bytes32 node_, address owner_) internal {
        records[node_].owner = owner_;
    }

    function _setResolverAndTTL(
        bytes32 node_,
        address resolver_,
        uint64 ttl_
    ) internal {
        if (resolver_ != records[node_].resolver) {
            records[node_].resolver = resolver_;
            emit NewResolver(node_, resolver_);
        }

        if (ttl_ != records[node_].ttl) {
            records[node_].ttl = ttl_;
            emit NewTTL(node_, ttl_);
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"approved","type":"bool"}],"name":"ApprovalForAll","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"node","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"label","type":"bytes32"},{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"NewOwner","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"node","type":"bytes32"},{"indexed":false,"internalType":"address","name":"resolver","type":"address"}],"name":"NewResolver","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"node","type":"bytes32"},{"indexed":false,"internalType":"uint64","name":"ttl","type":"uint64"}],"name":"NewTTL","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"node","type":"bytes32"},{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner_","type":"address"},{"internalType":"address","name":"operator_","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"}],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"}],"name":"recordExists","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"}],"name":"resolver","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"operator_","type":"address"},{"internalType":"bool","name":"approved_","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"},{"internalType":"address","name":"owner_","type":"address"}],"name":"setOwner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"},{"internalType":"address","name":"owner_","type":"address"},{"internalType":"address","name":"resolver_","type":"address"},{"internalType":"uint64","name":"ttl_","type":"uint64"}],"name":"setRecord","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"},{"internalType":"address","name":"resolver_","type":"address"}],"name":"setResolver","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"},{"internalType":"bytes32","name":"label_","type":"bytes32"},{"internalType":"address","name":"owner_","type":"address"}],"name":"setSubnodeOwner","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"},{"internalType":"bytes32","name":"label_","type":"bytes32"},{"internalType":"address","name":"owner_","type":"address"},{"internalType":"address","name":"resolver_","type":"address"},{"internalType":"uint64","name":"ttl_","type":"uint64"}],"name":"setSubnodeRecord","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"},{"internalType":"uint64","name":"ttl_","type":"uint64"}],"name":"setTTL","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"node_","type":"bytes32"}],"name":"ttl","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b50336000808060001b815260200190815260200160002060000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611392806100776000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c80635b0fc9c3116100715780635b0fc9c3146101b15780635ef2c7f0146101cd578063a22cb465146101e9578063cf40882314610205578063e985e9c514610221578063f79fe53814610251576100b4565b80630178b8bf146100b957806302571be3146100e957806306ab59231461011957806314ab90381461014957806316a25cbd146101655780631896f70a14610195575b600080fd5b6100d360048036038101906100ce9190610eb2565b610281565b6040516100e09190610f20565b60405180910390f35b61010360048036038101906100fe9190610eb2565b6102c0565b6040516101109190610f20565b60405180910390f35b610133600480360381019061012e9190610f67565b610342565b6040516101409190610fc9565b60405180910390f35b610163600480360381019061015e9190611024565b6104fb565b005b61017f600480360381019061017a9190610eb2565b6106af565b60405161018c9190611073565b60405180910390f35b6101af60048036038101906101aa919061108e565b6106e2565b005b6101cb60048036038101906101c6919061108e565b6108ae565b005b6101e760048036038101906101e291906110ce565b610a30565b005b61020360048036038101906101fe9190611181565b610a52565b005b61021f600480360381019061021a91906111c1565b610b4f565b005b61023b60048036038101906102369190611228565b610b6a565b6040516102489190611277565b60405180910390f35b61026b60048036038101906102669190610eb2565b610bfe565b6040516102789190611277565b60405180910390f35b600080600083815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b60008060008084815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361033857600091505061033d565b809150505b919050565b600083600080600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16148061043f5750600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b61047e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610475906112ef565b60405180910390fd5b60008686604051602001610493929190611330565b6040516020818303038152906040528051906020012090506104b58186610c6c565b85877fce0457fe73731f824cc272376169235128c118b49d344817417c6d108d155e82876040516104e69190610f20565b60405180910390a38093505050509392505050565b81600080600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614806105f65750600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b610635576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161062c906112ef565b60405180910390fd5b837f1d4f9bbfc9cab89d66e1a1562f2233ccbf1308cb4f63de2ead5787adddb8fa68846040516106659190611073565b60405180910390a28260008086815260200190815260200160002060010160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555050505050565b600080600083815260200190815260200160002060010160149054906101000a900467ffffffffffffffff169050919050565b81600080600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614806107dd5750600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b61081c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610813906112ef565b60405180910390fd5b837f335721b01866dc23fbee8b6b2c7b1e14d6f05c28cd35a2c934239f94095602a08460405161084c9190610f20565b60405180910390a28260008086815260200190815260200160002060010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b81600080600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614806109a95750600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b6109e8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109df906112ef565b60405180910390fd5b6109f28484610c6c565b837fd4735d920b0f87494915f556dd9b54c8f309026070caea5c737245152564d26684604051610a229190610f20565b60405180910390a250505050565b6000610a3d868686610342565b9050610a4a818484610cc4565b505050505050565b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051610b439190611277565b60405180910390a35050565b610b5984846108ae565b610b64848383610cc4565b50505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff1660008084815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b8060008084815260200190815260200160002060000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b60008084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614610db9578160008085815260200190815260200160002060010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550827f335721b01866dc23fbee8b6b2c7b1e14d6f05c28cd35a2c934239f94095602a083604051610db09190610f20565b60405180910390a25b60008084815260200190815260200160002060010160149054906101000a900467ffffffffffffffff1667ffffffffffffffff168167ffffffffffffffff1614610e72578060008085815260200190815260200160002060010160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550827f1d4f9bbfc9cab89d66e1a1562f2233ccbf1308cb4f63de2ead5787adddb8fa6882604051610e699190611073565b60405180910390a25b505050565b600080fd5b6000819050919050565b610e8f81610e7c565b8114610e9a57600080fd5b50565b600081359050610eac81610e86565b92915050565b600060208284031215610ec857610ec7610e77565b5b6000610ed684828501610e9d565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610f0a82610edf565b9050919050565b610f1a81610eff565b82525050565b6000602082019050610f356000830184610f11565b92915050565b610f4481610eff565b8114610f4f57600080fd5b50565b600081359050610f6181610f3b565b92915050565b600080600060608486031215610f8057610f7f610e77565b5b6000610f8e86828701610e9d565b9350506020610f9f86828701610e9d565b9250506040610fb086828701610f52565b9150509250925092565b610fc381610e7c565b82525050565b6000602082019050610fde6000830184610fba565b92915050565b600067ffffffffffffffff82169050919050565b61100181610fe4565b811461100c57600080fd5b50565b60008135905061101e81610ff8565b92915050565b6000806040838503121561103b5761103a610e77565b5b600061104985828601610e9d565b925050602061105a8582860161100f565b9150509250929050565b61106d81610fe4565b82525050565b60006020820190506110886000830184611064565b92915050565b600080604083850312156110a5576110a4610e77565b5b60006110b385828601610e9d565b92505060206110c485828601610f52565b9150509250929050565b600080600080600060a086880312156110ea576110e9610e77565b5b60006110f888828901610e9d565b955050602061110988828901610e9d565b945050604061111a88828901610f52565b935050606061112b88828901610f52565b925050608061113c8882890161100f565b9150509295509295909350565b60008115159050919050565b61115e81611149565b811461116957600080fd5b50565b60008135905061117b81611155565b92915050565b6000806040838503121561119857611197610e77565b5b60006111a685828601610f52565b92505060206111b78582860161116c565b9150509250929050565b600080600080608085870312156111db576111da610e77565b5b60006111e987828801610e9d565b94505060206111fa87828801610f52565b935050604061120b87828801610f52565b925050606061121c8782880161100f565b91505092959194509250565b6000806040838503121561123f5761123e610e77565b5b600061124d85828601610f52565b925050602061125e85828601610f52565b9150509250929050565b61127181611149565b82525050565b600060208201905061128c6000830184611268565b92915050565b600082825260208201905092915050565b7f796f75277265206e6f7420746865206f776e6572206f66207468697320646964600082015250565b60006112d9602083611292565b91506112e4826112a3565b602082019050919050565b60006020820190508181036000830152611308816112cc565b9050919050565b6000819050919050565b61132a61132582610e7c565b61130f565b82525050565b600061133c8285611319565b60208201915061134c8284611319565b602082019150819050939250505056fea2646970667358221220c1b6cca8f97d8a0265e0aecc3d85499d0b08bc21b591bf2576e84ba14157a97764736f6c63430008110033

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c80635b0fc9c3116100715780635b0fc9c3146101b15780635ef2c7f0146101cd578063a22cb465146101e9578063cf40882314610205578063e985e9c514610221578063f79fe53814610251576100b4565b80630178b8bf146100b957806302571be3146100e957806306ab59231461011957806314ab90381461014957806316a25cbd146101655780631896f70a14610195575b600080fd5b6100d360048036038101906100ce9190610eb2565b610281565b6040516100e09190610f20565b60405180910390f35b61010360048036038101906100fe9190610eb2565b6102c0565b6040516101109190610f20565b60405180910390f35b610133600480360381019061012e9190610f67565b610342565b6040516101409190610fc9565b60405180910390f35b610163600480360381019061015e9190611024565b6104fb565b005b61017f600480360381019061017a9190610eb2565b6106af565b60405161018c9190611073565b60405180910390f35b6101af60048036038101906101aa919061108e565b6106e2565b005b6101cb60048036038101906101c6919061108e565b6108ae565b005b6101e760048036038101906101e291906110ce565b610a30565b005b61020360048036038101906101fe9190611181565b610a52565b005b61021f600480360381019061021a91906111c1565b610b4f565b005b61023b60048036038101906102369190611228565b610b6a565b6040516102489190611277565b60405180910390f35b61026b60048036038101906102669190610eb2565b610bfe565b6040516102789190611277565b60405180910390f35b600080600083815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b60008060008084815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361033857600091505061033d565b809150505b919050565b600083600080600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16148061043f5750600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b61047e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610475906112ef565b60405180910390fd5b60008686604051602001610493929190611330565b6040516020818303038152906040528051906020012090506104b58186610c6c565b85877fce0457fe73731f824cc272376169235128c118b49d344817417c6d108d155e82876040516104e69190610f20565b60405180910390a38093505050509392505050565b81600080600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614806105f65750600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b610635576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161062c906112ef565b60405180910390fd5b837f1d4f9bbfc9cab89d66e1a1562f2233ccbf1308cb4f63de2ead5787adddb8fa68846040516106659190611073565b60405180910390a28260008086815260200190815260200160002060010160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555050505050565b600080600083815260200190815260200160002060010160149054906101000a900467ffffffffffffffff169050919050565b81600080600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614806107dd5750600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b61081c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610813906112ef565b60405180910390fd5b837f335721b01866dc23fbee8b6b2c7b1e14d6f05c28cd35a2c934239f94095602a08460405161084c9190610f20565b60405180910390a28260008086815260200190815260200160002060010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b81600080600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690503373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614806109a95750600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b6109e8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109df906112ef565b60405180910390fd5b6109f28484610c6c565b837fd4735d920b0f87494915f556dd9b54c8f309026070caea5c737245152564d26684604051610a229190610f20565b60405180910390a250505050565b6000610a3d868686610342565b9050610a4a818484610cc4565b505050505050565b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051610b439190611277565b60405180910390a35050565b610b5984846108ae565b610b64848383610cc4565b50505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff1660008084815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b8060008084815260200190815260200160002060000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b60008084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614610db9578160008085815260200190815260200160002060010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550827f335721b01866dc23fbee8b6b2c7b1e14d6f05c28cd35a2c934239f94095602a083604051610db09190610f20565b60405180910390a25b60008084815260200190815260200160002060010160149054906101000a900467ffffffffffffffff1667ffffffffffffffff168167ffffffffffffffff1614610e72578060008085815260200190815260200160002060010160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550827f1d4f9bbfc9cab89d66e1a1562f2233ccbf1308cb4f63de2ead5787adddb8fa6882604051610e699190611073565b60405180910390a25b505050565b600080fd5b6000819050919050565b610e8f81610e7c565b8114610e9a57600080fd5b50565b600081359050610eac81610e86565b92915050565b600060208284031215610ec857610ec7610e77565b5b6000610ed684828501610e9d565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610f0a82610edf565b9050919050565b610f1a81610eff565b82525050565b6000602082019050610f356000830184610f11565b92915050565b610f4481610eff565b8114610f4f57600080fd5b50565b600081359050610f6181610f3b565b92915050565b600080600060608486031215610f8057610f7f610e77565b5b6000610f8e86828701610e9d565b9350506020610f9f86828701610e9d565b9250506040610fb086828701610f52565b9150509250925092565b610fc381610e7c565b82525050565b6000602082019050610fde6000830184610fba565b92915050565b600067ffffffffffffffff82169050919050565b61100181610fe4565b811461100c57600080fd5b50565b60008135905061101e81610ff8565b92915050565b6000806040838503121561103b5761103a610e77565b5b600061104985828601610e9d565b925050602061105a8582860161100f565b9150509250929050565b61106d81610fe4565b82525050565b60006020820190506110886000830184611064565b92915050565b600080604083850312156110a5576110a4610e77565b5b60006110b385828601610e9d565b92505060206110c485828601610f52565b9150509250929050565b600080600080600060a086880312156110ea576110e9610e77565b5b60006110f888828901610e9d565b955050602061110988828901610e9d565b945050604061111a88828901610f52565b935050606061112b88828901610f52565b925050608061113c8882890161100f565b9150509295509295909350565b60008115159050919050565b61115e81611149565b811461116957600080fd5b50565b60008135905061117b81611155565b92915050565b6000806040838503121561119857611197610e77565b5b60006111a685828601610f52565b92505060206111b78582860161116c565b9150509250929050565b600080600080608085870312156111db576111da610e77565b5b60006111e987828801610e9d565b94505060206111fa87828801610f52565b935050604061120b87828801610f52565b925050606061121c8782880161100f565b91505092959194509250565b6000806040838503121561123f5761123e610e77565b5b600061124d85828601610f52565b925050602061125e85828601610f52565b9150509250929050565b61127181611149565b82525050565b600060208201905061128c6000830184611268565b92915050565b600082825260208201905092915050565b7f796f75277265206e6f7420746865206f776e6572206f66207468697320646964600082015250565b60006112d9602083611292565b91506112e4826112a3565b602082019050919050565b60006020820190508181036000830152611308816112cc565b9050919050565b6000819050919050565b61132a61132582610e7c565b61130f565b82525050565b600061133c8285611319565b60208201915061134c8284611319565b602082019150819050939250505056fea2646970667358221220c1b6cca8f97d8a0265e0aecc3d85499d0b08bc21b591bf2576e84ba14157a97764736f6c63430008110033

1946:6429:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6633:112;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6231:221;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4492:337;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5372:148;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6921:101;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5013:202;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4013:156;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3469:296;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5865:198;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2918:229;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7649:176;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7200:126;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6633:112;6687:7;6714;:14;6722:5;6714:14;;;;;;;;;;;:23;;;;;;;;;;;;6707:30;;6633:112;;;:::o;6231:221::-;6282:7;6302:12;6317:7;:14;6325:5;6317:14;;;;;;;;;;;:20;;;;;;;;;;;;6302:35;;6368:4;6352:21;;:4;:21;;;6348:73;;6405:3;6390:19;;;;;6348:73;6440:4;6433:11;;;6231:221;;;;:::o;4492:337::-;4632:7;4616:5;2307:20;2330:7;:14;2338:5;2330:14;;;;;;;;;;;:20;;;;;;;;;;;;2307:43;;2399:10;2383:26;;:12;:26;;;:65;;;;2413:9;:23;2423:12;2413:23;;;;;;;;;;;;;;;:35;2437:10;2413:35;;;;;;;;;;;;;;;;;;;;;;;;;2383:65;2361:147;;;;;;;;;;;;:::i;:::-;;;;;;;;;4652:15:::1;4697:5;4704:6;4680:31;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4670:42;;;;;;4652:60;;4723:26;4733:7;4742:6;4723:9;:26::i;:::-;4781:6;4774:5;4765:31;4789:6;4765:31;;;;;;:::i;:::-;;;;;;;;4814:7;4807:14;;;2296:232:::0;4492:337;;;;;;:::o;5372:148::-;5434:5;2307:20;2330:7;:14;2338:5;2330:14;;;;;;;;;;;:20;;;;;;;;;;;;2307:43;;2399:10;2383:26;;:12;:26;;;:65;;;;2413:9;:23;2423:12;2413:23;;;;;;;;;;;;;;;:35;2437:10;2413:35;;;;;;;;;;;;;;;;;;;;;;;;;2383:65;2361:147;;;;;;;;;;;;:::i;:::-;;;;;;;;;5464:5:::1;5457:19;5471:4;5457:19;;;;;;:::i;:::-;;;;;;;;5508:4;5487:7;:14:::0;5495:5:::1;5487:14;;;;;;;;;;;:18;;;:25;;;;;;;;;;;;;;;;;;2296:232:::0;5372:148;;;:::o;6921:101::-;6970:6;6996:7;:14;7004:5;6996:14;;;;;;;;;;;:18;;;;;;;;;;;;6989:25;;6921:101;;;:::o;5013:202::-;5104:5;2307:20;2330:7;:14;2338:5;2330:14;;;;;;;;;;;:20;;;;;;;;;;;;2307:43;;2399:10;2383:26;;:12;:26;;;:65;;;;2413:9;:23;2423:12;2413:23;;;;;;;;;;;;;;;:35;2437:10;2413:35;;;;;;;;;;;;;;;;;;;;;;;;;2383:65;2361:147;;;;;;;;;;;;:::i;:::-;;;;;;;;;5144:5:::1;5132:29;5151:9;5132:29;;;;;;:::i;:::-;;;;;;;;5198:9;5172:7;:14:::0;5180:5:::1;5172:14;;;;;;;;;;;:23;;;:35;;;;;;;;;;;;;;;;;;2296:232:::0;5013:202;;;:::o;4013:156::-;4080:5;2307:20;2330:7;:14;2338:5;2330:14;;;;;;;;;;;:20;;;;;;;;;;;;2307:43;;2399:10;2383:26;;:12;:26;;;:65;;;;2413:9;:23;2423:12;2413:23;;;;;;;;;;;;;;;:35;2437:10;2413:35;;;;;;;;;;;;;;;;;;;;;;;;;2383:65;2361:147;;;;;;;;;;;;:::i;:::-;;;;;;;;;4098:24:::1;4108:5;4115:6;4098:9;:24::i;:::-;4147:5;4138:23;4154:6;4138:23;;;;;;:::i;:::-;;;;;;;;2296:232:::0;4013:156;;;:::o;3469:296::-;3646:15;3664:38;3680:5;3687:6;3695;3664:15;:38::i;:::-;3646:56;;3713:44;3732:7;3741:9;3752:4;3713:18;:44::i;:::-;3635:130;3469:296;;;;;:::o;5865:198::-;5982:9;5947;:21;5957:10;5947:21;;;;;;;;;;;;;;;:32;5969:9;5947:32;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;6034:9;6007:48;;6022:10;6007:48;;;6045:9;6007:48;;;;;;:::i;:::-;;;;;;;;5865:198;;:::o;2918:229::-;3063:23;3072:5;3079:6;3063:8;:23::i;:::-;3097:42;3116:5;3123:9;3134:4;3097:18;:42::i;:::-;2918:229;;;;:::o;7649:176::-;7760:4;7789:9;:17;7799:6;7789:17;;;;;;;;;;;;;;;:28;7807:9;7789:28;;;;;;;;;;;;;;;;;;;;;;;;;7782:35;;7649:176;;;;:::o;7200:126::-;7258:4;7314:3;7282:36;;:7;:14;7290:5;7282:14;;;;;;;;;;;:20;;;;;;;;;;;;:36;;;;7275:43;;7200:126;;;:::o;7833:107::-;7926:6;7903:7;:14;7911:5;7903:14;;;;;;;;;;;:20;;;:29;;;;;;;;;;;;;;;;;;7833:107;;:::o;7948:424::-;8094:7;:14;8102:5;8094:14;;;;;;;;;;;:23;;;;;;;;;;;;8081:36;;:9;:36;;;8077:153;;8160:9;8134:7;:14;8142:5;8134:14;;;;;;;;;;;:23;;;:35;;;;;;;;;;;;;;;;;;8201:5;8189:29;8208:9;8189:29;;;;;;:::i;:::-;;;;;;;;8077:153;8254:7;:14;8262:5;8254:14;;;;;;;;;;;:18;;;;;;;;;;;;8246:26;;:4;:26;;;8242:123;;8310:4;8289:7;:14;8297:5;8289:14;;;;;;;;;;;:18;;;:25;;;;;;;;;;;;;;;;;;8341:5;8334:19;8348:4;8334:19;;;;;;:::i;:::-;;;;;;;;8242:123;7948:424;;;:::o;88:117:1:-;197:1;194;187:12;334:77;371:7;400:5;389:16;;334:77;;;:::o;417:122::-;490:24;508:5;490:24;:::i;:::-;483:5;480:35;470:63;;529:1;526;519:12;470:63;417:122;:::o;545:139::-;591:5;629:6;616:20;607:29;;645:33;672:5;645:33;:::i;:::-;545:139;;;;:::o;690:329::-;749:6;798:2;786:9;777:7;773:23;769:32;766:119;;;804:79;;:::i;:::-;766:119;924:1;949:53;994:7;985:6;974:9;970:22;949:53;:::i;:::-;939:63;;895:117;690:329;;;;:::o;1025:126::-;1062:7;1102:42;1095:5;1091:54;1080:65;;1025:126;;;:::o;1157:96::-;1194:7;1223:24;1241:5;1223:24;:::i;:::-;1212:35;;1157:96;;;:::o;1259:118::-;1346:24;1364:5;1346:24;:::i;:::-;1341:3;1334:37;1259:118;;:::o;1383:222::-;1476:4;1514:2;1503:9;1499:18;1491:26;;1527:71;1595:1;1584:9;1580:17;1571:6;1527:71;:::i;:::-;1383:222;;;;:::o;1611:122::-;1684:24;1702:5;1684:24;:::i;:::-;1677:5;1674:35;1664:63;;1723:1;1720;1713:12;1664:63;1611:122;:::o;1739:139::-;1785:5;1823:6;1810:20;1801:29;;1839:33;1866:5;1839:33;:::i;:::-;1739:139;;;;:::o;1884:619::-;1961:6;1969;1977;2026:2;2014:9;2005:7;2001:23;1997:32;1994:119;;;2032:79;;:::i;:::-;1994:119;2152:1;2177:53;2222:7;2213:6;2202:9;2198:22;2177:53;:::i;:::-;2167:63;;2123:117;2279:2;2305:53;2350:7;2341:6;2330:9;2326:22;2305:53;:::i;:::-;2295:63;;2250:118;2407:2;2433:53;2478:7;2469:6;2458:9;2454:22;2433:53;:::i;:::-;2423:63;;2378:118;1884:619;;;;;:::o;2509:118::-;2596:24;2614:5;2596:24;:::i;:::-;2591:3;2584:37;2509:118;;:::o;2633:222::-;2726:4;2764:2;2753:9;2749:18;2741:26;;2777:71;2845:1;2834:9;2830:17;2821:6;2777:71;:::i;:::-;2633:222;;;;:::o;2861:101::-;2897:7;2937:18;2930:5;2926:30;2915:41;;2861:101;;;:::o;2968:120::-;3040:23;3057:5;3040:23;:::i;:::-;3033:5;3030:34;3020:62;;3078:1;3075;3068:12;3020:62;2968:120;:::o;3094:137::-;3139:5;3177:6;3164:20;3155:29;;3193:32;3219:5;3193:32;:::i;:::-;3094:137;;;;:::o;3237:472::-;3304:6;3312;3361:2;3349:9;3340:7;3336:23;3332:32;3329:119;;;3367:79;;:::i;:::-;3329:119;3487:1;3512:53;3557:7;3548:6;3537:9;3533:22;3512:53;:::i;:::-;3502:63;;3458:117;3614:2;3640:52;3684:7;3675:6;3664:9;3660:22;3640:52;:::i;:::-;3630:62;;3585:117;3237:472;;;;;:::o;3715:115::-;3800:23;3817:5;3800:23;:::i;:::-;3795:3;3788:36;3715:115;;:::o;3836:218::-;3927:4;3965:2;3954:9;3950:18;3942:26;;3978:69;4044:1;4033:9;4029:17;4020:6;3978:69;:::i;:::-;3836:218;;;;:::o;4060:474::-;4128:6;4136;4185:2;4173:9;4164:7;4160:23;4156:32;4153:119;;;4191:79;;:::i;:::-;4153:119;4311:1;4336:53;4381:7;4372:6;4361:9;4357:22;4336:53;:::i;:::-;4326:63;;4282:117;4438:2;4464:53;4509:7;4500:6;4489:9;4485:22;4464:53;:::i;:::-;4454:63;;4409:118;4060:474;;;;;:::o;4540:909::-;4634:6;4642;4650;4658;4666;4715:3;4703:9;4694:7;4690:23;4686:33;4683:120;;;4722:79;;:::i;:::-;4683:120;4842:1;4867:53;4912:7;4903:6;4892:9;4888:22;4867:53;:::i;:::-;4857:63;;4813:117;4969:2;4995:53;5040:7;5031:6;5020:9;5016:22;4995:53;:::i;:::-;4985:63;;4940:118;5097:2;5123:53;5168:7;5159:6;5148:9;5144:22;5123:53;:::i;:::-;5113:63;;5068:118;5225:2;5251:53;5296:7;5287:6;5276:9;5272:22;5251:53;:::i;:::-;5241:63;;5196:118;5353:3;5380:52;5424:7;5415:6;5404:9;5400:22;5380:52;:::i;:::-;5370:62;;5324:118;4540:909;;;;;;;;:::o;5455:90::-;5489:7;5532:5;5525:13;5518:21;5507:32;;5455:90;;;:::o;5551:116::-;5621:21;5636:5;5621:21;:::i;:::-;5614:5;5611:32;5601:60;;5657:1;5654;5647:12;5601:60;5551:116;:::o;5673:133::-;5716:5;5754:6;5741:20;5732:29;;5770:30;5794:5;5770:30;:::i;:::-;5673:133;;;;:::o;5812:468::-;5877:6;5885;5934:2;5922:9;5913:7;5909:23;5905:32;5902:119;;;5940:79;;:::i;:::-;5902:119;6060:1;6085:53;6130:7;6121:6;6110:9;6106:22;6085:53;:::i;:::-;6075:63;;6031:117;6187:2;6213:50;6255:7;6246:6;6235:9;6231:22;6213:50;:::i;:::-;6203:60;;6158:115;5812:468;;;;;:::o;6286:763::-;6371:6;6379;6387;6395;6444:3;6432:9;6423:7;6419:23;6415:33;6412:120;;;6451:79;;:::i;:::-;6412:120;6571:1;6596:53;6641:7;6632:6;6621:9;6617:22;6596:53;:::i;:::-;6586:63;;6542:117;6698:2;6724:53;6769:7;6760:6;6749:9;6745:22;6724:53;:::i;:::-;6714:63;;6669:118;6826:2;6852:53;6897:7;6888:6;6877:9;6873:22;6852:53;:::i;:::-;6842:63;;6797:118;6954:2;6980:52;7024:7;7015:6;7004:9;7000:22;6980:52;:::i;:::-;6970:62;;6925:117;6286:763;;;;;;;:::o;7055:474::-;7123:6;7131;7180:2;7168:9;7159:7;7155:23;7151:32;7148:119;;;7186:79;;:::i;:::-;7148:119;7306:1;7331:53;7376:7;7367:6;7356:9;7352:22;7331:53;:::i;:::-;7321:63;;7277:117;7433:2;7459:53;7504:7;7495:6;7484:9;7480:22;7459:53;:::i;:::-;7449:63;;7404:118;7055:474;;;;;:::o;7535:109::-;7616:21;7631:5;7616:21;:::i;:::-;7611:3;7604:34;7535:109;;:::o;7650:210::-;7737:4;7775:2;7764:9;7760:18;7752:26;;7788:65;7850:1;7839:9;7835:17;7826:6;7788:65;:::i;:::-;7650:210;;;;:::o;7866:169::-;7950:11;7984:6;7979:3;7972:19;8024:4;8019:3;8015:14;8000:29;;7866:169;;;;:::o;8041:182::-;8181:34;8177:1;8169:6;8165:14;8158:58;8041:182;:::o;8229:366::-;8371:3;8392:67;8456:2;8451:3;8392:67;:::i;:::-;8385:74;;8468:93;8557:3;8468:93;:::i;:::-;8586:2;8581:3;8577:12;8570:19;;8229:366;;;:::o;8601:419::-;8767:4;8805:2;8794:9;8790:18;8782:26;;8854:9;8848:4;8844:20;8840:1;8829:9;8825:17;8818:47;8882:131;9008:4;8882:131;:::i;:::-;8874:139;;8601:419;;;:::o;9026:79::-;9065:7;9094:5;9083:16;;9026:79;;;:::o;9111:157::-;9216:45;9236:24;9254:5;9236:24;:::i;:::-;9216:45;:::i;:::-;9211:3;9204:58;9111:157;;:::o;9274:397::-;9414:3;9429:75;9500:3;9491:6;9429:75;:::i;:::-;9529:2;9524:3;9520:12;9513:19;;9542:75;9613:3;9604:6;9542:75;:::i;:::-;9642:2;9637:3;9633:12;9626:19;;9662:3;9655:10;;9274:397;;;;;:::o

ipfs://c1b6cca8f97d8a0265e0aecc3d85499d0b08bc21b591bf2576e84ba14157a977