Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract CommonConstants
• interface ERC1155TokenReceiver
•    - function onERC1155Received(address _o ...
•    - function onERC1155BatchReceived(addre ...
• interface IERC165
•    - function supportsInterface(bytes4 int ...
•  contract IERC1155 is IERC165
•    - function safeTransferFrom(address _fr ...
•    - function safeBatchTransferFrom(addres ...
•    - function balanceOf(address _owner, ui ...
•    - function balanceOfBatch(address[] cal ...
•    - function setApprovalForAll(address _o ...
•    - function isApprovedForAll(address _ow ...
•  contract ERC165 is IERC165
•    - function supportsInterface(bytes4 int ...
•    - function _registerInterface(bytes4 in ...
• library Address
•    - function isContract(address account)
•    - function toPayable(address account)
•    - function sendValue(address payable re ...
•  contract ERC1155 is IERC1155, ERC1 ...
•    - function safeTransferFrom(address _fr ...
•    - function safeBatchTransferFrom(addres ...
•    - function balanceOf(address _owner, ui ...
•    - function balanceOfBatch(address[] cal ...
•    - function setApprovalForAll(address _o ...
•    - function isApprovedForAll(address _ow ...
•    - function _doSafeTransferAcceptanceChe ...
•    - function _doSafeBatchTransferAcceptan ...
• library UintLibrary
•    - function toString(uint256 _i)
• library StringLibrary
•    - function append(string memory _a, str ...
•    - function append(string memory _a, str ...
•    - function recover(string memory messag ...
•    - function concat(bytes memory _ba, byt ...
•  contract HasContractURI is ERC165
•    - function _setContractURI(string memor ...
•  contract HasTokenURI
•    - function _tokenURI(uint256 tokenId)
•    - function _setTokenURI(uint256 tokenId ...
•    - function _setTokenURIPrefix(string me ...
•    - function _clearTokenURI(uint256 token ...
•  contract Context
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Context
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IERC1155Metadata_URI
•    - function uri(uint256 _id)
•  contract ERC1155Metadata_URI is IE ...
•    - function uri(uint256 _id)
•  contract ERC1155Base is Ownable, E ...
•    - function _mint(uint256 _id, uint256 _ ...
•    - function burn(address _owner, uint256 ...
•    - function _setTokenURI(uint256 tokenId ...
•    - function setTokenURIPrefix(string mem ...
•    - function setContractURI(string memory ...
•  contract SeenNFToken is Ownable, E ... *
•    - function mint(uint256 id, uint256 sup ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-23
*/

/**
 *Submitted for verification at Etherscan.io on 2020-06-03
*/

pragma solidity ^0.5.0;
pragma experimental ABIEncoderV2;


/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {

    /**
    * @dev Multiplies two numbers, throws on overflow.
    */
    function mul(uint256 a, uint256 b) internal pure returns (uint256 c) {
        // Gas optimization: this is cheaper than asserting 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        c = a * b;
        assert(c / a == b);
        return c;
    }

    /**
    * @dev Integer division of two numbers, truncating the quotient.
    */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // assert(b > 0); // Solidity automatically throws when dividing by 0
        // uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold
        return a / b;
    }

    /**
    * @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        assert(b <= a);
        return a - b;
    }

    /**
    * @dev Adds two numbers, throws on overflow.
    */
    function add(uint256 a, uint256 b) internal pure returns (uint256 c) {
        c = a + b;
        assert(c >= a);
        return c;
    }
}

/**
    Note: Simple contract to use as base for const vals
*/
contract CommonConstants {

    bytes4 constant internal ERC1155_ACCEPTED = 0xf23a6e61; // bytes4(keccak256("onERC1155Received(address,address,uint256,uint256,bytes)"))
    bytes4 constant internal ERC1155_BATCH_ACCEPTED = 0xbc197c81; // bytes4(keccak256("onERC1155BatchReceived(address,address,uint256[],uint256[],bytes)"))
}

/**
    Note: The ERC-165 identifier for this interface is 0x4e2312e0.
*/
interface ERC1155TokenReceiver {
    /**
        @notice Handle the receipt of a single ERC1155 token type.
        @dev An ERC1155-compliant smart contract MUST call this function on the token recipient contract, at the end of a `safeTransferFrom` after the balance has been updated.
        This function MUST return `bytes4(keccak256("onERC1155Received(address,address,uint256,uint256,bytes)"))` (i.e. 0xf23a6e61) if it accepts the transfer.
        This function MUST revert if it rejects the transfer.
        Return of any other value than the prescribed keccak256 generated value MUST result in the transaction being reverted by the caller.
        @param _operator  The address which initiated the transfer (i.e. msg.sender)
        @param _from      The address which previously owned the token
        @param _id        The ID of the token being transferred
        @param _value     The amount of tokens being transferred
        @param _data      Additional data with no specified format
        @return           `bytes4(keccak256("onERC1155Received(address,address,uint256,uint256,bytes)"))`
    */
    function onERC1155Received(address _operator, address _from, uint256 _id, uint256 _value, bytes calldata _data) external returns(bytes4);

    /**
        @notice Handle the receipt of multiple ERC1155 token types.
        @dev An ERC1155-compliant smart contract MUST call this function on the token recipient contract, at the end of a `safeBatchTransferFrom` after the balances have been updated.
        This function MUST return `bytes4(keccak256("onERC1155BatchReceived(address,address,uint256[],uint256[],bytes)"))` (i.e. 0xbc197c81) if it accepts the transfer(s).
        This function MUST revert if it rejects the transfer(s).
        Return of any other value than the prescribed keccak256 generated value MUST result in the transaction being reverted by the caller.
        @param _operator  The address which initiated the batch transfer (i.e. msg.sender)
        @param _from      The address which previously owned the token
        @param _ids       An array containing ids of each token being transferred (order and length must match _values array)
        @param _values    An array containing amounts of each token being transferred (order and length must match _ids array)
        @param _data      Additional data with no specified format
        @return           `bytes4(keccak256("onERC1155BatchReceived(address,address,uint256[],uint256[],bytes)"))`
    */
    function onERC1155BatchReceived(address _operator, address _from, uint256[] calldata _ids, uint256[] calldata _values, bytes calldata _data) external returns(bytes4);
}

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

/**
    @title ERC-1155 Multi Token Standard
    @dev See https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1155.md
    Note: The ERC-165 identifier for this interface is 0xd9b67a26.
 */
contract IERC1155 is IERC165 {
    /**
        @dev Either `TransferSingle` or `TransferBatch` MUST emit when tokens are transferred, including zero value transfers as well as minting or burning (see "Safe Transfer Rules" section of the standard).
        The `_operator` argument MUST be msg.sender.
        The `_from` argument MUST be the address of the holder whose balance is decreased.
        The `_to` argument MUST be the address of the recipient whose balance is increased.
        The `_id` argument MUST be the token type being transferred.
        The `_value` argument MUST be the number of tokens the holder balance is decreased by and match what the recipient balance is increased by.
        When minting/creating tokens, the `_from` argument MUST be set to `0x0` (i.e. zero address).
        When burning/destroying tokens, the `_to` argument MUST be set to `0x0` (i.e. zero address).
    */
    event TransferSingle(address indexed _operator, address indexed _from, address indexed _to, uint256 _id, uint256 _value);

    /**
        @dev Either `TransferSingle` or `TransferBatch` MUST emit when tokens are transferred, including zero value transfers as well as minting or burning (see "Safe Transfer Rules" section of the standard).
        The `_operator` argument MUST be msg.sender.
        The `_from` argument MUST be the address of the holder whose balance is decreased.
        The `_to` argument MUST be the address of the recipient whose balance is increased.
        The `_ids` argument MUST be the list of tokens being transferred.
        The `_values` argument MUST be the list of number of tokens (matching the list and order of tokens specified in _ids) the holder balance is decreased by and match what the recipient balance is increased by.
        When minting/creating tokens, the `_from` argument MUST be set to `0x0` (i.e. zero address).
        When burning/destroying tokens, the `_to` argument MUST be set to `0x0` (i.e. zero address).
    */
    event TransferBatch(address indexed _operator, address indexed _from, address indexed _to, uint256[] _ids, uint256[] _values);

    /**
        @dev MUST emit when approval for a second party/operator address to manage all tokens for an owner address is enabled or disabled (absense of an event assumes disabled).
    */
    event ApprovalForAll(address indexed _owner, address indexed _operator, bool _approved);

    /**
        @dev MUST emit when the URI is updated for a token ID.
        URIs are defined in RFC 3986.
        The URI MUST point a JSON file that conforms to the "ERC-1155 Metadata URI JSON Schema".
    */
    event URI(string _value, uint256 indexed _id);

    /**
        @notice Transfers `_value` amount of an `_id` from the `_from` address to the `_to` address specified (with safety call).
        @dev Caller must be approved to manage the tokens being transferred out of the `_from` account (see "Approval" section of the standard).
        MUST revert if `_to` is the zero address.
        MUST revert if balance of holder for token `_id` is lower than the `_value` sent.
        MUST revert on any other error.
        MUST emit the `TransferSingle` event to reflect the balance change (see "Safe Transfer Rules" section of the standard).
        After the above conditions are met, this function MUST check if `_to` is a smart contract (e.g. code size > 0). If so, it MUST call `onERC1155Received` on `_to` and act appropriately (see "Safe Transfer Rules" section of the standard).
        @param _from    Source address
        @param _to      Target address
        @param _id      ID of the token type
        @param _value   Transfer amount
        @param _data    Additional data with no specified format, MUST be sent unaltered in call to `onERC1155Received` on `_to`
    */
    function safeTransferFrom(address _from, address _to, uint256 _id, uint256 _value, bytes calldata _data) external;

    /**
        @notice Transfers `_values` amount(s) of `_ids` from the `_from` address to the `_to` address specified (with safety call).
        @dev Caller must be approved to manage the tokens being transferred out of the `_from` account (see "Approval" section of the standard).
        MUST revert if `_to` is the zero address.
        MUST revert if length of `_ids` is not the same as length of `_values`.
        MUST revert if any of the balance(s) of the holder(s) for token(s) in `_ids` is lower than the respective amount(s) in `_values` sent to the recipient.
        MUST revert on any other error.
        MUST emit `TransferSingle` or `TransferBatch` event(s) such that all the balance changes are reflected (see "Safe Transfer Rules" section of the standard).
        Balance changes and events MUST follow the ordering of the arrays (_ids[0]/_values[0] before _ids[1]/_values[1], etc).
        After the above conditions for the transfer(s) in the batch are met, this function MUST check if `_to` is a smart contract (e.g. code size > 0). If so, it MUST call the relevant `ERC1155TokenReceiver` hook(s) on `_to` and act appropriately (see "Safe Transfer Rules" section of the standard).
        @param _from    Source address
        @param _to      Target address
        @param _ids     IDs of each token type (order and length must match _values array)
        @param _values  Transfer amounts per token type (order and length must match _ids array)
        @param _data    Additional data with no specified format, MUST be sent unaltered in call to the `ERC1155TokenReceiver` hook(s) on `_to`
    */
    function safeBatchTransferFrom(address _from, address _to, uint256[] calldata _ids, uint256[] calldata _values, bytes calldata _data) external;

    /**
        @notice Get the balance of an account's Tokens.
        @param _owner  The address of the token holder
        @param _id     ID of the Token
        @return        The _owner's balance of the Token type requested
     */
    function balanceOf(address _owner, uint256 _id) external view returns (uint256);

    /**
        @notice Get the balance of multiple account/token pairs
        @param _owners The addresses of the token holders
        @param _ids    ID of the Tokens
        @return        The _owner's balance of the Token types requested (i.e. balance for each (owner, id) pair)
     */
    function balanceOfBatch(address[] calldata _owners, uint256[] calldata _ids) external view returns (uint256[] memory);

    /**
        @notice Enable or disable approval for a third party ("operator") to manage all of the caller's tokens.
        @dev MUST emit the ApprovalForAll event on success.
        @param _operator  Address to add to the set of authorized operators
        @param _approved  True if the operator is approved, false to revoke approval
    */
    function setApprovalForAll(address _operator, bool _approved) external;

    /**
        @notice Queries the approval status of an operator for a given owner.
        @param _owner     The owner of the Tokens
        @param _operator  Address of authorized operator
        @return           True if the operator is approved, false if not
    */
    function isApprovedForAll(address _owner, address _operator) external view returns (bool);
}

/**
 * @dev Implementation of the {IERC165} interface.
 *
 * Contracts may inherit from this and call {_registerInterface} to declare
 * their support of an interface.
 */
contract ERC165 is IERC165 {
    /*
     * bytes4(keccak256('supportsInterface(bytes4)')) == 0x01ffc9a7
     */
    bytes4 private constant _INTERFACE_ID_ERC165 = 0x01ffc9a7;

    /**
     * @dev Mapping of interface ids to whether or not it's supported.
     */
    mapping(bytes4 => bool) private _supportedInterfaces;

    constructor () internal {
        // Derived contracts need only register support for their own interfaces,
        // we register support for ERC165 itself here
        _registerInterface(_INTERFACE_ID_ERC165);
    }

    /**
     * @dev See {IERC165-supportsInterface}.
     *
     * Time complexity O(1), guaranteed to always use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) external view returns (bool) {
        return _supportedInterfaces[interfaceId];
    }

    /**
     * @dev Registers the contract as an implementer of the interface defined by
     * `interfaceId`. Support of the actual ERC165 interface is automatic and
     * registering its interface id is not required.
     *
     * See {IERC165-supportsInterface}.
     *
     * Requirements:
     *
     * - `interfaceId` cannot be the ERC165 invalid interface (`0xffffffff`).
     */
    function _registerInterface(bytes4 interfaceId) internal {
        require(interfaceId != 0xffffffff, "ERC165: invalid interface id");
        _supportedInterfaces[interfaceId] = true;
    }
}

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following 
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // According to EIP-1052, 0x0 is the value returned for not-yet created accounts
        // and 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 is returned
        // for accounts without code, i.e. `keccak256('')`
        bytes32 codehash;
        bytes32 accountHash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470;
        // solhint-disable-next-line no-inline-assembly
        assembly { codehash := extcodehash(account) }
        return (codehash != accountHash && codehash != 0x0);
    }

    /**
     * @dev Converts an `address` into `address payable`. Note that this is
     * simply a type cast: the actual underlying value is not changed.
     *
     * _Available since v2.4.0._
     */
    function toPayable(address account) internal pure returns (address payable) {
        return address(uint160(account));
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     *
     * _Available since v2.4.0._
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        // solhint-disable-next-line avoid-call-value
        (bool success, ) = recipient.call.value(amount)("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }
}

// A sample implementation of core ERC1155 function.
contract ERC1155 is IERC1155, ERC165, CommonConstants
{
    using SafeMath for uint256;
    using Address for address;

    // id => (owner => balance)
    mapping (uint256 => mapping(address => uint256)) internal balances;

    // owner => (operator => approved)
    mapping (address => mapping(address => bool)) internal operatorApproval;

/////////////////////////////////////////// ERC165 //////////////////////////////////////////////

    /*
        bytes4(keccak256("safeTransferFrom(address,address,uint256,uint256,bytes)")) ^
        bytes4(keccak256("safeBatchTransferFrom(address,address,uint256[],uint256[],bytes)")) ^
        bytes4(keccak256("balanceOf(address,uint256)")) ^
        bytes4(keccak256("balanceOfBatch(address[],uint256[])")) ^
        bytes4(keccak256("setApprovalForAll(address,bool)")) ^
        bytes4(keccak256("isApprovedForAll(address,address)"));
    */
    bytes4 constant private INTERFACE_SIGNATURE_ERC1155 = 0xd9b67a26;

/////////////////////////////////////////// CONSTRUCTOR //////////////////////////////////////////

    constructor() public {
        _registerInterface(INTERFACE_SIGNATURE_ERC1155);
    }

/////////////////////////////////////////// ERC1155 //////////////////////////////////////////////

    /**
        @notice Transfers `_value` amount of an `_id` from the `_from` address to the `_to` address specified (with safety call).
        @dev Caller must be approved to manage the tokens being transferred out of the `_from` account (see "Approval" section of the standard).
        MUST revert if `_to` is the zero address.
        MUST revert if balance of holder for token `_id` is lower than the `_value` sent.
        MUST revert on any other error.
        MUST emit the `TransferSingle` event to reflect the balance change (see "Safe Transfer Rules" section of the standard).
        After the above conditions are met, this function MUST check if `_to` is a smart contract (e.g. code size > 0). If so, it MUST call `onERC1155Received` on `_to` and act appropriately (see "Safe Transfer Rules" section of the standard).
        @param _from    Source address
        @param _to      Target address
        @param _id      ID of the token type
        @param _value   Transfer amount
        @param _data    Additional data with no specified format, MUST be sent unaltered in call to `onERC1155Received` on `_to`
    */
    function safeTransferFrom(address _from, address _to, uint256 _id, uint256 _value, bytes calldata _data) external {

        require(_to != address(0x0), "_to must be non-zero.");
        require(_from == msg.sender || operatorApproval[_from][msg.sender] == true, "Need operator approval for 3rd party transfers.");

        // SafeMath will throw with insuficient funds _from
        // or if _id is not valid (balance will be 0)
        balances[_id][_from] = balances[_id][_from].sub(_value);
        balances[_id][_to]   = _value.add(balances[_id][_to]);

        // MUST emit event
        emit TransferSingle(msg.sender, _from, _to, _id, _value);

        // Now that the balance is updated and the event was emitted,
        // call onERC1155Received if the destination is a contract.
        if (_to.isContract()) {
            _doSafeTransferAcceptanceCheck(msg.sender, _from, _to, _id, _value, _data);
        }
    }

    /**
        @notice Transfers `_values` amount(s) of `_ids` from the `_from` address to the `_to` address specified (with safety call).
        @dev Caller must be approved to manage the tokens being transferred out of the `_from` account (see "Approval" section of the standard).
        MUST revert if `_to` is the zero address.
        MUST revert if length of `_ids` is not the same as length of `_values`.
        MUST revert if any of the balance(s) of the holder(s) for token(s) in `_ids` is lower than the respective amount(s) in `_values` sent to the recipient.
        MUST revert on any other error.
        MUST emit `TransferSingle` or `TransferBatch` event(s) such that all the balance changes are reflected (see "Safe Transfer Rules" section of the standard).
        Balance changes and events MUST follow the ordering of the arrays (_ids[0]/_values[0] before _ids[1]/_values[1], etc).
        After the above conditions for the transfer(s) in the batch are met, this function MUST check if `_to` is a smart contract (e.g. code size > 0). If so, it MUST call the relevant `ERC1155TokenReceiver` hook(s) on `_to` and act appropriately (see "Safe Transfer Rules" section of the standard).
        @param _from    Source address
        @param _to      Target address
        @param _ids     IDs of each token type (order and length must match _values array)
        @param _values  Transfer amounts per token type (order and length must match _ids array)
        @param _data    Additional data with no specified format, MUST be sent unaltered in call to the `ERC1155TokenReceiver` hook(s) on `_to`
    */
    function safeBatchTransferFrom(address _from, address _to, uint256[] calldata _ids, uint256[] calldata _values, bytes calldata _data) external {

        // MUST Throw on errors
        require(_to != address(0x0), "destination address must be non-zero.");
        require(_ids.length == _values.length, "_ids and _values array lenght must match.");
        require(_from == msg.sender || operatorApproval[_from][msg.sender] == true, "Need operator approval for 3rd party transfers.");

        for (uint256 i = 0; i < _ids.length; ++i) {
            uint256 id = _ids[i];
            uint256 value = _values[i];

            // SafeMath will throw with insuficient funds _from
            // or if _id is not valid (balance will be 0)
            balances[id][_from] = balances[id][_from].sub(value);
            balances[id][_to]   = value.add(balances[id][_to]);
        }

        // Note: instead of the below batch versions of event and acceptance check you MAY have emitted a TransferSingle
        // event and a subsequent call to _doSafeTransferAcceptanceCheck in above loop for each balance change instead.
        // Or emitted a TransferSingle event for each in the loop and then the single _doSafeBatchTransferAcceptanceCheck below.
        // However it is implemented the balance changes and events MUST match when a check (i.e. calling an external contract) is done.

        // MUST emit event
        emit TransferBatch(msg.sender, _from, _to, _ids, _values);

        // Now that the balances are updated and the events are emitted,
        // call onERC1155BatchReceived if the destination is a contract.
        if (_to.isContract()) {
            _doSafeBatchTransferAcceptanceCheck(msg.sender, _from, _to, _ids, _values, _data);
        }
    }

    /**
        @notice Get the balance of an account's Tokens.
        @param _owner  The address of the token holder
        @param _id     ID of the Token
        @return        The _owner's balance of the Token type requested
     */
    function balanceOf(address _owner, uint256 _id) external view returns (uint256) {
        // The balance of any account can be calculated from the Transfer events history.
        // However, since we need to keep the balances to validate transfer request,
        // there is no extra cost to also privide a querry function.
        return balances[_id][_owner];
    }


    /**
        @notice Get the balance of multiple account/token pairs
        @param _owners The addresses of the token holders
        @param _ids    ID of the Tokens
        @return        The _owner's balance of the Token types requested (i.e. balance for each (owner, id) pair)
     */
    function balanceOfBatch(address[] calldata _owners, uint256[] calldata _ids) external view returns (uint256[] memory) {

        require(_owners.length == _ids.length);

        uint256[] memory balances_ = new uint256[](_owners.length);

        for (uint256 i = 0; i < _owners.length; ++i) {
            balances_[i] = balances[_ids[i]][_owners[i]];
        }

        return balances_;
    }

    /**
        @notice Enable or disable approval for a third party ("operator") to manage all of the caller's tokens.
        @dev MUST emit the ApprovalForAll event on success.
        @param _operator  Address to add to the set of authorized operators
        @param _approved  True if the operator is approved, false to revoke approval
    */
    function setApprovalForAll(address _operator, bool _approved) external {
        operatorApproval[msg.sender][_operator] = _approved;
        emit ApprovalForAll(msg.sender, _operator, _approved);
    }

    /**
        @notice Queries the approval status of an operator for a given owner.
        @param _owner     The owner of the Tokens
        @param _operator  Address of authorized operator
        @return           True if the operator is approved, false if not
    */
    function isApprovedForAll(address _owner, address _operator) external view returns (bool) {
        return operatorApproval[_owner][_operator];
    }

/////////////////////////////////////////// Internal //////////////////////////////////////////////

    function _doSafeTransferAcceptanceCheck(address _operator, address _from, address _to, uint256 _id, uint256 _value, bytes memory _data) internal {

        // If this was a hybrid standards solution you would have to check ERC165(_to).supportsInterface(0x4e2312e0) here but as this is a pure implementation of an ERC-1155 token set as recommended by
        // the standard, it is not necessary. The below should revert in all failure cases i.e. _to isn't a receiver, or it is and either returns an unknown value or it reverts in the call to indicate non-acceptance.


        // Note: if the below reverts in the onERC1155Received function of the _to address you will have an undefined revert reason returned rather than the one in the require test.
        // If you want predictable revert reasons consider using low level _to.call() style instead so the revert does not bubble up and you can revert yourself on the ERC1155_ACCEPTED test.
        require(ERC1155TokenReceiver(_to).onERC1155Received(_operator, _from, _id, _value, _data) == ERC1155_ACCEPTED, "contract returned an unknown value from onERC1155Received");
    }

    function _doSafeBatchTransferAcceptanceCheck(address _operator, address _from, address _to, uint256[] memory _ids, uint256[] memory _values, bytes memory _data) internal {

        // If this was a hybrid standards solution you would have to check ERC165(_to).supportsInterface(0x4e2312e0) here but as this is a pure implementation of an ERC-1155 token set as recommended by
        // the standard, it is not necessary. The below should revert in all failure cases i.e. _to isn't a receiver, or it is and either returns an unknown value or it reverts in the call to indicate non-acceptance.

        // Note: if the below reverts in the onERC1155BatchReceived function of the _to address you will have an undefined revert reason returned rather than the one in the require test.
        // If you want predictable revert reasons consider using low level _to.call() style instead so the revert does not bubble up and you can revert yourself on the ERC1155_BATCH_ACCEPTED test.
        require(ERC1155TokenReceiver(_to).onERC1155BatchReceived(_operator, _from, _ids, _values, _data) == ERC1155_BATCH_ACCEPTED, "contract returned an unknown value from onERC1155BatchReceived");
    }
}

library UintLibrary {
    function toString(uint256 _i) internal pure returns (string memory) {
        if (_i == 0) {
            return "0";
        }
        uint j = _i;
        uint len;
        while (j != 0) {
            len++;
            j /= 10;
        }
        bytes memory bstr = new bytes(len);
        uint k = len - 1;
        while (_i != 0) {
            bstr[k--] = byte(uint8(48 + _i % 10));
            _i /= 10;
        }
        return string(bstr);
    }
}

library StringLibrary {
    using UintLibrary for uint256;

    function append(string memory _a, string memory _b) internal pure returns (string memory) {
        bytes memory _ba = bytes(_a);
        bytes memory _bb = bytes(_b);
        bytes memory bab = new bytes(_ba.length + _bb.length);
        uint k = 0;
        for (uint i = 0; i < _ba.length; i++) bab[k++] = _ba[i];
        for (uint i = 0; i < _bb.length; i++) bab[k++] = _bb[i];
        return string(bab);
    }

    function append(string memory _a, string memory _b, string memory _c) internal pure returns (string memory) {
        bytes memory _ba = bytes(_a);
        bytes memory _bb = bytes(_b);
        bytes memory _bc = bytes(_c);
        bytes memory bbb = new bytes(_ba.length + _bb.length + _bc.length);
        uint k = 0;
        for (uint i = 0; i < _ba.length; i++) bbb[k++] = _ba[i];
        for (uint i = 0; i < _bb.length; i++) bbb[k++] = _bb[i];
        for (uint i = 0; i < _bc.length; i++) bbb[k++] = _bc[i];
        return string(bbb);
    }

    function recover(string memory message, uint8 v, bytes32 r, bytes32 s) internal pure returns (address) {
        bytes memory msgBytes = bytes(message);
        bytes memory fullMessage = concat(
            bytes("\x19Ethereum Signed Message:\n"),
            bytes(msgBytes.length.toString()),
            msgBytes,
            new bytes(0), new bytes(0), new bytes(0), new bytes(0)
        );
        return ecrecover(keccak256(fullMessage), v, r, s);
    }

    function concat(bytes memory _ba, bytes memory _bb, bytes memory _bc, bytes memory _bd, bytes memory _be, bytes memory _bf, bytes memory _bg) internal pure returns (bytes memory) {
        bytes memory resultBytes = new bytes(_ba.length + _bb.length + _bc.length + _bd.length + _be.length + _bf.length + _bg.length);
        uint k = 0;
        for (uint i = 0; i < _ba.length; i++) resultBytes[k++] = _ba[i];
        for (uint i = 0; i < _bb.length; i++) resultBytes[k++] = _bb[i];
        for (uint i = 0; i < _bc.length; i++) resultBytes[k++] = _bc[i];
        for (uint i = 0; i < _bd.length; i++) resultBytes[k++] = _bd[i];
        for (uint i = 0; i < _be.length; i++) resultBytes[k++] = _be[i];
        for (uint i = 0; i < _bf.length; i++) resultBytes[k++] = _bf[i];
        for (uint i = 0; i < _bg.length; i++) resultBytes[k++] = _bg[i];
        return resultBytes;
    }
}

contract HasContractURI is ERC165 {

    string public contractURI;

    /*
     * bytes4(keccak256('contractURI()')) == 0xe8a3d485
     */
    bytes4 private constant _INTERFACE_ID_CONTRACT_URI = 0xe8a3d485;

    constructor(string memory _contractURI) public {
        contractURI = _contractURI;
        _registerInterface(_INTERFACE_ID_CONTRACT_URI);
    }

    /**
     * @dev Internal function to set the contract URI
     * @param _contractURI string URI prefix to assign
     */
    function _setContractURI(string memory _contractURI) internal {
        contractURI = _contractURI;
    }
}

contract HasTokenURI {
    using StringLibrary for string;

    //Token URI prefix
    string public tokenURIPrefix;

    // Optional mapping for token URIs
    mapping(uint256 => string) private _tokenURIs;

    constructor(string memory _tokenURIPrefix) public {
        tokenURIPrefix = _tokenURIPrefix;
    }

    /**
     * @dev Returns an URI for a given token ID.
     * Throws if the token ID does not exist. May return an empty string.
     * @param tokenId uint256 ID of the token to query
     */
    function _tokenURI(uint256 tokenId) internal view returns (string memory) {
        return tokenURIPrefix.append(_tokenURIs[tokenId]);
    }

    /**
     * @dev Internal function to set the token URI for a given token.
     * Reverts if the token ID does not exist.
     * @param tokenId uint256 ID of the token to set its URI
     * @param uri string URI to assign
     */
    function _setTokenURI(uint256 tokenId, string memory uri) internal {
        _tokenURIs[tokenId] = uri;
    }

    /**
     * @dev Internal function to set the token URI prefix.
     * @param _tokenURIPrefix string URI prefix to assign
     */
    function _setTokenURIPrefix(string memory _tokenURIPrefix) internal {
        tokenURIPrefix = _tokenURIPrefix;
    }

    function _clearTokenURI(uint256 tokenId) internal {
        if (bytes(_tokenURIs[tokenId]).length != 0) {
            delete _tokenURIs[tokenId];
        }
    }
}

/*
 * @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 GSN 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.
 */
contract Context {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        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.
 *
 * 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.
 */
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 () internal {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

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

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

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return _msgSender() == _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 onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = 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 onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

/**
    Note: The ERC-165 identifier for this interface is 0x0e89341c.
*/
interface IERC1155Metadata_URI {
    /**
        @notice A distinct Uniform Resource Identifier (URI) for a given token.
        @dev URIs are defined in RFC 3986.
        The URI may point to a JSON file that conforms to the "ERC-1155 Metadata URI JSON Schema".
        @return URI string
    */
    function uri(uint256 _id) external view returns (string memory);
}

/**
    Note: The ERC-165 identifier for this interface is 0x0e89341c.
*/
contract ERC1155Metadata_URI is IERC1155Metadata_URI, HasTokenURI {

    constructor(string memory _tokenURIPrefix) HasTokenURI(_tokenURIPrefix) public {

    }

    function uri(uint256 _id) external view returns (string memory) {
        return _tokenURI(_id);
    }
}

contract ERC1155Base is Ownable, ERC1155Metadata_URI, HasContractURI, ERC1155 {

    // id => creator
    mapping (uint256 => address) public creators;

    constructor(string memory contractURI, string memory tokenURIPrefix) HasContractURI(contractURI) ERC1155Metadata_URI(tokenURIPrefix) public {

    }

    // Creates a new token type and assings _initialSupply to minter
    function _mint(uint256 _id, uint256 _supply, string memory _uri) internal {
        require(creators[_id] == address(0x0), "Token is already minted");
        require(_supply != 0, "Supply should be positive");
        require(bytes(_uri).length > 0, "uri should be set");

        creators[_id] = msg.sender;

        balances[_id][msg.sender] = _supply;
        _setTokenURI(_id, _uri);

        // Transfer event with mint semantic
        emit TransferSingle(msg.sender, address(0x0), msg.sender, _id, _supply);
        emit URI(_uri, _id);
    }

    function burn(address _owner, uint256 _id, uint256 _value) external {

        require(_owner == msg.sender || operatorApproval[_owner][msg.sender] == true, "Need operator approval for 3rd party burns.");

        // SafeMath will throw with insuficient funds _owner
        // or if _id is not valid (balance will be 0)
        balances[_id][_owner] = balances[_id][_owner].sub(_value);

        // MUST emit event
        emit TransferSingle(msg.sender, _owner, address(0x0), _id, _value);
    }

    /**
     * @dev Internal function to set the token URI for a given token.
     * Reverts if the token ID does not exist.
     * @param tokenId uint256 ID of the token to set its URI
     * @param uri string URI to assign
     */
    function _setTokenURI(uint256 tokenId, string memory uri) internal {
        require(creators[tokenId] != address(0x0), "_setTokenURI: Token should exist");
        super._setTokenURI(tokenId, uri);
    }

    function setTokenURIPrefix(string memory tokenURIPrefix) public onlyOwner {
        _setTokenURIPrefix(tokenURIPrefix);
    }

    function setContractURI(string memory contractURI) public onlyOwner {
        _setContractURI(contractURI);
    }
}

contract SeenNFToken is Ownable, ERC1155Base {
    string public name;
    string public symbol;

    constructor(string memory _name, string memory _symbol, string memory contractURI, string memory tokenURIPrefix) ERC1155Base(contractURI, tokenURIPrefix) public {
        name = _name;
        symbol = _symbol;

        _registerInterface(bytes4(keccak256('MINT_WITH_ADDRESS')));
    }

    function mint(uint256 id, uint256 supply, string memory uri) public onlyOwner {
        _mint(id, supply, uri);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"string","name":"contractURI","type":"string"},{"internalType":"string","name":"tokenURIPrefix","type":"string"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_owner","type":"address"},{"indexed":true,"internalType":"address","name":"_operator","type":"address"},{"indexed":false,"internalType":"bool","name":"_approved","type":"bool"}],"name":"ApprovalForAll","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_operator","type":"address"},{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"},{"indexed":false,"internalType":"uint256[]","name":"_ids","type":"uint256[]"},{"indexed":false,"internalType":"uint256[]","name":"_values","type":"uint256[]"}],"name":"TransferBatch","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_operator","type":"address"},{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"},{"indexed":false,"internalType":"uint256","name":"_id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"TransferSingle","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"_value","type":"string"},{"indexed":true,"internalType":"uint256","name":"_id","type":"uint256"}],"name":"URI","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"uint256","name":"_id","type":"uint256"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address[]","name":"_owners","type":"address[]"},{"internalType":"uint256[]","name":"_ids","type":"uint256[]"}],"name":"balanceOfBatch","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"uint256","name":"_id","type":"uint256"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"contractURI","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"creators","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_operator","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"uint256","name":"supply","type":"uint256"},{"internalType":"string","name":"uri","type":"string"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256[]","name":"_ids","type":"uint256[]"},{"internalType":"uint256[]","name":"_values","type":"uint256[]"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"safeBatchTransferFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_id","type":"uint256"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_operator","type":"address"},{"internalType":"bool","name":"_approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"string","name":"contractURI","type":"string"}],"name":"setContractURI","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"string","name":"tokenURIPrefix","type":"string"}],"name":"setTokenURIPrefix","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokenURIPrefix","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"_id","type":"uint256"}],"name":"uri","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"}]

60806040523480156200001157600080fd5b5060405162003a7238038062003a728339818101604052620000379190810190620003b9565b818181818060006200004e620001cd60201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a350806001908051906020019062000104929190620002ae565b5050506200011f6301ffc9a760e01b620001d560201b60201c565b806004908051906020019062000137929190620002ae565b506200015063e8a3d48560e01b620001d560201b60201c565b506200016963d9b67a2660e01b620001d560201b60201c565b5050836008908051906020019062000183929190620002ae565b5082600990805190602001906200019c929190620002ae565b50620001c3604051620001af906200050d565b6040518091039020620001d560201b60201c565b50505050620005f3565b600033905090565b63ffffffff60e01b817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916141562000241576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002389062000524565b60405180910390fd5b600160036000837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620002f157805160ff191683800117855562000322565b8280016001018555821562000322579182015b828111156200032157825182559160200191906001019062000304565b5b50905062000331919062000335565b5090565b6200035a91905b80821115620003565760008160009055506001016200033c565b5090565b90565b600082601f8301126200036f57600080fd5b815162000386620003808262000574565b62000546565b91508082526020830160208301858383011115620003a357600080fd5b620003b0838284620005bd565b50505092915050565b60008060008060808587031215620003d057600080fd5b600085015167ffffffffffffffff811115620003eb57600080fd5b620003f9878288016200035d565b945050602085015167ffffffffffffffff8111156200041757600080fd5b62000425878288016200035d565b935050604085015167ffffffffffffffff8111156200044357600080fd5b62000451878288016200035d565b925050606085015167ffffffffffffffff8111156200046f57600080fd5b6200047d878288016200035d565b91505092959194509250565b600062000498601c83620005a1565b91507f4552433136353a20696e76616c696420696e74657266616365206964000000006000830152602082019050919050565b6000620004da601183620005b2565b91507f4d494e545f574954485f414444524553530000000000000000000000000000006000830152601182019050919050565b60006200051a82620004cb565b9150819050919050565b600060208201905081810360008301526200053f8162000489565b9050919050565b6000604051905081810181811067ffffffffffffffff821117156200056a57600080fd5b8060405250919050565b600067ffffffffffffffff8211156200058c57600080fd5b601f19601f8301169050602081019050919050565b600082825260208201905092915050565b600081905092915050565b60005b83811015620005dd578082015181840152602081019050620005c0565b83811115620005ed576000848401525b50505050565b61346f80620006036000396000f3fe608060405234801561001057600080fd5b50600436106101365760003560e01c806395d89b41116100b8578063cd53d08e1161007c578063cd53d08e14610327578063e8a3d48514610357578063e985e9c514610375578063f242432a146103a5578063f2fde38b146103c1578063f5298aca146103dd57610136565b806395d89b411461029757806399e0dd7c146102b5578063a22cb465146102d1578063c0ac9983146102ed578063c6e64e531461030b57610136565b80634e1273f4116100ff5780634e1273f414610205578063715018a6146102355780638da5cb5b1461023f5780638f32d59b1461025d578063938e3d7b1461027b57610136565b8062fdd58e1461013b57806301ffc9a71461016b57806306fdde031461019b5780630e89341c146101b95780632eb2c2d6146101e9575b600080fd5b61015560048036036101509190810190612695565b6103f9565b60405161016291906131f0565b60405180910390f35b61018560048036036101809190810190612795565b610454565b6040516101929190612ff1565b60405180910390f35b6101a36104bc565b6040516101b0919061300c565b60405180910390f35b6101d360048036036101ce9190810190612828565b61055a565b6040516101e0919061302e565b60405180910390f35b61020360048036036101fe91908101906124fb565b61056c565b005b61021f600480360361021a9190810190612720565b610a6a565b60405161022c9190612fcf565b60405180910390f35b61023d610b79565b005b610247610c7f565b6040516102549190612eb7565b60405180910390f35b610265610ca8565b6040516102729190612ff1565b60405180910390f35b610295600480360361029091908101906127e7565b610d06565b005b61029f610d59565b6040516102ac919061300c565b60405180910390f35b6102cf60048036036102ca91908101906127e7565b610df7565b005b6102eb60048036036102e69190810190612659565b610e4a565b005b6102f5610f47565b604051610302919061300c565b60405180910390f35b61032560048036036103209190810190612851565b610fe5565b005b610341600480360361033c9190810190612828565b61103c565b60405161034e9190612eb7565b60405180910390f35b61035f61106f565b60405161036c919061300c565b60405180910390f35b61038f600480360361038a91908101906124bf565b61110d565b60405161039c9190612ff1565b60405180910390f35b6103bf60048036036103ba91908101906125c7565b6111a1565b005b6103db60048036036103d69190810190612496565b611582565b005b6103f760048036036103f291908101906126d1565b6115d5565b005b60006005600083815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600060036000837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460ff169050919050565b60088054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156105525780601f1061052757610100808354040283529160200191610552565b820191906000526020600020905b81548152906001019060200180831161053557829003601f168201915b505050505081565b606061056582611816565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156105dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d390613090565b60405180910390fd5b838390508686905014610624576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161061b90613170565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff1614806106eb575060011515600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b61072a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610721906130d0565b60405180910390fd5b60008090505b868690508110156108e457600087878381811061074957fe5b905060200201359050600086868481811061076057fe5b9050602002013590506107cc816005600085815260200190815260200160002060008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197790919063ffffffff16565b6005600084815260200190815260200160002060008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108836005600084815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548261198e90919063ffffffff16565b6005600084815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050806001019050610730565b508673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb8989898960405161095f9493929190612f94565b60405180910390a46109868773ffffffffffffffffffffffffffffffffffffffff166119a8565b15610a6057610a5f338989898980806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050888880806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505087878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050506119f3565b5b5050505050505050565b6060828290508585905014610a7e57600080fd5b606085859050604051908082528060200260200182016040528015610ab25781602001602082028038833980820191505090505b50905060008090505b86869050811015610b6c5760056000868684818110610ad657fe5b9050602002013581526020019081526020016000206000888884818110610af957fe5b9050602002016020610b0e9190810190612496565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054828281518110610b5557fe5b602002602001018181525050806001019050610abb565b5080915050949350505050565b610b81610ca8565b610bc0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb790613110565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610cea611b14565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b610d0e610ca8565b610d4d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d4490613110565b60405180910390fd5b610d5681611b1c565b50565b60098054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610def5780601f10610dc457610100808354040283529160200191610def565b820191906000526020600020905b815481529060010190602001808311610dd257829003601f168201915b505050505081565b610dff610ca8565b610e3e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e3590613110565b60405180910390fd5b610e4781611b36565b50565b80600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051610f3b9190612ff1565b60405180910390a35050565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610fdd5780601f10610fb257610100808354040283529160200191610fdd565b820191906000526020600020905b815481529060010190602001808311610fc057829003601f168201915b505050505081565b610fed610ca8565b61102c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161102390613110565b60405180910390fd5b611037838383611b50565b505050565b60076020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60048054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111055780601f106110da57610100808354040283529160200191611105565b820191906000526020600020905b8154815290600101906020018083116110e857829003601f168201915b505050505081565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415611211576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611208906131b0565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff1614806112d8575060011515600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b611317576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161130e906130d0565b60405180910390fd5b61137a836005600087815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197790919063ffffffff16565b6005600086815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114316005600086815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548461198e90919063ffffffff16565b6005600086815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f6287876040516114fb92919061320b565b60405180910390a46115228573ffffffffffffffffffffffffffffffffffffffff166119a8565b1561157a57611579338787878787878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050611de7565b5b505050505050565b61158a610ca8565b6115c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115c090613110565b60405180910390fd5b6115d281611f08565b50565b3373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16148061169c575060011515600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b6116db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116d2906130b0565b60405180910390fd5b61173e816005600085815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197790919063ffffffff16565b6005600084815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62858560405161180992919061320b565b60405180910390a4505050565b6060611970600260008481526020019081526020016000208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156118c25780601f10611897576101008083540402835291602001916118c2565b820191906000526020600020905b8154815290600101906020018083116118a557829003601f168201915b505050505060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561195d5780601f106119325761010080835404028352916020019161195d565b820191906000526020600020905b81548152906001019060200180831161194057829003601f168201915b505050505061203690919063ffffffff16565b9050919050565b60008282111561198357fe5b818303905092915050565b600081830190508281101561199f57fe5b80905092915050565b60008060007fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47060001b9050833f91508082141580156119ea57506000801b8214155b92505050919050565b63bc197c8160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663bc197c8188888787876040518663ffffffff1660e01b8152600401611a5b959493929190612ed2565b602060405180830381600087803b158015611a7557600080fd5b505af1158015611a89573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611aad91908101906127be565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614611b0c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b03906130f0565b60405180910390fd5b505050505050565b600033905090565b8060049080519060200190611b32929190612256565b5050565b8060019080519060200190611b4c929190612256565b5050565b600073ffffffffffffffffffffffffffffffffffffffff166007600085815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611bf2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611be990613130565b60405180910390fd5b6000821415611c36576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c2d90613150565b60405180910390fd5b6000815111611c7a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c71906131d0565b60405180910390fd5b336007600085815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550816005600085815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d2b8382612179565b3373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628686604051611da292919061320b565b60405180910390a4827f6bb7ff708619ba0610cba295a58592e0451dee2622938c8755667688daf3529b82604051611dda919061302e565b60405180910390a2505050565b63f23a6e6160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663f23a6e6188888787876040518663ffffffff1660e01b8152600401611e4f959493929190612f3a565b602060405180830381600087803b158015611e6957600080fd5b505af1158015611e7d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611ea191908101906127be565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614611f00576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ef790613190565b60405180910390fd5b505050505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611f78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f6f90613050565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6060808390506060839050606081518351016040519080825280601f01601f19166020018201604052801561207a5781602001600182028038833980820191505090505b509050600080905060008090505b84518110156120f65784818151811061209d57fe5b602001015160f81c60f81b8383806001019450815181106120ba57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508080600101915050612088565b5060008090505b835181101561216b5783818151811061211257fe5b602001015160f81c60f81b83838060010194508151811061212f57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535080806001019150506120fd565b508194505050505092915050565b600073ffffffffffffffffffffffffffffffffffffffff166007600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141561221c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161221390613070565b60405180910390fd5b612226828261222a565b5050565b80600260008481526020019081526020016000209080519060200190612251929190612256565b505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061229757805160ff19168380011785556122c5565b828001600101855582156122c5579182015b828111156122c45782518255916020019190600101906122a9565b5b5090506122d291906122d6565b5090565b6122f891905b808211156122f45760008160009055506001016122dc565b5090565b90565b60008135905061230a816133d0565b92915050565b60008083601f84011261232257600080fd5b8235905067ffffffffffffffff81111561233b57600080fd5b60208301915083602082028301111561235357600080fd5b9250929050565b60008083601f84011261236c57600080fd5b8235905067ffffffffffffffff81111561238557600080fd5b60208301915083602082028301111561239d57600080fd5b9250929050565b6000813590506123b3816133e7565b92915050565b6000813590506123c8816133fe565b92915050565b6000815190506123dd816133fe565b92915050565b60008083601f8401126123f557600080fd5b8235905067ffffffffffffffff81111561240e57600080fd5b60208301915083600182028301111561242657600080fd5b9250929050565b600082601f83011261243e57600080fd5b813561245161244c82613261565b613234565b9150808252602083016020830185838301111561246d57600080fd5b61247883828461337d565b50505092915050565b60008135905061249081613415565b92915050565b6000602082840312156124a857600080fd5b60006124b6848285016122fb565b91505092915050565b600080604083850312156124d257600080fd5b60006124e0858286016122fb565b92505060206124f1858286016122fb565b9150509250929050565b60008060008060008060008060a0898b03121561251757600080fd5b60006125258b828c016122fb565b98505060206125368b828c016122fb565b975050604089013567ffffffffffffffff81111561255357600080fd5b61255f8b828c0161235a565b9650965050606089013567ffffffffffffffff81111561257e57600080fd5b61258a8b828c0161235a565b9450945050608089013567ffffffffffffffff8111156125a957600080fd5b6125b58b828c016123e3565b92509250509295985092959890939650565b60008060008060008060a087890312156125e057600080fd5b60006125ee89828a016122fb565b96505060206125ff89828a016122fb565b955050604061261089828a01612481565b945050606061262189828a01612481565b935050608087013567ffffffffffffffff81111561263e57600080fd5b61264a89828a016123e3565b92509250509295509295509295565b6000806040838503121561266c57600080fd5b600061267a858286016122fb565b925050602061268b858286016123a4565b9150509250929050565b600080604083850312156126a857600080fd5b60006126b6858286016122fb565b92505060206126c785828601612481565b9150509250929050565b6000806000606084860312156126e657600080fd5b60006126f4868287016122fb565b935050602061270586828701612481565b925050604061271686828701612481565b9150509250925092565b6000806000806040858703121561273657600080fd5b600085013567ffffffffffffffff81111561275057600080fd5b61275c87828801612310565b9450945050602085013567ffffffffffffffff81111561277b57600080fd5b6127878782880161235a565b925092505092959194509250565b6000602082840312156127a757600080fd5b60006127b5848285016123b9565b91505092915050565b6000602082840312156127d057600080fd5b60006127de848285016123ce565b91505092915050565b6000602082840312156127f957600080fd5b600082013567ffffffffffffffff81111561281357600080fd5b61281f8482850161242d565b91505092915050565b60006020828403121561283a57600080fd5b600061284884828501612481565b91505092915050565b60008060006060848603121561286657600080fd5b600061287486828701612481565b935050602061288586828701612481565b925050604084013567ffffffffffffffff8111156128a257600080fd5b6128ae8682870161242d565b9150509250925092565b60006128c48383612e99565b60208301905092915050565b6128d981613309565b82525050565b60006128eb83856132d6565b93507f07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83111561291a57600080fd5b60208302925061292b83858461337d565b82840190509392505050565b60006129428261329d565b61294c81856132d6565b93506129578361328d565b8060005b8381101561298857815161296f88826128b8565b975061297a836132c9565b92505060018101905061295b565b5085935050505092915050565b61299e8161331b565b82525050565b60006129af826132a8565b6129b981856132e7565b93506129c981856020860161338c565b6129d2816133bf565b840191505092915050565b60006129e8826132be565b6129f281856132f8565b9350612a0281856020860161338c565b612a0b816133bf565b840191505092915050565b6000612a21826132b3565b612a2b81856132f8565b9350612a3b81856020860161338c565b612a44816133bf565b840191505092915050565b6000612a5c6026836132f8565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612ac26020836132f8565b91507f5f736574546f6b656e5552493a20546f6b656e2073686f756c642065786973746000830152602082019050919050565b6000612b026025836132f8565b91507f64657374696e6174696f6e2061646472657373206d757374206265206e6f6e2d60008301527f7a65726f2e0000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612b68602b836132f8565b91507f4e656564206f70657261746f7220617070726f76616c20666f7220337264207060008301527f61727479206275726e732e0000000000000000000000000000000000000000006020830152604082019050919050565b6000612bce602f836132f8565b91507f4e656564206f70657261746f7220617070726f76616c20666f7220337264207060008301527f61727479207472616e73666572732e00000000000000000000000000000000006020830152604082019050919050565b6000612c34603e836132f8565b91507f636f6e74726163742072657475726e656420616e20756e6b6e6f776e2076616c60008301527f75652066726f6d206f6e455243313135354261746368526563656976656400006020830152604082019050919050565b6000612c9a6020836132f8565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b6000612cda6017836132f8565b91507f546f6b656e20697320616c7265616479206d696e7465640000000000000000006000830152602082019050919050565b6000612d1a6019836132f8565b91507f537570706c792073686f756c6420626520706f736974697665000000000000006000830152602082019050919050565b6000612d5a6029836132f8565b91507f5f69647320616e64205f76616c756573206172726179206c656e676874206d7560008301527f7374206d617463682e00000000000000000000000000000000000000000000006020830152604082019050919050565b6000612dc06039836132f8565b91507f636f6e74726163742072657475726e656420616e20756e6b6e6f776e2076616c60008301527f75652066726f6d206f6e455243313135355265636569766564000000000000006020830152604082019050919050565b6000612e266015836132f8565b91507f5f746f206d757374206265206e6f6e2d7a65726f2e00000000000000000000006000830152602082019050919050565b6000612e666011836132f8565b91507f7572692073686f756c64206265207365740000000000000000000000000000006000830152602082019050919050565b612ea281613373565b82525050565b612eb181613373565b82525050565b6000602082019050612ecc60008301846128d0565b92915050565b600060a082019050612ee760008301886128d0565b612ef460208301876128d0565b8181036040830152612f068186612937565b90508181036060830152612f1a8185612937565b90508181036080830152612f2e81846129a4565b90509695505050505050565b600060a082019050612f4f60008301886128d0565b612f5c60208301876128d0565b612f696040830186612ea8565b612f766060830185612ea8565b8181036080830152612f8881846129a4565b90509695505050505050565b60006040820190508181036000830152612faf8186886128df565b90508181036020830152612fc48184866128df565b905095945050505050565b60006020820190508181036000830152612fe98184612937565b905092915050565b60006020820190506130066000830184612995565b92915050565b600060208201905081810360008301526130268184612a16565b905092915050565b6000602082019050818103600083015261304881846129dd565b905092915050565b6000602082019050818103600083015261306981612a4f565b9050919050565b6000602082019050818103600083015261308981612ab5565b9050919050565b600060208201905081810360008301526130a981612af5565b9050919050565b600060208201905081810360008301526130c981612b5b565b9050919050565b600060208201905081810360008301526130e981612bc1565b9050919050565b6000602082019050818103600083015261310981612c27565b9050919050565b6000602082019050818103600083015261312981612c8d565b9050919050565b6000602082019050818103600083015261314981612ccd565b9050919050565b6000602082019050818103600083015261316981612d0d565b9050919050565b6000602082019050818103600083015261318981612d4d565b9050919050565b600060208201905081810360008301526131a981612db3565b9050919050565b600060208201905081810360008301526131c981612e19565b9050919050565b600060208201905081810360008301526131e981612e59565b9050919050565b60006020820190506132056000830184612ea8565b92915050565b60006040820190506132206000830185612ea8565b61322d6020830184612ea8565b9392505050565b6000604051905081810181811067ffffffffffffffff8211171561325757600080fd5b8060405250919050565b600067ffffffffffffffff82111561327857600080fd5b601f19601f8301169050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600061331482613353565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b838110156133aa57808201518184015260208101905061338f565b838111156133b9576000848401525b50505050565b6000601f19601f8301169050919050565b6133d981613309565b81146133e457600080fd5b50565b6133f08161331b565b81146133fb57600080fd5b50565b61340781613327565b811461341257600080fd5b50565b61341e81613373565b811461342957600080fd5b5056fea365627a7a7231582067d182aeb7d03e0d1ae904a8e783520a3b4df2481b500ac010917e304774137a6c6578706572696d656e74616cf564736f6c63430005110040000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000014000000000000000000000000000000000000000000000000000000000000000097365656e2e68617573000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000045345454e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001268747470733a2f2f7365656e2e686175732f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006697066733a2f0000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106101365760003560e01c806395d89b41116100b8578063cd53d08e1161007c578063cd53d08e14610327578063e8a3d48514610357578063e985e9c514610375578063f242432a146103a5578063f2fde38b146103c1578063f5298aca146103dd57610136565b806395d89b411461029757806399e0dd7c146102b5578063a22cb465146102d1578063c0ac9983146102ed578063c6e64e531461030b57610136565b80634e1273f4116100ff5780634e1273f414610205578063715018a6146102355780638da5cb5b1461023f5780638f32d59b1461025d578063938e3d7b1461027b57610136565b8062fdd58e1461013b57806301ffc9a71461016b57806306fdde031461019b5780630e89341c146101b95780632eb2c2d6146101e9575b600080fd5b61015560048036036101509190810190612695565b6103f9565b60405161016291906131f0565b60405180910390f35b61018560048036036101809190810190612795565b610454565b6040516101929190612ff1565b60405180910390f35b6101a36104bc565b6040516101b0919061300c565b60405180910390f35b6101d360048036036101ce9190810190612828565b61055a565b6040516101e0919061302e565b60405180910390f35b61020360048036036101fe91908101906124fb565b61056c565b005b61021f600480360361021a9190810190612720565b610a6a565b60405161022c9190612fcf565b60405180910390f35b61023d610b79565b005b610247610c7f565b6040516102549190612eb7565b60405180910390f35b610265610ca8565b6040516102729190612ff1565b60405180910390f35b610295600480360361029091908101906127e7565b610d06565b005b61029f610d59565b6040516102ac919061300c565b60405180910390f35b6102cf60048036036102ca91908101906127e7565b610df7565b005b6102eb60048036036102e69190810190612659565b610e4a565b005b6102f5610f47565b604051610302919061300c565b60405180910390f35b61032560048036036103209190810190612851565b610fe5565b005b610341600480360361033c9190810190612828565b61103c565b60405161034e9190612eb7565b60405180910390f35b61035f61106f565b60405161036c919061300c565b60405180910390f35b61038f600480360361038a91908101906124bf565b61110d565b60405161039c9190612ff1565b60405180910390f35b6103bf60048036036103ba91908101906125c7565b6111a1565b005b6103db60048036036103d69190810190612496565b611582565b005b6103f760048036036103f291908101906126d1565b6115d5565b005b60006005600083815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600060036000837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460ff169050919050565b60088054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156105525780601f1061052757610100808354040283529160200191610552565b820191906000526020600020905b81548152906001019060200180831161053557829003601f168201915b505050505081565b606061056582611816565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156105dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d390613090565b60405180910390fd5b838390508686905014610624576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161061b90613170565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff1614806106eb575060011515600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b61072a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610721906130d0565b60405180910390fd5b60008090505b868690508110156108e457600087878381811061074957fe5b905060200201359050600086868481811061076057fe5b9050602002013590506107cc816005600085815260200190815260200160002060008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197790919063ffffffff16565b6005600084815260200190815260200160002060008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108836005600084815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548261198e90919063ffffffff16565b6005600084815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050806001019050610730565b508673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb8989898960405161095f9493929190612f94565b60405180910390a46109868773ffffffffffffffffffffffffffffffffffffffff166119a8565b15610a6057610a5f338989898980806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050888880806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505087878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050506119f3565b5b5050505050505050565b6060828290508585905014610a7e57600080fd5b606085859050604051908082528060200260200182016040528015610ab25781602001602082028038833980820191505090505b50905060008090505b86869050811015610b6c5760056000868684818110610ad657fe5b9050602002013581526020019081526020016000206000888884818110610af957fe5b9050602002016020610b0e9190810190612496565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054828281518110610b5557fe5b602002602001018181525050806001019050610abb565b5080915050949350505050565b610b81610ca8565b610bc0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb790613110565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610cea611b14565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b610d0e610ca8565b610d4d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d4490613110565b60405180910390fd5b610d5681611b1c565b50565b60098054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610def5780601f10610dc457610100808354040283529160200191610def565b820191906000526020600020905b815481529060010190602001808311610dd257829003601f168201915b505050505081565b610dff610ca8565b610e3e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e3590613110565b60405180910390fd5b610e4781611b36565b50565b80600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051610f3b9190612ff1565b60405180910390a35050565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610fdd5780601f10610fb257610100808354040283529160200191610fdd565b820191906000526020600020905b815481529060010190602001808311610fc057829003601f168201915b505050505081565b610fed610ca8565b61102c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161102390613110565b60405180910390fd5b611037838383611b50565b505050565b60076020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60048054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111055780601f106110da57610100808354040283529160200191611105565b820191906000526020600020905b8154815290600101906020018083116110e857829003601f168201915b505050505081565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415611211576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611208906131b0565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff1614806112d8575060011515600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b611317576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161130e906130d0565b60405180910390fd5b61137a836005600087815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197790919063ffffffff16565b6005600086815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114316005600086815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548461198e90919063ffffffff16565b6005600086815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f6287876040516114fb92919061320b565b60405180910390a46115228573ffffffffffffffffffffffffffffffffffffffff166119a8565b1561157a57611579338787878787878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050611de7565b5b505050505050565b61158a610ca8565b6115c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115c090613110565b60405180910390fd5b6115d281611f08565b50565b3373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16148061169c575060011515600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b6116db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116d2906130b0565b60405180910390fd5b61173e816005600085815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197790919063ffffffff16565b6005600084815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62858560405161180992919061320b565b60405180910390a4505050565b6060611970600260008481526020019081526020016000208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156118c25780601f10611897576101008083540402835291602001916118c2565b820191906000526020600020905b8154815290600101906020018083116118a557829003601f168201915b505050505060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561195d5780601f106119325761010080835404028352916020019161195d565b820191906000526020600020905b81548152906001019060200180831161194057829003601f168201915b505050505061203690919063ffffffff16565b9050919050565b60008282111561198357fe5b818303905092915050565b600081830190508281101561199f57fe5b80905092915050565b60008060007fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47060001b9050833f91508082141580156119ea57506000801b8214155b92505050919050565b63bc197c8160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663bc197c8188888787876040518663ffffffff1660e01b8152600401611a5b959493929190612ed2565b602060405180830381600087803b158015611a7557600080fd5b505af1158015611a89573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611aad91908101906127be565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614611b0c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b03906130f0565b60405180910390fd5b505050505050565b600033905090565b8060049080519060200190611b32929190612256565b5050565b8060019080519060200190611b4c929190612256565b5050565b600073ffffffffffffffffffffffffffffffffffffffff166007600085815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611bf2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611be990613130565b60405180910390fd5b6000821415611c36576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c2d90613150565b60405180910390fd5b6000815111611c7a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c71906131d0565b60405180910390fd5b336007600085815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550816005600085815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d2b8382612179565b3373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628686604051611da292919061320b565b60405180910390a4827f6bb7ff708619ba0610cba295a58592e0451dee2622938c8755667688daf3529b82604051611dda919061302e565b60405180910390a2505050565b63f23a6e6160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663f23a6e6188888787876040518663ffffffff1660e01b8152600401611e4f959493929190612f3a565b602060405180830381600087803b158015611e6957600080fd5b505af1158015611e7d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611ea191908101906127be565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614611f00576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ef790613190565b60405180910390fd5b505050505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611f78576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f6f90613050565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6060808390506060839050606081518351016040519080825280601f01601f19166020018201604052801561207a5781602001600182028038833980820191505090505b509050600080905060008090505b84518110156120f65784818151811061209d57fe5b602001015160f81c60f81b8383806001019450815181106120ba57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053508080600101915050612088565b5060008090505b835181101561216b5783818151811061211257fe5b602001015160f81c60f81b83838060010194508151811061212f57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a90535080806001019150506120fd565b508194505050505092915050565b600073ffffffffffffffffffffffffffffffffffffffff166007600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141561221c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161221390613070565b60405180910390fd5b612226828261222a565b5050565b80600260008481526020019081526020016000209080519060200190612251929190612256565b505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061229757805160ff19168380011785556122c5565b828001600101855582156122c5579182015b828111156122c45782518255916020019190600101906122a9565b5b5090506122d291906122d6565b5090565b6122f891905b808211156122f45760008160009055506001016122dc565b5090565b90565b60008135905061230a816133d0565b92915050565b60008083601f84011261232257600080fd5b8235905067ffffffffffffffff81111561233b57600080fd5b60208301915083602082028301111561235357600080fd5b9250929050565b60008083601f84011261236c57600080fd5b8235905067ffffffffffffffff81111561238557600080fd5b60208301915083602082028301111561239d57600080fd5b9250929050565b6000813590506123b3816133e7565b92915050565b6000813590506123c8816133fe565b92915050565b6000815190506123dd816133fe565b92915050565b60008083601f8401126123f557600080fd5b8235905067ffffffffffffffff81111561240e57600080fd5b60208301915083600182028301111561242657600080fd5b9250929050565b600082601f83011261243e57600080fd5b813561245161244c82613261565b613234565b9150808252602083016020830185838301111561246d57600080fd5b61247883828461337d565b50505092915050565b60008135905061249081613415565b92915050565b6000602082840312156124a857600080fd5b60006124b6848285016122fb565b91505092915050565b600080604083850312156124d257600080fd5b60006124e0858286016122fb565b92505060206124f1858286016122fb565b9150509250929050565b60008060008060008060008060a0898b03121561251757600080fd5b60006125258b828c016122fb565b98505060206125368b828c016122fb565b975050604089013567ffffffffffffffff81111561255357600080fd5b61255f8b828c0161235a565b9650965050606089013567ffffffffffffffff81111561257e57600080fd5b61258a8b828c0161235a565b9450945050608089013567ffffffffffffffff8111156125a957600080fd5b6125b58b828c016123e3565b92509250509295985092959890939650565b60008060008060008060a087890312156125e057600080fd5b60006125ee89828a016122fb565b96505060206125ff89828a016122fb565b955050604061261089828a01612481565b945050606061262189828a01612481565b935050608087013567ffffffffffffffff81111561263e57600080fd5b61264a89828a016123e3565b92509250509295509295509295565b6000806040838503121561266c57600080fd5b600061267a858286016122fb565b925050602061268b858286016123a4565b9150509250929050565b600080604083850312156126a857600080fd5b60006126b6858286016122fb565b92505060206126c785828601612481565b9150509250929050565b6000806000606084860312156126e657600080fd5b60006126f4868287016122fb565b935050602061270586828701612481565b925050604061271686828701612481565b9150509250925092565b6000806000806040858703121561273657600080fd5b600085013567ffffffffffffffff81111561275057600080fd5b61275c87828801612310565b9450945050602085013567ffffffffffffffff81111561277b57600080fd5b6127878782880161235a565b925092505092959194509250565b6000602082840312156127a757600080fd5b60006127b5848285016123b9565b91505092915050565b6000602082840312156127d057600080fd5b60006127de848285016123ce565b91505092915050565b6000602082840312156127f957600080fd5b600082013567ffffffffffffffff81111561281357600080fd5b61281f8482850161242d565b91505092915050565b60006020828403121561283a57600080fd5b600061284884828501612481565b91505092915050565b60008060006060848603121561286657600080fd5b600061287486828701612481565b935050602061288586828701612481565b925050604084013567ffffffffffffffff8111156128a257600080fd5b6128ae8682870161242d565b9150509250925092565b60006128c48383612e99565b60208301905092915050565b6128d981613309565b82525050565b60006128eb83856132d6565b93507f07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83111561291a57600080fd5b60208302925061292b83858461337d565b82840190509392505050565b60006129428261329d565b61294c81856132d6565b93506129578361328d565b8060005b8381101561298857815161296f88826128b8565b975061297a836132c9565b92505060018101905061295b565b5085935050505092915050565b61299e8161331b565b82525050565b60006129af826132a8565b6129b981856132e7565b93506129c981856020860161338c565b6129d2816133bf565b840191505092915050565b60006129e8826132be565b6129f281856132f8565b9350612a0281856020860161338c565b612a0b816133bf565b840191505092915050565b6000612a21826132b3565b612a2b81856132f8565b9350612a3b81856020860161338c565b612a44816133bf565b840191505092915050565b6000612a5c6026836132f8565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612ac26020836132f8565b91507f5f736574546f6b656e5552493a20546f6b656e2073686f756c642065786973746000830152602082019050919050565b6000612b026025836132f8565b91507f64657374696e6174696f6e2061646472657373206d757374206265206e6f6e2d60008301527f7a65726f2e0000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612b68602b836132f8565b91507f4e656564206f70657261746f7220617070726f76616c20666f7220337264207060008301527f61727479206275726e732e0000000000000000000000000000000000000000006020830152604082019050919050565b6000612bce602f836132f8565b91507f4e656564206f70657261746f7220617070726f76616c20666f7220337264207060008301527f61727479207472616e73666572732e00000000000000000000000000000000006020830152604082019050919050565b6000612c34603e836132f8565b91507f636f6e74726163742072657475726e656420616e20756e6b6e6f776e2076616c60008301527f75652066726f6d206f6e455243313135354261746368526563656976656400006020830152604082019050919050565b6000612c9a6020836132f8565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b6000612cda6017836132f8565b91507f546f6b656e20697320616c7265616479206d696e7465640000000000000000006000830152602082019050919050565b6000612d1a6019836132f8565b91507f537570706c792073686f756c6420626520706f736974697665000000000000006000830152602082019050919050565b6000612d5a6029836132f8565b91507f5f69647320616e64205f76616c756573206172726179206c656e676874206d7560008301527f7374206d617463682e00000000000000000000000000000000000000000000006020830152604082019050919050565b6000612dc06039836132f8565b91507f636f6e74726163742072657475726e656420616e20756e6b6e6f776e2076616c60008301527f75652066726f6d206f6e455243313135355265636569766564000000000000006020830152604082019050919050565b6000612e266015836132f8565b91507f5f746f206d757374206265206e6f6e2d7a65726f2e00000000000000000000006000830152602082019050919050565b6000612e666011836132f8565b91507f7572692073686f756c64206265207365740000000000000000000000000000006000830152602082019050919050565b612ea281613373565b82525050565b612eb181613373565b82525050565b6000602082019050612ecc60008301846128d0565b92915050565b600060a082019050612ee760008301886128d0565b612ef460208301876128d0565b8181036040830152612f068186612937565b90508181036060830152612f1a8185612937565b90508181036080830152612f2e81846129a4565b90509695505050505050565b600060a082019050612f4f60008301886128d0565b612f5c60208301876128d0565b612f696040830186612ea8565b612f766060830185612ea8565b8181036080830152612f8881846129a4565b90509695505050505050565b60006040820190508181036000830152612faf8186886128df565b90508181036020830152612fc48184866128df565b905095945050505050565b60006020820190508181036000830152612fe98184612937565b905092915050565b60006020820190506130066000830184612995565b92915050565b600060208201905081810360008301526130268184612a16565b905092915050565b6000602082019050818103600083015261304881846129dd565b905092915050565b6000602082019050818103600083015261306981612a4f565b9050919050565b6000602082019050818103600083015261308981612ab5565b9050919050565b600060208201905081810360008301526130a981612af5565b9050919050565b600060208201905081810360008301526130c981612b5b565b9050919050565b600060208201905081810360008301526130e981612bc1565b9050919050565b6000602082019050818103600083015261310981612c27565b9050919050565b6000602082019050818103600083015261312981612c8d565b9050919050565b6000602082019050818103600083015261314981612ccd565b9050919050565b6000602082019050818103600083015261316981612d0d565b9050919050565b6000602082019050818103600083015261318981612d4d565b9050919050565b600060208201905081810360008301526131a981612db3565b9050919050565b600060208201905081810360008301526131c981612e19565b9050919050565b600060208201905081810360008301526131e981612e59565b9050919050565b60006020820190506132056000830184612ea8565b92915050565b60006040820190506132206000830185612ea8565b61322d6020830184612ea8565b9392505050565b6000604051905081810181811067ffffffffffffffff8211171561325757600080fd5b8060405250919050565b600067ffffffffffffffff82111561327857600080fd5b601f19601f8301169050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600061331482613353565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b838110156133aa57808201518184015260208101905061338f565b838111156133b9576000848401525b50505050565b6000601f19601f8301169050919050565b6133d981613309565b81146133e457600080fd5b50565b6133f08161331b565b81146133fb57600080fd5b50565b61340781613327565b811461341257600080fd5b50565b61341e81613373565b811461342957600080fd5b5056fea365627a7a7231582067d182aeb7d03e0d1ae904a8e783520a3b4df2481b500ac010917e304774137a6c6578706572696d656e74616cf564736f6c63430005110040

000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000014000000000000000000000000000000000000000000000000000000000000000097365656e2e68617573000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000045345454e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001268747470733a2f2f7365656e2e686175732f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006697066733a2f0000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): seen.haus
Arg [1] : _symbol (string): SEEN
Arg [2] : contractURI (string): https://seen.haus/
Arg [3] : tokenURIPrefix (string): ipfs:/

-----Encoded View---------------
12 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000100
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000140
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000009
Arg [5] : 7365656e2e686175730000000000000000000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000004
Arg [7] : 5345454e00000000000000000000000000000000000000000000000000000000
Arg [8] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [9] : 68747470733a2f2f7365656e2e686175732f0000000000000000000000000000
Arg [10] : 0000000000000000000000000000000000000000000000000000000000000006
Arg [11] : 697066733a2f0000000000000000000000000000000000000000000000000000

40979:526:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;40979:526:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24846:374;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;13972:135;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;41031:18;;;:::i;:::-;;;;;;;;;;;;;;;;38681:104;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;22796:1798;;;;;;;;;;;;;;;;:::i;:::-;;25528:405;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;37230:140;;;:::i;:::-;;36419:79;;;:::i;:::-;;;;;;;;;;;;;;;;36785:94;;;:::i;:::-;;;;;;;;;;;;;;;;40857:115;;;;;;;;;;;;;;;;:::i;:::-;;41056:20;;;:::i;:::-;;;;;;;;;;;;;;;;40722:127;;;;;;;;;;;;;;;;:::i;:::-;;26295:205;;;;;;;;;;;;;;;;:::i;:::-;;33048:28;;;:::i;:::-;;;;;;;;;;;;;;;;41383:119;;;;;;;;;;;;;;;;:::i;:::-;;38901:44;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;32377:25;;;:::i;:::-;;;;;;;;;;;;;;;;26787:151;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;20203:945;;;;;;;;;;;;;;;;:::i;:::-;;37525:109;;;;;;;;;;;;;;;;:::i;:::-;;39753:507;;;;;;;;;;;;;;;;:::i;:::-;;24846:374;24917:7;25191:8;:13;25200:3;25191:13;;;;;;;;;;;:21;25205:6;25191:21;;;;;;;;;;;;;;;;25184:28;;24846:374;;;;:::o;13972:135::-;14042:4;14066:20;:33;14087:11;14066:33;;;;;;;;;;;;;;;;;;;;;;;;;;;14059:40;;13972:135;;;:::o;41031:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;38681:104::-;38730:13;38763:14;38773:3;38763:9;:14::i;:::-;38756:21;;38681:104;;;:::o;22796:1798::-;23008:3;22993:19;;:3;:19;;;;22985:69;;;;;;;;;;;;;;;;;;;;;;23088:7;;:14;;23073:4;;:11;;:29;23065:83;;;;;;;;;;;;;;;;;;;;;;23176:10;23167:19;;:5;:19;;;:66;;;;23229:4;23190:43;;:16;:23;23207:5;23190:23;;;;;;;;;;;;;;;:35;23214:10;23190:35;;;;;;;;;;;;;;;;;;;;;;;;;:43;;;23167:66;23159:126;;;;;;;;;;;;;;;;;;;;;;23303:9;23315:1;23303:13;;23298:388;23322:4;;:11;;23318:1;:15;23298:388;;;23355:10;23368:4;;23373:1;23368:7;;;;;;;;;;;;;23355:20;;23390:13;23406:7;;23414:1;23406:10;;;;;;;;;;;;;23390:26;;23579:30;23603:5;23579:8;:12;23588:2;23579:12;;;;;;;;;;;:19;23592:5;23579:19;;;;;;;;;;;;;;;;:23;;:30;;;;:::i;:::-;23557:8;:12;23566:2;23557:12;;;;;;;;;;;:19;23570:5;23557:19;;;;;;;;;;;;;;;:52;;;;23646:28;23656:8;:12;23665:2;23656:12;;;;;;;;;;;:17;23669:3;23656:17;;;;;;;;;;;;;;;;23646:5;:9;;:28;;;;:::i;:::-;23624:8;:12;23633:2;23624:12;;;;;;;;;;;:17;23637:3;23624:17;;;;;;;;;;;;;;;:50;;;;23298:388;;23335:3;;;;;23298:388;;;;24277:3;24244:52;;24270:5;24244:52;;24258:10;24244:52;;;24282:4;;24288:7;;24244:52;;;;;;;;;;;;;;;;;;24461:16;:3;:14;;;:16::i;:::-;24457:130;;;24494:81;24530:10;24542:5;24549:3;24554:4;;24494:81;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;24494:81:0;;;;;;24560:7;;24494:81;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;24494:81:0;;;;;;24569:5;;24494:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;24494:81:0;;;;;;:35;:81::i;:::-;24457:130;22796:1798;;;;;;;;:::o;25528:405::-;25628:16;25685:4;;:11;;25667:7;;:14;;:29;25659:38;;;;;;25710:26;25753:7;;:14;;25739:29;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;25739:29:0;;;;25710:58;;25786:9;25798:1;25786:13;;25781:116;25805:7;;:14;;25801:1;:18;25781:116;;;25856:8;:17;25865:4;;25870:1;25865:7;;;;;;;;;;;;;25856:17;;;;;;;;;;;:29;25874:7;;25882:1;25874:10;;;;;;;;;;;;;;;;;;;;;;25856:29;;;;;;;;;;;;;;;;25841:9;25851:1;25841:12;;;;;;;;;;;;;:44;;;;;25821:3;;;;;25781:116;;;;25916:9;25909:16;;;25528:405;;;;;;:::o;37230:140::-;36631:9;:7;:9::i;:::-;36623:54;;;;;;;;;;;;;;;;;;;;;;37329:1;37292:40;;37313:6;;;;;;;;;;;37292:40;;;;;;;;;;;;37360:1;37343:6;;:19;;;;;;;;;;;;;;;;;;37230:140::o;36419:79::-;36457:7;36484:6;;;;;;;;;;;36477:13;;36419:79;:::o;36785:94::-;36825:4;36865:6;;;;;;;;;;;36849:22;;:12;:10;:12::i;:::-;:22;;;36842:29;;36785:94;:::o;40857:115::-;36631:9;:7;:9::i;:::-;36623:54;;;;;;;;;;;;;;;;;;;;;;40936:28;40952:11;40936:15;:28::i;:::-;40857:115;:::o;41056:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;40722:127::-;36631:9;:7;:9::i;:::-;36623:54;;;;;;;;;;;;;;;;;;;;;;40807:34;40826:14;40807:18;:34::i;:::-;40722:127;:::o;26295:205::-;26419:9;26377:16;:28;26394:10;26377:28;;;;;;;;;;;;;;;:39;26406:9;26377:39;;;;;;;;;;;;;;;;:51;;;;;;;;;;;;;;;;;;26471:9;26444:48;;26459:10;26444:48;;;26482:9;26444:48;;;;;;;;;;;;;;;26295:205;;:::o;33048:28::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;41383:119::-;36631:9;:7;:9::i;:::-;36623:54;;;;;;;;;;;;;;;;;;;;;;41472:22;41478:2;41482:6;41490:3;41472:5;:22::i;:::-;41383:119;;;:::o;38901:44::-;;;;;;;;;;;;;;;;;;;;;;:::o;32377:25::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;26787:151::-;26871:4;26895:16;:24;26912:6;26895:24;;;;;;;;;;;;;;;:35;26920:9;26895:35;;;;;;;;;;;;;;;;;;;;;;;;;26888:42;;26787:151;;;;:::o;20203:945::-;20353:3;20338:19;;:3;:19;;;;20330:53;;;;;;;;;;;;;;;;;;;;;;20411:10;20402:19;;:5;:19;;;:66;;;;20464:4;20425:43;;:16;:23;20442:5;20425:23;;;;;;;;;;;;;;;:35;20449:10;20425:35;;;;;;;;;;;;;;;;;;;;;;;;;:43;;;20402:66;20394:126;;;;;;;;;;;;;;;;;;;;;;20672:32;20697:6;20672:8;:13;20681:3;20672:13;;;;;;;;;;;:20;20686:5;20672:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;20649:8;:13;20658:3;20649:13;;;;;;;;;;;:20;20663:5;20649:20;;;;;;;;;;;;;;;:55;;;;20738:30;20749:8;:13;20758:3;20749:13;;;;;;;;;;;:18;20763:3;20749:18;;;;;;;;;;;;;;;;20738:6;:10;;:30;;;;:::i;:::-;20715:8;:13;20724:3;20715:13;;;;;;;;;;;:18;20729:3;20715:18;;;;;;;;;;;;;;;:53;;;;20848:3;20814:51;;20841:5;20814:51;;20829:10;20814:51;;;20853:3;20858:6;20814:51;;;;;;;;;;;;;;;;21022:16;:3;:14;;;:16::i;:::-;21018:123;;;21055:74;21086:10;21098:5;21105:3;21110;21115:6;21123:5;;21055:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;21055:74:0;;;;;;:30;:74::i;:::-;21018:123;20203:945;;;;;;:::o;37525:109::-;36631:9;:7;:9::i;:::-;36623:54;;;;;;;;;;;;;;;;;;;;;;37598:28;37617:8;37598:18;:28::i;:::-;37525:109;:::o;39753:507::-;39852:10;39842:20;;:6;:20;;;:68;;;;39906:4;39866:44;;:16;:24;39883:6;39866:24;;;;;;;;;;;;;;;:36;39891:10;39866:36;;;;;;;;;;;;;;;;;;;;;;;;;:44;;;39842:68;39834:124;;;;;;;;;;;;;;;;;;;;;;40112:33;40138:6;40112:8;:13;40121:3;40112:13;;;;;;;;;;;:21;40126:6;40112:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;40088:8;:13;40097:3;40088:13;;;;;;;;;;;:21;40102:6;40088:21;;;;;;;;;;;;;;;:57;;;;40234:3;40191:61;;40218:6;40191:61;;40206:10;40191:61;;;40240:3;40245:6;40191:61;;;;;;;;;;;;;;;;39753:507;;;:::o;33487:142::-;33546:13;33579:42;33601:10;:19;33612:7;33601:19;;;;;;;;;;;33579:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:14;:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:42;;;;:::i;:::-;33572:49;;33487:142;;;:::o;1267:123::-;1325:7;1357:1;1352;:6;;1345:14;;;;1381:1;1377;:5;1370:12;;1267:123;;;;:::o;1465:141::-;1523:9;1553:1;1549;:5;1545:9;;1577:1;1572;:6;;1565:14;;;;1597:1;1590:8;;1465:141;;;;:::o;15396:619::-;15456:4;15718:16;15745:19;15767:66;15745:88;;;;15936:7;15924:20;15912:32;;15976:11;15964:8;:23;;:42;;;;;16003:3;15991:15;;:8;:15;;15964:42;15956:51;;;;15396:619;;;:::o;28194:1189::-;1905:10;29286:22;;29194:114;;;29215:3;29194:48;;;29243:9;29254:5;29261:4;29267:7;29276:5;29194:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;29194:88:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;29194:88:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;29194:88:0;;;;;;;;;:114;;;;29186:189;;;;;;;;;;;;;;;;;;;;;;28194:1189;;;;;;:::o;35210:98::-;35255:15;35290:10;35283:17;;35210:98;:::o;32843:107::-;32930:12;32916:11;:26;;;;;;;;;;;;:::i;:::-;;32843:107;:::o;34132:119::-;34228:15;34211:14;:32;;;;;;;;;;;;:::i;:::-;;34132:119;:::o;39182:563::-;39300:3;39275:29;;:8;:13;39284:3;39275:13;;;;;;;;;;;;;;;;;;;;;:29;;;39267:65;;;;;;;;;;;;;;;;;;;;;;39362:1;39351:7;:12;;39343:50;;;;;;;;;;;;;;;;;;;;;;39433:1;39418:4;39412:18;:22;39404:52;;;;;;;;;;;;;;;;;;;;;;39485:10;39469:8;:13;39478:3;39469:13;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;39536:7;39508:8;:13;39517:3;39508:13;;;;;;;;;;;:25;39522:10;39508:25;;;;;;;;;;;;;;;:35;;;;39554:23;39567:3;39572:4;39554:12;:23::i;:::-;39682:10;39641:66;;39676:3;39641:66;;39656:10;39641:66;;;39694:3;39699:7;39641:66;;;;;;;;;;;;;;;;39733:3;39723:14;39727:4;39723:14;;;;;;;;;;;;;;;39182:563;;;:::o;27049:1137::-;1757:10;28100:16;;28015:101;;;28036:3;28015:43;;;28059:9;28070:5;28077:3;28082:6;28090:5;28015:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28015:81:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;28015:81:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;28015:81:0;;;;;;;;;:101;;;;28007:171;;;;;;;;;;;;;;;;;;;;;;27049:1137;;;;;;:::o;37740:229::-;37834:1;37814:22;;:8;:22;;;;37806:73;;;;;;;;;;;;;;;;;;;;;;37924:8;37895:38;;37916:6;;;;;;;;;;;37895:38;;;;;;;;;;;;37953:8;37944:6;;:17;;;;;;;;;;;;;;;;;;37740:229;:::o;29962:422::-;30037:13;30063:16;30088:2;30063:28;;30102:16;30127:2;30102:28;;30141:16;30183:3;:10;30170:3;:10;:23;30160:34;;;;;;;;;;;;;;;;;;;;;;;;;29:1:-1;21:6;17:14;116:4;104:10;96:6;87:34;147:4;139:6;135:17;125:27;;0:156;30160:34:0;;;;30141:53;;30205:6;30214:1;30205:10;;30231:6;30240:1;30231:10;;30226:55;30247:3;:10;30243:1;:14;30226:55;;;30275:3;30279:1;30275:6;;;;;;;;;;;;;;;;30264:3;30268;;;;;;30264:8;;;;;;;;;;;:17;;;;;;;;;;;30259:3;;;;;;;30226:55;;;;30297:6;30306:1;30297:10;;30292:55;30313:3;:10;30309:1;:14;30292:55;;;30341:3;30345:1;30341:6;;;;;;;;;;;;;;;;30330:3;30334;;;;;;30330:8;;;;;;;;;;;:17;;;;;;;;;;;30325:3;;;;;;;30292:55;;;;30372:3;30358:18;;;;;;29962:422;;;;:::o;40507:207::-;40622:3;40593:33;;:8;:17;40602:7;40593:17;;;;;;;;;;;;;;;;;;;;;:33;;;;40585:78;;;;;;;;;;;;;;;;;;;;;;40674:32;40693:7;40702:3;40674:18;:32::i;:::-;40507:207;;:::o;33876:111::-;33976:3;33954:10;:19;33965:7;33954:19;;;;;;;;;;;:25;;;;;;;;;;;;:::i;:::-;;33876:111;;:::o;40979:526::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;160:352;;;290:3;283:4;275:6;271:17;267:27;257:2;;308:1;305;298:12;257:2;341:6;328:20;318:30;;368:18;360:6;357:30;354:2;;;400:1;397;390:12;354:2;434:4;426:6;422:17;410:29;;485:3;477:4;469:6;465:17;455:8;451:32;448:41;445:2;;;502:1;499;492:12;445:2;250:262;;;;;;538:352;;;668:3;661:4;653:6;649:17;645:27;635:2;;686:1;683;676:12;635:2;719:6;706:20;696:30;;746:18;738:6;735:30;732:2;;;778:1;775;768:12;732:2;812:4;804:6;800:17;788:29;;863:3;855:4;847:6;843:17;833:8;829:32;826:41;823:2;;;880:1;877;870:12;823:2;628:262;;;;;;898:124;;975:6;962:20;953:29;;987:30;1011:5;987:30;;;947:75;;;;;1029:128;;1108:6;1095:20;1086:29;;1120:32;1146:5;1120:32;;;1080:77;;;;;1164:132;;1247:6;1241:13;1232:22;;1259:32;1285:5;1259:32;;;1226:70;;;;;1317:336;;;1431:3;1424:4;1416:6;1412:17;1408:27;1398:2;;1449:1;1446;1439:12;1398:2;1482:6;1469:20;1459:30;;1509:18;1501:6;1498:30;1495:2;;;1541:1;1538;1531:12;1495:2;1575:4;1567:6;1563:17;1551:29;;1626:3;1618:4;1610:6;1606:17;1596:8;1592:32;1589:41;1586:2;;;1643:1;1640;1633:12;1586:2;1391:262;;;;;;1662:442;;1764:3;1757:4;1749:6;1745:17;1741:27;1731:2;;1782:1;1779;1772:12;1731:2;1819:6;1806:20;1841:65;1856:49;1898:6;1856:49;;;1841:65;;;1832:74;;1926:6;1919:5;1912:21;1962:4;1954:6;1950:17;1995:4;1988:5;1984:16;2030:3;2021:6;2016:3;2012:16;2009:25;2006:2;;;2047:1;2044;2037:12;2006:2;2057:41;2091:6;2086:3;2081;2057:41;;;1724:380;;;;;;;;2112:130;;2192:6;2179:20;2170:29;;2204:33;2231:5;2204:33;;;2164:78;;;;;2249:241;;2353:2;2341:9;2332:7;2328:23;2324:32;2321:2;;;2369:1;2366;2359:12;2321:2;2404:1;2421:53;2466:7;2457:6;2446:9;2442:22;2421:53;;;2411:63;;2383:97;2315:175;;;;;2497:366;;;2618:2;2606:9;2597:7;2593:23;2589:32;2586:2;;;2634:1;2631;2624:12;2586:2;2669:1;2686:53;2731:7;2722:6;2711:9;2707:22;2686:53;;;2676:63;;2648:97;2776:2;2794:53;2839:7;2830:6;2819:9;2815:22;2794:53;;;2784:63;;2755:98;2580:283;;;;;;2870:1179;;;;;;;;;3131:3;3119:9;3110:7;3106:23;3102:33;3099:2;;;3148:1;3145;3138:12;3099:2;3183:1;3200:53;3245:7;3236:6;3225:9;3221:22;3200:53;;;3190:63;;3162:97;3290:2;3308:53;3353:7;3344:6;3333:9;3329:22;3308:53;;;3298:63;;3269:98;3426:2;3415:9;3411:18;3398:32;3450:18;3442:6;3439:30;3436:2;;;3482:1;3479;3472:12;3436:2;3510:80;3582:7;3573:6;3562:9;3558:22;3510:80;;;3500:90;;;;3377:219;3655:2;3644:9;3640:18;3627:32;3679:18;3671:6;3668:30;3665:2;;;3711:1;3708;3701:12;3665:2;3739:80;3811:7;3802:6;3791:9;3787:22;3739:80;;;3729:90;;;;3606:219;3884:3;3873:9;3869:19;3856:33;3909:18;3901:6;3898:30;3895:2;;;3941:1;3938;3931:12;3895:2;3969:64;4025:7;4016:6;4005:9;4001:22;3969:64;;;3959:74;;;;3835:204;3093:956;;;;;;;;;;;;4056:867;;;;;;;4247:3;4235:9;4226:7;4222:23;4218:33;4215:2;;;4264:1;4261;4254:12;4215:2;4299:1;4316:53;4361:7;4352:6;4341:9;4337:22;4316:53;;;4306:63;;4278:97;4406:2;4424:53;4469:7;4460:6;4449:9;4445:22;4424:53;;;4414:63;;4385:98;4514:2;4532:53;4577:7;4568:6;4557:9;4553:22;4532:53;;;4522:63;;4493:98;4622:2;4640:53;4685:7;4676:6;4665:9;4661:22;4640:53;;;4630:63;;4601:98;4758:3;4747:9;4743:19;4730:33;4783:18;4775:6;4772:30;4769:2;;;4815:1;4812;4805:12;4769:2;4843:64;4899:7;4890:6;4879:9;4875:22;4843:64;;;4833:74;;;;4709:204;4209:714;;;;;;;;;4930:360;;;5048:2;5036:9;5027:7;5023:23;5019:32;5016:2;;;5064:1;5061;5054:12;5016:2;5099:1;5116:53;5161:7;5152:6;5141:9;5137:22;5116:53;;;5106:63;;5078:97;5206:2;5224:50;5266:7;5257:6;5246:9;5242:22;5224:50;;;5214:60;;5185:95;5010:280;;;;;;5297:366;;;5418:2;5406:9;5397:7;5393:23;5389:32;5386:2;;;5434:1;5431;5424:12;5386:2;5469:1;5486:53;5531:7;5522:6;5511:9;5507:22;5486:53;;;5476:63;;5448:97;5576:2;5594:53;5639:7;5630:6;5619:9;5615:22;5594:53;;;5584:63;;5555:98;5380:283;;;;;;5670:491;;;;5808:2;5796:9;5787:7;5783:23;5779:32;5776:2;;;5824:1;5821;5814:12;5776:2;5859:1;5876:53;5921:7;5912:6;5901:9;5897:22;5876:53;;;5866:63;;5838:97;5966:2;5984:53;6029:7;6020:6;6009:9;6005:22;5984:53;;;5974:63;;5945:98;6074:2;6092:53;6137:7;6128:6;6117:9;6113:22;6092:53;;;6082:63;;6053:98;5770:391;;;;;;6168:678;;;;;6359:2;6347:9;6338:7;6334:23;6330:32;6327:2;;;6375:1;6372;6365:12;6327:2;6438:1;6427:9;6423:17;6410:31;6461:18;6453:6;6450:30;6447:2;;;6493:1;6490;6483:12;6447:2;6521:80;6593:7;6584:6;6573:9;6569:22;6521:80;;;6511:90;;;;6389:218;6666:2;6655:9;6651:18;6638:32;6690:18;6682:6;6679:30;6676:2;;;6722:1;6719;6712:12;6676:2;6750:80;6822:7;6813:6;6802:9;6798:22;6750:80;;;6740:90;;;;6617:219;6321:525;;;;;;;;6853:239;;6956:2;6944:9;6935:7;6931:23;6927:32;6924:2;;;6972:1;6969;6962:12;6924:2;7007:1;7024:52;7068:7;7059:6;7048:9;7044:22;7024:52;;;7014:62;;6986:96;6918:174;;;;;7099:261;;7213:2;7201:9;7192:7;7188:23;7184:32;7181:2;;;7229:1;7226;7219:12;7181:2;7264:1;7281:63;7336:7;7327:6;7316:9;7312:22;7281:63;;;7271:73;;7243:107;7175:185;;;;;7367:347;;7481:2;7469:9;7460:7;7456:23;7452:32;7449:2;;;7497:1;7494;7487:12;7449:2;7560:1;7549:9;7545:17;7532:31;7583:18;7575:6;7572:30;7569:2;;;7615:1;7612;7605:12;7569:2;7635:63;7690:7;7681:6;7670:9;7666:22;7635:63;;;7625:73;;7511:193;7443:271;;;;;7721:241;;7825:2;7813:9;7804:7;7800:23;7796:32;7793:2;;;7841:1;7838;7831:12;7793:2;7876:1;7893:53;7938:7;7929:6;7918:9;7914:22;7893:53;;;7883:63;;7855:97;7787:175;;;;;7969:597;;;;8117:2;8105:9;8096:7;8092:23;8088:32;8085:2;;;8133:1;8130;8123:12;8085:2;8168:1;8185:53;8230:7;8221:6;8210:9;8206:22;8185:53;;;8175:63;;8147:97;8275:2;8293:53;8338:7;8329:6;8318:9;8314:22;8293:53;;;8283:63;;8254:98;8411:2;8400:9;8396:18;8383:32;8435:18;8427:6;8424:30;8421:2;;;8467:1;8464;8457:12;8421:2;8487:63;8542:7;8533:6;8522:9;8518:22;8487:63;;;8477:73;;8362:194;8079:487;;;;;;8574:173;;8661:46;8703:3;8695:6;8661:46;;;8736:4;8731:3;8727:14;8713:28;;8654:93;;;;;8755:113;8838:24;8856:5;8838:24;;;8833:3;8826:37;8820:48;;;8906:467;;9052:86;9131:6;9126:3;9052:86;;;9045:93;;9165:66;9157:6;9154:78;9151:2;;;9245:1;9242;9235:12;9151:2;9278:4;9270:6;9266:17;9256:27;;9295:43;9331:6;9326:3;9319:5;9295:43;;;9360:6;9355:3;9351:16;9344:23;;9038:335;;;;;;9412:690;;9557:54;9605:5;9557:54;;;9624:86;9703:6;9698:3;9624:86;;;9617:93;;9731:56;9781:5;9731:56;;;9807:7;9835:1;9820:260;9845:6;9842:1;9839:13;9820:260;;;9912:6;9906:13;9933:63;9992:3;9977:13;9933:63;;;9926:70;;10013:60;10066:6;10013:60;;;10003:70;;9877:203;9867:1;9864;9860:9;9855:14;;9820:260;;;9824:14;10093:3;10086:10;;9536:566;;;;;;;;10110:104;10187:21;10202:5;10187:21;;;10182:3;10175:34;10169:45;;;10221:343;;10331:38;10363:5;10331:38;;;10381:70;10444:6;10439:3;10381:70;;;10374:77;;10456:52;10501:6;10496:3;10489:4;10482:5;10478:16;10456:52;;;10529:29;10551:6;10529:29;;;10524:3;10520:39;10513:46;;10311:253;;;;;;10571:347;;10683:39;10716:5;10683:39;;;10734:71;10798:6;10793:3;10734:71;;;10727:78;;10810:52;10855:6;10850:3;10843:4;10836:5;10832:16;10810:52;;;10883:29;10905:6;10883:29;;;10878:3;10874:39;10867:46;;10663:255;;;;;;10925:339;;11033:35;11062:5;11033:35;;;11080:71;11144:6;11139:3;11080:71;;;11073:78;;11156:52;11201:6;11196:3;11189:4;11182:5;11178:16;11156:52;;;11229:29;11251:6;11229:29;;;11224:3;11220:39;11213:46;;11013:251;;;;;;11272:375;;11432:67;11496:2;11491:3;11432:67;;;11425:74;;11532:34;11528:1;11523:3;11519:11;11512:55;11601:8;11596:2;11591:3;11587:12;11580:30;11638:2;11633:3;11629:12;11622:19;;11418:229;;;;11656:332;;11816:67;11880:2;11875:3;11816:67;;;11809:74;;11916:34;11912:1;11907:3;11903:11;11896:55;11979:2;11974:3;11970:12;11963:19;;11802:186;;;;11997:374;;12157:67;12221:2;12216:3;12157:67;;;12150:74;;12257:34;12253:1;12248:3;12244:11;12237:55;12326:7;12321:2;12316:3;12312:12;12305:29;12362:2;12357:3;12353:12;12346:19;;12143:228;;;;12380:380;;12540:67;12604:2;12599:3;12540:67;;;12533:74;;12640:34;12636:1;12631:3;12627:11;12620:55;12709:13;12704:2;12699:3;12695:12;12688:35;12751:2;12746:3;12742:12;12735:19;;12526:234;;;;12769:384;;12929:67;12993:2;12988:3;12929:67;;;12922:74;;13029:34;13025:1;13020:3;13016:11;13009:55;13098:17;13093:2;13088:3;13084:12;13077:39;13144:2;13139:3;13135:12;13128:19;;12915:238;;;;13162:399;;13322:67;13386:2;13381:3;13322:67;;;13315:74;;13422:34;13418:1;13413:3;13409:11;13402:55;13491:32;13486:2;13481:3;13477:12;13470:54;13552:2;13547:3;13543:12;13536:19;;13308:253;;;;13570:332;;13730:67;13794:2;13789:3;13730:67;;;13723:74;;13830:34;13826:1;13821:3;13817:11;13810:55;13893:2;13888:3;13884:12;13877:19;;13716:186;;;;13911:323;;14071:67;14135:2;14130:3;14071:67;;;14064:74;;14171:25;14167:1;14162:3;14158:11;14151:46;14225:2;14220:3;14216:12;14209:19;;14057:177;;;;14243:325;;14403:67;14467:2;14462:3;14403:67;;;14396:74;;14503:27;14499:1;14494:3;14490:11;14483:48;14559:2;14554:3;14550:12;14543:19;;14389:179;;;;14577:378;;14737:67;14801:2;14796:3;14737:67;;;14730:74;;14837:34;14833:1;14828:3;14824:11;14817:55;14906:11;14901:2;14896:3;14892:12;14885:33;14946:2;14941:3;14937:12;14930:19;;14723:232;;;;14964:394;;15124:67;15188:2;15183:3;15124:67;;;15117:74;;15224:34;15220:1;15215:3;15211:11;15204:55;15293:27;15288:2;15283:3;15279:12;15272:49;15349:2;15344:3;15340:12;15333:19;;15110:248;;;;15367:321;;15527:67;15591:2;15586:3;15527:67;;;15520:74;;15627:23;15623:1;15618:3;15614:11;15607:44;15679:2;15674:3;15670:12;15663:19;;15513:175;;;;15697:317;;15857:67;15921:2;15916:3;15857:67;;;15850:74;;15957:19;15953:1;15948:3;15944:11;15937:40;16005:2;16000:3;15996:12;15989:19;;15843:171;;;;16022:103;16095:24;16113:5;16095:24;;;16090:3;16083:37;16077:48;;;16132:113;16215:24;16233:5;16215:24;;;16210:3;16203:37;16197:48;;;16252:213;;16370:2;16359:9;16355:18;16347:26;;16384:71;16452:1;16441:9;16437:17;16428:6;16384:71;;;16341:124;;;;;16472:1039;;16820:3;16809:9;16805:19;16797:27;;16835:71;16903:1;16892:9;16888:17;16879:6;16835:71;;;16917:72;16985:2;16974:9;16970:18;16961:6;16917:72;;;17037:9;17031:4;17027:20;17022:2;17011:9;17007:18;17000:48;17062:108;17165:4;17156:6;17062:108;;;17054:116;;17218:9;17212:4;17208:20;17203:2;17192:9;17188:18;17181:48;17243:108;17346:4;17337:6;17243:108;;;17235:116;;17400:9;17394:4;17390:20;17384:3;17373:9;17369:19;17362:49;17425:76;17496:4;17487:6;17425:76;;;17417:84;;16791:720;;;;;;;;;17518:743;;17766:3;17755:9;17751:19;17743:27;;17781:71;17849:1;17838:9;17834:17;17825:6;17781:71;;;17863:72;17931:2;17920:9;17916:18;17907:6;17863:72;;;17946;18014:2;18003:9;17999:18;17990:6;17946:72;;;18029;18097:2;18086:9;18082:18;18073:6;18029:72;;;18150:9;18144:4;18140:20;18134:3;18123:9;18119:19;18112:49;18175:76;18246:4;18237:6;18175:76;;;18167:84;;17737:524;;;;;;;;;18268:660;;18534:2;18523:9;18519:18;18511:26;;18584:9;18578:4;18574:20;18570:1;18559:9;18555:17;18548:47;18609:118;18722:4;18713:6;18705;18609:118;;;18601:126;;18775:9;18769:4;18765:20;18760:2;18749:9;18745:18;18738:48;18800:118;18913:4;18904:6;18896;18800:118;;;18792:126;;18505:423;;;;;;;;18935:361;;19103:2;19092:9;19088:18;19080:26;;19153:9;19147:4;19143:20;19139:1;19128:9;19124:17;19117:47;19178:108;19281:4;19272:6;19178:108;;;19170:116;;19074:222;;;;;19303:201;;19415:2;19404:9;19400:18;19392:26;;19429:65;19491:1;19480:9;19476:17;19467:6;19429:65;;;19386:118;;;;;19511:293;;19645:2;19634:9;19630:18;19622:26;;19695:9;19689:4;19685:20;19681:1;19670:9;19666:17;19659:47;19720:74;19789:4;19780:6;19720:74;;;19712:82;;19616:188;;;;;19811:301;;19949:2;19938:9;19934:18;19926:26;;19999:9;19993:4;19989:20;19985:1;19974:9;19970:17;19963:47;20024:78;20097:4;20088:6;20024:78;;;20016:86;;19920:192;;;;;20119:407;;20310:2;20299:9;20295:18;20287:26;;20360:9;20354:4;20350:20;20346:1;20335:9;20331:17;20324:47;20385:131;20511:4;20385:131;;;20377:139;;20281:245;;;;20533:407;;20724:2;20713:9;20709:18;20701:26;;20774:9;20768:4;20764:20;20760:1;20749:9;20745:17;20738:47;20799:131;20925:4;20799:131;;;20791:139;;20695:245;;;;20947:407;;21138:2;21127:9;21123:18;21115:26;;21188:9;21182:4;21178:20;21174:1;21163:9;21159:17;21152:47;21213:131;21339:4;21213:131;;;21205:139;;21109:245;;;;21361:407;;21552:2;21541:9;21537:18;21529:26;;21602:9;21596:4;21592:20;21588:1;21577:9;21573:17;21566:47;21627:131;21753:4;21627:131;;;21619:139;;21523:245;;;;21775:407;;21966:2;21955:9;21951:18;21943:26;;22016:9;22010:4;22006:20;22002:1;21991:9;21987:17;21980:47;22041:131;22167:4;22041:131;;;22033:139;;21937:245;;;;22189:407;;22380:2;22369:9;22365:18;22357:26;;22430:9;22424:4;22420:20;22416:1;22405:9;22401:17;22394:47;22455:131;22581:4;22455:131;;;22447:139;;22351:245;;;;22603:407;;22794:2;22783:9;22779:18;22771:26;;22844:9;22838:4;22834:20;22830:1;22819:9;22815:17;22808:47;22869:131;22995:4;22869:131;;;22861:139;;22765:245;;;;23017:407;;23208:2;23197:9;23193:18;23185:26;;23258:9;23252:4;23248:20;23244:1;23233:9;23229:17;23222:47;23283:131;23409:4;23283:131;;;23275:139;;23179:245;;;;23431:407;;23622:2;23611:9;23607:18;23599:26;;23672:9;23666:4;23662:20;23658:1;23647:9;23643:17;23636:47;23697:131;23823:4;23697:131;;;23689:139;;23593:245;;;;23845:407;;24036:2;24025:9;24021:18;24013:26;;24086:9;24080:4;24076:20;24072:1;24061:9;24057:17;24050:47;24111:131;24237:4;24111:131;;;24103:139;;24007:245;;;;24259:407;;24450:2;24439:9;24435:18;24427:26;;24500:9;24494:4;24490:20;24486:1;24475:9;24471:17;24464:47;24525:131;24651:4;24525:131;;;24517:139;;24421:245;;;;24673:407;;24864:2;24853:9;24849:18;24841:26;;24914:9;24908:4;24904:20;24900:1;24889:9;24885:17;24878:47;24939:131;25065:4;24939:131;;;24931:139;;24835:245;;;;25087:407;;25278:2;25267:9;25263:18;25255:26;;25328:9;25322:4;25318:20;25314:1;25303:9;25299:17;25292:47;25353:131;25479:4;25353:131;;;25345:139;;25249:245;;;;25501:213;;25619:2;25608:9;25604:18;25596:26;;25633:71;25701:1;25690:9;25686:17;25677:6;25633:71;;;25590:124;;;;;25721:324;;25867:2;25856:9;25852:18;25844:26;;25881:71;25949:1;25938:9;25934:17;25925:6;25881:71;;;25963:72;26031:2;26020:9;26016:18;26007:6;25963:72;;;25838:207;;;;;;26052:256;;26114:2;26108:9;26098:19;;26152:4;26144:6;26140:17;26251:6;26239:10;26236:22;26215:18;26203:10;26200:34;26197:62;26194:2;;;26272:1;26269;26262:12;26194:2;26292:10;26288:2;26281:22;26092:216;;;;;26315:322;;26459:18;26451:6;26448:30;26445:2;;;26491:1;26488;26481:12;26445:2;26558:4;26554:9;26547:4;26539:6;26535:17;26531:33;26523:41;;26622:4;26616;26612:15;26604:23;;26382:255;;;;26644:151;;26730:3;26722:11;;26768:4;26763:3;26759:14;26751:22;;26716:79;;;;26802:137;;26911:5;26905:12;26895:22;;26876:63;;;;26946:121;;27039:5;27033:12;27023:22;;27004:63;;;;27074:118;;27164:5;27158:12;27148:22;;27129:63;;;;27199:122;;27293:5;27287:12;27277:22;;27258:63;;;;27328:108;;27426:4;27421:3;27417:14;27409:22;;27403:33;;;;27444:178;;27574:6;27569:3;27562:19;27611:4;27606:3;27602:14;27587:29;;27555:67;;;;;27631:162;;27745:6;27740:3;27733:19;27782:4;27777:3;27773:14;27758:29;;27726:67;;;;;27802:163;;27917:6;27912:3;27905:19;27954:4;27949:3;27945:14;27930:29;;27898:67;;;;;27973:91;;28035:24;28053:5;28035:24;;;28024:35;;28018:46;;;;28071:85;;28144:5;28137:13;28130:21;28119:32;;28113:43;;;;28163:144;;28235:66;28228:5;28224:78;28213:89;;28207:100;;;;28314:121;;28387:42;28380:5;28376:54;28365:65;;28359:76;;;;28442:72;;28504:5;28493:16;;28487:27;;;;28522:145;28603:6;28598:3;28593;28580:30;28659:1;28650:6;28645:3;28641:16;28634:27;28573:94;;;;28676:268;28741:1;28748:101;28762:6;28759:1;28756:13;28748:101;;;28838:1;28833:3;28829:11;28823:18;28819:1;28814:3;28810:11;28803:39;28784:2;28781:1;28777:10;28772:15;;28748:101;;;28864:6;28861:1;28858:13;28855:2;;;28929:1;28920:6;28915:3;28911:16;28904:27;28855:2;28725:219;;;;;28952:97;;29040:2;29036:7;29031:2;29024:5;29020:14;29016:28;29006:38;;29000:49;;;;29057:117;29126:24;29144:5;29126:24;;;29119:5;29116:35;29106:2;;29165:1;29162;29155:12;29106:2;29100:74;;29181:111;29247:21;29262:5;29247:21;;;29240:5;29237:32;29227:2;;29283:1;29280;29273:12;29227:2;29221:71;;29299:115;29367:23;29384:5;29367:23;;;29360:5;29357:34;29347:2;;29405:1;29402;29395:12;29347:2;29341:73;;29421:117;29490:24;29508:5;29490:24;;;29483:5;29480:35;29470:2;;29529:1;29526;29519:12;29470:2;29464:74;

bzzr://67d182aeb7d03e0d1ae904a8e783520a3b4df2481b500ac010917e304774137a