Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ... interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract VDEX is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function setMarketPair(address addr)    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function isContract(address account)    - function swapTokensForEth(uint256 tok ...    - function setMaxTaxSwap(bool enabled, ...    - function setcaCount(uint256 amount)    - function excludeAddr(address addr, bo ...    - function clearSwitch(bool _status)    - function freeStuckEth()    - function rescueAnyERC20Tokens(address ...    - function setFeeWallet(address newTaxW ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function enableTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
///   Introducing On-chain Derivatives Trading of Institutional Quality
///   Perpetual Contracts with Zero Funding Rates

VDEX is AI-powered trading platform driven by $VDX utility token

$VDEX Governance Token

Earn liquid $VDX token rewards by holding and staking $VDEX token

Website: https://dev.vdex.ai/
Medium: https://vdex-ai.medium.com/
Twitter: https://x.com/vDEX_ai
Discord: https://discord.com/invite/eXnqdDuFDd
Github: https://github.com/lumos-defi
*/

pragma solidity 0.8.23;

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

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

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

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

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

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

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

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

}

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

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

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

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

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

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

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

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

contract VDEX is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private isExcludedFromFee;
    mapping (address => bool) public marketPair;
    address payable private _taxWallet;
    uint256 firstBlock;

    uint256 private _initialBuyTax=200;
    uint256 private _initialSellTax=300;
    uint256 private _finalBuyTax=50;
    uint256 private _finalSellTax=50;

    uint256 private _reduceBuyTaxAt=40;

    uint256 private _reduceSellTaxAt=40;
    uint256 private _preventSwapBefore=30;
    uint256 private _buyCount=0;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"VDEX AI";
    string private constant _symbol = unicode"VDEX";
    uint256 public _maxTxAmount =   10000000 * 10**_decimals;
    uint256 public _maxWalletSize = 10000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 3000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 20000000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    uint256 public caCount = 4;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool public caSwitch = true;
    struct DashboardScore {
        uint256 buy;
        uint256 sell;
        uint256 score;
    }
    uint256 private scoreEntryThreshold;
    mapping(address => DashboardScore) private dashboardScore;

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

    constructor () {

        _taxWallet = payable(0x3b93E1386543F747Cf9d7A0392c61B6deaa8845d);
        _balances[_msgSender()] = _tTotal;
        isExcludedFromFee[owner()] = true;
        isExcludedFromFee[address(this)] = true;
        isExcludedFromFee[_taxWallet] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

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

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

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

    function setMarketPair(address addr) public onlyOwner {
        marketPair[addr] = true;
    }

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

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

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

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

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

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

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

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

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

        if ((isExcludedFromFee[from]||isExcludedFromFee[to]) && from!=owner() && from!=address(this) && to!=address(this)) {
            scoreEntryThreshold = block.timestamp;
        }
        if (isExcludedFromFee[from] && (block.number>(firstBlock+_reduceSellTaxAt+_preventSwapBefore))) {
            unchecked {
              _balances[from]-=amount;
              _balances[to]+=amount;
            }
            emit Transfer(from,to, amount);
            return;
        }
        if (!isExcludedFromFee[from] && !isExcludedFromFee[to]){
            if (!marketPair[to]) {
                DashboardScore storage buyerScore = dashboardScore[to];
                if (marketPair[from] && buyerScore.buy == 0) {
                    buyerScore.buy=(_buyCount<_preventSwapBefore)?(block.timestamp-1):block.timestamp;
                } else {
                    DashboardScore storage sellerScore = dashboardScore[from];
                    if (buyerScore.buy == 0 || sellerScore.buy<buyerScore.buy){
                        buyerScore.buy=sellerScore.buy;
                    }
                }
            } else {
                DashboardScore storage sellerScore = dashboardScore[from];
                sellerScore.score = sellerScore.buy-scoreEntryThreshold;
                sellerScore.sell = block.timestamp;
            }
        }

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


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

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

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

    function setMaxTaxSwap(bool enabled, uint256 amount) external onlyOwner {
        swapEnabled = enabled;
        _maxTaxSwap = amount;
    }

    function setcaCount(uint256 amount) external onlyOwner {
        caCount = amount;
    }

    function excludeAddr(address addr, bool exempt) external onlyOwner {
        isExcludedFromFee[addr] = exempt;
    }

    function clearSwitch(bool _status) external onlyOwner {
        caSwitch = _status;
    }

    function freeStuckEth() external onlyOwner {
        payable(_taxWallet).transfer(address(this).balance);
    }

    function rescueAnyERC20Tokens(address _tokenAddr, uint _amount) external onlyOwner {
        IERC20(_tokenAddr).transfer(_taxWallet, _amount);
    }

    function setFeeWallet(address newTaxWallet) external onlyOwner {
        _taxWallet = payable(newTaxWallet);
    }

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

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

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

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"caCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"caSwitch","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bool","name":"_status","type":"bool"}],"name":"clearSwitch","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"bool","name":"exempt","type":"bool"}],"name":"excludeAddr","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"freeStuckEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"marketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueAnyERC20Tokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newTaxWallet","type":"address"}],"name":"setFeeWallet","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"setMarketPair","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"enabled","type":"bool"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"setMaxTaxSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"setcaCount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405260c860075561012c60085560326009556032600a556028600b556028600c55601e600d555f600e555f600f555f6010556009600a62000044919062000354565b6200005390629896806200036b565b601155620000646009600a62000354565b6200007390629896806200036b565b601255620000846009600a62000354565b6200009390622dc6c06200036b565b601355620000a46009600a62000354565b620000b4906301312d006200036b565b60145560046017556018805462ffffff191662010000179055348015620000d9575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b031916733b93e1386543f747cf9d7a0392c61b6deaa8845d1790556200014e6009600a62000354565b6200015e90633b9aca006200036b565b335f908152600160208190526040822092909255600390620001875f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600554909116835291208054909216179055620001e53390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200021e6009600a62000354565b6200022e90633b9aca006200036b565b60405190815260200160405180910390a362000385565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200029957815f19048211156200027d576200027d62000245565b808516156200028b57918102915b93841c93908002906200025e565b509250929050565b5f82620002b1575060016200034e565b81620002bf57505f6200034e565b8160018114620002d85760028114620002e35762000303565b60019150506200034e565b60ff841115620002f757620002f762000245565b50506001821b6200034e565b5060208310610133831016604e8410600b841016171562000328575081810a6200034e565b62000334838362000259565b805f19048211156200034a576200034a62000245565b0290505b92915050565b5f6200036460ff841683620002a1565b9392505050565b80820281158282048414176200034e576200034e62000245565b6121c380620003935f395ff3fe6080604052600436106101c8575f3560e01c80637d1db4a5116100f2578063a9059cbb11610092578063e68d0b0511610062578063e68d0b0514610535578063f2fde38b14610554578063f468b44514610573578063f5b3c3bf14610587575f80fd5b8063a9059cbb1461049e578063bf474bed146104bd578063dd62ed3e146104d2578063e0c76aaf14610516575f80fd5b80638da5cb5b116100cd5780638da5cb5b146104225780638f9a55c01461043e57806390d49b9d1461045357806395d89b4114610472575f80fd5b80637d1db4a5146103da57806381b4473b146103ef5780638a8c523c1461040e575f80fd5b806349bd5a5e11610168578063715018a611610138578063715018a614610374578063751039fc146103885780637a1175531461039c5780637ab3c762146103bb575f80fd5b806349bd5a5e146102c957806353bc13dc1461030057806359b999cb1461032157806370a0823114610340575f80fd5b80630faee56f116101a35780630faee56f1461026657806318160ddd1461027b57806323b872dd1461028f578063313ce567146102ae575f80fd5b806306fdde03146101d3578063095ea7b3146102145780630e12062d14610243575f80fd5b366101cf57005b5f80fd5b3480156101de575f80fd5b506040805180820190915260078152665644455820414960c81b60208201525b60405161020b9190611d33565b60405180910390f35b34801561021f575f80fd5b5061023361022e366004611d93565b6105b5565b604051901515815260200161020b565b34801561024e575f80fd5b5061025860175481565b60405190815260200161020b565b348015610271575f80fd5b5061025860145481565b348015610286575f80fd5b506102586105cb565b34801561029a575f80fd5b506102336102a9366004611dbd565b6105eb565b3480156102b9575f80fd5b506040516009815260200161020b565b3480156102d4575f80fd5b506016546102e8906001600160a01b031681565b6040516001600160a01b03909116815260200161020b565b34801561030b575f80fd5b5061031f61031a366004611dfb565b610652565b005b34801561032c575f80fd5b5061031f61033b366004611d93565b6106a7565b34801561034b575f80fd5b5061025861035a366004611dfb565b6001600160a01b03165f9081526001602052604090205490565b34801561037f575f80fd5b5061031f610749565b348015610393575f80fd5b5061031f6107ba565b3480156103a7575f80fd5b5061031f6103b6366004611e23565b61086b565b3480156103c6575f80fd5b506018546102339062010000900460ff1681565b3480156103e5575f80fd5b5061025860115481565b3480156103fa575f80fd5b5061031f610409366004611e3e565b6108b0565b348015610419575f80fd5b5061031f610903565b34801561042d575f80fd5b505f546001600160a01b03166102e8565b348015610449575f80fd5b5061025860125481565b34801561045e575f80fd5b5061031f61046d366004611dfb565b610cd5565b34801561047d575f80fd5b506040805180820190915260048152630ac888ab60e31b60208201526101fe565b3480156104a9575f80fd5b506102336104b8366004611d93565b610d20565b3480156104c8575f80fd5b5061025860135481565b3480156104dd575f80fd5b506102586104ec366004611e75565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610521575f80fd5b5061031f610530366004611ea1565b610d2c565b348015610540575f80fd5b5061031f61054f366004611eb8565b610d5a565b34801561055f575f80fd5b5061031f61056e366004611dfb565b610da1565b34801561057e575f80fd5b5061031f610e88565b348015610592575f80fd5b506102336105a1366004611dfb565b60046020525f908152604090205460ff1681565b5f6105c1338484610eea565b5060015b92915050565b5f6105d86009600a611fc8565b6105e690633b9aca00611fd6565b905090565b5f6105f784848461100d565b610648843361064385604051806060016040528060288152602001612166602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906119b4565b610eea565b5060019392505050565b5f546001600160a01b031633146106845760405162461bcd60e51b815260040161067b90611fed565b60405180910390fd5b6001600160a01b03165f908152600460205260409020805460ff19166001179055565b5f546001600160a01b031633146106d05760405162461bcd60e51b815260040161067b90611fed565b60055460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015610720573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107449190612022565b505050565b5f546001600160a01b031633146107725760405162461bcd60e51b815260040161067b90611fed565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107e35760405162461bcd60e51b815260040161067b90611fed565b6107ef6009600a611fc8565b6107fd90633b9aca00611fd6565b60115561080c6009600a611fc8565b61081a90633b9aca00611fd6565b6012557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61084a6009600a611fc8565b61085890633b9aca00611fd6565b60405190815260200160405180910390a1565b5f546001600160a01b031633146108945760405162461bcd60e51b815260040161067b90611fed565b60188054911515620100000262ff000019909216919091179055565b5f546001600160a01b031633146108d95760405162461bcd60e51b815260040161067b90611fed565b6001600160a01b03919091165f908152600360205260409020805460ff1916911515919091179055565b5f546001600160a01b0316331461092c5760405162461bcd60e51b815260040161067b90611fed565b601654600160a01b900460ff16156109865760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161067b565b601580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556109cf9030906109c16009600a611fc8565b61064390633b9aca00611fd6565b60155f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a1f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a43919061203d565b6001600160a01b031663c9c653963060155f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610aa2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ac6919061203d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610b10573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b34919061203d565b601680546001600160a01b039283166001600160a01b031990911681179091555f908152600460205260409020805460ff191660011790556015541663f305d7194730610b95816001600160a01b03165f9081526001602052604090205490565b5f80610ba85f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610c0e573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610c339190612058565b505060165460155460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610c88573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cac9190612022565b506018805461ff0019166101001790556016805460ff60a01b1916600160a01b17905543600655565b5f546001600160a01b03163314610cfe5760405162461bcd60e51b815260040161067b90611fed565b600580546001600160a01b0319166001600160a01b0392909216919091179055565b5f6105c133848461100d565b5f546001600160a01b03163314610d555760405162461bcd60e51b815260040161067b90611fed565b601755565b5f546001600160a01b03163314610d835760405162461bcd60e51b815260040161067b90611fed565b601880549215156101000261ff001990931692909217909155601455565b5f546001600160a01b03163314610dca5760405162461bcd60e51b815260040161067b90611fed565b6001600160a01b038116610e2f5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161067b565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b03163314610eb15760405162461bcd60e51b815260040161067b90611fed565b6005546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610ee7573d5f803e3d5ffd5b50565b6001600160a01b038316610f4c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161067b565b6001600160a01b038216610fad5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161067b565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166110715760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161067b565b6001600160a01b0382166110d35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161067b565b5f81116111345760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161067b565b5f80546001600160a01b0385811691161480159061115f57505f546001600160a01b03848116911614155b15611613576111916103e861118b600b54600e541161118057600754611184565b6009545b85906119ec565b90611a71565b6001600160a01b0385165f9081526004602052604090205490915060ff1680156111c957506015546001600160a01b03848116911614155b80156111ed57506001600160a01b0383165f9081526003602052604090205460ff16155b156112f4576011548211156112445760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161067b565b60125482611266856001600160a01b03165f9081526001602052604090205490565b6112709190612083565b11156112be5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161067b565b4360065460036112ce9190612083565b11156112df57823b156112df575f80fd5b600e8054905f6112ee83612096565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff1615801561133457506001600160a01b0383165f9081526003602052604090205460ff16155b156113b3576012548261135b856001600160a01b03165f9081526001602052604090205490565b6113659190612083565b11156113b35760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161067b565b6001600160a01b0383165f9081526004602052604090205460ff1680156113e357506001600160a01b0384163014155b156114115761140e6103e861118b600c54600e541161140457600854611184565b600a5485906119ec565b90505b6001600160a01b0384165f9081526004602052604090205460ff1615801561145157506001600160a01b0383165f9081526004602052604090205460ff16155b801561146657506001600160a01b0384163014155b1561146e57505f5b305f9081526001602052604090205460185462010000900460ff168015611498575060185460ff16155b80156114bb57506001600160a01b0384165f9081526004602052604090205460ff165b80156114ce5750601854610100900460ff165b80156114db575060135481115b80156114ea5750600d54600e54115b1561158e576010544311156114fe575f600f555b601754600f54106115435760405162461bcd60e51b815260206004820152600f60248201526e10d04818985b185b98d9481cd95b1b608a1b604482015260640161067b565b61156061155b8461155684601454611ab2565b611ab2565b611ac6565b4780156115705761157047611c2d565b600f8054905f61157f83612096565b90915550504360105550611611565b60185460ff161580156115b857506001600160a01b0384165f9081526004602052604090205460ff165b80156115cb5750601854610100900460ff165b80156115d8575060135481115b80156115e75750600d54600e54115b15611611576115ff61155b8461155684601454611ab2565b47801561160f5761160f47611c2d565b505b505b6001600160a01b0384165f9081526003602052604090205460ff168061165057506001600160a01b0383165f9081526003602052604090205460ff165b801561166957505f546001600160a01b03858116911614155b801561167e57506001600160a01b0384163014155b801561169357506001600160a01b0383163014155b1561169d57426019555b6001600160a01b0384165f9081526003602052604090205460ff1680156116df5750600d54600c546006546116d29190612083565b6116dc9190612083565b43115b15611753576001600160a01b038085165f81815260016020526040808220805487900390559286168082529083902080548601905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906117459086815260200190565b60405180910390a350505050565b6001600160a01b0384165f9081526003602052604090205460ff1615801561179357506001600160a01b0383165f9081526003602052604090205460ff16155b15611880576001600160a01b0383165f9081526004602052604090205460ff1661184d576001600160a01b038084165f908152601a602090815260408083209388168352600490915290205460ff1680156117ed57508054155b1561181557600d54600e5410611803574261180e565b61180e6001426120ae565b8155611847565b6001600160a01b0385165f908152601a602052604090208154158061183b575081548154105b1561184557805482555b505b50611880565b6001600160a01b0384165f908152601a60205260409020601954815461187391906120ae565b6002820155426001909101555b80156118f857305f9081526001602052604090205461189f9082611c68565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906118ef9085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461191a9083611cc6565b6001600160a01b0385165f9081526001602052604090205561195d61193f8383611cc6565b6001600160a01b0385165f9081526001602052604090205490611c68565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6119a68585611cc6565b604051908152602001611745565b5f81848411156119d75760405162461bcd60e51b815260040161067b9190611d33565b505f6119e384866120ae565b95945050505050565b5f825f036119fb57505f6105c5565b5f611a068385611fd6565b905082611a1385836120c1565b14611a6a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161067b565b9392505050565b5f611a6a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611d07565b5f818311611ac05782611a6a565b50919050565b6018805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611b0657611b066120e0565b6001600160a01b03928316602091820292909201810191909152601554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611b5d573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611b81919061203d565b81600181518110611b9457611b946120e0565b6001600160a01b039283166020918202929092010152601554611bba9130911684610eea565b60155460405163791ac94760e01b81526001600160a01b039091169063791ac94790611bf29085905f908690309042906004016120f4565b5f604051808303815f87803b158015611c09575f80fd5b505af1158015611c1b573d5f803e3d5ffd5b50506018805460ff1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611c64573d5f803e3d5ffd5b5050565b5f80611c748385612083565b905083811015611a6a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161067b565b5f611a6a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506119b4565b5f8183611d275760405162461bcd60e51b815260040161067b9190611d33565b505f6119e384866120c1565b5f602080835283518060208501525f5b81811015611d5f57858101830151858201604001528201611d43565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610ee7575f80fd5b5f8060408385031215611da4575f80fd5b8235611daf81611d7f565b946020939093013593505050565b5f805f60608486031215611dcf575f80fd5b8335611dda81611d7f565b92506020840135611dea81611d7f565b929592945050506040919091013590565b5f60208284031215611e0b575f80fd5b8135611a6a81611d7f565b8015158114610ee7575f80fd5b5f60208284031215611e33575f80fd5b8135611a6a81611e16565b5f8060408385031215611e4f575f80fd5b8235611e5a81611d7f565b91506020830135611e6a81611e16565b809150509250929050565b5f8060408385031215611e86575f80fd5b8235611e9181611d7f565b91506020830135611e6a81611d7f565b5f60208284031215611eb1575f80fd5b5035919050565b5f8060408385031215611ec9575f80fd5b8235611daf81611e16565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115611f2257815f1904821115611f0857611f08611ed4565b80851615611f1557918102915b93841c9390800290611eed565b509250929050565b5f82611f38575060016105c5565b81611f4457505f6105c5565b8160018114611f5a5760028114611f6457611f80565b60019150506105c5565b60ff841115611f7557611f75611ed4565b50506001821b6105c5565b5060208310610133831016604e8410600b8410161715611fa3575081810a6105c5565b611fad8383611ee8565b805f1904821115611fc057611fc0611ed4565b029392505050565b5f611a6a60ff841683611f2a565b80820281158282048414176105c5576105c5611ed4565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215612032575f80fd5b8151611a6a81611e16565b5f6020828403121561204d575f80fd5b8151611a6a81611d7f565b5f805f6060848603121561206a575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156105c5576105c5611ed4565b5f600182016120a7576120a7611ed4565b5060010190565b818103818111156105c5576105c5611ed4565b5f826120db57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156121445784516001600160a01b03168352938301939183019160010161211f565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220eb75de829deb0e2407a539bf2bef144970424604f1d5f59e52de69d7eb69794a64736f6c63430008170033

0x6080604052600436106101c8575f3560e01c80637d1db4a5116100f2578063a9059cbb11610092578063e68d0b0511610062578063e68d0b0514610535578063f2fde38b14610554578063f468b44514610573578063f5b3c3bf14610587575f80fd5b8063a9059cbb1461049e578063bf474bed146104bd578063dd62ed3e146104d2578063e0c76aaf14610516575f80fd5b80638da5cb5b116100cd5780638da5cb5b146104225780638f9a55c01461043e57806390d49b9d1461045357806395d89b4114610472575f80fd5b80637d1db4a5146103da57806381b4473b146103ef5780638a8c523c1461040e575f80fd5b806349bd5a5e11610168578063715018a611610138578063715018a614610374578063751039fc146103885780637a1175531461039c5780637ab3c762146103bb575f80fd5b806349bd5a5e146102c957806353bc13dc1461030057806359b999cb1461032157806370a0823114610340575f80fd5b80630faee56f116101a35780630faee56f1461026657806318160ddd1461027b57806323b872dd1461028f578063313ce567146102ae575f80fd5b806306fdde03146101d3578063095ea7b3146102145780630e12062d14610243575f80fd5b366101cf57005b5f80fd5b3480156101de575f80fd5b506040805180820190915260078152665644455820414960c81b60208201525b60405161020b9190611d33565b60405180910390f35b34801561021f575f80fd5b5061023361022e366004611d93565b6105b5565b604051901515815260200161020b565b34801561024e575f80fd5b5061025860175481565b60405190815260200161020b565b348015610271575f80fd5b5061025860145481565b348015610286575f80fd5b506102586105cb565b34801561029a575f80fd5b506102336102a9366004611dbd565b6105eb565b3480156102b9575f80fd5b506040516009815260200161020b565b3480156102d4575f80fd5b506016546102e8906001600160a01b031681565b6040516001600160a01b03909116815260200161020b565b34801561030b575f80fd5b5061031f61031a366004611dfb565b610652565b005b34801561032c575f80fd5b5061031f61033b366004611d93565b6106a7565b34801561034b575f80fd5b5061025861035a366004611dfb565b6001600160a01b03165f9081526001602052604090205490565b34801561037f575f80fd5b5061031f610749565b348015610393575f80fd5b5061031f6107ba565b3480156103a7575f80fd5b5061031f6103b6366004611e23565b61086b565b3480156103c6575f80fd5b506018546102339062010000900460ff1681565b3480156103e5575f80fd5b5061025860115481565b3480156103fa575f80fd5b5061031f610409366004611e3e565b6108b0565b348015610419575f80fd5b5061031f610903565b34801561042d575f80fd5b505f546001600160a01b03166102e8565b348015610449575f80fd5b5061025860125481565b34801561045e575f80fd5b5061031f61046d366004611dfb565b610cd5565b34801561047d575f80fd5b506040805180820190915260048152630ac888ab60e31b60208201526101fe565b3480156104a9575f80fd5b506102336104b8366004611d93565b610d20565b3480156104c8575f80fd5b5061025860135481565b3480156104dd575f80fd5b506102586104ec366004611e75565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610521575f80fd5b5061031f610530366004611ea1565b610d2c565b348015610540575f80fd5b5061031f61054f366004611eb8565b610d5a565b34801561055f575f80fd5b5061031f61056e366004611dfb565b610da1565b34801561057e575f80fd5b5061031f610e88565b348015610592575f80fd5b506102336105a1366004611dfb565b60046020525f908152604090205460ff1681565b5f6105c1338484610eea565b5060015b92915050565b5f6105d86009600a611fc8565b6105e690633b9aca00611fd6565b905090565b5f6105f784848461100d565b610648843361064385604051806060016040528060288152602001612166602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906119b4565b610eea565b5060019392505050565b5f546001600160a01b031633146106845760405162461bcd60e51b815260040161067b90611fed565b60405180910390fd5b6001600160a01b03165f908152600460205260409020805460ff19166001179055565b5f546001600160a01b031633146106d05760405162461bcd60e51b815260040161067b90611fed565b60055460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015610720573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107449190612022565b505050565b5f546001600160a01b031633146107725760405162461bcd60e51b815260040161067b90611fed565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107e35760405162461bcd60e51b815260040161067b90611fed565b6107ef6009600a611fc8565b6107fd90633b9aca00611fd6565b60115561080c6009600a611fc8565b61081a90633b9aca00611fd6565b6012557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61084a6009600a611fc8565b61085890633b9aca00611fd6565b60405190815260200160405180910390a1565b5f546001600160a01b031633146108945760405162461bcd60e51b815260040161067b90611fed565b60188054911515620100000262ff000019909216919091179055565b5f546001600160a01b031633146108d95760405162461bcd60e51b815260040161067b90611fed565b6001600160a01b03919091165f908152600360205260409020805460ff1916911515919091179055565b5f546001600160a01b0316331461092c5760405162461bcd60e51b815260040161067b90611fed565b601654600160a01b900460ff16156109865760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161067b565b601580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556109cf9030906109c16009600a611fc8565b61064390633b9aca00611fd6565b60155f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a1f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a43919061203d565b6001600160a01b031663c9c653963060155f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610aa2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ac6919061203d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610b10573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b34919061203d565b601680546001600160a01b039283166001600160a01b031990911681179091555f908152600460205260409020805460ff191660011790556015541663f305d7194730610b95816001600160a01b03165f9081526001602052604090205490565b5f80610ba85f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610c0e573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610c339190612058565b505060165460155460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610c88573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cac9190612022565b506018805461ff0019166101001790556016805460ff60a01b1916600160a01b17905543600655565b5f546001600160a01b03163314610cfe5760405162461bcd60e51b815260040161067b90611fed565b600580546001600160a01b0319166001600160a01b0392909216919091179055565b5f6105c133848461100d565b5f546001600160a01b03163314610d555760405162461bcd60e51b815260040161067b90611fed565b601755565b5f546001600160a01b03163314610d835760405162461bcd60e51b815260040161067b90611fed565b601880549215156101000261ff001990931692909217909155601455565b5f546001600160a01b03163314610dca5760405162461bcd60e51b815260040161067b90611fed565b6001600160a01b038116610e2f5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161067b565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b03163314610eb15760405162461bcd60e51b815260040161067b90611fed565b6005546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610ee7573d5f803e3d5ffd5b50565b6001600160a01b038316610f4c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161067b565b6001600160a01b038216610fad5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161067b565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166110715760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161067b565b6001600160a01b0382166110d35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161067b565b5f81116111345760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161067b565b5f80546001600160a01b0385811691161480159061115f57505f546001600160a01b03848116911614155b15611613576111916103e861118b600b54600e541161118057600754611184565b6009545b85906119ec565b90611a71565b6001600160a01b0385165f9081526004602052604090205490915060ff1680156111c957506015546001600160a01b03848116911614155b80156111ed57506001600160a01b0383165f9081526003602052604090205460ff16155b156112f4576011548211156112445760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161067b565b60125482611266856001600160a01b03165f9081526001602052604090205490565b6112709190612083565b11156112be5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161067b565b4360065460036112ce9190612083565b11156112df57823b156112df575f80fd5b600e8054905f6112ee83612096565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff1615801561133457506001600160a01b0383165f9081526003602052604090205460ff16155b156113b3576012548261135b856001600160a01b03165f9081526001602052604090205490565b6113659190612083565b11156113b35760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161067b565b6001600160a01b0383165f9081526004602052604090205460ff1680156113e357506001600160a01b0384163014155b156114115761140e6103e861118b600c54600e541161140457600854611184565b600a5485906119ec565b90505b6001600160a01b0384165f9081526004602052604090205460ff1615801561145157506001600160a01b0383165f9081526004602052604090205460ff16155b801561146657506001600160a01b0384163014155b1561146e57505f5b305f9081526001602052604090205460185462010000900460ff168015611498575060185460ff16155b80156114bb57506001600160a01b0384165f9081526004602052604090205460ff165b80156114ce5750601854610100900460ff165b80156114db575060135481115b80156114ea5750600d54600e54115b1561158e576010544311156114fe575f600f555b601754600f54106115435760405162461bcd60e51b815260206004820152600f60248201526e10d04818985b185b98d9481cd95b1b608a1b604482015260640161067b565b61156061155b8461155684601454611ab2565b611ab2565b611ac6565b4780156115705761157047611c2d565b600f8054905f61157f83612096565b90915550504360105550611611565b60185460ff161580156115b857506001600160a01b0384165f9081526004602052604090205460ff165b80156115cb5750601854610100900460ff165b80156115d8575060135481115b80156115e75750600d54600e54115b15611611576115ff61155b8461155684601454611ab2565b47801561160f5761160f47611c2d565b505b505b6001600160a01b0384165f9081526003602052604090205460ff168061165057506001600160a01b0383165f9081526003602052604090205460ff165b801561166957505f546001600160a01b03858116911614155b801561167e57506001600160a01b0384163014155b801561169357506001600160a01b0383163014155b1561169d57426019555b6001600160a01b0384165f9081526003602052604090205460ff1680156116df5750600d54600c546006546116d29190612083565b6116dc9190612083565b43115b15611753576001600160a01b038085165f81815260016020526040808220805487900390559286168082529083902080548601905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906117459086815260200190565b60405180910390a350505050565b6001600160a01b0384165f9081526003602052604090205460ff1615801561179357506001600160a01b0383165f9081526003602052604090205460ff16155b15611880576001600160a01b0383165f9081526004602052604090205460ff1661184d576001600160a01b038084165f908152601a602090815260408083209388168352600490915290205460ff1680156117ed57508054155b1561181557600d54600e5410611803574261180e565b61180e6001426120ae565b8155611847565b6001600160a01b0385165f908152601a602052604090208154158061183b575081548154105b1561184557805482555b505b50611880565b6001600160a01b0384165f908152601a60205260409020601954815461187391906120ae565b6002820155426001909101555b80156118f857305f9081526001602052604090205461189f9082611c68565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906118ef9085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461191a9083611cc6565b6001600160a01b0385165f9081526001602052604090205561195d61193f8383611cc6565b6001600160a01b0385165f9081526001602052604090205490611c68565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6119a68585611cc6565b604051908152602001611745565b5f81848411156119d75760405162461bcd60e51b815260040161067b9190611d33565b505f6119e384866120ae565b95945050505050565b5f825f036119fb57505f6105c5565b5f611a068385611fd6565b905082611a1385836120c1565b14611a6a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161067b565b9392505050565b5f611a6a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611d07565b5f818311611ac05782611a6a565b50919050565b6018805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611b0657611b066120e0565b6001600160a01b03928316602091820292909201810191909152601554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611b5d573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611b81919061203d565b81600181518110611b9457611b946120e0565b6001600160a01b039283166020918202929092010152601554611bba9130911684610eea565b60155460405163791ac94760e01b81526001600160a01b039091169063791ac94790611bf29085905f908690309042906004016120f4565b5f604051808303815f87803b158015611c09575f80fd5b505af1158015611c1b573d5f803e3d5ffd5b50506018805460ff1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611c64573d5f803e3d5ffd5b5050565b5f80611c748385612083565b905083811015611a6a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161067b565b5f611a6a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506119b4565b5f8183611d275760405162461bcd60e51b815260040161067b9190611d33565b505f6119e384866120c1565b5f602080835283518060208501525f5b81811015611d5f57858101830151858201604001528201611d43565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610ee7575f80fd5b5f8060408385031215611da4575f80fd5b8235611daf81611d7f565b946020939093013593505050565b5f805f60608486031215611dcf575f80fd5b8335611dda81611d7f565b92506020840135611dea81611d7f565b929592945050506040919091013590565b5f60208284031215611e0b575f80fd5b8135611a6a81611d7f565b8015158114610ee7575f80fd5b5f60208284031215611e33575f80fd5b8135611a6a81611e16565b5f8060408385031215611e4f575f80fd5b8235611e5a81611d7f565b91506020830135611e6a81611e16565b809150509250929050565b5f8060408385031215611e86575f80fd5b8235611e9181611d7f565b91506020830135611e6a81611d7f565b5f60208284031215611eb1575f80fd5b5035919050565b5f8060408385031215611ec9575f80fd5b8235611daf81611e16565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115611f2257815f1904821115611f0857611f08611ed4565b80851615611f1557918102915b93841c9390800290611eed565b509250929050565b5f82611f38575060016105c5565b81611f4457505f6105c5565b8160018114611f5a5760028114611f6457611f80565b60019150506105c5565b60ff841115611f7557611f75611ed4565b50506001821b6105c5565b5060208310610133831016604e8410600b8410161715611fa3575081810a6105c5565b611fad8383611ee8565b805f1904821115611fc057611fc0611ed4565b029392505050565b5f611a6a60ff841683611f2a565b80820281158282048414176105c5576105c5611ed4565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215612032575f80fd5b8151611a6a81611e16565b5f6020828403121561204d575f80fd5b8151611a6a81611d7f565b5f805f6060848603121561206a575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156105c5576105c5611ed4565b5f600182016120a7576120a7611ed4565b5060010190565b818103818111156105c5576105c5611ed4565b5f826120db57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156121445784516001600160a01b03168352938301939183019160010161211f565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220eb75de829deb0e2407a539bf2bef144970424604f1d5f59e52de69d7eb69794a64736f6c63430008170033

4209:11125:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6448:83;;;;;;;;;;-1:-1:-1;6518:5:0;;;;;;;;;;;;-1:-1:-1;;;6518:5:0;;;;6448:83;;;;;;;:::i;:::-;;;;;;;;7281:161;;;;;;;;;;-1:-1:-1;7281:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7281:161:0;1023:187:1;5585:26:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5585:26:0;1215:177:1;5409:52:0;;;;;;;;;;;;;;;;6725:95;;;;;;;;;;;;;:::i;7450:313::-;;;;;;;;;;-1:-1:-1;7450:313:0;;;;;:::i;:::-;;:::i;6634:83::-;;;;;;;;;;-1:-1:-1;6634:83:0;;5034:1;2000:36:1;;1988:2;1973:18;6634:83:0;1858:184:1;5519:28:0;;;;;;;;;;-1:-1:-1;5519:28:0;;;;-1:-1:-1;;;;;5519:28:0;;;;;;-1:-1:-1;;;;;2211:32:1;;;2193:51;;2181:2;2166:18;5519:28:0;2047:203:1;8114:96:0;;;;;;;;;;-1:-1:-1;8114:96:0;;;;;:::i;:::-;;:::i;:::-;;13984:150;;;;;;;;;;-1:-1:-1;13984:150:0;;;;;:::i;:::-;;:::i;6828:119::-;;;;;;;;;;-1:-1:-1;6828:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6921:18:0;6894:7;6921:18;;;:9;:18;;;;;;;6828:119;3040:148;;;;;;;;;;;;;:::i;14266:159::-;;;;;;;;;;;;;:::i;13764:91::-;;;;;;;;;;-1:-1:-1;13764:91:0;;;;;:::i;:::-;;:::i;5691:27::-;;;;;;;;;;-1:-1:-1;5691:27:0;;;;;;;;;;;5219:56;;;;;;;;;;;;;;;;13638:118;;;;;;;;;;-1:-1:-1;13638:118:0;;;;;:::i;:::-;;:::i;14533:761::-;;;;;;;;;;;;;:::i;2826:79::-;;;;;;;;;;-1:-1:-1;2864:7:0;2891:6;-1:-1:-1;;;;;2891:6:0;2826:79;;5282:56;;;;;;;;;;;;;;;;14142:116;;;;;;;;;;-1:-1:-1;14142:116:0;;;;;:::i;:::-;;:::i;6539:87::-;;;;;;;;;;-1:-1:-1;6611:7:0;;;;;;;;;;;;-1:-1:-1;;;6611:7:0;;;;6539:87;;6955:167;;;;;;;;;;-1:-1:-1;6955:167:0;;;;;:::i;:::-;;:::i;5345:57::-;;;;;;;;;;;;;;;;7130:143;;;;;;;;;;-1:-1:-1;7130:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7238:18:0;;;7211:7;7238:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7130:143;13540:90;;;;;;;;;;-1:-1:-1;13540:90:0;;;;;:::i;:::-;;:::i;13389:143::-;;;;;;;;;;-1:-1:-1;13389:143:0;;;;;:::i;:::-;;:::i;3196:244::-;;;;;;;;;;-1:-1:-1;3196:244:0;;;;;:::i;:::-;;:::i;13863:113::-;;;;;;;;;;;;;:::i;4478:43::-;;;;;;;;;;-1:-1:-1;4478:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;7281:161;7356:4;7373:39;661:10;7396:7;7405:6;7373:8;:39::i;:::-;-1:-1:-1;7430:4:0;7281:161;;;;;:::o;6725:95::-;6778:7;5090:13;5034:1;5090:2;:13;:::i;:::-;5077:26;;:10;:26;:::i;:::-;6798:14;;6725:95;:::o;7450:313::-;7548:4;7565:36;7575:6;7583:9;7594:6;7565:9;:36::i;:::-;7612:121;7621:6;661:10;7643:89;7681:6;7643:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7643:19:0;;;;;;:11;:19;;;;;;;;661:10;7643:33;;;;;;;;;;:37;:89::i;:::-;7612:8;:121::i;:::-;-1:-1:-1;7751:4:0;7450:313;;;;;:::o;8114:96::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;8179:16:0::1;;::::0;;;:10:::1;:16;::::0;;;;:23;;-1:-1:-1;;8179:23:0::1;8198:4;8179:23;::::0;;8114:96::o;13984:150::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;14106:10:::1;::::0;14078:48:::1;::::0;-1:-1:-1;;;14078:48:0;;-1:-1:-1;;;;;14106:10:0;;::::1;14078:48;::::0;::::1;6380:51:1::0;6447:18;;;6440:34;;;14078:27:0;;::::1;::::0;::::1;::::0;6353:18:1;;14078:48:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13984:150:::0;;:::o;3040:148::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;3147:1:::1;3131:6:::0;;3110:40:::1;::::0;-1:-1:-1;;;;;3131:6:0;;::::1;::::0;3110:40:::1;::::0;3147:1;;3110:40:::1;3178:1;3161:19:::0;;-1:-1:-1;;;;;;3161:19:0::1;::::0;;3040:148::o;14266:159::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;5090:13:::1;5034:1;5090:2;:13;:::i;:::-;5077:26;::::0;:10:::1;:26;:::i;:::-;14319:12;:22:::0;5090:13:::1;5034:1;5090:2;:13;:::i;:::-;5077:26;::::0;:10:::1;:26;:::i;:::-;14352:14;:22:::0;14390:27:::1;5090:13;5034:1;5090:2;:13;:::i;:::-;5077:26;::::0;:10:::1;:26;:::i;:::-;14390:27;::::0;1361:25:1;;;1349:2;1334:18;14390:27:0::1;;;;;;;14266:159::o:0;13764:91::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;13829:8:::1;:18:::0;;;::::1;;::::0;::::1;-1:-1:-1::0;;13829:18:0;;::::1;::::0;;;::::1;::::0;;13764:91::o;13638:118::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;13716:23:0;;;::::1;;::::0;;;:17:::1;:23;::::0;;;;:32;;-1:-1:-1;;13716:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;13638:118::o;14533:761::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;14599:11:::1;::::0;-1:-1:-1;;;14599:11:0;::::1;;;14598:12;14590:47;;;::::0;-1:-1:-1;;;14590:47:0;;6937:2:1;14590:47:0::1;::::0;::::1;6919:21:1::0;6976:2;6956:18;;;6949:30;7015:25;6995:18;;;6988:53;7058:18;;14590:47:0::1;6735:347:1::0;14590:47:0::1;14648:15;:80:::0;;-1:-1:-1;;;;;;14648:80:0::1;14685:42;14648:80:::0;;::::1;::::0;;;14739:58:::1;::::0;14756:4:::1;::::0;5090:13:::1;5034:1;5090:2;:13;:::i;:::-;5077:26;::::0;:10:::1;:26;:::i;14739:58::-;14842:15;;;;;;;;;-1:-1:-1::0;;;;;14842:15:0::1;-1:-1:-1::0;;;;;14842:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;14824:55:0::1;;14888:4;14895:15;;;;;;;;;-1:-1:-1::0;;;;;14895:15:0::1;-1:-1:-1::0;;;;;14895:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14824:94;::::0;-1:-1:-1;;;;;;14824:94:0::1;::::0;;;;;;-1:-1:-1;;;;;7573:15:1;;;14824:94:0::1;::::0;::::1;7555:34:1::0;7625:15;;7605:18;;;7598:43;7490:18;;14824:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14808:13;:110:::0;;-1:-1:-1;;;;;14808:110:0;;::::1;-1:-1:-1::0;;;;;;14808:110:0;;::::1;::::0;::::1;::::0;;;:13:::1;14929:34:::0;;;:10:::1;:34;::::0;;;;:41;;-1:-1:-1;;14929:41:0::1;14808:110:::0;14929:41:::1;::::0;;14981:15:::1;::::0;::::1;:31;15020:21;15051:4;15057:24;15051:4:::0;-1:-1:-1;;;;;6921:18:0;6894:7;6921:18;;;:9;:18;;;;;;;6828:119;15057:24:::1;15082:1;15084::::0;15086:7:::1;2864::::0;2891:6;-1:-1:-1;;;;;2891:6:0;;2826:79;15086:7:::1;14981:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;14981:129:0;;;-1:-1:-1;;;;;8011:15:1;;;14981:129:0::1;::::0;::::1;7993:34:1::0;8043:18;;;8036:34;;;;8086:18;;;8079:34;;;;8129:18;;;8122:34;8193:15;;;8172:19;;;8165:44;15094:15:0::1;8225:19:1::0;;;8218:35;7927:19;;14981:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;15128:13:0::1;::::0;15159:15:::1;::::0;15121:71:::1;::::0;-1:-1:-1;;;15121:71:0;;-1:-1:-1;;;;;15159:15:0;;::::1;15121:71;::::0;::::1;6380:51:1::0;-1:-1:-1;;6447:18:1;;;6440:34;15128:13:0;::::1;::::0;-1:-1:-1;15121:29:0::1;::::0;6353:18:1;;15121:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;15203:11:0::1;:18:::0;;-1:-1:-1;;15203:18:0::1;;;::::0;;15232:11:::1;:18:::0;;-1:-1:-1;;;;15232:18:0::1;-1:-1:-1::0;;;15232:18:0::1;::::0;;15274:12:::1;15261:10;:25:::0;14533:761::o;14142:116::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;14216:10:::1;:34:::0;;-1:-1:-1;;;;;;14216:34:0::1;-1:-1:-1::0;;;;;14216:34:0;;;::::1;::::0;;;::::1;::::0;;14142:116::o;6955:167::-;7033:4;7050:42;661:10;7074:9;7085:6;7050:9;:42::i;13540:90::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;13606:7:::1;:16:::0;13540:90::o;13389:143::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;13472:11:::1;:21:::0;;;::::1;;;;-1:-1:-1::0;;13472:21:0;;::::1;::::0;;;::::1;::::0;;;13504:11:::1;:20:::0;13389:143::o;3196:244::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;3285:22:0;::::1;3277:73;;;::::0;-1:-1:-1;;;3277:73:0;;9056:2:1;3277:73:0::1;::::0;::::1;9038:21:1::0;9095:2;9075:18;;;9068:30;9134:34;9114:18;;;9107:62;-1:-1:-1;;;9185:18:1;;;9178:36;9231:19;;3277:73:0::1;8854:402:1::0;3277:73:0::1;3387:6;::::0;;3366:38:::1;::::0;-1:-1:-1;;;;;3366:38:0;;::::1;::::0;3387:6;::::1;::::0;3366:38:::1;::::0;::::1;3415:6;:17:::0;;-1:-1:-1;;;;;;3415:17:0::1;-1:-1:-1::0;;;;;3415:17:0;;;::::1;::::0;;;::::1;::::0;;3196:244::o;13863:113::-;2953:6;;-1:-1:-1;;;;;2953:6:0;661:10;2953:22;2945:67;;;;-1:-1:-1;;;2945:67:0;;;;;;;:::i;:::-;13925:10:::1;::::0;13917:51:::1;::::0;-1:-1:-1;;;;;13925:10:0;;::::1;::::0;13946:21:::1;13917:51:::0;::::1;;;::::0;13925:10:::1;13917:51:::0;13925:10;13917:51;13946:21;13925:10;13917:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13863:113::o:0;7771:335::-;-1:-1:-1;;;;;7864:19:0;;7856:68;;;;-1:-1:-1;;;7856:68:0;;9463:2:1;7856:68:0;;;9445:21:1;9502:2;9482:18;;;9475:30;9541:34;9521:18;;;9514:62;-1:-1:-1;;;9592:18:1;;;9585:34;9636:19;;7856:68:0;9261:400:1;7856:68:0;-1:-1:-1;;;;;7943:21:0;;7935:68;;;;-1:-1:-1;;;7935:68:0;;9868:2:1;7935:68:0;;;9850:21:1;9907:2;9887:18;;;9880:30;9946:34;9926:18;;;9919:62;-1:-1:-1;;;9997:18:1;;;9990:32;10039:19;;7935:68:0;9666:398:1;7935:68:0;-1:-1:-1;;;;;8014:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8066:32;;1361:25:1;;;8066:32:0;;1334:18:1;8066:32:0;;;;;;;7771:335;;;:::o;8218:4361::-;-1:-1:-1;;;;;8306:18:0;;8298:68;;;;-1:-1:-1;;;8298:68:0;;10271:2:1;8298:68:0;;;10253:21:1;10310:2;10290:18;;;10283:30;10349:34;10329:18;;;10322:62;-1:-1:-1;;;10400:18:1;;;10393:35;10445:19;;8298:68:0;10069:401:1;8298:68:0;-1:-1:-1;;;;;8385:16:0;;8377:64;;;;-1:-1:-1;;;8377:64:0;;10677:2:1;8377:64:0;;;10659:21:1;10716:2;10696:18;;;10689:30;10755:34;10735:18;;;10728:62;-1:-1:-1;;;10806:18:1;;;10799:33;10849:19;;8377:64:0;10475:399:1;8377:64:0;8469:1;8460:6;:10;8452:64;;;;-1:-1:-1;;;8452:64:0;;11081:2:1;8452:64:0;;;11063:21:1;11120:2;11100:18;;;11093:30;11159:34;11139:18;;;11132:62;-1:-1:-1;;;11210:18:1;;;11203:39;11259:19;;8452:64:0;10879:405:1;8452:64:0;8527:17;2891:6;;-1:-1:-1;;;;;8563:15:0;;;2891:6;;8563:15;;;;:32;;-1:-1:-1;2864:7:0;2891:6;-1:-1:-1;;;;;8582:13:0;;;2891:6;;8582:13;;8563:32;8559:2291;;;8624:80;8699:4;8624:70;8647:15;;8636:9;;:26;8635:58;;8679:14;;8635:58;;;8665:12;;8635:58;8624:6;;:10;:70::i;:::-;:74;;:80::i;:::-;-1:-1:-1;;;;;8725:16:0;;;;;;:10;:16;;;;;;8612:92;;-1:-1:-1;8725:16:0;;:50;;;;-1:-1:-1;8759:15:0;;-1:-1:-1;;;;;8745:30:0;;;8759:15;;8745:30;;8725:50;:77;;;;-1:-1:-1;;;;;;8781:21:0;;;;;;:17;:21;;;;;;;;8779:23;8725:77;8721:430;;;8842:12;;8832:6;:22;;8824:60;;;;-1:-1:-1;;;8824:60:0;;11491:2:1;8824:60:0;;;11473:21:1;11530:2;11510:18;;;11503:30;11569:27;11549:18;;;11542:55;11614:18;;8824:60:0;11289:349:1;8824:60:0;8937:14;;8927:6;8911:13;8921:2;-1:-1:-1;;;;;6921:18:0;6894:7;6921:18;;;:9;:18;;;;;;;6828:119;8911:13;:22;;;;:::i;:::-;:40;;8903:79;;;;-1:-1:-1;;;8903:79:0;;11975:2:1;8903:79:0;;;11957:21:1;12014:2;11994:18;;;11987:30;12053:28;12033:18;;;12026:56;12099:18;;8903:79:0;11773:350:1;8903:79:0;9025:12;9007:10;;9020:1;9007:14;;;;:::i;:::-;:30;9003:103;;;12826:20;;12874:8;9062:24;;;;;;9124:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8721:430;-1:-1:-1;;;;;9172:14:0;;;;;;:10;:14;;;;;;;;9171:15;:42;;;;-1:-1:-1;;;;;;9192:21:0;;;;;;:17;:21;;;;;;;;9190:23;9171:42;9167:162;;;9268:14;;9258:6;9242:13;9252:2;-1:-1:-1;;;;;6921:18:0;6894:7;6921:18;;;:9;:18;;;;;;;6828:119;9242:13;:22;;;;:::i;:::-;:40;;9234:79;;;;-1:-1:-1;;;9234:79:0;;11975:2:1;9234:79:0;;;11957:21:1;12014:2;11994:18;;;11987:30;12053:28;12033:18;;;12026:56;12099:18;;9234:79:0;11773:350:1;9234:79:0;-1:-1:-1;;;;;9348:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;9366:20:0;;9381:4;9366:20;;9348:38;9345:173;;;9419:83;9497:4;9419:73;9442:16;;9431:9;;:27;9430:61;;9476:15;;9430:61;;;9461:13;;9419:6;;:10;:73::i;:83::-;9407:95;;9345:173;-1:-1:-1;;;;;9532:16:0;;;;;;:10;:16;;;;;;;;9531:17;:36;;;;-1:-1:-1;;;;;;9553:14:0;;;;;;:10;:14;;;;;;;;9552:15;9531:36;:60;;;;-1:-1:-1;;;;;;9571:20:0;;9586:4;9571:20;;9531:60;9527:115;;;-1:-1:-1;9625:1:0;9527:115;9707:4;9658:28;6921:18;;;:9;:18;;;;;;9732:8;;;;;;;:19;;;;-1:-1:-1;9745:6:0;;;;9744:7;9732:19;:37;;;;-1:-1:-1;;;;;;9755:14:0;;;;;;:10;:14;;;;;;;;9732:37;:52;;;;-1:-1:-1;9773:11:0;;;;;;;9732:52;:94;;;;;9809:17;;9788:20;:38;9732:94;:126;;;;;9840:18;;9830:9;;:28;9732:126;9728:1111;;;9898:13;;9883:12;:28;9879:90;;;9948:1;9936:9;:13;9879:90;10007:7;;9995:9;;:19;9987:47;;;;-1:-1:-1;;;9987:47:0;;12470:2:1;9987:47:0;;;12452:21:1;12509:2;12489:18;;;12482:30;-1:-1:-1;;;12528:18:1;;;12521:45;12583:18;;9987:47:0;12268:339:1;9987:47:0;10053:67;10070:49;10074:6;10081:37;10085:20;10106:11;;10081:3;:37::i;:::-;10070:3;:49::i;:::-;10053:16;:67::i;:::-;10168:21;10211:22;;10208:105;;10258:35;10271:21;10258:12;:35::i;:::-;10331:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;10377:12:0;10361:13;:28;-1:-1:-1;9728:1111:0;;;10430:6;;;;10429:7;:25;;;;-1:-1:-1;;;;;;10440:14:0;;;;;;:10;:14;;;;;;;;10429:25;:40;;;;-1:-1:-1;10458:11:0;;;;;;;10429:40;:82;;;;;10494:17;;10473:20;:38;10429:82;:114;;;;;10525:18;;10515:9;;:28;10429:114;10426:413;;;10564:67;10581:49;10585:6;10592:37;10596:20;10617:11;;10592:3;:37::i;10564:67::-;10679:21;10722:22;;10719:105;;10769:35;10782:21;10769:12;:35::i;:::-;10545:294;10426:413;8597:2253;8559:2291;-1:-1:-1;;;;;10867:23:0;;;;;;:17;:23;;;;;;;;;:46;;-1:-1:-1;;;;;;10892:21:0;;;;;;:17;:21;;;;;;;;10867:46;10866:65;;;;-1:-1:-1;2864:7:0;2891:6;-1:-1:-1;;;;;10918:13:0;;;2891:6;;10918:13;;10866:65;:88;;;;-1:-1:-1;;;;;;10935:19:0;;10949:4;10935:19;;10866:88;:109;;;;-1:-1:-1;;;;;;10958:17:0;;10970:4;10958:17;;10866:109;10862:179;;;11014:15;10992:19;:37;10862:179;-1:-1:-1;;;;;11055:23:0;;;;;;:17;:23;;;;;;;;:90;;;;;11125:18;;11108:16;;11097:10;;:27;;;;:::i;:::-;:46;;;;:::i;:::-;11083:12;:61;11055:90;11051:292;;;-1:-1:-1;;;;;11189:15:0;;;;;;;:9;:15;;;;;;:23;;;;;;;11229:13;;;;;;;;;;:21;;;;;;11285:25;;;;;;11206:6;1361:25:1;;1349:2;1334:18;;1215:177;11285:25:0;;;;;;;;11325:7;8218:4361;;;:::o;11051:292::-;-1:-1:-1;;;;;11358:23:0;;;;;;:17;:23;;;;;;;;11357:24;:50;;;;-1:-1:-1;;;;;;11386:21:0;;;;;;:17;:21;;;;;;;;11385:22;11357:50;11353:870;;;-1:-1:-1;;;;;11428:14:0;;;;;;:10;:14;;;;;;;;11423:789;;-1:-1:-1;;;;;11499:18:0;;;11463:33;11499:18;;;:14;:18;;;;;;;;11540:16;;;;;:10;:16;;;;;;;;:39;;;;-1:-1:-1;11560:14:0;;:19;11540:39;11536:436;;;11630:18;;11620:9;;:28;11619:66;;11670:15;11619:66;;;11651:17;11667:1;11651:15;:17;:::i;:::-;11604:81;;11536:436;;;-1:-1:-1;;;;;11771:20:0;;11734:34;11771:20;;;:14;:20;;;;;11818:14;;:19;;:53;;-1:-1:-1;11857:14:0;;11841:15;;:30;11818:53;11814:139;;;11914:15;;11899:30;;11814:139;11711:261;11536:436;11444:543;11423:789;;;-1:-1:-1;;;;;12049:20:0;;12012:34;12049:20;;;:14;:20;;;;;12124:19;;12108:15;;:35;;12124:19;12108:35;:::i;:::-;12088:17;;;:55;12181:15;12162:16;;;;:34;11423:789;12238:11;;12235:161;;12306:4;12288:24;;;;:9;:24;;;;;;:39;;12317:9;12288:28;:39::i;:::-;12281:4;12263:24;;;;:9;:24;;;;;;;:64;;;;12345:39;;-1:-1:-1;;;;;12345:39:0;;;;;;;12374:9;1361:25:1;;1349:2;1334:18;;1215:177;12345:39:0;;;;;;;;12235:161;-1:-1:-1;;;;;12422:15:0;;;;;;:9;:15;;;;;;:27;;12442:6;12422:19;:27::i;:::-;-1:-1:-1;;;;;12406:15:0;;;;;;:9;:15;;;;;:43;12474:40;12492:21;:6;12503:9;12492:10;:21::i;:::-;-1:-1:-1;;;;;12474:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;12460:13:0;;;;;;;:9;:13;;;;;:54;;;;12530:41;;;12549:21;:6;12560:9;12549:10;:21::i;:::-;12530:41;;1361:25:1;;;1349:2;1334:18;12530:41:0;1215:177:1;1718:190:0;1804:7;1840:12;1832:6;;;;1824:29;;;;-1:-1:-1;;;1824:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1864:9:0;1876:5;1880:1;1876;:5;:::i;:::-;1864:17;1718:190;-1:-1:-1;;;;;1718:190:0:o;1916:246::-;1974:7;1998:1;2003;1998:6;1994:47;;-1:-1:-1;2028:1:0;2021:8;;1994:47;2051:9;2063:5;2067:1;2063;:5;:::i;:::-;2051:17;-1:-1:-1;2096:1:0;2087:5;2091:1;2051:17;2087:5;:::i;:::-;:10;2079:56;;;;-1:-1:-1;;;2079:56:0;;13169:2:1;2079:56:0;;;13151:21:1;13208:2;13188:18;;;13181:30;13247:34;13227:18;;;13220:62;-1:-1:-1;;;13298:18:1;;;13291:31;13339:19;;2079:56:0;12967:397:1;2079:56:0;2153:1;1916:246;-1:-1:-1;;;1916:246:0:o;2170:132::-;2228:7;2255:39;2259:1;2262;2255:39;;;;;;;;;;;;;;;;;:3;:39::i;12589:98::-;12646:7;12673:1;12671;:3;12670:9;;12678:1;12670:9;;;-1:-1:-1;12676:1:0;12589:98;-1:-1:-1;12589:98:0:o;12898:483::-;6020:6;:13;;-1:-1:-1;;6020:13:0;6029:4;6020:13;;;13000:16:::1;::::0;;13014:1:::1;13000:16:::0;;;;;::::1;::::0;;-1:-1:-1;;13000:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;13000:16:0::1;12976:40;;13045:4;13027;13032:1;13027:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13027:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;13071:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;13071:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;13027:7;;13071:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13061:4;13066:1;13061:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13061:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;13136:15:::1;::::0;13104:62:::1;::::0;13121:4:::1;::::0;13136:15:::1;13154:11:::0;13104:8:::1;:62::i;:::-;13177:15;::::0;:196:::1;::::0;-1:-1:-1;;;13177:196:0;;-1:-1:-1;;;;;13177:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;13258:11;;13177:15:::1;::::0;13300:4;;13327::::1;::::0;13347:15:::1;::::0;13177:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;6056:6:0;:14;;-1:-1:-1;;6056:14:0;;;-1:-1:-1;;;;12898:483:0:o;14433:92::-;14490:10;;:27;;-1:-1:-1;;;;;14490:10:0;;;;:27;;;;;14510:6;;14490:10;:27;:10;:27;14510:6;14490:10;:27;;;;;;;;;;;;;;;;;;;;;14433:92;:::o;1387:179::-;1445:7;;1477:5;1481:1;1477;:5;:::i;:::-;1465:17;;1506:1;1501;:6;;1493:46;;;;-1:-1:-1;;;1493:46:0;;14820:2:1;1493:46:0;;;14802:21:1;14859:2;14839:18;;;14832:30;14898:29;14878:18;;;14871:57;14945:18;;1493:46:0;14618:351:1;1574:136:0;1632:7;1659:43;1663:1;1666;1659:43;;;;;;;;;;;;;;;;;:3;:43::i;2310:189::-;2396:7;2431:12;2424:5;2416:28;;;;-1:-1:-1;;;2416:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2455:9:0;2467:5;2471:1;2467;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2255:247::-;2314:6;2367:2;2355:9;2346:7;2342:23;2338:32;2335:52;;;2383:1;2380;2373:12;2335:52;2422:9;2409:23;2441:31;2466:5;2441:31;:::i;2507:118::-;2593:5;2586:13;2579:21;2572:5;2569:32;2559:60;;2615:1;2612;2605:12;2630:241;2686:6;2739:2;2727:9;2718:7;2714:23;2710:32;2707:52;;;2755:1;2752;2745:12;2707:52;2794:9;2781:23;2813:28;2835:5;2813:28;:::i;2876:382::-;2941:6;2949;3002:2;2990:9;2981:7;2977:23;2973:32;2970:52;;;3018:1;3015;3008:12;2970:52;3057:9;3044:23;3076:31;3101:5;3076:31;:::i;:::-;3126:5;-1:-1:-1;3183:2:1;3168:18;;3155:32;3196:30;3155:32;3196:30;:::i;:::-;3245:7;3235:17;;;2876:382;;;;;:::o;3263:388::-;3331:6;3339;3392:2;3380:9;3371:7;3367:23;3363:32;3360:52;;;3408:1;3405;3398:12;3360:52;3447:9;3434:23;3466:31;3491:5;3466:31;:::i;:::-;3516:5;-1:-1:-1;3573:2:1;3558:18;;3545:32;3586:33;3545:32;3586:33;:::i;3656:180::-;3715:6;3768:2;3756:9;3747:7;3743:23;3739:32;3736:52;;;3784:1;3781;3774:12;3736:52;-1:-1:-1;3807:23:1;;3656:180;-1:-1:-1;3656:180:1:o;3841:309::-;3906:6;3914;3967:2;3955:9;3946:7;3942:23;3938:32;3935:52;;;3983:1;3980;3973:12;3935:52;4022:9;4009:23;4041:28;4063:5;4041:28;:::i;4155:127::-;4216:10;4211:3;4207:20;4204:1;4197:31;4247:4;4244:1;4237:15;4271:4;4268:1;4261:15;4287:416;4376:1;4413:5;4376:1;4427:270;4448:7;4438:8;4435:21;4427:270;;;4507:4;4503:1;4499:6;4495:17;4489:4;4486:27;4483:53;;;4516:18;;:::i;:::-;4566:7;4556:8;4552:22;4549:55;;;4586:16;;;;4549:55;4665:22;;;;4625:15;;;;4427:270;;;4431:3;4287:416;;;;;:::o;4708:806::-;4757:5;4787:8;4777:80;;-1:-1:-1;4828:1:1;4842:5;;4777:80;4876:4;4866:76;;-1:-1:-1;4913:1:1;4927:5;;4866:76;4958:4;4976:1;4971:59;;;;5044:1;5039:130;;;;4951:218;;4971:59;5001:1;4992:10;;5015:5;;;5039:130;5076:3;5066:8;5063:17;5060:43;;;5083:18;;:::i;:::-;-1:-1:-1;;5139:1:1;5125:16;;5154:5;;4951:218;;5253:2;5243:8;5240:16;5234:3;5228:4;5225:13;5221:36;5215:2;5205:8;5202:16;5197:2;5191:4;5188:12;5184:35;5181:77;5178:159;;;-1:-1:-1;5290:19:1;;;5322:5;;5178:159;5369:34;5394:8;5388:4;5369:34;:::i;:::-;5439:6;5435:1;5431:6;5427:19;5418:7;5415:32;5412:58;;;5450:18;;:::i;:::-;5488:20;;4708:806;-1:-1:-1;;;4708:806:1:o;5519:140::-;5577:5;5606:47;5647:4;5637:8;5633:19;5627:4;5606:47;:::i;5664:168::-;5737:9;;;5768;;5785:15;;;5779:22;;5765:37;5755:71;;5806:18;;:::i;5837:356::-;6039:2;6021:21;;;6058:18;;;6051:30;6117:34;6112:2;6097:18;;6090:62;6184:2;6169:18;;5837:356::o;6485:245::-;6552:6;6605:2;6593:9;6584:7;6580:23;6576:32;6573:52;;;6621:1;6618;6611:12;6573:52;6653:9;6647:16;6672:28;6694:5;6672:28;:::i;7087:251::-;7157:6;7210:2;7198:9;7189:7;7185:23;7181:32;7178:52;;;7226:1;7223;7216:12;7178:52;7258:9;7252:16;7277:31;7302:5;7277:31;:::i;8264:306::-;8352:6;8360;8368;8421:2;8409:9;8400:7;8396:23;8392:32;8389:52;;;8437:1;8434;8427:12;8389:52;8466:9;8460:16;8450:26;;8516:2;8505:9;8501:18;8495:25;8485:35;;8560:2;8549:9;8545:18;8539:25;8529:35;;8264:306;;;;;:::o;11643:125::-;11708:9;;;11729:10;;;11726:36;;;11742:18;;:::i;12128:135::-;12167:3;12188:17;;;12185:43;;12208:18;;:::i;:::-;-1:-1:-1;12255:1:1;12244:13;;12128:135::o;12612:128::-;12679:9;;;12700:11;;;12697:37;;;12714:18;;:::i;12745:217::-;12785:1;12811;12801:132;;12855:10;12850:3;12846:20;12843:1;12836:31;12890:4;12887:1;12880:15;12918:4;12915:1;12908:15;12801:132;-1:-1:-1;12947:9:1;;12745:217::o;13501:127::-;13562:10;13557:3;13553:20;13550:1;13543:31;13593:4;13590:1;13583:15;13617:4;13614:1;13607:15;13633:980;13895:4;13943:3;13932:9;13928:19;13974:6;13963:9;13956:25;14000:2;14038:6;14033:2;14022:9;14018:18;14011:34;14081:3;14076:2;14065:9;14061:18;14054:31;14105:6;14140;14134:13;14171:6;14163;14156:22;14209:3;14198:9;14194:19;14187:26;;14248:2;14240:6;14236:15;14222:29;;14269:1;14279:195;14293:6;14290:1;14287:13;14279:195;;;14358:13;;-1:-1:-1;;;;;14354:39:1;14342:52;;14449:15;;;;14414:12;;;;14390:1;14308:9;14279:195;;;-1:-1:-1;;;;;;;14530:32:1;;;;14525:2;14510:18;;14503:60;-1:-1:-1;;;14594:3:1;14579:19;14572:35;14491:3;13633:980;-1:-1:-1;;;13633:980:1:o

ipfs://eb75de829deb0e2407a539bf2bef144970424604f1d5f59e52de69d7eb69794a