Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

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

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2024-12-12
*/

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

interface IERC20Metadata is IERC20 {
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
}

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

    function _msgData() internal view virtual returns (bytes calldata) {
        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 decimals() public view virtual override returns (uint8) {
        return 18;
    }

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

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

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

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

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

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

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

        return true;
    }

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

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

        return true;
    }

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

        _beforeTokenTransfer(sender, recipient, amount);

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

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

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

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

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

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

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

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

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

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

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

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

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

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

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

contract ShrimpToken is ERC20 {
    constructor () ERC20("Shrimp Token", "SHRIMP") {    
        _mint(0x5bCB64a993df1Df8eC0279e28b5187D4597caf01,1000000000e18);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f5ffd5b506040518060400160405280600c81526020016b29b43934b6b8102a37b5b2b760a11b815250604051806040016040528060068152602001650534852494d560d41b81525081600390816100639190610224565b5060046100708282610224565b5050506100a3735bcb64a993df1df8ec0279e28b5187d4597caf016b033b2e3c9fd0803ce80000006100a860201b60201c565b610303565b6001600160a01b0382166101025760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b8060025f82825461011391906102de565b90915550506001600160a01b0382165f908152602081905260408120805483929061013f9084906102de565b90915550506040518181526001600160a01b038316905f907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b505050565b634e487b7160e01b5f52604160045260245ffd5b600181811c908216806101b557607f821691505b6020821081036101d357634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561018857805f5260205f20601f840160051c810160208510156101fe5750805b601f840160051c820191505b8181101561021d575f815560010161020a565b5050505050565b81516001600160401b0381111561023d5761023d61018d565b6102518161024b84546101a1565b846101d9565b6020601f821160018114610283575f831561026c5750848201515b5f19600385901b1c1916600184901b17845561021d565b5f84815260208120601f198516915b828110156102b25787850151825560209485019460019092019101610292565b50848210156102cf57868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b808201808211156102fd57634e487b7160e01b5f52601160045260245ffd5b92915050565b610b12806103105f395ff3fe608060405234801561000f575f5ffd5b50600436106100c4575f3560e01c8063395093511161007d578063a457c2d711610058578063a457c2d71461018d578063a9059cbb146101a0578063dd62ed3e146101b3575f5ffd5b8063395093511461013d57806370a082311461015057806395d89b4114610185575f5ffd5b806318160ddd116100ad57806318160ddd1461010957806323b872dd1461011b578063313ce5671461012e575f5ffd5b806306fdde03146100c8578063095ea7b3146100e6575b5f5ffd5b6100d06101f8565b6040516100dd9190610925565b60405180910390f35b6100f96100f43660046109a0565b610288565b60405190151581526020016100dd565b6002545b6040519081526020016100dd565b6100f96101293660046109c8565b61029e565b604051601281526020016100dd565b6100f961014b3660046109a0565b610387565b61010d61015e366004610a02565b73ffffffffffffffffffffffffffffffffffffffff165f9081526020819052604090205490565b6100d06103cf565b6100f961019b3660046109a0565b6103de565b6100f96101ae3660046109a0565b6104b5565b61010d6101c1366004610a22565b73ffffffffffffffffffffffffffffffffffffffff9182165f90815260016020908152604080832093909416825291909152205490565b60606003805461020790610a53565b80601f016020809104026020016040519081016040528092919081815260200182805461023390610a53565b801561027e5780601f106102555761010080835404028352916020019161027e565b820191905f5260205f20905b81548152906001019060200180831161026157829003601f168201915b5050505050905090565b5f6102943384846104c1565b5060015b92915050565b5f6102aa848484610673565b73ffffffffffffffffffffffffffffffffffffffff84165f9081526001602090815260408083203384529091529020548281101561036f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206160448201527f6c6c6f77616e636500000000000000000000000000000000000000000000000060648201526084015b60405180910390fd5b61037c85338584036104c1565b506001949350505050565b335f81815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716845290915281205490916102949185906103ca908690610aa4565b6104c1565b60606004805461020790610a53565b335f90815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff861684529091528120548281101561049e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760448201527f207a65726f0000000000000000000000000000000000000000000000000000006064820152608401610366565b6104ab33858584036104c1565b5060019392505050565b5f610294338484610673565b73ffffffffffffffffffffffffffffffffffffffff8316610563576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f72657373000000000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff8216610606576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f73730000000000000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff8381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316610716576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff82166107b9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff83165f908152602081905260409020548181101561086e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff8085165f908152602081905260408082208585039055918516815290812080548492906108b1908490610aa4565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161091791815260200190565b60405180910390a350505050565b602081525f82518060208401528060208501604085015e5f6040828501015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f83011684010191505092915050565b803573ffffffffffffffffffffffffffffffffffffffff8116811461099b575f5ffd5b919050565b5f5f604083850312156109b1575f5ffd5b6109ba83610978565b946020939093013593505050565b5f5f5f606084860312156109da575f5ffd5b6109e384610978565b92506109f160208501610978565b929592945050506040919091013590565b5f60208284031215610a12575f5ffd5b610a1b82610978565b9392505050565b5f5f60408385031215610a33575f5ffd5b610a3c83610978565b9150610a4a60208401610978565b90509250929050565b600181811c90821680610a6757607f821691505b602082108103610a9e577f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b50919050565b80820180821115610298577f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffdfea264697066735822122022ae3197c609b95d054ea94116f01367f7dbabcab8d9f94ebcc42f6b6b710d9b64736f6c634300081c0033

0x608060405234801561000f575f5ffd5b50600436106100c4575f3560e01c8063395093511161007d578063a457c2d711610058578063a457c2d71461018d578063a9059cbb146101a0578063dd62ed3e146101b3575f5ffd5b8063395093511461013d57806370a082311461015057806395d89b4114610185575f5ffd5b806318160ddd116100ad57806318160ddd1461010957806323b872dd1461011b578063313ce5671461012e575f5ffd5b806306fdde03146100c8578063095ea7b3146100e6575b5f5ffd5b6100d06101f8565b6040516100dd9190610925565b60405180910390f35b6100f96100f43660046109a0565b610288565b60405190151581526020016100dd565b6002545b6040519081526020016100dd565b6100f96101293660046109c8565b61029e565b604051601281526020016100dd565b6100f961014b3660046109a0565b610387565b61010d61015e366004610a02565b73ffffffffffffffffffffffffffffffffffffffff165f9081526020819052604090205490565b6100d06103cf565b6100f961019b3660046109a0565b6103de565b6100f96101ae3660046109a0565b6104b5565b61010d6101c1366004610a22565b73ffffffffffffffffffffffffffffffffffffffff9182165f90815260016020908152604080832093909416825291909152205490565b60606003805461020790610a53565b80601f016020809104026020016040519081016040528092919081815260200182805461023390610a53565b801561027e5780601f106102555761010080835404028352916020019161027e565b820191905f5260205f20905b81548152906001019060200180831161026157829003601f168201915b5050505050905090565b5f6102943384846104c1565b5060015b92915050565b5f6102aa848484610673565b73ffffffffffffffffffffffffffffffffffffffff84165f9081526001602090815260408083203384529091529020548281101561036f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206160448201527f6c6c6f77616e636500000000000000000000000000000000000000000000000060648201526084015b60405180910390fd5b61037c85338584036104c1565b506001949350505050565b335f81815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716845290915281205490916102949185906103ca908690610aa4565b6104c1565b60606004805461020790610a53565b335f90815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff861684529091528120548281101561049e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760448201527f207a65726f0000000000000000000000000000000000000000000000000000006064820152608401610366565b6104ab33858584036104c1565b5060019392505050565b5f610294338484610673565b73ffffffffffffffffffffffffffffffffffffffff8316610563576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f72657373000000000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff8216610606576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f73730000000000000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff8381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316610716576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff82166107b9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff83165f908152602081905260409020548181101561086e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610366565b73ffffffffffffffffffffffffffffffffffffffff8085165f908152602081905260408082208585039055918516815290812080548492906108b1908490610aa4565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161091791815260200190565b60405180910390a350505050565b602081525f82518060208401528060208501604085015e5f6040828501015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f83011684010191505092915050565b803573ffffffffffffffffffffffffffffffffffffffff8116811461099b575f5ffd5b919050565b5f5f604083850312156109b1575f5ffd5b6109ba83610978565b946020939093013593505050565b5f5f5f606084860312156109da575f5ffd5b6109e384610978565b92506109f160208501610978565b929592945050506040919091013590565b5f60208284031215610a12575f5ffd5b610a1b82610978565b9392505050565b5f5f60408385031215610a33575f5ffd5b610a3c83610978565b9150610a4a60208401610978565b90509250929050565b600181811c90821680610a6757607f821691505b602082108103610a9e577f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b50919050565b80820180821115610298577f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffdfea264697066735822122022ae3197c609b95d054ea94116f01367f7dbabcab8d9f94ebcc42f6b6b710d9b64736f6c634300081c0033

6271:173:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1637:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2551:169;;;;;;:::i;:::-;;:::i;:::-;;;1167:14:1;;1160:22;1142:41;;1130:2;1115:18;2551:169:0;1002:187:1;1958:108:0;2046:12;;1958:108;;;1340:25:1;;;1328:2;1313:18;1958:108:0;1194:177:1;2728:492:0;;;;;;:::i;:::-;;:::i;1857:93::-;;;1940:2;1897:36:1;;1885:2;1870:18;1857:93:0;1755:184:1;3228:215:0;;;;;;:::i;:::-;;:::i;2074:127::-;;;;;;:::i;:::-;2175:18;;2148:7;2175:18;;;;;;;;;;;;2074:127;1745:104;;;:::i;3451:413::-;;;;;;:::i;:::-;;:::i;2209:175::-;;;;;;:::i;:::-;;:::i;2392:151::-;;;;;;:::i;:::-;2508:18;;;;2481:7;2508:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2392:151;1637:100;1691:13;1724:5;1717:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1637:100;:::o;2551:169::-;2634:4;2651:39;1105:10;2674:7;2683:6;2651:8;:39::i;:::-;-1:-1:-1;2708:4:0;2551:169;;;;;:::o;2728:492::-;2868:4;2885:36;2895:6;2903:9;2914:6;2885:9;:36::i;:::-;2961:19;;;2934:24;2961:19;;;:11;:19;;;;;;;;1105:10;2961:33;;;;;;;;3013:26;;;;3005:79;;;;;;;3044:2:1;3005:79:0;;;3026:21:1;3083:2;3063:18;;;3056:30;3122:34;3102:18;;;3095:62;3193:10;3173:18;;;3166:38;3221:19;;3005:79:0;;;;;;;;;3120:57;3129:6;1105:10;3170:6;3151:16;:25;3120:8;:57::i;:::-;-1:-1:-1;3208:4:0;;2728:492;-1:-1:-1;;;;2728:492:0:o;3228:215::-;1105:10;3316:4;3365:25;;;:11;:25;;;;;;;;;:34;;;;;;;;;;3316:4;;3333:80;;3356:7;;3365:47;;3402:10;;3365:47;:::i;:::-;3333:8;:80::i;1745:104::-;1801:13;1834:7;1827:14;;;;;:::i;3451:413::-;1105:10;3544:4;3588:25;;;:11;:25;;;;;;;;;:34;;;;;;;;;;3641:35;;;;3633:85;;;;;;;3737:2:1;3633:85:0;;;3719:21:1;3776:2;3756:18;;;3749:30;3815:34;3795:18;;;3788:62;3886:7;3866:18;;;3859:35;3911:19;;3633:85:0;3535:401:1;3633:85:0;3754:67;1105:10;3777:7;3805:15;3786:16;:34;3754:8;:67::i;:::-;-1:-1:-1;3852:4:0;;3451:413;-1:-1:-1;;;3451:413:0:o;2209:175::-;2295:4;2312:42;1105:10;2336:9;2347:6;2312:9;:42::i;5619:380::-;5755:19;;;5747:68;;;;;;;4143:2:1;5747:68:0;;;4125:21:1;4182:2;4162:18;;;4155:30;4221:34;4201:18;;;4194:62;4292:6;4272:18;;;4265:34;4316:19;;5747:68:0;3941:400:1;5747:68:0;5834:21;;;5826:68;;;;;;;4548:2:1;5826:68:0;;;4530:21:1;4587:2;4567:18;;;4560:30;4626:34;4606:18;;;4599:62;4697:4;4677:18;;;4670:32;4719:19;;5826:68:0;4346:398:1;5826:68:0;5907:18;;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;5959:32;;1340:25:1;;;5959:32:0;;1313:18:1;5959:32:0;;;;;;;5619:380;;;:::o;3872:733::-;4012:20;;;4004:70;;;;;;;4951:2:1;4004:70:0;;;4933:21:1;4990:2;4970:18;;;4963:30;5029:34;5009:18;;;5002:62;5100:7;5080:18;;;5073:35;5125:19;;4004:70:0;4749:401:1;4004:70:0;4093:23;;;4085:71;;;;;;;5357:2:1;4085:71:0;;;5339:21:1;5396:2;5376:18;;;5369:30;5435:34;5415:18;;;5408:62;5506:5;5486:18;;;5479:33;5529:19;;4085:71:0;5155:399:1;4085:71:0;4253:17;;;4229:21;4253:17;;;;;;;;;;;4289:23;;;;4281:74;;;;;;;5761:2:1;4281:74:0;;;5743:21:1;5800:2;5780:18;;;5773:30;5839:34;5819:18;;;5812:62;5910:8;5890:18;;;5883:36;5936:19;;4281:74:0;5559:402:1;4281:74:0;4391:17;;;;:9;:17;;;;;;;;;;;4411:22;;;4391:42;;4455:20;;;;;;;;:30;;4427:6;;4391:9;4455:30;;4427:6;;4455:30;:::i;:::-;;;;;;;;4520:9;4503:35;;4512:6;4503:35;;;4531:6;4503:35;;;;1340:25:1;;1328:2;1313:18;;1194:177;4503:35:0;;;;;;;;3993:612;3872:733;;;:::o;14:477: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;482:2;412:66;407:2;399:6;395:15;391:88;380:9;376:104;372:113;364:121;;;14:477;;;;:::o;496:196::-;564:20;;624:42;613:54;;603:65;;593:93;;682:1;679;672:12;593:93;496:196;;;:::o;697:300::-;765:6;773;826:2;814:9;805:7;801:23;797:32;794:52;;;842:1;839;832:12;794:52;865:29;884:9;865:29;:::i;:::-;855:39;963:2;948:18;;;;935:32;;-1:-1:-1;;;697:300:1:o;1376:374::-;1453:6;1461;1469;1522:2;1510:9;1501:7;1497:23;1493:32;1490:52;;;1538:1;1535;1528:12;1490:52;1561:29;1580:9;1561:29;:::i;:::-;1551:39;;1609:38;1643:2;1632:9;1628:18;1609:38;:::i;:::-;1376:374;;1599:48;;-1:-1:-1;;;1716:2:1;1701:18;;;;1688:32;;1376:374::o;1944:186::-;2003:6;2056:2;2044:9;2035:7;2031:23;2027:32;2024:52;;;2072:1;2069;2062:12;2024:52;2095:29;2114:9;2095:29;:::i;:::-;2085:39;1944:186;-1:-1:-1;;;1944:186:1:o;2135:260::-;2203:6;2211;2264:2;2252:9;2243:7;2239:23;2235:32;2232:52;;;2280:1;2277;2270:12;2232:52;2303:29;2322:9;2303:29;:::i;:::-;2293:39;;2351:38;2385:2;2374:9;2370:18;2351:38;:::i;:::-;2341:48;;2135:260;;;;;:::o;2400:437::-;2479:1;2475:12;;;;2522;;;2543:61;;2597:4;2589:6;2585:17;2575:27;;2543:61;2650:2;2642:6;2639:14;2619:18;2616:38;2613:218;;2687:77;2684:1;2677:88;2788:4;2785:1;2778:15;2816:4;2813:1;2806:15;2613:218;;2400:437;;;:::o;3251:279::-;3316:9;;;3337:10;;;3334:190;;;3380:77;3377:1;3370:88;3481:4;3478:1;3471:15;3509:4;3506:1;3499:15

ipfs://22ae3197c609b95d054ea94116f01367f7dbabcab8d9f94ebcc42f6b6b710d9b