Contract

Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function allowance(address owner, add ...
•    - function transfer(address recipient, ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract Crimingo is IERC20 *
•    - function disableMinTransaction()
•    - function balanceOf(address account)
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transfer(address recipient, ...
•    - function transferFrom(address sender, ...
•    - function setExemption(address user, b ...
•    - function setMaxTokensHold(uint256 amo ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address sender, ad ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-06
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.18;

// Define the ERC20 interface
interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function allowance(address owner, address spender) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    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);
}

contract Crimingo is IERC20 {
    string public constant name = "Criminal Flamingo";
    string public constant symbol = "CRIMINGO";
    uint8 public constant decimals = 18;
    uint256 public constant totalSupply = 100000000 * 10 ** uint256(decimals);
    uint256 public maxTokensHold = 100000000 * 10 ** uint256(decimals);
    uint256 public minTransactionAmount = 90000000 * 10 ** uint256(decimals);
    bool public isMinTransactionActive = true;

    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExemptedFromMaxHold;

    address private _owner;

    constructor() {
        _owner = msg.sender;
        _balances[_owner] = totalSupply;
        _isExemptedFromMaxHold[_owner] = true;
    }

    modifier onlyOwner() {
        require(_owner == msg.sender, "Only owner can call this function");
        _;
    }

    modifier onlyDisableMinTransaction() {
        require(isMinTransactionActive, "Minimum transaction is already disabled");
        _;
    }

    function disableMinTransaction() external onlyOwner onlyDisableMinTransaction {
        isMinTransactionActive = false;
    }

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

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

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender] - amount);
        return true;
    }

    function setExemption(address user, bool value) public onlyOwner {
        _isExemptedFromMaxHold[user] = value;
    }

    function setMaxTokensHold(uint256 amount) public onlyOwner {
        maxTokensHold = amount;
    }

    function _approve(address owner, address spender, uint256 amount) internal {
        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 _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(_balances[sender] >= amount, "ERC20: transfer amount exceeds balance");

        if (isMinTransactionActive) {
            require(amount >= minTransactionAmount, "Transaction amount below minimum");
        }

        if (!_isExemptedFromMaxHold[recipient]) {
            require(_balances[recipient] + amount <= maxTokensHold, "Max tokens hold limit reached");
        }

        _balances[sender] -= amount;
        _balances[recipient] += amount;
        emit Transfer(sender, recipient, amount);
    }
}

• Solid Proof - Nov 7th, 2023 - Security Audit Report

[{"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":[],"name":"disableMinTransaction","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isMinTransactionActive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxTokensHold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"minTransactionAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"bool","name":"value","type":"bool"}],"name":"setExemption","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"setMaxTokensHold","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":"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"}]

6080604052620000126012600a620001ea565b62000022906305f5e100620001ff565b600055620000336012600a620001ea565b620000439063055d4a80620001ff565b60019081556002805460ff191690911790553480156200006257600080fd5b50600680546001600160a01b03191633179055620000836012600a620001ea565b62000093906305f5e100620001ff565b600680546001600160a01b0390811660009081526003602090815260408083209590955592549091168152600590915220805460ff1916600117905562000219565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200012c578160001904821115620001105762000110620000d5565b808516156200011e57918102915b93841c9390800290620000f0565b509250929050565b6000826200014557506001620001e4565b816200015457506000620001e4565b81600181146200016d5760028114620001785762000198565b6001915050620001e4565b60ff8411156200018c576200018c620000d5565b50506001821b620001e4565b5060208310610133831016604e8410600b8410161715620001bd575081810a620001e4565b620001c98383620000eb565b8060001904821115620001e057620001e0620000d5565b0290505b92915050565b6000620001f8838362000134565b9392505050565b8082028115828204841417620001e457620001e4620000d5565b610b7180620002296000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c80633ea6e071116100975780638f6213a6116100665780638f6213a61461020b57806395d89b411461021e578063a9059cbb14610245578063dd62ed3e1461025857600080fd5b80633ea6e071146101bc5780635d0d37aa146101d157806370a08231146101d9578063723f65b61461020257600080fd5b806317a5d4df116100d357806317a5d4df1461017057806318160ddd1461018757806323b872dd1461018f578063313ce567146101a257600080fd5b806306fdde03146100fa578063095ea7b3146101405780630a5d33c114610163575b600080fd5b61012a604051806040016040528060118152602001704372696d696e616c20466c616d696e676f60781b81525081565b604051610137919061083d565b60405180910390f35b61015361014e3660046108a7565b610291565b6040519015158152602001610137565b6002546101539060ff1681565b61017960015481565b604051908152602001610137565b6101796102a8565b61015361019d3660046108d1565b6102c5565b6101aa601281565b60405160ff9091168152602001610137565b6101cf6101ca36600461090d565b610317565b005b6101cf610375565b6101796101e7366004610949565b6001600160a01b031660009081526003602052604090205490565b61017960005481565b6101cf61021936600461096b565b61040d565b61012a604051806040016040528060088152602001674352494d494e474f60c01b81525081565b6101536102533660046108a7565b61043c565b610179610266366004610984565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b600061029e338484610449565b5060015b92915050565b6102b46012600a610ab1565b6102c2906305f5e100610abd565b81565b60006102d284848461056e565b6001600160a01b03841660009081526004602090815260408083203380855292529091205461030d918691610308908690610ad4565b610449565b5060019392505050565b6006546001600160a01b0316331461034a5760405162461bcd60e51b815260040161034190610ae7565b60405180910390fd5b6001600160a01b03919091166000908152600560205260409020805460ff1916911515919091179055565b6006546001600160a01b0316331461039f5760405162461bcd60e51b815260040161034190610ae7565b60025460ff166104015760405162461bcd60e51b815260206004820152602760248201527f4d696e696d756d207472616e73616374696f6e20697320616c726561647920646044820152661a5cd8589b195960ca1b6064820152608401610341565b6002805460ff19169055565b6006546001600160a01b031633146104375760405162461bcd60e51b815260040161034190610ae7565b600055565b600061029e33848461056e565b6001600160a01b0383166104ab5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610341565b6001600160a01b03821661050c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610341565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0383166105d25760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610341565b6001600160a01b0382166106345760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610341565b6001600160a01b0383166000908152600360205260409020548111156106ab5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610341565b60025460ff1615610708576001548110156107085760405162461bcd60e51b815260206004820181905260248201527f5472616e73616374696f6e20616d6f756e742062656c6f77206d696e696d756d6044820152606401610341565b6001600160a01b03821660009081526005602052604090205460ff1661079c57600080546001600160a01b0384168252600360205260409091205461074e908390610b28565b111561079c5760405162461bcd60e51b815260206004820152601d60248201527f4d617820746f6b656e7320686f6c64206c696d697420726561636865640000006044820152606401610341565b6001600160a01b038316600090815260036020526040812080548392906107c4908490610ad4565b90915550506001600160a01b038216600090815260036020526040812080548392906107f1908490610b28565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161056191815260200190565b600060208083528351808285015260005b8181101561086a5785810183015185820160400152820161084e565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b03811681146108a257600080fd5b919050565b600080604083850312156108ba57600080fd5b6108c38361088b565b946020939093013593505050565b6000806000606084860312156108e657600080fd5b6108ef8461088b565b92506108fd6020850161088b565b9150604084013590509250925092565b6000806040838503121561092057600080fd5b6109298361088b565b91506020830135801515811461093e57600080fd5b809150509250929050565b60006020828403121561095b57600080fd5b6109648261088b565b9392505050565b60006020828403121561097d57600080fd5b5035919050565b6000806040838503121561099757600080fd5b6109a08361088b565b91506109ae6020840161088b565b90509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115610a085781600019048211156109ee576109ee6109b7565b808516156109fb57918102915b93841c93908002906109d2565b509250929050565b600082610a1f575060016102a2565b81610a2c575060006102a2565b8160018114610a425760028114610a4c57610a68565b60019150506102a2565b60ff841115610a5d57610a5d6109b7565b50506001821b6102a2565b5060208310610133831016604e8410600b8410161715610a8b575081810a6102a2565b610a9583836109cd565b8060001904821115610aa957610aa96109b7565b029392505050565b60006109648383610a10565b80820281158282048414176102a2576102a26109b7565b818103818111156102a2576102a26109b7565b60208082526021908201527f4f6e6c79206f776e65722063616e2063616c6c20746869732066756e6374696f6040820152603760f91b606082015260800190565b808201808211156102a2576102a26109b756fea2646970667358221220439ec0428ea726278880bfc45641d9485fafedec18b0d4ca9c2d1c5b525dd6ee64736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c80633ea6e071116100975780638f6213a6116100665780638f6213a61461020b57806395d89b411461021e578063a9059cbb14610245578063dd62ed3e1461025857600080fd5b80633ea6e071146101bc5780635d0d37aa146101d157806370a08231146101d9578063723f65b61461020257600080fd5b806317a5d4df116100d357806317a5d4df1461017057806318160ddd1461018757806323b872dd1461018f578063313ce567146101a257600080fd5b806306fdde03146100fa578063095ea7b3146101405780630a5d33c114610163575b600080fd5b61012a604051806040016040528060118152602001704372696d696e616c20466c616d696e676f60781b81525081565b604051610137919061083d565b60405180910390f35b61015361014e3660046108a7565b610291565b6040519015158152602001610137565b6002546101539060ff1681565b61017960015481565b604051908152602001610137565b6101796102a8565b61015361019d3660046108d1565b6102c5565b6101aa601281565b60405160ff9091168152602001610137565b6101cf6101ca36600461090d565b610317565b005b6101cf610375565b6101796101e7366004610949565b6001600160a01b031660009081526003602052604090205490565b61017960005481565b6101cf61021936600461096b565b61040d565b61012a604051806040016040528060088152602001674352494d494e474f60c01b81525081565b6101536102533660046108a7565b61043c565b610179610266366004610984565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b600061029e338484610449565b5060015b92915050565b6102b46012600a610ab1565b6102c2906305f5e100610abd565b81565b60006102d284848461056e565b6001600160a01b03841660009081526004602090815260408083203380855292529091205461030d918691610308908690610ad4565b610449565b5060019392505050565b6006546001600160a01b0316331461034a5760405162461bcd60e51b815260040161034190610ae7565b60405180910390fd5b6001600160a01b03919091166000908152600560205260409020805460ff1916911515919091179055565b6006546001600160a01b0316331461039f5760405162461bcd60e51b815260040161034190610ae7565b60025460ff166104015760405162461bcd60e51b815260206004820152602760248201527f4d696e696d756d207472616e73616374696f6e20697320616c726561647920646044820152661a5cd8589b195960ca1b6064820152608401610341565b6002805460ff19169055565b6006546001600160a01b031633146104375760405162461bcd60e51b815260040161034190610ae7565b600055565b600061029e33848461056e565b6001600160a01b0383166104ab5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610341565b6001600160a01b03821661050c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610341565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0383166105d25760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610341565b6001600160a01b0382166106345760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610341565b6001600160a01b0383166000908152600360205260409020548111156106ab5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610341565b60025460ff1615610708576001548110156107085760405162461bcd60e51b815260206004820181905260248201527f5472616e73616374696f6e20616d6f756e742062656c6f77206d696e696d756d6044820152606401610341565b6001600160a01b03821660009081526005602052604090205460ff1661079c57600080546001600160a01b0384168252600360205260409091205461074e908390610b28565b111561079c5760405162461bcd60e51b815260206004820152601d60248201527f4d617820746f6b656e7320686f6c64206c696d697420726561636865640000006044820152606401610341565b6001600160a01b038316600090815260036020526040812080548392906107c4908490610ad4565b90915550506001600160a01b038216600090815260036020526040812080548392906107f1908490610b28565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161056191815260200190565b600060208083528351808285015260005b8181101561086a5785810183015185820160400152820161084e565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b03811681146108a257600080fd5b919050565b600080604083850312156108ba57600080fd5b6108c38361088b565b946020939093013593505050565b6000806000606084860312156108e657600080fd5b6108ef8461088b565b92506108fd6020850161088b565b9150604084013590509250925092565b6000806040838503121561092057600080fd5b6109298361088b565b91506020830135801515811461093e57600080fd5b809150509250929050565b60006020828403121561095b57600080fd5b6109648261088b565b9392505050565b60006020828403121561097d57600080fd5b5035919050565b6000806040838503121561099757600080fd5b6109a08361088b565b91506109ae6020840161088b565b90509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115610a085781600019048211156109ee576109ee6109b7565b808516156109fb57918102915b93841c93908002906109d2565b509250929050565b600082610a1f575060016102a2565b81610a2c575060006102a2565b8160018114610a425760028114610a4c57610a68565b60019150506102a2565b60ff841115610a5d57610a5d6109b7565b50506001821b6102a2565b5060208310610133831016604e8410600b8410161715610a8b575081810a6102a2565b610a9583836109cd565b8060001904821115610aa957610aa96109b7565b029392505050565b60006109648383610a10565b80820281158282048414176102a2576102a26109b7565b818103818111156102a2576102a26109b7565b60208082526021908201527f4f6e6c79206f776e65722063616e2063616c6c20746869732066756e6374696f6040820152603760f91b606082015260800190565b808201808211156102a2576102a26109b756fea2646970667358221220439ec0428ea726278880bfc45641d9485fafedec18b0d4ca9c2d1c5b525dd6ee64736f6c63430008120033

769:3497:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;804:49;;;;;;;;;;;;;;;-1:-1:-1;;;804:49:0;;;;;;;;;;;;:::i;:::-;;;;;;;;2293:159;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;2293:159:0;1004:187:1;1183:41:0;;;;;;;;;1104:72;;;;;;;;;1342:25:1;;;1330:2;1315:18;1104:72:0;1196:177:1;951:73:0;;;:::i;2633:262::-;;;;;;:::i;:::-;;:::i;909:35::-;;942:2;909:35;;;;;1883:4:1;1871:17;;;1853:36;;1841:2;1826:18;909:35:0;1711:184:1;2903:120:0;;;;;;:::i;:::-;;:::i;:::-;;1880:127;;;:::i;2015:119::-;;;;;;:::i;:::-;-1:-1:-1;;;;;2108:18:0;2081:7;2108:18;;;:9;:18;;;;;;;2015:119;1031:66;;;;;;3031:100;;;;;;:::i;:::-;;:::i;860:42::-;;;;;;;;;;;;;;;-1:-1:-1;;;860:42:0;;;;;2460:165;;;;;;:::i;:::-;;:::i;2142:143::-;;;;;;:::i;:::-;-1:-1:-1;;;;;2250:18:0;;;2223:7;2250:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2142:143;2293:159;2368:4;2385:37;2394:10;2406:7;2415:6;2385:8;:37::i;:::-;-1:-1:-1;2440:4:0;2293:159;;;;;:::o;951:73::-;1001:23;942:2;1001;:23;:::i;:::-;989:35;;:9;:35;:::i;:::-;951:73;:::o;2633:262::-;2731:4;2748:36;2758:6;2766:9;2777:6;2748:9;:36::i;:::-;-1:-1:-1;;;;;2824:19:0;;;;;;:11;:19;;;;;;;;2812:10;2824:31;;;;;;;;;2795:70;;2804:6;;2824:40;;2858:6;;2824:40;:::i;:::-;2795:8;:70::i;:::-;-1:-1:-1;2883:4:0;2633:262;;;;;:::o;2903:120::-;1644:6;;-1:-1:-1;;;;;1644:6:0;1654:10;1644:20;1636:66;;;;-1:-1:-1;;;1636:66:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;2979:28:0;;;::::1;;::::0;;;:22:::1;:28;::::0;;;;:36;;-1:-1:-1;;2979:36:0::1;::::0;::::1;;::::0;;;::::1;::::0;;2903:120::o;1880:127::-;1644:6;;-1:-1:-1;;;;;1644:6:0;1654:10;1644:20;1636:66;;;;-1:-1:-1;;;1636:66:0;;;;;;;:::i;:::-;1786:22:::1;::::0;::::1;;1778:74;;;::::0;-1:-1:-1;;;1778:74:0;;5309:2:1;1778:74:0::1;::::0;::::1;5291:21:1::0;5348:2;5328:18;;;5321:30;5387:34;5367:18;;;5360:62;-1:-1:-1;;;5438:18:1;;;5431:37;5485:19;;1778:74:0::1;5107:403:1::0;1778:74:0::1;1969:22:::2;:30:::0;;-1:-1:-1;;1969:30:0::2;::::0;;1880:127::o;3031:100::-;1644:6;;-1:-1:-1;;;;;1644:6:0;1654:10;1644:20;1636:66;;;;-1:-1:-1;;;1636:66:0;;;;;;;:::i;:::-;3101:13:::1;:22:::0;3031:100::o;2460:165::-;2538:4;2555:40;2565:10;2577:9;2588:6;2555:9;:40::i;3139:336::-;-1:-1:-1;;;;;3233:19:0;;3225:68;;;;-1:-1:-1;;;3225:68:0;;5717:2:1;3225:68:0;;;5699:21:1;5756:2;5736:18;;;5729:30;5795:34;5775:18;;;5768:62;-1:-1:-1;;;5846:18:1;;;5839:34;5890:19;;3225:68:0;5515:400:1;3225:68:0;-1:-1:-1;;;;;3312:21:0;;3304:68;;;;-1:-1:-1;;;3304:68:0;;6122:2:1;3304:68:0;;;6104:21:1;6161:2;6141:18;;;6134:30;6200:34;6180:18;;;6173:62;-1:-1:-1;;;6251:18:1;;;6244:32;6293:19;;3304:68:0;5920:398:1;3304:68:0;-1:-1:-1;;;;;3383:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;3435:32;;1342:25:1;;;3435:32:0;;1315:18:1;3435:32:0;;;;;;;;3139:336;;;:::o;3483:780::-;-1:-1:-1;;;;;3581:20:0;;3573:70;;;;-1:-1:-1;;;3573:70:0;;6525:2:1;3573:70:0;;;6507:21:1;6564:2;6544:18;;;6537:30;6603:34;6583:18;;;6576:62;-1:-1:-1;;;6654:18:1;;;6647:35;6699:19;;3573:70:0;6323:401:1;3573:70:0;-1:-1:-1;;;;;3662:23:0;;3654:71;;;;-1:-1:-1;;;3654:71:0;;6931:2:1;3654:71:0;;;6913:21:1;6970:2;6950:18;;;6943:30;7009:34;6989:18;;;6982:62;-1:-1:-1;;;7060:18:1;;;7053:33;7103:19;;3654:71:0;6729:399:1;3654:71:0;-1:-1:-1;;;;;3744:17:0;;;;;;:9;:17;;;;;;:27;-1:-1:-1;3744:27:0;3736:78;;;;-1:-1:-1;;;3736:78:0;;7335:2:1;3736:78:0;;;7317:21:1;7374:2;7354:18;;;7347:30;7413:34;7393:18;;;7386:62;-1:-1:-1;;;7464:18:1;;;7457:36;7510:19;;3736:78:0;7133:402:1;3736:78:0;3831:22;;;;3827:130;;;3888:20;;3878:6;:30;;3870:75;;;;-1:-1:-1;;;3870:75:0;;7742:2:1;3870:75:0;;;7724:21:1;;;7761:18;;;7754:30;7820:34;7800:18;;;7793:62;7872:18;;3870:75:0;7540:356:1;3870:75:0;-1:-1:-1;;;;;3974:33:0;;;;;;:22;:33;;;;;;;;3969:155;;4065:13;;;-1:-1:-1;;;;;4032:20:0;;;;:9;:20;;;;;;;:29;;4055:6;;4032:29;:::i;:::-;:46;;4024:88;;;;-1:-1:-1;;;4024:88:0;;8233:2:1;4024:88:0;;;8215:21:1;8272:2;8252:18;;;8245:30;8311:31;8291:18;;;8284:59;8360:18;;4024:88:0;8031:353:1;4024:88:0;-1:-1:-1;;;;;4136:17:0;;;;;;:9;:17;;;;;:27;;4157:6;;4136:17;:27;;4157:6;;4136:27;:::i;:::-;;;;-1:-1:-1;;;;;;;4174:20:0;;;;;;:9;:20;;;;;:30;;4198:6;;4174:20;:30;;4198:6;;4174:30;:::i;:::-;;;;;;;;4237:9;-1:-1:-1;;;;;4220:35:0;4229:6;-1:-1:-1;;;;;4220:35:0;;4248:6;4220:35;;;;1342:25:1;;1330:2;1315:18;;1196:177;14:548;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:347::-;1965:6;1973;2026:2;2014:9;2005:7;2001:23;1997:32;1994:52;;;2042:1;2039;2032:12;1994:52;2065:29;2084:9;2065:29;:::i;:::-;2055:39;;2144:2;2133:9;2129:18;2116:32;2191:5;2184:13;2177:21;2170:5;2167:32;2157:60;;2213:1;2210;2203:12;2157:60;2236:5;2226:15;;;1900:347;;;;;:::o;2252:186::-;2311:6;2364:2;2352:9;2343:7;2339:23;2335:32;2332:52;;;2380:1;2377;2370:12;2332:52;2403:29;2422:9;2403:29;:::i;:::-;2393:39;2252:186;-1:-1:-1;;;2252:186:1:o;2443:180::-;2502:6;2555:2;2543:9;2534:7;2530:23;2526:32;2523:52;;;2571:1;2568;2561:12;2523:52;-1:-1:-1;2594:23:1;;2443:180;-1:-1:-1;2443:180:1:o;2628:260::-;2696:6;2704;2757:2;2745:9;2736:7;2732:23;2728:32;2725:52;;;2773:1;2770;2763:12;2725:52;2796:29;2815:9;2796:29;:::i;:::-;2786:39;;2844:38;2878:2;2867:9;2863:18;2844:38;:::i;:::-;2834:48;;2628:260;;;;;:::o;2893:127::-;2954:10;2949:3;2945:20;2942:1;2935:31;2985:4;2982:1;2975:15;3009:4;3006:1;2999:15;3025:422;3114:1;3157:5;3114:1;3171:270;3192:7;3182:8;3179:21;3171:270;;;3251:4;3247:1;3243:6;3239:17;3233:4;3230:27;3227:53;;;3260:18;;:::i;:::-;3310:7;3300:8;3296:22;3293:55;;;3330:16;;;;3293:55;3409:22;;;;3369:15;;;;3171:270;;;3175:3;3025:422;;;;;:::o;3452:806::-;3501:5;3531:8;3521:80;;-1:-1:-1;3572:1:1;3586:5;;3521:80;3620:4;3610:76;;-1:-1:-1;3657:1:1;3671:5;;3610:76;3702:4;3720:1;3715:59;;;;3788:1;3783:130;;;;3695:218;;3715:59;3745:1;3736:10;;3759:5;;;3783:130;3820:3;3810:8;3807:17;3804:43;;;3827:18;;:::i;:::-;-1:-1:-1;;3883:1:1;3869:16;;3898:5;;3695:218;;3997:2;3987:8;3984:16;3978:3;3972:4;3969:13;3965:36;3959:2;3949:8;3946:16;3941:2;3935:4;3932:12;3928:35;3925:77;3922:159;;;-1:-1:-1;4034:19:1;;;4066:5;;3922:159;4113:34;4138:8;4132:4;4113:34;:::i;:::-;4183:6;4179:1;4175:6;4171:19;4162:7;4159:32;4156:58;;;4194:18;;:::i;:::-;4232:20;;3452:806;-1:-1:-1;;;3452:806:1:o;4263:131::-;4323:5;4352:36;4379:8;4373:4;4352:36;:::i;4399:168::-;4472:9;;;4503;;4520:15;;;4514:22;;4500:37;4490:71;;4541:18;;:::i;4572:128::-;4639:9;;;4660:11;;;4657:37;;;4674:18;;:::i;4705:397::-;4907:2;4889:21;;;4946:2;4926:18;;;4919:30;4985:34;4980:2;4965:18;;4958:62;-1:-1:-1;;;5051:2:1;5036:18;;5029:31;5092:3;5077:19;;4705:397::o;7901:125::-;7966:9;;;7987:10;;;7984:36;;;8000:18;;:::i

ipfs://439ec0428ea726278880bfc45641d9485fafedec18b0d4ca9c2d1c5b525dd6ee