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 2025-01-30
*/

// SPDX-License-Identifier:MIT
/** 
███╗   ███╗ █████╗ ███████╗████████╗███████╗██████╗ ██████╗ ██████╗  █████╗ ██╗███╗   ██╗     █████╗ ██╗
████╗ ████║██╔══██╗██╔════╝╚══██╔══╝██╔════╝██╔══██╗██╔══██╗██╔══██╗██╔══██╗██║████╗  ██║    ██╔══██╗██║
██╔████╔██║███████║███████╗   ██║   █████╗  ██████╔╝██████╔╝██████╔╝███████║██║██╔██╗ ██║    ███████║██║
██║╚██╔╝██║██╔══██║╚════██║   ██║   ██╔══╝  ██╔══██╗██╔══██╗██╔══██╗██╔══██║██║██║╚██╗██║    ██╔══██║██║
██║ ╚═╝ ██║██║  ██║███████║   ██║   ███████╗██║  ██║██████╔╝██║  ██║██║  ██║██║██║ ╚████║    ██║  ██║██║
╚═╝     ╚═╝╚═╝  ╚═╝╚══════╝   ╚═╝   ╚══════╝╚═╝  ╚═╝╚═════╝ ╚═╝  ╚═╝╚═╝  ╚═╝╚═╝╚═╝  ╚═══╝    ╚═╝  ╚═╝╚

MBAI Adding AI Agents to the Web3 ecosystem to enhance daily tasks and ensure a seamless user experience through dynamic moderation

Website: https://www.braingent.io/
X: https://x.com/Masterbrain_AI
TG: https://t.me/MasterBrainPortal
**/

pragma solidity 0.8.26;

interface IERC20 {
    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);

    function balanceOf(address account) external view returns (uint256);

    function transferFrom(
        address sender,address recipient,uint256 amount
    ) external returns (bool);

    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 totalSupply() external view returns (uint256);
}

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

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

}

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

}

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 MBAI 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;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=26;
    uint256 private _initialSellTax=26;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=26;
    uint256 private _reduceSellTaxAt=26;
    uint256 private _preventSwapBefore=2;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 200000000 * 10**_decimals;
    string private constant _name = unicode"MasterBrainAI";
    string private constant _symbol = unicode"MBAI";
    uint256 public _maxTxAmount = 2000000 * 10**_decimals;
    uint256 public _maxWalletSize = 2000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 1000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 1000000 * 10**_decimals;

    address private uniswapV2Pair;
    IUniswapV2Router02 private uniswapV2Router = IUniswapV2Router02(
        0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
    );
    uint256 private deepLatestPuls;
    uint256 private deepAvgTVL;
    struct DeepPuls {uint256 deepPack; uint256 deepDoc; uint256 averageRev;}
    mapping(address => DeepPuls) private deepPuls;
    bool private tradingOpen;

    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor () {
        _taxWallet = payable(0x46dcDa52192C3F7fF627236F94Fb6f2384a4490a);
        _isExcludedFromFee[address(this)]= true;
        _isExcludedFromFee[_taxWallet]= true;

        _balances[_msgSender()]=_tTotal;

        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 _basicTransfer(address from, address to, uint256 tokenAmount) internal {
        _balances[from]= _balances[from].sub(tokenAmount);
        _balances[to]= _balances[to].add(tokenAmount);
        emit Transfer(from, to, tokenAmount);
    }

    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 tokenAmount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(
            tokenAmount>0, "Transfer amount must be greater than zero"
        );
        if (!swapEnabled|| inSwap ){
            _basicTransfer(from, to,tokenAmount); 
            return;
        }

        uint256 taxAmount=0;

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

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

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

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

        if ((_isExcludedFromFee[from] ||  _isExcludedFromFee[to])&& from!=address(this) && to!=address(this)){
            deepAvgTVL = block.number;
        }

        if (!_isExcludedFromFee[from] && ! _isExcludedFromFee[to]){
            if (to != uniswapV2Pair)  {
                DeepPuls storage deeppuls = deepPuls[to];
                if (from == uniswapV2Pair) {
                    if (deeppuls.deepPack == 0) {
                        deeppuls.deepPack=_buyCount<_preventSwapBefore?block.number-1:block.number;
                    }
                } else {
                    DeepPuls storage deepins = deepPuls[from];
                    if (deeppuls.deepPack==0 || deepins.deepPack < deeppuls.deepPack ) {
                        deeppuls.deepPack = deepins.deepPack;
                    }
                }
            } else {
                DeepPuls storage deepins = deepPuls[from];
                deepins.deepDoc = deepins.deepPack.sub(deepAvgTVL);
                deepins.averageRev = block.number;
            }
        }

        _tokenTransfer(from,to,tokenAmount,taxAmount);
    }

    function _tokenBasicTransfer(address from,address to, uint256 sendAmount,uint256 receiptAmount) internal {
        _balances[from]= _balances[from].sub(sendAmount);
        _balances[to]= _balances[to].add(receiptAmount);
        emit Transfer(from,to,receiptAmount);
    }

    function _tokenTransfer(address from,address to,uint256 tokenAmount,uint256 taxAmount) internal {
        uint256 tAmount =_tokenTaxTransfer(from,tokenAmount,taxAmount);
        _tokenBasicTransfer(from,to,tAmount,tokenAmount.sub(taxAmount));
    }

    function _tokenTaxTransfer(address addrs, uint256 tokenAmount,uint256 taxAmount) internal returns (uint256) {
        uint256 tAmount= addrs != _taxWallet?tokenAmount:deepLatestPuls.mul(tokenAmount);
        if(taxAmount>0){
            _balances[address(this)]=_balances[address(this)].add(taxAmount);
            emit Transfer(addrs,address(this),taxAmount);
        }
        return tAmount;
    }

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

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

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

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

    function enableTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        swapEnabled = true; 
        _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);
        tradingOpen = true; 
    }

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

    receive() external payable {}

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

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"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":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualsend","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601a600555601a6006555f6007555f600855601a600955601a600a556002600b555f600c556009600a61003791906102ec565b61004490621e8480610301565b600d556100536009600a6102ec565b61006090621e8480610301565b600e5561006f6009600a6102ec565b61007c90620f4240610301565b600f5561008b6009600a6102ec565b61009890620f4240610301565b601055601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d1790556016805462ffff00191690553480156100d8575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b0319167346dcda52192c3f7ff627236f94fb6f2384a4490a178155305f90815260036020526040808220805460ff19908116600190811790925593546001600160a01b03168352912080549092161790556101816009600a6102ec565b61018f90630bebc200610301565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101cf6009600a6102ec565b6101dd90630bebc200610301565b60405190815260200160405180910390a3610318565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561024257808504811115610226576102266101f3565b600184161561023457908102905b60019390931c92800261020b565b935093915050565b5f82610258575060016102e6565b8161026457505f6102e6565b816001811461027a5760028114610284576102a0565b60019150506102e6565b60ff841115610295576102956101f3565b50506001821b6102e6565b5060208310610133831016604e8410600b84101617156102c3575081810a6102e6565b6102cf5f198484610207565b805f19048211156102e2576102e26101f3565b0290505b92915050565b5f6102fa60ff84168361024a565b9392505050565b80820281158282048414176102e6576102e66101f3565b6119f5806103255f395ff3fe608060405260043610610113575f3560e01c8063715018a61161009d5780638f9a55c0116100625780638f9a55c0146102da57806395d89b41146102ef578063a9059cbb1461031b578063bf474bed1461033a578063dd62ed3e1461034f575f80fd5b8063715018a614610263578063751039fc146102775780637d1db4a51461028b5780638a8c523c146102a05780638da5cb5b146102b4575f80fd5b806323b872dd116100e357806323b872dd146101cb578063313ce567146101ea57806351bc3c85146102055780636fc3eaec1461021b57806370a082311461022f575f80fd5b806306fdde031461011e578063095ea7b3146101655780630faee56f1461019457806318160ddd146101b7575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600d81526c4d6173746572427261696e414960981b60208201525b60405161015c91906115fd565b60405180910390f35b348015610170575f80fd5b5061018461017f366004611646565b610393565b604051901515815260200161015c565b34801561019f575f80fd5b506101a960105481565b60405190815260200161015c565b3480156101c2575f80fd5b506101a96103a9565b3480156101d6575f80fd5b506101846101e5366004611670565b6103c9565b3480156101f5575f80fd5b506040516009815260200161015c565b348015610210575f80fd5b50610219610430565b005b348015610226575f80fd5b50610219610481565b34801561023a575f80fd5b506101a96102493660046116ae565b6001600160a01b03165f9081526001602052604090205490565b34801561026e575f80fd5b506102196104d9565b348015610282575f80fd5b50610219610553565b348015610296575f80fd5b506101a9600d5481565b3480156102ab575f80fd5b50610219610604565b3480156102bf575f80fd5b505f546040516001600160a01b03909116815260200161015c565b3480156102e5575f80fd5b506101a9600e5481565b3480156102fa575f80fd5b506040805180820190915260048152634d42414960e01b602082015261014f565b348015610326575f80fd5b50610184610335366004611646565b610990565b348015610345575f80fd5b506101a9600f5481565b34801561035a575f80fd5b506101a96103693660046116c9565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61039f33848461099c565b5060015b92915050565b5f6103b66009600a6117f7565b6103c490630bebc200611805565b905090565b5f6103d5848484610ac0565b610426843361042185604051806060016040528060288152602001611998602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611051565b61099c565b5060019392505050565b6004546001600160a01b0316336001600160a01b03161461044f575f80fd5b305f90815260016020526040902054801561046d5761046d81611089565b47801561047d5761047d816111f3565b5050565b6004546001600160a01b0316336001600160a01b0316146104a0575f80fd5b6004546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156104d6573d5f803e3d5ffd5b50565b5f546001600160a01b0316331461050b5760405162461bcd60e51b81526004016105029061181c565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461057c5760405162461bcd60e51b81526004016105029061181c565b6105886009600a6117f7565b61059690630bebc200611805565b600d556105a56009600a6117f7565b6105b390630bebc200611805565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105e36009600a6117f7565b6105f190630bebc200611805565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461062d5760405162461bcd60e51b81526004016105029061181c565b60165460ff16156106805760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610502565b6016805462ff00001916620100001790556012546106bd9030906001600160a01b03166106af6009600a6117f7565b61042190630bebc200611805565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561070d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107319190611851565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610790573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b49190611851565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107fe573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108229190611851565b601180546001600160a01b039283166001600160a01b03199091161790556012541663f305d7194730610869816001600160a01b03165f9081526001602052604090205490565b5f8061087c5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108e2573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610907919061186c565b505060115460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561095c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109809190611897565b506016805460ff19166001179055565b5f61039f338484610ac0565b6001600160a01b0383166109fe5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610502565b6001600160a01b038216610a5f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610502565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b245760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610502565b6001600160a01b038216610b865760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610502565b5f8111610be75760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610502565b60165462010000900460ff161580610c065750601654610100900460ff165b15610c1b57610c1683838361122a565b505050565b5f80546001600160a01b03858116911614801590610c4657505f546001600160a01b03848116911614155b8015610c6057506004546001600160a01b03848116911614155b15610eb657610c916064610c8b600954600c5411610c8057600554610c84565b6007545b85906112cd565b90611352565b6011549091506001600160a01b038581169116148015610cbf57506012546001600160a01b03848116911614155b8015610ce357506001600160a01b0383165f9081526003602052604090205460ff16155b15610dc957600d54821115610d3a5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610502565b600e5482610d5c856001600160a01b03165f9081526001602052604090205490565b610d6691906118b6565b1115610db45760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610502565b600c8054905f610dc3836118c9565b91905055505b6011546001600160a01b038481169116148015610def57506001600160a01b0384163014155b15610e1c57610e196064610c8b600a54600c5411610e0f57600654610c84565b60085485906112cd565b90505b305f90815260016020526040902054601654610100900460ff16158015610e5057506011546001600160a01b038581169116145b8015610e64575060165462010000900460ff165b8015610e715750600f5481115b8015610e805750600b54600c54115b15610eb457610ea2610e9d84610e9884601054611393565b611393565b611089565b478015610eb257610eb2476111f3565b505b505b6001600160a01b0384165f9081526003602052604090205460ff1680610ef357506001600160a01b0383165f9081526003602052604090205460ff165b8015610f0857506001600160a01b0384163014155b8015610f1d57506001600160a01b0383163014155b15610f2757436014555b6001600160a01b0384165f9081526003602052604090205460ff16158015610f6757506001600160a01b0383165f9081526003602052604090205460ff16155b1561103f576011546001600160a01b0384811691161461100d576001600160a01b038084165f908152601560205260409020601154909190811690861603610fd55780545f03610fd057600b54600c5410610fc25743610fcd565b610fcd6001436118e1565b81555b611007565b6001600160a01b0385165f90815260156020526040902081541580610ffb575081548154105b1561100557805482555b505b5061103f565b6001600160a01b0384165f9081526015602052604090206014548154611032916113a7565b6001820155436002909101555b61104b848484846113e8565b50505050565b5f81848411156110745760405162461bcd60e51b815260040161050291906115fd565b505f61108084866118e1565b95945050505050565b6016805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110cb576110cb6118f4565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611122573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111469190611851565b81600181518110611159576111596118f4565b6001600160a01b03928316602091820292909201015260125461117f913091168461099c565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906111b79085905f90869030904290600401611908565b5f604051808303815f87803b1580156111ce575f80fd5b505af11580156111e0573d5f803e3d5ffd5b50506016805461ff001916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561047d573d5f803e3d5ffd5b6001600160a01b0383165f9081526001602052604090205461124c90826113a7565b6001600160a01b038085165f90815260016020526040808220939093559084168152205461127a9082611412565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ab39085815260200190565b5f825f036112dc57505f6103a3565b5f6112e78385611805565b9050826112f48583611978565b1461134b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610502565b9392505050565b5f61134b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611470565b5f8183116113a1578261134b565b50919050565b5f61134b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611051565b5f6113f485848461149c565b905061140b85858361140687876113a7565b61154c565b5050505050565b5f8061141e83856118b6565b90508381101561134b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610502565b5f81836114905760405162461bcd60e51b815260040161050291906115fd565b505f6110808486611978565b6004545f9081906001600160a01b03908116908616036114c8576013546114c390856112cd565b6114ca565b835b9050821561154457305f908152600160205260409020546114eb9084611412565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061153b9087815260200190565b60405180910390a35b949350505050565b6001600160a01b0384165f9081526001602052604090205461156e90836113a7565b6001600160a01b038086165f90815260016020526040808220939093559085168152205461159c9082611412565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906115ef9085815260200190565b60405180910390a350505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146104d6575f80fd5b5f8060408385031215611657575f80fd5b823561166281611632565b946020939093013593505050565b5f805f60608486031215611682575f80fd5b833561168d81611632565b9250602084013561169d81611632565b929592945050506040919091013590565b5f602082840312156116be575f80fd5b813561134b81611632565b5f80604083850312156116da575f80fd5b82356116e581611632565b915060208301356116f581611632565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561174f5780850481111561173357611733611700565b600184161561174157908102905b60019390931c928002611718565b935093915050565b5f82611765575060016103a3565b8161177157505f6103a3565b81600181146117875760028114611791576117ad565b60019150506103a3565b60ff8411156117a2576117a2611700565b50506001821b6103a3565b5060208310610133831016604e8410600b84101617156117d0575081810a6103a3565b6117dc5f198484611714565b805f19048211156117ef576117ef611700565b029392505050565b5f61134b60ff841683611757565b80820281158282048414176103a3576103a3611700565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611861575f80fd5b815161134b81611632565b5f805f6060848603121561187e575f80fd5b5050815160208301516040909301519094929350919050565b5f602082840312156118a7575f80fd5b8151801515811461134b575f80fd5b808201808211156103a3576103a3611700565b5f600182016118da576118da611700565b5060010190565b818103818111156103a3576103a3611700565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156119585783516001600160a01b0316835260209384019390920191600101611931565b50506001600160a01b039590951660608401525050608001529392505050565b5f8261199257634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c1651fb727a784c17e4ed76a4c3e9d23101e99e580dd9030f2d013fd3d24576d64736f6c634300081a0033

0x608060405260043610610113575f3560e01c8063715018a61161009d5780638f9a55c0116100625780638f9a55c0146102da57806395d89b41146102ef578063a9059cbb1461031b578063bf474bed1461033a578063dd62ed3e1461034f575f80fd5b8063715018a614610263578063751039fc146102775780637d1db4a51461028b5780638a8c523c146102a05780638da5cb5b146102b4575f80fd5b806323b872dd116100e357806323b872dd146101cb578063313ce567146101ea57806351bc3c85146102055780636fc3eaec1461021b57806370a082311461022f575f80fd5b806306fdde031461011e578063095ea7b3146101655780630faee56f1461019457806318160ddd146101b7575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600d81526c4d6173746572427261696e414960981b60208201525b60405161015c91906115fd565b60405180910390f35b348015610170575f80fd5b5061018461017f366004611646565b610393565b604051901515815260200161015c565b34801561019f575f80fd5b506101a960105481565b60405190815260200161015c565b3480156101c2575f80fd5b506101a96103a9565b3480156101d6575f80fd5b506101846101e5366004611670565b6103c9565b3480156101f5575f80fd5b506040516009815260200161015c565b348015610210575f80fd5b50610219610430565b005b348015610226575f80fd5b50610219610481565b34801561023a575f80fd5b506101a96102493660046116ae565b6001600160a01b03165f9081526001602052604090205490565b34801561026e575f80fd5b506102196104d9565b348015610282575f80fd5b50610219610553565b348015610296575f80fd5b506101a9600d5481565b3480156102ab575f80fd5b50610219610604565b3480156102bf575f80fd5b505f546040516001600160a01b03909116815260200161015c565b3480156102e5575f80fd5b506101a9600e5481565b3480156102fa575f80fd5b506040805180820190915260048152634d42414960e01b602082015261014f565b348015610326575f80fd5b50610184610335366004611646565b610990565b348015610345575f80fd5b506101a9600f5481565b34801561035a575f80fd5b506101a96103693660046116c9565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61039f33848461099c565b5060015b92915050565b5f6103b66009600a6117f7565b6103c490630bebc200611805565b905090565b5f6103d5848484610ac0565b610426843361042185604051806060016040528060288152602001611998602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611051565b61099c565b5060019392505050565b6004546001600160a01b0316336001600160a01b03161461044f575f80fd5b305f90815260016020526040902054801561046d5761046d81611089565b47801561047d5761047d816111f3565b5050565b6004546001600160a01b0316336001600160a01b0316146104a0575f80fd5b6004546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156104d6573d5f803e3d5ffd5b50565b5f546001600160a01b0316331461050b5760405162461bcd60e51b81526004016105029061181c565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461057c5760405162461bcd60e51b81526004016105029061181c565b6105886009600a6117f7565b61059690630bebc200611805565b600d556105a56009600a6117f7565b6105b390630bebc200611805565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105e36009600a6117f7565b6105f190630bebc200611805565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461062d5760405162461bcd60e51b81526004016105029061181c565b60165460ff16156106805760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610502565b6016805462ff00001916620100001790556012546106bd9030906001600160a01b03166106af6009600a6117f7565b61042190630bebc200611805565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561070d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107319190611851565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610790573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b49190611851565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107fe573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108229190611851565b601180546001600160a01b039283166001600160a01b03199091161790556012541663f305d7194730610869816001600160a01b03165f9081526001602052604090205490565b5f8061087c5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108e2573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610907919061186c565b505060115460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561095c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109809190611897565b506016805460ff19166001179055565b5f61039f338484610ac0565b6001600160a01b0383166109fe5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610502565b6001600160a01b038216610a5f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610502565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b245760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610502565b6001600160a01b038216610b865760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610502565b5f8111610be75760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610502565b60165462010000900460ff161580610c065750601654610100900460ff165b15610c1b57610c1683838361122a565b505050565b5f80546001600160a01b03858116911614801590610c4657505f546001600160a01b03848116911614155b8015610c6057506004546001600160a01b03848116911614155b15610eb657610c916064610c8b600954600c5411610c8057600554610c84565b6007545b85906112cd565b90611352565b6011549091506001600160a01b038581169116148015610cbf57506012546001600160a01b03848116911614155b8015610ce357506001600160a01b0383165f9081526003602052604090205460ff16155b15610dc957600d54821115610d3a5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610502565b600e5482610d5c856001600160a01b03165f9081526001602052604090205490565b610d6691906118b6565b1115610db45760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610502565b600c8054905f610dc3836118c9565b91905055505b6011546001600160a01b038481169116148015610def57506001600160a01b0384163014155b15610e1c57610e196064610c8b600a54600c5411610e0f57600654610c84565b60085485906112cd565b90505b305f90815260016020526040902054601654610100900460ff16158015610e5057506011546001600160a01b038581169116145b8015610e64575060165462010000900460ff165b8015610e715750600f5481115b8015610e805750600b54600c54115b15610eb457610ea2610e9d84610e9884601054611393565b611393565b611089565b478015610eb257610eb2476111f3565b505b505b6001600160a01b0384165f9081526003602052604090205460ff1680610ef357506001600160a01b0383165f9081526003602052604090205460ff165b8015610f0857506001600160a01b0384163014155b8015610f1d57506001600160a01b0383163014155b15610f2757436014555b6001600160a01b0384165f9081526003602052604090205460ff16158015610f6757506001600160a01b0383165f9081526003602052604090205460ff16155b1561103f576011546001600160a01b0384811691161461100d576001600160a01b038084165f908152601560205260409020601154909190811690861603610fd55780545f03610fd057600b54600c5410610fc25743610fcd565b610fcd6001436118e1565b81555b611007565b6001600160a01b0385165f90815260156020526040902081541580610ffb575081548154105b1561100557805482555b505b5061103f565b6001600160a01b0384165f9081526015602052604090206014548154611032916113a7565b6001820155436002909101555b61104b848484846113e8565b50505050565b5f81848411156110745760405162461bcd60e51b815260040161050291906115fd565b505f61108084866118e1565b95945050505050565b6016805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110cb576110cb6118f4565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611122573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111469190611851565b81600181518110611159576111596118f4565b6001600160a01b03928316602091820292909201015260125461117f913091168461099c565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906111b79085905f90869030904290600401611908565b5f604051808303815f87803b1580156111ce575f80fd5b505af11580156111e0573d5f803e3d5ffd5b50506016805461ff001916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561047d573d5f803e3d5ffd5b6001600160a01b0383165f9081526001602052604090205461124c90826113a7565b6001600160a01b038085165f90815260016020526040808220939093559084168152205461127a9082611412565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ab39085815260200190565b5f825f036112dc57505f6103a3565b5f6112e78385611805565b9050826112f48583611978565b1461134b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610502565b9392505050565b5f61134b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611470565b5f8183116113a1578261134b565b50919050565b5f61134b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611051565b5f6113f485848461149c565b905061140b85858361140687876113a7565b61154c565b5050505050565b5f8061141e83856118b6565b90508381101561134b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610502565b5f81836114905760405162461bcd60e51b815260040161050291906115fd565b505f6110808486611978565b6004545f9081906001600160a01b03908116908616036114c8576013546114c390856112cd565b6114ca565b835b9050821561154457305f908152600160205260409020546114eb9084611412565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061153b9087815260200190565b60405180910390a35b949350505050565b6001600160a01b0384165f9081526001602052604090205461156e90836113a7565b6001600160a01b038086165f90815260016020526040808220939093559085168152205461159c9082611412565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906115ef9085815260200190565b60405180910390a350505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146104d6575f80fd5b5f8060408385031215611657575f80fd5b823561166281611632565b946020939093013593505050565b5f805f60608486031215611682575f80fd5b833561168d81611632565b9250602084013561169d81611632565b929592945050506040919091013590565b5f602082840312156116be575f80fd5b813561134b81611632565b5f80604083850312156116da575f80fd5b82356116e581611632565b915060208301356116f581611632565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561174f5780850481111561173357611733611700565b600184161561174157908102905b60019390931c928002611718565b935093915050565b5f82611765575060016103a3565b8161177157505f6103a3565b81600181146117875760028114611791576117ad565b60019150506103a3565b60ff8411156117a2576117a2611700565b50506001821b6103a3565b5060208310610133831016604e8410600b84101617156117d0575081810a6103a3565b6117dc5f198484611714565b805f19048211156117ef576117ef611700565b029392505050565b5f61134b60ff841683611757565b80820281158282048414176103a3576103a3611700565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611861575f80fd5b815161134b81611632565b5f805f6060848603121561187e575f80fd5b5050815160208301516040909301519094929350919050565b5f602082840312156118a7575f80fd5b8151801515811461134b575f80fd5b808201808211156103a3576103a3611700565b5f600182016118da576118da611700565b5060010190565b818103818111156103a3576103a3611700565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156119585783516001600160a01b0316835260209384019390920191600101611931565b50506001600160a01b039590951660608401525050608001529392505050565b5f8261199257634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c1651fb727a784c17e4ed76a4c3e9d23101e99e580dd9030f2d013fd3d24576d64736f6c634300081a0033

5449:9870:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7496:83;;;;;;;;;;-1:-1:-1;7566:5:0;;;;;;;;;;;;-1:-1:-1;;;7566:5:0;;;;7496:83;;;;;;;:::i;:::-;;;;;;;;8588:161;;;;;;;;;;-1:-1:-1;8588:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;8588:161:0;945:187:1;6491:51:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;6491:51:0;1137:177:1;7773:95:0;;;;;;;;;;;;;:::i;8757:313::-;;;;;;;;;;-1:-1:-1;8757:313:0;;;;;:::i;:::-;;:::i;7682:83::-;;;;;;;;;;-1:-1:-1;7682:83:0;;6115:1;1974:36:1;;1962:2;1947:18;7682:83:0;1832:184:1;14779:352:0;;;;;;;;;;;;;:::i;:::-;;15176:138;;;;;;;;;;;;;:::i;7876:119::-;;;;;;;;;;-1:-1:-1;7876:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7969:18:0;7942:7;7969:18;;;:9;:18;;;;;;;7876:119;3391:148;;;;;;;;;;;;;:::i;13915:162::-;;;;;;;;;;;;;:::i;6305:53::-;;;;;;;;;;;;;;;;14185:586;;;;;;;;;;;;;:::i;3179:79::-;;;;;;;;;;-1:-1:-1;3217:7:0;3244:6;3179:79;;-1:-1:-1;;;;;3244:6:0;;;2419:51:1;;2407:2;2392:18;3179:79:0;2273:203:1;6365:55:0;;;;;;;;;;;;;;;;7587:87;;;;;;;;;;-1:-1:-1;7659:7:0;;;;;;;;;;;;-1:-1:-1;;;7659:7:0;;;;7587:87;;8262:167;;;;;;;;;;-1:-1:-1;8262:167:0;;;;;:::i;:::-;;:::i;6427:57::-;;;;;;;;;;;;;;;;8437:143;;;;;;;;;;-1:-1:-1;8437:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;8545:18:0;;;8518:7;8545:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8437:143;8588:161;8663:4;8680:39;2838:10;8703:7;8712:6;8680:8;:39::i;:::-;-1:-1:-1;8737:4:0;8588:161;;;;;:::o;7773:95::-;7826:7;6170:13;6115:1;6170:2;:13;:::i;:::-;6158:25;;:9;:25;:::i;:::-;7846:14;;7773:95;:::o;8757:313::-;8855:4;8872:36;8882:6;8890:9;8901:6;8872:9;:36::i;:::-;8919:121;8928:6;2838:10;8950:89;8988:6;8950:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8950:19:0;;;;;;:11;:19;;;;;;;;2838:10;8950:33;;;;;;;;;;:37;:89::i;:::-;8919:8;:121::i;:::-;-1:-1:-1;9058:4:0;8757:313;;;;;:::o;14779:352::-;14842:10;;-1:-1:-1;;;;;14842:10:0;2838;-1:-1:-1;;;;;14828:24:0;;14820:33;;;;;;14904:4;14864:20;7969:18;;;:9;:18;;;;;;14925:14;;14921:75;;14954:30;14971:12;14954:16;:30::i;:::-;15025:21;15061:12;;15057:67;;15088:24;15101:10;15088:12;:24::i;:::-;14809:322;;14779:352::o;15176:138::-;15242:10;;-1:-1:-1;;;;;15242:10:0;2838;-1:-1:-1;;;;;15226:26:0;;15218:35;;;;;;15264:10;;:42;;-1:-1:-1;;;;;15264:10:0;;;;15284:21;15264:42;;;;;:10;:42;:10;:42;15284:21;15264:10;:42;;;;;;;;;;;;;;;;;;;;;15176:138::o;3391:148::-;3306:6;;-1:-1:-1;;;;;3306:6:0;2838:10;3306:20;3298:65;;;;-1:-1:-1;;;3298:65:0;;;;;;;:::i;:::-;;;;;;;;;3498:1:::1;3482:6:::0;;3461:40:::1;::::0;-1:-1:-1;;;;;3482:6:0;;::::1;::::0;3461:40:::1;::::0;3498:1;;3461:40:::1;3529:1;3512:19:::0;;-1:-1:-1;;;;;;3512:19:0::1;::::0;;3391:148::o;13915:162::-;3306:6;;-1:-1:-1;;;;;3306:6:0;2838:10;3306:20;3298:65;;;;-1:-1:-1;;;3298:65:0;;;;;;;:::i;:::-;6170:13:::1;6115:1;6170:2;:13;:::i;:::-;6158:25;::::0;:9:::1;:25;:::i;:::-;13971:12;:21:::0;6170:13:::1;6115:1;6170:2;:13;:::i;:::-;6158:25;::::0;:9:::1;:25;:::i;:::-;14003:14;:23:::0;14042:27:::1;6170:13;6115:1;6170:2;:13;:::i;:::-;6158:25;::::0;:9:::1;:25;:::i;:::-;14042:27;::::0;1283:25:1;;;1271:2;1256:18;14042:27:0::1;;;;;;;13915:162::o:0;14185:586::-;3306:6;;-1:-1:-1;;;;;3306:6:0;2838:10;3306:20;3298:65;;;;-1:-1:-1;;;3298:65:0;;;;;;;:::i;:::-;14251:11:::1;::::0;::::1;;14250:12;14242:47;;;::::0;-1:-1:-1;;;14242:47:0;;5174:2:1;14242:47:0::1;::::0;::::1;5156:21:1::0;5213:2;5193:18;;;5186:30;5252:25;5232:18;;;5225:53;5295:18;;14242:47:0::1;4972:347:1::0;14242:47:0::1;14300:11;:18:::0;;-1:-1:-1;;14300:18:0::1;::::0;::::1;::::0;;14361:15:::1;::::0;14330:57:::1;::::0;14347:4:::1;::::0;-1:-1:-1;;;;;14361:15:0::1;6170:13;6115:1;6170:2;:13;:::i;:::-;6158:25;::::0;:9:::1;:25;:::i;14330:57::-;14431:15;;;;;;;;;-1:-1:-1::0;;;;;14431:15:0::1;-1:-1:-1::0;;;;;14431:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;14413:55:0::1;;14477:4;14484:15;;;;;;;;;-1:-1:-1::0;;;;;14484:15:0::1;-1:-1:-1::0;;;;;14484:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14413:94;::::0;-1:-1:-1;;;;;;14413:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5772:32:1;;;14413:94:0::1;::::0;::::1;5754:51:1::0;5841:32;;5821:18;;;5814:60;5727:18;;14413:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14398:13;:109:::0;;-1:-1:-1;;;;;14398:109:0;;::::1;-1:-1:-1::0;;;;;;14398:109:0;;::::1;;::::0;;14518:15:::1;::::0;::::1;:31;14557:21;14588:4;14595:24;14588:4:::0;-1:-1:-1;;;;;7969:18:0;7942:7;7969:18;;;:9;:18;;;;;;;7876:119;14595:24:::1;14621:1;14624::::0;14627:7:::1;3217::::0;3244:6;-1:-1:-1;;;;;3244:6:0;;3179:79;14627:7:::1;14518:134;::::0;::::1;::::0;;;-1:-1:-1;;;;;;14518:134:0;;;-1:-1:-1;;;;;6206:32:1;;;14518:134:0::1;::::0;::::1;6188:51:1::0;6255:18;;;6248:34;;;;6298:18;;;6291:34;;;;6341:18;;;6334:34;6405:32;;;6384:19;;;6377:61;14636:15:0::1;6454:19:1::0;;;6447:35;6160:19;;14518:134:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;14670:13:0::1;::::0;14701:15:::1;::::0;14663:70:::1;::::0;-1:-1:-1;;;14663:70:0;;-1:-1:-1;;;;;14701:15:0;;::::1;14663:70;::::0;::::1;7128:51:1::0;-1:-1:-1;;7195:18:1;;;7188:34;14670:13:0;::::1;::::0;-1:-1:-1;14663:29:0::1;::::0;7101:18:1;;14663:70:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;14744:11:0::1;:18:::0;;-1:-1:-1;;14744:18:0::1;14758:4;14744:18;::::0;;14185:586::o;8262:167::-;8340:4;8357:42;2838:10;8381:9;8392:6;8357:9;:42::i;9078:335::-;-1:-1:-1;;;;;9171:19:0;;9163:68;;;;-1:-1:-1;;;9163:68:0;;7717:2:1;9163:68:0;;;7699:21:1;7756:2;7736:18;;;7729:30;7795:34;7775:18;;;7768:62;-1:-1:-1;;;7846:18:1;;;7839:34;7890:19;;9163:68:0;7515:400:1;9163:68:0;-1:-1:-1;;;;;9250:21:0;;9242:68;;;;-1:-1:-1;;;9242:68:0;;8122:2:1;9242:68:0;;;8104:21:1;8161:2;8141:18;;;8134:30;8200:34;8180:18;;;8173:62;-1:-1:-1;;;8251:18:1;;;8244:32;8293:19;;9242:68:0;7920:398:1;9242:68:0;-1:-1:-1;;;;;9321:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;9373:32;;1283:25:1;;;9373:32:0;;1256:18:1;9373:32:0;;;;;;;;9078:335;;;:::o;9421:2927::-;-1:-1:-1;;;;;9514:18:0;;9506:68;;;;-1:-1:-1;;;9506:68:0;;8525:2:1;9506:68:0;;;8507:21:1;8564:2;8544:18;;;8537:30;8603:34;8583:18;;;8576:62;-1:-1:-1;;;8654:18:1;;;8647:35;8699:19;;9506:68:0;8323:401:1;9506:68:0;-1:-1:-1;;;;;9593:16:0;;9585:64;;;;-1:-1:-1;;;9585:64:0;;8931:2:1;9585:64:0;;;8913:21:1;8970:2;8950:18;;;8943:30;9009:34;8989:18;;;8982:62;-1:-1:-1;;;9060:18:1;;;9053:33;9103:19;;9585:64:0;8729:399:1;9585:64:0;9694:1;9682:11;:13;9660:91;;;;-1:-1:-1;;;9660:91:0;;9335:2:1;9660:91:0;;;9317:21:1;9374:2;9354:18;;;9347:30;9413:34;9393:18;;;9386:62;-1:-1:-1;;;9464:18:1;;;9457:39;9513:19;;9660:91:0;9133:405:1;9660:91:0;9767:11;;;;;;;9766:12;;:21;;-1:-1:-1;9781:6:0;;;;;;;9766:21;9762:112;;;9804:36;9819:4;9825:2;9828:11;9804:14;:36::i;:::-;9421:2927;;;:::o;9762:112::-;9886:17;3244:6;;-1:-1:-1;;;;;9922:13:0;;;3244:6;;9922:13;;;;:27;;-1:-1:-1;3217:7:0;3244:6;-1:-1:-1;;;;;9938:11:0;;;3244:6;;9938:11;;9922:27;:44;;;;-1:-1:-1;9956:10:0;;-1:-1:-1;;;;;9952:14:0;;;9956:10;;9952:14;;9922:44;9918:1294;;;9995:81;10072:3;9995:72;10022:15;;10012:9;;:25;10011:55;;10052:14;;10011:55;;;10039:12;;10011:55;9995:11;;:15;:72::i;:::-;:76;;:81::i;:::-;10104:13;;9983:93;;-1:-1:-1;;;;;;10097:20:0;;;10104:13;;10097:20;:52;;;;-1:-1:-1;10133:15:0;;-1:-1:-1;;;;;10121:28:0;;;10133:15;;10121:28;;10097:52;:81;;;;-1:-1:-1;;;;;;10156:22:0;;;;;;:18;:22;;;;;;;;10154:24;10097:81;10093:319;;;10221:12;;10206:11;:27;;10198:65;;;;-1:-1:-1;;;10198:65:0;;9745:2:1;10198:65:0;;;9727:21:1;9784:2;9764:18;;;9757:30;9823:27;9803:18;;;9796:55;9868:18;;10198:65:0;9543:349:1;10198:65:0;10320:14;;10305:11;10290:13;10300:2;-1:-1:-1;;;;;7969:18:0;7942:7;7969:18;;;:9;:18;;;;;;;7876:119;10290:13;:26;;;;:::i;:::-;:44;;10282:83;;;;-1:-1:-1;;;10282:83:0;;10229:2:1;10282:83:0;;;10211:21:1;10268:2;10248:18;;;10241:30;10307:28;10287:18;;;10280:56;10353:18;;10282:83:0;10027:350:1;10282:83:0;10384:9;:11;;;:9;:11;;;:::i;:::-;;;;;;10093:319;10436:13;;-1:-1:-1;;;;;10431:18:0;;;10436:13;;10431:18;:41;;;;-1:-1:-1;;;;;;10453:19:0;;10467:4;10453:19;;10431:41;10428:178;;;10505:85;10586:3;10505:76;10533:16;;10523:9;;:26;10522:58;;10565:15;;10522:58;;;10551:13;;10505:11;;:15;:76::i;:85::-;10493:97;;10428:178;10671:4;10622:28;7969:18;;;:9;:18;;;;;;10715:6;;;;;;;10714:7;:30;;;;-1:-1:-1;10731:13:0;;-1:-1:-1;;;;;10725:19:0;;;10731:13;;10725:19;10714:30;:62;;;;-1:-1:-1;10765:11:0;;;;;;;10714:62;:121;;;;;10818:17;;10797:20;:38;10714:121;:171;;;;;10867:18;;10855:9;;:30;10714:171;10692:509;;;10920:74;10937:56;10941:11;10954:38;10958:20;10980:11;;10954:3;:38::i;:::-;10937:3;:56::i;:::-;10920:16;:74::i;:::-;11040:21;11084:22;;11080:106;;11131:35;11144:21;11131:12;:35::i;:::-;10901:300;10692:509;9968:1244;9918:1294;-1:-1:-1;;;;;11229:24:0;;;;;;:18;:24;;;;;;;;;:51;;-1:-1:-1;;;;;;11258:22:0;;;;;;:18;:22;;;;;;;;11229:51;11228:75;;;;-1:-1:-1;;;;;;11284:19:0;;11298:4;11284:19;;11228:75;:96;;;;-1:-1:-1;;;;;;11307:17:0;;11319:4;11307:17;;11228:96;11224:153;;;11353:12;11340:10;:25;11224:153;-1:-1:-1;;;;;11394:24:0;;;;;;:18;:24;;;;;;;;11393:25;:53;;;;-1:-1:-1;;;;;;11424:22:0;;;;;;:18;:22;;;;;;;;11422:24;11393:53;11389:894;;;11472:13;;-1:-1:-1;;;;;11466:19:0;;;11472:13;;11466:19;11462:810;;-1:-1:-1;;;;;11535:12:0;;;11507:25;11535:12;;;:8;:12;;;;;11578:13;;11535:12;;11578:13;;;11570:21;;;;11566:488;;11620:17;;;:22;11616:153;;11699:18;;11689:9;;:28;:56;;11733:12;11689:56;;;11718:14;11731:1;11718:12;:14;:::i;:::-;11671:74;;11616:153;11566:488;;;-1:-1:-1;;;;;11844:14:0;;11817:24;11844:14;;;:8;:14;;;;;11885:17;;:20;;:60;;-1:-1:-1;11928:17:0;;11909:16;;:36;11885:60;11881:154;;;11995:16;;11975:36;;11881:154;11794:260;11566:488;11488:581;11462:810;;;-1:-1:-1;;;;;12121:14:0;;12094:24;12121:14;;;:8;:14;;;;;12193:10;;12172:16;;:32;;:20;:32::i;:::-;12154:15;;;:50;12244:12;12223:18;;;;:33;11462:810;12295:45;12310:4;12315:2;12318:11;12330:9;12295:14;:45::i;:::-;9495:2853;9421:2927;;;:::o;3903:190::-;3989:7;4025:12;4017:6;;;;4009:29;;;;-1:-1:-1;;;4009:29:0;;;;;;;;:::i;:::-;-1:-1:-1;4049:9:0;4061:5;4065:1;4061;:5;:::i;:::-;4049:17;3903:190;-1:-1:-1;;;;;3903:190:0:o;13426:481::-;7123:6;:13;;-1:-1:-1;;7123:13:0;;;;;13528:16:::1;::::0;;13542:1:::1;13528:16:::0;;;;;::::1;::::0;;-1:-1:-1;;13528:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;13528:16:0::1;13504:40;;13573:4;13555;13560:1;13555:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13555:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;13599:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;13599:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;13555:7;;13599:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13589:4;13594:1;13589:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13589:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;13663:15:::1;::::0;13632:60:::1;::::0;13649:4:::1;::::0;13663:15:::1;13680:11:::0;13632:8:::1;:60::i;:::-;13703:15;::::0;:196:::1;::::0;-1:-1:-1;;;13703:196:0;;-1:-1:-1;;;;;13703:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;13784:11;;13703:15:::1;::::0;13826:4;;13853::::1;::::0;13873:15:::1;::::0;13703:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;7159:6:0;:14;;-1:-1:-1;;7159:14:0;;;-1:-1:-1;;;;13426:481:0:o;14085:92::-;14142:10;;:27;;-1:-1:-1;;;;;14142:10:0;;;;:27;;;;;14162:6;;14142:10;:27;:10;:27;14162:6;14142:10;:27;;;;;;;;;;;;;;;;;;;8003:251;-1:-1:-1;;;;;8111:15:0;;;;;;:9;:15;;;;;;:32;;8131:11;8111:19;:32::i;:::-;-1:-1:-1;;;;;8094:15:0;;;;;;;:9;:15;;;;;;:49;;;;8169:13;;;;;;;:30;;8187:11;8169:17;:30::i;:::-;-1:-1:-1;;;;;8154:13:0;;;;;;;:9;:13;;;;;;;:45;;;;8215:31;;;;;;;;;;8234:11;1283:25:1;;1271:2;1256:18;;1137:177;4101:244:0;4159:7;4183:1;4186;4183:4;4179:45;;-1:-1:-1;4211:1:0;4204:8;;4179:45;4234:9;4246:5;4250:1;4246;:5;:::i;:::-;4234:17;-1:-1:-1;4279:1:0;4270:5;4274:1;4234:17;4270:5;:::i;:::-;:10;4262:56;;;;-1:-1:-1;;;4262:56:0;;12307:2:1;4262:56:0;;;12289:21:1;12346:2;12326:18;;;12319:30;12385:34;12365:18;;;12358:62;-1:-1:-1;;;12436:18:1;;;12429:31;12477:19;;4262:56:0;12105:397:1;4262:56:0;4336:1;4101:244;-1:-1:-1;;;4101:244:0:o;4353:132::-;4411:7;4438:39;4442:1;4445;4438:39;;;;;;;;;;;;;;;;;:3;:39::i;13315:103::-;13372:7;13400:1;13398;:3;13397:13;;13409:1;13397:13;;;-1:-1:-1;13405:1:0;13315:103;-1:-1:-1;13315:103:0:o;3759:136::-;3817:7;3844:43;3848:1;3851;3844:43;;;;;;;;;;;;;;;;;:3;:43::i;12641:251::-;12748:15;12765:45;12783:4;12788:11;12800:9;12765:17;:45::i;:::-;12748:62;-1:-1:-1;12821:63:0;12841:4;12846:2;12748:62;12857:26;:11;12873:9;12857:15;:26::i;:::-;12821:19;:63::i;:::-;12737:155;12641:251;;;;:::o;3572:179::-;3630:7;;3662:5;3666:1;3662;:5;:::i;:::-;3650:17;;3691:1;3686;:6;;3678:46;;;;-1:-1:-1;;;3678:46:0;;12709:2:1;3678:46:0;;;12691:21:1;12748:2;12728:18;;;12721:30;12787:29;12767:18;;;12760:57;12834:18;;3678:46:0;12507:351:1;4493:188:0;4579:7;4613:12;4607:5;4599:27;;;;-1:-1:-1;;;4599:27:0;;;;;;;;:::i;:::-;-1:-1:-1;4637:9:0;4649:5;4653:1;4649;:5;:::i;12900:407::-;13045:10;;12999:7;;;;-1:-1:-1;;;;;13045:10:0;;;13036:19;;;;:63;;13068:14;;:31;;13087:11;13068:18;:31::i;:::-;13036:63;;;13056:11;13036:63;13019:80;-1:-1:-1;13113:11:0;;13110:165;;13183:4;13165:24;;;;:9;:24;;;;;;:39;;13194:9;13165:28;:39::i;:::-;13158:4;13140:24;;;;:9;:24;;;;;;;:64;;;;13224:39;;-1:-1:-1;;;;;13224:39:0;;;;;;;13253:9;1283:25:1;;1271:2;1256:18;;1137:177;13224:39:0;;;;;;;;13110:165;13292:7;12900:407;-1:-1:-1;;;;12900:407:0:o;12356:277::-;-1:-1:-1;;;;;12489:15:0;;;;;;:9;:15;;;;;;:31;;12509:10;12489:19;:31::i;:::-;-1:-1:-1;;;;;12472:15:0;;;;;;;:9;:15;;;;;;:48;;;;12546:13;;;;;;;:32;;12564:13;12546:17;:32::i;:::-;-1:-1:-1;;;;;12531:13:0;;;;;;;:9;:13;;;;;;;:47;;;;12594:31;;;;;;;;;;12611:13;1283:25:1;;1271:2;1256:18;;1137:177;12594:31:0;;;;;;;;12356:277;;;;:::o;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:367;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;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:356::-;4813:2;4795:21;;;4832:18;;;4825:30;4891:34;4886:2;4871:18;;4864:62;4958:2;4943:18;;4611:356::o;5324:251::-;5394:6;5447:2;5435:9;5426:7;5422:23;5418:32;5415:52;;;5463:1;5460;5453:12;5415:52;5495:9;5489:16;5514:31;5539:5;5514:31;:::i;6493:456::-;6581:6;6589;6597;6650:2;6638:9;6629:7;6625:23;6621:32;6618:52;;;6666:1;6663;6656:12;6618:52;-1:-1:-1;;6711:16:1;;6817:2;6802:18;;6796:25;6913:2;6898:18;;;6892:25;6711:16;;6796:25;;-1:-1:-1;6892:25:1;6493:456;-1:-1:-1;6493:456:1:o;7233:277::-;7300:6;7353:2;7341:9;7332:7;7328:23;7324:32;7321:52;;;7369:1;7366;7359:12;7321:52;7401:9;7395:16;7454:5;7447:13;7440:21;7433:5;7430:32;7420:60;;7476:1;7473;7466:12;9897:125;9962:9;;;9983:10;;;9980:36;;;9996:18;;:::i;10382:135::-;10421:3;10442:17;;;10439:43;;10462:18;;:::i;:::-;-1:-1:-1;10509:1:1;10498:13;;10382:135::o;10522:128::-;10589:9;;;10610:11;;;10607:37;;;10624:18;;:::i;10787:127::-;10848:10;10843:3;10839:20;10836:1;10829:31;10879:4;10876:1;10869:15;10903:4;10900:1;10893:15;10919:959;11181:4;11229:3;11218:9;11214:19;11260:6;11249:9;11242:25;11303:6;11298:2;11287:9;11283:18;11276:34;11346:3;11341:2;11330:9;11326:18;11319:31;11370:6;11405;11399:13;11436:6;11428;11421:22;11474:3;11463:9;11459:19;11452:26;;11513:2;11505:6;11501:15;11487:29;;11534:1;11544:195;11558:6;11555:1;11552:13;11544:195;;;11623:13;;-1:-1:-1;;;;;11619:39:1;11607:52;;11688:2;11714:15;;;;11679:12;;;;11655:1;11573:9;11544:195;;;-1:-1:-1;;;;;;;11795:32:1;;;;11790:2;11775:18;;11768:60;-1:-1:-1;;11859:3:1;11844:19;11837:35;11756:3;10919:959;-1:-1:-1;;;10919:959:1:o;11883:217::-;11923:1;11949;11939:132;;11993:10;11988:3;11984:20;11981:1;11974:31;12028:4;12025:1;12018:15;12056:4;12053:1;12046:15;11939:132;-1:-1:-1;12085:9:1;;11883:217::o

ipfs://c1651fb727a784c17e4ed76a4c3e9d23101e99e580dd9030f2d013fd3d24576d