Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
•    - function _msgData()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•  contract RFX is ERC20 *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-22
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.20;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

// OpenZeppelin Contracts v4.4.0 (token/ERC20/IERC20.sol)

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 IERC20Metadata is IERC20 {
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
}


// OpenZeppelin Contracts v4.4.0 (token/ERC20/ERC20.sol)

contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    uint256 private _totalSupply;
    string private _name;
    string private _symbol;

    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    function name() public view virtual override returns (string memory) {
        return _name;
    }

    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }

        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, amount);
    }

    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), amount);
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

pragma solidity ^0.8.20;

contract RFX is ERC20 { 
    constructor() ERC20(unicode"Reflexive", unicode"RFX") {
        _mint(msg.sender, 70000000000 * 10 ** decimals());
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"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":"owner","type":"address"},{"internalType":"address","name":"spender","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":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801562000010575f80fd5b50604051806040016040528060098152602001685265666c657869766560b81b815250604051806040016040528060038152602001620a48cb60eb1b81525081600390816200006091906200023f565b5060046200006f82826200023f565b505050620000ab3362000087620000b160201b60201c565b6200009490600a62000416565b620000a59064104c533c006200042d565b620000b6565b6200045d565b601290565b6001600160a01b038216620001115760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b8060025f82825462000124919062000447565b90915550506001600160a01b0382165f90815260208190526040812080548392906200015290849062000447565b90915550506040518181526001600160a01b038316905f907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b505050565b634e487b7160e01b5f52604160045260245ffd5b600181811c90821680620001c957607f821691505b602082108103620001e857634e487b7160e01b5f52602260045260245ffd5b50919050565b601f8211156200019b575f81815260208120601f850160051c81016020861015620002165750805b601f850160051c820191505b81811015620002375782815560010162000222565b505050505050565b81516001600160401b038111156200025b576200025b620001a0565b62000273816200026c8454620001b4565b84620001ee565b602080601f831160018114620002a9575f8415620002915750858301515b5f19600386901b1c1916600185901b17855562000237565b5f85815260208120601f198616915b82811015620002d957888601518255948401946001909101908401620002b8565b5085821015620002f757878501515f19600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200035b57815f19048211156200033f576200033f62000307565b808516156200034d57918102915b93841c939080029062000320565b509250929050565b5f82620003735750600162000410565b816200038157505f62000410565b81600181146200039a5760028114620003a557620003c5565b600191505062000410565b60ff841115620003b957620003b962000307565b50506001821b62000410565b5060208310610133831016604e8410600b8410161715620003ea575081810a62000410565b620003f683836200031b565b805f19048211156200040c576200040c62000307565b0290505b92915050565b5f6200042660ff84168362000363565b9392505050565b808202811582820484141762000410576200041062000307565b8082018082111562000410576200041062000307565b610896806200046b5f395ff3fe608060405234801561000f575f80fd5b50600436106100a6575f3560e01c8063395093511161006e578063395093511461011f57806370a082311461013257806395d89b411461015a578063a457c2d714610162578063a9059cbb14610175578063dd62ed3e14610188575f80fd5b806306fdde03146100aa578063095ea7b3146100c857806318160ddd146100eb57806323b872dd146100fd578063313ce56714610110575b5f80fd5b6100b26101c0565b6040516100bf91906106f1565b60405180910390f35b6100db6100d6366004610757565b610250565b60405190151581526020016100bf565b6002545b6040519081526020016100bf565b6100db61010b36600461077f565b610266565b604051601281526020016100bf565b6100db61012d366004610757565b610313565b6100ef6101403660046107b8565b6001600160a01b03165f9081526020819052604090205490565b6100b261034e565b6100db610170366004610757565b61035d565b6100db610183366004610757565b6103f5565b6100ef6101963660046107d8565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6060600380546101cf90610809565b80601f01602080910402602001604051908101604052809291908181526020018280546101fb90610809565b80156102465780601f1061021d57610100808354040283529160200191610246565b820191905f5260205f20905b81548152906001019060200180831161022957829003601f168201915b5050505050905090565b5f61025c338484610401565b5060015b92915050565b5f610272848484610524565b6001600160a01b0384165f908152600160209081526040808320338452909152902054828110156102fb5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6103088533858403610401565b506001949350505050565b335f8181526001602090815260408083206001600160a01b0387168452909152812054909161025c918590610349908690610841565b610401565b6060600480546101cf90610809565b335f9081526001602090815260408083206001600160a01b0386168452909152812054828110156103de5760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016102f2565b6103eb3385858403610401565b5060019392505050565b5f61025c338484610524565b6001600160a01b0383166104635760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016102f2565b6001600160a01b0382166104c45760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016102f2565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166105885760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016102f2565b6001600160a01b0382166105ea5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016102f2565b6001600160a01b0383165f90815260208190526040902054818110156106615760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016102f2565b6001600160a01b038085165f90815260208190526040808220858503905591851681529081208054849290610697908490610841565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516106e391815260200190565b60405180910390a350505050565b5f6020808352835180828501525f5b8181101561071c57858101830151858201604001528201610700565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610752575f80fd5b919050565b5f8060408385031215610768575f80fd5b6107718361073c565b946020939093013593505050565b5f805f60608486031215610791575f80fd5b61079a8461073c565b92506107a86020850161073c565b9150604084013590509250925092565b5f602082840312156107c8575f80fd5b6107d18261073c565b9392505050565b5f80604083850312156107e9575f80fd5b6107f28361073c565b91506108006020840161073c565b90509250929050565b600181811c9082168061081d57607f821691505b60208210810361083b57634e487b7160e01b5f52602260045260245ffd5b50919050565b8082018082111561026057634e487b7160e01b5f52601160045260245ffdfea264697066735822122026b6fa4ea313ea39bce85f7113d26f99b3065b2a54d28111fc33e103f093409a64736f6c63430008140033

0x608060405234801561000f575f80fd5b50600436106100a6575f3560e01c8063395093511161006e578063395093511461011f57806370a082311461013257806395d89b411461015a578063a457c2d714610162578063a9059cbb14610175578063dd62ed3e14610188575f80fd5b806306fdde03146100aa578063095ea7b3146100c857806318160ddd146100eb57806323b872dd146100fd578063313ce56714610110575b5f80fd5b6100b26101c0565b6040516100bf91906106f1565b60405180910390f35b6100db6100d6366004610757565b610250565b60405190151581526020016100bf565b6002545b6040519081526020016100bf565b6100db61010b36600461077f565b610266565b604051601281526020016100bf565b6100db61012d366004610757565b610313565b6100ef6101403660046107b8565b6001600160a01b03165f9081526020819052604090205490565b6100b261034e565b6100db610170366004610757565b61035d565b6100db610183366004610757565b6103f5565b6100ef6101963660046107d8565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6060600380546101cf90610809565b80601f01602080910402602001604051908101604052809291908181526020018280546101fb90610809565b80156102465780601f1061021d57610100808354040283529160200191610246565b820191905f5260205f20905b81548152906001019060200180831161022957829003601f168201915b5050505050905090565b5f61025c338484610401565b5060015b92915050565b5f610272848484610524565b6001600160a01b0384165f908152600160209081526040808320338452909152902054828110156102fb5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6103088533858403610401565b506001949350505050565b335f8181526001602090815260408083206001600160a01b0387168452909152812054909161025c918590610349908690610841565b610401565b6060600480546101cf90610809565b335f9081526001602090815260408083206001600160a01b0386168452909152812054828110156103de5760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016102f2565b6103eb3385858403610401565b5060019392505050565b5f61025c338484610524565b6001600160a01b0383166104635760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016102f2565b6001600160a01b0382166104c45760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016102f2565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166105885760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016102f2565b6001600160a01b0382166105ea5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016102f2565b6001600160a01b0383165f90815260208190526040902054818110156106615760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016102f2565b6001600160a01b038085165f90815260208190526040808220858503905591851681529081208054849290610697908490610841565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516106e391815260200190565b60405180910390a350505050565b5f6020808352835180828501525f5b8181101561071c57858101830151858201604001528201610700565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610752575f80fd5b919050565b5f8060408385031215610768575f80fd5b6107718361073c565b946020939093013593505050565b5f805f60608486031215610791575f80fd5b61079a8461073c565b92506107a86020850161073c565b9150604084013590509250925092565b5f602082840312156107c8575f80fd5b6107d18261073c565b9392505050565b5f80604083850312156107e9575f80fd5b6107f28361073c565b91506108006020840161073c565b90509250929050565b600181811c9082168061081d57607f821691505b60208210810361083b57634e487b7160e01b5f52602260045260245ffd5b50919050565b8082018082111561026057634e487b7160e01b5f52601160045260245ffdfea264697066735822122026b6fa4ea313ea39bce85f7113d26f99b3065b2a54d28111fc33e103f093409a64736f6c63430008140033

6429:155:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1767:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2681:169;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;2681:169:0;1004:187:1;2088:108:0;2176:12;;2088:108;;;1342:25:1;;;1330:2;1315:18;2088:108:0;1196:177:1;2858:492:0;;;;;;:::i;:::-;;:::i;1987:93::-;;;2070:2;1853:36:1;;1841:2;1826:18;1987:93:0;1711:184:1;3358:215:0;;;;;;:::i;:::-;;:::i;2204:127::-;;;;;;:::i;:::-;-1:-1:-1;;;;;2305:18:0;2278:7;2305:18;;;;;;;;;;;;2204:127;1875:104;;;:::i;3581:413::-;;;;;;:::i;:::-;;:::i;2339:175::-;;;;;;:::i;:::-;;:::i;2522:151::-;;;;;;:::i;:::-;-1:-1:-1;;;;;2638:18:0;;;2611:7;2638:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2522:151;1767:100;1821:13;1854:5;1847:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1767:100;:::o;2681:169::-;2764:4;2781:39;176:10;2804:7;2813:6;2781:8;:39::i;:::-;-1:-1:-1;2838:4:0;2681:169;;;;;:::o;2858:492::-;2998:4;3015:36;3025:6;3033:9;3044:6;3015:9;:36::i;:::-;-1:-1:-1;;;;;3091:19:0;;3064:24;3091:19;;;:11;:19;;;;;;;;176:10;3091:33;;;;;;;;3143:26;;;;3135:79;;;;-1:-1:-1;;;3135:79:0;;2943:2:1;3135:79:0;;;2925:21:1;2982:2;2962:18;;;2955:30;3021:34;3001:18;;;2994:62;-1:-1:-1;;;3072:18:1;;;3065:38;3120:19;;3135:79:0;;;;;;;;;3250:57;3259:6;176:10;3300:6;3281:16;:25;3250:8;:57::i;:::-;-1:-1:-1;3338:4:0;;2858:492;-1:-1:-1;;;;2858:492:0:o;3358:215::-;176:10;3446:4;3495:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;3495:34:0;;;;;;;;;;3446:4;;3463:80;;3486:7;;3495:47;;3532:10;;3495:47;:::i;:::-;3463:8;:80::i;1875:104::-;1931:13;1964:7;1957:14;;;;;:::i;3581:413::-;176:10;3674:4;3718:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;3718:34:0;;;;;;;;;;3771:35;;;;3763:85;;;;-1:-1:-1;;;3763:85:0;;3579:2:1;3763:85:0;;;3561:21:1;3618:2;3598:18;;;3591:30;3657:34;3637:18;;;3630:62;-1:-1:-1;;;3708:18:1;;;3701:35;3753:19;;3763:85:0;3377:401:1;3763:85:0;3884:67;176:10;3907:7;3935:15;3916:16;:34;3884:8;:67::i;:::-;-1:-1:-1;3982:4:0;;3581:413;-1:-1:-1;;;3581:413:0:o;2339:175::-;2425:4;2442:42;176:10;2466:9;2477:6;2442:9;:42::i;5749:380::-;-1:-1:-1;;;;;5885:19:0;;5877:68;;;;-1:-1:-1;;;5877:68:0;;3985:2:1;5877:68:0;;;3967:21:1;4024:2;4004:18;;;3997:30;4063:34;4043:18;;;4036:62;-1:-1:-1;;;4114:18:1;;;4107:34;4158:19;;5877:68:0;3783:400:1;5877:68:0;-1:-1:-1;;;;;5964:21:0;;5956:68;;;;-1:-1:-1;;;5956:68:0;;4390:2:1;5956:68:0;;;4372:21:1;4429:2;4409:18;;;4402:30;4468:34;4448:18;;;4441:62;-1:-1:-1;;;4519:18:1;;;4512:32;4561:19;;5956:68:0;4188:398:1;5956:68:0;-1:-1:-1;;;;;6037:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6089:32;;1342:25:1;;;6089:32:0;;1315:18:1;6089:32:0;;;;;;;5749:380;;;:::o;4002:733::-;-1:-1:-1;;;;;4142:20:0;;4134:70;;;;-1:-1:-1;;;4134:70:0;;4793:2:1;4134:70:0;;;4775:21:1;4832:2;4812:18;;;4805:30;4871:34;4851:18;;;4844:62;-1:-1:-1;;;4922:18:1;;;4915:35;4967:19;;4134:70:0;4591:401:1;4134:70:0;-1:-1:-1;;;;;4223:23:0;;4215:71;;;;-1:-1:-1;;;4215:71:0;;5199:2:1;4215:71:0;;;5181:21:1;5238:2;5218:18;;;5211:30;5277:34;5257:18;;;5250:62;-1:-1:-1;;;5328:18:1;;;5321:33;5371:19;;4215:71:0;4997:399:1;4215:71:0;-1:-1:-1;;;;;4383:17:0;;4359:21;4383:17;;;;;;;;;;;4419:23;;;;4411:74;;;;-1:-1:-1;;;4411:74:0;;5603:2:1;4411:74:0;;;5585:21:1;5642:2;5622:18;;;5615:30;5681:34;5661:18;;;5654:62;-1:-1:-1;;;5732:18:1;;;5725:36;5778:19;;4411:74:0;5401:402:1;4411:74:0;-1:-1:-1;;;;;4521:17:0;;;:9;:17;;;;;;;;;;;4541:22;;;4521:42;;4585:20;;;;;;;;:30;;4557:6;;4521:9;4585:30;;4557:6;;4585:30;:::i;:::-;;;;;;;;4650:9;-1:-1:-1;;;;;4633:35:0;4642:6;-1:-1:-1;;;;;4633:35:0;;4661:6;4633:35;;;;1342:25:1;;1330:2;1315:18;;1196:177;4633:35:0;;;;;;;;4123:612;4002:733;;;:::o;14:548:1:-;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;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:1;;674:42;;664:70;;730:1;727;720:12;664:70;567:173;;;:::o;745:254::-;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745:254:1:o;1378:328::-;1455:6;1463;1471;1524:2;1512:9;1503:7;1499:23;1495:32;1492:52;;;1540:1;1537;1530:12;1492:52;1563:29;1582:9;1563:29;:::i;:::-;1553:39;;1611:38;1645:2;1634:9;1630:18;1611:38;:::i;:::-;1601:48;;1696:2;1685:9;1681:18;1668:32;1658:42;;1378:328;;;;;:::o;1900:186::-;1959:6;2012:2;2000:9;1991:7;1987:23;1983:32;1980:52;;;2028:1;2025;2018:12;1980:52;2051:29;2070:9;2051:29;:::i;:::-;2041:39;1900:186;-1:-1:-1;;;1900:186:1:o;2091:260::-;2159:6;2167;2220:2;2208:9;2199:7;2195:23;2191:32;2188:52;;;2236:1;2233;2226:12;2188:52;2259:29;2278:9;2259:29;:::i;:::-;2249:39;;2307:38;2341:2;2330:9;2326:18;2307:38;:::i;:::-;2297:48;;2091:260;;;;;:::o;2356:380::-;2435:1;2431:12;;;;2478;;;2499:61;;2553:4;2545:6;2541:17;2531:27;;2499:61;2606:2;2598:6;2595:14;2575:18;2572:38;2569:161;;2652:10;2647:3;2643:20;2640:1;2633:31;2687:4;2684:1;2677:15;2715:4;2712:1;2705:15;2569:161;;2356:380;;;:::o;3150:222::-;3215:9;;;3236:10;;;3233:133;;;3288:10;3283:3;3279:20;3276:1;3269:31;3323:4;3320:1;3313:15;3351:4;3348:1;3341:15

ipfs://26b6fa4ea313ea39bce85f7113d26f99b3065b2a54d28111fc33e103f093409a