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(    - function isOwner(address account)    - function transferOwnership(address pa ...    - function renounceOwnership() 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 ... interface IFactory    - function createPair(address tokenA, a ...  contract FLUX is IERC20, Ownable *    - function name()    - function symbol()    - function startTrading()    - function allowance(address owner, add ...    - function balanceOf(address account)    - function transfer(address recipient, ...    - function decimals()    - function approve(address spender, uin ...    - function totalSupply()    - function getOwner()    - function _transfer(address sender, ad ...    - function transferFrom(address sender, ...    - function addLiquidity(uint256 tokenAm ...    - function swapAndBurn(uint256 tokens)    - function setTransactionLimits(uint256 ...    - function _approve(address owner, addr ...    - function setTransactionRequirements(u ...    - function shouldSellTokens(address sen ...    - function getExactFees(address sender, ...    - function getAmountsAfterFee(address s ...    - function swapTokensToiETH(uint256 tok ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
Decentralized lending meets tokenized securities.

Website: https://www.fluxprotocol.net
Telegram: https://t.me/flux_erc
Twitter: https://twitter.com/flux_erc
*/

pragma solidity 0.8.19;

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

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

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 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;
}
interface IFactory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

contract FLUX is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = "Flux Finance";
    string private constant _symbol = "FLUX";

    uint8 private constant _decimals = 9;
    uint256 private _supplyTotal = 10 ** 9 * 10 ** _decimals;
    
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isExemptFees;

    uint256 swapFeeAt;
    bool private inswap;
    modifier lockSwap {inswap = true; _; inswap = false;}
    IRouter router;
    address public pair;

    uint256 private buyFee = 1500;
    uint256 private sellFee = 2500;
    uint256 private transferFee = 1500;
    uint256 private denominator = 10000;
    bool private tradingEnable = false;
    bool private swapEnabled = true;
    address internal devAddr=0x5CCdec8582Cf2C1073D5076D60f6dff510cD4A7F; 
    address internal marketingAddr=0x5CCdec8582Cf2C1073D5076D60f6dff510cD4A7F;
    address internal teamWallet=0x5CCdec8582Cf2C1073D5076D60f6dff510cD4A7F;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    uint256 private feeSwapCount;

    uint256 private burnRate = 0;
    uint256 private lpRate = 0;
    uint256 private mktRate = 0;
    uint256 private devRate = 100;
    uint256 private maxSwapAmount = ( _supplyTotal * 1000 ) / 100000;
    uint256 private minSwapAmount = ( _supplyTotal * 10 ) / 100000;
    uint256 public maxTxSize = ( _supplyTotal * 250 ) / 10000;
    uint256 public maxBuySize = ( _supplyTotal * 250 ) / 10000;
    uint256 public maxWallet = ( _supplyTotal * 250 ) / 10000;

    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router; pair = _pair;
        isExemptFees[teamWallet] = true;
        isExemptFees[marketingAddr] = true;
        isExemptFees[devAddr] = true;
        isExemptFees[msg.sender] = true;
        _balances[msg.sender] = _supplyTotal;
        emit Transfer(address(0), msg.sender, _supplyTotal);
    }
    function name() public pure returns (string memory) {return _name;}
    function symbol() public pure returns (string memory) {return _symbol;}
    function startTrading() external onlyOwner {tradingEnable = true;}    
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, recipient, amount);return true;}
    function decimals() public pure returns (uint8) {return _decimals;}
    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 _supplyTotal.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}
    function getOwner() external view override returns (address) { return owner; }
    
    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(!isExemptFees[sender] && !isExemptFees[recipient]){require(tradingEnable, "tradingEnable");}
        if(!isExemptFees[sender] && !isExemptFees[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= maxWallet, "Exceeds maximum wallet amount.");}
        if(sender != pair){require(amount <= maxBuySize || isExemptFees[sender] || isExemptFees[recipient], "TX Limit Exceeded");}
        require(amount <= maxTxSize || isExemptFees[sender] || isExemptFees[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isExemptFees[sender]){feeSwapCount += uint256(1);}
        if(shouldSellTokens(sender, recipient, amount)){swapAndBurn(maxSwapAmount); feeSwapCount = uint256(0);}
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = !isExemptFees[sender] ? getAmountsAfterFee(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 addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            teamWallet,
            block.timestamp);
    }
    function swapAndBurn(uint256 tokens) private lockSwap {
        uint256 _denominator = (lpRate.add(1).add(mktRate).add(devRate)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(lpRate).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensToiETH(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(lpRate));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(lpRate);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(mktRate);
        if(marketingAmt > 0){payable(marketingAddr).transfer(marketingAmt);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(devAddr).transfer(contractBalance);}
    }
    receive() external payable {}

    function setTransactionLimits(uint256 _buy, uint256 _sell, uint256 _wallet) external onlyOwner {
        uint256 newTx = _supplyTotal.mul(_buy).div(10000); uint256 newTransfer = _supplyTotal.mul(_sell).div(10000); uint256 newWallet = _supplyTotal.mul(_wallet).div(10000);
        maxTxSize = newTx; maxBuySize = newTransfer; maxWallet = newWallet;
        uint256 limit = totalSupply().mul(5).div(1000);
        require(newTx >= limit && newTransfer >= limit && newWallet >= limit, "Max TXs and Max Wallet cannot be less than .5%");
    }
    function _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 setTransactionRequirements(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        lpRate = _liquidity; mktRate = _marketing; burnRate = _burn; devRate = _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 shouldSellTokens(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= minSwapAmount;
        bool aboveThreshold = balanceOf(address(this)) >= maxSwapAmount;
        return !inswap && swapEnabled && tradingEnable && aboveMin && !isExemptFees[sender] && recipient == pair && feeSwapCount >= swapFeeAt && aboveThreshold;
    }

    function getExactFees(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pair){return sellFee;}
        if(sender == pair){return buyFee;}
        return transferFee;
    }
    function getAmountsAfterFee(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if (isExemptFees[recipient]) {return maxTxSize;}
        if(getExactFees(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(getExactFees(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(burnRate > uint256(0) && getExactFees(sender, recipient) > burnRate){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnRate));}
        return amount.sub(feeAmount);} return amount;
    }

    function swapTokensToiETH(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);
    }
}

• 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":"isExemptFees","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":"maxBuySize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxTxSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxWallet","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"}]

6080604052620000126009600a620004df565b6200002290633b9aca00620004f7565b60018190556105dc60088190556109c4600955600a55612710600b55600c80546001600160b01b031916755ccdec8582cf2c1073d5076d60f6dff510cd4a7f0100179055600d8054735ccdec8582cf2c1073d5076d60f6dff510cd4a7f6001600160a01b03199182168117909255600e805490911690911790556000601081905560118190556012556064601355620186a090620000c3906103e8620004f7565b620000cf919062000511565b601455620186a0600154600a620000e79190620004f7565b620000f3919062000511565b60155561271060015460fa6200010a9190620004f7565b62000116919062000511565b60165561271060015460fa6200012d9190620004f7565b62000139919062000511565b60175561271060015460fa620001509190620004f7565b6200015c919062000511565b6018553480156200016c57600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001d4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001fa919062000534565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000248573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200026e919062000534565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015620002bc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002e2919062000534565b60068054610100600160a81b0319166101006001600160a01b038681169190910291909117909155600780546001600160a01b031916838316179055600e5481166000908152600460209081526040808320805460ff199081166001908117909255600d54861685528285208054821683179055600c5462010000900490951684528184208054861682179055338085528285208054909616821790955554600283528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350506200055f565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000421578160001904821115620004055762000405620003ca565b808516156200041357918102915b93841c9390800290620003e5565b509250929050565b6000826200043a57506001620004d9565b816200044957506000620004d9565b81600181146200046257600281146200046d576200048d565b6001915050620004d9565b60ff841115620004815762000481620003ca565b50506001821b620004d9565b5060208310610133831016604e8410600b8410161715620004b2575081810a620004d9565b620004be8383620003e0565b8060001904821115620004d557620004d5620003ca565b0290505b92915050565b6000620004f060ff84168362000429565b9392505050565b8082028115828204841417620004d957620004d9620003ca565b6000826200052f57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200054757600080fd5b81516001600160a01b0381168114620004f057600080fd5b6118d5806200056f6000396000f3fe60806040526004361061012e5760003560e01c80637e150d66116100ab578063a9059cbb1161006f578063a9059cbb1461036c578063cb7f97d71461038c578063dd62ed3e146103ac578063f2fde38b146103f2578063f8b45b0514610412578063fcc78ef11461042857600080fd5b80637e150d66146102b7578063893d20e8146102cd57806395d89b41146102ff5780639cc353511461032c578063a8aa1b311461034c57600080fd5b80632f54bf6e116100f25780632f54bf6e1461020b578063313ce5671461023a5780633c2565ff1461025657806370a082311461026c578063715018a6146102a257600080fd5b806306fdde031461013a578063095ea7b31461018157806318160ddd146101b157806323b872dd146101d4578063293230b8146101f457600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600c81526b466c75782046696e616e636560a01b60208201525b604051610178919061156f565b60405180910390f35b34801561018d57600080fd5b506101a161019c3660046115d5565b610458565b6040519015158152602001610178565b3480156101bd57600080fd5b506101c661046f565b604051908152602001610178565b3480156101e057600080fd5b506101a16101ef366004611601565b6104e0565b34801561020057600080fd5b5061020961054a565b005b34801561021757600080fd5b506101a1610226366004611642565b6000546001600160a01b0391821691161490565b34801561024657600080fd5b5060405160098152602001610178565b34801561026257600080fd5b506101c660175481565b34801561027857600080fd5b506101c6610287366004611642565b6001600160a01b031660009081526002602052604090205490565b3480156102ae57600080fd5b5061020961058c565b3480156102c357600080fd5b506101c660165481565b3480156102d957600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610178565b34801561030b57600080fd5b5060408051808201909152600481526308c98aab60e31b602082015261016b565b34801561033857600080fd5b5061020961034736600461165f565b6105fb565b34801561035857600080fd5b506007546102e7906001600160a01b031681565b34801561037857600080fd5b506101a16103873660046115d5565b61073c565b34801561039857600080fd5b506102096103a736600461168b565b610749565b3480156103b857600080fd5b506101c66103c73660046116d7565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b3480156103fe57600080fd5b5061020961040d366004611642565b61083e565b34801561041e57600080fd5b506101c660185481565b34801561043457600080fd5b506101a1610443366004611642565b60046020526000908152604090205460ff1681565b60006104653384846108bc565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926104db9290916104d591906109e0565b906109e0565b905090565b60006104ed8484846109ec565b61053f843361053a85604051806060016040528060288152602001611878602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610f36565b6108bc565b5060015b9392505050565b6000546001600160a01b0316331461057d5760405162461bcd60e51b815260040161057490611710565b60405180910390fd5b600c805460ff19166001179055565b6000546001600160a01b031633146105b65760405162461bcd60e51b815260040161057490611710565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146106255760405162461bcd60e51b815260040161057490611710565b600061064861271061064286600154610f6290919063ffffffff16565b90610f6e565b9050600061066761271061064286600154610f6290919063ffffffff16565b9050600061068661271061064286600154610f6290919063ffffffff16565b601684905560178390556018819055905060006106b26103e861064260056106ac61046f565b90610f62565b90508084101580156106c45750808310155b80156106d05750808210155b6107335760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610574565b50505050505050565b60006104653384846109ec565b6000546001600160a01b031633146107735760405162461bcd60e51b815260040161057490611710565b601187905560128690556010859055601384905560088390556009829055600a819055600b546107a4906001610f6e565b600854111580156107c45750600b546107be906001610f6e565b60095411155b80156107df5750600b546107d9906001610f6e565b600a5411155b6107335760405162461bcd60e51b815260206004820152602a60248201527f62757946656520616e642073656c6c4665652063616e6e6f74206265206d6f7260448201526965207468616e2032302560b01b6064820152608401610574565b6000546001600160a01b031633146108685760405162461bcd60e51b815260040161057490611710565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661091e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610574565b6001600160a01b03821661097f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610574565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006105438284611746565b6001600160a01b038316610a505760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610574565b6001600160a01b038216610ab25760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610574565b6001600160a01b038316600090815260026020526040902054811115610b345760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610574565b6001600160a01b03831660009081526004602052604090205460ff16158015610b7657506001600160a01b03821660009081526004602052604090205460ff16155b15610bbd57600c5460ff16610bbd5760405162461bcd60e51b815260206004820152600d60248201526c74726164696e67456e61626c6560981b6044820152606401610574565b6001600160a01b03831660009081526004602052604090205460ff16158015610bff57506001600160a01b03821660009081526004602052604090205460ff16155b8015610c1957506007546001600160a01b03838116911614155b8015610c3057506001600160a01b03821661dead14155b15610ca9576018546001600160a01b038316600090815260026020526040902054610c5b9083610f7a565b1115610ca95760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610574565b6007546001600160a01b03848116911614610d4a5760175481111580610ce757506001600160a01b03831660009081526004602052604090205460ff165b80610d0a57506001600160a01b03821660009081526004602052604090205460ff165b610d4a5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610574565b60165481111580610d7357506001600160a01b03831660009081526004602052604090205460ff165b80610d9657506001600160a01b03821660009081526004602052604090205460ff165b610dd65760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610574565b6007546001600160a01b038381169116148015610e0c57506001600160a01b03831660009081526004602052604090205460ff16155b15610e2a576001600f6000828254610e249190611759565b90915550505b610e35838383610f86565b15610e4b57610e45601454611037565b6000600f555b6001600160a01b038316600090815260026020526040902054610e6e90826109e0565b6001600160a01b038416600090815260026020908152604080832093909355600490529081205460ff1615610ea35781610eae565b610eae8484846111b9565b6001600160a01b038416600090815260026020526040902054909150610ed49082610f7a565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f289085815260200190565b60405180910390a350505050565b60008184841115610f5a5760405162461bcd60e51b8152600401610574919061156f565b505050900390565b6000610543828461176c565b60006105438284611783565b60006105438284611759565b6015546014543060009081526002602052604081205460065491938510159211159060ff16158015610fbf5750600c54610100900460ff165b8015610fcd5750600c5460ff165b8015610fd65750815b8015610ffb57506001600160a01b03861660009081526004602052604090205460ff16155b801561101457506007546001600160a01b038681169116145b80156110245750600554600f5410155b801561102d5750805b9695505050505050565b6006805460ff19166001908117909155601354601254601154600093611071936002936106ac93919261106b928391610f7a565b90610f7a565b9050600061108e8261064260115486610f6290919063ffffffff16565b9050600061109c84836109e0565b9050476110a8826112e9565b60006110b447836109e0565b905060006110d76110d0601154886109e090919063ffffffff16565b8390610f6e565b905060006110f060115483610f6290919063ffffffff16565b90508015611102576111028682611466565b601254600090611117906106ac856002610f62565b9050801561115b57600d546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611159573d6000803e3d6000fd5b505b4780156111a357600c54604051620100009091046001600160a01b0316906108fc8315029083906000818181858888f193505050501580156111a1573d6000803e3d6000fd5b505b50506006805460ff191690555050505050505050565b6001600160a01b03821660009081526004602052604081205460ff16156111e35750601654610543565b60006111ef8585611524565b11156112e25760006112126112048686611524565b600b546106ac908690610f6e565b3060009081526002602052604090205490915061122f9082610f7a565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112809085815260200190565b60405180910390a360006010541180156112a457506010546112a28686611524565b115b156112d0576112d03061dead6112cb6010546106ac600b5489610f6e90919063ffffffff16565b6109ec565b6112da83826109e0565b915050610543565b5092915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061131e5761131e6117a5565b60200260200101906001600160a01b031690816001600160a01b031681525050600660019054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015611391573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113b591906117bb565b816001815181106113c8576113c86117a5565b6001600160a01b0392831660209182029290920101526006546113f3913091610100900416846108bc565b60065460405163791ac94760e01b81526101009091046001600160a01b03169063791ac947906114309085906000908690309042906004016117d8565b600060405180830381600087803b15801561144a57600080fd5b505af115801561145e573d6000803e3d6000fd5b505050505050565b60065461148390309061010090046001600160a01b0316846108bc565b600654600e5460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a4820152610100909204169063f305d71990839060c40160606040518083038185885af11580156114f8573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061151d9190611849565b5050505050565b6007546000906001600160a01b03908116908316036115465750600954610469565b6007546001600160a01b03908116908416036115655750600854610469565b50600a5492915050565b600060208083528351808285015260005b8181101561159c57858101830151858201604001528201611580565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115d257600080fd5b50565b600080604083850312156115e857600080fd5b82356115f3816115bd565b946020939093013593505050565b60008060006060848603121561161657600080fd5b8335611621816115bd565b92506020840135611631816115bd565b929592945050506040919091013590565b60006020828403121561165457600080fd5b8135610543816115bd565b60008060006060848603121561167457600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a0312156116a657600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600080604083850312156116ea57600080fd5b82356116f5816115bd565b91506020830135611705816115bd565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8181038181111561046957610469611730565b8082018082111561046957610469611730565b808202811582820484141761046957610469611730565b6000826117a057634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156117cd57600080fd5b8151610543816115bd565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118285784516001600160a01b031683529383019391830191600101611803565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561185e57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c9a49cfc1630c87ed26b534be20516c62e42496ecb89052c73d758c10718c93964736f6c63430008130033

0x60806040526004361061012e5760003560e01c80637e150d66116100ab578063a9059cbb1161006f578063a9059cbb1461036c578063cb7f97d71461038c578063dd62ed3e146103ac578063f2fde38b146103f2578063f8b45b0514610412578063fcc78ef11461042857600080fd5b80637e150d66146102b7578063893d20e8146102cd57806395d89b41146102ff5780639cc353511461032c578063a8aa1b311461034c57600080fd5b80632f54bf6e116100f25780632f54bf6e1461020b578063313ce5671461023a5780633c2565ff1461025657806370a082311461026c578063715018a6146102a257600080fd5b806306fdde031461013a578063095ea7b31461018157806318160ddd146101b157806323b872dd146101d4578063293230b8146101f457600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600c81526b466c75782046696e616e636560a01b60208201525b604051610178919061156f565b60405180910390f35b34801561018d57600080fd5b506101a161019c3660046115d5565b610458565b6040519015158152602001610178565b3480156101bd57600080fd5b506101c661046f565b604051908152602001610178565b3480156101e057600080fd5b506101a16101ef366004611601565b6104e0565b34801561020057600080fd5b5061020961054a565b005b34801561021757600080fd5b506101a1610226366004611642565b6000546001600160a01b0391821691161490565b34801561024657600080fd5b5060405160098152602001610178565b34801561026257600080fd5b506101c660175481565b34801561027857600080fd5b506101c6610287366004611642565b6001600160a01b031660009081526002602052604090205490565b3480156102ae57600080fd5b5061020961058c565b3480156102c357600080fd5b506101c660165481565b3480156102d957600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610178565b34801561030b57600080fd5b5060408051808201909152600481526308c98aab60e31b602082015261016b565b34801561033857600080fd5b5061020961034736600461165f565b6105fb565b34801561035857600080fd5b506007546102e7906001600160a01b031681565b34801561037857600080fd5b506101a16103873660046115d5565b61073c565b34801561039857600080fd5b506102096103a736600461168b565b610749565b3480156103b857600080fd5b506101c66103c73660046116d7565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b3480156103fe57600080fd5b5061020961040d366004611642565b61083e565b34801561041e57600080fd5b506101c660185481565b34801561043457600080fd5b506101a1610443366004611642565b60046020526000908152604090205460ff1681565b60006104653384846108bc565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926104db9290916104d591906109e0565b906109e0565b905090565b60006104ed8484846109ec565b61053f843361053a85604051806060016040528060288152602001611878602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610f36565b6108bc565b5060015b9392505050565b6000546001600160a01b0316331461057d5760405162461bcd60e51b815260040161057490611710565b60405180910390fd5b600c805460ff19166001179055565b6000546001600160a01b031633146105b65760405162461bcd60e51b815260040161057490611710565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146106255760405162461bcd60e51b815260040161057490611710565b600061064861271061064286600154610f6290919063ffffffff16565b90610f6e565b9050600061066761271061064286600154610f6290919063ffffffff16565b9050600061068661271061064286600154610f6290919063ffffffff16565b601684905560178390556018819055905060006106b26103e861064260056106ac61046f565b90610f62565b90508084101580156106c45750808310155b80156106d05750808210155b6107335760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610574565b50505050505050565b60006104653384846109ec565b6000546001600160a01b031633146107735760405162461bcd60e51b815260040161057490611710565b601187905560128690556010859055601384905560088390556009829055600a819055600b546107a4906001610f6e565b600854111580156107c45750600b546107be906001610f6e565b60095411155b80156107df5750600b546107d9906001610f6e565b600a5411155b6107335760405162461bcd60e51b815260206004820152602a60248201527f62757946656520616e642073656c6c4665652063616e6e6f74206265206d6f7260448201526965207468616e2032302560b01b6064820152608401610574565b6000546001600160a01b031633146108685760405162461bcd60e51b815260040161057490611710565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661091e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610574565b6001600160a01b03821661097f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610574565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006105438284611746565b6001600160a01b038316610a505760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610574565b6001600160a01b038216610ab25760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610574565b6001600160a01b038316600090815260026020526040902054811115610b345760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610574565b6001600160a01b03831660009081526004602052604090205460ff16158015610b7657506001600160a01b03821660009081526004602052604090205460ff16155b15610bbd57600c5460ff16610bbd5760405162461bcd60e51b815260206004820152600d60248201526c74726164696e67456e61626c6560981b6044820152606401610574565b6001600160a01b03831660009081526004602052604090205460ff16158015610bff57506001600160a01b03821660009081526004602052604090205460ff16155b8015610c1957506007546001600160a01b03838116911614155b8015610c3057506001600160a01b03821661dead14155b15610ca9576018546001600160a01b038316600090815260026020526040902054610c5b9083610f7a565b1115610ca95760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610574565b6007546001600160a01b03848116911614610d4a5760175481111580610ce757506001600160a01b03831660009081526004602052604090205460ff165b80610d0a57506001600160a01b03821660009081526004602052604090205460ff165b610d4a5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610574565b60165481111580610d7357506001600160a01b03831660009081526004602052604090205460ff165b80610d9657506001600160a01b03821660009081526004602052604090205460ff165b610dd65760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610574565b6007546001600160a01b038381169116148015610e0c57506001600160a01b03831660009081526004602052604090205460ff16155b15610e2a576001600f6000828254610e249190611759565b90915550505b610e35838383610f86565b15610e4b57610e45601454611037565b6000600f555b6001600160a01b038316600090815260026020526040902054610e6e90826109e0565b6001600160a01b038416600090815260026020908152604080832093909355600490529081205460ff1615610ea35781610eae565b610eae8484846111b9565b6001600160a01b038416600090815260026020526040902054909150610ed49082610f7a565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f289085815260200190565b60405180910390a350505050565b60008184841115610f5a5760405162461bcd60e51b8152600401610574919061156f565b505050900390565b6000610543828461176c565b60006105438284611783565b60006105438284611759565b6015546014543060009081526002602052604081205460065491938510159211159060ff16158015610fbf5750600c54610100900460ff165b8015610fcd5750600c5460ff165b8015610fd65750815b8015610ffb57506001600160a01b03861660009081526004602052604090205460ff16155b801561101457506007546001600160a01b038681169116145b80156110245750600554600f5410155b801561102d5750805b9695505050505050565b6006805460ff19166001908117909155601354601254601154600093611071936002936106ac93919261106b928391610f7a565b90610f7a565b9050600061108e8261064260115486610f6290919063ffffffff16565b9050600061109c84836109e0565b9050476110a8826112e9565b60006110b447836109e0565b905060006110d76110d0601154886109e090919063ffffffff16565b8390610f6e565b905060006110f060115483610f6290919063ffffffff16565b90508015611102576111028682611466565b601254600090611117906106ac856002610f62565b9050801561115b57600d546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611159573d6000803e3d6000fd5b505b4780156111a357600c54604051620100009091046001600160a01b0316906108fc8315029083906000818181858888f193505050501580156111a1573d6000803e3d6000fd5b505b50506006805460ff191690555050505050505050565b6001600160a01b03821660009081526004602052604081205460ff16156111e35750601654610543565b60006111ef8585611524565b11156112e25760006112126112048686611524565b600b546106ac908690610f6e565b3060009081526002602052604090205490915061122f9082610f7a565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112809085815260200190565b60405180910390a360006010541180156112a457506010546112a28686611524565b115b156112d0576112d03061dead6112cb6010546106ac600b5489610f6e90919063ffffffff16565b6109ec565b6112da83826109e0565b915050610543565b5092915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061131e5761131e6117a5565b60200260200101906001600160a01b031690816001600160a01b031681525050600660019054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015611391573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113b591906117bb565b816001815181106113c8576113c86117a5565b6001600160a01b0392831660209182029290920101526006546113f3913091610100900416846108bc565b60065460405163791ac94760e01b81526101009091046001600160a01b03169063791ac947906114309085906000908690309042906004016117d8565b600060405180830381600087803b15801561144a57600080fd5b505af115801561145e573d6000803e3d6000fd5b505050505050565b60065461148390309061010090046001600160a01b0316846108bc565b600654600e5460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a4820152610100909204169063f305d71990839060c40160606040518083038185885af11580156114f8573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061151d9190611849565b5050505050565b6007546000906001600160a01b03908116908316036115465750600954610469565b6007546001600160a01b03908116908416036115655750600854610469565b50600a5492915050565b600060208083528351808285015260005b8181101561159c57858101830151858201604001528201611580565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115d257600080fd5b50565b600080604083850312156115e857600080fd5b82356115f3816115bd565b946020939093013593505050565b60008060006060848603121561161657600080fd5b8335611621816115bd565b92506020840135611631816115bd565b929592945050506040919091013590565b60006020828403121561165457600080fd5b8135610543816115bd565b60008060006060848603121561167457600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a0312156116a657600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600080604083850312156116ea57600080fd5b82356116f5816115bd565b91506020830135611705816115bd565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8181038181111561046957610469611730565b8082018082111561046957610469611730565b808202811582820484141761046957610469611730565b6000826117a057634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156117cd57600080fd5b8151610543816115bd565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118285784516001600160a01b031683529383019391830191600101611803565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561185e57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c9a49cfc1630c87ed26b534be20516c62e42496ecb89052c73d758c10718c93964736f6c63430008130033

3734:9554:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5955:67;;;;;;;;;;-1:-1:-1;6015:5:0;;;;;;;;;;;;-1:-1:-1;;;6015:5:0;;;;5955:67;;;;;;;:::i;:::-;;;;;;;;6641:133;;;;;;;;;;-1:-1:-1;6641:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6641:133:0;1023:187:1;6780:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;6780:132:0;1215:177:1;8444:309:0;;;;;;;;;;-1:-1:-1;8444:309:0;;;;;:::i;:::-;;:::i;6105:66::-;;;;;;;;;;;;;:::i;:::-;;1715:87;;;;;;;;;;-1:-1:-1;1715:87:0;;;;;:::i;:::-;1770:4;1795:5;-1:-1:-1;;;;;1784:16:0;;;1795:5;;1784:16;;1715:87;6568:67;;;;;;;;;;-1:-1:-1;6568:67:0;;3944:1;2252:36:1;;2240:2;2225:18;6568:67:0;2110:184:1;5282:58:0;;;;;;;;;;;;;;;;6314:103;;;;;;;;;;-1:-1:-1;6314:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;6397:18:0;6380:7;6397:18;;;:9;:18;;;;;;;6314:103;1925:106;;;;;;;;;;;;;:::i;5218:57::-;;;;;;;;;;;;;;;;6918:78;;;;;;;;;;-1:-1:-1;6970:7:0;6988:5;-1:-1:-1;;;;;6988:5:0;6918:78;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;6918:78:0;2299:203:1;6028:71:0;;;;;;;;;;-1:-1:-1;6090:7:0;;;;;;;;;;;;-1:-1:-1;;;6090:7:0;;;;6028:71;;10147:543;;;;;;;;;;-1:-1:-1;10147:543:0;;;;;:::i;:::-;;:::i;4326:19::-;;;;;;;;;;-1:-1:-1;4326:19:0;;;;-1:-1:-1;;;;;4326:19:0;;;6423:139;;;;;;;;;;-1:-1:-1;6423:139:0;;;;;:::i;:::-;;:::i;11037:501::-;;;;;;;;;;-1:-1:-1;11037:501:0;;;;;:::i;:::-;;:::i;6181:127::-;;;;;;;;;;-1:-1:-1;6181:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;6279:18:0;;;6262:7;6279:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6181:127;1808:111;;;;;;;;;;-1:-1:-1;1808:111:0;;;;;:::i;:::-;;:::i;5347:57::-;;;;;;;;;;;;;;;;4142:45;;;;;;;;;;-1:-1:-1;4142:45:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;6641:133;6716:4;6723:37;6732:10;6744:7;6753:6;6723:8;:37::i;:::-;-1:-1:-1;6768:4:0;6641:133;;;;;:::o;6780:132::-;6397:9;:18;;;;4854:42;6833:7;6397:18;;;;;6850:12;;6833:7;;6850:60;;6397:18;;6850:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;6843:67;;6780:132;:::o;8444:309::-;8542:4;8559:36;8569:6;8577:9;8588:6;8559:9;:36::i;:::-;8606:117;8615:6;8623:10;8635:87;8671:6;8635:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8635:19:0;;;;;;:11;:19;;;;;;;;8655:10;8635:31;;;;;;;;;:87;:35;:87::i;:::-;8606:8;:117::i;:::-;-1:-1:-1;8741:4:0;8444:309;;;;;;:::o;6105:66::-;1770:4;1795:5;-1:-1:-1;;;;;1795:5:0;1682:10;1784:16;1666:38;;;;-1:-1:-1;;;1666:38:0;;;;;;;:::i;:::-;;;;;;;;;6149:13:::1;:20:::0;;-1:-1:-1;;6149:20:0::1;6165:4;6149:20;::::0;;6105:66::o;1925:106::-;1770:4;1795:5;-1:-1:-1;;;;;1795:5:0;1682:10;1784:16;1666:38;;;;-1:-1:-1;;;1666:38:0;;;;;;;:::i;:::-;1988:1:::1;1972:18:::0;;-1:-1:-1;;;;;;1972:18:0::1;::::0;;1997:32:::1;::::0;2445:51:1;;;1997:32:0::1;::::0;2433:2:1;2418:18;1997:32:0::1;;;;;;;1925:106::o:0;10147:543::-;1770:4;1795:5;-1:-1:-1;;;;;1795:5:0;1682:10;1784:16;1666:38;;;;-1:-1:-1;;;1666:38:0;;;;;;;:::i;:::-;10253:13:::1;10269:33;10296:5;10269:22;10286:4;10269:12;;:16;;:22;;;;:::i;:::-;:26:::0;::::1;:33::i;:::-;10253:49;;10304:19;10326:34;10354:5;10326:23;10343:5;10326:12;;:16;;:23;;;;:::i;:34::-;10304:56;;10362:17;10382:36;10412:5;10382:25;10399:7;10382:12;;:16;;:25;;;;:::i;:36::-;10429:9;:17:::0;;;10448:10:::1;:24:::0;;;10474:9:::1;:21:::0;;;10362:56;-1:-1:-1;;10522:30:0::1;10547:4;10522:20;10540:1;10522:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;10506:46;;10580:5;10571;:14;;:38;;;;;10604:5;10589:11;:20;;10571:38;:60;;;;;10626:5;10613:9;:18;;10571:60;10563:119;;;::::0;-1:-1:-1;;;10563:119:0;;4614:2:1;10563: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;;10563:119:0::1;4412:410:1::0;10563:119:0::1;10242:448;;;;10147:543:::0;;;:::o;6423:139::-;6501:4;6508:40;6518:10;6530:9;6541:6;6508:9;:40::i;11037:501::-;1770:4;1795:5;-1:-1:-1;;;;;1795:5:0;1682:10;1784:16;1666:38;;;;-1:-1:-1;;;1666:38:0;;;;;;;:::i;:::-;11227:6:::1;:19:::0;;;11248:7:::1;:20:::0;;;11270:8:::1;:16:::0;;;11288:7:::1;:22:::0;;;11312:6:::1;:15:::0;;;-1:-1:-1;11329:15:0;;;-1:-1:-1;11346:20:0;;;-1:-1:-1;11395:11:0;:18:::1;::::0;-1:-1:-1;11395:15:0::1;:18::i;:::-;11385:6;;:28;;:61;;;;-1:-1:-1::0;11428:11:0::1;::::0;:18:::1;::::0;11444:1:::1;11428:15;:18::i;:::-;11417:7;;:29;;11385:61;:98;;;;-1:-1:-1::0;11465:11:0::1;::::0;:18:::1;::::0;11481:1:::1;11465:15;:18::i;:::-;11450:11;;:33;;11385:98;11377:153;;;::::0;-1:-1:-1;;;11377:153:0;;5029:2:1;11377: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;;11377:153:0::1;4827:406:1::0;1808:111:0;1770:4;1795:5;-1:-1:-1;;;;;1795:5:0;1682:10;1784:16;1666:38;;;;-1:-1:-1;;;1666:38:0;;;;;;;:::i;:::-;1874:5:::1;:11:::0;;-1:-1:-1;;;;;;1874:11:0::1;-1:-1:-1::0;;;;;1874:11:0;::::1;::::0;;::::1;::::0;;;1892:25:::1;::::0;2445:51:1;;;1892:25:0::1;::::0;2433:2:1;2418:18;1892:25:0::1;;;;;;;1808:111:::0;:::o;10696:335::-;-1:-1:-1;;;;;10789:19:0;;10781:68;;;;-1:-1:-1;;;10781:68:0;;5656:2:1;10781: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;;10781:68:0;5454:400:1;10781:68:0;-1:-1:-1;;;;;10868:21:0;;10860:68;;;;-1:-1:-1;;;10860:68:0;;6061:2:1;10860: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;;10860:68:0;5859:398:1;10860:68:0;-1:-1:-1;;;;;10939:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;10991:32;;1361:25:1;;;10991:32:0;;1334:18:1;10991:32:0;;;;;;;10696:335;;;:::o;366:98::-;424:7;451:5;455:1;451;:5;:::i;7008:1428::-;-1:-1:-1;;;;;7105:20:0;;7097:70;;;;-1:-1:-1;;;7097:70:0;;6729:2:1;7097: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;;7097:70:0;6527:401:1;7097:70:0;-1:-1:-1;;;;;7186:23:0;;7178:71;;;;-1:-1:-1;;;7178:71:0;;7135:2:1;7178: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;;7178:71:0;6933:399:1;7178:71:0;-1:-1:-1;;;;;6397:18:0;;6380:7;6397:18;;;:9;:18;;;;;;7268:6;:27;;7260:88;;;;-1:-1:-1;;;7260:88:0;;7539:2:1;7260: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;;7260:88:0;7337:413:1;7260:88:0;-1:-1:-1;;;;;7363:20:0;;;;;;:12;:20;;;;;;;;7362:21;:49;;;;-1:-1:-1;;;;;;7388:23:0;;;;;;:12;:23;;;;;;;;7387:24;7362:49;7359:95;;;7421:13;;;;7413:39;;;;-1:-1:-1;;;7413:39:0;;7957:2:1;7413:39:0;;;7939:21:1;7996:2;7976:18;;;7969:30;-1:-1:-1;;;8015:18:1;;;8008:43;8068:18;;7413:39:0;7755:337:1;7413:39:0;-1:-1:-1;;;;;7468:20:0;;;;;;:12;:20;;;;;;;;7467:21;:49;;;;-1:-1:-1;;;;;;7493:23:0;;;;;;:12;:23;;;;;;;;7492:24;7467:49;:79;;;;-1:-1:-1;7541:4:0;;-1:-1:-1;;;;;7520:26:0;;;7541:4;;7520:26;;7467:79;:109;;;;-1:-1:-1;;;;;;7550:26:0;;4854:42;7550:26;;7467:109;7464:216;;;7634:9;;-1:-1:-1;;;;;7597:20:0;;;;;;:9;:20;;;;;;:32;;7622:6;7597:24;:32::i;:::-;7596:47;;7588:90;;;;-1:-1:-1;;;7588:90:0;;8299:2:1;7588:90:0;;;8281:21:1;8338:2;8318:18;;;8311:30;8377:32;8357:18;;;8350:60;8427:18;;7588:90:0;8097:354:1;7588:90:0;7703:4;;-1:-1:-1;;;;;7693:14:0;;;7703:4;;7693:14;7690:122;;7727:10;;7717:6;:20;;:44;;;-1:-1:-1;;;;;;7741:20:0;;;;;;:12;:20;;;;;;;;7717:44;:71;;;-1:-1:-1;;;;;;7765:23:0;;;;;;:12;:23;;;;;;;;7717:71;7709:101;;;;-1:-1:-1;;;7709:101:0;;8658:2:1;7709:101:0;;;8640:21:1;8697:2;8677:18;;;8670:30;-1:-1:-1;;;8716:18:1;;;8709:47;8773:18;;7709:101:0;8456:341:1;7709:101:0;7840:9;;7830:6;:19;;:43;;;-1:-1:-1;;;;;;7853:20:0;;;;;;:12;:20;;;;;;;;7830:43;:70;;;-1:-1:-1;;;;;;7877:23:0;;;;;;:12;:23;;;;;;;;7830:70;7822:100;;;;-1:-1:-1;;;7822:100:0;;8658:2:1;7822:100:0;;;8640:21:1;8697:2;8677:18;;;8670:30;-1:-1:-1;;;8716:18:1;;;8709:47;8773:18;;7822:100:0;8456:341:1;7822:100:0;7950:4;;-1:-1:-1;;;;;7937:17:0;;;7950:4;;7937:17;:42;;;;-1:-1:-1;;;;;;7959:20:0;;;;;;:12;:20;;;;;;;;7958:21;7937:42;7934:75;;;8005:1;7981:12;;:26;;;;;;;:::i;:::-;;;;-1:-1:-1;;7934:75:0;8022:43;8039:6;8047:9;8058:6;8022:16;:43::i;:::-;8019:103;;;8067:26;8079:13;;8067:11;:26::i;:::-;8118:1;8095:12;:25;8019:103;-1:-1:-1;;;;;8152:17:0;;;;;;:9;:17;;;;;;:29;;8174:6;8152:21;:29::i;:::-;-1:-1:-1;;;;;8132:17:0;;;;;;:9;:17;;;;;;;;:49;;;;8218:12;:20;;;;;;;;8217:21;:78;;8289:6;8217:78;;;8241:45;8260:6;8268:9;8279:6;8241:18;:45::i;:::-;-1:-1:-1;;;;;8329:20:0;;;;;;:9;:20;;;;;;8192:103;;-1:-1:-1;8329:40:0;;8192:103;8329:24;:40::i;:::-;-1:-1:-1;;;;;8306:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8385:43;;;;;;;;;;8413:14;1361:25:1;;1349:2;1334:18;;1215:177;8385:43:0;;;;;;;;7086:1350;7008:1428;;;:::o;790:240::-;910:7;971:12;963:6;;;;955:29;;;;-1:-1:-1;;;955:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1006:5:0;;;790:240::o;472:98::-;530:7;557:5;561:1;557;:5;:::i;578:98::-;636:7;663:5;667:1;663;:5;:::i;260:98::-;318:7;345:5;349:1;345;:5;:::i;11546:400::-;11689:13;;11763;;11753:4;11646;6397:18;;;:9;:18;;;;;;11795:6;;11646:4;;11679:23;;;;-1:-1:-1;11735:41:0;;11795:6;;11794:7;:22;;;;-1:-1:-1;11805:11:0;;;;;;;11794:22;:39;;;;-1:-1:-1;11820:13:0;;;;11794:39;:51;;;;;11837:8;11794:51;:76;;;;-1:-1:-1;;;;;;11850:20:0;;;;;;:12;:20;;;;;;;;11849:21;11794:76;:97;;;;-1:-1:-1;11887:4:0;;-1:-1:-1;;;;;11874:17:0;;;11887:4;;11874:17;11794:97;:126;;;;;11911:9;;11895:12;;:25;;11794:126;:144;;;;;11924:14;11794:144;11787:151;11546:400;-1:-1:-1;;;;;;11546:400:0:o;9106:998::-;4265:6;:13;;-1:-1:-1;;4265:13:0;4274:4;4265:13;;;;;;9226:7:::1;::::0;9213::::1;::::0;9195:6:::1;::::0;4265;;9194:48:::1;::::0;9240:1:::1;::::0;9195:39:::1;::::0;9226:7;;9195:26:::1;::::0;;;:10:::1;:13::i;:::-;:17:::0;::::1;:26::i;9194:48::-;9171:71;;9253:32;9288:36;9311:12;9288:18;9299:6;;9288;:10;;:18;;;;:::i;:36::-;9253:71:::0;-1:-1:-1;9335:14:0::1;9352:36;:6:::0;9253:71;9352:10:::1;:36::i;:::-;9335:53:::0;-1:-1:-1;9424:21:0::1;9456:24;9335:53:::0;9456:16:::1;:24::i;:::-;9491:20;9514:41;:21;9540:14:::0;9514:25:::1;:41::i;:::-;9491:64;;9566:19;9587:42;9604:24;9621:6;;9604:12;:16;;:24;;;;:::i;:::-;9587:12:::0;;:16:::1;:42::i;:::-;9566:63;;9640:29;9672:23;9688:6;;9672:11;:15;;:23;;;;:::i;:::-;9640:55:::0;-1:-1:-1;9709:34:0;;9706:103:::1;;9745:61;9758:24;9784:21;9745:12;:61::i;:::-;9865:7;::::0;9819:20:::1;::::0;9842:31:::1;::::0;:18:::1;:11:::0;9858:1:::1;9842:15;:18::i;:31::-;9819:54:::0;-1:-1:-1;9887:16:0;;9884:68:::1;;9913:13;::::0;9905:45:::1;::::0;-1:-1:-1;;;;;9913:13:0;;::::1;::::0;9905:45;::::1;;;::::0;9937:12;;9913:13:::1;9905:45:::0;9913:13;9905:45;9937:12;9913:13;9905:45;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;9884:68;9988:21;10023:28:::0;;10020:77:::1;;10061:7;::::0;10053:42:::1;::::0;10061:7;;;::::1;-1:-1:-1::0;;;;;10061:7:0::1;::::0;10053:42:::1;::::0;::::1;;::::0;;;::::1;::::0;;;;10061:7;10053:42;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10020:77;-1:-1:-1::0;;4283:6:0;:14;;-1:-1:-1;;4283:14:0;;;-1:-1:-1;;;;;;;;9106:998:0:o;12178:665::-;-1:-1:-1;;;;;12299:23:0;;12275:7;12299:23;;;:12;:23;;;;;;;;12295:48;;;-1:-1:-1;12332:9:0;;12325:16;;12295:48;12390:1;12356:31;12369:6;12377:9;12356:12;:31::i;:::-;:35;12353:468;;;12403:17;12423:60;12451:31;12464:6;12472:9;12451:12;:31::i;:::-;12434:11;;12423:23;;:6;;:10;:23::i;:60::-;12539:4;12521:24;;;;:9;:24;;;;;;12403:80;;-1:-1:-1;12521:39:0;;12403:80;12521:28;:39::i;:::-;12512:4;12494:24;;;;:9;:24;;;;;;;:66;;;;12576:42;;-1:-1:-1;;;;;12576:42:0;;;;;;;12608:9;1361:25:1;;1349:2;1334:18;;1215:177;12576:42:0;;;;;;;;12651:1;12632:8;;:21;:67;;;;;12691:8;;12657:31;12670:6;12678:9;12657:12;:31::i;:::-;:42;12632:67;12629:152;;;12701:78;12719:4;4854:42;12741:37;12769:8;;12741:23;12752:11;;12741:6;:10;;:23;;;;:::i;:37::-;12701:9;:78::i;:::-;12798:21;:6;12809:9;12798:10;:21::i;:::-;12791:28;;;;;12353:468;-1:-1:-1;12829:6:0;12178:665;-1:-1:-1;;12178:665:0:o;12851:434::-;12941:16;;;12955:1;12941:16;;;;;;;;12917:21;;12941:16;;;;;;;;;;-1:-1:-1;12941:16:0;12917:40;;12986:4;12968;12973:1;12968:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1;;;;;12968:23:0;;;-1:-1:-1;;;;;12968:23:0;;;;;13012:6;;;;;;;;;-1:-1:-1;;;;;13012:6:0;-1:-1:-1;;;;;13012:11:0;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13002:4;13007:1;13002:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13002:23:0;;;:7;;;;;;;;;:23;13068:6;;13036:53;;13053:4;;13068:6;;;;13077:11;13036:8;:53::i;:::-;13100:6;;:177;;-1:-1:-1;;;13100:177:0;;:6;;;;-1:-1:-1;;;;;13100:6:0;;:57;;:177;;13172:11;;13198:1;;13214:4;;13241;;13261:15;;13100:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12906:379;12851:434;:::o;8765:335::-;8878:6;;8846:53;;8863:4;;8878:6;;;-1:-1:-1;;;;;8878:6:0;8887:11;8846:8;:53::i;:::-;8910:6;;9051:10;;8910:182;;-1:-1:-1;;;8910:182:0;;8973:4;8910:182;;;11173:34:1;11223:18;;;11216:34;;;9019:1:0;11266:18:1;;;11259:34;;;11309:18;;;11302:34;-1:-1:-1;;;;;9051:10:0;;;11352:19:1;;;11345:44;9076:15:0;11405:19:1;;;11398:35;8910:6:0;;;;;;:22;;8940:9;;11107:19:1;;8910:182:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;8765:335;;:::o;11954:218::-;12070:4;;12034:7;;-1:-1:-1;;;;;12070:4:0;;;12057:17;;;;12054:38;;-1:-1:-1;12083:7:0;;12076:14;;12054:38;12115:4;;-1:-1:-1;;;;;12115:4:0;;;12105:14;;;;12102:34;;-1:-1:-1;12128:6:0;;12121:13;;12102:34;-1:-1:-1;12153:11:0;;11954:218;;;;:::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;8802:125::-;8867:9;;;8888:10;;;8885:36;;;8901:18;;:::i;8932:168::-;9005:9;;;9036;;9053:15;;;9047:22;;9033:37;9023:71;;9074:18;;:::i;9105:217::-;9145:1;9171;9161:132;;9215:10;9210:3;9206:20;9203:1;9196:31;9250:4;9247:1;9240:15;9278:4;9275:1;9268:15;9161:132;-1:-1:-1;9307:9:1;;9105:217::o;9459:127::-;9520:10;9515:3;9511:20;9508:1;9501:31;9551:4;9548:1;9541:15;9575:4;9572:1;9565:15;9591:251;9661:6;9714:2;9702:9;9693:7;9689:23;9685:32;9682:52;;;9730:1;9727;9720:12;9682:52;9762:9;9756:16;9781:31;9806:5;9781:31;:::i;9847:980::-;10109:4;10157:3;10146:9;10142:19;10188:6;10177:9;10170:25;10214:2;10252:6;10247:2;10236:9;10232:18;10225:34;10295:3;10290:2;10279:9;10275:18;10268:31;10319:6;10354;10348:13;10385:6;10377;10370:22;10423:3;10412:9;10408:19;10401:26;;10462:2;10454:6;10450:15;10436:29;;10483:1;10493:195;10507:6;10504:1;10501:13;10493:195;;;10572:13;;-1:-1:-1;;;;;10568:39:1;10556:52;;10663:15;;;;10628:12;;;;10604:1;10522:9;10493:195;;;-1:-1:-1;;;;;;;10744:32:1;;;;10739:2;10724:18;;10717:60;-1:-1:-1;;;10808:3:1;10793:19;10786:35;10705:3;9847:980;-1:-1:-1;;;9847:980:1:o;11444:306::-;11532:6;11540;11548;11601:2;11589:9;11580:7;11576:23;11572:32;11569:52;;;11617:1;11614;11607:12;11569:52;11646:9;11640:16;11630:26;;11696:2;11685:9;11681:18;11675:25;11665:35;;11740:2;11729:9;11725:18;11719:25;11709:35;;11444:306;;;;;:::o

ipfs://c9a49cfc1630c87ed26b534be20516c62e42496ecb89052c73d758c10718c939