Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT
// SYS 64738

pragma solidity ^0.8.11;

/*
  ::::::::::: :::    ::: :::::::::: ::::    ::: :::::::::: :::::::::::
     :+:     :+:    :+: :+:        :+:+:   :+: :+:            :+:
    +:+     +:+    +:+ +:+        :+:+:+  +:+ +:+            +:+
   +#+     +#++:++#++ +#++:++#   +#+ +:+ +#+ :#::+::#       +#+
  +#+     +#+    +#+ +#+        +#+  +#+#+# +#+            +#+
 #+#     #+#    #+# #+#        #+#   #+#+# #+#            #+#
###     ###    ### ########## ###    #### ###            ###

TheNFTv2 - TheDAO NFT
thedaonft.eth
https://github.com/0xTycoon/thedao-nft

On the 25th of July, 2017, The Securities and Exchange Commission (SEC) released an 18 page report about their
investigation in to TheDAO. The report concluded that TheDAO tokens are securities.

The following project converts each page in to an image, then shreds the images into strips. These strips can be then
minted into NFTs

RULES

1. Each NFT requires 1 DAO token to be minted
2. The DAO token will be wrapped inside the NFT
3. The DAO token can be unwrapped
4. When unwrapped, the NFT gets transferred to the "Dead Address"
5. The NFT can be restored from the "Dead Address" with 4 DAO restoration fee
6. the restoration fee goes to the Curator

### Digital Assets

The images are prepared with the help of a script, see script.php for the source.
The input for the script is TheDAO-SEC-34-81207.pdf with the sha256-hash of:
6c9ae041b9b9603da01d0aa4d912586c8d85b9fe1932c57f988d8bd0f9da3bc7

After the script completes creating all the tiles, the following sha256-hash will be printed:
final hash: 3ed52e4afc9030f69004f163017c3ffba0b837d90061437328af87330dee9575

### Minting

Minting is done sequentially from 0 to 1799
Up to 100 NFTs can be minted per transaction at a time (if gas allows)

At the beginning, all tokens are owned by 0x0
balanceOf(address(this)) is used to track how many tokens are yet to be minted

* Tokens cannot be sent to address(this)
* Tokens cannot be sent to 0x0

### Version 2

This upgrade fixes a bug with approvals, which was found & disclosed by @alphasoups

An upgrade method is provided
When minting, we will still use the old contract to mint,
As soon as it's minted, the NFT gets upgraded.

*/

import "./TheNFT.sol";
//import "./safemath.sol"; // we don't need it
//import "hardhat/console.sol";

contract TheNFTV2 {
    ITheNFTv1 v1;                                              // points to v1 of TheNFT
    /**
    * @dev PNG_SHA_256_HASH is a sha256 hash-sum of all 1800 bitmap tiles saved in the PNG format
    * (the final hash)
    */
    string public constant PNG_SHA_256_HASH = "3ed52e4afc9030f69004f163017c3ffba0b837d90061437328af87330dee9575";
    /**
    * @dev PDF_SHA_256_HASH is a sha256 hash-sum of the pdf file TheDAO-SEC-34-81207.pdf
    */
    string public constant PDF_SHA_256_HASH = "6c9ae041b9b9603da01d0aa4d912586c8d85b9fe1932c57f988d8bd0f9da3bc7";
    address private constant DEAD_ADDRESS = address(0x74eda0); // unwrapped NFTs go here
    address public curator;                                    // the curator receives restoration fees
    string private assetURL;
    string private baseURI;
    uint256 private immutable max;                             // total supply (1800)
    uint256 private constant fee = 4;                          // fee is the amount of DAO needed to restore

    // TheDAO stuff
    IERC20 private immutable theDAO;                           // the contract of TheDAO, the greatest DAO of all time
    uint256 private constant oneDao = 1e16;                    // 1 DAO = 16^10 wei or 0.01 ETH

    mapping(address => uint256) private balances;              // counts of ownership
    mapping(uint256  => address) private ownership;
    mapping(uint256  => address) private approval;
    mapping(address => mapping(address => bool)) private approvalAll; // operator approvals

    /**
     * Mint is fired when a new token is minted
     */
    event Mint(address owner, uint256 tokenId);
    /**
     * @dev Burn is fired when a token is burned
     */
    event Burn(address owner, uint256 tokenId);
    /**
     * @dev Restore is fired when a token is restored from the burn
     */
    event Restore(address owner, uint256 tokenId);
    /**
     * @dev Upgrade is fired when a token is upgraded
     */
    event Upgrade(address owner, uint256 tokenId);
    /**
     * @dev OwnershipTransferred is fired when a curator is changed
     */
    event OwnershipTransferred(address previousOwner, address newOwner);
    /**
     * @dev BaseURI is fired when the baseURI changed (set by the Curator)
     */
    event BaseURI(string);
    /**
    * @dev TheNFT constructor
    * @param _theDAO address of TheDAO contract
    * @param _max max supply of the NFT collection
    * @param _v1 address of old version
    */
    constructor(
        address _theDAO,
        uint256 _max,
        address _v1
    ) {
        curator = msg.sender;
        theDAO = IERC20(_theDAO);
        v1 = ITheNFTv1(_v1);
        max = _max;
        /* We will use v1 to mint */
        balances[address(this)] = max;          // track how many haven't been upgraded
        theDAO.approve(_v1, type(uint256).max); // allow v1 to spend our DAO
    }

    modifier onlyCurator {
        require(
            msg.sender == curator,
            "only curator can call this"
        );
        _;
    }

    /**
    * @dev regulators are not needed - smart contracts regulate themselves
    */
    modifier regulated(address _to) {
        require(
            _to != DEAD_ADDRESS,
            "cannot send to dead address"
        );
        require(
            _to != address(this),
            "cannot send to self"
        );
        require(
            _to != address(0),
            "cannot send to 0x"
        );
        _;
    }

    /**
    * @dev getStats helps to fetch some stats for the UI in a single web3 call
    * @param _user the address to return the report for
    * @return uint256[10] the stats
    */
    function getStats(address _user) external view returns(uint256[] memory) {
        uint[] memory ret = new uint[](10);
        ret[0] = theDAO.balanceOf(_user);                  // amount of TheDAO tokens owned by _user
        ret[1] = theDAO.allowance(_user, address(this));   // amount of DAO this contract is approved to spend
        ret[2] = v1.balanceOf(address(v1));                // how many NFTs to be minted
        ret[3] = v1.balanceOf(DEAD_ADDRESS);               // how many NFTs are burned (v1)
        ret[4] = theDAO.balanceOf(address(this));          // amount of DAO held by this contract
        ret[5] = balanceOf(_user);                         // how many _user has
        ret[6] = theDAO.balanceOf(address(v1));            // amount of DAO held by v1
        ret[7] = balanceOf(address(this));                 // how many NFTs to be upgraded
        ret[8] = balanceOf(DEAD_ADDRESS);                  // how many v2 nfts burned
        if (v1.isApprovedForAll(_user, address(this))) {
            ret[9] = 1;                                    // approved for upgrade?
        }
        return ret;
    }

    function upgrade(uint256[] calldata _ids) external {
        for (uint256 i; i < _ids.length; i++) {
            /*
             * The owner must be caller, and the NFT id must not exist in this contract
             * (the only way for NFTs to exist in this contract is to go through an upgrade, minting from 0x0 address)
             */
            require ((v1.ownerOf(_ids[i]) == msg.sender && ownership[_ids[i]] == address(0)), "not upgradable id");
            v1.transferFrom(msg.sender, address(this), _ids[i]); // transfer to here
            _upgrade(_ids[i]);                                   // burn * issue new nft
        }
    }

    function _upgrade(uint256 id) internal {
        v1.burn(id);                                    // take DAO token out
        _transfer(address(this), msg.sender, id);       // issue new nft
        emit Mint(msg.sender, id);
    }

    /**
    * @dev mint mints a token. Requires 1 DAO per NFT to mint
    */
    function mint(uint256 i) external {
        uint256 id = max - v1.balanceOf(address(v1));                    // id is the next assigned id
        require(id < max, "minting finished");
        require (i > 0 && i <= 100, "must be between 1 and 100");
        if (i + id > max) {                                            // if it goes over the max supply
            i = max -  id;                                             // cap it
        }
        require(
            theDAO.transferFrom(msg.sender, address(this), oneDao*i) == true,
            "DAO tokens required"
        );
        v1.mint(i);
        while (i > 0) {
            _upgrade(id);
            i--;
            id++;
        }
    }

    /**
    * @dev burn gives 1 DAO back to the owner
    */
    function burn(uint256 id) external {
        require (msg.sender == ownership[id], "only owner can burn");
        if (theDAO.transfer(msg.sender, oneDao)) {   // send theDAO token back to sender
            _transfer(msg.sender, DEAD_ADDRESS, id); // burn the NFT token
            emit Burn(msg.sender, id);
        }
    }

    /**
    * To restore, there will be a 4 DAO fee, so 5 DAO in total to restore
    */
    function restore(uint256 id) external {
        require(DEAD_ADDRESS == ownership[id], "must be dead");
        require(theDAO.transferFrom(msg.sender, address(this), oneDao), "DAO deposit insufficient");
        require(theDAO.transferFrom(msg.sender, curator, oneDao*fee), "DAO fee insufficient"); // Fee goes to the curator
        _transfer(DEAD_ADDRESS, msg.sender, id); // send the NFT token to the new owner
        emit Restore(msg.sender, id);
    }
    /**
    * @dev setCurator sets the curator address
    */
    function setCurator(address _curator) external onlyCurator {
        _transferOwnership(_curator);
    }

    /**
    * owner is part of the Ownable interface
    */
    function owner() external view returns (address) {
        return curator;
    }
    /**
    * renounceOwnership is part of the Ownable interface
    */
    function renounceOwnership() external  {
        _transferOwnership(address(0));
    }

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

    /**
    * @dev setBaseURI sets the baseURI value
    */
    function setBaseURI(string memory _uri) external onlyCurator {
        baseURI = _uri;
        emit BaseURI(_uri);
    }

    /***
    * ERC721 stuff
    */

    event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);

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

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

    /// @notice Count NFTs tracked by this contract
    /// @return A count of valid NFTs tracked by this contract, where each one of
    ///  them has an assigned and queryable owner not equal to the zero address
    function totalSupply() external view returns (uint256) {
        return max;
    }

    /// @notice Enumerate valid NFTs
    /// @dev Throws if `_index` >= `totalSupply()`.
    /// @param _index A counter less than `totalSupply()`
    /// @return The token identifier for the `_index`th NFT,
    ///  (sort order not specified)
    function tokenByIndex(uint256 _index) external view returns (uint256) {
        require (_index < max, "index out of range");
        return _index;
    }

    /// @notice Enumerate NFTs assigned to an owner
    /// @dev Throws if `_index` >= `balanceOf(_owner)` or if
    ///  `_owner` is the zero address, representing invalid NFTs.
    /// @param _owner An address where we are interested in NFTs owned by them
    /// @param _index A counter less than `balanceOf(_owner)`
    /// @return The token identifier for the `_index`th NFT assigned to `_owner`,
    ///   (sort order not specified)
    function tokenOfOwnerByIndex(address  _owner , uint256 _index) external view returns (uint256) {
        require (_index < max, "index out of range");
        require (_owner != address(0), "address invalid");
        require (ownership[_index] != address(0), "token not assigned");
        return _index;
    }

    /**
     * @dev Returns the number of tokens in ``owner``'s account.
     */
    function balanceOf(address _holder) public view returns (uint256) {
        require (_holder != address(0));
        return balances[_holder];
    }

    function name() public pure returns (string memory) {
        return "TheDAO SEC Report NFT";
    }

    function symbol() public pure returns (string memory) {
        return "TheNFTv2";
    }

    /**
     * @dev Returns the Uniform Resource Identifier (URI) for `tokenId` token.
     */
    function tokenURI(uint256 _tokenId) public view returns (string memory) {
        require (_tokenId < max, "index out of range");
        string memory _baseURI = baseURI;
        uint256 num = _tokenId % 100;
        return bytes(_baseURI).length > 0
        ? string(abi.encodePacked(_baseURI, toString(_tokenId/100), "/", toString(num), ".json"))
        : '';
    }

    /**
     * @dev Returns the owner of the `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function ownerOf(uint256 _tokenId) public view returns (address) {
        require (_tokenId < max, "index out of range");
        address holder = ownership[_tokenId];
        require (holder != address(0), "not minted.");
        return holder;
    }

    /**
    * @dev Throws unless `msg.sender` is the current owner, an authorized
    *  operator, or the approved address for this NFT. Throws if `_from` is
    *  not the current owner. Throws if `_to` is the zero address. Throws if
    *  `_tokenId` is not a valid NFT.
    * @param _from The current owner of the NFT
    * @param _to The new owner
    * @param _tokenId The NFT to transfer
    */
    function safeTransferFrom(address _from, address _to, uint256 _tokenId, bytes memory _data) external regulated(_to) {
        require (_tokenId < max, "index out of range");
        address o = ownership[_tokenId];
        require (o == _from, "_from must be owner");
        address a = approval[_tokenId];
        require (o == msg.sender || (a == msg.sender) || (approvalAll[o][msg.sender]), "not permitted");
        _transfer(_from, _to, _tokenId);
        if (a != address(0)) {
            approval[_tokenId] = address(0); // clear previous approval
            emit Approval(msg.sender, address(0), _tokenId);
        }
        require(_checkOnERC721Received(_from, _to, _tokenId, _data), "ERC721: transfer to non ERC721Receiver implementer");
    }

    /**
    * @dev Throws unless `msg.sender` is the current owner, an authorized
    *  operator, or the approved address for this NFT. Throws if `_from` is
    *  not the current owner. Throws if `_to` is the zero address. Throws if
    *  `_tokenId` is not a valid NFT.
    * @param _from The current owner of the NFT
    * @param _to The new owner
    * @param _tokenId The NFT to transfer
    */
    function safeTransferFrom(address _from, address _to, uint256 _tokenId) external regulated(_to) {
        require (_tokenId < max, "index out of range");
        address o = ownership[_tokenId];
        require (o == _from, "_from must be owner");
        address a = approval[_tokenId];
        require (o == msg.sender || (a == msg.sender) || (approvalAll[o][msg.sender]), "not permitted");
        _transfer(_from, _to, _tokenId);
        if (a != address(0)) {
            approval[_tokenId] = address(0); // clear previous approval
            emit Approval(msg.sender, address(0), _tokenId);
        }
        require(_checkOnERC721Received(_from, _to, _tokenId, ""), "ERC721: transfer to non ERC721Receiver implementer");
    }

    function transferFrom(address _from, address _to, uint256 _tokenId) external regulated(_to) {
        require (_tokenId < max, "index out of range");
        address o = ownership[_tokenId];
        require (o == _from, "_from must be owner");
        address a = approval[_tokenId];
        require (o == msg.sender|| (a == msg.sender) || (approvalAll[o][msg.sender]), "not permitted");
        _transfer(_from, _to, _tokenId);
        if (a != address(0)) {
            approval[_tokenId] = address(0); // clear previous approval
            emit Approval(msg.sender, address(0), _tokenId);
        }
    }

    /**
    * @notice Change or reaffirm the approved address for an NFT
    * @dev The zero address indicates there is no approved address.
    *  Throws unless `msg.sender` is the current NFT owner, or an authorized
    *  operator of the current owner.
    * @param _to The new approved NFT controller
    * @param _tokenId The NFT to approve
    */
    function approve(address _to, uint256 _tokenId) external {
        require (_tokenId < max, "index out of range");
        address o = ownership[_tokenId];
        require (o == msg.sender || isApprovedForAll(o, msg.sender), "action not token permitted");
        approval[_tokenId] = _to;
        emit Approval(msg.sender, _to, _tokenId);
    }
    /**
    * @notice Enable or disable approval for a third party ("operator") to manage
    *  all of `msg.sender`'s assets
    * @dev Emits the ApprovalForAll event. The contract MUST allow
    *  multiple operators per owner.
    * @param _operator Address to add to the set of authorized operators
    * @param _approved True if the operator is approved, false to revoke approval
    */
    function setApprovalForAll(address _operator, bool _approved) external {
        require(msg.sender != _operator, "ERC721: approve to caller");
        approvalAll[msg.sender][_operator] = _approved;
        emit ApprovalForAll(msg.sender, _operator, _approved);
    }

    /**
    * @notice Get the approved address for a single NFT
    * @dev Throws if `_tokenId` is not a valid NFT.
    * @param _tokenId The NFT to find the approved address for
    * @return The approved address for this NFT, or the zero address if there is none
    */
    function getApproved(uint256 _tokenId) public view returns (address) {
        require (_tokenId < max, "index out of range");
        return approval[_tokenId];
    }

    /**
    * @notice Query if an address is an authorized operator for another address
    * @param _owner The address that owns the NFTs
    * @param _operator The address that acts on behalf of the owner
    * @return True if `_operator` is an approved operator for `_owner`, false otherwise
    */
    function isApprovedForAll(address _owner, address _operator) public view returns (bool) {
        return approvalAll[_owner][_operator];
    }

    /**
    * @notice Query if a contract implements an interface
    * @param interfaceId The interface identifier, as specified in ERC-165
    * @dev Interface identification is specified in ERC-165. This function
    *  uses less than 30,000 gas.
    * @return `true` if the contract implements `interfaceID` and
    *  `interfaceID` is not 0xffffffff, `false` otherwise
    */
    function supportsInterface(bytes4 interfaceId) public pure returns (bool) {
        return
        interfaceId == type(IERC721).interfaceId ||
        interfaceId == type(IERC721Metadata).interfaceId ||
        interfaceId == type(IERC165).interfaceId ||
        interfaceId == type(IERC721Enumerable).interfaceId ||
        interfaceId == type(IERC721TokenReceiver).interfaceId;
    }

    /**
    * @dev transfer a token from _from to _to
    * @param _from from
    * @param _to to
    * @param _tokenId the token index
    */
    function _transfer(address _from, address _to, uint256 _tokenId) internal {
        balances[_to]++;
        balances[_from]--;
        ownership[_tokenId] = _to;
        emit Transfer(_from, _to, _tokenId);
    }

    // we do not allow NFTs to be send to this contract
    function onERC721Received(address /*_operator*/, address /*_from*/, uint256 /*_tokenId*/, bytes memory /*_data*/) external pure returns (bytes4) {
        revert("nope");
    }

    /**
    * @dev Internal function to invoke {IERC721Receiver-onERC721Received} on a target address.
    * The call is not executed if the target address is not a contract.
    *
    * @param from address representing the previous owner of the given token ID
    * @param to target address that will receive the tokens
    * @param tokenId uint256 ID of the token to be transferred
    * @param _data bytes optional data to send along with the call
    * @return bool whether the call correctly returned the expected magic value
    *
    * credits https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC721/ERC721.sol
    */
    function _checkOnERC721Received(
        address from,
        address to,
        uint256 tokenId,
        bytes memory _data
    ) private returns (bool) {
        if (isContract(to)) {
            try IERC721Receiver(to).onERC721Received(msg.sender, from, tokenId, _data) returns (bytes4 retval) {
                return retval == IERC721Receiver.onERC721Received.selector;
            } catch (bytes memory reason) {
                if (reason.length == 0) {
                    revert("ERC721: transfer to non ERC721Receiver implementer");
                } else {
                    assembly {
                        revert(add(32, reason), mload(reason))
                    }
                }
            }
            return false; // not needed, but the ide complains that there's "no return statement"
        } else {
            return true;
        }
    }

    /**
     * @dev Returns true if `account` is a contract.
     *
     * credits https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/Address.sol
     */
    function isContract(address account) internal view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    function toString(uint256 value) public pure returns (string memory) {
        // Inspired by openzeppelin's implementation - MIT licence
        // https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/Strings.sol#L15
        // this version removes the decimals counting

        uint8 count;
        if (value == 0) {
            return "0";
        }
        uint256 digits = 31;
        // bytes and strings are big endian, so working on the buffer from right to left
        // this means we won't need to reverse the string later
        bytes memory buffer = new bytes(32);
        while (value != 0) {
            buffer[digits] = bytes1(uint8(48 + uint256(value % 10)));
            value /= 10;
            digits -= 1;
            count++;
        }
        uint256 temp;
        assembly {
            temp := mload(add(buffer, 32))
            temp := shl(mul(sub(32,count),8), temp)
            mstore(add(buffer, 32), temp)
            mstore(buffer, count)
        }
        return string(buffer);
    }
}

interface ITheNFTv1 {
    function balanceOf(address) external view returns(uint256);
    function ownerOf(uint256) external view returns(address);
    function transferFrom(address,address,uint256) external;
    function isApprovedForAll(address, address) external view returns(bool) ;
    function burn(uint256) external;
    function mint(uint256) external;
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.11;

/*

TheNFT - TheDAO NFT
thedaonft.eth
https://github.com/0xTycoon/thedao-nft

On the 25th of July, 2017, The Securities and Exchange Commission (SEC) released an 18 page report about their
investigation in to TheDAO. The report concluded that TheDAO tokens are securities.

The following project converts each page in to an image, then shreds the images into strips. These strips can be then
minted into NFTs

RULES

1. Each NFT requires 1 DAO token to be minted
2. The DAO token will be wrapped inside the NFT
3. The DAO token can be unwrapped
4. When unwrapped, the NFT gets transferred to the "Dead Address"
5. The NFT can be restored from the "Dead Address" with 4 DAO restoration fee
6. the restoration fee goes to the Curator

### Digital Assets

The images are prepared with the help of a script, see script.php for the source.
The input for the script is TheDAO-SEC-34-81207.pdf with the sha256-hash of:
6c9ae041b9b9603da01d0aa4d912586c8d85b9fe1932c57f988d8bd0f9da3bc7

After the script completes creating all the tiles, the following sha256-hash will be printed:
final hash: 3ed52e4afc9030f69004f163017c3ffba0b837d90061437328af87330dee9575

### Minting

Minting is done sequentially from 0 to 1799
Up to 100 NFTs can be minted per transaction at a time (if gas allows)

At the beginning, all tokens are owned by 0x0
balanceOf(address(this)) is used to track how many tokens are yet to be minted

* Tokens cannot be sent to address(this)
* Tokens cannot be sent to 0x0



*/

//import "hardhat/console.sol";

//import "./safemath.sol"; // we don't need it

contract TheNFT {
    /**
    * @dev PNG_SHA_256_HASH is a sha256 hash-sum of all 1800 bitmap tiles saved in the PNG format
    * (the final hash)
    */
    string public constant PNG_SHA_256_HASH = "3ed52e4afc9030f69004f163017c3ffba0b837d90061437328af87330dee9575";
    /**
    * @dev PDF_SHA_256_HASH is a sha256 hash-sum of the pdf file TheDAO-SEC-34-81207.pdf
    */
    string public constant PDF_SHA_256_HASH = "6c9ae041b9b9603da01d0aa4d912586c8d85b9fe1932c57f988d8bd0f9da3bc7";
    address private constant DEAD_ADDRESS = address(0x74eda0); // unwrapped NFTs go here
    address public curator;                                    // the curator receives restoration fees
    string private assetURL;
    string private baseURI;
    uint256 private immutable max;                             // total supply (1800)
    uint256 private constant fee = 4;                          // fee is the amount of DAO needed to restore

    // TheDAO stuff
    IERC20 private immutable theDAO;                           // the contract of TheDAO, the greatest DAO of all time
    uint256 private constant oneDao = 1e16;                    // 1 DAO = 16^10 wei or 0.01 ETH

    mapping(address => uint256) private balances;              // counts of ownership
    mapping(uint256  => address) private ownership;
    mapping(uint256  => address) private approval;
    mapping(address => mapping(address => bool)) private approvalAll; // operator approvals

    /**
     * Mint is fired when a new token is minted
     */
    event Mint(address owner, uint256 tokenId);
    /**
     * @dev Burn is fired when a token is burned
     */
    event Burn(address owner, uint256 tokenId);
    /**
     * @dev Restore is fired when a token is restored from the burn
     */
    event Restore(address owner, uint256 tokenId);
    /**
     * @dev Curator is fired when a curator is changed
     */
    event Curator(address curator);
    /**
     * @dev BaseURI is fired when the baseURI changed (set by the Curator)
     */
    event BaseURI(string);

    /**
    * @dev TheNFT constructor
    * @param _theDAO address of TheDAO contract
    * @param _max max supply of the NFT collection
    */
    constructor(address _theDAO, uint256 _max) {
        curator = msg.sender;
        theDAO = IERC20(_theDAO);
        balances[address(this)] = _max; // track how many haven't been minted
        max = _max;
    }

    modifier onlyCurator {
        require(
            msg.sender == curator,
            "only curator can call this"
        );
        _;
    }

    /**
    * @dev regulators are not needed - smart contracts regulate themselves
    */
    modifier regulated(address _to) {
        require(
            _to != DEAD_ADDRESS,
            "cannot send to dead address"
        );
        require(
            _to != address(this),
            "cannot send to self"
        );
        require(
            _to != address(0),
            "cannot send to 0x"
        );
        _;
    }

    /**
    * @dev getStats helps to fetch some stats for the UI in a single web3 call
    * @param _user the address to return the report for
    * @return uint256[6] the stats
    */
    function getStats(address _user) external view returns(uint256[] memory) {
        uint[] memory ret = new uint[](6);
        ret[0] = theDAO.balanceOf(_user);                // amount of TheDAO tokens owned by _user
        ret[1] = theDAO.allowance(_user, address(this)); // amount of DAO this contract is approved to spend
        ret[2] = balanceOf(address(this));               // how many NFTs to be minted
        ret[3] = balanceOf(DEAD_ADDRESS);                // how many NFTs are burned
        ret[4] = theDAO.balanceOf(address(this));        // amount of DAO held by this contract
        ret[5] = balanceOf(_user);                       // how many _user has
        return ret;
    }

    /**
    * @dev mint mints a token. Requires 1 DAO per NFT to mint
    */
    function mint(uint256 i) external {
        uint256 id = max - balances[address(this)];                    // id is the next assigned id
        require(id < max, "minting finished");
        require (i > 0 && i <= 100, "must be between 1 and 100");
        if (i + id > max) {                                            // if it goes over the max supply
            i = max -  id;                                             // cap it
        }
        if (theDAO.transferFrom(msg.sender, address(this), oneDao*i)) { // take the DAO fee
            while (i > 0) {
                _transfer(address(this), msg.sender, id);
                emit Mint(msg.sender, id);
                i--;
                id++;
            }
        }
    }

    /**
    * @dev burn gives 1 DAO back to the owner
    */
    function burn(uint256 id) external {
        require (msg.sender == ownership[id], "only owner can burn");
        if (theDAO.transfer(msg.sender, oneDao)) { // send theDAO token back to sender
            _transfer(msg.sender, DEAD_ADDRESS, id); // burn the NFT token
            emit Burn(msg.sender, id);
        }
    }

    /**
    * To restore, there will be a 4 DAO fee, so 5 DAO in total to restore
    */
    function restore(uint256 id) external {
        require(DEAD_ADDRESS == ownership[id], "must be dead");
        require(theDAO.transferFrom(msg.sender, address(this), oneDao), "DAO deposit insufficient");
        require(theDAO.transferFrom(msg.sender, curator, oneDao*fee), "DAO fee insufficient"); // Fee goes to the curator
        _transfer(DEAD_ADDRESS, msg.sender, id); // send the NFT token to the new owner
        emit Restore(msg.sender, id);
    }
    /**
    * @dev setCurator sets the curator address
    */
    function setCurator(address _curator) external onlyCurator {
        curator = _curator;
        emit Curator(_curator);
    }

    /**
    * @dev setBaseURI sets the baseURI value
    */
    function setBaseURI(string memory _uri) external onlyCurator {
        baseURI = _uri;
        emit BaseURI(_uri);
    }

    /***
    * ERC721 stuff
    */

    event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);

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

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

    /// @notice Count NFTs tracked by this contract
    /// @return A count of valid NFTs tracked by this contract, where each one of
    ///  them has an assigned and queryable owner not equal to the zero address
    function totalSupply() external view returns (uint256) {
        return max;
    }

    /// @notice Enumerate valid NFTs
    /// @dev Throws if `_index` >= `totalSupply()`.
    /// @param _index A counter less than `totalSupply()`
    /// @return The token identifier for the `_index`th NFT,
    ///  (sort order not specified)
    function tokenByIndex(uint256 _index) external view returns (uint256) {
        require (_index < max, "index out of range");
        return _index;
    }

    /// @notice Enumerate NFTs assigned to an owner
    /// @dev Throws if `_index` >= `balanceOf(_owner)` or if
    ///  `_owner` is the zero address, representing invalid NFTs.
    /// @param _owner An address where we are interested in NFTs owned by them
    /// @param _index A counter less than `balanceOf(_owner)`
    /// @return The token identifier for the `_index`th NFT assigned to `_owner`,
    ///   (sort order not specified)
    function tokenOfOwnerByIndex(address  _owner , uint256 _index) external view returns (uint256) {
        require (_index < max, "index out of range");
        require (_owner != address(0), "address invalid");
        require (ownership[_index] != address(0), "token not assigned");
        return _index;
    }

    /**
     * @dev Returns the number of tokens in ``owner``'s account.
     */
    function balanceOf(address _holder) public view returns (uint256) {
        require (_holder != address(0));
        return balances[_holder];
    }

    function name() public pure returns (string memory) {
        return "TheNFT Project";
    }

    function symbol() public pure returns (string memory) {
        return "TheNFT";
    }

    /**
     * @dev Returns the Uniform Resource Identifier (URI) for `tokenId` token.
     */
    function tokenURI(uint256 _tokenId) public view returns (string memory) {
        require (_tokenId < max, "index out of range");
        string memory _baseURI = baseURI;
        uint256 num = _tokenId % 100;
        return bytes(_baseURI).length > 0
        ? string(abi.encodePacked(_baseURI, toString(_tokenId/100), "/", toString(num), ".json"))
        : '';
    }

    /**
     * @dev Returns the owner of the `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function ownerOf(uint256 _tokenId) public view returns (address) {
        require (_tokenId < max, "index out of range");
        address holder = ownership[_tokenId];
        require (holder != address(0), "not minted.");
        return holder;
    }

    /**
    * @dev Throws unless `msg.sender` is the current owner, an authorized
    *  operator, or the approved address for this NFT. Throws if `_from` is
    *  not the current owner. Throws if `_to` is the zero address. Throws if
    *  `_tokenId` is not a valid NFT.
    * @param _from The current owner of the NFT
    * @param _to The new owner
    * @param _tokenId The NFT to transfer
    */
    function safeTransferFrom(address _from, address _to, uint256 _tokenId, bytes memory _data) external regulated(_to) {
        require (_tokenId < max, "index out of range");
        address owner = ownership[_tokenId];
        require (owner == _from, "_from must be owner");
        require (_to != address(0), "_to most not be 0x");
        if (msg.sender == owner || (approvalAll[owner][msg.sender])) {
            _transfer(_from, _to, _tokenId);
        } else if (approval[_tokenId] == msg.sender) {
            approval[_tokenId] = address (0); // clear previous approval
            emit Approval(msg.sender, address (0), _tokenId);
            _transfer(_from, _to, _tokenId);
        } else {
            revert("not permitted");
        }
        require(_checkOnERC721Received(_from, _to, _tokenId, _data), "ERC721: transfer to non ERC721Receiver implementer");
    }

    /**
    * @dev Throws unless `msg.sender` is the current owner, an authorized
    *  operator, or the approved address for this NFT. Throws if `_from` is
    *  not the current owner. Throws if `_to` is the zero address. Throws if
    *  `_tokenId` is not a valid NFT.
    * @param _from The current owner of the NFT
    * @param _to The new owner
    * @param _tokenId The NFT to transfer
    */
    function safeTransferFrom(address _from, address _to, uint256 _tokenId) external regulated(_to) {
        require (_tokenId < max, "index out of range");
        address owner = ownership[_tokenId];
        require (owner == _from, "_from must be owner");
        require (_to != address(0), "_to most not be 0x");
        if (msg.sender == owner || (approvalAll[owner][msg.sender])) {
            _transfer(_from, _to, _tokenId);
        } else if (approval[_tokenId] == msg.sender) {
            approval[_tokenId] = address (0); // clear previous approval
            emit Approval(msg.sender, address (0), _tokenId);
            _transfer(_from, _to, _tokenId);
        } else {
            revert("not permitted");
        }
        require(_checkOnERC721Received(_from, _to, _tokenId, ""), "ERC721: transfer to non ERC721Receiver implementer");
    }

    function transferFrom(address _from, address _to, uint256 _tokenId) external regulated(_to) {
        require (_tokenId < max, "index out of range");
        address owner = ownership[_tokenId];
        require (owner == _from, "_from must be owner");
        require (_to != address(0), "_to most not be 0x");
        if (msg.sender == owner || (approvalAll[owner][msg.sender])) {
            _transfer(_from, _to, _tokenId);
        } else if (approval[_tokenId] == msg.sender) {
            approval[_tokenId] = address (0); // clear previous approval
            emit Approval(msg.sender, address (0), _tokenId);
            _transfer(_from, _to, _tokenId);
        } else {
            revert("not permitted");
        }
    }

    /**
    * @notice Change or reaffirm the approved address for an NFT
    * @dev The zero address indicates there is no approved address.
    *  Throws unless `msg.sender` is the current NFT owner, or an authorized
    *  operator of the current owner.
    * @param _to The new approved NFT controller
    * @param _tokenId The NFT to approve
    */
    function approve(address _to, uint256 _tokenId) external {
        require (_tokenId < max, "index out of range");
        address owner = ownership[_tokenId];
        require (owner == msg.sender || isApprovedForAll(owner, msg.sender), "action not token permitted");
        approval[_tokenId] = _to;
        emit Approval(msg.sender, _to, _tokenId);
    }
    /**
    * @notice Enable or disable approval for a third party ("operator") to manage
    *  all of `msg.sender`'s assets
    * @dev Emits the ApprovalForAll event. The contract MUST allow
    *  multiple operators per owner.
    * @param _operator Address to add to the set of authorized operators
    * @param _approved True if the operator is approved, false to revoke approval
    */
    function setApprovalForAll(address _operator, bool _approved) external {
        require(msg.sender != _operator, "ERC721: approve to caller");
        approvalAll[msg.sender][_operator] = _approved;
        emit ApprovalForAll(msg.sender, _operator, _approved);
    }

    /**
    * @notice Get the approved address for a single NFT
    * @dev Throws if `_tokenId` is not a valid NFT.
    * @param _tokenId The NFT to find the approved address for
    * @return The approved address for this NFT, or the zero address if there is none
    */
    function getApproved(uint256 _tokenId) public view returns (address) {
        require (_tokenId < max, "index out of range");
        return approval[_tokenId];
    }

    /**
    * @notice Query if an address is an authorized operator for another address
    * @param _owner The address that owns the NFTs
    * @param _operator The address that acts on behalf of the owner
    * @return True if `_operator` is an approved operator for `_owner`, false otherwise
    */
    function isApprovedForAll(address _owner, address _operator) public view returns (bool) {
        return approvalAll[_owner][_operator];
    }

    /**
    * @notice Query if a contract implements an interface
    * @param interfaceId The interface identifier, as specified in ERC-165
    * @dev Interface identification is specified in ERC-165. This function
    *  uses less than 30,000 gas.
    * @return `true` if the contract implements `interfaceID` and
    *  `interfaceID` is not 0xffffffff, `false` otherwise
    */
    function supportsInterface(bytes4 interfaceId) public pure returns (bool) {
        return
        interfaceId == type(IERC721).interfaceId ||
        interfaceId == type(IERC721Metadata).interfaceId ||
        interfaceId == type(IERC165).interfaceId ||
        interfaceId == type(IERC721Enumerable).interfaceId ||
        interfaceId == type(IERC721TokenReceiver).interfaceId;
    }

    /**
    * @dev transfer a token from _from to _to
    * @param _from from
    * @param _to to
    * @param _tokenId the token index
    */
    function _transfer(address _from, address _to, uint256 _tokenId) internal {
        balances[_to]++;
        balances[_from]--;
        ownership[_tokenId] = _to;
        emit Transfer(_from, _to, _tokenId);
    }

    // we do not allow NFTs to be send to this contract
    function onERC721Received(address /*_operator*/, address /*_from*/, uint256 /*_tokenId*/, bytes memory /*_data*/) external pure returns (bytes4) {
        revert("nope");
    }

    /**
    * @dev Internal function to invoke {IERC721Receiver-onERC721Received} on a target address.
    * The call is not executed if the target address is not a contract.
    *
    * @param from address representing the previous owner of the given token ID
    * @param to target address that will receive the tokens
    * @param tokenId uint256 ID of the token to be transferred
    * @param _data bytes optional data to send along with the call
    * @return bool whether the call correctly returned the expected magic value
    *
    * credits https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC721/ERC721.sol
    */
    function _checkOnERC721Received(
        address from,
        address to,
        uint256 tokenId,
        bytes memory _data
    ) private returns (bool) {
        if (isContract(to)) {
            try IERC721Receiver(to).onERC721Received(msg.sender, from, tokenId, _data) returns (bytes4 retval) {
                return retval == IERC721Receiver.onERC721Received.selector;
            } catch (bytes memory reason) {
                if (reason.length == 0) {
                    revert("ERC721: transfer to non ERC721Receiver implementer");
                } else {
                    assembly {
                        revert(add(32, reason), mload(reason))
                    }
                }
            }
            return false; // not needed, but the ide complains that there's "no return statement"
        } else {
            return true;
        }
    }

    /**
     * @dev Returns true if `account` is a contract.
     *
     * credits https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/Address.sol
     */
    function isContract(address account) internal view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    function toString(uint256 value) public pure returns (string memory) {
        // Inspired by openzeppelin's implementation - MIT licence
        // https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/Strings.sol#L15
        // this version removes the decimals counting

        uint8 count;
        if (value == 0) {
            return "0";
        }
        uint256 digits = 31;
        // bytes and strings are big endian, so working on the buffer from right to left
        // this means we won't need to reverse the string later
        bytes memory buffer = new bytes(32);
        while (value != 0) {
            buffer[digits] = bytes1(uint8(48 + uint256(value % 10)));
            value /= 10;
            digits -= 1;
            count++;
        }
        uint256 temp;
        assembly {
            temp := mload(add(buffer, 32))
            temp := shl(mul(sub(32,count),8), temp)
            mstore(add(buffer, 32), temp)
            mstore(buffer, count)
        }
        return string(buffer);
    }
}


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


/**
 * @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`, 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 be 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: Usage of this method is discouraged, use {safeTransferFrom} whenever possible.
     *
     * 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 Returns the account approved for `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function getApproved(uint256 tokenId) external view returns (address operator);

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

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

/**
 * @title ERC-721 Non-Fungible Token Standard, optional metadata extension
 * @dev See https://eips.ethereum.org/EIPS/eip-721
 */
interface IERC721Metadata is IERC721 {
    /**
     * @dev Returns the token collection name.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the token collection symbol.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the Uniform Resource Identifier (URI) for `tokenId` token.
     */
    function tokenURI(uint256 tokenId) external view returns (string memory);
}

interface IERC721TokenReceiver {
    /// @notice Handle the receipt of an NFT
    /// @dev The ERC721 smart contract calls this function on the
    /// recipient after a `transfer`. This function MAY throw to revert and reject the transfer. Return
    /// of other than the magic value MUST result in the transaction being reverted.
    /// @notice The contract address is always the message sender.
    /// @param _operator The address which called `safeTransferFrom` function
    /// @param _from The address which previously owned the token
    /// @param _tokenId The NFT identifier which is being transferred
    /// @param _data Additional data with no specified format
    /// @return `bytes4(keccak256("onERC721Received(address,address,uint256,bytes)"))`
    /// unless throwing
    function onERC721Received(address _operator, address _from, uint256 _tokenId, bytes memory _data) external returns (bytes4);
}

/// @title ERC-721 Non-Fungible Token Standard, optional enumeration extension
/// @dev See https://eips.ethereum.org/EIPS/eip-721
///  Note: the ERC-165 identifier for this interface is 0x780e9d63.
interface IERC721Enumerable {
    /// @notice Count NFTs tracked by this contract
    /// @return A count of valid NFTs tracked by this contract, where each one of
    ///  them has an assigned and queryable owner not equal to the zero address
    function totalSupply() external view returns (uint256);

    /// @notice Enumerate valid NFTs
    /// @dev Throws if `_index` >= `totalSupply()`.
    /// @param _index A counter less than `totalSupply()`
    /// @return The token identifier for the `_index`th NFT,
    ///  (sort order not specified)
    function tokenByIndex(uint256 _index) external view returns (uint256);

    /// @notice Enumerate NFTs assigned to an owner
    /// @dev Throws if `_index` >= `balanceOf(_owner)` or if
    ///  `_owner` is the zero address, representing invalid NFTs.
    /// @param _owner An address where we are interested in NFTs owned by them
    /// @param _index A counter less than `balanceOf(_owner)`
    /// @return The token identifier for the `_index`th NFT assigned to `_owner`,
    ///   (sort order not specified)
    function tokenOfOwnerByIndex(address _owner, uint256 _index) external view returns (uint256);
}


/*
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @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 `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, 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
     * 0xTycoon was here
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);
    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` 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 sender, address recipient, uint256 amount) external returns (bool);
    /**
     * @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);
}

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_theDAO","type":"address"},{"internalType":"uint256","name":"_max","type":"uint256"},{"internalType":"address","name":"_v1","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"approved","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"approved","type":"bool"}],"name":"ApprovalForAll","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"","type":"string"}],"name":"BaseURI","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":false,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Restore","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Upgrade","type":"event"},{"inputs":[],"name":"PDF_SHA_256_HASH","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PNG_SHA_256_HASH","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_holder","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"curator","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"}],"name":"getStats","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_operator","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"i","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"onERC721Received","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"name":"restore","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_tokenId","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_operator","type":"address"},{"internalType":"bool","name":"_approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_uri","type":"string"}],"name":"setBaseURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_curator","type":"address"}],"name":"setCurator","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"toString","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"_index","type":"uint256"}],"name":"tokenByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"uint256","name":"_index","type":"uint256"}],"name":"tokenOfOwnerByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"_ids","type":"uint256[]"}],"name":"upgrade","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60c06040523480156200001157600080fd5b50604051620040c5380380620040c5833981016040819052620000349162000112565b60018054336001600160a01b0319918216179091556001600160a01b0384811660a0819052600080549093169184169182178355608085905230835260046020819052604093849020869055925163095ea7b360e01b81529283019190915260001960248301529063095ea7b3906044016020604051808303816000875af1158015620000c5573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620000eb919062000153565b505050506200017e565b80516001600160a01b03811681146200010d57600080fd5b919050565b6000806000606084860312156200012857600080fd5b6200013384620000f5565b9250602084015191506200014a60408501620000f5565b90509250925092565b6000602082840312156200016657600080fd5b815180151581146200017757600080fd5b9392505050565b60805160a051613e95620002306000396000818161175b01528181611cd401528181611dd60152818161218f015281816129db01528181612ab101528181612ccc0152612dda0152600081816102ef015281816106b30152818161076a01528181610d900152818161102a0152818161135e015281816118320152818161198501528181611ff40152818161201c0152818161211c015281816121510152818161263d0152612f820152613e956000f3fe608060405234801561001057600080fd5b50600436106101da5760003560e01c80636900a3ae11610104578063a22cb465116100a2578063c87b56dd11610071578063c87b56dd146104a3578063e66f53b7146104b6578063e90956cf146104d6578063e985e9c5146104e957600080fd5b8063a22cb46514610455578063a23bfe9314610468578063b88d4fde14610470578063c23f85d61461048357600080fd5b80638da5cb5b116100de5780638da5cb5b146103d857806395d89b41146103f65780639bea62ad1461042f578063a0712d681461044257600080fd5b80636900a3ae146103aa57806370a08231146103bd578063715018a6146103d057600080fd5b806323b872dd1161017c57806342966c681161014b57806342966c681461035e5780634f6ccce71461037157806355f804b3146103845780636352211e1461039757600080fd5b806323b872dd1461031d5780632f745c5914610330578063409d01df1461034357806342842e0e1461034b57600080fd5b8063095ea7b3116101b8578063095ea7b3146102815780630f80035614610296578063150b7a02146102a957806318160ddd146102ed57600080fd5b806301ffc9a7146101df57806306fdde0314610207578063081812fc14610249575b600080fd5b6101f26101ed366004613663565b610532565b60405190151581526020015b60405180910390f35b60408051808201909152601581527f54686544414f20534543205265706f7274204e4654000000000000000000000060208201525b6040516101fe9190613701565b61025c610257366004613714565b6106af565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020016101fe565b61029461028f36600461374f565b610768565b005b6102946102a436600461377b565b610939565b6102bc6102b73660046138b3565b610ba7565b6040517fffffffff0000000000000000000000000000000000000000000000000000000090911681526020016101fe565b7f00000000000000000000000000000000000000000000000000000000000000005b6040519081526020016101fe565b61029461032b366004613933565b610c0d565b61030f61033e36600461374f565b611026565b61023c6111bf565b610294610359366004613933565b6111db565b61029461036c366004613714565b611693565b61030f61037f366004613714565b61182e565b610294610392366004613974565b6118bd565b61025c6103a5366004613714565b611981565b61023c6103b8366004613714565b611a98565b61030f6103cb3660046139bd565b611bac565b610294611bf7565b60015473ffffffffffffffffffffffffffffffffffffffff1661025c565b60408051808201909152600881527f5468654e46547632000000000000000000000000000000000000000000000000602082015261023c565b61029461043d366004613714565b611c03565b610294610450366004613714565b611f5a565b6102946104633660046139e8565b612387565b61023c61249e565b61029461047e3660046138b3565b6124ba565b6104966104913660046139bd565b61296c565b6040516101fe9190613a21565b61023c6104b1366004613714565b612f7e565b60015461025c9073ffffffffffffffffffffffffffffffffffffffff1681565b6102946104e43660046139bd565b613109565b6101f26104f7366004613a65565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260076020908152604080832093909416825291909152205460ff1690565b60007fffffffff0000000000000000000000000000000000000000000000000000000082167f80ac58cd0000000000000000000000000000000000000000000000000000000014806105c557507fffffffff0000000000000000000000000000000000000000000000000000000082167f5b5e139f00000000000000000000000000000000000000000000000000000000145b8061061157507fffffffff0000000000000000000000000000000000000000000000000000000082167f01ffc9a700000000000000000000000000000000000000000000000000000000145b8061065d57507fffffffff0000000000000000000000000000000000000000000000000000000082167f780e9d6300000000000000000000000000000000000000000000000000000000145b806106a957507fffffffff0000000000000000000000000000000000000000000000000000000082167f150b7a0200000000000000000000000000000000000000000000000000000000145b92915050565b60007f0000000000000000000000000000000000000000000000000000000000000000821061073f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e6765000000000000000000000000000060448201526064015b60405180910390fd5b5060009081526006602052604090205473ffffffffffffffffffffffffffffffffffffffff1690565b7f000000000000000000000000000000000000000000000000000000000000000081106107f1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008181526005602052604090205473ffffffffffffffffffffffffffffffffffffffff1633811480610854575073ffffffffffffffffffffffffffffffffffffffff8116600090815260076020908152604080832033845290915290205460ff165b6108ba576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f616374696f6e206e6f7420746f6b656e207065726d69747465640000000000006044820152606401610736565b60008281526006602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff87169081179091559051849233917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259190a4505050565b60005b81811015610ba257600054339073ffffffffffffffffffffffffffffffffffffffff16636352211e85858581811061097657610976613a93565b905060200201356040518263ffffffff1660e01b815260040161099b91815260200190565b602060405180830381865afa1580156109b8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109dc9190613ac2565b73ffffffffffffffffffffffffffffffffffffffff16148015610a4357506000600581858585818110610a1157610a11613a93565b602090810292909201358352508101919091526040016000205473ffffffffffffffffffffffffffffffffffffffff16145b610aa9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f6e6f742075706772616461626c652069640000000000000000000000000000006044820152606401610736565b60005473ffffffffffffffffffffffffffffffffffffffff166323b872dd3330868686818110610adb57610adb613a93565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e088901b16815273ffffffffffffffffffffffffffffffffffffffff958616600482015294909316602485015250602090910201356044820152606401600060405180830381600087803b158015610b5757600080fd5b505af1158015610b6b573d6000803e3d6000fd5b50505050610b90838383818110610b8457610b84613a93565b90506020020135613193565b80610b9a81613b0e565b91505061093c565b505050565b60006040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107369060208082526004908201527f6e6f706500000000000000000000000000000000000000000000000000000000604082015260600190565b8173ffffffffffffffffffffffffffffffffffffffff81166274eda01415610c91576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f63616e6e6f742073656e6420746f2064656164206164647265737300000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff8116301415610d11576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f63616e6e6f742073656e6420746f2073656c66000000000000000000000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff8116610d8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f63616e6e6f742073656e6420746f2030780000000000000000000000000000006044820152606401610736565b7f00000000000000000000000000000000000000000000000000000000000000008210610e17576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008281526005602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169085168114610ea9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f5f66726f6d206d757374206265206f776e6572000000000000000000000000006044820152606401610736565b60008381526006602052604090205473ffffffffffffffffffffffffffffffffffffffff908116908216331480610ef5575073ffffffffffffffffffffffffffffffffffffffff811633145b80610f30575073ffffffffffffffffffffffffffffffffffffffff8216600090815260076020908152604080832033845290915290205460ff165b610f96576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74207065726d6974746564000000000000000000000000000000000000006044820152606401610736565b610fa1868686613258565b73ffffffffffffffffffffffffffffffffffffffff81161561101e5760008481526006602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001690555185919033907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925908390a45b505050505050565b60007f000000000000000000000000000000000000000000000000000000000000000082106110b1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff831661112e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f6164647265737320696e76616c696400000000000000000000000000000000006044820152606401610736565b60008281526005602052604090205473ffffffffffffffffffffffffffffffffffffffff166111b9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f746f6b656e206e6f742061737369676e656400000000000000000000000000006044820152606401610736565b50919050565b604051806060016040528060408152602001613de06040913981565b8173ffffffffffffffffffffffffffffffffffffffff81166274eda0141561125f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f63616e6e6f742073656e6420746f2064656164206164647265737300000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff81163014156112df576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f63616e6e6f742073656e6420746f2073656c66000000000000000000000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff811661135c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f63616e6e6f742073656e6420746f2030780000000000000000000000000000006044820152606401610736565b7f000000000000000000000000000000000000000000000000000000000000000082106113e5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008281526005602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169085168114611477576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f5f66726f6d206d757374206265206f776e6572000000000000000000000000006044820152606401610736565b60008381526006602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169082163314806114c3575073ffffffffffffffffffffffffffffffffffffffff811633145b806114fe575073ffffffffffffffffffffffffffffffffffffffff8216600090815260076020908152604080832033845290915290205460ff165b611564576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74207065726d6974746564000000000000000000000000000000000000006044820152606401610736565b61156f868686613258565b73ffffffffffffffffffffffffffffffffffffffff8116156115ec5760008481526006602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001690555185919033907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925908390a45b61160786868660405180602001604052806000815250613345565b61101e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527f63656976657220696d706c656d656e74657200000000000000000000000000006064820152608401610736565b60008181526005602052604090205473ffffffffffffffffffffffffffffffffffffffff163314611720576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f6f6e6c79206f776e65722063616e206275726e000000000000000000000000006044820152606401610736565b6040517fa9059cbb000000000000000000000000000000000000000000000000000000008152336004820152662386f26fc1000060248201527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169063a9059cbb906044016020604051808303816000875af11580156117b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117dd9190613b47565b1561182b576117f0336274eda083613258565b60408051338152602081018390527fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca591015b60405180910390a15b50565b60007f000000000000000000000000000000000000000000000000000000000000000082106118b9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b5090565b60015473ffffffffffffffffffffffffffffffffffffffff16331461193e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f6f6e6c792063757261746f722063616e2063616c6c20746869730000000000006044820152606401610736565b80516119519060039060208401906135a5565b507f01e56a02aca7f26a28165a040851ba78f30282b55ca81c63a804cdc1e2dcea72816040516118229190613701565b60007f00000000000000000000000000000000000000000000000000000000000000008210611a0c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008281526005602052604090205473ffffffffffffffffffffffffffffffffffffffff16806106a9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f6e6f74206d696e7465642e0000000000000000000000000000000000000000006044820152606401610736565b6060600082611adc57505060408051808201909152600181527f30000000000000000000000000000000000000000000000000000000000000006020820152919050565b604080516020808252818301909252601f91600091906020820181803683370190505090505b8415611b8e57611b13600a86613b93565b611b1e906030613ba7565b60f81b818381518110611b3357611b33613a93565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350611b6d600a86613bbf565b9450611b7a600183613bd3565b915082611b8681613bea565b935050611b02565b60208181018051918590036008029190911b90529182525092915050565b600073ffffffffffffffffffffffffffffffffffffffff8216611bce57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff1660009081526004602052604090205490565b611c01600061351f565b565b60008181526005602052604090205473ffffffffffffffffffffffffffffffffffffffff166274eda014611c93576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f6d757374206265206465616400000000000000000000000000000000000000006044820152606401610736565b6040517f23b872dd000000000000000000000000000000000000000000000000000000008152336004820152306024820152662386f26fc1000060448201527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16906323b872dd906064016020604051808303816000875af1158015611d32573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611d569190613b47565b611dbc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f44414f206465706f73697420696e73756666696369656e7400000000000000006044820152606401610736565b60015473ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000008116916323b872dd91339116611e136004662386f26fc10000613c0a565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e086901b16815273ffffffffffffffffffffffffffffffffffffffff938416600482015292909116602483015260448201526064016020604051808303816000875af1158015611e8c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611eb09190613b47565b611f16576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f44414f2066656520696e73756666696369656e740000000000000000000000006044820152606401610736565b611f246274eda03383613258565b60408051338152602081018390527f467e77758da9d784bae3ae341d63f385979a971050e7aba0b02e11b3c0a694fb9101611822565b600080546040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff90911660048201819052906370a0823190602401602060405180830381865afa158015611fca573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611fee9190613c47565b612018907f0000000000000000000000000000000000000000000000000000000000000000613bd3565b90507f000000000000000000000000000000000000000000000000000000000000000081106120a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f6d696e74696e672066696e6973686564000000000000000000000000000000006044820152606401610736565b6000821180156120b4575060648211155b61211a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f6d757374206265206265747765656e203120616e6420313030000000000000006044820152606401610736565b7f00000000000000000000000000000000000000000000000000000000000000006121458284613ba7565b111561217857612175817f0000000000000000000000000000000000000000000000000000000000000000613bd3565b91505b73ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000166323b872dd33306121c786662386f26fc10000613c0a565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e086901b16815273ffffffffffffffffffffffffffffffffffffffff938416600482015292909116602483015260448201526064016020604051808303816000875af1158015612240573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122649190613b47565b15156001146122cf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f44414f20746f6b656e73207265717569726564000000000000000000000000006044820152606401610736565b6000546040517fa0712d680000000000000000000000000000000000000000000000000000000081526004810184905273ffffffffffffffffffffffffffffffffffffffff9091169063a0712d6890602401600060405180830381600087803b15801561233b57600080fd5b505af115801561234f573d6000803e3d6000fd5b505050505b81156123835761236381613193565b8161236d81613c60565b925050808061237b90613b0e565b915050612354565b5050565b3373ffffffffffffffffffffffffffffffffffffffff83161415612407576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f4552433732313a20617070726f766520746f2063616c6c6572000000000000006044820152606401610736565b33600081815260076020908152604080832073ffffffffffffffffffffffffffffffffffffffff87168085529083529281902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001686151590811790915590519081529192917f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a35050565b604051806060016040528060408152602001613e206040913981565b8273ffffffffffffffffffffffffffffffffffffffff81166274eda0141561253e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f63616e6e6f742073656e6420746f2064656164206164647265737300000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff81163014156125be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f63616e6e6f742073656e6420746f2073656c66000000000000000000000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff811661263b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f63616e6e6f742073656e6420746f2030780000000000000000000000000000006044820152606401610736565b7f000000000000000000000000000000000000000000000000000000000000000083106126c4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008381526005602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169086168114612756576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f5f66726f6d206d757374206265206f776e6572000000000000000000000000006044820152606401610736565b60008481526006602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169082163314806127a2575073ffffffffffffffffffffffffffffffffffffffff811633145b806127dd575073ffffffffffffffffffffffffffffffffffffffff8216600090815260076020908152604080832033845290915290205460ff165b612843576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74207065726d6974746564000000000000000000000000000000000000006044820152606401610736565b61284e878787613258565b73ffffffffffffffffffffffffffffffffffffffff8116156128cb5760008581526006602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001690555186919033907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925908390a45b6128d787878787613345565b612963576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527f63656976657220696d706c656d656e74657200000000000000000000000000006064820152608401610736565b50505050505050565b60408051600a8082526101608201909252606091600091906020820161014080368337019050506040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff85811660048301529192507f0000000000000000000000000000000000000000000000000000000000000000909116906370a0823190602401602060405180830381865afa158015612a24573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612a489190613c47565b81600081518110612a5b57612a5b613a93565b60209081029190910101526040517fdd62ed3e00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff84811660048301523060248301527f0000000000000000000000000000000000000000000000000000000000000000169063dd62ed3e90604401602060405180830381865afa158015612af8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b1c9190613c47565b81600181518110612b2f57612b2f613a93565b60209081029190910101526000546040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff90911660048201819052906370a0823190602401602060405180830381865afa158015612ba9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612bcd9190613c47565b81600281518110612be057612be0613a93565b60209081029190910101526000546040517f70a082310000000000000000000000000000000000000000000000000000000081526274eda0600482015273ffffffffffffffffffffffffffffffffffffffff909116906370a0823190602401602060405180830381865afa158015612c5c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612c809190613c47565b81600381518110612c9357612c93613a93565b60209081029190910101526040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16906370a0823190602401602060405180830381865afa158015612d28573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612d4c9190613c47565b81600481518110612d5f57612d5f613a93565b602002602001018181525050612d7483611bac565b81600581518110612d8757612d87613a93565b60209081029190910101526000546040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff91821660048201527f0000000000000000000000000000000000000000000000000000000000000000909116906370a0823190602401602060405180830381865afa158015612e23573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612e479190613c47565b81600681518110612e5a57612e5a613a93565b602002602001018181525050612e6f30611bac565b81600781518110612e8257612e82613a93565b602002602001018181525050612e9a6274eda0611bac565b81600881518110612ead57612ead613a93565b60209081029190910101526000546040517fe985e9c500000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff85811660048301523060248301529091169063e985e9c590604401602060405180830381865afa158015612f2e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612f529190613b47565b156106a957600181600981518110612f6c57612f6c613a93565b60200260200101818152505092915050565b60607f00000000000000000000000000000000000000000000000000000000000000008210613009576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60006003805461301890613c95565b80601f016020809104026020016040519081016040528092919081815260200182805461304490613c95565b80156130915780601f1061306657610100808354040283529160200191613091565b820191906000526020600020905b81548152906001019060200180831161307457829003601f168201915b5050505050905060006064846130a79190613b93565b905060008251116130c75760405180602001604052806000815250613101565b816130d66103b8606487613bbf565b6130df83611a98565b6040516020016130f193929190613ce3565b6040516020818303038152906040525b949350505050565b60015473ffffffffffffffffffffffffffffffffffffffff16331461318a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f6f6e6c792063757261746f722063616e2063616c6c20746869730000000000006044820152606401610736565b61182b8161351f565b6000546040517f42966c680000000000000000000000000000000000000000000000000000000081526004810183905273ffffffffffffffffffffffffffffffffffffffff909116906342966c6890602401600060405180830381600087803b1580156131ff57600080fd5b505af1158015613213573d6000803e3d6000fd5b50505050613222303383613258565b60408051338152602081018390527f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d41213968859101611822565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260046020526040812080549161328983613b0e565b909155505073ffffffffffffffffffffffffffffffffffffffff831660009081526004602052604081208054916132bf83613c60565b909155505060008181526005602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff86811691821790925591518493918716917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4505050565b6000833b15613514576040517f150b7a0200000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff85169063150b7a02906133a6903390899088908890600401613d79565b6020604051808303816000875af19250505080156133ff575060408051601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01682019092526133fc91810190613dc2565b60015b6134c9573d80801561342d576040519150601f19603f3d011682016040523d82523d6000602084013e613432565b606091505b5080516134c1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527f63656976657220696d706c656d656e74657200000000000000000000000000006064820152608401610736565b805181602001fd5b7fffffffff00000000000000000000000000000000000000000000000000000000167f150b7a0200000000000000000000000000000000000000000000000000000000149050613101565b506001949350505050565b6001805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff000000000000000000000000000000000000000083168117909355604080519190921680825260208201939093527f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0910160405180910390a15050565b8280546135b190613c95565b90600052602060002090601f0160209004810192826135d35760008555613619565b82601f106135ec57805160ff1916838001178555613619565b82800160010185558215613619579182015b828111156136195782518255916020019190600101906135fe565b506118b99291505b808211156118b95760008155600101613621565b7fffffffff000000000000000000000000000000000000000000000000000000008116811461182b57600080fd5b60006020828403121561367557600080fd5b813561368081613635565b9392505050565b60005b838110156136a257818101518382015260200161368a565b838111156136b1576000848401525b50505050565b600081518084526136cf816020860160208601613687565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b60208152600061368060208301846136b7565b60006020828403121561372657600080fd5b5035919050565b73ffffffffffffffffffffffffffffffffffffffff8116811461182b57600080fd5b6000806040838503121561376257600080fd5b823561376d8161372d565b946020939093013593505050565b6000806020838503121561378e57600080fd5b823567ffffffffffffffff808211156137a657600080fd5b818501915085601f8301126137ba57600080fd5b8135818111156137c957600080fd5b8660208260051b85010111156137de57600080fd5b60209290920196919550909350505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600067ffffffffffffffff8084111561383a5761383a6137f0565b604051601f85017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f01168101908282118183101715613880576138806137f0565b8160405280935085815286868601111561389957600080fd5b858560208301376000602087830101525050509392505050565b600080600080608085870312156138c957600080fd5b84356138d48161372d565b935060208501356138e48161372d565b925060408501359150606085013567ffffffffffffffff81111561390757600080fd5b8501601f8101871361391857600080fd5b6139278782356020840161381f565b91505092959194509250565b60008060006060848603121561394857600080fd5b83356139538161372d565b925060208401356139638161372d565b929592945050506040919091013590565b60006020828403121561398657600080fd5b813567ffffffffffffffff81111561399d57600080fd5b8201601f810184136139ae57600080fd5b6131018482356020840161381f565b6000602082840312156139cf57600080fd5b81356136808161372d565b801515811461182b57600080fd5b600080604083850312156139fb57600080fd5b8235613a068161372d565b91506020830135613a16816139da565b809150509250929050565b6020808252825182820181905260009190848201906040850190845b81811015613a5957835183529284019291840191600101613a3d565b50909695505050505050565b60008060408385031215613a7857600080fd5b8235613a838161372d565b91506020830135613a168161372d565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600060208284031215613ad457600080fd5b81516136808161372d565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415613b4057613b40613adf565b5060010190565b600060208284031215613b5957600080fd5b8151613680816139da565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600082613ba257613ba2613b64565b500690565b60008219821115613bba57613bba613adf565b500190565b600082613bce57613bce613b64565b500490565b600082821015613be557613be5613adf565b500390565b600060ff821660ff811415613c0157613c01613adf565b60010192915050565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615613c4257613c42613adf565b500290565b600060208284031215613c5957600080fd5b5051919050565b600081613c6f57613c6f613adf565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190565b600181811c90821680613ca957607f821691505b602082108114156111b9577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60008451613cf5818460208901613687565b845190830190613d09818360208901613687565b7f2f0000000000000000000000000000000000000000000000000000000000000091019081528351613d42816001840160208801613687565b7f2e6a736f6e0000000000000000000000000000000000000000000000000000006001929091019182015260060195945050505050565b600073ffffffffffffffffffffffffffffffffffffffff808716835280861660208401525083604083015260806060830152613db860808301846136b7565b9695505050505050565b600060208284031215613dd457600080fd5b81516136808161363556fe3365643532653461666339303330663639303034663136333031376333666662613062383337643930303631343337333238616638373333306465653935373536633961653034316239623936303364613031643061613464393132353836633864383562396665313933326335376639383864386264306639646133626337a26469706673582212209e6bb624ca4a9dd04fad49ffbff19977ea65076e734f8a4096b0e27a5b32bcc564736f6c634300080b0033000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c1894130000000000000000000000000000000000000000000000000000000000000708000000000000000000000000266830230bf10a58ca64b7347499fd361a011a02

0x608060405234801561001057600080fd5b50600436106101da5760003560e01c80636900a3ae11610104578063a22cb465116100a2578063c87b56dd11610071578063c87b56dd146104a3578063e66f53b7146104b6578063e90956cf146104d6578063e985e9c5146104e957600080fd5b8063a22cb46514610455578063a23bfe9314610468578063b88d4fde14610470578063c23f85d61461048357600080fd5b80638da5cb5b116100de5780638da5cb5b146103d857806395d89b41146103f65780639bea62ad1461042f578063a0712d681461044257600080fd5b80636900a3ae146103aa57806370a08231146103bd578063715018a6146103d057600080fd5b806323b872dd1161017c57806342966c681161014b57806342966c681461035e5780634f6ccce71461037157806355f804b3146103845780636352211e1461039757600080fd5b806323b872dd1461031d5780632f745c5914610330578063409d01df1461034357806342842e0e1461034b57600080fd5b8063095ea7b3116101b8578063095ea7b3146102815780630f80035614610296578063150b7a02146102a957806318160ddd146102ed57600080fd5b806301ffc9a7146101df57806306fdde0314610207578063081812fc14610249575b600080fd5b6101f26101ed366004613663565b610532565b60405190151581526020015b60405180910390f35b60408051808201909152601581527f54686544414f20534543205265706f7274204e4654000000000000000000000060208201525b6040516101fe9190613701565b61025c610257366004613714565b6106af565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020016101fe565b61029461028f36600461374f565b610768565b005b6102946102a436600461377b565b610939565b6102bc6102b73660046138b3565b610ba7565b6040517fffffffff0000000000000000000000000000000000000000000000000000000090911681526020016101fe565b7f00000000000000000000000000000000000000000000000000000000000007085b6040519081526020016101fe565b61029461032b366004613933565b610c0d565b61030f61033e36600461374f565b611026565b61023c6111bf565b610294610359366004613933565b6111db565b61029461036c366004613714565b611693565b61030f61037f366004613714565b61182e565b610294610392366004613974565b6118bd565b61025c6103a5366004613714565b611981565b61023c6103b8366004613714565b611a98565b61030f6103cb3660046139bd565b611bac565b610294611bf7565b60015473ffffffffffffffffffffffffffffffffffffffff1661025c565b60408051808201909152600881527f5468654e46547632000000000000000000000000000000000000000000000000602082015261023c565b61029461043d366004613714565b611c03565b610294610450366004613714565b611f5a565b6102946104633660046139e8565b612387565b61023c61249e565b61029461047e3660046138b3565b6124ba565b6104966104913660046139bd565b61296c565b6040516101fe9190613a21565b61023c6104b1366004613714565b612f7e565b60015461025c9073ffffffffffffffffffffffffffffffffffffffff1681565b6102946104e43660046139bd565b613109565b6101f26104f7366004613a65565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260076020908152604080832093909416825291909152205460ff1690565b60007fffffffff0000000000000000000000000000000000000000000000000000000082167f80ac58cd0000000000000000000000000000000000000000000000000000000014806105c557507fffffffff0000000000000000000000000000000000000000000000000000000082167f5b5e139f00000000000000000000000000000000000000000000000000000000145b8061061157507fffffffff0000000000000000000000000000000000000000000000000000000082167f01ffc9a700000000000000000000000000000000000000000000000000000000145b8061065d57507fffffffff0000000000000000000000000000000000000000000000000000000082167f780e9d6300000000000000000000000000000000000000000000000000000000145b806106a957507fffffffff0000000000000000000000000000000000000000000000000000000082167f150b7a0200000000000000000000000000000000000000000000000000000000145b92915050565b60007f0000000000000000000000000000000000000000000000000000000000000708821061073f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e6765000000000000000000000000000060448201526064015b60405180910390fd5b5060009081526006602052604090205473ffffffffffffffffffffffffffffffffffffffff1690565b7f000000000000000000000000000000000000000000000000000000000000070881106107f1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008181526005602052604090205473ffffffffffffffffffffffffffffffffffffffff1633811480610854575073ffffffffffffffffffffffffffffffffffffffff8116600090815260076020908152604080832033845290915290205460ff165b6108ba576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f616374696f6e206e6f7420746f6b656e207065726d69747465640000000000006044820152606401610736565b60008281526006602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff87169081179091559051849233917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259190a4505050565b60005b81811015610ba257600054339073ffffffffffffffffffffffffffffffffffffffff16636352211e85858581811061097657610976613a93565b905060200201356040518263ffffffff1660e01b815260040161099b91815260200190565b602060405180830381865afa1580156109b8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109dc9190613ac2565b73ffffffffffffffffffffffffffffffffffffffff16148015610a4357506000600581858585818110610a1157610a11613a93565b602090810292909201358352508101919091526040016000205473ffffffffffffffffffffffffffffffffffffffff16145b610aa9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f6e6f742075706772616461626c652069640000000000000000000000000000006044820152606401610736565b60005473ffffffffffffffffffffffffffffffffffffffff166323b872dd3330868686818110610adb57610adb613a93565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e088901b16815273ffffffffffffffffffffffffffffffffffffffff958616600482015294909316602485015250602090910201356044820152606401600060405180830381600087803b158015610b5757600080fd5b505af1158015610b6b573d6000803e3d6000fd5b50505050610b90838383818110610b8457610b84613a93565b90506020020135613193565b80610b9a81613b0e565b91505061093c565b505050565b60006040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107369060208082526004908201527f6e6f706500000000000000000000000000000000000000000000000000000000604082015260600190565b8173ffffffffffffffffffffffffffffffffffffffff81166274eda01415610c91576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f63616e6e6f742073656e6420746f2064656164206164647265737300000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff8116301415610d11576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f63616e6e6f742073656e6420746f2073656c66000000000000000000000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff8116610d8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f63616e6e6f742073656e6420746f2030780000000000000000000000000000006044820152606401610736565b7f00000000000000000000000000000000000000000000000000000000000007088210610e17576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008281526005602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169085168114610ea9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f5f66726f6d206d757374206265206f776e6572000000000000000000000000006044820152606401610736565b60008381526006602052604090205473ffffffffffffffffffffffffffffffffffffffff908116908216331480610ef5575073ffffffffffffffffffffffffffffffffffffffff811633145b80610f30575073ffffffffffffffffffffffffffffffffffffffff8216600090815260076020908152604080832033845290915290205460ff165b610f96576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74207065726d6974746564000000000000000000000000000000000000006044820152606401610736565b610fa1868686613258565b73ffffffffffffffffffffffffffffffffffffffff81161561101e5760008481526006602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001690555185919033907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925908390a45b505050505050565b60007f000000000000000000000000000000000000000000000000000000000000070882106110b1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff831661112e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f6164647265737320696e76616c696400000000000000000000000000000000006044820152606401610736565b60008281526005602052604090205473ffffffffffffffffffffffffffffffffffffffff166111b9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f746f6b656e206e6f742061737369676e656400000000000000000000000000006044820152606401610736565b50919050565b604051806060016040528060408152602001613de06040913981565b8173ffffffffffffffffffffffffffffffffffffffff81166274eda0141561125f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f63616e6e6f742073656e6420746f2064656164206164647265737300000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff81163014156112df576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f63616e6e6f742073656e6420746f2073656c66000000000000000000000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff811661135c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f63616e6e6f742073656e6420746f2030780000000000000000000000000000006044820152606401610736565b7f000000000000000000000000000000000000000000000000000000000000070882106113e5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008281526005602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169085168114611477576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f5f66726f6d206d757374206265206f776e6572000000000000000000000000006044820152606401610736565b60008381526006602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169082163314806114c3575073ffffffffffffffffffffffffffffffffffffffff811633145b806114fe575073ffffffffffffffffffffffffffffffffffffffff8216600090815260076020908152604080832033845290915290205460ff165b611564576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74207065726d6974746564000000000000000000000000000000000000006044820152606401610736565b61156f868686613258565b73ffffffffffffffffffffffffffffffffffffffff8116156115ec5760008481526006602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001690555185919033907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925908390a45b61160786868660405180602001604052806000815250613345565b61101e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527f63656976657220696d706c656d656e74657200000000000000000000000000006064820152608401610736565b60008181526005602052604090205473ffffffffffffffffffffffffffffffffffffffff163314611720576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f6f6e6c79206f776e65722063616e206275726e000000000000000000000000006044820152606401610736565b6040517fa9059cbb000000000000000000000000000000000000000000000000000000008152336004820152662386f26fc1000060248201527f000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c18941373ffffffffffffffffffffffffffffffffffffffff169063a9059cbb906044016020604051808303816000875af11580156117b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117dd9190613b47565b1561182b576117f0336274eda083613258565b60408051338152602081018390527fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca591015b60405180910390a15b50565b60007f000000000000000000000000000000000000000000000000000000000000070882106118b9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b5090565b60015473ffffffffffffffffffffffffffffffffffffffff16331461193e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f6f6e6c792063757261746f722063616e2063616c6c20746869730000000000006044820152606401610736565b80516119519060039060208401906135a5565b507f01e56a02aca7f26a28165a040851ba78f30282b55ca81c63a804cdc1e2dcea72816040516118229190613701565b60007f00000000000000000000000000000000000000000000000000000000000007088210611a0c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008281526005602052604090205473ffffffffffffffffffffffffffffffffffffffff16806106a9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f6e6f74206d696e7465642e0000000000000000000000000000000000000000006044820152606401610736565b6060600082611adc57505060408051808201909152600181527f30000000000000000000000000000000000000000000000000000000000000006020820152919050565b604080516020808252818301909252601f91600091906020820181803683370190505090505b8415611b8e57611b13600a86613b93565b611b1e906030613ba7565b60f81b818381518110611b3357611b33613a93565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350611b6d600a86613bbf565b9450611b7a600183613bd3565b915082611b8681613bea565b935050611b02565b60208181018051918590036008029190911b90529182525092915050565b600073ffffffffffffffffffffffffffffffffffffffff8216611bce57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff1660009081526004602052604090205490565b611c01600061351f565b565b60008181526005602052604090205473ffffffffffffffffffffffffffffffffffffffff166274eda014611c93576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f6d757374206265206465616400000000000000000000000000000000000000006044820152606401610736565b6040517f23b872dd000000000000000000000000000000000000000000000000000000008152336004820152306024820152662386f26fc1000060448201527f000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c18941373ffffffffffffffffffffffffffffffffffffffff16906323b872dd906064016020604051808303816000875af1158015611d32573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611d569190613b47565b611dbc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f44414f206465706f73697420696e73756666696369656e7400000000000000006044820152606401610736565b60015473ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c1894138116916323b872dd91339116611e136004662386f26fc10000613c0a565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e086901b16815273ffffffffffffffffffffffffffffffffffffffff938416600482015292909116602483015260448201526064016020604051808303816000875af1158015611e8c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611eb09190613b47565b611f16576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f44414f2066656520696e73756666696369656e740000000000000000000000006044820152606401610736565b611f246274eda03383613258565b60408051338152602081018390527f467e77758da9d784bae3ae341d63f385979a971050e7aba0b02e11b3c0a694fb9101611822565b600080546040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff90911660048201819052906370a0823190602401602060405180830381865afa158015611fca573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611fee9190613c47565b612018907f0000000000000000000000000000000000000000000000000000000000000708613bd3565b90507f000000000000000000000000000000000000000000000000000000000000070881106120a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f6d696e74696e672066696e6973686564000000000000000000000000000000006044820152606401610736565b6000821180156120b4575060648211155b61211a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f6d757374206265206265747765656e203120616e6420313030000000000000006044820152606401610736565b7f00000000000000000000000000000000000000000000000000000000000007086121458284613ba7565b111561217857612175817f0000000000000000000000000000000000000000000000000000000000000708613bd3565b91505b73ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c189413166323b872dd33306121c786662386f26fc10000613c0a565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e086901b16815273ffffffffffffffffffffffffffffffffffffffff938416600482015292909116602483015260448201526064016020604051808303816000875af1158015612240573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122649190613b47565b15156001146122cf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f44414f20746f6b656e73207265717569726564000000000000000000000000006044820152606401610736565b6000546040517fa0712d680000000000000000000000000000000000000000000000000000000081526004810184905273ffffffffffffffffffffffffffffffffffffffff9091169063a0712d6890602401600060405180830381600087803b15801561233b57600080fd5b505af115801561234f573d6000803e3d6000fd5b505050505b81156123835761236381613193565b8161236d81613c60565b925050808061237b90613b0e565b915050612354565b5050565b3373ffffffffffffffffffffffffffffffffffffffff83161415612407576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f4552433732313a20617070726f766520746f2063616c6c6572000000000000006044820152606401610736565b33600081815260076020908152604080832073ffffffffffffffffffffffffffffffffffffffff87168085529083529281902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001686151590811790915590519081529192917f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a35050565b604051806060016040528060408152602001613e206040913981565b8273ffffffffffffffffffffffffffffffffffffffff81166274eda0141561253e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f63616e6e6f742073656e6420746f2064656164206164647265737300000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff81163014156125be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f63616e6e6f742073656e6420746f2073656c66000000000000000000000000006044820152606401610736565b73ffffffffffffffffffffffffffffffffffffffff811661263b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f63616e6e6f742073656e6420746f2030780000000000000000000000000000006044820152606401610736565b7f000000000000000000000000000000000000000000000000000000000000070883106126c4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60008381526005602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169086168114612756576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f5f66726f6d206d757374206265206f776e6572000000000000000000000000006044820152606401610736565b60008481526006602052604090205473ffffffffffffffffffffffffffffffffffffffff9081169082163314806127a2575073ffffffffffffffffffffffffffffffffffffffff811633145b806127dd575073ffffffffffffffffffffffffffffffffffffffff8216600090815260076020908152604080832033845290915290205460ff165b612843576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6e6f74207065726d6974746564000000000000000000000000000000000000006044820152606401610736565b61284e878787613258565b73ffffffffffffffffffffffffffffffffffffffff8116156128cb5760008581526006602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001690555186919033907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925908390a45b6128d787878787613345565b612963576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527f63656976657220696d706c656d656e74657200000000000000000000000000006064820152608401610736565b50505050505050565b60408051600a8082526101608201909252606091600091906020820161014080368337019050506040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff85811660048301529192507f000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c189413909116906370a0823190602401602060405180830381865afa158015612a24573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612a489190613c47565b81600081518110612a5b57612a5b613a93565b60209081029190910101526040517fdd62ed3e00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff84811660048301523060248301527f000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c189413169063dd62ed3e90604401602060405180830381865afa158015612af8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b1c9190613c47565b81600181518110612b2f57612b2f613a93565b60209081029190910101526000546040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff90911660048201819052906370a0823190602401602060405180830381865afa158015612ba9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612bcd9190613c47565b81600281518110612be057612be0613a93565b60209081029190910101526000546040517f70a082310000000000000000000000000000000000000000000000000000000081526274eda0600482015273ffffffffffffffffffffffffffffffffffffffff909116906370a0823190602401602060405180830381865afa158015612c5c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612c809190613c47565b81600381518110612c9357612c93613a93565b60209081029190910101526040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201527f000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c18941373ffffffffffffffffffffffffffffffffffffffff16906370a0823190602401602060405180830381865afa158015612d28573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612d4c9190613c47565b81600481518110612d5f57612d5f613a93565b602002602001018181525050612d7483611bac565b81600581518110612d8757612d87613a93565b60209081029190910101526000546040517f70a0823100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff91821660048201527f000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c189413909116906370a0823190602401602060405180830381865afa158015612e23573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612e479190613c47565b81600681518110612e5a57612e5a613a93565b602002602001018181525050612e6f30611bac565b81600781518110612e8257612e82613a93565b602002602001018181525050612e9a6274eda0611bac565b81600881518110612ead57612ead613a93565b60209081029190910101526000546040517fe985e9c500000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff85811660048301523060248301529091169063e985e9c590604401602060405180830381865afa158015612f2e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612f529190613b47565b156106a957600181600981518110612f6c57612f6c613a93565b60200260200101818152505092915050565b60607f00000000000000000000000000000000000000000000000000000000000007088210613009576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f696e646578206f7574206f662072616e676500000000000000000000000000006044820152606401610736565b60006003805461301890613c95565b80601f016020809104026020016040519081016040528092919081815260200182805461304490613c95565b80156130915780601f1061306657610100808354040283529160200191613091565b820191906000526020600020905b81548152906001019060200180831161307457829003601f168201915b5050505050905060006064846130a79190613b93565b905060008251116130c75760405180602001604052806000815250613101565b816130d66103b8606487613bbf565b6130df83611a98565b6040516020016130f193929190613ce3565b6040516020818303038152906040525b949350505050565b60015473ffffffffffffffffffffffffffffffffffffffff16331461318a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f6f6e6c792063757261746f722063616e2063616c6c20746869730000000000006044820152606401610736565b61182b8161351f565b6000546040517f42966c680000000000000000000000000000000000000000000000000000000081526004810183905273ffffffffffffffffffffffffffffffffffffffff909116906342966c6890602401600060405180830381600087803b1580156131ff57600080fd5b505af1158015613213573d6000803e3d6000fd5b50505050613222303383613258565b60408051338152602081018390527f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d41213968859101611822565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260046020526040812080549161328983613b0e565b909155505073ffffffffffffffffffffffffffffffffffffffff831660009081526004602052604081208054916132bf83613c60565b909155505060008181526005602052604080822080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff86811691821790925591518493918716917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4505050565b6000833b15613514576040517f150b7a0200000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff85169063150b7a02906133a6903390899088908890600401613d79565b6020604051808303816000875af19250505080156133ff575060408051601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01682019092526133fc91810190613dc2565b60015b6134c9573d80801561342d576040519150601f19603f3d011682016040523d82523d6000602084013e613432565b606091505b5080516134c1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527f63656976657220696d706c656d656e74657200000000000000000000000000006064820152608401610736565b805181602001fd5b7fffffffff00000000000000000000000000000000000000000000000000000000167f150b7a0200000000000000000000000000000000000000000000000000000000149050613101565b506001949350505050565b6001805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff000000000000000000000000000000000000000083168117909355604080519190921680825260208201939093527f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0910160405180910390a15050565b8280546135b190613c95565b90600052602060002090601f0160209004810192826135d35760008555613619565b82601f106135ec57805160ff1916838001178555613619565b82800160010185558215613619579182015b828111156136195782518255916020019190600101906135fe565b506118b99291505b808211156118b95760008155600101613621565b7fffffffff000000000000000000000000000000000000000000000000000000008116811461182b57600080fd5b60006020828403121561367557600080fd5b813561368081613635565b9392505050565b60005b838110156136a257818101518382015260200161368a565b838111156136b1576000848401525b50505050565b600081518084526136cf816020860160208601613687565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b60208152600061368060208301846136b7565b60006020828403121561372657600080fd5b5035919050565b73ffffffffffffffffffffffffffffffffffffffff8116811461182b57600080fd5b6000806040838503121561376257600080fd5b823561376d8161372d565b946020939093013593505050565b6000806020838503121561378e57600080fd5b823567ffffffffffffffff808211156137a657600080fd5b818501915085601f8301126137ba57600080fd5b8135818111156137c957600080fd5b8660208260051b85010111156137de57600080fd5b60209290920196919550909350505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600067ffffffffffffffff8084111561383a5761383a6137f0565b604051601f85017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f01168101908282118183101715613880576138806137f0565b8160405280935085815286868601111561389957600080fd5b858560208301376000602087830101525050509392505050565b600080600080608085870312156138c957600080fd5b84356138d48161372d565b935060208501356138e48161372d565b925060408501359150606085013567ffffffffffffffff81111561390757600080fd5b8501601f8101871361391857600080fd5b6139278782356020840161381f565b91505092959194509250565b60008060006060848603121561394857600080fd5b83356139538161372d565b925060208401356139638161372d565b929592945050506040919091013590565b60006020828403121561398657600080fd5b813567ffffffffffffffff81111561399d57600080fd5b8201601f810184136139ae57600080fd5b6131018482356020840161381f565b6000602082840312156139cf57600080fd5b81356136808161372d565b801515811461182b57600080fd5b600080604083850312156139fb57600080fd5b8235613a068161372d565b91506020830135613a16816139da565b809150509250929050565b6020808252825182820181905260009190848201906040850190845b81811015613a5957835183529284019291840191600101613a3d565b50909695505050505050565b60008060408385031215613a7857600080fd5b8235613a838161372d565b91506020830135613a168161372d565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600060208284031215613ad457600080fd5b81516136808161372d565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415613b4057613b40613adf565b5060010190565b600060208284031215613b5957600080fd5b8151613680816139da565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600082613ba257613ba2613b64565b500690565b60008219821115613bba57613bba613adf565b500190565b600082613bce57613bce613b64565b500490565b600082821015613be557613be5613adf565b500390565b600060ff821660ff811415613c0157613c01613adf565b60010192915050565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615613c4257613c42613adf565b500290565b600060208284031215613c5957600080fd5b5051919050565b600081613c6f57613c6f613adf565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190565b600181811c90821680613ca957607f821691505b602082108114156111b9577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60008451613cf5818460208901613687565b845190830190613d09818360208901613687565b7f2f0000000000000000000000000000000000000000000000000000000000000091019081528351613d42816001840160208801613687565b7f2e6a736f6e0000000000000000000000000000000000000000000000000000006001929091019182015260060195945050505050565b600073ffffffffffffffffffffffffffffffffffffffff808716835280861660208401525083604083015260806060830152613db860808301846136b7565b9695505050505050565b600060208284031215613dd457600080fd5b81516136808161363556fe3365643532653461666339303330663639303034663136333031376333666662613062383337643930303631343337333238616638373333306465653935373536633961653034316239623936303364613031643061613464393132353836633864383562396665313933326335376639383864386264306639646133626337a26469706673582212209e6bb624ca4a9dd04fad49ffbff19977ea65076e734f8a4096b0e27a5b32bcc564736f6c634300080b0033

000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c1894130000000000000000000000000000000000000000000000000000000000000708000000000000000000000000266830230bf10a58ca64b7347499fd361a011a02

-----Decoded View---------------
Arg [0] : _theDAO (address): 0xBB9bc244D798123fDe783fCc1C72d3Bb8C189413
Arg [1] : _max (uint256): 1800
Arg [2] : _v1 (address): 0x266830230bf10A58cA64B7347499FD361a011a02

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 000000000000000000000000bb9bc244d798123fde783fcc1c72d3bb8c189413
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000708
Arg [2] : 000000000000000000000000266830230bf10a58ca64b7347499fd361a011a02

2347:21283:1:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19668:385;;;;;;:::i;:::-;;:::i;:::-;;;611:14:2;;604:22;586:41;;574:2;559:18;19668:385:1;;;;;;;;13041:99;13103:30;;;;;;;;;;;;;;;;;13041:99;;;;;;;:::i;18664:167::-;;;;;;:::i;:::-;;:::i;:::-;;;1809:42:2;1797:55;;;1779:74;;1767:2;1752:18;18664:167:1;1633:226:2;17376:345:1;;;;;;:::i;:::-;;:::i;:::-;;7154:644;;;;;;:::i;:::-;;:::i;20477:176::-;;;;;;:::i;:::-;;:::i;:::-;;;4820:66:2;4808:79;;;4790:98;;4778:2;4763:18;20477:176:1;4646:248:2;11558:82:1;11630:3;11558:82;;;5045:25:2;;;5033:2;5018:18;11558:82:1;4899:177:2;16409:608:1;;;;;;:::i;:::-;;:::i;12489:311::-;;;;;;:::i;:::-;;:::i;2596:108::-;;;:::i;15669:734::-;;;;;;:::i;:::-;;:::i;8894:325::-;;;;;;:::i;:::-;;:::i;11890:154::-;;;;;;:::i;:::-;;:::i;10661:120::-;;;;;;:::i;:::-;;:::i;13846:252::-;;;;;;:::i;:::-;;:::i;22579:1049::-;;;;;;:::i;:::-;;:::i;12887:148::-;;;;;;:::i;:::-;;:::i;10166:86::-;;;:::i;10009:80::-;10075:7;;;;10009:80;;13146:88;13210:17;;;;;;;;;;;;;;;;;13146:88;;9314:458;;;;;;:::i;:::-;;:::i;8119:708::-;;;;;;:::i;:::-;;:::i;18118:268::-;;;;;;:::i;:::-;;:::i;2814:108::-;;;:::i;14505:757::-;;;;;;:::i;:::-;;:::i;6017:1131::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;13335:369::-;;;;;;:::i;:::-;;:::i;3017:22::-;;;;;;;;;9839:104;;;;;;:::i;:::-;;:::i;19139:142::-;;;;;;:::i;:::-;19244:19;;;;19221:4;19244:19;;;:11;:19;;;;;;;;:30;;;;;;;;;;;;;;;19139:142;19668:385;19736:4;19767:40;;;19782:25;19767:40;;:100;;-1:-1:-1;19819:48:1;;;19834:33;19819:48;19767:100;:152;;;-1:-1:-1;19879:40:1;;;19894:25;19879:40;19767:152;:214;;;-1:-1:-1;19931:50:1;;;19946:35;19931:50;19767:214;:279;;;-1:-1:-1;19993:53:1;;;20008:38;19993:53;19767:279;19752:294;19668:385;-1:-1:-1;;19668:385:1:o;18664:167::-;18724:7;18763:3;18752:8;:14;18743:46;;;;;;;7991:2:2;18743:46:1;;;7973:21:2;8030:2;8010:18;;;8003:30;8069:20;8049:18;;;8042:48;8107:18;;18743:46:1;;;;;;;;;-1:-1:-1;18806:18:1;;;;:8;:18;;;;;;;;;18664:167::o;17376:345::-;17463:3;17452:8;:14;17443:46;;;;;;;7991:2:2;17443:46:1;;;7973:21:2;8030:2;8010:18;;;8003:30;8069:20;8049:18;;;8042:48;8107:18;;17443:46:1;7789:342:2;17443:46:1;17499:9;17511:19;;;:9;:19;;;;;;;;17554:10;17549:15;;;:50;;-1:-1:-1;19244:19:1;;;19221:4;19244:19;;;:11;:19;;;;;;;;17588:10;19244:30;;;;;;;;;;17568:31;17540:90;;;;;;;8338:2:2;17540:90:1;;;8320:21:2;8377:2;8357:18;;;8350:30;8416:28;8396:18;;;8389:56;8462:18;;17540:90:1;8136:350:2;17540:90:1;17640:18;;;;:8;:18;;;;;;:24;;;;;;;;;;;;;17679:35;;17640:18;;17688:10;;17679:35;;17640:18;17679:35;17433:288;17376:345;;:::o;7154:644::-;7220:9;7215:577;7231:15;;;7215:577;;;7515:2;;7538:10;;7515:33;:2;:10;7526:4;;7531:1;7526:7;;;;;;;:::i;:::-;;;;;;;7515:19;;;;;;;;;;;;;5045:25:2;;5033:2;5018:18;;4899:177;7515:19:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:33;;;:69;;;;-1:-1:-1;7582:1:1;7552:9;7582:1;7562:4;;7567:1;7562:7;;;;;;;:::i;:::-;;;;;;;;;;7552:18;;-1:-1:-1;7552:18:1;;;;;;;;-1:-1:-1;7552:18:1;;;;:32;7515:69;7505:102;;;;;;;9138:2:2;7505:102:1;;;9120:21:2;9177:2;9157:18;;;9150:30;9216:19;9196:18;;;9189:47;9253:18;;7505:102:1;8936:341:2;7505:102:1;7621:2;;;;:15;7637:10;7657:4;7664;;7669:1;7664:7;;;;;;;:::i;:::-;7621:51;;;;;;;;;;9494:42:2;9563:15;;;7621:51:1;;;9545:34:2;9615:15;;;;9595:18;;;9588:43;-1:-1:-1;7664:7:1;;;;;;9647:18:2;;;9640:34;9457:18;;7621:51:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7706:17;7715:4;;7720:1;7715:7;;;;;;;:::i;:::-;;;;;;;7706:8;:17::i;:::-;7248:3;;;;:::i;:::-;;;;7215:577;;;;7154:644;;:::o;20477:176::-;20614:6;20632:14;;;;;;;;;10276:2:2;10258:21;;;10315:1;10295:18;;;10288:29;10353:6;10348:2;10333:18;;10326:34;10392:2;10377:18;;10074:327;16409:608:1;16496:3;5548:19;;;2976:8;5548:19;;5527:93;;;;;;;10608:2:2;5527:93:1;;;10590:21:2;10647:2;10627:18;;;10620:30;10686:29;10666:18;;;10659:57;10733:18;;5527:93:1;10406:351:2;5527:93:1;5651:20;;;5666:4;5651:20;;5630:86;;;;;;;10964:2:2;5630:86:1;;;10946:21:2;11003:2;10983:18;;;10976:30;11042:21;11022:18;;;11015:49;11081:18;;5630:86:1;10762:343:2;5630:86:1;5747:17;;;5726:81;;;;;;;11312:2:2;5726:81:1;;;11294:21:2;11351:2;11331:18;;;11324:30;11390:19;11370:18;;;11363:47;11427:18;;5726:81:1;11110:341:2;5726:81:1;16531:3:::1;16520:8;:14;16511:46;;;::::0;::::1;::::0;;7991:2:2;16511:46:1::1;::::0;::::1;7973:21:2::0;8030:2;8010:18;;;8003:30;8069:20;8049:18;;;8042:48;8107:18;;16511:46:1::1;7789:342:2::0;16511:46:1::1;16567:9;16579:19:::0;;;:9:::1;:19;::::0;;;;;::::1;::::0;;::::1;::::0;16617:10;::::1;::::0;::::1;16608:43;;;::::0;::::1;::::0;;11658:2:2;16608:43:1::1;::::0;::::1;11640:21:2::0;11697:2;11677:18;;;11670:30;11736:21;11716:18;;;11709:49;11775:18;;16608:43:1::1;11456:343:2::0;16608:43:1::1;16661:9;16673:18:::0;;;:8:::1;:18;::::0;;;;;::::1;::::0;;::::1;::::0;16710:15;::::1;16715:10;16710:15;::::0;:35:::1;;-1:-1:-1::0;16729:15:1::1;::::0;::::1;16734:10;16729:15;16710:35;:67;;;-1:-1:-1::0;16750:14:1::1;::::0;::::1;;::::0;;;:11:::1;:14;::::0;;;;;;;16765:10:::1;16750:26:::0;;;;;;;;::::1;;16710:67;16701:94;;;::::0;::::1;::::0;;12006:2:2;16701:94:1::1;::::0;::::1;11988:21:2::0;12045:2;12025:18;;;12018:30;12084:15;12064:18;;;12057:43;12117:18;;16701:94:1::1;11804:337:2::0;16701:94:1::1;16805:31;16815:5;16822:3;16827:8;16805:9;:31::i;:::-;16850:15;::::0;::::1;::::0;16846:165:::1;;16910:1;16881:18:::0;;;:8:::1;:18;::::0;;;;;:31;;;::::1;::::0;;16958:42;16890:8;;16910:1;16967:10:::1;::::0;16958:42:::1;::::0;16910:1;;16958:42:::1;16846:165;16501:516;;16409:608:::0;;;;:::o;12489:311::-;12575:7;12612:3;12603:6;:12;12594:44;;;;;;;7991:2:2;12594:44:1;;;7973:21:2;8030:2;8010:18;;;8003:30;8069:20;8049:18;;;8042:48;8107:18;;12594:44:1;7789:342:2;12594:44:1;12657:20;;;12648:49;;;;;;;12348:2:2;12648:49:1;;;12330:21:2;12387:2;12367:18;;;12360:30;12426:17;12406:18;;;12399:45;12461:18;;12648:49:1;12146:339:2;12648:49:1;12745:1;12716:17;;;:9;:17;;;;;;:31;:17;12707:63;;;;;;;12692:2:2;12707:63:1;;;12674:21:2;12731:2;12711:18;;;12704:30;12770:20;12750:18;;;12743:48;12808:18;;12707:63:1;12490:342:2;12707:63:1;-1:-1:-1;12787:6:1;12489:311;-1:-1:-1;12489:311:1:o;2596:108::-;;;;;;;;;;;;;;;;;;;:::o;15669:734::-;15760:3;5548:19;;;2976:8;5548:19;;5527:93;;;;;;;10608:2:2;5527:93:1;;;10590:21:2;10647:2;10627:18;;;10620:30;10686:29;10666:18;;;10659:57;10733:18;;5527:93:1;10406:351:2;5527:93:1;5651:20;;;5666:4;5651:20;;5630:86;;;;;;;10964:2:2;5630:86:1;;;10946:21:2;11003:2;10983:18;;;10976:30;11042:21;11022:18;;;11015:49;11081:18;;5630:86:1;10762:343:2;5630:86:1;5747:17;;;5726:81;;;;;;;11312:2:2;5726:81:1;;;11294:21:2;11351:2;11331:18;;;11324:30;11390:19;11370:18;;;11363:47;11427:18;;5726:81:1;11110:341:2;5726:81:1;15795:3:::1;15784:8;:14;15775:46;;;::::0;::::1;::::0;;7991:2:2;15775:46:1::1;::::0;::::1;7973:21:2::0;8030:2;8010:18;;;8003:30;8069:20;8049:18;;;8042:48;8107:18;;15775:46:1::1;7789:342:2::0;15775:46:1::1;15831:9;15843:19:::0;;;:9:::1;:19;::::0;;;;;::::1;::::0;;::::1;::::0;15881:10;::::1;::::0;::::1;15872:43;;;::::0;::::1;::::0;;11658:2:2;15872:43:1::1;::::0;::::1;11640:21:2::0;11697:2;11677:18;;;11670:30;11736:21;11716:18;;;11709:49;11775:18;;15872:43:1::1;11456:343:2::0;15872:43:1::1;15925:9;15937:18:::0;;;:8:::1;:18;::::0;;;;;::::1;::::0;;::::1;::::0;15974:15;::::1;15979:10;15974:15;::::0;:36:::1;;-1:-1:-1::0;15994:15:1::1;::::0;::::1;15999:10;15994:15;15974:36;:68;;;-1:-1:-1::0;16015:14:1::1;::::0;::::1;;::::0;;;:11:::1;:14;::::0;;;;;;;16030:10:::1;16015:26:::0;;;;;;;;::::1;;15974:68;15965:95;;;::::0;::::1;::::0;;12006:2:2;15965:95:1::1;::::0;::::1;11988:21:2::0;12045:2;12025:18;;;12018:30;12084:15;12064:18;;;12057:43;12117:18;;15965:95:1::1;11804:337:2::0;15965:95:1::1;16070:31;16080:5;16087:3;16092:8;16070:9;:31::i;:::-;16115:15;::::0;::::1;::::0;16111:165:::1;;16175:1;16146:18:::0;;;:8:::1;:18;::::0;;;;;:31;;;::::1;::::0;;16223:42;16155:8;;16175:1;16232:10:::1;::::0;16223:42:::1;::::0;16175:1;;16223:42:::1;16111:165;16293:48;16316:5;16323:3;16328:8;16293:48;;;;;;;;;;;::::0;:22:::1;:48::i;:::-;16285:111;;;::::0;::::1;::::0;;13039:2:2;16285:111:1::1;::::0;::::1;13021:21:2::0;13078:2;13058:18;;;13051:30;13117:34;13097:18;;;13090:62;13188:20;13168:18;;;13161:48;13226:19;;16285:111:1::1;12837:414:2::0;8894:325:1;8962:13;;;;:9;:13;;;;;;;;8948:10;:27;8939:60;;;;;;;13458:2:2;8939:60:1;;;13440:21:2;13497:2;13477:18;;;13470:30;13536:21;13516:18;;;13509:49;13575:18;;8939:60:1;13256:343:2;8939:60:1;9013:35;;;;;9029:10;9013:35;;;13778:74:2;3547:4:1;13868:18:2;;;13861:34;9013:6:1;:15;;;;;13751:18:2;;9013:35:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9009:204;;;9102:39;9112:10;2976:8;9138:2;9102:9;:39::i;:::-;9182:20;;;9187:10;13778:74:2;;13883:2;13868:18;;13861:34;;;9182:20:1;;13751:18:2;9182:20:1;;;;;;;;9009:204;8894:325;:::o;11890:154::-;11951:7;11988:3;11979:6;:12;11970:44;;;;;;;7991:2:2;11970:44:1;;;7973:21:2;8030:2;8010:18;;;8003:30;8069:20;8049:18;;;8042:48;8107:18;;11970:44:1;7789:342:2;11970:44:1;-1:-1:-1;12031:6:1;11890:154::o;10661:120::-;5312:7;;;;5298:10;:21;5277:94;;;;;;;14358:2:2;5277:94:1;;;14340:21:2;14397:2;14377:18;;;14370:30;14436:28;14416:18;;;14409:56;14482:18;;5277:94:1;14156:350:2;5277:94:1;10732:14;;::::1;::::0;:7:::1;::::0;:14:::1;::::0;::::1;::::0;::::1;:::i;:::-;;10761:13;10769:4;10761:13;;;;;;:::i;13846:252::-:0;13902:7;13941:3;13930:8;:14;13921:46;;;;;;;7991:2:2;13921:46:1;;;7973:21:2;8030:2;8010:18;;;8003:30;8069:20;8049:18;;;8042:48;8107:18;;13921:46:1;7789:342:2;13921:46:1;13977:14;13994:19;;;:9;:19;;;;;;;;14032:20;14023:45;;;;;;;14713:2:2;14023:45:1;;;14695:21:2;14752:2;14732:18;;;14725:30;14791:13;14771:18;;;14764:41;14822:18;;14023:45:1;14511:335:2;22579:1049:1;22633:13;22890:11;22915:10;22911:51;;-1:-1:-1;;22941:10:1;;;;;;;;;;;;;;;;;;22579:1049;-1:-1:-1;22579:1049:1:o;22911:51::-;23175:13;;;23185:2;23175:13;;;;;;;;;22988:2;;22971:14;;23175:13;;;;;;;;;;;-1:-1:-1;23175:13:1;23153:35;;23198:171;23205:10;;23198:171;;23274:10;23282:2;23274:5;:10;:::i;:::-;23261:24;;:2;:24;:::i;:::-;23248:39;;23231:6;23238;23231:14;;;;;;;;:::i;:::-;;;;:56;;;;;;;;;;-1:-1:-1;23301:11:1;23310:2;23301:11;;:::i;:::-;;-1:-1:-1;23326:11:1;23336:1;23326:11;;:::i;:::-;;-1:-1:-1;23351:7:1;;;;:::i;:::-;;;;23198:171;;;23449:2;23437:15;;;23431:22;;23482:13;;;;23496:1;23478:20;23474:31;;;;23518:29;;23560:21;;;-1:-1:-1;23441:6:1;22579:1049;-1:-1:-1;;22579:1049:1:o;12887:148::-;12944:7;12972:21;;;12963:31;;;;;;-1:-1:-1;13011:17:1;;;;;;:8;:17;;;;;;;12887:148::o;10166:86::-;10215:30;10242:1;10215:18;:30::i;:::-;10166:86::o;9314:458::-;9386:13;;;;:9;:13;;;;;;;;2976:8;9370:29;9362:54;;;;;;;15927:2:2;9362:54:1;;;15909:21:2;15966:2;15946:18;;;15939:30;16005:14;15985:18;;;15978:42;16037:18;;9362:54:1;15725:336:2;9362:54:1;9434;;;;;9454:10;9434:54;;;9545:34:2;9474:4:1;9595:18:2;;;9588:43;3547:4:1;9647:18:2;;;9640:34;9434:6:1;:19;;;;;9457:18:2;;9434:54:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9426:91;;;;;;;16268:2:2;9426:91:1;;;16250:21:2;16307:2;16287:18;;;16280:30;16346:26;16326:18;;;16319:54;16390:18;;9426:91:1;16066:348:2;9426:91:1;9567:7;;9535:19;:6;:19;;;;;9555:10;;9567:7;9576:10;3295:1;3547:4;9576:10;:::i;:::-;9535:52;;;;;;;;;;9494:42:2;9563:15;;;9535:52:1;;;9545:34:2;9615:15;;;;9595:18;;;9588:43;9647:18;;;9640:34;9457:18;;9535:52:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9527:85;;;;;;;16854:2:2;9527:85:1;;;16836:21:2;16893:2;16873:18;;;16866:30;16932:22;16912:18;;;16905:50;16972:18;;9527:85:1;16652:344:2;9527:85:1;9649:39;2976:8;9673:10;9685:2;9649:9;:39::i;:::-;9742:23;;;9750:10;13778:74:2;;13883:2;13868:18;;13861:34;;;9742:23:1;;13751:18:2;9742:23:1;13604:297:2;8119:708:1;8163:10;8182:2;;:25;;;;;:2;;;;:25;;;1779:74:2;;;8182:2:1;:12;;1752:18:2;;8182:25:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8176:31;;:3;:31;:::i;:::-;8163:44;;8279:3;8274:2;:8;8266:37;;;;;;;17392:2:2;8266:37:1;;;17374:21:2;17431:2;17411:18;;;17404:30;17470:18;17450;;;17443:46;17506:18;;8266:37:1;17190:340:2;8266:37:1;8326:1;8322;:5;:17;;;;;8336:3;8331:1;:8;;8322:17;8313:56;;;;;;;17737:2:2;8313:56:1;;;17719:21:2;17776:2;17756:18;;;17749:30;17815:27;17795:18;;;17788:55;17860:18;;8313:56:1;17535:349:2;8313:56:1;8392:3;8383:6;8387:2;8383:1;:6;:::i;:::-;:12;8379:187;;;8492:9;8499:2;8492:3;:9;:::i;:::-;8488:13;;8379:187;8596:19;:6;:19;;8616:10;8636:4;8643:8;8650:1;3547:4;8643:8;:::i;:::-;8596:56;;;;;;;;;;9494:42:2;9563:15;;;8596:56:1;;;9545:34:2;9615:15;;;;9595:18;;;9588:43;9647:18;;;9640:34;9457:18;;8596:56:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:64;;8656:4;8596:64;8575:130;;;;;;;18091:2:2;8575:130:1;;;18073:21:2;18130:2;18110:18;;;18103:30;18169:21;18149:18;;;18142:49;18208:18;;8575:130:1;17889:343:2;8575:130:1;8715:2;;:10;;;;;;;;5045:25:2;;;8715:2:1;;;;;:7;;5018:18:2;;8715:10:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8735:86;8742:5;;8735:86;;8763:12;8772:2;8763:8;:12::i;:::-;8789:3;;;;:::i;:::-;;;;8806:4;;;;;:::i;:::-;;;;8735:86;;;8153:674;8119:708;:::o;18118:268::-;18207:10;:23;;;;;18199:61;;;;;;;18640:2:2;18199:61:1;;;18622:21:2;18679:2;18659:18;;;18652:30;18718:27;18698:18;;;18691:55;18763:18;;18199:61:1;18438:349:2;18199:61:1;18282:10;18270:23;;;;:11;:23;;;;;;;;;:34;;;;;;;;;;;;:46;;;;;;;;;;;;;18331:48;;586:41:2;;;18270:34:1;;18282:10;18331:48;;559:18:2;18331:48:1;;;;;;;18118:268;;:::o;2814:108::-;;;;;;;;;;;;;;;;;;;:::o;14505:757::-;14616:3;5548:19;;;2976:8;5548:19;;5527:93;;;;;;;10608:2:2;5527:93:1;;;10590:21:2;10647:2;10627:18;;;10620:30;10686:29;10666:18;;;10659:57;10733:18;;5527:93:1;10406:351:2;5527:93:1;5651:20;;;5666:4;5651:20;;5630:86;;;;;;;10964:2:2;5630:86:1;;;10946:21:2;11003:2;10983:18;;;10976:30;11042:21;11022:18;;;11015:49;11081:18;;5630:86:1;10762:343:2;5630:86:1;5747:17;;;5726:81;;;;;;;11312:2:2;5726:81:1;;;11294:21:2;11351:2;11331:18;;;11324:30;11390:19;11370:18;;;11363:47;11427:18;;5726:81:1;11110:341:2;5726:81:1;14651:3:::1;14640:8;:14;14631:46;;;::::0;::::1;::::0;;7991:2:2;14631:46:1::1;::::0;::::1;7973:21:2::0;8030:2;8010:18;;;8003:30;8069:20;8049:18;;;8042:48;8107:18;;14631:46:1::1;7789:342:2::0;14631:46:1::1;14687:9;14699:19:::0;;;:9:::1;:19;::::0;;;;;::::1;::::0;;::::1;::::0;14737:10;::::1;::::0;::::1;14728:43;;;::::0;::::1;::::0;;11658:2:2;14728:43:1::1;::::0;::::1;11640:21:2::0;11697:2;11677:18;;;11670:30;11736:21;11716:18;;;11709:49;11775:18;;14728:43:1::1;11456:343:2::0;14728:43:1::1;14781:9;14793:18:::0;;;:8:::1;:18;::::0;;;;;::::1;::::0;;::::1;::::0;14830:15;::::1;14835:10;14830:15;::::0;:36:::1;;-1:-1:-1::0;14850:15:1::1;::::0;::::1;14855:10;14850:15;14830:36;:68;;;-1:-1:-1::0;14871:14:1::1;::::0;::::1;;::::0;;;:11:::1;:14;::::0;;;;;;;14886:10:::1;14871:26:::0;;;;;;;;::::1;;14830:68;14821:95;;;::::0;::::1;::::0;;12006:2:2;14821:95:1::1;::::0;::::1;11988:21:2::0;12045:2;12025:18;;;12018:30;12084:15;12064:18;;;12057:43;12117:18;;14821:95:1::1;11804:337:2::0;14821:95:1::1;14926:31;14936:5;14943:3;14948:8;14926:9;:31::i;:::-;14971:15;::::0;::::1;::::0;14967:165:::1;;15031:1;15002:18:::0;;;:8:::1;:18;::::0;;;;;:31;;;::::1;::::0;;15079:42;15011:8;;15031:1;15088:10:::1;::::0;15079:42:::1;::::0;15031:1;;15079:42:::1;14967:165;15149:51;15172:5;15179:3;15184:8;15194:5;15149:22;:51::i;:::-;15141:114;;;::::0;::::1;::::0;;13039:2:2;15141:114:1::1;::::0;::::1;13021:21:2::0;13078:2;13058:18;;;13051:30;13117:34;13097:18;;;13090:62;13188:20;13168:18;;;13161:48;13226:19;;15141:114:1::1;12837:414:2::0;15141:114:1::1;14621:641;;14505:757:::0;;;;;:::o;6017:1131::-;6120:14;;;6131:2;6120:14;;;;;;;;;6072:16;;6100:17;;6120:14;;;;;;;;;;;-1:-1:-1;;6153:23:1;;;;;:16;1797:55:2;;;6153:23:1;;;1779:74:2;6100:34:1;;-1:-1:-1;6153:6:1;:16;;;;;;1752:18:2;;6153:23:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6144:3;6148:1;6144:6;;;;;;;;:::i;:::-;;;;;;;;;;:32;6254:38;;;;;:16;19045:15:2;;;6254:38:1;;;19027:34:2;6286:4:1;19077:18:2;;;19070:43;6254:6:1;:16;;;;18939:18:2;;6254:38:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6245:3;6249:1;6245:6;;;;;;;;:::i;:::-;;;;;;;;;;:47;6365:2;;:25;;;;;:2;;;;:25;;;1779:74:2;;;6365:2:1;:12;;1752:18:2;;6365:25:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6356:3;6360:1;6356:6;;;;;;;;:::i;:::-;;;;;;;;;;:34;6454:2;;:26;;;;;2976:8;6454:26;;;1779:74:2;6454:2:1;;;;;:12;;1752:18:2;;6454:26:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6445:3;6449:1;6445:6;;;;;;;;:::i;:::-;;;;;;;;;;:35;6546:31;;;;;6571:4;6546:31;;;1779:74:2;6546:6:1;:16;;;;;1752:18:2;;6546:31:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6537:3;6541:1;6537:6;;;;;;;;:::i;:::-;;;;;;:40;;;;;6644:16;6654:5;6644:9;:16::i;:::-;6635:3;6639:1;6635:6;;;;;;;;:::i;:::-;;;;;;;;;;:25;6750:2;;6725:29;;;;;:16;6750:2;;;6725:29;;;1779:74:2;6725:6:1;:16;;;;;;1752:18:2;;6725:29:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6716:3;6720:1;6716:6;;;;;;;;:::i;:::-;;;;;;:38;;;;;6812:24;6830:4;6812:9;:24::i;:::-;6803:3;6807:1;6803:6;;;;;;;;:::i;:::-;;;;;;:33;;;;;6903:23;2976:8;6903:9;:23::i;:::-;6894:3;6898:1;6894:6;;;;;;;;:::i;:::-;;;;;;;;;;:32;6984:2;;:41;;;;;:2;19045:15:2;;;6984:41:1;;;19027:34:2;7019:4:1;19077:18:2;;;19070:43;6984:2:1;;;;:19;;18939:18:2;;6984:41:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6980:142;;;7050:1;7041:3;7045:1;7041:6;;;;;;;;:::i;:::-;;;;;;:10;;;;;7138:3;6017:1131;-1:-1:-1;;6017:1131:1:o;13335:369::-;13392:13;13437:3;13426:8;:14;13417:46;;;;;;;7991:2:2;13417:46:1;;;7973:21:2;8030:2;8010:18;;;8003:30;8069:20;8049:18;;;8042:48;8107:18;;13417:46:1;7789:342:2;13417:46:1;13473:22;13498:7;13473:32;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13515:11;13540:3;13529:8;:14;;;;:::i;:::-;13515:28;;13585:1;13566:8;13560:22;:26;:137;;;;;;;;;;;;;;;;;13621:8;13631:22;13640:12;13649:3;13640:8;:12;:::i;13631:22::-;13660:13;13669:3;13660:8;:13::i;:::-;13604:79;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;13560:137;13553:144;13335:369;-1:-1:-1;;;;13335:369:1:o;9839:104::-;5312:7;;;;5298:10;:21;5277:94;;;;;;;14358:2:2;5277:94:1;;;14340:21:2;14397:2;14377:18;;;14370:30;14436:28;14416:18;;;14409:56;14482:18;;5277:94:1;14156:350:2;5277:94:1;9908:28:::1;9927:8;9908:18;:28::i;7804:232::-:0;7853:2;;:11;;;;;;;;5045:25:2;;;7853:2:1;;;;;:7;;5018:18:2;;7853:11:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7931:40;7949:4;7956:10;7968:2;7931:9;:40::i;:::-;8009:20;;;8014:10;13778:74:2;;13883:2;13868:18;;13861:34;;;8009:20:1;;13751:18:2;8009:20:1;13604:297:2;20202:213:1;20286:13;;;;;;;:8;:13;;;;;:15;;;;;;:::i;:::-;;;;-1:-1:-1;;20311:15:1;;;;;;;:8;:15;;;;;:17;;;;;;:::i;:::-;;;;-1:-1:-1;;20338:19:1;;;;:9;:19;;;;;;:25;;;;;;;;;;;;;;20378:30;;20338:19;;20378:30;;;;;;;20202:213;;;:::o;21318:873::-;21468:4;22512:20;;22558:8;21484:701;;21522:70;;;;;:36;;;;;;:70;;21559:10;;21571:4;;21577:7;;21586:5;;21522:70;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;-1:-1:-1;21522:70:1;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;21518:517;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;21759:13:1;;21755:266;;21801:60;;;;;13039:2:2;21801:60:1;;;13021:21:2;13078:2;13058:18;;;13051:30;13117:34;13097:18;;;13090:62;13188:20;13168:18;;;13161:48;13226:19;;21801:60:1;12837:414:2;21755:266:1;21973:6;21967:13;21958:6;21954:2;21950:15;21943:38;21518:517;21642:51;;21652:41;21642:51;;-1:-1:-1;21635:58:1;;21484:701;-1:-1:-1;22170:4:1;21318:873;;;;;;:::o;10406:189::-;10498:7;;;;10515:18;;;;;;;;;;;10548:40;;;10498:7;;;;19027:34:2;;;19092:2;19077:18;;19070:43;;;;10548:40:1;;18939:18:2;10548:40:1;;;;;;;10469:126;10406:189;:::o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14:177:2;99:66;92:5;88:78;81:5;78:89;68:117;;181:1;178;171:12;196:245;254:6;307:2;295:9;286:7;282:23;278:32;275:52;;;323:1;320;313:12;275:52;362:9;349:23;381:30;405:5;381:30;:::i;:::-;430:5;196:245;-1:-1:-1;;;196:245:2:o;638:258::-;710:1;720:113;734:6;731:1;728:13;720:113;;;810:11;;;804:18;791:11;;;784:39;756:2;749:10;720:113;;;851:6;848:1;845:13;842:48;;;886:1;877:6;872:3;868:16;861:27;842:48;;638:258;;;:::o;901:317::-;943:3;981:5;975:12;1008:6;1003:3;996:19;1024:63;1080:6;1073:4;1068:3;1064:14;1057:4;1050:5;1046:16;1024:63;:::i;:::-;1132:2;1120:15;1137:66;1116:88;1107:98;;;;1207:4;1103:109;;901:317;-1:-1:-1;;901:317:2:o;1223:220::-;1372:2;1361:9;1354:21;1335:4;1392:45;1433:2;1422:9;1418:18;1410:6;1392:45;:::i;1448:180::-;1507:6;1560:2;1548:9;1539:7;1535:23;1531:32;1528:52;;;1576:1;1573;1566:12;1528:52;-1:-1:-1;1599:23:2;;1448:180;-1:-1:-1;1448:180:2:o;1864:154::-;1950:42;1943:5;1939:54;1932:5;1929:65;1919:93;;2008:1;2005;1998:12;2023:315;2091:6;2099;2152:2;2140:9;2131:7;2127:23;2123:32;2120:52;;;2168:1;2165;2158:12;2120:52;2207:9;2194:23;2226:31;2251:5;2226:31;:::i;:::-;2276:5;2328:2;2313:18;;;;2300:32;;-1:-1:-1;;;2023:315:2:o;2343:615::-;2429:6;2437;2490:2;2478:9;2469:7;2465:23;2461:32;2458:52;;;2506:1;2503;2496:12;2458:52;2546:9;2533:23;2575:18;2616:2;2608:6;2605:14;2602:34;;;2632:1;2629;2622:12;2602:34;2670:6;2659:9;2655:22;2645:32;;2715:7;2708:4;2704:2;2700:13;2696:27;2686:55;;2737:1;2734;2727:12;2686:55;2777:2;2764:16;2803:2;2795:6;2792:14;2789:34;;;2819:1;2816;2809:12;2789:34;2872:7;2867:2;2857:6;2854:1;2850:14;2846:2;2842:23;2838:32;2835:45;2832:65;;;2893:1;2890;2883:12;2832:65;2924:2;2916:11;;;;;2946:6;;-1:-1:-1;2343:615:2;;-1:-1:-1;;;;2343:615:2:o;2963:184::-;3015:77;3012:1;3005:88;3112:4;3109:1;3102:15;3136:4;3133:1;3126:15;3152:690;3216:5;3246:18;3287:2;3279:6;3276:14;3273:40;;;3293:18;;:::i;:::-;3427:2;3421:9;3493:2;3481:15;;3332:66;3477:24;;;3503:2;3473:33;3469:42;3457:55;;;3527:18;;;3547:22;;;3524:46;3521:72;;;3573:18;;:::i;:::-;3613:10;3609:2;3602:22;3642:6;3633:15;;3672:6;3664;3657:22;3712:3;3703:6;3698:3;3694:16;3691:25;3688:45;;;3729:1;3726;3719:12;3688:45;3779:6;3774:3;3767:4;3759:6;3755:17;3742:44;3834:1;3827:4;3818:6;3810;3806:19;3802:30;3795:41;;;;3152:690;;;;;:::o;3847:794::-;3942:6;3950;3958;3966;4019:3;4007:9;3998:7;3994:23;3990:33;3987:53;;;4036:1;4033;4026:12;3987:53;4075:9;4062:23;4094:31;4119:5;4094:31;:::i;:::-;4144:5;-1:-1:-1;4201:2:2;4186:18;;4173:32;4214:33;4173:32;4214:33;:::i;:::-;4266:7;-1:-1:-1;4320:2:2;4305:18;;4292:32;;-1:-1:-1;4375:2:2;4360:18;;4347:32;4402:18;4391:30;;4388:50;;;4434:1;4431;4424:12;4388:50;4457:22;;4510:4;4502:13;;4498:27;-1:-1:-1;4488:55:2;;4539:1;4536;4529:12;4488:55;4562:73;4627:7;4622:2;4609:16;4604:2;4600;4596:11;4562:73;:::i;:::-;4552:83;;;3847:794;;;;;;;:::o;5081:456::-;5158:6;5166;5174;5227:2;5215:9;5206:7;5202:23;5198:32;5195:52;;;5243:1;5240;5233:12;5195:52;5282:9;5269:23;5301:31;5326:5;5301:31;:::i;:::-;5351:5;-1:-1:-1;5408:2:2;5393:18;;5380:32;5421:33;5380:32;5421:33;:::i;:::-;5081:456;;5473:7;;-1:-1:-1;;;5527:2:2;5512:18;;;;5499:32;;5081:456::o;5542:450::-;5611:6;5664:2;5652:9;5643:7;5639:23;5635:32;5632:52;;;5680:1;5677;5670:12;5632:52;5720:9;5707:23;5753:18;5745:6;5742:30;5739:50;;;5785:1;5782;5775:12;5739:50;5808:22;;5861:4;5853:13;;5849:27;-1:-1:-1;5839:55:2;;5890:1;5887;5880:12;5839:55;5913:73;5978:7;5973:2;5960:16;5955:2;5951;5947:11;5913:73;:::i;5997:247::-;6056:6;6109:2;6097:9;6088:7;6084:23;6080:32;6077:52;;;6125:1;6122;6115:12;6077:52;6164:9;6151:23;6183:31;6208:5;6183:31;:::i;6249:118::-;6335:5;6328:13;6321:21;6314:5;6311:32;6301:60;;6357:1;6354;6347:12;6372:382;6437:6;6445;6498:2;6486:9;6477:7;6473:23;6469:32;6466:52;;;6514:1;6511;6504:12;6466:52;6553:9;6540:23;6572:31;6597:5;6572:31;:::i;:::-;6622:5;-1:-1:-1;6679:2:2;6664:18;;6651:32;6692:30;6651:32;6692:30;:::i;:::-;6741:7;6731:17;;;6372:382;;;;;:::o;6759:632::-;6930:2;6982:21;;;7052:13;;6955:18;;;7074:22;;;6901:4;;6930:2;7153:15;;;;7127:2;7112:18;;;6901:4;7196:169;7210:6;7207:1;7204:13;7196:169;;;7271:13;;7259:26;;7340:15;;;;7305:12;;;;7232:1;7225:9;7196:169;;;-1:-1:-1;7382:3:2;;6759:632;-1:-1:-1;;;;;;6759:632:2:o;7396:388::-;7464:6;7472;7525:2;7513:9;7504:7;7500:23;7496:32;7493:52;;;7541:1;7538;7531:12;7493:52;7580:9;7567:23;7599:31;7624:5;7599:31;:::i;:::-;7649:5;-1:-1:-1;7706:2:2;7691:18;;7678:32;7719:33;7678:32;7719:33;:::i;8491:184::-;8543:77;8540:1;8533:88;8640:4;8637:1;8630:15;8664:4;8661:1;8654:15;8680:251;8750:6;8803:2;8791:9;8782:7;8778:23;8774:32;8771:52;;;8819:1;8816;8809:12;8771:52;8851:9;8845:16;8870:31;8895:5;8870:31;:::i;9685:184::-;9737:77;9734:1;9727:88;9834:4;9831:1;9824:15;9858:4;9855:1;9848:15;9874:195;9913:3;9944:66;9937:5;9934:77;9931:103;;;10014:18;;:::i;:::-;-1:-1:-1;10061:1:2;10050:13;;9874:195::o;13906:245::-;13973:6;14026:2;14014:9;14005:7;14001:23;13997:32;13994:52;;;14042:1;14039;14032:12;13994:52;14074:9;14068:16;14093:28;14115:5;14093:28;:::i;14851:184::-;14903:77;14900:1;14893:88;15000:4;14997:1;14990:15;15024:4;15021:1;15014:15;15040:112;15072:1;15098;15088:35;;15103:18;;:::i;:::-;-1:-1:-1;15137:9:2;;15040:112::o;15157:128::-;15197:3;15228:1;15224:6;15221:1;15218:13;15215:39;;;15234:18;;:::i;:::-;-1:-1:-1;15270:9:2;;15157:128::o;15290:120::-;15330:1;15356;15346:35;;15361:18;;:::i;:::-;-1:-1:-1;15395:9:2;;15290:120::o;15415:125::-;15455:4;15483:1;15480;15477:8;15474:34;;;15488:18;;:::i;:::-;-1:-1:-1;15525:9:2;;15415:125::o;15545:175::-;15582:3;15626:4;15619:5;15615:16;15655:4;15646:7;15643:17;15640:43;;;15663:18;;:::i;:::-;15712:1;15699:15;;15545:175;-1:-1:-1;;15545:175:2:o;16419:228::-;16459:7;16585:1;16517:66;16513:74;16510:1;16507:81;16502:1;16495:9;16488:17;16484:105;16481:131;;;16592:18;;:::i;:::-;-1:-1:-1;16632:9:2;;16419:228::o;17001:184::-;17071:6;17124:2;17112:9;17103:7;17099:23;17095:32;17092:52;;;17140:1;17137;17130:12;17092:52;-1:-1:-1;17163:16:2;;17001:184;-1:-1:-1;17001:184:2:o;18237:196::-;18276:3;18304:5;18294:39;;18313:18;;:::i;:::-;-1:-1:-1;18360:66:2;18349:78;;18237:196::o;19124:437::-;19203:1;19199:12;;;;19246;;;19267:61;;19321:4;19313:6;19309:17;19299:27;;19267:61;19374:2;19366:6;19363:14;19343:18;19340:38;19337:218;;;19411:77;19408:1;19401:88;19512:4;19509:1;19502:15;19540:4;19537:1;19530:15;19566:966;19995:3;20033:6;20027:13;20049:53;20095:6;20090:3;20083:4;20075:6;20071:17;20049:53;:::i;:::-;20165:13;;20124:16;;;;20187:57;20165:13;20124:16;20221:4;20209:17;;20187:57;:::i;:::-;20309:3;20266:20;;20295:18;;;20338:13;;20360:65;20338:13;20412:1;20401:13;;20394:4;20382:17;;20360:65;:::i;:::-;20492:7;20488:1;20444:20;;;;20480:10;;;20473:27;20524:1;20516:10;;19566:966;-1:-1:-1;;;;;19566:966:2:o;20537:512::-;20731:4;20760:42;20841:2;20833:6;20829:15;20818:9;20811:34;20893:2;20885:6;20881:15;20876:2;20865:9;20861:18;20854:43;;20933:6;20928:2;20917:9;20913:18;20906:34;20976:3;20971:2;20960:9;20956:18;20949:31;20997:46;21038:3;21027:9;21023:19;21015:6;20997:46;:::i;:::-;20989:54;20537:512;-1:-1:-1;;;;;;20537:512:2:o;21054:249::-;21123:6;21176:2;21164:9;21155:7;21151:23;21147:32;21144:52;;;21192:1;21189;21182:12;21144:52;21224:9;21218:16;21243:30;21267:5;21243:30;:::i

ipfs://9e6bb624ca4a9dd04fad49ffbff19977ea65076e734f8a4096b0e27a5b32bcc5