Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC721Receiver
•    - function onERC721Received(
•  contract ERC721Holder is IERC721Re ...
•    - function onERC721Received(
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _setOwner(address newOwner)
•    - function ownerOf(uint256 tokenId)
•    - function safeTransferFrom(address fro ...
•    - function ownerOf(uint256 tokenId)
•    - function getTimeVaulted(uint256 token ...
•  contract OG_Vault is ERC721Holder, ... *
•    - function flipReleaseState()
•    - function claimBull(uint256 tokenId)
•    - function claimNBulls(uint256[] memory ...
•    - function setEvolvedBullContract(addre ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.8.0;


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


/**
 * @dev Implementation of the {IERC721Receiver} interface.
 *
 * Accepts all token transfers.
 * Make sure the contract is able to use its token with {IERC721-safeTransferFrom}, {IERC721-approve} or {IERC721-setApprovalForAll}.
 */
contract ERC721Holder is IERC721Receiver {
    /**
     * @dev See {IERC721Receiver-onERC721Received}.
     *
     * Always returns `IERC721Receiver.onERC721Received.selector`.
     */
    function onERC721Received(
        address,
        address,
        uint256,
        bytes memory
    ) public virtual override returns (bytes4) {
        return this.onERC721Received.selector;
    }
}


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

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


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

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

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

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

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

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

    function _setOwner(address newOwner) private {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}


abstract contract OGB {
    function ownerOf(uint256 tokenId) public virtual view returns (address);
    function safeTransferFrom(address from, address to, uint256 tokenId) public virtual;
}

abstract contract EVB {
    function ownerOf(uint256 tokenId) public virtual view returns (address);
    function getTimeVaulted(uint256 tokenId) external virtual view returns(uint256);
}

contract OG_Vault is ERC721Holder, Ownable {
    OGB private ogb;
    EVB private evb;
    uint256 public releaseDay = 1665874800; // 15 October 2022 7PM EST
    bool public releaseIsActive = false;

    event ClaimedMultiple(address _from, uint256[] _tokenIds);
    event Claimed(address _from, uint256 _tokenId);

    constructor() {
        ogb = OGB(0x3a8778A58993bA4B941f85684D74750043A4bB5f);
        evb = EVB(0x6069a6C32cf691F5982FEbAe4fAf8a6f3AB2F0F6);
    }

    function flipReleaseState() public onlyOwner {
        releaseIsActive = !releaseIsActive;
    }

    function claimBull(uint256 tokenId) public {
        require(releaseIsActive, "OG Bulls will be available to be claimed on 15 Oct. 2022 7PM EST");
        require(evb.ownerOf(tokenId) == msg.sender, "You must own the Evolved Bull of the Bull you're trying to claim");

        ogb.safeTransferFrom(address(this), msg.sender, tokenId);
        emit Claimed(msg.sender, tokenId);
    }

    function claimNBulls(uint256[] memory tokenIds) public {
        require(releaseIsActive, "OG Bulls will be available to be claimed on 15 Oct. 2022 7PM EST");
        require(tokenIds.length < 21, "Can't claim more than 20 bulls at once.");

        for (uint i = 0; i < tokenIds.length; i++) {
            require(evb.ownerOf(tokenIds[i]) == msg.sender, "You must own the Evolved Bull of the Bull you're trying to claim");

            ogb.safeTransferFrom(address(this), msg.sender, tokenIds[i]);
        }
        emit ClaimedMultiple(msg.sender, tokenIds);
    }

    function setEvolvedBullContract(address _address) external onlyOwner{
        evb = EVB(_address);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_from","type":"address"},{"indexed":false,"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"Claimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_from","type":"address"},{"indexed":false,"internalType":"uint256[]","name":"_tokenIds","type":"uint256[]"}],"name":"ClaimedMultiple","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"claimBull","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"tokenIds","type":"uint256[]"}],"name":"claimNBulls","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"flipReleaseState","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"onERC721Received","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"releaseDay","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"releaseIsActive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"}],"name":"setEvolvedBullContract","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405263634b3b706003556000600460006101000a81548160ff02191690831515021790555034801561003357600080fd5b506100506100456100ff60201b60201c565b61010760201b60201c565b733a8778a58993ba4b941f85684d74750043a4bb5f600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550736069a6c32cf691f5982febae4faf8a6f3ab2f0f6600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506101cb565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611415806101da6000396000f3fe608060405234801561001057600080fd5b506004361061009e5760003560e01c8063715018a611610066578063715018a6146101455780637aafff2b1461014f5780638da5cb5b14610159578063f2fde38b14610177578063f83a6263146101935761009e565b8063150b7a02146100a357806318e22e47146100d35780631e2c0585146100ef5780632e69e1251461010b578063451a6c8414610127575b600080fd5b6100bd60048036038101906100b89190610c96565b6101b1565b6040516100ca91906110da565b60405180910390f35b6100ed60048036038101906100e89190610c44565b6101c5565b005b61010960048036038101906101049190610d52565b610285565b005b61012560048036038101906101209190610d11565b6104b9565b005b61012f6107d1565b60405161013c9190611195565b60405180910390f35b61014d6107d7565b005b61015761085f565b005b610161610907565b60405161016e9190611014565b60405180910390f35b610191600480360381019061018c9190610c44565b610930565b005b61019b610a28565b6040516101a891906110bf565b60405180910390f35b600063150b7a0260e01b9050949350505050565b6101cd610a3b565b73ffffffffffffffffffffffffffffffffffffffff166101eb610907565b73ffffffffffffffffffffffffffffffffffffffff1614610241576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161023890611135565b60405180910390fd5b80600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600460009054906101000a900460ff166102d4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102cb90611115565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e836040518263ffffffff1660e01b81526004016103469190611195565b60206040518083038186803b15801561035e57600080fd5b505afa158015610372573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103969190610c6d565b73ffffffffffffffffffffffffffffffffffffffff16146103ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103e390611175565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3033846040518463ffffffff1660e01b815260040161044b9392919061102f565b600060405180830381600087803b15801561046557600080fd5b505af1158015610479573d6000803e3d6000fd5b505050507fd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a33826040516104ae929190611096565b60405180910390a150565b600460009054906101000a900460ff16610508576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104ff90611115565b60405180910390fd5b601581511061054c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161054390611155565b60405180910390fd5b60005b8151811015610794573373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e8484815181106105e6577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101516040518263ffffffff1660e01b815260040161060a9190611195565b60206040518083038186803b15801561062257600080fd5b505afa158015610636573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061065a9190610c6d565b73ffffffffffffffffffffffffffffffffffffffff16146106b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a790611175565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3033858581518110610729577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101516040518463ffffffff1660e01b815260040161074f9392919061102f565b600060405180830381600087803b15801561076957600080fd5b505af115801561077d573d6000803e3d6000fd5b50505050808061078c9061130a565b91505061054f565b507f08cfbf54c38baf31ba7331ea0deb2cf0399ad7996ab4ad96a9173bb67285a28133826040516107c6929190611066565b60405180910390a150565b60035481565b6107df610a3b565b73ffffffffffffffffffffffffffffffffffffffff166107fd610907565b73ffffffffffffffffffffffffffffffffffffffff1614610853576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084a90611135565b60405180910390fd5b61085d6000610a43565b565b610867610a3b565b73ffffffffffffffffffffffffffffffffffffffff16610885610907565b73ffffffffffffffffffffffffffffffffffffffff16146108db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d290611135565b60405180910390fd5b600460009054906101000a900460ff1615600460006101000a81548160ff021916908315150217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b610938610a3b565b73ffffffffffffffffffffffffffffffffffffffff16610956610907565b73ffffffffffffffffffffffffffffffffffffffff16146109ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a390611135565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610a1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a13906110f5565b60405180910390fd5b610a2581610a43565b50565b600460009054906101000a900460ff1681565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b6000610b1a610b15846111e1565b6111b0565b90508083825260208201905082856020860282011115610b3957600080fd5b60005b85811015610b695781610b4f8882610c2f565b845260208401935060208301925050600181019050610b3c565b5050509392505050565b6000610b86610b818461120d565b6111b0565b905082815260208101848484011115610b9e57600080fd5b610ba98482856112fb565b509392505050565b600081359050610bc0816113b1565b92915050565b600081519050610bd5816113b1565b92915050565b600082601f830112610bec57600080fd5b8135610bfc848260208601610b07565b91505092915050565b600082601f830112610c1657600080fd5b8135610c26848260208601610b73565b91505092915050565b600081359050610c3e816113c8565b92915050565b600060208284031215610c5657600080fd5b6000610c6484828501610bb1565b91505092915050565b600060208284031215610c7f57600080fd5b6000610c8d84828501610bc6565b91505092915050565b60008060008060808587031215610cac57600080fd5b6000610cba87828801610bb1565b9450506020610ccb87828801610bb1565b9350506040610cdc87828801610c2f565b925050606085013567ffffffffffffffff811115610cf957600080fd5b610d0587828801610c05565b91505092959194509250565b600060208284031215610d2357600080fd5b600082013567ffffffffffffffff811115610d3d57600080fd5b610d4984828501610bdb565b91505092915050565b600060208284031215610d6457600080fd5b6000610d7284828501610c2f565b91505092915050565b6000610d878383610ff6565b60208301905092915050565b610d9c81611287565b82525050565b6000610dad8261124d565b610db78185611265565b9350610dc28361123d565b8060005b83811015610df3578151610dda8882610d7b565b9750610de583611258565b925050600181019050610dc6565b5085935050505092915050565b610e0981611299565b82525050565b610e18816112a5565b82525050565b6000610e2b602683611276565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610e91604083611276565b91507f4f472042756c6c732077696c6c20626520617661696c61626c6520746f20626560008301527f20636c61696d6564206f6e203135204f63742e20323032322037504d204553546020830152604082019050919050565b6000610ef7602083611276565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b6000610f37602783611276565b91507f43616e277420636c61696d206d6f7265207468616e2032302062756c6c73206160008301527f74206f6e63652e000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610f9d604083611276565b91507f596f75206d757374206f776e207468652045766f6c7665642042756c6c206f6660008301527f207468652042756c6c20796f7527726520747279696e6720746f20636c61696d6020830152604082019050919050565b610fff816112f1565b82525050565b61100e816112f1565b82525050565b60006020820190506110296000830184610d93565b92915050565b60006060820190506110446000830186610d93565b6110516020830185610d93565b61105e6040830184611005565b949350505050565b600060408201905061107b6000830185610d93565b818103602083015261108d8184610da2565b90509392505050565b60006040820190506110ab6000830185610d93565b6110b86020830184611005565b9392505050565b60006020820190506110d46000830184610e00565b92915050565b60006020820190506110ef6000830184610e0f565b92915050565b6000602082019050818103600083015261110e81610e1e565b9050919050565b6000602082019050818103600083015261112e81610e84565b9050919050565b6000602082019050818103600083015261114e81610eea565b9050919050565b6000602082019050818103600083015261116e81610f2a565b9050919050565b6000602082019050818103600083015261118e81610f90565b9050919050565b60006020820190506111aa6000830184611005565b92915050565b6000604051905081810181811067ffffffffffffffff821117156111d7576111d6611382565b5b8060405250919050565b600067ffffffffffffffff8211156111fc576111fb611382565b5b602082029050602081019050919050565b600067ffffffffffffffff82111561122857611227611382565b5b601f19601f8301169050602081019050919050565b6000819050602082019050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b6000611292826112d1565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b6000611315826112f1565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561134857611347611353565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6113ba81611287565b81146113c557600080fd5b50565b6113d1816112f1565b81146113dc57600080fd5b5056fea264697066735822122014174a88da586a33eefa69398f792e66d52eb2828dcf0bc7230bb4ba611726de64736f6c63430008000033

0x608060405234801561001057600080fd5b506004361061009e5760003560e01c8063715018a611610066578063715018a6146101455780637aafff2b1461014f5780638da5cb5b14610159578063f2fde38b14610177578063f83a6263146101935761009e565b8063150b7a02146100a357806318e22e47146100d35780631e2c0585146100ef5780632e69e1251461010b578063451a6c8414610127575b600080fd5b6100bd60048036038101906100b89190610c96565b6101b1565b6040516100ca91906110da565b60405180910390f35b6100ed60048036038101906100e89190610c44565b6101c5565b005b61010960048036038101906101049190610d52565b610285565b005b61012560048036038101906101209190610d11565b6104b9565b005b61012f6107d1565b60405161013c9190611195565b60405180910390f35b61014d6107d7565b005b61015761085f565b005b610161610907565b60405161016e9190611014565b60405180910390f35b610191600480360381019061018c9190610c44565b610930565b005b61019b610a28565b6040516101a891906110bf565b60405180910390f35b600063150b7a0260e01b9050949350505050565b6101cd610a3b565b73ffffffffffffffffffffffffffffffffffffffff166101eb610907565b73ffffffffffffffffffffffffffffffffffffffff1614610241576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161023890611135565b60405180910390fd5b80600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600460009054906101000a900460ff166102d4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102cb90611115565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e836040518263ffffffff1660e01b81526004016103469190611195565b60206040518083038186803b15801561035e57600080fd5b505afa158015610372573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103969190610c6d565b73ffffffffffffffffffffffffffffffffffffffff16146103ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103e390611175565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3033846040518463ffffffff1660e01b815260040161044b9392919061102f565b600060405180830381600087803b15801561046557600080fd5b505af1158015610479573d6000803e3d6000fd5b505050507fd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a33826040516104ae929190611096565b60405180910390a150565b600460009054906101000a900460ff16610508576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104ff90611115565b60405180910390fd5b601581511061054c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161054390611155565b60405180910390fd5b60005b8151811015610794573373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e8484815181106105e6577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101516040518263ffffffff1660e01b815260040161060a9190611195565b60206040518083038186803b15801561062257600080fd5b505afa158015610636573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061065a9190610c6d565b73ffffffffffffffffffffffffffffffffffffffff16146106b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a790611175565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3033858581518110610729577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101516040518463ffffffff1660e01b815260040161074f9392919061102f565b600060405180830381600087803b15801561076957600080fd5b505af115801561077d573d6000803e3d6000fd5b50505050808061078c9061130a565b91505061054f565b507f08cfbf54c38baf31ba7331ea0deb2cf0399ad7996ab4ad96a9173bb67285a28133826040516107c6929190611066565b60405180910390a150565b60035481565b6107df610a3b565b73ffffffffffffffffffffffffffffffffffffffff166107fd610907565b73ffffffffffffffffffffffffffffffffffffffff1614610853576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084a90611135565b60405180910390fd5b61085d6000610a43565b565b610867610a3b565b73ffffffffffffffffffffffffffffffffffffffff16610885610907565b73ffffffffffffffffffffffffffffffffffffffff16146108db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d290611135565b60405180910390fd5b600460009054906101000a900460ff1615600460006101000a81548160ff021916908315150217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b610938610a3b565b73ffffffffffffffffffffffffffffffffffffffff16610956610907565b73ffffffffffffffffffffffffffffffffffffffff16146109ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a390611135565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610a1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a13906110f5565b60405180910390fd5b610a2581610a43565b50565b600460009054906101000a900460ff1681565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b6000610b1a610b15846111e1565b6111b0565b90508083825260208201905082856020860282011115610b3957600080fd5b60005b85811015610b695781610b4f8882610c2f565b845260208401935060208301925050600181019050610b3c565b5050509392505050565b6000610b86610b818461120d565b6111b0565b905082815260208101848484011115610b9e57600080fd5b610ba98482856112fb565b509392505050565b600081359050610bc0816113b1565b92915050565b600081519050610bd5816113b1565b92915050565b600082601f830112610bec57600080fd5b8135610bfc848260208601610b07565b91505092915050565b600082601f830112610c1657600080fd5b8135610c26848260208601610b73565b91505092915050565b600081359050610c3e816113c8565b92915050565b600060208284031215610c5657600080fd5b6000610c6484828501610bb1565b91505092915050565b600060208284031215610c7f57600080fd5b6000610c8d84828501610bc6565b91505092915050565b60008060008060808587031215610cac57600080fd5b6000610cba87828801610bb1565b9450506020610ccb87828801610bb1565b9350506040610cdc87828801610c2f565b925050606085013567ffffffffffffffff811115610cf957600080fd5b610d0587828801610c05565b91505092959194509250565b600060208284031215610d2357600080fd5b600082013567ffffffffffffffff811115610d3d57600080fd5b610d4984828501610bdb565b91505092915050565b600060208284031215610d6457600080fd5b6000610d7284828501610c2f565b91505092915050565b6000610d878383610ff6565b60208301905092915050565b610d9c81611287565b82525050565b6000610dad8261124d565b610db78185611265565b9350610dc28361123d565b8060005b83811015610df3578151610dda8882610d7b565b9750610de583611258565b925050600181019050610dc6565b5085935050505092915050565b610e0981611299565b82525050565b610e18816112a5565b82525050565b6000610e2b602683611276565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610e91604083611276565b91507f4f472042756c6c732077696c6c20626520617661696c61626c6520746f20626560008301527f20636c61696d6564206f6e203135204f63742e20323032322037504d204553546020830152604082019050919050565b6000610ef7602083611276565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b6000610f37602783611276565b91507f43616e277420636c61696d206d6f7265207468616e2032302062756c6c73206160008301527f74206f6e63652e000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610f9d604083611276565b91507f596f75206d757374206f776e207468652045766f6c7665642042756c6c206f6660008301527f207468652042756c6c20796f7527726520747279696e6720746f20636c61696d6020830152604082019050919050565b610fff816112f1565b82525050565b61100e816112f1565b82525050565b60006020820190506110296000830184610d93565b92915050565b60006060820190506110446000830186610d93565b6110516020830185610d93565b61105e6040830184611005565b949350505050565b600060408201905061107b6000830185610d93565b818103602083015261108d8184610da2565b90509392505050565b60006040820190506110ab6000830185610d93565b6110b86020830184611005565b9392505050565b60006020820190506110d46000830184610e00565b92915050565b60006020820190506110ef6000830184610e0f565b92915050565b6000602082019050818103600083015261110e81610e1e565b9050919050565b6000602082019050818103600083015261112e81610e84565b9050919050565b6000602082019050818103600083015261114e81610eea565b9050919050565b6000602082019050818103600083015261116e81610f2a565b9050919050565b6000602082019050818103600083015261118e81610f90565b9050919050565b60006020820190506111aa6000830184611005565b92915050565b6000604051905081810181811067ffffffffffffffff821117156111d7576111d6611382565b5b8060405250919050565b600067ffffffffffffffff8211156111fc576111fb611382565b5b602082029050602081019050919050565b600067ffffffffffffffff82111561122857611227611382565b5b601f19601f8301169050602081019050919050565b6000819050602082019050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b6000611292826112d1565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b6000611315826112f1565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561134857611347611353565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6113ba81611287565b81146113c557600080fd5b50565b6113d1816112f1565b81146113dc57600080fd5b5056fea264697066735822122014174a88da586a33eefa69398f792e66d52eb2828dcf0bc7230bb4ba611726de64736f6c63430008000033

4919:1683:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1363:207;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6493:106;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5512:389;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5909:576;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5013:38;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3896:94;;;:::i;:::-;;5406:98;;;:::i;:::-;;3245:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4145:192;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5085:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1363:207;1506:6;1532:30;;;1525:37;;1363:207;;;;;;:::o;6493:106::-;3476:12;:10;:12::i;:::-;3465:23;;:7;:5;:7::i;:::-;:23;;;3457:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6582:8:::1;6572:3;;:19;;;;;;;;;;;;;;;;;;6493:106:::0;:::o;5512:389::-;5574:15;;;;;;;;;;;5566:92;;;;;;;;;;;;:::i;:::-;;;;;;;;;5701:10;5677:34;;:3;;;;;;;;;;;:11;;;5689:7;5677:20;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:34;;;5669:111;;;;;;;;;;;;:::i;:::-;;;;;;;;;5793:3;;;;;;;;;;;:20;;;5822:4;5829:10;5841:7;5793:56;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5865:28;5873:10;5885:7;5865:28;;;;;;;:::i;:::-;;;;;;;;5512:389;:::o;5909:576::-;5983:15;;;;;;;;;;;5975:92;;;;;;;;;;;;:::i;:::-;;;;;;;;;6104:2;6086:8;:15;:20;6078:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;6168:6;6163:262;6184:8;:15;6180:1;:19;6163:262;;;6257:10;6229:38;;:3;;;;;;;;;;;:11;;;6241:8;6250:1;6241:11;;;;;;;;;;;;;;;;;;;;;;6229:24;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:38;;;6221:115;;;;;;;;;;;;:::i;:::-;;;;;;;;;6353:3;;;;;;;;;;;:20;;;6382:4;6389:10;6401:8;6410:1;6401:11;;;;;;;;;;;;;;;;;;;;;;6353:60;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6201:3;;;;;:::i;:::-;;;;6163:262;;;;6440:37;6456:10;6468:8;6440:37;;;;;;;:::i;:::-;;;;;;;;5909:576;:::o;5013:38::-;;;;:::o;3896:94::-;3476:12;:10;:12::i;:::-;3465:23;;:7;:5;:7::i;:::-;:23;;;3457:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;3961:21:::1;3979:1;3961:9;:21::i;:::-;3896:94::o:0;5406:98::-;3476:12;:10;:12::i;:::-;3465:23;;:7;:5;:7::i;:::-;:23;;;3457:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;5481:15:::1;;;;;;;;;;;5480:16;5462:15;;:34;;;;;;;;;;;;;;;;;;5406:98::o:0;3245:87::-;3291:7;3318:6;;;;;;;;;;;3311:13;;3245:87;:::o;4145:192::-;3476:12;:10;:12::i;:::-;3465:23;;:7;:5;:7::i;:::-;:23;;;3457:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4254:1:::1;4234:22;;:8;:22;;;;4226:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;4310:19;4320:8;4310:9;:19::i;:::-;4145:192:::0;:::o;5085:35::-;;;;;;;;;;;;;:::o;2119:98::-;2172:7;2199:10;2192:17;;2119:98;:::o;4345:173::-;4401:16;4420:6;;;;;;;;;;;4401:25;;4446:8;4437:6;;:17;;;;;;;;;;;;;;;;;;4501:8;4470:40;;4491:8;4470:40;;;;;;;;;;;;4345:173;;:::o;24:622:1:-;;145:80;160:64;217:6;160:64;:::i;:::-;145:80;:::i;:::-;136:89;;245:5;273:6;266:5;259:21;299:4;292:5;288:16;281:23;;324:6;374:3;366:4;358:6;354:17;349:3;345:27;342:36;339:2;;;391:1;388;381:12;339:2;419:1;404:236;429:6;426:1;423:13;404:236;;;496:3;524:37;557:3;545:10;524:37;:::i;:::-;519:3;512:50;591:4;586:3;582:14;575:21;;625:4;620:3;616:14;609:21;;464:176;451:1;448;444:9;439:14;;404:236;;;408:14;126:520;;;;;;;:::o;652:342::-;;754:64;769:48;810:6;769:48;:::i;:::-;754:64;:::i;:::-;745:73;;841:6;834:5;827:21;879:4;872:5;868:16;917:3;908:6;903:3;899:16;896:25;893:2;;;934:1;931;924:12;893:2;947:41;981:6;976:3;971;947:41;:::i;:::-;735:259;;;;;;:::o;1000:139::-;;1084:6;1071:20;1062:29;;1100:33;1127:5;1100:33;:::i;:::-;1052:87;;;;:::o;1145:143::-;;1233:6;1227:13;1218:22;;1249:33;1276:5;1249:33;:::i;:::-;1208:80;;;;:::o;1311:303::-;;1431:3;1424:4;1416:6;1412:17;1408:27;1398:2;;1449:1;1446;1439:12;1398:2;1489:6;1476:20;1514:94;1604:3;1596:6;1589:4;1581:6;1577:17;1514:94;:::i;:::-;1505:103;;1388:226;;;;;:::o;1633:271::-;;1737:3;1730:4;1722:6;1718:17;1714:27;1704:2;;1755:1;1752;1745:12;1704:2;1795:6;1782:20;1820:78;1894:3;1886:6;1879:4;1871:6;1867:17;1820:78;:::i;:::-;1811:87;;1694:210;;;;;:::o;1910:139::-;;1994:6;1981:20;1972:29;;2010:33;2037:5;2010:33;:::i;:::-;1962:87;;;;:::o;2055:262::-;;2163:2;2151:9;2142:7;2138:23;2134:32;2131:2;;;2179:1;2176;2169:12;2131:2;2222:1;2247:53;2292:7;2283:6;2272:9;2268:22;2247:53;:::i;:::-;2237:63;;2193:117;2121:196;;;;:::o;2323:284::-;;2442:2;2430:9;2421:7;2417:23;2413:32;2410:2;;;2458:1;2455;2448:12;2410:2;2501:1;2526:64;2582:7;2573:6;2562:9;2558:22;2526:64;:::i;:::-;2516:74;;2472:128;2400:207;;;;:::o;2613:809::-;;;;;2781:3;2769:9;2760:7;2756:23;2752:33;2749:2;;;2798:1;2795;2788:12;2749:2;2841:1;2866:53;2911:7;2902:6;2891:9;2887:22;2866:53;:::i;:::-;2856:63;;2812:117;2968:2;2994:53;3039:7;3030:6;3019:9;3015:22;2994:53;:::i;:::-;2984:63;;2939:118;3096:2;3122:53;3167:7;3158:6;3147:9;3143:22;3122:53;:::i;:::-;3112:63;;3067:118;3252:2;3241:9;3237:18;3224:32;3283:18;3275:6;3272:30;3269:2;;;3315:1;3312;3305:12;3269:2;3343:62;3397:7;3388:6;3377:9;3373:22;3343:62;:::i;:::-;3333:72;;3195:220;2739:683;;;;;;;:::o;3428:405::-;;3561:2;3549:9;3540:7;3536:23;3532:32;3529:2;;;3577:1;3574;3567:12;3529:2;3648:1;3637:9;3633:17;3620:31;3678:18;3670:6;3667:30;3664:2;;;3710:1;3707;3700:12;3664:2;3738:78;3808:7;3799:6;3788:9;3784:22;3738:78;:::i;:::-;3728:88;;3591:235;3519:314;;;;:::o;3839:262::-;;3947:2;3935:9;3926:7;3922:23;3918:32;3915:2;;;3963:1;3960;3953:12;3915:2;4006:1;4031:53;4076:7;4067:6;4056:9;4052:22;4031:53;:::i;:::-;4021:63;;3977:117;3905:196;;;;:::o;4107:179::-;;4197:46;4239:3;4231:6;4197:46;:::i;:::-;4275:4;4270:3;4266:14;4252:28;;4187:99;;;;:::o;4292:118::-;4379:24;4397:5;4379:24;:::i;:::-;4374:3;4367:37;4357:53;;:::o;4446:732::-;;4594:54;4642:5;4594:54;:::i;:::-;4664:86;4743:6;4738:3;4664:86;:::i;:::-;4657:93;;4774:56;4824:5;4774:56;:::i;:::-;4853:7;4884:1;4869:284;4894:6;4891:1;4888:13;4869:284;;;4970:6;4964:13;4997:63;5056:3;5041:13;4997:63;:::i;:::-;4990:70;;5083:60;5136:6;5083:60;:::i;:::-;5073:70;;4929:224;4916:1;4913;4909:9;4904:14;;4869:284;;;4873:14;5169:3;5162:10;;4570:608;;;;;;;:::o;5184:109::-;5265:21;5280:5;5265:21;:::i;:::-;5260:3;5253:34;5243:50;;:::o;5299:115::-;5384:23;5401:5;5384:23;:::i;:::-;5379:3;5372:36;5362:52;;:::o;5420:370::-;;5583:67;5647:2;5642:3;5583:67;:::i;:::-;5576:74;;5680:34;5676:1;5671:3;5667:11;5660:55;5746:8;5741:2;5736:3;5732:12;5725:30;5781:2;5776:3;5772:12;5765:19;;5566:224;;;:::o;5796:396::-;;5959:67;6023:2;6018:3;5959:67;:::i;:::-;5952:74;;6056:34;6052:1;6047:3;6043:11;6036:55;6122:34;6117:2;6112:3;6108:12;6101:56;6183:2;6178:3;6174:12;6167:19;;5942:250;;;:::o;6198:330::-;;6361:67;6425:2;6420:3;6361:67;:::i;:::-;6354:74;;6458:34;6454:1;6449:3;6445:11;6438:55;6519:2;6514:3;6510:12;6503:19;;6344:184;;;:::o;6534:371::-;;6697:67;6761:2;6756:3;6697:67;:::i;:::-;6690:74;;6794:34;6790:1;6785:3;6781:11;6774:55;6860:9;6855:2;6850:3;6846:12;6839:31;6896:2;6891:3;6887:12;6880:19;;6680:225;;;:::o;6911:396::-;;7074:67;7138:2;7133:3;7074:67;:::i;:::-;7067:74;;7171:34;7167:1;7162:3;7158:11;7151:55;7237:34;7232:2;7227:3;7223:12;7216:56;7298:2;7293:3;7289:12;7282:19;;7057:250;;;:::o;7313:108::-;7390:24;7408:5;7390:24;:::i;:::-;7385:3;7378:37;7368:53;;:::o;7427:118::-;7514:24;7532:5;7514:24;:::i;:::-;7509:3;7502:37;7492:53;;:::o;7551:222::-;;7682:2;7671:9;7667:18;7659:26;;7695:71;7763:1;7752:9;7748:17;7739:6;7695:71;:::i;:::-;7649:124;;;;:::o;7779:442::-;;7966:2;7955:9;7951:18;7943:26;;7979:71;8047:1;8036:9;8032:17;8023:6;7979:71;:::i;:::-;8060:72;8128:2;8117:9;8113:18;8104:6;8060:72;:::i;:::-;8142;8210:2;8199:9;8195:18;8186:6;8142:72;:::i;:::-;7933:288;;;;;;:::o;8227:483::-;;8436:2;8425:9;8421:18;8413:26;;8449:71;8517:1;8506:9;8502:17;8493:6;8449:71;:::i;:::-;8567:9;8561:4;8557:20;8552:2;8541:9;8537:18;8530:48;8595:108;8698:4;8689:6;8595:108;:::i;:::-;8587:116;;8403:307;;;;;:::o;8716:332::-;;8875:2;8864:9;8860:18;8852:26;;8888:71;8956:1;8945:9;8941:17;8932:6;8888:71;:::i;:::-;8969:72;9037:2;9026:9;9022:18;9013:6;8969:72;:::i;:::-;8842:206;;;;;:::o;9054:210::-;;9179:2;9168:9;9164:18;9156:26;;9192:65;9254:1;9243:9;9239:17;9230:6;9192:65;:::i;:::-;9146:118;;;;:::o;9270:218::-;;9399:2;9388:9;9384:18;9376:26;;9412:69;9478:1;9467:9;9463:17;9454:6;9412:69;:::i;:::-;9366:122;;;;:::o;9494:419::-;;9698:2;9687:9;9683:18;9675:26;;9747:9;9741:4;9737:20;9733:1;9722:9;9718:17;9711:47;9775:131;9901:4;9775:131;:::i;:::-;9767:139;;9665:248;;;:::o;9919:419::-;;10123:2;10112:9;10108:18;10100:26;;10172:9;10166:4;10162:20;10158:1;10147:9;10143:17;10136:47;10200:131;10326:4;10200:131;:::i;:::-;10192:139;;10090:248;;;:::o;10344:419::-;;10548:2;10537:9;10533:18;10525:26;;10597:9;10591:4;10587:20;10583:1;10572:9;10568:17;10561:47;10625:131;10751:4;10625:131;:::i;:::-;10617:139;;10515:248;;;:::o;10769:419::-;;10973:2;10962:9;10958:18;10950:26;;11022:9;11016:4;11012:20;11008:1;10997:9;10993:17;10986:47;11050:131;11176:4;11050:131;:::i;:::-;11042:139;;10940:248;;;:::o;11194:419::-;;11398:2;11387:9;11383:18;11375:26;;11447:9;11441:4;11437:20;11433:1;11422:9;11418:17;11411:47;11475:131;11601:4;11475:131;:::i;:::-;11467:139;;11365:248;;;:::o;11619:222::-;;11750:2;11739:9;11735:18;11727:26;;11763:71;11831:1;11820:9;11816:17;11807:6;11763:71;:::i;:::-;11717:124;;;;:::o;11847:283::-;;11913:2;11907:9;11897:19;;11955:4;11947:6;11943:17;12062:6;12050:10;12047:22;12026:18;12014:10;12011:34;12008:62;12005:2;;;12073:18;;:::i;:::-;12005:2;12113:10;12109:2;12102:22;11887:243;;;;:::o;12136:311::-;;12303:18;12295:6;12292:30;12289:2;;;12325:18;;:::i;:::-;12289:2;12375:4;12367:6;12363:17;12355:25;;12435:4;12429;12425:15;12417:23;;12218:229;;;:::o;12453:331::-;;12604:18;12596:6;12593:30;12590:2;;;12626:18;;:::i;:::-;12590:2;12711:4;12707:9;12700:4;12692:6;12688:17;12684:33;12676:41;;12772:4;12766;12762:15;12754:23;;12519:265;;;:::o;12790:132::-;;12880:3;12872:11;;12910:4;12905:3;12901:14;12893:22;;12862:60;;;:::o;12928:114::-;;13029:5;13023:12;13013:22;;13002:40;;;:::o;13048:113::-;;13150:4;13145:3;13141:14;13133:22;;13123:38;;;:::o;13167:184::-;;13300:6;13295:3;13288:19;13340:4;13335:3;13331:14;13316:29;;13278:73;;;;:::o;13357:169::-;;13475:6;13470:3;13463:19;13515:4;13510:3;13506:14;13491:29;;13453:73;;;;:::o;13532:96::-;;13598:24;13616:5;13598:24;:::i;:::-;13587:35;;13577:51;;;:::o;13634:90::-;;13711:5;13704:13;13697:21;13686:32;;13676:48;;;:::o;13730:149::-;;13806:66;13799:5;13795:78;13784:89;;13774:105;;;:::o;13885:126::-;;13962:42;13955:5;13951:54;13940:65;;13930:81;;;:::o;14017:77::-;;14083:5;14072:16;;14062:32;;;:::o;14100:154::-;14184:6;14179:3;14174;14161:30;14246:1;14237:6;14232:3;14228:16;14221:27;14151:103;;;:::o;14260:233::-;;14322:24;14340:5;14322:24;:::i;:::-;14313:33;;14368:66;14361:5;14358:77;14355:2;;;14438:18;;:::i;:::-;14355:2;14485:1;14478:5;14474:13;14467:20;;14303:190;;;:::o;14499:180::-;14547:77;14544:1;14537:88;14644:4;14641:1;14634:15;14668:4;14665:1;14658:15;14685:180;14733:77;14730:1;14723:88;14830:4;14827:1;14820:15;14854:4;14851:1;14844:15;14871:122;14944:24;14962:5;14944:24;:::i;:::-;14937:5;14934:35;14924:2;;14983:1;14980;14973:12;14924:2;14914:79;:::o;14999:122::-;15072:24;15090:5;15072:24;:::i;:::-;15065:5;15062:35;15052:2;;15111:1;15108;15101:12;15052:2;15042:79;:::o

ipfs://14174a88da586a33eefa69398f792e66d52eb2828dcf0bc7230bb4ba611726de