Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IERC20Errors
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(
•    - function approve(
•    - function transferFrom(
•    - function _transfer(address from, addr ...
•    - function _update(address from, addres ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _approve(
•    - function _spendAllowance(
•  contract SanicAI is ERC20, Ownable *

More Options

• Similar
• Submit Audit
• Compare

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

/** ⠀⠀⠀⠀
Sanic AI 
gotta go fast
https://t.me/sonicai_snc
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.19;

interface IERC20Errors {
    error ERC20InsufficientBalance(
        address sender,
        uint256 balance,
        uint256 needed
    );

    error ERC20InvalidSender(address sender);

    error ERC20InvalidReceiver(address receiver);

    error ERC20InsufficientAllowance(
        address spender,
        uint256 allowance,
        uint256 needed
    );

    error ERC20InvalidApprover(address approver);

    error ERC20InvalidSpender(address spender);
}

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

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

abstract contract Ownable is Context {
    address private _owner;

    error OwnableUnauthorizedAccount(address account);

    error OwnableInvalidOwner(address owner);

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

    constructor(address initialOwner) {
        if (initialOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(initialOwner);
    }

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

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

    function _checkOwner() internal view virtual {
        if (owner() != _msgSender()) {
            revert OwnableUnauthorizedAccount(_msgSender());
        }
    }

    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    function transferOwnership(address newOwner) public virtual onlyOwner {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(newOwner);
    }

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

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

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

    function totalSupply() external view returns (uint256);

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

    function transfer(address to, uint256 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);
}

interface IERC20Metadata is IERC20 {
    function name() external view returns (string memory);

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

    function decimals() external view returns (uint8);
}

abstract contract ERC20 is Context, IERC20, IERC20Metadata, IERC20Errors {
    mapping(address account => uint256) private _balances;

    mapping(address account => mapping(address spender => uint256))
        private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

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

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

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

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

    function transfer(address to, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, value);
        return true;
    }

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

    function approve(
        address spender,
        uint256 value
    ) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, value);
        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 value
    ) public virtual returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, value);
        _transfer(from, to, value);
        return true;
    }

    function _transfer(address from, address to, uint256 value) internal {
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        if (to == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(from, to, value);
    }

    function _update(address from, address to, uint256 value) internal virtual {
        if (from == address(0)) {
            _totalSupply += value;
        } else {
            uint256 fromBalance = _balances[from];
            if (fromBalance < value) {
                revert ERC20InsufficientBalance(from, fromBalance, value);
            }
            unchecked {
                _balances[from] = fromBalance - value;
            }
        }

        if (to == address(0)) {
            unchecked {
                _totalSupply -= value;
            }
        } else {
            unchecked {
                _balances[to] += value;
            }
        }

        emit Transfer(from, to, value);
    }

    function _mint(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(address(0), account, value);
    }

    function _burn(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        _update(account, address(0), value);
    }

    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

    function _approve(
        address owner,
        address spender,
        uint256 value,
        bool emitEvent
    ) internal virtual {
        if (owner == address(0)) {
            revert ERC20InvalidApprover(address(0));
        }
        if (spender == address(0)) {
            revert ERC20InvalidSpender(address(0));
        }
        _allowances[owner][spender] = value;
        if (emitEvent) {
            emit Approval(owner, spender, value);
        }
    }

    function _spendAllowance(
        address owner,
        address spender,
        uint256 value
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            if (currentAllowance < value) {
                revert ERC20InsufficientAllowance(
                    spender,
                    currentAllowance,
                    value
                );
            }
            unchecked {
                _approve(owner, spender, currentAllowance - value, false);
            }
        }
    }
}


contract SanicAI is ERC20, Ownable {
    uint256 maxSupply = 100_000_000 * 1e18;

    constructor() ERC20("Sanic AI", "SAI") Ownable(msg.sender) {
        _mint(msg.sender, maxSupply);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"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":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"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":"to","type":"address"},{"internalType":"uint256","name":"value","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":"value","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"}]

60806040526a52b7d2dcc80cd2e40000006006553480156200002057600080fd5b50336040518060400160405280600881526020017f53616e69632041490000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f534149000000000000000000000000000000000000000000000000000000000081525081600390816200009f919062000752565b508060049081620000b1919062000752565b505050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603620001295760006040517f1e4fbdf70000000000000000000000000000000000000000000000000000000081526004016200012091906200087e565b60405180910390fd5b6200013a816200015560201b60201c565b506200014f336006546200021b60201b60201c565b62000970565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603620002905760006040517fec442f050000000000000000000000000000000000000000000000000000000081526004016200028791906200087e565b60405180910390fd5b620002a460008383620002a860201b60201c565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603620002fe578060026000828254620002f19190620008ca565b92505081905550620003d4565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156200038d578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401620003849392919062000916565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036200041f57806002600082825403925050819055506200046c565b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620004cb919062000953565b60405180910390a3505050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200055a57607f821691505b60208210810362000570576200056f62000512565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620005da7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200059b565b620005e686836200059b565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620006336200062d6200062784620005fe565b62000608565b620005fe565b9050919050565b6000819050919050565b6200064f8362000612565b620006676200065e826200063a565b848454620005a8565b825550505050565b600090565b6200067e6200066f565b6200068b81848462000644565b505050565b5b81811015620006b357620006a760008262000674565b60018101905062000691565b5050565b601f8211156200070257620006cc8162000576565b620006d7846200058b565b81016020851015620006e7578190505b620006ff620006f6856200058b565b83018262000690565b50505b505050565b600082821c905092915050565b6000620007276000198460080262000707565b1980831691505092915050565b600062000742838362000714565b9150826002028217905092915050565b6200075d82620004d8565b67ffffffffffffffff811115620007795762000778620004e3565b5b62000785825462000541565b62000792828285620006b7565b600060209050601f831160018114620007ca5760008415620007b5578287015190505b620007c1858262000734565b86555062000831565b601f198416620007da8662000576565b60005b828110156200080457848901518255600182019150602085019450602081019050620007dd565b8683101562000824578489015162000820601f89168262000714565b8355505b6001600288020188555050505b505050505050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620008668262000839565b9050919050565b620008788162000859565b82525050565b60006020820190506200089560008301846200086d565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000620008d782620005fe565b9150620008e483620005fe565b9250828201905080821115620008ff57620008fe6200089b565b5b92915050565b6200091081620005fe565b82525050565b60006060820190506200092d60008301866200086d565b6200093c602083018562000905565b6200094b604083018462000905565b949350505050565b60006020820190506200096a600083018462000905565b92915050565b6110cb80620009806000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c8063715018a611610071578063715018a6146101a35780638da5cb5b146101ad57806395d89b41146101cb578063a9059cbb146101e9578063dd62ed3e14610219578063f2fde38b14610249576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce5671461015557806370a0823114610173575b600080fd5b6100c1610265565b6040516100ce9190610d1f565b60405180910390f35b6100f160048036038101906100ec9190610dda565b6102f7565b6040516100fe9190610e35565b60405180910390f35b61010f61031a565b60405161011c9190610e5f565b60405180910390f35b61013f600480360381019061013a9190610e7a565b610324565b60405161014c9190610e35565b60405180910390f35b61015d610353565b60405161016a9190610ee9565b60405180910390f35b61018d60048036038101906101889190610f04565b61035c565b60405161019a9190610e5f565b60405180910390f35b6101ab6103a4565b005b6101b56103b8565b6040516101c29190610f40565b60405180910390f35b6101d36103e2565b6040516101e09190610d1f565b60405180910390f35b61020360048036038101906101fe9190610dda565b610474565b6040516102109190610e35565b60405180910390f35b610233600480360381019061022e9190610f5b565b610497565b6040516102409190610e5f565b60405180910390f35b610263600480360381019061025e9190610f04565b61051e565b005b60606003805461027490610fca565b80601f01602080910402602001604051908101604052809291908181526020018280546102a090610fca565b80156102ed5780601f106102c2576101008083540402835291602001916102ed565b820191906000526020600020905b8154815290600101906020018083116102d057829003601f168201915b5050505050905090565b6000806103026105a4565b905061030f8185856105ac565b600191505092915050565b6000600254905090565b60008061032f6105a4565b905061033c8582856105be565b610347858585610652565b60019150509392505050565b60006012905090565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6103ac610746565b6103b660006107cd565b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546103f190610fca565b80601f016020809104026020016040519081016040528092919081815260200182805461041d90610fca565b801561046a5780601f1061043f5761010080835404028352916020019161046a565b820191906000526020600020905b81548152906001019060200180831161044d57829003601f168201915b5050505050905090565b60008061047f6105a4565b905061048c818585610652565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610526610746565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036105985760006040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161058f9190610f40565b60405180910390fd5b6105a1816107cd565b50565b600033905090565b6105b98383836001610893565b505050565b60006105ca8484610497565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461064c578181101561063c578281836040517ffb8f41b200000000000000000000000000000000000000000000000000000000815260040161063393929190610ffb565b60405180910390fd5b61064b84848484036000610893565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036106c45760006040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016106bb9190610f40565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036107365760006040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161072d9190610f40565b60405180910390fd5b610741838383610a6a565b505050565b61074e6105a4565b73ffffffffffffffffffffffffffffffffffffffff1661076c6103b8565b73ffffffffffffffffffffffffffffffffffffffff16146107cb5761078f6105a4565b6040517f118cdaa70000000000000000000000000000000000000000000000000000000081526004016107c29190610f40565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036109055760006040517fe602df050000000000000000000000000000000000000000000000000000000081526004016108fc9190610f40565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109775760006040517f94280d6200000000000000000000000000000000000000000000000000000000815260040161096e9190610f40565b60405180910390fd5b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508015610a64578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610a5b9190610e5f565b60405180910390a35b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610abc578060026000828254610ab09190611061565b92505081905550610b8f565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610b48578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610b3f93929190610ffb565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610bd85780600260008282540392505081905550610c25565b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c829190610e5f565b60405180910390a3505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610cc9578082015181840152602081019050610cae565b60008484015250505050565b6000601f19601f8301169050919050565b6000610cf182610c8f565b610cfb8185610c9a565b9350610d0b818560208601610cab565b610d1481610cd5565b840191505092915050565b60006020820190508181036000830152610d398184610ce6565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610d7182610d46565b9050919050565b610d8181610d66565b8114610d8c57600080fd5b50565b600081359050610d9e81610d78565b92915050565b6000819050919050565b610db781610da4565b8114610dc257600080fd5b50565b600081359050610dd481610dae565b92915050565b60008060408385031215610df157610df0610d41565b5b6000610dff85828601610d8f565b9250506020610e1085828601610dc5565b9150509250929050565b60008115159050919050565b610e2f81610e1a565b82525050565b6000602082019050610e4a6000830184610e26565b92915050565b610e5981610da4565b82525050565b6000602082019050610e746000830184610e50565b92915050565b600080600060608486031215610e9357610e92610d41565b5b6000610ea186828701610d8f565b9350506020610eb286828701610d8f565b9250506040610ec386828701610dc5565b9150509250925092565b600060ff82169050919050565b610ee381610ecd565b82525050565b6000602082019050610efe6000830184610eda565b92915050565b600060208284031215610f1a57610f19610d41565b5b6000610f2884828501610d8f565b91505092915050565b610f3a81610d66565b82525050565b6000602082019050610f556000830184610f31565b92915050565b60008060408385031215610f7257610f71610d41565b5b6000610f8085828601610d8f565b9250506020610f9185828601610d8f565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610fe257607f821691505b602082108103610ff557610ff4610f9b565b5b50919050565b60006060820190506110106000830186610f31565b61101d6020830185610e50565b61102a6040830184610e50565b949350505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061106c82610da4565b915061107783610da4565b925082820190508082111561108f5761108e611032565b5b9291505056fea2646970667358221220ff3f81419b32f1adf57a77015322a906c7d8b1bc015e18a0e01662258ba1ea5164736f6c63430008130033

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c8063715018a611610071578063715018a6146101a35780638da5cb5b146101ad57806395d89b41146101cb578063a9059cbb146101e9578063dd62ed3e14610219578063f2fde38b14610249576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce5671461015557806370a0823114610173575b600080fd5b6100c1610265565b6040516100ce9190610d1f565b60405180910390f35b6100f160048036038101906100ec9190610dda565b6102f7565b6040516100fe9190610e35565b60405180910390f35b61010f61031a565b60405161011c9190610e5f565b60405180910390f35b61013f600480360381019061013a9190610e7a565b610324565b60405161014c9190610e35565b60405180910390f35b61015d610353565b60405161016a9190610ee9565b60405180910390f35b61018d60048036038101906101889190610f04565b61035c565b60405161019a9190610e5f565b60405180910390f35b6101ab6103a4565b005b6101b56103b8565b6040516101c29190610f40565b60405180910390f35b6101d36103e2565b6040516101e09190610d1f565b60405180910390f35b61020360048036038101906101fe9190610dda565b610474565b6040516102109190610e35565b60405180910390f35b610233600480360381019061022e9190610f5b565b610497565b6040516102409190610e5f565b60405180910390f35b610263600480360381019061025e9190610f04565b61051e565b005b60606003805461027490610fca565b80601f01602080910402602001604051908101604052809291908181526020018280546102a090610fca565b80156102ed5780601f106102c2576101008083540402835291602001916102ed565b820191906000526020600020905b8154815290600101906020018083116102d057829003601f168201915b5050505050905090565b6000806103026105a4565b905061030f8185856105ac565b600191505092915050565b6000600254905090565b60008061032f6105a4565b905061033c8582856105be565b610347858585610652565b60019150509392505050565b60006012905090565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6103ac610746565b6103b660006107cd565b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546103f190610fca565b80601f016020809104026020016040519081016040528092919081815260200182805461041d90610fca565b801561046a5780601f1061043f5761010080835404028352916020019161046a565b820191906000526020600020905b81548152906001019060200180831161044d57829003601f168201915b5050505050905090565b60008061047f6105a4565b905061048c818585610652565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610526610746565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036105985760006040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161058f9190610f40565b60405180910390fd5b6105a1816107cd565b50565b600033905090565b6105b98383836001610893565b505050565b60006105ca8484610497565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461064c578181101561063c578281836040517ffb8f41b200000000000000000000000000000000000000000000000000000000815260040161063393929190610ffb565b60405180910390fd5b61064b84848484036000610893565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036106c45760006040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016106bb9190610f40565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036107365760006040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161072d9190610f40565b60405180910390fd5b610741838383610a6a565b505050565b61074e6105a4565b73ffffffffffffffffffffffffffffffffffffffff1661076c6103b8565b73ffffffffffffffffffffffffffffffffffffffff16146107cb5761078f6105a4565b6040517f118cdaa70000000000000000000000000000000000000000000000000000000081526004016107c29190610f40565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036109055760006040517fe602df050000000000000000000000000000000000000000000000000000000081526004016108fc9190610f40565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109775760006040517f94280d6200000000000000000000000000000000000000000000000000000000815260040161096e9190610f40565b60405180910390fd5b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508015610a64578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610a5b9190610e5f565b60405180910390a35b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610abc578060026000828254610ab09190611061565b92505081905550610b8f565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610b48578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610b3f93929190610ffb565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610bd85780600260008282540392505081905550610c25565b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c829190610e5f565b60405180910390a3505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610cc9578082015181840152602081019050610cae565b60008484015250505050565b6000601f19601f8301169050919050565b6000610cf182610c8f565b610cfb8185610c9a565b9350610d0b818560208601610cab565b610d1481610cd5565b840191505092915050565b60006020820190508181036000830152610d398184610ce6565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610d7182610d46565b9050919050565b610d8181610d66565b8114610d8c57600080fd5b50565b600081359050610d9e81610d78565b92915050565b6000819050919050565b610db781610da4565b8114610dc257600080fd5b50565b600081359050610dd481610dae565b92915050565b60008060408385031215610df157610df0610d41565b5b6000610dff85828601610d8f565b9250506020610e1085828601610dc5565b9150509250929050565b60008115159050919050565b610e2f81610e1a565b82525050565b6000602082019050610e4a6000830184610e26565b92915050565b610e5981610da4565b82525050565b6000602082019050610e746000830184610e50565b92915050565b600080600060608486031215610e9357610e92610d41565b5b6000610ea186828701610d8f565b9350506020610eb286828701610d8f565b9250506040610ec386828701610dc5565b9150509250925092565b600060ff82169050919050565b610ee381610ecd565b82525050565b6000602082019050610efe6000830184610eda565b92915050565b600060208284031215610f1a57610f19610d41565b5b6000610f2884828501610d8f565b91505092915050565b610f3a81610d66565b82525050565b6000602082019050610f556000830184610f31565b92915050565b60008060408385031215610f7257610f71610d41565b5b6000610f8085828601610d8f565b9250506020610f9185828601610d8f565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610fe257607f821691505b602082108103610ff557610ff4610f9b565b5b50919050565b60006060820190506110106000830186610f31565b61101d6020830185610e50565b61102a6040830184610e50565b949350505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061106c82610da4565b915061107783610da4565b925082820190508082111561108f5761108e611032565b5b9291505056fea2646970667358221220ff3f81419b32f1adf57a77015322a906c7d8b1bc015e18a0e01662258ba1ea5164736f6c63430008130033

7843:198:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3699:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4591:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3993:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4814:283;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3901:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4100:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1710:103;;;:::i;:::-;;1441:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3798:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4226:182;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4416:167;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1821:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3699:91;3744:13;3777:5;3770:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3699:91;:::o;4591:215::-;4689:4;4706:13;4722:12;:10;:12::i;:::-;4706:28;;4745:31;4754:5;4761:7;4770:5;4745:8;:31::i;:::-;4794:4;4787:11;;;4591:215;;;;:::o;3993:99::-;4045:7;4072:12;;4065:19;;3993:99;:::o;4814:283::-;4935:4;4952:15;4970:12;:10;:12::i;:::-;4952:30;;4993:37;5009:4;5015:7;5024:5;4993:15;:37::i;:::-;5041:26;5051:4;5057:2;5061:5;5041:9;:26::i;:::-;5085:4;5078:11;;;4814:283;;;;;:::o;3901:84::-;3950:5;3975:2;3968:9;;3901:84;:::o;4100:118::-;4165:7;4192:9;:18;4202:7;4192:18;;;;;;;;;;;;;;;;4185:25;;4100:118;;;:::o;1710:103::-;1400:13;:11;:13::i;:::-;1775:30:::1;1802:1;1775:18;:30::i;:::-;1710:103::o:0;1441:87::-;1487:7;1514:6;;;;;;;;;;;1507:13;;1441:87;:::o;3798:95::-;3845:13;3878:7;3871:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3798:95;:::o;4226:182::-;4295:4;4312:13;4328:12;:10;:12::i;:::-;4312:28;;4351:27;4361:5;4368:2;4372:5;4351:9;:27::i;:::-;4396:4;4389:11;;;4226:182;;;;:::o;4416:167::-;4521:7;4548:11;:18;4560:5;4548:18;;;;;;;;;;;;;;;:27;4567:7;4548:27;;;;;;;;;;;;;;;;4541:34;;4416:167;;;;:::o;1821:220::-;1400:13;:11;:13::i;:::-;1926:1:::1;1906:22;;:8;:22;;::::0;1902:93:::1;;1980:1;1952:31;;;;;;;;;;;:::i;:::-;;;;;;;;1902:93;2005:28;2024:8;2005:18;:28::i;:::-;1821:220:::0;:::o;655:98::-;708:7;735:10;728:17;;655:98;:::o;6599:130::-;6684:37;6693:5;6700:7;6709:5;6716:4;6684:8;:37::i;:::-;6599:130;;;:::o;7231:603::-;7365:24;7392:25;7402:5;7409:7;7392:9;:25::i;:::-;7365:52;;7452:17;7432:16;:37;7428:399;;7509:5;7490:16;:24;7486:214;;;7591:7;7621:16;7660:5;7542:142;;;;;;;;;;;;;:::i;:::-;;;;;;;;7486:214;7743:57;7752:5;7759:7;7787:5;7768:16;:24;7794:5;7743:8;:57::i;:::-;7428:399;7354:480;7231:603;;;:::o;5105:308::-;5205:1;5189:18;;:4;:18;;;5185:88;;5258:1;5231:30;;;;;;;;;;;:::i;:::-;;;;;;;;5185:88;5301:1;5287:16;;:2;:16;;;5283:88;;5356:1;5327:32;;;;;;;;;;;:::i;:::-;;;;;;;;5283:88;5381:24;5389:4;5395:2;5399:5;5381:7;:24::i;:::-;5105:308;;;:::o;1536:166::-;1607:12;:10;:12::i;:::-;1596:23;;:7;:5;:7::i;:::-;:23;;;1592:103;;1670:12;:10;:12::i;:::-;1643:40;;;;;;;;;;;:::i;:::-;;;;;;;;1592:103;1536:166::o;2049:191::-;2123:16;2142:6;;;;;;;;;;;2123:25;;2168:8;2159:6;;:17;;;;;;;;;;;;;;;;;;2223:8;2192:40;;2213:8;2192:40;;;;;;;;;;;;2112:128;2049:191;:::o;6737:486::-;6910:1;6893:19;;:5;:19;;;6889:91;;6965:1;6936:32;;;;;;;;;;;:::i;:::-;;;;;;;;6889:91;7013:1;6994:21;;:7;:21;;;6990:92;;7067:1;7039:31;;;;;;;;;;;:::i;:::-;;;;;;;;6990:92;7122:5;7092:11;:18;7104:5;7092:18;;;;;;;;;;;;;;;:27;7111:7;7092:27;;;;;;;;;;;;;;;:35;;;;7142:9;7138:78;;;7189:7;7173:31;;7182:5;7173:31;;;7198:5;7173:31;;;;;;:::i;:::-;;;;;;;;7138:78;6737:486;;;;:::o;5421:730::-;5527:1;5511:18;;:4;:18;;;5507:369;;5562:5;5546:12;;:21;;;;;;;:::i;:::-;;;;;;;;5507:369;;;5600:19;5622:9;:15;5632:4;5622:15;;;;;;;;;;;;;;;;5600:37;;5670:5;5656:11;:19;5652:117;;;5728:4;5734:11;5747:5;5703:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;5652:117;5844:5;5830:11;:19;5812:9;:15;5822:4;5812:15;;;;;;;;;;;;;;;:37;;;;5585:291;5507:369;5906:1;5892:16;;:2;:16;;;5888:213;;5970:5;5954:12;;:21;;;;;;;;;;;5888:213;;;6069:5;6052:9;:13;6062:2;6052:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;5888:213;6133:2;6118:25;;6127:4;6118:25;;;6137:5;6118:25;;;;;;:::i;:::-;;;;;;;;5421:730;;;:::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:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::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:442::-;6681:4;6719:2;6708:9;6704:18;6696:26;;6732:71;6800:1;6789:9;6785:17;6776:6;6732:71;:::i;:::-;6813:72;6881:2;6870:9;6866:18;6857:6;6813:72;:::i;:::-;6895;6963:2;6952:9;6948:18;6939:6;6895:72;:::i;:::-;6532:442;;;;;;:::o;6980:180::-;7028:77;7025:1;7018:88;7125:4;7122:1;7115:15;7149:4;7146:1;7139:15;7166:191;7206:3;7225:20;7243:1;7225:20;:::i;:::-;7220:25;;7259:20;7277:1;7259:20;:::i;:::-;7254:25;;7302:1;7299;7295:9;7288:16;;7323:3;7320:1;7317:10;7314:36;;;7330:18;;:::i;:::-;7314:36;7166:191;;;;:::o

ipfs://ff3f81419b32f1adf57a77015322a906c7d8b1bc015e18a0e01662258ba1ea51