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 min(uint256 a, uint256 b)
•  contract DegensToken
•    - function transfer(address recipient, ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•    - function permit(address owner, addres ...
•    - function getChainId()
•  contract DegensTokenDistributor *
•    - function amountClaimable(uint256 inde ...
•    - function claim(uint256 index, address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.7.0;

// SPDX-License-Identifier: MIT

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "add overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "sub underflow");
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) return 0;
        uint256 c = a * b;
        require(c / a == b, "mul overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "div by zero");
        uint256 c = a / b;
        return c;
    }

    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }
}

contract DegensToken {
    using SafeMath for uint256;

    string public constant name = "Degens Token";
    string public constant symbol = "DEGENS";
    uint8 public constant decimals = 18;
    uint256 immutable public totalSupply;

    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;
    mapping(address => uint256) public nonces;

    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);

    bytes32 public constant DOMAIN_TYPEHASH = keccak256("EIP712Domain(string name,uint256 chainId,address verifyingContract)");
    bytes32 public constant PERMIT_TYPEHASH = keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");

    constructor(uint256 amountToDistribute) {
        totalSupply = amountToDistribute;
        balanceOf[msg.sender] = amountToDistribute;
        emit Transfer(address(0), msg.sender, amountToDistribute);
    }

    function transfer(address recipient, uint256 amount) external returns (bool) {
        return transferFrom(msg.sender, recipient, amount);
    }

    function transferFrom(address from, address recipient, uint256 amount) public returns (bool) {
        require(balanceOf[from] >= amount, "insufficient balance");
        if (from != msg.sender && allowance[from][msg.sender] != uint256(-1)) {
            require(allowance[from][msg.sender] >= amount, "insufficient allowance");
            allowance[from][msg.sender] = allowance[from][msg.sender].sub(amount);
        }
        balanceOf[from] = balanceOf[from].sub(amount);
        balanceOf[recipient] = balanceOf[recipient].add(amount);
        emit Transfer(from, recipient, amount);
        return true;
    }

    function approve(address spender, uint256 amount) external returns (bool) {
        allowance[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function permit(address owner, address spender, uint value, uint deadline, uint8 v, bytes32 r, bytes32 s) external {
        bytes32 domainSeparator = keccak256(abi.encode(DOMAIN_TYPEHASH, keccak256(bytes(name)), getChainId(), address(this)));
        bytes32 structHash = keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, nonces[owner]++, deadline));
        bytes32 digest = keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));

        address signatory = ecrecover(digest, v, r, s);
        require(signatory != address(0), "permit: invalid signature");
        require(signatory == owner, "permit: unauthorized");
        require(block.timestamp <= deadline, "permit: signature expired");

        allowance[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function getChainId() private pure returns (uint chainId) {
        assembly { chainId := chainid() }
    }
}

contract DegensTokenDistributor {
    using SafeMath for uint256;

    bytes32 immutable public merkleRoot;
    uint256 public unclaimed;
    mapping(uint256 => uint256) public claimed; // index -> tokens claimed

    DegensToken immutable public token;
    uint64 immutable public timeDeployed;

    constructor(bytes32 merkleRoot_, uint256 unclaimed_) {
        merkleRoot = merkleRoot_;
        unclaimed = unclaimed_;

        token = new DegensToken(unclaimed_);
        timeDeployed = uint64(block.timestamp);
    }

    function amountClaimable(uint256 index, uint256 allocation, uint256 vestingYears) public view returns (uint256) {
        uint256 yearsElapsed = block.timestamp.sub(timeDeployed).mul(1e18).div(86400 * 365);

        uint256 fractionVested = vestingYears == 0 ? 1e18 : yearsElapsed.div(vestingYears).min(1e18);

        uint256 amountVested = allocation.mul(fractionVested).div(1e18).min(allocation);

        return amountVested.sub(claimed[index]);
    }

    function claim(uint256 index, address claimer, uint256 allocation, uint256 vestingYears, bytes32[] memory witnesses, uint256 path) public {
        // Validate proof

        bytes32 node = keccak256(abi.encodePacked(index, claimer, allocation, vestingYears));

        for (uint256 i = 0; i < witnesses.length; i++) {
            if ((path & 1) == 0) {
                node = keccak256(abi.encodePacked(node, witnesses[i]));
            } else {
                node = keccak256(abi.encodePacked(witnesses[i], node));
            }

            path >>= 1;
        }

        require(node == merkleRoot, "incorrect proof");

        // Compute amount claimable

        uint256 toClaim = amountClaimable(index, allocation, vestingYears);
        require(toClaim > 0, "nothing claimable");

        // Update distributor records

        claimed[index] = claimed[index].add(toClaim);
        unclaimed = unclaimed.sub(toClaim);

        // Transfer tokens

        token.transfer(claimer, toClaim);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"bytes32","name":"merkleRoot_","type":"bytes32"},{"internalType":"uint256","name":"unclaimed_","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"},{"internalType":"uint256","name":"allocation","type":"uint256"},{"internalType":"uint256","name":"vestingYears","type":"uint256"}],"name":"amountClaimable","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"},{"internalType":"address","name":"claimer","type":"address"},{"internalType":"uint256","name":"allocation","type":"uint256"},{"internalType":"uint256","name":"vestingYears","type":"uint256"},{"internalType":"bytes32[]","name":"witnesses","type":"bytes32[]"},{"internalType":"uint256","name":"path","type":"uint256"}],"name":"claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"claimed","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"merkleRoot","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"timeDeployed","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"contract DegensToken","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unclaimed","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

60e060405234801561001057600080fd5b506040516113e03803806113e08339818101604052604081101561003357600080fd5b508051602090910151608082905260008190556040518190610054906100a1565b90815260405190819003602001906000f080158015610077573d6000803e3d6000fd5b5060601b6001600160601b03191660a05250504260c090811b6001600160c01b03191690526100ae565b610b5c8061088483390190565b60805160a05160601c60c05160c01c6107956100ef600039806101fd528061026f52508061051052806105cf525080610221528061041652506107956000f3fe608060405234801561001057600080fd5b506004361061007d5760003560e01c8063a28d39d21161005b578063a28d39d2146100c9578063c6ad56b1146100f2578063dbe7e3bd146101ba578063fc0c546a146101d75761007d565b806319188c35146100825780632eb4a7ab146100a7578063669416b8146100c1575b600080fd5b61008a6101fb565b6040805167ffffffffffffffff9092168252519081900360200190f35b6100af61021f565b60408051918252519081900360200190f35b6100af610243565b6100af600480360360608110156100df57600080fd5b5080359060208101359060400135610249565b6101b8600480360360c081101561010857600080fd5b8135916001600160a01b036020820135169160408201359160608101359181019060a08101608082013564010000000081111561014457600080fd5b82018360208201111561015657600080fd5b8035906020019184602083028401116401000000008311171561017857600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929550509135925061031b915050565b005b6100af600480360360208110156101d057600080fd5b50356105bb565b6101df6105cd565b604080516001600160a01b039092168252519081900360200190f35b7f000000000000000000000000000000000000000000000000000000000000000081565b7f000000000000000000000000000000000000000000000000000000000000000081565b60005481565b6000806102a06301e1338061029a670de0b6b3a76400006102944267ffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000166105f1565b90610643565b906106a8565b9050600083156102cb576102c6670de0b6b3a76400006102c084876106a8565b90610700565b6102d5565b670de0b6b3a76400005b905060006102f3866102c0670de0b6b3a764000061029a8387610643565b6000888152600160205260409020549091506103109082906105f1565b979650505050505050565b6040805160208082018990526bffffffffffffffffffffffff19606089901b1682840152605482018790526074808301879052835180840390910181526094909201909252805191012060005b835181101561041357600183166103c2578184828151811061038657fe5b60200260200101516040516020018083815260200182815260200192505050604051602081830303815290604052805190602001209150610407565b8381815181106103ce57fe5b60200260200101518260405160200180838152602001828152602001925050506040516020818303038152906040528051906020012091505b600192831c9201610368565b507f0000000000000000000000000000000000000000000000000000000000000000811461047a576040805162461bcd60e51b815260206004820152600f60248201526e34b731b7b93932b1ba10383937b7b360891b604482015290519081900360640190fd5b6000610487888787610249565b9050600081116104d2576040805162461bcd60e51b81526020600482015260116024820152706e6f7468696e6720636c61696d61626c6560781b604482015290519081900360640190fd5b6000888152600160205260409020546104eb9082610716565b6000898152600160205260408120919091555461050890826105f1565b6000819055507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663a9059cbb88836040518363ffffffff1660e01b815260040180836001600160a01b0316815260200182815260200192505050602060405180830381600087803b15801561058557600080fd5b505af1158015610599573d6000803e3d6000fd5b505050506040513d60208110156105af57600080fd5b50505050505050505050565b60016020526000908152604090205481565b7f000000000000000000000000000000000000000000000000000000000000000081565b600082821115610638576040805162461bcd60e51b815260206004820152600d60248201526c73756220756e646572666c6f7760981b604482015290519081900360640190fd5b508082035b92915050565b6000826106525750600061063d565b8282028284828161065f57fe5b04146106a1576040805162461bcd60e51b815260206004820152600c60248201526b6d756c206f766572666c6f7760a01b604482015290519081900360640190fd5b9392505050565b60008082116106ec576040805162461bcd60e51b815260206004820152600b60248201526a646976206279207a65726f60a81b604482015290519081900360640190fd5b60008284816106f757fe5b04949350505050565b600081831061070f57816106a1565b5090919050565b6000828201838110156106a1576040805162461bcd60e51b815260206004820152600c60248201526b616464206f766572666c6f7760a01b604482015290519081900360640190fdfea26469706673582212201b42c2c493f7e22460dc3a2c2cf2761b974236a9bdbee2c3507c51ad779d1f7a64736f6c6343000703003360a060405234801561001057600080fd5b50604051610b5c380380610b5c8339818101604052602081101561003357600080fd5b5051608081905233600081815260208181526040808320859055805185815290517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a350608051610ac261009a600039806103a05250610ac26000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063313ce5671161008c57806395d89b411161006657806395d89b411461025b578063a9059cbb14610263578063d505accf1461028f578063dd62ed3e146102e2576100cf565b8063313ce567146101f157806370a082311461020f5780637ecebe0014610235576100cf565b806306fdde03146100d4578063095ea7b31461015157806318160ddd1461019157806320606b70146101ab57806323b872dd146101b357806330adf81f146101e9575b600080fd5b6100dc610310565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101165781810151838201526020016100fe565b50505050905090810190601f1680156101435780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61017d6004803603604081101561016757600080fd5b506001600160a01b038135169060200135610338565b604080519115158252519081900360200190f35b61019961039e565b60408051918252519081900360200190f35b6101996103c2565b61017d600480360360608110156101c957600080fd5b506001600160a01b038135811691602081013590911690604001356103e6565b610199610602565b6101f9610626565b6040805160ff9092168252519081900360200190f35b6101996004803603602081101561022557600080fd5b50356001600160a01b031661062b565b6101996004803603602081101561024b57600080fd5b50356001600160a01b031661063d565b6100dc61064f565b61017d6004803603604081101561027957600080fd5b506001600160a01b038135169060200135610671565b6102e0600480360360e08110156102a557600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135610685565b005b610199600480360360408110156102f857600080fd5b506001600160a01b03813581169160200135166109d5565b6040518060400160405280600c81526020016b2232b3b2b739902a37b5b2b760a11b81525081565b3360008181526001602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b7f000000000000000000000000000000000000000000000000000000000000000081565b7f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a86681565b6001600160a01b03831660009081526020819052604081205482111561044a576040805162461bcd60e51b8152602060048201526014602482015273696e73756666696369656e742062616c616e636560601b604482015290519081900360640190fd5b6001600160a01b038416331480159061048857506001600160a01b038416600090815260016020908152604080832033845290915290205460001914155b15610551576001600160a01b03841660009081526001602090815260408083203384529091529020548211156104fe576040805162461bcd60e51b8152602060048201526016602482015275696e73756666696369656e7420616c6c6f77616e636560501b604482015290519081900360640190fd5b6001600160a01b038416600090815260016020908152604080832033845290915290205461052c90836109f2565b6001600160a01b03851660009081526001602090815260408083203384529091529020555b6001600160a01b03841660009081526020819052604090205461057490836109f2565b6001600160a01b0380861660009081526020819052604080822093909355908516815220546105a39083610a3f565b6001600160a01b038085166000818152602081815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60006020819052908152604090205481565b60026020526000908152604090205481565b60405180604001604052806006815260200165444547454e5360d01b81525081565b600061067e3384846103e6565b9392505050565b60408051808201909152600c81526b2232b3b2b739902a37b5b2b760a11b60209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667f063d58d231664b1fd7c6487aa84090f53b16e41a780d6568c08035afef4587126106f5610a88565b60408051602080820195909552808201939093526060830191909152306080808401919091528151808403909101815260a0830182528051908401206001600160a01b038c8116600081815260028752848120805460018082019092557f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960c089015260e0880193909352928e1661010087015261012086018d90526101408601919091526101608086018c9052845180870390910181526101808601855280519087012061190160f01b6101a08701526101a286018490526101c2808701829052855180880390910181526101e2870180875281519189019190912090839052610202870180875281905260ff8c1661022288015261024287018b905261026287018a90529451939750959394909391926102828083019392601f198301929081900390910190855afa158015610851573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166108b9576040805162461bcd60e51b815260206004820152601960248201527f7065726d69743a20696e76616c6964207369676e617475726500000000000000604482015290519081900360640190fd5b8a6001600160a01b0316816001600160a01b031614610916576040805162461bcd60e51b81526020600482015260146024820152731c195c9b5a5d0e881d5b985d5d1a1bdc9a5e995960621b604482015290519081900360640190fd5b8742111561096b576040805162461bcd60e51b815260206004820152601960248201527f7065726d69743a207369676e6174757265206578706972656400000000000000604482015290519081900360640190fd5b6001600160a01b03808c166000818152600160209081526040808320948f16808452948252918290208d905581518d815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35050505050505050505050565b600160209081526000928352604080842090915290825290205481565b600082821115610a39576040805162461bcd60e51b815260206004820152600d60248201526c73756220756e646572666c6f7760981b604482015290519081900360640190fd5b50900390565b60008282018381101561067e576040805162461bcd60e51b815260206004820152600c60248201526b616464206f766572666c6f7760a01b604482015290519081900360640190fd5b469056fea2646970667358221220ce35b8b7e5a1101de304feb14f2f3bec55a67a079b9ee506505effc6f44fa18164736f6c63430007030033da4e37b3a2d28c22917a1477ecbdaa55bd6e90f2628d283065a59b303f8f3f5a00000000000000000000000000000000000000000000fc917b12fa9b62400000

0x608060405234801561001057600080fd5b506004361061007d5760003560e01c8063a28d39d21161005b578063a28d39d2146100c9578063c6ad56b1146100f2578063dbe7e3bd146101ba578063fc0c546a146101d75761007d565b806319188c35146100825780632eb4a7ab146100a7578063669416b8146100c1575b600080fd5b61008a6101fb565b6040805167ffffffffffffffff9092168252519081900360200190f35b6100af61021f565b60408051918252519081900360200190f35b6100af610243565b6100af600480360360608110156100df57600080fd5b5080359060208101359060400135610249565b6101b8600480360360c081101561010857600080fd5b8135916001600160a01b036020820135169160408201359160608101359181019060a08101608082013564010000000081111561014457600080fd5b82018360208201111561015657600080fd5b8035906020019184602083028401116401000000008311171561017857600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929550509135925061031b915050565b005b6100af600480360360208110156101d057600080fd5b50356105bb565b6101df6105cd565b604080516001600160a01b039092168252519081900360200190f35b7f000000000000000000000000000000000000000000000000000000005f94501a81565b7fda4e37b3a2d28c22917a1477ecbdaa55bd6e90f2628d283065a59b303f8f3f5a81565b60005481565b6000806102a06301e1338061029a670de0b6b3a76400006102944267ffffffffffffffff7f000000000000000000000000000000000000000000000000000000005f94501a166105f1565b90610643565b906106a8565b9050600083156102cb576102c6670de0b6b3a76400006102c084876106a8565b90610700565b6102d5565b670de0b6b3a76400005b905060006102f3866102c0670de0b6b3a764000061029a8387610643565b6000888152600160205260409020549091506103109082906105f1565b979650505050505050565b6040805160208082018990526bffffffffffffffffffffffff19606089901b1682840152605482018790526074808301879052835180840390910181526094909201909252805191012060005b835181101561041357600183166103c2578184828151811061038657fe5b60200260200101516040516020018083815260200182815260200192505050604051602081830303815290604052805190602001209150610407565b8381815181106103ce57fe5b60200260200101518260405160200180838152602001828152602001925050506040516020818303038152906040528051906020012091505b600192831c9201610368565b507fda4e37b3a2d28c22917a1477ecbdaa55bd6e90f2628d283065a59b303f8f3f5a811461047a576040805162461bcd60e51b815260206004820152600f60248201526e34b731b7b93932b1ba10383937b7b360891b604482015290519081900360640190fd5b6000610487888787610249565b9050600081116104d2576040805162461bcd60e51b81526020600482015260116024820152706e6f7468696e6720636c61696d61626c6560781b604482015290519081900360640190fd5b6000888152600160205260409020546104eb9082610716565b6000898152600160205260408120919091555461050890826105f1565b6000819055507f000000000000000000000000dd039990bd551ce7437d3bf54d155220b7988b716001600160a01b031663a9059cbb88836040518363ffffffff1660e01b815260040180836001600160a01b0316815260200182815260200192505050602060405180830381600087803b15801561058557600080fd5b505af1158015610599573d6000803e3d6000fd5b505050506040513d60208110156105af57600080fd5b50505050505050505050565b60016020526000908152604090205481565b7f000000000000000000000000dd039990bd551ce7437d3bf54d155220b7988b7181565b600082821115610638576040805162461bcd60e51b815260206004820152600d60248201526c73756220756e646572666c6f7760981b604482015290519081900360640190fd5b508082035b92915050565b6000826106525750600061063d565b8282028284828161065f57fe5b04146106a1576040805162461bcd60e51b815260206004820152600c60248201526b6d756c206f766572666c6f7760a01b604482015290519081900360640190fd5b9392505050565b60008082116106ec576040805162461bcd60e51b815260206004820152600b60248201526a646976206279207a65726f60a81b604482015290519081900360640190fd5b60008284816106f757fe5b04949350505050565b600081831061070f57816106a1565b5090919050565b6000828201838110156106a1576040805162461bcd60e51b815260206004820152600c60248201526b616464206f766572666c6f7760a01b604482015290519081900360640190fdfea26469706673582212201b42c2c493f7e22460dc3a2c2cf2761b974236a9bdbee2c3507c51ad779d1f7a64736f6c63430007030033

da4e37b3a2d28c22917a1477ecbdaa55bd6e90f2628d283065a59b303f8f3f5a00000000000000000000000000000000000000000000fc917b12fa9b62400000

-----Decoded View---------------
Arg [0] : merkleRoot_ (bytes32): 0xda4e37b3a2d28c22917a1477ecbdaa55bd6e90f2628d283065a59b303f8f3f5a
Arg [1] : unclaimed_ (uint256): 1192720000000000000000000

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : da4e37b3a2d28c22917a1477ecbdaa55bd6e90f2628d283065a59b303f8f3f5a
Arg [1] : 00000000000000000000000000000000000000000000fc917b12fa9b62400000

3956:2053:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4222:36;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4030:35;;;:::i;:::-;;;;;;;;;;;;;;;;4072:24;;;:::i;4501:463::-;;;;;;;;;;;;;;;;-1:-1:-1;4501:463:0;;;;;;;;;;;;:::i;4972:1034::-;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4972:1034:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4972:1034:0;;-1:-1:-1;;4972:1034:0;;;-1:-1:-1;4972:1034:0;;-1:-1:-1;;4972:1034:0:i;:::-;;4103:42;;;;;;;;;;;;;;;;-1:-1:-1;4103:42:0;;:::i;4181:34::-;;;:::i;:::-;;;;-1:-1:-1;;;;;4181:34:0;;;;;;;;;;;;;;4222:36;;;:::o;4030:35::-;;;:::o;4072:24::-;;;;:::o;4501:463::-;4604:7;;4647:60;4695:11;4647:43;4685:4;4647:33;:15;:33;4667:12;4647:33;:19;:33::i;:::-;:37;;:43::i;:::-;:47;;:60::i;:::-;4624:83;-1:-1:-1;4720:22:0;4745:17;;:67;;4772:40;4807:4;4772:30;:12;4789;4772:16;:30::i;:::-;:34;;:40::i;:::-;4745:67;;;4765:4;4745:67;4720:92;-1:-1:-1;4825:20:0;4848:56;4893:10;4848:40;4883:4;4848:30;4893:10;4720:92;4848:14;:30::i;:56::-;4941:14;;;;:7;:14;;;;;;4825:79;;-1:-1:-1;4924:32:0;;4825:79;;4924:16;:32::i;:::-;4917:39;4501:463;-1:-1:-1;;;;;;;4501:463:0:o;4972:1034::-;5175:58;;;;;;;;;;-1:-1:-1;;5175:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5165:69;;;;;5150:12;5247:305;5271:9;:16;5267:1;:20;5247:305;;;5321:1;5314:8;;5309:205;;5383:4;5389:9;5399:1;5389:12;;;;;;;;;;;;;;5366:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5356:47;;;;;;5349:54;;5309:205;;;5478:9;5488:1;5478:12;;;;;;;;;;;;;;5492:4;5461:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5451:47;;;;;;5444:54;;5309:205;5539:1;5530:10;;;;5289:3;5247:305;;;;5580:10;5572:4;:18;5564:46;;;;;-1:-1:-1;;;5564:46:0;;;;;;;;;;;;-1:-1:-1;;;5564:46:0;;;;;;;;;;;;;;;5662:15;5680:48;5696:5;5703:10;5715:12;5680:15;:48::i;:::-;5662:66;;5757:1;5747:7;:11;5739:41;;;;;-1:-1:-1;;;5739:41:0;;;;;;;;;;;;-1:-1:-1;;;5739:41:0;;;;;;;;;;;;;;;5851:14;;;;:7;:14;;;;;;:27;;5870:7;5851:18;:27::i;:::-;5834:14;;;;:7;:14;;;;;:44;;;;5901:9;:22;;5915:7;5901:13;:22::i;:::-;5889:9;:34;;;;5966:5;-1:-1:-1;;;;;5966:14:0;;5981:7;5990;5966:32;;;;;;;;;;;;;-1:-1:-1;;;;;5966:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;4972:1034:0:o;4103:42::-;;;;;;;;;;;;;:::o;4181:34::-;;;:::o;258:165::-;316:7;349:1;344;:6;;336:32;;;;;-1:-1:-1;;;336:32:0;;;;;;;;;;;;-1:-1:-1;;;336:32:0;;;;;;;;;;;;;;;-1:-1:-1;391:5:0;;;258:165;;;;;:::o;431:199::-;489:7;513:6;509:20;;-1:-1:-1;528:1:0;521:8;;509:20;552:5;;;556:1;552;:5;:1;576:5;;;;;:10;568:35;;;;;-1:-1:-1;;;568:35:0;;;;;;;;;;;;-1:-1:-1;;;568:35:0;;;;;;;;;;;;;;;621:1;431:199;-1:-1:-1;;;431:199:0:o;638:162::-;696:7;728:1;724;:5;716:29;;;;;-1:-1:-1;;;716:29:0;;;;;;;;;;;;-1:-1:-1;;;716:29:0;;;;;;;;;;;;;;;756:9;772:1;768;:5;;;;;;;638:162;-1:-1:-1;;;;638:162:0:o;808:106::-;866:7;897:1;893;:5;:13;;905:1;893:13;;;-1:-1:-1;901:1:0;;886:20;-1:-1:-1;808:106:0:o;86:164::-;144:7;176:5;;;200:6;;;;192:31;;;;;-1:-1:-1;;;192:31:0;;;;;;;;;;;;-1:-1:-1;;;192:31:0;;;;;;;;;;;;;

ipfs://ce35b8b7e5a1101de304feb14f2f3bec55a67a079b9ee506505effc6f44fa181