Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-10-07
*/

// SPDX-License-Identifier: GPL-3.0-or-later

pragma solidity 0.8.9;

/// @notice Minimal BentoBox vault interface.
/// @dev `token` is aliased as `address` from `IERC20` for simplicity.
interface IBentoBoxMinimal {
    /// @notice Registers contract so that users can approve it for BentoBox.
    function registerProtocol() external;

    /// @notice Provides way for users to sign approval for BentoBox spends.
    function setMasterContractApproval(
        address user,
        address masterContract,
        bool approved,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    /// @notice Deposit an amount of `token` represented in either `amount` or `share`.
    /// @param token_ The ERC-20 token to deposit.
    /// @param from which account to pull the tokens.
    /// @param to which account to push the tokens.
    /// @param amount Token amount in native representation to deposit.
    /// @param share Token amount represented in shares to deposit. Takes precedence over `amount`.
    /// @return amountOut The amount deposited.
    /// @return shareOut The deposited amount represented in shares.
    function deposit(
        address token_,
        address from,
        address to,
        uint256 amount,
        uint256 share
    ) external payable returns (uint256 amountOut, uint256 shareOut);

    /// @notice Transfer shares from a user account to another one.
    /// @param token The ERC-20 token to transfer.
    /// @param from which user to pull the tokens.
    /// @param to which user to push the tokens.
    /// @param share The amount of `token` in shares.
    function transfer(
        address token,
        address from,
        address to,
        uint256 share
    ) external;
}

/// @notice Bilateral escrow for ETH and ERC-20/721 tokens with BentoBox integration.
/// @author LexDAO LLC.
contract LexLocker {
    IBentoBoxMinimal immutable bento;
    address public lexDAO;
    address immutable wETH;
    uint256 lockerCount;
    bytes32 public immutable DOMAIN_SEPARATOR;
    bytes32 public constant INVOICE_HASH = keccak256("DepositInvoiceSig(address depositor,address receiver,address resolver,string details)");

    mapping(uint256 => string) public agreements;
    mapping(uint256 => Locker) public lockers;
    mapping(address => Resolver) public resolvers;

    constructor(IBentoBoxMinimal _bento, address _lexDAO, address _wETH) {
        bento = _bento;
        bento.registerProtocol();
        lexDAO = _lexDAO;
        wETH = _wETH;
        
        DOMAIN_SEPARATOR = keccak256(
            abi.encode(
                keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
                keccak256(bytes("LexLocker")),
                keccak256(bytes("1")),
                block.chainid,
                address(this)
            )
        );
    }
    
    /// @dev Events to assist web3 applications.
    event Deposit(
        bool bento,
        bool nft,
        address indexed depositor, 
        address indexed receiver, 
        address resolver,
        address token, 
        uint256 value, 
        uint256 indexed registration,
        string details);
    event DepositInvoiceSig(address indexed depositor, address indexed receiver);
    event Release(uint256 indexed registration);
    event Withdraw(uint256 indexed registration);
    event Lock(uint256 indexed registration, string details);
    event Resolve(uint256 indexed registration, uint256 indexed depositorAward, uint256 indexed receiverAward, string details);
    event RegisterResolver(address indexed resolver, bool indexed active, uint256 indexed fee);
    event RegisterAgreement(uint256 indexed index, string agreement);
    event UpdateLexDAO(address indexed lexDAO);
    
    /// @dev Tracks registered escrow status.
    struct Locker {
        bool bento;
        bool nft; 
        bool locked;
        address depositor;
        address receiver;
        address resolver;
        address token;
        uint256 value;
        uint256 termination;
    }
    
    /// @dev Tracks registered resolver status.
    struct Resolver {
        bool active;
        uint8 fee;
    }
    
    // **** ESCROW PROTOCOL **** //
    // ------------------------ //
    /// @notice Deposits tokens (ERC-20/721) into escrow 
    // - locked funds can be released by `msg.sender` `depositor` 
    // - both parties can {lock} for `resolver`. 
    /// @param receiver The account that receives funds.
    /// @param resolver The account that unlock funds.
    /// @param token The asset used for funds.
    /// @param value The amount of funds - if `nft`, the 'tokenId' in first value is used.
    /// @param termination Unix time upon which `depositor` can claim back funds.
    /// @param nft If 'false', ERC-20 is assumed, otherwise, non-fungible asset.
    /// @param details Describes context of escrow - stamped into event.
    function deposit(
        address receiver, 
        address resolver, 
        address token, 
        uint256 value,
        uint256 termination,
        bool nft, 
        string memory details
    ) public payable returns (uint256 registration) {
        require(resolvers[resolver].active, "resolver not active");
        require(resolver != msg.sender && resolver != receiver, "resolver cannot be party"); /// @dev Avoid conflicts.
   
        /// @dev Handle ETH/ERC-20/721 deposit.
        if (msg.value != 0) {
            require(msg.value == value, "wrong msg.value");
            /// @dev Overrides to clarify ETH is used.
            if (token != address(0)) token = address(0);
            if (nft) nft = false;
        } else {
            safeTransferFrom(token, msg.sender, address(this), value);
        }
 
        /// @dev Increment registered lockers and assign # to escrow deposit.
        unchecked {
            lockerCount++;
        }
        registration = lockerCount;
        lockers[registration] = Locker(false, nft, false, msg.sender, receiver, resolver, token, value, termination);
        
        emit Deposit(false, nft, msg.sender, receiver, resolver, token, value, registration, details);
    }

    /// @notice Deposits tokens (ERC-20/721) into BentoBox escrow 
    // - locked funds can be released by `msg.sender` `depositor` 
    // - both parties can {lock} for `resolver`. 
    /// @param receiver The account that receives funds.
    /// @param resolver The account that unlock funds.
    /// @param token The asset used for funds (note: NFT not supported in BentoBox).
    /// @param value The amount of funds (note: locker converts to 'shares').
    /// @param termination Unix time upon which `depositor` can claim back funds.
    /// @param wrapBento If 'false', raw ERC-20 is assumed, otherwise, BentoBox 'shares'.
    /// @param details Describes context of escrow - stamped into event.
    function depositBento(
        address receiver, 
        address resolver, 
        address token, 
        uint256 value,
        uint256 termination,
        bool wrapBento,
        string memory details
    ) public payable returns (uint256 registration) {
        require(resolvers[resolver].active, "resolver not active");
        require(resolver != msg.sender && resolver != receiver, "resolver cannot be party"); /// @dev Avoid conflicts.
 
        /// @dev Handle ETH/ERC-20 deposit.
        if (msg.value != 0) {
            require(msg.value == value, "wrong msg.value");
            /// @dev Override to clarify wETH is used in BentoBox for ETH.
            if (token != wETH) token = wETH;
            (, value) = bento.deposit{value: msg.value}(address(0), address(this), address(this), msg.value, 0);
        } else if (wrapBento) {
            safeTransferFrom(token, msg.sender, address(bento), value);
            (, value) = bento.deposit(token, address(bento), address(this), value, 0);
        } else {
            bento.transfer(token, msg.sender, address(this), value);
        }

        /// @dev Increment registered lockers and assign # to escrow deposit.
        unchecked {
            lockerCount++;
        }
        registration = lockerCount;
        lockers[registration] = Locker(true, false, false, msg.sender, receiver, resolver, token, value, termination);
        
        emit Deposit(true, false, msg.sender, receiver, resolver, token, value, registration, details);
    }
    
    /// @notice Validates deposit request 'invoice' for locker escrow.
    /// @param receiver The account that receives funds.
    /// @param resolver The account that unlock funds.
    /// @param token The asset used for funds.
    /// @param value The amount of funds - if `nft`, the 'tokenId'.
    /// @param termination Unix time upon which `depositor` can claim back funds.
    /// @param bentoBoxed If 'false', regular deposit is assumed, otherwise, BentoBox.
    /// @param nft If 'false', ERC-20 is assumed, otherwise, non-fungible asset.
    /// @param wrapBento If 'false', raw ERC-20 is assumed, otherwise, BentoBox 'shares'.
    /// @param details Describes context of escrow - stamped into event.
    /// @param v The recovery byte of the signature.
    /// @param r Half of the ECDSA signature pair.
    /// @param s Half of the ECDSA signature pair.
    function depositInvoiceSig(
        address receiver, 
        address resolver, 
        address token, 
        uint256 value,
        uint256 termination,
        bool bentoBoxed,
        bool nft, 
        bool wrapBento,
        string memory details,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public payable {
        /// @dev Validate basic elements of invoice.
        bytes32 digest =
            keccak256(
                abi.encodePacked(
                    "\x19\x01",
                    DOMAIN_SEPARATOR,
                    keccak256(
                        abi.encode(
                            INVOICE_HASH,
                            msg.sender,
                            receiver,
                            resolver,
                            details
                        )
                    )
                )
            );
        address recoveredAddress = ecrecover(digest, v, r, s);
        require(recoveredAddress == receiver, "invalid invoice");

        /// @dev Perform deposit.
        if (!bentoBoxed) {
            deposit(receiver, resolver, token, value, termination, nft, details);
        } else {
            depositBento(receiver, resolver, token, value, termination, wrapBento, details);
        }
        
        emit DepositInvoiceSig(msg.sender, receiver);
    }
    
    /// @notice Releases escrowed assets to designated `receiver` 
    // - can only be called by `depositor` if not `locked`
    // - can be called after `termination` as optional extension.
    /// @param registration The index of escrow deposit.
    function release(uint256 registration) external {
        Locker storage locker = lockers[registration]; 
        
        require(!locker.locked, "locked");
        require(msg.sender == locker.depositor, "not depositor");
        
        /// @dev Handle asset transfer.
        if (locker.token == address(0)) { /// @dev Release ETH.
            safeTransferETH(locker.receiver, locker.value);
        } else if (locker.bento) { /// @dev Release BentoBox shares.
            bento.transfer(locker.token, address(this), locker.receiver, locker.value);
        } else if (!locker.nft) { /// @dev Release ERC-20.
            safeTransfer(locker.token, locker.receiver, locker.value);
        } else { /// @dev Release NFT.
            safeTransferFrom(locker.token, address(this), locker.receiver, locker.value);
        }
        
        delete lockers[registration];
        
        emit Release(registration);
    }
    
    /// @notice Releases escrowed assets back to designated `depositor` 
    // - can only be called by `depositor` if `termination` reached.
    /// @param registration The index of escrow deposit.
    function withdraw(uint256 registration) external {
        Locker storage locker = lockers[registration];
        
        require(msg.sender == locker.depositor, "not depositor");
        require(!locker.locked, "locked");
        require(block.timestamp >= locker.termination, "not terminated");
        
        /// @dev Handle asset transfer.
        if (locker.token == address(0)) { /// @dev Release ETH.
            safeTransferETH(locker.depositor, locker.value);
        } else if (locker.bento) { /// @dev Release BentoBox shares.
            bento.transfer(locker.token, address(this), locker.depositor, locker.value);
        } else if (!locker.nft) { /// @dev Release ERC-20.
            safeTransfer(locker.token, locker.depositor, locker.value);
        } else { /// @dev Release NFT.
            safeTransferFrom(locker.token, address(this), locker.depositor, locker.value);
        }
        
        delete lockers[registration];
        
        emit Withdraw(registration);
    }

    // **** DISPUTE PROTOCOL **** //
    // ------------------------- //
    /// @notice Locks escrowed assets for resolution - can only be called by locker parties.
    /// @param registration The index of escrow deposit.
    /// @param details Description of lock action (note: can link to secure dispute details, etc.).
    function lock(uint256 registration, string calldata details) external {
        Locker storage locker = lockers[registration];
        
        require(msg.sender == locker.depositor || msg.sender == locker.receiver, "not party");
        
        locker.locked = true;
        
        emit Lock(registration, details);
    }
    
    /// @notice Resolves locked escrow deposit in split between parties - if NFT, must be complete award (so, one party receives '0')
    // - `resolverFee` is automatically deducted from both parties' awards.
    /// @param registration The registration index of escrow deposit.
    /// @param depositorAward The sum given to `depositor`.
    /// @param receiverAward The sum given to `receiver`.
    /// @param details Description of resolution (note: can link to secure judgment details, etc.).
    function resolve(uint256 registration, uint256 depositorAward, uint256 receiverAward, string calldata details) external {
        Locker storage locker = lockers[registration]; 
        
        require(msg.sender == locker.resolver, "not resolver");
        require(locker.locked, "not locked");
        require(depositorAward + receiverAward == locker.value, "not remainder");
        
        /// @dev Calculate resolution fee and apply to awards.
        uint256 resolverFee = locker.value / resolvers[locker.resolver].fee;
        depositorAward -= resolverFee / 2;
        receiverAward -= resolverFee / 2;
        
        /// @dev Handle asset transfers.
        if (locker.token == address(0)) { /// @dev Split ETH.
            safeTransferETH(locker.depositor, depositorAward);
            safeTransferETH(locker.receiver, receiverAward);
            safeTransferETH(locker.resolver, resolverFee);
        } else if (locker.bento) { /// @dev ...BentoBox shares.
            bento.transfer(locker.token, address(this), locker.depositor, depositorAward);
            bento.transfer(locker.token, address(this), locker.receiver, receiverAward);
            bento.transfer(locker.token, address(this), locker.resolver, resolverFee);
        } else if (!locker.nft) { /// @dev ...ERC20.
            safeTransfer(locker.token, locker.depositor, depositorAward);
            safeTransfer(locker.token, locker.receiver, receiverAward);
            safeTransfer(locker.token, locker.resolver, resolverFee);
        } else { /// @dev Award NFT.
            if (depositorAward != 0) {
                safeTransferFrom(locker.token, address(this), locker.depositor, locker.value);
            } else {
                safeTransferFrom(locker.token, address(this), locker.receiver, locker.value);
            }
        }
        
        delete lockers[registration];
        
        emit Resolve(registration, depositorAward, receiverAward, details);
    }
    
    /// @notice Registers an account to serve as a potential `resolver`.
    /// @param active Tracks willingness to serve - if 'true', can be joined to a locker.
    /// @param fee The divisor to determine resolution fee - e.g., if '20', fee is 5% of locker.
    function registerResolver(bool active, uint8 fee) external {
        require(fee != 0, "fee must be greater than zero");
        resolvers[msg.sender] = Resolver(active, fee);
        emit RegisterResolver(msg.sender, active, fee);
    }

    // **** LEXDAO PROTOCOL **** //
    // ------------------------ //
    /// @notice Protocol for LexDAO to maintain agreements that can be stamped into lockers.
    /// @param index # to register agreement under.
    /// @param agreement Text or link to agreement, etc. - this allows for amendments.
    function registerAgreement(uint256 index, string calldata agreement) external {
        require(msg.sender == lexDAO, "not LexDAO");
        agreements[index] = agreement;
        emit RegisterAgreement(index, agreement);
    }

    /// @notice Protocol for LexDAO to update role.
    /// @param _lexDAO Account to assign role to.
    function updateLexDAO(address _lexDAO) external {
        require(msg.sender == lexDAO, "not LexDAO");
        lexDAO = _lexDAO;
        emit UpdateLexDAO(_lexDAO);
    }

    // **** BATCHER UTILITIES **** //
    // -------------------------- //
    /// @notice Enables calling multiple methods in a single call to this contract.
    function multicall(bytes[] calldata data) external returns (bytes[] memory results) {
        results = new bytes[](data.length);
        unchecked {
            for (uint256 i = 0; i < data.length; i++) {
                (bool success, bytes memory result) = address(this).delegatecall(data[i]);
                if (!success) {
                    if (result.length < 68) revert();
                    assembly { result := add(result, 0x04) }
                    revert(abi.decode(result, (string)));
                }
                results[i] = result;
            }
        }
    }

    /// @notice Provides EIP-2612 signed approval for this contract to spend user tokens.
    /// @param token Address of ERC-20 token.
    /// @param amount Token amount to grant spending right over.
    /// @param deadline Termination for signed approval in Unix time.
    /// @param v The recovery byte of the signature.
    /// @param r Half of the ECDSA signature pair.
    /// @param s Half of the ECDSA signature pair.
    function permitThis(
        address token,
        uint256 amount,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external {
        /// @dev permit(address,address,uint256,uint256,uint8,bytes32,bytes32).
        (bool success, ) = token.call(abi.encodeWithSelector(0xd505accf, msg.sender, address(this), amount, deadline, v, r, s));
        require(success, "permit failed");
    }

    /// @notice Provides DAI-derived signed approval for this contract to spend user tokens.
    /// @param token Address of ERC-20 token.
    /// @param nonce Token owner's nonce - increases at each call to {permit}.
    /// @param expiry Termination for signed approval in Unix time.
    /// @param v The recovery byte of the signature.
    /// @param r Half of the ECDSA signature pair.
    /// @param s Half of the ECDSA signature pair.
    function permitThisAllowed(
        address token,
        uint256 nonce,
        uint256 expiry,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external {
        /// @dev permit(address,address,uint256,uint256,bool,uint8,bytes32,bytes32).
        (bool success, ) = token.call(abi.encodeWithSelector(0x8fcbaf0c, msg.sender, address(this), nonce, expiry, true, v, r, s));
        require(success, "permit failed");
    }

    /// @dev Provides way to sign approval for `bento` spends by locker.
    /// @param v The recovery byte of the signature.
    /// @param r Half of the ECDSA signature pair.
    /// @param s Half of the ECDSA signature pair.
    function setBentoApproval(uint8 v, bytes32 r, bytes32 s) external {
        bento.setMasterContractApproval(msg.sender, address(this), true, v, r, s);
    }
    
    // **** TRANSFER HELPERS **** //
    // ------------------------- //
    /// @notice Provides 'safe' ERC-20 {transfer} for tokens that don't consistently return 'true/false'.
    /// @param token Address of ERC-20 token.
    /// @param recipient Account to send tokens to.
    /// @param value Token amount to send.
    function safeTransfer(address token, address recipient, uint256 value) private {
        /// @dev transfer(address,uint256).
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(0xa9059cbb, recipient, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), "transfer failed");
    }

    /// @notice Provides 'safe' ERC-20/721 {transferFrom} for tokens that don't consistently return 'true/false'.
    /// @param token Address of ERC-20/721 token.
    /// @param sender Account to send tokens from.
    /// @param recipient Account to send tokens to.
    /// @param value Token amount to send - if NFT, 'tokenId'.
    function safeTransferFrom(address token, address sender, address recipient, uint256 value) private {
        /// @dev transferFrom(address,address,uint256).
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(0x23b872dd, sender, recipient, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), "pull failed");
    }
    
    /// @notice Provides 'safe' ETH transfer.
    /// @param recipient Account to send ETH to.
    /// @param value ETH amount to send.
    function safeTransferETH(address recipient, uint256 value) private {
        (bool success, ) = recipient.call{value: value}("");
        require(success, "eth transfer failed");
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IBentoBoxMinimal","name":"_bento","type":"address"},{"internalType":"address","name":"_lexDAO","type":"address"},{"internalType":"address","name":"_wETH","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"bento","type":"bool"},{"indexed":false,"internalType":"bool","name":"nft","type":"bool"},{"indexed":true,"internalType":"address","name":"depositor","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"},{"indexed":false,"internalType":"address","name":"resolver","type":"address"},{"indexed":false,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"registration","type":"uint256"},{"indexed":false,"internalType":"string","name":"details","type":"string"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"depositor","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"}],"name":"DepositInvoiceSig","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"registration","type":"uint256"},{"indexed":false,"internalType":"string","name":"details","type":"string"}],"name":"Lock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"index","type":"uint256"},{"indexed":false,"internalType":"string","name":"agreement","type":"string"}],"name":"RegisterAgreement","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"resolver","type":"address"},{"indexed":true,"internalType":"bool","name":"active","type":"bool"},{"indexed":true,"internalType":"uint256","name":"fee","type":"uint256"}],"name":"RegisterResolver","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"registration","type":"uint256"}],"name":"Release","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"registration","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"depositorAward","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"receiverAward","type":"uint256"},{"indexed":false,"internalType":"string","name":"details","type":"string"}],"name":"Resolve","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"lexDAO","type":"address"}],"name":"UpdateLexDAO","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"registration","type":"uint256"}],"name":"Withdraw","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"INVOICE_HASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"agreements","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"address","name":"resolver","type":"address"},{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"termination","type":"uint256"},{"internalType":"bool","name":"nft","type":"bool"},{"internalType":"string","name":"details","type":"string"}],"name":"deposit","outputs":[{"internalType":"uint256","name":"registration","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"address","name":"resolver","type":"address"},{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"termination","type":"uint256"},{"internalType":"bool","name":"wrapBento","type":"bool"},{"internalType":"string","name":"details","type":"string"}],"name":"depositBento","outputs":[{"internalType":"uint256","name":"registration","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"address","name":"resolver","type":"address"},{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"termination","type":"uint256"},{"internalType":"bool","name":"bentoBoxed","type":"bool"},{"internalType":"bool","name":"nft","type":"bool"},{"internalType":"bool","name":"wrapBento","type":"bool"},{"internalType":"string","name":"details","type":"string"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"depositInvoiceSig","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"lexDAO","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"registration","type":"uint256"},{"internalType":"string","name":"details","type":"string"}],"name":"lock","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"lockers","outputs":[{"internalType":"bool","name":"bento","type":"bool"},{"internalType":"bool","name":"nft","type":"bool"},{"internalType":"bool","name":"locked","type":"bool"},{"internalType":"address","name":"depositor","type":"address"},{"internalType":"address","name":"receiver","type":"address"},{"internalType":"address","name":"resolver","type":"address"},{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"termination","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes[]","name":"data","type":"bytes[]"}],"name":"multicall","outputs":[{"internalType":"bytes[]","name":"results","type":"bytes[]"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permitThis","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permitThisAllowed","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"},{"internalType":"string","name":"agreement","type":"string"}],"name":"registerAgreement","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"active","type":"bool"},{"internalType":"uint8","name":"fee","type":"uint8"}],"name":"registerResolver","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"registration","type":"uint256"}],"name":"release","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"registration","type":"uint256"},{"internalType":"uint256","name":"depositorAward","type":"uint256"},{"internalType":"uint256","name":"receiverAward","type":"uint256"},{"internalType":"string","name":"details","type":"string"}],"name":"resolve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"resolvers","outputs":[{"internalType":"bool","name":"active","type":"bool"},{"internalType":"uint8","name":"fee","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"setBentoApproval","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_lexDAO","type":"address"}],"name":"updateLexDAO","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"registration","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60e06040523480156200001157600080fd5b5060405162003b8538038062003b858339810160408190526200003491620001be565b6001600160a01b03831660808190526040805163577268d960e11b8152905163aee4d1b29160048082019260009290919082900301818387803b1580156200007b57600080fd5b505af115801562000090573d6000803e3d6000fd5b5050600080546001600160a01b0319166001600160a01b0386811691909117909155831660a090815260408051808201825260098152682632bc2637b1b5b2b960b91b6020918201528151808301835260018152603160f81b9082015281517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f918101919091527f9f7411dbc297709e272cb374e788f045cf9cef48feeb908dd1df3707532c37fa918101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc66060820152466080820152309181019190915260c0019150620001809050565b60408051601f19818403018152919052805160209091012060c0525062000212915050565b6001600160a01b0381168114620001bb57600080fd5b50565b600080600060608486031215620001d457600080fd5b8351620001e181620001a5565b6020850151909350620001f481620001a5565b60408501519092506200020781620001a5565b809150509250925092565b60805160a05160c0516138f66200028f600039600081816101fe015261162101526000818161070601526107590152600081816107c901528181610870015281816108da015281816109c801528181610d530152818161112f0152818161149101528181611b6d01528181611c2f0152611cf101526138f66000f3fe60806040526004361061015f5760003560e01c806377631981116100c0578063b2c43bac11610074578063bd14de9611610059578063bd14de96146104e9578063c3fae25214610516578063f643509c1461052957600080fd5b8063b2c43bac14610477578063b93793e91461049757600080fd5b806385831633116100a557806385831633146103f6578063a9b62c231461042a578063ac9650d81461044a57600080fd5b806377631981146102e5578063809aab921461030557600080fd5b806337bdc99b1161011757806353b8973b116100fc57806353b8973b1461029257806359466d9a146102a5578063744b5db6146102c557600080fd5b806337bdc99b146102205780634f411f7b1461024057600080fd5b80632669714b116101485780632669714b146101ac5780632e1a7d4d146101cc5780633644e515146101ec57600080fd5b806304a46dc11461016457806312e3fd1f1461018a575b600080fd5b61017761017236600461306a565b610549565b6040519081526020015b60405180910390f35b34801561019657600080fd5b506101aa6101a5366004613110565b610d01565b005b3480156101b857600080fd5b506101aa6101c7366004613143565b610dc9565b3480156101d857600080fd5b506101aa6101e7366004613178565b610eed565b3480156101f857600080fd5b506101777f000000000000000000000000000000000000000000000000000000000000000081565b34801561022c57600080fd5b506101aa61023b366004613178565b6112c5565b34801561024c57600080fd5b5060005461026d9073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610181565b6101aa6102a0366004613191565b61161d565b3480156102b157600080fd5b506101aa6102c03660046132b8565b611879565b3480156102d157600080fd5b506101aa6102e0366004613319565b611f38565b3480156102f157600080fd5b506101aa610300366004613365565b612012565b34801561031157600080fd5b50610392610320366004613178565b600360208190526000918252604090912080546001820154600283015493830154600484015460059094015460ff8085169661010086048216966201000087049092169573ffffffffffffffffffffffffffffffffffffffff6301000000909104811695811694918116939116919089565b604080519915158a5297151560208a01529515159688019690965273ffffffffffffffffffffffffffffffffffffffff93841660608801529183166080870152821660a08601521660c084015260e083019190915261010082015261012001610181565b34801561040257600080fd5b506101777f0686b1187eca3c6b95b4cac603085a7185455f66b05e91dc4f8be4646f05589181565b34801561043657600080fd5b506101aa610445366004613365565b61216f565b34801561045657600080fd5b5061046a6104653660046133bd565b6121cd565b60405161018191906134ac565b34801561048357600080fd5b506101aa61049236600461352c565b612334565b3480156104a357600080fd5b506104d06104b236600461352c565b60046020526000908152604090205460ff8082169161010090041682565b60408051921515835260ff909116602083015201610181565b3480156104f557600080fd5b50610509610504366004613178565b612422565b604051610181919061354e565b61017761052436600461306a565b6124bc565b34801561053557600080fd5b506101aa610544366004613319565b612976565b73ffffffffffffffffffffffffffffffffffffffff861660009081526004602052604081205460ff166105dd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f7265736f6c766572206e6f74206163746976650000000000000000000000000060448201526064015b60405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8716331480159061062f57508773ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614155b610695576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f7265736f6c7665722063616e6e6f74206265207061727479000000000000000060448201526064016105d4565b341561086357843414610704576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f77726f6e67206d73672e76616c7565000000000000000000000000000000000060448201526064016105d4565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161461077b577f000000000000000000000000000000000000000000000000000000000000000095505b6040517f02b9446c00000000000000000000000000000000000000000000000000000000815260006004820181905230602483018190526044830152346064830181905260848301919091527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16916302b9446c919060a40160408051808303818588803b15801561082157600080fd5b505af1158015610835573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061085a9190613561565b9550610a259050565b82156109705761089586337f000000000000000000000000000000000000000000000000000000000000000088612a9c565b6040517f02b9446c00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff87811660048301527f000000000000000000000000000000000000000000000000000000000000000016602482018190523060448301526064820187905260006084830152906302b9446c9060a4016040805180830381600087803b15801561093857600080fd5b505af115801561094c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085a9190613561565b6040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8781166004830152336024830152306044830152606482018790527f0000000000000000000000000000000000000000000000000000000000000000169063f18d03cc90608401600060405180830381600087803b158015610a0c57600080fd5b505af1158015610a20573d6000803e3d6000fd5b505050505b60016000815480929190600101919050555060015490506040518061012001604052806001151581526020016000151581526020016000151581526020013373ffffffffffffffffffffffffffffffffffffffff1681526020018973ffffffffffffffffffffffffffffffffffffffff1681526020018873ffffffffffffffffffffffffffffffffffffffff1681526020018773ffffffffffffffffffffffffffffffffffffffff168152602001868152602001858152506003600083815260200190815260200160002060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548160ff02191690831515021790555060408201518160000160026101000a81548160ff02191690831515021790555060608201518160000160036101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060808201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060a08201518160020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060c08201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e082015181600401556101008201518160050155905050808873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f5dd6a72c912fdb9d66bbc26b954fd1b78c3b3dca55bb418c6f0794d6a0dfd865600160008c8c8c8a604051610cee96959493929190613585565b60405180910390a4979650505050505050565b6040517fc0a47c930000000000000000000000000000000000000000000000000000000081523360048201523060248201526001604482015260ff841660648201526084810183905260a481018290527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169063c0a47c939060c401600060405180830381600087803b158015610dac57600080fd5b505af1158015610dc0573d6000803e3d6000fd5b50505050505050565b60ff8116610e33576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f666565206d7573742062652067726561746572207468616e207a65726f00000060448201526064016105d4565b60408051808201825283151580825260ff848116602080850182815233600081815260049093528783209651875492517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00009093169015157fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff16176101009290951691909102939093179094559351919290917ffcc84135f183b742bb0da01339486410059e7c28b738caa475534504bb8ef7d19190a45050565b600081815260036020526040902080546301000000900473ffffffffffffffffffffffffffffffffffffffff163314610f82576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74206465706f7369746f720000000000000000000000000000000000000060448201526064016105d4565b805462010000900460ff1615610ff4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f6c6f636b6564000000000000000000000000000000000000000000000000000060448201526064016105d4565b8060050154421015611062576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f6e6f74207465726d696e6174656400000000000000000000000000000000000060448201526064016105d4565b600381015473ffffffffffffffffffffffffffffffffffffffff166110b457805460048201546110af916301000000900473ffffffffffffffffffffffffffffffffffffffff1690612c15565b611213565b805460ff161561119257600381015481546004808401546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff9485169281019290925230602483015263010000009092048316604482015260648101919091527f00000000000000000000000000000000000000000000000000000000000000009091169063f18d03cc90608401600060405180830381600087803b15801561117557600080fd5b505af1158015611189573d6000803e3d6000fd5b50505050611213565b8054610100900460ff166111d7576003810154815460048301546110af9273ffffffffffffffffffffffffffffffffffffffff90811692630100000090041690612ce4565b6003810154815460048301546112139273ffffffffffffffffffffffffffffffffffffffff908116923092630100000090910490911690612a9c565b600082815260036020819052604080832080547fffffffffffffffffff00000000000000000000000000000000000000000000001681556001810180547fffffffffffffffffffffffff00000000000000000000000000000000000000009081169091556002820180548216905592810180549093169092556004820183905560059091018290555183917f5b6b431d4476a211bb7d41c20d1aab9ae2321deee0d20be3d9fc9b1093fa6e3d91a25050565b6000818152600360205260409020805462010000900460ff1615611345576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f6c6f636b6564000000000000000000000000000000000000000000000000000060448201526064016105d4565b80546301000000900473ffffffffffffffffffffffffffffffffffffffff1633146113cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74206465706f7369746f720000000000000000000000000000000000000060448201526064016105d4565b600381015473ffffffffffffffffffffffffffffffffffffffff1661141a57600181015460048201546114159173ffffffffffffffffffffffffffffffffffffffff1690612c15565b61156b565b805460ff16156114f457600381015460018201546004808401546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff94851692810192909252306024830152918316604482015260648101919091527f00000000000000000000000000000000000000000000000000000000000000009091169063f18d03cc90608401600060405180830381600087803b1580156114d757600080fd5b505af11580156114eb573d6000803e3d6000fd5b5050505061156b565b8054610100900460ff16611535576003810154600182015460048301546114159273ffffffffffffffffffffffffffffffffffffffff908116921690612ce4565b60038101546001820154600483015461156b9273ffffffffffffffffffffffffffffffffffffffff908116923092911690612a9c565b600082815260036020819052604080832080547fffffffffffffffffff00000000000000000000000000000000000000000000001681556001810180547fffffffffffffffffffffffff00000000000000000000000000000000000000009081169091556002820180548216905592810180549093169092556004820183905560059091018290555183917fcf95d1fe0feb1424b6916a8d99a225f598710466d34c5a755770a1d4d49311a091a25050565b60007f00000000000000000000000000000000000000000000000000000000000000007f0686b1187eca3c6b95b4cac603085a7185455f66b05e91dc4f8be4646f055891338f8f896040516020016116799594939291906135e0565b604051602081830303815290604052805190602001206040516020016116d19291907f190100000000000000000000000000000000000000000000000000000000000081526002810192909252602282015260420190565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181528282528051602091820120600080855291840180845281905260ff88169284019290925260608301869052608083018590529092509060019060a0016020604051602081039080840390855afa15801561175a573d6000803e3d6000fd5b5050506020604051035190508d73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146117fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f696e76616c696420696e766f696365000000000000000000000000000000000060448201526064016105d4565b886118155761180f8e8e8e8e8e8d8c6124bc565b50611826565b6118248e8e8e8e8e8c8c610549565b505b60405173ffffffffffffffffffffffffffffffffffffffff8f169033907fdb7dd26da71b644d169a0b3d86a9a13fdb4ab8903527408cb23f8f9b0065d3c790600090a35050505050505050505050505050565b6000858152600360205260409020600281015473ffffffffffffffffffffffffffffffffffffffff16331461190a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f6e6f74207265736f6c766572000000000000000000000000000000000000000060448201526064016105d4565b805462010000900460ff1661197b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f6e6f74206c6f636b65640000000000000000000000000000000000000000000060448201526064016105d4565b600481015461198a8587613661565b146119f1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f742072656d61696e6465720000000000000000000000000000000000000060448201526064016105d4565b600281015473ffffffffffffffffffffffffffffffffffffffff16600090815260046020819052604082205490830154611a3391610100900460ff1690613679565b9050611a40600282613679565b611a4a90876136b4565b9550611a57600282613679565b611a6190866136b4565b600383015490955073ffffffffffffffffffffffffffffffffffffffff16611afb578154611aac906301000000900473ffffffffffffffffffffffffffffffffffffffff1687612c15565b6001820154611ad19073ffffffffffffffffffffffffffffffffffffffff1686612c15565b6002820154611af69073ffffffffffffffffffffffffffffffffffffffff1682612c15565b611e68565b815460ff1615611d5457600382015482546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff9283166004820152306024820152630100000090910482166044820152606481018890527f00000000000000000000000000000000000000000000000000000000000000009091169063f18d03cc90608401600060405180830381600087803b158015611bb357600080fd5b505af1158015611bc7573d6000803e3d6000fd5b50505050600382015460018301546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff92831660048201523060248201529082166044820152606481018790527f00000000000000000000000000000000000000000000000000000000000000009091169063f18d03cc90608401600060405180830381600087803b158015611c7557600080fd5b505af1158015611c89573d6000803e3d6000fd5b50505050600382015460028301546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff92831660048201523060248201529082166044820152606481018390527f00000000000000000000000000000000000000000000000000000000000000009091169063f18d03cc90608401600060405180830381600087803b158015611d3757600080fd5b505af1158015611d4b573d6000803e3d6000fd5b50505050611e68565b8154610100900460ff16611df05760038201548254611d949173ffffffffffffffffffffffffffffffffffffffff90811691630100000090041688612ce4565b60038201546001830154611dc29173ffffffffffffffffffffffffffffffffffffffff908116911687612ce4565b60038201546002830154611af69173ffffffffffffffffffffffffffffffffffffffff908116911683612ce4565b8515611e3257600382015482546004840154611af69273ffffffffffffffffffffffffffffffffffffffff908116923092630100000090910490911690612a9c565b600382015460018301546004840154611e689273ffffffffffffffffffffffffffffffffffffffff908116923092911690612a9c565b600087815260036020819052604080832080547fffffffffffffffffff00000000000000000000000000000000000000000000001681556001810180547fffffffffffffffffffffffff000000000000000000000000000000000000000090811690915560028201805482169055928101805490931690925560048201839055600590910191909155518590879089907f6eb850ab7e146f6edb53acb7f95559fba222c26806e2a2ba2c5056043af7098390611f2790899089906136cb565b60405180910390a450505050505050565b60005473ffffffffffffffffffffffffffffffffffffffff163314611fb9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f6e6f74204c657844414f0000000000000000000000000000000000000000000060448201526064016105d4565b6000838152600260205260409020611fd2908383612e54565b50827fd68bcd6f84001ed66f1083ec342e3ad7038be2c24bd39561b29ff3d405cd17d483836040516120059291906136cb565b60405180910390a2505050565b6040513360248201523060448201526064810186905260848101859052600160a482015260ff841660c482015260e48101839052610104810182905260009073ffffffffffffffffffffffffffffffffffffffff881690638fcbaf0c90610124015b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516120c29190613718565b6000604051808303816000865af19150503d80600081146120ff576040519150601f19603f3d011682016040523d82523d6000602084013e612104565b606091505b5050905080610dc0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f7065726d6974206661696c65640000000000000000000000000000000000000060448201526064016105d4565b604051336024820152306044820152606481018690526084810185905260ff841660a482015260c4810183905260e4810182905260009073ffffffffffffffffffffffffffffffffffffffff88169063d505accf9061010401612074565b60608167ffffffffffffffff8111156121e8576121e8612f50565b60405190808252806020026020018201604052801561221b57816020015b60608152602001906001900390816122065790505b50905060005b8281101561232d576000803086868581811061223f5761223f613734565b90506020028101906122519190613763565b60405161225f9291906137c8565b600060405180830381855af49150503d806000811461229a576040519150601f19603f3d011682016040523d82523d6000602084013e61229f565b606091505b509150915081612305576044815110156122b857600080fd5b600481019050808060200190518101906122d291906137d8565b6040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d4919061354e565b8084848151811061231857612318613734565b60209081029190910101525050600101612221565b5092915050565b60005473ffffffffffffffffffffffffffffffffffffffff1633146123b5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f6e6f74204c657844414f0000000000000000000000000000000000000000000060448201526064016105d4565b600080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff8316908117825560405190917f825a66cec4462a68a7a7c3488ce373198080660f3e29fa9b969527a2e83be60091a250565b6002602052600090815260409020805461243b9061384f565b80601f01602080910402602001604051908101604052809291908181526020018280546124679061384f565b80156124b45780601f10612489576101008083540402835291602001916124b4565b820191906000526020600020905b81548152906001019060200180831161249757829003601f168201915b505050505081565b73ffffffffffffffffffffffffffffffffffffffff861660009081526004602052604081205460ff1661254b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f7265736f6c766572206e6f74206163746976650000000000000000000000000060448201526064016105d4565b73ffffffffffffffffffffffffffffffffffffffff8716331480159061259d57508773ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614155b612603576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f7265736f6c7665722063616e6e6f74206265207061727479000000000000000060448201526064016105d4565b34156126a357843414612672576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f77726f6e67206d73672e76616c7565000000000000000000000000000000000060448201526064016105d4565b73ffffffffffffffffffffffffffffffffffffffff86161561269357600095505b821561269e57600092505b6126af565b6126af86333088612a9c565b600160008154809291906001019190505550600154905060405180610120016040528060001515815260200184151581526020016000151581526020013373ffffffffffffffffffffffffffffffffffffffff1681526020018973ffffffffffffffffffffffffffffffffffffffff1681526020018873ffffffffffffffffffffffffffffffffffffffff1681526020018773ffffffffffffffffffffffffffffffffffffffff168152602001868152602001858152506003600083815260200190815260200160002060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548160ff02191690831515021790555060408201518160000160026101000a81548160ff02191690831515021790555060608201518160000160036101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060808201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060a08201518160020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060c08201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e082015181600401556101008201518160050155905050808873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f5dd6a72c912fdb9d66bbc26b954fd1b78c3b3dca55bb418c6f0794d6a0dfd8656000878c8c8c8a604051610cee96959493929190613585565b600083815260036020526040902080546301000000900473ffffffffffffffffffffffffffffffffffffffff163314806129c95750600181015473ffffffffffffffffffffffffffffffffffffffff1633145b612a2f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f6e6f74207061727479000000000000000000000000000000000000000000000060448201526064016105d4565b80547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffff166201000017815560405184907f163e50b2645bed06053460d0680d98664bd767b646d786ade17af55001da517e90612a8e90869086906136cb565b60405180910390a250505050565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528481166044830152606480830185905283518084039091018152608490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd000000000000000000000000000000000000000000000000000000001790529151600092839290881691612b3b9190613718565b6000604051808303816000865af19150503d8060008114612b78576040519150601f19603f3d011682016040523d82523d6000602084013e612b7d565b606091505b5091509150818015612ba7575080511580612ba7575080806020019051810190612ba791906138a3565b612c0d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f70756c6c206661696c656400000000000000000000000000000000000000000060448201526064016105d4565b505050505050565b60008273ffffffffffffffffffffffffffffffffffffffff168260405160006040518083038185875af1925050503d8060008114612c6f576040519150601f19603f3d011682016040523d82523d6000602084013e612c74565b606091505b5050905080612cdf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f657468207472616e73666572206661696c65640000000000000000000000000060448201526064016105d4565b505050565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790529151600092839290871691612d7b9190613718565b6000604051808303816000865af19150503d8060008114612db8576040519150601f19603f3d011682016040523d82523d6000602084013e612dbd565b606091505b5091509150818015612de7575080511580612de7575080806020019051810190612de791906138a3565b612e4d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f7472616e73666572206661696c6564000000000000000000000000000000000060448201526064016105d4565b5050505050565b828054612e609061384f565b90600052602060002090601f016020900481019282612e825760008555612ee6565b82601f10612eb9578280017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00823516178555612ee6565b82800160010185558215612ee6579182015b82811115612ee6578235825591602001919060010190612ecb565b50612ef2929150612ef6565b5090565b5b80821115612ef25760008155600101612ef7565b803573ffffffffffffffffffffffffffffffffffffffff81168114612f2f57600080fd5b919050565b8015158114612f4257600080fd5b50565b8035612f2f81612f34565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016810167ffffffffffffffff81118282101715612fc657612fc6612f50565b604052919050565b600067ffffffffffffffff821115612fe857612fe8612f50565b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b600082601f83011261302557600080fd5b813561303861303382612fce565b612f7f565b81815284602083860101111561304d57600080fd5b816020850160208301376000918101602001919091529392505050565b600080600080600080600060e0888a03121561308557600080fd5b61308e88612f0b565b965061309c60208901612f0b565b95506130aa60408901612f0b565b9450606088013593506080880135925060a08801356130c881612f34565b915060c088013567ffffffffffffffff8111156130e457600080fd5b6130f08a828b01613014565b91505092959891949750929550565b803560ff81168114612f2f57600080fd5b60008060006060848603121561312557600080fd5b61312e846130ff565b95602085013595506040909401359392505050565b6000806040838503121561315657600080fd5b823561316181612f34565b915061316f602084016130ff565b90509250929050565b60006020828403121561318a57600080fd5b5035919050565b6000806000806000806000806000806000806101808d8f0312156131b457600080fd5b6131bd8d612f0b565b9b506131cb60208e01612f0b565b9a506131d960408e01612f0b565b995060608d0135985060808d013597506131f560a08e01612f45565b965061320360c08e01612f45565b955061321160e08e01612f45565b945067ffffffffffffffff6101008e0135111561322d57600080fd5b61323e8e6101008f01358f01613014565b935061324d6101208e016130ff565b92506101408d013591506101608d013590509295989b509295989b509295989b565b60008083601f84011261328157600080fd5b50813567ffffffffffffffff81111561329957600080fd5b6020830191508360208285010111156132b157600080fd5b9250929050565b6000806000806000608086880312156132d057600080fd5b853594506020860135935060408601359250606086013567ffffffffffffffff8111156132fc57600080fd5b6133088882890161326f565b969995985093965092949392505050565b60008060006040848603121561332e57600080fd5b83359250602084013567ffffffffffffffff81111561334c57600080fd5b6133588682870161326f565b9497909650939450505050565b60008060008060008060c0878903121561337e57600080fd5b61338787612f0b565b955060208701359450604087013593506133a3606088016130ff565b92506080870135915060a087013590509295509295509295565b600080602083850312156133d057600080fd5b823567ffffffffffffffff808211156133e857600080fd5b818501915085601f8301126133fc57600080fd5b81358181111561340b57600080fd5b8660208260051b850101111561342057600080fd5b60209290920196919550909350505050565b60005b8381101561344d578181015183820152602001613435565b8381111561345c576000848401525b50505050565b6000815180845261347a816020860160208601613432565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b6000602080830181845280855180835260408601915060408160051b870101925083870160005b8281101561351f577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc088860301845261350d858351613462565b945092850192908501906001016134d3565b5092979650505050505050565b60006020828403121561353e57600080fd5b61354782612f0b565b9392505050565b6020815260006135476020830184613462565b6000806040838503121561357457600080fd5b505080516020909101519092909150565b86151581528515156020820152600073ffffffffffffffffffffffffffffffffffffffff808716604084015280861660608401525083608083015260c060a08301526135d460c0830184613462565b98975050505050505050565b858152600073ffffffffffffffffffffffffffffffffffffffff8087166020840152808616604084015280851660608401525060a0608083015261362760a0830184613462565b979650505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000821982111561367457613674613632565b500190565b6000826136af577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000828210156136c6576136c6613632565b500390565b60208152816020820152818360408301376000818301604090810191909152601f9092017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0160101919050565b6000825161372a818460208701613432565b9190910192915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60008083357fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe184360301811261379857600080fd5b83018035915067ffffffffffffffff8211156137b357600080fd5b6020019150368190038213156132b157600080fd5b8183823760009101908152919050565b6000602082840312156137ea57600080fd5b815167ffffffffffffffff81111561380157600080fd5b8201601f8101841361381257600080fd5b805161382061303382612fce565b81815285602083850101111561383557600080fd5b613846826020830160208601613432565b95945050505050565b600181811c9082168061386357607f821691505b6020821081141561389d577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b6000602082840312156138b557600080fd5b815161354781612f3456fea2646970667358221220d702d45296e0ba156c954da65df2c05fcc32653b20b61f02bb572d816f81f25f64736f6c63430008090033000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd6439660000000000000000000000001c0aa8ccd568d90d61659f060d1bfb1e6f855a20000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2

0x60806040526004361061015f5760003560e01c806377631981116100c0578063b2c43bac11610074578063bd14de9611610059578063bd14de96146104e9578063c3fae25214610516578063f643509c1461052957600080fd5b8063b2c43bac14610477578063b93793e91461049757600080fd5b806385831633116100a557806385831633146103f6578063a9b62c231461042a578063ac9650d81461044a57600080fd5b806377631981146102e5578063809aab921461030557600080fd5b806337bdc99b1161011757806353b8973b116100fc57806353b8973b1461029257806359466d9a146102a5578063744b5db6146102c557600080fd5b806337bdc99b146102205780634f411f7b1461024057600080fd5b80632669714b116101485780632669714b146101ac5780632e1a7d4d146101cc5780633644e515146101ec57600080fd5b806304a46dc11461016457806312e3fd1f1461018a575b600080fd5b61017761017236600461306a565b610549565b6040519081526020015b60405180910390f35b34801561019657600080fd5b506101aa6101a5366004613110565b610d01565b005b3480156101b857600080fd5b506101aa6101c7366004613143565b610dc9565b3480156101d857600080fd5b506101aa6101e7366004613178565b610eed565b3480156101f857600080fd5b506101777f82beb3b804ba22d91a8bff71e3d29c2de36c59e2af14b1ea82ead50c3eaff6a381565b34801561022c57600080fd5b506101aa61023b366004613178565b6112c5565b34801561024c57600080fd5b5060005461026d9073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610181565b6101aa6102a0366004613191565b61161d565b3480156102b157600080fd5b506101aa6102c03660046132b8565b611879565b3480156102d157600080fd5b506101aa6102e0366004613319565b611f38565b3480156102f157600080fd5b506101aa610300366004613365565b612012565b34801561031157600080fd5b50610392610320366004613178565b600360208190526000918252604090912080546001820154600283015493830154600484015460059094015460ff8085169661010086048216966201000087049092169573ffffffffffffffffffffffffffffffffffffffff6301000000909104811695811694918116939116919089565b604080519915158a5297151560208a01529515159688019690965273ffffffffffffffffffffffffffffffffffffffff93841660608801529183166080870152821660a08601521660c084015260e083019190915261010082015261012001610181565b34801561040257600080fd5b506101777f0686b1187eca3c6b95b4cac603085a7185455f66b05e91dc4f8be4646f05589181565b34801561043657600080fd5b506101aa610445366004613365565b61216f565b34801561045657600080fd5b5061046a6104653660046133bd565b6121cd565b60405161018191906134ac565b34801561048357600080fd5b506101aa61049236600461352c565b612334565b3480156104a357600080fd5b506104d06104b236600461352c565b60046020526000908152604090205460ff8082169161010090041682565b60408051921515835260ff909116602083015201610181565b3480156104f557600080fd5b50610509610504366004613178565b612422565b604051610181919061354e565b61017761052436600461306a565b6124bc565b34801561053557600080fd5b506101aa610544366004613319565b612976565b73ffffffffffffffffffffffffffffffffffffffff861660009081526004602052604081205460ff166105dd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f7265736f6c766572206e6f74206163746976650000000000000000000000000060448201526064015b60405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8716331480159061062f57508773ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614155b610695576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f7265736f6c7665722063616e6e6f74206265207061727479000000000000000060448201526064016105d4565b341561086357843414610704576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f77726f6e67206d73672e76616c7565000000000000000000000000000000000060448201526064016105d4565b7f000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc273ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161461077b577f000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc295505b6040517f02b9446c00000000000000000000000000000000000000000000000000000000815260006004820181905230602483018190526044830152346064830181905260848301919091527f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd64396673ffffffffffffffffffffffffffffffffffffffff16916302b9446c919060a40160408051808303818588803b15801561082157600080fd5b505af1158015610835573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061085a9190613561565b9550610a259050565b82156109705761089586337f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd64396688612a9c565b6040517f02b9446c00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff87811660048301527f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd64396616602482018190523060448301526064820187905260006084830152906302b9446c9060a4016040805180830381600087803b15801561093857600080fd5b505af115801561094c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061085a9190613561565b6040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8781166004830152336024830152306044830152606482018790527f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd643966169063f18d03cc90608401600060405180830381600087803b158015610a0c57600080fd5b505af1158015610a20573d6000803e3d6000fd5b505050505b60016000815480929190600101919050555060015490506040518061012001604052806001151581526020016000151581526020016000151581526020013373ffffffffffffffffffffffffffffffffffffffff1681526020018973ffffffffffffffffffffffffffffffffffffffff1681526020018873ffffffffffffffffffffffffffffffffffffffff1681526020018773ffffffffffffffffffffffffffffffffffffffff168152602001868152602001858152506003600083815260200190815260200160002060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548160ff02191690831515021790555060408201518160000160026101000a81548160ff02191690831515021790555060608201518160000160036101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060808201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060a08201518160020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060c08201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e082015181600401556101008201518160050155905050808873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f5dd6a72c912fdb9d66bbc26b954fd1b78c3b3dca55bb418c6f0794d6a0dfd865600160008c8c8c8a604051610cee96959493929190613585565b60405180910390a4979650505050505050565b6040517fc0a47c930000000000000000000000000000000000000000000000000000000081523360048201523060248201526001604482015260ff841660648201526084810183905260a481018290527f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd64396673ffffffffffffffffffffffffffffffffffffffff169063c0a47c939060c401600060405180830381600087803b158015610dac57600080fd5b505af1158015610dc0573d6000803e3d6000fd5b50505050505050565b60ff8116610e33576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f666565206d7573742062652067726561746572207468616e207a65726f00000060448201526064016105d4565b60408051808201825283151580825260ff848116602080850182815233600081815260049093528783209651875492517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00009093169015157fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff16176101009290951691909102939093179094559351919290917ffcc84135f183b742bb0da01339486410059e7c28b738caa475534504bb8ef7d19190a45050565b600081815260036020526040902080546301000000900473ffffffffffffffffffffffffffffffffffffffff163314610f82576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74206465706f7369746f720000000000000000000000000000000000000060448201526064016105d4565b805462010000900460ff1615610ff4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f6c6f636b6564000000000000000000000000000000000000000000000000000060448201526064016105d4565b8060050154421015611062576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f6e6f74207465726d696e6174656400000000000000000000000000000000000060448201526064016105d4565b600381015473ffffffffffffffffffffffffffffffffffffffff166110b457805460048201546110af916301000000900473ffffffffffffffffffffffffffffffffffffffff1690612c15565b611213565b805460ff161561119257600381015481546004808401546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff9485169281019290925230602483015263010000009092048316604482015260648101919091527f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd6439669091169063f18d03cc90608401600060405180830381600087803b15801561117557600080fd5b505af1158015611189573d6000803e3d6000fd5b50505050611213565b8054610100900460ff166111d7576003810154815460048301546110af9273ffffffffffffffffffffffffffffffffffffffff90811692630100000090041690612ce4565b6003810154815460048301546112139273ffffffffffffffffffffffffffffffffffffffff908116923092630100000090910490911690612a9c565b600082815260036020819052604080832080547fffffffffffffffffff00000000000000000000000000000000000000000000001681556001810180547fffffffffffffffffffffffff00000000000000000000000000000000000000009081169091556002820180548216905592810180549093169092556004820183905560059091018290555183917f5b6b431d4476a211bb7d41c20d1aab9ae2321deee0d20be3d9fc9b1093fa6e3d91a25050565b6000818152600360205260409020805462010000900460ff1615611345576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f6c6f636b6564000000000000000000000000000000000000000000000000000060448201526064016105d4565b80546301000000900473ffffffffffffffffffffffffffffffffffffffff1633146113cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74206465706f7369746f720000000000000000000000000000000000000060448201526064016105d4565b600381015473ffffffffffffffffffffffffffffffffffffffff1661141a57600181015460048201546114159173ffffffffffffffffffffffffffffffffffffffff1690612c15565b61156b565b805460ff16156114f457600381015460018201546004808401546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff94851692810192909252306024830152918316604482015260648101919091527f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd6439669091169063f18d03cc90608401600060405180830381600087803b1580156114d757600080fd5b505af11580156114eb573d6000803e3d6000fd5b5050505061156b565b8054610100900460ff16611535576003810154600182015460048301546114159273ffffffffffffffffffffffffffffffffffffffff908116921690612ce4565b60038101546001820154600483015461156b9273ffffffffffffffffffffffffffffffffffffffff908116923092911690612a9c565b600082815260036020819052604080832080547fffffffffffffffffff00000000000000000000000000000000000000000000001681556001810180547fffffffffffffffffffffffff00000000000000000000000000000000000000009081169091556002820180548216905592810180549093169092556004820183905560059091018290555183917fcf95d1fe0feb1424b6916a8d99a225f598710466d34c5a755770a1d4d49311a091a25050565b60007f82beb3b804ba22d91a8bff71e3d29c2de36c59e2af14b1ea82ead50c3eaff6a37f0686b1187eca3c6b95b4cac603085a7185455f66b05e91dc4f8be4646f055891338f8f896040516020016116799594939291906135e0565b604051602081830303815290604052805190602001206040516020016116d19291907f190100000000000000000000000000000000000000000000000000000000000081526002810192909252602282015260420190565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181528282528051602091820120600080855291840180845281905260ff88169284019290925260608301869052608083018590529092509060019060a0016020604051602081039080840390855afa15801561175a573d6000803e3d6000fd5b5050506020604051035190508d73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146117fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f696e76616c696420696e766f696365000000000000000000000000000000000060448201526064016105d4565b886118155761180f8e8e8e8e8e8d8c6124bc565b50611826565b6118248e8e8e8e8e8c8c610549565b505b60405173ffffffffffffffffffffffffffffffffffffffff8f169033907fdb7dd26da71b644d169a0b3d86a9a13fdb4ab8903527408cb23f8f9b0065d3c790600090a35050505050505050505050505050565b6000858152600360205260409020600281015473ffffffffffffffffffffffffffffffffffffffff16331461190a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f6e6f74207265736f6c766572000000000000000000000000000000000000000060448201526064016105d4565b805462010000900460ff1661197b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f6e6f74206c6f636b65640000000000000000000000000000000000000000000060448201526064016105d4565b600481015461198a8587613661565b146119f1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f742072656d61696e6465720000000000000000000000000000000000000060448201526064016105d4565b600281015473ffffffffffffffffffffffffffffffffffffffff16600090815260046020819052604082205490830154611a3391610100900460ff1690613679565b9050611a40600282613679565b611a4a90876136b4565b9550611a57600282613679565b611a6190866136b4565b600383015490955073ffffffffffffffffffffffffffffffffffffffff16611afb578154611aac906301000000900473ffffffffffffffffffffffffffffffffffffffff1687612c15565b6001820154611ad19073ffffffffffffffffffffffffffffffffffffffff1686612c15565b6002820154611af69073ffffffffffffffffffffffffffffffffffffffff1682612c15565b611e68565b815460ff1615611d5457600382015482546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff9283166004820152306024820152630100000090910482166044820152606481018890527f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd6439669091169063f18d03cc90608401600060405180830381600087803b158015611bb357600080fd5b505af1158015611bc7573d6000803e3d6000fd5b50505050600382015460018301546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff92831660048201523060248201529082166044820152606481018790527f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd6439669091169063f18d03cc90608401600060405180830381600087803b158015611c7557600080fd5b505af1158015611c89573d6000803e3d6000fd5b50505050600382015460028301546040517ff18d03cc00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff92831660048201523060248201529082166044820152606481018390527f000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd6439669091169063f18d03cc90608401600060405180830381600087803b158015611d3757600080fd5b505af1158015611d4b573d6000803e3d6000fd5b50505050611e68565b8154610100900460ff16611df05760038201548254611d949173ffffffffffffffffffffffffffffffffffffffff90811691630100000090041688612ce4565b60038201546001830154611dc29173ffffffffffffffffffffffffffffffffffffffff908116911687612ce4565b60038201546002830154611af69173ffffffffffffffffffffffffffffffffffffffff908116911683612ce4565b8515611e3257600382015482546004840154611af69273ffffffffffffffffffffffffffffffffffffffff908116923092630100000090910490911690612a9c565b600382015460018301546004840154611e689273ffffffffffffffffffffffffffffffffffffffff908116923092911690612a9c565b600087815260036020819052604080832080547fffffffffffffffffff00000000000000000000000000000000000000000000001681556001810180547fffffffffffffffffffffffff000000000000000000000000000000000000000090811690915560028201805482169055928101805490931690925560048201839055600590910191909155518590879089907f6eb850ab7e146f6edb53acb7f95559fba222c26806e2a2ba2c5056043af7098390611f2790899089906136cb565b60405180910390a450505050505050565b60005473ffffffffffffffffffffffffffffffffffffffff163314611fb9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f6e6f74204c657844414f0000000000000000000000000000000000000000000060448201526064016105d4565b6000838152600260205260409020611fd2908383612e54565b50827fd68bcd6f84001ed66f1083ec342e3ad7038be2c24bd39561b29ff3d405cd17d483836040516120059291906136cb565b60405180910390a2505050565b6040513360248201523060448201526064810186905260848101859052600160a482015260ff841660c482015260e48101839052610104810182905260009073ffffffffffffffffffffffffffffffffffffffff881690638fcbaf0c90610124015b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516120c29190613718565b6000604051808303816000865af19150503d80600081146120ff576040519150601f19603f3d011682016040523d82523d6000602084013e612104565b606091505b5050905080610dc0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f7065726d6974206661696c65640000000000000000000000000000000000000060448201526064016105d4565b604051336024820152306044820152606481018690526084810185905260ff841660a482015260c4810183905260e4810182905260009073ffffffffffffffffffffffffffffffffffffffff88169063d505accf9061010401612074565b60608167ffffffffffffffff8111156121e8576121e8612f50565b60405190808252806020026020018201604052801561221b57816020015b60608152602001906001900390816122065790505b50905060005b8281101561232d576000803086868581811061223f5761223f613734565b90506020028101906122519190613763565b60405161225f9291906137c8565b600060405180830381855af49150503d806000811461229a576040519150601f19603f3d011682016040523d82523d6000602084013e61229f565b606091505b509150915081612305576044815110156122b857600080fd5b600481019050808060200190518101906122d291906137d8565b6040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d4919061354e565b8084848151811061231857612318613734565b60209081029190910101525050600101612221565b5092915050565b60005473ffffffffffffffffffffffffffffffffffffffff1633146123b5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f6e6f74204c657844414f0000000000000000000000000000000000000000000060448201526064016105d4565b600080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff8316908117825560405190917f825a66cec4462a68a7a7c3488ce373198080660f3e29fa9b969527a2e83be60091a250565b6002602052600090815260409020805461243b9061384f565b80601f01602080910402602001604051908101604052809291908181526020018280546124679061384f565b80156124b45780601f10612489576101008083540402835291602001916124b4565b820191906000526020600020905b81548152906001019060200180831161249757829003601f168201915b505050505081565b73ffffffffffffffffffffffffffffffffffffffff861660009081526004602052604081205460ff1661254b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f7265736f6c766572206e6f74206163746976650000000000000000000000000060448201526064016105d4565b73ffffffffffffffffffffffffffffffffffffffff8716331480159061259d57508773ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614155b612603576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f7265736f6c7665722063616e6e6f74206265207061727479000000000000000060448201526064016105d4565b34156126a357843414612672576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f77726f6e67206d73672e76616c7565000000000000000000000000000000000060448201526064016105d4565b73ffffffffffffffffffffffffffffffffffffffff86161561269357600095505b821561269e57600092505b6126af565b6126af86333088612a9c565b600160008154809291906001019190505550600154905060405180610120016040528060001515815260200184151581526020016000151581526020013373ffffffffffffffffffffffffffffffffffffffff1681526020018973ffffffffffffffffffffffffffffffffffffffff1681526020018873ffffffffffffffffffffffffffffffffffffffff1681526020018773ffffffffffffffffffffffffffffffffffffffff168152602001868152602001858152506003600083815260200190815260200160002060008201518160000160006101000a81548160ff02191690831515021790555060208201518160000160016101000a81548160ff02191690831515021790555060408201518160000160026101000a81548160ff02191690831515021790555060608201518160000160036101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060808201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060a08201518160020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060c08201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e082015181600401556101008201518160050155905050808873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f5dd6a72c912fdb9d66bbc26b954fd1b78c3b3dca55bb418c6f0794d6a0dfd8656000878c8c8c8a604051610cee96959493929190613585565b600083815260036020526040902080546301000000900473ffffffffffffffffffffffffffffffffffffffff163314806129c95750600181015473ffffffffffffffffffffffffffffffffffffffff1633145b612a2f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f6e6f74207061727479000000000000000000000000000000000000000000000060448201526064016105d4565b80547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffff166201000017815560405184907f163e50b2645bed06053460d0680d98664bd767b646d786ade17af55001da517e90612a8e90869086906136cb565b60405180910390a250505050565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528481166044830152606480830185905283518084039091018152608490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd000000000000000000000000000000000000000000000000000000001790529151600092839290881691612b3b9190613718565b6000604051808303816000865af19150503d8060008114612b78576040519150601f19603f3d011682016040523d82523d6000602084013e612b7d565b606091505b5091509150818015612ba7575080511580612ba7575080806020019051810190612ba791906138a3565b612c0d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f70756c6c206661696c656400000000000000000000000000000000000000000060448201526064016105d4565b505050505050565b60008273ffffffffffffffffffffffffffffffffffffffff168260405160006040518083038185875af1925050503d8060008114612c6f576040519150601f19603f3d011682016040523d82523d6000602084013e612c74565b606091505b5050905080612cdf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f657468207472616e73666572206661696c65640000000000000000000000000060448201526064016105d4565b505050565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790529151600092839290871691612d7b9190613718565b6000604051808303816000865af19150503d8060008114612db8576040519150601f19603f3d011682016040523d82523d6000602084013e612dbd565b606091505b5091509150818015612de7575080511580612de7575080806020019051810190612de791906138a3565b612e4d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f7472616e73666572206661696c6564000000000000000000000000000000000060448201526064016105d4565b5050505050565b828054612e609061384f565b90600052602060002090601f016020900481019282612e825760008555612ee6565b82601f10612eb9578280017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00823516178555612ee6565b82800160010185558215612ee6579182015b82811115612ee6578235825591602001919060010190612ecb565b50612ef2929150612ef6565b5090565b5b80821115612ef25760008155600101612ef7565b803573ffffffffffffffffffffffffffffffffffffffff81168114612f2f57600080fd5b919050565b8015158114612f4257600080fd5b50565b8035612f2f81612f34565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016810167ffffffffffffffff81118282101715612fc657612fc6612f50565b604052919050565b600067ffffffffffffffff821115612fe857612fe8612f50565b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b600082601f83011261302557600080fd5b813561303861303382612fce565b612f7f565b81815284602083860101111561304d57600080fd5b816020850160208301376000918101602001919091529392505050565b600080600080600080600060e0888a03121561308557600080fd5b61308e88612f0b565b965061309c60208901612f0b565b95506130aa60408901612f0b565b9450606088013593506080880135925060a08801356130c881612f34565b915060c088013567ffffffffffffffff8111156130e457600080fd5b6130f08a828b01613014565b91505092959891949750929550565b803560ff81168114612f2f57600080fd5b60008060006060848603121561312557600080fd5b61312e846130ff565b95602085013595506040909401359392505050565b6000806040838503121561315657600080fd5b823561316181612f34565b915061316f602084016130ff565b90509250929050565b60006020828403121561318a57600080fd5b5035919050565b6000806000806000806000806000806000806101808d8f0312156131b457600080fd5b6131bd8d612f0b565b9b506131cb60208e01612f0b565b9a506131d960408e01612f0b565b995060608d0135985060808d013597506131f560a08e01612f45565b965061320360c08e01612f45565b955061321160e08e01612f45565b945067ffffffffffffffff6101008e0135111561322d57600080fd5b61323e8e6101008f01358f01613014565b935061324d6101208e016130ff565b92506101408d013591506101608d013590509295989b509295989b509295989b565b60008083601f84011261328157600080fd5b50813567ffffffffffffffff81111561329957600080fd5b6020830191508360208285010111156132b157600080fd5b9250929050565b6000806000806000608086880312156132d057600080fd5b853594506020860135935060408601359250606086013567ffffffffffffffff8111156132fc57600080fd5b6133088882890161326f565b969995985093965092949392505050565b60008060006040848603121561332e57600080fd5b83359250602084013567ffffffffffffffff81111561334c57600080fd5b6133588682870161326f565b9497909650939450505050565b60008060008060008060c0878903121561337e57600080fd5b61338787612f0b565b955060208701359450604087013593506133a3606088016130ff565b92506080870135915060a087013590509295509295509295565b600080602083850312156133d057600080fd5b823567ffffffffffffffff808211156133e857600080fd5b818501915085601f8301126133fc57600080fd5b81358181111561340b57600080fd5b8660208260051b850101111561342057600080fd5b60209290920196919550909350505050565b60005b8381101561344d578181015183820152602001613435565b8381111561345c576000848401525b50505050565b6000815180845261347a816020860160208601613432565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b6000602080830181845280855180835260408601915060408160051b870101925083870160005b8281101561351f577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc088860301845261350d858351613462565b945092850192908501906001016134d3565b5092979650505050505050565b60006020828403121561353e57600080fd5b61354782612f0b565b9392505050565b6020815260006135476020830184613462565b6000806040838503121561357457600080fd5b505080516020909101519092909150565b86151581528515156020820152600073ffffffffffffffffffffffffffffffffffffffff808716604084015280861660608401525083608083015260c060a08301526135d460c0830184613462565b98975050505050505050565b858152600073ffffffffffffffffffffffffffffffffffffffff8087166020840152808616604084015280851660608401525060a0608083015261362760a0830184613462565b979650505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000821982111561367457613674613632565b500190565b6000826136af577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000828210156136c6576136c6613632565b500390565b60208152816020820152818360408301376000818301604090810191909152601f9092017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0160101919050565b6000825161372a818460208701613432565b9190910192915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60008083357fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe184360301811261379857600080fd5b83018035915067ffffffffffffffff8211156137b357600080fd5b6020019150368190038213156132b157600080fd5b8183823760009101908152919050565b6000602082840312156137ea57600080fd5b815167ffffffffffffffff81111561380157600080fd5b8201601f8101841361381257600080fd5b805161382061303382612fce565b81815285602083850101111561383557600080fd5b613846826020830160208601613432565b95945050505050565b600181811c9082168061386357607f821691505b6020821081141561389d577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b6000602082840312156138b557600080fd5b815161354781612f3456fea2646970667358221220d702d45296e0ba156c954da65df2c05fcc32653b20b61f02bb572d816f81f25f64736f6c63430008090033

000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd6439660000000000000000000000001c0aa8ccd568d90d61659f060d1bfb1e6f855a20000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2

-----Decoded View---------------
Arg [0] : _bento (address): 0xF5BCE5077908a1b7370B9ae04AdC565EBd643966
Arg [1] : _lexDAO (address): 0x1C0Aa8cCD568d90d61659F060D1bFb1e6f855A20
Arg [2] : _wETH (address): 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 000000000000000000000000f5bce5077908a1b7370b9ae04adc565ebd643966
Arg [1] : 0000000000000000000000001c0aa8ccd568d90d61659f060d1bfb1e6f855a20
Arg [2] : 000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2

1904:20607:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7047:1546;;;;;;:::i;:::-;;:::i;:::-;;;2683:25:1;;;2671:2;2656:18;7047:1546:0;;;;;;;;20617:158;;;;;;;;;;-1:-1:-1;20617:158:0;;;;;:::i;:::-;;:::i;:::-;;16759:241;;;;;;;;;;-1:-1:-1;16759:241:0;;;;;:::i;:::-;;:::i;12287:1020::-;;;;;;;;;;-1:-1:-1;12287:1020:0;;;;;:::i;:::-;;:::i;2052:41::-;;;;;;;;;;;;;;;11133:940;;;;;;;;;;-1:-1:-1;11133:940:0;;;;;:::i;:::-;;:::i;1969:21::-;;;;;;;;;;-1:-1:-1;1969:21:0;;;;;;;;;;;4062:42:1;4050:55;;;4032:74;;4020:2;4005:18;1969:21:0;3886:226:1;9484:1384:0;;;;;;:::i;:::-;;:::i;14493:1991::-;;;;;;;;;;-1:-1:-1;14493:1991:0;;;;;:::i;:::-;;:::i;17316:231::-;;;;;;;;;;-1:-1:-1;17316:231:0;;;;;:::i;:::-;;:::i;19932:445::-;;;;;;;;;;-1:-1:-1;19932:445:0;;;;;:::i;:::-;;:::i;2297:41::-;;;;;;;;;;-1:-1:-1;2297:41:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7595:14:1;;7588:22;7570:41;;7654:14;;7647:22;7642:2;7627:18;;7620:50;7713:14;;7706:22;7686:18;;;7679:50;;;;7748:42;7826:15;;;7821:2;7806:18;;7799:43;7879:15;;;7873:3;7858:19;;7851:44;7932:15;;7926:3;7911:19;;7904:44;7985:15;7979:3;7964:19;;7957:44;8032:3;8017:19;;8010:35;;;;8076:3;8061:19;;8054:35;7557:3;7542:19;2297:41:0;7217:878:1;2100:137:0;;;;;;;;;;;;2139:98;2100:137;;19043:433;;;;;;;;;;-1:-1:-1;19043:433:0;;;;;:::i;:::-;;:::i;18003:599::-;;;;;;;;;;-1:-1:-1;18003:599:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;17659:174::-;;;;;;;;;;-1:-1:-1;17659:174:0;;;;;:::i;:::-;;:::i;2345:45::-;;;;;;;;;;-1:-1:-1;2345:45:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;10559:14:1;;10552:22;10534:41;;10623:4;10611:17;;;10606:2;10591:18;;10584:45;10507:18;2345:45:0;10370:265:1;2246:44:0;;;;;;;;;;-1:-1:-1;2246:44:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;5063:1262::-;;;;;;:::i;:::-;;:::i;13643:334::-;;;;;;;;;;-1:-1:-1;13643:334:0;;;;;:::i;:::-;;:::i;7047:1546::-;7333:19;;;7292:20;7333:19;;;:9;:19;;;;;:26;;;7325:58;;;;;;;11066:2:1;7325:58:0;;;11048:21:1;11105:2;11085:18;;;11078:30;11144:21;11124:18;;;11117:49;11183:18;;7325:58:0;;;;;;;;;7402:22;;;7414:10;7402:22;;;;:46;;;7440:8;7428:20;;:8;:20;;;;7402:46;7394:83;;;;;;;11414:2:1;7394:83:0;;;11396:21:1;11453:2;11433:18;;;11426:30;11492:26;11472:18;;;11465:54;11536:18;;7394:83:0;11212:348:1;7394:83:0;7566:9;:14;7562:611;;7618:5;7605:9;:18;7597:46;;;;;;;11767:2:1;7597:46:0;;;11749:21:1;11806:2;11786:18;;;11779:30;11845:17;11825:18;;;11818:45;11880:18;;7597:46:0;11565:339:1;7597:46:0;7747:4;7738:13;;:5;:13;;;7734:31;;7761:4;7753:12;;7734:31;7792:87;;;;;7832:1;7792:87;;;12237:34:1;;;7844:4:0;12287:18:1;;;12280:43;;;12339:18;;;12332:43;7813:9:0;12391:18:1;;;12384:34;;;12434:19;;;12427:35;;;;7792:5:0;:13;;;;;7813:9;12148:19:1;;7792:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7780:99;-1:-1:-1;7562:611:0;;-1:-1:-1;7562:611:0;;7901:9;7897:276;;;7927:58;7944:5;7951:10;7971:5;7979;7927:16;:58::i;:::-;8012:61;;;;;:13;12255:15:1;;;8012:61:0;;;12237:34:1;8012:5:0;:13;12287:18:1;;;12280:43;;;8057:4:0;12339:18:1;;;12332:43;12391:18;;;12384:34;;;8071:1:0;12434:19:1;;;12427:35;8012:13:0;;;12148:19:1;;8012:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;7897:276::-;8106:55;;;;;:14;13033:15:1;;;8106:55:0;;;13015:34:1;8128:10:0;13065:18:1;;;13058:43;8148:4:0;13117:18:1;;;13110:43;13169:18;;;13162:34;;;8106:5:0;:14;;;;12926:19:1;;8106:55:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7897:276;8289:11;;:13;;;;;;;;;;;;;8339:11;;8324:26;;8385:85;;;;;;;;8392:4;8385:85;;;;;;8398:5;8385:85;;;;;;8405:5;8385:85;;;;;;8412:10;8385:85;;;;;;8424:8;8385:85;;;;;;8434:8;8385:85;;;;;;8444:5;8385:85;;;;;;8451:5;8385:85;;;;8458:11;8385:85;;;8361:7;:21;8369:12;8361:21;;;;;;;;;;;:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8563:12;8529:8;8496:89;;8517:10;8496:89;;;8504:4;8510:5;8539:8;8549:5;8556;8577:7;8496:89;;;;;;;;;;;:::i;:::-;;;;;;;;7047:1546;;;;;;;;;:::o;20617:158::-;20694:73;;;;;20726:10;20694:73;;;14227:34:1;20746:4:0;14277:18:1;;;14270:43;20753:4:0;14329:18:1;;;14322:50;14420:4;14408:17;;14388:18;;;14381:45;14442:19;;;14435:35;;;14486:19;;;14479:35;;;20694:5:0;:31;;;;;14138:19:1;;20694:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20617:158;;;:::o;16759:241::-;16837:8;;;16829:50;;;;;;;14727:2:1;16829:50:0;;;14709:21:1;14766:2;14746:18;;;14739:30;14805:31;14785:18;;;14778:59;14854:18;;16829:50:0;14525:353:1;16829:50:0;16914:21;;;;;;;;;;;;;;;;;;;;;;;;;16900:10;-1:-1:-1;16890:21:0;;;:9;:21;;;;;;:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16951:41;;16914:21;;16900:10;;16951:41;;-1:-1:-1;16951:41:0;16759:241;;:::o;12287:1020::-;12347:21;12371;;;:7;:21;;;;;12435:16;;;;;;;12421:10;:30;12413:56;;;;;;;15085:2:1;12413:56:0;;;15067:21:1;15124:2;15104:18;;;15097:30;15163:15;15143:18;;;15136:43;15196:18;;12413:56:0;14883:337:1;12413:56:0;12489:13;;;;;;;12488:14;12480:33;;;;;;;15427:2:1;12480:33:0;;;15409:21:1;15466:1;15446:18;;;15439:29;15504:8;15484:18;;;15477:36;15530:18;;12480:33:0;15225:329:1;12480:33:0;12551:6;:18;;;12532:15;:37;;12524:64;;;;;;;15761:2:1;12524:64:0;;;15743:21:1;15800:2;15780:18;;;15773:30;15839:16;15819:18;;;15812:44;15873:18;;12524:64:0;15559:338:1;12524:64:0;12654:12;;;;:26;:12;12650:553;;12735:16;;12753:12;;;;12719:47;;12735:16;;;;;;12719:15;:47::i;:::-;12650:553;;;12788:12;;;;12784:419;;;12866:12;;;;12895:16;;12913:12;;;;;12851:75;;;;;:14;12866:12;;;12851:75;;;13015:34:1;;;;12888:4:0;13065:18:1;;;13058:43;12895:16:0;;;;;;13117:18:1;;;13110:43;13169:18;;;13162:34;;;;12851:5:0;:14;;;;;;12926:19:1;;12851:75:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12784:419;;;12949:10;;;;;;;12944:259;;13014:12;;;;13028:16;;13046:12;;;;13001:58;;13014:12;;;;;13028:16;;;;;13001:12;:58::i;12944:259::-;13131:12;;;;13160:16;;13178:12;;;;13114:77;;13131:12;;;;;13153:4;;13160:16;;;;;;;;13114;:77::i;:::-;13230:21;;;;:7;:21;;;;;;;;13223:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13277:22;13238:12;;13277:22;;;12336:971;12287:1020;:::o;11133:940::-;11192:21;11216;;;:7;:21;;;;;11268:13;;;;;;;11267:14;11259:33;;;;;;;15427:2:1;11259:33:0;;;15409:21:1;15466:1;15446:18;;;15439:29;15504:8;15484:18;;;15477:36;15530:18;;11259:33:0;15225:329:1;11259:33:0;11325:16;;;;;;;11311:10;:30;11303:56;;;;;;;15085:2:1;11303:56:0;;;15067:21:1;15124:2;15104:18;;;15097:30;15163:15;15143:18;;;15136:43;15196:18;;11303:56:0;14883:337:1;11303:56:0;11425:12;;;;:26;:12;11421:549;;11506:15;;;;11523:12;;;;11490:46;;11506:15;;;11490;:46::i;:::-;11421:549;;;11558:12;;;;11554:416;;;11636:12;;;;;11665:15;;;11682:12;;;;;11621:74;;;;;:14;11636:12;;;11621:74;;;13015:34:1;;;;11658:4:0;13065:18:1;;;13058:43;11665:15:0;;;13117:18:1;;;13110:43;13169:18;;;13162:34;;;;11621:5:0;:14;;;;;;12926:19:1;;11621:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11554:416;;;11718:10;;;;;;;11713:257;;11783:12;;;;;11797:15;;;11814:12;;;;11770:57;;11783:12;;;;;11797:15;;11770:12;:57::i;11713:257::-;11899:12;;;;;11928:15;;;11945:12;;;;11882:76;;11899:12;;;;;11921:4;;11928:15;;;11882:16;:76::i;:::-;11997:21;;;;:7;:21;;;;;;;;11990:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12044:21;12005:12;;12044:21;;;11181:892;11133:940;:::o;9484:1384::-;9894:14;10024:16;2139:98;10183:10;10224:8;10263;10302:7;10099:237;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;10063:296;;;;;;9952:426;;;;;;;;16771:66:1;16759:79;;16863:1;16854:11;;16847:27;;;;16899:2;16890:12;;16883:28;16936:2;16927:12;;16501:444;9952:426:0;;;;;;;;;;;;;;9924:469;;9952:426;9924:469;;;;10404:24;10431:26;;;;;;;;;17177:25:1;;;17250:4;17238:17;;17218:18;;;17211:45;;;;17272:18;;;17265:34;;;17315:18;;;17308:34;;;9924:469:0;;-1:-1:-1;10404:24:0;10431:26;;17149:19:1;;10431:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10404:53;;10496:8;10476:28;;:16;:28;;;10468:56;;;;;;;17555:2:1;10468:56:0;;;17537:21:1;17594:2;17574:18;;;17567:30;17633:17;17613:18;;;17606:45;17668:18;;10468:56:0;17353:339:1;10468:56:0;10577:10;10572:224;;10604:68;10612:8;10622;10632:5;10639;10646:11;10659:3;10664:7;10604;:68::i;:::-;;10572:224;;;10705:79;10718:8;10728;10738:5;10745;10752:11;10765:9;10776:7;10705:12;:79::i;:::-;;10572:224;10821:39;;;;;;10839:10;;10821:39;;;;;9829:1039;;9484:1384;;;;;;;;;;;;:::o;14493:1991::-;14624:21;14648;;;:7;:21;;;;;14713:15;;;;;;14699:10;:29;14691:54;;;;;;;17899:2:1;14691:54:0;;;17881:21:1;17938:2;17918:18;;;17911:30;17977:14;17957:18;;;17950:42;18009:18;;14691:54:0;17697:336:1;14691:54:0;14764:13;;;;;;;14756:36;;;;;;;18240:2:1;14756:36:0;;;18222:21:1;18279:2;18259:18;;;18252:30;18318:12;18298:18;;;18291:40;18348:18;;14756:36:0;18038:334:1;14756:36:0;14845:12;;;;14811:30;14828:13;14811:14;:30;:::i;:::-;:46;14803:72;;;;;;;18901:2:1;14803:72:0;;;18883:21:1;18940:2;18920:18;;;18913:30;18979:15;18959:18;;;18952:43;19012:18;;14803:72:0;18699:337:1;14803:72:0;15007:15;;;;;;14960:19;14997:26;;;:9;:26;;;;;;;:30;14982:12;;;;:45;;15007:15;14997:30;;;;;14982:45;:::i;:::-;14960:67;-1:-1:-1;15056:15:0;15070:1;14960:67;15056:15;:::i;:::-;15038:33;;;;:::i;:::-;;-1:-1:-1;15099:15:0;15113:1;15099:11;:15;:::i;:::-;15082:32;;;;:::i;:::-;15181:12;;;;15082:32;;-1:-1:-1;15181:26:0;:12;15177:1164;;15260:16;;15244:49;;15260:16;;;;;15278:14;15244:15;:49::i;:::-;15324:15;;;;15308:47;;15324:15;;15341:13;15308:15;:47::i;:::-;15386:15;;;;15370:45;;15386:15;;15403:11;15370:15;:45::i;:::-;15177:1164;;;15437:12;;;;15433:908;;;15510:12;;;;15539:16;;15495:77;;;;;:14;15510:12;;;15495:77;;;13015:34:1;15532:4:0;13065:18:1;;;13058:43;15539:16:0;;;;;;13117:18:1;;;13110:43;13169:18;;;13162:34;;;15495:5:0;:14;;;;;;12926:19:1;;15495:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;15602:12:0;;;;;15631:15;;;15587:75;;;;;:14;15602:12;;;15587:75;;;13015:34:1;15624:4:0;13065:18:1;;;13058:43;15631:15:0;;;13117:18:1;;;13110:43;13169:18;;;13162:34;;;15587:5:0;:14;;;;;;12926:19:1;;15587:75:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;15692:12:0;;;;15721:15;;;;15677:73;;;;;:14;15692:12;;;15677:73;;;13015:34:1;15714:4:0;13065:18:1;;;13058:43;15721:15:0;;;13117:18:1;;;13110:43;13169:18;;;13162:34;;;15677:5:0;:14;;;;;;12926:19:1;;15677:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15433:908;;;15773:10;;;;;;;15768:573;;15832:12;;;;15846:16;;15819:60;;15832:12;;;;;15846:16;;;;15864:14;15819:12;:60::i;:::-;15907:12;;;;;15921:15;;;15894:58;;15907:12;;;;;15921:15;15938:13;15894:12;:58::i;:::-;15980:12;;;;15994:15;;;;15967:56;;15980:12;;;;;15994:15;16011:11;15967:12;:56::i;15768:573::-;16080:19;;16076:254;;16137:12;;;;16166:16;;16184:12;;;;16120:77;;16137:12;;;;;16159:4;;16166:16;;;;;;;;16120;:77::i;16076:254::-;16255:12;;;;;16284:15;;;16301:12;;;;16238:76;;16255:12;;;;;16277:4;;16284:15;;;16238:16;:76::i;:::-;16368:21;;;;:7;:21;;;;;;;;16361:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16415:61;16453:13;;16437:14;;16376:12;;16415:61;;;;16468:7;;;;16415:61;:::i;:::-;;;;;;;;14613:1871;;14493:1991;;;;;:::o;17316:231::-;17427:6;;;;17413:10;:20;17405:43;;;;;;;20106:2:1;17405:43:0;;;20088:21:1;20145:2;20125:18;;;20118:30;20184:12;20164:18;;;20157:40;20214:18;;17405:43:0;19904:334:1;17405:43:0;17459:17;;;;:10;:17;;;;;:29;;17479:9;;17459:29;:::i;:::-;;17522:5;17504:35;17529:9;;17504:35;;;;;;;:::i;:::-;;;;;;;;17316:231;;;:::o;19932:445::-;20233:91;;20268:10;20233:91;;;20637:34:1;20288:4:0;20687:18:1;;;20680:43;20739:18;;;20732:34;;;20782:18;;;20775:34;;;20310:4:0;20825:19:1;;;20818:51;20918:4;20906:17;;20885:19;;;20878:46;20940:19;;;20933:35;;;20984:19;;;20977:35;;;20204:12:0;;20222:10;;;;20256;;20548:19:1;;20233:91:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20222:103;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20203:122;;;20344:7;20336:33;;;;;;;21504:2:1;20336:33:0;;;21486:21:1;21543:2;21523:18;;;21516:30;21582:15;21562:18;;;21555:43;21615:18;;20336:33:0;21302:337:1;19043:433:0;19335:88;;19370:10;19335:88;;;22016:34:1;19390:4:0;22066:18:1;;;22059:43;22118:18;;;22111:34;;;22161:18;;;22154:34;;;22237:4;22225:17;;22204:19;;;22197:46;22259:19;;;22252:35;;;22303:19;;;22296:35;;;19306:12:0;;19324:10;;;;19358;;21927:19:1;;19335:88:0;21644:693:1;18003:599:0;18063:22;18120:4;18108:24;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18098:34;;18173:9;18168:416;18188:15;;;18168:416;;;18230:12;;18275:4;18294;;18299:1;18294:7;;;;;;;:::i;:::-;;;;;;;;;;;;:::i;:::-;18267:35;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18229:73;;;;18326:7;18321:210;;18378:2;18362:6;:13;:18;18358:32;;;18382:8;;;18358:32;18446:4;18438:6;18434:17;18424:27;;18493:6;18482:28;;;;;;;;;;;;:::i;:::-;18475:36;;;;;;;;;;;:::i;18321:210::-;18562:6;18549:7;18557:1;18549:10;;;;;;;;:::i;:::-;;;;;;;;;;:19;-1:-1:-1;;18205:3:0;;18168:416;;;;18003:599;;;;:::o;17659:174::-;17740:6;;;;17726:10;:20;17718:43;;;;;;;20106:2:1;17718:43:0;;;20088:21:1;20145:2;20125:18;;;20118:30;20184:12;20164:18;;;20157:40;20214:18;;17718:43:0;19904:334:1;17718:43:0;17772:6;:16;;;;;;;;;;;;17804:21;;17772:16;;17804:21;;;17659:174;:::o;2246:44::-;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5063:1262::-;5339:19;;;5298:20;5339:19;;;:9;:19;;;;;:26;;;5331:58;;;;;;;11066:2:1;5331:58:0;;;11048:21:1;11105:2;11085:18;;;11078:30;11144:21;11124:18;;;11117:49;11183:18;;5331:58:0;10864:343:1;5331:58:0;5408:22;;;5420:10;5408:22;;;;:46;;;5446:8;5434:20;;:8;:20;;;;5408:46;5400:83;;;;;;;11414:2:1;5400:83:0;;;11396:21:1;11453:2;11433:18;;;11426:30;11492:26;11472:18;;;11465:54;11536:18;;5400:83:0;11212:348:1;5400:83:0;5578:9;:14;5574:332;;5630:5;5617:9;:18;5609:46;;;;;;;11767:2:1;5609:46:0;;;11749:21:1;11806:2;11786:18;;;11779:30;11845:17;11825:18;;;11818:45;11880:18;;5609:46:0;11565:339:1;5609:46:0;5730:19;;;;5726:43;;5767:1;5751:18;;5726:43;5788:3;5784:20;;;5799:5;5793:11;;5784:20;5574:332;;;5837:57;5854:5;5861:10;5881:4;5888:5;5837:16;:57::i;:::-;6023:11;;:13;;;;;;;;;;;;;6073:11;;6058:26;;6119:84;;;;;;;;6126:5;6119:84;;;;;;6133:3;6119:84;;;;;;6138:5;6119:84;;;;;;6145:10;6119:84;;;;;;6157:8;6119:84;;;;;;6167:8;6119:84;;;;;;6177:5;6119:84;;;;;;6184:5;6119:84;;;;6191:11;6119:84;;;6095:7;:21;6103:12;6095:21;;;;;;;;;;;:108;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6295:12;6261:8;6229:88;;6249:10;6229:88;;;6237:5;6244:3;6271:8;6281:5;6288;6309:7;6229:88;;;;;;;;;;;:::i;13643:334::-;13724:21;13748;;;:7;:21;;;;;13812:16;;;;;;;13798:10;:30;;:63;;-1:-1:-1;13846:15:0;;;;;;13832:10;:29;13798:63;13790:85;;;;;;;24677:2:1;13790:85:0;;;24659:21:1;24716:1;24696:18;;;24689:29;24754:11;24734:18;;;24727:39;24783:18;;13790:85:0;24475:332:1;13790:85:0;13896:20;;;;;;;;13942:27;;13947:12;;13942:27;;;;13961:7;;;;13942:27;:::i;:::-;;;;;;;;13713:264;13643:334;;;:::o;21795:375::-;22009:60;;;21998:10;25093:15:1;;;22009:60:0;;;25075:34:1;25145:15;;;25125:18;;;25118:43;25177:18;;;;25170:34;;;22009:60:0;;;;;;;;;;24987:18:1;;;;22009:60:0;;;;;;;;;;;;;21998:72;;-1:-1:-1;;;;21998:10:0;;;;:72;;22009:60;21998:72;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21962:108;;;;22089:7;:57;;;;-1:-1:-1;22101:11:0;;:16;;:44;;;22132:4;22121:24;;;;;;;;;;;;:::i;:::-;22081:81;;;;;;;25667:2:1;22081:81:0;;;25649:21:1;25706:2;25686:18;;;25679:30;25745:13;25725:18;;;25718:41;25776:18;;22081:81:0;25465:335:1;22081:81:0;21894:276;;21795:375;;;;:::o;22321:187::-;22400:12;22418:9;:14;;22440:5;22418:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22399:51;;;22469:7;22461:39;;;;;;;26217:2:1;22461:39:0;;;26199:21:1;26256:2;26236:18;;;26229:30;26295:21;26275:18;;;26268:49;26334:18;;22461:39:0;26015:343:1;22461:39:0;22388:120;22321:187;;:::o;21113:339::-;21295:52;;;21284:10;26555:55:1;;;21295:52:0;;;26537:74:1;26627:18;;;;26620:34;;;21295:52:0;;;;;;;;;;26510:18:1;;;;21295:52:0;;;;;;;;;;;;;21284:64;;-1:-1:-1;;;;21284:10:0;;;;:64;;21295:52;21284:64;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21248:100;;;;21367:7;:57;;;;-1:-1:-1;21379:11:0;;:16;;:44;;;21410:4;21399:24;;;;;;;;;;;;:::i;:::-;21359:85;;;;;;;26867:2:1;21359:85:0;;;26849:21:1;26906:2;26886:18;;;26879:30;26945:17;26925:18;;;26918:45;26980:18;;21359:85:0;26665:339:1;21359:85:0;21192:260;;21113:339;;;:::o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;14:196:1;82:20;;142:42;131:54;;121:65;;111:93;;200:1;197;190:12;111:93;14:196;;;:::o;215:118::-;301:5;294:13;287:21;280:5;277:32;267:60;;323:1;320;313:12;267:60;215:118;:::o;338:128::-;403:20;;432:28;403:20;432:28;:::i;471:184::-;523:77;520:1;513:88;620:4;617:1;610:15;644:4;641:1;634:15;660:334;731:2;725:9;787:2;777:13;;792:66;773:86;761:99;;890:18;875:34;;911:22;;;872:62;869:88;;;937:18;;:::i;:::-;973:2;966:22;660:334;;-1:-1:-1;660:334:1:o;999:246::-;1048:4;1081:18;1073:6;1070:30;1067:56;;;1103:18;;:::i;:::-;-1:-1:-1;1160:2:1;1148:15;1165:66;1144:88;1234:4;1140:99;;999:246::o;1250:464::-;1293:5;1346:3;1339:4;1331:6;1327:17;1323:27;1313:55;;1364:1;1361;1354:12;1313:55;1400:6;1387:20;1431:49;1447:32;1476:2;1447:32;:::i;:::-;1431:49;:::i;:::-;1505:2;1496:7;1489:19;1551:3;1544:4;1539:2;1531:6;1527:15;1523:26;1520:35;1517:55;;;1568:1;1565;1558:12;1517:55;1633:2;1626:4;1618:6;1614:17;1607:4;1598:7;1594:18;1581:55;1681:1;1656:16;;;1674:4;1652:27;1645:38;;;;1660:7;1250:464;-1:-1:-1;;;1250:464:1:o;1719:813::-;1839:6;1847;1855;1863;1871;1879;1887;1940:3;1928:9;1919:7;1915:23;1911:33;1908:53;;;1957:1;1954;1947:12;1908:53;1980:29;1999:9;1980:29;:::i;:::-;1970:39;;2028:38;2062:2;2051:9;2047:18;2028:38;:::i;:::-;2018:48;;2085:38;2119:2;2108:9;2104:18;2085:38;:::i;:::-;2075:48;;2170:2;2159:9;2155:18;2142:32;2132:42;;2221:3;2210:9;2206:19;2193:33;2183:43;;2276:3;2265:9;2261:19;2248:33;2290:28;2312:5;2290:28;:::i;:::-;2337:5;-1:-1:-1;2393:3:1;2378:19;;2365:33;2421:18;2410:30;;2407:50;;;2453:1;2450;2443:12;2407:50;2476;2518:7;2509:6;2498:9;2494:22;2476:50;:::i;:::-;2466:60;;;1719:813;;;;;;;;;;:::o;2719:156::-;2785:20;;2845:4;2834:16;;2824:27;;2814:55;;2865:1;2862;2855:12;2880:318;2955:6;2963;2971;3024:2;3012:9;3003:7;2999:23;2995:32;2992:52;;;3040:1;3037;3030:12;2992:52;3063:27;3080:9;3063:27;:::i;:::-;3053:37;3137:2;3122:18;;3109:32;;-1:-1:-1;3188:2:1;3173:18;;;3160:32;;2880:318;-1:-1:-1;;;2880:318:1:o;3203:311::-;3266:6;3274;3327:2;3315:9;3306:7;3302:23;3298:32;3295:52;;;3343:1;3340;3333:12;3295:52;3382:9;3369:23;3401:28;3423:5;3401:28;:::i;:::-;3448:5;-1:-1:-1;3472:36:1;3504:2;3489:18;;3472:36;:::i;:::-;3462:46;;3203:311;;;;;:::o;3519:180::-;3578:6;3631:2;3619:9;3610:7;3606:23;3602:32;3599:52;;;3647:1;3644;3637:12;3599:52;-1:-1:-1;3670:23:1;;3519:180;-1:-1:-1;3519:180:1:o;4117:1101::-;4274:6;4282;4290;4298;4306;4314;4322;4330;4338;4346;4354:7;4363;4417:3;4405:9;4396:7;4392:23;4388:33;4385:53;;;4434:1;4431;4424:12;4385:53;4457:29;4476:9;4457:29;:::i;:::-;4447:39;;4505:38;4539:2;4528:9;4524:18;4505:38;:::i;:::-;4495:48;;4562:38;4596:2;4585:9;4581:18;4562:38;:::i;:::-;4552:48;;4647:2;4636:9;4632:18;4619:32;4609:42;;4698:3;4687:9;4683:19;4670:33;4660:43;;4722:36;4753:3;4742:9;4738:19;4722:36;:::i;:::-;4712:46;;4777:36;4808:3;4797:9;4793:19;4777:36;:::i;:::-;4767:46;;4832:36;4863:3;4852:9;4848:19;4832:36;:::i;:::-;4822:46;;4918:18;4911:3;4900:9;4896:19;4883:33;4880:57;4877:77;;;4950:1;4947;4940:12;4877:77;4973;5042:7;5034:3;5023:9;5019:19;5006:33;4995:9;4991:49;4973:77;:::i;:::-;4963:87;;5069:37;5101:3;5090:9;5086:19;5069:37;:::i;:::-;5059:47;;5154:3;5143:9;5139:19;5126:33;5115:44;;5207:3;5196:9;5192:19;5179:33;5168:44;;4117:1101;;;;;;;;;;;;;;:::o;5223:348::-;5275:8;5285:6;5339:3;5332:4;5324:6;5320:17;5316:27;5306:55;;5357:1;5354;5347:12;5306:55;-1:-1:-1;5380:20:1;;5423:18;5412:30;;5409:50;;;5455:1;5452;5445:12;5409:50;5492:4;5484:6;5480:17;5468:29;;5544:3;5537:4;5528:6;5520;5516:19;5512:30;5509:39;5506:59;;;5561:1;5558;5551:12;5506:59;5223:348;;;;;:::o;5576:616::-;5674:6;5682;5690;5698;5706;5759:3;5747:9;5738:7;5734:23;5730:33;5727:53;;;5776:1;5773;5766:12;5727:53;5812:9;5799:23;5789:33;;5869:2;5858:9;5854:18;5841:32;5831:42;;5920:2;5909:9;5905:18;5892:32;5882:42;;5975:2;5964:9;5960:18;5947:32;6002:18;5994:6;5991:30;5988:50;;;6034:1;6031;6024:12;5988:50;6073:59;6124:7;6115:6;6104:9;6100:22;6073:59;:::i;:::-;5576:616;;;;-1:-1:-1;5576:616:1;;-1:-1:-1;6151:8:1;;6047:85;5576:616;-1:-1:-1;;;5576:616:1:o;6197:479::-;6277:6;6285;6293;6346:2;6334:9;6325:7;6321:23;6317:32;6314:52;;;6362:1;6359;6352:12;6314:52;6398:9;6385:23;6375:33;;6459:2;6448:9;6444:18;6431:32;6486:18;6478:6;6475:30;6472:50;;;6518:1;6515;6508:12;6472:50;6557:59;6608:7;6599:6;6588:9;6584:22;6557:59;:::i;:::-;6197:479;;6635:8;;-1:-1:-1;6531:85:1;;-1:-1:-1;;;;6197:479:1:o;6681:531::-;6783:6;6791;6799;6807;6815;6823;6876:3;6864:9;6855:7;6851:23;6847:33;6844:53;;;6893:1;6890;6883:12;6844:53;6916:29;6935:9;6916:29;:::i;:::-;6906:39;;6992:2;6981:9;6977:18;6964:32;6954:42;;7043:2;7032:9;7028:18;7015:32;7005:42;;7066:36;7098:2;7087:9;7083:18;7066:36;:::i;:::-;7056:46;;7149:3;7138:9;7134:19;7121:33;7111:43;;7201:3;7190:9;7186:19;7173:33;7163:43;;6681:531;;;;;;;;:::o;8100:626::-;8197:6;8205;8258:2;8246:9;8237:7;8233:23;8229:32;8226:52;;;8274:1;8271;8264:12;8226:52;8314:9;8301:23;8343:18;8384:2;8376:6;8373:14;8370:34;;;8400:1;8397;8390:12;8370:34;8438:6;8427:9;8423:22;8413:32;;8483:7;8476:4;8472:2;8468:13;8464:27;8454:55;;8505:1;8502;8495:12;8454:55;8545:2;8532:16;8571:2;8563:6;8560:14;8557:34;;;8587:1;8584;8577:12;8557:34;8640:7;8635:2;8625:6;8622:1;8618:14;8614:2;8610:23;8606:32;8603:45;8600:65;;;8661:1;8658;8651:12;8600:65;8692:2;8684:11;;;;;8714:6;;-1:-1:-1;8100:626:1;;-1:-1:-1;;;;8100:626:1:o;8731:258::-;8803:1;8813:113;8827:6;8824:1;8821:13;8813:113;;;8903:11;;;8897:18;8884:11;;;8877:39;8849:2;8842:10;8813:113;;;8944:6;8941:1;8938:13;8935:48;;;8979:1;8970:6;8965:3;8961:16;8954:27;8935:48;;8731:258;;;:::o;8994:316::-;9035:3;9073:5;9067:12;9100:6;9095:3;9088:19;9116:63;9172:6;9165:4;9160:3;9156:14;9149:4;9142:5;9138:16;9116:63;:::i;:::-;9224:2;9212:15;9229:66;9208:88;9199:98;;;;9299:4;9195:109;;8994:316;-1:-1:-1;;8994:316:1:o;9315:859::-;9475:4;9504:2;9544;9533:9;9529:18;9574:2;9563:9;9556:21;9597:6;9632;9626:13;9663:6;9655;9648:22;9701:2;9690:9;9686:18;9679:25;;9763:2;9753:6;9750:1;9746:14;9735:9;9731:30;9727:39;9713:53;;9801:2;9793:6;9789:15;9822:1;9832:313;9846:6;9843:1;9840:13;9832:313;;;9935:66;9923:9;9915:6;9911:22;9907:95;9902:3;9895:108;10026:39;10058:6;10049;10043:13;10026:39;:::i;:::-;10016:49;-1:-1:-1;10123:12:1;;;;10088:15;;;;9868:1;9861:9;9832:313;;;-1:-1:-1;10162:6:1;;9315:859;-1:-1:-1;;;;;;;9315:859:1:o;10179:186::-;10238:6;10291:2;10279:9;10270:7;10266:23;10262:32;10259:52;;;10307:1;10304;10297:12;10259:52;10330:29;10349:9;10330:29;:::i;:::-;10320:39;10179:186;-1:-1:-1;;;10179:186:1:o;10640:219::-;10789:2;10778:9;10771:21;10752:4;10809:44;10849:2;10838:9;10834:18;10826:6;10809:44;:::i;12473:245::-;12552:6;12560;12613:2;12601:9;12592:7;12588:23;12584:32;12581:52;;;12629:1;12626;12619:12;12581:52;-1:-1:-1;;12652:16:1;;12708:2;12693:18;;;12687:25;12652:16;;12687:25;;-1:-1:-1;12473:245:1:o;13207:677::-;13498:6;13491:14;13484:22;13473:9;13466:41;13557:6;13550:14;13543:22;13538:2;13527:9;13523:18;13516:50;13447:4;13585:42;13675:2;13667:6;13663:15;13658:2;13647:9;13643:18;13636:43;13727:2;13719:6;13715:15;13710:2;13699:9;13695:18;13688:43;;13768:6;13762:3;13751:9;13747:19;13740:35;13812:3;13806;13795:9;13791:19;13784:32;13833:45;13873:3;13862:9;13858:19;13850:6;13833:45;:::i;:::-;13825:53;13207:677;-1:-1:-1;;;;;;;;13207:677:1:o;15902:594::-;16163:6;16152:9;16145:25;16126:4;16189:42;16279:2;16271:6;16267:15;16262:2;16251:9;16247:18;16240:43;16331:2;16323:6;16319:15;16314:2;16303:9;16299:18;16292:43;16383:2;16375:6;16371:15;16366:2;16355:9;16351:18;16344:43;;16424:3;16418;16407:9;16403:19;16396:32;16445:45;16485:3;16474:9;16470:19;16462:6;16445:45;:::i;:::-;16437:53;15902:594;-1:-1:-1;;;;;;;15902:594:1:o;18377:184::-;18429:77;18426:1;18419:88;18526:4;18523:1;18516:15;18550:4;18547:1;18540:15;18566:128;18606:3;18637:1;18633:6;18630:1;18627:13;18624:39;;;18643:18;;:::i;:::-;-1:-1:-1;18679:9:1;;18566:128::o;19041:274::-;19081:1;19107;19097:189;;19142:77;19139:1;19132:88;19243:4;19240:1;19233:15;19271:4;19268:1;19261:15;19097:189;-1:-1:-1;19300:9:1;;19041:274::o;19320:125::-;19360:4;19388:1;19385;19382:8;19379:34;;;19393:18;;:::i;:::-;-1:-1:-1;19430:9:1;;19320:125::o;19450:449::-;19609:2;19598:9;19591:21;19648:6;19643:2;19632:9;19628:18;19621:34;19705:6;19697;19692:2;19681:9;19677:18;19664:48;19761:1;19732:22;;;19756:2;19728:31;;;19721:42;;;;19815:2;19803:15;;;19820:66;19799:88;19784:104;19780:113;;19450:449;-1:-1:-1;19450:449:1:o;21023:274::-;21152:3;21190:6;21184:13;21206:53;21252:6;21247:3;21240:4;21232:6;21228:17;21206:53;:::i;:::-;21275:16;;;;;21023:274;-1:-1:-1;;21023:274:1:o;22342:184::-;22394:77;22391:1;22384:88;22491:4;22488:1;22481:15;22515:4;22512:1;22505:15;22531:580;22608:4;22614:6;22674:11;22661:25;22764:66;22753:8;22737:14;22733:29;22729:102;22709:18;22705:127;22695:155;;22846:1;22843;22836:12;22695:155;22873:33;;22925:20;;;-1:-1:-1;22968:18:1;22957:30;;22954:50;;;23000:1;22997;22990:12;22954:50;23033:4;23021:17;;-1:-1:-1;23064:14:1;23060:27;;;23050:38;;23047:58;;;23101:1;23098;23091:12;23116:271;23299:6;23291;23286:3;23273:33;23255:3;23325:16;;23350:13;;;23325:16;23116:271;-1:-1:-1;23116:271:1:o;23392:636::-;23472:6;23525:2;23513:9;23504:7;23500:23;23496:32;23493:52;;;23541:1;23538;23531:12;23493:52;23574:9;23568:16;23607:18;23599:6;23596:30;23593:50;;;23639:1;23636;23629:12;23593:50;23662:22;;23715:4;23707:13;;23703:27;-1:-1:-1;23693:55:1;;23744:1;23741;23734:12;23693:55;23773:2;23767:9;23798:49;23814:32;23843:2;23814:32;:::i;23798:49::-;23870:2;23863:5;23856:17;23910:7;23905:2;23900;23896;23892:11;23888:20;23885:33;23882:53;;;23931:1;23928;23921:12;23882:53;23944:54;23995:2;23990;23983:5;23979:14;23974:2;23970;23966:11;23944:54;:::i;:::-;24017:5;23392:636;-1:-1:-1;;;;;23392:636:1:o;24033:437::-;24112:1;24108:12;;;;24155;;;24176:61;;24230:4;24222:6;24218:17;24208:27;;24176:61;24283:2;24275:6;24272:14;24252:18;24249:38;24246:218;;;24320:77;24317:1;24310:88;24421:4;24418:1;24411:15;24449:4;24446:1;24439:15;24246:218;;24033:437;;;:::o;25215:245::-;25282:6;25335:2;25323:9;25314:7;25310:23;25306:32;25303:52;;;25351:1;25348;25341:12;25303:52;25383:9;25377:16;25402:28;25424:5;25402:28;:::i

ipfs://d702d45296e0ba156c954da65df2c05fcc32653b20b61f02bb572d816f81f25f