Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function isOwner(address account)
•    - function transferOwnership(address pa ...
•    - function renounceOwnership()
• library SafeMath
•    - 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 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 sub(
•    - function div(
•    - function mod(
• interface IRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function swapExactTokensForETHSupport ...
• interface IERC20
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• interface IFactory
•    - function createPair(address tokenA, a ...
•  contract PRIN is IERC20, Ownable *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function getOwner()
•    - function allowance(address owner, add ...
•    - function balanceOf(address account)
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function transfer(address recipient, ...
•    - function startTrading()
•    - function transferFrom(address sender, ...
•    - function swapTokensForETH(uint256 tok ...
•    - function _approve(address owner, addr ...
•    - function addLiquidity(uint256 tokenAm ...
•    - function swapAndLiquify(uint256 token ...
•    - function setTransactionRequirements(u ...
•    - function setContractSwapSettings(uint ...
•    - function _transfer(address sender, ad ...
•    - function setTransactionLimits(uint256 ...
•    - function takeFee(address sender, addr ...
•    - function shouldContractSwap(address s ...
•    - function shouldTakeFee(address sender ...
•    - function getTotalFee(address sender, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-09-23
*/

// SPDX-License-Identifier: MIT

/*
Owners of altcoins are provided with a comprehensive solution encompassing borrowing, lending, leveraged trading, stablecoin, and staking facilities by Pringe Finance.

Website: https://pringefi.org
Twitter: https://twitter.com/pringefi_eth
Telegram: https://t.me/pringefi_eth
Medium: https://medium.com/@pringefi.erc
*/

pragma solidity 0.8.19;

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);}
    function renounceOwnership() public onlyOwner {owner = address(0); emit OwnershipTransferred(address(0));}
    event OwnershipTransferred(address owner);
}

library SafeMath {
    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 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 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 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 swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline) external;
}

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

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

contract PRIN is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = unicode"PringeFi";
    string private constant _symbol = unicode"PRIN";

    uint8 private constant _decimals = 9;
    uint256 private _tsupply = 1000000000 * (10 ** _decimals);

    IRouter router;
    address public pair;
    uint256 swapAmount;
    
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isExcludedFromFee;
    
    uint256 private burnFee = 0;
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 0;
    uint256 private developmentFee = 100;
    
    uint256 private swapThreshold = ( _tsupply * 1000 ) / 100000;
    uint256 private minimumTaxSwap = ( _tsupply * 10 ) / 100000;
    uint256 public mTxSz = ( _tsupply * 200 ) / 10000;
    uint256 public mBuySz = ( _tsupply * 200 ) / 10000;
    uint256 public mWalletSz = ( _tsupply * 200 ) / 10000;
    
    uint256 private totalFee = 1400;
    uint256 private sellFee = 2600;
    uint256 private transferFee = 1400;
    uint256 private denominator = 10000;

    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    bool private tradingStart = false;
    bool private swapEnabled = true;
    address internal developerAddress=0xa1131eaf33Dbbf597732232A027A5832db3f2eC7; 
    address internal marketingAddress=0xa1131eaf33Dbbf597732232A027A5832db3f2eC7;
    address internal lpAddress=0xa1131eaf33Dbbf597732232A027A5832db3f2eC7;
    uint256 private swappingCount;
    bool private swapping;
    modifier lockTheSwap {swapping = true; _; swapping = false;}

    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router; pair = _pair;
        isExcludedFromFee[lpAddress] = true;
        isExcludedFromFee[marketingAddress] = true;
        isExcludedFromFee[developerAddress] = true;
        isExcludedFromFee[msg.sender] = true;
        _balances[msg.sender] = _tsupply;
        emit Transfer(address(0), msg.sender, _tsupply);
    }
    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 getOwner() external view override returns (address) { return owner; }
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    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 _tsupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, recipient, amount);return true;}
    function startTrading() external onlyOwner {tradingStart = true;}
    
    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 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 _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 addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            lpAddress,
            block.timestamp);
    }

    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(marketingAddress).transfer(marketingAmt);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(developerAddress).transfer(contractBalance);}
    }

    function setTransactionRequirements(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity; marketingFee = _marketing; burnFee = _burn; developmentFee = _development; totalFee = _total; sellFee = _sell; transferFee = _trans;
        require(totalFee <= denominator.div(1) && sellFee <= denominator.div(1) && transferFee <= denominator.div(1), "totalFee and sellFee cannot be more than 20%");
    }
    
    function setContractSwapSettings(uint256 _swapAmount, uint256 _swapThreshold, uint256 _minTokenAmount) external onlyOwner {
        swapAmount = _swapAmount; swapThreshold = _tsupply.mul(_swapThreshold).div(uint256(100000)); 
        minimumTaxSwap = _tsupply.mul(_minTokenAmount).div(uint256(100000));
    }
    
    function _transfer(address sender, address recipient, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount <= balanceOf(sender),"You are trying to transfer more than your balance");
        if(!isExcludedFromFee[sender] && !isExcludedFromFee[recipient]){require(tradingStart, "tradingStart");}
        if(!isExcludedFromFee[sender] && !isExcludedFromFee[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= mWalletSz, "Exceeds maximum wallet amount.");}
        if(sender != pair){require(amount <= mBuySz || isExcludedFromFee[sender] || isExcludedFromFee[recipient], "TX Limit Exceeded");}
        require(amount <= mTxSz || isExcludedFromFee[sender] || isExcludedFromFee[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isExcludedFromFee[sender]){swappingCount += uint256(1);}
        if(shouldContractSwap(sender, recipient, amount)){swapAndLiquify(swapThreshold); swappingCount = uint256(0);}
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = !isExcludedFromFee[sender] ? takeFee(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

    receive() external payable {}

    function setTransactionLimits(uint256 _buy, uint256 _sell, uint256 _wallet) external onlyOwner {
        uint256 newTx = _tsupply.mul(_buy).div(10000); uint256 newTransfer = _tsupply.mul(_sell).div(10000); uint256 newWallet = _tsupply.mul(_wallet).div(10000);
        mTxSz = newTx; mBuySz = newTransfer; mWalletSz = newWallet;
        uint256 limit = totalSupply().mul(5).div(1000);
        require(newTx >= limit && newTransfer >= limit && newWallet >= limit, "Max TXs and Max Wallet cannot be less than .5%");
    }
    
    function takeFee(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if (isExcludedFromFee[recipient]) {return mTxSz;}
        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) && getTotalFee(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }

    function shouldContractSwap(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= minimumTaxSwap;
        bool aboveThreshold = balanceOf(address(this)) >= swapThreshold;
        return !swapping && swapEnabled && tradingStart && aboveMin && !isExcludedFromFee[sender] && recipient == pair && swappingCount >= swapAmount && aboveThreshold;
    }

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

    function getTotalFee(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pair){return sellFee;}
        if(sender == pair){return totalFee;}
        return transferFee;
    }
}

• 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":[{"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":"isExcludedFromFee","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":"mBuySz","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mTxSz","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mWalletSz","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_swapAmount","type":"uint256"},{"internalType":"uint256","name":"_swapThreshold","type":"uint256"},{"internalType":"uint256","name":"_minTokenAmount","type":"uint256"}],"name":"setContractSwapSettings","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_buy","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_wallet","type":"uint256"}],"name":"setTransactionLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidity","type":"uint256"},{"internalType":"uint256","name":"_marketing","type":"uint256"},{"internalType":"uint256","name":"_burn","type":"uint256"},{"internalType":"uint256","name":"_development","type":"uint256"},{"internalType":"uint256","name":"_total","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"}],"name":"setTransactionRequirements","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"}]

6080604052620000126009600a620004d2565b6200002290633b9aca00620004ea565b600155600060085560006009556000600a556064600b55620186a06001546103e86200004f9190620004ea565b6200005b919062000504565b600c55620186a0600154600a620000739190620004ea565b6200007f919062000504565b600d5561271060015460c8620000969190620004ea565b620000a2919062000504565b600e5561271060015460c8620000b99190620004ea565b620000c5919062000504565b600f5561271060015460c8620000dc9190620004ea565b620000e8919062000504565b6010556105786011819055610a28601255601355612710601455601580546001600160b01b03191675a1131eaf33dbbf597732232a027a5832db3f2ec701001790556016805473a1131eaf33dbbf597732232a027a5832db3f2ec76001600160a01b031991821681179092556017805490911690911790553480156200016d57600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001d5573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001fb919062000527565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000249573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200026f919062000527565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015620002bd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002e3919062000527565b600280546001600160a01b038581166001600160a01b03199283161790925560038054848416921691909117905560175481166000908152600760209081526040808320805460ff19908116600190811790925560165486168552828520805482168317905560155462010000900490951684528184208054861682179055338085528285208054909616821790955554600583528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000552565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000414578160001904821115620003f857620003f8620003bd565b808516156200040657918102915b93841c9390800290620003d8565b509250929050565b6000826200042d57506001620004cc565b816200043c57506000620004cc565b8160018114620004555760028114620004605762000480565b6001915050620004cc565b60ff841115620004745762000474620003bd565b50506001821b620004cc565b5060208310610133831016604e8410600b8410161715620004a5575081810a620004cc565b620004b18383620003d3565b8060001904821115620004c857620004c8620003bd565b0290505b92915050565b6000620004e360ff8416836200041c565b9392505050565b8082028115828204841417620004cc57620004cc620003bd565b6000826200052257634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200053a57600080fd5b81516001600160a01b0381168114620004e357600080fd5b61193680620005626000396000f3fe6080604052600436106101395760003560e01c806371910a9e116100ab578063a8aa1b311161006f578063a8aa1b31146103a3578063a9059cbb146103c3578063c912ca00146103e3578063cb7f97d7146103f9578063dd62ed3e14610419578063f2fde38b1461045f57600080fd5b806371910a9e146102ee578063893d20e81461030457806395d89b41146103365780639cc35351146103635780639d8740cb1461038357600080fd5b80632f54bf6e116100fd5780632f54bf6e14610212578063313ce5671461024157806338381c121461025d5780635342acb41461027357806370a08231146102a3578063715018a6146102d957600080fd5b806306fdde0314610145578063095ea7b31461018857806318160ddd146101b857806323b872dd146101db578063293230b8146101fb57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b506040805180820190915260088152675072696e6765466960c01b60208201525b60405161017f91906115d0565b60405180910390f35b34801561019457600080fd5b506101a86101a3366004611636565b61047f565b604051901515815260200161017f565b3480156101c457600080fd5b506101cd610496565b60405190815260200161017f565b3480156101e757600080fd5b506101a86101f6366004611662565b610507565b34801561020757600080fd5b50610210610571565b005b34801561021e57600080fd5b506101a861022d3660046116a3565b6000546001600160a01b0391821691161490565b34801561024d57600080fd5b506040516009815260200161017f565b34801561026957600080fd5b506101cd600e5481565b34801561027f57600080fd5b506101a861028e3660046116a3565b60076020526000908152604090205460ff1681565b3480156102af57600080fd5b506101cd6102be3660046116a3565b6001600160a01b031660009081526005602052604090205490565b3480156102e557600080fd5b506102106105b3565b3480156102fa57600080fd5b506101cd60105481565b34801561031057600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161017f565b34801561034257600080fd5b50604080518082019091526004815263282924a760e11b6020820152610172565b34801561036f57600080fd5b5061021061037e3660046116c0565b610622565b34801561038f57600080fd5b5061021061039e3660046116c0565b610763565b3480156103af57600080fd5b5060035461031e906001600160a01b031681565b3480156103cf57600080fd5b506101a86103de366004611636565b6107c9565b3480156103ef57600080fd5b506101cd600f5481565b34801561040557600080fd5b506102106104143660046116ec565b6107d6565b34801561042557600080fd5b506101cd610434366004611738565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561046b57600080fd5b5061021061047a3660046116a3565b6108cd565b600061048c33848461094b565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105029290916104fc9190610a6f565b90610a6f565b905090565b6000610514848484610a7b565b6105668433610561856040518060600160405280602881526020016118d9602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610fc4565b61094b565b5060015b9392505050565b6000546001600160a01b031633146105a45760405162461bcd60e51b815260040161059b90611771565b60405180910390fd5b6015805460ff19166001179055565b6000546001600160a01b031633146105dd5760405162461bcd60e51b815260040161059b90611771565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b0316331461064c5760405162461bcd60e51b815260040161059b90611771565b600061066f61271061066986600154610ff090919063ffffffff16565b90610ffc565b9050600061068e61271061066986600154610ff090919063ffffffff16565b905060006106ad61271061066986600154610ff090919063ffffffff16565b600e849055600f8390556010819055905060006106d96103e861066960056106d3610496565b90610ff0565b90508084101580156106eb5750808310155b80156106f75750808210155b61075a5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161059b565b50505050505050565b6000546001600160a01b0316331461078d5760405162461bcd60e51b815260040161059b90611771565b60048390556001546107a890620186a0906106699085610ff0565b600c556001546107c190620186a0906106699084610ff0565b600d55505050565b600061048c338484610a7b565b6000546001600160a01b031633146108005760405162461bcd60e51b815260040161059b90611771565b6009879055600a8690556008859055600b849055601183905560128290556013819055601454610831906001610ffc565b60115411158015610851575060145461084b906001610ffc565b60125411155b801561086c5750601454610866906001610ffc565b60135411155b61075a5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b606482015260840161059b565b6000546001600160a01b031633146108f75760405162461bcd60e51b815260040161059b90611771565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166109ad5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161059b565b6001600160a01b038216610a0e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161059b565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600061056a82846117a7565b6001600160a01b038316610adf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161059b565b6001600160a01b038216610b415760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161059b565b6001600160a01b038316600090815260056020526040902054811115610bc35760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161059b565b6001600160a01b03831660009081526007602052604090205460ff16158015610c0557506001600160a01b03821660009081526007602052604090205460ff16155b15610c4b5760155460ff16610c4b5760405162461bcd60e51b815260206004820152600c60248201526b1d1c98591a5b99d4dd185c9d60a21b604482015260640161059b565b6001600160a01b03831660009081526007602052604090205460ff16158015610c8d57506001600160a01b03821660009081526007602052604090205460ff16155b8015610ca757506003546001600160a01b03838116911614155b8015610cbe57506001600160a01b03821661dead14155b15610d37576010546001600160a01b038316600090815260056020526040902054610ce99083611008565b1115610d375760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161059b565b6003546001600160a01b03848116911614610dd857600f5481111580610d7557506001600160a01b03831660009081526007602052604090205460ff165b80610d9857506001600160a01b03821660009081526007602052604090205460ff165b610dd85760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161059b565b600e5481111580610e0157506001600160a01b03831660009081526007602052604090205460ff165b80610e2457506001600160a01b03821660009081526007602052604090205460ff165b610e645760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161059b565b6003546001600160a01b038381169116148015610e9a57506001600160a01b03831660009081526007602052604090205460ff16155b15610eb857600160186000828254610eb291906117ba565b90915550505b610ec3838383611014565b15610ed957610ed3600c546110c5565b60006018555b6001600160a01b038316600090815260056020526040902054610efc9082610a6f565b6001600160a01b038416600090815260056020908152604080832093909355600790529081205460ff1615610f315781610f3c565b610f3c848484611247565b6001600160a01b038416600090815260056020526040902054909150610f629082611008565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fb69085815260200190565b60405180910390a350505050565b60008184841115610fe85760405162461bcd60e51b815260040161059b91906115d0565b505050900390565b600061056a82846117cd565b600061056a82846117e4565b600061056a82846117ba565b600d54600c543060009081526005602052604081205460195491938510159211159060ff1615801561104d5750601554610100900460ff165b801561105b575060155460ff165b80156110645750815b801561108957506001600160a01b03861660009081526007602052604090205460ff16155b80156110a257506003546001600160a01b038681169116145b80156110b2575060045460185410155b80156110bb5750805b9695505050505050565b6019805460ff19166001908117909155600b54600a546009546000936110ff936002936106d39391926110f9928391611008565b90611008565b9050600061111c8261066960095486610ff090919063ffffffff16565b9050600061112a8483610a6f565b90504761113682611377565b60006111424783610a6f565b9050600061116561115e60095488610a6f90919063ffffffff16565b8390610ffc565b9050600061117e60095483610ff090919063ffffffff16565b905080156111905761119086826114d1565b600a546000906111a5906106d3856002610ff0565b905080156111e9576016546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156111e7573d6000803e3d6000fd5b505b47801561123157601554604051620100009091046001600160a01b0316906108fc8315029083906000818181858888f1935050505015801561122f573d6000803e3d6000fd5b505b50506019805460ff191690555050505050505050565b6001600160a01b03821660009081526007602052604081205460ff16156112715750600e5461056a565b600061127d8585611585565b11156113705760006112a06112928686611585565b6014546106d3908690610ffc565b306000908152600560205260409020549091506112bd9082611008565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061130e9085815260200190565b60405180910390a3600060085411801561133257506008546113308686611585565b115b1561135e5761135e3061dead6113596008546106d360145489610ffc90919063ffffffff16565b610a7b565b6113688382610a6f565b91505061056a565b5092915050565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106113ac576113ac611806565b6001600160a01b03928316602091820292909201810191909152600254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611405573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611429919061181c565b8160018151811061143c5761143c611806565b6001600160a01b039283166020918202929092010152600254611462913091168461094b565b60025460405163791ac94760e01b81526001600160a01b039091169063791ac9479061149b908590600090869030904290600401611839565b600060405180830381600087803b1580156114b557600080fd5b505af11580156114c9573d6000803e3d6000fd5b505050505050565b6002546114e99030906001600160a01b03168461094b565b60025460175460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015611559573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061157e91906118aa565b5050505050565b6003546000906001600160a01b03908116908316036115a75750601254610490565b6003546001600160a01b03908116908416036115c65750601154610490565b5060135492915050565b600060208083528351808285015260005b818110156115fd578581018301518582016040015282016115e1565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461163357600080fd5b50565b6000806040838503121561164957600080fd5b82356116548161161e565b946020939093013593505050565b60008060006060848603121561167757600080fd5b83356116828161161e565b925060208401356116928161161e565b929592945050506040919091013590565b6000602082840312156116b557600080fd5b813561056a8161161e565b6000806000606084860312156116d557600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a03121561170757600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b6000806040838503121561174b57600080fd5b82356117568161161e565b915060208301356117668161161e565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8181038181111561049057610490611791565b8082018082111561049057610490611791565b808202811582820484141761049057610490611791565b60008261180157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561182e57600080fd5b815161056a8161161e565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118895784516001600160a01b031683529383019391830191600101611864565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156118bf57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122009ba6db04a84e856e3306212857333d847549dc32c9571d80e7f2764d58577e464736f6c63430008130033

0x6080604052600436106101395760003560e01c806371910a9e116100ab578063a8aa1b311161006f578063a8aa1b31146103a3578063a9059cbb146103c3578063c912ca00146103e3578063cb7f97d7146103f9578063dd62ed3e14610419578063f2fde38b1461045f57600080fd5b806371910a9e146102ee578063893d20e81461030457806395d89b41146103365780639cc35351146103635780639d8740cb1461038357600080fd5b80632f54bf6e116100fd5780632f54bf6e14610212578063313ce5671461024157806338381c121461025d5780635342acb41461027357806370a08231146102a3578063715018a6146102d957600080fd5b806306fdde0314610145578063095ea7b31461018857806318160ddd146101b857806323b872dd146101db578063293230b8146101fb57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b506040805180820190915260088152675072696e6765466960c01b60208201525b60405161017f91906115d0565b60405180910390f35b34801561019457600080fd5b506101a86101a3366004611636565b61047f565b604051901515815260200161017f565b3480156101c457600080fd5b506101cd610496565b60405190815260200161017f565b3480156101e757600080fd5b506101a86101f6366004611662565b610507565b34801561020757600080fd5b50610210610571565b005b34801561021e57600080fd5b506101a861022d3660046116a3565b6000546001600160a01b0391821691161490565b34801561024d57600080fd5b506040516009815260200161017f565b34801561026957600080fd5b506101cd600e5481565b34801561027f57600080fd5b506101a861028e3660046116a3565b60076020526000908152604090205460ff1681565b3480156102af57600080fd5b506101cd6102be3660046116a3565b6001600160a01b031660009081526005602052604090205490565b3480156102e557600080fd5b506102106105b3565b3480156102fa57600080fd5b506101cd60105481565b34801561031057600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161017f565b34801561034257600080fd5b50604080518082019091526004815263282924a760e11b6020820152610172565b34801561036f57600080fd5b5061021061037e3660046116c0565b610622565b34801561038f57600080fd5b5061021061039e3660046116c0565b610763565b3480156103af57600080fd5b5060035461031e906001600160a01b031681565b3480156103cf57600080fd5b506101a86103de366004611636565b6107c9565b3480156103ef57600080fd5b506101cd600f5481565b34801561040557600080fd5b506102106104143660046116ec565b6107d6565b34801561042557600080fd5b506101cd610434366004611738565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561046b57600080fd5b5061021061047a3660046116a3565b6108cd565b600061048c33848461094b565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105029290916104fc9190610a6f565b90610a6f565b905090565b6000610514848484610a7b565b6105668433610561856040518060600160405280602881526020016118d9602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610fc4565b61094b565b5060015b9392505050565b6000546001600160a01b031633146105a45760405162461bcd60e51b815260040161059b90611771565b60405180910390fd5b6015805460ff19166001179055565b6000546001600160a01b031633146105dd5760405162461bcd60e51b815260040161059b90611771565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b0316331461064c5760405162461bcd60e51b815260040161059b90611771565b600061066f61271061066986600154610ff090919063ffffffff16565b90610ffc565b9050600061068e61271061066986600154610ff090919063ffffffff16565b905060006106ad61271061066986600154610ff090919063ffffffff16565b600e849055600f8390556010819055905060006106d96103e861066960056106d3610496565b90610ff0565b90508084101580156106eb5750808310155b80156106f75750808210155b61075a5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161059b565b50505050505050565b6000546001600160a01b0316331461078d5760405162461bcd60e51b815260040161059b90611771565b60048390556001546107a890620186a0906106699085610ff0565b600c556001546107c190620186a0906106699084610ff0565b600d55505050565b600061048c338484610a7b565b6000546001600160a01b031633146108005760405162461bcd60e51b815260040161059b90611771565b6009879055600a8690556008859055600b849055601183905560128290556013819055601454610831906001610ffc565b60115411158015610851575060145461084b906001610ffc565b60125411155b801561086c5750601454610866906001610ffc565b60135411155b61075a5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b606482015260840161059b565b6000546001600160a01b031633146108f75760405162461bcd60e51b815260040161059b90611771565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166109ad5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161059b565b6001600160a01b038216610a0e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161059b565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600061056a82846117a7565b6001600160a01b038316610adf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161059b565b6001600160a01b038216610b415760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161059b565b6001600160a01b038316600090815260056020526040902054811115610bc35760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161059b565b6001600160a01b03831660009081526007602052604090205460ff16158015610c0557506001600160a01b03821660009081526007602052604090205460ff16155b15610c4b5760155460ff16610c4b5760405162461bcd60e51b815260206004820152600c60248201526b1d1c98591a5b99d4dd185c9d60a21b604482015260640161059b565b6001600160a01b03831660009081526007602052604090205460ff16158015610c8d57506001600160a01b03821660009081526007602052604090205460ff16155b8015610ca757506003546001600160a01b03838116911614155b8015610cbe57506001600160a01b03821661dead14155b15610d37576010546001600160a01b038316600090815260056020526040902054610ce99083611008565b1115610d375760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161059b565b6003546001600160a01b03848116911614610dd857600f5481111580610d7557506001600160a01b03831660009081526007602052604090205460ff165b80610d9857506001600160a01b03821660009081526007602052604090205460ff165b610dd85760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161059b565b600e5481111580610e0157506001600160a01b03831660009081526007602052604090205460ff165b80610e2457506001600160a01b03821660009081526007602052604090205460ff165b610e645760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161059b565b6003546001600160a01b038381169116148015610e9a57506001600160a01b03831660009081526007602052604090205460ff16155b15610eb857600160186000828254610eb291906117ba565b90915550505b610ec3838383611014565b15610ed957610ed3600c546110c5565b60006018555b6001600160a01b038316600090815260056020526040902054610efc9082610a6f565b6001600160a01b038416600090815260056020908152604080832093909355600790529081205460ff1615610f315781610f3c565b610f3c848484611247565b6001600160a01b038416600090815260056020526040902054909150610f629082611008565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fb69085815260200190565b60405180910390a350505050565b60008184841115610fe85760405162461bcd60e51b815260040161059b91906115d0565b505050900390565b600061056a82846117cd565b600061056a82846117e4565b600061056a82846117ba565b600d54600c543060009081526005602052604081205460195491938510159211159060ff1615801561104d5750601554610100900460ff165b801561105b575060155460ff165b80156110645750815b801561108957506001600160a01b03861660009081526007602052604090205460ff16155b80156110a257506003546001600160a01b038681169116145b80156110b2575060045460185410155b80156110bb5750805b9695505050505050565b6019805460ff19166001908117909155600b54600a546009546000936110ff936002936106d39391926110f9928391611008565b90611008565b9050600061111c8261066960095486610ff090919063ffffffff16565b9050600061112a8483610a6f565b90504761113682611377565b60006111424783610a6f565b9050600061116561115e60095488610a6f90919063ffffffff16565b8390610ffc565b9050600061117e60095483610ff090919063ffffffff16565b905080156111905761119086826114d1565b600a546000906111a5906106d3856002610ff0565b905080156111e9576016546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156111e7573d6000803e3d6000fd5b505b47801561123157601554604051620100009091046001600160a01b0316906108fc8315029083906000818181858888f1935050505015801561122f573d6000803e3d6000fd5b505b50506019805460ff191690555050505050505050565b6001600160a01b03821660009081526007602052604081205460ff16156112715750600e5461056a565b600061127d8585611585565b11156113705760006112a06112928686611585565b6014546106d3908690610ffc565b306000908152600560205260409020549091506112bd9082611008565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061130e9085815260200190565b60405180910390a3600060085411801561133257506008546113308686611585565b115b1561135e5761135e3061dead6113596008546106d360145489610ffc90919063ffffffff16565b610a7b565b6113688382610a6f565b91505061056a565b5092915050565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106113ac576113ac611806565b6001600160a01b03928316602091820292909201810191909152600254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611405573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611429919061181c565b8160018151811061143c5761143c611806565b6001600160a01b039283166020918202929092010152600254611462913091168461094b565b60025460405163791ac94760e01b81526001600160a01b039091169063791ac9479061149b908590600090869030904290600401611839565b600060405180830381600087803b1580156114b557600080fd5b505af11580156114c9573d6000803e3d6000fd5b505050505050565b6002546114e99030906001600160a01b03168461094b565b60025460175460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015611559573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061157e91906118aa565b5050505050565b6003546000906001600160a01b03908116908316036115a75750601254610490565b6003546001600160a01b03908116908416036115c65750601154610490565b5060135492915050565b600060208083528351808285015260005b818110156115fd578581018301518582016040015282016115e1565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461163357600080fd5b50565b6000806040838503121561164957600080fd5b82356116548161161e565b946020939093013593505050565b60008060006060848603121561167757600080fd5b83356116828161161e565b925060208401356116928161161e565b929592945050506040919091013590565b6000602082840312156116b557600080fd5b813561056a8161161e565b6000806000606084860312156116d557600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a03121561170757600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b6000806040838503121561174b57600080fd5b82356117568161161e565b915060208301356117668161161e565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8181038181111561049057610490611791565b8082018082111561049057610490611791565b808202811582820484141761049057610490611791565b60008261180157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561182e57600080fd5b815161056a8161161e565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118895784516001600160a01b031683529383019391830191600101611864565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156118bf57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122009ba6db04a84e856e3306212857333d847549dc32c9571d80e7f2764d58577e464736f6c63430008130033

5014:10231:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7303:67;;;;;;;;;;-1:-1:-1;7363:5:0;;;;;;;;;;;;-1:-1:-1;;;7363:5:0;;;;7303:67;;;;;;;:::i;:::-;;;;;;;;7852:133;;;;;;;;;;-1:-1:-1;7852:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7852:133:0;1023:187:1;7991:128:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;7991:128:0;1215:177:1;8347:309:0;;;;;;;;;;-1:-1:-1;8347:309:0;;;;;:::i;:::-;;:::i;8270:65::-;;;;;;;;;;;;;:::i;:::-;;580:87;;;;;;;;;;-1:-1:-1;580:87:0;;;;;:::i;:::-;635:4;660:5;-1:-1:-1;;;;;649:16:0;;;660:5;;649:16;;580:87;7453:67;;;;;;;;;;-1:-1:-1;7453:67:0;;5234:1;2252:36:1;;2240:2;2225:18;7453:67:0;2110:184:1;5864:49:0;;;;;;;;;;;;;;;;5507:50;;;;;;;;;;-1:-1:-1;5507:50:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;7743:103;;;;;;;;;;-1:-1:-1;7743:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7826:18:0;7809:7;7826:18;;;:9;:18;;;;;;;7743:103;790:106;;;;;;;;;;;;;:::i;5977:53::-;;;;;;;;;;;;;;;;7526:78;;;;;;;;;;-1:-1:-1;7578:7:0;7596:5;-1:-1:-1;;;;;7596:5:0;7526:78;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;7526:78:0;2299:203:1;7376:71:0;;;;;;;;;;-1:-1:-1;7438:7:0;;;;;;;;;;;;-1:-1:-1;;;7438:7:0;;;;7376:71;;13232:523;;;;;;;;;;-1:-1:-1;13232:523:0;;;;;:::i;:::-;;:::i;11400:311::-;;;;;;;;;;-1:-1:-1;11400:311:0;;;;;:::i;:::-;;:::i;5329:19::-;;;;;;;;;;-1:-1:-1;5329:19:0;;;;-1:-1:-1;;;;;5329:19:0;;;8125:139;;;;;;;;;;-1:-1:-1;8125:139:0;;;;;:::i;:::-;;:::i;5920:50::-;;;;;;;;;;;;;;;;10864:524;;;;;;;;;;-1:-1:-1;10864:524:0;;;;;:::i;:::-;;:::i;7610:127::-;;;;;;;;;;-1:-1:-1;7610:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7708:18:0;;;7691:7;7708:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7610:127;673:111;;;;;;;;;;-1:-1:-1;673:111:0;;;;;:::i;:::-;;:::i;7852:133::-;7927:4;7934:37;7943:10;7955:7;7964:6;7934:8;:37::i;:::-;-1:-1:-1;7979:4:0;7852:133;;;;;:::o;7991:128::-;7826:9;:18;;;;6236:42;8044:7;7826:18;;;;;8061:8;;8044:7;;8061:56;;7826:18;;8061:29;;:8;:12;:29::i;:::-;:33;;:56::i;:::-;8054:63;;7991:128;:::o;8347:309::-;8445:4;8462:36;8472:6;8480:9;8491:6;8462:9;:36::i;:::-;8509:117;8518:6;8526:10;8538:87;8574:6;8538:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8538:19:0;;;;;;:11;:19;;;;;;;;8558:10;8538:31;;;;;;;;;:87;:35;:87::i;:::-;8509:8;:117::i;:::-;-1:-1:-1;8644:4:0;8347:309;;;;;;:::o;8270:65::-;635:4;660:5;-1:-1:-1;;;;;660:5:0;547:10;649:16;531:38;;;;-1:-1:-1;;;531:38:0;;;;;;;:::i;:::-;;;;;;;;;8314:12:::1;:19:::0;;-1:-1:-1;;8314:19:0::1;8329:4;8314:19;::::0;;8270:65::o;790:106::-;635:4;660:5;-1:-1:-1;;;;;660:5:0;547:10;649:16;531:38;;;;-1:-1:-1;;;531:38:0;;;;;;;:::i;:::-;853:1:::1;837:18:::0;;-1:-1:-1;;;;;;837:18:0::1;::::0;;862:32:::1;::::0;2445:51:1;;;862:32:0::1;::::0;2433:2:1;2418:18;862:32:0::1;;;;;;;790:106::o:0;13232:523::-;635:4;660:5;-1:-1:-1;;;;;660:5:0;547:10;649:16;531:38;;;;-1:-1:-1;;;531:38:0;;;;;;;:::i;:::-;13338:13:::1;13354:29;13377:5;13354:18;13367:4;13354:8;;:12;;:18;;;;:::i;:::-;:22:::0;::::1;:29::i;:::-;13338:45;;13385:19;13407:30;13431:5;13407:19;13420:5;13407:8;;:12;;:19;;;;:::i;:30::-;13385:52;;13439:17;13459:32;13485:5;13459:21;13472:7;13459:8;;:12;;:21;;;;:::i;:32::-;13502:5;:13:::0;;;13517:6:::1;:20:::0;;;13539:9:::1;:21:::0;;;13439:52;-1:-1:-1;;13587:30:0::1;13612:4;13587:20;13605:1;13587:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;13571:46;;13645:5;13636;:14;;:38;;;;;13669:5;13654:11;:20;;13636:38;:60;;;;;13691:5;13678:9;:18;;13636:60;13628:119;;;::::0;-1:-1:-1;;;13628:119:0;;4614:2:1;13628:119:0::1;::::0;::::1;4596:21:1::0;4653:2;4633:18;;;4626:30;4692:34;4672:18;;;4665:62;-1:-1:-1;;;4743:18:1;;;4736:44;4797:19;;13628:119:0::1;4412:410:1::0;13628:119:0::1;13327:428;;;;13232:523:::0;;;:::o;11400:311::-;635:4;660:5;-1:-1:-1;;;;;660:5:0;547:10;649:16;531:38;;;;-1:-1:-1;;;531:38:0;;;;;;;:::i;:::-;11533:10:::1;:24:::0;;;11575:8:::1;::::0;:49:::1;::::0;11616:6:::1;::::0;11575:28:::1;::::0;11588:14;11575:12:::1;:28::i;:49::-;11559:13;:65:::0;11653:8:::1;::::0;:50:::1;::::0;11695:6:::1;::::0;11653:29:::1;::::0;11666:15;11653:12:::1;:29::i;:50::-;11636:14;:67:::0;-1:-1:-1;;;11400:311:0:o;8125:139::-;8203:4;8210:40;8220:10;8232:9;8243:6;8210:9;:40::i;10864:524::-;635:4;660:5;-1:-1:-1;;;;;660:5:0;547:10;649:16;531:38;;;;-1:-1:-1;;;531:38:0;;;;;;;:::i;:::-;11054:12:::1;:25:::0;;;11081:12:::1;:25:::0;;;11108:7:::1;:15:::0;;;11125:14:::1;:29:::0;;;11156:8:::1;:17:::0;;;11175:7:::1;:15:::0;;;11192:11:::1;:20:::0;;;11243:11:::1;::::0;:18:::1;::::0;-1:-1:-1;11243:15:0::1;:18::i;:::-;11231:8;;:30;;:63;;;;-1:-1:-1::0;11276:11:0::1;::::0;:18:::1;::::0;11292:1:::1;11276:15;:18::i;:::-;11265:7;;:29;;11231:63;:100;;;;-1:-1:-1::0;11313:11:0::1;::::0;:18:::1;::::0;11329:1:::1;11313:15;:18::i;:::-;11298:11;;:33;;11231:100;11223:157;;;::::0;-1:-1:-1;;;11223:157:0;;5029:2:1;11223:157:0::1;::::0;::::1;5011:21:1::0;5068:2;5048:18;;;5041:30;5107:34;5087:18;;;5080:62;-1:-1:-1;;;5158:18:1;;;5151:42;5210:19;;11223:157:0::1;4827:408:1::0;673:111:0;635:4;660:5;-1:-1:-1;;;;;660:5:0;547:10;649:16;531:38;;;;-1:-1:-1;;;531:38:0;;;;;;;:::i;:::-;739:5:::1;:11:::0;;-1:-1:-1;;;;;;739:11:0::1;-1:-1:-1::0;;;;;739:11:0;::::1;::::0;;::::1;::::0;;;757:25:::1;::::0;2445:51:1;;;757:25:0::1;::::0;2433:2:1;2418:18;757:25:0::1;;;;;;;673:111:::0;:::o;9114:335::-;-1:-1:-1;;;;;9207:19:0;;9199:68;;;;-1:-1:-1;;;9199:68:0;;5658:2:1;9199:68:0;;;5640:21:1;5697:2;5677:18;;;5670:30;5736:34;5716:18;;;5709:62;-1:-1:-1;;;5787:18:1;;;5780:34;5831:19;;9199:68:0;5456:400:1;9199:68:0;-1:-1:-1;;;;;9286:21:0;;9278:68;;;;-1:-1:-1;;;9278:68:0;;6063:2:1;9278:68:0;;;6045:21:1;6102:2;6082:18;;;6075:30;6141:34;6121:18;;;6114:62;-1:-1:-1;;;6192:18:1;;;6185:32;6234:19;;9278:68:0;5861:398:1;9278:68:0;-1:-1:-1;;;;;9357:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;9409:32;;1361:25:1;;;9409:32:0;;1334:18:1;9409:32:0;;;;;;;9114:335;;;:::o;2197:98::-;2255:7;2282:5;2286:1;2282;:5;:::i;11723:1464::-;-1:-1:-1;;;;;11820:20:0;;11812:70;;;;-1:-1:-1;;;11812:70:0;;6731:2:1;11812:70:0;;;6713:21:1;6770:2;6750:18;;;6743:30;6809:34;6789:18;;;6782:62;-1:-1:-1;;;6860:18:1;;;6853:35;6905:19;;11812:70:0;6529:401:1;11812:70:0;-1:-1:-1;;;;;11901:23:0;;11893:71;;;;-1:-1:-1;;;11893:71:0;;7137:2:1;11893:71:0;;;7119:21:1;7176:2;7156:18;;;7149:30;7215:34;7195:18;;;7188:62;-1:-1:-1;;;7266:18:1;;;7259:33;7309:19;;11893:71:0;6935:399:1;11893:71:0;-1:-1:-1;;;;;7826:18:0;;7809:7;7826:18;;;:9;:18;;;;;;11983:6;:27;;11975:88;;;;-1:-1:-1;;;11975:88:0;;7541:2:1;11975:88:0;;;7523:21:1;7580:2;7560:18;;;7553:30;7619:34;7599:18;;;7592:62;-1:-1:-1;;;7670:18:1;;;7663:47;7727:19;;11975:88:0;7339:413:1;11975:88:0;-1:-1:-1;;;;;12078:25:0;;;;;;:17;:25;;;;;;;;12077:26;:59;;;;-1:-1:-1;;;;;;12108:28:0;;;;;;:17;:28;;;;;;;;12107:29;12077:59;12074:103;;;12146:12;;;;12138:37;;;;-1:-1:-1;;;12138:37:0;;7959:2:1;12138:37:0;;;7941:21:1;7998:2;7978:18;;;7971:30;-1:-1:-1;;;8017:18:1;;;8010:42;8069:18;;12138:37:0;7757:336:1;12138:37:0;-1:-1:-1;;;;;12191:25:0;;;;;;:17;:25;;;;;;;;12190:26;:59;;;;-1:-1:-1;;;;;;12221:28:0;;;;;;:17;:28;;;;;;;;12220:29;12190:59;:89;;;;-1:-1:-1;12274:4:0;;-1:-1:-1;;;;;12253:26:0;;;12274:4;;12253:26;;12190:89;:119;;;;-1:-1:-1;;;;;;12283:26:0;;6236:42;12283:26;;12190:119;12187:226;;;12367:9;;-1:-1:-1;;;;;12330:20:0;;;;;;:9;:20;;;;;;:32;;12355:6;12330:24;:32::i;:::-;12329:47;;12321:90;;;;-1:-1:-1;;;12321:90:0;;8300:2:1;12321:90:0;;;8282:21:1;8339:2;8319:18;;;8312:30;8378:32;8358:18;;;8351:60;8428:18;;12321:90:0;8098:354:1;12321:90:0;12436:4;;-1:-1:-1;;;;;12426:14:0;;;12436:4;;12426:14;12423:128;;12460:6;;12450;:16;;:45;;;-1:-1:-1;;;;;;12470:25:0;;;;;;:17;:25;;;;;;;;12450:45;:77;;;-1:-1:-1;;;;;;12499:28:0;;;;;;:17;:28;;;;;;;;12450:77;12442:107;;;;-1:-1:-1;;;12442:107:0;;8659:2:1;12442:107:0;;;8641:21:1;8698:2;8678:18;;;8671:30;-1:-1:-1;;;8717:18:1;;;8710:47;8774:18;;12442:107:0;8457:341:1;12442:107:0;12579:5;;12569:6;:15;;:44;;;-1:-1:-1;;;;;;12588:25:0;;;;;;:17;:25;;;;;;;;12569:44;:76;;;-1:-1:-1;;;;;;12617:28:0;;;;;;:17;:28;;;;;;;;12569:76;12561:106;;;;-1:-1:-1;;;12561:106:0;;8659:2:1;12561:106:0;;;8641:21:1;8698:2;8678:18;;;8671:30;-1:-1:-1;;;8717:18:1;;;8710:47;8774:18;;12561:106:0;8457:341:1;12561:106:0;12695:4;;-1:-1:-1;;;;;12682:17:0;;;12695:4;;12682:17;:47;;;;-1:-1:-1;;;;;;12704:25:0;;;;;;:17;:25;;;;;;;;12703:26;12682:47;12679:81;;;12756:1;12731:13;;:27;;;;;;;:::i;:::-;;;;-1:-1:-1;;12679:81:0;12773:45;12792:6;12800:9;12811:6;12773:18;:45::i;:::-;12770:109;;;12820:29;12835:13;;12820:14;:29::i;:::-;12875:1;12851:13;:26;12770:109;-1:-1:-1;;;;;12909:17:0;;;;;;:9;:17;;;;;;:29;;12931:6;12909:21;:29::i;:::-;-1:-1:-1;;;;;12889:17:0;;;;;;:9;:17;;;;;;;;:49;;;;12975:17;:25;;;;;;;;12974:26;:72;;13040:6;12974:72;;;13003:34;13011:6;13019:9;13030:6;13003:7;:34::i;:::-;-1:-1:-1;;;;;13080:20:0;;;;;;:9;:20;;;;;;12949:97;;-1:-1:-1;13080:40:0;;12949:97;13080:24;:40::i;:::-;-1:-1:-1;;;;;13057:20:0;;;;;;;:9;:20;;;;;;;:63;;;;13136:43;;;;;;;;;;13164:14;1361:25:1;;1349:2;1334:18;;1215:177;13136:43:0;;;;;;;;11801:1386;11723:1464;;;:::o;2621:240::-;2741:7;2802:12;2794:6;;;;2786:29;;;;-1:-1:-1;;;2786:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2837:5:0;;;2621:240::o;2303:98::-;2361:7;2388:5;2392:1;2388;:5;:::i;2409:98::-;2467:7;2494:5;2498:1;2494;:5;:::i;2091:98::-;2149:7;2176:5;2180:1;2176;:5;:::i;14424:411::-;14569:14;;14644:13;;14634:4;14526;7826:18;;;:9;:18;;;;;;14676:8;;14526:4;;14559:24;;;;-1:-1:-1;14616:41:0;;14676:8;;14675:9;:24;;;;-1:-1:-1;14688:11:0;;;;;;;14675:24;:40;;;;-1:-1:-1;14703:12:0;;;;14675:40;:52;;;;;14719:8;14675:52;:82;;;;-1:-1:-1;;;;;;14732:25:0;;;;;;:17;:25;;;;;;;;14731:26;14675:82;:103;;;;-1:-1:-1;14774:4:0;;-1:-1:-1;;;;;14761:17:0;;;14774:4;;14761:17;14675:103;:134;;;;;14799:10;;14782:13;;:27;;14675:134;:152;;;;;14813:14;14675:152;14668:159;14424:411;-1:-1:-1;;;;;;14424:411:0:o;9799:1057::-;6692:8;:15;;-1:-1:-1;;6692:15:0;6703:4;6692:15;;;;;;9936:14:::1;::::0;9918:12:::1;::::0;9894::::1;::::0;6692:8;;9893:66:::1;::::0;9957:1:::1;::::0;9894:57:::1;::::0;9936:14;;9894:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;9893:66::-;9870:89;;9970:32;10005:42;10034:12;10005:24;10016:12;;10005:6;:10;;:24;;;;:::i;:42::-;9970:77:::0;-1:-1:-1;10058:14:0::1;10075:36;:6:::0;9970:77;10075:10:::1;:36::i;:::-;10058:53:::0;-1:-1:-1;10147:21:0::1;10179:24;10058:53:::0;10179:16:::1;:24::i;:::-;10214:20;10237:41;:21;10263:14:::0;10237:25:::1;:41::i;:::-;10214:64;;10289:19;10310:48;10327:30;10344:12;;10327;:16;;:30;;;;:::i;:::-;10310:12:::0;;:16:::1;:48::i;:::-;10289:69;;10369:29;10401;10417:12;;10401:11;:15;;:29;;;;:::i;:::-;10369:61:::0;-1:-1:-1;10444:34:0;;10441:103:::1;;10480:61;10493:24;10519:21;10480:12;:61::i;:::-;10600:12;::::0;10554:20:::1;::::0;10577:36:::1;::::0;:18:::1;:11:::0;10593:1:::1;10577:15;:18::i;:36::-;10554:59:::0;-1:-1:-1;10627:16:0;;10624:71:::1;;10653:16;::::0;10645:48:::1;::::0;-1:-1:-1;;;;;10653:16:0;;::::1;::::0;10645:48;::::1;;;::::0;10680:12;;10653:16:::1;10645:48:::0;10653:16;10645:48;10680:12;10653:16;10645:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10624:71;10731:21;10766:28:::0;;10763:86:::1;;10804:16;::::0;10796:51:::1;::::0;10804:16;;;::::1;-1:-1:-1::0;;;;;10804:16:0::1;::::0;10796:51:::1;::::0;::::1;;::::0;;;::::1;::::0;;;;10804:16;10796:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10763:86;-1:-1:-1::0;;6712:8:0;:16;;-1:-1:-1;;6712:16:0;;;-1:-1:-1;;;;;;;;9799:1057:0:o;13767:649::-;-1:-1:-1;;;;;13877:28:0;;13853:7;13877:28;;;:17;:28;;;;;;;;13873:49;;;-1:-1:-1;13915:5:0;;13908:12;;13873:49;13968:1;13935:30;13947:6;13955:9;13935:11;:30::i;:::-;:34;13932:462;;;13981:17;14001:59;14029:30;14041:6;14049:9;14029:11;:30::i;:::-;14012:11;;14001:23;;:6;;:10;:23::i;:59::-;14116:4;14098:24;;;;:9;:24;;;;;;13981:79;;-1:-1:-1;14098:39:0;;13981:79;14098:28;:39::i;:::-;14089:4;14071:24;;;;:9;:24;;;;;;;:66;;;;14153:42;;-1:-1:-1;;;;;14153:42:0;;;;;;;14185:9;1361:25:1;;1349:2;1334:18;;1215:177;14153:42:0;;;;;;;;14227:1;14209:7;;:20;:64;;;;;14266:7;;14233:30;14245:6;14253:9;14233:11;:30::i;:::-;:40;14209:64;14206:148;;;14275:77;14293:4;6236:42;14315:36;14343:7;;14315:23;14326:11;;14315:6;:10;;:23;;;;:::i;:36::-;14275:9;:77::i;:::-;14371:21;:6;14382:9;14371:10;:21::i;:::-;14364:28;;;;;13932:462;-1:-1:-1;14402:6:0;13767:649;-1:-1:-1;;13767:649:0:o;8668:434::-;8758:16;;;8772:1;8758:16;;;;;;;;8734:21;;8758:16;;;;;;;;;;-1:-1:-1;8758:16:0;8734:40;;8803:4;8785;8790:1;8785:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;8785:23:0;;;:7;;;;;;;;;;:23;;;;8829:6;;:13;;;-1:-1:-1;;;8829:13:0;;;;:6;;;;;:11;;:13;;;;;8785:7;;8829:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8819:4;8824:1;8819:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;8819:23:0;;;:7;;;;;;;;;:23;8885:6;;8853:53;;8870:4;;8885:6;8894:11;8853:8;:53::i;:::-;8917:6;;:177;;-1:-1:-1;;;8917:177:0;;-1:-1:-1;;;;;8917:6:0;;;;:57;;:177;;8989:11;;8917:6;;9031:4;;9058;;9078:15;;8917:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8723:379;8668:434;:::o;9457:334::-;9570:6;;9538:53;;9555:4;;-1:-1:-1;;;;;9570:6:0;9579:11;9538:8;:53::i;:::-;9602:6;;9743:9;;9602:181;;-1:-1:-1;;;9602:181:0;;9665:4;9602:181;;;11174:34:1;11224:18;;;11217:34;;;9602:6:0;11267:18:1;;;11260:34;;;11310:18;;;11303:34;-1:-1:-1;;;;;9743:9:0;;;11353:19:1;;;11346:44;9767:15:0;11406:19:1;;;11399:35;9602:6:0;;;:22;;9632:9;;11108:19:1;;9602:181:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;9457:334;;:::o;15023:219::-;15138:4;;15102:7;;-1:-1:-1;;;;;15138:4:0;;;15125:17;;;;15122:38;;-1:-1:-1;15151:7:0;;15144:14;;15122:38;15183:4;;-1:-1:-1;;;;;15183:4:0;;;15173:14;;;;15170:36;;-1:-1:-1;15196:8:0;;15189:15;;15170:36;-1:-1:-1;15223:11:0;;15023:219;;;;:::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;2507:316::-;2584:6;2592;2600;2653:2;2641:9;2632:7;2628:23;2624:32;2621:52;;;2669:1;2666;2659:12;2621:52;-1:-1:-1;;2692:23:1;;;2762:2;2747:18;;2734:32;;-1:-1:-1;2813:2:1;2798:18;;;2785:32;;2507:316;-1:-1:-1;2507:316:1:o;2828:592::-;2941:6;2949;2957;2965;2973;2981;2989;3042:3;3030:9;3021:7;3017:23;3013:33;3010:53;;;3059:1;3056;3049:12;3010:53;-1:-1:-1;;3082:23:1;;;3152:2;3137:18;;3124:32;;-1:-1:-1;3203:2:1;3188:18;;3175:32;;3254:2;3239:18;;3226:32;;-1:-1:-1;3305:3:1;3290:19;;3277:33;;-1:-1:-1;3357:3:1;3342:19;;3329:33;;-1:-1:-1;3409:3:1;3394:19;3381:33;;-1:-1:-1;2828:592:1;-1:-1:-1;2828:592:1:o;3425:388::-;3493:6;3501;3554:2;3542:9;3533:7;3529:23;3525:32;3522:52;;;3570:1;3567;3560:12;3522:52;3609:9;3596:23;3628:31;3653:5;3628:31;:::i;:::-;3678:5;-1:-1:-1;3735:2:1;3720:18;;3707:32;3748:33;3707:32;3748:33;:::i;:::-;3800:7;3790:17;;;3425:388;;;;;:::o;4078:329::-;4280:2;4262:21;;;4319:1;4299:18;;;4292:29;-1:-1:-1;;;4352:2:1;4337:18;;4330:36;4398:2;4383:18;;4078:329::o;6264:127::-;6325:10;6320:3;6316:20;6313:1;6306:31;6356:4;6353:1;6346:15;6380:4;6377:1;6370:15;6396:128;6463:9;;;6484:11;;;6481:37;;;6498:18;;:::i;8803:125::-;8868:9;;;8889:10;;;8886:36;;;8902:18;;:::i;8933:168::-;9006:9;;;9037;;9054:15;;;9048:22;;9034:37;9024:71;;9075:18;;:::i;9106:217::-;9146:1;9172;9162:132;;9216:10;9211:3;9207:20;9204:1;9197:31;9251:4;9248:1;9241:15;9279:4;9276:1;9269:15;9162:132;-1:-1:-1;9308:9:1;;9106:217::o;9460:127::-;9521:10;9516:3;9512:20;9509:1;9502:31;9552:4;9549:1;9542:15;9576:4;9573:1;9566:15;9592:251;9662:6;9715:2;9703:9;9694:7;9690:23;9686:32;9683:52;;;9731:1;9728;9721:12;9683:52;9763:9;9757:16;9782:31;9807:5;9782:31;:::i;9848:980::-;10110:4;10158:3;10147:9;10143:19;10189:6;10178:9;10171:25;10215:2;10253:6;10248:2;10237:9;10233:18;10226:34;10296:3;10291:2;10280:9;10276:18;10269:31;10320:6;10355;10349:13;10386:6;10378;10371:22;10424:3;10413:9;10409:19;10402:26;;10463:2;10455:6;10451:15;10437:29;;10484:1;10494:195;10508:6;10505:1;10502:13;10494:195;;;10573:13;;-1:-1:-1;;;;;10569:39:1;10557:52;;10664:15;;;;10629:12;;;;10605:1;10523:9;10494:195;;;-1:-1:-1;;;;;;;10745:32:1;;;;10740:2;10725:18;;10718:60;-1:-1:-1;;;10809:3:1;10794:19;10787:35;10706:3;9848:980;-1:-1:-1;;;9848:980:1:o;11445:306::-;11533:6;11541;11549;11602:2;11590:9;11581:7;11577:23;11573:32;11570:52;;;11618:1;11615;11608:12;11570:52;11647:9;11641:16;11631:26;;11697:2;11686:9;11682:18;11676:25;11666:35;;11741:2;11730:9;11726:18;11720:25;11710:35;;11445:306;;;;;:::o

ipfs://09ba6db04a84e856e3306212857333d847549dc32c9571d80e7f2764d58577e4