Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(
•    - function approve(address spender, uin ...
•    - function transferFrom(
•  contract TarotXAI is Context, IERC ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function approve(
•    - function allowance(
•    - function transfer(
•    - function transferFrom(
•    - function _transfer(address from, addr ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-03-02
*/

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

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address to, uint256 value) external returns (bool);
    function allowance(
        address owner,
        address spender
    ) external view returns (uint256);
    function approve(address spender, uint256 value) external returns (bool);
    function transferFrom(
        address from,
        address to,
        uint256 value
    ) external returns (bool);
}

contract TarotXAI is Context, IERC20 {
    string private _name = "TarotXAI";
    string private _symbol = "TAI";
    uint8 private _decimals = 18;
    uint256 private _totalSupply = 1000000000 * 10 ** 18;

    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    address[] private _holders;
    mapping(address => bool) private _isHolder;

    constructor() {
        _balances[_msgSender()] = _totalSupply;
        _holders.push(_msgSender());
        _isHolder[_msgSender()] = true;
    }

    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 approve(
        address spender,
        uint256 amount
    ) public override returns (bool) {
        _allowances[_msgSender()][spender] = amount;
        return true;
    }
    function allowance(
        address owner,
        address spender
    ) public view override returns (uint256) {
        return _allowances[owner][spender];
    }
    function transfer(
        address to,
        uint256 amount
    ) public override returns (bool) {
        _transfer(_msgSender(), to, amount);
        return true;
    }
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public override returns (bool) {
        _transfer(from, to, amount);
        return true;
    }

    function _transfer(address from, address to, uint256 amount) internal {
        require(from != address(0), "Invalid sender");
        require(to != address(0), "Invalid receiver");
        require(_balances[from] >= amount, "Insufficient balance");

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

        if (!_isHolder[to]) {
            _holders.push(to);
            _isHolder[to] = true;
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280600881526020017f5461726f7458414900000000000000000000000000000000000000000000000081525060009081610048919061044c565b506040518060400160405280600381526020017f54414900000000000000000000000000000000000000000000000000000000008152506001908161008d919061044c565b506012600260006101000a81548160ff021916908360ff1602179055506b033b2e3c9fd0803ce80000006003553480156100c657600080fd5b50600354600460006100dc6101f460201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600661012a6101f460201b60201c565b9080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060016007600061019e6101f460201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555061051e565b600033905090565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061027d57607f821691505b6020821081036102905761028f610236565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026102f87fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826102bb565b61030286836102bb565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b600061034961034461033f8461031a565b610324565b61031a565b9050919050565b6000819050919050565b6103638361032e565b61037761036f82610350565b8484546102c8565b825550505050565b600090565b61038c61037f565b61039781848461035a565b505050565b5b818110156103bb576103b0600082610384565b60018101905061039d565b5050565b601f821115610400576103d181610296565b6103da846102ab565b810160208510156103e9578190505b6103fd6103f5856102ab565b83018261039c565b50505b505050565b600082821c905092915050565b600061042360001984600802610405565b1980831691505092915050565b600061043c8383610412565b9150826002028217905092915050565b610455826101fc565b67ffffffffffffffff81111561046e5761046d610207565b5b6104788254610265565b6104838282856103bf565b600060209050601f8311600181146104b657600084156104a4578287015190505b6104ae8582610430565b865550610516565b601f1984166104c486610296565b60005b828110156104ec578489015182556001820191506020850194506020810190506104c7565b868310156105095784890151610505601f891682610412565b8355505b6001600288020188555050505b505050505050565b610d588061052d6000396000f3fe608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610895565b60405180910390f35b6100d060048036038101906100cb9190610950565b610292565b6040516100dd91906109ab565b60405180910390f35b6100ee610326565b6040516100fb91906109d5565b60405180910390f35b61011e600480360381019061011991906109f0565b610330565b60405161012b91906109ab565b60405180910390f35b61013c610348565b6040516101499190610a5f565b60405180910390f35b61016c60048036038101906101679190610a7a565b61035f565b60405161017991906109d5565b60405180910390f35b61018a6103a8565b6040516101979190610895565b60405180910390f35b6101ba60048036038101906101b59190610950565b61043a565b6040516101c791906109ab565b60405180910390f35b6101ea60048036038101906101e59190610aa7565b610458565b6040516101f791906109d5565b60405180910390f35b60606000805461020f90610b16565b80601f016020809104026020016040519081016040528092919081815260200182805461023b90610b16565b80156102885780601f1061025d57610100808354040283529160200191610288565b820191906000526020600020905b81548152906001019060200180831161026b57829003601f168201915b5050505050905090565b600081600560006102a16104df565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b6000600354905090565b600061033d8484846104e7565b600190509392505050565b6000600260009054906101000a900460ff16905090565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6060600180546103b790610b16565b80601f01602080910402602001604051908101604052809291908181526020018280546103e390610b16565b80156104305780601f1061040557610100808354040283529160200191610430565b820191906000526020600020905b81548152906001019060200180831161041357829003601f168201915b5050505050905090565b600061044e6104476104df565b84846104e7565b6001905092915050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610556576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161054d90610b93565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036105c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105bc90610bff565b60405180910390fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610647576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161063e90610c6b565b60405180910390fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106969190610cba565b9250508190555080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106ec9190610cee565b92505081905550600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610800576006829080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b505050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561083f578082015181840152602081019050610824565b60008484015250505050565b6000601f19601f8301169050919050565b600061086782610805565b6108718185610810565b9350610881818560208601610821565b61088a8161084b565b840191505092915050565b600060208201905081810360008301526108af818461085c565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006108e7826108bc565b9050919050565b6108f7816108dc565b811461090257600080fd5b50565b600081359050610914816108ee565b92915050565b6000819050919050565b61092d8161091a565b811461093857600080fd5b50565b60008135905061094a81610924565b92915050565b60008060408385031215610967576109666108b7565b5b600061097585828601610905565b92505060206109868582860161093b565b9150509250929050565b60008115159050919050565b6109a581610990565b82525050565b60006020820190506109c0600083018461099c565b92915050565b6109cf8161091a565b82525050565b60006020820190506109ea60008301846109c6565b92915050565b600080600060608486031215610a0957610a086108b7565b5b6000610a1786828701610905565b9350506020610a2886828701610905565b9250506040610a398682870161093b565b9150509250925092565b600060ff82169050919050565b610a5981610a43565b82525050565b6000602082019050610a746000830184610a50565b92915050565b600060208284031215610a9057610a8f6108b7565b5b6000610a9e84828501610905565b91505092915050565b60008060408385031215610abe57610abd6108b7565b5b6000610acc85828601610905565b9250506020610add85828601610905565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610b2e57607f821691505b602082108103610b4157610b40610ae7565b5b50919050565b7f496e76616c69642073656e646572000000000000000000000000000000000000600082015250565b6000610b7d600e83610810565b9150610b8882610b47565b602082019050919050565b60006020820190508181036000830152610bac81610b70565b9050919050565b7f496e76616c696420726563656976657200000000000000000000000000000000600082015250565b6000610be9601083610810565b9150610bf482610bb3565b602082019050919050565b60006020820190508181036000830152610c1881610bdc565b9050919050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b6000610c55601483610810565b9150610c6082610c1f565b602082019050919050565b60006020820190508181036000830152610c8481610c48565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610cc58261091a565b9150610cd08361091a565b9250828203905081811115610ce857610ce7610c8b565b5b92915050565b6000610cf98261091a565b9150610d048361091a565b9250828201905080821115610d1c57610d1b610c8b565b5b9291505056fea26469706673582212206387c8c5dfcdbd65a27bec53b658e169c99326f2d8f33ac6829fabbd840a726064736f6c634300081c0033

0x608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610895565b60405180910390f35b6100d060048036038101906100cb9190610950565b610292565b6040516100dd91906109ab565b60405180910390f35b6100ee610326565b6040516100fb91906109d5565b60405180910390f35b61011e600480360381019061011991906109f0565b610330565b60405161012b91906109ab565b60405180910390f35b61013c610348565b6040516101499190610a5f565b60405180910390f35b61016c60048036038101906101679190610a7a565b61035f565b60405161017991906109d5565b60405180910390f35b61018a6103a8565b6040516101979190610895565b60405180910390f35b6101ba60048036038101906101b59190610950565b61043a565b6040516101c791906109ab565b60405180910390f35b6101ea60048036038101906101e59190610aa7565b610458565b6040516101f791906109d5565b60405180910390f35b60606000805461020f90610b16565b80601f016020809104026020016040519081016040528092919081815260200182805461023b90610b16565b80156102885780601f1061025d57610100808354040283529160200191610288565b820191906000526020600020905b81548152906001019060200180831161026b57829003601f168201915b5050505050905090565b600081600560006102a16104df565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b6000600354905090565b600061033d8484846104e7565b600190509392505050565b6000600260009054906101000a900460ff16905090565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6060600180546103b790610b16565b80601f01602080910402602001604051908101604052809291908181526020018280546103e390610b16565b80156104305780601f1061040557610100808354040283529160200191610430565b820191906000526020600020905b81548152906001019060200180831161041357829003601f168201915b5050505050905090565b600061044e6104476104df565b84846104e7565b6001905092915050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610556576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161054d90610b93565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036105c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105bc90610bff565b60405180910390fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610647576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161063e90610c6b565b60405180910390fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106969190610cba565b9250508190555080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106ec9190610cee565b92505081905550600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610800576006829080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b505050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561083f578082015181840152602081019050610824565b60008484015250505050565b6000601f19601f8301169050919050565b600061086782610805565b6108718185610810565b9350610881818560208601610821565b61088a8161084b565b840191505092915050565b600060208201905081810360008301526108af818461085c565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006108e7826108bc565b9050919050565b6108f7816108dc565b811461090257600080fd5b50565b600081359050610914816108ee565b92915050565b6000819050919050565b61092d8161091a565b811461093857600080fd5b50565b60008135905061094a81610924565b92915050565b60008060408385031215610967576109666108b7565b5b600061097585828601610905565b92505060206109868582860161093b565b9150509250929050565b60008115159050919050565b6109a581610990565b82525050565b60006020820190506109c0600083018461099c565b92915050565b6109cf8161091a565b82525050565b60006020820190506109ea60008301846109c6565b92915050565b600080600060608486031215610a0957610a086108b7565b5b6000610a1786828701610905565b9350506020610a2886828701610905565b9250506040610a398682870161093b565b9150509250925092565b600060ff82169050919050565b610a5981610a43565b82525050565b6000602082019050610a746000830184610a50565b92915050565b600060208284031215610a9057610a8f6108b7565b5b6000610a9e84828501610905565b91505092915050565b60008060408385031215610abe57610abd6108b7565b5b6000610acc85828601610905565b9250506020610add85828601610905565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610b2e57607f821691505b602082108103610b4157610b40610ae7565b5b50919050565b7f496e76616c69642073656e646572000000000000000000000000000000000000600082015250565b6000610b7d600e83610810565b9150610b8882610b47565b602082019050919050565b60006020820190508181036000830152610bac81610b70565b9050919050565b7f496e76616c696420726563656976657200000000000000000000000000000000600082015250565b6000610be9601083610810565b9150610bf482610bb3565b602082019050919050565b60006020820190508181036000830152610c1881610bdc565b9050919050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b6000610c55601483610810565b9150610c6082610c1f565b602082019050919050565b60006020820190508181036000830152610c8481610c48565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610cc58261091a565b9150610cd08361091a565b9250828203905081811115610ce857610ce7610c8b565b5b92915050565b6000610cf98261091a565b9150610d048361091a565b9250828201905080821115610d1c57610d1b610c8b565b5b9291505056fea26469706673582212206387c8c5dfcdbd65a27bec53b658e169c99326f2d8f33ac6829fabbd840a726064736f6c634300081c0033

754:2291:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1339:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1841:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1610:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2395:197;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1521:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1716:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1428:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2211:178;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2037:168;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1339:83;1376:13;1409:5;1402:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1339:83;:::o;1841:190::-;1941:4;1995:6;1958:11;:25;1970:12;:10;:12::i;:::-;1958:25;;;;;;;;;;;;;;;:34;1984:7;1958:34;;;;;;;;;;;;;;;:43;;;;2019:4;2012:11;;1841:190;;;;:::o;1610:100::-;1663:7;1690:12;;1683:19;;1610:100;:::o;2395:197::-;2518:4;2535:27;2545:4;2551:2;2555:6;2535:9;:27::i;:::-;2580:4;2573:11;;2395:197;;;;;:::o;1521:83::-;1562:5;1587:9;;;;;;;;;;;1580:16;;1521:83;:::o;1716:119::-;1782:7;1809:9;:18;1819:7;1809:18;;;;;;;;;;;;;;;;1802:25;;1716:119;;;:::o;1428:87::-;1467:13;1500:7;1493:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1428:87;:::o;2211:178::-;2307:4;2324:35;2334:12;:10;:12::i;:::-;2348:2;2352:6;2324:9;:35::i;:::-;2377:4;2370:11;;2211:178;;;;:::o;2037:168::-;2143:7;2170:11;:18;2182:5;2170:18;;;;;;;;;;;;;;;:27;2189:7;2170:27;;;;;;;;;;;;;;;;2163:34;;2037:168;;;;:::o;94:98::-;147:7;174:10;167:17;;94:98;:::o;2600:442::-;2705:1;2689:18;;:4;:18;;;2681:45;;;;;;;;;;;;:::i;:::-;;;;;;;;;2759:1;2745:16;;:2;:16;;;2737:45;;;;;;;;;;;;:::i;:::-;;;;;;;;;2820:6;2801:9;:15;2811:4;2801:15;;;;;;;;;;;;;;;;:25;;2793:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;2883:6;2864:9;:15;2874:4;2864:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;2917:6;2900:9;:13;2910:2;2900:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;2941:9;:13;2951:2;2941:13;;;;;;;;;;;;;;;;;;;;;;;;;2936:99;;2971:8;2985:2;2971:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3019:4;3003:9;:13;3013:2;3003:13;;;;;;;;;;;;;;;;:20;;;;;;;;;;;;;;;;;;2936:99;2600:442;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:248::-;369:1;379:113;393:6;390:1;387:13;379:113;;;478:1;473:3;469:11;463:18;459:1;454:3;450:11;443:39;415:2;412:1;408:10;403:15;;379:113;;;526:1;517:6;512:3;508:16;501:27;349:186;287:248;;;:::o;541:102::-;582:6;633:2;629:7;624:2;617:5;613:14;609:28;599:38;;541:102;;;:::o;649:377::-;737:3;765:39;798:5;765:39;:::i;:::-;820:71;884:6;879:3;820:71;:::i;:::-;813:78;;900:65;958:6;953:3;946:4;939:5;935:16;900:65;:::i;:::-;990:29;1012:6;990:29;:::i;:::-;985:3;981:39;974:46;;741:285;649:377;;;;:::o;1032:313::-;1145:4;1183:2;1172:9;1168:18;1160:26;;1232:9;1226:4;1222:20;1218:1;1207:9;1203:17;1196:47;1260:78;1333:4;1324:6;1260:78;:::i;:::-;1252:86;;1032:313;;;;:::o;1432:117::-;1541:1;1538;1531:12;1678:126;1715:7;1755:42;1748:5;1744:54;1733:65;;1678:126;;;:::o;1810:96::-;1847:7;1876:24;1894:5;1876:24;:::i;:::-;1865:35;;1810:96;;;:::o;1912:122::-;1985:24;2003:5;1985:24;:::i;:::-;1978:5;1975:35;1965:63;;2024:1;2021;2014:12;1965:63;1912:122;:::o;2040:139::-;2086:5;2124:6;2111:20;2102:29;;2140:33;2167:5;2140:33;:::i;:::-;2040:139;;;;:::o;2185:77::-;2222:7;2251:5;2240:16;;2185:77;;;:::o;2268:122::-;2341:24;2359:5;2341:24;:::i;:::-;2334:5;2331:35;2321:63;;2380:1;2377;2370:12;2321:63;2268:122;:::o;2396:139::-;2442:5;2480:6;2467:20;2458:29;;2496:33;2523:5;2496:33;:::i;:::-;2396:139;;;;:::o;2541:474::-;2609:6;2617;2666:2;2654:9;2645:7;2641:23;2637:32;2634:119;;;2672:79;;:::i;:::-;2634:119;2792:1;2817:53;2862:7;2853:6;2842:9;2838:22;2817:53;:::i;:::-;2807:63;;2763:117;2919:2;2945:53;2990:7;2981:6;2970:9;2966:22;2945:53;:::i;:::-;2935:63;;2890:118;2541:474;;;;;:::o;3021:90::-;3055:7;3098:5;3091:13;3084:21;3073:32;;3021:90;;;:::o;3117:109::-;3198:21;3213:5;3198:21;:::i;:::-;3193:3;3186:34;3117:109;;:::o;3232:210::-;3319:4;3357:2;3346:9;3342:18;3334:26;;3370:65;3432:1;3421:9;3417:17;3408:6;3370:65;:::i;:::-;3232:210;;;;:::o;3448:118::-;3535:24;3553:5;3535:24;:::i;:::-;3530:3;3523:37;3448:118;;:::o;3572:222::-;3665:4;3703:2;3692:9;3688:18;3680:26;;3716:71;3784:1;3773:9;3769:17;3760:6;3716:71;:::i;:::-;3572:222;;;;:::o;3800:619::-;3877:6;3885;3893;3942:2;3930:9;3921:7;3917:23;3913:32;3910:119;;;3948:79;;:::i;:::-;3910:119;4068:1;4093:53;4138:7;4129:6;4118:9;4114:22;4093:53;:::i;:::-;4083:63;;4039:117;4195:2;4221:53;4266:7;4257:6;4246:9;4242:22;4221:53;:::i;:::-;4211:63;;4166:118;4323:2;4349:53;4394:7;4385:6;4374:9;4370:22;4349:53;:::i;:::-;4339:63;;4294:118;3800:619;;;;;:::o;4425:86::-;4460:7;4500:4;4493:5;4489:16;4478:27;;4425:86;;;:::o;4517:112::-;4600:22;4616:5;4600:22;:::i;:::-;4595:3;4588:35;4517:112;;:::o;4635:214::-;4724:4;4762:2;4751:9;4747:18;4739:26;;4775:67;4839:1;4828:9;4824:17;4815:6;4775:67;:::i;:::-;4635:214;;;;:::o;4855:329::-;4914:6;4963:2;4951:9;4942:7;4938:23;4934:32;4931:119;;;4969:79;;:::i;:::-;4931:119;5089:1;5114:53;5159:7;5150:6;5139:9;5135:22;5114:53;:::i;:::-;5104:63;;5060:117;4855:329;;;;:::o;5190:474::-;5258:6;5266;5315:2;5303:9;5294:7;5290:23;5286:32;5283:119;;;5321:79;;:::i;:::-;5283:119;5441:1;5466:53;5511:7;5502:6;5491:9;5487:22;5466:53;:::i;:::-;5456:63;;5412:117;5568:2;5594:53;5639:7;5630:6;5619:9;5615:22;5594:53;:::i;:::-;5584:63;;5539:118;5190:474;;;;;:::o;5670:180::-;5718:77;5715:1;5708:88;5815:4;5812:1;5805:15;5839:4;5836:1;5829:15;5856:320;5900:6;5937:1;5931:4;5927:12;5917:22;;5984:1;5978:4;5974:12;6005:18;5995:81;;6061:4;6053:6;6049:17;6039:27;;5995:81;6123:2;6115:6;6112:14;6092:18;6089:38;6086:84;;6142:18;;:::i;:::-;6086:84;5907:269;5856:320;;;:::o;6182:164::-;6322:16;6318:1;6310:6;6306:14;6299:40;6182:164;:::o;6352:366::-;6494:3;6515:67;6579:2;6574:3;6515:67;:::i;:::-;6508:74;;6591:93;6680:3;6591:93;:::i;:::-;6709:2;6704:3;6700:12;6693:19;;6352:366;;;:::o;6724:419::-;6890:4;6928:2;6917:9;6913:18;6905:26;;6977:9;6971:4;6967:20;6963:1;6952:9;6948:17;6941:47;7005:131;7131:4;7005:131;:::i;:::-;6997:139;;6724:419;;;:::o;7149:166::-;7289:18;7285:1;7277:6;7273:14;7266:42;7149:166;:::o;7321:366::-;7463:3;7484:67;7548:2;7543:3;7484:67;:::i;:::-;7477:74;;7560:93;7649:3;7560:93;:::i;:::-;7678:2;7673:3;7669:12;7662:19;;7321:366;;;:::o;7693:419::-;7859:4;7897:2;7886:9;7882:18;7874:26;;7946:9;7940:4;7936:20;7932:1;7921:9;7917:17;7910:47;7974:131;8100:4;7974:131;:::i;:::-;7966:139;;7693:419;;;:::o;8118:170::-;8258:22;8254:1;8246:6;8242:14;8235:46;8118:170;:::o;8294:366::-;8436:3;8457:67;8521:2;8516:3;8457:67;:::i;:::-;8450:74;;8533:93;8622:3;8533:93;:::i;:::-;8651:2;8646:3;8642:12;8635:19;;8294:366;;;:::o;8666:419::-;8832:4;8870:2;8859:9;8855:18;8847:26;;8919:9;8913:4;8909:20;8905:1;8894:9;8890:17;8883:47;8947:131;9073:4;8947:131;:::i;:::-;8939:139;;8666:419;;;:::o;9091:180::-;9139:77;9136:1;9129:88;9236:4;9233:1;9226:15;9260:4;9257:1;9250:15;9277:194;9317:4;9337:20;9355:1;9337:20;:::i;:::-;9332:25;;9371:20;9389:1;9371:20;:::i;:::-;9366:25;;9415:1;9412;9408:9;9400:17;;9439:1;9433:4;9430:11;9427:37;;;9444:18;;:::i;:::-;9427:37;9277:194;;;;:::o;9477:191::-;9517:3;9536:20;9554:1;9536:20;:::i;:::-;9531:25;;9570:20;9588:1;9570:20;:::i;:::-;9565:25;;9613:1;9610;9606:9;9599:16;;9634:3;9631:1;9628:10;9625:36;;;9641:18;;:::i;:::-;9625:36;9477:191;;;;:::o

ipfs://6387c8c5dfcdbd65a27bec53b658e169c99326f2d8f33ac6829fabbd840a7260