Token

Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity ^0.5.0;

import "./ERC1155MixedFungible.sol";


contract Collectible is ERC1155MixedFungible {

    /**
     * Emits to denote the creation of a new collectible
     */
    event NewCollectible(address indexed _creator, uint256 indexed _type, uint256 _proofCount);
    event Generation(uint256 _type, uint256 _maxSubType, uint256 _generation, string _uriId);

    bytes4 constant private INTERFACE_SIGNATURE_URI = 0x0e89341c;
    address _owner;
    string internal baseMetadataURI;

    constructor() public {
      _owner = msg.sender;
  }

    /**
     * @dev needed for opensea storefront validation
     * @return the address of the owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    function supportsInterface(bytes4 _interfaceId)
    public
    view
    returns (bool) {
        if (_interfaceId == INTERFACE_SIGNATURE_URI) {
            return true;
        } else {
            return super.supportsInterface(_interfaceId);
        }
    }



    uint256 public nonce;
    mapping (uint256 => address) public creators;
    mapping (uint256 => uint256) public maxIndex;
    mapping (uint256 => uint256) public proofs;
    mapping (uint256 => uint256) generations;
    mapping (uint256 => string) uris;

    modifier creatorOnly(uint256 _id) {
        require(creators[_id] == msg.sender, "CREATOR");
        _;
    }

    modifier onlyOwner {
        require(_owner == msg.sender, "OWNER");
        _;
    }

    modifier isNonFungibleType(uint256 _id) {
        // types all have a 128-bit zero-index value;
        // no token exists at these indices
        require((_id & TYPE_NF_BIT == TYPE_NF_BIT) && (_id & NF_INDEX_MASK == 0), "NOT_TYPE");
        _;
    }

    // provides unique URIs for each subtype
    // individual tokens ids do not have a specific URI
    function uri(
        uint256 _id
    ) public view returns (string memory) {
        require(exists(_id), "ERC721Tradable#uri: NONEXISTENT_TOKEN");
        require(bytes(uris[_id & SUBTYPE_MASK]).length != 0, "NONEXISTENT_URI");
        return string(abi.encodePacked(baseMetadataURI, uris[_id & SUBTYPE_MASK]));
    }

    function setBaseMetadataURI(
        string memory _newBaseMetadataURI
    ) public onlyOwner {
        baseMetadataURI = _newBaseMetadataURI;
    }

    // This function creates the type and mints artist proofs.
    function create(
        uint256 _artistProofs,
        string calldata _uri,
        bool   _isNF,
        address[] calldata _to
    )
    external onlyOwner returns(uint256 _type) {

        // Store the type in the upper 128 bits
        _type = (++nonce << 128);

        // Set a flag if this is an NFI.
        if (_isNF)
          _type = _type | TYPE_NF_BIT;

        // This will allow restricted access to creators.
        creators[_type] = msg.sender;

        // tokenId
        proofs[_type] = _artistProofs;
        uris[_type] = _uri;

        bool sendTokens; // false
        if (_to.length > 0) {
            require(_to.length == _artistProofs, "TO_PROOF_MISMATCH");
            sendTokens = true;
        }

        emit NewCollectible(msg.sender, _type, _artistProofs);

        string memory fullURI = string(abi.encodePacked(baseMetadataURI, _uri));
        emit URI(fullURI, _type);

        for (uint256 i = 1; i <= _artistProofs; ++i) {
            address dst = msg.sender;
            if (sendTokens) {
                dst = _to[i-1];
            }
            uint256 id  = _type | i;

            nfOwners[id] = dst;
            creators[id] = msg.sender;

            // You could use base-type id to store NF type balances if you wish.
            // balances[_type][dst] = quantity.add(balances[_type][dst]);

            emit TransferSingle(msg.sender, address(0x0), dst, id, 1);
            if (dst.isContract()) {
                _doSafeTransferAcceptanceCheck(msg.sender, msg.sender, dst, id, 1, '');
            }
        }
        emit Generation(_type, _artistProofs, 0, _uri);
    }

    // mint a new generation of a type of tokens;
    // all tokens of the generation go to the owner of this contract
    // all metadata of a generation is the same, edition is read on-chain
    function mint(
        uint256 _type,
        uint256 _editions,
        string calldata _uriId,
        address[] calldata _to
    ) external
    isNonFungibleType(_type)
    creatorOnly(_type)
    {
        // make sure baseMetadataURI is already set
        require(bytes(baseMetadataURI).length != 0, "URI_BASE_UNSET");

        // check if _to is utilized
        bool sendTokens; // false
        if (_to.length > 0) {
            require(_to.length == _editions, "TO_EDITION_MISMATCH");
            sendTokens = true;
        }
        string memory fullURI = string(abi.encodePacked(baseMetadataURI, _uriId));
        // Index are 1-based.
        uint256 index = maxIndex[_type].add(1);
        maxIndex[_type] = _editions.add(maxIndex[_type]);
        uint256 subType;

        for (uint256 i = 0; i < _editions; ++i) {
            // subType is used to denote each new edition within a generation
            uint256 subTypeIdx = (index + i) << 64;
            subType = _type | subTypeIdx;
            creators[subType] = msg.sender;

            uint256 id = subType + 1;

            // sanity/bug check - can probably be removed for mainnet
            require(nfOwners[id] == address(0), "TOKEN_EXISTS");
            uris[subType] = _uriId;
            emit URI(fullURI, subType);

            address recipient = msg.sender;
            if (sendTokens) {
                recipient = _to[i];
            }
            nfOwners[id] = recipient;

            emit TransferSingle(msg.sender, address(0x0), recipient, id, 1);

            if (_owner.isContract()) {
                _doSafeTransferAcceptanceCheck(msg.sender, msg.sender, recipient, id, 1, '');
            }
        }
        uint256 nextGen = generations[_type] + 1;
        emit Generation(_type, subType, nextGen, _uriId);
        generations[_type] = nextGen;
    }

    // for fungible Tokens
    function mintFungibles(uint256 _id, address[] calldata _to, uint256[] calldata _quantities) external creatorOnly(_id) {

        require(isFungible(_id));

        for (uint256 i = 0; i < _to.length; ++i) {

            address to = _to[i];
            uint256 quantity = _quantities[i];

            // Grant the items to the caller
            balances[_id][to] = quantity.add(balances[_id][to]);

            // Emit the Transfer/Mint event.
            // the 0x0 source address implies a mint
            // It will also provide the circulating supply info.
            emit TransferSingle(msg.sender, address(0x0), to, _id, quantity);

            if (to.isContract()) {
                _doSafeTransferAcceptanceCheck(msg.sender, msg.sender, to, _id, quantity, '');
            }
        }
    }

    /**
     * @dev for non-fungibles `_id` should always be a subType
     *      _uriId should only contain the unique identifier (such as the IPFS CID)
     */
    function setURI(string calldata _uriId, uint256 _id) external creatorOnly(_id) {
        string memory fullURI = string(abi.encodePacked(baseMetadataURI, _uriId));
        uris[_id] = _uriId;
        emit URI(fullURI, _id);
    }

    function exists(uint256 _id) internal view returns (bool) {
        return nfOwners[_id] != address(0);
    }

    function uint2str(uint _i) internal pure returns (string memory _uintAsString) {
        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);
    }

}

pragma solidity ^0.5.0;


/**
 * Utility library of inline functions on addresses
 */
library Address {

    /**
     * Returns whether the target address is a contract
     * @dev This function will return false if invoked during the constructor of a contract,
     * as the code is not actually created until after the constructor finishes.
     * @param account address of the account to check
     * @return whether the target address is a contract
     */
    function isContract(address account) internal view returns (bool) {
        uint256 size;
        // XXX Currently there is no better way to check if there is a contract in an address
        // than to check the size of the code at that address.
        // See https://ethereum.stackexchange.com/a/14016/36603
        // for more details about how this works.
        // TODO Check this again before the Serenity release, because all addresses will be
        // contracts then.
        // solium-disable-next-line security/no-inline-assembly
        assembly { size := extcodesize(account) }
        return size > 0;
    }

}

pragma solidity ^0.5.0;

/**
    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)"))
}

pragma solidity ^0.5.0;

import "./SafeMath.sol";
import "./Address.sol";
import "./Common.sol";
import "./IERC1155TokenReceiver.sol";
import "./IERC1155.sol";

// 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('supportsInterface(bytes4)'));
    */
    bytes4 constant private INTERFACE_SIGNATURE_ERC165 = 0x01ffc9a7;

    /*
        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;

    function supportsInterface(bytes4 _interfaceId)
    public
    view
    returns (bool) {
         if (_interfaceId == INTERFACE_SIGNATURE_ERC165 ||
             _interfaceId == INTERFACE_SIGNATURE_ERC1155) {
            return true;
         }

         return false;
    }

/////////////////////////////////////////// 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 length 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");
    }
}

pragma solidity ^0.5.0;

import "./ERC1155.sol";

/**
    @dev Extension to ERC1155 for Mixed Fungible and Non-Fungible Items support
    The main benefit is sharing of common type information, just like you do when
    creating a fungible id.
*/
contract ERC1155MixedFungible is ERC1155 {

    // Use a split bit implementation.
    // Store the type in the upper 128 bits..
    uint256 constant TYPE_MASK = uint256(uint128(~0)) << 128;

    // ..and the non-fungible index in the lower 128
    uint256 constant NF_INDEX_MASK = uint128(~0);

    // The top bit is a flag to tell if this is a NFI.
    uint256 constant TYPE_NF_BIT = 1 << 255;

    // Create subtype for mapping out subtypes to editions
    uint256 constant SUBTYPE_MASK = uint256(~0) << 64;

    mapping (uint256 => address) public nfOwners;

    function isNonFungible(uint256 _id) internal pure returns(bool) {
        return _id & TYPE_NF_BIT == TYPE_NF_BIT;
    }
    function isFungible(uint256 _id) internal pure returns(bool) {
        return _id & TYPE_NF_BIT == 0;
    }
    function getNonFungibleBaseType(uint256 _id) internal pure returns(uint256) {
        return _id & TYPE_MASK;
    }
    function isNonFungibleItem(uint256 _id) internal pure returns(bool) {
        // A base type has the NF bit but does has an index.
        return (_id & TYPE_NF_BIT == TYPE_NF_BIT) && (_id & NF_INDEX_MASK != 0);
    }
    function ownerOf(uint256 _id) public view returns (address) {
        return nfOwners[_id];
    }

    // override
    function safeTransferFrom(address _from, address _to, uint256 _id, uint256 _value, bytes calldata _data) external {

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

        if (isNonFungible(_id)) {
            require(nfOwners[_id] == _from, "FROM_NOT_OWNER");
            nfOwners[_id] = _to;
            // You could keep balance of NF type in base type id like so:
            // uint256 baseType = getNonFungibleBaseType(_id);
            // balances[baseType][_from] = balances[baseType][_from].sub(_value);
            // balances[baseType][_to]   = balances[baseType][_to].add(_value);
        } else {
            balances[_id][_from] = balances[_id][_from].sub(_value);
            balances[_id][_to]   = balances[_id][_to].add(_value);
        }

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

        if (_to.isContract()) {
            _doSafeTransferAcceptanceCheck(msg.sender, _from, _to, _id, _value, _data);
        }
    }

    // override
    function safeBatchTransferFrom(address _from, address _to, uint256[] calldata _ids, uint256[] calldata _values, bytes calldata _data) external {

        require(_to != address(0x0), "cannot send to zero address");
        require(_ids.length == _values.length, "Array length must match");

        // Only supporting a global operator approval allows us to do only 1 check and not to touch storage to handle allowances.
        require(_from == msg.sender || operatorApproval[_from][msg.sender] == true, "Need operator approval for 3rd party transfers.");

        for (uint256 i = 0; i < _ids.length; ++i) {
            // Cache value to local variable to reduce read costs.
            uint256 id = _ids[i];
            uint256 value = _values[i];

            if (isNonFungible(id)) {
                require(nfOwners[id] == _from, "FROM_NOT_OWNER");
                nfOwners[id] = _to;
            } else {
                balances[id][_from] = balances[id][_from].sub(value);
                balances[id][_to]   = value.add(balances[id][_to]);
            }
        }

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

        if (_to.isContract()) {
            _doSafeBatchTransferAcceptanceCheck(msg.sender, _from, _to, _ids, _values, _data);
        }
    }

    function balanceOf(address _owner, uint256 _id) external view returns (uint256) {
        if (isNonFungibleItem(_id))
            return nfOwners[_id] == _owner ? 1 : 0;
        return balances[_id][_owner];
    }

    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) {
            uint256 id = _ids[i];
            if (isNonFungibleItem(id)) {
                balances_[i] = nfOwners[id] == _owners[i] ? 1 : 0;
            } else {
            	balances_[i] = balances[id][_owners[i]];
            }
        }

        return balances_;
    }
}

pragma solidity ^0.5.0;

import "./Common.sol";
import "./IERC1155TokenReceiver.sol";

// Contract to test safe transfer behavior.
contract ERC1155MockReceiver is ERC1155TokenReceiver, CommonConstants {

    // Keep values from last received contract.
    bool public shouldReject;

    bytes public lastData;
    address public lastOperator;
    address public lastFrom;
    uint256 public lastId;
    uint256 public lastValue;

    function setShouldReject(bool _value) public {
        shouldReject = _value;
    }

    function onERC1155Received(address _operator, address _from, uint256 _id, uint256 _value, bytes calldata _data) external returns(bytes4) {
        lastOperator = _operator;
        lastFrom = _from;
        lastId = _id;
        lastValue = _value;
        lastData = _data;
        if (shouldReject == true) {
            revert("onERC1155Received: transfer not accepted");
        } else {
            return ERC1155_ACCEPTED;
        }
    }

    function onERC1155BatchReceived(address _operator, address _from, uint256[] calldata _ids, uint256[] calldata _values, bytes calldata _data) external returns(bytes4) {
        lastOperator = _operator;
        lastFrom = _from;
        lastId = _ids[0];
        lastValue = _values[0];
        lastData = _data;
        if (shouldReject == true) {
            revert("onERC1155BatchReceived: transfer not accepted");
        } else {
            return ERC1155_BATCH_ACCEPTED;
        }
    }

    // ERC165 interface support
    function supportsInterface(bytes4 interfaceID) external view returns (bool) {
        return  interfaceID == 0x01ffc9a7 ||    // ERC165
                interfaceID == 0x4e2312e0;      // ERC1155_ACCEPTED ^ ERC1155_BATCH_ACCEPTED;
    }
}

pragma solidity ^0.5.0;


/**
 * @title ERC165
 * @dev https://github.com/ethereum/EIPs/blob/master/EIPS/eip-165.md
 */
interface ERC165 {

    /**
     * @notice Query if a contract implements an interface
     * @param _interfaceId The interface identifier, as specified in ERC-165
     * @dev Interface identification is specified in ERC-165. This function
     * uses less than 30,000 gas.
     */
    function supportsInterface(bytes4 _interfaceId)
    external
    view
    returns (bool);
}

pragma solidity ^0.5.0;

import "./ERC165.sol";

/**
    @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.
 */
interface IERC1155 /* is ERC165 */ {
    /**
        @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);
}

pragma solidity ^0.5.0;

/**
    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);
}

pragma solidity ^0.5.0;

contract Migrations {
  address public owner;

  // A function with the signature `last_completed_migration()`, returning a uint, is required.
  uint public last_completed_migration;

  modifier restricted() {
    if (msg.sender == owner) _;
  }

  constructor() public {
    owner = msg.sender;
  }

  // A function with the signature `setCompleted(uint)` is required.
  function setCompleted(uint completed) public restricted {
    last_completed_migration = completed;
  }

  function upgrade(address new_address) public restricted {
    Migrations upgraded = Migrations(new_address);
    upgraded.setCompleted(last_completed_migration);
  }
}

pragma solidity ^0.5.0;


/**
 * @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;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"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":false,"internalType":"uint256","name":"_type","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_maxSubType","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_generation","type":"uint256"},{"indexed":false,"internalType":"string","name":"_uriId","type":"string"}],"name":"Generation","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_creator","type":"address"},{"indexed":true,"internalType":"uint256","name":"_type","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_proofCount","type":"uint256"}],"name":"NewCollectible","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":"uint256","name":"_artistProofs","type":"uint256"},{"internalType":"string","name":"_uri","type":"string"},{"internalType":"bool","name":"_isNF","type":"bool"},{"internalType":"address[]","name":"_to","type":"address[]"}],"name":"create","outputs":[{"internalType":"uint256","name":"_type","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","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":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"maxIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_type","type":"uint256"},{"internalType":"uint256","name":"_editions","type":"uint256"},{"internalType":"string","name":"_uriId","type":"string"},{"internalType":"address[]","name":"_to","type":"address[]"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_id","type":"uint256"},{"internalType":"address[]","name":"_to","type":"address[]"},{"internalType":"uint256[]","name":"_quantities","type":"uint256[]"}],"name":"mintFungibles","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"nfOwners","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"nonce","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"_id","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"proofs","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"_newBaseMetadataURI","type":"string"}],"name":"setBaseMetadataURI","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"string","name":"_uriId","type":"string"},{"internalType":"uint256","name":"_id","type":"uint256"}],"name":"setURI","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":[{"internalType":"uint256","name":"_id","type":"uint256"}],"name":"uri","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b5033600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550613dfb806100616000396000f3fe608060405234801561001057600080fd5b506004361061012b5760003560e01c80637e518ec8116100ad578063a22cb46511610071578063a22cb46514610abe578063affed0e014610b0e578063cd53d08e14610b2c578063e985e9c514610b9a578063f242432a14610c165761012b565b80637e518ec8146108275780638da5cb5b146108e257806395d817bc1461092c5780639ddaf5aa1461099a578063a0401777146109dc5761012b565b806331822c30116100f457806331822c30146104435780633d7d20a41461053b5780634e1273f4146106135780636352211e1461073657806367db3b8f146107a45761012b565b8062fdd58e1461013057806301ffc9a71461019257806308d7d469146101f75780630e89341c146102395780632eb2c2d6146102e0575b600080fd5b61017c6004803603604081101561014657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ce3565b6040518082815260200191505060405180910390f35b6101dd600480360360208110156101a857600080fd5b8101908080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19169060200190929190505050610dc6565b604051808215151515815260200191505060405180910390f35b6102236004803603602081101561020d57600080fd5b8101908080359060200190929190505050610e2f565b6040518082815260200191505060405180910390f35b6102656004803603602081101561024f57600080fd5b8101908080359060200190929190505050610e47565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a557808201518184015260208101905061028a565b50505050905090810190601f1680156102d25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610441600480360360a08110156102f657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561035357600080fd5b82018360208201111561036557600080fd5b8035906020019184602083028401116401000000008311171561038757600080fd5b9091929391929390803590602001906401000000008111156103a857600080fd5b8201836020820111156103ba57600080fd5b803590602001918460208302840111640100000000831117156103dc57600080fd5b9091929391929390803590602001906401000000008111156103fd57600080fd5b82018360208201111561040f57600080fd5b8035906020019184600183028401116401000000008311171561043157600080fd5b9091929391929390505050611079565b005b6105256004803603608081101561045957600080fd5b81019080803590602001909291908035906020019064010000000081111561048057600080fd5b82018360208201111561049257600080fd5b803590602001918460018302840111640100000000831117156104b457600080fd5b9091929391929390803515159060200190929190803590602001906401000000008111156104e157600080fd5b8201836020820111156104f357600080fd5b8035906020019184602083028401116401000000008311171561051557600080fd5b9091929391929390505050611789565b6040518082815260200191505060405180910390f35b6106116004803603606081101561055157600080fd5b81019080803590602001909291908035906020019064010000000081111561057857600080fd5b82018360208201111561058a57600080fd5b803590602001918460208302840111640100000000831117156105ac57600080fd5b9091929391929390803590602001906401000000008111156105cd57600080fd5b8201836020820111156105df57600080fd5b8035906020019184602083028401116401000000008311171561060157600080fd5b9091929391929390505050611d6d565b005b6106df6004803603604081101561062957600080fd5b810190808035906020019064010000000081111561064657600080fd5b82018360208201111561065857600080fd5b8035906020019184602083028401116401000000008311171561067a57600080fd5b90919293919293908035906020019064010000000081111561069b57600080fd5b8201836020820111156106ad57600080fd5b803590602001918460208302840111640100000000831117156106cf57600080fd5b909192939192939050505061203b565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b83811015610722578082015181840152602081019050610707565b505050509050019250505060405180910390f35b6107626004803603602081101561074c57600080fd5b810190808035906020019092919050505061221e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610825600480360360408110156107ba57600080fd5b81019080803590602001906401000000008111156107d757600080fd5b8201836020820111156107e957600080fd5b8035906020019184600183028401116401000000008311171561080b57600080fd5b90919293919293908035906020019092919050505061225b565b005b6108e06004803603602081101561083d57600080fd5b810190808035906020019064010000000081111561085a57600080fd5b82018360208201111561086c57600080fd5b8035906020019184600183028401116401000000008311171561088e57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050612480565b005b6108ea61255d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109586004803603602081101561094257600080fd5b8101908080359060200190929190505050612587565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109c6600480360360208110156109b057600080fd5b81019080803590602001909291905050506125ba565b6040518082815260200191505060405180910390f35b610abc600480360360808110156109f257600080fd5b81019080803590602001909291908035906020019092919080359060200190640100000000811115610a2357600080fd5b820183602082011115610a3557600080fd5b80359060200191846001830284011164010000000083111715610a5757600080fd5b909192939192939080359060200190640100000000811115610a7857600080fd5b820183602082011115610a8a57600080fd5b80359060200191846020830284011164010000000083111715610aac57600080fd5b90919293919293905050506125d2565b005b610b0c60048036036040811015610ad457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050612dd6565b005b610b16612ed7565b6040518082815260200191505060405180910390f35b610b5860048036036020811015610b4257600080fd5b8101908080359060200190929190505050612edd565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610bfc60048036036040811015610bb057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612f10565b604051808215151515815260200191505060405180910390f35b610ce1600480360360a0811015610c2c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019092919080359060200190640100000000811115610c9d57600080fd5b820183602082011115610caf57600080fd5b80359060200191846001830284011164010000000083111715610cd157600080fd5b9091929391929390505050612fa4565b005b6000610cee8261350a565b15610d6d578273ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610d60576000610d63565b60015b60ff169050610dc0565b60008083815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b6000630e89341c60e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415610e1e5760019050610e2a565b610e2782613579565b90505b919050565b60076020528060005260406000206000915090505481565b6060610e528261362a565b610ea7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180613d696025913960400191505060405180910390fd5b6000600a600060407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff901b851681526020019081526020016000208054600181600116156101000203166002900490501415610f6b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f4e4f4e4558495354454e545f555249000000000000000000000000000000000081525060200191505060405180910390fd5b6004600a600060407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff901b8516815260200190815260200160002060405160200180838054600181600116156101000203166002900480156110045780601f10610fe2576101008083540402835291820191611004565b820191906000526020600020905b815481529060010190602001808311610ff0575b50508280546001816001161561010002031660029004801561105d5780601f1061103b57610100808354040283529182019161105d565b820191906000526020600020905b815481529060010190602001808311611049575b5050925050506040516020818303038152906040529050919050565b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff16141561111c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f63616e6e6f742073656e6420746f207a65726f2061646472657373000000000081525060200191505060405180910390fd5b838390508686905014611197576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f4172726179206c656e677468206d757374206d6174636800000000000000000081525060200191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff16148061125e575060011515600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b6112b3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613cfc602f913960400191505060405180910390fd5b60008090505b868690508110156115a35760008787838181106112d257fe5b90506020020135905060008686848181106112e957fe5b9050602002013590506112fb82613696565b1561142b578a73ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146113d4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f46524f4d5f4e4f545f4f574e455200000000000000000000000000000000000081525060200191505060405180910390fd5b896002600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611596565b61148d8160008085815260200190815260200160002060008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546136c490919063ffffffff16565b60008084815260200190815260200160002060008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061154260008084815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826136db90919063ffffffff16565b60008084815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50508060010190506112b9565b508673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb898989896040518080602001806020018381038352878782818152602001925060200280828437600081840152601f19601f8201169050808301925050508381038252858582818152602001925060200280828437600081840152601f19601f820116905080830192505050965050505050505060405180910390a46116a58773ffffffffffffffffffffffffffffffffffffffff166136f5565b1561177f5761177e338989898980806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050888880806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505087878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050613708565b5b5050505050505050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461184e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f4f574e455200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6080600560008154600101919050819055901b9050831561188f577f8000000000000000000000000000000000000000000000000000000000000000811790505b336006600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508660086000838152602001908152602001600020819055508585600a6000848152602001908152602001600020919061191b929190613bd6565b506000808484905011156119a6578784849050146119a1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f544f5f50524f4f465f4d49534d4154434800000000000000000000000000000081525060200191505060405180910390fd5b600190505b813373ffffffffffffffffffffffffffffffffffffffff167f280ed71d9038841cf9e3d9383a6a67d35a813fa8332adbf9582c1b8c0e1d82808a6040518082815260200191505060405180910390a36060600488886040516020018084805460018160011615610100020316600290048015611a595780601f10611a37576101008083540402835291820191611a59565b820191906000526020600020905b815481529060010190602001808311611a45575b50508383808284378083019250505093505050506040516020818303038152906040529050827f6bb7ff708619ba0610cba295a58592e0451dee2622938c8755667688daf3529b826040518080602001828103825283818151815260200191508051906020019080838360005b83811015611ae1578082015181840152602081019050611ac6565b50505050905090810190601f168015611b0e5780820380516001836020036101000a031916815260200191505b509250505060405180910390a26000600190505b898111611ce45760003390508315611b6357868660018403818110611b4357fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1690505b60008286179050816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550336006600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62846001604051808381526020018281526020019250505060405180910390a4611cb38273ffffffffffffffffffffffffffffffffffffffff166136f5565b15611cd757611cd633338484600160405180602001604052806000815250613999565b5b5050806001019050611b22565b507f333affa0d9ed22375a02a338908ff03accdf40288b21d2c431ab40edc14acf13838a60008b8b60405180868152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f820116905080830192505050965050505050505060405180910390a150509695505050505050565b843373ffffffffffffffffffffffffffffffffffffffff166006600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611e42576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f43524541544f520000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b611e4b86613ba8565b611e5457600080fd5b60008090505b85859050811015612032576000868683818110611e7357fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1690506000858584818110611ea057fe5b905060200201359050611f0b6000808b815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826136db90919063ffffffff16565b6000808b815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628c85604051808381526020018281526020019250505060405180910390a46120028273ffffffffffffffffffffffffffffffffffffffff166136f5565b15612025576120243333848c8560405180602001604052806000815250613999565b5b5050806001019050611e5a565b50505050505050565b606082829050858590501461204f57600080fd5b6060858590506040519080825280602002602001820160405280156120835781602001602082028038833980820191505090505b50905060008090505b868690508110156122115760008585838181106120a557fe5b9050602002013590506120b78161350a565b15612174578787838181106120c857fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612151576000612154565b60015b60ff1683838151811061216357fe5b602002602001018181525050612205565b600080828152602001908152602001600020600089898581811061219457fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548383815181106121f857fe5b6020026020010181815250505b5080600101905061208c565b5080915050949350505050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b803373ffffffffffffffffffffffffffffffffffffffff166006600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612330576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f43524541544f520000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60606004858560405160200180848054600181600116156101000203166002900480156123945780601f10612372576101008083540402835291820191612394565b820191906000526020600020905b815481529060010190602001808311612380575b505083838082843780830192505050935050505060405160208183030381529060405290508484600a600086815260200190815260200160002091906123db929190613bd6565b50827f6bb7ff708619ba0610cba295a58592e0451dee2622938c8755667688daf3529b826040518080602001828103825283818151815260200191508051906020019080838360005b8381101561243f578082015181840152602081019050612424565b50505050905090810190601f16801561246c5780820380516001836020036101000a031916815260200191505b509250505060405180910390a25050505050565b3373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612543576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f4f574e455200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b8060049080519060200190612559929190613c56565b5050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60086020528060005260406000206000915090505481565b857f8000000000000000000000000000000000000000000000000000000000000000808216148015612638575060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff168216145b6126aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f4e4f545f5459504500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b863373ffffffffffffffffffffffffffffffffffffffff166006600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461277f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f43524541544f520000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60006004805460018160011615610100020316600290049050141561280c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f5552495f424153455f554e53455400000000000000000000000000000000000081525060200191505060405180910390fd5b60008085859050111561289657878585905014612891576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f544f5f45444954494f4e5f4d49534d415443480000000000000000000000000081525060200191505060405180910390fd5b600190505b60606004888860405160200180848054600181600116156101000203166002900480156128fa5780601f106128d85761010080835404028352918201916128fa565b820191906000526020600020905b8154815290600101906020018083116128e6575b5050838380828437808301925050509350505050604051602081830303815290604052905060006129486001600760008e8152602001908152602001600020546136db90919063ffffffff16565b9050612970600760008d8152602001908152602001600020548b6136db90919063ffffffff16565b600760008d815260200190815260200160002081905550600080600090505b8b811015612d185760006040828501901b9050808e179250336006600085815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600184019050600073ffffffffffffffffffffffffffffffffffffffff166002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612ad6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f544f4b454e5f455849535453000000000000000000000000000000000000000081525060200191505060405180910390fd5b8c8c600a60008781526020019081526020016000209190612af8929190613bd6565b50837f6bb7ff708619ba0610cba295a58592e0451dee2622938c8755667688daf3529b876040518080602001828103825283818151815260200191508051906020019080838360005b83811015612b5c578082015181840152602081019050612b41565b50505050905090810190601f168015612b895780820380516001836020036101000a031916815260200191505b509250505060405180910390a260003390508715612bcd578b8b85818110612bad57fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1690505b806002600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62856001604051808381526020018281526020019250505060405180910390a4612ce6600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166136f5565b15612d0a57612d0933338385600160405180602001604052806000815250613999565b5b50505080600101905061298f565b5060006001600960008f8152602001908152602001600020540190507f333affa0d9ed22375a02a338908ff03accdf40288b21d2c431ab40edc14acf138d83838e8e60405180868152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f820116905080830192505050965050505050505060405180910390a180600960008f81526020019081526020016000208190555050505050505050505050505050565b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051808215151515815260200191505060405180910390a35050565b60055481565b60066020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415613047576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f63616e6e6f742073656e6420746f207a65726f2061646472657373000000000081525060200191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff16148061310e575060011515600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b613163576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613cfc602f913960400191505060405180910390fd5b61316c84613696565b1561329c578573ffffffffffffffffffffffffffffffffffffffff166002600086815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614613245576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f46524f4d5f4e4f545f4f574e455200000000000000000000000000000000000081525060200191505060405180910390fd5b846002600086815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550613407565b6132fe8360008087815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546136c490919063ffffffff16565b60008086815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506133b38360008087815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546136db90919063ffffffff16565b60008086815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628787604051808381526020018281526020019250505060405180910390a46134aa8573ffffffffffffffffffffffffffffffffffffffff166136f5565b1561350257613501338787878787878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050613999565b5b505050505050565b60007f8000000000000000000000000000000000000000000000000000000000000000808316148015613572575060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff16831614155b9050919050565b60006301ffc9a760e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161480613612575063d9b67a2660e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b156136205760019050613625565b600090505b919050565b60008073ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b60007f8000000000000000000000000000000000000000000000000000000000000000808316149050919050565b6000828211156136d057fe5b818303905092915050565b60008183019050828110156136ec57fe5b80905092915050565b600080823b905060008111915050919050565b63bc197c8160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663bc197c8188888787876040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001806020018060200180602001848103845287818151815260200191508051906020019060200280838360005b8381101561380e5780820151818401526020810190506137f3565b50505050905001848103835286818151815260200191508051906020019060200280838360005b83811015613850578082015181840152602081019050613835565b50505050905001848103825285818151815260200191508051906020019080838360005b8381101561388f578082015181840152602081019050613874565b50505050905090810190601f1680156138bc5780820380516001836020036101000a031916815260200191505b5098505050505050505050602060405180830381600087803b1580156138e157600080fd5b505af11580156138f5573d6000803e3d6000fd5b505050506040513d602081101561390b57600080fd5b81019080805190602001909291905050507bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614613991576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603e815260200180613d2b603e913960400191505060405180910390fd5b505050505050565b63f23a6e6160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663f23a6e6188888787876040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015613aa0578082015181840152602081019050613a85565b50505050905090810190601f168015613acd5780820380516001836020036101000a031916815260200191505b509650505050505050602060405180830381600087803b158015613af057600080fd5b505af1158015613b04573d6000803e3d6000fd5b505050506040513d6020811015613b1a57600080fd5b81019080805190602001909291905050507bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614613ba0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526039815260200180613d8e6039913960400191505060405180910390fd5b505050505050565b6000807f80000000000000000000000000000000000000000000000000000000000000008316149050919050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10613c1757803560ff1916838001178555613c45565b82800160010185558215613c45579182015b82811115613c44578235825591602001919060010190613c29565b5b509050613c529190613cd6565b5090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10613c9757805160ff1916838001178555613cc5565b82800160010185558215613cc5579182015b82811115613cc4578251825591602001919060010190613ca9565b5b509050613cd29190613cd6565b5090565b613cf891905b80821115613cf4576000816000905550600101613cdc565b5090565b9056fe4e656564206f70657261746f7220617070726f76616c20666f7220337264207061727479207472616e73666572732e636f6e74726163742072657475726e656420616e20756e6b6e6f776e2076616c75652066726f6d206f6e45524331313535426174636852656365697665644552433732315472616461626c65237572693a204e4f4e4558495354454e545f544f4b454e636f6e74726163742072657475726e656420616e20756e6b6e6f776e2076616c75652066726f6d206f6e455243313135355265636569766564a265627a7a7231582084b5908dd51349aeb53d2e3dcd31754d1d62da52372fedc8834ea549bdcf3e2864736f6c63430005110032

0x608060405234801561001057600080fd5b506004361061012b5760003560e01c80637e518ec8116100ad578063a22cb46511610071578063a22cb46514610abe578063affed0e014610b0e578063cd53d08e14610b2c578063e985e9c514610b9a578063f242432a14610c165761012b565b80637e518ec8146108275780638da5cb5b146108e257806395d817bc1461092c5780639ddaf5aa1461099a578063a0401777146109dc5761012b565b806331822c30116100f457806331822c30146104435780633d7d20a41461053b5780634e1273f4146106135780636352211e1461073657806367db3b8f146107a45761012b565b8062fdd58e1461013057806301ffc9a71461019257806308d7d469146101f75780630e89341c146102395780632eb2c2d6146102e0575b600080fd5b61017c6004803603604081101561014657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ce3565b6040518082815260200191505060405180910390f35b6101dd600480360360208110156101a857600080fd5b8101908080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19169060200190929190505050610dc6565b604051808215151515815260200191505060405180910390f35b6102236004803603602081101561020d57600080fd5b8101908080359060200190929190505050610e2f565b6040518082815260200191505060405180910390f35b6102656004803603602081101561024f57600080fd5b8101908080359060200190929190505050610e47565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a557808201518184015260208101905061028a565b50505050905090810190601f1680156102d25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610441600480360360a08110156102f657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561035357600080fd5b82018360208201111561036557600080fd5b8035906020019184602083028401116401000000008311171561038757600080fd5b9091929391929390803590602001906401000000008111156103a857600080fd5b8201836020820111156103ba57600080fd5b803590602001918460208302840111640100000000831117156103dc57600080fd5b9091929391929390803590602001906401000000008111156103fd57600080fd5b82018360208201111561040f57600080fd5b8035906020019184600183028401116401000000008311171561043157600080fd5b9091929391929390505050611079565b005b6105256004803603608081101561045957600080fd5b81019080803590602001909291908035906020019064010000000081111561048057600080fd5b82018360208201111561049257600080fd5b803590602001918460018302840111640100000000831117156104b457600080fd5b9091929391929390803515159060200190929190803590602001906401000000008111156104e157600080fd5b8201836020820111156104f357600080fd5b8035906020019184602083028401116401000000008311171561051557600080fd5b9091929391929390505050611789565b6040518082815260200191505060405180910390f35b6106116004803603606081101561055157600080fd5b81019080803590602001909291908035906020019064010000000081111561057857600080fd5b82018360208201111561058a57600080fd5b803590602001918460208302840111640100000000831117156105ac57600080fd5b9091929391929390803590602001906401000000008111156105cd57600080fd5b8201836020820111156105df57600080fd5b8035906020019184602083028401116401000000008311171561060157600080fd5b9091929391929390505050611d6d565b005b6106df6004803603604081101561062957600080fd5b810190808035906020019064010000000081111561064657600080fd5b82018360208201111561065857600080fd5b8035906020019184602083028401116401000000008311171561067a57600080fd5b90919293919293908035906020019064010000000081111561069b57600080fd5b8201836020820111156106ad57600080fd5b803590602001918460208302840111640100000000831117156106cf57600080fd5b909192939192939050505061203b565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b83811015610722578082015181840152602081019050610707565b505050509050019250505060405180910390f35b6107626004803603602081101561074c57600080fd5b810190808035906020019092919050505061221e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610825600480360360408110156107ba57600080fd5b81019080803590602001906401000000008111156107d757600080fd5b8201836020820111156107e957600080fd5b8035906020019184600183028401116401000000008311171561080b57600080fd5b90919293919293908035906020019092919050505061225b565b005b6108e06004803603602081101561083d57600080fd5b810190808035906020019064010000000081111561085a57600080fd5b82018360208201111561086c57600080fd5b8035906020019184600183028401116401000000008311171561088e57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050612480565b005b6108ea61255d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109586004803603602081101561094257600080fd5b8101908080359060200190929190505050612587565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109c6600480360360208110156109b057600080fd5b81019080803590602001909291905050506125ba565b6040518082815260200191505060405180910390f35b610abc600480360360808110156109f257600080fd5b81019080803590602001909291908035906020019092919080359060200190640100000000811115610a2357600080fd5b820183602082011115610a3557600080fd5b80359060200191846001830284011164010000000083111715610a5757600080fd5b909192939192939080359060200190640100000000811115610a7857600080fd5b820183602082011115610a8a57600080fd5b80359060200191846020830284011164010000000083111715610aac57600080fd5b90919293919293905050506125d2565b005b610b0c60048036036040811015610ad457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050612dd6565b005b610b16612ed7565b6040518082815260200191505060405180910390f35b610b5860048036036020811015610b4257600080fd5b8101908080359060200190929190505050612edd565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610bfc60048036036040811015610bb057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612f10565b604051808215151515815260200191505060405180910390f35b610ce1600480360360a0811015610c2c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019092919080359060200190640100000000811115610c9d57600080fd5b820183602082011115610caf57600080fd5b80359060200191846001830284011164010000000083111715610cd157600080fd5b9091929391929390505050612fa4565b005b6000610cee8261350a565b15610d6d578273ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610d60576000610d63565b60015b60ff169050610dc0565b60008083815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b6000630e89341c60e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415610e1e5760019050610e2a565b610e2782613579565b90505b919050565b60076020528060005260406000206000915090505481565b6060610e528261362a565b610ea7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180613d696025913960400191505060405180910390fd5b6000600a600060407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff901b851681526020019081526020016000208054600181600116156101000203166002900490501415610f6b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f4e4f4e4558495354454e545f555249000000000000000000000000000000000081525060200191505060405180910390fd5b6004600a600060407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff901b8516815260200190815260200160002060405160200180838054600181600116156101000203166002900480156110045780601f10610fe2576101008083540402835291820191611004565b820191906000526020600020905b815481529060010190602001808311610ff0575b50508280546001816001161561010002031660029004801561105d5780601f1061103b57610100808354040283529182019161105d565b820191906000526020600020905b815481529060010190602001808311611049575b5050925050506040516020818303038152906040529050919050565b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff16141561111c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f63616e6e6f742073656e6420746f207a65726f2061646472657373000000000081525060200191505060405180910390fd5b838390508686905014611197576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f4172726179206c656e677468206d757374206d6174636800000000000000000081525060200191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff16148061125e575060011515600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b6112b3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613cfc602f913960400191505060405180910390fd5b60008090505b868690508110156115a35760008787838181106112d257fe5b90506020020135905060008686848181106112e957fe5b9050602002013590506112fb82613696565b1561142b578a73ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146113d4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f46524f4d5f4e4f545f4f574e455200000000000000000000000000000000000081525060200191505060405180910390fd5b896002600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611596565b61148d8160008085815260200190815260200160002060008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546136c490919063ffffffff16565b60008084815260200190815260200160002060008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061154260008084815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826136db90919063ffffffff16565b60008084815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50508060010190506112b9565b508673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb898989896040518080602001806020018381038352878782818152602001925060200280828437600081840152601f19601f8201169050808301925050508381038252858582818152602001925060200280828437600081840152601f19601f820116905080830192505050965050505050505060405180910390a46116a58773ffffffffffffffffffffffffffffffffffffffff166136f5565b1561177f5761177e338989898980806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050888880806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505087878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050613708565b5b5050505050505050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461184e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f4f574e455200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6080600560008154600101919050819055901b9050831561188f577f8000000000000000000000000000000000000000000000000000000000000000811790505b336006600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508660086000838152602001908152602001600020819055508585600a6000848152602001908152602001600020919061191b929190613bd6565b506000808484905011156119a6578784849050146119a1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f544f5f50524f4f465f4d49534d4154434800000000000000000000000000000081525060200191505060405180910390fd5b600190505b813373ffffffffffffffffffffffffffffffffffffffff167f280ed71d9038841cf9e3d9383a6a67d35a813fa8332adbf9582c1b8c0e1d82808a6040518082815260200191505060405180910390a36060600488886040516020018084805460018160011615610100020316600290048015611a595780601f10611a37576101008083540402835291820191611a59565b820191906000526020600020905b815481529060010190602001808311611a45575b50508383808284378083019250505093505050506040516020818303038152906040529050827f6bb7ff708619ba0610cba295a58592e0451dee2622938c8755667688daf3529b826040518080602001828103825283818151815260200191508051906020019080838360005b83811015611ae1578082015181840152602081019050611ac6565b50505050905090810190601f168015611b0e5780820380516001836020036101000a031916815260200191505b509250505060405180910390a26000600190505b898111611ce45760003390508315611b6357868660018403818110611b4357fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1690505b60008286179050816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550336006600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62846001604051808381526020018281526020019250505060405180910390a4611cb38273ffffffffffffffffffffffffffffffffffffffff166136f5565b15611cd757611cd633338484600160405180602001604052806000815250613999565b5b5050806001019050611b22565b507f333affa0d9ed22375a02a338908ff03accdf40288b21d2c431ab40edc14acf13838a60008b8b60405180868152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f820116905080830192505050965050505050505060405180910390a150509695505050505050565b843373ffffffffffffffffffffffffffffffffffffffff166006600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611e42576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f43524541544f520000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b611e4b86613ba8565b611e5457600080fd5b60008090505b85859050811015612032576000868683818110611e7357fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1690506000858584818110611ea057fe5b905060200201359050611f0b6000808b815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826136db90919063ffffffff16565b6000808b815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628c85604051808381526020018281526020019250505060405180910390a46120028273ffffffffffffffffffffffffffffffffffffffff166136f5565b15612025576120243333848c8560405180602001604052806000815250613999565b5b5050806001019050611e5a565b50505050505050565b606082829050858590501461204f57600080fd5b6060858590506040519080825280602002602001820160405280156120835781602001602082028038833980820191505090505b50905060008090505b868690508110156122115760008585838181106120a557fe5b9050602002013590506120b78161350a565b15612174578787838181106120c857fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612151576000612154565b60015b60ff1683838151811061216357fe5b602002602001018181525050612205565b600080828152602001908152602001600020600089898581811061219457fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548383815181106121f857fe5b6020026020010181815250505b5080600101905061208c565b5080915050949350505050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b803373ffffffffffffffffffffffffffffffffffffffff166006600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612330576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f43524541544f520000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60606004858560405160200180848054600181600116156101000203166002900480156123945780601f10612372576101008083540402835291820191612394565b820191906000526020600020905b815481529060010190602001808311612380575b505083838082843780830192505050935050505060405160208183030381529060405290508484600a600086815260200190815260200160002091906123db929190613bd6565b50827f6bb7ff708619ba0610cba295a58592e0451dee2622938c8755667688daf3529b826040518080602001828103825283818151815260200191508051906020019080838360005b8381101561243f578082015181840152602081019050612424565b50505050905090810190601f16801561246c5780820380516001836020036101000a031916815260200191505b509250505060405180910390a25050505050565b3373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612543576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f4f574e455200000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b8060049080519060200190612559929190613c56565b5050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60086020528060005260406000206000915090505481565b857f8000000000000000000000000000000000000000000000000000000000000000808216148015612638575060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff168216145b6126aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f4e4f545f5459504500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b863373ffffffffffffffffffffffffffffffffffffffff166006600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461277f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f43524541544f520000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60006004805460018160011615610100020316600290049050141561280c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f5552495f424153455f554e53455400000000000000000000000000000000000081525060200191505060405180910390fd5b60008085859050111561289657878585905014612891576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f544f5f45444954494f4e5f4d49534d415443480000000000000000000000000081525060200191505060405180910390fd5b600190505b60606004888860405160200180848054600181600116156101000203166002900480156128fa5780601f106128d85761010080835404028352918201916128fa565b820191906000526020600020905b8154815290600101906020018083116128e6575b5050838380828437808301925050509350505050604051602081830303815290604052905060006129486001600760008e8152602001908152602001600020546136db90919063ffffffff16565b9050612970600760008d8152602001908152602001600020548b6136db90919063ffffffff16565b600760008d815260200190815260200160002081905550600080600090505b8b811015612d185760006040828501901b9050808e179250336006600085815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600184019050600073ffffffffffffffffffffffffffffffffffffffff166002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612ad6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f544f4b454e5f455849535453000000000000000000000000000000000000000081525060200191505060405180910390fd5b8c8c600a60008781526020019081526020016000209190612af8929190613bd6565b50837f6bb7ff708619ba0610cba295a58592e0451dee2622938c8755667688daf3529b876040518080602001828103825283818151815260200191508051906020019080838360005b83811015612b5c578082015181840152602081019050612b41565b50505050905090810190601f168015612b895780820380516001836020036101000a031916815260200191505b509250505060405180910390a260003390508715612bcd578b8b85818110612bad57fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff1690505b806002600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62856001604051808381526020018281526020019250505060405180910390a4612ce6600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166136f5565b15612d0a57612d0933338385600160405180602001604052806000815250613999565b5b50505080600101905061298f565b5060006001600960008f8152602001908152602001600020540190507f333affa0d9ed22375a02a338908ff03accdf40288b21d2c431ab40edc14acf138d83838e8e60405180868152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f820116905080830192505050965050505050505060405180910390a180600960008f81526020019081526020016000208190555050505050505050505050505050565b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051808215151515815260200191505060405180910390a35050565b60055481565b60066020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415613047576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f63616e6e6f742073656e6420746f207a65726f2061646472657373000000000081525060200191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff16148061310e575060011515600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b613163576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613cfc602f913960400191505060405180910390fd5b61316c84613696565b1561329c578573ffffffffffffffffffffffffffffffffffffffff166002600086815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614613245576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f46524f4d5f4e4f545f4f574e455200000000000000000000000000000000000081525060200191505060405180910390fd5b846002600086815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550613407565b6132fe8360008087815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546136c490919063ffffffff16565b60008086815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506133b38360008087815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546136db90919063ffffffff16565b60008086815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628787604051808381526020018281526020019250505060405180910390a46134aa8573ffffffffffffffffffffffffffffffffffffffff166136f5565b1561350257613501338787878787878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050613999565b5b505050505050565b60007f8000000000000000000000000000000000000000000000000000000000000000808316148015613572575060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff16831614155b9050919050565b60006301ffc9a760e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161480613612575063d9b67a2660e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b156136205760019050613625565b600090505b919050565b60008073ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b60007f8000000000000000000000000000000000000000000000000000000000000000808316149050919050565b6000828211156136d057fe5b818303905092915050565b60008183019050828110156136ec57fe5b80905092915050565b600080823b905060008111915050919050565b63bc197c8160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663bc197c8188888787876040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001806020018060200180602001848103845287818151815260200191508051906020019060200280838360005b8381101561380e5780820151818401526020810190506137f3565b50505050905001848103835286818151815260200191508051906020019060200280838360005b83811015613850578082015181840152602081019050613835565b50505050905001848103825285818151815260200191508051906020019080838360005b8381101561388f578082015181840152602081019050613874565b50505050905090810190601f1680156138bc5780820380516001836020036101000a031916815260200191505b5098505050505050505050602060405180830381600087803b1580156138e157600080fd5b505af11580156138f5573d6000803e3d6000fd5b505050506040513d602081101561390b57600080fd5b81019080805190602001909291905050507bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614613991576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603e815260200180613d2b603e913960400191505060405180910390fd5b505050505050565b63f23a6e6160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168473ffffffffffffffffffffffffffffffffffffffff1663f23a6e6188888787876040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015613aa0578082015181840152602081019050613a85565b50505050905090810190601f168015613acd5780820380516001836020036101000a031916815260200191505b509650505050505050602060405180830381600087803b158015613af057600080fd5b505af1158015613b04573d6000803e3d6000fd5b505050506040513d6020811015613b1a57600080fd5b81019080805190602001909291905050507bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614613ba0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526039815260200180613d8e6039913960400191505060405180910390fd5b505050505050565b6000807f80000000000000000000000000000000000000000000000000000000000000008316149050919050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10613c1757803560ff1916838001178555613c45565b82800160010185558215613c45579182015b82811115613c44578235825591602001919060010190613c29565b5b509050613c529190613cd6565b5090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10613c9757805160ff1916838001178555613cc5565b82800160010185558215613cc5579182015b82811115613cc4578251825591602001919060010190613ca9565b5b509050613cd29190613cd6565b5090565b613cf891905b80821115613cf4576000816000905550600101613cdc565b5090565b9056fe4e656564206f70657261746f7220617070726f76616c20666f7220337264207061727479207472616e73666572732e636f6e74726163742072657475726e656420616e20756e6b6e6f776e2076616c75652066726f6d206f6e45524331313535426174636852656365697665644552433732315472616461626c65237572693a204e4f4e4558495354454e545f544f4b454e636f6e74726163742072657475726e656420616e20756e6b6e6f776e2076616c75652066726f6d206f6e455243313135355265636569766564a265627a7a7231582084b5908dd51349aeb53d2e3dcd31754d1d62da52372fedc8834ea549bdcf3e2864736f6c63430005110032

64:7816:1:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;64:7816:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3943:213:4;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3943:213:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;756:259:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;756:259:1;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1099:44;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1099:44:1;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1846:319;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1846:319:1;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1846:319:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2652:1285:4;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;2652:1285:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;2652:1285:4;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;2652:1285:4;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;2652:1285:4;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;2652:1285:4;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;2652:1285:4;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;2652:1285:4;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;2652:1285:4;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;2652:1285:4;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;2652:1285:4;;;;;;;;;;;;:::i;:::-;;2388:1625:1;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;2388:1625:1;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;2388:1625:1;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;2388:1625:1;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;2388:1625:1;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;2388:1625:1;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;2388:1625:1;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;2388:1625:1;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6092:801;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6092:801:1;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;6092:801:1;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;6092:801:1;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;6092:801:1;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;6092:801:1;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;6092:801:1;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;6092:801:1;;;;;;;;;;;;:::i;:::-;;4162:567:4;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4162:567:4;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;4162:567:4;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4162:567:4;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;4162:567:4;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;4162:567:4;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4162:567:4;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;4162:567:4;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4162:567:4;;;;;;;;;;;;;;;;;1393:97;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1393:97:4;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7062:229:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7062:229:1;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;7062:229:1;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7062:229:1;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;7062:229:1;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2171:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2171:148:1;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;2171:148:1;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;2171:148:1;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;2171:148:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;2171:148:1;;;;;;;;;;;;;;;:::i;:::-;;673:77;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;763:44:4;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;763:44:4;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1149:42:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1149:42:1;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4212:1847;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;4212:1847:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;4212:1847:1;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4212:1847:1;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;4212:1847:1;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;4212:1847:1;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4212:1847:1;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;4212:1847:1;;;;;;;;;;;;:::i;:::-;;8817:202:3;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8817:202:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1023:20:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1049:44;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1049:44:1;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9298:149:3;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9298:149:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1512:1118:4;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;1512:1118:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;1512:1118:4;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;1512:1118:4;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;1512:1118:4;;;;;;;;;;;;:::i;:::-;;3943:213;4014:7;4037:22;4055:3;4037:17;:22::i;:::-;4033:78;;;4097:6;4080:23;;:8;:13;4089:3;4080:13;;;;;;;;;;;;;;;;;;;;;:23;;;:31;;4110:1;4080:31;;;4106:1;4080:31;4073:38;;;;;;4033:78;4128:8;:13;4137:3;4128:13;;;;;;;;;;;:21;4142:6;4128:21;;;;;;;;;;;;;;;;4121:28;;3943:213;;;;;:::o;756:259:1:-;837:4;430:10;873:23;;857:39;;;:12;:39;;;;853:156;;;919:4;912:11;;;;853:156;961:37;985:12;961:23;:37::i;:::-;954:44;;756:259;;;;:::o;1099:44::-;;;;;;;;;;;;;;;;;:::o;1846:319::-;1907:13;1940:11;1947:3;1940:6;:11::i;:::-;1932:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2053:1;2017:4;:24;754:2:4;747;739:17;;2022:3:1;:18;2017:24;;;;;;;;;;;2011:38;;;;;;;;;;;;;;;;:43;;2003:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2115:15;2132:4;:24;754:2:4;747;739:17;;2137:3:1;:18;2132:24;;;;;;;;;;;2098:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;2098:59:1;;;2084:74;;1846:319;;;:::o;2652:1285:4:-;2829:3;2814:19;;:3;:19;;;;2806:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2898:7;;:14;;2883:4;;:11;;:29;2875:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3098:10;3089:19;;:5;:19;;;:66;;;;3151:4;3112:43;;:16;:23;3129:5;3112:23;;;;;;;;;;;;;;;:35;3136:10;3112:35;;;;;;;;;;;;;;;;;;;;;;;;;:43;;;3089:66;3081:126;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3223:9;3235:1;3223:13;;3218:507;3242:4;;:11;;3238:1;:15;3218:507;;;3341:10;3354:4;;3359:1;3354:7;;;;;;;;;;;;;3341:20;;3375:13;3391:7;;3399:1;3391:10;;;;;;;;;;;;;3375:26;;3420:17;3434:2;3420:13;:17::i;:::-;3416:299;;;3481:5;3465:21;;:8;:12;3474:2;3465:12;;;;;;;;;;;;;;;;;;;;;:21;;;3457:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3538:3;3523:8;:12;3532:2;3523:12;;;;;;;;;;;;:18;;;;;;;;;;;;;;;;;;3416:299;;;3602:30;3626:5;3602:8;:12;3611:2;3602:12;;;;;;;;;;;:19;3615:5;3602:19;;;;;;;;;;;;;;;;:23;;:30;;;;:::i;:::-;3580:8;:12;3589:2;3580:12;;;;;;;;;;;:19;3593:5;3580:19;;;;;;;;;;;;;;;:52;;;;3672:28;3682:8;:12;3691:2;3682:12;;;;;;;;;;;:17;3695:3;3682:17;;;;;;;;;;;;;;;;3672:5;:9;;:28;;;;:::i;:::-;3650:8;:12;3659:2;3650:12;;;;;;;;;;;:17;3663:3;3650:17;;;;;;;;;;;;;;;:50;;;;3416:299;3218:507;;3255:3;;;;;3218:507;;;;3773:3;3740:52;;3766:5;3740:52;;3754:10;3740:52;;;3778:4;;3784:7;;3740:52;;;;;;;;;;;;;;;;;;;;;;;;;;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;;3740:52:4;;;;;;;;;;;;;;;;;;;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;;3740:52:4;;;;;;;;;;;;;;;;;3807:16;:3;:14;;;:16::i;:::-;3803:128;;;3839:81;3875:10;3887:5;3894:3;3899:4;;3839: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;;3839:81:4;;;;;;3905:7;;3839: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;;3839:81:4;;;;;;3914:5;;3839: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;;3839:81:4;;;;;;:35;:81::i;:::-;3803:128;2652:1285;;;;;;;;:::o;2388:1625:1:-;2556:13;1444:10;1434:20;;:6;;;;;;;;;;;:20;;;1426:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2650:3;2641:5;;2639:7;;;;;;;;;;:14;;2630:24;;2710:5;2706:48;;;633:8:4;2735:5:1;:19;2727:27;;2706:48;2841:10;2823:8;:15;2832:5;2823:15;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;2897:13;2881:6;:13;2888:5;2881:13;;;;;;;;;;;:29;;;;2934:4;;2920;:11;2925:5;2920:11;;;;;;;;;;;:18;;;;;;;:::i;:::-;;2949:15;3000:1;2987:3;;:10;;:14;2983:133;;;3039:13;3025:3;;:10;;:27;3017:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3101:4;3088:17;;2983:133;3158:5;3146:10;3131:48;;;3165:13;3131:48;;;;;;;;;;;;;;;;;;3190:21;3238:15;3255:4;;3221:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;3221:39:1;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;3221:39:1;;;3190:71;;3289:5;3276:19;3280:7;3276:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;3276:19:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3311:9;3323:1;3311:13;;3306:645;3331:13;3326:1;:18;3306:645;;3365:11;3379:10;3365:24;;3407:10;3403:63;;;3443:3;;3449:1;3447;:3;3443:8;;;;;;;;;;;;;;;3437:14;;3403:63;3479:10;3501:1;3493:5;:9;3479:23;;3532:3;3517:8;:12;3526:2;3517:12;;;;;;;;;;;;:18;;;;;;;;;;;;;;;;;;3564:10;3549:8;:12;3558:2;3549:12;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;3791:3;3750:52;;3785:3;3750:52;;3765:10;3750:52;;;3796:2;3800:1;3750:52;;;;;;;;;;;;;;;;;;;;;;;;3820:16;:3;:14;;;:16::i;:::-;3816:125;;;3856:70;3887:10;3899;3911:3;3916:2;3920:1;3856:70;;;;;;;;;;;;:30;:70::i;:::-;3816:125;3306:645;;3346:3;;;;;3306:645;;;;3965:41;3976:5;3983:13;3998:1;4001:4;;3965:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;3965:41:1;;;;;;;;;;;;;;;;;1474:1;;2388:1625;;;;;;;;:::o;6092:801::-;6205:3;1351:10;1334:27;;:8;:13;1343:3;1334:13;;;;;;;;;;;;;;;;;;;;;:27;;;1326:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6229:15;6240:3;6229:10;:15::i;:::-;6221:24;;;;;;6261:9;6273:1;6261:13;;6256:631;6280:3;;:10;;6276:1;:14;6256:631;;;6312:10;6325:3;;6329:1;6325:6;;;;;;;;;;;;;;;6312:19;;6345:16;6364:11;;6376:1;6364:14;;;;;;;;;;;;;6345:33;;6458:31;6471:8;:13;6480:3;6471:13;;;;;;;;;;;:17;6485:2;6471:17;;;;;;;;;;;;;;;;6458:8;:12;;:31;;;;:::i;:::-;6438:8;:13;6447:3;6438:13;;;;;;;;;;;:17;6452:2;6438:17;;;;;;;;;;;;;;;:51;;;;6713:2;6672:59;;6707:3;6672:59;;6687:10;6672:59;;;6717:3;6722:8;6672:59;;;;;;;;;;;;;;;;;;;;;;;;6750:15;:2;:13;;;:15::i;:::-;6746:131;;;6785:77;6816:10;6828;6840:2;6844:3;6849:8;6785:77;;;;;;;;;;;;:30;:77::i;:::-;6746:131;6256:631;;6292:3;;;;;6256:631;;;;6092:801;;;;;;:::o;4162:567:4:-;4262:16;4317:4;;:11;;4299:7;;:14;;:29;4291:38;;;;;;4340:26;4383:7;;:14;;4369: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;4369:29:4;;;;4340:58;;4414:9;4426:1;4414:13;;4409:287;4433:7;;:14;;4429:1;:18;4409:287;;;4468:10;4481:4;;4486:1;4481:7;;;;;;;;;;;;;4468:20;;4506:21;4524:2;4506:17;:21::i;:::-;4502:184;;;4578:7;;4586:1;4578:10;;;;;;;;;;;;;;;4562:26;;:8;:12;4571:2;4562:12;;;;;;;;;;;;;;;;;;;;;:26;;;:34;;4595:1;4562:34;;;4591:1;4562:34;4547:49;;:9;4557:1;4547:12;;;;;;;;;;;;;:49;;;;;4502:184;;;4647:8;:12;4656:2;4647:12;;;;;;;;;;;:24;4660:7;;4668:1;4660:10;;;;;;;;;;;;;;;4647:24;;;;;;;;;;;;;;;;4632:9;4642:1;4632:12;;;;;;;;;;;;;:39;;;;;4502:184;4409:287;4449:3;;;;;4409:287;;;;4713:9;4706:16;;;4162:567;;;;;;:::o;1393:97::-;1444:7;1470:8;:13;1479:3;1470:13;;;;;;;;;;;;;;;;;;;;;1463:20;;1393:97;;;:::o;7062:229:1:-;7136:3;1351:10;1334:27;;:8;:13;1343:3;1334:13;;;;;;;;;;;;;;;;;;;;;:27;;;1326:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7151:21;7199:15;7216:6;;7182:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;7182:41:1;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7182:41:1;;;7151:73;;7246:6;;7234:4;:9;7239:3;7234:9;;;;;;;;;;;:18;;;;;;;:::i;:::-;;7280:3;7267:17;7271:7;7267:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;7267:17:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1383:1;7062:229;;;;:::o;2171:148::-;1444:10;1434:20;;:6;;;;;;;;;;;:20;;;1426:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2293:19;2275:15;:37;;;;;;;;;;;;:::i;:::-;;2171:148;:::o;673:77::-;711:7;737:6;;;;;;;;;;;730:13;;673:77;:::o;763:44:4:-;;;;;;;;;;;;;;;;;;;;;;:::o;1149:42:1:-;;;;;;;;;;;;;;;;;:::o;4212:1847::-;4377:5;633:8:4;;1645:3:1;:17;:32;1644:64;;;;;1706:1;537:2:4;1689:13:1;;1683:3;:19;:24;1644:64;1636:85;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4400:5;1351:10;1334:27;;:8;:13;1343:3;1334:13;;;;;;;;;;;;;;;;;;;;;:27;;;1326:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4514:1;4487:15;4481:29;;;;;;;;;;;;;;;;:34;;4473:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4581:15;4632:1;4619:3;;:10;;:14;4615:131;;;4671:9;4657:3;;:10;;:23;4649:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4731:4;4718:17;;4615:131;4755:21;4803:15;4820:6;;4786:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;4786:41:1;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;4786:41:1;;;4755:73;;4868:13;4884:22;4904:1;4884:8;:15;4893:5;4884:15;;;;;;;;;;;;:19;;:22;;;;:::i;:::-;4868:38;;4934:30;4948:8;:15;4957:5;4948:15;;;;;;;;;;;;4934:9;:13;;:30;;;;:::i;:::-;4916:8;:15;4925:5;4916:15;;;;;;;;;;;:48;;;;4974:15;5005:9;5017:1;5005:13;;5000:907;5024:9;5020:1;:13;5000:907;;;5132:18;5168:2;5162:1;5154:5;:9;5153:17;;5132:38;;5202:10;5194:5;:18;5184:28;;5246:10;5226:8;:17;5235:7;5226:17;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;5271:10;5294:1;5284:7;:11;5271:24;;5412:1;5388:26;;:8;:12;5397:2;5388:12;;;;;;;;;;;;;;;;;;;;;:26;;;5380:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5461:6;;5445:4;:13;5450:7;5445:13;;;;;;;;;;;:22;;;;;;;:::i;:::-;;5499:7;5486:21;5490:7;5486:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5486:21:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5522:17;5542:10;5522:30;;5570:10;5566:67;;;5612:3;;5616:1;5612:6;;;;;;;;;;;;;;;5600:18;;5566:67;5661:9;5646:8;:12;5655:2;5646:12;;;;;;;;;;;;:24;;;;;;;;;;;;;;;;;;5731:9;5690:58;;5725:3;5690:58;;5705:10;5690:58;;;5742:2;5746:1;5690:58;;;;;;;;;;;;;;;;;;;;;;;;5767:19;:6;;;;;;;;;;;:17;;;:19::i;:::-;5763:134;;;5806:76;5837:10;5849;5861:9;5872:2;5876:1;5806:76;;;;;;;;;;;;:30;:76::i;:::-;5763:134;5000:907;;;5035:3;;;;;5000:907;;;;5916:15;5955:1;5934:11;:18;5946:5;5934:18;;;;;;;;;;;;:22;5916:40;;5971:43;5982:5;5989:7;5998;6007:6;;5971:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;5971:43:1;;;;;;;;;;;;;;;;;6045:7;6024:11;:18;6036:5;6024:18;;;;;;;;;;;:28;;;;1383:1;;;;;1731;4212:1847;;;;;;;:::o;8817:202:3:-;8940:9;8898:16;:28;8915:10;8898:28;;;;;;;;;;;;;;;:39;8927:9;8898:39;;;;;;;;;;;;;;;;:51;;;;;;;;;;;;;;;;;;8991:9;8964:48;;8979:10;8964:48;;;9002:9;8964:48;;;;;;;;;;;;;;;;;;;;;;8817:202;;:::o;1023:20:1:-;;;;:::o;1049:44::-;;;;;;;;;;;;;;;;;;;;;;:::o;9298:149:3:-;9382:4;9405:16;:24;9422:6;9405:24;;;;;;;;;;;;;;;:35;9430:9;9405:35;;;;;;;;;;;;;;;;;;;;;;;;;9398:42;;9298:149;;;;:::o;1512:1118:4:-;1660:3;1645:19;;:3;:19;;;;1637:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1723:10;1714:19;;:5;:19;;;:66;;;;1776:4;1737:43;;:16;:23;1754:5;1737:23;;;;;;;;;;;;;;;:35;1761:10;1737:35;;;;;;;;;;;;;;;;;;;;;;;;;:43;;;1714:66;1706:126;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1847:18;1861:3;1847:13;:18::i;:::-;1843:583;;;1906:5;1889:22;;:8;:13;1898:3;1889:13;;;;;;;;;;;;;;;;;;;;;:22;;;1881:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1960:3;1944:8;:13;1953:3;1944:13;;;;;;;;;;;;:19;;;;;;;;;;;;;;;;;;1843:583;;;2316:32;2341:6;2316:8;:13;2325:3;2316:13;;;;;;;;;;;:20;2330:5;2316:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2293:8;:13;2302:3;2293:13;;;;;;;;;;;:20;2307:5;2293:20;;;;;;;;;;;;;;;:55;;;;2385:30;2408:6;2385:8;:13;2394:3;2385:13;;;;;;;;;;;:18;2399:3;2385:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;2362:8;:13;2371:3;2362:13;;;;;;;;;;;:18;2376:3;2362:18;;;;;;;;;;;;;;;:53;;;;1843:583;2475:3;2441:51;;2468:5;2441:51;;2456:10;2441:51;;;2480:3;2485:6;2441:51;;;;;;;;;;;;;;;;;;;;;;;;2507:16;:3;:14;;;:16::i;:::-;2503:121;;;2539:74;2570:10;2582:5;2589:3;2594;2599:6;2607:5;;2539: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;;2539:74:4;;;;;;:30;:74::i;:::-;2503:121;1512:1118;;;;;;:::o;1171:217::-;1233:4;633:8;;1318:3;:17;:32;1317:64;;;;;1379:1;537:2;1362:13;;1356:3;:19;:24;;1317:64;1310:71;;1171:217;;;:::o;1319:273:3:-;1400:4;782:10;1437:26;;1421:42;;;:12;:42;;;;:102;;;;1302:10;1496:27;;1480:43;;;:12;:43;;;;1421:102;1417:145;;;1546:4;1539:11;;;;1417:145;1580:5;1573:12;;1319:273;;;;:::o;7297:109:1:-;7349:4;7397:1;7372:27;;:8;:13;7381:3;7372:13;;;;;;;;;;;;;;;;;;;;;:27;;;;7365:34;;7297:109;;;:::o;814:120:4:-;872:4;633:8;;895:3;:17;:32;888:39;;814:120;;;:::o;1123::10:-;1181:7;1212:1;1207;:6;;1200:14;;;;1235:1;1231;:5;1224:12;;1123:120;;;;:::o;1313:137::-;1371:9;1400:1;1396;:5;1392:9;;1423:1;1418;:6;;1411:14;;;;1442:1;1435:8;;1313:137;;;;:::o;465:624:0:-;525:4;541:12;1048:7;1036:20;1028:28;;1081:1;1074:4;:8;1067:15;;;465:624;;;:::o;10688:1181:3:-;311:10:2;11773:22:3;;11681:114;;;11702:3;11681:48;;;11730:9;11741:5;11748:4;11754:7;11763:5;11681:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;11681:88:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;11681:88:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;11681:88:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11681:88:3;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11681:88:3;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11681:88:3;;;;;;;;;;;;;;;;:114;;;;11673:189;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10688:1181;;;;;;:::o;9554:1128::-;164:10:2;10597:16:3;;10512:101;;;10533:3;10512:43;;;10556:9;10567:5;10574:3;10579:6;10587:5;10512:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;10512:81:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10512:81:3;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10512:81:3;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10512:81:3;;;;;;;;;;;;;;;;:101;;;;10504:171;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9554:1128;;;;;;:::o;939:107:4:-;994:4;1038:1;633:8;1017:3;:17;:22;1010:29;;939:107;;;:::o;64:7816:1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://84b5908dd51349aeb53d2e3dcd31754d1d62da52372fedc8834ea549bdcf3e28