Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface ICoFiXERC20
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint va ...
•    - function transferFrom(address from, a ...
•  contract CoFiXERC20 is ICoFiXERC20
•    - function _mint(address to, uint value ...
•    - function _burn(address from, uint val ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint va ...
•    - function transferFrom(address from, a ...
•  contract CoFiXAnchorToken is CoFiX ... *
•    - function mint(
•    - function burn(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-07-29
*/

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

// File contracts/interfaces/ICoFiXERC20.sol

// SPDX-License-Identifier: GPL-3.0-or-later

pragma solidity ^0.8.6;

interface ICoFiXERC20 {
    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);

    // function name() external pure returns (string memory);
    // function symbol() external pure returns (string memory);
    function decimals() external pure returns (uint8);
    function totalSupply() external view returns (uint);
    function balanceOf(address owner) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);

    function approve(address spender, uint value) external returns (bool);
    function transfer(address to, uint value) external returns (bool);
    function transferFrom(address from, address to, uint value) external returns (bool);

    // function DOMAIN_SEPARATOR() external view returns (bytes32);
    // function PERMIT_TYPEHASH() external pure returns (bytes32);
    // function nonces(address owner) external view returns (uint);

    // function permit(address owner, address spender, uint value, uint deadline, uint8 v, bytes32 r, bytes32 s) external;
}


// File contracts/CoFiXERC20.sol

// GPL-3.0-or-later

pragma solidity ^0.8.6;
// ERC20 token implementation, inherited by CoFiXPair contract, no owner or governance
contract CoFiXERC20 is ICoFiXERC20 {

    //string public constant nameForDomain = 'CoFiX Pool Token';
    uint8 public override constant decimals = 18;
    uint  public override totalSupply;
    mapping(address => uint) public override balanceOf;
    mapping(address => mapping(address => uint)) public override allowance;

    //bytes32 public override DOMAIN_SEPARATOR;
    // keccak256("Permit(address owner,address spender,uint value,uint nonce,uint deadline)");
    //bytes32 public override constant PERMIT_TYPEHASH = 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
    //mapping(address => uint) public override nonces;

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

    constructor() {
        // uint chainId;
        // assembly {
        //     chainId := chainid()
        // }
        // DOMAIN_SEPARATOR = keccak256(
        //     abi.encode(
        //         keccak256('EIP712Domain(string name,string version,uint chainId,address verifyingContract)'),
        //         keccak256(bytes(nameForDomain)),
        //         keccak256(bytes('1')),
        //         chainId,
        //         address(this)
        //     )
        // );
    }

    function _mint(address to, uint value) internal {
        totalSupply = totalSupply + (value);
        balanceOf[to] = balanceOf[to] + (value);
        emit Transfer(address(0), to, value);
    }

    function _burn(address from, uint value) internal {
        balanceOf[from] = balanceOf[from] - (value);
        totalSupply = totalSupply - (value);
        emit Transfer(from, address(0), value);
    }

    function _approve(address owner, address spender, uint value) private {
        allowance[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function _transfer(address from, address to, uint value) private {
        balanceOf[from] = balanceOf[from] - (value);
        balanceOf[to] = balanceOf[to] + (value);
        emit Transfer(from, to, value);
    }

    function approve(address spender, uint value) external override returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    function transfer(address to, uint value) external override returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    function transferFrom(address from, address to, uint value) external override returns (bool) {
        if (allowance[from][msg.sender] != 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) {
           allowance[from][msg.sender] = allowance[from][msg.sender] - (value);
        }
        _transfer(from, to, value);
        return true;
    }

    // function permit(address owner, address spender, uint value, uint deadline, uint8 v, bytes32 r, bytes32 s) external override {
    //     require(deadline >= block.timestamp, 'CERC20: EXPIRED');
    //     bytes32 digest = keccak256(
    //         abi.encodePacked(
    //             '\x19\x01',
    //             DOMAIN_SEPARATOR,
    //             keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, nonces[owner]++, deadline))
    //         )
    //     );
    //     address recoveredAddress = ecrecover(digest, v, r, s);
    //     require(recoveredAddress != address(0) && recoveredAddress == owner, 'CERC20: INVALID_SIGNATURE');
    //     _approve(owner, spender, value);
    // }
}


// File contracts/CoFiXAnchorToken.sol

// GPL-3.0-or-later

pragma solidity ^0.8.6;
/// @dev Anchor pool xtoken
contract CoFiXAnchorToken is CoFiXERC20 {

    // Address of anchor pool
    address immutable POOL;

    // ERC20 - name
    string public name;
    
    // ERC20 - symbol
    string public symbol;

    constructor (
        string memory name_, 
        string memory symbol_,
        address pool
    ) {
        name = name_;
        symbol = symbol_;
        POOL = pool;
    }

    modifier check() {
        require(msg.sender == POOL, "CoFiXAnchorToken: Only for CoFiXAnchorPool");
        _;
    }

    /// @dev Distribute xtoken
    /// @param to The address which xtoken distribute to
    /// @param amount Amount of xtoken
    function mint(
        address to, 
        uint amount
    ) external check returns (uint) {
        _mint(to, amount);
        return amount;
    }

    /// @dev Burn xtoken
    /// @param amount Amount of xtoken
    function burn(
        uint amount
    ) external { 
        _burn(msg.sender, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name_","type":"string"},{"internalType":"string","name":"symbol_","type":"string"},{"internalType":"address","name":"pool","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","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":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"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":"value","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":"uint256","name":"amount","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":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","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":"value","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":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60a06040523480156200001157600080fd5b5060405162000c2438038062000c248339810160408190526200003491620001d6565b82516200004990600390602086019062000079565b5081516200005f90600490602085019062000079565b5060601b6001600160601b03191660805250620002b69050565b828054620000879062000263565b90600052602060002090601f016020900481019282620000ab5760008555620000f6565b82601f10620000c657805160ff1916838001178555620000f6565b82800160010185558215620000f6579182015b82811115620000f6578251825591602001919060010190620000d9565b506200010492915062000108565b5090565b5b8082111562000104576000815560010162000109565b600082601f8301126200013157600080fd5b81516001600160401b03808211156200014e576200014e620002a0565b604051601f8301601f19908116603f01168101908282118183101715620001795762000179620002a0565b816040528381526020925086838588010111156200019657600080fd5b600091505b83821015620001ba57858201830151818301840152908201906200019b565b83821115620001cc5760008385830101525b9695505050505050565b600080600060608486031215620001ec57600080fd5b83516001600160401b03808211156200020457600080fd5b62000212878388016200011f565b945060208601519150808211156200022957600080fd5b5062000238868287016200011f565b604086015190935090506001600160a01b03811681146200025857600080fd5b809150509250925092565b600181811c908216806200027857607f821691505b602082108114156200029a57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052604160045260246000fd5b60805160601c61094f620002d56000396000610379015261094f6000f3fe608060405234801561001057600080fd5b50600436106100c95760003560e01c806340c10f191161008157806395d89b411161005b57806395d89b411461019b578063a9059cbb146101a3578063dd62ed3e146101b657600080fd5b806340c10f191461015357806342966c681461016657806370a082311461017b57600080fd5b806318160ddd116100b257806318160ddd1461010f57806323b872dd14610126578063313ce5671461013957600080fd5b806306fdde03146100ce578063095ea7b3146100ec575b600080fd5b6100d66101e1565b6040516100e391906107fa565b60405180910390f35b6100ff6100fa3660046107b7565b61026f565b60405190151581526020016100e3565b61011860005481565b6040519081526020016100e3565b6100ff61013436600461077b565b610285565b610141601281565b60405160ff90911681526020016100e3565b6101186101613660046107b7565b61035f565b6101796101743660046107e1565b61043a565b005b610118610189366004610726565b60016020526000908152604090205481565b6100d6610447565b6100ff6101b13660046107b7565b610454565b6101186101c4366004610748565b600260209081526000928352604080842090915290825290205481565b600380546101ee9061089c565b80601f016020809104026020016040519081016040528092919081815260200182805461021a9061089c565b80156102675780601f1061023c57610100808354040283529160200191610267565b820191906000526020600020905b81548152906001019060200180831161024a57829003601f168201915b505050505081565b600061027c338484610461565b50600192915050565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1461034a5773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610318908390610885565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b6103558484846104d0565b5060019392505050565b60003373ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000161461042a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602a60248201527f436f466958416e63686f72546f6b656e3a204f6e6c7920666f7220436f46695860448201527f416e63686f72506f6f6c00000000000000000000000000000000000000000000606482015260840160405180910390fd5b610434838361059f565b50919050565b610444338261064a565b50565b600480546101ee9061089c565b600061027c3384846104d0565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054610501908290610885565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461053e90829061086d565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906104c39085815260200190565b806000546105ad919061086d565b600090815573ffffffffffffffffffffffffffffffffffffffff83168152600160205260409020546105e090829061086d565b73ffffffffffffffffffffffffffffffffffffffff83166000818152600160205260408082209390935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061063e9085815260200190565b60405180910390a35050565b73ffffffffffffffffffffffffffffffffffffffff821660009081526001602052604090205461067b908290610885565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040812091909155546106b0908290610885565b600090815560405182815273ffffffffffffffffffffffffffffffffffffffff8416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200161063e565b803573ffffffffffffffffffffffffffffffffffffffff8116811461072157600080fd5b919050565b60006020828403121561073857600080fd5b610741826106fd565b9392505050565b6000806040838503121561075b57600080fd5b610764836106fd565b9150610772602084016106fd565b90509250929050565b60008060006060848603121561079057600080fd5b610799846106fd565b92506107a7602085016106fd565b9150604084013590509250925092565b600080604083850312156107ca57600080fd5b6107d3836106fd565b946020939093013593505050565b6000602082840312156107f357600080fd5b5035919050565b600060208083528351808285015260005b818110156108275785810183015185820160400152820161080b565b81811115610839576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b60008219821115610880576108806108ea565b500190565b600082821015610897576108976108ea565b500390565b600181811c908216806108b057607f821691505b60208210811415610434577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea2646970667358221220f90c4e0e7a13d0070efe6cfa9601c893db625bda4d41b39892eebed9721b708f64736f6c63430008060033000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a0000000000000000000000000d7e54d936ca1e7f0ed097d4ec6140653ec60f85d000000000000000000000000000000000000000000000000000000000000000a58546f6b656e2d312d3100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000658542d312d310000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106100c95760003560e01c806340c10f191161008157806395d89b411161005b57806395d89b411461019b578063a9059cbb146101a3578063dd62ed3e146101b657600080fd5b806340c10f191461015357806342966c681461016657806370a082311461017b57600080fd5b806318160ddd116100b257806318160ddd1461010f57806323b872dd14610126578063313ce5671461013957600080fd5b806306fdde03146100ce578063095ea7b3146100ec575b600080fd5b6100d66101e1565b6040516100e391906107fa565b60405180910390f35b6100ff6100fa3660046107b7565b61026f565b60405190151581526020016100e3565b61011860005481565b6040519081526020016100e3565b6100ff61013436600461077b565b610285565b610141601281565b60405160ff90911681526020016100e3565b6101186101613660046107b7565b61035f565b6101796101743660046107e1565b61043a565b005b610118610189366004610726565b60016020526000908152604090205481565b6100d6610447565b6100ff6101b13660046107b7565b610454565b6101186101c4366004610748565b600260209081526000928352604080842090915290825290205481565b600380546101ee9061089c565b80601f016020809104026020016040519081016040528092919081815260200182805461021a9061089c565b80156102675780601f1061023c57610100808354040283529160200191610267565b820191906000526020600020905b81548152906001019060200180831161024a57829003601f168201915b505050505081565b600061027c338484610461565b50600192915050565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1461034a5773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610318908390610885565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b6103558484846104d0565b5060019392505050565b60003373ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000d7e54d936ca1e7f0ed097d4ec6140653ec60f85d161461042a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602a60248201527f436f466958416e63686f72546f6b656e3a204f6e6c7920666f7220436f46695860448201527f416e63686f72506f6f6c00000000000000000000000000000000000000000000606482015260840160405180910390fd5b610434838361059f565b50919050565b610444338261064a565b50565b600480546101ee9061089c565b600061027c3384846104d0565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054610501908290610885565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461053e90829061086d565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906104c39085815260200190565b806000546105ad919061086d565b600090815573ffffffffffffffffffffffffffffffffffffffff83168152600160205260409020546105e090829061086d565b73ffffffffffffffffffffffffffffffffffffffff83166000818152600160205260408082209390935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061063e9085815260200190565b60405180910390a35050565b73ffffffffffffffffffffffffffffffffffffffff821660009081526001602052604090205461067b908290610885565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040812091909155546106b0908290610885565b600090815560405182815273ffffffffffffffffffffffffffffffffffffffff8416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200161063e565b803573ffffffffffffffffffffffffffffffffffffffff8116811461072157600080fd5b919050565b60006020828403121561073857600080fd5b610741826106fd565b9392505050565b6000806040838503121561075b57600080fd5b610764836106fd565b9150610772602084016106fd565b90509250929050565b60008060006060848603121561079057600080fd5b610799846106fd565b92506107a7602085016106fd565b9150604084013590509250925092565b600080604083850312156107ca57600080fd5b6107d3836106fd565b946020939093013593505050565b6000602082840312156107f357600080fd5b5035919050565b600060208083528351808285015260005b818110156108275785810183015185820160400152820161080b565b81811115610839576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b60008219821115610880576108806108ea565b500190565b600082821015610897576108976108ea565b500390565b600181811c908216806108b057607f821691505b60208210811415610434577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea2646970667358221220f90c4e0e7a13d0070efe6cfa9601c893db625bda4d41b39892eebed9721b708f64736f6c63430008060033

000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a0000000000000000000000000d7e54d936ca1e7f0ed097d4ec6140653ec60f85d000000000000000000000000000000000000000000000000000000000000000a58546f6b656e2d312d3100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000658542d312d310000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : name_ (string): XToken-1-1
Arg [1] : symbol_ (string): XT-1-1
Arg [2] : pool (address): 0xD7E54D936ca1e7F0ed097D4Ec6140653eC60f85D

-----Encoded View---------------
7 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000060
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000a0
Arg [2] : 000000000000000000000000d7e54d936ca1e7f0ed097d4ec6140653ec60f85d
Arg [3] : 000000000000000000000000000000000000000000000000000000000000000a
Arg [4] : 58546f6b656e2d312d3100000000000000000000000000000000000000000000
Arg [5] : 0000000000000000000000000000000000000000000000000000000000000006
Arg [6] : 58542d312d310000000000000000000000000000000000000000000000000000

5217:997:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5349:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3679:156;;;;;;:::i;:::-;;:::i;:::-;;;1613:14:1;;1606:22;1588:41;;1576:2;1561:18;3679:156:0;1543:92:1;1681:33:0;;;;;;;;;2858:25:1;;;2846:2;2831:18;1681:33:0;2813:76:1;3999:366:0;;;;;;:::i;:::-;;:::i;1630:44::-;;1672:2;1630:44;;;;;3066:4:1;3054:17;;;3036:36;;3024:2;3009:18;1630:44:0;2991:87:1;5885:155:0;;;;;;:::i;:::-;;:::i;6114:97::-;;;;;;:::i;:::-;;:::i;:::-;;1721:50;;;;;;:::i;:::-;;;;;;;;;;;;;;5403:20;;;:::i;3843:148::-;;;;;;:::i;:::-;;:::i;1778:70::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;5349:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3679:156::-;3752:4;3769:36;3778:10;3790:7;3799:5;3769:8;:36::i;:::-;-1:-1:-1;3823:4:0;3679:156;;;;:::o;3999:366::-;4107:15;;;4086:4;4107:15;;;:9;:15;;;;;;;;4123:10;4107:27;;;;;;;;4138:66;4107:97;4103:196;;4250:15;;;;;;;:9;:15;;;;;;;;4266:10;4250:27;;;;;;;;:37;;4281:5;;4250:37;:::i;:::-;4220:15;;;;;;;:9;:15;;;;;;;;4236:10;4220:27;;;;;;;:67;4103:196;4309:26;4319:4;4325:2;4329:5;4309:9;:26::i;:::-;-1:-1:-1;4353:4:0;3999:366;;;;;:::o;5885:155::-;5974:4;5662:10;:18;5676:4;5662:18;;5654:73;;;;;;;2503:2:1;5654:73:0;;;2485:21:1;2542:2;2522:18;;;2515:30;2581:34;2561:18;;;2554:62;2652:12;2632:18;;;2625:40;2682:19;;5654:73:0;;;;;;;;5991:17:::1;5997:2;6001:6;5991:5;:17::i;:::-;-1:-1:-1::0;6026:6:0;5885:155;-1:-1:-1;5885:155:0:o;6114:97::-;6178:25;6184:10;6196:6;6178:5;:25::i;:::-;6114:97;:::o;5403:20::-;;;;;;;:::i;3843:148::-;3912:4;3929:32;3939:10;3951:2;3955:5;3929:9;:32::i;3276:169::-;3357:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;3406:31;;2858:25:1;;;3406:31:0;;2831:18:1;3406:31:0;;;;;;;;3276:169;;;:::o;3453:218::-;3547:15;;;;;;;:9;:15;;;;;;:25;;3566:5;;3547:25;:::i;:::-;3529:15;;;;;;;;:9;:15;;;;;;:43;;;;3599:13;;;;;;;:23;;3616:5;;3599:23;:::i;:::-;3583:13;;;;;;;;:9;:13;;;;;;;:39;;;;3638:25;;;;;;;;;;3657:5;2858:25:1;;2846:2;2831:18;;2813:76;2854:199:0;2942:5;2927:11;;:21;;;;:::i;:::-;2913:11;:35;;;2975:13;;;;;:9;:13;;;;;;:23;;2992:5;;2975:23;:::i;:::-;2959:13;;;;;;;:9;:13;;;;;;:39;;;;3014:31;;2959:13;;;3014:31;;;;3039:5;2858:25:1;;2846:2;2831:18;;2813:76;3014:31:0;;;;;;;;2854:199;;:::o;3061:207::-;3140:15;;;;;;;:9;:15;;;;;;:25;;3159:5;;3140:25;:::i;:::-;3122:15;;;;;;;:9;:15;;;;;:43;;;;3190:11;:21;;3205:5;;3190:21;:::i;:::-;3176:11;:35;;;3227:33;;2858:25:1;;;3227:33:0;;;;;;2846:2:1;2831:18;3227:33:0;2813:76:1;14:196;82:20;;142:42;131:54;;121:65;;111:2;;200:1;197;190:12;111:2;63:147;;;:::o;215:186::-;274:6;327:2;315:9;306:7;302:23;298:32;295:2;;;343:1;340;333:12;295:2;366:29;385:9;366:29;:::i;:::-;356:39;285:116;-1:-1:-1;;;285:116:1:o;406:260::-;474:6;482;535:2;523:9;514:7;510:23;506:32;503:2;;;551:1;548;541:12;503:2;574:29;593:9;574:29;:::i;:::-;564:39;;622:38;656:2;645:9;641:18;622:38;:::i;:::-;612:48;;493:173;;;;;:::o;671:328::-;748:6;756;764;817:2;805:9;796:7;792:23;788:32;785:2;;;833:1;830;823:12;785:2;856:29;875:9;856:29;:::i;:::-;846:39;;904:38;938:2;927:9;923:18;904:38;:::i;:::-;894:48;;989:2;978:9;974:18;961:32;951:42;;775:224;;;;;:::o;1004:254::-;1072:6;1080;1133:2;1121:9;1112:7;1108:23;1104:32;1101:2;;;1149:1;1146;1139:12;1101:2;1172:29;1191:9;1172:29;:::i;:::-;1162:39;1248:2;1233:18;;;;1220:32;;-1:-1:-1;;;1091:167:1:o;1263:180::-;1322:6;1375:2;1363:9;1354:7;1350:23;1346:32;1343:2;;;1391:1;1388;1381:12;1343:2;-1:-1:-1;1414:23:1;;1333:110;-1:-1:-1;1333:110:1:o;1640:656::-;1752:4;1781:2;1810;1799:9;1792:21;1842:6;1836:13;1885:6;1880:2;1869:9;1865:18;1858:34;1910:1;1920:140;1934:6;1931:1;1928:13;1920:140;;;2029:14;;;2025:23;;2019:30;1995:17;;;2014:2;1991:26;1984:66;1949:10;;1920:140;;;2078:6;2075:1;2072:13;2069:2;;;2148:1;2143:2;2134:6;2123:9;2119:22;2115:31;2108:42;2069:2;-1:-1:-1;2212:2:1;2200:15;2217:66;2196:88;2181:104;;;;2287:2;2177:113;;1761:535;-1:-1:-1;;;1761:535:1:o;3083:128::-;3123:3;3154:1;3150:6;3147:1;3144:13;3141:2;;;3160:18;;:::i;:::-;-1:-1:-1;3196:9:1;;3131:80::o;3216:125::-;3256:4;3284:1;3281;3278:8;3275:2;;;3289:18;;:::i;:::-;-1:-1:-1;3326:9:1;;3265:76::o;3346:437::-;3425:1;3421:12;;;;3468;;;3489:2;;3543:4;3535:6;3531:17;3521:27;;3489:2;3596;3588:6;3585:14;3565:18;3562:38;3559:2;;;3633:77;3630:1;3623:88;3734:4;3731:1;3724:15;3762:4;3759:1;3752:15;3788:184;3840:77;3837:1;3830:88;3937:4;3934:1;3927:15;3961:4;3958:1;3951:15

ipfs://f90c4e0e7a13d0070efe6cfa9601c893db625bda4d41b39892eebed9721b708f