Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function 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, ... interface IRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function swapExactTokensForETHSupport ...    - function isOwner(address account)    - function transferOwnership(address pa ...    - function renounceOwnership() interface IFactory    - function createPair(address tokenA, a ...  contract LBOT is IERC20, Ownable *    - function name()    - function symbol()    - function approve(address spender, uin ...    - function getOwner()    - function _approve(address owner, addr ...    - function balanceOf(address account)    - function transfer(address recipient, ...    - function totalSupply()    - function getTargetAmount(address send ...    - function allowance(address owner, add ...    - function startTrading()    - function decimals()    - function checkSwapping(address sender ...    - function getFeesOnTx(address sender, ...    - function setTransactionRequirements(u ...    - function transferFrom(address sender, ...    - function swapTokensAndSendFee(uint256 ...    - function addLiquidity(uint256 tokenAm ...    - function swapTokensForETH(uint256 tok ...    - function _transfer(address sender, ad ...    - function setTransactionLimits(uint256 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-10-02
*/

// SPDX-License-Identifier: MIT

/*
Lumina, a #TradingBot for $ETH, boasts features such as limit orders, built-in MEV protection, and an integrated referral program, with exciting updates on the horizon.

Website: https://luminabot.org
Twiter: https://twitter.com/LuminaLabsERC
Telegram: https://t.me/LuminaLabsERC
Bot: https://t.me/luminalabs_bot
*/

pragma solidity 0.8.21;
library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }
    function 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);
}
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;
}
abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {owner = _owner;}
    modifier onlyOwner() {require(isOwner(msg.sender), "!OWNER"); _;}
    function isOwner(address account) public view returns (bool) {return account == owner;}
    function transferOwnership(address payable adr) public onlyOwner {owner = adr; emit OwnershipTransferred(adr);}
    function renounceOwnership() public onlyOwner {owner = address(0); emit OwnershipTransferred(address(0));}
    event OwnershipTransferred(address owner);
}
interface IFactory{
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
contract LBOT is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = unicode"Lumina Bot";
    string private constant _symbol = unicode"LBOT";
    uint8 private constant _decimals = 9;
    uint256 private _supply = 1000000000 * (10 ** _decimals);
    IRouter router;
    address public pair;
    bool private tradingEnabled = false;
    bool private swapEnabled = true;
    uint256 private taxxedTime;
    bool private swapping;
    uint256 taxSwapAt;
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isExemptFee;
    uint256 private mxTaxSwap = ( _supply * 1000 ) / 100000;
    uint256 private mnTaxSwap = ( _supply * 10 ) / 100000;
    modifier lockSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 0;
    uint256 private developmentFee = 100;
    uint256 private burnFee = 0;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal devAd = 0x52A3E9a484109a8856F618C9C20278156eF34D79; 
    address internal mktAd = 0x52A3E9a484109a8856F618C9C20278156eF34D79;
    address internal lpAdd = 0x52A3E9a484109a8856F618C9C20278156eF34D79;
    uint256 private buyFee = 1400;
    uint256 private sellFee = 2500;
    uint256 private transferFee = 1400;
    uint256 public mxTxSz = ( _supply * 200 ) / 10000;
    uint256 public mxSell = ( _supply * 200 ) / 10000;
    uint256 public mxWallet = ( _supply * 200 ) / 10000;
    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router; pair = _pair;
        isExemptFee[lpAdd] = true;
        isExemptFee[mktAd] = true;
        isExemptFee[devAd] = true;
        isExemptFee[msg.sender] = true;
        _balances[msg.sender] = _supply;
        emit Transfer(address(0), msg.sender, _supply);
    }
    function name() public pure returns (string memory) {return _name;}
    function symbol() public pure returns (string memory) {return _symbol;}
    function approve(address spender, uint256 amount) public override returns (bool) {_approve(msg.sender, spender, amount);return true;}
    function getOwner() external view override returns (address) { return owner; }
    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function 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 totalSupply() public view override returns (uint256) {return _supply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}
    function getTargetAmount(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if (isExemptFee[recipient]) {return mxTxSz;}
        if(getFeesOnTx(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(getFeesOnTx(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0) && getFeesOnTx(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function startTrading() external onlyOwner {tradingEnabled = true;}
    function decimals() public pure returns (uint8) {return _decimals;}
    function checkSwapping(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= mnTaxSwap;
        bool aboveThreshold = balanceOf(address(this)) >= mxTaxSwap;
        return !swapping && swapEnabled && tradingEnabled && aboveMin && !isExemptFee[sender] && recipient == pair && taxxedTime >= taxSwapAt && aboveThreshold;
    }
    function getFeesOnTx(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pair){return sellFee;}
        if(sender == pair){return buyFee;}
        return transferFee;
    }
    function setTransactionRequirements(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity; marketingFee = _marketing; burnFee = _burn; developmentFee = _development; buyFee = _total; sellFee = _sell; transferFee = _trans;
        require(buyFee <= denominator.div(1) && sellFee <= denominator.div(1) && transferFee <= denominator.div(1), "buyFee and sellFee cannot be more than 20%");
    }
    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 swapTokensAndSendFee(uint256 tokens) private lockSwap {
        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(mktAd).transfer(marketingAmt);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(devAd).transfer(contractBalance);}
    }
    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            lpAdd,
            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);
    }
    receive() external payable {}
    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(!isExemptFee[sender] && !isExemptFee[recipient]){require(tradingEnabled, "tradingEnabled");}
        if(!isExemptFee[sender] && !isExemptFee[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= mxWallet, "Exceeds maximum wallet amount.");}
        if(sender != pair){require(amount <= mxSell || isExemptFee[sender] || isExemptFee[recipient], "TX Limit Exceeded");}
        require(amount <= mxTxSz || isExemptFee[sender] || isExemptFee[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isExemptFee[sender]){taxxedTime += uint256(1);}
        if(checkSwapping(sender, recipient, amount)){swapTokensAndSendFee(mxTaxSwap); taxxedTime = uint256(0);}
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = !isExemptFee[sender] ? getTargetAmount(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }
    function setTransactionLimits(uint256 _buy, uint256 _sell, uint256 _wallet) external onlyOwner {
        uint256 newTx = _supply.mul(_buy).div(10000); uint256 newTransfer = _supply.mul(_sell).div(10000); uint256 newWallet = _supply.mul(_wallet).div(10000);
        mxTxSz = newTx; mxSell = newTransfer; mxWallet = newWallet;
        uint256 limit = totalSupply().mul(5).div(1000);
        require(newTx >= limit && newTransfer >= limit && newWallet >= limit, "Max TXs and Max Wallet cannot be less than .5%");
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isExemptFee","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":"mxSell","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mxTxSz","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mxWallet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_buy","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_wallet","type":"uint256"}],"name":"setTransactionLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidity","type":"uint256"},{"internalType":"uint256","name":"_marketing","type":"uint256"},{"internalType":"uint256","name":"_burn","type":"uint256"},{"internalType":"uint256","name":"_development","type":"uint256"},{"internalType":"uint256","name":"_total","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"}],"name":"setTransactionRequirements","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"adr","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a620004ae565b6200002290633b9aca00620004c5565b60018190556003805461ffff60a01b1916600160a81b179055620186a0906200004e906103e8620004c5565b6200005a9190620004df565b600a55620186a0600154600a620000729190620004c5565b6200007e9190620004df565b600b555f600c819055600d8190556064600e55600f556127106010819055601180547352a3e9a484109a8856f618c9c20278156ef34d796001600160a01b031991821681179092556012805482168317905560138054909116909117905561057860148190556109c4601555601655600154620000fd9060c8620004c5565b620001099190620004df565b60175561271060015460c8620001209190620004c5565b6200012c9190620004df565b60185561271060015460c8620001439190620004c5565b6200014f9190620004df565b6019553480156200015e575f80fd5b505f80546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001c3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001e99190620004ff565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000235573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200025b9190620004ff565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002a6573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002cc9190620004ff565b600280546001600160a01b038581166001600160a01b03199283161790925560038054848416921691909117905560135481165f908152600960209081526040808320805460ff19908116600190811790925560125486168552828520805482168317905560115490951684528184208054861682179055338085528285208054909616821790955554600783528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000527565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620003f357815f1904821115620003d757620003d76200039f565b80851615620003e557918102915b93841c9390800290620003b8565b509250929050565b5f826200040b57506001620004a8565b816200041957505f620004a8565b81600181146200043257600281146200043d576200045d565b6001915050620004a8565b60ff8411156200045157620004516200039f565b50506001821b620004a8565b5060208310610133831016604e8410600b841016171562000482575081810a620004a8565b6200048e8383620003b3565b805f1904821115620004a457620004a46200039f565b0290505b92915050565b5f620004be60ff841683620003fb565b9392505050565b8082028115828204841417620004a857620004a86200039f565b5f82620004fa57634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121562000510575f80fd5b81516001600160a01b0381168114620004be575f80fd5b61182b80620005355f395ff3fe608060405260043610610129575f3560e01c8063891ff84a116100a8578063a9059cbb1161006d578063a9059cbb1461036b578063cb7f97d71461038a578063dd62ed3e146103a9578063e98c9d04146103ed578063f1d1db7914610402578063f2fde38b14610417575f80fd5b8063891ff84a146102a3578063893d20e8146102d157806395d89b41146103015780639cc353511461032d578063a8aa1b311461034c575f80fd5b80632f54bf6e116100ee5780632f54bf6e146101fe578063313ce5671461022b578063673d59c11461024657806370a082311461025b578063715018a61461028f575f80fd5b806306fdde0314610134578063095ea7b31461017857806318160ddd146101a757806323b872dd146101c9578063293230b8146101e8575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600a815269131d5b5a5b9848109bdd60b21b60208201525b60405161016f91906114e8565b60405180910390f35b348015610183575f80fd5b5061019761019236600461154a565b610436565b604051901515815260200161016f565b3480156101b2575f80fd5b506101bb61044c565b60405190815260200161016f565b3480156101d4575f80fd5b506101976101e3366004611574565b6104bc565b3480156101f3575f80fd5b506101fc610524565b005b348015610209575f80fd5b506101976102183660046115b2565b5f546001600160a01b0391821691161490565b348015610236575f80fd5b506040516009815260200161016f565b348015610251575f80fd5b506101bb60185481565b348015610266575f80fd5b506101bb6102753660046115b2565b6001600160a01b03165f9081526007602052604090205490565b34801561029a575f80fd5b506101fc61056b565b3480156102ae575f80fd5b506101976102bd3660046115b2565b60096020525f908152604090205460ff1681565b3480156102dc575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016f565b34801561030c575f80fd5b50604080518082019091526004815263131093d560e21b6020820152610162565b348015610338575f80fd5b506101fc6103473660046115cd565b6105d8565b348015610357575f80fd5b506003546102e9906001600160a01b031681565b348015610376575f80fd5b5061019761038536600461154a565b610714565b348015610395575f80fd5b506101fc6103a43660046115f6565b610720565b3480156103b4575f80fd5b506101bb6103c336600461163d565b6001600160a01b039182165f90815260086020908152604080832093909416825291909152205490565b3480156103f8575f80fd5b506101bb60175481565b34801561040d575f80fd5b506101bb60195481565b348015610422575f80fd5b506101fc6104313660046115b2565b610814565b5f610442338484610890565b5060015b92915050565b60076020527f6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df5461dead5f9081527fb0c2646e02af70b79e3fe9277b98373379f54150e4e26b2b5650139f7a75a65d5460015491926104b79290916104b191906109b3565b906109b3565b905090565b5f6104c88484846109be565b6105198433610514856040518060600160405280602881526020016117ce602891396001600160a01b038a165f9081526008602090815260408083203384529091529020549190610eff565b610890565b5060015b9392505050565b5f546001600160a01b031633146105565760405162461bcd60e51b815260040161054d90611674565b60405180910390fd5b6003805460ff60a01b1916600160a01b179055565b5f546001600160a01b031633146105945760405162461bcd60e51b815260040161054d90611674565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f546001600160a01b031633146106015760405162461bcd60e51b815260040161054d90611674565b5f61062361271061061d86600154610f2a90919063ffffffff16565b90610f35565b90505f61064161271061061d86600154610f2a90919063ffffffff16565b90505f61065f61271061061d86600154610f2a90919063ffffffff16565b60178490556018839055601981905590505f61068a6103e861061d600561068461044c565b90610f2a565b905080841015801561069c5750808310155b80156106a85750808210155b61070b5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161054d565b50505050505050565b5f6104423384846109be565b5f546001600160a01b031633146107495760405162461bcd60e51b815260040161054d90611674565b600c879055600d869055600f859055600e84905560148390556015829055601681905560105461077a906001610f35565b6014541115801561079a5750601054610794906001610f35565b60155411155b80156107b557506010546107af906001610f35565b60165411155b61070b5760405162461bcd60e51b815260206004820152602a60248201527f62757946656520616e642073656c6c4665652063616e6e6f74206265206d6f7260448201526965207468616e2032302560b01b606482015260840161054d565b5f546001600160a01b0316331461083d5760405162461bcd60e51b815260040161054d90611674565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108f25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054d565b6001600160a01b0382166109535760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054d565b6001600160a01b038381165f8181526008602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051d82846116a8565b6001600160a01b038316610a225760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054d565b6001600160a01b038216610a845760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054d565b6001600160a01b0383165f90815260076020526040902054811115610b055760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161054d565b6001600160a01b0383165f9081526009602052604090205460ff16158015610b4557506001600160a01b0382165f9081526009602052604090205460ff16155b15610b9457600354600160a01b900460ff16610b945760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d15b98589b195960921b604482015260640161054d565b6001600160a01b0383165f9081526009602052604090205460ff16158015610bd457506001600160a01b0382165f9081526009602052604090205460ff16155b8015610bee57506003546001600160a01b03838116911614155b8015610c0557506001600160a01b03821661dead14155b15610c7d576019546001600160a01b0383165f90815260076020526040902054610c2f9083610f40565b1115610c7d5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054d565b6003546001600160a01b03848116911614610d1c5760185481111580610cba57506001600160a01b0383165f9081526009602052604090205460ff165b80610cdc57506001600160a01b0382165f9081526009602052604090205460ff165b610d1c5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054d565b60175481111580610d4457506001600160a01b0383165f9081526009602052604090205460ff165b80610d6657506001600160a01b0382165f9081526009602052604090205460ff165b610da65760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054d565b6003546001600160a01b038381169116148015610ddb57506001600160a01b0383165f9081526009602052604090205460ff16155b15610df857600160045f828254610df291906116bb565b90915550505b610e03838383610f4b565b15610e1857610e13600a54611003565b5f6004555b6001600160a01b0383165f90815260076020526040902054610e3a90826109b3565b6001600160a01b0384165f90815260076020908152604080832093909355600990529081205460ff1615610e6e5781610e79565b610e79848484611173565b6001600160a01b0384165f90815260076020526040902054909150610e9e9082610f40565b6001600160a01b038085165f8181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ef19085815260200190565b60405180910390a350505050565b5f8184841115610f225760405162461bcd60e51b815260040161054d91906114e8565b505050900390565b5f61051d82846116ce565b5f61051d82846116e5565b5f61051d82846116bb565b600b54600a54305f9081526007602052604081205460055491938510159211159060ff16158015610f855750600354600160a81b900460ff165b8015610f9a5750600354600160a01b900460ff165b8015610fa35750815b8015610fc757506001600160a01b0386165f9081526009602052604090205460ff16155b8015610fe057506003546001600160a01b038681169116145b8015610ff0575060065460045410155b8015610ff95750805b9695505050505050565b6005805460ff19166001908117909155600e54600d54600c545f9361103c93600293610684939192611036928391610f40565b90610f40565b90505f6110588261061d600c5486610f2a90919063ffffffff16565b90505f61106584836109b3565b9050476110718261129d565b5f61107c47836109b3565b90505f61109e611097600c54886109b390919063ffffffff16565b8390610f35565b90505f6110b6600c5483610f2a90919063ffffffff16565b905080156110c8576110c886826113ed565b600d545f906110dc90610684856002610f2a565b9050801561111d576012546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561111b573d5f803e3d5ffd5b505b47801561115d576011546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561115b573d5f803e3d5ffd5b505b50506005805460ff191690555050505050505050565b6001600160a01b0382165f9081526009602052604081205460ff161561119c575060175461051d565b5f6111a7858561149e565b1115611296575f6111c96111bb868661149e565b601054610684908690610f35565b305f908152600760205260409020549091506111e59082610f40565b305f81815260076020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112359085815260200190565b60405180910390a35f600f541180156112585750600f54611256868661149e565b115b15611284576112843061dead61127f600f5461068460105489610f3590919063ffffffff16565b6109be565b61128e83826109b3565b91505061051d565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106112d0576112d0611704565b6001600160a01b03928316602091820292909201810191909152600254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611327573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061134b9190611718565b8160018151811061135e5761135e611704565b6001600160a01b0392831660209182029290920101526002546113849130911684610890565b60025460405163791ac94760e01b81526001600160a01b039091169063791ac947906113bc9085905f90869030904290600401611733565b5f604051808303815f87803b1580156113d3575f80fd5b505af11580156113e5573d5f803e3d5ffd5b505050505050565b6002546114059030906001600160a01b031684610890565b60025460135460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015611472573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061149791906117a2565b5050505050565b6003545f906001600160a01b03908116908316036114bf5750601554610446565b6003546001600160a01b03908116908416036114de5750601454610446565b5060165492915050565b5f6020808352835180828501525f5b81811015611513578581018301518582016040015282016114f7565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611547575f80fd5b50565b5f806040838503121561155b575f80fd5b823561156681611533565b946020939093013593505050565b5f805f60608486031215611586575f80fd5b833561159181611533565b925060208401356115a181611533565b929592945050506040919091013590565b5f602082840312156115c2575f80fd5b813561051d81611533565b5f805f606084860312156115df575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a03121561160c575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f806040838503121561164e575f80fd5b823561165981611533565b9150602083013561166981611533565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044657610446611694565b8082018082111561044657610446611694565b808202811582820484141761044657610446611694565b5f826116ff57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611728575f80fd5b815161051d81611533565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156117815784516001600160a01b03168352938301939183019160010161175c565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f606084860312156117b4575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ff15184b296e0be187fe3f3826262e638cce72aac49143d60f791b90a94a1ab364736f6c63430008150033

0x608060405260043610610129575f3560e01c8063891ff84a116100a8578063a9059cbb1161006d578063a9059cbb1461036b578063cb7f97d71461038a578063dd62ed3e146103a9578063e98c9d04146103ed578063f1d1db7914610402578063f2fde38b14610417575f80fd5b8063891ff84a146102a3578063893d20e8146102d157806395d89b41146103015780639cc353511461032d578063a8aa1b311461034c575f80fd5b80632f54bf6e116100ee5780632f54bf6e146101fe578063313ce5671461022b578063673d59c11461024657806370a082311461025b578063715018a61461028f575f80fd5b806306fdde0314610134578063095ea7b31461017857806318160ddd146101a757806323b872dd146101c9578063293230b8146101e8575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600a815269131d5b5a5b9848109bdd60b21b60208201525b60405161016f91906114e8565b60405180910390f35b348015610183575f80fd5b5061019761019236600461154a565b610436565b604051901515815260200161016f565b3480156101b2575f80fd5b506101bb61044c565b60405190815260200161016f565b3480156101d4575f80fd5b506101976101e3366004611574565b6104bc565b3480156101f3575f80fd5b506101fc610524565b005b348015610209575f80fd5b506101976102183660046115b2565b5f546001600160a01b0391821691161490565b348015610236575f80fd5b506040516009815260200161016f565b348015610251575f80fd5b506101bb60185481565b348015610266575f80fd5b506101bb6102753660046115b2565b6001600160a01b03165f9081526007602052604090205490565b34801561029a575f80fd5b506101fc61056b565b3480156102ae575f80fd5b506101976102bd3660046115b2565b60096020525f908152604090205460ff1681565b3480156102dc575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016f565b34801561030c575f80fd5b50604080518082019091526004815263131093d560e21b6020820152610162565b348015610338575f80fd5b506101fc6103473660046115cd565b6105d8565b348015610357575f80fd5b506003546102e9906001600160a01b031681565b348015610376575f80fd5b5061019761038536600461154a565b610714565b348015610395575f80fd5b506101fc6103a43660046115f6565b610720565b3480156103b4575f80fd5b506101bb6103c336600461163d565b6001600160a01b039182165f90815260086020908152604080832093909416825291909152205490565b3480156103f8575f80fd5b506101bb60175481565b34801561040d575f80fd5b506101bb60195481565b348015610422575f80fd5b506101fc6104313660046115b2565b610814565b5f610442338484610890565b5060015b92915050565b60076020527f6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df5461dead5f9081527fb0c2646e02af70b79e3fe9277b98373379f54150e4e26b2b5650139f7a75a65d5460015491926104b79290916104b191906109b3565b906109b3565b905090565b5f6104c88484846109be565b6105198433610514856040518060600160405280602881526020016117ce602891396001600160a01b038a165f9081526008602090815260408083203384529091529020549190610eff565b610890565b5060015b9392505050565b5f546001600160a01b031633146105565760405162461bcd60e51b815260040161054d90611674565b60405180910390fd5b6003805460ff60a01b1916600160a01b179055565b5f546001600160a01b031633146105945760405162461bcd60e51b815260040161054d90611674565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f546001600160a01b031633146106015760405162461bcd60e51b815260040161054d90611674565b5f61062361271061061d86600154610f2a90919063ffffffff16565b90610f35565b90505f61064161271061061d86600154610f2a90919063ffffffff16565b90505f61065f61271061061d86600154610f2a90919063ffffffff16565b60178490556018839055601981905590505f61068a6103e861061d600561068461044c565b90610f2a565b905080841015801561069c5750808310155b80156106a85750808210155b61070b5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161054d565b50505050505050565b5f6104423384846109be565b5f546001600160a01b031633146107495760405162461bcd60e51b815260040161054d90611674565b600c879055600d869055600f859055600e84905560148390556015829055601681905560105461077a906001610f35565b6014541115801561079a5750601054610794906001610f35565b60155411155b80156107b557506010546107af906001610f35565b60165411155b61070b5760405162461bcd60e51b815260206004820152602a60248201527f62757946656520616e642073656c6c4665652063616e6e6f74206265206d6f7260448201526965207468616e2032302560b01b606482015260840161054d565b5f546001600160a01b0316331461083d5760405162461bcd60e51b815260040161054d90611674565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108f25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054d565b6001600160a01b0382166109535760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054d565b6001600160a01b038381165f8181526008602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051d82846116a8565b6001600160a01b038316610a225760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054d565b6001600160a01b038216610a845760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054d565b6001600160a01b0383165f90815260076020526040902054811115610b055760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161054d565b6001600160a01b0383165f9081526009602052604090205460ff16158015610b4557506001600160a01b0382165f9081526009602052604090205460ff16155b15610b9457600354600160a01b900460ff16610b945760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d15b98589b195960921b604482015260640161054d565b6001600160a01b0383165f9081526009602052604090205460ff16158015610bd457506001600160a01b0382165f9081526009602052604090205460ff16155b8015610bee57506003546001600160a01b03838116911614155b8015610c0557506001600160a01b03821661dead14155b15610c7d576019546001600160a01b0383165f90815260076020526040902054610c2f9083610f40565b1115610c7d5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054d565b6003546001600160a01b03848116911614610d1c5760185481111580610cba57506001600160a01b0383165f9081526009602052604090205460ff165b80610cdc57506001600160a01b0382165f9081526009602052604090205460ff165b610d1c5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054d565b60175481111580610d4457506001600160a01b0383165f9081526009602052604090205460ff165b80610d6657506001600160a01b0382165f9081526009602052604090205460ff165b610da65760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054d565b6003546001600160a01b038381169116148015610ddb57506001600160a01b0383165f9081526009602052604090205460ff16155b15610df857600160045f828254610df291906116bb565b90915550505b610e03838383610f4b565b15610e1857610e13600a54611003565b5f6004555b6001600160a01b0383165f90815260076020526040902054610e3a90826109b3565b6001600160a01b0384165f90815260076020908152604080832093909355600990529081205460ff1615610e6e5781610e79565b610e79848484611173565b6001600160a01b0384165f90815260076020526040902054909150610e9e9082610f40565b6001600160a01b038085165f8181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ef19085815260200190565b60405180910390a350505050565b5f8184841115610f225760405162461bcd60e51b815260040161054d91906114e8565b505050900390565b5f61051d82846116ce565b5f61051d82846116e5565b5f61051d82846116bb565b600b54600a54305f9081526007602052604081205460055491938510159211159060ff16158015610f855750600354600160a81b900460ff165b8015610f9a5750600354600160a01b900460ff165b8015610fa35750815b8015610fc757506001600160a01b0386165f9081526009602052604090205460ff16155b8015610fe057506003546001600160a01b038681169116145b8015610ff0575060065460045410155b8015610ff95750805b9695505050505050565b6005805460ff19166001908117909155600e54600d54600c545f9361103c93600293610684939192611036928391610f40565b90610f40565b90505f6110588261061d600c5486610f2a90919063ffffffff16565b90505f61106584836109b3565b9050476110718261129d565b5f61107c47836109b3565b90505f61109e611097600c54886109b390919063ffffffff16565b8390610f35565b90505f6110b6600c5483610f2a90919063ffffffff16565b905080156110c8576110c886826113ed565b600d545f906110dc90610684856002610f2a565b9050801561111d576012546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561111b573d5f803e3d5ffd5b505b47801561115d576011546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561115b573d5f803e3d5ffd5b505b50506005805460ff191690555050505050505050565b6001600160a01b0382165f9081526009602052604081205460ff161561119c575060175461051d565b5f6111a7858561149e565b1115611296575f6111c96111bb868661149e565b601054610684908690610f35565b305f908152600760205260409020549091506111e59082610f40565b305f81815260076020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112359085815260200190565b60405180910390a35f600f541180156112585750600f54611256868661149e565b115b15611284576112843061dead61127f600f5461068460105489610f3590919063ffffffff16565b6109be565b61128e83826109b3565b91505061051d565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106112d0576112d0611704565b6001600160a01b03928316602091820292909201810191909152600254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611327573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061134b9190611718565b8160018151811061135e5761135e611704565b6001600160a01b0392831660209182029290920101526002546113849130911684610890565b60025460405163791ac94760e01b81526001600160a01b039091169063791ac947906113bc9085905f90869030904290600401611733565b5f604051808303815f87803b1580156113d3575f80fd5b505af11580156113e5573d5f803e3d5ffd5b505050505050565b6002546114059030906001600160a01b031684610890565b60025460135460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015611472573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061149791906117a2565b5050505050565b6003545f906001600160a01b03908116908316036114bf5750601554610446565b6003546001600160a01b03908116908416036114de5750601454610446565b5060165492915050565b5f6020808352835180828501525f5b81811015611513578581018301518582016040015282016114f7565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611547575f80fd5b50565b5f806040838503121561155b575f80fd5b823561156681611533565b946020939093013593505050565b5f805f60608486031215611586575f80fd5b833561159181611533565b925060208401356115a181611533565b929592945050506040919091013590565b5f602082840312156115c2575f80fd5b813561051d81611533565b5f805f606084860312156115df575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a03121561160c575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f806040838503121561164e575f80fd5b823561165981611533565b9150602083013561166981611533565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044657610446611694565b8082018082111561044657610446611694565b808202811582820484141761044657610446611694565b5f826116ff57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611728575f80fd5b815161051d81611533565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156117815784516001600160a01b03168352938301939183019160010161175c565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f606084860312156117b4575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ff15184b296e0be187fe3f3826262e638cce72aac49143d60f791b90a94a1ab364736f6c63430008150033

3866:9445:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6025:67;;;;;;;;;;-1:-1:-1;6085:5:0;;;;;;;;;;;;-1:-1:-1;;;6085:5:0;;;;6025:67;;;;;;;:::i;:::-;;;;;;;;6175:133;;;;;;;;;;-1:-1:-1;6175:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6175:133:0;1023:187:1;6993:127:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;6993:127:0;1215:177:1;9205:309:0;;;;;;;;;;-1:-1:-1;9205:309:0;;;;;:::i;:::-;;:::i;7917:67::-;;;;;;;;;;;;;:::i;:::-;;3383:87;;;;;;;;;;-1:-1:-1;3383:87:0;;;;;:::i;:::-;3438:4;3463:5;-1:-1:-1;;;;;3452:16:0;;;3463:5;;3452:16;;3383:87;7990:67;;;;;;;;;;-1:-1:-1;7990:67:0;;4086:1;2252:36:1;;2240:2;2225:18;7990:67:0;2110:184:1;5398:49:0;;;;;;;;;;;;;;;;6739:103;;;;;;;;;;-1:-1:-1;6739:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;6822:18:0;6805:7;6822:18;;;:9;:18;;;;;;;6739:103;3593:106;;;;;;;;;;;;;:::i;4490:44::-;;;;;;;;;;-1:-1:-1;4490:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;6314:78;;;;;;;;;;-1:-1:-1;6366:7:0;6384:5;-1:-1:-1;;;;;6384:5:0;6314:78;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;6314:78:0;2299:203:1;6098:71:0;;;;;;;;;;-1:-1:-1;6160:7:0;;;;;;;;;;;;-1:-1:-1;;;6160:7:0;;;;6098:71;;12788:520;;;;;;;;;;-1:-1:-1;12788:520:0;;;;;:::i;:::-;;:::i;4178:19::-;;;;;;;;;;-1:-1:-1;4178:19:0;;;;-1:-1:-1;;;;;4178:19:0;;;6848:139;;;;;;;;;;-1:-1:-1;6848:139:0;;;;;:::i;:::-;;:::i;8681:518::-;;;;;;;;;;-1:-1:-1;8681:518:0;;;;;:::i;:::-;;:::i;7784:127::-;;;;;;;;;;-1:-1:-1;7784:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7882:18:0;;;7865:7;7882:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7784:127;5342:49;;;;;;;;;;;;;;;;5454:51;;;;;;;;;;;;;;;;3476:111;;;;;;;;;;-1:-1:-1;3476:111:0;;;;;:::i;:::-;;:::i;6175:133::-;6250:4;6257:37;6266:10;6278:7;6287:6;6257:8;:37::i;:::-;-1:-1:-1;6302:4:0;6175:133;;;;;:::o;6993:127::-;6822:9;:18;;;;4956:42;7046:7;6822:18;;;;;7063:7;;7046;;7063:55;;6822:18;;7063:28;;:7;:11;:28::i;:::-;:32;;:55::i;:::-;7056:62;;6993:127;:::o;9205:309::-;9303:4;9320:36;9330:6;9338:9;9349:6;9320:9;:36::i;:::-;9367:117;9376:6;9384:10;9396:87;9432:6;9396:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9396:19:0;;;;;;:11;:19;;;;;;;;9416:10;9396:31;;;;;;;;;:87;:35;:87::i;:::-;9367:8;:117::i;:::-;-1:-1:-1;9502:4:0;9205:309;;;;;;:::o;7917:67::-;3438:4;3463:5;-1:-1:-1;;;;;3463:5:0;3350:10;3452:16;3334:38;;;;-1:-1:-1;;;3334:38:0;;;;;;;:::i;:::-;;;;;;;;;7961:14:::1;:21:::0;;-1:-1:-1;;;;7961:21:0::1;-1:-1:-1::0;;;7961:21:0::1;::::0;;7917:67::o;3593:106::-;3438:4;3463:5;-1:-1:-1;;;;;3463:5:0;3350:10;3452:16;3334:38;;;;-1:-1:-1;;;3334:38:0;;;;;;;:::i;:::-;3656:1:::1;3640:18:::0;;-1:-1:-1;;;;;;3640:18:0::1;::::0;;3665:32:::1;::::0;2445:51:1;;;3665:32:0::1;::::0;2433:2:1;2418:18;3665:32:0::1;;;;;;;3593:106::o:0;12788:520::-;3438:4;3463:5;-1:-1:-1;;;;;3463:5:0;3350:10;3452:16;3334:38;;;;-1:-1:-1;;;3334:38:0;;;;;;;:::i;:::-;12894:13:::1;12910:28;12932:5;12910:17;12922:4;12910:7;;:11;;:17;;;;:::i;:::-;:21:::0;::::1;:28::i;:::-;12894:44;;12940:19;12962:29;12985:5;12962:18;12974:5;12962:7;;:11;;:18;;;;:::i;:29::-;12940:51;;12993:17;13013:31;13038:5;13013:20;13025:7;13013;;:11;;:20;;;;:::i;:31::-;13055:6;:14:::0;;;13071:6:::1;:20:::0;;;13093:8:::1;:20:::0;;;12993:51;-1:-1:-1;;13140:30:0::1;13165:4;13140:20;13158:1;13140:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;13124:46;;13198:5;13189;:14;;:38;;;;;13222:5;13207:11;:20;;13189:38;:60;;;;;13244:5;13231:9;:18;;13189:60;13181:119;;;::::0;-1:-1:-1;;;13181:119:0;;4614:2:1;13181:119:0::1;::::0;::::1;4596:21:1::0;4653:2;4633:18;;;4626:30;4692:34;4672:18;;;4665:62;-1:-1:-1;;;4743:18:1;;;4736:44;4797:19;;13181:119:0::1;4412:410:1::0;13181:119:0::1;12883:425;;;;12788:520:::0;;;:::o;6848:139::-;6926:4;6933:40;6943:10;6955:9;6966:6;6933:9;:40::i;8681:518::-;3438:4;3463:5;-1:-1:-1;;;;;3463:5:0;3350:10;3452:16;3334:38;;;;-1:-1:-1;;;3334:38:0;;;;;;;:::i;:::-;8871:12:::1;:25:::0;;;8898:12:::1;:25:::0;;;8925:7:::1;:15:::0;;;8942:14:::1;:29:::0;;;8973:6:::1;:15:::0;;;8990:7:::1;:15:::0;;;9007:11:::1;:20:::0;;;9056:11:::1;::::0;:18:::1;::::0;-1:-1:-1;9056:15:0::1;:18::i;:::-;9046:6;;:28;;:61;;;;-1:-1:-1::0;9089:11:0::1;::::0;:18:::1;::::0;9105:1:::1;9089:15;:18::i;:::-;9078:7;;:29;;9046:61;:98;;;;-1:-1:-1::0;9126:11:0::1;::::0;:18:::1;::::0;9142:1:::1;9126:15;:18::i;:::-;9111:11;;:33;;9046:98;9038:153;;;::::0;-1:-1:-1;;;9038:153:0;;5029:2:1;9038:153:0::1;::::0;::::1;5011:21:1::0;5068:2;5048:18;;;5041:30;5107:34;5087:18;;;5080:62;-1:-1:-1;;;5158:18:1;;;5151:40;5208:19;;9038:153:0::1;4827:406:1::0;3476:111:0;3438:4;3463:5;-1:-1:-1;;;;;3463:5:0;3350:10;3452:16;3334:38;;;;-1:-1:-1;;;3334:38:0;;;;;;;:::i;:::-;3542:5:::1;:11:::0;;-1:-1:-1;;;;;;3542:11:0::1;-1:-1:-1::0;;;;;3542:11:0;::::1;::::0;;::::1;::::0;;;3560:25:::1;::::0;2445:51:1;;;3560:25:0::1;::::0;2433:2:1;2418:18;3560:25:0::1;;;;;;;3476:111:::0;:::o;6398:335::-;-1:-1:-1;;;;;6491:19:0;;6483:68;;;;-1:-1:-1;;;6483:68:0;;5656:2:1;6483:68:0;;;5638:21:1;5695:2;5675:18;;;5668:30;5734:34;5714:18;;;5707:62;-1:-1:-1;;;5785:18:1;;;5778:34;5829:19;;6483:68:0;5454:400:1;6483:68:0;-1:-1:-1;;;;;6570:21:0;;6562:68;;;;-1:-1:-1;;;6562:68:0;;6061:2:1;6562:68:0;;;6043:21:1;6100:2;6080:18;;;6073:30;6139:34;6119:18;;;6112:62;-1:-1:-1;;;6190:18:1;;;6183:32;6232:19;;6562:68:0;5859:398:1;6562:68:0;-1:-1:-1;;;;;6641:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6693:32;;1361:25:1;;;6693:32:0;;1334:18:1;6693:32:0;;;;;;;6398:335;;;:::o;517:98::-;575:7;602:5;606:1;602;:5;:::i;11375:1407::-;-1:-1:-1;;;;;11472:20:0;;11464:70;;;;-1:-1:-1;;;11464:70:0;;6729:2:1;11464:70:0;;;6711:21:1;6768:2;6748:18;;;6741:30;6807:34;6787:18;;;6780:62;-1:-1:-1;;;6858:18:1;;;6851:35;6903:19;;11464:70:0;6527:401:1;11464:70:0;-1:-1:-1;;;;;11553:23:0;;11545:71;;;;-1:-1:-1;;;11545:71:0;;7135:2:1;11545:71:0;;;7117:21:1;7174:2;7154:18;;;7147:30;7213:34;7193:18;;;7186:62;-1:-1:-1;;;7264:18:1;;;7257:33;7307:19;;11545:71:0;6933:399:1;11545:71:0;-1:-1:-1;;;;;6822:18:0;;6805:7;6822:18;;;:9;:18;;;;;;11635:6;:27;;11627:88;;;;-1:-1:-1;;;11627:88:0;;7539:2:1;11627:88:0;;;7521:21:1;7578:2;7558:18;;;7551:30;7617:34;7597:18;;;7590:62;-1:-1:-1;;;7668:18:1;;;7661:47;7725:19;;11627:88:0;7337:413:1;11627:88:0;-1:-1:-1;;;;;11730:19:0;;;;;;:11;:19;;;;;;;;11729:20;:47;;;;-1:-1:-1;;;;;;11754:22:0;;;;;;:11;:22;;;;;;;;11753:23;11729:47;11726:95;;;11786:14;;-1:-1:-1;;;11786:14:0;;;;11778:41;;;;-1:-1:-1;;;11778:41:0;;7957:2:1;11778:41:0;;;7939:21:1;7996:2;7976:18;;;7969:30;-1:-1:-1;;;8015:18:1;;;8008:44;8069:18;;11778:41:0;7755:338:1;11778:41:0;-1:-1:-1;;;;;11835:19:0;;;;;;:11;:19;;;;;;;;11834:20;:47;;;;-1:-1:-1;;;;;;11859:22:0;;;;;;:11;:22;;;;;;;;11858:23;11834:47;:77;;;;-1:-1:-1;11906:4:0;;-1:-1:-1;;;;;11885:26:0;;;11906:4;;11885:26;;11834:77;:107;;;;-1:-1:-1;;;;;;11915:26:0;;4956:42;11915:26;;11834:107;11831:213;;;11999:8;;-1:-1:-1;;;;;11962:20:0;;;;;;:9;:20;;;;;;:32;;11987:6;11962:24;:32::i;:::-;11961:46;;11953:89;;;;-1:-1:-1;;;11953:89:0;;8300:2:1;11953:89:0;;;8282:21:1;8339:2;8319:18;;;8312:30;8378:32;8358:18;;;8351:60;8428:18;;11953:89:0;8098:354:1;11953:89:0;12067:4;;-1:-1:-1;;;;;12057:14:0;;;12067:4;;12057:14;12054:116;;12091:6;;12081;:16;;:39;;;-1:-1:-1;;;;;;12101:19:0;;;;;;:11;:19;;;;;;;;12081:39;:65;;;-1:-1:-1;;;;;;12124:22:0;;;;;;:11;:22;;;;;;;;12081:65;12073:95;;;;-1:-1:-1;;;12073:95:0;;8659:2:1;12073:95:0;;;8641:21:1;8698:2;8678:18;;;8671:30;-1:-1:-1;;;8717:18:1;;;8710:47;8774:18;;12073:95:0;8457:341:1;12073:95:0;12198:6;;12188;:16;;:39;;;-1:-1:-1;;;;;;12208:19:0;;;;;;:11;:19;;;;;;;;12188:39;:65;;;-1:-1:-1;;;;;;12231:22:0;;;;;;:11;:22;;;;;;;;12188:65;12180:95;;;;-1:-1:-1;;;12180:95:0;;8659:2:1;12180:95:0;;;8641:21:1;8698:2;8678:18;;;8671:30;-1:-1:-1;;;8717:18:1;;;8710:47;8774:18;;12180:95:0;8457:341:1;12180:95:0;12303:4;;-1:-1:-1;;;;;12290:17:0;;;12303:4;;12290:17;:41;;;;-1:-1:-1;;;;;;12312:19:0;;;;;;:11;:19;;;;;;;;12311:20;12290:41;12287:72;;;12355:1;12333:10;;:24;;;;;;;:::i;:::-;;;;-1:-1:-1;;12287:72:0;12372:40;12386:6;12394:9;12405:6;12372:13;:40::i;:::-;12369:103;;;12414:31;12435:9;;12414:20;:31::i;:::-;12468:1;12447:10;:23;12369:103;-1:-1:-1;;;;;12502:17:0;;;;;;:9;:17;;;;;;:29;;12524:6;12502:21;:29::i;:::-;-1:-1:-1;;;;;12482:17:0;;;;;;:9;:17;;;;;;;;:49;;;;12568:11;:19;;;;;;;;12567:20;:74;;12635:6;12567:74;;;12590:42;12606:6;12614:9;12625:6;12590:15;:42::i;:::-;-1:-1:-1;;;;;12675:20:0;;;;;;:9;:20;;;;;;12542:99;;-1:-1:-1;12675:40:0;;12542:99;12675:24;:40::i;:::-;-1:-1:-1;;;;;12652:20:0;;;;;;;:9;:20;;;;;;;:63;;;;12731:43;;;;;;;;;;12759:14;1361:25:1;;1349:2;1334:18;;1215:177;12731:43:0;;;;;;;;11453:1329;11375:1407;;;:::o;933:240::-;1053:7;1114:12;1106:6;;;;1098:29;;;;-1:-1:-1;;;1098:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1149:5:0;;;933:240::o;621:98::-;679:7;706:5;710:1;706;:5;:::i;725:98::-;783:7;810:5;814:1;810;:5;:::i;413:98::-;471:7;498:5;502:1;498;:5;:::i;8063:389::-;8203:9;;8273;;8263:4;8160;6822:18;;;:9;:18;;;;;;8301:8;;8160:4;;8193:19;;;;-1:-1:-1;8245:37:0;;8301:8;;8300:9;:24;;;;-1:-1:-1;8313:11:0;;-1:-1:-1;;;8313:11:0;;;;8300:24;:42;;;;-1:-1:-1;8328:14:0;;-1:-1:-1;;;8328:14:0;;;;8300:42;:54;;;;;8346:8;8300:54;:78;;;;-1:-1:-1;;;;;;8359:19:0;;;;;;:11;:19;;;;;;;;8358:20;8300:78;:99;;;;-1:-1:-1;8395:4:0;;-1:-1:-1;;;;;8382:17:0;;;8395:4;;8382:17;8300:99;:126;;;;;8417:9;;8403:10;;:23;;8300:126;:144;;;;;8430:14;8300:144;8293:151;8063:389;-1:-1:-1;;;;;;8063:389:0:o;9520:1038::-;4682:8;:15;;-1:-1:-1;;4682:15:0;4693:4;4682:15;;;;;;9660:14:::1;::::0;9642:12:::1;::::0;9618::::1;::::0;4682:8;;9617:66:::1;::::0;9681:1:::1;::::0;9618:57:::1;::::0;9660:14;;9618:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;9617:66::-;9594:89;;9694:32;9729:42;9758:12;9729:24;9740:12;;9729:6;:10;;:24;;;;:::i;:42::-;9694:77:::0;-1:-1:-1;9782:14:0::1;9799:36;:6:::0;9694:77;9799:10:::1;:36::i;:::-;9782:53:::0;-1:-1:-1;9871:21:0::1;9903:24;9782:53:::0;9903:16:::1;:24::i;:::-;9938:20;9961:41;:21;9987:14:::0;9961:25:::1;:41::i;:::-;9938:64;;10013:19;10034:48;10051:30;10068:12;;10051;:16;;:30;;;;:::i;:::-;10034:12:::0;;:16:::1;:48::i;:::-;10013:69;;10093:29;10125;10141:12;;10125:11;:15;;:29;;;;:::i;:::-;10093:61:::0;-1:-1:-1;10168:34:0;;10165:103:::1;;10204:61;10217:24;10243:21;10204:12;:61::i;:::-;10324:12;::::0;10278:20:::1;::::0;10301:36:::1;::::0;:18:::1;:11:::0;10317:1:::1;10301:15;:18::i;:36::-;10278:59:::0;-1:-1:-1;10351:16:0;;10348:60:::1;;10377:5;::::0;10369:37:::1;::::0;-1:-1:-1;;;;;10377:5:0;;::::1;::::0;10369:37;::::1;;;::::0;10393:12;;10377:5:::1;10369:37:::0;10377:5;10369:37;10393:12;10377:5;10369:37;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10348:60;10444:21;10479:28:::0;;10476:75:::1;;10517:5;::::0;10509:40:::1;::::0;-1:-1:-1;;;;;10517:5:0;;::::1;::::0;10509:40;::::1;;;::::0;10533:15;;10517:5:::1;10509:40:::0;10517:5;10509:40;10533:15;10517:5;10509:40;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10476:75;-1:-1:-1::0;;4702:8:0;:16;;-1:-1:-1;;4702:16:0;;;-1:-1:-1;;;;;;;;9520:1038:0:o;7126:652::-;-1:-1:-1;;;;;7244:22:0;;7220:7;7244:22;;;:11;:22;;;;;;;;7240:44;;;-1:-1:-1;7276:6:0;;7269:13;;7240:44;7330:1;7297:30;7309:6;7317:9;7297:11;:30::i;:::-;:34;7294:462;;;7343:17;7363:59;7391:30;7403:6;7411:9;7391:11;:30::i;:::-;7374:11;;7363:23;;:6;;:10;:23::i;:59::-;7478:4;7460:24;;;;:9;:24;;;;;;7343:79;;-1:-1:-1;7460:39:0;;7343:79;7460:28;:39::i;:::-;7451:4;7433:24;;;;:9;:24;;;;;;;:66;;;;7515:42;;-1:-1:-1;;;;;7515:42:0;;;;;;;7547:9;1361:25:1;;1349:2;1334:18;;1215:177;7515:42:0;;;;;;;;7589:1;7571:7;;:20;:64;;;;;7628:7;;7595:30;7607:6;7615:9;7595:11;:30::i;:::-;:40;7571:64;7568:148;;;7637:77;7655:4;4956:42;7677:36;7705:7;;7677:23;7688:11;;7677:6;:10;;:23;;;;:::i;:36::-;7637:9;:77::i;:::-;7733:21;:6;7744:9;7733:10;:21::i;:::-;7726:28;;;;;7294:462;-1:-1:-1;7764:6:0;7126:652;-1:-1:-1;;7126:652:0:o;10900:434::-;10990:16;;;11004:1;10990:16;;;;;;;;10966:21;;10990:16;;;;;;;;;;-1:-1:-1;10990:16:0;10966:40;;11035:4;11017;11022:1;11017:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;11017:23:0;;;:7;;;;;;;;;;:23;;;;11061:6;;:13;;;-1:-1:-1;;;11061:13:0;;;;:6;;;;;:11;;:13;;;;;11017:7;;11061:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11051:4;11056:1;11051:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;11051:23:0;;;:7;;;;;;;;;:23;11117:6;;11085:53;;11102:4;;11117:6;11126:11;11085:8;:53::i;:::-;11149:6;;:177;;-1:-1:-1;;;11149:177:0;;-1:-1:-1;;;;;11149:6:0;;;;:57;;:177;;11221:11;;11149:6;;11263:4;;11290;;11310:15;;11149:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10955:379;10900:434;:::o;10564:330::-;10677:6;;10645:53;;10662:4;;-1:-1:-1;;;;;10677:6:0;10686:11;10645:8;:53::i;:::-;10709:6;;10850:5;;10709:177;;-1:-1:-1;;;10709:177:0;;10772:4;10709:177;;;11174:34:1;11224:18;;;11217:34;;;10709:6:0;11267:18:1;;;11260:34;;;11310:18;;;11303:34;-1:-1:-1;;;;;10850:5:0;;;11353:19:1;;;11346:44;10870:15:0;11406:19:1;;;11399:35;10709:6:0;;;:22;;10739:9;;11108:19:1;;10709:177:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;10564:330;;:::o;8458:217::-;8573:4;;8537:7;;-1:-1:-1;;;;;8573:4:0;;;8560:17;;;;8557:38;;-1:-1:-1;8586:7:0;;8579:14;;8557:38;8618:4;;-1:-1:-1;;;;;8618:4:0;;;8608:14;;;;8605:34;;-1:-1:-1;8631:6:0;;8624:13;;8605:34;-1:-1:-1;8656:11:0;;8458:217;;;;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044:31;:::i;2507:316::-;2584:6;2592;2600;2653:2;2641:9;2632:7;2628:23;2624:32;2621:52;;;2669:1;2666;2659:12;2621:52;-1:-1:-1;;2692:23:1;;;2762:2;2747:18;;2734:32;;-1:-1:-1;2813:2:1;2798:18;;;2785:32;;2507:316;-1:-1:-1;2507:316:1:o;2828:592::-;2941:6;2949;2957;2965;2973;2981;2989;3042:3;3030:9;3021:7;3017:23;3013:33;3010:53;;;3059:1;3056;3049:12;3010:53;-1:-1:-1;;3082:23:1;;;3152:2;3137:18;;3124:32;;-1:-1:-1;3203:2:1;3188:18;;3175:32;;3254:2;3239:18;;3226:32;;-1:-1:-1;3305:3:1;3290:19;;3277:33;;-1:-1:-1;3357:3:1;3342:19;;3329:33;;-1:-1:-1;3409:3:1;3394:19;3381:33;;-1:-1:-1;2828:592:1;-1:-1:-1;2828:592:1:o;3425:388::-;3493:6;3501;3554:2;3542:9;3533:7;3529:23;3525:32;3522:52;;;3570:1;3567;3560:12;3522:52;3609:9;3596:23;3628:31;3653:5;3628:31;:::i;:::-;3678:5;-1:-1:-1;3735:2:1;3720:18;;3707:32;3748:33;3707:32;3748:33;:::i;:::-;3800:7;3790:17;;;3425:388;;;;;:::o;4078:329::-;4280:2;4262:21;;;4319:1;4299:18;;;4292:29;-1:-1:-1;;;4352:2:1;4337:18;;4330:36;4398:2;4383:18;;4078:329::o;6262:127::-;6323:10;6318:3;6314:20;6311:1;6304:31;6354:4;6351:1;6344:15;6378:4;6375:1;6368:15;6394:128;6461:9;;;6482:11;;;6479:37;;;6496:18;;:::i;8803:125::-;8868:9;;;8889:10;;;8886:36;;;8902:18;;:::i;8933:168::-;9006:9;;;9037;;9054:15;;;9048:22;;9034:37;9024:71;;9075:18;;:::i;9106:217::-;9146:1;9172;9162:132;;9216:10;9211:3;9207:20;9204:1;9197:31;9251:4;9248:1;9241:15;9279:4;9276:1;9269:15;9162:132;-1:-1:-1;9308:9:1;;9106:217::o;9460:127::-;9521:10;9516:3;9512:20;9509:1;9502:31;9552:4;9549:1;9542:15;9576:4;9573:1;9566:15;9592:251;9662:6;9715:2;9703:9;9694:7;9690:23;9686:32;9683:52;;;9731:1;9728;9721:12;9683:52;9763:9;9757:16;9782:31;9807:5;9782:31;:::i;9848:980::-;10110:4;10158:3;10147:9;10143:19;10189:6;10178:9;10171:25;10215:2;10253:6;10248:2;10237:9;10233:18;10226:34;10296:3;10291:2;10280:9;10276:18;10269:31;10320:6;10355;10349:13;10386:6;10378;10371:22;10424:3;10413:9;10409:19;10402:26;;10463:2;10455:6;10451:15;10437:29;;10484:1;10494:195;10508:6;10505:1;10502:13;10494:195;;;10573:13;;-1:-1:-1;;;;;10569:39:1;10557:52;;10664:15;;;;10629:12;;;;10605:1;10523:9;10494:195;;;-1:-1:-1;;;;;;;10745:32:1;;;;10740:2;10725:18;;10718:60;-1:-1:-1;;;10809:3:1;10794:19;10787:35;10706:3;9848:980;-1:-1:-1;;;9848:980:1:o;11445:306::-;11533:6;11541;11549;11602:2;11590:9;11581:7;11577:23;11573:32;11570:52;;;11618:1;11615;11608:12;11570:52;11647:9;11641:16;11631:26;;11697:2;11686:9;11682:18;11676:25;11666:35;;11741:2;11730:9;11726:18;11720:25;11710:35;;11445:306;;;;;:::o

ipfs://ff15184b296e0be187fe3f3826262e638cce72aac49143d60f791b90a94a1ab3