Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(
•    - function permit(
•    - function DOMAIN_SEPARATOR()
•    - function computeDomainSeparator()
•    - function _mint(address to, uint256 am ...
•    - function _burn(address from, uint256 ...
• interface IPolynomialVaultToken
•    - function mint(address _user, uint256 ...
•    - function burn(address _user, uint256 ...
•    - function totalSupply()
• interface IPolynomialVault }
•  contract VaultToken is ERC20 *
•    - function mint(address _user, uint256 ...
•    - function burn(address _user, uint256 ...
•    - function setVault(IPolynomialVault _v ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at optimistic.etherscan.io on 2022-08-10
*/

// Sources flattened with hardhat v2.9.6 https://hardhat.org

// File @rari-capital/solmate/src/tokens/[email protected]

pragma solidity >=0.8.0;

/// @notice Modern and gas efficient ERC20 + EIP-2612 implementation.
/// @author Solmate (https://github.com/Rari-Capital/solmate/blob/main/src/tokens/ERC20.sol)
/// @author Modified from Uniswap (https://github.com/Uniswap/uniswap-v2-core/blob/master/contracts/UniswapV2ERC20.sol)
/// @dev Do not manually set balances without updating totalSupply, as the sum of all user balances must not exceed it.
abstract contract ERC20 {
    /*//////////////////////////////////////////////////////////////
                                 EVENTS
    //////////////////////////////////////////////////////////////*/

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

    event Approval(address indexed owner, address indexed spender, uint256 amount);

    /*//////////////////////////////////////////////////////////////
                            METADATA STORAGE
    //////////////////////////////////////////////////////////////*/

    string public name;

    string public symbol;

    uint8 public immutable decimals;

    /*//////////////////////////////////////////////////////////////
                              ERC20 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;

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

    /*//////////////////////////////////////////////////////////////
                            EIP-2612 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 internal immutable INITIAL_CHAIN_ID;

    bytes32 internal immutable INITIAL_DOMAIN_SEPARATOR;

    mapping(address => uint256) public nonces;

    /*//////////////////////////////////////////////////////////////
                               CONSTRUCTOR
    //////////////////////////////////////////////////////////////*/

    constructor(
        string memory _name,
        string memory _symbol,
        uint8 _decimals
    ) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;

        INITIAL_CHAIN_ID = block.chainid;
        INITIAL_DOMAIN_SEPARATOR = computeDomainSeparator();
    }

    /*//////////////////////////////////////////////////////////////
                               ERC20 LOGIC
    //////////////////////////////////////////////////////////////*/

    function approve(address spender, uint256 amount) public virtual returns (bool) {
        allowance[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);

        return true;
    }

    function transfer(address to, uint256 amount) public virtual returns (bool) {
        balanceOf[msg.sender] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(msg.sender, to, amount);

        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual returns (bool) {
        uint256 allowed = allowance[from][msg.sender]; // Saves gas for limited approvals.

        if (allowed != type(uint256).max) allowance[from][msg.sender] = allowed - amount;

        balanceOf[from] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(from, to, amount);

        return true;
    }

    /*//////////////////////////////////////////////////////////////
                             EIP-2612 LOGIC
    //////////////////////////////////////////////////////////////*/

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        require(deadline >= block.timestamp, "PERMIT_DEADLINE_EXPIRED");

        // Unchecked because the only math done is incrementing
        // the owner's nonce which cannot realistically overflow.
        unchecked {
            address recoveredAddress = ecrecover(
                keccak256(
                    abi.encodePacked(
                        "\x19\x01",
                        DOMAIN_SEPARATOR(),
                        keccak256(
                            abi.encode(
                                keccak256(
                                    "Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)"
                                ),
                                owner,
                                spender,
                                value,
                                nonces[owner]++,
                                deadline
                            )
                        )
                    )
                ),
                v,
                r,
                s
            );

            require(recoveredAddress != address(0) && recoveredAddress == owner, "INVALID_SIGNER");

            allowance[recoveredAddress][spender] = value;
        }

        emit Approval(owner, spender, value);
    }

    function DOMAIN_SEPARATOR() public view virtual returns (bytes32) {
        return block.chainid == INITIAL_CHAIN_ID ? INITIAL_DOMAIN_SEPARATOR : computeDomainSeparator();
    }

    function computeDomainSeparator() internal view virtual returns (bytes32) {
        return
            keccak256(
                abi.encode(
                    keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
                    keccak256(bytes(name)),
                    keccak256("1"),
                    block.chainid,
                    address(this)
                )
            );
    }

    /*//////////////////////////////////////////////////////////////
                        INTERNAL MINT/BURN LOGIC
    //////////////////////////////////////////////////////////////*/

    function _mint(address to, uint256 amount) internal virtual {
        totalSupply += amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal virtual {
        balanceOf[from] -= amount;

        // Cannot underflow because a user's balance
        // will never be larger than the total supply.
        unchecked {
            totalSupply -= amount;
        }

        emit Transfer(from, address(0), amount);
    }
}


// File contracts/interfaces/IPolynomialVaultToken.sol

pragma solidity 0.8.9;

interface IPolynomialVaultToken {
    function mint(address _user, uint256 _amt) external;
    function burn(address _user, uint256 _amt) external;

    function totalSupply() external view returns (uint256 totalSupply);
}


// File contracts/interfaces/IPolynomialVault.sol

pragma solidity 0.8.9;

interface IPolynomialVault {}


// File contracts/core/VaultToken.sol

// SPDX-License-Identifier: MIT
pragma solidity 0.8.9;

contract VaultToken is ERC20 {

    /// -----------------------------------------------------------------------
    /// Variables
    /// -----------------------------------------------------------------------

    /// @notice Corresponding Polynomial Vault
    IPolynomialVault public vault;

    /// -----------------------------------------------------------------------
    /// Modifiers
    /// -----------------------------------------------------------------------

    modifier onlyPolynomialVault {
        if (msg.sender != address(vault)) {
            revert OnlyPolynomialVault(address(this), msg.sender, address(vault));
        }
        _;
    }

    constructor(
        string memory name,
        string memory symbol
    ) ERC20(name, symbol, 18) {}

    function mint(address _user, uint256 _amt) external onlyPolynomialVault {
        _mint(_user, _amt);
    }

    function burn(address _user, uint256 _amt) external onlyPolynomialVault {
        _burn(_user, _amt);
    }

    function setVault(IPolynomialVault _vault) external {
        if (address(vault) != address(0x0)) {
            revert();
        }
        vault = _vault;
    }

    /// -----------------------------------------------------------------------
    /// Errors
    /// -----------------------------------------------------------------------

    error OnlyPolynomialVault(address thrower, address caller, address vault);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"symbol","type":"string"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"thrower","type":"address"},{"internalType":"address","name":"caller","type":"address"},{"internalType":"address","name":"vault","type":"address"}],"name":"OnlyPolynomialVault","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"},{"internalType":"uint256","name":"_amt","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"},{"internalType":"uint256","name":"_amt","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"contract IPolynomialVault","name":"_vault","type":"address"}],"name":"setVault","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","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":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"vault","outputs":[{"internalType":"contract IPolynomialVault","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

0x608060405234801561001057600080fd5b50600436106101005760003560e01c806370a0823111610097578063a9059cbb11610066578063a9059cbb14610234578063d505accf14610247578063dd62ed3e1461025a578063fbfa77cf1461028557600080fd5b806370a08231146101d95780637ecebe00146101f957806395d89b41146102195780639dc29fac1461022157600080fd5b8063313ce567116100d3578063313ce567146101705780633644e515146101a957806340c10f19146101b15780636817031b146101c657600080fd5b806306fdde0314610105578063095ea7b31461012357806318160ddd1461014657806323b872dd1461015d575b600080fd5b61010d6102ca565b60405161011a9190610c3b565b60405180910390f35b610136610131366004610cd3565b610358565b604051901515815260200161011a565b61014f60025481565b60405190815260200161011a565b61013661016b366004610cff565b6103d1565b6101977f000000000000000000000000000000000000000000000000000000000000001281565b60405160ff909116815260200161011a565b61014f610515565b6101c46101bf366004610cd3565b610570565b005b6101c46101d4366004610d40565b6105fc565b61014f6101e7366004610d40565b60036020526000908152604090205481565b61014f610207366004610d40565b60056020526000908152604090205481565b61010d610666565b6101c461022f366004610cd3565b610673565b610136610242366004610cd3565b6106f6565b6101c4610255366004610d64565b61077b565b61014f610268366004610ddb565b600460209081526000928352604080842090915290825290205481565b6006546102a59073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200161011a565b600080546102d790610e14565b80601f016020809104026020016040519081016040528092919081815260200182805461030390610e14565b80156103505780601f1061032557610100808354040283529160200191610350565b820191906000526020600020905b81548152906001019060200180831161033357829003601f168201915b505050505081565b33600081815260046020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103c09086815260200190565b60405180910390a350600192915050565b73ffffffffffffffffffffffffffffffffffffffff831660009081526004602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610465576104338382610e97565b73ffffffffffffffffffffffffffffffffffffffff861660009081526004602090815260408083203384529091529020555b73ffffffffffffffffffffffffffffffffffffffff85166000908152600360205260408120805485929061049a908490610e97565b909155505073ffffffffffffffffffffffffffffffffffffffff808516600081815260036020526040908190208054870190555190918716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906105029087815260200190565b60405180910390a3506001949350505050565b60007f000000000000000000000000000000000000000000000000000000000000000a461461054b57610546610a9a565b905090565b507faba70b2fc1dd35d1dbfba54b354f0b977dcf49384eaffa978312aca204a974c190565b60065473ffffffffffffffffffffffffffffffffffffffff1633146105ee576006546040517f07f77e2100000000000000000000000000000000000000000000000000000000815230600482015233602482015273ffffffffffffffffffffffffffffffffffffffff90911660448201526064015b60405180910390fd5b6105f88282610b34565b5050565b60065473ffffffffffffffffffffffffffffffffffffffff161561061f57600080fd5b600680547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b600180546102d790610e14565b60065473ffffffffffffffffffffffffffffffffffffffff1633146106ec576006546040517f07f77e2100000000000000000000000000000000000000000000000000000000815230600482015233602482015273ffffffffffffffffffffffffffffffffffffffff90911660448201526064016105e5565b6105f88282610bad565b33600090815260036020526040812080548391908390610717908490610e97565b909155505073ffffffffffffffffffffffffffffffffffffffff8316600081815260036020526040908190208054850190555133907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906103c09086815260200190565b428410156107e5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f5045524d49545f444541444c494e455f4558504952454400000000000000000060448201526064016105e5565b600060016107f1610515565b73ffffffffffffffffffffffffffffffffffffffff8a811660008181526005602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938d166060840152608083018c905260a083019390935260c08083018b90528151808403909101815260e0830190915280519201919091207f190100000000000000000000000000000000000000000000000000000000000061010083015261010282019290925261012281019190915261014201604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181528282528051602091820120600084529083018083525260ff871690820152606081018590526080810184905260a0016020604051602081039080840390855afa158015610943573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff8116158015906109be57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610a24576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f494e56414c49445f5349474e455200000000000000000000000000000000000060448201526064016105e5565b73ffffffffffffffffffffffffffffffffffffffff90811660009081526004602090815260408083208a8516808552908352928190208990555188815291928a16917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350505050505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051610acc9190610eae565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b8060026000828254610b469190610f81565b909155505073ffffffffffffffffffffffffffffffffffffffff82166000818152600360209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91015b60405180910390a35050565b73ffffffffffffffffffffffffffffffffffffffff821660009081526003602052604081208054839290610be2908490610e97565b909155505060028054829003905560405181815260009073ffffffffffffffffffffffffffffffffffffffff8416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001610ba1565b600060208083528351808285015260005b81811015610c6857858101830151858201604001528201610c4c565b81811115610c7a576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b73ffffffffffffffffffffffffffffffffffffffff81168114610cd057600080fd5b50565b60008060408385031215610ce657600080fd5b8235610cf181610cae565b946020939093013593505050565b600080600060608486031215610d1457600080fd5b8335610d1f81610cae565b92506020840135610d2f81610cae565b929592945050506040919091013590565b600060208284031215610d5257600080fd5b8135610d5d81610cae565b9392505050565b600080600080600080600060e0888a031215610d7f57600080fd5b8735610d8a81610cae565b96506020880135610d9a81610cae565b95506040880135945060608801359350608088013560ff81168114610dbe57600080fd5b9699959850939692959460a0840135945060c09093013592915050565b60008060408385031215610dee57600080fd5b8235610df981610cae565b91506020830135610e0981610cae565b809150509250929050565b600181811c90821680610e2857607f821691505b60208210811415610e62577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600082821015610ea957610ea9610e68565b500390565b600080835481600182811c915080831680610eca57607f831692505b6020808410821415610f03577f4e487b710000000000000000000000000000000000000000000000000000000086526022600452602486fd5b818015610f175760018114610f4657610f73565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00861689528489019650610f73565b60008a81526020902060005b86811015610f6b5781548b820152908501908301610f52565b505084890196505b509498975050505050505050565b60008219821115610f9457610f94610e68565b50019056fea26469706673582212202b92c0c70dc531c72f4ff7d76b761eafcaaf6eb492593131b8c26709c038352664736f6c63430008090033

7632:1465:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1130:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2607:217;;;;;;:::i;:::-;;:::i;:::-;;;1319:14:1;;1312:22;1294:41;;1282:2;1267:18;2607:217:0;1154:187:1;1413:26:0;;;;;;;;;1492:25:1;;;1480:2;1465:18;1413:26:0;1346:177:1;3225:612:0;;;;;;:::i;:::-;;:::i;1186:31::-;;;;;;;;2161:4:1;2149:17;;;2131:36;;2119:2;2104:18;1186:31:0;1989:184:1;5567:179:0;;;:::i;8432:109::-;;;;;;:::i;:::-;;:::i;:::-;;8666:166;;;;;;:::i;:::-;;:::i;1448:44::-;;;;;;:::i;:::-;;;;;;;;;;;;;;1874:41;;;;;;:::i;:::-;;;;;;;;;;;;;;1157:20;;;:::i;8549:109::-;;;;;;:::i;:::-;;:::i;2832:385::-;;;;;;:::i;:::-;;:::i;4032:1527::-;;;;;;:::i;:::-;;:::i;1501:64::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;7901:29;;;;;;;;;;;;4315:42:1;4303:55;;;4285:74;;4273:2;4258:18;7901:29:0;4115:250:1;1130:18:0;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2607:217::-;2708:10;2681:4;2698:21;;;:9;:21;;;;;;;;;:30;;;;;;;;;;:39;;;2755:37;2681:4;;2698:30;;2755:37;;;;2731:6;1492:25:1;;1480:2;1465:18;;1346:177;2755:37:0;;;;;;;;-1:-1:-1;2812:4:0;2607:217;;;;:::o;3225:612::-;3382:15;;;3347:4;3382:15;;;:9;:15;;;;;;;;3398:10;3382:27;;;;;;;;3473:17;3462:28;;3458:80;;3522:16;3532:6;3522:7;:16;:::i;:::-;3492:15;;;;;;;:9;:15;;;;;;;;3508:10;3492:27;;;;;;;:46;3458:80;3551:15;;;;;;;:9;:15;;;;;:25;;3570:6;;3551:15;:25;;3570:6;;3551:25;:::i;:::-;;;;-1:-1:-1;;3727:13:0;;;;;;;;:9;:13;;;;;;;:23;;;;;;3779:26;3727:13;;3779:26;;;;;;;3744:6;1492:25:1;;1480:2;1465:18;;1346:177;3779:26:0;;;;;;;;-1:-1:-1;3825:4:0;;3225:612;-1:-1:-1;;;;3225:612:0:o;5567:179::-;5624:7;5668:16;5651:13;:33;:87;;5714:24;:22;:24::i;:::-;5644:94;;5567:179;:::o;5651:87::-;-1:-1:-1;5687:24:0;;5567:179::o;8432:109::-;8188:5;;;;8166:10;:28;8162:130;;8273:5;;8218:62;;;;;8246:4;8218:62;;;5394:34:1;8253:10:0;5444:18:1;;;5437:43;8273:5:0;;;;5496:18:1;;;5489:43;5306:18;;8218:62:0;;;;;;;;8162:130;8515:18:::1;8521:5;8528:4;8515:5;:18::i;:::-;8432:109:::0;;:::o;8666:166::-;8741:5;;8733:30;8741:5;8733:30;8729:71;;8780:8;;;8729:71;8810:5;:14;;;;;;;;;;;;;;;8666:166::o;1157:20::-;;;;;;;:::i;8549:109::-;8188:5;;;;8166:10;:28;8162:130;;8273:5;;8218:62;;;;;8246:4;8218:62;;;5394:34:1;8253:10:0;5444:18:1;;;5437:43;8273:5:0;;;;5496:18:1;;;5489:43;5306:18;;8218:62:0;5131:407:1;8162:130:0;8632:18:::1;8638:5;8645:4;8632:5;:18::i;2832:385::-:0;2929:10;2902:4;2919:21;;;:9;:21;;;;;:31;;2944:6;;2919:21;2902:4;;2919:31;;2944:6;;2919:31;:::i;:::-;;;;-1:-1:-1;;3101:13:0;;;;;;;:9;:13;;;;;;;:23;;;;;;3153:32;3162:10;;3153:32;;;;3118:6;1492:25:1;;1480:2;1465:18;;1346:177;4032:1527:0;4260:15;4248:8;:27;;4240:63;;;;;;;5745:2:1;4240:63:0;;;5727:21:1;5784:2;5764:18;;;5757:30;5823:25;5803:18;;;5796:53;5866:18;;4240:63:0;5543:347:1;4240:63:0;4473:24;4500:827;4640:18;:16;:18::i;:::-;5094:13;;;;;;;;:6;:13;;;;;;;;;:15;;;;;;;;4725:458;;4770:167;4725:458;;;6182:25:1;6284:18;;;6277:43;;;;6356:15;;;6336:18;;;6329:43;6388:18;;;6381:34;;;6431:19;;;6424:35;;;;6475:19;;;;6468:35;;;4725:458:0;;;;;;;;;;6154:19:1;;;4725:458:0;;;4685:525;;;;;;;;6784:66:1;4560:673:0;;;6772:79:1;6867:11;;;6860:27;;;;6903:12;;;6896:28;;;;6940:12;;4560:673:0;;;;;;;;;;;;;4528:724;;4560:673;4528:724;;;;4500:827;;;;;;;;;7190:25:1;7263:4;7251:17;;7231:18;;;7224:45;7285:18;;;7278:34;;;7328:18;;;7321:34;;;7162:19;;4500:827:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;4500:827:0;;;;;;-1:-1:-1;;5352:30:0;;;;;;;:59;;;5406:5;5386:25;;:16;:25;;;5352:59;5344:86;;;;;;;7568:2:1;5344:86:0;;;7550:21:1;7607:2;7587:18;;;7580:30;7646:16;7626:18;;;7619:44;7680:18;;5344:86:0;7366:338:1;5344:86:0;5447:27;;;;;;;;:9;:27;;;;;;;;:36;;;;;;;;;;;;;:44;;;5520:31;1492:25:1;;;5447:36:0;;5520:31;;;;;1465:18:1;5520:31:0;;;;;;;4032:1527;;;;;;;:::o;5754:457::-;5819:7;5920:95;6054:4;6038:22;;;;;;:::i;:::-;;;;;;;;;;5887:301;;;9321:25:1;;;;9362:18;;9355:34;;;;6083:14:0;9405:18:1;;;9398:34;6120:13:0;9448:18:1;;;9441:34;6164:4:0;9491:19:1;;;9484:84;9293:19;;5887:301:0;;;;;;;;;;;;5859:344;;;;;;5839:364;;5754:457;:::o;6411:335::-;6497:6;6482:11;;:21;;;;;;;:::i;:::-;;;;-1:-1:-1;;6654:13:0;;;;;;;:9;:13;;;;;;;;:23;;;;;;6706:32;1492:25:1;;;6706:32:0;;1465:18:1;6706:32:0;;;;;;;;6411:335;;:::o;6754:338::-;6827:15;;;;;;;:9;:15;;;;;:25;;6846:6;;6827:15;:25;;6846:6;;6827:25;:::i;:::-;;;;-1:-1:-1;;7000:11:0;:21;;;;;;;7050:34;;1492:25:1;;;-1:-1:-1;;7050:34:0;;;;;;1480:2:1;1465:18;7050:34:0;1346:177:1;14:656;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;452:6;449:1;446:13;443:91;;;522:1;517:2;508:6;497:9;493:22;489:31;482:42;443:91;-1:-1:-1;586:2:1;574:15;591:66;570:88;555:104;;;;661:2;551:113;;14:656;-1:-1:-1;;;14:656:1:o;675:154::-;761:42;754:5;750:54;743:5;740:65;730:93;;819:1;816;809:12;730:93;675:154;:::o;834:315::-;902:6;910;963:2;951:9;942:7;938:23;934:32;931:52;;;979:1;976;969:12;931:52;1018:9;1005:23;1037:31;1062:5;1037:31;:::i;:::-;1087:5;1139:2;1124:18;;;;1111:32;;-1:-1:-1;;;834:315:1:o;1528:456::-;1605:6;1613;1621;1674:2;1662:9;1653:7;1649:23;1645:32;1642:52;;;1690:1;1687;1680:12;1642:52;1729:9;1716:23;1748:31;1773:5;1748:31;:::i;:::-;1798:5;-1:-1:-1;1855:2:1;1840:18;;1827:32;1868:33;1827:32;1868:33;:::i;:::-;1528:456;;1920:7;;-1:-1:-1;;;1974:2:1;1959:18;;;;1946:32;;1528:456::o;2360:271::-;2443:6;2496:2;2484:9;2475:7;2471:23;2467:32;2464:52;;;2512:1;2509;2502:12;2464:52;2551:9;2538:23;2570:31;2595:5;2570:31;:::i;:::-;2620:5;2360:271;-1:-1:-1;;;2360:271:1:o;2888:829::-;2999:6;3007;3015;3023;3031;3039;3047;3100:3;3088:9;3079:7;3075:23;3071:33;3068:53;;;3117:1;3114;3107:12;3068:53;3156:9;3143:23;3175:31;3200:5;3175:31;:::i;:::-;3225:5;-1:-1:-1;3282:2:1;3267:18;;3254:32;3295:33;3254:32;3295:33;:::i;:::-;3347:7;-1:-1:-1;3401:2:1;3386:18;;3373:32;;-1:-1:-1;3452:2:1;3437:18;;3424:32;;-1:-1:-1;3508:3:1;3493:19;;3480:33;3557:4;3544:18;;3532:31;;3522:59;;3577:1;3574;3567:12;3522:59;2888:829;;;;-1:-1:-1;2888:829:1;;;;3600:7;3654:3;3639:19;;3626:33;;-1:-1:-1;3706:3:1;3691:19;;;3678:33;;2888:829;-1:-1:-1;;2888:829:1:o;3722:388::-;3790:6;3798;3851:2;3839:9;3830:7;3826:23;3822:32;3819:52;;;3867:1;3864;3857:12;3819:52;3906:9;3893:23;3925:31;3950:5;3925:31;:::i;:::-;3975:5;-1:-1:-1;4032:2:1;4017:18;;4004:32;4045:33;4004:32;4045:33;:::i;:::-;4097:7;4087:17;;;3722:388;;;;;:::o;4370:437::-;4449:1;4445:12;;;;4492;;;4513:61;;4567:4;4559:6;4555:17;4545:27;;4513:61;4620:2;4612:6;4609:14;4589:18;4586:38;4583:218;;;4657:77;4654:1;4647:88;4758:4;4755:1;4748:15;4786:4;4783:1;4776:15;4583:218;;4370:437;;;:::o;4812:184::-;4864:77;4861:1;4854:88;4961:4;4958:1;4951:15;4985:4;4982:1;4975:15;5001:125;5041:4;5069:1;5066;5063:8;5060:34;;;5074:18;;:::i;:::-;-1:-1:-1;5111:9:1;;5001:125::o;7838:1219::-;7968:3;7997:1;8030:6;8024:13;8060:3;8082:1;8110:9;8106:2;8102:18;8092:28;;8170:2;8159:9;8155:18;8192;8182:61;;8236:4;8228:6;8224:17;8214:27;;8182:61;8262:2;8310;8302:6;8299:14;8279:18;8276:38;8273:222;;;8349:77;8344:3;8337:90;8450:4;8447:1;8440:15;8480:4;8475:3;8468:17;8273:222;8511:18;8538:162;;;;8714:1;8709:323;;;;8504:528;;8538:162;8586:66;8575:9;8571:82;8566:3;8559:95;8683:6;8678:3;8674:16;8667:23;;8538:162;;8709:323;7785:1;7778:14;;;7822:4;7809:18;;8807:1;8821:165;8835:6;8832:1;8829:13;8821:165;;;8913:14;;8900:11;;;8893:35;8956:16;;;;8850:10;;8821:165;;;8825:3;;9015:6;9010:3;9006:16;8999:23;;8504:528;-1:-1:-1;9048:3:1;;7838:1219;-1:-1:-1;;;;;;;;7838:1219:1:o;9579:128::-;9619:3;9650:1;9646:6;9643:1;9640:13;9637:39;;;9656:18;;:::i;:::-;-1:-1:-1;9692:9:1;;9579:128::o

ipfs://2b92c0c70dc531c72f4ff7d76b761eafcaaf6eb492593131b8c26709c0383526