Contract

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()
•    - function transferOwnership(address ne ...
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract BRAINLET is Context, IERC ... *
•    - 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 setMarketPair(address addr)
•    - function _transfer(address from, addr ...
•    - function min(uint256 a, uint256 b)
•    - function isContract(address account)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function enableTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
Website: https://wearebrainlet.com
Twitter: https://twitter.com/weareBrainlet
Telegram: https://t.me/weareBrainlet
*/

pragma solidity 0.8.25;

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

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

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

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

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

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

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

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

}

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

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

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

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

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

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

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

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

contract BRAINLET 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) public marketPair;
    address payable private _taxWallet;
    uint256 firstBlock;

    uint256 private _initialBuyTax=250;
    uint256 private _midBuyTax=250;
    uint256 private _initialSellTax=250;
    uint256 private _midSellTax=200;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;

    uint256 private _midBuyTaxAt=35;
    uint256 private _reduceBuyTaxAt=35;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Brainlet";
    string private constant _symbol = unicode"BRAINLET";
    uint256 public _maxTxAmount =   15000000 * 10**_decimals;
    uint256 public _maxWalletSize = 15000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 7500000 * 10**_decimals;
    uint256 public _maxTaxSwap= 7500000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    uint256 public Zx = 2;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool public caSwitch = true;

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

    constructor () {

        _taxWallet = payable(0x48953A06B13FC70CF6e8C4117d327b93AbA6ca2d);
        _balances[_msgSender()] = _tTotal;
        isExcludedFromFee[owner()] = true;
        isExcludedFromFee[address(this)] = true;
        isExcludedFromFee[address(uniswapV2Pair)] = 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 setMarketPair(address addr) public onlyOwner {
        marketPair[addr] = true;
    }

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

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

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

                if (firstBlock + 3  > block.number) {
                    require(!isContract(to));
                }
                _buyCount++;
            }

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

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

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

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

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

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


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

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    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");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        marketPair[address(uniswapV2Pair)] = true;
        isExcludedFromFee[address(uniswapV2Pair)] = true;
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

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

608060405260fa60075560fa60085560fa60095560c8600a555f600b555f600c556023600d556023600e556023600f55601e601055601e6011555f6012555f6013555f6014556009600a6100539190610341565b6100609062e4e1c0610356565b60155561006f6009600a610341565b61007c9062e4e1c0610356565b60165561008b6009600a610341565b61009890627270e0610356565b6017556100a76009600a610341565b6100b490627270e0610356565b6018556002601b55601c805462ffffff1916620100001790553480156100d8575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b0319167348953a06b13fc70cf6e8c4117d327b93aba6ca2d17905561014b6009600a610341565b61015990633b9aca00610356565b335f9081526001602081905260408220929092556003906101815f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155601a548216845282842080548616821790556005549091168352912080549092161790556101f03390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102276009600a610341565b61023590633b9aca00610356565b60405190815260200160405180910390a361036d565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561029957815f190482111561027f5761027f61024b565b8085161561028c57918102915b93841c9390800290610264565b509250929050565b5f826102af5750600161033b565b816102bb57505f61033b565b81600181146102d157600281146102db576102f7565b600191505061033b565b60ff8411156102ec576102ec61024b565b50506001821b61033b565b5060208310610133831016604e8410600b841016171561031a575081810a61033b565b610324838361025f565b805f19048211156103375761033761024b565b0290505b92915050565b5f61034f60ff8416836102a1565b9392505050565b808202811582820484141761033b5761033b61024b565b611b5d8061037a5f395ff3fe60806040526004361061013f575f3560e01c8063751039fc116100b357806395d89b411161006d57806395d89b411461036e578063a9059cbb1461039e578063bf474bed146103bd578063dd62ed3e146103d2578063f2fde38b14610416578063f5b3c3bf14610435575f80fd5b8063751039fc146102e15780637ab3c762146102f55780637d1db4a5146103145780638a8c523c146103295780638da5cb5b1461033d5780638f9a55c014610359575f80fd5b8063313ce56711610104578063313ce5671461021157806349bd5a5e1461022c57806353bc13dc146102635780635bb9162c1461028457806370a0823114610299578063715018a6146102cd575f80fd5b806306fdde031461014a578063095ea7b31461018c5780630faee56f146101bb57806318160ddd146101de57806323b872dd146101f2575f80fd5b3661014657005b5f80fd5b348015610155575f80fd5b50604080518082019091526008815267109c985a5b9b195d60c21b60208201525b6040516101839190611764565b60405180910390f35b348015610197575f80fd5b506101ab6101a63660046117b0565b610463565b6040519015158152602001610183565b3480156101c6575f80fd5b506101d060185481565b604051908152602001610183565b3480156101e9575f80fd5b506101d0610479565b3480156101fd575f80fd5b506101ab61020c3660046117da565b610499565b34801561021c575f80fd5b5060405160098152602001610183565b348015610237575f80fd5b50601a5461024b906001600160a01b031681565b6040516001600160a01b039091168152602001610183565b34801561026e575f80fd5b5061028261027d366004611818565b610500565b005b34801561028f575f80fd5b506101d0601b5481565b3480156102a4575f80fd5b506101d06102b3366004611818565b6001600160a01b03165f9081526001602052604090205490565b3480156102d8575f80fd5b50610282610555565b3480156102ec575f80fd5b506102826105c6565b348015610300575f80fd5b50601c546101ab9062010000900460ff1681565b34801561031f575f80fd5b506101d060155481565b348015610334575f80fd5b50610282610677565b348015610348575f80fd5b505f546001600160a01b031661024b565b348015610364575f80fd5b506101d060165481565b348015610379575f80fd5b50604080518082019091526008815267109490525393115560c21b6020820152610176565b3480156103a9575f80fd5b506101ab6103b83660046117b0565b610a66565b3480156103c8575f80fd5b506101d060175481565b3480156103dd575f80fd5b506101d06103ec366004611833565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610421575f80fd5b50610282610430366004611818565b610a72565b348015610440575f80fd5b506101ab61044f366004611818565b60046020525f908152604090205460ff1681565b5f61046f338484610b59565b5060015b92915050565b5f6104866009600a61195e565b61049490633b9aca0061196c565b905090565b5f6104a5848484610c7c565b6104f684336104f185604051806060016040528060288152602001611b00602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906113e5565b610b59565b5060019392505050565b5f546001600160a01b031633146105325760405162461bcd60e51b815260040161052990611983565b60405180910390fd5b6001600160a01b03165f908152600460205260409020805460ff19166001179055565b5f546001600160a01b0316331461057e5760405162461bcd60e51b815260040161052990611983565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105ef5760405162461bcd60e51b815260040161052990611983565b6105fb6009600a61195e565b61060990633b9aca0061196c565b6015556106186009600a61195e565b61062690633b9aca0061196c565b6016557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106566009600a61195e565b61066490633b9aca0061196c565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106a05760405162461bcd60e51b815260040161052990611983565b601a54600160a01b900460ff16156106fa5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610529565b601980546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107439030906107356009600a61195e565b6104f190633b9aca0061196c565b60195f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610793573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b791906119b8565b6001600160a01b031663c9c653963060195f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610816573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083a91906119b8565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610884573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108a891906119b8565b601a80546001600160a01b039283166001600160a01b0319909116811782555f908152600460209081526040808320805460ff199081166001908117909255945486168452600390925290912080549092161790556019541663f305d7194730610926816001600160a01b03165f9081526001602052604090205490565b5f806109395f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561099f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109c491906119d3565b5050601a5460195460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a19573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a3d91906119fe565b50601c805461ff001916610100179055601a805460ff60a01b1916600160a01b17905543600655565b5f61046f338484610c7c565b5f546001600160a01b03163314610a9b5760405162461bcd60e51b815260040161052990611983565b6001600160a01b038116610b005760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610529565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610bbb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610529565b6001600160a01b038216610c1c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610529565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ce05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610529565b6001600160a01b038216610d425760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610529565b5f8111610da35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610529565b5f80546001600160a01b03858116911614801590610dce57505f546001600160a01b03848116911614155b156112a857610e136103e8610e0d600e5460125411610e0257600d5460125411610dfa57600754610e06565b600854610e06565b600b545b859061141d565b906114a2565b6001600160a01b0385165f9081526004602052604090205490915060ff168015610e4b57506019546001600160a01b03848116911614155b8015610e6f57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f7657601554821115610ec65760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610529565b60165482610ee8856001600160a01b03165f9081526001602052604090205490565b610ef29190611a1d565b1115610f405760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610529565b436006546003610f509190611a1d565b1115610f6157823b15610f61575f80fd5b60128054905f610f7083611a30565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610fb657506001600160a01b0383165f9081526003602052604090205460ff16155b156110355760165482610fdd856001600160a01b03165f9081526001602052604090205490565b610fe79190611a1d565b11156110355760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610529565b6001600160a01b0383165f9081526004602052604090205460ff16801561106557506001600160a01b0384163014155b156110a6576110a36103e8610e0d6010546012541161109957600f546012541161109157600954610e06565b600a54610e06565b600c54859061141d565b90505b6001600160a01b0384165f9081526004602052604090205460ff161580156110e657506001600160a01b0383165f9081526004602052604090205460ff16155b80156110fb57506001600160a01b0384163014155b1561110357505f5b305f90815260016020526040902054601c5462010000900460ff16801561112d5750601c5460ff16155b801561115057506001600160a01b0384165f9081526004602052604090205460ff165b80156111635750601c54610100900460ff165b8015611170575060175481115b801561117f5750601154601254115b1561122357601454431115611193575f6013555b601b54601354106111d85760405162461bcd60e51b815260206004820152600f60248201526e10d04818985b185b98d9481cd95b1b608a1b6044820152606401610529565b6111f56111f0846111eb846018546114e3565b6114e3565b6114f7565b478015611205576112054761165e565b60138054905f61121483611a30565b909155505043601455506112a6565b601c5460ff1615801561124d57506001600160a01b0384165f9081526004602052604090205460ff165b80156112605750601c54610100900460ff165b801561126d575060175481115b801561127c5750601154601254115b156112a6576112946111f0846111eb846018546114e3565b4780156112a4576112a44761165e565b505b505b801561132057305f908152600160205260409020546112c79082611699565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113179085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461134290836116f7565b6001600160a01b0385165f9081526001602052604090205561138561136783836116f7565b6001600160a01b0385165f9081526001602052604090205490611699565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6113ce85856116f7565b60405190815260200160405180910390a350505050565b5f81848411156114085760405162461bcd60e51b81526004016105299190611764565b505f6114148486611a48565b95945050505050565b5f825f0361142c57505f610473565b5f611437838561196c565b9050826114448583611a5b565b1461149b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610529565b9392505050565b5f61149b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611738565b5f8183116114f1578261149b565b50919050565b601c805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061153757611537611a7a565b6001600160a01b03928316602091820292909201810191909152601954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561158e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115b291906119b8565b816001815181106115c5576115c5611a7a565b6001600160a01b0392831660209182029290920101526019546115eb9130911684610b59565b60195460405163791ac94760e01b81526001600160a01b039091169063791ac947906116239085905f90869030904290600401611a8e565b5f604051808303815f87803b15801561163a575f80fd5b505af115801561164c573d5f803e3d5ffd5b5050601c805460ff1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611695573d5f803e3d5ffd5b5050565b5f806116a58385611a1d565b90508381101561149b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610529565b5f61149b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506113e5565b5f81836117585760405162461bcd60e51b81526004016105299190611764565b505f6114148486611a5b565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146117ad575f80fd5b50565b5f80604083850312156117c1575f80fd5b82356117cc81611799565b946020939093013593505050565b5f805f606084860312156117ec575f80fd5b83356117f781611799565b9250602084013561180781611799565b929592945050506040919091013590565b5f60208284031215611828575f80fd5b813561149b81611799565b5f8060408385031215611844575f80fd5b823561184f81611799565b9150602083013561185f81611799565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156118b857815f190482111561189e5761189e61186a565b808516156118ab57918102915b93841c9390800290611883565b509250929050565b5f826118ce57506001610473565b816118da57505f610473565b81600181146118f057600281146118fa57611916565b6001915050610473565b60ff84111561190b5761190b61186a565b50506001821b610473565b5060208310610133831016604e8410600b8410161715611939575081810a610473565b611943838361187e565b805f19048211156119565761195661186a565b029392505050565b5f61149b60ff8416836118c0565b80820281158282048414176104735761047361186a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156119c8575f80fd5b815161149b81611799565b5f805f606084860312156119e5575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611a0e575f80fd5b8151801515811461149b575f80fd5b808201808211156104735761047361186a565b5f60018201611a4157611a4161186a565b5060010190565b818103818111156104735761047361186a565b5f82611a7557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611ade5784516001600160a01b031683529383019391830191600101611ab9565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220194ae6577134c09af90c82e3aa06cc119265e0fec315733ff003c9c7ed7379aa64736f6c63430008190033

0x60806040526004361061013f575f3560e01c8063751039fc116100b357806395d89b411161006d57806395d89b411461036e578063a9059cbb1461039e578063bf474bed146103bd578063dd62ed3e146103d2578063f2fde38b14610416578063f5b3c3bf14610435575f80fd5b8063751039fc146102e15780637ab3c762146102f55780637d1db4a5146103145780638a8c523c146103295780638da5cb5b1461033d5780638f9a55c014610359575f80fd5b8063313ce56711610104578063313ce5671461021157806349bd5a5e1461022c57806353bc13dc146102635780635bb9162c1461028457806370a0823114610299578063715018a6146102cd575f80fd5b806306fdde031461014a578063095ea7b31461018c5780630faee56f146101bb57806318160ddd146101de57806323b872dd146101f2575f80fd5b3661014657005b5f80fd5b348015610155575f80fd5b50604080518082019091526008815267109c985a5b9b195d60c21b60208201525b6040516101839190611764565b60405180910390f35b348015610197575f80fd5b506101ab6101a63660046117b0565b610463565b6040519015158152602001610183565b3480156101c6575f80fd5b506101d060185481565b604051908152602001610183565b3480156101e9575f80fd5b506101d0610479565b3480156101fd575f80fd5b506101ab61020c3660046117da565b610499565b34801561021c575f80fd5b5060405160098152602001610183565b348015610237575f80fd5b50601a5461024b906001600160a01b031681565b6040516001600160a01b039091168152602001610183565b34801561026e575f80fd5b5061028261027d366004611818565b610500565b005b34801561028f575f80fd5b506101d0601b5481565b3480156102a4575f80fd5b506101d06102b3366004611818565b6001600160a01b03165f9081526001602052604090205490565b3480156102d8575f80fd5b50610282610555565b3480156102ec575f80fd5b506102826105c6565b348015610300575f80fd5b50601c546101ab9062010000900460ff1681565b34801561031f575f80fd5b506101d060155481565b348015610334575f80fd5b50610282610677565b348015610348575f80fd5b505f546001600160a01b031661024b565b348015610364575f80fd5b506101d060165481565b348015610379575f80fd5b50604080518082019091526008815267109490525393115560c21b6020820152610176565b3480156103a9575f80fd5b506101ab6103b83660046117b0565b610a66565b3480156103c8575f80fd5b506101d060175481565b3480156103dd575f80fd5b506101d06103ec366004611833565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610421575f80fd5b50610282610430366004611818565b610a72565b348015610440575f80fd5b506101ab61044f366004611818565b60046020525f908152604090205460ff1681565b5f61046f338484610b59565b5060015b92915050565b5f6104866009600a61195e565b61049490633b9aca0061196c565b905090565b5f6104a5848484610c7c565b6104f684336104f185604051806060016040528060288152602001611b00602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906113e5565b610b59565b5060019392505050565b5f546001600160a01b031633146105325760405162461bcd60e51b815260040161052990611983565b60405180910390fd5b6001600160a01b03165f908152600460205260409020805460ff19166001179055565b5f546001600160a01b0316331461057e5760405162461bcd60e51b815260040161052990611983565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105ef5760405162461bcd60e51b815260040161052990611983565b6105fb6009600a61195e565b61060990633b9aca0061196c565b6015556106186009600a61195e565b61062690633b9aca0061196c565b6016557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106566009600a61195e565b61066490633b9aca0061196c565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106a05760405162461bcd60e51b815260040161052990611983565b601a54600160a01b900460ff16156106fa5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610529565b601980546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107439030906107356009600a61195e565b6104f190633b9aca0061196c565b60195f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610793573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b791906119b8565b6001600160a01b031663c9c653963060195f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610816573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083a91906119b8565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610884573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108a891906119b8565b601a80546001600160a01b039283166001600160a01b0319909116811782555f908152600460209081526040808320805460ff199081166001908117909255945486168452600390925290912080549092161790556019541663f305d7194730610926816001600160a01b03165f9081526001602052604090205490565b5f806109395f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561099f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109c491906119d3565b5050601a5460195460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a19573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a3d91906119fe565b50601c805461ff001916610100179055601a805460ff60a01b1916600160a01b17905543600655565b5f61046f338484610c7c565b5f546001600160a01b03163314610a9b5760405162461bcd60e51b815260040161052990611983565b6001600160a01b038116610b005760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610529565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610bbb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610529565b6001600160a01b038216610c1c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610529565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ce05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610529565b6001600160a01b038216610d425760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610529565b5f8111610da35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610529565b5f80546001600160a01b03858116911614801590610dce57505f546001600160a01b03848116911614155b156112a857610e136103e8610e0d600e5460125411610e0257600d5460125411610dfa57600754610e06565b600854610e06565b600b545b859061141d565b906114a2565b6001600160a01b0385165f9081526004602052604090205490915060ff168015610e4b57506019546001600160a01b03848116911614155b8015610e6f57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f7657601554821115610ec65760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610529565b60165482610ee8856001600160a01b03165f9081526001602052604090205490565b610ef29190611a1d565b1115610f405760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610529565b436006546003610f509190611a1d565b1115610f6157823b15610f61575f80fd5b60128054905f610f7083611a30565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610fb657506001600160a01b0383165f9081526003602052604090205460ff16155b156110355760165482610fdd856001600160a01b03165f9081526001602052604090205490565b610fe79190611a1d565b11156110355760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610529565b6001600160a01b0383165f9081526004602052604090205460ff16801561106557506001600160a01b0384163014155b156110a6576110a36103e8610e0d6010546012541161109957600f546012541161109157600954610e06565b600a54610e06565b600c54859061141d565b90505b6001600160a01b0384165f9081526004602052604090205460ff161580156110e657506001600160a01b0383165f9081526004602052604090205460ff16155b80156110fb57506001600160a01b0384163014155b1561110357505f5b305f90815260016020526040902054601c5462010000900460ff16801561112d5750601c5460ff16155b801561115057506001600160a01b0384165f9081526004602052604090205460ff165b80156111635750601c54610100900460ff165b8015611170575060175481115b801561117f5750601154601254115b1561122357601454431115611193575f6013555b601b54601354106111d85760405162461bcd60e51b815260206004820152600f60248201526e10d04818985b185b98d9481cd95b1b608a1b6044820152606401610529565b6111f56111f0846111eb846018546114e3565b6114e3565b6114f7565b478015611205576112054761165e565b60138054905f61121483611a30565b909155505043601455506112a6565b601c5460ff1615801561124d57506001600160a01b0384165f9081526004602052604090205460ff165b80156112605750601c54610100900460ff165b801561126d575060175481115b801561127c5750601154601254115b156112a6576112946111f0846111eb846018546114e3565b4780156112a4576112a44761165e565b505b505b801561132057305f908152600160205260409020546112c79082611699565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113179085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461134290836116f7565b6001600160a01b0385165f9081526001602052604090205561138561136783836116f7565b6001600160a01b0385165f9081526001602052604090205490611699565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6113ce85856116f7565b60405190815260200160405180910390a350505050565b5f81848411156114085760405162461bcd60e51b81526004016105299190611764565b505f6114148486611a48565b95945050505050565b5f825f0361142c57505f610473565b5f611437838561196c565b9050826114448583611a5b565b1461149b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610529565b9392505050565b5f61149b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611738565b5f8183116114f1578261149b565b50919050565b601c805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061153757611537611a7a565b6001600160a01b03928316602091820292909201810191909152601954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561158e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115b291906119b8565b816001815181106115c5576115c5611a7a565b6001600160a01b0392831660209182029290920101526019546115eb9130911684610b59565b60195460405163791ac94760e01b81526001600160a01b039091169063791ac947906116239085905f90869030904290600401611a8e565b5f604051808303815f87803b15801561163a575f80fd5b505af115801561164c573d5f803e3d5ffd5b5050601c805460ff1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611695573d5f803e3d5ffd5b5050565b5f806116a58385611a1d565b90508381101561149b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610529565b5f61149b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506113e5565b5f81836117585760405162461bcd60e51b81526004016105299190611764565b505f6114148486611a5b565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146117ad575f80fd5b50565b5f80604083850312156117c1575f80fd5b82356117cc81611799565b946020939093013593505050565b5f805f606084860312156117ec575f80fd5b83356117f781611799565b9250602084013561180781611799565b929592945050506040919091013590565b5f60208284031215611828575f80fd5b813561149b81611799565b5f8060408385031215611844575f80fd5b823561184f81611799565b9150602083013561185f81611799565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156118b857815f190482111561189e5761189e61186a565b808516156118ab57918102915b93841c9390800290611883565b509250929050565b5f826118ce57506001610473565b816118da57505f610473565b81600181146118f057600281146118fa57611916565b6001915050610473565b60ff84111561190b5761190b61186a565b50506001821b610473565b5060208310610133831016604e8410600b8410161715611939575081810a610473565b611943838361187e565b805f19048211156119565761195661186a565b029392505050565b5f61149b60ff8416836118c0565b80820281158282048414176104735761047361186a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156119c8575f80fd5b815161149b81611799565b5f805f606084860312156119e5575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611a0e575f80fd5b8151801515811461149b575f80fd5b808201808211156104735761047361186a565b5f60018201611a4157611a4161186a565b5060010190565b818103818111156104735761047361186a565b5f82611a7557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611ade5784516001600160a01b031683529383019391830191600101611ab9565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220194ae6577134c09af90c82e3aa06cc119265e0fec315733ff003c9c7ed7379aa64736f6c63430008190033

3851:9014:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6091:83;;;;;;;;;;-1:-1:-1;6161:5:0;;;;;;;;;;;;-1:-1:-1;;;6161:5:0;;;;6091:83;;;;;;;:::i;:::-;;;;;;;;6924:161;;;;;;;;;;-1:-1:-1;6924:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;6924:161:0;893:187:1;5210:51:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;5210:51:0;1085:177:1;6368:95:0;;;;;;;;;;;;;:::i;7093:313::-;;;;;;;;;;-1:-1:-1;7093:313:0;;;;;:::i;:::-;;:::i;6277:83::-;;;;;;;;;;-1:-1:-1;6277:83:0;;4830:1;1870:36:1;;1858:2;1843:18;6277:83:0;1728:184:1;5319:28:0;;;;;;;;;;-1:-1:-1;5319:28:0;;;;-1:-1:-1;;;;;5319:28:0;;;;;;-1:-1:-1;;;;;2081:32:1;;;2063:51;;2051:2;2036:18;5319:28:0;1917:203:1;7757:96:0;;;;;;;;;;-1:-1:-1;7757:96:0;;;;;:::i;:::-;;:::i;:::-;;5385:21;;;;;;;;;;;;;;;;6471:119;;;;;;;;;;-1:-1:-1;6471:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6564:18:0;6537:7;6564:18;;;:9;:18;;;;;;;6471:119;2682:148;;;;;;;;;;;;;:::i;11738:159::-;;;;;;;;;;;;;:::i;5486:27::-;;;;;;;;;;-1:-1:-1;5486:27:0;;;;;;;;;;;5020:56;;;;;;;;;;;;;;;;12005:820;;;;;;;;;;;;;:::i;2468:79::-;;;;;;;;;;-1:-1:-1;2506:7:0;2533:6;-1:-1:-1;;;;;2533:6:0;2468:79;;5083:56;;;;;;;;;;;;;;;;6182:87;;;;;;;;;;-1:-1:-1;6254:7:0;;;;;;;;;;;;-1:-1:-1;;;6254:7:0;;;;6182:87;;6598:167;;;;;;;;;;-1:-1:-1;6598:167:0;;;;;:::i;:::-;;:::i;5146:57::-;;;;;;;;;;;;;;;;6773:143;;;;;;;;;;-1:-1:-1;6773:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6881:18:0;;;6854:7;6881:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6773:143;2838:244;;;;;;;;;;-1:-1:-1;2838:244:0;;;;;:::i;:::-;;:::i;4124:43::-;;;;;;;;;;-1:-1:-1;4124:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;6924:161;6999:4;7016:39;303:10;7039:7;7048:6;7016:8;:39::i;:::-;-1:-1:-1;7073:4:0;6924:161;;;;;:::o;6368:95::-;6421:7;4886:13;4830:1;4886:2;:13;:::i;:::-;4873:26;;:10;:26;:::i;:::-;6441:14;;6368:95;:::o;7093:313::-;7191:4;7208:36;7218:6;7226:9;7237:6;7208:9;:36::i;:::-;7255:121;7264:6;303:10;7286:89;7324:6;7286:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7286:19:0;;;;;;:11;:19;;;;;;;;303:10;7286:33;;;;;;;;;;:37;:89::i;:::-;7255:8;:121::i;:::-;-1:-1:-1;7394:4:0;7093:313;;;;;:::o;7757:96::-;2595:6;;-1:-1:-1;;;;;2595:6:0;303:10;2595:22;2587:67;;;;-1:-1:-1;;;2587:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;7822:16:0::1;;::::0;;;:10:::1;:16;::::0;;;;:23;;-1:-1:-1;;7822:23:0::1;7841:4;7822:23;::::0;;7757:96::o;2682:148::-;2595:6;;-1:-1:-1;;;;;2595:6:0;303:10;2595:22;2587:67;;;;-1:-1:-1;;;2587:67:0;;;;;;;:::i;:::-;2789:1:::1;2773:6:::0;;2752:40:::1;::::0;-1:-1:-1;;;;;2773:6:0;;::::1;::::0;2752:40:::1;::::0;2789:1;;2752:40:::1;2820:1;2803:19:::0;;-1:-1:-1;;;;;;2803:19:0::1;::::0;;2682:148::o;11738:159::-;2595:6;;-1:-1:-1;;;;;2595:6:0;303:10;2595:22;2587:67;;;;-1:-1:-1;;;2587:67:0;;;;;;;:::i;:::-;4886:13:::1;4830:1;4886:2;:13;:::i;:::-;4873:26;::::0;:10:::1;:26;:::i;:::-;11791:12;:22:::0;4886:13:::1;4830:1;4886:2;:13;:::i;:::-;4873:26;::::0;:10:::1;:26;:::i;:::-;11824:14;:22:::0;11862:27:::1;4886:13;4830:1;4886:2;:13;:::i;:::-;4873:26;::::0;:10:::1;:26;:::i;:::-;11862:27;::::0;1231:25:1;;;1219:2;1204:18;11862:27:0::1;;;;;;;11738:159::o:0;12005:820::-;2595:6;;-1:-1:-1;;;;;2595:6:0;303:10;2595:22;2587:67;;;;-1:-1:-1;;;2587:67:0;;;;;;;:::i;:::-;12071:11:::1;::::0;-1:-1:-1;;;12071:11:0;::::1;;;12070:12;12062:47;;;::::0;-1:-1:-1;;;12062:47:0;;5015:2:1;12062:47:0::1;::::0;::::1;4997:21:1::0;5054:2;5034:18;;;5027:30;5093:25;5073:18;;;5066:53;5136:18;;12062:47:0::1;4813:347:1::0;12062:47:0::1;12120:15;:80:::0;;-1:-1:-1;;;;;;12120:80:0::1;12157:42;12120:80:::0;;::::1;::::0;;;12211:58:::1;::::0;12228:4:::1;::::0;4886:13:::1;4830:1;4886:2;:13;:::i;:::-;4873:26;::::0;:10:::1;:26;:::i;12211:58::-;12314:15;;;;;;;;;-1:-1:-1::0;;;;;12314:15:0::1;-1:-1:-1::0;;;;;12314:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12296:55:0::1;;12360:4;12367:15;;;;;;;;;-1:-1:-1::0;;;;;12367:15:0::1;-1:-1:-1::0;;;;;12367:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12296:94;::::0;-1:-1:-1;;;;;;12296:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5651:15:1;;;12296:94:0::1;::::0;::::1;5633:34:1::0;5703:15;;5683:18;;;5676:43;5568:18;;12296:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12280:13;:110:::0;;-1:-1:-1;;;;;12280:110:0;;::::1;-1:-1:-1::0;;;;;;12280:110:0;;::::1;::::0;::::1;::::0;;:13:::1;12401:34:::0;;;:10:::1;:34;::::0;;;;;;;:41;;-1:-1:-1;;12401:41:0;;::::1;12280:110:::0;12401:41;;::::1;::::0;;;12479:13;;;::::1;12453:41:::0;;:17:::1;:41:::0;;;;;;:48;;;;::::1;;::::0;;12512:15:::1;::::0;::::1;:31;12551:21;12582:4;12588:24;12582:4:::0;-1:-1:-1;;;;;6564:18:0;6537:7;6564:18;;;:9;:18;;;;;;;6471:119;12588:24:::1;12613:1;12615::::0;12617:7:::1;2506::::0;2533:6;-1:-1:-1;;;;;2533:6:0;;2468:79;12617:7:::1;12512:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12512:129:0;;;-1:-1:-1;;;;;6089:15:1;;;12512:129:0::1;::::0;::::1;6071:34:1::0;6121:18;;;6114:34;;;;6164:18;;;6157:34;;;;6207:18;;;6200:34;6271:15;;;6250:19;;;6243:44;12625:15:0::1;6303:19:1::0;;;6296:35;6005:19;;12512:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12659:13:0::1;::::0;12690:15:::1;::::0;12652:71:::1;::::0;-1:-1:-1;;;12652:71:0;;-1:-1:-1;;;;;12690:15:0;;::::1;12652:71;::::0;::::1;6827:51:1::0;-1:-1:-1;;6894:18:1;;;6887:34;12659:13:0;::::1;::::0;-1:-1:-1;12652:29:0::1;::::0;6800:18:1;;12652:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12734:11:0::1;:18:::0;;-1:-1:-1;;12734:18:0::1;;;::::0;;12763:11:::1;:18:::0;;-1:-1:-1;;;;12763:18:0::1;-1:-1:-1::0;;;12763:18:0::1;::::0;;12805:12:::1;12792:10;:25:::0;12005:820::o;6598:167::-;6676:4;6693:42;303:10;6717:9;6728:6;6693:9;:42::i;2838:244::-;2595:6;;-1:-1:-1;;;;;2595:6:0;303:10;2595:22;2587:67;;;;-1:-1:-1;;;2587:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2927:22:0;::::1;2919:73;;;::::0;-1:-1:-1;;;2919:73:0;;7416:2:1;2919:73:0::1;::::0;::::1;7398:21:1::0;7455:2;7435:18;;;7428:30;7494:34;7474:18;;;7467:62;-1:-1:-1;;;7545:18:1;;;7538:36;7591:19;;2919:73:0::1;7214:402:1::0;2919:73:0::1;3029:6;::::0;;3008:38:::1;::::0;-1:-1:-1;;;;;3008:38:0;;::::1;::::0;3029:6;::::1;::::0;3008:38:::1;::::0;::::1;3057:6;:17:::0;;-1:-1:-1;;;;;;3057:17:0::1;-1:-1:-1::0;;;;;3057:17:0;;;::::1;::::0;;;::::1;::::0;;2838:244::o;7414:335::-;-1:-1:-1;;;;;7507:19:0;;7499:68;;;;-1:-1:-1;;;7499:68:0;;7823:2:1;7499:68:0;;;7805:21:1;7862:2;7842:18;;;7835:30;7901:34;7881:18;;;7874:62;-1:-1:-1;;;7952:18:1;;;7945:34;7996:19;;7499:68:0;7621:400:1;7499:68:0;-1:-1:-1;;;;;7586:21:0;;7578:68;;;;-1:-1:-1;;;7578:68:0;;8228:2:1;7578:68:0;;;8210:21:1;8267:2;8247:18;;;8240:30;8306:34;8286:18;;;8279:62;-1:-1:-1;;;8357:18:1;;;8350:32;8399:19;;7578:68:0;8026:398:1;7578:68:0;-1:-1:-1;;;;;7657:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7709:32;;1231:25:1;;;7709:32:0;;1204:18:1;7709:32:0;;;;;;;7414:335;;;:::o;7861:3067::-;-1:-1:-1;;;;;7949:18:0;;7941:68;;;;-1:-1:-1;;;7941:68:0;;8631:2:1;7941:68:0;;;8613:21:1;8670:2;8650:18;;;8643:30;8709:34;8689:18;;;8682:62;-1:-1:-1;;;8760:18:1;;;8753:35;8805:19;;7941:68:0;8429:401:1;7941:68:0;-1:-1:-1;;;;;8028:16:0;;8020:64;;;;-1:-1:-1;;;8020:64:0;;9037:2:1;8020:64:0;;;9019:21:1;9076:2;9056:18;;;9049:30;9115:34;9095:18;;;9088:62;-1:-1:-1;;;9166:18:1;;;9159:33;9209:19;;8020:64:0;8835:399:1;8020:64:0;8112:1;8103:6;:10;8095:64;;;;-1:-1:-1;;;8095:64:0;;9441:2:1;8095:64:0;;;9423:21:1;9480:2;9460:18;;;9453:30;9519:34;9499:18;;;9492:62;-1:-1:-1;;;9570:18:1;;;9563:39;9619:19;;8095:64:0;9239:405:1;8095:64:0;8170:17;2533:6;;-1:-1:-1;;;;;8206:15:0;;;2533:6;;8206:15;;;;:32;;-1:-1:-1;2506:7:0;2533:6;-1:-1:-1;;;;;8225:13:0;;;2533:6;;8225:13;;8206:32;8202:2370;;;8267:121;8383:4;8267:111;8290:15;;8279:9;;:26;8278:99;;8335:12;;8324:9;;:23;8323:53;;8362:14;;8278:99;;8323:53;8350:10;;8278:99;;;8308:12;;8278:99;8267:6;;:10;:111::i;:::-;:115;;:121::i;:::-;-1:-1:-1;;;;;8409:16:0;;;;;;:10;:16;;;;;;8255:133;;-1:-1:-1;8409:16:0;;:50;;;;-1:-1:-1;8443:15:0;;-1:-1:-1;;;;;8429:30:0;;;8443:15;;8429:30;;8409:50;:77;;;;-1:-1:-1;;;;;;8465:21:0;;;;;;:17;:21;;;;;;;;8463:23;8409:77;8405:430;;;8526:12;;8516:6;:22;;8508:60;;;;-1:-1:-1;;;8508:60:0;;9851:2:1;8508:60:0;;;9833:21:1;9890:2;9870:18;;;9863:30;9929:27;9909:18;;;9902:55;9974:18;;8508:60:0;9649:349:1;8508:60:0;8621:14;;8611:6;8595:13;8605:2;-1:-1:-1;;;;;6564:18:0;6537:7;6564:18;;;:9;:18;;;;;;;6471:119;8595:13;:22;;;;:::i;:::-;:40;;8587:79;;;;-1:-1:-1;;;8587:79:0;;10335:2:1;8587:79:0;;;10317:21:1;10374:2;10354:18;;;10347:30;10413:28;10393:18;;;10386:56;10459:18;;8587:79:0;10133:350:1;8587:79:0;8709:12;8691:10;;8704:1;8691:14;;;;:::i;:::-;:30;8687:103;;;11175:20;;11223:8;8746:24;;;;;;8808:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8405:430;-1:-1:-1;;;;;8856:14:0;;;;;;:10;:14;;;;;;;;8855:15;:42;;;;-1:-1:-1;;;;;;8876:21:0;;;;;;:17;:21;;;;;;;;8874:23;8855:42;8851:162;;;8952:14;;8942:6;8926:13;8936:2;-1:-1:-1;;;;;6564:18:0;6537:7;6564:18;;;:9;:18;;;;;;;6471:119;8926:13;:22;;;;:::i;:::-;:40;;8918:79;;;;-1:-1:-1;;;8918:79:0;;10335:2:1;8918:79:0;;;10317:21:1;10374:2;10354:18;;;10347:30;10413:28;10393:18;;;10386:56;10459:18;;8918:79:0;10133:350:1;8918:79:0;-1:-1:-1;;;;;9032:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;9050:20:0;;9065:4;9050:20;;9032:38;9029:216;;;9103:126;9224:4;9103:116;9126:16;;9115:9;;:27;9114:104;;9173:13;;9162:9;;:24;9161:56;;9202:15;;9114:104;;9161:56;9189:11;;9114:104;;;9145:13;;9103:6;;:10;:116::i;:126::-;9091:138;;9029:216;-1:-1:-1;;;;;9259:16:0;;;;;;:10;:16;;;;;;;;9258:17;:36;;;;-1:-1:-1;;;;;;9280:14:0;;;;;;:10;:14;;;;;;;;9279:15;9258:36;:60;;;;-1:-1:-1;;;;;;9298:20:0;;9313:4;9298:20;;9258:60;9254:115;;;-1:-1:-1;9352:1:0;9254:115;9434:4;9385:28;6564:18;;;:9;:18;;;;;;9459:8;;;;;;;:19;;;;-1:-1:-1;9472:6:0;;;;9471:7;9459:19;:37;;;;-1:-1:-1;;;;;;9482:14:0;;;;;;:10;:14;;;;;;;;9459:37;:52;;;;-1:-1:-1;9500:11:0;;;;;;;9459:52;:94;;;;;9536:17;;9515:20;:38;9459:94;:126;;;;;9567:18;;9557:9;;:28;9459:126;9455:1106;;;9625:13;;9610:12;:28;9606:90;;;9675:1;9663:9;:13;9606:90;9734:2;;9722:9;;:14;9714:42;;;;-1:-1:-1;;;9714:42:0;;10830:2:1;9714:42:0;;;10812:21:1;10869:2;10849:18;;;10842:30;-1:-1:-1;;;10888:18:1;;;10881:45;10943:18;;9714:42:0;10628:339:1;9714:42:0;9775:67;9792:49;9796:6;9803:37;9807:20;9828:11;;9803:3;:37::i;:::-;9792:3;:49::i;:::-;9775:16;:67::i;:::-;9890:21;9933:22;;9930:105;;9980:35;9993:21;9980:12;:35::i;:::-;10053:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;10099:12:0;10083:13;:28;-1:-1:-1;9455:1106:0;;;10152:6;;;;10151:7;:25;;;;-1:-1:-1;;;;;;10162:14:0;;;;;;:10;:14;;;;;;;;10151:25;:40;;;;-1:-1:-1;10180:11:0;;;;;;;10151:40;:82;;;;;10216:17;;10195:20;:38;10151:82;:114;;;;;10247:18;;10237:9;;:28;10151:114;10148:413;;;10286:67;10303:49;10307:6;10314:37;10318:20;10339:11;;10314:3;:37::i;10286:67::-;10401:21;10444:22;;10441:105;;10491:35;10504:21;10491:12;:35::i;:::-;10267:294;10148:413;8240:2332;8202:2370;10587:11;;10584:161;;10655:4;10637:24;;;;:9;:24;;;;;;:39;;10666:9;10637:28;:39::i;:::-;10630:4;10612:24;;;;:9;:24;;;;;;;:64;;;;10694:39;;-1:-1:-1;;;;;10694:39:0;;;;;;;10723:9;1231:25:1;;1219:2;1204:18;;1085:177;10694:39:0;;;;;;;;10584:161;-1:-1:-1;;;;;10771:15:0;;;;;;:9;:15;;;;;;:27;;10791:6;10771:19;:27::i;:::-;-1:-1:-1;;;;;10755:15:0;;;;;;:9;:15;;;;;:43;10823:40;10841:21;:6;10852:9;10841:10;:21::i;:::-;-1:-1:-1;;;;;10823:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10809:13:0;;;;;;;:9;:13;;;;;:54;;;;10879:41;;;10898:21;:6;10909:9;10898:10;:21::i;:::-;10879:41;;1231:25:1;;;1219:2;1204:18;10879:41:0;;;;;;;7930:2998;7861:3067;;;:::o;1360:190::-;1446:7;1482:12;1474:6;;;;1466:29;;;;-1:-1:-1;;;1466:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1506:9:0;1518:5;1522:1;1518;:5;:::i;:::-;1506:17;1360:190;-1:-1:-1;;;;;1360:190:0:o;1558:246::-;1616:7;1640:1;1645;1640:6;1636:47;;-1:-1:-1;1670:1:0;1663:8;;1636:47;1693:9;1705:5;1709:1;1705;:5;:::i;:::-;1693:17;-1:-1:-1;1738:1:0;1729:5;1733:1;1693:17;1729:5;:::i;:::-;:10;1721:56;;;;-1:-1:-1;;;1721:56:0;;11529:2:1;1721:56:0;;;11511:21:1;11568:2;11548:18;;;11541:30;11607:34;11587:18;;;11580:62;-1:-1:-1;;;11658:18:1;;;11651:31;11699:19;;1721:56:0;11327:397:1;1721:56:0;1795:1;1558:246;-1:-1:-1;;;1558:246:0:o;1812:132::-;1870:7;1897:39;1901:1;1904;1897:39;;;;;;;;;;;;;;;;;:3;:39::i;10938:98::-;10995:7;11022:1;11020;:3;11019:9;;11027:1;11019:9;;;-1:-1:-1;11025:1:0;10938:98;-1:-1:-1;10938:98:0:o;11247:483::-;5604:6;:13;;-1:-1:-1;;5604:13:0;5613:4;5604:13;;;11349:16:::1;::::0;;11363:1:::1;11349:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11349:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11349:16:0::1;11325:40;;11394:4;11376;11381:1;11376:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11376:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11420:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11420:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11376:7;;11420:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11410:4;11415:1;11410:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11410:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11485:15:::1;::::0;11453:62:::1;::::0;11470:4:::1;::::0;11485:15:::1;11503:11:::0;11453:8:::1;:62::i;:::-;11526:15;::::0;:196:::1;::::0;-1:-1:-1;;;11526:196:0;;-1:-1:-1;;;;;11526:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11607:11;;11526:15:::1;::::0;11649:4;;11676::::1;::::0;11696:15:::1;::::0;11526:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5640:6:0;:14;;-1:-1:-1;;5640:14:0;;;-1:-1:-1;;;;11247:483:0:o;11905:92::-;11962:10;;:27;;-1:-1:-1;;;;;11962:10:0;;;;:27;;;;;11982:6;;11962:10;:27;:10;:27;11982:6;11962:10;:27;;;;;;;;;;;;;;;;;;;;;11905:92;:::o;1029:179::-;1087:7;;1119:5;1123:1;1119;:5;:::i;:::-;1107:17;;1148:1;1143;:6;;1135:46;;;;-1:-1:-1;;;1135:46:0;;13180:2:1;1135:46:0;;;13162:21:1;13219:2;13199:18;;;13192:30;13258:29;13238:18;;;13231:57;13305:18;;1135:46:0;12978:351:1;1216:136:0;1274:7;1301:43;1305:1;1308;1301:43;;;;;;;;;;;;;;;;;:3;:43::i;1952:189::-;2038:7;2073:12;2066:5;2058:28;;;;-1:-1:-1;;;2058:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2097:9:0;2109:5;2113:1;2109;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;492:70;437:131;:::o;573:315::-;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;2125:247::-;2184:6;2237:2;2225:9;2216:7;2212:23;2208:32;2205:52;;;2253:1;2250;2243:12;2205:52;2292:9;2279:23;2311:31;2336:5;2311:31;:::i;2377:388::-;2445:6;2453;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:127::-;2831:10;2826:3;2822:20;2819:1;2812:31;2862:4;2859:1;2852:15;2886:4;2883:1;2876:15;2902:416;2991:1;3028:5;2991:1;3042:270;3063:7;3053:8;3050:21;3042:270;;;3122:4;3118:1;3114:6;3110:17;3104:4;3101:27;3098:53;;;3131:18;;:::i;:::-;3181:7;3171:8;3167:22;3164:55;;;3201:16;;;;3164:55;3280:22;;;;3240:15;;;;3042:270;;;3046:3;2902:416;;;;;:::o;3323:806::-;3372:5;3402:8;3392:80;;-1:-1:-1;3443:1:1;3457:5;;3392:80;3491:4;3481:76;;-1:-1:-1;3528:1:1;3542:5;;3481:76;3573:4;3591:1;3586:59;;;;3659:1;3654:130;;;;3566:218;;3586:59;3616:1;3607:10;;3630:5;;;3654:130;3691:3;3681:8;3678:17;3675:43;;;3698:18;;:::i;:::-;-1:-1:-1;;3754:1:1;3740:16;;3769:5;;3566:218;;3868:2;3858:8;3855:16;3849:3;3843:4;3840:13;3836:36;3830:2;3820:8;3817:16;3812:2;3806:4;3803:12;3799:35;3796:77;3793:159;;;-1:-1:-1;3905:19:1;;;3937:5;;3793:159;3984:34;4009:8;4003:4;3984:34;:::i;:::-;4054:6;4050:1;4046:6;4042:19;4033:7;4030:32;4027:58;;;4065:18;;:::i;:::-;4103:20;;3323:806;-1:-1:-1;;;3323:806:1:o;4134:140::-;4192:5;4221:47;4262:4;4252:8;4248:19;4242:4;4221:47;:::i;4279:168::-;4352:9;;;4383;;4400:15;;;4394:22;;4380:37;4370:71;;4421:18;;:::i;4452:356::-;4654:2;4636:21;;;4673:18;;;4666:30;4732:34;4727:2;4712:18;;4705:62;4799:2;4784:18;;4452:356::o;5165:251::-;5235:6;5288:2;5276:9;5267:7;5263:23;5259:32;5256:52;;;5304:1;5301;5294:12;5256:52;5336:9;5330:16;5355:31;5380:5;5355:31;:::i;6342:306::-;6430:6;6438;6446;6499:2;6487:9;6478:7;6474:23;6470:32;6467:52;;;6515:1;6512;6505:12;6467:52;6544:9;6538:16;6528:26;;6594:2;6583:9;6579:18;6573:25;6563:35;;6638:2;6627:9;6623:18;6617:25;6607:35;;6342:306;;;;;:::o;6932:277::-;6999:6;7052:2;7040:9;7031:7;7027:23;7023:32;7020:52;;;7068:1;7065;7058:12;7020:52;7100:9;7094:16;7153:5;7146:13;7139:21;7132:5;7129:32;7119:60;;7175:1;7172;7165:12;10003:125;10068:9;;;10089:10;;;10086:36;;;10102:18;;:::i;10488:135::-;10527:3;10548:17;;;10545:43;;10568:18;;:::i;:::-;-1:-1:-1;10615:1:1;10604:13;;10488:135::o;10972:128::-;11039:9;;;11060:11;;;11057:37;;;11074:18;;:::i;11105:217::-;11145:1;11171;11161:132;;11215:10;11210:3;11206:20;11203:1;11196:31;11250:4;11247:1;11240:15;11278:4;11275:1;11268:15;11161:132;-1:-1:-1;11307:9:1;;11105:217::o;11861:127::-;11922:10;11917:3;11913:20;11910:1;11903:31;11953:4;11950:1;11943:15;11977:4;11974:1;11967:15;11993:980;12255:4;12303:3;12292:9;12288:19;12334:6;12323:9;12316:25;12360:2;12398:6;12393:2;12382:9;12378:18;12371:34;12441:3;12436:2;12425:9;12421:18;12414:31;12465:6;12500;12494:13;12531:6;12523;12516:22;12569:3;12558:9;12554:19;12547:26;;12608:2;12600:6;12596:15;12582:29;;12629:1;12639:195;12653:6;12650:1;12647:13;12639:195;;;12718:13;;-1:-1:-1;;;;;12714:39:1;12702:52;;12809:15;;;;12774:12;;;;12750:1;12668:9;12639:195;;;-1:-1:-1;;;;;;;12890:32:1;;;;12885:2;12870:18;;12863:60;-1:-1:-1;;;12954:3:1;12939:19;12932:35;12851:3;11993:980;-1:-1:-1;;;11993:980:1:o

ipfs://194ae6577134c09af90c82e3aa06cc119265e0fec315733ff003c9c7ed7379aa