Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at monadscan.com on 2025-12-14
*/

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

/// @title Foundation (FND)
/// @notice Fixed-supply ERC20 with ownership, burn functions, and burn tracking.
contract Foundation {
    // --- ERC20 standard storage ---
    string private _name;
    string private _symbol;
    uint8 private constant _DECIMALS = 18;

    uint256 private _totalSupply;
    uint256 private _totalBurned; // 🔥 Tracks all burned tokens

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

    // --- Ownership ---
    address private _owner;

    // --- Events ---
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
    event TokensBurned(address indexed account, uint256 amount);

    // --- Modifiers ---
    modifier onlyOwner() {
        require(msg.sender == _owner, "FOUNDATION: caller is not the owner");
        _;
    }

    // --- Constructor ---
    constructor() {
        _name = "Foundation";
        _symbol = "FND";

        _owner = msg.sender;
        emit OwnershipTransferred(address(0), msg.sender);

        // Mint fixed supply: 2,000,000 FND
        uint256 initialSupply = 2_000_000 * 10 ** uint256(_DECIMALS);
        _mint(msg.sender, initialSupply);
    }

    // --- ERC20 views ---

    function name() public view returns (string memory) {
        return _name;
    }

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

    function decimals() public pure returns (uint8) {
        return _DECIMALS;
    }

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

    /// @notice Total amount of tokens burned since launch.
    function totalBurned() external view returns (uint256) {
        return _totalBurned;
    }

    /// @notice Circulating supply (after burns)
    function circulatingSupply() external view returns (uint256) {
        return _totalSupply;
    }

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

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

    // --- ERC20 core ---

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

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

    function transferFrom(address from, address to, uint256 amount) public returns (bool) {
        uint256 currentAllowance = _allowances[from][msg.sender];
        require(currentAllowance >= amount, "FOUNDATION: transfer amount exceeds allowance");

        _transfer(from, to, amount);
        _approve(from, msg.sender, currentAllowance - amount);

        return true;
    }

    // --- Burn Functions ---

    function burn(uint256 amount) external returns (bool) {
        _burn(msg.sender, amount);
        return true;
    }

    function burnFrom(address account, uint256 amount) external returns (bool) {
        uint256 currentAllowance = _allowances[account][msg.sender];
        require(currentAllowance >= amount, "FOUNDATION: burn amount exceeds allowance");

        _burn(account, amount);
        _approve(account, msg.sender, currentAllowance - amount);

        return true;
    }

    // --- Internal logic ---

    function _transfer(address from, address to, uint256 amount) internal {
        require(from != address(0), "FOUNDATION: transfer from zero");
        require(to != address(0), "FOUNDATION: transfer to zero");
        require(_balances[from] >= amount, "FOUNDATION: insufficient balance");

        _balances[from] -= amount;
        _balances[to] += amount;

        emit Transfer(from, to, amount);
    }

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

        _totalSupply += amount;
        _balances[account] += amount;

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

    function _burn(address account, uint256 amount) internal {
        require(account != address(0), "FOUNDATION: burn from zero");
        require(_balances[account] >= amount, "FOUNDATION: burn exceeds balance");

        _balances[account] -= amount;
        _totalSupply -= amount;
        _totalBurned += amount;

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

    function _approve(address owner_, address spender, uint256 amount) internal {
        require(owner_ != address(0), "FOUNDATION: approve from zero");
        require(spender != address(0), "FOUNDATION: approve to zero");

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

    // --- Ownership ---

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

    function isOwner(address account) external view returns (bool) {
        return account == _owner;
    }

    function transferOwnership(address newOwner) external onlyOwner {
        require(newOwner != address(0), "FOUNDATION: new owner zero");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }

    function renounceOwnership() external onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    // --- Helper Views ---

    function tokenSummary()
        external
        view
        returns (
            string memory tokenName,
            string memory tokenSymbol,
            uint8 tokenDecimals,
            uint256 supply,
            uint256 burned,
            address tokenOwner
        )
    {
        return (_name, _symbol, _DECIMALS, _totalSupply, _totalBurned, _owner);
    }

    function accountInfo(address account)
        external
        view
        returns (uint256 balance, uint256 shareBps)
    {
        balance = _balances[account];

        if (_totalSupply == 0) {
            shareBps = 0;
        } else {
            shareBps = (balance * 10_000) / _totalSupply;
        }
    }
}

• 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":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"TokensBurned","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":"account","type":"address"}],"name":"accountInfo","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"shareBps","type":"uint256"}],"stateMutability":"view","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":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"circulatingSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokenSummary","outputs":[{"internalType":"string","name":"tokenName","type":"string"},{"internalType":"string","name":"tokenSymbol","type":"string"},{"internalType":"uint8","name":"tokenDecimals","type":"uint8"},{"internalType":"uint256","name":"supply","type":"uint256"},{"internalType":"uint256","name":"burned","type":"uint256"},{"internalType":"address","name":"tokenOwner","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalBurned","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f5ffd5b5060408051808201909152600a8152692337bab73230ba34b7b760b11b60208201525f9061003d9082610249565b5060408051808201909152600381526211939160ea1b60208201526001906100659082610249565b50600680546001600160a01b031916339081179091556040515f907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35f6100b26012600a6103fc565b6100bf90621e848061040e565b90506100cb33826100d1565b50610438565b6001600160a01b03821661012b5760405162461bcd60e51b815260206004820152601860248201527f464f554e444154494f4e3a206d696e7420746f207a65726f0000000000000000604482015260640160405180910390fd5b8060025f82825461013c9190610425565b90915550506001600160a01b0382165f9081526004602052604081208054839290610168908490610425565b90915550506040518181526001600160a01b038316905f907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b634e487b7160e01b5f52604160045260245ffd5b600181811c908216806101d957607f821691505b6020821081036101f757634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561024457805f5260205f20601f840160051c810160208510156102225750805b601f840160051c820191505b81811015610241575f815560010161022e565b50505b505050565b81516001600160401b03811115610262576102626101b1565b6102768161027084546101c5565b846101fd565b6020601f8211600181146102a8575f83156102915750848201515b5f19600385901b1c1916600184901b178455610241565b5f84815260208120601f198516915b828110156102d757878501518255602094850194600190920191016102b7565b50848210156102f457868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156103525780850481111561033657610336610303565b600184161561034457908102905b60019390931c92800261031b565b935093915050565b5f82610368575060016103f6565b8161037457505f6103f6565b816001811461038a5760028114610394576103b0565b60019150506103f6565b60ff8411156103a5576103a5610303565b50506001821b6103f6565b5060208310610133831016604e8410600b84101617156103d3575081810a6103f6565b6103df5f198484610317565b805f19048211156103f2576103f2610303565b0290505b92915050565b5f610407838361035a565b9392505050565b80820281158282048414176103f6576103f6610303565b808201808211156103f6576103f6610303565b610f05806104455f395ff3fe608060405234801561000f575f5ffd5b506004361061011c575f3560e01c8063715018a6116100a9578063a7310b581161006e578063a7310b581461024c578063a9059cbb14610274578063d89135cd14610287578063dd62ed3e1461028f578063f2fde38b146102c7575f5ffd5b8063715018a61461020c57806379cc6790146102165780638da5cb5b146102295780639358928b1461016157806395d89b4114610244575f5ffd5b806323b872dd116100ef57806323b872dd1461018d5780632f54bf6e146101a0578063313ce567146101c257806342966c68146101d157806370a08231146101e4575f5ffd5b806306fdde0314610120578063095ea7b31461013e57806318160ddd146101615780631fc3778414610173575b5f5ffd5b6101286102da565b6040516101359190610c97565b60405180910390f35b61015161014c366004610ccb565b610369565b6040519015158152602001610135565b6002545b604051908152602001610135565b61017b61037f565b60405161013596959493929190610cf3565b61015161019b366004610d49565b6104ce565b6101516101ae366004610d83565b6006546001600160a01b0391821691161490565b60405160128152602001610135565b6101516101df366004610d9c565b610586565b6101656101f2366004610d83565b6001600160a01b03165f9081526004602052604090205490565b610214610599565b005b610151610224366004610ccb565b61060c565b6006546040516001600160a01b039091168152602001610135565b6101286106b4565b61025f61025a366004610d83565b6106c3565b60408051928352602083019190915201610135565b610151610282366004610ccb565b61070e565b600354610165565b61016561029d366004610db3565b6001600160a01b039182165f90815260056020908152604080832093909416825291909152205490565b6102146102d5366004610d83565b61071a565b60605f80546102e890610de4565b80601f016020809104026020016040519081016040528092919081815260200182805461031490610de4565b801561035f5780601f106103365761010080835404028352916020019161035f565b820191905f5260205f20905b81548152906001019060200180831161034257829003601f168201915b5050505050905090565b5f6103753384846107f5565b5060015b92915050565b6060805f5f5f5f5f6001601260025460035460065f9054906101000a90046001600160a01b03168580546103b290610de4565b80601f01602080910402602001604051908101604052809291908181526020018280546103de90610de4565b80156104295780601f1061040057610100808354040283529160200191610429565b820191905f5260205f20905b81548152906001019060200180831161040c57829003601f168201915b5050505050955084805461043c90610de4565b80601f016020809104026020016040519081016040528092919081815260200182805461046890610de4565b80156104b35780601f1061048a576101008083540402835291602001916104b3565b820191905f5260205f20905b81548152906001019060200180831161049657829003601f168201915b50505050509450955095509550955095509550909192939495565b6001600160a01b0383165f9081526005602090815260408083203384529091528120548281101561055c5760405162461bcd60e51b815260206004820152602d60248201527f464f554e444154494f4e3a207472616e7366657220616d6f756e74206578636560448201526c65647320616c6c6f77616e636560981b60648201526084015b60405180910390fd5b610567858585610902565b61057b85336105768685610e30565b6107f5565b506001949350505050565b5f6105913383610ab4565b506001919050565b6006546001600160a01b031633146105c35760405162461bcd60e51b815260040161055390610e43565b6006546040515f916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600680546001600160a01b0319169055565b6001600160a01b0382165f908152600560209081526040808320338452909152812054828110156106915760405162461bcd60e51b815260206004820152602960248201527f464f554e444154494f4e3a206275726e20616d6f756e74206578636565647320604482015268616c6c6f77616e636560b81b6064820152608401610553565b61069b8484610ab4565b6106aa84336105768685610e30565b5060019392505050565b6060600180546102e890610de4565b6001600160a01b0381165f9081526004602052604081205460025490919081036106ee57505f915091565b6002546106fd83612710610e86565b6107079190610e9d565b9050915091565b5f610375338484610902565b6006546001600160a01b031633146107445760405162461bcd60e51b815260040161055390610e43565b6001600160a01b03811661079a5760405162461bcd60e51b815260206004820152601a60248201527f464f554e444154494f4e3a206e6577206f776e6572207a65726f0000000000006044820152606401610553565b6006546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a3600680546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661084b5760405162461bcd60e51b815260206004820152601d60248201527f464f554e444154494f4e3a20617070726f76652066726f6d207a65726f0000006044820152606401610553565b6001600160a01b0382166108a15760405162461bcd60e51b815260206004820152601b60248201527f464f554e444154494f4e3a20617070726f766520746f207a65726f00000000006044820152606401610553565b6001600160a01b038381165f8181526005602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0383166109585760405162461bcd60e51b815260206004820152601e60248201527f464f554e444154494f4e3a207472616e736665722066726f6d207a65726f00006044820152606401610553565b6001600160a01b0382166109ae5760405162461bcd60e51b815260206004820152601c60248201527f464f554e444154494f4e3a207472616e7366657220746f207a65726f000000006044820152606401610553565b6001600160a01b0383165f90815260046020526040902054811115610a155760405162461bcd60e51b815260206004820181905260248201527f464f554e444154494f4e3a20696e73756666696369656e742062616c616e63656044820152606401610553565b6001600160a01b0383165f9081526004602052604081208054839290610a3c908490610e30565b90915550506001600160a01b0382165f9081526004602052604081208054839290610a68908490610ebc565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516108f591815260200190565b6001600160a01b038216610b0a5760405162461bcd60e51b815260206004820152601a60248201527f464f554e444154494f4e3a206275726e2066726f6d207a65726f0000000000006044820152606401610553565b6001600160a01b0382165f90815260046020526040902054811115610b715760405162461bcd60e51b815260206004820181905260248201527f464f554e444154494f4e3a206275726e20657863656564732062616c616e63656044820152606401610553565b6001600160a01b0382165f9081526004602052604081208054839290610b98908490610e30565b925050819055508060025f828254610bb09190610e30565b925050819055508060035f828254610bc89190610ebc565b90915550506040518181525f906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a3816001600160a01b03167ffd38818f5291bf0bb3a2a48aadc06ba8757865d1dabd804585338aab3009dcb682604051610c4891815260200190565b60405180910390a25050565b5f81518084525f5b81811015610c7857602081850181015186830182015201610c5c565b505f602082860101526020601f19601f83011685010191505092915050565b602081525f610ca96020830184610c54565b9392505050565b80356001600160a01b0381168114610cc6575f5ffd5b919050565b5f5f60408385031215610cdc575f5ffd5b610ce583610cb0565b946020939093013593505050565b60c081525f610d0560c0830189610c54565b8281036020840152610d178189610c54565b60ff9790971660408401525050606081019390935260808301919091526001600160a01b031660a09091015292915050565b5f5f5f60608486031215610d5b575f5ffd5b610d6484610cb0565b9250610d7260208501610cb0565b929592945050506040919091013590565b5f60208284031215610d93575f5ffd5b610ca982610cb0565b5f60208284031215610dac575f5ffd5b5035919050565b5f5f60408385031215610dc4575f5ffd5b610dcd83610cb0565b9150610ddb60208401610cb0565b90509250929050565b600181811c90821680610df857607f821691505b602082108103610e1657634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561037957610379610e1c565b60208082526023908201527f464f554e444154494f4e3a2063616c6c6572206973206e6f7420746865206f776040820152623732b960e91b606082015260800190565b808202811582820484141761037957610379610e1c565b5f82610eb757634e487b7160e01b5f52601260045260245ffd5b500490565b8082018082111561037957610379610e1c56fea26469706673582212201f07fa65bd54c9646cd0048568853587e3374b3df2164cf00c0e4d6fd4616de364736f6c634300081f0033

0x608060405234801561000f575f5ffd5b506004361061011c575f3560e01c8063715018a6116100a9578063a7310b581161006e578063a7310b581461024c578063a9059cbb14610274578063d89135cd14610287578063dd62ed3e1461028f578063f2fde38b146102c7575f5ffd5b8063715018a61461020c57806379cc6790146102165780638da5cb5b146102295780639358928b1461016157806395d89b4114610244575f5ffd5b806323b872dd116100ef57806323b872dd1461018d5780632f54bf6e146101a0578063313ce567146101c257806342966c68146101d157806370a08231146101e4575f5ffd5b806306fdde0314610120578063095ea7b31461013e57806318160ddd146101615780631fc3778414610173575b5f5ffd5b6101286102da565b6040516101359190610c97565b60405180910390f35b61015161014c366004610ccb565b610369565b6040519015158152602001610135565b6002545b604051908152602001610135565b61017b61037f565b60405161013596959493929190610cf3565b61015161019b366004610d49565b6104ce565b6101516101ae366004610d83565b6006546001600160a01b0391821691161490565b60405160128152602001610135565b6101516101df366004610d9c565b610586565b6101656101f2366004610d83565b6001600160a01b03165f9081526004602052604090205490565b610214610599565b005b610151610224366004610ccb565b61060c565b6006546040516001600160a01b039091168152602001610135565b6101286106b4565b61025f61025a366004610d83565b6106c3565b60408051928352602083019190915201610135565b610151610282366004610ccb565b61070e565b600354610165565b61016561029d366004610db3565b6001600160a01b039182165f90815260056020908152604080832093909416825291909152205490565b6102146102d5366004610d83565b61071a565b60605f80546102e890610de4565b80601f016020809104026020016040519081016040528092919081815260200182805461031490610de4565b801561035f5780601f106103365761010080835404028352916020019161035f565b820191905f5260205f20905b81548152906001019060200180831161034257829003601f168201915b5050505050905090565b5f6103753384846107f5565b5060015b92915050565b6060805f5f5f5f5f6001601260025460035460065f9054906101000a90046001600160a01b03168580546103b290610de4565b80601f01602080910402602001604051908101604052809291908181526020018280546103de90610de4565b80156104295780601f1061040057610100808354040283529160200191610429565b820191905f5260205f20905b81548152906001019060200180831161040c57829003601f168201915b5050505050955084805461043c90610de4565b80601f016020809104026020016040519081016040528092919081815260200182805461046890610de4565b80156104b35780601f1061048a576101008083540402835291602001916104b3565b820191905f5260205f20905b81548152906001019060200180831161049657829003601f168201915b50505050509450955095509550955095509550909192939495565b6001600160a01b0383165f9081526005602090815260408083203384529091528120548281101561055c5760405162461bcd60e51b815260206004820152602d60248201527f464f554e444154494f4e3a207472616e7366657220616d6f756e74206578636560448201526c65647320616c6c6f77616e636560981b60648201526084015b60405180910390fd5b610567858585610902565b61057b85336105768685610e30565b6107f5565b506001949350505050565b5f6105913383610ab4565b506001919050565b6006546001600160a01b031633146105c35760405162461bcd60e51b815260040161055390610e43565b6006546040515f916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600680546001600160a01b0319169055565b6001600160a01b0382165f908152600560209081526040808320338452909152812054828110156106915760405162461bcd60e51b815260206004820152602960248201527f464f554e444154494f4e3a206275726e20616d6f756e74206578636565647320604482015268616c6c6f77616e636560b81b6064820152608401610553565b61069b8484610ab4565b6106aa84336105768685610e30565b5060019392505050565b6060600180546102e890610de4565b6001600160a01b0381165f9081526004602052604081205460025490919081036106ee57505f915091565b6002546106fd83612710610e86565b6107079190610e9d565b9050915091565b5f610375338484610902565b6006546001600160a01b031633146107445760405162461bcd60e51b815260040161055390610e43565b6001600160a01b03811661079a5760405162461bcd60e51b815260206004820152601a60248201527f464f554e444154494f4e3a206e6577206f776e6572207a65726f0000000000006044820152606401610553565b6006546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a3600680546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661084b5760405162461bcd60e51b815260206004820152601d60248201527f464f554e444154494f4e3a20617070726f76652066726f6d207a65726f0000006044820152606401610553565b6001600160a01b0382166108a15760405162461bcd60e51b815260206004820152601b60248201527f464f554e444154494f4e3a20617070726f766520746f207a65726f00000000006044820152606401610553565b6001600160a01b038381165f8181526005602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0383166109585760405162461bcd60e51b815260206004820152601e60248201527f464f554e444154494f4e3a207472616e736665722066726f6d207a65726f00006044820152606401610553565b6001600160a01b0382166109ae5760405162461bcd60e51b815260206004820152601c60248201527f464f554e444154494f4e3a207472616e7366657220746f207a65726f000000006044820152606401610553565b6001600160a01b0383165f90815260046020526040902054811115610a155760405162461bcd60e51b815260206004820181905260248201527f464f554e444154494f4e3a20696e73756666696369656e742062616c616e63656044820152606401610553565b6001600160a01b0383165f9081526004602052604081208054839290610a3c908490610e30565b90915550506001600160a01b0382165f9081526004602052604081208054839290610a68908490610ebc565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516108f591815260200190565b6001600160a01b038216610b0a5760405162461bcd60e51b815260206004820152601a60248201527f464f554e444154494f4e3a206275726e2066726f6d207a65726f0000000000006044820152606401610553565b6001600160a01b0382165f90815260046020526040902054811115610b715760405162461bcd60e51b815260206004820181905260248201527f464f554e444154494f4e3a206275726e20657863656564732062616c616e63656044820152606401610553565b6001600160a01b0382165f9081526004602052604081208054839290610b98908490610e30565b925050819055508060025f828254610bb09190610e30565b925050819055508060035f828254610bc89190610ebc565b90915550506040518181525f906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a3816001600160a01b03167ffd38818f5291bf0bb3a2a48aadc06ba8757865d1dabd804585338aab3009dcb682604051610c4891815260200190565b60405180910390a25050565b5f81518084525f5b81811015610c7857602081850181015186830182015201610c5c565b505f602082860101526020601f19601f83011685010191505092915050565b602081525f610ca96020830184610c54565b9392505050565b80356001600160a01b0381168114610cc6575f5ffd5b919050565b5f5f60408385031215610cdc575f5ffd5b610ce583610cb0565b946020939093013593505050565b60c081525f610d0560c0830189610c54565b8281036020840152610d178189610c54565b60ff9790971660408401525050606081019390935260808301919091526001600160a01b031660a09091015292915050565b5f5f5f60608486031215610d5b575f5ffd5b610d6484610cb0565b9250610d7260208501610cb0565b929592945050506040919091013590565b5f60208284031215610d93575f5ffd5b610ca982610cb0565b5f60208284031215610dac575f5ffd5b5035919050565b5f5f60408385031215610dc4575f5ffd5b610dcd83610cb0565b9150610ddb60208401610cb0565b90509250929050565b600181811c90821680610df857607f821691505b602082108103610e1657634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561037957610379610e1c565b60208082526023908201527f464f554e444154494f4e3a2063616c6c6572206973206e6f7420746865206f776040820152623732b960e91b606082015260800190565b808202811582820484141761037957610379610e1c565b5f82610eb757634e487b7160e01b5f52601260045260245ffd5b500490565b8082018082111561037957610379610e1c56fea26469706673582212201f07fa65bd54c9646cd0048568853587e3374b3df2164cf00c0e4d6fd4616de364736f6c634300081f0033

173:6439:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1526:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2662:150;;;;;;:::i;:::-;;:::i;:::-;;;1292:14:1;;1285:22;1267:41;;1255:2;1240:18;2662:150:0;1127:187:1;1803:91:0;1874:12;;1803:91;;;1465:25:1;;;1453:2;1438:18;1803:91:0;1319:177:1;5893:382:0;;;:::i;:::-;;;;;;;;;;;;:::i;2820:384::-;;;;;;:::i;:::-;;:::i;5364:106::-;;;;;;:::i;:::-;5456:6;;-1:-1:-1;;;;;5445:17:0;;;5456:6;;5445:17;;5364:106;1712:83;;;330:2;2922:36:1;;2910:2;2895:18;1712:83:0;2780:184:1;3245:120:0;;;;;;:::i;:::-;;:::i;2221:110::-;;;;;;:::i;:::-;-1:-1:-1;;;;;2305:18:0;2278:7;2305:18;;;:9;:18;;;;;;;2221:110;5712:142;;;:::i;:::-;;3373:370;;;;;;:::i;:::-;;:::i;5277:79::-;5342:6;;5277:79;;-1:-1:-1;;;;;5342:6:0;;;3346:51:1;;3334:2;3319:18;5277:79:0;3200:203:1;1617:87:0;;;:::i;6283:326::-;;;;;;:::i;:::-;;:::i;:::-;;;;3582:25:1;;;3638:2;3623:18;;3616:34;;;;3555:18;6283:326:0;3408:248:1;2512:142:0;;;;;;:::i;:::-;;:::i;1963:93::-;2036:12;;1963:93;;2339:136;;;;;;:::i;:::-;-1:-1:-1;;;;;2439:19:0;;;2412:7;2439:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;2339:136;5478:226;;;;;;:::i;:::-;;:::i;1526:83::-;1563:13;1596:5;1589:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1526:83;:::o;2662:150::-;2728:4;2745:37;2754:10;2766:7;2775:6;2745:8;:37::i;:::-;-1:-1:-1;2800:4:0;2662:150;;;;;:::o;5893:382::-;5981:23;6019:25;6059:19;6093:14;6122;6151:18;6205:5;6212:7;330:2;6232:12;;6246;;6260:6;;;;;;;;;-1:-1:-1;;;;;6260:6:0;6197:70;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5893:382;;;;;;:::o;2820:384::-;-1:-1:-1;;;;;2944:17:0;;2900:4;2944:17;;;:11;:17;;;;;;;;2962:10;2944:29;;;;;;;;2992:26;;;;2984:84;;;;-1:-1:-1;;;2984:84:0;;4513:2:1;2984:84:0;;;4495:21:1;4552:2;4532:18;;;4525:30;4591:34;4571:18;;;4564:62;-1:-1:-1;;;4642:18:1;;;4635:43;4695:19;;2984:84:0;;;;;;;;;3081:27;3091:4;3097:2;3101:6;3081:9;:27::i;:::-;3119:53;3128:4;3134:10;3146:25;3165:6;3146:16;:25;:::i;:::-;3119:8;:53::i;:::-;-1:-1:-1;3192:4:0;;2820:384;-1:-1:-1;;;;2820:384:0:o;3245:120::-;3293:4;3310:25;3316:10;3328:6;3310:5;:25::i;:::-;-1:-1:-1;3353:4:0;;3245:120;-1:-1:-1;3245:120:0:o;5712:142::-;1054:6;;-1:-1:-1;;;;;1054:6:0;1040:10;:20;1032:68;;;;-1:-1:-1;;;1032:68:0;;;;;;;:::i;:::-;5797:6:::1;::::0;5776:40:::1;::::0;5813:1:::1;::::0;-1:-1:-1;;;;;5797:6:0::1;::::0;5776:40:::1;::::0;5813:1;;5776:40:::1;5827:6;:19:::0;;-1:-1:-1;;;;;;5827:19:0::1;::::0;;5712:142::o;3373:370::-;-1:-1:-1;;;;;3486:20:0;;3442:4;3486:20;;;:11;:20;;;;;;;;3507:10;3486:32;;;;;;;;3537:26;;;;3529:80;;;;-1:-1:-1;;;3529:80:0;;5596:2:1;3529:80:0;;;5578:21:1;5635:2;5615:18;;;5608:30;5674:34;5654:18;;;5647:62;-1:-1:-1;;;5725:18:1;;;5718:39;5774:19;;3529:80:0;5394:405:1;3529:80:0;3622:22;3628:7;3637:6;3622:5;:22::i;:::-;3655:56;3664:7;3673:10;3685:25;3704:6;3685:16;:25;:::i;3655:56::-;-1:-1:-1;3731:4:0;;3373:370;-1:-1:-1;;;3373:370:0:o;1617:87::-;1656:13;1689:7;1682:14;;;;;:::i;6283:326::-;-1:-1:-1;;;;;6432:18:0;;6371:15;6432:18;;;:9;:18;;;;;;6467:12;;6432:18;;6371:15;6467:17;;6463:139;;-1:-1:-1;6512:1:0;6283:326;;;:::o;6463:139::-;6578:12;;6558:16;:7;6568:6;6558:16;:::i;:::-;6557:33;;;;:::i;:::-;6546:44;;6283:326;;;:::o;2512:142::-;2574:4;2591:33;2601:10;2613:2;2617:6;2591:9;:33::i;5478:226::-;1054:6;;-1:-1:-1;;;;;1054:6:0;1040:10;:20;1032:68;;;;-1:-1:-1;;;1032:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;5561:22:0;::::1;5553:61;;;::::0;-1:-1:-1;;;5553:61:0;;6401:2:1;5553:61:0::1;::::0;::::1;6383:21:1::0;6440:2;6420:18;;;6413:30;6479:28;6459:18;;;6452:56;6525:18;;5553:61:0::1;6199:350:1::0;5553:61:0::1;5651:6;::::0;5630:38:::1;::::0;-1:-1:-1;;;;;5630:38:0;;::::1;::::0;5651:6:::1;::::0;5630:38:::1;::::0;5651:6:::1;::::0;5630:38:::1;5679:6;:17:::0;;-1:-1:-1;;;;;;5679:17:0::1;-1:-1:-1::0;;;;;5679:17:0;;;::::1;::::0;;;::::1;::::0;;5478:226::o;4913:328::-;-1:-1:-1;;;;;5008:20:0;;5000:62;;;;-1:-1:-1;;;5000:62:0;;6756:2:1;5000:62:0;;;6738:21:1;6795:2;6775:18;;;6768:30;6834:31;6814:18;;;6807:59;6883:18;;5000:62:0;6554:353:1;5000:62:0;-1:-1:-1;;;;;5081:21:0;;5073:61;;;;-1:-1:-1;;;5073:61:0;;7114:2:1;5073:61:0;;;7096:21:1;7153:2;7133:18;;;7126:30;7192:29;7172:18;;;7165:57;7239:18;;5073:61:0;6912:351:1;5073:61:0;-1:-1:-1;;;;;5147:19:0;;;;;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;:37;;;5200:33;;1465:25:1;;;5200:33:0;;1438:18:1;5200:33:0;;;;;;;;4913:328;;;:::o;3784:415::-;-1:-1:-1;;;;;3873:18:0;;3865:61;;;;-1:-1:-1;;;3865:61:0;;7470:2:1;3865:61:0;;;7452:21:1;7509:2;7489:18;;;7482:30;7548:32;7528:18;;;7521:60;7598:18;;3865:61:0;7268:354:1;3865:61:0;-1:-1:-1;;;;;3945:16:0;;3937:57;;;;-1:-1:-1;;;3937:57:0;;7829:2:1;3937:57:0;;;7811:21:1;7868:2;7848:18;;;7841:30;7907;7887:18;;;7880:58;7955:18;;3937:57:0;7627:352:1;3937:57:0;-1:-1:-1;;;;;4013:15:0;;;;;;:9;:15;;;;;;:25;-1:-1:-1;4013:25:0;4005:70;;;;-1:-1:-1;;;4005:70:0;;8186:2:1;4005:70:0;;;8168:21:1;;;8205:18;;;8198:30;8264:34;8244:18;;;8237:62;8316:18;;4005:70:0;7984:356:1;4005:70:0;-1:-1:-1;;;;;4088:15:0;;;;;;:9;:15;;;;;:25;;4107:6;;4088:15;:25;;4107:6;;4088:25;:::i;:::-;;;;-1:-1:-1;;;;;;;4124:13:0;;;;;;:9;:13;;;;;:23;;4141:6;;4124:13;:23;;4141:6;;4124:23;:::i;:::-;;;;;;;;4180:2;-1:-1:-1;;;;;4165:26:0;4174:4;-1:-1:-1;;;;;4165:26:0;;4184:6;4165:26;;;;1465:25:1;;1453:2;1438:18;;1319:177;4478:427:0;-1:-1:-1;;;;;4554:21:0;;4546:60;;;;-1:-1:-1;;;4546:60:0;;8677:2:1;4546:60:0;;;8659:21:1;8716:2;8696:18;;;8689:30;8755:28;8735:18;;;8728:56;8801:18;;4546:60:0;8475:350:1;4546:60:0;-1:-1:-1;;;;;4625:18:0;;;;;;:9;:18;;;;;;:28;-1:-1:-1;4625:28:0;4617:73;;;;-1:-1:-1;;;4617:73:0;;9032:2:1;4617:73:0;;;9014:21:1;;;9051:18;;;9044:30;9110:34;9090:18;;;9083:62;9162:18;;4617:73:0;8830:356:1;4617:73:0;-1:-1:-1;;;;;4703:18:0;;;;;;:9;:18;;;;;:28;;4725:6;;4703:18;:28;;4725:6;;4703:28;:::i;:::-;;;;;;;;4758:6;4742:12;;:22;;;;;;;:::i;:::-;;;;;;;;4791:6;4775:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;4815:37:0;;1465:25:1;;;4841:1:0;;-1:-1:-1;;;;;4815:37:0;;;;;1453:2:1;1438:18;4815:37:0;;;;;;;4881:7;-1:-1:-1;;;;;4868:29:0;;4890:6;4868:29;;;;1465:25:1;;1453:2;1438:18;;1319:177;4868:29:0;;;;;;;;4478:427;;:::o;14:400:1:-;56:3;94:5;88:12;121:6;116:3;109:19;146:1;156:139;170:6;167:1;164:13;156:139;;;278:4;263:13;;;259:24;;253:31;233:11;;;229:22;;222:63;185:12;156:139;;;160:3;340:1;333:4;324:6;319:3;315:16;311:27;304:38;403:4;396:2;392:7;387:2;379:6;375:15;371:29;366:3;362:39;358:50;351:57;;;14:400;;;;:::o;419:220::-;568:2;557:9;550:21;531:4;588:45;629:2;618:9;614:18;606:6;588:45;:::i;:::-;580:53;419:220;-1:-1:-1;;;419:220:1:o;644:173::-;712:20;;-1:-1:-1;;;;;761:31:1;;751:42;;741:70;;807:1;804;797:12;741:70;644:173;;;:::o;822:300::-;890:6;898;951:2;939:9;930:7;926:23;922:32;919:52;;;967:1;964;957:12;919:52;990:29;1009:9;990:29;:::i;:::-;980:39;1088:2;1073:18;;;;1060:32;;-1:-1:-1;;;822:300:1:o;1501:704::-;1806:3;1795:9;1788:22;1769:4;1833:46;1874:3;1863:9;1859:19;1851:6;1833:46;:::i;:::-;1927:9;1919:6;1915:22;1910:2;1899:9;1895:18;1888:50;1955:33;1981:6;1973;1955:33;:::i;:::-;2036:4;2024:17;;;;2019:2;2004:18;;1997:45;-1:-1:-1;;2073:2:1;2058:18;;2051:34;;;;2116:3;2101:19;;2094:35;;;;-1:-1:-1;;;;;2166:32:1;2186:3;2145:19;;;2138:61;1947:41;1501:704;-1:-1:-1;;1501:704:1:o;2210:374::-;2287:6;2295;2303;2356:2;2344:9;2335:7;2331:23;2327:32;2324:52;;;2372:1;2369;2362:12;2324:52;2395:29;2414:9;2395:29;:::i;:::-;2385:39;;2443:38;2477:2;2466:9;2462:18;2443:38;:::i;:::-;2210:374;;2433:48;;-1:-1:-1;;;2550:2:1;2535:18;;;;2522:32;;2210:374::o;2589:186::-;2648:6;2701:2;2689:9;2680:7;2676:23;2672:32;2669:52;;;2717:1;2714;2707:12;2669:52;2740:29;2759:9;2740:29;:::i;2969:226::-;3028:6;3081:2;3069:9;3060:7;3056:23;3052:32;3049:52;;;3097:1;3094;3087:12;3049:52;-1:-1:-1;3142:23:1;;2969:226;-1:-1:-1;2969:226:1:o;3661:260::-;3729:6;3737;3790:2;3778:9;3769:7;3765:23;3761:32;3758:52;;;3806:1;3803;3796:12;3758:52;3829:29;3848:9;3829:29;:::i;:::-;3819:39;;3877:38;3911:2;3900:9;3896:18;3877:38;:::i;:::-;3867:48;;3661:260;;;;;:::o;3926:380::-;4005:1;4001:12;;;;4048;;;4069:61;;4123:4;4115:6;4111:17;4101:27;;4069:61;4176:2;4168:6;4165:14;4145:18;4142:38;4139:161;;4222:10;4217:3;4213:20;4210:1;4203:31;4257:4;4254:1;4247:15;4285:4;4282:1;4275:15;4139:161;;3926:380;;;:::o;4725:127::-;4786:10;4781:3;4777:20;4774:1;4767:31;4817:4;4814:1;4807:15;4841:4;4838:1;4831:15;4857:128;4924:9;;;4945:11;;;4942:37;;;4959:18;;:::i;4990:399::-;5192:2;5174:21;;;5231:2;5211:18;;;5204:30;5270:34;5265:2;5250:18;;5243:62;-1:-1:-1;;;5336:2:1;5321:18;;5314:33;5379:3;5364:19;;4990:399::o;5804:168::-;5877:9;;;5908;;5925:15;;;5919:22;;5905:37;5895:71;;5946:18;;:::i;5977:217::-;6017:1;6043;6033:132;;6087:10;6082:3;6078:20;6075:1;6068:31;6122:4;6119:1;6112:15;6150:4;6147:1;6140:15;6033:132;-1:-1:-1;6179:9:1;;5977:217::o;8345:125::-;8410:9;;;8431:10;;;8428:36;;;8444:18;;:::i

ipfs://1f07fa65bd54c9646cd0048568853587e3374b3df2164cf00c0e4d6fd4616de3