Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-11-08
*/

/*

https://www.youtube.com/watch?v=0hKHIgW4WVQ&ab_channel=U.S.SecretService

https://t.me/TrumprobotDog

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.25;

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);
    }

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

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

    uint256 private _initialBuyTax=18;
    uint256 private _initialSellTax=20;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;

    uint256 private _reduceBuyTaxAt=30;

    uint256 private _reduceSellTaxAt=35;
    uint256 private _preventSwapBefore=35;
    uint256 private _buyCount=0;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 10000000000 * 10**_decimals;
    string private constant _name = unicode"Trump's Robot Dog";
    string private constant _symbol = unicode"ASTRO";
    uint256 public _maxTxAmount =   200000000 * 10**_decimals;
    uint256 public _maxWalletSize = 200000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 100000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 100000000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    uint256 private sellsPerBlock = 3;
    uint256 private buysFirstBlock = 21;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor () {

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

        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        marketPair[address(uniswapV2Pair)] = true;
        isExile[address(uniswapV2Pair)] = true;
    }

    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 from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;

        if (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount> _reduceBuyTaxAt)? _finalBuyTax: _initialBuyTax).div(100);

            if(block.number == firstBlock){
               require(perBuyCount[block.number] < buysFirstBlock, "Exceeds buys on the first block.");
               perBuyCount[block.number]++;
            }

            if (marketPair[from] && to != address(uniswapV2Router) && ! isExile[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            }

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

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

	    if (!marketPair[from] && !marketPair[to] && from!= address(this) ) {
                taxAmount = 0;
            }

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

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

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


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

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

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

    function rescueETH() external {
        require(_msgSender() == _taxWallet);
        payable(_taxWallet).transfer(address(this).balance);
    }

    function rescueTokens(address _tokenAddr, uint _amount) external {
        require(_msgSender() == _taxWallet);
        IERC20(_tokenAddr).transfer(_taxWallet, _amount);
    }

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

    function enableTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isNotRestricted","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"marketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueTokens","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":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f600755601260085560146009555f600a555f600b55601e600c556023600d556023600e555f600f555f6010555f6011556009600a6100439190610642565b61005190630bebc200610657565b6012556100606009600a610642565b61006e90630bebc200610657565b60135561007d6009600a610642565b61008b906305f5e100610657565b60145561009a6009600a610642565b6100a8906305f5e100610657565b60159081556003601855601955601a805461ffff191690553480156100cb575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600680546001600160a01b0319163317905561012a6009600a610642565b610139906402540be400610657565b335f9081526001602081905260408220929092556003906101615f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556017549091168352912080549092161790556101be3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101f56009600a610642565b610204906402540be400610657565b60405190815260200160405180910390a3601680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556102649030906102506009600a610642565b61025f906402540be400610657565b610424565b60165f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102b4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102d8919061066e565b6001600160a01b031663c9c653963060165f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610337573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061035b919061066e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156103a5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103c9919061066e565b601780546001600160a01b0319166001600160a01b0392831690811782555f908152600460209081526040808320805460ff199081166001908117909255945490951683526003909152902080549091169091179055610694565b6001600160a01b03831661048b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166104ec5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610482565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561059a57815f19048211156105805761058061054c565b8085161561058d57918102915b93841c9390800290610565565b509250929050565b5f826105b05750600161063c565b816105bc57505f61063c565b81600181146105d257600281146105dc576105f8565b600191505061063c565b60ff8411156105ed576105ed61054c565b50506001821b61063c565b5060208310610133831016604e8410600b841016171561061b575081810a61063c565b6106258383610560565b805f19048211156106385761063861054c565b0290505b92915050565b5f61065060ff8416836105a2565b9392505050565b808202811582820484141761063c5761063c61054c565b5f6020828403121561067e575f80fd5b81516001600160a01b0381168114610650575f80fd5b6119d6806106a15f395ff3fe608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b411461034c578063a9059cbb14610379578063bf474bed14610398578063dd62ed3e146103ad578063f2fde38b146103f1578063f5b3c3bf14610410575f80fd5b8063715018a6146102de5780637d1db4a5146102f25780638a8c523c146103075780638da5cb5b1461031b5780638f9a55c014610337575f80fd5b806320800a00116100f957806320800a001461020657806323b872dd1461021a578063313ce5671461023957806349bd5a5e14610254578063573761981461028b57806370a08231146102aa575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b3146101a05780630faee56f146101cf57806318160ddd146101f2575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5061015361043e565b005b348015610160575f80fd5b506040805180820190915260118152705472756d70277320526f626f7420446f6760781b60208201525b60405161019791906115e0565b60405180910390f35b3480156101ab575f80fd5b506101bf6101ba366004611629565b6104fb565b6040519015158152602001610197565b3480156101da575f80fd5b506101e460155481565b604051908152602001610197565b3480156101fd575f80fd5b506101e4610511565b348015610211575f80fd5b50610153610532565b348015610225575f80fd5b506101bf610234366004611653565b61058a565b348015610244575f80fd5b5060405160098152602001610197565b34801561025f575f80fd5b50601754610273906001600160a01b031681565b6040516001600160a01b039091168152602001610197565b348015610296575f80fd5b506101536102a5366004611629565b6105f1565b3480156102b5575f80fd5b506101e46102c4366004611691565b6001600160a01b03165f9081526001602052604090205490565b3480156102e9575f80fd5b50610153610689565b3480156102fd575f80fd5b506101e460125481565b348015610312575f80fd5b506101536106fa565b348015610326575f80fd5b505f546001600160a01b0316610273565b348015610342575f80fd5b506101e460135481565b348015610357575f80fd5b50604080518082019091526005815264415354524f60d81b602082015261018a565b348015610384575f80fd5b506101bf610393366004611629565b6108ee565b3480156103a3575f80fd5b506101e460145481565b3480156103b8575f80fd5b506101e46103c73660046116ac565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103fc575f80fd5b5061015361040b366004611691565b6108fa565b34801561041b575f80fd5b506101bf61042a366004611691565b60046020525f908152604090205460ff1681565b5f546001600160a01b031633146104705760405162461bcd60e51b8152600401610467906116e3565b60405180910390fd5b61047c6009600a61180c565b61048b906402540be40061181a565b60125561049a6009600a61180c565b6104a9906402540be40061181a565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d96009600a61180c565b6104e8906402540be40061181a565b60405190815260200160405180910390a1565b5f6105073384846109e1565b5060015b92915050565b5f61051e6009600a61180c565b61052d906402540be40061181a565b905090565b6006546001600160a01b0316336001600160a01b031614610551575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610587573d5f803e3d5ffd5b50565b5f610596848484610b04565b6105e784336105e285604051806060016040528060288152602001611979602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611261565b6109e1565b5060019392505050565b6006546001600160a01b0316336001600160a01b031614610610575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015610660573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106849190611831565b505050565b5f546001600160a01b031633146106b25760405162461bcd60e51b8152600401610467906116e3565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107235760405162461bcd60e51b8152600401610467906116e3565b601754600160a01b900460ff161561077d5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610467565b6016546001600160a01b031663f305d71947306107ae816001600160a01b03165f9081526001602052604090205490565b5f806107c15f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610827573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061084c9190611850565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108c59190611831565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610507338484610b04565b5f546001600160a01b031633146109235760405162461bcd60e51b8152600401610467906116e3565b6001600160a01b0381166109885760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610467565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a435760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610467565b6001600160a01b038216610aa45760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610467565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b685760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610467565b6001600160a01b038216610bca5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610467565b5f8111610c2b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610467565b5f80546001600160a01b03858116911614801590610c5657505f546001600160a01b03848116911614155b1561112457610c876064610c81600c54600f5411610c7657600854610c7a565b600a545b8590611299565b9061131e565b90506007544303610d1157601954435f9081526005602052604090205410610cf15760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610467565b435f908152600560205260408120805491610d0b8361187b565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d4657506016546001600160a01b03848116911614155b8015610d6a57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e5057601254821115610dc15760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610467565b60135482610de3856001600160a01b03165f9081526001602052604090205490565b610ded9190611893565b1115610e3b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610467565b600f8054905f610e4a8361187b565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e9057506001600160a01b0383165f9081526003602052604090205460ff16155b15610f0f5760135482610eb7856001600160a01b03165f9081526001602052604090205490565b610ec19190611893565b1115610f0f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610467565b6001600160a01b0383165f9081526004602052604090205460ff168015610f3f57506001600160a01b0384163014155b15610f6c57610f696064610c81600d54600f5411610f5f57600954610c7a565b600b548590611299565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fac57506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fc157506001600160a01b0384163014155b15610fc957505f5b305f90815260016020526040902054601a5460ff1615801561100257506001600160a01b0384165f9081526004602052604090205460ff165b80156110155750601a54610100900460ff165b8015611022575060145481115b80156110315750600e54600f54115b1561109f57601154431115611045575f6010555b60185460105410611054575f80fd5b61107161106c846110678460155461135f565b61135f565b611373565b47801561108157611081476114da565b60108054905f6110908361187b565b90915550504360115550611122565b601a5460ff161580156110c957506001600160a01b0384165f9081526004602052604090205460ff165b80156110dc5750601a54610100900460ff165b80156110e9575060145481115b80156110f85750600e54600f54115b156111225761111061106c846110678460155461135f565b47801561112057611120476114da565b505b505b801561119c57305f908152600160205260409020546111439082611515565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111939085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111be9083611573565b6001600160a01b0385165f908152600160205260409020556112016111e38383611573565b6001600160a01b0385165f9081526001602052604090205490611515565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61124a8585611573565b60405190815260200160405180910390a350505050565b5f81848411156112845760405162461bcd60e51b815260040161046791906115e0565b505f61129084866118a6565b95945050505050565b5f825f036112a857505f61050b565b5f6112b3838561181a565b9050826112c085836118b9565b146113175760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610467565b9392505050565b5f61131783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b4565b5f81831161136d5782611317565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113b3576113b36118d8565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561140a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061142e91906118ec565b81600181518110611441576114416118d8565b6001600160a01b03928316602091820292909201015260165461146791309116846109e1565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac9479061149f9085905f90869030904290600401611907565b5f604051808303815f87803b1580156114b6575f80fd5b505af11580156114c8573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611511573d5f803e3d5ffd5b5050565b5f806115218385611893565b9050838110156113175760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610467565b5f61131783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611261565b5f81836115d45760405162461bcd60e51b815260040161046791906115e0565b505f61129084866118b9565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610587575f80fd5b5f806040838503121561163a575f80fd5b823561164581611615565b946020939093013593505050565b5f805f60608486031215611665575f80fd5b833561167081611615565b9250602084013561168081611615565b929592945050506040919091013590565b5f602082840312156116a1575f80fd5b813561131781611615565b5f80604083850312156116bd575f80fd5b82356116c881611615565b915060208301356116d881611615565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561176657815f190482111561174c5761174c611718565b8085161561175957918102915b93841c9390800290611731565b509250929050565b5f8261177c5750600161050b565b8161178857505f61050b565b816001811461179e57600281146117a8576117c4565b600191505061050b565b60ff8411156117b9576117b9611718565b50506001821b61050b565b5060208310610133831016604e8410600b84101617156117e7575081810a61050b565b6117f1838361172c565b805f190482111561180457611804611718565b029392505050565b5f61131760ff84168361176e565b808202811582820484141761050b5761050b611718565b5f60208284031215611841575f80fd5b81518015158114611317575f80fd5b5f805f60608486031215611862575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161188c5761188c611718565b5060010190565b8082018082111561050b5761050b611718565b8181038181111561050b5761050b611718565b5f826118d357634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156118fc575f80fd5b815161131781611615565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119575784516001600160a01b031683529383019391830191600101611932565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122016e0bf41d229e49fd2793e3187a6218f42c7de91aa29b536ded9a6506dc8207364736f6c63430008190033

0x608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b411461034c578063a9059cbb14610379578063bf474bed14610398578063dd62ed3e146103ad578063f2fde38b146103f1578063f5b3c3bf14610410575f80fd5b8063715018a6146102de5780637d1db4a5146102f25780638a8c523c146103075780638da5cb5b1461031b5780638f9a55c014610337575f80fd5b806320800a00116100f957806320800a001461020657806323b872dd1461021a578063313ce5671461023957806349bd5a5e14610254578063573761981461028b57806370a08231146102aa575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b3146101a05780630faee56f146101cf57806318160ddd146101f2575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5061015361043e565b005b348015610160575f80fd5b506040805180820190915260118152705472756d70277320526f626f7420446f6760781b60208201525b60405161019791906115e0565b60405180910390f35b3480156101ab575f80fd5b506101bf6101ba366004611629565b6104fb565b6040519015158152602001610197565b3480156101da575f80fd5b506101e460155481565b604051908152602001610197565b3480156101fd575f80fd5b506101e4610511565b348015610211575f80fd5b50610153610532565b348015610225575f80fd5b506101bf610234366004611653565b61058a565b348015610244575f80fd5b5060405160098152602001610197565b34801561025f575f80fd5b50601754610273906001600160a01b031681565b6040516001600160a01b039091168152602001610197565b348015610296575f80fd5b506101536102a5366004611629565b6105f1565b3480156102b5575f80fd5b506101e46102c4366004611691565b6001600160a01b03165f9081526001602052604090205490565b3480156102e9575f80fd5b50610153610689565b3480156102fd575f80fd5b506101e460125481565b348015610312575f80fd5b506101536106fa565b348015610326575f80fd5b505f546001600160a01b0316610273565b348015610342575f80fd5b506101e460135481565b348015610357575f80fd5b50604080518082019091526005815264415354524f60d81b602082015261018a565b348015610384575f80fd5b506101bf610393366004611629565b6108ee565b3480156103a3575f80fd5b506101e460145481565b3480156103b8575f80fd5b506101e46103c73660046116ac565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103fc575f80fd5b5061015361040b366004611691565b6108fa565b34801561041b575f80fd5b506101bf61042a366004611691565b60046020525f908152604090205460ff1681565b5f546001600160a01b031633146104705760405162461bcd60e51b8152600401610467906116e3565b60405180910390fd5b61047c6009600a61180c565b61048b906402540be40061181a565b60125561049a6009600a61180c565b6104a9906402540be40061181a565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d96009600a61180c565b6104e8906402540be40061181a565b60405190815260200160405180910390a1565b5f6105073384846109e1565b5060015b92915050565b5f61051e6009600a61180c565b61052d906402540be40061181a565b905090565b6006546001600160a01b0316336001600160a01b031614610551575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610587573d5f803e3d5ffd5b50565b5f610596848484610b04565b6105e784336105e285604051806060016040528060288152602001611979602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611261565b6109e1565b5060019392505050565b6006546001600160a01b0316336001600160a01b031614610610575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015610660573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106849190611831565b505050565b5f546001600160a01b031633146106b25760405162461bcd60e51b8152600401610467906116e3565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107235760405162461bcd60e51b8152600401610467906116e3565b601754600160a01b900460ff161561077d5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610467565b6016546001600160a01b031663f305d71947306107ae816001600160a01b03165f9081526001602052604090205490565b5f806107c15f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610827573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061084c9190611850565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108c59190611831565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610507338484610b04565b5f546001600160a01b031633146109235760405162461bcd60e51b8152600401610467906116e3565b6001600160a01b0381166109885760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610467565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a435760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610467565b6001600160a01b038216610aa45760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610467565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b685760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610467565b6001600160a01b038216610bca5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610467565b5f8111610c2b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610467565b5f80546001600160a01b03858116911614801590610c5657505f546001600160a01b03848116911614155b1561112457610c876064610c81600c54600f5411610c7657600854610c7a565b600a545b8590611299565b9061131e565b90506007544303610d1157601954435f9081526005602052604090205410610cf15760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610467565b435f908152600560205260408120805491610d0b8361187b565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d4657506016546001600160a01b03848116911614155b8015610d6a57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e5057601254821115610dc15760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610467565b60135482610de3856001600160a01b03165f9081526001602052604090205490565b610ded9190611893565b1115610e3b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610467565b600f8054905f610e4a8361187b565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e9057506001600160a01b0383165f9081526003602052604090205460ff16155b15610f0f5760135482610eb7856001600160a01b03165f9081526001602052604090205490565b610ec19190611893565b1115610f0f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610467565b6001600160a01b0383165f9081526004602052604090205460ff168015610f3f57506001600160a01b0384163014155b15610f6c57610f696064610c81600d54600f5411610f5f57600954610c7a565b600b548590611299565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fac57506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fc157506001600160a01b0384163014155b15610fc957505f5b305f90815260016020526040902054601a5460ff1615801561100257506001600160a01b0384165f9081526004602052604090205460ff165b80156110155750601a54610100900460ff165b8015611022575060145481115b80156110315750600e54600f54115b1561109f57601154431115611045575f6010555b60185460105410611054575f80fd5b61107161106c846110678460155461135f565b61135f565b611373565b47801561108157611081476114da565b60108054905f6110908361187b565b90915550504360115550611122565b601a5460ff161580156110c957506001600160a01b0384165f9081526004602052604090205460ff165b80156110dc5750601a54610100900460ff165b80156110e9575060145481115b80156110f85750600e54600f54115b156111225761111061106c846110678460155461135f565b47801561112057611120476114da565b505b505b801561119c57305f908152600160205260409020546111439082611515565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111939085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111be9083611573565b6001600160a01b0385165f908152600160205260409020556112016111e38383611573565b6001600160a01b0385165f9081526001602052604090205490611515565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61124a8585611573565b60405190815260200160405180910390a350505050565b5f81848411156112845760405162461bcd60e51b815260040161046791906115e0565b505f61129084866118a6565b95945050505050565b5f825f036112a857505f61050b565b5f6112b3838561181a565b9050826112c085836118b9565b146113175760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610467565b9392505050565b5f61131783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b4565b5f81831161136d5782611317565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113b3576113b36118d8565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561140a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061142e91906118ec565b81600181518110611441576114416118d8565b6001600160a01b03928316602091820292909201015260165461146791309116846109e1565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac9479061149f9085905f90869030904290600401611907565b5f604051808303815f87803b1580156114b6575f80fd5b505af11580156114c8573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611511573d5f803e3d5ffd5b5050565b5f806115218385611893565b9050838110156113175760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610467565b5f61131783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611261565b5f81836115d45760405162461bcd60e51b815260040161046791906115e0565b505f61129084866118b9565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610587575f80fd5b5f806040838503121561163a575f80fd5b823561164581611615565b946020939093013593505050565b5f805f60608486031215611665575f80fd5b833561167081611615565b9250602084013561168081611615565b929592945050506040919091013590565b5f602082840312156116a1575f80fd5b813561131781611615565b5f80604083850312156116bd575f80fd5b82356116c881611615565b915060208301356116d881611615565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561176657815f190482111561174c5761174c611718565b8085161561175957918102915b93841c9390800290611731565b509250929050565b5f8261177c5750600161050b565b8161178857505f61050b565b816001811461179e57600281146117a8576117c4565b600191505061050b565b60ff8411156117b9576117b9611718565b50506001821b61050b565b5060208310610133831016604e8410600b84101617156117e7575081810a61050b565b6117f1838361172c565b805f190482111561180457611804611718565b029392505050565b5f61131760ff84168361176e565b808202811582820484141761050b5761050b611718565b5f60208284031215611841575f80fd5b81518015158114611317575f80fd5b5f805f60608486031215611862575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161188c5761188c611718565b5060010190565b8082018082111561050b5761050b611718565b8181038181111561050b5761050b611718565b5f826118d357634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156118fc575f80fd5b815161131781611615565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119575784516001600160a01b031683529383019391830191600101611932565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122016e0bf41d229e49fd2793e3187a6218f42c7de91aa29b536ded9a6506dc8207364736f6c63430008190033

3841:8831:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12034:162;;;;;;;;;;;;;:::i;:::-;;6291:83;;;;;;;;;;-1:-1:-1;6361:5:0;;;;;;;;;;;;-1:-1:-1;;;6361:5:0;;;;6291:83;;;;;;;:::i;:::-;;;;;;;;7124:161;;;;;;;;;;-1:-1:-1;7124:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;7124:161:0;893:187:1;5111:53:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;5111:53:0;1085:177:1;6568:95:0;;;;;;;;;;;;;:::i;11694:146::-;;;;;;;;;;;;;:::i;7293:313::-;;;;;;;;;;-1:-1:-1;7293:313:0;;;;;:::i;:::-;;:::i;6477:83::-;;;;;;;;;;-1:-1:-1;6477:83:0;;4720:1;1870:36:1;;1858:2;1843:18;6477:83:0;1728:184:1;5222:28:0;;;;;;;;;;-1:-1:-1;5222:28:0;;;;-1:-1:-1;;;;;5222:28:0;;;;;;-1:-1:-1;;;;;2081:32:1;;;2063:51;;2051:2;2036:18;5222:28:0;1917:203:1;11848:178:0;;;;;;;;;;-1:-1:-1;11848:178:0;;;;;:::i;:::-;;:::i;6671:119::-;;;;;;;;;;-1:-1:-1;6671:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6764:18:0;6737:7;6764:18;;;:9;:18;;;;;;;6671:119;2672:148;;;;;;;;;;;;;:::i;4917:57::-;;;;;;;;;;;;;;;;12204:428;;;;;;;;;;;;;:::i;2458:79::-;;;;;;;;;;-1:-1:-1;2496:7:0;2523:6;-1:-1:-1;;;;;2523:6:0;2458:79;;4981:57;;;;;;;;;;;;;;;;6382:87;;;;;;;;;;-1:-1:-1;6454:7:0;;;;;;;;;;;;-1:-1:-1;;;6454:7:0;;;;6382:87;;6798:167;;;;;;;;;;-1:-1:-1;6798:167:0;;;;;:::i;:::-;;:::i;5045:59::-;;;;;;;;;;;;;;;;6973:143;;;;;;;;;;-1:-1:-1;6973:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7081:18:0;;;7054:7;7081:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6973:143;2828:244;;;;;;;;;;-1:-1:-1;2828:244:0;;;;;:::i;:::-;;:::i;4101:43::-;;;;;;;;;;-1:-1:-1;4101:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;12034:162;2585:6;;-1:-1:-1;;;;;2585:6:0;293:10;2585:22;2577:67;;;;-1:-1:-1;;;2577:67:0;;;;;;;:::i;:::-;;;;;;;;;4777:13:::1;4720:1;4777:2;:13;:::i;:::-;4763:27;::::0;:11:::1;:27;:::i;:::-;12090:12;:22:::0;4777:13:::1;4720:1;4777:2;:13;:::i;:::-;4763:27;::::0;:11:::1;:27;:::i;:::-;12123:14;:22:::0;12161:27:::1;4777:13;4720:1;4777:2;:13;:::i;:::-;4763:27;::::0;:11:::1;:27;:::i;:::-;12161;::::0;1231:25:1;;;1219:2;1204:18;12161:27:0::1;;;;;;;12034:162::o:0;7124:161::-;7199:4;7216:39;293:10;7239:7;7248:6;7216:8;:39::i;:::-;-1:-1:-1;7273:4:0;7124:161;;;;;:::o;6568:95::-;6621:7;4777:13;4720:1;4777:2;:13;:::i;:::-;4763:27;;:11;:27;:::i;:::-;6641:14;;6568:95;:::o;11694:146::-;11759:10;;-1:-1:-1;;;;;11759:10:0;293;-1:-1:-1;;;;;11743:26:0;;11735:35;;;;;;11789:10;;11781:51;;-1:-1:-1;;;;;11789:10:0;;;;11810:21;11781:51;;;;;11789:10;11781:51;11789:10;11781:51;11810:21;11789:10;11781:51;;;;;;;;;;;;;;;;;;;;;11694:146::o;7293:313::-;7391:4;7408:36;7418:6;7426:9;7437:6;7408:9;:36::i;:::-;7455:121;7464:6;293:10;7486:89;7524:6;7486:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7486:19:0;;;;;;:11;:19;;;;;;;;293:10;7486:33;;;;;;;;;;:37;:89::i;:::-;7455:8;:121::i;:::-;-1:-1:-1;7594:4:0;7293:313;;;;;:::o;11848:178::-;11948:10;;-1:-1:-1;;;;;11948:10:0;293;-1:-1:-1;;;;;11932:26:0;;11924:35;;;;;;11998:10;;11970:48;;-1:-1:-1;;;11970:48:0;;-1:-1:-1;;;;;11998:10:0;;;11970:48;;;4995:51:1;5062:18;;;5055:34;;;11970:27:0;;;;;;4968:18:1;;11970:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11848:178;;:::o;2672:148::-;2585:6;;-1:-1:-1;;;;;2585:6:0;293:10;2585:22;2577:67;;;;-1:-1:-1;;;2577:67:0;;;;;;;:::i;:::-;2779:1:::1;2763:6:::0;;2742:40:::1;::::0;-1:-1:-1;;;;;2763:6:0;;::::1;::::0;2742:40:::1;::::0;2779:1;;2742:40:::1;2810:1;2793:19:::0;;-1:-1:-1;;;;;;2793:19:0::1;::::0;;2672:148::o;12204:428::-;2585:6;;-1:-1:-1;;;;;2585:6:0;293:10;2585:22;2577:67;;;;-1:-1:-1;;;2577:67:0;;;;;;;:::i;:::-;12270:11:::1;::::0;-1:-1:-1;;;12270:11:0;::::1;;;12269:12;12261:47;;;::::0;-1:-1:-1;;;12261:47:0;;5584:2:1;12261:47:0::1;::::0;::::1;5566:21:1::0;5623:2;5603:18;;;5596:30;5662:25;5642:18;;;5635:53;5705:18;;12261:47:0::1;5382:347:1::0;12261:47:0::1;12319:15;::::0;-1:-1:-1;;;;;12319:15:0::1;:31;12358:21;12389:4;12395:24;12389:4:::0;-1:-1:-1;;;;;6764:18:0;6737:7;6764:18;;;:9;:18;;;;;;;6671:119;12395:24:::1;12420:1;12422::::0;12424:7:::1;2496::::0;2523:6;-1:-1:-1;;;;;2523:6:0;;2458:79;12424:7:::1;12319:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12319:129:0;;;-1:-1:-1;;;;;6093:15:1;;;12319:129:0::1;::::0;::::1;6075:34:1::0;6125:18;;;6118:34;;;;6168:18;;;6161:34;;;;6211:18;;;6204:34;6275:15;;;6254:19;;;6247:44;12432:15:0::1;6307:19:1::0;;;6300:35;6009:19;;12319:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12466:13:0::1;::::0;12497:15:::1;::::0;12459:71:::1;::::0;-1:-1:-1;;;12459:71:0;;-1:-1:-1;;;;;12497:15:0;;::::1;12459:71;::::0;::::1;4995:51:1::0;-1:-1:-1;;5062:18:1;;;5055:34;12466:13:0;::::1;::::0;-1:-1:-1;12459:29:0::1;::::0;4968:18:1;;12459:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12541:11:0::1;:18:::0;;-1:-1:-1;;12541:18:0::1;;;::::0;;12570:11:::1;:18:::0;;-1:-1:-1;;;;12570:18:0::1;-1:-1:-1::0;;;12570:18:0::1;::::0;;12612:12:::1;12599:10;:25:::0;12204:428::o;6798:167::-;6876:4;6893:42;293:10;6917:9;6928:6;6893:9;:42::i;2828:244::-;2585:6;;-1:-1:-1;;;;;2585:6:0;293:10;2585:22;2577:67;;;;-1:-1:-1;;;2577:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2917:22:0;::::1;2909:73;;;::::0;-1:-1:-1;;;2909:73:0;;7138:2:1;2909:73:0::1;::::0;::::1;7120:21:1::0;7177:2;7157:18;;;7150:30;7216:34;7196:18;;;7189:62;-1:-1:-1;;;7267:18:1;;;7260:36;7313:19;;2909:73:0::1;6936:402:1::0;2909:73:0::1;3019:6;::::0;;2998:38:::1;::::0;-1:-1:-1;;;;;2998:38:0;;::::1;::::0;3019:6;::::1;::::0;2998:38:::1;::::0;::::1;3047:6;:17:::0;;-1:-1:-1;;;;;;3047:17:0::1;-1:-1:-1::0;;;;;3047:17:0;;;::::1;::::0;;;::::1;::::0;;2828:244::o;7614:335::-;-1:-1:-1;;;;;7707:19:0;;7699:68;;;;-1:-1:-1;;;7699:68:0;;7545:2:1;7699:68:0;;;7527:21:1;7584:2;7564:18;;;7557:30;7623:34;7603:18;;;7596:62;-1:-1:-1;;;7674:18:1;;;7667:34;7718:19;;7699:68:0;7343:400:1;7699:68:0;-1:-1:-1;;;;;7786:21:0;;7778:68;;;;-1:-1:-1;;;7778:68:0;;7950:2:1;7778:68:0;;;7932:21:1;7989:2;7969:18;;;7962:30;8028:34;8008:18;;;8001:62;-1:-1:-1;;;8079:18:1;;;8072:32;8121:19;;7778:68:0;7748:398:1;7778:68:0;-1:-1:-1;;;;;7857:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7909:32;;1231:25:1;;;7909:32:0;;1204:18:1;7909:32:0;;;;;;;7614:335;;;:::o;7957:3030::-;-1:-1:-1;;;;;8045:18:0;;8037:68;;;;-1:-1:-1;;;8037:68:0;;8353:2:1;8037:68:0;;;8335:21:1;8392:2;8372:18;;;8365:30;8431:34;8411:18;;;8404:62;-1:-1:-1;;;8482:18:1;;;8475:35;8527:19;;8037:68:0;8151:401:1;8037:68:0;-1:-1:-1;;;;;8124:16:0;;8116:64;;;;-1:-1:-1;;;8116:64:0;;8759:2:1;8116:64:0;;;8741:21:1;8798:2;8778:18;;;8771:30;8837:34;8817:18;;;8810:62;-1:-1:-1;;;8888:18:1;;;8881:33;8931:19;;8116:64:0;8557:399:1;8116:64:0;8208:1;8199:6;:10;8191:64;;;;-1:-1:-1;;;8191:64:0;;9163:2:1;8191:64:0;;;9145:21:1;9202:2;9182:18;;;9175:30;9241:34;9221:18;;;9214:62;-1:-1:-1;;;9292:18:1;;;9285:39;9341:19;;8191:64:0;8961:405:1;8191:64:0;8266:17;2523:6;;-1:-1:-1;;;;;8302:15:0;;;2523:6;;8302:15;;;;:32;;-1:-1:-1;2496:7:0;2523:6;-1:-1:-1;;;;;8321:13:0;;;2523:6;;8321:13;;8302:32;8298:2333;;;8363:79;8438:3;8363:70;8386:15;;8375:9;;:26;8374:58;;8418:14;;8374:58;;;8404:12;;8374:58;8363:6;;:10;:70::i;:::-;:74;;:79::i;:::-;8351:91;;8478:10;;8462:12;:26;8459:196;;8543:14;;8527:12;8515:25;;;;:11;:25;;;;;;:42;8507:87;;;;-1:-1:-1;;;8507:87:0;;9573:2:1;8507:87:0;;;9555:21:1;;;9592:18;;;9585:30;9651:34;9631:18;;;9624:62;9703:18;;8507:87:0;9371:356:1;8507:87:0;8624:12;8612:25;;;;:11;:25;;;;;:27;;;;;;:::i;:::-;;;;;;8459:196;-1:-1:-1;;;;;8675:16:0;;;;;;:10;:16;;;;;;;;:50;;;;-1:-1:-1;8709:15:0;;-1:-1:-1;;;;;8695:30:0;;;8709:15;;8695:30;;8675:50;:67;;;;-1:-1:-1;;;;;;8731:11:0;;;;;;:7;:11;;;;;;;;8729:13;8675:67;8671:297;;;8782:12;;8772:6;:22;;8764:60;;;;-1:-1:-1;;;8764:60:0;;10074:2:1;8764:60:0;;;10056:21:1;10113:2;10093:18;;;10086:30;10152:27;10132:18;;;10125:55;10197:18;;8764:60:0;9872:349:1;8764:60:0;8877:14;;8867:6;8851:13;8861:2;-1:-1:-1;;;;;6764:18:0;6737:7;6764:18;;;:9;:18;;;;;;;6671:119;8851:13;:22;;;;:::i;:::-;:40;;8843:79;;;;-1:-1:-1;;;8843:79:0;;10558:2:1;8843:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;8843:79:0;10356:350:1;8843:79:0;8941:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8671:297;-1:-1:-1;;;;;8989:14:0;;;;;;:10;:14;;;;;;;;8988:15;:32;;;;-1:-1:-1;;;;;;9009:11:0;;;;;;:7;:11;;;;;;;;9007:13;8988:32;8984:152;;;9075:14;;9065:6;9049:13;9059:2;-1:-1:-1;;;;;6764:18:0;6737:7;6764:18;;;:9;:18;;;;;;;6671:119;9049:13;:22;;;;:::i;:::-;:40;;9041:79;;;;-1:-1:-1;;;9041:79:0;;10558:2:1;9041:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;9041:79:0;10356:350:1;9041:79:0;-1:-1:-1;;;;;9155:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;9173:20:0;;9188:4;9173:20;;9155:38;9152:172;;;9226:82;9304:3;9226:73;9249:16;;9238:9;;:27;9237:61;;9283:15;;9237:61;;;9268:13;;9226:6;;:10;:73::i;:82::-;9214:94;;9152:172;-1:-1:-1;;;;;9338:16:0;;;;;;:10;:16;;;;;;;;9337:17;:36;;;;-1:-1:-1;;;;;;9359:14:0;;;;;;:10;:14;;;;;;;;9358:15;9337:36;:60;;;;-1:-1:-1;;;;;;9377:20:0;;9392:4;9377:20;;9337:60;9333:115;;;-1:-1:-1;9431:1:0;9333:115;9513:4;9464:28;6764:18;;;:9;:18;;;;;;9539:6;;;;9538:7;:25;;;;-1:-1:-1;;;;;;9549:14:0;;;;;;:10;:14;;;;;;;;9538:25;:40;;;;-1:-1:-1;9567:11:0;;;;;;;9538:40;:82;;;;;9603:17;;9582:20;:38;9538:82;:114;;;;;9634:18;;9624:9;;:28;9538:114;9534:1086;;;9692:13;;9677:12;:28;9673:90;;;9742:1;9730:9;:13;9673:90;9801:13;;9789:9;;:25;9781:34;;;;;;9834:67;9851:49;9855:6;9862:37;9866:20;9887:11;;9862:3;:37::i;:::-;9851:3;:49::i;:::-;9834:16;:67::i;:::-;9949:21;9992:22;;9989:105;;10039:35;10052:21;10039:12;:35::i;:::-;10112:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;10158:12:0;10142:13;:28;-1:-1:-1;9534:1086:0;;;10211:6;;;;10210:7;:25;;;;-1:-1:-1;;;;;;10221:14:0;;;;;;:10;:14;;;;;;;;10210:25;:40;;;;-1:-1:-1;10239:11:0;;;;;;;10210:40;:82;;;;;10275:17;;10254:20;:38;10210:82;:114;;;;;10306:18;;10296:9;;:28;10210:114;10207:413;;;10345:67;10362:49;10366:6;10373:37;10377:20;10398:11;;10373:3;:37::i;10345:67::-;10460:21;10503:22;;10500:105;;10550:35;10563:21;10550:12;:35::i;:::-;10326:294;10207:413;8336:2295;8298:2333;10646:11;;10643:161;;10714:4;10696:24;;;;:9;:24;;;;;;:39;;10725:9;10696:28;:39::i;:::-;10689:4;10671:24;;;;:9;:24;;;;;;;:64;;;;10753:39;;-1:-1:-1;;;;;10753:39:0;;;;;;;10782:9;1231:25:1;;1219:2;1204:18;;1085:177;10753:39:0;;;;;;;;10643:161;-1:-1:-1;;;;;10830:15:0;;;;;;:9;:15;;;;;;:27;;10850:6;10830:19;:27::i;:::-;-1:-1:-1;;;;;10814:15:0;;;;;;:9;:15;;;;;:43;10882:40;10900:21;:6;10911:9;10900:10;:21::i;:::-;-1:-1:-1;;;;;10882:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10868:13:0;;;;;;;:9;:13;;;;;:54;;;;10938:41;;;10957:21;:6;10968:9;10957:10;:21::i;:::-;10938:41;;1231:25:1;;;1219:2;1204:18;10938:41:0;;;;;;;8026:2961;7957:3030;;;:::o;1350:190::-;1436:7;1472:12;1464:6;;;;1456:29;;;;-1:-1:-1;;;1456:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1496:9:0;1508:5;1512:1;1508;:5;:::i;:::-;1496:17;1350:190;-1:-1:-1;;;;;1350:190:0:o;1548:246::-;1606:7;1630:1;1635;1630:6;1626:47;;-1:-1:-1;1660:1:0;1653:8;;1626:47;1683:9;1695:5;1699:1;1695;:5;:::i;:::-;1683:17;-1:-1:-1;1728:1:0;1719:5;1723:1;1683:17;1719:5;:::i;:::-;:10;1711:56;;;;-1:-1:-1;;;1711:56:0;;11268:2:1;1711:56:0;;;11250:21:1;11307:2;11287:18;;;11280:30;11346:34;11326:18;;;11319:62;-1:-1:-1;;;11397:18:1;;;11390:31;11438:19;;1711:56:0;11066:397:1;1711:56:0;1785:1;1548:246;-1:-1:-1;;;1548:246:0:o;1802:132::-;1860:7;1887:39;1891:1;1894;1887:39;;;;;;;;;;;;;;;;;:3;:39::i;10997:98::-;11054:7;11081:1;11079;:3;11078:9;;11086:1;11078:9;;;-1:-1:-1;11084:1:0;10997:98;-1:-1:-1;10997:98:0:o;11103:483::-;5527:6;:13;;-1:-1:-1;;5527:13:0;5536:4;5527:13;;;11205:16:::1;::::0;;11219:1:::1;11205:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11205:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11205:16:0::1;11181:40;;11250:4;11232;11237:1;11232:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11232:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11276:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11276:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11232:7;;11276:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11266:4;11271:1;11266:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11266:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11341:15:::1;::::0;11309:62:::1;::::0;11326:4:::1;::::0;11341:15:::1;11359:11:::0;11309:8:::1;:62::i;:::-;11382:15;::::0;:196:::1;::::0;-1:-1:-1;;;11382:196:0;;-1:-1:-1;;;;;11382:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11463:11;;11382:15:::1;::::0;11505:4;;11532::::1;::::0;11552:15:::1;::::0;11382:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5563:6:0;:14;;-1:-1:-1;;5563:14:0;;;-1:-1:-1;;;;11103:483:0:o;11594:92::-;11651:10;;:27;;-1:-1:-1;;;;;11651:10:0;;;;:27;;;;;11671:6;;11651:10;:27;:10;:27;11671:6;11651:10;:27;;;;;;;;;;;;;;;;;;;;;11594:92;:::o;1019:179::-;1077:7;;1109:5;1113:1;1109;:5;:::i;:::-;1097:17;;1138:1;1133;:6;;1125:46;;;;-1:-1:-1;;;1125:46:0;;13175:2:1;1125:46:0;;;13157:21:1;13214:2;13194:18;;;13187:30;13253:29;13233:18;;;13226:57;13300:18;;1125:46:0;12973:351:1;1206:136:0;1264:7;1291:43;1295:1;1298;1291:43;;;;;;;;;;;;;;;;;:3;:43::i;1942:189::-;2028:7;2063:12;2056:5;2048:28;;;;-1:-1:-1;;;2048:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2087:9:0;2099:5;2103:1;2099;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:315;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;2125:247::-;2184:6;2237:2;2225:9;2216:7;2212:23;2208:32;2205:52;;;2253:1;2250;2243:12;2205:52;2292:9;2279:23;2311:31;2336:5;2311:31;:::i;2377:388::-;2445:6;2453;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:356::-;2972:2;2954:21;;;2991:18;;;2984:30;3050:34;3045:2;3030:18;;3023:62;3117:2;3102:18;;2770:356::o;3131:127::-;3192:10;3187:3;3183:20;3180:1;3173:31;3223:4;3220:1;3213:15;3247:4;3244:1;3237:15;3263:416;3352:1;3389:5;3352:1;3403:270;3424:7;3414:8;3411:21;3403:270;;;3483:4;3479:1;3475:6;3471:17;3465:4;3462:27;3459:53;;;3492:18;;:::i;:::-;3542:7;3532:8;3528:22;3525:55;;;3562:16;;;;3525:55;3641:22;;;;3601:15;;;;3403:270;;;3407:3;3263:416;;;;;:::o;3684:806::-;3733:5;3763:8;3753:80;;-1:-1:-1;3804:1:1;3818:5;;3753:80;3852:4;3842:76;;-1:-1:-1;3889:1:1;3903:5;;3842:76;3934:4;3952:1;3947:59;;;;4020:1;4015:130;;;;3927:218;;3947:59;3977:1;3968:10;;3991:5;;;4015:130;4052:3;4042:8;4039:17;4036:43;;;4059:18;;:::i;:::-;-1:-1:-1;;4115:1:1;4101:16;;4130:5;;3927:218;;4229:2;4219:8;4216:16;4210:3;4204:4;4201:13;4197:36;4191:2;4181:8;4178:16;4173:2;4167:4;4164:12;4160:35;4157:77;4154:159;;;-1:-1:-1;4266:19:1;;;4298:5;;4154:159;4345:34;4370:8;4364:4;4345:34;:::i;:::-;4415:6;4411:1;4407:6;4403:19;4394:7;4391:32;4388:58;;;4426:18;;:::i;:::-;4464:20;;3684:806;-1:-1:-1;;;3684:806:1:o;4495:140::-;4553:5;4582:47;4623:4;4613:8;4609:19;4603:4;4582:47;:::i;4640:168::-;4713:9;;;4744;;4761:15;;;4755:22;;4741:37;4731:71;;4782:18;;:::i;5100:277::-;5167:6;5220:2;5208:9;5199:7;5195:23;5191:32;5188:52;;;5236:1;5233;5226:12;5188:52;5268:9;5262:16;5321:5;5314:13;5307:21;5300:5;5297:32;5287:60;;5343:1;5340;5333:12;6346:306;6434:6;6442;6450;6503:2;6491:9;6482:7;6478:23;6474:32;6471:52;;;6519:1;6516;6509:12;6471:52;6548:9;6542:16;6532:26;;6598:2;6587:9;6583:18;6577:25;6567:35;;6642:2;6631:9;6627:18;6621:25;6611:35;;6346:306;;;;;:::o;9732:135::-;9771:3;9792:17;;;9789:43;;9812:18;;:::i;:::-;-1:-1:-1;9859:1:1;9848:13;;9732:135::o;10226:125::-;10291:9;;;10312:10;;;10309:36;;;10325:18;;:::i;10711:128::-;10778:9;;;10799:11;;;10796:37;;;10813:18;;:::i;10844:217::-;10884:1;10910;10900:132;;10954:10;10949:3;10945:20;10942:1;10935:31;10989:4;10986:1;10979:15;11017:4;11014:1;11007:15;10900:132;-1:-1:-1;11046:9:1;;10844:217::o;11600:127::-;11661:10;11656:3;11652:20;11649:1;11642:31;11692:4;11689:1;11682:15;11716:4;11713:1;11706:15;11732:251;11802:6;11855:2;11843:9;11834:7;11830:23;11826:32;11823:52;;;11871:1;11868;11861:12;11823:52;11903:9;11897:16;11922:31;11947:5;11922:31;:::i;11988:980::-;12250:4;12298:3;12287:9;12283:19;12329:6;12318:9;12311:25;12355:2;12393:6;12388:2;12377:9;12373:18;12366:34;12436:3;12431:2;12420:9;12416:18;12409:31;12460:6;12495;12489:13;12526:6;12518;12511:22;12564:3;12553:9;12549:19;12542:26;;12603:2;12595:6;12591:15;12577:29;;12624:1;12634:195;12648:6;12645:1;12642:13;12634:195;;;12713:13;;-1:-1:-1;;;;;12709:39:1;12697:52;;12804:15;;;;12769:12;;;;12745:1;12663:9;12634:195;;;-1:-1:-1;;;;;;;12885:32:1;;;;12880:2;12865:18;;12858:60;-1:-1:-1;;;12949:3:1;12934:19;12927:35;12846:3;11988:980;-1:-1:-1;;;11988:980:1:o

ipfs://16e0bf41d229e49fd2793e3187a6218f42c7de91aa29b536ded9a6506dc82073