Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IWitnetRequest
•    - function bytecode()
•    - function hash()
• library Witnet
•    - function hash(bytes memory _bytecode)
• interface IWitnetRandomness
•    - function estimateRandomizeFee(uint256 ...
•    - function getRandomizeData(uint256 _bl ...
•    - function getRandomnessAfter(uint256 _ ...
•    - function getRandomnessNextBlock(uint2 ...
•    - function getRandomnessPrevBlock(uint2 ...
•    - function isRandomized(uint256 _block)
•    - function latestRandomizeBlock()
•    - function random(uint32 _range, uint25 ...
•    - function random(uint32 _range, uint25 ...
•    - function randomize()
•    - function upgradeRandomizeFee(uint256 ...
• interface IERC165
•    - function supportsInterface(bytes4 int ...
• interface IERC721 is IERC165
•    - function balanceOf(address owner)
•    - function ownerOf(uint256 tokenId)
•    - function safeTransferFrom(
•    - function safeTransferFrom(
•    - function transferFrom(
•    - function approve(address to, uint256 ...
•    - function setApprovalForAll(address op ...
•    - function getApproved(uint256 tokenId)
•    - function isApprovedForAll(address own ...
• library Address
•    - function isContract(address account)
•    - function sendValue(address payable re ...
•    - function functionCall(address target, ...
•    - function functionCall(
•    - function functionCallWithValue(
•    - function functionCallWithValue(
•    - function functionStaticCall(address t ...
•    - function functionStaticCall(
•    - function functionDelegateCall(address ...
•    - function functionDelegateCall(
•    - function verifyCallResultFromTarget(
•    - function verifyCallResult(
•    - function _revert(bytes memory returnd ...
• interface IERC20Permit
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• library SafeERC20
•    - function safeTransfer(
•    - function safeTransferFrom(
•    - function safeApprove(
•    - function safeIncreaseAllowance(
•    - function safeDecreaseAllowance(
•    - function safePermit(
•    - function _callOptionalReturn(IERC20 t ...
•    - function _nonReentrantBefore()
•    - function _nonReentrantAfter()
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface TRPZToken is IERC20
•    - function decimals()
•    - function burn(uint256 _amount)
•  contract CroDraw is ReentrancyGuar ... *
•    - function buyTickets(uint32 _amount)
•    - function buyDiscountTickets(uint32 _a ...
•    - function startLottery(uint256 _period ...
•    - function addFund()
•    - function extendPeriod(uint256 _extraP ...
•    - function updateWinnerRatio(uint8[] me ...
•    - function updatePrizeRatio(uint8[] mem ...
•    - function closeLottery()
•    - function declareWinner()
•    - function claimRewards()
•    - function getLastWinners()
•    - function getClaimableReward(address u ...
•    - function getLotteryInfo()
•    - function getUserTickets(address user)
•    - function setDiscountToken(address _to ...
•    - function setDiscountRate(uint16 _newR ...
•    - function setTicketPrice(uint256 _tick ...
•    - function setDiscountNFTContractAddres ...
•    - function setDiscountNFTRate(uint256 _ ...
•    - function setDiscountTokenPrice(uint25 ...
•    - function setMaxNumberTicketsPerBuy(ui ...
•    - function setTreasuryAndCharityAddress ...
•    - function setOperatorAddress(
•    - function recoverWrongTokens(address _ ...
•    - function getWinnersByPot(uint8 potNum ...
•    - function calculateTotalPrice(uint32 _ ...
•    - function _setTopWinner(uint32 winning ...
•    - function _chooseWinner(uint32 winning ...
•    - function _isContract(address _addr)

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at cronoscan.com on 2023-05-04
*/

// File: witnet-solidity-bridge/contracts/interfaces/IWitnetRequest.sol



pragma solidity >=0.7.0 <0.9.0;

/// @title The Witnet Data Request basic interface.
/// @author The Witnet Foundation.
interface IWitnetRequest {
    /// A `IWitnetRequest` is constructed around a `bytes` value containing 
    /// a well-formed Witnet Data Request using Protocol Buffers.
    function bytecode() external view returns (bytes memory);

    /// Returns SHA256 hash of Witnet Data Request as CBOR-encoded bytes.
    function hash() external view returns (bytes32);
}

// File: witnet-solidity-bridge/contracts/libs/Witnet.sol



pragma solidity >=0.7.0 <0.9.0;
pragma experimental ABIEncoderV2;


library Witnet {

    /// @notice Witnet function that computes the hash of a CBOR-encoded Data Request.
    /// @param _bytecode CBOR-encoded RADON.
    function hash(bytes memory _bytecode) internal pure returns (bytes32) {
        return sha256(_bytecode);
    }

    /// Struct containing both request and response data related to every query posted to the Witnet Request Board
    struct Query {
        Request request;
        Response response;
        address from;      // Address from which the request was posted.
    }

    /// Possible status of a Witnet query.
    enum QueryStatus {
        Unknown,
        Posted,
        Reported,
        Deleted
    }

    /// Data kept in EVM-storage for every Request posted to the Witnet Request Board.
    struct Request {
        IWitnetRequest addr;    // The contract containing the Data Request which execution has been requested.
        address requester;      // Address from which the request was posted.
        bytes32 hash;           // Hash of the Data Request whose execution has been requested.
        uint256 gasprice;       // Minimum gas price the DR resolver should pay on the solving tx.
        uint256 reward;         // Escrowed reward to be paid to the DR resolver.
    }

    /// Data kept in EVM-storage containing Witnet-provided response metadata and result.
    struct Response {
        address reporter;       // Address from which the result was reported.
        uint256 timestamp;      // Timestamp of the Witnet-provided result.
        bytes32 drTxHash;       // Hash of the Witnet transaction that solved the queried Data Request.
        bytes   cborBytes;      // Witnet-provided result CBOR-bytes to the queried Data Request.
    }

    /// Data struct containing the Witnet-provided result to a Data Request.
    struct Result {
        bool success;           // Flag stating whether the request could get solved successfully, or not.
        CBOR value;             // Resulting value, in CBOR-serialized bytes.
    }

    /// Data struct following the RFC-7049 standard: Concise Binary Object Representation.
    struct CBOR {
        Buffer buffer;
        uint8 initialByte;
        uint8 majorType;
        uint8 additionalInformation;
        uint64 len;
        uint64 tag;
    }

    /// Iterable bytes buffer.
    struct Buffer {
        bytes data;
        uint32 cursor;
    }

    /// Witnet error codes table.
    enum ErrorCodes {
        // 0x00: Unknown error. Something went really bad!
        Unknown,
        // Script format errors
        /// 0x01: At least one of the source scripts is not a valid CBOR-encoded value.
        SourceScriptNotCBOR,
        /// 0x02: The CBOR value decoded from a source script is not an Array.
        SourceScriptNotArray,
        /// 0x03: The Array value decoded form a source script is not a valid Data Request.
        SourceScriptNotRADON,
        /// Unallocated
        ScriptFormat0x04,
        ScriptFormat0x05,
        ScriptFormat0x06,
        ScriptFormat0x07,
        ScriptFormat0x08,
        ScriptFormat0x09,
        ScriptFormat0x0A,
        ScriptFormat0x0B,
        ScriptFormat0x0C,
        ScriptFormat0x0D,
        ScriptFormat0x0E,
        ScriptFormat0x0F,
        // Complexity errors
        /// 0x10: The request contains too many sources.
        RequestTooManySources,
        /// 0x11: The script contains too many calls.
        ScriptTooManyCalls,
        /// Unallocated
        Complexity0x12,
        Complexity0x13,
        Complexity0x14,
        Complexity0x15,
        Complexity0x16,
        Complexity0x17,
        Complexity0x18,
        Complexity0x19,
        Complexity0x1A,
        Complexity0x1B,
        Complexity0x1C,
        Complexity0x1D,
        Complexity0x1E,
        Complexity0x1F,
        // Operator errors
        /// 0x20: The operator does not exist.
        UnsupportedOperator,
        /// Unallocated
        Operator0x21,
        Operator0x22,
        Operator0x23,
        Operator0x24,
        Operator0x25,
        Operator0x26,
        Operator0x27,
        Operator0x28,
        Operator0x29,
        Operator0x2A,
        Operator0x2B,
        Operator0x2C,
        Operator0x2D,
        Operator0x2E,
        Operator0x2F,
        // Retrieval-specific errors
        /// 0x30: At least one of the sources could not be retrieved, but returned HTTP error.
        HTTP,
        /// 0x31: Retrieval of at least one of the sources timed out.
        RetrievalTimeout,
        /// Unallocated
        Retrieval0x32,
        Retrieval0x33,
        Retrieval0x34,
        Retrieval0x35,
        Retrieval0x36,
        Retrieval0x37,
        Retrieval0x38,
        Retrieval0x39,
        Retrieval0x3A,
        Retrieval0x3B,
        Retrieval0x3C,
        Retrieval0x3D,
        Retrieval0x3E,
        Retrieval0x3F,
        // Math errors
        /// 0x40: Math operator caused an underflow.
        Underflow,
        /// 0x41: Math operator caused an overflow.
        Overflow,
        /// 0x42: Tried to divide by zero.
        DivisionByZero,
        /// Unallocated
        Math0x43,
        Math0x44,
        Math0x45,
        Math0x46,
        Math0x47,
        Math0x48,
        Math0x49,
        Math0x4A,
        Math0x4B,
        Math0x4C,
        Math0x4D,
        Math0x4E,
        Math0x4F,
        // Other errors
        /// 0x50: Received zero reveals
        NoReveals,
        /// 0x51: Insufficient consensus in tally precondition clause
        InsufficientConsensus,
        /// 0x52: Received zero commits
        InsufficientCommits,
        /// 0x53: Generic error during tally execution
        TallyExecution,
        /// Unallocated
        OtherError0x54,
        OtherError0x55,
        OtherError0x56,
        OtherError0x57,
        OtherError0x58,
        OtherError0x59,
        OtherError0x5A,
        OtherError0x5B,
        OtherError0x5C,
        OtherError0x5D,
        OtherError0x5E,
        OtherError0x5F,
        /// 0x60: Invalid reveal serialization (malformed reveals are converted to this value)
        MalformedReveal,
        /// Unallocated
        OtherError0x61,
        OtherError0x62,
        OtherError0x63,
        OtherError0x64,
        OtherError0x65,
        OtherError0x66,
        OtherError0x67,
        OtherError0x68,
        OtherError0x69,
        OtherError0x6A,
        OtherError0x6B,
        OtherError0x6C,
        OtherError0x6D,
        OtherError0x6E,
        OtherError0x6F,
        // Access errors
        /// 0x70: Tried to access a value from an index using an index that is out of bounds
        ArrayIndexOutOfBounds,
        /// 0x71: Tried to access a value from a map using a key that does not exist
        MapKeyNotFound,
        /// Unallocated
        OtherError0x72,
        OtherError0x73,
        OtherError0x74,
        OtherError0x75,
        OtherError0x76,
        OtherError0x77,
        OtherError0x78,
        OtherError0x79,
        OtherError0x7A,
        OtherError0x7B,
        OtherError0x7C,
        OtherError0x7D,
        OtherError0x7E,
        OtherError0x7F,
        OtherError0x80,
        OtherError0x81,
        OtherError0x82,
        OtherError0x83,
        OtherError0x84,
        OtherError0x85,
        OtherError0x86,
        OtherError0x87,
        OtherError0x88,
        OtherError0x89,
        OtherError0x8A,
        OtherError0x8B,
        OtherError0x8C,
        OtherError0x8D,
        OtherError0x8E,
        OtherError0x8F,
        OtherError0x90,
        OtherError0x91,
        OtherError0x92,
        OtherError0x93,
        OtherError0x94,
        OtherError0x95,
        OtherError0x96,
        OtherError0x97,
        OtherError0x98,
        OtherError0x99,
        OtherError0x9A,
        OtherError0x9B,
        OtherError0x9C,
        OtherError0x9D,
        OtherError0x9E,
        OtherError0x9F,
        OtherError0xA0,
        OtherError0xA1,
        OtherError0xA2,
        OtherError0xA3,
        OtherError0xA4,
        OtherError0xA5,
        OtherError0xA6,
        OtherError0xA7,
        OtherError0xA8,
        OtherError0xA9,
        OtherError0xAA,
        OtherError0xAB,
        OtherError0xAC,
        OtherError0xAD,
        OtherError0xAE,
        OtherError0xAF,
        OtherError0xB0,
        OtherError0xB1,
        OtherError0xB2,
        OtherError0xB3,
        OtherError0xB4,
        OtherError0xB5,
        OtherError0xB6,
        OtherError0xB7,
        OtherError0xB8,
        OtherError0xB9,
        OtherError0xBA,
        OtherError0xBB,
        OtherError0xBC,
        OtherError0xBD,
        OtherError0xBE,
        OtherError0xBF,
        OtherError0xC0,
        OtherError0xC1,
        OtherError0xC2,
        OtherError0xC3,
        OtherError0xC4,
        OtherError0xC5,
        OtherError0xC6,
        OtherError0xC7,
        OtherError0xC8,
        OtherError0xC9,
        OtherError0xCA,
        OtherError0xCB,
        OtherError0xCC,
        OtherError0xCD,
        OtherError0xCE,
        OtherError0xCF,
        OtherError0xD0,
        OtherError0xD1,
        OtherError0xD2,
        OtherError0xD3,
        OtherError0xD4,
        OtherError0xD5,
        OtherError0xD6,
        OtherError0xD7,
        OtherError0xD8,
        OtherError0xD9,
        OtherError0xDA,
        OtherError0xDB,
        OtherError0xDC,
        OtherError0xDD,
        OtherError0xDE,
        OtherError0xDF,
        // Bridge errors: errors that only belong in inter-client communication
        /// 0xE0: Requests that cannot be parsed must always get this error as their result.
        /// However, this is not a valid result in a Tally transaction, because invalid requests
        /// are never included into blocks and therefore never get a Tally in response.
        BridgeMalformedRequest,
        /// 0xE1: Witnesses exceeds 100
        BridgePoorIncentives,
        /// 0xE2: The request is rejected on the grounds that it may cause the submitter to spend or stake an
        /// amount of value that is unjustifiably high when compared with the reward they will be getting
        BridgeOversizedResult,
        /// Unallocated
        OtherError0xE3,
        OtherError0xE4,
        OtherError0xE5,
        OtherError0xE6,
        OtherError0xE7,
        OtherError0xE8,
        OtherError0xE9,
        OtherError0xEA,
        OtherError0xEB,
        OtherError0xEC,
        OtherError0xED,
        OtherError0xEE,
        OtherError0xEF,
        OtherError0xF0,
        OtherError0xF1,
        OtherError0xF2,
        OtherError0xF3,
        OtherError0xF4,
        OtherError0xF5,
        OtherError0xF6,
        OtherError0xF7,
        OtherError0xF8,
        OtherError0xF9,
        OtherError0xFA,
        OtherError0xFB,
        OtherError0xFC,
        OtherError0xFD,
        OtherError0xFE,
        // This should not exist:
        /// 0xFF: Some tally error is not intercepted but should
        UnhandledIntercept
    }
}

// File: witnet-solidity-bridge/contracts/interfaces/IWitnetRandomness.sol



pragma solidity >=0.7.0 <0.9.0;


/// @title The Witnet Randomness generator interface.
/// @author Witnet Foundation.
interface IWitnetRandomness {

    /// Thrown every time a new WitnetRandomnessRequest gets succesfully posted to the WitnetRequestBoard.
    /// @param from Address from which the randomize() function was called. 
    /// @param prevBlock Block number in which a randomness request got posted just before this one. 0 if none.
    /// @param witnetQueryId Unique query id assigned to this request by the WRB.
    /// @param witnetRequestHash SHA-256 hash of the WitnetRandomnessRequest actual bytecode just posted to the WRB.
    event Randomized(
        address indexed from,
        uint256 indexed prevBlock,
        uint256 witnetQueryId,
        bytes32 witnetRequestHash
    );

    /// Returns amount of wei required to be paid as a fee when requesting randomization with a 
    /// transaction gas price as the one given.
    function estimateRandomizeFee(uint256 _gasPrice) external view returns (uint256);

    /// Retrieves data of a randomization request that got successfully posted to the WRB within a given block.
    /// @dev Returns zero values if no randomness request was actually posted within a given block.
    /// @param _block Block number whose randomness request is being queried for.
    /// @return _from Address from which the latest randomness request was posted.
    /// @return _id Unique request identifier as provided by the WRB.
    /// @return _prevBlock Block number in which a randomness request got posted just before this one. 0 if none.
    /// @return _nextBlock Block number in which a randomness request got posted just after this one, 0 if none.
    function getRandomizeData(uint256 _block)
        external view returns (address _from, uint256 _id, uint256 _prevBlock, uint256 _nextBlock);

    /// Retrieves the randomness generated upon solving a request that was posted within a given block,
    /// if any, or to the _first_ request posted after that block, otherwise. Should the intended 
    /// request happen to be finalized with errors on the Witnet oracle network side, this function 
    /// will recursively try to return randomness from the next non-faulty randomization request found 
    /// in storage, if any. 
    /// @dev Fails if:
    /// @dev   i.   no `randomize()` was not called in either the given block, or afterwards.
    /// @dev   ii.  a request posted in/after given block does exist, but no result has been provided yet.
    /// @dev   iii. all requests in/after the given block were solved with errors.
    /// @param _block Block number from which the search will start.
    function getRandomnessAfter(uint256 _block) external view returns (bytes32); 

    /// Tells what is the number of the next block in which a randomization request was posted after the given one. 
    /// @param _block Block number from which the search will start.
    /// @return Number of the first block found after the given one, or `0` otherwise.
    function getRandomnessNextBlock(uint256 _block) external view returns (uint256); 

    /// Gets previous block in which a randomness request was posted before the given one.
    /// @param _block Block number from which the search will start.
    /// @return First block found before the given one, or `0` otherwise.
    function getRandomnessPrevBlock(uint256 _block) external view returns (uint256);

    /// Returns `true` only when the randomness request that got posted within given block was already
    /// reported back from the Witnet oracle, either successfully or with an error of any kind.
    function isRandomized(uint256 _block) external view returns (bool);

    /// Returns latest block in which a randomness request got sucessfully posted to the WRB.
    function latestRandomizeBlock() external view returns (uint256);

    /// Generates a pseudo-random number uniformly distributed within the range [0 .. _range), by using 
    /// the given `_nonce` value and the randomness returned by `getRandomnessAfter(_block)`. 
    /// @dev Fails under same conditions as `getRandomnessAfter(uint256)` may do.
    /// @param _range Range within which the uniformly-distributed random number will be generated.
    /// @param _nonce Nonce value enabling multiple random numbers from the same randomness value.
    /// @param _block Block number from which the search will start.
    function random(uint32 _range, uint256 _nonce, uint256 _block) external view returns (uint32);

    /// Generates a pseudo-random number uniformly distributed within the range [0 .. _range), by using 
    /// the given `_nonce` value and the given `_seed` as a source of entropy.
    /// @param _range Range within which the uniformly-distributed random number will be generated.
    /// @param _nonce Nonce value enabling multiple random numbers from the same randomness value.
    /// @param _seed Seed value used as entropy source.
    function random(uint32 _range, uint256 _nonce, bytes32 _seed) external pure returns (uint32);

    /// Requests the Witnet oracle to generate an EVM-agnostic and trustless source of randomness. 
    /// Only one randomness request per block will be actually posted to the WRB. Should there 
    /// already be a posted request within current block, it will try to upgrade Witnet fee of current's 
    /// block randomness request according to current gas price. In both cases, all unused funds shall 
    /// be transfered back to the tx sender.
    /// @return _usedFunds Amount of funds actually used from those provided by the tx sender.
    function randomize() external payable returns (uint256 _usedFunds);

    /// Increases Witnet fee related to a pending-to-be-solved randomness request, as much as it
    /// may be required in proportion to how much bigger the current tx gas price is with respect the 
    /// highest gas price that was paid in either previous fee upgrades, or when the given randomness 
    /// request was posted. All unused funds shall be transferred back to the tx sender.
    /// @return _usedFunds Amount of dunds actually used from those provided by the tx sender.
    function upgradeRandomizeFee(uint256 _block) external payable returns (uint256 _usedFunds);
}

// File: @openzeppelin/contracts/utils/introspection/IERC165.sol


// OpenZeppelin Contracts v4.4.1 (utils/introspection/IERC165.sol)

pragma solidity ^0.8.0;

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

// File: @openzeppelin/contracts/token/ERC721/IERC721.sol


// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC721/IERC721.sol)

pragma solidity ^0.8.0;


/**
 * @dev Required interface of an ERC721 compliant contract.
 */
interface IERC721 is IERC165 {
    /**
     * @dev Emitted when `tokenId` token is transferred from `from` to `to`.
     */
    event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);

    /**
     * @dev Emitted when `owner` enables `approved` to manage the `tokenId` token.
     */
    event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);

    /**
     * @dev Emitted when `owner` enables or disables (`approved`) `operator` to manage all of its assets.
     */
    event ApprovalForAll(address indexed owner, address indexed operator, bool approved);

    /**
     * @dev Returns the number of tokens in ``owner``'s account.
     */
    function balanceOf(address owner) external view returns (uint256 balance);

    /**
     * @dev Returns the owner of the `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function ownerOf(uint256 tokenId) external view returns (address owner);

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 tokenId,
        bytes calldata data
    ) external;

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`, checking first that contract recipients
     * are aware of the ERC721 protocol to prevent tokens from being forever locked.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - If the caller is not `from`, it must have been allowed to move this token by either {approve} or {setApprovalForAll}.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 tokenId
    ) external;

    /**
     * @dev Transfers `tokenId` token from `from` to `to`.
     *
     * WARNING: Note that the caller is responsible to confirm that the recipient is capable of receiving ERC721
     * or else they may be permanently lost. Usage of {safeTransferFrom} prevents loss, though the caller must
     * understand this adds an external call which potentially creates a reentrancy vulnerability.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must be owned by `from`.
     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 tokenId
    ) external;

    /**
     * @dev Gives permission to `to` to transfer `tokenId` token to another account.
     * The approval is cleared when the token is transferred.
     *
     * Only a single account can be approved at a time, so approving the zero address clears previous approvals.
     *
     * Requirements:
     *
     * - The caller must own the token or be an approved operator.
     * - `tokenId` must exist.
     *
     * Emits an {Approval} event.
     */
    function approve(address to, uint256 tokenId) external;

    /**
     * @dev Approve or remove `operator` as an operator for the caller.
     * Operators can call {transferFrom} or {safeTransferFrom} for any token owned by the caller.
     *
     * Requirements:
     *
     * - The `operator` cannot be the caller.
     *
     * Emits an {ApprovalForAll} event.
     */
    function setApprovalForAll(address operator, bool _approved) external;

    /**
     * @dev Returns the account approved for `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function getApproved(uint256 tokenId) external view returns (address operator);

    /**
     * @dev Returns if the `operator` is allowed to manage all of the assets of `owner`.
     *
     * See {setApprovalForAll}
     */
    function isApprovedForAll(address owner, address operator) external view returns (bool);
}

// File: @openzeppelin/contracts/utils/Address.sol


// OpenZeppelin Contracts (last updated v4.8.0) (utils/Address.sol)

pragma solidity ^0.8.1;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     *
     * [IMPORTANT]
     * ====
     * You shouldn't rely on `isContract` to protect against flash loan attacks!
     *
     * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
     * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
     * constructor.
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize/address.code.length, which returns 0
        // for contracts in construction, since the code is only stored at the end
        // of the constructor execution.

        return account.code.length > 0;
    }

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

        (bool success, ) = recipient.call{value: amount}("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain `call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        return functionStaticCall(target, data, "Address: low-level static call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        (bool success, bytes memory returndata) = target.staticcall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionDelegateCall(target, data, "Address: low-level delegate call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling
     * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.
     *
     * _Available since v4.8._
     */
    function verifyCallResultFromTarget(
        address target,
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        if (success) {
            if (returndata.length == 0) {
                // only check isContract if the call was successful and the return data is empty
                // otherwise we already know that it was a contract
                require(isContract(target), "Address: call to non-contract");
            }
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    /**
     * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the
     * revert reason or using the provided one.
     *
     * _Available since v4.3._
     */
    function verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    function _revert(bytes memory returndata, string memory errorMessage) private pure {
        // Look for revert reason and bubble it up if present
        if (returndata.length > 0) {
            // The easiest way to bubble the revert reason is using memory via assembly
            /// @solidity memory-safe-assembly
            assembly {
                let returndata_size := mload(returndata)
                revert(add(32, returndata), returndata_size)
            }
        } else {
            revert(errorMessage);
        }
    }
}

// File: @openzeppelin/contracts/token/ERC20/extensions/draft-IERC20Permit.sol


// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-IERC20Permit.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    /**
     * @dev Returns the current nonce for `owner`. This value must be
     * included whenever a signature is generated for {permit}.
     *
     * Every successful call to {permit} increases ``owner``'s nonce by one. This
     * prevents a signature from being used multiple times.
     */
    function nonces(address owner) external view returns (uint256);

    /**
     * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view returns (bytes32);
}

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol


// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);
}

// File: @openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol


// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/utils/SafeERC20.sol)

pragma solidity ^0.8.0;




/**
 * @title SafeERC20
 * @dev Wrappers around ERC20 operations that throw on failure (when the token
 * contract returns false). Tokens that return no value (and instead revert or
 * throw on failure) are also supported, non-reverting calls are assumed to be
 * successful.
 * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
 * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
 */
library SafeERC20 {
    using Address for address;

    function safeTransfer(
        IERC20 token,
        address to,
        uint256 value
    ) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    function safeTransferFrom(
        IERC20 token,
        address from,
        address to,
        uint256 value
    ) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
    }

    /**
     * @dev Deprecated. This function has issues similar to the ones found in
     * {IERC20-approve}, and its usage is discouraged.
     *
     * Whenever possible, use {safeIncreaseAllowance} and
     * {safeDecreaseAllowance} instead.
     */
    function safeApprove(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        // safeApprove should only be called when setting an initial allowance,
        // or when resetting it to zero. To increase and decrease it, use
        // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
        require(
            (value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
    }

    function safeIncreaseAllowance(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        uint256 newAllowance = token.allowance(address(this), spender) + value;
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    function safeDecreaseAllowance(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        unchecked {
            uint256 oldAllowance = token.allowance(address(this), spender);
            require(oldAllowance >= value, "SafeERC20: decreased allowance below zero");
            uint256 newAllowance = oldAllowance - value;
            _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
        }
    }

    function safePermit(
        IERC20Permit token,
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal {
        uint256 nonceBefore = token.nonces(owner);
        token.permit(owner, spender, value, deadline, v, r, s);
        uint256 nonceAfter = token.nonces(owner);
        require(nonceAfter == nonceBefore + 1, "SafeERC20: permit did not succeed");
    }

    /**
     * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
     * on the return value: the return value is optional (but if data is returned, it must not be false).
     * @param token The token targeted by the call.
     * @param data The call data (encoded using abi.encode or one of its variants).
     */
    function _callOptionalReturn(IERC20 token, bytes memory data) private {
        // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
        // we're implementing it ourselves. We use {Address-functionCall} to perform this call, which verifies that
        // the target address contains contract code and also asserts for success in the low-level call.

        bytes memory returndata = address(token).functionCall(data, "SafeERC20: low-level call failed");
        if (returndata.length > 0) {
            // Return data is optional
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}

// File: @openzeppelin/contracts/security/ReentrancyGuard.sol


// OpenZeppelin Contracts (last updated v4.8.0) (security/ReentrancyGuard.sol)

pragma solidity ^0.8.0;

/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as
 * `nonReentrant` may not call one another. This can be worked around by making
 * those functions `private`, and then adding `external` `nonReentrant` entry
 * points to them.
 *
 * TIP: If you would like to learn more about reentrancy and alternative ways
 * to protect against it, check out our blog post
 * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul].
 */
abstract contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

    // The values being non-zero value makes deployment a bit more expensive,
    // but in exchange the refund on every call to nonReentrant will be lower in
    // amount. Since refunds are capped to a percentage of the total
    // transaction's gas, it is best to keep them low in cases like this one, to
    // increase the likelihood of the full refund coming into effect.
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;

    uint256 private _status;

    constructor() {
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and making it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        _nonReentrantBefore();
        _;
        _nonReentrantAfter();
    }

    function _nonReentrantBefore() private {
        // On the first call to nonReentrant, _status will be _NOT_ENTERED
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

        // Any calls to nonReentrant after this point will fail
        _status = _ENTERED;
    }

    function _nonReentrantAfter() private {
        // By storing the original value once again, a refund is triggered (see
        // https://eips.ethereum.org/EIPS/eip-2200)
        _status = _NOT_ENTERED;
    }
}

// File: @openzeppelin/contracts/utils/Context.sol


// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

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

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

// File: @openzeppelin/contracts/access/Ownable.sol


// OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)

pragma solidity ^0.8.0;


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

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

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

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

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

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// File: contracts/3_Ballot.sol


pragma solidity ^0.8.17;







interface TRPZToken is IERC20 {
	function decimals() external view returns (uint8);
	function burn(uint256 _amount) external;
}
//coded by CRMax - Crosmolabs
contract CroDraw is ReentrancyGuard, Ownable {
	using SafeERC20 for TRPZToken;

	address public projectAddress;
	address public charityAddress;
	address public founder1Address;
	address public founder2Address;
	address public founder3Address;
	address public operatorAddress;
	uint32 public currentTicketId;  
	uint256 public amountCollected; 
	uint256 public ticketPrice;
	uint32 public maxNumberTicketsPerBuy = 100; 
	TRPZToken public discountToken;
	uint16 public discountRate = 100; 
	uint256 public discountTokenPrice = 100;
	uint256 public endTime;
	address public nftContractAddress;
	uint256 public nftDiscountRate = 100; 
    uint8[] public winnerRatio = [2, 5, 10];   
	uint8[] public prizeRatio = [10, 15, 20, 25];    

	enum LotteryStatus {
		Pending,
		Open,
		Close,
		Claimable
	}

	LotteryStatus public lotteryStatus;
	mapping(uint32 => address) public tickets;  
	mapping(address => mapping(uint256 => uint32)) public numOfTickesPerOwner; 
	mapping(address => uint256) private _rewardsByOwner;  
	mapping(address => uint8) private _lastWinningPot;  
	mapping(uint8 => address[]) private _winnerByPot;  

	uint256 public lotteryId; 

	IWitnetRandomness public immutable witnet;
	uint256 public latestRandomizingBlock;
	uint256 public topWinning;
	address public topWinner;

	address[5] private _lastTopWinners;
	uint8 private _sp;

	modifier notContract() {
		require(!_isContract(msg.sender), 'Contract is not allowed');
		require(msg.sender == tx.origin, 'Proxy contract is not allowed');
		_;
	}

	modifier onlyOperator() {
		require(msg.sender == operatorAddress, 'Not the operator');
		_;
	}

	constructor(
		address _discountToken,
		IWitnetRandomness _witnetRandomness,
		address _charity,
		address _project,
		address _founder1,
		address _founder2,
		address _founder3
	) {
		assert(address(_witnetRandomness) != address(0));
		witnet = _witnetRandomness;
		discountToken = TRPZToken(_discountToken);
		charityAddress = _charity;
		projectAddress = _project;
		founder1Address = _founder1;
		founder2Address = _founder2;
		founder3Address = _founder3;
	}

	receive() external payable {}

	/***********************************************************
	******************** EXTERNAL FUNCTIONS ********************
	***********************************************************/
	function buyTickets(uint32 _amount) external payable notContract nonReentrant {
		require(ticketPrice != 0, 'Price not set');
		require(_amount != 0, 'Enter chosen amount to buy');
		require(_amount <= maxNumberTicketsPerBuy, 'Too many tickets');

		require(lotteryStatus == LotteryStatus.Open, 'Lottery is not open yet');
		require(block.timestamp < endTime, 'Lottery has ended');

		uint256 totalPrice = calculateTotalPrice(_amount, false);
		require(msg.value >= totalPrice, 'Insufficient funds');

		amountCollected = amountCollected + totalPrice;

		for (uint i; i < _amount; ++i) {
			tickets[currentTicketId] = msg.sender;
			++currentTicketId;
		}

		numOfTickesPerOwner[msg.sender][lotteryId] += _amount;
	}

	function buyDiscountTickets(uint32 _amount) external payable notContract nonReentrant {
		require(ticketPrice != 0, 'Price not set');
		require(_amount != 0, 'Enter chosen amount to buy');
		require(_amount <= maxNumberTicketsPerBuy, 'Too many tickets');

		require(lotteryStatus == LotteryStatus.Open, 'Lottery is not open yet');
		require(block.timestamp < endTime, 'Lottery has ended');
		uint8 decimals = discountToken.decimals();
		uint256 discountTokenAmount = discountTokenPrice * (10 ** decimals) * _amount;
		discountToken.transferFrom(msg.sender, address(this), discountTokenAmount);
		discountToken.burn(discountTokenAmount);

		uint256 totalPrice = calculateTotalPrice(_amount, true);
		require(msg.value >= totalPrice, 'Insufficient funds');

		amountCollected = amountCollected + totalPrice;

		for (uint i; i < _amount; ++i) {
			tickets[currentTicketId] = msg.sender;
			++currentTicketId;
		}

		numOfTickesPerOwner[msg.sender][lotteryId] += _amount;
	}

	function startLottery(uint256 _period) external onlyOperator {
		require(lotteryStatus == LotteryStatus.Pending, 'Last Lottery has not finished yet');
		lotteryStatus = LotteryStatus.Open;
		amountCollected = 0;
		currentTicketId = 0;
		endTime = block.timestamp + _period;
	}

	function addFund() external payable onlyOperator {
		require(lotteryStatus == LotteryStatus.Open, 'Lottery is not open');
		amountCollected = amountCollected + msg.value;
	}

	function extendPeriod(uint256 _extraPeriod) external onlyOperator {
		endTime = endTime + _extraPeriod;
	}

    function updateWinnerRatio(uint8[] memory _winnerRatio) external onlyOperator {
        require(_winnerRatio.length == 3, "Invalid winner ratio");
        winnerRatio = _winnerRatio;
    }

    function updatePrizeRatio(uint8[] memory _prizeRatio) external onlyOperator {
        require(_prizeRatio.length == 4, "Invalid prize ratio");
        prizeRatio = _prizeRatio;
    }

	function closeLottery() external payable onlyOperator {
		require(lotteryStatus == LotteryStatus.Open, 'Lottery is not open');
		require(block.timestamp > endTime, 'Lottery is ongoing');

		latestRandomizingBlock = block.number;
		uint256 fee = witnet.estimateRandomizeFee(tx.gasprice);
		if (msg.value < fee) {
			revert("not enough value");
		}
		uint256 _usedFunds = witnet.randomize{value: msg.value}();
		if (_usedFunds < msg.value) {
			payable(msg.sender).transfer(msg.value - _usedFunds); 
		}

		lotteryStatus = LotteryStatus.Close;
	}

	function declareWinner() external nonReentrant onlyOperator {
		require(lotteryStatus == LotteryStatus.Close, 'Lottery has not finished');

		require(
			witnet.isRandomized(latestRandomizingBlock) == true,
			'Not Randomized'
		);

		uint8 i;
		// uint256 j;

		for (i = 1; i <= 4; ++i) {
			delete _winnerByPot[i];
		}

		lotteryStatus = LotteryStatus.Pending;
		if (currentTicketId == 0) {
			return;
		}

		uint256 nonce;

		uint256 remainingPrize = amountCollected;
		uint32 winningTicketId = witnet.random(
			currentTicketId,
			nonce,
			latestRandomizingBlock
		);
		++nonce;

		//Choose top winner
		uint256 winningPrize = amountCollected * prizeRatio[0] / 100;
		_chooseWinner(winningTicketId, winningPrize, 1);
		_setTopWinner(winningTicketId);

		// Choose rank2, 3, 4 winners
		remainingPrize = remainingPrize - winningPrize;
		uint256 winnerCnt;
		for (i = 0; i < 3; ++i) {
			winnerCnt = ((currentTicketId - 1) * winnerRatio[i]) / 100;
			if (winnerCnt > 0) {
				winningPrize = (amountCollected * prizeRatio[i + 1]) / 100 / winnerCnt;
				remainingPrize = remainingPrize - (winningPrize * winnerCnt);
				while (winnerCnt > 0) {
					winningTicketId = witnet.random(
						currentTicketId,
						nonce,
						latestRandomizingBlock
					);
                    ++nonce;
					_chooseWinner(winningTicketId, winningPrize, i + 2);
					--winnerCnt;
				}
			}
		}

		winningPrize = remainingPrize / 12;
		payable(founder1Address).transfer(winningPrize);
		payable(founder2Address).transfer(winningPrize);
		payable(founder3Address).transfer(winningPrize);
		remainingPrize = remainingPrize - (winningPrize * 3);
		winningPrize = remainingPrize / 3;
		payable(projectAddress).transfer(winningPrize);
		remainingPrize = remainingPrize - winningPrize;
		payable(charityAddress).transfer(remainingPrize);

		++lotteryId;
	}

	function claimRewards() external notContract nonReentrant {
		address user = msg.sender;
		require(_rewardsByOwner[user] > 0, 'No rewards to claim');
		uint256 rewardBalance = _rewardsByOwner[user];
		payable(user).transfer(rewardBalance);
		_rewardsByOwner[user] = 0;
		_lastWinningPot[user] = 0;
	}

	// Get last 5 top winners
	function getLastWinners() external view returns (address[5] memory) {
		address[5] memory lastWinners;
		for (uint8 i; i < 5; ++i) {
			uint8 spi = (_sp + 5 - i - 1) % 5;
			lastWinners[i] = _lastTopWinners[spi];
		}
		return lastWinners;
	}

	function getClaimableReward(address user) external view returns (uint256, uint8) {
		return (_rewardsByOwner[user], _lastWinningPot[user]);
	}

	function getLotteryInfo() external view returns (
		uint256,
		uint256,
		uint256
	) {
		return (amountCollected, currentTicketId, ticketPrice);
	}

	function getUserTickets(address user) external view returns (uint256) {
		return numOfTickesPerOwner[user][lotteryId];
	}

	function setDiscountToken(address _token) external onlyOwner {
		discountToken = TRPZToken(_token);
	}

	function setDiscountRate(uint16 _newRate) external onlyOwner {
		discountRate = _newRate;
	}

	function setTicketPrice(uint256 _ticketPrice) external onlyOwner {
		ticketPrice = _ticketPrice;
	}

	function setDiscountNFTContractAddress(address _newAddress) external onlyOwner {
		nftContractAddress = _newAddress;
	}

	function setDiscountNFTRate(uint256 _newRate) external onlyOwner {
		nftDiscountRate = _newRate;
	}

	function setDiscountTokenPrice(uint256 _discountTokenPRice) external onlyOwner {
		discountTokenPrice = _discountTokenPRice;
	}

	function setMaxNumberTicketsPerBuy(uint32 _maxNumberTicketsPerBuy) external onlyOwner {
		require(_maxNumberTicketsPerBuy != 0, 'Must be > 0');
		maxNumberTicketsPerBuy = _maxNumberTicketsPerBuy;
	}

    function setTreasuryAndCharityAddresses(
        address _projectAddress,
        address _charityAddress,
        address _founder1Address,
        address _founder2Address
    ) external onlyOwner {
        require(_projectAddress != address(0), 'Enter address');
		require(_charityAddress != address(0), 'Enter address');
		require(_founder1Address != address(0), 'Enter address');
		require(_founder2Address != address(0), 'Enter address');
        projectAddress = _projectAddress;
		charityAddress = _charityAddress;
		founder1Address = _founder1Address;
		founder2Address = _founder2Address;
    }

    function setOperatorAddress(
		address _operatorAddress
    ) external onlyOwner {
		require(_operatorAddress != address(0), 'Enter address');
		operatorAddress = _operatorAddress;
    }

	function recoverWrongTokens(address _tokenAddress, uint256 _tokenAmount) external onlyOwner {
		IERC20(_tokenAddress).transfer(address(msg.sender), _tokenAmount);
	}

	function getWinnersByPot(uint8 potNumber) external view returns (address[] memory) {
		return _winnerByPot[potNumber];
	}

	/***********************************************************
	********************* PUBLIC FUNCTIONS *********************
	***********************************************************/
	function calculateTotalPrice(uint32 _amount, bool _useTrpz) public view returns (uint256) {
		uint256 totalPrice = ticketPrice * _amount;
		uint256 nftBalance = IERC721(nftContractAddress).balanceOf(msg.sender);
		uint256 newDiscountRate = 0;
		if (_useTrpz) {
			newDiscountRate = newDiscountRate + discountRate;
		}
		if (nftBalance > 0) {
			newDiscountRate = newDiscountRate + nftDiscountRate;
		}
		totalPrice = totalPrice * (1000 - newDiscountRate) / 1000;
		return totalPrice;
	}

	/***********************************************************
	******************** INTERNAL FUNCTIONS ********************
	***********************************************************/
	function _setTopWinner(uint32 winningTicketId) internal {
		address winner = tickets[winningTicketId];
		require(winner != address(0), 'Invalid Ticket');
		_lastTopWinners[_sp] = winner;
		_sp = (_sp + 1) % 5;
	}

	function _chooseWinner(uint32 winningTicketId, uint256 winningPrize, uint8 pot) internal {
		address user = tickets[winningTicketId];
		require(user != address(0), 'Invalid Ticket');
		_rewardsByOwner[user] = _rewardsByOwner[user] + winningPrize;
		_winnerByPot[pot].push(user);
		if (winningPrize > topWinning) {
			topWinning = winningPrize;
			topWinner = user;
		}

		if (_lastWinningPot[user] > pot || _lastWinningPot[user] == 0)
			_lastWinningPot[user] = pot;
	}

	/**
	* @notice Check if an address is a contract
	*/
	function _isContract(address _addr) internal view returns (bool) {
		uint256 size;
		assembly {
			size := extcodesize(_addr)
		}
		return size > 0;
	}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_discountToken","type":"address"},{"internalType":"contract IWitnetRandomness","name":"_witnetRandomness","type":"address"},{"internalType":"address","name":"_charity","type":"address"},{"internalType":"address","name":"_project","type":"address"},{"internalType":"address","name":"_founder1","type":"address"},{"internalType":"address","name":"_founder2","type":"address"},{"internalType":"address","name":"_founder3","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"inputs":[],"name":"addFund","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"amountCollected","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint32","name":"_amount","type":"uint32"}],"name":"buyDiscountTickets","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint32","name":"_amount","type":"uint32"}],"name":"buyTickets","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint32","name":"_amount","type":"uint32"},{"internalType":"bool","name":"_useTrpz","type":"bool"}],"name":"calculateTotalPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"charityAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"claimRewards","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"closeLottery","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"currentTicketId","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"declareWinner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"discountRate","outputs":[{"internalType":"uint16","name":"","type":"uint16"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"discountToken","outputs":[{"internalType":"contract TRPZToken","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"discountTokenPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"endTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_extraPeriod","type":"uint256"}],"name":"extendPeriod","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"founder1Address","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"founder2Address","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"founder3Address","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getClaimableReward","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getLastWinners","outputs":[{"internalType":"address[5]","name":"","type":"address[5]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getLotteryInfo","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getUserTickets","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint8","name":"potNumber","type":"uint8"}],"name":"getWinnersByPot","outputs":[{"internalType":"address[]","name":"","type":"address[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"latestRandomizingBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lotteryId","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lotteryStatus","outputs":[{"internalType":"enum CroDraw.LotteryStatus","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxNumberTicketsPerBuy","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nftContractAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nftDiscountRate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"numOfTickesPerOwner","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"operatorAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"prizeRatio","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"projectAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddress","type":"address"},{"internalType":"uint256","name":"_tokenAmount","type":"uint256"}],"name":"recoverWrongTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_newAddress","type":"address"}],"name":"setDiscountNFTContractAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newRate","type":"uint256"}],"name":"setDiscountNFTRate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint16","name":"_newRate","type":"uint16"}],"name":"setDiscountRate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_token","type":"address"}],"name":"setDiscountToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_discountTokenPRice","type":"uint256"}],"name":"setDiscountTokenPrice","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint32","name":"_maxNumberTicketsPerBuy","type":"uint32"}],"name":"setMaxNumberTicketsPerBuy","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_operatorAddress","type":"address"}],"name":"setOperatorAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_ticketPrice","type":"uint256"}],"name":"setTicketPrice","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_projectAddress","type":"address"},{"internalType":"address","name":"_charityAddress","type":"address"},{"internalType":"address","name":"_founder1Address","type":"address"},{"internalType":"address","name":"_founder2Address","type":"address"}],"name":"setTreasuryAndCharityAddresses","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_period","type":"uint256"}],"name":"startLottery","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"ticketPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint32","name":"","type":"uint32"}],"name":"tickets","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"topWinner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"topWinning","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint8[]","name":"_prizeRatio","type":"uint8[]"}],"name":"updatePrizeRatio","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint8[]","name":"_winnerRatio","type":"uint8[]"}],"name":"updateWinnerRatio","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"winnerRatio","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"witnet","outputs":[{"internalType":"contract IWitnetRandomness","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60a06040526064600a60006101000a81548163ffffffff021916908363ffffffff1602179055506064600a60186101000a81548161ffff021916908361ffff1602179055506064600b556064600e556040518060600160405280600260ff168152602001600560ff168152602001600a60ff16815250600f90600362000087929190620003fc565b506040518060800160405280600a60ff168152602001600f60ff168152602001601460ff168152602001601960ff168152506010906004620000cb929190620004aa565b50348015620000d957600080fd5b5060405162006029380380620060298339818101604052810190620000ff919062000626565b6001600081905550620001276200011b6200032e60201b60201c565b6200033660201b60201c565b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff1603620001675762000166620006d9565b5b8573ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff168152505086600a60046101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555084600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555083600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050505050505062000708565b600033905090565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b82805482825590600052602060002090601f01602090048101928215620004975791602002820160005b838211156200046657835183826101000a81548160ff021916908360ff160217905550926020019260010160208160000104928301926001030262000426565b8015620004955782816101000a81549060ff021916905560010160208160000104928301926001030262000466565b505b509050620004a6919062000558565b5090565b82805482825590600052602060002090601f01602090048101928215620005455791602002820160005b838211156200051457835183826101000a81548160ff021916908360ff1602179055509260200192600101602081600001049283019260010302620004d4565b8015620005435782816101000a81549060ff021916905560010160208160000104928301926001030262000514565b505b50905062000554919062000558565b5090565b5b808211156200057357600081600090555060010162000559565b5090565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620005a9826200057c565b9050919050565b620005bb816200059c565b8114620005c757600080fd5b50565b600081519050620005db81620005b0565b92915050565b6000620005ee826200059c565b9050919050565b6200060081620005e1565b81146200060c57600080fd5b50565b6000815190506200062081620005f5565b92915050565b600080600080600080600060e0888a03121562000648576200064762000577565b5b6000620006588a828b01620005ca565b97505060206200066b8a828b016200060f565b96505060406200067e8a828b01620005ca565b9550506060620006918a828b01620005ca565b9450506080620006a48a828b01620005ca565b93505060a0620006b78a828b01620005ca565b92505060c0620006ca8a828b01620005ca565b91505092959891949750929550565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052600160045260246000fd5b6080516158e26200074760003960008181610e6d01528181610fee01528181611247015281816120560152818161231a01526123fb01526158e26000f3fe6080604052600436106103545760003560e01c80636fd09816116101c6578063b1fa4176116100f7578063ea61226c11610095578063fa53dacb1161006f578063fa53dacb14610bbe578063fb84d06914610be7578063fc6bb19c14610c10578063ffd4b4cb14610c395761035b565b8063ea61226c14610b41578063f2fde38b14610b6c578063f47d396814610b955761035b565b8063c6bec93a116100d1578063c6bec93a14610a85578063d1cbf37514610aae578063e580f47b14610aeb578063e6c0e6d514610b165761035b565b8063b1fa4176146109e0578063b49508b514610a0b578063c592598314610a485761035b565b806399e13b0711610164578063a49207fa1161013e578063a49207fa14610922578063aae282e11461095f578063ad99854b1461098a578063afcf2fc4146109b55761035b565b806399e13b07146108b05780639bff0c35146108db578063a2f09dfa146109185761035b565b80637e52ff6e116101a05780637e52ff6e146108065780638da5cb5b1461082f5780639028353a1461085a57806395690936146108855761035b565b80636fd09816146107c9578063715018a6146107d357806377814890146107ea5761035b565b8063332f7acf116102a057806346d1d21a1161023e5780635ff329af116102185780635ff329af1461070a578063686465b8146107485780636b9194be146107735780636e14f95f1461079e5761035b565b806346d1d21a1461068b57806357d6a974146106b65780635b984526146106df5761035b565b80633cf96af11161027a5780633cf96af1146105f05780633f138d4b1461061b578063430eafca14610644578063444132be1461066f5761035b565b8063332f7acf14610585578063372500ab146105b0578063372d96fe146105c75761035b565b8063159816501161030d57806328fe9a7f116102e757806328fe9a7f146104dd5780632f1d5a60146105085780633197cbb614610531578063327daf971461055c5761035b565b8063159816501461046257806316f0cd881461048b57806325406480146104b45761035b565b80630484a22f146103605780630d683dd91461039d578063101c5ce9146103c85780631209b1f6146103f5578063127effb21461042057806314034bd21461044b5761035b565b3661035b57005b600080fd5b34801561036c57600080fd5b5061038760048036038101906103829190613eeb565b610c76565b6040516103949190613f31565b60405180910390f35b3480156103a957600080fd5b506103b2610ce8565b6040516103bf9190613fc3565b60405180910390f35b3480156103d457600080fd5b506103dd610cfb565b6040516103ec93929190613fde565b60405180910390f35b34801561040157600080fd5b5061040a610d2d565b6040516104179190613f31565b60405180910390f35b34801561042c57600080fd5b50610435610d33565b6040516104429190614024565b60405180910390f35b34801561045757600080fd5b50610460610d59565b005b34801561046e57600080fd5b506104896004803603810190610484919061406b565b6115b9565b005b34801561049757600080fd5b506104b260048036038101906104ad919061422a565b6115cb565b005b3480156104c057600080fd5b506104db60048036038101906104d6919061406b565b6116b9565b005b3480156104e957600080fd5b506104f2611760565b6040516104ff9190614024565b60405180910390f35b34801561051457600080fd5b5061052f600480360381019061052a9190613eeb565b611786565b005b34801561053d57600080fd5b50610546611841565b6040516105539190613f31565b60405180910390f35b34801561056857600080fd5b50610583600480360381019061057e91906142ad565b611847565b005b34801561059157600080fd5b5061059a61186f565b6040516105a79190613f31565b60405180910390f35b3480156105bc57600080fd5b506105c5611875565b005b3480156105d357600080fd5b506105ee60048036038101906105e99190614316565b611af0565b005b3480156105fc57600080fd5b50610605611b65565b6040516106129190614024565b60405180910390f35b34801561062757600080fd5b50610642600480360381019061063d9190614343565b611b8b565b005b34801561065057600080fd5b50610659611c16565b6040516106669190613f31565b60405180910390f35b61068960048036038101906106849190614316565b611c1c565b005b34801561069757600080fd5b506106a0612054565b6040516106ad91906143e2565b60405180910390f35b3480156106c257600080fd5b506106dd60048036038101906106d89190613eeb565b612078565b005b3480156106eb57600080fd5b506106f46120c4565b6040516107019190614024565b60405180910390f35b34801561071657600080fd5b50610731600480360381019061072c9190613eeb565b6120ea565b60405161073f92919061440c565b60405180910390f35b34801561075457600080fd5b5061075d612183565b60405161076a9190614444565b60405180910390f35b34801561077f57600080fd5b50610788612199565b6040516107959190614024565b60405180910390f35b3480156107aa57600080fd5b506107b36121bf565b6040516107c09190613f31565b60405180910390f35b6107d16121c5565b005b3480156107df57600080fd5b506107e8612517565b005b61080460048036038101906107ff9190614316565b61252b565b005b34801561081257600080fd5b5061082d6004803603810190610828919061422a565b612b59565b005b34801561083b57600080fd5b50610844612c47565b6040516108519190614024565b60405180910390f35b34801561086657600080fd5b5061086f612c71565b60405161087c9190614024565b60405180910390f35b34801561089157600080fd5b5061089a612c97565b6040516108a7919061450a565b60405180910390f35b3480156108bc57600080fd5b506108c5612d99565b6040516108d29190613f31565b60405180910390f35b3480156108e757600080fd5b5061090260048036038101906108fd919061406b565b612d9f565b60405161090f9190614525565b60405180910390f35b610920612dd3565b005b34801561092e57600080fd5b5061094960048036038101906109449190614578565b612eef565b6040516109569190613f31565b60405180910390f35b34801561096b57600080fd5b50610974613021565b6040516109819190614024565b60405180910390f35b34801561099657600080fd5b5061099f613047565b6040516109ac9190614444565b60405180910390f35b3480156109c157600080fd5b506109ca61305d565b6040516109d79190614024565b60405180910390f35b3480156109ec57600080fd5b506109f5613083565b604051610a029190613f31565b60405180910390f35b348015610a1757600080fd5b50610a326004803603810190610a2d919061406b565b613089565b604051610a3f9190614525565b60405180910390f35b348015610a5457600080fd5b50610a6f6004803603810190610a6a91906145b8565b6130bd565b604051610a7c919061467c565b60405180910390f35b348015610a9157600080fd5b50610aac6004803603810190610aa7919061406b565b613164565b005b348015610aba57600080fd5b50610ad56004803603810190610ad09190614343565b6132d4565b604051610ae29190614444565b60405180910390f35b348015610af757600080fd5b50610b00613306565b604051610b0d9190613f31565b60405180910390f35b348015610b2257600080fd5b50610b2b61330c565b604051610b3891906146ad565b60405180910390f35b348015610b4d57600080fd5b50610b56613320565b604051610b6391906146e9565b60405180910390f35b348015610b7857600080fd5b50610b936004803603810190610b8e9190613eeb565b613346565b005b348015610ba157600080fd5b50610bbc6004803603810190610bb7919061406b565b6133c9565b005b348015610bca57600080fd5b50610be56004803603810190610be09190614704565b6133db565b005b348015610bf357600080fd5b50610c0e6004803603810190610c099190613eeb565b6136a9565b005b348015610c1c57600080fd5b50610c376004803603810190610c32919061406b565b6136f5565b005b348015610c4557600080fd5b50610c606004803603810190610c5b9190614316565b613707565b604051610c6d9190614024565b60405180910390f35b6000601360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000601754815260200190815260200160002060009054906101000a900463ffffffff1663ffffffff169050919050565b601160009054906101000a900460ff1681565b6000806000600854600760149054906101000a900463ffffffff166009548163ffffffff169150925092509250909192565b60095481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b610d6161373a565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610df1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610de8906147c8565b60405180910390fd5b60026003811115610e0557610e04613f4c565b5b601160009054906101000a900460ff166003811115610e2757610e26613f4c565b5b14610e67576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e5e90614834565b60405180910390fd5b600115157f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16639bc86fec6018546040518263ffffffff1660e01b8152600401610ec69190613f31565b602060405180830381865afa158015610ee3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f079190614869565b151514610f49576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f40906148e2565b60405180910390fd5b6000600190505b60048160ff1611610f9157601660008260ff1660ff1681526020019081526020016000206000610f809190613d72565b80610f8a90614931565b9050610f50565b6000601160006101000a81548160ff02191690836003811115610fb757610fb6613f4c565b5b02179055506000600760149054906101000a900463ffffffff1663ffffffff1603610fe257506115af565b600080600854905060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166324cbbfc1600760149054906101000a900463ffffffff16856018546040518463ffffffff1660e01b815260040161105d9392919061495a565b602060405180830381865afa15801561107a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061109e91906149a6565b9050826110aa906149d3565b92506000606460106000815481106110c5576110c4614a1b565b5b90600052602060002090602091828204019190069054906101000a900460ff1660ff166008546110f59190614a4a565b6110ff9190614abb565b905061110d82826001613789565b61111682613aaa565b80836111229190614aec565b925060008095505b60038660ff16101561133f576064600f8760ff168154811061114f5761114e614a1b565b5b90600052602060002090602091828204019190069054906101000a900460ff1660ff166001600760149054906101000a900463ffffffff166111919190614b20565b61119b9190614b58565b6111a59190614b95565b63ffffffff169050600081111561132e5780606460106001896111c89190614bc6565b60ff16815481106111dc576111db614a1b565b5b90600052602060002090602091828204019190069054906101000a900460ff1660ff1660085461120c9190614a4a565b6112169190614abb565b6112209190614abb565b9150808261122e9190614a4a565b846112399190614aec565b93505b600081111561132d577f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166324cbbfc1600760149054906101000a900463ffffffff16876018546040518463ffffffff1660e01b81526004016112b69392919061495a565b602060405180830381865afa1580156112d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f791906149a6565b925084611303906149d3565b945061131c83836002896113179190614bc6565b613789565b8061132690614bfb565b905061123c565b5b8561133890614931565b955061112a565b600c8461134c9190614abb565b9150600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f193505050501580156113b6573d6000803e3d6000fd5b50600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561141f573d6000803e3d6000fd5b50600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f19350505050158015611488573d6000803e3d6000fd5b506003826114969190614a4a565b846114a19190614aec565b93506003846114b09190614abb565b9150600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561151a573d6000803e3d6000fd5b5081846115279190614aec565b9350600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc859081150290604051600060405180830381858888f19350505050158015611591573d6000803e3d6000fd5b506017600081546115a1906149d3565b919050819055505050505050505b6115b7613c09565b565b6115c1613c13565b8060098190555050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461165b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611652906147c8565b60405180910390fd5b600381511461169f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169690614c70565b60405180910390fd5b80600f90805190602001906116b5929190613d93565b5050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611749576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611740906147c8565b60405180910390fd5b80600c546117579190614c90565b600c8190555050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61178e613c13565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036117fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117f490614d10565b60405180910390fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600c5481565b61184f613c13565b80600a60186101000a81548161ffff021916908361ffff16021790555050565b60085481565b61187e33613c91565b156118be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118b590614d7c565b60405180910390fd5b3273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461192c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161192390614de8565b60405180910390fd5b61193461373a565b60003390506000601460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054116119bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119b290614e54565b60405180910390fd5b6000601460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508173ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611a45573d6000803e3d6000fd5b506000601460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000601560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908360ff1602179055505050611aee613c09565b565b611af8613c13565b60008163ffffffff1603611b41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b3890614ec0565b60405180910390fd5b80600a60006101000a81548163ffffffff021916908363ffffffff16021790555050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611b93613c13565b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401611bce929190614ee0565b6020604051808303816000875af1158015611bed573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611c119190614869565b505050565b60195481565b611c2533613c91565b15611c65576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c5c90614d7c565b60405180910390fd5b3273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611cd3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cca90614de8565b60405180910390fd5b611cdb61373a565b600060095403611d20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d1790614f55565b60405180910390fd5b60008163ffffffff1603611d69576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d6090614fc1565b60405180910390fd5b600a60009054906101000a900463ffffffff1663ffffffff168163ffffffff161115611dca576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611dc19061502d565b60405180910390fd5b60016003811115611dde57611ddd613f4c565b5b601160009054906101000a900460ff166003811115611e0057611dff613f4c565b5b14611e40576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e3790615099565b60405180910390fd5b600c544210611e84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e7b90615105565b60405180910390fd5b6000611e91826000612eef565b905080341015611ed6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ecd90615171565b60405180910390fd5b80600854611ee49190614c90565b60088190555060005b8263ffffffff16811015611fb8573360126000600760149054906101000a900463ffffffff1663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506007601481819054906101000a900463ffffffff16611f8990615191565b91906101000a81548163ffffffff021916908363ffffffff16021790555080611fb1906149d3565b9050611eed565b5081601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000601754815260200190815260200160002060008282829054906101000a900463ffffffff1661202a91906151bd565b92506101000a81548163ffffffff021916908363ffffffff16021790555050612051613c09565b50565b7f000000000000000000000000000000000000000000000000000000000000000081565b612080613c13565b80600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080601460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054601560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1691509150915091565b600760149054906101000a900463ffffffff1681565b601a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600e5481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612255576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161224c906147c8565b60405180910390fd5b6001600381111561226957612268613f4c565b5b601160009054906101000a900460ff16600381111561228b5761228a613f4c565b5b146122cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122c290615241565b60405180910390fd5b600c54421161230f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612306906152ad565b60405180910390fd5b4360188190555060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663a60ee2683a6040518263ffffffff1660e01b81526004016123719190613f31565b602060405180830381865afa15801561238e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906123b291906152e2565b9050803410156123f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123ee9061535b565b60405180910390fd5b60007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663699b328a346040518263ffffffff1660e01b815260040160206040518083038185885af1158015612466573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061248b91906152e2565b9050348110156124e8573373ffffffffffffffffffffffffffffffffffffffff166108fc82346124bb9190614aec565b9081150290604051600060405180830381858888f193505050501580156124e6573d6000803e3d6000fd5b505b6002601160006101000a81548160ff0219169083600381111561250e5761250d613f4c565b5b02179055505050565b61251f613c13565b6125296000613ca4565b565b61253433613c91565b15612574576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161256b90614d7c565b60405180910390fd5b3273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146125e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016125d990614de8565b60405180910390fd5b6125ea61373a565b60006009540361262f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161262690614f55565b60405180910390fd5b60008163ffffffff1603612678576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161266f90614fc1565b60405180910390fd5b600a60009054906101000a900463ffffffff1663ffffffff168163ffffffff1611156126d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016126d09061502d565b60405180910390fd5b600160038111156126ed576126ec613f4c565b5b601160009054906101000a900460ff16600381111561270f5761270e613f4c565b5b1461274f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161274690615099565b60405180910390fd5b600c544210612793576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161278a90615105565b60405180910390fd5b6000600a60049054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663313ce5676040518163ffffffff1660e01b8152600401602060405180830381865afa158015612802573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906128269190615390565b905060008263ffffffff1682600a61283e91906154f0565b600b5461284b9190614a4a565b6128559190614a4a565b9050600a60049054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b81526004016128b69392919061553b565b6020604051808303816000875af11580156128d5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906128f99190614869565b50600a60049054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342966c68826040518263ffffffff1660e01b81526004016129559190613f31565b600060405180830381600087803b15801561296f57600080fd5b505af1158015612983573d6000803e3d6000fd5b505050506000612994846001612eef565b9050803410156129d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016129d090615171565b60405180910390fd5b806008546129e79190614c90565b60088190555060005b8463ffffffff16811015612abb573360126000600760149054906101000a900463ffffffff1663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506007601481819054906101000a900463ffffffff16612a8c90615191565b91906101000a81548163ffffffff021916908363ffffffff16021790555080612ab4906149d3565b90506129f0565b5083601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000601754815260200190815260200160002060008282829054906101000a900463ffffffff16612b2d91906151bd565b92506101000a81548163ffffffff021916908363ffffffff160217905550505050612b56613c09565b50565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612be9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612be0906147c8565b60405180910390fd5b6004815114612c2d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612c24906155be565b60405180910390fd5b8060109080519060200190612c43929190613d93565b5050565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b612c9f613e3a565b612ca7613e3a565b60005b60058160ff161015612d9157600060056001836005602060009054906101000a900460ff16612cd99190614bc6565b612ce391906155de565b612ced91906155de565b612cf79190615613565b9050601b8160ff1660058110612d1057612d0f614a1b565b5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16838360ff1660058110612d4857612d47614a1b565b5b602002019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250505080612d8a90614931565b9050612caa565b508091505090565b600b5481565b600f8181548110612daf57600080fd5b9060005260206000209060209182820401919006915054906101000a900460ff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612e63576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612e5a906147c8565b60405180910390fd5b60016003811115612e7757612e76613f4c565b5b601160009054906101000a900460ff166003811115612e9957612e98613f4c565b5b14612ed9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612ed090615241565b60405180910390fd5b34600854612ee79190614c90565b600881905550565b6000808363ffffffff16600954612f069190614a4a565b90506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401612f659190614024565b602060405180830381865afa158015612f82573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612fa691906152e2565b905060008415612fd357600a60189054906101000a900461ffff1661ffff1681612fd09190614c90565b90505b6000821115612fed57600e5481612fea9190614c90565b90505b6103e8816103e8612ffe9190614aec565b846130099190614a4a565b6130139190614abb565b925082935050505092915050565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a60009054906101000a900463ffffffff1681565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60185481565b6010818154811061309957600080fd5b9060005260206000209060209182820401919006915054906101000a900460ff1681565b6060601660008360ff1660ff16815260200190815260200160002080548060200260200160405190810160405280929190818152602001828054801561315857602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161310e575b50505050509050919050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146131f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016131eb906147c8565b60405180910390fd5b6000600381111561320857613207613f4c565b5b601160009054906101000a900460ff16600381111561322a57613229613f4c565b5b1461326a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613261906156b6565b60405180910390fd5b6001601160006101000a81548160ff021916908360038111156132905761328f613f4c565b5b021790555060006008819055506000600760146101000a81548163ffffffff021916908363ffffffff16021790555080426132cb9190614c90565b600c8190555050565b60136020528160005260406000206020528060005260406000206000915091509054906101000a900463ffffffff1681565b60175481565b600a60189054906101000a900461ffff1681565b600a60049054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61334e613c13565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036133bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016133b490615748565b60405180910390fd5b6133c681613ca4565b50565b6133d1613c13565b80600b8190555050565b6133e3613c13565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603613452576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161344990614d10565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036134c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016134b890614d10565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603613530576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161352790614d10565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361359f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161359690614d10565b60405180910390fd5b83600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6136b1613c13565b80600a60046101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6136fd613c13565b80600e8190555050565b60126020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60026000540361377f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613776906157b4565b60405180910390fd5b6002600081905550565b6000601260008563ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361383c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161383390615820565b60405180910390fd5b82601460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546138879190614c90565b601460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550601660008360ff1660ff168152602001908152602001600020819080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550601954831115613997578260198190555080601a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b8160ff16601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff161180613a4657506000601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff16145b15613aa45781601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908360ff1602179055505b50505050565b6000601260008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603613b5d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613b5490615820565b60405180910390fd5b80601b602060009054906101000a900460ff1660ff1660058110613b8457613b83614a1b565b5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060056001602060009054906101000a900460ff16613be19190614bc6565b613beb9190615613565b602060006101000a81548160ff021916908360ff1602179055505050565b6001600081905550565b613c1b613d6a565b73ffffffffffffffffffffffffffffffffffffffff16613c39612c47565b73ffffffffffffffffffffffffffffffffffffffff1614613c8f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613c869061588c565b60405180910390fd5b565b600080823b905060008111915050919050565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600033905090565b5080546000825590600052602060002090810190613d909190613e5c565b50565b82805482825590600052602060002090601f01602090048101928215613e295791602002820160005b83821115613dfa57835183826101000a81548160ff021916908360ff1602179055509260200192600101602081600001049283019260010302613dbc565b8015613e275782816101000a81549060ff0219169055600101602081600001049283019260010302613dfa565b505b509050613e369190613e5c565b5090565b6040518060a00160405280600590602082028036833780820191505090505090565b5b80821115613e75576000816000905550600101613e5d565b5090565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000613eb882613e8d565b9050919050565b613ec881613ead565b8114613ed357600080fd5b50565b600081359050613ee581613ebf565b92915050565b600060208284031215613f0157613f00613e83565b5b6000613f0f84828501613ed6565b91505092915050565b6000819050919050565b613f2b81613f18565b82525050565b6000602082019050613f466000830184613f22565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b60048110613f8c57613f8b613f4c565b5b50565b6000819050613f9d82613f7b565b919050565b6000613fad82613f8f565b9050919050565b613fbd81613fa2565b82525050565b6000602082019050613fd86000830184613fb4565b92915050565b6000606082019050613ff36000830186613f22565b6140006020830185613f22565b61400d6040830184613f22565b949350505050565b61401e81613ead565b82525050565b60006020820190506140396000830184614015565b92915050565b61404881613f18565b811461405357600080fd5b50565b6000813590506140658161403f565b92915050565b60006020828403121561408157614080613e83565b5b600061408f84828501614056565b91505092915050565b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6140e68261409d565b810181811067ffffffffffffffff82111715614105576141046140ae565b5b80604052505050565b6000614118613e79565b905061412482826140dd565b919050565b600067ffffffffffffffff821115614144576141436140ae565b5b602082029050602081019050919050565b600080fd5b600060ff82169050919050565b6141708161415a565b811461417b57600080fd5b50565b60008135905061418d81614167565b92915050565b60006141a66141a184614129565b61410e565b905080838252602082019050602084028301858111156141c9576141c8614155565b5b835b818110156141f257806141de888261417e565b8452602084019350506020810190506141cb565b5050509392505050565b600082601f83011261421157614210614098565b5b8135614221848260208601614193565b91505092915050565b6000602082840312156142405761423f613e83565b5b600082013567ffffffffffffffff81111561425e5761425d613e88565b5b61426a848285016141fc565b91505092915050565b600061ffff82169050919050565b61428a81614273565b811461429557600080fd5b50565b6000813590506142a781614281565b92915050565b6000602082840312156142c3576142c2613e83565b5b60006142d184828501614298565b91505092915050565b600063ffffffff82169050919050565b6142f3816142da565b81146142fe57600080fd5b50565b600081359050614310816142ea565b92915050565b60006020828403121561432c5761432b613e83565b5b600061433a84828501614301565b91505092915050565b6000806040838503121561435a57614359613e83565b5b600061436885828601613ed6565b925050602061437985828601614056565b9150509250929050565b6000819050919050565b60006143a86143a361439e84613e8d565b614383565b613e8d565b9050919050565b60006143ba8261438d565b9050919050565b60006143cc826143af565b9050919050565b6143dc816143c1565b82525050565b60006020820190506143f760008301846143d3565b92915050565b6144068161415a565b82525050565b60006040820190506144216000830185613f22565b61442e60208301846143fd565b9392505050565b61443e816142da565b82525050565b60006020820190506144596000830184614435565b92915050565b600060059050919050565b600081905092915050565b6000819050919050565b61448881613ead565b82525050565b600061449a838361447f565b60208301905092915050565b6000602082019050919050565b6144bc8161445f565b6144c6818461446a565b92506144d182614475565b8060005b838110156145025781516144e9878261448e565b96506144f4836144a6565b9250506001810190506144d5565b505050505050565b600060a08201905061451f60008301846144b3565b92915050565b600060208201905061453a60008301846143fd565b92915050565b60008115159050919050565b61455581614540565b811461456057600080fd5b50565b6000813590506145728161454c565b92915050565b6000806040838503121561458f5761458e613e83565b5b600061459d85828601614301565b92505060206145ae85828601614563565b9150509250929050565b6000602082840312156145ce576145cd613e83565b5b60006145dc8482850161417e565b91505092915050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b6000602082019050919050565b6000614629826145e5565b61463381856145f0565b935061463e83614601565b8060005b8381101561466f578151614656888261448e565b975061466183614611565b925050600181019050614642565b5085935050505092915050565b60006020820190508181036000830152614696818461461e565b905092915050565b6146a781614273565b82525050565b60006020820190506146c2600083018461469e565b92915050565b60006146d3826143af565b9050919050565b6146e3816146c8565b82525050565b60006020820190506146fe60008301846146da565b92915050565b6000806000806080858703121561471e5761471d613e83565b5b600061472c87828801613ed6565b945050602061473d87828801613ed6565b935050604061474e87828801613ed6565b925050606061475f87828801613ed6565b91505092959194509250565b600082825260208201905092915050565b7f4e6f7420746865206f70657261746f7200000000000000000000000000000000600082015250565b60006147b260108361476b565b91506147bd8261477c565b602082019050919050565b600060208201905081810360008301526147e1816147a5565b9050919050565b7f4c6f747465727920686173206e6f742066696e69736865640000000000000000600082015250565b600061481e60188361476b565b9150614829826147e8565b602082019050919050565b6000602082019050818103600083015261484d81614811565b9050919050565b6000815190506148638161454c565b92915050565b60006020828403121561487f5761487e613e83565b5b600061488d84828501614854565b91505092915050565b7f4e6f742052616e646f6d697a6564000000000000000000000000000000000000600082015250565b60006148cc600e8361476b565b91506148d782614896565b602082019050919050565b600060208201905081810360008301526148fb816148bf565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061493c8261415a565b915060ff820361494f5761494e614902565b5b600182019050919050565b600060608201905061496f6000830186614435565b61497c6020830185613f22565b6149896040830184613f22565b949350505050565b6000815190506149a0816142ea565b92915050565b6000602082840312156149bc576149bb613e83565b5b60006149ca84828501614991565b91505092915050565b60006149de82613f18565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203614a1057614a0f614902565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6000614a5582613f18565b9150614a6083613f18565b9250828202614a6e81613f18565b91508282048414831517614a8557614a84614902565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000614ac682613f18565b9150614ad183613f18565b925082614ae157614ae0614a8c565b5b828204905092915050565b6000614af782613f18565b9150614b0283613f18565b9250828203905081811115614b1a57614b19614902565b5b92915050565b6000614b2b826142da565b9150614b36836142da565b9250828203905063ffffffff811115614b5257614b51614902565b5b92915050565b6000614b63826142da565b9150614b6e836142da565b9250828202614b7c816142da565b9150808214614b8e57614b8d614902565b5b5092915050565b6000614ba0826142da565b9150614bab836142da565b925082614bbb57614bba614a8c565b5b828204905092915050565b6000614bd18261415a565b9150614bdc8361415a565b9250828201905060ff811115614bf557614bf4614902565b5b92915050565b6000614c0682613f18565b915060008203614c1957614c18614902565b5b600182039050919050565b7f496e76616c69642077696e6e657220726174696f000000000000000000000000600082015250565b6000614c5a60148361476b565b9150614c6582614c24565b602082019050919050565b60006020820190508181036000830152614c8981614c4d565b9050919050565b6000614c9b82613f18565b9150614ca683613f18565b9250828201905080821115614cbe57614cbd614902565b5b92915050565b7f456e746572206164647265737300000000000000000000000000000000000000600082015250565b6000614cfa600d8361476b565b9150614d0582614cc4565b602082019050919050565b60006020820190508181036000830152614d2981614ced565b9050919050565b7f436f6e7472616374206973206e6f7420616c6c6f776564000000000000000000600082015250565b6000614d6660178361476b565b9150614d7182614d30565b602082019050919050565b60006020820190508181036000830152614d9581614d59565b9050919050565b7f50726f787920636f6e7472616374206973206e6f7420616c6c6f776564000000600082015250565b6000614dd2601d8361476b565b9150614ddd82614d9c565b602082019050919050565b60006020820190508181036000830152614e0181614dc5565b9050919050565b7f4e6f207265776172647320746f20636c61696d00000000000000000000000000600082015250565b6000614e3e60138361476b565b9150614e4982614e08565b602082019050919050565b60006020820190508181036000830152614e6d81614e31565b9050919050565b7f4d757374206265203e2030000000000000000000000000000000000000000000600082015250565b6000614eaa600b8361476b565b9150614eb582614e74565b602082019050919050565b60006020820190508181036000830152614ed981614e9d565b9050919050565b6000604082019050614ef56000830185614015565b614f026020830184613f22565b9392505050565b7f5072696365206e6f742073657400000000000000000000000000000000000000600082015250565b6000614f3f600d8361476b565b9150614f4a82614f09565b602082019050919050565b60006020820190508181036000830152614f6e81614f32565b9050919050565b7f456e7465722063686f73656e20616d6f756e7420746f20627579000000000000600082015250565b6000614fab601a8361476b565b9150614fb682614f75565b602082019050919050565b60006020820190508181036000830152614fda81614f9e565b9050919050565b7f546f6f206d616e79207469636b65747300000000000000000000000000000000600082015250565b600061501760108361476b565b915061502282614fe1565b602082019050919050565b600060208201905081810360008301526150468161500a565b9050919050565b7f4c6f7474657279206973206e6f74206f70656e20796574000000000000000000600082015250565b600061508360178361476b565b915061508e8261504d565b602082019050919050565b600060208201905081810360008301526150b281615076565b9050919050565b7f4c6f74746572792068617320656e646564000000000000000000000000000000600082015250565b60006150ef60118361476b565b91506150fa826150b9565b602082019050919050565b6000602082019050818103600083015261511e816150e2565b9050919050565b7f496e73756666696369656e742066756e64730000000000000000000000000000600082015250565b600061515b60128361476b565b915061516682615125565b602082019050919050565b6000602082019050818103600083015261518a8161514e565b9050919050565b600061519c826142da565b915063ffffffff82036151b2576151b1614902565b5b600182019050919050565b60006151c8826142da565b91506151d3836142da565b9250828201905063ffffffff8111156151ef576151ee614902565b5b92915050565b7f4c6f7474657279206973206e6f74206f70656e00000000000000000000000000600082015250565b600061522b60138361476b565b9150615236826151f5565b602082019050919050565b6000602082019050818103600083015261525a8161521e565b9050919050565b7f4c6f7474657279206973206f6e676f696e670000000000000000000000000000600082015250565b600061529760128361476b565b91506152a282615261565b602082019050919050565b600060208201905081810360008301526152c68161528a565b9050919050565b6000815190506152dc8161403f565b92915050565b6000602082840312156152f8576152f7613e83565b5b6000615306848285016152cd565b91505092915050565b7f6e6f7420656e6f7567682076616c756500000000000000000000000000000000600082015250565b600061534560108361476b565b91506153508261530f565b602082019050919050565b6000602082019050818103600083015261537481615338565b9050919050565b60008151905061538a81614167565b92915050565b6000602082840312156153a6576153a5613e83565b5b60006153b48482850161537b565b91505092915050565b60008160011c9050919050565b6000808291508390505b6001851115615414578086048111156153f0576153ef614902565b5b60018516156153ff5780820291505b808102905061540d856153bd565b94506153d4565b94509492505050565b60008261542d57600190506154e9565b8161543b57600090506154e9565b8160018114615451576002811461545b5761548a565b60019150506154e9565b60ff84111561546d5761546c614902565b5b8360020a91508482111561548457615483614902565b5b506154e9565b5060208310610133831016604e8410600b84101617156154bf5782820a9050838111156154ba576154b9614902565b5b6154e9565b6154cc84848460016153ca565b925090508184048111156154e3576154e2614902565b5b81810290505b9392505050565b60006154fb82613f18565b91506155068361415a565b92506155337fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461541d565b905092915050565b60006060820190506155506000830186614015565b61555d6020830185614015565b61556a6040830184613f22565b949350505050565b7f496e76616c6964207072697a6520726174696f00000000000000000000000000600082015250565b60006155a860138361476b565b91506155b382615572565b602082019050919050565b600060208201905081810360008301526155d78161559b565b9050919050565b60006155e98261415a565b91506155f48361415a565b9250828203905060ff81111561560d5761560c614902565b5b92915050565b600061561e8261415a565b91506156298361415a565b92508261563957615638614a8c565b5b828206905092915050565b7f4c617374204c6f747465727920686173206e6f742066696e697368656420796560008201527f7400000000000000000000000000000000000000000000000000000000000000602082015250565b60006156a060218361476b565b91506156ab82615644565b604082019050919050565b600060208201905081810360008301526156cf81615693565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061573260268361476b565b915061573d826156d6565b604082019050919050565b6000602082019050818103600083015261576181615725565b9050919050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00600082015250565b600061579e601f8361476b565b91506157a982615768565b602082019050919050565b600060208201905081810360008301526157cd81615791565b9050919050565b7f496e76616c6964205469636b6574000000000000000000000000000000000000600082015250565b600061580a600e8361476b565b9150615815826157d4565b602082019050919050565b60006020820190508181036000830152615839816157fd565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b600061587660208361476b565b915061588182615840565b602082019050919050565b600060208201905081810360008301526158a581615869565b905091905056fea2646970667358221220356f431cd4a5b86219545d9c710857cbd3541ed6587f6a3ac9d4f004dc5fece064736f6c63430008110033000000000000000000000000e6abe7e49129900f8c6b6c2fae51ed5573f4e3f00000000000000000000000003737be6fcff5b3b0f9dcc9a9ae1da56561d0d0d3000000000000000000000000bcb8ad2bf52d736b017debf5cee4b0a2c2d2b77f000000000000000000000000202ee965a0377ef0acd094526e765ac2fa434a440000000000000000000000005fe8d68c2f6097f39606b89801072fe40f744a32000000000000000000000000e2a49436206140a9a6a9ad6c1de339401ff2e2700000000000000000000000007d69dd2ed374e143ecff9142f19991fdc439327c

0x6080604052600436106103545760003560e01c80636fd09816116101c6578063b1fa4176116100f7578063ea61226c11610095578063fa53dacb1161006f578063fa53dacb14610bbe578063fb84d06914610be7578063fc6bb19c14610c10578063ffd4b4cb14610c395761035b565b8063ea61226c14610b41578063f2fde38b14610b6c578063f47d396814610b955761035b565b8063c6bec93a116100d1578063c6bec93a14610a85578063d1cbf37514610aae578063e580f47b14610aeb578063e6c0e6d514610b165761035b565b8063b1fa4176146109e0578063b49508b514610a0b578063c592598314610a485761035b565b806399e13b0711610164578063a49207fa1161013e578063a49207fa14610922578063aae282e11461095f578063ad99854b1461098a578063afcf2fc4146109b55761035b565b806399e13b07146108b05780639bff0c35146108db578063a2f09dfa146109185761035b565b80637e52ff6e116101a05780637e52ff6e146108065780638da5cb5b1461082f5780639028353a1461085a57806395690936146108855761035b565b80636fd09816146107c9578063715018a6146107d357806377814890146107ea5761035b565b8063332f7acf116102a057806346d1d21a1161023e5780635ff329af116102185780635ff329af1461070a578063686465b8146107485780636b9194be146107735780636e14f95f1461079e5761035b565b806346d1d21a1461068b57806357d6a974146106b65780635b984526146106df5761035b565b80633cf96af11161027a5780633cf96af1146105f05780633f138d4b1461061b578063430eafca14610644578063444132be1461066f5761035b565b8063332f7acf14610585578063372500ab146105b0578063372d96fe146105c75761035b565b8063159816501161030d57806328fe9a7f116102e757806328fe9a7f146104dd5780632f1d5a60146105085780633197cbb614610531578063327daf971461055c5761035b565b8063159816501461046257806316f0cd881461048b57806325406480146104b45761035b565b80630484a22f146103605780630d683dd91461039d578063101c5ce9146103c85780631209b1f6146103f5578063127effb21461042057806314034bd21461044b5761035b565b3661035b57005b600080fd5b34801561036c57600080fd5b5061038760048036038101906103829190613eeb565b610c76565b6040516103949190613f31565b60405180910390f35b3480156103a957600080fd5b506103b2610ce8565b6040516103bf9190613fc3565b60405180910390f35b3480156103d457600080fd5b506103dd610cfb565b6040516103ec93929190613fde565b60405180910390f35b34801561040157600080fd5b5061040a610d2d565b6040516104179190613f31565b60405180910390f35b34801561042c57600080fd5b50610435610d33565b6040516104429190614024565b60405180910390f35b34801561045757600080fd5b50610460610d59565b005b34801561046e57600080fd5b506104896004803603810190610484919061406b565b6115b9565b005b34801561049757600080fd5b506104b260048036038101906104ad919061422a565b6115cb565b005b3480156104c057600080fd5b506104db60048036038101906104d6919061406b565b6116b9565b005b3480156104e957600080fd5b506104f2611760565b6040516104ff9190614024565b60405180910390f35b34801561051457600080fd5b5061052f600480360381019061052a9190613eeb565b611786565b005b34801561053d57600080fd5b50610546611841565b6040516105539190613f31565b60405180910390f35b34801561056857600080fd5b50610583600480360381019061057e91906142ad565b611847565b005b34801561059157600080fd5b5061059a61186f565b6040516105a79190613f31565b60405180910390f35b3480156105bc57600080fd5b506105c5611875565b005b3480156105d357600080fd5b506105ee60048036038101906105e99190614316565b611af0565b005b3480156105fc57600080fd5b50610605611b65565b6040516106129190614024565b60405180910390f35b34801561062757600080fd5b50610642600480360381019061063d9190614343565b611b8b565b005b34801561065057600080fd5b50610659611c16565b6040516106669190613f31565b60405180910390f35b61068960048036038101906106849190614316565b611c1c565b005b34801561069757600080fd5b506106a0612054565b6040516106ad91906143e2565b60405180910390f35b3480156106c257600080fd5b506106dd60048036038101906106d89190613eeb565b612078565b005b3480156106eb57600080fd5b506106f46120c4565b6040516107019190614024565b60405180910390f35b34801561071657600080fd5b50610731600480360381019061072c9190613eeb565b6120ea565b60405161073f92919061440c565b60405180910390f35b34801561075457600080fd5b5061075d612183565b60405161076a9190614444565b60405180910390f35b34801561077f57600080fd5b50610788612199565b6040516107959190614024565b60405180910390f35b3480156107aa57600080fd5b506107b36121bf565b6040516107c09190613f31565b60405180910390f35b6107d16121c5565b005b3480156107df57600080fd5b506107e8612517565b005b61080460048036038101906107ff9190614316565b61252b565b005b34801561081257600080fd5b5061082d6004803603810190610828919061422a565b612b59565b005b34801561083b57600080fd5b50610844612c47565b6040516108519190614024565b60405180910390f35b34801561086657600080fd5b5061086f612c71565b60405161087c9190614024565b60405180910390f35b34801561089157600080fd5b5061089a612c97565b6040516108a7919061450a565b60405180910390f35b3480156108bc57600080fd5b506108c5612d99565b6040516108d29190613f31565b60405180910390f35b3480156108e757600080fd5b5061090260048036038101906108fd919061406b565b612d9f565b60405161090f9190614525565b60405180910390f35b610920612dd3565b005b34801561092e57600080fd5b5061094960048036038101906109449190614578565b612eef565b6040516109569190613f31565b60405180910390f35b34801561096b57600080fd5b50610974613021565b6040516109819190614024565b60405180910390f35b34801561099657600080fd5b5061099f613047565b6040516109ac9190614444565b60405180910390f35b3480156109c157600080fd5b506109ca61305d565b6040516109d79190614024565b60405180910390f35b3480156109ec57600080fd5b506109f5613083565b604051610a029190613f31565b60405180910390f35b348015610a1757600080fd5b50610a326004803603810190610a2d919061406b565b613089565b604051610a3f9190614525565b60405180910390f35b348015610a5457600080fd5b50610a6f6004803603810190610a6a91906145b8565b6130bd565b604051610a7c919061467c565b60405180910390f35b348015610a9157600080fd5b50610aac6004803603810190610aa7919061406b565b613164565b005b348015610aba57600080fd5b50610ad56004803603810190610ad09190614343565b6132d4565b604051610ae29190614444565b60405180910390f35b348015610af757600080fd5b50610b00613306565b604051610b0d9190613f31565b60405180910390f35b348015610b2257600080fd5b50610b2b61330c565b604051610b3891906146ad565b60405180910390f35b348015610b4d57600080fd5b50610b56613320565b604051610b6391906146e9565b60405180910390f35b348015610b7857600080fd5b50610b936004803603810190610b8e9190613eeb565b613346565b005b348015610ba157600080fd5b50610bbc6004803603810190610bb7919061406b565b6133c9565b005b348015610bca57600080fd5b50610be56004803603810190610be09190614704565b6133db565b005b348015610bf357600080fd5b50610c0e6004803603810190610c099190613eeb565b6136a9565b005b348015610c1c57600080fd5b50610c376004803603810190610c32919061406b565b6136f5565b005b348015610c4557600080fd5b50610c606004803603810190610c5b9190614316565b613707565b604051610c6d9190614024565b60405180910390f35b6000601360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000601754815260200190815260200160002060009054906101000a900463ffffffff1663ffffffff169050919050565b601160009054906101000a900460ff1681565b6000806000600854600760149054906101000a900463ffffffff166009548163ffffffff169150925092509250909192565b60095481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b610d6161373a565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610df1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610de8906147c8565b60405180910390fd5b60026003811115610e0557610e04613f4c565b5b601160009054906101000a900460ff166003811115610e2757610e26613f4c565b5b14610e67576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e5e90614834565b60405180910390fd5b600115157f0000000000000000000000003737be6fcff5b3b0f9dcc9a9ae1da56561d0d0d373ffffffffffffffffffffffffffffffffffffffff16639bc86fec6018546040518263ffffffff1660e01b8152600401610ec69190613f31565b602060405180830381865afa158015610ee3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f079190614869565b151514610f49576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f40906148e2565b60405180910390fd5b6000600190505b60048160ff1611610f9157601660008260ff1660ff1681526020019081526020016000206000610f809190613d72565b80610f8a90614931565b9050610f50565b6000601160006101000a81548160ff02191690836003811115610fb757610fb6613f4c565b5b02179055506000600760149054906101000a900463ffffffff1663ffffffff1603610fe257506115af565b600080600854905060007f0000000000000000000000003737be6fcff5b3b0f9dcc9a9ae1da56561d0d0d373ffffffffffffffffffffffffffffffffffffffff166324cbbfc1600760149054906101000a900463ffffffff16856018546040518463ffffffff1660e01b815260040161105d9392919061495a565b602060405180830381865afa15801561107a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061109e91906149a6565b9050826110aa906149d3565b92506000606460106000815481106110c5576110c4614a1b565b5b90600052602060002090602091828204019190069054906101000a900460ff1660ff166008546110f59190614a4a565b6110ff9190614abb565b905061110d82826001613789565b61111682613aaa565b80836111229190614aec565b925060008095505b60038660ff16101561133f576064600f8760ff168154811061114f5761114e614a1b565b5b90600052602060002090602091828204019190069054906101000a900460ff1660ff166001600760149054906101000a900463ffffffff166111919190614b20565b61119b9190614b58565b6111a59190614b95565b63ffffffff169050600081111561132e5780606460106001896111c89190614bc6565b60ff16815481106111dc576111db614a1b565b5b90600052602060002090602091828204019190069054906101000a900460ff1660ff1660085461120c9190614a4a565b6112169190614abb565b6112209190614abb565b9150808261122e9190614a4a565b846112399190614aec565b93505b600081111561132d577f0000000000000000000000003737be6fcff5b3b0f9dcc9a9ae1da56561d0d0d373ffffffffffffffffffffffffffffffffffffffff166324cbbfc1600760149054906101000a900463ffffffff16876018546040518463ffffffff1660e01b81526004016112b69392919061495a565b602060405180830381865afa1580156112d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f791906149a6565b925084611303906149d3565b945061131c83836002896113179190614bc6565b613789565b8061132690614bfb565b905061123c565b5b8561133890614931565b955061112a565b600c8461134c9190614abb565b9150600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f193505050501580156113b6573d6000803e3d6000fd5b50600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561141f573d6000803e3d6000fd5b50600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f19350505050158015611488573d6000803e3d6000fd5b506003826114969190614a4a565b846114a19190614aec565b93506003846114b09190614abb565b9150600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561151a573d6000803e3d6000fd5b5081846115279190614aec565b9350600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc859081150290604051600060405180830381858888f19350505050158015611591573d6000803e3d6000fd5b506017600081546115a1906149d3565b919050819055505050505050505b6115b7613c09565b565b6115c1613c13565b8060098190555050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461165b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611652906147c8565b60405180910390fd5b600381511461169f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169690614c70565b60405180910390fd5b80600f90805190602001906116b5929190613d93565b5050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611749576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611740906147c8565b60405180910390fd5b80600c546117579190614c90565b600c8190555050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61178e613c13565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036117fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117f490614d10565b60405180910390fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600c5481565b61184f613c13565b80600a60186101000a81548161ffff021916908361ffff16021790555050565b60085481565b61187e33613c91565b156118be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118b590614d7c565b60405180910390fd5b3273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461192c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161192390614de8565b60405180910390fd5b61193461373a565b60003390506000601460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054116119bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119b290614e54565b60405180910390fd5b6000601460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508173ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611a45573d6000803e3d6000fd5b506000601460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000601560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908360ff1602179055505050611aee613c09565b565b611af8613c13565b60008163ffffffff1603611b41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b3890614ec0565b60405180910390fd5b80600a60006101000a81548163ffffffff021916908363ffffffff16021790555050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611b93613c13565b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401611bce929190614ee0565b6020604051808303816000875af1158015611bed573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611c119190614869565b505050565b60195481565b611c2533613c91565b15611c65576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c5c90614d7c565b60405180910390fd5b3273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611cd3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cca90614de8565b60405180910390fd5b611cdb61373a565b600060095403611d20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d1790614f55565b60405180910390fd5b60008163ffffffff1603611d69576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d6090614fc1565b60405180910390fd5b600a60009054906101000a900463ffffffff1663ffffffff168163ffffffff161115611dca576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611dc19061502d565b60405180910390fd5b60016003811115611dde57611ddd613f4c565b5b601160009054906101000a900460ff166003811115611e0057611dff613f4c565b5b14611e40576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e3790615099565b60405180910390fd5b600c544210611e84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e7b90615105565b60405180910390fd5b6000611e91826000612eef565b905080341015611ed6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ecd90615171565b60405180910390fd5b80600854611ee49190614c90565b60088190555060005b8263ffffffff16811015611fb8573360126000600760149054906101000a900463ffffffff1663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506007601481819054906101000a900463ffffffff16611f8990615191565b91906101000a81548163ffffffff021916908363ffffffff16021790555080611fb1906149d3565b9050611eed565b5081601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000601754815260200190815260200160002060008282829054906101000a900463ffffffff1661202a91906151bd565b92506101000a81548163ffffffff021916908363ffffffff16021790555050612051613c09565b50565b7f0000000000000000000000003737be6fcff5b3b0f9dcc9a9ae1da56561d0d0d381565b612080613c13565b80600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080601460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054601560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1691509150915091565b600760149054906101000a900463ffffffff1681565b601a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600e5481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612255576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161224c906147c8565b60405180910390fd5b6001600381111561226957612268613f4c565b5b601160009054906101000a900460ff16600381111561228b5761228a613f4c565b5b146122cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122c290615241565b60405180910390fd5b600c54421161230f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612306906152ad565b60405180910390fd5b4360188190555060007f0000000000000000000000003737be6fcff5b3b0f9dcc9a9ae1da56561d0d0d373ffffffffffffffffffffffffffffffffffffffff1663a60ee2683a6040518263ffffffff1660e01b81526004016123719190613f31565b602060405180830381865afa15801561238e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906123b291906152e2565b9050803410156123f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123ee9061535b565b60405180910390fd5b60007f0000000000000000000000003737be6fcff5b3b0f9dcc9a9ae1da56561d0d0d373ffffffffffffffffffffffffffffffffffffffff1663699b328a346040518263ffffffff1660e01b815260040160206040518083038185885af1158015612466573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061248b91906152e2565b9050348110156124e8573373ffffffffffffffffffffffffffffffffffffffff166108fc82346124bb9190614aec565b9081150290604051600060405180830381858888f193505050501580156124e6573d6000803e3d6000fd5b505b6002601160006101000a81548160ff0219169083600381111561250e5761250d613f4c565b5b02179055505050565b61251f613c13565b6125296000613ca4565b565b61253433613c91565b15612574576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161256b90614d7c565b60405180910390fd5b3273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146125e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016125d990614de8565b60405180910390fd5b6125ea61373a565b60006009540361262f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161262690614f55565b60405180910390fd5b60008163ffffffff1603612678576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161266f90614fc1565b60405180910390fd5b600a60009054906101000a900463ffffffff1663ffffffff168163ffffffff1611156126d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016126d09061502d565b60405180910390fd5b600160038111156126ed576126ec613f4c565b5b601160009054906101000a900460ff16600381111561270f5761270e613f4c565b5b1461274f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161274690615099565b60405180910390fd5b600c544210612793576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161278a90615105565b60405180910390fd5b6000600a60049054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663313ce5676040518163ffffffff1660e01b8152600401602060405180830381865afa158015612802573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906128269190615390565b905060008263ffffffff1682600a61283e91906154f0565b600b5461284b9190614a4a565b6128559190614a4a565b9050600a60049054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b81526004016128b69392919061553b565b6020604051808303816000875af11580156128d5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906128f99190614869565b50600a60049054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342966c68826040518263ffffffff1660e01b81526004016129559190613f31565b600060405180830381600087803b15801561296f57600080fd5b505af1158015612983573d6000803e3d6000fd5b505050506000612994846001612eef565b9050803410156129d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016129d090615171565b60405180910390fd5b806008546129e79190614c90565b60088190555060005b8463ffffffff16811015612abb573360126000600760149054906101000a900463ffffffff1663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506007601481819054906101000a900463ffffffff16612a8c90615191565b91906101000a81548163ffffffff021916908363ffffffff16021790555080612ab4906149d3565b90506129f0565b5083601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000601754815260200190815260200160002060008282829054906101000a900463ffffffff16612b2d91906151bd565b92506101000a81548163ffffffff021916908363ffffffff160217905550505050612b56613c09565b50565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612be9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612be0906147c8565b60405180910390fd5b6004815114612c2d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612c24906155be565b60405180910390fd5b8060109080519060200190612c43929190613d93565b5050565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b612c9f613e3a565b612ca7613e3a565b60005b60058160ff161015612d9157600060056001836005602060009054906101000a900460ff16612cd99190614bc6565b612ce391906155de565b612ced91906155de565b612cf79190615613565b9050601b8160ff1660058110612d1057612d0f614a1b565b5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16838360ff1660058110612d4857612d47614a1b565b5b602002019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250505080612d8a90614931565b9050612caa565b508091505090565b600b5481565b600f8181548110612daf57600080fd5b9060005260206000209060209182820401919006915054906101000a900460ff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612e63576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612e5a906147c8565b60405180910390fd5b60016003811115612e7757612e76613f4c565b5b601160009054906101000a900460ff166003811115612e9957612e98613f4c565b5b14612ed9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612ed090615241565b60405180910390fd5b34600854612ee79190614c90565b600881905550565b6000808363ffffffff16600954612f069190614a4a565b90506000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401612f659190614024565b602060405180830381865afa158015612f82573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612fa691906152e2565b905060008415612fd357600a60189054906101000a900461ffff1661ffff1681612fd09190614c90565b90505b6000821115612fed57600e5481612fea9190614c90565b90505b6103e8816103e8612ffe9190614aec565b846130099190614a4a565b6130139190614abb565b925082935050505092915050565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a60009054906101000a900463ffffffff1681565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60185481565b6010818154811061309957600080fd5b9060005260206000209060209182820401919006915054906101000a900460ff1681565b6060601660008360ff1660ff16815260200190815260200160002080548060200260200160405190810160405280929190818152602001828054801561315857602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161310e575b50505050509050919050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146131f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016131eb906147c8565b60405180910390fd5b6000600381111561320857613207613f4c565b5b601160009054906101000a900460ff16600381111561322a57613229613f4c565b5b1461326a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613261906156b6565b60405180910390fd5b6001601160006101000a81548160ff021916908360038111156132905761328f613f4c565b5b021790555060006008819055506000600760146101000a81548163ffffffff021916908363ffffffff16021790555080426132cb9190614c90565b600c8190555050565b60136020528160005260406000206020528060005260406000206000915091509054906101000a900463ffffffff1681565b60175481565b600a60189054906101000a900461ffff1681565b600a60049054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61334e613c13565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036133bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016133b490615748565b60405180910390fd5b6133c681613ca4565b50565b6133d1613c13565b80600b8190555050565b6133e3613c13565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603613452576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161344990614d10565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036134c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016134b890614d10565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603613530576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161352790614d10565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361359f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161359690614d10565b60405180910390fd5b83600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6136b1613c13565b80600a60046101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6136fd613c13565b80600e8190555050565b60126020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60026000540361377f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613776906157b4565b60405180910390fd5b6002600081905550565b6000601260008563ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361383c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161383390615820565b60405180910390fd5b82601460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546138879190614c90565b601460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550601660008360ff1660ff168152602001908152602001600020819080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550601954831115613997578260198190555080601a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b8160ff16601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff161180613a4657506000601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff16145b15613aa45781601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908360ff1602179055505b50505050565b6000601260008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603613b5d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613b5490615820565b60405180910390fd5b80601b602060009054906101000a900460ff1660ff1660058110613b8457613b83614a1b565b5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060056001602060009054906101000a900460ff16613be19190614bc6565b613beb9190615613565b602060006101000a81548160ff021916908360ff1602179055505050565b6001600081905550565b613c1b613d6a565b73ffffffffffffffffffffffffffffffffffffffff16613c39612c47565b73ffffffffffffffffffffffffffffffffffffffff1614613c8f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613c869061588c565b60405180910390fd5b565b600080823b905060008111915050919050565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600033905090565b5080546000825590600052602060002090810190613d909190613e5c565b50565b82805482825590600052602060002090601f01602090048101928215613e295791602002820160005b83821115613dfa57835183826101000a81548160ff021916908360ff1602179055509260200192600101602081600001049283019260010302613dbc565b8015613e275782816101000a81549060ff0219169055600101602081600001049283019260010302613dfa565b505b509050613e369190613e5c565b5090565b6040518060a00160405280600590602082028036833780820191505090505090565b5b80821115613e75576000816000905550600101613e5d565b5090565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000613eb882613e8d565b9050919050565b613ec881613ead565b8114613ed357600080fd5b50565b600081359050613ee581613ebf565b92915050565b600060208284031215613f0157613f00613e83565b5b6000613f0f84828501613ed6565b91505092915050565b6000819050919050565b613f2b81613f18565b82525050565b6000602082019050613f466000830184613f22565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b60048110613f8c57613f8b613f4c565b5b50565b6000819050613f9d82613f7b565b919050565b6000613fad82613f8f565b9050919050565b613fbd81613fa2565b82525050565b6000602082019050613fd86000830184613fb4565b92915050565b6000606082019050613ff36000830186613f22565b6140006020830185613f22565b61400d6040830184613f22565b949350505050565b61401e81613ead565b82525050565b60006020820190506140396000830184614015565b92915050565b61404881613f18565b811461405357600080fd5b50565b6000813590506140658161403f565b92915050565b60006020828403121561408157614080613e83565b5b600061408f84828501614056565b91505092915050565b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6140e68261409d565b810181811067ffffffffffffffff82111715614105576141046140ae565b5b80604052505050565b6000614118613e79565b905061412482826140dd565b919050565b600067ffffffffffffffff821115614144576141436140ae565b5b602082029050602081019050919050565b600080fd5b600060ff82169050919050565b6141708161415a565b811461417b57600080fd5b50565b60008135905061418d81614167565b92915050565b60006141a66141a184614129565b61410e565b905080838252602082019050602084028301858111156141c9576141c8614155565b5b835b818110156141f257806141de888261417e565b8452602084019350506020810190506141cb565b5050509392505050565b600082601f83011261421157614210614098565b5b8135614221848260208601614193565b91505092915050565b6000602082840312156142405761423f613e83565b5b600082013567ffffffffffffffff81111561425e5761425d613e88565b5b61426a848285016141fc565b91505092915050565b600061ffff82169050919050565b61428a81614273565b811461429557600080fd5b50565b6000813590506142a781614281565b92915050565b6000602082840312156142c3576142c2613e83565b5b60006142d184828501614298565b91505092915050565b600063ffffffff82169050919050565b6142f3816142da565b81146142fe57600080fd5b50565b600081359050614310816142ea565b92915050565b60006020828403121561432c5761432b613e83565b5b600061433a84828501614301565b91505092915050565b6000806040838503121561435a57614359613e83565b5b600061436885828601613ed6565b925050602061437985828601614056565b9150509250929050565b6000819050919050565b60006143a86143a361439e84613e8d565b614383565b613e8d565b9050919050565b60006143ba8261438d565b9050919050565b60006143cc826143af565b9050919050565b6143dc816143c1565b82525050565b60006020820190506143f760008301846143d3565b92915050565b6144068161415a565b82525050565b60006040820190506144216000830185613f22565b61442e60208301846143fd565b9392505050565b61443e816142da565b82525050565b60006020820190506144596000830184614435565b92915050565b600060059050919050565b600081905092915050565b6000819050919050565b61448881613ead565b82525050565b600061449a838361447f565b60208301905092915050565b6000602082019050919050565b6144bc8161445f565b6144c6818461446a565b92506144d182614475565b8060005b838110156145025781516144e9878261448e565b96506144f4836144a6565b9250506001810190506144d5565b505050505050565b600060a08201905061451f60008301846144b3565b92915050565b600060208201905061453a60008301846143fd565b92915050565b60008115159050919050565b61455581614540565b811461456057600080fd5b50565b6000813590506145728161454c565b92915050565b6000806040838503121561458f5761458e613e83565b5b600061459d85828601614301565b92505060206145ae85828601614563565b9150509250929050565b6000602082840312156145ce576145cd613e83565b5b60006145dc8482850161417e565b91505092915050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b6000602082019050919050565b6000614629826145e5565b61463381856145f0565b935061463e83614601565b8060005b8381101561466f578151614656888261448e565b975061466183614611565b925050600181019050614642565b5085935050505092915050565b60006020820190508181036000830152614696818461461e565b905092915050565b6146a781614273565b82525050565b60006020820190506146c2600083018461469e565b92915050565b60006146d3826143af565b9050919050565b6146e3816146c8565b82525050565b60006020820190506146fe60008301846146da565b92915050565b6000806000806080858703121561471e5761471d613e83565b5b600061472c87828801613ed6565b945050602061473d87828801613ed6565b935050604061474e87828801613ed6565b925050606061475f87828801613ed6565b91505092959194509250565b600082825260208201905092915050565b7f4e6f7420746865206f70657261746f7200000000000000000000000000000000600082015250565b60006147b260108361476b565b91506147bd8261477c565b602082019050919050565b600060208201905081810360008301526147e1816147a5565b9050919050565b7f4c6f747465727920686173206e6f742066696e69736865640000000000000000600082015250565b600061481e60188361476b565b9150614829826147e8565b602082019050919050565b6000602082019050818103600083015261484d81614811565b9050919050565b6000815190506148638161454c565b92915050565b60006020828403121561487f5761487e613e83565b5b600061488d84828501614854565b91505092915050565b7f4e6f742052616e646f6d697a6564000000000000000000000000000000000000600082015250565b60006148cc600e8361476b565b91506148d782614896565b602082019050919050565b600060208201905081810360008301526148fb816148bf565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061493c8261415a565b915060ff820361494f5761494e614902565b5b600182019050919050565b600060608201905061496f6000830186614435565b61497c6020830185613f22565b6149896040830184613f22565b949350505050565b6000815190506149a0816142ea565b92915050565b6000602082840312156149bc576149bb613e83565b5b60006149ca84828501614991565b91505092915050565b60006149de82613f18565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203614a1057614a0f614902565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6000614a5582613f18565b9150614a6083613f18565b9250828202614a6e81613f18565b91508282048414831517614a8557614a84614902565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000614ac682613f18565b9150614ad183613f18565b925082614ae157614ae0614a8c565b5b828204905092915050565b6000614af782613f18565b9150614b0283613f18565b9250828203905081811115614b1a57614b19614902565b5b92915050565b6000614b2b826142da565b9150614b36836142da565b9250828203905063ffffffff811115614b5257614b51614902565b5b92915050565b6000614b63826142da565b9150614b6e836142da565b9250828202614b7c816142da565b9150808214614b8e57614b8d614902565b5b5092915050565b6000614ba0826142da565b9150614bab836142da565b925082614bbb57614bba614a8c565b5b828204905092915050565b6000614bd18261415a565b9150614bdc8361415a565b9250828201905060ff811115614bf557614bf4614902565b5b92915050565b6000614c0682613f18565b915060008203614c1957614c18614902565b5b600182039050919050565b7f496e76616c69642077696e6e657220726174696f000000000000000000000000600082015250565b6000614c5a60148361476b565b9150614c6582614c24565b602082019050919050565b60006020820190508181036000830152614c8981614c4d565b9050919050565b6000614c9b82613f18565b9150614ca683613f18565b9250828201905080821115614cbe57614cbd614902565b5b92915050565b7f456e746572206164647265737300000000000000000000000000000000000000600082015250565b6000614cfa600d8361476b565b9150614d0582614cc4565b602082019050919050565b60006020820190508181036000830152614d2981614ced565b9050919050565b7f436f6e7472616374206973206e6f7420616c6c6f776564000000000000000000600082015250565b6000614d6660178361476b565b9150614d7182614d30565b602082019050919050565b60006020820190508181036000830152614d9581614d59565b9050919050565b7f50726f787920636f6e7472616374206973206e6f7420616c6c6f776564000000600082015250565b6000614dd2601d8361476b565b9150614ddd82614d9c565b602082019050919050565b60006020820190508181036000830152614e0181614dc5565b9050919050565b7f4e6f207265776172647320746f20636c61696d00000000000000000000000000600082015250565b6000614e3e60138361476b565b9150614e4982614e08565b602082019050919050565b60006020820190508181036000830152614e6d81614e31565b9050919050565b7f4d757374206265203e2030000000000000000000000000000000000000000000600082015250565b6000614eaa600b8361476b565b9150614eb582614e74565b602082019050919050565b60006020820190508181036000830152614ed981614e9d565b9050919050565b6000604082019050614ef56000830185614015565b614f026020830184613f22565b9392505050565b7f5072696365206e6f742073657400000000000000000000000000000000000000600082015250565b6000614f3f600d8361476b565b9150614f4a82614f09565b602082019050919050565b60006020820190508181036000830152614f6e81614f32565b9050919050565b7f456e7465722063686f73656e20616d6f756e7420746f20627579000000000000600082015250565b6000614fab601a8361476b565b9150614fb682614f75565b602082019050919050565b60006020820190508181036000830152614fda81614f9e565b9050919050565b7f546f6f206d616e79207469636b65747300000000000000000000000000000000600082015250565b600061501760108361476b565b915061502282614fe1565b602082019050919050565b600060208201905081810360008301526150468161500a565b9050919050565b7f4c6f7474657279206973206e6f74206f70656e20796574000000000000000000600082015250565b600061508360178361476b565b915061508e8261504d565b602082019050919050565b600060208201905081810360008301526150b281615076565b9050919050565b7f4c6f74746572792068617320656e646564000000000000000000000000000000600082015250565b60006150ef60118361476b565b91506150fa826150b9565b602082019050919050565b6000602082019050818103600083015261511e816150e2565b9050919050565b7f496e73756666696369656e742066756e64730000000000000000000000000000600082015250565b600061515b60128361476b565b915061516682615125565b602082019050919050565b6000602082019050818103600083015261518a8161514e565b9050919050565b600061519c826142da565b915063ffffffff82036151b2576151b1614902565b5b600182019050919050565b60006151c8826142da565b91506151d3836142da565b9250828201905063ffffffff8111156151ef576151ee614902565b5b92915050565b7f4c6f7474657279206973206e6f74206f70656e00000000000000000000000000600082015250565b600061522b60138361476b565b9150615236826151f5565b602082019050919050565b6000602082019050818103600083015261525a8161521e565b9050919050565b7f4c6f7474657279206973206f6e676f696e670000000000000000000000000000600082015250565b600061529760128361476b565b91506152a282615261565b602082019050919050565b600060208201905081810360008301526152c68161528a565b9050919050565b6000815190506152dc8161403f565b92915050565b6000602082840312156152f8576152f7613e83565b5b6000615306848285016152cd565b91505092915050565b7f6e6f7420656e6f7567682076616c756500000000000000000000000000000000600082015250565b600061534560108361476b565b91506153508261530f565b602082019050919050565b6000602082019050818103600083015261537481615338565b9050919050565b60008151905061538a81614167565b92915050565b6000602082840312156153a6576153a5613e83565b5b60006153b48482850161537b565b91505092915050565b60008160011c9050919050565b6000808291508390505b6001851115615414578086048111156153f0576153ef614902565b5b60018516156153ff5780820291505b808102905061540d856153bd565b94506153d4565b94509492505050565b60008261542d57600190506154e9565b8161543b57600090506154e9565b8160018114615451576002811461545b5761548a565b60019150506154e9565b60ff84111561546d5761546c614902565b5b8360020a91508482111561548457615483614902565b5b506154e9565b5060208310610133831016604e8410600b84101617156154bf5782820a9050838111156154ba576154b9614902565b5b6154e9565b6154cc84848460016153ca565b925090508184048111156154e3576154e2614902565b5b81810290505b9392505050565b60006154fb82613f18565b91506155068361415a565b92506155337fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461541d565b905092915050565b60006060820190506155506000830186614015565b61555d6020830185614015565b61556a6040830184613f22565b949350505050565b7f496e76616c6964207072697a6520726174696f00000000000000000000000000600082015250565b60006155a860138361476b565b91506155b382615572565b602082019050919050565b600060208201905081810360008301526155d78161559b565b9050919050565b60006155e98261415a565b91506155f48361415a565b9250828203905060ff81111561560d5761560c614902565b5b92915050565b600061561e8261415a565b91506156298361415a565b92508261563957615638614a8c565b5b828206905092915050565b7f4c617374204c6f747465727920686173206e6f742066696e697368656420796560008201527f7400000000000000000000000000000000000000000000000000000000000000602082015250565b60006156a060218361476b565b91506156ab82615644565b604082019050919050565b600060208201905081810360008301526156cf81615693565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061573260268361476b565b915061573d826156d6565b604082019050919050565b6000602082019050818103600083015261576181615725565b9050919050565b7f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00600082015250565b600061579e601f8361476b565b91506157a982615768565b602082019050919050565b600060208201905081810360008301526157cd81615791565b9050919050565b7f496e76616c6964205469636b6574000000000000000000000000000000000000600082015250565b600061580a600e8361476b565b9150615815826157d4565b602082019050919050565b60006020820190508181036000830152615839816157fd565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b600061587660208361476b565b915061588182615840565b602082019050919050565b600060208201905081810360008301526158a581615869565b905091905056fea2646970667358221220356f431cd4a5b86219545d9c710857cbd3541ed6587f6a3ac9d4f004dc5fece064736f6c63430008110033

000000000000000000000000e6abe7e49129900f8c6b6c2fae51ed5573f4e3f00000000000000000000000003737be6fcff5b3b0f9dcc9a9ae1da56561d0d0d3000000000000000000000000bcb8ad2bf52d736b017debf5cee4b0a2c2d2b77f000000000000000000000000202ee965a0377ef0acd094526e765ac2fa434a440000000000000000000000005fe8d68c2f6097f39606b89801072fe40f744a32000000000000000000000000e2a49436206140a9a6a9ad6c1de339401ff2e2700000000000000000000000007d69dd2ed374e143ecff9142f19991fdc439327c

-----Decoded View---------------
Arg [0] : _discountToken (address): 0xe6aBe7e49129900f8C6b6C2FAe51eD5573f4E3f0
Arg [1] : _witnetRandomness (address): 0x3737be6FcFf5B3B0f9DCc9a9ae1Da56561D0d0d3
Arg [2] : _charity (address): 0xbcb8ad2bF52d736B017deBf5cee4b0A2c2D2B77f
Arg [3] : _project (address): 0x202EE965a0377eF0aCd094526e765aC2fa434A44
Arg [4] : _founder1 (address): 0x5FE8d68C2f6097F39606B89801072fE40f744a32
Arg [5] : _founder2 (address): 0xE2A49436206140a9a6a9aD6C1De339401ff2E270
Arg [6] : _founder3 (address): 0x7D69dD2ED374E143ecff9142f19991fDC439327c

-----Encoded View---------------
7 Constructor Arguments found :
Arg [0] : 000000000000000000000000e6abe7e49129900f8c6b6c2fae51ed5573f4e3f0
Arg [1] : 0000000000000000000000003737be6fcff5b3b0f9dcc9a9ae1da56561d0d0d3
Arg [2] : 000000000000000000000000bcb8ad2bf52d736b017debf5cee4b0a2c2d2b77f
Arg [3] : 000000000000000000000000202ee965a0377ef0acd094526e765ac2fa434a44
Arg [4] : 0000000000000000000000005fe8d68c2f6097f39606b89801072fe40f744a32
Arg [5] : 000000000000000000000000e2a49436206140a9a6a9ad6c1de339401ff2e270
Arg [6] : 0000000000000000000000007d69dd2ed374e143ecff9142f19991fdc439327c

50432:12406:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;58893:123;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51259:34;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58735:153;;;;;;;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;50788:26;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50684:30;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;56089:1899;;;;;;;;;;;;;:::i;:::-;;59229:101;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;55136:191;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;55020:108;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;50582:30;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;60536:191;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;50979:22;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;59130:94;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;50753:30;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;57993:307;;;;;;;;;;;;;:::i;:::-;;59701:201;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;50516:29;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;60732:167;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;51707:25;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52814:735;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;51621:41;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;59335:121;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;50650:30;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58586:144;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;50718:29;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51736:24;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51042:36;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;55525:559;;;:::i;:::-;;49375:103;;;;;;;;;;;;;:::i;:::-;;53554:993;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;55335:185;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;48727:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50616:30;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58333:248;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50936:39;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51086;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;54839:176;;;:::i;:::-;;61221:498;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51005:33;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50818:42;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50549:29;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51666:37;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51132:44;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;60904:123;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;54552:282;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;51344:73;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;51590:24;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50899:32;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;50865:30;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;49633:201;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;59567:129;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;59910:618;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;59021:104;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;59461:101;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;51297:41;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58893:123;58954:7;58975:19;:25;58995:4;58975:25;;;;;;;;;;;;;;;:36;59001:9;;58975:36;;;;;;;;;;;;;;;;;;;;;58968:43;;;;58893:123;;;:::o;51259:34::-;;;;;;;;;;;;;:::o;58735:153::-;58788:7;58800;58812;58837:15;;58854;;;;;;;;;;;58871:11;;58829:54;;;;;;;;;;;58735:153;;;:::o;50788:26::-;;;;:::o;50684:30::-;;;;;;;;;;;;;:::o;56089:1899::-;45998:21;:19;:21::i;:::-;52052:15:::1;;;;;;;;;;;52038:29;;:10;:29;;;52030:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;56179:19:::2;56162:36;;;;;;;;:::i;:::-;;:13;;;;;;;;;;;:36;;;;;;;;:::i;:::-;;;56154:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;56294:4;56247:51;;:6;:19;;;56267:22;;56247:43;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;;;56234:91;;;;;;;;;;;;:::i;:::-;;;;;;;;;56332:7;56372:1;56368:5;;56363:59;56380:1;56375;:6;;;56363:59;;56401:12;:15;56414:1;56401:15;;;;;;;;;;;;;;;;56394:22;;;;:::i;:::-;56383:3;;;;:::i;:::-;;;56363:59;;;56444:21;56428:13;;:37;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;56493:1;56474:15;;;;;;;;;;;:20;;::::0;56470:44:::2;;56502:7;;;56470:44;56520:13;56540:22:::0;56565:15:::2;;56540:40;;56585:22;56610:6;:13;;;56629:15;;;;;;;;;;;56650:5;56661:22;;56610:78;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;56585:103;;56693:7;;;;:::i;:::-;;;56730:20;56787:3;56771:10;56782:1;56771:13;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;56753:31;;:15;;:31;;;;:::i;:::-;:37;;;;:::i;:::-;56730:60;;56795:47;56809:15;56826:12;56840:1;56795:13;:47::i;:::-;56847:30;56861:15;56847:13;:30::i;:::-;56951:12;56934:14;:29;;;;:::i;:::-;56917:46;;56968:17;56999:1:::0;56995:5:::2;;56990:529;57006:1;57002;:5;;;56990:529;;;57075:3;57057:11;57069:1;57057:14;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;57033:38;;57052:1;57034:15;;;;;;;;;;;:19;;;;:::i;:::-;57033:38;;;;:::i;:::-;57032:46;;;;:::i;:::-;57020:58;;;;57100:1;57088:9;:13;57084:430;;;57171:9;57165:3;57144:10;57159:1;57155;:5;;;;:::i;:::-;57144:17;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;57126:35;;:15;;:35;;;;:::i;:::-;57125:43;;;;:::i;:::-;:55;;;;:::i;:::-;57110:70;;57237:9;57222:12;:24;;;;:::i;:::-;57204:14;:43;;;;:::i;:::-;57187:60;;57254:254;57273:1;57261:9;:13;57254:254;;;57302:6;:13;;;57324:15;;;;;;;;;;;57348:5;57362:22;;57302:90;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;57284:108;;57415:7;;;;:::i;:::-;;;57430:51;57444:15;57461:12;57479:1;57475;:5;;;;:::i;:::-;57430:13;:51::i;:::-;57489:11;;;;:::i;:::-;;;57254:254;;;57084:430;57009:3;;;;:::i;:::-;;;56990:529;;;57557:2;57540:14;:19;;;;:::i;:::-;57525:34;;57572:15;;;;;;;;;;;57564:33;;:47;57598:12;57564:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;57624:15;;;;;;;;;;;57616:33;;:47;57650:12;57616:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;57676:15;;;;;;;;;;;57668:33;;:47;57702:12;57668:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;57770:1;57755:12;:16;;;;:::i;:::-;57737:14;:35;;;;:::i;:::-;57720:52;;57809:1;57792:14;:18;;;;:::i;:::-;57777:33;;57823:14;;;;;;;;;;;57815:32;;:46;57848:12;57815:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;57900:12;57883:14;:29;;;;:::i;:::-;57866:46;;57925:14;;;;;;;;;;;57917:32;;:48;57950:14;57917:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;57974:9;;57972:11;;;;;:::i;:::-;;;;;;;;56149:1839;;;;;;52093:1;46042:20:::0;:18;:20::i;:::-;56089:1899::o;59229:101::-;48613:13;:11;:13::i;:::-;59313:12:::1;59299:11;:26;;;;59229:101:::0;:::o;55136:191::-;52052:15;;;;;;;;;;;52038:29;;:10;:29;;;52030:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;55256:1:::1;55233:12;:19;:24;55225:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;55307:12;55293:11;:26;;;;;;;;;;;;:::i;:::-;;55136:191:::0;:::o;55020:108::-;52052:15;;;;;;;;;;;52038:29;;:10;:29;;;52030:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;55111:12:::1;55101:7;;:22;;;;:::i;:::-;55091:7;:32;;;;55020:108:::0;:::o;50582:30::-;;;;;;;;;;;;;:::o;60536:191::-;48613:13;:11;:13::i;:::-;60660:1:::1;60632:30;;:16;:30;;::::0;60624:56:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;60703:16;60685:15;;:34;;;;;;;;;;;;;;;;;;60536:191:::0;:::o;50979:22::-;;;;:::o;59130:94::-;48613:13;:11;:13::i;:::-;59211:8:::1;59196:12;;:23;;;;;;;;;;;;;;;;;;59130:94:::0;:::o;50753:30::-;;;;:::o;57993:307::-;51864:23;51876:10;51864:11;:23::i;:::-;51863:24;51855:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;51942:9;51928:23;;:10;:23;;;51920:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;45998:21:::1;:19;:21::i;:::-;58056:12:::2;58071:10;58056:25;;58118:1;58094:15;:21;58110:4;58094:21;;;;;;;;;;;;;;;;:25;58086:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;58148:21;58172:15;:21;58188:4;58172:21;;;;;;;;;;;;;;;;58148:45;;58206:4;58198:22;;:37;58221:13;58198:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;58264:1;58240:15;:21;58256:4;58240:21;;;;;;;;;;;;;;;:25;;;;58294:1;58270:15;:21;58286:4;58270:21;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;58051:249;;46042:20:::1;:18;:20::i;:::-;57993:307::o:0;59701:201::-;48613:13;:11;:13::i;:::-;59827:1:::1;59800:23;:28;;::::0;59792:52:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;59874:23;59849:22;;:48;;;;;;;;;;;;;;;;;;59701:201:::0;:::o;50516:29::-;;;;;;;;;;;;;:::o;60732:167::-;48613:13;:11;:13::i;:::-;60836::::1;60829:30;;;60868:10;60881:12;60829:65;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;60732:167:::0;;:::o;51707:25::-;;;;:::o;52814:735::-;51864:23;51876:10;51864:11;:23::i;:::-;51863:24;51855:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;51942:9;51928:23;;:10;:23;;;51920:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;45998:21:::1;:19;:21::i;:::-;52920:1:::2;52905:11;;:16:::0;52897:42:::2;;;;;;;;;;;;:::i;:::-;;;;;;;;;52963:1;52952:7;:12;;::::0;52944:51:::2;;;;;;;;;;;;:::i;:::-;;;;;;;;;53019:22;;;;;;;;;;;53008:33;;:7;:33;;;;53000:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;53094:18;53077:35;;;;;;;;:::i;:::-;;:13;;;;;;;;;;;:35;;;;;;;;:::i;:::-;;;53069:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;53171:7;;53153:15;:25;53145:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;53207:18;53228:35;53248:7;53257:5;53228:19;:35::i;:::-;53207:56;;53289:10;53276:9;:23;;53268:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;53365:10;53347:15;;:28;;;;:::i;:::-;53329:15;:46;;;;53387:6;53382:103;53399:7;53395:11;;:1;:11;53382:103;;;53446:10;53419:7;:24;53427:15;;;;;;;;;;;53419:24;;;;;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;53464:15;;53462:17;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;53408:3;;;;:::i;:::-;;;53382:103;;;;53537:7;53491:19;:31;53511:10;53491:31;;;;;;;;;;;;;;;:42;53523:9;;53491:42;;;;;;;;;;;;:53;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;52892:657;46042:20:::1;:18;:20::i;:::-;52814:735:::0;:::o;51621:41::-;;;:::o;59335:121::-;48613:13;:11;:13::i;:::-;59440:11:::1;59419:18;;:32;;;;;;;;;;;;;;;;;;59335:121:::0;:::o;50650:30::-;;;;;;;;;;;;;:::o;58586:144::-;58651:7;58660:5;58680:15;:21;58696:4;58680:21;;;;;;;;;;;;;;;;58703:15;:21;58719:4;58703:21;;;;;;;;;;;;;;;;;;;;;;;;;58672:53;;;;58586:144;;;:::o;50718:29::-;;;;;;;;;;;;;:::o;51736:24::-;;;;;;;;;;;;;:::o;51042:36::-;;;;:::o;55525:559::-;52052:15;;;;;;;;;;;52038:29;;:10;:29;;;52030:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;55609:18:::1;55592:35;;;;;;;;:::i;:::-;;:13;;;;;;;;;;;:35;;;;;;;;:::i;:::-;;;55584:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;55682:7;;55664:15;:25;55656:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;55744:12;55719:22;:37;;;;55761:11;55775:6;:27;;;55803:11;55775:40;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;55761:54;;55836:3;55824:9;:15;55820:59;;;55847:26;;;;;;;;;;:::i;:::-;;;;;;;;55820:59;55883:18;55904:6;:16;;;55928:9;55904:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;55883:57;;55962:9;55949:10;:22;55945:93;;;55987:10;55979:28;;:52;56020:10;56008:9;:22;;;;:::i;:::-;55979:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;55945:93;56060:19;56044:13;;:35;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;55579:505;;55525:559::o:0;49375:103::-;48613:13;:11;:13::i;:::-;49440:30:::1;49467:1;49440:18;:30::i;:::-;49375:103::o:0;53554:993::-;51864:23;51876:10;51864:11;:23::i;:::-;51863:24;51855:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;51942:9;51928:23;;:10;:23;;;51920:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;45998:21:::1;:19;:21::i;:::-;53668:1:::2;53653:11;;:16:::0;53645:42:::2;;;;;;;;;;;;:::i;:::-;;;;;;;;;53711:1;53700:7;:12;;::::0;53692:51:::2;;;;;;;;;;;;:::i;:::-;;;;;;;;;53767:22;;;;;;;;;;;53756:33;;:7;:33;;;;53748:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;53842:18;53825:35;;;;;;;;:::i;:::-;;:13;;;;;;;;;;;:35;;;;;;;;:::i;:::-;;;53817:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;53919:7;;53901:15;:25;53893:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;53953:14;53970:13;;;;;;;;;;;:22;;;:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;53953:41;;53999:27;54069:7;54029:47;;54057:8;54051:2;:14;;;;:::i;:::-;54029:18;;:37;;;;:::i;:::-;:47;;;;:::i;:::-;53999:77;;54081:13;;;;;;;;;;;:26;;;54108:10;54128:4;54135:19;54081:74;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;54160:13;;;;;;;;;;;:18;;;54179:19;54160:39;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;54206:18;54227:34;54247:7;54256:4;54227:19;:34::i;:::-;54206:55;;54287:10;54274:9;:23;;54266:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;54363:10;54345:15;;:28;;;;:::i;:::-;54327:15;:46;;;;54385:6;54380:103;54397:7;54393:11;;:1;:11;54380:103;;;54444:10;54417:7;:24;54425:15;;;;;;;;;;;54417:24;;;;;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;54462:15;;54460:17;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;54406:3;;;;:::i;:::-;;;54380:103;;;;54535:7;54489:19;:31;54509:10;54489:31;;;;;;;;;;;;;;;:42;54521:9;;54489:42;;;;;;;;;;;;:53;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;53640:907;;;46042:20:::1;:18;:20::i;:::-;53554:993:::0;:::o;55335:185::-;52052:15;;;;;;;;;;;52038:29;;:10;:29;;;52030:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;55452:1:::1;55430:11;:18;:23;55422:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;55501:11;55488:10;:24;;;;;;;;;;;;:::i;:::-;;55335:185:::0;:::o;48727:87::-;48773:7;48800:6;;;;;;;;;;;48793:13;;48727:87;:::o;50616:30::-;;;;;;;;;;;;;:::o;58333:248::-;58382:17;;:::i;:::-;58406:29;;:::i;:::-;58445:7;58440:114;58458:1;58454;:5;;;58440:114;;;58472:9;58504:1;58499;58495;58491;58485:3;;;;;;;;;;;:7;;;;:::i;:::-;:11;;;;:::i;:::-;:15;;;;:::i;:::-;58484:21;;;;:::i;:::-;58472:33;;58528:15;58544:3;58528:20;;;;;;;;;:::i;:::-;;;;;;;;;;;;;58511:11;58523:1;58511:14;;;;;;;;;:::i;:::-;;;;;:37;;;;;;;;;;;58466:88;58461:3;;;;:::i;:::-;;;58440:114;;;;58565:11;58558:18;;;58333:248;:::o;50936:39::-;;;;:::o;51086:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;54839:176::-;52052:15;;;;;;;;;;;52038:29;;:10;:29;;;52030:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;54918:18:::1;54901:35;;;;;;;;:::i;:::-;;:13;;;;;;;;;;;:35;;;;;;;;:::i;:::-;;;54893:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;55001:9;54983:15;;:27;;;;:::i;:::-;54965:15;:45;;;;54839:176::o:0;61221:498::-;61302:7;61316:18;61351:7;61337:21;;:11;;:21;;;;:::i;:::-;61316:42;;61363:18;61392;;;;;;;;;;;61384:37;;;61422:10;61384:49;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;61363:70;;61438:23;61474:8;61470:74;;;61526:12;;;;;;;;;;;61508:30;;:15;:30;;;;:::i;:::-;61490:48;;61470:74;61565:1;61552:10;:14;61548:83;;;61610:15;;61592;:33;;;;:::i;:::-;61574:51;;61548:83;61688:4;61669:15;61662:4;:22;;;;:::i;:::-;61648:10;:37;;;;:::i;:::-;:44;;;;:::i;:::-;61635:57;;61704:10;61697:17;;;;;61221:498;;;;:::o;51005:33::-;;;;;;;;;;;;;:::o;50818:42::-;;;;;;;;;;;;;:::o;50549:29::-;;;;;;;;;;;;;:::o;51666:37::-;;;;:::o;51132:44::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;60904:123::-;60969:16;60999:12;:23;61012:9;60999:23;;;;;;;;;;;;;;;60992:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;60904:123;;;:::o;54552:282::-;52052:15;;;;;;;;;;;52038:29;;:10;:29;;;52030:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;54643:21:::1;54626:38;;;;;;;;:::i;:::-;;:13;;;;;;;;;;;:38;;;;;;;;:::i;:::-;;;54618:84;;;;;;;;;;;;:::i;:::-;;;;;;;;;54723:18;54707:13;;:34;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;54764:1;54746:15;:19;;;;54788:1;54770:15;;:19;;;;;;;;;;;;;;;;;;54822:7;54804:15;:25;;;;:::i;:::-;54794:7;:35;;;;54552:282:::0;:::o;51344:73::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;51590:24::-;;;;:::o;50899:32::-;;;;;;;;;;;;;:::o;50865:30::-;;;;;;;;;;;;;:::o;49633:201::-;48613:13;:11;:13::i;:::-;49742:1:::1;49722:22;;:8;:22;;::::0;49714:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;49798:28;49817:8;49798:18;:28::i;:::-;49633:201:::0;:::o;59567:129::-;48613:13;:11;:13::i;:::-;59672:19:::1;59651:18;:40;;;;59567:129:::0;:::o;59910:618::-;48613:13;:11;:13::i;:::-;60160:1:::1;60133:29;;:15;:29;;::::0;60125:55:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;60220:1;60193:29;;:15;:29;;::::0;60185:55:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;60281:1;60253:30;;:16;:30;;::::0;60245:56:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;60342:1;60314:30;;:16;:30;;::::0;60306:56:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;60390:15;60373:14;;:32;;;;;;;;;;;;;;;;;;60427:15;60410:14;;:32;;;;;;;;;;;;;;;;;;60465:16;60447:15;;:34;;;;;;;;;;;;;;;;;;60504:16;60486:15;;:34;;;;;;;;;;;;;;;;;;59910:618:::0;;;;:::o;59021:104::-;48613:13;:11;:13::i;:::-;59113:6:::1;59087:13;;:33;;;;;;;;;;;;;;;;;;59021:104:::0;:::o;59461:101::-;48613:13;:11;:13::i;:::-;59549:8:::1;59531:15;:26;;;;59461:101:::0;:::o;51297:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;46078:293::-;45480:1;46212:7;;:19;46204:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;45480:1;46345:7;:18;;;;46078:293::o;62135:481::-;62229:12;62244:7;:24;62252:15;62244:24;;;;;;;;;;;;;;;;;;;;;;;;;62229:39;;62297:1;62281:18;;:4;:18;;;62273:45;;;;;;;;;;;;:::i;:::-;;;;;;;;;62371:12;62347:15;:21;62363:4;62347:21;;;;;;;;;;;;;;;;:36;;;;:::i;:::-;62323:15;:21;62339:4;62323:21;;;;;;;;;;;;;;;:60;;;;62388:12;:17;62401:3;62388:17;;;;;;;;;;;;;;;62411:4;62388:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;62440:10;;62425:12;:25;62421:90;;;62471:12;62458:10;:25;;;;62501:4;62489:9;;:16;;;;;;;;;;;;;;;;;;62421:90;62545:3;62521:27;;:15;:21;62537:4;62521:21;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;:57;;;;62577:1;62552:15;:21;62568:4;62552:21;;;;;;;;;;;;;;;;;;;;;;;;;:26;;;62521:57;62517:94;;;62608:3;62584:15;:21;62600:4;62584:21;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;62517:94;62224:392;62135:481;;;:::o;61913:217::-;61974:14;61991:7;:24;61999:15;61991:24;;;;;;;;;;;;;;;;;;;;;;;;;61974:41;;62046:1;62028:20;;:6;:20;;;62020:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;62095:6;62072:15;62088:3;;;;;;;;;;;62072:20;;;;;;;;;:::i;:::-;;;;:29;;;;;;;;;;;;;;;;;;62124:1;62119;62113:3;;;;;;;;;;;:7;;;;:::i;:::-;62112:13;;;;:::i;:::-;62106:3;;:19;;;;;;;;;;;;;;;;;;61969:161;61913:217;:::o;46379:213::-;45436:1;46562:7;:22;;;;46379:213::o;48892:132::-;48967:12;:10;:12::i;:::-;48956:23;;:7;:5;:7::i;:::-;:23;;;48948:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;48892:132::o;62678:157::-;62737:4;62748:12;62800:5;62788:18;62780:26;;62829:1;62822:4;:8;62815:15;;;62678:157;;;:::o;49994:191::-;50068:16;50087:6;;;;;;;;;;;50068:25;;50113:8;50104:6;;:17;;;;;;;;;;;;;;;;;;50168:8;50137:40;;50158:8;50137:40;;;;;;;;;;;;50057:128;49994:191;:::o;47278:98::-;47331:7;47358:10;47351:17;;47278:98;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:139::-;742:5;780:6;767:20;758:29;;796:33;823:5;796:33;:::i;:::-;696:139;;;;:::o;841:329::-;900:6;949:2;937:9;928:7;924:23;920:32;917:119;;;955:79;;:::i;:::-;917:119;1075:1;1100:53;1145:7;1136:6;1125:9;1121:22;1100:53;:::i;:::-;1090:63;;1046:117;841:329;;;;:::o;1176:77::-;1213:7;1242:5;1231:16;;1176:77;;;:::o;1259:118::-;1346:24;1364:5;1346:24;:::i;:::-;1341:3;1334:37;1259:118;;:::o;1383:222::-;1476:4;1514:2;1503:9;1499:18;1491:26;;1527:71;1595:1;1584:9;1580:17;1571:6;1527:71;:::i;:::-;1383:222;;;;:::o;1611:180::-;1659:77;1656:1;1649:88;1756:4;1753:1;1746:15;1780:4;1777:1;1770:15;1797:123;1888:1;1881:5;1878:12;1868:46;;1894:18;;:::i;:::-;1868:46;1797:123;:::o;1926:147::-;1981:7;2010:5;1999:16;;2016:51;2061:5;2016:51;:::i;:::-;1926:147;;;:::o;2079:::-;2145:9;2178:42;2214:5;2178:42;:::i;:::-;2165:55;;2079:147;;;:::o;2232:163::-;2335:53;2382:5;2335:53;:::i;:::-;2330:3;2323:66;2232:163;;:::o;2401:254::-;2510:4;2548:2;2537:9;2533:18;2525:26;;2561:87;2645:1;2634:9;2630:17;2621:6;2561:87;:::i;:::-;2401:254;;;;:::o;2661:442::-;2810:4;2848:2;2837:9;2833:18;2825:26;;2861:71;2929:1;2918:9;2914:17;2905:6;2861:71;:::i;:::-;2942:72;3010:2;2999:9;2995:18;2986:6;2942:72;:::i;:::-;3024;3092:2;3081:9;3077:18;3068:6;3024:72;:::i;:::-;2661:442;;;;;;:::o;3109:118::-;3196:24;3214:5;3196:24;:::i;:::-;3191:3;3184:37;3109:118;;:::o;3233:222::-;3326:4;3364:2;3353:9;3349:18;3341:26;;3377:71;3445:1;3434:9;3430:17;3421:6;3377:71;:::i;:::-;3233:222;;;;:::o;3461:122::-;3534:24;3552:5;3534:24;:::i;:::-;3527:5;3524:35;3514:63;;3573:1;3570;3563:12;3514:63;3461:122;:::o;3589:139::-;3635:5;3673:6;3660:20;3651:29;;3689:33;3716:5;3689:33;:::i;:::-;3589:139;;;;:::o;3734:329::-;3793:6;3842:2;3830:9;3821:7;3817:23;3813:32;3810:119;;;3848:79;;:::i;:::-;3810:119;3968:1;3993:53;4038:7;4029:6;4018:9;4014:22;3993:53;:::i;:::-;3983:63;;3939:117;3734:329;;;;:::o;4069:117::-;4178:1;4175;4168:12;4192:102;4233:6;4284:2;4280:7;4275:2;4268:5;4264:14;4260:28;4250:38;;4192:102;;;:::o;4300:180::-;4348:77;4345:1;4338:88;4445:4;4442:1;4435:15;4469:4;4466:1;4459:15;4486:281;4569:27;4591:4;4569:27;:::i;:::-;4561:6;4557:40;4699:6;4687:10;4684:22;4663:18;4651:10;4648:34;4645:62;4642:88;;;4710:18;;:::i;:::-;4642:88;4750:10;4746:2;4739:22;4529:238;4486:281;;:::o;4773:129::-;4807:6;4834:20;;:::i;:::-;4824:30;;4863:33;4891:4;4883:6;4863:33;:::i;:::-;4773:129;;;:::o;4908:309::-;4983:4;5073:18;5065:6;5062:30;5059:56;;;5095:18;;:::i;:::-;5059:56;5145:4;5137:6;5133:17;5125:25;;5205:4;5199;5195:15;5187:23;;4908:309;;;:::o;5223:117::-;5332:1;5329;5322:12;5346:86;5381:7;5421:4;5414:5;5410:16;5399:27;;5346:86;;;:::o;5438:118::-;5509:22;5525:5;5509:22;:::i;:::-;5502:5;5499:33;5489:61;;5546:1;5543;5536:12;5489:61;5438:118;:::o;5562:135::-;5606:5;5644:6;5631:20;5622:29;;5660:31;5685:5;5660:31;:::i;:::-;5562:135;;;;:::o;5718:704::-;5812:5;5837:79;5853:62;5908:6;5853:62;:::i;:::-;5837:79;:::i;:::-;5828:88;;5936:5;5965:6;5958:5;5951:21;5999:4;5992:5;5988:16;5981:23;;6052:4;6044:6;6040:17;6032:6;6028:30;6081:3;6073:6;6070:15;6067:122;;;6100:79;;:::i;:::-;6067:122;6215:6;6198:218;6232:6;6227:3;6224:15;6198:218;;;6307:3;6336:35;6367:3;6355:10;6336:35;:::i;:::-;6331:3;6324:48;6401:4;6396:3;6392:14;6385:21;;6274:142;6258:4;6253:3;6249:14;6242:21;;6198:218;;;6202:21;5818:604;;5718:704;;;;;:::o;6443:366::-;6512:5;6561:3;6554:4;6546:6;6542:17;6538:27;6528:122;;6569:79;;:::i;:::-;6528:122;6686:6;6673:20;6711:92;6799:3;6791:6;6784:4;6776:6;6772:17;6711:92;:::i;:::-;6702:101;;6518:291;6443:366;;;;:::o;6815:535::-;6897:6;6946:2;6934:9;6925:7;6921:23;6917:32;6914:119;;;6952:79;;:::i;:::-;6914:119;7100:1;7089:9;7085:17;7072:31;7130:18;7122:6;7119:30;7116:117;;;7152:79;;:::i;:::-;7116:117;7257:76;7325:7;7316:6;7305:9;7301:22;7257:76;:::i;:::-;7247:86;;7043:300;6815:535;;;;:::o;7356:89::-;7392:7;7432:6;7425:5;7421:18;7410:29;;7356:89;;;:::o;7451:120::-;7523:23;7540:5;7523:23;:::i;:::-;7516:5;7513:34;7503:62;;7561:1;7558;7551:12;7503:62;7451:120;:::o;7577:137::-;7622:5;7660:6;7647:20;7638:29;;7676:32;7702:5;7676:32;:::i;:::-;7577:137;;;;:::o;7720:327::-;7778:6;7827:2;7815:9;7806:7;7802:23;7798:32;7795:119;;;7833:79;;:::i;:::-;7795:119;7953:1;7978:52;8022:7;8013:6;8002:9;7998:22;7978:52;:::i;:::-;7968:62;;7924:116;7720:327;;;;:::o;8053:93::-;8089:7;8129:10;8122:5;8118:22;8107:33;;8053:93;;;:::o;8152:120::-;8224:23;8241:5;8224:23;:::i;:::-;8217:5;8214:34;8204:62;;8262:1;8259;8252:12;8204:62;8152:120;:::o;8278:137::-;8323:5;8361:6;8348:20;8339:29;;8377:32;8403:5;8377:32;:::i;:::-;8278:137;;;;:::o;8421:327::-;8479:6;8528:2;8516:9;8507:7;8503:23;8499:32;8496:119;;;8534:79;;:::i;:::-;8496:119;8654:1;8679:52;8723:7;8714:6;8703:9;8699:22;8679:52;:::i;:::-;8669:62;;8625:116;8421:327;;;;:::o;8754:474::-;8822:6;8830;8879:2;8867:9;8858:7;8854:23;8850:32;8847:119;;;8885:79;;:::i;:::-;8847:119;9005:1;9030:53;9075:7;9066:6;9055:9;9051:22;9030:53;:::i;:::-;9020:63;;8976:117;9132:2;9158:53;9203:7;9194:6;9183:9;9179:22;9158:53;:::i;:::-;9148:63;;9103:118;8754:474;;;;;:::o;9234:60::-;9262:3;9283:5;9276:12;;9234:60;;;:::o;9300:142::-;9350:9;9383:53;9401:34;9410:24;9428:5;9410:24;:::i;:::-;9401:34;:::i;:::-;9383:53;:::i;:::-;9370:66;;9300:142;;;:::o;9448:126::-;9498:9;9531:37;9562:5;9531:37;:::i;:::-;9518:50;;9448:126;;;:::o;9580:151::-;9655:9;9688:37;9719:5;9688:37;:::i;:::-;9675:50;;9580:151;;;:::o;9737:181::-;9849:62;9905:5;9849:62;:::i;:::-;9844:3;9837:75;9737:181;;:::o;9924:272::-;10042:4;10080:2;10069:9;10065:18;10057:26;;10093:96;10186:1;10175:9;10171:17;10162:6;10093:96;:::i;:::-;9924:272;;;;:::o;10202:112::-;10285:22;10301:5;10285:22;:::i;:::-;10280:3;10273:35;10202:112;;:::o;10320:324::-;10437:4;10475:2;10464:9;10460:18;10452:26;;10488:71;10556:1;10545:9;10541:17;10532:6;10488:71;:::i;:::-;10569:68;10633:2;10622:9;10618:18;10609:6;10569:68;:::i;:::-;10320:324;;;;;:::o;10650:115::-;10735:23;10752:5;10735:23;:::i;:::-;10730:3;10723:36;10650:115;;:::o;10771:218::-;10862:4;10900:2;10889:9;10885:18;10877:26;;10913:69;10979:1;10968:9;10964:17;10955:6;10913:69;:::i;:::-;10771:218;;;;:::o;10995:104::-;11060:6;11088:4;11078:14;;10995:104;;;:::o;11105:143::-;11202:11;11239:3;11224:18;;11105:143;;;;:::o;11254:98::-;11319:4;11342:3;11334:11;;11254:98;;;:::o;11358:108::-;11435:24;11453:5;11435:24;:::i;:::-;11430:3;11423:37;11358:108;;:::o;11472:179::-;11541:10;11562:46;11604:3;11596:6;11562:46;:::i;:::-;11640:4;11635:3;11631:14;11617:28;;11472:179;;;;:::o;11657:111::-;11725:4;11757;11752:3;11748:14;11740:22;;11657:111;;;:::o;11806:694::-;11942:52;11988:5;11942:52;:::i;:::-;12010:84;12087:6;12082:3;12010:84;:::i;:::-;12003:91;;12118:54;12166:5;12118:54;:::i;:::-;12195:7;12226:1;12211:282;12236:6;12233:1;12230:13;12211:282;;;12312:6;12306:13;12339:63;12398:3;12383:13;12339:63;:::i;:::-;12332:70;;12425:58;12476:6;12425:58;:::i;:::-;12415:68;;12271:222;12258:1;12255;12251:9;12246:14;;12211:282;;;12215:14;11918:582;;;11806:694;;:::o;12506:315::-;12645:4;12683:3;12672:9;12668:19;12660:27;;12697:117;12811:1;12800:9;12796:17;12787:6;12697:117;:::i;:::-;12506:315;;;;:::o;12827:214::-;12916:4;12954:2;12943:9;12939:18;12931:26;;12967:67;13031:1;13020:9;13016:17;13007:6;12967:67;:::i;:::-;12827:214;;;;:::o;13047:90::-;13081:7;13124:5;13117:13;13110:21;13099:32;;13047:90;;;:::o;13143:116::-;13213:21;13228:5;13213:21;:::i;:::-;13206:5;13203:32;13193:60;;13249:1;13246;13239:12;13193:60;13143:116;:::o;13265:133::-;13308:5;13346:6;13333:20;13324:29;;13362:30;13386:5;13362:30;:::i;:::-;13265:133;;;;:::o;13404:466::-;13468:6;13476;13525:2;13513:9;13504:7;13500:23;13496:32;13493:119;;;13531:79;;:::i;:::-;13493:119;13651:1;13676:52;13720:7;13711:6;13700:9;13696:22;13676:52;:::i;:::-;13666:62;;13622:116;13777:2;13803:50;13845:7;13836:6;13825:9;13821:22;13803:50;:::i;:::-;13793:60;;13748:115;13404:466;;;;;:::o;13876:325::-;13933:6;13982:2;13970:9;13961:7;13957:23;13953:32;13950:119;;;13988:79;;:::i;:::-;13950:119;14108:1;14133:51;14176:7;14167:6;14156:9;14152:22;14133:51;:::i;:::-;14123:61;;14079:115;13876:325;;;;:::o;14207:114::-;14274:6;14308:5;14302:12;14292:22;;14207:114;;;:::o;14327:184::-;14426:11;14460:6;14455:3;14448:19;14500:4;14495:3;14491:14;14476:29;;14327:184;;;;:::o;14517:132::-;14584:4;14607:3;14599:11;;14637:4;14632:3;14628:14;14620:22;;14517:132;;;:::o;14655:113::-;14725:4;14757;14752:3;14748:14;14740:22;;14655:113;;;:::o;14804:732::-;14923:3;14952:54;15000:5;14952:54;:::i;:::-;15022:86;15101:6;15096:3;15022:86;:::i;:::-;15015:93;;15132:56;15182:5;15132:56;:::i;:::-;15211:7;15242:1;15227:284;15252:6;15249:1;15246:13;15227:284;;;15328:6;15322:13;15355:63;15414:3;15399:13;15355:63;:::i;:::-;15348:70;;15441:60;15494:6;15441:60;:::i;:::-;15431:70;;15287:224;15274:1;15271;15267:9;15262:14;;15227:284;;;15231:14;15527:3;15520:10;;14928:608;;;14804:732;;;;:::o;15542:373::-;15685:4;15723:2;15712:9;15708:18;15700:26;;15772:9;15766:4;15762:20;15758:1;15747:9;15743:17;15736:47;15800:108;15903:4;15894:6;15800:108;:::i;:::-;15792:116;;15542:373;;;;:::o;15921:115::-;16006:23;16023:5;16006:23;:::i;:::-;16001:3;15994:36;15921:115;;:::o;16042:218::-;16133:4;16171:2;16160:9;16156:18;16148:26;;16184:69;16250:1;16239:9;16235:17;16226:6;16184:69;:::i;:::-;16042:218;;;;:::o;16266:144::-;16334:9;16367:37;16398:5;16367:37;:::i;:::-;16354:50;;16266:144;;;:::o;16416:167::-;16521:55;16570:5;16521:55;:::i;:::-;16516:3;16509:68;16416:167;;:::o;16589:258::-;16700:4;16738:2;16727:9;16723:18;16715:26;;16751:89;16837:1;16826:9;16822:17;16813:6;16751:89;:::i;:::-;16589:258;;;;:::o;16853:765::-;16939:6;16947;16955;16963;17012:3;17000:9;16991:7;16987:23;16983:33;16980:120;;;17019:79;;:::i;:::-;16980:120;17139:1;17164:53;17209:7;17200:6;17189:9;17185:22;17164:53;:::i;:::-;17154:63;;17110:117;17266:2;17292:53;17337:7;17328:6;17317:9;17313:22;17292:53;:::i;:::-;17282:63;;17237:118;17394:2;17420:53;17465:7;17456:6;17445:9;17441:22;17420:53;:::i;:::-;17410:63;;17365:118;17522:2;17548:53;17593:7;17584:6;17573:9;17569:22;17548:53;:::i;:::-;17538:63;;17493:118;16853:765;;;;;;;:::o;17624:169::-;17708:11;17742:6;17737:3;17730:19;17782:4;17777:3;17773:14;17758:29;;17624:169;;;;:::o;17799:166::-;17939:18;17935:1;17927:6;17923:14;17916:42;17799:166;:::o;17971:366::-;18113:3;18134:67;18198:2;18193:3;18134:67;:::i;:::-;18127:74;;18210:93;18299:3;18210:93;:::i;:::-;18328:2;18323:3;18319:12;18312:19;;17971:366;;;:::o;18343:419::-;18509:4;18547:2;18536:9;18532:18;18524:26;;18596:9;18590:4;18586:20;18582:1;18571:9;18567:17;18560:47;18624:131;18750:4;18624:131;:::i;:::-;18616:139;;18343:419;;;:::o;18768:174::-;18908:26;18904:1;18896:6;18892:14;18885:50;18768:174;:::o;18948:366::-;19090:3;19111:67;19175:2;19170:3;19111:67;:::i;:::-;19104:74;;19187:93;19276:3;19187:93;:::i;:::-;19305:2;19300:3;19296:12;19289:19;;18948:366;;;:::o;19320:419::-;19486:4;19524:2;19513:9;19509:18;19501:26;;19573:9;19567:4;19563:20;19559:1;19548:9;19544:17;19537:47;19601:131;19727:4;19601:131;:::i;:::-;19593:139;;19320:419;;;:::o;19745:137::-;19799:5;19830:6;19824:13;19815:22;;19846:30;19870:5;19846:30;:::i;:::-;19745:137;;;;:::o;19888:345::-;19955:6;20004:2;19992:9;19983:7;19979:23;19975:32;19972:119;;;20010:79;;:::i;:::-;19972:119;20130:1;20155:61;20208:7;20199:6;20188:9;20184:22;20155:61;:::i;:::-;20145:71;;20101:125;19888:345;;;;:::o;20239:164::-;20379:16;20375:1;20367:6;20363:14;20356:40;20239:164;:::o;20409:366::-;20551:3;20572:67;20636:2;20631:3;20572:67;:::i;:::-;20565:74;;20648:93;20737:3;20648:93;:::i;:::-;20766:2;20761:3;20757:12;20750:19;;20409:366;;;:::o;20781:419::-;20947:4;20985:2;20974:9;20970:18;20962:26;;21034:9;21028:4;21024:20;21020:1;21009:9;21005:17;20998:47;21062:131;21188:4;21062:131;:::i;:::-;21054:139;;20781:419;;;:::o;21206:180::-;21254:77;21251:1;21244:88;21351:4;21348:1;21341:15;21375:4;21372:1;21365:15;21392:167;21429:3;21452:22;21468:5;21452:22;:::i;:::-;21443:31;;21496:4;21489:5;21486:15;21483:41;;21504:18;;:::i;:::-;21483:41;21551:1;21544:5;21540:13;21533:20;;21392:167;;;:::o;21565:438::-;21712:4;21750:2;21739:9;21735:18;21727:26;;21763:69;21829:1;21818:9;21814:17;21805:6;21763:69;:::i;:::-;21842:72;21910:2;21899:9;21895:18;21886:6;21842:72;:::i;:::-;21924;21992:2;21981:9;21977:18;21968:6;21924:72;:::i;:::-;21565:438;;;;;;:::o;22009:141::-;22065:5;22096:6;22090:13;22081:22;;22112:32;22138:5;22112:32;:::i;:::-;22009:141;;;;:::o;22156:349::-;22225:6;22274:2;22262:9;22253:7;22249:23;22245:32;22242:119;;;22280:79;;:::i;:::-;22242:119;22400:1;22425:63;22480:7;22471:6;22460:9;22456:22;22425:63;:::i;:::-;22415:73;;22371:127;22156:349;;;;:::o;22511:233::-;22550:3;22573:24;22591:5;22573:24;:::i;:::-;22564:33;;22619:66;22612:5;22609:77;22606:103;;22689:18;;:::i;:::-;22606:103;22736:1;22729:5;22725:13;22718:20;;22511:233;;;:::o;22750:180::-;22798:77;22795:1;22788:88;22895:4;22892:1;22885:15;22919:4;22916:1;22909:15;22936:410;22976:7;22999:20;23017:1;22999:20;:::i;:::-;22994:25;;23033:20;23051:1;23033:20;:::i;:::-;23028:25;;23088:1;23085;23081:9;23110:30;23128:11;23110:30;:::i;:::-;23099:41;;23289:1;23280:7;23276:15;23273:1;23270:22;23250:1;23243:9;23223:83;23200:139;;23319:18;;:::i;:::-;23200:139;22984:362;22936:410;;;;:::o;23352:180::-;23400:77;23397:1;23390:88;23497:4;23494:1;23487:15;23521:4;23518:1;23511:15;23538:185;23578:1;23595:20;23613:1;23595:20;:::i;:::-;23590:25;;23629:20;23647:1;23629:20;:::i;:::-;23624:25;;23668:1;23658:35;;23673:18;;:::i;:::-;23658:35;23715:1;23712;23708:9;23703:14;;23538:185;;;;:::o;23729:194::-;23769:4;23789:20;23807:1;23789:20;:::i;:::-;23784:25;;23823:20;23841:1;23823:20;:::i;:::-;23818:25;;23867:1;23864;23860:9;23852:17;;23891:1;23885:4;23882:11;23879:37;;;23896:18;;:::i;:::-;23879:37;23729:194;;;;:::o;23929:200::-;23968:4;23988:19;24005:1;23988:19;:::i;:::-;23983:24;;24021:19;24038:1;24021:19;:::i;:::-;24016:24;;24064:1;24061;24057:9;24049:17;;24088:10;24082:4;24079:20;24076:46;;;24102:18;;:::i;:::-;24076:46;23929:200;;;;:::o;24135:275::-;24174:7;24197:19;24214:1;24197:19;:::i;:::-;24192:24;;24230:19;24247:1;24230:19;:::i;:::-;24225:24;;24284:1;24281;24277:9;24306:29;24323:11;24306:29;:::i;:::-;24295:40;;24367:11;24358:7;24355:24;24345:58;;24383:18;;:::i;:::-;24345:58;24182:228;24135:275;;;;:::o;24416:182::-;24455:1;24472:19;24489:1;24472:19;:::i;:::-;24467:24;;24505:19;24522:1;24505:19;:::i;:::-;24500:24;;24543:1;24533:35;;24548:18;;:::i;:::-;24533:35;24590:1;24587;24583:9;24578:14;;24416:182;;;;:::o;24604:188::-;24642:3;24661:18;24677:1;24661:18;:::i;:::-;24656:23;;24693:18;24709:1;24693:18;:::i;:::-;24688:23;;24734:1;24731;24727:9;24720:16;;24757:4;24752:3;24749:13;24746:39;;;24765:18;;:::i;:::-;24746:39;24604:188;;;;:::o;24798:171::-;24837:3;24860:24;24878:5;24860:24;:::i;:::-;24851:33;;24906:4;24899:5;24896:15;24893:41;;24914:18;;:::i;:::-;24893:41;24961:1;24954:5;24950:13;24943:20;;24798:171;;;:::o;24975:170::-;25115:22;25111:1;25103:6;25099:14;25092:46;24975:170;:::o;25151:366::-;25293:3;25314:67;25378:2;25373:3;25314:67;:::i;:::-;25307:74;;25390:93;25479:3;25390:93;:::i;:::-;25508:2;25503:3;25499:12;25492:19;;25151:366;;;:::o;25523:419::-;25689:4;25727:2;25716:9;25712:18;25704:26;;25776:9;25770:4;25766:20;25762:1;25751:9;25747:17;25740:47;25804:131;25930:4;25804:131;:::i;:::-;25796:139;;25523:419;;;:::o;25948:191::-;25988:3;26007:20;26025:1;26007:20;:::i;:::-;26002:25;;26041:20;26059:1;26041:20;:::i;:::-;26036:25;;26084:1;26081;26077:9;26070:16;;26105:3;26102:1;26099:10;26096:36;;;26112:18;;:::i;:::-;26096:36;25948:191;;;;:::o;26145:163::-;26285:15;26281:1;26273:6;26269:14;26262:39;26145:163;:::o;26314:366::-;26456:3;26477:67;26541:2;26536:3;26477:67;:::i;:::-;26470:74;;26553:93;26642:3;26553:93;:::i;:::-;26671:2;26666:3;26662:12;26655:19;;26314:366;;;:::o;26686:419::-;26852:4;26890:2;26879:9;26875:18;26867:26;;26939:9;26933:4;26929:20;26925:1;26914:9;26910:17;26903:47;26967:131;27093:4;26967:131;:::i;:::-;26959:139;;26686:419;;;:::o;27111:173::-;27251:25;27247:1;27239:6;27235:14;27228:49;27111:173;:::o;27290:366::-;27432:3;27453:67;27517:2;27512:3;27453:67;:::i;:::-;27446:74;;27529:93;27618:3;27529:93;:::i;:::-;27647:2;27642:3;27638:12;27631:19;;27290:366;;;:::o;27662:419::-;27828:4;27866:2;27855:9;27851:18;27843:26;;27915:9;27909:4;27905:20;27901:1;27890:9;27886:17;27879:47;27943:131;28069:4;27943:131;:::i;:::-;27935:139;;27662:419;;;:::o;28087:179::-;28227:31;28223:1;28215:6;28211:14;28204:55;28087:179;:::o;28272:366::-;28414:3;28435:67;28499:2;28494:3;28435:67;:::i;:::-;28428:74;;28511:93;28600:3;28511:93;:::i;:::-;28629:2;28624:3;28620:12;28613:19;;28272:366;;;:::o;28644:419::-;28810:4;28848:2;28837:9;28833:18;28825:26;;28897:9;28891:4;28887:20;28883:1;28872:9;28868:17;28861:47;28925:131;29051:4;28925:131;:::i;:::-;28917:139;;28644:419;;;:::o;29069:169::-;29209:21;29205:1;29197:6;29193:14;29186:45;29069:169;:::o;29244:366::-;29386:3;29407:67;29471:2;29466:3;29407:67;:::i;:::-;29400:74;;29483:93;29572:3;29483:93;:::i;:::-;29601:2;29596:3;29592:12;29585:19;;29244:366;;;:::o;29616:419::-;29782:4;29820:2;29809:9;29805:18;29797:26;;29869:9;29863:4;29859:20;29855:1;29844:9;29840:17;29833:47;29897:131;30023:4;29897:131;:::i;:::-;29889:139;;29616:419;;;:::o;30041:161::-;30181:13;30177:1;30169:6;30165:14;30158:37;30041:161;:::o;30208:366::-;30350:3;30371:67;30435:2;30430:3;30371:67;:::i;:::-;30364:74;;30447:93;30536:3;30447:93;:::i;:::-;30565:2;30560:3;30556:12;30549:19;;30208:366;;;:::o;30580:419::-;30746:4;30784:2;30773:9;30769:18;30761:26;;30833:9;30827:4;30823:20;30819:1;30808:9;30804:17;30797:47;30861:131;30987:4;30861:131;:::i;:::-;30853:139;;30580:419;;;:::o;31005:332::-;31126:4;31164:2;31153:9;31149:18;31141:26;;31177:71;31245:1;31234:9;31230:17;31221:6;31177:71;:::i;:::-;31258:72;31326:2;31315:9;31311:18;31302:6;31258:72;:::i;:::-;31005:332;;;;;:::o;31343:163::-;31483:15;31479:1;31471:6;31467:14;31460:39;31343:163;:::o;31512:366::-;31654:3;31675:67;31739:2;31734:3;31675:67;:::i;:::-;31668:74;;31751:93;31840:3;31751:93;:::i;:::-;31869:2;31864:3;31860:12;31853:19;;31512:366;;;:::o;31884:419::-;32050:4;32088:2;32077:9;32073:18;32065:26;;32137:9;32131:4;32127:20;32123:1;32112:9;32108:17;32101:47;32165:131;32291:4;32165:131;:::i;:::-;32157:139;;31884:419;;;:::o;32309:176::-;32449:28;32445:1;32437:6;32433:14;32426:52;32309:176;:::o;32491:366::-;32633:3;32654:67;32718:2;32713:3;32654:67;:::i;:::-;32647:74;;32730:93;32819:3;32730:93;:::i;:::-;32848:2;32843:3;32839:12;32832:19;;32491:366;;;:::o;32863:419::-;33029:4;33067:2;33056:9;33052:18;33044:26;;33116:9;33110:4;33106:20;33102:1;33091:9;33087:17;33080:47;33144:131;33270:4;33144:131;:::i;:::-;33136:139;;32863:419;;;:::o;33288:166::-;33428:18;33424:1;33416:6;33412:14;33405:42;33288:166;:::o;33460:366::-;33602:3;33623:67;33687:2;33682:3;33623:67;:::i;:::-;33616:74;;33699:93;33788:3;33699:93;:::i;:::-;33817:2;33812:3;33808:12;33801:19;;33460:366;;;:::o;33832:419::-;33998:4;34036:2;34025:9;34021:18;34013:26;;34085:9;34079:4;34075:20;34071:1;34060:9;34056:17;34049:47;34113:131;34239:4;34113:131;:::i;:::-;34105:139;;33832:419;;;:::o;34257:173::-;34397:25;34393:1;34385:6;34381:14;34374:49;34257:173;:::o;34436:366::-;34578:3;34599:67;34663:2;34658:3;34599:67;:::i;:::-;34592:74;;34675:93;34764:3;34675:93;:::i;:::-;34793:2;34788:3;34784:12;34777:19;;34436:366;;;:::o;34808:419::-;34974:4;35012:2;35001:9;34997:18;34989:26;;35061:9;35055:4;35051:20;35047:1;35036:9;35032:17;35025:47;35089:131;35215:4;35089:131;:::i;:::-;35081:139;;34808:419;;;:::o;35233:167::-;35373:19;35369:1;35361:6;35357:14;35350:43;35233:167;:::o;35406:366::-;35548:3;35569:67;35633:2;35628:3;35569:67;:::i;:::-;35562:74;;35645:93;35734:3;35645:93;:::i;:::-;35763:2;35758:3;35754:12;35747:19;;35406:366;;;:::o;35778:419::-;35944:4;35982:2;35971:9;35967:18;35959:26;;36031:9;36025:4;36021:20;36017:1;36006:9;36002:17;35995:47;36059:131;36185:4;36059:131;:::i;:::-;36051:139;;35778:419;;;:::o;36203:168::-;36343:20;36339:1;36331:6;36327:14;36320:44;36203:168;:::o;36377:366::-;36519:3;36540:67;36604:2;36599:3;36540:67;:::i;:::-;36533:74;;36616:93;36705:3;36616:93;:::i;:::-;36734:2;36729:3;36725:12;36718:19;;36377:366;;;:::o;36749:419::-;36915:4;36953:2;36942:9;36938:18;36930:26;;37002:9;36996:4;36992:20;36988:1;36977:9;36973:17;36966:47;37030:131;37156:4;37030:131;:::i;:::-;37022:139;;36749:419;;;:::o;37174:175::-;37212:3;37235:23;37252:5;37235:23;:::i;:::-;37226:32;;37280:10;37273:5;37270:21;37267:47;;37294:18;;:::i;:::-;37267:47;37341:1;37334:5;37330:13;37323:20;;37174:175;;;:::o;37355:197::-;37394:3;37413:19;37430:1;37413:19;:::i;:::-;37408:24;;37446:19;37463:1;37446:19;:::i;:::-;37441:24;;37488:1;37485;37481:9;37474:16;;37511:10;37506:3;37503:19;37500:45;;;37525:18;;:::i;:::-;37500:45;37355:197;;;;:::o;37558:169::-;37698:21;37694:1;37686:6;37682:14;37675:45;37558:169;:::o;37733:366::-;37875:3;37896:67;37960:2;37955:3;37896:67;:::i;:::-;37889:74;;37972:93;38061:3;37972:93;:::i;:::-;38090:2;38085:3;38081:12;38074:19;;37733:366;;;:::o;38105:419::-;38271:4;38309:2;38298:9;38294:18;38286:26;;38358:9;38352:4;38348:20;38344:1;38333:9;38329:17;38322:47;38386:131;38512:4;38386:131;:::i;:::-;38378:139;;38105:419;;;:::o;38530:168::-;38670:20;38666:1;38658:6;38654:14;38647:44;38530:168;:::o;38704:366::-;38846:3;38867:67;38931:2;38926:3;38867:67;:::i;:::-;38860:74;;38943:93;39032:3;38943:93;:::i;:::-;39061:2;39056:3;39052:12;39045:19;;38704:366;;;:::o;39076:419::-;39242:4;39280:2;39269:9;39265:18;39257:26;;39329:9;39323:4;39319:20;39315:1;39304:9;39300:17;39293:47;39357:131;39483:4;39357:131;:::i;:::-;39349:139;;39076:419;;;:::o;39501:143::-;39558:5;39589:6;39583:13;39574:22;;39605:33;39632:5;39605:33;:::i;:::-;39501:143;;;;:::o;39650:351::-;39720:6;39769:2;39757:9;39748:7;39744:23;39740:32;39737:119;;;39775:79;;:::i;:::-;39737:119;39895:1;39920:64;39976:7;39967:6;39956:9;39952:22;39920:64;:::i;:::-;39910:74;;39866:128;39650:351;;;;:::o;40007:166::-;40147:18;40143:1;40135:6;40131:14;40124:42;40007:166;:::o;40179:366::-;40321:3;40342:67;40406:2;40401:3;40342:67;:::i;:::-;40335:74;;40418:93;40507:3;40418:93;:::i;:::-;40536:2;40531:3;40527:12;40520:19;;40179:366;;;:::o;40551:419::-;40717:4;40755:2;40744:9;40740:18;40732:26;;40804:9;40798:4;40794:20;40790:1;40779:9;40775:17;40768:47;40832:131;40958:4;40832:131;:::i;:::-;40824:139;;40551:419;;;:::o;40976:139::-;41031:5;41062:6;41056:13;41047:22;;41078:31;41103:5;41078:31;:::i;:::-;40976:139;;;;:::o;41121:347::-;41189:6;41238:2;41226:9;41217:7;41213:23;41209:32;41206:119;;;41244:79;;:::i;:::-;41206:119;41364:1;41389:62;41443:7;41434:6;41423:9;41419:22;41389:62;:::i;:::-;41379:72;;41335:126;41121:347;;;;:::o;41474:102::-;41516:8;41563:5;41560:1;41556:13;41535:34;;41474:102;;;:::o;41582:848::-;41643:5;41650:4;41674:6;41665:15;;41698:5;41689:14;;41712:712;41733:1;41723:8;41720:15;41712:712;;;41828:4;41823:3;41819:14;41813:4;41810:24;41807:50;;;41837:18;;:::i;:::-;41807:50;41887:1;41877:8;41873:16;41870:451;;;42302:4;42295:5;42291:16;42282:25;;41870:451;42352:4;42346;42342:15;42334:23;;42382:32;42405:8;42382:32;:::i;:::-;42370:44;;41712:712;;;41582:848;;;;;;;:::o;42436:1073::-;42490:5;42681:8;42671:40;;42702:1;42693:10;;42704:5;;42671:40;42730:4;42720:36;;42747:1;42738:10;;42749:5;;42720:36;42816:4;42864:1;42859:27;;;;42900:1;42895:191;;;;42809:277;;42859:27;42877:1;42868:10;;42879:5;;;42895:191;42940:3;42930:8;42927:17;42924:43;;;42947:18;;:::i;:::-;42924:43;42996:8;42993:1;42989:16;42980:25;;43031:3;43024:5;43021:14;43018:40;;;43038:18;;:::i;:::-;43018:40;43071:5;;;42809:277;;43195:2;43185:8;43182:16;43176:3;43170:4;43167:13;43163:36;43145:2;43135:8;43132:16;43127:2;43121:4;43118:12;43114:35;43098:111;43095:246;;;43251:8;43245:4;43241:19;43232:28;;43286:3;43279:5;43276:14;43273:40;;;43293:18;;:::i;:::-;43273:40;43326:5;;43095:246;43366:42;43404:3;43394:8;43388:4;43385:1;43366:42;:::i;:::-;43351:57;;;;43440:4;43435:3;43431:14;43424:5;43421:25;43418:51;;;43449:18;;:::i;:::-;43418:51;43498:4;43491:5;43487:16;43478:25;;42436:1073;;;;;;:::o;43515:281::-;43573:5;43597:23;43615:4;43597:23;:::i;:::-;43589:31;;43641:25;43657:8;43641:25;:::i;:::-;43629:37;;43685:104;43722:66;43712:8;43706:4;43685:104;:::i;:::-;43676:113;;43515:281;;;;:::o;43802:442::-;43951:4;43989:2;43978:9;43974:18;43966:26;;44002:71;44070:1;44059:9;44055:17;44046:6;44002:71;:::i;:::-;44083:72;44151:2;44140:9;44136:18;44127:6;44083:72;:::i;:::-;44165;44233:2;44222:9;44218:18;44209:6;44165:72;:::i;:::-;43802:442;;;;;;:::o;44250:169::-;44390:21;44386:1;44378:6;44374:14;44367:45;44250:169;:::o;44425:366::-;44567:3;44588:67;44652:2;44647:3;44588:67;:::i;:::-;44581:74;;44664:93;44753:3;44664:93;:::i;:::-;44782:2;44777:3;44773:12;44766:19;;44425:366;;;:::o;44797:419::-;44963:4;45001:2;44990:9;44986:18;44978:26;;45050:9;45044:4;45040:20;45036:1;45025:9;45021:17;45014:47;45078:131;45204:4;45078:131;:::i;:::-;45070:139;;44797:419;;;:::o;45222:191::-;45260:4;45280:18;45296:1;45280:18;:::i;:::-;45275:23;;45312:18;45328:1;45312:18;:::i;:::-;45307:23;;45354:1;45351;45347:9;45339:17;;45378:4;45372;45369:14;45366:40;;;45386:18;;:::i;:::-;45366:40;45222:191;;;;:::o;45419:170::-;45449:1;45466:18;45482:1;45466:18;:::i;:::-;45461:23;;45498:18;45514:1;45498:18;:::i;:::-;45493:23;;45535:1;45525:35;;45540:18;;:::i;:::-;45525:35;45581:1;45578;45574:9;45569:14;;45419:170;;;;:::o;45595:220::-;45735:34;45731:1;45723:6;45719:14;45712:58;45804:3;45799:2;45791:6;45787:15;45780:28;45595:220;:::o;45821:366::-;45963:3;45984:67;46048:2;46043:3;45984:67;:::i;:::-;45977:74;;46060:93;46149:3;46060:93;:::i;:::-;46178:2;46173:3;46169:12;46162:19;;45821:366;;;:::o;46193:419::-;46359:4;46397:2;46386:9;46382:18;46374:26;;46446:9;46440:4;46436:20;46432:1;46421:9;46417:17;46410:47;46474:131;46600:4;46474:131;:::i;:::-;46466:139;;46193:419;;;:::o;46618:225::-;46758:34;46754:1;46746:6;46742:14;46735:58;46827:8;46822:2;46814:6;46810:15;46803:33;46618:225;:::o;46849:366::-;46991:3;47012:67;47076:2;47071:3;47012:67;:::i;:::-;47005:74;;47088:93;47177:3;47088:93;:::i;:::-;47206:2;47201:3;47197:12;47190:19;;46849:366;;;:::o;47221:419::-;47387:4;47425:2;47414:9;47410:18;47402:26;;47474:9;47468:4;47464:20;47460:1;47449:9;47445:17;47438:47;47502:131;47628:4;47502:131;:::i;:::-;47494:139;;47221:419;;;:::o;47646:181::-;47786:33;47782:1;47774:6;47770:14;47763:57;47646:181;:::o;47833:366::-;47975:3;47996:67;48060:2;48055:3;47996:67;:::i;:::-;47989:74;;48072:93;48161:3;48072:93;:::i;:::-;48190:2;48185:3;48181:12;48174:19;;47833:366;;;:::o;48205:419::-;48371:4;48409:2;48398:9;48394:18;48386:26;;48458:9;48452:4;48448:20;48444:1;48433:9;48429:17;48422:47;48486:131;48612:4;48486:131;:::i;:::-;48478:139;;48205:419;;;:::o;48630:164::-;48770:16;48766:1;48758:6;48754:14;48747:40;48630:164;:::o;48800:366::-;48942:3;48963:67;49027:2;49022:3;48963:67;:::i;:::-;48956:74;;49039:93;49128:3;49039:93;:::i;:::-;49157:2;49152:3;49148:12;49141:19;;48800:366;;;:::o;49172:419::-;49338:4;49376:2;49365:9;49361:18;49353:26;;49425:9;49419:4;49415:20;49411:1;49400:9;49396:17;49389:47;49453:131;49579:4;49453:131;:::i;:::-;49445:139;;49172:419;;;:::o;49597:182::-;49737:34;49733:1;49725:6;49721:14;49714:58;49597:182;:::o;49785:366::-;49927:3;49948:67;50012:2;50007:3;49948:67;:::i;:::-;49941:74;;50024:93;50113:3;50024:93;:::i;:::-;50142:2;50137:3;50133:12;50126:19;;49785:366;;;:::o;50157:419::-;50323:4;50361:2;50350:9;50346:18;50338:26;;50410:9;50404:4;50400:20;50396:1;50385:9;50381:17;50374:47;50438:131;50564:4;50438:131;:::i;:::-;50430:139;;50157:419;;;:::o

ipfs://356f431cd4a5b86219545d9c710857cbd3541ed6587f6a3ac9d4f004dc5fece0