Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
• library Math
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
• interface ERC721Collection
•    - function issueToken(address _benefici ...
•    - function getWearableKey(string callda ...
•    - function issued(bytes32 _wearableKey)
•    - function maxIssuance(bytes32 _wearabl ...
•    - function issueTokens(address[] callda ...
•    - function balanceOf(address _owner)
•  contract ClaimWearable *
•    - function changeMaxSenderBalance(uint2 ...
•    - function claimNFT(ERC721Collection _e ...
•    - function canMint(ERC721Collection _er ...
•    - function balanceOf(ERC721Collection _ ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-07-02
*/

// File: @openzeppelin/contracts/math/SafeMath.sol

pragma solidity ^0.5.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

// File: @openzeppelin/contracts/math/Math.sol

pragma solidity ^0.5.0;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow, so we distribute
        return (a / 2) + (b / 2) + ((a % 2 + b % 2) / 2);
    }
}

// File: contracts/Donation.sol

pragma solidity ^0.5.11;





interface ERC721Collection {
    function issueToken(address _beneficiary, string calldata _wearableId) external;
    function getWearableKey(string calldata _wearableId) external view returns (bytes32);
    function issued(bytes32 _wearableKey) external view returns (uint256);
    function maxIssuance(bytes32 _wearableKey) external view returns (uint256);
    function issueTokens(address[] calldata _beneficiaries, bytes32[] calldata _wearableIds) external;
    function balanceOf(address _owner) external view returns (uint256);
}

contract ClaimWearable {
    using SafeMath for uint256;
    
    uint256 public maxSenderBalance;
    address public owner;

    event ClaimedNFT(
        address indexed _caller,
        address indexed _erc721Collection,
        string _wearable
    );
    
    constructor(uint256 _maxSenderBalance) public {
        maxSenderBalance = _maxSenderBalance;
        owner = msg.sender;
    }
    
    function changeMaxSenderBalance(uint256 _maxSenderBalance) external {
        require(msg.sender == owner, "Unauthorized sender");
        maxSenderBalance = _maxSenderBalance;
    }

     /**
     * @dev Claim an NFTs.
     * @notice Claim a `_wearableId` NFT.
     * @param _erc721Collection - collection address
     * @param _wearableId - wearable id
     */
    function claimNFT(ERC721Collection _erc721Collection, string calldata _wearableId) external payable {
        require(_erc721Collection.balanceOf(msg.sender) < maxSenderBalance, "The sender has already reached maxSenderBalance");
        require(
            canMint(_erc721Collection, _wearableId, 1),
            "The amount of wearables to issue is higher than its available supply"
        );

        _erc721Collection.issueToken(msg.sender, _wearableId);

        emit ClaimedNFT(msg.sender, address(_erc721Collection), _wearableId);
    }

    /**
    * @dev Returns whether the wearable can be minted.
    * @param _erc721Collection - collection address
    * @param _wearableId - wearable id
    * @return whether a wearable can be minted
    */
    function canMint(ERC721Collection _erc721Collection, string memory _wearableId, uint256 _amount) public view returns (bool) {
        uint256 balance = balanceOf(_erc721Collection, _wearableId);

        return balance >= _amount;
    }

    /**
     * @dev Returns a wearable's available supply .
     * Throws if the option ID does not exist. May return 0.
     * @param _erc721Collection - collection address
     * @param _wearableId - wearable id
     * @return wearable's available supply
     */
    function balanceOf(ERC721Collection _erc721Collection, string memory _wearableId) public view returns (uint256) {
        bytes32 wearableKey = _erc721Collection.getWearableKey(_wearableId);

        uint256 issued = _erc721Collection.issued(wearableKey);
        uint256 maxIssuance = _erc721Collection.maxIssuance(wearableKey);

        return maxIssuance.sub(issued);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"maxSenderBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"contract ERC721Collection","name":"_erc721Collection","type":"address"},{"internalType":"string","name":"_wearableId","type":"string"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"canMint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_maxSenderBalance","type":"uint256"}],"name":"changeMaxSenderBalance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"contract ERC721Collection","name":"_erc721Collection","type":"address"},{"internalType":"string","name":"_wearableId","type":"string"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"contract ERC721Collection","name":"_erc721Collection","type":"address"},{"internalType":"string","name":"_wearableId","type":"string"}],"name":"claimNFT","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_maxSenderBalance","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_caller","type":"address"},{"indexed":true,"internalType":"address","name":"_erc721Collection","type":"address"},{"indexed":false,"internalType":"string","name":"_wearable","type":"string"}],"name":"ClaimedNFT","type":"event"}]

608060405234801561001057600080fd5b50604051610be4380380610be48339818101604052602081101561003357600080fd5b81019080805190602001909291905050508060008190555033600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050610b488061009c6000396000f3fe6080604052600436106100555760003560e01c80637954abc31461005a5780638da5cb5b146100855780639157d0d8146100dc578063ad77c27e146101e6578063b9b092c814610221578063c55a6f751461031d575b600080fd5b34801561006657600080fd5b5061006f6103b6565b6040518082815260200191505060405180910390f35b34801561009157600080fd5b5061009a6103bc565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156100e857600080fd5b506101cc600480360360608110156100ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561013c57600080fd5b82018360208201111561014e57600080fd5b8035906020019184600183028401116401000000008311171561017057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290803590602001909291905050506103e2565b604051808215151515815260200191505060405180910390f35b3480156101f257600080fd5b5061021f6004803603602081101561020957600080fd5b81019080803590602001909291905050506103ff565b005b34801561022d57600080fd5b506103076004803603604081101561024457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561028157600080fd5b82018360208201111561029357600080fd5b803590602001918460018302840111640100000000831117156102b557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506104cc565b6040518082815260200191505060405180910390f35b6103b46004803603604081101561033357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561037057600080fd5b82018360208201111561038257600080fd5b803590602001918460018302840111640100000000831117156103a457600080fd5b9091929391929390505050610700565b005b60005481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806103ef85856104cc565b9050828110159150509392505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f556e617574686f72697a65642073656e6465720000000000000000000000000081525060200191505060405180910390fd5b8060008190555050565b6000808373ffffffffffffffffffffffffffffffffffffffff1663823bfc3f846040518263ffffffff1660e01b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561053b578082015181840152602081019050610520565b50505050905090810190601f1680156105685780820380516001836020036101000a031916815260200191505b509250505060206040518083038186803b15801561058557600080fd5b505afa158015610599573d6000803e3d6000fd5b505050506040513d60208110156105af57600080fd5b8101908080519060200190929190505050905060008473ffffffffffffffffffffffffffffffffffffffff1663c59a138b836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561061557600080fd5b505afa158015610629573d6000803e3d6000fd5b505050506040513d602081101561063f57600080fd5b8101908080519060200190929190505050905060008573ffffffffffffffffffffffffffffffffffffffff1663e181ff33846040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156106a557600080fd5b505afa1580156106b9573d6000803e3d6000fd5b505050506040513d60208110156106cf57600080fd5b810190808051906020019092919050505090506106f58282610a1790919063ffffffff16565b935050505092915050565b6000548373ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561078057600080fd5b505afa158015610794573d6000803e3d6000fd5b505050506040513d60208110156107aa57600080fd5b810190808051906020019092919050505010610811576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180610ae5602f913960400191505060405180910390fd5b6108618383838080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505060016103e2565b6108b6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526044815260200180610aa16044913960600191505060405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff16635669c94f3384846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001806020018281038252848482818152602001925080828437600081840152601f19601f820116905080830192505050945050505050600060405180830381600087803b15801561096957600080fd5b505af115801561097d573d6000803e3d6000fd5b505050508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f1fa9bb9c817fcd5951474905bec5cdfee0fbcebff5af327462cc12a8da79bb29848460405180806020018281038252848482818152602001925080828437600081840152601f19601f820116905080830192505050935050505060405180910390a3505050565b600082821115610a8f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b60008284039050809150509291505056fe54686520616d6f756e74206f66207765617261626c657320746f20697373756520697320686967686572207468616e2069747320617661696c61626c6520737570706c795468652073656e6465722068617320616c72656164792072656163686564206d617853656e64657242616c616e6365a265627a7a72315820bf4bd0c32e5f17d6de531ba3333f743a486a9aebae766345417e62465405226e64736f6c634300050b0032000000000000000000000000000000000000000000000000000000000000000a

0x6080604052600436106100555760003560e01c80637954abc31461005a5780638da5cb5b146100855780639157d0d8146100dc578063ad77c27e146101e6578063b9b092c814610221578063c55a6f751461031d575b600080fd5b34801561006657600080fd5b5061006f6103b6565b6040518082815260200191505060405180910390f35b34801561009157600080fd5b5061009a6103bc565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156100e857600080fd5b506101cc600480360360608110156100ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561013c57600080fd5b82018360208201111561014e57600080fd5b8035906020019184600183028401116401000000008311171561017057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290803590602001909291905050506103e2565b604051808215151515815260200191505060405180910390f35b3480156101f257600080fd5b5061021f6004803603602081101561020957600080fd5b81019080803590602001909291905050506103ff565b005b34801561022d57600080fd5b506103076004803603604081101561024457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561028157600080fd5b82018360208201111561029357600080fd5b803590602001918460018302840111640100000000831117156102b557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506104cc565b6040518082815260200191505060405180910390f35b6103b46004803603604081101561033357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561037057600080fd5b82018360208201111561038257600080fd5b803590602001918460018302840111640100000000831117156103a457600080fd5b9091929391929390505050610700565b005b60005481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806103ef85856104cc565b9050828110159150509392505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f556e617574686f72697a65642073656e6465720000000000000000000000000081525060200191505060405180910390fd5b8060008190555050565b6000808373ffffffffffffffffffffffffffffffffffffffff1663823bfc3f846040518263ffffffff1660e01b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561053b578082015181840152602081019050610520565b50505050905090810190601f1680156105685780820380516001836020036101000a031916815260200191505b509250505060206040518083038186803b15801561058557600080fd5b505afa158015610599573d6000803e3d6000fd5b505050506040513d60208110156105af57600080fd5b8101908080519060200190929190505050905060008473ffffffffffffffffffffffffffffffffffffffff1663c59a138b836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561061557600080fd5b505afa158015610629573d6000803e3d6000fd5b505050506040513d602081101561063f57600080fd5b8101908080519060200190929190505050905060008573ffffffffffffffffffffffffffffffffffffffff1663e181ff33846040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156106a557600080fd5b505afa1580156106b9573d6000803e3d6000fd5b505050506040513d60208110156106cf57600080fd5b810190808051906020019092919050505090506106f58282610a1790919063ffffffff16565b935050505092915050565b6000548373ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561078057600080fd5b505afa158015610794573d6000803e3d6000fd5b505050506040513d60208110156107aa57600080fd5b810190808051906020019092919050505010610811576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180610ae5602f913960400191505060405180910390fd5b6108618383838080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505060016103e2565b6108b6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526044815260200180610aa16044913960600191505060405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff16635669c94f3384846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001806020018281038252848482818152602001925080828437600081840152601f19601f820116905080830192505050945050505050600060405180830381600087803b15801561096957600080fd5b505af115801561097d573d6000803e3d6000fd5b505050508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f1fa9bb9c817fcd5951474905bec5cdfee0fbcebff5af327462cc12a8da79bb29848460405180806020018281038252848482818152602001925080828437600081840152601f19601f820116905080830192505050935050505060405180910390a3505050565b600082821115610a8f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b60008284039050809150509291505056fe54686520616d6f756e74206f66207765617261626c657320746f20697373756520697320686967686572207468616e2069747320617661696c61626c6520737570706c795468652073656e6465722068617320616c72656164792072656163686564206d617853656e64657242616c616e6365a265627a7a72315820bf4bd0c32e5f17d6de531ba3333f743a486a9aebae766345417e62465405226e64736f6c634300050b0032

000000000000000000000000000000000000000000000000000000000000000a

-----Decoded View---------------
Arg [0] : _maxSenderBalance (uint256): 10

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000000000000000000000000000000000000000000a

5158:2480:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5227:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5227:31:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5265:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5265:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6732:240;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6732:240:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6732:240:0;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;6732:240:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;6732:240:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;6732:240:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;6732:240:0;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5577:185;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5577:185:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5577:185:0;;;;;;;;;;;;;;;;;:::i;:::-;;7252:383;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7252:383:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7252:383:0;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;7252:383:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7252:383:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;7252:383:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;7252:383:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5955:555;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5955:555:0;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;5955:555:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5955:555:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;5955:555:0;;;;;;;;;;;;:::i;:::-;;5227:31;;;;:::o;5265:20::-;;;;;;;;;;;;;:::o;6732:240::-;6850:4;6867:15;6885:41;6895:17;6914:11;6885:9;:41::i;:::-;6867:59;;6957:7;6946;:18;;6939:25;;;6732:240;;;;;:::o;5577:185::-;5678:5;;;;;;;;;;;5664:19;;:10;:19;;;5656:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5737:17;5718:16;:36;;;;5577:185;:::o;7252:383::-;7355:7;7375:19;7397:17;:32;;;7430:11;7397:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;7397:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7397:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7397:45:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7397:45:0;;;;;;;;;;;;;;;;7375:67;;7455:14;7472:17;:24;;;7497:11;7472:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7472:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7472:37:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7472:37:0;;;;;;;;;;;;;;;;7455:54;;7520:19;7542:17;:29;;;7572:11;7542:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7542:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7542:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7542:42:0;;;;;;;;;;;;;;;;7520:64;;7604:23;7620:6;7604:11;:15;;:23;;;;:::i;:::-;7597:30;;;;;7252:383;;;;:::o;5955:555::-;6116:16;;6074:17;:27;;;6102:10;6074:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6074:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6074:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6074:39:0;;;;;;;;;;;;;;;;:58;6066:118;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6217:42;6225:17;6244:11;;6217:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;6217:42:0;;;;;;6257:1;6217:7;:42::i;:::-;6195:160;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6368:17;:28;;;6397:10;6409:11;;6368:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;6368:53:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6368:53:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6368:53:0;;;;6470:17;6439:63;;6450:10;6439:63;;;6490:11;;6439:63;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;6439:63:0;;;;;;;;;;;;;;5955:555;;;:::o;1369:184::-;1427:7;1460:1;1455;:6;;1447:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1507:9;1523:1;1519;:5;1507:17;;1544:1;1537:8;;;1369:184;;;;:::o

bzzr://bf4bd0c32e5f17d6de531ba3333f743a486a9aebae766345417e62465405226e