Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract InternetVision *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address from, addr ...    - function _approve(address owner, addr ...    - function _spendAllowance(address owne ...    - function setText(string memory newTex ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-07-10
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.26;

contract InternetVision {
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;

    string private constant _name = "Internet Vision";
    string private constant _symbol = "IV";
    uint8 private constant _decimals = 18;
    uint256 private constant _totalSupply = 3_333_333_333 * 10**_decimals;
    string public storedText;

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

    constructor() {
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }
    
    function name() external view virtual returns (string memory) {
        return _name;
    }

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

    function decimals() external view virtual returns (uint8) {
        return _decimals;
    }

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

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

    function transfer(address to, uint256 amount) external virtual returns (bool) {
        address owner = msg.sender;
        require(owner != to, "ERC20: transfer to address cannot be owner");
        _transfer(owner, to, amount);
        return true;
    }

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

    function approve(address spender, uint256 amount) external virtual returns (bool) {
        address owner = msg.sender;
        _approve(owner, spender, amount);
        return true;
    }

    function transferFrom(address from, address to, uint256 amount) external virtual returns (bool) {
        address spender = msg.sender;
        require(spender != from, "ERC20: transferFrom spender can not be the from");
        _spendAllowance(from, spender, amount);
        _transfer(from, to, amount);
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) external virtual returns (bool) {
        address owner = msg.sender;
        _approve(owner, spender, allowance(owner, spender) + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) external virtual returns (bool) {
        address owner = msg.sender;
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }
        return true;
    }

    function _transfer(address from, address to, uint256 amount) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "ERC20: transfer amount must be greater than zero");

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
        }
        _balances[to] += amount;
        emit Transfer(from, to, 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 _spendAllowance(address owner, address spender, uint256 amount) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }

    function setText(string memory newText) public {
        storedText = newText;
    }

}

• 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":[{"internalType":"string","name":"newText","type":"string"}],"name":"setText","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"storedText","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":"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"}]

608060405234801561000f575f80fd5b5061001c6012600a610187565b61002a9063c6aea15561019c565b335f81815260208190526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61006a6012600a610187565b6100789063c6aea15561019c565b60405190815260200160405180910390a36101b3565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156100dd578085048111156100c1576100c161008e565b60018416156100cf57908102905b60019390931c9280026100a6565b935093915050565b5f826100f357506001610181565b816100ff57505f610181565b8160018114610115576002811461011f5761013b565b6001915050610181565b60ff8411156101305761013061008e565b50506001821b610181565b5060208310610133831016604e8410600b841016171561015e575081810a610181565b61016a5f1984846100a2565b805f190482111561017d5761017d61008e565b0290505b92915050565b5f61019560ff8416836100e5565b9392505050565b80820281158282048414176101815761018161008e565b610cfe806101c05f395ff3fe608060405234801561000f575f80fd5b50600436106100cb575f3560e01c80635d3a1f9d11610088578063a0ddb9ef11610063578063a0ddb9ef146101d5578063a457c2d7146101dd578063a9059cbb146101f0578063dd62ed3e14610203575f80fd5b80635d3a1f9d1461017a57806370a082311461018f57806395d89b41146101b7575f80fd5b806306fdde03146100cf578063095ea7b31461010c57806318160ddd1461012f57806323b872dd14610145578063313ce567146101585780633950935114610167575b5f80fd5b60408051808201909152600f81526e24b73a32b93732ba102b34b9b4b7b760891b60208201525b6040516101039190610890565b60405180910390f35b61011f61011a3660046108e0565b610216565b6040519015158152602001610103565b61013761022f565b604051908152602001610103565b61011f610153366004610908565b61024f565b60405160128152602001610103565b61011f6101753660046108e0565b6102e7565b61018d610188366004610956565b610308565b005b61013761019d366004610a09565b6001600160a01b03165f9081526020819052604090205490565b60408051808201909152600281526124ab60f11b60208201526100f6565b6100f6610318565b61011f6101eb3660046108e0565b6103a4565b61011f6101fe3660046108e0565b61041e565b610137610211366004610a29565b610496565b5f336102238185856104c0565b60019150505b92915050565b5f61023c6012600a610b51565b61024a9063c6aea155610b5f565b905090565b5f336001600160a01b03851681036102c65760405162461bcd60e51b815260206004820152602f60248201527f45524332303a207472616e7366657246726f6d207370656e6465722063616e2060448201526e6e6f74206265207468652066726f6d60881b60648201526084015b60405180910390fd5b6102d18582856105e3565b6102dc85858561065b565b506001949350505050565b5f336102238185856102f98383610496565b6103039190610b76565b6104c0565b60026103148282610c0d565b5050565b6002805461032590610b89565b80601f016020809104026020016040519081016040528092919081815260200182805461035190610b89565b801561039c5780601f106103735761010080835404028352916020019161039c565b820191905f5260205f20905b81548152906001019060200180831161037f57829003601f168201915b505050505081565b5f33816103b18286610496565b9050838110156104115760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016102bd565b6102dc82868684036104c0565b5f336001600160a01b038416810361048b5760405162461bcd60e51b815260206004820152602a60248201527f45524332303a207472616e7366657220746f20616464726573732063616e6e6f6044820152693a1031329037bbb732b960b11b60648201526084016102bd565b61022381858561065b565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166105225760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016102bd565b6001600160a01b0382166105835760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016102bd565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6105ee8484610496565b90505f19811461065557818110156106485760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016102bd565b61065584848484036104c0565b50505050565b6001600160a01b0383166106bf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016102bd565b6001600160a01b0382166107215760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016102bd565b5f81116107895760405162461bcd60e51b815260206004820152603060248201527f45524332303a207472616e7366657220616d6f756e74206d757374206265206760448201526f726561746572207468616e207a65726f60801b60648201526084016102bd565b6001600160a01b0383165f90815260208190526040902054818110156108005760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016102bd565b6001600160a01b038085165f90815260208190526040808220858503905591851681529081208054849290610836908490610b76565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161088291815260200190565b60405180910390a350505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b80356001600160a01b03811681146108db575f80fd5b919050565b5f80604083850312156108f1575f80fd5b6108fa836108c5565b946020939093013593505050565b5f805f6060848603121561091a575f80fd5b610923846108c5565b9250610931602085016108c5565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f60208284031215610966575f80fd5b813567ffffffffffffffff81111561097c575f80fd5b8201601f8101841361098c575f80fd5b803567ffffffffffffffff8111156109a6576109a6610942565b604051601f8201601f19908116603f0116810167ffffffffffffffff811182821017156109d5576109d5610942565b6040528181528282016020018610156109ec575f80fd5b816020840160208301375f91810160200191909152949350505050565b5f60208284031215610a19575f80fd5b610a22826108c5565b9392505050565b5f8060408385031215610a3a575f80fd5b610a43836108c5565b9150610a51602084016108c5565b90509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115610aa957808504811115610a8d57610a8d610a5a565b6001841615610a9b57908102905b60019390931c928002610a72565b935093915050565b5f82610abf57506001610229565b81610acb57505f610229565b8160018114610ae15760028114610aeb57610b07565b6001915050610229565b60ff841115610afc57610afc610a5a565b50506001821b610229565b5060208310610133831016604e8410600b8410161715610b2a575081810a610229565b610b365f198484610a6e565b805f1904821115610b4957610b49610a5a565b029392505050565b5f610a2260ff841683610ab1565b808202811582820484141761022957610229610a5a565b8082018082111561022957610229610a5a565b600181811c90821680610b9d57607f821691505b602082108103610bbb57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f821115610c0857805f5260205f20601f840160051c81016020851015610be65750805b601f840160051c820191505b81811015610c05575f8155600101610bf2565b50505b505050565b815167ffffffffffffffff811115610c2757610c27610942565b610c3b81610c358454610b89565b84610bc1565b6020601f821160018114610c6d575f8315610c565750848201515b5f19600385901b1c1916600184901b178455610c05565b5f84815260208120601f198516915b82811015610c9c5787850151825560209485019460019092019101610c7c565b5084821015610cb957868401515f19600387901b60f8161c191681555b50505050600190811b0190555056fea26469706673582212201ed93d464e0b6955aedb9d53ff6c5e56dfaf07b55e4a5decb49730e2ce21c5fc64736f6c634300081a0033

0x608060405234801561000f575f80fd5b50600436106100cb575f3560e01c80635d3a1f9d11610088578063a0ddb9ef11610063578063a0ddb9ef146101d5578063a457c2d7146101dd578063a9059cbb146101f0578063dd62ed3e14610203575f80fd5b80635d3a1f9d1461017a57806370a082311461018f57806395d89b41146101b7575f80fd5b806306fdde03146100cf578063095ea7b31461010c57806318160ddd1461012f57806323b872dd14610145578063313ce567146101585780633950935114610167575b5f80fd5b60408051808201909152600f81526e24b73a32b93732ba102b34b9b4b7b760891b60208201525b6040516101039190610890565b60405180910390f35b61011f61011a3660046108e0565b610216565b6040519015158152602001610103565b61013761022f565b604051908152602001610103565b61011f610153366004610908565b61024f565b60405160128152602001610103565b61011f6101753660046108e0565b6102e7565b61018d610188366004610956565b610308565b005b61013761019d366004610a09565b6001600160a01b03165f9081526020819052604090205490565b60408051808201909152600281526124ab60f11b60208201526100f6565b6100f6610318565b61011f6101eb3660046108e0565b6103a4565b61011f6101fe3660046108e0565b61041e565b610137610211366004610a29565b610496565b5f336102238185856104c0565b60019150505b92915050565b5f61023c6012600a610b51565b61024a9063c6aea155610b5f565b905090565b5f336001600160a01b03851681036102c65760405162461bcd60e51b815260206004820152602f60248201527f45524332303a207472616e7366657246726f6d207370656e6465722063616e2060448201526e6e6f74206265207468652066726f6d60881b60648201526084015b60405180910390fd5b6102d18582856105e3565b6102dc85858561065b565b506001949350505050565b5f336102238185856102f98383610496565b6103039190610b76565b6104c0565b60026103148282610c0d565b5050565b6002805461032590610b89565b80601f016020809104026020016040519081016040528092919081815260200182805461035190610b89565b801561039c5780601f106103735761010080835404028352916020019161039c565b820191905f5260205f20905b81548152906001019060200180831161037f57829003601f168201915b505050505081565b5f33816103b18286610496565b9050838110156104115760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016102bd565b6102dc82868684036104c0565b5f336001600160a01b038416810361048b5760405162461bcd60e51b815260206004820152602a60248201527f45524332303a207472616e7366657220746f20616464726573732063616e6e6f6044820152693a1031329037bbb732b960b11b60648201526084016102bd565b61022381858561065b565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6001600160a01b0383166105225760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016102bd565b6001600160a01b0382166105835760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016102bd565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6105ee8484610496565b90505f19811461065557818110156106485760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e636500000060448201526064016102bd565b61065584848484036104c0565b50505050565b6001600160a01b0383166106bf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016102bd565b6001600160a01b0382166107215760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016102bd565b5f81116107895760405162461bcd60e51b815260206004820152603060248201527f45524332303a207472616e7366657220616d6f756e74206d757374206265206760448201526f726561746572207468616e207a65726f60801b60648201526084016102bd565b6001600160a01b0383165f90815260208190526040902054818110156108005760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016102bd565b6001600160a01b038085165f90815260208190526040808220858503905591851681529081208054849290610836908490610b76565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161088291815260200190565b60405180910390a350505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b80356001600160a01b03811681146108db575f80fd5b919050565b5f80604083850312156108f1575f80fd5b6108fa836108c5565b946020939093013593505050565b5f805f6060848603121561091a575f80fd5b610923846108c5565b9250610931602085016108c5565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f60208284031215610966575f80fd5b813567ffffffffffffffff81111561097c575f80fd5b8201601f8101841361098c575f80fd5b803567ffffffffffffffff8111156109a6576109a6610942565b604051601f8201601f19908116603f0116810167ffffffffffffffff811182821017156109d5576109d5610942565b6040528181528282016020018610156109ec575f80fd5b816020840160208301375f91810160200191909152949350505050565b5f60208284031215610a19575f80fd5b610a22826108c5565b9392505050565b5f8060408385031215610a3a575f80fd5b610a43836108c5565b9150610a51602084016108c5565b90509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115610aa957808504811115610a8d57610a8d610a5a565b6001841615610a9b57908102905b60019390931c928002610a72565b935093915050565b5f82610abf57506001610229565b81610acb57505f610229565b8160018114610ae15760028114610aeb57610b07565b6001915050610229565b60ff841115610afc57610afc610a5a565b50506001821b610229565b5060208310610133831016604e8410600b8410161715610b2a575081810a610229565b610b365f198484610a6e565b805f1904821115610b4957610b49610a5a565b029392505050565b5f610a2260ff841683610ab1565b808202811582820484141761022957610229610a5a565b8082018082111561022957610229610a5a565b600181811c90821680610b9d57607f821691505b602082108103610bbb57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f821115610c0857805f5260205f20601f840160051c81016020851015610be65750805b601f840160051c820191505b81811015610c05575f8155600101610bf2565b50505b505050565b815167ffffffffffffffff811115610c2757610c27610942565b610c3b81610c358454610b89565b84610bc1565b6020601f821160018114610c6d575f8315610c565750848201515b5f19600385901b1c1916600184901b178455610c05565b5f84815260208120601f198516915b82811015610c9c5787850151825560209485019460019092019101610c7c565b5084821015610cb957868401515f19600387901b60f8161c191681555b50505050600190811b0190555056fea26469706673582212201ed93d464e0b6955aedb9d53ff6c5e56dfaf07b55e4a5decb49730e2ce21c5fc64736f6c634300081a0033

63:4413:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;783:93;863:5;;;;;;;;;;;;-1:-1:-1;;;863:5:0;;;;783:93;;;;;;;:::i;:::-;;;;;;;;1746:192;;;;;;:::i;:::-;;:::i;:::-;;;1085:14:1;;1078:22;1060:41;;1048:2;1033:18;1746:192:0;920:187:1;1090:101:0;;;:::i;:::-;;;1258:25:1;;;1246:2;1231:18;1090:101:0;1112:177:1;1946:338:0;;;;;;:::i;:::-;;:::i;989:93::-;;;358:2;1815:36:1;;1803:2;1788:18;989:93:0;1673:184:1;2292:238:0;;;;;;:::i;:::-;;:::i;4385:86::-;;;;;;:::i;:::-;;:::i;:::-;;1199:120;;;;;;:::i;:::-;-1:-1:-1;;;;;1293:18:0;1266:7;1293:18;;;;;;;;;;;;1199:120;884:97;966:7;;;;;;;;;;;;-1:-1:-1;;;966:7:0;;;;884:97;;443:24;;;:::i;2538:434::-;;;;;;:::i;:::-;;:::i;1327:261::-;;;;;;:::i;:::-;;:::i;1596:142::-;;;;;;:::i;:::-;;:::i;1746:192::-;1822:4;1855:10;1876:32;1855:10;1892:7;1901:6;1876:8;:32::i;:::-;1926:4;1919:11;;;1746:192;;;;;:::o;1090:101::-;1144:7;423:13;358:2;423;:13;:::i;:::-;407:29;;:13;:29;:::i;:::-;1164:19;;1090:101;:::o;1946:338::-;2036:4;2071:10;-1:-1:-1;;;;;2100:15:0;;;;2092:75;;;;-1:-1:-1;;;2092:75:0;;5339:2:1;2092:75:0;;;5321:21:1;5378:2;5358:18;;;5351:30;5417:34;5397:18;;;5390:62;-1:-1:-1;;;5468:18:1;;;5461:45;5523:19;;2092:75:0;;;;;;;;;2178:38;2194:4;2200:7;2209:6;2178:15;:38::i;:::-;2227:27;2237:4;2243:2;2247:6;2227:9;:27::i;:::-;-1:-1:-1;2272:4:0;;1946:338;-1:-1:-1;;;;1946:338:0:o;2292:238::-;2382:4;2415:10;2436:64;2415:10;2452:7;2489:10;2461:25;2415:10;2452:7;2461:9;:25::i;:::-;:38;;;;:::i;:::-;2436:8;:64::i;4385:86::-;4443:10;:20;4456:7;4443:10;:20;:::i;:::-;;4385:86;:::o;443:24::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2538:434::-;2633:4;2666:10;2633:4;2714:25;2666:10;2731:7;2714:9;:25::i;:::-;2687:52;;2778:15;2758:16;:35;;2750:85;;;;-1:-1:-1;;;2750:85:0;;8394:2:1;2750:85:0;;;8376:21:1;8433:2;8413:18;;;8406:30;8472:34;8452:18;;;8445:62;-1:-1:-1;;;8523:18:1;;;8516:35;8568:19;;2750:85:0;8192:401:1;2750:85:0;2871:60;2880:5;2887:7;2915:15;2896:16;:34;2871:8;:60::i;1327:261::-;1399:4;1432:10;-1:-1:-1;;;;;1461:11:0;;;;1453:66;;;;-1:-1:-1;;;1453:66:0;;8800:2:1;1453:66:0;;;8782:21:1;8839:2;8819:18;;;8812:30;8878:34;8858:18;;;8851:62;-1:-1:-1;;;8929:18:1;;;8922:40;8979:19;;1453:66:0;8598:406:1;1453:66:0;1530:28;1540:5;1547:2;1551:6;1530:9;:28::i;1596:142::-;-1:-1:-1;;;;;1703:18:0;;;1676:7;1703:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;1596:142::o;3604:346::-;-1:-1:-1;;;;;3706:19:0;;3698:68;;;;-1:-1:-1;;;3698:68:0;;9211:2:1;3698:68:0;;;9193:21:1;9250:2;9230:18;;;9223:30;9289:34;9269:18;;;9262:62;-1:-1:-1;;;9340:18:1;;;9333:34;9384:19;;3698:68:0;9009:400:1;3698:68:0;-1:-1:-1;;;;;3785:21:0;;3777:68;;;;-1:-1:-1;;;3777:68:0;;9616:2:1;3777:68:0;;;9598:21:1;9655:2;9635:18;;;9628:30;9694:34;9674:18;;;9667:62;-1:-1:-1;;;9745:18:1;;;9738:32;9787:19;;3777:68:0;9414:398:1;3777:68:0;-1:-1:-1;;;;;3858:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;3910:32;;1258:25:1;;;3910:32:0;;1231:18:1;3910:32:0;;;;;;;3604:346;;;:::o;3958:419::-;4059:24;4086:25;4096:5;4103:7;4086:9;:25::i;:::-;4059:52;;-1:-1:-1;;4126:16:0;:37;4122:248;;4208:6;4188:16;:26;;4180:68;;;;-1:-1:-1;;;4180:68:0;;10019:2:1;4180:68:0;;;10001:21:1;10058:2;10038:18;;;10031:30;10097:31;10077:18;;;10070:59;10146:18;;4180:68:0;9817:353:1;4180:68:0;4292:51;4301:5;4308:7;4336:6;4317:16;:25;4292:8;:51::i;:::-;4048:329;3958:419;;;:::o;2980:616::-;-1:-1:-1;;;;;3077:18:0;;3069:68;;;;-1:-1:-1;;;3069:68:0;;10377:2:1;3069:68:0;;;10359:21:1;10416:2;10396:18;;;10389:30;10455:34;10435:18;;;10428:62;-1:-1:-1;;;10506:18:1;;;10499:35;10551:19;;3069:68:0;10175:401:1;3069:68:0;-1:-1:-1;;;;;3156:16:0;;3148:64;;;;-1:-1:-1;;;3148:64:0;;10783:2:1;3148:64:0;;;10765:21:1;10822:2;10802:18;;;10795:30;10861:34;10841:18;;;10834:62;-1:-1:-1;;;10912:18:1;;;10905:33;10955:19;;3148:64:0;10581:399:1;3148:64:0;3240:1;3231:6;:10;3223:71;;;;-1:-1:-1;;;3223:71:0;;11187:2:1;3223:71:0;;;11169:21:1;11226:2;11206:18;;;11199:30;11265:34;11245:18;;;11238:62;-1:-1:-1;;;11316:18:1;;;11309:46;11372:19;;3223:71:0;10985:412:1;3223:71:0;-1:-1:-1;;;;;3329:15:0;;3307:19;3329:15;;;;;;;;;;;3363:21;;;;3355:72;;;;-1:-1:-1;;;3355:72:0;;11604:2:1;3355:72:0;;;11586:21:1;11643:2;11623:18;;;11616:30;11682:34;11662:18;;;11655:62;-1:-1:-1;;;11733:18:1;;;11726:36;11779:19;;3355:72:0;11402:402:1;3355:72:0;-1:-1:-1;;;;;3463:15:0;;;:9;:15;;;;;;;;;;;3481:20;;;3463:38;;3523:13;;;;;;;;:23;;3495:6;;3463:9;3523:23;;3495:6;;3523:23;:::i;:::-;;;;;;;;3577:2;-1:-1:-1;;;;;3562:26:0;3571:4;-1:-1:-1;;;;;3562:26:0;;3581:6;3562:26;;;;1258:25:1;;1246:2;1231:18;;1112:177;3562:26:0;;;;;;;;3058:538;2980:616;;;:::o;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:173::-;505:20;;-1:-1:-1;;;;;554:31:1;;544:42;;534:70;;600:1;597;590:12;534:70;437:173;;;:::o;615:300::-;683:6;691;744:2;732:9;723:7;719:23;715:32;712:52;;;760:1;757;750:12;712:52;783:29;802:9;783:29;:::i;:::-;773:39;881:2;866:18;;;;853:32;;-1:-1:-1;;;615:300:1:o;1294:374::-;1371:6;1379;1387;1440:2;1428:9;1419:7;1415:23;1411:32;1408:52;;;1456:1;1453;1446:12;1408:52;1479:29;1498:9;1479:29;:::i;:::-;1469:39;;1527:38;1561:2;1550:9;1546:18;1527:38;:::i;:::-;1294:374;;1517:48;;-1:-1:-1;;;1634:2:1;1619:18;;;;1606:32;;1294:374::o;1862:127::-;1923:10;1918:3;1914:20;1911:1;1904:31;1954:4;1951:1;1944:15;1978:4;1975:1;1968:15;1994:945;2063:6;2116:2;2104:9;2095:7;2091:23;2087:32;2084:52;;;2132:1;2129;2122:12;2084:52;2172:9;2159:23;2205:18;2197:6;2194:30;2191:50;;;2237:1;2234;2227:12;2191:50;2260:22;;2313:4;2305:13;;2301:27;-1:-1:-1;2291:55:1;;2342:1;2339;2332:12;2291:55;2382:2;2369:16;2408:18;2400:6;2397:30;2394:56;;;2430:18;;:::i;:::-;2479:2;2473:9;2571:2;2533:17;;-1:-1:-1;;2529:31:1;;;2562:2;2525:40;2521:54;2509:67;;2606:18;2591:34;;2627:22;;;2588:62;2585:88;;;2653:18;;:::i;:::-;2689:2;2682:22;2713;;;2754:15;;;2771:2;2750:24;2747:37;-1:-1:-1;2744:57:1;;;2797:1;2794;2787:12;2744:57;2853:6;2848:2;2844;2840:11;2835:2;2827:6;2823:15;2810:50;2906:1;2880:19;;;2901:2;2876:28;2869:39;;;;2884:6;1994:945;-1:-1:-1;;;;1994:945:1:o;2944:186::-;3003:6;3056:2;3044:9;3035:7;3031:23;3027:32;3024:52;;;3072:1;3069;3062:12;3024:52;3095:29;3114:9;3095:29;:::i;:::-;3085:39;2944:186;-1:-1:-1;;;2944:186:1:o;3135:260::-;3203:6;3211;3264:2;3252:9;3243:7;3239:23;3235:32;3232:52;;;3280:1;3277;3270:12;3232:52;3303:29;3322:9;3303:29;:::i;:::-;3293:39;;3351:38;3385:2;3374:9;3370:18;3351:38;:::i;:::-;3341:48;;3135:260;;;;;:::o;3400:127::-;3461:10;3456:3;3452:20;3449:1;3442:31;3492:4;3489:1;3482:15;3516:4;3513:1;3506:15;3532:375;3620:1;3638:5;3652:249;3673:1;3663:8;3660:15;3652:249;;;3723:4;3718:3;3714:14;3708:4;3705:24;3702:50;;;3732:18;;:::i;:::-;3782:1;3772:8;3768:16;3765:49;;;3796:16;;;;3765:49;3879:1;3875:16;;;;;3835:15;;3652:249;;;3532:375;;;;;;:::o;3912:902::-;3961:5;3991:8;3981:80;;-1:-1:-1;4032:1:1;4046:5;;3981:80;4080:4;4070:76;;-1:-1:-1;4117:1:1;4131:5;;4070:76;4162:4;4180:1;4175:59;;;;4248:1;4243:174;;;;4155:262;;4175:59;4205:1;4196:10;;4219:5;;;4243:174;4280:3;4270:8;4267:17;4264:43;;;4287:18;;:::i;:::-;-1:-1:-1;;4343:1:1;4329:16;;4402:5;;4155:262;;4501:2;4491:8;4488:16;4482:3;4476:4;4473:13;4469:36;4463:2;4453:8;4450:16;4445:2;4439:4;4436:12;4432:35;4429:77;4426:203;;;-1:-1:-1;4538:19:1;;;4614:5;;4426:203;4661:42;-1:-1:-1;;4686:8:1;4680:4;4661:42;:::i;:::-;4739:6;4735:1;4731:6;4727:19;4718:7;4715:32;4712:58;;;4750:18;;:::i;:::-;4788:20;;3912:902;-1:-1:-1;;;3912:902:1:o;4819:140::-;4877:5;4906:47;4947:4;4937:8;4933:19;4927:4;4906:47;:::i;4964:168::-;5037:9;;;5068;;5085:15;;;5079:22;;5065:37;5055:71;;5106:18;;:::i;5553:125::-;5618:9;;;5639:10;;;5636:36;;;5652:18;;:::i;5683:380::-;5762:1;5758:12;;;;5805;;;5826:61;;5880:4;5872:6;5868:17;5858:27;;5826:61;5933:2;5925:6;5922:14;5902:18;5899:38;5896:161;;5979:10;5974:3;5970:20;5967:1;5960:31;6014:4;6011:1;6004:15;6042:4;6039:1;6032:15;5896:161;;5683:380;;;:::o;6194:518::-;6296:2;6291:3;6288:11;6285:421;;;6332:5;6329:1;6322:16;6376:4;6373:1;6363:18;6446:2;6434:10;6430:19;6427:1;6423:27;6417:4;6413:38;6482:4;6470:10;6467:20;6464:47;;;-1:-1:-1;6505:4:1;6464:47;6560:2;6555:3;6551:12;6548:1;6544:20;6538:4;6534:31;6524:41;;6615:81;6633:2;6626:5;6623:13;6615:81;;;6692:1;6678:16;;6659:1;6648:13;6615:81;;;6619:3;;6285:421;6194:518;;;:::o;6888:1299::-;7014:3;7008:10;7041:18;7033:6;7030:30;7027:56;;;7063:18;;:::i;:::-;7092:97;7182:6;7142:38;7174:4;7168:11;7142:38;:::i;:::-;7136:4;7092:97;:::i;:::-;7238:4;7269:2;7258:14;;7286:1;7281:649;;;;7974:1;7991:6;7988:89;;;-1:-1:-1;8043:19:1;;;8037:26;7988:89;-1:-1:-1;;6845:1:1;6841:11;;;6837:24;6833:29;6823:40;6869:1;6865:11;;;6820:57;8090:81;;7251:930;;7281:649;6141:1;6134:14;;;6178:4;6165:18;;-1:-1:-1;;7317:20:1;;;7435:222;7449:7;7446:1;7443:14;7435:222;;;7531:19;;;7525:26;7510:42;;7638:4;7623:20;;;;7591:1;7579:14;;;;7465:12;7435:222;;;7439:3;7685:6;7676:7;7673:19;7670:201;;;7746:19;;;7740:26;-1:-1:-1;;7829:1:1;7825:14;;;7841:3;7821:24;7817:37;7813:42;7798:58;7783:74;;7670:201;-1:-1:-1;;;;7917:1:1;7901:14;;;7897:22;7884:36;;-1:-1:-1;6888:1299:1:o

ipfs://1ed93d464e0b6955aedb9d53ff6c5e56dfaf07b55e4a5decb49730e2ce21c5fc