Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•    - function tryAdd(uint256 a, uint256 b)
•    - function trySub(uint256 a, uint256 b)
•    - function tryMul(uint256 a, uint256 b)
•    - function tryDiv(uint256 a, uint256 b)
•    - function tryMod(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b, st ...
• interface IERC20
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function isOwner(address account)
•    - function transferOwnership(address pa ...
• interface IFactory
•    - function createPair(address tokenA, a ...
•    - function getPair(address tokenA, addr ...
• interface IRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function removeLiquidityWithPermit(
•    - function swapExactETHForTokensSupport ...
•    - function swapExactTokensForETHSupport ...
•  contract virgin is IERC20, Ownable *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function startTrading()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function isCont(address addr)
•    - function setisBot(address _address, b ...
•    - function setisExempt(address _address ...
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function _maxWalletToken()
•    - function _maxTxAmount()
•    - function _maxTransferAmount()
•    - function preTxCheck(address sender, a ...
•    - function _transfer(address sender, ad ...
•    - function setStructure(uint256 _liquid ...
•    - function setParameters(uint256 _buy, ...
•    - function checkTradingAllowed(address ...
•    - function checkMaxWallet(address sende ...
•    - function swapbackCounters(address sen ...
•    - function checkTxLimit(address sender, ...
•    - function swapAndLiquify(uint256 token ...
•    - function addLiquidity(uint256 tokenAm ...
•    - function swapTokensForETH(uint256 tok ...
•    - function shouldSwapBack(address sende ...
•    - function setSwapbackSettings(uint256 ...
•    - function swapBack(address sender, add ...
•    - function shouldTakeFee(address sender ...
•    - function getTotalFee(address sender, ...
•    - function takeFee(address sender, addr ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-01
*/

//tg : https://t.me/CryptoVirginsClub
//web : http://www.cryptovirgins.club/


// SPDX-License-Identifier: MIT

pragma solidity 0.8.16;

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {return a + b;}
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {return a - b;}
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {return a * b;}
    function div(uint256 a, uint256 b) internal pure returns (uint256) {return a / b;}
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {return a % b;}
    
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {uint256 c = a + b; if(c < a) return(false, 0); return(true, c);}}

    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {if(b > a) return(false, 0); return(true, a - b);}}

    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {if (a == 0) return(true, 0); uint256 c = a * b;
        if(c / a != b) return(false, 0); return(true, c);}}

    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {if(b == 0) return(false, 0); return(true, a / b);}}

    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {if(b == 0) return(false, 0); return(true, a % b);}}

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

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

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    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);}

abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {owner = _owner;}
    modifier onlyOwner() {require(isOwner(msg.sender), "!OWNER"); _;}
    function isOwner(address account) public view returns (bool) {return account == owner;}
    function transferOwnership(address payable adr) public onlyOwner {owner = adr; emit OwnershipTransferred(adr);}
    event OwnershipTransferred(address owner);
}

interface IFactory{
        function createPair(address tokenA, address tokenB) external returns (address pair);
        function getPair(address tokenA, address tokenB) external view returns (address pair);
}

interface IRouter {
    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);

    function removeLiquidityWithPermit(
        address tokenA,
        address tokenB,
        uint liquidity,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline,
        bool approveMax, uint8 v, bytes32 r, bytes32 s
    ) external returns (uint amountA, uint amountB);

    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline) external;
}

contract virgin is IERC20, Ownable {
    using SafeMath for uint256;
   string private constant _name = 'Crypto Virgins';
    string private constant _symbol = 'VIRGIN';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 1000000000 * (10 ** _decimals);
    uint256 private _maxTxAmountPercent = 200; // 10000;
    uint256 private _maxTransferPercent = 200;
    uint256 private _maxWalletPercent = 200;
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isFeeExempt;
    mapping (address => bool) private isBot;
    IRouter router;
    address public pair;
    bool private tradingAllowed = false;
    uint256 private liquidityFee = 100;
    uint256 private marketingFee = 300;
    uint256 private developmentFee = 100;
    uint256 private burnFee = 0;
    uint256 private totalFee = 1000;
    uint256 private sellFee =2500;
    uint256 private transferFee = 1000;
    uint256 private denominator = 10000;
    bool private swapEnabled = true;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 1;
    uint256 private swapThreshold = ( _totalSupply * 2000 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}

    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal constant development_receiver = 0x30883E6570c28CF8bAE7e34798FA251D01211ad5; 
    address internal constant marketing_receiver = 0x30883E6570c28CF8bAE7e34798FA251D01211ad5;
    address internal constant liquidity_receiver = 0x30883E6570c28CF8bAE7e34798FA251D01211ad5;

    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router;
        pair = _pair;
        isFeeExempt[address(this)] = true;
        isFeeExempt[liquidity_receiver] = true;
        isFeeExempt[marketing_receiver] = true;
        isFeeExempt[msg.sender] = true;
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

    receive() external payable {}
    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 startTrading() external onlyOwner {tradingAllowed = true;}
    function getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, recipient, amount);return true;}
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function isCont(address addr) internal view returns (bool) {uint size; assembly { size := extcodesize(addr) } return size > 0; }
    function setisBot(address _address, bool _enabled) external onlyOwner {isBot[_address] = _enabled;}
    function setisExempt(address _address, bool _enabled) external onlyOwner {isFeeExempt[_address] = _enabled;}
    function approve(address spender, uint256 amount) public override returns (bool) {_approve(msg.sender, spender, amount);return true;}
    function totalSupply() public view override returns (uint256) {return _totalSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}
    function _maxWalletToken() public view returns (uint256) {return totalSupply() * _maxWalletPercent / denominator;}
    function _maxTxAmount() public view returns (uint256) {return totalSupply() * _maxTxAmountPercent / denominator;}
    function _maxTransferAmount() public view returns (uint256) {return totalSupply() * _maxTransferPercent / denominator;}

    function preTxCheck(address sender, address recipient, uint256 amount) internal view {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount > uint256(0), "Transfer amount must be greater than zero");
        require(amount <= balanceOf(sender),"You are trying to transfer more than your balance");
    }

    function _transfer(address sender, address recipient, uint256 amount) private {
        preTxCheck(sender, recipient, amount);
        checkTradingAllowed(sender, recipient);
        checkMaxWallet(sender, recipient, amount); 
        swapbackCounters(sender, recipient);
        checkTxLimit(sender, recipient, amount); 
        swapBack(sender, recipient, amount);
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = shouldTakeFee(sender, recipient) ? takeFee(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

    function setStructure(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity;
        marketingFee = _marketing;
        burnFee = _burn;
        developmentFee = _development;
        totalFee = _total;
        sellFee = _sell;
        transferFee = _trans;
        require(totalFee <= denominator.div(1) && sellFee <= denominator.div(1), "totalFee and sellFee cannot be more than 20%");
    }

    function setParameters(uint256 _buy, uint256 _trans, uint256 _wallet) external onlyOwner {
        uint256 newTx = (totalSupply() * _buy) / 10000;
        uint256 newTransfer = (totalSupply() * _trans) / 10000;
        uint256 newWallet = (totalSupply() * _wallet) / 10000;
        _maxTxAmountPercent = _buy;
        _maxTransferPercent = _trans;
        _maxWalletPercent = _wallet;
        uint256 limit = totalSupply().mul(5).div(1000);
        require(newTx >= limit && newTransfer >= limit && newWallet >= limit, "Max TXs and Max Wallet cannot be less than .5%");
    }

    function checkTradingAllowed(address sender, address recipient) internal view {
        if(!isFeeExempt[sender] && !isFeeExempt[recipient]){require(tradingAllowed, "tradingAllowed");}
    }
    
    function checkMaxWallet(address sender, address recipient, uint256 amount) internal view {
        if(!isFeeExempt[sender] && !isFeeExempt[recipient] && recipient != address(pair) && recipient != address(DEAD)){
            require((_balances[recipient].add(amount)) <= _maxWalletToken(), "Exceeds maximum wallet amount.");}
    }

    function swapbackCounters(address sender, address recipient) internal {
        if(recipient == pair && !isFeeExempt[sender]){swapTimes += uint256(1);}
    }

    function checkTxLimit(address sender, address recipient, uint256 amount) internal view {
        if(sender != pair){require(amount <= _maxTransferAmount() || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded");}
        require(amount <= _maxTxAmount() || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded");
    }

    function swapAndLiquify(uint256 tokens) private lockTheSwap {
        uint256 _denominator = (liquidityFee.add(1).add(marketingFee).add(developmentFee)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(liquidityFee).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensForETH(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(liquidityFee));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(liquidityFee);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(marketingFee);
        if(marketingAmt > 0){payable(marketing_receiver).transfer(marketingAmt);}
        uint256 remainingBalance = address(this).balance;
        if(remainingBalance > uint256(0)){payable(development_receiver).transfer(remainingBalance);}
    }

    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }

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

    function shouldSwapBack(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= minTokenAmount;
        bool aboveThreshold = balanceOf(address(this)) >= swapThreshold;
        return !swapping && swapEnabled && tradingAllowed && aboveMin && !isFeeExempt[sender] && recipient == pair && swapTimes >= swapAmount && aboveThreshold;
    }

    function setSwapbackSettings(uint256 _swapAmount, uint256 _swapThreshold, uint256 _minTokenAmount) external onlyOwner {
        swapAmount = _swapAmount; swapThreshold = _totalSupply.mul(_swapThreshold).div(uint256(100000)); 
        minTokenAmount = _totalSupply.mul(_minTokenAmount).div(uint256(100000));
    }

    function swapBack(address sender, address recipient, uint256 amount) internal {
        if(shouldSwapBack(sender, recipient, amount)){swapAndLiquify(swapThreshold); swapTimes = uint256(0);}
    }

    function shouldTakeFee(address sender, address recipient) internal view returns (bool) {
        return !isFeeExempt[sender] && !isFeeExempt[recipient];
    }

    function getTotalFee(address sender, address recipient) internal view returns (uint256) {
        if(isBot[sender] || isBot[recipient]){return denominator.sub(uint256(100));}
        if(recipient == pair){return sellFee;}
        if(sender == pair){return totalFee;}
        return transferFee;
    }

    function takeFee(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(getTotalFee(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(getTotalFee(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0)){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].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);
    }

}

• 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":"address","name":"owner","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":"_maxTransferAmount","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":"_maxWalletToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isFeeExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_buy","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"},{"internalType":"uint256","name":"_wallet","type":"uint256"}],"name":"setParameters","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidity","type":"uint256"},{"internalType":"uint256","name":"_marketing","type":"uint256"},{"internalType":"uint256","name":"_burn","type":"uint256"},{"internalType":"uint256","name":"_development","type":"uint256"},{"internalType":"uint256","name":"_total","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"}],"name":"setStructure","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_swapAmount","type":"uint256"},{"internalType":"uint256","name":"_swapThreshold","type":"uint256"},{"internalType":"uint256","name":"_minTokenAmount","type":"uint256"}],"name":"setSwapbackSettings","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setisBot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setisExempt","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTrading","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":"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 payable","name":"adr","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a6200042f565b6200002290633b9aca0062000447565b600181815560c860028190556003819055600455600a805460ff60a01b191690556064600b81905561012c600c55600d556000600e556103e8600f8190556109c46010556011556127106012556013805460ff191682179055601655620186a09062000091906107d062000447565b6200009d919062000469565b601755620186a0600154600a620000b5919062000447565b620000c1919062000469565b601855348015620000d157600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa15801562000139573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200015f91906200048c565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001ad573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001d391906200048c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801562000221573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200024791906200048c565b600980546001600160a01b038581166001600160a01b031992831617909255600a805492841692909116919091179055306000908152600760209081526040808320805460ff1990811660019081179092557f7374b5ca4ad0242a55e9c03503f701647ed995a34a52071f1fe0bdf584ba547c8054821683179055338086528386208054909216831790915590546005845282852081905591519182529394507fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620004b7565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003715781600019048211156200035557620003556200031a565b808516156200036357918102915b93841c939080029062000335565b509250929050565b6000826200038a5750600162000429565b81620003995750600062000429565b8160018114620003b25760028114620003bd57620003dd565b600191505062000429565b60ff841115620003d157620003d16200031a565b50506001821b62000429565b5060208310610133831016604e8410600b841016171562000402575081810a62000429565b6200040e838362000330565b80600019048211156200042557620004256200031a565b0290505b92915050565b60006200044060ff84168362000379565b9392505050565b60008160001904831182151516156200046457620004646200031a565b500290565b6000826200048757634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200049f57600080fd5b81516001600160a01b03811681146200044057600080fd5b611b5f80620004c76000396000f3fe6080604052600436106101445760003560e01c806348ff2b8b116100b657806395d89b411161006f57806395d89b41146103c5578063a8aa1b31146103f4578063a9059cbb14610414578063dd62ed3e14610434578063e94dd17c1461047a578063f2fde38b1461049a57600080fd5b806348ff2b8b146102f357806370a082311461031357806378109e54146103495780637d1db4a51461035e578063893d20e8146103735780638c41180e146103a557600080fd5b806323b872dd1161010857806323b872dd14610223578063293230b8146102435780632f54bf6e14610258578063313ce5671461028757806334c5d2ce146102a35780633f4218e0146102c357600080fd5b8063044019301461015057806306fdde0314610172578063095ea7b3146101bb57806318160ddd146101eb5780631f976b7e1461020e57600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061017061016b3660046117be565b6104ba565b005b34801561017e57600080fd5b5060408051808201909152600e81526d43727970746f2056697267696e7360901b60208201525b6040516101b2919061180a565b60405180910390f35b3480156101c757600080fd5b506101db6101d6366004611870565b6105a8565b60405190151581526020016101b2565b3480156101f757600080fd5b506102006105bf565b6040519081526020016101b2565b34801561021a57600080fd5b50610200610630565b34801561022f57600080fd5b506101db61023e36600461189c565b610654565b34801561024f57600080fd5b506101706106be565b34801561026457600080fd5b506101db6102733660046118dd565b6000546001600160a01b0391821691161490565b34801561029357600080fd5b50604051600981526020016101b2565b3480156102af57600080fd5b506101706102be3660046118fa565b6106fd565b3480156102cf57600080fd5b506101db6102de3660046118dd565b60076020526000908152604090205460ff1681565b3480156102ff57600080fd5b5061017061030e366004611926565b610844565b34801561031f57600080fd5b5061020061032e3660046118dd565b6001600160a01b031660009081526005602052604090205490565b34801561035557600080fd5b50610200610899565b34801561036a57600080fd5b506102006108a9565b34801561037f57600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101b2565b3480156103b157600080fd5b506101706103c0366004611926565b6108b9565b3480156103d157600080fd5b506040805180820190915260068152652b24a923a4a760d11b60208201526101a5565b34801561040057600080fd5b50600a5461038d906001600160a01b031681565b34801561042057600080fd5b506101db61042f366004611870565b61090e565b34801561044057600080fd5b5061020061044f366004611964565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561048657600080fd5b506101706104953660046118fa565b61091b565b3480156104a657600080fd5b506101706104b53660046118dd565b610981565b6000546001600160a01b031633146104ed5760405162461bcd60e51b81526004016104e490611992565b60405180910390fd5b600b879055600c869055600e859055600d849055600f8390556010829055601181905560125461051e9060016109ff565b600f541115801561053e57506012546105389060016109ff565b60105411155b61059f5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016104e4565b50505050505050565b60006105b5338484610a0b565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba54600154919261062b9290916106259190610b2f565b90610b2f565b905090565b60006012546003546106406105bf565b61064a91906119c8565b61062b91906119e7565b6000610661848484610b3b565b6106b384336106ae85604051806060016040528060288152602001611b02602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610c61565b610a0b565b5060015b9392505050565b6000546001600160a01b031633146106e85760405162461bcd60e51b81526004016104e490611992565b600a805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146107275760405162461bcd60e51b81526004016104e490611992565b6000612710846107356105bf565b61073f91906119c8565b61074991906119e7565b90506000612710846107596105bf565b61076391906119c8565b61076d91906119e7565b905060006127108461077d6105bf565b61078791906119c8565b61079191906119e7565b600287905560038690556004859055905060006107c36103e86107bd60056107b76105bf565b90610c8d565b906109ff565b90508084101580156107d55750808310155b80156107e15750808210155b61059f5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016104e4565b6000546001600160a01b0316331461086e5760405162461bcd60e51b81526004016104e490611992565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b60006012546004546106406105bf565b60006012546002546106406105bf565b6000546001600160a01b031633146108e35760405162461bcd60e51b81526004016104e490611992565b6001600160a01b03919091166000908152600860205260409020805460ff1916911515919091179055565b60006105b5338484610b3b565b6000546001600160a01b031633146109455760405162461bcd60e51b81526004016104e490611992565b601683905560015461096090620186a0906107bd9085610c8d565b60175560015461097990620186a0906107bd9084610c8d565b601855505050565b6000546001600160a01b031633146109ab5760405162461bcd60e51b81526004016104e490611992565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b60006106b782846119e7565b6001600160a01b038316610a6d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104e4565b6001600160a01b038216610ace5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104e4565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106b78284611a09565b610b46838383610c99565b610b508383610e48565b610b5b838383610edd565b610b658383610fce565b610b70838383611025565b610b7b83838361115c565b6001600160a01b038316600090815260056020526040902054610b9e9082610b2f565b6001600160a01b038416600090815260056020526040812091909155610bc48484611181565b610bce5781610bd9565b610bd98484846111c7565b6001600160a01b038416600090815260056020526040902054909150610bff90826112b5565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c539085815260200190565b60405180910390a350505050565b60008184841115610c855760405162461bcd60e51b81526004016104e4919061180a565b505050900390565b60006106b782846119c8565b6001600160a01b038316610cfd5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104e4565b6001600160a01b038216610d5f5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104e4565b60008111610dc15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104e4565b6001600160a01b038316600090815260056020526040902054811115610e435760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104e4565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610e8a57506001600160a01b03811660009081526007602052604090205460ff16155b15610ed957600a54600160a01b900460ff16610ed95760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104e4565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610f1f57506001600160a01b03821660009081526007602052604090205460ff16155b8015610f395750600a546001600160a01b03838116911614155b8015610f5057506001600160a01b03821661dead14155b15610e4357610f5d610899565b6001600160a01b038316600090815260056020526040902054610f8090836112b5565b1115610e435760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104e4565b600a546001600160a01b03828116911614801561100457506001600160a01b03821660009081526007602052604090205460ff16155b15610ed95760016014600082825461101c9190611a1c565b90915550505050565b600a546001600160a01b038481169116146110cb57611042610630565b8111158061106857506001600160a01b03831660009081526007602052604090205460ff165b8061108b57506001600160a01b03821660009081526007602052604090205460ff165b6110cb5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104e4565b6110d36108a9565b811115806110f957506001600160a01b03831660009081526007602052604090205460ff165b8061111c57506001600160a01b03821660009081526007602052604090205460ff165b610e435760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104e4565b6111678383836112c1565b15610e4357611177601754611374565b6000601455505050565b6001600160a01b03821660009081526007602052604081205460ff161580156106b75750506001600160a01b031660009081526007602052604090205460ff1615919050565b6000806111d485856114ff565b11156112ae5760006111f76111e986866114ff565b6012546107b79086906109ff565b3060009081526005602052604090205490915061121490826112b5565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112659085815260200190565b60405180910390a3600e541561129c5761129c3061dead611297600e546107b7601254896109ff90919063ffffffff16565b610b3b565b6112a68382610b2f565b9150506106b7565b5092915050565b60006106b78284611a1c565b6018546017543060009081526005602052604081205460155491938510159211159060ff161580156112f5575060135460ff165b801561130a5750600a54600160a01b900460ff165b80156113135750815b801561133857506001600160a01b03861660009081526007602052604090205460ff16155b80156113515750600a546001600160a01b038681169116145b8015611361575060165460145410155b801561136a5750805b9695505050505050565b6015805460ff19166001908117909155600d54600c54600b546000936113ae936002936107b79391926113a89283916112b5565b906112b5565b905060006113cb826107bd600b5486610c8d90919063ffffffff16565b905060006113d98483610b2f565b9050476113e5826115a0565b60006113f14783610b2f565b9050600061141461140d600b5488610b2f90919063ffffffff16565b83906109ff565b9050600061142d600b5483610c8d90919063ffffffff16565b9050801561143f5761143f86826116fa565b600c54600090611454906107b7856002610c8d565b9050801561149f576040517330883e6570c28cf8bae7e34798fa251d01211ad59082156108fc029083906000818181858888f1935050505015801561149d573d6000803e3d6000fd5b505b4780156114e9576040517330883e6570c28cf8bae7e34798fa251d01211ad59082156108fc029083906000818181858888f193505050501580156114e7573d6000803e3d6000fd5b505b50506015805460ff191690555050505050505050565b6001600160a01b03821660009081526008602052604081205460ff168061153e57506001600160a01b03821660009081526008602052604090205460ff165b1561155857601254611551906064610b2f565b90506105b9565b600a546001600160a01b039081169083160361157757506010546105b9565b600a546001600160a01b03908116908416036115965750600f546105b9565b5060115492915050565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106115d5576115d5611a2f565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561162e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116529190611a45565b8160018151811061166557611665611a2f565b6001600160a01b03928316602091820292909201015260095461168b9130911684610a0b565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac947906116c4908590600090869030904290600401611a62565b600060405180830381600087803b1580156116de57600080fd5b505af11580156116f2573d6000803e3d6000fd5b505050505050565b6009546117129030906001600160a01b031684610a0b565b60095460405163f305d71960e01b81523060048201526024810184905260006044820181905260648201527330883e6570c28cf8bae7e34798fa251d01211ad560848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611792573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906117b79190611ad3565b5050505050565b600080600080600080600060e0888a0312156117d957600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600060208083528351808285015260005b818110156118375785810183015185820160400152820161181b565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461186d57600080fd5b50565b6000806040838503121561188357600080fd5b823561188e81611858565b946020939093013593505050565b6000806000606084860312156118b157600080fd5b83356118bc81611858565b925060208401356118cc81611858565b929592945050506040919091013590565b6000602082840312156118ef57600080fd5b81356106b781611858565b60008060006060848603121561190f57600080fd5b505081359360208301359350604090920135919050565b6000806040838503121561193957600080fd5b823561194481611858565b91506020830135801515811461195957600080fd5b809150509250929050565b6000806040838503121561197757600080fd5b823561198281611858565b9150602083013561195981611858565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b60008160001904831182151516156119e2576119e26119b2565b500290565b600082611a0457634e487b7160e01b600052601260045260246000fd5b500490565b818103818111156105b9576105b96119b2565b808201808211156105b9576105b96119b2565b634e487b7160e01b600052603260045260246000fd5b600060208284031215611a5757600080fd5b81516106b781611858565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611ab25784516001600160a01b031683529383019391830191600101611a8d565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611ae857600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220549fbce09e3b8128c5fab5b8c4d9b3615c9c72726ed99b4e854cc10b3f4adf2d64736f6c63430008100033

0x6080604052600436106101445760003560e01c806348ff2b8b116100b657806395d89b411161006f57806395d89b41146103c5578063a8aa1b31146103f4578063a9059cbb14610414578063dd62ed3e14610434578063e94dd17c1461047a578063f2fde38b1461049a57600080fd5b806348ff2b8b146102f357806370a082311461031357806378109e54146103495780637d1db4a51461035e578063893d20e8146103735780638c41180e146103a557600080fd5b806323b872dd1161010857806323b872dd14610223578063293230b8146102435780632f54bf6e14610258578063313ce5671461028757806334c5d2ce146102a35780633f4218e0146102c357600080fd5b8063044019301461015057806306fdde0314610172578063095ea7b3146101bb57806318160ddd146101eb5780631f976b7e1461020e57600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061017061016b3660046117be565b6104ba565b005b34801561017e57600080fd5b5060408051808201909152600e81526d43727970746f2056697267696e7360901b60208201525b6040516101b2919061180a565b60405180910390f35b3480156101c757600080fd5b506101db6101d6366004611870565b6105a8565b60405190151581526020016101b2565b3480156101f757600080fd5b506102006105bf565b6040519081526020016101b2565b34801561021a57600080fd5b50610200610630565b34801561022f57600080fd5b506101db61023e36600461189c565b610654565b34801561024f57600080fd5b506101706106be565b34801561026457600080fd5b506101db6102733660046118dd565b6000546001600160a01b0391821691161490565b34801561029357600080fd5b50604051600981526020016101b2565b3480156102af57600080fd5b506101706102be3660046118fa565b6106fd565b3480156102cf57600080fd5b506101db6102de3660046118dd565b60076020526000908152604090205460ff1681565b3480156102ff57600080fd5b5061017061030e366004611926565b610844565b34801561031f57600080fd5b5061020061032e3660046118dd565b6001600160a01b031660009081526005602052604090205490565b34801561035557600080fd5b50610200610899565b34801561036a57600080fd5b506102006108a9565b34801561037f57600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101b2565b3480156103b157600080fd5b506101706103c0366004611926565b6108b9565b3480156103d157600080fd5b506040805180820190915260068152652b24a923a4a760d11b60208201526101a5565b34801561040057600080fd5b50600a5461038d906001600160a01b031681565b34801561042057600080fd5b506101db61042f366004611870565b61090e565b34801561044057600080fd5b5061020061044f366004611964565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561048657600080fd5b506101706104953660046118fa565b61091b565b3480156104a657600080fd5b506101706104b53660046118dd565b610981565b6000546001600160a01b031633146104ed5760405162461bcd60e51b81526004016104e490611992565b60405180910390fd5b600b879055600c869055600e859055600d849055600f8390556010829055601181905560125461051e9060016109ff565b600f541115801561053e57506012546105389060016109ff565b60105411155b61059f5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016104e4565b50505050505050565b60006105b5338484610a0b565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba54600154919261062b9290916106259190610b2f565b90610b2f565b905090565b60006012546003546106406105bf565b61064a91906119c8565b61062b91906119e7565b6000610661848484610b3b565b6106b384336106ae85604051806060016040528060288152602001611b02602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610c61565b610a0b565b5060015b9392505050565b6000546001600160a01b031633146106e85760405162461bcd60e51b81526004016104e490611992565b600a805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146107275760405162461bcd60e51b81526004016104e490611992565b6000612710846107356105bf565b61073f91906119c8565b61074991906119e7565b90506000612710846107596105bf565b61076391906119c8565b61076d91906119e7565b905060006127108461077d6105bf565b61078791906119c8565b61079191906119e7565b600287905560038690556004859055905060006107c36103e86107bd60056107b76105bf565b90610c8d565b906109ff565b90508084101580156107d55750808310155b80156107e15750808210155b61059f5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016104e4565b6000546001600160a01b0316331461086e5760405162461bcd60e51b81526004016104e490611992565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b60006012546004546106406105bf565b60006012546002546106406105bf565b6000546001600160a01b031633146108e35760405162461bcd60e51b81526004016104e490611992565b6001600160a01b03919091166000908152600860205260409020805460ff1916911515919091179055565b60006105b5338484610b3b565b6000546001600160a01b031633146109455760405162461bcd60e51b81526004016104e490611992565b601683905560015461096090620186a0906107bd9085610c8d565b60175560015461097990620186a0906107bd9084610c8d565b601855505050565b6000546001600160a01b031633146109ab5760405162461bcd60e51b81526004016104e490611992565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b60006106b782846119e7565b6001600160a01b038316610a6d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104e4565b6001600160a01b038216610ace5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104e4565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106b78284611a09565b610b46838383610c99565b610b508383610e48565b610b5b838383610edd565b610b658383610fce565b610b70838383611025565b610b7b83838361115c565b6001600160a01b038316600090815260056020526040902054610b9e9082610b2f565b6001600160a01b038416600090815260056020526040812091909155610bc48484611181565b610bce5781610bd9565b610bd98484846111c7565b6001600160a01b038416600090815260056020526040902054909150610bff90826112b5565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c539085815260200190565b60405180910390a350505050565b60008184841115610c855760405162461bcd60e51b81526004016104e4919061180a565b505050900390565b60006106b782846119c8565b6001600160a01b038316610cfd5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104e4565b6001600160a01b038216610d5f5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104e4565b60008111610dc15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104e4565b6001600160a01b038316600090815260056020526040902054811115610e435760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104e4565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610e8a57506001600160a01b03811660009081526007602052604090205460ff16155b15610ed957600a54600160a01b900460ff16610ed95760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104e4565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610f1f57506001600160a01b03821660009081526007602052604090205460ff16155b8015610f395750600a546001600160a01b03838116911614155b8015610f5057506001600160a01b03821661dead14155b15610e4357610f5d610899565b6001600160a01b038316600090815260056020526040902054610f8090836112b5565b1115610e435760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104e4565b600a546001600160a01b03828116911614801561100457506001600160a01b03821660009081526007602052604090205460ff16155b15610ed95760016014600082825461101c9190611a1c565b90915550505050565b600a546001600160a01b038481169116146110cb57611042610630565b8111158061106857506001600160a01b03831660009081526007602052604090205460ff165b8061108b57506001600160a01b03821660009081526007602052604090205460ff165b6110cb5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104e4565b6110d36108a9565b811115806110f957506001600160a01b03831660009081526007602052604090205460ff165b8061111c57506001600160a01b03821660009081526007602052604090205460ff165b610e435760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104e4565b6111678383836112c1565b15610e4357611177601754611374565b6000601455505050565b6001600160a01b03821660009081526007602052604081205460ff161580156106b75750506001600160a01b031660009081526007602052604090205460ff1615919050565b6000806111d485856114ff565b11156112ae5760006111f76111e986866114ff565b6012546107b79086906109ff565b3060009081526005602052604090205490915061121490826112b5565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112659085815260200190565b60405180910390a3600e541561129c5761129c3061dead611297600e546107b7601254896109ff90919063ffffffff16565b610b3b565b6112a68382610b2f565b9150506106b7565b5092915050565b60006106b78284611a1c565b6018546017543060009081526005602052604081205460155491938510159211159060ff161580156112f5575060135460ff165b801561130a5750600a54600160a01b900460ff165b80156113135750815b801561133857506001600160a01b03861660009081526007602052604090205460ff16155b80156113515750600a546001600160a01b038681169116145b8015611361575060165460145410155b801561136a5750805b9695505050505050565b6015805460ff19166001908117909155600d54600c54600b546000936113ae936002936107b79391926113a89283916112b5565b906112b5565b905060006113cb826107bd600b5486610c8d90919063ffffffff16565b905060006113d98483610b2f565b9050476113e5826115a0565b60006113f14783610b2f565b9050600061141461140d600b5488610b2f90919063ffffffff16565b83906109ff565b9050600061142d600b5483610c8d90919063ffffffff16565b9050801561143f5761143f86826116fa565b600c54600090611454906107b7856002610c8d565b9050801561149f576040517330883e6570c28cf8bae7e34798fa251d01211ad59082156108fc029083906000818181858888f1935050505015801561149d573d6000803e3d6000fd5b505b4780156114e9576040517330883e6570c28cf8bae7e34798fa251d01211ad59082156108fc029083906000818181858888f193505050501580156114e7573d6000803e3d6000fd5b505b50506015805460ff191690555050505050505050565b6001600160a01b03821660009081526008602052604081205460ff168061153e57506001600160a01b03821660009081526008602052604090205460ff165b1561155857601254611551906064610b2f565b90506105b9565b600a546001600160a01b039081169083160361157757506010546105b9565b600a546001600160a01b03908116908416036115965750600f546105b9565b5060115492915050565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106115d5576115d5611a2f565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561162e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116529190611a45565b8160018151811061166557611665611a2f565b6001600160a01b03928316602091820292909201015260095461168b9130911684610a0b565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac947906116c4908590600090869030904290600401611a62565b600060405180830381600087803b1580156116de57600080fd5b505af11580156116f2573d6000803e3d6000fd5b505050505050565b6009546117129030906001600160a01b031684610a0b565b60095460405163f305d71960e01b81523060048201526024810184905260006044820181905260648201527330883e6570c28cf8bae7e34798fa251d01211ad560848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611792573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906117b79190611ad3565b5050505050565b600080600080600080600060e0888a0312156117d957600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600060208083528351808285015260005b818110156118375785810183015185820160400152820161181b565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461186d57600080fd5b50565b6000806040838503121561188357600080fd5b823561188e81611858565b946020939093013593505050565b6000806000606084860312156118b157600080fd5b83356118bc81611858565b925060208401356118cc81611858565b929592945050506040919091013590565b6000602082840312156118ef57600080fd5b81356106b781611858565b60008060006060848603121561190f57600080fd5b505081359360208301359350604090920135919050565b6000806040838503121561193957600080fd5b823561194481611858565b91506020830135801515811461195957600080fd5b809150509250929050565b6000806040838503121561197757600080fd5b823561198281611858565b9150602083013561195981611858565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b60008160001904831182151516156119e2576119e26119b2565b500290565b600082611a0457634e487b7160e01b600052601260045260246000fd5b500490565b818103818111156105b9576105b96119b2565b808201808211156105b9576105b96119b2565b634e487b7160e01b600052603260045260246000fd5b600060208284031215611a5757600080fd5b81516106b781611858565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611ab25784516001600160a01b031683529383019391830191600101611a8d565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611ae857600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220549fbce09e3b8128c5fab5b8c4d9b3615c9c72726ed99b4e854cc10b3f4adf2d64736f6c63430008100033

4691:11971:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9973:527;;;;;;;;;;-1:-1:-1;9973:527:0;;;;;:::i;:::-;;:::i;:::-;;7069:67;;;;;;;;;;-1:-1:-1;7129:5:0;;;;;;;;;;;;-1:-1:-1;;;7129:5:0;;;;7069:67;;;;;;;:::i;:::-;;;;;;;;8189:133;;;;;;;;;;-1:-1:-1;8189:133:0;;;;;:::i;:::-;;:::i;:::-;;;1785:14:1;;1778:22;1760:41;;1748:2;1733:18;8189:133:0;1620:187:1;8328:132:0;;;;;;;;;;;;;:::i;:::-;;;1958:25:1;;;1946:2;1931:18;8328:132:0;1812:177:1;8705:119:0;;;;;;;;;;;;;:::i;16005:309::-;;;;;;;;;;-1:-1:-1;16005:309:0;;;;;:::i;:::-;;:::i;7292:67::-;;;;;;;;;;;;;:::i;3071:87::-;;;;;;;;;;-1:-1:-1;3071:87:0;;;;;:::i;:::-;3126:4;3151:5;-1:-1:-1;;;;;3140:16:0;;;3151:5;;3140:16;;3071:87;7219:67;;;;;;;;;;-1:-1:-1;7219:67:0;;4904:1;2849:36:1;;2837:2;2822:18;7219:67:0;2707:184:1;10508:584:0;;;;;;;;;;-1:-1:-1;10508:584:0;;;;;:::i;:::-;;:::i;5253:44::-;;;;;;;;;;-1:-1:-1;5253:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8075:108;;;;;;;;;;-1:-1:-1;8075:108:0;;;;;:::i;:::-;;:::i;7449:103::-;;;;;;;;;;-1:-1:-1;7449:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7532:18:0;7515:7;7532:18;;;:9;:18;;;;;;;7449:103;8466:114;;;;;;;;;;;;;:::i;8586:113::-;;;;;;;;;;;;;:::i;7365:78::-;;;;;;;;;;-1:-1:-1;7417:7:0;7435:5;-1:-1:-1;;;;;7435:5:0;7365:78;;;-1:-1:-1;;;;;3802:32:1;;;3784:51;;3772:2;3757:18;7365:78:0;3638:203:1;7970:99:0;;;;;;;;;;-1:-1:-1;7970:99:0;;;;;:::i;:::-;;:::i;7142:71::-;;;;;;;;;;-1:-1:-1;7204:7:0;;;;;;;;;;;;-1:-1:-1;;;7204:7:0;;;;7142:71;;5371:19;;;;;;;;;;-1:-1:-1;5371:19:0;;;;-1:-1:-1;;;;;5371:19:0;;;7558:139;;;;;;;;;;-1:-1:-1;7558:139:0;;;;;:::i;:::-;;:::i;7703:127::-;;;;;;;;;;-1:-1:-1;7703:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7801:18:0;;;7784:7;7801:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7703:127;14442:315;;;;;;;;;;-1:-1:-1;14442:315:0;;;;;:::i;:::-;;:::i;3164:111::-;;;;;;;;;;-1:-1:-1;3164:111:0;;;;;:::i;:::-;;:::i;9973:527::-;3126:4;3151:5;-1:-1:-1;;;;;3151:5:0;3038:10;3140:16;3022:38;;;;-1:-1:-1;;;3022:38:0;;;;;;;:::i;:::-;;;;;;;;;10149:12:::1;:25:::0;;;10185:12:::1;:25:::0;;;10221:7:::1;:15:::0;;;10247:14:::1;:29:::0;;;10287:8:::1;:17:::0;;;10315:7:::1;:15:::0;;;10341:11:::1;:20:::0;;;10392:11:::1;::::0;:18:::1;::::0;-1:-1:-1;10392:15:0::1;:18::i;:::-;10380:8;;:30;;:63;;;;-1:-1:-1::0;10425:11:0::1;::::0;:18:::1;::::0;10441:1:::1;10425:15;:18::i;:::-;10414:7;;:29;;10380:63;10372:120;;;::::0;-1:-1:-1;;;10372:120:0;;5035:2:1;10372:120:0::1;::::0;::::1;5017:21:1::0;5074:2;5054:18;;;5047:30;5113:34;5093:18;;;5086:62;-1:-1:-1;;;5164:18:1;;;5157:42;5216:19;;10372:120:0::1;4833:408:1::0;10372:120:0::1;9973:527:::0;;;;;;;:::o;8189:133::-;8264:4;8271:37;8280:10;8292:7;8301:6;8271:8;:37::i;:::-;-1:-1:-1;8316:4:0;8189:133;;;;;:::o;8328:132::-;7532:9;:18;;;;6124:42;8381:7;7532:18;;;;;8398:12;;8381:7;;8398:60;;7532:18;;8398:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8391:67;;8328:132;:::o;8705:119::-;8756:7;8811:11;;8789:19;;8773:13;:11;:13::i;:::-;:35;;;;:::i;:::-;:49;;;;:::i;16005:309::-;16103:4;16120:36;16130:6;16138:9;16149:6;16120:9;:36::i;:::-;16167:117;16176:6;16184:10;16196:87;16232:6;16196:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16196:19:0;;;;;;:11;:19;;;;;;;;16216:10;16196:31;;;;;;;;;:87;:35;:87::i;:::-;16167:8;:117::i;:::-;-1:-1:-1;16302:4:0;16005:309;;;;;;:::o;7292:67::-;3126:4;3151:5;-1:-1:-1;;;;;3151:5:0;3038:10;3140:16;3022:38;;;;-1:-1:-1;;;3022:38:0;;;;;;;:::i;:::-;7336:14:::1;:21:::0;;-1:-1:-1;;;;7336:21:0::1;-1:-1:-1::0;;;7336:21:0::1;::::0;;7292:67::o;10508:584::-;3126:4;3151:5;-1:-1:-1;;;;;3151:5:0;3038:10;3140:16;3022:38;;;;-1:-1:-1;;;3022:38:0;;;;;;;:::i;:::-;10608:13:::1;10649:5;10641:4;10625:13;:11;:13::i;:::-;:20;;;;:::i;:::-;10624:30;;;;:::i;:::-;10608:46;;10665:19;10714:5;10704:6;10688:13;:11;:13::i;:::-;:22;;;;:::i;:::-;10687:32;;;;:::i;:::-;10665:54;;10730:17;10778:5;10767:7;10751:13;:11;:13::i;:::-;:23;;;;:::i;:::-;10750:33;;;;:::i;:::-;10794:19;:26:::0;;;10831:19:::1;:28:::0;;;10870:17:::1;:27:::0;;;10730:53;-1:-1:-1;;10924:30:0::1;10949:4;10924:20;10942:1;10924:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:::-;:24:::0;::::1;:30::i;:::-;10908:46;;10982:5;10973;:14;;:38;;;;;11006:5;10991:11;:20;;10973:38;:60;;;;;11028:5;11015:9;:18;;10973:60;10965:119;;;::::0;-1:-1:-1;;;10965:119:0;;5975:2:1;10965:119:0::1;::::0;::::1;5957:21:1::0;6014:2;5994:18;;;5987:30;6053:34;6033:18;;;6026:62;-1:-1:-1;;;6104:18:1;;;6097:44;6158:19;;10965:119:0::1;5773:410:1::0;8075:108:0;3126:4;3151:5;-1:-1:-1;;;;;3151:5:0;3038:10;3140:16;3022:38;;;;-1:-1:-1;;;3022:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8149:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8149:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8075:108::o;8466:114::-;8514:7;8567:11;;8547:17;;8531:13;:11;:13::i;8586:113::-;8631:7;8686:11;;8664:19;;8648:13;:11;:13::i;7970:99::-;3126:4;3151:5;-1:-1:-1;;;;;3151:5:0;3038:10;3140:16;3022:38;;;;-1:-1:-1;;;3022:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8041:15:0;;;::::1;;::::0;;;:5:::1;:15;::::0;;;;:26;;-1:-1:-1;;8041:26:0::1;::::0;::::1;;::::0;;;::::1;::::0;;7970:99::o;7558:139::-;7636:4;7643:40;7653:10;7665:9;7676:6;7643:9;:40::i;14442:315::-;3126:4;3151:5;-1:-1:-1;;;;;3151:5:0;3038:10;3140:16;3022:38;;;;-1:-1:-1;;;3022:38:0;;;;;;;:::i;:::-;14571:10:::1;:24:::0;;;14613:12:::1;::::0;:53:::1;::::0;14658:6:::1;::::0;14613:32:::1;::::0;14630:14;14613:16:::1;:32::i;:53::-;14597:13;:69:::0;14695:12:::1;::::0;:54:::1;::::0;14741:6:::1;::::0;14695:33:::1;::::0;14712:15;14695:16:::1;:33::i;:54::-;14678:14;:71:::0;-1:-1:-1;;;14442:315:0:o;3164:111::-;3126:4;3151:5;-1:-1:-1;;;;;3151:5:0;3038:10;3140:16;3022:38;;;;-1:-1:-1;;;3022:38:0;;;;;;;:::i;:::-;3230:5:::1;:11:::0;;-1:-1:-1;;;;;;3230:11:0::1;-1:-1:-1::0;;;;;3230:11:0;::::1;::::0;;::::1;::::0;;;3248:25:::1;::::0;3784:51:1;;;3248:25:0::1;::::0;3772:2:1;3757:18;3248:25:0::1;;;;;;;3164:111:::0;:::o;433:82::-;491:7;508:5;512:1;508;:5;:::i;16322:335::-;-1:-1:-1;;;;;16415:19:0;;16407:68;;;;-1:-1:-1;;;16407:68:0;;6606:2:1;16407:68:0;;;6588:21:1;6645:2;6625:18;;;6618:30;6684:34;6664:18;;;6657:62;-1:-1:-1;;;6735:18:1;;;6728:34;6779:19;;16407:68:0;6404:400:1;16407:68:0;-1:-1:-1;;;;;16494:21:0;;16486:68;;;;-1:-1:-1;;;16486:68:0;;7011:2:1;16486:68:0;;;6993:21:1;7050:2;7030:18;;;7023:30;7089:34;7069:18;;;7062:62;-1:-1:-1;;;7140:18:1;;;7133:32;7182:19;;16486:68:0;6809:398:1;16486:68:0;-1:-1:-1;;;;;16565:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;16617:32;;1958:25:1;;;16617:32:0;;1931:18:1;16617:32:0;;;;;;;16322:335;;;:::o;257:82::-;315:7;332:5;336:1;332;:5;:::i;9279:686::-;9368:37;9379:6;9387:9;9398:6;9368:10;:37::i;:::-;9416:38;9436:6;9444:9;9416:19;:38::i;:::-;9465:41;9480:6;9488:9;9499:6;9465:14;:41::i;:::-;9518:35;9535:6;9543:9;9518:16;:35::i;:::-;9564:39;9577:6;9585:9;9596:6;9564:12;:39::i;:::-;9615:35;9624:6;9632:9;9643:6;9615:8;:35::i;:::-;-1:-1:-1;;;;;9681:17:0;;;;;;:9;:17;;;;;;:29;;9703:6;9681:21;:29::i;:::-;-1:-1:-1;;;;;9661:17:0;;;;;;:9;:17;;;;;:49;;;;9746:32;9671:6;9768:9;9746:13;:32::i;:::-;:78;;9818:6;9746:78;;;9781:34;9789:6;9797:9;9808:6;9781:7;:34::i;:::-;-1:-1:-1;;;;;9858:20:0;;;;;;:9;:20;;;;;;9721:103;;-1:-1:-1;9858:40:0;;9721:103;9858:24;:40::i;:::-;-1:-1:-1;;;;;9835:20:0;;;;;;;:9;:20;;;;;;;:63;;;;9914:43;;;;;;;;;;9942:14;1958:25:1;;1946:2;1931:18;;1812:177;9914:43:0;;;;;;;;9357:608;9279:686;;;:::o;1470:162::-;1556:7;1602:12;1594:6;;;;1586:29;;;;-1:-1:-1;;;1586:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1624:5:0;;;1470:162::o;345:82::-;403:7;420:5;424:1;420;:5;:::i;8832:439::-;-1:-1:-1;;;;;8936:20:0;;8928:70;;;;-1:-1:-1;;;8928:70:0;;7547:2:1;8928:70:0;;;7529:21:1;7586:2;7566:18;;;7559:30;7625:34;7605:18;;;7598:62;-1:-1:-1;;;7676:18:1;;;7669:35;7721:19;;8928:70:0;7345:401:1;8928:70:0;-1:-1:-1;;;;;9017:23:0;;9009:71;;;;-1:-1:-1;;;9009:71:0;;7953:2:1;9009:71:0;;;7935:21:1;7992:2;7972:18;;;7965:30;8031:34;8011:18;;;8004:62;-1:-1:-1;;;8082:18:1;;;8075:33;8125:19;;9009:71:0;7751:399:1;9009:71:0;9116:1;9099:6;:19;9091:73;;;;-1:-1:-1;;;9091:73:0;;8357:2:1;9091:73:0;;;8339:21:1;8396:2;8376:18;;;8369:30;8435:34;8415:18;;;8408:62;-1:-1:-1;;;8486:18:1;;;8479:39;8535:19;;9091:73:0;8155:405:1;9091:73:0;-1:-1:-1;;;;;7532:18:0;;7515:7;7532:18;;;:9;:18;;;;;;9183:6;:27;;9175:88;;;;-1:-1:-1;;;9175:88:0;;8767:2:1;9175:88:0;;;8749:21:1;8806:2;8786:18;;;8779:30;8845:34;8825:18;;;8818:62;-1:-1:-1;;;8896:18:1;;;8889:47;8953:19;;9175:88:0;8565:413:1;9175:88:0;8832:439;;;:::o;11100:191::-;-1:-1:-1;;;;;11193:19:0;;;;;;:11;:19;;;;;;;;11192:20;:47;;;;-1:-1:-1;;;;;;11217:22:0;;;;;;:11;:22;;;;;;;;11216:23;11192:47;11189:95;;;11249:14;;-1:-1:-1;;;11249:14:0;;;;11241:41;;;;-1:-1:-1;;;11241:41:0;;9185:2:1;11241:41:0;;;9167:21:1;9224:2;9204:18;;;9197:30;-1:-1:-1;;;9243:18:1;;;9236:44;9297:18;;11241:41:0;8983:338:1;11241:41:0;11100:191;;:::o;11303:333::-;-1:-1:-1;;;;;11407:19:0;;;;;;:11;:19;;;;;;;;11406:20;:47;;;;-1:-1:-1;;;;;;11431:22:0;;;;;;:11;:22;;;;;;;;11430:23;11406:47;:77;;;;-1:-1:-1;11478:4:0;;-1:-1:-1;;;;;11457:26:0;;;11478:4;;11457:26;;11406:77;:107;;;;-1:-1:-1;;;;;;11487:26:0;;6124:42;11487:26;;11406:107;11403:226;;;11575:17;:15;:17::i;:::-;-1:-1:-1;;;;;11538:20:0;;;;;;:9;:20;;;;;;:32;;11563:6;11538:24;:32::i;:::-;11537:55;;11529:98;;;;-1:-1:-1;;;11529:98:0;;9528:2:1;11529:98:0;;;9510:21:1;9567:2;9547:18;;;9540:30;9606:32;9586:18;;;9579:60;9656:18;;11529:98:0;9326:354:1;11644:159:0;11741:4;;-1:-1:-1;;;;;11728:17:0;;;11741:4;;11728:17;:41;;;;-1:-1:-1;;;;;;11750:19:0;;;;;;:11;:19;;;;;;;;11749:20;11728:41;11725:71;;;11792:1;11771:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;11644:159:0;;:::o;11811:349::-;11922:4;;-1:-1:-1;;;;;11912:14:0;;;11922:4;;11912:14;11909:130;;11946:20;:18;:20::i;:::-;11936:6;:30;;:53;;;-1:-1:-1;;;;;;11970:19:0;;;;;;:11;:19;;;;;;;;11936:53;:79;;;-1:-1:-1;;;;;;11993:22:0;;;;;;:11;:22;;;;;;;;11936:79;11928:109;;;;-1:-1:-1;;;11928:109:0;;10017:2:1;11928:109:0;;;9999:21:1;10056:2;10036:18;;;10029:30;-1:-1:-1;;;10075:18:1;;;10068:47;10132:18;;11928:109:0;9815:341:1;11928:109:0;12067:14;:12;:14::i;:::-;12057:6;:24;;:47;;;-1:-1:-1;;;;;;12085:19:0;;;;;;:11;:19;;;;;;;;12057:47;:73;;;-1:-1:-1;;;;;;12108:22:0;;;;;;:11;:22;;;;;;;;12057:73;12049:103;;;;-1:-1:-1;;;12049:103:0;;10017:2:1;12049:103:0;;;9999:21:1;10056:2;10036:18;;;10029:30;-1:-1:-1;;;10075:18:1;;;10068:47;10132:18;;12049:103:0;9815:341:1;14765:197:0;14857:41;14872:6;14880:9;14891:6;14857:14;:41::i;:::-;14854:101;;;14900:29;14915:13;;14900:14;:29::i;:::-;14951:1;14931:9;:22;14765:197;;;:::o;14970:160::-;-1:-1:-1;;;;;15076:19:0;;15051:4;15076:19;;;:11;:19;;;;;;;;15075:20;:47;;;;-1:-1:-1;;;;;;;15100:22:0;;;;;:11;:22;;;;;;;;15099:23;;14970:160;-1:-1:-1;14970:160:0:o;15451:546::-;15537:7;15593:1;15560:30;15572:6;15580:9;15560:11;:30::i;:::-;:34;15557:418;;;15606:17;15626:59;15654:30;15666:6;15674:9;15654:11;:30::i;:::-;15637:11;;15626:23;;:6;;:10;:23::i;:59::-;15741:4;15723:24;;;;:9;:24;;;;;;15606:79;;-1:-1:-1;15723:39:0;;15606:79;15723:28;:39::i;:::-;15714:4;15696:24;;;;:9;:24;;;;;;;:66;;;;15778:42;;-1:-1:-1;;;;;15778:42:0;;;;;;;15810:9;1958:25:1;;1946:2;1931:18;;1812:177;15778:42:0;;;;;;;;15834:7;;:20;15831:104;;15856:77;15874:4;6124:42;15896:36;15924:7;;15896:23;15907:11;;15896:6;:10;;:23;;;;:::i;:36::-;15856:9;:77::i;:::-;15952:21;:6;15963:9;15952:10;:21::i;:::-;15945:28;;;;;15557:418;-1:-1:-1;15983:6:0;15451:546;-1:-1:-1;;15451:546:0:o;169:82::-;227:7;244:5;248:1;244;:5;:::i;14035:399::-;14176:14;;14251:13;;14241:4;14133;7532:18;;;:9;:18;;;;;;14283:8;;14133:4;;14166:24;;;;-1:-1:-1;14223:41:0;;14283:8;;14282:9;:24;;;;-1:-1:-1;14295:11:0;;;;14282:24;:42;;;;-1:-1:-1;14310:14:0;;-1:-1:-1;;;14310:14:0;;;;14282:42;:54;;;;;14328:8;14282:54;:78;;;;-1:-1:-1;;;;;;14341:19:0;;;;;;:11;:19;;;;;;;;14340:20;14282:78;:99;;;;-1:-1:-1;14377:4:0;;-1:-1:-1;;;;;14364:17:0;;;14377:4;;14364:17;14282:99;:126;;;;;14398:10;;14385:9;;:23;;14282:126;:144;;;;;14412:14;14282:144;14275:151;14035:399;-1:-1:-1;;;;;;14035:399:0:o;12168:1066::-;6045:8;:15;;-1:-1:-1;;6045:15:0;6056:4;6045:15;;;;;;12305:14:::1;::::0;12287:12:::1;::::0;12263::::1;::::0;6045:8;;12262:66:::1;::::0;12326:1:::1;::::0;12263:57:::1;::::0;12305:14;;12263:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;12262:66::-;12239:89;;12339:32;12374:42;12403:12;12374:24;12385:12;;12374:6;:10;;:24;;;;:::i;:42::-;12339:77:::0;-1:-1:-1;12427:14:0::1;12444:36;:6:::0;12339:77;12444:10:::1;:36::i;:::-;12427:53:::0;-1:-1:-1;12516:21:0::1;12548:24;12427:53:::0;12548:16:::1;:24::i;:::-;12583:20;12606:41;:21;12632:14:::0;12606:25:::1;:41::i;:::-;12583:64;;12658:19;12679:48;12696:30;12713:12;;12696;:16;;:30;;;;:::i;:::-;12679:12:::0;;:16:::1;:48::i;:::-;12658:69;;12738:29;12770;12786:12;;12770:11;:15;;:29;;;;:::i;:::-;12738:61:::0;-1:-1:-1;12813:34:0;;12810:103:::1;;12849:61;12862:24;12888:21;12849:12;:61::i;:::-;12969:12;::::0;12923:20:::1;::::0;12946:36:::1;::::0;:18:::1;:11:::0;12962:1:::1;12946:15;:18::i;:36::-;12923:59:::0;-1:-1:-1;12996:16:0;;12993:73:::1;;13014:50;::::0;6319:42:::1;::::0;13014:50;::::1;;;::::0;13051:12;;13014:50:::1;::::0;;;13051:12;6319:42;13014:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12993:73;13103:21;13138:29:::0;;13135:92:::1;;13169:56;::::0;6222:42:::1;::::0;13169:56;::::1;;;::::0;13208:16;;13169:56:::1;::::0;;;13208:16;6222:42;13169:56;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13135:92;-1:-1:-1::0;;6065:8:0;:16;;-1:-1:-1;;6065:16:0;;;-1:-1:-1;;;;;;;;12168:1066:0:o;15138:305::-;-1:-1:-1;;;;;15240:13:0;;15217:7;15240:13;;;:5;:13;;;;;;;;;:33;;-1:-1:-1;;;;;;15257:16:0;;;;;;:5;:16;;;;;;;;15240:33;15237:76;;;15282:11;;:29;;15306:3;15282:15;:29::i;:::-;15275:36;;;;15237:76;15339:4;;-1:-1:-1;;;;;15339:4:0;;;15326:17;;;;15323:38;;-1:-1:-1;15352:7:0;;15345:14;;15323:38;15384:4;;-1:-1:-1;;;;;15384:4:0;;;15374:14;;;;15371:36;;-1:-1:-1;15397:8:0;;15390:15;;15371:36;-1:-1:-1;15424:11:0;;15138:305;;;;:::o;13593:434::-;13683:16;;;13697:1;13683:16;;;;;;;;13659:21;;13683:16;;;;;;;;;;-1:-1:-1;13683:16:0;13659:40;;13728:4;13710;13715:1;13710:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13710:23:0;;;:7;;;;;;;;;;:23;;;;13754:6;;:13;;;-1:-1:-1;;;13754:13:0;;;;:6;;;;;:11;;:13;;;;;13710:7;;13754:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13744:4;13749:1;13744:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13744:23:0;;;:7;;;;;;;;;:23;13810:6;;13778:53;;13795:4;;13810:6;13819:11;13778:8;:53::i;:::-;13842:6;;:177;;-1:-1:-1;;;13842:177:0;;-1:-1:-1;;;;;13842:6:0;;;;:57;;:177;;13914:11;;13842:6;;13956:4;;13983;;14003:15;;13842:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13648:379;13593:434;:::o;13242:343::-;13355:6;;13323:53;;13340:4;;-1:-1:-1;;;;;13355:6:0;13364:11;13323:8;:53::i;:::-;13387:6;;:190;;-1:-1:-1;;;13387:190:0;;13450:4;13387:190;;;12007:34:1;12057:18;;;12050:34;;;13387:6:0;12100:18:1;;;12093:34;;;12143:18;;;12136:34;6415:42:0;12186:19:1;;;12179:44;13561:15:0;12239:19:1;;;12232:35;-1:-1:-1;;;;;13387:6:0;;;;:22;;13417:9;;11941:19:1;;13387:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;13242:343;;:::o;14:592:1:-;127:6;135;143;151;159;167;175;228:3;216:9;207:7;203:23;199:33;196:53;;;245:1;242;235:12;196:53;-1:-1:-1;;268:23:1;;;338:2;323:18;;310:32;;-1:-1:-1;389:2:1;374:18;;361:32;;440:2;425:18;;412:32;;-1:-1:-1;491:3:1;476:19;;463:33;;-1:-1:-1;543:3:1;528:19;;515:33;;-1:-1:-1;595:3:1;580:19;567:33;;-1:-1:-1;14:592:1;-1:-1:-1;14:592:1:o;611:548::-;723:4;752:2;781;770:9;763:21;813:6;807:13;856:6;851:2;840:9;836:18;829:34;881:1;891:140;905:6;902:1;899:13;891:140;;;1000:14;;;996:23;;990:30;966:17;;;985:2;962:26;955:66;920:10;;891:140;;;895:3;1080:1;1075:2;1066:6;1055:9;1051:22;1047:31;1040:42;1150:2;1143;1139:7;1134:2;1126:6;1122:15;1118:29;1107:9;1103:45;1099:54;1091:62;;;;611:548;;;;:::o;1164:131::-;-1:-1:-1;;;;;1239:31:1;;1229:42;;1219:70;;1285:1;1282;1275:12;1219:70;1164:131;:::o;1300:315::-;1368:6;1376;1429:2;1417:9;1408:7;1404:23;1400:32;1397:52;;;1445:1;1442;1435:12;1397:52;1484:9;1471:23;1503:31;1528:5;1503:31;:::i;:::-;1553:5;1605:2;1590:18;;;;1577:32;;-1:-1:-1;;;1300:315:1:o;1994:456::-;2071:6;2079;2087;2140:2;2128:9;2119:7;2115:23;2111:32;2108:52;;;2156:1;2153;2146:12;2108:52;2195:9;2182:23;2214:31;2239:5;2214:31;:::i;:::-;2264:5;-1:-1:-1;2321:2:1;2306:18;;2293:32;2334:33;2293:32;2334:33;:::i;:::-;1994:456;;2386:7;;-1:-1:-1;;;2440:2:1;2425:18;;;;2412:32;;1994:456::o;2455:247::-;2514:6;2567:2;2555:9;2546:7;2542:23;2538:32;2535:52;;;2583:1;2580;2573:12;2535:52;2622:9;2609:23;2641:31;2666:5;2641:31;:::i;2896:316::-;2973:6;2981;2989;3042:2;3030:9;3021:7;3017:23;3013:32;3010:52;;;3058:1;3055;3048:12;3010:52;-1:-1:-1;;3081:23:1;;;3151:2;3136:18;;3123:32;;-1:-1:-1;3202:2:1;3187:18;;;3174:32;;2896:316;-1:-1:-1;2896:316:1:o;3217:416::-;3282:6;3290;3343:2;3331:9;3322:7;3318:23;3314:32;3311:52;;;3359:1;3356;3349:12;3311:52;3398:9;3385:23;3417:31;3442:5;3417:31;:::i;:::-;3467:5;-1:-1:-1;3524:2:1;3509:18;;3496:32;3566:15;;3559:23;3547:36;;3537:64;;3597:1;3594;3587:12;3537:64;3620:7;3610:17;;;3217:416;;;;;:::o;3846:388::-;3914:6;3922;3975:2;3963:9;3954:7;3950:23;3946:32;3943:52;;;3991:1;3988;3981:12;3943:52;4030:9;4017:23;4049:31;4074:5;4049:31;:::i;:::-;4099:5;-1:-1:-1;4156:2:1;4141:18;;4128:32;4169:33;4128:32;4169:33;:::i;4499:329::-;4701:2;4683:21;;;4740:1;4720:18;;;4713:29;-1:-1:-1;;;4773:2:1;4758:18;;4751:36;4819:2;4804:18;;4499:329::o;5246:127::-;5307:10;5302:3;5298:20;5295:1;5288:31;5338:4;5335:1;5328:15;5362:4;5359:1;5352:15;5378:168;5418:7;5484:1;5480;5476:6;5472:14;5469:1;5466:21;5461:1;5454:9;5447:17;5443:45;5440:71;;;5491:18;;:::i;:::-;-1:-1:-1;5531:9:1;;5378:168::o;5551:217::-;5591:1;5617;5607:132;;5661:10;5656:3;5652:20;5649:1;5642:31;5696:4;5693:1;5686:15;5724:4;5721:1;5714:15;5607:132;-1:-1:-1;5753:9:1;;5551:217::o;7212:128::-;7279:9;;;7300:11;;;7297:37;;;7314:18;;:::i;9685:125::-;9750:9;;;9771:10;;;9768:36;;;9784:18;;:::i;10293:127::-;10354:10;10349:3;10345:20;10342:1;10335:31;10385:4;10382:1;10375:15;10409:4;10406:1;10399:15;10425:251;10495:6;10548:2;10536:9;10527:7;10523:23;10519:32;10516:52;;;10564:1;10561;10554:12;10516:52;10596:9;10590:16;10615:31;10640:5;10615:31;:::i;10681:980::-;10943:4;10991:3;10980:9;10976:19;11022:6;11011:9;11004:25;11048:2;11086:6;11081:2;11070:9;11066:18;11059:34;11129:3;11124:2;11113:9;11109:18;11102:31;11153:6;11188;11182:13;11219:6;11211;11204:22;11257:3;11246:9;11242:19;11235:26;;11296:2;11288:6;11284:15;11270:29;;11317:1;11327:195;11341:6;11338:1;11335:13;11327:195;;;11406:13;;-1:-1:-1;;;;;11402:39:1;11390:52;;11497:15;;;;11462:12;;;;11438:1;11356:9;11327:195;;;-1:-1:-1;;;;;;;11578:32:1;;;;11573:2;11558:18;;11551:60;-1:-1:-1;;;11642:3:1;11627:19;11620:35;11539:3;10681:980;-1:-1:-1;;;10681:980:1:o;12278:306::-;12366:6;12374;12382;12435:2;12423:9;12414:7;12410:23;12406:32;12403:52;;;12451:1;12448;12441:12;12403:52;12480:9;12474:16;12464:26;;12530:2;12519:9;12515:18;12509:25;12499:35;;12574:2;12563:9;12559:18;12553:25;12543:35;;12278:306;;;;;:::o

ipfs://549fbce09e3b8128c5fab5b8c4d9b3615c9c72726ed99b4e854cc10b3f4adf2d