Contract

/**
 *Submitted for verification at Etherscan.io on 2020-11-08
*/

// Copyright (c) 2018-2020 double jump.tokyo inc.
pragma solidity 0.7.4;
pragma experimental ABIEncoderV2;

library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    function add(Role storage role, address account) internal {
        require(!has(role, account), "role already has the account");
        role.bearer[account] = true;
    }

    function remove(Role storage role, address account) internal {
        require(has(role, account), "role dosen't have the account");
        role.bearer[account] = false;
    }

    function has(Role storage role, address account) internal view returns (bool) {
        return role.bearer[account];
    }
}

library Uint96 {

    function cast(uint256 a) public pure returns (uint96) {
        require(a < 2**96);
        return uint96(a);
    }

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

    function sub(uint96 a, uint96 b) internal pure returns (uint96) {
        require(a >= b, "subtraction overflow");
        return a - b;
    }

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

    function div(uint96 a, uint96 b) internal pure returns (uint96) {
        require(b != 0, "division by 0");
        return a / b;
    }

    function mod(uint96 a, uint96 b) internal pure returns (uint96) {
        require(b != 0, "modulo by 0");
        return a % b;
    }

    function toString(uint96 a) internal pure returns (string memory) {
        bytes32 retBytes32;
        uint96 len = 0;
        if (a == 0) {
            retBytes32 = "0";
            len++;
        } else {
            uint96 value = a;
            while (value > 0) {
                retBytes32 = bytes32(uint256(retBytes32) / (2 ** 8));
                retBytes32 |= bytes32(((value % 10) + 48) * 2 ** (8 * 31));
                value /= 10;
                len++;
            }
        }

        bytes memory ret = new bytes(len);
        uint96 i;

        for (i = 0; i < len; i++) {
            ret[i] = retBytes32[i];
        }
        return string(ret);
    }
}

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

interface IERC20Optionals {
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
}
contract Operatable {
    using Roles for Roles.Role;

    event OperatorAdded(address indexed account);
    event OperatorRemoved(address indexed account);

    event Paused(address account);
    event Unpaused(address account);

    bool private _paused;
    Roles.Role private operators;

    constructor() {
        operators.add(msg.sender);
        _paused = false;
    }

    modifier onlyOperator() {
        require(isOperator(msg.sender), "Must be operator");
        _;
    }

    modifier whenNotPaused() {
        require(!_paused, "Pausable: paused");
        _;
    }

    modifier whenPaused() {
        require(_paused, "Pausable: not paused");
        _;
    }

    function isOperator(address account) public view returns (bool) {
        return operators.has(account);
    }

    function addOperator(address account) public onlyOperator() {
        operators.add(account);
        emit OperatorAdded(account);
    }

    function removeOperator(address account) public onlyOperator() {
        operators.remove(account);
        emit OperatorRemoved(account);
    }

    function paused() public view returns (bool) {
        return _paused;
    }

    function pause() public onlyOperator() whenNotPaused() {
        _paused = true;
        emit Paused(msg.sender);
    }

    function unpause() public onlyOperator() whenPaused() {
        _paused = false;
        emit Unpaused(msg.sender);
    }

    function withdrawEther() public onlyOperator() {
        msg.sender.transfer(address(this).balance);
    }

}

contract MCHCMine is Operatable {
    using Uint96 for uint96;

    event Claim(address indexed owner, uint96 value);
    event Value(address indexed owner, uint96 value);

    struct Balance {
        address recipient;
        uint96 value;
    }

    IERC20 public token;
    address public validator;
    mapping(address => uint96) public claimed;

    constructor(IERC20 _token, address _validator) {
        token = _token;
        validator = _validator;
    }

    function claim(Balance memory _balance, uint8 v, bytes32 r, bytes32 s) external whenNotPaused {
        require(ecrecover(toEthSignedMessageHash(prepareMessage(_balance)), v, r, s) == validator, "Mine: invalid claim signature");
        require(_balance.recipient == msg.sender, "Mine: receipient must be sender");
        
        address recipient = _balance.recipient;
        uint96 toClaim = _balance.value.sub(claimed[recipient]);
        require(toClaim > 0, "Mine: nothing to claim");
        claimed[recipient] = _balance.value;
        require(token.transfer(msg.sender, toClaim), "Mine: mint is not successful");
        emit Claim(recipient, toClaim);
        emit Value(recipient, claimed[recipient]);
    }

    function doOverride(Balance[] memory _balances) external onlyOperator {
        for (uint i = 0; i < _balances.length; i++) {
            claimed[_balances[i].recipient] = _balances[i].value;
            emit Value(_balances[i].recipient, _balances[i].value);
        }
    }

    function prepareMessage(Balance memory _balance) internal pure returns (bytes32) {
        return keccak256(abi.encode(_balance));
    }
    
    function toEthSignedMessageHash(bytes32 hash) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", hash));
    }

    function withdraw() external onlyOperator {
        token.transfer(msg.sender, token.balanceOf(address(this)));
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IERC20","name":"_token","type":"address"},{"internalType":"address","name":"_validator","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint96","name":"value","type":"uint96"}],"name":"Claim","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"OperatorAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"OperatorRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint96","name":"value","type":"uint96"}],"name":"Value","type":"event"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addOperator","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint96","name":"value","type":"uint96"}],"internalType":"struct MCHCMine.Balance","name":"_balance","type":"tuple"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"claimed","outputs":[{"internalType":"uint96","name":"","type":"uint96"}],"stateMutability":"view","type":"function"},{"inputs":[{"components":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint96","name":"value","type":"uint96"}],"internalType":"struct MCHCMine.Balance[]","name":"_balances","type":"tuple[]"}],"name":"doOverride","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOperator","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"removeOperator","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"validator","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawEther","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c80638456cb591161008c578063c21feb8811610066578063c21feb8814610162578063c884ef8314610175578063de47ff6f14610195578063fc0c546a146101a8576100cf565b80638456cb59146101345780639870d7fe1461013c578063ac8a584a1461014f576100cf565b80633a5381b5146100d45780633ccfd60b146100f25780633f4ba83a146100fc5780635c975abb146101045780636d70f7ae146101195780637362377b1461012c575b600080fd5b6100dc6101b0565b6040516100e99190610c6f565b60405180910390f35b6100fa6101bf565b005b6100fa6102e9565b61010c610374565b6040516100e99190610cbe565b61010c610127366004610aee565b61037d565b6100fa610392565b6100fa6103e3565b6100fa61014a366004610aee565b610468565b6100fa61015d366004610aee565b6104cf565b6100fa610170366004610b0f565b610536565b610188610183366004610aee565b61065a565b6040516100e99190610f03565b6100fa6101a3366004610bdd565b610675565b6100dc610932565b6003546001600160a01b031681565b6101c83361037d565b6101ed5760405162461bcd60e51b81526004016101e490610d15565b60405180910390fd5b6002546040516370a0823160e01b81526001600160a01b039091169063a9059cbb90339083906370a0823190610227903090600401610c6f565b60206040518083038186803b15801561023f57600080fd5b505afa158015610253573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102779190610c26565b6040518363ffffffff1660e01b8152600401610294929190610c83565b602060405180830381600087803b1580156102ae57600080fd5b505af11580156102c2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102e69190610bbd565b50565b6102f23361037d565b61030e5760405162461bcd60e51b81526004016101e490610d15565b60005460ff166103305760405162461bcd60e51b81526004016101e490610ce7565b6000805460ff191690556040517f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa9061036a903390610c6f565b60405180910390a1565b60005460ff1690565b600061038a60018361098d565b90505b919050565b61039b3361037d565b6103b75760405162461bcd60e51b81526004016101e490610d15565b60405133904780156108fc02916000818181858888f193505050501580156102e6573d6000803e3d6000fd5b6103ec3361037d565b6104085760405162461bcd60e51b81526004016101e490610d15565b60005460ff161561042b5760405162461bcd60e51b81526004016101e490610d76565b6000805460ff191660011790556040517f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2589061036a903390610c6f565b6104713361037d565b61048d5760405162461bcd60e51b81526004016101e490610d15565b610498600182610941565b6040516001600160a01b038216907fac6fa858e9350a46cec16539926e0fde25b7629f84b5a72bffaae4df888ae86d90600090a250565b6104d83361037d565b6104f45760405162461bcd60e51b81526004016101e490610d15565b6104ff6001826109ac565b6040516001600160a01b038216907f80c0b871b97b595b16a7741c1b06fed0c6f6f558639f18ccbce50724325dc40d90600090a250565b61053f3361037d565b61055b5760405162461bcd60e51b81526004016101e490610d15565b60005b81518110156106565781818151811061057357fe5b6020026020010151602001516004600084848151811061058f57fe5b6020026020010151600001516001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160601b0302191690836001600160601b031602179055508181815181106105eb57fe5b6020026020010151600001516001600160a01b03167f2ddab98b2f1c6a557a7aefdeec7a4f616dc4581ea668bad7f9cdf8bfa2eb6ab283838151811061062d57fe5b6020026020010151602001516040516106469190610f03565b60405180910390a260010161055e565b5050565b6004602052600090815260409020546001600160601b031681565b60005460ff16156106985760405162461bcd60e51b81526004016101e490610d76565b6003546001600160a01b031660016106b76106b2876109f4565b610a24565b858585604051600081526020016040526040516106d79493929190610cc9565b6020604051602081039080840390855afa1580156106f9573d6000803e3d6000fd5b505050602060405103516001600160a01b0316146107295760405162461bcd60e51b81526004016101e490610e0e565b83516001600160a01b031633146107525760405162461bcd60e51b81526004016101e490610d3f565b83516001600160a01b038116600090815260046020908152604082205490870151610789916001600160601b039182169116610a37565b90506000816001600160601b0316116107b45760405162461bcd60e51b81526004016101e490610e45565b6020868101516001600160a01b03848116600090815260049384905260409081902080546bffffffffffffffffffffffff19166001600160601b0390941693909317909255600254915163a9059cbb60e01b815291169163a9059cbb9161081f913391869101610c9c565b602060405180830381600087803b15801561083957600080fd5b505af115801561084d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108719190610bbd565b61088d5760405162461bcd60e51b81526004016101e490610dd7565b816001600160a01b03167fe969a1021868fa58bb930e28b52ce8343509419f7505b7ea8221dfffbe217c0c826040516108c69190610f03565b60405180910390a26001600160a01b038216600081815260046020526040908190205490517f2ddab98b2f1c6a557a7aefdeec7a4f616dc4581ea668bad7f9cdf8bfa2eb6ab291610922916001600160601b0390911690610f03565b60405180910390a2505050505050565b6002546001600160a01b031681565b61094b828261098d565b156109685760405162461bcd60e51b81526004016101e490610da0565b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6001600160a01b03166000908152602091909152604090205460ff1690565b6109b6828261098d565b6109d25760405162461bcd60e51b81526004016101e490610e75565b6001600160a01b0316600090815260209190915260409020805460ff19169055565b600081604051602001610a079190610eda565b604051602081830303815290604052805190602001209050919050565b600081604051602001610a079190610c3e565b6000816001600160601b0316836001600160601b03161015610a6b5760405162461bcd60e51b81526004016101e490610eac565b50900390565b80356001600160a01b038116811461038d57600080fd5b600060408284031215610a99578081fd5b6040516040810181811067ffffffffffffffff82111715610ab657fe5b604052905080610ac583610a71565b815260208301356001600160601b0381168114610ae157600080fd5b6020919091015292915050565b600060208284031215610aff578081fd5b610b0882610a71565b9392505050565b60006020808385031215610b21578182fd5b823567ffffffffffffffff80821115610b38578384fd5b818501915085601f830112610b4b578384fd5b813581811115610b5757fe5b610b648485830201610f17565b81815284810192508385016040808402860187018a1015610b83578788fd5b8795505b83861015610baf57610b998a83610a88565b8552600195909501949386019390810190610b87565b509098975050505050505050565b600060208284031215610bce578081fd5b81518015158114610b08578182fd5b60008060008060a08587031215610bf2578283fd5b610bfc8686610a88565b9350604085013560ff81168114610c11578384fd5b93969395505050506060820135916080013590565b600060208284031215610c37578081fd5b5051919050565b7f19457468657265756d205369676e6564204d6573736167653a0a3332000000008152601c810191909152603c0190565b6001600160a01b0391909116815260200190565b6001600160a01b03929092168252602082015260400190565b6001600160a01b039290921682526001600160601b0316602082015260400190565b901515815260200190565b93845260ff9290921660208401526040830152606082015260800190565b60208082526014908201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604082015260600190565b60208082526010908201526f26bab9ba1031329037b832b930ba37b960811b604082015260600190565b6020808252601f908201527f4d696e653a2072656365697069656e74206d7573742062652073656e64657200604082015260600190565b60208082526010908201526f14185d5cd8589b194e881c185d5cd95960821b604082015260600190565b6020808252601c908201527f726f6c6520616c72656164792068617320746865206163636f756e7400000000604082015260600190565b6020808252601c908201527f4d696e653a206d696e74206973206e6f74207375636365737366756c00000000604082015260600190565b6020808252601d908201527f4d696e653a20696e76616c696420636c61696d207369676e6174757265000000604082015260600190565b6020808252601690820152754d696e653a206e6f7468696e6720746f20636c61696d60501b604082015260600190565b6020808252601d908201527f726f6c6520646f73656e2774206861766520746865206163636f756e74000000604082015260600190565b6020808252601490820152737375627472616374696f6e206f766572666c6f7760601b604082015260600190565b81516001600160a01b031681526020918201516001600160601b03169181019190915260400190565b6001600160601b0391909116815260200190565b60405181810167ffffffffffffffff81118282101715610f3357fe5b60405291905056fea264697066735822122091cdd0c59fe079fe94cd8e8c26839dc8f31193fd483fd84f55afbe907e73c06a64736f6c63430007040033

4901:1973:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5192:24;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6752:119;;;:::i;:::-;;4652:124;;;:::i;4436:78::-;;;:::i;:::-;;;;;;;:::i;4014:112::-;;;;;;:::i;:::-;;:::i;4784:108::-;;;:::i;4522:122::-;;;:::i;4134:139::-;;;;;;:::i;:::-;;:::i;4281:147::-;;;;;;:::i;:::-;;:::i;6133:280::-;;;;;;:::i;:::-;;:::i;5223:41::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;5394:731::-;;;;;;:::i;:::-;;:::i;5166:19::-;;;:::i;5192:24::-;;;-1:-1:-1;;;;;5192:24:0;;:::o;6752:119::-;3741:22;3752:10;3741;:22::i;:::-;3733:51;;;;-1:-1:-1;;;3733:51:0;;;;;;;:::i;:::-;;;;;;;;;6805:5:::1;::::0;6832:30:::1;::::0;-1:-1:-1;;;6832:30:0;;-1:-1:-1;;;;;6805:5:0;;::::1;::::0;:14:::1;::::0;6820:10:::1;::::0;6805:5;;6832:15:::1;::::0;:30:::1;::::0;6856:4:::1;::::0;6832:30:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6805:58;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6752:119::o:0;4652:124::-;3741:22;3752:10;3741;:22::i;:::-;3733:51;;;;-1:-1:-1;;;3733:51:0;;;;;;;:::i;:::-;3954:7:::1;::::0;::::1;;3946:40;;;;-1:-1:-1::0;;;3946:40:0::1;;;;;;;:::i;:::-;4727:5:::2;4717:15:::0;;-1:-1:-1;;4717:15:0::2;::::0;;4748:20:::2;::::0;::::2;::::0;::::2;::::0;4757:10:::2;::::0;4748:20:::2;:::i;:::-;;;;;;;;4652:124::o:0;4436:78::-;4475:4;4499:7;;;4436:78;:::o;4014:112::-;4072:4;4096:22;:9;4110:7;4096:13;:22::i;:::-;4089:29;;4014:112;;;;:::o;4784:108::-;3741:22;3752:10;3741;:22::i;:::-;3733:51;;;;-1:-1:-1;;;3733:51:0;;;;;;;:::i;:::-;4842:42:::1;::::0;:10:::1;::::0;4862:21:::1;4842:42:::0;::::1;;;::::0;::::1;::::0;;;4862:21;4842:10;:42;::::1;;;;;;;;;;;;;::::0;::::1;;;;4522:122:::0;3741:22;3752:10;3741;:22::i;:::-;3733:51;;;;-1:-1:-1;;;3733:51:0;;;;;;;:::i;:::-;3857:7:::1;::::0;::::1;;3856:8;3848:37;;;;-1:-1:-1::0;;;3848:37:0::1;;;;;;;:::i;:::-;4588:7:::2;:14:::0;;-1:-1:-1;;4588:14:0::2;4598:4;4588:14;::::0;;4618:18:::2;::::0;::::2;::::0;::::2;::::0;4625:10:::2;::::0;4618:18:::2;:::i;4134:139::-:0;3741:22;3752:10;3741;:22::i;:::-;3733:51;;;;-1:-1:-1;;;3733:51:0;;;;;;;:::i;:::-;4205:22:::1;:9;4219:7:::0;4205:13:::1;:22::i;:::-;4243;::::0;-1:-1:-1;;;;;4243:22:0;::::1;::::0;::::1;::::0;;;::::1;4134:139:::0;:::o;4281:147::-;3741:22;3752:10;3741;:22::i;:::-;3733:51;;;;-1:-1:-1;;;3733:51:0;;;;;;;:::i;:::-;4355:25:::1;:9;4372:7:::0;4355:16:::1;:25::i;:::-;4396:24;::::0;-1:-1:-1;;;;;4396:24:0;::::1;::::0;::::1;::::0;;;::::1;4281:147:::0;:::o;6133:280::-;3741:22;3752:10;3741;:22::i;:::-;3733:51;;;;-1:-1:-1;;;3733:51:0;;;;;;;:::i;:::-;6219:6:::1;6214:192;6235:9;:16;6231:1;:20;6214:192;;;6307:9;6317:1;6307:12;;;;;;;;;;;;;;:18;;;6273:7;:31;6281:9;6291:1;6281:12;;;;;;;;;;;;;;:22;;;-1:-1:-1::0;;;;;6273:31:0::1;-1:-1:-1::0;;;;;6273:31:0::1;;;;;;;;;;;;;:52;;;;;-1:-1:-1::0;;;;;6273:52:0::1;;;;;-1:-1:-1::0;;;;;6273:52:0::1;;;;;;6351:9;6361:1;6351:12;;;;;;;;;;;;;;:22;;;-1:-1:-1::0;;;;;6345:49:0::1;;6375:9;6385:1;6375:12;;;;;;;;;;;;;;:18;;;6345:49;;;;;;:::i;:::-;;;;;;;;6253:3;;6214:192;;;;6133:280:::0;:::o;5223:41::-;;;;;;;;;;;;-1:-1:-1;;;;;5223:41:0;;:::o;5394:731::-;3857:7;;;;3856:8;3848:37;;;;-1:-1:-1;;;3848:37:0;;;;;;;:::i;:::-;5579:9:::1;::::0;-1:-1:-1;;;;;5579:9:0::1;::::0;5517:48:::1;5540:24;5555:8:::0;5540:14:::1;:24::i;:::-;5517:22;:48::i;:::-;5567:1;5570;5573;5507:68;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;-1:-1:-1::0;;;;;5507:81:0::1;;5499:123;;;;-1:-1:-1::0;;;5499:123:0::1;;;;;;;:::i;:::-;5641:18:::0;;-1:-1:-1;;;;;5641:32:0::1;5663:10;5641:32;5633:76;;;;-1:-1:-1::0;;;5633:76:0::1;;;;;;;:::i;:::-;5750:18:::0;;-1:-1:-1;;;;;5815:18:0;::::1;5730:17;5815:18:::0;;;:7:::1;:18;::::0;;;;;;;5796:14;;::::1;::::0;:38:::1;::::0;-1:-1:-1;;;;;5796:18:0;;::::1;::::0;5815::::1;5796;:38::i;:::-;5779:55;;5863:1;5853:7;-1:-1:-1::0;;;;;5853:11:0::1;;5845:46;;;;-1:-1:-1::0;;;5845:46:0::1;;;;;;;:::i;:::-;5923:14;::::0;;::::1;::::0;-1:-1:-1;;;;;5902:18:0;;::::1;;::::0;;;:7:::1;:18:::0;;;;;;;;;:35;;-1:-1:-1;;5902:35:0::1;-1:-1:-1::0;;;;;5902:35:0;;::::1;::::0;;;::::1;::::0;;;5956:5:::1;::::0;:35;;-1:-1:-1;;;5956:35:0;;:5;::::1;::::0;:14:::1;::::0;:35:::1;::::0;5971:10:::1;::::0;5983:7;;5956:35:::1;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5948:76;;;;-1:-1:-1::0;;;5948:76:0::1;;;;;;;:::i;:::-;6046:9;-1:-1:-1::0;;;;;6040:25:0::1;;6057:7;6040:25;;;;;;:::i;:::-;;;;;;;;-1:-1:-1::0;;;;;6081:36:0;::::1;6098:18;::::0;;;:7:::1;:18;::::0;;;;;;;6081:36;;::::1;::::0;::::1;::::0;-1:-1:-1;;;;;6098:18:0;;::::1;::::0;6081:36:::1;:::i;:::-;;;;;;;;3896:1;;5394:731:::0;;;;:::o;5166:19::-;;;-1:-1:-1;;;;;5166:19:0;;:::o;204:175::-;282:18;286:4;292:7;282:3;:18::i;:::-;281:19;273:60;;;;-1:-1:-1;;;273:60:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;344:20:0;:11;:20;;;;;;;;;;;:27;;-1:-1:-1;;344:27:0;367:4;344:27;;;204:175::o;574:124::-;-1:-1:-1;;;;;670:20:0;646:4;670:20;;;;;;;;;;;;;;;574:124::o;387:179::-;467:18;471:4;477:7;467:3;:18::i;:::-;459:60;;;;-1:-1:-1;;;459:60:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;530:20:0;553:5;530:20;;;;;;;;;;;:28;;-1:-1:-1;;530:28:0;;;387:179::o;6421:138::-;6493:7;6541:8;6530:20;;;;;;;;:::i;:::-;;;;;;;;;;;;;6520:31;;;;;;6513:38;;6421:138;;;:::o;6571:173::-;6640:7;6730:4;6677:58;;;;;;;;:::i;1028:145::-;1084:6;1116:1;-1:-1:-1;;;;;1111:6:0;:1;-1:-1:-1;;;;;1111:6:0;;;1103:39;;;;-1:-1:-1;;;1103:39:0;;;;;;;:::i;:::-;-1:-1:-1;1160:5:0;;;1028:145::o;14:175:1:-;84:20;;-1:-1:-1;;;;;133:31:1;;123:42;;113:2;;179:1;176;169:12;194:607;;299:4;287:9;282:3;278:19;274:30;271:2;;;321:5;314;307:20;271:2;358:4;352:11;402:4;394:6;390:17;473:6;461:10;458:22;437:18;425:10;422:34;419:62;416:2;;;484:9;416:2;511:4;504:24;546:6;-1:-1:-1;546:6:1;576:31;597:9;576:31;:::i;:::-;568:6;561:47;660:2;649:9;645:18;632:32;-1:-1:-1;;;;;699:7:1;695:40;686:7;683:53;673:2;;750:1;747;740:12;673:2;782;770:15;;;;763:32;261:540;;-1:-1:-1;;261:540:1:o;806:198::-;;918:2;906:9;897:7;893:23;889:32;886:2;;;939:6;931;924:22;886:2;967:31;988:9;967:31;:::i;:::-;957:41;876:128;-1:-1:-1;;;876:128:1:o;1009:1077::-;;1148:2;1191;1179:9;1170:7;1166:23;1162:32;1159:2;;;1212:6;1204;1197:22;1159:2;1257:9;1244:23;1286:18;1327:2;1319:6;1316:14;1313:2;;;1348:6;1340;1333:22;1313:2;1391:6;1380:9;1376:22;1366:32;;1436:7;1429:4;1425:2;1421:13;1417:27;1407:2;;1463:6;1455;1448:22;1407:2;1508;1495:16;1534:2;1526:6;1523:14;1520:2;;;1540:9;1520:2;1571:40;1607:2;1602;1594:6;1590:15;1586:24;1571:40;:::i;:::-;1645:19;;;1680:12;;;;-1:-1:-1;1712:11:1;;;1742:4;1773:15;;;1765:24;;1761:33;;1758:46;-1:-1:-1;1755:2:1;;;1822:6;1814;1807:22;1755:2;1849:6;1840:15;;1864:192;1878:6;1875:1;1872:13;1864:192;;;1939:42;1973:7;1968:3;1939:42;:::i;:::-;1927:55;;1900:1;1893:9;;;;;2002:12;;;;2034;;;;1864:192;;;-1:-1:-1;2075:5:1;;1128:958;-1:-1:-1;;;;;;;;1128:958:1:o;2091:297::-;;2211:2;2199:9;2190:7;2186:23;2182:32;2179:2;;;2232:6;2224;2217:22;2179:2;2269:9;2263:16;2322:5;2315:13;2308:21;2301:5;2298:32;2288:2;;2349:6;2341;2334:22;2393:544;;;;;2578:3;2566:9;2557:7;2553:23;2549:33;2546:2;;;2600:6;2592;2585:22;2546:2;2628:48;2668:7;2657:9;2628:48;:::i;:::-;2618:58;;2726:2;2715:9;2711:18;2698:32;2770:4;2763:5;2759:16;2752:5;2749:27;2739:2;;2795:6;2787;2780:22;2739:2;2536:401;;2823:5;;-1:-1:-1;;;;2875:2:1;2860:18;;2847:32;;2926:3;2911:19;2898:33;;2536:401::o;2942:194::-;;3065:2;3053:9;3044:7;3040:23;3036:32;3033:2;;;3086:6;3078;3071:22;3033:2;-1:-1:-1;3114:16:1;;3023:113;-1:-1:-1;3023:113:1:o;3141:380::-;3383:66;3371:79;;3475:2;3466:12;;3459:28;;;;3512:2;3503:12;;3361:160::o;3526:203::-;-1:-1:-1;;;;;3690:32:1;;;;3672:51;;3660:2;3645:18;;3627:102::o;3950:282::-;-1:-1:-1;;;;;4150:32:1;;;;4132:51;;4214:2;4199:18;;4192:34;4120:2;4105:18;;4087:145::o;4237:314::-;-1:-1:-1;;;;;4436:32:1;;;;4418:51;;-1:-1:-1;;;;;4505:39:1;4500:2;4485:18;;4478:67;4406:2;4391:18;;4373:178::o;4556:187::-;4721:14;;4714:22;4696:41;;4684:2;4669:18;;4651:92::o;4748:398::-;4975:25;;;5048:4;5036:17;;;;5031:2;5016:18;;5009:45;5085:2;5070:18;;5063:34;5128:2;5113:18;;5106:34;4962:3;4947:19;;4929:217::o;5373:344::-;5575:2;5557:21;;;5614:2;5594:18;;;5587:30;-1:-1:-1;;;5648:2:1;5633:18;;5626:50;5708:2;5693:18;;5547:170::o;5722:340::-;5924:2;5906:21;;;5963:2;5943:18;;;5936:30;-1:-1:-1;;;5997:2:1;5982:18;;5975:46;6053:2;6038:18;;5896:166::o;6067:355::-;6269:2;6251:21;;;6308:2;6288:18;;;6281:30;6347:33;6342:2;6327:18;;6320:61;6413:2;6398:18;;6241:181::o;6427:340::-;6629:2;6611:21;;;6668:2;6648:18;;;6641:30;-1:-1:-1;;;6702:2:1;6687:18;;6680:46;6758:2;6743:18;;6601:166::o;6772:352::-;6974:2;6956:21;;;7013:2;6993:18;;;6986:30;7052;7047:2;7032:18;;7025:58;7115:2;7100:18;;6946:178::o;7129:352::-;7331:2;7313:21;;;7370:2;7350:18;;;7343:30;7409;7404:2;7389:18;;7382:58;7472:2;7457:18;;7303:178::o;7486:353::-;7688:2;7670:21;;;7727:2;7707:18;;;7700:30;7766:31;7761:2;7746:18;;7739:59;7830:2;7815:18;;7660:179::o;7844:346::-;8046:2;8028:21;;;8085:2;8065:18;;;8058:30;-1:-1:-1;;;8119:2:1;8104:18;;8097:52;8181:2;8166:18;;8018:172::o;8195:353::-;8397:2;8379:21;;;8436:2;8416:18;;;8409:30;8475:31;8470:2;8455:18;;8448:59;8539:2;8524:18;;8369:179::o;8553:344::-;8755:2;8737:21;;;8794:2;8774:18;;;8767:30;-1:-1:-1;;;8828:2:1;8813:18;;8806:50;8888:2;8873:18;;8727:170::o;8902:354::-;9118:13;;-1:-1:-1;;;;;9114:39:1;9096:58;;9214:4;9202:17;;;9196:24;-1:-1:-1;;;;;9192:57:1;9170:20;;;9163:87;;;;9084:2;9069:18;;9051:205::o;9261:208::-;-1:-1:-1;;;;;9423:39:1;;;;9405:58;;9393:2;9378:18;;9360:109::o;9474:242::-;9544:2;9538:9;9574:17;;;9621:18;9606:34;;9642:22;;;9603:62;9600:2;;;9668:9;9600:2;9695;9688:22;9518:198;;-1:-1:-1;9518:198:1:o

ipfs://91cdd0c59fe079fe94cd8e8c26839dc8f31193fd483fd84f55afbe907e73c06a