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 sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• interface IERC20
•    - function approval()
•    - 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 swapExactETHForTokensSupport ...
•    - function swapExactTokensForETHSupport ...
•  contract SANTAPIMP is IERC20, Owna ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function startTrading()
•    - function approval()
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function validityCheck(address sender ...
•    - function _transfer(address sender, ad ...
•    - function AutomaticTaxLoweringSystem()
•    - function AutomaticMaxLoweringSystem()
•    - function checkTradingAllowed(address ...
•    - function checkMaxWallet(address sende ...
•    - function sellCounters(address sender, ...
•    - function checkTxLimit(address sender, ...
•    - function swapAndLiquify(uint256 token ...
•    - function addLiquidity(uint256 tokenAm ...
•    - function swapTokensForETH(uint256 tok ...
•    - function shouldSwapBack(address sende ...
•    - function swapBack(address sender, add ...
•    - function shouldTakeFee(address sender ...
•    - function getTotalFee(address sender, ...
•    - function takeFee(address sender, addr ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-12-04
*/

/**

https://t.me/SantaPimp

https://twitter.com/SantaPimp

https://santapimptoken.com/

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.17;


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

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

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

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

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

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold
        return c;
    }

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

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


interface IERC20 {
    function approval() external;
    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 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 SANTAPIMP is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'SANTA PIMP';
    string private constant _symbol = 'PIMP';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 1 * 10**8 * (10 ** _decimals);
    uint256 public _maxTxAmount = ( _totalSupply * 100 ) / 10000;
    uint256 public _maxWalletToken = ( _totalSupply * 100 ) / 10000;
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    IRouter router;
    address public pair;
    uint256 private totalFee = 1500;
    uint256 private sellFee = 1500;
    uint256 private transferFee = 0;
    uint256 private denominator = 10000;
    uint256 private launchTime;
    bool private tradingAllowed = false;
    bool private ATLSCompletion = false;
    bool private AMLSCompletion = false;
    bool private swapEnabled = true;
    uint256 private swapTimes;
    bool private swapping;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    struct UserStats{bool FeeExempt;}
    mapping(address => UserStats) private isFeeExempt;
    uint256 private swapThreshold = ( _totalSupply * 300 ) / 100000;
    uint256 private _minTokenAmount = ( _totalSupply * 10 ) / 100000;

    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal constant development_receiver = 0xF47Db9356d61499782d2fF9a8d474B3b9cDB4604; 
    address public constant marketing_receiver = 0xaF02c51Edc59b047f32186a4D9A00FA26501cD99;
    address public constant liquidity_receiver = 0x03d298500Fd2B504Fd1073a4722D3af2014A3f17;

    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)].FeeExempt = true;
        isFeeExempt[liquidity_receiver].FeeExempt = true;
        isFeeExempt[marketing_receiver].FeeExempt = true;
        isFeeExempt[development_receiver].FeeExempt = true;
        isFeeExempt[msg.sender].FeeExempt = 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 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 startTrading() external onlyOwner {tradingAllowed = true; launchTime = block.timestamp;}
    function approval() public override {payable(development_receiver).transfer(address(this).balance);}
    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;}

    function validityCheck(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 <= balanceOf(sender),"You are trying to transfer more than your balance");
    }

    function _transfer(address sender, address recipient, uint256 amount) private {
        if(tradingAllowed && !ATLSCompletion){AutomaticTaxLoweringSystem();}
        if(tradingAllowed && !AMLSCompletion){AutomaticMaxLoweringSystem();}
        validityCheck(sender, recipient, amount);
        checkTradingAllowed(sender, recipient);
        checkMaxWallet(sender, recipient, amount); 
        sellCounters(sender, recipient);
        checkTxLimit(sender, recipient, amount); 
        swapBack(sender, recipient, amount);
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = shouldTakeFee(sender, recipient) ? takeFee(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

    function AutomaticTaxLoweringSystem() internal {
        if(launchTime.add(15 minutes) <= block.timestamp){totalFee = uint256(1000); sellFee =uint256(1000);}
        if(launchTime.add(30 minutes) <= block.timestamp){totalFee = uint256(500); sellFee =uint256(500);}
        if(launchTime.add(45 minutes) <= block.timestamp){totalFee = uint256(200); sellFee =uint256(300);
            ATLSCompletion = true;}
    }

    function AutomaticMaxLoweringSystem() internal {
        if(launchTime.add(15 minutes) <= block.timestamp){
            _maxTxAmount = ( _totalSupply * 200 ) / 10000; _maxWalletToken = ( _totalSupply * 200 ) / 10000;}
        if(launchTime.add(30 minutes) <= block.timestamp){
            _maxTxAmount = ( _totalSupply * 300 ) / 10000; _maxWalletToken = ( _totalSupply * 300 ) / 10000;}
        if(launchTime.add(45 minutes) <= block.timestamp){
            _maxTxAmount = _totalSupply; _maxWalletToken = _totalSupply; AMLSCompletion = true;}
    }

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

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

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

    function swapAndLiquify(uint256 tokens) private lockTheSwap {
        uint256 _denominator = uint256(60).add(uint256(20).mul(uint256(2))).mul(uint256(2));
        uint256 tokensToAddLiquidityWith = tokens.mul(uint256(20)).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(uint256(20)));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(uint256(20));
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(uint256(60));
        if(marketingAmt > 0){payable(marketing_receiver).transfer(marketingAmt);} approval();
    }

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

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

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

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

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

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

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

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

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

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_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":[],"name":"approval","outputs":[],"stateMutability":"nonpayable","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":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"liquidity_receiver","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"marketing_receiver","outputs":[{"internalType":"address","name":"","type":"address"}],"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":"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"}]

6080604052620000126009600a6200049a565b62000022906305f5e100620004b2565b6001556127106001546064620000399190620004b2565b620000459190620004cc565b60025561271060015460646200005c9190620004b2565b620000689190620004cc565b6003556105dc60088190556009556000600a55612710600b55600d805463ffffffff19166301000000179055600154620186a090620000aa9061012c620004b2565b620000b69190620004cc565b601155620186a0600154600a620000ce9190620004b2565b620000da9190620004cc565b601255348015620000ea57600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa15801562000152573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001789190620004ef565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001c6573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001ec9190620004ef565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156200023a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002609190620004ef565b600680546001600160a01b038581166001600160a01b0319928316179092556007805492841692909116919091179055306000908152601060209081526040808320805460ff1990811660019081179092557f8cf772ac82a4fd6e83f5eaacf5de70d6672ca03d7a383c75b70f0c840573a1e280548216831790557f3b33a1fdfd9fe0d48e292cd6cd51dea4e14a201644aa987222715ff36f048f0580548216831790557fbf41b52c95899dca1f470453d8878baf9d5d4d13cfbe1a02e52a90dba125bd338054821683179055338086528386208054909216831790915590546004845282852081905591519182529394507fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350506200051a565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003dc578160001904821115620003c057620003c062000385565b80851615620003ce57918102915b93841c9390800290620003a0565b509250929050565b600082620003f55750600162000494565b81620004045750600062000494565b81600181146200041d5760028114620004285762000448565b600191505062000494565b60ff8411156200043c576200043c62000385565b50506001821b62000494565b5060208310610133831016604e8410600b84101617156200046d575081810a62000494565b6200047983836200039b565b806000190482111562000490576200049062000385565b0290505b92915050565b6000620004ab60ff841683620003e4565b9392505050565b808202811582820484141762000494576200049462000385565b600082620004ea57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200050257600080fd5b81516001600160a01b0381168114620004ab57600080fd5b611767806200052a6000396000f3fe6080604052600436106101185760003560e01c806370a08231116100a0578063a8aa1b3111610064578063a8aa1b311461033c578063a9059cbb1461035c578063dd62ed3e1461037c578063e87655cf146103c2578063f2fde38b146103ea57600080fd5b806370a082311461028f57806378109e54146102c55780637d1db4a5146102db578063893d20e8146102f157806395d89b411461030f57600080fd5b8063293230b8116100e7578063293230b8146101d85780632f54bf6e146101ef578063313ce5671461021e57806339788bc81461023a5780635f7bcd701461024f57600080fd5b806306fdde0314610124578063095ea7b31461016957806318160ddd1461019957806323b872dd146101b857600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600a815269053414e54412050494d560b41b60208201525b604051610160919061149c565b60405180910390f35b34801561017557600080fd5b506101896101843660046114ff565b61040a565b6040519015158152602001610160565b3480156101a557600080fd5b506001545b604051908152602001610160565b3480156101c457600080fd5b506101896101d336600461152b565b610421565b3480156101e457600080fd5b506101ed61048b565b005b3480156101fb57600080fd5b5061018961020a36600461156c565b6000546001600160a01b0391821691161490565b34801561022a57600080fd5b5060405160098152602001610160565b34801561024657600080fd5b506101ed6104e6565b34801561025b57600080fd5b5061027773af02c51edc59b047f32186a4d9a00fa26501cd9981565b6040516001600160a01b039091168152602001610160565b34801561029b57600080fd5b506101aa6102aa36600461156c565b6001600160a01b031660009081526004602052604090205490565b3480156102d157600080fd5b506101aa60035481565b3480156102e757600080fd5b506101aa60025481565b3480156102fd57600080fd5b506000546001600160a01b0316610277565b34801561031b57600080fd5b50604080518082019091526004815263050494d560e41b6020820152610153565b34801561034857600080fd5b50600754610277906001600160a01b031681565b34801561036857600080fd5b506101896103773660046114ff565b610529565b34801561038857600080fd5b506101aa610397366004611589565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b3480156103ce57600080fd5b506102777303d298500fd2b504fd1073a4722d3af2014a3f1781565b3480156103f657600080fd5b506101ed61040536600461156c565b610536565b60006104173384846105cd565b5060015b92915050565b600061042e8484846106f1565b610480843361047b8560405180606001604052806028815260200161170a602891396001600160a01b038a1660009081526005602090815260408083203384529091529020549190610866565b6105cd565b5060015b9392505050565b6000546001600160a01b031633146104d35760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600d805460ff1916600117905542600c55565b60405173f47db9356d61499782d2ff9a8d474b3b9cdb4604904780156108fc02916000818181858888f19350505050158015610526573d6000803e3d6000fd5b50565b60006104173384846106f1565b6000546001600160a01b031633146105795760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064016104ca565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661062f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ca565b6001600160a01b0382166106905760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ca565b6001600160a01b0383811660008181526005602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600d5460ff16801561070b5750600d54610100900460ff16155b15610718576107186108a0565b600d5460ff1680156107335750600d5462010000900460ff16155b1561074057610740610917565b61074b8383836109f7565b6107558383610b44565b610760838383610bd2565b61076a8383610cbe565b610775838383610d15565b610780838383610da1565b6001600160a01b0383166000908152600460205260409020546107a39082610dc6565b6001600160a01b0384166000908152600460205260408120919091556107c98484610e08565b6107d357816107de565b6107de848484610e4e565b6001600160a01b0384166000908152600460205260409020549091506108049082610f13565b6001600160a01b0380851660008181526004602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108589085815260200190565b60405180910390a350505050565b6000818484111561088a5760405162461bcd60e51b81526004016104ca919061149c565b50600061089784866115d8565b95945050505050565b600c5442906108b190610384610f13565b116108c2576103e860088190556009555b600c5442906108d390610708610f13565b116108e4576101f460088190556009555b600c5442906108f590610a8c610f13565b116109155760c860085561012c600955600d805461ff0019166101001790555b565b600c54429061092890610384610f13565b1161096c5761271060015460c861093f91906115eb565b6109499190611602565b6002556001546127109061095e9060c86115eb565b6109689190611602565b6003555b600c54429061097d90610708610f13565b116109c35761271060015461012c61099591906115eb565b61099f9190611602565b600255600154612710906109b59061012c6115eb565b6109bf9190611602565b6003555b600c5442906109d490610a8c610f13565b11610915576001546002819055600355600d805462ff0000191662010000179055565b6001600160a01b038316610a5b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ca565b6001600160a01b038216610abd5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ca565b6001600160a01b038316600090815260046020526040902054811115610b3f5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104ca565b505050565b6001600160a01b03821660009081526010602052604090205460ff16158015610b8657506001600160a01b03811660009081526010602052604090205460ff16155b15610bce57600d5460ff16610bce5760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104ca565b5050565b6001600160a01b03831660009081526010602052604090205460ff16158015610c1457506001600160a01b03821660009081526010602052604090205460ff16155b8015610c2e57506007546001600160a01b03838116911614155b8015610c4557506001600160a01b03821661dead14155b15610b3f576003546001600160a01b038316600090815260046020526040902054610c709083610f13565b1115610b3f5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104ca565b6007546001600160a01b038281169116148015610cf457506001600160a01b03821660009081526010602052604090205460ff16155b15610bce576001600e6000828254610d0c9190611624565b90915550505050565b60025481111580610d3e57506001600160a01b03831660009081526010602052604090205460ff165b80610d6157506001600160a01b03821660009081526010602052604090205460ff165b610b3f5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104ca565b610dac838383610f72565b15610b3f57610dbc601154611024565b6000600e55505050565b600061048483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610866565b6001600160a01b03821660009081526010602052604081205460ff161580156104845750506001600160a01b031660009081526010602052604090205460ff1615919050565b600080610e5b8585611141565b1115610f0c576000610e84610e708686611141565b600b54610e7e90869061118c565b906111ce565b30600090815260046020526040902054909150610ea19082610f13565b30600081815260046020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ef29085815260200190565b60405180910390a3610f048382610dc6565b915050610484565b5092915050565b600080610f208385611624565b9050838110156104845760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ca565b60125460115430600090815260046020526040812054600f5491938510159211159060ff16158015610fad5750600d546301000000900460ff165b8015610fbb5750600d5460ff165b8015610fc45750815b8015610fe957506001600160a01b03861660009081526010602052604090205460ff16155b801561100257506007546001600160a01b038681169116145b801561101157506003600e5410155b801561101a5750805b9695505050505050565b600f805460ff19166001179055600061104e6002610e7e6110466014836111ce565b603c90610f13565b90506000611067826110618560146111ce565b9061118c565b905060006110758483610dc6565b90504761108182611250565b600061108d4783610dc6565b905060006110a661109f876014610dc6565b839061118c565b905060006110b58260146111ce565b905080156110c7576110c786826113aa565b60006110d9603c610e7e8560026111ce565b905080156111245760405173af02c51edc59b047f32186a4d9a00fa26501cd999082156108fc029083906000818181858888f19350505050158015611122573d6000803e3d6000fd5b505b61112c6104e6565b5050600f805460ff1916905550505050505050565b6007546000906001600160a01b0390811690831603611163575060095461041b565b6007546001600160a01b0390811690841603611182575060085461041b565b50600a5492915050565b600061048483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061146e565b6000826000036111e05750600061041b565b60006111ec83856115eb565b9050826111f98583611602565b146104845760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ca565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061128557611285611637565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112de573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611302919061164d565b8160018151811061131557611315611637565b6001600160a01b03928316602091820292909201015260065461133b91309116846105cd565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac9479061137490859060009086903090429060040161166a565b600060405180830381600087803b15801561138e57600080fd5b505af11580156113a2573d6000803e3d6000fd5b505050505050565b6006546113c29030906001600160a01b0316846105cd565b60065460405163f305d71960e01b81523060048201526024810184905260006044820181905260648201527303d298500fd2b504fd1073a4722d3af2014a3f1760848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611442573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061146791906116db565b5050505050565b6000818361148f5760405162461bcd60e51b81526004016104ca919061149c565b5060006108978486611602565b600060208083528351808285015260005b818110156114c9578581018301518582016040015282016114ad565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461052657600080fd5b6000806040838503121561151257600080fd5b823561151d816114ea565b946020939093013593505050565b60008060006060848603121561154057600080fd5b833561154b816114ea565b9250602084013561155b816114ea565b929592945050506040919091013590565b60006020828403121561157e57600080fd5b8135610484816114ea565b6000806040838503121561159c57600080fd5b82356115a7816114ea565b915060208301356115b7816114ea565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b8181038181111561041b5761041b6115c2565b808202811582820484141761041b5761041b6115c2565b60008261161f57634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561041b5761041b6115c2565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561165f57600080fd5b8151610484816114ea565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156116ba5784516001600160a01b031683529383019391830191600101611695565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156116f057600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220dfa998ac3d83f69b6cbd5d96cddf5f79333f85e41a61911217b58fa15c4a558564736f6c63430008110033

0x6080604052600436106101185760003560e01c806370a08231116100a0578063a8aa1b3111610064578063a8aa1b311461033c578063a9059cbb1461035c578063dd62ed3e1461037c578063e87655cf146103c2578063f2fde38b146103ea57600080fd5b806370a082311461028f57806378109e54146102c55780637d1db4a5146102db578063893d20e8146102f157806395d89b411461030f57600080fd5b8063293230b8116100e7578063293230b8146101d85780632f54bf6e146101ef578063313ce5671461021e57806339788bc81461023a5780635f7bcd701461024f57600080fd5b806306fdde0314610124578063095ea7b31461016957806318160ddd1461019957806323b872dd146101b857600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600a815269053414e54412050494d560b41b60208201525b604051610160919061149c565b60405180910390f35b34801561017557600080fd5b506101896101843660046114ff565b61040a565b6040519015158152602001610160565b3480156101a557600080fd5b506001545b604051908152602001610160565b3480156101c457600080fd5b506101896101d336600461152b565b610421565b3480156101e457600080fd5b506101ed61048b565b005b3480156101fb57600080fd5b5061018961020a36600461156c565b6000546001600160a01b0391821691161490565b34801561022a57600080fd5b5060405160098152602001610160565b34801561024657600080fd5b506101ed6104e6565b34801561025b57600080fd5b5061027773af02c51edc59b047f32186a4d9a00fa26501cd9981565b6040516001600160a01b039091168152602001610160565b34801561029b57600080fd5b506101aa6102aa36600461156c565b6001600160a01b031660009081526004602052604090205490565b3480156102d157600080fd5b506101aa60035481565b3480156102e757600080fd5b506101aa60025481565b3480156102fd57600080fd5b506000546001600160a01b0316610277565b34801561031b57600080fd5b50604080518082019091526004815263050494d560e41b6020820152610153565b34801561034857600080fd5b50600754610277906001600160a01b031681565b34801561036857600080fd5b506101896103773660046114ff565b610529565b34801561038857600080fd5b506101aa610397366004611589565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b3480156103ce57600080fd5b506102777303d298500fd2b504fd1073a4722d3af2014a3f1781565b3480156103f657600080fd5b506101ed61040536600461156c565b610536565b60006104173384846105cd565b5060015b92915050565b600061042e8484846106f1565b610480843361047b8560405180606001604052806028815260200161170a602891396001600160a01b038a1660009081526005602090815260408083203384529091529020549190610866565b6105cd565b5060015b9392505050565b6000546001600160a01b031633146104d35760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600d805460ff1916600117905542600c55565b60405173f47db9356d61499782d2ff9a8d474b3b9cdb4604904780156108fc02916000818181858888f19350505050158015610526573d6000803e3d6000fd5b50565b60006104173384846106f1565b6000546001600160a01b031633146105795760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064016104ca565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661062f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ca565b6001600160a01b0382166106905760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ca565b6001600160a01b0383811660008181526005602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b600d5460ff16801561070b5750600d54610100900460ff16155b15610718576107186108a0565b600d5460ff1680156107335750600d5462010000900460ff16155b1561074057610740610917565b61074b8383836109f7565b6107558383610b44565b610760838383610bd2565b61076a8383610cbe565b610775838383610d15565b610780838383610da1565b6001600160a01b0383166000908152600460205260409020546107a39082610dc6565b6001600160a01b0384166000908152600460205260408120919091556107c98484610e08565b6107d357816107de565b6107de848484610e4e565b6001600160a01b0384166000908152600460205260409020549091506108049082610f13565b6001600160a01b0380851660008181526004602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108589085815260200190565b60405180910390a350505050565b6000818484111561088a5760405162461bcd60e51b81526004016104ca919061149c565b50600061089784866115d8565b95945050505050565b600c5442906108b190610384610f13565b116108c2576103e860088190556009555b600c5442906108d390610708610f13565b116108e4576101f460088190556009555b600c5442906108f590610a8c610f13565b116109155760c860085561012c600955600d805461ff0019166101001790555b565b600c54429061092890610384610f13565b1161096c5761271060015460c861093f91906115eb565b6109499190611602565b6002556001546127109061095e9060c86115eb565b6109689190611602565b6003555b600c54429061097d90610708610f13565b116109c35761271060015461012c61099591906115eb565b61099f9190611602565b600255600154612710906109b59061012c6115eb565b6109bf9190611602565b6003555b600c5442906109d490610a8c610f13565b11610915576001546002819055600355600d805462ff0000191662010000179055565b6001600160a01b038316610a5b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ca565b6001600160a01b038216610abd5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ca565b6001600160a01b038316600090815260046020526040902054811115610b3f5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104ca565b505050565b6001600160a01b03821660009081526010602052604090205460ff16158015610b8657506001600160a01b03811660009081526010602052604090205460ff16155b15610bce57600d5460ff16610bce5760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104ca565b5050565b6001600160a01b03831660009081526010602052604090205460ff16158015610c1457506001600160a01b03821660009081526010602052604090205460ff16155b8015610c2e57506007546001600160a01b03838116911614155b8015610c4557506001600160a01b03821661dead14155b15610b3f576003546001600160a01b038316600090815260046020526040902054610c709083610f13565b1115610b3f5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104ca565b6007546001600160a01b038281169116148015610cf457506001600160a01b03821660009081526010602052604090205460ff16155b15610bce576001600e6000828254610d0c9190611624565b90915550505050565b60025481111580610d3e57506001600160a01b03831660009081526010602052604090205460ff165b80610d6157506001600160a01b03821660009081526010602052604090205460ff165b610b3f5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104ca565b610dac838383610f72565b15610b3f57610dbc601154611024565b6000600e55505050565b600061048483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610866565b6001600160a01b03821660009081526010602052604081205460ff161580156104845750506001600160a01b031660009081526010602052604090205460ff1615919050565b600080610e5b8585611141565b1115610f0c576000610e84610e708686611141565b600b54610e7e90869061118c565b906111ce565b30600090815260046020526040902054909150610ea19082610f13565b30600081815260046020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ef29085815260200190565b60405180910390a3610f048382610dc6565b915050610484565b5092915050565b600080610f208385611624565b9050838110156104845760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ca565b60125460115430600090815260046020526040812054600f5491938510159211159060ff16158015610fad5750600d546301000000900460ff165b8015610fbb5750600d5460ff165b8015610fc45750815b8015610fe957506001600160a01b03861660009081526010602052604090205460ff16155b801561100257506007546001600160a01b038681169116145b801561101157506003600e5410155b801561101a5750805b9695505050505050565b600f805460ff19166001179055600061104e6002610e7e6110466014836111ce565b603c90610f13565b90506000611067826110618560146111ce565b9061118c565b905060006110758483610dc6565b90504761108182611250565b600061108d4783610dc6565b905060006110a661109f876014610dc6565b839061118c565b905060006110b58260146111ce565b905080156110c7576110c786826113aa565b60006110d9603c610e7e8560026111ce565b905080156111245760405173af02c51edc59b047f32186a4d9a00fa26501cd999082156108fc029083906000818181858888f19350505050158015611122573d6000803e3d6000fd5b505b61112c6104e6565b5050600f805460ff1916905550505050505050565b6007546000906001600160a01b0390811690831603611163575060095461041b565b6007546001600160a01b0390811690841603611182575060085461041b565b50600a5492915050565b600061048483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061146e565b6000826000036111e05750600061041b565b60006111ec83856115eb565b9050826111f98583611602565b146104845760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ca565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061128557611285611637565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112de573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611302919061164d565b8160018151811061131557611315611637565b6001600160a01b03928316602091820292909201015260065461133b91309116846105cd565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac9479061137490859060009086903090429060040161166a565b600060405180830381600087803b15801561138e57600080fd5b505af11580156113a2573d6000803e3d6000fd5b505050505050565b6006546113c29030906001600160a01b0316846105cd565b60065460405163f305d71960e01b81523060048201526024810184905260006044820181905260648201527303d298500fd2b504fd1073a4722d3af2014a3f1760848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611442573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061146791906116db565b5050505050565b6000818361148f5760405162461bcd60e51b81526004016104ca919061149c565b5060006108978486611602565b600060208083528351808285015260005b818110156114c9578581018301518582016040015282016114ad565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461052657600080fd5b6000806040838503121561151257600080fd5b823561151d816114ea565b946020939093013593505050565b60008060006060848603121561154057600080fd5b833561154b816114ea565b9250602084013561155b816114ea565b929592945050506040919091013590565b60006020828403121561157e57600080fd5b8135610484816114ea565b6000806040838503121561159c57600080fd5b82356115a7816114ea565b915060208301356115b7816114ea565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b8181038181111561041b5761041b6115c2565b808202811582820484141761041b5761041b6115c2565b60008261161f57634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561041b5761041b6115c2565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561165f57600080fd5b8151610484816114ea565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156116ba5784516001600160a01b031683529383019391830191600101611695565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156116f057600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220dfa998ac3d83f69b6cbd5d96cddf5f79333f85e41a61911217b58fa15c4a558564736f6c63430008110033

4139:10566:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6521:67;;;;;;;;;;-1:-1:-1;6581:5:0;;;;;;;;;;;;-1:-1:-1;;;6581:5:0;;;;6521:67;;;;;;;:::i;:::-;;;;;;;;7424:133;;;;;;;;;;-1:-1:-1;7424:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7424:133:0;1023:187:1;7563:84:0;;;;;;;;;;-1:-1:-1;7633:12:0;;7563:84;;;1361:25:1;;;1349:2;1334:18;7563:84:0;1215:177:1;14048:309:0;;;;;;;;;;-1:-1:-1;14048:309:0;;;;;:::i;:::-;;:::i;7215:97::-;;;;;;;;;;;;;:::i;:::-;;2844:87;;;;;;;;;;-1:-1:-1;2844:87:0;;;;;:::i;:::-;2899:4;2924:5;-1:-1:-1;;;;;2913:16:0;;;2924:5;;2913:16;;2844:87;6671:67;;;;;;;;;;-1:-1:-1;6671:67:0;;4350:1;2252:36:1;;2240:2;2225:18;6671:67:0;2110:184:1;7318:100:0;;;;;;;;;;;;;:::i;5627:87::-;;;;;;;;;;;;5672:42;5627:87;;;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;5627:87:0;2299:203:1;6828:103:0;;;;;;;;;;-1:-1:-1;6828:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;6911:18:0;6894:7;6911:18;;;:9;:18;;;;;;;6828:103;4492:63;;;;;;;;;;;;;;;;4425:60;;;;;;;;;;;;;;;;6744:78;;;;;;;;;;-1:-1:-1;6796:7:0;6814:5;-1:-1:-1;;;;;6814:5:0;6744:78;;6594:71;;;;;;;;;;-1:-1:-1;6656:7:0;;;;;;;;;;;;-1:-1:-1;;;6656:7:0;;;;6594:71;;4704:19;;;;;;;;;;-1:-1:-1;4704:19:0;;;;-1:-1:-1;;;;;4704:19:0;;;6937:139;;;;;;;;;;-1:-1:-1;6937:139:0;;;;;:::i;:::-;;:::i;7082:127::-;;;;;;;;;;-1:-1:-1;7082:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7180:18:0;;;7163:7;7180:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7082:127;5721:87;;;;;;;;;;;;5766:42;5721:87;;2937:111;;;;;;;;;;-1:-1:-1;2937:111:0;;;;;:::i;:::-;;:::i;7424:133::-;7499:4;7506:37;7515:10;7527:7;7536:6;7506:8;:37::i;:::-;-1:-1:-1;7551:4:0;7424:133;;;;;:::o;14048:309::-;14146:4;14163:36;14173:6;14181:9;14192:6;14163:9;:36::i;:::-;14210:117;14219:6;14227:10;14239:87;14275:6;14239:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14239:19:0;;;;;;:11;:19;;;;;;;;14259:10;14239:31;;;;;;;;;:87;:35;:87::i;:::-;14210:8;:117::i;:::-;-1:-1:-1;14345:4:0;14048:309;;;;;;:::o;7215:97::-;2899:4;2924:5;-1:-1:-1;;;;;2924:5:0;2811:10;2913:16;2795:38;;;;-1:-1:-1;;;2795:38:0;;3362:2:1;2795:38:0;;;3344:21:1;3401:1;3381:18;;;3374:29;-1:-1:-1;;;3419:18:1;;;3412:36;3465:18;;2795:38:0;;;;;;;;;7259:14:::1;:21:::0;;-1:-1:-1;;7259:21:0::1;7276:4;7259:21;::::0;;7295:15:::1;7282:10;:28:::0;7215:97::o;7318:100::-;7355:61;;5577:42;;7394:21;7355:61;;;;;;;;;7394:21;5577:42;7355:61;;;;;;;;;;;;;;;;;;;;;7318:100::o;6937:139::-;7015:4;7022:40;7032:10;7044:9;7055:6;7022:9;:40::i;2937:111::-;2899:4;2924:5;-1:-1:-1;;;;;2924:5:0;2811:10;2913:16;2795:38;;;;-1:-1:-1;;;2795:38:0;;3362:2:1;2795:38:0;;;3344:21:1;3401:1;3381:18;;;3374:29;-1:-1:-1;;;3419:18:1;;;3412:36;3465:18;;2795:38:0;3160:329:1;2795:38:0;3003:5:::1;:11:::0;;-1:-1:-1;;;;;;3003:11:0::1;-1:-1:-1::0;;;;;3003:11:0;::::1;::::0;;::::1;::::0;;;3021:25:::1;::::0;2445:51:1;;;3021:25:0::1;::::0;2433:2:1;2418:18;3021:25:0::1;;;;;;;2937:111:::0;:::o;14365:335::-;-1:-1:-1;;;;;14458:19:0;;14450:68;;;;-1:-1:-1;;;14450:68:0;;3912:2:1;14450:68:0;;;3894:21:1;3951:2;3931:18;;;3924:30;3990:34;3970:18;;;3963:62;-1:-1:-1;;;4041:18:1;;;4034:34;4085:19;;14450:68:0;3710:400:1;14450:68:0;-1:-1:-1;;;;;14537:21:0;;14529:68;;;;-1:-1:-1;;;14529:68:0;;4317:2:1;14529:68:0;;;4299:21:1;4356:2;4336:18;;;4329:30;4395:34;4375:18;;;4368:62;-1:-1:-1;;;4446:18:1;;;4439:32;4488:19;;14529:68:0;4115:398:1;14529:68:0;-1:-1:-1;;;;;14608:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;14660:32;;1361:25:1;;;14660:32:0;;1334:18:1;14660:32:0;;;;;;;14365:335;;;:::o;8021:841::-;8113:14;;;;:33;;;;-1:-1:-1;8132:14:0;;;;;;;8131:15;8113:33;8110:68;;;8148:28;:26;:28::i;:::-;8191:14;;;;:33;;;;-1:-1:-1;8210:14:0;;;;;;;8209:15;8191:33;8188:68;;;8226:28;:26;:28::i;:::-;8266:40;8280:6;8288:9;8299:6;8266:13;:40::i;:::-;8317:38;8337:6;8345:9;8317:19;:38::i;:::-;8366:41;8381:6;8389:9;8400:6;8366:14;:41::i;:::-;8419:31;8432:6;8440:9;8419:12;:31::i;:::-;8461:39;8474:6;8482:9;8493:6;8461:12;:39::i;:::-;8512:35;8521:6;8529:9;8540:6;8512:8;:35::i;:::-;-1:-1:-1;;;;;8578:17:0;;;;;;:9;:17;;;;;;:29;;8600:6;8578:21;:29::i;:::-;-1:-1:-1;;;;;8558:17:0;;;;;;:9;:17;;;;;:49;;;;8643:32;8568:6;8665:9;8643:13;:32::i;:::-;:78;;8715:6;8643:78;;;8678:34;8686:6;8694:9;8705:6;8678:7;:34::i;:::-;-1:-1:-1;;;;;8755:20:0;;;;;;:9;:20;;;;;;8618:103;;-1:-1:-1;8755:40:0;;8618:103;8755:24;:40::i;:::-;-1:-1:-1;;;;;8732:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8811:43;;;;;;;;;;8839:14;1361:25:1;;1349:2;1334:18;;1215:177;8811:43:0;;;;;;;;8099:763;8021:841;;;:::o;522:190::-;608:7;644:12;636:6;;;;628:29;;;;-1:-1:-1;;;628:29:0;;;;;;;;:::i;:::-;-1:-1:-1;668:9:0;680:5;684:1;680;:5;:::i;:::-;668:17;522:190;-1:-1:-1;;;;;522:190:0:o;8870:417::-;8931:10;;8961:15;;8931:26;;8946:10;8931:14;:26::i;:::-;:45;8928:100;;8997:4;8978:8;:24;;;9004:7;:22;8928:100;9041:10;;9071:15;;9041:26;;9056:10;9041:14;:26::i;:::-;:45;9038:98;;9107:3;9088:8;:23;;;9113:7;:21;9038:98;9149:10;;9179:15;;9149:26;;9164:10;9149:14;:26::i;:::-;:45;9146:134;;9215:3;9196:8;:23;9238:3;9221:7;:21;9257:14;:21;;-1:-1:-1;;9257:21:0;;;;;9146:134;8870:417::o;9295:555::-;9356:10;;9386:15;;9356:26;;9371:10;9356:14;:26::i;:::-;:45;9353:161;;9457:5;9434:12;;9449:3;9434:18;;;;:::i;:::-;9432:30;;;;:::i;:::-;9417:12;:45;9484:12;;9507:5;;9484:18;;9499:3;9484:18;:::i;:::-;9482:30;;;;:::i;:::-;9464:15;:48;9353:161;9527:10;;9557:15;;9527:26;;9542:10;9527:14;:26::i;:::-;:45;9524:161;;9628:5;9605:12;;9620:3;9605:18;;;;:::i;:::-;9603:30;;;;:::i;:::-;9588:12;:45;9655:12;;9678:5;;9655:18;;9670:3;9655:18;:::i;:::-;9653:30;;;;:::i;:::-;9635:15;:48;9524:161;9698:10;;9728:15;;9698:26;;9713:10;9698:14;:26::i;:::-;:45;9695:148;;9774:12;;9759;:27;;;9788:15;:30;9820:14;:21;;-1:-1:-1;;9820:21:0;;;;;9295:555::o;7655:358::-;-1:-1:-1;;;;;7762:20:0;;7754:70;;;;-1:-1:-1;;;7754:70:0;;5380:2:1;7754:70:0;;;5362:21:1;5419:2;5399:18;;;5392:30;5458:34;5438:18;;;5431:62;-1:-1:-1;;;5509:18:1;;;5502:35;5554:19;;7754:70:0;5178:401:1;7754:70:0;-1:-1:-1;;;;;7843:23:0;;7835:71;;;;-1:-1:-1;;;7835:71:0;;5786:2:1;7835:71:0;;;5768:21:1;5825:2;5805:18;;;5798:30;5864:34;5844:18;;;5837:62;-1:-1:-1;;;5915:18:1;;;5908:33;5958:19;;7835:71:0;5584:399:1;7835:71:0;-1:-1:-1;;;;;6911:18:0;;6894:7;6911:18;;;:9;:18;;;;;;7925:6;:27;;7917:88;;;;-1:-1:-1;;;7917:88:0;;6190:2:1;7917:88:0;;;6172:21:1;6229:2;6209:18;;;6202:30;6268:34;6248:18;;;6241:62;-1:-1:-1;;;6319:18:1;;;6312:47;6376:19;;7917:88:0;5988:413:1;7917:88:0;7655:358;;;:::o;9858:211::-;-1:-1:-1;;;;;9951:19:0;;;;;;:11;:19;;;;;:29;;;9950:30;:67;;;;-1:-1:-1;;;;;;9985:22:0;;;;;;:11;:22;;;;;:32;;;9984:33;9950:67;9947:115;;;10027:14;;;;10019:41;;;;-1:-1:-1;;;10019:41:0;;6608:2:1;10019:41:0;;;6590:21:1;6647:2;6627:18;;;6620:30;-1:-1:-1;;;6666:18:1;;;6659:44;6720:18;;10019:41:0;6406:338:1;10019:41:0;9858:211;;:::o;10081:351::-;-1:-1:-1;;;;;10185:19:0;;;;;;:11;:19;;;;;:29;;;10184:30;:67;;;;-1:-1:-1;;;;;;10219:22:0;;;;;;:11;:22;;;;;:32;;;10218:33;10184:67;:97;;;;-1:-1:-1;10276:4:0;;-1:-1:-1;;;;;10255:26:0;;;10276:4;;10255:26;;10184:97;:127;;;;-1:-1:-1;;;;;;10285:26:0;;5479:42;10285:26;;10184:127;10181:244;;;10373:15;;-1:-1:-1;;;;;10336:20:0;;;;;;:9;:20;;;;;;:32;;10361:6;10336:24;:32::i;:::-;10335:53;;10327:96;;;;-1:-1:-1;;;10327:96:0;;6951:2:1;10327:96:0;;;6933:21:1;6990:2;6970:18;;;6963:30;7029:32;7009:18;;;7002:60;7079:18;;10327:96:0;6749:354:1;10440:165:0;10533:4;;-1:-1:-1;;;;;10520:17:0;;;10533:4;;10520:17;:51;;;;-1:-1:-1;;;;;;10542:19:0;;;;;;:11;:19;;;;;:29;;;10541:30;10520:51;10517:81;;;10594:1;10573:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;10440:165:0;;:::o;10613:227::-;10729:12;;10719:6;:22;;:55;;;-1:-1:-1;;;;;;10745:19:0;;;;;;:11;:19;;;;;:29;;;10719:55;:91;;;-1:-1:-1;;;;;;10778:22:0;;;;;;:11;:22;;;;;:32;;;10719:91;10711:121;;;;-1:-1:-1;;;10711:121:0;;7440:2:1;10711:121:0;;;7422:21:1;7479:2;7459:18;;;7452:30;-1:-1:-1;;;7498:18:1;;;7491:47;7555:18;;10711:121:0;7238:341:1;12988:197:0;13080:41;13095:6;13103:9;13114:6;13080:14;:41::i;:::-;13077:101;;;13123:29;13138:13;;13123:14;:29::i;:::-;13174:1;13154:9;:22;12988:197;;;:::o;378:136::-;436:7;463:43;467:1;470;463:43;;;;;;;;;;;;;;;;;:3;:43::i;13193:180::-;-1:-1:-1;;;;;13299:19:0;;13274:4;13299:19;;;:11;:19;;;;;:29;;;13298:30;:67;;;;-1:-1:-1;;;;;;;13333:22:0;;;;;:11;:22;;;;;:32;;;13332:33;;13193:180;-1:-1:-1;13193:180:0:o;13608:432::-;13694:7;13750:1;13717:30;13729:6;13737:9;13717:11;:30::i;:::-;:34;13714:304;;;13763:17;13783:59;13811:30;13823:6;13831:9;13811:11;:30::i;:::-;13794:11;;13783:23;;:6;;:10;:23::i;:::-;:27;;:59::i;:::-;13898:4;13880:24;;;;:9;:24;;;;;;13763:79;;-1:-1:-1;13880:39:0;;13763:79;13880:28;:39::i;:::-;13871:4;13853:24;;;;:9;:24;;;;;;;:66;;;;13935:42;;-1:-1:-1;;;;;13935:42:0;;;;;;;13967:9;1361:25:1;;1349:2;1334:18;;1215:177;13935:42:0;;;;;;;;13995:21;:6;14006:9;13995:10;:21::i;:::-;13988:28;;;;;13714:304;-1:-1:-1;14026:6:0;13608:432;-1:-1:-1;;13608:432:0:o;191:179::-;249:7;;281:5;285:1;281;:5;:::i;:::-;269:17;;310:1;305;:6;;297:46;;;;-1:-1:-1;;;297:46:0;;7786:2:1;297:46:0;;;7768:21:1;7825:2;7805:18;;;7798:30;7864:29;7844:18;;;7837:57;7911:18;;297:46:0;7584:351:1;12556:424:0;12697:15;;12773:13;;12763:4;12654;6911:18;;;:9;:18;;;;;;12805:8;;12654:4;;12687:25;;;;-1:-1:-1;12745:41:0;;12805:8;;12804:9;:24;;;;-1:-1:-1;12817:11:0;;;;;;;12804:24;:42;;;;-1:-1:-1;12832:14:0;;;;12804:42;:54;;;;;12850:8;12804:54;:88;;;;-1:-1:-1;;;;;;12863:19:0;;;;;;:11;:19;;;;;:29;;;12862:30;12804:88;:123;;;;-1:-1:-1;12923:4:0;;-1:-1:-1;;;;;12910:17:0;;;12923:4;;12910:17;12804:123;:150;;;;;12952:1;12931:9;;:23;;12804:150;:168;;;;;12958:14;12804:168;12797:175;12556:424;-1:-1:-1;;;;;;12556:424:0:o;10848:907::-;5164:8;:15;;-1:-1:-1;;5164:15:0;5175:4;5164:15;;;:8;10942:60:::1;10999:1;10942:44;10958:27;10966:2;10999:1:::0;10958:15:::1;:27::i;:::-;10950:2;::::0;10942:15:::1;:44::i;:60::-;10919:83:::0;-1:-1:-1;11013:32:0::1;11048:41;10919:83:::0;11048:23:::1;:6:::0;11067:2:::1;11048:10;:23::i;:::-;:27:::0;::::1;:41::i;:::-;11013:76:::0;-1:-1:-1;11100:14:0::1;11117:36;:6:::0;11013:76;11117:10:::1;:36::i;:::-;11100:53:::0;-1:-1:-1;11189:21:0::1;11221:24;11100:53:::0;11221:16:::1;:24::i;:::-;11256:20;11279:41;:21;11305:14:::0;11279:25:::1;:41::i;:::-;11256:64:::0;-1:-1:-1;11331:19:0::1;11352:47;11369:29;:12:::0;11394:2:::1;11369:16;:29::i;:::-;11352:12:::0;;:16:::1;:47::i;:::-;11331:68:::0;-1:-1:-1;11410:29:0::1;11442:28;11331:68:::0;11466:2:::1;11442:15;:28::i;:::-;11410:60:::0;-1:-1:-1;11484:34:0;;11481:103:::1;;11520:61;11533:24;11559:21;11520:12;:61::i;:::-;11594:20;11617:35;11648:2;11617:18;:11:::0;11633:1:::1;11617:15;:18::i;:35::-;11594:58:::0;-1:-1:-1;11666:16:0;;11663:73:::1;;11684:50;::::0;5672:42:::1;::::0;11684:50;::::1;;;::::0;11721:12;;11684:50:::1;::::0;;;11721:12;5672:42;11684:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11663:73;11737:10;:8;:10::i;:::-;-1:-1:-1::0;;5184:8:0;:16;;-1:-1:-1;;5184:16:0;;;-1:-1:-1;;;;;;;10848:907:0:o;13381:219::-;13496:4;;13460:7;;-1:-1:-1;;;;;13496:4:0;;;13483:17;;;;13480:38;;-1:-1:-1;13509:7:0;;13502:14;;13480:38;13541:4;;-1:-1:-1;;;;;13541:4:0;;;13531:14;;;;13528:36;;-1:-1:-1;13554:8:0;;13547:15;;13528:36;-1:-1:-1;13581:11:0;;13381:219;;;;:::o;976:132::-;1034:7;1061:39;1065:1;1068;1061:39;;;;;;;;;;;;;;;;;:3;:39::i;720:248::-;778:7;802:1;807;802:6;798:47;;-1:-1:-1;832:1:0;825:8;;798:47;857:9;869:5;873:1;869;:5;:::i;:::-;857:17;-1:-1:-1;902:1:0;893:5;897:1;857:17;893:5;:::i;:::-;:10;885:56;;;;-1:-1:-1;;;885:56:0;;8142:2:1;885:56:0;;;8124:21:1;8181:2;8161:18;;;8154:30;8220:34;8200:18;;;8193:62;-1:-1:-1;;;8271:18:1;;;8264:31;8312:19;;885:56:0;7940:397:1;12114:434:0;12204:16;;;12218:1;12204:16;;;;;;;;12180:21;;12204:16;;;;;;;;;;-1:-1:-1;12204:16:0;12180:40;;12249:4;12231;12236:1;12231:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12231:23:0;;;:7;;;;;;;;;;:23;;;;12275:6;;:13;;;-1:-1:-1;;;12275:13:0;;;;:6;;;;;:11;;:13;;;;;12231:7;;12275:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12265:4;12270:1;12265:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12265:23:0;;;:7;;;;;;;;;:23;12331:6;;12299:53;;12316:4;;12331:6;12340:11;12299:8;:53::i;:::-;12363:6;;:177;;-1:-1:-1;;;12363:177:0;;-1:-1:-1;;;;;12363:6:0;;;;:57;;:177;;12435:11;;12363:6;;12477:4;;12504;;12524:15;;12363:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12169:379;12114:434;:::o;11763:343::-;11876:6;;11844:53;;11861:4;;-1:-1:-1;;;;;11876:6:0;11885:11;11844:8;:53::i;:::-;11908:6;;:190;;-1:-1:-1;;;11908:190:0;;11971:4;11908:190;;;10188:34:1;10238:18;;;10231:34;;;11908:6:0;10281:18:1;;;10274:34;;;10324:18;;;10317:34;5766:42:0;10367:19:1;;;10360:44;12082:15:0;10420:19:1;;;10413:35;-1:-1:-1;;;;;11908:6:0;;;;:22;;11938:9;;10122:19:1;;11908:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11763:343;;:::o;1116:276::-;1202:7;1237:12;1230:5;1222:28;;;;-1:-1:-1;;;1222:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1261:9:0;1273:5;1277:1;1273;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;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:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;4518:127::-;4579:10;4574:3;4570:20;4567:1;4560:31;4610:4;4607:1;4600:15;4634:4;4631:1;4624:15;4650:128;4717:9;;;4738:11;;;4735:37;;;4752:18;;:::i;4783:168::-;4856:9;;;4887;;4904:15;;;4898:22;;4884:37;4874:71;;4925:18;;:::i;4956:217::-;4996:1;5022;5012:132;;5066:10;5061:3;5057:20;5054:1;5047:31;5101:4;5098:1;5091:15;5129:4;5126:1;5119:15;5012:132;-1:-1:-1;5158:9:1;;4956:217::o;7108:125::-;7173:9;;;7194:10;;;7191:36;;;7207:18;;:::i;8474:127::-;8535:10;8530:3;8526:20;8523:1;8516:31;8566:4;8563:1;8556:15;8590:4;8587:1;8580:15;8606:251;8676:6;8729:2;8717:9;8708:7;8704:23;8700:32;8697:52;;;8745:1;8742;8735:12;8697:52;8777:9;8771:16;8796:31;8821:5;8796:31;:::i;8862:980::-;9124:4;9172:3;9161:9;9157:19;9203:6;9192:9;9185:25;9229:2;9267:6;9262:2;9251:9;9247:18;9240:34;9310:3;9305:2;9294:9;9290:18;9283:31;9334:6;9369;9363:13;9400:6;9392;9385:22;9438:3;9427:9;9423:19;9416:26;;9477:2;9469:6;9465:15;9451:29;;9498:1;9508:195;9522:6;9519:1;9516:13;9508:195;;;9587:13;;-1:-1:-1;;;;;9583:39:1;9571:52;;9678:15;;;;9643:12;;;;9619:1;9537:9;9508:195;;;-1:-1:-1;;;;;;;9759:32:1;;;;9754:2;9739:18;;9732:60;-1:-1:-1;;;9823:3:1;9808:19;9801:35;9720:3;8862:980;-1:-1:-1;;;8862:980:1:o;10459:306::-;10547:6;10555;10563;10616:2;10604:9;10595:7;10591:23;10587:32;10584:52;;;10632:1;10629;10622:12;10584:52;10661:9;10655:16;10645:26;;10711:2;10700:9;10696:18;10690:25;10680:35;;10755:2;10744:9;10740:18;10734:25;10724:35;;10459:306;;;;;:::o

ipfs://dfa998ac3d83f69b6cbd5d96cddf5f79333f85e41a61911217b58fa15c4a5585