Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract washer is Context, IERC20 ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function setMarketPair(address addr)    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function isContract(address account)    - function swapTokensForEth(uint256 tok ...    - function clearStuckEth()    - function rescueAnyERC20Tokens(address ...    - function manualSwap()    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-22
*/

// SPDX-License-Identifier: MIT

/**

Telegram: https://t.me/Washerportal 
Twitter: https://twitter.com/Washercoin 
Website: https://washer.finance/  

*/

pragma solidity 0.8.20;

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 washer is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) public marketPair;
    address payable private _taxWallet;
    uint256 firstBlock;

    uint256 private _initialBuyTax=25;
    uint256 private _initialSellTax=25;
    uint256 private _finalBuyTax=5;
    uint256 private _finalSellTax=5;
    uint256 private _reduceBuyTaxAt=25;
    uint256 private _reduceSellTaxAt=30;
    uint256 private _preventSwapBefore=29;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000 * 10**_decimals;
    string private constant _name = unicode"Washer";
    string private constant _symbol = unicode"WASH";
    uint256 public _maxTxAmount = 1000000 * 10**_decimals;
    uint256 public _maxWalletSize = 1000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 1000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 1300000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {

        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    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, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        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 setMarketPair(address addr) public onlyOwner {
        marketPair[addr] = true;
    }

    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 (marketPair[from] && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");

                if (firstBlock + 3  > block.number) {
                    require(!isContract(to));
                }
                _buyCount++;
            }

            if (!marketPair[to] && ! _isExcludedFromFee[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && marketPair[to] && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

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


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

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    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 clearStuckEth() public {
        require(_msgSender() == _taxWallet);
        payable(msg.sender).transfer(address(this).balance);
    }

    function rescueAnyERC20Tokens(address _tokenAddr, address _to, uint _amount) public {
        require(_msgSender() == _taxWallet);
        IERC20(_tokenAddr).transfer(_to, _amount);
    }

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }

    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

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

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","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":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","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":"clearStuckEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"marketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueAnyERC20Tokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"setMarketPair","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"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526019600755601960085560056009556005600a556019600b55601e600c55601d600d555f600e556009600a6200003b91906200032e565b6200004a90620f424062000345565b600f556200005b6009600a6200032e565b6200006a90620f424062000345565b6010556200007b6009600a6200032e565b6200008a90620f424062000345565b6011556200009b6009600a6200032e565b620000aa906213d62062000345565b6012556014805461ffff60a81b19169055348015620000c7575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b03191633179055620001286009600a6200032e565b62000138906305f5e10062000345565b335f908152600160208190526040822092909255600390620001615f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600554909116835291208054909216179055620001bf3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001f86009600a6200032e565b62000208906305f5e10062000345565b60405190815260200160405180910390a36200035f565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200027357815f19048211156200025757620002576200021f565b808516156200026557918102915b93841c939080029062000238565b509250929050565b5f826200028b5750600162000328565b816200029957505f62000328565b8160018114620002b25760028114620002bd57620002dd565b600191505062000328565b60ff841115620002d157620002d16200021f565b50506001821b62000328565b5060208310610133831016604e8410600b841016171562000302575081810a62000328565b6200030e838362000233565b805f19048211156200032457620003246200021f565b0290505b92915050565b5f6200033e60ff8416836200027b565b9392505050565b80820281158282048414176200032857620003286200021f565b611a00806200036d5f395ff3fe60806040526004361061013f575f3560e01c8063715018a6116100b357806395d89b411161006d57806395d89b411461036b578063a9059cbb14610397578063bf474bed146103b6578063c9567bf9146103cb578063dd62ed3e146103df578063f5b3c3bf14610423575f80fd5b8063715018a6146102e9578063751039fc146102fd5780637d1db4a51461031157806389291a8f146103265780638da5cb5b1461033a5780638f9a55c014610356575f80fd5b806323b872dd1161010457806323b872dd14610211578063313ce5671461023057806349bd5a5e1461024b57806351bc3c851461028257806353bc13dc1461029657806370a08231146102b5575f80fd5b806306fdde031461014a578063095ea7b31461018a5780630d65df9b146101b95780630faee56f146101da57806318160ddd146101fd575f80fd5b3661014657005b5f80fd5b348015610155575f80fd5b506040805180820190915260068152652bb0b9b432b960d11b60208201525b60405161018191906115f6565b60405180910390f35b348015610195575f80fd5b506101a96101a4366004611655565b610451565b6040519015158152602001610181565b3480156101c4575f80fd5b506101d86101d336600461167f565b610467565b005b3480156101e5575f80fd5b506101ef60125481565b604051908152602001610181565b348015610208575f80fd5b506101ef6104fc565b34801561021c575f80fd5b506101a961022b36600461167f565b61051c565b34801561023b575f80fd5b5060405160098152602001610181565b348015610256575f80fd5b5060145461026a906001600160a01b031681565b6040516001600160a01b039091168152602001610181565b34801561028d575f80fd5b506101d8610583565b3480156102a1575f80fd5b506101d86102b03660046116bd565b6105d4565b3480156102c0575f80fd5b506101ef6102cf3660046116bd565b6001600160a01b03165f9081526001602052604090205490565b3480156102f4575f80fd5b506101d8610629565b348015610308575f80fd5b506101d861069a565b34801561031c575f80fd5b506101ef600f5481565b348015610331575f80fd5b506101d861074b565b348015610345575f80fd5b505f546001600160a01b031661026a565b348015610361575f80fd5b506101ef60105481565b348015610376575f80fd5b506040805180820190915260048152630ae82a6960e31b6020820152610174565b3480156103a2575f80fd5b506101a96103b1366004611655565b610796565b3480156103c1575f80fd5b506101ef60115481565b3480156103d6575f80fd5b506101d86107a2565b3480156103ea575f80fd5b506101ef6103f93660046116d8565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561042e575f80fd5b506101a961043d3660046116bd565b60046020525f908152604090205460ff1681565b5f61045d338484610b69565b5060015b92915050565b6005546001600160a01b0316336001600160a01b031614610486575f80fd5b60405163a9059cbb60e01b81526001600160a01b0383811660048301526024820183905284169063a9059cbb906044016020604051808303815f875af11580156104d2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104f6919061170f565b50505050565b5f6105096009600a611822565b610517906305f5e100611830565b905090565b5f610528848484610c8c565b6105798433610574856040518060600160405280602881526020016119a3602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611272565b610b69565b5060019392505050565b6005546001600160a01b0316336001600160a01b0316146105a2575f80fd5b305f9081526001602052604090205480156105c0576105c0816112aa565b4780156105d0576105d08161141a565b5050565b5f546001600160a01b031633146106065760405162461bcd60e51b81526004016105fd90611847565b60405180910390fd5b6001600160a01b03165f908152600460205260409020805460ff19166001179055565b5f546001600160a01b031633146106525760405162461bcd60e51b81526004016105fd90611847565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106c35760405162461bcd60e51b81526004016105fd90611847565b6106cf6009600a611822565b6106dd906305f5e100611830565b600f556106ec6009600a611822565b6106fa906305f5e100611830565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61072a6009600a611822565b610738906305f5e100611830565b60405190815260200160405180910390a1565b6005546001600160a01b0316336001600160a01b03161461076a575f80fd5b60405133904780156108fc02915f818181858888f19350505050158015610793573d5f803e3d5ffd5b50565b5f61045d338484610c8c565b5f546001600160a01b031633146107cb5760405162461bcd60e51b81526004016105fd90611847565b601454600160a01b900460ff16156108255760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016105fd565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561086e9030906108606009600a611822565b610574906305f5e100611830565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108be573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108e2919061187c565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610941573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610965919061187c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156109af573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109d3919061187c565b601480546001600160a01b039283166001600160a01b031990911681179091555f908152600460205260409020805460ff191660011790556013541663f305d7194730610a34816001600160a01b03165f9081526001602052604090205490565b5f80610a475f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610aad573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610ad29190611897565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610b27573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b4b919061170f565b506014805462ff00ff60a01b19166201000160a01b17905543600655565b6001600160a01b038316610bcb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105fd565b6001600160a01b038216610c2c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105fd565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610cf05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105fd565b6001600160a01b038216610d525760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105fd565b5f8111610db35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105fd565b5f80546001600160a01b03858116911614801590610dde57505f546001600160a01b03848116911614155b1561113557610e0f6064610e09600b54600e5411610dfe57600754610e02565b6009545b8590611451565b906114d6565b6001600160a01b0385165f9081526004602052604090205490915060ff168015610e4757506013546001600160a01b03848116911614155b8015610e6b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f7257600f54821115610ec25760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016105fd565b60105482610ee4856001600160a01b03165f9081526001602052604090205490565b610eee91906118c2565b1115610f3c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105fd565b436006546003610f4c91906118c2565b1115610f5d57823b15610f5d575f80fd5b600e8054905f610f6c836118d5565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610fb257506001600160a01b0383165f9081526003602052604090205460ff16155b156110315760105482610fd9856001600160a01b03165f9081526001602052604090205490565b610fe391906118c2565b11156110315760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105fd565b6001600160a01b0383165f9081526004602052604090205460ff16801561106157506001600160a01b0384163014155b1561108e5761108b6064610e09600c54600e541161108157600854610e02565b600a548590611451565b90505b305f90815260016020526040902054601454600160a81b900460ff161580156110ce57506001600160a01b0384165f9081526004602052604090205460ff165b80156110e35750601454600160b01b900460ff165b80156110f0575060115481115b80156110ff5750600d54600e54115b156111335761112161111c8461111784601254611517565b611517565b6112aa565b478015611131576111314761141a565b505b505b80156111ad57305f90815260016020526040902054611154908261152b565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111a49085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111cf9083611589565b6001600160a01b0385165f908152600160205260409020556112126111f48383611589565b6001600160a01b0385165f908152600160205260409020549061152b565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61125b8585611589565b60405190815260200160405180910390a350505050565b5f81848411156112955760405162461bcd60e51b81526004016105fd91906115f6565b505f6112a184866118ed565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112f0576112f0611900565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611347573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061136b919061187c565b8160018151811061137e5761137e611900565b6001600160a01b0392831660209182029290920101526013546113a49130911684610b69565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113dc9085905f90869030904290600401611914565b5f604051808303815f87803b1580156113f3575f80fd5b505af1158015611405573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156105d0573d5f803e3d5ffd5b5f825f0361146057505f610461565b5f61146b8385611830565b9050826114788583611983565b146114cf5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016105fd565b9392505050565b5f6114cf83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ca565b5f81831161152557826114cf565b50919050565b5f8061153783856118c2565b9050838110156114cf5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016105fd565b5f6114cf83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611272565b5f81836115ea5760405162461bcd60e51b81526004016105fd91906115f6565b505f6112a18486611983565b5f6020808352835180828501525f5b8181101561162157858101830151858201604001528201611605565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610793575f80fd5b5f8060408385031215611666575f80fd5b823561167181611641565b946020939093013593505050565b5f805f60608486031215611691575f80fd5b833561169c81611641565b925060208401356116ac81611641565b929592945050506040919091013590565b5f602082840312156116cd575f80fd5b81356114cf81611641565b5f80604083850312156116e9575f80fd5b82356116f481611641565b9150602083013561170481611641565b809150509250929050565b5f6020828403121561171f575f80fd5b815180151581146114cf575f80fd5b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561177c57815f19048211156117625761176261172e565b8085161561176f57918102915b93841c9390800290611747565b509250929050565b5f8261179257506001610461565b8161179e57505f610461565b81600181146117b457600281146117be576117da565b6001915050610461565b60ff8411156117cf576117cf61172e565b50506001821b610461565b5060208310610133831016604e8410600b84101617156117fd575081810a610461565b6118078383611742565b805f190482111561181a5761181a61172e565b029392505050565b5f6114cf60ff841683611784565b80820281158282048414176104615761046161172e565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561188c575f80fd5b81516114cf81611641565b5f805f606084860312156118a9575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156104615761046161172e565b5f600182016118e6576118e661172e565b5060010190565b818103818111156104615761046161172e565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156119625784516001600160a01b03168352938301939183019160010161193d565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261199d57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212203df18bd7bd2bc77ce459ff444ab6f295ea896784d99a040b359c50c6e87a87f464736f6c63430008140033

0x60806040526004361061013f575f3560e01c8063715018a6116100b357806395d89b411161006d57806395d89b411461036b578063a9059cbb14610397578063bf474bed146103b6578063c9567bf9146103cb578063dd62ed3e146103df578063f5b3c3bf14610423575f80fd5b8063715018a6146102e9578063751039fc146102fd5780637d1db4a51461031157806389291a8f146103265780638da5cb5b1461033a5780638f9a55c014610356575f80fd5b806323b872dd1161010457806323b872dd14610211578063313ce5671461023057806349bd5a5e1461024b57806351bc3c851461028257806353bc13dc1461029657806370a08231146102b5575f80fd5b806306fdde031461014a578063095ea7b31461018a5780630d65df9b146101b95780630faee56f146101da57806318160ddd146101fd575f80fd5b3661014657005b5f80fd5b348015610155575f80fd5b506040805180820190915260068152652bb0b9b432b960d11b60208201525b60405161018191906115f6565b60405180910390f35b348015610195575f80fd5b506101a96101a4366004611655565b610451565b6040519015158152602001610181565b3480156101c4575f80fd5b506101d86101d336600461167f565b610467565b005b3480156101e5575f80fd5b506101ef60125481565b604051908152602001610181565b348015610208575f80fd5b506101ef6104fc565b34801561021c575f80fd5b506101a961022b36600461167f565b61051c565b34801561023b575f80fd5b5060405160098152602001610181565b348015610256575f80fd5b5060145461026a906001600160a01b031681565b6040516001600160a01b039091168152602001610181565b34801561028d575f80fd5b506101d8610583565b3480156102a1575f80fd5b506101d86102b03660046116bd565b6105d4565b3480156102c0575f80fd5b506101ef6102cf3660046116bd565b6001600160a01b03165f9081526001602052604090205490565b3480156102f4575f80fd5b506101d8610629565b348015610308575f80fd5b506101d861069a565b34801561031c575f80fd5b506101ef600f5481565b348015610331575f80fd5b506101d861074b565b348015610345575f80fd5b505f546001600160a01b031661026a565b348015610361575f80fd5b506101ef60105481565b348015610376575f80fd5b506040805180820190915260048152630ae82a6960e31b6020820152610174565b3480156103a2575f80fd5b506101a96103b1366004611655565b610796565b3480156103c1575f80fd5b506101ef60115481565b3480156103d6575f80fd5b506101d86107a2565b3480156103ea575f80fd5b506101ef6103f93660046116d8565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561042e575f80fd5b506101a961043d3660046116bd565b60046020525f908152604090205460ff1681565b5f61045d338484610b69565b5060015b92915050565b6005546001600160a01b0316336001600160a01b031614610486575f80fd5b60405163a9059cbb60e01b81526001600160a01b0383811660048301526024820183905284169063a9059cbb906044016020604051808303815f875af11580156104d2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104f6919061170f565b50505050565b5f6105096009600a611822565b610517906305f5e100611830565b905090565b5f610528848484610c8c565b6105798433610574856040518060600160405280602881526020016119a3602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611272565b610b69565b5060019392505050565b6005546001600160a01b0316336001600160a01b0316146105a2575f80fd5b305f9081526001602052604090205480156105c0576105c0816112aa565b4780156105d0576105d08161141a565b5050565b5f546001600160a01b031633146106065760405162461bcd60e51b81526004016105fd90611847565b60405180910390fd5b6001600160a01b03165f908152600460205260409020805460ff19166001179055565b5f546001600160a01b031633146106525760405162461bcd60e51b81526004016105fd90611847565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106c35760405162461bcd60e51b81526004016105fd90611847565b6106cf6009600a611822565b6106dd906305f5e100611830565b600f556106ec6009600a611822565b6106fa906305f5e100611830565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61072a6009600a611822565b610738906305f5e100611830565b60405190815260200160405180910390a1565b6005546001600160a01b0316336001600160a01b03161461076a575f80fd5b60405133904780156108fc02915f818181858888f19350505050158015610793573d5f803e3d5ffd5b50565b5f61045d338484610c8c565b5f546001600160a01b031633146107cb5760405162461bcd60e51b81526004016105fd90611847565b601454600160a01b900460ff16156108255760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016105fd565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561086e9030906108606009600a611822565b610574906305f5e100611830565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108be573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108e2919061187c565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610941573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610965919061187c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156109af573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109d3919061187c565b601480546001600160a01b039283166001600160a01b031990911681179091555f908152600460205260409020805460ff191660011790556013541663f305d7194730610a34816001600160a01b03165f9081526001602052604090205490565b5f80610a475f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610aad573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610ad29190611897565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610b27573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b4b919061170f565b506014805462ff00ff60a01b19166201000160a01b17905543600655565b6001600160a01b038316610bcb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105fd565b6001600160a01b038216610c2c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105fd565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610cf05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105fd565b6001600160a01b038216610d525760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105fd565b5f8111610db35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105fd565b5f80546001600160a01b03858116911614801590610dde57505f546001600160a01b03848116911614155b1561113557610e0f6064610e09600b54600e5411610dfe57600754610e02565b6009545b8590611451565b906114d6565b6001600160a01b0385165f9081526004602052604090205490915060ff168015610e4757506013546001600160a01b03848116911614155b8015610e6b57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f7257600f54821115610ec25760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016105fd565b60105482610ee4856001600160a01b03165f9081526001602052604090205490565b610eee91906118c2565b1115610f3c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105fd565b436006546003610f4c91906118c2565b1115610f5d57823b15610f5d575f80fd5b600e8054905f610f6c836118d5565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610fb257506001600160a01b0383165f9081526003602052604090205460ff16155b156110315760105482610fd9856001600160a01b03165f9081526001602052604090205490565b610fe391906118c2565b11156110315760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105fd565b6001600160a01b0383165f9081526004602052604090205460ff16801561106157506001600160a01b0384163014155b1561108e5761108b6064610e09600c54600e541161108157600854610e02565b600a548590611451565b90505b305f90815260016020526040902054601454600160a81b900460ff161580156110ce57506001600160a01b0384165f9081526004602052604090205460ff165b80156110e35750601454600160b01b900460ff165b80156110f0575060115481115b80156110ff5750600d54600e54115b156111335761112161111c8461111784601254611517565b611517565b6112aa565b478015611131576111314761141a565b505b505b80156111ad57305f90815260016020526040902054611154908261152b565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111a49085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111cf9083611589565b6001600160a01b0385165f908152600160205260409020556112126111f48383611589565b6001600160a01b0385165f908152600160205260409020549061152b565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61125b8585611589565b60405190815260200160405180910390a350505050565b5f81848411156112955760405162461bcd60e51b81526004016105fd91906115f6565b505f6112a184866118ed565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112f0576112f0611900565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611347573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061136b919061187c565b8160018151811061137e5761137e611900565b6001600160a01b0392831660209182029290920101526013546113a49130911684610b69565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113dc9085905f90869030904290600401611914565b5f604051808303815f87803b1580156113f3575f80fd5b505af1158015611405573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156105d0573d5f803e3d5ffd5b5f825f0361146057505f610461565b5f61146b8385611830565b9050826114788583611983565b146114cf5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016105fd565b9392505050565b5f6114cf83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ca565b5f81831161152557826114cf565b50919050565b5f8061153783856118c2565b9050838110156114cf5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016105fd565b5f6114cf83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611272565b5f81836115ea5760405162461bcd60e51b81526004016105fd91906115f6565b505f6112a18486611983565b5f6020808352835180828501525f5b8181101561162157858101830151858201604001528201611605565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610793575f80fd5b5f8060408385031215611666575f80fd5b823561167181611641565b946020939093013593505050565b5f805f60608486031215611691575f80fd5b833561169c81611641565b925060208401356116ac81611641565b929592945050506040919091013590565b5f602082840312156116cd575f80fd5b81356114cf81611641565b5f80604083850312156116e9575f80fd5b82356116f481611641565b9150602083013561170481611641565b809150509250929050565b5f6020828403121561171f575f80fd5b815180151581146114cf575f80fd5b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561177c57815f19048211156117625761176261172e565b8085161561176f57918102915b93841c9390800290611747565b509250929050565b5f8261179257506001610461565b8161179e57505f610461565b81600181146117b457600281146117be576117da565b6001915050610461565b60ff8411156117cf576117cf61172e565b50506001821b610461565b5060208310610133831016604e8410600b84101617156117fd575081810a610461565b6118078383611742565b805f190482111561181a5761181a61172e565b029392505050565b5f6114cf60ff841683611784565b80820281158282048414176104615761046161172e565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561188c575f80fd5b81516114cf81611641565b5f805f606084860312156118a9575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156104615761046161172e565b5f600182016118e6576118e661172e565b5060010190565b818103818111156104615761046161172e565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156119625784516001600160a01b03168352938301939183019160010161193d565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261199d57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212203df18bd7bd2bc77ce459ff444ab6f295ea896784d99a040b359c50c6e87a87f464736f6c63430008140033

3604:8361:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5450:83;;;;;;;;;;-1:-1:-1;5520:5:0;;;;;;;;;;;;-1:-1:-1;;;5520:5:0;;;;5450:83;;;;;;;:::i;:::-;;;;;;;;6283:161;;;;;;;;;;-1:-1:-1;6283:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6283:161:0;1023:187:1;10345:190:0;;;;;;;;;;-1:-1:-1;10345:190:0;;;;;:::i;:::-;;:::i;:::-;;4717:51;;;;;;;;;;;;;;;;;;;1822:25:1;;;1810:2;1795:18;4717:51:0;1676:177:1;5727:95:0;;;;;;;;;;;;;:::i;6452:313::-;;;;;;;;;;-1:-1:-1;6452:313:0;;;;;:::i;:::-;;:::i;5636:83::-;;;;;;;;;;-1:-1:-1;5636:83:0;;4348:1;2000:36:1;;1988:2;1973:18;5636:83:0;1858:184:1;4826:28:0;;;;;;;;;;-1:-1:-1;4826:28:0;;;;-1:-1:-1;;;;;4826:28:0;;;;;;-1:-1:-1;;;;;2211:32:1;;;2193:51;;2181:2;2166:18;4826:28:0;2047:203:1;10543:348:0;;;;;;;;;;;;;:::i;7116:96::-;;;;;;;;;;-1:-1:-1;7116:96:0;;;;;:::i;:::-;;:::i;5830:119::-;;;;;;;;;;-1:-1:-1;5830:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5923:18:0;5896:7;5923:18;;;:9;:18;;;;;;;5830:119;2685:148;;;;;;;;;;;;;:::i;10899:159::-;;;;;;;;;;;;;:::i;4531:53::-;;;;;;;;;;;;;;;;10189:148;;;;;;;;;;;;;:::i;2471:79::-;;;;;;;;;;-1:-1:-1;2509:7:0;2536:6;-1:-1:-1;;;;;2536:6:0;2471:79;;4591:55;;;;;;;;;;;;;;;;5541:87;;;;;;;;;;-1:-1:-1;5613:7:0;;;;;;;;;;;;-1:-1:-1;;;5613:7:0;;;;5541:87;;5957:167;;;;;;;;;;-1:-1:-1;5957:167:0;;;;;:::i;:::-;;:::i;4653:57::-;;;;;;;;;;;;;;;;11166:759;;;;;;;;;;;;;:::i;6132:143::-;;;;;;;;;;-1:-1:-1;6132:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6240:18:0;;;6213:7;6240:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6132:143;3876:43;;;;;;;;;;-1:-1:-1;3876:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;6283:161;6358:4;6375:39;306:10;6398:7;6407:6;6375:8;:39::i;:::-;-1:-1:-1;6432:4:0;6283:161;;;;;:::o;10345:190::-;10464:10;;-1:-1:-1;;;;;10464:10:0;306;-1:-1:-1;;;;;10448:26:0;;10440:35;;;;;;10486:41;;-1:-1:-1;;;10486:41:0;;-1:-1:-1;;;;;3092:32:1;;;10486:41:0;;;3074:51:1;3141:18;;;3134:34;;;10486:27:0;;;;;3047:18:1;;10486:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10345:190;;;:::o;5727:95::-;5780:7;4403:13;4348:1;4403:2;:13;:::i;:::-;4391:25;;:9;:25;:::i;:::-;5800:14;;5727:95;:::o;6452:313::-;6550:4;6567:36;6577:6;6585:9;6596:6;6567:9;:36::i;:::-;6614:121;6623:6;306:10;6645:89;6683:6;6645:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6645:19:0;;;;;;:11;:19;;;;;;;;306:10;6645:33;;;;;;;;;;:37;:89::i;:::-;6614:8;:121::i;:::-;-1:-1:-1;6753:4:0;6452:313;;;;;:::o;10543:348::-;10607:10;;-1:-1:-1;;;;;10607:10:0;306;-1:-1:-1;;;;;10593:24:0;;10585:33;;;;;;10668:4;10629:20;5923:18;;;:9;:18;;;;;;10688:14;;10685:73;;10716:30;10733:12;10716:16;:30::i;:::-;10787:21;10822:12;;10819:65;;10848:24;10861:10;10848:12;:24::i;:::-;10574:317;;10543:348::o;7116:96::-;2598:6;;-1:-1:-1;;;;;2598:6:0;306:10;2598:22;2590:67;;;;-1:-1:-1;;;2590:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;7181:16:0::1;;::::0;;;:10:::1;:16;::::0;;;;:23;;-1:-1:-1;;7181:23:0::1;7200:4;7181:23;::::0;;7116:96::o;2685:148::-;2598:6;;-1:-1:-1;;;;;2598:6:0;306:10;2598:22;2590:67;;;;-1:-1:-1;;;2590:67:0;;;;;;;:::i;:::-;2792:1:::1;2776:6:::0;;2755:40:::1;::::0;-1:-1:-1;;;;;2776:6:0;;::::1;::::0;2755:40:::1;::::0;2792:1;;2755:40:::1;2823:1;2806:19:::0;;-1:-1:-1;;;;;;2806:19:0::1;::::0;;2685:148::o;10899:159::-;2598:6;;-1:-1:-1;;;;;2598:6:0;306:10;2598:22;2590:67;;;;-1:-1:-1;;;2590:67:0;;;;;;;:::i;:::-;4403:13:::1;4348:1;4403:2;:13;:::i;:::-;4391:25;::::0;:9:::1;:25;:::i;:::-;10952:12;:22:::0;4403:13:::1;4348:1;4403:2;:13;:::i;:::-;4391:25;::::0;:9:::1;:25;:::i;:::-;10985:14;:22:::0;11023:27:::1;4403:13;4348:1;4403:2;:13;:::i;:::-;4391:25;::::0;:9:::1;:25;:::i;:::-;11023:27;::::0;1822:25:1;;;1810:2;1795:18;11023:27:0::1;;;;;;;10899:159::o:0;10189:148::-;10256:10;;-1:-1:-1;;;;;10256:10:0;306;-1:-1:-1;;;;;10240:26:0;;10232:35;;;;;;10278:51;;10286:10;;10307:21;10278:51;;;;;;;;;10307:21;10286:10;10278:51;;;;;;;;;;;;;;;;;;;;;10189:148::o;5957:167::-;6035:4;6052:42;306:10;6076:9;6087:6;6052:9;:42::i;11166:759::-;2598:6;;-1:-1:-1;;;;;2598:6:0;306:10;2598:22;2590:67;;;;-1:-1:-1;;;2590:67:0;;;;;;;:::i;:::-;11230:11:::1;::::0;-1:-1:-1;;;11230:11:0;::::1;;;11229:12;11221:47;;;::::0;-1:-1:-1;;;11221:47:0;;5712:2:1;11221:47:0::1;::::0;::::1;5694:21:1::0;5751:2;5731:18;;;5724:30;5790:25;5770:18;;;5763:53;5833:18;;11221:47:0::1;5510:347:1::0;11221:47:0::1;11279:15;:80:::0;;-1:-1:-1;;;;;;11279:80:0::1;11316:42;11279:80:::0;;::::1;::::0;;;11370:58:::1;::::0;11387:4:::1;::::0;4403:13:::1;4348:1;4403:2;:13;:::i;:::-;4391:25;::::0;:9:::1;:25;:::i;11370:58::-;11473:15;;;;;;;;;-1:-1:-1::0;;;;;11473:15:0::1;-1:-1:-1::0;;;;;11473:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11455:55:0::1;;11519:4;11526:15;;;;;;;;;-1:-1:-1::0;;;;;11526:15:0::1;-1:-1:-1::0;;;;;11526:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11455:94;::::0;-1:-1:-1;;;;;;11455:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6348:15:1;;;11455:94:0::1;::::0;::::1;6330:34:1::0;6400:15;;6380:18;;;6373:43;6265:18;;11455:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11439:13;:110:::0;;-1:-1:-1;;;;;11439:110:0;;::::1;-1:-1:-1::0;;;;;;11439:110:0;;::::1;::::0;::::1;::::0;;;:13:::1;11560:34:::0;;;:10:::1;:34;::::0;;;;:41;;-1:-1:-1;;11560:41:0::1;11439:110:::0;11560:41:::1;::::0;;11612:15:::1;::::0;::::1;:31;11651:21;11682:4;11688:24;11682:4:::0;-1:-1:-1;;;;;5923:18:0;5896:7;5923:18;;;:9;:18;;;;;;;5830:119;11688:24:::1;11713:1;11715::::0;11717:7:::1;2509::::0;2536:6;-1:-1:-1;;;;;2536:6:0;;2471:79;11717:7:::1;11612:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11612:129:0;;;-1:-1:-1;;;;;6786:15:1;;;11612:129:0::1;::::0;::::1;6768:34:1::0;6818:18;;;6811:34;;;;6861:18;;;6854:34;;;;6904:18;;;6897:34;6968:15;;;6947:19;;;6940:44;11725:15:0::1;7000:19:1::0;;;6993:35;6702:19;;11612:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11759:13:0::1;::::0;11790:15:::1;::::0;11752:71:::1;::::0;-1:-1:-1;;;11752:71:0;;-1:-1:-1;;;;;11790:15:0;;::::1;11752:71;::::0;::::1;3074:51:1::0;-1:-1:-1;;3141:18:1;;;3134:34;11759:13:0;::::1;::::0;-1:-1:-1;11752:29:0::1;::::0;3047:18:1;;11752:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11834:11:0::1;:18:::0;;-1:-1:-1;;;;11863:18:0;-1:-1:-1;;;11863:18:0;;;11905:12:::1;11892:10;:25:::0;11166:759::o;6773:335::-;-1:-1:-1;;;;;6866:19:0;;6858:68;;;;-1:-1:-1;;;6858:68:0;;7552:2:1;6858: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;;6858:68:0;7350:400:1;6858:68:0;-1:-1:-1;;;;;6945:21:0;;6937:68;;;;-1:-1:-1;;;6937:68:0;;7957:2:1;6937: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;;6937:68:0;7755:398:1;6937:68:0;-1:-1:-1;;;;;7016:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7068:32;;1822:25:1;;;7068:32:0;;1795:18:1;7068:32:0;;;;;;;6773:335;;;:::o;7220:2159::-;-1:-1:-1;;;;;7308:18:0;;7300:68;;;;-1:-1:-1;;;7300:68:0;;8360:2:1;7300: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;;7300:68:0;8158:401:1;7300:68:0;-1:-1:-1;;;;;7387:16:0;;7379:64;;;;-1:-1:-1;;;7379:64:0;;8766:2:1;7379: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;;7379:64:0;8564:399:1;7379:64:0;7471:1;7462:6;:10;7454:64;;;;-1:-1:-1;;;7454:64:0;;9170:2:1;7454: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;;7454:64:0;8968:405:1;7454:64:0;7529:17;2536:6;;-1:-1:-1;;;;;7563:15:0;;;2536:6;;7563:15;;;;:32;;-1:-1:-1;2509:7:0;2536:6;-1:-1:-1;;;;;7582:13:0;;;2536:6;;7582:13;;7563:32;7559:1464;;;7624:76;7696:3;7624:67;7646:15;;7636:9;;:25;7635:55;;7676:14;;7635:55;;;7663:12;;7635:55;7624:6;;:10;:67::i;:::-;:71;;:76::i;:::-;-1:-1:-1;;;;;7721:16:0;;;;;;:10;:16;;;;;;7612:88;;-1:-1:-1;7721:16:0;;:50;;;;-1:-1:-1;7755:15:0;;-1:-1:-1;;;;;7741:30:0;;;7755:15;;7741:30;;7721:50;:78;;;;-1:-1:-1;;;;;;7777:22:0;;;;;;:18;:22;;;;;;;;7775:24;7721:78;7717:431;;;7839:12;;7829:6;:22;;7821:60;;;;-1:-1:-1;;;7821:60:0;;9580:2:1;7821:60:0;;;9562:21:1;9619:2;9599:18;;;9592:30;9658:27;9638:18;;;9631:55;9703:18;;7821:60:0;9378:349:1;7821:60:0;7934:14;;7924:6;7908:13;7918:2;-1:-1:-1;;;;;5923:18:0;5896:7;5923:18;;;:9;:18;;;;;;;5830:119;7908:13;:22;;;;:::i;:::-;:40;;7900:79;;;;-1:-1:-1;;;7900:79:0;;10064:2:1;7900:79:0;;;10046:21:1;10103:2;10083:18;;;10076:30;10142:28;10122:18;;;10115:56;10188:18;;7900:79:0;9862:350:1;7900:79:0;8022:12;8004:10;;8017:1;8004:14;;;;:::i;:::-;:30;8000:103;;;9626:20;;9674:8;8059:24;;;;;;8121:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7717:431;-1:-1:-1;;;;;8169:14:0;;;;;;:10;:14;;;;;;;;8168:15;:43;;;;-1:-1:-1;;;;;;8189:22:0;;;;;;:18;:22;;;;;;;;8187:24;8168:43;8164:163;;;8266:14;;8256:6;8240:13;8250:2;-1:-1:-1;;;;;5923:18:0;5896:7;5923:18;;;:9;:18;;;;;;;5830:119;8240:13;:22;;;;:::i;:::-;:40;;8232:79;;;;-1:-1:-1;;;8232:79:0;;10064:2:1;8232:79:0;;;10046:21:1;10103:2;10083:18;;;10076:30;10142:28;10122:18;;;10115:56;10188:18;;8232:79:0;9862:350:1;8232:79:0;-1:-1:-1;;;;;8346:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;8364:20:0;;8379:4;8364:20;;8346:38;8343:169;;;8417:79;8492:3;8417:70;8439:16;;8429:9;;:26;8428:58;;8471:15;;8428:58;;;8457:13;;8417:6;;:10;:70::i;:79::-;8405:91;;8343:169;8577:4;8528:28;5923:18;;;:9;:18;;;;;;8603:6;;-1:-1:-1;;;8603:6:0;;;;8602:7;:25;;;;-1:-1:-1;;;;;;8613:14:0;;;;;;:10;:14;;;;;;;;8602:25;:40;;;;-1:-1:-1;8631:11:0;;-1:-1:-1;;;8631:11:0;;;;8602:40;:82;;;;;8667:17;;8646:20;:38;8602:82;:114;;;;;8698:18;;8688:9;;:28;8602:114;8598:414;;;8737:67;8754:49;8758:6;8765:37;8769:20;8790:11;;8765:3;:37::i;:::-;8754:3;:49::i;:::-;8737:16;:67::i;:::-;8852:21;8895:22;;8892:105;;8942:35;8955:21;8942:12;:35::i;:::-;8718:294;8598:414;7597:1426;7559:1464;9038:11;;9035:161;;9106:4;9088:24;;;;:9;:24;;;;;;:39;;9117:9;9088:28;:39::i;:::-;9081:4;9063:24;;;;:9;:24;;;;;;;:64;;;;9145:39;;-1:-1:-1;;;;;9145:39:0;;;;;;;9174:9;1822:25:1;;1810:2;1795:18;;1676:177;9145:39:0;;;;;;;;9035:161;-1:-1:-1;;;;;9222:15:0;;;;;;:9;:15;;;;;;:27;;9242:6;9222:19;:27::i;:::-;-1:-1:-1;;;;;9206:15:0;;;;;;:9;:15;;;;;:43;9274:40;9292:21;:6;9303:9;9292:10;:21::i;:::-;-1:-1:-1;;;;;9274:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9260:13:0;;;;;;;:9;:13;;;;;:54;;;;9330:41;;;9349:21;:6;9360:9;9349:10;:21::i;:::-;9330:41;;1822:25:1;;;1810:2;1795:18;9330:41:0;;;;;;;7289:2090;7220:2159;;;:::o;1363:190::-;1449:7;1485:12;1477:6;;;;1469:29;;;;-1:-1:-1;;;1469:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1509:9:0;1521:5;1525:1;1521;:5;:::i;:::-;1509:17;1363:190;-1:-1:-1;;;;;1363:190:0:o;9698:483::-;5049:6;:13;;-1:-1:-1;;;;5049:13:0;-1:-1:-1;;;5049:13:0;;;9800:16:::1;::::0;;9814:1:::1;9800:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9800:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9800:16:0::1;9776:40;;9845:4;9827;9832:1;9827:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9827:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9871:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9871:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9827:7;;9871:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9861:4;9866:1;9861:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9861:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9936:15:::1;::::0;9904:62:::1;::::0;9921:4:::1;::::0;9936:15:::1;9954:11:::0;9904:8:::1;:62::i;:::-;9977:15;::::0;:196:::1;::::0;-1:-1:-1;;;9977:196:0;;-1:-1:-1;;;;;9977:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10058:11;;9977:15:::1;::::0;10100:4;;10127::::1;::::0;10147:15:::1;::::0;9977:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5085:6:0;:14;;-1:-1:-1;;;;5085:14:0;;;-1:-1:-1;;;;9698:483:0:o;11066:92::-;11123:10;;:27;;-1:-1:-1;;;;;11123:10:0;;;;:27;;;;;11143:6;;11123:10;:27;:10;:27;11143:6;11123:10;:27;;;;;;;;;;;;;;;;;;;1561:246;1619:7;1643:1;1648;1643:6;1639:47;;-1:-1:-1;1673:1:0;1666:8;;1639:47;1696:9;1708:5;1712:1;1708;:5;:::i;:::-;1696:17;-1:-1:-1;1741:1:0;1732:5;1736:1;1696:17;1732:5;:::i;:::-;:10;1724:56;;;;-1:-1:-1;;;1724:56:0;;12163:2:1;1724:56:0;;;12145:21:1;12202:2;12182:18;;;12175:30;12241:34;12221:18;;;12214:62;-1:-1:-1;;;12292:18:1;;;12285:31;12333:19;;1724:56:0;11961:397:1;1724:56:0;1798:1;1561:246;-1:-1:-1;;;1561:246:0:o;1815:132::-;1873:7;1900:39;1904:1;1907;1900:39;;;;;;;;;;;;;;;;;:3;:39::i;9389:98::-;9446:7;9473:1;9471;:3;9470:9;;9478:1;9470:9;;;-1:-1:-1;9476:1:0;9389:98;-1:-1:-1;9389:98:0:o;1032:179::-;1090:7;;1122:5;1126:1;1122;:5;:::i;:::-;1110:17;;1151:1;1146;:6;;1138:46;;;;-1:-1:-1;;;1138:46:0;;12565:2:1;1138:46:0;;;12547:21:1;12604:2;12584:18;;;12577:30;12643:29;12623:18;;;12616:57;12690:18;;1138:46:0;12363:351:1;1219:136:0;1277:7;1304:43;1308:1;1311;1304:43;;;;;;;;;;;;;;;;;:3;:43::i;1955:189::-;2041:7;2076:12;2069:5;2061:28;;;;-1:-1:-1;;;2061:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2100:9:0;2112:5;2116:1;2112;: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;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;1215:456::-;1292:6;1300;1308;1361:2;1349:9;1340:7;1336:23;1332:32;1329:52;;;1377:1;1374;1367:12;1329:52;1416:9;1403:23;1435:31;1460:5;1435:31;:::i;:::-;1485:5;-1:-1:-1;1542:2:1;1527:18;;1514:32;1555:33;1514:32;1555:33;:::i;:::-;1215:456;;1607:7;;-1:-1:-1;;;1661:2:1;1646:18;;;;1633:32;;1215:456::o;2255:247::-;2314:6;2367:2;2355:9;2346:7;2342:23;2338:32;2335:52;;;2383:1;2380;2373:12;2335:52;2422:9;2409:23;2441:31;2466:5;2441: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;3179:277::-;3246:6;3299:2;3287:9;3278:7;3274:23;3270:32;3267:52;;;3315:1;3312;3305:12;3267:52;3347:9;3341:16;3400:5;3393:13;3386:21;3379:5;3376:32;3366:60;;3422:1;3419;3412:12;3461:127;3522:10;3517:3;3513:20;3510:1;3503:31;3553:4;3550:1;3543:15;3577:4;3574:1;3567:15;3593:422;3682:1;3725:5;3682:1;3739:270;3760:7;3750:8;3747:21;3739:270;;;3819:4;3815:1;3811:6;3807:17;3801:4;3798:27;3795:53;;;3828:18;;:::i;:::-;3878:7;3868:8;3864:22;3861:55;;;3898:16;;;;3861:55;3977:22;;;;3937:15;;;;3739:270;;;3743:3;3593:422;;;;;:::o;4020:806::-;4069:5;4099:8;4089:80;;-1:-1:-1;4140:1:1;4154:5;;4089:80;4188:4;4178:76;;-1:-1:-1;4225:1:1;4239:5;;4178:76;4270:4;4288:1;4283:59;;;;4356:1;4351:130;;;;4263:218;;4283:59;4313:1;4304:10;;4327:5;;;4351:130;4388:3;4378:8;4375:17;4372:43;;;4395:18;;:::i;:::-;-1:-1:-1;;4451:1:1;4437:16;;4466:5;;4263:218;;4565:2;4555:8;4552:16;4546:3;4540:4;4537:13;4533:36;4527:2;4517:8;4514:16;4509:2;4503:4;4500:12;4496:35;4493:77;4490:159;;;-1:-1:-1;4602:19:1;;;4634:5;;4490:159;4681:34;4706:8;4700:4;4681:34;:::i;:::-;4751:6;4747:1;4743:6;4739:19;4730:7;4727:32;4724:58;;;4762:18;;:::i;:::-;4800:20;;4020:806;-1:-1:-1;;;4020:806:1:o;4831:140::-;4889:5;4918:47;4959:4;4949:8;4945:19;4939:4;4918:47;:::i;4976:168::-;5049:9;;;5080;;5097:15;;;5091:22;;5077:37;5067:71;;5118:18;;:::i;5149:356::-;5351:2;5333:21;;;5370:18;;;5363:30;5429:34;5424:2;5409:18;;5402:62;5496:2;5481:18;;5149:356::o;5862:251::-;5932:6;5985:2;5973:9;5964:7;5960:23;5956:32;5953:52;;;6001:1;5998;5991:12;5953:52;6033:9;6027:16;6052:31;6077:5;6052:31;:::i;7039:306::-;7127:6;7135;7143;7196:2;7184:9;7175:7;7171:23;7167:32;7164:52;;;7212:1;7209;7202:12;7164:52;7241:9;7235:16;7225:26;;7291:2;7280:9;7276:18;7270:25;7260:35;;7335:2;7324:9;7320:18;7314:25;7304:35;;7039:306;;;;;:::o;9732:125::-;9797:9;;;9818:10;;;9815:36;;;9831:18;;:::i;10217:135::-;10256:3;10277:17;;;10274:43;;10297:18;;:::i;:::-;-1:-1:-1;10344:1:1;10333:13;;10217:135::o;10357:128::-;10424:9;;;10445:11;;;10442:37;;;10459:18;;:::i;10622:127::-;10683:10;10678:3;10674:20;10671:1;10664:31;10714:4;10711:1;10704:15;10738:4;10735:1;10728:15;10754:980;11016:4;11064:3;11053:9;11049:19;11095:6;11084:9;11077:25;11121:2;11159:6;11154:2;11143:9;11139:18;11132:34;11202:3;11197:2;11186:9;11182:18;11175:31;11226:6;11261;11255:13;11292:6;11284;11277:22;11330:3;11319:9;11315:19;11308:26;;11369:2;11361:6;11357:15;11343:29;;11390:1;11400:195;11414:6;11411:1;11408:13;11400:195;;;11479:13;;-1:-1:-1;;;;;11475:39:1;11463:52;;11570:15;;;;11535:12;;;;11511:1;11429:9;11400:195;;;-1:-1:-1;;;;;;;11651:32:1;;;;11646:2;11631:18;;11624:60;-1:-1:-1;;;11715:3:1;11700:19;11693:35;11612:3;10754:980;-1:-1:-1;;;10754:980:1:o;11739:217::-;11779:1;11805;11795:132;;11849:10;11844:3;11840:20;11837:1;11830:31;11884:4;11881:1;11874:15;11912:4;11909:1;11902:15;11795:132;-1:-1:-1;11941:9:1;;11739:217::o

ipfs://3df18bd7bd2bc77ce459ff444ab6f295ea896784d99a040b359c50c6e87a87f4