Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

pragma solidity 0.8.16;

interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

     /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
     /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);    
    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     * Emits a {Transfer} event.
     */
    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);
}

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

    function _msgData() internal view virtual returns (bytes calldata) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

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 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 decimals() public view virtual override returns (uint8) {
        return 9;
    }

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

    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) {
        uint256 currentAllowance = _allowances[sender][_msgSender()];
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
            unchecked {
                _approve(sender, _msgSender(), currentAllowance - amount);
            }
        }

        _transfer(sender, recipient, 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 {}
}

contract Ownable is Context {
    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor() {
        _transferOwnership(_msgSender());
    }

    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function owner() public view virtual returns (address) {
        return _owner;
    }

    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

contract MAGA is ERC20, Ownable {
    constructor () ERC20("MAGA", "TRUMP")
    {    
        _mint(msg.sender, 100_000000000000 * (10 ** 9));
    }
}

• Solidproof- Nov 27th, 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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","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"}]

60806040523480156200001157600080fd5b50604051806040016040528060048152602001634d41474160e01b8152506040518060400160405280600581526020016405452554d560dc1b81525081600390816200005e91906200028d565b5060046200006d82826200028d565b5050506200008a62000084620000a660201b60201c565b620000aa565b620000a03369152d02c7e14af6800000620000fc565b62000381565b3390565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b6001600160a01b038216620001575760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b80600260008282546200016b919062000359565b90915550506001600160a01b038216600090815260208190526040812080548392906200019a90849062000359565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b505050565b634e487b7160e01b600052604160045260246000fd5b600181811c908216806200021457607f821691505b6020821081036200023557634e487b7160e01b600052602260045260246000fd5b50919050565b601f821115620001e457600081815260208120601f850160051c81016020861015620002645750805b601f850160051c820191505b81811015620002855782815560010162000270565b505050505050565b81516001600160401b03811115620002a957620002a9620001e9565b620002c181620002ba8454620001ff565b846200023b565b602080601f831160018114620002f95760008415620002e05750858301515b600019600386901b1c1916600185901b17855562000285565b600085815260208120601f198616915b828110156200032a5788860151825594840194600190910190840162000309565b5085821015620003495787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b808201808211156200037b57634e487b7160e01b600052601160045260246000fd5b92915050565b6109c280620003916000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c57806395d89b411161006657806395d89b41146101aa578063a457c2d7146101b2578063a9059cbb146101c5578063dd62ed3e146101d857600080fd5b806370a082311461015c578063715018a6146101855780638da5cb5b1461018f57600080fd5b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011557806323b872dd14610127578063313ce5671461013a5780633950935114610149575b600080fd5b6100dc610211565b6040516100e9919061080c565b60405180910390f35b610105610100366004610876565b6102a3565b60405190151581526020016100e9565b6002545b6040519081526020016100e9565b6101056101353660046108a0565b6102ba565b604051600981526020016100e9565b610105610157366004610876565b610370565b61011961016a3660046108dc565b6001600160a01b031660009081526020819052604090205490565b61018d6103ac565b005b6005546040516001600160a01b0390911681526020016100e9565b6100dc610412565b6101056101c0366004610876565b610421565b6101056101d3366004610876565b6104ba565b6101196101e63660046108fe565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60606003805461022090610931565b80601f016020809104026020016040519081016040528092919081815260200182805461024c90610931565b80156102995780601f1061026e57610100808354040283529160200191610299565b820191906000526020600020905b81548152906001019060200180831161027c57829003601f168201915b5050505050905090565b60006102b03384846104c7565b5060015b92915050565b6001600160a01b0383166000908152600160209081526040808320338452909152812054600019811461035a578281101561034d5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b61035a85338584036104c7565b6103658585856105eb565b506001949350505050565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916102b09185906103a790869061096b565b6104c7565b6005546001600160a01b031633146104065760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610344565b61041060006107ba565b565b60606004805461022090610931565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156104a35760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610344565b6104b033858584036104c7565b5060019392505050565b60006102b03384846105eb565b6001600160a01b0383166105295760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610344565b6001600160a01b03821661058a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610344565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661064f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610344565b6001600160a01b0382166106b15760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610344565b6001600160a01b038316600090815260208190526040902054818110156107295760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610344565b6001600160a01b0380851660009081526020819052604080822085850390559185168152908120805484929061076090849061096b565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107ac91815260200190565b60405180910390a350505050565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b600060208083528351808285015260005b818110156108395785810183015185820160400152820161081d565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461087157600080fd5b919050565b6000806040838503121561088957600080fd5b6108928361085a565b946020939093013593505050565b6000806000606084860312156108b557600080fd5b6108be8461085a565b92506108cc6020850161085a565b9150604084013590509250925092565b6000602082840312156108ee57600080fd5b6108f78261085a565b9392505050565b6000806040838503121561091157600080fd5b61091a8361085a565b91506109286020840161085a565b90509250929050565b600181811c9082168061094557607f821691505b60208210810361096557634e487b7160e01b600052602260045260246000fd5b50919050565b808201808211156102b457634e487b7160e01b600052601160045260246000fdfea2646970667358221220da70a128fe5647931234793204e6df3c8d7d7d97bae1edca87ab2011719f96ac64736f6c63430008100033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c57806395d89b411161006657806395d89b41146101aa578063a457c2d7146101b2578063a9059cbb146101c5578063dd62ed3e146101d857600080fd5b806370a082311461015c578063715018a6146101855780638da5cb5b1461018f57600080fd5b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011557806323b872dd14610127578063313ce5671461013a5780633950935114610149575b600080fd5b6100dc610211565b6040516100e9919061080c565b60405180910390f35b610105610100366004610876565b6102a3565b60405190151581526020016100e9565b6002545b6040519081526020016100e9565b6101056101353660046108a0565b6102ba565b604051600981526020016100e9565b610105610157366004610876565b610370565b61011961016a3660046108dc565b6001600160a01b031660009081526020819052604090205490565b61018d6103ac565b005b6005546040516001600160a01b0390911681526020016100e9565b6100dc610412565b6101056101c0366004610876565b610421565b6101056101d3366004610876565b6104ba565b6101196101e63660046108fe565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60606003805461022090610931565b80601f016020809104026020016040519081016040528092919081815260200182805461024c90610931565b80156102995780601f1061026e57610100808354040283529160200191610299565b820191906000526020600020905b81548152906001019060200180831161027c57829003601f168201915b5050505050905090565b60006102b03384846104c7565b5060015b92915050565b6001600160a01b0383166000908152600160209081526040808320338452909152812054600019811461035a578281101561034d5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b61035a85338584036104c7565b6103658585856105eb565b506001949350505050565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916102b09185906103a790869061096b565b6104c7565b6005546001600160a01b031633146104065760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610344565b61041060006107ba565b565b60606004805461022090610931565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156104a35760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610344565b6104b033858584036104c7565b5060019392505050565b60006102b03384846105eb565b6001600160a01b0383166105295760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610344565b6001600160a01b03821661058a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610344565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661064f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610344565b6001600160a01b0382166106b15760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610344565b6001600160a01b038316600090815260208190526040902054818110156107295760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610344565b6001600160a01b0380851660009081526020819052604080822085850390559185168152908120805484929061076090849061096b565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107ac91815260200190565b60405180910390a350505050565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b600060208083528351808285015260005b818110156108395785810183015185820160400152820161081d565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461087157600080fd5b919050565b6000806040838503121561088957600080fd5b6108928361085a565b946020939093013593505050565b6000806000606084860312156108b557600080fd5b6108be8461085a565b92506108cc6020850161085a565b9150604084013590509250925092565b6000602082840312156108ee57600080fd5b6108f78261085a565b9392505050565b6000806040838503121561091157600080fd5b61091a8361085a565b91506109286020840161085a565b90509250929050565b600181811c9082168061094557607f821691505b60208210810361096557634e487b7160e01b600052602260045260246000fd5b50919050565b808201808211156102b457634e487b7160e01b600052601160045260246000fdfea2646970667358221220da70a128fe5647931234793204e6df3c8d7d7d97bae1edca87ab2011719f96ac64736f6c63430008100033

8020:155:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2444:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3357:169;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;3357:169:0;1004:187:1;3082:108:0;3170:12;;3082:108;;;1342:25:1;;;1330:2;1315:18;3082:108:0;1196:177:1;3534:573:0;;;;;;:::i;:::-;;:::i;2982:92::-;;;3065:1;1853:36:1;;1841:2;1826:18;2982:92:0;1711:184:1;4115:215:0;;;;;;:::i;:::-;;:::i;2664:127::-;;;;;;:::i;:::-;-1:-1:-1;;;;;2765:18:0;2738:7;2765:18;;;;;;;;;;;;2664:127;7711:103;;;:::i;:::-;;7616:87;7689:6;;7616:87;;-1:-1:-1;;;;;7689:6:0;;;2237:51:1;;2225:2;2210:18;7616:87:0;2091:203:1;2552:104:0;;;:::i;4338:413::-;;;;;;:::i;:::-;;:::i;2799:175::-;;;;;;:::i;:::-;;:::i;3198:151::-;;;;;;:::i;:::-;-1:-1:-1;;;;;3314:18:0;;;3287:7;3314:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3198:151;2444:100;2498:13;2531:5;2524:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2444:100;:::o;3357:169::-;3440:4;3457:39;1768:10;3480:7;3489:6;3457:8;:39::i;:::-;-1:-1:-1;3514:4:0;3357:169;;;;;:::o;3534:573::-;-1:-1:-1;;;;;3718:19:0;;3674:4;3718:19;;;:11;:19;;;;;;;;1768:10;3718:33;;;;;;;;-1:-1:-1;;3766:37:0;;3762:265;;3848:6;3828:16;:26;;3820:79;;;;-1:-1:-1;;;3820:79:0;;3151:2:1;3820:79:0;;;3133:21:1;3190:2;3170:18;;;3163:30;3229:34;3209:18;;;3202:62;-1:-1:-1;;;3280:18:1;;;3273:38;3328:19;;3820:79:0;;;;;;;;;3943:57;3952:6;1768:10;3993:6;3974:16;:25;3943:8;:57::i;:::-;4039:36;4049:6;4057:9;4068:6;4039:9;:36::i;:::-;-1:-1:-1;4095:4:0;;3534:573;-1:-1:-1;;;;3534:573:0:o;4115:215::-;1768:10;4203:4;4252:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;4252:34:0;;;;;;;;;;4203:4;;4220:80;;4243:7;;4252:47;;4289:10;;4252:47;:::i;:::-;4220:8;:80::i;7711:103::-;7689:6;;-1:-1:-1;;;;;7689:6:0;1768:10;7528:23;7520:68;;;;-1:-1:-1;;;7520:68:0;;3787:2:1;7520:68:0;;;3769:21:1;;;3806:18;;;3799:30;3865:34;3845:18;;;3838:62;3917:18;;7520:68:0;3585:356:1;7520:68:0;7776:30:::1;7803:1;7776:18;:30::i;:::-;7711:103::o:0;2552:104::-;2608:13;2641:7;2634:14;;;;;:::i;4338:413::-;1768:10;4431:4;4475:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;4475:34:0;;;;;;;;;;4528:35;;;;4520:85;;;;-1:-1:-1;;;4520:85:0;;4148:2:1;4520:85:0;;;4130:21:1;4187:2;4167:18;;;4160:30;4226:34;4206:18;;;4199:62;-1:-1:-1;;;4277:18:1;;;4270:35;4322:19;;4520:85:0;3946:401:1;4520:85:0;4641:67;1768:10;4664:7;4692:15;4673:16;:34;4641:8;:67::i;:::-;-1:-1:-1;4739:4:0;;4338:413;-1:-1:-1;;;4338:413:0:o;2799:175::-;2885:4;2902:42;1768:10;2926:9;2937:6;2902:9;:42::i;6506:380::-;-1:-1:-1;;;;;6642:19:0;;6634:68;;;;-1:-1:-1;;;6634:68:0;;4554:2:1;6634:68:0;;;4536:21:1;4593:2;4573:18;;;4566:30;4632:34;4612:18;;;4605:62;-1:-1:-1;;;4683:18:1;;;4676:34;4727:19;;6634:68:0;4352:400:1;6634:68:0;-1:-1:-1;;;;;6721:21:0;;6713:68;;;;-1:-1:-1;;;6713:68:0;;4959:2:1;6713:68:0;;;4941:21:1;4998:2;4978:18;;;4971:30;5037:34;5017:18;;;5010:62;-1:-1:-1;;;5088:18:1;;;5081:32;5130:19;;6713:68:0;4757:398:1;6713:68:0;-1:-1:-1;;;;;6794:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6846:32;;1342:25:1;;;6846:32:0;;1315:18:1;6846:32:0;;;;;;;6506:380;;;:::o;4759:733::-;-1:-1:-1;;;;;4899:20:0;;4891:70;;;;-1:-1:-1;;;4891:70:0;;5362:2:1;4891:70:0;;;5344:21:1;5401:2;5381:18;;;5374:30;5440:34;5420:18;;;5413:62;-1:-1:-1;;;5491:18:1;;;5484:35;5536:19;;4891:70:0;5160:401:1;4891:70:0;-1:-1:-1;;;;;4980:23:0;;4972:71;;;;-1:-1:-1;;;4972:71:0;;5768:2:1;4972:71:0;;;5750:21:1;5807:2;5787:18;;;5780:30;5846:34;5826:18;;;5819:62;-1:-1:-1;;;5897:18:1;;;5890:33;5940:19;;4972:71:0;5566:399:1;4972:71:0;-1:-1:-1;;;;;5140:17:0;;5116:21;5140:17;;;;;;;;;;;5176:23;;;;5168:74;;;;-1:-1:-1;;;5168:74:0;;6172:2:1;5168:74:0;;;6154:21:1;6211:2;6191:18;;;6184:30;6250:34;6230:18;;;6223:62;-1:-1:-1;;;6301:18:1;;;6294:36;6347:19;;5168:74:0;5970:402:1;5168:74:0;-1:-1:-1;;;;;5278:17:0;;;:9;:17;;;;;;;;;;;5298:22;;;5278:42;;5342:20;;;;;;;;:30;;5314:6;;5278:9;5342:30;;5314:6;;5342:30;:::i;:::-;;;;;;;;5407:9;-1:-1:-1;;;;;5390:35:0;5399:6;-1:-1:-1;;;;;5390:35:0;;5418:6;5390:35;;;;1342:25:1;;1330:2;1315:18;;1196:177;5390:35:0;;;;;;;;4880:612;4759:733;;;:::o;7822:191::-;7915:6;;;-1:-1:-1;;;;;7932:17:0;;;-1:-1:-1;;;;;;7932:17:0;;;;;;;7965:40;;7915:6;;;7932:17;7915:6;;7965:40;;7896:16;;7965:40;7885:128;7822:191;:::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;2299:260::-;2367:6;2375;2428:2;2416:9;2407:7;2403:23;2399:32;2396:52;;;2444:1;2441;2434:12;2396:52;2467:29;2486:9;2467:29;:::i;:::-;2457:39;;2515:38;2549:2;2538:9;2534:18;2515:38;:::i;:::-;2505:48;;2299:260;;;;;:::o;2564:380::-;2643:1;2639:12;;;;2686;;;2707:61;;2761:4;2753:6;2749:17;2739:27;;2707:61;2814:2;2806:6;2803:14;2783:18;2780:38;2777:161;;2860:10;2855:3;2851:20;2848:1;2841:31;2895:4;2892:1;2885:15;2923:4;2920:1;2913:15;2777:161;;2564:380;;;:::o;3358:222::-;3423:9;;;3444:10;;;3441:133;;;3496:10;3491:3;3487:20;3484:1;3477:31;3531:4;3528:1;3521:15;3559:4;3556:1;3549:15

ipfs://da70a128fe5647931234793204e6df3c8d7d7d97bae1edca87ab2011719f96ac